Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250700539.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Parking-PT-432, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250700539
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 3.7K Apr 11 23:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 11 23:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 10 22:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 10 22:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 07:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 07:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 12:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 12:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 192K Mar 24 05:37 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 Parking-PT-432-CTLCardinality-00
FORMULA_NAME Parking-PT-432-CTLCardinality-01
FORMULA_NAME Parking-PT-432-CTLCardinality-02
FORMULA_NAME Parking-PT-432-CTLCardinality-03
FORMULA_NAME Parking-PT-432-CTLCardinality-04
FORMULA_NAME Parking-PT-432-CTLCardinality-05
FORMULA_NAME Parking-PT-432-CTLCardinality-06
FORMULA_NAME Parking-PT-432-CTLCardinality-07
FORMULA_NAME Parking-PT-432-CTLCardinality-08
FORMULA_NAME Parking-PT-432-CTLCardinality-09
FORMULA_NAME Parking-PT-432-CTLCardinality-10
FORMULA_NAME Parking-PT-432-CTLCardinality-11
FORMULA_NAME Parking-PT-432-CTLCardinality-12
FORMULA_NAME Parking-PT-432-CTLCardinality-13
FORMULA_NAME Parking-PT-432-CTLCardinality-14
FORMULA_NAME Parking-PT-432-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589645122463

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 432
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: 529 places, 785 transitions, 2329 arcs.
AT ITER 0 NEW BEST:: SOT 241005 SOS 171690 HAS SOPS 171690 HAS SOUS 112047 HAS SOUPS 112047 WITH SCORE 112218.69
AT ITER 3 NEW BEST:: SOT 240171 SOS 171080 HAS SOPS 171055 HAS SOUS 111670 HAS SOUPS 111645 WITH SCORE 111816.08
AT ITER 4 NEW BEST:: SOT 239639 SOS 170548 HAS SOPS 170523 HAS SOUS 111287 HAS SOUPS 111262 WITH SCORE 111432.548
AT ITER 5 NEW BEST:: SOT 239639 SOS 170411 HAS SOPS 170386 HAS SOUS 111286 HAS SOUPS 111261 WITH SCORE 111431.411
AT ITER 6 NEW BEST:: SOT 239566 SOS 170338 HAS SOPS 170313 HAS SOUS 111213 HAS SOUPS 111188 WITH SCORE 111358.338
AT ITER 9 NEW BEST:: SOT 239566 SOS 169939 HAS SOPS 169914 HAS SOUS 111174 HAS SOUPS 111149 WITH SCORE 111318.939
AT ITER 13 NEW BEST:: SOT 239262 SOS 169719 HAS SOPS 169456 HAS SOUS 111052 HAS SOUPS 110789 WITH SCORE 110958.719
AT ITER 14 NEW BEST:: SOT 239262 SOS 169719 HAS SOPS 169456 HAS SOUS 111038 HAS SOUPS 110775 WITH SCORE 110944.719
AT ITER 17 NEW BEST:: SOT 239216 SOS 168910 HAS SOPS 168647 HAS SOUS 110845 HAS SOUPS 110582 WITH SCORE 110750.91
AT ITER 20 NEW BEST:: SOT 238952 SOS 168646 HAS SOPS 168383 HAS SOUS 110647 HAS SOUPS 110384 WITH SCORE 110552.646
AT ITER 25 NEW BEST:: SOT 238952 SOS 164405 HAS SOPS 164142 HAS SOUS 110571 HAS SOUPS 110308 WITH SCORE 110472.405
AT ITER 26 NEW BEST:: SOT 238870 SOS 164241 HAS SOPS 163937 HAS SOUS 110489 HAS SOUPS 110185 WITH SCORE 110349.241
AT ITER 27 NEW BEST:: SOT 239191 SOS 164402 HAS SOPS 164098 HAS SOUS 110380 HAS SOUPS 110076 WITH SCORE 110240.402
AT ITER 29 NEW BEST:: SOT 239115 SOS 164997 HAS SOPS 164693 HAS SOUS 110079 HAS SOUPS 109775 WITH SCORE 109939.997
AT ITER 32 NEW BEST:: SOT 238290 SOS 164184 HAS SOPS 163868 HAS SOUS 109301 HAS SOUPS 108985 WITH SCORE 109149.184
AT ITER 34 NEW BEST:: SOT 238290 SOS 163719 HAS SOPS 163403 HAS SOUS 109202 HAS SOUPS 108886 WITH SCORE 109049.719
AT ITER 35 NEW BEST:: SOT 237978 SOS 163595 HAS SOPS 163279 HAS SOUS 108862 HAS SOUPS 108546 WITH SCORE 108709.595
AT ITER 37 NEW BEST:: SOT 237719 SOS 163336 HAS SOPS 163020 HAS SOUS 108605 HAS SOUPS 108289 WITH SCORE 108452.336
AT ITER 38 NEW BEST:: SOT 237061 SOS 162118 HAS SOPS 161520 HAS SOUS 108024 HAS SOUPS 107426 WITH SCORE 107588.118
AT ITER 40 NEW BEST:: SOT 237061 SOS 162118 HAS SOPS 161520 HAS SOUS 108010 HAS SOUPS 107412 WITH SCORE 107574.118
AT ITER 41 NEW BEST:: SOT 235913 SOS 160970 HAS SOPS 160372 HAS SOUS 107124 HAS SOUPS 106526 WITH SCORE 106686.97
AT ITER 42 NEW BEST:: SOT 235769 SOS 160826 HAS SOPS 160228 HAS SOUS 107052 HAS SOUPS 106454 WITH SCORE 106614.826
AT ITER 44 NEW BEST:: SOT 235769 SOS 160564 HAS SOPS 159966 HAS SOUS 106984 HAS SOUPS 106386 WITH SCORE 106546.564
AT ITER 45 NEW BEST:: SOT 235769 SOS 160456 HAS SOPS 159858 HAS SOUS 106978 HAS SOUPS 106380 WITH SCORE 106540.456
AT ITER 46 NEW BEST:: SOT 235619 SOS 160240 HAS SOPS 159708 HAS SOUS 106762 HAS SOUPS 106230 WITH SCORE 106390.24
AT ITER 56 NEW BEST:: SOT 234808 SOS 158866 HAS SOPS 158149 HAS SOUS 105914 HAS SOUPS 105197 WITH SCORE 105355.866
AT ITER 57 NEW BEST:: SOT 234325 SOS 158246 HAS SOPS 157176 HAS SOUS 105700 HAS SOUPS 104630 WITH SCORE 104788.246
AT ITER 58 NEW BEST:: SOT 234195 SOS 157352 HAS SOPS 156282 HAS SOUS 105228 HAS SOUPS 104158 WITH SCORE 104315.352
AT ITER 60 NEW BEST:: SOT 234297 SOS 156178 HAS SOPS 155108 HAS SOUS 105141 HAS SOUPS 104071 WITH SCORE 104227.178
AT ITER 63 NEW BEST:: SOT 234252 SOS 156213 HAS SOPS 155143 HAS SOUS 105108 HAS SOUPS 104038 WITH SCORE 104194.213
AT ITER 64 NEW BEST:: SOT 234252 SOS 156213 HAS SOPS 155143 HAS SOUS 105101 HAS SOUPS 104031 WITH SCORE 104187.213
AT ITER 67 NEW BEST:: SOT 228778 SOS 150673 HAS SOPS 149476 HAS SOUS 101325 HAS SOUPS 100220 WITH SCORE 100370.673
AT ITER 74 NEW BEST:: SOT 228039 SOS 149934 HAS SOPS 148737 HAS SOUS 100778 HAS SOUPS 99673 WITH SCORE 99822.934
AT ITER 75 NEW BEST:: SOT 228038 SOS 149471 HAS SOPS 148274 HAS SOUS 100546 HAS SOUPS 99441 WITH SCORE 99590.471
AT ITER 76 NEW BEST:: SOT 227948 SOS 149381 HAS SOPS 148184 HAS SOUS 100456 HAS SOUPS 99351 WITH SCORE 99500.381
AT ITER 77 NEW BEST:: SOT 227948 SOS 148830 HAS SOPS 147633 HAS SOUS 100283 HAS SOUPS 99178 WITH SCORE 99326.83
AT ITER 80 NEW BEST:: SOT 227948 SOS 148576 HAS SOPS 147379 HAS SOUS 100283 HAS SOUPS 99178 WITH SCORE 99326.576
AT ITER 87 NEW BEST:: SOT 227868 SOS 147906 HAS SOPS 146709 HAS SOUS 100211 HAS SOUPS 99106 WITH SCORE 99253.906
AT ITER 93 NEW BEST:: SOT 227868 SOS 147906 HAS SOPS 146709 HAS SOUS 100164 HAS SOUPS 99059 WITH SCORE 99206.906
AT ITER 94 NEW BEST:: SOT 227714 SOS 147572 HAS SOPS 146375 HAS SOUS 100136 HAS SOUPS 99031 WITH SCORE 99178.572
AT ITER 99 NEW BEST:: SOT 227570 SOS 147461 HAS SOPS 146098 HAS SOUS 99987 HAS SOUPS 98716 WITH SCORE 98863.461
AT ITER 102 NEW BEST:: SOT 226536 SOS 147410 HAS SOPS 145436 HAS SOUS 97584 HAS SOUPS 96125 WITH SCORE 96272.41
AT ITER 106 NEW BEST:: SOT 226504 SOS 147378 HAS SOPS 145404 HAS SOUS 97552 HAS SOUPS 96093 WITH SCORE 96240.378
AT ITER 107 NEW BEST:: SOT 226504 SOS 147256 HAS SOPS 145282 HAS SOUS 97430 HAS SOUPS 95971 WITH SCORE 96118.256
AT ITER 109 NEW BEST:: SOT 226504 SOS 147084 HAS SOPS 145110 HAS SOUS 97344 HAS SOUPS 95885 WITH SCORE 96032.084
AT ITER 111 NEW BEST:: SOT 225984 SOS 146692 HAS SOPS 144589 HAS SOUS 97120 HAS SOUPS 95532 WITH SCORE 95678.692
AT ITER 113 NEW BEST:: SOT 225984 SOS 146299 HAS SOPS 144196 HAS SOUS 96990 HAS SOUPS 95402 WITH SCORE 95548.299
AT ITER 115 NEW BEST:: SOT 225259 SOS 145256 HAS SOPS 143153 HAS SOUS 96265 HAS SOUPS 94677 WITH SCORE 94822.256
AT ITER 116 NEW BEST:: SOT 224585 SOS 144663 HAS SOPS 142478 HAS SOUS 95939 HAS SOUPS 94269 WITH SCORE 94413.663
AT ITER 117 NEW BEST:: SOT 224600 SOS 144426 HAS SOPS 142241 HAS SOUS 95856 HAS SOUPS 94186 WITH SCORE 94330.426
AT ITER 125 NEW BEST:: SOT 224388 SOS 144214 HAS SOPS 142029 HAS SOUS 95697 HAS SOUPS 94027 WITH SCORE 94171.214
AT ITER 126 NEW BEST:: SOT 223798 SOS 143687 HAS SOPS 141439 HAS SOUS 95411 HAS SOUPS 93678 WITH SCORE 93821.687
AT ITER 128 NEW BEST:: SOT 223414 SOS 142956 HAS SOPS 140708 HAS SOUS 94716 HAS SOUPS 92983 WITH SCORE 93125.956
AT ITER 129 NEW BEST:: SOT 223414 SOS 142642 HAS SOPS 140394 HAS SOUS 94548 HAS SOUPS 92815 WITH SCORE 92957.642
AT ITER 130 NEW BEST:: SOT 223414 SOS 142669 HAS SOPS 140367 HAS SOUS 94563 HAS SOUPS 92788 WITH SCORE 92930.669
AT ITER 131 NEW BEST:: SOT 223413 SOS 142668 HAS SOPS 140366 HAS SOUS 94562 HAS SOUPS 92787 WITH SCORE 92929.668
AT ITER 132 NEW BEST:: SOT 223558 SOS 142812 HAS SOPS 140647 HAS SOUS 94490 HAS SOUPS 92715 WITH SCORE 92857.812
AT ITER 133 NEW BEST:: SOT 222599 SOS 141169 HAS SOPS 139004 HAS SOUS 93287 HAS SOUPS 91512 WITH SCORE 91653.169
AT ITER 134 NEW BEST:: SOT 222599 SOS 141131 HAS SOPS 138966 HAS SOUS 93261 HAS SOUPS 91486 WITH SCORE 91627.131
AT ITER 141 NEW BEST:: SOT 222553 SOS 141085 HAS SOPS 138920 HAS SOUS 93170 HAS SOUPS 91395 WITH SCORE 91536.085
AT ITER 142 NEW BEST:: SOT 222553 SOS 141085 HAS SOPS 138893 HAS SOUS 93165 HAS SOUPS 91368 WITH SCORE 91509.085
AT ITER 147 NEW BEST:: SOT 221577 SOS 139413 HAS SOPS 137221 HAS SOUS 91975 HAS SOUPS 90178 WITH SCORE 90317.413
AT ITER 150 NEW BEST:: SOT 221210 SOS 139010 HAS SOPS 136695 HAS SOUS 91572 HAS SOUPS 89652 WITH SCORE 89791.01
AT ITER 152 NEW BEST:: SOT 221116 SOS 138916 HAS SOPS 136601 HAS SOUS 91514 HAS SOUPS 89594 WITH SCORE 89732.916
AT ITER 159 NEW BEST:: SOT 221088 SOS 138804 HAS SOPS 136489 HAS SOUS 91437 HAS SOUPS 89517 WITH SCORE 89655.804
AT ITER 161 NEW BEST:: SOT 221029 SOS 138745 HAS SOPS 136430 HAS SOUS 91378 HAS SOUPS 89458 WITH SCORE 89596.745
AT ITER 163 NEW BEST:: SOT 220882 SOS 138691 HAS SOPS 136265 HAS SOUS 91336 HAS SOUPS 89305 WITH SCORE 89443.691
AT ITER 166 NEW BEST:: SOT 220739 SOS 138643 HAS SOPS 135922 HAS SOUS 91259 HAS SOUPS 88962 WITH SCORE 89100.643
AT ITER 169 NEW BEST:: SOT 220554 SOS 138458 HAS SOPS 135736 HAS SOUS 91184 HAS SOUPS 88886 WITH SCORE 89024.458
AT ITER 173 NEW BEST:: SOT 220414 SOS 138332 HAS SOPS 135610 HAS SOUS 91062 HAS SOUPS 88764 WITH SCORE 88902.332
AT ITER 177 NEW BEST:: SOT 219874 SOS 137326 HAS SOPS 134419 HAS SOUS 90490 HAS SOUPS 88007 WITH SCORE 88144.326
AT ITER 179 NEW BEST:: SOT 219866 SOS 137306 HAS SOPS 134399 HAS SOUS 90478 HAS SOUPS 87995 WITH SCORE 88132.306
AT ITER 183 NEW BEST:: SOT 219866 SOS 137022 HAS SOPS 134115 HAS SOUS 90436 HAS SOUPS 87953 WITH SCORE 88090.022
AT ITER 193 NEW BEST:: SOT 219926 SOS 137287 HAS SOPS 134220 HAS SOUS 90521 HAS SOUPS 87878 WITH SCORE 88015.287
AT ITER 194 NEW BEST:: SOT 219925 SOS 137286 HAS SOPS 134219 HAS SOUS 90326 HAS SOUPS 87683 WITH SCORE 87820.286
AT ITER 196 NEW BEST:: SOT 219520 SOS 137216 HAS SOPS 134149 HAS SOUS 90192 HAS SOUPS 87549 WITH SCORE 87686.216
AT ITER 199 NEW BEST:: SOT 219520 SOS 137121 HAS SOPS 134054 HAS SOUS 90191 HAS SOUPS 87548 WITH SCORE 87685.121
AT ITER 205 NEW BEST:: SOT 223499 SOS 140725 HAS SOPS 137360 HAS SOUS 90297 HAS SOUPS 87356 WITH SCORE 87496.725
AT ITER 206 NEW BEST:: SOT 223335 SOS 140217 HAS SOPS 136852 HAS SOUS 90117 HAS SOUPS 87176 WITH SCORE 87316.217
AT ITER 210 NEW BEST:: SOT 223167 SOS 140203 HAS SOPS 136838 HAS SOUS 90103 HAS SOUPS 87162 WITH SCORE 87302.203
AT ITER 211 NEW BEST:: SOT 223093 SOS 140015 HAS SOPS 136650 HAS SOUS 90066 HAS SOUPS 87125 WITH SCORE 87265.015
AT ITER 213 NEW BEST:: SOT 222939 SOS 139422 HAS SOPS 136057 HAS SOUS 89649 HAS SOUPS 86708 WITH SCORE 86847.422
AT ITER 214 NEW BEST:: SOT 222923 SOS 139421 HAS SOPS 136056 HAS SOUS 89648 HAS SOUPS 86707 WITH SCORE 86846.421
AT ITER 216 NEW BEST:: SOT 222789 SOS 139287 HAS SOPS 135921 HAS SOUS 89514 HAS SOUPS 86572 WITH SCORE 86711.287
AT ITER 219 NEW BEST:: SOT 222131 SOS 138696 HAS SOPS 135263 HAS SOUS 89137 HAS SOUPS 86128 WITH SCORE 86266.696
AT ITER 222 NEW BEST:: SOT 221590 SOS 138205 HAS SOPS 134772 HAS SOUS 88730 HAS SOUPS 85721 WITH SCORE 85859.205
AT ITER 223 NEW BEST:: SOT 222196 SOS 138095 HAS SOPS 134662 HAS SOUS 88651 HAS SOUPS 85642 WITH SCORE 85780.095
AT ITER 226 NEW BEST:: SOT 222208 SOS 138114 HAS SOPS 134681 HAS SOUS 88601 HAS SOUPS 85592 WITH SCORE 85730.114
AT ITER 227 NEW BEST:: SOT 221910 SOS 137815 HAS SOPS 134382 HAS SOUS 88302 HAS SOUPS 85293 WITH SCORE 85430.815
AT ITER 235 NEW BEST:: SOT 221910 SOS 137908 HAS SOPS 134487 HAS SOUS 88289 HAS SOUPS 85292 WITH SCORE 85429.908
AT ITER 237 NEW BEST:: SOT 221910 SOS 137640 HAS SOPS 134219 HAS SOUS 88239 HAS SOUPS 85242 WITH SCORE 85379.64
AT ITER 238 NEW BEST:: SOT 221909 SOS 137639 HAS SOPS 134218 HAS SOUS 88219 HAS SOUPS 85222 WITH SCORE 85359.639
AT ITER 239 NEW BEST:: SOT 221211 SOS 136920 HAS SOPS 133499 HAS SOUS 87865 HAS SOUPS 84868 WITH SCORE 85004.92
AT ITER 242 NEW BEST:: SOT 221193 SOS 136902 HAS SOPS 133481 HAS SOUS 87847 HAS SOUPS 84850 WITH SCORE 84986.902
AT ITER 246 NEW BEST:: SOT 221193 SOS 136933 HAS SOPS 133512 HAS SOUS 87660 HAS SOUPS 84663 WITH SCORE 84799.933
AT ITER 249 NEW BEST:: SOT 221193 SOS 136924 HAS SOPS 133503 HAS SOUS 87651 HAS SOUPS 84654 WITH SCORE 84790.924
AT ITER 254 NEW BEST:: SOT 221186 SOS 136917 HAS SOPS 133496 HAS SOUS 87590 HAS SOUPS 84593 WITH SCORE 84729.917
AT ITER 256 NEW BEST:: SOT 221064 SOS 136540 HAS SOPS 133119 HAS SOUS 87456 HAS SOUPS 84459 WITH SCORE 84595.54
AT ITER 260 NEW BEST:: SOT 221053 SOS 136399 HAS SOPS 132965 HAS SOUS 87315 HAS SOUPS 84305 WITH SCORE 84441.399
AT ITER 262 NEW BEST:: SOT 220692 SOS 136006 HAS SOPS 132572 HAS SOUS 86926 HAS SOUPS 83916 WITH SCORE 84052.006
AT ITER 272 NEW BEST:: SOT 219714 SOS 134382 HAS SOPS 130846 HAS SOUS 85876 HAS SOUPS 82764 WITH SCORE 82898.382
AT ITER 273 NEW BEST:: SOT 219813 SOS 134481 HAS SOPS 130945 HAS SOUS 85777 HAS SOUPS 82665 WITH SCORE 82799.481
AT ITER 287 NEW BEST:: SOT 219615 SOS 134099 HAS SOPS 130563 HAS SOUS 85593 HAS SOUPS 82481 WITH SCORE 82615.099
AT ITER 291 NEW BEST:: SOT 219615 SOS 133916 HAS SOPS 130441 HAS SOUS 85471 HAS SOUPS 82420 WITH SCORE 82553.916
AT ITER 302 NEW BEST:: SOT 219440 SOS 133353 HAS SOPS 129919 HAS SOUS 85165 HAS SOUPS 82114 WITH SCORE 82247.353
AT ITER 303 NEW BEST:: SOT 219344 SOS 133266 HAS SOPS 129808 HAS SOUS 85120 HAS SOUPS 82045 WITH SCORE 82178.266
AT ITER 304 NEW BEST:: SOT 219022 SOS 132936 HAS SOPS 129478 HAS SOUS 84744 HAS SOUPS 81669 WITH SCORE 81801.936
AT ITER 308 NEW BEST:: SOT 218392 SOS 132692 HAS SOPS 129234 HAS SOUS 84444 HAS SOUPS 81369 WITH SCORE 81501.692
AT ITER 315 NEW BEST:: SOT 218392 SOS 132594 HAS SOPS 129136 HAS SOUS 84346 HAS SOUPS 81271 WITH SCORE 81403.594
AT ITER 317 NEW BEST:: SOT 218388 SOS 132590 HAS SOPS 129132 HAS SOUS 84342 HAS SOUPS 81267 WITH SCORE 81399.59
AT ITER 319 NEW BEST:: SOT 217842 SOS 131992 HAS SOPS 128534 HAS SOUS 83952 HAS SOUPS 80877 WITH SCORE 81008.992
AT ITER 320 NEW BEST:: SOT 217505 SOS 131655 HAS SOPS 128197 HAS SOUS 83719 HAS SOUPS 80644 WITH SCORE 80775.655
AT ITER 322 NEW BEST:: SOT 217484 SOS 131644 HAS SOPS 128186 HAS SOUS 83698 HAS SOUPS 80623 WITH SCORE 80754.644
AT ITER 324 NEW BEST:: SOT 217545 SOS 131592 HAS SOPS 128134 HAS SOUS 83646 HAS SOUPS 80571 WITH SCORE 80702.592
AT ITER 333 NEW BEST:: SOT 217327 SOS 131373 HAS SOPS 127915 HAS SOUS 83535 HAS SOUPS 80460 WITH SCORE 80591.373
AT ITER 335 NEW BEST:: SOT 217219 SOS 130205 HAS SOPS 126747 HAS SOUS 83499 HAS SOUPS 80424 WITH SCORE 80554.205
AT ITER 336 NEW BEST:: SOT 217000 SOS 130020 HAS SOPS 126528 HAS SOUS 83507 HAS SOUPS 80398 WITH SCORE 80528.02
AT ITER 337 NEW BEST:: SOT 216942 SOS 130004 HAS SOPS 126512 HAS SOUS 83491 HAS SOUPS 80382 WITH SCORE 80512.004
AT ITER 338 NEW BEST:: SOT 214831 SOS 127779 HAS SOPS 124389 HAS SOUS 82319 HAS SOUPS 79312 WITH SCORE 79439.779
AT ITER 340 NEW BEST:: SOT 213975 SOS 126482 HAS SOPS 122929 HAS SOUS 81600 HAS SOUPS 78430 WITH SCORE 78556.482
AT ITER 341 NEW BEST:: SOT 213969 SOS 126476 HAS SOPS 122923 HAS SOUS 81600 HAS SOUPS 78430 WITH SCORE 78556.476
AT ITER 346 NEW BEST:: SOT 213850 SOS 126266 HAS SOPS 122713 HAS SOUS 81390 HAS SOUPS 78220 WITH SCORE 78346.266
AT ITER 348 NEW BEST:: SOT 211387 SOS 124154 HAS SOPS 120601 HAS SOUS 81348 HAS SOUPS 78178 WITH SCORE 78302.154
AT ITER 350 NEW BEST:: SOT 211352 SOS 124259 HAS SOPS 120566 HAS SOUS 81453 HAS SOUPS 78143 WITH SCORE 78267.259
AT ITER 363 NEW BEST:: SOT 211350 SOS 124354 HAS SOPS 120562 HAS SOUS 81550 HAS SOUPS 78141 WITH SCORE 78265.354
AT ITER 366 NEW BEST:: SOT 210932 SOS 123936 HAS SOPS 120144 HAS SOUS 81512 HAS SOUPS 78103 WITH SCORE 78226.936
AT ITER 367 NEW BEST:: SOT 210932 SOS 123825 HAS SOPS 120033 HAS SOUS 81512 HAS SOUPS 78103 WITH SCORE 78226.825
AT ITER 369 NEW BEST:: SOT 210519 SOS 123447 HAS SOPS 119538 HAS SOUS 81202 HAS SOUPS 77676 WITH SCORE 77799.447
AT ITER 378 NEW BEST:: SOT 210501 SOS 123429 HAS SOPS 119520 HAS SOUS 81184 HAS SOUPS 77658 WITH SCORE 77781.429
AT ITER 383 NEW BEST:: SOT 210464 SOS 123503 HAS SOPS 119699 HAS SOUS 81042 HAS SOUPS 77621 WITH SCORE 77744.503
AT ITER 392 NEW BEST:: SOT 210419 SOS 123428 HAS SOPS 119624 HAS SOUS 80997 HAS SOUPS 77576 WITH SCORE 77699.428
AT ITER 394 NEW BEST:: SOT 210335 SOS 123322 HAS SOPS 119518 HAS SOUS 80912 HAS SOUPS 77491 WITH SCORE 77614.322
AT ITER 397 NEW BEST:: SOT 210327 SOS 121620 HAS SOPS 117816 HAS SOUS 80900 HAS SOUPS 77479 WITH SCORE 77600.62
AT ITER 403 NEW BEST:: SOT 209993 SOS 121286 HAS SOPS 117482 HAS SOUS 80449 HAS SOUPS 77028 WITH SCORE 77149.286
AT ITER 405 NEW BEST:: SOT 209428 SOS 120721 HAS SOPS 116917 HAS SOUS 80085 HAS SOUPS 76664 WITH SCORE 76784.721
AT ITER 406 NEW BEST:: SOT 209441 SOS 120747 HAS SOPS 116887 HAS SOUS 80111 HAS SOUPS 76634 WITH SCORE 76754.747
AT ITER 408 NEW BEST:: SOT 209286 SOS 120703 HAS SOPS 116765 HAS SOUS 80045 HAS SOUPS 76490 WITH SCORE 76610.703
AT ITER 415 NEW BEST:: SOT 209284 SOS 120936 HAS SOPS 116837 HAS SOUS 80060 HAS SOUPS 76344 WITH SCORE 76464.936
AT ITER 416 NEW BEST:: SOT 209324 SOS 120971 HAS SOPS 116872 HAS SOUS 80029 HAS SOUPS 76313 WITH SCORE 76433.971
AT ITER 417 NEW BEST:: SOT 209367 SOS 121014 HAS SOPS 116915 HAS SOUS 80024 HAS SOUPS 76308 WITH SCORE 76429.014
AT ITER 422 NEW BEST:: SOT 208990 SOS 120621 HAS SOPS 116522 HAS SOUS 79847 HAS SOUPS 76131 WITH SCORE 76251.621
AT ITER 426 NEW BEST:: SOT 208924 SOS 120489 HAS SOPS 116390 HAS SOUS 79781 HAS SOUPS 76065 WITH SCORE 76185.489
AT ITER 431 NEW BEST:: SOT 208716 SOS 120179 HAS SOPS 116080 HAS SOUS 79573 HAS SOUPS 75857 WITH SCORE 75977.179
AT ITER 432 NEW BEST:: SOT 208716 SOS 119960 HAS SOPS 115934 HAS SOUS 79500 HAS SOUPS 75857 WITH SCORE 75976.96
AT ITER 438 NEW BEST:: SOT 208688 SOS 119932 HAS SOPS 115906 HAS SOUS 79427 HAS SOUPS 75784 WITH SCORE 75903.932
AT ITER 444 NEW BEST:: SOT 208283 SOS 119527 HAS SOPS 115501 HAS SOUS 79097 HAS SOUPS 75454 WITH SCORE 75573.527
AT ITER 445 NEW BEST:: SOT 208402 SOS 119564 HAS SOPS 115368 HAS SOUS 78613 HAS SOUPS 74813 WITH SCORE 74932.564
AT ITER 453 NEW BEST:: SOT 208204 SOS 119146 HAS SOPS 114950 HAS SOUS 78577 HAS SOUPS 74777 WITH SCORE 74896.146
AT ITER 454 NEW BEST:: SOT 207596 SOS 118207 HAS SOPS 113865 HAS SOUS 78046 HAS SOUPS 74100 WITH SCORE 74218.207
AT ITER 455 NEW BEST:: SOT 207420 SOS 117641 HAS SOPS 113484 HAS SOUS 77685 HAS SOUPS 73924 WITH SCORE 74041.641
AT ITER 456 NEW BEST:: SOT 207420 SOS 117549 HAS SOPS 113392 HAS SOUS 77646 HAS SOUPS 73885 WITH SCORE 74002.549
AT ITER 466 NEW BEST:: SOT 207376 SOS 117461 HAS SOPS 113304 HAS SOUS 77602 HAS SOUPS 73841 WITH SCORE 73958.461
AT ITER 469 NEW BEST:: SOT 206496 SOS 116581 HAS SOPS 112424 HAS SOUS 77514 HAS SOUPS 73753 WITH SCORE 73869.581
AT ITER 471 NEW BEST:: SOT 206502 SOS 116586 HAS SOPS 112320 HAS SOUS 77519 HAS SOUPS 73649 WITH SCORE 73765.586
AT ITER 472 NEW BEST:: SOT 206430 SOS 116474 HAS SOPS 112169 HAS SOUS 77479 HAS SOUPS 73570 WITH SCORE 73686.474
AT ITER 477 NEW BEST:: SOT 206318 SOS 116405 HAS SOPS 112057 HAS SOUS 77367 HAS SOUPS 73415 WITH SCORE 73531.405
AT ITER 480 NEW BEST:: SOT 206347 SOS 113021 HAS SOPS 108673 HAS SOUS 77121 HAS SOUPS 73169 WITH SCORE 73282.021
AT ITER 482 NEW BEST:: SOT 206869 SOS 113403 HAS SOPS 108917 HAS SOUS 76981 HAS SOUPS 72937 WITH SCORE 73050.403
AT ITER 483 NEW BEST:: SOT 206860 SOS 113393 HAS SOPS 108907 HAS SOUS 76971 HAS SOUPS 72927 WITH SCORE 73040.393
AT ITER 485 NEW BEST:: SOT 206831 SOS 113364 HAS SOPS 108878 HAS SOUS 76942 HAS SOUPS 72898 WITH SCORE 73011.364
AT ITER 487 NEW BEST:: SOT 206750 SOS 113222 HAS SOPS 108790 HAS SOUS 76879 HAS SOUPS 72889 WITH SCORE 73002.222
AT ITER 491 NEW BEST:: SOT 206439 SOS 112911 HAS SOPS 108344 HAS SOUS 76703 HAS SOUPS 72578 WITH SCORE 72690.911
AT ITER 498 NEW BEST:: SOT 206439 SOS 112734 HAS SOPS 108167 HAS SOUS 76703 HAS SOUPS 72578 WITH SCORE 72690.734
AT ITER 505 NEW BEST:: SOT 206247 SOS 112639 HAS SOPS 108031 HAS SOUS 76658 HAS SOUPS 72492 WITH SCORE 72604.639
AT ITER 507 NEW BEST:: SOT 206226 SOS 112604 HAS SOPS 108003 HAS SOUS 76637 HAS SOUPS 72478 WITH SCORE 72590.604
AT ITER 509 NEW BEST:: SOT 205939 SOS 112522 HAS SOPS 107921 HAS SOUS 76470 HAS SOUPS 72311 WITH SCORE 72423.522
AT ITER 510 NEW BEST:: SOT 205600 SOS 112070 HAS SOPS 107469 HAS SOUS 76131 HAS SOUPS 71972 WITH SCORE 72084.07
AT ITER 514 NEW BEST:: SOT 205518 SOS 112070 HAS SOPS 107469 HAS SOUS 76075 HAS SOUPS 71916 WITH SCORE 72028.07
AT ITER 525 NEW BEST:: SOT 204942 SOS 111081 HAS SOPS 106383 HAS SOUS 75460 HAS SOUPS 71204 WITH SCORE 71315.081
AT ITER 528 NEW BEST:: SOT 204681 SOS 110812 HAS SOPS 106114 HAS SOUS 75365 HAS SOUPS 71109 WITH SCORE 71219.812
AT ITER 530 NEW BEST:: SOT 204681 SOS 110732 HAS SOPS 106074 HAS SOUS 75325 HAS SOUPS 71109 WITH SCORE 71219.732
AT ITER 537 NEW BEST:: SOT 204685 SOS 110942 HAS SOPS 106060 HAS SOUS 75453 HAS SOUPS 71013 WITH SCORE 71123.942
AT ITER 541 NEW BEST:: SOT 204542 SOS 111102 HAS SOPS 106194 HAS SOUS 75371 HAS SOUPS 70905 WITH SCORE 71016.102
AT ITER 550 NEW BEST:: SOT 203089 SOS 109718 HAS SOPS 104810 HAS SOUS 74711 HAS SOUPS 70245 WITH SCORE 70354.718
AT ITER 551 NEW BEST:: SOT 202918 SOS 109547 HAS SOPS 104639 HAS SOUS 74597 HAS SOUPS 70131 WITH SCORE 70240.547
AT ITER 552 NEW BEST:: SOT 202666 SOS 108752 HAS SOPS 103938 HAS SOUS 74186 HAS SOUPS 69814 WITH SCORE 69922.752
AT ITER 554 NEW BEST:: SOT 202649 SOS 108734 HAS SOPS 103920 HAS SOUS 74168 HAS SOUPS 69796 WITH SCORE 69904.734
AT ITER 565 NEW BEST:: SOT 202583 SOS 108603 HAS SOPS 103789 HAS SOUS 74103 HAS SOUPS 69731 WITH SCORE 69839.603
AT ITER 567 NEW BEST:: SOT 202361 SOS 108265 HAS SOPS 103451 HAS SOUS 73881 HAS SOUPS 69509 WITH SCORE 69617.265
AT ITER 570 NEW BEST:: SOT 202378 SOS 107736 HAS SOPS 102922 HAS SOUS 73599 HAS SOUPS 69227 WITH SCORE 69334.736
AT ITER 574 NEW BEST:: SOT 202348 SOS 107488 HAS SOPS 102613 HAS SOUS 73624 HAS SOUPS 69221 WITH SCORE 69328.488
AT ITER 578 NEW BEST:: SOT 201115 SOS 106529 HAS SOPS 101517 HAS SOUS 73624 HAS SOUPS 69221 WITH SCORE 69327.529
AT ITER 588 NEW BEST:: SOT 201053 SOS 106382 HAS SOPS 101370 HAS SOUS 73568 HAS SOUPS 69165 WITH SCORE 69271.382
AT ITER 590 NEW BEST:: SOT 201018 SOS 106311 HAS SOPS 101299 HAS SOUS 73497 HAS SOUPS 69094 WITH SCORE 69200.311
AT ITER 599 NEW BEST:: SOT 201016 SOS 106306 HAS SOPS 101294 HAS SOUS 73494 HAS SOUPS 69091 WITH SCORE 69197.306
AT ITER 605 NEW BEST:: SOT 201001 SOS 106198 HAS SOPS 101186 HAS SOUS 73448 HAS SOUPS 69045 WITH SCORE 69151.198
AT ITER 609 NEW BEST:: SOT 200962 SOS 105899 HAS SOPS 100952 HAS SOUS 73279 HAS SOUPS 68941 WITH SCORE 69046.899
AT ITER 610 NEW BEST:: SOT 200296 SOS 105226 HAS SOPS 100397 HAS SOUS 73176 HAS SOUPS 68910 WITH SCORE 69015.226
AT ITER 617 NEW BEST:: SOT 200020 SOS 104900 HAS SOPS 100039 HAS SOUS 72988 HAS SOUPS 68690 WITH SCORE 68794.9
AT ITER 622 NEW BEST:: SOT 199310 SOS 103772 HAS SOPS 98726 HAS SOUS 72408 HAS SOUPS 67925 WITH SCORE 68028.772
AT ITER 624 NEW BEST:: SOT 199206 SOS 103651 HAS SOPS 98605 HAS SOUS 72342 HAS SOUPS 67859 WITH SCORE 67962.651
AT ITER 625 NEW BEST:: SOT 199115 SOS 103522 HAS SOPS 98476 HAS SOUS 72163 HAS SOUPS 67680 WITH SCORE 67783.522
AT ITER 630 NEW BEST:: SOT 199114 SOS 103470 HAS SOPS 98474 HAS SOUS 72111 HAS SOUPS 67678 WITH SCORE 67781.47
AT ITER 632 NEW BEST:: SOT 198897 SOS 103135 HAS SOPS 98139 HAS SOUS 71702 HAS SOUPS 67269 WITH SCORE 67372.135
AT ITER 639 NEW BEST:: SOT 199476 SOS 103600 HAS SOPS 98604 HAS SOUS 71651 HAS SOUPS 67218 WITH SCORE 67321.6
AT ITER 641 NEW BEST:: SOT 199476 SOS 103574 HAS SOPS 98578 HAS SOUS 71625 HAS SOUPS 67192 WITH SCORE 67295.574
AT ITER 643 NEW BEST:: SOT 199445 SOS 103543 HAS SOPS 98547 HAS SOUS 71568 HAS SOUPS 67135 WITH SCORE 67238.543
AT ITER 645 NEW BEST:: SOT 199412 SOS 103510 HAS SOPS 98514 HAS SOUS 71478 HAS SOUPS 67045 WITH SCORE 67148.51
AT ITER 648 NEW BEST:: SOT 199403 SOS 103474 HAS SOPS 98487 HAS SOUS 71460 HAS SOUPS 67036 WITH SCORE 67139.474
AT ITER 654 NEW BEST:: SOT 199348 SOS 103296 HAS SOPS 98309 HAS SOUS 71385 HAS SOUPS 66961 WITH SCORE 67064.296
AT ITER 659 NEW BEST:: SOT 199288 SOS 103236 HAS SOPS 98249 HAS SOUS 71340 HAS SOUPS 66916 WITH SCORE 67019.236
AT ITER 664 NEW BEST:: SOT 199254 SOS 103202 HAS SOPS 98215 HAS SOUS 71319 HAS SOUPS 66895 WITH SCORE 66998.202
AT ITER 665 NEW BEST:: SOT 199178 SOS 103207 HAS SOPS 98220 HAS SOUS 71248 HAS SOUPS 66824 WITH SCORE 66927.207
AT ITER 667 NEW BEST:: SOT 198838 SOS 102867 HAS SOPS 97880 HAS SOUS 70908 HAS SOUPS 66484 WITH SCORE 66586.867
AT ITER 675 NEW BEST:: SOT 198826 SOS 102855 HAS SOPS 97868 HAS SOUS 70896 HAS SOUPS 66472 WITH SCORE 66574.855
AT ITER 676 NEW BEST:: SOT 198766 SOS 102779 HAS SOPS 97852 HAS SOUS 70820 HAS SOUPS 66456 WITH SCORE 66558.779
AT ITER 681 NEW BEST:: SOT 198765 SOS 102778 HAS SOPS 97851 HAS SOUS 70724 HAS SOUPS 66360 WITH SCORE 66462.778
AT ITER 688 NEW BEST:: SOT 198145 SOS 101769 HAS SOPS 96507 HAS SOUS 70353 HAS SOUPS 65654 WITH SCORE 65755.769
AT ITER 694 NEW BEST:: SOT 198130 SOS 101508 HAS SOPS 96246 HAS SOUS 70195 HAS SOUPS 65496 WITH SCORE 65597.508
AT ITER 696 NEW BEST:: SOT 198062 SOS 101288 HAS SOPS 96026 HAS SOUS 70071 HAS SOUPS 65372 WITH SCORE 65473.288
AT ITER 698 NEW BEST:: SOT 198020 SOS 101134 HAS SOPS 95872 HAS SOUS 69973 HAS SOUPS 65274 WITH SCORE 65375.134
AT ITER 701 NEW BEST:: SOT 197966 SOS 101094 HAS SOPS 95743 HAS SOUS 69994 HAS SOUPS 65206 WITH SCORE 65307.094
AT ITER 702 NEW BEST:: SOT 197960 SOS 101085 HAS SOPS 95734 HAS SOUS 69985 HAS SOUPS 65197 WITH SCORE 65298.085
AT ITER 712 NEW BEST:: SOT 197960 SOS 101000 HAS SOPS 95649 HAS SOUS 69889 HAS SOUPS 65101 WITH SCORE 65202.0
AT ITER 724 NEW BEST:: SOT 197707 SOS 100778 HAS SOPS 95396 HAS SOUS 69764 HAS SOUPS 64945 WITH SCORE 65045.778
AT ITER 726 NEW BEST:: SOT 197709 SOS 100780 HAS SOPS 95397 HAS SOUS 69764 HAS SOUPS 64944 WITH SCORE 65044.78
AT ITER 729 NEW BEST:: SOT 197410 SOS 100401 HAS SOPS 95018 HAS SOUS 69465 HAS SOUPS 64645 WITH SCORE 64745.401
AT ITER 730 NEW BEST:: SOT 197325 SOS 100454 HAS SOPS 95071 HAS SOUS 69381 HAS SOUPS 64561 WITH SCORE 64661.454
AT ITER 735 NEW BEST:: SOT 197161 SOS 100317 HAS SOPS 94934 HAS SOUS 69238 HAS SOUPS 64418 WITH SCORE 64518.317
AT ITER 741 NEW BEST:: SOT 198075 SOS 101181 HAS SOPS 95798 HAS SOUS 69188 HAS SOUPS 64368 WITH SCORE 64469.181
AT ITER 744 NEW BEST:: SOT 197877 SOS 100983 HAS SOPS 95622 HAS SOUS 69102 HAS SOUPS 64304 WITH SCORE 64404.983
AT ITER 746 NEW BEST:: SOT 197610 SOS 100716 HAS SOPS 95355 HAS SOUS 69042 HAS SOUPS 64244 WITH SCORE 64344.716
AT ITER 754 NEW BEST:: SOT 197399 SOS 100988 HAS SOPS 95627 HAS SOUS 68991 HAS SOUPS 64193 WITH SCORE 64293.988
AT ITER 766 NEW BEST:: SOT 197291 SOS 101061 HAS SOPS 95700 HAS SOUS 68982 HAS SOUPS 64184 WITH SCORE 64285.061
AT ITER 767 NEW BEST:: SOT 197225 SOS 100965 HAS SOPS 95590 HAS SOUS 68930 HAS SOUPS 64118 WITH SCORE 64218.965
AT ITER 771 NEW BEST:: SOT 197184 SOS 101144 HAS SOPS 95769 HAS SOUS 68924 HAS SOUPS 64112 WITH SCORE 64213.144
AT ITER 774 NEW BEST:: SOT 197142 SOS 101060 HAS SOPS 95664 HAS SOUS 68882 HAS SOUPS 64049 WITH SCORE 64150.06
AT ITER 786 NEW BEST:: SOT 197142 SOS 100381 HAS SOPS 94985 HAS SOUS 68868 HAS SOUPS 64035 WITH SCORE 64135.381
AT ITER 796 NEW BEST:: SOT 197078 SOS 100300 HAS SOPS 94857 HAS SOUS 68787 HAS SOUPS 63907 WITH SCORE 64007.3
AT ITER 799 NEW BEST:: SOT 197034 SOS 100256 HAS SOPS 94813 HAS SOUS 68708 HAS SOUPS 63828 WITH SCORE 63928.256
AT ITER 813 NEW BEST:: SOT 197020 SOS 100369 HAS SOPS 94852 HAS SOUS 68761 HAS SOUPS 63807 WITH SCORE 63907.369
AT ITER 822 NEW BEST:: SOT 197002 SOS 100351 HAS SOPS 94834 HAS SOUS 68743 HAS SOUPS 63789 WITH SCORE 63889.351
AT ITER 827 NEW BEST:: SOT 196834 SOS 100225 HAS SOPS 94708 HAS SOUS 68579 HAS SOUPS 63625 WITH SCORE 63725.225
AT ITER 836 NEW BEST:: SOT 196810 SOS 100105 HAS SOPS 94588 HAS SOUS 68495 HAS SOUPS 63541 WITH SCORE 63641.105
AT ITER 839 NEW BEST:: SOT 197690 SOS 100665 HAS SOPS 95148 HAS SOUS 68475 HAS SOUPS 63521 WITH SCORE 63621.665
AT ITER 841 NEW BEST:: SOT 197668 SOS 100636 HAS SOPS 95119 HAS SOUS 68455 HAS SOUPS 63501 WITH SCORE 63601.636
AT ITER 853 NEW BEST:: SOT 197667 SOS 100635 HAS SOPS 95117 HAS SOUS 68454 HAS SOUPS 63499 WITH SCORE 63599.635
AT ITER 856 NEW BEST:: SOT 197667 SOS 100618 HAS SOPS 95117 HAS SOUS 68337 HAS SOUPS 63499 WITH SCORE 63599.618
AT ITER 862 NEW BEST:: SOT 197667 SOS 100606 HAS SOPS 95105 HAS SOUS 68325 HAS SOUPS 63487 WITH SCORE 63587.606
AT ITER 878 NEW BEST:: SOT 198087 SOS 101038 HAS SOPS 95390 HAS SOUS 68437 HAS SOUPS 63475 WITH SCORE 63576.038
AT ITER 879 NEW BEST:: SOT 198805 SOS 100793 HAS SOPS 95145 HAS SOUS 68345 HAS SOUPS 63383 WITH SCORE 63483.793
AT ITER 890 NEW BEST:: SOT 198786 SOS 100661 HAS SOPS 95013 HAS SOUS 68315 HAS SOUPS 63353 WITH SCORE 63453.661
AT ITER 894 NEW BEST:: SOT 198771 SOS 100646 HAS SOPS 94998 HAS SOUS 68300 HAS SOUPS 63338 WITH SCORE 63438.646
AT ITER 905 NEW BEST:: SOT 198771 SOS 99219 HAS SOPS 93571 HAS SOUS 68205 HAS SOUPS 63243 WITH SCORE 63342.219
AT ITER 913 NEW BEST:: SOT 198905 SOS 99346 HAS SOPS 93554 HAS SOUS 68332 HAS SOUPS 63226 WITH SCORE 63325.346
AT ITER 919 NEW BEST:: SOT 198592 SOS 99033 HAS SOPS 93241 HAS SOUS 67883 HAS SOUPS 62777 WITH SCORE 62876.033
AT ITER 920 NEW BEST:: SOT 198558 SOS 98999 HAS SOPS 93239 HAS SOUS 67849 HAS SOUPS 62775 WITH SCORE 62873.999
AT ITER 921 NEW BEST:: SOT 198520 SOS 98961 HAS SOPS 93201 HAS SOUS 67831 HAS SOUPS 62757 WITH SCORE 62855.961
AT ITER 926 NEW BEST:: SOT 198356 SOS 98715 HAS SOPS 92955 HAS SOUS 67667 HAS SOUPS 62593 WITH SCORE 62691.715
AT ITER 930 NEW BEST:: SOT 198325 SOS 98700 HAS SOPS 92940 HAS SOUS 67656 HAS SOUPS 62582 WITH SCORE 62680.7
AT ITER 932 NEW BEST:: SOT 198256 SOS 98551 HAS SOPS 92791 HAS SOUS 67535 HAS SOUPS 62461 WITH SCORE 62559.551
AT ITER 935 NEW BEST:: SOT 198360 SOS 98749 HAS SOPS 92885 HAS SOUS 67568 HAS SOUPS 62451 WITH SCORE 62549.749
AT ITER 937 NEW BEST:: SOT 198414 SOS 98695 HAS SOPS 92831 HAS SOUS 67568 HAS SOUPS 62451 WITH SCORE 62549.695
AT ITER 947 NEW BEST:: SOT 198037 SOS 98183 HAS SOPS 92319 HAS SOUS 67272 HAS SOUPS 62155 WITH SCORE 62253.183
AT ITER 953 NEW BEST:: SOT 198020 SOS 98149 HAS SOPS 92285 HAS SOUS 67255 HAS SOUPS 62138 WITH SCORE 62236.149
AT ITER 969 NEW BEST:: SOT 197902 SOS 98031 HAS SOPS 92167 HAS SOUS 67137 HAS SOUPS 62020 WITH SCORE 62118.031
AT ITER 970 NEW BEST:: SOT 197767 SOS 97456 HAS SOPS 91736 HAS SOUS 66730 HAS SOUPS 61757 WITH SCORE 61854.456
AT ITER 977 NEW BEST:: SOT 197731 SOS 97420 HAS SOPS 91700 HAS SOUS 66658 HAS SOUPS 61685 WITH SCORE 61782.42
AT ITER 978 NEW BEST:: SOT 197654 SOS 97343 HAS SOPS 91550 HAS SOUS 66702 HAS SOUPS 61656 WITH SCORE 61753.343
AT ITER 979 NEW BEST:: SOT 197677 SOS 97172 HAS SOPS 91402 HAS SOUS 66554 HAS SOUPS 61508 WITH SCORE 61605.172
AT ITER 980 NEW BEST:: SOT 197931 SOS 97357 HAS SOPS 91554 HAS SOUS 66552 HAS SOUPS 61506 WITH SCORE 61603.357
AT ITER 983 NEW BEST:: SOT 197834 SOS 97260 HAS SOPS 91457 HAS SOUS 66542 HAS SOUPS 61496 WITH SCORE 61593.26
AT ITER 992 NEW BEST:: SOT 197832 SOS 97256 HAS SOPS 91452 HAS SOUS 66540 HAS SOUPS 61493 WITH SCORE 61590.256
AT ITER 993 NEW BEST:: SOT 197500 SOS 96924 HAS SOPS 91120 HAS SOUS 66278 HAS SOUPS 61231 WITH SCORE 61327.924
AT ITER 994 NEW BEST:: SOT 197505 SOS 96676 HAS SOPS 90872 HAS SOUS 66217 HAS SOUPS 61170 WITH SCORE 61266.676
AT ITER 995 NEW BEST:: SOT 197440 SOS 96416 HAS SOPS 90677 HAS SOUS 66022 HAS SOUPS 61040 WITH SCORE 61136.416
AT ITER 999 NEW BEST:: SOT 197368 SOS 96344 HAS SOPS 90605 HAS SOUS 65950 HAS SOUPS 60968 WITH SCORE 61064.344
AT ITER 1011 NEW BEST:: SOT 197302 SOS 96179 HAS SOPS 90473 HAS SOUS 65851 HAS SOUPS 60902 WITH SCORE 60998.179
AT ITER 1018 NEW BEST:: SOT 196964 SOS 95917 HAS SOPS 90091 HAS SOUS 65583 HAS SOUPS 60514 WITH SCORE 60609.917
AT ITER 1021 NEW BEST:: SOT 196738 SOS 95673 HAS SOPS 89847 HAS SOUS 65240 HAS SOUPS 60171 WITH SCORE 60266.673
AT ITER 1028 NEW BEST:: SOT 196768 SOS 95146 HAS SOPS 89496 HAS SOUS 65179 HAS SOUPS 60154 WITH SCORE 60249.146
AT ITER 1032 NEW BEST:: SOT 196608 SOS 94871 HAS SOPS 89221 HAS SOUS 65056 HAS SOUPS 60031 WITH SCORE 60125.871
AT ITER 1033 NEW BEST:: SOT 196675 SOS 94938 HAS SOPS 89043 HAS SOUS 65264 HAS SOUPS 59994 WITH SCORE 60088.938
AT ITER 1036 NEW BEST:: SOT 196639 SOS 94913 HAS SOPS 88948 HAS SOUS 65298 HAS SOUPS 59958 WITH SCORE 60052.913
AT ITER 1040 NEW BEST:: SOT 196448 SOS 94722 HAS SOPS 88855 HAS SOUS 65180 HAS SOUPS 59865 WITH SCORE 59959.722
AT ITER 1044 NEW BEST:: SOT 196396 SOS 94641 HAS SOPS 88774 HAS SOUS 65105 HAS SOUPS 59790 WITH SCORE 59884.641
AT ITER 1048 NEW BEST:: SOT 196301 SOS 94775 HAS SOPS 88738 HAS SOUS 65225 HAS SOUPS 59740 WITH SCORE 59834.775
AT ITER 1057 NEW BEST:: SOT 196254 SOS 94728 HAS SOPS 88576 HAS SOUS 65246 HAS SOUPS 59646 WITH SCORE 59740.728
AT ITER 1061 NEW BEST:: SOT 196198 SOS 94672 HAS SOPS 88404 HAS SOUS 65212 HAS SOUPS 59496 WITH SCORE 59590.672
AT ITER 1065 NEW BEST:: SOT 196193 SOS 94667 HAS SOPS 88399 HAS SOUS 65207 HAS SOUPS 59491 WITH SCORE 59585.667
AT ITER 1068 NEW BEST:: SOT 195949 SOS 94423 HAS SOPS 88155 HAS SOUS 64848 HAS SOUPS 59132 WITH SCORE 59226.423
AT ITER 1081 NEW BEST:: SOT 195949 SOS 94321 HAS SOPS 88053 HAS SOUS 64848 HAS SOUPS 59132 WITH SCORE 59226.321
AT ITER 1089 NEW BEST:: SOT 195715 SOS 93614 HAS SOPS 87346 HAS SOUS 64377 HAS SOUPS 58661 WITH SCORE 58754.614
AT ITER 1093 NEW BEST:: SOT 195719 SOS 93618 HAS SOPS 87350 HAS SOUS 64376 HAS SOUPS 58660 WITH SCORE 58753.618
AT ITER 1096 NEW BEST:: SOT 196138 SOS 94008 HAS SOPS 87747 HAS SOUS 64372 HAS SOUPS 58656 WITH SCORE 58750.008
AT ITER 1103 NEW BEST:: SOT 196123 SOS 93983 HAS SOPS 87722 HAS SOUS 64357 HAS SOUPS 58641 WITH SCORE 58734.983
AT ITER 1106 NEW BEST:: SOT 196123 SOS 93872 HAS SOPS 87635 HAS SOUS 64332 HAS SOUPS 58640 WITH SCORE 58733.872
AT ITER 1116 NEW BEST:: SOT 196121 SOS 93870 HAS SOPS 87633 HAS SOUS 64330 HAS SOUPS 58638 WITH SCORE 58731.87
AT ITER 1119 NEW BEST:: SOT 196109 SOS 93749 HAS SOPS 87512 HAS SOUS 64281 HAS SOUPS 58589 WITH SCORE 58682.749
AT ITER 1121 NEW BEST:: SOT 196734 SOS 91565 HAS SOPS 85328 HAS SOUS 64274 HAS SOUPS 58582 WITH SCORE 58673.565
AT ITER 1128 NEW BEST:: SOT 196250 SOS 91215 HAS SOPS 84978 HAS SOUS 64004 HAS SOUPS 58312 WITH SCORE 58403.215
AT ITER 1134 NEW BEST:: SOT 196047 SOS 90979 HAS SOPS 84734 HAS SOUS 63826 HAS SOUPS 58126 WITH SCORE 58216.979
AT ITER 1138 NEW BEST:: SOT 195987 SOS 90919 HAS SOPS 84674 HAS SOUS 63766 HAS SOUPS 58066 WITH SCORE 58156.919
AT ITER 1151 NEW BEST:: SOT 195961 SOS 90893 HAS SOPS 84648 HAS SOUS 63741 HAS SOUPS 58041 WITH SCORE 58131.893
AT ITER 1156 NEW BEST:: SOT 195961 SOS 90809 HAS SOPS 84564 HAS SOUS 63741 HAS SOUPS 58041 WITH SCORE 58131.809
AT ITER 1171 NEW BEST:: SOT 195921 SOS 90732 HAS SOPS 84487 HAS SOUS 63664 HAS SOUPS 57964 WITH SCORE 58054.732
AT ITER 1172 NEW BEST:: SOT 195917 SOS 90728 HAS SOPS 84483 HAS SOUS 63660 HAS SOUPS 57960 WITH SCORE 58050.728
AT ITER 1173 NEW BEST:: SOT 195850 SOS 90836 HAS SOPS 84509 HAS SOUS 63706 HAS SOUPS 57924 WITH SCORE 58014.836
AT ITER 1174 NEW BEST:: SOT 195961 SOS 90666 HAS SOPS 84339 HAS SOUS 63662 HAS SOUPS 57880 WITH SCORE 57970.666
AT ITER 1189 NEW BEST:: SOT 195961 SOS 90647 HAS SOPS 84320 HAS SOUS 63662 HAS SOUPS 57880 WITH SCORE 57970.647
AT ITER 1198 NEW BEST:: SOT 196156 SOS 90442 HAS SOPS 84121 HAS SOUS 63619 HAS SOUPS 57843 WITH SCORE 57933.442
AT ITER 1206 NEW BEST:: SOT 196077 SOS 90326 HAS SOPS 83963 HAS SOUS 63503 HAS SOUPS 57685 WITH SCORE 57775.326
AT ITER 1212 NEW BEST:: SOT 196054 SOS 90303 HAS SOPS 83940 HAS SOUS 63480 HAS SOUPS 57662 WITH SCORE 57752.303
AT ITER 1214 NEW BEST:: SOT 196116 SOS 90324 HAS SOPS 83961 HAS SOUS 63462 HAS SOUPS 57644 WITH SCORE 57734.324
AT ITER 1218 NEW BEST:: SOT 195901 SOS 90189 HAS SOPS 83826 HAS SOUS 63433 HAS SOUPS 57615 WITH SCORE 57705.189
AT ITER 1224 NEW BEST:: SOT 195737 SOS 90092 HAS SOPS 83729 HAS SOUS 63292 HAS SOUPS 57474 WITH SCORE 57564.092
AT ITER 1254 NEW BEST:: SOT 195705 SOS 89853 HAS SOPS 83490 HAS SOUS 63053 HAS SOUPS 57235 WITH SCORE 57324.853
AT ITER 1255 NEW BEST:: SOT 195727 SOS 89859 HAS SOPS 83496 HAS SOUS 63052 HAS SOUPS 57234 WITH SCORE 57323.859
AT ITER 1276 NEW BEST:: SOT 195748 SOS 89817 HAS SOPS 83454 HAS SOUS 63052 HAS SOUPS 57234 WITH SCORE 57323.817
AT ITER 1284 NEW BEST:: SOT 195718 SOS 89787 HAS SOPS 83424 HAS SOUS 63022 HAS SOUPS 57204 WITH SCORE 57293.787
AT ITER 1287 NEW BEST:: SOT 195701 SOS 89753 HAS SOPS 83390 HAS SOUS 63005 HAS SOUPS 57187 WITH SCORE 57276.753
AT ITER 1299 NEW BEST:: SOT 195680 SOS 89452 HAS SOPS 83136 HAS SOUS 62930 HAS SOUPS 57159 WITH SCORE 57248.452
AT ITER 1300 NEW BEST:: SOT 195664 SOS 89096 HAS SOPS 82780 HAS SOUS 62738 HAS SOUPS 56967 WITH SCORE 57056.096
AT ITER 1305 NEW BEST:: SOT 197392 SOS 90359 HAS SOPS 84076 HAS SOUS 62702 HAS SOUPS 56931 WITH SCORE 57021.359
AT ITER 1324 NEW BEST:: SOT 197296 SOS 90517 HAS SOPS 84115 HAS SOUS 62769 HAS SOUPS 56879 WITH SCORE 56969.517
AT ITER 1329 NEW BEST:: SOT 197098 SOS 90103 HAS SOPS 83701 HAS SOUS 62733 HAS SOUPS 56843 WITH SCORE 56933.103
AT ITER 1330 NEW BEST:: SOT 197098 SOS 89905 HAS SOPS 83581 HAS SOUS 62613 HAS SOUPS 56801 WITH SCORE 56890.905
AT ITER 1332 NEW BEST:: SOT 197098 SOS 89898 HAS SOPS 83574 HAS SOUS 62606 HAS SOUPS 56794 WITH SCORE 56883.898
AT ITER 1334 NEW BEST:: SOT 197066 SOS 89901 HAS SOPS 83577 HAS SOUS 62574 HAS SOUPS 56762 WITH SCORE 56851.901
AT ITER 1365 NEW BEST:: SOT 197067 SOS 89602 HAS SOPS 83278 HAS SOUS 62440 HAS SOUPS 56628 WITH SCORE 56717.602
AT ITER 1375 NEW BEST:: SOT 196966 SOS 89551 HAS SOPS 83227 HAS SOUS 62348 HAS SOUPS 56536 WITH SCORE 56625.551
AT ITER 1379 NEW BEST:: SOT 196926 SOS 89379 HAS SOPS 83055 HAS SOUS 62216 HAS SOUPS 56404 WITH SCORE 56493.379
AT ITER 1387 NEW BEST:: SOT 196717 SOS 89170 HAS SOPS 82846 HAS SOUS 62216 HAS SOUPS 56404 WITH SCORE 56493.17
AT ITER 1388 NEW BEST:: SOT 196730 SOS 89128 HAS SOPS 82804 HAS SOUS 62161 HAS SOUPS 56349 WITH SCORE 56438.128
AT ITER 1389 NEW BEST:: SOT 196687 SOS 89070 HAS SOPS 82745 HAS SOUS 62124 HAS SOUPS 56311 WITH SCORE 56400.07
AT ITER 1401 NEW BEST:: SOT 196687 SOS 89069 HAS SOPS 82745 HAS SOUS 62123 HAS SOUPS 56311 WITH SCORE 56400.069
AT ITER 1409 NEW BEST:: SOT 196669 SOS 89101 HAS SOPS 82775 HAS SOUS 62113 HAS SOUPS 56299 WITH SCORE 56388.101
AT ITER 1422 NEW BEST:: SOT 196640 SOS 88960 HAS SOPS 82634 HAS SOUS 62001 HAS SOUPS 56187 WITH SCORE 56275.96
AT ITER 1450 NEW BEST:: SOT 196606 SOS 88951 HAS SOPS 82599 HAS SOUS 61993 HAS SOUPS 56153 WITH SCORE 56241.951
AT ITER 1461 NEW BEST:: SOT 196570 SOS 88878 HAS SOPS 82526 HAS SOUS 61991 HAS SOUPS 56151 WITH SCORE 56239.878
AT ITER 1463 NEW BEST:: SOT 196351 SOS 88708 HAS SOPS 82356 HAS SOUS 61743 HAS SOUPS 55903 WITH SCORE 55991.708
AT ITER 1465 NEW BEST:: SOT 196198 SOS 88347 HAS SOPS 82110 HAS SOUS 61472 HAS SOUPS 55747 WITH SCORE 55835.347
AT ITER 1466 NEW BEST:: SOT 196167 SOS 88316 HAS SOPS 82104 HAS SOUS 61398 HAS SOUPS 55706 WITH SCORE 55794.316
AT ITER 1476 NEW BEST:: SOT 196125 SOS 88301 HAS SOPS 82089 HAS SOUS 61385 HAS SOUPS 55693 WITH SCORE 55781.301
AT ITER 1477 NEW BEST:: SOT 196081 SOS 88262 HAS SOPS 82050 HAS SOUS 61341 HAS SOUPS 55649 WITH SCORE 55737.262
AT ITER 1485 NEW BEST:: SOT 196045 SOS 88226 HAS SOPS 82014 HAS SOUS 61305 HAS SOUPS 55613 WITH SCORE 55701.226
AT ITER 1492 NEW BEST:: SOT 196096 SOS 88130 HAS SOPS 81918 HAS SOUS 61258 HAS SOUPS 55566 WITH SCORE 55654.13
AT ITER 1493 NEW BEST:: SOT 196189 SOS 88223 HAS SOPS 82011 HAS SOUS 61256 HAS SOUPS 55564 WITH SCORE 55652.223
AT ITER 1506 NEW BEST:: SOT 196169 SOS 88191 HAS SOPS 81979 HAS SOUS 61241 HAS SOUPS 55549 WITH SCORE 55637.191
AT ITER 1513 NEW BEST:: SOT 196166 SOS 88149 HAS SOPS 81937 HAS SOUS 61199 HAS SOUPS 55507 WITH SCORE 55595.149
AT ITER 1528 NEW BEST:: SOT 196158 SOS 87790 HAS SOPS 81578 HAS SOUS 61027 HAS SOUPS 55335 WITH SCORE 55422.79
AT ITER 1544 NEW BEST:: SOT 196086 SOS 87550 HAS SOPS 81362 HAS SOUS 61003 HAS SOUPS 55311 WITH SCORE 55398.55
AT ITER 1553 NEW BEST:: SOT 196043 SOS 87506 HAS SOPS 81379 HAS SOUS 60857 HAS SOUPS 55226 WITH SCORE 55313.506
AT ITER 1575 NEW BEST:: SOT 196049 SOS 87486 HAS SOPS 81361 HAS SOUS 60855 HAS SOUPS 55226 WITH SCORE 55313.486
AT ITER 1607 NEW BEST:: SOT 196105 SOS 87542 HAS SOPS 81417 HAS SOUS 60804 HAS SOUPS 55175 WITH SCORE 55262.542
AT ITER 1608 NEW BEST:: SOT 196099 SOS 87533 HAS SOPS 81405 HAS SOUS 60798 HAS SOUPS 55166 WITH SCORE 55253.533
AT ITER 1621 NEW BEST:: SOT 196057 SOS 87472 HAS SOPS 81344 HAS SOUS 60755 HAS SOUPS 55123 WITH SCORE 55210.472
AT ITER 1625 NEW BEST:: SOT 195683 SOS 87128 HAS SOPS 81000 HAS SOUS 60717 HAS SOUPS 55085 WITH SCORE 55172.128
AT ITER 1628 NEW BEST:: SOT 195453 SOS 87356 HAS SOPS 81157 HAS SOUS 60692 HAS SOUPS 55060 WITH SCORE 55147.356
AT ITER 1633 NEW BEST:: SOT 195475 SOS 87378 HAS SOPS 81179 HAS SOUS 60630 HAS SOUPS 54998 WITH SCORE 55085.378
AT ITER 1639 NEW BEST:: SOT 195469 SOS 87372 HAS SOPS 81173 HAS SOUS 60575 HAS SOUPS 54943 WITH SCORE 55030.372
AT ITER 1642 NEW BEST:: SOT 195408 SOS 87065 HAS SOPS 80969 HAS SOUS 60329 HAS SOUPS 54800 WITH SCORE 54887.065
AT ITER 1654 NEW BEST:: SOT 195401 SOS 87058 HAS SOPS 80962 HAS SOUS 60322 HAS SOUPS 54793 WITH SCORE 54880.058
AT ITER 1657 NEW BEST:: SOT 195305 SOS 86976 HAS SOPS 80880 HAS SOUS 60281 HAS SOUPS 54752 WITH SCORE 54838.976
AT ITER 1671 NEW BEST:: SOT 195281 SOS 86952 HAS SOPS 80856 HAS SOUS 60275 HAS SOUPS 54746 WITH SCORE 54832.952
AT ITER 1672 NEW BEST:: SOT 195257 SOS 86799 HAS SOPS 80703 HAS SOUS 60267 HAS SOUPS 54738 WITH SCORE 54824.799
AT ITER 1676 NEW BEST:: SOT 195257 SOS 86735 HAS SOPS 80639 HAS SOUS 60235 HAS SOUPS 54706 WITH SCORE 54792.735
AT ITER 1695 NEW BEST:: SOT 195277 SOS 86705 HAS SOPS 80609 HAS SOUS 60224 HAS SOUPS 54695 WITH SCORE 54781.705
AT ITER 1697 NEW BEST:: SOT 195307 SOS 86811 HAS SOPS 80684 HAS SOUS 60229 HAS SOUPS 54669 WITH SCORE 54755.811
AT ITER 1704 NEW BEST:: SOT 195289 SOS 86721 HAS SOPS 80594 HAS SOUS 60197 HAS SOUPS 54637 WITH SCORE 54723.721
AT ITER 1707 NEW BEST:: SOT 194924 SOS 86355 HAS SOPS 80228 HAS SOUS 59831 HAS SOUPS 54271 WITH SCORE 54357.355
AT ITER 1710 NEW BEST:: SOT 194939 SOS 86370 HAS SOPS 80243 HAS SOUS 59767 HAS SOUPS 54207 WITH SCORE 54293.37
AT ITER 1712 NEW BEST:: SOT 194975 SOS 86822 HAS SOPS 80458 HAS SOUS 59997 HAS SOUPS 54200 WITH SCORE 54286.822
AT ITER 1713 NEW BEST:: SOT 194924 SOS 86760 HAS SOPS 80396 HAS SOUS 59968 HAS SOUPS 54171 WITH SCORE 54257.76
AT ITER 1732 NEW BEST:: SOT 194933 SOS 86745 HAS SOPS 80381 HAS SOUS 59766 HAS SOUPS 53969 WITH SCORE 54055.745
AT ITER 1736 NEW BEST:: SOT 194672 SOS 86600 HAS SOPS 80117 HAS SOUS 59739 HAS SOUPS 53823 WITH SCORE 53909.6
AT ITER 1737 NEW BEST:: SOT 194642 SOS 86570 HAS SOPS 80057 HAS SOUS 59679 HAS SOUPS 53763 WITH SCORE 53849.57
AT ITER 1749 NEW BEST:: SOT 194704 SOS 86562 HAS SOPS 80049 HAS SOUS 59654 HAS SOUPS 53738 WITH SCORE 53824.562
AT ITER 1757 NEW BEST:: SOT 194665 SOS 86451 HAS SOPS 79938 HAS SOUS 59602 HAS SOUPS 53686 WITH SCORE 53772.451
AT ITER 1770 NEW BEST:: SOT 194995 SOS 87505 HAS SOPS 80764 HAS SOUS 59620 HAS SOUPS 53647 WITH SCORE 53734.505
AT ITER 1775 NEW BEST:: SOT 194987 SOS 87485 HAS SOPS 80744 HAS SOUS 59608 HAS SOUPS 53635 WITH SCORE 53722.485
AT ITER 1778 NEW BEST:: SOT 194935 SOS 87353 HAS SOPS 80612 HAS SOUS 59507 HAS SOUPS 53534 WITH SCORE 53621.353
AT ITER 1780 NEW BEST:: SOT 194818 SOS 87235 HAS SOPS 80393 HAS SOUS 59389 HAS SOUPS 53315 WITH SCORE 53402.235
AT ITER 1792 NEW BEST:: SOT 194817 SOS 87234 HAS SOPS 80391 HAS SOUS 59388 HAS SOUPS 53313 WITH SCORE 53400.234
AT ITER 1812 NEW BEST:: SOT 194745 SOS 87162 HAS SOPS 80271 HAS SOUS 59340 HAS SOUPS 53217 WITH SCORE 53304.162
AT ITER 1816 NEW BEST:: SOT 194757 SOS 87104 HAS SOPS 80277 HAS SOUS 59270 HAS SOUPS 53211 WITH SCORE 53298.104
AT ITER 1817 NEW BEST:: SOT 194787 SOS 87089 HAS SOPS 80262 HAS SOUS 59270 HAS SOUPS 53211 WITH SCORE 53298.089
AT ITER 1820 NEW BEST:: SOT 194770 SOS 86981 HAS SOPS 80154 HAS SOUS 59162 HAS SOUPS 53103 WITH SCORE 53189.981
AT ITER 1836 NEW BEST:: SOT 194833 SOS 87037 HAS SOPS 80210 HAS SOUS 59155 HAS SOUPS 53096 WITH SCORE 53183.037
AT ITER 1838 NEW BEST:: SOT 194822 SOS 86979 HAS SOPS 80170 HAS SOUS 59108 HAS SOUPS 53067 WITH SCORE 53153.979
AT ITER 1844 NEW BEST:: SOT 194739 SOS 86896 HAS SOPS 80050 HAS SOUS 59062 HAS SOUPS 52984 WITH SCORE 53070.896
AT ITER 1846 NEW BEST:: SOT 194751 SOS 86902 HAS SOPS 80056 HAS SOUS 59056 HAS SOUPS 52978 WITH SCORE 53064.902
AT ITER 1849 NEW BEST:: SOT 194715 SOS 86554 HAS SOPS 79864 HAS SOUS 58867 HAS SOUPS 52945 WITH SCORE 53031.554
AT ITER 1852 NEW BEST:: SOT 194695 SOS 86514 HAS SOPS 79814 HAS SOUS 58847 HAS SOUPS 52915 WITH SCORE 53001.514
AT ITER 1853 NEW BEST:: SOT 194679 SOS 86450 HAS SOPS 79766 HAS SOUS 58799 HAS SOUPS 52883 WITH SCORE 52969.45
AT ITER 1858 NEW BEST:: SOT 194679 SOS 86432 HAS SOPS 79748 HAS SOUS 58787 HAS SOUPS 52871 WITH SCORE 52957.432
AT ITER 1863 NEW BEST:: SOT 194679 SOS 86542 HAS SOPS 79748 HAS SOUS 58701 HAS SOUPS 52675 WITH SCORE 52761.542
AT ITER 1871 NEW BEST:: SOT 194679 SOS 86542 HAS SOPS 79748 HAS SOUS 58700 HAS SOUPS 52674 WITH SCORE 52760.542
AT ITER 1911 NEW BEST:: SOT 194647 SOS 86433 HAS SOPS 79639 HAS SOUS 58623 HAS SOUPS 52597 WITH SCORE 52683.433
AT ITER 1912 NEW BEST:: SOT 194561 SOS 86375 HAS SOPS 79458 HAS SOUS 58608 HAS SOUPS 52541 WITH SCORE 52627.375
AT ITER 1916 NEW BEST:: SOT 194638 SOS 86430 HAS SOPS 79396 HAS SOUS 58720 HAS SOUPS 52536 WITH SCORE 52622.43
AT ITER 1922 NEW BEST:: SOT 194596 SOS 86387 HAS SOPS 79371 HAS SOUS 58661 HAS SOUPS 52495 WITH SCORE 52581.387
AT ITER 1931 NEW BEST:: SOT 194352 SOS 87853 HAS SOPS 80662 HAS SOUS 58711 HAS SOUPS 52371 WITH SCORE 52458.853
AT ITER 1939 NEW BEST:: SOT 194301 SOS 87802 HAS SOPS 80611 HAS SOUS 58707 HAS SOUPS 52367 WITH SCORE 52454.802
AT ITER 1957 NEW BEST:: SOT 194339 SOS 87752 HAS SOPS 80561 HAS SOUS 58674 HAS SOUPS 52334 WITH SCORE 52421.752
AT ITER 1966 NEW BEST:: SOT 194311 SOS 87724 HAS SOPS 80533 HAS SOUS 58646 HAS SOUPS 52306 WITH SCORE 52393.724
AT ITER 1968 NEW BEST:: SOT 194327 SOS 87414 HAS SOPS 80223 HAS SOUS 58632 HAS SOUPS 52292 WITH SCORE 52379.414
AT ITER 1989 NEW BEST:: SOT 194125 SOS 87258 HAS SOPS 80067 HAS SOUS 58430 HAS SOUPS 52090 WITH SCORE 52177.258
AT ITER 1993 NEW BEST:: SOT 194110 SOS 87183 HAS SOPS 79992 HAS SOUS 58363 HAS SOUPS 52023 WITH SCORE 52110.183
AT ITER 2010 NEW BEST:: SOT 194110 SOS 87165 HAS SOPS 79974 HAS SOUS 58363 HAS SOUPS 52023 WITH SCORE 52110.165
AT ITER 2050 NEW BEST:: SOT 194025 SOS 86985 HAS SOPS 79794 HAS SOUS 58307 HAS SOUPS 51967 WITH SCORE 52053.985
AT ITER 2055 NEW BEST:: SOT 193814 SOS 86556 HAS SOPS 79365 HAS SOUS 58096 HAS SOUPS 51756 WITH SCORE 51842.556
AT ITER 2056 NEW BEST:: SOT 193784 SOS 86506 HAS SOPS 79315 HAS SOUS 58086 HAS SOUPS 51746 WITH SCORE 51832.506
AT ITER 2064 NEW BEST:: SOT 193782 SOS 86502 HAS SOPS 79311 HAS SOUS 58085 HAS SOUPS 51745 WITH SCORE 51831.502
AT ITER 2067 NEW BEST:: SOT 193760 SOS 86460 HAS SOPS 79269 HAS SOUS 58043 HAS SOUPS 51703 WITH SCORE 51789.46
AT ITER 2073 NEW BEST:: SOT 193732 SOS 86476 HAS SOPS 79285 HAS SOUS 58012 HAS SOUPS 51672 WITH SCORE 51758.476
AT ITER 2085 NEW BEST:: SOT 193643 SOS 85997 HAS SOPS 78841 HAS SOUS 57954 HAS SOUPS 51649 WITH SCORE 51734.997
AT ITER 2102 NEW BEST:: SOT 193613 SOS 85967 HAS SOPS 78781 HAS SOUS 57932 HAS SOUPS 51608 WITH SCORE 51693.967
AT ITER 2126 NEW BEST:: SOT 193556 SOS 85859 HAS SOPS 78617 HAS SOUS 57941 HAS SOUPS 51561 WITH SCORE 51646.859
AT ITER 2131 NEW BEST:: SOT 193544 SOS 85843 HAS SOPS 78601 HAS SOUS 57933 HAS SOUPS 51553 WITH SCORE 51638.843
AT ITER 2132 NEW BEST:: SOT 193599 SOS 85663 HAS SOPS 78479 HAS SOUS 57874 HAS SOUPS 51494 WITH SCORE 51579.663
AT ITER 2137 NEW BEST:: SOT 193591 SOS 85655 HAS SOPS 78463 HAS SOUS 57866 HAS SOUPS 51478 WITH SCORE 51563.655
AT ITER 2153 NEW BEST:: SOT 193610 SOS 85630 HAS SOPS 78438 HAS SOUS 57854 HAS SOUPS 51466 WITH SCORE 51551.63
AT ITER 2154 NEW BEST:: SOT 193564 SOS 85584 HAS SOPS 78346 HAS SOUS 57838 HAS SOUPS 51404 WITH SCORE 51489.584
AT ITER 2161 NEW BEST:: SOT 193410 SOS 85174 HAS SOPS 77936 HAS SOUS 57579 HAS SOUPS 51145 WITH SCORE 51230.174
AT ITER 2170 NEW BEST:: SOT 193241 SOS 85019 HAS SOPS 77900 HAS SOUS 57424 HAS SOUPS 51109 WITH SCORE 51194.019
AT ITER 2192 NEW BEST:: SOT 193199 SOS 84353 HAS SOPS 77234 HAS SOUS 57387 HAS SOUPS 51072 WITH SCORE 51156.353
AT ITER 2199 NEW BEST:: SOT 193199 SOS 84350 HAS SOPS 77234 HAS SOUS 57384 HAS SOUPS 51072 WITH SCORE 51156.35
AT ITER 2224 NEW BEST:: SOT 193160 SOS 84267 HAS SOPS 77193 HAS SOUS 57301 HAS SOUPS 51031 WITH SCORE 51115.267
AT ITER 2262 NEW BEST:: SOT 193160 SOS 84257 HAS SOPS 77183 HAS SOUS 57301 HAS SOUPS 51031 WITH SCORE 51115.257
AT ITER 2285 NEW BEST:: SOT 193126 SOS 84414 HAS SOPS 77340 HAS SOUS 57288 HAS SOUPS 51018 WITH SCORE 51102.414
AT ITER 2295 NEW BEST:: SOT 193080 SOS 83458 HAS SOPS 76384 HAS SOUS 57196 HAS SOUPS 50926 WITH SCORE 51009.458
AT ITER 2305 NEW BEST:: SOT 193118 SOS 83496 HAS SOPS 76422 HAS SOUS 57178 HAS SOUPS 50908 WITH SCORE 50991.496
AT ITER 2321 NEW BEST:: SOT 193066 SOS 83444 HAS SOPS 76370 HAS SOUS 57151 HAS SOUPS 50881 WITH SCORE 50964.444
AT ITER 2326 NEW BEST:: SOT 193080 SOS 83458 HAS SOPS 76398 HAS SOUS 57050 HAS SOUPS 50794 WITH SCORE 50877.458
AT ITER 2327 NEW BEST:: SOT 193119 SOS 83464 HAS SOPS 76404 HAS SOUS 57045 HAS SOUPS 50789 WITH SCORE 50872.464
AT ITER 2345 NEW BEST:: SOT 193163 SOS 83480 HAS SOPS 76420 HAS SOUS 57024 HAS SOUPS 50768 WITH SCORE 50851.48
AT ITER 2347 NEW BEST:: SOT 192861 SOS 83178 HAS SOPS 76118 HAS SOUS 56954 HAS SOUPS 50698 WITH SCORE 50781.178
AT ITER 2354 NEW BEST:: SOT 192853 SOS 83162 HAS SOPS 76102 HAS SOUS 56946 HAS SOUPS 50690 WITH SCORE 50773.162
AT ITER 2358 NEW BEST:: SOT 192846 SOS 83141 HAS SOPS 76081 HAS SOUS 56932 HAS SOUPS 50676 WITH SCORE 50759.141
AT ITER 2376 NEW BEST:: SOT 192740 SOS 82933 HAS SOPS 75873 HAS SOUS 56887 HAS SOUPS 50631 WITH SCORE 50713.933
AT ITER 2387 NEW BEST:: SOT 192739 SOS 82967 HAS SOPS 75985 HAS SOUS 56807 HAS SOUPS 50629 WITH SCORE 50711.967
AT ITER 2402 NEW BEST:: SOT 192739 SOS 82962 HAS SOPS 75985 HAS SOUS 56802 HAS SOUPS 50629 WITH SCORE 50711.962
AT ITER 2407 NEW BEST:: SOT 192832 SOS 82962 HAS SOPS 75985 HAS SOUS 56650 HAS SOUPS 50477 WITH SCORE 50559.962
AT ITER 2408 NEW BEST:: SOT 192773 SOS 82844 HAS SOPS 75867 HAS SOUS 56532 HAS SOUPS 50359 WITH SCORE 50441.844
AT ITER 2412 NEW BEST:: SOT 192769 SOS 82838 HAS SOPS 75861 HAS SOUS 56528 HAS SOUPS 50355 WITH SCORE 50437.838
AT ITER 2426 NEW BEST:: SOT 192469 SOS 82448 HAS SOPS 75471 HAS SOUS 56522 HAS SOUPS 50349 WITH SCORE 50431.448
AT ITER 2431 NEW BEST:: SOT 192457 SOS 82436 HAS SOPS 75459 HAS SOUS 56510 HAS SOUPS 50337 WITH SCORE 50419.436
AT ITER 2443 NEW BEST:: SOT 192449 SOS 82421 HAS SOPS 75444 HAS SOUS 56503 HAS SOUPS 50330 WITH SCORE 50412.421
AT ITER 2446 NEW BEST:: SOT 192446 SOS 82388 HAS SOPS 75411 HAS SOUS 56458 HAS SOUPS 50285 WITH SCORE 50367.388
AT ITER 2457 NEW BEST:: SOT 192446 SOS 82375 HAS SOPS 75398 HAS SOUS 56445 HAS SOUPS 50272 WITH SCORE 50354.375
AT ITER 2482 NEW BEST:: SOT 192446 SOS 82355 HAS SOPS 75378 HAS SOUS 56425 HAS SOUPS 50252 WITH SCORE 50334.355
AT ITER 2483 NEW BEST:: SOT 192445 SOS 82354 HAS SOPS 75376 HAS SOUS 56424 HAS SOUPS 50250 WITH SCORE 50332.354
AT ITER 2485 NEW BEST:: SOT 192373 SOS 81802 HAS SOPS 74824 HAS SOUS 56352 HAS SOUPS 50178 WITH SCORE 50259.802
AT ITER 2489 NEW BEST:: SOT 192372 SOS 81780 HAS SOPS 74802 HAS SOUS 56337 HAS SOUPS 50163 WITH SCORE 50244.78
AT ITER 2521 NEW BEST:: SOT 192379 SOS 81697 HAS SOPS 74719 HAS SOUS 56254 HAS SOUPS 50080 WITH SCORE 50161.697
AT ITER 2522 NEW BEST:: SOT 192363 SOS 81681 HAS SOPS 74703 HAS SOUS 56225 HAS SOUPS 50051 WITH SCORE 50132.681
AT ITER 2531 NEW BEST:: SOT 192250 SOS 81618 HAS SOPS 74472 HAS SOUS 56162 HAS SOUPS 49820 WITH SCORE 49901.618
AT ITER 2539 NEW BEST:: SOT 192074 SOS 81234 HAS SOPS 74088 HAS SOUS 56130 HAS SOUPS 49788 WITH SCORE 49869.234
AT ITER 2541 NEW BEST:: SOT 192050 SOS 81210 HAS SOPS 74064 HAS SOUS 56106 HAS SOUPS 49764 WITH SCORE 49845.21
AT ITER 2544 NEW BEST:: SOT 192049 SOS 81206 HAS SOPS 74062 HAS SOUS 56103 HAS SOUPS 49763 WITH SCORE 49844.206
AT ITER 2549 NEW BEST:: SOT 192010 SOS 81167 HAS SOPS 74023 HAS SOUS 56064 HAS SOUPS 49724 WITH SCORE 49805.167
AT ITER 2552 NEW BEST:: SOT 192003 SOS 81160 HAS SOPS 74016 HAS SOUS 56030 HAS SOUPS 49690 WITH SCORE 49771.16
AT ITER 2579 NEW BEST:: SOT 191985 SOS 81178 HAS SOPS 74022 HAS SOUS 56030 HAS SOUPS 49684 WITH SCORE 49765.178
AT ITER 2607 NEW BEST:: SOT 191985 SOS 81029 HAS SOPS 73873 HAS SOUS 56013 HAS SOUPS 49667 WITH SCORE 49748.029
AT ITER 2608 NEW BEST:: SOT 192068 SOS 81112 HAS SOPS 73956 HAS SOUS 55943 HAS SOUPS 49597 WITH SCORE 49678.112
AT ITER 2609 NEW BEST:: SOT 192067 SOS 81111 HAS SOPS 73954 HAS SOUS 55942 HAS SOUPS 49595 WITH SCORE 49676.111
AT ITER 2615 NEW BEST:: SOT 192025 SOS 81069 HAS SOPS 73912 HAS SOUS 55942 HAS SOUPS 49595 WITH SCORE 49676.069
AT ITER 2616 NEW BEST:: SOT 191985 SOS 81687 HAS SOPS 74398 HAS SOUS 55974 HAS SOUPS 49561 WITH SCORE 49642.687
AT ITER 2625 NEW BEST:: SOT 191931 SOS 81606 HAS SOPS 74317 HAS SOUS 55920 HAS SOUPS 49507 WITH SCORE 49588.606
AT ITER 2626 NEW BEST:: SOT 191924 SOS 81535 HAS SOPS 74246 HAS SOUS 55849 HAS SOUPS 49436 WITH SCORE 49517.535
AT ITER 2634 NEW BEST:: SOT 191866 SOS 81390 HAS SOPS 74101 HAS SOUS 55819 HAS SOUPS 49406 WITH SCORE 49487.39
AT ITER 2641 NEW BEST:: SOT 191864 SOS 81386 HAS SOPS 74097 HAS SOUS 55815 HAS SOUPS 49402 WITH SCORE 49483.386
AT ITER 2643 NEW BEST:: SOT 191864 SOS 81386 HAS SOPS 74097 HAS SOUS 55809 HAS SOUPS 49396 WITH SCORE 49477.386
AT ITER 2653 NEW BEST:: SOT 191814 SOS 81102 HAS SOPS 73997 HAS SOUS 55759 HAS SOUPS 49346 WITH SCORE 49427.102
AT ITER 2656 NEW BEST:: SOT 191814 SOS 80970 HAS SOPS 73865 HAS SOUS 55718 HAS SOUPS 49305 WITH SCORE 49385.97
AT ITER 2659 NEW BEST:: SOT 191805 SOS 80961 HAS SOPS 73856 HAS SOUS 55706 HAS SOUPS 49293 WITH SCORE 49373.961
AT ITER 2666 NEW BEST:: SOT 191801 SOS 80961 HAS SOPS 73856 HAS SOUS 55702 HAS SOUPS 49289 WITH SCORE 49369.961
AT ITER 2667 NEW BEST:: SOT 191777 SOS 80937 HAS SOPS 73874 HAS SOUS 55612 HAS SOUPS 49241 WITH SCORE 49321.937
AT ITER 2719 NEW BEST:: SOT 191801 SOS 80937 HAS SOPS 73874 HAS SOUS 55588 HAS SOUPS 49217 WITH SCORE 49297.937
AT ITER 2727 NEW BEST:: SOT 191801 SOS 80799 HAS SOPS 73736 HAS SOUS 55588 HAS SOUPS 49217 WITH SCORE 49297.799
AT ITER 2794 NEW BEST:: SOT 191715 SOS 80713 HAS SOPS 73638 HAS SOUS 55576 HAS SOUPS 49193 WITH SCORE 49273.713
AT ITER 2799 NEW BEST:: SOT 191679 SOS 80677 HAS SOPS 73602 HAS SOUS 55503 HAS SOUPS 49120 WITH SCORE 49200.677
AT ITER 2811 NEW BEST:: SOT 191677 SOS 80675 HAS SOPS 73599 HAS SOUS 55502 HAS SOUPS 49118 WITH SCORE 49198.675
AT ITER 2816 NEW BEST:: SOT 191650 SOS 80648 HAS SOPS 73572 HAS SOUS 55448 HAS SOUPS 49064 WITH SCORE 49144.648
AT ITER 2833 NEW BEST:: SOT 191561 SOS 80497 HAS SOPS 73421 HAS SOUS 55359 HAS SOUPS 48975 WITH SCORE 49055.497
AT ITER 2835 NEW BEST:: SOT 191480 SOS 80254 HAS SOPS 73205 HAS SOUS 55341 HAS SOUPS 48966 WITH SCORE 49046.254
AT ITER 2838 NEW BEST:: SOT 191443 SOS 80233 HAS SOPS 73135 HAS SOUS 55320 HAS SOUPS 48896 WITH SCORE 48976.233
AT ITER 2844 NEW BEST:: SOT 191413 SOS 80207 HAS SOPS 73109 HAS SOUS 55307 HAS SOUPS 48883 WITH SCORE 48963.207
AT ITER 2845 NEW BEST:: SOT 191412 SOS 80202 HAS SOPS 73106 HAS SOUS 55303 HAS SOUPS 48881 WITH SCORE 48961.202
AT ITER 2856 NEW BEST:: SOT 191366 SOS 80087 HAS SOPS 72991 HAS SOUS 55257 HAS SOUPS 48835 WITH SCORE 48915.087
AT ITER 2861 NEW BEST:: SOT 191339 SOS 80033 HAS SOPS 72937 HAS SOUS 55230 HAS SOUPS 48808 WITH SCORE 48888.033
AT ITER 2867 NEW BEST:: SOT 191275 SOS 80141 HAS SOPS 73045 HAS SOUS 55190 HAS SOUPS 48768 WITH SCORE 48848.141
AT ITER 2888 NEW BEST:: SOT 191365 SOS 78957 HAS SOPS 71861 HAS SOUS 54951 HAS SOUPS 48529 WITH SCORE 48607.957
AT ITER 2892 NEW BEST:: SOT 191363 SOS 78955 HAS SOPS 71855 HAS SOUS 54951 HAS SOUPS 48525 WITH SCORE 48603.955
AT ITER 2893 NEW BEST:: SOT 191418 SOS 78884 HAS SOPS 71826 HAS SOUS 54887 HAS SOUPS 48482 WITH SCORE 48560.884
AT ITER 2903 NEW BEST:: SOT 191081 SOS 78755 HAS SOPS 71697 HAS SOUS 54875 HAS SOUPS 48470 WITH SCORE 48548.755
AT ITER 2905 NEW BEST:: SOT 191087 SOS 78694 HAS SOPS 71636 HAS SOUS 54814 HAS SOUPS 48409 WITH SCORE 48487.694
AT ITER 2910 NEW BEST:: SOT 191087 SOS 78322 HAS SOPS 71264 HAS SOUS 54814 HAS SOUPS 48409 WITH SCORE 48487.322
AT ITER 2931 NEW BEST:: SOT 191028 SOS 78263 HAS SOPS 71205 HAS SOUS 54708 HAS SOUPS 48303 WITH SCORE 48381.263
AT ITER 2932 NEW BEST:: SOT 190987 SOS 78140 HAS SOPS 71082 HAS SOUS 54626 HAS SOUPS 48221 WITH SCORE 48299.14
AT ITER 2935 NEW BEST:: SOT 190961 SOS 78049 HAS SOPS 70998 HAS SOUS 54593 HAS SOUPS 48188 WITH SCORE 48266.049
AT ITER 2941 NEW BEST:: SOT 190943 SOS 78003 HAS SOPS 70934 HAS SOUS 54547 HAS SOUPS 48124 WITH SCORE 48202.003
AT ITER 2945 NEW BEST:: SOT 190930 SOS 77990 HAS SOPS 70882 HAS SOUS 54534 HAS SOUPS 48072 WITH SCORE 48149.99
AT ITER 2953 NEW BEST:: SOT 190794 SOS 77901 HAS SOPS 70793 HAS SOUS 54397 HAS SOUPS 47935 WITH SCORE 48012.901
AT ITER 2961 NEW BEST:: SOT 190852 SOS 77959 HAS SOPS 70851 HAS SOUS 54339 HAS SOUPS 47877 WITH SCORE 47954.959
AT ITER 2968 NEW BEST:: SOT 190842 SOS 77949 HAS SOPS 70831 HAS SOUS 54329 HAS SOUPS 47857 WITH SCORE 47934.949
AT ITER 2981 NEW BEST:: SOT 190842 SOS 77936 HAS SOPS 70818 HAS SOUS 54316 HAS SOUPS 47844 WITH SCORE 47921.936
AT ITER 2982 NEW BEST:: SOT 190803 SOS 77897 HAS SOPS 70779 HAS SOUS 54252 HAS SOUPS 47780 WITH SCORE 47857.897
AT ITER 2984 NEW BEST:: SOT 190803 SOS 77896 HAS SOPS 70778 HAS SOUS 54251 HAS SOUPS 47779 WITH SCORE 47856.896
AT ITER 2989 NEW BEST:: SOT 190800 SOS 77884 HAS SOPS 70769 HAS SOUS 54245 HAS SOUPS 47776 WITH SCORE 47853.884
AT ITER 2997 NEW BEST:: SOT 190800 SOS 77883 HAS SOPS 70768 HAS SOUS 54245 HAS SOUPS 47776 WITH SCORE 47853.883
AT ITER 3000 NEW BEST:: SOT 190798 SOS 77877 HAS SOPS 70762 HAS SOUS 54241 HAS SOUPS 47772 WITH SCORE 47849.877
AT ITER 3002 NEW BEST:: SOT 190784 SOS 77863 HAS SOPS 70764 HAS SOUS 54212 HAS SOUPS 47759 WITH SCORE 47836.863
AT ITER 3006 NEW BEST:: SOT 191063 SOS 78120 HAS SOPS 71021 HAS SOUS 54052 HAS SOUPS 47599 WITH SCORE 47677.12
AT ITER 3007 NEW BEST:: SOT 191095 SOS 78091 HAS SOPS 70930 HAS SOUS 54075 HAS SOUPS 47560 WITH SCORE 47638.091
AT ITER 3013 NEW BEST:: SOT 191267 SOS 78253 HAS SOPS 71049 HAS SOUS 54108 HAS SOUPS 47550 WITH SCORE 47628.253
AT ITER 3021 NEW BEST:: SOT 191246 SOS 78240 HAS SOPS 71036 HAS SOUS 54092 HAS SOUPS 47534 WITH SCORE 47612.24
AT ITER 3025 NEW BEST:: SOT 191184 SOS 78179 HAS SOPS 70975 HAS SOUS 54002 HAS SOUPS 47444 WITH SCORE 47522.179
AT ITER 3027 NEW BEST:: SOT 191181 SOS 78176 HAS SOPS 70972 HAS SOUS 54002 HAS SOUPS 47444 WITH SCORE 47522.176
AT ITER 3037 NEW BEST:: SOT 191161 SOS 78151 HAS SOPS 70947 HAS SOUS 53982 HAS SOUPS 47424 WITH SCORE 47502.151
AT ITER 3044 NEW BEST:: SOT 191099 SOS 78089 HAS SOPS 70885 HAS SOUS 53858 HAS SOUPS 47300 WITH SCORE 47378.089
AT ITER 3058 NEW BEST:: SOT 191099 SOS 78066 HAS SOPS 70885 HAS SOUS 53835 HAS SOUPS 47300 WITH SCORE 47378.066
AT ITER 3069 NEW BEST:: SOT 191027 SOS 78103 HAS SOPS 70922 HAS SOUS 53798 HAS SOUPS 47263 WITH SCORE 47341.103
AT ITER 3071 NEW BEST:: SOT 191057 SOS 78174 HAS SOPS 70993 HAS SOUS 53780 HAS SOUPS 47245 WITH SCORE 47323.174
AT ITER 3082 NEW BEST:: SOT 191057 SOS 78132 HAS SOPS 70951 HAS SOUS 53780 HAS SOUPS 47245 WITH SCORE 47323.132
AT ITER 3099 NEW BEST:: SOT 191053 SOS 78088 HAS SOPS 70849 HAS SOUS 53830 HAS SOUPS 47237 WITH SCORE 47315.088
AT ITER 3113 NEW BEST:: SOT 190931 SOS 77956 HAS SOPS 70717 HAS SOUS 53749 HAS SOUPS 47156 WITH SCORE 47233.956
AT ITER 3117 NEW BEST:: SOT 190917 SOS 77948 HAS SOPS 70681 HAS SOUS 53756 HAS SOUPS 47135 WITH SCORE 47212.948
AT ITER 3122 NEW BEST:: SOT 190869 SOS 77874 HAS SOPS 70607 HAS SOUS 53711 HAS SOUPS 47090 WITH SCORE 47167.874
AT ITER 3139 NEW BEST:: SOT 190793 SOS 77798 HAS SOPS 70531 HAS SOUS 53685 HAS SOUPS 47064 WITH SCORE 47141.798
AT ITER 3147 NEW BEST:: SOT 190698 SOS 77608 HAS SOPS 70436 HAS SOUS 53590 HAS SOUPS 47064 WITH SCORE 47141.608
AT ITER 3156 NEW BEST:: SOT 190631 SOS 77474 HAS SOPS 70337 HAS SOUS 53488 HAS SOUPS 46997 WITH SCORE 47074.474
AT ITER 3166 NEW BEST:: SOT 190585 SOS 77343 HAS SOPS 70206 HAS SOUS 53411 HAS SOUPS 46920 WITH SCORE 46997.343
AT ITER 3168 NEW BEST:: SOT 190494 SOS 77321 HAS SOPS 70059 HAS SOUS 53476 HAS SOUPS 46860 WITH SCORE 46937.321
AT ITER 3173 NEW BEST:: SOT 190457 SOS 77321 HAS SOPS 70059 HAS SOUS 53439 HAS SOUPS 46823 WITH SCORE 46900.321
AT ITER 3175 NEW BEST:: SOT 190568 SOS 77385 HAS SOPS 70123 HAS SOUS 53432 HAS SOUPS 46816 WITH SCORE 46893.385
AT ITER 3181 NEW BEST:: SOT 190664 SOS 76924 HAS SOPS 69662 HAS SOUS 53413 HAS SOUPS 46797 WITH SCORE 46873.924
AT ITER 3218 NEW BEST:: SOT 190639 SOS 76899 HAS SOPS 69637 HAS SOUS 53388 HAS SOUPS 46772 WITH SCORE 46848.899
AT ITER 3219 NEW BEST:: SOT 190878 SOS 76789 HAS SOPS 69683 HAS SOUS 53373 HAS SOUPS 46757 WITH SCORE 46833.789
AT ITER 3294 NEW BEST:: SOT 190856 SOS 76780 HAS SOPS 69661 HAS SOUS 53377 HAS SOUPS 46748 WITH SCORE 46824.78
AT ITER 3306 NEW BEST:: SOT 190842 SOS 76752 HAS SOPS 69633 HAS SOUS 53363 HAS SOUPS 46734 WITH SCORE 46810.752
AT ITER 3318 NEW BEST:: SOT 190771 SOS 76643 HAS SOPS 69524 HAS SOUS 53325 HAS SOUPS 46696 WITH SCORE 46772.643
AT ITER 3345 NEW BEST:: SOT 190759 SOS 76619 HAS SOPS 69500 HAS SOUS 53307 HAS SOUPS 46678 WITH SCORE 46754.619
AT ITER 3366 NEW BEST:: SOT 190686 SOS 76638 HAS SOPS 69519 HAS SOUS 53253 HAS SOUPS 46624 WITH SCORE 46700.638
AT ITER 3372 NEW BEST:: SOT 190361 SOS 76318 HAS SOPS 69166 HAS SOUS 53225 HAS SOUPS 46596 WITH SCORE 46672.318
AT ITER 3396 NEW BEST:: SOT 190314 SOS 76240 HAS SOPS 69088 HAS SOUS 53147 HAS SOUPS 46518 WITH SCORE 46594.24
AT ITER 3485 NEW BEST:: SOT 190241 SOS 76166 HAS SOPS 69024 HAS SOUS 53042 HAS SOUPS 46423 WITH SCORE 46499.166
AT ITER 3489 NEW BEST:: SOT 190169 SOS 76094 HAS SOPS 68916 HAS SOUS 53006 HAS SOUPS 46351 WITH SCORE 46427.094
AT ITER 3491 NEW BEST:: SOT 190159 SOS 76084 HAS SOPS 68936 HAS SOUS 52956 HAS SOUPS 46331 WITH SCORE 46407.084
AT ITER 3510 NEW BEST:: SOT 190157 SOS 76080 HAS SOPS 68931 HAS SOUS 52954 HAS SOUPS 46328 WITH SCORE 46404.08
AT ITER 3518 NEW BEST:: SOT 190127 SOS 76050 HAS SOPS 68886 HAS SOUS 52939 HAS SOUPS 46298 WITH SCORE 46374.05
AT ITER 3528 NEW BEST:: SOT 190193 SOS 76036 HAS SOPS 68872 HAS SOUS 52925 HAS SOUPS 46284 WITH SCORE 46360.036
AT ITER 3555 NEW BEST:: SOT 190191 SOS 76003 HAS SOPS 68839 HAS SOUS 52892 HAS SOUPS 46251 WITH SCORE 46327.003
AT ITER 3625 NEW BEST:: SOT 190191 SOS 75992 HAS SOPS 68839 HAS SOUS 52881 HAS SOUPS 46251 WITH SCORE 46326.992
AT ITER 3631 NEW BEST:: SOT 190189 SOS 75971 HAS SOPS 68818 HAS SOUS 52862 HAS SOUPS 46232 WITH SCORE 46307.971
AT ITER 3638 NEW BEST:: SOT 190096 SOS 75939 HAS SOPS 68723 HAS SOUS 52832 HAS SOUPS 46139 WITH SCORE 46214.939
AT ITER 3642 NEW BEST:: SOT 190085 SOS 75924 HAS SOPS 68708 HAS SOUS 52817 HAS SOUPS 46124 WITH SCORE 46199.924
AT ITER 3645 NEW BEST:: SOT 190085 SOS 75924 HAS SOPS 68648 HAS SOUS 52817 HAS SOUPS 46064 WITH SCORE 46139.924
AT ITER 3653 NEW BEST:: SOT 190085 SOS 75890 HAS SOPS 68614 HAS SOUS 52817 HAS SOUPS 46064 WITH SCORE 46139.89
AT ITER 3657 NEW BEST:: SOT 190071 SOS 75715 HAS SOPS 68348 HAS SOUS 52810 HAS SOUPS 45966 WITH SCORE 46041.715
AT ITER 3659 NEW BEST:: SOT 190059 SOS 75694 HAS SOPS 68327 HAS SOUS 52800 HAS SOUPS 45956 WITH SCORE 46031.694
AT ITER 3689 NEW BEST:: SOT 190025 SOS 75660 HAS SOPS 68293 HAS SOUS 52643 HAS SOUPS 45799 WITH SCORE 45874.66
AT ITER 3698 NEW BEST:: SOT 189933 SOS 75689 HAS SOPS 68322 HAS SOUS 52617 HAS SOUPS 45773 WITH SCORE 45848.689
AT ITER 3699 NEW BEST:: SOT 189878 SOS 75404 HAS SOPS 68212 HAS SOUS 52539 HAS SOUPS 45695 WITH SCORE 45770.404
AT ITER 3704 NEW BEST:: SOT 189860 SOS 75386 HAS SOPS 68176 HAS SOUS 52555 HAS SOUPS 45693 WITH SCORE 45768.386
AT ITER 3713 NEW BEST:: SOT 189844 SOS 75370 HAS SOPS 68160 HAS SOUS 52508 HAS SOUPS 45646 WITH SCORE 45721.37
AT ITER 3719 NEW BEST:: SOT 189788 SOS 75230 HAS SOPS 68020 HAS SOUS 52424 HAS SOUPS 45562 WITH SCORE 45637.23
AT ITER 3759 NEW BEST:: SOT 189752 SOS 75193 HAS SOPS 67983 HAS SOUS 52387 HAS SOUPS 45525 WITH SCORE 45600.193
AT ITER 3768 NEW BEST:: SOT 189694 SOS 74872 HAS SOPS 67662 HAS SOUS 52271 HAS SOUPS 45409 WITH SCORE 45483.872
AT ITER 3786 NEW BEST:: SOT 189603 SOS 74781 HAS SOPS 67571 HAS SOUS 52115 HAS SOUPS 45253 WITH SCORE 45327.781
AT ITER 3792 NEW BEST:: SOT 189300 SOS 74593 HAS SOPS 67429 HAS SOUS 52004 HAS SOUPS 45188 WITH SCORE 45262.593
AT ITER 3811 NEW BEST:: SOT 189266 SOS 74559 HAS SOPS 67395 HAS SOUS 51970 HAS SOUPS 45154 WITH SCORE 45228.559
AT ITER 3813 NEW BEST:: SOT 189188 SOS 74403 HAS SOPS 67239 HAS SOUS 51944 HAS SOUPS 45128 WITH SCORE 45202.403
AT ITER 3839 NEW BEST:: SOT 189188 SOS 74394 HAS SOPS 67230 HAS SOUS 51935 HAS SOUPS 45119 WITH SCORE 45193.394
AT ITER 3846 NEW BEST:: SOT 189176 SOS 74379 HAS SOPS 67215 HAS SOUS 51932 HAS SOUPS 45116 WITH SCORE 45190.379
AT ITER 3849 NEW BEST:: SOT 189111 SOS 74314 HAS SOPS 67150 HAS SOUS 51822 HAS SOUPS 45006 WITH SCORE 45080.314
AT ITER 3867 NEW BEST:: SOT 189111 SOS 74314 HAS SOPS 67150 HAS SOUS 51703 HAS SOUPS 44887 WITH SCORE 44961.314
AT ITER 3871 NEW BEST:: SOT 189111 SOS 74314 HAS SOPS 67143 HAS SOUS 51703 HAS SOUPS 44880 WITH SCORE 44954.314
AT ITER 3903 NEW BEST:: SOT 189086 SOS 74262 HAS SOPS 67137 HAS SOUS 51651 HAS SOUPS 44874 WITH SCORE 44948.262
AT ITER 3924 NEW BEST:: SOT 189066 SOS 74185 HAS SOPS 67060 HAS SOUS 51640 HAS SOUPS 44863 WITH SCORE 44937.185
AT ITER 3927 NEW BEST:: SOT 189049 SOS 74168 HAS SOPS 67043 HAS SOUS 51598 HAS SOUPS 44821 WITH SCORE 44895.168
AT ITER 3938 NEW BEST:: SOT 189044 SOS 74153 HAS SOPS 67028 HAS SOUS 51593 HAS SOUPS 44816 WITH SCORE 44890.153
AT ITER 3945 NEW BEST:: SOT 189035 SOS 74083 HAS SOPS 67010 HAS SOUS 51523 HAS SOUPS 44798 WITH SCORE 44872.083
AT ITER 3949 NEW BEST:: SOT 189008 SOS 74126 HAS SOPS 67029 HAS SOUS 51546 HAS SOUPS 44797 WITH SCORE 44871.126
AT ITER 3957 NEW BEST:: SOT 189050 SOS 74102 HAS SOPS 67005 HAS SOUS 51494 HAS SOUPS 44745 WITH SCORE 44819.102
AT ITER 3988 NEW BEST:: SOT 189050 SOS 74090 HAS SOPS 66993 HAS SOUS 51494 HAS SOUPS 44745 WITH SCORE 44819.09
AT ITER 3999 NEW BEST:: SOT 189027 SOS 74070 HAS SOPS 66945 HAS SOUS 51474 HAS SOUPS 44697 WITH SCORE 44771.07
AT ITER 4017 NEW BEST:: SOT 189027 SOS 74067 HAS SOPS 66945 HAS SOUS 51471 HAS SOUPS 44697 WITH SCORE 44771.067
AT ITER 4021 NEW BEST:: SOT 189105 SOS 73829 HAS SOPS 66605 HAS SOUS 51563 HAS SOUPS 44687 WITH SCORE 44760.829
AT ITER 4025 NEW BEST:: SOT 189105 SOS 73829 HAS SOPS 66605 HAS SOUS 51551 HAS SOUPS 44675 WITH SCORE 44748.829
AT ITER 4046 NEW BEST:: SOT 189059 SOS 73780 HAS SOPS 66556 HAS SOUS 51505 HAS SOUPS 44629 WITH SCORE 44702.78
AT ITER 4065 NEW BEST:: SOT 189053 SOS 73774 HAS SOPS 66550 HAS SOUS 51499 HAS SOUPS 44623 WITH SCORE 44696.774
AT ITER 4071 NEW BEST:: SOT 189035 SOS 73755 HAS SOPS 66531 HAS SOUS 51480 HAS SOUPS 44604 WITH SCORE 44677.755
AT ITER 4087 NEW BEST:: SOT 189015 SOS 73733 HAS SOPS 66509 HAS SOUS 51460 HAS SOUPS 44584 WITH SCORE 44657.733
AT ITER 4099 NEW BEST:: SOT 189011 SOS 73729 HAS SOPS 66505 HAS SOUS 51458 HAS SOUPS 44582 WITH SCORE 44655.729
AT ITER 4111 NEW BEST:: SOT 188984 SOS 73800 HAS SOPS 66478 HAS SOUS 51528 HAS SOUPS 44554 WITH SCORE 44627.8
AT ITER 4121 NEW BEST:: SOT 188994 SOS 73769 HAS SOPS 66461 HAS SOUS 51519 HAS SOUPS 44552 WITH SCORE 44625.769
AT ITER 4123 NEW BEST:: SOT 188994 SOS 73735 HAS SOPS 66427 HAS SOUS 51485 HAS SOUPS 44518 WITH SCORE 44591.735
AT ITER 4141 NEW BEST:: SOT 188992 SOS 73733 HAS SOPS 66425 HAS SOUS 51483 HAS SOUPS 44516 WITH SCORE 44589.733
AT ITER 4164 NEW BEST:: SOT 188989 SOS 73748 HAS SOPS 66434 HAS SOUS 51483 HAS SOUPS 44513 WITH SCORE 44586.748
AT ITER 4186 NEW BEST:: SOT 188968 SOS 72317 HAS SOPS 65003 HAS SOUS 51422 HAS SOUPS 44452 WITH SCORE 44524.317
AT ITER 4187 NEW BEST:: SOT 188968 SOS 72317 HAS SOPS 64996 HAS SOUS 51422 HAS SOUPS 44445 WITH SCORE 44517.317
AT ITER 4191 NEW BEST:: SOT 188967 SOS 72313 HAS SOPS 64993 HAS SOUS 51419 HAS SOUPS 44443 WITH SCORE 44515.313
AT ITER 4195 NEW BEST:: SOT 188998 SOS 71652 HAS SOPS 64332 HAS SOUS 51393 HAS SOUPS 44417 WITH SCORE 44488.652
AT ITER 4201 NEW BEST:: SOT 188994 SOS 71648 HAS SOPS 64328 HAS SOUS 51387 HAS SOUPS 44411 WITH SCORE 44482.648
AT ITER 4210 NEW BEST:: SOT 188965 SOS 71503 HAS SOPS 64212 HAS SOUS 51271 HAS SOUPS 44324 WITH SCORE 44395.503
AT ITER 4222 NEW BEST:: SOT 188970 SOS 71508 HAS SOPS 64217 HAS SOUS 51211 HAS SOUPS 44264 WITH SCORE 44335.508
AT ITER 4232 NEW BEST:: SOT 190725 SOS 73264 HAS SOPS 65973 HAS SOUS 51031 HAS SOUPS 44084 WITH SCORE 44157.264
AT ITER 4246 NEW BEST:: SOT 190687 SOS 73078 HAS SOPS 65746 HAS SOUS 51015 HAS SOUPS 44027 WITH SCORE 44100.078
AT ITER 4255 NEW BEST:: SOT 190677 SOS 73061 HAS SOPS 65729 HAS SOUS 51013 HAS SOUPS 44025 WITH SCORE 44098.061
AT ITER 4263 NEW BEST:: SOT 190647 SOS 72958 HAS SOPS 65656 HAS SOUS 50940 HAS SOUPS 43982 WITH SCORE 44054.958
AT ITER 4266 NEW BEST:: SOT 190642 SOS 73001 HAS SOPS 65699 HAS SOUS 50933 HAS SOUPS 43975 WITH SCORE 44048.001
AT ITER 4285 NEW BEST:: SOT 190643 SOS 73417 HAS SOPS 66115 HAS SOUS 50820 HAS SOUPS 43862 WITH SCORE 43935.417
AT ITER 4291 NEW BEST:: SOT 190583 SOS 73444 HAS SOPS 66142 HAS SOUS 50808 HAS SOUPS 43850 WITH SCORE 43923.444
AT ITER 4304 NEW BEST:: SOT 190562 SOS 73423 HAS SOPS 66121 HAS SOUS 50787 HAS SOUPS 43829 WITH SCORE 43902.423
AT ITER 4323 NEW BEST:: SOT 190468 SOS 73297 HAS SOPS 65995 HAS SOUS 50669 HAS SOUPS 43711 WITH SCORE 43784.297
AT ITER 4335 NEW BEST:: SOT 190425 SOS 73254 HAS SOPS 65952 HAS SOUS 50626 HAS SOUPS 43668 WITH SCORE 43741.254
AT ITER 4358 NEW BEST:: SOT 190326 SOS 73106 HAS SOPS 65804 HAS SOUS 50583 HAS SOUPS 43625 WITH SCORE 43698.106
AT ITER 4365 NEW BEST:: SOT 190322 SOS 73102 HAS SOPS 65800 HAS SOUS 50579 HAS SOUPS 43621 WITH SCORE 43694.102
AT ITER 4367 NEW BEST:: SOT 190259 SOS 73039 HAS SOPS 65737 HAS SOUS 50516 HAS SOUPS 43558 WITH SCORE 43631.039
AT ITER 4376 NEW BEST:: SOT 190212 SOS 72851 HAS SOPS 65596 HAS SOUS 50375 HAS SOUPS 43464 WITH SCORE 43536.851
AT ITER 4389 NEW BEST:: SOT 190218 SOS 72837 HAS SOPS 65582 HAS SOUS 50363 HAS SOUPS 43452 WITH SCORE 43524.837
AT ITER 4401 NEW BEST:: SOT 190178 SOS 72737 HAS SOPS 65482 HAS SOUS 50323 HAS SOUPS 43412 WITH SCORE 43484.737
AT ITER 4424 NEW BEST:: SOT 190147 SOS 72693 HAS SOPS 65438 HAS SOUS 50292 HAS SOUPS 43381 WITH SCORE 43453.693
AT ITER 4474 NEW BEST:: SOT 190130 SOS 72513 HAS SOPS 65258 HAS SOUS 50162 HAS SOUPS 43251 WITH SCORE 43323.513
AT ITER 4477 NEW BEST:: SOT 190110 SOS 72413 HAS SOPS 65158 HAS SOUS 50144 HAS SOUPS 43233 WITH SCORE 43305.413
AT ITER 4488 NEW BEST:: SOT 190102 SOS 72412 HAS SOPS 65157 HAS SOUS 50136 HAS SOUPS 43225 WITH SCORE 43297.412
AT ITER 4491 NEW BEST:: SOT 190335 SOS 72581 HAS SOPS 65326 HAS SOUS 50126 HAS SOUPS 43215 WITH SCORE 43287.581
AT ITER 4498 NEW BEST:: SOT 190338 SOS 72549 HAS SOPS 65294 HAS SOUS 50108 HAS SOUPS 43197 WITH SCORE 43269.549
AT ITER 4516 NEW BEST:: SOT 190458 SOS 72697 HAS SOPS 65442 HAS SOUS 50105 HAS SOUPS 43194 WITH SCORE 43266.697
AT ITER 4520 NEW BEST:: SOT 190398 SOS 72637 HAS SOPS 65382 HAS SOUS 50100 HAS SOUPS 43189 WITH SCORE 43261.637
AT ITER 4523 NEW BEST:: SOT 190384 SOS 72602 HAS SOPS 65354 HAS SOUS 50079 HAS SOUPS 43175 WITH SCORE 43247.602
AT ITER 4533 NEW BEST:: SOT 190334 SOS 72509 HAS SOPS 65266 HAS SOUS 49991 HAS SOUPS 43087 WITH SCORE 43159.509
AT ITER 4539 NEW BEST:: SOT 190318 SOS 72479 HAS SOPS 65236 HAS SOUS 49986 HAS SOUPS 43082 WITH SCORE 43154.479
AT ITER 4575 NEW BEST:: SOT 190353 SOS 72514 HAS SOPS 65271 HAS SOUS 49961 HAS SOUPS 43057 WITH SCORE 43129.514
AT ITER 4600 NEW BEST:: SOT 190323 SOS 72220 HAS SOPS 64977 HAS SOUS 49954 HAS SOUPS 43050 WITH SCORE 43122.22
AT ITER 4618 NEW BEST:: SOT 190329 SOS 72226 HAS SOPS 64983 HAS SOUS 49951 HAS SOUPS 43047 WITH SCORE 43119.226
AT ITER 4619 NEW BEST:: SOT 190294 SOS 72191 HAS SOPS 64948 HAS SOUS 49916 HAS SOUPS 43012 WITH SCORE 43084.191
AT ITER 4628 NEW BEST:: SOT 190334 SOS 72011 HAS SOPS 64838 HAS SOUS 49844 HAS SOUPS 43010 WITH SCORE 43082.011
AT ITER 4630 NEW BEST:: SOT 190316 SOS 71975 HAS SOPS 64802 HAS SOUS 49826 HAS SOUPS 42992 WITH SCORE 43063.975
AT ITER 4635 NEW BEST:: SOT 190364 SOS 72017 HAS SOPS 64850 HAS SOUS 49814 HAS SOUPS 42986 WITH SCORE 43058.017
AT ITER 4641 NEW BEST:: SOT 190242 SOS 72180 HAS SOPS 64855 HAS SOUS 49931 HAS SOUPS 42945 WITH SCORE 43017.18
AT ITER 4676 NEW BEST:: SOT 190242 SOS 72260 HAS SOPS 64935 HAS SOUS 49921 HAS SOUPS 42935 WITH SCORE 43007.26
AT ITER 4680 NEW BEST:: SOT 190214 SOS 72218 HAS SOPS 64893 HAS SOUS 49907 HAS SOUPS 42921 WITH SCORE 42993.218
AT ITER 4768 NEW BEST:: SOT 190244 SOS 72107 HAS SOPS 64813 HAS SOUS 49907 HAS SOUPS 42921 WITH SCORE 42993.107
AT ITER 4773 NEW BEST:: SOT 190240 SOS 72107 HAS SOPS 64813 HAS SOUS 49903 HAS SOUPS 42917 WITH SCORE 42989.107
AT ITER 4780 NEW BEST:: SOT 190847 SOS 72565 HAS SOPS 65271 HAS SOUS 49901 HAS SOUPS 42915 WITH SCORE 42987.565
AT ITER 4785 NEW BEST:: SOT 190847 SOS 72565 HAS SOPS 65271 HAS SOUS 49854 HAS SOUPS 42868 WITH SCORE 42940.565
AT ITER 4788 NEW BEST:: SOT 190847 SOS 72565 HAS SOPS 65271 HAS SOUS 49802 HAS SOUPS 42816 WITH SCORE 42888.565
AT ITER 4801 NEW BEST:: SOT 190804 SOS 72496 HAS SOPS 65202 HAS SOUS 49749 HAS SOUPS 42763 WITH SCORE 42835.496
AT ITER 4807 NEW BEST:: SOT 190796 SOS 72472 HAS SOPS 65186 HAS SOUS 49733 HAS SOUPS 42755 WITH SCORE 42827.472
AT ITER 4812 NEW BEST:: SOT 190805 SOS 72481 HAS SOPS 65195 HAS SOUS 49724 HAS SOUPS 42746 WITH SCORE 42818.481
AT ITER 4818 NEW BEST:: SOT 190805 SOS 72481 HAS SOPS 65177 HAS SOUS 49724 HAS SOUPS 42728 WITH SCORE 42800.481
AT ITER 4820 NEW BEST:: SOT 190415 SOS 71857 HAS SOPS 64821 HAS SOUS 49437 HAS SOUPS 42701 WITH SCORE 42772.857
AT ITER 4825 NEW BEST:: SOT 190416 SOS 71858 HAS SOPS 64818 HAS SOUS 49438 HAS SOUPS 42698 WITH SCORE 42769.858
AT ITER 4848 NEW BEST:: SOT 190430 SOS 71892 HAS SOPS 64852 HAS SOUS 49437 HAS SOUPS 42697 WITH SCORE 42768.892
AT ITER 4849 NEW BEST:: SOT 190370 SOS 71766 HAS SOPS 64726 HAS SOUS 49355 HAS SOUPS 42615 WITH SCORE 42686.766
AT ITER 4850 NEW BEST:: SOT 190650 SOS 70187 HAS SOPS 63147 HAS SOUS 49318 HAS SOUPS 42578 WITH SCORE 42648.187
AT ITER 4883 NEW BEST:: SOT 190840 SOS 70099 HAS SOPS 63059 HAS SOUS 49310 HAS SOUPS 42570 WITH SCORE 42640.099
AT ITER 4887 NEW BEST:: SOT 191029 SOS 70308 HAS SOPS 63268 HAS SOUS 49309 HAS SOUPS 42569 WITH SCORE 42639.308
AT ITER 4897 NEW BEST:: SOT 191048 SOS 70264 HAS SOPS 63224 HAS SOUS 49247 HAS SOUPS 42507 WITH SCORE 42577.264
AT ITER 4921 NEW BEST:: SOT 191162 SOS 68766 HAS SOPS 61850 HAS SOUS 49113 HAS SOUPS 42497 WITH SCORE 42565.766
AT ITER 4932 NEW BEST:: SOT 191150 SOS 68745 HAS SOPS 61826 HAS SOUS 49104 HAS SOUPS 42485 WITH SCORE 42553.745
AT ITER 4940 NEW BEST:: SOT 191149 SOS 68744 HAS SOPS 61824 HAS SOUS 49104 HAS SOUPS 42484 WITH SCORE 42552.744
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Parking-PT-432-CTLCardinality-00 (AG( ( ( (! potential( ( 3 ) <= (tk(P235)) )) | ( potential( (tk(P309)) <= (tk(P382)) ) | potential( (tk(P189)) <= (tk(P262)) ) ) ) & (AX( potential( (tk(P379)) <= (tk(P193)) ))) )))
PROPERTY: Parking-PT-432-CTLCardinality-01 ( ( potential( (tk(P437)) <= (tk(P100)) ) | (EG( ( potential( (tk(P373)) <= (tk(P90)) ) & potential( ( 2 ) <= (tk(P197)) ) ))) ) & ( ( ( ( potential( (tk(P474)) <= (tk(P89)) ) | potential( (tk(P44)) <= (tk(P291)) ) ) & potential( (tk(P354)) <= (tk(P105)) ) ) & (EX( potential( (tk(P482)) <= (tk(P140)) ))) ) & (AU( potential( (tk(P351)) <= (tk(P349)) ),potential( ( 2 ) <= (tk(P228)) ) )) ) )
PROPERTY: Parking-PT-432-CTLCardinality-02 (! (EG( ( potential( (tk(P101)) <= (tk(P261)) ) | (! potential( ( 3 ) <= (tk(P246)) )) ))))
PROPERTY: Parking-PT-432-CTLCardinality-03 (AG( ( (! ( potential( (tk(P99)) <= (tk(P473)) ) & potential( ( 2 ) <= (tk(P400)) ) )) | ( potential( ( 2 ) <= (tk(P48)) ) & ( potential( ( 3 ) <= (tk(P326)) ) & potential( ( 1 ) <= (tk(P115)) ) ) ) )))
PROPERTY: Parking-PT-432-CTLCardinality-04 (EF((EG( potential( ( 1 ) <= (tk(P425)) )))))
PROPERTY: Parking-PT-432-CTLCardinality-05 (EG( (AG( ( potential( ( 1 ) <= (tk(P451)) ) | potential( (tk(P296)) <= (tk(P277)) ) )))))
PROPERTY: Parking-PT-432-CTLCardinality-06 (EX( (EG( ( potential( (tk(P434)) <= (tk(P419)) ) | potential( ( 2 ) <= (tk(P485)) ) )))))
PROPERTY: Parking-PT-432-CTLCardinality-07 (EG( ( potential( (tk(P465)) <= (tk(P308)) ) | (EG( potential( ( 3 ) <= (tk(P82)) ))) )))
PROPERTY: Parking-PT-432-CTLCardinality-08 (! (AU( ( potential( (tk(P13)) <= (tk(P273)) ) | potential( (tk(P510)) <= (tk(P2)) ) ),potential( ( 2 ) <= (tk(P468)) ) )))
PROPERTY: Parking-PT-432-CTLCardinality-09 (AG( ( (! ( potential( ( 2 ) <= (tk(P500)) ) | potential( ( 2 ) <= (tk(P513)) ) )) | (AF(potential( (tk(P438)) <= (tk(P94)) ))) )))
PROPERTY: Parking-PT-432-CTLCardinality-10 ( (AF(( (! potential( ( 2 ) <= (tk(P371)) )) & potential( ( 2 ) <= (tk(P145)) ) ))) & ( ( ( potential( (tk(P363)) <= (tk(P213)) ) | ( potential( ( 2 ) <= (tk(P325)) ) | potential( (tk(P493)) <= (tk(P96)) ) ) ) & potential( (tk(P383)) <= (tk(P292)) ) ) & ( (AG( potential( (tk(P256)) <= (tk(P129)) ))) & potential( (tk(P156)) <= (tk(P141)) ) ) ) )
PROPERTY: Parking-PT-432-CTLCardinality-11 (AX( (AG( potential( (tk(P69)) <= (tk(P17)) )))))
PROPERTY: Parking-PT-432-CTLCardinality-12 (! (AF((EX( potential( ( 2 ) <= (tk(P53)) ))))))
PROPERTY: Parking-PT-432-CTLCardinality-13 (EF(( ( potential( ( 2 ) <= (tk(P416)) ) & ( potential( ( 3 ) <= (tk(P462)) ) & potential( (tk(P101)) <= (tk(P260)) ) ) ) & potential( (tk(P51)) <= (tk(P145)) ) )))
PROPERTY: Parking-PT-432-CTLCardinality-14 ( (AF(potential( ( 1 ) <= (tk(P298)) ))) | (EG( ( ( potential( (tk(P174)) <= (tk(P309)) ) | potential( ( 3 ) <= (tk(P17)) ) ) | ( potential( ( 2 ) <= (tk(P411)) ) & potential( ( 2 ) <= (tk(P190)) ) ) ))) )
PROPERTY: Parking-PT-432-CTLCardinality-15 (EG( ( potential( (tk(P175)) <= (tk(P356)) ) | ( ( potential( ( 3 ) <= (tk(P327)) ) | potential( (tk(P214)) <= (tk(P238)) ) ) | (! potential( ( 1 ) <= (tk(P198)) )) ) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Parking-PT-432"
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 Parking-PT-432, 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 r108-csrt-158961250700539"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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