Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 296K
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 8 15:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 6 03:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Apr 6 03:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 133K 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 1589641494505

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

Filename model.pnml
Petri model created: 370 places, 450 transitions, 1773 arcs.
AT ITER 0 NEW BEST:: SOT 139116 SOS 117861 HAS SOPS 117852 HAS SOUS 76742 HAS SOUPS 76733 WITH SCORE 76850.861
AT ITER 1 NEW BEST:: SOT 139116 SOS 117807 HAS SOPS 117798 HAS SOUS 76742 HAS SOUPS 76733 WITH SCORE 76850.807
AT ITER 3 NEW BEST:: SOT 138996 SOS 117717 HAS SOPS 117708 HAS SOUS 76652 HAS SOUPS 76643 WITH SCORE 76760.717
AT ITER 4 NEW BEST:: SOT 138587 SOS 117373 HAS SOPS 117364 HAS SOUS 76413 HAS SOUPS 76404 WITH SCORE 76521.373
AT ITER 7 NEW BEST:: SOT 138513 SOS 117299 HAS SOPS 117290 HAS SOUS 76339 HAS SOUPS 76330 WITH SCORE 76447.299
AT ITER 14 NEW BEST:: SOT 137661 SOS 116547 HAS SOPS 116538 HAS SOUS 75468 HAS SOUPS 75459 WITH SCORE 75575.547
AT ITER 21 NEW BEST:: SOT 137530 SOS 116416 HAS SOPS 116407 HAS SOUS 75337 HAS SOUPS 75328 WITH SCORE 75444.416
AT ITER 23 NEW BEST:: SOT 137237 SOS 116181 HAS SOPS 116172 HAS SOUS 75167 HAS SOUPS 75158 WITH SCORE 75274.181
AT ITER 28 NEW BEST:: SOT 136802 SOS 116032 HAS SOPS 116023 HAS SOUS 75018 HAS SOUPS 75009 WITH SCORE 75125.032
AT ITER 29 NEW BEST:: SOT 136540 SOS 115770 HAS SOPS 115761 HAS SOUS 74807 HAS SOUPS 74798 WITH SCORE 74913.77
AT ITER 30 NEW BEST:: SOT 136540 SOS 115755 HAS SOPS 115746 HAS SOUS 74807 HAS SOUPS 74798 WITH SCORE 74913.755
AT ITER 31 NEW BEST:: SOT 135917 SOS 115289 HAS SOPS 115280 HAS SOUS 74341 HAS SOUPS 74332 WITH SCORE 74447.289
AT ITER 32 NEW BEST:: SOT 134979 SOS 113291 HAS SOPS 113282 HAS SOUS 73302 HAS SOUPS 73293 WITH SCORE 73406.291
AT ITER 33 NEW BEST:: SOT 135001 SOS 113269 HAS SOPS 113260 HAS SOUS 73280 HAS SOUPS 73271 WITH SCORE 73384.269
AT ITER 35 NEW BEST:: SOT 135001 SOS 113269 HAS SOPS 113260 HAS SOUS 73278 HAS SOUPS 73269 WITH SCORE 73382.269
AT ITER 38 NEW BEST:: SOT 135001 SOS 113078 HAS SOPS 113069 HAS SOUS 73255 HAS SOUPS 73246 WITH SCORE 73359.078
AT ITER 39 NEW BEST:: SOT 134655 SOS 112778 HAS SOPS 112769 HAS SOUS 73001 HAS SOUPS 72992 WITH SCORE 73104.778
AT ITER 40 NEW BEST:: SOT 134354 SOS 112477 HAS SOPS 112468 HAS SOUS 72755 HAS SOUPS 72746 WITH SCORE 72858.477
AT ITER 48 NEW BEST:: SOT 134320 SOS 112445 HAS SOPS 112436 HAS SOUS 72721 HAS SOUPS 72712 WITH SCORE 72824.445
AT ITER 50 NEW BEST:: SOT 134196 SOS 112321 HAS SOPS 112312 HAS SOUS 72523 HAS SOUPS 72514 WITH SCORE 72626.321
AT ITER 54 NEW BEST:: SOT 134196 SOS 111759 HAS SOPS 111750 HAS SOUS 72481 HAS SOUPS 72472 WITH SCORE 72583.759
AT ITER 55 NEW BEST:: SOT 132968 SOS 110531 HAS SOPS 110522 HAS SOUS 71379 HAS SOUPS 71370 WITH SCORE 71480.531
AT ITER 59 NEW BEST:: SOT 133028 SOS 110607 HAS SOPS 110598 HAS SOUS 71357 HAS SOUPS 71348 WITH SCORE 71458.607
AT ITER 61 NEW BEST:: SOT 133002 SOS 110581 HAS SOPS 110572 HAS SOUS 71329 HAS SOUPS 71320 WITH SCORE 71430.581
AT ITER 65 NEW BEST:: SOT 131813 SOS 109390 HAS SOPS 109381 HAS SOUS 70454 HAS SOUPS 70445 WITH SCORE 70554.39
AT ITER 67 NEW BEST:: SOT 131098 SOS 109152 HAS SOPS 109143 HAS SOUS 69927 HAS SOUPS 69918 WITH SCORE 70027.152
AT ITER 70 NEW BEST:: SOT 130923 SOS 108977 HAS SOPS 108968 HAS SOUS 69782 HAS SOUPS 69773 WITH SCORE 69881.977
AT ITER 71 NEW BEST:: SOT 130784 SOS 109000 HAS SOPS 108991 HAS SOUS 69497 HAS SOUPS 69488 WITH SCORE 69597.0
AT ITER 74 NEW BEST:: SOT 130743 SOS 108711 HAS SOPS 108702 HAS SOUS 69427 HAS SOUPS 69418 WITH SCORE 69526.711
AT ITER 75 NEW BEST:: SOT 130654 SOS 108382 HAS SOPS 108373 HAS SOUS 69396 HAS SOUPS 69387 WITH SCORE 69495.382
AT ITER 78 NEW BEST:: SOT 130654 SOS 108028 HAS SOPS 108019 HAS SOUS 69390 HAS SOUPS 69381 WITH SCORE 69489.028
AT ITER 82 NEW BEST:: SOT 129983 SOS 107410 HAS SOPS 107401 HAS SOUS 68829 HAS SOUPS 68820 WITH SCORE 68927.41
AT ITER 88 NEW BEST:: SOT 129983 SOS 107242 HAS SOPS 107233 HAS SOUS 68801 HAS SOUPS 68792 WITH SCORE 68899.242
AT ITER 92 NEW BEST:: SOT 129607 SOS 105711 HAS SOPS 105702 HAS SOUS 68370 HAS SOUPS 68361 WITH SCORE 68466.711
AT ITER 93 NEW BEST:: SOT 129227 SOS 105331 HAS SOPS 105322 HAS SOUS 68028 HAS SOUPS 68019 WITH SCORE 68124.331
AT ITER 96 NEW BEST:: SOT 128350 SOS 104390 HAS SOPS 104381 HAS SOUS 67039 HAS SOUPS 67030 WITH SCORE 67134.39
AT ITER 98 NEW BEST:: SOT 128217 SOS 104257 HAS SOPS 104248 HAS SOUS 66937 HAS SOUPS 66928 WITH SCORE 67032.257
AT ITER 99 NEW BEST:: SOT 128217 SOS 104256 HAS SOPS 104247 HAS SOUS 66936 HAS SOUPS 66927 WITH SCORE 67031.256
AT ITER 106 NEW BEST:: SOT 128217 SOS 104240 HAS SOPS 104231 HAS SOUS 66936 HAS SOUPS 66927 WITH SCORE 67031.24
AT ITER 108 NEW BEST:: SOT 127731 SOS 103754 HAS SOPS 103745 HAS SOUS 66635 HAS SOUPS 66626 WITH SCORE 66729.754
AT ITER 109 NEW BEST:: SOT 127536 SOS 103559 HAS SOPS 103550 HAS SOUS 66440 HAS SOUPS 66431 WITH SCORE 66534.559
AT ITER 115 NEW BEST:: SOT 127400 SOS 103423 HAS SOPS 103414 HAS SOUS 66318 HAS SOUPS 66309 WITH SCORE 66412.423
AT ITER 116 NEW BEST:: SOT 126808 SOS 102831 HAS SOPS 102822 HAS SOUS 65924 HAS SOUPS 65915 WITH SCORE 66017.831
AT ITER 120 NEW BEST:: SOT 126844 SOS 103047 HAS SOPS 103038 HAS SOUS 65921 HAS SOUPS 65912 WITH SCORE 66015.047
AT ITER 121 NEW BEST:: SOT 126724 SOS 102927 HAS SOPS 102918 HAS SOUS 65826 HAS SOUPS 65817 WITH SCORE 65919.927
AT ITER 122 NEW BEST:: SOT 126420 SOS 102740 HAS SOPS 102731 HAS SOUS 65639 HAS SOUPS 65630 WITH SCORE 65732.74
AT ITER 130 NEW BEST:: SOT 126375 SOS 102709 HAS SOPS 102700 HAS SOUS 65496 HAS SOUPS 65487 WITH SCORE 65589.709
AT ITER 135 NEW BEST:: SOT 125955 SOS 101822 HAS SOPS 101813 HAS SOUS 64831 HAS SOUPS 64822 WITH SCORE 64923.822
AT ITER 141 NEW BEST:: SOT 125801 SOS 101668 HAS SOPS 101659 HAS SOUS 64743 HAS SOUPS 64734 WITH SCORE 64835.668
AT ITER 144 NEW BEST:: SOT 125705 SOS 101572 HAS SOPS 101563 HAS SOUS 64647 HAS SOUPS 64638 WITH SCORE 64739.572
AT ITER 145 NEW BEST:: SOT 125838 SOS 101676 HAS SOPS 101667 HAS SOUS 64644 HAS SOUPS 64635 WITH SCORE 64736.676
AT ITER 148 NEW BEST:: SOT 125498 SOS 101439 HAS SOPS 101430 HAS SOUS 64350 HAS SOUPS 64341 WITH SCORE 64442.439
AT ITER 149 NEW BEST:: SOT 125470 SOS 101275 HAS SOPS 101266 HAS SOUS 64274 HAS SOUPS 64265 WITH SCORE 64366.275
AT ITER 151 NEW BEST:: SOT 125347 SOS 101185 HAS SOPS 101176 HAS SOUS 64184 HAS SOUPS 64175 WITH SCORE 64276.185
AT ITER 157 NEW BEST:: SOT 125309 SOS 101147 HAS SOPS 101138 HAS SOUS 64090 HAS SOUPS 64081 WITH SCORE 64182.147
AT ITER 158 NEW BEST:: SOT 125402 SOS 100793 HAS SOPS 100784 HAS SOUS 64078 HAS SOUPS 64069 WITH SCORE 64169.793
AT ITER 160 NEW BEST:: SOT 124747 SOS 100519 HAS SOPS 100510 HAS SOUS 63484 HAS SOUPS 63475 WITH SCORE 63575.519
AT ITER 161 NEW BEST:: SOT 124747 SOS 100494 HAS SOPS 100485 HAS SOUS 63459 HAS SOUPS 63450 WITH SCORE 63550.494
AT ITER 163 NEW BEST:: SOT 124747 SOS 99929 HAS SOPS 99920 HAS SOUS 63399 HAS SOUPS 63390 WITH SCORE 63489.929
AT ITER 166 NEW BEST:: SOT 124747 SOS 99857 HAS SOPS 99848 HAS SOUS 63399 HAS SOUPS 63390 WITH SCORE 63489.857
AT ITER 169 NEW BEST:: SOT 124748 SOS 99858 HAS SOPS 99849 HAS SOUS 63390 HAS SOUPS 63381 WITH SCORE 63480.858
AT ITER 182 NEW BEST:: SOT 124893 SOS 99688 HAS SOPS 99679 HAS SOUS 63386 HAS SOUPS 63377 WITH SCORE 63476.688
AT ITER 188 NEW BEST:: SOT 124860 SOS 99603 HAS SOPS 99594 HAS SOUS 63250 HAS SOUPS 63241 WITH SCORE 63340.603
AT ITER 190 NEW BEST:: SOT 124579 SOS 99228 HAS SOPS 99219 HAS SOUS 62964 HAS SOUPS 62955 WITH SCORE 63054.228
AT ITER 192 NEW BEST:: SOT 124472 SOS 99121 HAS SOPS 99112 HAS SOUS 62857 HAS SOUPS 62848 WITH SCORE 62947.121
AT ITER 196 NEW BEST:: SOT 124414 SOS 99063 HAS SOPS 99054 HAS SOUS 62795 HAS SOUPS 62786 WITH SCORE 62885.063
AT ITER 198 NEW BEST:: SOT 124295 SOS 98307 HAS SOPS 98298 HAS SOUS 62775 HAS SOUPS 62766 WITH SCORE 62864.307
AT ITER 202 NEW BEST:: SOT 123873 SOS 98328 HAS SOPS 98319 HAS SOUS 62569 HAS SOUPS 62560 WITH SCORE 62658.328
AT ITER 209 NEW BEST:: SOT 122761 SOS 97216 HAS SOPS 97207 HAS SOUS 61457 HAS SOUPS 61448 WITH SCORE 61545.216
AT ITER 216 NEW BEST:: SOT 122761 SOS 97144 HAS SOPS 97135 HAS SOUS 61457 HAS SOUPS 61448 WITH SCORE 61545.144
AT ITER 220 NEW BEST:: SOT 122754 SOS 97301 HAS SOPS 97292 HAS SOUS 61348 HAS SOUPS 61339 WITH SCORE 61436.301
AT ITER 222 NEW BEST:: SOT 122647 SOS 96905 HAS SOPS 96896 HAS SOUS 61224 HAS SOUPS 61215 WITH SCORE 61311.905
AT ITER 225 NEW BEST:: SOT 122344 SOS 96608 HAS SOPS 96599 HAS SOUS 60823 HAS SOUPS 60814 WITH SCORE 60910.608
AT ITER 232 NEW BEST:: SOT 122107 SOS 96388 HAS SOPS 96379 HAS SOUS 60567 HAS SOUPS 60558 WITH SCORE 60654.388
AT ITER 234 NEW BEST:: SOT 122107 SOS 96378 HAS SOPS 96369 HAS SOUS 60565 HAS SOUPS 60556 WITH SCORE 60652.378
AT ITER 236 NEW BEST:: SOT 121650 SOS 95921 HAS SOPS 95912 HAS SOUS 60271 HAS SOUPS 60262 WITH SCORE 60357.921
AT ITER 238 NEW BEST:: SOT 121650 SOS 95882 HAS SOPS 95873 HAS SOUS 60271 HAS SOUPS 60262 WITH SCORE 60357.882
AT ITER 241 NEW BEST:: SOT 121657 SOS 95843 HAS SOPS 95834 HAS SOUS 60255 HAS SOUPS 60246 WITH SCORE 60341.843
AT ITER 244 NEW BEST:: SOT 121640 SOS 95758 HAS SOPS 95749 HAS SOUS 60221 HAS SOUPS 60212 WITH SCORE 60307.758
AT ITER 245 NEW BEST:: SOT 121205 SOS 95378 HAS SOPS 95369 HAS SOUS 59839 HAS SOUPS 59830 WITH SCORE 59925.378
AT ITER 248 NEW BEST:: SOT 120998 SOS 95233 HAS SOPS 95224 HAS SOUS 59734 HAS SOUPS 59725 WITH SCORE 59820.233
AT ITER 250 NEW BEST:: SOT 120207 SOS 94034 HAS SOPS 94025 HAS SOUS 59013 HAS SOUPS 59004 WITH SCORE 59098.034
AT ITER 252 NEW BEST:: SOT 119917 SOS 94084 HAS SOPS 94075 HAS SOUS 58759 HAS SOUPS 58750 WITH SCORE 58844.084
AT ITER 253 NEW BEST:: SOT 119917 SOS 94044 HAS SOPS 94035 HAS SOUS 58759 HAS SOUPS 58750 WITH SCORE 58844.044
AT ITER 254 NEW BEST:: SOT 119822 SOS 94037 HAS SOPS 94028 HAS SOUS 58639 HAS SOUPS 58630 WITH SCORE 58724.037
AT ITER 255 NEW BEST:: SOT 119181 SOS 93686 HAS SOPS 93677 HAS SOUS 57993 HAS SOUPS 57984 WITH SCORE 58077.686
AT ITER 257 NEW BEST:: SOT 119061 SOS 93566 HAS SOPS 93557 HAS SOUS 57893 HAS SOUPS 57884 WITH SCORE 57977.566
AT ITER 265 NEW BEST:: SOT 118963 SOS 93468 HAS SOPS 93459 HAS SOUS 57795 HAS SOUPS 57786 WITH SCORE 57879.468
AT ITER 269 NEW BEST:: SOT 118838 SOS 93055 HAS SOPS 93046 HAS SOUS 57679 HAS SOUPS 57670 WITH SCORE 57763.055
AT ITER 272 NEW BEST:: SOT 118674 SOS 92899 HAS SOPS 92890 HAS SOUS 57482 HAS SOUPS 57473 WITH SCORE 57565.899
AT ITER 273 NEW BEST:: SOT 118592 SOS 92303 HAS SOPS 92288 HAS SOUS 57462 HAS SOUPS 57447 WITH SCORE 57539.303
AT ITER 276 NEW BEST:: SOT 118605 SOS 92325 HAS SOPS 92310 HAS SOUS 57369 HAS SOUPS 57354 WITH SCORE 57446.325
AT ITER 279 NEW BEST:: SOT 118767 SOS 92430 HAS SOPS 92415 HAS SOUS 57341 HAS SOUPS 57326 WITH SCORE 57418.43
AT ITER 280 NEW BEST:: SOT 118680 SOS 92456 HAS SOPS 92328 HAS SOUS 57378 HAS SOUPS 57250 WITH SCORE 57342.456
AT ITER 285 NEW BEST:: SOT 118748 SOS 92364 HAS SOPS 92236 HAS SOUS 57321 HAS SOUPS 57193 WITH SCORE 57285.364
AT ITER 290 NEW BEST:: SOT 118815 SOS 92406 HAS SOPS 92278 HAS SOUS 57068 HAS SOUPS 56940 WITH SCORE 57032.406
AT ITER 291 NEW BEST:: SOT 118785 SOS 92376 HAS SOPS 92248 HAS SOUS 57018 HAS SOUPS 56890 WITH SCORE 56982.376
AT ITER 292 NEW BEST:: SOT 118772 SOS 92363 HAS SOPS 92235 HAS SOUS 57005 HAS SOUPS 56877 WITH SCORE 56969.363
AT ITER 294 NEW BEST:: SOT 118730 SOS 92243 HAS SOPS 92115 HAS SOUS 56963 HAS SOUPS 56835 WITH SCORE 56927.243
AT ITER 296 NEW BEST:: SOT 118646 SOS 92168 HAS SOPS 92040 HAS SOUS 56882 HAS SOUPS 56754 WITH SCORE 56846.168
AT ITER 298 NEW BEST:: SOT 118296 SOS 91821 HAS SOPS 91693 HAS SOUS 56554 HAS SOUPS 56426 WITH SCORE 56517.821
AT ITER 304 NEW BEST:: SOT 118276 SOS 91801 HAS SOPS 91673 HAS SOUS 56534 HAS SOUPS 56406 WITH SCORE 56497.801
AT ITER 306 NEW BEST:: SOT 118276 SOS 91788 HAS SOPS 91666 HAS SOUS 56521 HAS SOUPS 56399 WITH SCORE 56490.788
AT ITER 308 NEW BEST:: SOT 118213 SOS 91725 HAS SOPS 91603 HAS SOUS 56458 HAS SOUPS 56336 WITH SCORE 56427.725
AT ITER 313 NEW BEST:: SOT 118200 SOS 91628 HAS SOPS 91506 HAS SOUS 56445 HAS SOUPS 56323 WITH SCORE 56414.628
AT ITER 314 NEW BEST:: SOT 118081 SOS 91474 HAS SOPS 91352 HAS SOUS 56374 HAS SOUPS 56252 WITH SCORE 56343.474
AT ITER 315 NEW BEST:: SOT 118084 SOS 91371 HAS SOPS 91249 HAS SOUS 56271 HAS SOUPS 56149 WITH SCORE 56240.371
AT ITER 319 NEW BEST:: SOT 118084 SOS 91427 HAS SOPS 91305 HAS SOUS 56269 HAS SOUPS 56147 WITH SCORE 56238.427
AT ITER 320 NEW BEST:: SOT 117751 SOS 90673 HAS SOPS 90551 HAS SOUS 56139 HAS SOUPS 56017 WITH SCORE 56107.673
AT ITER 321 NEW BEST:: SOT 117438 SOS 90471 HAS SOPS 90349 HAS SOUS 56048 HAS SOUPS 55926 WITH SCORE 56016.471
AT ITER 327 NEW BEST:: SOT 117484 SOS 90445 HAS SOPS 90323 HAS SOUS 56035 HAS SOUPS 55913 WITH SCORE 56003.445
AT ITER 331 NEW BEST:: SOT 117378 SOS 90374 HAS SOPS 90217 HAS SOUS 55974 HAS SOUPS 55817 WITH SCORE 55907.374
AT ITER 335 NEW BEST:: SOT 117332 SOS 89748 HAS SOPS 89591 HAS SOUS 55940 HAS SOUPS 55783 WITH SCORE 55872.748
AT ITER 340 NEW BEST:: SOT 116891 SOS 89177 HAS SOPS 89020 HAS SOUS 55537 HAS SOUPS 55380 WITH SCORE 55469.177
AT ITER 343 NEW BEST:: SOT 116791 SOS 89077 HAS SOPS 88920 HAS SOUS 55171 HAS SOUPS 55014 WITH SCORE 55103.077
AT ITER 349 NEW BEST:: SOT 116788 SOS 89074 HAS SOPS 88917 HAS SOUS 55161 HAS SOUPS 55004 WITH SCORE 55093.074
AT ITER 353 NEW BEST:: SOT 116788 SOS 89077 HAS SOPS 88920 HAS SOUS 55152 HAS SOUPS 54995 WITH SCORE 55084.077
AT ITER 357 NEW BEST:: SOT 116787 SOS 89076 HAS SOPS 88919 HAS SOUS 55149 HAS SOUPS 54992 WITH SCORE 55081.076
AT ITER 363 NEW BEST:: SOT 116643 SOS 88662 HAS SOPS 88505 HAS SOUS 55149 HAS SOUPS 54992 WITH SCORE 55080.662
AT ITER 364 NEW BEST:: SOT 116603 SOS 88622 HAS SOPS 88465 HAS SOUS 55001 HAS SOUPS 54844 WITH SCORE 54932.622
AT ITER 365 NEW BEST:: SOT 116448 SOS 88237 HAS SOPS 88080 HAS SOUS 54222 HAS SOUPS 54065 WITH SCORE 54153.237
AT ITER 380 NEW BEST:: SOT 116350 SOS 88139 HAS SOPS 87982 HAS SOUS 54118 HAS SOUPS 53961 WITH SCORE 54049.139
AT ITER 382 NEW BEST:: SOT 116169 SOS 88053 HAS SOPS 87896 HAS SOUS 54032 HAS SOUPS 53875 WITH SCORE 53963.053
AT ITER 389 NEW BEST:: SOT 116167 SOS 88051 HAS SOPS 87894 HAS SOUS 54030 HAS SOUPS 53873 WITH SCORE 53961.051
AT ITER 394 NEW BEST:: SOT 116349 SOS 88221 HAS SOPS 88064 HAS SOUS 54008 HAS SOUPS 53851 WITH SCORE 53939.221
AT ITER 395 NEW BEST:: SOT 115637 SOS 87780 HAS SOPS 87623 HAS SOUS 53679 HAS SOUPS 53522 WITH SCORE 53609.78
AT ITER 399 NEW BEST:: SOT 115603 SOS 87792 HAS SOPS 87635 HAS SOUS 53528 HAS SOUPS 53371 WITH SCORE 53458.792
AT ITER 405 NEW BEST:: SOT 115596 SOS 87747 HAS SOPS 87590 HAS SOUS 53528 HAS SOUPS 53371 WITH SCORE 53458.747
AT ITER 406 NEW BEST:: SOT 115672 SOS 88104 HAS SOPS 87947 HAS SOUS 53517 HAS SOUPS 53360 WITH SCORE 53448.104
AT ITER 415 NEW BEST:: SOT 115541 SOS 87378 HAS SOPS 87221 HAS SOUS 53267 HAS SOUPS 53110 WITH SCORE 53197.378
AT ITER 416 NEW BEST:: SOT 115376 SOS 86573 HAS SOPS 86416 HAS SOUS 53139 HAS SOUPS 52982 WITH SCORE 53068.573
AT ITER 417 NEW BEST:: SOT 115196 SOS 87857 HAS SOPS 87700 HAS SOUS 52936 HAS SOUPS 52779 WITH SCORE 52866.857
AT ITER 419 NEW BEST:: SOT 115186 SOS 87847 HAS SOPS 87690 HAS SOUS 52930 HAS SOUPS 52773 WITH SCORE 52860.847
AT ITER 420 NEW BEST:: SOT 115040 SOS 87701 HAS SOPS 87544 HAS SOUS 52930 HAS SOUPS 52773 WITH SCORE 52860.701
AT ITER 422 NEW BEST:: SOT 115040 SOS 87527 HAS SOPS 87370 HAS SOUS 52930 HAS SOUPS 52773 WITH SCORE 52860.527
AT ITER 426 NEW BEST:: SOT 115040 SOS 87463 HAS SOPS 87306 HAS SOUS 52930 HAS SOUPS 52773 WITH SCORE 52860.463
AT ITER 428 NEW BEST:: SOT 115038 SOS 87509 HAS SOPS 87352 HAS SOUS 52903 HAS SOUPS 52746 WITH SCORE 52833.509
AT ITER 429 NEW BEST:: SOT 114863 SOS 87033 HAS SOPS 86876 HAS SOUS 52693 HAS SOUPS 52536 WITH SCORE 52623.033
AT ITER 431 NEW BEST:: SOT 114842 SOS 87012 HAS SOPS 86855 HAS SOUS 52672 HAS SOUPS 52515 WITH SCORE 52602.012
AT ITER 433 NEW BEST:: SOT 114704 SOS 86874 HAS SOPS 86717 HAS SOUS 52534 HAS SOUPS 52377 WITH SCORE 52463.874
AT ITER 440 NEW BEST:: SOT 114510 SOS 86308 HAS SOPS 86124 HAS SOUS 52214 HAS SOUPS 52030 WITH SCORE 52116.308
AT ITER 441 NEW BEST:: SOT 114510 SOS 86030 HAS SOPS 85846 HAS SOUS 52193 HAS SOUPS 52009 WITH SCORE 52095.03
AT ITER 442 NEW BEST:: SOT 114615 SOS 86135 HAS SOPS 85951 HAS SOUS 52168 HAS SOUPS 51984 WITH SCORE 52070.135
AT ITER 443 NEW BEST:: SOT 114615 SOS 85927 HAS SOPS 85743 HAS SOUS 52128 HAS SOUPS 51944 WITH SCORE 52029.927
AT ITER 444 NEW BEST:: SOT 113949 SOS 85292 HAS SOPS 85108 HAS SOUS 51491 HAS SOUPS 51307 WITH SCORE 51392.292
AT ITER 447 NEW BEST:: SOT 113749 SOS 85046 HAS SOPS 84862 HAS SOUS 51457 HAS SOUPS 51273 WITH SCORE 51358.046
AT ITER 449 NEW BEST:: SOT 113302 SOS 84599 HAS SOPS 84415 HAS SOUS 51010 HAS SOUPS 50826 WITH SCORE 50910.599
AT ITER 450 NEW BEST:: SOT 112883 SOS 84243 HAS SOPS 84059 HAS SOUS 50799 HAS SOUPS 50615 WITH SCORE 50699.243
AT ITER 456 NEW BEST:: SOT 112869 SOS 84229 HAS SOPS 84045 HAS SOUS 50779 HAS SOUPS 50595 WITH SCORE 50679.229
AT ITER 462 NEW BEST:: SOT 112869 SOS 84355 HAS SOPS 84171 HAS SOUS 50772 HAS SOUPS 50588 WITH SCORE 50672.355
AT ITER 464 NEW BEST:: SOT 112862 SOS 84348 HAS SOPS 84164 HAS SOUS 50765 HAS SOUPS 50581 WITH SCORE 50665.348
AT ITER 473 NEW BEST:: SOT 112862 SOS 84517 HAS SOPS 84333 HAS SOUS 50671 HAS SOUPS 50487 WITH SCORE 50571.517
AT ITER 478 NEW BEST:: SOT 112728 SOS 84383 HAS SOPS 84199 HAS SOUS 50537 HAS SOUPS 50353 WITH SCORE 50437.383
AT ITER 479 NEW BEST:: SOT 112810 SOS 83894 HAS SOPS 83710 HAS SOUS 50383 HAS SOUPS 50199 WITH SCORE 50282.894
AT ITER 481 NEW BEST:: SOT 112795 SOS 83869 HAS SOPS 83685 HAS SOUS 50358 HAS SOUPS 50174 WITH SCORE 50257.869
AT ITER 494 NEW BEST:: SOT 112710 SOS 83796 HAS SOPS 83605 HAS SOUS 50285 HAS SOUPS 50094 WITH SCORE 50177.796
AT ITER 495 NEW BEST:: SOT 112758 SOS 84186 HAS SOPS 83995 HAS SOUS 50249 HAS SOUPS 50058 WITH SCORE 50142.186
AT ITER 499 NEW BEST:: SOT 112758 SOS 84094 HAS SOPS 83886 HAS SOUS 50260 HAS SOUPS 50052 WITH SCORE 50136.094
AT ITER 500 NEW BEST:: SOT 112706 SOS 84042 HAS SOPS 83834 HAS SOUS 50208 HAS SOUPS 50000 WITH SCORE 50084.042
AT ITER 504 NEW BEST:: SOT 112698 SOS 84046 HAS SOPS 83826 HAS SOUS 50188 HAS SOUPS 49968 WITH SCORE 50052.046
AT ITER 508 NEW BEST:: SOT 112698 SOS 84036 HAS SOPS 83816 HAS SOUS 50188 HAS SOUPS 49968 WITH SCORE 50052.036
AT ITER 509 NEW BEST:: SOT 112656 SOS 83994 HAS SOPS 83774 HAS SOUS 50167 HAS SOUPS 49947 WITH SCORE 50030.994
AT ITER 517 NEW BEST:: SOT 112656 SOS 84069 HAS SOPS 83834 HAS SOUS 50167 HAS SOUPS 49932 WITH SCORE 50016.069
AT ITER 521 NEW BEST:: SOT 112549 SOS 83962 HAS SOPS 83727 HAS SOUS 50164 HAS SOUPS 49929 WITH SCORE 50012.962
AT ITER 522 NEW BEST:: SOT 112672 SOS 83998 HAS SOPS 83763 HAS SOUS 50051 HAS SOUPS 49816 WITH SCORE 49899.998
AT ITER 523 NEW BEST:: SOT 112689 SOS 83946 HAS SOPS 83711 HAS SOUS 49988 HAS SOUPS 49753 WITH SCORE 49836.946
AT ITER 526 NEW BEST:: SOT 112457 SOS 83773 HAS SOPS 83538 HAS SOUS 49815 HAS SOUPS 49580 WITH SCORE 49663.773
AT ITER 528 NEW BEST:: SOT 111667 SOS 82849 HAS SOPS 82614 HAS SOUS 49126 HAS SOUPS 48891 WITH SCORE 48973.849
AT ITER 529 NEW BEST:: SOT 111665 SOS 82847 HAS SOPS 82612 HAS SOUS 49124 HAS SOUPS 48889 WITH SCORE 48971.847
AT ITER 533 NEW BEST:: SOT 111577 SOS 82611 HAS SOPS 82376 HAS SOUS 49050 HAS SOUPS 48815 WITH SCORE 48897.611
AT ITER 536 NEW BEST:: SOT 111241 SOS 82057 HAS SOPS 81822 HAS SOUS 48990 HAS SOUPS 48755 WITH SCORE 48837.057
AT ITER 541 NEW BEST:: SOT 110963 SOS 81779 HAS SOPS 81544 HAS SOUS 48703 HAS SOUPS 48468 WITH SCORE 48549.779
AT ITER 542 NEW BEST:: SOT 110895 SOS 81710 HAS SOPS 81475 HAS SOUS 48702 HAS SOUPS 48467 WITH SCORE 48548.71
AT ITER 549 NEW BEST:: SOT 111023 SOS 81931 HAS SOPS 81696 HAS SOUS 48647 HAS SOUPS 48412 WITH SCORE 48493.931
AT ITER 551 NEW BEST:: SOT 110691 SOS 81599 HAS SOPS 81364 HAS SOUS 48315 HAS SOUPS 48080 WITH SCORE 48161.599
AT ITER 553 NEW BEST:: SOT 110671 SOS 81579 HAS SOPS 81344 HAS SOUS 48309 HAS SOUPS 48074 WITH SCORE 48155.579
AT ITER 558 NEW BEST:: SOT 110116 SOS 81430 HAS SOPS 81195 HAS SOUS 47801 HAS SOUPS 47566 WITH SCORE 47647.43
AT ITER 560 NEW BEST:: SOT 110151 SOS 81599 HAS SOPS 81364 HAS SOUS 47756 HAS SOUPS 47521 WITH SCORE 47602.599
AT ITER 561 NEW BEST:: SOT 110133 SOS 81255 HAS SOPS 80796 HAS SOUS 47498 HAS SOUPS 47056 WITH SCORE 47137.255
AT ITER 572 NEW BEST:: SOT 110126 SOS 81248 HAS SOPS 80789 HAS SOUS 47491 HAS SOUPS 47049 WITH SCORE 47130.248
AT ITER 573 NEW BEST:: SOT 110089 SOS 81211 HAS SOPS 80752 HAS SOUS 47452 HAS SOUPS 47010 WITH SCORE 47091.211
AT ITER 574 NEW BEST:: SOT 110065 SOS 81187 HAS SOPS 80728 HAS SOUS 47428 HAS SOUPS 46986 WITH SCORE 47067.187
AT ITER 579 NEW BEST:: SOT 109885 SOS 80959 HAS SOPS 80500 HAS SOUS 47293 HAS SOUPS 46851 WITH SCORE 46931.959
AT ITER 580 NEW BEST:: SOT 109688 SOS 80762 HAS SOPS 80303 HAS SOUS 47110 HAS SOUPS 46668 WITH SCORE 46748.762
AT ITER 584 NEW BEST:: SOT 109471 SOS 80361 HAS SOPS 79902 HAS SOUS 46981 HAS SOUPS 46539 WITH SCORE 46619.361
AT ITER 588 NEW BEST:: SOT 109571 SOS 80522 HAS SOPS 80041 HAS SOUS 46964 HAS SOUPS 46500 WITH SCORE 46580.522
AT ITER 603 NEW BEST:: SOT 109571 SOS 80532 HAS SOPS 80051 HAS SOUS 46961 HAS SOUPS 46497 WITH SCORE 46577.532
AT ITER 605 NEW BEST:: SOT 109500 SOS 80532 HAS SOPS 79980 HAS SOUS 47028 HAS SOUPS 46493 WITH SCORE 46573.532
AT ITER 617 NEW BEST:: SOT 109478 SOS 80510 HAS SOPS 79958 HAS SOUS 47006 HAS SOUPS 46471 WITH SCORE 46551.51
AT ITER 620 NEW BEST:: SOT 109486 SOS 80375 HAS SOPS 79823 HAS SOUS 46933 HAS SOUPS 46398 WITH SCORE 46478.375
AT ITER 621 NEW BEST:: SOT 109368 SOS 79929 HAS SOPS 79377 HAS SOUS 46696 HAS SOUPS 46161 WITH SCORE 46240.929
AT ITER 622 NEW BEST:: SOT 109284 SOS 79437 HAS SOPS 78885 HAS SOUS 46631 HAS SOUPS 46096 WITH SCORE 46175.437
AT ITER 626 NEW BEST:: SOT 109310 SOS 78743 HAS SOPS 78191 HAS SOUS 46557 HAS SOUPS 46022 WITH SCORE 46100.743
AT ITER 628 NEW BEST:: SOT 109310 SOS 78757 HAS SOPS 78205 HAS SOUS 46541 HAS SOUPS 46006 WITH SCORE 46084.757
AT ITER 629 NEW BEST:: SOT 109188 SOS 78749 HAS SOPS 78197 HAS SOUS 46419 HAS SOUPS 45884 WITH SCORE 45962.749
AT ITER 638 NEW BEST:: SOT 109188 SOS 78607 HAS SOPS 78055 HAS SOUS 46135 HAS SOUPS 45600 WITH SCORE 45678.607
AT ITER 639 NEW BEST:: SOT 109150 SOS 78569 HAS SOPS 78017 HAS SOUS 46097 HAS SOUPS 45562 WITH SCORE 45640.569
AT ITER 640 NEW BEST:: SOT 108978 SOS 78397 HAS SOPS 77845 HAS SOUS 45959 HAS SOUPS 45424 WITH SCORE 45502.397
AT ITER 644 NEW BEST:: SOT 108814 SOS 78276 HAS SOPS 77724 HAS SOUS 45784 HAS SOUPS 45249 WITH SCORE 45327.276
AT ITER 648 NEW BEST:: SOT 108749 SOS 78135 HAS SOPS 77583 HAS SOUS 45594 HAS SOUPS 45059 WITH SCORE 45137.135
AT ITER 649 NEW BEST:: SOT 108587 SOS 78213 HAS SOPS 77661 HAS SOUS 45562 HAS SOUPS 45027 WITH SCORE 45105.213
AT ITER 651 NEW BEST:: SOT 108505 SOS 78109 HAS SOPS 77557 HAS SOUS 45557 HAS SOUPS 45022 WITH SCORE 45100.109
AT ITER 662 NEW BEST:: SOT 108543 SOS 78147 HAS SOPS 77595 HAS SOUS 45504 HAS SOUPS 44969 WITH SCORE 45047.147
AT ITER 669 NEW BEST:: SOT 108543 SOS 78147 HAS SOPS 77595 HAS SOUS 45380 HAS SOUPS 44845 WITH SCORE 44923.147
AT ITER 678 NEW BEST:: SOT 108671 SOS 77855 HAS SOPS 77203 HAS SOUS 45174 HAS SOUPS 44639 WITH SCORE 44716.855
AT ITER 683 NEW BEST:: SOT 108629 SOS 77813 HAS SOPS 77161 HAS SOUS 45035 HAS SOUPS 44500 WITH SCORE 44577.813
AT ITER 687 NEW BEST:: SOT 108624 SOS 77808 HAS SOPS 77156 HAS SOUS 44870 HAS SOUPS 44335 WITH SCORE 44412.808
AT ITER 688 NEW BEST:: SOT 108626 SOS 77760 HAS SOPS 77140 HAS SOUS 44797 HAS SOUPS 44294 WITH SCORE 44371.76
AT ITER 689 NEW BEST:: SOT 108271 SOS 77419 HAS SOPS 76799 HAS SOUS 44490 HAS SOUPS 43987 WITH SCORE 44064.419
AT ITER 704 NEW BEST:: SOT 108269 SOS 77418 HAS SOPS 76799 HAS SOUS 44487 HAS SOUPS 43985 WITH SCORE 44062.418
AT ITER 705 NEW BEST:: SOT 108022 SOS 77129 HAS SOPS 76510 HAS SOUS 44275 HAS SOUPS 43773 WITH SCORE 43850.129
AT ITER 708 NEW BEST:: SOT 108022 SOS 76952 HAS SOPS 76333 HAS SOUS 44275 HAS SOUPS 43773 WITH SCORE 43849.952
AT ITER 720 NEW BEST:: SOT 107920 SOS 76850 HAS SOPS 76231 HAS SOUS 44063 HAS SOUPS 43561 WITH SCORE 43637.85
AT ITER 721 NEW BEST:: SOT 107937 SOS 76824 HAS SOPS 76205 HAS SOUS 44049 HAS SOUPS 43547 WITH SCORE 43623.824
AT ITER 722 NEW BEST:: SOT 107937 SOS 76824 HAS SOPS 76129 HAS SOUS 44049 HAS SOUPS 43509 WITH SCORE 43585.824
AT ITER 724 NEW BEST:: SOT 107937 SOS 76824 HAS SOPS 76129 HAS SOUS 44041 HAS SOUPS 43501 WITH SCORE 43577.824
AT ITER 725 NEW BEST:: SOT 108085 SOS 76807 HAS SOPS 76112 HAS SOUS 43992 HAS SOUPS 43452 WITH SCORE 43528.807
AT ITER 734 NEW BEST:: SOT 107876 SOS 76897 HAS SOPS 76202 HAS SOUS 43813 HAS SOUPS 43273 WITH SCORE 43349.897
AT ITER 738 NEW BEST:: SOT 107852 SOS 76873 HAS SOPS 76178 HAS SOUS 43741 HAS SOUPS 43201 WITH SCORE 43277.873
AT ITER 741 NEW BEST:: SOT 107744 SOS 76765 HAS SOPS 76070 HAS SOUS 43689 HAS SOUPS 43149 WITH SCORE 43225.765
AT ITER 743 NEW BEST:: SOT 107775 SOS 76814 HAS SOPS 76119 HAS SOUS 43680 HAS SOUPS 43140 WITH SCORE 43216.814
AT ITER 744 NEW BEST:: SOT 107692 SOS 76774 HAS SOPS 76079 HAS SOUS 43610 HAS SOUPS 43070 WITH SCORE 43146.774
AT ITER 745 NEW BEST:: SOT 107800 SOS 76093 HAS SOPS 75398 HAS SOUS 43526 HAS SOUPS 42986 WITH SCORE 43062.093
AT ITER 746 NEW BEST:: SOT 107800 SOS 76089 HAS SOPS 75394 HAS SOUS 43526 HAS SOUPS 42986 WITH SCORE 43062.089
AT ITER 750 NEW BEST:: SOT 107800 SOS 76059 HAS SOPS 75364 HAS SOUS 43525 HAS SOUPS 42985 WITH SCORE 43061.059
AT ITER 756 NEW BEST:: SOT 107800 SOS 76059 HAS SOPS 75364 HAS SOUS 43523 HAS SOUPS 42983 WITH SCORE 43059.059
AT ITER 760 NEW BEST:: SOT 107871 SOS 76130 HAS SOPS 75435 HAS SOUS 43332 HAS SOUPS 42792 WITH SCORE 42868.13
AT ITER 765 NEW BEST:: SOT 107823 SOS 76099 HAS SOPS 75387 HAS SOUS 43333 HAS SOUPS 42776 WITH SCORE 42852.099
AT ITER 770 NEW BEST:: SOT 107669 SOS 75945 HAS SOPS 75233 HAS SOUS 43333 HAS SOUPS 42776 WITH SCORE 42851.945
AT ITER 779 NEW BEST:: SOT 107676 SOS 75818 HAS SOPS 75106 HAS SOUS 43329 HAS SOUPS 42772 WITH SCORE 42847.818
AT ITER 784 NEW BEST:: SOT 107798 SOS 76016 HAS SOPS 75304 HAS SOUS 43310 HAS SOUPS 42753 WITH SCORE 42829.016
AT ITER 785 NEW BEST:: SOT 107787 SOS 75972 HAS SOPS 75260 HAS SOUS 43288 HAS SOUPS 42731 WITH SCORE 42806.972
AT ITER 791 NEW BEST:: SOT 107824 SOS 75541 HAS SOPS 74744 HAS SOUS 43224 HAS SOUPS 42667 WITH SCORE 42742.541
AT ITER 795 NEW BEST:: SOT 107824 SOS 75487 HAS SOPS 74690 HAS SOUS 43224 HAS SOUPS 42667 WITH SCORE 42742.487
AT ITER 804 NEW BEST:: SOT 107758 SOS 75421 HAS SOPS 74624 HAS SOUS 43158 HAS SOUPS 42601 WITH SCORE 42676.421
AT ITER 807 NEW BEST:: SOT 107748 SOS 75351 HAS SOPS 74554 HAS SOUS 43098 HAS SOUPS 42541 WITH SCORE 42616.351
AT ITER 808 NEW BEST:: SOT 107737 SOS 75413 HAS SOPS 74616 HAS SOUS 43053 HAS SOUPS 42496 WITH SCORE 42571.413
AT ITER 810 NEW BEST:: SOT 107737 SOS 75413 HAS SOPS 74616 HAS SOUS 43051 HAS SOUPS 42494 WITH SCORE 42569.413
AT ITER 820 NEW BEST:: SOT 107802 SOS 75361 HAS SOPS 74564 HAS SOUS 42916 HAS SOUPS 42359 WITH SCORE 42434.361
AT ITER 828 NEW BEST:: SOT 107802 SOS 75341 HAS SOPS 74544 HAS SOUS 42916 HAS SOUPS 42359 WITH SCORE 42434.341
AT ITER 830 NEW BEST:: SOT 107766 SOS 74745 HAS SOPS 73948 HAS SOUS 42848 HAS SOUPS 42291 WITH SCORE 42365.745
AT ITER 833 NEW BEST:: SOT 107760 SOS 74739 HAS SOPS 73942 HAS SOUS 42848 HAS SOUPS 42291 WITH SCORE 42365.739
AT ITER 843 NEW BEST:: SOT 107565 SOS 74700 HAS SOPS 73903 HAS SOUS 42692 HAS SOUPS 42135 WITH SCORE 42209.7
AT ITER 844 NEW BEST:: SOT 107441 SOS 73976 HAS SOPS 73179 HAS SOUS 42586 HAS SOUPS 42029 WITH SCORE 42102.976
AT ITER 845 NEW BEST:: SOT 107262 SOS 73797 HAS SOPS 73000 HAS SOUS 42407 HAS SOUPS 41850 WITH SCORE 41923.797
AT ITER 864 NEW BEST:: SOT 107266 SOS 73801 HAS SOPS 73004 HAS SOUS 42403 HAS SOUPS 41846 WITH SCORE 41919.801
AT ITER 868 NEW BEST:: SOT 107281 SOS 73771 HAS SOPS 72974 HAS SOUS 42388 HAS SOUPS 41831 WITH SCORE 41904.771
AT ITER 869 NEW BEST:: SOT 107281 SOS 73771 HAS SOPS 72974 HAS SOUS 42350 HAS SOUPS 41793 WITH SCORE 41866.771
AT ITER 873 NEW BEST:: SOT 107281 SOS 73729 HAS SOPS 72932 HAS SOUS 42350 HAS SOUPS 41793 WITH SCORE 41866.729
AT ITER 880 NEW BEST:: SOT 107152 SOS 73326 HAS SOPS 72529 HAS SOUS 42196 HAS SOUPS 41639 WITH SCORE 41712.326
AT ITER 881 NEW BEST:: SOT 107152 SOS 73119 HAS SOPS 72322 HAS SOUS 42160 HAS SOUPS 41603 WITH SCORE 41676.119
AT ITER 894 NEW BEST:: SOT 107107 SOS 73087 HAS SOPS 72290 HAS SOUS 42127 HAS SOUPS 41570 WITH SCORE 41643.087
AT ITER 899 NEW BEST:: SOT 107011 SOS 72239 HAS SOPS 71442 HAS SOUS 42093 HAS SOUPS 41536 WITH SCORE 41608.239
AT ITER 901 NEW BEST:: SOT 106937 SOS 72140 HAS SOPS 71343 HAS SOUS 41978 HAS SOUPS 41421 WITH SCORE 41493.14
AT ITER 906 NEW BEST:: SOT 106937 SOS 71914 HAS SOPS 71117 HAS SOUS 41903 HAS SOUPS 41346 WITH SCORE 41417.914
AT ITER 916 NEW BEST:: SOT 106829 SOS 72098 HAS SOPS 71301 HAS SOUS 41884 HAS SOUPS 41327 WITH SCORE 41399.098
AT ITER 919 NEW BEST:: SOT 106747 SOS 72016 HAS SOPS 71219 HAS SOUS 41802 HAS SOUPS 41245 WITH SCORE 41317.016
AT ITER 928 NEW BEST:: SOT 106723 SOS 71992 HAS SOPS 71195 HAS SOUS 41778 HAS SOUPS 41221 WITH SCORE 41292.992
AT ITER 930 NEW BEST:: SOT 106573 SOS 71842 HAS SOPS 71045 HAS SOUS 41628 HAS SOUPS 41071 WITH SCORE 41142.842
AT ITER 932 NEW BEST:: SOT 106543 SOS 72216 HAS SOPS 71419 HAS SOUS 41573 HAS SOUPS 41016 WITH SCORE 41088.216
AT ITER 937 NEW BEST:: SOT 106543 SOS 72424 HAS SOPS 71627 HAS SOUS 41568 HAS SOUPS 41011 WITH SCORE 41083.424
AT ITER 938 NEW BEST:: SOT 106473 SOS 72331 HAS SOPS 71534 HAS SOUS 41505 HAS SOUPS 40948 WITH SCORE 41020.331
AT ITER 951 NEW BEST:: SOT 106416 SOS 72234 HAS SOPS 71437 HAS SOUS 41448 HAS SOUPS 40891 WITH SCORE 40963.234
AT ITER 954 NEW BEST:: SOT 106416 SOS 72234 HAS SOPS 71437 HAS SOUS 41312 HAS SOUPS 40755 WITH SCORE 40827.234
AT ITER 962 NEW BEST:: SOT 106400 SOS 72123 HAS SOPS 71326 HAS SOUS 41291 HAS SOUPS 40734 WITH SCORE 40806.123
AT ITER 963 NEW BEST:: SOT 106334 SOS 72002 HAS SOPS 71205 HAS SOUS 41229 HAS SOUPS 40672 WITH SCORE 40744.002
AT ITER 970 NEW BEST:: SOT 106317 SOS 71985 HAS SOPS 71188 HAS SOUS 41212 HAS SOUPS 40655 WITH SCORE 40726.985
AT ITER 981 NEW BEST:: SOT 106223 SOS 71821 HAS SOPS 71024 HAS SOUS 41095 HAS SOUPS 40538 WITH SCORE 40609.821
AT ITER 986 NEW BEST:: SOT 106223 SOS 71737 HAS SOPS 70940 HAS SOUS 41071 HAS SOUPS 40514 WITH SCORE 40585.737
AT ITER 989 NEW BEST:: SOT 106213 SOS 71885 HAS SOPS 71088 HAS SOUS 41008 HAS SOUPS 40451 WITH SCORE 40522.885
AT ITER 991 NEW BEST:: SOT 106156 SOS 71758 HAS SOPS 70961 HAS SOUS 41007 HAS SOUPS 40450 WITH SCORE 40521.758
AT ITER 997 NEW BEST:: SOT 106104 SOS 72199 HAS SOPS 71402 HAS SOUS 40937 HAS SOUPS 40380 WITH SCORE 40452.199
AT ITER 1002 NEW BEST:: SOT 106054 SOS 72172 HAS SOPS 71375 HAS SOUS 40910 HAS SOUPS 40353 WITH SCORE 40425.172
AT ITER 1016 NEW BEST:: SOT 106046 SOS 72164 HAS SOPS 71367 HAS SOUS 40902 HAS SOUPS 40345 WITH SCORE 40417.164
AT ITER 1024 NEW BEST:: SOT 105994 SOS 72112 HAS SOPS 71315 HAS SOUS 40878 HAS SOUPS 40321 WITH SCORE 40393.112
AT ITER 1026 NEW BEST:: SOT 105952 SOS 71743 HAS SOPS 70946 HAS SOUS 40878 HAS SOUPS 40321 WITH SCORE 40392.743
AT ITER 1035 NEW BEST:: SOT 105941 SOS 71732 HAS SOPS 70935 HAS SOUS 40878 HAS SOUPS 40321 WITH SCORE 40392.732
AT ITER 1056 NEW BEST:: SOT 105898 SOS 71683 HAS SOPS 70880 HAS SOUS 40829 HAS SOUPS 40266 WITH SCORE 40337.683
AT ITER 1062 NEW BEST:: SOT 105869 SOS 71654 HAS SOPS 70851 HAS SOUS 40730 HAS SOUPS 40167 WITH SCORE 40238.654
AT ITER 1065 NEW BEST:: SOT 105869 SOS 71614 HAS SOPS 70811 HAS SOUS 40690 HAS SOUPS 40127 WITH SCORE 40198.614
AT ITER 1067 NEW BEST:: SOT 105865 SOS 71610 HAS SOPS 70807 HAS SOUS 40686 HAS SOUPS 40123 WITH SCORE 40194.61
AT ITER 1072 NEW BEST:: SOT 105889 SOS 71621 HAS SOPS 70818 HAS SOUS 40684 HAS SOUPS 40121 WITH SCORE 40192.621
AT ITER 1075 NEW BEST:: SOT 105541 SOS 71247 HAS SOPS 70444 HAS SOUS 40612 HAS SOUPS 40049 WITH SCORE 40120.247
AT ITER 1076 NEW BEST:: SOT 105493 SOS 71199 HAS SOPS 70396 HAS SOUS 40611 HAS SOUPS 40048 WITH SCORE 40119.199
AT ITER 1078 NEW BEST:: SOT 105460 SOS 71166 HAS SOPS 70363 HAS SOUS 40450 HAS SOUPS 39887 WITH SCORE 39958.166
AT ITER 1079 NEW BEST:: SOT 105463 SOS 70596 HAS SOPS 69726 HAS SOUS 40438 HAS SOUPS 39875 WITH SCORE 39945.596
AT ITER 1096 NEW BEST:: SOT 105424 SOS 70566 HAS SOPS 69657 HAS SOUS 40414 HAS SOUPS 39851 WITH SCORE 39921.566
AT ITER 1098 NEW BEST:: SOT 105435 SOS 70577 HAS SOPS 69668 HAS SOUS 40390 HAS SOUPS 39827 WITH SCORE 39897.577
AT ITER 1106 NEW BEST:: SOT 105279 SOS 70421 HAS SOPS 69512 HAS SOUS 40188 HAS SOUPS 39625 WITH SCORE 39695.421
AT ITER 1109 NEW BEST:: SOT 105236 SOS 70378 HAS SOPS 69469 HAS SOUS 40145 HAS SOUPS 39582 WITH SCORE 39652.378
AT ITER 1111 NEW BEST:: SOT 105190 SOS 70182 HAS SOPS 69273 HAS SOUS 40081 HAS SOUPS 39518 WITH SCORE 39588.182
AT ITER 1121 NEW BEST:: SOT 105206 SOS 70198 HAS SOPS 69289 HAS SOUS 40013 HAS SOUPS 39450 WITH SCORE 39520.198
AT ITER 1132 NEW BEST:: SOT 105175 SOS 70273 HAS SOPS 69364 HAS SOUS 39951 HAS SOUPS 39388 WITH SCORE 39458.273
AT ITER 1135 NEW BEST:: SOT 105149 SOS 70247 HAS SOPS 69338 HAS SOUS 39925 HAS SOUPS 39362 WITH SCORE 39432.247
AT ITER 1137 NEW BEST:: SOT 105186 SOS 69754 HAS SOPS 68834 HAS SOUS 39922 HAS SOUPS 39348 WITH SCORE 39417.754
AT ITER 1144 NEW BEST:: SOT 105186 SOS 69721 HAS SOPS 68801 HAS SOUS 39922 HAS SOUPS 39348 WITH SCORE 39417.721
AT ITER 1157 NEW BEST:: SOT 105056 SOS 69591 HAS SOPS 68671 HAS SOUS 39727 HAS SOUPS 39153 WITH SCORE 39222.591
AT ITER 1169 NEW BEST:: SOT 104807 SOS 69056 HAS SOPS 68136 HAS SOUS 39523 HAS SOUPS 38949 WITH SCORE 39018.056
AT ITER 1170 NEW BEST:: SOT 104821 SOS 69097 HAS SOPS 68177 HAS SOUS 39514 HAS SOUPS 38940 WITH SCORE 39009.097
AT ITER 1175 NEW BEST:: SOT 104811 SOS 69087 HAS SOPS 68167 HAS SOUS 39504 HAS SOUPS 38930 WITH SCORE 38999.087
AT ITER 1183 NEW BEST:: SOT 104823 SOS 68949 HAS SOPS 68029 HAS SOUS 39487 HAS SOUPS 38913 WITH SCORE 38981.949
AT ITER 1189 NEW BEST:: SOT 104795 SOS 68951 HAS SOPS 68031 HAS SOUS 39479 HAS SOUPS 38905 WITH SCORE 38973.951
AT ITER 1192 NEW BEST:: SOT 104522 SOS 68892 HAS SOPS 67972 HAS SOUS 39426 HAS SOUPS 38852 WITH SCORE 38920.892
AT ITER 1196 NEW BEST:: SOT 104510 SOS 68614 HAS SOPS 67694 HAS SOUS 39420 HAS SOUPS 38846 WITH SCORE 38914.614
AT ITER 1203 NEW BEST:: SOT 104532 SOS 68603 HAS SOPS 67683 HAS SOUS 39420 HAS SOUPS 38846 WITH SCORE 38914.603
AT ITER 1207 NEW BEST:: SOT 104432 SOS 69154 HAS SOPS 68234 HAS SOUS 39415 HAS SOUPS 38841 WITH SCORE 38910.154
AT ITER 1209 NEW BEST:: SOT 104450 SOS 69140 HAS SOPS 68202 HAS SOUS 39401 HAS SOUPS 38809 WITH SCORE 38878.14
AT ITER 1210 NEW BEST:: SOT 104551 SOS 68830 HAS SOPS 67892 HAS SOUS 39389 HAS SOUPS 38797 WITH SCORE 38865.83
AT ITER 1222 NEW BEST:: SOT 104449 SOS 68006 HAS SOPS 67068 HAS SOUS 39310 HAS SOUPS 38718 WITH SCORE 38786.006
AT ITER 1227 NEW BEST:: SOT 104377 SOS 67934 HAS SOPS 66996 HAS SOUS 39190 HAS SOUPS 38598 WITH SCORE 38665.934
AT ITER 1229 NEW BEST:: SOT 104410 SOS 67806 HAS SOPS 66868 HAS SOUS 39190 HAS SOUPS 38598 WITH SCORE 38665.806
AT ITER 1231 NEW BEST:: SOT 104254 SOS 67650 HAS SOPS 66712 HAS SOUS 39086 HAS SOUPS 38494 WITH SCORE 38561.65
AT ITER 1248 NEW BEST:: SOT 104254 SOS 67618 HAS SOPS 66680 HAS SOUS 39074 HAS SOUPS 38482 WITH SCORE 38549.618
AT ITER 1252 NEW BEST:: SOT 104254 SOS 67761 HAS SOPS 66823 HAS SOUS 39073 HAS SOUPS 38481 WITH SCORE 38548.761
AT ITER 1255 NEW BEST:: SOT 104251 SOS 67706 HAS SOPS 66768 HAS SOUS 39057 HAS SOUPS 38465 WITH SCORE 38532.706
AT ITER 1263 NEW BEST:: SOT 104245 SOS 67739 HAS SOPS 66801 HAS SOUS 38939 HAS SOUPS 38347 WITH SCORE 38414.739
AT ITER 1266 NEW BEST:: SOT 104188 SOS 67682 HAS SOPS 66744 HAS SOUS 38882 HAS SOUPS 38290 WITH SCORE 38357.682
AT ITER 1272 NEW BEST:: SOT 104111 SOS 66913 HAS SOPS 65928 HAS SOUS 38876 HAS SOUPS 38237 WITH SCORE 38303.913
AT ITER 1280 NEW BEST:: SOT 104103 SOS 66857 HAS SOPS 65872 HAS SOUS 38868 HAS SOUPS 38229 WITH SCORE 38295.857
AT ITER 1283 NEW BEST:: SOT 104091 SOS 66797 HAS SOPS 65812 HAS SOUS 38844 HAS SOUPS 38205 WITH SCORE 38271.797
AT ITER 1284 NEW BEST:: SOT 104129 SOS 66645 HAS SOPS 65660 HAS SOUS 38844 HAS SOUPS 38205 WITH SCORE 38271.645
AT ITER 1294 NEW BEST:: SOT 104060 SOS 66532 HAS SOPS 65553 HAS SOUS 38737 HAS SOUPS 38104 WITH SCORE 38170.532
AT ITER 1301 NEW BEST:: SOT 104126 SOS 66508 HAS SOPS 65529 HAS SOUS 38730 HAS SOUPS 38097 WITH SCORE 38163.508
AT ITER 1302 NEW BEST:: SOT 103560 SOS 65900 HAS SOPS 64921 HAS SOUS 38100 HAS SOUPS 37467 WITH SCORE 37532.9
AT ITER 1303 NEW BEST:: SOT 103552 SOS 65892 HAS SOPS 64913 HAS SOUS 38092 HAS SOUPS 37459 WITH SCORE 37524.892
AT ITER 1313 NEW BEST:: SOT 103490 SOS 65605 HAS SOPS 64643 HAS SOUS 37926 HAS SOUPS 37310 WITH SCORE 37375.605
AT ITER 1314 NEW BEST:: SOT 103436 SOS 65551 HAS SOPS 64589 HAS SOUS 37872 HAS SOUPS 37256 WITH SCORE 37321.551
AT ITER 1316 NEW BEST:: SOT 103436 SOS 64685 HAS SOPS 63715 HAS SOUS 37872 HAS SOUPS 37248 WITH SCORE 37312.685
AT ITER 1324 NEW BEST:: SOT 103364 SOS 64619 HAS SOPS 63649 HAS SOUS 37859 HAS SOUPS 37235 WITH SCORE 37299.619
AT ITER 1327 NEW BEST:: SOT 103420 SOS 64677 HAS SOPS 63707 HAS SOUS 37853 HAS SOUPS 37229 WITH SCORE 37293.677
AT ITER 1338 NEW BEST:: SOT 103280 SOS 64537 HAS SOPS 63567 HAS SOUS 37713 HAS SOUPS 37089 WITH SCORE 37153.537
AT ITER 1343 NEW BEST:: SOT 103247 SOS 64504 HAS SOPS 63534 HAS SOUS 37691 HAS SOUPS 37067 WITH SCORE 37131.504
AT ITER 1356 NEW BEST:: SOT 103225 SOS 64496 HAS SOPS 63526 HAS SOUS 37540 HAS SOUPS 36916 WITH SCORE 36980.496
AT ITER 1366 NEW BEST:: SOT 103219 SOS 64496 HAS SOPS 63526 HAS SOUS 37534 HAS SOUPS 36910 WITH SCORE 36974.496
AT ITER 1372 NEW BEST:: SOT 103208 SOS 64485 HAS SOPS 63515 HAS SOUS 37335 HAS SOUPS 36711 WITH SCORE 36775.485
AT ITER 1385 NEW BEST:: SOT 103219 SOS 64189 HAS SOPS 63219 HAS SOUS 37308 HAS SOUPS 36684 WITH SCORE 36748.189
AT ITER 1388 NEW BEST:: SOT 103199 SOS 64181 HAS SOPS 63211 HAS SOUS 37300 HAS SOUPS 36676 WITH SCORE 36740.181
AT ITER 1390 NEW BEST:: SOT 103134 SOS 64138 HAS SOPS 63168 HAS SOUS 37176 HAS SOUPS 36552 WITH SCORE 36616.138
AT ITER 1422 NEW BEST:: SOT 103122 SOS 64126 HAS SOPS 63156 HAS SOUS 37170 HAS SOUPS 36546 WITH SCORE 36610.126
AT ITER 1437 NEW BEST:: SOT 103042 SOS 64115 HAS SOPS 63145 HAS SOUS 37080 HAS SOUPS 36456 WITH SCORE 36520.115
AT ITER 1447 NEW BEST:: SOT 103042 SOS 64115 HAS SOPS 63145 HAS SOUS 37046 HAS SOUPS 36422 WITH SCORE 36486.115
AT ITER 1451 NEW BEST:: SOT 103024 SOS 64097 HAS SOPS 63127 HAS SOUS 36994 HAS SOUPS 36370 WITH SCORE 36434.097
AT ITER 1459 NEW BEST:: SOT 103074 SOS 64535 HAS SOPS 63565 HAS SOUS 36947 HAS SOUPS 36323 WITH SCORE 36387.535
AT ITER 1462 NEW BEST:: SOT 103038 SOS 64443 HAS SOPS 63473 HAS SOUS 36821 HAS SOUPS 36197 WITH SCORE 36261.443
AT ITER 1473 NEW BEST:: SOT 103045 SOS 64450 HAS SOPS 63480 HAS SOUS 36662 HAS SOUPS 36038 WITH SCORE 36102.45
AT ITER 1501 NEW BEST:: SOT 103143 SOS 64370 HAS SOPS 63400 HAS SOUS 36559 HAS SOUPS 35935 WITH SCORE 35999.37
AT ITER 1502 NEW BEST:: SOT 103125 SOS 64352 HAS SOPS 63382 HAS SOUS 36532 HAS SOUPS 35908 WITH SCORE 35972.352
AT ITER 1512 NEW BEST:: SOT 103125 SOS 64352 HAS SOPS 63382 HAS SOUS 36484 HAS SOUPS 35860 WITH SCORE 35924.352
AT ITER 1523 NEW BEST:: SOT 103174 SOS 64351 HAS SOPS 63381 HAS SOUS 36445 HAS SOUPS 35821 WITH SCORE 35885.351
AT ITER 1537 NEW BEST:: SOT 103100 SOS 64277 HAS SOPS 63307 HAS SOUS 36371 HAS SOUPS 35747 WITH SCORE 35811.277
AT ITER 1541 NEW BEST:: SOT 103100 SOS 64277 HAS SOPS 63307 HAS SOUS 36325 HAS SOUPS 35701 WITH SCORE 35765.277
AT ITER 1548 NEW BEST:: SOT 103092 SOS 64261 HAS SOPS 63291 HAS SOUS 36309 HAS SOUPS 35685 WITH SCORE 35749.261
AT ITER 1554 NEW BEST:: SOT 103041 SOS 64210 HAS SOPS 63240 HAS SOUS 36126 HAS SOUPS 35502 WITH SCORE 35566.21
AT ITER 1556 NEW BEST:: SOT 103031 SOS 64176 HAS SOPS 63198 HAS SOUS 36124 HAS SOUPS 35492 WITH SCORE 35556.176
AT ITER 1566 NEW BEST:: SOT 103054 SOS 64199 HAS SOPS 63221 HAS SOUS 36073 HAS SOUPS 35441 WITH SCORE 35505.199
AT ITER 1571 NEW BEST:: SOT 103029 SOS 64100 HAS SOPS 63122 HAS SOUS 36026 HAS SOUPS 35394 WITH SCORE 35458.1
AT ITER 1592 NEW BEST:: SOT 103211 SOS 64222 HAS SOPS 63244 HAS SOUS 35988 HAS SOUPS 35356 WITH SCORE 35420.222
AT ITER 1594 NEW BEST:: SOT 103034 SOS 64235 HAS SOPS 63315 HAS SOUS 35847 HAS SOUPS 35215 WITH SCORE 35279.235
AT ITER 1600 NEW BEST:: SOT 103010 SOS 64211 HAS SOPS 63291 HAS SOUS 35779 HAS SOUPS 35147 WITH SCORE 35211.211
AT ITER 1605 NEW BEST:: SOT 102986 SOS 64187 HAS SOPS 63267 HAS SOUS 35679 HAS SOUPS 35047 WITH SCORE 35111.187
AT ITER 1606 NEW BEST:: SOT 102905 SOS 64106 HAS SOPS 63186 HAS SOUS 35598 HAS SOUPS 34966 WITH SCORE 35030.106
AT ITER 1609 NEW BEST:: SOT 102704 SOS 63803 HAS SOPS 62883 HAS SOUS 35451 HAS SOUPS 34819 WITH SCORE 34882.803
AT ITER 1617 NEW BEST:: SOT 102513 SOS 63612 HAS SOPS 62692 HAS SOUS 35269 HAS SOUPS 34637 WITH SCORE 34700.612
AT ITER 1619 NEW BEST:: SOT 102424 SOS 63746 HAS SOPS 62826 HAS SOUS 35256 HAS SOUPS 34624 WITH SCORE 34687.746
AT ITER 1624 NEW BEST:: SOT 102242 SOS 63564 HAS SOPS 62644 HAS SOUS 35254 HAS SOUPS 34622 WITH SCORE 34685.564
AT ITER 1629 NEW BEST:: SOT 102248 SOS 63544 HAS SOPS 62624 HAS SOUS 35239 HAS SOUPS 34607 WITH SCORE 34670.544
AT ITER 1631 NEW BEST:: SOT 102200 SOS 63496 HAS SOPS 62576 HAS SOUS 35233 HAS SOUPS 34601 WITH SCORE 34664.496
AT ITER 1632 NEW BEST:: SOT 102190 SOS 63430 HAS SOPS 62510 HAS SOUS 35197 HAS SOUPS 34565 WITH SCORE 34628.43
AT ITER 1643 NEW BEST:: SOT 102106 SOS 63361 HAS SOPS 62456 HAS SOUS 35128 HAS SOUPS 34511 WITH SCORE 34574.361
AT ITER 1652 NEW BEST:: SOT 102174 SOS 63229 HAS SOPS 62316 HAS SOUS 35136 HAS SOUPS 34511 WITH SCORE 34574.229
AT ITER 1657 NEW BEST:: SOT 102165 SOS 63220 HAS SOPS 62307 HAS SOUS 35127 HAS SOUPS 34502 WITH SCORE 34565.22
AT ITER 1663 NEW BEST:: SOT 101955 SOS 62968 HAS SOPS 62055 HAS SOUS 34903 HAS SOUPS 34278 WITH SCORE 34340.968
AT ITER 1671 NEW BEST:: SOT 101921 SOS 62901 HAS SOPS 61979 HAS SOUS 34903 HAS SOUPS 34269 WITH SCORE 34331.901
AT ITER 1680 NEW BEST:: SOT 101914 SOS 62806 HAS SOPS 61884 HAS SOUS 34864 HAS SOUPS 34230 WITH SCORE 34292.806
AT ITER 1684 NEW BEST:: SOT 101888 SOS 62780 HAS SOPS 61858 HAS SOUS 34829 HAS SOUPS 34195 WITH SCORE 34257.78
AT ITER 1697 NEW BEST:: SOT 101868 SOS 62730 HAS SOPS 61808 HAS SOUS 34809 HAS SOUPS 34175 WITH SCORE 34237.73
AT ITER 1700 NEW BEST:: SOT 101892 SOS 62738 HAS SOPS 61816 HAS SOUS 34801 HAS SOUPS 34167 WITH SCORE 34229.738
AT ITER 1704 NEW BEST:: SOT 101877 SOS 62773 HAS SOPS 61851 HAS SOUS 34797 HAS SOUPS 34163 WITH SCORE 34225.773
AT ITER 1707 NEW BEST:: SOT 101917 SOS 62798 HAS SOPS 61876 HAS SOUS 34771 HAS SOUPS 34137 WITH SCORE 34199.798
AT ITER 1708 NEW BEST:: SOT 101916 SOS 62726 HAS SOPS 61804 HAS SOUS 34770 HAS SOUPS 34136 WITH SCORE 34198.726
AT ITER 1727 NEW BEST:: SOT 101867 SOS 62677 HAS SOPS 61755 HAS SOUS 34740 HAS SOUPS 34106 WITH SCORE 34168.677
AT ITER 1732 NEW BEST:: SOT 101869 SOS 62728 HAS SOPS 61806 HAS SOUS 34718 HAS SOUPS 34084 WITH SCORE 34146.728
AT ITER 1733 NEW BEST:: SOT 101898 SOS 62757 HAS SOPS 61835 HAS SOUS 34681 HAS SOUPS 34047 WITH SCORE 34109.757
AT ITER 1739 NEW BEST:: SOT 101866 SOS 62677 HAS SOPS 61755 HAS SOUS 34617 HAS SOUPS 33983 WITH SCORE 34045.677
AT ITER 1743 NEW BEST:: SOT 101821 SOS 62581 HAS SOPS 61710 HAS SOUS 34521 HAS SOUPS 33938 WITH SCORE 34000.581
AT ITER 1748 NEW BEST:: SOT 101773 SOS 62389 HAS SOPS 61470 HAS SOUS 34425 HAS SOUPS 33842 WITH SCORE 33904.389
AT ITER 1750 NEW BEST:: SOT 101746 SOS 62214 HAS SOPS 61295 HAS SOUS 34412 HAS SOUPS 33829 WITH SCORE 33891.214
AT ITER 1751 NEW BEST:: SOT 101690 SOS 62214 HAS SOPS 61295 HAS SOUS 34401 HAS SOUPS 33818 WITH SCORE 33880.214
AT ITER 1756 NEW BEST:: SOT 101654 SOS 62064 HAS SOPS 61126 HAS SOUS 34327 HAS SOUPS 33725 WITH SCORE 33787.064
AT ITER 1762 NEW BEST:: SOT 101422 SOS 62078 HAS SOPS 61140 HAS SOUS 34283 HAS SOUPS 33681 WITH SCORE 33743.078
AT ITER 1765 NEW BEST:: SOT 101422 SOS 62074 HAS SOPS 61136 HAS SOUS 34283 HAS SOUPS 33681 WITH SCORE 33743.074
AT ITER 1772 NEW BEST:: SOT 101447 SOS 61971 HAS SOPS 61033 HAS SOUS 34217 HAS SOUPS 33615 WITH SCORE 33676.971
AT ITER 1786 NEW BEST:: SOT 101353 SOS 61819 HAS SOPS 60881 HAS SOUS 34115 HAS SOUPS 33513 WITH SCORE 33574.819
AT ITER 1787 NEW BEST:: SOT 101353 SOS 61775 HAS SOPS 60837 HAS SOUS 34115 HAS SOUPS 33513 WITH SCORE 33574.775
AT ITER 1789 NEW BEST:: SOT 101265 SOS 61641 HAS SOPS 60681 HAS SOUS 33934 HAS SOUPS 33310 WITH SCORE 33371.641
AT ITER 1792 NEW BEST:: SOT 101285 SOS 61661 HAS SOPS 60701 HAS SOUS 33830 HAS SOUPS 33206 WITH SCORE 33267.661
AT ITER 1796 NEW BEST:: SOT 101285 SOS 61681 HAS SOPS 60721 HAS SOUS 33827 HAS SOUPS 33203 WITH SCORE 33264.681
AT ITER 1805 NEW BEST:: SOT 101237 SOS 61681 HAS SOPS 60721 HAS SOUS 33790 HAS SOUPS 33166 WITH SCORE 33227.681
AT ITER 1809 NEW BEST:: SOT 101160 SOS 61604 HAS SOPS 60644 HAS SOUS 33709 HAS SOUPS 33085 WITH SCORE 33146.604
AT ITER 1811 NEW BEST:: SOT 101132 SOS 61598 HAS SOPS 60631 HAS SOUS 33690 HAS SOUPS 33059 WITH SCORE 33120.598
AT ITER 1813 NEW BEST:: SOT 101128 SOS 61594 HAS SOPS 60627 HAS SOUS 33688 HAS SOUPS 33057 WITH SCORE 33118.594
AT ITER 1816 NEW BEST:: SOT 101074 SOS 61448 HAS SOPS 60510 HAS SOUS 33601 HAS SOUPS 32999 WITH SCORE 33060.448
AT ITER 1826 NEW BEST:: SOT 100889 SOS 60941 HAS SOPS 60003 HAS SOUS 33314 HAS SOUPS 32712 WITH SCORE 32772.941
AT ITER 1830 NEW BEST:: SOT 100900 SOS 60933 HAS SOPS 59989 HAS SOUS 33314 HAS SOUPS 32709 WITH SCORE 32769.933
AT ITER 1832 NEW BEST:: SOT 100840 SOS 60873 HAS SOPS 59929 HAS SOUS 33280 HAS SOUPS 32675 WITH SCORE 32735.873
AT ITER 1837 NEW BEST:: SOT 100840 SOS 60813 HAS SOPS 59869 HAS SOUS 33250 HAS SOUPS 32645 WITH SCORE 32705.813
AT ITER 1845 NEW BEST:: SOT 100830 SOS 60794 HAS SOPS 59850 HAS SOUS 33249 HAS SOUPS 32644 WITH SCORE 32704.794
AT ITER 1849 NEW BEST:: SOT 100830 SOS 60709 HAS SOPS 59765 HAS SOUS 33225 HAS SOUPS 32620 WITH SCORE 32680.709
AT ITER 1867 NEW BEST:: SOT 100830 SOS 60691 HAS SOPS 59747 HAS SOUS 33225 HAS SOUPS 32620 WITH SCORE 32680.691
AT ITER 1876 NEW BEST:: SOT 100512 SOS 60491 HAS SOPS 59502 HAS SOUS 32987 HAS SOUPS 32337 WITH SCORE 32397.491
AT ITER 1882 NEW BEST:: SOT 100512 SOS 60428 HAS SOPS 59430 HAS SOUS 32987 HAS SOUPS 32328 WITH SCORE 32388.428
AT ITER 1887 NEW BEST:: SOT 100554 SOS 59664 HAS SOPS 58560 HAS SOUS 33007 HAS SOUPS 32242 WITH SCORE 32301.664
AT ITER 1903 NEW BEST:: SOT 100529 SOS 59545 HAS SOPS 58441 HAS SOUS 32921 HAS SOUPS 32156 WITH SCORE 32215.545
AT ITER 1904 NEW BEST:: SOT 100497 SOS 59072 HAS SOPS 58115 HAS SOUS 32742 HAS SOUPS 32124 WITH SCORE 32183.072
AT ITER 1908 NEW BEST:: SOT 100490 SOS 59029 HAS SOPS 58072 HAS SOUS 32732 HAS SOUPS 32114 WITH SCORE 32173.029
AT ITER 1913 NEW BEST:: SOT 100521 SOS 59060 HAS SOPS 58103 HAS SOUS 32701 HAS SOUPS 32083 WITH SCORE 32142.06
AT ITER 1916 NEW BEST:: SOT 100521 SOS 59060 HAS SOPS 58103 HAS SOUS 32685 HAS SOUPS 32067 WITH SCORE 32126.06
AT ITER 1921 NEW BEST:: SOT 100563 SOS 59065 HAS SOPS 57995 HAS SOUS 32746 HAS SOUPS 32015 WITH SCORE 32074.065
AT ITER 1925 NEW BEST:: SOT 100562 SOS 58844 HAS SOPS 57774 HAS SOUS 32745 HAS SOUPS 32014 WITH SCORE 32072.844
AT ITER 1952 NEW BEST:: SOT 100545 SOS 58827 HAS SOPS 57757 HAS SOUS 32573 HAS SOUPS 31842 WITH SCORE 31900.827
AT ITER 1969 NEW BEST:: SOT 100533 SOS 58815 HAS SOPS 57745 HAS SOUS 32561 HAS SOUPS 31830 WITH SCORE 31888.815
AT ITER 1978 NEW BEST:: SOT 100547 SOS 58829 HAS SOPS 57759 HAS SOUS 32517 HAS SOUPS 31786 WITH SCORE 31844.829
AT ITER 1982 NEW BEST:: SOT 100550 SOS 58832 HAS SOPS 57762 HAS SOUS 32510 HAS SOUPS 31779 WITH SCORE 31837.832
AT ITER 1983 NEW BEST:: SOT 100362 SOS 58587 HAS SOPS 57517 HAS SOUS 32256 HAS SOUPS 31525 WITH SCORE 31583.587
AT ITER 1986 NEW BEST:: SOT 100361 SOS 58577 HAS SOPS 57507 HAS SOUS 32125 HAS SOUPS 31394 WITH SCORE 31452.577
AT ITER 1995 NEW BEST:: SOT 100361 SOS 58597 HAS SOPS 57527 HAS SOUS 32099 HAS SOUPS 31368 WITH SCORE 31426.597
AT ITER 2002 NEW BEST:: SOT 100372 SOS 58584 HAS SOPS 57514 HAS SOUS 32098 HAS SOUPS 31367 WITH SCORE 31425.584
AT ITER 2011 NEW BEST:: SOT 100302 SOS 58514 HAS SOPS 57444 HAS SOUS 32028 HAS SOUPS 31297 WITH SCORE 31355.514
AT ITER 2012 NEW BEST:: SOT 100200 SOS 58624 HAS SOPS 57342 HAS SOUS 31917 HAS SOUPS 31080 WITH SCORE 31138.624
AT ITER 2030 NEW BEST:: SOT 99916 SOS 58340 HAS SOPS 57058 HAS SOUS 31633 HAS SOUPS 30796 WITH SCORE 30854.34
AT ITER 2058 NEW BEST:: SOT 99914 SOS 58352 HAS SOPS 57070 HAS SOUS 31631 HAS SOUPS 30794 WITH SCORE 30852.352
AT ITER 2062 NEW BEST:: SOT 99978 SOS 58416 HAS SOPS 57134 HAS SOUS 31623 HAS SOUPS 30786 WITH SCORE 30844.416
AT ITER 2064 NEW BEST:: SOT 99902 SOS 58324 HAS SOPS 57042 HAS SOUS 31497 HAS SOUPS 30660 WITH SCORE 30718.324
AT ITER 2066 NEW BEST:: SOT 99827 SOS 58114 HAS SOPS 56832 HAS SOUS 31416 HAS SOUPS 30579 WITH SCORE 30637.114
AT ITER 2068 NEW BEST:: SOT 99809 SOS 58096 HAS SOPS 56814 HAS SOUS 31398 HAS SOUPS 30561 WITH SCORE 30619.096
AT ITER 2076 NEW BEST:: SOT 99820 SOS 58092 HAS SOPS 56810 HAS SOUS 31398 HAS SOUPS 30561 WITH SCORE 30619.092
AT ITER 2090 NEW BEST:: SOT 99820 SOS 58065 HAS SOPS 56783 HAS SOUS 31377 HAS SOUPS 30540 WITH SCORE 30598.065
AT ITER 2094 NEW BEST:: SOT 99808 SOS 58053 HAS SOPS 56771 HAS SOUS 31349 HAS SOUPS 30512 WITH SCORE 30570.053
AT ITER 2097 NEW BEST:: SOT 99801 SOS 58046 HAS SOPS 56764 HAS SOUS 31140 HAS SOUPS 30303 WITH SCORE 30361.046
AT ITER 2105 NEW BEST:: SOT 99801 SOS 58034 HAS SOPS 56752 HAS SOUS 31140 HAS SOUPS 30303 WITH SCORE 30361.034
AT ITER 2113 NEW BEST:: SOT 99951 SOS 58190 HAS SOPS 56908 HAS SOUS 31132 HAS SOUPS 30295 WITH SCORE 30353.19
AT ITER 2114 NEW BEST:: SOT 99951 SOS 58016 HAS SOPS 56734 HAS SOUS 31008 HAS SOUPS 30171 WITH SCORE 30229.016
AT ITER 2119 NEW BEST:: SOT 99951 SOS 58016 HAS SOPS 56734 HAS SOUS 30968 HAS SOUPS 30131 WITH SCORE 30189.016
AT ITER 2126 NEW BEST:: SOT 99951 SOS 57920 HAS SOPS 56638 HAS SOUS 30968 HAS SOUPS 30131 WITH SCORE 30188.92
AT ITER 2137 NEW BEST:: SOT 99951 SOS 57880 HAS SOPS 56582 HAS SOUS 30952 HAS SOUPS 30099 WITH SCORE 30156.88
AT ITER 2155 NEW BEST:: SOT 99847 SOS 57766 HAS SOPS 56468 HAS SOUS 30814 HAS SOUPS 29961 WITH SCORE 30018.766
AT ITER 2156 NEW BEST:: SOT 99847 SOS 57766 HAS SOPS 56468 HAS SOUS 30812 HAS SOUPS 29959 WITH SCORE 30016.766
AT ITER 2165 NEW BEST:: SOT 99850 SOS 57785 HAS SOPS 56487 HAS SOUS 30755 HAS SOUPS 29902 WITH SCORE 29959.785
AT ITER 2168 NEW BEST:: SOT 99850 SOS 57756 HAS SOPS 56458 HAS SOUS 30755 HAS SOUPS 29902 WITH SCORE 29959.756
AT ITER 2173 NEW BEST:: SOT 99833 SOS 57749 HAS SOPS 56434 HAS SOUS 30765 HAS SOUPS 29895 WITH SCORE 29952.749
AT ITER 2180 NEW BEST:: SOT 99827 SOS 57745 HAS SOPS 56430 HAS SOUS 30759 HAS SOUPS 29889 WITH SCORE 29946.745
AT ITER 2189 NEW BEST:: SOT 99817 SOS 57735 HAS SOPS 56420 HAS SOUS 30759 HAS SOUPS 29889 WITH SCORE 29946.735
AT ITER 2195 NEW BEST:: SOT 99775 SOS 57693 HAS SOPS 56378 HAS SOUS 30717 HAS SOUPS 29847 WITH SCORE 29904.693
AT ITER 2209 NEW BEST:: SOT 99765 SOS 57663 HAS SOPS 56348 HAS SOUS 30702 HAS SOUPS 29832 WITH SCORE 29889.663
AT ITER 2212 NEW BEST:: SOT 99653 SOS 57544 HAS SOPS 56229 HAS SOUS 30699 HAS SOUPS 29829 WITH SCORE 29886.544
AT ITER 2228 NEW BEST:: SOT 99659 SOS 57550 HAS SOPS 56235 HAS SOUS 30693 HAS SOUPS 29823 WITH SCORE 29880.55
AT ITER 2247 NEW BEST:: SOT 99641 SOS 57658 HAS SOPS 56343 HAS SOUS 30675 HAS SOUPS 29805 WITH SCORE 29862.658
AT ITER 2249 NEW BEST:: SOT 99667 SOS 57698 HAS SOPS 56383 HAS SOUS 30619 HAS SOUPS 29749 WITH SCORE 29806.698
AT ITER 2264 NEW BEST:: SOT 99656 SOS 57727 HAS SOPS 56412 HAS SOUS 30568 HAS SOUPS 29698 WITH SCORE 29755.727
AT ITER 2266 NEW BEST:: SOT 99656 SOS 57707 HAS SOPS 56392 HAS SOUS 30568 HAS SOUPS 29698 WITH SCORE 29755.707
AT ITER 2271 NEW BEST:: SOT 99609 SOS 57575 HAS SOPS 56260 HAS SOUS 30389 HAS SOUPS 29519 WITH SCORE 29576.575
AT ITER 2275 NEW BEST:: SOT 99595 SOS 57561 HAS SOPS 56246 HAS SOUS 30362 HAS SOUPS 29492 WITH SCORE 29549.561
AT ITER 2284 NEW BEST:: SOT 99592 SOS 57555 HAS SOPS 56240 HAS SOUS 30353 HAS SOUPS 29483 WITH SCORE 29540.555
AT ITER 2289 NEW BEST:: SOT 99417 SOS 57014 HAS SOPS 55699 HAS SOUS 30275 HAS SOUPS 29405 WITH SCORE 29462.014
AT ITER 2294 NEW BEST:: SOT 99407 SOS 57004 HAS SOPS 55689 HAS SOUS 30265 HAS SOUPS 29395 WITH SCORE 29452.004
AT ITER 2305 NEW BEST:: SOT 99401 SOS 57105 HAS SOPS 55790 HAS SOUS 30256 HAS SOUPS 29386 WITH SCORE 29443.105
AT ITER 2320 NEW BEST:: SOT 99408 SOS 57089 HAS SOPS 55782 HAS SOUS 30240 HAS SOUPS 29378 WITH SCORE 29435.089
AT ITER 2331 NEW BEST:: SOT 99529 SOS 57210 HAS SOPS 55903 HAS SOUS 30219 HAS SOUPS 29357 WITH SCORE 29414.21
AT ITER 2332 NEW BEST:: SOT 99529 SOS 57210 HAS SOPS 55903 HAS SOUS 30217 HAS SOUPS 29355 WITH SCORE 29412.21
AT ITER 2341 NEW BEST:: SOT 99517 SOS 57198 HAS SOPS 55891 HAS SOUS 30217 HAS SOUPS 29355 WITH SCORE 29412.198
AT ITER 2353 NEW BEST:: SOT 99491 SOS 57172 HAS SOPS 55865 HAS SOUS 30191 HAS SOUPS 29329 WITH SCORE 29386.172
AT ITER 2369 NEW BEST:: SOT 99517 SOS 57198 HAS SOPS 55891 HAS SOUS 30165 HAS SOUPS 29303 WITH SCORE 29360.198
AT ITER 2380 NEW BEST:: SOT 99501 SOS 57110 HAS SOPS 55803 HAS SOUS 30131 HAS SOUPS 29269 WITH SCORE 29326.11
AT ITER 2417 NEW BEST:: SOT 99501 SOS 57110 HAS SOPS 55803 HAS SOUS 30130 HAS SOUPS 29268 WITH SCORE 29325.11
AT ITER 2427 NEW BEST:: SOT 99527 SOS 56904 HAS SOPS 55597 HAS SOUS 30098 HAS SOUPS 29236 WITH SCORE 29292.904
AT ITER 2438 NEW BEST:: SOT 99340 SOS 56870 HAS SOPS 55563 HAS SOUS 30014 HAS SOUPS 29152 WITH SCORE 29208.87
AT ITER 2448 NEW BEST:: SOT 99340 SOS 56914 HAS SOPS 55607 HAS SOUS 29992 HAS SOUPS 29130 WITH SCORE 29186.914
AT ITER 2449 NEW BEST:: SOT 99335 SOS 56909 HAS SOPS 55602 HAS SOUS 29980 HAS SOUPS 29118 WITH SCORE 29174.909
AT ITER 2481 NEW BEST:: SOT 99131 SOS 56534 HAS SOPS 55227 HAS SOUS 29774 HAS SOUPS 28912 WITH SCORE 28968.534
AT ITER 2485 NEW BEST:: SOT 99120 SOS 56443 HAS SOPS 55147 HAS SOUS 29730 HAS SOUPS 28879 WITH SCORE 28935.443
AT ITER 2524 NEW BEST:: SOT 99028 SOS 55959 HAS SOPS 54663 HAS SOUS 29499 HAS SOUPS 28648 WITH SCORE 28703.959
AT ITER 2525 NEW BEST:: SOT 99028 SOS 55953 HAS SOPS 54657 HAS SOUS 29470 HAS SOUPS 28619 WITH SCORE 28674.953
AT ITER 2531 NEW BEST:: SOT 98903 SOS 55768 HAS SOPS 54388 HAS SOUS 29301 HAS SOUPS 28373 WITH SCORE 28428.768
AT ITER 2535 NEW BEST:: SOT 98847 SOS 55625 HAS SOPS 54245 HAS SOUS 29187 HAS SOUPS 28259 WITH SCORE 28314.625
AT ITER 2538 NEW BEST:: SOT 98847 SOS 55434 HAS SOPS 54054 HAS SOUS 29156 HAS SOUPS 28228 WITH SCORE 28283.434
AT ITER 2572 NEW BEST:: SOT 98642 SOS 54120 HAS SOPS 52740 HAS SOUS 28943 HAS SOUPS 28015 WITH SCORE 28069.12
AT ITER 2586 NEW BEST:: SOT 98642 SOS 54120 HAS SOPS 52740 HAS SOUS 28928 HAS SOUPS 28000 WITH SCORE 28054.12
AT ITER 2602 NEW BEST:: SOT 98642 SOS 53990 HAS SOPS 52610 HAS SOUS 28889 HAS SOUPS 27961 WITH SCORE 28014.99
AT ITER 2603 NEW BEST:: SOT 98592 SOS 53840 HAS SOPS 52460 HAS SOUS 28789 HAS SOUPS 27861 WITH SCORE 27914.84
AT ITER 2624 NEW BEST:: SOT 98572 SOS 53810 HAS SOPS 52430 HAS SOUS 28779 HAS SOUPS 27851 WITH SCORE 27904.81
AT ITER 2626 NEW BEST:: SOT 98557 SOS 53751 HAS SOPS 52350 HAS SOUS 28785 HAS SOUPS 27836 WITH SCORE 27889.751
AT ITER 2628 NEW BEST:: SOT 98508 SOS 53702 HAS SOPS 52301 HAS SOUS 28738 HAS SOUPS 27789 WITH SCORE 27842.702
AT ITER 2642 NEW BEST:: SOT 98472 SOS 53666 HAS SOPS 52265 HAS SOUS 28738 HAS SOUPS 27789 WITH SCORE 27842.666
AT ITER 2658 NEW BEST:: SOT 98458 SOS 53602 HAS SOPS 52201 HAS SOUS 28693 HAS SOUPS 27744 WITH SCORE 27797.602
AT ITER 2678 NEW BEST:: SOT 98458 SOS 53567 HAS SOPS 52166 HAS SOUS 28675 HAS SOUPS 27726 WITH SCORE 27779.567
AT ITER 2684 NEW BEST:: SOT 98432 SOS 53515 HAS SOPS 52114 HAS SOUS 28649 HAS SOUPS 27700 WITH SCORE 27753.515
AT ITER 2694 NEW BEST:: SOT 98431 SOS 53490 HAS SOPS 52089 HAS SOUS 28618 HAS SOUPS 27669 WITH SCORE 27722.49
AT ITER 2700 NEW BEST:: SOT 98397 SOS 53521 HAS SOPS 52120 HAS SOUS 28471 HAS SOUPS 27522 WITH SCORE 27575.521
AT ITER 2716 NEW BEST:: SOT 98353 SOS 53477 HAS SOPS 52076 HAS SOUS 28447 HAS SOUPS 27498 WITH SCORE 27551.477
AT ITER 2721 NEW BEST:: SOT 98353 SOS 53307 HAS SOPS 51906 HAS SOUS 28348 HAS SOUPS 27399 WITH SCORE 27452.307
AT ITER 2727 NEW BEST:: SOT 98353 SOS 53277 HAS SOPS 51876 HAS SOUS 28340 HAS SOUPS 27391 WITH SCORE 27444.277
AT ITER 2746 NEW BEST:: SOT 98348 SOS 53267 HAS SOPS 51866 HAS SOUS 28335 HAS SOUPS 27386 WITH SCORE 27439.267
AT ITER 2755 NEW BEST:: SOT 98348 SOS 53265 HAS SOPS 51862 HAS SOUS 28333 HAS SOUPS 27382 WITH SCORE 27435.265
AT ITER 2762 NEW BEST:: SOT 98336 SOS 53259 HAS SOPS 51856 HAS SOUS 28327 HAS SOUPS 27376 WITH SCORE 27429.259
AT ITER 2765 NEW BEST:: SOT 98336 SOS 53238 HAS SOPS 51835 HAS SOUS 28327 HAS SOUPS 27376 WITH SCORE 27429.238
AT ITER 2773 NEW BEST:: SOT 98312 SOS 53214 HAS SOPS 51811 HAS SOUS 28294 HAS SOUPS 27343 WITH SCORE 27396.214
AT ITER 2779 NEW BEST:: SOT 98293 SOS 53156 HAS SOPS 51753 HAS SOUS 28238 HAS SOUPS 27287 WITH SCORE 27340.156
AT ITER 2790 NEW BEST:: SOT 98293 SOS 53144 HAS SOPS 51741 HAS SOUS 28223 HAS SOUPS 27272 WITH SCORE 27325.144
AT ITER 2795 NEW BEST:: SOT 98239 SOS 53089 HAS SOPS 51686 HAS SOUS 28222 HAS SOUPS 27271 WITH SCORE 27324.089
AT ITER 2804 NEW BEST:: SOT 98253 SOS 53034 HAS SOPS 51631 HAS SOUS 28210 HAS SOUPS 27259 WITH SCORE 27312.034
AT ITER 2810 NEW BEST:: SOT 98191 SOS 52967 HAS SOPS 51564 HAS SOUS 28155 HAS SOUPS 27204 WITH SCORE 27256.967
AT ITER 2817 NEW BEST:: SOT 98174 SOS 52902 HAS SOPS 51499 HAS SOUS 28138 HAS SOUPS 27187 WITH SCORE 27239.902
AT ITER 2837 NEW BEST:: SOT 98174 SOS 52872 HAS SOPS 51469 HAS SOUS 28138 HAS SOUPS 27187 WITH SCORE 27239.872
AT ITER 2844 NEW BEST:: SOT 98177 SOS 52861 HAS SOPS 51458 HAS SOUS 28134 HAS SOUPS 27183 WITH SCORE 27235.861
AT ITER 2857 NEW BEST:: SOT 98162 SOS 52857 HAS SOPS 51454 HAS SOUS 28124 HAS SOUPS 27173 WITH SCORE 27225.857
AT ITER 2859 NEW BEST:: SOT 98141 SOS 52836 HAS SOPS 51433 HAS SOUS 28059 HAS SOUPS 27108 WITH SCORE 27160.836
AT ITER 2860 NEW BEST:: SOT 98115 SOS 52810 HAS SOPS 51407 HAS SOUS 28033 HAS SOUPS 27082 WITH SCORE 27134.81
AT ITER 2871 NEW BEST:: SOT 98115 SOS 52782 HAS SOPS 51379 HAS SOUS 28033 HAS SOUPS 27082 WITH SCORE 27134.782
AT ITER 2884 NEW BEST:: SOT 98115 SOS 52752 HAS SOPS 51339 HAS SOUS 28036 HAS SOUPS 27075 WITH SCORE 27127.752
AT ITER 2891 NEW BEST:: SOT 98069 SOS 52706 HAS SOPS 51293 HAS SOUS 27956 HAS SOUPS 26995 WITH SCORE 27047.706
AT ITER 2893 NEW BEST:: SOT 98027 SOS 52683 HAS SOPS 51270 HAS SOUS 27911 HAS SOUPS 26950 WITH SCORE 27002.683
AT ITER 2905 NEW BEST:: SOT 98027 SOS 52727 HAS SOPS 51314 HAS SOUS 27905 HAS SOUPS 26944 WITH SCORE 26996.727
AT ITER 2911 NEW BEST:: SOT 98016 SOS 52745 HAS SOPS 51332 HAS SOUS 27894 HAS SOUPS 26933 WITH SCORE 26985.745
AT ITER 2916 NEW BEST:: SOT 98016 SOS 52529 HAS SOPS 51116 HAS SOUS 27889 HAS SOUPS 26928 WITH SCORE 26980.529
AT ITER 2918 NEW BEST:: SOT 97962 SOS 52306 HAS SOPS 50864 HAS SOUS 27866 HAS SOUPS 26905 WITH SCORE 26957.306
AT ITER 2935 NEW BEST:: SOT 97962 SOS 52306 HAS SOPS 50864 HAS SOUS 27860 HAS SOUPS 26899 WITH SCORE 26951.306
AT ITER 2945 NEW BEST:: SOT 98002 SOS 52326 HAS SOPS 50884 HAS SOUS 27854 HAS SOUPS 26893 WITH SCORE 26945.326
AT ITER 2953 NEW BEST:: SOT 98015 SOS 52334 HAS SOPS 50892 HAS SOUS 27845 HAS SOUPS 26884 WITH SCORE 26936.334
AT ITER 2960 NEW BEST:: SOT 98007 SOS 52326 HAS SOPS 50884 HAS SOUS 27837 HAS SOUPS 26876 WITH SCORE 26928.326
AT ITER 2963 NEW BEST:: SOT 98002 SOS 52358 HAS SOPS 50914 HAS SOUS 27830 HAS SOUPS 26868 WITH SCORE 26920.358
AT ITER 2969 NEW BEST:: SOT 98131 SOS 52487 HAS SOPS 51043 HAS SOUS 27785 HAS SOUPS 26823 WITH SCORE 26875.487
AT ITER 2980 NEW BEST:: SOT 98134 SOS 52484 HAS SOPS 51037 HAS SOUS 27782 HAS SOUPS 26820 WITH SCORE 26872.484
AT ITER 3008 NEW BEST:: SOT 98153 SOS 52459 HAS SOPS 51012 HAS SOUS 27779 HAS SOUPS 26817 WITH SCORE 26869.459
AT ITER 3013 NEW BEST:: SOT 97848 SOS 52685 HAS SOPS 51238 HAS SOUS 27700 HAS SOUPS 26738 WITH SCORE 26790.685
AT ITER 3015 NEW BEST:: SOT 97927 SOS 52775 HAS SOPS 51328 HAS SOUS 27690 HAS SOUPS 26728 WITH SCORE 26780.775
AT ITER 3048 NEW BEST:: SOT 97935 SOS 52751 HAS SOPS 51296 HAS SOUS 27690 HAS SOUPS 26720 WITH SCORE 26772.751
AT ITER 3068 NEW BEST:: SOT 97894 SOS 52896 HAS SOPS 51441 HAS SOUS 27673 HAS SOUPS 26703 WITH SCORE 26755.896
AT ITER 3073 NEW BEST:: SOT 97868 SOS 52855 HAS SOPS 51400 HAS SOUS 27632 HAS SOUPS 26662 WITH SCORE 26714.855
AT ITER 3076 NEW BEST:: SOT 97846 SOS 52863 HAS SOPS 51430 HAS SOUS 27589 HAS SOUPS 26641 WITH SCORE 26693.863
AT ITER 3127 NEW BEST:: SOT 97843 SOS 52839 HAS SOPS 51406 HAS SOUS 27580 HAS SOUPS 26632 WITH SCORE 26684.839
AT ITER 3129 NEW BEST:: SOT 97829 SOS 52867 HAS SOPS 51434 HAS SOUS 27573 HAS SOUPS 26625 WITH SCORE 26677.867
AT ITER 3132 NEW BEST:: SOT 97765 SOS 52803 HAS SOPS 51370 HAS SOUS 27549 HAS SOUPS 26601 WITH SCORE 26653.803
AT ITER 3145 NEW BEST:: SOT 97744 SOS 52782 HAS SOPS 51349 HAS SOUS 27528 HAS SOUPS 26580 WITH SCORE 26632.782
AT ITER 3162 NEW BEST:: SOT 97744 SOS 52733 HAS SOPS 51300 HAS SOUS 27526 HAS SOUPS 26578 WITH SCORE 26630.733
AT ITER 3187 NEW BEST:: SOT 97743 SOS 52732 HAS SOPS 51299 HAS SOUS 27523 HAS SOUPS 26575 WITH SCORE 26627.732
AT ITER 3213 NEW BEST:: SOT 97734 SOS 52723 HAS SOPS 51290 HAS SOUS 27498 HAS SOUPS 26550 WITH SCORE 26602.723
AT ITER 3215 NEW BEST:: SOT 97663 SOS 52652 HAS SOPS 51219 HAS SOUS 27427 HAS SOUPS 26479 WITH SCORE 26531.652
AT ITER 3233 NEW BEST:: SOT 97495 SOS 52569 HAS SOPS 51136 HAS SOUS 27344 HAS SOUPS 26396 WITH SCORE 26448.569
AT ITER 3237 NEW BEST:: SOT 97431 SOS 52499 HAS SOPS 51066 HAS SOUS 27324 HAS SOUPS 26376 WITH SCORE 26428.499
AT ITER 3269 NEW BEST:: SOT 97378 SOS 52476 HAS SOPS 51059 HAS SOUS 27279 HAS SOUPS 26347 WITH SCORE 26399.476
AT ITER 3270 NEW BEST:: SOT 97378 SOS 52476 HAS SOPS 51059 HAS SOUS 27197 HAS SOUPS 26265 WITH SCORE 26317.476
AT ITER 3284 NEW BEST:: SOT 97256 SOS 52324 HAS SOPS 50907 HAS SOUS 27094 HAS SOUPS 26162 WITH SCORE 26214.324
AT ITER 3346 NEW BEST:: SOT 97239 SOS 52307 HAS SOPS 50890 HAS SOUS 27060 HAS SOUPS 26128 WITH SCORE 26180.307
AT ITER 3347 NEW BEST:: SOT 97274 SOS 51470 HAS SOPS 50053 HAS SOUS 27045 HAS SOUPS 26113 WITH SCORE 26164.47
AT ITER 3355 NEW BEST:: SOT 97274 SOS 51470 HAS SOPS 50053 HAS SOUS 27043 HAS SOUPS 26111 WITH SCORE 26162.47
AT ITER 3358 NEW BEST:: SOT 97219 SOS 51381 HAS SOPS 49964 HAS SOUS 26954 HAS SOUPS 26022 WITH SCORE 26073.381
AT ITER 3364 NEW BEST:: SOT 97219 SOS 51511 HAS SOPS 50094 HAS SOUS 26945 HAS SOUPS 26013 WITH SCORE 26064.511
AT ITER 3366 NEW BEST:: SOT 97219 SOS 51385 HAS SOPS 49968 HAS SOUS 26931 HAS SOUPS 25999 WITH SCORE 26050.385
AT ITER 3385 NEW BEST:: SOT 97169 SOS 51335 HAS SOPS 49918 HAS SOUS 26899 HAS SOUPS 25967 WITH SCORE 26018.335
AT ITER 3406 NEW BEST:: SOT 97149 SOS 51315 HAS SOPS 49898 HAS SOUS 26879 HAS SOUPS 25947 WITH SCORE 25998.315
AT ITER 3417 NEW BEST:: SOT 97190 SOS 51389 HAS SOPS 49972 HAS SOUS 26873 HAS SOUPS 25941 WITH SCORE 25992.389
AT ITER 3431 NEW BEST:: SOT 97302 SOS 51501 HAS SOPS 50084 HAS SOUS 26828 HAS SOUPS 25896 WITH SCORE 25947.501
AT ITER 3453 NEW BEST:: SOT 97258 SOS 51438 HAS SOPS 50021 HAS SOUS 26775 HAS SOUPS 25843 WITH SCORE 25894.438
AT ITER 3474 NEW BEST:: SOT 97258 SOS 51393 HAS SOPS 49976 HAS SOUS 26775 HAS SOUPS 25843 WITH SCORE 25894.393
AT ITER 3488 NEW BEST:: SOT 97258 SOS 51433 HAS SOPS 49996 HAS SOUS 26775 HAS SOUPS 25823 WITH SCORE 25874.433
AT ITER 3489 NEW BEST:: SOT 97258 SOS 51433 HAS SOPS 49996 HAS SOUS 26755 HAS SOUPS 25803 WITH SCORE 25854.433
AT ITER 3492 NEW BEST:: SOT 97258 SOS 51425 HAS SOPS 49988 HAS SOUS 26747 HAS SOUPS 25795 WITH SCORE 25846.425
AT ITER 3499 NEW BEST:: SOT 97252 SOS 51419 HAS SOPS 49982 HAS SOUS 26729 HAS SOUPS 25777 WITH SCORE 25828.419
AT ITER 3514 NEW BEST:: SOT 97318 SOS 51491 HAS SOPS 50054 HAS SOUS 26689 HAS SOUPS 25737 WITH SCORE 25788.491
AT ITER 3520 NEW BEST:: SOT 97302 SOS 51475 HAS SOPS 50038 HAS SOUS 26681 HAS SOUPS 25729 WITH SCORE 25780.475
AT ITER 3529 NEW BEST:: SOT 97314 SOS 51361 HAS SOPS 49920 HAS SOUS 26677 HAS SOUPS 25725 WITH SCORE 25776.361
AT ITER 3533 NEW BEST:: SOT 97271 SOS 51289 HAS SOPS 49851 HAS SOUS 26675 HAS SOUPS 25724 WITH SCORE 25775.289
AT ITER 3543 NEW BEST:: SOT 97218 SOS 51236 HAS SOPS 49798 HAS SOUS 26622 HAS SOUPS 25671 WITH SCORE 25722.236
AT ITER 3551 NEW BEST:: SOT 97177 SOS 51217 HAS SOPS 49779 HAS SOUS 26613 HAS SOUPS 25662 WITH SCORE 25713.217
AT ITER 3562 NEW BEST:: SOT 97177 SOS 51193 HAS SOPS 49739 HAS SOUS 26605 HAS SOUPS 25638 WITH SCORE 25689.193
AT ITER 3568 NEW BEST:: SOT 97174 SOS 51190 HAS SOPS 49736 HAS SOUS 26605 HAS SOUPS 25638 WITH SCORE 25689.19
AT ITER 3594 NEW BEST:: SOT 97174 SOS 51190 HAS SOPS 49736 HAS SOUS 26597 HAS SOUPS 25630 WITH SCORE 25681.19
AT ITER 3612 NEW BEST:: SOT 97158 SOS 51174 HAS SOPS 49720 HAS SOUS 26595 HAS SOUPS 25628 WITH SCORE 25679.174
AT ITER 3697 NEW BEST:: SOT 97137 SOS 51127 HAS SOPS 49673 HAS SOUS 26592 HAS SOUPS 25625 WITH SCORE 25676.127
AT ITER 3711 NEW BEST:: SOT 97053 SOS 50979 HAS SOPS 49525 HAS SOUS 26444 HAS SOUPS 25477 WITH SCORE 25527.979
AT ITER 3737 NEW BEST:: SOT 97053 SOS 50957 HAS SOPS 49503 HAS SOUS 26422 HAS SOUPS 25455 WITH SCORE 25505.957
AT ITER 3761 NEW BEST:: SOT 96949 SOS 50852 HAS SOPS 49398 HAS SOUS 26421 HAS SOUPS 25454 WITH SCORE 25504.852
AT ITER 3763 NEW BEST:: SOT 96896 SOS 50743 HAS SOPS 49289 HAS SOUS 26340 HAS SOUPS 25373 WITH SCORE 25423.743
AT ITER 3790 NEW BEST:: SOT 96931 SOS 50778 HAS SOPS 49324 HAS SOUS 26321 HAS SOUPS 25354 WITH SCORE 25404.778
AT ITER 3809 NEW BEST:: SOT 96927 SOS 50770 HAS SOPS 49316 HAS SOUS 26317 HAS SOUPS 25350 WITH SCORE 25400.77
AT ITER 3824 NEW BEST:: SOT 96927 SOS 50772 HAS SOPS 49318 HAS SOUS 26316 HAS SOUPS 25349 WITH SCORE 25399.772
AT ITER 3850 NEW BEST:: SOT 96925 SOS 50770 HAS SOPS 49316 HAS SOUS 26304 HAS SOUPS 25337 WITH SCORE 25387.77
AT ITER 3854 NEW BEST:: SOT 96895 SOS 50628 HAS SOPS 49174 HAS SOUS 26254 HAS SOUPS 25287 WITH SCORE 25337.628
AT ITER 3864 NEW BEST:: SOT 96900 SOS 50633 HAS SOPS 49179 HAS SOUS 26243 HAS SOUPS 25276 WITH SCORE 25326.633
AT ITER 3871 NEW BEST:: SOT 96939 SOS 50672 HAS SOPS 49218 HAS SOUS 26212 HAS SOUPS 25245 WITH SCORE 25295.672
AT ITER 3885 NEW BEST:: SOT 96908 SOS 50586 HAS SOPS 49132 HAS SOUS 26192 HAS SOUPS 25225 WITH SCORE 25275.586
AT ITER 3906 NEW BEST:: SOT 96898 SOS 50566 HAS SOPS 49112 HAS SOUS 26182 HAS SOUPS 25215 WITH SCORE 25265.566
AT ITER 3929 NEW BEST:: SOT 96807 SOS 51009 HAS SOPS 49555 HAS SOUS 26105 HAS SOUPS 25138 WITH SCORE 25189.009
AT ITER 3936 NEW BEST:: SOT 96754 SOS 50931 HAS SOPS 49477 HAS SOUS 26044 HAS SOUPS 25077 WITH SCORE 25127.931
AT ITER 3945 NEW BEST:: SOT 96722 SOS 50169 HAS SOPS 48715 HAS SOUS 25977 HAS SOUPS 25010 WITH SCORE 25060.169
AT ITER 3953 NEW BEST:: SOT 96644 SOS 50074 HAS SOPS 48620 HAS SOUS 25951 HAS SOUPS 24984 WITH SCORE 25034.074
AT ITER 3955 NEW BEST:: SOT 96644 SOS 49946 HAS SOPS 48492 HAS SOUS 25894 HAS SOUPS 24927 WITH SCORE 24976.946
AT ITER 3956 NEW BEST:: SOT 96623 SOS 49925 HAS SOPS 48471 HAS SOUS 25873 HAS SOUPS 24906 WITH SCORE 24955.925
AT ITER 3967 NEW BEST:: SOT 96547 SOS 49849 HAS SOPS 48395 HAS SOUS 25826 HAS SOUPS 24859 WITH SCORE 24908.849
AT ITER 3970 NEW BEST:: SOT 96509 SOS 49811 HAS SOPS 48357 HAS SOUS 25762 HAS SOUPS 24795 WITH SCORE 24844.811
AT ITER 4001 NEW BEST:: SOT 96491 SOS 49614 HAS SOPS 48160 HAS SOUS 25669 HAS SOUPS 24702 WITH SCORE 24751.614
AT ITER 4016 NEW BEST:: SOT 96472 SOS 49581 HAS SOPS 48012 HAS SOUS 25647 HAS SOUPS 24637 WITH SCORE 24686.581
AT ITER 4058 NEW BEST:: SOT 96472 SOS 49555 HAS SOPS 47986 HAS SOUS 25637 HAS SOUPS 24627 WITH SCORE 24676.555
AT ITER 4067 NEW BEST:: SOT 96466 SOS 49549 HAS SOPS 47980 HAS SOUS 25631 HAS SOUPS 24621 WITH SCORE 24670.549
AT ITER 4090 NEW BEST:: SOT 96455 SOS 49538 HAS SOPS 47969 HAS SOUS 25620 HAS SOUPS 24610 WITH SCORE 24659.538
AT ITER 4120 NEW BEST:: SOT 96455 SOS 49538 HAS SOPS 47969 HAS SOUS 25619 HAS SOUPS 24609 WITH SCORE 24658.538
AT ITER 4137 NEW BEST:: SOT 96474 SOS 49511 HAS SOPS 47923 HAS SOUS 25592 HAS SOUPS 24582 WITH SCORE 24631.511
AT ITER 4150 NEW BEST:: SOT 96456 SOS 49489 HAS SOPS 47901 HAS SOUS 25572 HAS SOUPS 24562 WITH SCORE 24611.489
AT ITER 4176 NEW BEST:: SOT 96494 SOS 49527 HAS SOPS 47939 HAS SOUS 25570 HAS SOUPS 24560 WITH SCORE 24609.527
AT ITER 4187 NEW BEST:: SOT 96444 SOS 49505 HAS SOPS 47917 HAS SOUS 25568 HAS SOUPS 24558 WITH SCORE 24607.505
AT ITER 4210 NEW BEST:: SOT 96424 SOS 49485 HAS SOPS 47897 HAS SOUS 25549 HAS SOUPS 24539 WITH SCORE 24588.485
AT ITER 4214 NEW BEST:: SOT 96441 SOS 49436 HAS SOPS 47848 HAS SOUS 25500 HAS SOUPS 24490 WITH SCORE 24539.436
AT ITER 4223 NEW BEST:: SOT 96437 SOS 49430 HAS SOPS 47842 HAS SOUS 25500 HAS SOUPS 24490 WITH SCORE 24539.43
AT ITER 4228 NEW BEST:: SOT 96437 SOS 49284 HAS SOPS 47696 HAS SOUS 25466 HAS SOUPS 24456 WITH SCORE 24505.284
AT ITER 4257 NEW BEST:: SOT 96357 SOS 49204 HAS SOPS 47616 HAS SOUS 25386 HAS SOUPS 24376 WITH SCORE 24425.204
AT ITER 4266 NEW BEST:: SOT 96351 SOS 49198 HAS SOPS 47610 HAS SOUS 25380 HAS SOUPS 24370 WITH SCORE 24419.198
AT ITER 4267 NEW BEST:: SOT 96351 SOS 49196 HAS SOPS 47608 HAS SOUS 25378 HAS SOUPS 24368 WITH SCORE 24417.196
AT ITER 4272 NEW BEST:: SOT 96333 SOS 49108 HAS SOPS 47495 HAS SOUS 25399 HAS SOUPS 24364 WITH SCORE 24413.108
AT ITER 4274 NEW BEST:: SOT 96399 SOS 49172 HAS SOPS 47558 HAS SOUS 25347 HAS SOUPS 24312 WITH SCORE 24361.172
AT ITER 4287 NEW BEST:: SOT 96395 SOS 49054 HAS SOPS 47440 HAS SOUS 25343 HAS SOUPS 24308 WITH SCORE 24357.054
AT ITER 4301 NEW BEST:: SOT 96379 SOS 49046 HAS SOPS 47432 HAS SOUS 25343 HAS SOUPS 24308 WITH SCORE 24357.046
AT ITER 4321 NEW BEST:: SOT 96337 SOS 49004 HAS SOPS 47390 HAS SOUS 25343 HAS SOUPS 24308 WITH SCORE 24357.004
AT ITER 4322 NEW BEST:: SOT 96488 SOS 48526 HAS SOPS 46912 HAS SOUS 25297 HAS SOUPS 24262 WITH SCORE 24310.526
AT ITER 4329 NEW BEST:: SOT 96488 SOS 48526 HAS SOPS 46912 HAS SOUS 25272 HAS SOUPS 24237 WITH SCORE 24285.526
AT ITER 4331 NEW BEST:: SOT 96467 SOS 48555 HAS SOPS 46941 HAS SOUS 25229 HAS SOUPS 24194 WITH SCORE 24242.555
AT ITER 4343 NEW BEST:: SOT 96493 SOS 48581 HAS SOPS 46967 HAS SOUS 25209 HAS SOUPS 24174 WITH SCORE 24222.581
AT ITER 4344 NEW BEST:: SOT 96490 SOS 48575 HAS SOPS 46961 HAS SOUS 25201 HAS SOUPS 24166 WITH SCORE 24214.575
AT ITER 4353 NEW BEST:: SOT 96544 SOS 48791 HAS SOPS 47096 HAS SOUS 25255 HAS SOUPS 24139 WITH SCORE 24187.791
AT ITER 4395 NEW BEST:: SOT 96525 SOS 48772 HAS SOPS 47077 HAS SOUS 25244 HAS SOUPS 24128 WITH SCORE 24176.772
AT ITER 4397 NEW BEST:: SOT 96551 SOS 48798 HAS SOPS 47103 HAS SOUS 25232 HAS SOUPS 24116 WITH SCORE 24164.798
AT ITER 4400 NEW BEST:: SOT 96551 SOS 48798 HAS SOPS 47103 HAS SOUS 25226 HAS SOUPS 24110 WITH SCORE 24158.798
AT ITER 4406 NEW BEST:: SOT 96539 SOS 48786 HAS SOPS 47091 HAS SOUS 25190 HAS SOUPS 24074 WITH SCORE 24122.786
AT ITER 4420 NEW BEST:: SOT 96479 SOS 48610 HAS SOPS 46915 HAS SOUS 25158 HAS SOUPS 24042 WITH SCORE 24090.61
AT ITER 4427 NEW BEST:: SOT 96479 SOS 48153 HAS SOPS 46458 HAS SOUS 25154 HAS SOUPS 24038 WITH SCORE 24086.153
AT ITER 4447 NEW BEST:: SOT 96442 SOS 48164 HAS SOPS 46469 HAS SOUS 25141 HAS SOUPS 24025 WITH SCORE 24073.164
AT ITER 4454 NEW BEST:: SOT 96442 SOS 48164 HAS SOPS 46469 HAS SOUS 25129 HAS SOUPS 24013 WITH SCORE 24061.164
AT ITER 4460 NEW BEST:: SOT 96432 SOS 48154 HAS SOPS 46459 HAS SOUS 25119 HAS SOUPS 24003 WITH SCORE 24051.154
AT ITER 4475 NEW BEST:: SOT 96406 SOS 48228 HAS SOPS 46533 HAS SOUS 25108 HAS SOUPS 23992 WITH SCORE 24040.228
AT ITER 4476 NEW BEST:: SOT 96444 SOS 47811 HAS SOPS 46116 HAS SOUS 25107 HAS SOUPS 23991 WITH SCORE 24038.811
AT ITER 4484 NEW BEST:: SOT 96346 SOS 47769 HAS SOPS 45976 HAS SOUS 25065 HAS SOUPS 23851 WITH SCORE 23898.769
AT ITER 4487 NEW BEST:: SOT 96350 SOS 47751 HAS SOPS 45956 HAS SOUS 25063 HAS SOUPS 23849 WITH SCORE 23896.751
AT ITER 4526 NEW BEST:: SOT 96330 SOS 47731 HAS SOPS 45936 HAS SOUS 25059 HAS SOUPS 23845 WITH SCORE 23892.731
AT ITER 4531 NEW BEST:: SOT 96309 SOS 47696 HAS SOPS 45901 HAS SOUS 25038 HAS SOUPS 23824 WITH SCORE 23871.696
AT ITER 4532 NEW BEST:: SOT 96358 SOS 47745 HAS SOPS 45950 HAS SOUS 25007 HAS SOUPS 23793 WITH SCORE 23840.745
AT ITER 4550 NEW BEST:: SOT 96358 SOS 47745 HAS SOPS 45950 HAS SOUS 24989 HAS SOUPS 23775 WITH SCORE 23822.745
AT ITER 4554 NEW BEST:: SOT 96346 SOS 47757 HAS SOPS 45962 HAS SOUS 24985 HAS SOUPS 23771 WITH SCORE 23818.757
AT ITER 4624 NEW BEST:: SOT 96346 SOS 47757 HAS SOPS 45962 HAS SOUS 24953 HAS SOUPS 23739 WITH SCORE 23786.757
AT ITER 4629 NEW BEST:: SOT 96354 SOS 47765 HAS SOPS 45970 HAS SOUS 24945 HAS SOUPS 23731 WITH SCORE 23778.765
AT ITER 4652 NEW BEST:: SOT 96349 SOS 47838 HAS SOPS 46016 HAS SOUS 24964 HAS SOUPS 23723 WITH SCORE 23770.838
AT ITER 4654 NEW BEST:: SOT 96349 SOS 47838 HAS SOPS 46016 HAS SOUS 24950 HAS SOUPS 23709 WITH SCORE 23756.838
AT ITER 4664 NEW BEST:: SOT 96342 SOS 47810 HAS SOPS 45988 HAS SOUS 24943 HAS SOUPS 23702 WITH SCORE 23749.81
AT ITER 4692 NEW BEST:: SOT 96326 SOS 47746 HAS SOPS 45924 HAS SOUS 24919 HAS SOUPS 23678 WITH SCORE 23725.746
AT ITER 4696 NEW BEST:: SOT 96326 SOS 47746 HAS SOPS 45924 HAS SOUS 24913 HAS SOUPS 23672 WITH SCORE 23719.746
AT ITER 4711 NEW BEST:: SOT 96357 SOS 47752 HAS SOPS 45902 HAS SOUS 24935 HAS SOUPS 23670 WITH SCORE 23717.752
AT ITER 4717 NEW BEST:: SOT 96327 SOS 47772 HAS SOPS 45922 HAS SOUS 24923 HAS SOUPS 23658 WITH SCORE 23705.772
AT ITER 4737 NEW BEST:: SOT 96285 SOS 47730 HAS SOPS 45880 HAS SOUS 24923 HAS SOUPS 23658 WITH SCORE 23705.73
AT ITER 4750 NEW BEST:: SOT 96234 SOS 47679 HAS SOPS 45829 HAS SOUS 24890 HAS SOUPS 23625 WITH SCORE 23672.679
AT ITER 4770 NEW BEST:: SOT 96234 SOS 48140 HAS SOPS 46290 HAS SOUS 24820 HAS SOUPS 23555 WITH SCORE 23603.14
AT ITER 4777 NEW BEST:: SOT 96234 SOS 48084 HAS SOPS 46234 HAS SOUS 24820 HAS SOUPS 23555 WITH SCORE 23603.084
AT ITER 4785 NEW BEST:: SOT 96178 SOS 47011 HAS SOPS 45161 HAS SOUS 24806 HAS SOUPS 23541 WITH SCORE 23588.011
AT ITER 4787 NEW BEST:: SOT 96178 SOS 47011 HAS SOPS 45161 HAS SOUS 24804 HAS SOUPS 23539 WITH SCORE 23586.011
AT ITER 4792 NEW BEST:: SOT 96150 SOS 46887 HAS SOPS 45037 HAS SOUS 24785 HAS SOUPS 23520 WITH SCORE 23566.887
AT ITER 4804 NEW BEST:: SOT 96140 SOS 46879 HAS SOPS 45029 HAS SOUS 24777 HAS SOUPS 23512 WITH SCORE 23558.879
AT ITER 4813 NEW BEST:: SOT 96140 SOS 46834 HAS SOPS 44984 HAS SOUS 24777 HAS SOUPS 23512 WITH SCORE 23558.834
AT ITER 4845 NEW BEST:: SOT 95976 SOS 46631 HAS SOPS 44781 HAS SOUS 24696 HAS SOUPS 23431 WITH SCORE 23477.631
AT ITER 4860 NEW BEST:: SOT 95976 SOS 46631 HAS SOPS 44781 HAS SOUS 24694 HAS SOUPS 23429 WITH SCORE 23475.631
AT ITER 4881 NEW BEST:: SOT 95900 SOS 46935 HAS SOPS 45085 HAS SOUS 24618 HAS SOUPS 23353 WITH SCORE 23399.935
AT ITER 4890 NEW BEST:: SOT 95824 SOS 46243 HAS SOPS 44393 HAS SOUS 24533 HAS SOUPS 23268 WITH SCORE 23314.243
AT ITER 4923 NEW BEST:: SOT 95779 SOS 46198 HAS SOPS 44348 HAS SOUS 24521 HAS SOUPS 23256 WITH SCORE 23302.198
AT ITER 4929 NEW BEST:: SOT 95779 SOS 46197 HAS SOPS 44347 HAS SOUS 24521 HAS SOUPS 23256 WITH SCORE 23302.197
AT ITER 4934 NEW BEST:: SOT 95779 SOS 46197 HAS SOPS 44347 HAS SOUS 24515 HAS SOUPS 23250 WITH SCORE 23296.197
AT ITER 4996 NEW BEST:: SOT 95723 SOS 46169 HAS SOPS 44319 HAS SOUS 24428 HAS SOUPS 23163 WITH SCORE 23209.169
AT ITER 5010 NEW BEST:: SOT 95723 SOS 46109 HAS SOPS 44247 HAS SOUS 24428 HAS SOUPS 23151 WITH SCORE 23197.109
AT ITER 5060 NEW BEST:: SOT 95711 SOS 46097 HAS SOPS 44235 HAS SOUS 24415 HAS SOUPS 23138 WITH SCORE 23184.097
AT ITER 5071 NEW BEST:: SOT 95701 SOS 46087 HAS SOPS 44225 HAS SOUS 24405 HAS SOUPS 23128 WITH SCORE 23174.087
AT ITER 5108 NEW BEST:: SOT 95702 SOS 45985 HAS SOPS 44123 HAS SOUS 24355 HAS SOUPS 23078 WITH SCORE 23123.985
AT ITER 5149 NEW BEST:: SOT 95657 SOS 45940 HAS SOPS 44078 HAS SOUS 24285 HAS SOUPS 23008 WITH SCORE 23053.94
AT ITER 5173 NEW BEST:: SOT 95626 SOS 45900 HAS SOPS 44038 HAS SOUS 24239 HAS SOUPS 22962 WITH SCORE 23007.9
AT ITER 5188 NEW BEST:: SOT 95625 SOS 45899 HAS SOPS 44037 HAS SOUS 24238 HAS SOUPS 22961 WITH SCORE 23006.899
AT ITER 5195 NEW BEST:: SOT 95604 SOS 45906 HAS SOPS 44065 HAS SOUS 24223 HAS SOUPS 22953 WITH SCORE 22998.906
AT ITER 5196 NEW BEST:: SOT 95658 SOS 45960 HAS SOPS 44119 HAS SOUS 24217 HAS SOUPS 22947 WITH SCORE 22992.96
AT ITER 5243 NEW BEST:: SOT 95644 SOS 45946 HAS SOPS 44105 HAS SOUS 24203 HAS SOUPS 22933 WITH SCORE 22978.946
AT ITER 5248 NEW BEST:: SOT 95629 SOS 45929 HAS SOPS 44088 HAS SOUS 24196 HAS SOUPS 22926 WITH SCORE 22971.929
AT ITER 5252 NEW BEST:: SOT 95628 SOS 45936 HAS SOPS 44095 HAS SOUS 24187 HAS SOUPS 22917 WITH SCORE 22962.936
AT ITER 5253 NEW BEST:: SOT 95633 SOS 45902 HAS SOPS 44061 HAS SOUS 24168 HAS SOUPS 22898 WITH SCORE 22943.902
AT ITER 5285 NEW BEST:: SOT 95618 SOS 45887 HAS SOPS 44046 HAS SOUS 24153 HAS SOUPS 22883 WITH SCORE 22928.887
AT ITER 5292 NEW BEST:: SOT 95602 SOS 45871 HAS SOPS 44030 HAS SOUS 24137 HAS SOUPS 22867 WITH SCORE 22912.871
AT ITER 5293 NEW BEST:: SOT 95602 SOS 45853 HAS SOPS 44000 HAS SOUS 24137 HAS SOUPS 22855 WITH SCORE 22900.853
AT ITER 5304 NEW BEST:: SOT 95602 SOS 45853 HAS SOPS 44000 HAS SOUS 24135 HAS SOUPS 22853 WITH SCORE 22898.853
AT ITER 5320 NEW BEST:: SOT 95500 SOS 45777 HAS SOPS 43929 HAS SOUS 24032 HAS SOUPS 22755 WITH SCORE 22800.777
AT ITER 5348 NEW BEST:: SOT 95522 SOS 45459 HAS SOPS 43611 HAS SOUS 24018 HAS SOUPS 22741 WITH SCORE 22786.459
AT ITER 5353 NEW BEST:: SOT 95522 SOS 45436 HAS SOPS 43542 HAS SOUS 24001 HAS SOUPS 22701 WITH SCORE 22746.436
AT ITER 5367 NEW BEST:: SOT 95524 SOS 45438 HAS SOPS 43544 HAS SOUS 23989 HAS SOUPS 22689 WITH SCORE 22734.438
AT ITER 5400 NEW BEST:: SOT 95479 SOS 45426 HAS SOPS 43532 HAS SOUS 23977 HAS SOUPS 22677 WITH SCORE 22722.426
AT ITER 5436 NEW BEST:: SOT 95479 SOS 45431 HAS SOPS 43532 HAS SOUS 23972 HAS SOUPS 22672 WITH SCORE 22717.431
AT ITER 5443 NEW BEST:: SOT 95479 SOS 45431 HAS SOPS 43532 HAS SOUS 23970 HAS SOUPS 22670 WITH SCORE 22715.431
AT ITER 5449 NEW BEST:: SOT 95436 SOS 45381 HAS SOPS 43482 HAS SOUS 23970 HAS SOUPS 22670 WITH SCORE 22715.381
AT ITER 5490 NEW BEST:: SOT 95424 SOS 45369 HAS SOPS 43470 HAS SOUS 23958 HAS SOUPS 22658 WITH SCORE 22703.369
AT ITER 5514 NEW BEST:: SOT 95431 SOS 45330 HAS SOPS 43431 HAS SOUS 23948 HAS SOUPS 22648 WITH SCORE 22693.33
AT ITER 5518 NEW BEST:: SOT 95415 SOS 45353 HAS SOPS 43454 HAS SOUS 23924 HAS SOUPS 22624 WITH SCORE 22669.353
AT ITER 5531 NEW BEST:: SOT 95467 SOS 45367 HAS SOPS 43468 HAS SOUS 23893 HAS SOUPS 22593 WITH SCORE 22638.367
AT ITER 5549 NEW BEST:: SOT 95552 SOS 45350 HAS SOPS 43451 HAS SOUS 23799 HAS SOUPS 22499 WITH SCORE 22544.35
AT ITER 5562 NEW BEST:: SOT 95552 SOS 45350 HAS SOPS 43451 HAS SOUS 23773 HAS SOUPS 22473 WITH SCORE 22518.35
AT ITER 5604 NEW BEST:: SOT 95552 SOS 45350 HAS SOPS 43451 HAS SOUS 23748 HAS SOUPS 22448 WITH SCORE 22493.35
AT ITER 5615 NEW BEST:: SOT 95520 SOS 45318 HAS SOPS 43419 HAS SOUS 23721 HAS SOUPS 22421 WITH SCORE 22466.318
AT ITER 5627 NEW BEST:: SOT 95492 SOS 45290 HAS SOPS 43391 HAS SOUS 23685 HAS SOUPS 22385 WITH SCORE 22430.29
AT ITER 5684 NEW BEST:: SOT 95452 SOS 45250 HAS SOPS 43351 HAS SOUS 23685 HAS SOUPS 22385 WITH SCORE 22430.25
AT ITER 5752 NEW BEST:: SOT 95454 SOS 45252 HAS SOPS 43353 HAS SOUS 23679 HAS SOUPS 22379 WITH SCORE 22424.252
AT ITER 5754 NEW BEST:: SOT 95429 SOS 45074 HAS SOPS 43175 HAS SOUS 23637 HAS SOUPS 22337 WITH SCORE 22382.074
AT ITER 5806 NEW BEST:: SOT 95391 SOS 45011 HAS SOPS 43112 HAS SOUS 23554 HAS SOUPS 22254 WITH SCORE 22299.011
AT ITER 5821 NEW BEST:: SOT 95392 SOS 45003 HAS SOPS 43104 HAS SOUS 23546 HAS SOUPS 22246 WITH SCORE 22291.003
AT ITER 5823 NEW BEST:: SOT 95392 SOS 44993 HAS SOPS 43094 HAS SOUS 23542 HAS SOUPS 22242 WITH SCORE 22286.993
AT ITER 5844 NEW BEST:: SOT 95399 SOS 45002 HAS SOPS 43103 HAS SOUS 23507 HAS SOUPS 22207 WITH SCORE 22252.002
AT ITER 5867 NEW BEST:: SOT 95427 SOS 45030 HAS SOPS 43131 HAS SOUS 23497 HAS SOUPS 22197 WITH SCORE 22242.03
AT ITER 5882 NEW BEST:: SOT 95427 SOS 44955 HAS SOPS 43056 HAS SOUS 23472 HAS SOUPS 22172 WITH SCORE 22216.955
AT ITER 5884 NEW BEST:: SOT 95378 SOS 44790 HAS SOPS 42891 HAS SOUS 23307 HAS SOUPS 22007 WITH SCORE 22051.79
AT ITER 5892 NEW BEST:: SOT 95323 SOS 44713 HAS SOPS 42825 HAS SOUS 23248 HAS SOUPS 21959 WITH SCORE 22003.713
AT ITER 5917 NEW BEST:: SOT 95364 SOS 44674 HAS SOPS 42786 HAS SOUS 23237 HAS SOUPS 21948 WITH SCORE 21992.674
AT ITER 5924 NEW BEST:: SOT 95374 SOS 44669 HAS SOPS 42781 HAS SOUS 23165 HAS SOUPS 21876 WITH SCORE 21920.669
AT ITER 5997 NEW BEST:: SOT 95374 SOS 44636 HAS SOPS 42764 HAS SOUS 23131 HAS SOUPS 21858 WITH SCORE 21902.636
AT ITER 6029 NEW BEST:: SOT 95329 SOS 44599 HAS SOPS 42727 HAS SOUS 23112 HAS SOUPS 21839 WITH SCORE 21883.599
AT ITER 6030 NEW BEST:: SOT 95320 SOS 44590 HAS SOPS 42718 HAS SOUS 23103 HAS SOUPS 21830 WITH SCORE 21874.59
AT ITER 6052 NEW BEST:: SOT 95306 SOS 44576 HAS SOPS 42704 HAS SOUS 23089 HAS SOUPS 21816 WITH SCORE 21860.576
AT ITER 6061 NEW BEST:: SOT 95304 SOS 44578 HAS SOPS 42706 HAS SOUS 23083 HAS SOUPS 21810 WITH SCORE 21854.578
AT ITER 6097 NEW BEST:: SOT 95319 SOS 44566 HAS SOPS 42694 HAS SOUS 23071 HAS SOUPS 21798 WITH SCORE 21842.566
AT ITER 6119 NEW BEST:: SOT 95262 SOS 44576 HAS SOPS 42704 HAS SOUS 23037 HAS SOUPS 21764 WITH SCORE 21808.576
AT ITER 6127 NEW BEST:: SOT 95211 SOS 44568 HAS SOPS 42696 HAS SOUS 22999 HAS SOUPS 21726 WITH SCORE 21770.568
AT ITER 6133 NEW BEST:: SOT 95221 SOS 44558 HAS SOPS 42686 HAS SOUS 22999 HAS SOUPS 21726 WITH SCORE 21770.558
AT ITER 6136 NEW BEST:: SOT 95256 SOS 44593 HAS SOPS 42721 HAS SOUS 22964 HAS SOUPS 21691 WITH SCORE 21735.593
AT ITER 6192 NEW BEST:: SOT 95310 SOS 44584 HAS SOPS 42707 HAS SOUS 22923 HAS SOUPS 21645 WITH SCORE 21689.584
AT ITER 6196 NEW BEST:: SOT 95310 SOS 44584 HAS SOPS 42707 HAS SOUS 22917 HAS SOUPS 21639 WITH SCORE 21683.584
AT ITER 6246 NEW BEST:: SOT 95301 SOS 44575 HAS SOPS 42698 HAS SOUS 22905 HAS SOUPS 21627 WITH SCORE 21671.575
AT ITER 6249 NEW BEST:: SOT 95314 SOS 44588 HAS SOPS 42711 HAS SOUS 22886 HAS SOUPS 21608 WITH SCORE 21652.588
AT ITER 6318 NEW BEST:: SOT 95300 SOS 44567 HAS SOPS 42690 HAS SOUS 22865 HAS SOUPS 21587 WITH SCORE 21631.567
AT ITER 6331 NEW BEST:: SOT 95258 SOS 44446 HAS SOPS 42569 HAS SOUS 22823 HAS SOUPS 21545 WITH SCORE 21589.446
AT ITER 6337 NEW BEST:: SOT 95252 SOS 44440 HAS SOPS 42563 HAS SOUS 22791 HAS SOUPS 21513 WITH SCORE 21557.44
AT ITER 6346 NEW BEST:: SOT 95223 SOS 44382 HAS SOPS 42505 HAS SOUS 22762 HAS SOUPS 21484 WITH SCORE 21528.382
AT ITER 6357 NEW BEST:: SOT 95244 SOS 44361 HAS SOPS 42484 HAS SOUS 22762 HAS SOUPS 21484 WITH SCORE 21528.361
AT ITER 6400 NEW BEST:: SOT 95230 SOS 44556 HAS SOPS 42725 HAS SOUS 22634 HAS SOUPS 21402 WITH SCORE 21446.556
AT ITER 6418 NEW BEST:: SOT 95238 SOS 44564 HAS SOPS 42733 HAS SOUS 22628 HAS SOUPS 21396 WITH SCORE 21440.564
AT ITER 6425 NEW BEST:: SOT 95273 SOS 44478 HAS SOPS 42647 HAS SOUS 22581 HAS SOUPS 21349 WITH SCORE 21393.478
AT ITER 6433 NEW BEST:: SOT 95246 SOS 44451 HAS SOPS 42620 HAS SOUS 22547 HAS SOUPS 21315 WITH SCORE 21359.451
AT ITER 6464 NEW BEST:: SOT 95260 SOS 44381 HAS SOPS 42523 HAS SOUS 22553 HAS SOUPS 21298 WITH SCORE 21342.381
AT ITER 6538 NEW BEST:: SOT 95258 SOS 44381 HAS SOPS 42523 HAS SOUS 22551 HAS SOUPS 21296 WITH SCORE 21340.381
AT ITER 6549 NEW BEST:: SOT 95254 SOS 44383 HAS SOPS 42525 HAS SOUS 22547 HAS SOUPS 21292 WITH SCORE 21336.383
AT ITER 6552 NEW BEST:: SOT 95254 SOS 44383 HAS SOPS 42525 HAS SOUS 22545 HAS SOUPS 21290 WITH SCORE 21334.383
AT ITER 6585 NEW BEST:: SOT 95249 SOS 44373 HAS SOPS 42515 HAS SOUS 22545 HAS SOUPS 21290 WITH SCORE 21334.373
AT ITER 6608 NEW BEST:: SOT 95191 SOS 44330 HAS SOPS 42472 HAS SOUS 22502 HAS SOUPS 21247 WITH SCORE 21291.33
AT ITER 6623 NEW BEST:: SOT 95187 SOS 44276 HAS SOPS 42403 HAS SOUS 22488 HAS SOUPS 21222 WITH SCORE 21266.276
AT ITER 6646 NEW BEST:: SOT 95181 SOS 44268 HAS SOPS 42393 HAS SOUS 22486 HAS SOUPS 21218 WITH SCORE 21262.268
AT ITER 6658 NEW BEST:: SOT 95220 SOS 44307 HAS SOPS 42432 HAS SOUS 22479 HAS SOUPS 21211 WITH SCORE 21255.307
AT ITER 6680 NEW BEST:: SOT 95192 SOS 44291 HAS SOPS 42416 HAS SOUS 22435 HAS SOUPS 21167 WITH SCORE 21211.291
AT ITER 6683 NEW BEST:: SOT 95188 SOS 44287 HAS SOPS 42412 HAS SOUS 22419 HAS SOUPS 21151 WITH SCORE 21195.287
AT ITER 6691 NEW BEST:: SOT 95184 SOS 44285 HAS SOPS 42412 HAS SOUS 22417 HAS SOUPS 21151 WITH SCORE 21195.285
AT ITER 6694 NEW BEST:: SOT 95164 SOS 44243 HAS SOPS 42370 HAS SOUS 22397 HAS SOUPS 21131 WITH SCORE 21175.243
AT ITER 6789 NEW BEST:: SOT 95061 SOS 44140 HAS SOPS 42267 HAS SOUS 22356 HAS SOUPS 21090 WITH SCORE 21134.14
AT ITER 6820 NEW BEST:: SOT 95047 SOS 44126 HAS SOPS 42253 HAS SOUS 22342 HAS SOUPS 21076 WITH SCORE 21120.126
AT ITER 6845 NEW BEST:: SOT 95024 SOS 44093 HAS SOPS 42220 HAS SOUS 22335 HAS SOUPS 21069 WITH SCORE 21113.093
AT ITER 6860 NEW BEST:: SOT 94994 SOS 44063 HAS SOPS 42190 HAS SOUS 22335 HAS SOUPS 21069 WITH SCORE 21113.063
AT ITER 6869 NEW BEST:: SOT 94911 SOS 43976 HAS SOPS 42103 HAS SOUS 22243 HAS SOUPS 20977 WITH SCORE 21020.976
AT ITER 6931 NEW BEST:: SOT 94881 SOS 43946 HAS SOPS 42073 HAS SOUS 22213 HAS SOUPS 20947 WITH SCORE 20990.946
AT ITER 6945 NEW BEST:: SOT 94859 SOS 43902 HAS SOPS 42029 HAS SOUS 22175 HAS SOUPS 20909 WITH SCORE 20952.902
AT ITER 6957 NEW BEST:: SOT 94859 SOS 43909 HAS SOPS 42036 HAS SOUS 22174 HAS SOUPS 20908 WITH SCORE 20951.909
AT ITER 6976 NEW BEST:: SOT 94859 SOS 43949 HAS SOPS 42056 HAS SOUS 22183 HAS SOUPS 20907 WITH SCORE 20950.949
AT ITER 6994 NEW BEST:: SOT 94852 SOS 43942 HAS SOPS 42049 HAS SOUS 22168 HAS SOUPS 20892 WITH SCORE 20935.942
AT ITER 7026 NEW BEST:: SOT 94844 SOS 43934 HAS SOPS 42041 HAS SOUS 22168 HAS SOUPS 20892 WITH SCORE 20935.934
AT ITER 7027 NEW BEST:: SOT 94844 SOS 43807 HAS SOPS 41914 HAS SOUS 22153 HAS SOUPS 20877 WITH SCORE 20920.807
AT ITER 7078 NEW BEST:: SOT 94844 SOS 43793 HAS SOPS 41900 HAS SOUS 22139 HAS SOUPS 20863 WITH SCORE 20906.793
AT ITER 7094 NEW BEST:: SOT 94777 SOS 43840 HAS SOPS 41947 HAS SOUS 22072 HAS SOUPS 20796 WITH SCORE 20839.84
AT ITER 7158 NEW BEST:: SOT 94746 SOS 43791 HAS SOPS 41898 HAS SOUS 22055 HAS SOUPS 20779 WITH SCORE 20822.791
AT ITER 7169 NEW BEST:: SOT 94747 SOS 43652 HAS SOPS 41759 HAS SOUS 22046 HAS SOUPS 20770 WITH SCORE 20813.652
AT ITER 7171 NEW BEST:: SOT 94711 SOS 43616 HAS SOPS 41723 HAS SOUS 22046 HAS SOUPS 20770 WITH SCORE 20813.616
AT ITER 7175 NEW BEST:: SOT 94713 SOS 43513 HAS SOPS 41597 HAS SOUS 22052 HAS SOUPS 20753 WITH SCORE 20796.513
AT ITER 7180 NEW BEST:: SOT 94713 SOS 43509 HAS SOPS 41593 HAS SOUS 22052 HAS SOUPS 20753 WITH SCORE 20796.509
AT ITER 7183 NEW BEST:: SOT 94713 SOS 43507 HAS SOPS 41591 HAS SOUS 22051 HAS SOUPS 20752 WITH SCORE 20795.507
AT ITER 7205 NEW BEST:: SOT 94584 SOS 43629 HAS SOPS 41393 HAS SOUS 22112 HAS SOUPS 20602 WITH SCORE 20645.629
AT ITER 7228 NEW BEST:: SOT 94578 SOS 43623 HAS SOPS 41387 HAS SOUS 22104 HAS SOUPS 20594 WITH SCORE 20637.623
AT ITER 7242 NEW BEST:: SOT 94569 SOS 43596 HAS SOPS 41360 HAS SOUS 22095 HAS SOUPS 20585 WITH SCORE 20628.596
AT ITER 7260 NEW BEST:: SOT 94580 SOS 43601 HAS SOPS 41370 HAS SOUS 22083 HAS SOUPS 20578 WITH SCORE 20621.601
AT ITER 7267 NEW BEST:: SOT 94642 SOS 43663 HAS SOPS 41432 HAS SOUS 22071 HAS SOUPS 20566 WITH SCORE 20609.663
AT ITER 7295 NEW BEST:: SOT 94623 SOS 43639 HAS SOPS 41408 HAS SOUS 22058 HAS SOUPS 20553 WITH SCORE 20596.639
AT ITER 7325 NEW BEST:: SOT 94607 SOS 43689 HAS SOPS 41458 HAS SOUS 22028 HAS SOUPS 20523 WITH SCORE 20566.689
AT ITER 7340 NEW BEST:: SOT 94565 SOS 43639 HAS SOPS 41408 HAS SOUS 22014 HAS SOUPS 20509 WITH SCORE 20552.639
AT ITER 7358 NEW BEST:: SOT 94554 SOS 43628 HAS SOPS 41397 HAS SOUS 22003 HAS SOUPS 20498 WITH SCORE 20541.628
AT ITER 7370 NEW BEST:: SOT 94588 SOS 43662 HAS SOPS 41431 HAS SOUS 21993 HAS SOUPS 20488 WITH SCORE 20531.662
AT ITER 7574 NEW BEST:: SOT 94588 SOS 43662 HAS SOPS 41431 HAS SOUS 21991 HAS SOUPS 20486 WITH SCORE 20529.662
AT ITER 7584 NEW BEST:: SOT 94558 SOS 43632 HAS SOPS 41401 HAS SOUS 21991 HAS SOUPS 20486 WITH SCORE 20529.632
AT ITER 7591 NEW BEST:: SOT 94545 SOS 43467 HAS SOPS 41189 HAS SOUS 21908 HAS SOUPS 20356 WITH SCORE 20399.467
AT ITER 7593 NEW BEST:: SOT 94523 SOS 43381 HAS SOPS 41103 HAS SOUS 21886 HAS SOUPS 20334 WITH SCORE 20377.381
AT ITER 7594 NEW BEST:: SOT 94557 SOS 43415 HAS SOPS 41137 HAS SOUS 21876 HAS SOUPS 20324 WITH SCORE 20367.415
AT ITER 7605 NEW BEST:: SOT 94551 SOS 43405 HAS SOPS 41127 HAS SOUS 21866 HAS SOUPS 20314 WITH SCORE 20357.405
AT ITER 7647 NEW BEST:: SOT 94542 SOS 43396 HAS SOPS 41118 HAS SOUS 21857 HAS SOUPS 20305 WITH SCORE 20348.396
AT ITER 7648 NEW BEST:: SOT 94501 SOS 43366 HAS SOPS 41088 HAS SOUS 21813 HAS SOUPS 20261 WITH SCORE 20304.366
AT ITER 7664 NEW BEST:: SOT 94494 SOS 43354 HAS SOPS 41076 HAS SOUS 21803 HAS SOUPS 20251 WITH SCORE 20294.354
AT ITER 7716 NEW BEST:: SOT 94503 SOS 43368 HAS SOPS 41090 HAS SOUS 21801 HAS SOUPS 20249 WITH SCORE 20292.368
AT ITER 7726 NEW BEST:: SOT 94501 SOS 43366 HAS SOPS 41088 HAS SOUS 21799 HAS SOUPS 20247 WITH SCORE 20290.366
AT ITER 7730 NEW BEST:: SOT 94500 SOS 43361 HAS SOPS 41083 HAS SOUS 21796 HAS SOUPS 20244 WITH SCORE 20287.361
AT ITER 7775 NEW BEST:: SOT 94497 SOS 43358 HAS SOPS 41080 HAS SOUS 21769 HAS SOUPS 20217 WITH SCORE 20260.358
AT ITER 7909 NEW BEST:: SOT 94498 SOS 43359 HAS SOPS 41081 HAS SOUS 21768 HAS SOUPS 20216 WITH SCORE 20259.359
AT ITER 7976 NEW BEST:: SOT 94501 SOS 43362 HAS SOPS 41084 HAS SOUS 21718 HAS SOUPS 20166 WITH SCORE 20209.362
AT ITER 8000 NEW BEST:: SOT 94487 SOS 43324 HAS SOPS 41034 HAS SOUS 21692 HAS SOUPS 20128 WITH SCORE 20171.324
AT ITER 8001 NEW BEST:: SOT 94487 SOS 43324 HAS SOPS 41034 HAS SOUS 21682 HAS SOUPS 20118 WITH SCORE 20161.324
AT ITER 8003 NEW BEST:: SOT 94483 SOS 43304 HAS SOPS 41012 HAS SOUS 21674 HAS SOUPS 20110 WITH SCORE 20153.304
AT ITER 8020 NEW BEST:: SOT 94483 SOS 43303 HAS SOPS 41008 HAS SOUS 21673 HAS SOUPS 20108 WITH SCORE 20151.303
AT ITER 8051 NEW BEST:: SOT 94459 SOS 43279 HAS SOPS 40984 HAS SOUS 21642 HAS SOUPS 20077 WITH SCORE 20120.279
AT ITER 8058 NEW BEST:: SOT 94497 SOS 43344 HAS SOPS 41049 HAS SOUS 21620 HAS SOUPS 20055 WITH SCORE 20098.344
AT ITER 8123 NEW BEST:: SOT 94383 SOS 43196 HAS SOPS 40901 HAS SOUS 21620 HAS SOUPS 20055 WITH SCORE 20098.196
AT ITER 8154 NEW BEST:: SOT 94360 SOS 43095 HAS SOPS 40800 HAS SOUS 21597 HAS SOUPS 20032 WITH SCORE 20075.095
AT ITER 8265 NEW BEST:: SOT 94360 SOS 43095 HAS SOPS 40800 HAS SOUS 21593 HAS SOUPS 20028 WITH SCORE 20071.095
AT ITER 8279 NEW BEST:: SOT 94360 SOS 43091 HAS SOPS 40796 HAS SOUS 21591 HAS SOUPS 20026 WITH SCORE 20069.091
AT ITER 8296 NEW BEST:: SOT 94369 SOS 43089 HAS SOPS 40794 HAS SOUS 21578 HAS SOUPS 20013 WITH SCORE 20056.089
AT ITER 8304 NEW BEST:: SOT 94346 SOS 43066 HAS SOPS 40771 HAS SOUS 21555 HAS SOUPS 19990 WITH SCORE 20033.066
AT ITER 8386 NEW BEST:: SOT 94346 SOS 42938 HAS SOPS 40643 HAS SOUS 21506 HAS SOUPS 19941 WITH SCORE 19983.938
AT ITER 8417 NEW BEST:: SOT 94346 SOS 42914 HAS SOPS 40594 HAS SOUS 21502 HAS SOUPS 19927 WITH SCORE 19969.914
AT ITER 8419 NEW BEST:: SOT 94295 SOS 42863 HAS SOPS 40543 HAS SOUS 21502 HAS SOUPS 19927 WITH SCORE 19969.863
AT ITER 8438 NEW BEST:: SOT 94295 SOS 42863 HAS SOPS 40543 HAS SOUS 21489 HAS SOUPS 19914 WITH SCORE 19956.863
AT ITER 8442 NEW BEST:: SOT 94295 SOS 42820 HAS SOPS 40500 HAS SOUS 21449 HAS SOUPS 19874 WITH SCORE 19916.82
AT ITER 8455 NEW BEST:: SOT 94295 SOS 42820 HAS SOPS 40500 HAS SOUS 21433 HAS SOUPS 19858 WITH SCORE 19900.82
AT ITER 8544 NEW BEST:: SOT 94225 SOS 42862 HAS SOPS 40542 HAS SOUS 21411 HAS SOUPS 19836 WITH SCORE 19878.862
AT ITER 8561 NEW BEST:: SOT 94225 SOS 42860 HAS SOPS 40540 HAS SOUS 21407 HAS SOUPS 19832 WITH SCORE 19874.86
AT ITER 8563 NEW BEST:: SOT 94218 SOS 42806 HAS SOPS 40486 HAS SOUS 21403 HAS SOUPS 19828 WITH SCORE 19870.806
AT ITER 8618 NEW BEST:: SOT 94198 SOS 42808 HAS SOPS 40492 HAS SOUS 21397 HAS SOUPS 19826 WITH SCORE 19868.808
AT ITER 8621 NEW BEST:: SOT 94194 SOS 42804 HAS SOPS 40488 HAS SOUS 21393 HAS SOUPS 19822 WITH SCORE 19864.804
AT ITER 8672 NEW BEST:: SOT 94212 SOS 42822 HAS SOPS 40506 HAS SOUS 21391 HAS SOUPS 19820 WITH SCORE 19862.822
AT ITER 8680 NEW BEST:: SOT 94199 SOS 42797 HAS SOPS 40481 HAS SOUS 21365 HAS SOUPS 19794 WITH SCORE 19836.797
AT ITER 8753 NEW BEST:: SOT 94193 SOS 42764 HAS SOPS 40441 HAS SOUS 21360 HAS SOUPS 19789 WITH SCORE 19831.764
AT ITER 8779 NEW BEST:: SOT 94193 SOS 42748 HAS SOPS 40457 HAS SOUS 21335 HAS SOUPS 19780 WITH SCORE 19822.748
AT ITER 8780 NEW BEST:: SOT 94193 SOS 42748 HAS SOPS 40457 HAS SOUS 21329 HAS SOUPS 19774 WITH SCORE 19816.748
AT ITER 8790 NEW BEST:: SOT 94198 SOS 42653 HAS SOPS 40362 HAS SOUS 21326 HAS SOUPS 19771 WITH SCORE 19813.653
AT ITER 8797 NEW BEST:: SOT 94172 SOS 42627 HAS SOPS 40336 HAS SOUS 21300 HAS SOUPS 19745 WITH SCORE 19787.627
AT ITER 8812 NEW BEST:: SOT 94176 SOS 42645 HAS SOPS 40333 HAS SOUS 21305 HAS SOUPS 19743 WITH SCORE 19785.645
AT ITER 8851 NEW BEST:: SOT 94170 SOS 42641 HAS SOPS 40329 HAS SOUS 21301 HAS SOUPS 19739 WITH SCORE 19781.641
AT ITER 8913 NEW BEST:: SOT 94170 SOS 42627 HAS SOPS 40315 HAS SOUS 21287 HAS SOUPS 19725 WITH SCORE 19767.627
AT ITER 8980 NEW BEST:: SOT 94173 SOS 42603 HAS SOPS 40291 HAS SOUS 21287 HAS SOUPS 19725 WITH SCORE 19767.603
AT ITER 9017 NEW BEST:: SOT 94171 SOS 42600 HAS SOPS 40287 HAS SOUS 21284 HAS SOUPS 19721 WITH SCORE 19763.6
AT ITER 9032 NEW BEST:: SOT 94147 SOS 42576 HAS SOPS 40263 HAS SOUS 21260 HAS SOUPS 19697 WITH SCORE 19739.576
AT ITER 9037 NEW BEST:: SOT 94189 SOS 42618 HAS SOPS 40305 HAS SOUS 21257 HAS SOUPS 19694 WITH SCORE 19736.618
AT ITER 9041 NEW BEST:: SOT 94139 SOS 42466 HAS SOPS 40153 HAS SOUS 21214 HAS SOUPS 19651 WITH SCORE 19693.466
AT ITER 9043 NEW BEST:: SOT 94139 SOS 42466 HAS SOPS 40153 HAS SOUS 21200 HAS SOUPS 19637 WITH SCORE 19679.466
AT ITER 9075 NEW BEST:: SOT 94139 SOS 42921 HAS SOPS 40608 HAS SOUS 21110 HAS SOUPS 19547 WITH SCORE 19589.921
AT ITER 9157 NEW BEST:: SOT 94130 SOS 42903 HAS SOPS 40590 HAS SOUS 21092 HAS SOUPS 19529 WITH SCORE 19571.903
AT ITER 9183 NEW BEST:: SOT 94158 SOS 42728 HAS SOPS 40466 HAS SOUS 20992 HAS SOUPS 19480 WITH SCORE 19522.728
AT ITER 9216 NEW BEST:: SOT 94145 SOS 42762 HAS SOPS 40500 HAS SOUS 20958 HAS SOUPS 19446 WITH SCORE 19488.762
AT ITER 9217 NEW BEST:: SOT 94143 SOS 42760 HAS SOPS 40498 HAS SOUS 20958 HAS SOUPS 19446 WITH SCORE 19488.76
AT ITER 9250 NEW BEST:: SOT 94142 SOS 42728 HAS SOPS 40466 HAS SOUS 20957 HAS SOUPS 19445 WITH SCORE 19487.728
AT ITER 9259 NEW BEST:: SOT 94136 SOS 42722 HAS SOPS 40460 HAS SOUS 20953 HAS SOUPS 19441 WITH SCORE 19483.722
AT ITER 9316 NEW BEST:: SOT 94087 SOS 42673 HAS SOPS 40411 HAS SOUS 20918 HAS SOUPS 19406 WITH SCORE 19448.673
AT ITER 9321 NEW BEST:: SOT 93934 SOS 42520 HAS SOPS 40258 HAS SOUS 20905 HAS SOUPS 19393 WITH SCORE 19435.52
AT ITER 9355 NEW BEST:: SOT 93919 SOS 42748 HAS SOPS 40486 HAS SOUS 20881 HAS SOUPS 19369 WITH SCORE 19411.748
AT ITER 9365 NEW BEST:: SOT 93884 SOS 42713 HAS SOPS 40451 HAS SOUS 20850 HAS SOUPS 19338 WITH SCORE 19380.713
AT ITER 9367 NEW BEST:: SOT 93880 SOS 42709 HAS SOPS 40447 HAS SOUS 20840 HAS SOUPS 19328 WITH SCORE 19370.709
AT ITER 9370 NEW BEST:: SOT 93880 SOS 42709 HAS SOPS 40447 HAS SOUS 20832 HAS SOUPS 19320 WITH SCORE 19362.709
AT ITER 9377 NEW BEST:: SOT 93818 SOS 42637 HAS SOPS 40375 HAS SOUS 20824 HAS SOUPS 19312 WITH SCORE 19354.637
AT ITER 9395 NEW BEST:: SOT 93818 SOS 42639 HAS SOPS 40377 HAS SOUS 20813 HAS SOUPS 19301 WITH SCORE 19343.639
AT ITER 9429 NEW BEST:: SOT 93806 SOS 42637 HAS SOPS 40375 HAS SOUS 20811 HAS SOUPS 19299 WITH SCORE 19341.637
AT ITER 9577 NEW BEST:: SOT 93776 SOS 42581 HAS SOPS 40319 HAS SOUS 20725 HAS SOUPS 19213 WITH SCORE 19255.581
AT ITER 9579 NEW BEST:: SOT 93746 SOS 42537 HAS SOPS 40275 HAS SOUS 20690 HAS SOUPS 19178 WITH SCORE 19220.537
AT ITER 9593 NEW BEST:: SOT 93765 SOS 42513 HAS SOPS 40251 HAS SOUS 20690 HAS SOUPS 19178 WITH SCORE 19220.513
AT ITER 9625 NEW BEST:: SOT 93765 SOS 42513 HAS SOPS 40251 HAS SOUS 20668 HAS SOUPS 19156 WITH SCORE 19198.513
AT ITER 9666 NEW BEST:: SOT 93758 SOS 42574 HAS SOPS 40195 HAS SOUS 20680 HAS SOUPS 19134 WITH SCORE 19176.574
AT ITER 9672 NEW BEST:: SOT 93764 SOS 42564 HAS SOPS 40181 HAS SOUS 20678 HAS SOUPS 19128 WITH SCORE 19170.564
AT ITER 9701 NEW BEST:: SOT 93747 SOS 42546 HAS SOPS 40168 HAS SOUS 20670 HAS SOUPS 19125 WITH SCORE 19167.546
AT ITER 9708 NEW BEST:: SOT 93753 SOS 42552 HAS SOPS 40174 HAS SOUS 20657 HAS SOUPS 19112 WITH SCORE 19154.552
AT ITER 9713 NEW BEST:: SOT 93767 SOS 42524 HAS SOPS 40146 HAS SOUS 20657 HAS SOUPS 19112 WITH SCORE 19154.524
AT ITER 9740 NEW BEST:: SOT 93746 SOS 42497 HAS SOPS 40119 HAS SOUS 20612 HAS SOUPS 19067 WITH SCORE 19109.497
AT ITER 9757 NEW BEST:: SOT 93738 SOS 42489 HAS SOPS 40111 HAS SOUS 20604 HAS SOUPS 19059 WITH SCORE 19101.489
AT ITER 9759 NEW BEST:: SOT 93739 SOS 42490 HAS SOPS 40112 HAS SOUS 20601 HAS SOUPS 19056 WITH SCORE 19098.49
AT ITER 9832 NEW BEST:: SOT 93734 SOS 42490 HAS SOPS 40117 HAS SOUS 20591 HAS SOUPS 19051 WITH SCORE 19093.49
AT ITER 9878 NEW BEST:: SOT 93716 SOS 42503 HAS SOPS 40161 HAS SOUS 20530 HAS SOUPS 19021 WITH SCORE 19063.503
AT ITER 9903 NEW BEST:: SOT 93687 SOS 42445 HAS SOPS 40103 HAS SOUS 20530 HAS SOUPS 19021 WITH SCORE 19063.445
AT ITER 9938 NEW BEST:: SOT 93687 SOS 42375 HAS SOPS 40033 HAS SOUS 20520 HAS SOUPS 19016 WITH SCORE 19058.375
AT ITER 9955 NEW BEST:: SOT 93619 SOS 42504 HAS SOPS 40162 HAS SOUS 20457 HAS SOUPS 18953 WITH SCORE 18995.504
AT ITER 9964 NEW BEST:: SOT 93632 SOS 42594 HAS SOPS 40226 HAS SOUS 20479 HAS SOUPS 18949 WITH SCORE 18991.594
AT ITER 9980 NEW BEST:: SOT 93651 SOS 42586 HAS SOPS 40218 HAS SOUS 20471 HAS SOUPS 18941 WITH SCORE 18983.586
AT ITER 9991 NEW BEST:: SOT 93573 SOS 42487 HAS SOPS 40119 HAS SOUS 20453 HAS SOUPS 18923 WITH SCORE 18965.487
AT ITER 9996 NEW BEST:: SOT 93585 SOS 42499 HAS SOPS 40131 HAS SOUS 20421 HAS SOUPS 18891 WITH SCORE 18933.499

BK_STOP 1589644595746

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 470 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="NoC3x3-PT-3A"
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 NoC3x3-PT-3A, 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 r108-csrt-158961250400368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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