Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972600408.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-22a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972600408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 3.4K Apr 4 20:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 20:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 4 09:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 4 09:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 3 21:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 3 21:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 3 13:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 384K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589457410974

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 22a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 267 places, 1258 transitions, 6375 arcs.
AT ITER 0 NEW BEST:: SOT 301178 SOS 264570 HAS SOPS 264570 HAS SOUS 145125 HAS SOUPS 145125 WITH SCORE 145389.57
AT ITER 3 NEW BEST:: SOT 300838 SOS 264118 HAS SOPS 264118 HAS SOUS 144729 HAS SOUPS 144729 WITH SCORE 144993.118
AT ITER 4 NEW BEST:: SOT 300472 SOS 263539 HAS SOPS 263539 HAS SOUS 144290 HAS SOUPS 144290 WITH SCORE 144553.539
AT ITER 5 NEW BEST:: SOT 300472 SOS 263522 HAS SOPS 263522 HAS SOUS 144273 HAS SOUPS 144273 WITH SCORE 144536.522
AT ITER 7 NEW BEST:: SOT 300531 SOS 263503 HAS SOPS 263503 HAS SOUS 142264 HAS SOUPS 142264 WITH SCORE 142527.503
AT ITER 9 NEW BEST:: SOT 300616 SOS 263428 HAS SOPS 263428 HAS SOUS 138562 HAS SOUPS 138562 WITH SCORE 138825.428
AT ITER 11 NEW BEST:: SOT 300673 SOS 263542 HAS SOPS 263542 HAS SOUS 138561 HAS SOUPS 138561 WITH SCORE 138824.542
AT ITER 13 NEW BEST:: SOT 300249 SOS 262768 HAS SOPS 262768 HAS SOUS 137986 HAS SOUPS 137986 WITH SCORE 138248.768
AT ITER 15 NEW BEST:: SOT 300249 SOS 262536 HAS SOPS 262536 HAS SOUS 135293 HAS SOUPS 135293 WITH SCORE 135555.536
AT ITER 16 NEW BEST:: SOT 300259 SOS 262556 HAS SOPS 262556 HAS SOUS 135292 HAS SOUPS 135292 WITH SCORE 135554.556
AT ITER 18 NEW BEST:: SOT 300353 SOS 262456 HAS SOPS 262456 HAS SOUS 135194 HAS SOUPS 135194 WITH SCORE 135456.456
AT ITER 21 NEW BEST:: SOT 300474 SOS 261733 HAS SOPS 261733 HAS SOUS 129668 HAS SOUPS 129668 WITH SCORE 129929.733
AT ITER 22 NEW BEST:: SOT 300471 SOS 261726 HAS SOPS 261726 HAS SOUS 129665 HAS SOUPS 129665 WITH SCORE 129926.726
AT ITER 24 NEW BEST:: SOT 300338 SOS 260806 HAS SOPS 260806 HAS SOUS 127578 HAS SOUPS 127578 WITH SCORE 127838.806
AT ITER 27 NEW BEST:: SOT 300220 SOS 260736 HAS SOPS 260736 HAS SOUS 127521 HAS SOUPS 127521 WITH SCORE 127781.736
AT ITER 30 NEW BEST:: SOT 299831 SOS 260387 HAS SOPS 260387 HAS SOUS 127456 HAS SOUPS 127456 WITH SCORE 127716.387
AT ITER 33 NEW BEST:: SOT 299775 SOS 260048 HAS SOPS 260048 HAS SOUS 127451 HAS SOUPS 127451 WITH SCORE 127711.048
AT ITER 43 NEW BEST:: SOT 299901 SOS 258578 HAS SOPS 258578 HAS SOUS 122225 HAS SOUPS 122225 WITH SCORE 122483.578
AT ITER 44 NEW BEST:: SOT 295258 SOS 254313 HAS SOPS 253928 HAS SOUS 117771 HAS SOUPS 117688 WITH SCORE 117942.313
AT ITER 45 NEW BEST:: SOT 295218 SOS 254121 HAS SOPS 253698 HAS SOUS 117543 HAS SOUPS 117460 WITH SCORE 117714.121
AT ITER 46 NEW BEST:: SOT 294017 SOS 252807 HAS SOPS 252301 HAS SOUS 116815 HAS SOUPS 116732 WITH SCORE 116984.807
AT ITER 47 NEW BEST:: SOT 293997 SOS 252698 HAS SOPS 252169 HAS SOUS 116742 HAS SOUPS 116659 WITH SCORE 116911.698
AT ITER 49 NEW BEST:: SOT 294243 SOS 252185 HAS SOPS 251656 HAS SOUS 115999 HAS SOUPS 115916 WITH SCORE 116168.185
AT ITER 50 NEW BEST:: SOT 294479 SOS 250070 HAS SOPS 249579 HAS SOUS 110424 HAS SOUPS 110341 WITH SCORE 110591.07
AT ITER 52 NEW BEST:: SOT 294245 SOS 249836 HAS SOPS 249317 HAS SOUS 110272 HAS SOUPS 110175 WITH SCORE 110424.836
AT ITER 53 NEW BEST:: SOT 294392 SOS 249780 HAS SOPS 249261 HAS SOUS 110023 HAS SOUPS 109926 WITH SCORE 110175.78
AT ITER 54 NEW BEST:: SOT 293478 SOS 248801 HAS SOPS 248217 HAS SOUS 109404 HAS SOUPS 109307 WITH SCORE 109555.801
AT ITER 59 NEW BEST:: SOT 293483 SOS 248737 HAS SOPS 248081 HAS SOUS 109264 HAS SOUPS 109167 WITH SCORE 109415.737
AT ITER 65 NEW BEST:: SOT 293441 SOS 246677 HAS SOPS 246021 HAS SOUS 107546 HAS SOUPS 107449 WITH SCORE 107695.677
AT ITER 68 NEW BEST:: SOT 293399 SOS 245767 HAS SOPS 245111 HAS SOUS 105154 HAS SOUPS 105057 WITH SCORE 105302.767
AT ITER 71 NEW BEST:: SOT 293391 SOS 245751 HAS SOPS 245095 HAS SOUS 105128 HAS SOUPS 105031 WITH SCORE 105276.751
AT ITER 76 NEW BEST:: SOT 293390 SOS 245749 HAS SOPS 245093 HAS SOUS 105127 HAS SOUPS 105030 WITH SCORE 105275.749
AT ITER 77 NEW BEST:: SOT 293451 SOS 242130 HAS SOPS 241526 HAS SOUS 99342 HAS SOUPS 99245 WITH SCORE 99487.13
AT ITER 78 NEW BEST:: SOT 293447 SOS 242122 HAS SOPS 241518 HAS SOUS 99339 HAS SOUPS 99242 WITH SCORE 99484.122
AT ITER 83 NEW BEST:: SOT 292857 SOS 241572 HAS SOPS 240968 HAS SOUS 99195 HAS SOUPS 99098 WITH SCORE 99339.572
AT ITER 84 NEW BEST:: SOT 292894 SOS 241052 HAS SOPS 240448 HAS SOUS 98939 HAS SOUPS 98842 WITH SCORE 99083.052
AT ITER 85 NEW BEST:: SOT 292906 SOS 240009 HAS SOPS 239405 HAS SOUS 98061 HAS SOUPS 97964 WITH SCORE 98204.009
AT ITER 86 NEW BEST:: SOT 292862 SOS 239921 HAS SOPS 239317 HAS SOUS 98017 HAS SOUPS 97920 WITH SCORE 98159.921
AT ITER 87 NEW BEST:: SOT 293216 SOS 239588 HAS SOPS 238984 HAS SOUS 97636 HAS SOUPS 97539 WITH SCORE 97778.588
AT ITER 88 NEW BEST:: SOT 293319 SOS 236495 HAS SOPS 235972 HAS SOUS 94853 HAS SOUPS 94756 WITH SCORE 94992.495
AT ITER 91 NEW BEST:: SOT 293291 SOS 236439 HAS SOPS 235888 HAS SOUS 94769 HAS SOUPS 94672 WITH SCORE 94908.439
AT ITER 92 NEW BEST:: SOT 293286 SOS 236434 HAS SOPS 235883 HAS SOUS 94769 HAS SOUPS 94672 WITH SCORE 94908.434
AT ITER 94 NEW BEST:: SOT 293286 SOS 236400 HAS SOPS 235849 HAS SOUS 94752 HAS SOUPS 94655 WITH SCORE 94891.4
AT ITER 95 NEW BEST:: SOT 293216 SOS 236255 HAS SOPS 235704 HAS SOUS 94677 HAS SOUPS 94580 WITH SCORE 94816.255
AT ITER 97 NEW BEST:: SOT 293273 SOS 236265 HAS SOPS 235665 HAS SOUS 94638 HAS SOUPS 94541 WITH SCORE 94777.265
AT ITER 102 NEW BEST:: SOT 284755 SOS 252879 HAS SOPS 226996 HAS SOUS 93233 HAS SOUPS 92919 WITH SCORE 93171.879
AT ITER 108 NEW BEST:: SOT 284752 SOS 252872 HAS SOPS 226971 HAS SOUS 93212 HAS SOUPS 92898 WITH SCORE 93150.872
AT ITER 110 NEW BEST:: SOT 283379 SOS 260362 HAS SOPS 225046 HAS SOUS 92028 HAS SOUPS 91576 WITH SCORE 91836.362
AT ITER 112 NEW BEST:: SOT 282983 SOS 259966 HAS SOPS 224650 HAS SOUS 91872 HAS SOUPS 91420 WITH SCORE 91679.966
AT ITER 115 NEW BEST:: SOT 283135 SOS 259904 HAS SOPS 219148 HAS SOUS 86422 HAS SOUPS 85970 WITH SCORE 86229.904
AT ITER 116 NEW BEST:: SOT 282356 SOS 259125 HAS SOPS 218369 HAS SOUS 86025 HAS SOUPS 85573 WITH SCORE 85832.125
AT ITER 121 NEW BEST:: SOT 282299 SOS 259011 HAS SOPS 218255 HAS SOUS 85968 HAS SOUPS 85516 WITH SCORE 85775.011
AT ITER 127 NEW BEST:: SOT 282294 SOS 259001 HAS SOPS 218210 HAS SOUS 85956 HAS SOUPS 85504 WITH SCORE 85763.001
AT ITER 129 NEW BEST:: SOT 279422 SOS 256353 HAS SOPS 215442 HAS SOUS 84769 HAS SOUPS 84317 WITH SCORE 84573.353
AT ITER 130 NEW BEST:: SOT 281585 SOS 258437 HAS SOPS 214410 HAS SOUS 83765 HAS SOUPS 83313 WITH SCORE 83571.437
AT ITER 131 NEW BEST:: SOT 281415 SOS 258233 HAS SOPS 214172 HAS SOUS 83629 HAS SOUPS 83177 WITH SCORE 83435.233
AT ITER 134 NEW BEST:: SOT 281237 SOS 257625 HAS SOPS 213494 HAS SOUS 83059 HAS SOUPS 82607 WITH SCORE 82864.625
AT ITER 137 NEW BEST:: SOT 281231 SOS 257613 HAS SOPS 213482 HAS SOUS 83059 HAS SOUPS 82607 WITH SCORE 82864.613
AT ITER 139 NEW BEST:: SOT 281088 SOS 257401 HAS SOPS 213122 HAS SOUS 82768 HAS SOUPS 82316 WITH SCORE 82573.401
AT ITER 140 NEW BEST:: SOT 281040 SOS 257305 HAS SOPS 212980 HAS SOUS 82672 HAS SOUPS 82220 WITH SCORE 82477.305
AT ITER 141 NEW BEST:: SOT 278655 SOS 254938 HAS SOPS 210502 HAS SOUS 81369 HAS SOUPS 80917 WITH SCORE 81171.938
AT ITER 145 NEW BEST:: SOT 278639 SOS 254930 HAS SOPS 210486 HAS SOUS 81353 HAS SOUPS 80901 WITH SCORE 81155.93
AT ITER 146 NEW BEST:: SOT 278650 SOS 254938 HAS SOPS 210508 HAS SOUS 81220 HAS SOUPS 80768 WITH SCORE 81022.938
AT ITER 149 NEW BEST:: SOT 279068 SOS 255334 HAS SOPS 209022 HAS SOUS 77793 HAS SOUPS 77329 WITH SCORE 77584.334
AT ITER 151 NEW BEST:: SOT 279056 SOS 255320 HAS SOPS 209003 HAS SOUS 77774 HAS SOUPS 77310 WITH SCORE 77565.32
AT ITER 152 NEW BEST:: SOT 277330 SOS 253594 HAS SOPS 207277 HAS SOUS 76857 HAS SOUPS 76393 WITH SCORE 76646.594
AT ITER 154 NEW BEST:: SOT 277291 SOS 253555 HAS SOPS 207220 HAS SOUS 76800 HAS SOUPS 76336 WITH SCORE 76589.555
AT ITER 155 NEW BEST:: SOT 277217 SOS 253407 HAS SOPS 206964 HAS SOUS 76491 HAS SOUPS 76027 WITH SCORE 76280.407
AT ITER 164 NEW BEST:: SOT 277182 SOS 253337 HAS SOPS 206894 HAS SOUS 76467 HAS SOUPS 76003 WITH SCORE 76256.337
AT ITER 166 NEW BEST:: SOT 277206 SOS 253360 HAS SOPS 206803 HAS SOUS 76371 HAS SOUPS 75907 WITH SCORE 76160.36
AT ITER 168 NEW BEST:: SOT 277225 SOS 253181 HAS SOPS 206655 HAS SOUS 76299 HAS SOUPS 75835 WITH SCORE 76088.181
AT ITER 169 NEW BEST:: SOT 277195 SOS 253151 HAS SOPS 206595 HAS SOUS 76254 HAS SOUPS 75790 WITH SCORE 76043.151
AT ITER 170 NEW BEST:: SOT 277370 SOS 253025 HAS SOPS 206479 HAS SOUS 76225 HAS SOUPS 75761 WITH SCORE 76014.025
AT ITER 174 NEW BEST:: SOT 277418 SOS 253105 HAS SOPS 204661 HAS SOUS 75577 HAS SOUPS 75113 WITH SCORE 75366.105
AT ITER 176 NEW BEST:: SOT 277409 SOS 253096 HAS SOPS 204643 HAS SOUS 75562 HAS SOUPS 75098 WITH SCORE 75351.096
AT ITER 179 NEW BEST:: SOT 277285 SOS 252972 HAS SOPS 204519 HAS SOUS 75500 HAS SOUPS 75036 WITH SCORE 75288.972
AT ITER 182 NEW BEST:: SOT 277570 SOS 253059 HAS SOPS 199319 HAS SOUS 70318 HAS SOUPS 69848 WITH SCORE 70101.059
AT ITER 183 NEW BEST:: SOT 277563 SOS 253045 HAS SOPS 199298 HAS SOUS 70304 HAS SOUPS 69834 WITH SCORE 70087.045
AT ITER 185 NEW BEST:: SOT 277565 SOS 252981 HAS SOPS 199233 HAS SOUS 70240 HAS SOUPS 69770 WITH SCORE 70022.981
AT ITER 187 NEW BEST:: SOT 277518 SOS 252796 HAS SOPS 198987 HAS SOUS 69994 HAS SOUPS 69524 WITH SCORE 69776.796
AT ITER 188 NEW BEST:: SOT 277504 SOS 252582 HAS SOPS 196570 HAS SOUS 67063 HAS SOUPS 66593 WITH SCORE 66845.582
AT ITER 189 NEW BEST:: SOT 277470 SOS 252539 HAS SOPS 196502 HAS SOUS 66996 HAS SOUPS 66526 WITH SCORE 66778.539
AT ITER 193 NEW BEST:: SOT 277469 SOS 252444 HAS SOPS 196407 HAS SOUS 66975 HAS SOUPS 66505 WITH SCORE 66757.444
AT ITER 196 NEW BEST:: SOT 277443 SOS 252329 HAS SOPS 196268 HAS SOUS 66836 HAS SOUPS 66366 WITH SCORE 66618.329
AT ITER 197 NEW BEST:: SOT 278047 SOS 252814 HAS SOPS 192406 HAS SOUS 65387 HAS SOUPS 64917 WITH SCORE 65169.814
AT ITER 202 NEW BEST:: SOT 278106 SOS 252814 HAS SOPS 192406 HAS SOUS 65328 HAS SOUPS 64858 WITH SCORE 65110.814
AT ITER 209 NEW BEST:: SOT 278108 SOS 252819 HAS SOPS 192410 HAS SOUS 65233 HAS SOUPS 64763 WITH SCORE 65015.819
AT ITER 211 NEW BEST:: SOT 275579 SOS 250289 HAS SOPS 189880 HAS SOUS 64003 HAS SOUPS 63533 WITH SCORE 63783.289
AT ITER 212 NEW BEST:: SOT 275567 SOS 250277 HAS SOPS 189868 HAS SOUS 63979 HAS SOUPS 63509 WITH SCORE 63759.277
AT ITER 214 NEW BEST:: SOT 275509 SOS 250054 HAS SOPS 189642 HAS SOUS 63805 HAS SOUPS 63335 WITH SCORE 63585.054
AT ITER 216 NEW BEST:: SOT 275513 SOS 250106 HAS SOPS 189650 HAS SOUS 63765 HAS SOUPS 63295 WITH SCORE 63545.106
AT ITER 224 NEW BEST:: SOT 275469 SOS 250039 HAS SOPS 189562 HAS SOUS 63610 HAS SOUPS 63140 WITH SCORE 63390.039
AT ITER 225 NEW BEST:: SOT 275077 SOS 249619 HAS SOPS 189114 HAS SOUS 63329 HAS SOUPS 62859 WITH SCORE 63108.619
AT ITER 228 NEW BEST:: SOT 275162 SOS 249637 HAS SOPS 189145 HAS SOUS 63288 HAS SOUPS 62818 WITH SCORE 63067.637
AT ITER 231 NEW BEST:: SOT 275149 SOS 249589 HAS SOPS 189084 HAS SOUS 63262 HAS SOUPS 62792 WITH SCORE 63041.589
AT ITER 232 NEW BEST:: SOT 274955 SOS 249493 HAS SOPS 188888 HAS SOUS 63160 HAS SOUPS 62690 WITH SCORE 62939.493
AT ITER 233 NEW BEST:: SOT 274980 SOS 249612 HAS SOPS 188938 HAS SOUS 63136 HAS SOUPS 62666 WITH SCORE 62915.612
AT ITER 234 NEW BEST:: SOT 274868 SOS 249513 HAS SOPS 188818 HAS SOUS 63068 HAS SOUPS 62598 WITH SCORE 62847.513
AT ITER 235 NEW BEST:: SOT 274822 SOS 249467 HAS SOPS 188797 HAS SOUS 63047 HAS SOUPS 62577 WITH SCORE 62826.467
AT ITER 236 NEW BEST:: SOT 274381 SOS 248679 HAS SOPS 179415 HAS SOUS 58917 HAS SOUPS 58447 WITH SCORE 58695.679
AT ITER 237 NEW BEST:: SOT 269762 SOS 243814 HAS SOPS 165017 HAS SOUS 51122 HAS SOUPS 50648 WITH SCORE 50891.814
AT ITER 239 NEW BEST:: SOT 269701 SOS 243804 HAS SOPS 164895 HAS SOUS 51011 HAS SOUPS 50537 WITH SCORE 50780.804
AT ITER 240 NEW BEST:: SOT 269701 SOS 243776 HAS SOPS 164867 HAS SOUS 50983 HAS SOUPS 50509 WITH SCORE 50752.776
AT ITER 241 NEW BEST:: SOT 267285 SOS 241627 HAS SOPS 163796 HAS SOUS 50653 HAS SOUPS 50179 WITH SCORE 50420.627
AT ITER 243 NEW BEST:: SOT 267213 SOS 241479 HAS SOPS 163614 HAS SOUS 50547 HAS SOUPS 50073 WITH SCORE 50314.479
AT ITER 246 NEW BEST:: SOT 266939 SOS 240749 HAS SOPS 162762 HAS SOUS 49847 HAS SOUPS 49373 WITH SCORE 49613.749
AT ITER 250 NEW BEST:: SOT 266924 SOS 240749 HAS SOPS 162732 HAS SOUS 49802 HAS SOUPS 49328 WITH SCORE 49568.749
AT ITER 251 NEW BEST:: SOT 266892 SOS 240715 HAS SOPS 162668 HAS SOUS 49738 HAS SOUPS 49264 WITH SCORE 49504.715
AT ITER 254 NEW BEST:: SOT 266846 SOS 240623 HAS SOPS 162576 HAS SOUS 49692 HAS SOUPS 49218 WITH SCORE 49458.623
AT ITER 259 NEW BEST:: SOT 266878 SOS 240697 HAS SOPS 162640 HAS SOUS 49672 HAS SOUPS 49198 WITH SCORE 49438.697
AT ITER 262 NEW BEST:: SOT 266873 SOS 240687 HAS SOPS 162575 HAS SOUS 49553 HAS SOUPS 49079 WITH SCORE 49319.687
AT ITER 276 NEW BEST:: SOT 266859 SOS 240659 HAS SOPS 162547 HAS SOUS 49525 HAS SOUPS 49051 WITH SCORE 49291.659
AT ITER 278 NEW BEST:: SOT 266816 SOS 240557 HAS SOPS 162402 HAS SOUS 49380 HAS SOUPS 48906 WITH SCORE 49146.557
AT ITER 289 NEW BEST:: SOT 267096 SOS 240562 HAS SOPS 162536 HAS SOUS 49379 HAS SOUPS 48905 WITH SCORE 49145.562
AT ITER 291 NEW BEST:: SOT 267087 SOS 240553 HAS SOPS 162239 HAS SOUS 49136 HAS SOUPS 48662 WITH SCORE 48902.553
AT ITER 298 NEW BEST:: SOT 267050 SOS 240413 HAS SOPS 161288 HAS SOUS 48797 HAS SOUPS 48323 WITH SCORE 48563.413
AT ITER 309 NEW BEST:: SOT 262369 SOS 235751 HAS SOPS 156584 HAS SOUS 46442 HAS SOUPS 45968 WITH SCORE 46203.751
AT ITER 313 NEW BEST:: SOT 262128 SOS 235186 HAS SOPS 155925 HAS SOUS 45783 HAS SOUPS 45309 WITH SCORE 45544.186
AT ITER 324 NEW BEST:: SOT 262128 SOS 235186 HAS SOPS 155906 HAS SOUS 45764 HAS SOUPS 45290 WITH SCORE 45525.186
AT ITER 326 NEW BEST:: SOT 261924 SOS 234806 HAS SOPS 155498 HAS SOUS 45495 HAS SOUPS 45021 WITH SCORE 45255.806
AT ITER 327 NEW BEST:: SOT 261992 SOS 234908 HAS SOPS 152240 HAS SOUS 44843 HAS SOUPS 44369 WITH SCORE 44603.908
AT ITER 328 NEW BEST:: SOT 261982 SOS 234903 HAS SOPS 152230 HAS SOUS 44838 HAS SOUPS 44364 WITH SCORE 44598.903
AT ITER 333 NEW BEST:: SOT 261873 SOS 234789 HAS SOPS 152116 HAS SOUS 44724 HAS SOUPS 44250 WITH SCORE 44484.789
AT ITER 334 NEW BEST:: SOT 261864 SOS 234780 HAS SOPS 152107 HAS SOUS 44715 HAS SOUPS 44241 WITH SCORE 44475.78
AT ITER 336 NEW BEST:: SOT 261864 SOS 234674 HAS SOPS 152001 HAS SOUS 44609 HAS SOUPS 44135 WITH SCORE 44369.674
AT ITER 337 NEW BEST:: SOT 261799 SOS 234637 HAS SOPS 151871 HAS SOUS 44455 HAS SOUPS 43981 WITH SCORE 44215.637
AT ITER 338 NEW BEST:: SOT 261665 SOS 234521 HAS SOPS 151735 HAS SOUS 44364 HAS SOUPS 43890 WITH SCORE 44124.521
AT ITER 341 NEW BEST:: SOT 261698 SOS 234452 HAS SOPS 151700 HAS SOUS 44330 HAS SOUPS 43856 WITH SCORE 44090.452
AT ITER 346 NEW BEST:: SOT 261693 SOS 234419 HAS SOPS 151690 HAS SOUS 44298 HAS SOUPS 43824 WITH SCORE 44058.419
AT ITER 350 NEW BEST:: SOT 261688 SOS 234353 HAS SOPS 151624 HAS SOUS 44238 HAS SOUPS 43764 WITH SCORE 43998.353
AT ITER 355 NEW BEST:: SOT 261752 SOS 234031 HAS SOPS 151362 HAS SOUS 43972 HAS SOUPS 43498 WITH SCORE 43732.031
AT ITER 356 NEW BEST:: SOT 261500 SOS 233887 HAS SOPS 151122 HAS SOUS 43772 HAS SOUPS 43298 WITH SCORE 43531.887
AT ITER 362 NEW BEST:: SOT 261380 SOS 233827 HAS SOPS 148696 HAS SOUS 42995 HAS SOUPS 42521 WITH SCORE 42754.827
AT ITER 368 NEW BEST:: SOT 261376 SOS 233824 HAS SOPS 148688 HAS SOUS 42987 HAS SOUPS 42513 WITH SCORE 42746.824
AT ITER 370 NEW BEST:: SOT 258654 SOS 231204 HAS SOPS 145958 HAS SOUS 41724 HAS SOUPS 41250 WITH SCORE 41481.204
AT ITER 372 NEW BEST:: SOT 258611 SOS 231117 HAS SOPS 145827 HAS SOUS 41638 HAS SOUPS 41164 WITH SCORE 41395.117
AT ITER 375 NEW BEST:: SOT 255096 SOS 227575 HAS SOPS 142285 HAS SOUS 39840 HAS SOUPS 39366 WITH SCORE 39593.575
AT ITER 376 NEW BEST:: SOT 255015 SOS 227390 HAS SOPS 142002 HAS SOUS 39661 HAS SOUPS 39187 WITH SCORE 39414.39
AT ITER 385 NEW BEST:: SOT 255015 SOS 227429 HAS SOPS 142002 HAS SOUS 39622 HAS SOUPS 39148 WITH SCORE 39375.429
AT ITER 390 NEW BEST:: SOT 255005 SOS 227531 HAS SOPS 142043 HAS SOUS 39614 HAS SOUPS 39140 WITH SCORE 39367.531
AT ITER 398 NEW BEST:: SOT 255004 SOS 227529 HAS SOPS 142041 HAS SOUS 39614 HAS SOUPS 39140 WITH SCORE 39367.529
AT ITER 400 NEW BEST:: SOT 254995 SOS 227465 HAS SOPS 141970 HAS SOUS 39543 HAS SOUPS 39069 WITH SCORE 39296.465
AT ITER 402 NEW BEST:: SOT 255036 SOS 227375 HAS SOPS 141966 HAS SOUS 39538 HAS SOUPS 39064 WITH SCORE 39291.375
AT ITER 405 NEW BEST:: SOT 254918 SOS 227242 HAS SOPS 141730 HAS SOUS 39141 HAS SOUPS 38667 WITH SCORE 38894.242
AT ITER 411 NEW BEST:: SOT 254914 SOS 227230 HAS SOPS 138572 HAS SOUS 38672 HAS SOUPS 38198 WITH SCORE 38425.23
AT ITER 415 NEW BEST:: SOT 254909 SOS 227220 HAS SOPS 138562 HAS SOUS 38667 HAS SOUPS 38193 WITH SCORE 38420.22
AT ITER 419 NEW BEST:: SOT 254879 SOS 227130 HAS SOPS 138472 HAS SOUS 38607 HAS SOUPS 38133 WITH SCORE 38360.13
AT ITER 422 NEW BEST:: SOT 254241 SOS 226601 HAS SOPS 138614 HAS SOUS 38499 HAS SOUPS 38025 WITH SCORE 38251.601
AT ITER 424 NEW BEST:: SOT 254298 SOS 226607 HAS SOPS 138541 HAS SOUS 38361 HAS SOUPS 37887 WITH SCORE 38113.607
AT ITER 427 NEW BEST:: SOT 254194 SOS 226503 HAS SOPS 138437 HAS SOUS 38257 HAS SOUPS 37783 WITH SCORE 38009.503
AT ITER 428 NEW BEST:: SOT 254213 SOS 226546 HAS SOPS 134619 HAS SOUS 37819 HAS SOUPS 37345 WITH SCORE 37571.546
AT ITER 432 NEW BEST:: SOT 254208 SOS 226555 HAS SOPS 134609 HAS SOUS 37781 HAS SOUPS 37307 WITH SCORE 37533.555
AT ITER 433 NEW BEST:: SOT 254127 SOS 226474 HAS SOPS 134488 HAS SOUS 37660 HAS SOUPS 37186 WITH SCORE 37412.474
AT ITER 441 NEW BEST:: SOT 254064 SOS 226402 HAS SOPS 134416 HAS SOUS 37624 HAS SOUPS 37150 WITH SCORE 37376.402
AT ITER 443 NEW BEST:: SOT 254079 SOS 226408 HAS SOPS 134422 HAS SOUS 37615 HAS SOUPS 37141 WITH SCORE 37367.408
AT ITER 444 NEW BEST:: SOT 254079 SOS 226039 HAS SOPS 134176 HAS SOUS 37492 HAS SOUPS 37018 WITH SCORE 37244.039
AT ITER 445 NEW BEST:: SOT 252085 SOS 224045 HAS SOPS 132170 HAS SOUS 36477 HAS SOUPS 36003 WITH SCORE 36227.045
AT ITER 448 NEW BEST:: SOT 252059 SOS 223967 HAS SOPS 132066 HAS SOUS 36399 HAS SOUPS 35925 WITH SCORE 36148.967
AT ITER 451 NEW BEST:: SOT 252072 SOS 223980 HAS SOPS 131938 HAS SOUS 36271 HAS SOUPS 35797 WITH SCORE 36020.98
AT ITER 456 NEW BEST:: SOT 252077 SOS 223946 HAS SOPS 131896 HAS SOUS 36229 HAS SOUPS 35755 WITH SCORE 35978.946
AT ITER 457 NEW BEST:: SOT 252087 SOS 223955 HAS SOPS 131904 HAS SOUS 36226 HAS SOUPS 35752 WITH SCORE 35975.955
AT ITER 461 NEW BEST:: SOT 251968 SOS 223830 HAS SOPS 131768 HAS SOUS 36101 HAS SOUPS 35627 WITH SCORE 35850.83
AT ITER 463 NEW BEST:: SOT 251956 SOS 223804 HAS SOPS 131730 HAS SOUS 36077 HAS SOUPS 35603 WITH SCORE 35826.804
AT ITER 467 NEW BEST:: SOT 251902 SOS 223792 HAS SOPS 131670 HAS SOUS 36017 HAS SOUPS 35543 WITH SCORE 35766.792
AT ITER 472 NEW BEST:: SOT 251829 SOS 223796 HAS SOPS 131524 HAS SOUS 35824 HAS SOUPS 35350 WITH SCORE 35573.796
AT ITER 473 NEW BEST:: SOT 251801 SOS 223724 HAS SOPS 131436 HAS SOUS 35748 HAS SOUPS 35274 WITH SCORE 35497.724
AT ITER 474 NEW BEST:: SOT 251794 SOS 223798 HAS SOPS 131465 HAS SOUS 35739 HAS SOUPS 35265 WITH SCORE 35488.798
AT ITER 497 NEW BEST:: SOT 251753 SOS 223769 HAS SOPS 131383 HAS SOUS 35657 HAS SOUPS 35183 WITH SCORE 35406.769
AT ITER 502 NEW BEST:: SOT 251751 SOS 223837 HAS SOPS 131415 HAS SOUS 35655 HAS SOUPS 35181 WITH SCORE 35404.837
AT ITER 503 NEW BEST:: SOT 251751 SOS 223839 HAS SOPS 131267 HAS SOUS 35643 HAS SOUPS 35169 WITH SCORE 35392.839
AT ITER 527 NEW BEST:: SOT 251751 SOS 223830 HAS SOPS 131258 HAS SOUS 35631 HAS SOUPS 35157 WITH SCORE 35380.83
AT ITER 530 NEW BEST:: SOT 251739 SOS 223822 HAS SOPS 131234 HAS SOUS 35597 HAS SOUPS 35123 WITH SCORE 35346.822
AT ITER 532 NEW BEST:: SOT 251679 SOS 223762 HAS SOPS 131174 HAS SOUS 35554 HAS SOUPS 35080 WITH SCORE 35303.762
AT ITER 536 NEW BEST:: SOT 251675 SOS 223710 HAS SOPS 131122 HAS SOUS 35506 HAS SOUPS 35032 WITH SCORE 35255.71
AT ITER 537 NEW BEST:: SOT 251639 SOS 223674 HAS SOPS 131050 HAS SOUS 35434 HAS SOUPS 34960 WITH SCORE 35183.674
AT ITER 548 NEW BEST:: SOT 251437 SOS 223414 HAS SOPS 130718 HAS SOUS 35160 HAS SOUPS 34686 WITH SCORE 34909.414
AT ITER 550 NEW BEST:: SOT 251378 SOS 223354 HAS SOPS 130657 HAS SOUS 35104 HAS SOUPS 34630 WITH SCORE 34853.354
AT ITER 557 NEW BEST:: SOT 247489 SOS 219568 HAS SOPS 128243 HAS SOUS 34024 HAS SOUPS 33550 WITH SCORE 33769.568
AT ITER 559 NEW BEST:: SOT 247471 SOS 219548 HAS SOPS 128207 HAS SOUS 33988 HAS SOUPS 33514 WITH SCORE 33733.548
AT ITER 563 NEW BEST:: SOT 247485 SOS 219489 HAS SOPS 128092 HAS SOUS 33773 HAS SOUPS 33299 WITH SCORE 33518.489
AT ITER 564 NEW BEST:: SOT 247474 SOS 219471 HAS SOPS 128070 HAS SOUS 33751 HAS SOUPS 33277 WITH SCORE 33496.471
AT ITER 565 NEW BEST:: SOT 247437 SOS 219397 HAS SOPS 127959 HAS SOUS 33659 HAS SOUPS 33185 WITH SCORE 33404.397
AT ITER 573 NEW BEST:: SOT 247411 SOS 219397 HAS SOPS 127907 HAS SOUS 33607 HAS SOUPS 33133 WITH SCORE 33352.397
AT ITER 577 NEW BEST:: SOT 247313 SOS 219135 HAS SOPS 127593 HAS SOUS 33345 HAS SOUPS 32871 WITH SCORE 33090.135
AT ITER 585 NEW BEST:: SOT 242045 SOS 213911 HAS SOPS 123173 HAS SOUS 31235 HAS SOUPS 30761 WITH SCORE 30974.911
AT ITER 589 NEW BEST:: SOT 242053 SOS 213914 HAS SOPS 123142 HAS SOUS 31203 HAS SOUPS 30729 WITH SCORE 30942.914
AT ITER 591 NEW BEST:: SOT 242053 SOS 213899 HAS SOPS 123112 HAS SOUS 31173 HAS SOUPS 30699 WITH SCORE 30912.899
AT ITER 594 NEW BEST:: SOT 242064 SOS 213910 HAS SOPS 123104 HAS SOUS 31165 HAS SOUPS 30691 WITH SCORE 30904.91
AT ITER 612 NEW BEST:: SOT 242050 SOS 213882 HAS SOPS 122252 HAS SOUS 30972 HAS SOUPS 30498 WITH SCORE 30711.882
AT ITER 620 NEW BEST:: SOT 242074 SOS 213873 HAS SOPS 122249 HAS SOUS 30973 HAS SOUPS 30495 WITH SCORE 30708.873
AT ITER 624 NEW BEST:: SOT 242065 SOS 213864 HAS SOPS 122231 HAS SOUS 30955 HAS SOUPS 30477 WITH SCORE 30690.864
AT ITER 630 NEW BEST:: SOT 242012 SOS 213789 HAS SOPS 122145 HAS SOUS 30901 HAS SOUPS 30423 WITH SCORE 30636.789
AT ITER 651 NEW BEST:: SOT 242011 SOS 213787 HAS SOPS 122143 HAS SOUS 30830 HAS SOUPS 30352 WITH SCORE 30565.787
AT ITER 657 NEW BEST:: SOT 241955 SOS 213549 HAS SOPS 121940 HAS SOUS 30718 HAS SOUPS 30240 WITH SCORE 30453.549
AT ITER 667 NEW BEST:: SOT 241553 SOS 213200 HAS SOPS 122434 HAS SOUS 30656 HAS SOUPS 30178 WITH SCORE 30391.2
AT ITER 684 NEW BEST:: SOT 241553 SOS 213200 HAS SOPS 122398 HAS SOUS 30620 HAS SOUPS 30142 WITH SCORE 30355.2
AT ITER 687 NEW BEST:: SOT 241527 SOS 213122 HAS SOPS 122320 HAS SOUS 30568 HAS SOUPS 30090 WITH SCORE 30303.122
AT ITER 691 NEW BEST:: SOT 241510 SOS 213088 HAS SOPS 122286 HAS SOUS 30562 HAS SOUPS 30084 WITH SCORE 30297.088
AT ITER 693 NEW BEST:: SOT 241427 SOS 212908 HAS SOPS 122120 HAS SOUS 30460 HAS SOUPS 29982 WITH SCORE 30194.908
AT ITER 695 NEW BEST:: SOT 241374 SOS 212802 HAS SOPS 122014 HAS SOUS 30404 HAS SOUPS 29926 WITH SCORE 30138.802
AT ITER 706 NEW BEST:: SOT 241372 SOS 212800 HAS SOPS 122010 HAS SOUS 30400 HAS SOUPS 29922 WITH SCORE 30134.8
AT ITER 708 NEW BEST:: SOT 241372 SOS 212776 HAS SOPS 121114 HAS SOUS 29816 HAS SOUPS 29338 WITH SCORE 29550.776
AT ITER 715 NEW BEST:: SOT 241347 SOS 212751 HAS SOPS 121089 HAS SOUS 29791 HAS SOUPS 29313 WITH SCORE 29525.751
AT ITER 719 NEW BEST:: SOT 241305 SOS 212770 HAS SOPS 121046 HAS SOUS 29728 HAS SOUPS 29250 WITH SCORE 29462.77
AT ITER 720 NEW BEST:: SOT 241274 SOS 212648 HAS SOPS 120924 HAS SOUS 29637 HAS SOUPS 29159 WITH SCORE 29371.648
AT ITER 734 NEW BEST:: SOT 241455 SOS 212803 HAS SOPS 120640 HAS SOUS 29599 HAS SOUPS 29121 WITH SCORE 29333.803
AT ITER 739 NEW BEST:: SOT 241407 SOS 212775 HAS SOPS 120544 HAS SOUS 29516 HAS SOUPS 29038 WITH SCORE 29250.775
AT ITER 747 NEW BEST:: SOT 241405 SOS 212743 HAS SOPS 120540 HAS SOUS 29512 HAS SOUPS 29034 WITH SCORE 29246.743
AT ITER 749 NEW BEST:: SOT 240076 SOS 211453 HAS SOPS 119248 HAS SOUS 28864 HAS SOUPS 28386 WITH SCORE 28597.453
AT ITER 758 NEW BEST:: SOT 238960 SOS 210290 HAS SOPS 118038 HAS SOUS 28212 HAS SOUPS 27734 WITH SCORE 27944.29
AT ITER 761 NEW BEST:: SOT 236056 SOS 207388 HAS SOPS 115532 HAS SOUS 27124 HAS SOUPS 26646 WITH SCORE 26853.388
AT ITER 764 NEW BEST:: SOT 236897 SOS 208210 HAS SOPS 116230 HAS SOUS 26984 HAS SOUPS 26506 WITH SCORE 26714.21
AT ITER 766 NEW BEST:: SOT 236828 SOS 208072 HAS SOPS 116026 HAS SOUS 26780 HAS SOUPS 26302 WITH SCORE 26510.072
AT ITER 768 NEW BEST:: SOT 236828 SOS 208006 HAS SOPS 115993 HAS SOUS 26780 HAS SOUPS 26302 WITH SCORE 26510.006
AT ITER 769 NEW BEST:: SOT 236794 SOS 207938 HAS SOPS 115842 HAS SOUS 26629 HAS SOUPS 26151 WITH SCORE 26358.938
AT ITER 780 NEW BEST:: SOT 236737 SOS 207881 HAS SOPS 115766 HAS SOUS 26553 HAS SOUPS 26075 WITH SCORE 26282.881
AT ITER 800 NEW BEST:: SOT 236684 SOS 207742 HAS SOPS 115574 HAS SOUS 26361 HAS SOUPS 25883 WITH SCORE 26090.742
AT ITER 809 NEW BEST:: SOT 236642 SOS 207655 HAS SOPS 115490 HAS SOUS 26258 HAS SOUPS 25780 WITH SCORE 25987.655
AT ITER 829 NEW BEST:: SOT 236584 SOS 207568 HAS SOPS 115374 HAS SOUS 26171 HAS SOUPS 25693 WITH SCORE 25900.568
AT ITER 830 NEW BEST:: SOT 236569 SOS 207553 HAS SOPS 115344 HAS SOUS 26141 HAS SOUPS 25663 WITH SCORE 25870.553
AT ITER 831 NEW BEST:: SOT 236550 SOS 207496 HAS SOPS 115306 HAS SOUS 26141 HAS SOUPS 25663 WITH SCORE 25870.496
AT ITER 832 NEW BEST:: SOT 236630 SOS 207565 HAS SOPS 115298 HAS SOUS 26133 HAS SOUPS 25655 WITH SCORE 25862.565
AT ITER 858 NEW BEST:: SOT 236625 SOS 207560 HAS SOPS 115288 HAS SOUS 26118 HAS SOUPS 25640 WITH SCORE 25847.56
AT ITER 861 NEW BEST:: SOT 236651 SOS 207556 HAS SOPS 114412 HAS SOUS 25963 HAS SOUPS 25485 WITH SCORE 25692.556
AT ITER 875 NEW BEST:: SOT 235931 SOS 206860 HAS SOPS 113756 HAS SOUS 25921 HAS SOUPS 25443 WITH SCORE 25649.86
AT ITER 883 NEW BEST:: SOT 235829 SOS 206707 HAS SOPS 113603 HAS SOUS 25776 HAS SOUPS 25298 WITH SCORE 25504.707
AT ITER 888 NEW BEST:: SOT 235829 SOS 206707 HAS SOPS 113553 HAS SOUS 25726 HAS SOUPS 25248 WITH SCORE 25454.707
AT ITER 899 NEW BEST:: SOT 235804 SOS 206657 HAS SOPS 113503 HAS SOUS 25701 HAS SOUPS 25223 WITH SCORE 25429.657
AT ITER 903 NEW BEST:: SOT 235547 SOS 206414 HAS SOPS 113107 HAS SOUS 25305 HAS SOUPS 24827 WITH SCORE 25033.414
AT ITER 906 NEW BEST:: SOT 235547 SOS 206399 HAS SOPS 113092 HAS SOUS 25290 HAS SOUPS 24812 WITH SCORE 25018.399
AT ITER 909 NEW BEST:: SOT 235528 SOS 206273 HAS SOPS 112947 HAS SOUS 25252 HAS SOUPS 24774 WITH SCORE 24980.273
AT ITER 910 NEW BEST:: SOT 235532 SOS 206277 HAS SOPS 112930 HAS SOUS 25235 HAS SOUPS 24757 WITH SCORE 24963.277
AT ITER 912 NEW BEST:: SOT 235525 SOS 206263 HAS SOPS 112909 HAS SOUS 25214 HAS SOUPS 24736 WITH SCORE 24942.263
AT ITER 917 NEW BEST:: SOT 235525 SOS 206257 HAS SOPS 112777 HAS SOUS 25151 HAS SOUPS 24673 WITH SCORE 24879.257
AT ITER 923 NEW BEST:: SOT 235534 SOS 206204 HAS SOPS 112706 HAS SOUS 25080 HAS SOUPS 24602 WITH SCORE 24808.204
AT ITER 924 NEW BEST:: SOT 235524 SOS 206194 HAS SOPS 112694 HAS SOUS 25070 HAS SOUPS 24590 WITH SCORE 24796.194
AT ITER 931 NEW BEST:: SOT 235520 SOS 206008 HAS SOPS 111438 HAS SOUS 24983 HAS SOUPS 24503 WITH SCORE 24709.008
AT ITER 932 NEW BEST:: SOT 235519 SOS 206009 HAS SOPS 111436 HAS SOUS 24979 HAS SOUPS 24499 WITH SCORE 24705.009
AT ITER 963 NEW BEST:: SOT 235517 SOS 206094 HAS SOPS 111476 HAS SOUS 24976 HAS SOUPS 24496 WITH SCORE 24702.094
AT ITER 967 NEW BEST:: SOT 235517 SOS 206087 HAS SOPS 111476 HAS SOUS 24976 HAS SOUPS 24496 WITH SCORE 24702.087
AT ITER 970 NEW BEST:: SOT 235512 SOS 206077 HAS SOPS 111466 HAS SOUS 24971 HAS SOUPS 24491 WITH SCORE 24697.077
AT ITER 975 NEW BEST:: SOT 235501 SOS 206066 HAS SOPS 111444 HAS SOUS 24949 HAS SOUPS 24469 WITH SCORE 24675.066
AT ITER 976 NEW BEST:: SOT 235504 SOS 206022 HAS SOPS 111400 HAS SOUS 24949 HAS SOUPS 24469 WITH SCORE 24675.022
AT ITER 995 NEW BEST:: SOT 234854 SOS 205365 HAS SOPS 110850 HAS SOUS 24691 HAS SOUPS 24211 WITH SCORE 24416.365
AT ITER 997 NEW BEST:: SOT 234870 SOS 205294 HAS SOPS 110815 HAS SOUS 24676 HAS SOUPS 24196 WITH SCORE 24401.294
AT ITER 1009 NEW BEST:: SOT 234870 SOS 205290 HAS SOPS 110811 HAS SOUS 24672 HAS SOUPS 24192 WITH SCORE 24397.29
AT ITER 1014 NEW BEST:: SOT 234840 SOS 205245 HAS SOPS 110751 HAS SOUS 24612 HAS SOUPS 24132 WITH SCORE 24337.245
AT ITER 1016 NEW BEST:: SOT 234840 SOS 205251 HAS SOPS 110751 HAS SOUS 24606 HAS SOUPS 24126 WITH SCORE 24331.251
AT ITER 1022 NEW BEST:: SOT 234852 SOS 205254 HAS SOPS 110758 HAS SOUS 24605 HAS SOUPS 24125 WITH SCORE 24330.254
AT ITER 1023 NEW BEST:: SOT 234825 SOS 205200 HAS SOPS 110704 HAS SOUS 24605 HAS SOUPS 24125 WITH SCORE 24330.2
AT ITER 1025 NEW BEST:: SOT 234809 SOS 204984 HAS SOPS 110572 HAS SOUS 24473 HAS SOUPS 23993 WITH SCORE 24197.984
AT ITER 1028 NEW BEST:: SOT 234807 SOS 205111 HAS SOPS 110633 HAS SOUS 24471 HAS SOUPS 23991 WITH SCORE 24196.111
AT ITER 1050 NEW BEST:: SOT 234809 SOS 205084 HAS SOPS 110637 HAS SOUS 24444 HAS SOUPS 23964 WITH SCORE 24169.084
AT ITER 1063 NEW BEST:: SOT 234651 SOS 204982 HAS SOPS 110571 HAS SOUS 24421 HAS SOUPS 23941 WITH SCORE 24145.982
AT ITER 1065 NEW BEST:: SOT 234640 SOS 204971 HAS SOPS 110563 HAS SOUS 24413 HAS SOUPS 23933 WITH SCORE 24137.971
AT ITER 1070 NEW BEST:: SOT 234633 SOS 204955 HAS SOPS 110538 HAS SOUS 24388 HAS SOUPS 23908 WITH SCORE 24112.955
AT ITER 1074 NEW BEST:: SOT 234649 SOS 204952 HAS SOPS 110535 HAS SOUS 24369 HAS SOUPS 23889 WITH SCORE 24093.952
AT ITER 1084 NEW BEST:: SOT 234645 SOS 204960 HAS SOPS 110527 HAS SOUS 24362 HAS SOUPS 23882 WITH SCORE 24086.96
AT ITER 1088 NEW BEST:: SOT 234637 SOS 204960 HAS SOPS 110511 HAS SOUS 24346 HAS SOUPS 23866 WITH SCORE 24070.96
AT ITER 1092 NEW BEST:: SOT 234635 SOS 204944 HAS SOPS 110493 HAS SOUS 24336 HAS SOUPS 23856 WITH SCORE 24060.944
AT ITER 1093 NEW BEST:: SOT 234631 SOS 204935 HAS SOPS 110485 HAS SOUS 24328 HAS SOUPS 23848 WITH SCORE 24052.935
AT ITER 1096 NEW BEST:: SOT 234611 SOS 204915 HAS SOPS 110445 HAS SOUS 24287 HAS SOUPS 23807 WITH SCORE 24011.915
AT ITER 1100 NEW BEST:: SOT 234609 SOS 204914 HAS SOPS 110441 HAS SOUS 24280 HAS SOUPS 23800 WITH SCORE 24004.914
AT ITER 1131 NEW BEST:: SOT 234609 SOS 204902 HAS SOPS 110435 HAS SOUS 24280 HAS SOUPS 23800 WITH SCORE 24004.902
AT ITER 1142 NEW BEST:: SOT 234611 SOS 204894 HAS SOPS 110411 HAS SOUS 24266 HAS SOUPS 23786 WITH SCORE 23990.894
AT ITER 1145 NEW BEST:: SOT 234605 SOS 204892 HAS SOPS 110404 HAS SOUS 24259 HAS SOUPS 23779 WITH SCORE 23983.892
AT ITER 1151 NEW BEST:: SOT 235345 SOS 205737 HAS SOPS 107052 HAS SOUS 23753 HAS SOUPS 23273 WITH SCORE 23478.737
AT ITER 1166 NEW BEST:: SOT 235318 SOS 205600 HAS SOPS 106882 HAS SOUS 23647 HAS SOUPS 23167 WITH SCORE 23372.6
AT ITER 1168 NEW BEST:: SOT 235279 SOS 205549 HAS SOPS 106819 HAS SOUS 23601 HAS SOUPS 23111 WITH SCORE 23316.549
AT ITER 1181 NEW BEST:: SOT 235217 SOS 205491 HAS SOPS 106810 HAS SOUS 23590 HAS SOUPS 23100 WITH SCORE 23305.491
AT ITER 1198 NEW BEST:: SOT 235214 SOS 205488 HAS SOPS 106801 HAS SOUS 23581 HAS SOUPS 23091 WITH SCORE 23296.488
AT ITER 1200 NEW BEST:: SOT 235180 SOS 205422 HAS SOPS 106733 HAS SOUS 23521 HAS SOUPS 23031 WITH SCORE 23236.422
AT ITER 1204 NEW BEST:: SOT 235180 SOS 205422 HAS SOPS 106677 HAS SOUS 23463 HAS SOUPS 22973 WITH SCORE 23178.422
AT ITER 1212 NEW BEST:: SOT 235188 SOS 205377 HAS SOPS 106640 HAS SOUS 23389 HAS SOUPS 22899 WITH SCORE 23104.377
AT ITER 1222 NEW BEST:: SOT 235182 SOS 205373 HAS SOPS 106628 HAS SOUS 23377 HAS SOUPS 22887 WITH SCORE 23092.373
AT ITER 1226 NEW BEST:: SOT 235149 SOS 205307 HAS SOPS 106562 HAS SOUS 23326 HAS SOUPS 22836 WITH SCORE 23041.307
AT ITER 1242 NEW BEST:: SOT 235129 SOS 205301 HAS SOPS 106522 HAS SOUS 23309 HAS SOUPS 22819 WITH SCORE 23024.301
AT ITER 1245 NEW BEST:: SOT 235064 SOS 205276 HAS SOPS 106432 HAS SOUS 23219 HAS SOUPS 22729 WITH SCORE 22934.276
AT ITER 1265 NEW BEST:: SOT 235063 SOS 205275 HAS SOPS 106430 HAS SOUS 23217 HAS SOUPS 22727 WITH SCORE 22932.275
AT ITER 1271 NEW BEST:: SOT 235324 SOS 205520 HAS SOPS 105930 HAS SOUS 23064 HAS SOUPS 22574 WITH SCORE 22779.52
AT ITER 1289 NEW BEST:: SOT 235206 SOS 205530 HAS SOPS 105834 HAS SOUS 22969 HAS SOUPS 22479 WITH SCORE 22684.53
AT ITER 1307 NEW BEST:: SOT 235216 SOS 205563 HAS SOPS 105854 HAS SOUS 22966 HAS SOUPS 22476 WITH SCORE 22681.563
AT ITER 1308 NEW BEST:: SOT 235146 SOS 205423 HAS SOPS 105714 HAS SOUS 22798 HAS SOUPS 22308 WITH SCORE 22513.423
AT ITER 1318 NEW BEST:: SOT 235132 SOS 205409 HAS SOPS 105700 HAS SOUS 22784 HAS SOUPS 22294 WITH SCORE 22499.409
AT ITER 1329 NEW BEST:: SOT 235075 SOS 205355 HAS SOPS 105643 HAS SOUS 22757 HAS SOUPS 22267 WITH SCORE 22472.355
AT ITER 1331 NEW BEST:: SOT 235017 SOS 205333 HAS SOPS 105618 HAS SOUS 22732 HAS SOUPS 22242 WITH SCORE 22447.333
AT ITER 1333 NEW BEST:: SOT 235015 SOS 205333 HAS SOPS 105616 HAS SOUS 22728 HAS SOUPS 22238 WITH SCORE 22443.333
AT ITER 1339 NEW BEST:: SOT 235002 SOS 205262 HAS SOPS 105559 HAS SOUS 22694 HAS SOUPS 22204 WITH SCORE 22409.262
AT ITER 1346 NEW BEST:: SOT 235002 SOS 205251 HAS SOPS 105559 HAS SOUS 22694 HAS SOUPS 22204 WITH SCORE 22409.251
AT ITER 1352 NEW BEST:: SOT 234930 SOS 205227 HAS SOPS 105471 HAS SOUS 22636 HAS SOUPS 22146 WITH SCORE 22351.227
AT ITER 1363 NEW BEST:: SOT 234924 SOS 205215 HAS SOPS 105459 HAS SOUS 22609 HAS SOUPS 22119 WITH SCORE 22324.215
AT ITER 1365 NEW BEST:: SOT 234926 SOS 205204 HAS SOPS 105448 HAS SOUS 22598 HAS SOUPS 22108 WITH SCORE 22313.204
AT ITER 1367 NEW BEST:: SOT 234903 SOS 205115 HAS SOPS 105402 HAS SOUS 22552 HAS SOUPS 22062 WITH SCORE 22267.115
AT ITER 1398 NEW BEST:: SOT 234903 SOS 205113 HAS SOPS 105401 HAS SOUS 22552 HAS SOUPS 22062 WITH SCORE 22267.113
AT ITER 1406 NEW BEST:: SOT 234886 SOS 205087 HAS SOPS 105367 HAS SOUS 22509 HAS SOUPS 22019 WITH SCORE 22224.087
AT ITER 1407 NEW BEST:: SOT 234877 SOS 205018 HAS SOPS 105349 HAS SOUS 22491 HAS SOUPS 22001 WITH SCORE 22206.018
AT ITER 1425 NEW BEST:: SOT 234896 SOS 204949 HAS SOPS 105317 HAS SOUS 22477 HAS SOUPS 21987 WITH SCORE 22191.949
AT ITER 1434 NEW BEST:: SOT 234870 SOS 204968 HAS SOPS 105309 HAS SOUS 22471 HAS SOUPS 21981 WITH SCORE 22185.968
AT ITER 1445 NEW BEST:: SOT 234867 SOS 204963 HAS SOPS 105303 HAS SOUS 22452 HAS SOUPS 21962 WITH SCORE 22166.963
AT ITER 1467 NEW BEST:: SOT 234845 SOS 204941 HAS SOPS 105284 HAS SOUS 22433 HAS SOUPS 21943 WITH SCORE 22147.941
AT ITER 1473 NEW BEST:: SOT 234832 SOS 204928 HAS SOPS 105258 HAS SOUS 22407 HAS SOUPS 21917 WITH SCORE 22121.928
AT ITER 1486 NEW BEST:: SOT 234828 SOS 204920 HAS SOPS 105122 HAS SOUS 22379 HAS SOUPS 21889 WITH SCORE 22093.92
AT ITER 1519 NEW BEST:: SOT 234793 SOS 204885 HAS SOPS 105052 HAS SOUS 22309 HAS SOUPS 21819 WITH SCORE 22023.885
AT ITER 1525 NEW BEST:: SOT 234791 SOS 204881 HAS SOPS 105046 HAS SOUS 22303 HAS SOUPS 21813 WITH SCORE 22017.881
AT ITER 1527 NEW BEST:: SOT 234807 SOS 204896 HAS SOPS 105014 HAS SOUS 22272 HAS SOUPS 21782 WITH SCORE 21986.896
AT ITER 1529 NEW BEST:: SOT 234618 SOS 204707 HAS SOPS 104825 HAS SOUS 22173 HAS SOUPS 21683 WITH SCORE 21887.707
AT ITER 1532 NEW BEST:: SOT 234616 SOS 204707 HAS SOPS 104823 HAS SOUS 22171 HAS SOUPS 21681 WITH SCORE 21885.707
AT ITER 1552 NEW BEST:: SOT 234520 SOS 204620 HAS SOPS 104678 HAS SOUS 22069 HAS SOUPS 21579 WITH SCORE 21783.62
AT ITER 1560 NEW BEST:: SOT 234507 SOS 204607 HAS SOPS 104665 HAS SOUS 22056 HAS SOUPS 21566 WITH SCORE 21770.607
AT ITER 1562 NEW BEST:: SOT 234520 SOS 204588 HAS SOPS 104640 HAS SOUS 22011 HAS SOUPS 21521 WITH SCORE 21725.588
AT ITER 1578 NEW BEST:: SOT 233643 SOS 203708 HAS SOPS 103760 HAS SOUS 21568 HAS SOUPS 21078 WITH SCORE 21281.708
AT ITER 1626 NEW BEST:: SOT 233619 SOS 203672 HAS SOPS 103712 HAS SOUS 21524 HAS SOUPS 21034 WITH SCORE 21237.672
AT ITER 1645 NEW BEST:: SOT 233606 SOS 203659 HAS SOPS 103699 HAS SOUS 21511 HAS SOUPS 21021 WITH SCORE 21224.659
AT ITER 1655 NEW BEST:: SOT 233606 SOS 203655 HAS SOPS 103681 HAS SOUS 21431 HAS SOUPS 20941 WITH SCORE 21144.655
AT ITER 1663 NEW BEST:: SOT 233542 SOS 203513 HAS SOPS 103553 HAS SOUS 21374 HAS SOUPS 20884 WITH SCORE 21087.513
AT ITER 1666 NEW BEST:: SOT 233518 SOS 203467 HAS SOPS 103505 HAS SOUS 21348 HAS SOUPS 20858 WITH SCORE 21061.467
AT ITER 1669 NEW BEST:: SOT 233518 SOS 203451 HAS SOPS 103489 HAS SOUS 21319 HAS SOUPS 20829 WITH SCORE 21032.451
AT ITER 1689 NEW BEST:: SOT 233537 SOS 203415 HAS SOPS 103484 HAS SOUS 21295 HAS SOUPS 20805 WITH SCORE 21008.415
AT ITER 1695 NEW BEST:: SOT 233436 SOS 203301 HAS SOPS 103326 HAS SOUS 21181 HAS SOUPS 20691 WITH SCORE 20894.301
AT ITER 1702 NEW BEST:: SOT 233366 SOS 203074 HAS SOPS 103186 HAS SOUS 21041 HAS SOUPS 20551 WITH SCORE 20754.074
AT ITER 1710 NEW BEST:: SOT 233254 SOS 203014 HAS SOPS 103038 HAS SOUS 20893 HAS SOUPS 20403 WITH SCORE 20606.014
AT ITER 1711 NEW BEST:: SOT 233206 SOS 202938 HAS SOPS 102942 HAS SOUS 20797 HAS SOUPS 20307 WITH SCORE 20509.938
AT ITER 1728 NEW BEST:: SOT 233190 SOS 202922 HAS SOPS 102910 HAS SOUS 20765 HAS SOUPS 20275 WITH SCORE 20477.922
AT ITER 1747 NEW BEST:: SOT 233184 SOS 202914 HAS SOPS 102900 HAS SOUS 20759 HAS SOUPS 20269 WITH SCORE 20471.914
AT ITER 1764 NEW BEST:: SOT 233136 SOS 202866 HAS SOPS 102835 HAS SOUS 20725 HAS SOUPS 20235 WITH SCORE 20437.866
AT ITER 1769 NEW BEST:: SOT 232610 SOS 202340 HAS SOPS 102320 HAS SOUS 20473 HAS SOUPS 19983 WITH SCORE 20185.34
AT ITER 1775 NEW BEST:: SOT 232610 SOS 202325 HAS SOPS 102306 HAS SOUS 20457 HAS SOUPS 19967 WITH SCORE 20169.325
AT ITER 1805 NEW BEST:: SOT 232640 SOS 202350 HAS SOPS 102264 HAS SOUS 20415 HAS SOUPS 19925 WITH SCORE 20127.35
AT ITER 1857 NEW BEST:: SOT 232727 SOS 202404 HAS SOPS 102318 HAS SOUS 20409 HAS SOUPS 19919 WITH SCORE 20121.404
AT ITER 1858 NEW BEST:: SOT 232727 SOS 202411 HAS SOPS 102318 HAS SOUS 20402 HAS SOUPS 19912 WITH SCORE 20114.411
AT ITER 1867 NEW BEST:: SOT 232713 SOS 202390 HAS SOPS 102290 HAS SOUS 20374 HAS SOUPS 19884 WITH SCORE 20086.39
AT ITER 1872 NEW BEST:: SOT 232698 SOS 202395 HAS SOPS 102281 HAS SOUS 20365 HAS SOUPS 19875 WITH SCORE 20077.395
AT ITER 1891 NEW BEST:: SOT 232683 SOS 202390 HAS SOPS 102261 HAS SOUS 20345 HAS SOUPS 19855 WITH SCORE 20057.39
AT ITER 1893 NEW BEST:: SOT 232609 SOS 202279 HAS SOPS 102113 HAS SOUS 20234 HAS SOUPS 19744 WITH SCORE 19946.279
AT ITER 1895 NEW BEST:: SOT 232543 SOS 202310 HAS SOPS 102099 HAS SOUS 20220 HAS SOUPS 19730 WITH SCORE 19932.31
AT ITER 1912 NEW BEST:: SOT 232550 SOS 202320 HAS SOPS 101985 HAS SOUS 20123 HAS SOUPS 19633 WITH SCORE 19835.32
AT ITER 1921 NEW BEST:: SOT 232555 SOS 202308 HAS SOPS 101978 HAS SOUS 20116 HAS SOUPS 19626 WITH SCORE 19828.308
AT ITER 1922 NEW BEST:: SOT 232521 SOS 202261 HAS SOPS 101928 HAS SOUS 20085 HAS SOUPS 19595 WITH SCORE 19797.261
AT ITER 1923 NEW BEST:: SOT 232304 SOS 202055 HAS SOPS 101727 HAS SOUS 20059 HAS SOUPS 19569 WITH SCORE 19771.055
AT ITER 1925 NEW BEST:: SOT 232302 SOS 202257 HAS SOPS 101721 HAS SOUS 20053 HAS SOUPS 19561 WITH SCORE 19763.257
AT ITER 1930 NEW BEST:: SOT 232306 SOS 202247 HAS SOPS 101715 HAS SOUS 20033 HAS SOUPS 19541 WITH SCORE 19743.247
AT ITER 1940 NEW BEST:: SOT 232305 SOS 202249 HAS SOPS 101713 HAS SOUS 20027 HAS SOUPS 19535 WITH SCORE 19737.249
AT ITER 1960 NEW BEST:: SOT 232281 SOS 202222 HAS SOPS 101665 HAS SOUS 19965 HAS SOUPS 19473 WITH SCORE 19675.222
AT ITER 1965 NEW BEST:: SOT 232278 SOS 202216 HAS SOPS 101659 HAS SOUS 19959 HAS SOUPS 19467 WITH SCORE 19669.216
AT ITER 1971 NEW BEST:: SOT 232236 SOS 202204 HAS SOPS 101605 HAS SOUS 19905 HAS SOUPS 19413 WITH SCORE 19615.204
AT ITER 1985 NEW BEST:: SOT 232217 SOS 202185 HAS SOPS 101586 HAS SOUS 19886 HAS SOUPS 19394 WITH SCORE 19596.185
AT ITER 1992 NEW BEST:: SOT 232188 SOS 202156 HAS SOPS 101544 HAS SOUS 19844 HAS SOUPS 19352 WITH SCORE 19554.156
AT ITER 2000 NEW BEST:: SOT 232188 SOS 202156 HAS SOPS 101542 HAS SOUS 19842 HAS SOUPS 19350 WITH SCORE 19552.156
AT ITER 2004 NEW BEST:: SOT 232184 SOS 202152 HAS SOPS 101534 HAS SOUS 19834 HAS SOUPS 19342 WITH SCORE 19544.152
AT ITER 2030 NEW BEST:: SOT 232184 SOS 202136 HAS SOPS 101518 HAS SOUS 19818 HAS SOUPS 19326 WITH SCORE 19528.136
AT ITER 2059 NEW BEST:: SOT 232181 SOS 202137 HAS SOPS 101519 HAS SOUS 19815 HAS SOUPS 19323 WITH SCORE 19525.137
AT ITER 2064 NEW BEST:: SOT 232175 SOS 202134 HAS SOPS 101510 HAS SOUS 19806 HAS SOUPS 19314 WITH SCORE 19516.134
AT ITER 2074 NEW BEST:: SOT 232172 SOS 201973 HAS SOPS 101393 HAS SOUS 19736 HAS SOUPS 19244 WITH SCORE 19445.973
AT ITER 2090 NEW BEST:: SOT 232153 SOS 201979 HAS SOPS 101378 HAS SOUS 19719 HAS SOUPS 19227 WITH SCORE 19428.979
AT ITER 2093 NEW BEST:: SOT 232117 SOS 201877 HAS SOPS 101273 HAS SOUS 19614 HAS SOUPS 19122 WITH SCORE 19323.877
AT ITER 2102 NEW BEST:: SOT 232101 SOS 201856 HAS SOPS 101252 HAS SOUS 19604 HAS SOUPS 19112 WITH SCORE 19313.856
AT ITER 2106 NEW BEST:: SOT 232073 SOS 201815 HAS SOPS 101196 HAS SOUS 19548 HAS SOUPS 19056 WITH SCORE 19257.815
AT ITER 2111 NEW BEST:: SOT 232055 SOS 201788 HAS SOPS 101160 HAS SOUS 19503 HAS SOUPS 19011 WITH SCORE 19212.788
AT ITER 2117 NEW BEST:: SOT 232048 SOS 201788 HAS SOPS 101153 HAS SOUS 19496 HAS SOUPS 19004 WITH SCORE 19205.788
AT ITER 2124 NEW BEST:: SOT 232031 SOS 201785 HAS SOPS 101135 HAS SOUS 19480 HAS SOUPS 18988 WITH SCORE 19189.785
AT ITER 2140 NEW BEST:: SOT 232021 SOS 201765 HAS SOPS 101105 HAS SOUS 19450 HAS SOUPS 18958 WITH SCORE 19159.765
AT ITER 2144 NEW BEST:: SOT 232027 SOS 201733 HAS SOPS 101089 HAS SOUS 19430 HAS SOUPS 18938 WITH SCORE 19139.733
AT ITER 2154 NEW BEST:: SOT 231988 SOS 201693 HAS SOPS 101048 HAS SOUS 19408 HAS SOUPS 18916 WITH SCORE 19117.693
AT ITER 2172 NEW BEST:: SOT 231987 SOS 201691 HAS SOPS 101046 HAS SOUS 19406 HAS SOUPS 18914 WITH SCORE 19115.691
AT ITER 2197 NEW BEST:: SOT 231969 SOS 201677 HAS SOPS 101010 HAS SOUS 19381 HAS SOUPS 18889 WITH SCORE 19090.677
AT ITER 2260 NEW BEST:: SOT 231936 SOS 201644 HAS SOPS 100944 HAS SOUS 19315 HAS SOUPS 18823 WITH SCORE 19024.644
AT ITER 2304 NEW BEST:: SOT 231906 SOS 201605 HAS SOPS 100905 HAS SOUS 19276 HAS SOUPS 18784 WITH SCORE 18985.605
AT ITER 2306 NEW BEST:: SOT 231906 SOS 201605 HAS SOPS 100899 HAS SOUS 19270 HAS SOUPS 18778 WITH SCORE 18979.605
AT ITER 2348 NEW BEST:: SOT 231865 SOS 201567 HAS SOPS 100817 HAS SOUS 19185 HAS SOUPS 18693 WITH SCORE 18894.567
AT ITER 2353 NEW BEST:: SOT 231801 SOS 201503 HAS SOPS 100689 HAS SOUS 19057 HAS SOUPS 18565 WITH SCORE 18766.503
AT ITER 2376 NEW BEST:: SOT 231781 SOS 201467 HAS SOPS 100680 HAS SOUS 19048 HAS SOUPS 18556 WITH SCORE 18757.467
AT ITER 2384 NEW BEST:: SOT 231778 SOS 201464 HAS SOPS 100674 HAS SOUS 19042 HAS SOUPS 18550 WITH SCORE 18751.464
AT ITER 2390 NEW BEST:: SOT 231774 SOS 201464 HAS SOPS 100666 HAS SOUS 19034 HAS SOUPS 18542 WITH SCORE 18743.464
AT ITER 2398 NEW BEST:: SOT 231769 SOS 201459 HAS SOPS 100661 HAS SOUS 19029 HAS SOUPS 18537 WITH SCORE 18738.459
AT ITER 2406 NEW BEST:: SOT 231765 SOS 201451 HAS SOPS 100653 HAS SOUS 19025 HAS SOUPS 18533 WITH SCORE 18734.451
AT ITER 2411 NEW BEST:: SOT 231780 SOS 201457 HAS SOPS 100647 HAS SOUS 19022 HAS SOUPS 18530 WITH SCORE 18731.457
AT ITER 2425 NEW BEST:: SOT 231775 SOS 201448 HAS SOPS 100637 HAS SOUS 19018 HAS SOUPS 18526 WITH SCORE 18727.448
AT ITER 2452 NEW BEST:: SOT 231774 SOS 201447 HAS SOPS 100636 HAS SOUS 19018 HAS SOUPS 18526 WITH SCORE 18727.447
AT ITER 2456 NEW BEST:: SOT 231773 SOS 201446 HAS SOPS 100634 HAS SOUS 19016 HAS SOUPS 18524 WITH SCORE 18725.446
AT ITER 2470 NEW BEST:: SOT 231757 SOS 201430 HAS SOPS 100602 HAS SOUS 19002 HAS SOUPS 18510 WITH SCORE 18711.43
AT ITER 2482 NEW BEST:: SOT 231750 SOS 201406 HAS SOPS 100571 HAS SOUS 18968 HAS SOUPS 18476 WITH SCORE 18677.406
AT ITER 2489 NEW BEST:: SOT 231757 SOS 201399 HAS SOPS 100564 HAS SOUS 18961 HAS SOUPS 18469 WITH SCORE 18670.399
AT ITER 2511 NEW BEST:: SOT 231753 SOS 201391 HAS SOPS 100554 HAS SOUS 18951 HAS SOUPS 18459 WITH SCORE 18660.391
AT ITER 2537 NEW BEST:: SOT 231727 SOS 201325 HAS SOPS 100488 HAS SOUS 18901 HAS SOUPS 18409 WITH SCORE 18610.325
AT ITER 2549 NEW BEST:: SOT 231721 SOS 201319 HAS SOPS 100482 HAS SOUS 18895 HAS SOUPS 18403 WITH SCORE 18604.319
AT ITER 2562 NEW BEST:: SOT 231896 SOS 201494 HAS SOPS 100469 HAS SOUS 18882 HAS SOUPS 18390 WITH SCORE 18591.494
AT ITER 2563 NEW BEST:: SOT 231889 SOS 201517 HAS SOPS 100483 HAS SOUS 18877 HAS SOUPS 18385 WITH SCORE 18586.517
AT ITER 2565 NEW BEST:: SOT 231889 SOS 201495 HAS SOPS 100461 HAS SOUS 18855 HAS SOUPS 18363 WITH SCORE 18564.495
AT ITER 2585 NEW BEST:: SOT 231883 SOS 201489 HAS SOPS 100455 HAS SOUS 18849 HAS SOUPS 18357 WITH SCORE 18558.489
AT ITER 2590 NEW BEST:: SOT 231870 SOS 201468 HAS SOPS 100429 HAS SOUS 18829 HAS SOUPS 18337 WITH SCORE 18538.468
AT ITER 2602 NEW BEST:: SOT 231839 SOS 201441 HAS SOPS 100391 HAS SOUS 18793 HAS SOUPS 18301 WITH SCORE 18502.441
AT ITER 2621 NEW BEST:: SOT 231792 SOS 201346 HAS SOPS 100365 HAS SOUS 18767 HAS SOUPS 18275 WITH SCORE 18476.346
AT ITER 2627 NEW BEST:: SOT 231789 SOS 201343 HAS SOPS 100359 HAS SOUS 18761 HAS SOUPS 18269 WITH SCORE 18470.343
AT ITER 2638 NEW BEST:: SOT 231841 SOS 201390 HAS SOPS 100350 HAS SOUS 18725 HAS SOUPS 18233 WITH SCORE 18434.39
AT ITER 2665 NEW BEST:: SOT 231852 SOS 201323 HAS SOPS 100314 HAS SOUS 18709 HAS SOUPS 18217 WITH SCORE 18418.323
AT ITER 2677 NEW BEST:: SOT 231848 SOS 201313 HAS SOPS 100230 HAS SOUS 18693 HAS SOUPS 18201 WITH SCORE 18402.313
AT ITER 2685 NEW BEST:: SOT 231844 SOS 201297 HAS SOPS 100222 HAS SOUS 18670 HAS SOUPS 18178 WITH SCORE 18379.297
AT ITER 2711 NEW BEST:: SOT 231822 SOS 201208 HAS SOPS 100142 HAS SOUS 18621 HAS SOUPS 18129 WITH SCORE 18330.208
AT ITER 2733 NEW BEST:: SOT 231826 SOS 195469 HAS SOPS 100146 HAS SOUS 18620 HAS SOUPS 18128 WITH SCORE 18323.469
AT ITER 2743 NEW BEST:: SOT 231820 SOS 195457 HAS SOPS 100134 HAS SOUS 18608 HAS SOUPS 18116 WITH SCORE 18311.457
AT ITER 2749 NEW BEST:: SOT 231769 SOS 195421 HAS SOPS 100098 HAS SOUS 18587 HAS SOUPS 18095 WITH SCORE 18290.421
AT ITER 2788 NEW BEST:: SOT 231867 SOS 195447 HAS SOPS 100090 HAS SOUS 18572 HAS SOUPS 18080 WITH SCORE 18275.447
AT ITER 2805 NEW BEST:: SOT 231804 SOS 195406 HAS SOPS 100025 HAS SOUS 18532 HAS SOUPS 18040 WITH SCORE 18235.406
AT ITER 2814 NEW BEST:: SOT 231810 SOS 195406 HAS SOPS 100025 HAS SOUS 18526 HAS SOUPS 18034 WITH SCORE 18229.406
AT ITER 2844 NEW BEST:: SOT 231806 SOS 195378 HAS SOPS 99993 HAS SOUS 18494 HAS SOUPS 18002 WITH SCORE 18197.378
AT ITER 2862 NEW BEST:: SOT 231804 SOS 195376 HAS SOPS 99990 HAS SOUS 18491 HAS SOUPS 17999 WITH SCORE 18194.376
AT ITER 2923 NEW BEST:: SOT 231802 SOS 195372 HAS SOPS 99986 HAS SOUS 18486 HAS SOUPS 17994 WITH SCORE 18189.372
AT ITER 2926 NEW BEST:: SOT 231473 SOS 195031 HAS SOPS 99748 HAS SOUS 18373 HAS SOUPS 17881 WITH SCORE 18076.031
AT ITER 2991 NEW BEST:: SOT 231464 SOS 195034 HAS SOPS 99742 HAS SOUS 18367 HAS SOUPS 17875 WITH SCORE 18070.034
AT ITER 3044 NEW BEST:: SOT 231442 SOS 195012 HAS SOPS 99698 HAS SOUS 18323 HAS SOUPS 17831 WITH SCORE 18026.012
AT ITER 3047 NEW BEST:: SOT 231422 SOS 194994 HAS SOPS 99680 HAS SOUS 18308 HAS SOUPS 17816 WITH SCORE 18010.994
AT ITER 3073 NEW BEST:: SOT 231409 SOS 194981 HAS SOPS 99654 HAS SOUS 18282 HAS SOUPS 17790 WITH SCORE 17984.981
AT ITER 3080 NEW BEST:: SOT 231401 SOS 194969 HAS SOPS 99638 HAS SOUS 18270 HAS SOUPS 17778 WITH SCORE 17972.969
AT ITER 3125 NEW BEST:: SOT 231082 SOS 194654 HAS SOPS 99323 HAS SOUS 18117 HAS SOUPS 17625 WITH SCORE 17819.654
AT ITER 3164 NEW BEST:: SOT 231373 SOS 194932 HAS SOPS 99559 HAS SOUS 18083 HAS SOUPS 17585 WITH SCORE 17779.932
AT ITER 3181 NEW BEST:: SOT 231349 SOS 194908 HAS SOPS 99535 HAS SOUS 18059 HAS SOUPS 17561 WITH SCORE 17755.908
AT ITER 3230 NEW BEST:: SOT 231389 SOS 194868 HAS SOPS 99535 HAS SOUS 18059 HAS SOUPS 17561 WITH SCORE 17755.868
AT ITER 3232 NEW BEST:: SOT 231370 SOS 194849 HAS SOPS 99507 HAS SOUS 18031 HAS SOUPS 17533 WITH SCORE 17727.849
AT ITER 3246 NEW BEST:: SOT 231368 SOS 194853 HAS SOPS 99503 HAS SOUS 18027 HAS SOUPS 17529 WITH SCORE 17723.853
AT ITER 3270 NEW BEST:: SOT 231110 SOS 194599 HAS SOPS 99374 HAS SOUS 18003 HAS SOUPS 17505 WITH SCORE 17699.599
AT ITER 3293 NEW BEST:: SOT 231102 SOS 194587 HAS SOPS 99358 HAS SOUS 17991 HAS SOUPS 17493 WITH SCORE 17687.587
AT ITER 3295 NEW BEST:: SOT 231098 SOS 194583 HAS SOPS 99356 HAS SOUS 17989 HAS SOUPS 17491 WITH SCORE 17685.583
AT ITER 3347 NEW BEST:: SOT 231077 SOS 194565 HAS SOPS 99314 HAS SOUS 17947 HAS SOUPS 17449 WITH SCORE 17643.565
AT ITER 3355 NEW BEST:: SOT 231065 SOS 194553 HAS SOPS 99290 HAS SOUS 17923 HAS SOUPS 17425 WITH SCORE 17619.553
AT ITER 3358 NEW BEST:: SOT 231072 SOS 194545 HAS SOPS 99271 HAS SOUS 17901 HAS SOUPS 17403 WITH SCORE 17597.545
AT ITER 3369 NEW BEST:: SOT 230980 SOS 194455 HAS SOPS 99179 HAS SOUS 17855 HAS SOUPS 17357 WITH SCORE 17551.455
AT ITER 3383 NEW BEST:: SOT 230980 SOS 194448 HAS SOPS 99172 HAS SOUS 17848 HAS SOUPS 17350 WITH SCORE 17544.448
AT ITER 3388 NEW BEST:: SOT 230980 SOS 194417 HAS SOPS 99151 HAS SOUS 17839 HAS SOUPS 17341 WITH SCORE 17535.417
AT ITER 3392 NEW BEST:: SOT 230981 SOS 194443 HAS SOPS 99070 HAS SOUS 17839 HAS SOUPS 17340 WITH SCORE 17534.443
AT ITER 3393 NEW BEST:: SOT 230953 SOS 194440 HAS SOPS 99040 HAS SOUS 17836 HAS SOUPS 17337 WITH SCORE 17531.44
AT ITER 3395 NEW BEST:: SOT 230934 SOS 194443 HAS SOPS 99028 HAS SOUS 17824 HAS SOUPS 17325 WITH SCORE 17519.443
AT ITER 3412 NEW BEST:: SOT 230931 SOS 194438 HAS SOPS 99022 HAS SOUS 17818 HAS SOUPS 17319 WITH SCORE 17513.438
AT ITER 3422 NEW BEST:: SOT 230931 SOS 194432 HAS SOPS 99019 HAS SOUS 17818 HAS SOUPS 17319 WITH SCORE 17513.432
AT ITER 3446 NEW BEST:: SOT 230928 SOS 194426 HAS SOPS 99013 HAS SOUS 17812 HAS SOUPS 17313 WITH SCORE 17507.426
AT ITER 3461 NEW BEST:: SOT 231074 SOS 194575 HAS SOPS 99034 HAS SOUS 17785 HAS SOUPS 17286 WITH SCORE 17480.575
AT ITER 3465 NEW BEST:: SOT 231072 SOS 194571 HAS SOPS 99029 HAS SOUS 17780 HAS SOUPS 17281 WITH SCORE 17475.571
AT ITER 3466 NEW BEST:: SOT 231072 SOS 194551 HAS SOPS 99019 HAS SOUS 17780 HAS SOUPS 17281 WITH SCORE 17475.551
AT ITER 3468 NEW BEST:: SOT 231072 SOS 194551 HAS SOPS 99008 HAS SOUS 17770 HAS SOUPS 17270 WITH SCORE 17464.551
AT ITER 3501 NEW BEST:: SOT 231109 SOS 194560 HAS SOPS 99009 HAS SOUS 17725 HAS SOUPS 17225 WITH SCORE 17419.56
AT ITER 3530 NEW BEST:: SOT 231105 SOS 194554 HAS SOPS 99001 HAS SOUS 17719 HAS SOUPS 17219 WITH SCORE 17413.554
AT ITER 3576 NEW BEST:: SOT 231116 SOS 194565 HAS SOPS 98963 HAS SOUS 17627 HAS SOUPS 17127 WITH SCORE 17321.565
AT ITER 3577 NEW BEST:: SOT 231111 SOS 194551 HAS SOPS 98953 HAS SOUS 17626 HAS SOUPS 17126 WITH SCORE 17320.551
AT ITER 3589 NEW BEST:: SOT 231067 SOS 194507 HAS SOPS 98865 HAS SOUS 17538 HAS SOUPS 17038 WITH SCORE 17232.507
AT ITER 3606 NEW BEST:: SOT 231061 SOS 194501 HAS SOPS 98859 HAS SOUS 17538 HAS SOUPS 17038 WITH SCORE 17232.501
AT ITER 3610 NEW BEST:: SOT 231038 SOS 194461 HAS SOPS 98813 HAS SOUS 17493 HAS SOUPS 16993 WITH SCORE 17187.461
AT ITER 3615 NEW BEST:: SOT 231031 SOS 194454 HAS SOPS 98799 HAS SOUS 17479 HAS SOUPS 16979 WITH SCORE 17173.454
AT ITER 3635 NEW BEST:: SOT 231031 SOS 194446 HAS SOPS 98799 HAS SOUS 17479 HAS SOUPS 16979 WITH SCORE 17173.446
AT ITER 3642 NEW BEST:: SOT 231031 SOS 194438 HAS SOPS 98799 HAS SOUS 17479 HAS SOUPS 16979 WITH SCORE 17173.438
AT ITER 3653 NEW BEST:: SOT 231062 SOS 194464 HAS SOPS 98777 HAS SOUS 17478 HAS SOUPS 16978 WITH SCORE 17172.464
AT ITER 3667 NEW BEST:: SOT 231056 SOS 194455 HAS SOPS 98768 HAS SOUS 17469 HAS SOUPS 16969 WITH SCORE 17163.455
AT ITER 3678 NEW BEST:: SOT 231056 SOS 194432 HAS SOPS 98745 HAS SOUS 17446 HAS SOUPS 16946 WITH SCORE 17140.432
AT ITER 3684 NEW BEST:: SOT 231052 SOS 194432 HAS SOPS 98741 HAS SOUS 17442 HAS SOUPS 16942 WITH SCORE 17136.432
AT ITER 3735 NEW BEST:: SOT 231055 SOS 194435 HAS SOPS 98705 HAS SOUS 17406 HAS SOUPS 16906 WITH SCORE 17100.435
AT ITER 3760 NEW BEST:: SOT 231028 SOS 194365 HAS SOPS 98651 HAS SOUS 17352 HAS SOUPS 16852 WITH SCORE 17046.365
AT ITER 3776 NEW BEST:: SOT 230978 SOS 194298 HAS SOPS 98551 HAS SOUS 17269 HAS SOUPS 16769 WITH SCORE 16963.298
AT ITER 3782 NEW BEST:: SOT 230974 SOS 194294 HAS SOPS 98543 HAS SOUS 17261 HAS SOUPS 16761 WITH SCORE 16955.294
AT ITER 3812 NEW BEST:: SOT 230973 SOS 195818 HAS SOPS 98459 HAS SOUS 17260 HAS SOUPS 16758 WITH SCORE 16953.818
AT ITER 3851 NEW BEST:: SOT 230967 SOS 195798 HAS SOPS 98440 HAS SOUS 17241 HAS SOUPS 16739 WITH SCORE 16934.798
AT ITER 3876 NEW BEST:: SOT 230969 SOS 195787 HAS SOPS 98425 HAS SOUS 17230 HAS SOUPS 16728 WITH SCORE 16923.787
AT ITER 3902 NEW BEST:: SOT 230956 SOS 195731 HAS SOPS 98355 HAS SOUS 17159 HAS SOUPS 16657 WITH SCORE 16852.731
AT ITER 3904 NEW BEST:: SOT 230956 SOS 195839 HAS SOPS 98354 HAS SOUS 17159 HAS SOUPS 16656 WITH SCORE 16851.839
AT ITER 3931 NEW BEST:: SOT 230984 SOS 195839 HAS SOPS 98354 HAS SOUS 17142 HAS SOUPS 16639 WITH SCORE 16834.839
AT ITER 3938 NEW BEST:: SOT 230972 SOS 195831 HAS SOPS 98330 HAS SOUS 17118 HAS SOUPS 16615 WITH SCORE 16810.831
AT ITER 3951 NEW BEST:: SOT 230968 SOS 195825 HAS SOPS 98322 HAS SOUS 17110 HAS SOUPS 16607 WITH SCORE 16802.825
AT ITER 3993 NEW BEST:: SOT 230966 SOS 195823 HAS SOPS 98319 HAS SOUS 17108 HAS SOUPS 16605 WITH SCORE 16800.823
AT ITER 4009 NEW BEST:: SOT 230964 SOS 195821 HAS SOPS 98315 HAS SOUS 17112 HAS SOUPS 16601 WITH SCORE 16796.821
AT ITER 4020 NEW BEST:: SOT 230965 SOS 195817 HAS SOPS 98311 HAS SOUS 17108 HAS SOUPS 16597 WITH SCORE 16792.817
AT ITER 4133 NEW BEST:: SOT 230951 SOS 195805 HAS SOPS 98301 HAS SOUS 17098 HAS SOUPS 16587 WITH SCORE 16782.805
AT ITER 4136 NEW BEST:: SOT 230940 SOS 195794 HAS SOPS 98288 HAS SOUS 17085 HAS SOUPS 16574 WITH SCORE 16769.794
AT ITER 4177 NEW BEST:: SOT 230943 SOS 195787 HAS SOPS 98284 HAS SOUS 17081 HAS SOUPS 16570 WITH SCORE 16765.787
AT ITER 4189 NEW BEST:: SOT 230894 SOS 195747 HAS SOPS 98246 HAS SOUS 17065 HAS SOUPS 16554 WITH SCORE 16749.747
AT ITER 4229 NEW BEST:: SOT 230887 SOS 195733 HAS SOPS 98239 HAS SOUS 17058 HAS SOUPS 16547 WITH SCORE 16742.733
AT ITER 4237 NEW BEST:: SOT 230873 SOS 195704 HAS SOPS 98195 HAS SOUS 17010 HAS SOUPS 16499 WITH SCORE 16694.704
AT ITER 4239 NEW BEST:: SOT 230863 SOS 195649 HAS SOPS 98117 HAS SOUS 16919 HAS SOUPS 16408 WITH SCORE 16603.649
AT ITER 4283 NEW BEST:: SOT 230855 SOS 195625 HAS SOPS 98101 HAS SOUS 16919 HAS SOUPS 16408 WITH SCORE 16603.625
AT ITER 4312 NEW BEST:: SOT 230846 SOS 195546 HAS SOPS 98083 HAS SOUS 16897 HAS SOUPS 16386 WITH SCORE 16581.546
AT ITER 4348 NEW BEST:: SOT 230582 SOS 195282 HAS SOPS 97819 HAS SOUS 16765 HAS SOUPS 16254 WITH SCORE 16449.282
AT ITER 4363 NEW BEST:: SOT 230581 SOS 195281 HAS SOPS 97818 HAS SOUS 16764 HAS SOUPS 16253 WITH SCORE 16448.281
AT ITER 4393 NEW BEST:: SOT 230583 SOS 195273 HAS SOPS 97812 HAS SOUS 16758 HAS SOUPS 16247 WITH SCORE 16442.273
AT ITER 4491 NEW BEST:: SOT 230579 SOS 195273 HAS SOPS 97808 HAS SOUS 16754 HAS SOUPS 16243 WITH SCORE 16438.273
AT ITER 4558 NEW BEST:: SOT 230565 SOS 195254 HAS SOPS 97780 HAS SOUS 16728 HAS SOUPS 16217 WITH SCORE 16412.254
AT ITER 4583 NEW BEST:: SOT 230566 SOS 195255 HAS SOPS 97773 HAS SOUS 16721 HAS SOUPS 16210 WITH SCORE 16405.255
AT ITER 4604 NEW BEST:: SOT 230560 SOS 195249 HAS SOPS 97767 HAS SOUS 16715 HAS SOUPS 16204 WITH SCORE 16399.249
AT ITER 4660 NEW BEST:: SOT 230559 SOS 195245 HAS SOPS 97762 HAS SOUS 16710 HAS SOUPS 16199 WITH SCORE 16394.245
AT ITER 4671 NEW BEST:: SOT 230559 SOS 195237 HAS SOPS 97756 HAS SOUS 16710 HAS SOUPS 16199 WITH SCORE 16394.237
AT ITER 4684 NEW BEST:: SOT 230551 SOS 195225 HAS SOPS 97740 HAS SOUS 16698 HAS SOUPS 16187 WITH SCORE 16382.225
AT ITER 4686 NEW BEST:: SOT 230542 SOS 195206 HAS SOPS 97722 HAS SOUS 16683 HAS SOUPS 16172 WITH SCORE 16367.206
AT ITER 4704 NEW BEST:: SOT 230542 SOS 195222 HAS SOPS 97722 HAS SOUS 16675 HAS SOUPS 16164 WITH SCORE 16359.222
AT ITER 4720 NEW BEST:: SOT 230538 SOS 195218 HAS SOPS 97714 HAS SOUS 16667 HAS SOUPS 16156 WITH SCORE 16351.218
AT ITER 4765 NEW BEST:: SOT 230502 SOS 195197 HAS SOPS 97688 HAS SOUS 16649 HAS SOUPS 16138 WITH SCORE 16333.197
AT ITER 4793 NEW BEST:: SOT 230502 SOS 195206 HAS SOPS 97688 HAS SOUS 16633 HAS SOUPS 16120 WITH SCORE 16315.206
AT ITER 4794 NEW BEST:: SOT 230497 SOS 195201 HAS SOPS 97678 HAS SOUS 16623 HAS SOUPS 16110 WITH SCORE 16305.201
AT ITER 4802 NEW BEST:: SOT 230487 SOS 195201 HAS SOPS 97668 HAS SOUS 16613 HAS SOUPS 16100 WITH SCORE 16295.201
AT ITER 4825 NEW BEST:: SOT 230486 SOS 195200 HAS SOPS 97666 HAS SOUS 16611 HAS SOUPS 16098 WITH SCORE 16293.2
AT ITER 4850 NEW BEST:: SOT 230484 SOS 195203 HAS SOPS 97662 HAS SOUS 16602 HAS SOUPS 16089 WITH SCORE 16284.203
AT ITER 4859 NEW BEST:: SOT 230478 SOS 195201 HAS SOPS 97650 HAS SOUS 16598 HAS SOUPS 16085 WITH SCORE 16280.201
AT ITER 4896 NEW BEST:: SOT 230472 SOS 195195 HAS SOPS 97645 HAS SOUS 16593 HAS SOUPS 16080 WITH SCORE 16275.195
AT ITER 4912 NEW BEST:: SOT 230464 SOS 195191 HAS SOPS 97633 HAS SOUS 16581 HAS SOUPS 16068 WITH SCORE 16263.191
AT ITER 4950 NEW BEST:: SOT 230443 SOS 195152 HAS SOPS 97618 HAS SOUS 16569 HAS SOUPS 16056 WITH SCORE 16251.152
AT ITER 4977 NEW BEST:: SOT 230442 SOS 195151 HAS SOPS 97615 HAS SOUS 16566 HAS SOUPS 16053 WITH SCORE 16248.151
AT ITER 5003 NEW BEST:: SOT 230415 SOS 195151 HAS SOPS 97588 HAS SOUS 16539 HAS SOUPS 16026 WITH SCORE 16221.151
AT ITER 5017 NEW BEST:: SOT 230423 SOS 195107 HAS SOPS 97565 HAS SOUS 16529 HAS SOUPS 16016 WITH SCORE 16211.107
AT ITER 5024 NEW BEST:: SOT 230397 SOS 195068 HAS SOPS 97513 HAS SOUS 16490 HAS SOUPS 15977 WITH SCORE 16172.068
AT ITER 5027 NEW BEST:: SOT 230397 SOS 195066 HAS SOPS 97513 HAS SOUS 16490 HAS SOUPS 15977 WITH SCORE 16172.066
AT ITER 5032 NEW BEST:: SOT 230389 SOS 195058 HAS SOPS 97505 HAS SOUS 16482 HAS SOUPS 15969 WITH SCORE 16164.058
AT ITER 5095 NEW BEST:: SOT 230372 SOS 195032 HAS SOPS 97471 HAS SOUS 16466 HAS SOUPS 15953 WITH SCORE 16148.032
AT ITER 5187 NEW BEST:: SOT 230338 SOS 195020 HAS SOPS 97425 HAS SOUS 16434 HAS SOUPS 15921 WITH SCORE 16116.02
AT ITER 5196 NEW BEST:: SOT 230335 SOS 195017 HAS SOPS 97419 HAS SOUS 16428 HAS SOUPS 15915 WITH SCORE 16110.017
AT ITER 5231 NEW BEST:: SOT 230334 SOS 195014 HAS SOPS 97416 HAS SOUS 16426 HAS SOUPS 15913 WITH SCORE 16108.014
AT ITER 5237 NEW BEST:: SOT 230328 SOS 195008 HAS SOPS 97404 HAS SOUS 16414 HAS SOUPS 15901 WITH SCORE 16096.008
AT ITER 5247 NEW BEST:: SOT 230325 SOS 195016 HAS SOPS 97398 HAS SOUS 16404 HAS SOUPS 15891 WITH SCORE 16086.016
AT ITER 5248 NEW BEST:: SOT 230034 SOS 194721 HAS SOPS 97139 HAS SOUS 16360 HAS SOUPS 15847 WITH SCORE 16041.721
AT ITER 5249 NEW BEST:: SOT 230034 SOS 194712 HAS SOPS 97139 HAS SOUS 16360 HAS SOUPS 15847 WITH SCORE 16041.712
AT ITER 5305 NEW BEST:: SOT 230030 SOS 194705 HAS SOPS 97131 HAS SOUS 16355 HAS SOUPS 15842 WITH SCORE 16036.705
AT ITER 5309 NEW BEST:: SOT 230030 SOS 194698 HAS SOPS 97131 HAS SOUS 16355 HAS SOUPS 15842 WITH SCORE 16036.698
AT ITER 5322 NEW BEST:: SOT 230018 SOS 194701 HAS SOPS 97125 HAS SOUS 16351 HAS SOUPS 15838 WITH SCORE 16032.701
AT ITER 5356 NEW BEST:: SOT 230013 SOS 194696 HAS SOPS 97120 HAS SOUS 16346 HAS SOUPS 15833 WITH SCORE 16027.696
AT ITER 5367 NEW BEST:: SOT 230013 SOS 194685 HAS SOPS 97120 HAS SOUS 16346 HAS SOUPS 15833 WITH SCORE 16027.685
AT ITER 5376 NEW BEST:: SOT 229984 SOS 194656 HAS SOPS 97091 HAS SOUS 16340 HAS SOUPS 15827 WITH SCORE 16021.656
AT ITER 5423 NEW BEST:: SOT 229985 SOS 194656 HAS SOPS 97091 HAS SOUS 16339 HAS SOUPS 15826 WITH SCORE 16020.656
AT ITER 5459 NEW BEST:: SOT 229965 SOS 194636 HAS SOPS 97051 HAS SOUS 16299 HAS SOUPS 15786 WITH SCORE 15980.636
AT ITER 5549 NEW BEST:: SOT 229959 SOS 194616 HAS SOPS 97030 HAS SOUS 16283 HAS SOUPS 15770 WITH SCORE 15964.616
AT ITER 5613 NEW BEST:: SOT 229933 SOS 194610 HAS SOPS 96978 HAS SOUS 16225 HAS SOUPS 15712 WITH SCORE 15906.61
AT ITER 5660 NEW BEST:: SOT 229937 SOS 194599 HAS SOPS 96967 HAS SOUS 16218 HAS SOUPS 15705 WITH SCORE 15899.599
AT ITER 5682 NEW BEST:: SOT 229937 SOS 194598 HAS SOPS 96967 HAS SOUS 16218 HAS SOUPS 15705 WITH SCORE 15899.598
AT ITER 5701 NEW BEST:: SOT 229933 SOS 194594 HAS SOPS 96959 HAS SOUS 16210 HAS SOUPS 15697 WITH SCORE 15891.594
AT ITER 5709 NEW BEST:: SOT 229954 SOS 194599 HAS SOPS 96981 HAS SOUS 16209 HAS SOUPS 15696 WITH SCORE 15890.599
AT ITER 5724 NEW BEST:: SOT 229922 SOS 194594 HAS SOPS 96965 HAS SOUS 16203 HAS SOUPS 15690 WITH SCORE 15884.594
AT ITER 5761 NEW BEST:: SOT 229920 SOS 194589 HAS SOPS 96960 HAS SOUS 16196 HAS SOUPS 15683 WITH SCORE 15877.589
AT ITER 5884 NEW BEST:: SOT 229920 SOS 194598 HAS SOPS 96960 HAS SOUS 16187 HAS SOUPS 15674 WITH SCORE 15868.598
AT ITER 5922 NEW BEST:: SOT 229406 SOS 194101 HAS SOPS 96483 HAS SOUS 16076 HAS SOUPS 15563 WITH SCORE 15757.101
AT ITER 5969 NEW BEST:: SOT 229028 SOS 193723 HAS SOPS 96121 HAS SOUS 16009 HAS SOUPS 15496 WITH SCORE 15689.723
AT ITER 5988 NEW BEST:: SOT 229028 SOS 193717 HAS SOPS 96115 HAS SOUS 16000 HAS SOUPS 15487 WITH SCORE 15680.717
AT ITER 5993 NEW BEST:: SOT 228992 SOS 193681 HAS SOPS 96074 HAS SOUS 15969 HAS SOUPS 15456 WITH SCORE 15649.681
AT ITER 5999 NEW BEST:: SOT 228992 SOS 193674 HAS SOPS 96067 HAS SOUS 15962 HAS SOUPS 15449 WITH SCORE 15642.674
AT ITER 6010 NEW BEST:: SOT 228984 SOS 193666 HAS SOPS 96051 HAS SOUS 15946 HAS SOUPS 15433 WITH SCORE 15626.666
AT ITER 6019 NEW BEST:: SOT 228984 SOS 193672 HAS SOPS 96051 HAS SOUS 15929 HAS SOUPS 15416 WITH SCORE 15609.672
AT ITER 6021 NEW BEST:: SOT 228964 SOS 193670 HAS SOPS 96041 HAS SOUS 15926 HAS SOUPS 15413 WITH SCORE 15606.67
AT ITER 6035 NEW BEST:: SOT 228964 SOS 193642 HAS SOPS 96041 HAS SOUS 15926 HAS SOUPS 15413 WITH SCORE 15606.642
AT ITER 6042 NEW BEST:: SOT 228955 SOS 193633 HAS SOPS 96026 HAS SOUS 15916 HAS SOUPS 15403 WITH SCORE 15596.633
AT ITER 6070 NEW BEST:: SOT 228948 SOS 193605 HAS SOPS 95998 HAS SOUS 15895 HAS SOUPS 15382 WITH SCORE 15575.605
AT ITER 6094 NEW BEST:: SOT 228948 SOS 193605 HAS SOPS 95988 HAS SOUS 15885 HAS SOUPS 15372 WITH SCORE 15565.605
AT ITER 6111 NEW BEST:: SOT 228944 SOS 193597 HAS SOPS 95980 HAS SOUS 15877 HAS SOUPS 15364 WITH SCORE 15557.597
AT ITER 6132 NEW BEST:: SOT 228941 SOS 193588 HAS SOPS 95971 HAS SOUS 15871 HAS SOUPS 15358 WITH SCORE 15551.588
AT ITER 6135 NEW BEST:: SOT 228933 SOS 193564 HAS SOPS 95945 HAS SOUS 15851 HAS SOUPS 15338 WITH SCORE 15531.564
AT ITER 6170 NEW BEST:: SOT 228929 SOS 193552 HAS SOPS 95937 HAS SOUS 15843 HAS SOUPS 15330 WITH SCORE 15523.552
AT ITER 6175 NEW BEST:: SOT 228927 SOS 193544 HAS SOPS 95931 HAS SOUS 15839 HAS SOUPS 15326 WITH SCORE 15519.544
AT ITER 6221 NEW BEST:: SOT 228925 SOS 193542 HAS SOPS 95927 HAS SOUS 15835 HAS SOUPS 15322 WITH SCORE 15515.542
AT ITER 6226 NEW BEST:: SOT 228900 SOS 193491 HAS SOPS 95877 HAS SOUS 15801 HAS SOUPS 15288 WITH SCORE 15481.491
AT ITER 6242 NEW BEST:: SOT 228900 SOS 193489 HAS SOPS 95839 HAS SOUS 15796 HAS SOUPS 15283 WITH SCORE 15476.489
AT ITER 6253 NEW BEST:: SOT 228900 SOS 193489 HAS SOPS 95836 HAS SOUS 15793 HAS SOUPS 15280 WITH SCORE 15473.489
AT ITER 6276 NEW BEST:: SOT 228874 SOS 193463 HAS SOPS 95784 HAS SOUS 15741 HAS SOUPS 15228 WITH SCORE 15421.463
AT ITER 6324 NEW BEST:: SOT 228874 SOS 193463 HAS SOPS 95784 HAS SOUS 15729 HAS SOUPS 15216 WITH SCORE 15409.463
AT ITER 6330 NEW BEST:: SOT 228874 SOS 193454 HAS SOPS 95784 HAS SOUS 15729 HAS SOUPS 15216 WITH SCORE 15409.454
AT ITER 6337 NEW BEST:: SOT 229050 SOS 193644 HAS SOPS 95716 HAS SOUS 15719 HAS SOUPS 15206 WITH SCORE 15399.644
AT ITER 6380 NEW BEST:: SOT 228987 SOS 193588 HAS SOPS 95646 HAS SOUS 15684 HAS SOUPS 15171 WITH SCORE 15364.588
AT ITER 6483 NEW BEST:: SOT 228989 SOS 193591 HAS SOPS 95644 HAS SOUS 15681 HAS SOUPS 15168 WITH SCORE 15361.591
AT ITER 6491 NEW BEST:: SOT 228988 SOS 193591 HAS SOPS 95643 HAS SOUS 15680 HAS SOUPS 15167 WITH SCORE 15360.591
AT ITER 6502 NEW BEST:: SOT 228945 SOS 193553 HAS SOPS 95893 HAS SOUS 15674 HAS SOUPS 15161 WITH SCORE 15354.553
AT ITER 6507 NEW BEST:: SOT 228928 SOS 193536 HAS SOPS 95859 HAS SOUS 15657 HAS SOUPS 15144 WITH SCORE 15337.536
AT ITER 6532 NEW BEST:: SOT 228928 SOS 193535 HAS SOPS 95858 HAS SOUS 15656 HAS SOUPS 15143 WITH SCORE 15336.535
AT ITER 6639 NEW BEST:: SOT 228930 SOS 193534 HAS SOPS 95858 HAS SOUS 15656 HAS SOUPS 15143 WITH SCORE 15336.534
AT ITER 6653 NEW BEST:: SOT 228928 SOS 193531 HAS SOPS 95854 HAS SOUS 15652 HAS SOUPS 15139 WITH SCORE 15332.531
AT ITER 6658 NEW BEST:: SOT 228924 SOS 193527 HAS SOPS 95846 HAS SOUS 15644 HAS SOUPS 15131 WITH SCORE 15324.527
AT ITER 6722 NEW BEST:: SOT 228804 SOS 193407 HAS SOPS 95724 HAS SOUS 15580 HAS SOUPS 15067 WITH SCORE 15260.407
AT ITER 6784 NEW BEST:: SOT 228796 SOS 193388 HAS SOPS 95708 HAS SOUS 15564 HAS SOUPS 15051 WITH SCORE 15244.388
AT ITER 6825 NEW BEST:: SOT 228766 SOS 193343 HAS SOPS 95648 HAS SOUS 15534 HAS SOUPS 15021 WITH SCORE 15214.343
AT ITER 6832 NEW BEST:: SOT 228710 SOS 193315 HAS SOPS 95592 HAS SOUS 15488 HAS SOUPS 14975 WITH SCORE 15168.315
AT ITER 6847 NEW BEST:: SOT 228710 SOS 193305 HAS SOPS 95582 HAS SOUS 15478 HAS SOUPS 14965 WITH SCORE 15158.305
AT ITER 6867 NEW BEST:: SOT 228704 SOS 193296 HAS SOPS 95570 HAS SOUS 15465 HAS SOUPS 14952 WITH SCORE 15145.296
AT ITER 6896 NEW BEST:: SOT 228699 SOS 193288 HAS SOPS 95560 HAS SOUS 15454 HAS SOUPS 14941 WITH SCORE 15134.288
AT ITER 6898 NEW BEST:: SOT 228697 SOS 193286 HAS SOPS 95558 HAS SOUS 15454 HAS SOUPS 14941 WITH SCORE 15134.286
AT ITER 6936 NEW BEST:: SOT 228692 SOS 193278 HAS SOPS 95543 HAS SOUS 15439 HAS SOUPS 14926 WITH SCORE 15119.278
AT ITER 6937 NEW BEST:: SOT 228690 SOS 193269 HAS SOPS 95539 HAS SOUS 15435 HAS SOUPS 14922 WITH SCORE 15115.269
AT ITER 6990 NEW BEST:: SOT 228684 SOS 193260 HAS SOPS 95527 HAS SOUS 15420 HAS SOUPS 14906 WITH SCORE 15099.26
AT ITER 7013 NEW BEST:: SOT 228677 SOS 193239 HAS SOPS 95513 HAS SOUS 15420 HAS SOUPS 14906 WITH SCORE 15099.239
AT ITER 7025 NEW BEST:: SOT 228678 SOS 193238 HAS SOPS 95514 HAS SOUS 15416 HAS SOUPS 14902 WITH SCORE 15095.238
AT ITER 7028 NEW BEST:: SOT 228676 SOS 193237 HAS SOPS 95511 HAS SOUS 15413 HAS SOUPS 14899 WITH SCORE 15092.237
AT ITER 7097 NEW BEST:: SOT 228669 SOS 193223 HAS SOPS 95497 HAS SOUS 15406 HAS SOUPS 14892 WITH SCORE 15085.223
AT ITER 7137 NEW BEST:: SOT 228670 SOS 193205 HAS SOPS 95469 HAS SOUS 15387 HAS SOUPS 14873 WITH SCORE 15066.205
AT ITER 7141 NEW BEST:: SOT 228667 SOS 193202 HAS SOPS 95463 HAS SOUS 15381 HAS SOUPS 14867 WITH SCORE 15060.202
AT ITER 7240 NEW BEST:: SOT 228668 SOS 193193 HAS SOPS 95459 HAS SOUS 15381 HAS SOUPS 14867 WITH SCORE 15060.193
AT ITER 7273 NEW BEST:: SOT 228668 SOS 193192 HAS SOPS 95458 HAS SOUS 15380 HAS SOUPS 14866 WITH SCORE 15059.192
AT ITER 7301 NEW BEST:: SOT 228663 SOS 193187 HAS SOPS 95448 HAS SOUS 15370 HAS SOUPS 14856 WITH SCORE 15049.187
AT ITER 7355 NEW BEST:: SOT 228660 SOS 193208 HAS SOPS 95442 HAS SOUS 15368 HAS SOUPS 14854 WITH SCORE 15047.208
AT ITER 7376 NEW BEST:: SOT 228658 SOS 193206 HAS SOPS 95439 HAS SOUS 15366 HAS SOUPS 14852 WITH SCORE 15045.206
AT ITER 7382 NEW BEST:: SOT 228656 SOS 193204 HAS SOPS 95436 HAS SOUS 15363 HAS SOUPS 14849 WITH SCORE 15042.204
AT ITER 7415 NEW BEST:: SOT 228659 SOS 193210 HAS SOPS 95442 HAS SOUS 15356 HAS SOUPS 14842 WITH SCORE 15035.21
AT ITER 7447 NEW BEST:: SOT 228649 SOS 193221 HAS SOPS 95422 HAS SOUS 15320 HAS SOUPS 14806 WITH SCORE 14999.221
AT ITER 7510 NEW BEST:: SOT 228696 SOS 193268 HAS SOPS 95202 HAS SOUS 15315 HAS SOUPS 14801 WITH SCORE 14994.268
AT ITER 7527 NEW BEST:: SOT 228705 SOS 193259 HAS SOPS 95198 HAS SOUS 15311 HAS SOUPS 14797 WITH SCORE 14990.259
AT ITER 7582 NEW BEST:: SOT 228701 SOS 193254 HAS SOPS 95190 HAS SOUS 15303 HAS SOUPS 14789 WITH SCORE 14982.254
AT ITER 7608 NEW BEST:: SOT 228696 SOS 193252 HAS SOPS 95186 HAS SOUS 15302 HAS SOUPS 14788 WITH SCORE 14981.252
AT ITER 7623 NEW BEST:: SOT 228676 SOS 193242 HAS SOPS 95166 HAS SOUS 15292 HAS SOUPS 14778 WITH SCORE 14971.242
AT ITER 7640 NEW BEST:: SOT 228673 SOS 193239 HAS SOPS 95161 HAS SOUS 15287 HAS SOUPS 14773 WITH SCORE 14966.239
AT ITER 7684 NEW BEST:: SOT 228672 SOS 193206 HAS SOPS 95125 HAS SOUS 15279 HAS SOUPS 14765 WITH SCORE 14958.206
AT ITER 7739 NEW BEST:: SOT 228674 SOS 193202 HAS SOPS 95120 HAS SOUS 15274 HAS SOUPS 14760 WITH SCORE 14953.202
AT ITER 7826 NEW BEST:: SOT 228673 SOS 193223 HAS SOPS 95118 HAS SOUS 15253 HAS SOUPS 14739 WITH SCORE 14932.223
AT ITER 7838 NEW BEST:: SOT 228673 SOS 193224 HAS SOPS 95041 HAS SOUS 15247 HAS SOUPS 14733 WITH SCORE 14926.224
AT ITER 7847 NEW BEST:: SOT 228666 SOS 193210 HAS SOPS 95027 HAS SOUS 15236 HAS SOUPS 14722 WITH SCORE 14915.21
AT ITER 7875 NEW BEST:: SOT 228340 SOS 192890 HAS SOPS 94708 HAS SOUS 15081 HAS SOUPS 14567 WITH SCORE 14759.89
AT ITER 7903 NEW BEST:: SOT 228341 SOS 192887 HAS SOPS 94705 HAS SOUS 15078 HAS SOUPS 14564 WITH SCORE 14756.887
AT ITER 7919 NEW BEST:: SOT 228339 SOS 192884 HAS SOPS 94701 HAS SOUS 15074 HAS SOUPS 14560 WITH SCORE 14752.884
AT ITER 8009 NEW BEST:: SOT 228329 SOS 192851 HAS SOPS 94681 HAS SOUS 15066 HAS SOUPS 14552 WITH SCORE 14744.851
AT ITER 8022 NEW BEST:: SOT 228556 SOS 193075 HAS SOPS 94883 HAS SOUS 15051 HAS SOUPS 14537 WITH SCORE 14730.075
AT ITER 8072 NEW BEST:: SOT 228541 SOS 193046 HAS SOPS 94853 HAS SOUS 15021 HAS SOUPS 14507 WITH SCORE 14700.046
AT ITER 8073 NEW BEST:: SOT 228541 SOS 193099 HAS SOPS 94853 HAS SOUS 15019 HAS SOUPS 14505 WITH SCORE 14698.099
AT ITER 8099 NEW BEST:: SOT 228540 SOS 193098 HAS SOPS 94850 HAS SOUS 15016 HAS SOUPS 14502 WITH SCORE 14695.098
AT ITER 8147 NEW BEST:: SOT 228536 SOS 193094 HAS SOPS 94846 HAS SOUS 15012 HAS SOUPS 14498 WITH SCORE 14691.094
AT ITER 8235 NEW BEST:: SOT 228518 SOS 193056 HAS SOPS 94810 HAS SOUS 14996 HAS SOUPS 14482 WITH SCORE 14675.056
AT ITER 8285 NEW BEST:: SOT 228505 SOS 193061 HAS SOPS 94802 HAS SOUS 14988 HAS SOUPS 14474 WITH SCORE 14667.061
AT ITER 8310 NEW BEST:: SOT 228505 SOS 193042 HAS SOPS 94783 HAS SOUS 14979 HAS SOUPS 14465 WITH SCORE 14658.042
AT ITER 8339 NEW BEST:: SOT 228454 SOS 192992 HAS SOPS 94792 HAS SOUS 14972 HAS SOUPS 14458 WITH SCORE 14650.992
AT ITER 8344 NEW BEST:: SOT 228449 SOS 192987 HAS SOPS 94782 HAS SOUS 14962 HAS SOUPS 14448 WITH SCORE 14640.987
AT ITER 8384 NEW BEST:: SOT 228447 SOS 192983 HAS SOPS 94776 HAS SOUS 14956 HAS SOUPS 14442 WITH SCORE 14634.983
AT ITER 8402 NEW BEST:: SOT 228427 SOS 192961 HAS SOPS 94752 HAS SOUS 14940 HAS SOUPS 14426 WITH SCORE 14618.961
AT ITER 8460 NEW BEST:: SOT 228425 SOS 192941 HAS SOPS 94748 HAS SOUS 14937 HAS SOUPS 14423 WITH SCORE 14615.941
AT ITER 8462 NEW BEST:: SOT 228421 SOS 192941 HAS SOPS 94740 HAS SOUS 14925 HAS SOUPS 14411 WITH SCORE 14603.941
AT ITER 8510 NEW BEST:: SOT 228405 SOS 192925 HAS SOPS 94716 HAS SOUS 14909 HAS SOUPS 14395 WITH SCORE 14587.925
AT ITER 8514 NEW BEST:: SOT 228399 SOS 192913 HAS SOPS 94693 HAS SOUS 14887 HAS SOUPS 14373 WITH SCORE 14565.913
AT ITER 8530 NEW BEST:: SOT 228399 SOS 192893 HAS SOPS 94673 HAS SOUS 14867 HAS SOUPS 14353 WITH SCORE 14545.893
AT ITER 8575 NEW BEST:: SOT 228398 SOS 192890 HAS SOPS 94670 HAS SOUS 14865 HAS SOUPS 14351 WITH SCORE 14543.89
AT ITER 8622 NEW BEST:: SOT 228396 SOS 192889 HAS SOPS 94668 HAS SOUS 14863 HAS SOUPS 14349 WITH SCORE 14541.889
AT ITER 8656 NEW BEST:: SOT 228382 SOS 192889 HAS SOPS 94654 HAS SOUS 14854 HAS SOUPS 14340 WITH SCORE 14532.889
AT ITER 8666 NEW BEST:: SOT 228370 SOS 192881 HAS SOPS 94638 HAS SOUS 14842 HAS SOUPS 14328 WITH SCORE 14520.881
AT ITER 8732 NEW BEST:: SOT 228370 SOS 193098 HAS SOPS 94635 HAS SOUS 14841 HAS SOUPS 14325 WITH SCORE 14518.098
AT ITER 8741 NEW BEST:: SOT 228368 SOS 193096 HAS SOPS 94631 HAS SOUS 14837 HAS SOUPS 14321 WITH SCORE 14514.096
AT ITER 8806 NEW BEST:: SOT 228367 SOS 193093 HAS SOPS 94628 HAS SOUS 14837 HAS SOUPS 14321 WITH SCORE 14514.093
AT ITER 8849 NEW BEST:: SOT 228365 SOS 193080 HAS SOPS 94613 HAS SOUS 14833 HAS SOUPS 14317 WITH SCORE 14510.08
AT ITER 9065 NEW BEST:: SOT 228362 SOS 193105 HAS SOPS 94621 HAS SOUS 14827 HAS SOUPS 14311 WITH SCORE 14504.105
AT ITER 9090 NEW BEST:: SOT 228353 SOS 193078 HAS SOPS 94594 HAS SOUS 14800 HAS SOUPS 14284 WITH SCORE 14477.078
AT ITER 9112 NEW BEST:: SOT 228363 SOS 193077 HAS SOPS 94614 HAS SOUS 14797 HAS SOUPS 14281 WITH SCORE 14474.077
AT ITER 9193 NEW BEST:: SOT 228362 SOS 193077 HAS SOPS 94613 HAS SOUS 14796 HAS SOUPS 14280 WITH SCORE 14473.077
AT ITER 9288 NEW BEST:: SOT 228351 SOS 193071 HAS SOPS 94612 HAS SOUS 14790 HAS SOUPS 14274 WITH SCORE 14467.071
AT ITER 9303 NEW BEST:: SOT 228344 SOS 193060 HAS SOPS 94602 HAS SOUS 14780 HAS SOUPS 14264 WITH SCORE 14457.06
AT ITER 9328 NEW BEST:: SOT 228334 SOS 193050 HAS SOPS 94582 HAS SOUS 14760 HAS SOUPS 14244 WITH SCORE 14437.05
AT ITER 9362 NEW BEST:: SOT 228334 SOS 193048 HAS SOPS 94580 HAS SOUS 14758 HAS SOUPS 14242 WITH SCORE 14435.048
AT ITER 9384 NEW BEST:: SOT 228334 SOS 193046 HAS SOPS 94578 HAS SOUS 14756 HAS SOUPS 14240 WITH SCORE 14433.046
AT ITER 9508 NEW BEST:: SOT 228334 SOS 193046 HAS SOPS 94574 HAS SOUS 14752 HAS SOUPS 14236 WITH SCORE 14429.046
AT ITER 9565 NEW BEST:: SOT 228334 SOS 193049 HAS SOPS 94574 HAS SOUS 14749 HAS SOUPS 14233 WITH SCORE 14426.049
AT ITER 9587 NEW BEST:: SOT 228310 SOS 192998 HAS SOPS 94526 HAS SOUS 14701 HAS SOUPS 14185 WITH SCORE 14377.998
AT ITER 9599 NEW BEST:: SOT 228310 SOS 192992 HAS SOPS 94520 HAS SOUS 14695 HAS SOUPS 14179 WITH SCORE 14371.992
AT ITER 9619 NEW BEST:: SOT 228308 SOS 192990 HAS SOPS 94517 HAS SOUS 14692 HAS SOUPS 14176 WITH SCORE 14368.99
AT ITER 9629 NEW BEST:: SOT 228300 SOS 192982 HAS SOPS 94501 HAS SOUS 14676 HAS SOUPS 14160 WITH SCORE 14352.982
AT ITER 9719 NEW BEST:: SOT 228299 SOS 192981 HAS SOPS 94499 HAS SOUS 14674 HAS SOUPS 14158 WITH SCORE 14350.981
AT ITER 9736 NEW BEST:: SOT 228298 SOS 192976 HAS SOPS 94495 HAS SOUS 14672 HAS SOUPS 14156 WITH SCORE 14348.976
AT ITER 9769 NEW BEST:: SOT 228297 SOS 192974 HAS SOPS 94493 HAS SOUS 14671 HAS SOUPS 14155 WITH SCORE 14347.974
AT ITER 9771 NEW BEST:: SOT 228297 SOS 192956 HAS SOPS 94475 HAS SOUS 14671 HAS SOUPS 14155 WITH SCORE 14347.956
AT ITER 9782 NEW BEST:: SOT 228286 SOS 192932 HAS SOPS 94453 HAS SOUS 14649 HAS SOUPS 14133 WITH SCORE 14325.932
AT ITER 9806 NEW BEST:: SOT 228285 SOS 192931 HAS SOPS 94451 HAS SOUS 14647 HAS SOUPS 14131 WITH SCORE 14323.931
AT ITER 9857 NEW BEST:: SOT 228282 SOS 192928 HAS SOPS 94448 HAS SOUS 14645 HAS SOUPS 14129 WITH SCORE 14321.928
AT ITER 9863 NEW BEST:: SOT 228281 SOS 192947 HAS SOPS 94456 HAS SOUS 14643 HAS SOUPS 14127 WITH SCORE 14319.947
AT ITER 9911 NEW BEST:: SOT 228277 SOS 192940 HAS SOPS 94448 HAS SOUS 14638 HAS SOUPS 14122 WITH SCORE 14314.94
AT ITER 9924 NEW BEST:: SOT 228266 SOS 192719 HAS SOPS 94426 HAS SOUS 14616 HAS SOUPS 14100 WITH SCORE 14292.719
AT ITER 9927 NEW BEST:: SOT 228264 SOS 192717 HAS SOPS 94422 HAS SOUS 14614 HAS SOUPS 14098 WITH SCORE 14290.717

BK_STOP 1589459095738

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 475 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

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

# 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 FlexibleBarrier-PT-22a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972600408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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