fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r067-smll-167814394400088
Last Updated
May 14, 2023

About the Execution of Smart for CSRepetitions-PT-07

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2891.987 3600000.00 3599909.00 141.40 [undef] Time out reached

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.r067-smll-167814394400088.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CSRepetitions-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394400088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.0M
-rw-r--r-- 1 mcc users 79K Feb 25 12:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 276K Feb 25 12:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 221K Feb 25 12:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 885K Feb 25 12:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 92K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 241K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 80K Feb 25 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 249K Feb 25 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 258K Feb 25 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 926K Feb 25 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 641K Feb 25 12:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.6M Feb 25 12:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 15:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 424K Mar 5 18:22 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 1678240655245

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CSRepetitions-PT-07
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (PT), instance 07
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 498 places, 833 transitions, 3087 arcs.
AT ITER 0 NEW BEST:: SOT 322939 SOS 307315 HAS SOPS 305011 HAS SOUS 277891 HAS SOUPS 275587 WITH SCORE 275894.315
AT ITER 2 NEW BEST:: SOT 323262 SOS 307448 HAS SOPS 305192 HAS SOUS 277449 HAS SOUPS 275193 WITH SCORE 275500.448
AT ITER 3 NEW BEST:: SOT 325049 SOS 303857 HAS SOPS 301601 HAS SOUS 257879 HAS SOUPS 255623 WITH SCORE 255926.857
AT ITER 5 NEW BEST:: SOT 326572 SOS 299930 HAS SOPS 297674 HAS SOUS 238256 HAS SOUPS 236000 WITH SCORE 236299.93
AT ITER 6 NEW BEST:: SOT 326572 SOS 299806 HAS SOPS 297519 HAS SOUS 238070 HAS SOUPS 235783 WITH SCORE 236082.806
AT ITER 8 NEW BEST:: SOT 326957 SOS 299314 HAS SOPS 296642 HAS SOUS 237720 HAS SOUPS 235048 WITH SCORE 235347.314
AT ITER 11 NEW BEST:: SOT 326913 SOS 299270 HAS SOPS 296598 HAS SOUS 237674 HAS SOUPS 235002 WITH SCORE 235301.27
AT ITER 13 NEW BEST:: SOT 326938 SOS 298799 HAS SOPS 296003 HAS SOUS 236955 HAS SOUPS 234159 WITH SCORE 234457.799
AT ITER 15 NEW BEST:: SOT 326914 SOS 298421 HAS SOPS 295673 HAS SOUS 236331 HAS SOUPS 233583 WITH SCORE 233881.421
AT ITER 16 NEW BEST:: SOT 326818 SOS 298325 HAS SOPS 295577 HAS SOUS 236231 HAS SOUPS 233483 WITH SCORE 233781.325
AT ITER 18 NEW BEST:: SOT 326742 SOS 297897 HAS SOPS 295197 HAS SOUS 235651 HAS SOUPS 232951 WITH SCORE 233248.897
AT ITER 21 NEW BEST:: SOT 327075 SOS 297798 HAS SOPS 295146 HAS SOUS 235424 HAS SOUPS 232772 WITH SCORE 233069.798
AT ITER 22 NEW BEST:: SOT 327099 SOS 297110 HAS SOPS 294280 HAS SOUS 234380 HAS SOUPS 231550 WITH SCORE 231847.11
AT ITER 24 NEW BEST:: SOT 327329 SOS 296366 HAS SOPS 293254 HAS SOUS 233859 HAS SOUPS 230747 WITH SCORE 231043.366
AT ITER 27 NEW BEST:: SOT 327418 SOS 295827 HAS SOPS 292715 HAS SOUS 233519 HAS SOUPS 230407 WITH SCORE 230702.827
AT ITER 29 NEW BEST:: SOT 327539 SOS 295612 HAS SOPS 292548 HAS SOUS 233262 HAS SOUPS 230198 WITH SCORE 230493.612
AT ITER 31 NEW BEST:: SOT 327517 SOS 295158 HAS SOPS 292142 HAS SOUS 232642 HAS SOUPS 229626 WITH SCORE 229921.158
AT ITER 34 NEW BEST:: SOT 327454 SOS 295095 HAS SOPS 292079 HAS SOUS 232525 HAS SOUPS 229509 WITH SCORE 229804.095
AT ITER 35 NEW BEST:: SOT 327786 SOS 294904 HAS SOPS 291556 HAS SOUS 232562 HAS SOUPS 229214 WITH SCORE 229508.904
AT ITER 36 NEW BEST:: SOT 327810 SOS 294100 HAS SOPS 290580 HAS SOUS 231358 HAS SOUPS 227838 WITH SCORE 228132.1
AT ITER 37 NEW BEST:: SOT 327647 SOS 293533 HAS SOPS 290061 HAS SOUS 230702 HAS SOUPS 227230 WITH SCORE 227523.533
AT ITER 42 NEW BEST:: SOT 327638 SOS 293092 HAS SOPS 289668 HAS SOUS 230108 HAS SOUPS 226684 WITH SCORE 226977.092
AT ITER 51 NEW BEST:: SOT 327681 SOS 292672 HAS SOPS 289327 HAS SOUS 229526 HAS SOUPS 226181 WITH SCORE 226473.672
AT ITER 52 NEW BEST:: SOT 327654 SOS 292645 HAS SOPS 289300 HAS SOUS 229499 HAS SOUPS 226154 WITH SCORE 226446.645
AT ITER 55 NEW BEST:: SOT 327873 SOS 291921 HAS SOPS 288317 HAS SOUS 228509 HAS SOUPS 224905 WITH SCORE 225196.921
AT ITER 56 NEW BEST:: SOT 327873 SOS 291818 HAS SOPS 288111 HAS SOUS 228406 HAS SOUPS 224699 WITH SCORE 224990.818
AT ITER 57 NEW BEST:: SOT 327921 SOS 290813 HAS SOPS 286790 HAS SOUS 226664 HAS SOUPS 222641 WITH SCORE 222931.813
AT ITER 59 NEW BEST:: SOT 328166 SOS 290396 HAS SOPS 286041 HAS SOUS 226361 HAS SOUPS 222006 WITH SCORE 222296.396
AT ITER 62 NEW BEST:: SOT 328143 SOS 289941 HAS SOPS 285634 HAS SOUS 225786 HAS SOUPS 221479 WITH SCORE 221768.941
AT ITER 64 NEW BEST:: SOT 328212 SOS 289241 HAS SOPS 284633 HAS SOUS 224809 HAS SOUPS 220201 WITH SCORE 220490.241
AT ITER 67 NEW BEST:: SOT 328117 SOS 289146 HAS SOPS 284538 HAS SOUS 224714 HAS SOUPS 220106 WITH SCORE 220395.146
AT ITER 68 NEW BEST:: SOT 328286 SOS 289349 HAS SOPS 284741 HAS SOUS 224625 HAS SOUPS 220017 WITH SCORE 220306.349
AT ITER 74 NEW BEST:: SOT 328200 SOS 289263 HAS SOPS 284655 HAS SOUS 224453 HAS SOUPS 219845 WITH SCORE 220134.263
AT ITER 75 NEW BEST:: SOT 328144 SOS 289207 HAS SOPS 284599 HAS SOUS 224397 HAS SOUPS 219789 WITH SCORE 220078.207
AT ITER 76 NEW BEST:: SOT 328068 SOS 289131 HAS SOPS 284523 HAS SOUS 224321 HAS SOUPS 219713 WITH SCORE 220002.131
AT ITER 77 NEW BEST:: SOT 328060 SOS 289123 HAS SOPS 284515 HAS SOUS 224313 HAS SOUPS 219705 WITH SCORE 219994.123
AT ITER 78 NEW BEST:: SOT 328280 SOS 288674 HAS SOPS 283843 HAS SOUS 223635 HAS SOUPS 218804 WITH SCORE 219092.674
AT ITER 79 NEW BEST:: SOT 328283 SOS 288677 HAS SOPS 283846 HAS SOUS 223598 HAS SOUPS 218767 WITH SCORE 219055.677
AT ITER 85 NEW BEST:: SOT 328183 SOS 288577 HAS SOPS 283746 HAS SOUS 223298 HAS SOUPS 218467 WITH SCORE 218755.577
AT ITER 89 NEW BEST:: SOT 328113 SOS 288461 HAS SOPS 283630 HAS SOUS 223173 HAS SOUPS 218342 WITH SCORE 218630.461
AT ITER 92 NEW BEST:: SOT 328168 SOS 288011 HAS SOPS 283014 HAS SOUS 222518 HAS SOUPS 217521 WITH SCORE 217809.011
AT ITER 96 NEW BEST:: SOT 327979 SOS 287822 HAS SOPS 282825 HAS SOUS 222085 HAS SOUPS 217088 WITH SCORE 217375.822
AT ITER 98 NEW BEST:: SOT 327979 SOS 287534 HAS SOPS 282465 HAS SOUS 221653 HAS SOUPS 216584 WITH SCORE 216871.534
AT ITER 103 NEW BEST:: SOT 327905 SOS 287460 HAS SOPS 282391 HAS SOUS 221577 HAS SOUPS 216508 WITH SCORE 216795.46
AT ITER 108 NEW BEST:: SOT 327775 SOS 287330 HAS SOPS 282261 HAS SOUS 221443 HAS SOUPS 216374 WITH SCORE 216661.33
AT ITER 109 NEW BEST:: SOT 332038 SOS 283109 HAS SOPS 278040 HAS SOUS 208147 HAS SOUPS 203078 WITH SCORE 203361.109
AT ITER 112 NEW BEST:: SOT 331980 SOS 283051 HAS SOPS 277982 HAS SOUS 208145 HAS SOUPS 203076 WITH SCORE 203359.051
AT ITER 114 NEW BEST:: SOT 331827 SOS 282745 HAS SOPS 277676 HAS SOUS 207834 HAS SOUPS 202765 WITH SCORE 203047.745
AT ITER 115 NEW BEST:: SOT 331756 SOS 281898 HAS SOPS 276497 HAS SOUS 206853 HAS SOUPS 201452 WITH SCORE 201733.898
AT ITER 117 NEW BEST:: SOT 326207 SOS 276733 HAS SOPS 271332 HAS SOUS 202252 HAS SOUPS 196851 WITH SCORE 197127.733
AT ITER 119 NEW BEST:: SOT 326061 SOS 276587 HAS SOPS 271186 HAS SOUS 201960 HAS SOUPS 196559 WITH SCORE 196835.587
AT ITER 121 NEW BEST:: SOT 325980 SOS 276506 HAS SOPS 271105 HAS SOUS 201879 HAS SOUPS 196478 WITH SCORE 196754.506
AT ITER 125 NEW BEST:: SOT 325980 SOS 276506 HAS SOPS 271105 HAS SOUS 201784 HAS SOUPS 196383 WITH SCORE 196659.506
AT ITER 127 NEW BEST:: SOT 325889 SOS 276415 HAS SOPS 271014 HAS SOUS 201607 HAS SOUPS 196206 WITH SCORE 196482.415
AT ITER 128 NEW BEST:: SOT 325923 SOS 276185 HAS SOPS 270784 HAS SOUS 200971 HAS SOUPS 195570 WITH SCORE 195846.185
AT ITER 132 NEW BEST:: SOT 326346 SOS 275521 HAS SOPS 269941 HAS SOUS 200491 HAS SOUPS 194911 WITH SCORE 195186.521
AT ITER 137 NEW BEST:: SOT 326291 SOS 275466 HAS SOPS 269886 HAS SOUS 200432 HAS SOUPS 194852 WITH SCORE 195127.466
AT ITER 140 NEW BEST:: SOT 326330 SOS 275388 HAS SOPS 269808 HAS SOUS 200394 HAS SOUPS 194814 WITH SCORE 195089.388
AT ITER 146 NEW BEST:: SOT 326263 SOS 274938 HAS SOPS 269406 HAS SOUS 199944 HAS SOUPS 194412 WITH SCORE 194686.938
AT ITER 157 NEW BEST:: SOT 326332 SOS 273948 HAS SOPS 268106 HAS SOUS 199367 HAS SOUPS 193525 WITH SCORE 193798.948
AT ITER 160 NEW BEST:: SOT 326291 SOS 273866 HAS SOPS 268024 HAS SOUS 199235 HAS SOUPS 193393 WITH SCORE 193666.866
AT ITER 161 NEW BEST:: SOT 326509 SOS 273264 HAS SOPS 267204 HAS SOUS 198685 HAS SOUPS 192625 WITH SCORE 192898.264
AT ITER 162 NEW BEST:: SOT 326509 SOS 273108 HAS SOPS 267048 HAS SOUS 198566 HAS SOUPS 192506 WITH SCORE 192779.108
AT ITER 163 NEW BEST:: SOT 326867 SOS 264982 HAS SOPS 258922 HAS SOUS 188264 HAS SOUPS 182204 WITH SCORE 182468.982
AT ITER 164 NEW BEST:: SOT 326820 SOS 264935 HAS SOPS 258875 HAS SOUS 188123 HAS SOUPS 182063 WITH SCORE 182327.935
AT ITER 165 NEW BEST:: SOT 326967 SOS 263625 HAS SOPS 257195 HAS SOUS 187421 HAS SOUPS 180991 WITH SCORE 181254.625
AT ITER 166 NEW BEST:: SOT 326967 SOS 263625 HAS SOPS 257195 HAS SOUS 187397 HAS SOUPS 180967 WITH SCORE 181230.625
AT ITER 167 NEW BEST:: SOT 326967 SOS 263354 HAS SOPS 256832 HAS SOUS 186763 HAS SOUPS 180241 WITH SCORE 180504.354
AT ITER 168 NEW BEST:: SOT 327216 SOS 262487 HAS SOPS 255830 HAS SOUS 186383 HAS SOUPS 179726 WITH SCORE 179988.487
AT ITER 170 NEW BEST:: SOT 327422 SOS 261958 HAS SOPS 254954 HAS SOUS 186300 HAS SOUPS 179296 WITH SCORE 179557.958
AT ITER 172 NEW BEST:: SOT 327422 SOS 261977 HAS SOPS 254954 HAS SOUS 186300 HAS SOUPS 179277 WITH SCORE 179538.977
AT ITER 173 NEW BEST:: SOT 327407 SOS 261947 HAS SOPS 254924 HAS SOUS 186255 HAS SOUPS 179232 WITH SCORE 179493.947
AT ITER 174 NEW BEST:: SOT 327265 SOS 261248 HAS SOPS 254344 HAS SOUS 185702 HAS SOUPS 178798 WITH SCORE 179059.248
AT ITER 176 NEW BEST:: SOT 327265 SOS 260949 HAS SOPS 253971 HAS SOUS 185261 HAS SOUPS 178283 WITH SCORE 178543.949
AT ITER 177 NEW BEST:: SOT 333787 SOS 259718 HAS SOPS 253104 HAS SOUS 178365 HAS SOUPS 171751 WITH SCORE 172010.718
AT ITER 178 NEW BEST:: SOT 333787 SOS 259664 HAS SOPS 252996 HAS SOUS 178242 HAS SOUPS 171574 WITH SCORE 171833.664
AT ITER 180 NEW BEST:: SOT 333913 SOS 259119 HAS SOPS 252366 HAS SOUS 178201 HAS SOUPS 171448 WITH SCORE 171707.119
AT ITER 181 NEW BEST:: SOT 333913 SOS 259099 HAS SOPS 252346 HAS SOUS 178201 HAS SOUPS 171448 WITH SCORE 171707.099
AT ITER 182 NEW BEST:: SOT 334042 SOS 258248 HAS SOPS 251443 HAS SOUS 178124 HAS SOUPS 171319 WITH SCORE 171577.248
AT ITER 186 NEW BEST:: SOT 334042 SOS 257896 HAS SOPS 251091 HAS SOUS 178083 HAS SOUPS 171278 WITH SCORE 171535.896
AT ITER 189 NEW BEST:: SOT 334312 SOS 256493 HAS SOPS 249381 HAS SOUS 177640 HAS SOUPS 170528 WITH SCORE 170784.493
AT ITER 193 NEW BEST:: SOT 334285 SOS 256018 HAS SOPS 248962 HAS SOUS 177451 HAS SOUPS 170395 WITH SCORE 170651.018
AT ITER 196 NEW BEST:: SOT 334464 SOS 255467 HAS SOPS 248411 HAS SOUS 177338 HAS SOUPS 170282 WITH SCORE 170537.467
AT ITER 200 NEW BEST:: SOT 334509 SOS 255388 HAS SOPS 248287 HAS SOUS 177383 HAS SOUPS 170282 WITH SCORE 170537.388
AT ITER 202 NEW BEST:: SOT 334509 SOS 255356 HAS SOPS 248223 HAS SOUS 177351 HAS SOUPS 170218 WITH SCORE 170473.356
AT ITER 203 NEW BEST:: SOT 334534 SOS 255231 HAS SOPS 248098 HAS SOUS 177326 HAS SOUPS 170193 WITH SCORE 170448.231
AT ITER 204 NEW BEST:: SOT 334480 SOS 255050 HAS SOPS 247917 HAS SOUS 177078 HAS SOUPS 169945 WITH SCORE 170200.05
AT ITER 208 NEW BEST:: SOT 334368 SOS 254880 HAS SOPS 247747 HAS SOUS 177034 HAS SOUPS 169901 WITH SCORE 170155.88
AT ITER 211 NEW BEST:: SOT 334368 SOS 254664 HAS SOPS 247567 HAS SOUS 176962 HAS SOUPS 169865 WITH SCORE 170119.664
AT ITER 213 NEW BEST:: SOT 334345 SOS 254641 HAS SOPS 247544 HAS SOUS 176937 HAS SOUPS 169840 WITH SCORE 170094.641
AT ITER 216 NEW BEST:: SOT 334590 SOS 253264 HAS SOPS 245833 HAS SOUS 176684 HAS SOUPS 169253 WITH SCORE 169506.264
AT ITER 219 NEW BEST:: SOT 334686 SOS 252976 HAS SOPS 245449 HAS SOUS 176684 HAS SOUPS 169157 WITH SCORE 169409.976
AT ITER 222 NEW BEST:: SOT 334727 SOS 252360 HAS SOPS 244722 HAS SOUS 176392 HAS SOUPS 168754 WITH SCORE 169006.36
AT ITER 223 NEW BEST:: SOT 334720 SOS 252277 HAS SOPS 244656 HAS SOUS 176347 HAS SOUPS 168726 WITH SCORE 168978.277
AT ITER 225 NEW BEST:: SOT 334720 SOS 252153 HAS SOPS 244532 HAS SOUS 176347 HAS SOUPS 168726 WITH SCORE 168978.153
AT ITER 226 NEW BEST:: SOT 334666 SOS 252020 HAS SOPS 244399 HAS SOUS 176239 HAS SOUPS 168618 WITH SCORE 168870.02
AT ITER 227 NEW BEST:: SOT 334667 SOS 251177 HAS SOPS 243728 HAS SOUS 176031 HAS SOUPS 168582 WITH SCORE 168833.177
AT ITER 233 NEW BEST:: SOT 334641 SOS 251151 HAS SOPS 243702 HAS SOUS 176005 HAS SOUPS 168556 WITH SCORE 168807.151
AT ITER 234 NEW BEST:: SOT 334602 SOS 251112 HAS SOPS 243663 HAS SOUS 175888 HAS SOUPS 168439 WITH SCORE 168690.112
AT ITER 236 NEW BEST:: SOT 334519 SOS 251061 HAS SOPS 243725 HAS SOUS 175774 HAS SOUPS 168438 WITH SCORE 168689.061
AT ITER 238 NEW BEST:: SOT 334541 SOS 251097 HAS SOPS 243761 HAS SOUS 175763 HAS SOUPS 168427 WITH SCORE 168678.097
AT ITER 242 NEW BEST:: SOT 334513 SOS 251069 HAS SOPS 243789 HAS SOUS 175707 HAS SOUPS 168427 WITH SCORE 168678.069
AT ITER 248 NEW BEST:: SOT 334472 SOS 250987 HAS SOPS 243789 HAS SOUS 175625 HAS SOUPS 168427 WITH SCORE 168677.987
AT ITER 251 NEW BEST:: SOT 334460 SOS 250975 HAS SOPS 243777 HAS SOUS 175589 HAS SOUPS 168391 WITH SCORE 168641.975
AT ITER 257 NEW BEST:: SOT 334284 SOS 250783 HAS SOPS 243585 HAS SOUS 175093 HAS SOUPS 167895 WITH SCORE 168145.783
AT ITER 260 NEW BEST:: SOT 334185 SOS 250923 HAS SOPS 243725 HAS SOUS 174982 HAS SOUPS 167784 WITH SCORE 168034.923
AT ITER 262 NEW BEST:: SOT 334247 SOS 250708 HAS SOPS 243416 HAS SOUS 174604 HAS SOUPS 167312 WITH SCORE 167562.708
AT ITER 265 NEW BEST:: SOT 334192 SOS 250920 HAS SOPS 243628 HAS SOUS 174502 HAS SOUPS 167210 WITH SCORE 167460.92
AT ITER 266 NEW BEST:: SOT 334103 SOS 250639 HAS SOPS 243347 HAS SOUS 174303 HAS SOUPS 167011 WITH SCORE 167261.639
AT ITER 273 NEW BEST:: SOT 333945 SOS 250481 HAS SOPS 243189 HAS SOUS 173960 HAS SOUPS 166668 WITH SCORE 166918.481
AT ITER 283 NEW BEST:: SOT 334120 SOS 250518 HAS SOPS 243093 HAS SOUS 173863 HAS SOUPS 166438 WITH SCORE 166688.518
AT ITER 290 NEW BEST:: SOT 334120 SOS 250458 HAS SOPS 243012 HAS SOUS 173776 HAS SOUPS 166330 WITH SCORE 166580.458
AT ITER 294 NEW BEST:: SOT 334040 SOS 250378 HAS SOPS 242932 HAS SOUS 173776 HAS SOUPS 166330 WITH SCORE 166580.378
AT ITER 297 NEW BEST:: SOT 334037 SOS 250354 HAS SOPS 242905 HAS SOUS 173764 HAS SOUPS 166315 WITH SCORE 166565.354
AT ITER 299 NEW BEST:: SOT 333963 SOS 250250 HAS SOPS 242801 HAS SOUS 173631 HAS SOUPS 166182 WITH SCORE 166432.25
AT ITER 300 NEW BEST:: SOT 333947 SOS 250218 HAS SOPS 242769 HAS SOUS 173554 HAS SOUPS 166105 WITH SCORE 166355.218
AT ITER 302 NEW BEST:: SOT 333908 SOS 250174 HAS SOPS 242725 HAS SOUS 173489 HAS SOUPS 166040 WITH SCORE 166290.174
AT ITER 303 NEW BEST:: SOT 333908 SOS 250063 HAS SOPS 242614 HAS SOUS 173489 HAS SOUPS 166040 WITH SCORE 166290.063
AT ITER 304 NEW BEST:: SOT 335869 SOS 251125 HAS SOPS 243570 HAS SOUS 170834 HAS SOUPS 163279 WITH SCORE 163530.125
AT ITER 305 NEW BEST:: SOT 335922 SOS 250913 HAS SOPS 243305 HAS SOUS 170834 HAS SOUPS 163226 WITH SCORE 163476.913
AT ITER 312 NEW BEST:: SOT 335905 SOS 250896 HAS SOPS 243288 HAS SOUS 170786 HAS SOUPS 163178 WITH SCORE 163428.896
AT ITER 313 NEW BEST:: SOT 289801 SOS 226341 HAS SOPS 224107 HAS SOUS 125361 HAS SOUPS 123127 WITH SCORE 123353.341
AT ITER 320 NEW BEST:: SOT 289727 SOS 226304 HAS SOPS 224070 HAS SOUS 125324 HAS SOUPS 123090 WITH SCORE 123316.304
AT ITER 327 NEW BEST:: SOT 289830 SOS 226165 HAS SOPS 223896 HAS SOUS 125359 HAS SOUPS 123090 WITH SCORE 123316.165
AT ITER 328 NEW BEST:: SOT 289733 SOS 226068 HAS SOPS 223799 HAS SOUS 125165 HAS SOUPS 122896 WITH SCORE 123122.068
AT ITER 339 NEW BEST:: SOT 289695 SOS 226030 HAS SOPS 223761 HAS SOUS 125127 HAS SOUPS 122858 WITH SCORE 123084.03
AT ITER 349 NEW BEST:: SOT 289623 SOS 225958 HAS SOPS 223689 HAS SOUS 125121 HAS SOUPS 122852 WITH SCORE 123077.958
AT ITER 350 NEW BEST:: SOT 289623 SOS 225946 HAS SOPS 223689 HAS SOUS 125109 HAS SOUPS 122852 WITH SCORE 123077.946
AT ITER 354 NEW BEST:: SOT 289668 SOS 225754 HAS SOPS 223497 HAS SOUS 125065 HAS SOUPS 122808 WITH SCORE 123033.754
AT ITER 355 NEW BEST:: SOT 289496 SOS 225582 HAS SOPS 223325 HAS SOUS 124729 HAS SOUPS 122472 WITH SCORE 122697.582
AT ITER 357 NEW BEST:: SOT 289380 SOS 225496 HAS SOPS 223239 HAS SOUS 124677 HAS SOUPS 122420 WITH SCORE 122645.496
AT ITER 366 NEW BEST:: SOT 289511 SOS 225208 HAS SOPS 222906 HAS SOUS 124497 HAS SOUPS 122195 WITH SCORE 122420.208
AT ITER 367 NEW BEST:: SOT 289332 SOS 225433 HAS SOPS 223131 HAS SOUS 124459 HAS SOUPS 122157 WITH SCORE 122382.433
AT ITER 368 NEW BEST:: SOT 289210 SOS 225425 HAS SOPS 223161 HAS SOUS 124416 HAS SOUPS 122152 WITH SCORE 122377.425
AT ITER 371 NEW BEST:: SOT 289272 SOS 225095 HAS SOPS 222819 HAS SOUS 124366 HAS SOUPS 122090 WITH SCORE 122315.095
AT ITER 373 NEW BEST:: SOT 289176 SOS 224725 HAS SOPS 222485 HAS SOUS 124070 HAS SOUPS 121830 WITH SCORE 122054.725
AT ITER 376 NEW BEST:: SOT 289858 SOS 224786 HAS SOPS 222488 HAS SOUS 124082 HAS SOUPS 121784 WITH SCORE 122008.786
AT ITER 380 NEW BEST:: SOT 290289 SOS 225070 HAS SOPS 222772 HAS SOUS 123831 HAS SOUPS 121533 WITH SCORE 121758.07
AT ITER 381 NEW BEST:: SOT 290161 SOS 224942 HAS SOPS 222644 HAS SOUS 123575 HAS SOUPS 121277 WITH SCORE 121501.942
AT ITER 386 NEW BEST:: SOT 290081 SOS 224878 HAS SOPS 222580 HAS SOUS 123527 HAS SOUPS 121229 WITH SCORE 121453.878
AT ITER 387 NEW BEST:: SOT 289890 SOS 224687 HAS SOPS 222389 HAS SOUS 123158 HAS SOUPS 120860 WITH SCORE 121084.687
AT ITER 388 NEW BEST:: SOT 289890 SOS 224343 HAS SOPS 221993 HAS SOUS 123002 HAS SOUPS 120652 WITH SCORE 120876.343
AT ITER 390 NEW BEST:: SOT 289883 SOS 224336 HAS SOPS 221986 HAS SOUS 122988 HAS SOUPS 120638 WITH SCORE 120862.336
AT ITER 398 NEW BEST:: SOT 288526 SOS 223940 HAS SOPS 221686 HAS SOUS 122428 HAS SOUPS 120174 WITH SCORE 120397.94
AT ITER 402 NEW BEST:: SOT 288526 SOS 223436 HAS SOPS 221182 HAS SOUS 122356 HAS SOUPS 120102 WITH SCORE 120325.436
AT ITER 413 NEW BEST:: SOT 288526 SOS 223384 HAS SOPS 221130 HAS SOUS 122356 HAS SOUPS 120102 WITH SCORE 120325.384
AT ITER 414 NEW BEST:: SOT 288500 SOS 223358 HAS SOPS 221104 HAS SOUS 122330 HAS SOUPS 120076 WITH SCORE 120299.358
AT ITER 417 NEW BEST:: SOT 288326 SOS 223174 HAS SOPS 220920 HAS SOUS 122004 HAS SOUPS 119750 WITH SCORE 119973.174
AT ITER 430 NEW BEST:: SOT 288255 SOS 223103 HAS SOPS 220849 HAS SOUS 121976 HAS SOUPS 119722 WITH SCORE 119945.103
AT ITER 431 NEW BEST:: SOT 287453 SOS 222455 HAS SOPS 220201 HAS SOUS 121331 HAS SOUPS 119077 WITH SCORE 119299.455
AT ITER 437 NEW BEST:: SOT 287451 SOS 222439 HAS SOPS 220185 HAS SOUS 121323 HAS SOUPS 119069 WITH SCORE 119291.439
AT ITER 439 NEW BEST:: SOT 287484 SOS 221811 HAS SOPS 219627 HAS SOUS 121197 HAS SOUPS 119013 WITH SCORE 119234.811
AT ITER 442 NEW BEST:: SOT 287467 SOS 221794 HAS SOPS 219610 HAS SOUS 121163 HAS SOUPS 118979 WITH SCORE 119200.794
AT ITER 444 NEW BEST:: SOT 287373 SOS 221700 HAS SOPS 219516 HAS SOUS 121059 HAS SOUPS 118875 WITH SCORE 119096.7
AT ITER 445 NEW BEST:: SOT 287254 SOS 221582 HAS SOPS 219398 HAS SOUS 120967 HAS SOUPS 118783 WITH SCORE 119004.582
AT ITER 446 NEW BEST:: SOT 287254 SOS 221550 HAS SOPS 219366 HAS SOUS 120963 HAS SOUPS 118779 WITH SCORE 119000.55
AT ITER 448 NEW BEST:: SOT 287152 SOS 221448 HAS SOPS 219264 HAS SOUS 120861 HAS SOUPS 118677 WITH SCORE 118898.448
AT ITER 449 NEW BEST:: SOT 287086 SOS 221382 HAS SOPS 219198 HAS SOUS 120821 HAS SOUPS 118637 WITH SCORE 118858.382
AT ITER 450 NEW BEST:: SOT 286964 SOS 221260 HAS SOPS 219076 HAS SOUS 120699 HAS SOUPS 118515 WITH SCORE 118736.26
AT ITER 461 NEW BEST:: SOT 287019 SOS 220602 HAS SOPS 218469 HAS SOUS 120630 HAS SOUPS 118497 WITH SCORE 118717.602
AT ITER 465 NEW BEST:: SOT 286809 SOS 220513 HAS SOPS 218380 HAS SOUS 120312 HAS SOUPS 118179 WITH SCORE 118399.513
AT ITER 468 NEW BEST:: SOT 286719 SOS 220423 HAS SOPS 218290 HAS SOUS 120132 HAS SOUPS 117999 WITH SCORE 118219.423
AT ITER 471 NEW BEST:: SOT 286653 SOS 220357 HAS SOPS 218224 HAS SOUS 120000 HAS SOUPS 117867 WITH SCORE 118087.357
AT ITER 477 NEW BEST:: SOT 286627 SOS 220331 HAS SOPS 218198 HAS SOUS 119974 HAS SOUPS 117841 WITH SCORE 118061.331
AT ITER 484 NEW BEST:: SOT 286558 SOS 219779 HAS SOPS 217577 HAS SOUS 119698 HAS SOUPS 117496 WITH SCORE 117715.779
AT ITER 497 NEW BEST:: SOT 286611 SOS 219663 HAS SOPS 217461 HAS SOUS 119604 HAS SOUPS 117402 WITH SCORE 117621.663
AT ITER 498 NEW BEST:: SOT 285539 SOS 218837 HAS SOPS 216635 HAS SOUS 118880 HAS SOUPS 116678 WITH SCORE 116896.837
AT ITER 504 NEW BEST:: SOT 285511 SOS 218809 HAS SOPS 216607 HAS SOUS 118824 HAS SOUPS 116622 WITH SCORE 116840.809
AT ITER 505 NEW BEST:: SOT 285511 SOS 218455 HAS SOPS 216312 HAS SOUS 118765 HAS SOUPS 116622 WITH SCORE 116840.455
AT ITER 511 NEW BEST:: SOT 285520 SOS 217772 HAS SOPS 215649 HAS SOUS 118560 HAS SOUPS 116437 WITH SCORE 116654.772
AT ITER 513 NEW BEST:: SOT 285336 SOS 217588 HAS SOPS 215465 HAS SOUS 118192 HAS SOUPS 116069 WITH SCORE 116286.588
AT ITER 515 NEW BEST:: SOT 284728 SOS 217102 HAS SOPS 214979 HAS SOUS 117910 HAS SOUPS 115787 WITH SCORE 116004.102
AT ITER 521 NEW BEST:: SOT 284168 SOS 216710 HAS SOPS 214587 HAS SOUS 117879 HAS SOUPS 115756 WITH SCORE 115972.71
AT ITER 531 NEW BEST:: SOT 284155 SOS 216697 HAS SOPS 214574 HAS SOUS 117853 HAS SOUPS 115730 WITH SCORE 115946.697
AT ITER 532 NEW BEST:: SOT 283952 SOS 216494 HAS SOPS 214371 HAS SOUS 117478 HAS SOUPS 115355 WITH SCORE 115571.494
AT ITER 534 NEW BEST:: SOT 283897 SOS 216439 HAS SOPS 214316 HAS SOUS 117366 HAS SOUPS 115243 WITH SCORE 115459.439
AT ITER 535 NEW BEST:: SOT 283897 SOS 215539 HAS SOPS 213498 HAS SOUS 117042 HAS SOUPS 115001 WITH SCORE 115216.539
AT ITER 537 NEW BEST:: SOT 283897 SOS 215539 HAS SOPS 213498 HAS SOUS 117036 HAS SOUPS 114995 WITH SCORE 115210.539
AT ITER 539 NEW BEST:: SOT 283719 SOS 215361 HAS SOPS 213320 HAS SOUS 116858 HAS SOUPS 114817 WITH SCORE 115032.361
AT ITER 541 NEW BEST:: SOT 276882 SOS 208683 HAS SOPS 206642 HAS SOUS 114114 HAS SOUPS 112073 WITH SCORE 112281.683
AT ITER 548 NEW BEST:: SOT 277160 SOS 208757 HAS SOPS 206716 HAS SOUS 113846 HAS SOUPS 111805 WITH SCORE 112013.757
AT ITER 551 NEW BEST:: SOT 277174 SOS 208771 HAS SOPS 206730 HAS SOUS 113814 HAS SOUPS 111773 WITH SCORE 111981.771
AT ITER 554 NEW BEST:: SOT 277122 SOS 208719 HAS SOPS 206678 HAS SOUS 113788 HAS SOUPS 111747 WITH SCORE 111955.719
AT ITER 576 NEW BEST:: SOT 277280 SOS 208739 HAS SOPS 206698 HAS SOUS 113653 HAS SOUPS 111612 WITH SCORE 111820.739
AT ITER 577 NEW BEST:: SOT 277279 SOS 208738 HAS SOPS 206697 HAS SOUS 113652 HAS SOUPS 111611 WITH SCORE 111819.738
AT ITER 580 NEW BEST:: SOT 277072 SOS 208600 HAS SOPS 206559 HAS SOUS 113525 HAS SOUPS 111484 WITH SCORE 111692.6
AT ITER 585 NEW BEST:: SOT 277061 SOS 208589 HAS SOPS 206548 HAS SOUS 113503 HAS SOUPS 111462 WITH SCORE 111670.589
AT ITER 591 NEW BEST:: SOT 277061 SOS 208579 HAS SOPS 206538 HAS SOUS 113503 HAS SOUPS 111462 WITH SCORE 111670.579
AT ITER 592 NEW BEST:: SOT 276855 SOS 208166 HAS SOPS 206125 HAS SOUS 113008 HAS SOUPS 110967 WITH SCORE 111175.166
AT ITER 595 NEW BEST:: SOT 276855 SOS 208159 HAS SOPS 206118 HAS SOUS 113008 HAS SOUPS 110967 WITH SCORE 111175.159
AT ITER 597 NEW BEST:: SOT 276855 SOS 207903 HAS SOPS 205893 HAS SOUS 112932 HAS SOUPS 110922 WITH SCORE 111129.903
AT ITER 598 NEW BEST:: SOT 276855 SOS 207535 HAS SOPS 205573 HAS SOUS 112820 HAS SOUPS 110858 WITH SCORE 111065.535
AT ITER 599 NEW BEST:: SOT 276855 SOS 207505 HAS SOPS 205538 HAS SOUS 112808 HAS SOUPS 110841 WITH SCORE 111048.505
AT ITER 605 NEW BEST:: SOT 276913 SOS 207443 HAS SOPS 205476 HAS SOUS 112751 HAS SOUPS 110784 WITH SCORE 110991.443
AT ITER 606 NEW BEST:: SOT 276873 SOS 207428 HAS SOPS 205461 HAS SOUS 112652 HAS SOUPS 110685 WITH SCORE 110892.428
AT ITER 611 NEW BEST:: SOT 276847 SOS 207396 HAS SOPS 205429 HAS SOUS 112600 HAS SOUPS 110633 WITH SCORE 110840.396
AT ITER 613 NEW BEST:: SOT 276715 SOS 207254 HAS SOPS 205287 HAS SOUS 112362 HAS SOUPS 110395 WITH SCORE 110602.254
AT ITER 614 NEW BEST:: SOT 276217 SOS 206766 HAS SOPS 204799 HAS SOUS 111874 HAS SOUPS 109907 WITH SCORE 110113.766
AT ITER 615 NEW BEST:: SOT 276171 SOS 206720 HAS SOPS 204753 HAS SOUS 111782 HAS SOUPS 109815 WITH SCORE 110021.72
AT ITER 631 NEW BEST:: SOT 276105 SOS 206687 HAS SOPS 204720 HAS SOUS 111782 HAS SOUPS 109815 WITH SCORE 110021.687
AT ITER 632 NEW BEST:: SOT 276105 SOS 206646 HAS SOPS 204679 HAS SOUS 111782 HAS SOUPS 109815 WITH SCORE 110021.646
AT ITER 633 NEW BEST:: SOT 276091 SOS 206632 HAS SOPS 204665 HAS SOUS 111754 HAS SOUPS 109787 WITH SCORE 109993.632
AT ITER 637 NEW BEST:: SOT 276383 SOS 200926 HAS SOPS 198959 HAS SOUS 109464 HAS SOUPS 107497 WITH SCORE 107697.926
AT ITER 639 NEW BEST:: SOT 276354 SOS 200897 HAS SOPS 198930 HAS SOUS 109400 HAS SOUPS 107433 WITH SCORE 107633.897
AT ITER 644 NEW BEST:: SOT 276329 SOS 200651 HAS SOPS 198732 HAS SOUS 109277 HAS SOUPS 107358 WITH SCORE 107558.651
AT ITER 648 NEW BEST:: SOT 276229 SOS 200551 HAS SOPS 198632 HAS SOUS 109099 HAS SOUPS 107180 WITH SCORE 107380.551
AT ITER 651 NEW BEST:: SOT 276153 SOS 200765 HAS SOPS 198846 HAS SOUS 109023 HAS SOUPS 107104 WITH SCORE 107304.765
AT ITER 652 NEW BEST:: SOT 276153 SOS 200084 HAS SOPS 198242 HAS SOUS 108909 HAS SOUPS 107067 WITH SCORE 107267.084
AT ITER 653 NEW BEST:: SOT 276163 SOS 200026 HAS SOPS 198174 HAS SOUS 108919 HAS SOUPS 107067 WITH SCORE 107267.026
AT ITER 655 NEW BEST:: SOT 276163 SOS 200026 HAS SOPS 198174 HAS SOUS 108909 HAS SOUPS 107057 WITH SCORE 107257.026
AT ITER 658 NEW BEST:: SOT 276161 SOS 200024 HAS SOPS 198172 HAS SOUS 108907 HAS SOUPS 107055 WITH SCORE 107255.024
AT ITER 659 NEW BEST:: SOT 276160 SOS 200072 HAS SOPS 198220 HAS SOUS 108897 HAS SOUPS 107045 WITH SCORE 107245.072
AT ITER 670 NEW BEST:: SOT 276082 SOS 199994 HAS SOPS 198142 HAS SOUS 108741 HAS SOUPS 106889 WITH SCORE 107088.994
AT ITER 679 NEW BEST:: SOT 276059 SOS 199810 HAS SOPS 197958 HAS SOUS 108692 HAS SOUPS 106840 WITH SCORE 107039.81
AT ITER 681 NEW BEST:: SOT 275865 SOS 199616 HAS SOPS 197764 HAS SOUS 108304 HAS SOUPS 106452 WITH SCORE 106651.616
AT ITER 686 NEW BEST:: SOT 275937 SOS 199091 HAS SOPS 197239 HAS SOUS 108304 HAS SOUPS 106452 WITH SCORE 106651.091
AT ITER 688 NEW BEST:: SOT 275969 SOS 198972 HAS SOPS 197168 HAS SOUS 108251 HAS SOUPS 106447 WITH SCORE 106645.972
AT ITER 703 NEW BEST:: SOT 275969 SOS 198894 HAS SOPS 197090 HAS SOUS 108251 HAS SOUPS 106447 WITH SCORE 106645.894
AT ITER 705 NEW BEST:: SOT 275876 SOS 198744 HAS SOPS 196940 HAS SOUS 107972 HAS SOUPS 106168 WITH SCORE 106366.744
AT ITER 707 NEW BEST:: SOT 275678 SOS 198546 HAS SOPS 196742 HAS SOUS 107675 HAS SOUPS 105871 WITH SCORE 106069.546
AT ITER 711 NEW BEST:: SOT 275623 SOS 198491 HAS SOPS 196687 HAS SOUS 107565 HAS SOUPS 105761 WITH SCORE 105959.491
AT ITER 720 NEW BEST:: SOT 275610 SOS 198476 HAS SOPS 196672 HAS SOUS 107552 HAS SOUPS 105748 WITH SCORE 105946.476
AT ITER 724 NEW BEST:: SOT 275661 SOS 198833 HAS SOPS 197029 HAS SOUS 107501 HAS SOUPS 105697 WITH SCORE 105895.833
AT ITER 726 NEW BEST:: SOT 275489 SOS 198570 HAS SOPS 196766 HAS SOUS 107157 HAS SOUPS 105353 WITH SCORE 105551.57
AT ITER 731 NEW BEST:: SOT 275417 SOS 198498 HAS SOPS 196694 HAS SOUS 107013 HAS SOUPS 105209 WITH SCORE 105407.498
AT ITER 733 NEW BEST:: SOT 275411 SOS 198492 HAS SOPS 196688 HAS SOUS 106891 HAS SOUPS 105087 WITH SCORE 105285.492
AT ITER 734 NEW BEST:: SOT 275207 SOS 198288 HAS SOPS 196484 HAS SOUS 106605 HAS SOUPS 104801 WITH SCORE 104999.288
AT ITER 739 NEW BEST:: SOT 275201 SOS 198282 HAS SOPS 196478 HAS SOUS 106599 HAS SOUPS 104795 WITH SCORE 104993.282
AT ITER 742 NEW BEST:: SOT 275105 SOS 198030 HAS SOPS 196226 HAS SOUS 106311 HAS SOUPS 104507 WITH SCORE 104705.03
AT ITER 744 NEW BEST:: SOT 275012 SOS 197249 HAS SOPS 195452 HAS SOUS 105932 HAS SOUPS 104135 WITH SCORE 104332.249
AT ITER 756 NEW BEST:: SOT 275012 SOS 197227 HAS SOPS 195430 HAS SOUS 105932 HAS SOUPS 104135 WITH SCORE 104332.227
AT ITER 759 NEW BEST:: SOT 275032 SOS 197247 HAS SOPS 195450 HAS SOUS 105914 HAS SOUPS 104117 WITH SCORE 104314.247
AT ITER 762 NEW BEST:: SOT 274887 SOS 197011 HAS SOPS 195214 HAS SOUS 105684 HAS SOUPS 103887 WITH SCORE 104084.011
AT ITER 763 NEW BEST:: SOT 274873 SOS 196997 HAS SOPS 195200 HAS SOUS 105656 HAS SOUPS 103859 WITH SCORE 104055.997
AT ITER 765 NEW BEST:: SOT 274583 SOS 197760 HAS SOPS 195873 HAS SOUS 105235 HAS SOUPS 103348 WITH SCORE 103545.76
AT ITER 767 NEW BEST:: SOT 274602 SOS 197646 HAS SOPS 195679 HAS SOUS 105214 HAS SOUPS 103247 WITH SCORE 103444.646
AT ITER 775 NEW BEST:: SOT 274540 SOS 197522 HAS SOPS 195493 HAS SOUS 105090 HAS SOUPS 103061 WITH SCORE 103258.522
AT ITER 778 NEW BEST:: SOT 274374 SOS 197424 HAS SOPS 195395 HAS SOUS 105000 HAS SOUPS 102971 WITH SCORE 103168.424
AT ITER 789 NEW BEST:: SOT 274289 SOS 197339 HAS SOPS 195310 HAS SOUS 104830 HAS SOUPS 102801 WITH SCORE 102998.339
AT ITER 793 NEW BEST:: SOT 274203 SOS 197253 HAS SOPS 195224 HAS SOUS 104647 HAS SOUPS 102618 WITH SCORE 102815.253
AT ITER 794 NEW BEST:: SOT 273809 SOS 196930 HAS SOPS 194901 HAS SOUS 104395 HAS SOUPS 102366 WITH SCORE 102562.93
AT ITER 796 NEW BEST:: SOT 273763 SOS 196884 HAS SOPS 194855 HAS SOUS 104339 HAS SOUPS 102310 WITH SCORE 102506.884
AT ITER 802 NEW BEST:: SOT 273720 SOS 196841 HAS SOPS 194812 HAS SOUS 104253 HAS SOUPS 102224 WITH SCORE 102420.841
AT ITER 805 NEW BEST:: SOT 273709 SOS 196808 HAS SOPS 194779 HAS SOUS 104211 HAS SOUPS 102182 WITH SCORE 102378.808
AT ITER 809 NEW BEST:: SOT 273637 SOS 196859 HAS SOPS 194830 HAS SOUS 104067 HAS SOUPS 102038 WITH SCORE 102234.859
AT ITER 814 NEW BEST:: SOT 273575 SOS 196699 HAS SOPS 194670 HAS SOUS 103968 HAS SOUPS 101939 WITH SCORE 102135.699
AT ITER 819 NEW BEST:: SOT 273416 SOS 195854 HAS SOPS 193825 HAS SOUS 103629 HAS SOUPS 101600 WITH SCORE 101795.854
AT ITER 828 NEW BEST:: SOT 273350 SOS 195788 HAS SOPS 193759 HAS SOUS 103604 HAS SOUPS 101575 WITH SCORE 101770.788
AT ITER 829 NEW BEST:: SOT 273248 SOS 195522 HAS SOPS 193493 HAS SOUS 103499 HAS SOUPS 101470 WITH SCORE 101665.522
AT ITER 838 NEW BEST:: SOT 273216 SOS 195490 HAS SOPS 193461 HAS SOUS 103467 HAS SOUPS 101438 WITH SCORE 101633.49
AT ITER 857 NEW BEST:: SOT 273143 SOS 195417 HAS SOPS 193388 HAS SOUS 103392 HAS SOUPS 101363 WITH SCORE 101558.417
AT ITER 858 NEW BEST:: SOT 273143 SOS 195417 HAS SOPS 193388 HAS SOUS 103390 HAS SOUPS 101361 WITH SCORE 101556.417
AT ITER 859 NEW BEST:: SOT 273164 SOS 195356 HAS SOPS 193326 HAS SOUS 103205 HAS SOUPS 101175 WITH SCORE 101370.356
AT ITER 868 NEW BEST:: SOT 272963 SOS 195227 HAS SOPS 193197 HAS SOUS 103200 HAS SOUPS 101170 WITH SCORE 101365.227
AT ITER 872 NEW BEST:: SOT 272946 SOS 195210 HAS SOPS 193180 HAS SOUS 103166 HAS SOUPS 101136 WITH SCORE 101331.21
AT ITER 873 NEW BEST:: SOT 272946 SOS 195056 HAS SOPS 193048 HAS SOUS 103144 HAS SOUPS 101136 WITH SCORE 101331.056
AT ITER 876 NEW BEST:: SOT 272594 SOS 194704 HAS SOPS 192696 HAS SOUS 102440 HAS SOUPS 100432 WITH SCORE 100626.704
AT ITER 878 NEW BEST:: SOT 272594 SOS 194676 HAS SOPS 192668 HAS SOUS 102356 HAS SOUPS 100348 WITH SCORE 100542.676
AT ITER 880 NEW BEST:: SOT 272609 SOS 194686 HAS SOPS 192678 HAS SOUS 102346 HAS SOUPS 100338 WITH SCORE 100532.686
AT ITER 882 NEW BEST:: SOT 273118 SOS 195032 HAS SOPS 193024 HAS SOUS 102332 HAS SOUPS 100324 WITH SCORE 100519.032
AT ITER 888 NEW BEST:: SOT 273118 SOS 195020 HAS SOPS 193012 HAS SOUS 102332 HAS SOUPS 100324 WITH SCORE 100519.02
AT ITER 901 NEW BEST:: SOT 272785 SOS 195287 HAS SOPS 193279 HAS SOUS 102280 HAS SOUPS 100272 WITH SCORE 100467.287
AT ITER 906 NEW BEST:: SOT 273543 SOS 195802 HAS SOPS 193794 HAS SOUS 102229 HAS SOUPS 100221 WITH SCORE 100416.802
AT ITER 908 NEW BEST:: SOT 273543 SOS 195825 HAS SOPS 193817 HAS SOUS 102097 HAS SOUPS 100089 WITH SCORE 100284.825
AT ITER 910 NEW BEST:: SOT 273529 SOS 195811 HAS SOPS 193803 HAS SOUS 102055 HAS SOUPS 100047 WITH SCORE 100242.811
AT ITER 914 NEW BEST:: SOT 273529 SOS 195405 HAS SOPS 193397 HAS SOUS 101997 HAS SOUPS 99989 WITH SCORE 100184.405
AT ITER 919 NEW BEST:: SOT 273670 SOS 195145 HAS SOPS 193137 HAS SOUS 101967 HAS SOUPS 99959 WITH SCORE 100154.145
AT ITER 922 NEW BEST:: SOT 273670 SOS 195022 HAS SOPS 193014 HAS SOUS 101967 HAS SOUPS 99959 WITH SCORE 100154.022
AT ITER 926 NEW BEST:: SOT 273611 SOS 194963 HAS SOPS 192955 HAS SOUS 101849 HAS SOUPS 99841 WITH SCORE 100035.963
AT ITER 937 NEW BEST:: SOT 273535 SOS 194887 HAS SOPS 192879 HAS SOUS 101740 HAS SOUPS 99732 WITH SCORE 99926.887
AT ITER 939 NEW BEST:: SOT 273629 SOS 194934 HAS SOPS 192926 HAS SOUS 101557 HAS SOUPS 99549 WITH SCORE 99743.934
AT ITER 940 NEW BEST:: SOT 273441 SOS 194746 HAS SOPS 192738 HAS SOUS 101369 HAS SOUPS 99361 WITH SCORE 99555.746
AT ITER 952 NEW BEST:: SOT 273060 SOS 194988 HAS SOPS 193047 HAS SOUS 101171 HAS SOUPS 99230 WITH SCORE 99424.988
AT ITER 954 NEW BEST:: SOT 273020 SOS 194948 HAS SOPS 193007 HAS SOUS 101091 HAS SOUPS 99150 WITH SCORE 99344.948
AT ITER 956 NEW BEST:: SOT 273015 SOS 194943 HAS SOPS 193002 HAS SOUS 101081 HAS SOUPS 99140 WITH SCORE 99334.943
AT ITER 958 NEW BEST:: SOT 273015 SOS 194853 HAS SOPS 192912 HAS SOUS 101081 HAS SOUPS 99140 WITH SCORE 99334.853
AT ITER 961 NEW BEST:: SOT 273015 SOS 194258 HAS SOPS 192317 HAS SOUS 100996 HAS SOUPS 99055 WITH SCORE 99249.258
AT ITER 962 NEW BEST:: SOT 273015 SOS 194222 HAS SOPS 192281 HAS SOUS 100996 HAS SOUPS 99055 WITH SCORE 99249.222
AT ITER 969 NEW BEST:: SOT 272919 SOS 194093 HAS SOPS 192152 HAS SOUS 100718 HAS SOUPS 98777 WITH SCORE 98971.093
AT ITER 972 NEW BEST:: SOT 272919 SOS 194072 HAS SOPS 192131 HAS SOUS 100718 HAS SOUPS 98777 WITH SCORE 98971.072
AT ITER 973 NEW BEST:: SOT 272866 SOS 194019 HAS SOPS 192078 HAS SOUS 100612 HAS SOUPS 98671 WITH SCORE 98865.019
AT ITER 974 NEW BEST:: SOT 272721 SOS 193874 HAS SOPS 191933 HAS SOUS 100385 HAS SOUPS 98444 WITH SCORE 98637.874
AT ITER 975 NEW BEST:: SOT 272676 SOS 193838 HAS SOPS 191897 HAS SOUS 100367 HAS SOUPS 98426 WITH SCORE 98619.838
AT ITER 976 NEW BEST:: SOT 272652 SOS 193814 HAS SOPS 191873 HAS SOUS 100319 HAS SOUPS 98378 WITH SCORE 98571.814
AT ITER 977 NEW BEST:: SOT 272559 SOS 194013 HAS SOPS 192072 HAS SOUS 100040 HAS SOUPS 98099 WITH SCORE 98293.013
AT ITER 978 NEW BEST:: SOT 272529 SOS 193983 HAS SOPS 192042 HAS SOUS 99980 HAS SOUPS 98039 WITH SCORE 98232.983
AT ITER 979 NEW BEST:: SOT 272519 SOS 193973 HAS SOPS 192032 HAS SOUS 99970 HAS SOUPS 98029 WITH SCORE 98222.973
AT ITER 980 NEW BEST:: SOT 272878 SOS 194212 HAS SOPS 192271 HAS SOUS 99827 HAS SOUPS 97886 WITH SCORE 98080.212
AT ITER 981 NEW BEST:: SOT 272540 SOS 193874 HAS SOPS 191933 HAS SOUS 99135 HAS SOUPS 97194 WITH SCORE 97387.874
AT ITER 982 NEW BEST:: SOT 272463 SOS 193709 HAS SOPS 191768 HAS SOUS 98783 HAS SOUPS 96842 WITH SCORE 97035.709
AT ITER 985 NEW BEST:: SOT 272453 SOS 193699 HAS SOPS 191758 HAS SOUS 98763 HAS SOUPS 96822 WITH SCORE 97015.699
AT ITER 991 NEW BEST:: SOT 272422 SOS 193668 HAS SOPS 191727 HAS SOUS 98718 HAS SOUPS 96777 WITH SCORE 96970.668
AT ITER 999 NEW BEST:: SOT 272345 SOS 193591 HAS SOPS 191650 HAS SOUS 98583 HAS SOUPS 96642 WITH SCORE 96835.591
AT ITER 1002 NEW BEST:: SOT 272213 SOS 193459 HAS SOPS 191518 HAS SOUS 98305 HAS SOUPS 96364 WITH SCORE 96557.459
AT ITER 1006 NEW BEST:: SOT 272192 SOS 193438 HAS SOPS 191497 HAS SOUS 98263 HAS SOUPS 96322 WITH SCORE 96515.438
AT ITER 1007 NEW BEST:: SOT 272150 SOS 193362 HAS SOPS 191421 HAS SOUS 98179 HAS SOUPS 96238 WITH SCORE 96431.362
AT ITER 1013 NEW BEST:: SOT 272135 SOS 193347 HAS SOPS 191406 HAS SOUS 98127 HAS SOUPS 96186 WITH SCORE 96379.347
AT ITER 1014 NEW BEST:: SOT 272101 SOS 193313 HAS SOPS 191372 HAS SOUS 98034 HAS SOUPS 96093 WITH SCORE 96286.313
AT ITER 1019 NEW BEST:: SOT 271852 SOS 193064 HAS SOPS 191123 HAS SOUS 97536 HAS SOUPS 95595 WITH SCORE 95788.064
AT ITER 1022 NEW BEST:: SOT 271837 SOS 193106 HAS SOPS 191165 HAS SOUS 97506 HAS SOUPS 95565 WITH SCORE 95758.106
AT ITER 1033 NEW BEST:: SOT 271823 SOS 193092 HAS SOPS 191151 HAS SOUS 97478 HAS SOUPS 95537 WITH SCORE 95730.092
AT ITER 1034 NEW BEST:: SOT 271894 SOS 193087 HAS SOPS 191042 HAS SOUS 97445 HAS SOUPS 95400 WITH SCORE 95593.087
AT ITER 1039 NEW BEST:: SOT 271894 SOS 193053 HAS SOPS 191042 HAS SOUS 97411 HAS SOUPS 95400 WITH SCORE 95593.053
AT ITER 1041 NEW BEST:: SOT 271894 SOS 192622 HAS SOPS 190667 HAS SOUS 97355 HAS SOUPS 95400 WITH SCORE 95592.622
AT ITER 1045 NEW BEST:: SOT 271786 SOS 192514 HAS SOPS 190559 HAS SOUS 97139 HAS SOUPS 95184 WITH SCORE 95376.514
AT ITER 1049 NEW BEST:: SOT 271770 SOS 192482 HAS SOPS 190527 HAS SOUS 97091 HAS SOUPS 95136 WITH SCORE 95328.482
AT ITER 1051 NEW BEST:: SOT 271664 SOS 192376 HAS SOPS 190421 HAS SOUS 96977 HAS SOUPS 95022 WITH SCORE 95214.376
AT ITER 1053 NEW BEST:: SOT 271125 SOS 192050 HAS SOPS 190095 HAS SOUS 96973 HAS SOUPS 95018 WITH SCORE 95210.05
AT ITER 1059 NEW BEST:: SOT 271081 SOS 192006 HAS SOPS 190051 HAS SOUS 96941 HAS SOUPS 94986 WITH SCORE 95178.006
AT ITER 1074 NEW BEST:: SOT 270992 SOS 191917 HAS SOPS 189962 HAS SOUS 96843 HAS SOUPS 94888 WITH SCORE 95079.917
AT ITER 1076 NEW BEST:: SOT 270965 SOS 191149 HAS SOPS 189266 HAS SOUS 96666 HAS SOUPS 94783 WITH SCORE 94974.149
AT ITER 1077 NEW BEST:: SOT 270923 SOS 191051 HAS SOPS 189168 HAS SOUS 96582 HAS SOUPS 94699 WITH SCORE 94890.051
AT ITER 1078 NEW BEST:: SOT 270122 SOS 190400 HAS SOPS 188517 HAS SOUS 96213 HAS SOUPS 94330 WITH SCORE 94520.4
AT ITER 1082 NEW BEST:: SOT 270104 SOS 190292 HAS SOPS 188409 HAS SOUS 96213 HAS SOUPS 94330 WITH SCORE 94520.292
AT ITER 1086 NEW BEST:: SOT 270104 SOS 189784 HAS SOPS 187969 HAS SOUS 96145 HAS SOUPS 94330 WITH SCORE 94519.784
AT ITER 1094 NEW BEST:: SOT 270085 SOS 189765 HAS SOPS 187950 HAS SOUS 96107 HAS SOUPS 94292 WITH SCORE 94481.765
AT ITER 1097 NEW BEST:: SOT 270202 SOS 189863 HAS SOPS 188048 HAS SOUS 96083 HAS SOUPS 94268 WITH SCORE 94457.863
AT ITER 1098 NEW BEST:: SOT 270182 SOS 189843 HAS SOPS 188028 HAS SOUS 96067 HAS SOUPS 94252 WITH SCORE 94441.843
AT ITER 1101 NEW BEST:: SOT 270104 SOS 189815 HAS SOPS 188000 HAS SOUS 95858 HAS SOUPS 94043 WITH SCORE 94232.815
AT ITER 1114 NEW BEST:: SOT 270135 SOS 189802 HAS SOPS 187987 HAS SOUS 95856 HAS SOUPS 94041 WITH SCORE 94230.802
AT ITER 1115 NEW BEST:: SOT 270028 SOS 189501 HAS SOPS 187686 HAS SOUS 95724 HAS SOUPS 93909 WITH SCORE 94098.501
AT ITER 1123 NEW BEST:: SOT 270028 SOS 189443 HAS SOPS 187640 HAS SOUS 95712 HAS SOUPS 93909 WITH SCORE 94098.443
AT ITER 1126 NEW BEST:: SOT 269519 SOS 189094 HAS SOPS 187291 HAS SOUS 95594 HAS SOUPS 93791 WITH SCORE 93980.094
AT ITER 1129 NEW BEST:: SOT 269508 SOS 189081 HAS SOPS 187278 HAS SOUS 95584 HAS SOUPS 93781 WITH SCORE 93970.081
AT ITER 1131 NEW BEST:: SOT 269430 SOS 189003 HAS SOPS 187200 HAS SOUS 95466 HAS SOUPS 93663 WITH SCORE 93852.003
AT ITER 1150 NEW BEST:: SOT 269426 SOS 188967 HAS SOPS 187164 HAS SOUS 95454 HAS SOUPS 93651 WITH SCORE 93839.967
AT ITER 1160 NEW BEST:: SOT 269556 SOS 188822 HAS SOPS 186988 HAS SOUS 95415 HAS SOUPS 93581 WITH SCORE 93769.822
AT ITER 1163 NEW BEST:: SOT 269494 SOS 188760 HAS SOPS 186926 HAS SOUS 95291 HAS SOUPS 93457 WITH SCORE 93645.76
AT ITER 1168 NEW BEST:: SOT 269474 SOS 188740 HAS SOPS 186906 HAS SOUS 95251 HAS SOUPS 93417 WITH SCORE 93605.74
AT ITER 1180 NEW BEST:: SOT 269385 SOS 188651 HAS SOPS 186817 HAS SOUS 95225 HAS SOUPS 93391 WITH SCORE 93579.651
AT ITER 1186 NEW BEST:: SOT 269277 SOS 188543 HAS SOPS 186709 HAS SOUS 95009 HAS SOUPS 93175 WITH SCORE 93363.543
AT ITER 1191 NEW BEST:: SOT 269245 SOS 189027 HAS SOPS 187193 HAS SOUS 94913 HAS SOUPS 93079 WITH SCORE 93268.027
AT ITER 1214 NEW BEST:: SOT 269097 SOS 188909 HAS SOPS 187075 HAS SOUS 94857 HAS SOUPS 93023 WITH SCORE 93211.909
AT ITER 1216 NEW BEST:: SOT 269097 SOS 188853 HAS SOPS 187012 HAS SOUS 94843 HAS SOUPS 93002 WITH SCORE 93190.853
AT ITER 1217 NEW BEST:: SOT 269037 SOS 188417 HAS SOPS 186576 HAS SOUS 94689 HAS SOUPS 92848 WITH SCORE 93036.417
AT ITER 1222 NEW BEST:: SOT 268917 SOS 188297 HAS SOPS 186456 HAS SOUS 94449 HAS SOUPS 92608 WITH SCORE 92796.297
AT ITER 1230 NEW BEST:: SOT 268783 SOS 188163 HAS SOPS 186322 HAS SOUS 94297 HAS SOUPS 92456 WITH SCORE 92644.163
AT ITER 1250 NEW BEST:: SOT 268224 SOS 187737 HAS SOPS 185896 HAS SOUS 93904 HAS SOUPS 92063 WITH SCORE 92250.737
AT ITER 1259 NEW BEST:: SOT 268190 SOS 187815 HAS SOPS 185974 HAS SOUS 93818 HAS SOUPS 91977 WITH SCORE 92164.815
AT ITER 1261 NEW BEST:: SOT 268108 SOS 187733 HAS SOPS 185892 HAS SOUS 93744 HAS SOUPS 91903 WITH SCORE 92090.733
AT ITER 1262 NEW BEST:: SOT 268096 SOS 187721 HAS SOPS 185880 HAS SOUS 93720 HAS SOUPS 91879 WITH SCORE 92066.721
AT ITER 1263 NEW BEST:: SOT 268042 SOS 187676 HAS SOPS 185835 HAS SOUS 93675 HAS SOUPS 91834 WITH SCORE 92021.676
AT ITER 1272 NEW BEST:: SOT 267948 SOS 187582 HAS SOPS 185741 HAS SOUS 93487 HAS SOUPS 91646 WITH SCORE 91833.582
AT ITER 1274 NEW BEST:: SOT 267932 SOS 187477 HAS SOPS 185676 HAS SOUS 93411 HAS SOUPS 91610 WITH SCORE 91797.477
AT ITER 1276 NEW BEST:: SOT 267893 SOS 187438 HAS SOPS 185637 HAS SOUS 93333 HAS SOUPS 91532 WITH SCORE 91719.438
AT ITER 1278 NEW BEST:: SOT 267863 SOS 187408 HAS SOPS 185607 HAS SOUS 93273 HAS SOUPS 91472 WITH SCORE 91659.408
AT ITER 1298 NEW BEST:: SOT 267799 SOS 187344 HAS SOPS 185543 HAS SOUS 93145 HAS SOUPS 91344 WITH SCORE 91531.344
AT ITER 1303 NEW BEST:: SOT 267747 SOS 187292 HAS SOPS 185491 HAS SOUS 93041 HAS SOUPS 91240 WITH SCORE 91427.292
AT ITER 1305 NEW BEST:: SOT 267729 SOS 187274 HAS SOPS 185473 HAS SOUS 93005 HAS SOUPS 91204 WITH SCORE 91391.274
AT ITER 1311 NEW BEST:: SOT 267721 SOS 187677 HAS SOPS 185876 HAS SOUS 92981 HAS SOUPS 91180 WITH SCORE 91367.677
AT ITER 1317 NEW BEST:: SOT 267637 SOS 187593 HAS SOPS 185792 HAS SOUS 92735 HAS SOUPS 90934 WITH SCORE 91121.593
AT ITER 1319 NEW BEST:: SOT 267637 SOS 187466 HAS SOPS 185665 HAS SOUS 92735 HAS SOUPS 90934 WITH SCORE 91121.466
AT ITER 1335 NEW BEST:: SOT 267637 SOS 187458 HAS SOPS 185657 HAS SOUS 92735 HAS SOUPS 90934 WITH SCORE 91121.458
AT ITER 1339 NEW BEST:: SOT 266614 SOS 186764 HAS SOPS 184963 HAS SOUS 92691 HAS SOUPS 90890 WITH SCORE 91076.764
AT ITER 1345 NEW BEST:: SOT 266634 SOS 186574 HAS SOPS 184743 HAS SOUS 92632 HAS SOUPS 90801 WITH SCORE 90987.574
AT ITER 1371 NEW BEST:: SOT 266208 SOS 186148 HAS SOPS 184317 HAS SOUS 92206 HAS SOUPS 90375 WITH SCORE 90561.148
AT ITER 1374 NEW BEST:: SOT 266158 SOS 186098 HAS SOPS 184267 HAS SOUS 92156 HAS SOUPS 90325 WITH SCORE 90511.098
AT ITER 1379 NEW BEST:: SOT 265859 SOS 186446 HAS SOPS 184692 HAS SOUS 91970 HAS SOUPS 90216 WITH SCORE 90402.446
AT ITER 1381 NEW BEST:: SOT 265835 SOS 186422 HAS SOPS 184668 HAS SOUS 91922 HAS SOUPS 90168 WITH SCORE 90354.422
AT ITER 1383 NEW BEST:: SOT 265835 SOS 186420 HAS SOPS 184666 HAS SOUS 91922 HAS SOUPS 90168 WITH SCORE 90354.42
AT ITER 1387 NEW BEST:: SOT 265825 SOS 186410 HAS SOPS 184656 HAS SOUS 91902 HAS SOUPS 90148 WITH SCORE 90334.41
AT ITER 1393 NEW BEST:: SOT 265771 SOS 186356 HAS SOPS 184602 HAS SOUS 91794 HAS SOUPS 90040 WITH SCORE 90226.356
AT ITER 1395 NEW BEST:: SOT 265679 SOS 186264 HAS SOPS 184510 HAS SOUS 91622 HAS SOUPS 89868 WITH SCORE 90054.264
AT ITER 1400 NEW BEST:: SOT 265679 SOS 186236 HAS SOPS 184482 HAS SOUS 91622 HAS SOUPS 89868 WITH SCORE 90054.236
AT ITER 1407 NEW BEST:: SOT 265679 SOS 186190 HAS SOPS 184436 HAS SOUS 91622 HAS SOUPS 89868 WITH SCORE 90054.19
AT ITER 1408 NEW BEST:: SOT 265447 SOS 186567 HAS SOPS 184894 HAS SOUS 91390 HAS SOUPS 89717 WITH SCORE 89903.567
AT ITER 1418 NEW BEST:: SOT 265471 SOS 186591 HAS SOPS 184918 HAS SOUS 91362 HAS SOUPS 89689 WITH SCORE 89875.591
AT ITER 1421 NEW BEST:: SOT 265417 SOS 186537 HAS SOPS 184864 HAS SOUS 91254 HAS SOUPS 89581 WITH SCORE 89767.537
AT ITER 1440 NEW BEST:: SOT 265351 SOS 186471 HAS SOPS 184798 HAS SOUS 91136 HAS SOUPS 89463 WITH SCORE 89649.471
AT ITER 1442 NEW BEST:: SOT 265337 SOS 186457 HAS SOPS 184784 HAS SOUS 91108 HAS SOUPS 89435 WITH SCORE 89621.457
AT ITER 1452 NEW BEST:: SOT 265317 SOS 186437 HAS SOPS 184764 HAS SOUS 90912 HAS SOUPS 89239 WITH SCORE 89425.437
AT ITER 1454 NEW BEST:: SOT 265261 SOS 186381 HAS SOPS 184708 HAS SOUS 90840 HAS SOUPS 89167 WITH SCORE 89353.381
AT ITER 1457 NEW BEST:: SOT 265191 SOS 186311 HAS SOPS 184638 HAS SOUS 90700 HAS SOUPS 89027 WITH SCORE 89213.311
AT ITER 1461 NEW BEST:: SOT 265041 SOS 186244 HAS SOPS 184571 HAS SOUS 90649 HAS SOUPS 88976 WITH SCORE 89162.244
AT ITER 1478 NEW BEST:: SOT 265012 SOS 186020 HAS SOPS 184347 HAS SOUS 90562 HAS SOUPS 88889 WITH SCORE 89075.02
AT ITER 1486 NEW BEST:: SOT 264689 SOS 185732 HAS SOPS 184059 HAS SOUS 89913 HAS SOUPS 88240 WITH SCORE 88425.732
AT ITER 1487 NEW BEST:: SOT 264478 SOS 185573 HAS SOPS 183900 HAS SOUS 89879 HAS SOUPS 88206 WITH SCORE 88391.573
AT ITER 1488 NEW BEST:: SOT 263973 SOS 185214 HAS SOPS 183541 HAS SOUS 89463 HAS SOUPS 87790 WITH SCORE 87975.214
AT ITER 1507 NEW BEST:: SOT 263952 SOS 185193 HAS SOPS 183520 HAS SOUS 89400 HAS SOUPS 87727 WITH SCORE 87912.193
AT ITER 1512 NEW BEST:: SOT 263952 SOS 185041 HAS SOPS 183368 HAS SOUS 89400 HAS SOUPS 87727 WITH SCORE 87912.041
AT ITER 1513 NEW BEST:: SOT 263751 SOS 184840 HAS SOPS 183167 HAS SOUS 89020 HAS SOUPS 87347 WITH SCORE 87531.84
AT ITER 1526 NEW BEST:: SOT 263446 SOS 185019 HAS SOPS 183400 HAS SOUS 88793 HAS SOUPS 87174 WITH SCORE 87359.019
AT ITER 1528 NEW BEST:: SOT 263382 SOS 184955 HAS SOPS 183336 HAS SOUS 88743 HAS SOUPS 87124 WITH SCORE 87308.955
AT ITER 1534 NEW BEST:: SOT 263309 SOS 184882 HAS SOPS 183263 HAS SOUS 88643 HAS SOUPS 87024 WITH SCORE 87208.882
AT ITER 1543 NEW BEST:: SOT 262802 SOS 184487 HAS SOPS 182868 HAS SOUS 88594 HAS SOUPS 86975 WITH SCORE 87159.487
AT ITER 1549 NEW BEST:: SOT 262786 SOS 184475 HAS SOPS 182856 HAS SOUS 88594 HAS SOUPS 86975 WITH SCORE 87159.475
AT ITER 1562 NEW BEST:: SOT 262706 SOS 184435 HAS SOPS 182816 HAS SOUS 88554 HAS SOUPS 86935 WITH SCORE 87119.435
AT ITER 1563 NEW BEST:: SOT 262336 SOS 184215 HAS SOPS 182596 HAS SOUS 88304 HAS SOUPS 86685 WITH SCORE 86869.215
AT ITER 1570 NEW BEST:: SOT 261997 SOS 184014 HAS SOPS 182395 HAS SOUS 88293 HAS SOUPS 86674 WITH SCORE 86858.014
AT ITER 1571 NEW BEST:: SOT 261996 SOS 184005 HAS SOPS 182395 HAS SOUS 88281 HAS SOUPS 86671 WITH SCORE 86855.005
AT ITER 1588 NEW BEST:: SOT 261657 SOS 183756 HAS SOPS 182146 HAS SOUS 87984 HAS SOUPS 86374 WITH SCORE 86557.756
AT ITER 1590 NEW BEST:: SOT 261647 SOS 183746 HAS SOPS 182136 HAS SOUS 87936 HAS SOUPS 86326 WITH SCORE 86509.746
AT ITER 1613 NEW BEST:: SOT 261647 SOS 183698 HAS SOPS 182136 HAS SOUS 87888 HAS SOUPS 86326 WITH SCORE 86509.698
AT ITER 1615 NEW BEST:: SOT 262153 SOS 183443 HAS SOPS 181804 HAS SOUS 87947 HAS SOUPS 86308 WITH SCORE 86491.443
AT ITER 1632 NEW BEST:: SOT 262033 SOS 183323 HAS SOPS 181684 HAS SOUS 87747 HAS SOUPS 86108 WITH SCORE 86291.323
AT ITER 1653 NEW BEST:: SOT 261969 SOS 182837 HAS SOPS 181132 HAS SOUS 87621 HAS SOUPS 85916 WITH SCORE 86098.837
AT ITER 1655 NEW BEST:: SOT 261865 SOS 182733 HAS SOPS 181028 HAS SOUS 87504 HAS SOUPS 85799 WITH SCORE 85981.733
AT ITER 1676 NEW BEST:: SOT 262205 SOS 182930 HAS SOPS 181225 HAS SOUS 87477 HAS SOUPS 85772 WITH SCORE 85954.93
AT ITER 1678 NEW BEST:: SOT 262188 SOS 182913 HAS SOPS 181208 HAS SOUS 87431 HAS SOUPS 85726 WITH SCORE 85908.913
AT ITER 1682 NEW BEST:: SOT 262230 SOS 182631 HAS SOPS 180926 HAS SOUS 87431 HAS SOUPS 85726 WITH SCORE 85908.631
AT ITER 1683 NEW BEST:: SOT 262230 SOS 182456 HAS SOPS 180776 HAS SOUS 87406 HAS SOUPS 85726 WITH SCORE 85908.456
AT ITER 1689 NEW BEST:: SOT 262190 SOS 182416 HAS SOPS 180736 HAS SOUS 87326 HAS SOUPS 85646 WITH SCORE 85828.416
AT ITER 1695 NEW BEST:: SOT 262179 SOS 182405 HAS SOPS 180725 HAS SOUS 87304 HAS SOUPS 85624 WITH SCORE 85806.405
AT ITER 1703 NEW BEST:: SOT 262159 SOS 182183 HAS SOPS 180503 HAS SOUS 87244 HAS SOUPS 85564 WITH SCORE 85746.183
AT ITER 1724 NEW BEST:: SOT 262159 SOS 182161 HAS SOPS 180503 HAS SOUS 87222 HAS SOUPS 85564 WITH SCORE 85746.161
AT ITER 1728 NEW BEST:: SOT 262145 SOS 182147 HAS SOPS 180489 HAS SOUS 87194 HAS SOUPS 85536 WITH SCORE 85718.147
AT ITER 1730 NEW BEST:: SOT 262101 SOS 182103 HAS SOPS 180445 HAS SOUS 87106 HAS SOUPS 85448 WITH SCORE 85630.103
AT ITER 1748 NEW BEST:: SOT 262749 SOS 182719 HAS SOPS 181061 HAS SOUS 87095 HAS SOUPS 85437 WITH SCORE 85619.719
AT ITER 1750 NEW BEST:: SOT 262661 SOS 182631 HAS SOPS 180973 HAS SOUS 86930 HAS SOUPS 85272 WITH SCORE 85454.631
AT ITER 1760 NEW BEST:: SOT 262643 SOS 182622 HAS SOPS 180964 HAS SOUS 86930 HAS SOUPS 85272 WITH SCORE 85454.622
AT ITER 1762 NEW BEST:: SOT 262643 SOS 182622 HAS SOPS 180964 HAS SOUS 86914 HAS SOUPS 85256 WITH SCORE 85438.622
AT ITER 1764 NEW BEST:: SOT 262559 SOS 182677 HAS SOPS 181019 HAS SOUS 86774 HAS SOUPS 85116 WITH SCORE 85298.677
AT ITER 1776 NEW BEST:: SOT 261359 SOS 181377 HAS SOPS 179719 HAS SOUS 86369 HAS SOUPS 84711 WITH SCORE 84892.377
AT ITER 1779 NEW BEST:: SOT 261337 SOS 181355 HAS SOPS 179697 HAS SOUS 86325 HAS SOUPS 84667 WITH SCORE 84848.355
AT ITER 1781 NEW BEST:: SOT 261319 SOS 181337 HAS SOPS 179679 HAS SOUS 86289 HAS SOUPS 84631 WITH SCORE 84812.337
AT ITER 1784 NEW BEST:: SOT 261282 SOS 181007 HAS SOPS 179346 HAS SOUS 86181 HAS SOUPS 84520 WITH SCORE 84701.007
AT ITER 1793 NEW BEST:: SOT 261256 SOS 181058 HAS SOPS 179397 HAS SOUS 86109 HAS SOUPS 84448 WITH SCORE 84629.058
AT ITER 1803 NEW BEST:: SOT 261212 SOS 180973 HAS SOPS 179312 HAS SOUS 86032 HAS SOUPS 84371 WITH SCORE 84551.973
AT ITER 1808 NEW BEST:: SOT 261208 SOS 180971 HAS SOPS 179310 HAS SOUS 86030 HAS SOUPS 84369 WITH SCORE 84549.971
AT ITER 1823 NEW BEST:: SOT 261166 SOS 180929 HAS SOPS 179268 HAS SOUS 85974 HAS SOUPS 84313 WITH SCORE 84493.929
AT ITER 1835 NEW BEST:: SOT 260347 SOS 180717 HAS SOPS 179056 HAS SOUS 85661 HAS SOUPS 84000 WITH SCORE 84180.717
AT ITER 1837 NEW BEST:: SOT 260347 SOS 180690 HAS SOPS 179029 HAS SOUS 85661 HAS SOUPS 84000 WITH SCORE 84180.69
AT ITER 1876 NEW BEST:: SOT 260347 SOS 180669 HAS SOPS 179008 HAS SOUS 85661 HAS SOUPS 84000 WITH SCORE 84180.669
AT ITER 1886 NEW BEST:: SOT 260344 SOS 180666 HAS SOPS 179005 HAS SOUS 85658 HAS SOUPS 83997 WITH SCORE 84177.666
AT ITER 1889 NEW BEST:: SOT 260344 SOS 180628 HAS SOPS 178967 HAS SOUS 85658 HAS SOUPS 83997 WITH SCORE 84177.628
AT ITER 1891 NEW BEST:: SOT 260326 SOS 180610 HAS SOPS 178949 HAS SOUS 85640 HAS SOUPS 83979 WITH SCORE 84159.61
AT ITER 1903 NEW BEST:: SOT 260154 SOS 180576 HAS SOPS 178915 HAS SOUS 85572 HAS SOUPS 83911 WITH SCORE 84091.576
AT ITER 1913 NEW BEST:: SOT 260199 SOS 180488 HAS SOPS 178694 HAS SOUS 85639 HAS SOUPS 83845 WITH SCORE 84025.488
AT ITER 1915 NEW BEST:: SOT 260097 SOS 180431 HAS SOPS 178637 HAS SOUS 85547 HAS SOUPS 83753 WITH SCORE 83933.431
AT ITER 1920 NEW BEST:: SOT 259984 SOS 180318 HAS SOPS 178524 HAS SOUS 85321 HAS SOUPS 83527 WITH SCORE 83707.318
AT ITER 1937 NEW BEST:: SOT 259839 SOS 180179 HAS SOPS 178385 HAS SOUS 85283 HAS SOUPS 83489 WITH SCORE 83669.179
AT ITER 1945 NEW BEST:: SOT 259839 SOS 179571 HAS SOPS 177777 HAS SOUS 85195 HAS SOUPS 83401 WITH SCORE 83580.571
AT ITER 1947 NEW BEST:: SOT 259790 SOS 179522 HAS SOPS 177728 HAS SOUS 85097 HAS SOUPS 83303 WITH SCORE 83482.522
AT ITER 1965 NEW BEST:: SOT 259770 SOS 179502 HAS SOPS 177708 HAS SOUS 85057 HAS SOUPS 83263 WITH SCORE 83442.502
AT ITER 1986 NEW BEST:: SOT 259725 SOS 179457 HAS SOPS 177663 HAS SOUS 84982 HAS SOUPS 83188 WITH SCORE 83367.457
AT ITER 1988 NEW BEST:: SOT 259645 SOS 179377 HAS SOPS 177583 HAS SOUS 84822 HAS SOUPS 83028 WITH SCORE 83207.377
AT ITER 1997 NEW BEST:: SOT 259669 SOS 179401 HAS SOPS 177607 HAS SOUS 84814 HAS SOUPS 83020 WITH SCORE 83199.401
AT ITER 2006 NEW BEST:: SOT 259669 SOS 179264 HAS SOPS 177470 HAS SOUS 84814 HAS SOUPS 83020 WITH SCORE 83199.264
AT ITER 2011 NEW BEST:: SOT 259637 SOS 179327 HAS SOPS 177533 HAS SOUS 84800 HAS SOUPS 83006 WITH SCORE 83185.327
AT ITER 2013 NEW BEST:: SOT 259634 SOS 179388 HAS SOPS 177594 HAS SOUS 84794 HAS SOUPS 83000 WITH SCORE 83179.388
AT ITER 2014 NEW BEST:: SOT 259480 SOS 179234 HAS SOPS 177440 HAS SOUS 84550 HAS SOUPS 82756 WITH SCORE 82935.234
AT ITER 2023 NEW BEST:: SOT 259447 SOS 179201 HAS SOPS 177407 HAS SOUS 84517 HAS SOUPS 82723 WITH SCORE 82902.201
AT ITER 2038 NEW BEST:: SOT 259423 SOS 179177 HAS SOPS 177383 HAS SOUS 84493 HAS SOUPS 82699 WITH SCORE 82878.177
AT ITER 2039 NEW BEST:: SOT 259402 SOS 179156 HAS SOPS 177362 HAS SOUS 84451 HAS SOUPS 82657 WITH SCORE 82836.156
AT ITER 2044 NEW BEST:: SOT 259193 SOS 179025 HAS SOPS 177231 HAS SOUS 84362 HAS SOUPS 82568 WITH SCORE 82747.025
AT ITER 2052 NEW BEST:: SOT 259232 SOS 178791 HAS SOPS 176958 HAS SOUS 84401 HAS SOUPS 82568 WITH SCORE 82746.791
AT ITER 2053 NEW BEST:: SOT 259131 SOS 178731 HAS SOPS 176898 HAS SOUS 84322 HAS SOUPS 82489 WITH SCORE 82667.731
AT ITER 2063 NEW BEST:: SOT 259077 SOS 178576 HAS SOPS 176850 HAS SOUS 84215 HAS SOUPS 82489 WITH SCORE 82667.576
AT ITER 2066 NEW BEST:: SOT 259033 SOS 178555 HAS SOPS 176829 HAS SOUS 84196 HAS SOUPS 82470 WITH SCORE 82648.555
AT ITER 2092 NEW BEST:: SOT 259027 SOS 178549 HAS SOPS 176823 HAS SOUS 84184 HAS SOUPS 82458 WITH SCORE 82636.549
AT ITER 2099 NEW BEST:: SOT 259027 SOS 178486 HAS SOPS 176760 HAS SOUS 84184 HAS SOUPS 82458 WITH SCORE 82636.486
AT ITER 2107 NEW BEST:: SOT 259115 SOS 178547 HAS SOPS 176821 HAS SOUS 84144 HAS SOUPS 82418 WITH SCORE 82596.547
AT ITER 2108 NEW BEST:: SOT 259098 SOS 178530 HAS SOPS 176804 HAS SOUS 84142 HAS SOUPS 82416 WITH SCORE 82594.53
AT ITER 2112 NEW BEST:: SOT 259034 SOS 178466 HAS SOPS 176740 HAS SOUS 84014 HAS SOUPS 82288 WITH SCORE 82466.466
AT ITER 2123 NEW BEST:: SOT 259002 SOS 178434 HAS SOPS 176708 HAS SOUS 83950 HAS SOUPS 82224 WITH SCORE 82402.434
AT ITER 2128 NEW BEST:: SOT 258914 SOS 178422 HAS SOPS 176706 HAS SOUS 83861 HAS SOUPS 82145 WITH SCORE 82323.422
AT ITER 2138 NEW BEST:: SOT 258902 SOS 178410 HAS SOPS 176694 HAS SOUS 83849 HAS SOUPS 82133 WITH SCORE 82311.41
AT ITER 2146 NEW BEST:: SOT 258900 SOS 178408 HAS SOPS 176692 HAS SOUS 83845 HAS SOUPS 82129 WITH SCORE 82307.408
AT ITER 2153 NEW BEST:: SOT 258710 SOS 178309 HAS SOPS 176593 HAS SOUS 83741 HAS SOUPS 82025 WITH SCORE 82203.309
AT ITER 2154 NEW BEST:: SOT 258604 SOS 178203 HAS SOPS 176487 HAS SOUS 83529 HAS SOUPS 81813 WITH SCORE 81991.203
AT ITER 2181 NEW BEST:: SOT 258560 SOS 178159 HAS SOPS 176443 HAS SOUS 83441 HAS SOUPS 81725 WITH SCORE 81903.159
AT ITER 2186 NEW BEST:: SOT 258540 SOS 178623 HAS SOPS 176907 HAS SOUS 83387 HAS SOUPS 81671 WITH SCORE 81849.623
AT ITER 2189 NEW BEST:: SOT 258508 SOS 178591 HAS SOPS 176875 HAS SOUS 83303 HAS SOUPS 81587 WITH SCORE 81765.591
AT ITER 2205 NEW BEST:: SOT 258496 SOS 178579 HAS SOPS 176863 HAS SOUS 83279 HAS SOUPS 81563 WITH SCORE 81741.579
AT ITER 2211 NEW BEST:: SOT 258478 SOS 178561 HAS SOPS 176845 HAS SOUS 83243 HAS SOUPS 81527 WITH SCORE 81705.561
AT ITER 2233 NEW BEST:: SOT 258475 SOS 178588 HAS SOPS 176872 HAS SOUS 83234 HAS SOUPS 81518 WITH SCORE 81696.588
AT ITER 2235 NEW BEST:: SOT 258419 SOS 178518 HAS SOPS 176802 HAS SOUS 83186 HAS SOUPS 81470 WITH SCORE 81648.518
AT ITER 2240 NEW BEST:: SOT 258334 SOS 178414 HAS SOPS 176698 HAS SOUS 83013 HAS SOUPS 81297 WITH SCORE 81475.414
AT ITER 2245 NEW BEST:: SOT 258325 SOS 178405 HAS SOPS 176689 HAS SOUS 83012 HAS SOUPS 81296 WITH SCORE 81474.405
AT ITER 2246 NEW BEST:: SOT 258299 SOS 178379 HAS SOPS 176663 HAS SOUS 82960 HAS SOUPS 81244 WITH SCORE 81422.379
AT ITER 2256 NEW BEST:: SOT 258228 SOS 177810 HAS SOPS 176094 HAS SOUS 82747 HAS SOUPS 81031 WITH SCORE 81208.81
AT ITER 2258 NEW BEST:: SOT 258223 SOS 177900 HAS SOPS 176184 HAS SOUS 82728 HAS SOUPS 81012 WITH SCORE 81189.9
AT ITER 2263 NEW BEST:: SOT 258137 SOS 177679 HAS SOPS 175963 HAS SOUS 82470 HAS SOUPS 80754 WITH SCORE 80931.679
AT ITER 2270 NEW BEST:: SOT 258137 SOS 177581 HAS SOPS 175851 HAS SOUS 82442 HAS SOUPS 80712 WITH SCORE 80889.581
AT ITER 2307 NEW BEST:: SOT 258113 SOS 177557 HAS SOPS 175827 HAS SOUS 82394 HAS SOUPS 80664 WITH SCORE 80841.557
AT ITER 2312 NEW BEST:: SOT 258089 SOS 177533 HAS SOPS 175803 HAS SOUS 82338 HAS SOUPS 80608 WITH SCORE 80785.533
AT ITER 2331 NEW BEST:: SOT 258065 SOS 177509 HAS SOPS 175779 HAS SOUS 82290 HAS SOUPS 80560 WITH SCORE 80737.509
AT ITER 2332 NEW BEST:: SOT 257957 SOS 177401 HAS SOPS 175671 HAS SOUS 82156 HAS SOUPS 80426 WITH SCORE 80603.401
AT ITER 2342 NEW BEST:: SOT 257982 SOS 176956 HAS SOPS 175295 HAS SOUS 82085 HAS SOUPS 80424 WITH SCORE 80600.956
AT ITER 2357 NEW BEST:: SOT 257961 SOS 176935 HAS SOPS 175274 HAS SOUS 82050 HAS SOUPS 80389 WITH SCORE 80565.935
AT ITER 2363 NEW BEST:: SOT 257904 SOS 177014 HAS SOPS 175353 HAS SOUS 81932 HAS SOUPS 80271 WITH SCORE 80448.014
AT ITER 2374 NEW BEST:: SOT 257904 SOS 176911 HAS SOPS 175250 HAS SOUS 81932 HAS SOUPS 80271 WITH SCORE 80447.911
AT ITER 2386 NEW BEST:: SOT 257868 SOS 176875 HAS SOPS 175214 HAS SOUS 81860 HAS SOUPS 80199 WITH SCORE 80375.875
AT ITER 2400 NEW BEST:: SOT 257868 SOS 176811 HAS SOPS 175150 HAS SOUS 81854 HAS SOUPS 80193 WITH SCORE 80369.811
AT ITER 2401 NEW BEST:: SOT 257825 SOS 176768 HAS SOPS 175107 HAS SOUS 81768 HAS SOUPS 80107 WITH SCORE 80283.768
AT ITER 2408 NEW BEST:: SOT 257825 SOS 176767 HAS SOPS 175106 HAS SOUS 81768 HAS SOUPS 80107 WITH SCORE 80283.767
AT ITER 2414 NEW BEST:: SOT 257819 SOS 176761 HAS SOPS 175100 HAS SOUS 81762 HAS SOUPS 80101 WITH SCORE 80277.761
AT ITER 2424 NEW BEST:: SOT 257819 SOS 176664 HAS SOPS 174974 HAS SOUS 81746 HAS SOUPS 80056 WITH SCORE 80232.664
AT ITER 2434 NEW BEST:: SOT 257803 SOS 176648 HAS SOPS 174958 HAS SOUS 81714 HAS SOUPS 80024 WITH SCORE 80200.648
AT ITER 2443 NEW BEST:: SOT 257803 SOS 176626 HAS SOPS 174936 HAS SOUS 81714 HAS SOUPS 80024 WITH SCORE 80200.626
AT ITER 2456 NEW BEST:: SOT 257751 SOS 176574 HAS SOPS 174884 HAS SOUS 81610 HAS SOUPS 79920 WITH SCORE 80096.574
AT ITER 2469 NEW BEST:: SOT 257766 SOS 176496 HAS SOPS 174794 HAS SOUS 81622 HAS SOUPS 79920 WITH SCORE 80096.496
AT ITER 2480 NEW BEST:: SOT 257754 SOS 176484 HAS SOPS 174782 HAS SOUS 81598 HAS SOUPS 79896 WITH SCORE 80072.484
AT ITER 2489 NEW BEST:: SOT 257724 SOS 176454 HAS SOPS 174752 HAS SOUS 81548 HAS SOUPS 79846 WITH SCORE 80022.454
AT ITER 2501 NEW BEST:: SOT 257722 SOS 176442 HAS SOPS 174740 HAS SOUS 81541 HAS SOUPS 79839 WITH SCORE 80015.442
AT ITER 2505 NEW BEST:: SOT 257656 SOS 176343 HAS SOPS 174641 HAS SOUS 81303 HAS SOUPS 79601 WITH SCORE 79777.343
AT ITER 2512 NEW BEST:: SOT 257624 SOS 176311 HAS SOPS 174609 HAS SOUS 81187 HAS SOUPS 79485 WITH SCORE 79661.311
AT ITER 2518 NEW BEST:: SOT 257583 SOS 176445 HAS SOPS 174685 HAS SOUS 81130 HAS SOUPS 79370 WITH SCORE 79546.445
AT ITER 2523 NEW BEST:: SOT 257579 SOS 176413 HAS SOPS 174649 HAS SOUS 81122 HAS SOUPS 79358 WITH SCORE 79534.413
AT ITER 2542 NEW BEST:: SOT 257551 SOS 176385 HAS SOPS 174621 HAS SOUS 81066 HAS SOUPS 79302 WITH SCORE 79478.385
AT ITER 2543 NEW BEST:: SOT 257551 SOS 176356 HAS SOPS 174592 HAS SOUS 81066 HAS SOUPS 79302 WITH SCORE 79478.356
AT ITER 2545 NEW BEST:: SOT 257551 SOS 176266 HAS SOPS 174502 HAS SOUS 81042 HAS SOUPS 79278 WITH SCORE 79454.266
AT ITER 2548 NEW BEST:: SOT 257551 SOS 176248 HAS SOPS 174484 HAS SOUS 81042 HAS SOUPS 79278 WITH SCORE 79454.248
AT ITER 2550 NEW BEST:: SOT 257250 SOS 175965 HAS SOPS 174201 HAS SOUS 80929 HAS SOUPS 79165 WITH SCORE 79340.965
AT ITER 2569 NEW BEST:: SOT 257198 SOS 175913 HAS SOPS 174149 HAS SOUS 80825 HAS SOUPS 79061 WITH SCORE 79236.913
AT ITER 2582 NEW BEST:: SOT 257204 SOS 175808 HAS SOPS 174012 HAS SOUS 80801 HAS SOUPS 79005 WITH SCORE 79180.808
AT ITER 2589 NEW BEST:: SOT 257184 SOS 175788 HAS SOPS 173992 HAS SOUS 80761 HAS SOUPS 78965 WITH SCORE 79140.788
AT ITER 2601 NEW BEST:: SOT 257184 SOS 175733 HAS SOPS 173937 HAS SOUS 80750 HAS SOUPS 78954 WITH SCORE 79129.733
AT ITER 2609 NEW BEST:: SOT 257184 SOS 175727 HAS SOPS 173931 HAS SOUS 80750 HAS SOUPS 78954 WITH SCORE 79129.727
AT ITER 2614 NEW BEST:: SOT 257184 SOS 175727 HAS SOPS 173931 HAS SOUS 80744 HAS SOUPS 78948 WITH SCORE 79123.727
AT ITER 2618 NEW BEST:: SOT 257288 SOS 175778 HAS SOPS 173982 HAS SOUS 80742 HAS SOUPS 78946 WITH SCORE 79121.778
AT ITER 2625 NEW BEST:: SOT 257280 SOS 176050 HAS SOPS 174254 HAS SOUS 80726 HAS SOUPS 78930 WITH SCORE 79106.05
AT ITER 2629 NEW BEST:: SOT 257278 SOS 176048 HAS SOPS 174252 HAS SOUS 80722 HAS SOUPS 78926 WITH SCORE 79102.048
AT ITER 2667 NEW BEST:: SOT 257278 SOS 176044 HAS SOPS 174248 HAS SOUS 80722 HAS SOUPS 78926 WITH SCORE 79102.044
AT ITER 2685 NEW BEST:: SOT 257270 SOS 176036 HAS SOPS 174240 HAS SOUS 80718 HAS SOUPS 78922 WITH SCORE 79098.036
AT ITER 2690 NEW BEST:: SOT 257103 SOS 175869 HAS SOPS 174073 HAS SOUS 80496 HAS SOUPS 78700 WITH SCORE 78875.869
AT ITER 2713 NEW BEST:: SOT 257103 SOS 175799 HAS SOPS 174003 HAS SOUS 80496 HAS SOUPS 78700 WITH SCORE 78875.799
AT ITER 2724 NEW BEST:: SOT 257093 SOS 175789 HAS SOPS 173993 HAS SOUS 80476 HAS SOUPS 78680 WITH SCORE 78855.789
AT ITER 2728 NEW BEST:: SOT 257138 SOS 175789 HAS SOPS 173993 HAS SOUS 80431 HAS SOUPS 78635 WITH SCORE 78810.789
AT ITER 2734 NEW BEST:: SOT 257138 SOS 175759 HAS SOPS 173993 HAS SOUS 80401 HAS SOUPS 78635 WITH SCORE 78810.759
AT ITER 2737 NEW BEST:: SOT 256936 SOS 175619 HAS SOPS 173853 HAS SOUS 80357 HAS SOUPS 78591 WITH SCORE 78766.619
AT ITER 2742 NEW BEST:: SOT 256935 SOS 175521 HAS SOPS 173755 HAS SOUS 80355 HAS SOUPS 78589 WITH SCORE 78764.521
AT ITER 2759 NEW BEST:: SOT 256511 SOS 175276 HAS SOPS 173510 HAS SOUS 80265 HAS SOUPS 78499 WITH SCORE 78674.276
AT ITER 2767 NEW BEST:: SOT 257124 SOS 175624 HAS SOPS 173858 HAS SOUS 80175 HAS SOUPS 78409 WITH SCORE 78584.624
AT ITER 2769 NEW BEST:: SOT 257122 SOS 175622 HAS SOPS 173856 HAS SOUS 80171 HAS SOUPS 78405 WITH SCORE 78580.622
AT ITER 2781 NEW BEST:: SOT 257370 SOS 175788 HAS SOPS 174022 HAS SOUS 80147 HAS SOUPS 78381 WITH SCORE 78556.788
AT ITER 2786 NEW BEST:: SOT 257370 SOS 175831 HAS SOPS 174070 HAS SOUS 80141 HAS SOUPS 78380 WITH SCORE 78555.831
AT ITER 2794 NEW BEST:: SOT 257370 SOS 175741 HAS SOPS 173980 HAS SOUS 80141 HAS SOUPS 78380 WITH SCORE 78555.741
AT ITER 2799 NEW BEST:: SOT 257318 SOS 175689 HAS SOPS 173928 HAS SOUS 80037 HAS SOUPS 78276 WITH SCORE 78451.689
AT ITER 2815 NEW BEST:: SOT 256726 SOS 175390 HAS SOPS 173646 HAS SOUS 79559 HAS SOUPS 77815 WITH SCORE 77990.39
AT ITER 2817 NEW BEST:: SOT 256708 SOS 175372 HAS SOPS 173628 HAS SOUS 79529 HAS SOUPS 77785 WITH SCORE 77960.372
AT ITER 2826 NEW BEST:: SOT 256708 SOS 175372 HAS SOPS 173628 HAS SOUS 79523 HAS SOUPS 77779 WITH SCORE 77954.372
AT ITER 2843 NEW BEST:: SOT 256683 SOS 175207 HAS SOPS 173463 HAS SOUS 79470 HAS SOUPS 77726 WITH SCORE 77901.207
AT ITER 2846 NEW BEST:: SOT 256686 SOS 175201 HAS SOPS 173457 HAS SOUS 79437 HAS SOUPS 77693 WITH SCORE 77868.201
AT ITER 2862 NEW BEST:: SOT 256107 SOS 174793 HAS SOPS 173049 HAS SOUS 79395 HAS SOUPS 77651 WITH SCORE 77825.793
AT ITER 2881 NEW BEST:: SOT 256107 SOS 174793 HAS SOPS 173049 HAS SOUS 79381 HAS SOUPS 77637 WITH SCORE 77811.793
AT ITER 2902 NEW BEST:: SOT 256095 SOS 174781 HAS SOPS 173037 HAS SOUS 79357 HAS SOUPS 77613 WITH SCORE 77787.781
AT ITER 2914 NEW BEST:: SOT 256083 SOS 174769 HAS SOPS 173025 HAS SOUS 79333 HAS SOUPS 77589 WITH SCORE 77763.769
AT ITER 2920 NEW BEST:: SOT 255988 SOS 174674 HAS SOPS 172930 HAS SOUS 79143 HAS SOUPS 77399 WITH SCORE 77573.674
AT ITER 2926 NEW BEST:: SOT 255982 SOS 174616 HAS SOPS 172872 HAS SOUS 79125 HAS SOUPS 77381 WITH SCORE 77555.616
AT ITER 2938 NEW BEST:: SOT 255980 SOS 174598 HAS SOPS 172854 HAS SOUS 79119 HAS SOUPS 77375 WITH SCORE 77549.598
AT ITER 2940 NEW BEST:: SOT 255960 SOS 174578 HAS SOPS 172834 HAS SOUS 79079 HAS SOUPS 77335 WITH SCORE 77509.578
AT ITER 2942 NEW BEST:: SOT 255780 SOS 174398 HAS SOPS 172654 HAS SOUS 78719 HAS SOUPS 76975 WITH SCORE 77149.398
AT ITER 2952 NEW BEST:: SOT 255714 SOS 174288 HAS SOPS 172546 HAS SOUS 78711 HAS SOUPS 76969 WITH SCORE 77143.288
AT ITER 2954 NEW BEST:: SOT 255631 SOS 174081 HAS SOPS 172339 HAS SOUS 78554 HAS SOUPS 76812 WITH SCORE 76986.081
AT ITER 2980 NEW BEST:: SOT 255631 SOS 174078 HAS SOPS 172336 HAS SOUS 78539 HAS SOUPS 76797 WITH SCORE 76971.078
AT ITER 2983 NEW BEST:: SOT 255621 SOS 174068 HAS SOPS 172326 HAS SOUS 78519 HAS SOUPS 76777 WITH SCORE 76951.068
AT ITER 2984 NEW BEST:: SOT 255600 SOS 173879 HAS SOPS 172158 HAS SOUS 78435 HAS SOUPS 76714 WITH SCORE 76887.879
AT ITER 2986 NEW BEST:: SOT 255673 SOS 174162 HAS SOPS 172416 HAS SOUS 78452 HAS SOUPS 76706 WITH SCORE 76880.162
AT ITER 2995 NEW BEST:: SOT 255621 SOS 174110 HAS SOPS 172364 HAS SOUS 78348 HAS SOUPS 76602 WITH SCORE 76776.11
AT ITER 2996 NEW BEST:: SOT 255621 SOS 174012 HAS SOPS 172266 HAS SOUS 78348 HAS SOUPS 76602 WITH SCORE 76776.012
AT ITER 2998 NEW BEST:: SOT 255609 SOS 174628 HAS SOPS 172794 HAS SOUS 78400 HAS SOUPS 76566 WITH SCORE 76740.628
AT ITER 3001 NEW BEST:: SOT 255564 SOS 174583 HAS SOPS 172749 HAS SOUS 78310 HAS SOUPS 76476 WITH SCORE 76650.583
AT ITER 3007 NEW BEST:: SOT 255544 SOS 174563 HAS SOPS 172729 HAS SOUS 78270 HAS SOUPS 76436 WITH SCORE 76610.563
AT ITER 3009 NEW BEST:: SOT 255570 SOS 174428 HAS SOPS 172568 HAS SOUS 78296 HAS SOUPS 76436 WITH SCORE 76610.428
AT ITER 3011 NEW BEST:: SOT 255550 SOS 174180 HAS SOPS 172320 HAS SOUS 78171 HAS SOUPS 76311 WITH SCORE 76485.18
AT ITER 3027 NEW BEST:: SOT 255391 SOS 174074 HAS SOPS 172214 HAS SOUS 78012 HAS SOUPS 76152 WITH SCORE 76326.074
AT ITER 3029 NEW BEST:: SOT 255318 SOS 174677 HAS SOPS 172741 HAS SOUS 77992 HAS SOUPS 76056 WITH SCORE 76230.677
AT ITER 3033 NEW BEST:: SOT 255280 SOS 174639 HAS SOPS 172703 HAS SOUS 77916 HAS SOUPS 75980 WITH SCORE 76154.639
AT ITER 3039 NEW BEST:: SOT 255268 SOS 174627 HAS SOPS 172691 HAS SOUS 77892 HAS SOUPS 75956 WITH SCORE 76130.627
AT ITER 3040 NEW BEST:: SOT 255268 SOS 174585 HAS SOPS 172649 HAS SOUS 77892 HAS SOUPS 75956 WITH SCORE 76130.585
AT ITER 3041 NEW BEST:: SOT 255231 SOS 174548 HAS SOPS 172612 HAS SOUS 77818 HAS SOUPS 75882 WITH SCORE 76056.548
AT ITER 3051 NEW BEST:: SOT 254865 SOS 174634 HAS SOPS 172698 HAS SOUS 77790 HAS SOUPS 75854 WITH SCORE 76028.634
AT ITER 3056 NEW BEST:: SOT 254861 SOS 174626 HAS SOPS 172690 HAS SOUS 77778 HAS SOUPS 75842 WITH SCORE 76016.626
AT ITER 3058 NEW BEST:: SOT 254855 SOS 174620 HAS SOPS 172684 HAS SOUS 77772 HAS SOUPS 75836 WITH SCORE 76010.62
AT ITER 3060 NEW BEST:: SOT 254855 SOS 174610 HAS SOPS 172674 HAS SOUS 77772 HAS SOUPS 75836 WITH SCORE 76010.61
AT ITER 3065 NEW BEST:: SOT 254839 SOS 174594 HAS SOPS 172658 HAS SOUS 77740 HAS SOUPS 75804 WITH SCORE 75978.594
AT ITER 3072 NEW BEST:: SOT 254817 SOS 174572 HAS SOPS 172636 HAS SOUS 77691 HAS SOUPS 75755 WITH SCORE 75929.572
AT ITER 3078 NEW BEST:: SOT 255072 SOS 174758 HAS SOPS 172822 HAS SOUS 77654 HAS SOUPS 75718 WITH SCORE 75892.758
AT ITER 3091 NEW BEST:: SOT 255020 SOS 174731 HAS SOPS 172795 HAS SOUS 77550 HAS SOUPS 75614 WITH SCORE 75788.731
AT ITER 3107 NEW BEST:: SOT 255020 SOS 174628 HAS SOPS 172692 HAS SOUS 77550 HAS SOUPS 75614 WITH SCORE 75788.628
AT ITER 3116 NEW BEST:: SOT 254974 SOS 174582 HAS SOPS 172646 HAS SOUS 77458 HAS SOUPS 75522 WITH SCORE 75696.582
AT ITER 3121 NEW BEST:: SOT 254612 SOS 174252 HAS SOPS 172316 HAS SOUS 77316 HAS SOUPS 75380 WITH SCORE 75554.252
AT ITER 3133 NEW BEST:: SOT 254612 SOS 174147 HAS SOPS 172211 HAS SOUS 77316 HAS SOUPS 75380 WITH SCORE 75554.147
AT ITER 3147 NEW BEST:: SOT 254610 SOS 174145 HAS SOPS 172209 HAS SOUS 77312 HAS SOUPS 75376 WITH SCORE 75550.145
AT ITER 3150 NEW BEST:: SOT 254574 SOS 174053 HAS SOPS 172117 HAS SOUS 77260 HAS SOUPS 75324 WITH SCORE 75498.053
AT ITER 3161 NEW BEST:: SOT 254569 SOS 174014 HAS SOPS 172072 HAS SOUS 77251 HAS SOUPS 75309 WITH SCORE 75483.014
AT ITER 3168 NEW BEST:: SOT 254545 SOS 173990 HAS SOPS 172048 HAS SOUS 77203 HAS SOUPS 75261 WITH SCORE 75434.99
AT ITER 3195 NEW BEST:: SOT 254523 SOS 173924 HAS SOPS 171982 HAS SOUS 77137 HAS SOUPS 75195 WITH SCORE 75368.924
AT ITER 3221 NEW BEST:: SOT 254543 SOS 173923 HAS SOPS 171981 HAS SOUS 77127 HAS SOUPS 75185 WITH SCORE 75358.923
AT ITER 3239 NEW BEST:: SOT 254542 SOS 173884 HAS SOPS 171980 HAS SOUS 77087 HAS SOUPS 75183 WITH SCORE 75356.884
AT ITER 3254 NEW BEST:: SOT 254547 SOS 173859 HAS SOPS 171950 HAS SOUS 77092 HAS SOUPS 75183 WITH SCORE 75356.859
AT ITER 3261 NEW BEST:: SOT 254517 SOS 173829 HAS SOPS 171920 HAS SOUS 77032 HAS SOUPS 75123 WITH SCORE 75296.829
AT ITER 3281 NEW BEST:: SOT 254507 SOS 173828 HAS SOPS 171919 HAS SOUS 77031 HAS SOUPS 75122 WITH SCORE 75295.828
AT ITER 3302 NEW BEST:: SOT 254556 SOS 173546 HAS SOPS 171588 HAS SOUS 77080 HAS SOUPS 75122 WITH SCORE 75295.546
AT ITER 3311 NEW BEST:: SOT 254491 SOS 173649 HAS SOPS 171691 HAS SOUS 76981 HAS SOUPS 75023 WITH SCORE 75196.649
AT ITER 3320 NEW BEST:: SOT 254579 SOS 173704 HAS SOPS 171746 HAS SOUS 76893 HAS SOUPS 74935 WITH SCORE 75108.704
AT ITER 3328 NEW BEST:: SOT 254547 SOS 173672 HAS SOPS 171714 HAS SOUS 76829 HAS SOUPS 74871 WITH SCORE 75044.672
AT ITER 3330 NEW BEST:: SOT 254458 SOS 173790 HAS SOPS 171832 HAS SOUS 76819 HAS SOUPS 74861 WITH SCORE 75034.79
AT ITER 3348 NEW BEST:: SOT 254458 SOS 173755 HAS SOPS 171797 HAS SOUS 76819 HAS SOUPS 74861 WITH SCORE 75034.755
AT ITER 3357 NEW BEST:: SOT 254443 SOS 173740 HAS SOPS 171782 HAS SOUS 76789 HAS SOUPS 74831 WITH SCORE 75004.74
AT ITER 3359 NEW BEST:: SOT 254443 SOS 173676 HAS SOPS 171718 HAS SOUS 76789 HAS SOUPS 74831 WITH SCORE 75004.676
AT ITER 3362 NEW BEST:: SOT 254391 SOS 173624 HAS SOPS 171666 HAS SOUS 76691 HAS SOUPS 74733 WITH SCORE 74906.624
AT ITER 3369 NEW BEST:: SOT 254391 SOS 173624 HAS SOPS 171666 HAS SOUS 76685 HAS SOUPS 74727 WITH SCORE 74900.624
AT ITER 3370 NEW BEST:: SOT 254347 SOS 173580 HAS SOPS 171622 HAS SOUS 76597 HAS SOUPS 74639 WITH SCORE 74812.58
AT ITER 3377 NEW BEST:: SOT 254189 SOS 173530 HAS SOPS 171572 HAS SOUS 76281 HAS SOUPS 74323 WITH SCORE 74496.53
AT ITER 3380 NEW BEST:: SOT 254183 SOS 173542 HAS SOPS 171584 HAS SOUS 76263 HAS SOUPS 74305 WITH SCORE 74478.542
AT ITER 3400 NEW BEST:: SOT 254183 SOS 172774 HAS SOPS 170892 HAS SOUS 76156 HAS SOUPS 74274 WITH SCORE 74446.774
AT ITER 3402 NEW BEST:: SOT 254143 SOS 173020 HAS SOPS 171138 HAS SOUS 76036 HAS SOUPS 74154 WITH SCORE 74327.02
AT ITER 3411 NEW BEST:: SOT 254171 SOS 172994 HAS SOPS 171036 HAS SOUS 76082 HAS SOUPS 74124 WITH SCORE 74296.994
AT ITER 3418 NEW BEST:: SOT 254172 SOS 172880 HAS SOPS 170907 HAS SOUS 76046 HAS SOUPS 74073 WITH SCORE 74245.88
AT ITER 3449 NEW BEST:: SOT 254128 SOS 172851 HAS SOPS 170878 HAS SOUS 76003 HAS SOUPS 74030 WITH SCORE 74202.851
AT ITER 3460 NEW BEST:: SOT 254128 SOS 172529 HAS SOPS 170578 HAS SOUS 75981 HAS SOUPS 74030 WITH SCORE 74202.529
AT ITER 3469 NEW BEST:: SOT 254128 SOS 172526 HAS SOPS 170578 HAS SOUS 75978 HAS SOUPS 74030 WITH SCORE 74202.526
AT ITER 3473 NEW BEST:: SOT 254039 SOS 172426 HAS SOPS 170478 HAS SOUS 75797 HAS SOUPS 73849 WITH SCORE 74021.426
AT ITER 3479 NEW BEST:: SOT 254049 SOS 172431 HAS SOPS 170483 HAS SOUS 75777 HAS SOUPS 73829 WITH SCORE 74001.431
AT ITER 3484 NEW BEST:: SOT 254140 SOS 172432 HAS SOPS 170484 HAS SOUS 75688 HAS SOUPS 73740 WITH SCORE 73912.432
AT ITER 3500 NEW BEST:: SOT 254117 SOS 172409 HAS SOPS 170461 HAS SOUS 75642 HAS SOUPS 73694 WITH SCORE 73866.409
AT ITER 3513 NEW BEST:: SOT 254040 SOS 172373 HAS SOPS 170425 HAS SOUS 75611 HAS SOUPS 73663 WITH SCORE 73835.373
AT ITER 3521 NEW BEST:: SOT 254039 SOS 172670 HAS SOPS 170722 HAS SOUS 75608 HAS SOUPS 73660 WITH SCORE 73832.67
AT ITER 3538 NEW BEST:: SOT 254007 SOS 172638 HAS SOPS 170690 HAS SOUS 75544 HAS SOUPS 73596 WITH SCORE 73768.638
AT ITER 3546 NEW BEST:: SOT 253993 SOS 172624 HAS SOPS 170676 HAS SOUS 75516 HAS SOUPS 73568 WITH SCORE 73740.624
AT ITER 3547 NEW BEST:: SOT 253993 SOS 172552 HAS SOPS 170612 HAS SOUS 75508 HAS SOUPS 73568 WITH SCORE 73740.552
AT ITER 3565 NEW BEST:: SOT 253822 SOS 172466 HAS SOPS 170526 HAS SOUS 75422 HAS SOUPS 73482 WITH SCORE 73654.466
AT ITER 3571 NEW BEST:: SOT 253813 SOS 172457 HAS SOPS 170517 HAS SOUS 75404 HAS SOUPS 73464 WITH SCORE 73636.457
AT ITER 3593 NEW BEST:: SOT 253800 SOS 172444 HAS SOPS 170504 HAS SOUS 75378 HAS SOUPS 73438 WITH SCORE 73610.444
AT ITER 3596 NEW BEST:: SOT 253621 SOS 172265 HAS SOPS 170325 HAS SOUS 75026 HAS SOUPS 73086 WITH SCORE 73258.265
AT ITER 3600 NEW BEST:: SOT 253589 SOS 172233 HAS SOPS 170293 HAS SOUS 74962 HAS SOUPS 73022 WITH SCORE 73194.233
AT ITER 3606 NEW BEST:: SOT 253513 SOS 172781 HAS SOPS 170770 HAS SOUS 74961 HAS SOUPS 72950 WITH SCORE 73122.781
AT ITER 3631 NEW BEST:: SOT 253428 SOS 172696 HAS SOPS 170685 HAS SOUS 74804 HAS SOUPS 72793 WITH SCORE 72965.696
AT ITER 3642 NEW BEST:: SOT 253428 SOS 172634 HAS SOPS 170623 HAS SOUS 74804 HAS SOUPS 72793 WITH SCORE 72965.634
AT ITER 3655 NEW BEST:: SOT 253421 SOS 172627 HAS SOPS 170616 HAS SOUS 74790 HAS SOUPS 72779 WITH SCORE 72951.627
AT ITER 3657 NEW BEST:: SOT 253395 SOS 172601 HAS SOPS 170590 HAS SOUS 74740 HAS SOUPS 72729 WITH SCORE 72901.601
AT ITER 3664 NEW BEST:: SOT 253375 SOS 172581 HAS SOPS 170570 HAS SOUS 74700 HAS SOUPS 72689 WITH SCORE 72861.581
AT ITER 3674 NEW BEST:: SOT 253369 SOS 172575 HAS SOPS 170564 HAS SOUS 74688 HAS SOUPS 72677 WITH SCORE 72849.575
AT ITER 3678 NEW BEST:: SOT 253325 SOS 172531 HAS SOPS 170520 HAS SOUS 74674 HAS SOUPS 72663 WITH SCORE 72835.531
AT ITER 3718 NEW BEST:: SOT 253265 SOS 172471 HAS SOPS 170460 HAS SOUS 74554 HAS SOUPS 72543 WITH SCORE 72715.471
AT ITER 3756 NEW BEST:: SOT 252800 SOS 172149 HAS SOPS 170138 HAS SOUS 74448 HAS SOUPS 72437 WITH SCORE 72609.149
AT ITER 3776 NEW BEST:: SOT 252758 SOS 172128 HAS SOPS 170117 HAS SOUS 74427 HAS SOUPS 72416 WITH SCORE 72588.128
AT ITER 3778 NEW BEST:: SOT 252785 SOS 171903 HAS SOPS 169892 HAS SOUS 74383 HAS SOUPS 72372 WITH SCORE 72543.903
AT ITER 3793 NEW BEST:: SOT 252784 SOS 171902 HAS SOPS 169891 HAS SOUS 74381 HAS SOUPS 72370 WITH SCORE 72541.902
AT ITER 3808 NEW BEST:: SOT 252778 SOS 171896 HAS SOPS 169885 HAS SOUS 74375 HAS SOUPS 72364 WITH SCORE 72535.896
AT ITER 3815 NEW BEST:: SOT 252772 SOS 171890 HAS SOPS 169879 HAS SOUS 74363 HAS SOUPS 72352 WITH SCORE 72523.89
AT ITER 3851 NEW BEST:: SOT 252750 SOS 172006 HAS SOPS 169995 HAS SOUS 74319 HAS SOUPS 72308 WITH SCORE 72480.006
AT ITER 3862 NEW BEST:: SOT 252756 SOS 171964 HAS SOPS 169953 HAS SOUS 74319 HAS SOUPS 72308 WITH SCORE 72479.964
AT ITER 3867 NEW BEST:: SOT 252756 SOS 171952 HAS SOPS 169953 HAS SOUS 74307 HAS SOUPS 72308 WITH SCORE 72479.952
AT ITER 3868 NEW BEST:: SOT 252713 SOS 171383 HAS SOPS 169384 HAS SOUS 74136 HAS SOUPS 72137 WITH SCORE 72308.383
AT ITER 3869 NEW BEST:: SOT 252693 SOS 171483 HAS SOPS 169484 HAS SOUS 74116 HAS SOUPS 72117 WITH SCORE 72288.483
AT ITER 3881 NEW BEST:: SOT 252661 SOS 171451 HAS SOPS 169452 HAS SOUS 74052 HAS SOUPS 72053 WITH SCORE 72224.451
AT ITER 3933 NEW BEST:: SOT 252621 SOS 171336 HAS SOPS 169376 HAS SOUS 73930 HAS SOUPS 71970 WITH SCORE 72141.336
AT ITER 3951 NEW BEST:: SOT 252613 SOS 171328 HAS SOPS 169368 HAS SOUS 73910 HAS SOUPS 71950 WITH SCORE 72121.328
AT ITER 3954 NEW BEST:: SOT 252615 SOS 171320 HAS SOPS 169358 HAS SOUS 73912 HAS SOUPS 71950 WITH SCORE 72121.32
AT ITER 3972 NEW BEST:: SOT 252589 SOS 171294 HAS SOPS 169332 HAS SOUS 73860 HAS SOUPS 71898 WITH SCORE 72069.294
AT ITER 3981 NEW BEST:: SOT 252505 SOS 171558 HAS SOPS 169568 HAS SOUS 73766 HAS SOUPS 71776 WITH SCORE 71947.558
AT ITER 4010 NEW BEST:: SOT 252485 SOS 171538 HAS SOPS 169548 HAS SOUS 73726 HAS SOUPS 71736 WITH SCORE 71907.538
AT ITER 4016 NEW BEST:: SOT 252485 SOS 171538 HAS SOPS 169548 HAS SOUS 73696 HAS SOUPS 71706 WITH SCORE 71877.538
AT ITER 4026 NEW BEST:: SOT 252165 SOS 171304 HAS SOPS 169314 HAS SOUS 73688 HAS SOUPS 71698 WITH SCORE 71869.304
AT ITER 4031 NEW BEST:: SOT 249585 SOS 168865 HAS SOPS 166875 HAS SOUS 73076 HAS SOUPS 71086 WITH SCORE 71254.865
AT ITER 4051 NEW BEST:: SOT 249600 SOS 168865 HAS SOPS 166875 HAS SOUS 73061 HAS SOUPS 71071 WITH SCORE 71239.865
AT ITER 4090 NEW BEST:: SOT 249648 SOS 168619 HAS SOPS 166581 HAS SOUS 73109 HAS SOUPS 71071 WITH SCORE 71239.619
AT ITER 4092 NEW BEST:: SOT 249657 SOS 168574 HAS SOPS 166527 HAS SOUS 73118 HAS SOUPS 71071 WITH SCORE 71239.574
AT ITER 4096 NEW BEST:: SOT 249614 SOS 168448 HAS SOPS 166427 HAS SOUS 73038 HAS SOUPS 71017 WITH SCORE 71185.448
AT ITER 4105 NEW BEST:: SOT 249584 SOS 168418 HAS SOPS 166397 HAS SOUS 72996 HAS SOUPS 70975 WITH SCORE 71143.418
AT ITER 4129 NEW BEST:: SOT 249576 SOS 168410 HAS SOPS 166389 HAS SOUS 72988 HAS SOUPS 70967 WITH SCORE 71135.41
AT ITER 4143 NEW BEST:: SOT 249608 SOS 168442 HAS SOPS 166421 HAS SOUS 72970 HAS SOUPS 70949 WITH SCORE 71117.442
AT ITER 4144 NEW BEST:: SOT 249598 SOS 168432 HAS SOPS 166411 HAS SOUS 72951 HAS SOUPS 70930 WITH SCORE 71098.432
AT ITER 4156 NEW BEST:: SOT 249560 SOS 168413 HAS SOPS 166392 HAS SOUS 72932 HAS SOUPS 70911 WITH SCORE 71079.413
AT ITER 4164 NEW BEST:: SOT 249552 SOS 168405 HAS SOPS 166384 HAS SOUS 72924 HAS SOUPS 70903 WITH SCORE 71071.405
AT ITER 4176 NEW BEST:: SOT 249582 SOS 168255 HAS SOPS 166204 HAS SOUS 72954 HAS SOUPS 70903 WITH SCORE 71071.255
AT ITER 4196 NEW BEST:: SOT 249523 SOS 168196 HAS SOPS 166145 HAS SOUS 72842 HAS SOUPS 70791 WITH SCORE 70959.196
AT ITER 4209 NEW BEST:: SOT 249480 SOS 168153 HAS SOPS 166102 HAS SOUS 72777 HAS SOUPS 70726 WITH SCORE 70894.153
AT ITER 4215 NEW BEST:: SOT 249478 SOS 168162 HAS SOPS 166111 HAS SOUS 72773 HAS SOUPS 70722 WITH SCORE 70890.162
AT ITER 4230 NEW BEST:: SOT 249448 SOS 168044 HAS SOPS 165993 HAS SOUS 72696 HAS SOUPS 70645 WITH SCORE 70813.044
AT ITER 4238 NEW BEST:: SOT 249448 SOS 168041 HAS SOPS 165990 HAS SOUS 72696 HAS SOUPS 70645 WITH SCORE 70813.041
AT ITER 4240 NEW BEST:: SOT 249444 SOS 168033 HAS SOPS 165982 HAS SOUS 72684 HAS SOUPS 70633 WITH SCORE 70801.033
AT ITER 4242 NEW BEST:: SOT 249263 SOS 168271 HAS SOPS 166220 HAS SOUS 72666 HAS SOUPS 70615 WITH SCORE 70783.271
AT ITER 4243 NEW BEST:: SOT 249259 SOS 168215 HAS SOPS 166184 HAS SOUS 72634 HAS SOUPS 70603 WITH SCORE 70771.215
AT ITER 4264 NEW BEST:: SOT 249252 SOS 168208 HAS SOPS 166177 HAS SOUS 72620 HAS SOUPS 70589 WITH SCORE 70757.208
AT ITER 4290 NEW BEST:: SOT 249214 SOS 168224 HAS SOPS 166193 HAS SOUS 72544 HAS SOUPS 70513 WITH SCORE 70681.224
AT ITER 4311 NEW BEST:: SOT 249202 SOS 168170 HAS SOPS 166139 HAS SOUS 72536 HAS SOUPS 70505 WITH SCORE 70673.17
AT ITER 4321 NEW BEST:: SOT 249138 SOS 168106 HAS SOPS 166075 HAS SOUS 72408 HAS SOUPS 70377 WITH SCORE 70545.106
AT ITER 4322 NEW BEST:: SOT 249169 SOS 167950 HAS SOPS 165899 HAS SOUS 72428 HAS SOUPS 70377 WITH SCORE 70544.95
AT ITER 4337 NEW BEST:: SOT 249149 SOS 167930 HAS SOPS 165879 HAS SOUS 72388 HAS SOUPS 70337 WITH SCORE 70504.93
AT ITER 4348 NEW BEST:: SOT 249130 SOS 167911 HAS SOPS 165860 HAS SOUS 72350 HAS SOUPS 70299 WITH SCORE 70466.911
AT ITER 4353 NEW BEST:: SOT 249044 SOS 167860 HAS SOPS 165809 HAS SOUS 72178 HAS SOUPS 70127 WITH SCORE 70294.86
AT ITER 4362 NEW BEST:: SOT 249030 SOS 167846 HAS SOPS 165795 HAS SOUS 72150 HAS SOUPS 70099 WITH SCORE 70266.846
AT ITER 4363 NEW BEST:: SOT 249266 SOS 167993 HAS SOPS 165942 HAS SOUS 71910 HAS SOUPS 69859 WITH SCORE 70026.993
AT ITER 4373 NEW BEST:: SOT 249266 SOS 167927 HAS SOPS 165876 HAS SOUS 71910 HAS SOUPS 69859 WITH SCORE 70026.927
AT ITER 4382 NEW BEST:: SOT 249261 SOS 167882 HAS SOPS 165831 HAS SOUS 71895 HAS SOUPS 69844 WITH SCORE 70011.882
AT ITER 4387 NEW BEST:: SOT 249143 SOS 167764 HAS SOPS 165713 HAS SOUS 71671 HAS SOUPS 69620 WITH SCORE 69787.764
AT ITER 4412 NEW BEST:: SOT 249139 SOS 167760 HAS SOPS 165709 HAS SOUS 71663 HAS SOUPS 69612 WITH SCORE 69779.76
AT ITER 4417 NEW BEST:: SOT 249127 SOS 167748 HAS SOPS 165697 HAS SOUS 71639 HAS SOUPS 69588 WITH SCORE 69755.748
AT ITER 4445 NEW BEST:: SOT 249127 SOS 167731 HAS SOPS 165680 HAS SOUS 71639 HAS SOUPS 69588 WITH SCORE 69755.731
AT ITER 4448 NEW BEST:: SOT 249119 SOS 167715 HAS SOPS 165664 HAS SOUS 71615 HAS SOUPS 69564 WITH SCORE 69731.715
AT ITER 4475 NEW BEST:: SOT 249117 SOS 167705 HAS SOPS 165654 HAS SOUS 71608 HAS SOUPS 69557 WITH SCORE 69724.705
AT ITER 4487 NEW BEST:: SOT 249113 SOS 167671 HAS SOPS 165620 HAS SOUS 71596 HAS SOUPS 69545 WITH SCORE 69712.671
AT ITER 4499 NEW BEST:: SOT 249363 SOS 167768 HAS SOPS 165717 HAS SOUS 71538 HAS SOUPS 69487 WITH SCORE 69654.768
AT ITER 4501 NEW BEST:: SOT 249363 SOS 167744 HAS SOPS 165693 HAS SOUS 71538 HAS SOUPS 69487 WITH SCORE 69654.744
AT ITER 4510 NEW BEST:: SOT 249331 SOS 167680 HAS SOPS 165629 HAS SOUS 71442 HAS SOUPS 69391 WITH SCORE 69558.68
AT ITER 4532 NEW BEST:: SOT 249325 SOS 167674 HAS SOPS 165623 HAS SOUS 71436 HAS SOUPS 69385 WITH SCORE 69552.674
AT ITER 4533 NEW BEST:: SOT 249320 SOS 167654 HAS SOPS 165604 HAS SOUS 71422 HAS SOUPS 69372 WITH SCORE 69539.654
AT ITER 4580 NEW BEST:: SOT 249220 SOS 167393 HAS SOPS 165343 HAS SOUS 71338 HAS SOUPS 69288 WITH SCORE 69455.393
AT ITER 4605 NEW BEST:: SOT 249200 SOS 167373 HAS SOPS 165323 HAS SOUS 71336 HAS SOUPS 69286 WITH SCORE 69453.373
AT ITER 4619 NEW BEST:: SOT 249154 SOS 167327 HAS SOPS 165277 HAS SOUS 71244 HAS SOUPS 69194 WITH SCORE 69361.327
AT ITER 4630 NEW BEST:: SOT 249102 SOS 167291 HAS SOPS 165241 HAS SOUS 71208 HAS SOUPS 69158 WITH SCORE 69325.291
AT ITER 4648 NEW BEST:: SOT 249096 SOS 167285 HAS SOPS 165235 HAS SOUS 71196 HAS SOUPS 69146 WITH SCORE 69313.285
AT ITER 4658 NEW BEST:: SOT 249052 SOS 167241 HAS SOPS 165191 HAS SOUS 71152 HAS SOUPS 69102 WITH SCORE 69269.241
AT ITER 4673 NEW BEST:: SOT 249052 SOS 167220 HAS SOPS 165170 HAS SOUS 71152 HAS SOUPS 69102 WITH SCORE 69269.22
AT ITER 4681 NEW BEST:: SOT 249035 SOS 167532 HAS SOPS 165424 HAS SOUS 71159 HAS SOUPS 69051 WITH SCORE 69218.532
AT ITER 4689 NEW BEST:: SOT 249027 SOS 167513 HAS SOPS 165405 HAS SOUS 71143 HAS SOUPS 69035 WITH SCORE 69202.513
AT ITER 4742 NEW BEST:: SOT 248999 SOS 167485 HAS SOPS 165377 HAS SOUS 71087 HAS SOUPS 68979 WITH SCORE 69146.485
AT ITER 4768 NEW BEST:: SOT 248999 SOS 167383 HAS SOPS 165275 HAS SOUS 71087 HAS SOUPS 68979 WITH SCORE 69146.383
AT ITER 4774 NEW BEST:: SOT 248939 SOS 167323 HAS SOPS 165215 HAS SOUS 71043 HAS SOUPS 68935 WITH SCORE 69102.323
AT ITER 4775 NEW BEST:: SOT 248889 SOS 168057 HAS SOPS 165949 HAS SOUS 70967 HAS SOUPS 68859 WITH SCORE 69027.057
AT ITER 4788 NEW BEST:: SOT 248865 SOS 168054 HAS SOPS 165946 HAS SOUS 70935 HAS SOUPS 68827 WITH SCORE 68995.054
AT ITER 4795 NEW BEST:: SOT 248788 SOS 167977 HAS SOPS 165869 HAS SOUS 70781 HAS SOUPS 68673 WITH SCORE 68840.977
AT ITER 4812 NEW BEST:: SOT 248770 SOS 167851 HAS SOPS 165743 HAS SOUS 70763 HAS SOUPS 68655 WITH SCORE 68822.851
AT ITER 4823 NEW BEST:: SOT 248457 SOS 168051 HAS SOPS 166014 HAS SOUS 70472 HAS SOUPS 68435 WITH SCORE 68603.051
AT ITER 4825 NEW BEST:: SOT 248465 SOS 168019 HAS SOPS 165974 HAS SOUS 70480 HAS SOUPS 68435 WITH SCORE 68603.019
AT ITER 4831 NEW BEST:: SOT 248432 SOS 167986 HAS SOPS 165941 HAS SOUS 70414 HAS SOUPS 68369 WITH SCORE 68536.986
AT ITER 4852 NEW BEST:: SOT 248326 SOS 167880 HAS SOPS 165835 HAS SOUS 70202 HAS SOUPS 68157 WITH SCORE 68324.88
AT ITER 4859 NEW BEST:: SOT 248350 SOS 167761 HAS SOPS 165715 HAS SOUS 70203 HAS SOUPS 68157 WITH SCORE 68324.761
AT ITER 4862 NEW BEST:: SOT 248119 SOS 168197 HAS SOPS 166171 HAS SOUS 70026 HAS SOUPS 68000 WITH SCORE 68168.197
AT ITER 4871 NEW BEST:: SOT 247737 SOS 168666 HAS SOPS 166740 HAS SOUS 69649 HAS SOUPS 67723 WITH SCORE 67891.666
AT ITER 4896 NEW BEST:: SOT 247737 SOS 168666 HAS SOPS 166740 HAS SOUS 69615 HAS SOUPS 67689 WITH SCORE 67857.666
AT ITER 4914 NEW BEST:: SOT 247727 SOS 168656 HAS SOPS 166730 HAS SOUS 69595 HAS SOUPS 67669 WITH SCORE 67837.656
AT ITER 4950 NEW BEST:: SOT 247740 SOS 168591 HAS SOPS 166652 HAS SOUS 69608 HAS SOUPS 67669 WITH SCORE 67837.591
AT ITER 4951 NEW BEST:: SOT 247703 SOS 168554 HAS SOPS 166615 HAS SOUS 69527 HAS SOUPS 67588 WITH SCORE 67756.554
AT ITER 4965 NEW BEST:: SOT 247698 SOS 168531 HAS SOPS 166610 HAS SOUS 69499 HAS SOUPS 67578 WITH SCORE 67746.531
AT ITER 4972 NEW BEST:: SOT 247694 SOS 168527 HAS SOPS 166606 HAS SOUS 69465 HAS SOUPS 67544 WITH SCORE 67712.527
AT ITER 4988 NEW BEST:: SOT 247694 SOS 168512 HAS SOPS 166591 HAS SOUS 69464 HAS SOUPS 67543 WITH SCORE 67711.512
AT ITER 4999 NEW BEST:: SOT 247604 SOS 168422 HAS SOPS 166501 HAS SOUS 69284 HAS SOUPS 67363 WITH SCORE 67531.422
AT ITER 5016 NEW BEST:: SOT 247519 SOS 168374 HAS SOPS 166453 HAS SOUS 69225 HAS SOUPS 67304 WITH SCORE 67472.374
AT ITER 5021 NEW BEST:: SOT 247502 SOS 168357 HAS SOPS 166436 HAS SOUS 69191 HAS SOUPS 67270 WITH SCORE 67438.357
AT ITER 5083 NEW BEST:: SOT 247482 SOS 168337 HAS SOPS 166416 HAS SOUS 69151 HAS SOUPS 67230 WITH SCORE 67398.337
AT ITER 5090 NEW BEST:: SOT 247499 SOS 168354 HAS SOPS 166433 HAS SOUS 69105 HAS SOUPS 67184 WITH SCORE 67352.354
AT ITER 5115 NEW BEST:: SOT 247405 SOS 168260 HAS SOPS 166339 HAS SOUS 68901 HAS SOUPS 66980 WITH SCORE 67148.26
AT ITER 5141 NEW BEST:: SOT 247427 SOS 168137 HAS SOPS 166182 HAS SOUS 68824 HAS SOUPS 66869 WITH SCORE 67037.137
AT ITER 5142 NEW BEST:: SOT 247427 SOS 168137 HAS SOPS 166182 HAS SOUS 68754 HAS SOUPS 66799 WITH SCORE 66967.137
AT ITER 5152 NEW BEST:: SOT 247375 SOS 168085 HAS SOPS 166130 HAS SOUS 68680 HAS SOUPS 66725 WITH SCORE 66893.085
AT ITER 5163 NEW BEST:: SOT 247154 SOS 167975 HAS SOPS 166020 HAS SOUS 68586 HAS SOUPS 66631 WITH SCORE 66798.975
AT ITER 5172 NEW BEST:: SOT 247110 SOS 167928 HAS SOPS 165973 HAS SOUS 68498 HAS SOUPS 66543 WITH SCORE 66710.928
AT ITER 5173 NEW BEST:: SOT 247080 SOS 167898 HAS SOPS 165943 HAS SOUS 68438 HAS SOUPS 66483 WITH SCORE 66650.898
AT ITER 5185 NEW BEST:: SOT 247014 SOS 167832 HAS SOPS 165877 HAS SOUS 68306 HAS SOUPS 66351 WITH SCORE 66518.832
AT ITER 5250 NEW BEST:: SOT 247012 SOS 167830 HAS SOPS 165875 HAS SOUS 68304 HAS SOUPS 66349 WITH SCORE 66516.83
AT ITER 5338 NEW BEST:: SOT 246994 SOS 167812 HAS SOPS 165857 HAS SOUS 68268 HAS SOUPS 66313 WITH SCORE 66480.812
AT ITER 5358 NEW BEST:: SOT 246982 SOS 167770 HAS SOPS 165815 HAS SOUS 68232 HAS SOUPS 66277 WITH SCORE 66444.77
AT ITER 5366 NEW BEST:: SOT 246967 SOS 167755 HAS SOPS 165800 HAS SOUS 68200 HAS SOUPS 66245 WITH SCORE 66412.755
AT ITER 5382 NEW BEST:: SOT 246988 SOS 167752 HAS SOPS 165765 HAS SOUS 68199 HAS SOUPS 66212 WITH SCORE 66379.752
AT ITER 5391 NEW BEST:: SOT 246988 SOS 167812 HAS SOPS 165825 HAS SOUS 68171 HAS SOUPS 66184 WITH SCORE 66351.812
AT ITER 5406 NEW BEST:: SOT 246964 SOS 167788 HAS SOPS 165801 HAS SOUS 68123 HAS SOUPS 66136 WITH SCORE 66303.788
AT ITER 5483 NEW BEST:: SOT 246952 SOS 167692 HAS SOPS 165693 HAS SOUS 68099 HAS SOUPS 66100 WITH SCORE 66267.692
AT ITER 5491 NEW BEST:: SOT 246950 SOS 167690 HAS SOPS 165691 HAS SOUS 68095 HAS SOUPS 66096 WITH SCORE 66263.69
AT ITER 5529 NEW BEST:: SOT 246937 SOS 167677 HAS SOPS 165678 HAS SOUS 68078 HAS SOUPS 66079 WITH SCORE 66246.677
AT ITER 5552 NEW BEST:: SOT 246871 SOS 167611 HAS SOPS 165612 HAS SOUS 67962 HAS SOUPS 65963 WITH SCORE 66130.611
AT ITER 5573 NEW BEST:: SOT 246839 SOS 167579 HAS SOPS 165580 HAS SOUS 67930 HAS SOUPS 65931 WITH SCORE 66098.579
AT ITER 5597 NEW BEST:: SOT 246839 SOS 167556 HAS SOPS 165557 HAS SOUS 67930 HAS SOUPS 65931 WITH SCORE 66098.556
AT ITER 5600 NEW BEST:: SOT 246868 SOS 167536 HAS SOPS 165501 HAS SOUS 67945 HAS SOUPS 65910 WITH SCORE 66077.536
AT ITER 5622 NEW BEST:: SOT 246868 SOS 167501 HAS SOPS 165466 HAS SOUS 67945 HAS SOUPS 65910 WITH SCORE 66077.501
AT ITER 5623 NEW BEST:: SOT 246868 SOS 167494 HAS SOPS 165459 HAS SOUS 67945 HAS SOUPS 65910 WITH SCORE 66077.494
AT ITER 5628 NEW BEST:: SOT 246832 SOS 167458 HAS SOPS 165423 HAS SOUS 67900 HAS SOUPS 65865 WITH SCORE 66032.458
AT ITER 5634 NEW BEST:: SOT 246822 SOS 167448 HAS SOPS 165413 HAS SOUS 67880 HAS SOUPS 65845 WITH SCORE 66012.448
AT ITER 5656 NEW BEST:: SOT 246798 SOS 167424 HAS SOPS 165389 HAS SOUS 67856 HAS SOUPS 65821 WITH SCORE 65988.424
AT ITER 5670 NEW BEST:: SOT 246770 SOS 167396 HAS SOPS 165361 HAS SOUS 67828 HAS SOUPS 65793 WITH SCORE 65960.396
AT ITER 5682 NEW BEST:: SOT 246765 SOS 167346 HAS SOPS 165316 HAS SOUS 67808 HAS SOUPS 65778 WITH SCORE 65945.346
AT ITER 5684 NEW BEST:: SOT 246557 SOS 167138 HAS SOPS 165108 HAS SOUS 67403 HAS SOUPS 65373 WITH SCORE 65540.138
AT ITER 5737 NEW BEST:: SOT 246528 SOS 167175 HAS SOPS 165145 HAS SOUS 67331 HAS SOUPS 65301 WITH SCORE 65468.175
AT ITER 5740 NEW BEST:: SOT 246496 SOS 167143 HAS SOPS 165113 HAS SOUS 67283 HAS SOUPS 65253 WITH SCORE 65420.143
AT ITER 5779 NEW BEST:: SOT 246525 SOS 166853 HAS SOPS 164851 HAS SOUS 67248 HAS SOUPS 65246 WITH SCORE 65412.853
AT ITER 5801 NEW BEST:: SOT 246501 SOS 166829 HAS SOPS 164827 HAS SOUS 67200 HAS SOUPS 65198 WITH SCORE 65364.829
AT ITER 5834 NEW BEST:: SOT 246509 SOS 166837 HAS SOPS 164835 HAS SOUS 67184 HAS SOUPS 65182 WITH SCORE 65348.837
AT ITER 5881 NEW BEST:: SOT 246502 SOS 166830 HAS SOPS 164828 HAS SOUS 67170 HAS SOUPS 65168 WITH SCORE 65334.83
AT ITER 5885 NEW BEST:: SOT 246434 SOS 166762 HAS SOPS 164760 HAS SOUS 67042 HAS SOUPS 65040 WITH SCORE 65206.762
AT ITER 5908 NEW BEST:: SOT 246421 SOS 166752 HAS SOPS 164750 HAS SOUS 67015 HAS SOUPS 65013 WITH SCORE 65179.752
AT ITER 5926 NEW BEST:: SOT 246389 SOS 166720 HAS SOPS 164718 HAS SOUS 66959 HAS SOUPS 64957 WITH SCORE 65123.72
AT ITER 5942 NEW BEST:: SOT 246365 SOS 166696 HAS SOPS 164694 HAS SOUS 66911 HAS SOUPS 64909 WITH SCORE 65075.696
AT ITER 5945 NEW BEST:: SOT 246350 SOS 166780 HAS SOPS 164778 HAS SOUS 66866 HAS SOUPS 64864 WITH SCORE 65030.78
AT ITER 5970 NEW BEST:: SOT 246320 SOS 166750 HAS SOPS 164748 HAS SOUS 66806 HAS SOUPS 64804 WITH SCORE 64970.75
AT ITER 5987 NEW BEST:: SOT 246309 SOS 166662 HAS SOPS 164660 HAS SOUS 66773 HAS SOUPS 64771 WITH SCORE 64937.662
AT ITER 6002 NEW BEST:: SOT 246309 SOS 166633 HAS SOPS 164631 HAS SOUS 66773 HAS SOUPS 64771 WITH SCORE 64937.633
AT ITER 6019 NEW BEST:: SOT 246309 SOS 166616 HAS SOPS 164631 HAS SOUS 66756 HAS SOUPS 64771 WITH SCORE 64937.616
AT ITER 6020 NEW BEST:: SOT 246163 SOS 166470 HAS SOPS 164485 HAS SOUS 66464 HAS SOUPS 64479 WITH SCORE 64645.47
AT ITER 6033 NEW BEST:: SOT 246148 SOS 166455 HAS SOPS 164470 HAS SOUS 66434 HAS SOUPS 64449 WITH SCORE 64615.455
AT ITER 6042 NEW BEST:: SOT 246128 SOS 166435 HAS SOPS 164450 HAS SOUS 66394 HAS SOUPS 64409 WITH SCORE 64575.435
AT ITER 6093 NEW BEST:: SOT 246120 SOS 166427 HAS SOPS 164442 HAS SOUS 66386 HAS SOUPS 64401 WITH SCORE 64567.427
AT ITER 6095 NEW BEST:: SOT 246108 SOS 166415 HAS SOPS 164430 HAS SOUS 66362 HAS SOUPS 64377 WITH SCORE 64543.415
AT ITER 6099 NEW BEST:: SOT 246088 SOS 166395 HAS SOPS 164410 HAS SOUS 66333 HAS SOUPS 64348 WITH SCORE 64514.395
AT ITER 6106 NEW BEST:: SOT 245958 SOS 166265 HAS SOPS 164280 HAS SOUS 66073 HAS SOUPS 64088 WITH SCORE 64254.265
AT ITER 6190 NEW BEST:: SOT 245950 SOS 166166 HAS SOPS 164208 HAS SOUS 66022 HAS SOUPS 64064 WITH SCORE 64230.166
AT ITER 6201 NEW BEST:: SOT 245965 SOS 166182 HAS SOPS 164208 HAS SOUS 66035 HAS SOUPS 64061 WITH SCORE 64227.182
AT ITER 6221 NEW BEST:: SOT 245945 SOS 166162 HAS SOPS 164188 HAS SOUS 65995 HAS SOUPS 64021 WITH SCORE 64187.162
AT ITER 6254 NEW BEST:: SOT 245920 SOS 166137 HAS SOPS 164163 HAS SOUS 65945 HAS SOUPS 63971 WITH SCORE 64137.137
AT ITER 6256 NEW BEST:: SOT 245979 SOS 166155 HAS SOPS 164181 HAS SOUS 65922 HAS SOUPS 63948 WITH SCORE 64114.155
AT ITER 6269 NEW BEST:: SOT 245845 SOS 166021 HAS SOPS 164047 HAS SOUS 65678 HAS SOUPS 63704 WITH SCORE 63870.021
AT ITER 6277 NEW BEST:: SOT 245816 SOS 165809 HAS SOPS 163786 HAS SOUS 65640 HAS SOUPS 63617 WITH SCORE 63782.809
AT ITER 6279 NEW BEST:: SOT 245802 SOS 165795 HAS SOPS 163772 HAS SOUS 65612 HAS SOUPS 63589 WITH SCORE 63754.795
AT ITER 6313 NEW BEST:: SOT 245807 SOS 165795 HAS SOPS 163772 HAS SOUS 65607 HAS SOUPS 63584 WITH SCORE 63749.795
AT ITER 6316 NEW BEST:: SOT 245812 SOS 165586 HAS SOPS 163563 HAS SOUS 65506 HAS SOUPS 63483 WITH SCORE 63648.586
AT ITER 6338 NEW BEST:: SOT 245812 SOS 165566 HAS SOPS 163543 HAS SOUS 65506 HAS SOUPS 63483 WITH SCORE 63648.566
AT ITER 6388 NEW BEST:: SOT 245788 SOS 165542 HAS SOPS 163519 HAS SOUS 65482 HAS SOUPS 63459 WITH SCORE 63624.542
AT ITER 6420 NEW BEST:: SOT 245788 SOS 165531 HAS SOPS 163508 HAS SOUS 65482 HAS SOUPS 63459 WITH SCORE 63624.531
AT ITER 6463 NEW BEST:: SOT 245788 SOS 165504 HAS SOPS 163481 HAS SOUS 65482 HAS SOUPS 63459 WITH SCORE 63624.504
AT ITER 6524 NEW BEST:: SOT 245747 SOS 165540 HAS SOPS 163517 HAS SOUS 65421 HAS SOUPS 63398 WITH SCORE 63563.54
AT ITER 6571 NEW BEST:: SOT 245719 SOS 165512 HAS SOPS 163489 HAS SOUS 65345 HAS SOUPS 63322 WITH SCORE 63487.512
AT ITER 6576 NEW BEST:: SOT 245716 SOS 165509 HAS SOPS 163486 HAS SOUS 65339 HAS SOUPS 63316 WITH SCORE 63481.509
AT ITER 6589 NEW BEST:: SOT 245672 SOS 165434 HAS SOPS 163437 HAS SOUS 65306 HAS SOUPS 63309 WITH SCORE 63474.434
AT ITER 6610 NEW BEST:: SOT 245672 SOS 165395 HAS SOPS 163437 HAS SOUS 65267 HAS SOUPS 63309 WITH SCORE 63474.395
AT ITER 6612 NEW BEST:: SOT 245656 SOS 165379 HAS SOPS 163421 HAS SOUS 65235 HAS SOUPS 63277 WITH SCORE 63442.379
AT ITER 6622 NEW BEST:: SOT 245624 SOS 165347 HAS SOPS 163389 HAS SOUS 65179 HAS SOUPS 63221 WITH SCORE 63386.347
AT ITER 6672 NEW BEST:: SOT 245600 SOS 165323 HAS SOPS 163365 HAS SOUS 65131 HAS SOUPS 63173 WITH SCORE 63338.323
AT ITER 6696 NEW BEST:: SOT 245600 SOS 165080 HAS SOPS 163122 HAS SOUS 65131 HAS SOUPS 63173 WITH SCORE 63338.08
AT ITER 6756 NEW BEST:: SOT 245580 SOS 165060 HAS SOPS 163102 HAS SOUS 65092 HAS SOUPS 63134 WITH SCORE 63299.06
AT ITER 6784 NEW BEST:: SOT 245580 SOS 165056 HAS SOPS 163098 HAS SOUS 65092 HAS SOUPS 63134 WITH SCORE 63299.056
AT ITER 6811 NEW BEST:: SOT 245512 SOS 164988 HAS SOPS 163030 HAS SOUS 64956 HAS SOUPS 62998 WITH SCORE 63162.988
AT ITER 6829 NEW BEST:: SOT 243968 SOS 163587 HAS SOPS 161629 HAS SOUS 64621 HAS SOUPS 62663 WITH SCORE 62826.587
AT ITER 6868 NEW BEST:: SOT 243968 SOS 163564 HAS SOPS 161606 HAS SOUS 64620 HAS SOUPS 62662 WITH SCORE 62825.564
AT ITER 6898 NEW BEST:: SOT 243966 SOS 163562 HAS SOPS 161604 HAS SOUS 64618 HAS SOUPS 62660 WITH SCORE 62823.562
AT ITER 6904 NEW BEST:: SOT 243922 SOS 163518 HAS SOPS 161560 HAS SOUS 64530 HAS SOUPS 62572 WITH SCORE 62735.518
AT ITER 6908 NEW BEST:: SOT 243918 SOS 163514 HAS SOPS 161556 HAS SOUS 64522 HAS SOUPS 62564 WITH SCORE 62727.514
AT ITER 6948 NEW BEST:: SOT 243894 SOS 163490 HAS SOPS 161532 HAS SOUS 64474 HAS SOUPS 62516 WITH SCORE 62679.49
AT ITER 6998 NEW BEST:: SOT 243760 SOS 163356 HAS SOPS 161398 HAS SOUS 64206 HAS SOUPS 62248 WITH SCORE 62411.356
AT ITER 7019 NEW BEST:: SOT 243756 SOS 163352 HAS SOPS 161394 HAS SOUS 64198 HAS SOUPS 62240 WITH SCORE 62403.352
AT ITER 7028 NEW BEST:: SOT 243750 SOS 163307 HAS SOPS 161340 HAS SOUS 64189 HAS SOUPS 62222 WITH SCORE 62385.307
AT ITER 7040 NEW BEST:: SOT 243904 SOS 163087 HAS SOPS 161120 HAS SOUS 64174 HAS SOUPS 62207 WITH SCORE 62370.087
AT ITER 7076 NEW BEST:: SOT 243904 SOS 163083 HAS SOPS 161116 HAS SOUS 64174 HAS SOUPS 62207 WITH SCORE 62370.083
AT ITER 7116 NEW BEST:: SOT 243894 SOS 163119 HAS SOPS 161135 HAS SOUS 64161 HAS SOUPS 62177 WITH SCORE 62340.119
AT ITER 7130 NEW BEST:: SOT 243887 SOS 163112 HAS SOPS 161128 HAS SOUS 64154 HAS SOUPS 62170 WITH SCORE 62333.112
AT ITER 7147 NEW BEST:: SOT 244066 SOS 163188 HAS SOPS 161204 HAS SOUS 64111 HAS SOUPS 62127 WITH SCORE 62290.188
AT ITER 7167 NEW BEST:: SOT 244051 SOS 163173 HAS SOPS 161189 HAS SOUS 64081 HAS SOUPS 62097 WITH SCORE 62260.173
AT ITER 7197 NEW BEST:: SOT 244000 SOS 163122 HAS SOPS 161138 HAS SOUS 63995 HAS SOUPS 62011 WITH SCORE 62174.122
AT ITER 7223 NEW BEST:: SOT 243993 SOS 163115 HAS SOPS 161131 HAS SOUS 63981 HAS SOUPS 61997 WITH SCORE 62160.115
AT ITER 7237 NEW BEST:: SOT 243923 SOS 163045 HAS SOPS 161061 HAS SOUS 63841 HAS SOUPS 61857 WITH SCORE 62020.045
AT ITER 7249 NEW BEST:: SOT 243903 SOS 163025 HAS SOPS 161041 HAS SOUS 63801 HAS SOUPS 61817 WITH SCORE 61980.025
AT ITER 7261 NEW BEST:: SOT 243903 SOS 163025 HAS SOPS 161041 HAS SOUS 63793 HAS SOUPS 61809 WITH SCORE 61972.025
AT ITER 7275 NEW BEST:: SOT 243895 SOS 163009 HAS SOPS 161041 HAS SOUS 63777 HAS SOUPS 61809 WITH SCORE 61972.009
AT ITER 7324 NEW BEST:: SOT 243876 SOS 162845 HAS SOPS 160877 HAS SOUS 63720 HAS SOUPS 61752 WITH SCORE 61914.845
AT ITER 7357 NEW BEST:: SOT 243974 SOS 162914 HAS SOPS 160946 HAS SOUS 63684 HAS SOUPS 61716 WITH SCORE 61878.914
AT ITER 7425 NEW BEST:: SOT 243961 SOS 162901 HAS SOPS 160933 HAS SOUS 63658 HAS SOUPS 61690 WITH SCORE 61852.901
AT ITER 7427 NEW BEST:: SOT 243951 SOS 162811 HAS SOPS 160843 HAS SOUS 63628 HAS SOUPS 61660 WITH SCORE 61822.811
AT ITER 7436 NEW BEST:: SOT 243942 SOS 162739 HAS SOPS 160771 HAS SOUS 63592 HAS SOUPS 61624 WITH SCORE 61786.739
AT ITER 7511 NEW BEST:: SOT 243925 SOS 162722 HAS SOPS 160754 HAS SOUS 63575 HAS SOUPS 61607 WITH SCORE 61769.722
AT ITER 7523 NEW BEST:: SOT 243865 SOS 162662 HAS SOPS 160694 HAS SOUS 63491 HAS SOUPS 61523 WITH SCORE 61685.662
AT ITER 7568 NEW BEST:: SOT 243730 SOS 162732 HAS SOPS 160788 HAS SOUS 63355 HAS SOUPS 61411 WITH SCORE 61573.732
AT ITER 7570 NEW BEST:: SOT 243722 SOS 162726 HAS SOPS 160782 HAS SOUS 63353 HAS SOUPS 61409 WITH SCORE 61571.726
AT ITER 7579 NEW BEST:: SOT 243722 SOS 162724 HAS SOPS 160780 HAS SOUS 63349 HAS SOUPS 61405 WITH SCORE 61567.724
AT ITER 7590 NEW BEST:: SOT 243700 SOS 162702 HAS SOPS 160758 HAS SOUS 63313 HAS SOUPS 61369 WITH SCORE 61531.702
AT ITER 7619 NEW BEST:: SOT 243700 SOS 162685 HAS SOPS 160741 HAS SOUS 63313 HAS SOUPS 61369 WITH SCORE 61531.685
AT ITER 7621 NEW BEST:: SOT 243700 SOS 162658 HAS SOPS 160714 HAS SOUS 63313 HAS SOUPS 61369 WITH SCORE 61531.658
AT ITER 7660 NEW BEST:: SOT 243651 SOS 162609 HAS SOPS 160665 HAS SOUS 63215 HAS SOUPS 61271 WITH SCORE 61433.609
AT ITER 7710 NEW BEST:: SOT 243645 SOS 162603 HAS SOPS 160659 HAS SOUS 63203 HAS SOUPS 61259 WITH SCORE 61421.603
AT ITER 7715 NEW BEST:: SOT 243577 SOS 162535 HAS SOPS 160591 HAS SOUS 63067 HAS SOUPS 61123 WITH SCORE 61285.535
AT ITER 7721 NEW BEST:: SOT 243581 SOS 162515 HAS SOPS 160567 HAS SOUS 63071 HAS SOUPS 61123 WITH SCORE 61285.515
AT ITER 7747 NEW BEST:: SOT 243573 SOS 162507 HAS SOPS 160559 HAS SOUS 63063 HAS SOUPS 61115 WITH SCORE 61277.507
AT ITER 7768 NEW BEST:: SOT 243545 SOS 162424 HAS SOPS 160476 HAS SOUS 63007 HAS SOUPS 61059 WITH SCORE 61221.424
AT ITER 7775 NEW BEST:: SOT 242599 SOS 161518 HAS SOPS 159570 HAS SOUS 62935 HAS SOUPS 60987 WITH SCORE 61148.518
AT ITER 7789 NEW BEST:: SOT 242588 SOS 161507 HAS SOPS 159559 HAS SOUS 62913 HAS SOUPS 60965 WITH SCORE 61126.507
AT ITER 7812 NEW BEST:: SOT 242582 SOS 161447 HAS SOPS 159505 HAS SOUS 62889 HAS SOUPS 60947 WITH SCORE 61108.447
AT ITER 7840 NEW BEST:: SOT 242550 SOS 161415 HAS SOPS 159473 HAS SOUS 62877 HAS SOUPS 60935 WITH SCORE 61096.415
AT ITER 7860 NEW BEST:: SOT 242531 SOS 161388 HAS SOPS 159465 HAS SOUS 62858 HAS SOUPS 60935 WITH SCORE 61096.388
AT ITER 7875 NEW BEST:: SOT 242524 SOS 161415 HAS SOPS 159492 HAS SOUS 62837 HAS SOUPS 60914 WITH SCORE 61075.415
AT ITER 7879 NEW BEST:: SOT 242533 SOS 161442 HAS SOPS 159519 HAS SOUS 62833 HAS SOUPS 60910 WITH SCORE 61071.442
AT ITER 7887 NEW BEST:: SOT 242521 SOS 161430 HAS SOPS 159495 HAS SOUS 62809 HAS SOUPS 60874 WITH SCORE 61035.43
AT ITER 7910 NEW BEST:: SOT 242425 SOS 161334 HAS SOPS 159399 HAS SOUS 62617 HAS SOUPS 60682 WITH SCORE 60843.334
AT ITER 7926 NEW BEST:: SOT 242263 SOS 161207 HAS SOPS 159272 HAS SOUS 62468 HAS SOUPS 60533 WITH SCORE 60694.207
AT ITER 7937 NEW BEST:: SOT 242287 SOS 161087 HAS SOPS 159128 HAS SOUS 62492 HAS SOUPS 60533 WITH SCORE 60694.087
AT ITER 7943 NEW BEST:: SOT 242286 SOS 161086 HAS SOPS 159127 HAS SOUS 62489 HAS SOUPS 60530 WITH SCORE 60691.086
AT ITER 7957 NEW BEST:: SOT 242264 SOS 161064 HAS SOPS 159105 HAS SOUS 62445 HAS SOUPS 60486 WITH SCORE 60647.064
AT ITER 8023 NEW BEST:: SOT 242269 SOS 161034 HAS SOPS 159065 HAS SOUS 62440 HAS SOUPS 60471 WITH SCORE 60632.034
AT ITER 8042 NEW BEST:: SOT 242267 SOS 161032 HAS SOPS 159063 HAS SOUS 62436 HAS SOUPS 60467 WITH SCORE 60628.032
AT ITER 8070 NEW BEST:: SOT 242241 SOS 161006 HAS SOPS 159037 HAS SOUS 62384 HAS SOUPS 60415 WITH SCORE 60576.006
AT ITER 8098 NEW BEST:: SOT 242231 SOS 160996 HAS SOPS 159027 HAS SOUS 62364 HAS SOUPS 60395 WITH SCORE 60555.996
AT ITER 8107 NEW BEST:: SOT 242219 SOS 160984 HAS SOPS 159015 HAS SOUS 62340 HAS SOUPS 60371 WITH SCORE 60531.984
AT ITER 8109 NEW BEST:: SOT 242149 SOS 160914 HAS SOPS 158945 HAS SOUS 62200 HAS SOUPS 60231 WITH SCORE 60391.914
AT ITER 8138 NEW BEST:: SOT 242097 SOS 160862 HAS SOPS 158893 HAS SOUS 62096 HAS SOUPS 60127 WITH SCORE 60287.862
AT ITER 8248 NEW BEST:: SOT 242037 SOS 160802 HAS SOPS 158833 HAS SOUS 61976 HAS SOUPS 60007 WITH SCORE 60167.802
AT ITER 8272 NEW BEST:: SOT 242033 SOS 160798 HAS SOPS 158829 HAS SOUS 61968 HAS SOUPS 59999 WITH SCORE 60159.798
AT ITER 8273 NEW BEST:: SOT 241842 SOS 160818 HAS SOPS 158841 HAS SOUS 61848 HAS SOUPS 59871 WITH SCORE 60031.818
AT ITER 8325 NEW BEST:: SOT 241842 SOS 160727 HAS SOPS 158763 HAS SOUS 61835 HAS SOUPS 59871 WITH SCORE 60031.727
AT ITER 8359 NEW BEST:: SOT 241830 SOS 160715 HAS SOPS 158751 HAS SOUS 61811 HAS SOUPS 59847 WITH SCORE 60007.715
AT ITER 8410 NEW BEST:: SOT 241817 SOS 160682 HAS SOPS 158744 HAS SOUS 61785 HAS SOUPS 59847 WITH SCORE 60007.682
AT ITER 8419 NEW BEST:: SOT 241808 SOS 160707 HAS SOPS 158769 HAS SOUS 61758 HAS SOUPS 59820 WITH SCORE 59980.707
AT ITER 8438 NEW BEST:: SOT 241800 SOS 160902 HAS SOPS 158927 HAS SOUS 61771 HAS SOUPS 59796 WITH SCORE 59956.902
AT ITER 8452 NEW BEST:: SOT 241782 SOS 160884 HAS SOPS 158909 HAS SOUS 61735 HAS SOUPS 59760 WITH SCORE 59920.884
AT ITER 8457 NEW BEST:: SOT 241745 SOS 160858 HAS SOPS 158911 HAS SOUS 61707 HAS SOUPS 59760 WITH SCORE 59920.858
AT ITER 8458 NEW BEST:: SOT 241745 SOS 160849 HAS SOPS 158902 HAS SOUS 61680 HAS SOUPS 59733 WITH SCORE 59893.849
AT ITER 8473 NEW BEST:: SOT 241661 SOS 160765 HAS SOPS 158818 HAS SOUS 61512 HAS SOUPS 59565 WITH SCORE 59725.765
AT ITER 8527 NEW BEST:: SOT 241654 SOS 160758 HAS SOPS 158811 HAS SOUS 61498 HAS SOUPS 59551 WITH SCORE 59711.758
AT ITER 8544 NEW BEST:: SOT 241724 SOS 160490 HAS SOPS 158492 HAS SOUS 61543 HAS SOUPS 59545 WITH SCORE 59705.49
AT ITER 8568 NEW BEST:: SOT 241616 SOS 160424 HAS SOPS 158426 HAS SOUS 61513 HAS SOUPS 59515 WITH SCORE 59675.424
AT ITER 8595 NEW BEST:: SOT 241534 SOS 160465 HAS SOPS 158482 HAS SOUS 61446 HAS SOUPS 59463 WITH SCORE 59623.465
AT ITER 8602 NEW BEST:: SOT 241529 SOS 160474 HAS SOPS 158491 HAS SOUS 61431 HAS SOUPS 59448 WITH SCORE 59608.474
AT ITER 8606 NEW BEST:: SOT 241454 SOS 160424 HAS SOPS 158441 HAS SOUS 61381 HAS SOUPS 59398 WITH SCORE 59558.424
AT ITER 8623 NEW BEST:: SOT 241414 SOS 160384 HAS SOPS 158401 HAS SOUS 61301 HAS SOUPS 59318 WITH SCORE 59478.384
AT ITER 8636 NEW BEST:: SOT 241414 SOS 160384 HAS SOPS 158401 HAS SOUS 61298 HAS SOUPS 59315 WITH SCORE 59475.384
AT ITER 8638 NEW BEST:: SOT 241414 SOS 160376 HAS SOPS 158393 HAS SOUS 61298 HAS SOUPS 59315 WITH SCORE 59475.376
AT ITER 8660 NEW BEST:: SOT 241414 SOS 160374 HAS SOPS 158393 HAS SOUS 61296 HAS SOUPS 59315 WITH SCORE 59475.374
AT ITER 8763 NEW BEST:: SOT 241438 SOS 160184 HAS SOPS 158169 HAS SOUS 61310 HAS SOUPS 59295 WITH SCORE 59455.184
AT ITER 8780 NEW BEST:: SOT 241432 SOS 160178 HAS SOPS 158163 HAS SOUS 61298 HAS SOUPS 59283 WITH SCORE 59443.178
AT ITER 8803 NEW BEST:: SOT 241556 SOS 159625 HAS SOPS 157510 HAS SOUS 61387 HAS SOUPS 59272 WITH SCORE 59431.625
AT ITER 8902 NEW BEST:: SOT 241536 SOS 159545 HAS SOPS 157430 HAS SOUS 61337 HAS SOUPS 59222 WITH SCORE 59381.545
AT ITER 8942 NEW BEST:: SOT 241530 SOS 159539 HAS SOPS 157424 HAS SOUS 61325 HAS SOUPS 59210 WITH SCORE 59369.539
AT ITER 8954 NEW BEST:: SOT 241562 SOS 159571 HAS SOPS 157456 HAS SOUS 61319 HAS SOUPS 59204 WITH SCORE 59363.571
AT ITER 9020 NEW BEST:: SOT 241515 SOS 159545 HAS SOPS 157430 HAS SOUS 61296 HAS SOUPS 59181 WITH SCORE 59340.545
AT ITER 9022 NEW BEST:: SOT 241616 SOS 159589 HAS SOPS 157474 HAS SOUS 61283 HAS SOUPS 59168 WITH SCORE 59327.589
AT ITER 9028 NEW BEST:: SOT 241590 SOS 159563 HAS SOPS 157448 HAS SOUS 61231 HAS SOUPS 59116 WITH SCORE 59275.563
AT ITER 9084 NEW BEST:: SOT 241552 SOS 159525 HAS SOPS 157410 HAS SOUS 61193 HAS SOUPS 59078 WITH SCORE 59237.525
AT ITER 9104 NEW BEST:: SOT 241552 SOS 159462 HAS SOPS 157338 HAS SOUS 61175 HAS SOUPS 59051 WITH SCORE 59210.462
AT ITER 9145 NEW BEST:: SOT 241517 SOS 159437 HAS SOPS 157313 HAS SOUS 61175 HAS SOUPS 59051 WITH SCORE 59210.437
AT ITER 9165 NEW BEST:: SOT 241516 SOS 159436 HAS SOPS 157312 HAS SOUS 61173 HAS SOUPS 59049 WITH SCORE 59208.436
AT ITER 9223 NEW BEST:: SOT 241539 SOS 159413 HAS SOPS 157276 HAS SOUS 61153 HAS SOUPS 59016 WITH SCORE 59175.413
AT ITER 9319 NEW BEST:: SOT 241983 SOS 159837 HAS SOPS 157700 HAS SOUS 61151 HAS SOUPS 59014 WITH SCORE 59173.837
AT ITER 9341 NEW BEST:: SOT 241955 SOS 159809 HAS SOPS 157672 HAS SOUS 61095 HAS SOUPS 58958 WITH SCORE 59117.809
AT ITER 9351 NEW BEST:: SOT 241897 SOS 159751 HAS SOPS 157614 HAS SOUS 60979 HAS SOUPS 58842 WITH SCORE 59001.751
AT ITER 9392 NEW BEST:: SOT 241891 SOS 159745 HAS SOPS 157608 HAS SOUS 60967 HAS SOUPS 58830 WITH SCORE 58989.745
AT ITER 9415 NEW BEST:: SOT 241891 SOS 159738 HAS SOPS 157602 HAS SOUS 60966 HAS SOUPS 58830 WITH SCORE 58989.738
AT ITER 9534 NEW BEST:: SOT 241890 SOS 159737 HAS SOPS 157602 HAS SOUS 60965 HAS SOUPS 58830 WITH SCORE 58989.737
AT ITER 9595 NEW BEST:: SOT 241877 SOS 159724 HAS SOPS 157589 HAS SOUS 60939 HAS SOUPS 58804 WITH SCORE 58963.724
AT ITER 9598 NEW BEST:: SOT 241871 SOS 159655 HAS SOPS 157520 HAS SOUS 60923 HAS SOUPS 58788 WITH SCORE 58947.655
AT ITER 9608 NEW BEST:: SOT 241865 SOS 159907 HAS SOPS 157732 HAS SOUS 60945 HAS SOUPS 58770 WITH SCORE 58929.907
AT ITER 9617 NEW BEST:: SOT 241826 SOS 159868 HAS SOPS 157693 HAS SOUS 60866 HAS SOUPS 58691 WITH SCORE 58850.868
AT ITER 9645 NEW BEST:: SOT 241825 SOS 160033 HAS SOPS 157858 HAS SOUS 60863 HAS SOUPS 58688 WITH SCORE 58848.033
AT ITER 9710 NEW BEST:: SOT 241813 SOS 160021 HAS SOPS 157846 HAS SOUS 60839 HAS SOUPS 58664 WITH SCORE 58824.021
AT ITER 9729 NEW BEST:: SOT 241669 SOS 159919 HAS SOPS 157744 HAS SOUS 60719 HAS SOUPS 58544 WITH SCORE 58703.919
AT ITER 9735 NEW BEST:: SOT 241638 SOS 159888 HAS SOPS 157713 HAS SOUS 60692 HAS SOUPS 58517 WITH SCORE 58676.888
AT ITER 9891 NEW BEST:: SOT 241622 SOS 159861 HAS SOPS 157686 HAS SOUS 60692 HAS SOUPS 58517 WITH SCORE 58676.861
AT ITER 9907 NEW BEST:: SOT 241622 SOS 159859 HAS SOPS 157686 HAS SOUS 60690 HAS SOUPS 58517 WITH SCORE 58676.859
AT ITER 9908 NEW BEST:: SOT 241621 SOS 159858 HAS SOPS 157685 HAS SOUS 60688 HAS SOUPS 58515 WITH SCORE 58674.858
AT ITER 9971 NEW BEST:: SOT 241523 SOS 160073 HAS SOPS 157955 HAS SOUS 60596 HAS SOUPS 58478 WITH SCORE 58638.073
AT ITER 9998 NEW BEST:: SOT 241471 SOS 160011 HAS SOPS 157893 HAS SOUS 60492 HAS SOUPS 58374 WITH SCORE 58534.011
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 13299792 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16145768 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="CSRepetitions-PT-07"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is CSRepetitions-PT-07, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r067-smll-167814394400088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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