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.r331-tall-167889204400360.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 smartxred
Input is Raft-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204400360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 792K
-rw-r--r-- 1 mcc users 6.1K Feb 26 17:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 17:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 17:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 17:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 17:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 216K Feb 26 17:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 17:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 17:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 241K 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 1679141394286

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Raft-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 12:09:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 12:09:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 12:09:56] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2023-03-18 12:09:56] [INFO ] Transformed 508 places.
[2023-03-18 12:09:56] [INFO ] Transformed 868 transitions.
[2023-03-18 12:09:56] [INFO ] Found NUPN structural information;
[2023-03-18 12:09:56] [INFO ] Parsed PT model containing 508 places and 868 transitions and 3359 arcs in 172 ms.
[2023-03-18 12:09:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 508 places, 868 transitions and 3359 arcs took 11 ms.
Total runtime 228 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 508 places, 868 transitions, 3359 arcs.
AT ITER 0 NEW BEST:: SOT 389188 SOS 265304 HAS SOPS 265264 HAS SOUS 207984 HAS SOUPS 207974 WITH SCORE 208239.304
AT ITER 1 NEW BEST:: SOT 389188 SOS 264075 HAS SOPS 264035 HAS SOUS 207950 HAS SOUPS 207940 WITH SCORE 208204.075
AT ITER 2 NEW BEST:: SOT 388616 SOS 263497 HAS SOPS 263388 HAS SOUS 207371 HAS SOUPS 207293 WITH SCORE 207556.497
AT ITER 3 NEW BEST:: SOT 388616 SOS 263415 HAS SOPS 263306 HAS SOUS 207371 HAS SOUPS 207293 WITH SCORE 207556.415
AT ITER 4 NEW BEST:: SOT 388376 SOS 263134 HAS SOPS 262996 HAS SOUS 207061 HAS SOUPS 206983 WITH SCORE 207246.134
AT ITER 5 NEW BEST:: SOT 388376 SOS 261300 HAS SOPS 261162 HAS SOUS 206847 HAS SOUPS 206769 WITH SCORE 207030.3
AT ITER 8 NEW BEST:: SOT 388376 SOS 260958 HAS SOPS 260820 HAS SOUS 206773 HAS SOUPS 206695 WITH SCORE 206955.958
AT ITER 10 NEW BEST:: SOT 387878 SOS 261121 HAS SOPS 260945 HAS SOUS 206555 HAS SOUPS 206440 WITH SCORE 206701.121
AT ITER 11 NEW BEST:: SOT 384238 SOS 271381 HAS SOPS 258509 HAS SOUS 205350 HAS SOUPS 204871 WITH SCORE 205142.381
AT ITER 13 NEW BEST:: SOT 384238 SOS 271381 HAS SOPS 258509 HAS SOUS 205322 HAS SOUPS 204843 WITH SCORE 205114.381
AT ITER 15 NEW BEST:: SOT 384238 SOS 271144 HAS SOPS 258272 HAS SOUS 205322 HAS SOUPS 204843 WITH SCORE 205114.144
AT ITER 17 NEW BEST:: SOT 384238 SOS 270966 HAS SOPS 258272 HAS SOUS 205322 HAS SOUPS 204843 WITH SCORE 205113.966
AT ITER 20 NEW BEST:: SOT 383813 SOS 270629 HAS SOPS 257935 HAS SOUS 204946 HAS SOUPS 204467 WITH SCORE 204737.629
AT ITER 25 NEW BEST:: SOT 383813 SOS 270599 HAS SOPS 258084 HAS SOUS 204916 HAS SOUPS 204437 WITH SCORE 204707.599
AT ITER 29 NEW BEST:: SOT 383813 SOS 270424 HAS SOPS 258084 HAS SOUS 204916 HAS SOUPS 204437 WITH SCORE 204707.424
AT ITER 30 NEW BEST:: SOT 383249 SOS 269798 HAS SOPS 257320 HAS SOUS 204251 HAS SOUPS 203673 WITH SCORE 203942.798
AT ITER 31 NEW BEST:: SOT 382511 SOS 269223 HAS SOPS 256664 HAS SOUS 203754 HAS SOUPS 203138 WITH SCORE 203407.223
AT ITER 34 NEW BEST:: SOT 382407 SOS 269119 HAS SOPS 256547 HAS SOUS 203637 HAS SOUPS 203021 WITH SCORE 203290.119
AT ITER 36 NEW BEST:: SOT 382407 SOS 269102 HAS SOPS 256530 HAS SOUS 203637 HAS SOUPS 203021 WITH SCORE 203290.102
AT ITER 38 NEW BEST:: SOT 382407 SOS 268815 HAS SOPS 256530 HAS SOUS 203637 HAS SOUPS 203021 WITH SCORE 203289.815
AT ITER 41 NEW BEST:: SOT 381516 SOS 268539 HAS SOPS 256172 HAS SOUS 203152 HAS SOUPS 202527 WITH SCORE 202795.539
AT ITER 43 NEW BEST:: SOT 381516 SOS 268442 HAS SOPS 256172 HAS SOUS 203152 HAS SOUPS 202527 WITH SCORE 202795.442
AT ITER 44 NEW BEST:: SOT 381516 SOS 268227 HAS SOPS 255957 HAS SOUS 203152 HAS SOUPS 202527 WITH SCORE 202795.227
AT ITER 45 NEW BEST:: SOT 381336 SOS 268090 HAS SOPS 255799 HAS SOUS 202796 HAS SOUPS 202151 WITH SCORE 202419.09
AT ITER 48 NEW BEST:: SOT 381136 SOS 267790 HAS SOPS 255477 HAS SOUS 202415 HAS SOUPS 201749 WITH SCORE 202016.79
AT ITER 49 NEW BEST:: SOT 380694 SOS 268011 HAS SOPS 255688 HAS SOUS 202389 HAS SOUPS 201721 WITH SCORE 201989.011
AT ITER 52 NEW BEST:: SOT 380278 SOS 267289 HAS SOPS 254862 HAS SOUS 201634 HAS SOUPS 200895 WITH SCORE 201162.289
AT ITER 53 NEW BEST:: SOT 380278 SOS 267147 HAS SOPS 254862 HAS SOUS 201634 HAS SOUPS 200895 WITH SCORE 201162.147
AT ITER 54 NEW BEST:: SOT 380278 SOS 267147 HAS SOPS 254862 HAS SOUS 201595 HAS SOUPS 200856 WITH SCORE 201123.147
AT ITER 56 NEW BEST:: SOT 380278 SOS 267147 HAS SOPS 254862 HAS SOUS 201556 HAS SOUPS 200817 WITH SCORE 201084.147
AT ITER 59 NEW BEST:: SOT 379972 SOS 266515 HAS SOPS 254221 HAS SOUS 200840 HAS SOUPS 200101 WITH SCORE 200367.515
AT ITER 61 NEW BEST:: SOT 379134 SOS 265637 HAS SOPS 253711 HAS SOUS 200241 HAS SOUPS 199491 WITH SCORE 199756.637
AT ITER 62 NEW BEST:: SOT 379134 SOS 265359 HAS SOPS 253433 HAS SOUS 200102 HAS SOUPS 199352 WITH SCORE 199617.359
AT ITER 63 NEW BEST:: SOT 379134 SOS 265359 HAS SOPS 253433 HAS SOUS 200070 HAS SOUPS 199320 WITH SCORE 199585.359
AT ITER 64 NEW BEST:: SOT 379134 SOS 265244 HAS SOPS 253318 HAS SOUS 200033 HAS SOUPS 199283 WITH SCORE 199548.244
AT ITER 68 NEW BEST:: SOT 378227 SOS 264258 HAS SOPS 253272 HAS SOUS 199597 HAS SOUPS 198839 WITH SCORE 199103.258
AT ITER 69 NEW BEST:: SOT 378244 SOS 264166 HAS SOPS 253085 HAS SOUS 199597 HAS SOUPS 198744 WITH SCORE 199008.166
AT ITER 70 NEW BEST:: SOT 378244 SOS 264041 HAS SOPS 252960 HAS SOUS 199597 HAS SOUPS 198744 WITH SCORE 199008.041
AT ITER 71 NEW BEST:: SOT 376866 SOS 262424 HAS SOPS 251333 HAS SOUS 197688 HAS SOUPS 196835 WITH SCORE 197097.424
AT ITER 72 NEW BEST:: SOT 376809 SOS 262310 HAS SOPS 251219 HAS SOUS 197574 HAS SOUPS 196721 WITH SCORE 196983.31
AT ITER 73 NEW BEST:: SOT 376809 SOS 262105 HAS SOPS 251219 HAS SOUS 197574 HAS SOUPS 196721 WITH SCORE 196983.105
AT ITER 74 NEW BEST:: SOT 374928 SOS 261598 HAS SOPS 249743 HAS SOUS 196513 HAS SOUPS 195525 WITH SCORE 195786.598
AT ITER 75 NEW BEST:: SOT 374928 SOS 261598 HAS SOPS 249223 HAS SOUS 196123 HAS SOUPS 195135 WITH SCORE 195396.598
AT ITER 77 NEW BEST:: SOT 374796 SOS 261466 HAS SOPS 249091 HAS SOUS 195991 HAS SOUPS 195003 WITH SCORE 195264.466
AT ITER 78 NEW BEST:: SOT 374796 SOS 261372 HAS SOPS 248997 HAS SOUS 195991 HAS SOUPS 195003 WITH SCORE 195264.372
AT ITER 83 NEW BEST:: SOT 374796 SOS 261282 HAS SOPS 248997 HAS SOUS 195991 HAS SOUPS 195003 WITH SCORE 195264.282
AT ITER 84 NEW BEST:: SOT 374510 SOS 261361 HAS SOPS 248919 HAS SOUS 195886 HAS SOUPS 194898 WITH SCORE 195159.361
AT ITER 85 NEW BEST:: SOT 374047 SOS 261144 HAS SOPS 248702 HAS SOUS 195655 HAS SOUPS 194667 WITH SCORE 194928.144
AT ITER 86 NEW BEST:: SOT 367822 SOS 260054 HAS SOPS 241617 HAS SOUS 191722 HAS SOUPS 190354 WITH SCORE 190614.054
AT ITER 89 NEW BEST:: SOT 367703 SOS 259697 HAS SOPS 241260 HAS SOUS 191484 HAS SOUPS 190116 WITH SCORE 190375.697
AT ITER 90 NEW BEST:: SOT 367703 SOS 259494 HAS SOPS 241057 HAS SOUS 191484 HAS SOUPS 190116 WITH SCORE 190375.494
AT ITER 92 NEW BEST:: SOT 367703 SOS 259324 HAS SOPS 240887 HAS SOUS 191400 HAS SOUPS 190032 WITH SCORE 190291.324
AT ITER 93 NEW BEST:: SOT 366639 SOS 258249 HAS SOPS 239967 HAS SOUS 190318 HAS SOUPS 188894 WITH SCORE 189152.249
AT ITER 96 NEW BEST:: SOT 365792 SOS 257509 HAS SOPS 239154 HAS SOUS 189424 HAS SOUPS 188000 WITH SCORE 188257.509
AT ITER 97 NEW BEST:: SOT 365566 SOS 257282 HAS SOPS 238873 HAS SOUS 189111 HAS SOUPS 187664 WITH SCORE 187921.282
AT ITER 98 NEW BEST:: SOT 365359 SOS 257786 HAS SOPS 239377 HAS SOUS 188924 HAS SOUPS 187477 WITH SCORE 187734.786
AT ITER 99 NEW BEST:: SOT 365259 SOS 257441 HAS SOPS 238980 HAS SOUS 188359 HAS SOUPS 186912 WITH SCORE 187169.441
AT ITER 105 NEW BEST:: SOT 365111 SOS 257293 HAS SOPS 238832 HAS SOUS 188211 HAS SOUPS 186764 WITH SCORE 187021.293
AT ITER 106 NEW BEST:: SOT 365076 SOS 257223 HAS SOPS 238762 HAS SOUS 188153 HAS SOUPS 186706 WITH SCORE 186963.223
AT ITER 109 NEW BEST:: SOT 365076 SOS 257045 HAS SOPS 238584 HAS SOUS 188153 HAS SOUPS 186706 WITH SCORE 186963.045
AT ITER 111 NEW BEST:: SOT 364140 SOS 256109 HAS SOPS 237609 HAS SOUS 187217 HAS SOUPS 185770 WITH SCORE 186026.109
AT ITER 114 NEW BEST:: SOT 364140 SOS 255932 HAS SOPS 237432 HAS SOUS 187040 HAS SOUPS 185593 WITH SCORE 185848.932
AT ITER 115 NEW BEST:: SOT 363810 SOS 255600 HAS SOPS 237102 HAS SOUS 186648 HAS SOUPS 185203 WITH SCORE 185458.6
AT ITER 117 NEW BEST:: SOT 364346 SOS 255511 HAS SOPS 233818 HAS SOUS 186995 HAS SOUPS 182355 WITH SCORE 182610.511
AT ITER 120 NEW BEST:: SOT 364346 SOS 255495 HAS SOPS 233714 HAS SOUS 186995 HAS SOUPS 182355 WITH SCORE 182610.495
AT ITER 122 NEW BEST:: SOT 363539 SOS 255106 HAS SOPS 233097 HAS SOUS 186588 HAS SOUPS 181948 WITH SCORE 182203.106
AT ITER 123 NEW BEST:: SOT 362495 SOS 253882 HAS SOPS 231833 HAS SOUS 185199 HAS SOUPS 180520 WITH SCORE 180773.882
AT ITER 124 NEW BEST:: SOT 362129 SOS 253493 HAS SOPS 231567 HAS SOUS 184808 HAS SOUPS 180154 WITH SCORE 180407.493
AT ITER 125 NEW BEST:: SOT 362039 SOS 253201 HAS SOPS 231228 HAS SOUS 184389 HAS SOUPS 179709 WITH SCORE 179962.201
AT ITER 127 NEW BEST:: SOT 361675 SOS 252933 HAS SOPS 230860 HAS SOUS 184023 HAS SOUPS 179341 WITH SCORE 179593.933
AT ITER 129 NEW BEST:: SOT 361675 SOS 252859 HAS SOPS 230786 HAS SOUS 183949 HAS SOUPS 179267 WITH SCORE 179519.859
AT ITER 134 NEW BEST:: SOT 361007 SOS 252191 HAS SOPS 230007 HAS SOUS 183084 HAS SOUPS 178393 WITH SCORE 178645.191
AT ITER 136 NEW BEST:: SOT 361007 SOS 252180 HAS SOPS 230007 HAS SOUS 183084 HAS SOUPS 178393 WITH SCORE 178645.18
AT ITER 140 NEW BEST:: SOT 360785 SOS 251958 HAS SOPS 229785 HAS SOUS 182862 HAS SOUPS 178171 WITH SCORE 178422.958
AT ITER 145 NEW BEST:: SOT 359854 SOS 251439 HAS SOPS 229279 HAS SOUS 182040 HAS SOUPS 177348 WITH SCORE 177599.439
AT ITER 146 NEW BEST:: SOT 359582 SOS 251005 HAS SOPS 228812 HAS SOUS 181378 HAS SOUPS 176686 WITH SCORE 176937.005
AT ITER 147 NEW BEST:: SOT 356043 SOS 248991 HAS SOPS 225571 HAS SOUS 178733 HAS SOUPS 173892 WITH SCORE 174140.991
AT ITER 149 NEW BEST:: SOT 356043 SOS 248916 HAS SOPS 225571 HAS SOUS 178733 HAS SOUPS 173892 WITH SCORE 174140.916
AT ITER 152 NEW BEST:: SOT 356043 SOS 248916 HAS SOPS 225514 HAS SOUS 178676 HAS SOUPS 173835 WITH SCORE 174083.916
AT ITER 156 NEW BEST:: SOT 356043 SOS 246978 HAS SOPS 223778 HAS SOUS 178456 HAS SOUPS 173817 WITH SCORE 174063.978
AT ITER 158 NEW BEST:: SOT 355431 SOS 246572 HAS SOPS 223179 HAS SOUS 177818 HAS SOUPS 173179 WITH SCORE 173425.572
AT ITER 159 NEW BEST:: SOT 354719 SOS 245775 HAS SOPS 222472 HAS SOUS 177133 HAS SOUPS 172494 WITH SCORE 172739.775
AT ITER 165 NEW BEST:: SOT 354644 SOS 245700 HAS SOPS 222322 HAS SOUS 176983 HAS SOUPS 172344 WITH SCORE 172589.7
AT ITER 166 NEW BEST:: SOT 353864 SOS 244920 HAS SOPS 221383 HAS SOUS 175964 HAS SOUPS 171325 WITH SCORE 171569.92
AT ITER 167 NEW BEST:: SOT 353836 SOS 244892 HAS SOPS 221341 HAS SOUS 175908 HAS SOUPS 171269 WITH SCORE 171513.892
AT ITER 169 NEW BEST:: SOT 353584 SOS 244554 HAS SOPS 221003 HAS SOUS 175570 HAS SOUPS 170931 WITH SCORE 171175.554
AT ITER 172 NEW BEST:: SOT 353040 SOS 244615 HAS SOPS 221136 HAS SOUS 175414 HAS SOUPS 170775 WITH SCORE 171019.615
AT ITER 180 NEW BEST:: SOT 352024 SOS 243620 HAS SOPS 220090 HAS SOUS 174468 HAS SOUPS 169829 WITH SCORE 170072.62
AT ITER 183 NEW BEST:: SOT 352024 SOS 243573 HAS SOPS 220043 HAS SOUS 174412 HAS SOUPS 169773 WITH SCORE 170016.573
AT ITER 185 NEW BEST:: SOT 351886 SOS 243163 HAS SOPS 219707 HAS SOUS 173941 HAS SOUPS 169302 WITH SCORE 169545.163
AT ITER 187 NEW BEST:: SOT 350533 SOS 241989 HAS SOPS 218453 HAS SOUS 172808 HAS SOUPS 168136 WITH SCORE 168377.989
AT ITER 188 NEW BEST:: SOT 350489 SOS 242069 HAS SOPS 218652 HAS SOUS 172785 HAS SOUPS 168113 WITH SCORE 168355.069
AT ITER 189 NEW BEST:: SOT 350384 SOS 241721 HAS SOPS 218337 HAS SOUS 172575 HAS SOUPS 167903 WITH SCORE 168144.721
AT ITER 190 NEW BEST:: SOT 350388 SOS 241516 HAS SOPS 218061 HAS SOUS 172370 HAS SOUPS 167698 WITH SCORE 167939.516
AT ITER 191 NEW BEST:: SOT 350192 SOS 241159 HAS SOPS 217662 HAS SOUS 171768 HAS SOUPS 167096 WITH SCORE 167337.159
AT ITER 192 NEW BEST:: SOT 348193 SOS 239759 HAS SOPS 215897 HAS SOUS 170315 HAS SOUPS 165565 WITH SCORE 165804.759
AT ITER 193 NEW BEST:: SOT 348128 SOS 239664 HAS SOPS 215696 HAS SOUS 170017 HAS SOUPS 165267 WITH SCORE 165506.664
AT ITER 198 NEW BEST:: SOT 348128 SOS 239682 HAS SOPS 215549 HAS SOUS 169870 HAS SOUPS 165120 WITH SCORE 165359.682
AT ITER 199 NEW BEST:: SOT 347171 SOS 239334 HAS SOPS 215206 HAS SOUS 169388 HAS SOUPS 164638 WITH SCORE 164877.334
AT ITER 204 NEW BEST:: SOT 347171 SOS 239317 HAS SOPS 215189 HAS SOUS 169388 HAS SOUPS 164638 WITH SCORE 164877.317
AT ITER 207 NEW BEST:: SOT 346734 SOS 238905 HAS SOPS 214731 HAS SOUS 168871 HAS SOUPS 164121 WITH SCORE 164359.905
AT ITER 208 NEW BEST:: SOT 346168 SOS 237886 HAS SOPS 214496 HAS SOUS 168259 HAS SOUPS 163673 WITH SCORE 163910.886
AT ITER 210 NEW BEST:: SOT 345983 SOS 237697 HAS SOPS 214153 HAS SOUS 167898 HAS SOUPS 163291 WITH SCORE 163528.697
AT ITER 211 NEW BEST:: SOT 343806 SOS 240006 HAS SOPS 212430 HAS SOUS 166658 HAS SOUPS 161911 WITH SCORE 162151.006
AT ITER 212 NEW BEST:: SOT 343806 SOS 239673 HAS SOPS 212097 HAS SOUS 166658 HAS SOUPS 161911 WITH SCORE 162150.673
AT ITER 216 NEW BEST:: SOT 343002 SOS 239494 HAS SOPS 211996 HAS SOUS 166231 HAS SOUPS 161484 WITH SCORE 161723.494
AT ITER 217 NEW BEST:: SOT 342721 SOS 239213 HAS SOPS 211434 HAS SOUS 165424 HAS SOUPS 160677 WITH SCORE 160916.213
AT ITER 218 NEW BEST:: SOT 338671 SOS 236913 HAS SOPS 208044 HAS SOUS 162692 HAS SOUPS 157780 WITH SCORE 158016.913
AT ITER 223 NEW BEST:: SOT 337875 SOS 236180 HAS SOPS 207699 HAS SOUS 162246 HAS SOUPS 157354 WITH SCORE 157590.18
AT ITER 224 NEW BEST:: SOT 337777 SOS 235302 HAS SOPS 206903 HAS SOUS 161942 HAS SOUPS 157132 WITH SCORE 157367.302
AT ITER 225 NEW BEST:: SOT 337521 SOS 235033 HAS SOPS 206615 HAS SOUS 161644 HAS SOUPS 156834 WITH SCORE 157069.033
AT ITER 226 NEW BEST:: SOT 337220 SOS 234769 HAS SOPS 206314 HAS SOUS 161343 HAS SOUPS 156533 WITH SCORE 156767.769
AT ITER 230 NEW BEST:: SOT 336137 SOS 233512 HAS SOPS 205231 HAS SOUS 160260 HAS SOUPS 155450 WITH SCORE 155683.512
AT ITER 233 NEW BEST:: SOT 334394 SOS 231405 HAS SOPS 203313 HAS SOUS 158464 HAS SOUPS 153651 WITH SCORE 153882.405
AT ITER 238 NEW BEST:: SOT 334394 SOS 231405 HAS SOPS 203313 HAS SOUS 158460 HAS SOUPS 153608 WITH SCORE 153839.405
AT ITER 241 NEW BEST:: SOT 333289 SOS 230776 HAS SOPS 202843 HAS SOUS 157321 HAS SOUPS 152446 WITH SCORE 152676.776
AT ITER 246 NEW BEST:: SOT 333238 SOS 230695 HAS SOPS 202432 HAS SOUS 157189 HAS SOUPS 152314 WITH SCORE 152544.695
AT ITER 247 NEW BEST:: SOT 333108 SOS 230345 HAS SOPS 202237 HAS SOUS 156825 HAS SOUPS 151950 WITH SCORE 152180.345
AT ITER 261 NEW BEST:: SOT 332481 SOS 229902 HAS SOPS 201972 HAS SOUS 156282 HAS SOUPS 151407 WITH SCORE 151636.902
AT ITER 262 NEW BEST:: SOT 332448 SOS 229791 HAS SOPS 201861 HAS SOUS 156266 HAS SOUPS 151391 WITH SCORE 151620.791
AT ITER 263 NEW BEST:: SOT 332431 SOS 229757 HAS SOPS 201827 HAS SOUS 156246 HAS SOUPS 151371 WITH SCORE 151600.757
AT ITER 269 NEW BEST:: SOT 332431 SOS 228270 HAS SOPS 200550 HAS SOUS 155934 HAS SOUPS 151264 WITH SCORE 151492.27
AT ITER 270 NEW BEST:: SOT 330002 SOS 225833 HAS SOPS 198011 HAS SOUS 153466 HAS SOUPS 148796 WITH SCORE 149021.833
AT ITER 271 NEW BEST:: SOT 329984 SOS 225821 HAS SOPS 197975 HAS SOUS 153430 HAS SOUPS 148760 WITH SCORE 148985.821
AT ITER 272 NEW BEST:: SOT 329984 SOS 225767 HAS SOPS 197975 HAS SOUS 153430 HAS SOUPS 148760 WITH SCORE 148985.767
AT ITER 274 NEW BEST:: SOT 329440 SOS 225246 HAS SOPS 197552 HAS SOUS 152828 HAS SOUPS 148158 WITH SCORE 148383.246
AT ITER 277 NEW BEST:: SOT 329440 SOS 225133 HAS SOPS 197552 HAS SOUS 152828 HAS SOUPS 148158 WITH SCORE 148383.133
AT ITER 279 NEW BEST:: SOT 328435 SOS 223784 HAS SOPS 196288 HAS SOUS 151468 HAS SOUPS 146798 WITH SCORE 147021.784
AT ITER 280 NEW BEST:: SOT 328435 SOS 223671 HAS SOPS 196116 HAS SOUS 151468 HAS SOUPS 146798 WITH SCORE 147021.671
AT ITER 284 NEW BEST:: SOT 328412 SOS 223647 HAS SOPS 196069 HAS SOUS 151421 HAS SOUPS 146751 WITH SCORE 146974.647
AT ITER 286 NEW BEST:: SOT 327914 SOS 223124 HAS SOPS 195488 HAS SOUS 150832 HAS SOUPS 146170 WITH SCORE 146393.124
AT ITER 289 NEW BEST:: SOT 327623 SOS 222799 HAS SOPS 195260 HAS SOUS 150541 HAS SOUPS 145879 WITH SCORE 146101.799
AT ITER 292 NEW BEST:: SOT 327547 SOS 222571 HAS SOPS 195032 HAS SOUS 150389 HAS SOUPS 145727 WITH SCORE 145949.571
AT ITER 296 NEW BEST:: SOT 327494 SOS 222552 HAS SOPS 195013 HAS SOUS 150370 HAS SOUPS 145708 WITH SCORE 145930.552
AT ITER 297 NEW BEST:: SOT 325972 SOS 221234 HAS SOPS 193779 HAS SOUS 148935 HAS SOUPS 144273 WITH SCORE 144494.234
AT ITER 307 NEW BEST:: SOT 325222 SOS 220987 HAS SOPS 193499 HAS SOUS 148558 HAS SOUPS 143896 WITH SCORE 144116.987
AT ITER 309 NEW BEST:: SOT 324972 SOS 220574 HAS SOPS 193124 HAS SOUS 148254 HAS SOUPS 143592 WITH SCORE 143812.574
AT ITER 310 NEW BEST:: SOT 324972 SOS 218950 HAS SOPS 191631 HAS SOUS 148168 HAS SOUPS 143506 WITH SCORE 143724.95
AT ITER 313 NEW BEST:: SOT 324890 SOS 218868 HAS SOPS 191549 HAS SOUS 148088 HAS SOUPS 143426 WITH SCORE 143644.868
AT ITER 319 NEW BEST:: SOT 324890 SOS 218768 HAS SOPS 191361 HAS SOUS 148088 HAS SOUPS 143426 WITH SCORE 143644.768
AT ITER 323 NEW BEST:: SOT 324314 SOS 218192 HAS SOPS 190796 HAS SOUS 147620 HAS SOUPS 142958 WITH SCORE 143176.192
AT ITER 324 NEW BEST:: SOT 324364 SOS 218080 HAS SOPS 190686 HAS SOUS 147586 HAS SOUPS 142924 WITH SCORE 143142.08
AT ITER 325 NEW BEST:: SOT 324364 SOS 218069 HAS SOPS 190686 HAS SOUS 147579 HAS SOUPS 142921 WITH SCORE 143139.069
AT ITER 326 NEW BEST:: SOT 324087 SOS 217792 HAS SOPS 190466 HAS SOUS 147366 HAS SOUPS 142708 WITH SCORE 142925.792
AT ITER 327 NEW BEST:: SOT 323414 SOS 217166 HAS SOPS 189984 HAS SOUS 146853 HAS SOUPS 142195 WITH SCORE 142412.166
AT ITER 330 NEW BEST:: SOT 323330 SOS 217082 HAS SOPS 189984 HAS SOUS 146846 HAS SOUPS 142188 WITH SCORE 142405.082
AT ITER 332 NEW BEST:: SOT 323390 SOS 216493 HAS SOPS 189546 HAS SOUS 146542 HAS SOUPS 141884 WITH SCORE 142100.493
AT ITER 334 NEW BEST:: SOT 322903 SOS 215953 HAS SOPS 189221 HAS SOUS 146253 HAS SOUPS 141595 WITH SCORE 141810.953
AT ITER 335 NEW BEST:: SOT 322897 SOS 215598 HAS SOPS 188546 HAS SOUS 146025 HAS SOUPS 141367 WITH SCORE 141582.598
AT ITER 338 NEW BEST:: SOT 321407 SOS 214771 HAS SOPS 187240 HAS SOUS 144857 HAS SOUPS 140153 WITH SCORE 140367.771
AT ITER 341 NEW BEST:: SOT 321325 SOS 214689 HAS SOPS 187129 HAS SOUS 144736 HAS SOUPS 140032 WITH SCORE 140246.689
AT ITER 343 NEW BEST:: SOT 321225 SOS 214573 HAS SOPS 186984 HAS SOUS 144536 HAS SOUPS 139832 WITH SCORE 140046.573
AT ITER 350 NEW BEST:: SOT 321019 SOS 214367 HAS SOPS 186820 HAS SOUS 144402 HAS SOUPS 139698 WITH SCORE 139912.367
AT ITER 351 NEW BEST:: SOT 321019 SOS 214134 HAS SOPS 186587 HAS SOUS 144292 HAS SOUPS 139588 WITH SCORE 139802.134
AT ITER 356 NEW BEST:: SOT 320067 SOS 212950 HAS SOPS 185213 HAS SOUS 142937 HAS SOUPS 138214 WITH SCORE 138426.95
AT ITER 362 NEW BEST:: SOT 319669 SOS 212552 HAS SOPS 184820 HAS SOUS 142549 HAS SOUPS 137826 WITH SCORE 138038.552
AT ITER 363 NEW BEST:: SOT 319578 SOS 212461 HAS SOPS 184729 HAS SOUS 142457 HAS SOUPS 137734 WITH SCORE 137946.461
AT ITER 365 NEW BEST:: SOT 319564 SOS 212715 HAS SOPS 184976 HAS SOUS 142429 HAS SOUPS 137706 WITH SCORE 137918.715
AT ITER 366 NEW BEST:: SOT 318526 SOS 211945 HAS SOPS 184064 HAS SOUS 141628 HAS SOUPS 136905 WITH SCORE 137116.945
AT ITER 367 NEW BEST:: SOT 318526 SOS 211940 HAS SOPS 184064 HAS SOUS 141628 HAS SOUPS 136905 WITH SCORE 137116.94
AT ITER 371 NEW BEST:: SOT 318452 SOS 210477 HAS SOPS 182611 HAS SOUS 140861 HAS SOUPS 136138 WITH SCORE 136348.477
AT ITER 372 NEW BEST:: SOT 318452 SOS 210387 HAS SOPS 182611 HAS SOUS 140861 HAS SOUPS 136138 WITH SCORE 136348.387
AT ITER 376 NEW BEST:: SOT 318452 SOS 210054 HAS SOPS 182315 HAS SOUS 140824 HAS SOUPS 136138 WITH SCORE 136348.054
AT ITER 378 NEW BEST:: SOT 317878 SOS 209759 HAS SOPS 182104 HAS SOUS 140663 HAS SOUPS 135977 WITH SCORE 136186.759
AT ITER 380 NEW BEST:: SOT 316872 SOS 209095 HAS SOPS 181750 HAS SOUS 140010 HAS SOUPS 135347 WITH SCORE 135556.095
AT ITER 385 NEW BEST:: SOT 316266 SOS 208521 HAS SOPS 181641 HAS SOUS 139747 HAS SOUPS 135085 WITH SCORE 135293.521
AT ITER 387 NEW BEST:: SOT 316266 SOS 208357 HAS SOPS 181641 HAS SOUS 139725 HAS SOUPS 135085 WITH SCORE 135293.357
AT ITER 389 NEW BEST:: SOT 316266 SOS 208353 HAS SOPS 181641 HAS SOUS 139725 HAS SOUPS 135085 WITH SCORE 135293.353
AT ITER 397 NEW BEST:: SOT 316264 SOS 208352 HAS SOPS 181642 HAS SOUS 139723 HAS SOUPS 135083 WITH SCORE 135291.352
AT ITER 399 NEW BEST:: SOT 316264 SOS 208352 HAS SOPS 181642 HAS SOUS 139630 HAS SOUPS 134990 WITH SCORE 135198.352
AT ITER 402 NEW BEST:: SOT 316264 SOS 208352 HAS SOPS 181631 HAS SOUS 139619 HAS SOUPS 134979 WITH SCORE 135187.352
AT ITER 404 NEW BEST:: SOT 316228 SOS 208724 HAS SOPS 181842 HAS SOUS 139615 HAS SOUPS 134975 WITH SCORE 135183.724
AT ITER 409 NEW BEST:: SOT 316052 SOS 208525 HAS SOPS 181498 HAS SOUS 139221 HAS SOUPS 134581 WITH SCORE 134789.525
AT ITER 410 NEW BEST:: SOT 315964 SOS 208437 HAS SOPS 181366 HAS SOUS 139103 HAS SOUPS 134463 WITH SCORE 134671.437
AT ITER 411 NEW BEST:: SOT 315949 SOS 207575 HAS SOPS 180570 HAS SOUS 138999 HAS SOUPS 134359 WITH SCORE 134566.575
AT ITER 417 NEW BEST:: SOT 315941 SOS 207519 HAS SOPS 180832 HAS SOUS 138986 HAS SOUPS 134346 WITH SCORE 134553.519
AT ITER 419 NEW BEST:: SOT 314596 SOS 206104 HAS SOPS 179665 HAS SOUS 137677 HAS SOUPS 133037 WITH SCORE 133243.104
AT ITER 420 NEW BEST:: SOT 314269 SOS 205796 HAS SOPS 179542 HAS SOUS 137388 HAS SOUPS 132748 WITH SCORE 132953.796
AT ITER 421 NEW BEST:: SOT 314155 SOS 205796 HAS SOPS 179542 HAS SOUS 137322 HAS SOUPS 132682 WITH SCORE 132887.796
AT ITER 423 NEW BEST:: SOT 314155 SOS 205667 HAS SOPS 179705 HAS SOUS 137322 HAS SOUPS 132682 WITH SCORE 132887.667
AT ITER 425 NEW BEST:: SOT 313967 SOS 205464 HAS SOPS 179366 HAS SOUS 137041 HAS SOUPS 132401 WITH SCORE 132606.464
AT ITER 426 NEW BEST:: SOT 314072 SOS 205125 HAS SOPS 178949 HAS SOUS 136702 HAS SOUPS 132062 WITH SCORE 132267.125
AT ITER 427 NEW BEST:: SOT 313249 SOS 204708 HAS SOPS 178577 HAS SOUS 136248 HAS SOUPS 131608 WITH SCORE 131812.708
AT ITER 429 NEW BEST:: SOT 313249 SOS 204623 HAS SOPS 178492 HAS SOUS 136214 HAS SOUPS 131574 WITH SCORE 131778.623
AT ITER 430 NEW BEST:: SOT 312104 SOS 204456 HAS SOPS 178379 HAS SOUS 135730 HAS SOUPS 131090 WITH SCORE 131294.456
AT ITER 433 NEW BEST:: SOT 311614 SOS 203966 HAS SOPS 177920 HAS SOUS 135214 HAS SOUPS 130591 WITH SCORE 130794.966
AT ITER 437 NEW BEST:: SOT 310873 SOS 203242 HAS SOPS 177134 HAS SOUS 134448 HAS SOUPS 129813 WITH SCORE 130016.242
AT ITER 439 NEW BEST:: SOT 310662 SOS 204508 HAS SOPS 178164 HAS SOUS 134328 HAS SOUPS 129693 WITH SCORE 129897.508
AT ITER 441 NEW BEST:: SOT 310572 SOS 204368 HAS SOPS 178111 HAS SOUS 134199 HAS SOUPS 129564 WITH SCORE 129768.368
AT ITER 446 NEW BEST:: SOT 310490 SOS 204295 HAS SOPS 178038 HAS SOUS 134154 HAS SOUPS 129519 WITH SCORE 129723.295
AT ITER 447 NEW BEST:: SOT 310547 SOS 204311 HAS SOPS 177988 HAS SOUS 134145 HAS SOUPS 129510 WITH SCORE 129714.311
AT ITER 452 NEW BEST:: SOT 310097 SOS 203971 HAS SOPS 177707 HAS SOUS 133878 HAS SOUPS 129229 WITH SCORE 129432.971
AT ITER 454 NEW BEST:: SOT 309907 SOS 203864 HAS SOPS 177293 HAS SOUS 133506 HAS SOUPS 128857 WITH SCORE 129060.864
AT ITER 455 NEW BEST:: SOT 309653 SOS 203610 HAS SOPS 177059 HAS SOUS 133243 HAS SOUPS 128623 WITH SCORE 128826.61
AT ITER 457 NEW BEST:: SOT 309105 SOS 203062 HAS SOPS 176100 HAS SOUS 132444 HAS SOUPS 127781 WITH SCORE 127984.062
AT ITER 459 NEW BEST:: SOT 308926 SOS 202883 HAS SOPS 175921 HAS SOUS 132170 HAS SOUPS 127507 WITH SCORE 127709.883
AT ITER 462 NEW BEST:: SOT 308918 SOS 202688 HAS SOPS 175848 HAS SOUS 132153 HAS SOUPS 127490 WITH SCORE 127692.688
AT ITER 463 NEW BEST:: SOT 308825 SOS 202470 HAS SOPS 175630 HAS SOUS 131920 HAS SOUPS 127257 WITH SCORE 127459.47
AT ITER 465 NEW BEST:: SOT 308867 SOS 201851 HAS SOPS 174969 HAS SOUS 131797 HAS SOUPS 127134 WITH SCORE 127335.851
AT ITER 466 NEW BEST:: SOT 308755 SOS 201739 HAS SOPS 174909 HAS SOUS 131735 HAS SOUPS 127072 WITH SCORE 127273.739
AT ITER 470 NEW BEST:: SOT 308807 SOS 201791 HAS SOPS 174928 HAS SOUS 131613 HAS SOUPS 126950 WITH SCORE 127151.791
AT ITER 477 NEW BEST:: SOT 308807 SOS 201768 HAS SOPS 174928 HAS SOUS 131613 HAS SOUPS 126950 WITH SCORE 127151.768
AT ITER 478 NEW BEST:: SOT 308807 SOS 200424 HAS SOPS 173744 HAS SOUS 131453 HAS SOUPS 126950 WITH SCORE 127150.424
AT ITER 492 NEW BEST:: SOT 308807 SOS 199306 HAS SOPS 172626 HAS SOUS 131289 HAS SOUPS 126786 WITH SCORE 126985.306
AT ITER 495 NEW BEST:: SOT 308701 SOS 199184 HAS SOPS 172518 HAS SOUS 131179 HAS SOUPS 126676 WITH SCORE 126875.184
AT ITER 499 NEW BEST:: SOT 308701 SOS 199184 HAS SOPS 172488 HAS SOUS 131110 HAS SOUPS 126607 WITH SCORE 126806.184
AT ITER 502 NEW BEST:: SOT 308902 SOS 198825 HAS SOPS 172292 HAS SOUS 130924 HAS SOUPS 126584 WITH SCORE 126782.825
AT ITER 506 NEW BEST:: SOT 308825 SOS 198616 HAS SOPS 172065 HAS SOUS 130772 HAS SOUPS 126432 WITH SCORE 126630.616
AT ITER 509 NEW BEST:: SOT 308825 SOS 197792 HAS SOPS 171241 HAS SOUS 130772 HAS SOUPS 126432 WITH SCORE 126629.792
AT ITER 511 NEW BEST:: SOT 308825 SOS 197337 HAS SOPS 170867 HAS SOUS 130505 HAS SOUPS 126165 WITH SCORE 126362.337
AT ITER 513 NEW BEST:: SOT 308423 SOS 196937 HAS SOPS 170329 HAS SOUS 129969 HAS SOUPS 125629 WITH SCORE 125825.937
AT ITER 519 NEW BEST:: SOT 308077 SOS 196853 HAS SOPS 170276 HAS SOUS 129817 HAS SOUPS 125477 WITH SCORE 125673.853
AT ITER 521 NEW BEST:: SOT 307901 SOS 196677 HAS SOPS 170012 HAS SOUS 129580 HAS SOUPS 125240 WITH SCORE 125436.677
AT ITER 524 NEW BEST:: SOT 307017 SOS 198065 HAS SOPS 169938 HAS SOUS 129136 HAS SOUPS 124741 WITH SCORE 124939.065
AT ITER 529 NEW BEST:: SOT 307171 SOS 197903 HAS SOPS 169967 HAS SOUS 128889 HAS SOUPS 124663 WITH SCORE 124860.903
AT ITER 530 NEW BEST:: SOT 307171 SOS 197903 HAS SOPS 169967 HAS SOUS 128702 HAS SOUPS 124476 WITH SCORE 124673.903
AT ITER 531 NEW BEST:: SOT 307026 SOS 197694 HAS SOPS 169758 HAS SOUS 128499 HAS SOUPS 124273 WITH SCORE 124470.694
AT ITER 532 NEW BEST:: SOT 306960 SOS 197905 HAS SOPS 169681 HAS SOUS 128367 HAS SOUPS 124141 WITH SCORE 124338.905
AT ITER 534 NEW BEST:: SOT 307585 SOS 197986 HAS SOPS 169785 HAS SOUS 128248 HAS SOUPS 124022 WITH SCORE 124219.986
AT ITER 538 NEW BEST:: SOT 306843 SOS 197244 HAS SOPS 168987 HAS SOUS 127346 HAS SOUPS 123120 WITH SCORE 123317.244
AT ITER 545 NEW BEST:: SOT 306693 SOS 197094 HAS SOPS 168806 HAS SOUS 127295 HAS SOUPS 123069 WITH SCORE 123266.094
AT ITER 549 NEW BEST:: SOT 306537 SOS 196938 HAS SOPS 168810 HAS SOUS 127160 HAS SOUPS 122977 WITH SCORE 123173.938
AT ITER 550 NEW BEST:: SOT 306465 SOS 196854 HAS SOPS 168666 HAS SOUS 127016 HAS SOUPS 122833 WITH SCORE 123029.854
AT ITER 556 NEW BEST:: SOT 306347 SOS 195952 HAS SOPS 167660 HAS SOUS 126313 HAS SOUPS 122130 WITH SCORE 122325.952
AT ITER 559 NEW BEST:: SOT 306341 SOS 195940 HAS SOPS 167648 HAS SOUS 126301 HAS SOUPS 122118 WITH SCORE 122313.94
AT ITER 561 NEW BEST:: SOT 306304 SOS 195888 HAS SOPS 167532 HAS SOUS 126264 HAS SOUPS 122081 WITH SCORE 122276.888
AT ITER 565 NEW BEST:: SOT 305980 SOS 195600 HAS SOPS 167208 HAS SOUS 125940 HAS SOUPS 121757 WITH SCORE 121952.6
AT ITER 566 NEW BEST:: SOT 305980 SOS 195468 HAS SOPS 167103 HAS SOUS 125940 HAS SOUPS 121757 WITH SCORE 121952.468
AT ITER 568 NEW BEST:: SOT 305980 SOS 195413 HAS SOPS 167048 HAS SOUS 125940 HAS SOUPS 121757 WITH SCORE 121952.413
AT ITER 570 NEW BEST:: SOT 305942 SOS 195363 HAS SOPS 167036 HAS SOUS 125921 HAS SOUPS 121738 WITH SCORE 121933.363
AT ITER 575 NEW BEST:: SOT 302772 SOS 199783 HAS SOPS 165779 HAS SOUS 124281 HAS SOUPS 119899 WITH SCORE 120098.783
AT ITER 577 NEW BEST:: SOT 302673 SOS 199738 HAS SOPS 165562 HAS SOUS 123960 HAS SOUPS 119578 WITH SCORE 119777.738
AT ITER 579 NEW BEST:: SOT 302820 SOS 199700 HAS SOPS 165711 HAS SOUS 123635 HAS SOUPS 119421 WITH SCORE 119620.7
AT ITER 582 NEW BEST:: SOT 301772 SOS 198652 HAS SOPS 165053 HAS SOUS 122969 HAS SOUPS 118755 WITH SCORE 118953.652
AT ITER 584 NEW BEST:: SOT 301631 SOS 198556 HAS SOPS 164621 HAS SOUS 122663 HAS SOUPS 118404 WITH SCORE 118602.556
AT ITER 587 NEW BEST:: SOT 301622 SOS 198280 HAS SOPS 164434 HAS SOUS 122636 HAS SOUPS 118377 WITH SCORE 118575.28
AT ITER 589 NEW BEST:: SOT 301620 SOS 198207 HAS SOPS 164540 HAS SOUS 122633 HAS SOUPS 118374 WITH SCORE 118572.207
AT ITER 591 NEW BEST:: SOT 299600 SOS 200118 HAS SOPS 163982 HAS SOUS 122001 HAS SOUPS 117594 WITH SCORE 117794.118
AT ITER 593 NEW BEST:: SOT 299469 SOS 199907 HAS SOPS 163589 HAS SOUS 121851 HAS SOUPS 117444 WITH SCORE 117643.907
AT ITER 598 NEW BEST:: SOT 299460 SOS 199961 HAS SOPS 163602 HAS SOUS 121850 HAS SOUPS 117442 WITH SCORE 117641.961
AT ITER 600 NEW BEST:: SOT 299460 SOS 199860 HAS SOPS 163550 HAS SOUS 121850 HAS SOUPS 117442 WITH SCORE 117641.86
AT ITER 603 NEW BEST:: SOT 299346 SOS 199930 HAS SOPS 163555 HAS SOUS 121671 HAS SOUPS 117263 WITH SCORE 117462.93
AT ITER 605 NEW BEST:: SOT 299048 SOS 199542 HAS SOPS 163123 HAS SOUS 121286 HAS SOUPS 116878 WITH SCORE 117077.542
AT ITER 607 NEW BEST:: SOT 298324 SOS 198814 HAS SOPS 162492 HAS SOUS 120529 HAS SOUPS 116121 WITH SCORE 116319.814
AT ITER 611 NEW BEST:: SOT 297480 SOS 198010 HAS SOPS 161654 HAS SOUS 119701 HAS SOUPS 115283 WITH SCORE 115481.01
AT ITER 613 NEW BEST:: SOT 297425 SOS 197859 HAS SOPS 161345 HAS SOUS 119536 HAS SOUPS 115118 WITH SCORE 115315.859
AT ITER 626 NEW BEST:: SOT 297277 SOS 198554 HAS SOPS 161264 HAS SOUS 119502 HAS SOUPS 115084 WITH SCORE 115282.554
AT ITER 628 NEW BEST:: SOT 294215 SOS 198879 HAS SOPS 159210 HAS SOUS 117684 HAS SOUPS 113137 WITH SCORE 113335.879
AT ITER 629 NEW BEST:: SOT 294125 SOS 198789 HAS SOPS 159075 HAS SOUS 117561 HAS SOUPS 113002 WITH SCORE 113200.789
AT ITER 630 NEW BEST:: SOT 293887 SOS 196614 HAS SOPS 157116 HAS SOUS 117037 HAS SOUPS 112478 WITH SCORE 112674.614
AT ITER 631 NEW BEST:: SOT 293633 SOS 196360 HAS SOPS 156969 HAS SOUS 116890 HAS SOUPS 112331 WITH SCORE 112527.36
AT ITER 632 NEW BEST:: SOT 292553 SOS 195628 HAS SOPS 156122 HAS SOUS 115466 HAS SOUPS 110907 WITH SCORE 111102.628
AT ITER 633 NEW BEST:: SOT 292553 SOS 194515 HAS SOPS 155009 HAS SOUS 115466 HAS SOUPS 110907 WITH SCORE 111101.515
AT ITER 635 NEW BEST:: SOT 292553 SOS 194341 HAS SOPS 155009 HAS SOUS 115466 HAS SOUPS 110907 WITH SCORE 111101.341
AT ITER 637 NEW BEST:: SOT 292368 SOS 194010 HAS SOPS 154678 HAS SOUS 115132 HAS SOUPS 110573 WITH SCORE 110767.01
AT ITER 641 NEW BEST:: SOT 292368 SOS 194010 HAS SOPS 154678 HAS SOUS 115130 HAS SOUPS 110571 WITH SCORE 110765.01
AT ITER 651 NEW BEST:: SOT 292358 SOS 194148 HAS SOPS 154663 HAS SOUS 115037 HAS SOUPS 110478 WITH SCORE 110672.148
AT ITER 654 NEW BEST:: SOT 292251 SOS 194041 HAS SOPS 154556 HAS SOUS 114930 HAS SOUPS 110371 WITH SCORE 110565.041
AT ITER 659 NEW BEST:: SOT 292201 SOS 193966 HAS SOPS 154456 HAS SOUS 114855 HAS SOUPS 110296 WITH SCORE 110489.966
AT ITER 666 NEW BEST:: SOT 292137 SOS 193701 HAS SOPS 154191 HAS SOUS 114834 HAS SOUPS 110275 WITH SCORE 110468.701
AT ITER 667 NEW BEST:: SOT 291592 SOS 193525 HAS SOPS 154166 HAS SOUS 114469 HAS SOUPS 109910 WITH SCORE 110103.525
AT ITER 669 NEW BEST:: SOT 291614 SOS 192611 HAS SOPS 153303 HAS SOUS 114384 HAS SOUPS 109825 WITH SCORE 110017.611
AT ITER 670 NEW BEST:: SOT 291442 SOS 192439 HAS SOPS 153045 HAS SOUS 114126 HAS SOUPS 109567 WITH SCORE 109759.439
AT ITER 673 NEW BEST:: SOT 291421 SOS 192523 HAS SOPS 153134 HAS SOUS 113954 HAS SOUPS 109395 WITH SCORE 109587.523
AT ITER 676 NEW BEST:: SOT 291232 SOS 192490 HAS SOPS 152904 HAS SOUS 113786 HAS SOUPS 109118 WITH SCORE 109310.49
AT ITER 680 NEW BEST:: SOT 291158 SOS 192416 HAS SOPS 152793 HAS SOUS 113661 HAS SOUPS 108982 WITH SCORE 109174.416
AT ITER 682 NEW BEST:: SOT 291158 SOS 192347 HAS SOPS 152724 HAS SOUS 113661 HAS SOUPS 108982 WITH SCORE 109174.347
AT ITER 686 NEW BEST:: SOT 291108 SOS 192420 HAS SOPS 152638 HAS SOUS 113560 HAS SOUPS 108881 WITH SCORE 109073.42
AT ITER 691 NEW BEST:: SOT 291108 SOS 192365 HAS SOPS 152524 HAS SOUS 113560 HAS SOUPS 108881 WITH SCORE 109073.365
AT ITER 694 NEW BEST:: SOT 291094 SOS 192430 HAS SOPS 152589 HAS SOUS 113464 HAS SOUPS 108785 WITH SCORE 108977.43
AT ITER 696 NEW BEST:: SOT 290901 SOS 192237 HAS SOPS 152396 HAS SOUS 113358 HAS SOUPS 108679 WITH SCORE 108871.237
AT ITER 697 NEW BEST:: SOT 290725 SOS 192346 HAS SOPS 152217 HAS SOUS 113321 HAS SOUPS 108527 WITH SCORE 108719.346
AT ITER 698 NEW BEST:: SOT 290581 SOS 192207 HAS SOPS 151913 HAS SOUS 113117 HAS SOUPS 108323 WITH SCORE 108515.207
AT ITER 699 NEW BEST:: SOT 290052 SOS 191627 HAS SOPS 151553 HAS SOUS 112629 HAS SOUPS 107855 WITH SCORE 108046.627
AT ITER 703 NEW BEST:: SOT 289900 SOS 191753 HAS SOPS 151637 HAS SOUS 112595 HAS SOUPS 107821 WITH SCORE 108012.753
AT ITER 705 NEW BEST:: SOT 289876 SOS 191729 HAS SOPS 151601 HAS SOUS 112558 HAS SOUPS 107784 WITH SCORE 107975.729
AT ITER 706 NEW BEST:: SOT 288948 SOS 190801 HAS SOPS 150881 HAS SOUS 111817 HAS SOUPS 107043 WITH SCORE 107233.801
AT ITER 713 NEW BEST:: SOT 287092 SOS 190037 HAS SOPS 149232 HAS SOUS 110375 HAS SOUPS 105532 WITH SCORE 105722.037
AT ITER 716 NEW BEST:: SOT 286858 SOS 189803 HAS SOPS 149040 HAS SOUS 110205 HAS SOUPS 105362 WITH SCORE 105551.803
AT ITER 721 NEW BEST:: SOT 286446 SOS 189391 HAS SOPS 148727 HAS SOUS 109893 HAS SOUPS 105050 WITH SCORE 105239.391
AT ITER 725 NEW BEST:: SOT 285807 SOS 189002 HAS SOPS 148354 HAS SOUS 109684 HAS SOUPS 104841 WITH SCORE 105030.002
AT ITER 726 NEW BEST:: SOT 285695 SOS 188890 HAS SOPS 148242 HAS SOUS 109626 HAS SOUPS 104783 WITH SCORE 104971.89
AT ITER 733 NEW BEST:: SOT 285257 SOS 188475 HAS SOPS 147217 HAS SOUS 108946 HAS SOUPS 104071 WITH SCORE 104259.475
AT ITER 746 NEW BEST:: SOT 285185 SOS 189044 HAS SOPS 147786 HAS SOUS 108930 HAS SOUPS 104055 WITH SCORE 104244.044
AT ITER 748 NEW BEST:: SOT 285185 SOS 189044 HAS SOPS 147702 HAS SOUS 108867 HAS SOUPS 103992 WITH SCORE 104181.044
AT ITER 750 NEW BEST:: SOT 284826 SOS 187522 HAS SOPS 146180 HAS SOUS 108211 HAS SOUPS 103336 WITH SCORE 103523.522
AT ITER 751 NEW BEST:: SOT 284388 SOS 186671 HAS SOPS 145329 HAS SOUS 107372 HAS SOUPS 102497 WITH SCORE 102683.671
AT ITER 757 NEW BEST:: SOT 283936 SOS 186219 HAS SOPS 145043 HAS SOUS 107057 HAS SOUPS 102182 WITH SCORE 102368.219
AT ITER 762 NEW BEST:: SOT 283864 SOS 186147 HAS SOPS 144989 HAS SOUS 107005 HAS SOUPS 102130 WITH SCORE 102316.147
AT ITER 765 NEW BEST:: SOT 283796 SOS 186079 HAS SOPS 144887 HAS SOUS 106903 HAS SOUPS 102028 WITH SCORE 102214.079
AT ITER 767 NEW BEST:: SOT 283740 SOS 186031 HAS SOPS 144952 HAS SOUS 106791 HAS SOUPS 101916 WITH SCORE 102102.031
AT ITER 768 NEW BEST:: SOT 283740 SOS 186031 HAS SOPS 144952 HAS SOUS 106789 HAS SOUPS 101914 WITH SCORE 102100.031
AT ITER 770 NEW BEST:: SOT 283716 SOS 186007 HAS SOPS 144895 HAS SOUS 106680 HAS SOUPS 101805 WITH SCORE 101991.007
AT ITER 777 NEW BEST:: SOT 283605 SOS 185896 HAS SOPS 144895 HAS SOUS 106651 HAS SOUPS 101776 WITH SCORE 101961.896
AT ITER 778 NEW BEST:: SOT 283605 SOS 184917 HAS SOPS 144028 HAS SOUS 106461 HAS SOUPS 101698 WITH SCORE 101882.917
AT ITER 779 NEW BEST:: SOT 283541 SOS 184573 HAS SOPS 143608 HAS SOUS 106090 HAS SOUPS 101327 WITH SCORE 101511.573
AT ITER 780 NEW BEST:: SOT 283541 SOS 184526 HAS SOPS 143405 HAS SOUS 106090 HAS SOUPS 101327 WITH SCORE 101511.526
AT ITER 790 NEW BEST:: SOT 283153 SOS 184138 HAS SOPS 142951 HAS SOUS 105788 HAS SOUPS 101025 WITH SCORE 101209.138
AT ITER 791 NEW BEST:: SOT 283139 SOS 184096 HAS SOPS 142909 HAS SOUS 105760 HAS SOUPS 100997 WITH SCORE 101181.096
AT ITER 792 NEW BEST:: SOT 283009 SOS 184290 HAS SOPS 143181 HAS SOUS 105612 HAS SOUPS 100849 WITH SCORE 101033.29
AT ITER 795 NEW BEST:: SOT 282992 SOS 184256 HAS SOPS 143147 HAS SOUS 105595 HAS SOUPS 100832 WITH SCORE 101016.256
AT ITER 796 NEW BEST:: SOT 282958 SOS 184108 HAS SOPS 143039 HAS SOUS 105544 HAS SOUPS 100781 WITH SCORE 100965.108
AT ITER 798 NEW BEST:: SOT 282892 SOS 184042 HAS SOPS 142988 HAS SOUS 105481 HAS SOUPS 100718 WITH SCORE 100902.042
AT ITER 807 NEW BEST:: SOT 282746 SOS 183894 HAS SOPS 142825 HAS SOUS 105216 HAS SOUPS 100453 WITH SCORE 100636.894
AT ITER 808 NEW BEST:: SOT 282746 SOS 183656 HAS SOPS 142706 HAS SOUS 105216 HAS SOUPS 100453 WITH SCORE 100636.656
AT ITER 809 NEW BEST:: SOT 282600 SOS 183516 HAS SOPS 142533 HAS SOUS 105016 HAS SOUPS 100253 WITH SCORE 100436.516
AT ITER 816 NEW BEST:: SOT 282539 SOS 183527 HAS SOPS 142520 HAS SOUS 104930 HAS SOUPS 100167 WITH SCORE 100350.527
AT ITER 819 NEW BEST:: SOT 282240 SOS 182870 HAS SOPS 141894 HAS SOUS 104579 HAS SOUPS 99816 WITH SCORE 99998.87
AT ITER 820 NEW BEST:: SOT 282230 SOS 182850 HAS SOPS 141864 HAS SOUS 104569 HAS SOUPS 99806 WITH SCORE 99988.85
AT ITER 825 NEW BEST:: SOT 282228 SOS 182847 HAS SOPS 141860 HAS SOUS 104565 HAS SOUPS 99802 WITH SCORE 99984.847
AT ITER 836 NEW BEST:: SOT 282072 SOS 182691 HAS SOPS 141878 HAS SOUS 104514 HAS SOUPS 99751 WITH SCORE 99933.691
AT ITER 838 NEW BEST:: SOT 282052 SOS 182634 HAS SOPS 141903 HAS SOUS 104480 HAS SOUPS 99717 WITH SCORE 99899.634
AT ITER 839 NEW BEST:: SOT 281970 SOS 182576 HAS SOPS 141825 HAS SOUS 104410 HAS SOUPS 99645 WITH SCORE 99827.576
AT ITER 844 NEW BEST:: SOT 281922 SOS 182528 HAS SOPS 141777 HAS SOUS 104362 HAS SOUPS 99597 WITH SCORE 99779.528
AT ITER 848 NEW BEST:: SOT 281792 SOS 182382 HAS SOPS 141615 HAS SOUS 104229 HAS SOUPS 99464 WITH SCORE 99646.382
AT ITER 852 NEW BEST:: SOT 281938 SOS 182263 HAS SOPS 141493 HAS SOUS 104107 HAS SOUPS 99342 WITH SCORE 99524.263
AT ITER 853 NEW BEST:: SOT 281894 SOS 182207 HAS SOPS 141478 HAS SOUS 104092 HAS SOUPS 99327 WITH SCORE 99509.207
AT ITER 854 NEW BEST:: SOT 281881 SOS 182194 HAS SOPS 141465 HAS SOUS 104077 HAS SOUPS 99312 WITH SCORE 99494.194
AT ITER 885 NEW BEST:: SOT 281464 SOS 183875 HAS SOPS 141727 HAS SOUS 103964 HAS SOUPS 99161 WITH SCORE 99344.875
AT ITER 901 NEW BEST:: SOT 276806 SOS 183312 HAS SOPS 138197 HAS SOUS 100607 HAS SOUPS 95621 WITH SCORE 95804.312
AT ITER 904 NEW BEST:: SOT 274615 SOS 181856 HAS SOPS 136285 HAS SOUS 98732 HAS SOUPS 93701 WITH SCORE 93882.856
AT ITER 908 NEW BEST:: SOT 274658 SOS 181899 HAS SOPS 136282 HAS SOUS 98628 HAS SOUPS 93597 WITH SCORE 93778.899
AT ITER 912 NEW BEST:: SOT 274472 SOS 181576 HAS SOPS 135866 HAS SOUS 98349 HAS SOUPS 93318 WITH SCORE 93499.576
AT ITER 917 NEW BEST:: SOT 274336 SOS 181440 HAS SOPS 135662 HAS SOUS 98145 HAS SOUPS 93114 WITH SCORE 93295.44
AT ITER 918 NEW BEST:: SOT 274290 SOS 181368 HAS SOPS 135733 HAS SOUS 97878 HAS SOUPS 92847 WITH SCORE 93028.368
AT ITER 925 NEW BEST:: SOT 274292 SOS 181365 HAS SOPS 135709 HAS SOUS 97875 HAS SOUPS 92844 WITH SCORE 93025.365
AT ITER 929 NEW BEST:: SOT 274292 SOS 181365 HAS SOPS 135709 HAS SOUS 97869 HAS SOUPS 92838 WITH SCORE 93019.365
AT ITER 932 NEW BEST:: SOT 274709 SOS 181174 HAS SOPS 134837 HAS SOUS 97840 HAS SOUPS 92809 WITH SCORE 92990.174
AT ITER 933 NEW BEST:: SOT 274709 SOS 181162 HAS SOPS 134825 HAS SOUS 97840 HAS SOUPS 92809 WITH SCORE 92990.162
AT ITER 945 NEW BEST:: SOT 274689 SOS 181051 HAS SOPS 134783 HAS SOUS 97800 HAS SOUPS 92769 WITH SCORE 92950.051
AT ITER 946 NEW BEST:: SOT 274616 SOS 180920 HAS SOPS 134676 HAS SOUS 97693 HAS SOUPS 92662 WITH SCORE 92842.92
AT ITER 950 NEW BEST:: SOT 273963 SOS 180118 HAS SOPS 134003 HAS SOUS 97045 HAS SOUPS 92014 WITH SCORE 92194.118
AT ITER 957 NEW BEST:: SOT 273963 SOS 180098 HAS SOPS 134003 HAS SOUS 97045 HAS SOUPS 92014 WITH SCORE 92194.098
AT ITER 959 NEW BEST:: SOT 273927 SOS 180062 HAS SOPS 133949 HAS SOUS 97009 HAS SOUPS 91978 WITH SCORE 92158.062
AT ITER 961 NEW BEST:: SOT 273833 SOS 180044 HAS SOPS 134007 HAS SOUS 96589 HAS SOUPS 91558 WITH SCORE 91738.044
AT ITER 969 NEW BEST:: SOT 273833 SOS 179957 HAS SOPS 133960 HAS SOUS 96589 HAS SOUPS 91558 WITH SCORE 91737.957
AT ITER 972 NEW BEST:: SOT 273743 SOS 179832 HAS SOPS 133607 HAS SOUS 96433 HAS SOUPS 91402 WITH SCORE 91581.832
AT ITER 977 NEW BEST:: SOT 273743 SOS 179832 HAS SOPS 133607 HAS SOUS 96422 HAS SOUPS 91391 WITH SCORE 91570.832
AT ITER 978 NEW BEST:: SOT 273741 SOS 179826 HAS SOPS 133601 HAS SOUS 96414 HAS SOUPS 91383 WITH SCORE 91562.826
AT ITER 979 NEW BEST:: SOT 273671 SOS 179763 HAS SOPS 133311 HAS SOUS 96252 HAS SOUPS 91221 WITH SCORE 91400.763
AT ITER 984 NEW BEST:: SOT 273619 SOS 179140 HAS SOPS 132027 HAS SOUS 95844 HAS SOUPS 90813 WITH SCORE 90992.14
AT ITER 987 NEW BEST:: SOT 273620 SOS 179139 HAS SOPS 132024 HAS SOUS 95844 HAS SOUPS 90813 WITH SCORE 90992.139
AT ITER 988 NEW BEST:: SOT 273601 SOS 179120 HAS SOPS 131902 HAS SOUS 95769 HAS SOUPS 90738 WITH SCORE 90917.12
AT ITER 989 NEW BEST:: SOT 273217 SOS 178736 HAS SOPS 131714 HAS SOUS 95665 HAS SOUPS 90634 WITH SCORE 90812.736
AT ITER 991 NEW BEST:: SOT 273190 SOS 178682 HAS SOPS 131660 HAS SOUS 95612 HAS SOUPS 90581 WITH SCORE 90759.682
AT ITER 993 NEW BEST:: SOT 273174 SOS 178631 HAS SOPS 131609 HAS SOUS 95580 HAS SOUPS 90549 WITH SCORE 90727.631
AT ITER 995 NEW BEST:: SOT 272958 SOS 178415 HAS SOPS 131379 HAS SOUS 95526 HAS SOUPS 90495 WITH SCORE 90673.415
AT ITER 998 NEW BEST:: SOT 272922 SOS 178379 HAS SOPS 131325 HAS SOUS 95473 HAS SOUPS 90442 WITH SCORE 90620.379
AT ITER 1001 NEW BEST:: SOT 272922 SOS 177537 HAS SOPS 130583 HAS SOUS 95373 HAS SOUPS 90442 WITH SCORE 90619.537
AT ITER 1002 NEW BEST:: SOT 272844 SOS 177403 HAS SOPS 130349 HAS SOUS 95139 HAS SOUPS 90208 WITH SCORE 90385.403
AT ITER 1005 NEW BEST:: SOT 272844 SOS 177339 HAS SOPS 130290 HAS SOUS 95139 HAS SOUPS 90208 WITH SCORE 90385.339
AT ITER 1018 NEW BEST:: SOT 272844 SOS 177339 HAS SOPS 130290 HAS SOUS 95078 HAS SOUPS 90147 WITH SCORE 90324.339
AT ITER 1019 NEW BEST:: SOT 272839 SOS 177396 HAS SOPS 130342 HAS SOUS 95063 HAS SOUPS 90132 WITH SCORE 90309.396
AT ITER 1021 NEW BEST:: SOT 272937 SOS 177494 HAS SOPS 130313 HAS SOUS 95030 HAS SOUPS 90099 WITH SCORE 90276.494
AT ITER 1024 NEW BEST:: SOT 272835 SOS 177404 HAS SOPS 130094 HAS SOUS 94826 HAS SOUPS 89895 WITH SCORE 90072.404
AT ITER 1026 NEW BEST:: SOT 272351 SOS 177601 HAS SOPS 129676 HAS SOUS 94474 HAS SOUPS 89521 WITH SCORE 89698.601
AT ITER 1027 NEW BEST:: SOT 272290 SOS 177461 HAS SOPS 129579 HAS SOUS 94385 HAS SOUPS 89432 WITH SCORE 89609.461
AT ITER 1034 NEW BEST:: SOT 272272 SOS 177443 HAS SOPS 129543 HAS SOUS 94358 HAS SOUPS 89405 WITH SCORE 89582.443
AT ITER 1044 NEW BEST:: SOT 272272 SOS 177429 HAS SOPS 129555 HAS SOUS 94358 HAS SOUPS 89405 WITH SCORE 89582.429
AT ITER 1048 NEW BEST:: SOT 272550 SOS 176118 HAS SOPS 128375 HAS SOUS 94116 HAS SOUPS 89225 WITH SCORE 89401.118
AT ITER 1052 NEW BEST:: SOT 272458 SOS 176026 HAS SOPS 128421 HAS SOUS 94116 HAS SOUPS 89225 WITH SCORE 89401.026
AT ITER 1053 NEW BEST:: SOT 272458 SOS 176171 HAS SOPS 128276 HAS SOUS 94067 HAS SOUPS 89176 WITH SCORE 89352.171
AT ITER 1055 NEW BEST:: SOT 272280 SOS 175993 HAS SOPS 128009 HAS SOUS 93812 HAS SOUPS 88921 WITH SCORE 89096.993
AT ITER 1059 NEW BEST:: SOT 272056 SOS 177582 HAS SOPS 128557 HAS SOUS 93811 HAS SOUPS 88889 WITH SCORE 89066.582
AT ITER 1070 NEW BEST:: SOT 271920 SOS 177308 HAS SOPS 128376 HAS SOUS 93607 HAS SOUPS 88685 WITH SCORE 88862.308
AT ITER 1072 NEW BEST:: SOT 271796 SOS 177261 HAS SOPS 128271 HAS SOUS 93521 HAS SOUPS 88582 WITH SCORE 88759.261
AT ITER 1077 NEW BEST:: SOT 271796 SOS 177149 HAS SOPS 128254 HAS SOUS 93521 HAS SOUPS 88582 WITH SCORE 88759.149
AT ITER 1083 NEW BEST:: SOT 271764 SOS 177045 HAS SOPS 128206 HAS SOUS 93473 HAS SOUPS 88534 WITH SCORE 88711.045
AT ITER 1086 NEW BEST:: SOT 271712 SOS 176993 HAS SOPS 128128 HAS SOUS 93394 HAS SOUPS 88455 WITH SCORE 88631.993
AT ITER 1091 NEW BEST:: SOT 265336 SOS 183782 HAS SOPS 126714 HAS SOUS 89639 HAS SOUPS 84384 WITH SCORE 84567.782
AT ITER 1092 NEW BEST:: SOT 265294 SOS 183724 HAS SOPS 126656 HAS SOUS 89586 HAS SOUPS 84331 WITH SCORE 84514.724
AT ITER 1093 NEW BEST:: SOT 264970 SOS 183400 HAS SOPS 126170 HAS SOUS 89088 HAS SOUPS 83833 WITH SCORE 84016.4
AT ITER 1101 NEW BEST:: SOT 264523 SOS 184898 HAS SOPS 125828 HAS SOUS 88956 HAS SOUPS 83659 WITH SCORE 83843.898
AT ITER 1102 NEW BEST:: SOT 264594 SOS 184972 HAS SOPS 125847 HAS SOUS 88942 HAS SOUPS 83645 WITH SCORE 83829.972
AT ITER 1103 NEW BEST:: SOT 262323 SOS 189086 HAS SOPS 126297 HAS SOUS 87533 HAS SOUPS 82053 WITH SCORE 82242.086
AT ITER 1111 NEW BEST:: SOT 262211 SOS 189039 HAS SOPS 126129 HAS SOUS 87237 HAS SOUPS 81757 WITH SCORE 81946.039
AT ITER 1112 NEW BEST:: SOT 262162 SOS 188619 HAS SOPS 125612 HAS SOUS 87224 HAS SOUPS 81647 WITH SCORE 81835.619
AT ITER 1114 NEW BEST:: SOT 261948 SOS 188355 HAS SOPS 125228 HAS SOUS 86675 HAS SOUPS 81098 WITH SCORE 81286.355
AT ITER 1116 NEW BEST:: SOT 261862 SOS 188269 HAS SOPS 125099 HAS SOUS 86534 HAS SOUPS 80957 WITH SCORE 81145.269
AT ITER 1117 NEW BEST:: SOT 261237 SOS 187751 HAS SOPS 125082 HAS SOUS 85848 HAS SOUPS 80271 WITH SCORE 80458.751
AT ITER 1118 NEW BEST:: SOT 261219 SOS 187733 HAS SOPS 125015 HAS SOUS 85839 HAS SOUPS 80262 WITH SCORE 80449.733
AT ITER 1130 NEW BEST:: SOT 260757 SOS 187271 HAS SOPS 124553 HAS SOUS 85377 HAS SOUPS 79800 WITH SCORE 79987.271
AT ITER 1135 NEW BEST:: SOT 260757 SOS 187271 HAS SOPS 124553 HAS SOUS 85327 HAS SOUPS 79750 WITH SCORE 79937.271
AT ITER 1136 NEW BEST:: SOT 260757 SOS 187271 HAS SOPS 124553 HAS SOUS 85312 HAS SOUPS 79735 WITH SCORE 79922.271
AT ITER 1137 NEW BEST:: SOT 260647 SOS 187161 HAS SOPS 124457 HAS SOUS 85216 HAS SOUPS 79639 WITH SCORE 79826.161
AT ITER 1145 NEW BEST:: SOT 260571 SOS 187085 HAS SOPS 124007 HAS SOUS 84808 HAS SOUPS 79231 WITH SCORE 79418.085
AT ITER 1146 NEW BEST:: SOT 260542 SOS 187031 HAS SOPS 123924 HAS SOUS 84777 HAS SOUPS 79200 WITH SCORE 79387.031
AT ITER 1147 NEW BEST:: SOT 259786 SOS 186275 HAS SOPS 123340 HAS SOUS 84287 HAS SOUPS 78714 WITH SCORE 78900.275
AT ITER 1148 NEW BEST:: SOT 259654 SOS 186143 HAS SOPS 123142 HAS SOUS 84106 HAS SOUPS 78533 WITH SCORE 78719.143
AT ITER 1152 NEW BEST:: SOT 259454 SOS 185799 HAS SOPS 123161 HAS SOUS 83898 HAS SOUPS 78325 WITH SCORE 78510.799
AT ITER 1167 NEW BEST:: SOT 259454 SOS 185799 HAS SOPS 123157 HAS SOUS 83895 HAS SOUPS 78322 WITH SCORE 78507.799
AT ITER 1169 NEW BEST:: SOT 259426 SOS 185791 HAS SOPS 123121 HAS SOUS 83823 HAS SOUPS 78250 WITH SCORE 78435.791
AT ITER 1170 NEW BEST:: SOT 259312 SOS 186558 HAS SOPS 123243 HAS SOUS 83820 HAS SOUPS 78232 WITH SCORE 78418.558
AT ITER 1172 NEW BEST:: SOT 259302 SOS 186548 HAS SOPS 123225 HAS SOUS 83706 HAS SOUPS 78118 WITH SCORE 78304.548
AT ITER 1175 NEW BEST:: SOT 259302 SOS 186548 HAS SOPS 123225 HAS SOUS 83705 HAS SOUPS 78117 WITH SCORE 78303.548
AT ITER 1176 NEW BEST:: SOT 259042 SOS 186288 HAS SOPS 123062 HAS SOUS 83542 HAS SOUPS 77954 WITH SCORE 78140.288
AT ITER 1179 NEW BEST:: SOT 258900 SOS 186146 HAS SOPS 122849 HAS SOUS 83328 HAS SOUPS 77740 WITH SCORE 77926.146
AT ITER 1180 NEW BEST:: SOT 257971 SOS 185217 HAS SOPS 122289 HAS SOUS 82689 HAS SOUPS 77101 WITH SCORE 77286.217
AT ITER 1181 NEW BEST:: SOT 257779 SOS 185025 HAS SOPS 122385 HAS SOUS 82689 HAS SOUPS 77101 WITH SCORE 77286.025
AT ITER 1186 NEW BEST:: SOT 257427 SOS 184673 HAS SOPS 121857 HAS SOUS 82184 HAS SOUPS 76596 WITH SCORE 76780.673
AT ITER 1189 NEW BEST:: SOT 257079 SOS 184325 HAS SOPS 121161 HAS SOUS 81671 HAS SOUPS 76074 WITH SCORE 76258.325
AT ITER 1199 NEW BEST:: SOT 257003 SOS 184249 HAS SOPS 121123 HAS SOUS 81614 HAS SOUPS 76017 WITH SCORE 76201.249
AT ITER 1214 NEW BEST:: SOT 256998 SOS 184239 HAS SOPS 121108 HAS SOUS 81609 HAS SOUPS 76012 WITH SCORE 76196.239
AT ITER 1215 NEW BEST:: SOT 256962 SOS 184203 HAS SOPS 121054 HAS SOUS 81573 HAS SOUPS 75976 WITH SCORE 76160.203
AT ITER 1216 NEW BEST:: SOT 256946 SOS 184187 HAS SOPS 121030 HAS SOUS 81549 HAS SOUPS 75952 WITH SCORE 76136.187
AT ITER 1217 NEW BEST:: SOT 256820 SOS 184061 HAS SOPS 120904 HAS SOUS 81423 HAS SOUPS 75826 WITH SCORE 76010.061
AT ITER 1219 NEW BEST:: SOT 255779 SOS 183020 HAS SOPS 119822 HAS SOUS 80495 HAS SOUPS 74898 WITH SCORE 75081.02
AT ITER 1222 NEW BEST:: SOT 255703 SOS 182944 HAS SOPS 119784 HAS SOUS 80455 HAS SOUPS 74860 WITH SCORE 75042.944
AT ITER 1227 NEW BEST:: SOT 255673 SOS 182886 HAS SOPS 119779 HAS SOUS 80425 HAS SOUPS 74830 WITH SCORE 75012.886
AT ITER 1228 NEW BEST:: SOT 255673 SOS 182886 HAS SOPS 119779 HAS SOUS 80405 HAS SOUPS 74810 WITH SCORE 74992.886
AT ITER 1231 NEW BEST:: SOT 255319 SOS 182532 HAS SOPS 119307 HAS SOUS 79991 HAS SOUPS 74396 WITH SCORE 74578.532
AT ITER 1240 NEW BEST:: SOT 254815 SOS 182028 HAS SOPS 119091 HAS SOUS 79640 HAS SOUPS 74045 WITH SCORE 74227.028
AT ITER 1251 NEW BEST:: SOT 254871 SOS 182084 HAS SOPS 118799 HAS SOUS 79421 HAS SOUPS 73826 WITH SCORE 74008.084
AT ITER 1258 NEW BEST:: SOT 254595 SOS 181921 HAS SOPS 118937 HAS SOUS 79415 HAS SOUPS 73820 WITH SCORE 74001.921
AT ITER 1263 NEW BEST:: SOT 254512 SOS 182122 HAS SOPS 118981 HAS SOUS 79408 HAS SOUPS 73723 WITH SCORE 73905.122
AT ITER 1267 NEW BEST:: SOT 254497 SOS 181807 HAS SOPS 118836 HAS SOUS 79159 HAS SOUPS 73644 WITH SCORE 73825.807
AT ITER 1275 NEW BEST:: SOT 254117 SOS 181427 HAS SOPS 118436 HAS SOUS 78759 HAS SOUPS 73244 WITH SCORE 73425.427
AT ITER 1281 NEW BEST:: SOT 254076 SOS 181386 HAS SOPS 118380 HAS SOUS 78691 HAS SOUPS 73176 WITH SCORE 73357.386
AT ITER 1283 NEW BEST:: SOT 253832 SOS 181161 HAS SOPS 118525 HAS SOUS 78580 HAS SOUPS 73065 WITH SCORE 73246.161
AT ITER 1297 NEW BEST:: SOT 253804 SOS 181062 HAS SOPS 118483 HAS SOUS 78538 HAS SOUPS 73023 WITH SCORE 73204.062
AT ITER 1303 NEW BEST:: SOT 253784 SOS 181053 HAS SOPS 118464 HAS SOUS 78508 HAS SOUPS 72993 WITH SCORE 73174.053
AT ITER 1306 NEW BEST:: SOT 253586 SOS 180855 HAS SOPS 118068 HAS SOUS 78083 HAS SOUPS 72568 WITH SCORE 72748.855
AT ITER 1315 NEW BEST:: SOT 253548 SOS 180859 HAS SOPS 118041 HAS SOUS 78014 HAS SOUPS 72499 WITH SCORE 72679.859
AT ITER 1316 NEW BEST:: SOT 253350 SOS 180740 HAS SOPS 117736 HAS SOUS 77611 HAS SOUPS 72096 WITH SCORE 72276.74
AT ITER 1331 NEW BEST:: SOT 253329 SOS 180730 HAS SOPS 117662 HAS SOUS 77548 HAS SOUPS 72033 WITH SCORE 72213.73
AT ITER 1337 NEW BEST:: SOT 251990 SOS 179999 HAS SOPS 116602 HAS SOUS 76554 HAS SOUPS 70991 WITH SCORE 71170.999
AT ITER 1341 NEW BEST:: SOT 251990 SOS 179955 HAS SOPS 116601 HAS SOUS 76554 HAS SOUPS 70991 WITH SCORE 71170.955
AT ITER 1343 NEW BEST:: SOT 251705 SOS 179670 HAS SOPS 116482 HAS SOUS 76415 HAS SOUPS 70852 WITH SCORE 71031.67
AT ITER 1346 NEW BEST:: SOT 251685 SOS 179672 HAS SOPS 116464 HAS SOUS 76355 HAS SOUPS 70792 WITH SCORE 70971.672
AT ITER 1347 NEW BEST:: SOT 251717 SOS 179704 HAS SOPS 116512 HAS SOUS 76295 HAS SOUPS 70732 WITH SCORE 70911.704
AT ITER 1361 NEW BEST:: SOT 251717 SOS 179300 HAS SOPS 116149 HAS SOUS 76295 HAS SOUPS 70732 WITH SCORE 70911.3
AT ITER 1367 NEW BEST:: SOT 251660 SOS 179243 HAS SOPS 116054 HAS SOUS 76151 HAS SOUPS 70588 WITH SCORE 70767.243
AT ITER 1370 NEW BEST:: SOT 251682 SOS 179265 HAS SOPS 116087 HAS SOUS 76108 HAS SOUPS 70545 WITH SCORE 70724.265
AT ITER 1373 NEW BEST:: SOT 251634 SOS 179217 HAS SOPS 116015 HAS SOUS 76036 HAS SOUPS 70473 WITH SCORE 70652.217
AT ITER 1374 NEW BEST:: SOT 251604 SOS 179096 HAS SOPS 116013 HAS SOUS 75991 HAS SOUPS 70428 WITH SCORE 70607.096
AT ITER 1377 NEW BEST:: SOT 251514 SOS 179006 HAS SOPS 115878 HAS SOUS 75870 HAS SOUPS 70307 WITH SCORE 70486.006
AT ITER 1383 NEW BEST:: SOT 251500 SOS 178992 HAS SOPS 115885 HAS SOUS 75863 HAS SOUPS 70300 WITH SCORE 70478.992
AT ITER 1388 NEW BEST:: SOT 251421 SOS 178913 HAS SOPS 115766 HAS SOUS 75744 HAS SOUPS 70181 WITH SCORE 70359.913
AT ITER 1391 NEW BEST:: SOT 250755 SOS 178247 HAS SOPS 115007 HAS SOUS 74890 HAS SOUPS 69327 WITH SCORE 69505.247
AT ITER 1393 NEW BEST:: SOT 250743 SOS 178235 HAS SOPS 114998 HAS SOUS 74883 HAS SOUPS 69320 WITH SCORE 69498.235
AT ITER 1394 NEW BEST:: SOT 250635 SOS 178279 HAS SOPS 114926 HAS SOUS 74807 HAS SOUPS 69240 WITH SCORE 69418.279
AT ITER 1402 NEW BEST:: SOT 250601 SOS 178245 HAS SOPS 114875 HAS SOUS 74773 HAS SOUPS 69206 WITH SCORE 69384.245
AT ITER 1406 NEW BEST:: SOT 250614 SOS 178258 HAS SOPS 114793 HAS SOUS 74714 HAS SOUPS 69147 WITH SCORE 69325.258
AT ITER 1414 NEW BEST:: SOT 250466 SOS 178110 HAS SOPS 114793 HAS SOUS 74714 HAS SOUPS 69147 WITH SCORE 69325.11
AT ITER 1420 NEW BEST:: SOT 250367 SOS 178060 HAS SOPS 114716 HAS SOUS 74557 HAS SOUPS 68990 WITH SCORE 69168.06
AT ITER 1426 NEW BEST:: SOT 249983 SOS 177676 HAS SOPS 114140 HAS SOUS 74007 HAS SOUPS 68440 WITH SCORE 68617.676
AT ITER 1437 NEW BEST:: SOT 250119 SOS 177812 HAS SOPS 113960 HAS SOUS 73847 HAS SOUPS 68280 WITH SCORE 68457.812
AT ITER 1441 NEW BEST:: SOT 250079 SOS 177772 HAS SOPS 113900 HAS SOUS 73765 HAS SOUPS 68198 WITH SCORE 68375.772
AT ITER 1443 NEW BEST:: SOT 249878 SOS 177538 HAS SOPS 113895 HAS SOUS 73748 HAS SOUPS 68181 WITH SCORE 68358.538
AT ITER 1468 NEW BEST:: SOT 249872 SOS 177506 HAS SOPS 113877 HAS SOUS 73742 HAS SOUPS 68175 WITH SCORE 68352.506
AT ITER 1473 NEW BEST:: SOT 249767 SOS 177401 HAS SOPS 113898 HAS SOUS 73719 HAS SOUPS 68152 WITH SCORE 68329.401
AT ITER 1483 NEW BEST:: SOT 249670 SOS 178144 HAS SOPS 114808 HAS SOUS 73430 HAS SOUPS 68030 WITH SCORE 68208.144
AT ITER 1492 NEW BEST:: SOT 249389 SOS 177796 HAS SOPS 114611 HAS SOUS 73291 HAS SOUPS 67891 WITH SCORE 68068.796
AT ITER 1493 NEW BEST:: SOT 249254 SOS 177665 HAS SOPS 114435 HAS SOUS 73295 HAS SOUPS 67891 WITH SCORE 68068.665
AT ITER 1496 NEW BEST:: SOT 249345 SOS 177756 HAS SOPS 114198 HAS SOUS 73199 HAS SOUPS 67745 WITH SCORE 67922.756
AT ITER 1498 NEW BEST:: SOT 249337 SOS 177748 HAS SOPS 114190 HAS SOUS 73199 HAS SOUPS 67745 WITH SCORE 67922.748
AT ITER 1499 NEW BEST:: SOT 249329 SOS 177732 HAS SOPS 114166 HAS SOUS 73191 HAS SOUPS 67737 WITH SCORE 67914.732
AT ITER 1525 NEW BEST:: SOT 249329 SOS 177727 HAS SOPS 114171 HAS SOUS 73191 HAS SOUPS 67737 WITH SCORE 67914.727
AT ITER 1526 NEW BEST:: SOT 249257 SOS 177655 HAS SOPS 114063 HAS SOUS 73015 HAS SOUPS 67561 WITH SCORE 67738.655
AT ITER 1540 NEW BEST:: SOT 249042 SOS 177440 HAS SOPS 113891 HAS SOUS 72886 HAS SOUPS 67432 WITH SCORE 67609.44
AT ITER 1542 NEW BEST:: SOT 248549 SOS 177035 HAS SOPS 113382 HAS SOUS 72829 HAS SOUPS 67375 WITH SCORE 67552.035
AT ITER 1545 NEW BEST:: SOT 248697 SOS 177183 HAS SOPS 113294 HAS SOUS 72763 HAS SOUPS 67270 WITH SCORE 67447.183
AT ITER 1549 NEW BEST:: SOT 248644 SOS 177290 HAS SOPS 113379 HAS SOUS 72732 HAS SOUPS 67239 WITH SCORE 67416.29
AT ITER 1553 NEW BEST:: SOT 248606 SOS 177252 HAS SOPS 113322 HAS SOUS 72686 HAS SOUPS 67193 WITH SCORE 67370.252
AT ITER 1567 NEW BEST:: SOT 248606 SOS 177216 HAS SOPS 113304 HAS SOUS 72686 HAS SOUPS 67193 WITH SCORE 67370.216
AT ITER 1574 NEW BEST:: SOT 248516 SOS 177167 HAS SOPS 113169 HAS SOUS 72551 HAS SOUPS 67058 WITH SCORE 67235.167
AT ITER 1580 NEW BEST:: SOT 248397 SOS 177048 HAS SOPS 112658 HAS SOUS 72175 HAS SOUPS 66682 WITH SCORE 66859.048
AT ITER 1585 NEW BEST:: SOT 248393 SOS 177044 HAS SOPS 112658 HAS SOUS 72175 HAS SOUPS 66682 WITH SCORE 66859.044
AT ITER 1596 NEW BEST:: SOT 248351 SOS 177033 HAS SOPS 112698 HAS SOUS 72145 HAS SOUPS 66652 WITH SCORE 66829.033
AT ITER 1600 NEW BEST:: SOT 248351 SOS 176995 HAS SOPS 112698 HAS SOUS 72145 HAS SOUPS 66652 WITH SCORE 66828.995
AT ITER 1608 NEW BEST:: SOT 248326 SOS 176970 HAS SOPS 112673 HAS SOUS 71980 HAS SOUPS 66487 WITH SCORE 66663.97
AT ITER 1611 NEW BEST:: SOT 248364 SOS 177008 HAS SOPS 112665 HAS SOUS 71968 HAS SOUPS 66475 WITH SCORE 66652.008
AT ITER 1618 NEW BEST:: SOT 248352 SOS 176944 HAS SOPS 112641 HAS SOUS 71953 HAS SOUPS 66460 WITH SCORE 66636.944
AT ITER 1620 NEW BEST:: SOT 248352 SOS 176927 HAS SOPS 112580 HAS SOUS 71953 HAS SOUPS 66460 WITH SCORE 66636.927
AT ITER 1625 NEW BEST:: SOT 248392 SOS 176767 HAS SOPS 112455 HAS SOUS 71889 HAS SOUPS 66396 WITH SCORE 66572.767
AT ITER 1631 NEW BEST:: SOT 248384 SOS 176759 HAS SOPS 112460 HAS SOUS 71877 HAS SOUPS 66384 WITH SCORE 66560.759
AT ITER 1634 NEW BEST:: SOT 248254 SOS 176629 HAS SOPS 112265 HAS SOUS 71682 HAS SOUPS 66189 WITH SCORE 66365.629
AT ITER 1643 NEW BEST:: SOT 248193 SOS 176568 HAS SOPS 112159 HAS SOUS 71618 HAS SOUPS 66125 WITH SCORE 66301.568
AT ITER 1645 NEW BEST:: SOT 248182 SOS 176636 HAS SOPS 112198 HAS SOUS 71613 HAS SOUPS 66120 WITH SCORE 66296.636
AT ITER 1659 NEW BEST:: SOT 248142 SOS 176596 HAS SOPS 112168 HAS SOUS 71593 HAS SOUPS 66100 WITH SCORE 66276.596
AT ITER 1661 NEW BEST:: SOT 248130 SOS 176320 HAS SOPS 111964 HAS SOUS 71575 HAS SOUPS 66082 WITH SCORE 66258.32
AT ITER 1662 NEW BEST:: SOT 248022 SOS 176064 HAS SOPS 111748 HAS SOUS 71377 HAS SOUPS 65884 WITH SCORE 66060.064
AT ITER 1664 NEW BEST:: SOT 247798 SOS 175843 HAS SOPS 111666 HAS SOUS 71306 HAS SOUPS 65813 WITH SCORE 65988.843
AT ITER 1667 NEW BEST:: SOT 247476 SOS 175714 HAS SOPS 110913 HAS SOUS 70700 HAS SOUPS 65207 WITH SCORE 65382.714
AT ITER 1673 NEW BEST:: SOT 247412 SOS 175650 HAS SOPS 110817 HAS SOUS 70604 HAS SOUPS 65111 WITH SCORE 65286.65
AT ITER 1699 NEW BEST:: SOT 247394 SOS 175617 HAS SOPS 110781 HAS SOUS 70568 HAS SOUPS 65075 WITH SCORE 65250.617
AT ITER 1703 NEW BEST:: SOT 247394 SOS 175617 HAS SOPS 110565 HAS SOUS 70406 HAS SOUPS 64913 WITH SCORE 65088.617
AT ITER 1705 NEW BEST:: SOT 247332 SOS 175555 HAS SOPS 110556 HAS SOUS 70379 HAS SOUPS 64886 WITH SCORE 65061.555
AT ITER 1724 NEW BEST:: SOT 247456 SOS 175679 HAS SOPS 110541 HAS SOUS 70328 HAS SOUPS 64835 WITH SCORE 65010.679
AT ITER 1727 NEW BEST:: SOT 247367 SOS 175602 HAS SOPS 110428 HAS SOUS 70319 HAS SOUPS 64790 WITH SCORE 64965.602
AT ITER 1735 NEW BEST:: SOT 247337 SOS 175591 HAS SOPS 110532 HAS SOUS 70274 HAS SOUPS 64745 WITH SCORE 64920.591
AT ITER 1737 NEW BEST:: SOT 247225 SOS 175479 HAS SOPS 110364 HAS SOUS 70106 HAS SOUPS 64577 WITH SCORE 64752.479
AT ITER 1747 NEW BEST:: SOT 247225 SOS 175065 HAS SOPS 109974 HAS SOUS 70106 HAS SOUPS 64577 WITH SCORE 64752.065
AT ITER 1749 NEW BEST:: SOT 247231 SOS 174873 HAS SOPS 109599 HAS SOUS 70090 HAS SOUPS 64561 WITH SCORE 64735.873
AT ITER 1768 NEW BEST:: SOT 247497 SOS 174954 HAS SOPS 109898 HAS SOUS 69869 HAS SOUPS 64505 WITH SCORE 64679.954
AT ITER 1769 NEW BEST:: SOT 246949 SOS 174389 HAS SOPS 109913 HAS SOUS 69574 HAS SOUPS 64210 WITH SCORE 64384.389
AT ITER 1773 NEW BEST:: SOT 246931 SOS 174371 HAS SOPS 109886 HAS SOUS 69545 HAS SOUPS 64181 WITH SCORE 64355.371
AT ITER 1774 NEW BEST:: SOT 246898 SOS 172929 HAS SOPS 108444 HAS SOUS 69456 HAS SOUPS 64092 WITH SCORE 64264.929
AT ITER 1785 NEW BEST:: SOT 246450 SOS 172962 HAS SOPS 108429 HAS SOUS 69068 HAS SOUPS 63704 WITH SCORE 63876.962
AT ITER 1793 NEW BEST:: SOT 246358 SOS 172927 HAS SOPS 108348 HAS SOUS 68930 HAS SOUPS 63566 WITH SCORE 63738.927
AT ITER 1794 NEW BEST:: SOT 246348 SOS 172917 HAS SOPS 108333 HAS SOUS 68910 HAS SOUPS 63546 WITH SCORE 63718.917
AT ITER 1797 NEW BEST:: SOT 246348 SOS 172917 HAS SOPS 108333 HAS SOUS 68890 HAS SOUPS 63526 WITH SCORE 63698.917
AT ITER 1812 NEW BEST:: SOT 246336 SOS 172937 HAS SOPS 108309 HAS SOUS 68866 HAS SOUPS 63502 WITH SCORE 63674.937
AT ITER 1814 NEW BEST:: SOT 246208 SOS 172750 HAS SOPS 108053 HAS SOUS 68674 HAS SOUPS 63310 WITH SCORE 63482.75
AT ITER 1819 NEW BEST:: SOT 246220 SOS 172762 HAS SOPS 108077 HAS SOUS 68649 HAS SOUPS 63285 WITH SCORE 63457.762
AT ITER 1829 NEW BEST:: SOT 246178 SOS 172720 HAS SOPS 107993 HAS SOUS 68592 HAS SOUPS 63201 WITH SCORE 63373.72
AT ITER 1830 NEW BEST:: SOT 245974 SOS 172516 HAS SOPS 107687 HAS SOUS 68338 HAS SOUPS 62947 WITH SCORE 63119.516
AT ITER 1833 NEW BEST:: SOT 245460 SOS 172002 HAS SOPS 107283 HAS SOUS 67862 HAS SOUPS 62471 WITH SCORE 62643.002
AT ITER 1838 NEW BEST:: SOT 245396 SOS 171938 HAS SOPS 107173 HAS SOUS 67706 HAS SOUPS 62315 WITH SCORE 62486.938
AT ITER 1842 NEW BEST:: SOT 245298 SOS 171840 HAS SOPS 107010 HAS SOUS 67559 HAS SOUPS 62168 WITH SCORE 62339.84
AT ITER 1843 NEW BEST:: SOT 245094 SOS 171636 HAS SOPS 107020 HAS SOUS 67546 HAS SOUPS 62155 WITH SCORE 62326.636
AT ITER 1863 NEW BEST:: SOT 245120 SOS 171374 HAS SOPS 106970 HAS SOUS 67541 HAS SOUPS 62155 WITH SCORE 62326.374
AT ITER 1869 NEW BEST:: SOT 245092 SOS 171346 HAS SOPS 106928 HAS SOUS 67491 HAS SOUPS 62105 WITH SCORE 62276.346
AT ITER 1872 NEW BEST:: SOT 245092 SOS 171319 HAS SOPS 106874 HAS SOUS 67491 HAS SOUPS 62105 WITH SCORE 62276.319
AT ITER 1874 NEW BEST:: SOT 245114 SOS 171341 HAS SOPS 106863 HAS SOUS 67483 HAS SOUPS 62097 WITH SCORE 62268.341
AT ITER 1884 NEW BEST:: SOT 245066 SOS 171293 HAS SOPS 106818 HAS SOUS 67374 HAS SOUPS 61988 WITH SCORE 62159.293
AT ITER 1888 NEW BEST:: SOT 245066 SOS 171267 HAS SOPS 106792 HAS SOUS 67374 HAS SOUPS 61988 WITH SCORE 62159.267
AT ITER 1894 NEW BEST:: SOT 245066 SOS 171263 HAS SOPS 106788 HAS SOUS 67374 HAS SOUPS 61988 WITH SCORE 62159.263
AT ITER 1898 NEW BEST:: SOT 245066 SOS 171200 HAS SOPS 106732 HAS SOUS 67374 HAS SOUPS 61988 WITH SCORE 62159.2
AT ITER 1899 NEW BEST:: SOT 244888 SOS 171022 HAS SOPS 106585 HAS SOUS 67227 HAS SOUPS 61841 WITH SCORE 62012.022
AT ITER 1906 NEW BEST:: SOT 244860 SOS 170994 HAS SOPS 106557 HAS SOUS 67199 HAS SOUPS 61813 WITH SCORE 61983.994
AT ITER 1942 NEW BEST:: SOT 244838 SOS 170972 HAS SOPS 106447 HAS SOUS 67166 HAS SOUPS 61780 WITH SCORE 61950.972
AT ITER 1943 NEW BEST:: SOT 244794 SOS 170917 HAS SOPS 106414 HAS SOUS 67133 HAS SOUPS 61747 WITH SCORE 61917.917
AT ITER 1950 NEW BEST:: SOT 244736 SOS 170859 HAS SOPS 106372 HAS SOUS 67106 HAS SOUPS 61720 WITH SCORE 61890.859
AT ITER 1962 NEW BEST:: SOT 244568 SOS 170691 HAS SOPS 106120 HAS SOUS 66811 HAS SOUPS 61425 WITH SCORE 61595.691
AT ITER 1963 NEW BEST:: SOT 244568 SOS 170582 HAS SOPS 106268 HAS SOUS 66811 HAS SOUPS 61425 WITH SCORE 61595.582
AT ITER 1970 NEW BEST:: SOT 244540 SOS 170725 HAS SOPS 106242 HAS SOUS 66756 HAS SOUPS 61370 WITH SCORE 61540.725
AT ITER 1978 NEW BEST:: SOT 244442 SOS 170709 HAS SOPS 106256 HAS SOUS 66656 HAS SOUPS 61270 WITH SCORE 61440.709
AT ITER 1982 NEW BEST:: SOT 244366 SOS 170633 HAS SOPS 106225 HAS SOUS 66624 HAS SOUPS 61238 WITH SCORE 61408.633
AT ITER 2002 NEW BEST:: SOT 244484 SOS 170751 HAS SOPS 106126 HAS SOUS 66612 HAS SOUPS 61226 WITH SCORE 61396.751
AT ITER 2006 NEW BEST:: SOT 244341 SOS 170531 HAS SOPS 105822 HAS SOUS 66446 HAS SOUPS 61060 WITH SCORE 61230.531
AT ITER 2010 NEW BEST:: SOT 244189 SOS 170523 HAS SOPS 105788 HAS SOUS 66353 HAS SOUPS 60967 WITH SCORE 61137.523
AT ITER 2015 NEW BEST:: SOT 244177 SOS 170511 HAS SOPS 105766 HAS SOUS 66349 HAS SOUPS 60963 WITH SCORE 61133.511
AT ITER 2020 NEW BEST:: SOT 244237 SOS 170571 HAS SOPS 105760 HAS SOUS 66343 HAS SOUPS 60957 WITH SCORE 61127.571
AT ITER 2026 NEW BEST:: SOT 244144 SOS 169780 HAS SOPS 105392 HAS SOUS 66279 HAS SOUPS 60893 WITH SCORE 61062.78
AT ITER 2029 NEW BEST:: SOT 243916 SOS 169527 HAS SOPS 105022 HAS SOUS 65934 HAS SOUPS 60548 WITH SCORE 60717.527
AT ITER 2030 NEW BEST:: SOT 243860 SOS 169478 HAS SOPS 104980 HAS SOUS 65871 HAS SOUPS 60485 WITH SCORE 60654.478
AT ITER 2034 NEW BEST:: SOT 243812 SOS 169430 HAS SOPS 104908 HAS SOUS 65771 HAS SOUPS 60385 WITH SCORE 60554.43
AT ITER 2035 NEW BEST:: SOT 243774 SOS 169443 HAS SOPS 104832 HAS SOUS 65714 HAS SOUPS 60328 WITH SCORE 60497.443
AT ITER 2037 NEW BEST:: SOT 243520 SOS 169153 HAS SOPS 104451 HAS SOUS 65265 HAS SOUPS 59879 WITH SCORE 60048.153
AT ITER 2040 NEW BEST:: SOT 243110 SOS 168737 HAS SOPS 104366 HAS SOUS 65175 HAS SOUPS 59789 WITH SCORE 59957.737
AT ITER 2068 NEW BEST:: SOT 243050 SOS 168699 HAS SOPS 104328 HAS SOUS 65081 HAS SOUPS 59695 WITH SCORE 59863.699
AT ITER 2097 NEW BEST:: SOT 242965 SOS 168614 HAS SOPS 104243 HAS SOUS 64975 HAS SOUPS 59589 WITH SCORE 59757.614
AT ITER 2100 NEW BEST:: SOT 242865 SOS 168514 HAS SOPS 104043 HAS SOUS 64770 HAS SOUPS 59381 WITH SCORE 59549.514
AT ITER 2124 NEW BEST:: SOT 242747 SOS 168375 HAS SOPS 103845 HAS SOUS 64576 HAS SOUPS 59187 WITH SCORE 59355.375
AT ITER 2137 NEW BEST:: SOT 242737 SOS 168307 HAS SOPS 103767 HAS SOUS 64553 HAS SOUPS 59164 WITH SCORE 59332.307
AT ITER 2144 NEW BEST:: SOT 242579 SOS 168149 HAS SOPS 103530 HAS SOUS 64246 HAS SOUPS 58857 WITH SCORE 59025.149
AT ITER 2146 NEW BEST:: SOT 242557 SOS 168127 HAS SOPS 103497 HAS SOUS 64202 HAS SOUPS 58813 WITH SCORE 58981.127
AT ITER 2158 NEW BEST:: SOT 242557 SOS 168127 HAS SOPS 103385 HAS SOUS 64118 HAS SOUPS 58729 WITH SCORE 58897.127
AT ITER 2173 NEW BEST:: SOT 241957 SOS 168371 HAS SOPS 102982 HAS SOUS 63693 HAS SOUPS 58282 WITH SCORE 58450.371
AT ITER 2184 NEW BEST:: SOT 241917 SOS 168305 HAS SOPS 102902 HAS SOUS 63613 HAS SOUPS 58202 WITH SCORE 58370.305
AT ITER 2186 NEW BEST:: SOT 241917 SOS 168204 HAS SOPS 102392 HAS SOUS 63443 HAS SOUPS 58032 WITH SCORE 58200.204
AT ITER 2191 NEW BEST:: SOT 240501 SOS 173160 HAS SOPS 102772 HAS SOUS 62769 HAS SOUPS 57244 WITH SCORE 57417.16
AT ITER 2199 NEW BEST:: SOT 240376 SOS 173010 HAS SOPS 102622 HAS SOUS 62644 HAS SOUPS 57119 WITH SCORE 57292.01
AT ITER 2205 NEW BEST:: SOT 240376 SOS 173010 HAS SOPS 102622 HAS SOUS 62629 HAS SOUPS 57104 WITH SCORE 57277.01
AT ITER 2212 NEW BEST:: SOT 240376 SOS 173010 HAS SOPS 102433 HAS SOUS 62377 HAS SOUPS 56852 WITH SCORE 57025.01
AT ITER 2213 NEW BEST:: SOT 240233 SOS 172843 HAS SOPS 102114 HAS SOUS 62151 HAS SOUPS 56626 WITH SCORE 56798.843
AT ITER 2223 NEW BEST:: SOT 240157 SOS 172767 HAS SOPS 102038 HAS SOUS 62083 HAS SOUPS 56558 WITH SCORE 56730.767
AT ITER 2226 NEW BEST:: SOT 240039 SOS 172649 HAS SOPS 102038 HAS SOUS 62083 HAS SOUPS 56558 WITH SCORE 56730.649
AT ITER 2235 NEW BEST:: SOT 240045 SOS 172655 HAS SOPS 102047 HAS SOUS 62070 HAS SOUPS 56545 WITH SCORE 56717.655
AT ITER 2237 NEW BEST:: SOT 239997 SOS 172607 HAS SOPS 101975 HAS SOUS 61983 HAS SOUPS 56458 WITH SCORE 56630.607
AT ITER 2241 NEW BEST:: SOT 239997 SOS 172841 HAS SOPS 102043 HAS SOUS 61955 HAS SOUPS 56430 WITH SCORE 56602.841
AT ITER 2242 NEW BEST:: SOT 239905 SOS 172710 HAS SOPS 101873 HAS SOUS 61821 HAS SOUPS 56296 WITH SCORE 56468.71
AT ITER 2250 NEW BEST:: SOT 239105 SOS 171910 HAS SOPS 101408 HAS SOUS 61347 HAS SOUPS 55822 WITH SCORE 55993.91
AT ITER 2257 NEW BEST:: SOT 239087 SOS 171892 HAS SOPS 101345 HAS SOUS 61293 HAS SOUPS 55768 WITH SCORE 55939.892
AT ITER 2264 NEW BEST:: SOT 239115 SOS 171920 HAS SOPS 101441 HAS SOUS 61264 HAS SOUPS 55739 WITH SCORE 55910.92
AT ITER 2283 NEW BEST:: SOT 239120 SOS 171837 HAS SOPS 101451 HAS SOUS 61260 HAS SOUPS 55735 WITH SCORE 55906.837
AT ITER 2307 NEW BEST:: SOT 239014 SOS 171731 HAS SOPS 101432 HAS SOUS 61208 HAS SOUPS 55683 WITH SCORE 55854.731
AT ITER 2310 NEW BEST:: SOT 238953 SOS 171932 HAS SOPS 101660 HAS SOUS 61198 HAS SOUPS 55673 WITH SCORE 55844.932
AT ITER 2316 NEW BEST:: SOT 238640 SOS 171810 HAS SOPS 101210 HAS SOUS 60969 HAS SOUPS 55414 WITH SCORE 55585.81
AT ITER 2330 NEW BEST:: SOT 238560 SOS 171730 HAS SOPS 101052 HAS SOUS 60837 HAS SOUPS 55282 WITH SCORE 55453.73
AT ITER 2345 NEW BEST:: SOT 238522 SOS 171692 HAS SOPS 101014 HAS SOUS 60799 HAS SOUPS 55244 WITH SCORE 55415.692
AT ITER 2357 NEW BEST:: SOT 238450 SOS 171584 HAS SOPS 100906 HAS SOUS 60685 HAS SOUPS 55130 WITH SCORE 55301.584
AT ITER 2369 NEW BEST:: SOT 238369 SOS 171503 HAS SOPS 100798 HAS SOUS 60577 HAS SOUPS 55022 WITH SCORE 55193.503
AT ITER 2382 NEW BEST:: SOT 238329 SOS 171471 HAS SOPS 100726 HAS SOUS 60505 HAS SOUPS 54950 WITH SCORE 55121.471
AT ITER 2387 NEW BEST:: SOT 238292 SOS 171092 HAS SOPS 100386 HAS SOUS 60393 HAS SOUPS 54876 WITH SCORE 55047.092
AT ITER 2390 NEW BEST:: SOT 238228 SOS 171028 HAS SOPS 100290 HAS SOUS 60368 HAS SOUPS 54851 WITH SCORE 55022.028
AT ITER 2398 NEW BEST:: SOT 238018 SOS 170611 HAS SOPS 99965 HAS SOUS 60053 HAS SOUPS 54536 WITH SCORE 54706.611
AT ITER 2400 NEW BEST:: SOT 237674 SOS 170267 HAS SOPS 99920 HAS SOUS 59946 HAS SOUPS 54429 WITH SCORE 54599.267
AT ITER 2403 NEW BEST:: SOT 237580 SOS 170158 HAS SOPS 99779 HAS SOUS 59724 HAS SOUPS 54207 WITH SCORE 54377.158
AT ITER 2405 NEW BEST:: SOT 237575 SOS 169942 HAS SOPS 99563 HAS SOUS 59682 HAS SOUPS 54165 WITH SCORE 54334.942
AT ITER 2411 NEW BEST:: SOT 237263 SOS 169923 HAS SOPS 99357 HAS SOUS 59532 HAS SOUPS 53863 WITH SCORE 54032.923
AT ITER 2416 NEW BEST:: SOT 237183 SOS 169843 HAS SOPS 99273 HAS SOUS 59448 HAS SOUPS 53779 WITH SCORE 53948.843
AT ITER 2421 NEW BEST:: SOT 237183 SOS 169751 HAS SOPS 99301 HAS SOUS 59448 HAS SOUPS 53779 WITH SCORE 53948.751
AT ITER 2423 NEW BEST:: SOT 237032 SOS 169700 HAS SOPS 99343 HAS SOUS 59374 HAS SOUPS 53705 WITH SCORE 53874.7
AT ITER 2426 NEW BEST:: SOT 237032 SOS 169700 HAS SOPS 99343 HAS SOUS 59336 HAS SOUPS 53667 WITH SCORE 53836.7
AT ITER 2433 NEW BEST:: SOT 237030 SOS 169698 HAS SOPS 99340 HAS SOUS 59333 HAS SOUPS 53664 WITH SCORE 53833.698
AT ITER 2456 NEW BEST:: SOT 237020 SOS 169688 HAS SOPS 99325 HAS SOUS 59323 HAS SOUPS 53654 WITH SCORE 53823.688
AT ITER 2472 NEW BEST:: SOT 237012 SOS 169680 HAS SOPS 99313 HAS SOUS 59311 HAS SOUPS 53642 WITH SCORE 53811.68
AT ITER 2499 NEW BEST:: SOT 236861 SOS 169858 HAS SOPS 99284 HAS SOUS 59498 HAS SOUPS 53631 WITH SCORE 53800.858
AT ITER 2504 NEW BEST:: SOT 236822 SOS 169819 HAS SOPS 99167 HAS SOUS 59459 HAS SOUPS 53592 WITH SCORE 53761.819
AT ITER 2514 NEW BEST:: SOT 237086 SOS 170133 HAS SOPS 99091 HAS SOUS 59438 HAS SOUPS 53571 WITH SCORE 53741.133
AT ITER 2515 NEW BEST:: SOT 237012 SOS 170059 HAS SOPS 98980 HAS SOUS 59327 HAS SOUPS 53460 WITH SCORE 53630.059
AT ITER 2526 NEW BEST:: SOT 236556 SOS 169603 HAS SOPS 98799 HAS SOUS 59127 HAS SOUPS 53260 WITH SCORE 53429.603
AT ITER 2544 NEW BEST:: SOT 236528 SOS 169530 HAS SOPS 98711 HAS SOUS 59081 HAS SOUPS 53214 WITH SCORE 53383.53
AT ITER 2559 NEW BEST:: SOT 236558 SOS 169560 HAS SOPS 98644 HAS SOUS 59042 HAS SOUPS 53175 WITH SCORE 53344.56
AT ITER 2564 NEW BEST:: SOT 236459 SOS 169540 HAS SOPS 98535 HAS SOUS 58999 HAS SOUPS 53057 WITH SCORE 53226.54
AT ITER 2566 NEW BEST:: SOT 236459 SOS 169540 HAS SOPS 98535 HAS SOUS 58975 HAS SOUPS 53033 WITH SCORE 53202.54
AT ITER 2570 NEW BEST:: SOT 236421 SOS 169482 HAS SOPS 98419 HAS SOUS 58829 HAS SOUPS 52887 WITH SCORE 53056.482
AT ITER 2574 NEW BEST:: SOT 236412 SOS 169473 HAS SOPS 98410 HAS SOUS 58827 HAS SOUPS 52885 WITH SCORE 53054.473
AT ITER 2578 NEW BEST:: SOT 236400 SOS 169461 HAS SOPS 98392 HAS SOUS 58809 HAS SOUPS 52867 WITH SCORE 53036.461
AT ITER 2582 NEW BEST:: SOT 236320 SOS 169381 HAS SOPS 98272 HAS SOUS 58689 HAS SOUPS 52747 WITH SCORE 52916.381
AT ITER 2584 NEW BEST:: SOT 236284 SOS 169345 HAS SOPS 98211 HAS SOUS 58628 HAS SOUPS 52686 WITH SCORE 52855.345
AT ITER 2598 NEW BEST:: SOT 236232 SOS 169293 HAS SOPS 98133 HAS SOUS 58550 HAS SOUPS 52608 WITH SCORE 52777.293
AT ITER 2602 NEW BEST:: SOT 236228 SOS 169272 HAS SOPS 98125 HAS SOUS 58542 HAS SOUPS 52600 WITH SCORE 52769.272
AT ITER 2626 NEW BEST:: SOT 235996 SOS 170986 HAS SOPS 98724 HAS SOUS 58552 HAS SOUPS 52581 WITH SCORE 52751.986
AT ITER 2628 NEW BEST:: SOT 235922 SOS 170854 HAS SOPS 98511 HAS SOUS 58420 HAS SOUPS 52449 WITH SCORE 52619.854
AT ITER 2631 NEW BEST:: SOT 235902 SOS 170834 HAS SOPS 98411 HAS SOUS 58330 HAS SOUPS 52359 WITH SCORE 52529.834
AT ITER 2638 NEW BEST:: SOT 235870 SOS 170802 HAS SOPS 98374 HAS SOUS 58282 HAS SOUPS 52311 WITH SCORE 52481.802
AT ITER 2639 NEW BEST:: SOT 235870 SOS 170791 HAS SOPS 98374 HAS SOUS 58282 HAS SOUPS 52311 WITH SCORE 52481.791
AT ITER 2649 NEW BEST:: SOT 235868 SOS 170789 HAS SOPS 98362 HAS SOUS 58270 HAS SOUPS 52299 WITH SCORE 52469.789
AT ITER 2654 NEW BEST:: SOT 235766 SOS 170687 HAS SOPS 98205 HAS SOUS 58113 HAS SOUPS 52142 WITH SCORE 52312.687
AT ITER 2656 NEW BEST:: SOT 235712 SOS 170633 HAS SOPS 98124 HAS SOUS 57959 HAS SOUPS 51988 WITH SCORE 52158.633
AT ITER 2669 NEW BEST:: SOT 235712 SOS 170628 HAS SOPS 98126 HAS SOUS 57959 HAS SOUPS 51988 WITH SCORE 52158.628
AT ITER 2670 NEW BEST:: SOT 235880 SOS 170796 HAS SOPS 98162 HAS SOUS 57923 HAS SOUPS 51952 WITH SCORE 52122.796
AT ITER 2673 NEW BEST:: SOT 235870 SOS 170786 HAS SOPS 98142 HAS SOUS 57908 HAS SOUPS 51937 WITH SCORE 52107.786
AT ITER 2676 NEW BEST:: SOT 235828 SOS 170779 HAS SOPS 98229 HAS SOUS 57904 HAS SOUPS 51933 WITH SCORE 52103.779
AT ITER 2677 NEW BEST:: SOT 235730 SOS 170681 HAS SOPS 98338 HAS SOUS 57797 HAS SOUPS 51930 WITH SCORE 52100.681
AT ITER 2689 NEW BEST:: SOT 235643 SOS 170578 HAS SOPS 98117 HAS SOUS 57616 HAS SOUPS 51749 WITH SCORE 51919.578
AT ITER 2690 NEW BEST:: SOT 235777 SOS 170712 HAS SOPS 98104 HAS SOUS 57575 HAS SOUPS 51708 WITH SCORE 51878.712
AT ITER 2692 NEW BEST:: SOT 235731 SOS 170666 HAS SOPS 98035 HAS SOUS 57506 HAS SOUPS 51639 WITH SCORE 51809.666
AT ITER 2694 NEW BEST:: SOT 235697 SOS 170632 HAS SOPS 97984 HAS SOUS 57419 HAS SOUPS 51552 WITH SCORE 51722.632
AT ITER 2702 NEW BEST:: SOT 235533 SOS 169645 HAS SOPS 97082 HAS SOUS 57021 HAS SOUPS 51239 WITH SCORE 51408.645
AT ITER 2735 NEW BEST:: SOT 235474 SOS 169550 HAS SOPS 97053 HAS SOUS 57000 HAS SOUPS 51218 WITH SCORE 51387.55
AT ITER 2752 NEW BEST:: SOT 235458 SOS 169534 HAS SOPS 97029 HAS SOUS 56982 HAS SOUPS 51200 WITH SCORE 51369.534
AT ITER 2757 NEW BEST:: SOT 235402 SOS 169478 HAS SOPS 97029 HAS SOUS 56982 HAS SOUPS 51200 WITH SCORE 51369.478
AT ITER 2774 NEW BEST:: SOT 235450 SOS 169526 HAS SOPS 96757 HAS SOUS 56867 HAS SOUPS 51085 WITH SCORE 51254.526
AT ITER 2782 NEW BEST:: SOT 235448 SOS 169570 HAS SOPS 96863 HAS SOUS 56864 HAS SOUPS 51082 WITH SCORE 51251.57
AT ITER 2792 NEW BEST:: SOT 235392 SOS 169514 HAS SOPS 96864 HAS SOUS 56864 HAS SOUPS 51082 WITH SCORE 51251.514
AT ITER 2816 NEW BEST:: SOT 235323 SOS 169436 HAS SOPS 96777 HAS SOUS 56735 HAS SOUPS 50953 WITH SCORE 51122.436
AT ITER 2832 NEW BEST:: SOT 234907 SOS 169507 HAS SOPS 96848 HAS SOUS 56636 HAS SOUPS 50854 WITH SCORE 51023.507
AT ITER 2889 NEW BEST:: SOT 234893 SOS 169493 HAS SOPS 96799 HAS SOUS 56587 HAS SOUPS 50805 WITH SCORE 50974.493
AT ITER 2896 NEW BEST:: SOT 234893 SOS 169493 HAS SOPS 96799 HAS SOUS 56563 HAS SOUPS 50781 WITH SCORE 50950.493
AT ITER 2897 NEW BEST:: SOT 234855 SOS 169447 HAS SOPS 96773 HAS SOUS 56539 HAS SOUPS 50757 WITH SCORE 50926.447
AT ITER 2899 NEW BEST:: SOT 234903 SOS 169495 HAS SOPS 96729 HAS SOUS 56524 HAS SOUPS 50742 WITH SCORE 50911.495
AT ITER 2910 NEW BEST:: SOT 234829 SOS 168826 HAS SOPS 96230 HAS SOUS 56420 HAS SOUPS 50638 WITH SCORE 50806.826
AT ITER 2918 NEW BEST:: SOT 234807 SOS 168876 HAS SOPS 96213 HAS SOUS 56475 HAS SOUPS 50626 WITH SCORE 50794.876
AT ITER 2927 NEW BEST:: SOT 234812 SOS 168776 HAS SOPS 96098 HAS SOUS 56395 HAS SOUPS 50546 WITH SCORE 50714.776
AT ITER 2929 NEW BEST:: SOT 233852 SOS 172371 HAS SOPS 95920 HAS SOUS 56119 HAS SOUPS 50179 WITH SCORE 50351.371
AT ITER 2935 NEW BEST:: SOT 233734 SOS 172223 HAS SOPS 95883 HAS SOUS 56047 HAS SOUPS 50107 WITH SCORE 50279.223
AT ITER 2937 NEW BEST:: SOT 233738 SOS 172227 HAS SOPS 95875 HAS SOUS 56039 HAS SOUPS 50099 WITH SCORE 50271.227
AT ITER 2950 NEW BEST:: SOT 233738 SOS 172227 HAS SOPS 95875 HAS SOUS 56033 HAS SOUPS 50093 WITH SCORE 50265.227
AT ITER 2951 NEW BEST:: SOT 233592 SOS 172081 HAS SOPS 95656 HAS SOUS 55800 HAS SOUPS 49860 WITH SCORE 50032.081
AT ITER 2954 NEW BEST:: SOT 233566 SOS 172055 HAS SOPS 95604 HAS SOUS 55761 HAS SOUPS 49821 WITH SCORE 49993.055
AT ITER 2955 NEW BEST:: SOT 233504 SOS 171993 HAS SOPS 95480 HAS SOUS 55668 HAS SOUPS 49728 WITH SCORE 49899.993
AT ITER 2970 NEW BEST:: SOT 233450 SOS 171939 HAS SOPS 95372 HAS SOUS 55569 HAS SOUPS 49629 WITH SCORE 49800.939
AT ITER 2971 NEW BEST:: SOT 233332 SOS 171800 HAS SOPS 95148 HAS SOUS 55510 HAS SOUPS 49485 WITH SCORE 49656.8
AT ITER 2979 NEW BEST:: SOT 233250 SOS 171718 HAS SOPS 95189 HAS SOUS 55493 HAS SOUPS 49468 WITH SCORE 49639.718
AT ITER 2994 NEW BEST:: SOT 233256 SOS 171724 HAS SOPS 95186 HAS SOUS 55490 HAS SOUPS 49465 WITH SCORE 49636.724
AT ITER 3001 NEW BEST:: SOT 233256 SOS 171724 HAS SOPS 95072 HAS SOUS 55362 HAS SOUPS 49327 WITH SCORE 49498.724
AT ITER 3004 NEW BEST:: SOT 233262 SOS 171730 HAS SOPS 94861 HAS SOUS 55339 HAS SOUPS 49278 WITH SCORE 49449.73
AT ITER 3008 NEW BEST:: SOT 233163 SOS 171631 HAS SOPS 94702 HAS SOUS 55138 HAS SOUPS 49077 WITH SCORE 49248.631
AT ITER 3021 NEW BEST:: SOT 233087 SOS 171555 HAS SOPS 94692 HAS SOUS 55114 HAS SOUPS 49053 WITH SCORE 49224.555
AT ITER 3027 NEW BEST:: SOT 233071 SOS 171548 HAS SOPS 94668 HAS SOUS 55090 HAS SOUPS 49029 WITH SCORE 49200.548
AT ITER 3032 NEW BEST:: SOT 233071 SOS 171548 HAS SOPS 94668 HAS SOUS 55085 HAS SOUPS 49024 WITH SCORE 49195.548
AT ITER 3036 NEW BEST:: SOT 233071 SOS 171537 HAS SOPS 94668 HAS SOUS 55085 HAS SOUPS 49024 WITH SCORE 49195.537
AT ITER 3046 NEW BEST:: SOT 232975 SOS 171441 HAS SOPS 94572 HAS SOUS 55021 HAS SOUPS 48960 WITH SCORE 49131.441
AT ITER 3053 NEW BEST:: SOT 232953 SOS 171419 HAS SOPS 94539 HAS SOUS 54993 HAS SOUPS 48932 WITH SCORE 49103.419
AT ITER 3055 NEW BEST:: SOT 232935 SOS 171496 HAS SOPS 94536 HAS SOUS 55047 HAS SOUPS 48911 WITH SCORE 49082.496
AT ITER 3061 NEW BEST:: SOT 232891 SOS 171452 HAS SOPS 94570 HAS SOUS 54988 HAS SOUPS 48892 WITH SCORE 49063.452
AT ITER 3068 NEW BEST:: SOT 232891 SOS 171452 HAS SOPS 94570 HAS SOUS 54971 HAS SOUPS 48875 WITH SCORE 49046.452
AT ITER 3074 NEW BEST:: SOT 232873 SOS 171173 HAS SOPS 94400 HAS SOUS 54801 HAS SOUPS 48777 WITH SCORE 48948.173
AT ITER 3078 NEW BEST:: SOT 232861 SOS 171161 HAS SOPS 94382 HAS SOUS 54783 HAS SOUPS 48759 WITH SCORE 48930.161
AT ITER 3096 NEW BEST:: SOT 232775 SOS 171075 HAS SOPS 94417 HAS SOUS 54777 HAS SOUPS 48753 WITH SCORE 48924.075
AT ITER 3102 NEW BEST:: SOT 232720 SOS 171125 HAS SOPS 94387 HAS SOUS 54809 HAS SOUPS 48705 WITH SCORE 48876.125
AT ITER 3106 NEW BEST:: SOT 232744 SOS 171149 HAS SOPS 94423 HAS SOUS 54791 HAS SOUPS 48687 WITH SCORE 48858.149
AT ITER 3113 NEW BEST:: SOT 232744 SOS 171131 HAS SOPS 94428 HAS SOUS 54791 HAS SOUPS 48687 WITH SCORE 48858.131
AT ITER 3138 NEW BEST:: SOT 232834 SOS 170883 HAS SOPS 94265 HAS SOUS 54706 HAS SOUPS 48687 WITH SCORE 48857.883
AT ITER 3145 NEW BEST:: SOT 232726 SOS 170775 HAS SOPS 94103 HAS SOUS 54598 HAS SOUPS 48579 WITH SCORE 48749.775
AT ITER 3146 NEW BEST:: SOT 232622 SOS 170671 HAS SOPS 93895 HAS SOUS 54400 HAS SOUPS 48368 WITH SCORE 48538.671
AT ITER 3162 NEW BEST:: SOT 232596 SOS 170502 HAS SOPS 93583 HAS SOUS 54374 HAS SOUPS 48342 WITH SCORE 48512.502
AT ITER 3174 NEW BEST:: SOT 232578 SOS 170484 HAS SOPS 93621 HAS SOUS 54349 HAS SOUPS 48330 WITH SCORE 48500.484
AT ITER 3175 NEW BEST:: SOT 232524 SOS 170430 HAS SOPS 93513 HAS SOUS 54342 HAS SOUPS 48323 WITH SCORE 48493.43
AT ITER 3181 NEW BEST:: SOT 232500 SOS 170406 HAS SOPS 93477 HAS SOUS 54294 HAS SOUPS 48275 WITH SCORE 48445.406
AT ITER 3208 NEW BEST:: SOT 232079 SOS 169882 HAS SOPS 92949 HAS SOUS 53737 HAS SOUPS 47718 WITH SCORE 47887.882
AT ITER 3209 NEW BEST:: SOT 231861 SOS 169664 HAS SOPS 92622 HAS SOUS 53410 HAS SOUPS 47391 WITH SCORE 47560.664
AT ITER 3219 NEW BEST:: SOT 231798 SOS 169966 HAS SOPS 92664 HAS SOUS 53416 HAS SOUPS 47390 WITH SCORE 47559.966
AT ITER 3239 NEW BEST:: SOT 231798 SOS 169966 HAS SOPS 92664 HAS SOUS 53415 HAS SOUPS 47389 WITH SCORE 47558.966
AT ITER 3240 NEW BEST:: SOT 231208 SOS 172341 HAS SOPS 93397 HAS SOUS 53341 HAS SOUPS 47264 WITH SCORE 47436.341
AT ITER 3251 NEW BEST:: SOT 231188 SOS 172321 HAS SOPS 93407 HAS SOUS 53312 HAS SOUPS 47255 WITH SCORE 47427.321
AT ITER 3253 NEW BEST:: SOT 231416 SOS 172549 HAS SOPS 93240 HAS SOUS 53251 HAS SOUPS 47194 WITH SCORE 47366.549
AT ITER 3256 NEW BEST:: SOT 231349 SOS 172503 HAS SOPS 93040 HAS SOUS 53136 HAS SOUPS 47079 WITH SCORE 47251.503
AT ITER 3258 NEW BEST:: SOT 231283 SOS 172437 HAS SOPS 92974 HAS SOUS 53053 HAS SOUPS 46996 WITH SCORE 47168.437
AT ITER 3260 NEW BEST:: SOT 231235 SOS 172325 HAS SOPS 92844 HAS SOUS 52949 HAS SOUPS 46892 WITH SCORE 47064.325
AT ITER 3270 NEW BEST:: SOT 231233 SOS 172323 HAS SOPS 92841 HAS SOUS 52946 HAS SOUPS 46889 WITH SCORE 47061.323
AT ITER 3288 NEW BEST:: SOT 231227 SOS 172317 HAS SOPS 92832 HAS SOUS 52900 HAS SOUPS 46843 WITH SCORE 47015.317
AT ITER 3296 NEW BEST:: SOT 231030 SOS 172120 HAS SOPS 92571 HAS SOUS 52639 HAS SOUPS 46582 WITH SCORE 46754.12
AT ITER 3300 NEW BEST:: SOT 231008 SOS 172045 HAS SOPS 92485 HAS SOUS 52603 HAS SOUPS 46546 WITH SCORE 46718.045
AT ITER 3308 NEW BEST:: SOT 230816 SOS 171853 HAS SOPS 92101 HAS SOUS 52315 HAS SOUPS 46258 WITH SCORE 46429.853
AT ITER 3311 NEW BEST:: SOT 230750 SOS 171787 HAS SOPS 92002 HAS SOUS 52246 HAS SOUPS 46189 WITH SCORE 46360.787
AT ITER 3314 NEW BEST:: SOT 230748 SOS 171785 HAS SOPS 91999 HAS SOUS 52243 HAS SOUPS 46186 WITH SCORE 46357.785
AT ITER 3323 NEW BEST:: SOT 230733 SOS 171770 HAS SOPS 91984 HAS SOUS 52213 HAS SOUPS 46156 WITH SCORE 46327.77
AT ITER 3341 NEW BEST:: SOT 230595 SOS 171632 HAS SOPS 91960 HAS SOUS 52142 HAS SOUPS 46085 WITH SCORE 46256.632
AT ITER 3360 NEW BEST:: SOT 230595 SOS 171632 HAS SOPS 91960 HAS SOUS 52141 HAS SOUPS 46084 WITH SCORE 46255.632
AT ITER 3371 NEW BEST:: SOT 230481 SOS 171518 HAS SOPS 91923 HAS SOUS 52082 HAS SOUPS 46025 WITH SCORE 46196.518
AT ITER 3375 NEW BEST:: SOT 230431 SOS 171468 HAS SOPS 91823 HAS SOUS 52007 HAS SOUPS 45950 WITH SCORE 46121.468
AT ITER 3381 NEW BEST:: SOT 230431 SOS 171468 HAS SOPS 91823 HAS SOUS 51996 HAS SOUPS 45939 WITH SCORE 46110.468
AT ITER 3392 NEW BEST:: SOT 230431 SOS 171468 HAS SOPS 91823 HAS SOUS 51882 HAS SOUPS 45825 WITH SCORE 45996.468
AT ITER 3407 NEW BEST:: SOT 230440 SOS 171455 HAS SOPS 91832 HAS SOUS 51825 HAS SOUPS 45790 WITH SCORE 45961.455
AT ITER 3412 NEW BEST:: SOT 230368 SOS 171383 HAS SOPS 91724 HAS SOUS 51717 HAS SOUPS 45682 WITH SCORE 45853.383
AT ITER 3427 NEW BEST:: SOT 230336 SOS 171403 HAS SOPS 91702 HAS SOUS 51731 HAS SOUPS 45654 WITH SCORE 45825.403
AT ITER 3433 NEW BEST:: SOT 230327 SOS 171441 HAS SOPS 91773 HAS SOUS 51722 HAS SOUPS 45645 WITH SCORE 45816.441
AT ITER 3434 NEW BEST:: SOT 230327 SOS 171441 HAS SOPS 91773 HAS SOUS 51674 HAS SOUPS 45597 WITH SCORE 45768.441
AT ITER 3451 NEW BEST:: SOT 230318 SOS 171494 HAS SOPS 91787 HAS SOUS 51672 HAS SOUPS 45594 WITH SCORE 45765.494
AT ITER 3455 NEW BEST:: SOT 230380 SOS 171556 HAS SOPS 91680 HAS SOUS 51634 HAS SOUPS 45556 WITH SCORE 45727.556
AT ITER 3471 NEW BEST:: SOT 230158 SOS 173407 HAS SOPS 92380 HAS SOUS 51615 HAS SOUPS 45508 WITH SCORE 45681.407
AT ITER 3499 NEW BEST:: SOT 230103 SOS 173368 HAS SOPS 92287 HAS SOUS 51541 HAS SOUPS 45418 WITH SCORE 45591.368
AT ITER 3550 NEW BEST:: SOT 230083 SOS 173348 HAS SOPS 92297 HAS SOUS 51541 HAS SOUPS 45418 WITH SCORE 45591.348
AT ITER 3557 NEW BEST:: SOT 230040 SOS 173137 HAS SOPS 92061 HAS SOUS 51483 HAS SOUPS 45335 WITH SCORE 45508.137
AT ITER 3561 NEW BEST:: SOT 229978 SOS 173075 HAS SOPS 92040 HAS SOUS 51448 HAS SOUPS 45300 WITH SCORE 45473.075
AT ITER 3571 NEW BEST:: SOT 229962 SOS 172853 HAS SOPS 91848 HAS SOUS 51403 HAS SOUPS 45276 WITH SCORE 45448.853
AT ITER 3574 NEW BEST:: SOT 229916 SOS 172761 HAS SOPS 91756 HAS SOUS 51357 HAS SOUPS 45230 WITH SCORE 45402.761
AT ITER 3575 NEW BEST:: SOT 229940 SOS 172785 HAS SOPS 91689 HAS SOUS 51312 HAS SOUPS 45185 WITH SCORE 45357.785
AT ITER 3611 NEW BEST:: SOT 229932 SOS 172777 HAS SOPS 91677 HAS SOUS 51300 HAS SOUPS 45173 WITH SCORE 45345.777
AT ITER 3616 NEW BEST:: SOT 229884 SOS 172729 HAS SOPS 91605 HAS SOUS 51228 HAS SOUPS 45101 WITH SCORE 45273.729
AT ITER 3617 NEW BEST:: SOT 229840 SOS 172666 HAS SOPS 91539 HAS SOUS 51160 HAS SOUPS 45033 WITH SCORE 45205.666
AT ITER 3652 NEW BEST:: SOT 229848 SOS 172683 HAS SOPS 91546 HAS SOUS 51169 HAS SOUPS 45032 WITH SCORE 45204.683
AT ITER 3655 NEW BEST:: SOT 229844 SOS 172624 HAS SOPS 91474 HAS SOUS 51178 HAS SOUPS 45028 WITH SCORE 45200.624
AT ITER 3659 NEW BEST:: SOT 229834 SOS 172614 HAS SOPS 91459 HAS SOUS 51141 HAS SOUPS 44991 WITH SCORE 45163.614
AT ITER 3676 NEW BEST:: SOT 229826 SOS 172606 HAS SOPS 91431 HAS SOUS 51117 HAS SOUPS 44967 WITH SCORE 45139.606
AT ITER 3693 NEW BEST:: SOT 229814 SOS 172594 HAS SOPS 91407 HAS SOUS 51087 HAS SOUPS 44937 WITH SCORE 45109.594
AT ITER 3744 NEW BEST:: SOT 229843 SOS 172586 HAS SOPS 91340 HAS SOUS 51086 HAS SOUPS 44936 WITH SCORE 45108.586
AT ITER 3748 NEW BEST:: SOT 229773 SOS 172516 HAS SOPS 91235 HAS SOUS 50960 HAS SOUPS 44810 WITH SCORE 44982.516
AT ITER 3751 NEW BEST:: SOT 229754 SOS 172530 HAS SOPS 91150 HAS SOUS 50955 HAS SOUPS 44805 WITH SCORE 44977.53
AT ITER 3783 NEW BEST:: SOT 229754 SOS 172530 HAS SOPS 91150 HAS SOUS 50944 HAS SOUPS 44794 WITH SCORE 44966.53
AT ITER 3784 NEW BEST:: SOT 229712 SOS 172456 HAS SOPS 91140 HAS SOUS 50934 HAS SOUPS 44784 WITH SCORE 44956.456
AT ITER 3791 NEW BEST:: SOT 229706 SOS 172453 HAS SOPS 91149 HAS SOUS 50925 HAS SOUPS 44775 WITH SCORE 44947.453
AT ITER 3794 NEW BEST:: SOT 229750 SOS 172497 HAS SOPS 91102 HAS SOUS 50908 HAS SOUPS 44758 WITH SCORE 44930.497
AT ITER 3838 NEW BEST:: SOT 229734 SOS 172481 HAS SOPS 91074 HAS SOUS 50884 HAS SOUPS 44734 WITH SCORE 44906.481
AT ITER 3844 NEW BEST:: SOT 229678 SOS 172425 HAS SOPS 91018 HAS SOUS 50830 HAS SOUPS 44680 WITH SCORE 44852.425
AT ITER 3850 NEW BEST:: SOT 229642 SOS 172571 HAS SOPS 91006 HAS SOUS 50826 HAS SOUPS 44672 WITH SCORE 44844.571
AT ITER 3862 NEW BEST:: SOT 229562 SOS 172491 HAS SOPS 90846 HAS SOUS 50693 HAS SOUPS 44539 WITH SCORE 44711.491
AT ITER 3868 NEW BEST:: SOT 229624 SOS 172553 HAS SOPS 90833 HAS SOUS 50651 HAS SOUPS 44497 WITH SCORE 44669.553
AT ITER 3876 NEW BEST:: SOT 229612 SOS 172541 HAS SOPS 90833 HAS SOUS 50639 HAS SOUPS 44485 WITH SCORE 44657.541
AT ITER 3884 NEW BEST:: SOT 229508 SOS 172437 HAS SOPS 90677 HAS SOUS 50364 HAS SOUPS 44210 WITH SCORE 44382.437
AT ITER 3900 NEW BEST:: SOT 229496 SOS 172425 HAS SOPS 90659 HAS SOUS 50317 HAS SOUPS 44163 WITH SCORE 44335.425
AT ITER 3917 NEW BEST:: SOT 229481 SOS 172410 HAS SOPS 90658 HAS SOUS 50273 HAS SOUPS 44119 WITH SCORE 44291.41
AT ITER 3928 NEW BEST:: SOT 229417 SOS 172374 HAS SOPS 90433 HAS SOUS 50177 HAS SOUPS 44023 WITH SCORE 44195.374
AT ITER 3930 NEW BEST:: SOT 229413 SOS 172370 HAS SOPS 90427 HAS SOUS 50173 HAS SOUPS 44019 WITH SCORE 44191.37
AT ITER 3958 NEW BEST:: SOT 229461 SOS 172418 HAS SOPS 90285 HAS SOUS 50201 HAS SOUPS 43956 WITH SCORE 44128.418
AT ITER 3961 NEW BEST:: SOT 229457 SOS 172414 HAS SOPS 90279 HAS SOUS 50165 HAS SOUPS 43920 WITH SCORE 44092.414
AT ITER 3971 NEW BEST:: SOT 229309 SOS 172266 HAS SOPS 90057 HAS SOUS 49828 HAS SOUPS 43583 WITH SCORE 43755.266
AT ITER 3981 NEW BEST:: SOT 229273 SOS 172230 HAS SOPS 90003 HAS SOUS 49774 HAS SOUPS 43529 WITH SCORE 43701.23
AT ITER 4000 NEW BEST:: SOT 229235 SOS 172208 HAS SOPS 89981 HAS SOUS 49720 HAS SOUPS 43475 WITH SCORE 43647.208
AT ITER 4007 NEW BEST:: SOT 229203 SOS 172176 HAS SOPS 89923 HAS SOUS 49682 HAS SOUPS 43437 WITH SCORE 43609.176
AT ITER 4015 NEW BEST:: SOT 229165 SOS 172138 HAS SOPS 89846 HAS SOUS 49625 HAS SOUPS 43380 WITH SCORE 43552.138
AT ITER 4028 NEW BEST:: SOT 229099 SOS 172072 HAS SOPS 89780 HAS SOUS 49576 HAS SOUPS 43331 WITH SCORE 43503.072
AT ITER 4041 NEW BEST:: SOT 229089 SOS 172062 HAS SOPS 89765 HAS SOUS 49561 HAS SOUPS 43316 WITH SCORE 43488.062
AT ITER 4048 NEW BEST:: SOT 229223 SOS 172198 HAS SOPS 89669 HAS SOUS 49505 HAS SOUPS 43260 WITH SCORE 43432.198
AT ITER 4058 NEW BEST:: SOT 229145 SOS 172320 HAS SOPS 89631 HAS SOUS 49547 HAS SOUPS 43159 WITH SCORE 43331.32
AT ITER 4076 NEW BEST:: SOT 229143 SOS 172318 HAS SOPS 89633 HAS SOUS 49512 HAS SOUPS 43124 WITH SCORE 43296.318
AT ITER 4086 NEW BEST:: SOT 229128 SOS 172318 HAS SOPS 89607 HAS SOUS 49497 HAS SOUPS 43109 WITH SCORE 43281.318
AT ITER 4094 NEW BEST:: SOT 229132 SOS 172322 HAS SOPS 89611 HAS SOUS 49495 HAS SOUPS 43107 WITH SCORE 43279.322
AT ITER 4105 NEW BEST:: SOT 228874 SOS 171284 HAS SOPS 88573 HAS SOUS 49238 HAS SOUPS 42850 WITH SCORE 43021.284
AT ITER 4118 NEW BEST:: SOT 228657 SOS 171067 HAS SOPS 88255 HAS SOUS 48893 HAS SOUPS 42505 WITH SCORE 42676.067
AT ITER 4167 NEW BEST:: SOT 228657 SOS 171067 HAS SOPS 88255 HAS SOUS 48892 HAS SOUPS 42504 WITH SCORE 42675.067
AT ITER 4176 NEW BEST:: SOT 228625 SOS 171035 HAS SOPS 88207 HAS SOUS 48834 HAS SOUPS 42446 WITH SCORE 42617.035
AT ITER 4180 NEW BEST:: SOT 228373 SOS 170783 HAS SOPS 88122 HAS SOUS 48717 HAS SOUPS 42329 WITH SCORE 42499.783
AT ITER 4195 NEW BEST:: SOT 228259 SOS 170354 HAS SOPS 87826 HAS SOUS 48327 HAS SOUPS 42072 WITH SCORE 42242.354
AT ITER 4215 NEW BEST:: SOT 228254 SOS 170304 HAS SOPS 87756 HAS SOUS 48257 HAS SOUPS 42002 WITH SCORE 42172.304
AT ITER 4221 NEW BEST:: SOT 228223 SOS 170273 HAS SOPS 87711 HAS SOUS 48256 HAS SOUPS 42001 WITH SCORE 42171.273
AT ITER 4227 NEW BEST:: SOT 228330 SOS 170370 HAS SOPS 87655 HAS SOUS 48251 HAS SOUPS 41996 WITH SCORE 42166.37
AT ITER 4234 NEW BEST:: SOT 228319 SOS 170359 HAS SOPS 87644 HAS SOUS 48229 HAS SOUPS 41974 WITH SCORE 42144.359
AT ITER 4237 NEW BEST:: SOT 228315 SOS 170355 HAS SOPS 87636 HAS SOUS 48221 HAS SOUPS 41966 WITH SCORE 42136.355
AT ITER 4238 NEW BEST:: SOT 228315 SOS 170355 HAS SOPS 87636 HAS SOUS 48206 HAS SOUPS 41951 WITH SCORE 42121.355
AT ITER 4243 NEW BEST:: SOT 228311 SOS 170351 HAS SOPS 87616 HAS SOUS 48198 HAS SOUPS 41931 WITH SCORE 42101.351
AT ITER 4250 NEW BEST:: SOT 228247 SOS 170287 HAS SOPS 87520 HAS SOUS 48102 HAS SOUPS 41835 WITH SCORE 42005.287
AT ITER 4263 NEW BEST:: SOT 228189 SOS 170229 HAS SOPS 87433 HAS SOUS 47993 HAS SOUPS 41726 WITH SCORE 41896.229
AT ITER 4271 NEW BEST:: SOT 228113 SOS 170153 HAS SOPS 87319 HAS SOUS 47881 HAS SOUPS 41614 WITH SCORE 41784.153
AT ITER 4283 NEW BEST:: SOT 228057 SOS 170097 HAS SOPS 87207 HAS SOUS 47796 HAS SOUPS 41529 WITH SCORE 41699.097
AT ITER 4292 NEW BEST:: SOT 228057 SOS 170097 HAS SOPS 87207 HAS SOUS 47791 HAS SOUPS 41524 WITH SCORE 41694.097
AT ITER 4296 NEW BEST:: SOT 228034 SOS 170074 HAS SOPS 87171 HAS SOUS 47771 HAS SOUPS 41491 WITH SCORE 41661.074
AT ITER 4298 NEW BEST:: SOT 228020 SOS 170060 HAS SOPS 87143 HAS SOUS 47689 HAS SOUPS 41409 WITH SCORE 41579.06
AT ITER 4303 NEW BEST:: SOT 228008 SOS 170048 HAS SOPS 87125 HAS SOUS 47658 HAS SOUPS 41378 WITH SCORE 41548.048
AT ITER 4311 NEW BEST:: SOT 227990 SOS 170030 HAS SOPS 87089 HAS SOUS 47631 HAS SOUPS 41351 WITH SCORE 41521.03
AT ITER 4321 NEW BEST:: SOT 227954 SOS 169930 HAS SOPS 87017 HAS SOUS 47548 HAS SOUPS 41296 WITH SCORE 41465.93
AT ITER 4348 NEW BEST:: SOT 227946 SOS 169922 HAS SOPS 87001 HAS SOUS 47536 HAS SOUPS 41284 WITH SCORE 41453.922
AT ITER 4369 NEW BEST:: SOT 227976 SOS 169952 HAS SOPS 86986 HAS SOUS 47521 HAS SOUPS 41269 WITH SCORE 41438.952
AT ITER 4386 NEW BEST:: SOT 227864 SOS 169768 HAS SOPS 86818 HAS SOUS 47353 HAS SOUPS 41101 WITH SCORE 41270.768
AT ITER 4394 NEW BEST:: SOT 227820 SOS 169724 HAS SOPS 86752 HAS SOUS 47281 HAS SOUPS 41029 WITH SCORE 41198.724
AT ITER 4401 NEW BEST:: SOT 227786 SOS 169680 HAS SOPS 86662 HAS SOUS 47245 HAS SOUPS 40993 WITH SCORE 41162.68
AT ITER 4414 NEW BEST:: SOT 227785 SOS 169679 HAS SOPS 86661 HAS SOUS 47244 HAS SOUPS 40992 WITH SCORE 41161.679
AT ITER 4415 NEW BEST:: SOT 227785 SOS 169679 HAS SOPS 86661 HAS SOUS 47208 HAS SOUPS 40956 WITH SCORE 41125.679
AT ITER 4421 NEW BEST:: SOT 227761 SOS 169655 HAS SOPS 86625 HAS SOUS 47172 HAS SOUPS 40920 WITH SCORE 41089.655
AT ITER 4423 NEW BEST:: SOT 227761 SOS 169511 HAS SOPS 86497 HAS SOUS 47156 HAS SOUPS 40920 WITH SCORE 41089.511
AT ITER 4443 NEW BEST:: SOT 227807 SOS 169543 HAS SOPS 86520 HAS SOUS 47113 HAS SOUPS 40877 WITH SCORE 41046.543
AT ITER 4449 NEW BEST:: SOT 227693 SOS 169439 HAS SOPS 86410 HAS SOUS 46942 HAS SOUPS 40706 WITH SCORE 40875.439
AT ITER 4464 NEW BEST:: SOT 227654 SOS 169625 HAS SOPS 86432 HAS SOUS 46932 HAS SOUPS 40692 WITH SCORE 40861.625
AT ITER 4479 NEW BEST:: SOT 227644 SOS 169615 HAS SOPS 86417 HAS SOUS 46912 HAS SOUPS 40672 WITH SCORE 40841.615
AT ITER 4508 NEW BEST:: SOT 227641 SOS 169612 HAS SOPS 86414 HAS SOUS 46912 HAS SOUPS 40672 WITH SCORE 40841.612
AT ITER 4541 NEW BEST:: SOT 227595 SOS 169566 HAS SOPS 86345 HAS SOUS 46820 HAS SOUPS 40580 WITH SCORE 40749.566
AT ITER 4550 NEW BEST:: SOT 227507 SOS 169478 HAS SOPS 86213 HAS SOUS 46728 HAS SOUPS 40488 WITH SCORE 40657.478
AT ITER 4574 NEW BEST:: SOT 227517 SOS 169488 HAS SOPS 86208 HAS SOUS 46723 HAS SOUPS 40483 WITH SCORE 40652.488
AT ITER 4577 NEW BEST:: SOT 227495 SOS 169466 HAS SOPS 86219 HAS SOUS 46715 HAS SOUPS 40475 WITH SCORE 40644.466
AT ITER 4605 NEW BEST:: SOT 227491 SOS 169462 HAS SOPS 86213 HAS SOUS 46709 HAS SOUPS 40469 WITH SCORE 40638.462
AT ITER 4612 NEW BEST:: SOT 227475 SOS 169446 HAS SOPS 86194 HAS SOUS 46685 HAS SOUPS 40445 WITH SCORE 40614.446
AT ITER 4619 NEW BEST:: SOT 227470 SOS 169439 HAS SOPS 86164 HAS SOUS 46615 HAS SOUPS 40375 WITH SCORE 40544.439
AT ITER 4623 NEW BEST:: SOT 227454 SOS 169357 HAS SOPS 86082 HAS SOUS 46591 HAS SOUPS 40351 WITH SCORE 40520.357
AT ITER 4641 NEW BEST:: SOT 227438 SOS 169341 HAS SOPS 86058 HAS SOUS 46567 HAS SOUPS 40327 WITH SCORE 40496.341
AT ITER 4645 NEW BEST:: SOT 227386 SOS 169289 HAS SOPS 85980 HAS SOUS 46489 HAS SOUPS 40249 WITH SCORE 40418.289
AT ITER 4659 NEW BEST:: SOT 227368 SOS 169271 HAS SOPS 85932 HAS SOUS 46462 HAS SOUPS 40222 WITH SCORE 40391.271
AT ITER 4681 NEW BEST:: SOT 227270 SOS 169173 HAS SOPS 85736 HAS SOUS 46258 HAS SOUPS 40018 WITH SCORE 40187.173
AT ITER 4699 NEW BEST:: SOT 227239 SOS 169120 HAS SOPS 85652 HAS SOUS 46227 HAS SOUPS 39987 WITH SCORE 40156.12
AT ITER 4708 NEW BEST:: SOT 227223 SOS 169104 HAS SOPS 85636 HAS SOUS 46215 HAS SOUPS 39975 WITH SCORE 40144.104
AT ITER 4717 NEW BEST:: SOT 227211 SOS 169092 HAS SOPS 85642 HAS SOUS 46215 HAS SOUPS 39975 WITH SCORE 40144.092
AT ITER 4720 NEW BEST:: SOT 227130 SOS 169011 HAS SOPS 85561 HAS SOUS 46134 HAS SOUPS 39894 WITH SCORE 40063.011
AT ITER 4722 NEW BEST:: SOT 227122 SOS 169007 HAS SOPS 85553 HAS SOUS 46126 HAS SOUPS 39886 WITH SCORE 40055.007
AT ITER 4727 NEW BEST:: SOT 227050 SOS 168935 HAS SOPS 85538 HAS SOUS 46111 HAS SOUPS 39871 WITH SCORE 40039.935
AT ITER 4728 NEW BEST:: SOT 227006 SOS 168891 HAS SOPS 85446 HAS SOUS 46068 HAS SOUPS 39828 WITH SCORE 39996.891
AT ITER 4744 NEW BEST:: SOT 227006 SOS 168891 HAS SOPS 85446 HAS SOUS 46049 HAS SOUPS 39809 WITH SCORE 39977.891
AT ITER 4747 NEW BEST:: SOT 227006 SOS 168891 HAS SOPS 85446 HAS SOUS 46028 HAS SOUPS 39788 WITH SCORE 39956.891
AT ITER 4782 NEW BEST:: SOT 226969 SOS 168810 HAS SOPS 85415 HAS SOUS 46028 HAS SOUPS 39788 WITH SCORE 39956.81
AT ITER 4783 NEW BEST:: SOT 226959 SOS 168800 HAS SOPS 85395 HAS SOUS 46008 HAS SOUPS 39768 WITH SCORE 39936.8
AT ITER 4801 NEW BEST:: SOT 226957 SOS 168798 HAS SOPS 85392 HAS SOUS 46004 HAS SOUPS 39764 WITH SCORE 39932.798
AT ITER 4811 NEW BEST:: SOT 226907 SOS 168748 HAS SOPS 85317 HAS SOUS 45888 HAS SOUPS 39648 WITH SCORE 39816.748
AT ITER 4837 NEW BEST:: SOT 226825 SOS 168666 HAS SOPS 85194 HAS SOUS 45765 HAS SOUPS 39525 WITH SCORE 39693.666
AT ITER 4851 NEW BEST:: SOT 226789 SOS 168630 HAS SOPS 85140 HAS SOUS 45709 HAS SOUPS 39469 WITH SCORE 39637.63
AT ITER 4875 NEW BEST:: SOT 226758 SOS 168604 HAS SOPS 85077 HAS SOUS 45590 HAS SOUPS 39350 WITH SCORE 39518.604
AT ITER 4890 NEW BEST:: SOT 226758 SOS 168602 HAS SOPS 85075 HAS SOUS 45590 HAS SOUPS 39350 WITH SCORE 39518.602
AT ITER 4897 NEW BEST:: SOT 227036 SOS 168880 HAS SOPS 85111 HAS SOUS 45571 HAS SOUPS 39331 WITH SCORE 39499.88
AT ITER 4909 NEW BEST:: SOT 226981 SOS 168790 HAS SOPS 84956 HAS SOUS 45501 HAS SOUPS 39246 WITH SCORE 39414.79
AT ITER 4912 NEW BEST:: SOT 226951 SOS 168760 HAS SOPS 84911 HAS SOUS 45472 HAS SOUPS 39217 WITH SCORE 39385.76
AT ITER 4941 NEW BEST:: SOT 226947 SOS 168756 HAS SOPS 84848 HAS SOUS 45466 HAS SOUPS 39211 WITH SCORE 39379.756
AT ITER 4978 NEW BEST:: SOT 227001 SOS 168810 HAS SOPS 84821 HAS SOUS 45439 HAS SOUPS 39184 WITH SCORE 39352.81
AT ITER 4980 NEW BEST:: SOT 226975 SOS 168784 HAS SOPS 84782 HAS SOUS 45400 HAS SOUPS 39145 WITH SCORE 39313.784
AT ITER 4984 NEW BEST:: SOT 226919 SOS 168728 HAS SOPS 84698 HAS SOUS 45316 HAS SOUPS 39061 WITH SCORE 39229.728
AT ITER 4992 NEW BEST:: SOT 226966 SOS 168775 HAS SOPS 84754 HAS SOUS 45269 HAS SOUPS 39014 WITH SCORE 39182.775
AT ITER 5004 NEW BEST:: SOT 226932 SOS 168741 HAS SOPS 84661 HAS SOUS 45218 HAS SOUPS 38963 WITH SCORE 39131.741
AT ITER 5008 NEW BEST:: SOT 226922 SOS 168731 HAS SOPS 84681 HAS SOUS 45218 HAS SOUPS 38963 WITH SCORE 39131.731
AT ITER 5022 NEW BEST:: SOT 226922 SOS 168731 HAS SOPS 84681 HAS SOUS 45212 HAS SOUPS 38957 WITH SCORE 39125.731
AT ITER 5059 NEW BEST:: SOT 226896 SOS 168705 HAS SOPS 84629 HAS SOUS 45173 HAS SOUPS 38918 WITH SCORE 39086.705
AT ITER 5085 NEW BEST:: SOT 226788 SOS 168597 HAS SOPS 84467 HAS SOUS 44962 HAS SOUPS 38707 WITH SCORE 38875.597
AT ITER 5091 NEW BEST:: SOT 226812 SOS 168600 HAS SOPS 84368 HAS SOUS 44950 HAS SOUPS 38695 WITH SCORE 38863.6
AT ITER 5092 NEW BEST:: SOT 226812 SOS 168600 HAS SOPS 84368 HAS SOUS 44901 HAS SOUPS 38646 WITH SCORE 38814.6
AT ITER 5095 NEW BEST:: SOT 226812 SOS 168590 HAS SOPS 84358 HAS SOUS 44891 HAS SOUPS 38636 WITH SCORE 38804.59
AT ITER 5118 NEW BEST:: SOT 226800 SOS 168578 HAS SOPS 84340 HAS SOUS 44872 HAS SOUPS 38617 WITH SCORE 38785.578
AT ITER 5121 NEW BEST:: SOT 226774 SOS 168552 HAS SOPS 84288 HAS SOUS 44820 HAS SOUPS 38565 WITH SCORE 38733.552
AT ITER 5125 NEW BEST:: SOT 226738 SOS 168481 HAS SOPS 84199 HAS SOUS 44766 HAS SOUPS 38511 WITH SCORE 38679.481
AT ITER 5176 NEW BEST:: SOT 226700 SOS 168443 HAS SOPS 84142 HAS SOUS 44717 HAS SOUPS 38462 WITH SCORE 38630.443
AT ITER 5196 NEW BEST:: SOT 226572 SOS 168379 HAS SOPS 84032 HAS SOUS 44672 HAS SOUPS 38371 WITH SCORE 38539.379
AT ITER 5221 NEW BEST:: SOT 226532 SOS 168339 HAS SOPS 83972 HAS SOUS 44632 HAS SOUPS 38331 WITH SCORE 38499.339
AT ITER 5249 NEW BEST:: SOT 226477 SOS 168277 HAS SOPS 83914 HAS SOUS 44584 HAS SOUPS 38283 WITH SCORE 38451.277
AT ITER 5253 NEW BEST:: SOT 226411 SOS 168211 HAS SOPS 83782 HAS SOUS 44461 HAS SOUPS 38160 WITH SCORE 38328.211
AT ITER 5261 NEW BEST:: SOT 226379 SOS 168423 HAS SOPS 83830 HAS SOUS 44449 HAS SOUPS 38144 WITH SCORE 38312.423
AT ITER 5266 NEW BEST:: SOT 226339 SOS 168383 HAS SOPS 83670 HAS SOUS 44345 HAS SOUPS 38015 WITH SCORE 38183.383
AT ITER 5271 NEW BEST:: SOT 226339 SOS 168383 HAS SOPS 83670 HAS SOUS 44303 HAS SOUPS 37973 WITH SCORE 38141.383
AT ITER 5279 NEW BEST:: SOT 226339 SOS 168383 HAS SOPS 83670 HAS SOUS 44295 HAS SOUPS 37965 WITH SCORE 38133.383
AT ITER 5287 NEW BEST:: SOT 226468 SOS 168483 HAS SOPS 83639 HAS SOUS 44416 HAS SOUPS 37942 WITH SCORE 38110.483
AT ITER 5301 NEW BEST:: SOT 226458 SOS 168473 HAS SOPS 83624 HAS SOUS 44401 HAS SOUPS 37927 WITH SCORE 38095.473
AT ITER 5304 NEW BEST:: SOT 226374 SOS 168388 HAS SOPS 83497 HAS SOUS 44233 HAS SOUPS 37759 WITH SCORE 37927.388
AT ITER 5310 NEW BEST:: SOT 226374 SOS 168388 HAS SOPS 83497 HAS SOUS 44202 HAS SOUPS 37728 WITH SCORE 37896.388
AT ITER 5313 NEW BEST:: SOT 226374 SOS 168388 HAS SOPS 83497 HAS SOUS 44201 HAS SOUPS 37727 WITH SCORE 37895.388
AT ITER 5329 NEW BEST:: SOT 226368 SOS 168382 HAS SOPS 83488 HAS SOUS 44189 HAS SOUPS 37715 WITH SCORE 37883.382
AT ITER 5330 NEW BEST:: SOT 226338 SOS 168352 HAS SOPS 83443 HAS SOUS 44115 HAS SOUPS 37641 WITH SCORE 37809.352
AT ITER 5336 NEW BEST:: SOT 226270 SOS 168280 HAS SOPS 83346 HAS SOUS 43988 HAS SOUPS 37514 WITH SCORE 37682.28
AT ITER 5338 NEW BEST:: SOT 226274 SOS 168284 HAS SOPS 83361 HAS SOUS 43932 HAS SOUPS 37458 WITH SCORE 37626.284
AT ITER 5345 NEW BEST:: SOT 226274 SOS 168276 HAS SOPS 83353 HAS SOUS 43932 HAS SOUPS 37458 WITH SCORE 37626.276
AT ITER 5348 NEW BEST:: SOT 226274 SOS 168276 HAS SOPS 83353 HAS SOUS 43908 HAS SOUPS 37434 WITH SCORE 37602.276
AT ITER 5369 NEW BEST:: SOT 225968 SOS 167970 HAS SOPS 83161 HAS SOUS 43659 HAS SOUPS 37185 WITH SCORE 37352.97
AT ITER 5408 NEW BEST:: SOT 225960 SOS 167962 HAS SOPS 83155 HAS SOUS 43653 HAS SOUPS 37179 WITH SCORE 37346.962
AT ITER 5438 NEW BEST:: SOT 226226 SOS 168228 HAS SOPS 83187 HAS SOUS 43637 HAS SOUPS 37163 WITH SCORE 37331.228
AT ITER 5446 NEW BEST:: SOT 226216 SOS 168218 HAS SOPS 83172 HAS SOUS 43617 HAS SOUPS 37143 WITH SCORE 37311.218
AT ITER 5459 NEW BEST:: SOT 226212 SOS 168212 HAS SOPS 83166 HAS SOUS 43609 HAS SOUPS 37135 WITH SCORE 37303.212
AT ITER 5517 NEW BEST:: SOT 226206 SOS 168124 HAS SOPS 83117 HAS SOUS 43522 HAS SOUPS 37085 WITH SCORE 37253.124
AT ITER 5519 NEW BEST:: SOT 226202 SOS 168120 HAS SOPS 83111 HAS SOUS 43516 HAS SOUPS 37079 WITH SCORE 37247.12
AT ITER 5520 NEW BEST:: SOT 226202 SOS 168120 HAS SOPS 83111 HAS SOUS 43484 HAS SOUPS 37047 WITH SCORE 37215.12
AT ITER 5524 NEW BEST:: SOT 226198 SOS 168116 HAS SOPS 83103 HAS SOUS 43481 HAS SOUPS 37040 WITH SCORE 37208.116
AT ITER 5552 NEW BEST:: SOT 226116 SOS 168034 HAS SOPS 82980 HAS SOUS 43317 HAS SOUPS 36876 WITH SCORE 37044.034
AT ITER 5572 NEW BEST:: SOT 226190 SOS 168108 HAS SOPS 82939 HAS SOUS 43313 HAS SOUPS 36872 WITH SCORE 37040.108
AT ITER 5607 NEW BEST:: SOT 226190 SOS 168108 HAS SOPS 82939 HAS SOUS 43297 HAS SOUPS 36856 WITH SCORE 37024.108
AT ITER 5643 NEW BEST:: SOT 226189 SOS 168107 HAS SOPS 82938 HAS SOUS 43296 HAS SOUPS 36855 WITH SCORE 37023.107
AT ITER 5655 NEW BEST:: SOT 226185 SOS 168103 HAS SOPS 82924 HAS SOUS 43284 HAS SOUPS 36843 WITH SCORE 37011.103
AT ITER 5670 NEW BEST:: SOT 226137 SOS 168055 HAS SOPS 82865 HAS SOUS 43207 HAS SOUPS 36766 WITH SCORE 36934.055
AT ITER 5671 NEW BEST:: SOT 226137 SOS 168055 HAS SOPS 82835 HAS SOUS 43177 HAS SOUPS 36736 WITH SCORE 36904.055
AT ITER 5682 NEW BEST:: SOT 226105 SOS 168023 HAS SOPS 82787 HAS SOUS 43120 HAS SOUPS 36679 WITH SCORE 36847.023
AT ITER 5709 NEW BEST:: SOT 226101 SOS 168019 HAS SOPS 82784 HAS SOUS 43114 HAS SOUPS 36673 WITH SCORE 36841.019
AT ITER 5716 NEW BEST:: SOT 226053 SOS 167971 HAS SOPS 82616 HAS SOUS 43080 HAS SOUPS 36601 WITH SCORE 36768.971
AT ITER 5718 NEW BEST:: SOT 225997 SOS 167915 HAS SOPS 82588 HAS SOUS 43038 HAS SOUPS 36559 WITH SCORE 36726.915
AT ITER 5724 NEW BEST:: SOT 225989 SOS 167907 HAS SOPS 82576 HAS SOUS 43030 HAS SOUPS 36551 WITH SCORE 36718.907
AT ITER 5727 NEW BEST:: SOT 225986 SOS 167910 HAS SOPS 82573 HAS SOUS 43030 HAS SOUPS 36548 WITH SCORE 36715.91
AT ITER 5730 NEW BEST:: SOT 225986 SOS 167910 HAS SOPS 82541 HAS SOUS 43006 HAS SOUPS 36524 WITH SCORE 36691.91
AT ITER 5741 NEW BEST:: SOT 225904 SOS 167828 HAS SOPS 82418 HAS SOUS 42882 HAS SOUPS 36400 WITH SCORE 36567.828
AT ITER 5746 NEW BEST:: SOT 225878 SOS 167802 HAS SOPS 82379 HAS SOUS 42841 HAS SOUPS 36359 WITH SCORE 36526.802
AT ITER 5767 NEW BEST:: SOT 225882 SOS 167806 HAS SOPS 82367 HAS SOUS 42829 HAS SOUPS 36347 WITH SCORE 36514.806
AT ITER 5768 NEW BEST:: SOT 225886 SOS 167810 HAS SOPS 82373 HAS SOUS 42827 HAS SOUPS 36345 WITH SCORE 36512.81
AT ITER 5790 NEW BEST:: SOT 225876 SOS 167800 HAS SOPS 82367 HAS SOUS 42812 HAS SOUPS 36330 WITH SCORE 36497.8
AT ITER 5791 NEW BEST:: SOT 225856 SOS 167780 HAS SOPS 82352 HAS SOUS 42802 HAS SOUPS 36320 WITH SCORE 36487.78
AT ITER 5794 NEW BEST:: SOT 225854 SOS 167772 HAS SOPS 82288 HAS SOUS 42798 HAS SOUPS 36316 WITH SCORE 36483.772
AT ITER 5802 NEW BEST:: SOT 225854 SOS 167772 HAS SOPS 82288 HAS SOUS 42780 HAS SOUPS 36298 WITH SCORE 36465.772
AT ITER 5816 NEW BEST:: SOT 225850 SOS 167768 HAS SOPS 82282 HAS SOUS 42738 HAS SOUPS 36256 WITH SCORE 36423.768
AT ITER 5817 NEW BEST:: SOT 225798 SOS 167716 HAS SOPS 82178 HAS SOUS 42660 HAS SOUPS 36178 WITH SCORE 36345.716
AT ITER 5836 NEW BEST:: SOT 225798 SOS 167716 HAS SOPS 82178 HAS SOUS 42649 HAS SOUPS 36167 WITH SCORE 36334.716
AT ITER 5847 NEW BEST:: SOT 225744 SOS 167633 HAS SOPS 82078 HAS SOUS 42568 HAS SOUPS 36086 WITH SCORE 36253.633
AT ITER 5882 NEW BEST:: SOT 225690 SOS 167579 HAS SOPS 81997 HAS SOUS 42449 HAS SOUPS 35967 WITH SCORE 36134.579
AT ITER 5958 NEW BEST:: SOT 225680 SOS 167569 HAS SOPS 81998 HAS SOUS 42446 HAS SOUPS 35964 WITH SCORE 36131.569
AT ITER 5962 NEW BEST:: SOT 225743 SOS 167660 HAS SOPS 81997 HAS SOUS 42443 HAS SOUPS 35961 WITH SCORE 36128.66
AT ITER 5977 NEW BEST:: SOT 225713 SOS 167769 HAS SOPS 82081 HAS SOUS 42399 HAS SOUPS 35917 WITH SCORE 36084.769
AT ITER 5997 NEW BEST:: SOT 225721 SOS 167785 HAS SOPS 82097 HAS SOUS 42379 HAS SOUPS 35897 WITH SCORE 36064.785
AT ITER 5999 NEW BEST:: SOT 225662 SOS 168406 HAS SOPS 82277 HAS SOUS 42384 HAS SOUPS 35892 WITH SCORE 36060.406
AT ITER 6013 NEW BEST:: SOT 225577 SOS 168263 HAS SOPS 82110 HAS SOUS 42276 HAS SOUPS 35784 WITH SCORE 35952.263
AT ITER 6025 NEW BEST:: SOT 225564 SOS 168242 HAS SOPS 82089 HAS SOUS 42247 HAS SOUPS 35755 WITH SCORE 35923.242
AT ITER 6029 NEW BEST:: SOT 225448 SOS 168126 HAS SOPS 81915 HAS SOUS 42073 HAS SOUPS 35581 WITH SCORE 35749.126
AT ITER 6033 NEW BEST:: SOT 225390 SOS 168068 HAS SOPS 81828 HAS SOUS 41997 HAS SOUPS 35505 WITH SCORE 35673.068
AT ITER 6058 NEW BEST:: SOT 225390 SOS 168068 HAS SOPS 81828 HAS SOUS 41993 HAS SOUPS 35501 WITH SCORE 35669.068
AT ITER 6069 NEW BEST:: SOT 225384 SOS 168062 HAS SOPS 81819 HAS SOUS 41984 HAS SOUPS 35492 WITH SCORE 35660.062
AT ITER 6088 NEW BEST:: SOT 225380 SOS 168058 HAS SOPS 81811 HAS SOUS 41945 HAS SOUPS 35453 WITH SCORE 35621.058
AT ITER 6092 NEW BEST:: SOT 225370 SOS 168048 HAS SOPS 81816 HAS SOUS 41945 HAS SOUPS 35453 WITH SCORE 35621.048
AT ITER 6095 NEW BEST:: SOT 225366 SOS 168044 HAS SOPS 81810 HAS SOUS 41937 HAS SOUPS 35445 WITH SCORE 35613.044
AT ITER 6104 NEW BEST:: SOT 225356 SOS 168034 HAS SOPS 81795 HAS SOUS 41881 HAS SOUPS 35389 WITH SCORE 35557.034
AT ITER 6113 NEW BEST:: SOT 225337 SOS 168015 HAS SOPS 81758 HAS SOUS 41817 HAS SOUPS 35325 WITH SCORE 35493.015
AT ITER 6138 NEW BEST:: SOT 225309 SOS 167987 HAS SOPS 81730 HAS SOUS 41789 HAS SOUPS 35297 WITH SCORE 35464.987
AT ITER 6163 NEW BEST:: SOT 225291 SOS 167969 HAS SOPS 81703 HAS SOUS 41735 HAS SOUPS 35243 WITH SCORE 35410.969
AT ITER 6177 NEW BEST:: SOT 225291 SOS 167969 HAS SOPS 81703 HAS SOUS 41732 HAS SOUPS 35240 WITH SCORE 35407.969
AT ITER 6245 NEW BEST:: SOT 225277 SOS 167955 HAS SOPS 81693 HAS SOUS 41700 HAS SOUPS 35208 WITH SCORE 35375.955
AT ITER 6250 NEW BEST:: SOT 225225 SOS 167903 HAS SOPS 81615 HAS SOUS 41622 HAS SOUPS 35130 WITH SCORE 35297.903
AT ITER 6256 NEW BEST:: SOT 225199 SOS 167877 HAS SOPS 81523 HAS SOUS 41603 HAS SOUPS 35111 WITH SCORE 35278.877
AT ITER 6261 NEW BEST:: SOT 225181 SOS 167859 HAS SOPS 81496 HAS SOUS 41581 HAS SOUPS 35089 WITH SCORE 35256.859
AT ITER 6269 NEW BEST:: SOT 225120 SOS 167911 HAS SOPS 81595 HAS SOUS 41559 HAS SOUPS 35067 WITH SCORE 35234.911
AT ITER 6271 NEW BEST:: SOT 225140 SOS 167832 HAS SOPS 81516 HAS SOUS 41550 HAS SOUPS 35058 WITH SCORE 35225.832
AT ITER 6283 NEW BEST:: SOT 225122 SOS 167814 HAS SOPS 81489 HAS SOUS 41523 HAS SOUPS 35031 WITH SCORE 35198.814
AT ITER 6306 NEW BEST:: SOT 225120 SOS 167812 HAS SOPS 81490 HAS SOUS 41523 HAS SOUPS 35031 WITH SCORE 35198.812
AT ITER 6315 NEW BEST:: SOT 225014 SOS 167706 HAS SOPS 81331 HAS SOUS 41364 HAS SOUPS 34872 WITH SCORE 35039.706
AT ITER 6337 NEW BEST:: SOT 225014 SOS 167706 HAS SOPS 81331 HAS SOUS 41335 HAS SOUPS 34843 WITH SCORE 35010.706
AT ITER 6340 NEW BEST:: SOT 224996 SOS 167688 HAS SOPS 81295 HAS SOUS 41292 HAS SOUPS 34800 WITH SCORE 34967.688
AT ITER 6392 NEW BEST:: SOT 224992 SOS 167684 HAS SOPS 81281 HAS SOUS 41286 HAS SOUPS 34794 WITH SCORE 34961.684
AT ITER 6400 NEW BEST:: SOT 225062 SOS 167754 HAS SOPS 81261 HAS SOUS 41271 HAS SOUPS 34779 WITH SCORE 34946.754
AT ITER 6431 NEW BEST:: SOT 225032 SOS 167724 HAS SOPS 80996 HAS SOUS 41193 HAS SOUPS 34695 WITH SCORE 34862.724
AT ITER 6447 NEW BEST:: SOT 225010 SOS 167702 HAS SOPS 80952 HAS SOUS 41160 HAS SOUPS 34662 WITH SCORE 34829.702
AT ITER 6448 NEW BEST:: SOT 225010 SOS 167702 HAS SOPS 80952 HAS SOUS 41158 HAS SOUPS 34660 WITH SCORE 34827.702
AT ITER 6467 NEW BEST:: SOT 224997 SOS 167698 HAS SOPS 80930 HAS SOUS 41152 HAS SOUPS 34645 WITH SCORE 34812.698
AT ITER 6501 NEW BEST:: SOT 224997 SOS 167686 HAS SOPS 80918 HAS SOUS 41152 HAS SOUPS 34645 WITH SCORE 34812.686
AT ITER 6518 NEW BEST:: SOT 224975 SOS 167664 HAS SOPS 80918 HAS SOUS 41143 HAS SOUPS 34636 WITH SCORE 34803.664
AT ITER 6526 NEW BEST:: SOT 224952 SOS 167666 HAS SOPS 80879 HAS SOUS 41104 HAS SOUPS 34597 WITH SCORE 34764.666
AT ITER 6574 NEW BEST:: SOT 224939 SOS 167486 HAS SOPS 80699 HAS SOUS 41087 HAS SOUPS 34580 WITH SCORE 34747.486
AT ITER 6576 NEW BEST:: SOT 224843 SOS 167390 HAS SOPS 80631 HAS SOUS 41023 HAS SOUPS 34516 WITH SCORE 34683.39
AT ITER 6591 NEW BEST:: SOT 224747 SOS 167294 HAS SOPS 80487 HAS SOUS 40859 HAS SOUPS 34352 WITH SCORE 34519.294
AT ITER 6601 NEW BEST:: SOT 224519 SOS 167066 HAS SOPS 80351 HAS SOUS 40715 HAS SOUPS 34208 WITH SCORE 34375.066
AT ITER 6602 NEW BEST:: SOT 224509 SOS 167056 HAS SOPS 80336 HAS SOUS 40700 HAS SOUPS 34193 WITH SCORE 34360.056
AT ITER 6606 NEW BEST:: SOT 224489 SOS 167036 HAS SOPS 80306 HAS SOUS 40670 HAS SOUPS 34163 WITH SCORE 34330.036
AT ITER 6660 NEW BEST:: SOT 224495 SOS 167042 HAS SOPS 80315 HAS SOUS 40662 HAS SOUPS 34155 WITH SCORE 34322.042
AT ITER 6713 NEW BEST:: SOT 224477 SOS 167042 HAS SOPS 80279 HAS SOUS 40662 HAS SOUPS 34137 WITH SCORE 34304.042
AT ITER 6724 NEW BEST:: SOT 224433 SOS 166998 HAS SOPS 80213 HAS SOUS 40583 HAS SOUPS 34058 WITH SCORE 34224.998
AT ITER 6757 NEW BEST:: SOT 224407 SOS 166981 HAS SOPS 80214 HAS SOUS 40554 HAS SOUPS 34047 WITH SCORE 34213.981
AT ITER 6832 NEW BEST:: SOT 224419 SOS 166993 HAS SOPS 80214 HAS SOUS 40548 HAS SOUPS 34041 WITH SCORE 34207.993
AT ITER 6900 NEW BEST:: SOT 224283 SOS 166859 HAS SOPS 80010 HAS SOUS 40262 HAS SOUPS 33755 WITH SCORE 33921.859
AT ITER 6911 NEW BEST:: SOT 224014 SOS 169233 HAS SOPS 80821 HAS SOUS 40240 HAS SOUPS 33733 WITH SCORE 33902.233
AT ITER 6915 NEW BEST:: SOT 223955 SOS 169187 HAS SOPS 80775 HAS SOUS 40194 HAS SOUPS 33687 WITH SCORE 33856.187
AT ITER 6936 NEW BEST:: SOT 223939 SOS 169171 HAS SOPS 80751 HAS SOUS 40172 HAS SOUPS 33665 WITH SCORE 33834.171
AT ITER 6938 NEW BEST:: SOT 223933 SOS 169163 HAS SOPS 80741 HAS SOUS 40166 HAS SOUPS 33659 WITH SCORE 33828.163
AT ITER 6959 NEW BEST:: SOT 223915 SOS 169145 HAS SOPS 80705 HAS SOUS 40127 HAS SOUPS 33620 WITH SCORE 33789.145
AT ITER 6991 NEW BEST:: SOT 223925 SOS 169155 HAS SOPS 80663 HAS SOUS 40081 HAS SOUPS 33574 WITH SCORE 33743.155
AT ITER 7001 NEW BEST:: SOT 223915 SOS 169145 HAS SOPS 80643 HAS SOUS 40066 HAS SOUPS 33559 WITH SCORE 33728.145
AT ITER 7030 NEW BEST:: SOT 223865 SOS 169095 HAS SOPS 80542 HAS SOUS 39991 HAS SOUPS 33484 WITH SCORE 33653.095
AT ITER 7050 NEW BEST:: SOT 223899 SOS 169129 HAS SOPS 80593 HAS SOUS 39977 HAS SOUPS 33470 WITH SCORE 33639.129
AT ITER 7072 NEW BEST:: SOT 223893 SOS 169106 HAS SOPS 80567 HAS SOUS 39932 HAS SOUPS 33425 WITH SCORE 33594.106
AT ITER 7124 NEW BEST:: SOT 223853 SOS 169066 HAS SOPS 80547 HAS SOUS 39887 HAS SOUPS 33399 WITH SCORE 33568.066
AT ITER 7140 NEW BEST:: SOT 223843 SOS 169056 HAS SOPS 80532 HAS SOUS 39867 HAS SOUPS 33379 WITH SCORE 33548.056
AT ITER 7150 NEW BEST:: SOT 223843 SOS 169056 HAS SOPS 80532 HAS SOUS 39852 HAS SOUPS 33364 WITH SCORE 33533.056
AT ITER 7160 NEW BEST:: SOT 223697 SOS 170416 HAS SOPS 81041 HAS SOUS 39846 HAS SOUPS 33338 WITH SCORE 33508.416
AT ITER 7165 NEW BEST:: SOT 223816 SOS 170992 HAS SOPS 81333 HAS SOUS 39904 HAS SOUPS 33323 WITH SCORE 33493.992
AT ITER 7168 NEW BEST:: SOT 223816 SOS 170989 HAS SOPS 81316 HAS SOUS 39904 HAS SOUPS 33323 WITH SCORE 33493.989
AT ITER 7185 NEW BEST:: SOT 223781 SOS 170639 HAS SOPS 81001 HAS SOUS 39758 HAS SOUPS 33212 WITH SCORE 33382.639
AT ITER 7198 NEW BEST:: SOT 223778 SOS 170636 HAS SOPS 80998 HAS SOUS 39755 HAS SOUPS 33209 WITH SCORE 33379.636
AT ITER 7245 NEW BEST:: SOT 223710 SOS 170568 HAS SOPS 80947 HAS SOUS 39704 HAS SOUPS 33158 WITH SCORE 33328.568
AT ITER 7261 NEW BEST:: SOT 223710 SOS 170568 HAS SOPS 80895 HAS SOUS 39665 HAS SOUPS 33119 WITH SCORE 33289.568
AT ITER 7271 NEW BEST:: SOT 223643 SOS 170501 HAS SOPS 80784 HAS SOUS 39556 HAS SOUPS 33010 WITH SCORE 33180.501
AT ITER 7310 NEW BEST:: SOT 223637 SOS 170495 HAS SOPS 80775 HAS SOUS 39550 HAS SOUPS 33004 WITH SCORE 33174.495
AT ITER 7321 NEW BEST:: SOT 223652 SOS 170510 HAS SOPS 80790 HAS SOUS 39537 HAS SOUPS 32991 WITH SCORE 33161.51
AT ITER 7331 NEW BEST:: SOT 223678 SOS 170536 HAS SOPS 80773 HAS SOUS 39520 HAS SOUPS 32974 WITH SCORE 33144.536
AT ITER 7342 NEW BEST:: SOT 223678 SOS 170536 HAS SOPS 80767 HAS SOUS 39514 HAS SOUPS 32968 WITH SCORE 33138.536
AT ITER 7370 NEW BEST:: SOT 223652 SOS 170510 HAS SOPS 80815 HAS SOUS 39475 HAS SOUPS 32929 WITH SCORE 33099.51
AT ITER 7414 NEW BEST:: SOT 223604 SOS 170390 HAS SOPS 80623 HAS SOUS 39456 HAS SOUPS 32910 WITH SCORE 33080.39
AT ITER 7433 NEW BEST:: SOT 223590 SOS 170385 HAS SOPS 80602 HAS SOUS 39453 HAS SOUPS 32898 WITH SCORE 33068.385
AT ITER 7455 NEW BEST:: SOT 223588 SOS 170383 HAS SOPS 80609 HAS SOUS 39450 HAS SOUPS 32895 WITH SCORE 33065.383
AT ITER 7468 NEW BEST:: SOT 223592 SOS 170387 HAS SOPS 80613 HAS SOUS 39446 HAS SOUPS 32891 WITH SCORE 33061.387
AT ITER 7475 NEW BEST:: SOT 223592 SOS 170387 HAS SOPS 80613 HAS SOUS 39431 HAS SOUPS 32876 WITH SCORE 33046.387
AT ITER 7490 NEW BEST:: SOT 223554 SOS 170349 HAS SOPS 80584 HAS SOUS 39374 HAS SOUPS 32819 WITH SCORE 32989.349
AT ITER 7519 NEW BEST:: SOT 223552 SOS 170347 HAS SOPS 80581 HAS SOUS 39371 HAS SOUPS 32816 WITH SCORE 32986.347
AT ITER 7564 NEW BEST:: SOT 223566 SOS 170361 HAS SOPS 80602 HAS SOUS 39368 HAS SOUPS 32813 WITH SCORE 32983.361
AT ITER 7570 NEW BEST:: SOT 223556 SOS 170351 HAS SOPS 80587 HAS SOUS 39358 HAS SOUPS 32803 WITH SCORE 32973.351
AT ITER 7572 NEW BEST:: SOT 223545 SOS 170340 HAS SOPS 80568 HAS SOUS 39339 HAS SOUPS 32784 WITH SCORE 32954.34
AT ITER 7639 NEW BEST:: SOT 223411 SOS 170206 HAS SOPS 80559 HAS SOUS 39330 HAS SOUPS 32775 WITH SCORE 32945.206
AT ITER 7642 NEW BEST:: SOT 223403 SOS 170198 HAS SOPS 80547 HAS SOUS 39316 HAS SOUPS 32761 WITH SCORE 32931.198
AT ITER 7664 NEW BEST:: SOT 223403 SOS 170198 HAS SOPS 80496 HAS SOUS 39254 HAS SOUPS 32699 WITH SCORE 32869.198
AT ITER 7676 NEW BEST:: SOT 223393 SOS 170188 HAS SOPS 80502 HAS SOUS 39254 HAS SOUPS 32699 WITH SCORE 32869.188
AT ITER 7705 NEW BEST:: SOT 223393 SOS 170188 HAS SOPS 80502 HAS SOUS 39248 HAS SOUPS 32693 WITH SCORE 32863.188
AT ITER 7710 NEW BEST:: SOT 223393 SOS 170188 HAS SOPS 80475 HAS SOUS 39230 HAS SOUPS 32675 WITH SCORE 32845.188
AT ITER 7735 NEW BEST:: SOT 223373 SOS 170168 HAS SOPS 80432 HAS SOUS 39200 HAS SOUPS 32645 WITH SCORE 32815.168
AT ITER 7748 NEW BEST:: SOT 223317 SOS 170112 HAS SOPS 80402 HAS SOUS 39190 HAS SOUPS 32635 WITH SCORE 32805.112
AT ITER 7752 NEW BEST:: SOT 223313 SOS 170134 HAS SOPS 80394 HAS SOUS 39184 HAS SOUPS 32629 WITH SCORE 32799.134
AT ITER 7754 NEW BEST:: SOT 223239 SOS 170060 HAS SOPS 80283 HAS SOUS 39062 HAS SOUPS 32507 WITH SCORE 32677.06
AT ITER 7811 NEW BEST:: SOT 223198 SOS 170042 HAS SOPS 80232 HAS SOUS 39025 HAS SOUPS 32470 WITH SCORE 32640.042
AT ITER 7833 NEW BEST:: SOT 223158 SOS 170002 HAS SOPS 80172 HAS SOUS 38965 HAS SOUPS 32410 WITH SCORE 32580.002
AT ITER 7850 NEW BEST:: SOT 223068 SOS 169912 HAS SOPS 80106 HAS SOUS 38899 HAS SOUPS 32344 WITH SCORE 32513.912
AT ITER 7851 NEW BEST:: SOT 223068 SOS 169912 HAS SOPS 80106 HAS SOUS 38890 HAS SOUPS 32335 WITH SCORE 32504.912
AT ITER 7866 NEW BEST:: SOT 223009 SOS 169853 HAS SOPS 80011 HAS SOUS 38785 HAS SOUPS 32230 WITH SCORE 32399.853
AT ITER 7880 NEW BEST:: SOT 223009 SOS 169853 HAS SOPS 80011 HAS SOUS 38783 HAS SOUPS 32228 WITH SCORE 32397.853
AT ITER 7886 NEW BEST:: SOT 223038 SOS 169686 HAS SOPS 79614 HAS SOUS 38768 HAS SOUPS 32213 WITH SCORE 32382.686
AT ITER 7924 NEW BEST:: SOT 223026 SOS 169674 HAS SOPS 79598 HAS SOUS 38745 HAS SOUPS 32190 WITH SCORE 32359.674
AT ITER 7949 NEW BEST:: SOT 222991 SOS 169611 HAS SOPS 79527 HAS SOUS 38704 HAS SOUPS 32149 WITH SCORE 32318.611
AT ITER 7978 NEW BEST:: SOT 222959 SOS 169579 HAS SOPS 79479 HAS SOUS 38636 HAS SOUPS 32081 WITH SCORE 32250.579
AT ITER 8065 NEW BEST:: SOT 222959 SOS 169579 HAS SOPS 79479 HAS SOUS 38633 HAS SOUPS 32078 WITH SCORE 32247.579
AT ITER 8066 NEW BEST:: SOT 222949 SOS 169579 HAS SOPS 79459 HAS SOUS 38637 HAS SOUPS 32072 WITH SCORE 32241.579
AT ITER 8069 NEW BEST:: SOT 222917 SOS 169547 HAS SOPS 79463 HAS SOUS 38615 HAS SOUPS 32050 WITH SCORE 32219.547
AT ITER 8093 NEW BEST:: SOT 222907 SOS 169542 HAS SOPS 79463 HAS SOUS 38605 HAS SOUPS 32040 WITH SCORE 32209.542
AT ITER 8095 NEW BEST:: SOT 222905 SOS 169540 HAS SOPS 79460 HAS SOUS 38602 HAS SOUPS 32037 WITH SCORE 32206.54
AT ITER 8098 NEW BEST:: SOT 222861 SOS 169496 HAS SOPS 79394 HAS SOUS 38504 HAS SOUPS 31939 WITH SCORE 32108.496
AT ITER 8118 NEW BEST:: SOT 222855 SOS 169490 HAS SOPS 79382 HAS SOUS 38484 HAS SOUPS 31919 WITH SCORE 32088.49
AT ITER 8140 NEW BEST:: SOT 222855 SOS 169466 HAS SOPS 79382 HAS SOUS 38484 HAS SOUPS 31919 WITH SCORE 32088.466
AT ITER 8143 NEW BEST:: SOT 222851 SOS 169488 HAS SOPS 79398 HAS SOUS 38480 HAS SOUPS 31915 WITH SCORE 32084.488
AT ITER 8147 NEW BEST:: SOT 222851 SOS 169488 HAS SOPS 79398 HAS SOUS 38459 HAS SOUPS 31894 WITH SCORE 32063.488
AT ITER 8151 NEW BEST:: SOT 222801 SOS 169438 HAS SOPS 79298 HAS SOUS 38384 HAS SOUPS 31819 WITH SCORE 31988.438
AT ITER 8157 NEW BEST:: SOT 222827 SOS 169464 HAS SOPS 79112 HAS SOUS 38367 HAS SOUPS 31802 WITH SCORE 31971.464
AT ITER 8189 NEW BEST:: SOT 222783 SOS 169420 HAS SOPS 79088 HAS SOUS 38331 HAS SOUPS 31766 WITH SCORE 31935.42
AT ITER 8216 NEW BEST:: SOT 222755 SOS 169454 HAS SOPS 79062 HAS SOUS 38367 HAS SOUPS 31742 WITH SCORE 31911.454
AT ITER 8242 NEW BEST:: SOT 222729 SOS 169428 HAS SOPS 79010 HAS SOUS 38342 HAS SOUPS 31717 WITH SCORE 31886.428
AT ITER 8243 NEW BEST:: SOT 222709 SOS 169408 HAS SOPS 78970 HAS SOUS 38305 HAS SOUPS 31680 WITH SCORE 31849.408
AT ITER 8244 NEW BEST:: SOT 222681 SOS 169380 HAS SOPS 78928 HAS SOUS 38263 HAS SOUPS 31638 WITH SCORE 31807.38
AT ITER 8252 NEW BEST:: SOT 222663 SOS 169362 HAS SOPS 78928 HAS SOUS 38263 HAS SOUPS 31638 WITH SCORE 31807.362
AT ITER 8253 NEW BEST:: SOT 222663 SOS 169362 HAS SOPS 78928 HAS SOUS 38251 HAS SOUPS 31626 WITH SCORE 31795.362
AT ITER 8271 NEW BEST:: SOT 222659 SOS 169358 HAS SOPS 78926 HAS SOUS 38248 HAS SOUPS 31623 WITH SCORE 31792.358
AT ITER 8293 NEW BEST:: SOT 222655 SOS 169354 HAS SOPS 78920 HAS SOUS 38242 HAS SOUPS 31617 WITH SCORE 31786.354
AT ITER 8294 NEW BEST:: SOT 222597 SOS 169264 HAS SOPS 78888 HAS SOUS 38184 HAS SOUPS 31585 WITH SCORE 31754.264
AT ITER 8298 NEW BEST:: SOT 222621 SOS 169288 HAS SOPS 78873 HAS SOUS 38153 HAS SOUPS 31554 WITH SCORE 31723.288
AT ITER 8334 NEW BEST:: SOT 222621 SOS 169288 HAS SOPS 78873 HAS SOUS 38149 HAS SOUPS 31550 WITH SCORE 31719.288
AT ITER 8352 NEW BEST:: SOT 222597 SOS 169270 HAS SOPS 78831 HAS SOUS 38136 HAS SOUPS 31516 WITH SCORE 31685.27
AT ITER 8394 NEW BEST:: SOT 222583 SOS 169256 HAS SOPS 78810 HAS SOUS 38127 HAS SOUPS 31507 WITH SCORE 31676.256
AT ITER 8396 NEW BEST:: SOT 222563 SOS 169236 HAS SOPS 78848 HAS SOUS 38117 HAS SOUPS 31497 WITH SCORE 31666.236
AT ITER 8408 NEW BEST:: SOT 222551 SOS 169222 HAS SOPS 78830 HAS SOUS 38093 HAS SOUPS 31473 WITH SCORE 31642.222
AT ITER 8435 NEW BEST:: SOT 222541 SOS 169214 HAS SOPS 78810 HAS SOUS 38097 HAS SOUPS 31465 WITH SCORE 31634.214
AT ITER 8446 NEW BEST:: SOT 222555 SOS 169228 HAS SOPS 78794 HAS SOUS 38085 HAS SOUPS 31453 WITH SCORE 31622.228
AT ITER 8471 NEW BEST:: SOT 222547 SOS 169220 HAS SOPS 78778 HAS SOUS 38069 HAS SOUPS 31437 WITH SCORE 31606.22
AT ITER 8479 NEW BEST:: SOT 222527 SOS 169193 HAS SOPS 78744 HAS SOUS 38023 HAS SOUPS 31391 WITH SCORE 31560.193
AT ITER 8518 NEW BEST:: SOT 222501 SOS 169167 HAS SOPS 78705 HAS SOUS 37984 HAS SOUPS 31352 WITH SCORE 31521.167
AT ITER 8549 NEW BEST:: SOT 222493 SOS 169159 HAS SOPS 78693 HAS SOUS 37972 HAS SOUPS 31340 WITH SCORE 31509.159
AT ITER 8579 NEW BEST:: SOT 222457 SOS 169123 HAS SOPS 78639 HAS SOUS 37945 HAS SOUPS 31313 WITH SCORE 31482.123
AT ITER 8605 NEW BEST:: SOT 222367 SOS 169033 HAS SOPS 78504 HAS SOUS 37747 HAS SOUPS 31115 WITH SCORE 31284.033
AT ITER 8610 NEW BEST:: SOT 222355 SOS 169021 HAS SOPS 78504 HAS SOUS 37735 HAS SOUPS 31103 WITH SCORE 31272.021
AT ITER 8614 NEW BEST:: SOT 222353 SOS 169019 HAS SOPS 78522 HAS SOUS 37732 HAS SOUPS 31100 WITH SCORE 31269.019
AT ITER 8657 NEW BEST:: SOT 222348 SOS 169014 HAS SOPS 78517 HAS SOUS 37731 HAS SOUPS 31099 WITH SCORE 31268.014
AT ITER 8686 NEW BEST:: SOT 222338 SOS 168999 HAS SOPS 78497 HAS SOUS 37715 HAS SOUPS 31083 WITH SCORE 31251.999
AT ITER 8707 NEW BEST:: SOT 222338 SOS 168997 HAS SOPS 78497 HAS SOUS 37715 HAS SOUPS 31083 WITH SCORE 31251.997
AT ITER 8708 NEW BEST:: SOT 222336 SOS 168995 HAS SOPS 78494 HAS SOUS 37711 HAS SOUPS 31079 WITH SCORE 31247.995
AT ITER 8765 NEW BEST:: SOT 222310 SOS 168969 HAS SOPS 78374 HAS SOUS 37648 HAS SOUPS 31016 WITH SCORE 31184.969
AT ITER 8841 NEW BEST:: SOT 222314 SOS 168973 HAS SOPS 78344 HAS SOUS 37611 HAS SOUPS 30979 WITH SCORE 31147.973
AT ITER 8847 NEW BEST:: SOT 222272 SOS 168910 HAS SOPS 78260 HAS SOUS 37543 HAS SOUPS 30911 WITH SCORE 31079.91
AT ITER 8930 NEW BEST:: SOT 222272 SOS 168910 HAS SOPS 78216 HAS SOUS 37510 HAS SOUPS 30878 WITH SCORE 31046.91
AT ITER 8933 NEW BEST:: SOT 222270 SOS 168908 HAS SOPS 78225 HAS SOUS 37504 HAS SOUPS 30872 WITH SCORE 31040.908
AT ITER 8944 NEW BEST:: SOT 222252 SOS 168890 HAS SOPS 78198 HAS SOUS 37462 HAS SOUPS 30830 WITH SCORE 30998.89
AT ITER 8956 NEW BEST:: SOT 222252 SOS 168885 HAS SOPS 78198 HAS SOUS 37462 HAS SOUPS 30830 WITH SCORE 30998.885
AT ITER 8993 NEW BEST:: SOT 222252 SOS 168885 HAS SOPS 78198 HAS SOUS 37459 HAS SOUPS 30827 WITH SCORE 30995.885
AT ITER 9011 NEW BEST:: SOT 222221 SOS 168958 HAS SOPS 78351 HAS SOUS 37428 HAS SOUPS 30796 WITH SCORE 30964.958
AT ITER 9013 NEW BEST:: SOT 222221 SOS 168958 HAS SOPS 78351 HAS SOUS 37410 HAS SOUPS 30778 WITH SCORE 30946.958
AT ITER 9018 NEW BEST:: SOT 222221 SOS 168958 HAS SOPS 78351 HAS SOUS 37383 HAS SOUPS 30751 WITH SCORE 30919.958
AT ITER 9019 NEW BEST:: SOT 222273 SOS 169005 HAS SOPS 78303 HAS SOUS 37430 HAS SOUPS 30703 WITH SCORE 30872.005
AT ITER 9038 NEW BEST:: SOT 222248 SOS 168862 HAS SOPS 78174 HAS SOUS 37369 HAS SOUPS 30656 WITH SCORE 30824.862
AT ITER 9092 NEW BEST:: SOT 222276 SOS 168890 HAS SOPS 78140 HAS SOUS 37335 HAS SOUPS 30622 WITH SCORE 30790.89
AT ITER 9107 NEW BEST:: SOT 222262 SOS 168876 HAS SOPS 78112 HAS SOUS 37321 HAS SOUPS 30601 WITH SCORE 30769.876
AT ITER 9115 NEW BEST:: SOT 222262 SOS 168876 HAS SOPS 78112 HAS SOUS 37318 HAS SOUPS 30598 WITH SCORE 30766.876
AT ITER 9132 NEW BEST:: SOT 222244 SOS 168858 HAS SOPS 78100 HAS SOUS 37306 HAS SOUPS 30586 WITH SCORE 30754.858
AT ITER 9139 NEW BEST:: SOT 222216 SOS 168830 HAS SOPS 78058 HAS SOUS 37264 HAS SOUPS 30544 WITH SCORE 30712.83
AT ITER 9157 NEW BEST:: SOT 222128 SOS 168742 HAS SOPS 77926 HAS SOUS 37089 HAS SOUPS 30369 WITH SCORE 30537.742
AT ITER 9168 NEW BEST:: SOT 222089 SOS 168703 HAS SOPS 77811 HAS SOUS 37026 HAS SOUPS 30306 WITH SCORE 30474.703
AT ITER 9182 NEW BEST:: SOT 222065 SOS 168679 HAS SOPS 77823 HAS SOUS 37026 HAS SOUPS 30306 WITH SCORE 30474.679
AT ITER 9250 NEW BEST:: SOT 222074 SOS 168688 HAS SOPS 77832 HAS SOUS 37016 HAS SOUPS 30296 WITH SCORE 30464.688
AT ITER 9258 NEW BEST:: SOT 222060 SOS 168534 HAS SOPS 77678 HAS SOUS 36982 HAS SOUPS 30262 WITH SCORE 30430.534
AT ITER 9360 NEW BEST:: SOT 222032 SOS 168506 HAS SOPS 77678 HAS SOUS 36954 HAS SOUPS 30234 WITH SCORE 30402.506
AT ITER 9393 NEW BEST:: SOT 222022 SOS 168541 HAS SOPS 77673 HAS SOUS 36952 HAS SOUPS 30232 WITH SCORE 30400.541
AT ITER 9424 NEW BEST:: SOT 222078 SOS 168653 HAS SOPS 77841 HAS SOUS 36924 HAS SOUPS 30204 WITH SCORE 30372.653
AT ITER 9512 NEW BEST:: SOT 222078 SOS 168653 HAS SOPS 77841 HAS SOUS 36911 HAS SOUPS 30191 WITH SCORE 30359.653
AT ITER 9537 NEW BEST:: SOT 222080 SOS 168655 HAS SOPS 77780 HAS SOUS 36853 HAS SOUPS 30133 WITH SCORE 30301.655
AT ITER 9568 NEW BEST:: SOT 222076 SOS 168651 HAS SOPS 77776 HAS SOUS 36841 HAS SOUPS 30121 WITH SCORE 30289.651
AT ITER 9571 NEW BEST:: SOT 221992 SOS 168567 HAS SOPS 77608 HAS SOUS 36682 HAS SOUPS 29962 WITH SCORE 30130.567
AT ITER 9613 NEW BEST:: SOT 221844 SOS 168419 HAS SOPS 77670 HAS SOUS 36673 HAS SOUPS 29953 WITH SCORE 30121.419
AT ITER 9622 NEW BEST:: SOT 221844 SOS 168417 HAS SOPS 77670 HAS SOUS 36673 HAS SOUPS 29953 WITH SCORE 30121.417
AT ITER 9688 NEW BEST:: SOT 221842 SOS 168402 HAS SOPS 77679 HAS SOUS 36669 HAS SOUPS 29949 WITH SCORE 30117.402
AT ITER 9691 NEW BEST:: SOT 221842 SOS 168402 HAS SOPS 77679 HAS SOUS 36641 HAS SOUPS 29921 WITH SCORE 30089.402
AT ITER 9694 NEW BEST:: SOT 221838 SOS 168386 HAS SOPS 77663 HAS SOUS 36639 HAS SOUPS 29919 WITH SCORE 30087.386
AT ITER 9711 NEW BEST:: SOT 221838 SOS 168375 HAS SOPS 77666 HAS SOUS 36623 HAS SOUPS 29914 WITH SCORE 30082.375
AT ITER 9715 NEW BEST:: SOT 221835 SOS 168369 HAS SOPS 77663 HAS SOUS 36620 HAS SOUPS 29912 WITH SCORE 30080.369
AT ITER 9727 NEW BEST:: SOT 221827 SOS 168361 HAS SOPS 77651 HAS SOUS 36608 HAS SOUPS 29900 WITH SCORE 30068.361
AT ITER 9756 NEW BEST:: SOT 221827 SOS 168361 HAS SOPS 77639 HAS SOUS 36596 HAS SOUPS 29888 WITH SCORE 30056.361
AT ITER 9815 NEW BEST:: SOT 221807 SOS 168341 HAS SOPS 77599 HAS SOUS 36590 HAS SOUPS 29882 WITH SCORE 30050.341
AT ITER 9824 NEW BEST:: SOT 221755 SOS 168303 HAS SOPS 77560 HAS SOUS 36552 HAS SOUPS 29844 WITH SCORE 30012.303
AT ITER 9852 NEW BEST:: SOT 221749 SOS 168297 HAS SOPS 77563 HAS SOUS 36552 HAS SOUPS 29844 WITH SCORE 30012.297
AT ITER 9889 NEW BEST:: SOT 221755 SOS 168303 HAS SOPS 77575 HAS SOUS 36535 HAS SOUPS 29827 WITH SCORE 29995.303
AT ITER 9912 NEW BEST:: SOT 221682 SOS 168300 HAS SOPS 77432 HAS SOUS 36532 HAS SOUPS 29754 WITH SCORE 29922.3
AT ITER 9928 NEW BEST:: SOT 221702 SOS 168320 HAS SOPS 77418 HAS SOUS 36513 HAS SOUPS 29735 WITH SCORE 29903.32
AT ITER 9950 NEW BEST:: SOT 221702 SOS 168320 HAS SOPS 77418 HAS SOUS 36502 HAS SOUPS 29724 WITH SCORE 29892.32
AT ITER 9965 NEW BEST:: SOT 221668 SOS 168286 HAS SOPS 77367 HAS SOUS 36451 HAS SOUPS 29673 WITH SCORE 29841.286

BK_STOP 1679143914882

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 480 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Raft-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204400360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-10.tgz
mv Raft-PT-10 execution
cd execution
if [ "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 ;