Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r355-smll-167891803800568.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SharedMemory-COL-000020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803800568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 14:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 14:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 14:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 13K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679996674154

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SharedMemory-COL-000020
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-28 09:44:38] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-28 09:44:38] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-28 09:44:38] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-28 09:44:39] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-28 09:44:40] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1183 ms
[2023-03-28 09:44:40] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 481 PT places and 1240.0 transition bindings in 39 ms.
[2023-03-28 09:44:40] [INFO ] Unfolded HLPN to a Petri net with 481 places and 840 transitions 3280 arcs in 119 ms.
[2023-03-28 09:44:40] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 20 places and 20 transitions.
[2023-03-28 09:44:40] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 461 places, 820 transitions and 3200 arcs took 30 ms.
Total runtime 1867 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SharedMemory (COL), instance 000020
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 461 places, 820 transitions, 3200 arcs.
AT ITER 0 NEW BEST:: SOT 332343 SOS 166201 HAS SOPS 166200 HAS SOUS 164453 HAS SOUPS 164452 WITH SCORE 164618.201
AT ITER 2 NEW BEST:: SOT 332389 SOS 166247 HAS SOPS 166246 HAS SOUS 164432 HAS SOUPS 164431 WITH SCORE 164597.247
AT ITER 4 NEW BEST:: SOT 331679 SOS 167377 HAS SOPS 167376 HAS SOUS 163734 HAS SOUPS 163733 WITH SCORE 163900.377
AT ITER 12 NEW BEST:: SOT 331372 SOS 167072 HAS SOPS 167069 HAS SOUS 163429 HAS SOUPS 163426 WITH SCORE 163593.072
AT ITER 15 NEW BEST:: SOT 330557 SOS 166640 HAS SOPS 166637 HAS SOUS 162616 HAS SOUPS 162613 WITH SCORE 162779.64
AT ITER 18 NEW BEST:: SOT 330557 SOS 166617 HAS SOPS 166614 HAS SOUS 162616 HAS SOUPS 162613 WITH SCORE 162779.617
AT ITER 21 NEW BEST:: SOT 330547 SOS 166587 HAS SOPS 166584 HAS SOUS 162606 HAS SOUPS 162603 WITH SCORE 162769.587
AT ITER 28 NEW BEST:: SOT 330591 SOS 166631 HAS SOPS 166628 HAS SOUS 162579 HAS SOUPS 162576 WITH SCORE 162742.631
AT ITER 29 NEW BEST:: SOT 329868 SOS 166618 HAS SOPS 166615 HAS SOUS 161893 HAS SOUPS 161890 WITH SCORE 162056.618
AT ITER 30 NEW BEST:: SOT 329868 SOS 166509 HAS SOPS 166506 HAS SOUS 161893 HAS SOUPS 161890 WITH SCORE 162056.509
AT ITER 33 NEW BEST:: SOT 329868 SOS 166490 HAS SOPS 166487 HAS SOUS 161893 HAS SOUPS 161890 WITH SCORE 162056.49
AT ITER 36 NEW BEST:: SOT 329126 SOS 167859 HAS SOPS 167856 HAS SOUS 161207 HAS SOUPS 161204 WITH SCORE 161371.859
AT ITER 38 NEW BEST:: SOT 328436 SOS 167834 HAS SOPS 167831 HAS SOUS 160568 HAS SOUPS 160565 WITH SCORE 160732.834
AT ITER 40 NEW BEST:: SOT 327739 SOS 168311 HAS SOPS 168308 HAS SOUS 159946 HAS SOUPS 159943 WITH SCORE 160111.311
AT ITER 44 NEW BEST:: SOT 327739 SOS 168293 HAS SOPS 168290 HAS SOUS 159946 HAS SOUPS 159943 WITH SCORE 160111.293
AT ITER 45 NEW BEST:: SOT 327739 SOS 168263 HAS SOPS 168260 HAS SOUS 159946 HAS SOUPS 159943 WITH SCORE 160111.263
AT ITER 46 NEW BEST:: SOT 327208 SOS 167882 HAS SOPS 167879 HAS SOUS 159435 HAS SOUPS 159432 WITH SCORE 159599.882
AT ITER 51 NEW BEST:: SOT 326872 SOS 168401 HAS SOPS 168398 HAS SOUS 159111 HAS SOUPS 159108 WITH SCORE 159276.401
AT ITER 54 NEW BEST:: SOT 326872 SOS 168293 HAS SOPS 168290 HAS SOUS 159111 HAS SOUPS 159108 WITH SCORE 159276.293
AT ITER 60 NEW BEST:: SOT 326352 SOS 170955 HAS SOPS 170954 HAS SOUS 158617 HAS SOUPS 158616 WITH SCORE 158786.955
AT ITER 61 NEW BEST:: SOT 326368 SOS 170987 HAS SOPS 170986 HAS SOUS 158604 HAS SOUPS 158603 WITH SCORE 158773.987
AT ITER 68 NEW BEST:: SOT 326368 SOS 170873 HAS SOPS 170872 HAS SOUS 158604 HAS SOUPS 158603 WITH SCORE 158773.873
AT ITER 69 NEW BEST:: SOT 326337 SOS 170842 HAS SOPS 170841 HAS SOUS 158542 HAS SOUPS 158541 WITH SCORE 158711.842
AT ITER 71 NEW BEST:: SOT 325557 SOS 174371 HAS SOPS 174370 HAS SOUS 157775 HAS SOUPS 157774 WITH SCORE 157948.371
AT ITER 72 NEW BEST:: SOT 325557 SOS 174278 HAS SOPS 174277 HAS SOUS 157775 HAS SOUPS 157774 WITH SCORE 157948.278
AT ITER 76 NEW BEST:: SOT 325224 SOS 174435 HAS SOPS 174434 HAS SOUS 157480 HAS SOUPS 157479 WITH SCORE 157653.435
AT ITER 78 NEW BEST:: SOT 325100 SOS 174358 HAS SOPS 174357 HAS SOUS 157232 HAS SOUPS 157231 WITH SCORE 157405.358
AT ITER 80 NEW BEST:: SOT 325088 SOS 174130 HAS SOPS 174129 HAS SOUS 157208 HAS SOUPS 157207 WITH SCORE 157381.13
AT ITER 81 NEW BEST:: SOT 325088 SOS 174128 HAS SOPS 174127 HAS SOUS 157208 HAS SOUPS 157207 WITH SCORE 157381.128
AT ITER 83 NEW BEST:: SOT 324520 SOS 177254 HAS SOPS 177254 HAS SOUS 156893 HAS SOUPS 156893 WITH SCORE 157070.254
AT ITER 84 NEW BEST:: SOT 324520 SOS 177095 HAS SOPS 177095 HAS SOUS 156893 HAS SOUPS 156893 WITH SCORE 157070.095
AT ITER 85 NEW BEST:: SOT 324520 SOS 177051 HAS SOPS 177051 HAS SOUS 156893 HAS SOUPS 156893 WITH SCORE 157070.051
AT ITER 86 NEW BEST:: SOT 324155 SOS 176865 HAS SOPS 176865 HAS SOUS 156479 HAS SOUPS 156479 WITH SCORE 156655.865
AT ITER 87 NEW BEST:: SOT 324155 SOS 176762 HAS SOPS 176762 HAS SOUS 156479 HAS SOUPS 156479 WITH SCORE 156655.762
AT ITER 88 NEW BEST:: SOT 324155 SOS 176672 HAS SOPS 176672 HAS SOUS 156479 HAS SOUPS 156479 WITH SCORE 156655.672
AT ITER 92 NEW BEST:: SOT 324109 SOS 176106 HAS SOPS 176106 HAS SOUS 156433 HAS SOUPS 156433 WITH SCORE 156609.106
AT ITER 94 NEW BEST:: SOT 324116 SOS 176113 HAS SOPS 176113 HAS SOUS 156407 HAS SOUPS 156407 WITH SCORE 156583.113
AT ITER 99 NEW BEST:: SOT 323383 SOS 175866 HAS SOPS 175859 HAS SOUS 156066 HAS SOUPS 156059 WITH SCORE 156234.866
AT ITER 104 NEW BEST:: SOT 322690 SOS 177145 HAS SOPS 177138 HAS SOUS 155335 HAS SOUPS 155328 WITH SCORE 155505.145
AT ITER 105 NEW BEST:: SOT 322348 SOS 176803 HAS SOPS 176796 HAS SOUS 154993 HAS SOUPS 154986 WITH SCORE 155162.803
AT ITER 110 NEW BEST:: SOT 322348 SOS 176750 HAS SOPS 176743 HAS SOUS 154993 HAS SOUPS 154986 WITH SCORE 155162.75
AT ITER 114 NEW BEST:: SOT 321501 SOS 177748 HAS SOPS 177741 HAS SOUS 153983 HAS SOUPS 153976 WITH SCORE 154153.748
AT ITER 115 NEW BEST:: SOT 321501 SOS 177731 HAS SOPS 177724 HAS SOUS 153983 HAS SOUPS 153976 WITH SCORE 154153.731
AT ITER 122 NEW BEST:: SOT 321501 SOS 177642 HAS SOPS 177635 HAS SOUS 153983 HAS SOUPS 153976 WITH SCORE 154153.642
AT ITER 124 NEW BEST:: SOT 321501 SOS 177630 HAS SOPS 177623 HAS SOUS 153983 HAS SOUPS 153976 WITH SCORE 154153.63
AT ITER 134 NEW BEST:: SOT 321501 SOS 177530 HAS SOPS 177523 HAS SOUS 153983 HAS SOUPS 153976 WITH SCORE 154153.53
AT ITER 135 NEW BEST:: SOT 321501 SOS 177353 HAS SOPS 177346 HAS SOUS 153983 HAS SOUPS 153976 WITH SCORE 154153.353
AT ITER 140 NEW BEST:: SOT 321525 SOS 177334 HAS SOPS 177303 HAS SOUS 154007 HAS SOUPS 153976 WITH SCORE 154153.334
AT ITER 143 NEW BEST:: SOT 320710 SOS 176746 HAS SOPS 176715 HAS SOUS 153357 HAS SOUPS 153326 WITH SCORE 153502.746
AT ITER 145 NEW BEST:: SOT 320710 SOS 176733 HAS SOPS 176702 HAS SOUS 153357 HAS SOUPS 153326 WITH SCORE 153502.733
AT ITER 147 NEW BEST:: SOT 320710 SOS 176522 HAS SOPS 176491 HAS SOUS 153357 HAS SOUPS 153326 WITH SCORE 153502.522
AT ITER 148 NEW BEST:: SOT 320710 SOS 176513 HAS SOPS 176482 HAS SOUS 153357 HAS SOUPS 153326 WITH SCORE 153502.513
AT ITER 154 NEW BEST:: SOT 320710 SOS 176484 HAS SOPS 176453 HAS SOUS 153357 HAS SOUPS 153326 WITH SCORE 153502.484
AT ITER 158 NEW BEST:: SOT 320710 SOS 176443 HAS SOPS 176412 HAS SOUS 153357 HAS SOUPS 153326 WITH SCORE 153502.443
AT ITER 162 NEW BEST:: SOT 320710 SOS 176242 HAS SOPS 176211 HAS SOUS 153292 HAS SOUPS 153261 WITH SCORE 153437.242
AT ITER 164 NEW BEST:: SOT 320700 SOS 176398 HAS SOPS 176367 HAS SOUS 153272 HAS SOUPS 153241 WITH SCORE 153417.398
AT ITER 166 NEW BEST:: SOT 319898 SOS 177599 HAS SOPS 177568 HAS SOUS 152423 HAS SOUPS 152392 WITH SCORE 152569.599
AT ITER 167 NEW BEST:: SOT 319119 SOS 176848 HAS SOPS 176817 HAS SOUS 151690 HAS SOUPS 151659 WITH SCORE 151835.848
AT ITER 170 NEW BEST:: SOT 319083 SOS 176457 HAS SOPS 176426 HAS SOUS 151623 HAS SOUPS 151592 WITH SCORE 151768.457
AT ITER 172 NEW BEST:: SOT 319083 SOS 176340 HAS SOPS 176309 HAS SOUS 151623 HAS SOUPS 151592 WITH SCORE 151768.34
AT ITER 174 NEW BEST:: SOT 319083 SOS 176330 HAS SOPS 176299 HAS SOUS 151623 HAS SOUPS 151592 WITH SCORE 151768.33
AT ITER 177 NEW BEST:: SOT 319083 SOS 176213 HAS SOPS 176182 HAS SOUS 151623 HAS SOUPS 151592 WITH SCORE 151768.213
AT ITER 182 NEW BEST:: SOT 319083 SOS 176041 HAS SOPS 176010 HAS SOUS 151623 HAS SOUPS 151592 WITH SCORE 151768.041
AT ITER 184 NEW BEST:: SOT 319049 SOS 175967 HAS SOPS 175936 HAS SOUS 151616 HAS SOUPS 151585 WITH SCORE 151760.967
AT ITER 186 NEW BEST:: SOT 319049 SOS 175897 HAS SOPS 175866 HAS SOUS 151616 HAS SOUPS 151585 WITH SCORE 151760.897
AT ITER 188 NEW BEST:: SOT 319049 SOS 175729 HAS SOPS 175698 HAS SOUS 151616 HAS SOUPS 151585 WITH SCORE 151760.729
AT ITER 191 NEW BEST:: SOT 318261 SOS 176204 HAS SOPS 176173 HAS SOUS 150958 HAS SOUPS 150927 WITH SCORE 151103.204
AT ITER 193 NEW BEST:: SOT 318261 SOS 175960 HAS SOPS 175929 HAS SOUS 150958 HAS SOUPS 150927 WITH SCORE 151102.96
AT ITER 194 NEW BEST:: SOT 318261 SOS 175900 HAS SOPS 175869 HAS SOUS 150958 HAS SOUPS 150927 WITH SCORE 151102.9
AT ITER 197 NEW BEST:: SOT 318261 SOS 175878 HAS SOPS 175847 HAS SOUS 150958 HAS SOUPS 150927 WITH SCORE 151102.878
AT ITER 198 NEW BEST:: SOT 318261 SOS 175815 HAS SOPS 175784 HAS SOUS 150958 HAS SOUPS 150927 WITH SCORE 151102.815
AT ITER 199 NEW BEST:: SOT 318131 SOS 175409 HAS SOPS 175378 HAS SOUS 150827 HAS SOUPS 150796 WITH SCORE 150971.409
AT ITER 200 NEW BEST:: SOT 317818 SOS 176874 HAS SOPS 176843 HAS SOUS 150671 HAS SOUPS 150640 WITH SCORE 150816.874
AT ITER 201 NEW BEST:: SOT 317796 SOS 176896 HAS SOPS 176865 HAS SOUS 150649 HAS SOUPS 150618 WITH SCORE 150794.896
AT ITER 203 NEW BEST:: SOT 317796 SOS 176817 HAS SOPS 176786 HAS SOUS 150649 HAS SOUPS 150618 WITH SCORE 150794.817
AT ITER 204 NEW BEST:: SOT 317796 SOS 176805 HAS SOPS 176774 HAS SOUS 150649 HAS SOUPS 150618 WITH SCORE 150794.805
AT ITER 205 NEW BEST:: SOT 317796 SOS 176675 HAS SOPS 176644 HAS SOUS 150649 HAS SOUPS 150618 WITH SCORE 150794.675
AT ITER 207 NEW BEST:: SOT 316154 SOS 218695 HAS SOPS 218664 HAS SOUS 149535 HAS SOUPS 149504 WITH SCORE 149722.695
AT ITER 209 NEW BEST:: SOT 316092 SOS 218663 HAS SOPS 218632 HAS SOUS 149411 HAS SOUPS 149380 WITH SCORE 149598.663
AT ITER 211 NEW BEST:: SOT 316092 SOS 218649 HAS SOPS 218618 HAS SOUS 149411 HAS SOUPS 149380 WITH SCORE 149598.649
AT ITER 212 NEW BEST:: SOT 315624 SOS 220996 HAS SOPS 220965 HAS SOUS 149226 HAS SOUPS 149195 WITH SCORE 149415.996
AT ITER 215 NEW BEST:: SOT 315461 SOS 220833 HAS SOPS 220802 HAS SOUS 148900 HAS SOUPS 148869 WITH SCORE 149089.833
AT ITER 219 NEW BEST:: SOT 315461 SOS 220819 HAS SOPS 220788 HAS SOUS 148900 HAS SOUPS 148869 WITH SCORE 149089.819
AT ITER 222 NEW BEST:: SOT 312835 SOS 218457 HAS SOPS 218426 HAS SOUS 147197 HAS SOUPS 147166 WITH SCORE 147384.457
AT ITER 226 NEW BEST:: SOT 312857 SOS 218479 HAS SOPS 218448 HAS SOUS 147138 HAS SOUPS 147107 WITH SCORE 147325.479
AT ITER 234 NEW BEST:: SOT 312857 SOS 218371 HAS SOPS 218340 HAS SOUS 147138 HAS SOUPS 147107 WITH SCORE 147325.371
AT ITER 235 NEW BEST:: SOT 311868 SOS 217391 HAS SOPS 217360 HAS SOUS 146071 HAS SOUPS 146040 WITH SCORE 146257.391
AT ITER 236 NEW BEST:: SOT 311868 SOS 217381 HAS SOPS 217350 HAS SOUS 146071 HAS SOUPS 146040 WITH SCORE 146257.381
AT ITER 238 NEW BEST:: SOT 311307 SOS 217378 HAS SOPS 217347 HAS SOUS 145699 HAS SOUPS 145668 WITH SCORE 145885.378
AT ITER 245 NEW BEST:: SOT 311282 SOS 217353 HAS SOPS 217322 HAS SOUS 145649 HAS SOUPS 145618 WITH SCORE 145835.353
AT ITER 248 NEW BEST:: SOT 308384 SOS 215472 HAS SOPS 215268 HAS SOUS 143910 HAS SOUPS 143706 WITH SCORE 143921.472
AT ITER 251 NEW BEST:: SOT 307864 SOS 215098 HAS SOPS 214894 HAS SOUS 143738 HAS SOUPS 143534 WITH SCORE 143749.098
AT ITER 257 NEW BEST:: SOT 307822 SOS 215042 HAS SOPS 214838 HAS SOUS 143674 HAS SOUPS 143470 WITH SCORE 143685.042
AT ITER 259 NEW BEST:: SOT 307822 SOS 214931 HAS SOPS 214727 HAS SOUS 143674 HAS SOUPS 143470 WITH SCORE 143684.931
AT ITER 260 NEW BEST:: SOT 307012 SOS 214121 HAS SOPS 213917 HAS SOUS 143033 HAS SOUPS 142829 WITH SCORE 143043.121
AT ITER 263 NEW BEST:: SOT 306954 SOS 213977 HAS SOPS 213773 HAS SOUS 142907 HAS SOUPS 142703 WITH SCORE 142916.977
AT ITER 265 NEW BEST:: SOT 306953 SOS 213976 HAS SOPS 213772 HAS SOUS 142905 HAS SOUPS 142701 WITH SCORE 142914.976
AT ITER 266 NEW BEST:: SOT 306325 SOS 213493 HAS SOPS 213289 HAS SOUS 142308 HAS SOUPS 142104 WITH SCORE 142317.493
AT ITER 268 NEW BEST:: SOT 304702 SOS 211870 HAS SOPS 211666 HAS SOUS 141122 HAS SOUPS 140918 WITH SCORE 141129.87
AT ITER 272 NEW BEST:: SOT 304702 SOS 211840 HAS SOPS 211636 HAS SOUS 141122 HAS SOUPS 140918 WITH SCORE 141129.84
AT ITER 273 NEW BEST:: SOT 302085 SOS 211588 HAS SOPS 211315 HAS SOUS 140273 HAS SOUPS 140000 WITH SCORE 140211.588
AT ITER 274 NEW BEST:: SOT 301976 SOS 211479 HAS SOPS 211206 HAS SOUS 140060 HAS SOUPS 139787 WITH SCORE 139998.479
AT ITER 276 NEW BEST:: SOT 301048 SOS 210581 HAS SOPS 210308 HAS SOUS 139093 HAS SOUPS 138820 WITH SCORE 139030.581
AT ITER 278 NEW BEST:: SOT 300982 SOS 210515 HAS SOPS 210242 HAS SOUS 138961 HAS SOUPS 138688 WITH SCORE 138898.515
AT ITER 280 NEW BEST:: SOT 300960 SOS 210493 HAS SOPS 210220 HAS SOUS 138917 HAS SOUPS 138644 WITH SCORE 138854.493
AT ITER 282 NEW BEST:: SOT 301092 SOS 210625 HAS SOPS 210352 HAS SOUS 138844 HAS SOUPS 138571 WITH SCORE 138781.625
AT ITER 284 NEW BEST:: SOT 301089 SOS 210622 HAS SOPS 210349 HAS SOUS 138809 HAS SOUPS 138536 WITH SCORE 138746.622
AT ITER 287 NEW BEST:: SOT 300965 SOS 210511 HAS SOPS 210238 HAS SOUS 138785 HAS SOUPS 138512 WITH SCORE 138722.511
AT ITER 289 NEW BEST:: SOT 300965 SOS 210481 HAS SOPS 210208 HAS SOUS 138785 HAS SOUPS 138512 WITH SCORE 138722.481
AT ITER 292 NEW BEST:: SOT 300965 SOS 210467 HAS SOPS 210194 HAS SOUS 138785 HAS SOUPS 138512 WITH SCORE 138722.467
AT ITER 295 NEW BEST:: SOT 300863 SOS 210365 HAS SOPS 210092 HAS SOUS 138581 HAS SOUPS 138308 WITH SCORE 138518.365
AT ITER 299 NEW BEST:: SOT 300855 SOS 210360 HAS SOPS 210087 HAS SOUS 138565 HAS SOUPS 138292 WITH SCORE 138502.36
AT ITER 300 NEW BEST:: SOT 299535 SOS 209944 HAS SOPS 209844 HAS SOUS 137485 HAS SOUPS 137385 WITH SCORE 137594.944
AT ITER 303 NEW BEST:: SOT 298568 SOS 209145 HAS SOPS 209045 HAS SOUS 136708 HAS SOUPS 136608 WITH SCORE 136817.145
AT ITER 305 NEW BEST:: SOT 298390 SOS 208811 HAS SOPS 208711 HAS SOUS 136352 HAS SOUPS 136252 WITH SCORE 136460.811
AT ITER 306 NEW BEST:: SOT 298390 SOS 208716 HAS SOPS 208616 HAS SOUS 136352 HAS SOUPS 136252 WITH SCORE 136460.716
AT ITER 307 NEW BEST:: SOT 298390 SOS 208686 HAS SOPS 208586 HAS SOUS 136352 HAS SOUPS 136252 WITH SCORE 136460.686
AT ITER 315 NEW BEST:: SOT 298247 SOS 208543 HAS SOPS 208443 HAS SOUS 136066 HAS SOUPS 135966 WITH SCORE 136174.543
AT ITER 317 NEW BEST:: SOT 298087 SOS 208367 HAS SOPS 208267 HAS SOUS 135762 HAS SOUPS 135662 WITH SCORE 135870.367
AT ITER 319 NEW BEST:: SOT 298128 SOS 208014 HAS SOPS 207914 HAS SOUS 135559 HAS SOUPS 135459 WITH SCORE 135667.014
AT ITER 322 NEW BEST:: SOT 298128 SOS 208004 HAS SOPS 207904 HAS SOUS 135559 HAS SOUPS 135459 WITH SCORE 135667.004
AT ITER 323 NEW BEST:: SOT 298045 SOS 207921 HAS SOPS 207821 HAS SOUS 135393 HAS SOUPS 135293 WITH SCORE 135500.921
AT ITER 326 NEW BEST:: SOT 298023 SOS 207899 HAS SOPS 207799 HAS SOUS 135349 HAS SOUPS 135249 WITH SCORE 135456.899
AT ITER 328 NEW BEST:: SOT 297965 SOS 207724 HAS SOPS 207624 HAS SOUS 135203 HAS SOUPS 135103 WITH SCORE 135310.724
AT ITER 329 NEW BEST:: SOT 298145 SOS 205843 HAS SOPS 205812 HAS SOUS 134828 HAS SOUPS 134797 WITH SCORE 135002.843
AT ITER 330 NEW BEST:: SOT 298145 SOS 205833 HAS SOPS 205802 HAS SOUS 134828 HAS SOUPS 134797 WITH SCORE 135002.833
AT ITER 332 NEW BEST:: SOT 298123 SOS 205725 HAS SOPS 205694 HAS SOUS 134779 HAS SOUPS 134748 WITH SCORE 134953.725
AT ITER 333 NEW BEST:: SOT 295033 SOS 203637 HAS SOPS 203604 HAS SOUS 133066 HAS SOUPS 133033 WITH SCORE 133236.637
AT ITER 338 NEW BEST:: SOT 295026 SOS 203742 HAS SOPS 203709 HAS SOUS 133059 HAS SOUPS 133026 WITH SCORE 133229.742
AT ITER 339 NEW BEST:: SOT 295026 SOS 203635 HAS SOPS 203602 HAS SOUS 133059 HAS SOUPS 133026 WITH SCORE 133229.635
AT ITER 341 NEW BEST:: SOT 295023 SOS 203627 HAS SOPS 203594 HAS SOUS 133053 HAS SOUPS 133020 WITH SCORE 133223.627
AT ITER 343 NEW BEST:: SOT 295015 SOS 203560 HAS SOPS 203508 HAS SOUS 133008 HAS SOUPS 132956 WITH SCORE 133159.56
AT ITER 346 NEW BEST:: SOT 294934 SOS 203479 HAS SOPS 203427 HAS SOUS 132846 HAS SOUPS 132794 WITH SCORE 132997.479
AT ITER 347 NEW BEST:: SOT 294934 SOS 203438 HAS SOPS 203386 HAS SOUS 132846 HAS SOUPS 132794 WITH SCORE 132997.438
AT ITER 349 NEW BEST:: SOT 294746 SOS 202687 HAS SOPS 202616 HAS SOUS 132439 HAS SOUPS 132368 WITH SCORE 132570.687
AT ITER 353 NEW BEST:: SOT 294746 SOS 202673 HAS SOPS 202602 HAS SOUS 132439 HAS SOUPS 132368 WITH SCORE 132570.673
AT ITER 356 NEW BEST:: SOT 294624 SOS 202607 HAS SOPS 202536 HAS SOUS 132363 HAS SOUPS 132292 WITH SCORE 132494.607
AT ITER 357 NEW BEST:: SOT 294556 SOS 203363 HAS SOPS 203292 HAS SOUS 132344 HAS SOUPS 132273 WITH SCORE 132476.363
AT ITER 359 NEW BEST:: SOT 294508 SOS 203315 HAS SOPS 203244 HAS SOUS 132248 HAS SOUPS 132177 WITH SCORE 132380.315
AT ITER 361 NEW BEST:: SOT 294464 SOS 203309 HAS SOPS 203238 HAS SOUS 132107 HAS SOUPS 132036 WITH SCORE 132239.309
AT ITER 365 NEW BEST:: SOT 294464 SOS 203299 HAS SOPS 203228 HAS SOUS 132107 HAS SOUPS 132036 WITH SCORE 132239.299
AT ITER 366 NEW BEST:: SOT 294438 SOS 203329 HAS SOPS 203258 HAS SOUS 132055 HAS SOUPS 131984 WITH SCORE 132187.329
AT ITER 368 NEW BEST:: SOT 294367 SOS 203172 HAS SOPS 203101 HAS SOUS 131928 HAS SOUPS 131857 WITH SCORE 132060.172
AT ITER 369 NEW BEST:: SOT 294475 SOS 203285 HAS SOPS 203214 HAS SOUS 131782 HAS SOUPS 131711 WITH SCORE 131914.285
AT ITER 372 NEW BEST:: SOT 294403 SOS 203213 HAS SOPS 203142 HAS SOUS 131638 HAS SOUPS 131567 WITH SCORE 131770.213
AT ITER 373 NEW BEST:: SOT 294355 SOS 203165 HAS SOPS 203094 HAS SOUS 131456 HAS SOUPS 131385 WITH SCORE 131588.165
AT ITER 374 NEW BEST:: SOT 292814 SOS 201650 HAS SOPS 201553 HAS SOUS 130946 HAS SOUPS 130849 WITH SCORE 131050.65
AT ITER 378 NEW BEST:: SOT 291248 SOS 200041 HAS SOPS 199901 HAS SOUS 130082 HAS SOUPS 129942 WITH SCORE 130142.041
AT ITER 381 NEW BEST:: SOT 290230 SOS 199023 HAS SOPS 198883 HAS SOUS 129074 HAS SOUPS 128934 WITH SCORE 129133.023
AT ITER 384 NEW BEST:: SOT 290227 SOS 198980 HAS SOPS 198840 HAS SOUS 129028 HAS SOUPS 128888 WITH SCORE 129086.98
AT ITER 388 NEW BEST:: SOT 289017 SOS 198340 HAS SOPS 198043 HAS SOUS 128709 HAS SOUPS 128412 WITH SCORE 128610.34
AT ITER 396 NEW BEST:: SOT 289017 SOS 198326 HAS SOPS 198029 HAS SOUS 128709 HAS SOUPS 128412 WITH SCORE 128610.326
AT ITER 399 NEW BEST:: SOT 288999 SOS 198358 HAS SOPS 198061 HAS SOUS 128681 HAS SOUPS 128384 WITH SCORE 128582.358
AT ITER 402 NEW BEST:: SOT 288999 SOS 198300 HAS SOPS 198003 HAS SOUS 128681 HAS SOUPS 128384 WITH SCORE 128582.3
AT ITER 404 NEW BEST:: SOT 288999 SOS 198297 HAS SOPS 198000 HAS SOUS 128681 HAS SOUPS 128384 WITH SCORE 128582.297
AT ITER 406 NEW BEST:: SOT 288882 SOS 198180 HAS SOPS 197883 HAS SOUS 128447 HAS SOUPS 128150 WITH SCORE 128348.18
AT ITER 407 NEW BEST:: SOT 288839 SOS 198177 HAS SOPS 197880 HAS SOUS 128361 HAS SOUPS 128064 WITH SCORE 128262.177
AT ITER 412 NEW BEST:: SOT 288749 SOS 198105 HAS SOPS 197808 HAS SOUS 128307 HAS SOUPS 128010 WITH SCORE 128208.105
AT ITER 419 NEW BEST:: SOT 288727 SOS 197944 HAS SOPS 197628 HAS SOUS 128282 HAS SOUPS 127966 WITH SCORE 128163.944
AT ITER 421 NEW BEST:: SOT 288554 SOS 197581 HAS SOPS 197280 HAS SOUS 127916 HAS SOUPS 127615 WITH SCORE 127812.581
AT ITER 422 NEW BEST:: SOT 288414 SOS 197441 HAS SOPS 197140 HAS SOUS 127638 HAS SOUPS 127337 WITH SCORE 127534.441
AT ITER 424 NEW BEST:: SOT 288414 SOS 197427 HAS SOPS 197126 HAS SOUS 127638 HAS SOUPS 127337 WITH SCORE 127534.427
AT ITER 425 NEW BEST:: SOT 288332 SOS 197345 HAS SOPS 197044 HAS SOUS 127491 HAS SOUPS 127190 WITH SCORE 127387.345
AT ITER 429 NEW BEST:: SOT 288149 SOS 197162 HAS SOPS 196861 HAS SOUS 127125 HAS SOUPS 126824 WITH SCORE 127021.162
AT ITER 432 NEW BEST:: SOT 285724 SOS 194831 HAS SOPS 194436 HAS SOUS 126546 HAS SOUPS 126151 WITH SCORE 126345.831
AT ITER 434 NEW BEST:: SOT 285648 SOS 194755 HAS SOPS 194360 HAS SOUS 126394 HAS SOUPS 125999 WITH SCORE 126193.755
AT ITER 435 NEW BEST:: SOT 285604 SOS 194751 HAS SOPS 194356 HAS SOUS 126306 HAS SOUPS 125911 WITH SCORE 126105.751
AT ITER 437 NEW BEST:: SOT 285502 SOS 194579 HAS SOPS 194184 HAS SOUS 126102 HAS SOUPS 125707 WITH SCORE 125901.579
AT ITER 452 NEW BEST:: SOT 282097 SOS 195609 HAS SOPS 194938 HAS SOUS 124558 HAS SOUPS 123887 WITH SCORE 124082.609
AT ITER 454 NEW BEST:: SOT 279301 SOS 193862 HAS SOPS 192925 HAS SOUS 124271 HAS SOUPS 123334 WITH SCORE 123527.862
AT ITER 458 NEW BEST:: SOT 279141 SOS 193702 HAS SOPS 192765 HAS SOUS 123951 HAS SOUPS 123014 WITH SCORE 123207.702
AT ITER 459 NEW BEST:: SOT 279781 SOS 193859 HAS SOPS 192854 HAS SOUS 123870 HAS SOUPS 122865 WITH SCORE 123058.859
AT ITER 463 NEW BEST:: SOT 278870 SOS 192948 HAS SOPS 191943 HAS SOUS 123574 HAS SOUPS 122569 WITH SCORE 122761.948
AT ITER 464 NEW BEST:: SOT 278746 SOS 192824 HAS SOPS 191819 HAS SOUS 123326 HAS SOUPS 122321 WITH SCORE 122513.824
AT ITER 472 NEW BEST:: SOT 276347 SOS 191096 HAS SOPS 189943 HAS SOUS 123101 HAS SOUPS 121948 WITH SCORE 122139.096
AT ITER 473 NEW BEST:: SOT 276193 SOS 190942 HAS SOPS 189789 HAS SOUS 123011 HAS SOUPS 121858 WITH SCORE 122048.942
AT ITER 476 NEW BEST:: SOT 276327 SOS 191076 HAS SOPS 189923 HAS SOUS 122917 HAS SOUPS 121764 WITH SCORE 121955.076
AT ITER 478 NEW BEST:: SOT 276327 SOS 189732 HAS SOPS 188579 HAS SOUS 122842 HAS SOUPS 121689 WITH SCORE 121878.732
AT ITER 480 NEW BEST:: SOT 276328 SOS 189732 HAS SOPS 188579 HAS SOUS 122837 HAS SOUPS 121684 WITH SCORE 121873.732
AT ITER 486 NEW BEST:: SOT 276275 SOS 189647 HAS SOPS 188494 HAS SOUS 122731 HAS SOUPS 121578 WITH SCORE 121767.647
AT ITER 489 NEW BEST:: SOT 276275 SOS 189691 HAS SOPS 188538 HAS SOUS 122708 HAS SOUPS 121555 WITH SCORE 121744.691
AT ITER 490 NEW BEST:: SOT 276250 SOS 189644 HAS SOPS 188491 HAS SOUS 122630 HAS SOUPS 121477 WITH SCORE 121666.644
AT ITER 493 NEW BEST:: SOT 273833 SOS 187227 HAS SOPS 186074 HAS SOUS 121845 HAS SOUPS 120692 WITH SCORE 120879.227
AT ITER 497 NEW BEST:: SOT 273733 SOS 187315 HAS SOPS 186310 HAS SOUS 121497 HAS SOUPS 120492 WITH SCORE 120679.315
AT ITER 499 NEW BEST:: SOT 273658 SOS 187240 HAS SOPS 186235 HAS SOUS 121347 HAS SOUPS 120342 WITH SCORE 120529.24
AT ITER 502 NEW BEST:: SOT 273543 SOS 187125 HAS SOPS 186120 HAS SOUS 121148 HAS SOUPS 120143 WITH SCORE 120330.125
AT ITER 505 NEW BEST:: SOT 273430 SOS 187012 HAS SOPS 186007 HAS SOUS 121066 HAS SOUPS 120061 WITH SCORE 120248.012
AT ITER 506 NEW BEST:: SOT 273402 SOS 186984 HAS SOPS 185979 HAS SOUS 121038 HAS SOUPS 120033 WITH SCORE 120219.984
AT ITER 507 NEW BEST:: SOT 273370 SOS 186880 HAS SOPS 185801 HAS SOUS 121048 HAS SOUPS 119969 WITH SCORE 120155.88
AT ITER 509 NEW BEST:: SOT 273384 SOS 186887 HAS SOPS 185808 HAS SOUS 121027 HAS SOUPS 119948 WITH SCORE 120134.887
AT ITER 510 NEW BEST:: SOT 273384 SOS 186791 HAS SOPS 185712 HAS SOUS 121027 HAS SOUPS 119948 WITH SCORE 120134.791
AT ITER 511 NEW BEST:: SOT 273346 SOS 186827 HAS SOPS 185942 HAS SOUS 120776 HAS SOUPS 119891 WITH SCORE 120077.827
AT ITER 513 NEW BEST:: SOT 273344 SOS 186825 HAS SOPS 185940 HAS SOUS 120772 HAS SOUPS 119887 WITH SCORE 120073.825
AT ITER 519 NEW BEST:: SOT 273277 SOS 186652 HAS SOPS 185767 HAS SOUS 120595 HAS SOUPS 119710 WITH SCORE 119896.652
AT ITER 521 NEW BEST:: SOT 273275 SOS 186787 HAS SOPS 185902 HAS SOUS 120591 HAS SOUPS 119706 WITH SCORE 119892.787
AT ITER 527 NEW BEST:: SOT 273275 SOS 186772 HAS SOPS 185887 HAS SOUS 120591 HAS SOUPS 119706 WITH SCORE 119892.772
AT ITER 529 NEW BEST:: SOT 273275 SOS 186540 HAS SOPS 185655 HAS SOUS 120591 HAS SOUPS 119706 WITH SCORE 119892.54
AT ITER 536 NEW BEST:: SOT 273205 SOS 186440 HAS SOPS 185555 HAS SOUS 120322 HAS SOUPS 119437 WITH SCORE 119623.44
AT ITER 537 NEW BEST:: SOT 273140 SOS 186375 HAS SOPS 185490 HAS SOUS 120192 HAS SOUPS 119307 WITH SCORE 119493.375
AT ITER 538 NEW BEST:: SOT 273140 SOS 186361 HAS SOPS 185476 HAS SOUS 120192 HAS SOUPS 119307 WITH SCORE 119493.361
AT ITER 542 NEW BEST:: SOT 273102 SOS 186304 HAS SOPS 185400 HAS SOUS 120135 HAS SOUPS 119231 WITH SCORE 119417.304
AT ITER 547 NEW BEST:: SOT 273102 SOS 186285 HAS SOPS 185381 HAS SOUS 120135 HAS SOUPS 119231 WITH SCORE 119417.285
AT ITER 551 NEW BEST:: SOT 273102 SOS 185842 HAS SOPS 184938 HAS SOUS 120121 HAS SOUPS 119217 WITH SCORE 119402.842
AT ITER 552 NEW BEST:: SOT 270295 SOS 183035 HAS SOPS 182131 HAS SOUS 118702 HAS SOUPS 117798 WITH SCORE 117981.035
AT ITER 553 NEW BEST:: SOT 270295 SOS 182981 HAS SOPS 182077 HAS SOUS 118702 HAS SOUPS 117798 WITH SCORE 117980.981
AT ITER 560 NEW BEST:: SOT 270102 SOS 182788 HAS SOPS 181884 HAS SOUS 118337 HAS SOUPS 117433 WITH SCORE 117615.788
AT ITER 566 NEW BEST:: SOT 270049 SOS 182735 HAS SOPS 181831 HAS SOUS 118231 HAS SOUPS 117327 WITH SCORE 117509.735
AT ITER 568 NEW BEST:: SOT 270001 SOS 182613 HAS SOPS 181635 HAS SOUS 118209 HAS SOUPS 117231 WITH SCORE 117413.613
AT ITER 569 NEW BEST:: SOT 269991 SOS 182603 HAS SOPS 181625 HAS SOUS 118161 HAS SOUPS 117183 WITH SCORE 117365.603
AT ITER 571 NEW BEST:: SOT 269929 SOS 182541 HAS SOPS 181563 HAS SOUS 118057 HAS SOUPS 117079 WITH SCORE 117261.541
AT ITER 573 NEW BEST:: SOT 269787 SOS 182399 HAS SOPS 181421 HAS SOUS 117736 HAS SOUPS 116758 WITH SCORE 116940.399
AT ITER 580 NEW BEST:: SOT 269697 SOS 182309 HAS SOPS 181331 HAS SOUS 117685 HAS SOUPS 116707 WITH SCORE 116889.309
AT ITER 587 NEW BEST:: SOT 269455 SOS 182067 HAS SOPS 181089 HAS SOUS 117201 HAS SOUPS 116223 WITH SCORE 116405.067
AT ITER 588 NEW BEST:: SOT 269313 SOS 181895 HAS SOPS 180917 HAS SOUS 116917 HAS SOUPS 115939 WITH SCORE 116120.895
AT ITER 594 NEW BEST:: SOT 269292 SOS 181874 HAS SOPS 180896 HAS SOUS 116896 HAS SOUPS 115918 WITH SCORE 116099.874
AT ITER 598 NEW BEST:: SOT 269272 SOS 181854 HAS SOPS 180876 HAS SOUS 116894 HAS SOUPS 115916 WITH SCORE 116097.854
AT ITER 599 NEW BEST:: SOT 269190 SOS 181730 HAS SOPS 180752 HAS SOUS 116730 HAS SOUPS 115752 WITH SCORE 115933.73
AT ITER 604 NEW BEST:: SOT 269121 SOS 181441 HAS SOPS 180463 HAS SOUS 116562 HAS SOUPS 115584 WITH SCORE 115765.441
AT ITER 607 NEW BEST:: SOT 269070 SOS 181390 HAS SOPS 180412 HAS SOUS 116460 HAS SOUPS 115482 WITH SCORE 115663.39
AT ITER 608 NEW BEST:: SOT 269038 SOS 181358 HAS SOPS 180380 HAS SOUS 116396 HAS SOUPS 115418 WITH SCORE 115599.358
AT ITER 612 NEW BEST:: SOT 268946 SOS 181266 HAS SOPS 180288 HAS SOUS 116212 HAS SOUPS 115234 WITH SCORE 115415.266
AT ITER 614 NEW BEST:: SOT 268945 SOS 181265 HAS SOPS 180287 HAS SOUS 116190 HAS SOUPS 115212 WITH SCORE 115393.265
AT ITER 616 NEW BEST:: SOT 268925 SOS 181245 HAS SOPS 180267 HAS SOUS 116170 HAS SOUPS 115192 WITH SCORE 115373.245
AT ITER 620 NEW BEST:: SOT 268788 SOS 181108 HAS SOPS 180130 HAS SOUS 115944 HAS SOUPS 114966 WITH SCORE 115147.108
AT ITER 622 NEW BEST:: SOT 268769 SOS 181051 HAS SOPS 180073 HAS SOUS 115906 HAS SOUPS 114928 WITH SCORE 115109.051
AT ITER 624 NEW BEST:: SOT 268769 SOS 181040 HAS SOPS 180062 HAS SOUS 115906 HAS SOUPS 114928 WITH SCORE 115109.04
AT ITER 628 NEW BEST:: SOT 268759 SOS 181030 HAS SOPS 180052 HAS SOUS 115886 HAS SOUPS 114908 WITH SCORE 115089.03
AT ITER 629 NEW BEST:: SOT 268685 SOS 180956 HAS SOPS 179978 HAS SOUS 115738 HAS SOUPS 114760 WITH SCORE 114940.956
AT ITER 633 NEW BEST:: SOT 268693 SOS 180908 HAS SOPS 179930 HAS SOUS 115734 HAS SOUPS 114756 WITH SCORE 114936.908
AT ITER 635 NEW BEST:: SOT 268500 SOS 180715 HAS SOPS 179737 HAS SOUS 115319 HAS SOUPS 114341 WITH SCORE 114521.715
AT ITER 641 NEW BEST:: SOT 268497 SOS 180712 HAS SOPS 179734 HAS SOUS 115313 HAS SOUPS 114335 WITH SCORE 114515.712
AT ITER 643 NEW BEST:: SOT 268214 SOS 180429 HAS SOPS 179451 HAS SOUS 115077 HAS SOUPS 114099 WITH SCORE 114279.429
AT ITER 645 NEW BEST:: SOT 268214 SOS 180416 HAS SOPS 179438 HAS SOUS 115077 HAS SOUPS 114099 WITH SCORE 114279.416
AT ITER 646 NEW BEST:: SOT 268170 SOS 180390 HAS SOPS 179412 HAS SOUS 114989 HAS SOUPS 114011 WITH SCORE 114191.39
AT ITER 649 NEW BEST:: SOT 267938 SOS 180133 HAS SOPS 179155 HAS SOUS 114555 HAS SOUPS 113577 WITH SCORE 113757.133
AT ITER 650 NEW BEST:: SOT 267806 SOS 180001 HAS SOPS 179023 HAS SOUS 114291 HAS SOUPS 113313 WITH SCORE 113493.001
AT ITER 651 NEW BEST:: SOT 265519 SOS 179874 HAS SOPS 178823 HAS SOUS 114348 HAS SOUPS 113297 WITH SCORE 113476.874
AT ITER 664 NEW BEST:: SOT 265511 SOS 179866 HAS SOPS 178815 HAS SOUS 114340 HAS SOUPS 113289 WITH SCORE 113468.866
AT ITER 672 NEW BEST:: SOT 265434 SOS 179824 HAS SOPS 178773 HAS SOUS 114186 HAS SOUPS 113135 WITH SCORE 113314.824
AT ITER 673 NEW BEST:: SOT 265408 SOS 179798 HAS SOPS 178747 HAS SOUS 114160 HAS SOUPS 113109 WITH SCORE 113288.798
AT ITER 674 NEW BEST:: SOT 265353 SOS 179743 HAS SOPS 178692 HAS SOUS 114058 HAS SOUPS 113007 WITH SCORE 113186.743
AT ITER 676 NEW BEST:: SOT 265387 SOS 179325 HAS SOPS 178274 HAS SOUS 114029 HAS SOUPS 112978 WITH SCORE 113157.325
AT ITER 678 NEW BEST:: SOT 265249 SOS 179043 HAS SOPS 177992 HAS SOUS 113753 HAS SOUPS 112702 WITH SCORE 112881.043
AT ITER 683 NEW BEST:: SOT 265805 SOS 179538 HAS SOPS 178548 HAS SOUS 113675 HAS SOUPS 112685 WITH SCORE 112864.538
AT ITER 687 NEW BEST:: SOT 263172 SOS 177460 HAS SOPS 176470 HAS SOUS 111950 HAS SOUPS 110960 WITH SCORE 111137.46
AT ITER 690 NEW BEST:: SOT 263066 SOS 177354 HAS SOPS 176364 HAS SOUS 111738 HAS SOUPS 110748 WITH SCORE 110925.354
AT ITER 691 NEW BEST:: SOT 263054 SOS 177342 HAS SOPS 176352 HAS SOUS 111714 HAS SOUPS 110724 WITH SCORE 110901.342
AT ITER 692 NEW BEST:: SOT 263027 SOS 177315 HAS SOPS 176325 HAS SOUS 111660 HAS SOUPS 110670 WITH SCORE 110847.315
AT ITER 693 NEW BEST:: SOT 262876 SOS 177164 HAS SOPS 176174 HAS SOUS 111358 HAS SOUPS 110368 WITH SCORE 110545.164
AT ITER 696 NEW BEST:: SOT 262852 SOS 177068 HAS SOPS 176078 HAS SOUS 111296 HAS SOUPS 110306 WITH SCORE 110483.068
AT ITER 697 NEW BEST:: SOT 262846 SOS 177062 HAS SOPS 176072 HAS SOUS 111284 HAS SOUPS 110294 WITH SCORE 110471.062
AT ITER 702 NEW BEST:: SOT 262681 SOS 176897 HAS SOPS 175907 HAS SOUS 110973 HAS SOUPS 109983 WITH SCORE 110159.897
AT ITER 706 NEW BEST:: SOT 262649 SOS 176784 HAS SOPS 175794 HAS SOUS 110909 HAS SOUPS 109919 WITH SCORE 110095.784
AT ITER 707 NEW BEST:: SOT 262649 SOS 176722 HAS SOPS 175732 HAS SOUS 110909 HAS SOUPS 109919 WITH SCORE 110095.722
AT ITER 719 NEW BEST:: SOT 262631 SOS 176704 HAS SOPS 175714 HAS SOUS 110873 HAS SOUPS 109883 WITH SCORE 110059.704
AT ITER 721 NEW BEST:: SOT 262451 SOS 176452 HAS SOPS 175462 HAS SOUS 110480 HAS SOUPS 109490 WITH SCORE 109666.452
AT ITER 724 NEW BEST:: SOT 262466 SOS 176689 HAS SOPS 175699 HAS SOUS 110399 HAS SOUPS 109409 WITH SCORE 109585.689
AT ITER 728 NEW BEST:: SOT 262403 SOS 176626 HAS SOPS 175636 HAS SOUS 110318 HAS SOUPS 109328 WITH SCORE 109504.626
AT ITER 730 NEW BEST:: SOT 262397 SOS 176622 HAS SOPS 175632 HAS SOUS 110306 HAS SOUPS 109316 WITH SCORE 109492.622
AT ITER 736 NEW BEST:: SOT 262397 SOS 176536 HAS SOPS 175548 HAS SOUS 110292 HAS SOUPS 109304 WITH SCORE 109480.536
AT ITER 737 NEW BEST:: SOT 262397 SOS 176532 HAS SOPS 175544 HAS SOUS 110292 HAS SOUPS 109304 WITH SCORE 109480.532
AT ITER 742 NEW BEST:: SOT 262397 SOS 176296 HAS SOPS 175308 HAS SOUS 110260 HAS SOUPS 109272 WITH SCORE 109448.296
AT ITER 748 NEW BEST:: SOT 262369 SOS 176268 HAS SOPS 175280 HAS SOUS 110204 HAS SOUPS 109216 WITH SCORE 109392.268
AT ITER 750 NEW BEST:: SOT 262369 SOS 176206 HAS SOPS 175218 HAS SOUS 110142 HAS SOUPS 109154 WITH SCORE 109330.206
AT ITER 753 NEW BEST:: SOT 261769 SOS 175606 HAS SOPS 174618 HAS SOUS 109925 HAS SOUPS 108937 WITH SCORE 109112.606
AT ITER 757 NEW BEST:: SOT 260634 SOS 175513 HAS SOPS 174525 HAS SOUS 109559 HAS SOUPS 108571 WITH SCORE 108746.513
AT ITER 758 NEW BEST:: SOT 260480 SOS 175359 HAS SOPS 174371 HAS SOUS 109546 HAS SOUPS 108558 WITH SCORE 108733.359
AT ITER 761 NEW BEST:: SOT 260346 SOS 175163 HAS SOPS 174175 HAS SOUS 109357 HAS SOUPS 108369 WITH SCORE 108544.163
AT ITER 765 NEW BEST:: SOT 260101 SOS 174847 HAS SOPS 173859 HAS SOUS 108824 HAS SOUPS 107836 WITH SCORE 108010.847
AT ITER 767 NEW BEST:: SOT 260122 SOS 173919 HAS SOPS 172931 HAS SOUS 108732 HAS SOUPS 107744 WITH SCORE 107917.919
AT ITER 775 NEW BEST:: SOT 260063 SOS 173789 HAS SOPS 172801 HAS SOUS 108614 HAS SOUPS 107626 WITH SCORE 107799.789
AT ITER 776 NEW BEST:: SOT 260002 SOS 173728 HAS SOPS 172740 HAS SOUS 108492 HAS SOUPS 107504 WITH SCORE 107677.728
AT ITER 780 NEW BEST:: SOT 260002 SOS 173704 HAS SOPS 172688 HAS SOUS 108520 HAS SOUPS 107504 WITH SCORE 107677.704
AT ITER 781 NEW BEST:: SOT 259999 SOS 173701 HAS SOPS 172685 HAS SOUS 108514 HAS SOUPS 107498 WITH SCORE 107671.701
AT ITER 783 NEW BEST:: SOT 259750 SOS 173344 HAS SOPS 172328 HAS SOUS 108048 HAS SOUPS 107032 WITH SCORE 107205.344
AT ITER 786 NEW BEST:: SOT 259648 SOS 173306 HAS SOPS 172290 HAS SOUS 107762 HAS SOUPS 106746 WITH SCORE 106919.306
AT ITER 794 NEW BEST:: SOT 259439 SOS 173097 HAS SOPS 172081 HAS SOUS 107344 HAS SOUPS 106328 WITH SCORE 106501.097
AT ITER 799 NEW BEST:: SOT 259439 SOS 172934 HAS SOPS 171918 HAS SOUS 107337 HAS SOUPS 106321 WITH SCORE 106493.934
AT ITER 808 NEW BEST:: SOT 259438 SOS 172933 HAS SOPS 171917 HAS SOUS 107336 HAS SOUPS 106320 WITH SCORE 106492.933
AT ITER 814 NEW BEST:: SOT 259031 SOS 172535 HAS SOPS 171519 HAS SOUS 107318 HAS SOUPS 106302 WITH SCORE 106474.535
AT ITER 816 NEW BEST:: SOT 259033 SOS 172537 HAS SOPS 171521 HAS SOUS 107297 HAS SOUPS 106281 WITH SCORE 106453.537
AT ITER 818 NEW BEST:: SOT 259002 SOS 172446 HAS SOPS 171430 HAS SOUS 107235 HAS SOUPS 106219 WITH SCORE 106391.446
AT ITER 821 NEW BEST:: SOT 259002 SOS 172432 HAS SOPS 171416 HAS SOUS 107235 HAS SOUPS 106219 WITH SCORE 106391.432
AT ITER 826 NEW BEST:: SOT 258958 SOS 172388 HAS SOPS 171372 HAS SOUS 107195 HAS SOUPS 106179 WITH SCORE 106351.388
AT ITER 833 NEW BEST:: SOT 258889 SOS 172319 HAS SOPS 171303 HAS SOUS 107057 HAS SOUPS 106041 WITH SCORE 106213.319
AT ITER 839 NEW BEST:: SOT 258821 SOS 172310 HAS SOPS 171294 HAS SOUS 106921 HAS SOUPS 105905 WITH SCORE 106077.31
AT ITER 840 NEW BEST:: SOT 258809 SOS 172298 HAS SOPS 171282 HAS SOUS 106897 HAS SOUPS 105881 WITH SCORE 106053.298
AT ITER 842 NEW BEST:: SOT 258635 SOS 172124 HAS SOPS 171108 HAS SOUS 106549 HAS SOUPS 105533 WITH SCORE 105705.124
AT ITER 844 NEW BEST:: SOT 258635 SOS 172109 HAS SOPS 171093 HAS SOUS 106545 HAS SOUPS 105529 WITH SCORE 105701.109
AT ITER 850 NEW BEST:: SOT 258551 SOS 172025 HAS SOPS 171009 HAS SOUS 106377 HAS SOUPS 105361 WITH SCORE 105533.025
AT ITER 852 NEW BEST:: SOT 258500 SOS 171974 HAS SOPS 170958 HAS SOUS 106275 HAS SOUPS 105259 WITH SCORE 105430.974
AT ITER 856 NEW BEST:: SOT 258408 SOS 171886 HAS SOPS 170866 HAS SOUS 106223 HAS SOUPS 105203 WITH SCORE 105374.886
AT ITER 858 NEW BEST:: SOT 258344 SOS 171628 HAS SOPS 170414 HAS SOUS 106172 HAS SOUPS 104958 WITH SCORE 105129.628
AT ITER 869 NEW BEST:: SOT 258054 SOS 171324 HAS SOPS 170110 HAS SOUS 105592 HAS SOUPS 104378 WITH SCORE 104549.324
AT ITER 872 NEW BEST:: SOT 258054 SOS 171239 HAS SOPS 170025 HAS SOUS 105592 HAS SOUPS 104378 WITH SCORE 104549.239
AT ITER 880 NEW BEST:: SOT 258030 SOS 171245 HAS SOPS 170031 HAS SOUS 105556 HAS SOUPS 104342 WITH SCORE 104513.245
AT ITER 888 NEW BEST:: SOT 257989 SOS 171204 HAS SOPS 169990 HAS SOUS 105476 HAS SOUPS 104262 WITH SCORE 104433.204
AT ITER 891 NEW BEST:: SOT 258012 SOS 171227 HAS SOPS 170013 HAS SOUS 105431 HAS SOUPS 104217 WITH SCORE 104388.227
AT ITER 894 NEW BEST:: SOT 258436 SOS 171096 HAS SOPS 169882 HAS SOUS 105385 HAS SOUPS 104171 WITH SCORE 104342.096
AT ITER 896 NEW BEST:: SOT 258436 SOS 170604 HAS SOPS 169418 HAS SOUS 105299 HAS SOUPS 104113 WITH SCORE 104283.604
AT ITER 902 NEW BEST:: SOT 258436 SOS 169800 HAS SOPS 168643 HAS SOUS 105231 HAS SOUPS 104074 WITH SCORE 104243.8
AT ITER 905 NEW BEST:: SOT 257948 SOS 169337 HAS SOPS 168249 HAS SOUS 104053 HAS SOUPS 102965 WITH SCORE 103134.337
AT ITER 909 NEW BEST:: SOT 257899 SOS 169288 HAS SOPS 168200 HAS SOUS 104004 HAS SOUPS 102916 WITH SCORE 103085.288
AT ITER 919 NEW BEST:: SOT 257899 SOS 169256 HAS SOPS 168168 HAS SOUS 104004 HAS SOUPS 102916 WITH SCORE 103085.256
AT ITER 920 NEW BEST:: SOT 257887 SOS 169198 HAS SOPS 168110 HAS SOUS 103972 HAS SOUPS 102884 WITH SCORE 103053.198
AT ITER 927 NEW BEST:: SOT 257887 SOS 168368 HAS SOPS 167280 HAS SOUS 103972 HAS SOUPS 102884 WITH SCORE 103052.368
AT ITER 930 NEW BEST:: SOT 255563 SOS 166245 HAS SOPS 165157 HAS SOUS 102644 HAS SOUPS 101556 WITH SCORE 101722.245
AT ITER 935 NEW BEST:: SOT 255531 SOS 166213 HAS SOPS 165125 HAS SOUS 102580 HAS SOUPS 101492 WITH SCORE 101658.213
AT ITER 944 NEW BEST:: SOT 255531 SOS 165537 HAS SOPS 164469 HAS SOUS 102560 HAS SOUPS 101492 WITH SCORE 101657.537
AT ITER 946 NEW BEST:: SOT 255125 SOS 165131 HAS SOPS 164063 HAS SOUS 101800 HAS SOUPS 100732 WITH SCORE 100897.131
AT ITER 948 NEW BEST:: SOT 255068 SOS 165074 HAS SOPS 164006 HAS SOUS 101721 HAS SOUPS 100653 WITH SCORE 100818.074
AT ITER 954 NEW BEST:: SOT 254735 SOS 164741 HAS SOPS 163673 HAS SOUS 101444 HAS SOUPS 100376 WITH SCORE 100540.741
AT ITER 956 NEW BEST:: SOT 254719 SOS 164725 HAS SOPS 163657 HAS SOUS 101412 HAS SOUPS 100344 WITH SCORE 100508.725
AT ITER 958 NEW BEST:: SOT 254529 SOS 164476 HAS SOPS 163305 HAS SOUS 101087 HAS SOUPS 99916 WITH SCORE 100080.476
AT ITER 961 NEW BEST:: SOT 254488 SOS 164467 HAS SOPS 163296 HAS SOUS 101005 HAS SOUPS 99834 WITH SCORE 99998.467
AT ITER 966 NEW BEST:: SOT 254481 SOS 164482 HAS SOPS 163311 HAS SOUS 100977 HAS SOUPS 99806 WITH SCORE 99970.482
AT ITER 967 NEW BEST:: SOT 254474 SOS 164475 HAS SOPS 163304 HAS SOUS 100963 HAS SOUPS 99792 WITH SCORE 99956.475
AT ITER 970 NEW BEST:: SOT 254421 SOS 164422 HAS SOPS 163251 HAS SOUS 100963 HAS SOUPS 99792 WITH SCORE 99956.422
AT ITER 972 NEW BEST:: SOT 254084 SOS 164085 HAS SOPS 162914 HAS SOUS 100320 HAS SOUPS 99149 WITH SCORE 99313.085
AT ITER 976 NEW BEST:: SOT 253927 SOS 163928 HAS SOPS 162757 HAS SOUS 100020 HAS SOUPS 98849 WITH SCORE 99012.928
AT ITER 986 NEW BEST:: SOT 253927 SOS 163631 HAS SOPS 162472 HAS SOUS 99991 HAS SOUPS 98832 WITH SCORE 98995.631
AT ITER 988 NEW BEST:: SOT 253909 SOS 163691 HAS SOPS 162532 HAS SOUS 99955 HAS SOUPS 98796 WITH SCORE 98959.691
AT ITER 989 NEW BEST:: SOT 253622 SOS 163446 HAS SOPS 162310 HAS SOUS 99763 HAS SOUPS 98627 WITH SCORE 98790.446
AT ITER 996 NEW BEST:: SOT 252249 SOS 162664 HAS SOPS 161492 HAS SOUS 99646 HAS SOUPS 98474 WITH SCORE 98636.664
AT ITER 1000 NEW BEST:: SOT 251224 SOS 161639 HAS SOPS 160467 HAS SOUS 99498 HAS SOUPS 98326 WITH SCORE 98487.639
AT ITER 1009 NEW BEST:: SOT 249047 SOS 159765 HAS SOPS 158612 HAS SOUS 97991 HAS SOUPS 96838 WITH SCORE 96997.765
AT ITER 1019 NEW BEST:: SOT 248768 SOS 159486 HAS SOPS 158333 HAS SOUS 97445 HAS SOUPS 96292 WITH SCORE 96451.486
AT ITER 1025 NEW BEST:: SOT 248606 SOS 159324 HAS SOPS 158171 HAS SOUS 97121 HAS SOUPS 95968 WITH SCORE 96127.324
AT ITER 1029 NEW BEST:: SOT 248490 SOS 159208 HAS SOPS 158055 HAS SOUS 96889 HAS SOUPS 95736 WITH SCORE 95895.208
AT ITER 1032 NEW BEST:: SOT 248490 SOS 159206 HAS SOPS 158053 HAS SOUS 96889 HAS SOUPS 95736 WITH SCORE 95895.206
AT ITER 1033 NEW BEST:: SOT 247434 SOS 158188 HAS SOPS 157035 HAS SOUS 96856 HAS SOUPS 95703 WITH SCORE 95861.188
AT ITER 1040 NEW BEST:: SOT 247382 SOS 158119 HAS SOPS 156966 HAS SOUS 96731 HAS SOUPS 95578 WITH SCORE 95736.119
AT ITER 1044 NEW BEST:: SOT 247382 SOS 158109 HAS SOPS 156956 HAS SOUS 96731 HAS SOUPS 95578 WITH SCORE 95736.109
AT ITER 1045 NEW BEST:: SOT 245763 SOS 156538 HAS SOPS 155385 HAS SOUS 96075 HAS SOUPS 94922 WITH SCORE 95078.538
AT ITER 1052 NEW BEST:: SOT 245503 SOS 156160 HAS SOPS 155007 HAS SOUS 95521 HAS SOUPS 94368 WITH SCORE 94524.16
AT ITER 1053 NEW BEST:: SOT 245381 SOS 156124 HAS SOPS 154971 HAS SOUS 95277 HAS SOUPS 94124 WITH SCORE 94280.124
AT ITER 1054 NEW BEST:: SOT 245291 SOS 156034 HAS SOPS 154881 HAS SOUS 95097 HAS SOUPS 93944 WITH SCORE 94100.034
AT ITER 1057 NEW BEST:: SOT 245616 SOS 156175 HAS SOPS 155022 HAS SOUS 94935 HAS SOUPS 93782 WITH SCORE 93938.175
AT ITER 1059 NEW BEST:: SOT 245616 SOS 156127 HAS SOPS 154974 HAS SOUS 94924 HAS SOUPS 93771 WITH SCORE 93927.127
AT ITER 1060 NEW BEST:: SOT 245506 SOS 155923 HAS SOPS 154770 HAS SOUS 94688 HAS SOUPS 93535 WITH SCORE 93690.923
AT ITER 1062 NEW BEST:: SOT 245488 SOS 155905 HAS SOPS 154752 HAS SOUS 94652 HAS SOUPS 93499 WITH SCORE 93654.905
AT ITER 1070 NEW BEST:: SOT 245488 SOS 155827 HAS SOPS 154674 HAS SOUS 94652 HAS SOUPS 93499 WITH SCORE 93654.827
AT ITER 1072 NEW BEST:: SOT 245488 SOS 155777 HAS SOPS 154624 HAS SOUS 94652 HAS SOUPS 93499 WITH SCORE 93654.777
AT ITER 1085 NEW BEST:: SOT 245475 SOS 155741 HAS SOPS 154588 HAS SOUS 94636 HAS SOUPS 93483 WITH SCORE 93638.741
AT ITER 1095 NEW BEST:: SOT 245449 SOS 155715 HAS SOPS 154562 HAS SOUS 94562 HAS SOUPS 93409 WITH SCORE 93564.715
AT ITER 1096 NEW BEST:: SOT 245385 SOS 155643 HAS SOPS 154490 HAS SOUS 94434 HAS SOUPS 93281 WITH SCORE 93436.643
AT ITER 1098 NEW BEST:: SOT 245235 SOS 155493 HAS SOPS 154340 HAS SOUS 94134 HAS SOUPS 92981 WITH SCORE 93136.493
AT ITER 1099 NEW BEST:: SOT 244995 SOS 155097 HAS SOPS 153944 HAS SOUS 93654 HAS SOUPS 92501 WITH SCORE 92656.097
AT ITER 1114 NEW BEST:: SOT 244623 SOS 154725 HAS SOPS 153572 HAS SOUS 93268 HAS SOUPS 92115 WITH SCORE 92269.725
AT ITER 1133 NEW BEST:: SOT 244606 SOS 154692 HAS SOPS 153539 HAS SOUS 93226 HAS SOUPS 92073 WITH SCORE 92227.692
AT ITER 1134 NEW BEST:: SOT 244606 SOS 154540 HAS SOPS 153387 HAS SOUS 93216 HAS SOUPS 92063 WITH SCORE 92217.54
AT ITER 1135 NEW BEST:: SOT 244565 SOS 154499 HAS SOPS 153346 HAS SOUS 93177 HAS SOUPS 92024 WITH SCORE 92178.499
AT ITER 1145 NEW BEST:: SOT 244501 SOS 154506 HAS SOPS 153353 HAS SOUS 93049 HAS SOUPS 91896 WITH SCORE 92050.506
AT ITER 1154 NEW BEST:: SOT 244417 SOS 154422 HAS SOPS 153269 HAS SOUS 92881 HAS SOUPS 91728 WITH SCORE 91882.422
AT ITER 1155 NEW BEST:: SOT 244385 SOS 154341 HAS SOPS 153188 HAS SOUS 92817 HAS SOUPS 91664 WITH SCORE 91818.341
AT ITER 1158 NEW BEST:: SOT 243625 SOS 153657 HAS SOPS 152580 HAS SOUS 92454 HAS SOUPS 91377 WITH SCORE 91530.657
AT ITER 1177 NEW BEST:: SOT 243437 SOS 153469 HAS SOPS 152392 HAS SOUS 92078 HAS SOUPS 91001 WITH SCORE 91154.469
AT ITER 1185 NEW BEST:: SOT 243437 SOS 153416 HAS SOPS 152339 HAS SOUS 92078 HAS SOUPS 91001 WITH SCORE 91154.416
AT ITER 1196 NEW BEST:: SOT 243361 SOS 153335 HAS SOPS 152258 HAS SOUS 91916 HAS SOUPS 90839 WITH SCORE 90992.335
AT ITER 1198 NEW BEST:: SOT 243275 SOS 153223 HAS SOPS 152146 HAS SOUS 91744 HAS SOUPS 90667 WITH SCORE 90820.223
AT ITER 1199 NEW BEST:: SOT 243275 SOS 153195 HAS SOPS 152118 HAS SOUS 91744 HAS SOUPS 90667 WITH SCORE 90820.195
AT ITER 1211 NEW BEST:: SOT 243218 SOS 153021 HAS SOPS 151944 HAS SOUS 91712 HAS SOUPS 90635 WITH SCORE 90788.021
AT ITER 1214 NEW BEST:: SOT 243163 SOS 152998 HAS SOPS 151921 HAS SOUS 91602 HAS SOUPS 90525 WITH SCORE 90677.998
AT ITER 1219 NEW BEST:: SOT 242210 SOS 156412 HAS SOPS 155105 HAS SOUS 91333 HAS SOUPS 90026 WITH SCORE 90182.412
AT ITER 1221 NEW BEST:: SOT 242180 SOS 156382 HAS SOPS 155075 HAS SOUS 91273 HAS SOUPS 89966 WITH SCORE 90122.382
AT ITER 1229 NEW BEST:: SOT 242129 SOS 156331 HAS SOPS 155024 HAS SOUS 91171 HAS SOUPS 89864 WITH SCORE 90020.331
AT ITER 1231 NEW BEST:: SOT 242129 SOS 156238 HAS SOPS 154934 HAS SOUS 91168 HAS SOUPS 89864 WITH SCORE 90020.238
AT ITER 1242 NEW BEST:: SOT 242129 SOS 156128 HAS SOPS 154824 HAS SOUS 91168 HAS SOUPS 89864 WITH SCORE 90020.128
AT ITER 1243 NEW BEST:: SOT 242090 SOS 156089 HAS SOPS 154785 HAS SOUS 91090 HAS SOUPS 89786 WITH SCORE 89942.089
AT ITER 1246 NEW BEST:: SOT 242034 SOS 156033 HAS SOPS 154729 HAS SOUS 90978 HAS SOUPS 89674 WITH SCORE 89830.033
AT ITER 1247 NEW BEST:: SOT 242000 SOS 155864 HAS SOPS 154560 HAS SOUS 90900 HAS SOUPS 89596 WITH SCORE 89751.864
AT ITER 1253 NEW BEST:: SOT 241984 SOS 155848 HAS SOPS 154544 HAS SOUS 90888 HAS SOUPS 89584 WITH SCORE 89739.848
AT ITER 1255 NEW BEST:: SOT 241984 SOS 155842 HAS SOPS 154538 HAS SOUS 90888 HAS SOUPS 89584 WITH SCORE 89739.842
AT ITER 1256 NEW BEST:: SOT 241984 SOS 155778 HAS SOPS 154474 HAS SOUS 90885 HAS SOUPS 89581 WITH SCORE 89736.778
AT ITER 1259 NEW BEST:: SOT 241984 SOS 155746 HAS SOPS 154442 HAS SOUS 90885 HAS SOUPS 89581 WITH SCORE 89736.746
AT ITER 1262 NEW BEST:: SOT 241913 SOS 155453 HAS SOPS 154149 HAS SOUS 90782 HAS SOUPS 89478 WITH SCORE 89633.453
AT ITER 1264 NEW BEST:: SOT 241877 SOS 155417 HAS SOPS 154113 HAS SOUS 90710 HAS SOUPS 89406 WITH SCORE 89561.417
AT ITER 1265 NEW BEST:: SOT 241865 SOS 155405 HAS SOPS 154101 HAS SOUS 90686 HAS SOUPS 89382 WITH SCORE 89537.405
AT ITER 1268 NEW BEST:: SOT 241885 SOS 155425 HAS SOPS 154121 HAS SOUS 90670 HAS SOUPS 89366 WITH SCORE 89521.425
AT ITER 1291 NEW BEST:: SOT 240981 SOS 154727 HAS SOPS 153423 HAS SOUS 90365 HAS SOUPS 89061 WITH SCORE 89215.727
AT ITER 1301 NEW BEST:: SOT 240819 SOS 154565 HAS SOPS 153261 HAS SOUS 90041 HAS SOUPS 88737 WITH SCORE 88891.565
AT ITER 1309 NEW BEST:: SOT 240819 SOS 154479 HAS SOPS 153175 HAS SOUS 90041 HAS SOUPS 88737 WITH SCORE 88891.479
AT ITER 1315 NEW BEST:: SOT 240819 SOS 154425 HAS SOPS 153121 HAS SOUS 90041 HAS SOUPS 88737 WITH SCORE 88891.425
AT ITER 1316 NEW BEST:: SOT 240365 SOS 153882 HAS SOPS 152578 HAS SOUS 89133 HAS SOUPS 87829 WITH SCORE 87982.882
AT ITER 1320 NEW BEST:: SOT 240343 SOS 153860 HAS SOPS 152556 HAS SOUS 89089 HAS SOUPS 87785 WITH SCORE 87938.86
AT ITER 1322 NEW BEST:: SOT 240342 SOS 153859 HAS SOPS 152555 HAS SOUS 89049 HAS SOUPS 87745 WITH SCORE 87898.859
AT ITER 1338 NEW BEST:: SOT 240268 SOS 153785 HAS SOPS 152481 HAS SOUS 88901 HAS SOUPS 87597 WITH SCORE 87750.785
AT ITER 1346 NEW BEST:: SOT 240106 SOS 153524 HAS SOPS 152123 HAS SOUS 88608 HAS SOUPS 87207 WITH SCORE 87360.524
AT ITER 1347 NEW BEST:: SOT 239940 SOS 153358 HAS SOPS 151957 HAS SOUS 88443 HAS SOUPS 87042 WITH SCORE 87195.358
AT ITER 1351 NEW BEST:: SOT 239864 SOS 153265 HAS SOPS 151864 HAS SOUS 88261 HAS SOUPS 86860 WITH SCORE 87013.265
AT ITER 1353 NEW BEST:: SOT 239819 SOS 153750 HAS SOPS 152349 HAS SOUS 88243 HAS SOUPS 86842 WITH SCORE 86995.75
AT ITER 1360 NEW BEST:: SOT 239736 SOS 153667 HAS SOPS 152266 HAS SOUS 88089 HAS SOUPS 86688 WITH SCORE 86841.667
AT ITER 1370 NEW BEST:: SOT 239717 SOS 153680 HAS SOPS 152279 HAS SOUS 88051 HAS SOUPS 86650 WITH SCORE 86803.68
AT ITER 1374 NEW BEST:: SOT 239717 SOS 153642 HAS SOPS 152241 HAS SOUS 88051 HAS SOUPS 86650 WITH SCORE 86803.642
AT ITER 1386 NEW BEST:: SOT 239641 SOS 153638 HAS SOPS 152237 HAS SOUS 87899 HAS SOUPS 86498 WITH SCORE 86651.638
AT ITER 1388 NEW BEST:: SOT 239622 SOS 153619 HAS SOPS 152218 HAS SOUS 87861 HAS SOUPS 86460 WITH SCORE 86613.619
AT ITER 1392 NEW BEST:: SOT 239371 SOS 153420 HAS SOPS 152038 HAS SOUS 87723 HAS SOUPS 86341 WITH SCORE 86494.42
AT ITER 1401 NEW BEST:: SOT 239291 SOS 153339 HAS SOPS 151957 HAS SOUS 87536 HAS SOUPS 86154 WITH SCORE 86307.339
AT ITER 1403 NEW BEST:: SOT 239250 SOS 153302 HAS SOPS 151920 HAS SOUS 87439 HAS SOUPS 86057 WITH SCORE 86210.302
AT ITER 1422 NEW BEST:: SOT 239195 SOS 153247 HAS SOPS 151865 HAS SOUS 87317 HAS SOUPS 85935 WITH SCORE 86088.247
AT ITER 1428 NEW BEST:: SOT 239164 SOS 153302 HAS SOPS 151920 HAS SOUS 87255 HAS SOUPS 85873 WITH SCORE 86026.302
AT ITER 1440 NEW BEST:: SOT 239063 SOS 153201 HAS SOPS 151819 HAS SOUS 87053 HAS SOUPS 85671 WITH SCORE 85824.201
AT ITER 1445 NEW BEST:: SOT 239063 SOS 153198 HAS SOPS 151816 HAS SOUS 87026 HAS SOUPS 85644 WITH SCORE 85797.198
AT ITER 1446 NEW BEST:: SOT 239063 SOS 153172 HAS SOPS 151790 HAS SOUS 87026 HAS SOUPS 85644 WITH SCORE 85797.172
AT ITER 1447 NEW BEST:: SOT 239063 SOS 153116 HAS SOPS 151734 HAS SOUS 87026 HAS SOUPS 85644 WITH SCORE 85797.116
AT ITER 1450 NEW BEST:: SOT 239063 SOS 153069 HAS SOPS 151687 HAS SOUS 87002 HAS SOUPS 85620 WITH SCORE 85773.069
AT ITER 1459 NEW BEST:: SOT 239063 SOS 153007 HAS SOPS 151625 HAS SOUS 87002 HAS SOUPS 85620 WITH SCORE 85773.007
AT ITER 1463 NEW BEST:: SOT 238961 SOS 152829 HAS SOPS 151447 HAS SOUS 86798 HAS SOUPS 85416 WITH SCORE 85568.829
AT ITER 1465 NEW BEST:: SOT 238952 SOS 152820 HAS SOPS 151438 HAS SOUS 86780 HAS SOUPS 85398 WITH SCORE 85550.82
AT ITER 1470 NEW BEST:: SOT 238814 SOS 152682 HAS SOPS 151300 HAS SOUS 86504 HAS SOUPS 85122 WITH SCORE 85274.682
AT ITER 1471 NEW BEST:: SOT 238766 SOS 152634 HAS SOPS 151252 HAS SOUS 86408 HAS SOUPS 85026 WITH SCORE 85178.634
AT ITER 1473 NEW BEST:: SOT 238714 SOS 152690 HAS SOPS 151450 HAS SOUS 86162 HAS SOUPS 84922 WITH SCORE 85074.69
AT ITER 1476 NEW BEST:: SOT 238714 SOS 152667 HAS SOPS 151427 HAS SOUS 86162 HAS SOUPS 84922 WITH SCORE 85074.667
AT ITER 1483 NEW BEST:: SOT 238694 SOS 152576 HAS SOPS 151336 HAS SOUS 86122 HAS SOUPS 84882 WITH SCORE 85034.576
AT ITER 1489 NEW BEST:: SOT 238694 SOS 152492 HAS SOPS 151252 HAS SOUS 86122 HAS SOUPS 84882 WITH SCORE 85034.492
AT ITER 1498 NEW BEST:: SOT 238693 SOS 152433 HAS SOPS 151193 HAS SOUS 86120 HAS SOUPS 84880 WITH SCORE 85032.433
AT ITER 1505 NEW BEST:: SOT 238645 SOS 152385 HAS SOPS 151145 HAS SOUS 86024 HAS SOUPS 84784 WITH SCORE 84936.385
AT ITER 1515 NEW BEST:: SOT 238645 SOS 152287 HAS SOPS 151047 HAS SOUS 86024 HAS SOUPS 84784 WITH SCORE 84936.287
AT ITER 1516 NEW BEST:: SOT 238623 SOS 152265 HAS SOPS 151025 HAS SOUS 86002 HAS SOUPS 84762 WITH SCORE 84914.265
AT ITER 1530 NEW BEST:: SOT 238041 SOS 151831 HAS SOPS 150674 HAS SOUS 85815 HAS SOUPS 84658 WITH SCORE 84809.831
AT ITER 1558 NEW BEST:: SOT 238041 SOS 150915 HAS SOPS 149784 HAS SOUS 85789 HAS SOUPS 84658 WITH SCORE 84808.915
AT ITER 1559 NEW BEST:: SOT 238023 SOS 150897 HAS SOPS 149766 HAS SOUS 85753 HAS SOUPS 84622 WITH SCORE 84772.897
AT ITER 1567 NEW BEST:: SOT 237957 SOS 150831 HAS SOPS 149700 HAS SOUS 85621 HAS SOUPS 84490 WITH SCORE 84640.831
AT ITER 1575 NEW BEST:: SOT 237877 SOS 150751 HAS SOPS 149620 HAS SOUS 85361 HAS SOUPS 84230 WITH SCORE 84380.751
AT ITER 1581 NEW BEST:: SOT 237856 SOS 151571 HAS SOPS 150440 HAS SOUS 85339 HAS SOUPS 84208 WITH SCORE 84359.571
AT ITER 1585 NEW BEST:: SOT 237852 SOS 151567 HAS SOPS 150436 HAS SOUS 85331 HAS SOUPS 84200 WITH SCORE 84351.567
AT ITER 1593 NEW BEST:: SOT 237797 SOS 151512 HAS SOPS 150381 HAS SOUS 85221 HAS SOUPS 84090 WITH SCORE 84241.512
AT ITER 1598 NEW BEST:: SOT 237797 SOS 151484 HAS SOPS 150353 HAS SOUS 85221 HAS SOUPS 84090 WITH SCORE 84241.484
AT ITER 1617 NEW BEST:: SOT 237790 SOS 151477 HAS SOPS 150346 HAS SOUS 85196 HAS SOUPS 84065 WITH SCORE 84216.477
AT ITER 1619 NEW BEST:: SOT 237740 SOS 151249 HAS SOPS 150118 HAS SOUS 85096 HAS SOUPS 83965 WITH SCORE 84116.249
AT ITER 1634 NEW BEST:: SOT 237721 SOS 151230 HAS SOPS 150099 HAS SOUS 85041 HAS SOUPS 83910 WITH SCORE 84061.23
AT ITER 1636 NEW BEST:: SOT 237610 SOS 151157 HAS SOPS 150026 HAS SOUS 84819 HAS SOUPS 83688 WITH SCORE 83839.157
AT ITER 1665 NEW BEST:: SOT 237579 SOS 151126 HAS SOPS 149995 HAS SOUS 84757 HAS SOUPS 83626 WITH SCORE 83777.126
AT ITER 1666 NEW BEST:: SOT 237518 SOS 151227 HAS SOPS 150096 HAS SOUS 84635 HAS SOUPS 83504 WITH SCORE 83655.227
AT ITER 1671 NEW BEST:: SOT 237554 SOS 151263 HAS SOPS 150132 HAS SOUS 84591 HAS SOUPS 83460 WITH SCORE 83611.263
AT ITER 1673 NEW BEST:: SOT 237548 SOS 151257 HAS SOPS 150126 HAS SOUS 84579 HAS SOUPS 83448 WITH SCORE 83599.257
AT ITER 1687 NEW BEST:: SOT 237548 SOS 151202 HAS SOPS 150071 HAS SOUS 84568 HAS SOUPS 83437 WITH SCORE 83588.202
AT ITER 1708 NEW BEST:: SOT 237409 SOS 151072 HAS SOPS 149941 HAS SOUS 84520 HAS SOUPS 83389 WITH SCORE 83540.072
AT ITER 1722 NEW BEST:: SOT 237409 SOS 150952 HAS SOPS 149826 HAS SOUS 84495 HAS SOUPS 83369 WITH SCORE 83519.952
AT ITER 1723 NEW BEST:: SOT 237343 SOS 150886 HAS SOPS 149760 HAS SOUS 84363 HAS SOUPS 83237 WITH SCORE 83387.886
AT ITER 1724 NEW BEST:: SOT 237182 SOS 150725 HAS SOPS 149599 HAS SOUS 84041 HAS SOUPS 82915 WITH SCORE 83065.725
AT ITER 1725 NEW BEST:: SOT 237068 SOS 150597 HAS SOPS 149471 HAS SOUS 83813 HAS SOUPS 82687 WITH SCORE 82837.597
AT ITER 1726 NEW BEST:: SOT 237046 SOS 150564 HAS SOPS 149427 HAS SOUS 83780 HAS SOUPS 82643 WITH SCORE 82793.564
AT ITER 1727 NEW BEST:: SOT 237044 SOS 150562 HAS SOPS 149425 HAS SOUS 83776 HAS SOUPS 82639 WITH SCORE 82789.562
AT ITER 1728 NEW BEST:: SOT 237044 SOS 150550 HAS SOPS 149413 HAS SOUS 83776 HAS SOUPS 82639 WITH SCORE 82789.55
AT ITER 1729 NEW BEST:: SOT 237062 SOS 150568 HAS SOPS 149431 HAS SOUS 83775 HAS SOUPS 82638 WITH SCORE 82788.568
AT ITER 1737 NEW BEST:: SOT 236918 SOS 150399 HAS SOPS 149262 HAS SOUS 83611 HAS SOUPS 82474 WITH SCORE 82624.399
AT ITER 1740 NEW BEST:: SOT 236914 SOS 150481 HAS SOPS 149344 HAS SOUS 83603 HAS SOUPS 82466 WITH SCORE 82616.481
AT ITER 1746 NEW BEST:: SOT 236870 SOS 150521 HAS SOPS 149384 HAS SOUS 83515 HAS SOUPS 82378 WITH SCORE 82528.521
AT ITER 1750 NEW BEST:: SOT 236735 SOS 150386 HAS SOPS 149249 HAS SOUS 83289 HAS SOUPS 82152 WITH SCORE 82302.386
AT ITER 1753 NEW BEST:: SOT 236643 SOS 150294 HAS SOPS 149157 HAS SOUS 83105 HAS SOUPS 81968 WITH SCORE 82118.294
AT ITER 1763 NEW BEST:: SOT 236608 SOS 150264 HAS SOPS 149127 HAS SOUS 83090 HAS SOUPS 81953 WITH SCORE 82103.264
AT ITER 1774 NEW BEST:: SOT 236608 SOS 150182 HAS SOPS 149045 HAS SOUS 83084 HAS SOUPS 81947 WITH SCORE 82097.182
AT ITER 1787 NEW BEST:: SOT 236608 SOS 149715 HAS SOPS 148610 HAS SOUS 83003 HAS SOUPS 81898 WITH SCORE 82047.715
AT ITER 1792 NEW BEST:: SOT 236604 SOS 149861 HAS SOPS 148756 HAS SOUS 83002 HAS SOUPS 81897 WITH SCORE 82046.861
AT ITER 1793 NEW BEST:: SOT 236385 SOS 149668 HAS SOPS 148563 HAS SOUS 82732 HAS SOUPS 81627 WITH SCORE 81776.668
AT ITER 1795 NEW BEST:: SOT 236488 SOS 149749 HAS SOPS 148644 HAS SOUS 82661 HAS SOUPS 81556 WITH SCORE 81705.749
AT ITER 1801 NEW BEST:: SOT 236362 SOS 149445 HAS SOPS 148174 HAS SOUS 82575 HAS SOUPS 81304 WITH SCORE 81453.445
AT ITER 1805 NEW BEST:: SOT 236306 SOS 149396 HAS SOPS 148132 HAS SOUS 82561 HAS SOUPS 81297 WITH SCORE 81446.396
AT ITER 1813 NEW BEST:: SOT 236219 SOS 149309 HAS SOPS 148045 HAS SOUS 82387 HAS SOUPS 81123 WITH SCORE 81272.309
AT ITER 1816 NEW BEST:: SOT 236219 SOS 149293 HAS SOPS 148029 HAS SOUS 82387 HAS SOUPS 81123 WITH SCORE 81272.293
AT ITER 1819 NEW BEST:: SOT 236219 SOS 149293 HAS SOPS 148029 HAS SOUS 82364 HAS SOUPS 81100 WITH SCORE 81249.293
AT ITER 1821 NEW BEST:: SOT 235349 SOS 148487 HAS SOPS 147223 HAS SOUS 82000 HAS SOUPS 80736 WITH SCORE 80884.487
AT ITER 1822 NEW BEST:: SOT 235349 SOS 148333 HAS SOPS 147069 HAS SOUS 81993 HAS SOUPS 80729 WITH SCORE 80877.333
AT ITER 1825 NEW BEST:: SOT 235302 SOS 148286 HAS SOPS 147022 HAS SOUS 81899 HAS SOUPS 80635 WITH SCORE 80783.286
AT ITER 1827 NEW BEST:: SOT 235206 SOS 148190 HAS SOPS 146926 HAS SOUS 81807 HAS SOUPS 80543 WITH SCORE 80691.19
AT ITER 1832 NEW BEST:: SOT 235342 SOS 148304 HAS SOPS 147040 HAS SOUS 81749 HAS SOUPS 80485 WITH SCORE 80633.304
AT ITER 1842 NEW BEST:: SOT 235275 SOS 148237 HAS SOPS 146973 HAS SOUS 81690 HAS SOUPS 80426 WITH SCORE 80574.237
AT ITER 1844 NEW BEST:: SOT 235197 SOS 148196 HAS SOPS 146979 HAS SOUS 81552 HAS SOUPS 80335 WITH SCORE 80483.196
AT ITER 1853 NEW BEST:: SOT 235169 SOS 148168 HAS SOPS 146951 HAS SOUS 81496 HAS SOUPS 80279 WITH SCORE 80427.168
AT ITER 1864 NEW BEST:: SOT 235102 SOS 148101 HAS SOPS 146884 HAS SOUS 81362 HAS SOUPS 80145 WITH SCORE 80293.101
AT ITER 1871 NEW BEST:: SOT 235077 SOS 148076 HAS SOPS 146859 HAS SOUS 81312 HAS SOUPS 80095 WITH SCORE 80243.076
AT ITER 1872 NEW BEST:: SOT 234992 SOS 147991 HAS SOPS 146774 HAS SOUS 81142 HAS SOUPS 79925 WITH SCORE 80072.991
AT ITER 1875 NEW BEST:: SOT 234948 SOS 147947 HAS SOPS 146730 HAS SOUS 81054 HAS SOUPS 79837 WITH SCORE 79984.947
AT ITER 1880 NEW BEST:: SOT 234912 SOS 147873 HAS SOPS 146656 HAS SOUS 80982 HAS SOUPS 79765 WITH SCORE 79912.873
AT ITER 1890 NEW BEST:: SOT 234899 SOS 147989 HAS SOPS 146772 HAS SOUS 80963 HAS SOUPS 79746 WITH SCORE 79893.989
AT ITER 1897 NEW BEST:: SOT 234903 SOS 147270 HAS SOPS 146053 HAS SOUS 80959 HAS SOUPS 79742 WITH SCORE 79889.27
AT ITER 1900 NEW BEST:: SOT 234703 SOS 147070 HAS SOPS 145853 HAS SOUS 80584 HAS SOUPS 79367 WITH SCORE 79514.07
AT ITER 1924 NEW BEST:: SOT 234567 SOS 146934 HAS SOPS 145717 HAS SOUS 80312 HAS SOUPS 79095 WITH SCORE 79241.934
AT ITER 1927 NEW BEST:: SOT 234486 SOS 146853 HAS SOPS 145636 HAS SOUS 80150 HAS SOUPS 78933 WITH SCORE 79079.853
AT ITER 1933 NEW BEST:: SOT 234444 SOS 146811 HAS SOPS 145594 HAS SOUS 80066 HAS SOUPS 78849 WITH SCORE 78995.811
AT ITER 1934 NEW BEST:: SOT 234182 SOS 146578 HAS SOPS 145361 HAS SOUS 79931 HAS SOUPS 78714 WITH SCORE 78860.578
AT ITER 1936 NEW BEST:: SOT 233991 SOS 146354 HAS SOPS 145137 HAS SOUS 79872 HAS SOUPS 78655 WITH SCORE 78801.354
AT ITER 1938 NEW BEST:: SOT 233904 SOS 146277 HAS SOPS 145060 HAS SOUS 79867 HAS SOUPS 78650 WITH SCORE 78796.277
AT ITER 1942 NEW BEST:: SOT 233790 SOS 146141 HAS SOPS 144924 HAS SOUS 79581 HAS SOUPS 78364 WITH SCORE 78510.141
AT ITER 1956 NEW BEST:: SOT 233745 SOS 146058 HAS SOPS 144841 HAS SOUS 79491 HAS SOUPS 78274 WITH SCORE 78420.058
AT ITER 1957 NEW BEST:: SOT 233658 SOS 145971 HAS SOPS 144754 HAS SOUS 79317 HAS SOUPS 78100 WITH SCORE 78245.971
AT ITER 1959 NEW BEST:: SOT 233634 SOS 145947 HAS SOPS 144730 HAS SOUS 79269 HAS SOUPS 78052 WITH SCORE 78197.947
AT ITER 1961 NEW BEST:: SOT 233634 SOS 145638 HAS SOPS 144432 HAS SOUS 79258 HAS SOUPS 78052 WITH SCORE 78197.638
AT ITER 1967 NEW BEST:: SOT 233577 SOS 145581 HAS SOPS 144375 HAS SOUS 79109 HAS SOUPS 77903 WITH SCORE 78048.581
AT ITER 1976 NEW BEST:: SOT 233393 SOS 145397 HAS SOPS 144191 HAS SOUS 78761 HAS SOUPS 77555 WITH SCORE 77700.397
AT ITER 1981 NEW BEST:: SOT 233352 SOS 145910 HAS SOPS 144704 HAS SOUS 78720 HAS SOUPS 77514 WITH SCORE 77659.91
AT ITER 1985 NEW BEST:: SOT 233333 SOS 145891 HAS SOPS 144685 HAS SOUS 78682 HAS SOUPS 77476 WITH SCORE 77621.891
AT ITER 1988 NEW BEST:: SOT 233166 SOS 145724 HAS SOPS 144518 HAS SOUS 78634 HAS SOUPS 77428 WITH SCORE 77573.724
AT ITER 1996 NEW BEST:: SOT 232918 SOS 145367 HAS SOPS 144161 HAS SOUS 78064 HAS SOUPS 76858 WITH SCORE 77003.367
AT ITER 2032 NEW BEST:: SOT 232579 SOS 145068 HAS SOPS 143902 HAS SOUS 77963 HAS SOUPS 76797 WITH SCORE 76942.068
AT ITER 2037 NEW BEST:: SOT 232579 SOS 144994 HAS SOPS 143828 HAS SOUS 77963 HAS SOUPS 76797 WITH SCORE 76941.994
AT ITER 2038 NEW BEST:: SOT 232489 SOS 144904 HAS SOPS 143738 HAS SOUS 77783 HAS SOUPS 76617 WITH SCORE 76761.904
AT ITER 2041 NEW BEST:: SOT 232489 SOS 144886 HAS SOPS 143720 HAS SOUS 77783 HAS SOUPS 76617 WITH SCORE 76761.886
AT ITER 2049 NEW BEST:: SOT 232486 SOS 144883 HAS SOPS 143717 HAS SOUS 77777 HAS SOUPS 76611 WITH SCORE 76755.883
AT ITER 2053 NEW BEST:: SOT 232396 SOS 144793 HAS SOPS 143627 HAS SOUS 77597 HAS SOUPS 76431 WITH SCORE 76575.793
AT ITER 2057 NEW BEST:: SOT 232381 SOS 144778 HAS SOPS 143612 HAS SOUS 77567 HAS SOUPS 76401 WITH SCORE 76545.778
AT ITER 2068 NEW BEST:: SOT 232370 SOS 144767 HAS SOPS 143601 HAS SOUS 77500 HAS SOUPS 76334 WITH SCORE 76478.767
AT ITER 2074 NEW BEST:: SOT 232278 SOS 144675 HAS SOPS 143509 HAS SOUS 77316 HAS SOUPS 76150 WITH SCORE 76294.675
AT ITER 2092 NEW BEST:: SOT 232224 SOS 144630 HAS SOPS 143464 HAS SOUS 77271 HAS SOUPS 76105 WITH SCORE 76249.63
AT ITER 2093 NEW BEST:: SOT 231590 SOS 144203 HAS SOPS 143037 HAS SOUS 76958 HAS SOUPS 75792 WITH SCORE 75936.203
AT ITER 2099 NEW BEST:: SOT 231576 SOS 144189 HAS SOPS 143023 HAS SOUS 76922 HAS SOUPS 75756 WITH SCORE 75900.189
AT ITER 2101 NEW BEST:: SOT 231508 SOS 144121 HAS SOPS 142955 HAS SOUS 76853 HAS SOUPS 75687 WITH SCORE 75831.121
AT ITER 2111 NEW BEST:: SOT 231437 SOS 144050 HAS SOPS 142884 HAS SOUS 76711 HAS SOUPS 75545 WITH SCORE 75689.05
AT ITER 2112 NEW BEST:: SOT 231433 SOS 144012 HAS SOPS 142846 HAS SOUS 76703 HAS SOUPS 75537 WITH SCORE 75681.012
AT ITER 2123 NEW BEST:: SOT 231367 SOS 143946 HAS SOPS 142780 HAS SOUS 76571 HAS SOUPS 75405 WITH SCORE 75548.946
AT ITER 2134 NEW BEST:: SOT 231315 SOS 143856 HAS SOPS 142690 HAS SOUS 76439 HAS SOUPS 75273 WITH SCORE 75416.856
AT ITER 2139 NEW BEST:: SOT 231315 SOS 143254 HAS SOPS 142088 HAS SOUS 76409 HAS SOUPS 75243 WITH SCORE 75386.254
AT ITER 2154 NEW BEST:: SOT 231272 SOS 143211 HAS SOPS 142045 HAS SOUS 76323 HAS SOUPS 75157 WITH SCORE 75300.211
AT ITER 2158 NEW BEST:: SOT 231270 SOS 143209 HAS SOPS 142043 HAS SOUS 76321 HAS SOUPS 75155 WITH SCORE 75298.209
AT ITER 2165 NEW BEST:: SOT 231270 SOS 143176 HAS SOPS 142010 HAS SOUS 76321 HAS SOUPS 75155 WITH SCORE 75298.176
AT ITER 2179 NEW BEST:: SOT 231266 SOS 143172 HAS SOPS 142006 HAS SOUS 76313 HAS SOUPS 75147 WITH SCORE 75290.172
AT ITER 2188 NEW BEST:: SOT 231266 SOS 143107 HAS SOPS 141914 HAS SOUS 76340 HAS SOUPS 75147 WITH SCORE 75290.107
AT ITER 2191 NEW BEST:: SOT 229352 SOS 184251 HAS SOPS 183058 HAS SOUS 74429 HAS SOUPS 73236 WITH SCORE 73420.251
AT ITER 2194 NEW BEST:: SOT 229292 SOS 184224 HAS SOPS 183031 HAS SOUS 74375 HAS SOUPS 73182 WITH SCORE 73366.224
AT ITER 2219 NEW BEST:: SOT 229233 SOS 184165 HAS SOPS 182972 HAS SOUS 74180 HAS SOUPS 72987 WITH SCORE 73171.165
AT ITER 2222 NEW BEST:: SOT 229227 SOS 184159 HAS SOPS 182966 HAS SOUS 74168 HAS SOUPS 72975 WITH SCORE 73159.159
AT ITER 2243 NEW BEST:: SOT 229217 SOS 184149 HAS SOPS 182956 HAS SOUS 74148 HAS SOUPS 72955 WITH SCORE 73139.149
AT ITER 2257 NEW BEST:: SOT 229308 SOS 184200 HAS SOPS 182987 HAS SOUS 74070 HAS SOUPS 72857 WITH SCORE 73041.2
AT ITER 2259 NEW BEST:: SOT 229208 SOS 184100 HAS SOPS 182887 HAS SOUS 73870 HAS SOUPS 72657 WITH SCORE 72841.1
AT ITER 2265 NEW BEST:: SOT 229142 SOS 184034 HAS SOPS 182821 HAS SOUS 73752 HAS SOUPS 72539 WITH SCORE 72723.034
AT ITER 2274 NEW BEST:: SOT 228922 SOS 184977 HAS SOPS 183655 HAS SOUS 73767 HAS SOUPS 72445 WITH SCORE 72629.977
AT ITER 2283 NEW BEST:: SOT 228902 SOS 184957 HAS SOPS 183635 HAS SOUS 73699 HAS SOUPS 72377 WITH SCORE 72561.957
AT ITER 2304 NEW BEST:: SOT 228874 SOS 184929 HAS SOPS 183607 HAS SOUS 73634 HAS SOUPS 72312 WITH SCORE 72496.929
AT ITER 2307 NEW BEST:: SOT 228868 SOS 184923 HAS SOPS 183601 HAS SOUS 73622 HAS SOUPS 72300 WITH SCORE 72484.923
AT ITER 2319 NEW BEST:: SOT 228715 SOS 184815 HAS SOPS 183448 HAS SOUS 73641 HAS SOUPS 72274 WITH SCORE 72458.815
AT ITER 2328 NEW BEST:: SOT 228996 SOS 185044 HAS SOPS 183677 HAS SOUS 73617 HAS SOUPS 72250 WITH SCORE 72435.044
AT ITER 2334 NEW BEST:: SOT 228996 SOS 184898 HAS SOPS 183531 HAS SOUS 73617 HAS SOUPS 72250 WITH SCORE 72434.898
AT ITER 2335 NEW BEST:: SOT 228939 SOS 184841 HAS SOPS 183474 HAS SOUS 73466 HAS SOUPS 72099 WITH SCORE 72283.841
AT ITER 2338 NEW BEST:: SOT 228914 SOS 184816 HAS SOPS 183449 HAS SOUS 73416 HAS SOUPS 72049 WITH SCORE 72233.816
AT ITER 2359 NEW BEST:: SOT 228910 SOS 184812 HAS SOPS 183445 HAS SOUS 73408 HAS SOUPS 72041 WITH SCORE 72225.812
AT ITER 2360 NEW BEST:: SOT 228887 SOS 184789 HAS SOPS 183422 HAS SOUS 73362 HAS SOUPS 71995 WITH SCORE 72179.789
AT ITER 2373 NEW BEST:: SOT 228887 SOS 184773 HAS SOPS 183406 HAS SOUS 73362 HAS SOUPS 71995 WITH SCORE 72179.773
AT ITER 2376 NEW BEST:: SOT 228648 SOS 184476 HAS SOPS 183051 HAS SOUS 73187 HAS SOUPS 71762 WITH SCORE 71946.476
AT ITER 2390 NEW BEST:: SOT 228588 SOS 184416 HAS SOPS 182991 HAS SOUS 73067 HAS SOUPS 71642 WITH SCORE 71826.416
AT ITER 2394 NEW BEST:: SOT 228581 SOS 184409 HAS SOPS 182984 HAS SOUS 73053 HAS SOUPS 71628 WITH SCORE 71812.409
AT ITER 2397 NEW BEST:: SOT 228577 SOS 184405 HAS SOPS 182980 HAS SOUS 73049 HAS SOUPS 71624 WITH SCORE 71808.405
AT ITER 2400 NEW BEST:: SOT 228375 SOS 184627 HAS SOPS 183202 HAS SOUS 72972 HAS SOUPS 71547 WITH SCORE 71731.627
AT ITER 2408 NEW BEST:: SOT 228173 SOS 184425 HAS SOPS 183000 HAS SOUS 72568 HAS SOUPS 71143 WITH SCORE 71327.425
AT ITER 2411 NEW BEST:: SOT 228099 SOS 184351 HAS SOPS 182926 HAS SOUS 72556 HAS SOUPS 71131 WITH SCORE 71315.351
AT ITER 2413 NEW BEST:: SOT 228108 SOS 184360 HAS SOPS 182935 HAS SOUS 72541 HAS SOUPS 71116 WITH SCORE 71300.36
AT ITER 2415 NEW BEST:: SOT 228102 SOS 184354 HAS SOPS 182929 HAS SOUS 72529 HAS SOUPS 71104 WITH SCORE 71288.354
AT ITER 2419 NEW BEST:: SOT 228066 SOS 184318 HAS SOPS 182893 HAS SOUS 72457 HAS SOUPS 71032 WITH SCORE 71216.318
AT ITER 2432 NEW BEST:: SOT 228042 SOS 184294 HAS SOPS 182869 HAS SOUS 72409 HAS SOUPS 70984 WITH SCORE 71168.294
AT ITER 2439 NEW BEST:: SOT 228029 SOS 184249 HAS SOPS 182824 HAS SOUS 72383 HAS SOUPS 70958 WITH SCORE 71142.249
AT ITER 2465 NEW BEST:: SOT 228022 SOS 184242 HAS SOPS 182817 HAS SOUS 72369 HAS SOUPS 70944 WITH SCORE 71128.242
AT ITER 2492 NEW BEST:: SOT 227956 SOS 184176 HAS SOPS 182751 HAS SOUS 72237 HAS SOUPS 70812 WITH SCORE 70996.176
AT ITER 2494 NEW BEST:: SOT 227921 SOS 184141 HAS SOPS 182716 HAS SOUS 72197 HAS SOUPS 70772 WITH SCORE 70956.141
AT ITER 2505 NEW BEST:: SOT 227792 SOS 184021 HAS SOPS 182587 HAS SOUS 72119 HAS SOUPS 70685 WITH SCORE 70869.021
AT ITER 2529 NEW BEST:: SOT 227737 SOS 183966 HAS SOPS 182532 HAS SOUS 72009 HAS SOUPS 70575 WITH SCORE 70758.966
AT ITER 2546 NEW BEST:: SOT 227731 SOS 183937 HAS SOPS 182500 HAS SOUS 71990 HAS SOUPS 70553 WITH SCORE 70736.937
AT ITER 2551 NEW BEST:: SOT 227637 SOS 183843 HAS SOPS 182406 HAS SOUS 71802 HAS SOUPS 70365 WITH SCORE 70548.843
AT ITER 2553 NEW BEST:: SOT 227616 SOS 183792 HAS SOPS 182355 HAS SOUS 71760 HAS SOUPS 70323 WITH SCORE 70506.792
AT ITER 2558 NEW BEST:: SOT 227598 SOS 183774 HAS SOPS 182337 HAS SOUS 71724 HAS SOUPS 70287 WITH SCORE 70470.774
AT ITER 2562 NEW BEST:: SOT 227574 SOS 183782 HAS SOPS 182345 HAS SOUS 71676 HAS SOUPS 70239 WITH SCORE 70422.782
AT ITER 2570 NEW BEST:: SOT 227574 SOS 183722 HAS SOPS 182285 HAS SOUS 71676 HAS SOUPS 70239 WITH SCORE 70422.722
AT ITER 2574 NEW BEST:: SOT 227530 SOS 183678 HAS SOPS 182241 HAS SOUS 71570 HAS SOUPS 70133 WITH SCORE 70316.678
AT ITER 2578 NEW BEST:: SOT 227514 SOS 183662 HAS SOPS 182225 HAS SOUS 71538 HAS SOUPS 70101 WITH SCORE 70284.662
AT ITER 2592 NEW BEST:: SOT 227348 SOS 183519 HAS SOPS 182059 HAS SOUS 71413 HAS SOUPS 69953 WITH SCORE 70136.519
AT ITER 2596 NEW BEST:: SOT 227346 SOS 183517 HAS SOPS 182057 HAS SOUS 71409 HAS SOUPS 69949 WITH SCORE 70132.517
AT ITER 2601 NEW BEST:: SOT 226810 SOS 183014 HAS SOPS 181554 HAS SOUS 71339 HAS SOUPS 69879 WITH SCORE 70062.014
AT ITER 2610 NEW BEST:: SOT 226799 SOS 183003 HAS SOPS 181543 HAS SOUS 71317 HAS SOUPS 69857 WITH SCORE 70040.003
AT ITER 2614 NEW BEST:: SOT 226723 SOS 182927 HAS SOPS 181467 HAS SOUS 71165 HAS SOUPS 69705 WITH SCORE 69887.927
AT ITER 2617 NEW BEST:: SOT 226649 SOS 182876 HAS SOPS 181416 HAS SOUS 71109 HAS SOUPS 69649 WITH SCORE 69831.876
AT ITER 2631 NEW BEST:: SOT 226557 SOS 182784 HAS SOPS 181324 HAS SOUS 71017 HAS SOUPS 69557 WITH SCORE 69739.784
AT ITER 2634 NEW BEST:: SOT 226535 SOS 182762 HAS SOPS 181302 HAS SOUS 70973 HAS SOUPS 69513 WITH SCORE 69695.762
AT ITER 2635 NEW BEST:: SOT 226354 SOS 182600 HAS SOPS 181159 HAS SOUS 70906 HAS SOUPS 69465 WITH SCORE 69647.6
AT ITER 2637 NEW BEST:: SOT 226351 SOS 182597 HAS SOPS 181156 HAS SOUS 70900 HAS SOUPS 69459 WITH SCORE 69641.597
AT ITER 2642 NEW BEST:: SOT 226331 SOS 182577 HAS SOPS 181136 HAS SOUS 70860 HAS SOUPS 69419 WITH SCORE 69601.577
AT ITER 2668 NEW BEST:: SOT 226307 SOS 182553 HAS SOPS 181112 HAS SOUS 70812 HAS SOUPS 69371 WITH SCORE 69553.553
AT ITER 2688 NEW BEST:: SOT 226255 SOS 182501 HAS SOPS 181060 HAS SOUS 70708 HAS SOUPS 69267 WITH SCORE 69449.501
AT ITER 2701 NEW BEST:: SOT 226239 SOS 182489 HAS SOPS 181048 HAS SOUS 70696 HAS SOUPS 69255 WITH SCORE 69437.489
AT ITER 2714 NEW BEST:: SOT 226234 SOS 182484 HAS SOPS 181043 HAS SOUS 70686 HAS SOUPS 69245 WITH SCORE 69427.484
AT ITER 2721 NEW BEST:: SOT 226386 SOS 182636 HAS SOPS 181195 HAS SOUS 70638 HAS SOUPS 69197 WITH SCORE 69379.636
AT ITER 2725 NEW BEST:: SOT 226362 SOS 182612 HAS SOPS 181171 HAS SOUS 70590 HAS SOUPS 69149 WITH SCORE 69331.612
AT ITER 2727 NEW BEST:: SOT 226352 SOS 182602 HAS SOPS 181161 HAS SOUS 70570 HAS SOUPS 69129 WITH SCORE 69311.602
AT ITER 2728 NEW BEST:: SOT 226210 SOS 182460 HAS SOPS 181019 HAS SOUS 70286 HAS SOUPS 68845 WITH SCORE 69027.46
AT ITER 2741 NEW BEST:: SOT 226201 SOS 182451 HAS SOPS 181010 HAS SOUS 70277 HAS SOUPS 68836 WITH SCORE 69018.451
AT ITER 2759 NEW BEST:: SOT 226201 SOS 182436 HAS SOPS 180995 HAS SOUS 70277 HAS SOUPS 68836 WITH SCORE 69018.436
AT ITER 2774 NEW BEST:: SOT 226157 SOS 182364 HAS SOPS 180923 HAS SOUS 70189 HAS SOUPS 68748 WITH SCORE 68930.364
AT ITER 2781 NEW BEST:: SOT 226121 SOS 182328 HAS SOPS 180887 HAS SOUS 70117 HAS SOUPS 68676 WITH SCORE 68858.328
AT ITER 2788 NEW BEST:: SOT 226115 SOS 182322 HAS SOPS 180881 HAS SOUS 70099 HAS SOUPS 68658 WITH SCORE 68840.322
AT ITER 2791 NEW BEST:: SOT 225047 SOS 181524 HAS SOPS 180222 HAS SOUS 69820 HAS SOUPS 68518 WITH SCORE 68699.524
AT ITER 2797 NEW BEST:: SOT 225025 SOS 181502 HAS SOPS 180200 HAS SOUS 69776 HAS SOUPS 68474 WITH SCORE 68655.502
AT ITER 2809 NEW BEST:: SOT 225068 SOS 181118 HAS SOPS 179816 HAS SOUS 69730 HAS SOUPS 68428 WITH SCORE 68609.118
AT ITER 2835 NEW BEST:: SOT 225060 SOS 181110 HAS SOPS 179808 HAS SOUS 69706 HAS SOUPS 68404 WITH SCORE 68585.11
AT ITER 2837 NEW BEST:: SOT 223941 SOS 180558 HAS SOPS 179256 HAS SOUS 69407 HAS SOUPS 68105 WITH SCORE 68285.558
AT ITER 2844 NEW BEST:: SOT 223894 SOS 180501 HAS SOPS 179199 HAS SOUS 69313 HAS SOUPS 68011 WITH SCORE 68191.501
AT ITER 2847 NEW BEST:: SOT 223662 SOS 180304 HAS SOPS 178967 HAS SOUS 69165 HAS SOUPS 67828 WITH SCORE 68008.304
AT ITER 2849 NEW BEST:: SOT 223478 SOS 180120 HAS SOPS 178783 HAS SOUS 68797 HAS SOUPS 67460 WITH SCORE 67640.12
AT ITER 2856 NEW BEST:: SOT 223467 SOS 180087 HAS SOPS 178750 HAS SOUS 68764 HAS SOUPS 67427 WITH SCORE 67607.087
AT ITER 2860 NEW BEST:: SOT 223283 SOS 179903 HAS SOPS 178566 HAS SOUS 68762 HAS SOUPS 67425 WITH SCORE 67604.903
AT ITER 2865 NEW BEST:: SOT 223233 SOS 179853 HAS SOPS 178516 HAS SOUS 68662 HAS SOUPS 67325 WITH SCORE 67504.853
AT ITER 2866 NEW BEST:: SOT 223542 SOS 180118 HAS SOPS 178737 HAS SOUS 68622 HAS SOUPS 67241 WITH SCORE 67421.118
AT ITER 2874 NEW BEST:: SOT 223542 SOS 180072 HAS SOPS 178691 HAS SOUS 68622 HAS SOUPS 67241 WITH SCORE 67421.072
AT ITER 2885 NEW BEST:: SOT 223535 SOS 180065 HAS SOPS 178684 HAS SOUS 68608 HAS SOUPS 67227 WITH SCORE 67407.065
AT ITER 2886 NEW BEST:: SOT 223486 SOS 180016 HAS SOPS 178635 HAS SOUS 68510 HAS SOUPS 67129 WITH SCORE 67309.016
AT ITER 2890 NEW BEST:: SOT 223468 SOS 179998 HAS SOPS 178617 HAS SOUS 68474 HAS SOUPS 67093 WITH SCORE 67272.998
AT ITER 2899 NEW BEST:: SOT 223389 SOS 179919 HAS SOPS 178538 HAS SOUS 68316 HAS SOUPS 66935 WITH SCORE 67114.919
AT ITER 2902 NEW BEST:: SOT 223390 SOS 179920 HAS SOPS 178539 HAS SOUS 68181 HAS SOUPS 66800 WITH SCORE 66979.92
AT ITER 2903 NEW BEST:: SOT 223281 SOS 179921 HAS SOPS 178540 HAS SOUS 68034 HAS SOUPS 66653 WITH SCORE 66832.921
AT ITER 2944 NEW BEST:: SOT 223270 SOS 179910 HAS SOPS 178529 HAS SOUS 68012 HAS SOUPS 66631 WITH SCORE 66810.91
AT ITER 2954 NEW BEST:: SOT 223553 SOS 180193 HAS SOPS 178812 HAS SOUS 68009 HAS SOUPS 66628 WITH SCORE 66808.193
AT ITER 2957 NEW BEST:: SOT 223485 SOS 180125 HAS SOPS 178744 HAS SOUS 67873 HAS SOUPS 66492 WITH SCORE 66672.125
AT ITER 2974 NEW BEST:: SOT 222799 SOS 179518 HAS SOPS 178058 HAS SOUS 67655 HAS SOUPS 66195 WITH SCORE 66374.518
AT ITER 2978 NEW BEST:: SOT 222782 SOS 179501 HAS SOPS 178041 HAS SOUS 67588 HAS SOUPS 66128 WITH SCORE 66307.501
AT ITER 2980 NEW BEST:: SOT 222474 SOS 179193 HAS SOPS 177733 HAS SOUS 67454 HAS SOUPS 65994 WITH SCORE 66173.193
AT ITER 2984 NEW BEST:: SOT 222414 SOS 179147 HAS SOPS 177687 HAS SOUS 67448 HAS SOUPS 65988 WITH SCORE 66167.147
AT ITER 2994 NEW BEST:: SOT 222388 SOS 179121 HAS SOPS 177661 HAS SOUS 67429 HAS SOUPS 65969 WITH SCORE 66148.121
AT ITER 3011 NEW BEST:: SOT 222384 SOS 179117 HAS SOPS 177657 HAS SOUS 67421 HAS SOUPS 65961 WITH SCORE 66140.117
AT ITER 3021 NEW BEST:: SOT 222338 SOS 179071 HAS SOPS 177611 HAS SOUS 67329 HAS SOUPS 65869 WITH SCORE 66048.071
AT ITER 3032 NEW BEST:: SOT 222338 SOS 179069 HAS SOPS 177609 HAS SOUS 67329 HAS SOUPS 65869 WITH SCORE 66048.069
AT ITER 3061 NEW BEST:: SOT 222312 SOS 179043 HAS SOPS 177583 HAS SOUS 67277 HAS SOUPS 65817 WITH SCORE 65996.043
AT ITER 3064 NEW BEST:: SOT 222162 SOS 178893 HAS SOPS 177433 HAS SOUS 67127 HAS SOUPS 65667 WITH SCORE 65845.893
AT ITER 3067 NEW BEST:: SOT 222162 SOS 178655 HAS SOPS 177195 HAS SOUS 67014 HAS SOUPS 65554 WITH SCORE 65732.655
AT ITER 3074 NEW BEST:: SOT 222040 SOS 178545 HAS SOPS 177085 HAS SOUS 66926 HAS SOUPS 65466 WITH SCORE 65644.545
AT ITER 3080 NEW BEST:: SOT 221973 SOS 178478 HAS SOPS 177018 HAS SOUS 66792 HAS SOUPS 65332 WITH SCORE 65510.478
AT ITER 3082 NEW BEST:: SOT 221968 SOS 178473 HAS SOPS 177013 HAS SOUS 66782 HAS SOUPS 65322 WITH SCORE 65500.473
AT ITER 3088 NEW BEST:: SOT 221944 SOS 178449 HAS SOPS 176989 HAS SOUS 66770 HAS SOUPS 65310 WITH SCORE 65488.449
AT ITER 3089 NEW BEST:: SOT 221669 SOS 178174 HAS SOPS 176714 HAS SOUS 66735 HAS SOUPS 65275 WITH SCORE 65453.174
AT ITER 3090 NEW BEST:: SOT 221669 SOS 178158 HAS SOPS 176698 HAS SOUS 66735 HAS SOUPS 65275 WITH SCORE 65453.158
AT ITER 3091 NEW BEST:: SOT 221518 SOS 178028 HAS SOPS 176589 HAS SOUS 66684 HAS SOUPS 65245 WITH SCORE 65423.028
AT ITER 3105 NEW BEST:: SOT 221509 SOS 178019 HAS SOPS 176580 HAS SOUS 66666 HAS SOUPS 65227 WITH SCORE 65405.019
AT ITER 3111 NEW BEST:: SOT 221302 SOS 178269 HAS SOPS 176830 HAS SOUS 66583 HAS SOUPS 65144 WITH SCORE 65322.269
AT ITER 3113 NEW BEST:: SOT 221162 SOS 178129 HAS SOPS 176690 HAS SOUS 66303 HAS SOUPS 64864 WITH SCORE 65042.129
AT ITER 3118 NEW BEST:: SOT 221140 SOS 178107 HAS SOPS 176668 HAS SOUS 66259 HAS SOUPS 64820 WITH SCORE 64998.107
AT ITER 3120 NEW BEST:: SOT 221033 SOS 178000 HAS SOPS 176561 HAS SOUS 66045 HAS SOUPS 64606 WITH SCORE 64784.0
AT ITER 3121 NEW BEST:: SOT 220979 SOS 177946 HAS SOPS 176507 HAS SOUS 65937 HAS SOUPS 64498 WITH SCORE 64675.946
AT ITER 3127 NEW BEST:: SOT 220968 SOS 177935 HAS SOPS 176496 HAS SOUS 65915 HAS SOUPS 64476 WITH SCORE 64653.935
AT ITER 3130 NEW BEST:: SOT 220944 SOS 177914 HAS SOPS 176478 HAS SOUS 65876 HAS SOUPS 64440 WITH SCORE 64617.914
AT ITER 3135 NEW BEST:: SOT 221681 SOS 178651 HAS SOPS 177215 HAS SOUS 65811 HAS SOUPS 64375 WITH SCORE 64553.651
AT ITER 3140 NEW BEST:: SOT 221671 SOS 178641 HAS SOPS 177205 HAS SOUS 65791 HAS SOUPS 64355 WITH SCORE 64533.641
AT ITER 3145 NEW BEST:: SOT 221639 SOS 178609 HAS SOPS 177173 HAS SOUS 65727 HAS SOUPS 64291 WITH SCORE 64469.609
AT ITER 3151 NEW BEST:: SOT 221633 SOS 178603 HAS SOPS 177167 HAS SOUS 65721 HAS SOUPS 64285 WITH SCORE 64463.603
AT ITER 3153 NEW BEST:: SOT 221633 SOS 178603 HAS SOPS 177167 HAS SOUS 65716 HAS SOUPS 64280 WITH SCORE 64458.603
AT ITER 3156 NEW BEST:: SOT 221617 SOS 178591 HAS SOPS 177155 HAS SOUS 65716 HAS SOUPS 64280 WITH SCORE 64458.591
AT ITER 3196 NEW BEST:: SOT 221585 SOS 178559 HAS SOPS 177123 HAS SOUS 65665 HAS SOUPS 64229 WITH SCORE 64407.559
AT ITER 3215 NEW BEST:: SOT 221441 SOS 178415 HAS SOPS 176967 HAS SOUS 65570 HAS SOUPS 64122 WITH SCORE 64300.415
AT ITER 3223 NEW BEST:: SOT 221439 SOS 178413 HAS SOPS 176965 HAS SOUS 65566 HAS SOUPS 64118 WITH SCORE 64296.413
AT ITER 3233 NEW BEST:: SOT 221395 SOS 178369 HAS SOPS 176921 HAS SOUS 65478 HAS SOUPS 64030 WITH SCORE 64208.369
AT ITER 3252 NEW BEST:: SOT 221204 SOS 178206 HAS SOPS 176758 HAS SOUS 65432 HAS SOUPS 63984 WITH SCORE 64162.206
AT ITER 3274 NEW BEST:: SOT 221164 SOS 178166 HAS SOPS 176718 HAS SOUS 65352 HAS SOUPS 63904 WITH SCORE 64082.166
AT ITER 3280 NEW BEST:: SOT 221130 SOS 178132 HAS SOPS 176684 HAS SOUS 65284 HAS SOUPS 63836 WITH SCORE 64014.132
AT ITER 3293 NEW BEST:: SOT 221120 SOS 178122 HAS SOPS 176674 HAS SOUS 65271 HAS SOUPS 63823 WITH SCORE 64001.122
AT ITER 3295 NEW BEST:: SOT 221074 SOS 178076 HAS SOPS 176628 HAS SOUS 65179 HAS SOUPS 63731 WITH SCORE 63909.076
AT ITER 3300 NEW BEST:: SOT 221028 SOS 178030 HAS SOPS 176582 HAS SOUS 65087 HAS SOUPS 63639 WITH SCORE 63817.03
AT ITER 3334 NEW BEST:: SOT 219960 SOS 177178 HAS SOPS 175730 HAS SOUS 64309 HAS SOUPS 62861 WITH SCORE 63038.178
AT ITER 3356 NEW BEST:: SOT 219823 SOS 177307 HAS SOPS 175859 HAS SOUS 64283 HAS SOUPS 62835 WITH SCORE 63012.307
AT ITER 3360 NEW BEST:: SOT 219816 SOS 177300 HAS SOPS 175852 HAS SOUS 64269 HAS SOUPS 62821 WITH SCORE 62998.3
AT ITER 3363 NEW BEST:: SOT 219816 SOS 177172 HAS SOPS 175724 HAS SOUS 64244 HAS SOUPS 62796 WITH SCORE 62973.172
AT ITER 3367 NEW BEST:: SOT 219811 SOS 177167 HAS SOPS 175719 HAS SOUS 64234 HAS SOUPS 62786 WITH SCORE 62963.167
AT ITER 3417 NEW BEST:: SOT 219801 SOS 177157 HAS SOPS 175709 HAS SOUS 64214 HAS SOUPS 62766 WITH SCORE 62943.157
AT ITER 3424 NEW BEST:: SOT 219741 SOS 177097 HAS SOPS 175649 HAS SOUS 64206 HAS SOUPS 62758 WITH SCORE 62935.097
AT ITER 3430 NEW BEST:: SOT 219398 SOS 176838 HAS SOPS 175390 HAS SOUS 64108 HAS SOUPS 62660 WITH SCORE 62836.838
AT ITER 3434 NEW BEST:: SOT 219342 SOS 176782 HAS SOPS 175334 HAS SOUS 64024 HAS SOUPS 62576 WITH SCORE 62752.782
AT ITER 3437 NEW BEST:: SOT 219332 SOS 176772 HAS SOPS 175324 HAS SOUS 64004 HAS SOUPS 62556 WITH SCORE 62732.772
AT ITER 3439 NEW BEST:: SOT 219363 SOS 176853 HAS SOPS 175405 HAS SOUS 63917 HAS SOUPS 62469 WITH SCORE 62645.853
AT ITER 3444 NEW BEST:: SOT 219339 SOS 176829 HAS SOPS 175381 HAS SOUS 63869 HAS SOUPS 62421 WITH SCORE 62597.829
AT ITER 3465 NEW BEST:: SOT 219313 SOS 176803 HAS SOPS 175355 HAS SOUS 63817 HAS SOUPS 62369 WITH SCORE 62545.803
AT ITER 3474 NEW BEST:: SOT 219285 SOS 176775 HAS SOPS 175327 HAS SOUS 63761 HAS SOUPS 62313 WITH SCORE 62489.775
AT ITER 3475 NEW BEST:: SOT 219285 SOS 176759 HAS SOPS 175311 HAS SOUS 63760 HAS SOUPS 62312 WITH SCORE 62488.759
AT ITER 3476 NEW BEST:: SOT 219282 SOS 176756 HAS SOPS 175308 HAS SOUS 63754 HAS SOUPS 62306 WITH SCORE 62482.756
AT ITER 3485 NEW BEST:: SOT 219232 SOS 176706 HAS SOPS 175258 HAS SOUS 63688 HAS SOUPS 62240 WITH SCORE 62416.706
AT ITER 3488 NEW BEST:: SOT 219114 SOS 176588 HAS SOPS 175140 HAS SOUS 63452 HAS SOUPS 62004 WITH SCORE 62180.588
AT ITER 3492 NEW BEST:: SOT 219126 SOS 176183 HAS SOPS 174758 HAS SOUS 63405 HAS SOUPS 61980 WITH SCORE 62156.183
AT ITER 3501 NEW BEST:: SOT 219090 SOS 176147 HAS SOPS 174722 HAS SOUS 63333 HAS SOUPS 61908 WITH SCORE 62084.147
AT ITER 3506 NEW BEST:: SOT 218989 SOS 176046 HAS SOPS 174621 HAS SOUS 63131 HAS SOUPS 61706 WITH SCORE 61882.046
AT ITER 3508 NEW BEST:: SOT 218953 SOS 176010 HAS SOPS 174585 HAS SOUS 63059 HAS SOUPS 61634 WITH SCORE 61810.01
AT ITER 3531 NEW BEST:: SOT 218824 SOS 175881 HAS SOPS 174456 HAS SOUS 62801 HAS SOUPS 61376 WITH SCORE 61551.881
AT ITER 3551 NEW BEST:: SOT 218768 SOS 176119 HAS SOPS 174694 HAS SOUS 62773 HAS SOUPS 61348 WITH SCORE 61524.119
AT ITER 3556 NEW BEST:: SOT 218748 SOS 176099 HAS SOPS 174674 HAS SOUS 62733 HAS SOUPS 61308 WITH SCORE 61484.099
AT ITER 3567 NEW BEST:: SOT 218741 SOS 176092 HAS SOPS 174667 HAS SOUS 62719 HAS SOUPS 61294 WITH SCORE 61470.092
AT ITER 3580 NEW BEST:: SOT 218479 SOS 175830 HAS SOPS 174405 HAS SOUS 62457 HAS SOUPS 61032 WITH SCORE 61207.83
AT ITER 3591 NEW BEST:: SOT 218437 SOS 175788 HAS SOPS 174363 HAS SOUS 62375 HAS SOUPS 60950 WITH SCORE 61125.788
AT ITER 3597 NEW BEST:: SOT 218425 SOS 175779 HAS SOPS 174354 HAS SOUS 62369 HAS SOUPS 60944 WITH SCORE 61119.779
AT ITER 3618 NEW BEST:: SOT 218425 SOS 175773 HAS SOPS 174348 HAS SOUS 62369 HAS SOUPS 60944 WITH SCORE 61119.773
AT ITER 3626 NEW BEST:: SOT 218400 SOS 175742 HAS SOPS 174317 HAS SOUS 62328 HAS SOUPS 60903 WITH SCORE 61078.742
AT ITER 3637 NEW BEST:: SOT 218388 SOS 175716 HAS SOPS 174291 HAS SOUS 62304 HAS SOUPS 60879 WITH SCORE 61054.716
AT ITER 3640 NEW BEST:: SOT 218353 SOS 175681 HAS SOPS 174256 HAS SOUS 62234 HAS SOUPS 60809 WITH SCORE 60984.681
AT ITER 3642 NEW BEST:: SOT 218333 SOS 175635 HAS SOPS 174210 HAS SOUS 62194 HAS SOUPS 60769 WITH SCORE 60944.635
AT ITER 3657 NEW BEST:: SOT 218237 SOS 175539 HAS SOPS 174114 HAS SOUS 62078 HAS SOUPS 60653 WITH SCORE 60828.539
AT ITER 3663 NEW BEST:: SOT 218216 SOS 175518 HAS SOPS 174093 HAS SOUS 62036 HAS SOUPS 60611 WITH SCORE 60786.518
AT ITER 3673 NEW BEST:: SOT 218066 SOS 175368 HAS SOPS 173943 HAS SOUS 61736 HAS SOUPS 60311 WITH SCORE 60486.368
AT ITER 3679 NEW BEST:: SOT 218034 SOS 175336 HAS SOPS 173911 HAS SOUS 61672 HAS SOUPS 60247 WITH SCORE 60422.336
AT ITER 3715 NEW BEST:: SOT 217967 SOS 175269 HAS SOPS 173844 HAS SOUS 61538 HAS SOUPS 60113 WITH SCORE 60288.269
AT ITER 3729 NEW BEST:: SOT 217939 SOS 175241 HAS SOPS 173816 HAS SOUS 61534 HAS SOUPS 60109 WITH SCORE 60284.241
AT ITER 3734 NEW BEST:: SOT 217916 SOS 175218 HAS SOPS 173793 HAS SOUS 61488 HAS SOUPS 60063 WITH SCORE 60238.218
AT ITER 3769 NEW BEST:: SOT 217884 SOS 175170 HAS SOPS 173729 HAS SOUS 61440 HAS SOUPS 59999 WITH SCORE 60174.17
AT ITER 3790 NEW BEST:: SOT 217858 SOS 175131 HAS SOPS 173677 HAS SOUS 61362 HAS SOUPS 59908 WITH SCORE 60083.131
AT ITER 3794 NEW BEST:: SOT 217857 SOS 175084 HAS SOPS 173630 HAS SOUS 61351 HAS SOUPS 59897 WITH SCORE 60072.084
AT ITER 3795 NEW BEST:: SOT 217997 SOS 175224 HAS SOPS 173770 HAS SOUS 61340 HAS SOUPS 59886 WITH SCORE 60061.224
AT ITER 3800 NEW BEST:: SOT 217987 SOS 175214 HAS SOPS 173760 HAS SOUS 61320 HAS SOUPS 59866 WITH SCORE 60041.214
AT ITER 3813 NEW BEST:: SOT 217938 SOS 175211 HAS SOPS 173757 HAS SOUS 61222 HAS SOUPS 59768 WITH SCORE 59943.211
AT ITER 3821 NEW BEST:: SOT 217907 SOS 175180 HAS SOPS 173726 HAS SOUS 61160 HAS SOUPS 59706 WITH SCORE 59881.18
AT ITER 3828 NEW BEST:: SOT 217899 SOS 175172 HAS SOPS 173718 HAS SOUS 61144 HAS SOUPS 59690 WITH SCORE 59865.172
AT ITER 3836 NEW BEST:: SOT 217773 SOS 175046 HAS SOPS 173592 HAS SOUS 60892 HAS SOUPS 59438 WITH SCORE 59613.046
AT ITER 3847 NEW BEST:: SOT 217757 SOS 175030 HAS SOPS 173576 HAS SOUS 60860 HAS SOUPS 59406 WITH SCORE 59581.03
AT ITER 3901 NEW BEST:: SOT 217754 SOS 175027 HAS SOPS 173573 HAS SOUS 60854 HAS SOUPS 59400 WITH SCORE 59575.027
AT ITER 3909 NEW BEST:: SOT 217754 SOS 174987 HAS SOPS 173533 HAS SOUS 60854 HAS SOUPS 59400 WITH SCORE 59574.987
AT ITER 3914 NEW BEST:: SOT 217747 SOS 174980 HAS SOPS 173526 HAS SOUS 60840 HAS SOUPS 59386 WITH SCORE 59560.98
AT ITER 3931 NEW BEST:: SOT 217969 SOS 175130 HAS SOPS 173640 HAS SOUS 60860 HAS SOUPS 59370 WITH SCORE 59545.13
AT ITER 3941 NEW BEST:: SOT 217941 SOS 175102 HAS SOPS 173612 HAS SOUS 60804 HAS SOUPS 59314 WITH SCORE 59489.102
AT ITER 3956 NEW BEST:: SOT 217592 SOS 175238 HAS SOPS 173673 HAS SOUS 60708 HAS SOUPS 59143 WITH SCORE 59318.238
AT ITER 3971 NEW BEST:: SOT 217532 SOS 180655 HAS SOPS 179090 HAS SOUS 60658 HAS SOUPS 59093 WITH SCORE 59273.655
AT ITER 3977 NEW BEST:: SOT 217494 SOS 180617 HAS SOPS 179052 HAS SOUS 60582 HAS SOUPS 59017 WITH SCORE 59197.617
AT ITER 4010 NEW BEST:: SOT 217416 SOS 180539 HAS SOPS 178974 HAS SOUS 60543 HAS SOUPS 58978 WITH SCORE 59158.539
AT ITER 4012 NEW BEST:: SOT 217414 SOS 180537 HAS SOPS 178972 HAS SOUS 60477 HAS SOUPS 58912 WITH SCORE 59092.537
AT ITER 4018 NEW BEST:: SOT 217412 SOS 180535 HAS SOPS 178970 HAS SOUS 60475 HAS SOUPS 58910 WITH SCORE 59090.535
AT ITER 4020 NEW BEST:: SOT 217400 SOS 180523 HAS SOPS 178958 HAS SOUS 60451 HAS SOUPS 58886 WITH SCORE 59066.523
AT ITER 4051 NEW BEST:: SOT 217500 SOS 180597 HAS SOPS 179032 HAS SOUS 60261 HAS SOUPS 58696 WITH SCORE 58876.597
AT ITER 4055 NEW BEST:: SOT 217498 SOS 180595 HAS SOPS 179030 HAS SOUS 60257 HAS SOUPS 58692 WITH SCORE 58872.595
AT ITER 4072 NEW BEST:: SOT 217547 SOS 180636 HAS SOPS 179071 HAS SOUS 60223 HAS SOUPS 58658 WITH SCORE 58838.636
AT ITER 4078 NEW BEST:: SOT 217546 SOS 180635 HAS SOPS 179070 HAS SOUS 60221 HAS SOUPS 58656 WITH SCORE 58836.635
AT ITER 4091 NEW BEST:: SOT 217513 SOS 180602 HAS SOPS 179037 HAS SOUS 60155 HAS SOUPS 58590 WITH SCORE 58770.602
AT ITER 4101 NEW BEST:: SOT 217513 SOS 180602 HAS SOPS 179037 HAS SOUS 60129 HAS SOUPS 58564 WITH SCORE 58744.602
AT ITER 4106 NEW BEST:: SOT 217499 SOS 180588 HAS SOPS 179023 HAS SOUS 60101 HAS SOUPS 58536 WITH SCORE 58716.588
AT ITER 4112 NEW BEST:: SOT 217489 SOS 180578 HAS SOPS 179013 HAS SOUS 60081 HAS SOUPS 58516 WITH SCORE 58696.578
AT ITER 4114 NEW BEST:: SOT 217573 SOS 180605 HAS SOPS 179040 HAS SOUS 59919 HAS SOUPS 58354 WITH SCORE 58534.605
AT ITER 4143 NEW BEST:: SOT 217149 SOS 180205 HAS SOPS 178640 HAS SOUS 59769 HAS SOUPS 58204 WITH SCORE 58384.205
AT ITER 4149 NEW BEST:: SOT 217135 SOS 180191 HAS SOPS 178626 HAS SOUS 59741 HAS SOUPS 58176 WITH SCORE 58356.191
AT ITER 4152 NEW BEST:: SOT 217116 SOS 180172 HAS SOPS 178607 HAS SOUS 59703 HAS SOUPS 58138 WITH SCORE 58318.172
AT ITER 4168 NEW BEST:: SOT 217070 SOS 180126 HAS SOPS 178561 HAS SOUS 59611 HAS SOUPS 58046 WITH SCORE 58226.126
AT ITER 4208 NEW BEST:: SOT 217044 SOS 180100 HAS SOPS 178535 HAS SOUS 59559 HAS SOUPS 57994 WITH SCORE 58174.1
AT ITER 4255 NEW BEST:: SOT 216996 SOS 180052 HAS SOPS 178487 HAS SOUS 59463 HAS SOUPS 57898 WITH SCORE 58078.052
AT ITER 4282 NEW BEST:: SOT 216981 SOS 180037 HAS SOPS 178472 HAS SOUS 59433 HAS SOUPS 57868 WITH SCORE 58048.037
AT ITER 4283 NEW BEST:: SOT 216908 SOS 179964 HAS SOPS 178399 HAS SOUS 59287 HAS SOUPS 57722 WITH SCORE 57901.964
AT ITER 4293 NEW BEST:: SOT 216813 SOS 179869 HAS SOPS 178304 HAS SOUS 59097 HAS SOUPS 57532 WITH SCORE 57711.869
AT ITER 4304 NEW BEST:: SOT 216644 SOS 179700 HAS SOPS 178135 HAS SOUS 58759 HAS SOUPS 57194 WITH SCORE 57373.7
AT ITER 4336 NEW BEST:: SOT 216626 SOS 179682 HAS SOPS 178117 HAS SOUS 58723 HAS SOUPS 57158 WITH SCORE 57337.682
AT ITER 4340 NEW BEST:: SOT 216608 SOS 179664 HAS SOPS 178099 HAS SOUS 58687 HAS SOUPS 57122 WITH SCORE 57301.664
AT ITER 4345 NEW BEST:: SOT 216607 SOS 179647 HAS SOPS 178082 HAS SOUS 58685 HAS SOUPS 57120 WITH SCORE 57299.647
AT ITER 4364 NEW BEST:: SOT 216563 SOS 179603 HAS SOPS 178038 HAS SOUS 58597 HAS SOUPS 57032 WITH SCORE 57211.603
AT ITER 4376 NEW BEST:: SOT 216474 SOS 179519 HAS SOPS 177959 HAS SOUS 58534 HAS SOUPS 56974 WITH SCORE 57153.519
AT ITER 4394 NEW BEST:: SOT 216463 SOS 179508 HAS SOPS 177948 HAS SOUS 58512 HAS SOUPS 56952 WITH SCORE 57131.508
AT ITER 4395 NEW BEST:: SOT 216200 SOS 179296 HAS SOPS 177787 HAS SOUS 58375 HAS SOUPS 56866 WITH SCORE 57045.296
AT ITER 4425 NEW BEST:: SOT 215939 SOS 179045 HAS SOPS 177536 HAS SOUS 58285 HAS SOUPS 56776 WITH SCORE 56955.045
AT ITER 4429 NEW BEST:: SOT 215903 SOS 179302 HAS SOPS 177770 HAS SOUS 58279 HAS SOUPS 56747 WITH SCORE 56926.302
AT ITER 4442 NEW BEST:: SOT 215138 SOS 178537 HAS SOPS 177005 HAS SOUS 57680 HAS SOUPS 56148 WITH SCORE 56326.537
AT ITER 4446 NEW BEST:: SOT 215108 SOS 178507 HAS SOPS 176975 HAS SOUS 57620 HAS SOUPS 56088 WITH SCORE 56266.507
AT ITER 4483 NEW BEST:: SOT 214896 SOS 178334 HAS SOPS 176763 HAS SOUS 57633 HAS SOUPS 56062 WITH SCORE 56240.334
AT ITER 4489 NEW BEST:: SOT 214886 SOS 178324 HAS SOPS 176753 HAS SOUS 57613 HAS SOUPS 56042 WITH SCORE 56220.324
AT ITER 4496 NEW BEST:: SOT 214966 SOS 178404 HAS SOPS 176833 HAS SOUS 57551 HAS SOUPS 55980 WITH SCORE 56158.404
AT ITER 4503 NEW BEST:: SOT 214937 SOS 178375 HAS SOPS 176804 HAS SOUS 57493 HAS SOUPS 55922 WITH SCORE 56100.375
AT ITER 4552 NEW BEST:: SOT 214873 SOS 178311 HAS SOPS 176740 HAS SOUS 57365 HAS SOUPS 55794 WITH SCORE 55972.311
AT ITER 4554 NEW BEST:: SOT 214859 SOS 178297 HAS SOPS 176726 HAS SOUS 57337 HAS SOUPS 55766 WITH SCORE 55944.297
AT ITER 4560 NEW BEST:: SOT 214800 SOS 179376 HAS SOPS 177748 HAS SOUS 57387 HAS SOUPS 55759 WITH SCORE 55938.376
AT ITER 4571 NEW BEST:: SOT 214766 SOS 179342 HAS SOPS 177714 HAS SOUS 57319 HAS SOUPS 55691 WITH SCORE 55870.342
AT ITER 4578 NEW BEST:: SOT 214760 SOS 179336 HAS SOPS 177708 HAS SOUS 57307 HAS SOUPS 55679 WITH SCORE 55858.336
AT ITER 4579 NEW BEST:: SOT 214619 SOS 179195 HAS SOPS 177567 HAS SOUS 57025 HAS SOUPS 55397 WITH SCORE 55576.195
AT ITER 4585 NEW BEST:: SOT 214549 SOS 179125 HAS SOPS 177497 HAS SOUS 56945 HAS SOUPS 55317 WITH SCORE 55496.125
AT ITER 4591 NEW BEST:: SOT 214510 SOS 179086 HAS SOPS 177458 HAS SOUS 56859 HAS SOUPS 55231 WITH SCORE 55410.086
AT ITER 4595 NEW BEST:: SOT 214464 SOS 179040 HAS SOPS 177412 HAS SOUS 56792 HAS SOUPS 55164 WITH SCORE 55343.04
AT ITER 4598 NEW BEST:: SOT 214048 SOS 178636 HAS SOPS 177008 HAS SOUS 56603 HAS SOUPS 54975 WITH SCORE 55153.636
AT ITER 4606 NEW BEST:: SOT 214073 SOS 178657 HAS SOPS 177029 HAS SOUS 56593 HAS SOUPS 54965 WITH SCORE 55143.657
AT ITER 4633 NEW BEST:: SOT 213995 SOS 178579 HAS SOPS 176951 HAS SOUS 56439 HAS SOUPS 54811 WITH SCORE 54989.579
AT ITER 4636 NEW BEST:: SOT 213953 SOS 178537 HAS SOPS 176909 HAS SOUS 56346 HAS SOUPS 54718 WITH SCORE 54896.537
AT ITER 4648 NEW BEST:: SOT 213868 SOS 178452 HAS SOPS 176824 HAS SOUS 56176 HAS SOUPS 54548 WITH SCORE 54726.452
AT ITER 4653 NEW BEST:: SOT 213787 SOS 178371 HAS SOPS 176743 HAS SOUS 56014 HAS SOUPS 54386 WITH SCORE 54564.371
AT ITER 4658 NEW BEST:: SOT 213781 SOS 178365 HAS SOPS 176737 HAS SOUS 56008 HAS SOUPS 54380 WITH SCORE 54558.365
AT ITER 4679 NEW BEST:: SOT 213751 SOS 178335 HAS SOPS 176707 HAS SOUS 55948 HAS SOUPS 54320 WITH SCORE 54498.335
AT ITER 4684 NEW BEST:: SOT 213733 SOS 178317 HAS SOPS 176689 HAS SOUS 55912 HAS SOUPS 54284 WITH SCORE 54462.317
AT ITER 4722 NEW BEST:: SOT 213636 SOS 178220 HAS SOPS 176592 HAS SOUS 55813 HAS SOUPS 54185 WITH SCORE 54363.22
AT ITER 4726 NEW BEST:: SOT 213355 SOS 178324 HAS SOPS 176696 HAS SOUS 55595 HAS SOUPS 53967 WITH SCORE 54145.324
AT ITER 4728 NEW BEST:: SOT 213355 SOS 178322 HAS SOPS 176694 HAS SOUS 55595 HAS SOUPS 53967 WITH SCORE 54145.322
AT ITER 4737 NEW BEST:: SOT 213299 SOS 178314 HAS SOPS 176686 HAS SOUS 55483 HAS SOUPS 53855 WITH SCORE 54033.314
AT ITER 4749 NEW BEST:: SOT 213283 SOS 178298 HAS SOPS 176670 HAS SOUS 55451 HAS SOUPS 53823 WITH SCORE 54001.298
AT ITER 4753 NEW BEST:: SOT 213179 SOS 178185 HAS SOPS 176557 HAS SOUS 55240 HAS SOUPS 53612 WITH SCORE 53790.185
AT ITER 4783 NEW BEST:: SOT 213172 SOS 178178 HAS SOPS 176550 HAS SOUS 55226 HAS SOUPS 53598 WITH SCORE 53776.178
AT ITER 4799 NEW BEST:: SOT 212980 SOS 177986 HAS SOPS 176358 HAS SOUS 54842 HAS SOUPS 53214 WITH SCORE 53391.986
AT ITER 4807 NEW BEST:: SOT 212978 SOS 177984 HAS SOPS 176356 HAS SOUS 54806 HAS SOUPS 53178 WITH SCORE 53355.984
AT ITER 4821 NEW BEST:: SOT 212952 SOS 177958 HAS SOPS 176330 HAS SOUS 54754 HAS SOUPS 53126 WITH SCORE 53303.958
AT ITER 4825 NEW BEST:: SOT 212950 SOS 177956 HAS SOPS 176328 HAS SOUS 54750 HAS SOUPS 53122 WITH SCORE 53299.956
AT ITER 4828 NEW BEST:: SOT 212950 SOS 177939 HAS SOPS 176311 HAS SOUS 54750 HAS SOUPS 53122 WITH SCORE 53299.939
AT ITER 4852 NEW BEST:: SOT 212947 SOS 177936 HAS SOPS 176308 HAS SOUS 54744 HAS SOUPS 53116 WITH SCORE 53293.936
AT ITER 4863 NEW BEST:: SOT 212855 SOS 177844 HAS SOPS 176216 HAS SOUS 54560 HAS SOUPS 52932 WITH SCORE 53109.844
AT ITER 4879 NEW BEST:: SOT 212764 SOS 177758 HAS SOPS 176130 HAS SOUS 54494 HAS SOUPS 52866 WITH SCORE 53043.758
AT ITER 4886 NEW BEST:: SOT 212732 SOS 177726 HAS SOPS 176098 HAS SOUS 54430 HAS SOUPS 52802 WITH SCORE 52979.726
AT ITER 4908 NEW BEST:: SOT 212732 SOS 177990 HAS SOPS 176348 HAS SOUS 54433 HAS SOUPS 52791 WITH SCORE 52968.99
AT ITER 4914 NEW BEST:: SOT 212458 SOS 177907 HAS SOPS 176265 HAS SOUS 54377 HAS SOUPS 52735 WITH SCORE 52912.907
AT ITER 4918 NEW BEST:: SOT 212450 SOS 177899 HAS SOPS 176257 HAS SOUS 54361 HAS SOUPS 52719 WITH SCORE 52896.899
AT ITER 4926 NEW BEST:: SOT 212403 SOS 177834 HAS SOPS 176192 HAS SOUS 54267 HAS SOUPS 52625 WITH SCORE 52802.834
AT ITER 4936 NEW BEST:: SOT 212442 SOS 177859 HAS SOPS 176217 HAS SOUS 54135 HAS SOUPS 52493 WITH SCORE 52670.859
AT ITER 4953 NEW BEST:: SOT 212470 SOS 177887 HAS SOPS 176245 HAS SOUS 54043 HAS SOUPS 52401 WITH SCORE 52578.887
AT ITER 4973 NEW BEST:: SOT 212438 SOS 177855 HAS SOPS 176213 HAS SOUS 53979 HAS SOUPS 52337 WITH SCORE 52514.855
AT ITER 4977 NEW BEST:: SOT 212407 SOS 177824 HAS SOPS 176182 HAS SOUS 53908 HAS SOUPS 52266 WITH SCORE 52443.824
AT ITER 4986 NEW BEST:: SOT 212387 SOS 177804 HAS SOPS 176162 HAS SOUS 53868 HAS SOUPS 52226 WITH SCORE 52403.804
AT ITER 5018 NEW BEST:: SOT 212323 SOS 177740 HAS SOPS 176098 HAS SOUS 53732 HAS SOUPS 52090 WITH SCORE 52267.74
AT ITER 5026 NEW BEST:: SOT 212297 SOS 177714 HAS SOPS 176072 HAS SOUS 53680 HAS SOUPS 52038 WITH SCORE 52215.714
AT ITER 5046 NEW BEST:: SOT 212245 SOS 177662 HAS SOPS 176020 HAS SOUS 53576 HAS SOUPS 51934 WITH SCORE 52111.662
AT ITER 5053 NEW BEST:: SOT 212238 SOS 177655 HAS SOPS 176013 HAS SOUS 53569 HAS SOUPS 51927 WITH SCORE 52104.655
AT ITER 5055 NEW BEST:: SOT 212356 SOS 177739 HAS SOPS 176080 HAS SOUS 53584 HAS SOUPS 51925 WITH SCORE 52102.739
AT ITER 5056 NEW BEST:: SOT 212391 SOS 177768 HAS SOPS 176109 HAS SOUS 53564 HAS SOUPS 51905 WITH SCORE 52082.768
AT ITER 5135 NEW BEST:: SOT 212326 SOS 177677 HAS SOPS 176018 HAS SOUS 53473 HAS SOUPS 51814 WITH SCORE 51991.677
AT ITER 5143 NEW BEST:: SOT 212328 SOS 177679 HAS SOPS 176020 HAS SOUS 53470 HAS SOUPS 51811 WITH SCORE 51988.679
AT ITER 5146 NEW BEST:: SOT 212570 SOS 177876 HAS SOPS 176262 HAS SOUS 53354 HAS SOUPS 51740 WITH SCORE 51917.876
AT ITER 5155 NEW BEST:: SOT 212494 SOS 177871 HAS SOPS 176238 HAS SOUS 53316 HAS SOUPS 51683 WITH SCORE 51860.871
AT ITER 5189 NEW BEST:: SOT 212494 SOS 177871 HAS SOPS 176238 HAS SOUS 53315 HAS SOUPS 51682 WITH SCORE 51859.871
AT ITER 5199 NEW BEST:: SOT 212488 SOS 177862 HAS SOPS 176226 HAS SOUS 53305 HAS SOUPS 51669 WITH SCORE 51846.862
AT ITER 5240 NEW BEST:: SOT 212453 SOS 177827 HAS SOPS 176191 HAS SOUS 53235 HAS SOUPS 51599 WITH SCORE 51776.827
AT ITER 5253 NEW BEST:: SOT 212490 SOS 176712 HAS SOPS 175124 HAS SOUS 53137 HAS SOUPS 51549 WITH SCORE 51725.712
AT ITER 5262 NEW BEST:: SOT 212486 SOS 176708 HAS SOPS 175120 HAS SOUS 53129 HAS SOUPS 51541 WITH SCORE 51717.708
AT ITER 5280 NEW BEST:: SOT 212368 SOS 176590 HAS SOPS 175002 HAS SOUS 52893 HAS SOUPS 51305 WITH SCORE 51481.59
AT ITER 5287 NEW BEST:: SOT 212328 SOS 176550 HAS SOPS 174962 HAS SOUS 52867 HAS SOUPS 51279 WITH SCORE 51455.55
AT ITER 5297 NEW BEST:: SOT 212328 SOS 176541 HAS SOPS 174944 HAS SOUS 52876 HAS SOUPS 51279 WITH SCORE 51455.541
AT ITER 5315 NEW BEST:: SOT 212319 SOS 176534 HAS SOPS 174938 HAS SOUS 52871 HAS SOUPS 51275 WITH SCORE 51451.534
AT ITER 5332 NEW BEST:: SOT 212289 SOS 176488 HAS SOPS 174876 HAS SOUS 52827 HAS SOUPS 51215 WITH SCORE 51391.488
AT ITER 5335 NEW BEST:: SOT 212288 SOS 176487 HAS SOPS 174875 HAS SOUS 52825 HAS SOUPS 51213 WITH SCORE 51389.487
AT ITER 5341 NEW BEST:: SOT 212005 SOS 176230 HAS SOPS 174592 HAS SOUS 52675 HAS SOUPS 51037 WITH SCORE 51213.23
AT ITER 5345 NEW BEST:: SOT 211970 SOS 176195 HAS SOPS 174557 HAS SOUS 52605 HAS SOUPS 50967 WITH SCORE 51143.195
AT ITER 5354 NEW BEST:: SOT 211958 SOS 176183 HAS SOPS 174545 HAS SOUS 52581 HAS SOUPS 50943 WITH SCORE 51119.183
AT ITER 5358 NEW BEST:: SOT 211928 SOS 177680 HAS SOPS 176045 HAS SOUS 52551 HAS SOUPS 50916 WITH SCORE 51093.68
AT ITER 5383 NEW BEST:: SOT 211892 SOS 177644 HAS SOPS 176009 HAS SOUS 52479 HAS SOUPS 50844 WITH SCORE 51021.644
AT ITER 5395 NEW BEST:: SOT 211867 SOS 177619 HAS SOPS 175984 HAS SOUS 52429 HAS SOUPS 50794 WITH SCORE 50971.619
AT ITER 5408 NEW BEST:: SOT 211776 SOS 177528 HAS SOPS 175893 HAS SOUS 52247 HAS SOUPS 50612 WITH SCORE 50789.528
AT ITER 5421 NEW BEST:: SOT 211964 SOS 177688 HAS SOPS 176052 HAS SOUS 52199 HAS SOUPS 50563 WITH SCORE 50740.688
AT ITER 5440 NEW BEST:: SOT 211940 SOS 177664 HAS SOPS 176028 HAS SOUS 52151 HAS SOUPS 50515 WITH SCORE 50692.664
AT ITER 5446 NEW BEST:: SOT 211888 SOS 177612 HAS SOPS 175976 HAS SOUS 52047 HAS SOUPS 50411 WITH SCORE 50588.612
AT ITER 5471 NEW BEST:: SOT 211832 SOS 177556 HAS SOPS 175920 HAS SOUS 51935 HAS SOUPS 50299 WITH SCORE 50476.556
AT ITER 5494 NEW BEST:: SOT 211649 SOS 177373 HAS SOPS 175737 HAS SOUS 51569 HAS SOUPS 49933 WITH SCORE 50110.373
AT ITER 5507 NEW BEST:: SOT 211641 SOS 177365 HAS SOPS 175729 HAS SOUS 51505 HAS SOUPS 49869 WITH SCORE 50046.365
AT ITER 5517 NEW BEST:: SOT 211597 SOS 177321 HAS SOPS 175685 HAS SOUS 51417 HAS SOUPS 49781 WITH SCORE 49958.321
AT ITER 5553 NEW BEST:: SOT 211588 SOS 177424 HAS SOPS 175788 HAS SOUS 51360 HAS SOUPS 49724 WITH SCORE 49901.424
AT ITER 5564 NEW BEST:: SOT 211575 SOS 177411 HAS SOPS 175775 HAS SOUS 51334 HAS SOUPS 49698 WITH SCORE 49875.411
AT ITER 5566 NEW BEST:: SOT 211587 SOS 177423 HAS SOPS 175787 HAS SOUS 51326 HAS SOUPS 49690 WITH SCORE 49867.423
AT ITER 5583 NEW BEST:: SOT 211523 SOS 177317 HAS SOPS 175639 HAS SOUS 51240 HAS SOUPS 49562 WITH SCORE 49739.317
AT ITER 5589 NEW BEST:: SOT 211515 SOS 177309 HAS SOPS 175631 HAS SOUS 51224 HAS SOUPS 49546 WITH SCORE 49723.309
AT ITER 5629 NEW BEST:: SOT 211451 SOS 177245 HAS SOPS 175567 HAS SOUS 51096 HAS SOUPS 49418 WITH SCORE 49595.245
AT ITER 5645 NEW BEST:: SOT 211417 SOS 177211 HAS SOPS 175533 HAS SOUS 51028 HAS SOUPS 49350 WITH SCORE 49527.211
AT ITER 5646 NEW BEST:: SOT 211333 SOS 177127 HAS SOPS 175449 HAS SOUS 50968 HAS SOUPS 49290 WITH SCORE 49467.127
AT ITER 5654 NEW BEST:: SOT 211326 SOS 177104 HAS SOPS 175426 HAS SOUS 50948 HAS SOUPS 49270 WITH SCORE 49447.104
AT ITER 5661 NEW BEST:: SOT 211304 SOS 177082 HAS SOPS 175404 HAS SOUS 50904 HAS SOUPS 49226 WITH SCORE 49403.082
AT ITER 5698 NEW BEST:: SOT 211281 SOS 177059 HAS SOPS 175381 HAS SOUS 50858 HAS SOUPS 49180 WITH SCORE 49357.059
AT ITER 5716 NEW BEST:: SOT 211221 SOS 176999 HAS SOPS 175321 HAS SOUS 50858 HAS SOUPS 49180 WITH SCORE 49356.999
AT ITER 5752 NEW BEST:: SOT 211201 SOS 176979 HAS SOPS 175301 HAS SOUS 50818 HAS SOUPS 49140 WITH SCORE 49316.979
AT ITER 5765 NEW BEST:: SOT 210983 SOS 177444 HAS SOPS 175766 HAS SOUS 50788 HAS SOUPS 49110 WITH SCORE 49287.444
AT ITER 5772 NEW BEST:: SOT 211033 SOS 177485 HAS SOPS 175807 HAS SOUS 50784 HAS SOUPS 49106 WITH SCORE 49283.485
AT ITER 5776 NEW BEST:: SOT 210889 SOS 177346 HAS SOPS 175668 HAS SOUS 50751 HAS SOUPS 49073 WITH SCORE 49250.346
AT ITER 5808 NEW BEST:: SOT 210877 SOS 177334 HAS SOPS 175656 HAS SOUS 50739 HAS SOUPS 49061 WITH SCORE 49238.334
AT ITER 5827 NEW BEST:: SOT 210847 SOS 177304 HAS SOPS 175626 HAS SOUS 50694 HAS SOUPS 49016 WITH SCORE 49193.304
AT ITER 5878 NEW BEST:: SOT 210836 SOS 177293 HAS SOPS 175615 HAS SOUS 50672 HAS SOUPS 48994 WITH SCORE 49171.293
AT ITER 5895 NEW BEST:: SOT 210806 SOS 177263 HAS SOPS 175585 HAS SOUS 50612 HAS SOUPS 48934 WITH SCORE 49111.263
AT ITER 5896 NEW BEST:: SOT 210743 SOS 177200 HAS SOPS 175522 HAS SOUS 50494 HAS SOUPS 48816 WITH SCORE 48993.2
AT ITER 5902 NEW BEST:: SOT 210654 SOS 177111 HAS SOPS 175433 HAS SOUS 50316 HAS SOUPS 48638 WITH SCORE 48815.111
AT ITER 5917 NEW BEST:: SOT 210630 SOS 177087 HAS SOPS 175409 HAS SOUS 50292 HAS SOUPS 48614 WITH SCORE 48791.087
AT ITER 5933 NEW BEST:: SOT 210586 SOS 177043 HAS SOPS 175365 HAS SOUS 50204 HAS SOUPS 48526 WITH SCORE 48703.043
AT ITER 5941 NEW BEST:: SOT 210574 SOS 177031 HAS SOPS 175353 HAS SOUS 50180 HAS SOUPS 48502 WITH SCORE 48679.031
AT ITER 5943 NEW BEST:: SOT 210560 SOS 177017 HAS SOPS 175339 HAS SOUS 50152 HAS SOUPS 48474 WITH SCORE 48651.017
AT ITER 5966 NEW BEST:: SOT 210558 SOS 177015 HAS SOPS 175337 HAS SOUS 50148 HAS SOUPS 48470 WITH SCORE 48647.015
AT ITER 6012 NEW BEST:: SOT 210556 SOS 177062 HAS SOPS 175433 HAS SOUS 50097 HAS SOUPS 48468 WITH SCORE 48645.062
AT ITER 6032 NEW BEST:: SOT 210474 SOS 176980 HAS SOPS 175351 HAS SOUS 50041 HAS SOUPS 48412 WITH SCORE 48588.98
AT ITER 6052 NEW BEST:: SOT 210575 SOS 177069 HAS SOPS 175440 HAS SOUS 50039 HAS SOUPS 48410 WITH SCORE 48587.069
AT ITER 6065 NEW BEST:: SOT 210422 SOS 176907 HAS SOPS 175278 HAS SOUS 49733 HAS SOUPS 48104 WITH SCORE 48280.907
AT ITER 6080 NEW BEST:: SOT 210412 SOS 176897 HAS SOPS 175268 HAS SOUS 49713 HAS SOUPS 48084 WITH SCORE 48260.897
AT ITER 6082 NEW BEST:: SOT 210395 SOS 176842 HAS SOPS 175213 HAS SOUS 49709 HAS SOUPS 48080 WITH SCORE 48256.842
AT ITER 6088 NEW BEST:: SOT 210371 SOS 176826 HAS SOPS 175197 HAS SOUS 49709 HAS SOUPS 48080 WITH SCORE 48256.826
AT ITER 6098 NEW BEST:: SOT 210359 SOS 176814 HAS SOPS 175185 HAS SOUS 49685 HAS SOUPS 48056 WITH SCORE 48232.814
AT ITER 6107 NEW BEST:: SOT 210285 SOS 176740 HAS SOPS 175111 HAS SOUS 49537 HAS SOUPS 47908 WITH SCORE 48084.74
AT ITER 6134 NEW BEST:: SOT 210261 SOS 176716 HAS SOPS 175087 HAS SOUS 49489 HAS SOUPS 47860 WITH SCORE 48036.716
AT ITER 6192 NEW BEST:: SOT 210255 SOS 176710 HAS SOPS 175081 HAS SOUS 49477 HAS SOUPS 47848 WITH SCORE 48024.71
AT ITER 6288 NEW BEST:: SOT 210255 SOS 176656 HAS SOPS 174973 HAS SOUS 49531 HAS SOUPS 47848 WITH SCORE 48024.656
AT ITER 6292 NEW BEST:: SOT 210197 SOS 176598 HAS SOPS 174915 HAS SOUS 49415 HAS SOUPS 47732 WITH SCORE 47908.598
AT ITER 6297 NEW BEST:: SOT 210197 SOS 176559 HAS SOPS 174837 HAS SOUS 49454 HAS SOUPS 47732 WITH SCORE 47908.559
AT ITER 6299 NEW BEST:: SOT 210196 SOS 176558 HAS SOPS 174836 HAS SOUS 49452 HAS SOUPS 47730 WITH SCORE 47906.558
AT ITER 6314 NEW BEST:: SOT 210168 SOS 176530 HAS SOPS 174808 HAS SOUS 49396 HAS SOUPS 47674 WITH SCORE 47850.53
AT ITER 6337 NEW BEST:: SOT 210608 SOS 176970 HAS SOPS 175248 HAS SOUS 49240 HAS SOUPS 47518 WITH SCORE 47694.97
AT ITER 6362 NEW BEST:: SOT 210504 SOS 176866 HAS SOPS 175144 HAS SOUS 49032 HAS SOUPS 47310 WITH SCORE 47486.866
AT ITER 6372 NEW BEST:: SOT 210452 SOS 176814 HAS SOPS 175092 HAS SOUS 48924 HAS SOUPS 47202 WITH SCORE 47378.814
AT ITER 6397 NEW BEST:: SOT 210426 SOS 176788 HAS SOPS 175066 HAS SOUS 48872 HAS SOUPS 47150 WITH SCORE 47326.788
AT ITER 6478 NEW BEST:: SOT 210418 SOS 176780 HAS SOPS 175058 HAS SOUS 48856 HAS SOUPS 47134 WITH SCORE 47310.78
AT ITER 6483 NEW BEST:: SOT 210401 SOS 176763 HAS SOPS 175041 HAS SOUS 48833 HAS SOUPS 47111 WITH SCORE 47287.763
AT ITER 6492 NEW BEST:: SOT 210397 SOS 176740 HAS SOPS 174999 HAS SOUS 48844 HAS SOUPS 47103 WITH SCORE 47279.74
AT ITER 6497 NEW BEST:: SOT 210468 SOS 176811 HAS SOPS 175070 HAS SOUS 48823 HAS SOUPS 47082 WITH SCORE 47258.811
AT ITER 6499 NEW BEST:: SOT 210455 SOS 176798 HAS SOPS 175057 HAS SOUS 48822 HAS SOUPS 47081 WITH SCORE 47257.798
AT ITER 6501 NEW BEST:: SOT 210452 SOS 176795 HAS SOPS 175054 HAS SOUS 48816 HAS SOUPS 47075 WITH SCORE 47251.795
AT ITER 6510 NEW BEST:: SOT 210430 SOS 176773 HAS SOPS 175032 HAS SOUS 48772 HAS SOUPS 47031 WITH SCORE 47207.773
AT ITER 6539 NEW BEST:: SOT 210412 SOS 176755 HAS SOPS 175014 HAS SOUS 48754 HAS SOUPS 47013 WITH SCORE 47189.755
AT ITER 6550 NEW BEST:: SOT 210339 SOS 176691 HAS SOPS 174950 HAS SOUS 48753 HAS SOUPS 47012 WITH SCORE 47188.691
AT ITER 6554 NEW BEST:: SOT 210332 SOS 176684 HAS SOPS 174943 HAS SOUS 48739 HAS SOUPS 46998 WITH SCORE 47174.684
AT ITER 6577 NEW BEST:: SOT 210234 SOS 176672 HAS SOPS 174931 HAS SOUS 48656 HAS SOUPS 46915 WITH SCORE 47091.672
AT ITER 6581 NEW BEST:: SOT 210196 SOS 176615 HAS SOPS 174855 HAS SOUS 48583 HAS SOUPS 46823 WITH SCORE 46999.615
AT ITER 6636 NEW BEST:: SOT 210186 SOS 176605 HAS SOPS 174845 HAS SOUS 48563 HAS SOUPS 46803 WITH SCORE 46979.605
AT ITER 6658 NEW BEST:: SOT 210067 SOS 176486 HAS SOPS 174726 HAS SOUS 48325 HAS SOUPS 46565 WITH SCORE 46741.486
AT ITER 6676 NEW BEST:: SOT 210021 SOS 176440 HAS SOPS 174680 HAS SOUS 48233 HAS SOUPS 46473 WITH SCORE 46649.44
AT ITER 6677 NEW BEST:: SOT 210009 SOS 176428 HAS SOPS 174668 HAS SOUS 48209 HAS SOUPS 46449 WITH SCORE 46625.428
AT ITER 6687 NEW BEST:: SOT 210123 SOS 176527 HAS SOPS 174767 HAS SOUS 48193 HAS SOUPS 46433 WITH SCORE 46609.527
AT ITER 6703 NEW BEST:: SOT 209935 SOS 176339 HAS SOPS 174579 HAS SOUS 47817 HAS SOUPS 46057 WITH SCORE 46233.339
AT ITER 6711 NEW BEST:: SOT 209517 SOS 175985 HAS SOPS 174225 HAS SOUS 47684 HAS SOUPS 45924 WITH SCORE 46099.985
AT ITER 6726 NEW BEST:: SOT 209427 SOS 175895 HAS SOPS 174135 HAS SOUS 47504 HAS SOUPS 45744 WITH SCORE 45919.895
AT ITER 6760 NEW BEST:: SOT 209657 SOS 176125 HAS SOPS 174365 HAS SOUS 47424 HAS SOUPS 45664 WITH SCORE 45840.125
AT ITER 6765 NEW BEST:: SOT 209643 SOS 176111 HAS SOPS 174351 HAS SOUS 47396 HAS SOUPS 45636 WITH SCORE 45812.111
AT ITER 6769 NEW BEST:: SOT 209643 SOS 176102 HAS SOPS 174333 HAS SOUS 47405 HAS SOUPS 45636 WITH SCORE 45812.102
AT ITER 6793 NEW BEST:: SOT 209625 SOS 176084 HAS SOPS 174315 HAS SOUS 47369 HAS SOUPS 45600 WITH SCORE 45776.084
AT ITER 6797 NEW BEST:: SOT 209607 SOS 176064 HAS SOPS 174295 HAS SOUS 47332 HAS SOUPS 45563 WITH SCORE 45739.064
AT ITER 6818 NEW BEST:: SOT 209600 SOS 176059 HAS SOPS 174290 HAS SOUS 47327 HAS SOUPS 45558 WITH SCORE 45734.059
AT ITER 6870 NEW BEST:: SOT 209564 SOS 176023 HAS SOPS 174254 HAS SOUS 47280 HAS SOUPS 45511 WITH SCORE 45687.023
AT ITER 6883 NEW BEST:: SOT 209564 SOS 176009 HAS SOPS 174240 HAS SOUS 47280 HAS SOUPS 45511 WITH SCORE 45687.009
AT ITER 6890 NEW BEST:: SOT 209500 SOS 175945 HAS SOPS 174176 HAS SOUS 47152 HAS SOUPS 45383 WITH SCORE 45558.945
AT ITER 6898 NEW BEST:: SOT 209486 SOS 175931 HAS SOPS 174162 HAS SOUS 47124 HAS SOUPS 45355 WITH SCORE 45530.931
AT ITER 6922 NEW BEST:: SOT 209488 SOS 175928 HAS SOPS 174159 HAS SOUS 47121 HAS SOUPS 45352 WITH SCORE 45527.928
AT ITER 6924 NEW BEST:: SOT 209462 SOS 175902 HAS SOPS 174133 HAS SOUS 47069 HAS SOUPS 45300 WITH SCORE 45475.902
AT ITER 6926 NEW BEST:: SOT 209442 SOS 175930 HAS SOPS 174161 HAS SOUS 47029 HAS SOUPS 45260 WITH SCORE 45435.93
AT ITER 6944 NEW BEST:: SOT 209379 SOS 175867 HAS SOPS 174098 HAS SOUS 47020 HAS SOUPS 45251 WITH SCORE 45426.867
AT ITER 6945 NEW BEST:: SOT 209362 SOS 175850 HAS SOPS 174081 HAS SOUS 47000 HAS SOUPS 45231 WITH SCORE 45406.85
AT ITER 6968 NEW BEST:: SOT 209331 SOS 175819 HAS SOPS 174050 HAS SOUS 46938 HAS SOUPS 45169 WITH SCORE 45344.819
AT ITER 6990 NEW BEST:: SOT 209267 SOS 175755 HAS SOPS 173986 HAS SOUS 46810 HAS SOUPS 45041 WITH SCORE 45216.755
AT ITER 7019 NEW BEST:: SOT 209192 SOS 175680 HAS SOPS 173911 HAS SOUS 46660 HAS SOUPS 44891 WITH SCORE 45066.68
AT ITER 7051 NEW BEST:: SOT 209182 SOS 175670 HAS SOPS 173901 HAS SOUS 46640 HAS SOUPS 44871 WITH SCORE 45046.67
AT ITER 7085 NEW BEST:: SOT 209149 SOS 175569 HAS SOPS 173800 HAS SOUS 46598 HAS SOUPS 44829 WITH SCORE 45004.569
AT ITER 7092 NEW BEST:: SOT 209140 SOS 175560 HAS SOPS 173791 HAS SOUS 46580 HAS SOUPS 44811 WITH SCORE 44986.56
AT ITER 7107 NEW BEST:: SOT 209150 SOS 175017 HAS SOPS 173269 HAS SOUS 46548 HAS SOUPS 44800 WITH SCORE 44975.017
AT ITER 7112 NEW BEST:: SOT 209150 SOS 174531 HAS SOPS 172783 HAS SOUS 46548 HAS SOUPS 44800 WITH SCORE 44974.531
AT ITER 7133 NEW BEST:: SOT 209141 SOS 174522 HAS SOPS 172774 HAS SOUS 46530 HAS SOUPS 44782 WITH SCORE 44956.522
AT ITER 7156 NEW BEST:: SOT 209098 SOS 174479 HAS SOPS 172731 HAS SOUS 46444 HAS SOUPS 44696 WITH SCORE 44870.479
AT ITER 7160 NEW BEST:: SOT 209093 SOS 174474 HAS SOPS 172726 HAS SOUS 46434 HAS SOUPS 44686 WITH SCORE 44860.474
AT ITER 7175 NEW BEST:: SOT 209059 SOS 174440 HAS SOPS 172692 HAS SOUS 46366 HAS SOUPS 44618 WITH SCORE 44792.44
AT ITER 7183 NEW BEST:: SOT 209014 SOS 174395 HAS SOPS 172647 HAS SOUS 46276 HAS SOUPS 44528 WITH SCORE 44702.395
AT ITER 7189 NEW BEST:: SOT 209010 SOS 174391 HAS SOPS 172643 HAS SOUS 46268 HAS SOUPS 44520 WITH SCORE 44694.391
AT ITER 7219 NEW BEST:: SOT 209007 SOS 174388 HAS SOPS 172640 HAS SOUS 46262 HAS SOUPS 44514 WITH SCORE 44688.388
AT ITER 7231 NEW BEST:: SOT 209210 SOS 174591 HAS SOPS 172843 HAS SOUS 46244 HAS SOUPS 44496 WITH SCORE 44670.591
AT ITER 7273 NEW BEST:: SOT 209159 SOS 174540 HAS SOPS 172792 HAS SOUS 46142 HAS SOUPS 44394 WITH SCORE 44568.54
AT ITER 7288 NEW BEST:: SOT 209111 SOS 174483 HAS SOPS 172735 HAS SOUS 46046 HAS SOUPS 44298 WITH SCORE 44472.483
AT ITER 7290 NEW BEST:: SOT 209087 SOS 174459 HAS SOPS 172711 HAS SOUS 45998 HAS SOUPS 44250 WITH SCORE 44424.459
AT ITER 7373 NEW BEST:: SOT 209069 SOS 174441 HAS SOPS 172693 HAS SOUS 45962 HAS SOUPS 44214 WITH SCORE 44388.441
AT ITER 7383 NEW BEST:: SOT 209067 SOS 174439 HAS SOPS 172691 HAS SOUS 45958 HAS SOUPS 44210 WITH SCORE 44384.439
AT ITER 7395 NEW BEST:: SOT 209023 SOS 174395 HAS SOPS 172647 HAS SOUS 45870 HAS SOUPS 44122 WITH SCORE 44296.395
AT ITER 7400 NEW BEST:: SOT 209001 SOS 174373 HAS SOPS 172625 HAS SOUS 45826 HAS SOUPS 44078 WITH SCORE 44252.373
AT ITER 7402 NEW BEST:: SOT 209012 SOS 174374 HAS SOPS 172635 HAS SOUS 45700 HAS SOUPS 43961 WITH SCORE 44135.374
AT ITER 7409 NEW BEST:: SOT 208992 SOS 174354 HAS SOPS 172615 HAS SOUS 45669 HAS SOUPS 43930 WITH SCORE 44104.354
AT ITER 7423 NEW BEST:: SOT 208990 SOS 174352 HAS SOPS 172613 HAS SOUS 45665 HAS SOUPS 43926 WITH SCORE 44100.352
AT ITER 7435 NEW BEST:: SOT 208918 SOS 174280 HAS SOPS 172541 HAS SOUS 45521 HAS SOUPS 43782 WITH SCORE 43956.28
AT ITER 7460 NEW BEST:: SOT 208887 SOS 174249 HAS SOPS 172510 HAS SOUS 45456 HAS SOUPS 43717 WITH SCORE 43891.249
AT ITER 7467 NEW BEST:: SOT 208869 SOS 174231 HAS SOPS 172492 HAS SOUS 45420 HAS SOUPS 43681 WITH SCORE 43855.231
AT ITER 7473 NEW BEST:: SOT 208841 SOS 174203 HAS SOPS 172464 HAS SOUS 45393 HAS SOUPS 43654 WITH SCORE 43828.203
AT ITER 7487 NEW BEST:: SOT 208769 SOS 174131 HAS SOPS 172392 HAS SOUS 45249 HAS SOUPS 43510 WITH SCORE 43684.131
AT ITER 7491 NEW BEST:: SOT 208734 SOS 174096 HAS SOPS 172357 HAS SOUS 45179 HAS SOUPS 43440 WITH SCORE 43614.096
AT ITER 7508 NEW BEST:: SOT 208528 SOS 173890 HAS SOPS 172151 HAS SOUS 45121 HAS SOUPS 43382 WITH SCORE 43555.89
AT ITER 7512 NEW BEST:: SOT 208514 SOS 173876 HAS SOPS 172137 HAS SOUS 45093 HAS SOUPS 43354 WITH SCORE 43527.876
AT ITER 7567 NEW BEST:: SOT 208509 SOS 173871 HAS SOPS 172132 HAS SOUS 45083 HAS SOUPS 43344 WITH SCORE 43517.871
AT ITER 7570 NEW BEST:: SOT 208503 SOS 173865 HAS SOPS 172126 HAS SOUS 45077 HAS SOUPS 43338 WITH SCORE 43511.865
AT ITER 7597 NEW BEST:: SOT 208495 SOS 173857 HAS SOPS 172118 HAS SOUS 45061 HAS SOUPS 43322 WITH SCORE 43495.857
AT ITER 7612 NEW BEST:: SOT 208481 SOS 173843 HAS SOPS 172104 HAS SOUS 45033 HAS SOUPS 43294 WITH SCORE 43467.843
AT ITER 7636 NEW BEST:: SOT 208440 SOS 173802 HAS SOPS 172063 HAS SOUS 44951 HAS SOUPS 43212 WITH SCORE 43385.802
AT ITER 7638 NEW BEST:: SOT 208395 SOS 173757 HAS SOPS 172018 HAS SOUS 44816 HAS SOUPS 43077 WITH SCORE 43250.757
AT ITER 7650 NEW BEST:: SOT 208385 SOS 173747 HAS SOPS 172008 HAS SOUS 44796 HAS SOUPS 43057 WITH SCORE 43230.747
AT ITER 7710 NEW BEST:: SOT 208359 SOS 173721 HAS SOPS 171982 HAS SOUS 44744 HAS SOUPS 43005 WITH SCORE 43178.721
AT ITER 7727 NEW BEST:: SOT 208308 SOS 173670 HAS SOPS 171931 HAS SOUS 44642 HAS SOUPS 42903 WITH SCORE 43076.67
AT ITER 7741 NEW BEST:: SOT 208306 SOS 173668 HAS SOPS 171929 HAS SOUS 44638 HAS SOUPS 42899 WITH SCORE 43072.668
AT ITER 7772 NEW BEST:: SOT 208266 SOS 173628 HAS SOPS 171889 HAS SOUS 44558 HAS SOUPS 42819 WITH SCORE 42992.628
AT ITER 7799 NEW BEST:: SOT 208219 SOS 173581 HAS SOPS 171842 HAS SOUS 44464 HAS SOUPS 42725 WITH SCORE 42898.581
AT ITER 7807 NEW BEST:: SOT 208218 SOS 173580 HAS SOPS 171841 HAS SOUS 44463 HAS SOUPS 42724 WITH SCORE 42897.58
AT ITER 7816 NEW BEST:: SOT 208271 SOS 173623 HAS SOPS 171884 HAS SOUS 44449 HAS SOUPS 42710 WITH SCORE 42883.623
AT ITER 7878 NEW BEST:: SOT 207949 SOS 173354 HAS SOPS 171562 HAS SOUS 44466 HAS SOUPS 42674 WITH SCORE 42847.354
AT ITER 7913 NEW BEST:: SOT 207800 SOS 173228 HAS SOPS 171436 HAS SOUS 44439 HAS SOUPS 42647 WITH SCORE 42820.228
AT ITER 7931 NEW BEST:: SOT 207781 SOS 173233 HAS SOPS 171441 HAS SOUS 44382 HAS SOUPS 42590 WITH SCORE 42763.233
AT ITER 7942 NEW BEST:: SOT 207720 SOS 173173 HAS SOPS 171382 HAS SOUS 44322 HAS SOUPS 42531 WITH SCORE 42704.173
AT ITER 7966 NEW BEST:: SOT 207685 SOS 173138 HAS SOPS 171347 HAS SOUS 44252 HAS SOUPS 42461 WITH SCORE 42634.138
AT ITER 7987 NEW BEST:: SOT 207641 SOS 173094 HAS SOPS 171303 HAS SOUS 44164 HAS SOUPS 42373 WITH SCORE 42546.094
AT ITER 7988 NEW BEST:: SOT 207647 SOS 173100 HAS SOPS 171309 HAS SOUS 44163 HAS SOUPS 42372 WITH SCORE 42545.1
AT ITER 7990 NEW BEST:: SOT 207699 SOS 173152 HAS SOPS 171361 HAS SOUS 44117 HAS SOUPS 42326 WITH SCORE 42499.152
AT ITER 8001 NEW BEST:: SOT 207688 SOS 173141 HAS SOPS 171350 HAS SOUS 44095 HAS SOUPS 42304 WITH SCORE 42477.141
AT ITER 8003 NEW BEST:: SOT 207656 SOS 173109 HAS SOPS 171318 HAS SOUS 44031 HAS SOUPS 42240 WITH SCORE 42413.109
AT ITER 8007 NEW BEST:: SOT 207656 SOS 173128 HAS SOPS 171337 HAS SOUS 44026 HAS SOUPS 42235 WITH SCORE 42408.128
AT ITER 8050 NEW BEST:: SOT 207656 SOS 173114 HAS SOPS 171323 HAS SOUS 44026 HAS SOUPS 42235 WITH SCORE 42408.114
AT ITER 8127 NEW BEST:: SOT 207693 SOS 173134 HAS SOPS 171360 HAS SOUS 43922 HAS SOUPS 42148 WITH SCORE 42321.134
AT ITER 8163 NEW BEST:: SOT 207691 SOS 173132 HAS SOPS 171358 HAS SOUS 43918 HAS SOUPS 42144 WITH SCORE 42317.132
AT ITER 8197 NEW BEST:: SOT 207604 SOS 173045 HAS SOPS 171271 HAS SOUS 43744 HAS SOUPS 41970 WITH SCORE 42143.045
AT ITER 8210 NEW BEST:: SOT 207548 SOS 172989 HAS SOPS 171215 HAS SOUS 43632 HAS SOUPS 41858 WITH SCORE 42030.989
AT ITER 8219 NEW BEST:: SOT 207542 SOS 172976 HAS SOPS 171202 HAS SOUS 43620 HAS SOUPS 41846 WITH SCORE 42018.976
AT ITER 8224 NEW BEST:: SOT 207539 SOS 172973 HAS SOPS 171199 HAS SOUS 43617 HAS SOUPS 41843 WITH SCORE 42015.973
AT ITER 8235 NEW BEST:: SOT 207532 SOS 172966 HAS SOPS 171192 HAS SOUS 43603 HAS SOUPS 41829 WITH SCORE 42001.966
AT ITER 8242 NEW BEST:: SOT 207485 SOS 172919 HAS SOPS 171145 HAS SOUS 43509 HAS SOUPS 41735 WITH SCORE 41907.919
AT ITER 8301 NEW BEST:: SOT 207471 SOS 172905 HAS SOPS 171131 HAS SOUS 43481 HAS SOUPS 41707 WITH SCORE 41879.905
AT ITER 8310 NEW BEST:: SOT 207511 SOS 172937 HAS SOPS 171163 HAS SOUS 43457 HAS SOUPS 41683 WITH SCORE 41855.937
AT ITER 8338 NEW BEST:: SOT 207507 SOS 172933 HAS SOPS 171159 HAS SOUS 43449 HAS SOUPS 41675 WITH SCORE 41847.933
AT ITER 8360 NEW BEST:: SOT 207484 SOS 172910 HAS SOPS 171136 HAS SOUS 43403 HAS SOUPS 41629 WITH SCORE 41801.91
AT ITER 8396 NEW BEST:: SOT 207484 SOS 172816 HAS SOPS 171042 HAS SOUS 43395 HAS SOUPS 41621 WITH SCORE 41793.816
AT ITER 8406 NEW BEST:: SOT 207481 SOS 172813 HAS SOPS 171039 HAS SOUS 43389 HAS SOUPS 41615 WITH SCORE 41787.813
AT ITER 8432 NEW BEST:: SOT 207331 SOS 172663 HAS SOPS 170889 HAS SOUS 43360 HAS SOUPS 41586 WITH SCORE 41758.663
AT ITER 8438 NEW BEST:: SOT 207316 SOS 172626 HAS SOPS 170842 HAS SOUS 43350 HAS SOUPS 41566 WITH SCORE 41738.626
AT ITER 8501 NEW BEST:: SOT 207314 SOS 172624 HAS SOPS 170840 HAS SOUS 43346 HAS SOUPS 41562 WITH SCORE 41734.624
AT ITER 8534 NEW BEST:: SOT 207306 SOS 172616 HAS SOPS 170832 HAS SOUS 43338 HAS SOUPS 41554 WITH SCORE 41726.616
AT ITER 8535 NEW BEST:: SOT 207288 SOS 172598 HAS SOPS 170814 HAS SOUS 43302 HAS SOUPS 41518 WITH SCORE 41690.598
AT ITER 8537 NEW BEST:: SOT 207288 SOS 172597 HAS SOPS 170813 HAS SOUS 43302 HAS SOUPS 41518 WITH SCORE 41690.597
AT ITER 8552 NEW BEST:: SOT 207262 SOS 172571 HAS SOPS 170787 HAS SOUS 43250 HAS SOUPS 41466 WITH SCORE 41638.571
AT ITER 8596 NEW BEST:: SOT 207242 SOS 172551 HAS SOPS 170767 HAS SOUS 43210 HAS SOUPS 41426 WITH SCORE 41598.551
AT ITER 8746 NEW BEST:: SOT 207222 SOS 172536 HAS SOPS 170757 HAS SOUS 43205 HAS SOUPS 41426 WITH SCORE 41598.536
AT ITER 8790 NEW BEST:: SOT 207214 SOS 172528 HAS SOPS 170749 HAS SOUS 43189 HAS SOUPS 41410 WITH SCORE 41582.528
AT ITER 8804 NEW BEST:: SOT 207082 SOS 172396 HAS SOPS 170617 HAS SOUS 43093 HAS SOUPS 41314 WITH SCORE 41486.396
AT ITER 8849 NEW BEST:: SOT 207058 SOS 172322 HAS SOPS 170543 HAS SOUS 43075 HAS SOUPS 41296 WITH SCORE 41468.322
AT ITER 8856 NEW BEST:: SOT 207037 SOS 172301 HAS SOPS 170522 HAS SOUS 43034 HAS SOUPS 41255 WITH SCORE 41427.301
AT ITER 8858 NEW BEST:: SOT 207014 SOS 172278 HAS SOPS 170499 HAS SOUS 42988 HAS SOUPS 41209 WITH SCORE 41381.278
AT ITER 8900 NEW BEST:: SOT 207004 SOS 172268 HAS SOPS 170489 HAS SOUS 42968 HAS SOUPS 41189 WITH SCORE 41361.268
AT ITER 8949 NEW BEST:: SOT 206946 SOS 172210 HAS SOPS 170431 HAS SOUS 42852 HAS SOUPS 41073 WITH SCORE 41245.21
AT ITER 9079 NEW BEST:: SOT 206863 SOS 172127 HAS SOPS 170348 HAS SOUS 42686 HAS SOUPS 40907 WITH SCORE 41079.127
AT ITER 9102 NEW BEST:: SOT 206859 SOS 172123 HAS SOPS 170344 HAS SOUS 42678 HAS SOUPS 40899 WITH SCORE 41071.123
AT ITER 9161 NEW BEST:: SOT 206853 SOS 172221 HAS SOPS 170442 HAS SOUS 42673 HAS SOUPS 40894 WITH SCORE 41066.221
AT ITER 9191 NEW BEST:: SOT 206861 SOS 172221 HAS SOPS 170442 HAS SOUS 42569 HAS SOUPS 40790 WITH SCORE 40962.221
AT ITER 9214 NEW BEST:: SOT 206797 SOS 172157 HAS SOPS 170378 HAS SOUS 42441 HAS SOUPS 40662 WITH SCORE 40834.157
AT ITER 9228 NEW BEST:: SOT 206791 SOS 172151 HAS SOPS 170372 HAS SOUS 42429 HAS SOUPS 40650 WITH SCORE 40822.151
AT ITER 9386 NEW BEST:: SOT 206770 SOS 172119 HAS SOPS 170340 HAS SOUS 42397 HAS SOUPS 40618 WITH SCORE 40790.119
AT ITER 9391 NEW BEST:: SOT 206747 SOS 172637 HAS SOPS 170858 HAS SOUS 42376 HAS SOUPS 40597 WITH SCORE 40769.637
AT ITER 9397 NEW BEST:: SOT 206733 SOS 172623 HAS SOPS 170844 HAS SOUS 42348 HAS SOUPS 40569 WITH SCORE 40741.623
AT ITER 9406 NEW BEST:: SOT 206696 SOS 172586 HAS SOPS 170807 HAS SOUS 42274 HAS SOUPS 40495 WITH SCORE 40667.586
AT ITER 9423 NEW BEST:: SOT 206650 SOS 172540 HAS SOPS 170761 HAS SOUS 42182 HAS SOUPS 40403 WITH SCORE 40575.54
AT ITER 9430 NEW BEST:: SOT 206645 SOS 172531 HAS SOPS 170748 HAS SOUS 42176 HAS SOUPS 40393 WITH SCORE 40565.531
AT ITER 9433 NEW BEST:: SOT 206496 SOS 172420 HAS SOPS 170637 HAS SOUS 42154 HAS SOUPS 40371 WITH SCORE 40543.42
AT ITER 9437 NEW BEST:: SOT 206494 SOS 172418 HAS SOPS 170635 HAS SOUS 42150 HAS SOUPS 40367 WITH SCORE 40539.418
AT ITER 9486 NEW BEST:: SOT 206490 SOS 172414 HAS SOPS 170631 HAS SOUS 42142 HAS SOUPS 40359 WITH SCORE 40531.414
AT ITER 9489 NEW BEST:: SOT 206434 SOS 172358 HAS SOPS 170575 HAS SOUS 42030 HAS SOUPS 40247 WITH SCORE 40419.358
AT ITER 9527 NEW BEST:: SOT 206424 SOS 172348 HAS SOPS 170565 HAS SOUS 42010 HAS SOUPS 40227 WITH SCORE 40399.348
AT ITER 9620 NEW BEST:: SOT 206426 SOS 172350 HAS SOPS 170567 HAS SOUS 41984 HAS SOUPS 40201 WITH SCORE 40373.35
AT ITER 9638 NEW BEST:: SOT 206396 SOS 172320 HAS SOPS 170537 HAS SOUS 41924 HAS SOUPS 40141 WITH SCORE 40313.32
AT ITER 9741 NEW BEST:: SOT 206374 SOS 172298 HAS SOPS 170515 HAS SOUS 41880 HAS SOUPS 40097 WITH SCORE 40269.298
AT ITER 9802 NEW BEST:: SOT 206331 SOS 172255 HAS SOPS 170472 HAS SOUS 41794 HAS SOUPS 40011 WITH SCORE 40183.255
AT ITER 9827 NEW BEST:: SOT 206342 SOS 172264 HAS SOPS 170479 HAS SOUS 41788 HAS SOUPS 40003 WITH SCORE 40175.264
AT ITER 9834 NEW BEST:: SOT 206322 SOS 172244 HAS SOPS 170459 HAS SOUS 41748 HAS SOUPS 39963 WITH SCORE 40135.244
AT ITER 9850 NEW BEST:: SOT 206260 SOS 172182 HAS SOPS 170397 HAS SOUS 41624 HAS SOUPS 39839 WITH SCORE 40011.182
AT ITER 9854 NEW BEST:: SOT 206236 SOS 175527 HAS SOPS 173748 HAS SOUS 41607 HAS SOUPS 39828 WITH SCORE 40003.527
AT ITER 9865 NEW BEST:: SOT 206230 SOS 175521 HAS SOPS 173742 HAS SOUS 41595 HAS SOUPS 39816 WITH SCORE 39991.521
AT ITER 9872 NEW BEST:: SOT 206216 SOS 175507 HAS SOPS 173728 HAS SOUS 41567 HAS SOUPS 39788 WITH SCORE 39963.507
AT ITER 9980 NEW BEST:: SOT 206158 SOS 175452 HAS SOPS 173670 HAS SOUS 41538 HAS SOUPS 39756 WITH SCORE 39931.452
STATE_SPACE STATES 445146141861 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 41 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9197362408860 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679996772274

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SharedMemory-COL-000020"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is SharedMemory-COL-000020, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r355-smll-167891803800568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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