Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 684K
-rw-r--r-- 1 mcc users 6.5K Feb 25 14:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 14:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 14:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 25 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 14:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 14:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 207K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679194221589

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

Filename model.pnml
Petri model created: 485 places, 776 transitions, 2809 arcs.
AT ITER 0 NEW BEST:: SOT 312987 SOS 279620 HAS SOPS 279598 HAS SOUS 152075 HAS SOUPS 152053 WITH SCORE 152332.62
AT ITER 3 NEW BEST:: SOT 312987 SOS 279726 HAS SOPS 279704 HAS SOUS 152073 HAS SOUPS 152051 WITH SCORE 152330.726
AT ITER 5 NEW BEST:: SOT 312798 SOS 279537 HAS SOPS 279515 HAS SOUS 151915 HAS SOUPS 151893 WITH SCORE 152172.537
AT ITER 6 NEW BEST:: SOT 312515 SOS 279254 HAS SOPS 279232 HAS SOUS 151859 HAS SOUPS 151837 WITH SCORE 152116.254
AT ITER 7 NEW BEST:: SOT 312444 SOS 279183 HAS SOPS 279161 HAS SOUS 151858 HAS SOUPS 151836 WITH SCORE 152115.183
AT ITER 10 NEW BEST:: SOT 312131 SOS 277805 HAS SOPS 277783 HAS SOUS 151376 HAS SOUPS 151354 WITH SCORE 151631.805
AT ITER 11 NEW BEST:: SOT 311958 SOS 277632 HAS SOPS 277610 HAS SOUS 151376 HAS SOUPS 151354 WITH SCORE 151631.632
AT ITER 12 NEW BEST:: SOT 311802 SOS 277476 HAS SOPS 277454 HAS SOUS 151299 HAS SOUPS 151277 WITH SCORE 151554.476
AT ITER 13 NEW BEST:: SOT 311706 SOS 277284 HAS SOPS 277262 HAS SOUS 151299 HAS SOUPS 151277 WITH SCORE 151554.284
AT ITER 25 NEW BEST:: SOT 310125 SOS 278176 HAS SOPS 277279 HAS SOUS 151181 HAS SOUPS 150946 WITH SCORE 151224.176
AT ITER 26 NEW BEST:: SOT 309826 SOS 269450 HAS SOPS 268553 HAS SOUS 150580 HAS SOUPS 150345 WITH SCORE 150614.45
AT ITER 30 NEW BEST:: SOT 309795 SOS 269419 HAS SOPS 268522 HAS SOUS 150545 HAS SOUPS 150310 WITH SCORE 150579.419
AT ITER 33 NEW BEST:: SOT 309776 SOS 269400 HAS SOPS 268503 HAS SOUS 150545 HAS SOUPS 150310 WITH SCORE 150579.4
AT ITER 35 NEW BEST:: SOT 309773 SOS 269397 HAS SOPS 268500 HAS SOUS 150544 HAS SOUPS 150309 WITH SCORE 150578.397
AT ITER 40 NEW BEST:: SOT 309773 SOS 269397 HAS SOPS 268500 HAS SOUS 150540 HAS SOUPS 150305 WITH SCORE 150574.397
AT ITER 41 NEW BEST:: SOT 309773 SOS 269657 HAS SOPS 268760 HAS SOUS 150539 HAS SOUPS 150304 WITH SCORE 150573.657
AT ITER 43 NEW BEST:: SOT 309773 SOS 269647 HAS SOPS 268750 HAS SOUS 150519 HAS SOUPS 150284 WITH SCORE 150553.647
AT ITER 48 NEW BEST:: SOT 309666 SOS 269645 HAS SOPS 268748 HAS SOUS 150411 HAS SOUPS 150176 WITH SCORE 150445.645
AT ITER 49 NEW BEST:: SOT 309666 SOS 265037 HAS SOPS 264140 HAS SOUS 149975 HAS SOUPS 149740 WITH SCORE 150005.037
AT ITER 50 NEW BEST:: SOT 309666 SOS 264681 HAS SOPS 263606 HAS SOUS 149975 HAS SOUPS 149740 WITH SCORE 150004.681
AT ITER 51 NEW BEST:: SOT 309776 SOS 264253 HAS SOPS 263483 HAS SOUS 149877 HAS SOUPS 149703 WITH SCORE 149967.253
AT ITER 56 NEW BEST:: SOT 308474 SOS 263694 HAS SOPS 262181 HAS SOUS 149606 HAS SOUPS 149280 WITH SCORE 149543.694
AT ITER 59 NEW BEST:: SOT 308279 SOS 263502 HAS SOPS 261794 HAS SOUS 149418 HAS SOUPS 148893 WITH SCORE 149156.502
AT ITER 60 NEW BEST:: SOT 296893 SOS 246836 HAS SOPS 244506 HAS SOUS 143667 HAS SOUPS 143058 WITH SCORE 143304.836
AT ITER 61 NEW BEST:: SOT 296817 SOS 246834 HAS SOPS 244504 HAS SOUS 143629 HAS SOUPS 143020 WITH SCORE 143266.834
AT ITER 62 NEW BEST:: SOT 296759 SOS 246776 HAS SOPS 244446 HAS SOUS 143510 HAS SOUPS 142901 WITH SCORE 143147.776
AT ITER 63 NEW BEST:: SOT 293265 SOS 243282 HAS SOPS 240952 HAS SOUS 142423 HAS SOUPS 141814 WITH SCORE 142057.282
AT ITER 65 NEW BEST:: SOT 293265 SOS 243204 HAS SOPS 240874 HAS SOUS 142358 HAS SOUPS 141749 WITH SCORE 141992.204
AT ITER 70 NEW BEST:: SOT 293011 SOS 242948 HAS SOPS 240618 HAS SOUS 142086 HAS SOUPS 141477 WITH SCORE 141719.948
AT ITER 72 NEW BEST:: SOT 282467 SOS 232404 HAS SOPS 230074 HAS SOUS 131353 HAS SOUPS 130744 WITH SCORE 130976.404
AT ITER 77 NEW BEST:: SOT 282467 SOS 232313 HAS SOPS 229983 HAS SOUS 131353 HAS SOUPS 130744 WITH SCORE 130976.313
AT ITER 78 NEW BEST:: SOT 282555 SOS 232354 HAS SOPS 230024 HAS SOUS 131140 HAS SOUPS 130531 WITH SCORE 130763.354
AT ITER 80 NEW BEST:: SOT 282555 SOS 232329 HAS SOPS 229999 HAS SOUS 130984 HAS SOUPS 130375 WITH SCORE 130607.329
AT ITER 81 NEW BEST:: SOT 282559 SOS 232358 HAS SOPS 230028 HAS SOUS 130960 HAS SOUPS 130351 WITH SCORE 130583.358
AT ITER 83 NEW BEST:: SOT 278316 SOS 228070 HAS SOPS 225740 HAS SOUS 126547 HAS SOUPS 125938 WITH SCORE 126166.07
AT ITER 85 NEW BEST:: SOT 278316 SOS 228069 HAS SOPS 225739 HAS SOUS 126545 HAS SOUPS 125936 WITH SCORE 126164.069
AT ITER 90 NEW BEST:: SOT 278144 SOS 227775 HAS SOPS 225445 HAS SOUS 126195 HAS SOUPS 125586 WITH SCORE 125813.775
AT ITER 95 NEW BEST:: SOT 278043 SOS 227720 HAS SOPS 225436 HAS SOUS 125698 HAS SOUPS 125089 WITH SCORE 125316.72
AT ITER 97 NEW BEST:: SOT 278068 SOS 227745 HAS SOPS 225461 HAS SOUS 125555 HAS SOUPS 124946 WITH SCORE 125173.745
AT ITER 98 NEW BEST:: SOT 277895 SOS 227390 HAS SOPS 225104 HAS SOUS 125378 HAS SOUPS 124769 WITH SCORE 124996.39
AT ITER 99 NEW BEST:: SOT 277712 SOS 227206 HAS SOPS 224920 HAS SOUS 125175 HAS SOUPS 124566 WITH SCORE 124793.206
AT ITER 100 NEW BEST:: SOT 277481 SOS 226805 HAS SOPS 224519 HAS SOUS 124774 HAS SOUPS 124165 WITH SCORE 124391.805
AT ITER 101 NEW BEST:: SOT 277218 SOS 225514 HAS SOPS 223228 HAS SOUS 124511 HAS SOUPS 123902 WITH SCORE 124127.514
AT ITER 102 NEW BEST:: SOT 277178 SOS 225462 HAS SOPS 223139 HAS SOUS 124498 HAS SOUPS 123852 WITH SCORE 124077.462
AT ITER 104 NEW BEST:: SOT 277178 SOS 225357 HAS SOPS 223034 HAS SOUS 124399 HAS SOUPS 123753 WITH SCORE 123978.357
AT ITER 108 NEW BEST:: SOT 277169 SOS 225348 HAS SOPS 223025 HAS SOUS 124381 HAS SOUPS 123735 WITH SCORE 123960.348
AT ITER 109 NEW BEST:: SOT 277169 SOS 225348 HAS SOPS 223091 HAS SOUS 124315 HAS SOUPS 123669 WITH SCORE 123894.348
AT ITER 113 NEW BEST:: SOT 277113 SOS 222940 HAS SOPS 220683 HAS SOUS 124259 HAS SOUPS 123613 WITH SCORE 123835.94
AT ITER 114 NEW BEST:: SOT 276709 SOS 222077 HAS SOPS 219820 HAS SOUS 123760 HAS SOUPS 123114 WITH SCORE 123336.077
AT ITER 116 NEW BEST:: SOT 276709 SOS 222077 HAS SOPS 219820 HAS SOUS 123690 HAS SOUPS 123044 WITH SCORE 123266.077
AT ITER 119 NEW BEST:: SOT 276671 SOS 222113 HAS SOPS 219856 HAS SOUS 123689 HAS SOUPS 123043 WITH SCORE 123265.113
AT ITER 123 NEW BEST:: SOT 276671 SOS 220523 HAS SOPS 218266 HAS SOUS 123517 HAS SOUPS 122871 WITH SCORE 123091.523
AT ITER 124 NEW BEST:: SOT 276554 SOS 220354 HAS SOPS 218222 HAS SOUS 122935 HAS SOUPS 122289 WITH SCORE 122509.354
AT ITER 126 NEW BEST:: SOT 276389 SOS 220017 HAS SOPS 217885 HAS SOUS 122779 HAS SOUPS 122133 WITH SCORE 122353.017
AT ITER 129 NEW BEST:: SOT 276369 SOS 220035 HAS SOPS 217903 HAS SOUS 122778 HAS SOUPS 122132 WITH SCORE 122352.035
AT ITER 134 NEW BEST:: SOT 276144 SOS 219811 HAS SOPS 217679 HAS SOUS 122602 HAS SOUPS 121956 WITH SCORE 122175.811
AT ITER 139 NEW BEST:: SOT 276113 SOS 219780 HAS SOPS 217648 HAS SOUS 122601 HAS SOUPS 121955 WITH SCORE 122174.78
AT ITER 141 NEW BEST:: SOT 276113 SOS 219779 HAS SOPS 217647 HAS SOUS 122599 HAS SOUPS 121953 WITH SCORE 122172.779
AT ITER 143 NEW BEST:: SOT 275965 SOS 219631 HAS SOPS 217425 HAS SOUS 122598 HAS SOUPS 121878 WITH SCORE 122097.631
AT ITER 144 NEW BEST:: SOT 275841 SOS 219446 HAS SOPS 217240 HAS SOUS 122589 HAS SOUPS 121869 WITH SCORE 122088.446
AT ITER 149 NEW BEST:: SOT 275767 SOS 219298 HAS SOPS 217092 HAS SOUS 122515 HAS SOUPS 121795 WITH SCORE 122014.298
AT ITER 150 NEW BEST:: SOT 275411 SOS 218791 HAS SOPS 216351 HAS SOUS 122173 HAS SOUPS 121288 WITH SCORE 121506.791
AT ITER 161 NEW BEST:: SOT 266362 SOS 213534 HAS SOPS 211098 HAS SOUS 114053 HAS SOUPS 113168 WITH SCORE 113381.534
AT ITER 166 NEW BEST:: SOT 266338 SOS 213510 HAS SOPS 211074 HAS SOUS 114005 HAS SOUPS 113120 WITH SCORE 113333.51
AT ITER 170 NEW BEST:: SOT 266410 SOS 213676 HAS SOPS 211240 HAS SOUS 113983 HAS SOUPS 113098 WITH SCORE 113311.676
AT ITER 172 NEW BEST:: SOT 266201 SOS 213467 HAS SOPS 211031 HAS SOUS 113890 HAS SOUPS 113005 WITH SCORE 113218.467
AT ITER 176 NEW BEST:: SOT 266201 SOS 213380 HAS SOPS 210944 HAS SOUS 113722 HAS SOUPS 112837 WITH SCORE 113050.38
AT ITER 185 NEW BEST:: SOT 266035 SOS 213228 HAS SOPS 210792 HAS SOUS 113570 HAS SOUPS 112685 WITH SCORE 112898.228
AT ITER 188 NEW BEST:: SOT 266038 SOS 212757 HAS SOPS 210321 HAS SOUS 112894 HAS SOUPS 112009 WITH SCORE 112221.757
AT ITER 194 NEW BEST:: SOT 265848 SOS 212472 HAS SOPS 209941 HAS SOUS 112609 HAS SOUPS 111724 WITH SCORE 111936.472
AT ITER 200 NEW BEST:: SOT 265848 SOS 212465 HAS SOPS 209934 HAS SOUS 112607 HAS SOUPS 111722 WITH SCORE 111934.465
AT ITER 203 NEW BEST:: SOT 265834 SOS 212423 HAS SOPS 209892 HAS SOUS 112593 HAS SOUPS 111708 WITH SCORE 111920.423
AT ITER 204 NEW BEST:: SOT 265835 SOS 212400 HAS SOPS 209845 HAS SOUS 112570 HAS SOUPS 111661 WITH SCORE 111873.4
AT ITER 205 NEW BEST:: SOT 265748 SOS 209957 HAS SOPS 207402 HAS SOUS 112483 HAS SOUPS 111574 WITH SCORE 111783.957
AT ITER 207 NEW BEST:: SOT 265541 SOS 209748 HAS SOPS 207193 HAS SOUS 112376 HAS SOUPS 111467 WITH SCORE 111676.748
AT ITER 213 NEW BEST:: SOT 265602 SOS 209809 HAS SOPS 207254 HAS SOUS 112375 HAS SOUPS 111466 WITH SCORE 111675.809
AT ITER 218 NEW BEST:: SOT 265602 SOS 209697 HAS SOPS 207142 HAS SOUS 112370 HAS SOUPS 111461 WITH SCORE 111670.697
AT ITER 219 NEW BEST:: SOT 265331 SOS 209268 HAS SOPS 206713 HAS SOUS 112134 HAS SOUPS 111225 WITH SCORE 111434.268
AT ITER 224 NEW BEST:: SOT 265339 SOS 209045 HAS SOPS 206490 HAS SOUS 112110 HAS SOUPS 111201 WITH SCORE 111410.045
AT ITER 232 NEW BEST:: SOT 264997 SOS 208703 HAS SOPS 206148 HAS SOUS 111579 HAS SOUPS 110670 WITH SCORE 110878.703
AT ITER 233 NEW BEST:: SOT 264997 SOS 208165 HAS SOPS 205610 HAS SOUS 111539 HAS SOUPS 110630 WITH SCORE 110838.165
AT ITER 235 NEW BEST:: SOT 264997 SOS 208256 HAS SOPS 205701 HAS SOUS 111314 HAS SOUPS 110405 WITH SCORE 110613.256
AT ITER 238 NEW BEST:: SOT 264857 SOS 209048 HAS SOPS 206493 HAS SOUS 111040 HAS SOUPS 110131 WITH SCORE 110340.048
AT ITER 241 NEW BEST:: SOT 264857 SOS 209008 HAS SOPS 206453 HAS SOUS 110999 HAS SOUPS 110090 WITH SCORE 110299.008
AT ITER 242 NEW BEST:: SOT 264663 SOS 208736 HAS SOPS 206181 HAS SOUS 110688 HAS SOUPS 109779 WITH SCORE 109987.736
AT ITER 244 NEW BEST:: SOT 264669 SOS 208742 HAS SOPS 206187 HAS SOUS 110636 HAS SOUPS 109727 WITH SCORE 109935.742
AT ITER 246 NEW BEST:: SOT 264512 SOS 208627 HAS SOPS 206072 HAS SOUS 110559 HAS SOUPS 109650 WITH SCORE 109858.627
AT ITER 250 NEW BEST:: SOT 264451 SOS 208566 HAS SOPS 206011 HAS SOUS 110516 HAS SOUPS 109607 WITH SCORE 109815.566
AT ITER 253 NEW BEST:: SOT 264442 SOS 208541 HAS SOPS 205986 HAS SOUS 110505 HAS SOUPS 109596 WITH SCORE 109804.541
AT ITER 262 NEW BEST:: SOT 264442 SOS 208533 HAS SOPS 205978 HAS SOUS 110455 HAS SOUPS 109546 WITH SCORE 109754.533
AT ITER 263 NEW BEST:: SOT 264442 SOS 208533 HAS SOPS 205978 HAS SOUS 110451 HAS SOUPS 109542 WITH SCORE 109750.533
AT ITER 264 NEW BEST:: SOT 264431 SOS 208511 HAS SOPS 205956 HAS SOUS 110438 HAS SOUPS 109529 WITH SCORE 109737.511
AT ITER 275 NEW BEST:: SOT 264490 SOS 208570 HAS SOPS 206015 HAS SOUS 110345 HAS SOUPS 109436 WITH SCORE 109644.57
AT ITER 279 NEW BEST:: SOT 264434 SOS 208557 HAS SOPS 206002 HAS SOUS 110243 HAS SOUPS 109334 WITH SCORE 109542.557
AT ITER 280 NEW BEST:: SOT 264124 SOS 208142 HAS SOPS 205587 HAS SOUS 109532 HAS SOUPS 108623 WITH SCORE 108831.142
AT ITER 284 NEW BEST:: SOT 264124 SOS 207998 HAS SOPS 205443 HAS SOUS 109388 HAS SOUPS 108479 WITH SCORE 108686.998
AT ITER 290 NEW BEST:: SOT 264046 SOS 207888 HAS SOPS 205333 HAS SOUS 109263 HAS SOUPS 108354 WITH SCORE 108561.888
AT ITER 291 NEW BEST:: SOT 264046 SOS 207879 HAS SOPS 205324 HAS SOUS 109212 HAS SOUPS 108303 WITH SCORE 108510.879
AT ITER 293 NEW BEST:: SOT 264046 SOS 207879 HAS SOPS 205324 HAS SOUS 109210 HAS SOUPS 108301 WITH SCORE 108508.879
AT ITER 297 NEW BEST:: SOT 263495 SOS 209328 HAS SOPS 206773 HAS SOUS 108965 HAS SOUPS 108056 WITH SCORE 108265.328
AT ITER 299 NEW BEST:: SOT 261938 SOS 207771 HAS SOPS 205216 HAS SOUS 108144 HAS SOUPS 107235 WITH SCORE 107442.771
AT ITER 302 NEW BEST:: SOT 261937 SOS 207770 HAS SOPS 205215 HAS SOUS 108142 HAS SOUPS 107233 WITH SCORE 107440.77
AT ITER 306 NEW BEST:: SOT 261716 SOS 207448 HAS SOPS 204893 HAS SOUS 107601 HAS SOUPS 106692 WITH SCORE 106899.448
AT ITER 307 NEW BEST:: SOT 261755 SOS 203993 HAS SOPS 201438 HAS SOUS 107490 HAS SOUPS 106581 WITH SCORE 106784.993
AT ITER 310 NEW BEST:: SOT 262009 SOS 202454 HAS SOPS 199899 HAS SOUS 107353 HAS SOUPS 106444 WITH SCORE 106646.454
AT ITER 311 NEW BEST:: SOT 262032 SOS 202477 HAS SOPS 199922 HAS SOUS 107290 HAS SOUPS 106381 WITH SCORE 106583.477
AT ITER 312 NEW BEST:: SOT 261656 SOS 202175 HAS SOPS 199546 HAS SOUS 107053 HAS SOUPS 106070 WITH SCORE 106272.175
AT ITER 318 NEW BEST:: SOT 260932 SOS 201624 HAS SOPS 198744 HAS SOUS 106514 HAS SOUPS 105479 WITH SCORE 105680.624
AT ITER 319 NEW BEST:: SOT 260932 SOS 201624 HAS SOPS 198656 HAS SOUS 106544 HAS SOUPS 105435 WITH SCORE 105636.624
AT ITER 320 NEW BEST:: SOT 260780 SOS 201441 HAS SOPS 198473 HAS SOUS 106324 HAS SOUPS 105215 WITH SCORE 105416.441
AT ITER 322 NEW BEST:: SOT 260894 SOS 201793 HAS SOPS 198825 HAS SOUS 106305 HAS SOUPS 105196 WITH SCORE 105397.793
AT ITER 323 NEW BEST:: SOT 260510 SOS 200163 HAS SOPS 197195 HAS SOUS 105969 HAS SOUPS 104860 WITH SCORE 105060.163
AT ITER 324 NEW BEST:: SOT 260510 SOS 200051 HAS SOPS 197083 HAS SOUS 105800 HAS SOUPS 104691 WITH SCORE 104891.051
AT ITER 325 NEW BEST:: SOT 260562 SOS 200228 HAS SOPS 197137 HAS SOUS 105862 HAS SOUPS 104630 WITH SCORE 104830.228
AT ITER 328 NEW BEST:: SOT 260561 SOS 200196 HAS SOPS 197105 HAS SOUS 105861 HAS SOUPS 104629 WITH SCORE 104829.196
AT ITER 332 NEW BEST:: SOT 260513 SOS 200148 HAS SOPS 197057 HAS SOUS 105721 HAS SOUPS 104489 WITH SCORE 104689.148
AT ITER 337 NEW BEST:: SOT 260320 SOS 199627 HAS SOPS 196536 HAS SOUS 105556 HAS SOUPS 104324 WITH SCORE 104523.627
AT ITER 349 NEW BEST:: SOT 260283 SOS 199590 HAS SOPS 196499 HAS SOUS 105482 HAS SOUPS 104250 WITH SCORE 104449.59
AT ITER 351 NEW BEST:: SOT 260298 SOS 199605 HAS SOPS 196514 HAS SOUS 105481 HAS SOUPS 104249 WITH SCORE 104448.605
AT ITER 352 NEW BEST:: SOT 256323 SOS 195630 HAS SOPS 192539 HAS SOUS 101506 HAS SOUPS 100274 WITH SCORE 100469.63
AT ITER 353 NEW BEST:: SOT 256323 SOS 195624 HAS SOPS 192533 HAS SOUS 101500 HAS SOUPS 100268 WITH SCORE 100463.624
AT ITER 357 NEW BEST:: SOT 256323 SOS 195817 HAS SOPS 192726 HAS SOUS 101331 HAS SOUPS 100099 WITH SCORE 100294.817
AT ITER 362 NEW BEST:: SOT 256211 SOS 195705 HAS SOPS 192558 HAS SOUS 101219 HAS SOUPS 99987 WITH SCORE 100182.705
AT ITER 364 NEW BEST:: SOT 256211 SOS 195705 HAS SOPS 192558 HAS SOUS 101198 HAS SOUPS 99966 WITH SCORE 100161.705
AT ITER 366 NEW BEST:: SOT 256089 SOS 195762 HAS SOPS 192615 HAS SOUS 101085 HAS SOUPS 99853 WITH SCORE 100048.762
AT ITER 367 NEW BEST:: SOT 256081 SOS 195526 HAS SOPS 192379 HAS SOUS 101011 HAS SOUPS 99779 WITH SCORE 99974.526
AT ITER 376 NEW BEST:: SOT 255913 SOS 194715 HAS SOPS 191568 HAS SOUS 100945 HAS SOUPS 99713 WITH SCORE 99907.715
AT ITER 377 NEW BEST:: SOT 255687 SOS 194447 HAS SOPS 191300 HAS SOUS 100546 HAS SOUPS 99314 WITH SCORE 99508.447
AT ITER 378 NEW BEST:: SOT 255660 SOS 194420 HAS SOPS 191189 HAS SOUS 100519 HAS SOUPS 99287 WITH SCORE 99481.42
AT ITER 389 NEW BEST:: SOT 255644 SOS 194150 HAS SOPS 190919 HAS SOUS 100510 HAS SOUPS 99278 WITH SCORE 99472.15
AT ITER 390 NEW BEST:: SOT 255260 SOS 193619 HAS SOPS 190388 HAS SOUS 99777 HAS SOUPS 98545 WITH SCORE 98738.619
AT ITER 392 NEW BEST:: SOT 255260 SOS 193619 HAS SOPS 190388 HAS SOUS 99670 HAS SOUPS 98438 WITH SCORE 98631.619
AT ITER 395 NEW BEST:: SOT 255180 SOS 193122 HAS SOPS 189891 HAS SOUS 99590 HAS SOUPS 98358 WITH SCORE 98551.122
AT ITER 400 NEW BEST:: SOT 255180 SOS 193160 HAS SOPS 189929 HAS SOUS 99552 HAS SOUPS 98320 WITH SCORE 98513.16
AT ITER 401 NEW BEST:: SOT 255148 SOS 193128 HAS SOPS 189897 HAS SOUS 99520 HAS SOUPS 98288 WITH SCORE 98481.128
AT ITER 405 NEW BEST:: SOT 255017 SOS 192735 HAS SOPS 189504 HAS SOUS 99389 HAS SOUPS 98157 WITH SCORE 98349.735
AT ITER 419 NEW BEST:: SOT 254472 SOS 192550 HAS SOPS 188783 HAS SOUS 99116 HAS SOUPS 97635 WITH SCORE 97827.55
AT ITER 424 NEW BEST:: SOT 254468 SOS 192545 HAS SOPS 188778 HAS SOUS 99110 HAS SOUPS 97629 WITH SCORE 97821.545
AT ITER 430 NEW BEST:: SOT 254516 SOS 192158 HAS SOPS 188391 HAS SOUS 99005 HAS SOUPS 97524 WITH SCORE 97716.158
AT ITER 434 NEW BEST:: SOT 254284 SOS 191925 HAS SOPS 188158 HAS SOUS 98771 HAS SOUPS 97290 WITH SCORE 97481.925
AT ITER 435 NEW BEST:: SOT 254199 SOS 191755 HAS SOPS 187903 HAS SOUS 98601 HAS SOUPS 97120 WITH SCORE 97311.755
AT ITER 437 NEW BEST:: SOT 254199 SOS 191711 HAS SOPS 187859 HAS SOUS 98583 HAS SOUPS 97102 WITH SCORE 97293.711
AT ITER 444 NEW BEST:: SOT 254114 SOS 191626 HAS SOPS 187774 HAS SOUS 98528 HAS SOUPS 97047 WITH SCORE 97238.626
AT ITER 447 NEW BEST:: SOT 254068 SOS 191544 HAS SOPS 187707 HAS SOUS 98364 HAS SOUPS 96883 WITH SCORE 97074.544
AT ITER 453 NEW BEST:: SOT 253962 SOS 191438 HAS SOPS 187601 HAS SOUS 98258 HAS SOUPS 96777 WITH SCORE 96968.438
AT ITER 455 NEW BEST:: SOT 253910 SOS 191412 HAS SOPS 187575 HAS SOUS 98222 HAS SOUPS 96741 WITH SCORE 96932.412
AT ITER 457 NEW BEST:: SOT 252768 SOS 193178 HAS SOPS 187556 HAS SOUS 98060 HAS SOUPS 96184 WITH SCORE 96377.178
AT ITER 459 NEW BEST:: SOT 252715 SOS 193125 HAS SOPS 187503 HAS SOUS 98060 HAS SOUPS 96184 WITH SCORE 96377.125
AT ITER 460 NEW BEST:: SOT 252711 SOS 193117 HAS SOPS 187491 HAS SOUS 98048 HAS SOUPS 96172 WITH SCORE 96365.117
AT ITER 478 NEW BEST:: SOT 252709 SOS 193115 HAS SOPS 187489 HAS SOUS 98048 HAS SOUPS 96172 WITH SCORE 96365.115
AT ITER 479 NEW BEST:: SOT 252709 SOS 193108 HAS SOPS 187513 HAS SOUS 98048 HAS SOUPS 96172 WITH SCORE 96365.108
AT ITER 482 NEW BEST:: SOT 252664 SOS 193039 HAS SOPS 187444 HAS SOUS 98004 HAS SOUPS 96128 WITH SCORE 96321.039
AT ITER 483 NEW BEST:: SOT 252730 SOS 191737 HAS SOPS 186094 HAS SOUS 97998 HAS SOUPS 96122 WITH SCORE 96313.737
AT ITER 485 NEW BEST:: SOT 252730 SOS 191737 HAS SOPS 186094 HAS SOUS 97974 HAS SOUPS 96098 WITH SCORE 96289.737
AT ITER 494 NEW BEST:: SOT 252475 SOS 191481 HAS SOPS 185838 HAS SOUS 97767 HAS SOUPS 95891 WITH SCORE 96082.481
AT ITER 495 NEW BEST:: SOT 252424 SOS 191280 HAS SOPS 185637 HAS SOUS 97668 HAS SOUPS 95792 WITH SCORE 95983.28
AT ITER 500 NEW BEST:: SOT 252294 SOS 191150 HAS SOPS 185507 HAS SOUS 97473 HAS SOUPS 95597 WITH SCORE 95788.15
AT ITER 501 NEW BEST:: SOT 252174 SOS 191030 HAS SOPS 185387 HAS SOUS 97259 HAS SOUPS 95383 WITH SCORE 95574.03
AT ITER 502 NEW BEST:: SOT 252127 SOS 190995 HAS SOPS 185376 HAS SOUS 96978 HAS SOUPS 95102 WITH SCORE 95292.995
AT ITER 505 NEW BEST:: SOT 251858 SOS 190725 HAS SOPS 185106 HAS SOUS 96858 HAS SOUPS 94982 WITH SCORE 95172.725
AT ITER 506 NEW BEST:: SOT 242857 SOS 191695 HAS SOPS 186076 HAS SOUS 88710 HAS SOUPS 86834 WITH SCORE 87025.695
AT ITER 508 NEW BEST:: SOT 239626 SOS 188461 HAS SOPS 182842 HAS SOUS 85414 HAS SOUPS 83538 WITH SCORE 83726.461
AT ITER 509 NEW BEST:: SOT 239817 SOS 188759 HAS SOPS 183140 HAS SOUS 85391 HAS SOUPS 83515 WITH SCORE 83703.759
AT ITER 517 NEW BEST:: SOT 239809 SOS 188751 HAS SOPS 183132 HAS SOUS 85355 HAS SOUPS 83479 WITH SCORE 83667.751
AT ITER 519 NEW BEST:: SOT 239809 SOS 188579 HAS SOPS 182960 HAS SOUS 85183 HAS SOUPS 83307 WITH SCORE 83495.579
AT ITER 526 NEW BEST:: SOT 239854 SOS 188677 HAS SOPS 183111 HAS SOUS 85175 HAS SOUPS 83299 WITH SCORE 83487.677
AT ITER 529 NEW BEST:: SOT 239742 SOS 188565 HAS SOPS 182999 HAS SOUS 85063 HAS SOUPS 83187 WITH SCORE 83375.565
AT ITER 530 NEW BEST:: SOT 239742 SOS 188565 HAS SOPS 182982 HAS SOUS 85046 HAS SOUPS 83170 WITH SCORE 83358.565
AT ITER 539 NEW BEST:: SOT 240042 SOS 188865 HAS SOPS 183282 HAS SOUS 84927 HAS SOUPS 83051 WITH SCORE 83239.865
AT ITER 541 NEW BEST:: SOT 240010 SOS 188919 HAS SOPS 183336 HAS SOUS 84869 HAS SOUPS 82993 WITH SCORE 83181.919
AT ITER 542 NEW BEST:: SOT 239998 SOS 188907 HAS SOPS 183324 HAS SOUS 84845 HAS SOUPS 82969 WITH SCORE 83157.907
AT ITER 546 NEW BEST:: SOT 239894 SOS 188803 HAS SOPS 183220 HAS SOUS 84671 HAS SOUPS 82795 WITH SCORE 82983.803
AT ITER 554 NEW BEST:: SOT 239903 SOS 188812 HAS SOPS 183236 HAS SOUS 84552 HAS SOUPS 82683 WITH SCORE 82871.812
AT ITER 571 NEW BEST:: SOT 239903 SOS 188812 HAS SOPS 183236 HAS SOUS 84522 HAS SOUPS 82653 WITH SCORE 82841.812
AT ITER 573 NEW BEST:: SOT 239683 SOS 188450 HAS SOPS 182874 HAS SOUS 84171 HAS SOUPS 82302 WITH SCORE 82490.45
AT ITER 581 NEW BEST:: SOT 239621 SOS 188388 HAS SOPS 182797 HAS SOUS 84141 HAS SOUPS 82272 WITH SCORE 82460.388
AT ITER 583 NEW BEST:: SOT 239418 SOS 188185 HAS SOPS 182594 HAS SOUS 83624 HAS SOUPS 81755 WITH SCORE 81943.185
AT ITER 586 NEW BEST:: SOT 239330 SOS 187731 HAS SOPS 182140 HAS SOUS 83367 HAS SOUPS 81498 WITH SCORE 81685.731
AT ITER 594 NEW BEST:: SOT 239288 SOS 187689 HAS SOPS 182098 HAS SOUS 83308 HAS SOUPS 81439 WITH SCORE 81626.689
AT ITER 600 NEW BEST:: SOT 239249 SOS 187416 HAS SOPS 181825 HAS SOUS 83191 HAS SOUPS 81322 WITH SCORE 81509.416
AT ITER 604 NEW BEST:: SOT 239246 SOS 187413 HAS SOPS 181822 HAS SOUS 83153 HAS SOUPS 81284 WITH SCORE 81471.413
AT ITER 608 NEW BEST:: SOT 240781 SOS 183462 HAS SOPS 178014 HAS SOUS 78471 HAS SOUPS 76602 WITH SCORE 76785.462
AT ITER 609 NEW BEST:: SOT 240877 SOS 181812 HAS SOPS 176364 HAS SOUS 78407 HAS SOUPS 76538 WITH SCORE 76719.812
AT ITER 612 NEW BEST:: SOT 240725 SOS 181660 HAS SOPS 176212 HAS SOUS 78287 HAS SOUPS 76418 WITH SCORE 76599.66
AT ITER 616 NEW BEST:: SOT 240745 SOS 181896 HAS SOPS 176448 HAS SOUS 78078 HAS SOUPS 76209 WITH SCORE 76390.896
AT ITER 620 NEW BEST:: SOT 240745 SOS 181666 HAS SOPS 176218 HAS SOUS 78077 HAS SOUPS 76208 WITH SCORE 76389.666
AT ITER 624 NEW BEST:: SOT 239629 SOS 180821 HAS SOPS 175177 HAS SOUS 77493 HAS SOUPS 75526 WITH SCORE 75706.821
AT ITER 633 NEW BEST:: SOT 239546 SOS 180738 HAS SOPS 175094 HAS SOUS 77493 HAS SOUPS 75526 WITH SCORE 75706.738
AT ITER 650 NEW BEST:: SOT 239501 SOS 180603 HAS SOPS 174959 HAS SOUS 77448 HAS SOUPS 75481 WITH SCORE 75661.603
AT ITER 659 NEW BEST:: SOT 239434 SOS 180469 HAS SOPS 174892 HAS SOUS 77314 HAS SOUPS 75414 WITH SCORE 75594.469
AT ITER 663 NEW BEST:: SOT 239271 SOS 179448 HAS SOPS 173871 HAS SOUS 77053 HAS SOUPS 75153 WITH SCORE 75332.448
AT ITER 664 NEW BEST:: SOT 239248 SOS 179425 HAS SOPS 173848 HAS SOUS 77030 HAS SOUPS 75130 WITH SCORE 75309.425
AT ITER 669 NEW BEST:: SOT 239138 SOS 179315 HAS SOPS 173738 HAS SOUS 77030 HAS SOUPS 75130 WITH SCORE 75309.315
AT ITER 675 NEW BEST:: SOT 239070 SOS 179247 HAS SOPS 173670 HAS SOUS 76988 HAS SOUPS 75088 WITH SCORE 75267.247
AT ITER 676 NEW BEST:: SOT 239087 SOS 179264 HAS SOPS 173687 HAS SOUS 76972 HAS SOUPS 75072 WITH SCORE 75251.264
AT ITER 678 NEW BEST:: SOT 239087 SOS 178799 HAS SOPS 173193 HAS SOUS 76934 HAS SOUPS 75034 WITH SCORE 75212.799
AT ITER 681 NEW BEST:: SOT 238773 SOS 178265 HAS SOPS 172659 HAS SOUS 76726 HAS SOUPS 74826 WITH SCORE 75004.265
AT ITER 684 NEW BEST:: SOT 238569 SOS 177952 HAS SOPS 172346 HAS SOUS 76529 HAS SOUPS 74629 WITH SCORE 74806.952
AT ITER 685 NEW BEST:: SOT 238466 SOS 177780 HAS SOPS 172174 HAS SOUS 76405 HAS SOUPS 74505 WITH SCORE 74682.78
AT ITER 691 NEW BEST:: SOT 238336 SOS 177526 HAS SOPS 171920 HAS SOUS 76257 HAS SOUPS 74357 WITH SCORE 74534.526
AT ITER 702 NEW BEST:: SOT 238361 SOS 177551 HAS SOPS 171945 HAS SOUS 76255 HAS SOUPS 74355 WITH SCORE 74532.551
AT ITER 703 NEW BEST:: SOT 238287 SOS 177477 HAS SOPS 171871 HAS SOUS 76220 HAS SOUPS 74320 WITH SCORE 74497.477
AT ITER 711 NEW BEST:: SOT 238193 SOS 177383 HAS SOPS 171777 HAS SOUS 76161 HAS SOUPS 74261 WITH SCORE 74438.383
AT ITER 713 NEW BEST:: SOT 238113 SOS 177271 HAS SOPS 171665 HAS SOUS 76081 HAS SOUPS 74181 WITH SCORE 74358.271
AT ITER 717 NEW BEST:: SOT 238061 SOS 177219 HAS SOPS 171613 HAS SOUS 75936 HAS SOUPS 74036 WITH SCORE 74213.219
AT ITER 718 NEW BEST:: SOT 237877 SOS 177035 HAS SOPS 171429 HAS SOUS 75826 HAS SOUPS 73926 WITH SCORE 74103.035
AT ITER 720 NEW BEST:: SOT 237701 SOS 176859 HAS SOPS 171240 HAS SOUS 75752 HAS SOUPS 73840 WITH SCORE 74016.859
AT ITER 724 NEW BEST:: SOT 237808 SOS 176966 HAS SOPS 171347 HAS SOUS 75702 HAS SOUPS 73790 WITH SCORE 73966.966
AT ITER 726 NEW BEST:: SOT 237479 SOS 176381 HAS SOPS 170762 HAS SOUS 75610 HAS SOUPS 73698 WITH SCORE 73874.381
AT ITER 732 NEW BEST:: SOT 237479 SOS 176379 HAS SOPS 170760 HAS SOUS 75609 HAS SOUPS 73697 WITH SCORE 73873.379
AT ITER 746 NEW BEST:: SOT 237482 SOS 176382 HAS SOPS 170763 HAS SOUS 75580 HAS SOUPS 73668 WITH SCORE 73844.382
AT ITER 758 NEW BEST:: SOT 237468 SOS 176346 HAS SOPS 170727 HAS SOUS 75560 HAS SOUPS 73648 WITH SCORE 73824.346
AT ITER 761 NEW BEST:: SOT 237457 SOS 176313 HAS SOPS 170715 HAS SOUS 75506 HAS SOUPS 73594 WITH SCORE 73770.313
AT ITER 767 NEW BEST:: SOT 237457 SOS 176313 HAS SOPS 170715 HAS SOUS 75459 HAS SOUPS 73547 WITH SCORE 73723.313
AT ITER 788 NEW BEST:: SOT 237452 SOS 175853 HAS SOPS 170255 HAS SOUS 75424 HAS SOUPS 73512 WITH SCORE 73687.853
AT ITER 790 NEW BEST:: SOT 237395 SOS 175898 HAS SOPS 170253 HAS SOUS 75471 HAS SOUPS 73510 WITH SCORE 73685.898
AT ITER 791 NEW BEST:: SOT 237355 SOS 175858 HAS SOPS 170213 HAS SOUS 75391 HAS SOUPS 73430 WITH SCORE 73605.858
AT ITER 798 NEW BEST:: SOT 237336 SOS 175837 HAS SOPS 170192 HAS SOUS 75390 HAS SOUPS 73429 WITH SCORE 73604.837
AT ITER 799 NEW BEST:: SOT 237336 SOS 175859 HAS SOPS 170083 HAS SOUS 75281 HAS SOUPS 73320 WITH SCORE 73495.859
AT ITER 807 NEW BEST:: SOT 237260 SOS 175711 HAS SOPS 169935 HAS SOUS 75257 HAS SOUPS 73296 WITH SCORE 73471.711
AT ITER 814 NEW BEST:: SOT 237301 SOS 175752 HAS SOPS 169976 HAS SOUS 75254 HAS SOUPS 73293 WITH SCORE 73468.752
AT ITER 816 NEW BEST:: SOT 237271 SOS 175722 HAS SOPS 169916 HAS SOUS 75210 HAS SOUPS 73233 WITH SCORE 73408.722
AT ITER 817 NEW BEST:: SOT 229088 SOS 167539 HAS SOPS 161733 HAS SOUS 67448 HAS SOUPS 65471 WITH SCORE 65638.539
AT ITER 822 NEW BEST:: SOT 228755 SOS 167218 HAS SOPS 161412 HAS SOUS 67349 HAS SOUPS 65372 WITH SCORE 65539.218
AT ITER 824 NEW BEST:: SOT 228593 SOS 167050 HAS SOPS 161082 HAS SOUS 67343 HAS SOUPS 65285 WITH SCORE 65452.05
AT ITER 828 NEW BEST:: SOT 228563 SOS 167020 HAS SOPS 161052 HAS SOUS 67303 HAS SOUPS 65245 WITH SCORE 65412.02
AT ITER 833 NEW BEST:: SOT 228655 SOS 166889 HAS SOPS 160921 HAS SOUS 67263 HAS SOUPS 65205 WITH SCORE 65371.889
AT ITER 843 NEW BEST:: SOT 228554 SOS 166786 HAS SOPS 160818 HAS SOUS 67262 HAS SOUPS 65204 WITH SCORE 65370.786
AT ITER 850 NEW BEST:: SOT 228559 SOS 166945 HAS SOPS 160977 HAS SOUS 67261 HAS SOUPS 65203 WITH SCORE 65369.945
AT ITER 853 NEW BEST:: SOT 228590 SOS 166976 HAS SOPS 161008 HAS SOUS 67222 HAS SOUPS 65164 WITH SCORE 65330.976
AT ITER 854 NEW BEST:: SOT 228538 SOS 166924 HAS SOPS 160956 HAS SOUS 67168 HAS SOUPS 65110 WITH SCORE 65276.924
AT ITER 867 NEW BEST:: SOT 228521 SOS 166914 HAS SOPS 160946 HAS SOUS 67141 HAS SOUPS 65083 WITH SCORE 65249.914
AT ITER 871 NEW BEST:: SOT 228520 SOS 166913 HAS SOPS 160945 HAS SOUS 67140 HAS SOUPS 65082 WITH SCORE 65248.913
AT ITER 879 NEW BEST:: SOT 228548 SOS 166941 HAS SOPS 160973 HAS SOUS 67110 HAS SOUPS 65052 WITH SCORE 65218.941
AT ITER 881 NEW BEST:: SOT 228483 SOS 166811 HAS SOPS 160843 HAS SOUS 67045 HAS SOUPS 64987 WITH SCORE 65153.811
AT ITER 882 NEW BEST:: SOT 228414 SOS 166855 HAS SOPS 160832 HAS SOUS 67022 HAS SOUPS 64956 WITH SCORE 65122.855
AT ITER 887 NEW BEST:: SOT 228357 SOS 166754 HAS SOPS 160599 HAS SOUS 66833 HAS SOUPS 64767 WITH SCORE 64933.754
AT ITER 888 NEW BEST:: SOT 228476 SOS 166873 HAS SOPS 160718 HAS SOUS 66772 HAS SOUPS 64706 WITH SCORE 64872.873
AT ITER 892 NEW BEST:: SOT 228714 SOS 167102 HAS SOPS 160655 HAS SOUS 67001 HAS SOUPS 64643 WITH SCORE 64810.102
AT ITER 894 NEW BEST:: SOT 228680 SOS 167068 HAS SOPS 160621 HAS SOUS 66973 HAS SOUPS 64615 WITH SCORE 64782.068
AT ITER 898 NEW BEST:: SOT 227551 SOS 166468 HAS SOPS 160021 HAS SOUS 66834 HAS SOUPS 64476 WITH SCORE 64642.468
AT ITER 899 NEW BEST:: SOT 227505 SOS 166414 HAS SOPS 159967 HAS SOUS 66784 HAS SOUPS 64426 WITH SCORE 64592.414
AT ITER 900 NEW BEST:: SOT 227447 SOS 166356 HAS SOPS 159909 HAS SOUS 66726 HAS SOUPS 64368 WITH SCORE 64534.356
AT ITER 906 NEW BEST:: SOT 227454 SOS 166621 HAS SOPS 160174 HAS SOUS 66670 HAS SOUPS 64312 WITH SCORE 64478.621
AT ITER 915 NEW BEST:: SOT 227461 SOS 166515 HAS SOPS 160128 HAS SOUS 66634 HAS SOUPS 64288 WITH SCORE 64454.515
AT ITER 917 NEW BEST:: SOT 227448 SOS 166502 HAS SOPS 160115 HAS SOUS 66575 HAS SOUPS 64229 WITH SCORE 64395.502
AT ITER 932 NEW BEST:: SOT 227442 SOS 166496 HAS SOPS 160109 HAS SOUS 66575 HAS SOUPS 64229 WITH SCORE 64395.496
AT ITER 934 NEW BEST:: SOT 227393 SOS 166503 HAS SOPS 160046 HAS SOUS 66551 HAS SOUPS 64191 WITH SCORE 64357.503
AT ITER 938 NEW BEST:: SOT 227311 SOS 166501 HAS SOPS 160044 HAS SOUS 66549 HAS SOUPS 64189 WITH SCORE 64355.501
AT ITER 949 NEW BEST:: SOT 227150 SOS 166308 HAS SOPS 159851 HAS SOUS 66356 HAS SOUPS 63996 WITH SCORE 64162.308
AT ITER 951 NEW BEST:: SOT 227095 SOS 166253 HAS SOPS 159796 HAS SOUS 66304 HAS SOUPS 63944 WITH SCORE 64110.253
AT ITER 952 NEW BEST:: SOT 226994 SOS 166152 HAS SOPS 159695 HAS SOUS 66273 HAS SOUPS 63913 WITH SCORE 64079.152
AT ITER 958 NEW BEST:: SOT 227200 SOS 166130 HAS SOPS 159798 HAS SOUS 66233 HAS SOUPS 63873 WITH SCORE 64039.13
AT ITER 965 NEW BEST:: SOT 227081 SOS 165913 HAS SOPS 159581 HAS SOUS 66036 HAS SOUPS 63676 WITH SCORE 63841.913
AT ITER 971 NEW BEST:: SOT 227075 SOS 165901 HAS SOPS 159569 HAS SOUS 66030 HAS SOUPS 63670 WITH SCORE 63835.901
AT ITER 980 NEW BEST:: SOT 226994 SOS 165820 HAS SOPS 159488 HAS SOUS 65889 HAS SOUPS 63529 WITH SCORE 63694.82
AT ITER 982 NEW BEST:: SOT 226994 SOS 165820 HAS SOPS 159488 HAS SOUS 65881 HAS SOUPS 63521 WITH SCORE 63686.82
AT ITER 988 NEW BEST:: SOT 226938 SOS 165764 HAS SOPS 159432 HAS SOUS 65881 HAS SOUPS 63521 WITH SCORE 63686.764
AT ITER 993 NEW BEST:: SOT 226936 SOS 165860 HAS SOPS 159481 HAS SOUS 65639 HAS SOUPS 63281 WITH SCORE 63446.86
AT ITER 997 NEW BEST:: SOT 226948 SOS 165872 HAS SOPS 159493 HAS SOUS 65601 HAS SOUPS 63243 WITH SCORE 63408.872
AT ITER 1014 NEW BEST:: SOT 226826 SOS 165750 HAS SOPS 159371 HAS SOUS 65393 HAS SOUPS 63035 WITH SCORE 63200.75
AT ITER 1026 NEW BEST:: SOT 226779 SOS 165703 HAS SOPS 159324 HAS SOUS 65086 HAS SOUPS 62728 WITH SCORE 62893.703
AT ITER 1029 NEW BEST:: SOT 226744 SOS 165780 HAS SOPS 159401 HAS SOUS 65051 HAS SOUPS 62693 WITH SCORE 62858.78
AT ITER 1030 NEW BEST:: SOT 226744 SOS 165771 HAS SOPS 159240 HAS SOUS 64814 HAS SOUPS 62532 WITH SCORE 62697.771
AT ITER 1036 NEW BEST:: SOT 226746 SOS 165770 HAS SOPS 159239 HAS SOUS 64811 HAS SOUPS 62529 WITH SCORE 62694.77
AT ITER 1037 NEW BEST:: SOT 226721 SOS 165745 HAS SOPS 159214 HAS SOUS 64772 HAS SOUPS 62490 WITH SCORE 62655.745
AT ITER 1045 NEW BEST:: SOT 226658 SOS 165682 HAS SOPS 159151 HAS SOUS 64755 HAS SOUPS 62473 WITH SCORE 62638.682
AT ITER 1047 NEW BEST:: SOT 226388 SOS 165412 HAS SOPS 158881 HAS SOUS 64462 HAS SOUPS 62180 WITH SCORE 62345.412
AT ITER 1050 NEW BEST:: SOT 226388 SOS 165474 HAS SOPS 158943 HAS SOUS 64451 HAS SOUPS 62169 WITH SCORE 62334.474
AT ITER 1052 NEW BEST:: SOT 226391 SOS 165477 HAS SOPS 158946 HAS SOUS 64326 HAS SOUPS 62044 WITH SCORE 62209.477
AT ITER 1062 NEW BEST:: SOT 226342 SOS 165477 HAS SOPS 158946 HAS SOUS 64314 HAS SOUPS 62032 WITH SCORE 62197.477
AT ITER 1068 NEW BEST:: SOT 226399 SOS 165564 HAS SOPS 159033 HAS SOUS 64227 HAS SOUPS 61945 WITH SCORE 62110.564
AT ITER 1072 NEW BEST:: SOT 226295 SOS 165459 HAS SOPS 158928 HAS SOUS 64114 HAS SOUPS 61832 WITH SCORE 61997.459
AT ITER 1073 NEW BEST:: SOT 226038 SOS 166136 HAS SOPS 159605 HAS SOUS 64036 HAS SOUPS 61754 WITH SCORE 61920.136
AT ITER 1078 NEW BEST:: SOT 226025 SOS 166134 HAS SOPS 159616 HAS SOUS 64011 HAS SOUPS 61729 WITH SCORE 61895.134
AT ITER 1088 NEW BEST:: SOT 225709 SOS 165707 HAS SOPS 159189 HAS SOUS 63892 HAS SOUPS 61610 WITH SCORE 61775.707
AT ITER 1090 NEW BEST:: SOT 225697 SOS 165671 HAS SOPS 159153 HAS SOUS 63880 HAS SOUPS 61598 WITH SCORE 61763.671
AT ITER 1096 NEW BEST:: SOT 225643 SOS 165685 HAS SOPS 159045 HAS SOUS 63857 HAS SOUPS 61521 WITH SCORE 61686.685
AT ITER 1113 NEW BEST:: SOT 225495 SOS 165846 HAS SOPS 158961 HAS SOUS 63732 HAS SOUPS 61347 WITH SCORE 61512.846
AT ITER 1115 NEW BEST:: SOT 225500 SOS 165851 HAS SOPS 158966 HAS SOUS 63731 HAS SOUPS 61346 WITH SCORE 61511.851
AT ITER 1132 NEW BEST:: SOT 225500 SOS 165891 HAS SOPS 159006 HAS SOUS 63710 HAS SOUPS 61325 WITH SCORE 61490.891
AT ITER 1133 NEW BEST:: SOT 225488 SOS 165901 HAS SOPS 159016 HAS SOUS 63709 HAS SOUPS 61324 WITH SCORE 61489.901
AT ITER 1135 NEW BEST:: SOT 225461 SOS 165847 HAS SOPS 158962 HAS SOUS 63709 HAS SOUPS 61324 WITH SCORE 61489.847
AT ITER 1148 NEW BEST:: SOT 225460 SOS 165846 HAS SOPS 158961 HAS SOUS 63705 HAS SOUPS 61320 WITH SCORE 61485.846
AT ITER 1157 NEW BEST:: SOT 225395 SOS 165781 HAS SOPS 158896 HAS SOUS 63647 HAS SOUPS 61262 WITH SCORE 61427.781
AT ITER 1162 NEW BEST:: SOT 225283 SOS 165646 HAS SOPS 158761 HAS SOUS 63448 HAS SOUPS 61063 WITH SCORE 61228.646
AT ITER 1166 NEW BEST:: SOT 225168 SOS 165297 HAS SOPS 158412 HAS SOUS 63259 HAS SOUPS 60874 WITH SCORE 61039.297
AT ITER 1171 NEW BEST:: SOT 225168 SOS 165279 HAS SOPS 158394 HAS SOUS 63250 HAS SOUPS 60865 WITH SCORE 61030.279
AT ITER 1173 NEW BEST:: SOT 225168 SOS 165223 HAS SOPS 158338 HAS SOUS 63250 HAS SOUPS 60865 WITH SCORE 61030.223
AT ITER 1183 NEW BEST:: SOT 225327 SOS 165382 HAS SOPS 158497 HAS SOUS 63145 HAS SOUPS 60760 WITH SCORE 60925.382
AT ITER 1187 NEW BEST:: SOT 225315 SOS 165370 HAS SOPS 158485 HAS SOUS 63133 HAS SOUPS 60748 WITH SCORE 60913.37
AT ITER 1198 NEW BEST:: SOT 225171 SOS 164968 HAS SOPS 158083 HAS SOUS 62730 HAS SOUPS 60345 WITH SCORE 60509.968
AT ITER 1203 NEW BEST:: SOT 225154 SOS 164951 HAS SOPS 158066 HAS SOUS 62730 HAS SOUPS 60345 WITH SCORE 60509.951
AT ITER 1207 NEW BEST:: SOT 225179 SOS 165010 HAS SOPS 158125 HAS SOUS 62664 HAS SOUPS 60279 WITH SCORE 60444.01
AT ITER 1228 NEW BEST:: SOT 225145 SOS 164976 HAS SOPS 158074 HAS SOUS 62630 HAS SOUPS 60228 WITH SCORE 60392.976
AT ITER 1241 NEW BEST:: SOT 225135 SOS 164966 HAS SOPS 158064 HAS SOUS 62620 HAS SOUPS 60218 WITH SCORE 60382.966
AT ITER 1245 NEW BEST:: SOT 225123 SOS 164954 HAS SOPS 158052 HAS SOUS 62596 HAS SOUPS 60194 WITH SCORE 60358.954
AT ITER 1251 NEW BEST:: SOT 225071 SOS 164902 HAS SOPS 157948 HAS SOUS 62530 HAS SOUPS 60090 WITH SCORE 60254.902
AT ITER 1268 NEW BEST:: SOT 225071 SOS 164902 HAS SOPS 157948 HAS SOUS 62488 HAS SOUPS 60048 WITH SCORE 60212.902
AT ITER 1269 NEW BEST:: SOT 225101 SOS 162811 HAS SOPS 155857 HAS SOUS 62318 HAS SOUPS 59878 WITH SCORE 60040.811
AT ITER 1271 NEW BEST:: SOT 224903 SOS 162613 HAS SOPS 155659 HAS SOUS 61922 HAS SOUPS 59482 WITH SCORE 59644.613
AT ITER 1278 NEW BEST:: SOT 224891 SOS 162601 HAS SOPS 155647 HAS SOUS 61879 HAS SOUPS 59439 WITH SCORE 59601.601
AT ITER 1282 NEW BEST:: SOT 224891 SOS 162570 HAS SOPS 155616 HAS SOUS 61848 HAS SOUPS 59408 WITH SCORE 59570.57
AT ITER 1298 NEW BEST:: SOT 224712 SOS 162453 HAS SOPS 155437 HAS SOUS 61503 HAS SOUPS 59001 WITH SCORE 59163.453
AT ITER 1304 NEW BEST:: SOT 224605 SOS 162212 HAS SOPS 155038 HAS SOUS 61347 HAS SOUPS 58687 WITH SCORE 58849.212
AT ITER 1305 NEW BEST:: SOT 224539 SOS 162146 HAS SOPS 154972 HAS SOUS 61215 HAS SOUPS 58555 WITH SCORE 58717.146
AT ITER 1308 NEW BEST:: SOT 224539 SOS 162371 HAS SOPS 155122 HAS SOUS 61238 HAS SOUPS 58553 WITH SCORE 58715.371
AT ITER 1325 NEW BEST:: SOT 224699 SOS 163050 HAS SOPS 155282 HAS SOUS 61381 HAS SOUPS 58483 WITH SCORE 58646.05
AT ITER 1328 NEW BEST:: SOT 224551 SOS 162814 HAS SOPS 155046 HAS SOUS 61211 HAS SOUPS 58313 WITH SCORE 58475.814
AT ITER 1336 NEW BEST:: SOT 224551 SOS 162812 HAS SOPS 155044 HAS SOUS 61210 HAS SOUPS 58312 WITH SCORE 58474.812
AT ITER 1338 NEW BEST:: SOT 224573 SOS 162834 HAS SOPS 155066 HAS SOUS 61207 HAS SOUPS 58309 WITH SCORE 58471.834
AT ITER 1369 NEW BEST:: SOT 224489 SOS 162750 HAS SOPS 154940 HAS SOUS 61085 HAS SOUPS 58183 WITH SCORE 58345.75
AT ITER 1383 NEW BEST:: SOT 224471 SOS 162732 HAS SOPS 154922 HAS SOUS 61049 HAS SOUPS 58147 WITH SCORE 58309.732
AT ITER 1393 NEW BEST:: SOT 224504 SOS 162663 HAS SOPS 154853 HAS SOUS 61031 HAS SOUPS 58129 WITH SCORE 58291.663
AT ITER 1403 NEW BEST:: SOT 224504 SOS 162661 HAS SOPS 154851 HAS SOUS 61031 HAS SOUPS 58129 WITH SCORE 58291.661
AT ITER 1404 NEW BEST:: SOT 224462 SOS 162619 HAS SOPS 154767 HAS SOUS 60989 HAS SOUPS 58087 WITH SCORE 58249.619
AT ITER 1415 NEW BEST:: SOT 224462 SOS 162623 HAS SOPS 154771 HAS SOUS 60887 HAS SOUPS 57985 WITH SCORE 58147.623
AT ITER 1421 NEW BEST:: SOT 224350 SOS 162511 HAS SOPS 154659 HAS SOUS 60744 HAS SOUPS 57842 WITH SCORE 58004.511
AT ITER 1425 NEW BEST:: SOT 224496 SOS 162657 HAS SOPS 154805 HAS SOUS 60740 HAS SOUPS 57838 WITH SCORE 58000.657
AT ITER 1433 NEW BEST:: SOT 224483 SOS 162622 HAS SOPS 154822 HAS SOUS 60729 HAS SOUPS 57827 WITH SCORE 57989.622
AT ITER 1442 NEW BEST:: SOT 224483 SOS 162482 HAS SOPS 154662 HAS SOUS 60709 HAS SOUPS 57807 WITH SCORE 57969.482
AT ITER 1454 NEW BEST:: SOT 224494 SOS 162499 HAS SOPS 154679 HAS SOUS 60657 HAS SOUPS 57755 WITH SCORE 57917.499
AT ITER 1455 NEW BEST:: SOT 224489 SOS 162432 HAS SOPS 154612 HAS SOUS 60616 HAS SOUPS 57714 WITH SCORE 57876.432
AT ITER 1467 NEW BEST:: SOT 224496 SOS 162439 HAS SOPS 154619 HAS SOUS 60609 HAS SOUPS 57707 WITH SCORE 57869.439
AT ITER 1480 NEW BEST:: SOT 224456 SOS 162379 HAS SOPS 154559 HAS SOUS 60549 HAS SOUPS 57647 WITH SCORE 57809.379
AT ITER 1485 NEW BEST:: SOT 224631 SOS 162554 HAS SOPS 154734 HAS SOUS 60500 HAS SOUPS 57598 WITH SCORE 57760.554
AT ITER 1494 NEW BEST:: SOT 224689 SOS 162612 HAS SOPS 154792 HAS SOUS 60461 HAS SOUPS 57559 WITH SCORE 57721.612
AT ITER 1499 NEW BEST:: SOT 224695 SOS 162546 HAS SOPS 154782 HAS SOUS 60449 HAS SOUPS 57555 WITH SCORE 57717.546
AT ITER 1501 NEW BEST:: SOT 224494 SOS 162607 HAS SOPS 154843 HAS SOUS 60381 HAS SOUPS 57487 WITH SCORE 57649.607
AT ITER 1502 NEW BEST:: SOT 224464 SOS 162562 HAS SOPS 154798 HAS SOUS 60351 HAS SOUPS 57457 WITH SCORE 57619.562
AT ITER 1503 NEW BEST:: SOT 224516 SOS 162614 HAS SOPS 154850 HAS SOUS 60185 HAS SOUPS 57291 WITH SCORE 57453.614
AT ITER 1506 NEW BEST:: SOT 224226 SOS 162042 HAS SOPS 154278 HAS SOUS 59613 HAS SOUPS 56719 WITH SCORE 56881.042
AT ITER 1525 NEW BEST:: SOT 224217 SOS 162174 HAS SOPS 154124 HAS SOUS 59451 HAS SOUPS 56557 WITH SCORE 56719.174
AT ITER 1536 NEW BEST:: SOT 224266 SOS 162174 HAS SOPS 154124 HAS SOUS 59435 HAS SOUPS 56541 WITH SCORE 56703.174
AT ITER 1539 NEW BEST:: SOT 224176 SOS 162084 HAS SOPS 154034 HAS SOUS 59228 HAS SOUPS 56334 WITH SCORE 56496.084
AT ITER 1543 NEW BEST:: SOT 224126 SOS 162138 HAS SOPS 154088 HAS SOUS 58942 HAS SOUPS 56048 WITH SCORE 56210.138
AT ITER 1552 NEW BEST:: SOT 224124 SOS 161938 HAS SOPS 153888 HAS SOUS 58742 HAS SOUPS 55848 WITH SCORE 56009.938
AT ITER 1561 NEW BEST:: SOT 224074 SOS 161372 HAS SOPS 153322 HAS SOUS 58641 HAS SOUPS 55747 WITH SCORE 55908.372
AT ITER 1571 NEW BEST:: SOT 223994 SOS 161292 HAS SOPS 153242 HAS SOUS 58641 HAS SOUPS 55747 WITH SCORE 55908.292
AT ITER 1576 NEW BEST:: SOT 223994 SOS 161292 HAS SOPS 153242 HAS SOUS 58625 HAS SOUPS 55731 WITH SCORE 55892.292
AT ITER 1590 NEW BEST:: SOT 223970 SOS 161268 HAS SOPS 153218 HAS SOUS 58592 HAS SOUPS 55698 WITH SCORE 55859.268
AT ITER 1605 NEW BEST:: SOT 224016 SOS 161289 HAS SOPS 153239 HAS SOUS 58574 HAS SOUPS 55680 WITH SCORE 55841.289
AT ITER 1617 NEW BEST:: SOT 224016 SOS 161289 HAS SOPS 153239 HAS SOUS 58567 HAS SOUPS 55673 WITH SCORE 55834.289
AT ITER 1624 NEW BEST:: SOT 223953 SOS 161350 HAS SOPS 153300 HAS SOUS 58566 HAS SOUPS 55672 WITH SCORE 55833.35
AT ITER 1625 NEW BEST:: SOT 223953 SOS 161230 HAS SOPS 153180 HAS SOUS 58531 HAS SOUPS 55637 WITH SCORE 55798.23
AT ITER 1629 NEW BEST:: SOT 223852 SOS 156738 HAS SOPS 148688 HAS SOUS 58396 HAS SOUPS 55502 WITH SCORE 55658.738
AT ITER 1630 NEW BEST:: SOT 223669 SOS 156457 HAS SOPS 148786 HAS SOUS 58114 HAS SOUPS 55359 WITH SCORE 55515.457
AT ITER 1632 NEW BEST:: SOT 223475 SOS 156263 HAS SOPS 148592 HAS SOUS 58070 HAS SOUPS 55315 WITH SCORE 55471.263
AT ITER 1641 NEW BEST:: SOT 223455 SOS 156243 HAS SOPS 148532 HAS SOUS 58050 HAS SOUPS 55295 WITH SCORE 55451.243
AT ITER 1642 NEW BEST:: SOT 223287 SOS 156075 HAS SOPS 148364 HAS SOUS 57988 HAS SOUPS 55233 WITH SCORE 55389.075
AT ITER 1646 NEW BEST:: SOT 223234 SOS 155986 HAS SOPS 148275 HAS SOUS 57879 HAS SOUPS 55124 WITH SCORE 55279.986
AT ITER 1648 NEW BEST:: SOT 223066 SOS 155835 HAS SOPS 148150 HAS SOUS 57660 HAS SOUPS 54931 WITH SCORE 55086.835
AT ITER 1655 NEW BEST:: SOT 223052 SOS 155821 HAS SOPS 148136 HAS SOUS 57586 HAS SOUPS 54857 WITH SCORE 55012.821
AT ITER 1681 NEW BEST:: SOT 222988 SOS 155789 HAS SOPS 148104 HAS SOUS 57570 HAS SOUPS 54841 WITH SCORE 54996.789
AT ITER 1695 NEW BEST:: SOT 222980 SOS 155773 HAS SOPS 148088 HAS SOUS 57570 HAS SOUPS 54841 WITH SCORE 54996.773
AT ITER 1701 NEW BEST:: SOT 222980 SOS 155763 HAS SOPS 148078 HAS SOUS 57570 HAS SOUPS 54841 WITH SCORE 54996.763
AT ITER 1702 NEW BEST:: SOT 222980 SOS 155763 HAS SOPS 148078 HAS SOUS 57569 HAS SOUPS 54840 WITH SCORE 54995.763
AT ITER 1709 NEW BEST:: SOT 223118 SOS 155965 HAS SOPS 148308 HAS SOUS 57509 HAS SOUPS 54808 WITH SCORE 54963.965
AT ITER 1712 NEW BEST:: SOT 222977 SOS 155824 HAS SOPS 148167 HAS SOUS 57350 HAS SOUPS 54649 WITH SCORE 54804.824
AT ITER 1720 NEW BEST:: SOT 222995 SOS 155842 HAS SOPS 148185 HAS SOUS 57335 HAS SOUPS 54634 WITH SCORE 54789.842
AT ITER 1746 NEW BEST:: SOT 223118 SOS 155965 HAS SOPS 148308 HAS SOUS 57261 HAS SOUPS 54560 WITH SCORE 54715.965
AT ITER 1755 NEW BEST:: SOT 223118 SOS 155892 HAS SOPS 148235 HAS SOUS 57261 HAS SOUPS 54560 WITH SCORE 54715.892
AT ITER 1762 NEW BEST:: SOT 223049 SOS 155959 HAS SOPS 148302 HAS SOUS 57211 HAS SOUPS 54510 WITH SCORE 54665.959
AT ITER 1781 NEW BEST:: SOT 223052 SOS 155962 HAS SOPS 148110 HAS SOUS 57152 HAS SOUPS 54386 WITH SCORE 54541.962
AT ITER 1798 NEW BEST:: SOT 223052 SOS 155754 HAS SOPS 147902 HAS SOUS 57152 HAS SOUPS 54386 WITH SCORE 54541.754
AT ITER 1800 NEW BEST:: SOT 223052 SOS 155714 HAS SOPS 147862 HAS SOUS 57128 HAS SOUPS 54362 WITH SCORE 54517.714
AT ITER 1811 NEW BEST:: SOT 223080 SOS 155462 HAS SOPS 147750 HAS SOUS 57044 HAS SOUPS 54306 WITH SCORE 54461.462
AT ITER 1839 NEW BEST:: SOT 222984 SOS 155366 HAS SOPS 147558 HAS SOUS 56948 HAS SOUPS 54210 WITH SCORE 54365.366
AT ITER 1842 NEW BEST:: SOT 222983 SOS 155363 HAS SOPS 147555 HAS SOUS 56948 HAS SOUPS 54210 WITH SCORE 54365.363
AT ITER 1843 NEW BEST:: SOT 222566 SOS 154745 HAS SOPS 146800 HAS SOUS 56933 HAS SOUPS 54195 WITH SCORE 54349.745
AT ITER 1854 NEW BEST:: SOT 222536 SOS 154708 HAS SOPS 146755 HAS SOUS 56926 HAS SOUPS 54180 WITH SCORE 54334.708
AT ITER 1855 NEW BEST:: SOT 222492 SOS 154664 HAS SOPS 146711 HAS SOUS 56904 HAS SOUPS 54158 WITH SCORE 54312.664
AT ITER 1856 NEW BEST:: SOT 222477 SOS 154649 HAS SOPS 146696 HAS SOUS 56885 HAS SOUPS 54139 WITH SCORE 54293.649
AT ITER 1857 NEW BEST:: SOT 222427 SOS 155147 HAS SOPS 147194 HAS SOUS 56834 HAS SOUPS 54088 WITH SCORE 54243.147
AT ITER 1870 NEW BEST:: SOT 222171 SOS 154535 HAS SOPS 146572 HAS SOUS 56474 HAS SOUPS 53728 WITH SCORE 53882.535
AT ITER 1877 NEW BEST:: SOT 222102 SOS 154544 HAS SOPS 146581 HAS SOUS 56444 HAS SOUPS 53698 WITH SCORE 53852.544
AT ITER 1878 NEW BEST:: SOT 222064 SOS 154498 HAS SOPS 146543 HAS SOUS 56398 HAS SOUPS 53660 WITH SCORE 53814.498
AT ITER 1881 NEW BEST:: SOT 222042 SOS 154476 HAS SOPS 146521 HAS SOUS 56387 HAS SOUPS 53649 WITH SCORE 53803.476
AT ITER 1889 NEW BEST:: SOT 222042 SOS 154322 HAS SOPS 146367 HAS SOUS 56387 HAS SOUPS 53649 WITH SCORE 53803.322
AT ITER 1897 NEW BEST:: SOT 222036 SOS 154316 HAS SOPS 146361 HAS SOUS 56381 HAS SOUPS 53643 WITH SCORE 53797.316
AT ITER 1900 NEW BEST:: SOT 222036 SOS 154001 HAS SOPS 146046 HAS SOUS 56376 HAS SOUPS 53638 WITH SCORE 53792.001
AT ITER 1901 NEW BEST:: SOT 222034 SOS 153995 HAS SOPS 146040 HAS SOUS 56371 HAS SOUPS 53633 WITH SCORE 53786.995
AT ITER 1902 NEW BEST:: SOT 221906 SOS 153867 HAS SOPS 145912 HAS SOUS 56309 HAS SOUPS 53571 WITH SCORE 53724.867
AT ITER 1910 NEW BEST:: SOT 221824 SOS 153783 HAS SOPS 145828 HAS SOUS 56270 HAS SOUPS 53532 WITH SCORE 53685.783
AT ITER 1914 NEW BEST:: SOT 221816 SOS 153775 HAS SOPS 145812 HAS SOUS 56267 HAS SOUPS 53529 WITH SCORE 53682.775
AT ITER 1921 NEW BEST:: SOT 221815 SOS 152984 HAS SOPS 145021 HAS SOUS 56217 HAS SOUPS 53479 WITH SCORE 53631.984
AT ITER 1924 NEW BEST:: SOT 221812 SOS 152972 HAS SOPS 145012 HAS SOUS 56205 HAS SOUPS 53470 WITH SCORE 53622.972
AT ITER 1929 NEW BEST:: SOT 221810 SOS 152970 HAS SOPS 145010 HAS SOUS 56201 HAS SOUPS 53466 WITH SCORE 53618.97
AT ITER 1937 NEW BEST:: SOT 221723 SOS 152908 HAS SOPS 144948 HAS SOUS 56201 HAS SOUPS 53466 WITH SCORE 53618.908
AT ITER 1942 NEW BEST:: SOT 221737 SOS 152924 HAS SOPS 144938 HAS SOUS 56217 HAS SOUPS 53456 WITH SCORE 53608.924
AT ITER 1947 NEW BEST:: SOT 221733 SOS 152761 HAS SOPS 144361 HAS SOUS 56183 HAS SOUPS 53422 WITH SCORE 53574.761
AT ITER 1952 NEW BEST:: SOT 221733 SOS 152625 HAS SOPS 144225 HAS SOUS 56138 HAS SOUPS 53377 WITH SCORE 53529.625
AT ITER 1965 NEW BEST:: SOT 221727 SOS 152619 HAS SOPS 144219 HAS SOUS 56126 HAS SOUPS 53365 WITH SCORE 53517.619
AT ITER 1967 NEW BEST:: SOT 221722 SOS 152604 HAS SOPS 144204 HAS SOUS 56121 HAS SOUPS 53360 WITH SCORE 53512.604
AT ITER 1968 NEW BEST:: SOT 221648 SOS 152530 HAS SOPS 144130 HAS SOUS 56091 HAS SOUPS 53330 WITH SCORE 53482.53
AT ITER 1969 NEW BEST:: SOT 221648 SOS 152524 HAS SOPS 144124 HAS SOUS 56091 HAS SOUPS 53330 WITH SCORE 53482.524
AT ITER 1971 NEW BEST:: SOT 221754 SOS 152633 HAS SOPS 144236 HAS SOUS 56057 HAS SOUPS 53296 WITH SCORE 53448.633
AT ITER 1981 NEW BEST:: SOT 221778 SOS 152661 HAS SOPS 144264 HAS SOUS 56030 HAS SOUPS 53269 WITH SCORE 53421.661
AT ITER 1987 NEW BEST:: SOT 221838 SOS 152764 HAS SOPS 144367 HAS SOUS 56004 HAS SOUPS 53243 WITH SCORE 53395.764
AT ITER 1992 NEW BEST:: SOT 221798 SOS 152597 HAS SOPS 144200 HAS SOUS 55915 HAS SOUPS 53154 WITH SCORE 53306.597
AT ITER 1999 NEW BEST:: SOT 221845 SOS 152644 HAS SOPS 144247 HAS SOUS 55900 HAS SOUPS 53139 WITH SCORE 53291.644
AT ITER 2000 NEW BEST:: SOT 221831 SOS 152574 HAS SOPS 144177 HAS SOUS 55886 HAS SOUPS 53125 WITH SCORE 53277.574
AT ITER 2005 NEW BEST:: SOT 221932 SOS 152675 HAS SOPS 144278 HAS SOUS 55883 HAS SOUPS 53122 WITH SCORE 53274.675
AT ITER 2009 NEW BEST:: SOT 221932 SOS 152673 HAS SOPS 144276 HAS SOUS 55882 HAS SOUPS 53121 WITH SCORE 53273.673
AT ITER 2014 NEW BEST:: SOT 221905 SOS 152619 HAS SOPS 144222 HAS SOUS 55828 HAS SOUPS 53067 WITH SCORE 53219.619
AT ITER 2015 NEW BEST:: SOT 221905 SOS 152619 HAS SOPS 144195 HAS SOUS 55828 HAS SOUPS 53058 WITH SCORE 53210.619
AT ITER 2023 NEW BEST:: SOT 221893 SOS 152559 HAS SOPS 144135 HAS SOUS 55804 HAS SOUPS 53034 WITH SCORE 53186.559
AT ITER 2026 NEW BEST:: SOT 221857 SOS 152523 HAS SOPS 144099 HAS SOUS 55756 HAS SOUPS 52986 WITH SCORE 53138.523
AT ITER 2028 NEW BEST:: SOT 222017 SOS 152453 HAS SOPS 144029 HAS SOUS 55756 HAS SOUPS 52986 WITH SCORE 53138.453
AT ITER 2032 NEW BEST:: SOT 221894 SOS 152330 HAS SOPS 143906 HAS SOUS 55651 HAS SOUPS 52881 WITH SCORE 53033.33
AT ITER 2043 NEW BEST:: SOT 221866 SOS 152294 HAS SOPS 143870 HAS SOUS 55623 HAS SOUPS 52853 WITH SCORE 53005.294
AT ITER 2044 NEW BEST:: SOT 221819 SOS 152327 HAS SOPS 143903 HAS SOUS 55603 HAS SOUPS 52833 WITH SCORE 52985.327
AT ITER 2047 NEW BEST:: SOT 221765 SOS 152273 HAS SOPS 143849 HAS SOUS 55521 HAS SOUPS 52751 WITH SCORE 52903.273
AT ITER 2048 NEW BEST:: SOT 221571 SOS 151958 HAS SOPS 143413 HAS SOUS 55453 HAS SOUPS 52683 WITH SCORE 52834.958
AT ITER 2056 NEW BEST:: SOT 219844 SOS 150231 HAS SOPS 141686 HAS SOUS 53620 HAS SOUPS 50850 WITH SCORE 51000.231
AT ITER 2060 NEW BEST:: SOT 219924 SOS 150339 HAS SOPS 141794 HAS SOUS 53617 HAS SOUPS 50847 WITH SCORE 50997.339
AT ITER 2061 NEW BEST:: SOT 219938 SOS 149671 HAS SOPS 141126 HAS SOUS 53600 HAS SOUPS 50830 WITH SCORE 50979.671
AT ITER 2064 NEW BEST:: SOT 219898 SOS 149633 HAS SOPS 141088 HAS SOUS 53516 HAS SOUPS 50746 WITH SCORE 50895.633
AT ITER 2071 NEW BEST:: SOT 219850 SOS 149557 HAS SOPS 141012 HAS SOUS 53375 HAS SOUPS 50605 WITH SCORE 50754.557
AT ITER 2085 NEW BEST:: SOT 219880 SOS 149587 HAS SOPS 141042 HAS SOUS 53357 HAS SOUPS 50587 WITH SCORE 50736.587
AT ITER 2100 NEW BEST:: SOT 219789 SOS 149535 HAS SOPS 140990 HAS SOUS 53357 HAS SOUPS 50587 WITH SCORE 50736.535
AT ITER 2118 NEW BEST:: SOT 219793 SOS 149539 HAS SOPS 140994 HAS SOUS 53338 HAS SOUPS 50568 WITH SCORE 50717.539
AT ITER 2123 NEW BEST:: SOT 219857 SOS 147497 HAS SOPS 138952 HAS SOUS 53330 HAS SOUPS 50560 WITH SCORE 50707.497
AT ITER 2134 NEW BEST:: SOT 219760 SOS 147400 HAS SOPS 138855 HAS SOUS 53241 HAS SOUPS 50471 WITH SCORE 50618.4
AT ITER 2135 NEW BEST:: SOT 219660 SOS 147028 HAS SOPS 138483 HAS SOUS 52903 HAS SOUPS 50133 WITH SCORE 50280.028
AT ITER 2145 NEW BEST:: SOT 219660 SOS 146984 HAS SOPS 138439 HAS SOUS 52853 HAS SOUPS 50083 WITH SCORE 50229.984
AT ITER 2169 NEW BEST:: SOT 219660 SOS 146984 HAS SOPS 138439 HAS SOUS 52852 HAS SOUPS 50082 WITH SCORE 50228.984
AT ITER 2184 NEW BEST:: SOT 219637 SOS 146961 HAS SOPS 138416 HAS SOUS 52809 HAS SOUPS 50039 WITH SCORE 50185.961
AT ITER 2191 NEW BEST:: SOT 219621 SOS 146945 HAS SOPS 138400 HAS SOUS 52772 HAS SOUPS 50002 WITH SCORE 50148.945
AT ITER 2192 NEW BEST:: SOT 219474 SOS 146751 HAS SOPS 138206 HAS SOUS 52680 HAS SOUPS 49910 WITH SCORE 50056.751
AT ITER 2194 NEW BEST:: SOT 219472 SOS 146749 HAS SOPS 138204 HAS SOUS 52674 HAS SOUPS 49904 WITH SCORE 50050.749
AT ITER 2196 NEW BEST:: SOT 219472 SOS 146733 HAS SOPS 138188 HAS SOUS 52672 HAS SOUPS 49902 WITH SCORE 50048.733
AT ITER 2201 NEW BEST:: SOT 219368 SOS 146689 HAS SOPS 138144 HAS SOUS 52473 HAS SOUPS 49703 WITH SCORE 49849.689
AT ITER 2203 NEW BEST:: SOT 219351 SOS 146672 HAS SOPS 138127 HAS SOUS 52473 HAS SOUPS 49703 WITH SCORE 49849.672
AT ITER 2210 NEW BEST:: SOT 219289 SOS 146424 HAS SOPS 137879 HAS SOUS 52318 HAS SOUPS 49548 WITH SCORE 49694.424
AT ITER 2217 NEW BEST:: SOT 219289 SOS 146422 HAS SOPS 137877 HAS SOUS 52317 HAS SOUPS 49547 WITH SCORE 49693.422
AT ITER 2222 NEW BEST:: SOT 219243 SOS 146482 HAS SOPS 137937 HAS SOUS 52278 HAS SOUPS 49508 WITH SCORE 49654.482
AT ITER 2226 NEW BEST:: SOT 219269 SOS 146456 HAS SOPS 137911 HAS SOUS 52278 HAS SOUPS 49508 WITH SCORE 49654.456
AT ITER 2243 NEW BEST:: SOT 219148 SOS 146304 HAS SOPS 137684 HAS SOUS 52115 HAS SOUPS 49345 WITH SCORE 49491.304
AT ITER 2260 NEW BEST:: SOT 219132 SOS 146147 HAS SOPS 137725 HAS SOUS 51945 HAS SOUPS 49274 WITH SCORE 49420.147
AT ITER 2263 NEW BEST:: SOT 219166 SOS 146181 HAS SOPS 137759 HAS SOUS 51905 HAS SOUPS 49234 WITH SCORE 49380.181
AT ITER 2269 NEW BEST:: SOT 219150 SOS 146165 HAS SOPS 137743 HAS SOUS 51889 HAS SOUPS 49218 WITH SCORE 49364.165
AT ITER 2270 NEW BEST:: SOT 219115 SOS 146130 HAS SOPS 137708 HAS SOUS 51889 HAS SOUPS 49218 WITH SCORE 49364.13
AT ITER 2292 NEW BEST:: SOT 219115 SOS 146124 HAS SOPS 137702 HAS SOUS 51883 HAS SOUPS 49212 WITH SCORE 49358.124
AT ITER 2293 NEW BEST:: SOT 219072 SOS 146081 HAS SOPS 137659 HAS SOUS 51822 HAS SOUPS 49151 WITH SCORE 49297.081
AT ITER 2296 NEW BEST:: SOT 219072 SOS 146079 HAS SOPS 137657 HAS SOUS 51822 HAS SOUPS 49151 WITH SCORE 49297.079
AT ITER 2314 NEW BEST:: SOT 218987 SOS 146279 HAS SOPS 137572 HAS SOUS 51634 HAS SOUPS 48868 WITH SCORE 49014.279
AT ITER 2315 NEW BEST:: SOT 218987 SOS 146321 HAS SOPS 137614 HAS SOUS 51630 HAS SOUPS 48864 WITH SCORE 49010.321
AT ITER 2318 NEW BEST:: SOT 218960 SOS 146242 HAS SOPS 137483 HAS SOUS 51572 HAS SOUPS 48806 WITH SCORE 48952.242
AT ITER 2319 NEW BEST:: SOT 219026 SOS 146308 HAS SOPS 137549 HAS SOUS 51530 HAS SOUPS 48764 WITH SCORE 48910.308
AT ITER 2338 NEW BEST:: SOT 219037 SOS 146330 HAS SOPS 137582 HAS SOUS 51519 HAS SOUPS 48753 WITH SCORE 48899.33
AT ITER 2342 NEW BEST:: SOT 219074 SOS 146367 HAS SOPS 137619 HAS SOUS 51402 HAS SOUPS 48636 WITH SCORE 48782.367
AT ITER 2344 NEW BEST:: SOT 218887 SOS 146221 HAS SOPS 137548 HAS SOUS 51216 HAS SOUPS 48525 WITH SCORE 48671.221
AT ITER 2348 NEW BEST:: SOT 218920 SOS 146254 HAS SOPS 137581 HAS SOUS 51212 HAS SOUPS 48521 WITH SCORE 48667.254
AT ITER 2349 NEW BEST:: SOT 218920 SOS 146274 HAS SOPS 137541 HAS SOUS 51212 HAS SOUPS 48501 WITH SCORE 48647.274
AT ITER 2361 NEW BEST:: SOT 218951 SOS 146305 HAS SOPS 137572 HAS SOUS 51211 HAS SOUPS 48500 WITH SCORE 48646.305
AT ITER 2370 NEW BEST:: SOT 218945 SOS 146349 HAS SOPS 137616 HAS SOUS 51199 HAS SOUPS 48488 WITH SCORE 48634.349
AT ITER 2384 NEW BEST:: SOT 218946 SOS 146350 HAS SOPS 137617 HAS SOUS 51193 HAS SOUPS 48482 WITH SCORE 48628.35
AT ITER 2389 NEW BEST:: SOT 218946 SOS 146350 HAS SOPS 137617 HAS SOUS 51139 HAS SOUPS 48428 WITH SCORE 48574.35
AT ITER 2395 NEW BEST:: SOT 218784 SOS 146151 HAS SOPS 137418 HAS SOUS 51058 HAS SOUPS 48347 WITH SCORE 48493.151
AT ITER 2399 NEW BEST:: SOT 218658 SOS 146097 HAS SOPS 137364 HAS SOUS 51022 HAS SOUPS 48311 WITH SCORE 48457.097
AT ITER 2400 NEW BEST:: SOT 218604 SOS 146070 HAS SOPS 137364 HAS SOUS 50943 HAS SOUPS 48257 WITH SCORE 48403.07
AT ITER 2405 NEW BEST:: SOT 218604 SOS 146036 HAS SOPS 137330 HAS SOUS 50909 HAS SOUPS 48223 WITH SCORE 48369.036
AT ITER 2407 NEW BEST:: SOT 218600 SOS 145971 HAS SOPS 137265 HAS SOUS 50905 HAS SOUPS 48219 WITH SCORE 48364.971
AT ITER 2408 NEW BEST:: SOT 218605 SOS 145976 HAS SOPS 137270 HAS SOUS 50900 HAS SOUPS 48214 WITH SCORE 48359.976
AT ITER 2413 NEW BEST:: SOT 218533 SOS 146120 HAS SOPS 137264 HAS SOUS 50918 HAS SOUPS 48202 WITH SCORE 48348.12
AT ITER 2417 NEW BEST:: SOT 218522 SOS 146168 HAS SOPS 137312 HAS SOUS 50896 HAS SOUPS 48180 WITH SCORE 48326.168
AT ITER 2421 NEW BEST:: SOT 218495 SOS 146127 HAS SOPS 137271 HAS SOUS 50855 HAS SOUPS 48139 WITH SCORE 48285.127
AT ITER 2429 NEW BEST:: SOT 218463 SOS 146095 HAS SOPS 137239 HAS SOUS 50755 HAS SOUPS 48039 WITH SCORE 48185.095
AT ITER 2434 NEW BEST:: SOT 218463 SOS 146083 HAS SOPS 137227 HAS SOUS 50755 HAS SOUPS 48039 WITH SCORE 48185.083
AT ITER 2435 NEW BEST:: SOT 218476 SOS 146070 HAS SOPS 137214 HAS SOUS 50743 HAS SOUPS 48027 WITH SCORE 48173.07
AT ITER 2436 NEW BEST:: SOT 218483 SOS 146077 HAS SOPS 137221 HAS SOUS 50637 HAS SOUPS 47921 WITH SCORE 48067.077
AT ITER 2438 NEW BEST:: SOT 218479 SOS 146193 HAS SOPS 137337 HAS SOUS 50607 HAS SOUPS 47891 WITH SCORE 48037.193
AT ITER 2439 NEW BEST:: SOT 218479 SOS 146193 HAS SOPS 137337 HAS SOUS 50523 HAS SOUPS 47807 WITH SCORE 47953.193
AT ITER 2446 NEW BEST:: SOT 218475 SOS 146189 HAS SOPS 137333 HAS SOUS 50523 HAS SOUPS 47807 WITH SCORE 47953.189
AT ITER 2448 NEW BEST:: SOT 218508 SOS 146222 HAS SOPS 137366 HAS SOUS 50517 HAS SOUPS 47801 WITH SCORE 47947.222
AT ITER 2456 NEW BEST:: SOT 218463 SOS 146177 HAS SOPS 137321 HAS SOUS 50419 HAS SOUPS 47703 WITH SCORE 47849.177
AT ITER 2466 NEW BEST:: SOT 218414 SOS 146128 HAS SOPS 137272 HAS SOUS 50305 HAS SOUPS 47589 WITH SCORE 47735.128
AT ITER 2515 NEW BEST:: SOT 218383 SOS 146076 HAS SOPS 137179 HAS SOUS 50234 HAS SOUPS 47508 WITH SCORE 47654.076
AT ITER 2529 NEW BEST:: SOT 218383 SOS 146054 HAS SOPS 137157 HAS SOUS 50223 HAS SOUPS 47497 WITH SCORE 47643.054
AT ITER 2537 NEW BEST:: SOT 218354 SOS 146017 HAS SOPS 137120 HAS SOUS 50194 HAS SOUPS 47468 WITH SCORE 47614.017
AT ITER 2541 NEW BEST:: SOT 218399 SOS 146035 HAS SOPS 136866 HAS SOUS 50228 HAS SOUPS 47412 WITH SCORE 47558.035
AT ITER 2544 NEW BEST:: SOT 218357 SOS 145993 HAS SOPS 136824 HAS SOUS 50154 HAS SOUPS 47338 WITH SCORE 47483.993
AT ITER 2545 NEW BEST:: SOT 218414 SOS 145938 HAS SOPS 136769 HAS SOUS 50099 HAS SOUPS 47283 WITH SCORE 47428.938
AT ITER 2551 NEW BEST:: SOT 218412 SOS 145935 HAS SOPS 136766 HAS SOUS 50096 HAS SOUPS 47280 WITH SCORE 47425.935
AT ITER 2561 NEW BEST:: SOT 218540 SOS 145984 HAS SOPS 136578 HAS SOUS 49908 HAS SOUPS 47092 WITH SCORE 47237.984
AT ITER 2563 NEW BEST:: SOT 218530 SOS 145974 HAS SOPS 136558 HAS SOUS 49898 HAS SOUPS 47082 WITH SCORE 47227.974
AT ITER 2569 NEW BEST:: SOT 218530 SOS 145937 HAS SOPS 136521 HAS SOUS 49898 HAS SOUPS 47082 WITH SCORE 47227.937
AT ITER 2587 NEW BEST:: SOT 218508 SOS 145915 HAS SOPS 136499 HAS SOUS 49726 HAS SOUPS 46910 WITH SCORE 47055.915
AT ITER 2594 NEW BEST:: SOT 218462 SOS 145869 HAS SOPS 136407 HAS SOUS 49693 HAS SOUPS 46858 WITH SCORE 47003.869
AT ITER 2612 NEW BEST:: SOT 218484 SOS 145932 HAS SOPS 136385 HAS SOUS 49696 HAS SOUPS 46839 WITH SCORE 46984.932
AT ITER 2630 NEW BEST:: SOT 218483 SOS 145931 HAS SOPS 136385 HAS SOUS 49694 HAS SOUPS 46838 WITH SCORE 46983.931
AT ITER 2633 NEW BEST:: SOT 218377 SOS 145693 HAS SOPS 136147 HAS SOUS 49510 HAS SOUPS 46654 WITH SCORE 46799.693
AT ITER 2646 NEW BEST:: SOT 218219 SOS 145991 HAS SOPS 136445 HAS SOUS 49365 HAS SOUPS 46509 WITH SCORE 46654.991
AT ITER 2650 NEW BEST:: SOT 218386 SOS 146158 HAS SOPS 136612 HAS SOUS 49283 HAS SOUPS 46427 WITH SCORE 46573.158
AT ITER 2658 NEW BEST:: SOT 217532 SOS 147538 HAS SOPS 138011 HAS SOUS 48580 HAS SOUPS 45724 WITH SCORE 45871.538
AT ITER 2670 NEW BEST:: SOT 217508 SOS 147514 HAS SOPS 137987 HAS SOUS 48555 HAS SOUPS 45699 WITH SCORE 45846.514
AT ITER 2671 NEW BEST:: SOT 217561 SOS 147567 HAS SOPS 138040 HAS SOUS 48433 HAS SOUPS 45577 WITH SCORE 45724.567
AT ITER 2711 NEW BEST:: SOT 217328 SOS 147504 HAS SOPS 138137 HAS SOUS 48094 HAS SOUPS 45318 WITH SCORE 45465.504
AT ITER 2713 NEW BEST:: SOT 217272 SOS 147308 HAS SOPS 137941 HAS SOUS 47982 HAS SOUPS 45206 WITH SCORE 45353.308
AT ITER 2723 NEW BEST:: SOT 217251 SOS 147287 HAS SOPS 137920 HAS SOUS 47894 HAS SOUPS 45118 WITH SCORE 45265.287
AT ITER 2725 NEW BEST:: SOT 217251 SOS 147229 HAS SOPS 137862 HAS SOUS 47865 HAS SOUPS 45089 WITH SCORE 45236.229
AT ITER 2746 NEW BEST:: SOT 217251 SOS 147216 HAS SOPS 137820 HAS SOUS 47844 HAS SOUPS 45039 WITH SCORE 45186.216
AT ITER 2747 NEW BEST:: SOT 217251 SOS 147216 HAS SOPS 137820 HAS SOUS 47830 HAS SOUPS 45025 WITH SCORE 45172.216
AT ITER 2759 NEW BEST:: SOT 217251 SOS 147203 HAS SOPS 137750 HAS SOUS 47782 HAS SOUPS 44955 WITH SCORE 45102.203
AT ITER 2762 NEW BEST:: SOT 217157 SOS 147051 HAS SOPS 137598 HAS SOUS 47688 HAS SOUPS 44861 WITH SCORE 45008.051
AT ITER 2782 NEW BEST:: SOT 217144 SOS 147032 HAS SOPS 137579 HAS SOUS 47676 HAS SOUPS 44849 WITH SCORE 44996.032
AT ITER 2787 NEW BEST:: SOT 217144 SOS 147050 HAS SOPS 137597 HAS SOUS 47660 HAS SOUPS 44833 WITH SCORE 44980.05
AT ITER 2811 NEW BEST:: SOT 217110 SOS 147016 HAS SOPS 137563 HAS SOUS 47626 HAS SOUPS 44799 WITH SCORE 44946.016
AT ITER 2832 NEW BEST:: SOT 217098 SOS 147004 HAS SOPS 137551 HAS SOUS 47602 HAS SOUPS 44775 WITH SCORE 44922.004
AT ITER 2833 NEW BEST:: SOT 216924 SOS 147089 HAS SOPS 137636 HAS SOUS 47350 HAS SOUPS 44523 WITH SCORE 44670.089
AT ITER 2841 NEW BEST:: SOT 216920 SOS 146634 HAS SOPS 137105 HAS SOUS 47347 HAS SOUPS 44520 WITH SCORE 44666.634
AT ITER 2848 NEW BEST:: SOT 216891 SOS 146602 HAS SOPS 137070 HAS SOUS 47315 HAS SOUPS 44485 WITH SCORE 44631.602
AT ITER 2849 NEW BEST:: SOT 216891 SOS 146564 HAS SOPS 137032 HAS SOUS 47315 HAS SOUPS 44485 WITH SCORE 44631.564
AT ITER 2861 NEW BEST:: SOT 216891 SOS 146564 HAS SOPS 137032 HAS SOUS 47309 HAS SOUPS 44479 WITH SCORE 44625.564
AT ITER 2867 NEW BEST:: SOT 216944 SOS 146617 HAS SOPS 137085 HAS SOUS 47307 HAS SOUPS 44477 WITH SCORE 44623.617
AT ITER 2870 NEW BEST:: SOT 216917 SOS 146590 HAS SOPS 137058 HAS SOUS 47239 HAS SOUPS 44409 WITH SCORE 44555.59
AT ITER 2896 NEW BEST:: SOT 216917 SOS 146354 HAS SOPS 136822 HAS SOUS 47121 HAS SOUPS 44291 WITH SCORE 44437.354
AT ITER 2899 NEW BEST:: SOT 216908 SOS 146345 HAS SOPS 136813 HAS SOUS 47033 HAS SOUPS 44203 WITH SCORE 44349.345
AT ITER 2905 NEW BEST:: SOT 216866 SOS 146303 HAS SOPS 136771 HAS SOUS 46903 HAS SOUPS 44073 WITH SCORE 44219.303
AT ITER 2917 NEW BEST:: SOT 216813 SOS 146960 HAS SOPS 137428 HAS SOUS 46850 HAS SOUPS 44020 WITH SCORE 44166.96
AT ITER 2931 NEW BEST:: SOT 216980 SOS 147138 HAS SOPS 137606 HAS SOUS 46820 HAS SOUPS 43990 WITH SCORE 44137.138
AT ITER 2932 NEW BEST:: SOT 216980 SOS 147138 HAS SOPS 137606 HAS SOUS 46752 HAS SOUPS 43922 WITH SCORE 44069.138
AT ITER 2936 NEW BEST:: SOT 216951 SOS 147109 HAS SOPS 137577 HAS SOUS 46723 HAS SOUPS 43893 WITH SCORE 44040.109
AT ITER 2942 NEW BEST:: SOT 216946 SOS 147104 HAS SOPS 137572 HAS SOUS 46707 HAS SOUPS 43877 WITH SCORE 44024.104
AT ITER 2945 NEW BEST:: SOT 217092 SOS 146413 HAS SOPS 136662 HAS SOUS 46780 HAS SOUPS 43877 WITH SCORE 44023.413
AT ITER 2950 NEW BEST:: SOT 217088 SOS 146409 HAS SOPS 136658 HAS SOUS 46772 HAS SOUPS 43869 WITH SCORE 44015.409
AT ITER 2957 NEW BEST:: SOT 217104 SOS 146425 HAS SOPS 136674 HAS SOUS 46767 HAS SOUPS 43864 WITH SCORE 44010.425
AT ITER 2963 NEW BEST:: SOT 217117 SOS 146451 HAS SOPS 136700 HAS SOUS 46754 HAS SOUPS 43851 WITH SCORE 43997.451
AT ITER 2966 NEW BEST:: SOT 217063 SOS 146397 HAS SOPS 136646 HAS SOUS 46646 HAS SOUPS 43743 WITH SCORE 43889.397
AT ITER 2995 NEW BEST:: SOT 217050 SOS 146382 HAS SOPS 136618 HAS SOUS 46620 HAS SOUPS 43704 WITH SCORE 43850.382
AT ITER 3011 NEW BEST:: SOT 217122 SOS 146454 HAS SOPS 136690 HAS SOUS 46548 HAS SOUPS 43632 WITH SCORE 43778.454
AT ITER 3062 NEW BEST:: SOT 217292 SOS 146456 HAS SOPS 136190 HAS SOUS 46498 HAS SOUPS 43582 WITH SCORE 43728.456
AT ITER 3066 NEW BEST:: SOT 217381 SOS 146666 HAS SOPS 136400 HAS SOUS 46429 HAS SOUPS 43513 WITH SCORE 43659.666
AT ITER 3081 NEW BEST:: SOT 217238 SOS 146255 HAS SOPS 135989 HAS SOUS 46334 HAS SOUPS 43418 WITH SCORE 43564.255
AT ITER 3087 NEW BEST:: SOT 217228 SOS 146247 HAS SOPS 135981 HAS SOUS 46324 HAS SOUPS 43408 WITH SCORE 43554.247
AT ITER 3103 NEW BEST:: SOT 217302 SOS 146378 HAS SOPS 136112 HAS SOUS 46071 HAS SOUPS 43155 WITH SCORE 43301.378
AT ITER 3110 NEW BEST:: SOT 217306 SOS 146388 HAS SOPS 136122 HAS SOUS 46070 HAS SOUPS 43154 WITH SCORE 43300.388
AT ITER 3112 NEW BEST:: SOT 217302 SOS 146384 HAS SOPS 136118 HAS SOUS 46062 HAS SOUPS 43146 WITH SCORE 43292.384
AT ITER 3119 NEW BEST:: SOT 217374 SOS 144949 HAS SOPS 134458 HAS SOUS 46105 HAS SOUPS 42970 WITH SCORE 43114.949
AT ITER 3125 NEW BEST:: SOT 217372 SOS 144947 HAS SOPS 134456 HAS SOUS 46101 HAS SOUPS 42966 WITH SCORE 43110.947
AT ITER 3130 NEW BEST:: SOT 217374 SOS 144945 HAS SOPS 134454 HAS SOUS 46099 HAS SOUPS 42964 WITH SCORE 43108.945
AT ITER 3135 NEW BEST:: SOT 217374 SOS 144941 HAS SOPS 134450 HAS SOUS 46099 HAS SOUPS 42964 WITH SCORE 43108.941
AT ITER 3172 NEW BEST:: SOT 217374 SOS 144941 HAS SOPS 134450 HAS SOUS 46078 HAS SOUPS 42943 WITH SCORE 43087.941
AT ITER 3174 NEW BEST:: SOT 217364 SOS 144910 HAS SOPS 134419 HAS SOUS 46058 HAS SOUPS 42923 WITH SCORE 43067.91
AT ITER 3175 NEW BEST:: SOT 217310 SOS 144844 HAS SOPS 134341 HAS SOUS 46007 HAS SOUPS 42872 WITH SCORE 43016.844
AT ITER 3189 NEW BEST:: SOT 217216 SOS 144750 HAS SOPS 134247 HAS SOUS 45960 HAS SOUPS 42825 WITH SCORE 42969.75
AT ITER 3192 NEW BEST:: SOT 217111 SOS 144675 HAS SOPS 134172 HAS SOUS 45945 HAS SOUPS 42810 WITH SCORE 42954.675
AT ITER 3203 NEW BEST:: SOT 217103 SOS 144667 HAS SOPS 134164 HAS SOUS 45945 HAS SOUPS 42810 WITH SCORE 42954.667
AT ITER 3207 NEW BEST:: SOT 217103 SOS 144642 HAS SOPS 134114 HAS SOUS 45945 HAS SOUPS 42810 WITH SCORE 42954.642
AT ITER 3234 NEW BEST:: SOT 217103 SOS 144252 HAS SOPS 133724 HAS SOUS 45945 HAS SOUPS 42810 WITH SCORE 42954.252
AT ITER 3242 NEW BEST:: SOT 217068 SOS 144262 HAS SOPS 133734 HAS SOUS 45872 HAS SOUPS 42737 WITH SCORE 42881.262
AT ITER 3254 NEW BEST:: SOT 217032 SOS 144238 HAS SOPS 133722 HAS SOUS 45848 HAS SOUPS 42713 WITH SCORE 42857.238
AT ITER 3263 NEW BEST:: SOT 216990 SOS 144183 HAS SOPS 133646 HAS SOUS 45759 HAS SOUPS 42603 WITH SCORE 42747.183
AT ITER 3272 NEW BEST:: SOT 216983 SOS 144162 HAS SOPS 133625 HAS SOUS 45740 HAS SOUPS 42584 WITH SCORE 42728.162
AT ITER 3301 NEW BEST:: SOT 216983 SOS 144262 HAS SOPS 133725 HAS SOUS 45714 HAS SOUPS 42558 WITH SCORE 42702.262
AT ITER 3303 NEW BEST:: SOT 216962 SOS 144317 HAS SOPS 133780 HAS SOUS 45655 HAS SOUPS 42499 WITH SCORE 42643.317
AT ITER 3313 NEW BEST:: SOT 216928 SOS 144283 HAS SOPS 133746 HAS SOUS 45654 HAS SOUPS 42498 WITH SCORE 42642.283
AT ITER 3319 NEW BEST:: SOT 216973 SOS 144101 HAS SOPS 133564 HAS SOUS 45639 HAS SOUPS 42483 WITH SCORE 42627.101
AT ITER 3321 NEW BEST:: SOT 216973 SOS 144101 HAS SOPS 133564 HAS SOUS 45622 HAS SOUPS 42466 WITH SCORE 42610.101
AT ITER 3323 NEW BEST:: SOT 216968 SOS 143678 HAS SOPS 133141 HAS SOUS 45610 HAS SOUPS 42454 WITH SCORE 42597.678
AT ITER 3331 NEW BEST:: SOT 216966 SOS 143678 HAS SOPS 133137 HAS SOUS 45606 HAS SOUPS 42450 WITH SCORE 42593.678
AT ITER 3353 NEW BEST:: SOT 216983 SOS 143695 HAS SOPS 133154 HAS SOUS 45572 HAS SOUPS 42416 WITH SCORE 42559.695
AT ITER 3358 NEW BEST:: SOT 216975 SOS 143687 HAS SOPS 133146 HAS SOUS 45564 HAS SOUPS 42408 WITH SCORE 42551.687
AT ITER 3371 NEW BEST:: SOT 216957 SOS 143685 HAS SOPS 133144 HAS SOUS 45563 HAS SOUPS 42407 WITH SCORE 42550.685
AT ITER 3374 NEW BEST:: SOT 216957 SOS 143575 HAS SOPS 133034 HAS SOUS 45510 HAS SOUPS 42354 WITH SCORE 42497.575
AT ITER 3386 NEW BEST:: SOT 217011 SOS 143589 HAS SOPS 133048 HAS SOUS 45484 HAS SOUPS 42328 WITH SCORE 42471.589
AT ITER 3401 NEW BEST:: SOT 217004 SOS 143582 HAS SOPS 133041 HAS SOUS 45480 HAS SOUPS 42324 WITH SCORE 42467.582
AT ITER 3412 NEW BEST:: SOT 216931 SOS 143498 HAS SOPS 132946 HAS SOUS 45417 HAS SOUPS 42261 WITH SCORE 42404.498
AT ITER 3430 NEW BEST:: SOT 216906 SOS 143473 HAS SOPS 132921 HAS SOUS 45392 HAS SOUPS 42236 WITH SCORE 42379.473
AT ITER 3440 NEW BEST:: SOT 216804 SOS 143341 HAS SOPS 132789 HAS SOUS 45350 HAS SOUPS 42194 WITH SCORE 42337.341
AT ITER 3445 NEW BEST:: SOT 216804 SOS 143300 HAS SOPS 132789 HAS SOUS 45309 HAS SOUPS 42194 WITH SCORE 42337.3
AT ITER 3450 NEW BEST:: SOT 216804 SOS 143300 HAS SOPS 132789 HAS SOUS 45243 HAS SOUPS 42128 WITH SCORE 42271.3
AT ITER 3478 NEW BEST:: SOT 216788 SOS 143284 HAS SOPS 132773 HAS SOUS 45211 HAS SOUPS 42096 WITH SCORE 42239.284
AT ITER 3497 NEW BEST:: SOT 216772 SOS 143268 HAS SOPS 132757 HAS SOUS 45179 HAS SOUPS 42064 WITH SCORE 42207.268
AT ITER 3498 NEW BEST:: SOT 216772 SOS 143264 HAS SOPS 132753 HAS SOUS 45177 HAS SOUPS 42062 WITH SCORE 42205.264
AT ITER 3516 NEW BEST:: SOT 216758 SOS 143250 HAS SOPS 132739 HAS SOUS 45165 HAS SOUPS 42050 WITH SCORE 42193.25
AT ITER 3529 NEW BEST:: SOT 216756 SOS 143248 HAS SOPS 132737 HAS SOUS 45163 HAS SOUPS 42048 WITH SCORE 42191.248
AT ITER 3533 NEW BEST:: SOT 216801 SOS 143293 HAS SOPS 132782 HAS SOUS 45107 HAS SOUPS 41992 WITH SCORE 42135.293
AT ITER 3551 NEW BEST:: SOT 216735 SOS 143227 HAS SOPS 132716 HAS SOUS 45063 HAS SOUPS 41948 WITH SCORE 42091.227
AT ITER 3558 NEW BEST:: SOT 216615 SOS 143209 HAS SOPS 132698 HAS SOUS 44892 HAS SOUPS 41777 WITH SCORE 41920.209
AT ITER 3559 NEW BEST:: SOT 216668 SOS 143241 HAS SOPS 132746 HAS SOUS 44866 HAS SOUPS 41751 WITH SCORE 41894.241
AT ITER 3567 NEW BEST:: SOT 216722 SOS 143183 HAS SOPS 132747 HAS SOUS 44774 HAS SOUPS 41718 WITH SCORE 41861.183
AT ITER 3570 NEW BEST:: SOT 216700 SOS 143157 HAS SOPS 132721 HAS SOUS 44739 HAS SOUPS 41683 WITH SCORE 41826.157
AT ITER 3574 NEW BEST:: SOT 216624 SOS 142987 HAS SOPS 132551 HAS SOUS 44663 HAS SOUPS 41607 WITH SCORE 41749.987
AT ITER 3583 NEW BEST:: SOT 216621 SOS 142962 HAS SOPS 132522 HAS SOUS 44661 HAS SOUPS 41601 WITH SCORE 41743.962
AT ITER 3611 NEW BEST:: SOT 216621 SOS 142994 HAS SOPS 132554 HAS SOUS 44645 HAS SOUPS 41585 WITH SCORE 41727.994
AT ITER 3613 NEW BEST:: SOT 216621 SOS 142970 HAS SOPS 132530 HAS SOUS 44622 HAS SOUPS 41562 WITH SCORE 41704.97
AT ITER 3614 NEW BEST:: SOT 216583 SOS 143160 HAS SOPS 132720 HAS SOUS 44603 HAS SOUPS 41543 WITH SCORE 41686.16
AT ITER 3642 NEW BEST:: SOT 216590 SOS 143097 HAS SOPS 132657 HAS SOUS 44575 HAS SOUPS 41515 WITH SCORE 41658.097
AT ITER 3644 NEW BEST:: SOT 216527 SOS 143034 HAS SOPS 132594 HAS SOUS 44500 HAS SOUPS 41440 WITH SCORE 41583.034
AT ITER 3652 NEW BEST:: SOT 216526 SOS 142766 HAS SOPS 132326 HAS SOUS 44499 HAS SOUPS 41439 WITH SCORE 41581.766
AT ITER 3659 NEW BEST:: SOT 216526 SOS 142738 HAS SOPS 132298 HAS SOUS 44487 HAS SOUPS 41427 WITH SCORE 41569.738
AT ITER 3660 NEW BEST:: SOT 216294 SOS 143754 HAS SOPS 133314 HAS SOUS 44095 HAS SOUPS 41035 WITH SCORE 41178.754
AT ITER 3662 NEW BEST:: SOT 216294 SOS 143754 HAS SOPS 133314 HAS SOUS 44057 HAS SOUPS 40997 WITH SCORE 41140.754
AT ITER 3687 NEW BEST:: SOT 216396 SOS 143856 HAS SOPS 133416 HAS SOUS 44037 HAS SOUPS 40977 WITH SCORE 41120.856
AT ITER 3688 NEW BEST:: SOT 216387 SOS 143847 HAS SOPS 133407 HAS SOUS 44019 HAS SOUPS 40959 WITH SCORE 41102.847
AT ITER 3702 NEW BEST:: SOT 216492 SOS 143830 HAS SOPS 133390 HAS SOUS 43950 HAS SOUPS 40890 WITH SCORE 41033.83
AT ITER 3740 NEW BEST:: SOT 216479 SOS 143817 HAS SOPS 133377 HAS SOUS 43944 HAS SOUPS 40884 WITH SCORE 41027.817
AT ITER 3744 NEW BEST:: SOT 216469 SOS 143807 HAS SOPS 133367 HAS SOUS 43939 HAS SOUPS 40879 WITH SCORE 41022.807
AT ITER 3757 NEW BEST:: SOT 216227 SOS 143565 HAS SOPS 133125 HAS SOUS 43908 HAS SOUPS 40848 WITH SCORE 40991.565
AT ITER 3773 NEW BEST:: SOT 216227 SOS 143563 HAS SOPS 133123 HAS SOUS 43908 HAS SOUPS 40848 WITH SCORE 40991.563
AT ITER 3790 NEW BEST:: SOT 216223 SOS 143575 HAS SOPS 133135 HAS SOUS 43904 HAS SOUPS 40844 WITH SCORE 40987.575
AT ITER 3834 NEW BEST:: SOT 216264 SOS 143626 HAS SOPS 133196 HAS SOUS 43903 HAS SOUPS 40843 WITH SCORE 40986.626
AT ITER 3835 NEW BEST:: SOT 216242 SOS 143036 HAS SOPS 132606 HAS SOUS 43861 HAS SOUPS 40801 WITH SCORE 40944.036
AT ITER 3840 NEW BEST:: SOT 216307 SOS 143090 HAS SOPS 132660 HAS SOUS 43760 HAS SOUPS 40700 WITH SCORE 40843.09
AT ITER 3842 NEW BEST:: SOT 216306 SOS 143089 HAS SOPS 132659 HAS SOUS 43759 HAS SOUPS 40699 WITH SCORE 40842.089
AT ITER 3857 NEW BEST:: SOT 216145 SOS 143003 HAS SOPS 132573 HAS SOUS 43661 HAS SOUPS 40601 WITH SCORE 40744.003
AT ITER 3883 NEW BEST:: SOT 216133 SOS 142990 HAS SOPS 132568 HAS SOUS 43648 HAS SOUPS 40592 WITH SCORE 40734.99
AT ITER 3888 NEW BEST:: SOT 216133 SOS 142940 HAS SOPS 132518 HAS SOUS 43648 HAS SOUPS 40592 WITH SCORE 40734.94
AT ITER 3897 NEW BEST:: SOT 216164 SOS 142847 HAS SOPS 132520 HAS SOUS 43613 HAS SOUPS 40576 WITH SCORE 40718.847
AT ITER 3903 NEW BEST:: SOT 216238 SOS 141593 HAS SOPS 131266 HAS SOUS 43385 HAS SOUPS 40348 WITH SCORE 40489.593
AT ITER 3906 NEW BEST:: SOT 216238 SOS 141593 HAS SOPS 131266 HAS SOUS 43371 HAS SOUPS 40334 WITH SCORE 40475.593
AT ITER 3911 NEW BEST:: SOT 216216 SOS 141663 HAS SOPS 131336 HAS SOUS 43236 HAS SOUPS 40199 WITH SCORE 40340.663
AT ITER 3917 NEW BEST:: SOT 215158 SOS 140891 HAS SOPS 130564 HAS SOUS 42405 HAS SOUPS 39368 WITH SCORE 39508.891
AT ITER 3929 NEW BEST:: SOT 215144 SOS 140872 HAS SOPS 130545 HAS SOUS 42384 HAS SOUPS 39347 WITH SCORE 39487.872
AT ITER 3933 NEW BEST:: SOT 215142 SOS 140870 HAS SOPS 130543 HAS SOUS 42382 HAS SOUPS 39345 WITH SCORE 39485.87
AT ITER 3935 NEW BEST:: SOT 215126 SOS 140572 HAS SOPS 130225 HAS SOUS 42362 HAS SOUPS 39321 WITH SCORE 39461.572
AT ITER 3943 NEW BEST:: SOT 215116 SOS 140557 HAS SOPS 130210 HAS SOUS 42347 HAS SOUPS 39306 WITH SCORE 39446.557
AT ITER 3945 NEW BEST:: SOT 215097 SOS 140596 HAS SOPS 130249 HAS SOUS 42328 HAS SOUPS 39287 WITH SCORE 39427.596
AT ITER 3963 NEW BEST:: SOT 215100 SOS 140599 HAS SOPS 130252 HAS SOUS 42325 HAS SOUPS 39284 WITH SCORE 39424.599
AT ITER 3981 NEW BEST:: SOT 215117 SOS 140633 HAS SOPS 130286 HAS SOUS 42308 HAS SOUPS 39267 WITH SCORE 39407.633
AT ITER 4007 NEW BEST:: SOT 215136 SOS 140652 HAS SOPS 130305 HAS SOUS 42291 HAS SOUPS 39250 WITH SCORE 39390.652
AT ITER 4009 NEW BEST:: SOT 215009 SOS 140710 HAS SOPS 130363 HAS SOUS 42216 HAS SOUPS 39175 WITH SCORE 39315.71
AT ITER 4029 NEW BEST:: SOT 214893 SOS 140594 HAS SOPS 130247 HAS SOUS 42176 HAS SOUPS 39135 WITH SCORE 39275.594
AT ITER 4034 NEW BEST:: SOT 214827 SOS 140464 HAS SOPS 130117 HAS SOUS 41995 HAS SOUPS 38954 WITH SCORE 39094.464
AT ITER 4037 NEW BEST:: SOT 214827 SOS 140344 HAS SOPS 129997 HAS SOUS 41995 HAS SOUPS 38954 WITH SCORE 39094.344
AT ITER 4039 NEW BEST:: SOT 214812 SOS 140269 HAS SOPS 129922 HAS SOUS 41918 HAS SOUPS 38877 WITH SCORE 39017.269
AT ITER 4050 NEW BEST:: SOT 214812 SOS 140269 HAS SOPS 129922 HAS SOUS 41898 HAS SOUPS 38857 WITH SCORE 38997.269
AT ITER 4076 NEW BEST:: SOT 214812 SOS 140262 HAS SOPS 129909 HAS SOUS 41897 HAS SOUPS 38856 WITH SCORE 38996.262
AT ITER 4079 NEW BEST:: SOT 214808 SOS 140258 HAS SOPS 129905 HAS SOUS 41897 HAS SOUPS 38856 WITH SCORE 38996.258
AT ITER 4103 NEW BEST:: SOT 214636 SOS 140862 HAS SOPS 130509 HAS SOUS 41768 HAS SOUPS 38727 WITH SCORE 38867.862
AT ITER 4105 NEW BEST:: SOT 214622 SOS 140848 HAS SOPS 130495 HAS SOUS 41723 HAS SOUPS 38682 WITH SCORE 38822.848
AT ITER 4134 NEW BEST:: SOT 214622 SOS 140832 HAS SOPS 130479 HAS SOUS 41723 HAS SOUPS 38682 WITH SCORE 38822.832
AT ITER 4167 NEW BEST:: SOT 214549 SOS 141268 HAS SOPS 130915 HAS SOUS 41721 HAS SOUPS 38680 WITH SCORE 38821.268
AT ITER 4169 NEW BEST:: SOT 214549 SOS 141255 HAS SOPS 130902 HAS SOUS 41708 HAS SOUPS 38667 WITH SCORE 38808.255
AT ITER 4177 NEW BEST:: SOT 214546 SOS 141250 HAS SOPS 130897 HAS SOUS 41703 HAS SOUPS 38662 WITH SCORE 38803.25
AT ITER 4193 NEW BEST:: SOT 214571 SOS 140939 HAS SOPS 130456 HAS SOUS 41581 HAS SOUPS 38540 WITH SCORE 38680.939
AT ITER 4199 NEW BEST:: SOT 214522 SOS 140823 HAS SOPS 130340 HAS SOUS 41528 HAS SOUPS 38487 WITH SCORE 38627.823
AT ITER 4205 NEW BEST:: SOT 214511 SOS 140812 HAS SOPS 130329 HAS SOUS 41528 HAS SOUPS 38487 WITH SCORE 38627.812
AT ITER 4206 NEW BEST:: SOT 214511 SOS 140726 HAS SOPS 130243 HAS SOUS 41528 HAS SOUPS 38487 WITH SCORE 38627.726
AT ITER 4207 NEW BEST:: SOT 212966 SOS 139213 HAS SOPS 128698 HAS SOUS 40031 HAS SOUPS 36966 WITH SCORE 37105.213
AT ITER 4214 NEW BEST:: SOT 212874 SOS 139310 HAS SOPS 128795 HAS SOUS 39895 HAS SOUPS 36830 WITH SCORE 36969.31
AT ITER 4240 NEW BEST:: SOT 212845 SOS 139281 HAS SOPS 128766 HAS SOUS 39895 HAS SOUPS 36830 WITH SCORE 36969.281
AT ITER 4259 NEW BEST:: SOT 212751 SOS 139161 HAS SOPS 128646 HAS SOUS 39882 HAS SOUPS 36817 WITH SCORE 36956.161
AT ITER 4270 NEW BEST:: SOT 212751 SOS 139147 HAS SOPS 128632 HAS SOUS 39875 HAS SOUPS 36810 WITH SCORE 36949.147
AT ITER 4274 NEW BEST:: SOT 212753 SOS 139145 HAS SOPS 128628 HAS SOUS 39873 HAS SOUPS 36808 WITH SCORE 36947.145
AT ITER 4279 NEW BEST:: SOT 212691 SOS 139083 HAS SOPS 128566 HAS SOUS 39853 HAS SOUPS 36788 WITH SCORE 36927.083
AT ITER 4317 NEW BEST:: SOT 212691 SOS 139153 HAS SOPS 128636 HAS SOUS 39845 HAS SOUPS 36780 WITH SCORE 36919.153
AT ITER 4346 NEW BEST:: SOT 212689 SOS 139147 HAS SOPS 128630 HAS SOUS 39841 HAS SOUPS 36776 WITH SCORE 36915.147
AT ITER 4363 NEW BEST:: SOT 212698 SOS 139169 HAS SOPS 128652 HAS SOUS 39833 HAS SOUPS 36768 WITH SCORE 36907.169
AT ITER 4366 NEW BEST:: SOT 212688 SOS 139159 HAS SOPS 128642 HAS SOUS 39820 HAS SOUPS 36755 WITH SCORE 36894.159
AT ITER 4367 NEW BEST:: SOT 212697 SOS 139178 HAS SOPS 128661 HAS SOUS 39808 HAS SOUPS 36743 WITH SCORE 36882.178
AT ITER 4369 NEW BEST:: SOT 212587 SOS 139068 HAS SOPS 128509 HAS SOUS 39768 HAS SOUPS 36701 WITH SCORE 36840.068
AT ITER 4388 NEW BEST:: SOT 212587 SOS 139130 HAS SOPS 128571 HAS SOUS 39739 HAS SOUPS 36672 WITH SCORE 36811.13
AT ITER 4420 NEW BEST:: SOT 212581 SOS 139124 HAS SOPS 128565 HAS SOUS 39667 HAS SOUPS 36600 WITH SCORE 36739.124
AT ITER 4456 NEW BEST:: SOT 212581 SOS 139089 HAS SOPS 128530 HAS SOUS 39667 HAS SOUPS 36600 WITH SCORE 36739.089
AT ITER 4465 NEW BEST:: SOT 212563 SOS 139089 HAS SOPS 128530 HAS SOUS 39649 HAS SOUPS 36582 WITH SCORE 36721.089
AT ITER 4471 NEW BEST:: SOT 212545 SOS 139035 HAS SOPS 128476 HAS SOUS 39613 HAS SOUPS 36546 WITH SCORE 36685.035
AT ITER 4486 NEW BEST:: SOT 212552 SOS 139028 HAS SOPS 128469 HAS SOUS 39613 HAS SOUPS 36546 WITH SCORE 36685.028
AT ITER 4492 NEW BEST:: SOT 212546 SOS 139019 HAS SOPS 128460 HAS SOUS 39613 HAS SOUPS 36546 WITH SCORE 36685.019
AT ITER 4495 NEW BEST:: SOT 212484 SOS 138957 HAS SOPS 128398 HAS SOUS 39610 HAS SOUPS 36543 WITH SCORE 36681.957
AT ITER 4502 NEW BEST:: SOT 212477 SOS 138950 HAS SOPS 128391 HAS SOUS 39600 HAS SOUPS 36533 WITH SCORE 36671.95
AT ITER 4526 NEW BEST:: SOT 212413 SOS 138886 HAS SOPS 128327 HAS SOUS 39600 HAS SOUPS 36533 WITH SCORE 36671.886
AT ITER 4533 NEW BEST:: SOT 212404 SOS 138877 HAS SOPS 128318 HAS SOUS 39596 HAS SOUPS 36529 WITH SCORE 36667.877
AT ITER 4547 NEW BEST:: SOT 212404 SOS 138877 HAS SOPS 128308 HAS SOUS 39591 HAS SOUPS 36524 WITH SCORE 36662.877
AT ITER 4559 NEW BEST:: SOT 212389 SOS 138839 HAS SOPS 128195 HAS SOUS 39662 HAS SOUPS 36520 WITH SCORE 36658.839
AT ITER 4561 NEW BEST:: SOT 212386 SOS 138836 HAS SOPS 128192 HAS SOUS 39656 HAS SOUPS 36514 WITH SCORE 36652.836
AT ITER 4573 NEW BEST:: SOT 212381 SOS 138831 HAS SOPS 128184 HAS SOUS 39648 HAS SOUPS 36506 WITH SCORE 36644.831
AT ITER 4584 NEW BEST:: SOT 212396 SOS 138767 HAS SOPS 128120 HAS SOUS 39594 HAS SOUPS 36452 WITH SCORE 36590.767
AT ITER 4595 NEW BEST:: SOT 212369 SOS 138842 HAS SOPS 128195 HAS SOUS 39551 HAS SOUPS 36409 WITH SCORE 36547.842
AT ITER 4615 NEW BEST:: SOT 212324 SOS 140771 HAS SOPS 130124 HAS SOUS 39519 HAS SOUPS 36377 WITH SCORE 36517.771
AT ITER 4620 NEW BEST:: SOT 212325 SOS 140770 HAS SOPS 130123 HAS SOUS 39519 HAS SOUPS 36377 WITH SCORE 36517.77
AT ITER 4622 NEW BEST:: SOT 212335 SOS 140780 HAS SOPS 130133 HAS SOUS 39513 HAS SOUPS 36371 WITH SCORE 36511.78
AT ITER 4628 NEW BEST:: SOT 212328 SOS 140759 HAS SOPS 130112 HAS SOUS 39500 HAS SOUPS 36358 WITH SCORE 36498.759
AT ITER 4642 NEW BEST:: SOT 212297 SOS 140728 HAS SOPS 130081 HAS SOUS 39449 HAS SOUPS 36307 WITH SCORE 36447.728
AT ITER 4644 NEW BEST:: SOT 212257 SOS 140688 HAS SOPS 130041 HAS SOUS 39434 HAS SOUPS 36292 WITH SCORE 36432.688
AT ITER 4654 NEW BEST:: SOT 211789 SOS 139564 HAS SOPS 128691 HAS SOUS 39547 HAS SOUPS 36292 WITH SCORE 36431.564
AT ITER 4669 NEW BEST:: SOT 211769 SOS 139544 HAS SOPS 128671 HAS SOUS 39517 HAS SOUPS 36262 WITH SCORE 36401.544
AT ITER 4684 NEW BEST:: SOT 211778 SOS 139553 HAS SOPS 128680 HAS SOUS 39506 HAS SOUPS 36251 WITH SCORE 36390.553
AT ITER 4710 NEW BEST:: SOT 211769 SOS 139544 HAS SOPS 128700 HAS SOUS 39464 HAS SOUPS 36238 WITH SCORE 36377.544
AT ITER 4736 NEW BEST:: SOT 211756 SOS 139505 HAS SOPS 128661 HAS SOUS 39451 HAS SOUPS 36225 WITH SCORE 36364.505
AT ITER 4745 NEW BEST:: SOT 211753 SOS 139509 HAS SOPS 128665 HAS SOUS 39447 HAS SOUPS 36221 WITH SCORE 36360.509
AT ITER 4769 NEW BEST:: SOT 211753 SOS 139463 HAS SOPS 128619 HAS SOUS 39424 HAS SOUPS 36198 WITH SCORE 36337.463
AT ITER 4773 NEW BEST:: SOT 211737 SOS 139447 HAS SOPS 128603 HAS SOUS 39408 HAS SOUPS 36182 WITH SCORE 36321.447
AT ITER 4827 NEW BEST:: SOT 211737 SOS 139441 HAS SOPS 128597 HAS SOUS 39405 HAS SOUPS 36179 WITH SCORE 36318.441
AT ITER 4833 NEW BEST:: SOT 211661 SOS 139221 HAS SOPS 128377 HAS SOUS 39293 HAS SOUPS 36067 WITH SCORE 36206.221
AT ITER 4834 NEW BEST:: SOT 211661 SOS 139217 HAS SOPS 128357 HAS SOUS 39293 HAS SOUPS 36059 WITH SCORE 36198.217
AT ITER 4849 NEW BEST:: SOT 211626 SOS 139182 HAS SOPS 128322 HAS SOUS 39265 HAS SOUPS 36031 WITH SCORE 36170.182
AT ITER 4850 NEW BEST:: SOT 211574 SOS 139188 HAS SOPS 128328 HAS SOUS 39242 HAS SOUPS 36008 WITH SCORE 36147.188
AT ITER 4852 NEW BEST:: SOT 211574 SOS 139188 HAS SOPS 128328 HAS SOUS 39232 HAS SOUPS 35998 WITH SCORE 36137.188
AT ITER 4873 NEW BEST:: SOT 211585 SOS 139157 HAS SOPS 128297 HAS SOUS 39201 HAS SOUPS 35967 WITH SCORE 36106.157
AT ITER 4892 NEW BEST:: SOT 211634 SOS 139213 HAS SOPS 128353 HAS SOUS 39180 HAS SOUPS 35946 WITH SCORE 36085.213
AT ITER 4895 NEW BEST:: SOT 211560 SOS 139109 HAS SOPS 128219 HAS SOUS 39134 HAS SOUPS 35900 WITH SCORE 36039.109
AT ITER 4922 NEW BEST:: SOT 211102 SOS 138561 HAS SOPS 127671 HAS SOUS 38974 HAS SOUPS 35740 WITH SCORE 35878.561
AT ITER 4928 NEW BEST:: SOT 211092 SOS 138551 HAS SOPS 127661 HAS SOUS 38968 HAS SOUPS 35734 WITH SCORE 35872.551
AT ITER 4938 NEW BEST:: SOT 211119 SOS 138536 HAS SOPS 127646 HAS SOUS 38967 HAS SOUPS 35733 WITH SCORE 35871.536
AT ITER 4941 NEW BEST:: SOT 211083 SOS 138500 HAS SOPS 127610 HAS SOUS 38939 HAS SOUPS 35705 WITH SCORE 35843.5
AT ITER 4945 NEW BEST:: SOT 211027 SOS 138430 HAS SOPS 127526 HAS SOUS 38937 HAS SOUPS 35703 WITH SCORE 35841.43
AT ITER 4956 NEW BEST:: SOT 211017 SOS 138379 HAS SOPS 127419 HAS SOUS 38914 HAS SOUPS 35680 WITH SCORE 35818.379
AT ITER 4963 NEW BEST:: SOT 210888 SOS 138369 HAS SOPS 127409 HAS SOUS 38747 HAS SOUPS 35513 WITH SCORE 35651.369
AT ITER 4981 NEW BEST:: SOT 210850 SOS 138331 HAS SOPS 127371 HAS SOUS 38709 HAS SOUPS 35475 WITH SCORE 35613.331
AT ITER 4988 NEW BEST:: SOT 210835 SOS 138316 HAS SOPS 127356 HAS SOUS 38676 HAS SOUPS 35442 WITH SCORE 35580.316
AT ITER 4989 NEW BEST:: SOT 210833 SOS 138314 HAS SOPS 127354 HAS SOUS 38673 HAS SOUPS 35439 WITH SCORE 35577.314
AT ITER 5001 NEW BEST:: SOT 210784 SOS 138247 HAS SOPS 127287 HAS SOUS 38641 HAS SOUPS 35407 WITH SCORE 35545.247
AT ITER 5050 NEW BEST:: SOT 210763 SOS 138482 HAS SOPS 127522 HAS SOUS 38636 HAS SOUPS 35402 WITH SCORE 35540.482
AT ITER 5053 NEW BEST:: SOT 210745 SOS 138452 HAS SOPS 127492 HAS SOUS 38610 HAS SOUPS 35376 WITH SCORE 35514.452
AT ITER 5073 NEW BEST:: SOT 210745 SOS 138566 HAS SOPS 127606 HAS SOUS 38593 HAS SOUPS 35359 WITH SCORE 35497.566
AT ITER 5091 NEW BEST:: SOT 210745 SOS 138486 HAS SOPS 127526 HAS SOUS 38553 HAS SOUPS 35319 WITH SCORE 35457.486
AT ITER 5097 NEW BEST:: SOT 210745 SOS 138416 HAS SOPS 127456 HAS SOUS 38413 HAS SOUPS 35179 WITH SCORE 35317.416
AT ITER 5112 NEW BEST:: SOT 210758 SOS 138285 HAS SOPS 127325 HAS SOUS 38354 HAS SOUPS 35120 WITH SCORE 35258.285
AT ITER 5125 NEW BEST:: SOT 210758 SOS 138243 HAS SOPS 127283 HAS SOUS 38354 HAS SOUPS 35120 WITH SCORE 35258.243
AT ITER 5128 NEW BEST:: SOT 210758 SOS 138243 HAS SOPS 127243 HAS SOUS 38374 HAS SOUPS 35100 WITH SCORE 35238.243
AT ITER 5142 NEW BEST:: SOT 210758 SOS 138213 HAS SOPS 127213 HAS SOUS 38374 HAS SOUPS 35100 WITH SCORE 35238.213
AT ITER 5148 NEW BEST:: SOT 210757 SOS 138205 HAS SOPS 127205 HAS SOUS 38372 HAS SOUPS 35098 WITH SCORE 35236.205
AT ITER 5155 NEW BEST:: SOT 210752 SOS 138116 HAS SOPS 127116 HAS SOUS 38362 HAS SOUPS 35088 WITH SCORE 35226.116
AT ITER 5172 NEW BEST:: SOT 210730 SOS 138072 HAS SOPS 126960 HAS SOUS 38348 HAS SOUPS 35014 WITH SCORE 35152.072
AT ITER 5180 NEW BEST:: SOT 210730 SOS 138072 HAS SOPS 126960 HAS SOUS 38342 HAS SOUPS 35008 WITH SCORE 35146.072
AT ITER 5190 NEW BEST:: SOT 210656 SOS 137998 HAS SOPS 126886 HAS SOUS 38342 HAS SOUPS 35008 WITH SCORE 35145.998
AT ITER 5202 NEW BEST:: SOT 210650 SOS 137992 HAS SOPS 126880 HAS SOUS 38339 HAS SOUPS 35005 WITH SCORE 35142.992
AT ITER 5207 NEW BEST:: SOT 210549 SOS 137791 HAS SOPS 126679 HAS SOUS 37938 HAS SOUPS 34604 WITH SCORE 34741.791
AT ITER 5215 NEW BEST:: SOT 210533 SOS 137775 HAS SOPS 126663 HAS SOUS 37938 HAS SOUPS 34604 WITH SCORE 34741.775
AT ITER 5227 NEW BEST:: SOT 210470 SOS 137598 HAS SOPS 126486 HAS SOUS 37898 HAS SOUPS 34564 WITH SCORE 34701.598
AT ITER 5248 NEW BEST:: SOT 210466 SOS 137592 HAS SOPS 126480 HAS SOUS 37894 HAS SOUPS 34560 WITH SCORE 34697.592
AT ITER 5280 NEW BEST:: SOT 210466 SOS 137592 HAS SOPS 126480 HAS SOUS 37885 HAS SOUPS 34551 WITH SCORE 34688.592
AT ITER 5283 NEW BEST:: SOT 210464 SOS 137480 HAS SOPS 126368 HAS SOUS 37880 HAS SOUPS 34546 WITH SCORE 34683.48
AT ITER 5287 NEW BEST:: SOT 210448 SOS 137464 HAS SOPS 126352 HAS SOUS 37880 HAS SOUPS 34546 WITH SCORE 34683.464
AT ITER 5292 NEW BEST:: SOT 210436 SOS 137452 HAS SOPS 126340 HAS SOUS 37856 HAS SOUPS 34522 WITH SCORE 34659.452
AT ITER 5294 NEW BEST:: SOT 210417 SOS 137319 HAS SOPS 126207 HAS SOUS 37837 HAS SOUPS 34503 WITH SCORE 34640.319
AT ITER 5297 NEW BEST:: SOT 210410 SOS 137312 HAS SOPS 126200 HAS SOUS 37805 HAS SOUPS 34471 WITH SCORE 34608.312
AT ITER 5316 NEW BEST:: SOT 210423 SOS 137453 HAS SOPS 126341 HAS SOUS 37802 HAS SOUPS 34468 WITH SCORE 34605.453
AT ITER 5328 NEW BEST:: SOT 210391 SOS 137380 HAS SOPS 126268 HAS SOUS 37791 HAS SOUPS 34457 WITH SCORE 34594.38
AT ITER 5337 NEW BEST:: SOT 210276 SOS 137207 HAS SOPS 126037 HAS SOUS 37740 HAS SOUPS 34406 WITH SCORE 34543.207
AT ITER 5360 NEW BEST:: SOT 210241 SOS 137172 HAS SOPS 126002 HAS SOUS 37691 HAS SOUPS 34357 WITH SCORE 34494.172
AT ITER 5370 NEW BEST:: SOT 210241 SOS 137116 HAS SOPS 125946 HAS SOUS 37663 HAS SOUPS 34329 WITH SCORE 34466.116
AT ITER 5385 NEW BEST:: SOT 210187 SOS 137062 HAS SOPS 125892 HAS SOUS 37663 HAS SOUPS 34329 WITH SCORE 34466.062
AT ITER 5420 NEW BEST:: SOT 210159 SOS 137401 HAS SOPS 126237 HAS SOUS 37579 HAS SOUPS 34245 WITH SCORE 34382.401
AT ITER 5422 NEW BEST:: SOT 210159 SOS 137369 HAS SOPS 126205 HAS SOUS 37579 HAS SOUPS 34245 WITH SCORE 34382.369
AT ITER 5428 NEW BEST:: SOT 210159 SOS 137353 HAS SOPS 126183 HAS SOUS 37575 HAS SOUPS 34241 WITH SCORE 34378.353
AT ITER 5430 NEW BEST:: SOT 210153 SOS 137347 HAS SOPS 126177 HAS SOUS 37569 HAS SOUPS 34235 WITH SCORE 34372.347
AT ITER 5443 NEW BEST:: SOT 210136 SOS 137330 HAS SOPS 126160 HAS SOUS 37564 HAS SOUPS 34230 WITH SCORE 34367.33
AT ITER 5452 NEW BEST:: SOT 210142 SOS 137326 HAS SOPS 126160 HAS SOUS 37539 HAS SOUPS 34209 WITH SCORE 34346.326
AT ITER 5457 NEW BEST:: SOT 210142 SOS 137326 HAS SOPS 126160 HAS SOUS 37538 HAS SOUPS 34208 WITH SCORE 34345.326
AT ITER 5471 NEW BEST:: SOT 210102 SOS 137260 HAS SOPS 126094 HAS SOUS 37530 HAS SOUPS 34200 WITH SCORE 34337.26
AT ITER 5474 NEW BEST:: SOT 210095 SOS 137261 HAS SOPS 126047 HAS SOUS 37483 HAS SOUPS 34153 WITH SCORE 34290.261
AT ITER 5554 NEW BEST:: SOT 210117 SOS 137283 HAS SOPS 126069 HAS SOUS 37469 HAS SOUPS 34139 WITH SCORE 34276.283
AT ITER 5593 NEW BEST:: SOT 210092 SOS 137258 HAS SOPS 126044 HAS SOUS 37444 HAS SOUPS 34114 WITH SCORE 34251.258
AT ITER 5637 NEW BEST:: SOT 210075 SOS 137241 HAS SOPS 126027 HAS SOUS 37427 HAS SOUPS 34097 WITH SCORE 34234.241
AT ITER 5722 NEW BEST:: SOT 210218 SOS 137384 HAS SOPS 126170 HAS SOUS 37346 HAS SOUPS 34016 WITH SCORE 34153.384
AT ITER 5723 NEW BEST:: SOT 210162 SOS 137328 HAS SOPS 126114 HAS SOUS 37341 HAS SOUPS 34011 WITH SCORE 34148.328
AT ITER 5725 NEW BEST:: SOT 210162 SOS 137328 HAS SOPS 126114 HAS SOUS 37304 HAS SOUPS 33974 WITH SCORE 34111.328
AT ITER 5738 NEW BEST:: SOT 210150 SOS 137294 HAS SOPS 126080 HAS SOUS 37294 HAS SOUPS 33964 WITH SCORE 34101.294
AT ITER 5742 NEW BEST:: SOT 210148 SOS 137285 HAS SOPS 126071 HAS SOUS 37289 HAS SOUPS 33959 WITH SCORE 34096.285
AT ITER 5745 NEW BEST:: SOT 210131 SOS 137268 HAS SOPS 126054 HAS SOUS 37272 HAS SOUPS 33942 WITH SCORE 34079.268
AT ITER 5753 NEW BEST:: SOT 210111 SOS 137248 HAS SOPS 126034 HAS SOUS 37266 HAS SOUPS 33936 WITH SCORE 34073.248
AT ITER 5762 NEW BEST:: SOT 210111 SOS 137282 HAS SOPS 126068 HAS SOUS 37262 HAS SOUPS 33932 WITH SCORE 34069.282
AT ITER 5803 NEW BEST:: SOT 210038 SOS 137281 HAS SOPS 126259 HAS SOUS 37261 HAS SOUPS 33931 WITH SCORE 34068.281
AT ITER 5825 NEW BEST:: SOT 210061 SOS 137088 HAS SOPS 126066 HAS SOUS 37257 HAS SOUPS 33927 WITH SCORE 34064.088
AT ITER 5832 NEW BEST:: SOT 210048 SOS 137057 HAS SOPS 126055 HAS SOUS 37245 HAS SOUPS 33915 WITH SCORE 34052.057
AT ITER 5834 NEW BEST:: SOT 210048 SOS 137057 HAS SOPS 126041 HAS SOUS 37238 HAS SOUPS 33908 WITH SCORE 34045.057
AT ITER 5843 NEW BEST:: SOT 210022 SOS 137031 HAS SOPS 126015 HAS SOUS 37216 HAS SOUPS 33886 WITH SCORE 34023.031
AT ITER 5852 NEW BEST:: SOT 210029 SOS 137038 HAS SOPS 126004 HAS SOUS 37229 HAS SOUPS 33881 WITH SCORE 34018.038
AT ITER 5884 NEW BEST:: SOT 209993 SOS 136949 HAS SOPS 125915 HAS SOUS 37176 HAS SOUPS 33828 WITH SCORE 33964.949
AT ITER 5943 NEW BEST:: SOT 210002 SOS 136958 HAS SOPS 125924 HAS SOUS 37151 HAS SOUPS 33803 WITH SCORE 33939.958
AT ITER 6023 NEW BEST:: SOT 209995 SOS 136873 HAS SOPS 125839 HAS SOUS 37040 HAS SOUPS 33692 WITH SCORE 33828.873
AT ITER 6033 NEW BEST:: SOT 209994 SOS 136872 HAS SOPS 125838 HAS SOUS 37040 HAS SOUPS 33692 WITH SCORE 33828.872
AT ITER 6048 NEW BEST:: SOT 210004 SOS 136882 HAS SOPS 125848 HAS SOUS 37038 HAS SOUPS 33690 WITH SCORE 33826.882
AT ITER 6107 NEW BEST:: SOT 210034 SOS 137059 HAS SOPS 126025 HAS SOUS 37030 HAS SOUPS 33682 WITH SCORE 33819.059
AT ITER 6117 NEW BEST:: SOT 210026 SOS 137025 HAS SOPS 125991 HAS SOUS 37014 HAS SOUPS 33666 WITH SCORE 33803.025
AT ITER 6121 NEW BEST:: SOT 209986 SOS 136985 HAS SOPS 125951 HAS SOUS 36932 HAS SOUPS 33584 WITH SCORE 33720.985
AT ITER 6132 NEW BEST:: SOT 209981 SOS 136980 HAS SOPS 125946 HAS SOUS 36932 HAS SOUPS 33584 WITH SCORE 33720.98
AT ITER 6136 NEW BEST:: SOT 209972 SOS 136971 HAS SOPS 125937 HAS SOUS 36905 HAS SOUPS 33557 WITH SCORE 33693.971
AT ITER 6141 NEW BEST:: SOT 209960 SOS 136959 HAS SOPS 125937 HAS SOUS 36881 HAS SOUPS 33533 WITH SCORE 33669.959
AT ITER 6143 NEW BEST:: SOT 209959 SOS 136967 HAS SOPS 125915 HAS SOUS 36879 HAS SOUPS 33521 WITH SCORE 33657.967
AT ITER 6151 NEW BEST:: SOT 209985 SOS 136993 HAS SOPS 125954 HAS SOUS 36878 HAS SOUPS 33520 WITH SCORE 33656.993
AT ITER 6187 NEW BEST:: SOT 210007 SOS 136971 HAS SOPS 125932 HAS SOUS 36878 HAS SOUPS 33520 WITH SCORE 33656.971
AT ITER 6222 NEW BEST:: SOT 209999 SOS 136963 HAS SOPS 125924 HAS SOUS 36874 HAS SOUPS 33516 WITH SCORE 33652.963
AT ITER 6223 NEW BEST:: SOT 209942 SOS 136906 HAS SOPS 125867 HAS SOUS 36871 HAS SOUPS 33513 WITH SCORE 33649.906
AT ITER 6228 NEW BEST:: SOT 209949 SOS 136913 HAS SOPS 125874 HAS SOUS 36864 HAS SOUPS 33506 WITH SCORE 33642.913
AT ITER 6229 NEW BEST:: SOT 209976 SOS 136940 HAS SOPS 125901 HAS SOUS 36814 HAS SOUPS 33456 WITH SCORE 33592.94
AT ITER 6241 NEW BEST:: SOT 209965 SOS 136928 HAS SOPS 125919 HAS SOUS 36812 HAS SOUPS 33454 WITH SCORE 33590.928
AT ITER 6279 NEW BEST:: SOT 209950 SOS 136849 HAS SOPS 125840 HAS SOUS 36782 HAS SOUPS 33424 WITH SCORE 33560.849
AT ITER 6293 NEW BEST:: SOT 209946 SOS 136817 HAS SOPS 125808 HAS SOUS 36764 HAS SOUPS 33406 WITH SCORE 33542.817
AT ITER 6342 NEW BEST:: SOT 209946 SOS 136793 HAS SOPS 125784 HAS SOUS 36752 HAS SOUPS 33394 WITH SCORE 33530.793
AT ITER 6373 NEW BEST:: SOT 209910 SOS 136757 HAS SOPS 125748 HAS SOUS 36728 HAS SOUPS 33370 WITH SCORE 33506.757
AT ITER 6377 NEW BEST:: SOT 209918 SOS 136765 HAS SOPS 125756 HAS SOUS 36692 HAS SOUPS 33334 WITH SCORE 33470.765
AT ITER 6405 NEW BEST:: SOT 209930 SOS 136777 HAS SOPS 125768 HAS SOUS 36680 HAS SOUPS 33322 WITH SCORE 33458.777
AT ITER 6451 NEW BEST:: SOT 209910 SOS 136671 HAS SOPS 125662 HAS SOUS 36596 HAS SOUPS 33238 WITH SCORE 33374.671
AT ITER 6470 NEW BEST:: SOT 209819 SOS 136420 HAS SOPS 125411 HAS SOUS 36595 HAS SOUPS 33237 WITH SCORE 33373.42
AT ITER 6513 NEW BEST:: SOT 209840 SOS 136452 HAS SOPS 125475 HAS SOUS 36573 HAS SOUPS 33215 WITH SCORE 33351.452
AT ITER 6538 NEW BEST:: SOT 209851 SOS 136463 HAS SOPS 125486 HAS SOUS 36562 HAS SOUPS 33204 WITH SCORE 33340.463
AT ITER 6588 NEW BEST:: SOT 209859 SOS 136471 HAS SOPS 125494 HAS SOUS 36553 HAS SOUPS 33195 WITH SCORE 33331.471
AT ITER 6622 NEW BEST:: SOT 209853 SOS 136465 HAS SOPS 125488 HAS SOUS 36509 HAS SOUPS 33151 WITH SCORE 33287.465
AT ITER 6639 NEW BEST:: SOT 209833 SOS 136435 HAS SOPS 125448 HAS SOUS 36499 HAS SOUPS 33141 WITH SCORE 33277.435
AT ITER 6642 NEW BEST:: SOT 209833 SOS 136447 HAS SOPS 125442 HAS SOUS 36499 HAS SOUPS 33123 WITH SCORE 33259.447
AT ITER 6653 NEW BEST:: SOT 209756 SOS 136448 HAS SOPS 125353 HAS SOUS 36440 HAS SOUPS 33049 WITH SCORE 33185.448
AT ITER 6678 NEW BEST:: SOT 209772 SOS 136448 HAS SOPS 125321 HAS SOUS 36440 HAS SOUPS 33033 WITH SCORE 33169.448
AT ITER 6703 NEW BEST:: SOT 209767 SOS 136443 HAS SOPS 125316 HAS SOUS 36433 HAS SOUPS 33026 WITH SCORE 33162.443
AT ITER 6742 NEW BEST:: SOT 209767 SOS 136403 HAS SOPS 125276 HAS SOUS 36413 HAS SOUPS 33006 WITH SCORE 33142.403
AT ITER 6743 NEW BEST:: SOT 209773 SOS 136272 HAS SOPS 125139 HAS SOUS 36392 HAS SOUPS 32985 WITH SCORE 33121.272
AT ITER 6754 NEW BEST:: SOT 209744 SOS 136288 HAS SOPS 125155 HAS SOUS 36363 HAS SOUPS 32956 WITH SCORE 33092.288
AT ITER 6757 NEW BEST:: SOT 209729 SOS 136273 HAS SOPS 125140 HAS SOUS 36335 HAS SOUPS 32928 WITH SCORE 33064.273
AT ITER 6763 NEW BEST:: SOT 209730 SOS 136274 HAS SOPS 125139 HAS SOUS 36334 HAS SOUPS 32927 WITH SCORE 33063.274
AT ITER 6768 NEW BEST:: SOT 209690 SOS 136214 HAS SOPS 125059 HAS SOUS 36294 HAS SOUPS 32887 WITH SCORE 33023.214
AT ITER 6820 NEW BEST:: SOT 209690 SOS 136216 HAS SOPS 125061 HAS SOUS 36293 HAS SOUPS 32886 WITH SCORE 33022.216
AT ITER 6850 NEW BEST:: SOT 209705 SOS 135699 HAS SOPS 124544 HAS SOUS 36257 HAS SOUPS 32850 WITH SCORE 32985.699
AT ITER 6872 NEW BEST:: SOT 209750 SOS 135744 HAS SOPS 124589 HAS SOUS 36248 HAS SOUPS 32841 WITH SCORE 32976.744
AT ITER 6873 NEW BEST:: SOT 209750 SOS 135740 HAS SOPS 124565 HAS SOUS 36248 HAS SOUPS 32841 WITH SCORE 32976.74
AT ITER 6898 NEW BEST:: SOT 209724 SOS 135714 HAS SOPS 124539 HAS SOUS 36196 HAS SOUPS 32789 WITH SCORE 32924.714
AT ITER 6902 NEW BEST:: SOT 209721 SOS 135710 HAS SOPS 124534 HAS SOUS 36193 HAS SOUPS 32786 WITH SCORE 32921.71
AT ITER 6905 NEW BEST:: SOT 209735 SOS 135746 HAS SOPS 124628 HAS SOUS 36136 HAS SOUPS 32755 WITH SCORE 32890.746
AT ITER 6914 NEW BEST:: SOT 209735 SOS 135726 HAS SOPS 124608 HAS SOUS 36126 HAS SOUPS 32745 WITH SCORE 32880.726
AT ITER 6938 NEW BEST:: SOT 209654 SOS 135645 HAS SOPS 124527 HAS SOUS 36088 HAS SOUPS 32707 WITH SCORE 32842.645
AT ITER 6955 NEW BEST:: SOT 209654 SOS 135645 HAS SOPS 124527 HAS SOUS 36087 HAS SOUPS 32706 WITH SCORE 32841.645
AT ITER 6995 NEW BEST:: SOT 209654 SOS 135642 HAS SOPS 124521 HAS SOUS 36087 HAS SOUPS 32703 WITH SCORE 32838.642
AT ITER 7050 NEW BEST:: SOT 209620 SOS 135370 HAS SOPS 124249 HAS SOUS 36087 HAS SOUPS 32703 WITH SCORE 32838.37
AT ITER 7069 NEW BEST:: SOT 209615 SOS 135365 HAS SOPS 124244 HAS SOUS 36087 HAS SOUPS 32703 WITH SCORE 32838.365
AT ITER 7099 NEW BEST:: SOT 209608 SOS 135358 HAS SOPS 124237 HAS SOUS 36079 HAS SOUPS 32695 WITH SCORE 32830.358
AT ITER 7100 NEW BEST:: SOT 209608 SOS 135318 HAS SOPS 124197 HAS SOUS 36059 HAS SOUPS 32675 WITH SCORE 32810.318
AT ITER 7155 NEW BEST:: SOT 209602 SOS 135312 HAS SOPS 124191 HAS SOUS 36050 HAS SOUPS 32666 WITH SCORE 32801.312
AT ITER 7157 NEW BEST:: SOT 209609 SOS 135287 HAS SOPS 124169 HAS SOUS 36028 HAS SOUPS 32647 WITH SCORE 32782.287
AT ITER 7170 NEW BEST:: SOT 209609 SOS 135271 HAS SOPS 124153 HAS SOUS 36021 HAS SOUPS 32640 WITH SCORE 32775.271
AT ITER 7176 NEW BEST:: SOT 209607 SOS 135255 HAS SOPS 124137 HAS SOUS 36017 HAS SOUPS 32636 WITH SCORE 32771.255
AT ITER 7181 NEW BEST:: SOT 209607 SOS 135255 HAS SOPS 124137 HAS SOUS 36011 HAS SOUPS 32630 WITH SCORE 32765.255
AT ITER 7183 NEW BEST:: SOT 209567 SOS 135215 HAS SOPS 124097 HAS SOUS 36011 HAS SOUPS 32630 WITH SCORE 32765.215
AT ITER 7241 NEW BEST:: SOT 209435 SOS 134948 HAS SOPS 123974 HAS SOUS 35939 HAS SOUPS 32606 WITH SCORE 32740.948
AT ITER 7279 NEW BEST:: SOT 209435 SOS 134900 HAS SOPS 123926 HAS SOUS 35915 HAS SOUPS 32582 WITH SCORE 32716.9
AT ITER 7287 NEW BEST:: SOT 209435 SOS 134900 HAS SOPS 123926 HAS SOUS 35913 HAS SOUPS 32580 WITH SCORE 32714.9
AT ITER 7289 NEW BEST:: SOT 209435 SOS 134892 HAS SOPS 123945 HAS SOUS 35894 HAS SOUPS 32561 WITH SCORE 32695.892
AT ITER 7329 NEW BEST:: SOT 209412 SOS 134904 HAS SOPS 123934 HAS SOUS 35883 HAS SOUPS 32550 WITH SCORE 32684.904
AT ITER 7332 NEW BEST:: SOT 209399 SOS 134686 HAS SOPS 123716 HAS SOUS 35867 HAS SOUPS 32534 WITH SCORE 32668.686
AT ITER 7338 NEW BEST:: SOT 209399 SOS 134684 HAS SOPS 123714 HAS SOUS 35866 HAS SOUPS 32533 WITH SCORE 32667.684
AT ITER 7372 NEW BEST:: SOT 209399 SOS 134677 HAS SOPS 123707 HAS SOUS 35866 HAS SOUPS 32533 WITH SCORE 32667.677
AT ITER 7398 NEW BEST:: SOT 209360 SOS 134670 HAS SOPS 123718 HAS SOUS 35852 HAS SOUPS 32528 WITH SCORE 32662.67
AT ITER 7449 NEW BEST:: SOT 209373 SOS 134636 HAS SOPS 123684 HAS SOUS 35841 HAS SOUPS 32517 WITH SCORE 32651.636
AT ITER 7474 NEW BEST:: SOT 209372 SOS 134635 HAS SOPS 123683 HAS SOUS 35839 HAS SOUPS 32515 WITH SCORE 32649.635
AT ITER 7476 NEW BEST:: SOT 209346 SOS 134615 HAS SOPS 123663 HAS SOUS 35788 HAS SOUPS 32464 WITH SCORE 32598.615
AT ITER 7491 NEW BEST:: SOT 209346 SOS 134610 HAS SOPS 123658 HAS SOUS 35781 HAS SOUPS 32457 WITH SCORE 32591.61
AT ITER 7514 NEW BEST:: SOT 209315 SOS 134606 HAS SOPS 123654 HAS SOUS 35773 HAS SOUPS 32449 WITH SCORE 32583.606
AT ITER 7529 NEW BEST:: SOT 209315 SOS 134564 HAS SOPS 123612 HAS SOUS 35752 HAS SOUPS 32428 WITH SCORE 32562.564
AT ITER 7539 NEW BEST:: SOT 209218 SOS 134467 HAS SOPS 123515 HAS SOUS 35656 HAS SOUPS 32332 WITH SCORE 32466.467
AT ITER 7569 NEW BEST:: SOT 209217 SOS 134513 HAS SOPS 123561 HAS SOUS 35650 HAS SOUPS 32326 WITH SCORE 32460.513
AT ITER 7591 NEW BEST:: SOT 209214 SOS 134510 HAS SOPS 123558 HAS SOUS 35644 HAS SOUPS 32320 WITH SCORE 32454.51
AT ITER 7628 NEW BEST:: SOT 209195 SOS 134482 HAS SOPS 123521 HAS SOUS 35637 HAS SOUPS 32313 WITH SCORE 32447.482
AT ITER 7673 NEW BEST:: SOT 209190 SOS 134477 HAS SOPS 123516 HAS SOUS 35632 HAS SOUPS 32308 WITH SCORE 32442.477
AT ITER 7689 NEW BEST:: SOT 209197 SOS 134484 HAS SOPS 123523 HAS SOUS 35630 HAS SOUPS 32306 WITH SCORE 32440.484
AT ITER 7777 NEW BEST:: SOT 209153 SOS 134464 HAS SOPS 123525 HAS SOUS 35588 HAS SOUPS 32264 WITH SCORE 32398.464
AT ITER 7796 NEW BEST:: SOT 209110 SOS 134421 HAS SOPS 123482 HAS SOUS 35556 HAS SOUPS 32232 WITH SCORE 32366.421
AT ITER 7833 NEW BEST:: SOT 209049 SOS 134446 HAS SOPS 123513 HAS SOUS 35545 HAS SOUPS 32221 WITH SCORE 32355.446
AT ITER 7862 NEW BEST:: SOT 209049 SOS 134446 HAS SOPS 123513 HAS SOUS 35541 HAS SOUPS 32217 WITH SCORE 32351.446
AT ITER 7865 NEW BEST:: SOT 209033 SOS 134464 HAS SOPS 123514 HAS SOUS 35543 HAS SOUPS 32202 WITH SCORE 32336.464
AT ITER 7872 NEW BEST:: SOT 209033 SOS 134464 HAS SOPS 123514 HAS SOUS 35511 HAS SOUPS 32170 WITH SCORE 32304.464
AT ITER 7875 NEW BEST:: SOT 209031 SOS 134462 HAS SOPS 123512 HAS SOUS 35507 HAS SOUPS 32166 WITH SCORE 32300.462
AT ITER 7886 NEW BEST:: SOT 209031 SOS 134444 HAS SOPS 123494 HAS SOUS 35455 HAS SOUPS 32114 WITH SCORE 32248.444
AT ITER 7889 NEW BEST:: SOT 209025 SOS 134438 HAS SOPS 123488 HAS SOUS 35443 HAS SOUPS 32102 WITH SCORE 32236.438
AT ITER 7896 NEW BEST:: SOT 209060 SOS 134473 HAS SOPS 123523 HAS SOUS 35441 HAS SOUPS 32100 WITH SCORE 32234.473
AT ITER 7908 NEW BEST:: SOT 209060 SOS 134473 HAS SOPS 123499 HAS SOUS 35441 HAS SOUPS 32084 WITH SCORE 32218.473
AT ITER 7932 NEW BEST:: SOT 209052 SOS 134465 HAS SOPS 123491 HAS SOUS 35417 HAS SOUPS 32060 WITH SCORE 32194.465
AT ITER 7993 NEW BEST:: SOT 209045 SOS 134443 HAS SOPS 123447 HAS SOUS 35403 HAS SOUPS 32046 WITH SCORE 32180.443
AT ITER 7995 NEW BEST:: SOT 209167 SOS 134565 HAS SOPS 123447 HAS SOUS 35370 HAS SOUPS 31891 WITH SCORE 32025.565
AT ITER 8010 NEW BEST:: SOT 209171 SOS 134521 HAS SOPS 123403 HAS SOUS 35350 HAS SOUPS 31871 WITH SCORE 32005.521
AT ITER 8026 NEW BEST:: SOT 209169 SOS 134514 HAS SOPS 123396 HAS SOUS 35348 HAS SOUPS 31869 WITH SCORE 32003.514
AT ITER 8029 NEW BEST:: SOT 209181 SOS 134565 HAS SOPS 123447 HAS SOUS 35344 HAS SOUPS 31865 WITH SCORE 31999.565
AT ITER 8047 NEW BEST:: SOT 209179 SOS 134563 HAS SOPS 123445 HAS SOUS 35336 HAS SOUPS 31857 WITH SCORE 31991.563
AT ITER 8058 NEW BEST:: SOT 209297 SOS 134452 HAS SOPS 122844 HAS SOUS 35285 HAS SOUPS 31806 WITH SCORE 31940.452
AT ITER 8084 NEW BEST:: SOT 209299 SOS 134454 HAS SOPS 122846 HAS SOUS 35275 HAS SOUPS 31796 WITH SCORE 31930.454
AT ITER 8133 NEW BEST:: SOT 209288 SOS 134432 HAS SOPS 122824 HAS SOUS 35245 HAS SOUPS 31766 WITH SCORE 31900.432
AT ITER 8135 NEW BEST:: SOT 209287 SOS 134719 HAS SOPS 123111 HAS SOUS 35234 HAS SOUPS 31755 WITH SCORE 31889.719
AT ITER 8140 NEW BEST:: SOT 209255 SOS 134681 HAS SOPS 123073 HAS SOUS 35216 HAS SOUPS 31737 WITH SCORE 31871.681
AT ITER 8163 NEW BEST:: SOT 209266 SOS 134692 HAS SOPS 123084 HAS SOUS 35205 HAS SOUPS 31726 WITH SCORE 31860.692
AT ITER 8175 NEW BEST:: SOT 209266 SOS 134683 HAS SOPS 123075 HAS SOUS 35196 HAS SOUPS 31717 WITH SCORE 31851.683
AT ITER 8192 NEW BEST:: SOT 209266 SOS 134671 HAS SOPS 123063 HAS SOUS 35196 HAS SOUPS 31717 WITH SCORE 31851.671
AT ITER 8211 NEW BEST:: SOT 209291 SOS 134714 HAS SOPS 123030 HAS SOUS 35095 HAS SOUPS 31616 WITH SCORE 31750.714
AT ITER 8255 NEW BEST:: SOT 209277 SOS 134700 HAS SOPS 123009 HAS SOUS 35074 HAS SOUPS 31595 WITH SCORE 31729.7
AT ITER 8258 NEW BEST:: SOT 209243 SOS 134666 HAS SOPS 122975 HAS SOUS 35057 HAS SOUPS 31578 WITH SCORE 31712.666
AT ITER 8281 NEW BEST:: SOT 209255 SOS 134577 HAS SOPS 122878 HAS SOUS 34771 HAS SOUPS 31292 WITH SCORE 31426.577
AT ITER 8288 NEW BEST:: SOT 209203 SOS 134369 HAS SOPS 122670 HAS SOUS 34769 HAS SOUPS 31290 WITH SCORE 31424.369
AT ITER 8295 NEW BEST:: SOT 209202 SOS 134367 HAS SOPS 122666 HAS SOUS 34767 HAS SOUPS 31288 WITH SCORE 31422.367
AT ITER 8303 NEW BEST:: SOT 209202 SOS 134115 HAS SOPS 122378 HAS SOUS 34767 HAS SOUPS 31252 WITH SCORE 31386.115
AT ITER 8317 NEW BEST:: SOT 209163 SOS 134076 HAS SOPS 122339 HAS SOUS 34728 HAS SOUPS 31213 WITH SCORE 31347.076
AT ITER 8327 NEW BEST:: SOT 209185 SOS 134098 HAS SOPS 122361 HAS SOUS 34721 HAS SOUPS 31206 WITH SCORE 31340.098
AT ITER 8338 NEW BEST:: SOT 209170 SOS 134083 HAS SOPS 122346 HAS SOUS 34706 HAS SOUPS 31191 WITH SCORE 31325.083
AT ITER 8340 NEW BEST:: SOT 209154 SOS 134050 HAS SOPS 122283 HAS SOUS 34668 HAS SOUPS 31153 WITH SCORE 31287.05
AT ITER 8344 NEW BEST:: SOT 209153 SOS 134049 HAS SOPS 122282 HAS SOUS 34667 HAS SOUPS 31152 WITH SCORE 31286.049
AT ITER 8353 NEW BEST:: SOT 209133 SOS 134029 HAS SOPS 122262 HAS SOUS 34657 HAS SOUPS 31142 WITH SCORE 31276.029
AT ITER 8405 NEW BEST:: SOT 209129 SOS 134089 HAS SOPS 122314 HAS SOUS 34653 HAS SOUPS 31138 WITH SCORE 31272.089
AT ITER 8415 NEW BEST:: SOT 209129 SOS 134089 HAS SOPS 122314 HAS SOUS 34649 HAS SOUPS 31134 WITH SCORE 31268.089
AT ITER 8461 NEW BEST:: SOT 209140 SOS 134030 HAS SOPS 122255 HAS SOUS 34642 HAS SOUPS 31127 WITH SCORE 31261.03
AT ITER 8537 NEW BEST:: SOT 209074 SOS 133944 HAS SOPS 122169 HAS SOUS 34582 HAS SOUPS 31067 WITH SCORE 31200.944
AT ITER 8553 NEW BEST:: SOT 209089 SOS 133975 HAS SOPS 122200 HAS SOUS 34548 HAS SOUPS 31033 WITH SCORE 31166.975
AT ITER 8603 NEW BEST:: SOT 209087 SOS 133987 HAS SOPS 122212 HAS SOUS 34546 HAS SOUPS 31031 WITH SCORE 31164.987
AT ITER 8608 NEW BEST:: SOT 209074 SOS 133974 HAS SOPS 122199 HAS SOUS 34533 HAS SOUPS 31018 WITH SCORE 31151.974
AT ITER 8632 NEW BEST:: SOT 209072 SOS 133972 HAS SOPS 122197 HAS SOUS 34531 HAS SOUPS 31016 WITH SCORE 31149.972
AT ITER 8673 NEW BEST:: SOT 209068 SOS 133960 HAS SOPS 122185 HAS SOUS 34519 HAS SOUPS 31004 WITH SCORE 31137.96
AT ITER 8699 NEW BEST:: SOT 209066 SOS 133922 HAS SOPS 122147 HAS SOUS 34515 HAS SOUPS 31000 WITH SCORE 31133.922
AT ITER 8771 NEW BEST:: SOT 209058 SOS 133897 HAS SOPS 122122 HAS SOUS 34514 HAS SOUPS 30999 WITH SCORE 31132.897
AT ITER 8808 NEW BEST:: SOT 209104 SOS 133954 HAS SOPS 122179 HAS SOUS 34501 HAS SOUPS 30986 WITH SCORE 31119.954
AT ITER 8809 NEW BEST:: SOT 209094 SOS 133944 HAS SOPS 122169 HAS SOUS 34485 HAS SOUPS 30970 WITH SCORE 31103.944
AT ITER 8810 NEW BEST:: SOT 209087 SOS 133937 HAS SOPS 122162 HAS SOUS 34485 HAS SOUPS 30970 WITH SCORE 31103.937
AT ITER 8815 NEW BEST:: SOT 209071 SOS 133921 HAS SOPS 122146 HAS SOUS 34433 HAS SOUPS 30918 WITH SCORE 31051.921
AT ITER 8826 NEW BEST:: SOT 209073 SOS 133923 HAS SOPS 122144 HAS SOUS 34431 HAS SOUPS 30916 WITH SCORE 31049.923
AT ITER 8903 NEW BEST:: SOT 209064 SOS 133905 HAS SOPS 122126 HAS SOUS 34422 HAS SOUPS 30907 WITH SCORE 31040.905
AT ITER 8906 NEW BEST:: SOT 209049 SOS 133924 HAS SOPS 122145 HAS SOUS 34394 HAS SOUPS 30879 WITH SCORE 31012.924
AT ITER 8945 NEW BEST:: SOT 209041 SOS 133922 HAS SOPS 122103 HAS SOUS 34352 HAS SOUPS 30837 WITH SCORE 30970.922
AT ITER 8948 NEW BEST:: SOT 209039 SOS 133920 HAS SOPS 122101 HAS SOUS 34350 HAS SOUPS 30835 WITH SCORE 30968.92
AT ITER 8950 NEW BEST:: SOT 209039 SOS 133924 HAS SOPS 122105 HAS SOUS 34319 HAS SOUPS 30804 WITH SCORE 30937.924
AT ITER 8973 NEW BEST:: SOT 209043 SOS 134145 HAS SOPS 122326 HAS SOUS 34307 HAS SOUPS 30792 WITH SCORE 30926.145
AT ITER 8988 NEW BEST:: SOT 209042 SOS 134144 HAS SOPS 122325 HAS SOUS 34306 HAS SOUPS 30791 WITH SCORE 30925.144
AT ITER 8996 NEW BEST:: SOT 209038 SOS 134140 HAS SOPS 122321 HAS SOUS 34306 HAS SOUPS 30791 WITH SCORE 30925.14
AT ITER 9001 NEW BEST:: SOT 209000 SOS 134243 HAS SOPS 122201 HAS SOUS 34328 HAS SOUPS 30740 WITH SCORE 30874.243
AT ITER 9006 NEW BEST:: SOT 209000 SOS 134239 HAS SOPS 122197 HAS SOUS 34326 HAS SOUPS 30738 WITH SCORE 30872.239
AT ITER 9117 NEW BEST:: SOT 208984 SOS 134207 HAS SOPS 122149 HAS SOUS 34294 HAS SOUPS 30706 WITH SCORE 30840.207
AT ITER 9132 NEW BEST:: SOT 208961 SOS 134184 HAS SOPS 122126 HAS SOUS 34288 HAS SOUPS 30700 WITH SCORE 30834.184
AT ITER 9146 NEW BEST:: SOT 208961 SOS 134184 HAS SOPS 122126 HAS SOUS 34280 HAS SOUPS 30692 WITH SCORE 30826.184
AT ITER 9157 NEW BEST:: SOT 208961 SOS 134184 HAS SOPS 122126 HAS SOUS 34270 HAS SOUPS 30682 WITH SCORE 30816.184
AT ITER 9165 NEW BEST:: SOT 208943 SOS 134142 HAS SOPS 122084 HAS SOUS 34258 HAS SOUPS 30670 WITH SCORE 30804.142
AT ITER 9174 NEW BEST:: SOT 208943 SOS 134718 HAS SOPS 122660 HAS SOUS 34242 HAS SOUPS 30654 WITH SCORE 30788.718
AT ITER 9181 NEW BEST:: SOT 208937 SOS 134692 HAS SOPS 122634 HAS SOUS 34220 HAS SOUPS 30632 WITH SCORE 30766.692
AT ITER 9182 NEW BEST:: SOT 208976 SOS 134731 HAS SOPS 122673 HAS SOUS 34216 HAS SOUPS 30628 WITH SCORE 30762.731
AT ITER 9190 NEW BEST:: SOT 208977 SOS 134748 HAS SOPS 122690 HAS SOUS 34211 HAS SOUPS 30623 WITH SCORE 30757.748
AT ITER 9231 NEW BEST:: SOT 208972 SOS 134821 HAS SOPS 122763 HAS SOUS 34195 HAS SOUPS 30607 WITH SCORE 30741.821
AT ITER 9280 NEW BEST:: SOT 208961 SOS 135097 HAS SOPS 123039 HAS SOUS 34183 HAS SOUPS 30595 WITH SCORE 30730.097
AT ITER 9344 NEW BEST:: SOT 209024 SOS 135167 HAS SOPS 123109 HAS SOUS 34160 HAS SOUPS 30572 WITH SCORE 30707.167
AT ITER 9380 NEW BEST:: SOT 208928 SOS 135235 HAS SOPS 123046 HAS SOUS 34152 HAS SOUPS 30537 WITH SCORE 30672.235
AT ITER 9448 NEW BEST:: SOT 208931 SOS 135238 HAS SOPS 123049 HAS SOUS 34126 HAS SOUPS 30511 WITH SCORE 30646.238
AT ITER 9449 NEW BEST:: SOT 208988 SOS 135381 HAS SOPS 123192 HAS SOUS 34101 HAS SOUPS 30486 WITH SCORE 30621.381
AT ITER 9461 NEW BEST:: SOT 208983 SOS 135311 HAS SOPS 123122 HAS SOUS 34066 HAS SOUPS 30451 WITH SCORE 30586.311
AT ITER 9497 NEW BEST:: SOT 208993 SOS 135321 HAS SOPS 123132 HAS SOUS 34014 HAS SOUPS 30399 WITH SCORE 30534.321
AT ITER 9498 NEW BEST:: SOT 208987 SOS 135315 HAS SOPS 123114 HAS SOUS 34014 HAS SOUPS 30393 WITH SCORE 30528.315
AT ITER 9555 NEW BEST:: SOT 209010 SOS 135288 HAS SOPS 123087 HAS SOUS 34012 HAS SOUPS 30391 WITH SCORE 30526.288
AT ITER 9564 NEW BEST:: SOT 209010 SOS 135288 HAS SOPS 123087 HAS SOUS 34004 HAS SOUPS 30383 WITH SCORE 30518.288
AT ITER 9598 NEW BEST:: SOT 209010 SOS 135452 HAS SOPS 123251 HAS SOUS 33980 HAS SOUPS 30359 WITH SCORE 30494.452
AT ITER 9602 NEW BEST:: SOT 209010 SOS 135382 HAS SOPS 123181 HAS SOUS 33945 HAS SOUPS 30324 WITH SCORE 30459.382
AT ITER 9635 NEW BEST:: SOT 209004 SOS 135373 HAS SOPS 123163 HAS SOUS 33933 HAS SOUPS 30306 WITH SCORE 30441.373
AT ITER 9643 NEW BEST:: SOT 209017 SOS 135360 HAS SOPS 123176 HAS SOUS 33920 HAS SOUPS 30306 WITH SCORE 30441.36
AT ITER 9704 NEW BEST:: SOT 209008 SOS 135351 HAS SOPS 123167 HAS SOUS 33920 HAS SOUPS 30306 WITH SCORE 30441.351
AT ITER 9707 NEW BEST:: SOT 208990 SOS 135333 HAS SOPS 123149 HAS SOUS 33890 HAS SOUPS 30276 WITH SCORE 30411.333
AT ITER 9762 NEW BEST:: SOT 208990 SOS 135325 HAS SOPS 123141 HAS SOUS 33882 HAS SOUPS 30268 WITH SCORE 30403.325
AT ITER 9771 NEW BEST:: SOT 208989 SOS 135324 HAS SOPS 123140 HAS SOUS 33880 HAS SOUPS 30266 WITH SCORE 30401.324
AT ITER 9785 NEW BEST:: SOT 209046 SOS 135338 HAS SOPS 122826 HAS SOUS 33863 HAS SOUPS 30249 WITH SCORE 30384.338
AT ITER 9822 NEW BEST:: SOT 209059 SOS 135227 HAS SOPS 122715 HAS SOUS 33827 HAS SOUPS 30213 WITH SCORE 30348.227
AT ITER 9869 NEW BEST:: SOT 209095 SOS 135215 HAS SOPS 122703 HAS SOUS 33811 HAS SOUPS 30197 WITH SCORE 30332.215
AT ITER 9875 NEW BEST:: SOT 209099 SOS 135219 HAS SOPS 122707 HAS SOUS 33809 HAS SOUPS 30195 WITH SCORE 30330.219
AT ITER 9905 NEW BEST:: SOT 209095 SOS 135292 HAS SOPS 122780 HAS SOUS 33806 HAS SOUPS 30192 WITH SCORE 30327.292
AT ITER 9938 NEW BEST:: SOT 209089 SOS 135280 HAS SOPS 122768 HAS SOUS 33800 HAS SOUPS 30186 WITH SCORE 30321.28
AT ITER 9944 NEW BEST:: SOT 209064 SOS 135230 HAS SOPS 122686 HAS SOUS 33777 HAS SOUPS 30163 WITH SCORE 30298.23
AT ITER 9972 NEW BEST:: SOT 208986 SOS 136186 HAS SOPS 123502 HAS SOUS 33657 HAS SOUPS 30043 WITH SCORE 30179.186
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3363816 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152664 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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