Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.4K Apr 12 08:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 08:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 11 09:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 09:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 21:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 241K Mar 24 05:38 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 Raft-PT-10-CTLFireability-00
FORMULA_NAME Raft-PT-10-CTLFireability-01
FORMULA_NAME Raft-PT-10-CTLFireability-02
FORMULA_NAME Raft-PT-10-CTLFireability-03
FORMULA_NAME Raft-PT-10-CTLFireability-04
FORMULA_NAME Raft-PT-10-CTLFireability-05
FORMULA_NAME Raft-PT-10-CTLFireability-06
FORMULA_NAME Raft-PT-10-CTLFireability-07
FORMULA_NAME Raft-PT-10-CTLFireability-08
FORMULA_NAME Raft-PT-10-CTLFireability-09
FORMULA_NAME Raft-PT-10-CTLFireability-10
FORMULA_NAME Raft-PT-10-CTLFireability-11
FORMULA_NAME Raft-PT-10-CTLFireability-12
FORMULA_NAME Raft-PT-10-CTLFireability-13
FORMULA_NAME Raft-PT-10-CTLFireability-14
FORMULA_NAME Raft-PT-10-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589810946025

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

GOT IT HERE. BS
Petri model created: 508 places, 868 transitions, 3359 arcs.
AT ITER 0 NEW BEST:: SOT 389188 SOS 265304 HAS SOPS 265264 HAS SOUS 207984 HAS SOUPS 207974 WITH SCORE 208239.304
AT ITER 1 NEW BEST:: SOT 389188 SOS 265192 HAS SOPS 265152 HAS SOUS 207984 HAS SOUPS 207974 WITH SCORE 208239.192
AT ITER 2 NEW BEST:: SOT 388672 SOS 264672 HAS SOPS 264566 HAS SOUS 207383 HAS SOUPS 207308 WITH SCORE 207572.672
AT ITER 3 NEW BEST:: SOT 388672 SOS 264672 HAS SOPS 264566 HAS SOUS 207354 HAS SOUPS 207279 WITH SCORE 207543.672
AT ITER 8 NEW BEST:: SOT 388400 SOS 264313 HAS SOPS 264176 HAS SOUS 206954 HAS SOUPS 206849 WITH SCORE 207113.313
AT ITER 9 NEW BEST:: SOT 388400 SOS 264015 HAS SOPS 263878 HAS SOUS 206914 HAS SOUPS 206809 WITH SCORE 207073.015
AT ITER 11 NEW BEST:: SOT 388400 SOS 262010 HAS SOPS 261873 HAS SOUS 206914 HAS SOUPS 206809 WITH SCORE 207071.01
AT ITER 12 NEW BEST:: SOT 388116 SOS 261610 HAS SOPS 261435 HAS SOUS 206277 HAS SOUPS 206135 WITH SCORE 206396.61
AT ITER 13 NEW BEST:: SOT 388116 SOS 261407 HAS SOPS 261232 HAS SOUS 206277 HAS SOUPS 206135 WITH SCORE 206396.407
AT ITER 14 NEW BEST:: SOT 387492 SOS 261338 HAS SOPS 261078 HAS SOUS 206092 HAS SOUPS 205867 WITH SCORE 206128.338
AT ITER 18 NEW BEST:: SOT 387184 SOS 261234 HAS SOPS 260949 HAS SOUS 205675 HAS SOUPS 205426 WITH SCORE 205687.234
AT ITER 19 NEW BEST:: SOT 387184 SOS 261098 HAS SOPS 260813 HAS SOUS 205675 HAS SOUPS 205426 WITH SCORE 205687.098
AT ITER 22 NEW BEST:: SOT 387184 SOS 260975 HAS SOPS 260690 HAS SOUS 205675 HAS SOUPS 205426 WITH SCORE 205686.975
AT ITER 23 NEW BEST:: SOT 386568 SOS 260478 HAS SOPS 260126 HAS SOUS 204917 HAS SOUPS 204667 WITH SCORE 204927.478
AT ITER 24 NEW BEST:: SOT 386568 SOS 260347 HAS SOPS 259995 HAS SOUS 204876 HAS SOUPS 204626 WITH SCORE 204886.347
AT ITER 28 NEW BEST:: SOT 385934 SOS 259498 HAS SOPS 259109 HAS SOUS 203922 HAS SOUPS 203636 WITH SCORE 203895.498
AT ITER 29 NEW BEST:: SOT 385934 SOS 259180 HAS SOPS 258791 HAS SOUS 203887 HAS SOUPS 203601 WITH SCORE 203860.18
AT ITER 31 NEW BEST:: SOT 385754 SOS 258725 HAS SOPS 258313 HAS SOUS 203149 HAS SOUPS 202863 WITH SCORE 203121.725
AT ITER 33 NEW BEST:: SOT 385190 SOS 258065 HAS SOPS 257521 HAS SOUS 202487 HAS SOUPS 202071 WITH SCORE 202329.065
AT ITER 34 NEW BEST:: SOT 385168 SOS 258043 HAS SOPS 257488 HAS SOUS 202465 HAS SOUPS 202038 WITH SCORE 202296.043
AT ITER 35 NEW BEST:: SOT 384917 SOS 258052 HAS SOPS 257541 HAS SOUS 202276 HAS SOUPS 201892 WITH SCORE 202150.052
AT ITER 36 NEW BEST:: SOT 384917 SOS 257127 HAS SOPS 256616 HAS SOUS 202276 HAS SOUPS 201892 WITH SCORE 202149.127
AT ITER 38 NEW BEST:: SOT 384917 SOS 256876 HAS SOPS 256365 HAS SOUS 202276 HAS SOUPS 201892 WITH SCORE 202148.876
AT ITER 41 NEW BEST:: SOT 384917 SOS 256876 HAS SOPS 256365 HAS SOUS 202196 HAS SOUPS 201812 WITH SCORE 202068.876
AT ITER 42 NEW BEST:: SOT 384917 SOS 256858 HAS SOPS 256347 HAS SOUS 202178 HAS SOUPS 201794 WITH SCORE 202050.858
AT ITER 45 NEW BEST:: SOT 384917 SOS 256858 HAS SOPS 256347 HAS SOUS 202157 HAS SOUPS 201773 WITH SCORE 202029.858
AT ITER 46 NEW BEST:: SOT 384917 SOS 256832 HAS SOPS 256321 HAS SOUS 202157 HAS SOUPS 201773 WITH SCORE 202029.832
AT ITER 47 NEW BEST:: SOT 384571 SOS 256890 HAS SOPS 256353 HAS SOUS 201956 HAS SOUPS 201572 WITH SCORE 201828.89
AT ITER 48 NEW BEST:: SOT 384571 SOS 256780 HAS SOPS 256243 HAS SOUS 201956 HAS SOUPS 201572 WITH SCORE 201828.78
AT ITER 49 NEW BEST:: SOT 384571 SOS 256746 HAS SOPS 256209 HAS SOUS 201956 HAS SOUPS 201572 WITH SCORE 201828.746
AT ITER 50 NEW BEST:: SOT 384571 SOS 256746 HAS SOPS 256209 HAS SOUS 201926 HAS SOUPS 201542 WITH SCORE 201798.746
AT ITER 51 NEW BEST:: SOT 384061 SOS 256792 HAS SOPS 256236 HAS SOUS 201881 HAS SOUPS 201497 WITH SCORE 201753.792
AT ITER 54 NEW BEST:: SOT 383655 SOS 256449 HAS SOPS 255851 HAS SOUS 201300 HAS SOUPS 200915 WITH SCORE 201171.449
AT ITER 59 NEW BEST:: SOT 383675 SOS 256466 HAS SOPS 255881 HAS SOUS 201248 HAS SOUPS 200882 WITH SCORE 201138.466
AT ITER 61 NEW BEST:: SOT 383675 SOS 256347 HAS SOPS 255762 HAS SOUS 201248 HAS SOUPS 200882 WITH SCORE 201138.347
AT ITER 63 NEW BEST:: SOT 383055 SOS 255822 HAS SOPS 255109 HAS SOUS 200557 HAS SOUPS 200191 WITH SCORE 200446.822
AT ITER 66 NEW BEST:: SOT 383055 SOS 255743 HAS SOPS 255030 HAS SOUS 200478 HAS SOUPS 200112 WITH SCORE 200367.743
AT ITER 69 NEW BEST:: SOT 382851 SOS 255448 HAS SOPS 254712 HAS SOUS 200098 HAS SOUPS 199710 WITH SCORE 199965.448
AT ITER 71 NEW BEST:: SOT 382851 SOS 255448 HAS SOPS 254712 HAS SOUS 200024 HAS SOUPS 199636 WITH SCORE 199891.448
AT ITER 72 NEW BEST:: SOT 382851 SOS 255448 HAS SOPS 254712 HAS SOUS 199944 HAS SOUPS 199556 WITH SCORE 199811.448
AT ITER 73 NEW BEST:: SOT 382525 SOS 255300 HAS SOPS 254535 HAS SOUS 199485 HAS SOUPS 199097 WITH SCORE 199352.3
AT ITER 75 NEW BEST:: SOT 382541 SOS 255231 HAS SOPS 254466 HAS SOUS 199416 HAS SOUPS 199028 WITH SCORE 199283.231
AT ITER 77 NEW BEST:: SOT 382541 SOS 254631 HAS SOPS 253866 HAS SOUS 199327 HAS SOUPS 198939 WITH SCORE 199193.631
AT ITER 78 NEW BEST:: SOT 382281 SOS 254430 HAS SOPS 253634 HAS SOUS 198965 HAS SOUPS 198547 WITH SCORE 198801.43
AT ITER 79 NEW BEST:: SOT 382281 SOS 254371 HAS SOPS 253575 HAS SOUS 198906 HAS SOUPS 198488 WITH SCORE 198742.371
AT ITER 81 NEW BEST:: SOT 382228 SOS 254318 HAS SOPS 253522 HAS SOUS 198853 HAS SOUPS 198435 WITH SCORE 198689.318
AT ITER 88 NEW BEST:: SOT 382228 SOS 254318 HAS SOPS 253522 HAS SOUS 198845 HAS SOUPS 198427 WITH SCORE 198681.318
AT ITER 91 NEW BEST:: SOT 381693 SOS 253736 HAS SOPS 252822 HAS SOUS 198195 HAS SOUPS 197762 WITH SCORE 198015.736
AT ITER 93 NEW BEST:: SOT 381693 SOS 253675 HAS SOPS 252761 HAS SOUS 198187 HAS SOUPS 197754 WITH SCORE 198007.675
AT ITER 95 NEW BEST:: SOT 381693 SOS 252164 HAS SOPS 251250 HAS SOUS 198159 HAS SOUPS 197726 WITH SCORE 197978.164
AT ITER 99 NEW BEST:: SOT 381416 SOS 251973 HAS SOPS 251059 HAS SOUS 198054 HAS SOUPS 197621 WITH SCORE 197872.973
AT ITER 100 NEW BEST:: SOT 381416 SOS 251812 HAS SOPS 250898 HAS SOUS 198054 HAS SOUPS 197621 WITH SCORE 197872.812
AT ITER 103 NEW BEST:: SOT 381416 SOS 251777 HAS SOPS 250863 HAS SOUS 198054 HAS SOUPS 197621 WITH SCORE 197872.777
AT ITER 108 NEW BEST:: SOT 381416 SOS 251701 HAS SOPS 250787 HAS SOUS 197776 HAS SOUPS 197343 WITH SCORE 197594.701
AT ITER 109 NEW BEST:: SOT 381416 SOS 251436 HAS SOPS 250522 HAS SOUS 197622 HAS SOUPS 197189 WITH SCORE 197440.436
AT ITER 111 NEW BEST:: SOT 381416 SOS 251332 HAS SOPS 250418 HAS SOUS 197570 HAS SOUPS 197137 WITH SCORE 197388.332
AT ITER 112 NEW BEST:: SOT 381416 SOS 250366 HAS SOPS 249452 HAS SOUS 197429 HAS SOUPS 196996 WITH SCORE 197246.366
AT ITER 114 NEW BEST:: SOT 381050 SOS 249818 HAS SOPS 248866 HAS SOUS 196879 HAS SOUPS 196410 WITH SCORE 196659.818
AT ITER 115 NEW BEST:: SOT 381050 SOS 249799 HAS SOPS 248847 HAS SOUS 196879 HAS SOUPS 196410 WITH SCORE 196659.799
AT ITER 116 NEW BEST:: SOT 381050 SOS 249791 HAS SOPS 248839 HAS SOUS 196879 HAS SOUPS 196410 WITH SCORE 196659.791
AT ITER 118 NEW BEST:: SOT 381050 SOS 249678 HAS SOPS 248726 HAS SOUS 196766 HAS SOUPS 196297 WITH SCORE 196546.678
AT ITER 119 NEW BEST:: SOT 381050 SOS 249295 HAS SOPS 248343 HAS SOUS 196434 HAS SOUPS 195965 WITH SCORE 196214.295
AT ITER 122 NEW BEST:: SOT 381050 SOS 249074 HAS SOPS 248122 HAS SOUS 196434 HAS SOUPS 195965 WITH SCORE 196214.074
AT ITER 125 NEW BEST:: SOT 381050 SOS 249014 HAS SOPS 248062 HAS SOUS 196404 HAS SOUPS 195935 WITH SCORE 196184.014
AT ITER 126 NEW BEST:: SOT 381050 SOS 248710 HAS SOPS 247758 HAS SOUS 196176 HAS SOUPS 195707 WITH SCORE 195955.71
AT ITER 127 NEW BEST:: SOT 380960 SOS 248620 HAS SOPS 247659 HAS SOUS 196068 HAS SOUPS 195599 WITH SCORE 195847.62
AT ITER 128 NEW BEST:: SOT 380460 SOS 248097 HAS SOPS 247017 HAS SOUS 195467 HAS SOUPS 194957 WITH SCORE 195205.097
AT ITER 130 NEW BEST:: SOT 380460 SOS 247868 HAS SOPS 246788 HAS SOUS 195467 HAS SOUPS 194957 WITH SCORE 195204.868
AT ITER 131 NEW BEST:: SOT 379922 SOS 247923 HAS SOPS 246807 HAS SOUS 195369 HAS SOUPS 194859 WITH SCORE 195106.923
AT ITER 132 NEW BEST:: SOT 379922 SOS 247841 HAS SOPS 246725 HAS SOUS 195369 HAS SOUPS 194859 WITH SCORE 195106.841
AT ITER 135 NEW BEST:: SOT 379922 SOS 247669 HAS SOPS 246553 HAS SOUS 195369 HAS SOUPS 194859 WITH SCORE 195106.669
AT ITER 136 NEW BEST:: SOT 379922 SOS 247637 HAS SOPS 246521 HAS SOUS 195369 HAS SOUPS 194859 WITH SCORE 195106.637
AT ITER 139 NEW BEST:: SOT 379922 SOS 247434 HAS SOPS 246318 HAS SOUS 195369 HAS SOUPS 194859 WITH SCORE 195106.434
AT ITER 142 NEW BEST:: SOT 379922 SOS 247424 HAS SOPS 246308 HAS SOUS 195369 HAS SOUPS 194859 WITH SCORE 195106.424
AT ITER 143 NEW BEST:: SOT 379558 SOS 246935 HAS SOPS 245728 HAS SOUS 194805 HAS SOUPS 194279 WITH SCORE 194525.935
AT ITER 144 NEW BEST:: SOT 379458 SOS 246265 HAS SOPS 245022 HAS SOUS 194099 HAS SOUPS 193573 WITH SCORE 193819.265
AT ITER 146 NEW BEST:: SOT 379123 SOS 246093 HAS SOPS 244850 HAS SOUS 193926 HAS SOUPS 193400 WITH SCORE 193646.093
AT ITER 147 NEW BEST:: SOT 378639 SOS 245399 HAS SOPS 244098 HAS SOUS 193163 HAS SOUPS 192626 WITH SCORE 192871.399
AT ITER 148 NEW BEST:: SOT 378639 SOS 245362 HAS SOPS 244061 HAS SOUS 193089 HAS SOUPS 192552 WITH SCORE 192797.362
AT ITER 150 NEW BEST:: SOT 378639 SOS 245535 HAS SOPS 244234 HAS SOUS 192935 HAS SOUPS 192398 WITH SCORE 192643.535
AT ITER 155 NEW BEST:: SOT 378268 SOS 245249 HAS SOPS 243948 HAS SOUS 192519 HAS SOUPS 191982 WITH SCORE 192227.249
AT ITER 159 NEW BEST:: SOT 377902 SOS 244973 HAS SOPS 243658 HAS SOUS 191922 HAS SOUPS 191385 WITH SCORE 191629.973
AT ITER 160 NEW BEST:: SOT 377902 SOS 244878 HAS SOPS 243563 HAS SOUS 191827 HAS SOUPS 191290 WITH SCORE 191534.878
AT ITER 163 NEW BEST:: SOT 377902 SOS 244794 HAS SOPS 243479 HAS SOUS 191693 HAS SOUPS 191156 WITH SCORE 191400.794
AT ITER 167 NEW BEST:: SOT 377902 SOS 244794 HAS SOPS 243479 HAS SOUS 191653 HAS SOUPS 191116 WITH SCORE 191360.794
AT ITER 172 NEW BEST:: SOT 377902 SOS 244772 HAS SOPS 243457 HAS SOUS 191642 HAS SOUPS 191105 WITH SCORE 191349.772
AT ITER 173 NEW BEST:: SOT 377902 SOS 244137 HAS SOPS 242822 HAS SOUS 191642 HAS SOUPS 191105 WITH SCORE 191349.137
AT ITER 178 NEW BEST:: SOT 377902 SOS 244096 HAS SOPS 242781 HAS SOUS 191601 HAS SOUPS 191064 WITH SCORE 191308.096
AT ITER 180 NEW BEST:: SOT 377878 SOS 244072 HAS SOPS 242745 HAS SOUS 191577 HAS SOUPS 191028 WITH SCORE 191272.072
AT ITER 181 NEW BEST:: SOT 377878 SOS 244072 HAS SOPS 242745 HAS SOUS 191576 HAS SOUPS 191027 WITH SCORE 191271.072
AT ITER 184 NEW BEST:: SOT 377890 SOS 242172 HAS SOPS 240845 HAS SOUS 191258 HAS SOUPS 190709 WITH SCORE 190951.172
AT ITER 185 NEW BEST:: SOT 377890 SOS 242028 HAS SOPS 240701 HAS SOUS 191258 HAS SOUPS 190709 WITH SCORE 190951.028
AT ITER 186 NEW BEST:: SOT 377506 SOS 241688 HAS SOPS 240426 HAS SOUS 190882 HAS SOUPS 190333 WITH SCORE 190574.688
AT ITER 187 NEW BEST:: SOT 377506 SOS 241728 HAS SOPS 240466 HAS SOUS 190868 HAS SOUPS 190319 WITH SCORE 190560.728
AT ITER 189 NEW BEST:: SOT 377506 SOS 241699 HAS SOPS 240437 HAS SOUS 190868 HAS SOUPS 190319 WITH SCORE 190560.699
AT ITER 190 NEW BEST:: SOT 377506 SOS 240899 HAS SOPS 239637 HAS SOUS 190868 HAS SOUPS 190319 WITH SCORE 190559.899
AT ITER 191 NEW BEST:: SOT 377506 SOS 240895 HAS SOPS 239633 HAS SOUS 190864 HAS SOUPS 190315 WITH SCORE 190555.895
AT ITER 198 NEW BEST:: SOT 377506 SOS 240801 HAS SOPS 239539 HAS SOUS 190845 HAS SOUPS 190296 WITH SCORE 190536.801
AT ITER 201 NEW BEST:: SOT 377052 SOS 240487 HAS SOPS 239183 HAS SOUS 190276 HAS SOUPS 189727 WITH SCORE 189967.487
AT ITER 202 NEW BEST:: SOT 377052 SOS 240443 HAS SOPS 239139 HAS SOUS 190232 HAS SOUPS 189683 WITH SCORE 189923.443
AT ITER 207 NEW BEST:: SOT 377040 SOS 240300 HAS SOPS 238986 HAS SOUS 190148 HAS SOUPS 189599 WITH SCORE 189839.3
AT ITER 210 NEW BEST:: SOT 374683 SOS 238868 HAS SOPS 236969 HAS SOUS 188471 HAS SOUPS 187837 WITH SCORE 188075.868
AT ITER 211 NEW BEST:: SOT 374195 SOS 238299 HAS SOPS 236382 HAS SOUS 187824 HAS SOUPS 187190 WITH SCORE 187428.299
AT ITER 215 NEW BEST:: SOT 374153 SOS 238262 HAS SOPS 236319 HAS SOUS 187789 HAS SOUPS 187155 WITH SCORE 187393.262
AT ITER 216 NEW BEST:: SOT 374079 SOS 238208 HAS SOPS 236228 HAS SOUS 187709 HAS SOUPS 187075 WITH SCORE 187313.208
AT ITER 217 NEW BEST:: SOT 374079 SOS 238134 HAS SOPS 236154 HAS SOUS 187637 HAS SOUPS 187003 WITH SCORE 187241.134
AT ITER 219 NEW BEST:: SOT 373361 SOS 237886 HAS SOPS 235959 HAS SOUS 187444 HAS SOUPS 186810 WITH SCORE 187047.886
AT ITER 223 NEW BEST:: SOT 373361 SOS 237696 HAS SOPS 235769 HAS SOUS 187403 HAS SOUPS 186769 WITH SCORE 187006.696
AT ITER 225 NEW BEST:: SOT 372876 SOS 237433 HAS SOPS 235469 HAS SOUS 186814 HAS SOUPS 186180 WITH SCORE 186417.433
AT ITER 226 NEW BEST:: SOT 373187 SOS 237552 HAS SOPS 235588 HAS SOUS 186470 HAS SOUPS 185836 WITH SCORE 186073.552
AT ITER 227 NEW BEST:: SOT 373187 SOS 237567 HAS SOPS 235603 HAS SOUS 186243 HAS SOUPS 185609 WITH SCORE 185846.567
AT ITER 233 NEW BEST:: SOT 373187 SOS 236029 HAS SOPS 234065 HAS SOUS 186171 HAS SOUPS 185537 WITH SCORE 185773.029
AT ITER 241 NEW BEST:: SOT 373187 SOS 235881 HAS SOPS 233917 HAS SOUS 186096 HAS SOUPS 185462 WITH SCORE 185697.881
AT ITER 242 NEW BEST:: SOT 364966 SOS 225630 HAS SOPS 223666 HAS SOUS 177580 HAS SOUPS 176946 WITH SCORE 177171.63
AT ITER 243 NEW BEST:: SOT 364859 SOS 225573 HAS SOPS 223646 HAS SOUS 177550 HAS SOUPS 176916 WITH SCORE 177141.573
AT ITER 245 NEW BEST:: SOT 362140 SOS 224285 HAS SOPS 221588 HAS SOUS 175740 HAS SOUPS 174981 WITH SCORE 175205.285
AT ITER 247 NEW BEST:: SOT 356130 SOS 222745 HAS SOPS 216427 HAS SOUS 171195 HAS SOUPS 170175 WITH SCORE 170397.745
AT ITER 252 NEW BEST:: SOT 356365 SOS 221379 HAS SOPS 215061 HAS SOUS 171183 HAS SOUPS 170163 WITH SCORE 170384.379
AT ITER 254 NEW BEST:: SOT 356365 SOS 221343 HAS SOPS 215025 HAS SOUS 171183 HAS SOUPS 170163 WITH SCORE 170384.343
AT ITER 257 NEW BEST:: SOT 355893 SOS 220871 HAS SOPS 214447 HAS SOUS 170603 HAS SOUPS 169583 WITH SCORE 169803.871
AT ITER 259 NEW BEST:: SOT 355840 SOS 220818 HAS SOPS 214394 HAS SOUS 170564 HAS SOUPS 169544 WITH SCORE 169764.818
AT ITER 261 NEW BEST:: SOT 355840 SOS 220645 HAS SOPS 214394 HAS SOUS 170564 HAS SOUPS 169544 WITH SCORE 169764.645
AT ITER 263 NEW BEST:: SOT 355840 SOS 220563 HAS SOPS 214312 HAS SOUS 170552 HAS SOUPS 169532 WITH SCORE 169752.563
AT ITER 266 NEW BEST:: SOT 349641 SOS 216783 HAS SOPS 208581 HAS SOUS 165298 HAS SOUPS 164122 WITH SCORE 164338.783
AT ITER 267 NEW BEST:: SOT 349641 SOS 216753 HAS SOPS 208512 HAS SOUS 165302 HAS SOUPS 164091 WITH SCORE 164307.753
AT ITER 271 NEW BEST:: SOT 349641 SOS 214843 HAS SOPS 206668 HAS SOUS 165222 HAS SOUPS 164011 WITH SCORE 164225.843
AT ITER 275 NEW BEST:: SOT 349563 SOS 215393 HAS SOPS 207226 HAS SOUS 164942 HAS SOUPS 163731 WITH SCORE 163946.393
AT ITER 276 NEW BEST:: SOT 349563 SOS 215340 HAS SOPS 207061 HAS SOUS 164942 HAS SOUPS 163731 WITH SCORE 163946.34
AT ITER 277 NEW BEST:: SOT 349010 SOS 214927 HAS SOPS 206504 HAS SOUS 164411 HAS SOUPS 163174 WITH SCORE 163388.927
AT ITER 278 NEW BEST:: SOT 348611 SOS 215181 HAS SOPS 206771 HAS SOUS 164342 HAS SOUPS 163105 WITH SCORE 163320.181
AT ITER 279 NEW BEST:: SOT 348228 SOS 215021 HAS SOPS 206611 HAS SOUS 164184 HAS SOUPS 162947 WITH SCORE 163162.021
AT ITER 280 NEW BEST:: SOT 348206 SOS 214889 HAS SOPS 206479 HAS SOUS 164173 HAS SOUPS 162936 WITH SCORE 163150.889
AT ITER 281 NEW BEST:: SOT 347107 SOS 213840 HAS SOPS 205646 HAS SOUS 163259 HAS SOUPS 162026 WITH SCORE 162239.84
AT ITER 282 NEW BEST:: SOT 347107 SOS 213618 HAS SOPS 205424 HAS SOUS 163259 HAS SOUPS 162026 WITH SCORE 162239.618
AT ITER 283 NEW BEST:: SOT 347107 SOS 213421 HAS SOPS 205227 HAS SOUS 163235 HAS SOUPS 162002 WITH SCORE 162215.421
AT ITER 285 NEW BEST:: SOT 346531 SOS 214253 HAS SOPS 206618 HAS SOUS 163184 HAS SOUPS 161956 WITH SCORE 162170.253
AT ITER 288 NEW BEST:: SOT 345995 SOS 213715 HAS SOPS 206489 HAS SOUS 162877 HAS SOUPS 161650 WITH SCORE 161863.715
AT ITER 290 NEW BEST:: SOT 340451 SOS 212864 HAS SOPS 202448 HAS SOUS 158731 HAS SOUPS 157293 WITH SCORE 157505.864
AT ITER 292 NEW BEST:: SOT 340030 SOS 212991 HAS SOPS 202588 HAS SOUS 158310 HAS SOUPS 156872 WITH SCORE 157084.991
AT ITER 293 NEW BEST:: SOT 339828 SOS 212757 HAS SOPS 202272 HAS SOUS 158004 HAS SOUPS 156543 WITH SCORE 156755.757
AT ITER 294 NEW BEST:: SOT 339366 SOS 212296 HAS SOPS 201928 HAS SOUS 157580 HAS SOUPS 156119 WITH SCORE 156331.296
AT ITER 295 NEW BEST:: SOT 339366 SOS 212246 HAS SOPS 201878 HAS SOUS 157580 HAS SOUPS 156119 WITH SCORE 156331.246
AT ITER 296 NEW BEST:: SOT 333261 SOS 216041 HAS SOPS 198618 HAS SOUS 154298 HAS SOUPS 152552 WITH SCORE 152768.041
AT ITER 298 NEW BEST:: SOT 333208 SOS 215937 HAS SOPS 198514 HAS SOUS 154078 HAS SOUPS 152332 WITH SCORE 152547.937
AT ITER 304 NEW BEST:: SOT 332994 SOS 215517 HAS SOPS 197968 HAS SOUS 153615 HAS SOUPS 151869 WITH SCORE 152084.517
AT ITER 305 NEW BEST:: SOT 332994 SOS 214754 HAS SOPS 197262 HAS SOUS 153592 HAS SOUPS 151846 WITH SCORE 152060.754
AT ITER 306 NEW BEST:: SOT 332991 SOS 214751 HAS SOPS 197259 HAS SOUS 153589 HAS SOUPS 151843 WITH SCORE 152057.751
AT ITER 308 NEW BEST:: SOT 332991 SOS 214691 HAS SOPS 197259 HAS SOUS 153589 HAS SOUPS 151843 WITH SCORE 152057.691
AT ITER 315 NEW BEST:: SOT 333065 SOS 214502 HAS SOPS 196974 HAS SOUS 153494 HAS SOUPS 151748 WITH SCORE 151962.502
AT ITER 316 NEW BEST:: SOT 332863 SOS 214098 HAS SOPS 196570 HAS SOUS 153122 HAS SOUPS 151376 WITH SCORE 151590.098
AT ITER 317 NEW BEST:: SOT 332863 SOS 214008 HAS SOPS 196455 HAS SOUS 153122 HAS SOUPS 151376 WITH SCORE 151590.008
AT ITER 321 NEW BEST:: SOT 332863 SOS 213984 HAS SOPS 196455 HAS SOUS 153122 HAS SOUPS 151376 WITH SCORE 151589.984
AT ITER 323 NEW BEST:: SOT 332775 SOS 213896 HAS SOPS 196121 HAS SOUS 152794 HAS SOUPS 151042 WITH SCORE 151255.896
AT ITER 324 NEW BEST:: SOT 332053 SOS 213148 HAS SOPS 195782 HAS SOUS 152201 HAS SOUPS 150449 WITH SCORE 150662.148
AT ITER 325 NEW BEST:: SOT 332053 SOS 212329 HAS SOPS 195051 HAS SOUS 151913 HAS SOUPS 150161 WITH SCORE 150373.329
AT ITER 327 NEW BEST:: SOT 332053 SOS 212218 HAS SOPS 194977 HAS SOUS 151913 HAS SOUPS 150161 WITH SCORE 150373.218
AT ITER 328 NEW BEST:: SOT 331732 SOS 211897 HAS SOPS 194717 HAS SOUS 151602 HAS SOUPS 149850 WITH SCORE 150061.897
AT ITER 330 NEW BEST:: SOT 331311 SOS 211458 HAS SOPS 194242 HAS SOUS 151263 HAS SOUPS 149512 WITH SCORE 149723.458
AT ITER 333 NEW BEST:: SOT 331311 SOS 211441 HAS SOPS 194225 HAS SOUS 151263 HAS SOUPS 149512 WITH SCORE 149723.441
AT ITER 335 NEW BEST:: SOT 331384 SOS 210743 HAS SOPS 193527 HAS SOUS 151247 HAS SOUPS 149496 WITH SCORE 149706.743
AT ITER 336 NEW BEST:: SOT 330638 SOS 209930 HAS SOPS 192677 HAS SOUS 150484 HAS SOUPS 148727 WITH SCORE 148936.93
AT ITER 340 NEW BEST:: SOT 330578 SOS 209810 HAS SOPS 192557 HAS SOUS 150361 HAS SOUPS 148604 WITH SCORE 148813.81
AT ITER 341 NEW BEST:: SOT 330578 SOS 209798 HAS SOPS 192545 HAS SOUS 150361 HAS SOUPS 148604 WITH SCORE 148813.798
AT ITER 343 NEW BEST:: SOT 329985 SOS 209205 HAS SOPS 191952 HAS SOUS 149767 HAS SOUPS 148010 WITH SCORE 148219.205
AT ITER 346 NEW BEST:: SOT 329329 SOS 208549 HAS SOPS 191207 HAS SOUS 148933 HAS SOUPS 147176 WITH SCORE 147384.549
AT ITER 348 NEW BEST:: SOT 327974 SOS 207854 HAS SOPS 191089 HAS SOUS 147811 HAS SOUPS 146049 WITH SCORE 146256.854
AT ITER 352 NEW BEST:: SOT 327974 SOS 207770 HAS SOPS 191005 HAS SOUS 147727 HAS SOUPS 145965 WITH SCORE 146172.77
AT ITER 353 NEW BEST:: SOT 327974 SOS 207856 HAS SOPS 191005 HAS SOUS 147671 HAS SOUPS 145909 WITH SCORE 146116.856
AT ITER 356 NEW BEST:: SOT 327974 SOS 207854 HAS SOPS 191003 HAS SOUS 147671 HAS SOUPS 145909 WITH SCORE 146116.854
AT ITER 358 NEW BEST:: SOT 327868 SOS 207748 HAS SOPS 190892 HAS SOUS 147555 HAS SOUPS 145793 WITH SCORE 146000.748
AT ITER 362 NEW BEST:: SOT 328037 SOS 206427 HAS SOPS 189613 HAS SOUS 147534 HAS SOUPS 145772 WITH SCORE 145978.427
AT ITER 363 NEW BEST:: SOT 328037 SOS 206401 HAS SOPS 189587 HAS SOUS 147506 HAS SOUPS 145744 WITH SCORE 145950.401
AT ITER 364 NEW BEST:: SOT 327827 SOS 206318 HAS SOPS 189213 HAS SOUS 147187 HAS SOUPS 145430 WITH SCORE 145636.318
AT ITER 375 NEW BEST:: SOT 327602 SOS 206142 HAS SOPS 189147 HAS SOUS 147083 HAS SOUPS 145326 WITH SCORE 145532.142
AT ITER 377 NEW BEST:: SOT 327471 SOS 205381 HAS SOPS 187446 HAS SOUS 145935 HAS SOUPS 144178 WITH SCORE 144383.381
AT ITER 378 NEW BEST:: SOT 327462 SOS 205334 HAS SOPS 187428 HAS SOUS 145917 HAS SOUPS 144160 WITH SCORE 144365.334
AT ITER 380 NEW BEST:: SOT 327462 SOS 205308 HAS SOPS 187402 HAS SOUS 145917 HAS SOUPS 144160 WITH SCORE 144365.308
AT ITER 382 NEW BEST:: SOT 327462 SOS 205306 HAS SOPS 187402 HAS SOUS 145869 HAS SOUPS 144112 WITH SCORE 144317.306
AT ITER 385 NEW BEST:: SOT 326618 SOS 204931 HAS SOPS 187557 HAS SOUS 145642 HAS SOUPS 143885 WITH SCORE 144089.931
AT ITER 388 NEW BEST:: SOT 325887 SOS 204578 HAS SOPS 187724 HAS SOUS 145332 HAS SOUPS 143575 WITH SCORE 143779.578
AT ITER 391 NEW BEST:: SOT 325887 SOS 204565 HAS SOPS 187711 HAS SOUS 145319 HAS SOUPS 143562 WITH SCORE 143766.565
AT ITER 393 NEW BEST:: SOT 325241 SOS 203908 HAS SOPS 186921 HAS SOUS 144609 HAS SOUPS 142852 WITH SCORE 143055.908
AT ITER 395 NEW BEST:: SOT 324923 SOS 203535 HAS SOPS 186477 HAS SOUS 144235 HAS SOUPS 142491 WITH SCORE 142694.535
AT ITER 397 NEW BEST:: SOT 325105 SOS 201196 HAS SOPS 184138 HAS SOUS 144096 HAS SOUPS 142352 WITH SCORE 142553.196
AT ITER 398 NEW BEST:: SOT 325048 SOS 201197 HAS SOPS 184154 HAS SOUS 143925 HAS SOUPS 142181 WITH SCORE 142382.197
AT ITER 401 NEW BEST:: SOT 324841 SOS 200990 HAS SOPS 183878 HAS SOUS 143751 HAS SOUPS 142007 WITH SCORE 142207.99
AT ITER 404 NEW BEST:: SOT 324433 SOS 200582 HAS SOPS 183560 HAS SOUS 143398 HAS SOUPS 141654 WITH SCORE 141854.582
AT ITER 405 NEW BEST:: SOT 323423 SOS 199759 HAS SOPS 182734 HAS SOUS 141778 HAS SOUPS 140034 WITH SCORE 140233.759
AT ITER 410 NEW BEST:: SOT 323423 SOS 199609 HAS SOPS 182584 HAS SOUS 141778 HAS SOUPS 140034 WITH SCORE 140233.609
AT ITER 422 NEW BEST:: SOT 320641 SOS 198671 HAS SOPS 180147 HAS SOUS 139747 HAS SOUPS 137888 WITH SCORE 138086.671
AT ITER 424 NEW BEST:: SOT 320629 SOS 198721 HAS SOPS 180129 HAS SOUS 139723 HAS SOUPS 137864 WITH SCORE 138062.721
AT ITER 426 NEW BEST:: SOT 320502 SOS 198411 HAS SOPS 179856 HAS SOUS 139485 HAS SOUPS 137626 WITH SCORE 137824.411
AT ITER 427 NEW BEST:: SOT 320489 SOS 198385 HAS SOPS 179830 HAS SOUS 139470 HAS SOUPS 137611 WITH SCORE 137809.385
AT ITER 428 NEW BEST:: SOT 320460 SOS 198359 HAS SOPS 179715 HAS SOUS 139155 HAS SOUPS 137296 WITH SCORE 137494.359
AT ITER 431 NEW BEST:: SOT 320460 SOS 198353 HAS SOPS 179721 HAS SOUS 139155 HAS SOUPS 137296 WITH SCORE 137494.353
AT ITER 433 NEW BEST:: SOT 320459 SOS 198352 HAS SOPS 179720 HAS SOUS 139154 HAS SOUPS 137295 WITH SCORE 137493.352
AT ITER 434 NEW BEST:: SOT 320459 SOS 198236 HAS SOPS 179547 HAS SOUS 139154 HAS SOUPS 137295 WITH SCORE 137493.236
AT ITER 436 NEW BEST:: SOT 320345 SOS 197979 HAS SOPS 179290 HAS SOUS 138844 HAS SOUPS 136985 WITH SCORE 137182.979
AT ITER 437 NEW BEST:: SOT 320035 SOS 197737 HAS SOPS 179231 HAS SOUS 138758 HAS SOUPS 136899 WITH SCORE 137096.737
AT ITER 439 NEW BEST:: SOT 319850 SOS 197552 HAS SOPS 178900 HAS SOUS 138506 HAS SOUPS 136647 WITH SCORE 136844.552
AT ITER 441 NEW BEST:: SOT 319710 SOS 197216 HAS SOPS 178499 HAS SOUS 138263 HAS SOUPS 136404 WITH SCORE 136601.216
AT ITER 442 NEW BEST:: SOT 319681 SOS 197187 HAS SOPS 178470 HAS SOUS 138263 HAS SOUPS 136404 WITH SCORE 136601.187
AT ITER 443 NEW BEST:: SOT 319681 SOS 197106 HAS SOPS 178378 HAS SOUS 138081 HAS SOUPS 136222 WITH SCORE 136419.106
AT ITER 447 NEW BEST:: SOT 319337 SOS 197364 HAS SOPS 178598 HAS SOUS 137883 HAS SOUPS 136024 WITH SCORE 136221.364
AT ITER 449 NEW BEST:: SOT 319310 SOS 197587 HAS SOPS 178729 HAS SOUS 137828 HAS SOUPS 135969 WITH SCORE 136166.587
AT ITER 450 NEW BEST:: SOT 318926 SOS 197134 HAS SOPS 178345 HAS SOUS 137469 HAS SOUPS 135610 WITH SCORE 135807.134
AT ITER 452 NEW BEST:: SOT 319119 SOS 197224 HAS SOPS 178435 HAS SOUS 137353 HAS SOUPS 135494 WITH SCORE 135691.224
AT ITER 456 NEW BEST:: SOT 318327 SOS 196432 HAS SOPS 177643 HAS SOUS 136439 HAS SOUPS 134580 WITH SCORE 134776.432
AT ITER 457 NEW BEST:: SOT 318327 SOS 196424 HAS SOPS 177635 HAS SOUS 136431 HAS SOUPS 134572 WITH SCORE 134768.424
AT ITER 458 NEW BEST:: SOT 318221 SOS 196294 HAS SOPS 177563 HAS SOUS 136342 HAS SOUPS 134483 WITH SCORE 134679.294
AT ITER 459 NEW BEST:: SOT 316920 SOS 196027 HAS SOPS 176466 HAS SOUS 135300 HAS SOUPS 133390 WITH SCORE 133586.027
AT ITER 461 NEW BEST:: SOT 316496 SOS 195309 HAS SOPS 175728 HAS SOUS 134602 HAS SOUPS 132692 WITH SCORE 132887.309
AT ITER 462 NEW BEST:: SOT 316496 SOS 195268 HAS SOPS 175728 HAS SOUS 134602 HAS SOUPS 132692 WITH SCORE 132887.268
AT ITER 463 NEW BEST:: SOT 316352 SOS 195110 HAS SOPS 175712 HAS SOUS 134531 HAS SOUPS 132638 WITH SCORE 132833.11
AT ITER 470 NEW BEST:: SOT 315710 SOS 194478 HAS SOPS 175080 HAS SOUS 133901 HAS SOUPS 132008 WITH SCORE 132202.478
AT ITER 472 NEW BEST:: SOT 315640 SOS 194408 HAS SOPS 175080 HAS SOUS 133871 HAS SOUPS 131978 WITH SCORE 132172.408
AT ITER 481 NEW BEST:: SOT 315508 SOS 194261 HAS SOPS 174882 HAS SOUS 133651 HAS SOUPS 131758 WITH SCORE 131952.261
AT ITER 482 NEW BEST:: SOT 307851 SOS 191720 HAS SOPS 168638 HAS SOUS 127963 HAS SOUPS 125832 WITH SCORE 126023.72
AT ITER 485 NEW BEST:: SOT 307970 SOS 190817 HAS SOPS 167747 HAS SOUS 127920 HAS SOUPS 125789 WITH SCORE 125979.817
AT ITER 488 NEW BEST:: SOT 306552 SOS 189614 HAS SOPS 166638 HAS SOUS 126342 HAS SOUPS 124211 WITH SCORE 124400.614
AT ITER 489 NEW BEST:: SOT 306552 SOS 189618 HAS SOPS 166642 HAS SOUS 126330 HAS SOUPS 124199 WITH SCORE 124388.618
AT ITER 490 NEW BEST:: SOT 306605 SOS 189504 HAS SOPS 166385 HAS SOUS 126232 HAS SOUPS 124101 WITH SCORE 124290.504
AT ITER 492 NEW BEST:: SOT 306543 SOS 189584 HAS SOPS 166462 HAS SOUS 126163 HAS SOUPS 124032 WITH SCORE 124221.584
AT ITER 497 NEW BEST:: SOT 300318 SOS 187958 HAS SOPS 161005 HAS SOUS 121462 HAS SOUPS 119139 WITH SCORE 119326.958
AT ITER 509 NEW BEST:: SOT 300318 SOS 187923 HAS SOPS 160970 HAS SOUS 121462 HAS SOUPS 119139 WITH SCORE 119326.923
AT ITER 513 NEW BEST:: SOT 299623 SOS 190089 HAS SOPS 161146 HAS SOUS 121194 HAS SOUPS 118813 WITH SCORE 119003.089
AT ITER 514 NEW BEST:: SOT 299672 SOS 189567 HAS SOPS 160624 HAS SOUS 121177 HAS SOUPS 118796 WITH SCORE 118985.567
AT ITER 515 NEW BEST:: SOT 299616 SOS 189484 HAS SOPS 160471 HAS SOUS 121062 HAS SOUPS 118671 WITH SCORE 118860.484
AT ITER 516 NEW BEST:: SOT 299458 SOS 189235 HAS SOPS 160159 HAS SOUS 120614 HAS SOUPS 118223 WITH SCORE 118412.235
AT ITER 521 NEW BEST:: SOT 299344 SOS 189121 HAS SOPS 160144 HAS SOUS 120593 HAS SOUPS 118213 WITH SCORE 118402.121
AT ITER 522 NEW BEST:: SOT 298917 SOS 188916 HAS SOPS 160496 HAS SOUS 120408 HAS SOUPS 118028 WITH SCORE 118216.916
AT ITER 523 NEW BEST:: SOT 298917 SOS 188912 HAS SOPS 160467 HAS SOUS 120408 HAS SOUPS 118028 WITH SCORE 118216.912
AT ITER 525 NEW BEST:: SOT 298323 SOS 188318 HAS SOPS 159873 HAS SOUS 119715 HAS SOUPS 117335 WITH SCORE 117523.318
AT ITER 526 NEW BEST:: SOT 298252 SOS 188268 HAS SOPS 159870 HAS SOUS 119682 HAS SOUPS 117302 WITH SCORE 117490.268
AT ITER 533 NEW BEST:: SOT 297842 SOS 187858 HAS SOPS 159255 HAS SOUS 118862 HAS SOUPS 116482 WITH SCORE 116669.858
AT ITER 536 NEW BEST:: SOT 297760 SOS 187776 HAS SOPS 159132 HAS SOUS 118785 HAS SOUPS 116405 WITH SCORE 116592.776
AT ITER 537 NEW BEST:: SOT 297844 SOS 187239 HAS SOPS 158642 HAS SOUS 118743 HAS SOUPS 116363 WITH SCORE 116550.239
AT ITER 538 NEW BEST:: SOT 297184 SOS 186579 HAS SOPS 157982 HAS SOUS 118083 HAS SOUPS 115703 WITH SCORE 115889.579
AT ITER 540 NEW BEST:: SOT 297355 SOS 185919 HAS SOPS 157411 HAS SOUS 117986 HAS SOUPS 115606 WITH SCORE 115791.919
AT ITER 541 NEW BEST:: SOT 297511 SOS 186065 HAS SOPS 157336 HAS SOUS 117778 HAS SOUPS 115398 WITH SCORE 115584.065
AT ITER 544 NEW BEST:: SOT 297481 SOS 186035 HAS SOPS 157253 HAS SOUS 117718 HAS SOUPS 115338 WITH SCORE 115524.035
AT ITER 551 NEW BEST:: SOT 297409 SOS 185963 HAS SOPS 157234 HAS SOUS 117700 HAS SOUPS 115330 WITH SCORE 115515.963
AT ITER 556 NEW BEST:: SOT 297395 SOS 185942 HAS SOPS 157213 HAS SOUS 117686 HAS SOUPS 115316 WITH SCORE 115501.942
AT ITER 557 NEW BEST:: SOT 297395 SOS 185902 HAS SOPS 157173 HAS SOUS 117682 HAS SOUPS 115312 WITH SCORE 115497.902
AT ITER 560 NEW BEST:: SOT 297214 SOS 186052 HAS SOPS 157234 HAS SOUS 117449 HAS SOUPS 115079 WITH SCORE 115265.052
AT ITER 561 NEW BEST:: SOT 297034 SOS 185872 HAS SOPS 156964 HAS SOUS 117179 HAS SOUPS 114809 WITH SCORE 114994.872
AT ITER 566 NEW BEST:: SOT 297012 SOS 185850 HAS SOPS 156942 HAS SOUS 117157 HAS SOUPS 114787 WITH SCORE 114972.85
AT ITER 576 NEW BEST:: SOT 296992 SOS 185799 HAS SOPS 156882 HAS SOUS 117139 HAS SOUPS 114769 WITH SCORE 114954.799
AT ITER 579 NEW BEST:: SOT 296680 SOS 185487 HAS SOPS 156531 HAS SOUS 116788 HAS SOUPS 114418 WITH SCORE 114603.487
AT ITER 583 NEW BEST:: SOT 296668 SOS 185475 HAS SOPS 156519 HAS SOUS 116738 HAS SOUPS 114368 WITH SCORE 114553.475
AT ITER 586 NEW BEST:: SOT 295678 SOS 184978 HAS SOPS 156083 HAS SOUS 116023 HAS SOUPS 113653 WITH SCORE 113837.978
AT ITER 587 NEW BEST:: SOT 295678 SOS 184970 HAS SOPS 156075 HAS SOUS 116023 HAS SOUPS 113653 WITH SCORE 113837.97
AT ITER 592 NEW BEST:: SOT 295678 SOS 184631 HAS SOPS 155736 HAS SOUS 115940 HAS SOUPS 113570 WITH SCORE 113754.631
AT ITER 594 NEW BEST:: SOT 295490 SOS 184443 HAS SOPS 155424 HAS SOUS 115628 HAS SOUPS 113258 WITH SCORE 113442.443
AT ITER 596 NEW BEST:: SOT 295581 SOS 183841 HAS SOPS 154822 HAS SOUS 115575 HAS SOUPS 113205 WITH SCORE 113388.841
AT ITER 602 NEW BEST:: SOT 295637 SOS 183951 HAS SOPS 154932 HAS SOUS 115574 HAS SOUPS 113204 WITH SCORE 113387.951
AT ITER 605 NEW BEST:: SOT 291795 SOS 183227 HAS SOPS 152416 HAS SOUS 112679 HAS SOUPS 110179 WITH SCORE 110362.227
AT ITER 612 NEW BEST:: SOT 292225 SOS 183386 HAS SOPS 151879 HAS SOUS 112477 HAS SOUPS 109977 WITH SCORE 110160.386
AT ITER 614 NEW BEST:: SOT 292023 SOS 183184 HAS SOPS 151576 HAS SOUS 112196 HAS SOUPS 109696 WITH SCORE 109879.184
AT ITER 617 NEW BEST:: SOT 291879 SOS 183040 HAS SOPS 151288 HAS SOUS 111952 HAS SOUPS 109452 WITH SCORE 109635.04
AT ITER 622 NEW BEST:: SOT 291819 SOS 182980 HAS SOPS 151089 HAS SOUS 111820 HAS SOUPS 109320 WITH SCORE 109502.98
AT ITER 627 NEW BEST:: SOT 291523 SOS 182684 HAS SOPS 150645 HAS SOUS 111483 HAS SOUPS 108983 WITH SCORE 109165.684
AT ITER 631 NEW BEST:: SOT 290985 SOS 182146 HAS SOPS 150115 HAS SOUS 110947 HAS SOUPS 108447 WITH SCORE 108629.146
AT ITER 633 NEW BEST:: SOT 290395 SOS 181566 HAS SOPS 149573 HAS SOUS 110331 HAS SOUPS 107864 WITH SCORE 108045.566
AT ITER 634 NEW BEST:: SOT 290177 SOS 181434 HAS SOPS 148955 HAS SOUS 109942 HAS SOUPS 107475 WITH SCORE 107656.434
AT ITER 636 NEW BEST:: SOT 289961 SOS 181218 HAS SOPS 148827 HAS SOUS 109751 HAS SOUPS 107284 WITH SCORE 107465.218
AT ITER 637 NEW BEST:: SOT 289425 SOS 180682 HAS SOPS 148461 HAS SOUS 109423 HAS SOUPS 106970 WITH SCORE 107150.682
AT ITER 641 NEW BEST:: SOT 289083 SOS 180283 HAS SOPS 148119 HAS SOUS 109081 HAS SOUPS 106628 WITH SCORE 106808.283
AT ITER 652 NEW BEST:: SOT 288345 SOS 179439 HAS SOPS 147357 HAS SOUS 108293 HAS SOUPS 105840 WITH SCORE 106019.439
AT ITER 657 NEW BEST:: SOT 287376 SOS 178650 HAS SOPS 146883 HAS SOUS 107830 HAS SOUPS 105377 WITH SCORE 105555.65
AT ITER 660 NEW BEST:: SOT 286831 SOS 178466 HAS SOPS 146545 HAS SOUS 107320 HAS SOUPS 104867 WITH SCORE 105045.466
AT ITER 665 NEW BEST:: SOT 286501 SOS 177401 HAS SOPS 145480 HAS SOUS 106975 HAS SOUPS 104522 WITH SCORE 104699.401
AT ITER 669 NEW BEST:: SOT 285835 SOS 176735 HAS SOPS 144814 HAS SOUS 106309 HAS SOUPS 103856 WITH SCORE 104032.735
AT ITER 672 NEW BEST:: SOT 285757 SOS 176657 HAS SOPS 144697 HAS SOUS 106200 HAS SOUPS 103747 WITH SCORE 103923.657
AT ITER 673 NEW BEST:: SOT 285645 SOS 176545 HAS SOPS 144529 HAS SOUS 106024 HAS SOUPS 103571 WITH SCORE 103747.545
AT ITER 674 NEW BEST:: SOT 285645 SOS 175834 HAS SOPS 143818 HAS SOUS 106024 HAS SOUPS 103571 WITH SCORE 103746.834
AT ITER 675 NEW BEST:: SOT 285645 SOS 175834 HAS SOPS 143818 HAS SOUS 105996 HAS SOUPS 103543 WITH SCORE 103718.834
AT ITER 686 NEW BEST:: SOT 285641 SOS 175830 HAS SOPS 143814 HAS SOUS 105992 HAS SOUPS 103539 WITH SCORE 103714.83
AT ITER 688 NEW BEST:: SOT 285622 SOS 175789 HAS SOPS 143776 HAS SOUS 105954 HAS SOUPS 103501 WITH SCORE 103676.789
AT ITER 690 NEW BEST:: SOT 285372 SOS 175539 HAS SOPS 143401 HAS SOUS 105604 HAS SOUPS 103136 WITH SCORE 103311.539
AT ITER 692 NEW BEST:: SOT 284804 SOS 174971 HAS SOPS 142892 HAS SOUS 105154 HAS SOUPS 102686 WITH SCORE 102860.971
AT ITER 694 NEW BEST:: SOT 284794 SOS 174961 HAS SOPS 142877 HAS SOUS 105144 HAS SOUPS 102671 WITH SCORE 102845.961
AT ITER 698 NEW BEST:: SOT 284794 SOS 174736 HAS SOPS 142697 HAS SOUS 105099 HAS SOUPS 102626 WITH SCORE 102800.736
AT ITER 704 NEW BEST:: SOT 284798 SOS 173591 HAS SOPS 141552 HAS SOUS 104887 HAS SOUPS 102414 WITH SCORE 102587.591
AT ITER 705 NEW BEST:: SOT 283980 SOS 172752 HAS SOPS 141302 HAS SOUS 104652 HAS SOUPS 102179 WITH SCORE 102351.752
AT ITER 706 NEW BEST:: SOT 283540 SOS 172312 HAS SOPS 140955 HAS SOUS 104283 HAS SOUPS 101810 WITH SCORE 101982.312
AT ITER 728 NEW BEST:: SOT 283417 SOS 171969 HAS SOPS 140612 HAS SOUS 104160 HAS SOUPS 101687 WITH SCORE 101858.969
AT ITER 733 NEW BEST:: SOT 283043 SOS 171803 HAS SOPS 140426 HAS SOUS 104020 HAS SOUPS 101547 WITH SCORE 101718.803
AT ITER 734 NEW BEST:: SOT 282787 SOS 171547 HAS SOPS 140279 HAS SOUS 103901 HAS SOUPS 101455 WITH SCORE 101626.547
AT ITER 735 NEW BEST:: SOT 282765 SOS 171464 HAS SOPS 140239 HAS SOUS 103861 HAS SOUPS 101415 WITH SCORE 101586.464
AT ITER 736 NEW BEST:: SOT 281820 SOS 170790 HAS SOPS 140438 HAS SOUS 103436 HAS SOUPS 101046 WITH SCORE 101216.79
AT ITER 745 NEW BEST:: SOT 281653 SOS 170730 HAS SOPS 140247 HAS SOUS 103132 HAS SOUPS 100742 WITH SCORE 100912.73
AT ITER 746 NEW BEST:: SOT 281632 SOS 169641 HAS SOPS 139167 HAS SOUS 103064 HAS SOUPS 100674 WITH SCORE 100843.641
AT ITER 751 NEW BEST:: SOT 281232 SOS 169293 HAS SOPS 139044 HAS SOUS 102865 HAS SOUPS 100493 WITH SCORE 100662.293
AT ITER 752 NEW BEST:: SOT 280236 SOS 173416 HAS SOPS 139233 HAS SOUS 102659 HAS SOUPS 100191 WITH SCORE 100364.416
AT ITER 754 NEW BEST:: SOT 280232 SOS 173498 HAS SOPS 139283 HAS SOUS 102655 HAS SOUPS 100187 WITH SCORE 100360.498
AT ITER 755 NEW BEST:: SOT 280022 SOS 173288 HAS SOPS 138965 HAS SOUS 102358 HAS SOUPS 99890 WITH SCORE 100063.288
AT ITER 769 NEW BEST:: SOT 279093 SOS 172382 HAS SOPS 138046 HAS SOUS 101403 HAS SOUPS 98935 WITH SCORE 99107.382
AT ITER 777 NEW BEST:: SOT 279101 SOS 172390 HAS SOPS 138058 HAS SOUS 101308 HAS SOUPS 98840 WITH SCORE 99012.39
AT ITER 781 NEW BEST:: SOT 279101 SOS 172252 HAS SOPS 137942 HAS SOUS 101308 HAS SOUPS 98840 WITH SCORE 99012.252
AT ITER 783 NEW BEST:: SOT 279059 SOS 172067 HAS SOPS 137735 HAS SOUS 101173 HAS SOUPS 98705 WITH SCORE 98877.067
AT ITER 795 NEW BEST:: SOT 278863 SOS 171871 HAS SOPS 137441 HAS SOUS 100876 HAS SOUPS 98389 WITH SCORE 98560.871
AT ITER 796 NEW BEST:: SOT 278347 SOS 171355 HAS SOPS 137307 HAS SOUS 100590 HAS SOUPS 98196 WITH SCORE 98367.355
AT ITER 799 NEW BEST:: SOT 278179 SOS 171187 HAS SOPS 136929 HAS SOUS 100361 HAS SOUPS 97938 WITH SCORE 98109.187
AT ITER 800 NEW BEST:: SOT 278109 SOS 171104 HAS SOPS 136796 HAS SOUS 100271 HAS SOUPS 97848 WITH SCORE 98019.104
AT ITER 801 NEW BEST:: SOT 278024 SOS 170885 HAS SOPS 136573 HAS SOUS 100150 HAS SOUPS 97727 WITH SCORE 97897.885
AT ITER 805 NEW BEST:: SOT 277669 SOS 170366 HAS SOPS 136054 HAS SOUS 99894 HAS SOUPS 97471 WITH SCORE 97641.366
AT ITER 807 NEW BEST:: SOT 277644 SOS 170335 HAS SOPS 136012 HAS SOUS 99875 HAS SOUPS 97452 WITH SCORE 97622.335
AT ITER 810 NEW BEST:: SOT 277644 SOS 170273 HAS SOPS 136086 HAS SOUS 99875 HAS SOUPS 97452 WITH SCORE 97622.273
AT ITER 812 NEW BEST:: SOT 277250 SOS 169575 HAS SOPS 135375 HAS SOUS 99255 HAS SOUPS 96832 WITH SCORE 97001.575
AT ITER 814 NEW BEST:: SOT 277250 SOS 169563 HAS SOPS 135363 HAS SOUS 99255 HAS SOUPS 96832 WITH SCORE 97001.563
AT ITER 821 NEW BEST:: SOT 277271 SOS 169449 HAS SOPS 135228 HAS SOUS 99172 HAS SOUPS 96749 WITH SCORE 96918.449
AT ITER 829 NEW BEST:: SOT 277081 SOS 169227 HAS SOPS 135188 HAS SOUS 98887 HAS SOUPS 96464 WITH SCORE 96633.227
AT ITER 832 NEW BEST:: SOT 277129 SOS 169028 HAS SOPS 134961 HAS SOUS 98870 HAS SOUPS 96447 WITH SCORE 96616.028
AT ITER 837 NEW BEST:: SOT 277069 SOS 168993 HAS SOPS 134871 HAS SOUS 98744 HAS SOUPS 96321 WITH SCORE 96489.993
AT ITER 843 NEW BEST:: SOT 277135 SOS 169073 HAS SOPS 134951 HAS SOUS 98712 HAS SOUPS 96289 WITH SCORE 96458.073
AT ITER 845 NEW BEST:: SOT 277135 SOS 168917 HAS SOPS 134951 HAS SOUS 98712 HAS SOUPS 96289 WITH SCORE 96457.917
AT ITER 852 NEW BEST:: SOT 276737 SOS 168519 HAS SOPS 134741 HAS SOUS 98391 HAS SOUPS 95968 WITH SCORE 96136.519
AT ITER 853 NEW BEST:: SOT 276779 SOS 168561 HAS SOPS 134814 HAS SOUS 98328 HAS SOUPS 95905 WITH SCORE 96073.561
AT ITER 860 NEW BEST:: SOT 276653 SOS 168435 HAS SOPS 134776 HAS SOUS 98313 HAS SOUPS 95890 WITH SCORE 96058.435
AT ITER 862 NEW BEST:: SOT 276641 SOS 168339 HAS SOPS 134939 HAS SOUS 98289 HAS SOUPS 95866 WITH SCORE 96034.339
AT ITER 865 NEW BEST:: SOT 276625 SOS 168453 HAS SOPS 134924 HAS SOUS 98270 HAS SOUPS 95847 WITH SCORE 96015.453
AT ITER 874 NEW BEST:: SOT 276369 SOS 168197 HAS SOPS 134540 HAS SOUS 97769 HAS SOUPS 95346 WITH SCORE 95514.197
AT ITER 875 NEW BEST:: SOT 276355 SOS 168183 HAS SOPS 134519 HAS SOUS 97748 HAS SOUPS 95325 WITH SCORE 95493.183
AT ITER 876 NEW BEST:: SOT 276197 SOS 168025 HAS SOPS 134519 HAS SOUS 97748 HAS SOUPS 95325 WITH SCORE 95493.025
AT ITER 877 NEW BEST:: SOT 276145 SOS 167973 HAS SOPS 134415 HAS SOUS 97711 HAS SOUPS 95281 WITH SCORE 95448.973
AT ITER 881 NEW BEST:: SOT 273563 SOS 171504 HAS SOPS 132554 HAS SOUS 96365 HAS SOUPS 93760 WITH SCORE 93931.504
AT ITER 885 NEW BEST:: SOT 273557 SOS 171498 HAS SOPS 132554 HAS SOUS 96365 HAS SOUPS 93760 WITH SCORE 93931.498
AT ITER 888 NEW BEST:: SOT 273557 SOS 171527 HAS SOPS 132579 HAS SOUS 96321 HAS SOUPS 93716 WITH SCORE 93887.527
AT ITER 889 NEW BEST:: SOT 273479 SOS 171449 HAS SOPS 132462 HAS SOUS 96234 HAS SOUPS 93629 WITH SCORE 93800.449
AT ITER 890 NEW BEST:: SOT 273455 SOS 171425 HAS SOPS 132414 HAS SOUS 96170 HAS SOUPS 93565 WITH SCORE 93736.425
AT ITER 897 NEW BEST:: SOT 268576 SOS 167633 HAS SOPS 127946 HAS SOUS 91779 HAS SOUPS 89078 WITH SCORE 89245.633
AT ITER 899 NEW BEST:: SOT 268329 SOS 167317 HAS SOPS 127813 HAS SOUS 91656 HAS SOUPS 88955 WITH SCORE 89122.317
AT ITER 906 NEW BEST:: SOT 268329 SOS 167317 HAS SOPS 127813 HAS SOUS 91640 HAS SOUPS 88939 WITH SCORE 89106.317
AT ITER 911 NEW BEST:: SOT 268138 SOS 167005 HAS SOPS 127670 HAS SOUS 91198 HAS SOUPS 88497 WITH SCORE 88664.005
AT ITER 912 NEW BEST:: SOT 267365 SOS 166972 HAS SOPS 127978 HAS SOUS 90787 HAS SOUPS 88086 WITH SCORE 88252.972
AT ITER 922 NEW BEST:: SOT 267365 SOS 166863 HAS SOPS 127917 HAS SOUS 90787 HAS SOUPS 88086 WITH SCORE 88252.863
AT ITER 928 NEW BEST:: SOT 267287 SOS 166817 HAS SOPS 127848 HAS SOUS 90670 HAS SOUPS 87969 WITH SCORE 88135.817
AT ITER 930 NEW BEST:: SOT 267291 SOS 166703 HAS SOPS 127652 HAS SOUS 90530 HAS SOUPS 87829 WITH SCORE 87995.703
AT ITER 937 NEW BEST:: SOT 267269 SOS 166578 HAS SOPS 127568 HAS SOUS 90497 HAS SOUPS 87796 WITH SCORE 87962.578
AT ITER 940 NEW BEST:: SOT 267306 SOS 166611 HAS SOPS 127601 HAS SOUS 90467 HAS SOUPS 87766 WITH SCORE 87932.611
AT ITER 941 NEW BEST:: SOT 267205 SOS 166406 HAS SOPS 127387 HAS SOUS 90312 HAS SOUPS 87611 WITH SCORE 87777.406
AT ITER 945 NEW BEST:: SOT 267141 SOS 166369 HAS SOPS 127689 HAS SOUS 90164 HAS SOUPS 87463 WITH SCORE 87629.369
AT ITER 951 NEW BEST:: SOT 267119 SOS 166347 HAS SOPS 127656 HAS SOUS 90137 HAS SOUPS 87436 WITH SCORE 87602.347
AT ITER 952 NEW BEST:: SOT 266986 SOS 166190 HAS SOPS 127406 HAS SOUS 89887 HAS SOUPS 87186 WITH SCORE 87352.19
AT ITER 955 NEW BEST:: SOT 266937 SOS 166150 HAS SOPS 127303 HAS SOUS 89860 HAS SOUPS 87159 WITH SCORE 87325.15
AT ITER 958 NEW BEST:: SOT 266937 SOS 166150 HAS SOPS 127303 HAS SOUS 89853 HAS SOUPS 87152 WITH SCORE 87318.15
AT ITER 959 NEW BEST:: SOT 266893 SOS 166106 HAS SOPS 127215 HAS SOUS 89772 HAS SOUPS 87071 WITH SCORE 87237.106
AT ITER 961 NEW BEST:: SOT 266893 SOS 166106 HAS SOPS 127215 HAS SOUS 89761 HAS SOUPS 87060 WITH SCORE 87226.106
AT ITER 962 NEW BEST:: SOT 266816 SOS 166064 HAS SOPS 127288 HAS SOUS 89684 HAS SOUPS 86983 WITH SCORE 87149.064
AT ITER 963 NEW BEST:: SOT 266598 SOS 165846 HAS SOPS 127032 HAS SOUS 89426 HAS SOUPS 86727 WITH SCORE 86892.846
AT ITER 971 NEW BEST:: SOT 266598 SOS 165846 HAS SOPS 127032 HAS SOUS 89357 HAS SOUPS 86658 WITH SCORE 86823.846
AT ITER 977 NEW BEST:: SOT 266598 SOS 165846 HAS SOPS 127032 HAS SOUS 89334 HAS SOUPS 86635 WITH SCORE 86800.846
AT ITER 979 NEW BEST:: SOT 265300 SOS 169451 HAS SOPS 126626 HAS SOUS 88927 HAS SOUPS 86122 WITH SCORE 86291.451
AT ITER 982 NEW BEST:: SOT 265300 SOS 169304 HAS SOPS 126489 HAS SOUS 88927 HAS SOUPS 86122 WITH SCORE 86291.304
AT ITER 990 NEW BEST:: SOT 265252 SOS 169230 HAS SOPS 126417 HAS SOUS 88820 HAS SOUPS 86015 WITH SCORE 86184.23
AT ITER 1000 NEW BEST:: SOT 265290 SOS 168684 HAS SOPS 125844 HAS SOUS 88494 HAS SOUPS 85689 WITH SCORE 85857.684
AT ITER 1011 NEW BEST:: SOT 265290 SOS 168684 HAS SOPS 125813 HAS SOUS 88469 HAS SOUPS 85664 WITH SCORE 85832.684
AT ITER 1012 NEW BEST:: SOT 265212 SOS 168606 HAS SOPS 125696 HAS SOUS 88335 HAS SOUPS 85530 WITH SCORE 85698.606
AT ITER 1015 NEW BEST:: SOT 265029 SOS 168447 HAS SOPS 125469 HAS SOUS 88074 HAS SOUPS 85269 WITH SCORE 85437.447
AT ITER 1025 NEW BEST:: SOT 265005 SOS 168423 HAS SOPS 125534 HAS SOUS 88038 HAS SOUPS 85233 WITH SCORE 85401.423
AT ITER 1028 NEW BEST:: SOT 265001 SOS 168419 HAS SOPS 125528 HAS SOUS 88021 HAS SOUPS 85216 WITH SCORE 85384.419
AT ITER 1029 NEW BEST:: SOT 264911 SOS 168059 HAS SOPS 125168 HAS SOUS 87762 HAS SOUPS 84957 WITH SCORE 85125.059
AT ITER 1033 NEW BEST:: SOT 264716 SOS 167893 HAS SOPS 124929 HAS SOUS 87539 HAS SOUPS 84734 WITH SCORE 84901.893
AT ITER 1035 NEW BEST:: SOT 264431 SOS 166976 HAS SOPS 124107 HAS SOUS 87254 HAS SOUPS 84449 WITH SCORE 84615.976
AT ITER 1036 NEW BEST:: SOT 264395 SOS 166940 HAS SOPS 124053 HAS SOUS 87200 HAS SOUPS 84395 WITH SCORE 84561.94
AT ITER 1039 NEW BEST:: SOT 264395 SOS 166870 HAS SOPS 123983 HAS SOUS 87192 HAS SOUPS 84387 WITH SCORE 84553.87
AT ITER 1041 NEW BEST:: SOT 260369 SOS 168115 HAS SOPS 122781 HAS SOUS 84615 HAS SOUPS 81652 WITH SCORE 81820.115
AT ITER 1045 NEW BEST:: SOT 260364 SOS 168097 HAS SOPS 122766 HAS SOUS 84610 HAS SOUPS 81647 WITH SCORE 81815.097
AT ITER 1050 NEW BEST:: SOT 260321 SOS 168054 HAS SOPS 122723 HAS SOUS 84567 HAS SOUPS 81604 WITH SCORE 81772.054
AT ITER 1051 NEW BEST:: SOT 260219 SOS 167994 HAS SOPS 122451 HAS SOUS 84413 HAS SOUPS 81450 WITH SCORE 81617.994
AT ITER 1052 NEW BEST:: SOT 260219 SOS 167988 HAS SOPS 122451 HAS SOUS 84413 HAS SOUPS 81450 WITH SCORE 81617.988
AT ITER 1053 NEW BEST:: SOT 259929 SOS 167537 HAS SOPS 122000 HAS SOUS 84070 HAS SOUPS 81107 WITH SCORE 81274.537
AT ITER 1066 NEW BEST:: SOT 259929 SOS 167490 HAS SOPS 121953 HAS SOUS 84070 HAS SOUPS 81107 WITH SCORE 81274.49
AT ITER 1077 NEW BEST:: SOT 259929 SOS 167490 HAS SOPS 121953 HAS SOUS 83880 HAS SOUPS 80917 WITH SCORE 81084.49
AT ITER 1083 NEW BEST:: SOT 258327 SOS 170978 HAS SOPS 120669 HAS SOUS 82757 HAS SOUPS 79676 WITH SCORE 79846.978
AT ITER 1089 NEW BEST:: SOT 258327 SOS 170900 HAS SOPS 120584 HAS SOUS 82757 HAS SOUPS 79676 WITH SCORE 79846.9
AT ITER 1105 NEW BEST:: SOT 258257 SOS 170787 HAS SOPS 120428 HAS SOUS 82664 HAS SOUPS 79583 WITH SCORE 79753.787
AT ITER 1108 NEW BEST:: SOT 258206 SOS 170736 HAS SOPS 120377 HAS SOUS 82528 HAS SOUPS 79447 WITH SCORE 79617.736
AT ITER 1110 NEW BEST:: SOT 258156 SOS 170663 HAS SOPS 120208 HAS SOUS 82428 HAS SOUPS 79347 WITH SCORE 79517.663
AT ITER 1113 NEW BEST:: SOT 257710 SOS 170087 HAS SOPS 119524 HAS SOUS 81729 HAS SOUPS 78648 WITH SCORE 78818.087
AT ITER 1126 NEW BEST:: SOT 257698 SOS 170075 HAS SOPS 119506 HAS SOUS 81705 HAS SOUPS 78624 WITH SCORE 78794.075
AT ITER 1129 NEW BEST:: SOT 257591 SOS 169968 HAS SOPS 119399 HAS SOUS 81685 HAS SOUPS 78604 WITH SCORE 78773.968
AT ITER 1130 NEW BEST:: SOT 257597 SOS 169974 HAS SOPS 119408 HAS SOUS 81621 HAS SOUPS 78540 WITH SCORE 78709.974
AT ITER 1131 NEW BEST:: SOT 257397 SOS 169820 HAS SOPS 119403 HAS SOUS 81421 HAS SOUPS 78340 WITH SCORE 78509.82
AT ITER 1133 NEW BEST:: SOT 257137 SOS 169560 HAS SOPS 119013 HAS SOUS 80927 HAS SOUPS 77846 WITH SCORE 78015.56
AT ITER 1135 NEW BEST:: SOT 257137 SOS 169471 HAS SOPS 119013 HAS SOUS 80927 HAS SOUPS 77846 WITH SCORE 78015.471
AT ITER 1136 NEW BEST:: SOT 257137 SOS 169455 HAS SOPS 118961 HAS SOUS 80927 HAS SOUPS 77846 WITH SCORE 78015.455
AT ITER 1145 NEW BEST:: SOT 257137 SOS 169455 HAS SOPS 118961 HAS SOUS 80905 HAS SOUPS 77824 WITH SCORE 77993.455
AT ITER 1151 NEW BEST:: SOT 257137 SOS 169391 HAS SOPS 118897 HAS SOUS 80873 HAS SOUPS 77792 WITH SCORE 77961.391
AT ITER 1153 NEW BEST:: SOT 257053 SOS 169307 HAS SOPS 118691 HAS SOUS 80705 HAS SOUPS 77624 WITH SCORE 77793.307
AT ITER 1158 NEW BEST:: SOT 256983 SOS 169251 HAS SOPS 118731 HAS SOUS 80687 HAS SOUPS 77606 WITH SCORE 77775.251
AT ITER 1162 NEW BEST:: SOT 256961 SOS 169229 HAS SOPS 118698 HAS SOUS 80658 HAS SOUPS 77577 WITH SCORE 77746.229
AT ITER 1166 NEW BEST:: SOT 257053 SOS 169321 HAS SOPS 118620 HAS SOUS 80554 HAS SOUPS 77469 WITH SCORE 77638.321
AT ITER 1171 NEW BEST:: SOT 257123 SOS 169480 HAS SOPS 118811 HAS SOUS 80524 HAS SOUPS 77439 WITH SCORE 77608.48
AT ITER 1176 NEW BEST:: SOT 257068 SOS 169477 HAS SOPS 118874 HAS SOUS 80155 HAS SOUPS 77070 WITH SCORE 77239.477
AT ITER 1179 NEW BEST:: SOT 256884 SOS 169293 HAS SOPS 118818 HAS SOUS 80089 HAS SOUPS 77004 WITH SCORE 77173.293
AT ITER 1182 NEW BEST:: SOT 256588 SOS 169057 HAS SOPS 118086 HAS SOUS 79645 HAS SOUPS 76560 WITH SCORE 76729.057
AT ITER 1189 NEW BEST:: SOT 256580 SOS 169049 HAS SOPS 118074 HAS SOUS 79637 HAS SOUPS 76552 WITH SCORE 76721.049
AT ITER 1202 NEW BEST:: SOT 256568 SOS 169040 HAS SOPS 118062 HAS SOUS 79628 HAS SOUPS 76543 WITH SCORE 76712.04
AT ITER 1224 NEW BEST:: SOT 256458 SOS 168930 HAS SOPS 117906 HAS SOUS 79500 HAS SOUPS 76415 WITH SCORE 76583.93
AT ITER 1225 NEW BEST:: SOT 256634 SOS 169106 HAS SOPS 117806 HAS SOUS 79492 HAS SOUPS 76407 WITH SCORE 76576.106
AT ITER 1237 NEW BEST:: SOT 256321 SOS 169279 HAS SOPS 117899 HAS SOUS 79289 HAS SOUPS 76204 WITH SCORE 76373.279
AT ITER 1243 NEW BEST:: SOT 255943 SOS 168901 HAS SOPS 117509 HAS SOUS 78887 HAS SOUPS 75802 WITH SCORE 75970.901
AT ITER 1256 NEW BEST:: SOT 255945 SOS 168903 HAS SOPS 117498 HAS SOUS 78876 HAS SOUPS 75791 WITH SCORE 75959.903
AT ITER 1258 NEW BEST:: SOT 253562 SOS 170981 HAS SOPS 116996 HAS SOUS 77315 HAS SOUPS 74124 WITH SCORE 74294.981
AT ITER 1259 NEW BEST:: SOT 253562 SOS 170962 HAS SOPS 116918 HAS SOUS 77315 HAS SOUPS 74124 WITH SCORE 74294.962
AT ITER 1263 NEW BEST:: SOT 253410 SOS 170810 HAS SOPS 116593 HAS SOUS 77090 HAS SOUPS 73899 WITH SCORE 74069.81
AT ITER 1274 NEW BEST:: SOT 253687 SOS 169655 HAS SOPS 115663 HAS SOUS 76912 HAS SOUPS 73721 WITH SCORE 73890.655
AT ITER 1275 NEW BEST:: SOT 253687 SOS 169655 HAS SOPS 115663 HAS SOUS 76906 HAS SOUPS 73715 WITH SCORE 73884.655
AT ITER 1277 NEW BEST:: SOT 253280 SOS 169148 HAS SOPS 114982 HAS SOUS 76381 HAS SOUPS 73190 WITH SCORE 73359.148
AT ITER 1284 NEW BEST:: SOT 253299 SOS 169051 HAS SOPS 114964 HAS SOUS 76284 HAS SOUPS 73093 WITH SCORE 73262.051
AT ITER 1290 NEW BEST:: SOT 252500 SOS 175188 HAS SOPS 117198 HAS SOUS 76204 HAS SOUPS 72895 WITH SCORE 73070.188
AT ITER 1297 NEW BEST:: SOT 252500 SOS 175178 HAS SOPS 117188 HAS SOUS 76204 HAS SOUPS 72895 WITH SCORE 73070.178
AT ITER 1299 NEW BEST:: SOT 252563 SOS 175241 HAS SOPS 117423 HAS SOUS 76190 HAS SOUPS 72881 WITH SCORE 73056.241
AT ITER 1300 NEW BEST:: SOT 252541 SOS 175185 HAS SOPS 117367 HAS SOUS 76094 HAS SOUPS 72785 WITH SCORE 72960.185
AT ITER 1301 NEW BEST:: SOT 252442 SOS 175355 HAS SOPS 117474 HAS SOUS 76080 HAS SOUPS 72771 WITH SCORE 72946.355
AT ITER 1303 NEW BEST:: SOT 252369 SOS 175311 HAS SOPS 117312 HAS SOUS 75918 HAS SOUPS 72609 WITH SCORE 72784.311
AT ITER 1314 NEW BEST:: SOT 251945 SOS 174887 HAS SOPS 117042 HAS SOUS 75743 HAS SOUPS 72434 WITH SCORE 72608.887
AT ITER 1328 NEW BEST:: SOT 251849 SOS 174791 HAS SOPS 116946 HAS SOUS 75647 HAS SOUPS 72338 WITH SCORE 72512.791
AT ITER 1332 NEW BEST:: SOT 251824 SOS 174733 HAS SOPS 116845 HAS SOUS 75597 HAS SOUPS 72288 WITH SCORE 72462.733
AT ITER 1347 NEW BEST:: SOT 251766 SOS 174675 HAS SOPS 116758 HAS SOUS 75481 HAS SOUPS 72172 WITH SCORE 72346.675
AT ITER 1350 NEW BEST:: SOT 251686 SOS 174593 HAS SOPS 116598 HAS SOUS 75339 HAS SOUPS 72030 WITH SCORE 72204.593
AT ITER 1354 NEW BEST:: SOT 251686 SOS 174549 HAS SOPS 116554 HAS SOUS 75339 HAS SOUPS 72030 WITH SCORE 72204.549
AT ITER 1358 NEW BEST:: SOT 251358 SOS 174221 HAS SOPS 116390 HAS SOUS 75084 HAS SOUPS 71775 WITH SCORE 71949.221
AT ITER 1361 NEW BEST:: SOT 251284 SOS 174147 HAS SOPS 116279 HAS SOUS 74973 HAS SOUPS 71664 WITH SCORE 71838.147
AT ITER 1366 NEW BEST:: SOT 250811 SOS 173674 HAS SOPS 116017 HAS SOUS 74694 HAS SOUPS 71385 WITH SCORE 71558.674
AT ITER 1368 NEW BEST:: SOT 250811 SOS 173674 HAS SOPS 115849 HAS SOUS 74610 HAS SOUPS 71301 WITH SCORE 71474.674
AT ITER 1372 NEW BEST:: SOT 250773 SOS 173636 HAS SOPS 115792 HAS SOUS 74552 HAS SOUPS 71243 WITH SCORE 71416.636
AT ITER 1381 NEW BEST:: SOT 250603 SOS 173574 HAS SOPS 115677 HAS SOUS 74417 HAS SOUPS 71103 WITH SCORE 71276.574
AT ITER 1384 NEW BEST:: SOT 250335 SOS 173306 HAS SOPS 115289 HAS SOUS 73981 HAS SOUPS 70667 WITH SCORE 70840.306
AT ITER 1385 NEW BEST:: SOT 250285 SOS 173256 HAS SOPS 115214 HAS SOUS 73951 HAS SOUPS 70637 WITH SCORE 70810.256
AT ITER 1399 NEW BEST:: SOT 250215 SOS 173051 HAS SOPS 115074 HAS SOUS 73948 HAS SOUPS 70634 WITH SCORE 70807.051
AT ITER 1400 NEW BEST:: SOT 250153 SOS 173152 HAS SOPS 115141 HAS SOUS 73713 HAS SOUPS 70399 WITH SCORE 70572.152
AT ITER 1411 NEW BEST:: SOT 250103 SOS 173572 HAS SOPS 115561 HAS SOUS 73688 HAS SOUPS 70374 WITH SCORE 70547.572
AT ITER 1415 NEW BEST:: SOT 250101 SOS 173570 HAS SOPS 115558 HAS SOUS 73657 HAS SOUPS 70343 WITH SCORE 70516.57
AT ITER 1424 NEW BEST:: SOT 249775 SOS 173595 HAS SOPS 115839 HAS SOUS 73393 HAS SOUPS 70079 WITH SCORE 70252.595
AT ITER 1432 NEW BEST:: SOT 249751 SOS 173595 HAS SOPS 115815 HAS SOUS 73381 HAS SOUPS 70067 WITH SCORE 70240.595
AT ITER 1446 NEW BEST:: SOT 249692 SOS 173536 HAS SOPS 115756 HAS SOUS 73353 HAS SOUPS 70039 WITH SCORE 70212.536
AT ITER 1464 NEW BEST:: SOT 249692 SOS 173536 HAS SOPS 115756 HAS SOUS 73351 HAS SOUPS 70037 WITH SCORE 70210.536
AT ITER 1465 NEW BEST:: SOT 249692 SOS 173470 HAS SOPS 115756 HAS SOUS 73351 HAS SOUPS 70037 WITH SCORE 70210.47
AT ITER 1476 NEW BEST:: SOT 249626 SOS 173404 HAS SOPS 115763 HAS SOUS 73313 HAS SOUPS 70012 WITH SCORE 70185.404
AT ITER 1479 NEW BEST:: SOT 249640 SOS 173171 HAS SOPS 115530 HAS SOUS 73280 HAS SOUPS 69979 WITH SCORE 70152.171
AT ITER 1485 NEW BEST:: SOT 249310 SOS 172841 HAS SOPS 115173 HAS SOUS 72992 HAS SOUPS 69691 WITH SCORE 69863.841
AT ITER 1509 NEW BEST:: SOT 249219 SOS 172667 HAS SOPS 115024 HAS SOUS 72897 HAS SOUPS 69596 WITH SCORE 69768.667
AT ITER 1521 NEW BEST:: SOT 249167 SOS 172615 HAS SOPS 114964 HAS SOUS 72804 HAS SOUPS 69503 WITH SCORE 69675.615
AT ITER 1522 NEW BEST:: SOT 248793 SOS 172241 HAS SOPS 114389 HAS SOUS 72340 HAS SOUPS 69039 WITH SCORE 69211.241
AT ITER 1524 NEW BEST:: SOT 248501 SOS 171949 HAS SOPS 114345 HAS SOUS 72280 HAS SOUPS 68979 WITH SCORE 69150.949
AT ITER 1527 NEW BEST:: SOT 248395 SOS 172306 HAS SOPS 114927 HAS SOUS 72187 HAS SOUPS 68886 WITH SCORE 69058.306
AT ITER 1528 NEW BEST:: SOT 248379 SOS 172290 HAS SOPS 114919 HAS SOUS 72175 HAS SOUPS 68874 WITH SCORE 69046.29
AT ITER 1532 NEW BEST:: SOT 248281 SOS 172192 HAS SOPS 114883 HAS SOUS 72141 HAS SOUPS 68840 WITH SCORE 69012.192
AT ITER 1534 NEW BEST:: SOT 248247 SOS 172158 HAS SOPS 114832 HAS SOUS 72090 HAS SOUPS 68789 WITH SCORE 68961.158
AT ITER 1538 NEW BEST:: SOT 248181 SOS 172092 HAS SOPS 114733 HAS SOUS 71990 HAS SOUPS 68689 WITH SCORE 68861.092
AT ITER 1543 NEW BEST:: SOT 248149 SOS 172057 HAS SOPS 114698 HAS SOUS 71925 HAS SOUPS 68624 WITH SCORE 68796.057
AT ITER 1549 NEW BEST:: SOT 247876 SOS 171702 HAS SOPS 114164 HAS SOUS 71558 HAS SOUPS 68257 WITH SCORE 68428.702
AT ITER 1555 NEW BEST:: SOT 247860 SOS 171686 HAS SOPS 114132 HAS SOUS 71533 HAS SOUPS 68232 WITH SCORE 68403.686
AT ITER 1559 NEW BEST:: SOT 247860 SOS 171616 HAS SOPS 114082 HAS SOUS 71523 HAS SOUPS 68222 WITH SCORE 68393.616
AT ITER 1567 NEW BEST:: SOT 247812 SOS 171561 HAS SOPS 114020 HAS SOUS 71468 HAS SOUPS 68167 WITH SCORE 68338.561
AT ITER 1574 NEW BEST:: SOT 247792 SOS 171547 HAS SOPS 113997 HAS SOUS 71459 HAS SOUPS 68158 WITH SCORE 68329.547
AT ITER 1580 NEW BEST:: SOT 247791 SOS 171532 HAS SOPS 113982 HAS SOUS 71458 HAS SOUPS 68157 WITH SCORE 68328.532
AT ITER 1582 NEW BEST:: SOT 247753 SOS 171494 HAS SOPS 113915 HAS SOUS 71401 HAS SOUPS 68100 WITH SCORE 68271.494
AT ITER 1583 NEW BEST:: SOT 247655 SOS 171269 HAS SOPS 113805 HAS SOUS 71236 HAS SOUPS 67935 WITH SCORE 68106.269
AT ITER 1584 NEW BEST:: SOT 247445 SOS 170492 HAS SOPS 112860 HAS SOUS 70804 HAS SOUPS 67503 WITH SCORE 67673.492
AT ITER 1597 NEW BEST:: SOT 247423 SOS 170493 HAS SOPS 112947 HAS SOUS 70802 HAS SOUPS 67501 WITH SCORE 67671.493
AT ITER 1600 NEW BEST:: SOT 247289 SOS 170359 HAS SOPS 112926 HAS SOUS 70721 HAS SOUPS 67420 WITH SCORE 67590.359
AT ITER 1609 NEW BEST:: SOT 247289 SOS 170359 HAS SOPS 112926 HAS SOUS 70660 HAS SOUPS 67359 WITH SCORE 67529.359
AT ITER 1671 NEW BEST:: SOT 247015 SOS 170047 HAS SOPS 113122 HAS SOUS 70637 HAS SOUPS 67336 WITH SCORE 67506.047
AT ITER 1672 NEW BEST:: SOT 246961 SOS 169887 HAS SOPS 113066 HAS SOUS 70581 HAS SOUPS 67280 WITH SCORE 67449.887
AT ITER 1681 NEW BEST:: SOT 246973 SOS 169907 HAS SOPS 113036 HAS SOUS 70565 HAS SOUPS 67264 WITH SCORE 67433.907
AT ITER 1682 NEW BEST:: SOT 247079 SOS 170013 HAS SOPS 112811 HAS SOUS 70369 HAS SOUPS 67068 WITH SCORE 67238.013
AT ITER 1688 NEW BEST:: SOT 247079 SOS 170013 HAS SOPS 112811 HAS SOUS 70334 HAS SOUPS 67033 WITH SCORE 67203.013
AT ITER 1699 NEW BEST:: SOT 246913 SOS 169847 HAS SOPS 112736 HAS SOUS 70305 HAS SOUPS 67004 WITH SCORE 67173.847
AT ITER 1702 NEW BEST:: SOT 247125 SOS 170103 HAS SOPS 112626 HAS SOUS 70280 HAS SOUPS 66979 WITH SCORE 67149.103
AT ITER 1704 NEW BEST:: SOT 247114 SOS 170023 HAS SOPS 112727 HAS SOUS 70247 HAS SOUPS 66946 WITH SCORE 67116.023
AT ITER 1708 NEW BEST:: SOT 247114 SOS 169977 HAS SOPS 112741 HAS SOUS 70247 HAS SOUPS 66946 WITH SCORE 67115.977
AT ITER 1714 NEW BEST:: SOT 246997 SOS 169845 HAS SOPS 112387 HAS SOUS 70065 HAS SOUPS 66764 WITH SCORE 66933.845
AT ITER 1726 NEW BEST:: SOT 246997 SOS 169834 HAS SOPS 112365 HAS SOUS 70054 HAS SOUPS 66753 WITH SCORE 66922.834
AT ITER 1732 NEW BEST:: SOT 247030 SOS 169841 HAS SOPS 112389 HAS SOUS 70041 HAS SOUPS 66740 WITH SCORE 66909.841
AT ITER 1736 NEW BEST:: SOT 247030 SOS 169841 HAS SOPS 112329 HAS SOUS 69999 HAS SOUPS 66692 WITH SCORE 66861.841
AT ITER 1745 NEW BEST:: SOT 243646 SOS 179031 HAS SOPS 114100 HAS SOUS 68686 HAS SOUPS 65112 WITH SCORE 65291.031
AT ITER 1754 NEW BEST:: SOT 243492 SOS 180241 HAS SOPS 114364 HAS SOUS 68686 HAS SOUPS 65090 WITH SCORE 65270.241
AT ITER 1767 NEW BEST:: SOT 243198 SOS 179947 HAS SOPS 114070 HAS SOUS 68375 HAS SOUPS 64779 WITH SCORE 64958.947
AT ITER 1770 NEW BEST:: SOT 243198 SOS 179947 HAS SOPS 114070 HAS SOUS 68345 HAS SOUPS 64749 WITH SCORE 64928.947
AT ITER 1775 NEW BEST:: SOT 243210 SOS 179959 HAS SOPS 114088 HAS SOUS 68196 HAS SOUPS 64600 WITH SCORE 64779.959
AT ITER 1791 NEW BEST:: SOT 243202 SOS 179951 HAS SOPS 114076 HAS SOUS 68143 HAS SOUPS 64547 WITH SCORE 64726.951
AT ITER 1799 NEW BEST:: SOT 243170 SOS 179919 HAS SOPS 114012 HAS SOUS 68095 HAS SOUPS 64499 WITH SCORE 64678.919
AT ITER 1803 NEW BEST:: SOT 243133 SOS 179882 HAS SOPS 113975 HAS SOUS 68058 HAS SOUPS 64462 WITH SCORE 64641.882
AT ITER 1804 NEW BEST:: SOT 242991 SOS 179740 HAS SOPS 113630 HAS SOUS 67833 HAS SOUPS 64237 WITH SCORE 64416.74
AT ITER 1814 NEW BEST:: SOT 243378 SOS 175256 HAS SOPS 111852 HAS SOUS 67683 HAS SOUPS 64156 WITH SCORE 64331.256
AT ITER 1818 NEW BEST:: SOT 243291 SOS 175116 HAS SOPS 111625 HAS SOUS 67596 HAS SOUPS 64069 WITH SCORE 64244.116
AT ITER 1830 NEW BEST:: SOT 243291 SOS 175112 HAS SOPS 111530 HAS SOUS 67596 HAS SOUPS 64069 WITH SCORE 64244.112
AT ITER 1844 NEW BEST:: SOT 243291 SOS 175112 HAS SOPS 111530 HAS SOUS 67541 HAS SOUPS 64014 WITH SCORE 64189.112
AT ITER 1849 NEW BEST:: SOT 243241 SOS 175062 HAS SOPS 111455 HAS SOUS 67398 HAS SOUPS 63871 WITH SCORE 64046.062
AT ITER 1850 NEW BEST:: SOT 243173 SOS 174994 HAS SOPS 111387 HAS SOUS 67364 HAS SOUPS 63837 WITH SCORE 64011.994
AT ITER 1856 NEW BEST:: SOT 243005 SOS 174855 HAS SOPS 111135 HAS SOUS 67157 HAS SOUPS 63630 WITH SCORE 63804.855
AT ITER 1860 NEW BEST:: SOT 242977 SOS 174827 HAS SOPS 111079 HAS SOUS 67115 HAS SOUPS 63588 WITH SCORE 63762.827
AT ITER 1861 NEW BEST:: SOT 242895 SOS 174745 HAS SOPS 111079 HAS SOUS 67115 HAS SOUPS 63588 WITH SCORE 63762.745
AT ITER 1865 NEW BEST:: SOT 242873 SOS 174723 HAS SOPS 111035 HAS SOUS 67049 HAS SOUPS 63522 WITH SCORE 63696.723
AT ITER 1876 NEW BEST:: SOT 242827 SOS 174677 HAS SOPS 110966 HAS SOUS 67003 HAS SOUPS 63476 WITH SCORE 63650.677
AT ITER 1877 NEW BEST:: SOT 242611 SOS 174461 HAS SOPS 110748 HAS SOUS 66910 HAS SOUPS 63383 WITH SCORE 63557.461
AT ITER 1880 NEW BEST:: SOT 242693 SOS 174543 HAS SOPS 110707 HAS SOUS 66902 HAS SOUPS 63375 WITH SCORE 63549.543
AT ITER 1885 NEW BEST:: SOT 242607 SOS 174457 HAS SOPS 110664 HAS SOUS 66896 HAS SOUPS 63369 WITH SCORE 63543.457
AT ITER 1891 NEW BEST:: SOT 242458 SOS 174308 HAS SOPS 110515 HAS SOUS 66747 HAS SOUPS 63220 WITH SCORE 63394.308
AT ITER 1894 NEW BEST:: SOT 242405 SOS 174255 HAS SOPS 110390 HAS SOUS 66704 HAS SOUPS 63177 WITH SCORE 63351.255
AT ITER 1907 NEW BEST:: SOT 242181 SOS 174219 HAS SOPS 110244 HAS SOUS 66681 HAS SOUPS 63154 WITH SCORE 63328.219
AT ITER 1921 NEW BEST:: SOT 242107 SOS 174105 HAS SOPS 110072 HAS SOUS 66671 HAS SOUPS 63144 WITH SCORE 63318.105
AT ITER 1928 NEW BEST:: SOT 241806 SOS 174435 HAS SOPS 110312 HAS SOUS 66531 HAS SOUPS 63004 WITH SCORE 63178.435
AT ITER 1943 NEW BEST:: SOT 241806 SOS 174435 HAS SOPS 110312 HAS SOUS 66530 HAS SOUPS 63003 WITH SCORE 63177.435
AT ITER 1945 NEW BEST:: SOT 241788 SOS 174411 HAS SOPS 110282 HAS SOUS 66512 HAS SOUPS 62985 WITH SCORE 63159.411
AT ITER 1962 NEW BEST:: SOT 241710 SOS 174302 HAS SOPS 110165 HAS SOUS 66471 HAS SOUPS 62944 WITH SCORE 63118.302
AT ITER 1971 NEW BEST:: SOT 241666 SOS 174258 HAS SOPS 110102 HAS SOUS 66383 HAS SOUPS 62856 WITH SCORE 63030.258
AT ITER 1973 NEW BEST:: SOT 241628 SOS 174220 HAS SOPS 110026 HAS SOUS 66329 HAS SOUPS 62802 WITH SCORE 62976.22
AT ITER 1981 NEW BEST:: SOT 241628 SOS 174220 HAS SOPS 110026 HAS SOUS 66266 HAS SOUPS 62739 WITH SCORE 62913.22
AT ITER 1982 NEW BEST:: SOT 241608 SOS 174277 HAS SOPS 109986 HAS SOUS 66236 HAS SOUPS 62709 WITH SCORE 62883.277
AT ITER 1999 NEW BEST:: SOT 241569 SOS 174238 HAS SOPS 109921 HAS SOUS 66210 HAS SOUPS 62683 WITH SCORE 62857.238
AT ITER 2005 NEW BEST:: SOT 241547 SOS 174263 HAS SOPS 109993 HAS SOUS 66188 HAS SOUPS 62661 WITH SCORE 62835.263
AT ITER 2007 NEW BEST:: SOT 241402 SOS 174118 HAS SOPS 109884 HAS SOUS 66003 HAS SOUPS 62476 WITH SCORE 62650.118
AT ITER 2013 NEW BEST:: SOT 241178 SOS 173894 HAS SOPS 109881 HAS SOUS 66000 HAS SOUPS 62473 WITH SCORE 62646.894
AT ITER 2014 NEW BEST:: SOT 240976 SOS 173692 HAS SOPS 109329 HAS SOUS 65733 HAS SOUPS 62206 WITH SCORE 62379.692
AT ITER 2022 NEW BEST:: SOT 240940 SOS 173656 HAS SOPS 109371 HAS SOUS 65682 HAS SOUPS 62155 WITH SCORE 62328.656
AT ITER 2039 NEW BEST:: SOT 240437 SOS 174544 HAS SOPS 109237 HAS SOUS 65340 HAS SOUPS 61784 WITH SCORE 61958.544
AT ITER 2051 NEW BEST:: SOT 240429 SOS 174536 HAS SOPS 109095 HAS SOUS 65328 HAS SOUPS 61772 WITH SCORE 61946.536
AT ITER 2056 NEW BEST:: SOT 240429 SOS 174011 HAS SOPS 108623 HAS SOUS 65328 HAS SOUPS 61772 WITH SCORE 61946.011
AT ITER 2072 NEW BEST:: SOT 240258 SOS 173766 HAS SOPS 108424 HAS SOUS 65166 HAS SOUPS 61610 WITH SCORE 61783.766
AT ITER 2073 NEW BEST:: SOT 240088 SOS 173561 HAS SOPS 108169 HAS SOUS 64826 HAS SOUPS 61270 WITH SCORE 61443.561
AT ITER 2075 NEW BEST:: SOT 239982 SOS 173455 HAS SOPS 108069 HAS SOUS 64630 HAS SOUPS 61074 WITH SCORE 61247.455
AT ITER 2092 NEW BEST:: SOT 239878 SOS 173351 HAS SOPS 107861 HAS SOUS 64474 HAS SOUPS 60918 WITH SCORE 61091.351
AT ITER 2095 NEW BEST:: SOT 240034 SOS 173507 HAS SOPS 107763 HAS SOUS 64419 HAS SOUPS 60863 WITH SCORE 61036.507
AT ITER 2103 NEW BEST:: SOT 240064 SOS 173243 HAS SOPS 107678 HAS SOUS 64399 HAS SOUPS 60848 WITH SCORE 61021.243
AT ITER 2110 NEW BEST:: SOT 240064 SOS 173243 HAS SOPS 107678 HAS SOUS 64371 HAS SOUPS 60820 WITH SCORE 60993.243
AT ITER 2112 NEW BEST:: SOT 239882 SOS 173061 HAS SOPS 107518 HAS SOUS 64233 HAS SOUPS 60682 WITH SCORE 60855.061
AT ITER 2121 NEW BEST:: SOT 239882 SOS 173061 HAS SOPS 107518 HAS SOUS 64202 HAS SOUPS 60651 WITH SCORE 60824.061
AT ITER 2125 NEW BEST:: SOT 239764 SOS 172943 HAS SOPS 107282 HAS SOUS 64021 HAS SOUPS 60470 WITH SCORE 60642.943
AT ITER 2130 NEW BEST:: SOT 238211 SOS 176206 HAS SOPS 107729 HAS SOUS 63233 HAS SOUPS 59589 WITH SCORE 59765.206
AT ITER 2135 NEW BEST:: SOT 238345 SOS 176340 HAS SOPS 107490 HAS SOUS 63114 HAS SOUPS 59470 WITH SCORE 59646.34
AT ITER 2157 NEW BEST:: SOT 238297 SOS 176292 HAS SOPS 107522 HAS SOUS 63108 HAS SOUPS 59464 WITH SCORE 59640.292
AT ITER 2164 NEW BEST:: SOT 238305 SOS 176300 HAS SOPS 107478 HAS SOUS 63078 HAS SOUPS 59434 WITH SCORE 59610.3
AT ITER 2165 NEW BEST:: SOT 238193 SOS 176188 HAS SOPS 107310 HAS SOUS 62889 HAS SOUPS 59245 WITH SCORE 59421.188
AT ITER 2173 NEW BEST:: SOT 238169 SOS 176263 HAS SOPS 107222 HAS SOUS 62846 HAS SOUPS 59202 WITH SCORE 59378.263
AT ITER 2177 NEW BEST:: SOT 238022 SOS 176189 HAS SOPS 107148 HAS SOUS 62748 HAS SOUPS 59104 WITH SCORE 59280.189
AT ITER 2186 NEW BEST:: SOT 237975 SOS 176134 HAS SOPS 107071 HAS SOUS 62676 HAS SOUPS 59032 WITH SCORE 59208.134
AT ITER 2194 NEW BEST:: SOT 237766 SOS 176069 HAS SOPS 107407 HAS SOUS 62670 HAS SOUPS 59026 WITH SCORE 59202.069
AT ITER 2198 NEW BEST:: SOT 237742 SOS 176045 HAS SOPS 107371 HAS SOUS 62622 HAS SOUPS 58978 WITH SCORE 59154.045
AT ITER 2200 NEW BEST:: SOT 237742 SOS 176045 HAS SOPS 107371 HAS SOUS 62601 HAS SOUPS 58957 WITH SCORE 59133.045
AT ITER 2202 NEW BEST:: SOT 237742 SOS 176045 HAS SOPS 107371 HAS SOUS 62560 HAS SOUPS 58916 WITH SCORE 59092.045
AT ITER 2203 NEW BEST:: SOT 237622 SOS 175969 HAS SOPS 107191 HAS SOUS 62421 HAS SOUPS 58777 WITH SCORE 58952.969
AT ITER 2206 NEW BEST:: SOT 237688 SOS 176090 HAS SOPS 107316 HAS SOUS 62408 HAS SOUPS 58764 WITH SCORE 58940.09
AT ITER 2211 NEW BEST:: SOT 237634 SOS 176036 HAS SOPS 107303 HAS SOUS 62378 HAS SOUPS 58734 WITH SCORE 58910.036
AT ITER 2213 NEW BEST:: SOT 237614 SOS 176016 HAS SOPS 107294 HAS SOUS 62369 HAS SOUPS 58725 WITH SCORE 58901.016
AT ITER 2214 NEW BEST:: SOT 237341 SOS 175721 HAS SOPS 106937 HAS SOUS 62034 HAS SOUPS 58390 WITH SCORE 58565.721
AT ITER 2215 NEW BEST:: SOT 237341 SOS 175721 HAS SOPS 106937 HAS SOUS 62029 HAS SOUPS 58385 WITH SCORE 58560.721
AT ITER 2216 NEW BEST:: SOT 237341 SOS 175721 HAS SOPS 106937 HAS SOUS 61952 HAS SOUPS 58308 WITH SCORE 58483.721
AT ITER 2218 NEW BEST:: SOT 237351 SOS 175739 HAS SOPS 106945 HAS SOUS 61898 HAS SOUPS 58254 WITH SCORE 58429.739
AT ITER 2221 NEW BEST:: SOT 237351 SOS 175739 HAS SOPS 106945 HAS SOUS 61855 HAS SOUPS 58211 WITH SCORE 58386.739
AT ITER 2232 NEW BEST:: SOT 237289 SOS 175677 HAS SOPS 106976 HAS SOUS 61855 HAS SOUPS 58211 WITH SCORE 58386.677
AT ITER 2239 NEW BEST:: SOT 237161 SOS 175432 HAS SOPS 106512 HAS SOUS 61756 HAS SOUPS 58112 WITH SCORE 58287.432
AT ITER 2242 NEW BEST:: SOT 237161 SOS 175432 HAS SOPS 106512 HAS SOUS 61716 HAS SOUPS 58072 WITH SCORE 58247.432
AT ITER 2250 NEW BEST:: SOT 237157 SOS 175424 HAS SOPS 106500 HAS SOUS 61708 HAS SOUPS 58064 WITH SCORE 58239.424
AT ITER 2257 NEW BEST:: SOT 237083 SOS 175350 HAS SOPS 106352 HAS SOUS 61668 HAS SOUPS 58024 WITH SCORE 58199.35
AT ITER 2263 NEW BEST:: SOT 237049 SOS 175316 HAS SOPS 106301 HAS SOUS 61617 HAS SOUPS 57973 WITH SCORE 58148.316
AT ITER 2264 NEW BEST:: SOT 237027 SOS 175272 HAS SOPS 106235 HAS SOUS 61595 HAS SOUPS 57951 WITH SCORE 58126.272
AT ITER 2271 NEW BEST:: SOT 236589 SOS 178712 HAS SOPS 107124 HAS SOUS 61451 HAS SOUPS 57748 WITH SCORE 57926.712
AT ITER 2275 NEW BEST:: SOT 236499 SOS 179094 HAS SOPS 107161 HAS SOUS 61415 HAS SOUPS 57703 WITH SCORE 57882.094
AT ITER 2287 NEW BEST:: SOT 236395 SOS 178990 HAS SOPS 107149 HAS SOUS 61385 HAS SOUPS 57673 WITH SCORE 57851.99
AT ITER 2288 NEW BEST:: SOT 236369 SOS 178964 HAS SOPS 107110 HAS SOUS 61346 HAS SOUPS 57634 WITH SCORE 57812.964
AT ITER 2299 NEW BEST:: SOT 236334 SOS 178929 HAS SOPS 107070 HAS SOUS 61301 HAS SOUPS 57589 WITH SCORE 57767.929
AT ITER 2300 NEW BEST:: SOT 236336 SOS 178939 HAS SOPS 107080 HAS SOUS 61299 HAS SOUPS 57587 WITH SCORE 57765.939
AT ITER 2302 NEW BEST:: SOT 236254 SOS 178857 HAS SOPS 106957 HAS SOUS 61163 HAS SOUPS 57451 WITH SCORE 57629.857
AT ITER 2311 NEW BEST:: SOT 236147 SOS 178750 HAS SOPS 106763 HAS SOUS 61036 HAS SOUPS 57324 WITH SCORE 57502.75
AT ITER 2316 NEW BEST:: SOT 236285 SOS 178771 HAS SOPS 106498 HAS SOUS 61027 HAS SOUPS 57315 WITH SCORE 57493.771
AT ITER 2320 NEW BEST:: SOT 236055 SOS 178541 HAS SOPS 106107 HAS SOUS 60599 HAS SOUPS 56887 WITH SCORE 57065.541
AT ITER 2345 NEW BEST:: SOT 236011 SOS 178470 HAS SOPS 106020 HAS SOUS 60503 HAS SOUPS 56791 WITH SCORE 56969.47
AT ITER 2367 NEW BEST:: SOT 235857 SOS 178316 HAS SOPS 105975 HAS SOUS 60369 HAS SOUPS 56660 WITH SCORE 56838.316
AT ITER 2368 NEW BEST:: SOT 235857 SOS 178316 HAS SOPS 105975 HAS SOUS 60328 HAS SOUPS 56619 WITH SCORE 56797.316
AT ITER 2377 NEW BEST:: SOT 235857 SOS 178316 HAS SOPS 105972 HAS SOUS 60324 HAS SOUPS 56615 WITH SCORE 56793.316
AT ITER 2380 NEW BEST:: SOT 235845 SOS 178304 HAS SOPS 105954 HAS SOUS 60306 HAS SOUPS 56597 WITH SCORE 56775.304
AT ITER 2409 NEW BEST:: SOT 235751 SOS 178131 HAS SOPS 105817 HAS SOUS 60147 HAS SOUPS 56438 WITH SCORE 56616.131
AT ITER 2412 NEW BEST:: SOT 235601 SOS 177959 HAS SOPS 105580 HAS SOUS 60057 HAS SOUPS 56348 WITH SCORE 56525.959
AT ITER 2415 NEW BEST:: SOT 235553 SOS 178548 HAS SOPS 106089 HAS SOUS 59993 HAS SOUPS 56284 WITH SCORE 56462.548
AT ITER 2429 NEW BEST:: SOT 235535 SOS 178530 HAS SOPS 106062 HAS SOUS 59975 HAS SOUPS 56266 WITH SCORE 56444.53
AT ITER 2445 NEW BEST:: SOT 235211 SOS 178206 HAS SOPS 105576 HAS SOUS 59489 HAS SOUPS 55780 WITH SCORE 55958.206
AT ITER 2452 NEW BEST:: SOT 235153 SOS 178148 HAS SOPS 105577 HAS SOUS 59468 HAS SOUPS 55759 WITH SCORE 55937.148
AT ITER 2458 NEW BEST:: SOT 235111 SOS 178106 HAS SOPS 105493 HAS SOUS 59281 HAS SOUPS 55572 WITH SCORE 55750.106
AT ITER 2459 NEW BEST:: SOT 235132 SOS 178058 HAS SOPS 105445 HAS SOUS 59185 HAS SOUPS 55476 WITH SCORE 55654.058
AT ITER 2463 NEW BEST:: SOT 235070 SOS 177996 HAS SOPS 105321 HAS SOUS 59061 HAS SOUPS 55352 WITH SCORE 55529.996
AT ITER 2467 NEW BEST:: SOT 234994 SOS 177920 HAS SOPS 105207 HAS SOUS 58947 HAS SOUPS 55238 WITH SCORE 55415.92
AT ITER 2479 NEW BEST:: SOT 234994 SOS 177920 HAS SOPS 105207 HAS SOUS 58944 HAS SOUPS 55235 WITH SCORE 55412.92
AT ITER 2482 NEW BEST:: SOT 234825 SOS 177752 HAS SOPS 105053 HAS SOUS 58790 HAS SOUPS 55081 WITH SCORE 55258.752
AT ITER 2502 NEW BEST:: SOT 234798 SOS 177725 HAS SOPS 104988 HAS SOUS 58712 HAS SOUPS 55003 WITH SCORE 55180.725
AT ITER 2504 NEW BEST:: SOT 234764 SOS 177674 HAS SOPS 104920 HAS SOUS 58661 HAS SOUPS 54952 WITH SCORE 55129.674
AT ITER 2505 NEW BEST:: SOT 234764 SOS 177674 HAS SOPS 104776 HAS SOUS 58544 HAS SOUPS 54835 WITH SCORE 55012.674
AT ITER 2509 NEW BEST:: SOT 234764 SOS 177674 HAS SOPS 104776 HAS SOUS 58533 HAS SOUPS 54824 WITH SCORE 55001.674
AT ITER 2516 NEW BEST:: SOT 234548 SOS 177458 HAS SOPS 104862 HAS SOUS 58486 HAS SOUPS 54777 WITH SCORE 54954.458
AT ITER 2519 NEW BEST:: SOT 234542 SOS 177452 HAS SOPS 104853 HAS SOUS 58486 HAS SOUPS 54777 WITH SCORE 54954.452
AT ITER 2522 NEW BEST:: SOT 234542 SOS 177452 HAS SOPS 104853 HAS SOUS 58445 HAS SOUPS 54736 WITH SCORE 54913.452
AT ITER 2524 NEW BEST:: SOT 234526 SOS 177429 HAS SOPS 104769 HAS SOUS 58429 HAS SOUPS 54720 WITH SCORE 54897.429
AT ITER 2529 NEW BEST:: SOT 234468 SOS 177371 HAS SOPS 104682 HAS SOUS 58311 HAS SOUPS 54602 WITH SCORE 54779.371
AT ITER 2538 NEW BEST:: SOT 234436 SOS 177339 HAS SOPS 104634 HAS SOUS 58293 HAS SOUPS 54584 WITH SCORE 54761.339
AT ITER 2548 NEW BEST:: SOT 234436 SOS 177316 HAS SOPS 104634 HAS SOUS 58293 HAS SOUPS 54584 WITH SCORE 54761.316
AT ITER 2550 NEW BEST:: SOT 234332 SOS 177212 HAS SOPS 104478 HAS SOUS 58162 HAS SOUPS 54453 WITH SCORE 54630.212
AT ITER 2557 NEW BEST:: SOT 233977 SOS 177384 HAS SOPS 104594 HAS SOUS 58159 HAS SOUPS 54450 WITH SCORE 54627.384
AT ITER 2563 NEW BEST:: SOT 233675 SOS 177082 HAS SOPS 104141 HAS SOUS 57541 HAS SOUPS 53832 WITH SCORE 54009.082
AT ITER 2579 NEW BEST:: SOT 233662 SOS 177069 HAS SOPS 104128 HAS SOUS 57528 HAS SOUPS 53819 WITH SCORE 53996.069
AT ITER 2605 NEW BEST:: SOT 233612 SOS 177019 HAS SOPS 104053 HAS SOUS 57507 HAS SOUPS 53781 WITH SCORE 53958.019
AT ITER 2614 NEW BEST:: SOT 233464 SOS 176871 HAS SOPS 103757 HAS SOUS 57285 HAS SOUPS 53559 WITH SCORE 53735.871
AT ITER 2625 NEW BEST:: SOT 233448 SOS 176855 HAS SOPS 103746 HAS SOUS 57274 HAS SOUPS 53548 WITH SCORE 53724.855
AT ITER 2627 NEW BEST:: SOT 233101 SOS 178911 HAS SOPS 104169 HAS SOUS 57166 HAS SOUPS 53401 WITH SCORE 53579.911
AT ITER 2657 NEW BEST:: SOT 233077 SOS 178887 HAS SOPS 104133 HAS SOUS 57130 HAS SOUPS 53365 WITH SCORE 53543.887
AT ITER 2677 NEW BEST:: SOT 233075 SOS 178885 HAS SOPS 104130 HAS SOUS 57127 HAS SOUPS 53362 WITH SCORE 53540.885
AT ITER 2685 NEW BEST:: SOT 232965 SOS 178890 HAS SOPS 104081 HAS SOUS 57017 HAS SOUPS 53252 WITH SCORE 53430.89
AT ITER 2705 NEW BEST:: SOT 232965 SOS 178890 HAS SOPS 104081 HAS SOUS 57010 HAS SOUPS 53245 WITH SCORE 53423.89
AT ITER 2710 NEW BEST:: SOT 232961 SOS 178886 HAS SOPS 104075 HAS SOUS 57004 HAS SOUPS 53239 WITH SCORE 53417.886
AT ITER 2726 NEW BEST:: SOT 232961 SOS 178886 HAS SOPS 104098 HAS SOUS 56961 HAS SOUPS 53196 WITH SCORE 53374.886
AT ITER 2728 NEW BEST:: SOT 232947 SOS 178872 HAS SOPS 104105 HAS SOUS 56961 HAS SOUPS 53196 WITH SCORE 53374.872
AT ITER 2756 NEW BEST:: SOT 232975 SOS 178900 HAS SOPS 104021 HAS SOUS 56898 HAS SOUPS 53133 WITH SCORE 53311.9
AT ITER 2764 NEW BEST:: SOT 232975 SOS 178900 HAS SOPS 104021 HAS SOUS 56885 HAS SOUPS 53120 WITH SCORE 53298.9
AT ITER 2770 NEW BEST:: SOT 232947 SOS 178872 HAS SOPS 103979 HAS SOUS 56842 HAS SOUPS 53077 WITH SCORE 53255.872
AT ITER 2804 NEW BEST:: SOT 232935 SOS 178860 HAS SOPS 103961 HAS SOUS 56756 HAS SOUPS 52991 WITH SCORE 53169.86
AT ITER 2806 NEW BEST:: SOT 232899 SOS 178796 HAS SOPS 103907 HAS SOUS 56684 HAS SOUPS 52919 WITH SCORE 53097.796
AT ITER 2810 NEW BEST:: SOT 232899 SOS 178778 HAS SOPS 103889 HAS SOUS 56684 HAS SOUPS 52919 WITH SCORE 53097.778
AT ITER 2818 NEW BEST:: SOT 232883 SOS 178762 HAS SOPS 103865 HAS SOUS 56660 HAS SOUPS 52895 WITH SCORE 53073.762
AT ITER 2819 NEW BEST:: SOT 232877 SOS 178756 HAS SOPS 103856 HAS SOUS 56651 HAS SOUPS 52886 WITH SCORE 53064.756
AT ITER 2830 NEW BEST:: SOT 232987 SOS 178866 HAS SOPS 103775 HAS SOUS 56520 HAS SOUPS 52755 WITH SCORE 52933.866
AT ITER 2835 NEW BEST:: SOT 232969 SOS 178848 HAS SOPS 103660 HAS SOUS 56440 HAS SOUPS 52675 WITH SCORE 52853.848
AT ITER 2840 NEW BEST:: SOT 232923 SOS 178802 HAS SOPS 103568 HAS SOUS 56348 HAS SOUPS 52583 WITH SCORE 52761.802
AT ITER 2842 NEW BEST:: SOT 232883 SOS 178762 HAS SOPS 103508 HAS SOUS 56286 HAS SOUPS 52521 WITH SCORE 52699.762
AT ITER 2866 NEW BEST:: SOT 232883 SOS 178750 HAS SOPS 103508 HAS SOUS 56286 HAS SOUPS 52521 WITH SCORE 52699.75
AT ITER 2868 NEW BEST:: SOT 232849 SOS 178716 HAS SOPS 103457 HAS SOUS 56235 HAS SOUPS 52470 WITH SCORE 52648.716
AT ITER 2872 NEW BEST:: SOT 232847 SOS 178714 HAS SOPS 103454 HAS SOUS 56232 HAS SOUPS 52467 WITH SCORE 52645.714
AT ITER 2886 NEW BEST:: SOT 232847 SOS 178714 HAS SOPS 103422 HAS SOUS 56208 HAS SOUPS 52443 WITH SCORE 52621.714
AT ITER 2888 NEW BEST:: SOT 232847 SOS 178695 HAS SOPS 103403 HAS SOUS 56208 HAS SOUPS 52443 WITH SCORE 52621.695
AT ITER 2899 NEW BEST:: SOT 232847 SOS 178661 HAS SOPS 103319 HAS SOUS 56208 HAS SOUPS 52443 WITH SCORE 52621.661
AT ITER 2904 NEW BEST:: SOT 232739 SOS 178553 HAS SOPS 103164 HAS SOUS 55980 HAS SOUPS 52215 WITH SCORE 52393.553
AT ITER 2905 NEW BEST:: SOT 232769 SOS 178583 HAS SOPS 103149 HAS SOUS 55984 HAS SOUPS 52204 WITH SCORE 52382.583
AT ITER 2906 NEW BEST:: SOT 232576 SOS 178528 HAS SOPS 103097 HAS SOUS 55932 HAS SOUPS 52152 WITH SCORE 52330.528
AT ITER 2914 NEW BEST:: SOT 232576 SOS 178528 HAS SOPS 103097 HAS SOUS 55913 HAS SOUPS 52133 WITH SCORE 52311.528
AT ITER 2915 NEW BEST:: SOT 232576 SOS 178528 HAS SOPS 103097 HAS SOUS 55905 HAS SOUPS 52125 WITH SCORE 52303.528
AT ITER 2930 NEW BEST:: SOT 232416 SOS 178368 HAS SOPS 102937 HAS SOUS 55717 HAS SOUPS 51937 WITH SCORE 52115.368
AT ITER 2932 NEW BEST:: SOT 232066 SOS 178018 HAS SOPS 102746 HAS SOUS 55570 HAS SOUPS 51790 WITH SCORE 51968.018
AT ITER 2936 NEW BEST:: SOT 232004 SOS 177956 HAS SOPS 102690 HAS SOUS 55477 HAS SOUPS 51697 WITH SCORE 51874.956
AT ITER 2937 NEW BEST:: SOT 232000 SOS 177952 HAS SOPS 102686 HAS SOUS 55469 HAS SOUPS 51689 WITH SCORE 51866.952
AT ITER 2942 NEW BEST:: SOT 232000 SOS 177952 HAS SOPS 102686 HAS SOUS 55444 HAS SOUPS 51664 WITH SCORE 51841.952
AT ITER 2948 NEW BEST:: SOT 231985 SOS 177937 HAS SOPS 102535 HAS SOUS 55395 HAS SOUPS 51615 WITH SCORE 51792.937
AT ITER 2958 NEW BEST:: SOT 231924 SOS 177876 HAS SOPS 102413 HAS SOUS 55296 HAS SOUPS 51516 WITH SCORE 51693.876
AT ITER 2959 NEW BEST:: SOT 231968 SOS 177920 HAS SOPS 102469 HAS SOUS 55279 HAS SOUPS 51499 WITH SCORE 51676.92
AT ITER 2973 NEW BEST:: SOT 231756 SOS 177708 HAS SOPS 102382 HAS SOUS 55150 HAS SOUPS 51370 WITH SCORE 51547.708
AT ITER 2996 NEW BEST:: SOT 231006 SOS 179520 HAS SOPS 101897 HAS SOUS 54772 HAS SOUPS 50937 WITH SCORE 51116.52
AT ITER 3003 NEW BEST:: SOT 230994 SOS 179508 HAS SOPS 101879 HAS SOUS 54762 HAS SOUPS 50924 WITH SCORE 51103.508
AT ITER 3012 NEW BEST:: SOT 230910 SOS 179424 HAS SOPS 101753 HAS SOUS 54644 HAS SOUPS 50806 WITH SCORE 50985.424
AT ITER 3019 NEW BEST:: SOT 230890 SOS 179364 HAS SOPS 101653 HAS SOUS 54612 HAS SOUPS 50774 WITH SCORE 50953.364
AT ITER 3025 NEW BEST:: SOT 230884 SOS 179358 HAS SOPS 101644 HAS SOUS 54603 HAS SOUPS 50765 WITH SCORE 50944.358
AT ITER 3031 NEW BEST:: SOT 230884 SOS 179353 HAS SOPS 101639 HAS SOUS 54603 HAS SOUPS 50765 WITH SCORE 50944.353
AT ITER 3036 NEW BEST:: SOT 230804 SOS 179273 HAS SOPS 101519 HAS SOUS 54483 HAS SOUPS 50645 WITH SCORE 50824.273
AT ITER 3037 NEW BEST:: SOT 230804 SOS 179273 HAS SOPS 101510 HAS SOUS 54474 HAS SOUPS 50636 WITH SCORE 50815.273
AT ITER 3048 NEW BEST:: SOT 230770 SOS 179239 HAS SOPS 101459 HAS SOUS 54406 HAS SOUPS 50568 WITH SCORE 50747.239
AT ITER 3054 NEW BEST:: SOT 230846 SOS 179315 HAS SOPS 101408 HAS SOUS 54367 HAS SOUPS 50529 WITH SCORE 50708.315
AT ITER 3077 NEW BEST:: SOT 230856 SOS 179325 HAS SOPS 101428 HAS SOUS 54346 HAS SOUPS 50508 WITH SCORE 50687.325
AT ITER 3090 NEW BEST:: SOT 230936 SOS 179405 HAS SOPS 101302 HAS SOUS 54190 HAS SOUPS 50352 WITH SCORE 50531.405
AT ITER 3108 NEW BEST:: SOT 230936 SOS 179405 HAS SOPS 101302 HAS SOUS 54114 HAS SOUPS 50276 WITH SCORE 50455.405
AT ITER 3147 NEW BEST:: SOT 230852 SOS 179321 HAS SOPS 101120 HAS SOUS 53984 HAS SOUPS 50146 WITH SCORE 50325.321
AT ITER 3153 NEW BEST:: SOT 230852 SOS 179321 HAS SOPS 101120 HAS SOUS 53979 HAS SOUPS 50141 WITH SCORE 50320.321
AT ITER 3157 NEW BEST:: SOT 230852 SOS 179321 HAS SOPS 101068 HAS SOUS 53940 HAS SOUPS 50102 WITH SCORE 50281.321
AT ITER 3170 NEW BEST:: SOT 230780 SOS 179249 HAS SOPS 100996 HAS SOUS 53834 HAS SOUPS 49996 WITH SCORE 50175.249
AT ITER 3172 NEW BEST:: SOT 230792 SOS 179261 HAS SOPS 100792 HAS SOUS 53584 HAS SOUPS 49746 WITH SCORE 49925.261
AT ITER 3178 NEW BEST:: SOT 230514 SOS 178983 HAS SOPS 100514 HAS SOUS 53581 HAS SOUPS 49743 WITH SCORE 49921.983
AT ITER 3186 NEW BEST:: SOT 230485 SOS 178954 HAS SOPS 100456 HAS SOUS 53552 HAS SOUPS 49714 WITH SCORE 49892.954
AT ITER 3190 NEW BEST:: SOT 230469 SOS 178938 HAS SOPS 100432 HAS SOUS 53528 HAS SOUPS 49690 WITH SCORE 49868.938
AT ITER 3192 NEW BEST:: SOT 230455 SOS 178924 HAS SOPS 100404 HAS SOUS 53510 HAS SOUPS 49672 WITH SCORE 49850.924
AT ITER 3194 NEW BEST:: SOT 230455 SOS 178915 HAS SOPS 100395 HAS SOUS 53510 HAS SOUPS 49672 WITH SCORE 49850.915
AT ITER 3203 NEW BEST:: SOT 230188 SOS 178648 HAS SOPS 100128 HAS SOUS 53255 HAS SOUPS 49417 WITH SCORE 49595.648
AT ITER 3205 NEW BEST:: SOT 230185 SOS 178645 HAS SOPS 100125 HAS SOUS 53252 HAS SOUPS 49414 WITH SCORE 49592.645
AT ITER 3219 NEW BEST:: SOT 230181 SOS 178641 HAS SOPS 100119 HAS SOUS 53204 HAS SOUPS 49366 WITH SCORE 49544.641
AT ITER 3224 NEW BEST:: SOT 230173 SOS 178633 HAS SOPS 100107 HAS SOUS 53182 HAS SOUPS 49344 WITH SCORE 49522.633
AT ITER 3227 NEW BEST:: SOT 230044 SOS 178504 HAS SOPS 99926 HAS SOUS 53008 HAS SOUPS 49170 WITH SCORE 49348.504
AT ITER 3235 NEW BEST:: SOT 230022 SOS 178482 HAS SOPS 99893 HAS SOUS 52953 HAS SOUPS 49115 WITH SCORE 49293.482
AT ITER 3248 NEW BEST:: SOT 230022 SOS 178482 HAS SOPS 99893 HAS SOUS 52949 HAS SOUPS 49111 WITH SCORE 49289.482
AT ITER 3264 NEW BEST:: SOT 229992 SOS 178452 HAS SOPS 99848 HAS SOUS 52889 HAS SOUPS 49051 WITH SCORE 49229.452
AT ITER 3314 NEW BEST:: SOT 229966 SOS 178426 HAS SOPS 99744 HAS SOUS 52883 HAS SOUPS 49045 WITH SCORE 49223.426
AT ITER 3331 NEW BEST:: SOT 229972 SOS 178397 HAS SOPS 99670 HAS SOUS 52860 HAS SOUPS 49022 WITH SCORE 49200.397
AT ITER 3345 NEW BEST:: SOT 229968 SOS 178393 HAS SOPS 99662 HAS SOUS 52852 HAS SOUPS 49014 WITH SCORE 49192.393
AT ITER 3347 NEW BEST:: SOT 229894 SOS 178319 HAS SOPS 99514 HAS SOUS 52646 HAS SOUPS 48808 WITH SCORE 48986.319
AT ITER 3352 NEW BEST:: SOT 229933 SOS 178358 HAS SOPS 99496 HAS SOUS 52622 HAS SOUPS 48784 WITH SCORE 48962.358
AT ITER 3359 NEW BEST:: SOT 229963 SOS 178388 HAS SOPS 99313 HAS SOUS 52576 HAS SOUPS 48712 WITH SCORE 48890.388
AT ITER 3362 NEW BEST:: SOT 229977 SOS 178421 HAS SOPS 99346 HAS SOUS 52572 HAS SOUPS 48708 WITH SCORE 48886.421
AT ITER 3380 NEW BEST:: SOT 229882 SOS 178326 HAS SOPS 99340 HAS SOUS 52541 HAS SOUPS 48677 WITH SCORE 48855.326
AT ITER 3387 NEW BEST:: SOT 229882 SOS 178326 HAS SOPS 99340 HAS SOUS 52534 HAS SOUPS 48670 WITH SCORE 48848.326
AT ITER 3393 NEW BEST:: SOT 229742 SOS 178186 HAS SOPS 99208 HAS SOUS 52389 HAS SOUPS 48525 WITH SCORE 48703.186
AT ITER 3396 NEW BEST:: SOT 229796 SOS 178236 HAS SOPS 99258 HAS SOUS 52381 HAS SOUPS 48517 WITH SCORE 48695.236
AT ITER 3407 NEW BEST:: SOT 229769 SOS 178095 HAS SOPS 98983 HAS SOUS 52299 HAS SOUPS 48435 WITH SCORE 48613.095
AT ITER 3424 NEW BEST:: SOT 229631 SOS 177957 HAS SOPS 98776 HAS SOUS 52092 HAS SOUPS 48228 WITH SCORE 48405.957
AT ITER 3432 NEW BEST:: SOT 229570 SOS 178017 HAS SOPS 99009 HAS SOUS 52052 HAS SOUPS 48188 WITH SCORE 48366.017
AT ITER 3433 NEW BEST:: SOT 229560 SOS 178007 HAS SOPS 98989 HAS SOUS 52037 HAS SOUPS 48173 WITH SCORE 48351.007
AT ITER 3434 NEW BEST:: SOT 229447 SOS 177913 HAS SOPS 98851 HAS SOUS 51943 HAS SOUPS 48079 WITH SCORE 48256.913
AT ITER 3437 NEW BEST:: SOT 229320 SOS 177786 HAS SOPS 98853 HAS SOUS 51890 HAS SOUPS 48026 WITH SCORE 48203.786
AT ITER 3442 NEW BEST:: SOT 229280 SOS 177734 HAS SOPS 98761 HAS SOUS 51776 HAS SOUPS 47912 WITH SCORE 48089.734
AT ITER 3451 NEW BEST:: SOT 229260 SOS 177714 HAS SOPS 98715 HAS SOUS 51746 HAS SOUPS 47882 WITH SCORE 48059.714
AT ITER 3474 NEW BEST:: SOT 229246 SOS 177700 HAS SOPS 98687 HAS SOUS 51725 HAS SOUPS 47861 WITH SCORE 48038.7
AT ITER 3491 NEW BEST:: SOT 229225 SOS 177679 HAS SOPS 98666 HAS SOUS 51648 HAS SOUPS 47784 WITH SCORE 47961.679
AT ITER 3498 NEW BEST:: SOT 229225 SOS 177559 HAS SOPS 98426 HAS SOUS 51648 HAS SOUPS 47784 WITH SCORE 47961.559
AT ITER 3508 NEW BEST:: SOT 229262 SOS 177596 HAS SOPS 98311 HAS SOUS 51591 HAS SOUPS 47727 WITH SCORE 47904.596
AT ITER 3521 NEW BEST:: SOT 229242 SOS 177576 HAS SOPS 98281 HAS SOUS 51512 HAS SOUPS 47648 WITH SCORE 47825.576
AT ITER 3542 NEW BEST:: SOT 229216 SOS 177492 HAS SOPS 98173 HAS SOUS 51486 HAS SOUPS 47622 WITH SCORE 47799.492
AT ITER 3555 NEW BEST:: SOT 229164 SOS 177414 HAS SOPS 98069 HAS SOUS 51382 HAS SOUPS 47518 WITH SCORE 47695.414
AT ITER 3559 NEW BEST:: SOT 229076 SOS 177326 HAS SOPS 97521 HAS SOUS 50946 HAS SOUPS 47065 WITH SCORE 47242.326
AT ITER 3566 NEW BEST:: SOT 229265 SOS 177469 HAS SOPS 97664 HAS SOUS 50936 HAS SOUPS 47055 WITH SCORE 47232.469
AT ITER 3583 NEW BEST:: SOT 229309 SOS 177034 HAS SOPS 97281 HAS SOUS 50908 HAS SOUPS 47027 WITH SCORE 47204.034
AT ITER 3616 NEW BEST:: SOT 229277 SOS 177002 HAS SOPS 97233 HAS SOUS 50861 HAS SOUPS 46980 WITH SCORE 47157.002
AT ITER 3629 NEW BEST:: SOT 228747 SOS 176549 HAS SOPS 96747 HAS SOUS 50275 HAS SOUPS 46394 WITH SCORE 46570.549
AT ITER 3643 NEW BEST:: SOT 228727 SOS 176525 HAS SOPS 96718 HAS SOUS 50255 HAS SOUPS 46374 WITH SCORE 46550.525
AT ITER 3644 NEW BEST:: SOT 228711 SOS 176509 HAS SOPS 96694 HAS SOUS 50230 HAS SOUPS 46349 WITH SCORE 46525.509
AT ITER 3659 NEW BEST:: SOT 228685 SOS 176413 HAS SOPS 96568 HAS SOUS 50204 HAS SOUPS 46323 WITH SCORE 46499.413
AT ITER 3680 NEW BEST:: SOT 228671 SOS 176399 HAS SOPS 96554 HAS SOUS 50204 HAS SOUPS 46323 WITH SCORE 46499.399
AT ITER 3724 NEW BEST:: SOT 228671 SOS 176399 HAS SOPS 96554 HAS SOUS 50195 HAS SOUPS 46314 WITH SCORE 46490.399
AT ITER 3729 NEW BEST:: SOT 228613 SOS 176341 HAS SOPS 96467 HAS SOUS 50085 HAS SOUPS 46204 WITH SCORE 46380.341
AT ITER 3748 NEW BEST:: SOT 228577 SOS 176305 HAS SOPS 96431 HAS SOUS 50049 HAS SOUPS 46168 WITH SCORE 46344.305
AT ITER 3753 NEW BEST:: SOT 228577 SOS 176305 HAS SOPS 96431 HAS SOUS 50019 HAS SOUPS 46138 WITH SCORE 46314.305
AT ITER 3769 NEW BEST:: SOT 228547 SOS 176275 HAS SOPS 96396 HAS SOUS 49984 HAS SOUPS 46103 WITH SCORE 46279.275
AT ITER 3781 NEW BEST:: SOT 228399 SOS 176127 HAS SOPS 96174 HAS SOUS 49762 HAS SOUPS 45881 WITH SCORE 46057.127
AT ITER 3789 NEW BEST:: SOT 228379 SOS 176107 HAS SOPS 96144 HAS SOUS 49732 HAS SOUPS 45851 WITH SCORE 46027.107
AT ITER 3797 NEW BEST:: SOT 228300 SOS 176028 HAS SOPS 95883 HAS SOUS 49484 HAS SOUPS 45603 WITH SCORE 45779.028
AT ITER 3802 NEW BEST:: SOT 228260 SOS 175988 HAS SOPS 95824 HAS SOUS 49404 HAS SOUPS 45523 WITH SCORE 45698.988
AT ITER 3803 NEW BEST:: SOT 228046 SOS 175774 HAS SOPS 95444 HAS SOUS 49251 HAS SOUPS 45370 WITH SCORE 45545.774
AT ITER 3825 NEW BEST:: SOT 228080 SOS 175808 HAS SOPS 95415 HAS SOUS 49245 HAS SOUPS 45364 WITH SCORE 45539.808
AT ITER 3853 NEW BEST:: SOT 227910 SOS 175627 HAS SOPS 95133 HAS SOUS 48939 HAS SOUPS 45058 WITH SCORE 45233.627
AT ITER 3855 NEW BEST:: SOT 227924 SOS 175641 HAS SOPS 95083 HAS SOUS 48882 HAS SOUPS 45001 WITH SCORE 45176.641
AT ITER 3859 NEW BEST:: SOT 227894 SOS 175611 HAS SOPS 95098 HAS SOUS 48835 HAS SOUPS 44954 WITH SCORE 45129.611
AT ITER 3870 NEW BEST:: SOT 227916 SOS 175633 HAS SOPS 95035 HAS SOUS 48783 HAS SOUPS 44902 WITH SCORE 45077.633
AT ITER 3871 NEW BEST:: SOT 227556 SOS 175273 HAS SOPS 94555 HAS SOUS 48280 HAS SOUPS 44399 WITH SCORE 44574.273
AT ITER 3878 NEW BEST:: SOT 227555 SOS 175271 HAS SOPS 94552 HAS SOUS 48279 HAS SOUPS 44398 WITH SCORE 44573.271
AT ITER 3880 NEW BEST:: SOT 227549 SOS 175265 HAS SOPS 94543 HAS SOUS 48238 HAS SOUPS 44357 WITH SCORE 44532.265
AT ITER 3881 NEW BEST:: SOT 227549 SOS 175218 HAS SOPS 94569 HAS SOUS 48238 HAS SOUPS 44357 WITH SCORE 44532.218
AT ITER 3889 NEW BEST:: SOT 227365 SOS 175034 HAS SOPS 94201 HAS SOUS 47962 HAS SOUPS 44081 WITH SCORE 44256.034
AT ITER 3921 NEW BEST:: SOT 227329 SOS 174998 HAS SOPS 94075 HAS SOUS 47854 HAS SOUPS 43973 WITH SCORE 44147.998
AT ITER 3927 NEW BEST:: SOT 227292 SOS 174861 HAS SOPS 93971 HAS SOUS 47831 HAS SOUPS 43950 WITH SCORE 44124.861
AT ITER 3936 NEW BEST:: SOT 227292 SOS 174854 HAS SOPS 93958 HAS SOUS 47831 HAS SOUPS 43950 WITH SCORE 44124.854
AT ITER 3958 NEW BEST:: SOT 227260 SOS 174822 HAS SOPS 93910 HAS SOUS 47752 HAS SOUPS 43871 WITH SCORE 44045.822
AT ITER 3980 NEW BEST:: SOT 227229 SOS 174772 HAS SOPS 93919 HAS SOUS 47738 HAS SOUPS 43857 WITH SCORE 44031.772
AT ITER 3991 NEW BEST:: SOT 227229 SOS 174772 HAS SOPS 93919 HAS SOUS 47689 HAS SOUPS 43808 WITH SCORE 43982.772
AT ITER 3992 NEW BEST:: SOT 227215 SOS 174758 HAS SOPS 93898 HAS SOUS 47668 HAS SOUPS 43787 WITH SCORE 43961.758
AT ITER 3995 NEW BEST:: SOT 227215 SOS 174758 HAS SOPS 93870 HAS SOUS 47647 HAS SOUPS 43766 WITH SCORE 43940.758
AT ITER 3996 NEW BEST:: SOT 226894 SOS 177667 HAS SOPS 94862 HAS SOUS 47665 HAS SOUPS 43739 WITH SCORE 43916.667
AT ITER 3997 NEW BEST:: SOT 226894 SOS 177667 HAS SOPS 94862 HAS SOUS 47656 HAS SOUPS 43730 WITH SCORE 43907.667
AT ITER 4021 NEW BEST:: SOT 226824 SOS 177597 HAS SOPS 94897 HAS SOUS 47656 HAS SOUPS 43730 WITH SCORE 43907.597
AT ITER 4035 NEW BEST:: SOT 226822 SOS 177595 HAS SOPS 94894 HAS SOUS 47653 HAS SOUPS 43727 WITH SCORE 43904.595
AT ITER 4046 NEW BEST:: SOT 226822 SOS 177594 HAS SOPS 94893 HAS SOUS 47653 HAS SOUPS 43727 WITH SCORE 43904.594
AT ITER 4074 NEW BEST:: SOT 226751 SOS 177413 HAS SOPS 94708 HAS SOUS 47604 HAS SOUPS 43678 WITH SCORE 43855.413
AT ITER 4078 NEW BEST:: SOT 226695 SOS 177357 HAS SOPS 94708 HAS SOUS 47604 HAS SOUPS 43678 WITH SCORE 43855.357
AT ITER 4081 NEW BEST:: SOT 226695 SOS 177357 HAS SOPS 94672 HAS SOUS 47577 HAS SOUPS 43651 WITH SCORE 43828.357
AT ITER 4084 NEW BEST:: SOT 226674 SOS 177336 HAS SOPS 94630 HAS SOUS 47540 HAS SOUPS 43614 WITH SCORE 43791.336
AT ITER 4091 NEW BEST:: SOT 226674 SOS 177336 HAS SOPS 94630 HAS SOUS 47538 HAS SOUPS 43612 WITH SCORE 43789.336
AT ITER 4095 NEW BEST:: SOT 226571 SOS 177233 HAS SOPS 94527 HAS SOUS 47502 HAS SOUPS 43576 WITH SCORE 43753.233
AT ITER 4108 NEW BEST:: SOT 226571 SOS 177233 HAS SOPS 94527 HAS SOUS 47460 HAS SOUPS 43534 WITH SCORE 43711.233
AT ITER 4113 NEW BEST:: SOT 226569 SOS 177223 HAS SOPS 94517 HAS SOUS 47458 HAS SOUPS 43532 WITH SCORE 43709.223
AT ITER 4121 NEW BEST:: SOT 226582 SOS 177108 HAS SOPS 94226 HAS SOUS 47413 HAS SOUPS 43487 WITH SCORE 43664.108
AT ITER 4127 NEW BEST:: SOT 226592 SOS 177118 HAS SOPS 94193 HAS SOUS 47380 HAS SOUPS 43454 WITH SCORE 43631.118
AT ITER 4128 NEW BEST:: SOT 226543 SOS 177049 HAS SOPS 94114 HAS SOUS 47361 HAS SOUPS 43435 WITH SCORE 43612.049
AT ITER 4145 NEW BEST:: SOT 226508 SOS 177014 HAS SOPS 94052 HAS SOUS 47276 HAS SOUPS 43350 WITH SCORE 43527.014
AT ITER 4148 NEW BEST:: SOT 226508 SOS 177014 HAS SOPS 93984 HAS SOUS 47208 HAS SOUPS 43282 WITH SCORE 43459.014
AT ITER 4150 NEW BEST:: SOT 226191 SOS 178327 HAS SOPS 94140 HAS SOUS 47131 HAS SOUPS 43175 WITH SCORE 43353.327
AT ITER 4155 NEW BEST:: SOT 226117 SOS 178253 HAS SOPS 94029 HAS SOUS 46963 HAS SOUPS 43007 WITH SCORE 43185.253
AT ITER 4168 NEW BEST:: SOT 226044 SOS 178096 HAS SOPS 93786 HAS SOUS 46938 HAS SOUPS 42982 WITH SCORE 43160.096
AT ITER 4178 NEW BEST:: SOT 225940 SOS 177992 HAS SOPS 93630 HAS SOUS 46812 HAS SOUPS 42856 WITH SCORE 43033.992
AT ITER 4184 NEW BEST:: SOT 225906 SOS 177958 HAS SOPS 93562 HAS SOUS 46710 HAS SOUPS 42754 WITH SCORE 42931.958
AT ITER 4190 NEW BEST:: SOT 225872 SOS 177924 HAS SOPS 93579 HAS SOUS 46710 HAS SOUPS 42754 WITH SCORE 42931.924
AT ITER 4219 NEW BEST:: SOT 225866 SOS 177918 HAS SOPS 93467 HAS SOUS 46694 HAS SOUPS 42721 WITH SCORE 42898.918
AT ITER 4220 NEW BEST:: SOT 225934 SOS 177986 HAS SOPS 93503 HAS SOUS 46664 HAS SOUPS 42691 WITH SCORE 42868.986
AT ITER 4227 NEW BEST:: SOT 225886 SOS 177938 HAS SOPS 93431 HAS SOUS 46543 HAS SOUPS 42570 WITH SCORE 42747.938
AT ITER 4231 NEW BEST:: SOT 225818 SOS 177870 HAS SOPS 93371 HAS SOUS 46469 HAS SOUPS 42496 WITH SCORE 42673.87
AT ITER 4241 NEW BEST:: SOT 225818 SOS 177870 HAS SOPS 93371 HAS SOUS 46438 HAS SOUPS 42465 WITH SCORE 42642.87
AT ITER 4260 NEW BEST:: SOT 225814 SOS 177866 HAS SOPS 93365 HAS SOUS 46396 HAS SOUPS 42423 WITH SCORE 42600.866
AT ITER 4264 NEW BEST:: SOT 225786 SOS 177838 HAS SOPS 93351 HAS SOUS 46375 HAS SOUPS 42402 WITH SCORE 42579.838
AT ITER 4279 NEW BEST:: SOT 225770 SOS 177822 HAS SOPS 93327 HAS SOUS 46351 HAS SOUPS 42378 WITH SCORE 42555.822
AT ITER 4281 NEW BEST:: SOT 225674 SOS 177726 HAS SOPS 93183 HAS SOUS 46189 HAS SOUPS 42216 WITH SCORE 42393.726
AT ITER 4315 NEW BEST:: SOT 225682 SOS 177734 HAS SOPS 93195 HAS SOUS 46187 HAS SOUPS 42214 WITH SCORE 42391.734
AT ITER 4320 NEW BEST:: SOT 225300 SOS 180476 HAS SOPS 93990 HAS SOUS 46192 HAS SOUPS 42170 WITH SCORE 42350.476
AT ITER 4333 NEW BEST:: SOT 225300 SOS 180476 HAS SOPS 93990 HAS SOUS 46138 HAS SOUPS 42116 WITH SCORE 42296.476
AT ITER 4340 NEW BEST:: SOT 225300 SOS 180476 HAS SOPS 93990 HAS SOUS 46136 HAS SOUPS 42114 WITH SCORE 42294.476
AT ITER 4347 NEW BEST:: SOT 225294 SOS 179880 HAS SOPS 93496 HAS SOUS 46123 HAS SOUPS 42101 WITH SCORE 42280.88
AT ITER 4360 NEW BEST:: SOT 225080 SOS 182355 HAS SOPS 94404 HAS SOUS 46092 HAS SOUPS 42035 WITH SCORE 42217.355
AT ITER 4374 NEW BEST:: SOT 225076 SOS 182351 HAS SOPS 94398 HAS SOUS 46086 HAS SOUPS 42029 WITH SCORE 42211.351
AT ITER 4383 NEW BEST:: SOT 225064 SOS 182339 HAS SOPS 94380 HAS SOUS 46068 HAS SOUPS 42011 WITH SCORE 42193.339
AT ITER 4418 NEW BEST:: SOT 225064 SOS 182339 HAS SOPS 94380 HAS SOUS 46047 HAS SOUPS 41990 WITH SCORE 42172.339
AT ITER 4425 NEW BEST:: SOT 225052 SOS 182327 HAS SOPS 94368 HAS SOUS 46047 HAS SOUPS 41990 WITH SCORE 42172.327
AT ITER 4431 NEW BEST:: SOT 225012 SOS 182287 HAS SOPS 94308 HAS SOUS 45978 HAS SOUPS 41921 WITH SCORE 42103.287
AT ITER 4442 NEW BEST:: SOT 224966 SOS 182241 HAS SOPS 94262 HAS SOUS 45954 HAS SOUPS 41897 WITH SCORE 42079.241
AT ITER 4474 NEW BEST:: SOT 224942 SOS 182217 HAS SOPS 94238 HAS SOUS 45924 HAS SOUPS 41867 WITH SCORE 42049.217
AT ITER 4486 NEW BEST:: SOT 224942 SOS 182217 HAS SOPS 94238 HAS SOUS 45888 HAS SOUPS 41831 WITH SCORE 42013.217
AT ITER 4489 NEW BEST:: SOT 224928 SOS 182203 HAS SOPS 94217 HAS SOUS 45887 HAS SOUPS 41830 WITH SCORE 42012.203
AT ITER 4498 NEW BEST:: SOT 224778 SOS 182053 HAS SOPS 93992 HAS SOUS 45558 HAS SOUPS 41501 WITH SCORE 41683.053
AT ITER 4532 NEW BEST:: SOT 224928 SOS 182203 HAS SOPS 93652 HAS SOUS 45308 HAS SOUPS 41251 WITH SCORE 41433.203
AT ITER 4555 NEW BEST:: SOT 224956 SOS 182231 HAS SOPS 93637 HAS SOUS 45293 HAS SOUPS 41236 WITH SCORE 41418.231
AT ITER 4558 NEW BEST:: SOT 224860 SOS 182135 HAS SOPS 93493 HAS SOUS 45108 HAS SOUPS 41051 WITH SCORE 41233.135
AT ITER 4563 NEW BEST:: SOT 224818 SOS 182093 HAS SOPS 93409 HAS SOUS 44980 HAS SOUPS 40923 WITH SCORE 41105.093
AT ITER 4595 NEW BEST:: SOT 224804 SOS 182079 HAS SOPS 93401 HAS SOUS 44959 HAS SOUPS 40902 WITH SCORE 41084.079
AT ITER 4607 NEW BEST:: SOT 224816 SOS 181862 HAS SOPS 93319 HAS SOUS 44947 HAS SOUPS 40893 WITH SCORE 41074.862
AT ITER 4611 NEW BEST:: SOT 224796 SOS 181842 HAS SOPS 93289 HAS SOUS 44917 HAS SOUPS 40863 WITH SCORE 41044.842
AT ITER 4618 NEW BEST:: SOT 224778 SOS 181824 HAS SOPS 93262 HAS SOUS 44890 HAS SOUPS 40836 WITH SCORE 41017.824
AT ITER 4643 NEW BEST:: SOT 224778 SOS 181824 HAS SOPS 93262 HAS SOUS 44882 HAS SOUPS 40828 WITH SCORE 41009.824
AT ITER 4671 NEW BEST:: SOT 225089 SOS 178358 HAS SOPS 92326 HAS SOUS 44827 HAS SOUPS 40831 WITH SCORE 41009.358
AT ITER 4683 NEW BEST:: SOT 225089 SOS 178358 HAS SOPS 92227 HAS SOUS 44629 HAS SOUPS 40633 WITH SCORE 40811.358
AT ITER 4702 NEW BEST:: SOT 225125 SOS 178394 HAS SOPS 92209 HAS SOUS 44624 HAS SOUPS 40628 WITH SCORE 40806.394
AT ITER 4721 NEW BEST:: SOT 225097 SOS 178366 HAS SOPS 92153 HAS SOUS 44582 HAS SOUPS 40586 WITH SCORE 40764.366
AT ITER 4730 NEW BEST:: SOT 225197 SOS 176882 HAS SOPS 91549 HAS SOUS 44556 HAS SOUPS 40580 WITH SCORE 40756.882
AT ITER 4733 NEW BEST:: SOT 225211 SOS 176896 HAS SOPS 91563 HAS SOUS 44528 HAS SOUPS 40552 WITH SCORE 40728.896
AT ITER 4764 NEW BEST:: SOT 225249 SOS 176934 HAS SOPS 91539 HAS SOUS 44504 HAS SOUPS 40528 WITH SCORE 40704.934
AT ITER 4769 NEW BEST:: SOT 225251 SOS 176768 HAS SOPS 91361 HAS SOUS 44492 HAS SOUPS 40504 WITH SCORE 40680.768
AT ITER 4787 NEW BEST:: SOT 225245 SOS 176762 HAS SOPS 91352 HAS SOUS 44469 HAS SOUPS 40481 WITH SCORE 40657.762
AT ITER 4793 NEW BEST:: SOT 225236 SOS 176753 HAS SOPS 91343 HAS SOUS 44469 HAS SOUPS 40481 WITH SCORE 40657.753
AT ITER 4795 NEW BEST:: SOT 225156 SOS 176673 HAS SOPS 91223 HAS SOUS 44330 HAS SOUPS 40342 WITH SCORE 40518.673
AT ITER 4809 NEW BEST:: SOT 225156 SOS 176673 HAS SOPS 91223 HAS SOUS 44323 HAS SOUPS 40335 WITH SCORE 40511.673
AT ITER 4815 NEW BEST:: SOT 225083 SOS 176600 HAS SOPS 91241 HAS SOUS 44309 HAS SOUPS 40321 WITH SCORE 40497.6
AT ITER 4828 NEW BEST:: SOT 225083 SOS 176599 HAS SOPS 91240 HAS SOUS 44309 HAS SOUPS 40321 WITH SCORE 40497.599
AT ITER 4841 NEW BEST:: SOT 225083 SOS 176575 HAS SOPS 91240 HAS SOUS 44309 HAS SOUPS 40321 WITH SCORE 40497.575
AT ITER 4842 NEW BEST:: SOT 225129 SOS 176610 HAS SOPS 91275 HAS SOUS 44305 HAS SOUPS 40317 WITH SCORE 40493.61
AT ITER 4854 NEW BEST:: SOT 225069 SOS 176550 HAS SOPS 91185 HAS SOUS 44215 HAS SOUPS 40227 WITH SCORE 40403.55
AT ITER 4857 NEW BEST:: SOT 225057 SOS 176538 HAS SOPS 91167 HAS SOUS 44155 HAS SOUPS 40167 WITH SCORE 40343.538
AT ITER 4864 NEW BEST:: SOT 225048 SOS 176529 HAS SOPS 91152 HAS SOUS 44146 HAS SOUPS 40158 WITH SCORE 40334.529
AT ITER 4872 NEW BEST:: SOT 224906 SOS 176387 HAS SOPS 90928 HAS SOUS 44023 HAS SOUPS 40035 WITH SCORE 40211.387
AT ITER 4884 NEW BEST:: SOT 224888 SOS 176369 HAS SOPS 90901 HAS SOUS 43996 HAS SOUPS 40008 WITH SCORE 40184.369
AT ITER 4886 NEW BEST:: SOT 224888 SOS 176369 HAS SOPS 90898 HAS SOUS 43993 HAS SOUPS 40005 WITH SCORE 40181.369
AT ITER 4887 NEW BEST:: SOT 224924 SOS 176405 HAS SOPS 90777 HAS SOUS 44020 HAS SOUPS 39987 WITH SCORE 40163.405
AT ITER 4924 NEW BEST:: SOT 224894 SOS 176345 HAS SOPS 90745 HAS SOUS 43990 HAS SOUPS 39957 WITH SCORE 40133.345
AT ITER 4925 NEW BEST:: SOT 224826 SOS 176277 HAS SOPS 90677 HAS SOUS 43940 HAS SOUPS 39907 WITH SCORE 40083.277
AT ITER 4938 NEW BEST:: SOT 224776 SOS 176227 HAS SOPS 90602 HAS SOUS 43902 HAS SOUPS 39869 WITH SCORE 40045.227
AT ITER 4972 NEW BEST:: SOT 224770 SOS 176221 HAS SOPS 90593 HAS SOUS 43872 HAS SOUPS 39839 WITH SCORE 40015.221
AT ITER 4979 NEW BEST:: SOT 224766 SOS 176225 HAS SOPS 90605 HAS SOUS 43868 HAS SOUPS 39835 WITH SCORE 40011.225
Bounds file is: CTLFireability.xml
PROPERTY: Raft-PT-10-CTLFireability-00 (! (AG( (EF( ((potential((tk(P466)>=1) & (tk(P329)>=1)))))))))
PROPERTY: Raft-PT-10-CTLFireability-01 ( ( ( (! (AX( ((potential((tk(P461)>=1) & (tk(P368)>=1))))))) | ( ( ( ((potential((tk(P481)>=1)))) & ((potential((tk(P486)>=1) & (tk(P504)>=1)))) ) | ( ((potential((tk(P463)>=1)))) | ((potential((tk(P456)>=1) & (tk(P229)>=1)))) ) ) | ( ( ((potential((tk(P491)>=1) & (tk(P33)>=1)))) & ((potential((tk(P481)>=1) & (tk(P271)>=1)))) ) & ((potential((tk(P481)>=1) & (tk(P231)>=1)))) ) ) ) | ((potential((tk(P471)>=1) & (tk(P161)>=1)))) ) & (EF( (! (EF( ((potential((tk(P461)>=1))))))))) )
PROPERTY: Raft-PT-10-CTLFireability-02 ( (EU( (! (! ((potential((tk(P496)>=1) & (tk(P40)>=1)))))) , ( ( ((potential((tk(P476)>=1) & (tk(P186)>=1)))) | ((potential((tk(P476)>=1) & (tk(P226)>=1)))) ) | ( ((potential((tk(P471)>=1)))) | ((potential((tk(P501)>=1) & (tk(P357)>=1)))) ) ) )) | (! ( (EF( ((potential((tk(P464)>=1)))))) & (EF( (! ((potential((tk(P496)>=1) & (tk(P450)>=1))))))) )) )
PROPERTY: Raft-PT-10-CTLFireability-03 (EG( (AG( (! ( ((potential((tk(P471)>=1) & (tk(P105)>=1)))) & ((potential((tk(P461)>=1) & (tk(P235)>=1)))) ))))))
PROPERTY: Raft-PT-10-CTLFireability-04 (EF( (EG( (AG( ((potential((tk(P466)>=1) & (tk(P96)>=1))))))))))
PROPERTY: Raft-PT-10-CTLFireability-05 ( (! (! ((potential((tk(P506)>=1)))))) | (! (EF( (AG( ((potential((tk(P456)>=1) & (tk(P94)>=1))))))))) )
PROPERTY: Raft-PT-10-CTLFireability-06 (EF( (AF( (AF( ((potential((tk(P473)>=1))))))))))
PROPERTY: Raft-PT-10-CTLFireability-07 (EF( (AG( (EX( ((potential((tk(P481)>=1) & (tk(P241)>=1))))))))))
PROPERTY: Raft-PT-10-CTLFireability-08 (AG( (AG( ( (! ((potential((tk(P481)>=1) & (tk(P68)>=1))))) | ( ((potential((tk(P486)>=1) & (tk(P311)>=1)))) | ((potential((tk(P496)>=1) & (tk(P37)>=1)))) ) )))))
PROPERTY: Raft-PT-10-CTLFireability-09 (EF( ( ( (AX( ((potential((tk(P486)>=1) & (tk(P286)>=1)))))) & ( ((potential((tk(P461)>=1) & (tk(P61)>=1)))) & ( ((potential((tk(P481)>=1) & (tk(P256)>=1)))) & ((potential((tk(P466)>=1) & (tk(P52)>=1)))) ) ) ) | ( (EF( ((potential((tk(P466)>=1) & (tk(P374)>=1)))))) & (AF( ((potential((tk(P455)>=1)))))) ) )))
PROPERTY: Raft-PT-10-CTLFireability-10 (AG( (! (AG( ( ((potential((tk(P466)>=1) & (tk(P111)>=1)))) & ((potential((tk(P471)>=1) & (tk(P104)>=1)))) ))))))
PROPERTY: Raft-PT-10-CTLFireability-11 ( (EU( ( (! ((potential((tk(P501)>=1) & (tk(P421)>=1))))) | ((potential((tk(P468)>=1)))) ) , ( ( ((potential((tk(P501)>=1)))) | ((potential((tk(P491)>=1) & (tk(P326)>=1)))) ) | ( ((potential((tk(P495)>=1)))) | ((potential((tk(P499)>=1)))) ) ) )) & (AG( (! ( ( ((potential((tk(P452)>=1)))) & ((potential((tk(P456)>=1) & (tk(P409)>=1)))) ) & ((potential((tk(P491)>=1) & (tk(P33)>=1)))) )))) )
PROPERTY: Raft-PT-10-CTLFireability-12 (EF( ( ( (! ( ((potential((tk(P456)>=1) & (tk(P21)>=1)))) & ((potential((tk(P496)>=1) & (tk(P376)>=1)))) )) & ( (! ((potential((tk(P471)>=1) & (tk(P104)>=1))))) & (! ((potential((tk(P486)>=1) & (tk(P296)>=1))))) ) ) & ((potential((tk(P496)>=1) & (tk(P307)>=1)))) )))
PROPERTY: Raft-PT-10-CTLFireability-13 (EX( (EU( ( ((potential((tk(P496)>=1) & (tk(P386)>=1)))) | ((potential((tk(P456)>=1) & (tk(P48)>=1)))) ) , (! ((potential((tk(P481)>=1))))) ))))
PROPERTY: Raft-PT-10-CTLFireability-14 (AX( (AX( (EF( ((potential((tk(P486)>=1) & (tk(P276)>=1))))))))))
PROPERTY: Raft-PT-10-CTLFireability-15 (AX( (EU( ( ((potential((tk(P481)>=1) & (tk(P251)>=1)))) | ((potential((tk(P466)>=1) & (tk(P116)>=1)))) ) , ( ((potential((tk(P501)>=1) & (tk(P133)>=1)))) & ((potential((tk(P468)>=1)))) ) ))))

BK_STOP 1589812945630

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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