Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.6K Apr 12 00:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 00:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 10 23:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 23:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 07:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 07:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 9 12:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 12:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 251K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Parking-PT-832-CTLFireability-00
FORMULA_NAME Parking-PT-832-CTLFireability-01
FORMULA_NAME Parking-PT-832-CTLFireability-02
FORMULA_NAME Parking-PT-832-CTLFireability-03
FORMULA_NAME Parking-PT-832-CTLFireability-04
FORMULA_NAME Parking-PT-832-CTLFireability-05
FORMULA_NAME Parking-PT-832-CTLFireability-06
FORMULA_NAME Parking-PT-832-CTLFireability-07
FORMULA_NAME Parking-PT-832-CTLFireability-08
FORMULA_NAME Parking-PT-832-CTLFireability-09
FORMULA_NAME Parking-PT-832-CTLFireability-10
FORMULA_NAME Parking-PT-832-CTLFireability-11
FORMULA_NAME Parking-PT-832-CTLFireability-12
FORMULA_NAME Parking-PT-832-CTLFireability-13
FORMULA_NAME Parking-PT-832-CTLFireability-14
FORMULA_NAME Parking-PT-832-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589645138460

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

GOT IT HERE. BS
Petri model created: 737 places, 993 transitions, 2993 arcs.
AT ITER 0 NEW BEST:: SOT 462635 SOS 330861 HAS SOPS 330861 HAS SOUS 223481 HAS SOUPS 223481 WITH SCORE 223811.861
AT ITER 1 NEW BEST:: SOT 461029 SOS 328647 HAS SOPS 328647 HAS SOUS 221947 HAS SOUPS 221947 WITH SCORE 222275.647
AT ITER 2 NEW BEST:: SOT 461029 SOS 327991 HAS SOPS 327991 HAS SOUS 221791 HAS SOUPS 221791 WITH SCORE 222118.991
AT ITER 3 NEW BEST:: SOT 460844 SOS 327806 HAS SOPS 327806 HAS SOUS 221684 HAS SOUPS 221684 WITH SCORE 222011.806
AT ITER 6 NEW BEST:: SOT 460844 SOS 327563 HAS SOPS 327563 HAS SOUS 221522 HAS SOUPS 221522 WITH SCORE 221849.563
AT ITER 7 NEW BEST:: SOT 460844 SOS 327353 HAS SOPS 327353 HAS SOUS 221312 HAS SOUPS 221312 WITH SCORE 221639.353
AT ITER 11 NEW BEST:: SOT 460844 SOS 327175 HAS SOPS 327175 HAS SOUS 221234 HAS SOUPS 221234 WITH SCORE 221561.175
AT ITER 12 NEW BEST:: SOT 459876 SOS 326059 HAS SOPS 325882 HAS SOUS 220598 HAS SOUPS 220421 WITH SCORE 220747.059
AT ITER 13 NEW BEST:: SOT 459876 SOS 326058 HAS SOPS 325881 HAS SOUS 220597 HAS SOUPS 220420 WITH SCORE 220746.058
AT ITER 15 NEW BEST:: SOT 459626 SOS 325808 HAS SOPS 325631 HAS SOUS 220397 HAS SOUPS 220220 WITH SCORE 220545.808
AT ITER 16 NEW BEST:: SOT 459626 SOS 325330 HAS SOPS 325153 HAS SOUS 220131 HAS SOUPS 219954 WITH SCORE 220279.33
AT ITER 17 NEW BEST:: SOT 458999 SOS 324781 HAS SOPS 324525 HAS SOUS 219830 HAS SOUPS 219574 WITH SCORE 219898.781
AT ITER 21 NEW BEST:: SOT 457970 SOS 323752 HAS SOPS 323496 HAS SOUS 219050 HAS SOUPS 218794 WITH SCORE 219117.752
AT ITER 23 NEW BEST:: SOT 457970 SOS 322977 HAS SOPS 322721 HAS SOUS 218607 HAS SOUPS 218351 WITH SCORE 218673.977
AT ITER 24 NEW BEST:: SOT 457452 SOS 322459 HAS SOPS 322203 HAS SOUS 218229 HAS SOUPS 217973 WITH SCORE 218295.459
AT ITER 28 NEW BEST:: SOT 456104 SOS 320548 HAS SOPS 319975 HAS SOUS 217212 HAS SOUPS 216639 WITH SCORE 216959.548
AT ITER 30 NEW BEST:: SOT 455747 SOS 320325 HAS SOPS 319441 HAS SOUS 217213 HAS SOUPS 216329 WITH SCORE 216649.325
AT ITER 32 NEW BEST:: SOT 455747 SOS 316374 HAS SOPS 315490 HAS SOUS 216472 HAS SOUPS 215588 WITH SCORE 215904.374
AT ITER 34 NEW BEST:: SOT 455562 SOS 316188 HAS SOPS 315304 HAS SOUS 216286 HAS SOUPS 215402 WITH SCORE 215718.188
AT ITER 36 NEW BEST:: SOT 455215 SOS 315759 HAS SOPS 314733 HAS SOUS 215857 HAS SOUPS 214831 WITH SCORE 215146.759
AT ITER 37 NEW BEST:: SOT 455070 SOS 315614 HAS SOPS 314588 HAS SOUS 215775 HAS SOUPS 214749 WITH SCORE 215064.614
AT ITER 42 NEW BEST:: SOT 455070 SOS 315613 HAS SOPS 314587 HAS SOUS 215774 HAS SOUPS 214748 WITH SCORE 215063.613
AT ITER 43 NEW BEST:: SOT 455070 SOS 315347 HAS SOPS 314321 HAS SOUS 215641 HAS SOUPS 214615 WITH SCORE 214930.347
AT ITER 45 NEW BEST:: SOT 455070 SOS 315277 HAS SOPS 314321 HAS SOUS 215571 HAS SOUPS 214615 WITH SCORE 214930.277
AT ITER 47 NEW BEST:: SOT 455070 SOS 315250 HAS SOPS 314294 HAS SOUS 215571 HAS SOUPS 214615 WITH SCORE 214930.25
AT ITER 48 NEW BEST:: SOT 454688 SOS 313149 HAS SOPS 312193 HAS SOUS 215189 HAS SOUPS 214233 WITH SCORE 214546.149
AT ITER 50 NEW BEST:: SOT 454688 SOS 313072 HAS SOPS 312116 HAS SOUS 215188 HAS SOUPS 214232 WITH SCORE 214545.072
AT ITER 54 NEW BEST:: SOT 451378 SOS 309973 HAS SOPS 308805 HAS SOUS 213146 HAS SOUPS 212083 WITH SCORE 212392.973
AT ITER 56 NEW BEST:: SOT 451251 SOS 309824 HAS SOPS 308656 HAS SOUS 213019 HAS SOUPS 211956 WITH SCORE 212265.824
AT ITER 58 NEW BEST:: SOT 450095 SOS 308694 HAS SOPS 307344 HAS SOUS 212274 HAS SOUPS 211029 WITH SCORE 211337.694
AT ITER 60 NEW BEST:: SOT 450071 SOS 308646 HAS SOPS 307296 HAS SOUS 212250 HAS SOUPS 211005 WITH SCORE 211313.646
AT ITER 64 NEW BEST:: SOT 450071 SOS 308646 HAS SOPS 307258 HAS SOUS 212250 HAS SOUPS 210967 WITH SCORE 211275.646
AT ITER 66 NEW BEST:: SOT 449677 SOS 308265 HAS SOPS 306864 HAS SOUS 211987 HAS SOUPS 210691 WITH SCORE 210999.265
AT ITER 67 NEW BEST:: SOT 448830 SOS 307417 HAS SOPS 306016 HAS SOUS 211439 HAS SOUPS 210143 WITH SCORE 210450.417
AT ITER 68 NEW BEST:: SOT 448595 SOS 307182 HAS SOPS 305781 HAS SOUS 211251 HAS SOUPS 209955 WITH SCORE 210262.182
AT ITER 69 NEW BEST:: SOT 447990 SOS 306700 HAS SOPS 305176 HAS SOUS 210953 HAS SOUPS 209534 WITH SCORE 209840.7
AT ITER 72 NEW BEST:: SOT 447990 SOS 306589 HAS SOPS 305065 HAS SOUS 210952 HAS SOUPS 209533 WITH SCORE 209839.589
AT ITER 73 NEW BEST:: SOT 447924 SOS 305935 HAS SOPS 304411 HAS SOUS 210679 HAS SOUPS 209260 WITH SCORE 209565.935
AT ITER 76 NEW BEST:: SOT 447693 SOS 305704 HAS SOPS 304180 HAS SOUS 210448 HAS SOUPS 209029 WITH SCORE 209334.704
AT ITER 79 NEW BEST:: SOT 447151 SOS 304892 HAS SOPS 303368 HAS SOUS 209906 HAS SOUPS 208487 WITH SCORE 208791.892
AT ITER 81 NEW BEST:: SOT 446579 SOS 304319 HAS SOPS 302795 HAS SOUS 209476 HAS SOUPS 208057 WITH SCORE 208361.319
AT ITER 82 NEW BEST:: SOT 445378 SOS 302206 HAS SOPS 300475 HAS SOUS 208179 HAS SOUPS 206553 WITH SCORE 206855.206
AT ITER 83 NEW BEST:: SOT 445378 SOS 301975 HAS SOPS 300244 HAS SOUS 208030 HAS SOUPS 206404 WITH SCORE 206705.975
AT ITER 84 NEW BEST:: SOT 444607 SOS 301308 HAS SOPS 299472 HAS SOUS 207641 HAS SOUPS 205910 WITH SCORE 206211.308
AT ITER 86 NEW BEST:: SOT 444609 SOS 297016 HAS SOPS 295180 HAS SOUS 206751 HAS SOUPS 205020 WITH SCORE 205317.016
AT ITER 87 NEW BEST:: SOT 443968 SOS 296508 HAS SOPS 294539 HAS SOUS 206547 HAS SOUPS 204683 WITH SCORE 204979.508
AT ITER 88 NEW BEST:: SOT 443968 SOS 296507 HAS SOPS 294538 HAS SOUS 206546 HAS SOUPS 204682 WITH SCORE 204978.507
AT ITER 90 NEW BEST:: SOT 443488 SOS 296027 HAS SOPS 294058 HAS SOUS 206186 HAS SOUPS 204322 WITH SCORE 204618.027
AT ITER 91 NEW BEST:: SOT 442742 SOS 295281 HAS SOPS 293312 HAS SOUS 205678 HAS SOUPS 203814 WITH SCORE 204109.281
AT ITER 93 NEW BEST:: SOT 442551 SOS 294948 HAS SOPS 292979 HAS SOUS 205439 HAS SOUPS 203575 WITH SCORE 203869.948
AT ITER 99 NEW BEST:: SOT 442551 SOS 291779 HAS SOPS 289810 HAS SOUS 205029 HAS SOUPS 203165 WITH SCORE 203456.779
AT ITER 100 NEW BEST:: SOT 442551 SOS 291317 HAS SOPS 289348 HAS SOUS 204854 HAS SOUPS 202990 WITH SCORE 203281.317
AT ITER 101 NEW BEST:: SOT 442677 SOS 291053 HAS SOPS 289084 HAS SOUS 204841 HAS SOUPS 202977 WITH SCORE 203268.053
AT ITER 105 NEW BEST:: SOT 442677 SOS 290636 HAS SOPS 288667 HAS SOUS 204751 HAS SOUPS 202887 WITH SCORE 203177.636
AT ITER 108 NEW BEST:: SOT 442670 SOS 290628 HAS SOPS 288659 HAS SOUS 204743 HAS SOUPS 202879 WITH SCORE 203169.628
AT ITER 109 NEW BEST:: SOT 442474 SOS 289925 HAS SOPS 287956 HAS SOUS 204437 HAS SOUPS 202573 WITH SCORE 202862.925
AT ITER 110 NEW BEST:: SOT 440917 SOS 287363 HAS SOPS 285239 HAS SOUS 202795 HAS SOUPS 200776 WITH SCORE 201063.363
AT ITER 112 NEW BEST:: SOT 440681 SOS 287127 HAS SOPS 285003 HAS SOUS 202667 HAS SOUPS 200648 WITH SCORE 200935.127
AT ITER 113 NEW BEST:: SOT 440681 SOS 286420 HAS SOPS 284296 HAS SOUS 202569 HAS SOUPS 200550 WITH SCORE 200836.42
AT ITER 114 NEW BEST:: SOT 440681 SOS 286387 HAS SOPS 284263 HAS SOUS 202536 HAS SOUPS 200517 WITH SCORE 200803.387
AT ITER 119 NEW BEST:: SOT 439307 SOS 284112 HAS SOPS 281873 HAS SOUS 201039 HAS SOUPS 198905 WITH SCORE 199189.112
AT ITER 120 NEW BEST:: SOT 439307 SOS 283946 HAS SOPS 281707 HAS SOUS 200929 HAS SOUPS 198795 WITH SCORE 199078.946
AT ITER 121 NEW BEST:: SOT 439235 SOS 283873 HAS SOPS 281634 HAS SOUS 200856 HAS SOUPS 198722 WITH SCORE 199005.873
AT ITER 123 NEW BEST:: SOT 438575 SOS 283265 HAS SOPS 280974 HAS SOUS 200477 HAS SOUPS 198291 WITH SCORE 198574.265
AT ITER 126 NEW BEST:: SOT 438574 SOS 283264 HAS SOPS 280973 HAS SOUS 200469 HAS SOUPS 198283 WITH SCORE 198566.264
AT ITER 127 NEW BEST:: SOT 437285 SOS 281974 HAS SOPS 279683 HAS SOUS 199492 HAS SOUPS 197306 WITH SCORE 197587.974
AT ITER 129 NEW BEST:: SOT 436370 SOS 281171 HAS SOPS 278767 HAS SOUS 199032 HAS SOUPS 196733 WITH SCORE 197014.171
AT ITER 130 NEW BEST:: SOT 436316 SOS 281117 HAS SOPS 278713 HAS SOUS 198978 HAS SOUPS 196679 WITH SCORE 196960.117
AT ITER 131 NEW BEST:: SOT 436316 SOS 280709 HAS SOPS 278305 HAS SOUS 198800 HAS SOUPS 196501 WITH SCORE 196781.709
AT ITER 133 NEW BEST:: SOT 436315 SOS 280708 HAS SOPS 278304 HAS SOUS 198794 HAS SOUPS 196495 WITH SCORE 196775.708
AT ITER 135 NEW BEST:: SOT 436315 SOS 280660 HAS SOPS 278256 HAS SOUS 198770 HAS SOUPS 196471 WITH SCORE 196751.66
AT ITER 136 NEW BEST:: SOT 436314 SOS 280658 HAS SOPS 278254 HAS SOUS 198768 HAS SOUPS 196469 WITH SCORE 196749.658
AT ITER 146 NEW BEST:: SOT 436207 SOS 279655 HAS SOPS 277251 HAS SOUS 198170 HAS SOUPS 195871 WITH SCORE 196150.655
AT ITER 152 NEW BEST:: SOT 436207 SOS 279171 HAS SOPS 276767 HAS SOUS 197873 HAS SOUPS 195574 WITH SCORE 195853.171
AT ITER 153 NEW BEST:: SOT 436207 SOS 279088 HAS SOPS 276684 HAS SOUS 197860 HAS SOUPS 195561 WITH SCORE 195840.088
AT ITER 160 NEW BEST:: SOT 431912 SOS 274700 HAS SOPS 272296 HAS SOUS 194890 HAS SOUPS 192591 WITH SCORE 192865.7
AT ITER 162 NEW BEST:: SOT 431677 SOS 274245 HAS SOPS 271841 HAS SOUS 194435 HAS SOUPS 192136 WITH SCORE 192410.245
AT ITER 165 NEW BEST:: SOT 431677 SOS 274218 HAS SOPS 271814 HAS SOUS 194417 HAS SOUPS 192118 WITH SCORE 192392.218
AT ITER 166 NEW BEST:: SOT 431677 SOS 274217 HAS SOPS 271813 HAS SOUS 194416 HAS SOUPS 192117 WITH SCORE 192391.217
AT ITER 167 NEW BEST:: SOT 431677 SOS 274065 HAS SOPS 271661 HAS SOUS 194415 HAS SOUPS 192116 WITH SCORE 192390.065
AT ITER 176 NEW BEST:: SOT 430949 SOS 273337 HAS SOPS 270933 HAS SOUS 193858 HAS SOUPS 191559 WITH SCORE 191832.337
AT ITER 177 NEW BEST:: SOT 430559 SOS 272824 HAS SOPS 270117 HAS SOUS 193629 HAS SOUPS 191027 WITH SCORE 191299.824
AT ITER 179 NEW BEST:: SOT 429768 SOS 271415 HAS SOPS 268459 HAS SOUS 192908 HAS SOUPS 190057 WITH SCORE 190328.415
AT ITER 184 NEW BEST:: SOT 429768 SOS 271009 HAS SOPS 268053 HAS SOUS 192908 HAS SOUPS 190057 WITH SCORE 190328.009
AT ITER 186 NEW BEST:: SOT 429569 SOS 270810 HAS SOPS 267854 HAS SOUS 192709 HAS SOUPS 189858 WITH SCORE 190128.81
AT ITER 194 NEW BEST:: SOT 429569 SOS 270492 HAS SOPS 267536 HAS SOUS 192391 HAS SOUPS 189540 WITH SCORE 189810.492
AT ITER 196 NEW BEST:: SOT 429563 SOS 269911 HAS SOPS 266955 HAS SOUS 192186 HAS SOUPS 189335 WITH SCORE 189604.911
AT ITER 199 NEW BEST:: SOT 429342 SOS 269690 HAS SOPS 266734 HAS SOUS 192020 HAS SOUPS 189169 WITH SCORE 189438.69
AT ITER 201 NEW BEST:: SOT 428127 SOS 268394 HAS SOPS 265438 HAS SOUS 191129 HAS SOUPS 188278 WITH SCORE 188546.394
AT ITER 206 NEW BEST:: SOT 428127 SOS 267930 HAS SOPS 264974 HAS SOUS 190822 HAS SOUPS 187971 WITH SCORE 188238.93
AT ITER 207 NEW BEST:: SOT 427984 SOS 267787 HAS SOPS 264831 HAS SOUS 190516 HAS SOUPS 187665 WITH SCORE 187932.787
AT ITER 209 NEW BEST:: SOT 427736 SOS 267539 HAS SOPS 264583 HAS SOUS 190392 HAS SOUPS 187541 WITH SCORE 187808.539
AT ITER 211 NEW BEST:: SOT 424150 SOS 263386 HAS SOPS 260279 HAS SOUS 188368 HAS SOUPS 185366 WITH SCORE 185629.386
AT ITER 214 NEW BEST:: SOT 424023 SOS 263259 HAS SOPS 260152 HAS SOUS 188241 HAS SOUPS 185239 WITH SCORE 185502.259
AT ITER 215 NEW BEST:: SOT 424011 SOS 263235 HAS SOPS 260128 HAS SOUS 188229 HAS SOUPS 185227 WITH SCORE 185490.235
AT ITER 218 NEW BEST:: SOT 423827 SOS 262775 HAS SOPS 259668 HAS SOUS 188045 HAS SOUPS 185043 WITH SCORE 185305.775
AT ITER 219 NEW BEST:: SOT 423798 SOS 262746 HAS SOPS 259639 HAS SOUS 188016 HAS SOUPS 185014 WITH SCORE 185276.746
AT ITER 220 NEW BEST:: SOT 422996 SOS 261290 HAS SOPS 258183 HAS SOUS 186996 HAS SOUPS 183994 WITH SCORE 184255.29
AT ITER 222 NEW BEST:: SOT 422996 SOS 261017 HAS SOPS 257910 HAS SOUS 186891 HAS SOUPS 183889 WITH SCORE 184150.017
AT ITER 223 NEW BEST:: SOT 422711 SOS 260731 HAS SOPS 257624 HAS SOUS 186700 HAS SOUPS 183698 WITH SCORE 183958.731
AT ITER 224 NEW BEST:: SOT 422710 SOS 260730 HAS SOPS 257622 HAS SOUS 186699 HAS SOUPS 183696 WITH SCORE 183956.73
AT ITER 225 NEW BEST:: SOT 421457 SOS 258851 HAS SOPS 255494 HAS SOUS 185646 HAS SOUPS 182394 WITH SCORE 182652.851
AT ITER 226 NEW BEST:: SOT 421308 SOS 257742 HAS SOPS 254385 HAS SOUS 185095 HAS SOUPS 181843 WITH SCORE 182100.742
AT ITER 231 NEW BEST:: SOT 420978 SOS 257059 HAS SOPS 253422 HAS SOUS 184834 HAS SOUPS 181302 WITH SCORE 181559.059
AT ITER 232 NEW BEST:: SOT 420231 SOS 256312 HAS SOPS 252492 HAS SOUS 184295 HAS SOUPS 180580 WITH SCORE 180836.312
AT ITER 238 NEW BEST:: SOT 419745 SOS 255666 HAS SOPS 251844 HAS SOUS 183973 HAS SOUPS 180256 WITH SCORE 180511.666
AT ITER 239 NEW BEST:: SOT 419621 SOS 255219 HAS SOPS 251397 HAS SOUS 183714 HAS SOUPS 179997 WITH SCORE 180252.219
AT ITER 241 NEW BEST:: SOT 420127 SOS 255724 HAS SOPS 251902 HAS SOUS 183713 HAS SOUPS 179996 WITH SCORE 180251.724
AT ITER 242 NEW BEST:: SOT 420126 SOS 255723 HAS SOPS 251901 HAS SOUS 183712 HAS SOUPS 179995 WITH SCORE 180250.723
AT ITER 243 NEW BEST:: SOT 420126 SOS 255168 HAS SOPS 251346 HAS SOUS 183578 HAS SOUPS 179861 WITH SCORE 180116.168
AT ITER 245 NEW BEST:: SOT 419859 SOS 254901 HAS SOPS 251079 HAS SOUS 183362 HAS SOUPS 179645 WITH SCORE 179899.901
AT ITER 247 NEW BEST:: SOT 419689 SOS 254476 HAS SOPS 250654 HAS SOUS 183107 HAS SOUPS 179390 WITH SCORE 179644.476
AT ITER 249 NEW BEST:: SOT 418804 SOS 253688 HAS SOPS 249769 HAS SOUS 182639 HAS SOUPS 178825 WITH SCORE 179078.688
AT ITER 251 NEW BEST:: SOT 415586 SOS 250878 HAS SOPS 246959 HAS SOUS 180721 HAS SOUPS 176907 WITH SCORE 177157.878
AT ITER 252 NEW BEST:: SOT 415300 SOS 249660 HAS SOPS 245781 HAS SOUS 179829 HAS SOUPS 176055 WITH SCORE 176304.66
AT ITER 253 NEW BEST:: SOT 415300 SOS 249477 HAS SOPS 245598 HAS SOUS 179646 HAS SOUPS 175872 WITH SCORE 176121.477
AT ITER 256 NEW BEST:: SOT 415279 SOS 249456 HAS SOPS 245577 HAS SOUS 179622 HAS SOUPS 175848 WITH SCORE 176097.456
AT ITER 257 NEW BEST:: SOT 415229 SOS 249406 HAS SOPS 245526 HAS SOUS 179572 HAS SOUPS 175797 WITH SCORE 176046.406
AT ITER 261 NEW BEST:: SOT 415229 SOS 249277 HAS SOPS 245397 HAS SOUS 179572 HAS SOUPS 175797 WITH SCORE 176046.277
AT ITER 262 NEW BEST:: SOT 415247 SOS 249137 HAS SOPS 245257 HAS SOUS 179432 HAS SOUPS 175657 WITH SCORE 175906.137
AT ITER 266 NEW BEST:: SOT 415247 SOS 249136 HAS SOPS 245256 HAS SOUS 179431 HAS SOUPS 175656 WITH SCORE 175905.136
AT ITER 267 NEW BEST:: SOT 415248 SOS 249137 HAS SOPS 245257 HAS SOUS 179258 HAS SOUPS 175483 WITH SCORE 175732.137
AT ITER 268 NEW BEST:: SOT 415249 SOS 249138 HAS SOPS 245258 HAS SOUS 179252 HAS SOUPS 175477 WITH SCORE 175726.138
AT ITER 271 NEW BEST:: SOT 415235 SOS 249124 HAS SOPS 245244 HAS SOUS 179238 HAS SOUPS 175463 WITH SCORE 175712.124
AT ITER 273 NEW BEST:: SOT 414150 SOS 248039 HAS SOPS 244159 HAS SOUS 178643 HAS SOUPS 174868 WITH SCORE 175116.039
AT ITER 274 NEW BEST:: SOT 414142 SOS 249027 HAS SOPS 245147 HAS SOUS 178385 HAS SOUPS 174610 WITH SCORE 174859.027
AT ITER 277 NEW BEST:: SOT 414186 SOS 248917 HAS SOPS 245106 HAS SOUS 178300 HAS SOUPS 174594 WITH SCORE 174842.917
AT ITER 280 NEW BEST:: SOT 414186 SOS 248061 HAS SOPS 244250 HAS SOUS 177802 HAS SOUPS 174096 WITH SCORE 174344.061
AT ITER 282 NEW BEST:: SOT 414186 SOS 247894 HAS SOPS 244083 HAS SOUS 177802 HAS SOUPS 174096 WITH SCORE 174343.894
AT ITER 283 NEW BEST:: SOT 413687 SOS 247394 HAS SOPS 243583 HAS SOUS 177483 HAS SOUPS 173777 WITH SCORE 174024.394
AT ITER 285 NEW BEST:: SOT 413714 SOS 246591 HAS SOPS 242780 HAS SOUS 177354 HAS SOUPS 173648 WITH SCORE 173894.591
AT ITER 286 NEW BEST:: SOT 413468 SOS 246407 HAS SOPS 242596 HAS SOUS 177174 HAS SOUPS 173468 WITH SCORE 173714.407
AT ITER 292 NEW BEST:: SOT 412637 SOS 245576 HAS SOPS 241765 HAS SOUS 176691 HAS SOUPS 172985 WITH SCORE 173230.576
AT ITER 293 NEW BEST:: SOT 412637 SOS 245462 HAS SOPS 241765 HAS SOUS 176577 HAS SOUPS 172985 WITH SCORE 173230.462
AT ITER 294 NEW BEST:: SOT 411710 SOS 243868 HAS SOPS 240244 HAS SOUS 175565 HAS SOUPS 172046 WITH SCORE 172289.868
AT ITER 296 NEW BEST:: SOT 411614 SOS 243724 HAS SOPS 240052 HAS SOUS 175469 HAS SOUPS 171902 WITH SCORE 172145.724
AT ITER 297 NEW BEST:: SOT 411540 SOS 243575 HAS SOPS 239903 HAS SOUS 175320 HAS SOUPS 171753 WITH SCORE 171996.575
AT ITER 302 NEW BEST:: SOT 411434 SOS 243285 HAS SOPS 239613 HAS SOUS 175213 HAS SOUPS 171646 WITH SCORE 171889.285
AT ITER 304 NEW BEST:: SOT 411196 SOS 242971 HAS SOPS 239298 HAS SOUS 174978 HAS SOUPS 171410 WITH SCORE 171652.971
AT ITER 314 NEW BEST:: SOT 411160 SOS 242935 HAS SOPS 239262 HAS SOUS 174978 HAS SOUPS 171410 WITH SCORE 171652.935
AT ITER 322 NEW BEST:: SOT 411068 SOS 242751 HAS SOPS 239078 HAS SOUS 174840 HAS SOUPS 171272 WITH SCORE 171514.751
AT ITER 324 NEW BEST:: SOT 410361 SOS 242215 HAS SOPS 238517 HAS SOUS 174396 HAS SOUPS 170803 WITH SCORE 171045.215
AT ITER 325 NEW BEST:: SOT 410089 SOS 241589 HAS SOPS 237891 HAS SOUS 173293 HAS SOUPS 169700 WITH SCORE 169941.589
AT ITER 327 NEW BEST:: SOT 410089 SOS 241061 HAS SOPS 237363 HAS SOUS 173114 HAS SOUPS 169521 WITH SCORE 169762.061
AT ITER 328 NEW BEST:: SOT 410089 SOS 240661 HAS SOPS 236963 HAS SOUS 173114 HAS SOUPS 169521 WITH SCORE 169761.661
AT ITER 330 NEW BEST:: SOT 410089 SOS 240619 HAS SOPS 236921 HAS SOUS 173114 HAS SOUPS 169521 WITH SCORE 169761.619
AT ITER 331 NEW BEST:: SOT 409909 SOS 240349 HAS SOPS 236651 HAS SOUS 173024 HAS SOUPS 169431 WITH SCORE 169671.349
AT ITER 333 NEW BEST:: SOT 409909 SOS 240297 HAS SOPS 236651 HAS SOUS 172969 HAS SOUPS 169428 WITH SCORE 169668.297
AT ITER 334 NEW BEST:: SOT 409909 SOS 240296 HAS SOPS 236650 HAS SOUS 172968 HAS SOUPS 169427 WITH SCORE 169667.296
AT ITER 338 NEW BEST:: SOT 409861 SOS 240248 HAS SOPS 236602 HAS SOUS 172944 HAS SOUPS 169403 WITH SCORE 169643.248
AT ITER 342 NEW BEST:: SOT 409398 SOS 239785 HAS SOPS 236139 HAS SOUS 172618 HAS SOUPS 169077 WITH SCORE 169316.785
AT ITER 344 NEW BEST:: SOT 408994 SOS 239381 HAS SOPS 235735 HAS SOUS 172391 HAS SOUPS 168850 WITH SCORE 169089.381
AT ITER 348 NEW BEST:: SOT 408421 SOS 239338 HAS SOPS 235474 HAS SOUS 172189 HAS SOUPS 168430 WITH SCORE 168669.338
AT ITER 350 NEW BEST:: SOT 408413 SOS 239330 HAS SOPS 235466 HAS SOUS 172185 HAS SOUPS 168426 WITH SCORE 168665.33
AT ITER 351 NEW BEST:: SOT 408387 SOS 239190 HAS SOPS 235364 HAS SOUS 172083 HAS SOUPS 168362 WITH SCORE 168601.19
AT ITER 352 NEW BEST:: SOT 408115 SOS 239119 HAS SOPS 235293 HAS SOUS 172012 HAS SOUPS 168291 WITH SCORE 168530.119
AT ITER 354 NEW BEST:: SOT 407979 SOS 238983 HAS SOPS 235157 HAS SOUS 171876 HAS SOUPS 168155 WITH SCORE 168393.983
AT ITER 357 NEW BEST:: SOT 407089 SOS 238045 HAS SOPS 234219 HAS SOUS 171294 HAS SOUPS 167573 WITH SCORE 167811.045
AT ITER 361 NEW BEST:: SOT 406060 SOS 237090 HAS SOPS 233189 HAS SOUS 170694 HAS SOUPS 166898 WITH SCORE 167135.09
AT ITER 363 NEW BEST:: SOT 405814 SOS 236656 HAS SOPS 232574 HAS SOUS 170506 HAS SOUPS 166529 WITH SCORE 166765.656
AT ITER 367 NEW BEST:: SOT 405666 SOS 236369 HAS SOPS 232287 HAS SOUS 170367 HAS SOUPS 166390 WITH SCORE 166626.369
AT ITER 370 NEW BEST:: SOT 403000 SOS 233702 HAS SOPS 229620 HAS SOUS 168625 HAS SOUPS 164648 WITH SCORE 164881.702
AT ITER 378 NEW BEST:: SOT 402999 SOS 233437 HAS SOPS 229355 HAS SOUS 168520 HAS SOUPS 164543 WITH SCORE 164776.437
AT ITER 382 NEW BEST:: SOT 402906 SOS 233343 HAS SOPS 229261 HAS SOUS 168426 HAS SOUPS 164449 WITH SCORE 164682.343
AT ITER 388 NEW BEST:: SOT 402818 SOS 233168 HAS SOPS 229086 HAS SOUS 168251 HAS SOUPS 164274 WITH SCORE 164507.168
AT ITER 389 NEW BEST:: SOT 402818 SOS 233168 HAS SOPS 229086 HAS SOUS 168197 HAS SOUPS 164220 WITH SCORE 164453.168
AT ITER 391 NEW BEST:: SOT 402818 SOS 233066 HAS SOPS 228984 HAS SOUS 168191 HAS SOUPS 164214 WITH SCORE 164447.066
AT ITER 392 NEW BEST:: SOT 402818 SOS 233065 HAS SOPS 228983 HAS SOUS 168190 HAS SOUPS 164213 WITH SCORE 164446.065
AT ITER 396 NEW BEST:: SOT 402584 SOS 231655 HAS SOPS 227573 HAS SOUS 167387 HAS SOUPS 163410 WITH SCORE 163641.655
AT ITER 401 NEW BEST:: SOT 401900 SOS 229522 HAS SOPS 225135 HAS SOUS 166967 HAS SOUPS 162685 WITH SCORE 162914.522
AT ITER 403 NEW BEST:: SOT 401254 SOS 228876 HAS SOPS 224489 HAS SOUS 166321 HAS SOUPS 162039 WITH SCORE 162267.876
AT ITER 406 NEW BEST:: SOT 401142 SOS 228409 HAS SOPS 224022 HAS SOUS 166239 HAS SOUPS 161957 WITH SCORE 162185.409
AT ITER 407 NEW BEST:: SOT 401142 SOS 228543 HAS SOPS 224156 HAS SOUS 166238 HAS SOUPS 161956 WITH SCORE 162184.543
AT ITER 412 NEW BEST:: SOT 401043 SOS 228353 HAS SOPS 224026 HAS SOUS 166106 HAS SOUPS 161826 WITH SCORE 162054.353
AT ITER 413 NEW BEST:: SOT 401098 SOS 228408 HAS SOPS 224081 HAS SOUS 166051 HAS SOUPS 161771 WITH SCORE 161999.408
AT ITER 415 NEW BEST:: SOT 401005 SOS 228284 HAS SOPS 223957 HAS SOUS 166051 HAS SOUPS 161771 WITH SCORE 161999.284
AT ITER 416 NEW BEST:: SOT 401005 SOS 228241 HAS SOPS 223914 HAS SOUS 166051 HAS SOUPS 161771 WITH SCORE 161999.241
AT ITER 417 NEW BEST:: SOT 401005 SOS 228093 HAS SOPS 223766 HAS SOUS 165977 HAS SOUPS 161697 WITH SCORE 161925.093
AT ITER 419 NEW BEST:: SOT 401005 SOS 227894 HAS SOPS 223567 HAS SOUS 165885 HAS SOUPS 161605 WITH SCORE 161832.894
AT ITER 420 NEW BEST:: SOT 400088 SOS 224913 HAS SOPS 219936 HAS SOUS 165086 HAS SOUPS 160481 WITH SCORE 160705.913
AT ITER 423 NEW BEST:: SOT 399933 SOS 224912 HAS SOPS 219935 HAS SOUS 165085 HAS SOUPS 160480 WITH SCORE 160704.912
AT ITER 424 NEW BEST:: SOT 399933 SOS 224855 HAS SOPS 219878 HAS SOUS 165028 HAS SOUPS 160423 WITH SCORE 160647.855
AT ITER 432 NEW BEST:: SOT 399651 SOS 224603 HAS SOPS 219362 HAS SOUS 164938 HAS SOUPS 160069 WITH SCORE 160293.603
AT ITER 446 NEW BEST:: SOT 398769 SOS 223822 HAS SOPS 218480 HAS SOUS 164434 HAS SOUPS 159464 WITH SCORE 159687.822
AT ITER 448 NEW BEST:: SOT 398594 SOS 223597 HAS SOPS 218255 HAS SOUS 164259 HAS SOUPS 159289 WITH SCORE 159512.597
AT ITER 449 NEW BEST:: SOT 398744 SOS 224141 HAS SOPS 218352 HAS SOUS 164471 HAS SOUPS 159054 WITH SCORE 159278.141
AT ITER 454 NEW BEST:: SOT 397628 SOS 222454 HAS SOPS 216595 HAS SOUS 163380 HAS SOUPS 157893 WITH SCORE 158115.454
AT ITER 458 NEW BEST:: SOT 397628 SOS 221842 HAS SOPS 215983 HAS SOUS 163164 HAS SOUPS 157677 WITH SCORE 157898.842
AT ITER 459 NEW BEST:: SOT 397789 SOS 222003 HAS SOPS 215987 HAS SOUS 163168 HAS SOUPS 157524 WITH SCORE 157746.003
AT ITER 464 NEW BEST:: SOT 397605 SOS 221772 HAS SOPS 215756 HAS SOUS 162983 HAS SOUPS 157339 WITH SCORE 157560.772
AT ITER 468 NEW BEST:: SOT 397405 SOS 221572 HAS SOPS 215556 HAS SOUS 162783 HAS SOUPS 157139 WITH SCORE 157360.572
AT ITER 472 NEW BEST:: SOT 396944 SOS 220576 HAS SOPS 214560 HAS SOUS 161990 HAS SOUPS 156346 WITH SCORE 156566.576
AT ITER 476 NEW BEST:: SOT 396922 SOS 220551 HAS SOPS 214527 HAS SOUS 161976 HAS SOUPS 156324 WITH SCORE 156544.551
AT ITER 478 NEW BEST:: SOT 396997 SOS 220541 HAS SOPS 214517 HAS SOUS 161966 HAS SOUPS 156314 WITH SCORE 156534.541
AT ITER 479 NEW BEST:: SOT 396366 SOS 220042 HAS SOPS 213886 HAS SOUS 161731 HAS SOUPS 155947 WITH SCORE 156167.042
AT ITER 480 NEW BEST:: SOT 396325 SOS 219865 HAS SOPS 213709 HAS SOUS 161554 HAS SOUPS 155770 WITH SCORE 155989.865
AT ITER 492 NEW BEST:: SOT 395824 SOS 219300 HAS SOPS 213144 HAS SOUS 161142 HAS SOUPS 155358 WITH SCORE 155577.3
AT ITER 494 NEW BEST:: SOT 395918 SOS 219394 HAS SOPS 213238 HAS SOUS 161138 HAS SOUPS 155354 WITH SCORE 155573.394
AT ITER 496 NEW BEST:: SOT 395810 SOS 219188 HAS SOPS 212978 HAS SOUS 161040 HAS SOUPS 155202 WITH SCORE 155421.188
AT ITER 500 NEW BEST:: SOT 395544 SOS 217989 HAS SOPS 211779 HAS SOUS 160553 HAS SOUPS 154715 WITH SCORE 154932.989
AT ITER 501 NEW BEST:: SOT 395420 SOS 217426 HAS SOPS 211216 HAS SOUS 160468 HAS SOUPS 154630 WITH SCORE 154847.426
AT ITER 503 NEW BEST:: SOT 395157 SOS 217163 HAS SOPS 210953 HAS SOUS 160294 HAS SOUPS 154456 WITH SCORE 154673.163
AT ITER 505 NEW BEST:: SOT 394339 SOS 216190 HAS SOPS 209980 HAS SOUS 159321 HAS SOUPS 153483 WITH SCORE 153699.19
AT ITER 506 NEW BEST:: SOT 393756 SOS 215606 HAS SOPS 209396 HAS SOUS 158935 HAS SOUPS 153097 WITH SCORE 153312.606
AT ITER 507 NEW BEST:: SOT 393734 SOS 215486 HAS SOPS 209328 HAS SOUS 158852 HAS SOUPS 153066 WITH SCORE 153281.486
AT ITER 509 NEW BEST:: SOT 393530 SOS 215384 HAS SOPS 209124 HAS SOUS 158852 HAS SOUPS 152964 WITH SCORE 153179.384
AT ITER 510 NEW BEST:: SOT 393530 SOS 215485 HAS SOPS 209225 HAS SOUS 158851 HAS SOUPS 152963 WITH SCORE 153178.485
AT ITER 513 NEW BEST:: SOT 393530 SOS 215320 HAS SOPS 209115 HAS SOUS 158741 HAS SOUPS 152908 WITH SCORE 153123.32
AT ITER 523 NEW BEST:: SOT 393455 SOS 215245 HAS SOPS 209040 HAS SOUS 158641 HAS SOUPS 152808 WITH SCORE 153023.245
AT ITER 524 NEW BEST:: SOT 393171 SOS 214562 HAS SOPS 208357 HAS SOUS 158242 HAS SOUPS 152409 WITH SCORE 152623.562
AT ITER 525 NEW BEST:: SOT 393059 SOS 214394 HAS SOPS 208189 HAS SOUS 158102 HAS SOUPS 152269 WITH SCORE 152483.394
AT ITER 526 NEW BEST:: SOT 393007 SOS 214316 HAS SOPS 208111 HAS SOUS 158050 HAS SOUPS 152217 WITH SCORE 152431.316
AT ITER 527 NEW BEST:: SOT 392913 SOS 213564 HAS SOPS 207359 HAS SOUS 157768 HAS SOUPS 151935 WITH SCORE 152148.564
AT ITER 533 NEW BEST:: SOT 392802 SOS 213266 HAS SOPS 207011 HAS SOUS 157470 HAS SOUPS 151587 WITH SCORE 151800.266
AT ITER 535 NEW BEST:: SOT 392405 SOS 213360 HAS SOPS 206702 HAS SOUS 157786 HAS SOUPS 151500 WITH SCORE 151713.36
AT ITER 538 NEW BEST:: SOT 392405 SOS 213117 HAS SOPS 206617 HAS SOUS 157690 HAS SOUPS 151483 WITH SCORE 151696.117
AT ITER 539 NEW BEST:: SOT 392210 SOS 212955 HAS SOPS 206422 HAS SOUS 157637 HAS SOUPS 151397 WITH SCORE 151609.955
AT ITER 551 NEW BEST:: SOT 392210 SOS 212835 HAS SOPS 206302 HAS SOUS 157517 HAS SOUPS 151277 WITH SCORE 151489.835
AT ITER 554 NEW BEST:: SOT 392152 SOS 212777 HAS SOPS 206244 HAS SOUS 157459 HAS SOUPS 151219 WITH SCORE 151431.777
AT ITER 555 NEW BEST:: SOT 391328 SOS 211616 HAS SOPS 205083 HAS SOUS 156499 HAS SOUPS 150259 WITH SCORE 150470.616
AT ITER 556 NEW BEST:: SOT 390983 SOS 211271 HAS SOPS 204738 HAS SOUS 156154 HAS SOUPS 149914 WITH SCORE 150125.271
AT ITER 557 NEW BEST:: SOT 390287 SOS 210711 HAS SOPS 203970 HAS SOUS 155904 HAS SOUPS 149456 WITH SCORE 149666.711
AT ITER 559 NEW BEST:: SOT 390253 SOS 210621 HAS SOPS 203880 HAS SOUS 155814 HAS SOUPS 149366 WITH SCORE 149576.621
AT ITER 561 NEW BEST:: SOT 390217 SOS 210513 HAS SOPS 203772 HAS SOUS 155742 HAS SOUPS 149294 WITH SCORE 149504.513
AT ITER 571 NEW BEST:: SOT 390004 SOS 210291 HAS SOPS 203550 HAS SOUS 155591 HAS SOUPS 149143 WITH SCORE 149353.291
AT ITER 577 NEW BEST:: SOT 389280 SOS 209566 HAS SOPS 202825 HAS SOUS 155201 HAS SOUPS 148753 WITH SCORE 148962.566
AT ITER 583 NEW BEST:: SOT 389065 SOS 209597 HAS SOPS 202651 HAS SOUS 155318 HAS SOUPS 148665 WITH SCORE 148874.597
AT ITER 584 NEW BEST:: SOT 389065 SOS 209034 HAS SOPS 202231 HAS SOUS 155041 HAS SOUPS 148531 WITH SCORE 148740.034
AT ITER 594 NEW BEST:: SOT 389050 SOS 209019 HAS SOPS 202216 HAS SOUS 155026 HAS SOUPS 148516 WITH SCORE 148725.019
AT ITER 596 NEW BEST:: SOT 389005 SOS 208971 HAS SOPS 202168 HAS SOUS 154978 HAS SOUPS 148468 WITH SCORE 148676.971
AT ITER 599 NEW BEST:: SOT 388922 SOS 208471 HAS SOPS 201668 HAS SOUS 154770 HAS SOUPS 148260 WITH SCORE 148468.471
AT ITER 600 NEW BEST:: SOT 387945 SOS 207899 HAS SOPS 200660 HAS SOUS 154638 HAS SOUPS 147692 WITH SCORE 147899.899
AT ITER 607 NEW BEST:: SOT 387411 SOS 207912 HAS SOPS 200673 HAS SOUS 154503 HAS SOUPS 147557 WITH SCORE 147764.912
AT ITER 614 NEW BEST:: SOT 387288 SOS 207764 HAS SOPS 200550 HAS SOUS 154355 HAS SOUPS 147434 WITH SCORE 147641.764
AT ITER 617 NEW BEST:: SOT 386442 SOS 206831 HAS SOPS 199361 HAS SOUS 153824 HAS SOUPS 146647 WITH SCORE 146853.831
AT ITER 619 NEW BEST:: SOT 386349 SOS 206738 HAS SOPS 199268 HAS SOUS 153731 HAS SOUPS 146554 WITH SCORE 146760.738
AT ITER 620 NEW BEST:: SOT 385947 SOS 206336 HAS SOPS 198866 HAS SOUS 153454 HAS SOUPS 146277 WITH SCORE 146483.336
AT ITER 622 NEW BEST:: SOT 385839 SOS 206156 HAS SOPS 198686 HAS SOUS 153310 HAS SOUPS 146133 WITH SCORE 146339.156
AT ITER 625 NEW BEST:: SOT 385717 SOS 206026 HAS SOPS 198556 HAS SOUS 153180 HAS SOUPS 146003 WITH SCORE 146209.026
AT ITER 626 NEW BEST:: SOT 385276 SOS 205784 HAS SOPS 198115 HAS SOUS 153279 HAS SOUPS 145903 WITH SCORE 146108.784
AT ITER 629 NEW BEST:: SOT 385023 SOS 206037 HAS SOPS 198368 HAS SOUS 153026 HAS SOUPS 145650 WITH SCORE 145856.037
AT ITER 641 NEW BEST:: SOT 385006 SOS 205919 HAS SOPS 198351 HAS SOUS 152908 HAS SOUPS 145633 WITH SCORE 145838.919
AT ITER 643 NEW BEST:: SOT 384499 SOS 205419 HAS SOPS 197851 HAS SOUS 152573 HAS SOUPS 145298 WITH SCORE 145503.419
AT ITER 646 NEW BEST:: SOT 384364 SOS 205283 HAS SOPS 197715 HAS SOUS 152437 HAS SOUPS 145162 WITH SCORE 145367.283
AT ITER 647 NEW BEST:: SOT 383824 SOS 204305 HAS SOPS 196567 HAS SOUS 152055 HAS SOUPS 144610 WITH SCORE 144814.305
AT ITER 650 NEW BEST:: SOT 383824 SOS 204286 HAS SOPS 196548 HAS SOUS 152036 HAS SOUPS 144591 WITH SCORE 144795.286
AT ITER 651 NEW BEST:: SOT 383451 SOS 203295 HAS SOPS 195557 HAS SOUS 151417 HAS SOUPS 143972 WITH SCORE 144175.295
AT ITER 652 NEW BEST:: SOT 383208 SOS 202971 HAS SOPS 195233 HAS SOUS 151174 HAS SOUPS 143729 WITH SCORE 143931.971
AT ITER 654 NEW BEST:: SOT 383208 SOS 202923 HAS SOPS 195185 HAS SOUS 151142 HAS SOUPS 143697 WITH SCORE 143899.923
AT ITER 659 NEW BEST:: SOT 383039 SOS 202705 HAS SOPS 194967 HAS SOUS 150924 HAS SOUPS 143479 WITH SCORE 143681.705
AT ITER 660 NEW BEST:: SOT 383033 SOS 202616 HAS SOPS 194878 HAS SOUS 150839 HAS SOUPS 143394 WITH SCORE 143596.616
AT ITER 663 NEW BEST:: SOT 383033 SOS 202603 HAS SOPS 194865 HAS SOUS 150826 HAS SOUPS 143381 WITH SCORE 143583.603
AT ITER 666 NEW BEST:: SOT 382314 SOS 201493 HAS SOPS 193755 HAS SOUS 150100 HAS SOUPS 142655 WITH SCORE 142856.493
AT ITER 668 NEW BEST:: SOT 381420 SOS 200799 HAS SOPS 193061 HAS SOUS 149639 HAS SOUPS 142194 WITH SCORE 142394.799
AT ITER 674 NEW BEST:: SOT 381420 SOS 200789 HAS SOPS 193051 HAS SOUS 149629 HAS SOUPS 142184 WITH SCORE 142384.789
AT ITER 685 NEW BEST:: SOT 380401 SOS 199126 HAS SOPS 191388 HAS SOUS 148886 HAS SOUPS 141441 WITH SCORE 141640.126
AT ITER 686 NEW BEST:: SOT 380050 SOS 198775 HAS SOPS 191037 HAS SOUS 148766 HAS SOUPS 141321 WITH SCORE 141519.775
AT ITER 691 NEW BEST:: SOT 380050 SOS 198745 HAS SOPS 191007 HAS SOUS 148736 HAS SOUPS 141291 WITH SCORE 141489.745
AT ITER 692 NEW BEST:: SOT 379865 SOS 198707 HAS SOPS 190969 HAS SOUS 148567 HAS SOUPS 141122 WITH SCORE 141320.707
AT ITER 694 NEW BEST:: SOT 379865 SOS 198637 HAS SOPS 190899 HAS SOUS 148532 HAS SOUPS 141087 WITH SCORE 141285.637
AT ITER 699 NEW BEST:: SOT 379785 SOS 198557 HAS SOPS 190819 HAS SOUS 148532 HAS SOUPS 141087 WITH SCORE 141285.557
AT ITER 700 NEW BEST:: SOT 379753 SOS 198525 HAS SOPS 190787 HAS SOUS 148500 HAS SOUPS 141055 WITH SCORE 141253.525
AT ITER 702 NEW BEST:: SOT 379693 SOS 198465 HAS SOPS 190727 HAS SOUS 148470 HAS SOUPS 141025 WITH SCORE 141223.465
AT ITER 703 NEW BEST:: SOT 379710 SOS 197384 HAS SOPS 189851 HAS SOUS 148119 HAS SOUPS 140879 WITH SCORE 141076.384
AT ITER 704 NEW BEST:: SOT 379710 SOS 197038 HAS SOPS 189505 HAS SOUS 147773 HAS SOUPS 140533 WITH SCORE 140730.038
AT ITER 705 NEW BEST:: SOT 379185 SOS 197045 HAS SOPS 189480 HAS SOUS 147633 HAS SOUPS 140361 WITH SCORE 140558.045
AT ITER 706 NEW BEST:: SOT 379185 SOS 196873 HAS SOPS 189255 HAS SOUS 147461 HAS SOUPS 140136 WITH SCORE 140332.873
AT ITER 707 NEW BEST:: SOT 378807 SOS 196547 HAS SOPS 188877 HAS SOUS 147268 HAS SOUPS 139891 WITH SCORE 140087.547
AT ITER 710 NEW BEST:: SOT 378453 SOS 196306 HAS SOPS 188523 HAS SOUS 147144 HAS SOUPS 139654 WITH SCORE 139850.306
AT ITER 718 NEW BEST:: SOT 378607 SOS 196201 HAS SOPS 188418 HAS SOUS 147090 HAS SOUPS 139600 WITH SCORE 139796.201
AT ITER 720 NEW BEST:: SOT 378591 SOS 196185 HAS SOPS 188402 HAS SOUS 147074 HAS SOUPS 139584 WITH SCORE 139780.185
AT ITER 726 NEW BEST:: SOT 378590 SOS 196167 HAS SOPS 188313 HAS SOUS 147056 HAS SOUPS 139495 WITH SCORE 139691.167
AT ITER 727 NEW BEST:: SOT 378482 SOS 195897 HAS SOPS 188043 HAS SOUS 146894 HAS SOUPS 139333 WITH SCORE 139528.897
AT ITER 732 NEW BEST:: SOT 378482 SOS 195770 HAS SOPS 187916 HAS SOUS 146828 HAS SOUPS 139267 WITH SCORE 139462.77
AT ITER 737 NEW BEST:: SOT 378428 SOS 195094 HAS SOPS 187240 HAS SOUS 146359 HAS SOUPS 138798 WITH SCORE 138993.094
AT ITER 738 NEW BEST:: SOT 378404 SOS 194612 HAS SOPS 186758 HAS SOUS 146106 HAS SOUPS 138545 WITH SCORE 138739.612
AT ITER 744 NEW BEST:: SOT 377905 SOS 194873 HAS SOPS 186771 HAS SOUS 146164 HAS SOUPS 138355 WITH SCORE 138549.873
AT ITER 747 NEW BEST:: SOT 377831 SOS 194920 HAS SOPS 186764 HAS SOUS 146186 HAS SOUPS 138348 WITH SCORE 138542.92
AT ITER 752 NEW BEST:: SOT 377285 SOS 194346 HAS SOPS 186190 HAS SOUS 145822 HAS SOUPS 137984 WITH SCORE 138178.346
AT ITER 754 NEW BEST:: SOT 377285 SOS 194315 HAS SOPS 186159 HAS SOUS 145819 HAS SOUPS 137981 WITH SCORE 138175.315
AT ITER 758 NEW BEST:: SOT 377014 SOS 194075 HAS SOPS 185919 HAS SOUS 145643 HAS SOUPS 137805 WITH SCORE 137999.075
AT ITER 761 NEW BEST:: SOT 377132 SOS 193504 HAS SOPS 185348 HAS SOUS 145408 HAS SOUPS 137570 WITH SCORE 137763.504
AT ITER 762 NEW BEST:: SOT 374591 SOS 191103 HAS SOPS 182746 HAS SOUS 143858 HAS SOUPS 135819 WITH SCORE 136010.103
AT ITER 765 NEW BEST:: SOT 374367 SOS 190221 HAS SOPS 182116 HAS SOUS 143200 HAS SOUPS 135413 WITH SCORE 135603.221
AT ITER 767 NEW BEST:: SOT 374362 SOS 189624 HAS SOPS 181519 HAS SOUS 142839 HAS SOUPS 135052 WITH SCORE 135241.624
AT ITER 770 NEW BEST:: SOT 373523 SOS 189230 HAS SOPS 180859 HAS SOUS 142824 HAS SOUPS 134771 WITH SCORE 134960.23
AT ITER 781 NEW BEST:: SOT 373482 SOS 189189 HAS SOPS 180818 HAS SOUS 142783 HAS SOUPS 134730 WITH SCORE 134919.189
AT ITER 782 NEW BEST:: SOT 372978 SOS 188471 HAS SOPS 180100 HAS SOUS 142317 HAS SOUPS 134264 WITH SCORE 134452.471
AT ITER 784 NEW BEST:: SOT 372564 SOS 188152 HAS SOPS 179686 HAS SOUS 142171 HAS SOUPS 134023 WITH SCORE 134211.152
AT ITER 788 NEW BEST:: SOT 372478 SOS 188238 HAS SOPS 179686 HAS SOUS 142171 HAS SOUPS 133937 WITH SCORE 134125.238
AT ITER 790 NEW BEST:: SOT 372294 SOS 188089 HAS SOPS 179430 HAS SOUS 142094 HAS SOUPS 133753 WITH SCORE 133941.089
AT ITER 793 NEW BEST:: SOT 372246 SOS 187763 HAS SOPS 179104 HAS SOUS 142023 HAS SOUPS 133682 WITH SCORE 133869.763
AT ITER 802 NEW BEST:: SOT 372243 SOS 187760 HAS SOPS 179101 HAS SOUS 142020 HAS SOUPS 133679 WITH SCORE 133866.76
AT ITER 804 NEW BEST:: SOT 372243 SOS 187713 HAS SOPS 179054 HAS SOUS 141926 HAS SOUPS 133585 WITH SCORE 133772.713
AT ITER 805 NEW BEST:: SOT 371978 SOS 187141 HAS SOPS 178427 HAS SOUS 141673 HAS SOUPS 133277 WITH SCORE 133464.141
AT ITER 809 NEW BEST:: SOT 370934 SOS 186002 HAS SOPS 177383 HAS SOUS 141002 HAS SOUPS 132701 WITH SCORE 132887.002
AT ITER 820 NEW BEST:: SOT 370586 SOS 185754 HAS SOPS 177135 HAS SOUS 140852 HAS SOUPS 132551 WITH SCORE 132736.754
AT ITER 822 NEW BEST:: SOT 370341 SOS 185509 HAS SOPS 176890 HAS SOUS 140607 HAS SOUPS 132306 WITH SCORE 132491.509
AT ITER 829 NEW BEST:: SOT 370266 SOS 185434 HAS SOPS 176815 HAS SOUS 140532 HAS SOUPS 132231 WITH SCORE 132416.434
AT ITER 832 NEW BEST:: SOT 370207 SOS 185413 HAS SOPS 176794 HAS SOUS 140497 HAS SOUPS 132196 WITH SCORE 132381.413
AT ITER 833 NEW BEST:: SOT 370213 SOS 184974 HAS SOPS 176355 HAS SOUS 140250 HAS SOUPS 131949 WITH SCORE 132133.974
AT ITER 837 NEW BEST:: SOT 370161 SOS 184909 HAS SOPS 176290 HAS SOUS 140198 HAS SOUPS 131897 WITH SCORE 132081.909
AT ITER 838 NEW BEST:: SOT 370084 SOS 184656 HAS SOPS 176037 HAS SOUS 140044 HAS SOUPS 131743 WITH SCORE 131927.656
AT ITER 844 NEW BEST:: SOT 369582 SOS 184154 HAS SOPS 175649 HAS SOUS 139850 HAS SOUPS 131663 WITH SCORE 131847.154
AT ITER 849 NEW BEST:: SOT 369582 SOS 184009 HAS SOPS 175504 HAS SOUS 139705 HAS SOUPS 131518 WITH SCORE 131702.009
AT ITER 852 NEW BEST:: SOT 369472 SOS 183865 HAS SOPS 175360 HAS SOUS 139671 HAS SOUPS 131484 WITH SCORE 131667.865
AT ITER 855 NEW BEST:: SOT 369431 SOS 183540 HAS SOPS 175205 HAS SOUS 139074 HAS SOUPS 131057 WITH SCORE 131240.54
AT ITER 857 NEW BEST:: SOT 369447 SOS 183320 HAS SOPS 174985 HAS SOUS 139072 HAS SOUPS 131055 WITH SCORE 131238.32
AT ITER 861 NEW BEST:: SOT 369017 SOS 183209 HAS SOPS 174811 HAS SOUS 139011 HAS SOUPS 130931 WITH SCORE 131114.209
AT ITER 866 NEW BEST:: SOT 369038 SOS 183073 HAS SOPS 174675 HAS SOUS 138939 HAS SOUPS 130859 WITH SCORE 131042.073
AT ITER 867 NEW BEST:: SOT 369023 SOS 183058 HAS SOPS 174660 HAS SOUS 138929 HAS SOUPS 130849 WITH SCORE 131032.058
AT ITER 871 NEW BEST:: SOT 368489 SOS 182445 HAS SOPS 173902 HAS SOUS 138588 HAS SOUPS 130363 WITH SCORE 130545.445
AT ITER 872 NEW BEST:: SOT 368523 SOS 182458 HAS SOPS 173915 HAS SOUS 138584 HAS SOUPS 130359 WITH SCORE 130541.458
AT ITER 875 NEW BEST:: SOT 367672 SOS 181387 HAS SOPS 172844 HAS SOUS 137773 HAS SOUPS 129548 WITH SCORE 129729.387
AT ITER 879 NEW BEST:: SOT 366834 SOS 180559 HAS SOPS 171804 HAS SOUS 136935 HAS SOUPS 128498 WITH SCORE 128678.559
AT ITER 881 NEW BEST:: SOT 366559 SOS 180063 HAS SOPS 171308 HAS SOUS 136660 HAS SOUPS 128223 WITH SCORE 128403.063
AT ITER 893 NEW BEST:: SOT 366335 SOS 179864 HAS SOPS 171121 HAS SOUS 136569 HAS SOUPS 128144 WITH SCORE 128323.864
AT ITER 899 NEW BEST:: SOT 366247 SOS 179776 HAS SOPS 171033 HAS SOUS 136569 HAS SOUPS 128144 WITH SCORE 128323.776
AT ITER 900 NEW BEST:: SOT 365466 SOS 179097 HAS SOPS 170194 HAS SOUS 136155 HAS SOUPS 127648 WITH SCORE 127827.097
AT ITER 905 NEW BEST:: SOT 365466 SOS 179076 HAS SOPS 170173 HAS SOUS 136134 HAS SOUPS 127627 WITH SCORE 127806.076
AT ITER 912 NEW BEST:: SOT 365456 SOS 179066 HAS SOPS 170163 HAS SOUS 136134 HAS SOUPS 127627 WITH SCORE 127806.066
AT ITER 913 NEW BEST:: SOT 365444 SOS 179054 HAS SOPS 170151 HAS SOUS 136128 HAS SOUPS 127621 WITH SCORE 127800.054
AT ITER 917 NEW BEST:: SOT 365434 SOS 179034 HAS SOPS 170131 HAS SOUS 136108 HAS SOUPS 127601 WITH SCORE 127780.034
AT ITER 919 NEW BEST:: SOT 365434 SOS 178956 HAS SOPS 170079 HAS SOUS 136056 HAS SOUPS 127575 WITH SCORE 127753.956
AT ITER 922 NEW BEST:: SOT 365272 SOS 178829 HAS SOPS 169952 HAS SOUS 135756 HAS SOUPS 127275 WITH SCORE 127453.829
AT ITER 932 NEW BEST:: SOT 365260 SOS 178801 HAS SOPS 169932 HAS SOUS 135748 HAS SOUPS 127271 WITH SCORE 127449.801
AT ITER 935 NEW BEST:: SOT 365172 SOS 178711 HAS SOPS 169842 HAS SOUS 135703 HAS SOUPS 127226 WITH SCORE 127404.711
AT ITER 936 NEW BEST:: SOT 365138 SOS 178587 HAS SOPS 169718 HAS SOUS 135682 HAS SOUPS 127205 WITH SCORE 127383.587
AT ITER 948 NEW BEST:: SOT 365035 SOS 178484 HAS SOPS 169615 HAS SOUS 135682 HAS SOUPS 127205 WITH SCORE 127383.484
AT ITER 952 NEW BEST:: SOT 365035 SOS 178484 HAS SOPS 169591 HAS SOUS 135658 HAS SOUPS 127157 WITH SCORE 127335.484
AT ITER 954 NEW BEST:: SOT 364922 SOS 178371 HAS SOPS 169478 HAS SOUS 135545 HAS SOUPS 127044 WITH SCORE 127222.371
AT ITER 974 NEW BEST:: SOT 364509 SOS 177958 HAS SOPS 169065 HAS SOUS 135367 HAS SOUPS 126866 WITH SCORE 127043.958
AT ITER 987 NEW BEST:: SOT 364378 SOS 177764 HAS SOPS 168871 HAS SOUS 135304 HAS SOUPS 126803 WITH SCORE 126980.764
AT ITER 995 NEW BEST:: SOT 364378 SOS 177756 HAS SOPS 168863 HAS SOUS 135296 HAS SOUPS 126795 WITH SCORE 126972.756
AT ITER 1003 NEW BEST:: SOT 364360 SOS 177738 HAS SOPS 168845 HAS SOUS 135278 HAS SOUPS 126777 WITH SCORE 126954.738
AT ITER 1005 NEW BEST:: SOT 364362 SOS 177720 HAS SOPS 168827 HAS SOUS 135260 HAS SOUPS 126759 WITH SCORE 126936.72
AT ITER 1006 NEW BEST:: SOT 364012 SOS 176845 HAS SOPS 167952 HAS SOUS 134735 HAS SOUPS 126234 WITH SCORE 126410.845
AT ITER 1008 NEW BEST:: SOT 363406 SOS 176326 HAS SOPS 167346 HAS SOUS 134428 HAS SOUPS 125840 WITH SCORE 126016.326
AT ITER 1009 NEW BEST:: SOT 363412 SOS 176305 HAS SOPS 167325 HAS SOUS 134413 HAS SOUPS 125825 WITH SCORE 126001.305
AT ITER 1026 NEW BEST:: SOT 363435 SOS 176328 HAS SOPS 167348 HAS SOUS 134360 HAS SOUPS 125772 WITH SCORE 125948.328
AT ITER 1027 NEW BEST:: SOT 362797 SOS 176102 HAS SOPS 167122 HAS SOUS 134138 HAS SOUPS 125550 WITH SCORE 125726.102
AT ITER 1031 NEW BEST:: SOT 362772 SOS 176091 HAS SOPS 166986 HAS SOUS 134117 HAS SOUPS 125404 WITH SCORE 125580.091
AT ITER 1039 NEW BEST:: SOT 362754 SOS 176073 HAS SOPS 166950 HAS SOUS 134099 HAS SOUPS 125377 WITH SCORE 125553.073
AT ITER 1043 NEW BEST:: SOT 362754 SOS 175955 HAS SOPS 166832 HAS SOUS 133997 HAS SOUPS 125275 WITH SCORE 125450.955
AT ITER 1060 NEW BEST:: SOT 362710 SOS 175878 HAS SOPS 166766 HAS SOUS 133953 HAS SOUPS 125242 WITH SCORE 125417.878
AT ITER 1062 NEW BEST:: SOT 362163 SOS 175529 HAS SOPS 166219 HAS SOUS 133802 HAS SOUPS 124893 WITH SCORE 125068.529
AT ITER 1074 NEW BEST:: SOT 362179 SOS 175545 HAS SOPS 166203 HAS SOUS 133818 HAS SOUPS 124877 WITH SCORE 125052.545
AT ITER 1083 NEW BEST:: SOT 362039 SOS 175188 HAS SOPS 165698 HAS SOUS 133461 HAS SOUPS 124372 WITH SCORE 124547.188
AT ITER 1087 NEW BEST:: SOT 362031 SOS 175180 HAS SOPS 165684 HAS SOUS 133458 HAS SOUPS 124363 WITH SCORE 124538.18
AT ITER 1091 NEW BEST:: SOT 361767 SOS 174723 HAS SOPS 165227 HAS SOUS 133001 HAS SOUPS 123906 WITH SCORE 124080.723
AT ITER 1098 NEW BEST:: SOT 361707 SOS 174539 HAS SOPS 165107 HAS SOUS 132817 HAS SOUPS 123786 WITH SCORE 123960.539
AT ITER 1102 NEW BEST:: SOT 361707 SOS 174529 HAS SOPS 165097 HAS SOUS 132812 HAS SOUPS 123781 WITH SCORE 123955.529
AT ITER 1109 NEW BEST:: SOT 361395 SOS 173987 HAS SOPS 164555 HAS SOUS 132462 HAS SOUPS 123431 WITH SCORE 123604.987
AT ITER 1119 NEW BEST:: SOT 361341 SOS 173933 HAS SOPS 164501 HAS SOUS 132410 HAS SOUPS 123379 WITH SCORE 123552.933
AT ITER 1122 NEW BEST:: SOT 361315 SOS 173907 HAS SOPS 164475 HAS SOUS 132384 HAS SOUPS 123353 WITH SCORE 123526.907
AT ITER 1128 NEW BEST:: SOT 361297 SOS 173889 HAS SOPS 164456 HAS SOUS 132366 HAS SOUPS 123334 WITH SCORE 123507.889
AT ITER 1133 NEW BEST:: SOT 361168 SOS 173760 HAS SOPS 164256 HAS SOUS 132295 HAS SOUPS 123192 WITH SCORE 123365.76
AT ITER 1138 NEW BEST:: SOT 360937 SOS 173061 HAS SOPS 163557 HAS SOUS 131922 HAS SOUPS 122819 WITH SCORE 122992.061
AT ITER 1139 NEW BEST:: SOT 360937 SOS 173034 HAS SOPS 163539 HAS SOUS 131904 HAS SOUPS 122810 WITH SCORE 122983.034
AT ITER 1144 NEW BEST:: SOT 360621 SOS 172718 HAS SOPS 163223 HAS SOUS 131746 HAS SOUPS 122652 WITH SCORE 122824.718
AT ITER 1146 NEW BEST:: SOT 360621 SOS 172718 HAS SOPS 163223 HAS SOUS 131708 HAS SOUPS 122614 WITH SCORE 122786.718
AT ITER 1155 NEW BEST:: SOT 360621 SOS 172728 HAS SOPS 163223 HAS SOUS 131708 HAS SOUPS 122604 WITH SCORE 122776.728
AT ITER 1167 NEW BEST:: SOT 360239 SOS 172236 HAS SOPS 162335 HAS SOUS 131598 HAS SOUPS 122098 WITH SCORE 122270.236
AT ITER 1170 NEW BEST:: SOT 360227 SOS 172212 HAS SOPS 162311 HAS SOUS 131586 HAS SOUPS 122086 WITH SCORE 122258.212
AT ITER 1178 NEW BEST:: SOT 359916 SOS 171784 HAS SOPS 161846 HAS SOUS 131417 HAS SOUPS 121880 WITH SCORE 122051.784
AT ITER 1183 NEW BEST:: SOT 359901 SOS 171769 HAS SOPS 161772 HAS SOUS 131446 HAS SOUPS 121850 WITH SCORE 122021.769
AT ITER 1186 NEW BEST:: SOT 359901 SOS 171575 HAS SOPS 161578 HAS SOUS 131438 HAS SOUPS 121842 WITH SCORE 122013.575
AT ITER 1193 NEW BEST:: SOT 359901 SOS 171574 HAS SOPS 161577 HAS SOUS 131437 HAS SOUPS 121841 WITH SCORE 122012.574
AT ITER 1195 NEW BEST:: SOT 359900 SOS 171575 HAS SOPS 161575 HAS SOUS 131438 HAS SOUPS 121839 WITH SCORE 122010.575
AT ITER 1200 NEW BEST:: SOT 360065 SOS 172035 HAS SOPS 161647 HAS SOUS 131742 HAS SOUPS 121755 WITH SCORE 121927.035
AT ITER 1205 NEW BEST:: SOT 360000 SOS 171778 HAS SOPS 161390 HAS SOUS 131677 HAS SOUPS 121690 WITH SCORE 121861.778
AT ITER 1211 NEW BEST:: SOT 360120 SOS 171778 HAS SOPS 161390 HAS SOUS 131557 HAS SOUPS 121570 WITH SCORE 121741.778
AT ITER 1215 NEW BEST:: SOT 360048 SOS 171650 HAS SOPS 161262 HAS SOUS 131501 HAS SOUPS 121514 WITH SCORE 121685.65
AT ITER 1216 NEW BEST:: SOT 360028 SOS 171630 HAS SOPS 161222 HAS SOUS 131481 HAS SOUPS 121474 WITH SCORE 121645.63
AT ITER 1228 NEW BEST:: SOT 359910 SOS 171115 HAS SOPS 160802 HAS SOUS 131310 HAS SOUPS 121398 WITH SCORE 121569.115
AT ITER 1232 NEW BEST:: SOT 359910 SOS 171096 HAS SOPS 160783 HAS SOUS 131291 HAS SOUPS 121379 WITH SCORE 121550.096
AT ITER 1236 NEW BEST:: SOT 359933 SOS 170898 HAS SOPS 160585 HAS SOUS 131242 HAS SOUPS 121330 WITH SCORE 121500.898
AT ITER 1243 NEW BEST:: SOT 359681 SOS 170646 HAS SOPS 160333 HAS SOUS 131074 HAS SOUPS 121162 WITH SCORE 121332.646
AT ITER 1248 NEW BEST:: SOT 359587 SOS 170428 HAS SOPS 160145 HAS SOUS 130882 HAS SOUPS 120974 WITH SCORE 121144.428
AT ITER 1277 NEW BEST:: SOT 358727 SOS 169529 HAS SOPS 158884 HAS SOUS 130384 HAS SOUPS 120114 WITH SCORE 120283.529
AT ITER 1280 NEW BEST:: SOT 357989 SOS 169055 HAS SOPS 157516 HAS SOUS 130246 HAS SOUPS 119082 WITH SCORE 119251.055
AT ITER 1281 NEW BEST:: SOT 357963 SOS 169029 HAS SOPS 157490 HAS SOUS 130220 HAS SOUPS 119056 WITH SCORE 119225.029
AT ITER 1285 NEW BEST:: SOT 357847 SOS 168884 HAS SOPS 157345 HAS SOUS 130104 HAS SOUPS 118940 WITH SCORE 119108.884
AT ITER 1289 NEW BEST:: SOT 358026 SOS 169019 HAS SOPS 157480 HAS SOUS 130059 HAS SOUPS 118895 WITH SCORE 119064.019
AT ITER 1290 NEW BEST:: SOT 358022 SOS 169015 HAS SOPS 157476 HAS SOUS 130055 HAS SOUPS 118891 WITH SCORE 119060.015
AT ITER 1292 NEW BEST:: SOT 357824 SOS 168876 HAS SOPS 157337 HAS SOUS 129882 HAS SOUPS 118718 WITH SCORE 118886.876
AT ITER 1294 NEW BEST:: SOT 357629 SOS 168681 HAS SOPS 157142 HAS SOUS 129687 HAS SOUPS 118523 WITH SCORE 118691.681
AT ITER 1296 NEW BEST:: SOT 357496 SOS 168548 HAS SOPS 157009 HAS SOUS 129554 HAS SOUPS 118390 WITH SCORE 118558.548
AT ITER 1300 NEW BEST:: SOT 357457 SOS 168432 HAS SOPS 156893 HAS SOUS 129515 HAS SOUPS 118351 WITH SCORE 118519.432
AT ITER 1302 NEW BEST:: SOT 357480 SOS 168372 HAS SOPS 156833 HAS SOUS 129432 HAS SOUPS 118268 WITH SCORE 118436.372
AT ITER 1304 NEW BEST:: SOT 357449 SOS 168341 HAS SOPS 156802 HAS SOUS 129432 HAS SOUPS 118268 WITH SCORE 118436.341
AT ITER 1305 NEW BEST:: SOT 356929 SOS 167798 HAS SOPS 156259 HAS SOUS 128837 HAS SOUPS 117673 WITH SCORE 117840.798
AT ITER 1317 NEW BEST:: SOT 356929 SOS 167713 HAS SOPS 156174 HAS SOUS 128788 HAS SOUPS 117624 WITH SCORE 117791.713
AT ITER 1319 NEW BEST:: SOT 356658 SOS 167383 HAS SOPS 155843 HAS SOUS 128667 HAS SOUPS 117502 WITH SCORE 117669.383
AT ITER 1324 NEW BEST:: SOT 356458 SOS 167183 HAS SOPS 155643 HAS SOUS 128467 HAS SOUPS 117302 WITH SCORE 117469.183
AT ITER 1327 NEW BEST:: SOT 356303 SOS 167028 HAS SOPS 155488 HAS SOUS 128324 HAS SOUPS 117159 WITH SCORE 117326.028
AT ITER 1331 NEW BEST:: SOT 356269 SOS 166606 HAS SOPS 155066 HAS SOUS 128036 HAS SOUPS 116871 WITH SCORE 117037.606
AT ITER 1333 NEW BEST:: SOT 356222 SOS 166615 HAS SOPS 154984 HAS SOUS 128093 HAS SOUPS 116837 WITH SCORE 117003.615
AT ITER 1342 NEW BEST:: SOT 356104 SOS 166261 HAS SOPS 154630 HAS SOUS 127857 HAS SOUPS 116601 WITH SCORE 116767.261
AT ITER 1346 NEW BEST:: SOT 356084 SOS 166087 HAS SOPS 154456 HAS SOUS 127683 HAS SOUPS 116427 WITH SCORE 116593.087
AT ITER 1355 NEW BEST:: SOT 356092 SOS 165917 HAS SOPS 154286 HAS SOUS 127558 HAS SOUPS 116302 WITH SCORE 116467.917
AT ITER 1356 NEW BEST:: SOT 356092 SOS 165609 HAS SOPS 153978 HAS SOUS 127250 HAS SOUPS 115994 WITH SCORE 116159.609
AT ITER 1364 NEW BEST:: SOT 356018 SOS 165555 HAS SOPS 153892 HAS SOUS 127245 HAS SOUPS 115957 WITH SCORE 116122.555
AT ITER 1366 NEW BEST:: SOT 355894 SOS 165307 HAS SOPS 153644 HAS SOUS 127121 HAS SOUPS 115833 WITH SCORE 115998.307
AT ITER 1370 NEW BEST:: SOT 355890 SOS 165303 HAS SOPS 153640 HAS SOUS 127117 HAS SOUPS 115829 WITH SCORE 115994.303
AT ITER 1375 NEW BEST:: SOT 355794 SOS 165029 HAS SOPS 153366 HAS SOUS 126942 HAS SOUPS 115654 WITH SCORE 115819.029
AT ITER 1377 NEW BEST:: SOT 355779 SOS 165014 HAS SOPS 153351 HAS SOUS 126913 HAS SOUPS 115625 WITH SCORE 115790.014
AT ITER 1383 NEW BEST:: SOT 355569 SOS 164752 HAS SOPS 152998 HAS SOUS 126797 HAS SOUPS 115418 WITH SCORE 115582.752
AT ITER 1385 NEW BEST:: SOT 355297 SOS 164616 HAS SOPS 152726 HAS SOUS 126797 HAS SOUPS 115282 WITH SCORE 115446.616
AT ITER 1389 NEW BEST:: SOT 355182 SOS 164492 HAS SOPS 152562 HAS SOUS 126748 HAS SOUPS 115193 WITH SCORE 115357.492
AT ITER 1394 NEW BEST:: SOT 355014 SOS 164492 HAS SOPS 152562 HAS SOUS 126580 HAS SOUPS 115025 WITH SCORE 115189.492
AT ITER 1399 NEW BEST:: SOT 354955 SOS 164427 HAS SOPS 152497 HAS SOUS 126515 HAS SOUPS 114960 WITH SCORE 115124.427
AT ITER 1409 NEW BEST:: SOT 354929 SOS 163576 HAS SOPS 152114 HAS SOUS 126005 HAS SOUPS 114684 WITH SCORE 114847.576
AT ITER 1413 NEW BEST:: SOT 354929 SOS 164026 HAS SOPS 152194 HAS SOUS 126270 HAS SOUPS 114579 WITH SCORE 114743.026
AT ITER 1415 NEW BEST:: SOT 354889 SOS 164004 HAS SOPS 152154 HAS SOUS 126248 HAS SOUPS 114539 WITH SCORE 114703.004
AT ITER 1416 NEW BEST:: SOT 354770 SOS 163885 HAS SOPS 152035 HAS SOUS 126129 HAS SOUPS 114420 WITH SCORE 114583.885
AT ITER 1420 NEW BEST:: SOT 353771 SOS 164108 HAS SOPS 151779 HAS SOUS 126461 HAS SOUPS 114380 WITH SCORE 114544.108
AT ITER 1426 NEW BEST:: SOT 353263 SOS 163554 HAS SOPS 151291 HAS SOUS 126151 HAS SOUPS 114136 WITH SCORE 114299.554
AT ITER 1428 NEW BEST:: SOT 353206 SOS 163495 HAS SOPS 151232 HAS SOUS 126092 HAS SOUPS 114077 WITH SCORE 114240.495
AT ITER 1432 NEW BEST:: SOT 353056 SOS 163323 HAS SOPS 151060 HAS SOUS 125920 HAS SOUPS 113905 WITH SCORE 114068.323
AT ITER 1436 NEW BEST:: SOT 352966 SOS 163308 HAS SOPS 150970 HAS SOUS 125905 HAS SOUPS 113815 WITH SCORE 113978.308
AT ITER 1447 NEW BEST:: SOT 352877 SOS 162986 HAS SOPS 150648 HAS SOUS 125767 HAS SOUPS 113677 WITH SCORE 113839.986
AT ITER 1451 NEW BEST:: SOT 352655 SOS 162697 HAS SOPS 150359 HAS SOUS 125529 HAS SOUPS 113439 WITH SCORE 113601.697
AT ITER 1457 NEW BEST:: SOT 352607 SOS 162528 HAS SOPS 150190 HAS SOUS 125335 HAS SOUPS 113245 WITH SCORE 113407.528
AT ITER 1474 NEW BEST:: SOT 352542 SOS 162485 HAS SOPS 150081 HAS SOUS 125336 HAS SOUPS 113180 WITH SCORE 113342.485
AT ITER 1479 NEW BEST:: SOT 352546 SOS 162485 HAS SOPS 150081 HAS SOUS 125328 HAS SOUPS 113172 WITH SCORE 113334.485
AT ITER 1498 NEW BEST:: SOT 352368 SOS 162307 HAS SOPS 149903 HAS SOUS 125150 HAS SOUPS 112994 WITH SCORE 113156.307
AT ITER 1505 NEW BEST:: SOT 352254 SOS 161427 HAS SOPS 149023 HAS SOUS 125082 HAS SOUPS 112926 WITH SCORE 113087.427
AT ITER 1513 NEW BEST:: SOT 352142 SOS 161203 HAS SOPS 148799 HAS SOUS 124858 HAS SOUPS 112702 WITH SCORE 112863.203
AT ITER 1517 NEW BEST:: SOT 351974 SOS 161001 HAS SOPS 148429 HAS SOUS 124656 HAS SOUPS 112332 WITH SCORE 112493.001
AT ITER 1529 NEW BEST:: SOT 352053 SOS 160998 HAS SOPS 148478 HAS SOUS 124487 HAS SOUPS 112163 WITH SCORE 112323.998
AT ITER 1553 NEW BEST:: SOT 352043 SOS 160930 HAS SOPS 148410 HAS SOUS 124400 HAS SOUPS 112076 WITH SCORE 112236.93
AT ITER 1561 NEW BEST:: SOT 351898 SOS 160950 HAS SOPS 148303 HAS SOUS 124503 HAS SOUPS 112052 WITH SCORE 112212.95
AT ITER 1566 NEW BEST:: SOT 351771 SOS 160889 HAS SOPS 148176 HAS SOUS 124569 HAS SOUPS 112052 WITH SCORE 112212.889
AT ITER 1580 NEW BEST:: SOT 351771 SOS 159969 HAS SOPS 147646 HAS SOUS 124179 HAS SOUPS 112052 WITH SCORE 112211.969
AT ITER 1594 NEW BEST:: SOT 351713 SOS 159911 HAS SOPS 147622 HAS SOUS 124121 HAS SOUPS 112028 WITH SCORE 112187.911
AT ITER 1597 NEW BEST:: SOT 351686 SOS 159876 HAS SOPS 147560 HAS SOUS 124086 HAS SOUPS 111966 WITH SCORE 112125.876
AT ITER 1608 NEW BEST:: SOT 351510 SOS 159719 HAS SOPS 147403 HAS SOUS 123941 HAS SOUPS 111821 WITH SCORE 111980.719
AT ITER 1609 NEW BEST:: SOT 351364 SOS 159581 HAS SOPS 147265 HAS SOUS 123872 HAS SOUPS 111752 WITH SCORE 111911.581
AT ITER 1610 NEW BEST:: SOT 351141 SOS 158800 HAS SOPS 146484 HAS SOUS 123260 HAS SOUPS 111140 WITH SCORE 111298.8
AT ITER 1612 NEW BEST:: SOT 351075 SOS 158861 HAS SOPS 146485 HAS SOUS 123245 HAS SOUPS 111065 WITH SCORE 111223.861
AT ITER 1614 NEW BEST:: SOT 350994 SOS 158672 HAS SOPS 146323 HAS SOUS 123110 HAS SOUPS 110957 WITH SCORE 111115.672
AT ITER 1623 NEW BEST:: SOT 350910 SOS 158567 HAS SOPS 146183 HAS SOUS 123032 HAS SOUPS 110844 WITH SCORE 111002.567
AT ITER 1625 NEW BEST:: SOT 350845 SOS 158186 HAS SOPS 145802 HAS SOUS 123023 HAS SOUPS 110835 WITH SCORE 110993.186
AT ITER 1634 NEW BEST:: SOT 350829 SOS 158170 HAS SOPS 145786 HAS SOUS 123007 HAS SOUPS 110819 WITH SCORE 110977.17
AT ITER 1645 NEW BEST:: SOT 350686 SOS 158147 HAS SOPS 145763 HAS SOUS 122984 HAS SOUPS 110796 WITH SCORE 110954.147
AT ITER 1650 NEW BEST:: SOT 350560 SOS 157508 HAS SOPS 145124 HAS SOUS 122504 HAS SOUPS 110316 WITH SCORE 110473.508
AT ITER 1651 NEW BEST:: SOT 350485 SOS 157325 HAS SOPS 144941 HAS SOUS 122342 HAS SOUPS 110154 WITH SCORE 110311.325
AT ITER 1665 NEW BEST:: SOT 350459 SOS 157299 HAS SOPS 144915 HAS SOUS 122316 HAS SOUPS 110128 WITH SCORE 110285.299
AT ITER 1668 NEW BEST:: SOT 350359 SOS 157199 HAS SOPS 144815 HAS SOUS 122216 HAS SOUPS 110028 WITH SCORE 110185.199
AT ITER 1689 NEW BEST:: SOT 350359 SOS 157710 HAS SOPS 144909 HAS SOUS 122551 HAS SOUPS 109946 WITH SCORE 110103.71
AT ITER 1690 NEW BEST:: SOT 350286 SOS 157402 HAS SOPS 144665 HAS SOUS 122316 HAS SOUPS 109775 WITH SCORE 109932.402
AT ITER 1692 NEW BEST:: SOT 350284 SOS 157400 HAS SOPS 144663 HAS SOUS 122315 HAS SOUPS 109774 WITH SCORE 109931.4
AT ITER 1704 NEW BEST:: SOT 350262 SOS 157378 HAS SOPS 144641 HAS SOUS 122304 HAS SOUPS 109763 WITH SCORE 109920.378
AT ITER 1712 NEW BEST:: SOT 350261 SOS 157339 HAS SOPS 144602 HAS SOUS 122265 HAS SOUPS 109724 WITH SCORE 109881.339
AT ITER 1731 NEW BEST:: SOT 350261 SOS 157317 HAS SOPS 144580 HAS SOUS 122243 HAS SOUPS 109702 WITH SCORE 109859.317
AT ITER 1744 NEW BEST:: SOT 350261 SOS 157292 HAS SOPS 144555 HAS SOUS 122218 HAS SOUPS 109677 WITH SCORE 109834.292
AT ITER 1766 NEW BEST:: SOT 350103 SOS 157094 HAS SOPS 144356 HAS SOUS 122191 HAS SOUPS 109649 WITH SCORE 109806.094
AT ITER 1785 NEW BEST:: SOT 349995 SOS 156878 HAS SOPS 144140 HAS SOUS 122083 HAS SOUPS 109541 WITH SCORE 109697.878
AT ITER 1787 NEW BEST:: SOT 349957 SOS 156756 HAS SOPS 144026 HAS SOUS 121999 HAS SOUPS 109465 WITH SCORE 109621.756
AT ITER 1788 NEW BEST:: SOT 349954 SOS 156750 HAS SOPS 144020 HAS SOUS 121993 HAS SOUPS 109459 WITH SCORE 109615.75
AT ITER 1792 NEW BEST:: SOT 349595 SOS 156457 HAS SOPS 143727 HAS SOUS 121700 HAS SOUPS 109166 WITH SCORE 109322.457
AT ITER 1803 NEW BEST:: SOT 355652 SOS 161454 HAS SOPS 148724 HAS SOUS 121674 HAS SOUPS 109140 WITH SCORE 109301.454
AT ITER 1812 NEW BEST:: SOT 355574 SOS 161412 HAS SOPS 148682 HAS SOUS 121662 HAS SOUPS 109128 WITH SCORE 109289.412
AT ITER 1814 NEW BEST:: SOT 355518 SOS 161356 HAS SOPS 148626 HAS SOUS 121606 HAS SOUPS 109072 WITH SCORE 109233.356
AT ITER 1815 NEW BEST:: SOT 355544 SOS 161728 HAS SOPS 148998 HAS SOUS 121560 HAS SOUPS 109026 WITH SCORE 109187.728
AT ITER 1816 NEW BEST:: SOT 355496 SOS 161559 HAS SOPS 148829 HAS SOUS 121558 HAS SOUPS 109024 WITH SCORE 109185.559
AT ITER 1824 NEW BEST:: SOT 355509 SOS 161485 HAS SOPS 148755 HAS SOUS 121484 HAS SOUPS 108950 WITH SCORE 109111.485
AT ITER 1832 NEW BEST:: SOT 355431 SOS 161290 HAS SOPS 148560 HAS SOUS 121367 HAS SOUPS 108833 WITH SCORE 108994.29
AT ITER 1845 NEW BEST:: SOT 354739 SOS 160063 HAS SOPS 147333 HAS SOUS 120624 HAS SOUPS 108090 WITH SCORE 108250.063
AT ITER 1848 NEW BEST:: SOT 354712 SOS 160036 HAS SOPS 147306 HAS SOUS 120597 HAS SOUPS 108063 WITH SCORE 108223.036
AT ITER 1852 NEW BEST:: SOT 354656 SOS 159983 HAS SOPS 147253 HAS SOUS 120595 HAS SOUPS 108061 WITH SCORE 108220.983
AT ITER 1854 NEW BEST:: SOT 354715 SOS 159973 HAS SOPS 147242 HAS SOUS 120585 HAS SOUPS 108050 WITH SCORE 108209.973
AT ITER 1891 NEW BEST:: SOT 354222 SOS 159474 HAS SOPS 146743 HAS SOUS 120271 HAS SOUPS 107736 WITH SCORE 107895.474
AT ITER 1911 NEW BEST:: SOT 354207 SOS 159388 HAS SOPS 146713 HAS SOUS 120241 HAS SOUPS 107706 WITH SCORE 107865.388
AT ITER 1914 NEW BEST:: SOT 355167 SOS 160454 HAS SOPS 147686 HAS SOUS 120237 HAS SOUPS 107702 WITH SCORE 107862.454
AT ITER 1916 NEW BEST:: SOT 355109 SOS 160396 HAS SOPS 147628 HAS SOUS 120179 HAS SOUPS 107644 WITH SCORE 107804.396
AT ITER 1921 NEW BEST:: SOT 355097 SOS 160411 HAS SOPS 147643 HAS SOUS 120167 HAS SOUPS 107632 WITH SCORE 107792.411
AT ITER 1923 NEW BEST:: SOT 354926 SOS 160213 HAS SOPS 147445 HAS SOUS 120026 HAS SOUPS 107491 WITH SCORE 107651.213
AT ITER 1934 NEW BEST:: SOT 354348 SOS 159404 HAS SOPS 146636 HAS SOUS 119811 HAS SOUPS 107276 WITH SCORE 107435.404
AT ITER 1946 NEW BEST:: SOT 354939 SOS 159995 HAS SOPS 147227 HAS SOUS 119707 HAS SOUPS 107172 WITH SCORE 107331.995
AT ITER 1952 NEW BEST:: SOT 354615 SOS 159758 HAS SOPS 146866 HAS SOUS 119668 HAS SOUPS 107009 WITH SCORE 107168.758
AT ITER 1957 NEW BEST:: SOT 354615 SOS 159654 HAS SOPS 146762 HAS SOUS 119661 HAS SOUPS 107002 WITH SCORE 107161.654
AT ITER 1962 NEW BEST:: SOT 354581 SOS 159620 HAS SOPS 146728 HAS SOUS 119627 HAS SOUPS 106968 WITH SCORE 107127.62
AT ITER 1963 NEW BEST:: SOT 354544 SOS 159583 HAS SOPS 146691 HAS SOUS 119590 HAS SOUPS 106931 WITH SCORE 107090.583
AT ITER 1978 NEW BEST:: SOT 354136 SOS 159616 HAS SOPS 146724 HAS SOUS 119416 HAS SOUPS 106757 WITH SCORE 106916.616
AT ITER 1984 NEW BEST:: SOT 354060 SOS 159464 HAS SOPS 146572 HAS SOUS 119264 HAS SOUPS 106605 WITH SCORE 106764.464
AT ITER 1990 NEW BEST:: SOT 353994 SOS 159522 HAS SOPS 146567 HAS SOUS 119230 HAS SOUPS 106508 WITH SCORE 106667.522
AT ITER 1994 NEW BEST:: SOT 353583 SOS 158894 HAS SOPS 146102 HAS SOUS 118977 HAS SOUPS 106418 WITH SCORE 106576.894
AT ITER 1999 NEW BEST:: SOT 353441 SOS 158764 HAS SOPS 146043 HAS SOUS 118847 HAS SOUPS 106359 WITH SCORE 106517.764
AT ITER 2000 NEW BEST:: SOT 353378 SOS 158596 HAS SOPS 145854 HAS SOUS 118679 HAS SOUPS 106170 WITH SCORE 106328.596
AT ITER 2001 NEW BEST:: SOT 353324 SOS 158582 HAS SOPS 145840 HAS SOUS 118674 HAS SOUPS 106165 WITH SCORE 106323.582
AT ITER 2012 NEW BEST:: SOT 353214 SOS 158340 HAS SOPS 145598 HAS SOUS 118654 HAS SOUPS 106145 WITH SCORE 106303.34
AT ITER 2025 NEW BEST:: SOT 353223 SOS 158330 HAS SOPS 145588 HAS SOUS 118635 HAS SOUPS 106126 WITH SCORE 106284.33
AT ITER 2026 NEW BEST:: SOT 353102 SOS 158209 HAS SOPS 145396 HAS SOUS 118514 HAS SOUPS 105934 WITH SCORE 106092.209
AT ITER 2027 NEW BEST:: SOT 352793 SOS 157504 HAS SOPS 144691 HAS SOUS 117809 HAS SOUPS 105229 WITH SCORE 105386.504
AT ITER 2034 NEW BEST:: SOT 352693 SOS 157304 HAS SOPS 144491 HAS SOUS 117609 HAS SOUPS 105029 WITH SCORE 105186.304
AT ITER 2042 NEW BEST:: SOT 352404 SOS 156494 HAS SOPS 143681 HAS SOUS 117088 HAS SOUPS 104508 WITH SCORE 104664.494
AT ITER 2056 NEW BEST:: SOT 352113 SOS 156047 HAS SOPS 143234 HAS SOUS 116738 HAS SOUPS 104158 WITH SCORE 104314.047
AT ITER 2057 NEW BEST:: SOT 352113 SOS 155971 HAS SOPS 143158 HAS SOUS 116738 HAS SOUPS 104158 WITH SCORE 104313.971
AT ITER 2060 NEW BEST:: SOT 351932 SOS 155794 HAS SOPS 142812 HAS SOUS 116726 HAS SOUPS 103977 WITH SCORE 104132.794
AT ITER 2065 NEW BEST:: SOT 351932 SOS 155733 HAS SOPS 142751 HAS SOUS 116665 HAS SOUPS 103916 WITH SCORE 104071.733
AT ITER 2068 NEW BEST:: SOT 351676 SOS 154901 HAS SOPS 142111 HAS SOUS 116102 HAS SOUPS 103545 WITH SCORE 103699.901
AT ITER 2075 NEW BEST:: SOT 351561 SOS 154632 HAS SOPS 141919 HAS SOUS 115833 HAS SOUPS 103353 WITH SCORE 103507.632
AT ITER 2087 NEW BEST:: SOT 351515 SOS 154539 HAS SOPS 141849 HAS SOUS 115808 HAS SOUPS 103351 WITH SCORE 103505.539
AT ITER 2096 NEW BEST:: SOT 351211 SOS 154101 HAS SOPS 141411 HAS SOUS 115424 HAS SOUPS 102967 WITH SCORE 103121.101
AT ITER 2102 NEW BEST:: SOT 351129 SOS 153941 HAS SOPS 141251 HAS SOUS 115320 HAS SOUPS 102863 WITH SCORE 103016.941
AT ITER 2103 NEW BEST:: SOT 351129 SOS 153852 HAS SOPS 141162 HAS SOUS 115231 HAS SOUPS 102774 WITH SCORE 102927.852
AT ITER 2108 NEW BEST:: SOT 351019 SOS 153721 HAS SOPS 140887 HAS SOUS 115210 HAS SOUPS 102609 WITH SCORE 102762.721
AT ITER 2117 NEW BEST:: SOT 350977 SOS 153660 HAS SOPS 140860 HAS SOUS 115149 HAS SOUPS 102582 WITH SCORE 102735.66
AT ITER 2124 NEW BEST:: SOT 350940 SOS 153573 HAS SOPS 140773 HAS SOUS 115112 HAS SOUPS 102545 WITH SCORE 102698.573
AT ITER 2130 NEW BEST:: SOT 350916 SOS 153540 HAS SOPS 140737 HAS SOUS 115079 HAS SOUPS 102509 WITH SCORE 102662.54
AT ITER 2139 NEW BEST:: SOT 350570 SOS 153155 HAS SOPS 140507 HAS SOUS 114694 HAS SOUPS 102279 WITH SCORE 102432.155
AT ITER 2146 NEW BEST:: SOT 350515 SOS 152986 HAS SOPS 140341 HAS SOUS 114580 HAS SOUPS 102168 WITH SCORE 102320.986
AT ITER 2168 NEW BEST:: SOT 350468 SOS 152835 HAS SOPS 140255 HAS SOUS 114455 HAS SOUPS 102108 WITH SCORE 102260.835
AT ITER 2171 NEW BEST:: SOT 350421 SOS 152788 HAS SOPS 140208 HAS SOUS 114361 HAS SOUPS 102014 WITH SCORE 102166.788
AT ITER 2175 NEW BEST:: SOT 350443 SOS 152656 HAS SOPS 140076 HAS SOUS 114321 HAS SOUPS 101974 WITH SCORE 102126.656
AT ITER 2182 NEW BEST:: SOT 350443 SOS 152656 HAS SOPS 140076 HAS SOUS 114304 HAS SOUPS 101957 WITH SCORE 102109.656
AT ITER 2196 NEW BEST:: SOT 350421 SOS 152562 HAS SOPS 139977 HAS SOUS 114210 HAS SOUPS 101858 WITH SCORE 102010.562
AT ITER 2200 NEW BEST:: SOT 350349 SOS 151908 HAS SOPS 139323 HAS SOUS 114156 HAS SOUPS 101804 WITH SCORE 101955.908
AT ITER 2201 NEW BEST:: SOT 350349 SOS 151993 HAS SOPS 139333 HAS SOUS 114066 HAS SOUPS 101639 WITH SCORE 101790.993
AT ITER 2209 NEW BEST:: SOT 349831 SOS 151268 HAS SOPS 138689 HAS SOUS 113640 HAS SOUPS 101294 WITH SCORE 101445.268
AT ITER 2220 NEW BEST:: SOT 350185 SOS 151419 HAS SOPS 138840 HAS SOUS 113581 HAS SOUPS 101235 WITH SCORE 101386.419
AT ITER 2224 NEW BEST:: SOT 350182 SOS 151408 HAS SOPS 138782 HAS SOUS 113570 HAS SOUPS 101177 WITH SCORE 101328.408
AT ITER 2232 NEW BEST:: SOT 350190 SOS 151416 HAS SOPS 138790 HAS SOUS 113568 HAS SOUPS 101175 WITH SCORE 101326.416
AT ITER 2241 NEW BEST:: SOT 350170 SOS 151376 HAS SOPS 138750 HAS SOUS 113538 HAS SOUPS 101145 WITH SCORE 101296.376
AT ITER 2244 NEW BEST:: SOT 350145 SOS 151351 HAS SOPS 138725 HAS SOUS 113513 HAS SOUPS 101120 WITH SCORE 101271.351
AT ITER 2248 NEW BEST:: SOT 350074 SOS 151280 HAS SOPS 138586 HAS SOUS 113541 HAS SOUPS 101080 WITH SCORE 101231.28
AT ITER 2249 NEW BEST:: SOT 350069 SOS 151285 HAS SOPS 138591 HAS SOUS 113536 HAS SOUPS 101075 WITH SCORE 101226.285
AT ITER 2255 NEW BEST:: SOT 349881 SOS 147475 HAS SOPS 134781 HAS SOUS 113406 HAS SOUPS 100945 WITH SCORE 101092.475
AT ITER 2272 NEW BEST:: SOT 349869 SOS 147448 HAS SOPS 134754 HAS SOUS 113379 HAS SOUPS 100918 WITH SCORE 101065.448
AT ITER 2273 NEW BEST:: SOT 349869 SOS 147348 HAS SOPS 134754 HAS SOUS 113279 HAS SOUPS 100918 WITH SCORE 101065.348
AT ITER 2277 NEW BEST:: SOT 349880 SOS 147317 HAS SOPS 134692 HAS SOUS 113248 HAS SOUPS 100856 WITH SCORE 101003.317
AT ITER 2282 NEW BEST:: SOT 349826 SOS 147263 HAS SOPS 134638 HAS SOUS 113194 HAS SOUPS 100802 WITH SCORE 100949.263
AT ITER 2284 NEW BEST:: SOT 349809 SOS 147246 HAS SOPS 134610 HAS SOUS 113188 HAS SOUPS 100785 WITH SCORE 100932.246
AT ITER 2285 NEW BEST:: SOT 349513 SOS 146344 HAS SOPS 133957 HAS SOUS 112524 HAS SOUPS 100370 WITH SCORE 100516.344
AT ITER 2299 NEW BEST:: SOT 349530 SOS 146335 HAS SOPS 133948 HAS SOUS 112513 HAS SOUPS 100359 WITH SCORE 100505.335
AT ITER 2308 NEW BEST:: SOT 349634 SOS 146373 HAS SOPS 133986 HAS SOUS 112490 HAS SOUPS 100336 WITH SCORE 100482.373
AT ITER 2317 NEW BEST:: SOT 349427 SOS 145711 HAS SOPS 133399 HAS SOUS 112096 HAS SOUPS 100017 WITH SCORE 100162.711
AT ITER 2322 NEW BEST:: SOT 349427 SOS 145689 HAS SOPS 133399 HAS SOUS 112074 HAS SOUPS 100017 WITH SCORE 100162.689
AT ITER 2334 NEW BEST:: SOT 349426 SOS 145277 HAS SOPS 133260 HAS SOUS 111799 HAS SOUPS 100015 WITH SCORE 100160.277
AT ITER 2337 NEW BEST:: SOT 349266 SOS 145168 HAS SOPS 133151 HAS SOUS 111618 HAS SOUPS 99834 WITH SCORE 99979.168
AT ITER 2341 NEW BEST:: SOT 349178 SOS 145032 HAS SOPS 133015 HAS SOUS 111570 HAS SOUPS 99786 WITH SCORE 99931.032
AT ITER 2342 NEW BEST:: SOT 349165 SOS 144616 HAS SOPS 132599 HAS SOUS 111519 HAS SOUPS 99735 WITH SCORE 99879.616
AT ITER 2343 NEW BEST:: SOT 349154 SOS 144541 HAS SOPS 132540 HAS SOUS 111465 HAS SOUPS 99697 WITH SCORE 99841.541
AT ITER 2347 NEW BEST:: SOT 349126 SOS 144457 HAS SOPS 132456 HAS SOUS 111409 HAS SOUPS 99641 WITH SCORE 99785.457
AT ITER 2348 NEW BEST:: SOT 349084 SOS 144350 HAS SOPS 132349 HAS SOUS 111286 HAS SOUPS 99518 WITH SCORE 99662.35
AT ITER 2349 NEW BEST:: SOT 349070 SOS 144322 HAS SOPS 132321 HAS SOUS 111265 HAS SOUPS 99497 WITH SCORE 99641.322
AT ITER 2352 NEW BEST:: SOT 349062 SOS 144310 HAS SOPS 132309 HAS SOUS 111257 HAS SOUPS 99489 WITH SCORE 99633.31
AT ITER 2362 NEW BEST:: SOT 349103 SOS 144333 HAS SOPS 132332 HAS SOUS 111242 HAS SOUPS 99474 WITH SCORE 99618.333
AT ITER 2365 NEW BEST:: SOT 349103 SOS 144215 HAS SOPS 132214 HAS SOUS 111242 HAS SOUPS 99474 WITH SCORE 99618.215
AT ITER 2367 NEW BEST:: SOT 349054 SOS 144058 HAS SOPS 132057 HAS SOUS 111180 HAS SOUPS 99412 WITH SCORE 99556.058
AT ITER 2369 NEW BEST:: SOT 349035 SOS 144017 HAS SOPS 132016 HAS SOUS 111158 HAS SOUPS 99390 WITH SCORE 99534.017
AT ITER 2386 NEW BEST:: SOT 349033 SOS 144011 HAS SOPS 132012 HAS SOUS 111154 HAS SOUPS 99388 WITH SCORE 99532.011
AT ITER 2387 NEW BEST:: SOT 349024 SOS 143948 HAS SOPS 131949 HAS SOUS 111145 HAS SOUPS 99379 WITH SCORE 99522.948
AT ITER 2426 NEW BEST:: SOT 348913 SOS 143926 HAS SOPS 131927 HAS SOUS 110982 HAS SOUPS 99216 WITH SCORE 99359.926
AT ITER 2439 NEW BEST:: SOT 348867 SOS 143873 HAS SOPS 131858 HAS SOUS 110952 HAS SOUPS 99170 WITH SCORE 99313.873
AT ITER 2440 NEW BEST:: SOT 348867 SOS 143753 HAS SOPS 131738 HAS SOUS 110952 HAS SOUPS 99170 WITH SCORE 99313.753
AT ITER 2442 NEW BEST:: SOT 348816 SOS 143683 HAS SOPS 131719 HAS SOUS 110882 HAS SOUPS 99151 WITH SCORE 99294.683
AT ITER 2448 NEW BEST:: SOT 348536 SOS 143373 HAS SOPS 131176 HAS SOUS 110572 HAS SOUPS 98608 WITH SCORE 98751.373
AT ITER 2455 NEW BEST:: SOT 348456 SOS 143293 HAS SOPS 131096 HAS SOUS 110572 HAS SOUPS 98608 WITH SCORE 98751.293
AT ITER 2458 NEW BEST:: SOT 348350 SOS 143035 HAS SOPS 130889 HAS SOUS 110314 HAS SOUPS 98401 WITH SCORE 98544.035
AT ITER 2466 NEW BEST:: SOT 348228 SOS 142913 HAS SOPS 130667 HAS SOUS 110363 HAS SOUPS 98350 WITH SCORE 98492.913
AT ITER 2467 NEW BEST:: SOT 348183 SOS 142689 HAS SOPS 130443 HAS SOUS 110139 HAS SOUPS 98126 WITH SCORE 98268.689
AT ITER 2479 NEW BEST:: SOT 348094 SOS 142625 HAS SOPS 130379 HAS SOUS 110075 HAS SOUPS 98062 WITH SCORE 98204.625
AT ITER 2489 NEW BEST:: SOT 348120 SOS 142443 HAS SOPS 130197 HAS SOUS 109985 HAS SOUPS 97972 WITH SCORE 98114.443
AT ITER 2508 NEW BEST:: SOT 348097 SOS 142374 HAS SOPS 130128 HAS SOUS 109939 HAS SOUPS 97926 WITH SCORE 98068.374
AT ITER 2511 NEW BEST:: SOT 348011 SOS 142073 HAS SOPS 129827 HAS SOUS 109862 HAS SOUPS 97849 WITH SCORE 97991.073
AT ITER 2512 NEW BEST:: SOT 347993 SOS 142035 HAS SOPS 129789 HAS SOUS 109844 HAS SOUPS 97831 WITH SCORE 97973.035
AT ITER 2537 NEW BEST:: SOT 347958 SOS 141936 HAS SOPS 129690 HAS SOUS 109738 HAS SOUPS 97725 WITH SCORE 97866.936
AT ITER 2541 NEW BEST:: SOT 347912 SOS 141890 HAS SOPS 129644 HAS SOUS 109692 HAS SOUPS 97679 WITH SCORE 97820.89
AT ITER 2543 NEW BEST:: SOT 347582 SOS 141266 HAS SOPS 128819 HAS SOUS 109398 HAS SOUPS 97184 WITH SCORE 97325.266
AT ITER 2546 NEW BEST:: SOT 347561 SOS 141250 HAS SOPS 128777 HAS SOUS 109382 HAS SOUPS 97142 WITH SCORE 97283.25
AT ITER 2557 NEW BEST:: SOT 347963 SOS 141095 HAS SOPS 128618 HAS SOUS 109025 HAS SOUPS 96781 WITH SCORE 96922.095
AT ITER 2559 NEW BEST:: SOT 347850 SOS 140987 HAS SOPS 128373 HAS SOUS 109053 HAS SOUPS 96672 WITH SCORE 96812.987
AT ITER 2590 NEW BEST:: SOT 347916 SOS 141140 HAS SOPS 128400 HAS SOUS 109098 HAS SOUPS 96591 WITH SCORE 96732.14
AT ITER 2599 NEW BEST:: SOT 347663 SOS 140759 HAS SOPS 128019 HAS SOUS 108845 HAS SOUPS 96338 WITH SCORE 96478.759
AT ITER 2600 NEW BEST:: SOT 347663 SOS 140691 HAS SOPS 127951 HAS SOUS 108777 HAS SOUPS 96270 WITH SCORE 96410.691
AT ITER 2602 NEW BEST:: SOT 347798 SOS 140826 HAS SOPS 127639 HAS SOUS 108912 HAS SOUPS 95958 WITH SCORE 96098.826
AT ITER 2605 NEW BEST:: SOT 347765 SOS 140760 HAS SOPS 127573 HAS SOUS 108879 HAS SOUPS 95925 WITH SCORE 96065.76
AT ITER 2617 NEW BEST:: SOT 347759 SOS 140638 HAS SOPS 127451 HAS SOUS 108810 HAS SOUPS 95856 WITH SCORE 95996.638
AT ITER 2628 NEW BEST:: SOT 347759 SOS 140643 HAS SOPS 127456 HAS SOUS 108786 HAS SOUPS 95832 WITH SCORE 95972.643
AT ITER 2632 NEW BEST:: SOT 347701 SOS 140585 HAS SOPS 127344 HAS SOUS 108799 HAS SOUPS 95791 WITH SCORE 95931.585
AT ITER 2633 NEW BEST:: SOT 347673 SOS 140557 HAS SOPS 127256 HAS SOUS 108771 HAS SOUPS 95703 WITH SCORE 95843.557
AT ITER 2643 NEW BEST:: SOT 347812 SOS 140569 HAS SOPS 127268 HAS SOUS 108553 HAS SOUPS 95485 WITH SCORE 95625.569
AT ITER 2650 NEW BEST:: SOT 347663 SOS 140698 HAS SOPS 127397 HAS SOUS 108541 HAS SOUPS 95473 WITH SCORE 95613.698
AT ITER 2653 NEW BEST:: SOT 347638 SOS 140714 HAS SOPS 127413 HAS SOUS 108540 HAS SOUPS 95472 WITH SCORE 95612.714
AT ITER 2663 NEW BEST:: SOT 347586 SOS 140610 HAS SOPS 127309 HAS SOUS 108488 HAS SOUPS 95420 WITH SCORE 95560.61
AT ITER 2666 NEW BEST:: SOT 347634 SOS 140311 HAS SOPS 127107 HAS SOUS 108200 HAS SOUPS 95229 WITH SCORE 95369.311
AT ITER 2676 NEW BEST:: SOT 346969 SOS 139596 HAS SOPS 126392 HAS SOUS 107769 HAS SOUPS 94798 WITH SCORE 94937.596
AT ITER 2680 NEW BEST:: SOT 346954 SOS 139575 HAS SOPS 126371 HAS SOUS 107754 HAS SOUPS 94783 WITH SCORE 94922.575
AT ITER 2695 NEW BEST:: SOT 346954 SOS 139560 HAS SOPS 126356 HAS SOUS 107739 HAS SOUPS 94768 WITH SCORE 94907.56
AT ITER 2697 NEW BEST:: SOT 346939 SOS 139524 HAS SOPS 126320 HAS SOUS 107717 HAS SOUPS 94746 WITH SCORE 94885.524
AT ITER 2718 NEW BEST:: SOT 346935 SOS 139487 HAS SOPS 126283 HAS SOUS 107659 HAS SOUPS 94688 WITH SCORE 94827.487
AT ITER 2724 NEW BEST:: SOT 346896 SOS 139728 HAS SOPS 126279 HAS SOUS 107857 HAS SOUPS 94641 WITH SCORE 94780.728
AT ITER 2728 NEW BEST:: SOT 346876 SOS 139670 HAS SOPS 126255 HAS SOUS 107803 HAS SOUPS 94621 WITH SCORE 94760.67
AT ITER 2732 NEW BEST:: SOT 346753 SOS 139470 HAS SOPS 126055 HAS SOUS 107603 HAS SOUPS 94421 WITH SCORE 94560.47
AT ITER 2737 NEW BEST:: SOT 346607 SOS 139178 HAS SOPS 125909 HAS SOUS 107311 HAS SOUPS 94275 WITH SCORE 94414.178
AT ITER 2740 NEW BEST:: SOT 346647 SOS 139025 HAS SOPS 125682 HAS SOUS 107358 HAS SOUPS 94248 WITH SCORE 94387.025
AT ITER 2742 NEW BEST:: SOT 346583 SOS 139281 HAS SOPS 125593 HAS SOUS 107517 HAS SOUPS 94062 WITH SCORE 94201.281
AT ITER 2757 NEW BEST:: SOT 346503 SOS 139049 HAS SOPS 125361 HAS SOUS 107325 HAS SOUPS 93870 WITH SCORE 94009.049
AT ITER 2768 NEW BEST:: SOT 346461 SOS 138881 HAS SOPS 125193 HAS SOUS 107199 HAS SOUPS 93744 WITH SCORE 93882.881
AT ITER 2781 NEW BEST:: SOT 346291 SOS 138944 HAS SOPS 125020 HAS SOUS 107359 HAS SOUPS 93668 WITH SCORE 93806.944
AT ITER 2790 NEW BEST:: SOT 346149 SOS 138574 HAS SOPS 124650 HAS SOUS 107213 HAS SOUPS 93522 WITH SCORE 93660.574
AT ITER 2801 NEW BEST:: SOT 346379 SOS 138528 HAS SOPS 124604 HAS SOUS 107209 HAS SOUPS 93518 WITH SCORE 93656.528
AT ITER 2803 NEW BEST:: SOT 346293 SOS 138356 HAS SOPS 124432 HAS SOUS 107123 HAS SOUPS 93432 WITH SCORE 93570.356
AT ITER 2814 NEW BEST:: SOT 346154 SOS 138217 HAS SOPS 124293 HAS SOUS 106984 HAS SOUPS 93293 WITH SCORE 93431.217
AT ITER 2845 NEW BEST:: SOT 346031 SOS 138207 HAS SOPS 124143 HAS SOUS 107052 HAS SOUPS 93221 WITH SCORE 93359.207
AT ITER 2857 NEW BEST:: SOT 345950 SOS 138456 HAS SOPS 124277 HAS SOUS 107066 HAS SOUPS 93120 WITH SCORE 93258.456
AT ITER 2860 NEW BEST:: SOT 345949 SOS 138455 HAS SOPS 124275 HAS SOUS 107065 HAS SOUPS 93118 WITH SCORE 93256.455
AT ITER 2867 NEW BEST:: SOT 345845 SOS 138301 HAS SOPS 124017 HAS SOUS 106911 HAS SOUPS 92860 WITH SCORE 92998.301
AT ITER 2871 NEW BEST:: SOT 345817 SOS 138133 HAS SOPS 123849 HAS SOUS 106883 HAS SOUPS 92832 WITH SCORE 92970.133
AT ITER 2876 NEW BEST:: SOT 345791 SOS 138175 HAS SOPS 123891 HAS SOUS 106857 HAS SOUPS 92806 WITH SCORE 92944.175
AT ITER 2895 NEW BEST:: SOT 345791 SOS 138040 HAS SOPS 123756 HAS SOUS 106767 HAS SOUPS 92716 WITH SCORE 92854.04
AT ITER 2897 NEW BEST:: SOT 345787 SOS 138036 HAS SOPS 123752 HAS SOUS 106763 HAS SOUPS 92712 WITH SCORE 92850.036
AT ITER 2903 NEW BEST:: SOT 345852 SOS 137987 HAS SOPS 123703 HAS SOUS 106714 HAS SOUPS 92663 WITH SCORE 92800.987
AT ITER 2906 NEW BEST:: SOT 345811 SOS 137901 HAS SOPS 123617 HAS SOUS 106628 HAS SOUPS 92577 WITH SCORE 92714.901
AT ITER 2909 NEW BEST:: SOT 345785 SOS 137875 HAS SOPS 123591 HAS SOUS 106602 HAS SOUPS 92551 WITH SCORE 92688.875
AT ITER 2910 NEW BEST:: SOT 345386 SOS 137476 HAS SOPS 123192 HAS SOUS 106337 HAS SOUPS 92286 WITH SCORE 92423.476
AT ITER 2914 NEW BEST:: SOT 345386 SOS 137408 HAS SOPS 123124 HAS SOUS 106337 HAS SOUPS 92286 WITH SCORE 92423.408
AT ITER 2915 NEW BEST:: SOT 345351 SOS 137298 HAS SOPS 123014 HAS SOUS 106216 HAS SOUPS 92165 WITH SCORE 92302.298
AT ITER 2921 NEW BEST:: SOT 345332 SOS 137302 HAS SOPS 122923 HAS SOUS 106220 HAS SOUPS 92074 WITH SCORE 92211.302
AT ITER 2927 NEW BEST:: SOT 345319 SOS 137418 HAS SOPS 122814 HAS SOUS 106336 HAS SOUPS 91965 WITH SCORE 92102.418
AT ITER 2928 NEW BEST:: SOT 345319 SOS 137403 HAS SOPS 122799 HAS SOUS 106321 HAS SOUPS 91950 WITH SCORE 92087.403
AT ITER 2932 NEW BEST:: SOT 345243 SOS 137258 HAS SOPS 122654 HAS SOUS 106252 HAS SOUPS 91881 WITH SCORE 92018.258
AT ITER 2933 NEW BEST:: SOT 345242 SOS 137257 HAS SOPS 122652 HAS SOUS 106252 HAS SOUPS 91880 WITH SCORE 92017.257
AT ITER 2936 NEW BEST:: SOT 344931 SOS 136826 HAS SOPS 122008 HAS SOUS 106043 HAS SOUPS 91458 WITH SCORE 91594.826
AT ITER 2938 NEW BEST:: SOT 344843 SOS 136562 HAS SOPS 121744 HAS SOUS 105976 HAS SOUPS 91391 WITH SCORE 91527.562
AT ITER 2989 NEW BEST:: SOT 344866 SOS 136731 HAS SOPS 121720 HAS SOUS 106145 HAS SOUPS 91367 WITH SCORE 91503.731
AT ITER 2992 NEW BEST:: SOT 344711 SOS 136406 HAS SOPS 121240 HAS SOUS 105820 HAS SOUPS 90887 WITH SCORE 91023.406
AT ITER 2995 NEW BEST:: SOT 344711 SOS 136403 HAS SOPS 121237 HAS SOUS 105819 HAS SOUPS 90886 WITH SCORE 91022.403
AT ITER 3001 NEW BEST:: SOT 344650 SOS 136414 HAS SOPS 121192 HAS SOUS 105871 HAS SOUPS 90882 WITH SCORE 91018.414
AT ITER 3012 NEW BEST:: SOT 344447 SOS 136211 HAS SOPS 120989 HAS SOUS 105625 HAS SOUPS 90636 WITH SCORE 90772.211
AT ITER 3025 NEW BEST:: SOT 344497 SOS 136118 HAS SOPS 120902 HAS SOUS 105606 HAS SOUPS 90623 WITH SCORE 90759.118
AT ITER 3036 NEW BEST:: SOT 344489 SOS 136043 HAS SOPS 120825 HAS SOUS 105531 HAS SOUPS 90546 WITH SCORE 90682.043
AT ITER 3038 NEW BEST:: SOT 344157 SOS 135213 HAS SOPS 119995 HAS SOUS 105033 HAS SOUPS 90048 WITH SCORE 90183.213
AT ITER 3054 NEW BEST:: SOT 344141 SOS 135045 HAS SOPS 119827 HAS SOUS 104911 HAS SOUPS 89926 WITH SCORE 90061.045
AT ITER 3061 NEW BEST:: SOT 344106 SOS 135010 HAS SOPS 119792 HAS SOUS 104876 HAS SOUPS 89891 WITH SCORE 90026.01
AT ITER 3069 NEW BEST:: SOT 344080 SOS 134937 HAS SOPS 119719 HAS SOUS 104829 HAS SOUPS 89844 WITH SCORE 89978.937
AT ITER 3086 NEW BEST:: SOT 344054 SOS 134891 HAS SOPS 119673 HAS SOUS 104796 HAS SOUPS 89811 WITH SCORE 89945.891
AT ITER 3090 NEW BEST:: SOT 343991 SOS 135002 HAS SOPS 119784 HAS SOUS 104791 HAS SOUPS 89806 WITH SCORE 89941.002
AT ITER 3092 NEW BEST:: SOT 343973 SOS 134948 HAS SOPS 119730 HAS SOUS 104755 HAS SOUPS 89770 WITH SCORE 89904.948
AT ITER 3096 NEW BEST:: SOT 343947 SOS 134778 HAS SOPS 119498 HAS SOUS 104789 HAS SOUPS 89744 WITH SCORE 89878.778
AT ITER 3100 NEW BEST:: SOT 343875 SOS 134767 HAS SOPS 119487 HAS SOUS 104748 HAS SOUPS 89703 WITH SCORE 89837.767
AT ITER 3101 NEW BEST:: SOT 343775 SOS 134591 HAS SOPS 119311 HAS SOUS 104572 HAS SOUPS 89527 WITH SCORE 89661.591
AT ITER 3110 NEW BEST:: SOT 343723 SOS 134539 HAS SOPS 119234 HAS SOUS 104545 HAS SOUPS 89475 WITH SCORE 89609.539
AT ITER 3136 NEW BEST:: SOT 343327 SOS 134012 HAS SOPS 118707 HAS SOUS 104210 HAS SOUPS 89140 WITH SCORE 89274.012
AT ITER 3137 NEW BEST:: SOT 343307 SOS 133992 HAS SOPS 118687 HAS SOUS 104190 HAS SOUPS 89120 WITH SCORE 89253.992
AT ITER 3141 NEW BEST:: SOT 343377 SOS 133823 HAS SOPS 118518 HAS SOUS 104021 HAS SOUPS 88951 WITH SCORE 89084.823
AT ITER 3150 NEW BEST:: SOT 343395 SOS 133721 HAS SOPS 118465 HAS SOUS 103950 HAS SOUPS 88929 WITH SCORE 89062.721
AT ITER 3161 NEW BEST:: SOT 343459 SOS 133785 HAS SOPS 118529 HAS SOUS 103936 HAS SOUPS 88915 WITH SCORE 89048.785
AT ITER 3177 NEW BEST:: SOT 343507 SOS 133839 HAS SOPS 118583 HAS SOUS 103929 HAS SOUPS 88908 WITH SCORE 89041.839
AT ITER 3190 NEW BEST:: SOT 343487 SOS 133943 HAS SOPS 118515 HAS SOUS 104033 HAS SOUPS 88840 WITH SCORE 88973.943
AT ITER 3193 NEW BEST:: SOT 343411 SOS 133758 HAS SOPS 118330 HAS SOUS 103886 HAS SOUPS 88693 WITH SCORE 88826.758
AT ITER 3194 NEW BEST:: SOT 343323 SOS 133558 HAS SOPS 118130 HAS SOUS 103870 HAS SOUPS 88677 WITH SCORE 88810.558
AT ITER 3228 NEW BEST:: SOT 343016 SOS 133251 HAS SOPS 117823 HAS SOUS 103586 HAS SOUPS 88393 WITH SCORE 88526.251
AT ITER 3232 NEW BEST:: SOT 343027 SOS 133219 HAS SOPS 117791 HAS SOUS 103554 HAS SOUPS 88361 WITH SCORE 88494.219
AT ITER 3235 NEW BEST:: SOT 343018 SOS 133210 HAS SOPS 117782 HAS SOUS 103554 HAS SOUPS 88361 WITH SCORE 88494.21
AT ITER 3240 NEW BEST:: SOT 343004 SOS 133175 HAS SOPS 117747 HAS SOUS 103533 HAS SOUPS 88340 WITH SCORE 88473.175
AT ITER 3242 NEW BEST:: SOT 342974 SOS 133156 HAS SOPS 117728 HAS SOUS 103503 HAS SOUPS 88310 WITH SCORE 88443.156
AT ITER 3248 NEW BEST:: SOT 342896 SOS 133078 HAS SOPS 117650 HAS SOUS 103393 HAS SOUPS 88200 WITH SCORE 88333.078
AT ITER 3250 NEW BEST:: SOT 342851 SOS 133054 HAS SOPS 117626 HAS SOUS 103369 HAS SOUPS 88176 WITH SCORE 88309.054
AT ITER 3283 NEW BEST:: SOT 342814 SOS 132925 HAS SOPS 117497 HAS SOUS 103286 HAS SOUPS 88093 WITH SCORE 88225.925
AT ITER 3302 NEW BEST:: SOT 343497 SOS 133319 HAS SOPS 117891 HAS SOUS 103162 HAS SOUPS 87969 WITH SCORE 88102.319
AT ITER 3310 NEW BEST:: SOT 343456 SOS 132968 HAS SOPS 117653 HAS SOUS 102852 HAS SOUPS 87772 WITH SCORE 87904.968
AT ITER 3313 NEW BEST:: SOT 343585 SOS 132760 HAS SOPS 117445 HAS SOUS 102784 HAS SOUPS 87704 WITH SCORE 87836.76
AT ITER 3315 NEW BEST:: SOT 343714 SOS 132824 HAS SOPS 117509 HAS SOUS 102653 HAS SOUPS 87573 WITH SCORE 87705.824
AT ITER 3326 NEW BEST:: SOT 343504 SOS 132614 HAS SOPS 117299 HAS SOUS 102243 HAS SOUPS 87163 WITH SCORE 87295.614
AT ITER 3332 NEW BEST:: SOT 343496 SOS 132620 HAS SOPS 117305 HAS SOUS 102235 HAS SOUPS 87155 WITH SCORE 87287.62
AT ITER 3335 NEW BEST:: SOT 343370 SOS 132368 HAS SOPS 117095 HAS SOUS 102067 HAS SOUPS 87029 WITH SCORE 87161.368
AT ITER 3340 NEW BEST:: SOT 343335 SOS 132333 HAS SOPS 117060 HAS SOUS 102032 HAS SOUPS 86994 WITH SCORE 87126.333
AT ITER 3355 NEW BEST:: SOT 343389 SOS 132360 HAS SOPS 117087 HAS SOUS 101978 HAS SOUPS 86940 WITH SCORE 87072.36
AT ITER 3370 NEW BEST:: SOT 342855 SOS 131655 HAS SOPS 116382 HAS SOUS 101494 HAS SOUPS 86456 WITH SCORE 86587.655
AT ITER 3377 NEW BEST:: SOT 342837 SOS 131660 HAS SOPS 116307 HAS SOUS 101518 HAS SOUPS 86400 WITH SCORE 86531.66
AT ITER 3393 NEW BEST:: SOT 342848 SOS 131633 HAS SOPS 116280 HAS SOUS 101512 HAS SOUPS 86394 WITH SCORE 86525.633
AT ITER 3401 NEW BEST:: SOT 342927 SOS 131685 HAS SOPS 116255 HAS SOUS 101564 HAS SOUPS 86369 WITH SCORE 86500.685
AT ITER 3424 NEW BEST:: SOT 342880 SOS 131504 HAS SOPS 116074 HAS SOUS 101383 HAS SOUPS 86188 WITH SCORE 86319.504
AT ITER 3442 NEW BEST:: SOT 342772 SOS 131538 HAS SOPS 116032 HAS SOUS 101449 HAS SOUPS 86178 WITH SCORE 86309.538
AT ITER 3445 NEW BEST:: SOT 342718 SOS 131484 HAS SOPS 115978 HAS SOUS 101420 HAS SOUPS 86149 WITH SCORE 86280.484
AT ITER 3458 NEW BEST:: SOT 342670 SOS 131324 HAS SOPS 115818 HAS SOUS 101312 HAS SOUPS 86041 WITH SCORE 86172.324
AT ITER 3461 NEW BEST:: SOT 342555 SOS 131200 HAS SOPS 115694 HAS SOUS 101188 HAS SOUPS 85917 WITH SCORE 86048.2
AT ITER 3473 NEW BEST:: SOT 342677 SOS 131093 HAS SOPS 115690 HAS SOUS 101062 HAS SOUPS 85894 WITH SCORE 86025.093
AT ITER 3485 NEW BEST:: SOT 342635 SOS 130053 HAS SOPS 114650 HAS SOUS 101032 HAS SOUPS 85864 WITH SCORE 85994.053
AT ITER 3488 NEW BEST:: SOT 342627 SOS 129991 HAS SOPS 114606 HAS SOUS 100988 HAS SOUPS 85838 WITH SCORE 85967.991
AT ITER 3489 NEW BEST:: SOT 342630 SOS 129868 HAS SOPS 114538 HAS SOUS 100894 HAS SOUPS 85799 WITH SCORE 85928.868
AT ITER 3501 NEW BEST:: SOT 342607 SOS 129820 HAS SOPS 114517 HAS SOUS 100846 HAS SOUPS 85778 WITH SCORE 85907.82
AT ITER 3525 NEW BEST:: SOT 342607 SOS 129797 HAS SOPS 114494 HAS SOUS 100823 HAS SOUPS 85755 WITH SCORE 85884.797
AT ITER 3528 NEW BEST:: SOT 342556 SOS 129683 HAS SOPS 114380 HAS SOUS 100709 HAS SOUPS 85641 WITH SCORE 85770.683
AT ITER 3530 NEW BEST:: SOT 342574 SOS 129633 HAS SOPS 114330 HAS SOUS 100641 HAS SOUPS 85573 WITH SCORE 85702.633
AT ITER 3533 NEW BEST:: SOT 342523 SOS 129582 HAS SOPS 114279 HAS SOUS 100641 HAS SOUPS 85573 WITH SCORE 85702.582
AT ITER 3534 NEW BEST:: SOT 342436 SOS 129495 HAS SOPS 114192 HAS SOUS 100467 HAS SOUPS 85399 WITH SCORE 85528.495
AT ITER 3537 NEW BEST:: SOT 342400 SOS 129349 HAS SOPS 114046 HAS SOUS 100450 HAS SOUPS 85382 WITH SCORE 85511.349
AT ITER 3544 NEW BEST:: SOT 342350 SOS 129289 HAS SOPS 113986 HAS SOUS 100400 HAS SOUPS 85332 WITH SCORE 85461.289
AT ITER 3559 NEW BEST:: SOT 342348 SOS 129285 HAS SOPS 113982 HAS SOUS 100398 HAS SOUPS 85330 WITH SCORE 85459.285
AT ITER 3570 NEW BEST:: SOT 342271 SOS 128980 HAS SOPS 113751 HAS SOUS 100170 HAS SOUPS 85176 WITH SCORE 85304.98
AT ITER 3595 NEW BEST:: SOT 342261 SOS 128970 HAS SOPS 113731 HAS SOUS 100160 HAS SOUPS 85156 WITH SCORE 85284.97
AT ITER 3603 NEW BEST:: SOT 342123 SOS 128903 HAS SOPS 113593 HAS SOUS 100164 HAS SOUPS 85089 WITH SCORE 85217.903
AT ITER 3618 NEW BEST:: SOT 342121 SOS 128901 HAS SOPS 113591 HAS SOUS 100164 HAS SOUPS 85089 WITH SCORE 85217.901
AT ITER 3624 NEW BEST:: SOT 341578 SOS 128358 HAS SOPS 113048 HAS SOUS 99984 HAS SOUPS 84909 WITH SCORE 85037.358
AT ITER 3627 NEW BEST:: SOT 341553 SOS 128333 HAS SOPS 112998 HAS SOUS 99984 HAS SOUPS 84884 WITH SCORE 85012.333
AT ITER 3635 NEW BEST:: SOT 341511 SOS 128249 HAS SOPS 112914 HAS SOUS 99942 HAS SOUPS 84842 WITH SCORE 84970.249
AT ITER 3650 NEW BEST:: SOT 341268 SOS 128249 HAS SOPS 112490 HAS SOUS 99732 HAS SOUPS 84420 WITH SCORE 84548.249
AT ITER 3653 NEW BEST:: SOT 341236 SOS 128217 HAS SOPS 112426 HAS SOUS 99732 HAS SOUPS 84388 WITH SCORE 84516.217
AT ITER 3655 NEW BEST:: SOT 341165 SOS 127600 HAS SOPS 111809 HAS SOUS 99583 HAS SOUPS 84239 WITH SCORE 84366.6
AT ITER 3661 NEW BEST:: SOT 341163 SOS 127598 HAS SOPS 111807 HAS SOUS 99581 HAS SOUPS 84237 WITH SCORE 84364.598
AT ITER 3685 NEW BEST:: SOT 341163 SOS 127783 HAS SOPS 111992 HAS SOUS 99566 HAS SOUPS 84222 WITH SCORE 84349.783
AT ITER 3692 NEW BEST:: SOT 340881 SOS 127525 HAS SOPS 111841 HAS SOUS 99564 HAS SOUPS 84220 WITH SCORE 84347.525
AT ITER 3695 NEW BEST:: SOT 340821 SOS 127459 HAS SOPS 111817 HAS SOUS 99474 HAS SOUPS 84172 WITH SCORE 84299.459
AT ITER 3698 NEW BEST:: SOT 340771 SOS 127384 HAS SOPS 111742 HAS SOUS 99424 HAS SOUPS 84122 WITH SCORE 84249.384
AT ITER 3703 NEW BEST:: SOT 340791 SOS 126856 HAS SOPS 111261 HAS SOUS 99334 HAS SOUPS 84105 WITH SCORE 84231.856
AT ITER 3708 NEW BEST:: SOT 340768 SOS 126833 HAS SOPS 111238 HAS SOUS 99288 HAS SOUPS 84059 WITH SCORE 84185.833
AT ITER 3722 NEW BEST:: SOT 340760 SOS 126809 HAS SOPS 111222 HAS SOUS 99272 HAS SOUPS 84051 WITH SCORE 84177.809
AT ITER 3728 NEW BEST:: SOT 340777 SOS 126745 HAS SOPS 111158 HAS SOUS 99241 HAS SOUPS 84020 WITH SCORE 84146.745
AT ITER 3779 NEW BEST:: SOT 340777 SOS 126739 HAS SOPS 111152 HAS SOUS 99235 HAS SOUPS 84014 WITH SCORE 84140.739
AT ITER 3801 NEW BEST:: SOT 340752 SOS 126759 HAS SOPS 111172 HAS SOUS 99230 HAS SOUPS 84009 WITH SCORE 84135.759
AT ITER 3805 NEW BEST:: SOT 340716 SOS 126667 HAS SOPS 111100 HAS SOUS 99176 HAS SOUPS 83973 WITH SCORE 84099.667
AT ITER 3813 NEW BEST:: SOT 340606 SOS 126559 HAS SOPS 110992 HAS SOUS 98958 HAS SOUPS 83755 WITH SCORE 83881.559
AT ITER 3817 NEW BEST:: SOT 340537 SOS 126490 HAS SOPS 110900 HAS SOUS 98889 HAS SOUPS 83663 WITH SCORE 83789.49
AT ITER 3818 NEW BEST:: SOT 340534 SOS 126484 HAS SOPS 110897 HAS SOUS 98883 HAS SOUPS 83660 WITH SCORE 83786.484
AT ITER 3829 NEW BEST:: SOT 340513 SOS 126463 HAS SOPS 110876 HAS SOUS 98883 HAS SOUPS 83660 WITH SCORE 83786.463
AT ITER 3860 NEW BEST:: SOT 340395 SOS 126261 HAS SOPS 110674 HAS SOUS 98731 HAS SOUPS 83508 WITH SCORE 83634.261
AT ITER 3861 NEW BEST:: SOT 340285 SOS 125656 HAS SOPS 110069 HAS SOUS 98621 HAS SOUPS 83398 WITH SCORE 83523.656
AT ITER 3869 NEW BEST:: SOT 340336 SOS 125622 HAS SOPS 110035 HAS SOUS 98587 HAS SOUPS 83364 WITH SCORE 83489.622
AT ITER 3904 NEW BEST:: SOT 340334 SOS 125618 HAS SOPS 110031 HAS SOUS 98585 HAS SOUPS 83362 WITH SCORE 83487.618
AT ITER 3905 NEW BEST:: SOT 340257 SOS 125464 HAS SOPS 109954 HAS SOUS 98508 HAS SOUPS 83362 WITH SCORE 83487.464
AT ITER 3915 NEW BEST:: SOT 340254 SOS 125517 HAS SOPS 109948 HAS SOUS 98561 HAS SOUPS 83356 WITH SCORE 83481.517
AT ITER 3916 NEW BEST:: SOT 340244 SOS 125507 HAS SOPS 109928 HAS SOUS 98561 HAS SOUPS 83346 WITH SCORE 83471.507
AT ITER 3918 NEW BEST:: SOT 340239 SOS 125449 HAS SOPS 109870 HAS SOUS 98508 HAS SOUPS 83293 WITH SCORE 83418.449
AT ITER 3921 NEW BEST:: SOT 340210 SOS 125420 HAS SOPS 109812 HAS SOUS 98508 HAS SOUPS 83264 WITH SCORE 83389.42
AT ITER 3936 NEW BEST:: SOT 340210 SOS 125418 HAS SOPS 109810 HAS SOUS 98507 HAS SOUPS 83263 WITH SCORE 83388.418
AT ITER 3954 NEW BEST:: SOT 340184 SOS 125392 HAS SOPS 109784 HAS SOUS 98481 HAS SOUPS 83237 WITH SCORE 83362.392
AT ITER 3960 NEW BEST:: SOT 340396 SOS 125360 HAS SOPS 109996 HAS SOUS 98205 HAS SOUPS 83205 WITH SCORE 83330.36
AT ITER 3995 NEW BEST:: SOT 340399 SOS 125363 HAS SOPS 109999 HAS SOUS 98137 HAS SOUPS 83137 WITH SCORE 83262.363
AT ITER 3998 NEW BEST:: SOT 340396 SOS 125360 HAS SOPS 109996 HAS SOUS 98137 HAS SOUPS 83137 WITH SCORE 83262.36
AT ITER 4020 NEW BEST:: SOT 340335 SOS 125289 HAS SOPS 109925 HAS SOUS 98066 HAS SOUPS 83066 WITH SCORE 83191.289
AT ITER 4021 NEW BEST:: SOT 340167 SOS 125034 HAS SOPS 109670 HAS SOUS 97739 HAS SOUPS 82739 WITH SCORE 82864.034
AT ITER 4024 NEW BEST:: SOT 340126 SOS 124993 HAS SOPS 109587 HAS SOUS 97698 HAS SOUPS 82656 WITH SCORE 82780.993
AT ITER 4057 NEW BEST:: SOT 340077 SOS 124940 HAS SOPS 109512 HAS SOUS 97672 HAS SOUPS 82608 WITH SCORE 82732.94
AT ITER 4064 NEW BEST:: SOT 340177 SOS 124929 HAS SOPS 109501 HAS SOUS 97661 HAS SOUPS 82597 WITH SCORE 82721.929
AT ITER 4076 NEW BEST:: SOT 340367 SOS 125119 HAS SOPS 109549 HAS SOUS 97675 HAS SOUPS 82503 WITH SCORE 82628.119
AT ITER 4090 NEW BEST:: SOT 340385 SOS 125049 HAS SOPS 109461 HAS SOUS 97605 HAS SOUPS 82415 WITH SCORE 82540.049
AT ITER 4108 NEW BEST:: SOT 340345 SOS 124997 HAS SOPS 109365 HAS SOUS 97609 HAS SOUPS 82375 WITH SCORE 82499.997
AT ITER 4120 NEW BEST:: SOT 340345 SOS 124994 HAS SOPS 109362 HAS SOUS 97606 HAS SOUPS 82372 WITH SCORE 82496.994
AT ITER 4126 NEW BEST:: SOT 340330 SOS 124934 HAS SOPS 109302 HAS SOUS 97561 HAS SOUPS 82327 WITH SCORE 82451.934
AT ITER 4202 NEW BEST:: SOT 340392 SOS 125075 HAS SOPS 109387 HAS SOUS 97584 HAS SOUPS 82322 WITH SCORE 82447.075
AT ITER 4203 NEW BEST:: SOT 340383 SOS 125066 HAS SOPS 109378 HAS SOUS 97584 HAS SOUPS 82322 WITH SCORE 82447.066
AT ITER 4207 NEW BEST:: SOT 340383 SOS 125026 HAS SOPS 109338 HAS SOUS 97584 HAS SOUPS 82322 WITH SCORE 82447.026
AT ITER 4219 NEW BEST:: SOT 340410 SOS 125053 HAS SOPS 109275 HAS SOUS 97611 HAS SOUPS 82259 WITH SCORE 82384.053
AT ITER 4234 NEW BEST:: SOT 340420 SOS 125024 HAS SOPS 109246 HAS SOUS 97582 HAS SOUPS 82230 WITH SCORE 82355.024
AT ITER 4239 NEW BEST:: SOT 340524 SOS 125203 HAS SOPS 109172 HAS SOUS 97761 HAS SOUPS 82156 WITH SCORE 82281.203
AT ITER 4254 NEW BEST:: SOT 340467 SOS 125202 HAS SOPS 109115 HAS SOUS 97816 HAS SOUPS 82155 WITH SCORE 82280.202
AT ITER 4255 NEW BEST:: SOT 340469 SOS 125190 HAS SOPS 109103 HAS SOUS 97810 HAS SOUPS 82149 WITH SCORE 82274.19
AT ITER 4267 NEW BEST:: SOT 340443 SOS 125138 HAS SOPS 109051 HAS SOUS 97784 HAS SOUPS 82123 WITH SCORE 82248.138
AT ITER 4270 NEW BEST:: SOT 340409 SOS 125104 HAS SOPS 109017 HAS SOUS 97750 HAS SOUPS 82089 WITH SCORE 82214.104
AT ITER 4277 NEW BEST:: SOT 340477 SOS 124936 HAS SOPS 108881 HAS SOUS 97684 HAS SOUPS 82055 WITH SCORE 82179.936
AT ITER 4288 NEW BEST:: SOT 340479 SOS 124784 HAS SOPS 108747 HAS SOUS 97651 HAS SOUPS 82040 WITH SCORE 82164.784
AT ITER 4305 NEW BEST:: SOT 340477 SOS 124781 HAS SOPS 108743 HAS SOUS 97650 HAS SOUPS 82038 WITH SCORE 82162.781
AT ITER 4318 NEW BEST:: SOT 340519 SOS 124823 HAS SOPS 108785 HAS SOUS 97592 HAS SOUPS 81980 WITH SCORE 82104.823
AT ITER 4333 NEW BEST:: SOT 340472 SOS 124873 HAS SOPS 108691 HAS SOUS 97642 HAS SOUPS 81886 WITH SCORE 82010.873
AT ITER 4341 NEW BEST:: SOT 340422 SOS 124815 HAS SOPS 108633 HAS SOUS 97634 HAS SOUPS 81878 WITH SCORE 82002.815
AT ITER 4342 NEW BEST:: SOT 340353 SOS 124738 HAS SOPS 108556 HAS SOUS 97565 HAS SOUPS 81809 WITH SCORE 81933.738
AT ITER 4352 NEW BEST:: SOT 340369 SOS 124652 HAS SOPS 108488 HAS SOUS 97540 HAS SOUPS 81802 WITH SCORE 81926.652
AT ITER 4370 NEW BEST:: SOT 340281 SOS 124564 HAS SOPS 108312 HAS SOUS 97452 HAS SOUPS 81626 WITH SCORE 81750.564
AT ITER 4379 NEW BEST:: SOT 340279 SOS 124558 HAS SOPS 108306 HAS SOUS 97448 HAS SOUPS 81622 WITH SCORE 81746.558
AT ITER 4380 NEW BEST:: SOT 340239 SOS 124508 HAS SOPS 108259 HAS SOUS 97398 HAS SOUPS 81575 WITH SCORE 81699.508
AT ITER 4404 NEW BEST:: SOT 340231 SOS 124484 HAS SOPS 108235 HAS SOUS 97382 HAS SOUPS 81559 WITH SCORE 81683.484
AT ITER 4408 NEW BEST:: SOT 340209 SOS 124425 HAS SOPS 108168 HAS SOUS 97368 HAS SOUPS 81537 WITH SCORE 81661.425
AT ITER 4433 NEW BEST:: SOT 340216 SOS 124386 HAS SOPS 108175 HAS SOUS 97283 HAS SOUPS 81498 WITH SCORE 81622.386
AT ITER 4437 NEW BEST:: SOT 340194 SOS 124364 HAS SOPS 108153 HAS SOUS 97261 HAS SOUPS 81476 WITH SCORE 81600.364
AT ITER 4441 NEW BEST:: SOT 340244 SOS 124210 HAS SOPS 107999 HAS SOUS 97220 HAS SOUPS 81435 WITH SCORE 81559.21
AT ITER 4455 NEW BEST:: SOT 340221 SOS 124230 HAS SOPS 107892 HAS SOUS 97301 HAS SOUPS 81389 WITH SCORE 81513.23
AT ITER 4462 NEW BEST:: SOT 340189 SOS 124166 HAS SOPS 107828 HAS SOUS 97269 HAS SOUPS 81357 WITH SCORE 81481.166
AT ITER 4517 NEW BEST:: SOT 340189 SOS 123798 HAS SOPS 107460 HAS SOUS 97269 HAS SOUPS 81357 WITH SCORE 81480.798
AT ITER 4539 NEW BEST:: SOT 340069 SOS 123563 HAS SOPS 107243 HAS SOUS 97136 HAS SOUPS 81242 WITH SCORE 81365.563
AT ITER 4542 NEW BEST:: SOT 340059 SOS 123553 HAS SOPS 107213 HAS SOUS 97126 HAS SOUPS 81212 WITH SCORE 81335.553
AT ITER 4547 NEW BEST:: SOT 340169 SOS 123773 HAS SOPS 107259 HAS SOUS 97236 HAS SOUPS 81148 WITH SCORE 81271.773
AT ITER 4554 NEW BEST:: SOT 340161 SOS 123761 HAS SOPS 107247 HAS SOUS 97228 HAS SOUPS 81140 WITH SCORE 81263.761
AT ITER 4559 NEW BEST:: SOT 340342 SOS 123638 HAS SOPS 107124 HAS SOUS 97098 HAS SOUPS 81010 WITH SCORE 81133.638
AT ITER 4604 NEW BEST:: SOT 340333 SOS 123629 HAS SOPS 107075 HAS SOUS 97089 HAS SOUPS 80961 WITH SCORE 81084.629
AT ITER 4609 NEW BEST:: SOT 340240 SOS 123233 HAS SOPS 106828 HAS SOUS 96831 HAS SOUPS 80852 WITH SCORE 80975.233
AT ITER 4622 NEW BEST:: SOT 340347 SOS 123294 HAS SOPS 106736 HAS SOUS 96938 HAS SOUPS 80806 WITH SCORE 80929.294
AT ITER 4635 NEW BEST:: SOT 340347 SOS 123294 HAS SOPS 106732 HAS SOUS 96938 HAS SOUPS 80802 WITH SCORE 80925.294
AT ITER 4649 NEW BEST:: SOT 340425 SOS 123257 HAS SOPS 106695 HAS SOUS 96923 HAS SOUPS 80787 WITH SCORE 80910.257
AT ITER 4678 NEW BEST:: SOT 340288 SOS 123250 HAS SOPS 106688 HAS SOUS 96849 HAS SOUPS 80713 WITH SCORE 80836.25
AT ITER 4695 NEW BEST:: SOT 340288 SOS 122920 HAS SOPS 106358 HAS SOUS 96839 HAS SOUPS 80703 WITH SCORE 80825.92
AT ITER 4698 NEW BEST:: SOT 340255 SOS 122935 HAS SOPS 106340 HAS SOUS 96854 HAS SOUPS 80685 WITH SCORE 80807.935
AT ITER 4702 NEW BEST:: SOT 340201 SOS 123138 HAS SOPS 106391 HAS SOUS 96941 HAS SOUPS 80620 WITH SCORE 80743.138
AT ITER 4713 NEW BEST:: SOT 340153 SOS 122946 HAS SOPS 106199 HAS SOUS 96893 HAS SOUPS 80572 WITH SCORE 80694.946
AT ITER 4714 NEW BEST:: SOT 340153 SOS 122915 HAS SOPS 106168 HAS SOUS 96871 HAS SOUPS 80550 WITH SCORE 80672.915
AT ITER 4725 NEW BEST:: SOT 340153 SOS 122789 HAS SOPS 106042 HAS SOUS 96871 HAS SOUPS 80550 WITH SCORE 80672.789
AT ITER 4728 NEW BEST:: SOT 340091 SOS 122748 HAS SOPS 105963 HAS SOUS 96816 HAS SOUPS 80457 WITH SCORE 80579.748
AT ITER 4739 NEW BEST:: SOT 340133 SOS 122700 HAS SOPS 105915 HAS SOUS 96770 HAS SOUPS 80411 WITH SCORE 80533.7
AT ITER 4750 NEW BEST:: SOT 340133 SOS 122730 HAS SOPS 105907 HAS SOUS 96800 HAS SOUPS 80403 WITH SCORE 80525.73
AT ITER 4757 NEW BEST:: SOT 340133 SOS 122685 HAS SOPS 105862 HAS SOUS 96755 HAS SOUPS 80358 WITH SCORE 80480.685
AT ITER 4759 NEW BEST:: SOT 340133 SOS 122685 HAS SOPS 105853 HAS SOUS 96755 HAS SOUPS 80349 WITH SCORE 80471.685
AT ITER 4774 NEW BEST:: SOT 340353 SOS 121508 HAS SOPS 104877 HAS SOUS 96525 HAS SOUPS 80320 WITH SCORE 80441.508
AT ITER 4791 NEW BEST:: SOT 340309 SOS 121398 HAS SOPS 104789 HAS SOUS 96459 HAS SOUPS 80276 WITH SCORE 80397.398
AT ITER 4803 NEW BEST:: SOT 340115 SOS 121298 HAS SOPS 104689 HAS SOUS 96456 HAS SOUPS 80273 WITH SCORE 80394.298
AT ITER 4806 NEW BEST:: SOT 340133 SOS 121325 HAS SOPS 104698 HAS SOUS 96456 HAS SOUPS 80264 WITH SCORE 80385.325
AT ITER 4816 NEW BEST:: SOT 340101 SOS 121363 HAS SOPS 104736 HAS SOUS 96424 HAS SOUPS 80232 WITH SCORE 80353.363
AT ITER 4818 NEW BEST:: SOT 340101 SOS 121339 HAS SOPS 104736 HAS SOUS 96400 HAS SOUPS 80232 WITH SCORE 80353.339
AT ITER 4829 NEW BEST:: SOT 340083 SOS 121342 HAS SOPS 104707 HAS SOUS 96421 HAS SOUPS 80221 WITH SCORE 80342.342
AT ITER 4888 NEW BEST:: SOT 340063 SOS 121302 HAS SOPS 104667 HAS SOUS 96401 HAS SOUPS 80201 WITH SCORE 80322.302
AT ITER 4895 NEW BEST:: SOT 340021 SOS 121291 HAS SOPS 104656 HAS SOUS 96390 HAS SOUPS 80190 WITH SCORE 80311.291
AT ITER 4902 NEW BEST:: SOT 339899 SOS 121223 HAS SOPS 104588 HAS SOUS 96369 HAS SOUPS 80169 WITH SCORE 80290.223
AT ITER 4933 NEW BEST:: SOT 339951 SOS 121047 HAS SOPS 104416 HAS SOUS 96305 HAS SOUPS 80109 WITH SCORE 80230.047
AT ITER 4943 NEW BEST:: SOT 339908 SOS 121024 HAS SOPS 104393 HAS SOUS 96283 HAS SOUPS 80087 WITH SCORE 80208.024
AT ITER 4944 NEW BEST:: SOT 339922 SOS 120992 HAS SOPS 104361 HAS SOUS 96274 HAS SOUPS 80078 WITH SCORE 80198.992
AT ITER 4954 NEW BEST:: SOT 339922 SOS 121087 HAS SOPS 104456 HAS SOUS 96215 HAS SOUPS 80019 WITH SCORE 80140.087
AT ITER 4958 NEW BEST:: SOT 339922 SOS 121080 HAS SOPS 104449 HAS SOUS 96208 HAS SOUPS 80012 WITH SCORE 80133.08
AT ITER 4973 NEW BEST:: SOT 339888 SOS 121030 HAS SOPS 104399 HAS SOUS 96179 HAS SOUPS 79983 WITH SCORE 80104.03
AT ITER 4976 NEW BEST:: SOT 340182 SOS 121170 HAS SOPS 104420 HAS SOUS 96263 HAS SOUPS 79948 WITH SCORE 80069.17
AT ITER 4977 NEW BEST:: SOT 340182 SOS 121163 HAS SOPS 104413 HAS SOUS 96256 HAS SOUPS 79941 WITH SCORE 80062.163
AT ITER 4979 NEW BEST:: SOT 340376 SOS 121208 HAS SOPS 104458 HAS SOUS 96219 HAS SOUPS 79904 WITH SCORE 80025.208
AT ITER 4984 NEW BEST:: SOT 340141 SOS 121151 HAS SOPS 104139 HAS SOUS 96135 HAS SOUPS 79558 WITH SCORE 79679.151
Bounds file is: CTLFireability.xml
PROPERTY: Parking-PT-832-CTLFireability-00 (EF( (AU( ((potential((tk(P351)>=1)))) , ((potential((tk(P609)>=1)))) ))))
PROPERTY: Parking-PT-832-CTLFireability-01 (EX( (EX( (AF( ((potential((tk(P11)>=1) & (tk(P167)>=1))))))))))
PROPERTY: Parking-PT-832-CTLFireability-02 (AF( (AF( ( ((potential((tk(P345)>=1)))) & (! ((potential((tk(P119)>=1) & (tk(P139)>=1))))) )))))
PROPERTY: Parking-PT-832-CTLFireability-03 (AF( ( (! ( (! ((potential((tk(P119)>=1) & (tk(P139)>=1))))) | ((potential((tk(P193)>=1)))) )) & ( (AG( ((potential((tk(P425)>=1)))))) | (AF( ((potential((tk(P547)>=1)))))) ) )))
PROPERTY: Parking-PT-832-CTLFireability-04 ( (EF( (EF( ((potential((tk(P191)>=1) & (tk(P159)>=1)))))))) & (! (EU( ( ((potential((tk(P535)>=1) & (tk(P576)>=1)))) & ((potential((tk(P734)>=1)))) ) , ( ((potential((tk(P380)>=1) & (tk(P421)>=1)))) | ((potential((tk(P356)>=1) & (tk(P417)>=1)))) ) ))) )
PROPERTY: Parking-PT-832-CTLFireability-05 (AF( ( ( ( ( ((potential((tk(P665)>=1)))) | ((potential((tk(P188)>=1)))) ) & ( ((potential((tk(P694)>=1) & (tk(P737)>=1)))) & ((potential((tk(P371)>=1) & (tk(P420)>=1)))) ) ) | (EX( ((potential((tk(P679)>=1)))))) ) & ( ( (! ((potential((tk(P41)>=1) & (tk(P324)>=1))))) | (! ((potential((tk(P609)>=1))))) ) & (! (! ((potential((tk(P427)>=1)))))) ) )))
PROPERTY: Parking-PT-832-CTLFireability-06 (! (AF( (AG( ( ((potential((tk(P515)>=1)))) | ((potential((tk(P141)>=1)))) ))))))
PROPERTY: Parking-PT-832-CTLFireability-07 (! (AU( (! ( ((potential((tk(P211)>=1)))) | ((potential((tk(P656)>=1)))) )) , (! (! ((potential((tk(P425)>=1) & (tk(P393)>=1)))))) )))
PROPERTY: Parking-PT-832-CTLFireability-08 (! (EG( (! (! (! ((potential((tk(P313)>=1))))))))))
PROPERTY: Parking-PT-832-CTLFireability-09 (AU( (AF( ( ((potential((tk(P197)>=1)))) | ((potential((tk(P212)>=1) & (tk(P269)>=1)))) ))) , (AG( ( ((potential((tk(P679)>=1)))) & ((potential((tk(P313)>=1)))) ))) ))
PROPERTY: Parking-PT-832-CTLFireability-10 (AG( (! (EG( (! ((potential((tk(P609)>=1))))))))))
PROPERTY: Parking-PT-832-CTLFireability-11 (EU( (EX( (! ((potential((tk(P55)>=1) & (tk(P402)>=1))))))) , ( ((potential((tk(P395)>=1) & (tk(P420)>=1)))) & ((potential((tk(P115)>=1) & (tk(P131)>=1)))) ) ))
PROPERTY: Parking-PT-832-CTLFireability-12 (EG( (AF( (EG( ((potential((tk(P629)>=1) & (tk(P654)>=1))))))))))
PROPERTY: Parking-PT-832-CTLFireability-13 ( (EU( (AF( ((potential((tk(P17)>=1)))))) , ((potential((tk(P236)>=1)))) )) | ( ( ( ( ( ((potential((tk(P297)>=1)))) & ((potential((tk(P58)>=1) & (tk(P177)>=1)))) ) | ( ((potential((tk(P116)>=1) & (tk(P136)>=1)))) | ((potential((tk(P695)>=1)))) ) ) | ( ((potential((tk(P9)>=1)))) & ( ((potential((tk(P509)>=1)))) & ((potential((tk(P127)>=1)))) ) ) ) & (! (AG( ((potential((tk(P16)>=1) & (tk(P174)>=1))))))) ) | ( (! ( ( ((potential((tk(P427)>=1) & (tk(P443)>=1)))) & ((potential((tk(P124)>=1) & (tk(P152)>=1)))) ) | ( ((potential((tk(P469)>=1)))) & ((potential((tk(P149)>=1)))) ) )) & ( ((potential((tk(P679)>=1)))) & ( ((potential((tk(P439)>=1) & (tk(P467)>=1)))) | ( ((potential((tk(P601)>=1)))) | ((potential((tk(P460)>=1) & (tk(P503)>=1)))) ) ) ) ) ) )
PROPERTY: Parking-PT-832-CTLFireability-14 (EU( ( ( ( ((potential((tk(P431)>=1)))) | ((potential((tk(P625)>=1)))) ) | ( ((potential((tk(P189)>=1)))) | ((potential((tk(P305)>=1)))) ) ) | ( ( ((potential((tk(P28)>=1) & (tk(P721)>=1)))) & ((potential((tk(P289)>=1)))) ) | (! ((potential((tk(P219)>=1))))) ) ) , ( ( ( ((potential((tk(P141)>=1)))) & ((potential((tk(P595)>=1)))) ) & ( ((potential((tk(P531)>=1)))) | ((potential((tk(P353)>=1)))) ) ) & ((potential((tk(P185)>=1) & (tk(P186)>=1)))) ) ))
PROPERTY: Parking-PT-832-CTLFireability-15 (! (AG( (EF( ((potential((tk(P23)>=1)))))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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