Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140500435.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is JoinFreeModules-PT-0100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140500435
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 744K
-rw-r--r-- 1 mcc users 3.4K Apr 7 19:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 7 19:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 20:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 04:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 04:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 5 10:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 5 10:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 566K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589617057958

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0100
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 501 places, 801 transitions, 2302 arcs.
AT ITER 0 NEW BEST:: SOT 280901 SOS 190901 HAS SOPS 190800 HAS SOUS 190901 HAS SOUPS 190800 WITH SCORE 190990.901
AT ITER 3 NEW BEST:: SOT 280749 SOS 190658 HAS SOPS 190452 HAS SOUS 190658 HAS SOUPS 190452 WITH SCORE 190642.658
AT ITER 4 NEW BEST:: SOT 280781 SOS 190626 HAS SOPS 190420 HAS SOUS 190626 HAS SOUPS 190420 WITH SCORE 190610.626
AT ITER 5 NEW BEST:: SOT 280767 SOS 190542 HAS SOPS 190075 HAS SOUS 190342 HAS SOUPS 189875 WITH SCORE 190065.542
AT ITER 6 NEW BEST:: SOT 280647 SOS 190224 HAS SOPS 189757 HAS SOUS 190024 HAS SOUPS 189557 WITH SCORE 189747.224
AT ITER 8 NEW BEST:: SOT 280612 SOS 190150 HAS SOPS 189683 HAS SOUS 189950 HAS SOUPS 189483 WITH SCORE 189673.15
AT ITER 16 NEW BEST:: SOT 280357 SOS 189895 HAS SOPS 189428 HAS SOUS 189695 HAS SOUPS 189228 WITH SCORE 189417.895
AT ITER 17 NEW BEST:: SOT 280154 SOS 189498 HAS SOPS 189031 HAS SOUS 189298 HAS SOUPS 188831 WITH SCORE 189020.498
AT ITER 19 NEW BEST:: SOT 279941 SOS 189285 HAS SOPS 188818 HAS SOUS 189014 HAS SOUPS 188547 WITH SCORE 188736.285
AT ITER 20 NEW BEST:: SOT 279645 SOS 188790 HAS SOPS 188323 HAS SOUS 188519 HAS SOUPS 188052 WITH SCORE 188240.79
AT ITER 21 NEW BEST:: SOT 279322 SOS 187549 HAS SOPS 187082 HAS SOUS 187237 HAS SOUPS 186770 WITH SCORE 186957.549
AT ITER 24 NEW BEST:: SOT 279412 SOS 187459 HAS SOPS 186992 HAS SOUS 187147 HAS SOUPS 186680 WITH SCORE 186867.459
AT ITER 25 NEW BEST:: SOT 279443 SOS 187198 HAS SOPS 186729 HAS SOUS 186777 HAS SOUPS 186308 WITH SCORE 186495.198
AT ITER 26 NEW BEST:: SOT 279399 SOS 186978 HAS SOPS 186509 HAS SOUS 186557 HAS SOUPS 186088 WITH SCORE 186274.978
AT ITER 28 NEW BEST:: SOT 279549 SOS 186968 HAS SOPS 186499 HAS SOUS 186547 HAS SOUPS 186078 WITH SCORE 186264.968
AT ITER 29 NEW BEST:: SOT 279526 SOS 186853 HAS SOPS 186384 HAS SOUS 186432 HAS SOUPS 185963 WITH SCORE 186149.853
AT ITER 32 NEW BEST:: SOT 279790 SOS 186900 HAS SOPS 186431 HAS SOUS 186284 HAS SOUPS 185815 WITH SCORE 186001.9
AT ITER 33 NEW BEST:: SOT 279803 SOS 186612 HAS SOPS 186138 HAS SOUS 185991 HAS SOUPS 185517 WITH SCORE 185703.612
AT ITER 34 NEW BEST:: SOT 279715 SOS 186335 HAS SOPS 185861 HAS SOUS 185714 HAS SOUPS 185240 WITH SCORE 185426.335
AT ITER 36 NEW BEST:: SOT 279235 SOS 185656 HAS SOPS 185182 HAS SOUS 185035 HAS SOUPS 184561 WITH SCORE 184746.656
AT ITER 37 NEW BEST:: SOT 278750 SOS 184971 HAS SOPS 184497 HAS SOUS 184350 HAS SOUPS 183876 WITH SCORE 184060.971
AT ITER 38 NEW BEST:: SOT 278964 SOS 184801 HAS SOPS 184327 HAS SOUS 184138 HAS SOUPS 183664 WITH SCORE 183848.801
AT ITER 40 NEW BEST:: SOT 278893 SOS 184446 HAS SOPS 183972 HAS SOUS 183783 HAS SOUPS 183309 WITH SCORE 183493.446
AT ITER 41 NEW BEST:: SOT 278685 SOS 184330 HAS SOPS 183856 HAS SOUS 183667 HAS SOUPS 183193 WITH SCORE 183377.33
AT ITER 43 NEW BEST:: SOT 278454 SOS 184099 HAS SOPS 183625 HAS SOUS 183436 HAS SOUPS 182962 WITH SCORE 183146.099
AT ITER 44 NEW BEST:: SOT 277984 SOS 183475 HAS SOPS 183001 HAS SOUS 183045 HAS SOUPS 182571 WITH SCORE 182754.475
AT ITER 45 NEW BEST:: SOT 278400 SOS 183537 HAS SOPS 183063 HAS SOUS 182907 HAS SOUPS 182433 WITH SCORE 182616.537
AT ITER 47 NEW BEST:: SOT 278323 SOS 183107 HAS SOPS 182633 HAS SOUS 182432 HAS SOUPS 181958 WITH SCORE 182141.107
AT ITER 48 NEW BEST:: SOT 278420 SOS 183010 HAS SOPS 182536 HAS SOUS 182335 HAS SOUPS 181861 WITH SCORE 182044.01
AT ITER 52 NEW BEST:: SOT 278493 SOS 182855 HAS SOPS 182381 HAS SOUS 182046 HAS SOUPS 181572 WITH SCORE 181754.855
AT ITER 54 NEW BEST:: SOT 278413 SOS 182735 HAS SOPS 182261 HAS SOUS 181886 HAS SOUPS 181412 WITH SCORE 181594.735
AT ITER 55 NEW BEST:: SOT 278431 SOS 182717 HAS SOPS 182243 HAS SOUS 181868 HAS SOUPS 181394 WITH SCORE 181576.717
AT ITER 56 NEW BEST:: SOT 278271 SOS 182515 HAS SOPS 182041 HAS SOUS 181666 HAS SOUPS 181192 WITH SCORE 181374.515
AT ITER 57 NEW BEST:: SOT 277792 SOS 181836 HAS SOPS 181362 HAS SOUS 180987 HAS SOUPS 180513 WITH SCORE 180694.836
AT ITER 59 NEW BEST:: SOT 277788 SOS 181816 HAS SOPS 181342 HAS SOUS 180967 HAS SOUPS 180493 WITH SCORE 180674.816
AT ITER 60 NEW BEST:: SOT 277690 SOS 181620 HAS SOPS 181146 HAS SOUS 180771 HAS SOUPS 180297 WITH SCORE 180478.62
AT ITER 63 NEW BEST:: SOT 277952 SOS 181558 HAS SOPS 181084 HAS SOUS 180521 HAS SOUPS 180047 WITH SCORE 180228.558
AT ITER 64 NEW BEST:: SOT 277943 SOS 181531 HAS SOPS 181057 HAS SOUS 180494 HAS SOUPS 180020 WITH SCORE 180201.531
AT ITER 65 NEW BEST:: SOT 277800 SOS 180958 HAS SOPS 180484 HAS SOUS 179722 HAS SOUPS 179248 WITH SCORE 179428.958
AT ITER 66 NEW BEST:: SOT 277314 SOS 180272 HAS SOPS 179798 HAS SOUS 179036 HAS SOUPS 178562 WITH SCORE 178742.272
AT ITER 67 NEW BEST:: SOT 277698 SOS 180399 HAS SOPS 179925 HAS SOUS 179002 HAS SOUPS 178528 WITH SCORE 178708.399
AT ITER 68 NEW BEST:: SOT 277685 SOS 180386 HAS SOPS 179912 HAS SOUS 178989 HAS SOUPS 178515 WITH SCORE 178695.386
AT ITER 70 NEW BEST:: SOT 277594 SOS 179908 HAS SOPS 179434 HAS SOUS 178412 HAS SOUPS 177938 WITH SCORE 178117.908
AT ITER 72 NEW BEST:: SOT 277816 SOS 179777 HAS SOPS 179303 HAS SOUS 178277 HAS SOUPS 177803 WITH SCORE 177982.777
AT ITER 73 NEW BEST:: SOT 277782 SOS 179743 HAS SOPS 179269 HAS SOUS 178243 HAS SOUPS 177769 WITH SCORE 177948.743
AT ITER 74 NEW BEST:: SOT 277371 SOS 178908 HAS SOPS 178434 HAS SOUS 177408 HAS SOUPS 176934 WITH SCORE 177112.908
AT ITER 75 NEW BEST:: SOT 277227 SOS 178716 HAS SOPS 178242 HAS SOUS 177216 HAS SOUPS 176742 WITH SCORE 176920.716
AT ITER 79 NEW BEST:: SOT 277322 SOS 178621 HAS SOPS 178147 HAS SOUS 177121 HAS SOUPS 176647 WITH SCORE 176825.621
AT ITER 81 NEW BEST:: SOT 277044 SOS 178256 HAS SOPS 177782 HAS SOUS 176756 HAS SOUPS 176282 WITH SCORE 176460.256
AT ITER 85 NEW BEST:: SOT 277009 SOS 177897 HAS SOPS 177423 HAS SOUS 176199 HAS SOUPS 175725 WITH SCORE 175902.897
AT ITER 86 NEW BEST:: SOT 276957 SOS 177845 HAS SOPS 177371 HAS SOUS 176147 HAS SOUPS 175673 WITH SCORE 175850.845
AT ITER 87 NEW BEST:: SOT 276949 SOS 177813 HAS SOPS 177339 HAS SOUS 176123 HAS SOUPS 175649 WITH SCORE 175826.813
AT ITER 89 NEW BEST:: SOT 277140 SOS 178000 HAS SOPS 177526 HAS SOUS 176117 HAS SOUPS 175643 WITH SCORE 175821.0
AT ITER 93 NEW BEST:: SOT 277052 SOS 177536 HAS SOPS 177062 HAS SOUS 175629 HAS SOUPS 175155 WITH SCORE 175332.536
AT ITER 96 NEW BEST:: SOT 276994 SOS 177362 HAS SOPS 176888 HAS SOUS 175455 HAS SOUPS 174981 WITH SCORE 175158.362
AT ITER 98 NEW BEST:: SOT 276757 SOS 177002 HAS SOPS 176528 HAS SOUS 175095 HAS SOUPS 174621 WITH SCORE 174798.002
AT ITER 101 NEW BEST:: SOT 276757 SOS 176994 HAS SOPS 176520 HAS SOUS 175087 HAS SOUPS 174613 WITH SCORE 174789.994
AT ITER 103 NEW BEST:: SOT 276546 SOS 176609 HAS SOPS 176135 HAS SOUS 174569 HAS SOUPS 174095 WITH SCORE 174271.609
AT ITER 106 NEW BEST:: SOT 276257 SOS 176320 HAS SOPS 175846 HAS SOUS 174280 HAS SOUPS 173806 WITH SCORE 173982.32
AT ITER 107 NEW BEST:: SOT 276226 SOS 176289 HAS SOPS 175815 HAS SOUS 174249 HAS SOUPS 173775 WITH SCORE 173951.289
AT ITER 108 NEW BEST:: SOT 276316 SOS 175938 HAS SOPS 175464 HAS SOUS 173768 HAS SOUPS 173294 WITH SCORE 173469.938
AT ITER 110 NEW BEST:: SOT 276049 SOS 175671 HAS SOPS 175197 HAS SOUS 173501 HAS SOUPS 173027 WITH SCORE 173202.671
AT ITER 112 NEW BEST:: SOT 275428 SOS 174323 HAS SOPS 173830 HAS SOUS 172367 HAS SOUPS 171874 WITH SCORE 172048.323
AT ITER 114 NEW BEST:: SOT 275489 SOS 174262 HAS SOPS 173769 HAS SOUS 172306 HAS SOUPS 171813 WITH SCORE 171987.262
AT ITER 118 NEW BEST:: SOT 275391 SOS 173666 HAS SOPS 173173 HAS SOUS 171861 HAS SOUPS 171368 WITH SCORE 171541.666
AT ITER 119 NEW BEST:: SOT 275389 SOS 173663 HAS SOPS 173170 HAS SOUS 171858 HAS SOUPS 171365 WITH SCORE 171538.663
AT ITER 120 NEW BEST:: SOT 275113 SOS 173387 HAS SOPS 172894 HAS SOUS 171582 HAS SOUPS 171089 WITH SCORE 171262.387
AT ITER 122 NEW BEST:: SOT 275075 SOS 173349 HAS SOPS 172856 HAS SOUS 171544 HAS SOUPS 171051 WITH SCORE 171224.349
AT ITER 124 NEW BEST:: SOT 275037 SOS 173311 HAS SOPS 172818 HAS SOUS 171506 HAS SOUPS 171013 WITH SCORE 171186.311
AT ITER 125 NEW BEST:: SOT 274911 SOS 173157 HAS SOPS 172664 HAS SOUS 171352 HAS SOUPS 170859 WITH SCORE 171032.157
AT ITER 126 NEW BEST:: SOT 274819 SOS 172967 HAS SOPS 172474 HAS SOUS 171162 HAS SOUPS 170669 WITH SCORE 170841.967
AT ITER 128 NEW BEST:: SOT 274849 SOS 172772 HAS SOPS 172279 HAS SOUS 170937 HAS SOUPS 170444 WITH SCORE 170616.772
AT ITER 129 NEW BEST:: SOT 274583 SOS 172066 HAS SOPS 171573 HAS SOUS 170231 HAS SOUPS 169738 WITH SCORE 169910.066
AT ITER 131 NEW BEST:: SOT 274642 SOS 172007 HAS SOPS 171514 HAS SOUS 170172 HAS SOUPS 169679 WITH SCORE 169851.007
AT ITER 134 NEW BEST:: SOT 274877 SOS 171902 HAS SOPS 171409 HAS SOUS 169889 HAS SOUPS 169396 WITH SCORE 169567.902
AT ITER 135 NEW BEST:: SOT 274461 SOS 170916 HAS SOPS 170423 HAS SOUS 168693 HAS SOUPS 168200 WITH SCORE 168370.916
AT ITER 136 NEW BEST:: SOT 274441 SOS 170718 HAS SOPS 170225 HAS SOUS 168495 HAS SOUPS 168002 WITH SCORE 168172.718
AT ITER 139 NEW BEST:: SOT 274651 SOS 170185 HAS SOPS 169692 HAS SOUS 168092 HAS SOUPS 167599 WITH SCORE 167769.185
AT ITER 140 NEW BEST:: SOT 274263 SOS 169215 HAS SOPS 168722 HAS SOUS 167122 HAS SOUPS 166629 WITH SCORE 166798.215
AT ITER 141 NEW BEST:: SOT 274008 SOS 168960 HAS SOPS 168467 HAS SOUS 166867 HAS SOUPS 166374 WITH SCORE 166542.96
AT ITER 142 NEW BEST:: SOT 273832 SOS 168777 HAS SOPS 168284 HAS SOUS 166722 HAS SOUPS 166229 WITH SCORE 166397.777
AT ITER 144 NEW BEST:: SOT 273737 SOS 168492 HAS SOPS 167999 HAS SOUS 166437 HAS SOUPS 165944 WITH SCORE 166112.492
AT ITER 145 NEW BEST:: SOT 273438 SOS 167893 HAS SOPS 167400 HAS SOUS 165739 HAS SOUPS 165246 WITH SCORE 165413.893
AT ITER 146 NEW BEST:: SOT 273400 SOS 167855 HAS SOPS 167362 HAS SOUS 165701 HAS SOUPS 165208 WITH SCORE 165375.855
AT ITER 148 NEW BEST:: SOT 273394 SOS 167825 HAS SOPS 167332 HAS SOUS 165671 HAS SOUPS 165178 WITH SCORE 165345.825
AT ITER 149 NEW BEST:: SOT 273370 SOS 167729 HAS SOPS 167236 HAS SOUS 165599 HAS SOUPS 165106 WITH SCORE 165273.729
AT ITER 150 NEW BEST:: SOT 273178 SOS 167175 HAS SOPS 166682 HAS SOUS 164845 HAS SOUPS 164352 WITH SCORE 164519.175
AT ITER 153 NEW BEST:: SOT 273080 SOS 166979 HAS SOPS 166486 HAS SOUS 164698 HAS SOUPS 164205 WITH SCORE 164371.979
AT ITER 154 NEW BEST:: SOT 272757 SOS 166287 HAS SOPS 165794 HAS SOUS 164006 HAS SOUPS 163513 WITH SCORE 163679.287
AT ITER 158 NEW BEST:: SOT 272426 SOS 166212 HAS SOPS 165719 HAS SOUS 164001 HAS SOUPS 163508 WITH SCORE 163674.212
AT ITER 159 NEW BEST:: SOT 272073 SOS 165220 HAS SOPS 164727 HAS SOUS 162906 HAS SOUPS 162413 WITH SCORE 162578.22
AT ITER 160 NEW BEST:: SOT 272105 SOS 165188 HAS SOPS 164695 HAS SOUS 162874 HAS SOUPS 162381 WITH SCORE 162546.188
AT ITER 165 NEW BEST:: SOT 271961 SOS 164955 HAS SOPS 164462 HAS SOUS 162641 HAS SOUPS 162148 WITH SCORE 162312.955
AT ITER 167 NEW BEST:: SOT 271858 SOS 164852 HAS SOPS 164359 HAS SOUS 162538 HAS SOUPS 162045 WITH SCORE 162209.852
AT ITER 168 NEW BEST:: SOT 271787 SOS 164710 HAS SOPS 164217 HAS SOUS 162396 HAS SOUPS 161903 WITH SCORE 162067.71
AT ITER 169 NEW BEST:: SOT 271653 SOS 163960 HAS SOPS 163467 HAS SOUS 161598 HAS SOUPS 161105 WITH SCORE 161268.96
AT ITER 170 NEW BEST:: SOT 271717 SOS 163898 HAS SOPS 163405 HAS SOUS 161536 HAS SOUPS 161043 WITH SCORE 161206.898
AT ITER 172 NEW BEST:: SOT 271459 SOS 163376 HAS SOPS 162883 HAS SOUS 160868 HAS SOUPS 160375 WITH SCORE 160538.376
AT ITER 173 NEW BEST:: SOT 271400 SOS 163260 HAS SOPS 162767 HAS SOUS 160721 HAS SOUPS 160228 WITH SCORE 160391.26
AT ITER 174 NEW BEST:: SOT 270998 SOS 162246 HAS SOPS 161753 HAS SOUS 159707 HAS SOUPS 159214 WITH SCORE 159376.246
AT ITER 176 NEW BEST:: SOT 270936 SOS 161871 HAS SOPS 161378 HAS SOUS 159134 HAS SOUPS 158641 WITH SCORE 158802.871
AT ITER 177 NEW BEST:: SOT 270888 SOS 161759 HAS SOPS 161266 HAS SOUS 159022 HAS SOUPS 158529 WITH SCORE 158690.759
AT ITER 182 NEW BEST:: SOT 270591 SOS 160760 HAS SOPS 160267 HAS SOUS 157997 HAS SOUPS 157504 WITH SCORE 157664.76
AT ITER 183 NEW BEST:: SOT 270291 SOS 160224 HAS SOPS 159731 HAS SOUS 157461 HAS SOUPS 156968 WITH SCORE 157128.224
AT ITER 184 NEW BEST:: SOT 270350 SOS 160031 HAS SOPS 159538 HAS SOUS 157318 HAS SOUPS 156825 WITH SCORE 156985.031
AT ITER 185 NEW BEST:: SOT 269550 SOS 158681 HAS SOPS 158188 HAS SOUS 155686 HAS SOUPS 155193 WITH SCORE 155351.681
AT ITER 189 NEW BEST:: SOT 269410 SOS 158541 HAS SOPS 158048 HAS SOUS 155546 HAS SOUPS 155053 WITH SCORE 155211.541
AT ITER 192 NEW BEST:: SOT 269469 SOS 158482 HAS SOPS 157989 HAS SOUS 155487 HAS SOUPS 154994 WITH SCORE 155152.482
AT ITER 193 NEW BEST:: SOT 269404 SOS 158338 HAS SOPS 157845 HAS SOUS 155343 HAS SOUPS 154850 WITH SCORE 155008.338
AT ITER 201 NEW BEST:: SOT 269418 SOS 158380 HAS SOPS 157887 HAS SOUS 155272 HAS SOUPS 154779 WITH SCORE 154937.38
AT ITER 202 NEW BEST:: SOT 269155 SOS 158118 HAS SOPS 157625 HAS SOUS 155010 HAS SOUPS 154517 WITH SCORE 154675.118
AT ITER 204 NEW BEST:: SOT 269155 SOS 158089 HAS SOPS 157596 HAS SOUS 154981 HAS SOUPS 154488 WITH SCORE 154646.089
AT ITER 205 NEW BEST:: SOT 269056 SOS 157792 HAS SOPS 157299 HAS SOUS 154684 HAS SOUPS 154191 WITH SCORE 154348.792
AT ITER 206 NEW BEST:: SOT 269015 SOS 157587 HAS SOPS 157094 HAS SOUS 154479 HAS SOUPS 153986 WITH SCORE 154143.587
AT ITER 208 NEW BEST:: SOT 268503 SOS 156900 HAS SOPS 156407 HAS SOUS 153804 HAS SOUPS 153311 WITH SCORE 153467.9
AT ITER 212 NEW BEST:: SOT 268423 SOS 156818 HAS SOPS 156325 HAS SOUS 153722 HAS SOUPS 153229 WITH SCORE 153385.818
AT ITER 213 NEW BEST:: SOT 268393 SOS 156778 HAS SOPS 156285 HAS SOUS 153682 HAS SOUPS 153189 WITH SCORE 153345.778
AT ITER 214 NEW BEST:: SOT 268337 SOS 156671 HAS SOPS 156178 HAS SOUS 153575 HAS SOUPS 153082 WITH SCORE 153238.671
AT ITER 215 NEW BEST:: SOT 267773 SOS 155247 HAS SOPS 154754 HAS SOUS 152351 HAS SOUPS 151858 WITH SCORE 152013.247
AT ITER 218 NEW BEST:: SOT 267693 SOS 154847 HAS SOPS 154354 HAS SOUS 151951 HAS SOUPS 151458 WITH SCORE 151612.847
AT ITER 220 NEW BEST:: SOT 267707 SOS 154404 HAS SOPS 153911 HAS SOUS 151410 HAS SOUPS 150917 WITH SCORE 151071.404
AT ITER 222 NEW BEST:: SOT 267592 SOS 154289 HAS SOPS 153796 HAS SOUS 151275 HAS SOUPS 150782 WITH SCORE 150936.289
AT ITER 223 NEW BEST:: SOT 267518 SOS 154104 HAS SOPS 153611 HAS SOUS 151090 HAS SOUPS 150597 WITH SCORE 150751.104
AT ITER 224 NEW BEST:: SOT 267428 SOS 153924 HAS SOPS 153431 HAS SOUS 150910 HAS SOUPS 150417 WITH SCORE 150570.924
AT ITER 225 NEW BEST:: SOT 267164 SOS 153700 HAS SOPS 153207 HAS SOUS 150804 HAS SOUPS 150311 WITH SCORE 150464.7
AT ITER 227 NEW BEST:: SOT 267049 SOS 153585 HAS SOPS 153092 HAS SOUS 150689 HAS SOUPS 150196 WITH SCORE 150349.585
AT ITER 230 NEW BEST:: SOT 266947 SOS 153363 HAS SOPS 152870 HAS SOUS 150467 HAS SOUPS 149974 WITH SCORE 150127.363
AT ITER 232 NEW BEST:: SOT 266849 SOS 153137 HAS SOPS 152644 HAS SOUS 150241 HAS SOUPS 149748 WITH SCORE 149901.137
AT ITER 235 NEW BEST:: SOT 266576 SOS 152741 HAS SOPS 152248 HAS SOUS 149944 HAS SOUPS 149451 WITH SCORE 149603.741
AT ITER 239 NEW BEST:: SOT 266498 SOS 152663 HAS SOPS 152170 HAS SOUS 149866 HAS SOUPS 149373 WITH SCORE 149525.663
AT ITER 241 NEW BEST:: SOT 266406 SOS 151586 HAS SOPS 151093 HAS SOUS 148789 HAS SOUPS 148296 WITH SCORE 148447.586
AT ITER 242 NEW BEST:: SOT 266210 SOS 151234 HAS SOPS 150741 HAS SOUS 148437 HAS SOUPS 147944 WITH SCORE 148095.234
AT ITER 243 NEW BEST:: SOT 266112 SOS 150668 HAS SOPS 150175 HAS SOUS 148007 HAS SOUPS 147514 WITH SCORE 147664.668
AT ITER 244 NEW BEST:: SOT 266151 SOS 150662 HAS SOPS 150169 HAS SOUS 147938 HAS SOUPS 147445 WITH SCORE 147595.662
AT ITER 248 NEW BEST:: SOT 266239 SOS 150642 HAS SOPS 150149 HAS SOUS 147918 HAS SOUPS 147425 WITH SCORE 147575.642
AT ITER 249 NEW BEST:: SOT 266065 SOS 150132 HAS SOPS 149639 HAS SOUS 147124 HAS SOUPS 146631 WITH SCORE 146781.132
AT ITER 250 NEW BEST:: SOT 265972 SOS 149760 HAS SOPS 149267 HAS SOUS 146752 HAS SOUPS 146259 WITH SCORE 146408.76
AT ITER 251 NEW BEST:: SOT 265849 SOS 149481 HAS SOPS 148988 HAS SOUS 146473 HAS SOUPS 145980 WITH SCORE 146129.481
AT ITER 253 NEW BEST:: SOT 265553 SOS 148691 HAS SOPS 148198 HAS SOUS 145820 HAS SOUPS 145327 WITH SCORE 145475.691
AT ITER 254 NEW BEST:: SOT 265452 SOS 148366 HAS SOPS 147873 HAS SOUS 145495 HAS SOUPS 145002 WITH SCORE 145150.366
AT ITER 256 NEW BEST:: SOT 265000 SOS 147482 HAS SOPS 146989 HAS SOUS 144611 HAS SOUPS 144118 WITH SCORE 144265.482
AT ITER 259 NEW BEST:: SOT 264879 SOS 147361 HAS SOPS 146868 HAS SOUS 144495 HAS SOUPS 144002 WITH SCORE 144149.361
AT ITER 260 NEW BEST:: SOT 264660 SOS 146902 HAS SOPS 146409 HAS SOUS 144057 HAS SOUPS 143564 WITH SCORE 143710.902
AT ITER 262 NEW BEST:: SOT 264590 SOS 146797 HAS SOPS 146304 HAS SOUS 143952 HAS SOUPS 143459 WITH SCORE 143605.797
AT ITER 263 NEW BEST:: SOT 264564 SOS 146724 HAS SOPS 146231 HAS SOUS 143879 HAS SOUPS 143386 WITH SCORE 143532.724
AT ITER 267 NEW BEST:: SOT 264522 SOS 146570 HAS SOPS 146077 HAS SOUS 143725 HAS SOUPS 143232 WITH SCORE 143378.57
AT ITER 270 NEW BEST:: SOT 264441 SOS 146373 HAS SOPS 145880 HAS SOUS 143528 HAS SOUPS 143035 WITH SCORE 143181.373
AT ITER 279 NEW BEST:: SOT 264195 SOS 145881 HAS SOPS 145388 HAS SOUS 143036 HAS SOUPS 142543 WITH SCORE 142688.881
AT ITER 280 NEW BEST:: SOT 264107 SOS 145793 HAS SOPS 145300 HAS SOUS 142957 HAS SOUPS 142464 WITH SCORE 142609.793
AT ITER 281 NEW BEST:: SOT 264011 SOS 145569 HAS SOPS 145076 HAS SOUS 142733 HAS SOUPS 142240 WITH SCORE 142385.569
AT ITER 285 NEW BEST:: SOT 264037 SOS 145234 HAS SOPS 144741 HAS SOUS 142343 HAS SOUPS 141850 WITH SCORE 141995.234
AT ITER 288 NEW BEST:: SOT 264089 SOS 144787 HAS SOPS 144294 HAS SOUS 141896 HAS SOUPS 141403 WITH SCORE 141547.787
AT ITER 294 NEW BEST:: SOT 263567 SOS 144357 HAS SOPS 143864 HAS SOUS 141547 HAS SOUPS 141054 WITH SCORE 141198.357
AT ITER 301 NEW BEST:: SOT 263539 SOS 144322 HAS SOPS 143829 HAS SOUS 141512 HAS SOUPS 141019 WITH SCORE 141163.322
AT ITER 305 NEW BEST:: SOT 263404 SOS 144292 HAS SOPS 143799 HAS SOUS 141364 HAS SOUPS 140871 WITH SCORE 141015.292
AT ITER 323 NEW BEST:: SOT 263441 SOS 143918 HAS SOPS 143425 HAS SOUS 140790 HAS SOUPS 140297 WITH SCORE 140440.918
AT ITER 328 NEW BEST:: SOT 263066 SOS 142881 HAS SOPS 142388 HAS SOUS 139606 HAS SOUPS 139113 WITH SCORE 139255.881
AT ITER 334 NEW BEST:: SOT 262952 SOS 142871 HAS SOPS 142378 HAS SOUS 139596 HAS SOUPS 139103 WITH SCORE 139245.871
AT ITER 335 NEW BEST:: SOT 262912 SOS 142811 HAS SOPS 142318 HAS SOUS 139536 HAS SOUPS 139043 WITH SCORE 139185.811
AT ITER 337 NEW BEST:: SOT 262862 SOS 142467 HAS SOPS 141974 HAS SOUS 139314 HAS SOUPS 138821 WITH SCORE 138963.467
AT ITER 338 NEW BEST:: SOT 262851 SOS 142347 HAS SOPS 141854 HAS SOUS 139194 HAS SOUPS 138701 WITH SCORE 138843.347
AT ITER 341 NEW BEST:: SOT 262834 SOS 142296 HAS SOPS 141803 HAS SOUS 139160 HAS SOUPS 138667 WITH SCORE 138809.296
AT ITER 343 NEW BEST:: SOT 262438 SOS 141702 HAS SOPS 141209 HAS SOUS 138566 HAS SOUPS 138073 WITH SCORE 138214.702
AT ITER 344 NEW BEST:: SOT 262162 SOS 141052 HAS SOPS 140559 HAS SOUS 137916 HAS SOUPS 137423 WITH SCORE 137564.052
AT ITER 345 NEW BEST:: SOT 262201 SOS 140895 HAS SOPS 140402 HAS SOUS 137759 HAS SOUPS 137266 WITH SCORE 137406.895
AT ITER 346 NEW BEST:: SOT 262067 SOS 140718 HAS SOPS 140225 HAS SOUS 137564 HAS SOUPS 137071 WITH SCORE 137211.718
AT ITER 353 NEW BEST:: SOT 262067 SOS 140524 HAS SOPS 140031 HAS SOUS 137370 HAS SOUPS 136877 WITH SCORE 137017.524
AT ITER 354 NEW BEST:: SOT 261740 SOS 138875 HAS SOPS 138382 HAS SOUS 135721 HAS SOUPS 135228 WITH SCORE 135366.875
AT ITER 355 NEW BEST:: SOT 261446 SOS 138316 HAS SOPS 137823 HAS SOUS 135250 HAS SOUPS 134757 WITH SCORE 134895.316
AT ITER 361 NEW BEST:: SOT 261434 SOS 138298 HAS SOPS 137805 HAS SOUS 135232 HAS SOUPS 134739 WITH SCORE 134877.298
AT ITER 365 NEW BEST:: SOT 261815 SOS 138310 HAS SOPS 137817 HAS SOUS 135228 HAS SOUPS 134735 WITH SCORE 134873.31
AT ITER 367 NEW BEST:: SOT 261801 SOS 138291 HAS SOPS 137798 HAS SOUS 135209 HAS SOUPS 134716 WITH SCORE 134854.291
AT ITER 368 NEW BEST:: SOT 261690 SOS 138143 HAS SOPS 137650 HAS SOUS 135061 HAS SOUPS 134568 WITH SCORE 134706.143
AT ITER 370 NEW BEST:: SOT 261562 SOS 137795 HAS SOPS 137302 HAS SOUS 134713 HAS SOUPS 134220 WITH SCORE 134357.795
AT ITER 378 NEW BEST:: SOT 261583 SOS 137764 HAS SOPS 137271 HAS SOUS 134682 HAS SOUPS 134189 WITH SCORE 134326.764
AT ITER 382 NEW BEST:: SOT 261485 SOS 137470 HAS SOPS 136977 HAS SOUS 134388 HAS SOUPS 133895 WITH SCORE 134032.47
AT ITER 383 NEW BEST:: SOT 261421 SOS 137406 HAS SOPS 136913 HAS SOUS 134292 HAS SOUPS 133799 WITH SCORE 133936.406
AT ITER 388 NEW BEST:: SOT 261343 SOS 137289 HAS SOPS 136796 HAS SOUS 134175 HAS SOUPS 133682 WITH SCORE 133819.289
AT ITER 389 NEW BEST:: SOT 261282 SOS 137205 HAS SOPS 136712 HAS SOUS 134091 HAS SOUPS 133598 WITH SCORE 133735.205
AT ITER 392 NEW BEST:: SOT 261226 SOS 137149 HAS SOPS 136656 HAS SOUS 134035 HAS SOUPS 133542 WITH SCORE 133679.149
AT ITER 393 NEW BEST:: SOT 261206 SOS 136569 HAS SOPS 136076 HAS SOUS 133455 HAS SOUPS 132962 WITH SCORE 133098.569
AT ITER 395 NEW BEST:: SOT 261206 SOS 136550 HAS SOPS 136057 HAS SOUS 133436 HAS SOUPS 132943 WITH SCORE 133079.55
AT ITER 398 NEW BEST:: SOT 260724 SOS 136269 HAS SOPS 135776 HAS SOUS 133155 HAS SOUPS 132662 WITH SCORE 132798.269
AT ITER 399 NEW BEST:: SOT 260691 SOS 136203 HAS SOPS 135710 HAS SOUS 133089 HAS SOUPS 132596 WITH SCORE 132732.203
AT ITER 402 NEW BEST:: SOT 260559 SOS 135939 HAS SOPS 135446 HAS SOUS 132825 HAS SOUPS 132332 WITH SCORE 132467.939
AT ITER 411 NEW BEST:: SOT 260384 SOS 135841 HAS SOPS 135348 HAS SOUS 132727 HAS SOUPS 132234 WITH SCORE 132369.841
AT ITER 420 NEW BEST:: SOT 260294 SOS 135586 HAS SOPS 135093 HAS SOUS 132472 HAS SOUPS 131979 WITH SCORE 132114.586
AT ITER 421 NEW BEST:: SOT 260179 SOS 135129 HAS SOPS 134636 HAS SOUS 132015 HAS SOUPS 131522 WITH SCORE 131657.129
AT ITER 422 NEW BEST:: SOT 260138 SOS 135073 HAS SOPS 134580 HAS SOUS 131959 HAS SOUPS 131466 WITH SCORE 131601.073
AT ITER 426 NEW BEST:: SOT 259872 SOS 134414 HAS SOPS 133921 HAS SOUS 131431 HAS SOUPS 130938 WITH SCORE 131072.414
AT ITER 427 NEW BEST:: SOT 259814 SOS 134356 HAS SOPS 133863 HAS SOUS 131373 HAS SOUPS 130880 WITH SCORE 131014.356
AT ITER 428 NEW BEST:: SOT 259573 SOS 134028 HAS SOPS 133535 HAS SOUS 131045 HAS SOUPS 130552 WITH SCORE 130686.028
AT ITER 429 NEW BEST:: SOT 259426 SOS 133651 HAS SOPS 133158 HAS SOUS 130727 HAS SOUPS 130234 WITH SCORE 130367.651
AT ITER 430 NEW BEST:: SOT 259396 SOS 133621 HAS SOPS 133128 HAS SOUS 130682 HAS SOUPS 130189 WITH SCORE 130322.621
AT ITER 431 NEW BEST:: SOT 259272 SOS 133211 HAS SOPS 132718 HAS SOUS 130272 HAS SOUPS 129779 WITH SCORE 129912.211
AT ITER 432 NEW BEST:: SOT 259136 SOS 133007 HAS SOPS 132514 HAS SOUS 130068 HAS SOUPS 129575 WITH SCORE 129708.007
AT ITER 435 NEW BEST:: SOT 258792 SOS 132537 HAS SOPS 132044 HAS SOUS 129598 HAS SOUPS 129105 WITH SCORE 129237.537
AT ITER 437 NEW BEST:: SOT 258769 SOS 132514 HAS SOPS 132021 HAS SOUS 129575 HAS SOUPS 129082 WITH SCORE 129214.514
AT ITER 444 NEW BEST:: SOT 258618 SOS 132300 HAS SOPS 131807 HAS SOUS 129361 HAS SOUPS 128868 WITH SCORE 129000.3
AT ITER 449 NEW BEST:: SOT 258549 SOS 132081 HAS SOPS 131588 HAS SOUS 129142 HAS SOUPS 128649 WITH SCORE 128781.081
AT ITER 451 NEW BEST:: SOT 258360 SOS 131758 HAS SOPS 131265 HAS SOUS 128882 HAS SOUPS 128389 WITH SCORE 128520.758
AT ITER 456 NEW BEST:: SOT 258352 SOS 131738 HAS SOPS 131245 HAS SOUS 128862 HAS SOUPS 128369 WITH SCORE 128500.738
AT ITER 460 NEW BEST:: SOT 258440 SOS 131728 HAS SOPS 131235 HAS SOUS 128852 HAS SOUPS 128359 WITH SCORE 128490.728
AT ITER 461 NEW BEST:: SOT 257476 SOS 129973 HAS SOPS 129480 HAS SOUS 126897 HAS SOUPS 126404 WITH SCORE 126533.973
AT ITER 467 NEW BEST:: SOT 257476 SOS 129843 HAS SOPS 129350 HAS SOUS 126767 HAS SOUPS 126274 WITH SCORE 126403.843
AT ITER 468 NEW BEST:: SOT 257638 SOS 129928 HAS SOPS 129435 HAS SOUS 126652 HAS SOUPS 126159 WITH SCORE 126288.928
AT ITER 469 NEW BEST:: SOT 257699 SOS 129792 HAS SOPS 129299 HAS SOUS 126509 HAS SOUPS 126016 WITH SCORE 126145.792
AT ITER 475 NEW BEST:: SOT 257643 SOS 129743 HAS SOPS 129250 HAS SOUS 126460 HAS SOUPS 125967 WITH SCORE 126096.743
AT ITER 480 NEW BEST:: SOT 257173 SOS 128911 HAS SOPS 128418 HAS SOUS 125644 HAS SOUPS 125151 WITH SCORE 125279.911
AT ITER 483 NEW BEST:: SOT 257045 SOS 128807 HAS SOPS 128314 HAS SOUS 125540 HAS SOUPS 125047 WITH SCORE 125175.807
AT ITER 484 NEW BEST:: SOT 256891 SOS 128668 HAS SOPS 128175 HAS SOUS 125401 HAS SOUPS 124908 WITH SCORE 125036.668
AT ITER 486 NEW BEST:: SOT 256857 SOS 128634 HAS SOPS 128141 HAS SOUS 125367 HAS SOUPS 124874 WITH SCORE 125002.634
AT ITER 487 NEW BEST:: SOT 256708 SOS 128407 HAS SOPS 127914 HAS SOUS 125140 HAS SOUPS 124647 WITH SCORE 124775.407
AT ITER 490 NEW BEST:: SOT 256592 SOS 128175 HAS SOPS 127682 HAS SOUS 124908 HAS SOUPS 124415 WITH SCORE 124543.175
AT ITER 494 NEW BEST:: SOT 256508 SOS 128091 HAS SOPS 127598 HAS SOUS 124824 HAS SOUPS 124331 WITH SCORE 124459.091
AT ITER 497 NEW BEST:: SOT 256355 SOS 127584 HAS SOPS 127091 HAS SOUS 124315 HAS SOUPS 123822 WITH SCORE 123949.584
AT ITER 502 NEW BEST:: SOT 256123 SOS 127381 HAS SOPS 126888 HAS SOUS 124112 HAS SOUPS 123619 WITH SCORE 123746.381
AT ITER 508 NEW BEST:: SOT 255718 SOS 126976 HAS SOPS 126483 HAS SOUS 123707 HAS SOUPS 123214 WITH SCORE 123340.976
AT ITER 511 NEW BEST:: SOT 255621 SOS 126826 HAS SOPS 126333 HAS SOUS 123583 HAS SOUPS 123090 WITH SCORE 123216.826
AT ITER 514 NEW BEST:: SOT 255585 SOS 126726 HAS SOPS 126233 HAS SOUS 123483 HAS SOUPS 122990 WITH SCORE 123116.726
AT ITER 516 NEW BEST:: SOT 255587 SOS 126724 HAS SOPS 126231 HAS SOUS 123481 HAS SOUPS 122988 WITH SCORE 123114.724
AT ITER 517 NEW BEST:: SOT 255615 SOS 126720 HAS SOPS 126227 HAS SOUS 123477 HAS SOUPS 122984 WITH SCORE 123110.72
AT ITER 519 NEW BEST:: SOT 255615 SOS 126619 HAS SOPS 126126 HAS SOUS 123376 HAS SOUPS 122883 WITH SCORE 123009.619
AT ITER 521 NEW BEST:: SOT 255373 SOS 126459 HAS SOPS 125966 HAS SOUS 123216 HAS SOUPS 122723 WITH SCORE 122849.459
AT ITER 522 NEW BEST:: SOT 255364 SOS 126423 HAS SOPS 125930 HAS SOUS 123189 HAS SOUPS 122696 WITH SCORE 122822.423
AT ITER 523 NEW BEST:: SOT 255347 SOS 126138 HAS SOPS 125645 HAS SOUS 123037 HAS SOUPS 122544 WITH SCORE 122670.138
AT ITER 525 NEW BEST:: SOT 255131 SOS 125848 HAS SOPS 125355 HAS SOUS 122747 HAS SOUPS 122254 WITH SCORE 122379.848
AT ITER 532 NEW BEST:: SOT 254755 SOS 124762 HAS SOPS 124269 HAS SOUS 121661 HAS SOUPS 121168 WITH SCORE 121292.762
AT ITER 533 NEW BEST:: SOT 254670 SOS 124592 HAS SOPS 124099 HAS SOUS 121491 HAS SOUPS 120998 WITH SCORE 121122.592
AT ITER 538 NEW BEST:: SOT 254666 SOS 124436 HAS SOPS 123943 HAS SOUS 121335 HAS SOUPS 120842 WITH SCORE 120966.436
AT ITER 539 NEW BEST:: SOT 254379 SOS 124129 HAS SOPS 123636 HAS SOUS 120998 HAS SOUPS 120505 WITH SCORE 120629.129
AT ITER 543 NEW BEST:: SOT 254135 SOS 123519 HAS SOPS 123026 HAS SOUS 120510 HAS SOUPS 120017 WITH SCORE 120140.519
AT ITER 549 NEW BEST:: SOT 253782 SOS 122490 HAS SOPS 121997 HAS SOUS 119680 HAS SOUPS 119187 WITH SCORE 119309.49
AT ITER 557 NEW BEST:: SOT 253758 SOS 122418 HAS SOPS 121925 HAS SOUS 119608 HAS SOUPS 119115 WITH SCORE 119237.418
AT ITER 569 NEW BEST:: SOT 253758 SOS 122383 HAS SOPS 121886 HAS SOUS 119573 HAS SOUPS 119076 WITH SCORE 119198.383
AT ITER 578 NEW BEST:: SOT 253717 SOS 122345 HAS SOPS 121848 HAS SOUS 119535 HAS SOUPS 119038 WITH SCORE 119160.345
AT ITER 580 NEW BEST:: SOT 253616 SOS 121918 HAS SOPS 121421 HAS SOUS 119068 HAS SOUPS 118571 WITH SCORE 118692.918
AT ITER 583 NEW BEST:: SOT 253299 SOS 121526 HAS SOPS 121029 HAS SOUS 118676 HAS SOUPS 118179 WITH SCORE 118300.526
AT ITER 587 NEW BEST:: SOT 253109 SOS 121366 HAS SOPS 120869 HAS SOUS 118556 HAS SOUPS 118059 WITH SCORE 118180.366
AT ITER 590 NEW BEST:: SOT 252990 SOS 121364 HAS SOPS 120867 HAS SOUS 118554 HAS SOUPS 118057 WITH SCORE 118178.364
AT ITER 591 NEW BEST:: SOT 252966 SOS 121316 HAS SOPS 120819 HAS SOUS 118506 HAS SOUPS 118009 WITH SCORE 118130.316
AT ITER 595 NEW BEST:: SOT 252833 SOS 121147 HAS SOPS 120650 HAS SOUS 118337 HAS SOUPS 117840 WITH SCORE 117961.147
AT ITER 597 NEW BEST:: SOT 252761 SOS 121024 HAS SOPS 120527 HAS SOUS 118174 HAS SOUPS 117677 WITH SCORE 117798.024
AT ITER 606 NEW BEST:: SOT 252687 SOS 120880 HAS SOPS 120383 HAS SOUS 118028 HAS SOUPS 117531 WITH SCORE 117651.88
AT ITER 610 NEW BEST:: SOT 252709 SOS 120759 HAS SOPS 120262 HAS SOUS 117901 HAS SOUPS 117404 WITH SCORE 117524.759
AT ITER 612 NEW BEST:: SOT 252734 SOS 120669 HAS SOPS 120172 HAS SOUS 117811 HAS SOUPS 117314 WITH SCORE 117434.669
AT ITER 613 NEW BEST:: SOT 252402 SOS 119992 HAS SOPS 119495 HAS SOUS 117409 HAS SOUPS 116912 WITH SCORE 117031.992
AT ITER 616 NEW BEST:: SOT 252288 SOS 119935 HAS SOPS 119438 HAS SOUS 117352 HAS SOUPS 116855 WITH SCORE 116974.935
AT ITER 622 NEW BEST:: SOT 252288 SOS 119935 HAS SOPS 119438 HAS SOUS 117343 HAS SOUPS 116846 WITH SCORE 116965.935
AT ITER 625 NEW BEST:: SOT 252393 SOS 119866 HAS SOPS 119369 HAS SOUS 117310 HAS SOUPS 116813 WITH SCORE 116932.866
AT ITER 626 NEW BEST:: SOT 252341 SOS 119606 HAS SOPS 119109 HAS SOUS 117050 HAS SOUPS 116553 WITH SCORE 116672.606
AT ITER 635 NEW BEST:: SOT 252251 SOS 119386 HAS SOPS 118889 HAS SOUS 116832 HAS SOUPS 116335 WITH SCORE 116454.386
AT ITER 641 NEW BEST:: SOT 252201 SOS 119168 HAS SOPS 118671 HAS SOUS 116614 HAS SOUPS 116117 WITH SCORE 116236.168
AT ITER 647 NEW BEST:: SOT 252201 SOS 119167 HAS SOPS 118670 HAS SOUS 116613 HAS SOUPS 116116 WITH SCORE 116235.167
AT ITER 649 NEW BEST:: SOT 252092 SOS 118545 HAS SOPS 118048 HAS SOUS 115798 HAS SOUPS 115301 WITH SCORE 115419.545
AT ITER 653 NEW BEST:: SOT 252112 SOS 118386 HAS SOPS 117889 HAS SOUS 115639 HAS SOUPS 115142 WITH SCORE 115260.386
AT ITER 654 NEW BEST:: SOT 252107 SOS 118371 HAS SOPS 117874 HAS SOUS 115624 HAS SOUPS 115127 WITH SCORE 115245.371
AT ITER 656 NEW BEST:: SOT 252099 SOS 118363 HAS SOPS 117866 HAS SOUS 115616 HAS SOUPS 115119 WITH SCORE 115237.363
AT ITER 659 NEW BEST:: SOT 252074 SOS 118338 HAS SOPS 117841 HAS SOUS 115591 HAS SOUPS 115094 WITH SCORE 115212.338
AT ITER 661 NEW BEST:: SOT 252020 SOS 118106 HAS SOPS 117609 HAS SOUS 115189 HAS SOUPS 114692 WITH SCORE 114810.106
AT ITER 664 NEW BEST:: SOT 251994 SOS 118075 HAS SOPS 117578 HAS SOUS 115158 HAS SOUPS 114661 WITH SCORE 114779.075
AT ITER 667 NEW BEST:: SOT 252062 SOS 118069 HAS SOPS 117572 HAS SOUS 115152 HAS SOUPS 114655 WITH SCORE 114773.069
AT ITER 671 NEW BEST:: SOT 252062 SOS 118054 HAS SOPS 117557 HAS SOUS 115152 HAS SOUPS 114655 WITH SCORE 114773.054
AT ITER 678 NEW BEST:: SOT 251826 SOS 117642 HAS SOPS 117145 HAS SOUS 114843 HAS SOUPS 114346 WITH SCORE 114463.642
AT ITER 680 NEW BEST:: SOT 251826 SOS 117220 HAS SOPS 116723 HAS SOUS 114834 HAS SOUPS 114337 WITH SCORE 114454.22
AT ITER 684 NEW BEST:: SOT 251623 SOS 117040 HAS SOPS 116543 HAS SOUS 114654 HAS SOUPS 114157 WITH SCORE 114274.04
AT ITER 691 NEW BEST:: SOT 251817 SOS 116966 HAS SOPS 116469 HAS SOUS 114580 HAS SOUPS 114083 WITH SCORE 114199.966
AT ITER 697 NEW BEST:: SOT 251697 SOS 116857 HAS SOPS 116360 HAS SOUS 114471 HAS SOUPS 113974 WITH SCORE 114090.857
AT ITER 702 NEW BEST:: SOT 251714 SOS 116624 HAS SOPS 116127 HAS SOUS 114453 HAS SOUPS 113956 WITH SCORE 114072.624
AT ITER 704 NEW BEST:: SOT 252770 SOS 116446 HAS SOPS 115953 HAS SOUS 114275 HAS SOUPS 113782 WITH SCORE 113898.446
AT ITER 706 NEW BEST:: SOT 252730 SOS 116406 HAS SOPS 115913 HAS SOUS 114235 HAS SOUPS 113742 WITH SCORE 113858.406
AT ITER 714 NEW BEST:: SOT 252769 SOS 116442 HAS SOPS 115949 HAS SOUS 114232 HAS SOUPS 113739 WITH SCORE 113855.442
AT ITER 715 NEW BEST:: SOT 252531 SOS 115974 HAS SOPS 115481 HAS SOUS 113764 HAS SOUPS 113271 WITH SCORE 113386.974
AT ITER 726 NEW BEST:: SOT 252173 SOS 115635 HAS SOPS 115142 HAS SOUS 113425 HAS SOUPS 112932 WITH SCORE 113047.635
AT ITER 728 NEW BEST:: SOT 252038 SOS 115092 HAS SOPS 114599 HAS SOUS 112561 HAS SOUPS 112068 WITH SCORE 112183.092
AT ITER 732 NEW BEST:: SOT 252011 SOS 114854 HAS SOPS 114361 HAS SOUS 112141 HAS SOUPS 111648 WITH SCORE 111762.854
AT ITER 736 NEW BEST:: SOT 251912 SOS 114843 HAS SOPS 114350 HAS SOUS 112130 HAS SOUPS 111637 WITH SCORE 111751.843
AT ITER 738 NEW BEST:: SOT 251869 SOS 114585 HAS SOPS 114092 HAS SOUS 111915 HAS SOUPS 111422 WITH SCORE 111536.585
AT ITER 741 NEW BEST:: SOT 251865 SOS 114581 HAS SOPS 114088 HAS SOUS 111911 HAS SOUPS 111418 WITH SCORE 111532.581
AT ITER 743 NEW BEST:: SOT 251841 SOS 114508 HAS SOPS 114015 HAS SOUS 111815 HAS SOUPS 111322 WITH SCORE 111436.508
AT ITER 748 NEW BEST:: SOT 251810 SOS 114446 HAS SOPS 113953 HAS SOUS 111753 HAS SOUPS 111260 WITH SCORE 111374.446
AT ITER 749 NEW BEST:: SOT 251610 SOS 113385 HAS SOPS 112892 HAS SOUS 110892 HAS SOUPS 110399 WITH SCORE 110512.385
AT ITER 764 NEW BEST:: SOT 251607 SOS 113373 HAS SOPS 112880 HAS SOUS 110880 HAS SOUPS 110387 WITH SCORE 110500.373
AT ITER 765 NEW BEST:: SOT 251591 SOS 113185 HAS SOPS 112692 HAS SOUS 110692 HAS SOUPS 110199 WITH SCORE 110312.185
AT ITER 766 NEW BEST:: SOT 251557 SOS 112957 HAS SOPS 112464 HAS SOUS 110464 HAS SOUPS 109971 WITH SCORE 110083.957
AT ITER 771 NEW BEST:: SOT 251422 SOS 112782 HAS SOPS 112289 HAS SOUS 110138 HAS SOUPS 109645 WITH SCORE 109757.782
AT ITER 780 NEW BEST:: SOT 251390 SOS 112443 HAS SOPS 111950 HAS SOUS 109799 HAS SOUPS 109306 WITH SCORE 109418.443
AT ITER 781 NEW BEST:: SOT 251304 SOS 112210 HAS SOPS 111717 HAS SOUS 109557 HAS SOUPS 109064 WITH SCORE 109176.21
AT ITER 791 NEW BEST:: SOT 251100 SOS 112196 HAS SOPS 111703 HAS SOUS 109543 HAS SOUPS 109050 WITH SCORE 109162.196
AT ITER 797 NEW BEST:: SOT 250951 SOS 111929 HAS SOPS 111436 HAS SOUS 109276 HAS SOUPS 108783 WITH SCORE 108894.929
AT ITER 798 NEW BEST:: SOT 250895 SOS 111859 HAS SOPS 111366 HAS SOUS 109206 HAS SOUPS 108713 WITH SCORE 108824.859
AT ITER 799 NEW BEST:: SOT 250865 SOS 111659 HAS SOPS 111166 HAS SOUS 109006 HAS SOUPS 108513 WITH SCORE 108624.659
AT ITER 808 NEW BEST:: SOT 250457 SOS 110729 HAS SOPS 110236 HAS SOUS 108160 HAS SOUPS 107667 WITH SCORE 107777.729
AT ITER 809 NEW BEST:: SOT 250509 SOS 110587 HAS SOPS 110094 HAS SOUS 108018 HAS SOUPS 107525 WITH SCORE 107635.587
AT ITER 813 NEW BEST:: SOT 250509 SOS 110586 HAS SOPS 110093 HAS SOUS 108018 HAS SOUPS 107525 WITH SCORE 107635.586
AT ITER 816 NEW BEST:: SOT 250463 SOS 110494 HAS SOPS 110001 HAS SOUS 107880 HAS SOUPS 107387 WITH SCORE 107497.494
AT ITER 826 NEW BEST:: SOT 250355 SOS 110310 HAS SOPS 109817 HAS SOUS 107696 HAS SOUPS 107203 WITH SCORE 107313.31
AT ITER 828 NEW BEST:: SOT 250303 SOS 110098 HAS SOPS 109605 HAS SOUS 107484 HAS SOUPS 106991 WITH SCORE 107101.098
AT ITER 833 NEW BEST:: SOT 250211 SOS 110094 HAS SOPS 109601 HAS SOUS 107480 HAS SOUPS 106987 WITH SCORE 107097.094
AT ITER 836 NEW BEST:: SOT 249637 SOS 108922 HAS SOPS 108429 HAS SOUS 106503 HAS SOUPS 106010 WITH SCORE 106118.922
AT ITER 845 NEW BEST:: SOT 249737 SOS 108914 HAS SOPS 108421 HAS SOUS 106495 HAS SOUPS 106002 WITH SCORE 106110.914
AT ITER 846 NEW BEST:: SOT 249784 SOS 108769 HAS SOPS 108276 HAS SOUS 106350 HAS SOUPS 105857 WITH SCORE 105965.769
AT ITER 854 NEW BEST:: SOT 249024 SOS 107394 HAS SOPS 106901 HAS SOUS 104975 HAS SOUPS 104482 WITH SCORE 104589.394
AT ITER 861 NEW BEST:: SOT 248864 SOS 107234 HAS SOPS 106741 HAS SOUS 104815 HAS SOUPS 104322 WITH SCORE 104429.234
AT ITER 862 NEW BEST:: SOT 248688 SOS 106845 HAS SOPS 106352 HAS SOUS 104514 HAS SOUPS 104021 WITH SCORE 104127.845
AT ITER 873 NEW BEST:: SOT 248680 SOS 106833 HAS SOPS 106340 HAS SOUS 104502 HAS SOUPS 104009 WITH SCORE 104115.833
AT ITER 888 NEW BEST:: SOT 248732 SOS 106815 HAS SOPS 106322 HAS SOUS 104484 HAS SOUPS 103991 WITH SCORE 104097.815
AT ITER 891 NEW BEST:: SOT 248727 SOS 106684 HAS SOPS 106191 HAS SOUS 104353 HAS SOUPS 103860 WITH SCORE 103966.684
AT ITER 894 NEW BEST:: SOT 248499 SOS 106247 HAS SOPS 105754 HAS SOUS 103916 HAS SOUPS 103423 WITH SCORE 103529.247
AT ITER 895 NEW BEST:: SOT 248483 SOS 106199 HAS SOPS 105706 HAS SOUS 103868 HAS SOUPS 103375 WITH SCORE 103481.199
AT ITER 906 NEW BEST:: SOT 248471 SOS 106167 HAS SOPS 105674 HAS SOUS 103836 HAS SOUPS 103343 WITH SCORE 103449.167
AT ITER 907 NEW BEST:: SOT 248469 SOS 106159 HAS SOPS 105666 HAS SOUS 103830 HAS SOUPS 103337 WITH SCORE 103443.159
AT ITER 914 NEW BEST:: SOT 248307 SOS 105950 HAS SOPS 105457 HAS SOUS 103621 HAS SOUPS 103128 WITH SCORE 103233.95
AT ITER 917 NEW BEST:: SOT 248191 SOS 105776 HAS SOPS 105283 HAS SOUS 103447 HAS SOUPS 102954 WITH SCORE 103059.776
AT ITER 921 NEW BEST:: SOT 248177 SOS 105741 HAS SOPS 105248 HAS SOUS 103412 HAS SOUPS 102919 WITH SCORE 103024.741
AT ITER 922 NEW BEST:: SOT 248361 SOS 105531 HAS SOPS 105038 HAS SOUS 103202 HAS SOUPS 102709 WITH SCORE 102814.531
AT ITER 928 NEW BEST:: SOT 248351 SOS 105521 HAS SOPS 105028 HAS SOUS 103182 HAS SOUPS 102689 WITH SCORE 102794.521
AT ITER 933 NEW BEST:: SOT 248339 SOS 105505 HAS SOPS 105012 HAS SOUS 103166 HAS SOUPS 102673 WITH SCORE 102778.505
AT ITER 934 NEW BEST:: SOT 248213 SOS 104858 HAS SOPS 104365 HAS SOUS 102502 HAS SOUPS 102009 WITH SCORE 102113.858
AT ITER 936 NEW BEST:: SOT 248267 SOS 104836 HAS SOPS 104343 HAS SOUS 102480 HAS SOUPS 101987 WITH SCORE 102091.836
AT ITER 944 NEW BEST:: SOT 248296 SOS 104836 HAS SOPS 104343 HAS SOUS 102451 HAS SOUPS 101958 WITH SCORE 102062.836
AT ITER 947 NEW BEST:: SOT 248246 SOS 104799 HAS SOPS 104306 HAS SOUS 102414 HAS SOUPS 101921 WITH SCORE 102025.799
AT ITER 957 NEW BEST:: SOT 248230 SOS 104749 HAS SOPS 104256 HAS SOUS 102364 HAS SOUPS 101871 WITH SCORE 101975.749
AT ITER 968 NEW BEST:: SOT 248207 SOS 104696 HAS SOPS 104203 HAS SOUS 102311 HAS SOUPS 101818 WITH SCORE 101922.696
AT ITER 975 NEW BEST:: SOT 248203 SOS 104686 HAS SOPS 104193 HAS SOUS 102301 HAS SOUPS 101808 WITH SCORE 101912.686
AT ITER 978 NEW BEST:: SOT 248116 SOS 104402 HAS SOPS 103909 HAS SOUS 102040 HAS SOUPS 101547 WITH SCORE 101651.402
AT ITER 980 NEW BEST:: SOT 248118 SOS 104206 HAS SOPS 103713 HAS SOUS 101842 HAS SOUPS 101349 WITH SCORE 101453.206
AT ITER 981 NEW BEST:: SOT 248084 SOS 104084 HAS SOPS 103591 HAS SOUS 101720 HAS SOUPS 101227 WITH SCORE 101331.084
AT ITER 987 NEW BEST:: SOT 248072 SOS 104068 HAS SOPS 103575 HAS SOUS 101704 HAS SOUPS 101211 WITH SCORE 101315.068
AT ITER 996 NEW BEST:: SOT 248072 SOS 104054 HAS SOPS 103561 HAS SOUS 101690 HAS SOUPS 101197 WITH SCORE 101301.054
AT ITER 997 NEW BEST:: SOT 248068 SOS 104051 HAS SOPS 103558 HAS SOUS 101687 HAS SOUPS 101194 WITH SCORE 101298.051
AT ITER 999 NEW BEST:: SOT 248034 SOS 103939 HAS SOPS 103446 HAS SOUS 101609 HAS SOUPS 101116 WITH SCORE 101219.939
AT ITER 1009 NEW BEST:: SOT 248120 SOS 103762 HAS SOPS 103269 HAS SOUS 101432 HAS SOUPS 100939 WITH SCORE 101042.762
AT ITER 1010 NEW BEST:: SOT 248101 SOS 103654 HAS SOPS 103161 HAS SOUS 101324 HAS SOUPS 100831 WITH SCORE 100934.654
AT ITER 1014 NEW BEST:: SOT 248099 SOS 103651 HAS SOPS 103158 HAS SOUS 101322 HAS SOUPS 100829 WITH SCORE 100932.651
AT ITER 1015 NEW BEST:: SOT 247910 SOS 103293 HAS SOPS 102800 HAS SOUS 100964 HAS SOUPS 100471 WITH SCORE 100574.293
AT ITER 1017 NEW BEST:: SOT 247621 SOS 102904 HAS SOPS 102411 HAS SOUS 100575 HAS SOUPS 100082 WITH SCORE 100184.904
AT ITER 1022 NEW BEST:: SOT 247423 SOS 102578 HAS SOPS 102085 HAS SOUS 100249 HAS SOUPS 99756 WITH SCORE 99858.578
AT ITER 1023 NEW BEST:: SOT 247393 SOS 102518 HAS SOPS 102025 HAS SOUS 100189 HAS SOUPS 99696 WITH SCORE 99798.518
AT ITER 1025 NEW BEST:: SOT 247363 SOS 102487 HAS SOPS 101994 HAS SOUS 100125 HAS SOUPS 99632 WITH SCORE 99734.487
AT ITER 1026 NEW BEST:: SOT 247263 SOS 102335 HAS SOPS 101842 HAS SOUS 99973 HAS SOUPS 99480 WITH SCORE 99582.335
AT ITER 1033 NEW BEST:: SOT 247230 SOS 102244 HAS SOPS 101751 HAS SOUS 99907 HAS SOUPS 99414 WITH SCORE 99516.244
AT ITER 1039 NEW BEST:: SOT 247212 SOS 102218 HAS SOPS 101725 HAS SOUS 99881 HAS SOUPS 99388 WITH SCORE 99490.218
AT ITER 1049 NEW BEST:: SOT 247125 SOS 102018 HAS SOPS 101525 HAS SOUS 99681 HAS SOUPS 99188 WITH SCORE 99290.018
AT ITER 1060 NEW BEST:: SOT 247104 SOS 101976 HAS SOPS 101483 HAS SOUS 99639 HAS SOUPS 99146 WITH SCORE 99247.976
AT ITER 1065 NEW BEST:: SOT 247210 SOS 101585 HAS SOPS 101092 HAS SOUS 99248 HAS SOUPS 98755 WITH SCORE 98856.585
AT ITER 1066 NEW BEST:: SOT 247081 SOS 101456 HAS SOPS 100963 HAS SOUS 99176 HAS SOUPS 98683 WITH SCORE 98784.456
AT ITER 1067 NEW BEST:: SOT 246899 SOS 101096 HAS SOPS 100603 HAS SOUS 98914 HAS SOUPS 98421 WITH SCORE 98522.096
AT ITER 1070 NEW BEST:: SOT 246896 SOS 101093 HAS SOPS 100600 HAS SOUS 98911 HAS SOUPS 98418 WITH SCORE 98519.093
AT ITER 1071 NEW BEST:: SOT 246765 SOS 100777 HAS SOPS 100284 HAS SOUS 98470 HAS SOUPS 97977 WITH SCORE 98077.777
AT ITER 1072 NEW BEST:: SOT 246727 SOS 100701 HAS SOPS 100208 HAS SOUS 98394 HAS SOUPS 97901 WITH SCORE 98001.701
AT ITER 1078 NEW BEST:: SOT 246731 SOS 100664 HAS SOPS 100171 HAS SOUS 98357 HAS SOUPS 97864 WITH SCORE 97964.664
AT ITER 1081 NEW BEST:: SOT 246677 SOS 100340 HAS SOPS 99847 HAS SOUS 97979 HAS SOUPS 97486 WITH SCORE 97586.34
AT ITER 1082 NEW BEST:: SOT 246220 SOS 99791 HAS SOPS 99298 HAS SOUS 97567 HAS SOUPS 97074 WITH SCORE 97173.791
AT ITER 1083 NEW BEST:: SOT 246069 SOS 98995 HAS SOPS 98502 HAS SOUS 96922 HAS SOUPS 96429 WITH SCORE 96527.995
AT ITER 1086 NEW BEST:: SOT 246069 SOS 99010 HAS SOPS 98517 HAS SOUS 96880 HAS SOUPS 96387 WITH SCORE 96486.01
AT ITER 1089 NEW BEST:: SOT 246267 SOS 99056 HAS SOPS 98563 HAS SOUS 96876 HAS SOUPS 96383 WITH SCORE 96482.056
AT ITER 1093 NEW BEST:: SOT 246230 SOS 99013 HAS SOPS 98520 HAS SOUS 96833 HAS SOUPS 96340 WITH SCORE 96439.013
AT ITER 1095 NEW BEST:: SOT 246230 SOS 98970 HAS SOPS 98477 HAS SOUS 96790 HAS SOUPS 96297 WITH SCORE 96395.97
AT ITER 1099 NEW BEST:: SOT 246018 SOS 98554 HAS SOPS 98061 HAS SOUS 96424 HAS SOUPS 95931 WITH SCORE 96029.554
AT ITER 1103 NEW BEST:: SOT 246018 SOS 98551 HAS SOPS 98058 HAS SOUS 96421 HAS SOUPS 95928 WITH SCORE 96026.551
AT ITER 1104 NEW BEST:: SOT 245968 SOS 98396 HAS SOPS 97903 HAS SOUS 96324 HAS SOUPS 95831 WITH SCORE 95929.396
AT ITER 1110 NEW BEST:: SOT 245826 SOS 98302 HAS SOPS 97809 HAS SOUS 96205 HAS SOUPS 95712 WITH SCORE 95810.302
AT ITER 1116 NEW BEST:: SOT 245716 SOS 97833 HAS SOPS 97340 HAS SOUS 95736 HAS SOUPS 95243 WITH SCORE 95340.833
AT ITER 1122 NEW BEST:: SOT 245581 SOS 97705 HAS SOPS 97212 HAS SOUS 95608 HAS SOUPS 95115 WITH SCORE 95212.705
AT ITER 1132 NEW BEST:: SOT 245430 SOS 97201 HAS SOPS 96708 HAS SOUS 95104 HAS SOUPS 94611 WITH SCORE 94708.201
AT ITER 1135 NEW BEST:: SOT 245572 SOS 97142 HAS SOPS 96649 HAS SOUS 95030 HAS SOUPS 94537 WITH SCORE 94634.142
AT ITER 1147 NEW BEST:: SOT 245370 SOS 96597 HAS SOPS 96104 HAS SOUS 94539 HAS SOUPS 94046 WITH SCORE 94142.597
AT ITER 1183 NEW BEST:: SOT 245373 SOS 96594 HAS SOPS 96101 HAS SOUS 94536 HAS SOUPS 94043 WITH SCORE 94139.594
AT ITER 1200 NEW BEST:: SOT 245374 SOS 96563 HAS SOPS 96070 HAS SOUS 94505 HAS SOUPS 94012 WITH SCORE 94108.563
AT ITER 1210 NEW BEST:: SOT 245364 SOS 96553 HAS SOPS 96060 HAS SOUS 94490 HAS SOUPS 93997 WITH SCORE 94093.553
AT ITER 1212 NEW BEST:: SOT 245177 SOS 95702 HAS SOPS 95209 HAS SOUS 93639 HAS SOUPS 93146 WITH SCORE 93241.702
AT ITER 1225 NEW BEST:: SOT 245171 SOS 95631 HAS SOPS 95138 HAS SOUS 93568 HAS SOUPS 93075 WITH SCORE 93170.631
AT ITER 1229 NEW BEST:: SOT 245152 SOS 95525 HAS SOPS 95032 HAS SOUS 93511 HAS SOUPS 93018 WITH SCORE 93113.525
AT ITER 1235 NEW BEST:: SOT 244993 SOS 95229 HAS SOPS 94736 HAS SOUS 93170 HAS SOUPS 92677 WITH SCORE 92772.229
AT ITER 1243 NEW BEST:: SOT 244927 SOS 95168 HAS SOPS 94675 HAS SOUS 93134 HAS SOUPS 92641 WITH SCORE 92736.168
AT ITER 1246 NEW BEST:: SOT 244569 SOS 94825 HAS SOPS 94332 HAS SOUS 92791 HAS SOUPS 92298 WITH SCORE 92392.825
AT ITER 1249 NEW BEST:: SOT 244331 SOS 94491 HAS SOPS 93998 HAS SOUS 92457 HAS SOUPS 91964 WITH SCORE 92058.491
AT ITER 1250 NEW BEST:: SOT 244171 SOS 94199 HAS SOPS 93706 HAS SOUS 92061 HAS SOUPS 91568 WITH SCORE 91662.199
AT ITER 1252 NEW BEST:: SOT 244088 SOS 94127 HAS SOPS 93634 HAS SOUS 91976 HAS SOUPS 91483 WITH SCORE 91577.127
AT ITER 1255 NEW BEST:: SOT 243786 SOS 93624 HAS SOPS 93131 HAS SOUS 91390 HAS SOUPS 90897 WITH SCORE 90990.624
AT ITER 1256 NEW BEST:: SOT 243666 SOS 93354 HAS SOPS 92861 HAS SOUS 91120 HAS SOUPS 90627 WITH SCORE 90720.354
AT ITER 1264 NEW BEST:: SOT 243721 SOS 93339 HAS SOPS 92846 HAS SOUS 91105 HAS SOUPS 90612 WITH SCORE 90705.339
AT ITER 1266 NEW BEST:: SOT 243673 SOS 93436 HAS SOPS 92943 HAS SOUS 91050 HAS SOUPS 90557 WITH SCORE 90650.436
AT ITER 1274 NEW BEST:: SOT 243775 SOS 93490 HAS SOPS 92997 HAS SOUS 90941 HAS SOUPS 90448 WITH SCORE 90541.49
AT ITER 1275 NEW BEST:: SOT 243758 SOS 93392 HAS SOPS 92899 HAS SOUS 90856 HAS SOUPS 90363 WITH SCORE 90456.392
AT ITER 1277 NEW BEST:: SOT 243714 SOS 93293 HAS SOPS 92800 HAS SOUS 90757 HAS SOUPS 90264 WITH SCORE 90357.293
AT ITER 1278 NEW BEST:: SOT 243766 SOS 93253 HAS SOPS 92760 HAS SOUS 90717 HAS SOUPS 90224 WITH SCORE 90317.253
AT ITER 1279 NEW BEST:: SOT 243766 SOS 92953 HAS SOPS 92460 HAS SOUS 90664 HAS SOUPS 90171 WITH SCORE 90263.953
AT ITER 1282 NEW BEST:: SOT 243741 SOS 92815 HAS SOPS 92322 HAS SOUS 90526 HAS SOUPS 90033 WITH SCORE 90125.815
AT ITER 1285 NEW BEST:: SOT 243657 SOS 92468 HAS SOPS 91975 HAS SOUS 90177 HAS SOUPS 89684 WITH SCORE 89776.468
AT ITER 1286 NEW BEST:: SOT 243488 SOS 91752 HAS SOPS 91259 HAS SOUS 89778 HAS SOUPS 89285 WITH SCORE 89376.752
AT ITER 1287 NEW BEST:: SOT 243412 SOS 91696 HAS SOPS 91203 HAS SOUS 89626 HAS SOUPS 89133 WITH SCORE 89224.696
AT ITER 1299 NEW BEST:: SOT 243266 SOS 91496 HAS SOPS 91003 HAS SOUS 89426 HAS SOUPS 88933 WITH SCORE 89024.496
AT ITER 1301 NEW BEST:: SOT 243231 SOS 91450 HAS SOPS 90957 HAS SOUS 89380 HAS SOUPS 88887 WITH SCORE 88978.45
AT ITER 1302 NEW BEST:: SOT 243013 SOS 90967 HAS SOPS 90474 HAS SOUS 89032 HAS SOUPS 88539 WITH SCORE 88629.967
AT ITER 1324 NEW BEST:: SOT 242769 SOS 90604 HAS SOPS 90111 HAS SOUS 88794 HAS SOUPS 88301 WITH SCORE 88391.604
AT ITER 1328 NEW BEST:: SOT 242777 SOS 90538 HAS SOPS 90045 HAS SOUS 88720 HAS SOUPS 88227 WITH SCORE 88317.538
AT ITER 1335 NEW BEST:: SOT 242799 SOS 90525 HAS SOPS 90032 HAS SOUS 88716 HAS SOUPS 88223 WITH SCORE 88313.525
AT ITER 1339 NEW BEST:: SOT 242870 SOS 90506 HAS SOPS 90013 HAS SOUS 88697 HAS SOUPS 88204 WITH SCORE 88294.506
AT ITER 1342 NEW BEST:: SOT 242690 SOS 90417 HAS SOPS 89924 HAS SOUS 88608 HAS SOUPS 88115 WITH SCORE 88205.417
AT ITER 1343 NEW BEST:: SOT 242690 SOS 90376 HAS SOPS 89883 HAS SOUS 88608 HAS SOUPS 88115 WITH SCORE 88205.376
AT ITER 1344 NEW BEST:: SOT 242662 SOS 90268 HAS SOPS 89775 HAS SOUS 88500 HAS SOUPS 88007 WITH SCORE 88097.268
AT ITER 1347 NEW BEST:: SOT 242410 SOS 89785 HAS SOPS 89292 HAS SOUS 88035 HAS SOUPS 87542 WITH SCORE 87631.785
AT ITER 1354 NEW BEST:: SOT 242364 SOS 89555 HAS SOPS 89062 HAS SOUS 87805 HAS SOUPS 87312 WITH SCORE 87401.555
AT ITER 1358 NEW BEST:: SOT 242217 SOS 89625 HAS SOPS 89132 HAS SOUS 87728 HAS SOUPS 87235 WITH SCORE 87324.625
AT ITER 1370 NEW BEST:: SOT 242241 SOS 89623 HAS SOPS 89130 HAS SOUS 87726 HAS SOUPS 87233 WITH SCORE 87322.623
AT ITER 1381 NEW BEST:: SOT 242104 SOS 89551 HAS SOPS 89058 HAS SOUS 87626 HAS SOUPS 87133 WITH SCORE 87222.551
AT ITER 1385 NEW BEST:: SOT 242172 SOS 89592 HAS SOPS 89099 HAS SOUS 87619 HAS SOUPS 87126 WITH SCORE 87215.592
AT ITER 1395 NEW BEST:: SOT 242104 SOS 89606 HAS SOPS 89113 HAS SOUS 87564 HAS SOUPS 87071 WITH SCORE 87160.606
AT ITER 1397 NEW BEST:: SOT 241995 SOS 89127 HAS SOPS 88634 HAS SOUS 87085 HAS SOUPS 86592 WITH SCORE 86681.127
AT ITER 1401 NEW BEST:: SOT 241980 SOS 89047 HAS SOPS 88554 HAS SOUS 86987 HAS SOUPS 86494 WITH SCORE 86583.047
AT ITER 1410 NEW BEST:: SOT 241897 SOS 88955 HAS SOPS 88462 HAS SOUS 86895 HAS SOUPS 86402 WITH SCORE 86490.955
AT ITER 1422 NEW BEST:: SOT 241872 SOS 88839 HAS SOPS 88346 HAS SOUS 86779 HAS SOUPS 86286 WITH SCORE 86374.839
AT ITER 1438 NEW BEST:: SOT 241869 SOS 88834 HAS SOPS 88341 HAS SOUS 86774 HAS SOUPS 86281 WITH SCORE 86369.834
AT ITER 1445 NEW BEST:: SOT 241824 SOS 88654 HAS SOPS 88161 HAS SOUS 86639 HAS SOUPS 86146 WITH SCORE 86234.654
AT ITER 1450 NEW BEST:: SOT 241943 SOS 88674 HAS SOPS 88181 HAS SOUS 86566 HAS SOUPS 86073 WITH SCORE 86161.674
AT ITER 1454 NEW BEST:: SOT 241940 SOS 88665 HAS SOPS 88172 HAS SOUS 86557 HAS SOUPS 86064 WITH SCORE 86152.665
AT ITER 1467 NEW BEST:: SOT 241940 SOS 88466 HAS SOPS 87973 HAS SOUS 86529 HAS SOUPS 86036 WITH SCORE 86124.466
AT ITER 1468 NEW BEST:: SOT 241820 SOS 88231 HAS SOPS 87738 HAS SOUS 86294 HAS SOUPS 85801 WITH SCORE 85889.231
AT ITER 1472 NEW BEST:: SOT 241727 SOS 88018 HAS SOPS 87525 HAS SOUS 86042 HAS SOUPS 85549 WITH SCORE 85637.018
AT ITER 1476 NEW BEST:: SOT 241707 SOS 87978 HAS SOPS 87485 HAS SOUS 86002 HAS SOUPS 85509 WITH SCORE 85596.978
AT ITER 1479 NEW BEST:: SOT 241700 SOS 87971 HAS SOPS 87478 HAS SOUS 85995 HAS SOUPS 85502 WITH SCORE 85589.971
AT ITER 1481 NEW BEST:: SOT 241633 SOS 87904 HAS SOPS 87411 HAS SOUS 85928 HAS SOUPS 85435 WITH SCORE 85522.904
AT ITER 1483 NEW BEST:: SOT 241511 SOS 87676 HAS SOPS 87183 HAS SOUS 85682 HAS SOUPS 85189 WITH SCORE 85276.676
AT ITER 1492 NEW BEST:: SOT 241508 SOS 87670 HAS SOPS 87177 HAS SOUS 85676 HAS SOUPS 85183 WITH SCORE 85270.67
AT ITER 1497 NEW BEST:: SOT 241319 SOS 87299 HAS SOPS 86806 HAS SOUS 85323 HAS SOUPS 84830 WITH SCORE 84917.299
AT ITER 1503 NEW BEST:: SOT 241272 SOS 87300 HAS SOPS 86807 HAS SOUS 85277 HAS SOUPS 84784 WITH SCORE 84871.3
AT ITER 1504 NEW BEST:: SOT 241312 SOS 87173 HAS SOPS 86680 HAS SOUS 85023 HAS SOUPS 84530 WITH SCORE 84617.173
AT ITER 1512 NEW BEST:: SOT 241176 SOS 87122 HAS SOPS 86629 HAS SOUS 84972 HAS SOUPS 84479 WITH SCORE 84566.122
AT ITER 1514 NEW BEST:: SOT 241094 SOS 86724 HAS SOPS 86231 HAS SOUS 84574 HAS SOUPS 84081 WITH SCORE 84167.724
AT ITER 1521 NEW BEST:: SOT 241198 SOS 86713 HAS SOPS 86220 HAS SOUS 84563 HAS SOUPS 84070 WITH SCORE 84156.713
AT ITER 1529 NEW BEST:: SOT 241163 SOS 86680 HAS SOPS 86187 HAS SOUS 84530 HAS SOUPS 84037 WITH SCORE 84123.68
AT ITER 1535 NEW BEST:: SOT 240937 SOS 86333 HAS SOPS 85840 HAS SOUS 84246 HAS SOUPS 83753 WITH SCORE 83839.333
AT ITER 1547 NEW BEST:: SOT 240937 SOS 86333 HAS SOPS 85840 HAS SOUS 84245 HAS SOUPS 83752 WITH SCORE 83838.333
AT ITER 1562 NEW BEST:: SOT 240587 SOS 85573 HAS SOPS 85080 HAS SOUS 83485 HAS SOUPS 82992 WITH SCORE 83077.573
AT ITER 1564 NEW BEST:: SOT 240541 SOS 85527 HAS SOPS 85034 HAS SOUS 83439 HAS SOUPS 82946 WITH SCORE 83031.527
AT ITER 1565 NEW BEST:: SOT 240494 SOS 85179 HAS SOPS 84686 HAS SOUS 83309 HAS SOUPS 82816 WITH SCORE 82901.179
AT ITER 1568 NEW BEST:: SOT 240360 SOS 84883 HAS SOPS 84390 HAS SOUS 83013 HAS SOUPS 82520 WITH SCORE 82604.883
AT ITER 1584 NEW BEST:: SOT 240396 SOS 84866 HAS SOPS 84373 HAS SOUS 82996 HAS SOUPS 82503 WITH SCORE 82587.866
AT ITER 1596 NEW BEST:: SOT 240391 SOS 84851 HAS SOPS 84358 HAS SOUS 82981 HAS SOUPS 82488 WITH SCORE 82572.851
AT ITER 1599 NEW BEST:: SOT 240376 SOS 84677 HAS SOPS 84184 HAS SOUS 82708 HAS SOUPS 82215 WITH SCORE 82299.677
AT ITER 1600 NEW BEST:: SOT 240316 SOS 84557 HAS SOPS 84064 HAS SOUS 82588 HAS SOUPS 82095 WITH SCORE 82179.557
AT ITER 1602 NEW BEST:: SOT 240426 SOS 84477 HAS SOPS 83984 HAS SOUS 82556 HAS SOUPS 82063 WITH SCORE 82147.477
AT ITER 1603 NEW BEST:: SOT 240194 SOS 84123 HAS SOPS 83630 HAS SOUS 82150 HAS SOUPS 81657 WITH SCORE 81741.123
AT ITER 1606 NEW BEST:: SOT 240264 SOS 84053 HAS SOPS 83560 HAS SOUS 82080 HAS SOUPS 81587 WITH SCORE 81671.053
AT ITER 1619 NEW BEST:: SOT 240244 SOS 84028 HAS SOPS 83535 HAS SOUS 82055 HAS SOUPS 81562 WITH SCORE 81646.028
AT ITER 1623 NEW BEST:: SOT 240142 SOS 83926 HAS SOPS 83433 HAS SOUS 81953 HAS SOUPS 81460 WITH SCORE 81543.926
AT ITER 1624 NEW BEST:: SOT 240004 SOS 83610 HAS SOPS 83117 HAS SOUS 81637 HAS SOUPS 81144 WITH SCORE 81227.61
AT ITER 1629 NEW BEST:: SOT 240034 SOS 83562 HAS SOPS 83069 HAS SOUS 81617 HAS SOUPS 81124 WITH SCORE 81207.562
AT ITER 1640 NEW BEST:: SOT 240073 SOS 83521 HAS SOPS 83028 HAS SOUS 81576 HAS SOUPS 81083 WITH SCORE 81166.521
AT ITER 1643 NEW BEST:: SOT 240025 SOS 83425 HAS SOPS 82932 HAS SOUS 81480 HAS SOUPS 80987 WITH SCORE 81070.425
AT ITER 1644 NEW BEST:: SOT 239999 SOS 83353 HAS SOPS 82860 HAS SOUS 81408 HAS SOUPS 80915 WITH SCORE 80998.353
AT ITER 1645 NEW BEST:: SOT 239985 SOS 83297 HAS SOPS 82804 HAS SOUS 81366 HAS SOUPS 80873 WITH SCORE 80956.297
AT ITER 1650 NEW BEST:: SOT 239934 SOS 83232 HAS SOPS 82739 HAS SOUS 81301 HAS SOUPS 80808 WITH SCORE 80891.232
AT ITER 1655 NEW BEST:: SOT 239703 SOS 82973 HAS SOPS 82480 HAS SOUS 81042 HAS SOUPS 80549 WITH SCORE 80631.973
AT ITER 1660 NEW BEST:: SOT 239612 SOS 82854 HAS SOPS 82361 HAS SOUS 80923 HAS SOUPS 80430 WITH SCORE 80512.854
AT ITER 1666 NEW BEST:: SOT 239508 SOS 82573 HAS SOPS 82080 HAS SOUS 80642 HAS SOUPS 80149 WITH SCORE 80231.573
AT ITER 1672 NEW BEST:: SOT 239481 SOS 82465 HAS SOPS 81972 HAS SOUS 80534 HAS SOUPS 80041 WITH SCORE 80123.465
AT ITER 1684 NEW BEST:: SOT 239368 SOS 82279 HAS SOPS 81786 HAS SOUS 80348 HAS SOUPS 79855 WITH SCORE 79937.279
AT ITER 1686 NEW BEST:: SOT 239260 SOS 82171 HAS SOPS 81678 HAS SOUS 80220 HAS SOUPS 79727 WITH SCORE 79809.171
AT ITER 1689 NEW BEST:: SOT 239128 SOS 81914 HAS SOPS 81421 HAS SOUS 79963 HAS SOUPS 79470 WITH SCORE 79551.914
AT ITER 1694 NEW BEST:: SOT 239051 SOS 81717 HAS SOPS 81224 HAS SOUS 79766 HAS SOUPS 79273 WITH SCORE 79354.717
AT ITER 1696 NEW BEST:: SOT 239027 SOS 81685 HAS SOPS 81192 HAS SOUS 79734 HAS SOUPS 79241 WITH SCORE 79322.685
AT ITER 1698 NEW BEST:: SOT 239146 SOS 81861 HAS SOPS 81368 HAS SOUS 79714 HAS SOUPS 79221 WITH SCORE 79302.861
AT ITER 1701 NEW BEST:: SOT 239131 SOS 81853 HAS SOPS 81360 HAS SOUS 79706 HAS SOUPS 79213 WITH SCORE 79294.853
AT ITER 1705 NEW BEST:: SOT 239039 SOS 81692 HAS SOPS 81199 HAS SOUS 79545 HAS SOUPS 79052 WITH SCORE 79133.692
AT ITER 1707 NEW BEST:: SOT 238816 SOS 81469 HAS SOPS 80976 HAS SOUS 79322 HAS SOUPS 78829 WITH SCORE 78910.469
AT ITER 1713 NEW BEST:: SOT 238816 SOS 81369 HAS SOPS 80876 HAS SOUS 79222 HAS SOUPS 78729 WITH SCORE 78810.369
AT ITER 1721 NEW BEST:: SOT 238813 SOS 81361 HAS SOPS 80868 HAS SOUS 79214 HAS SOUPS 78721 WITH SCORE 78802.361
AT ITER 1723 NEW BEST:: SOT 238708 SOS 81120 HAS SOPS 80627 HAS SOUS 79004 HAS SOUPS 78511 WITH SCORE 78592.12
AT ITER 1732 NEW BEST:: SOT 238698 SOS 81090 HAS SOPS 80597 HAS SOUS 78974 HAS SOUPS 78481 WITH SCORE 78562.09
AT ITER 1737 NEW BEST:: SOT 238571 SOS 80582 HAS SOPS 80089 HAS SOUS 78593 HAS SOUPS 78100 WITH SCORE 78180.582
AT ITER 1741 NEW BEST:: SOT 238564 SOS 80575 HAS SOPS 80082 HAS SOUS 78586 HAS SOUPS 78093 WITH SCORE 78173.575
AT ITER 1742 NEW BEST:: SOT 238540 SOS 80505 HAS SOPS 80012 HAS SOUS 78516 HAS SOUPS 78023 WITH SCORE 78103.505
AT ITER 1756 NEW BEST:: SOT 238491 SOS 80340 HAS SOPS 79847 HAS SOUS 78351 HAS SOUPS 77858 WITH SCORE 77938.34
AT ITER 1765 NEW BEST:: SOT 238439 SOS 80158 HAS SOPS 79665 HAS SOUS 78169 HAS SOUPS 77676 WITH SCORE 77756.158
AT ITER 1768 NEW BEST:: SOT 238408 SOS 80087 HAS SOPS 79594 HAS SOUS 78098 HAS SOUPS 77605 WITH SCORE 77685.087
AT ITER 1769 NEW BEST:: SOT 238394 SOS 80066 HAS SOPS 79573 HAS SOUS 78077 HAS SOUPS 77584 WITH SCORE 77664.066
AT ITER 1771 NEW BEST:: SOT 238308 SOS 79866 HAS SOPS 79373 HAS SOUS 77888 HAS SOUPS 77395 WITH SCORE 77474.866
AT ITER 1777 NEW BEST:: SOT 238296 SOS 79856 HAS SOPS 79363 HAS SOUS 77878 HAS SOUPS 77385 WITH SCORE 77464.856
AT ITER 1782 NEW BEST:: SOT 238316 SOS 79812 HAS SOPS 79319 HAS SOUS 77834 HAS SOUPS 77341 WITH SCORE 77420.812
AT ITER 1792 NEW BEST:: SOT 238311 SOS 79792 HAS SOPS 79299 HAS SOUS 77819 HAS SOUPS 77326 WITH SCORE 77405.792
AT ITER 1800 NEW BEST:: SOT 238311 SOS 79786 HAS SOPS 79293 HAS SOUS 77813 HAS SOUPS 77320 WITH SCORE 77399.786
AT ITER 1803 NEW BEST:: SOT 238230 SOS 79597 HAS SOPS 79104 HAS SOUS 77678 HAS SOUPS 77185 WITH SCORE 77264.597
AT ITER 1811 NEW BEST:: SOT 238230 SOS 79507 HAS SOPS 79014 HAS SOUS 77498 HAS SOUPS 77005 WITH SCORE 77084.507
AT ITER 1823 NEW BEST:: SOT 238240 SOS 79503 HAS SOPS 79010 HAS SOUS 77494 HAS SOUPS 77001 WITH SCORE 77080.503
AT ITER 1830 NEW BEST:: SOT 238286 SOS 79457 HAS SOPS 78964 HAS SOUS 77448 HAS SOUPS 76955 WITH SCORE 77034.457
AT ITER 1831 NEW BEST:: SOT 238182 SOS 79378 HAS SOPS 78885 HAS SOUS 77267 HAS SOUPS 76774 WITH SCORE 76853.378
AT ITER 1853 NEW BEST:: SOT 238175 SOS 79371 HAS SOPS 78878 HAS SOUS 77260 HAS SOUPS 76767 WITH SCORE 76846.371
AT ITER 1856 NEW BEST:: SOT 238164 SOS 79349 HAS SOPS 78856 HAS SOUS 77238 HAS SOUPS 76745 WITH SCORE 76824.349
AT ITER 1857 NEW BEST:: SOT 238194 SOS 79313 HAS SOPS 78820 HAS SOUS 77172 HAS SOUPS 76679 WITH SCORE 76758.313
AT ITER 1864 NEW BEST:: SOT 238192 SOS 79305 HAS SOPS 78812 HAS SOUS 77166 HAS SOUPS 76673 WITH SCORE 76752.305
AT ITER 1879 NEW BEST:: SOT 238188 SOS 79289 HAS SOPS 78796 HAS SOUS 76987 HAS SOUPS 76494 WITH SCORE 76573.289
AT ITER 1888 NEW BEST:: SOT 238159 SOS 79202 HAS SOPS 78709 HAS SOUS 76932 HAS SOUPS 76439 WITH SCORE 76518.202
AT ITER 1900 NEW BEST:: SOT 237817 SOS 78843 HAS SOPS 78350 HAS SOUS 76562 HAS SOUPS 76069 WITH SCORE 76147.843
AT ITER 1904 NEW BEST:: SOT 237781 SOS 78806 HAS SOPS 78313 HAS SOUS 76457 HAS SOUPS 75964 WITH SCORE 76042.806
AT ITER 1907 NEW BEST:: SOT 237675 SOS 78340 HAS SOPS 77847 HAS SOUS 75892 HAS SOUPS 75399 WITH SCORE 75477.34
AT ITER 1917 NEW BEST:: SOT 237659 SOS 78180 HAS SOPS 77687 HAS SOUS 75732 HAS SOUPS 75239 WITH SCORE 75317.18
AT ITER 1919 NEW BEST:: SOT 237705 SOS 78188 HAS SOPS 77695 HAS SOUS 75654 HAS SOUPS 75161 WITH SCORE 75239.188
AT ITER 1923 NEW BEST:: SOT 237668 SOS 78126 HAS SOPS 77633 HAS SOUS 75592 HAS SOUPS 75099 WITH SCORE 75177.126
AT ITER 1925 NEW BEST:: SOT 237474 SOS 77361 HAS SOPS 76868 HAS SOUS 75203 HAS SOUPS 74710 WITH SCORE 74787.361
AT ITER 1931 NEW BEST:: SOT 237376 SOS 77165 HAS SOPS 76672 HAS SOUS 74922 HAS SOUPS 74429 WITH SCORE 74506.165
AT ITER 1935 NEW BEST:: SOT 237291 SOS 77150 HAS SOPS 76657 HAS SOUS 74907 HAS SOUPS 74414 WITH SCORE 74491.15
AT ITER 1940 NEW BEST:: SOT 237257 SOS 77099 HAS SOPS 76606 HAS SOUS 74856 HAS SOUPS 74363 WITH SCORE 74440.099
AT ITER 1945 NEW BEST:: SOT 237263 SOS 77085 HAS SOPS 76592 HAS SOUS 74842 HAS SOUPS 74349 WITH SCORE 74426.085
AT ITER 1949 NEW BEST:: SOT 237142 SOS 76611 HAS SOPS 76118 HAS SOUS 74368 HAS SOUPS 73875 WITH SCORE 73951.611
AT ITER 1957 NEW BEST:: SOT 237232 SOS 76244 HAS SOPS 75751 HAS SOUS 74001 HAS SOUPS 73508 WITH SCORE 73584.244
AT ITER 1958 NEW BEST:: SOT 237250 SOS 76212 HAS SOPS 75719 HAS SOUS 73969 HAS SOUPS 73476 WITH SCORE 73552.212
AT ITER 1963 NEW BEST:: SOT 237185 SOS 76056 HAS SOPS 75563 HAS SOUS 73797 HAS SOUPS 73304 WITH SCORE 73380.056
AT ITER 1968 NEW BEST:: SOT 237136 SOS 75785 HAS SOPS 75292 HAS SOUS 73526 HAS SOUPS 73033 WITH SCORE 73108.785
AT ITER 1970 NEW BEST:: SOT 237073 SOS 75652 HAS SOPS 75159 HAS SOUS 73430 HAS SOUPS 72937 WITH SCORE 73012.652
AT ITER 1974 NEW BEST:: SOT 237081 SOS 75645 HAS SOPS 75152 HAS SOUS 73423 HAS SOUPS 72930 WITH SCORE 73005.645
AT ITER 1976 NEW BEST:: SOT 237004 SOS 75531 HAS SOPS 75038 HAS SOUS 73372 HAS SOUPS 72879 WITH SCORE 72954.531
AT ITER 1978 NEW BEST:: SOT 236946 SOS 75493 HAS SOPS 75000 HAS SOUS 73334 HAS SOUPS 72841 WITH SCORE 72916.493
AT ITER 1995 NEW BEST:: SOT 236946 SOS 75481 HAS SOPS 74988 HAS SOUS 73334 HAS SOUPS 72841 WITH SCORE 72916.481
AT ITER 2000 NEW BEST:: SOT 236910 SOS 75453 HAS SOPS 74960 HAS SOUS 73306 HAS SOUPS 72813 WITH SCORE 72888.453
AT ITER 2006 NEW BEST:: SOT 236832 SOS 75056 HAS SOPS 74563 HAS SOUS 72836 HAS SOUPS 72343 WITH SCORE 72418.056
AT ITER 2021 NEW BEST:: SOT 236740 SOS 74918 HAS SOPS 74425 HAS SOUS 72698 HAS SOUPS 72205 WITH SCORE 72279.918
AT ITER 2025 NEW BEST:: SOT 236712 SOS 74876 HAS SOPS 74383 HAS SOUS 72656 HAS SOUPS 72163 WITH SCORE 72237.876
AT ITER 2026 NEW BEST:: SOT 236626 SOS 74782 HAS SOPS 74288 HAS SOUS 72566 HAS SOUPS 72072 WITH SCORE 72146.782
AT ITER 2032 NEW BEST:: SOT 236653 SOS 74810 HAS SOPS 74316 HAS SOUS 72487 HAS SOUPS 71993 WITH SCORE 72067.81
AT ITER 2047 NEW BEST:: SOT 236577 SOS 74734 HAS SOPS 74240 HAS SOUS 72466 HAS SOUPS 71972 WITH SCORE 72046.734
AT ITER 2061 NEW BEST:: SOT 236481 SOS 74510 HAS SOPS 74016 HAS SOUS 72274 HAS SOUPS 71780 WITH SCORE 71854.51
AT ITER 2070 NEW BEST:: SOT 236489 SOS 74536 HAS SOPS 74042 HAS SOUS 72254 HAS SOUPS 71760 WITH SCORE 71834.536
AT ITER 2074 NEW BEST:: SOT 236333 SOS 74206 HAS SOPS 73712 HAS SOUS 71912 HAS SOUPS 71418 WITH SCORE 71492.206
AT ITER 2077 NEW BEST:: SOT 236317 SOS 74008 HAS SOPS 73514 HAS SOUS 71762 HAS SOUPS 71268 WITH SCORE 71342.008
AT ITER 2086 NEW BEST:: SOT 236171 SOS 73765 HAS SOPS 73271 HAS SOUS 71519 HAS SOUPS 71025 WITH SCORE 71098.765
AT ITER 2095 NEW BEST:: SOT 236126 SOS 73734 HAS SOPS 73240 HAS SOUS 71488 HAS SOUPS 70994 WITH SCORE 71067.734
AT ITER 2100 NEW BEST:: SOT 236107 SOS 73677 HAS SOPS 73183 HAS SOUS 71431 HAS SOUPS 70937 WITH SCORE 71010.677
AT ITER 2107 NEW BEST:: SOT 236247 SOS 73571 HAS SOPS 73077 HAS SOUS 71296 HAS SOUPS 70802 WITH SCORE 70875.571
AT ITER 2109 NEW BEST:: SOT 236197 SOS 73371 HAS SOPS 72877 HAS SOUS 71096 HAS SOUPS 70602 WITH SCORE 70675.371
AT ITER 2125 NEW BEST:: SOT 236192 SOS 73353 HAS SOPS 72859 HAS SOUS 71078 HAS SOUPS 70584 WITH SCORE 70657.353
AT ITER 2145 NEW BEST:: SOT 236192 SOS 73345 HAS SOPS 72851 HAS SOUS 71078 HAS SOUPS 70584 WITH SCORE 70657.345
AT ITER 2148 NEW BEST:: SOT 236039 SOS 73356 HAS SOPS 72862 HAS SOUS 71052 HAS SOUPS 70558 WITH SCORE 70631.356
AT ITER 2162 NEW BEST:: SOT 236027 SOS 73340 HAS SOPS 72846 HAS SOUS 71032 HAS SOUPS 70538 WITH SCORE 70611.34
AT ITER 2163 NEW BEST:: SOT 236010 SOS 73323 HAS SOPS 72829 HAS SOUS 71015 HAS SOUPS 70521 WITH SCORE 70594.323
AT ITER 2166 NEW BEST:: SOT 235940 SOS 73166 HAS SOPS 72672 HAS SOUS 70858 HAS SOUPS 70364 WITH SCORE 70437.166
AT ITER 2169 NEW BEST:: SOT 235564 SOS 72644 HAS SOPS 72150 HAS SOUS 70336 HAS SOUPS 69842 WITH SCORE 69914.644
AT ITER 2172 NEW BEST:: SOT 235654 SOS 72670 HAS SOPS 72176 HAS SOUS 70177 HAS SOUPS 69683 WITH SCORE 69755.67
AT ITER 2186 NEW BEST:: SOT 235633 SOS 72586 HAS SOPS 72092 HAS SOUS 70114 HAS SOUPS 69620 WITH SCORE 69692.586
AT ITER 2195 NEW BEST:: SOT 235561 SOS 72464 HAS SOPS 71970 HAS SOUS 69970 HAS SOUPS 69476 WITH SCORE 69548.464
AT ITER 2196 NEW BEST:: SOT 235564 SOS 72461 HAS SOPS 71967 HAS SOUS 69967 HAS SOUPS 69473 WITH SCORE 69545.461
AT ITER 2197 NEW BEST:: SOT 235544 SOS 72376 HAS SOPS 71882 HAS SOUS 69907 HAS SOUPS 69413 WITH SCORE 69485.376
AT ITER 2214 NEW BEST:: SOT 235536 SOS 72354 HAS SOPS 71860 HAS SOUS 69857 HAS SOUPS 69363 WITH SCORE 69435.354
AT ITER 2219 NEW BEST:: SOT 235518 SOS 72328 HAS SOPS 71834 HAS SOUS 69831 HAS SOUPS 69337 WITH SCORE 69409.328
AT ITER 2223 NEW BEST:: SOT 235518 SOS 72259 HAS SOPS 71765 HAS SOUS 69772 HAS SOUPS 69278 WITH SCORE 69350.259
AT ITER 2224 NEW BEST:: SOT 235525 SOS 72253 HAS SOPS 71759 HAS SOUS 69766 HAS SOUPS 69272 WITH SCORE 69344.253
AT ITER 2230 NEW BEST:: SOT 235344 SOS 71977 HAS SOPS 71483 HAS SOUS 69438 HAS SOUPS 68944 WITH SCORE 69015.977
AT ITER 2236 NEW BEST:: SOT 235285 SOS 71918 HAS SOPS 71424 HAS SOUS 69379 HAS SOUPS 68885 WITH SCORE 68956.918
AT ITER 2243 NEW BEST:: SOT 235206 SOS 71602 HAS SOPS 71108 HAS SOUS 69142 HAS SOUPS 68648 WITH SCORE 68719.602
AT ITER 2246 NEW BEST:: SOT 235179 SOS 71412 HAS SOPS 70918 HAS SOUS 68948 HAS SOUPS 68454 WITH SCORE 68525.412
AT ITER 2252 NEW BEST:: SOT 235178 SOS 71393 HAS SOPS 70899 HAS SOUS 68929 HAS SOUPS 68435 WITH SCORE 68506.393
AT ITER 2261 NEW BEST:: SOT 235039 SOS 71059 HAS SOPS 70565 HAS SOUS 68660 HAS SOUPS 68166 WITH SCORE 68237.059
AT ITER 2264 NEW BEST:: SOT 235029 SOS 71034 HAS SOPS 70540 HAS SOUS 68635 HAS SOUPS 68141 WITH SCORE 68212.034
AT ITER 2299 NEW BEST:: SOT 234992 SOS 70886 HAS SOPS 70392 HAS SOUS 68524 HAS SOUPS 68030 WITH SCORE 68100.886
AT ITER 2301 NEW BEST:: SOT 234882 SOS 70698 HAS SOPS 70204 HAS SOUS 68353 HAS SOUPS 67859 WITH SCORE 67929.698
AT ITER 2310 NEW BEST:: SOT 234882 SOS 70691 HAS SOPS 70197 HAS SOUS 68346 HAS SOUPS 67852 WITH SCORE 67922.691
AT ITER 2317 NEW BEST:: SOT 234861 SOS 70582 HAS SOPS 70088 HAS SOUS 68237 HAS SOUPS 67743 WITH SCORE 67813.582
AT ITER 2319 NEW BEST:: SOT 234813 SOS 70462 HAS SOPS 69968 HAS SOUS 68117 HAS SOUPS 67623 WITH SCORE 67693.462
AT ITER 2326 NEW BEST:: SOT 234803 SOS 70447 HAS SOPS 69953 HAS SOUS 68102 HAS SOUPS 67608 WITH SCORE 67678.447
AT ITER 2328 NEW BEST:: SOT 234782 SOS 70386 HAS SOPS 69892 HAS SOUS 68041 HAS SOUPS 67547 WITH SCORE 67617.386
AT ITER 2333 NEW BEST:: SOT 234764 SOS 70350 HAS SOPS 69856 HAS SOUS 67996 HAS SOUPS 67502 WITH SCORE 67572.35
AT ITER 2344 NEW BEST:: SOT 234692 SOS 70188 HAS SOPS 69694 HAS SOUS 67834 HAS SOUPS 67340 WITH SCORE 67410.188
AT ITER 2345 NEW BEST:: SOT 234668 SOS 70124 HAS SOPS 69630 HAS SOUS 67770 HAS SOUPS 67276 WITH SCORE 67346.124
AT ITER 2350 NEW BEST:: SOT 234657 SOS 70113 HAS SOPS 69619 HAS SOUS 67759 HAS SOUPS 67265 WITH SCORE 67335.113
AT ITER 2351 NEW BEST:: SOT 234583 SOS 69990 HAS SOPS 69496 HAS SOUS 67636 HAS SOUPS 67142 WITH SCORE 67211.99
AT ITER 2352 NEW BEST:: SOT 234421 SOS 69834 HAS SOPS 69340 HAS SOUS 67480 HAS SOUPS 66986 WITH SCORE 67055.834
AT ITER 2353 NEW BEST:: SOT 234373 SOS 69754 HAS SOPS 69260 HAS SOUS 67400 HAS SOUPS 66906 WITH SCORE 66975.754
AT ITER 2355 NEW BEST:: SOT 234293 SOS 69623 HAS SOPS 69129 HAS SOUS 67269 HAS SOUPS 66775 WITH SCORE 66844.623
AT ITER 2357 NEW BEST:: SOT 234258 SOS 69583 HAS SOPS 69089 HAS SOUS 67229 HAS SOUPS 66735 WITH SCORE 66804.583
AT ITER 2380 NEW BEST:: SOT 234096 SOS 69205 HAS SOPS 68711 HAS SOUS 66905 HAS SOUPS 66411 WITH SCORE 66480.205
AT ITER 2381 NEW BEST:: SOT 234052 SOS 69161 HAS SOPS 68667 HAS SOUS 66905 HAS SOUPS 66411 WITH SCORE 66480.161
AT ITER 2393 NEW BEST:: SOT 234041 SOS 69139 HAS SOPS 68645 HAS SOUS 66883 HAS SOUPS 66389 WITH SCORE 66458.139
AT ITER 2396 NEW BEST:: SOT 234036 SOS 69134 HAS SOPS 68640 HAS SOUS 66878 HAS SOUPS 66384 WITH SCORE 66453.134
AT ITER 2414 NEW BEST:: SOT 234031 SOS 69029 HAS SOPS 68535 HAS SOUS 66818 HAS SOUPS 66324 WITH SCORE 66393.029
AT ITER 2420 NEW BEST:: SOT 233963 SOS 68904 HAS SOPS 68410 HAS SOUS 66693 HAS SOUPS 66199 WITH SCORE 66267.904
AT ITER 2426 NEW BEST:: SOT 233963 SOS 68832 HAS SOPS 68338 HAS SOUS 66657 HAS SOUPS 66163 WITH SCORE 66231.832
AT ITER 2435 NEW BEST:: SOT 233913 SOS 68782 HAS SOPS 68288 HAS SOUS 66657 HAS SOUPS 66163 WITH SCORE 66231.782
AT ITER 2449 NEW BEST:: SOT 233897 SOS 68770 HAS SOPS 68276 HAS SOUS 66645 HAS SOUPS 66151 WITH SCORE 66219.77
AT ITER 2456 NEW BEST:: SOT 233891 SOS 68756 HAS SOPS 68262 HAS SOUS 66633 HAS SOUPS 66139 WITH SCORE 66207.756
AT ITER 2459 NEW BEST:: SOT 233891 SOS 68754 HAS SOPS 68260 HAS SOUS 66631 HAS SOUPS 66137 WITH SCORE 66205.754
AT ITER 2462 NEW BEST:: SOT 233849 SOS 68691 HAS SOPS 68197 HAS SOUS 66568 HAS SOUPS 66074 WITH SCORE 66142.691
AT ITER 2473 NEW BEST:: SOT 233849 SOS 68608 HAS SOPS 68114 HAS SOUS 66485 HAS SOUPS 65991 WITH SCORE 66059.608
AT ITER 2475 NEW BEST:: SOT 233853 SOS 68584 HAS SOPS 68090 HAS SOUS 66458 HAS SOUPS 65964 WITH SCORE 66032.584
AT ITER 2479 NEW BEST:: SOT 233583 SOS 68272 HAS SOPS 67778 HAS SOUS 66125 HAS SOUPS 65631 WITH SCORE 65699.272
AT ITER 2507 NEW BEST:: SOT 233315 SOS 67934 HAS SOPS 67440 HAS SOUS 65787 HAS SOUPS 65293 WITH SCORE 65360.934
AT ITER 2510 NEW BEST:: SOT 233273 SOS 67848 HAS SOPS 67354 HAS SOUS 65701 HAS SOUPS 65207 WITH SCORE 65274.848
AT ITER 2531 NEW BEST:: SOT 233175 SOS 67654 HAS SOPS 67160 HAS SOUS 65567 HAS SOUPS 65073 WITH SCORE 65140.654
AT ITER 2539 NEW BEST:: SOT 233027 SOS 67358 HAS SOPS 66864 HAS SOUS 65345 HAS SOUPS 64851 WITH SCORE 64918.358
AT ITER 2542 NEW BEST:: SOT 232991 SOS 67322 HAS SOPS 66828 HAS SOUS 65309 HAS SOUPS 64815 WITH SCORE 64882.322
AT ITER 2545 NEW BEST:: SOT 232949 SOS 67217 HAS SOPS 66723 HAS SOUS 65204 HAS SOUPS 64710 WITH SCORE 64777.217
AT ITER 2555 NEW BEST:: SOT 232652 SOS 66718 HAS SOPS 66224 HAS SOUS 64705 HAS SOUPS 64211 WITH SCORE 64277.718
AT ITER 2557 NEW BEST:: SOT 232631 SOS 66714 HAS SOPS 66220 HAS SOUS 64701 HAS SOUPS 64207 WITH SCORE 64273.714
AT ITER 2564 NEW BEST:: SOT 232627 SOS 66709 HAS SOPS 66215 HAS SOUS 64696 HAS SOUPS 64202 WITH SCORE 64268.709
AT ITER 2568 NEW BEST:: SOT 232627 SOS 66667 HAS SOPS 66173 HAS SOUS 64654 HAS SOUPS 64160 WITH SCORE 64226.667
AT ITER 2569 NEW BEST:: SOT 232517 SOS 66531 HAS SOPS 66037 HAS SOUS 64518 HAS SOUPS 64024 WITH SCORE 64090.531
AT ITER 2572 NEW BEST:: SOT 232491 SOS 66376 HAS SOPS 65882 HAS SOUS 64420 HAS SOUPS 63926 WITH SCORE 63992.376
AT ITER 2589 NEW BEST:: SOT 232451 SOS 66336 HAS SOPS 65842 HAS SOUS 64380 HAS SOUPS 63886 WITH SCORE 63952.336
AT ITER 2593 NEW BEST:: SOT 232308 SOS 65907 HAS SOPS 65413 HAS SOUS 64237 HAS SOUPS 63743 WITH SCORE 63808.907
AT ITER 2596 NEW BEST:: SOT 232222 SOS 65694 HAS SOPS 65200 HAS SOUS 64158 HAS SOUPS 63664 WITH SCORE 63729.694
AT ITER 2598 NEW BEST:: SOT 232265 SOS 65673 HAS SOPS 65179 HAS SOUS 64137 HAS SOUPS 63643 WITH SCORE 63708.673
AT ITER 2599 NEW BEST:: SOT 232137 SOS 65494 HAS SOPS 65000 HAS SOUS 63960 HAS SOUPS 63466 WITH SCORE 63531.494
AT ITER 2611 NEW BEST:: SOT 232067 SOS 65374 HAS SOPS 64880 HAS SOUS 63840 HAS SOUPS 63346 WITH SCORE 63411.374
AT ITER 2613 NEW BEST:: SOT 232030 SOS 65279 HAS SOPS 64785 HAS SOUS 63745 HAS SOUPS 63251 WITH SCORE 63316.279
AT ITER 2617 NEW BEST:: SOT 231912 SOS 65090 HAS SOPS 64596 HAS SOUS 63603 HAS SOUPS 63109 WITH SCORE 63174.09
AT ITER 2638 NEW BEST:: SOT 231671 SOS 64652 HAS SOPS 64158 HAS SOUS 63165 HAS SOUPS 62671 WITH SCORE 62735.652
AT ITER 2647 NEW BEST:: SOT 231705 SOS 64646 HAS SOPS 64152 HAS SOUS 63153 HAS SOUPS 62659 WITH SCORE 62723.646
AT ITER 2648 NEW BEST:: SOT 231681 SOS 64548 HAS SOPS 64054 HAS SOUS 63109 HAS SOUPS 62615 WITH SCORE 62679.548
AT ITER 2654 NEW BEST:: SOT 231647 SOS 64398 HAS SOPS 63904 HAS SOUS 62917 HAS SOUPS 62423 WITH SCORE 62487.398
AT ITER 2655 NEW BEST:: SOT 231565 SOS 64207 HAS SOPS 63713 HAS SOUS 62726 HAS SOUPS 62232 WITH SCORE 62296.207
AT ITER 2659 NEW BEST:: SOT 231542 SOS 64159 HAS SOPS 63665 HAS SOUS 62678 HAS SOUPS 62184 WITH SCORE 62248.159
AT ITER 2669 NEW BEST:: SOT 231536 SOS 64147 HAS SOPS 63653 HAS SOUS 62666 HAS SOUPS 62172 WITH SCORE 62236.147
AT ITER 2673 NEW BEST:: SOT 231507 SOS 64092 HAS SOPS 63598 HAS SOUS 62611 HAS SOUPS 62117 WITH SCORE 62181.092
AT ITER 2674 NEW BEST:: SOT 231423 SOS 63924 HAS SOPS 63430 HAS SOUS 62443 HAS SOUPS 61949 WITH SCORE 62012.924
AT ITER 2676 NEW BEST:: SOT 231378 SOS 63807 HAS SOPS 63313 HAS SOUS 62326 HAS SOUPS 61832 WITH SCORE 61895.807
AT ITER 2685 NEW BEST:: SOT 231196 SOS 63619 HAS SOPS 63125 HAS SOUS 62138 HAS SOUPS 61644 WITH SCORE 61707.619
AT ITER 2691 NEW BEST:: SOT 231186 SOS 63589 HAS SOPS 63095 HAS SOUS 62108 HAS SOUPS 61614 WITH SCORE 61677.589
AT ITER 2708 NEW BEST:: SOT 231293 SOS 63321 HAS SOPS 62827 HAS SOUS 61840 HAS SOUPS 61346 WITH SCORE 61409.321
AT ITER 2733 NEW BEST:: SOT 231251 SOS 63265 HAS SOPS 62771 HAS SOUS 61784 HAS SOUPS 61290 WITH SCORE 61353.265
AT ITER 2738 NEW BEST:: SOT 231225 SOS 63207 HAS SOPS 62713 HAS SOUS 61732 HAS SOUPS 61238 WITH SCORE 61301.207
AT ITER 2755 NEW BEST:: SOT 231198 SOS 63162 HAS SOPS 62668 HAS SOUS 61687 HAS SOUPS 61193 WITH SCORE 61256.162
AT ITER 2761 NEW BEST:: SOT 231198 SOS 63161 HAS SOPS 62667 HAS SOUS 61686 HAS SOUPS 61192 WITH SCORE 61255.161
AT ITER 2775 NEW BEST:: SOT 231238 SOS 63110 HAS SOPS 62616 HAS SOUS 61633 HAS SOUPS 61139 WITH SCORE 61202.11
AT ITER 2776 NEW BEST:: SOT 231120 SOS 62933 HAS SOPS 62439 HAS SOUS 61456 HAS SOUPS 60962 WITH SCORE 61024.933
AT ITER 2788 NEW BEST:: SOT 231091 SOS 62846 HAS SOPS 62352 HAS SOUS 61369 HAS SOUPS 60875 WITH SCORE 60937.846
AT ITER 2796 NEW BEST:: SOT 231125 SOS 62834 HAS SOPS 62340 HAS SOUS 61349 HAS SOUPS 60855 WITH SCORE 60917.834
AT ITER 2798 NEW BEST:: SOT 231136 SOS 62755 HAS SOPS 62261 HAS SOUS 61270 HAS SOUPS 60776 WITH SCORE 60838.755
AT ITER 2799 NEW BEST:: SOT 231045 SOS 62404 HAS SOPS 61910 HAS SOUS 60919 HAS SOUPS 60425 WITH SCORE 60487.404
AT ITER 2814 NEW BEST:: SOT 231003 SOS 61981 HAS SOPS 61487 HAS SOUS 60496 HAS SOUPS 60002 WITH SCORE 60063.981
AT ITER 2822 NEW BEST:: SOT 230981 SOS 61959 HAS SOPS 61465 HAS SOUS 60474 HAS SOUPS 59980 WITH SCORE 60041.959
AT ITER 2831 NEW BEST:: SOT 230954 SOS 61902 HAS SOPS 61408 HAS SOUS 60428 HAS SOUPS 59934 WITH SCORE 59995.902
AT ITER 2846 NEW BEST:: SOT 230943 SOS 61902 HAS SOPS 61408 HAS SOUS 60417 HAS SOUPS 59923 WITH SCORE 59984.902
AT ITER 2848 NEW BEST:: SOT 230948 SOS 61927 HAS SOPS 61433 HAS SOUS 60383 HAS SOUPS 59889 WITH SCORE 59950.927
AT ITER 2852 NEW BEST:: SOT 230927 SOS 61781 HAS SOPS 61287 HAS SOUS 60235 HAS SOUPS 59741 WITH SCORE 59802.781
AT ITER 2853 NEW BEST:: SOT 230899 SOS 61725 HAS SOPS 61231 HAS SOUS 60151 HAS SOUPS 59657 WITH SCORE 59718.725
AT ITER 2863 NEW BEST:: SOT 230933 SOS 61793 HAS SOPS 61299 HAS SOUS 60102 HAS SOUPS 59608 WITH SCORE 59669.793
AT ITER 2876 NEW BEST:: SOT 230811 SOS 61427 HAS SOPS 60933 HAS SOUS 59736 HAS SOUPS 59242 WITH SCORE 59303.427
AT ITER 2886 NEW BEST:: SOT 230703 SOS 61193 HAS SOPS 60699 HAS SOUS 59502 HAS SOUPS 59008 WITH SCORE 59069.193
AT ITER 2888 NEW BEST:: SOT 230688 SOS 61133 HAS SOPS 60639 HAS SOUS 59457 HAS SOUPS 58963 WITH SCORE 59024.133
AT ITER 2896 NEW BEST:: SOT 230656 SOS 61109 HAS SOPS 60615 HAS SOUS 59439 HAS SOUPS 58945 WITH SCORE 59006.109
AT ITER 2907 NEW BEST:: SOT 230617 SOS 60953 HAS SOPS 60459 HAS SOUS 59281 HAS SOUPS 58787 WITH SCORE 58847.953
AT ITER 2913 NEW BEST:: SOT 230597 SOS 60921 HAS SOPS 60427 HAS SOUS 59249 HAS SOUPS 58755 WITH SCORE 58815.921
AT ITER 2914 NEW BEST:: SOT 230614 SOS 60818 HAS SOPS 60324 HAS SOUS 59166 HAS SOUPS 58672 WITH SCORE 58732.818
AT ITER 2925 NEW BEST:: SOT 230495 SOS 60682 HAS SOPS 60188 HAS SOUS 58959 HAS SOUPS 58465 WITH SCORE 58525.682
AT ITER 2930 NEW BEST:: SOT 230476 SOS 60649 HAS SOPS 60155 HAS SOUS 58928 HAS SOUPS 58434 WITH SCORE 58494.649
AT ITER 2947 NEW BEST:: SOT 230289 SOS 60225 HAS SOPS 59731 HAS SOUS 58504 HAS SOUPS 58010 WITH SCORE 58070.225
AT ITER 2950 NEW BEST:: SOT 230183 SOS 60131 HAS SOPS 59637 HAS SOUS 58410 HAS SOUPS 57916 WITH SCORE 57976.131
AT ITER 2954 NEW BEST:: SOT 229920 SOS 59636 HAS SOPS 59142 HAS SOUS 57964 HAS SOUPS 57470 WITH SCORE 57529.636
AT ITER 2966 NEW BEST:: SOT 229921 SOS 59511 HAS SOPS 59017 HAS SOUS 57868 HAS SOUPS 57374 WITH SCORE 57433.511
AT ITER 2967 NEW BEST:: SOT 229820 SOS 59208 HAS SOPS 58714 HAS SOUS 57565 HAS SOUPS 57071 WITH SCORE 57130.208
AT ITER 2968 NEW BEST:: SOT 229808 SOS 59179 HAS SOPS 58685 HAS SOUS 57538 HAS SOUPS 57044 WITH SCORE 57103.179
AT ITER 2986 NEW BEST:: SOT 229726 SOS 58983 HAS SOPS 58489 HAS SOUS 57367 HAS SOUPS 56873 WITH SCORE 56931.983
AT ITER 2991 NEW BEST:: SOT 229653 SOS 58801 HAS SOPS 58307 HAS SOUS 57214 HAS SOUPS 56720 WITH SCORE 56778.801
AT ITER 3000 NEW BEST:: SOT 229643 SOS 58786 HAS SOPS 58292 HAS SOUS 57199 HAS SOUPS 56705 WITH SCORE 56763.786
AT ITER 3022 NEW BEST:: SOT 229626 SOS 58781 HAS SOPS 58287 HAS SOUS 57165 HAS SOUPS 56671 WITH SCORE 56729.781
AT ITER 3030 NEW BEST:: SOT 229626 SOS 58757 HAS SOPS 58263 HAS SOUS 57165 HAS SOUPS 56671 WITH SCORE 56729.757
AT ITER 3038 NEW BEST:: SOT 229592 SOS 58655 HAS SOPS 58161 HAS SOUS 57080 HAS SOUPS 56586 WITH SCORE 56644.655
AT ITER 3051 NEW BEST:: SOT 229573 SOS 58627 HAS SOPS 58133 HAS SOUS 57062 HAS SOUPS 56568 WITH SCORE 56626.627
AT ITER 3059 NEW BEST:: SOT 229516 SOS 58494 HAS SOPS 58000 HAS SOUS 56929 HAS SOUPS 56435 WITH SCORE 56493.494
AT ITER 3083 NEW BEST:: SOT 229505 SOS 58449 HAS SOPS 57955 HAS SOUS 56909 HAS SOUPS 56415 WITH SCORE 56473.449
AT ITER 3103 NEW BEST:: SOT 229489 SOS 58379 HAS SOPS 57885 HAS SOUS 56839 HAS SOUPS 56345 WITH SCORE 56403.379
AT ITER 3110 NEW BEST:: SOT 229351 SOS 58103 HAS SOPS 57609 HAS SOUS 56563 HAS SOUPS 56069 WITH SCORE 56127.103
AT ITER 3112 NEW BEST:: SOT 229361 SOS 58064 HAS SOPS 57570 HAS SOUS 56411 HAS SOUPS 55917 WITH SCORE 55975.064
AT ITER 3115 NEW BEST:: SOT 229351 SOS 58044 HAS SOPS 57550 HAS SOUS 56391 HAS SOUPS 55897 WITH SCORE 55955.044
AT ITER 3120 NEW BEST:: SOT 229303 SOS 57964 HAS SOPS 57470 HAS SOUS 56311 HAS SOUPS 55817 WITH SCORE 55874.964
AT ITER 3130 NEW BEST:: SOT 229083 SOS 57524 HAS SOPS 57030 HAS SOUS 55981 HAS SOUPS 55487 WITH SCORE 55544.524
AT ITER 3131 NEW BEST:: SOT 229081 SOS 57523 HAS SOPS 57029 HAS SOUS 55980 HAS SOUPS 55486 WITH SCORE 55543.523
AT ITER 3141 NEW BEST:: SOT 229081 SOS 57506 HAS SOPS 57012 HAS SOUS 55963 HAS SOUPS 55469 WITH SCORE 55526.506
AT ITER 3143 NEW BEST:: SOT 228910 SOS 57301 HAS SOPS 56807 HAS SOUS 55758 HAS SOUPS 55264 WITH SCORE 55321.301
AT ITER 3145 NEW BEST:: SOT 228850 SOS 57221 HAS SOPS 56727 HAS SOUS 55678 HAS SOUPS 55184 WITH SCORE 55241.221
AT ITER 3152 NEW BEST:: SOT 228844 SOS 57213 HAS SOPS 56719 HAS SOUS 55670 HAS SOUPS 55176 WITH SCORE 55233.213
AT ITER 3154 NEW BEST:: SOT 228817 SOS 57164 HAS SOPS 56670 HAS SOUS 55621 HAS SOUPS 55127 WITH SCORE 55184.164
AT ITER 3157 NEW BEST:: SOT 228695 SOS 57018 HAS SOPS 56524 HAS SOUS 55475 HAS SOUPS 54981 WITH SCORE 55038.018
AT ITER 3159 NEW BEST:: SOT 228571 SOS 56795 HAS SOPS 56301 HAS SOUS 55252 HAS SOUPS 54758 WITH SCORE 54814.795
AT ITER 3177 NEW BEST:: SOT 228446 SOS 56538 HAS SOPS 56044 HAS SOUS 55043 HAS SOUPS 54549 WITH SCORE 54605.538
AT ITER 3180 NEW BEST:: SOT 228419 SOS 56536 HAS SOPS 56042 HAS SOUS 55041 HAS SOUPS 54547 WITH SCORE 54603.536
AT ITER 3204 NEW BEST:: SOT 228352 SOS 56407 HAS SOPS 55913 HAS SOUS 54912 HAS SOUPS 54418 WITH SCORE 54474.407
AT ITER 3208 NEW BEST:: SOT 228350 SOS 56401 HAS SOPS 55907 HAS SOUS 54906 HAS SOUPS 54412 WITH SCORE 54468.401
AT ITER 3209 NEW BEST:: SOT 228321 SOS 56341 HAS SOPS 55847 HAS SOUS 54843 HAS SOUPS 54349 WITH SCORE 54405.341
AT ITER 3219 NEW BEST:: SOT 228285 SOS 56265 HAS SOPS 55771 HAS SOUS 54795 HAS SOUPS 54301 WITH SCORE 54357.265
AT ITER 3237 NEW BEST:: SOT 228254 SOS 56231 HAS SOPS 55737 HAS SOUS 54761 HAS SOUPS 54267 WITH SCORE 54323.231
AT ITER 3238 NEW BEST:: SOT 228246 SOS 56202 HAS SOPS 55708 HAS SOUS 54732 HAS SOUPS 54238 WITH SCORE 54294.202
AT ITER 3239 NEW BEST:: SOT 228127 SOS 56066 HAS SOPS 55572 HAS SOUS 54596 HAS SOUPS 54102 WITH SCORE 54158.066
AT ITER 3267 NEW BEST:: SOT 228098 SOS 55987 HAS SOPS 55493 HAS SOUS 54487 HAS SOUPS 53993 WITH SCORE 54048.987
AT ITER 3268 NEW BEST:: SOT 228088 SOS 55933 HAS SOPS 55439 HAS SOUS 54433 HAS SOUPS 53939 WITH SCORE 53994.933
AT ITER 3276 NEW BEST:: SOT 228027 SOS 55813 HAS SOPS 55319 HAS SOUS 54313 HAS SOUPS 53819 WITH SCORE 53874.813
AT ITER 3289 NEW BEST:: SOT 227961 SOS 55441 HAS SOPS 54947 HAS SOUS 53941 HAS SOUPS 53447 WITH SCORE 53502.441
AT ITER 3295 NEW BEST:: SOT 227877 SOS 55329 HAS SOPS 54835 HAS SOUS 53829 HAS SOUPS 53335 WITH SCORE 53390.329
AT ITER 3298 NEW BEST:: SOT 227835 SOS 55243 HAS SOPS 54749 HAS SOUS 53743 HAS SOUPS 53249 WITH SCORE 53304.243
AT ITER 3302 NEW BEST:: SOT 227808 SOS 55128 HAS SOPS 54634 HAS SOUS 53703 HAS SOUPS 53209 WITH SCORE 53264.128
AT ITER 3303 NEW BEST:: SOT 227808 SOS 55060 HAS SOPS 54566 HAS SOUS 53635 HAS SOUPS 53141 WITH SCORE 53196.06
AT ITER 3320 NEW BEST:: SOT 227808 SOS 55000 HAS SOPS 54506 HAS SOUS 53575 HAS SOUPS 53081 WITH SCORE 53136.0
AT ITER 3348 NEW BEST:: SOT 227760 SOS 54680 HAS SOPS 54186 HAS SOUS 53207 HAS SOUPS 52713 WITH SCORE 52767.68
AT ITER 3365 NEW BEST:: SOT 227768 SOS 54594 HAS SOPS 54100 HAS SOUS 53121 HAS SOUPS 52627 WITH SCORE 52681.594
AT ITER 3371 NEW BEST:: SOT 227726 SOS 54538 HAS SOPS 54044 HAS SOUS 53065 HAS SOUPS 52571 WITH SCORE 52625.538
AT ITER 3373 NEW BEST:: SOT 227719 SOS 54526 HAS SOPS 54032 HAS SOUS 53054 HAS SOUPS 52560 WITH SCORE 52614.526
AT ITER 3407 NEW BEST:: SOT 227667 SOS 54418 HAS SOPS 53924 HAS SOUS 52958 HAS SOUPS 52464 WITH SCORE 52518.418
AT ITER 3409 NEW BEST:: SOT 227582 SOS 54300 HAS SOPS 53806 HAS SOUS 52840 HAS SOUPS 52346 WITH SCORE 52400.3
AT ITER 3410 NEW BEST:: SOT 227458 SOS 54152 HAS SOPS 53658 HAS SOUS 52692 HAS SOUPS 52198 WITH SCORE 52252.152
AT ITER 3442 NEW BEST:: SOT 227134 SOS 53504 HAS SOPS 53010 HAS SOUS 52044 HAS SOUPS 51550 WITH SCORE 51603.504
AT ITER 3447 NEW BEST:: SOT 227091 SOS 53432 HAS SOPS 52938 HAS SOUS 51972 HAS SOUPS 51478 WITH SCORE 51531.432
AT ITER 3453 NEW BEST:: SOT 227056 SOS 53327 HAS SOPS 52833 HAS SOUS 51912 HAS SOUPS 51418 WITH SCORE 51471.327
AT ITER 3471 NEW BEST:: SOT 227023 SOS 53125 HAS SOPS 52631 HAS SOUS 51710 HAS SOUPS 51216 WITH SCORE 51269.125
AT ITER 3473 NEW BEST:: SOT 226985 SOS 52987 HAS SOPS 52493 HAS SOUS 51572 HAS SOUPS 51078 WITH SCORE 51130.987
AT ITER 3475 NEW BEST:: SOT 226968 SOS 52953 HAS SOPS 52459 HAS SOUS 51538 HAS SOUPS 51044 WITH SCORE 51096.953
AT ITER 3482 NEW BEST:: SOT 226951 SOS 52773 HAS SOPS 52279 HAS SOUS 51487 HAS SOUPS 50993 WITH SCORE 51045.773
AT ITER 3494 NEW BEST:: SOT 226933 SOS 52719 HAS SOPS 52225 HAS SOUS 51433 HAS SOUPS 50939 WITH SCORE 50991.719
AT ITER 3501 NEW BEST:: SOT 226830 SOS 52576 HAS SOPS 52082 HAS SOUS 51267 HAS SOUPS 50773 WITH SCORE 50825.576
AT ITER 3502 NEW BEST:: SOT 226807 SOS 52484 HAS SOPS 51990 HAS SOUS 51175 HAS SOUPS 50681 WITH SCORE 50733.484
AT ITER 3521 NEW BEST:: SOT 226714 SOS 52293 HAS SOPS 51799 HAS SOUS 50984 HAS SOUPS 50490 WITH SCORE 50542.293
AT ITER 3523 NEW BEST:: SOT 226586 SOS 52165 HAS SOPS 51671 HAS SOUS 50856 HAS SOUPS 50362 WITH SCORE 50414.165
AT ITER 3525 NEW BEST:: SOT 226581 SOS 52179 HAS SOPS 51685 HAS SOUS 50852 HAS SOUPS 50358 WITH SCORE 50410.179
AT ITER 3526 NEW BEST:: SOT 226560 SOS 52129 HAS SOPS 51635 HAS SOUS 50802 HAS SOUPS 50308 WITH SCORE 50360.129
AT ITER 3530 NEW BEST:: SOT 226557 SOS 52126 HAS SOPS 51632 HAS SOUS 50798 HAS SOUPS 50304 WITH SCORE 50356.126
AT ITER 3531 NEW BEST:: SOT 226539 SOS 52090 HAS SOPS 51596 HAS SOUS 50762 HAS SOUPS 50268 WITH SCORE 50320.09
AT ITER 3542 NEW BEST:: SOT 226514 SOS 52089 HAS SOPS 51595 HAS SOUS 50747 HAS SOUPS 50253 WITH SCORE 50305.089
AT ITER 3558 NEW BEST:: SOT 226476 SOS 52051 HAS SOPS 51557 HAS SOUS 50709 HAS SOUPS 50215 WITH SCORE 50267.051
AT ITER 3559 NEW BEST:: SOT 226490 SOS 52045 HAS SOPS 51551 HAS SOUS 50703 HAS SOUPS 50209 WITH SCORE 50261.045
AT ITER 3564 NEW BEST:: SOT 226446 SOS 52039 HAS SOPS 51545 HAS SOUS 50697 HAS SOUPS 50203 WITH SCORE 50255.039
AT ITER 3574 NEW BEST:: SOT 226416 SOS 51919 HAS SOPS 51425 HAS SOUS 50607 HAS SOUPS 50113 WITH SCORE 50164.919
AT ITER 3593 NEW BEST:: SOT 226377 SOS 51841 HAS SOPS 51347 HAS SOUS 50529 HAS SOUPS 50035 WITH SCORE 50086.841
AT ITER 3611 NEW BEST:: SOT 226231 SOS 51683 HAS SOPS 51189 HAS SOUS 50448 HAS SOUPS 49954 WITH SCORE 50005.683
AT ITER 3661 NEW BEST:: SOT 226231 SOS 51681 HAS SOPS 51187 HAS SOUS 50446 HAS SOUPS 49952 WITH SCORE 50003.681
AT ITER 3689 NEW BEST:: SOT 226038 SOS 51514 HAS SOPS 51020 HAS SOUS 50279 HAS SOUPS 49785 WITH SCORE 49836.514
AT ITER 3695 NEW BEST:: SOT 226028 SOS 51504 HAS SOPS 51010 HAS SOUS 50267 HAS SOUPS 49773 WITH SCORE 49824.504
AT ITER 3718 NEW BEST:: SOT 226045 SOS 51475 HAS SOPS 50981 HAS SOUS 50238 HAS SOUPS 49744 WITH SCORE 49795.475
AT ITER 3719 NEW BEST:: SOT 226040 SOS 51506 HAS SOPS 51012 HAS SOUS 50226 HAS SOUPS 49732 WITH SCORE 49783.506
AT ITER 3758 NEW BEST:: SOT 226046 SOS 51481 HAS SOPS 50987 HAS SOUS 50201 HAS SOUPS 49707 WITH SCORE 49758.481
AT ITER 3777 NEW BEST:: SOT 226057 SOS 51464 HAS SOPS 50970 HAS SOUS 50178 HAS SOUPS 49684 WITH SCORE 49735.464
AT ITER 3795 NEW BEST:: SOT 225991 SOS 51355 HAS SOPS 50861 HAS SOUS 50069 HAS SOUPS 49575 WITH SCORE 49626.355
AT ITER 3796 NEW BEST:: SOT 225990 SOS 51378 HAS SOPS 50884 HAS SOUS 50040 HAS SOUPS 49546 WITH SCORE 49597.378
AT ITER 3811 NEW BEST:: SOT 225942 SOS 51270 HAS SOPS 50776 HAS SOUS 49932 HAS SOUPS 49438 WITH SCORE 49489.27
AT ITER 3813 NEW BEST:: SOT 225920 SOS 51151 HAS SOPS 50657 HAS SOUS 49926 HAS SOUPS 49432 WITH SCORE 49483.151
AT ITER 3827 NEW BEST:: SOT 225842 SOS 51034 HAS SOPS 50540 HAS SOUS 49770 HAS SOUPS 49276 WITH SCORE 49327.034
AT ITER 3828 NEW BEST:: SOT 225836 SOS 51010 HAS SOPS 50516 HAS SOUS 49752 HAS SOUPS 49258 WITH SCORE 49309.01
AT ITER 3834 NEW BEST:: SOT 225836 SOS 50974 HAS SOPS 50480 HAS SOUS 49716 HAS SOUPS 49222 WITH SCORE 49272.974
AT ITER 3857 NEW BEST:: SOT 225728 SOS 50892 HAS SOPS 50398 HAS SOUS 49570 HAS SOUPS 49076 WITH SCORE 49126.892
AT ITER 3863 NEW BEST:: SOT 225675 SOS 50848 HAS SOPS 50354 HAS SOUS 49526 HAS SOUPS 49032 WITH SCORE 49082.848
AT ITER 3875 NEW BEST:: SOT 225632 SOS 50777 HAS SOPS 50283 HAS SOUS 49455 HAS SOUPS 48961 WITH SCORE 49011.777
AT ITER 3887 NEW BEST:: SOT 225603 SOS 50694 HAS SOPS 50200 HAS SOUS 49421 HAS SOUPS 48927 WITH SCORE 48977.694
AT ITER 3897 NEW BEST:: SOT 225311 SOS 50282 HAS SOPS 49788 HAS SOUS 48998 HAS SOUPS 48504 WITH SCORE 48554.282
AT ITER 3905 NEW BEST:: SOT 225273 SOS 50130 HAS SOPS 49636 HAS SOUS 48884 HAS SOUPS 48390 WITH SCORE 48440.13
AT ITER 3917 NEW BEST:: SOT 225221 SOS 50052 HAS SOPS 49558 HAS SOUS 48806 HAS SOUPS 48312 WITH SCORE 48362.052
AT ITER 3927 NEW BEST:: SOT 225237 SOS 50036 HAS SOPS 49542 HAS SOUS 48790 HAS SOUPS 48296 WITH SCORE 48346.036
AT ITER 3929 NEW BEST:: SOT 225159 SOS 49876 HAS SOPS 49382 HAS SOUS 48630 HAS SOUPS 48136 WITH SCORE 48185.876
AT ITER 3937 NEW BEST:: SOT 225140 SOS 49840 HAS SOPS 49346 HAS SOUS 48615 HAS SOUPS 48121 WITH SCORE 48170.84
AT ITER 3961 NEW BEST:: SOT 225139 SOS 49836 HAS SOPS 49342 HAS SOUS 48611 HAS SOUPS 48117 WITH SCORE 48166.836
AT ITER 3995 NEW BEST:: SOT 225150 SOS 49793 HAS SOPS 49299 HAS SOUS 48559 HAS SOUPS 48065 WITH SCORE 48114.793
AT ITER 4004 NEW BEST:: SOT 225240 SOS 49697 HAS SOPS 49203 HAS SOUS 48463 HAS SOUPS 47969 WITH SCORE 48018.697
AT ITER 4008 NEW BEST:: SOT 225240 SOS 49681 HAS SOPS 49187 HAS SOUS 48447 HAS SOUPS 47953 WITH SCORE 48002.681
AT ITER 4009 NEW BEST:: SOT 225214 SOS 49614 HAS SOPS 49120 HAS SOUS 48380 HAS SOUPS 47886 WITH SCORE 47935.614
AT ITER 4018 NEW BEST:: SOT 225140 SOS 49472 HAS SOPS 48978 HAS SOUS 48333 HAS SOUPS 47839 WITH SCORE 47888.472
AT ITER 4019 NEW BEST:: SOT 225124 SOS 49401 HAS SOPS 48907 HAS SOUS 48262 HAS SOUPS 47768 WITH SCORE 47817.401
AT ITER 4020 NEW BEST:: SOT 225096 SOS 49358 HAS SOPS 48864 HAS SOUS 48198 HAS SOUPS 47704 WITH SCORE 47753.358
AT ITER 4023 NEW BEST:: SOT 225092 SOS 49310 HAS SOPS 48816 HAS SOUS 48158 HAS SOUPS 47664 WITH SCORE 47713.31
AT ITER 4031 NEW BEST:: SOT 225091 SOS 49306 HAS SOPS 48812 HAS SOUS 48155 HAS SOUPS 47661 WITH SCORE 47710.306
AT ITER 4042 NEW BEST:: SOT 224975 SOS 49181 HAS SOPS 48687 HAS SOUS 48030 HAS SOUPS 47536 WITH SCORE 47585.181
AT ITER 4075 NEW BEST:: SOT 224887 SOS 49119 HAS SOPS 48625 HAS SOUS 47968 HAS SOUPS 47474 WITH SCORE 47523.119
AT ITER 4077 NEW BEST:: SOT 224859 SOS 49007 HAS SOPS 48513 HAS SOUS 47856 HAS SOUPS 47362 WITH SCORE 47411.007
AT ITER 4089 NEW BEST:: SOT 224777 SOS 48817 HAS SOPS 48323 HAS SOUS 47666 HAS SOUPS 47172 WITH SCORE 47220.817
AT ITER 4118 NEW BEST:: SOT 224627 SOS 48617 HAS SOPS 48123 HAS SOUS 47466 HAS SOUPS 46972 WITH SCORE 47020.617
AT ITER 4127 NEW BEST:: SOT 224617 SOS 48587 HAS SOPS 48093 HAS SOUS 47436 HAS SOUPS 46942 WITH SCORE 46990.587
AT ITER 4139 NEW BEST:: SOT 224583 SOS 48538 HAS SOPS 48044 HAS SOUS 47372 HAS SOUPS 46878 WITH SCORE 46926.538
AT ITER 4153 NEW BEST:: SOT 224563 SOS 48522 HAS SOPS 48028 HAS SOUS 47356 HAS SOUPS 46862 WITH SCORE 46910.522
AT ITER 4154 NEW BEST:: SOT 224508 SOS 48413 HAS SOPS 47919 HAS SOUS 47247 HAS SOUPS 46753 WITH SCORE 46801.413
AT ITER 4158 NEW BEST:: SOT 224498 SOS 48388 HAS SOPS 47894 HAS SOUS 47227 HAS SOUPS 46733 WITH SCORE 46781.388
AT ITER 4159 NEW BEST:: SOT 224401 SOS 48158 HAS SOPS 47664 HAS SOUS 46997 HAS SOUPS 46503 WITH SCORE 46551.158
AT ITER 4162 NEW BEST:: SOT 224399 SOS 48156 HAS SOPS 47662 HAS SOUS 46995 HAS SOUPS 46501 WITH SCORE 46549.156
AT ITER 4168 NEW BEST:: SOT 224355 SOS 48115 HAS SOPS 47621 HAS SOUS 46908 HAS SOUPS 46414 WITH SCORE 46462.115
AT ITER 4169 NEW BEST:: SOT 224310 SOS 48058 HAS SOPS 47564 HAS SOUS 46853 HAS SOUPS 46359 WITH SCORE 46407.058
AT ITER 4185 NEW BEST:: SOT 224310 SOS 48057 HAS SOPS 47563 HAS SOUS 46852 HAS SOUPS 46358 WITH SCORE 46406.057
AT ITER 4186 NEW BEST:: SOT 224217 SOS 47921 HAS SOPS 47427 HAS SOUS 46673 HAS SOUPS 46179 WITH SCORE 46226.921
AT ITER 4190 NEW BEST:: SOT 224177 SOS 47802 HAS SOPS 47308 HAS SOUS 46637 HAS SOUPS 46143 WITH SCORE 46190.802
AT ITER 4202 NEW BEST:: SOT 224125 SOS 47711 HAS SOPS 47217 HAS SOUS 46546 HAS SOUPS 46052 WITH SCORE 46099.711
AT ITER 4217 NEW BEST:: SOT 224123 SOS 47703 HAS SOPS 47209 HAS SOUS 46540 HAS SOUPS 46046 WITH SCORE 46093.703
AT ITER 4236 NEW BEST:: SOT 224123 SOS 47691 HAS SOPS 47197 HAS SOUS 46528 HAS SOUPS 46034 WITH SCORE 46081.691
AT ITER 4242 NEW BEST:: SOT 224113 SOS 47683 HAS SOPS 47189 HAS SOUS 46516 HAS SOUPS 46022 WITH SCORE 46069.683
AT ITER 4266 NEW BEST:: SOT 224098 SOS 47556 HAS SOPS 47062 HAS SOUS 46432 HAS SOUPS 45938 WITH SCORE 45985.556
AT ITER 4275 NEW BEST:: SOT 224086 SOS 47463 HAS SOPS 46969 HAS SOUS 46337 HAS SOUPS 45843 WITH SCORE 45890.463
AT ITER 4316 NEW BEST:: SOT 223894 SOS 47153 HAS SOPS 46659 HAS SOUS 46027 HAS SOUPS 45533 WITH SCORE 45580.153
AT ITER 4333 NEW BEST:: SOT 223911 SOS 47152 HAS SOPS 46658 HAS SOUS 46026 HAS SOUPS 45532 WITH SCORE 45579.152
AT ITER 4334 NEW BEST:: SOT 223879 SOS 47086 HAS SOPS 46592 HAS SOUS 45949 HAS SOUPS 45455 WITH SCORE 45502.086
AT ITER 4342 NEW BEST:: SOT 223760 SOS 46886 HAS SOPS 46392 HAS SOUS 45749 HAS SOUPS 45255 WITH SCORE 45301.886
AT ITER 4367 NEW BEST:: SOT 223760 SOS 46882 HAS SOPS 46388 HAS SOUS 45745 HAS SOUPS 45251 WITH SCORE 45297.882
AT ITER 4387 NEW BEST:: SOT 223648 SOS 46656 HAS SOPS 46162 HAS SOUS 45499 HAS SOUPS 45005 WITH SCORE 45051.656
AT ITER 4389 NEW BEST:: SOT 223624 SOS 46611 HAS SOPS 46117 HAS SOUS 45454 HAS SOUPS 44960 WITH SCORE 45006.611
AT ITER 4392 NEW BEST:: SOT 223508 SOS 46437 HAS SOPS 45943 HAS SOUS 45280 HAS SOUPS 44786 WITH SCORE 44832.437
AT ITER 4404 NEW BEST:: SOT 223497 SOS 46421 HAS SOPS 45927 HAS SOUS 45264 HAS SOUPS 44770 WITH SCORE 44816.421
AT ITER 4413 NEW BEST:: SOT 223497 SOS 46414 HAS SOPS 45920 HAS SOUS 45257 HAS SOUPS 44763 WITH SCORE 44809.414
AT ITER 4419 NEW BEST:: SOT 223427 SOS 46411 HAS SOPS 45917 HAS SOUS 45242 HAS SOUPS 44748 WITH SCORE 44794.411
AT ITER 4420 NEW BEST:: SOT 223425 SOS 46440 HAS SOPS 45946 HAS SOUS 45236 HAS SOUPS 44742 WITH SCORE 44788.44
AT ITER 4450 NEW BEST:: SOT 223441 SOS 46440 HAS SOPS 45946 HAS SOUS 45220 HAS SOUPS 44726 WITH SCORE 44772.44
AT ITER 4458 NEW BEST:: SOT 223419 SOS 46407 HAS SOPS 45913 HAS SOUS 45187 HAS SOUPS 44693 WITH SCORE 44739.407
AT ITER 4463 NEW BEST:: SOT 223392 SOS 46326 HAS SOPS 45832 HAS SOUS 45106 HAS SOUPS 44612 WITH SCORE 44658.326
AT ITER 4474 NEW BEST:: SOT 223390 SOS 46322 HAS SOPS 45828 HAS SOUS 45104 HAS SOUPS 44610 WITH SCORE 44656.322
AT ITER 4486 NEW BEST:: SOT 223327 SOS 46256 HAS SOPS 45762 HAS SOUS 45047 HAS SOUPS 44553 WITH SCORE 44599.256
AT ITER 4495 NEW BEST:: SOT 223214 SOS 45853 HAS SOPS 45359 HAS SOUS 44644 HAS SOUPS 44150 WITH SCORE 44195.853
AT ITER 4506 NEW BEST:: SOT 223198 SOS 45837 HAS SOPS 45343 HAS SOUS 44628 HAS SOUPS 44134 WITH SCORE 44179.837
AT ITER 4507 NEW BEST:: SOT 223191 SOS 45830 HAS SOPS 45336 HAS SOUS 44621 HAS SOUPS 44127 WITH SCORE 44172.83
AT ITER 4508 NEW BEST:: SOT 222922 SOS 45148 HAS SOPS 44654 HAS SOUS 44010 HAS SOUPS 43516 WITH SCORE 43561.148
AT ITER 4515 NEW BEST:: SOT 222906 SOS 45124 HAS SOPS 44630 HAS SOUS 43986 HAS SOUPS 43492 WITH SCORE 43537.124
AT ITER 4517 NEW BEST:: SOT 222840 SOS 44992 HAS SOPS 44498 HAS SOUS 43854 HAS SOUPS 43360 WITH SCORE 43404.992
AT ITER 4523 NEW BEST:: SOT 222832 SOS 44973 HAS SOPS 44479 HAS SOUS 43835 HAS SOUPS 43341 WITH SCORE 43385.973
AT ITER 4529 NEW BEST:: SOT 222796 SOS 44895 HAS SOPS 44401 HAS SOUS 43757 HAS SOUPS 43263 WITH SCORE 43307.895
AT ITER 4544 NEW BEST:: SOT 222796 SOS 44865 HAS SOPS 44371 HAS SOUS 43726 HAS SOUPS 43232 WITH SCORE 43276.865
AT ITER 4579 NEW BEST:: SOT 222795 SOS 44824 HAS SOPS 44330 HAS SOUS 43685 HAS SOUPS 43191 WITH SCORE 43235.824
AT ITER 4598 NEW BEST:: SOT 222777 SOS 44797 HAS SOPS 44303 HAS SOUS 43658 HAS SOUPS 43164 WITH SCORE 43208.797
AT ITER 4601 NEW BEST:: SOT 222748 SOS 44779 HAS SOPS 44285 HAS SOUS 43640 HAS SOUPS 43146 WITH SCORE 43190.779
AT ITER 4624 NEW BEST:: SOT 222693 SOS 44751 HAS SOPS 44257 HAS SOUS 43612 HAS SOUPS 43118 WITH SCORE 43162.751
AT ITER 4640 NEW BEST:: SOT 222667 SOS 44707 HAS SOPS 44213 HAS SOUS 43568 HAS SOUPS 43074 WITH SCORE 43118.707
AT ITER 4650 NEW BEST:: SOT 222553 SOS 44486 HAS SOPS 43992 HAS SOUS 43416 HAS SOUPS 42922 WITH SCORE 42966.486
AT ITER 4661 NEW BEST:: SOT 222445 SOS 44190 HAS SOPS 43696 HAS SOUS 43240 HAS SOUPS 42746 WITH SCORE 42790.19
AT ITER 4671 NEW BEST:: SOT 222449 SOS 44162 HAS SOPS 43668 HAS SOUS 43185 HAS SOUPS 42691 WITH SCORE 42735.162
AT ITER 4682 NEW BEST:: SOT 222375 SOS 43792 HAS SOPS 43298 HAS SOUS 42815 HAS SOUPS 42321 WITH SCORE 42364.792
AT ITER 4706 NEW BEST:: SOT 222337 SOS 43735 HAS SOPS 43241 HAS SOUS 42741 HAS SOUPS 42247 WITH SCORE 42290.735
AT ITER 4707 NEW BEST:: SOT 222246 SOS 43644 HAS SOPS 43150 HAS SOUS 42650 HAS SOUPS 42156 WITH SCORE 42199.644
AT ITER 4708 NEW BEST:: SOT 222244 SOS 43642 HAS SOPS 43148 HAS SOUS 42648 HAS SOUPS 42154 WITH SCORE 42197.642
AT ITER 4713 NEW BEST:: SOT 222160 SOS 43474 HAS SOPS 42980 HAS SOUS 42501 HAS SOUPS 42007 WITH SCORE 42050.474
AT ITER 4714 NEW BEST:: SOT 222139 SOS 43453 HAS SOPS 42959 HAS SOUS 42480 HAS SOUPS 41986 WITH SCORE 42029.453
AT ITER 4718 NEW BEST:: SOT 222137 SOS 43451 HAS SOPS 42957 HAS SOUS 42478 HAS SOUPS 41984 WITH SCORE 42027.451
AT ITER 4728 NEW BEST:: SOT 222137 SOS 43451 HAS SOPS 42957 HAS SOUS 42468 HAS SOUPS 41974 WITH SCORE 42017.451
AT ITER 4741 NEW BEST:: SOT 222129 SOS 43433 HAS SOPS 42939 HAS SOUS 42450 HAS SOUPS 41956 WITH SCORE 41999.433
AT ITER 4744 NEW BEST:: SOT 222095 SOS 43369 HAS SOPS 42875 HAS SOUS 42386 HAS SOUPS 41892 WITH SCORE 41935.369
AT ITER 4749 NEW BEST:: SOT 222100 SOS 43364 HAS SOPS 42870 HAS SOUS 42381 HAS SOUPS 41887 WITH SCORE 41930.364
AT ITER 4761 NEW BEST:: SOT 221994 SOS 43258 HAS SOPS 42764 HAS SOUS 42275 HAS SOUPS 41781 WITH SCORE 41824.258
AT ITER 4767 NEW BEST:: SOT 222009 SOS 43241 HAS SOPS 42747 HAS SOUS 42259 HAS SOUPS 41765 WITH SCORE 41808.241
AT ITER 4768 NEW BEST:: SOT 222006 SOS 43232 HAS SOPS 42738 HAS SOUS 42250 HAS SOUPS 41756 WITH SCORE 41799.232
AT ITER 4786 NEW BEST:: SOT 221893 SOS 43006 HAS SOPS 42512 HAS SOUS 42024 HAS SOUPS 41530 WITH SCORE 41573.006
AT ITER 4787 NEW BEST:: SOT 221777 SOS 42778 HAS SOPS 42284 HAS SOUS 41796 HAS SOUPS 41302 WITH SCORE 41344.778
AT ITER 4804 NEW BEST:: SOT 221634 SOS 42541 HAS SOPS 42047 HAS SOUS 41578 HAS SOUPS 41084 WITH SCORE 41126.541
AT ITER 4811 NEW BEST:: SOT 221615 SOS 42513 HAS SOPS 42019 HAS SOUS 41550 HAS SOUPS 41056 WITH SCORE 41098.513
AT ITER 4835 NEW BEST:: SOT 221548 SOS 42398 HAS SOPS 41904 HAS SOUS 41441 HAS SOUPS 40947 WITH SCORE 40989.398
AT ITER 4838 NEW BEST:: SOT 221162 SOS 42106 HAS SOPS 41612 HAS SOUS 40979 HAS SOUPS 40485 WITH SCORE 40527.106
AT ITER 4851 NEW BEST:: SOT 221161 SOS 42105 HAS SOPS 41611 HAS SOUS 40978 HAS SOUPS 40484 WITH SCORE 40526.105
AT ITER 4859 NEW BEST:: SOT 221058 SOS 41962 HAS SOPS 41468 HAS SOUS 40835 HAS SOUPS 40341 WITH SCORE 40382.962
AT ITER 4873 NEW BEST:: SOT 221054 SOS 41954 HAS SOPS 41460 HAS SOUS 40823 HAS SOUPS 40329 WITH SCORE 40370.954
AT ITER 4902 NEW BEST:: SOT 220990 SOS 41826 HAS SOPS 41332 HAS SOUS 40695 HAS SOUPS 40201 WITH SCORE 40242.826
AT ITER 4921 NEW BEST:: SOT 220990 SOS 41809 HAS SOPS 41315 HAS SOUS 40678 HAS SOUPS 40184 WITH SCORE 40225.809
AT ITER 4929 NEW BEST:: SOT 220915 SOS 41647 HAS SOPS 41153 HAS SOUS 40533 HAS SOUPS 40039 WITH SCORE 40080.647
AT ITER 4956 NEW BEST:: SOT 220915 SOS 41615 HAS SOPS 41121 HAS SOUS 40509 HAS SOUPS 40015 WITH SCORE 40056.615
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-00 (EG( ( potential( ( 2 ) <= (tk(P250)) ) | (EF(potential( (tk(P58)) <= (tk(P388)) ))) )))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-01 (EU( (AF(potential( (tk(P248)) <= (tk(P216)) ))),( ( potential( ( 3 ) <= (tk(P285)) ) & potential( (tk(P330)) <= (tk(P72)) ) ) & ( potential( ( 3 ) <= (tk(P393)) ) | potential( ( 1 ) <= (tk(P25)) ) ) ) ))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-02 (AF((AF(( potential( ( 1 ) <= (tk(P31)) ) & potential( ( 3 ) <= (tk(P81)) ) )))))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-03 (! (AU( ( potential( (tk(P393)) <= (tk(P497)) ) & potential( (tk(P296)) <= (tk(P432)) ) ),( potential( ( 2 ) <= (tk(P278)) ) & potential( (tk(P275)) <= (tk(P152)) ) ) )))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-04 (AF((! (AF(potential( (tk(P472)) <= (tk(P448)) ))))))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-05 (AG( ( (EF(potential( ( 3 ) <= (tk(P338)) ))) | (AG( potential( (tk(P128)) <= (tk(P418)) ))) )))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-06 (AG( (EF((! potential( (tk(P192)) <= (tk(P214)) ))))))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-07 ( ( (! potential( (tk(P299)) <= (tk(P344)) )) & (! potential( (tk(P324)) <= (tk(P206)) )) ) | ( (EU( potential( (tk(P90)) <= (tk(P109)) ),potential( ( 2 ) <= (tk(P265)) ) )) | ( ( (! potential( ( 1 ) <= (tk(P24)) )) & ( potential( ( 1 ) <= (tk(P454)) ) & potential( ( 3 ) <= (tk(P124)) ) ) ) & ( potential( ( 2 ) <= (tk(P135)) ) & ( potential( (tk(P413)) <= (tk(P378)) ) | potential( (tk(P349)) <= (tk(P420)) ) ) ) ) ) )
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-08 (AG( (AU( potential( ( 3 ) <= (tk(P409)) ),potential( (tk(P441)) <= (tk(P402)) ) ))))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-09 (AF(( potential( ( 2 ) <= (tk(P103)) ) & ( potential( (tk(P85)) <= (tk(P100)) ) | ( potential( ( 1 ) <= (tk(P476)) ) | potential( ( 2 ) <= (tk(P469)) ) ) ) )))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-10 (AG( (! (EF(potential( (tk(P467)) <= (tk(P115)) ))))))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-11 (AG( ( (EG( potential( (tk(P85)) <= (tk(P99)) ))) & potential( ( 3 ) <= (tk(P109)) ) )))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-12 ( (! (EF(( potential( ( 3 ) <= (tk(P63)) ) & potential( ( 1 ) <= (tk(P463)) ) )))) | potential( ( 3 ) <= (tk(P110)) ) )
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-13 (AG( (AX( ( potential( ( 1 ) <= (tk(P204)) ) & potential( ( 2 ) <= (tk(P252)) ) )))))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-14 (EG( potential( (tk(P105)) <= (tk(P225)) )))
PROPERTY: JoinFreeModules-PT-0100-CTLCardinality-15 (AF(( ( ( potential( ( 2 ) <= (tk(P217)) ) & potential( (tk(P259)) <= (tk(P164)) ) ) & (! potential( ( 3 ) <= (tk(P109)) )) ) & (EF(potential( (tk(P242)) <= (tk(P183)) ))) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is JoinFreeModules-PT-0100, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r093-oct2-158940140500435"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0100.tgz
mv JoinFreeModules-PT-0100 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;