Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 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 317K 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 1589159852026

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

Filename model.pnml
Petri model created: 221 places, 908 transitions, 5517 arcs.
AT ITER 0 NEW BEST:: SOT 157763 SOS 92225 HAS SOPS 86851 HAS SOUS 73439 HAS SOUPS 68768 WITH SCORE 68860.225
AT ITER 4 NEW BEST:: SOT 157724 SOS 92101 HAS SOPS 86773 HAS SOUS 73248 HAS SOUPS 68623 WITH SCORE 68715.101
AT ITER 5 NEW BEST:: SOT 157767 SOS 92187 HAS SOPS 86934 HAS SOUS 73029 HAS SOUPS 68479 WITH SCORE 68571.187
AT ITER 6 NEW BEST:: SOT 157855 SOS 92197 HAS SOPS 86944 HAS SOUS 72759 HAS SOUPS 68209 WITH SCORE 68301.197
AT ITER 8 NEW BEST:: SOT 158149 SOS 92544 HAS SOPS 87411 HAS SOUS 72509 HAS SOUPS 68079 WITH SCORE 68171.544
AT ITER 9 NEW BEST:: SOT 158117 SOS 92520 HAS SOPS 87395 HAS SOUS 72429 HAS SOUPS 68007 WITH SCORE 68099.52
AT ITER 13 NEW BEST:: SOT 158212 SOS 92708 HAS SOPS 87583 HAS SOUS 72370 HAS SOUPS 67948 WITH SCORE 68040.708
AT ITER 14 NEW BEST:: SOT 158211 SOS 92706 HAS SOPS 87581 HAS SOUS 72370 HAS SOUPS 67948 WITH SCORE 68040.706
AT ITER 15 NEW BEST:: SOT 158485 SOS 92703 HAS SOPS 87578 HAS SOUS 71757 HAS SOUPS 67335 WITH SCORE 67427.703
AT ITER 17 NEW BEST:: SOT 158485 SOS 92702 HAS SOPS 87577 HAS SOUS 71756 HAS SOUPS 67334 WITH SCORE 67426.702
AT ITER 25 NEW BEST:: SOT 158485 SOS 92655 HAS SOPS 87530 HAS SOUS 71723 HAS SOUPS 67301 WITH SCORE 67393.655
AT ITER 27 NEW BEST:: SOT 157896 SOS 95897 HAS SOPS 87842 HAS SOUS 71068 HAS SOUPS 67177 WITH SCORE 67272.897
AT ITER 28 NEW BEST:: SOT 158141 SOS 94179 HAS SOPS 87728 HAS SOUS 71102 HAS SOUPS 67023 WITH SCORE 67117.179
AT ITER 30 NEW BEST:: SOT 158425 SOS 94302 HAS SOPS 87993 HAS SOUS 70355 HAS SOUPS 66418 WITH SCORE 66512.302
AT ITER 33 NEW BEST:: SOT 158425 SOS 94307 HAS SOPS 87998 HAS SOUS 70354 HAS SOUPS 66417 WITH SCORE 66511.307
AT ITER 40 NEW BEST:: SOT 157989 SOS 95309 HAS SOPS 87817 HAS SOUS 70211 HAS SOUPS 66288 WITH SCORE 66383.309
AT ITER 41 NEW BEST:: SOT 157956 SOS 95298 HAS SOPS 87817 HAS SOUS 70200 HAS SOUPS 66288 WITH SCORE 66383.298
AT ITER 42 NEW BEST:: SOT 157836 SOS 95258 HAS SOPS 87777 HAS SOUS 70200 HAS SOUPS 66288 WITH SCORE 66383.258
AT ITER 49 NEW BEST:: SOT 158079 SOS 95497 HAS SOPS 88136 HAS SOUS 69512 HAS SOUPS 65730 WITH SCORE 65825.497
AT ITER 51 NEW BEST:: SOT 158038 SOS 95456 HAS SOPS 88054 HAS SOUS 69430 HAS SOUPS 65648 WITH SCORE 65743.456
AT ITER 53 NEW BEST:: SOT 157858 SOS 95488 HAS SOPS 88086 HAS SOUS 69398 HAS SOUPS 65616 WITH SCORE 65711.488
AT ITER 55 NEW BEST:: SOT 157749 SOS 95403 HAS SOPS 88001 HAS SOUS 69313 HAS SOUPS 65531 WITH SCORE 65626.403
AT ITER 63 NEW BEST:: SOT 157763 SOS 95226 HAS SOPS 87824 HAS SOUS 69159 HAS SOUPS 65377 WITH SCORE 65472.226
AT ITER 68 NEW BEST:: SOT 157711 SOS 95122 HAS SOPS 87720 HAS SOUS 68973 HAS SOUPS 65191 WITH SCORE 65286.122
AT ITER 69 NEW BEST:: SOT 157926 SOS 95374 HAS SOPS 88150 HAS SOUS 68647 HAS SOUPS 64973 WITH SCORE 65068.374
AT ITER 70 NEW BEST:: SOT 158268 SOS 95715 HAS SOPS 88491 HAS SOUS 68414 HAS SOUPS 64740 WITH SCORE 64835.715
AT ITER 74 NEW BEST:: SOT 158268 SOS 95443 HAS SOPS 88219 HAS SOUS 68323 HAS SOUPS 64649 WITH SCORE 64744.443
AT ITER 76 NEW BEST:: SOT 158247 SOS 95401 HAS SOPS 88198 HAS SOUS 68239 HAS SOUPS 64586 WITH SCORE 64681.401
AT ITER 77 NEW BEST:: SOT 158261 SOS 96888 HAS SOPS 89685 HAS SOUS 68046 HAS SOUPS 64393 WITH SCORE 64489.888
AT ITER 79 NEW BEST:: SOT 158672 SOS 97125 HAS SOPS 90056 HAS SOUS 67213 HAS SOUPS 63708 WITH SCORE 63805.125
AT ITER 81 NEW BEST:: SOT 158707 SOS 97145 HAS SOPS 90126 HAS SOUS 67109 HAS SOUPS 63654 WITH SCORE 63751.145
AT ITER 82 NEW BEST:: SOT 157962 SOS 97679 HAS SOPS 89666 HAS SOUS 67023 HAS SOUPS 63570 WITH SCORE 63667.679
AT ITER 86 NEW BEST:: SOT 157934 SOS 97651 HAS SOPS 89638 HAS SOUS 66995 HAS SOUPS 63542 WITH SCORE 63639.651
AT ITER 89 NEW BEST:: SOT 157899 SOS 97609 HAS SOPS 89608 HAS SOUS 66965 HAS SOUPS 63512 WITH SCORE 63609.609
AT ITER 90 NEW BEST:: SOT 157797 SOS 97438 HAS SOPS 89437 HAS SOUS 64495 HAS SOUPS 61042 WITH SCORE 61139.438
AT ITER 93 NEW BEST:: SOT 157561 SOS 96980 HAS SOPS 88866 HAS SOUS 64376 HAS SOUPS 60824 WITH SCORE 60920.98
AT ITER 97 NEW BEST:: SOT 157640 SOS 97013 HAS SOPS 88899 HAS SOUS 64330 HAS SOUPS 60778 WITH SCORE 60875.013
AT ITER 98 NEW BEST:: SOT 157665 SOS 96975 HAS SOPS 88861 HAS SOUS 64330 HAS SOUPS 60778 WITH SCORE 60874.975
AT ITER 100 NEW BEST:: SOT 157667 SOS 96907 HAS SOPS 88769 HAS SOUS 64332 HAS SOUPS 60756 WITH SCORE 60852.907
AT ITER 103 NEW BEST:: SOT 152225 SOS 96734 HAS SOPS 84434 HAS SOUS 54812 HAS SOUPS 51662 WITH SCORE 51758.734
AT ITER 109 NEW BEST:: SOT 152263 SOS 96681 HAS SOPS 84381 HAS SOUS 54759 HAS SOUPS 51609 WITH SCORE 51705.681
AT ITER 110 NEW BEST:: SOT 152071 SOS 96592 HAS SOPS 84233 HAS SOUS 52906 HAS SOUPS 49756 WITH SCORE 49852.592
AT ITER 117 NEW BEST:: SOT 152307 SOS 96778 HAS SOPS 84591 HAS SOUS 52628 HAS SOUPS 49592 WITH SCORE 49688.778
AT ITER 118 NEW BEST:: SOT 152265 SOS 96620 HAS SOPS 84374 HAS SOUS 50646 HAS SOUPS 47610 WITH SCORE 47706.62
AT ITER 119 NEW BEST:: SOT 152250 SOS 96605 HAS SOPS 84359 HAS SOUS 50631 HAS SOUPS 47595 WITH SCORE 47691.605
AT ITER 123 NEW BEST:: SOT 148868 SOS 100449 HAS SOPS 82409 HAS SOUS 48834 HAS SOUPS 45868 WITH SCORE 45968.449
AT ITER 128 NEW BEST:: SOT 148835 SOS 100416 HAS SOPS 82375 HAS SOUS 48800 HAS SOUPS 45834 WITH SCORE 45934.416
AT ITER 131 NEW BEST:: SOT 149048 SOS 100629 HAS SOPS 82659 HAS SOUS 48576 HAS SOUPS 45681 WITH SCORE 45781.629
AT ITER 132 NEW BEST:: SOT 149047 SOS 100627 HAS SOPS 82657 HAS SOUS 48576 HAS SOUPS 45681 WITH SCORE 45781.627
AT ITER 134 NEW BEST:: SOT 149045 SOS 100623 HAS SOPS 82653 HAS SOUS 48576 HAS SOUPS 45681 WITH SCORE 45781.623
AT ITER 137 NEW BEST:: SOT 149053 SOS 100523 HAS SOPS 82553 HAS SOUS 48453 HAS SOUPS 45558 WITH SCORE 45658.523
AT ITER 142 NEW BEST:: SOT 148977 SOS 100295 HAS SOPS 82325 HAS SOUS 48160 HAS SOUPS 45265 WITH SCORE 45365.295
AT ITER 143 NEW BEST:: SOT 149025 SOS 100280 HAS SOPS 82316 HAS SOUS 48163 HAS SOUPS 45256 WITH SCORE 45356.28
AT ITER 144 NEW BEST:: SOT 149250 SOS 100213 HAS SOPS 82316 HAS SOUS 47756 HAS SOUPS 44941 WITH SCORE 45041.213
AT ITER 145 NEW BEST:: SOT 149268 SOS 100309 HAS SOPS 82412 HAS SOUS 47743 HAS SOUPS 44928 WITH SCORE 45028.309
AT ITER 147 NEW BEST:: SOT 149365 SOS 100279 HAS SOPS 82553 HAS SOUS 47280 HAS SOUPS 44567 WITH SCORE 44667.279
AT ITER 150 NEW BEST:: SOT 149362 SOS 100273 HAS SOPS 82547 HAS SOUS 47271 HAS SOUPS 44558 WITH SCORE 44658.273
AT ITER 151 NEW BEST:: SOT 149125 SOS 99963 HAS SOPS 82237 HAS SOUS 47078 HAS SOUPS 44365 WITH SCORE 44464.963
AT ITER 152 NEW BEST:: SOT 149323 SOS 99990 HAS SOPS 82264 HAS SOUS 46714 HAS SOUPS 44001 WITH SCORE 44100.99
AT ITER 155 NEW BEST:: SOT 149306 SOS 99973 HAS SOPS 82417 HAS SOUS 46697 HAS SOUPS 43984 WITH SCORE 44083.973
AT ITER 158 NEW BEST:: SOT 149306 SOS 99933 HAS SOPS 82377 HAS SOUS 46657 HAS SOUPS 43944 WITH SCORE 44043.933
AT ITER 159 NEW BEST:: SOT 149214 SOS 99832 HAS SOPS 82213 HAS SOUS 46552 HAS SOUPS 43839 WITH SCORE 43938.832
AT ITER 161 NEW BEST:: SOT 149611 SOS 99882 HAS SOPS 82285 HAS SOUS 46223 HAS SOUPS 43510 WITH SCORE 43609.882
AT ITER 162 NEW BEST:: SOT 149611 SOS 99865 HAS SOPS 82225 HAS SOUS 46156 HAS SOUPS 43428 WITH SCORE 43527.865
AT ITER 164 NEW BEST:: SOT 149601 SOS 99850 HAS SOPS 82210 HAS SOUS 46151 HAS SOUPS 43423 WITH SCORE 43522.85
AT ITER 165 NEW BEST:: SOT 149612 SOS 99554 HAS SOPS 81967 HAS SOUS 45999 HAS SOUPS 43271 WITH SCORE 43370.554
AT ITER 166 NEW BEST:: SOT 149516 SOS 99213 HAS SOPS 81578 HAS SOUS 46038 HAS SOUPS 43262 WITH SCORE 43361.213
AT ITER 167 NEW BEST:: SOT 149433 SOS 99080 HAS SOPS 81457 HAS SOUS 46027 HAS SOUPS 43251 WITH SCORE 43350.08
AT ITER 171 NEW BEST:: SOT 149626 SOS 97456 HAS SOPS 81553 HAS SOUS 46038 HAS SOUPS 43214 WITH SCORE 43311.456
AT ITER 172 NEW BEST:: SOT 149725 SOS 97489 HAS SOPS 81586 HAS SOUS 46025 HAS SOUPS 43201 WITH SCORE 43298.489
AT ITER 175 NEW BEST:: SOT 149718 SOS 97475 HAS SOPS 81572 HAS SOUS 46025 HAS SOUPS 43201 WITH SCORE 43298.475
AT ITER 178 NEW BEST:: SOT 149892 SOS 97655 HAS SOPS 81920 HAS SOUS 45885 HAS SOUPS 43151 WITH SCORE 43248.655
AT ITER 181 NEW BEST:: SOT 150972 SOS 98848 HAS SOPS 83113 HAS SOUS 43719 HAS SOUPS 40985 WITH SCORE 41083.848
AT ITER 183 NEW BEST:: SOT 150948 SOS 98800 HAS SOPS 83041 HAS SOUS 43719 HAS SOUPS 40961 WITH SCORE 41059.8
AT ITER 187 NEW BEST:: SOT 150976 SOS 98798 HAS SOPS 83039 HAS SOUS 43621 HAS SOUPS 40863 WITH SCORE 40961.798
AT ITER 190 NEW BEST:: SOT 150971 SOS 98752 HAS SOPS 82993 HAS SOUS 43594 HAS SOUPS 40836 WITH SCORE 40934.752
AT ITER 191 NEW BEST:: SOT 150896 SOS 98677 HAS SOPS 82944 HAS SOUS 43470 HAS SOUPS 40725 WITH SCORE 40823.677
AT ITER 192 NEW BEST:: SOT 151062 SOS 98853 HAS SOPS 83178 HAS SOUS 43383 HAS SOUPS 40706 WITH SCORE 40804.853
AT ITER 194 NEW BEST:: SOT 151046 SOS 98861 HAS SOPS 83194 HAS SOUS 43367 HAS SOUPS 40698 WITH SCORE 40796.861
AT ITER 207 NEW BEST:: SOT 151105 SOS 98901 HAS SOPS 83177 HAS SOUS 43350 HAS SOUPS 40681 WITH SCORE 40779.901
AT ITER 208 NEW BEST:: SOT 151126 SOS 98901 HAS SOPS 83198 HAS SOUS 43245 HAS SOUPS 40597 WITH SCORE 40695.901
AT ITER 210 NEW BEST:: SOT 151525 SOS 98942 HAS SOPS 83239 HAS SOUS 43178 HAS SOUPS 40530 WITH SCORE 40628.942
AT ITER 213 NEW BEST:: SOT 151521 SOS 98948 HAS SOPS 83245 HAS SOUS 43124 HAS SOUPS 40476 WITH SCORE 40574.948
AT ITER 216 NEW BEST:: SOT 151521 SOS 98946 HAS SOPS 83205 HAS SOUS 42862 HAS SOUPS 40195 WITH SCORE 40293.946
AT ITER 220 NEW BEST:: SOT 151446 SOS 98861 HAS SOPS 83135 HAS SOUS 42852 HAS SOUPS 40185 WITH SCORE 40283.861
AT ITER 222 NEW BEST:: SOT 150121 SOS 99506 HAS SOPS 82668 HAS SOUS 42515 HAS SOUPS 39887 WITH SCORE 39986.506
AT ITER 232 NEW BEST:: SOT 149581 SOS 99533 HAS SOPS 82668 HAS SOUS 42407 HAS SOUPS 39833 WITH SCORE 39932.533
AT ITER 237 NEW BEST:: SOT 149573 SOS 99531 HAS SOPS 82666 HAS SOUS 42407 HAS SOUPS 39833 WITH SCORE 39932.531
AT ITER 239 NEW BEST:: SOT 149613 SOS 99484 HAS SOPS 82619 HAS SOUS 42365 HAS SOUPS 39791 WITH SCORE 39890.484
AT ITER 240 NEW BEST:: SOT 149119 SOS 99794 HAS SOPS 82595 HAS SOUS 42235 HAS SOUPS 39702 WITH SCORE 39801.794
AT ITER 242 NEW BEST:: SOT 149242 SOS 99945 HAS SOPS 82746 HAS SOUS 41816 HAS SOUPS 39283 WITH SCORE 39382.945
AT ITER 247 NEW BEST:: SOT 149234 SOS 99941 HAS SOPS 82738 HAS SOUS 41808 HAS SOUPS 39271 WITH SCORE 39370.941
AT ITER 248 NEW BEST:: SOT 149389 SOS 100069 HAS SOPS 83048 HAS SOUS 41650 HAS SOUPS 39211 WITH SCORE 39311.069
AT ITER 249 NEW BEST:: SOT 149458 SOS 96730 HAS SOPS 82998 HAS SOUS 41554 HAS SOUPS 39157 WITH SCORE 39253.73
AT ITER 256 NEW BEST:: SOT 149452 SOS 96721 HAS SOPS 82986 HAS SOUS 41554 HAS SOUPS 39154 WITH SCORE 39250.721
AT ITER 259 NEW BEST:: SOT 149320 SOS 96622 HAS SOPS 82944 HAS SOUS 41482 HAS SOUPS 39145 WITH SCORE 39241.622
AT ITER 261 NEW BEST:: SOT 149068 SOS 96588 HAS SOPS 82910 HAS SOUS 41039 HAS SOUPS 38702 WITH SCORE 38798.588
AT ITER 262 NEW BEST:: SOT 149243 SOS 96763 HAS SOPS 83085 HAS SOUS 39681 HAS SOUPS 37344 WITH SCORE 37440.763
AT ITER 263 NEW BEST:: SOT 149241 SOS 96760 HAS SOPS 83082 HAS SOUS 39672 HAS SOUPS 37335 WITH SCORE 37431.76
AT ITER 268 NEW BEST:: SOT 149180 SOS 96762 HAS SOPS 83057 HAS SOUS 39530 HAS SOUPS 37193 WITH SCORE 37289.762
AT ITER 270 NEW BEST:: SOT 148923 SOS 96807 HAS SOPS 83102 HAS SOUS 38895 HAS SOUPS 36558 WITH SCORE 36654.807
AT ITER 277 NEW BEST:: SOT 148923 SOS 96712 HAS SOPS 82988 HAS SOUS 38800 HAS SOUPS 36463 WITH SCORE 36559.712
AT ITER 278 NEW BEST:: SOT 149045 SOS 96729 HAS SOPS 82974 HAS SOUS 38691 HAS SOUPS 36354 WITH SCORE 36450.729
AT ITER 282 NEW BEST:: SOT 149253 SOS 96865 HAS SOPS 83272 HAS SOUS 38407 HAS SOUPS 36232 WITH SCORE 36328.865
AT ITER 283 NEW BEST:: SOT 147610 SOS 95868 HAS SOPS 82252 HAS SOUS 38056 HAS SOUPS 35785 WITH SCORE 35880.868
AT ITER 285 NEW BEST:: SOT 147670 SOS 95908 HAS SOPS 82312 HAS SOUS 37981 HAS SOUPS 35730 WITH SCORE 35825.908
AT ITER 287 NEW BEST:: SOT 147620 SOS 95880 HAS SOPS 82284 HAS SOUS 37957 HAS SOUPS 35706 WITH SCORE 35801.88
AT ITER 289 NEW BEST:: SOT 146510 SOS 95360 HAS SOPS 81996 HAS SOUS 37438 HAS SOUPS 35211 WITH SCORE 35306.36
AT ITER 293 NEW BEST:: SOT 146532 SOS 95403 HAS SOPS 81677 HAS SOUS 37437 HAS SOUPS 35210 WITH SCORE 35305.403
AT ITER 302 NEW BEST:: SOT 144900 SOS 94226 HAS SOPS 80955 HAS SOUS 36637 HAS SOUPS 34474 WITH SCORE 34568.226
AT ITER 304 NEW BEST:: SOT 145756 SOS 95082 HAS SOPS 81799 HAS SOUS 34964 HAS SOUPS 32801 WITH SCORE 32896.082
AT ITER 308 NEW BEST:: SOT 145744 SOS 95064 HAS SOPS 81781 HAS SOUS 34952 HAS SOUPS 32789 WITH SCORE 32884.064
AT ITER 320 NEW BEST:: SOT 145519 SOS 94770 HAS SOPS 81547 HAS SOUS 34889 HAS SOUPS 32717 WITH SCORE 32811.77
AT ITER 324 NEW BEST:: SOT 147166 SOS 96417 HAS SOPS 83190 HAS SOUS 33407 HAS SOUPS 31235 WITH SCORE 31331.417
AT ITER 330 NEW BEST:: SOT 147370 SOS 96342 HAS SOPS 83218 HAS SOUS 33137 HAS SOUPS 30965 WITH SCORE 31061.342
AT ITER 338 NEW BEST:: SOT 147598 SOS 96188 HAS SOPS 83230 HAS SOUS 33109 HAS SOUPS 30937 WITH SCORE 31033.188
AT ITER 340 NEW BEST:: SOT 147537 SOS 96046 HAS SOPS 83016 HAS SOUS 33094 HAS SOUPS 30886 WITH SCORE 30982.046
AT ITER 342 NEW BEST:: SOT 147492 SOS 96001 HAS SOPS 82941 HAS SOUS 32974 HAS SOUPS 30766 WITH SCORE 30862.001
AT ITER 347 NEW BEST:: SOT 147560 SOS 96069 HAS SOPS 83009 HAS SOUS 32954 HAS SOUPS 30746 WITH SCORE 30842.069
AT ITER 348 NEW BEST:: SOT 147936 SOS 96673 HAS SOPS 83506 HAS SOUS 32928 HAS SOUPS 30736 WITH SCORE 30832.673
AT ITER 350 NEW BEST:: SOT 147743 SOS 96445 HAS SOPS 83392 HAS SOUS 32924 HAS SOUPS 30732 WITH SCORE 30828.445
AT ITER 353 NEW BEST:: SOT 147777 SOS 96479 HAS SOPS 83392 HAS SOUS 32828 HAS SOUPS 30634 WITH SCORE 30730.479
AT ITER 355 NEW BEST:: SOT 147761 SOS 96463 HAS SOPS 83376 HAS SOUS 32770 HAS SOUPS 30576 WITH SCORE 30672.463
AT ITER 356 NEW BEST:: SOT 147650 SOS 96300 HAS SOPS 83273 HAS SOUS 32753 HAS SOUPS 30559 WITH SCORE 30655.3
AT ITER 362 NEW BEST:: SOT 147566 SOS 96240 HAS SOPS 83213 HAS SOUS 32728 HAS SOUPS 30534 WITH SCORE 30630.24
AT ITER 364 NEW BEST:: SOT 147572 SOS 96244 HAS SOPS 83217 HAS SOUS 32726 HAS SOUPS 30532 WITH SCORE 30628.244
AT ITER 365 NEW BEST:: SOT 148400 SOS 97075 HAS SOPS 84073 HAS SOUS 31309 HAS SOUPS 29115 WITH SCORE 29212.075
AT ITER 371 NEW BEST:: SOT 148316 SOS 96876 HAS SOPS 83905 HAS SOUS 31138 HAS SOUPS 28975 WITH SCORE 29071.876
AT ITER 377 NEW BEST:: SOT 148150 SOS 96479 HAS SOPS 83517 HAS SOUS 30750 HAS SOUPS 28587 WITH SCORE 28683.479
AT ITER 378 NEW BEST:: SOT 148245 SOS 96462 HAS SOPS 83561 HAS SOUS 30550 HAS SOUPS 28448 WITH SCORE 28544.462
AT ITER 380 NEW BEST:: SOT 148588 SOS 96292 HAS SOPS 83391 HAS SOUS 30507 HAS SOUPS 28405 WITH SCORE 28501.292
AT ITER 381 NEW BEST:: SOT 148588 SOS 96444 HAS SOPS 83501 HAS SOUS 30503 HAS SOUPS 28401 WITH SCORE 28497.444
AT ITER 390 NEW BEST:: SOT 148530 SOS 96357 HAS SOPS 83385 HAS SOUS 30445 HAS SOUPS 28314 WITH SCORE 28410.357
AT ITER 395 NEW BEST:: SOT 148507 SOS 96369 HAS SOPS 83336 HAS SOUS 30396 HAS SOUPS 28265 WITH SCORE 28361.369
AT ITER 398 NEW BEST:: SOT 148507 SOS 96351 HAS SOPS 83318 HAS SOUS 30378 HAS SOUPS 28247 WITH SCORE 28343.351
AT ITER 401 NEW BEST:: SOT 148296 SOS 96765 HAS SOPS 83252 HAS SOUS 30303 HAS SOUPS 28203 WITH SCORE 28299.765
AT ITER 403 NEW BEST:: SOT 148357 SOS 96826 HAS SOPS 83313 HAS SOUS 30281 HAS SOUPS 28181 WITH SCORE 28277.826
AT ITER 408 NEW BEST:: SOT 144961 SOS 99522 HAS SOPS 82958 HAS SOUS 29908 HAS SOUPS 27922 WITH SCORE 28021.522
AT ITER 409 NEW BEST:: SOT 144732 SOS 99448 HAS SOPS 82846 HAS SOUS 29826 HAS SOUPS 27840 WITH SCORE 27939.448
AT ITER 412 NEW BEST:: SOT 144710 SOS 99415 HAS SOPS 82813 HAS SOUS 29793 HAS SOUPS 27807 WITH SCORE 27906.415
AT ITER 421 NEW BEST:: SOT 142090 SOS 97207 HAS SOPS 81090 HAS SOUS 28010 HAS SOUPS 26033 WITH SCORE 26130.207
AT ITER 430 NEW BEST:: SOT 142405 SOS 97482 HAS SOPS 81225 HAS SOUS 28054 HAS SOUPS 26007 WITH SCORE 26104.482
AT ITER 431 NEW BEST:: SOT 142058 SOS 97413 HAS SOPS 81072 HAS SOUS 27922 HAS SOUPS 25875 WITH SCORE 25972.413
AT ITER 441 NEW BEST:: SOT 142075 SOS 97428 HAS SOPS 81076 HAS SOUS 27910 HAS SOUPS 25863 WITH SCORE 25960.428
AT ITER 446 NEW BEST:: SOT 140195 SOS 95805 HAS SOPS 80579 HAS SOUS 27206 HAS SOUPS 25366 WITH SCORE 25461.805
AT ITER 448 NEW BEST:: SOT 140115 SOS 95725 HAS SOPS 80499 HAS SOUS 27126 HAS SOUPS 25286 WITH SCORE 25381.725
AT ITER 450 NEW BEST:: SOT 139496 SOS 95178 HAS SOPS 80005 HAS SOUS 26941 HAS SOUPS 25076 WITH SCORE 25171.178
AT ITER 459 NEW BEST:: SOT 139444 SOS 95126 HAS SOPS 79953 HAS SOUS 26941 HAS SOUPS 25076 WITH SCORE 25171.126
AT ITER 460 NEW BEST:: SOT 137634 SOS 94096 HAS SOPS 79817 HAS SOUS 26918 HAS SOUPS 25008 WITH SCORE 25102.096
AT ITER 463 NEW BEST:: SOT 137391 SOS 93898 HAS SOPS 79635 HAS SOUS 26693 HAS SOUPS 24826 WITH SCORE 24919.898
AT ITER 467 NEW BEST:: SOT 137390 SOS 93897 HAS SOPS 79633 HAS SOUS 26691 HAS SOUPS 24824 WITH SCORE 24917.897
AT ITER 468 NEW BEST:: SOT 137438 SOS 93745 HAS SOPS 79481 HAS SOUS 26615 HAS SOUPS 24748 WITH SCORE 24841.745
AT ITER 475 NEW BEST:: SOT 137385 SOS 93698 HAS SOPS 79406 HAS SOUS 26601 HAS SOUPS 24734 WITH SCORE 24827.698
AT ITER 480 NEW BEST:: SOT 137191 SOS 93504 HAS SOPS 79190 HAS SOUS 26449 HAS SOUPS 24582 WITH SCORE 24675.504
AT ITER 484 NEW BEST:: SOT 136901 SOS 93235 HAS SOPS 78921 HAS SOUS 26201 HAS SOUPS 24334 WITH SCORE 24427.235
AT ITER 492 NEW BEST:: SOT 136777 SOS 93185 HAS SOPS 78805 HAS SOUS 26075 HAS SOUPS 24208 WITH SCORE 24301.185
AT ITER 500 NEW BEST:: SOT 136757 SOS 93147 HAS SOPS 78791 HAS SOUS 26070 HAS SOUPS 24203 WITH SCORE 24296.147
AT ITER 503 NEW BEST:: SOT 136783 SOS 92610 HAS SOPS 78751 HAS SOUS 26030 HAS SOUPS 24163 WITH SCORE 24255.61
AT ITER 508 NEW BEST:: SOT 136803 SOS 92640 HAS SOPS 78761 HAS SOUS 26020 HAS SOUPS 24153 WITH SCORE 24245.64
AT ITER 510 NEW BEST:: SOT 136810 SOS 92626 HAS SOPS 78740 HAS SOUS 26006 HAS SOUPS 24139 WITH SCORE 24231.626
AT ITER 511 NEW BEST:: SOT 136420 SOS 93022 HAS SOPS 78650 HAS SOUS 26025 HAS SOUPS 24117 WITH SCORE 24210.022
AT ITER 512 NEW BEST:: SOT 136355 SOS 92979 HAS SOPS 78607 HAS SOUS 25984 HAS SOUPS 24076 WITH SCORE 24168.979
AT ITER 517 NEW BEST:: SOT 136320 SOS 92943 HAS SOPS 78571 HAS SOUS 25950 HAS SOUPS 24042 WITH SCORE 24134.943
AT ITER 518 NEW BEST:: SOT 136248 SOS 92799 HAS SOPS 78427 HAS SOUS 25840 HAS SOUPS 23932 WITH SCORE 24024.799
AT ITER 526 NEW BEST:: SOT 136166 SOS 92683 HAS SOPS 78311 HAS SOUS 25818 HAS SOUPS 23910 WITH SCORE 24002.683
AT ITER 527 NEW BEST:: SOT 136005 SOS 92613 HAS SOPS 78247 HAS SOUS 25757 HAS SOUPS 23860 WITH SCORE 23952.613
AT ITER 528 NEW BEST:: SOT 135886 SOS 92648 HAS SOPS 78233 HAS SOUS 25736 HAS SOUPS 23846 WITH SCORE 23938.648
AT ITER 530 NEW BEST:: SOT 135850 SOS 92612 HAS SOPS 78174 HAS SOUS 25568 HAS SOUPS 23678 WITH SCORE 23770.612
AT ITER 535 NEW BEST:: SOT 135437 SOS 92239 HAS SOPS 77904 HAS SOUS 25340 HAS SOUPS 23473 WITH SCORE 23565.239
AT ITER 544 NEW BEST:: SOT 135423 SOS 92239 HAS SOPS 77890 HAS SOUS 25326 HAS SOUPS 23459 WITH SCORE 23551.239
AT ITER 546 NEW BEST:: SOT 135427 SOS 92247 HAS SOPS 77898 HAS SOUS 25323 HAS SOUPS 23456 WITH SCORE 23548.247
AT ITER 549 NEW BEST:: SOT 135427 SOS 92211 HAS SOPS 77862 HAS SOUS 25297 HAS SOUPS 23430 WITH SCORE 23522.211
AT ITER 551 NEW BEST:: SOT 135426 SOS 92209 HAS SOPS 77860 HAS SOUS 25297 HAS SOUPS 23430 WITH SCORE 23522.209
AT ITER 552 NEW BEST:: SOT 135420 SOS 92237 HAS SOPS 77886 HAS SOUS 25249 HAS SOUPS 23382 WITH SCORE 23474.237
AT ITER 557 NEW BEST:: SOT 135840 SOS 92403 HAS SOPS 78052 HAS SOUS 25191 HAS SOUPS 23324 WITH SCORE 23416.403
AT ITER 563 NEW BEST:: SOT 135831 SOS 92423 HAS SOPS 78052 HAS SOUS 25188 HAS SOUPS 23323 WITH SCORE 23415.423
AT ITER 564 NEW BEST:: SOT 135827 SOS 92419 HAS SOPS 78092 HAS SOUS 25188 HAS SOUPS 23323 WITH SCORE 23415.419
AT ITER 565 NEW BEST:: SOT 135827 SOS 92380 HAS SOPS 78053 HAS SOUS 25162 HAS SOUPS 23297 WITH SCORE 23389.38
AT ITER 574 NEW BEST:: SOT 135944 SOS 92434 HAS SOPS 78099 HAS SOUS 25148 HAS SOUPS 23261 WITH SCORE 23353.434
AT ITER 584 NEW BEST:: SOT 133745 SOS 90142 HAS SOPS 75807 HAS SOUS 25038 HAS SOUPS 23151 WITH SCORE 23241.142
AT ITER 589 NEW BEST:: SOT 133745 SOS 90070 HAS SOPS 75735 HAS SOUS 25038 HAS SOUPS 23151 WITH SCORE 23241.07
AT ITER 590 NEW BEST:: SOT 133749 SOS 90074 HAS SOPS 75739 HAS SOUS 25018 HAS SOUPS 23131 WITH SCORE 23221.074
AT ITER 598 NEW BEST:: SOT 133775 SOS 90074 HAS SOPS 75647 HAS SOUS 24992 HAS SOUPS 23079 WITH SCORE 23169.074
AT ITER 606 NEW BEST:: SOT 133772 SOS 90071 HAS SOPS 75635 HAS SOUS 24980 HAS SOUPS 23067 WITH SCORE 23157.071
AT ITER 607 NEW BEST:: SOT 133737 SOS 90035 HAS SOPS 75513 HAS SOUS 24939 HAS SOUPS 23000 WITH SCORE 23090.035
AT ITER 611 NEW BEST:: SOT 133689 SOS 90133 HAS SOPS 75479 HAS SOUS 24906 HAS SOUPS 22946 WITH SCORE 23036.133
AT ITER 614 NEW BEST:: SOT 133700 SOS 89845 HAS SOPS 75191 HAS SOUS 24412 HAS SOUPS 22452 WITH SCORE 22541.845
AT ITER 616 NEW BEST:: SOT 133700 SOS 89806 HAS SOPS 75165 HAS SOUS 24386 HAS SOUPS 22426 WITH SCORE 22515.806
AT ITER 620 NEW BEST:: SOT 133741 SOS 89822 HAS SOPS 75481 HAS SOUS 24259 HAS SOUPS 22332 WITH SCORE 22421.822
AT ITER 627 NEW BEST:: SOT 133573 SOS 89375 HAS SOPS 75855 HAS SOUS 23943 HAS SOUPS 22100 WITH SCORE 22189.375
AT ITER 634 NEW BEST:: SOT 133293 SOS 88927 HAS SOPS 75332 HAS SOUS 24002 HAS SOUPS 22082 WITH SCORE 22170.927
AT ITER 647 NEW BEST:: SOT 133018 SOS 88654 HAS SOPS 75142 HAS SOUS 23917 HAS SOUPS 21995 WITH SCORE 22083.654
AT ITER 650 NEW BEST:: SOT 133110 SOS 88691 HAS SOPS 75216 HAS SOUS 23891 HAS SOUPS 21969 WITH SCORE 22057.691
AT ITER 652 NEW BEST:: SOT 133011 SOS 88616 HAS SOPS 75117 HAS SOUS 23887 HAS SOUPS 21945 WITH SCORE 22033.616
AT ITER 656 NEW BEST:: SOT 132986 SOS 88589 HAS SOPS 75054 HAS SOUS 23824 HAS SOUPS 21882 WITH SCORE 21970.589
AT ITER 665 NEW BEST:: SOT 131712 SOS 87315 HAS SOPS 73728 HAS SOUS 23804 HAS SOUPS 21854 WITH SCORE 21941.315
AT ITER 668 NEW BEST:: SOT 131661 SOS 87298 HAS SOPS 73728 HAS SOUS 23770 HAS SOUPS 21837 WITH SCORE 21924.298
AT ITER 669 NEW BEST:: SOT 131659 SOS 87294 HAS SOPS 73724 HAS SOUS 23770 HAS SOUPS 21837 WITH SCORE 21924.294
AT ITER 675 NEW BEST:: SOT 130179 SOS 85778 HAS SOPS 72136 HAS SOUS 23609 HAS SOUPS 21642 WITH SCORE 21727.778
AT ITER 679 NEW BEST:: SOT 130361 SOS 85975 HAS SOPS 72333 HAS SOUS 23605 HAS SOUPS 21638 WITH SCORE 21723.975
AT ITER 683 NEW BEST:: SOT 130345 SOS 84523 HAS SOPS 70317 HAS SOUS 23604 HAS SOUPS 21610 WITH SCORE 21694.523
AT ITER 684 NEW BEST:: SOT 130445 SOS 84606 HAS SOPS 70384 HAS SOUS 23565 HAS SOUPS 21570 WITH SCORE 21654.606
AT ITER 685 NEW BEST:: SOT 130468 SOS 83664 HAS SOPS 69050 HAS SOUS 23542 HAS SOUPS 21527 WITH SCORE 21610.664
AT ITER 694 NEW BEST:: SOT 130446 SOS 83634 HAS SOPS 68998 HAS SOUS 23490 HAS SOUPS 21475 WITH SCORE 21558.634
AT ITER 696 NEW BEST:: SOT 130307 SOS 83563 HAS SOPS 69047 HAS SOUS 23428 HAS SOUPS 21447 WITH SCORE 21530.563
AT ITER 701 NEW BEST:: SOT 130268 SOS 83485 HAS SOPS 68969 HAS SOUS 23372 HAS SOUPS 21391 WITH SCORE 21474.485
AT ITER 708 NEW BEST:: SOT 130277 SOS 78368 HAS SOPS 61324 HAS SOUS 23291 HAS SOUPS 21179 WITH SCORE 21257.368
AT ITER 719 NEW BEST:: SOT 130110 SOS 78281 HAS SOPS 61322 HAS SOUS 23261 HAS SOUPS 21132 WITH SCORE 21210.281
AT ITER 723 NEW BEST:: SOT 130104 SOS 78289 HAS SOPS 61318 HAS SOUS 23261 HAS SOUPS 21130 WITH SCORE 21208.289
AT ITER 743 NEW BEST:: SOT 130031 SOS 78267 HAS SOPS 61205 HAS SOUS 23128 HAS SOUPS 20984 WITH SCORE 21062.267
AT ITER 748 NEW BEST:: SOT 130030 SOS 78269 HAS SOPS 61206 HAS SOUS 23123 HAS SOUPS 20979 WITH SCORE 21057.269
AT ITER 754 NEW BEST:: SOT 130035 SOS 78132 HAS SOPS 60931 HAS SOUS 22850 HAS SOUPS 20686 WITH SCORE 20764.132
AT ITER 756 NEW BEST:: SOT 130023 SOS 78120 HAS SOPS 60919 HAS SOUS 22838 HAS SOUPS 20674 WITH SCORE 20752.12
AT ITER 757 NEW BEST:: SOT 129976 SOS 78221 HAS SOPS 60993 HAS SOUS 22791 HAS SOUPS 20627 WITH SCORE 20705.221
AT ITER 758 NEW BEST:: SOT 129974 SOS 78219 HAS SOPS 60991 HAS SOUS 22789 HAS SOUPS 20625 WITH SCORE 20703.219
AT ITER 762 NEW BEST:: SOT 129938 SOS 78174 HAS SOPS 60946 HAS SOUS 22762 HAS SOUPS 20598 WITH SCORE 20676.174
AT ITER 767 NEW BEST:: SOT 130098 SOS 77790 HAS SOPS 60562 HAS SOUS 22541 HAS SOUPS 20377 WITH SCORE 20454.79
AT ITER 768 NEW BEST:: SOT 129858 SOS 77778 HAS SOPS 60091 HAS SOUS 22494 HAS SOUPS 20303 WITH SCORE 20380.778
AT ITER 770 NEW BEST:: SOT 129803 SOS 77668 HAS SOPS 59981 HAS SOUS 22463 HAS SOUPS 20272 WITH SCORE 20349.668
AT ITER 773 NEW BEST:: SOT 129829 SOS 77707 HAS SOPS 59981 HAS SOUS 22450 HAS SOUPS 20259 WITH SCORE 20336.707
AT ITER 776 NEW BEST:: SOT 129745 SOS 77623 HAS SOPS 59897 HAS SOUS 22417 HAS SOUPS 20226 WITH SCORE 20303.623
AT ITER 781 NEW BEST:: SOT 129725 SOS 77563 HAS SOPS 59837 HAS SOUS 22407 HAS SOUPS 20216 WITH SCORE 20293.563
AT ITER 784 NEW BEST:: SOT 129622 SOS 77357 HAS SOPS 59663 HAS SOUS 22386 HAS SOUPS 20195 WITH SCORE 20272.357
AT ITER 788 NEW BEST:: SOT 129406 SOS 77285 HAS SOPS 59591 HAS SOUS 22350 HAS SOUPS 20141 WITH SCORE 20218.285
AT ITER 789 NEW BEST:: SOT 129554 SOS 77509 HAS SOPS 59707 HAS SOUS 22348 HAS SOUPS 20122 WITH SCORE 20199.509
AT ITER 791 NEW BEST:: SOT 129522 SOS 77594 HAS SOPS 59631 HAS SOUS 22328 HAS SOUPS 20080 WITH SCORE 20157.594
AT ITER 798 NEW BEST:: SOT 129755 SOS 77716 HAS SOPS 59597 HAS SOUS 22312 HAS SOUPS 20046 WITH SCORE 20123.716
AT ITER 802 NEW BEST:: SOT 129718 SOS 77679 HAS SOPS 59571 HAS SOUS 22281 HAS SOUPS 20026 WITH SCORE 20103.679
AT ITER 804 NEW BEST:: SOT 129690 SOS 77542 HAS SOPS 59434 HAS SOUS 22265 HAS SOUPS 20010 WITH SCORE 20087.542
AT ITER 808 NEW BEST:: SOT 129666 SOS 77518 HAS SOPS 59386 HAS SOUS 22263 HAS SOUPS 19984 WITH SCORE 20061.518
AT ITER 813 NEW BEST:: SOT 129346 SOS 77238 HAS SOPS 59330 HAS SOUS 22199 HAS SOUPS 19928 WITH SCORE 20005.238
AT ITER 817 NEW BEST:: SOT 129171 SOS 77226 HAS SOPS 59331 HAS SOUS 22125 HAS SOUPS 19854 WITH SCORE 19931.226
AT ITER 845 NEW BEST:: SOT 128837 SOS 79422 HAS SOPS 59293 HAS SOUS 22060 HAS SOUPS 19794 WITH SCORE 19873.422
AT ITER 857 NEW BEST:: SOT 128815 SOS 79400 HAS SOPS 59293 HAS SOUS 21994 HAS SOUPS 19750 WITH SCORE 19829.4
AT ITER 859 NEW BEST:: SOT 128827 SOS 79388 HAS SOPS 59281 HAS SOUS 21985 HAS SOUPS 19741 WITH SCORE 19820.388
AT ITER 865 NEW BEST:: SOT 128826 SOS 79386 HAS SOPS 59291 HAS SOUS 21984 HAS SOUPS 19740 WITH SCORE 19819.386
AT ITER 889 NEW BEST:: SOT 128879 SOS 79465 HAS SOPS 59670 HAS SOUS 21965 HAS SOUPS 19721 WITH SCORE 19800.465
AT ITER 891 NEW BEST:: SOT 128884 SOS 79460 HAS SOPS 59668 HAS SOUS 21965 HAS SOUPS 19721 WITH SCORE 19800.46
AT ITER 896 NEW BEST:: SOT 128719 SOS 79598 HAS SOPS 59750 HAS SOUS 21903 HAS SOUPS 19659 WITH SCORE 19738.598
AT ITER 899 NEW BEST:: SOT 130347 SOS 77920 HAS SOPS 59593 HAS SOUS 21989 HAS SOUPS 19637 WITH SCORE 19714.92
AT ITER 901 NEW BEST:: SOT 130598 SOS 77850 HAS SOPS 59908 HAS SOUS 21865 HAS SOUPS 19608 WITH SCORE 19685.85
AT ITER 909 NEW BEST:: SOT 130608 SOS 77810 HAS SOPS 59888 HAS SOUS 21840 HAS SOUPS 19583 WITH SCORE 19660.81
AT ITER 910 NEW BEST:: SOT 130604 SOS 77927 HAS SOPS 59830 HAS SOUS 21844 HAS SOUPS 19562 WITH SCORE 19639.927
AT ITER 916 NEW BEST:: SOT 130547 SOS 77870 HAS SOPS 59716 HAS SOUS 21793 HAS SOUPS 19511 WITH SCORE 19588.87
AT ITER 920 NEW BEST:: SOT 130597 SOS 77846 HAS SOPS 59699 HAS SOUS 21775 HAS SOUPS 19493 WITH SCORE 19570.846
AT ITER 927 NEW BEST:: SOT 130593 SOS 77871 HAS SOPS 59695 HAS SOUS 21732 HAS SOUPS 19450 WITH SCORE 19527.871
AT ITER 936 NEW BEST:: SOT 130579 SOS 77846 HAS SOPS 59670 HAS SOUS 21696 HAS SOUPS 19414 WITH SCORE 19491.846
AT ITER 946 NEW BEST:: SOT 130579 SOS 77846 HAS SOPS 59657 HAS SOUS 21683 HAS SOUPS 19401 WITH SCORE 19478.846
AT ITER 961 NEW BEST:: SOT 130546 SOS 77813 HAS SOPS 59623 HAS SOUS 21650 HAS SOUPS 19367 WITH SCORE 19444.813
AT ITER 978 NEW BEST:: SOT 130745 SOS 78012 HAS SOPS 59822 HAS SOUS 21640 HAS SOUPS 19357 WITH SCORE 19435.012
AT ITER 979 NEW BEST:: SOT 130682 SOS 77970 HAS SOPS 59780 HAS SOUS 21640 HAS SOUPS 19357 WITH SCORE 19434.97
AT ITER 982 NEW BEST:: SOT 130784 SOS 77970 HAS SOPS 59780 HAS SOUS 21629 HAS SOUPS 19346 WITH SCORE 19423.97
AT ITER 983 NEW BEST:: SOT 130613 SOS 79662 HAS SOPS 59736 HAS SOUS 21630 HAS SOUPS 19320 WITH SCORE 19399.662
AT ITER 986 NEW BEST:: SOT 130595 SOS 79726 HAS SOPS 59725 HAS SOUS 21629 HAS SOUPS 19314 WITH SCORE 19393.726
AT ITER 989 NEW BEST:: SOT 130584 SOS 79656 HAS SOPS 59705 HAS SOUS 21592 HAS SOUPS 19291 WITH SCORE 19370.656
AT ITER 996 NEW BEST:: SOT 130387 SOS 81398 HAS SOPS 59878 HAS SOUS 21556 HAS SOUPS 19235 WITH SCORE 19316.398
AT ITER 1000 NEW BEST:: SOT 130372 SOS 81383 HAS SOPS 59866 HAS SOUS 21454 HAS SOUPS 19133 WITH SCORE 19214.383
AT ITER 1004 NEW BEST:: SOT 130346 SOS 81367 HAS SOPS 59850 HAS SOUS 21439 HAS SOUPS 19118 WITH SCORE 19199.367
AT ITER 1011 NEW BEST:: SOT 130364 SOS 81429 HAS SOPS 59902 HAS SOUS 21405 HAS SOUPS 19106 WITH SCORE 19187.429
AT ITER 1013 NEW BEST:: SOT 130339 SOS 81404 HAS SOPS 59879 HAS SOUS 21391 HAS SOUPS 19092 WITH SCORE 19173.404
AT ITER 1028 NEW BEST:: SOT 130033 SOS 81254 HAS SOPS 59754 HAS SOUS 21432 HAS SOUPS 19084 WITH SCORE 19165.254
AT ITER 1031 NEW BEST:: SOT 130031 SOS 81253 HAS SOPS 59751 HAS SOUS 21429 HAS SOUPS 19081 WITH SCORE 19162.253
AT ITER 1034 NEW BEST:: SOT 130031 SOS 81112 HAS SOPS 59627 HAS SOUS 21429 HAS SOUPS 19081 WITH SCORE 19162.112
AT ITER 1037 NEW BEST:: SOT 130031 SOS 81096 HAS SOPS 59611 HAS SOUS 21385 HAS SOUPS 19037 WITH SCORE 19118.096
AT ITER 1039 NEW BEST:: SOT 130027 SOS 81092 HAS SOPS 59609 HAS SOUS 21385 HAS SOUPS 19037 WITH SCORE 19118.092
AT ITER 1047 NEW BEST:: SOT 130065 SOS 79909 HAS SOPS 56733 HAS SOUS 21429 HAS SOUPS 18975 WITH SCORE 19054.909
AT ITER 1056 NEW BEST:: SOT 129898 SOS 79745 HAS SOPS 56596 HAS SOUS 21427 HAS SOUPS 18973 WITH SCORE 19052.745
AT ITER 1077 NEW BEST:: SOT 129821 SOS 79713 HAS SOPS 56550 HAS SOUS 21426 HAS SOUPS 18972 WITH SCORE 19051.713
AT ITER 1078 NEW BEST:: SOT 129863 SOS 79692 HAS SOPS 56529 HAS SOUS 21426 HAS SOUPS 18972 WITH SCORE 19051.692
AT ITER 1079 NEW BEST:: SOT 129989 SOS 79818 HAS SOPS 56634 HAS SOUS 21374 HAS SOUPS 18920 WITH SCORE 18999.818
AT ITER 1081 NEW BEST:: SOT 129983 SOS 79812 HAS SOPS 56628 HAS SOUS 21366 HAS SOUPS 18912 WITH SCORE 18991.812
AT ITER 1102 NEW BEST:: SOT 130058 SOS 79914 HAS SOPS 56681 HAS SOUS 21289 HAS SOUPS 18835 WITH SCORE 18914.914
AT ITER 1108 NEW BEST:: SOT 130136 SOS 80000 HAS SOPS 56753 HAS SOUS 21290 HAS SOUPS 18831 WITH SCORE 18911.0
AT ITER 1116 NEW BEST:: SOT 130104 SOS 78105 HAS SOPS 47079 HAS SOUS 21148 HAS SOUPS 18107 WITH SCORE 18185.105
AT ITER 1128 NEW BEST:: SOT 130297 SOS 78255 HAS SOPS 47229 HAS SOUS 21078 HAS SOUPS 18041 WITH SCORE 18119.255
AT ITER 1130 NEW BEST:: SOT 130255 SOS 78241 HAS SOPS 47215 HAS SOUS 21050 HAS SOUPS 18013 WITH SCORE 18091.241
AT ITER 1133 NEW BEST:: SOT 130248 SOS 78255 HAS SOPS 47194 HAS SOUS 21043 HAS SOUPS 18006 WITH SCORE 18084.255
AT ITER 1146 NEW BEST:: SOT 130257 SOS 78113 HAS SOPS 47073 HAS SOUS 20977 HAS SOUPS 17940 WITH SCORE 18018.113
AT ITER 1148 NEW BEST:: SOT 130234 SOS 78067 HAS SOPS 47027 HAS SOUS 20954 HAS SOUPS 17917 WITH SCORE 17995.067
AT ITER 1163 NEW BEST:: SOT 130234 SOS 77971 HAS SOPS 46955 HAS SOUS 20858 HAS SOUPS 17849 WITH SCORE 17926.971
AT ITER 1174 NEW BEST:: SOT 130174 SOS 77831 HAS SOPS 46835 HAS SOUS 20838 HAS SOUPS 17809 WITH SCORE 17886.831
AT ITER 1176 NEW BEST:: SOT 130171 SOS 77810 HAS SOPS 46820 HAS SOUS 20814 HAS SOUPS 17785 WITH SCORE 17862.81
AT ITER 1178 NEW BEST:: SOT 130105 SOS 77790 HAS SOPS 46865 HAS SOUS 20775 HAS SOUPS 17756 WITH SCORE 17833.79
AT ITER 1183 NEW BEST:: SOT 128864 SOS 76786 HAS SOPS 46838 HAS SOUS 20746 HAS SOUPS 17729 WITH SCORE 17805.786
AT ITER 1184 NEW BEST:: SOT 128155 SOS 75578 HAS SOPS 46827 HAS SOUS 20609 HAS SOUPS 17725 WITH SCORE 17800.578
AT ITER 1188 NEW BEST:: SOT 128102 SOS 75472 HAS SOPS 46721 HAS SOUS 20566 HAS SOUPS 17682 WITH SCORE 17757.472
AT ITER 1207 NEW BEST:: SOT 128123 SOS 75355 HAS SOPS 46654 HAS SOUS 20487 HAS SOUPS 17603 WITH SCORE 17678.355
AT ITER 1209 NEW BEST:: SOT 126106 SOS 73285 HAS SOPS 44596 HAS SOUS 20368 HAS SOUPS 17484 WITH SCORE 17557.285
AT ITER 1220 NEW BEST:: SOT 126099 SOS 73272 HAS SOPS 44585 HAS SOUS 20363 HAS SOUPS 17479 WITH SCORE 17552.272
AT ITER 1233 NEW BEST:: SOT 126005 SOS 73126 HAS SOPS 44439 HAS SOUS 20297 HAS SOUPS 17413 WITH SCORE 17486.126
AT ITER 1235 NEW BEST:: SOT 126071 SOS 73171 HAS SOPS 44702 HAS SOUS 20230 HAS SOUPS 17369 WITH SCORE 17442.171
AT ITER 1238 NEW BEST:: SOT 126095 SOS 72388 HAS SOPS 44702 HAS SOUS 20216 HAS SOUPS 17363 WITH SCORE 17435.388
AT ITER 1252 NEW BEST:: SOT 126102 SOS 72420 HAS SOPS 44712 HAS SOUS 20226 HAS SOUPS 17362 WITH SCORE 17434.42
AT ITER 1256 NEW BEST:: SOT 125976 SOS 72294 HAS SOPS 44585 HAS SOUS 20099 HAS SOUPS 17235 WITH SCORE 17307.294
AT ITER 1263 NEW BEST:: SOT 125944 SOS 72262 HAS SOPS 44561 HAS SOUS 20091 HAS SOUPS 17223 WITH SCORE 17295.262
AT ITER 1266 NEW BEST:: SOT 125926 SOS 72250 HAS SOPS 44549 HAS SOUS 20085 HAS SOUPS 17211 WITH SCORE 17283.25
AT ITER 1282 NEW BEST:: SOT 125779 SOS 72103 HAS SOPS 44423 HAS SOUS 20059 HAS SOUPS 17190 WITH SCORE 17262.103
AT ITER 1292 NEW BEST:: SOT 125916 SOS 72376 HAS SOPS 44499 HAS SOUS 20080 HAS SOUPS 17176 WITH SCORE 17248.376
AT ITER 1297 NEW BEST:: SOT 125826 SOS 72316 HAS SOPS 44439 HAS SOUS 20077 HAS SOUPS 17158 WITH SCORE 17230.316
AT ITER 1298 NEW BEST:: SOT 124298 SOS 75676 HAS SOPS 44167 HAS SOUS 20013 HAS SOUPS 17023 WITH SCORE 17098.676
AT ITER 1312 NEW BEST:: SOT 124206 SOS 75648 HAS SOPS 44065 HAS SOUS 19771 HAS SOUPS 16781 WITH SCORE 16856.648
AT ITER 1319 NEW BEST:: SOT 123118 SOS 75451 HAS SOPS 43975 HAS SOUS 19780 HAS SOUPS 16740 WITH SCORE 16815.451
AT ITER 1329 NEW BEST:: SOT 123102 SOS 75427 HAS SOPS 43951 HAS SOUS 19764 HAS SOUPS 16724 WITH SCORE 16799.427
AT ITER 1344 NEW BEST:: SOT 123090 SOS 75418 HAS SOPS 43939 HAS SOUS 19761 HAS SOUPS 16718 WITH SCORE 16793.418
AT ITER 1353 NEW BEST:: SOT 123090 SOS 75383 HAS SOPS 37960 HAS SOUS 19742 HAS SOUPS 16126 WITH SCORE 16201.383
AT ITER 1356 NEW BEST:: SOT 123062 SOS 75351 HAS SOPS 37932 HAS SOUS 19738 HAS SOUPS 16122 WITH SCORE 16197.351
AT ITER 1361 NEW BEST:: SOT 123020 SOS 75246 HAS SOPS 37827 HAS SOUS 19701 HAS SOUPS 16085 WITH SCORE 16160.246
AT ITER 1364 NEW BEST:: SOT 122976 SOS 75158 HAS SOPS 37762 HAS SOUS 19638 HAS SOUPS 16022 WITH SCORE 16097.158
AT ITER 1366 NEW BEST:: SOT 122945 SOS 74928 HAS SOPS 37594 HAS SOUS 19554 HAS SOUPS 15938 WITH SCORE 16012.928
AT ITER 1369 NEW BEST:: SOT 122855 SOS 74908 HAS SOPS 37494 HAS SOUS 19524 HAS SOUPS 15887 WITH SCORE 15961.908
AT ITER 1379 NEW BEST:: SOT 122787 SOS 74982 HAS SOPS 37341 HAS SOUS 19506 HAS SOUPS 15813 WITH SCORE 15887.982
AT ITER 1394 NEW BEST:: SOT 122787 SOS 74980 HAS SOPS 37337 HAS SOUS 19506 HAS SOUPS 15813 WITH SCORE 15887.98
AT ITER 1395 NEW BEST:: SOT 122767 SOS 74955 HAS SOPS 37267 HAS SOUS 19492 HAS SOUPS 15799 WITH SCORE 15873.955
AT ITER 1407 NEW BEST:: SOT 122664 SOS 74845 HAS SOPS 37157 HAS SOUS 19441 HAS SOUPS 15748 WITH SCORE 15822.845
AT ITER 1415 NEW BEST:: SOT 122958 SOS 75139 HAS SOPS 37451 HAS SOUS 19374 HAS SOUPS 15681 WITH SCORE 15756.139
AT ITER 1419 NEW BEST:: SOT 122435 SOS 74614 HAS SOPS 36875 HAS SOUS 19110 HAS SOUPS 15434 WITH SCORE 15508.614
AT ITER 1426 NEW BEST:: SOT 122415 SOS 74594 HAS SOPS 36835 HAS SOUS 19070 HAS SOUPS 15394 WITH SCORE 15468.594
AT ITER 1433 NEW BEST:: SOT 122416 SOS 74595 HAS SOPS 36757 HAS SOUS 18994 HAS SOUPS 15316 WITH SCORE 15390.595
AT ITER 1436 NEW BEST:: SOT 122060 SOS 74535 HAS SOPS 36573 HAS SOUS 18981 HAS SOUPS 15284 WITH SCORE 15358.535
AT ITER 1443 NEW BEST:: SOT 121839 SOS 74394 HAS SOPS 36504 HAS SOUS 18968 HAS SOUPS 15235 WITH SCORE 15309.394
AT ITER 1448 NEW BEST:: SOT 121014 SOS 73450 HAS SOPS 35539 HAS SOUS 18824 HAS SOUPS 15091 WITH SCORE 15164.45
AT ITER 1479 NEW BEST:: SOT 120990 SOS 73429 HAS SOPS 35509 HAS SOUS 18818 HAS SOUPS 15076 WITH SCORE 15149.429
AT ITER 1484 NEW BEST:: SOT 120893 SOS 73332 HAS SOPS 35427 HAS SOUS 18799 HAS SOUPS 15057 WITH SCORE 15130.332
AT ITER 1490 NEW BEST:: SOT 120881 SOS 73320 HAS SOPS 35415 HAS SOUS 18784 HAS SOUPS 15042 WITH SCORE 15115.32
AT ITER 1510 NEW BEST:: SOT 120409 SOS 73114 HAS SOPS 35304 HAS SOUS 18710 HAS SOUPS 14931 WITH SCORE 15004.114
AT ITER 1514 NEW BEST:: SOT 120322 SOS 73027 HAS SOPS 35181 HAS SOUS 18593 HAS SOUPS 14814 WITH SCORE 14887.027
AT ITER 1532 NEW BEST:: SOT 120269 SOS 73367 HAS SOPS 36313 HAS SOUS 18511 HAS SOUPS 14732 WITH SCORE 14805.367
AT ITER 1536 NEW BEST:: SOT 120280 SOS 73345 HAS SOPS 36291 HAS SOUS 18500 HAS SOUPS 14721 WITH SCORE 14794.345
AT ITER 1547 NEW BEST:: SOT 119914 SOS 73517 HAS SOPS 36054 HAS SOUS 18522 HAS SOUPS 14668 WITH SCORE 14741.517
AT ITER 1553 NEW BEST:: SOT 120068 SOS 73730 HAS SOPS 36236 HAS SOUS 18491 HAS SOUPS 14637 WITH SCORE 14710.73
AT ITER 1557 NEW BEST:: SOT 119887 SOS 75576 HAS SOPS 35914 HAS SOUS 18468 HAS SOUPS 14591 WITH SCORE 14666.576
AT ITER 1558 NEW BEST:: SOT 119964 SOS 75589 HAS SOPS 35880 HAS SOUS 18357 HAS SOUPS 14504 WITH SCORE 14579.589
AT ITER 1566 NEW BEST:: SOT 119967 SOS 75589 HAS SOPS 35877 HAS SOUS 18351 HAS SOUPS 14501 WITH SCORE 14576.589
AT ITER 1569 NEW BEST:: SOT 119975 SOS 75629 HAS SOPS 35881 HAS SOUS 18341 HAS SOUPS 14491 WITH SCORE 14566.629
AT ITER 1580 NEW BEST:: SOT 119994 SOS 75667 HAS SOPS 35753 HAS SOUS 18232 HAS SOUPS 14381 WITH SCORE 14456.667
AT ITER 1584 NEW BEST:: SOT 119864 SOS 75610 HAS SOPS 35709 HAS SOUS 18284 HAS SOUPS 14376 WITH SCORE 14451.61
AT ITER 1625 NEW BEST:: SOT 119852 SOS 75598 HAS SOPS 35697 HAS SOUS 18266 HAS SOUPS 14358 WITH SCORE 14433.598
AT ITER 1626 NEW BEST:: SOT 119830 SOS 75530 HAS SOPS 35629 HAS SOUS 18220 HAS SOUPS 14312 WITH SCORE 14387.53
AT ITER 1637 NEW BEST:: SOT 119835 SOS 75550 HAS SOPS 35649 HAS SOUS 18210 HAS SOUPS 14302 WITH SCORE 14377.55
AT ITER 1659 NEW BEST:: SOT 119875 SOS 75621 HAS SOPS 35707 HAS SOUS 18202 HAS SOUPS 14294 WITH SCORE 14369.621
AT ITER 1675 NEW BEST:: SOT 119827 SOS 75525 HAS SOPS 35611 HAS SOUS 18174 HAS SOUPS 14266 WITH SCORE 14341.525
AT ITER 1682 NEW BEST:: SOT 119820 SOS 75521 HAS SOPS 35607 HAS SOUS 18170 HAS SOUPS 14262 WITH SCORE 14337.521
AT ITER 1686 NEW BEST:: SOT 119823 SOS 75519 HAS SOPS 35605 HAS SOUS 18168 HAS SOUPS 14260 WITH SCORE 14335.519
AT ITER 1690 NEW BEST:: SOT 119748 SOS 75484 HAS SOPS 35600 HAS SOUS 18193 HAS SOUPS 14260 WITH SCORE 14335.484
AT ITER 1707 NEW BEST:: SOT 120179 SOS 75859 HAS SOPS 35983 HAS SOUS 18149 HAS SOUPS 14215 WITH SCORE 14290.859
AT ITER 1715 NEW BEST:: SOT 120169 SOS 75849 HAS SOPS 35963 HAS SOUS 18109 HAS SOUPS 14175 WITH SCORE 14250.849
AT ITER 1719 NEW BEST:: SOT 120126 SOS 75734 HAS SOPS 36080 HAS SOUS 18073 HAS SOUPS 14139 WITH SCORE 14214.734
AT ITER 1739 NEW BEST:: SOT 119660 SOS 76058 HAS SOPS 36078 HAS SOUS 18165 HAS SOUPS 14120 WITH SCORE 14196.058
AT ITER 1761 NEW BEST:: SOT 119595 SOS 75993 HAS SOPS 36020 HAS SOUS 18152 HAS SOUPS 14098 WITH SCORE 14173.993
AT ITER 1776 NEW BEST:: SOT 119595 SOS 75981 HAS SOPS 36008 HAS SOUS 18146 HAS SOUPS 14092 WITH SCORE 14167.981
AT ITER 1777 NEW BEST:: SOT 119630 SOS 76003 HAS SOPS 36021 HAS SOUS 18126 HAS SOUPS 14084 WITH SCORE 14160.003
AT ITER 1781 NEW BEST:: SOT 119638 SOS 76009 HAS SOPS 36027 HAS SOUS 18125 HAS SOUPS 14083 WITH SCORE 14159.009
AT ITER 1790 NEW BEST:: SOT 119586 SOS 75981 HAS SOPS 36005 HAS SOUS 18101 HAS SOUPS 14059 WITH SCORE 14134.981
AT ITER 1794 NEW BEST:: SOT 119336 SOS 75664 HAS SOPS 34948 HAS SOUS 17986 HAS SOUPS 13888 WITH SCORE 13963.664
AT ITER 1804 NEW BEST:: SOT 119300 SOS 75661 HAS SOPS 34945 HAS SOUS 17970 HAS SOUPS 13872 WITH SCORE 13947.661
AT ITER 1806 NEW BEST:: SOT 117959 SOS 74320 HAS SOPS 33604 HAS SOUS 17530 HAS SOUPS 13432 WITH SCORE 13506.32
AT ITER 1811 NEW BEST:: SOT 117941 SOS 74140 HAS SOPS 33328 HAS SOUS 17502 HAS SOUPS 13404 WITH SCORE 13478.14
AT ITER 1819 NEW BEST:: SOT 117920 SOS 74119 HAS SOPS 33310 HAS SOUS 17495 HAS SOUPS 13398 WITH SCORE 13472.119
AT ITER 1844 NEW BEST:: SOT 117920 SOS 74099 HAS SOPS 33290 HAS SOUS 17473 HAS SOUPS 13376 WITH SCORE 13450.099
AT ITER 1871 NEW BEST:: SOT 117851 SOS 73958 HAS SOPS 33188 HAS SOUS 17443 HAS SOUPS 13346 WITH SCORE 13419.958
AT ITER 1873 NEW BEST:: SOT 117563 SOS 73598 HAS SOPS 32892 HAS SOUS 17414 HAS SOUPS 13317 WITH SCORE 13390.598
AT ITER 1890 NEW BEST:: SOT 117209 SOS 74904 HAS SOPS 32856 HAS SOUS 17396 HAS SOUPS 13280 WITH SCORE 13354.904
AT ITER 1913 NEW BEST:: SOT 117182 SOS 75582 HAS SOPS 32834 HAS SOUS 17397 HAS SOUPS 13274 WITH SCORE 13349.582
AT ITER 1916 NEW BEST:: SOT 117182 SOS 75484 HAS SOPS 32750 HAS SOUS 17271 HAS SOUPS 13162 WITH SCORE 13237.484
AT ITER 1943 NEW BEST:: SOT 117165 SOS 75495 HAS SOPS 32815 HAS SOUS 17266 HAS SOUPS 13157 WITH SCORE 13232.495
AT ITER 1947 NEW BEST:: SOT 117171 SOS 75507 HAS SOPS 32827 HAS SOUS 17255 HAS SOUPS 13146 WITH SCORE 13221.507
AT ITER 1986 NEW BEST:: SOT 117125 SOS 75479 HAS SOPS 32804 HAS SOUS 17210 HAS SOUPS 13117 WITH SCORE 13192.479
AT ITER 1993 NEW BEST:: SOT 119355 SOS 68744 HAS SOPS 32762 HAS SOUS 17193 HAS SOUPS 13111 WITH SCORE 13179.744
AT ITER 2014 NEW BEST:: SOT 119309 SOS 68697 HAS SOPS 32661 HAS SOUS 17157 HAS SOUPS 13075 WITH SCORE 13143.697
AT ITER 2016 NEW BEST:: SOT 118830 SOS 68380 HAS SOPS 32629 HAS SOUS 17095 HAS SOUPS 13043 WITH SCORE 13111.38
AT ITER 2017 NEW BEST:: SOT 118939 SOS 68434 HAS SOPS 32629 HAS SOUS 17036 HAS SOUPS 13041 WITH SCORE 13109.434
AT ITER 2034 NEW BEST:: SOT 118892 SOS 68400 HAS SOPS 32595 HAS SOUS 17018 HAS SOUPS 13023 WITH SCORE 13091.4
AT ITER 2038 NEW BEST:: SOT 118824 SOS 68420 HAS SOPS 32571 HAS SOUS 17036 HAS SOUPS 13022 WITH SCORE 13090.42
AT ITER 2040 NEW BEST:: SOT 118824 SOS 68410 HAS SOPS 32616 HAS SOUS 17036 HAS SOUPS 13022 WITH SCORE 13090.41
AT ITER 2053 NEW BEST:: SOT 118901 SOS 68487 HAS SOPS 32552 HAS SOUS 16972 HAS SOUPS 12958 WITH SCORE 13026.487
AT ITER 2054 NEW BEST:: SOT 118914 SOS 68481 HAS SOPS 32539 HAS SOUS 16965 HAS SOUPS 12951 WITH SCORE 13019.481
AT ITER 2056 NEW BEST:: SOT 118912 SOS 68473 HAS SOPS 32533 HAS SOUS 16963 HAS SOUPS 12949 WITH SCORE 13017.473
AT ITER 2064 NEW BEST:: SOT 118893 SOS 68585 HAS SOPS 32645 HAS SOUS 16955 HAS SOUPS 12941 WITH SCORE 13009.585
AT ITER 2073 NEW BEST:: SOT 118873 SOS 68581 HAS SOPS 32629 HAS SOUS 16939 HAS SOUPS 12925 WITH SCORE 12993.581
AT ITER 2081 NEW BEST:: SOT 118873 SOS 68575 HAS SOPS 32620 HAS SOUS 16933 HAS SOUPS 12919 WITH SCORE 12987.575
AT ITER 2088 NEW BEST:: SOT 118813 SOS 68527 HAS SOPS 32572 HAS SOUS 16921 HAS SOUPS 12907 WITH SCORE 12975.527
AT ITER 2103 NEW BEST:: SOT 119074 SOS 68715 HAS SOPS 32716 HAS SOUS 16900 HAS SOUPS 12883 WITH SCORE 12951.715
AT ITER 2113 NEW BEST:: SOT 119076 SOS 68713 HAS SOPS 32712 HAS SOUS 16896 HAS SOUPS 12879 WITH SCORE 12947.713
AT ITER 2116 NEW BEST:: SOT 119143 SOS 67813 HAS SOPS 32690 HAS SOUS 16873 HAS SOUPS 12867 WITH SCORE 12934.813
AT ITER 2133 NEW BEST:: SOT 119118 SOS 67793 HAS SOPS 32670 HAS SOUS 16868 HAS SOUPS 12862 WITH SCORE 12929.793
AT ITER 2134 NEW BEST:: SOT 118334 SOS 68369 HAS SOPS 32668 HAS SOUS 16854 HAS SOUPS 12838 WITH SCORE 12906.369
AT ITER 2136 NEW BEST:: SOT 118401 SOS 68402 HAS SOPS 32666 HAS SOUS 16825 HAS SOUPS 12836 WITH SCORE 12904.402
AT ITER 2140 NEW BEST:: SOT 118626 SOS 68448 HAS SOPS 32712 HAS SOUS 16812 HAS SOUPS 12823 WITH SCORE 12891.448
AT ITER 2162 NEW BEST:: SOT 118596 SOS 68418 HAS SOPS 32677 HAS SOUS 16782 HAS SOUPS 12788 WITH SCORE 12856.418
AT ITER 2187 NEW BEST:: SOT 118483 SOS 69700 HAS SOPS 32649 HAS SOUS 16818 HAS SOUPS 12779 WITH SCORE 12848.7
AT ITER 2198 NEW BEST:: SOT 118677 SOS 69894 HAS SOPS 32853 HAS SOUS 16793 HAS SOUPS 12754 WITH SCORE 12823.894
AT ITER 2200 NEW BEST:: SOT 118505 SOS 70234 HAS SOPS 32853 HAS SOUS 16805 HAS SOUPS 12735 WITH SCORE 12805.234
AT ITER 2212 NEW BEST:: SOT 118579 SOS 70305 HAS SOPS 32902 HAS SOUS 16755 HAS SOUPS 12704 WITH SCORE 12774.305
AT ITER 2218 NEW BEST:: SOT 118500 SOS 70266 HAS SOPS 32785 HAS SOUS 16722 HAS SOUPS 12671 WITH SCORE 12741.266
AT ITER 2223 NEW BEST:: SOT 118415 SOS 70174 HAS SOPS 32588 HAS SOUS 16650 HAS SOUPS 12599 WITH SCORE 12669.174
AT ITER 2225 NEW BEST:: SOT 118472 SOS 70200 HAS SOPS 32558 HAS SOUS 16620 HAS SOUPS 12569 WITH SCORE 12639.2
AT ITER 2227 NEW BEST:: SOT 118466 SOS 70188 HAS SOPS 32546 HAS SOUS 16616 HAS SOUPS 12565 WITH SCORE 12635.188
AT ITER 2229 NEW BEST:: SOT 118460 SOS 70176 HAS SOPS 32534 HAS SOUS 16606 HAS SOUPS 12559 WITH SCORE 12629.176
AT ITER 2247 NEW BEST:: SOT 118474 SOS 70177 HAS SOPS 32549 HAS SOUS 16595 HAS SOUPS 12548 WITH SCORE 12618.177
AT ITER 2262 NEW BEST:: SOT 118484 SOS 70175 HAS SOPS 32541 HAS SOUS 16579 HAS SOUPS 12532 WITH SCORE 12602.175
AT ITER 2266 NEW BEST:: SOT 118487 SOS 70178 HAS SOPS 32539 HAS SOUS 16577 HAS SOUPS 12530 WITH SCORE 12600.178
AT ITER 2270 NEW BEST:: SOT 118457 SOS 70134 HAS SOPS 32495 HAS SOUS 16469 HAS SOUPS 12438 WITH SCORE 12508.134
AT ITER 2284 NEW BEST:: SOT 118406 SOS 70083 HAS SOPS 32455 HAS SOUS 16429 HAS SOUPS 12398 WITH SCORE 12468.083
AT ITER 2296 NEW BEST:: SOT 118417 SOS 70105 HAS SOPS 32477 HAS SOUS 16419 HAS SOUPS 12388 WITH SCORE 12458.105
AT ITER 2332 NEW BEST:: SOT 118417 SOS 70101 HAS SOPS 32473 HAS SOUS 16419 HAS SOUPS 12388 WITH SCORE 12458.101
AT ITER 2372 NEW BEST:: SOT 118401 SOS 70032 HAS SOPS 32360 HAS SOUS 16359 HAS SOUPS 12328 WITH SCORE 12398.032
AT ITER 2383 NEW BEST:: SOT 118457 SOS 70088 HAS SOPS 32419 HAS SOUS 16356 HAS SOUPS 12325 WITH SCORE 12395.088
AT ITER 2385 NEW BEST:: SOT 118432 SOS 70063 HAS SOPS 32369 HAS SOUS 16331 HAS SOUPS 12275 WITH SCORE 12345.063
AT ITER 2402 NEW BEST:: SOT 118435 SOS 70069 HAS SOPS 32375 HAS SOUS 16328 HAS SOUPS 12273 WITH SCORE 12343.069
AT ITER 2413 NEW BEST:: SOT 118403 SOS 70041 HAS SOPS 32351 HAS SOUS 16321 HAS SOUPS 12267 WITH SCORE 12337.041
AT ITER 2429 NEW BEST:: SOT 118388 SOS 70026 HAS SOPS 32336 HAS SOUS 16321 HAS SOUPS 12267 WITH SCORE 12337.026
AT ITER 2432 NEW BEST:: SOT 118388 SOS 69974 HAS SOPS 32284 HAS SOUS 16295 HAS SOUPS 12241 WITH SCORE 12310.974
AT ITER 2433 NEW BEST:: SOT 116974 SOS 68544 HAS SOPS 30756 HAS SOUS 16239 HAS SOUPS 12180 WITH SCORE 12248.544
AT ITER 2439 NEW BEST:: SOT 116841 SOS 68375 HAS SOPS 30491 HAS SOUS 16248 HAS SOUPS 12165 WITH SCORE 12233.375
AT ITER 2442 NEW BEST:: SOT 116609 SOS 68220 HAS SOPS 30486 HAS SOUS 16262 HAS SOUPS 12160 WITH SCORE 12228.22
AT ITER 2487 NEW BEST:: SOT 116604 SOS 68210 HAS SOPS 30465 HAS SOUS 16249 HAS SOUPS 12158 WITH SCORE 12226.21
AT ITER 2494 NEW BEST:: SOT 116604 SOS 68180 HAS SOPS 30435 HAS SOUS 16239 HAS SOUPS 12148 WITH SCORE 12216.18
AT ITER 2497 NEW BEST:: SOT 116584 SOS 68184 HAS SOPS 30439 HAS SOUS 16234 HAS SOUPS 12143 WITH SCORE 12211.184
AT ITER 2526 NEW BEST:: SOT 116596 SOS 68196 HAS SOPS 30439 HAS SOUS 16211 HAS SOUPS 12120 WITH SCORE 12188.196
AT ITER 2534 NEW BEST:: SOT 116648 SOS 68224 HAS SOPS 30467 HAS SOUS 16203 HAS SOUPS 12112 WITH SCORE 12180.224
AT ITER 2543 NEW BEST:: SOT 116490 SOS 68028 HAS SOPS 30291 HAS SOUS 16169 HAS SOUPS 12078 WITH SCORE 12146.028
AT ITER 2544 NEW BEST:: SOT 116488 SOS 68020 HAS SOPS 30283 HAS SOUS 16165 HAS SOUPS 12074 WITH SCORE 12142.02
AT ITER 2546 NEW BEST:: SOT 116829 SOS 68199 HAS SOPS 30459 HAS SOUS 16093 HAS SOUPS 12025 WITH SCORE 12093.199
AT ITER 2549 NEW BEST:: SOT 117068 SOS 68052 HAS SOPS 30379 HAS SOUS 16001 HAS SOUPS 11984 WITH SCORE 12052.052
AT ITER 2555 NEW BEST:: SOT 117062 SOS 68048 HAS SOPS 30372 HAS SOUS 16000 HAS SOUPS 11983 WITH SCORE 12051.048
AT ITER 2556 NEW BEST:: SOT 117059 SOS 67982 HAS SOPS 30306 HAS SOUS 16000 HAS SOUPS 11983 WITH SCORE 12050.982
AT ITER 2576 NEW BEST:: SOT 117171 SOS 67794 HAS SOPS 30298 HAS SOUS 15988 HAS SOUPS 11975 WITH SCORE 12042.794
AT ITER 2577 NEW BEST:: SOT 117166 SOS 67788 HAS SOPS 30292 HAS SOUS 15983 HAS SOUPS 11970 WITH SCORE 12037.788
AT ITER 2594 NEW BEST:: SOT 117163 SOS 67782 HAS SOPS 30283 HAS SOUS 15977 HAS SOUPS 11967 WITH SCORE 12034.782
AT ITER 2620 NEW BEST:: SOT 117313 SOS 67552 HAS SOPS 30273 HAS SOUS 15962 HAS SOUPS 11957 WITH SCORE 12024.552
AT ITER 2621 NEW BEST:: SOT 117416 SOS 67621 HAS SOPS 30291 HAS SOUS 15961 HAS SOUPS 11956 WITH SCORE 12023.621
AT ITER 2642 NEW BEST:: SOT 117418 SOS 67607 HAS SOPS 30277 HAS SOUS 15951 HAS SOUPS 11946 WITH SCORE 12013.607
AT ITER 2670 NEW BEST:: SOT 117410 SOS 67601 HAS SOPS 30267 HAS SOUS 15935 HAS SOUPS 11930 WITH SCORE 11997.601
AT ITER 2680 NEW BEST:: SOT 117859 SOS 68050 HAS SOPS 30716 HAS SOUS 15916 HAS SOUPS 11911 WITH SCORE 11979.05
AT ITER 2682 NEW BEST:: SOT 117797 SOS 67908 HAS SOPS 30762 HAS SOUS 15881 HAS SOUPS 11902 WITH SCORE 11969.908
AT ITER 2684 NEW BEST:: SOT 117789 SOS 67885 HAS SOPS 30707 HAS SOUS 15870 HAS SOUPS 11891 WITH SCORE 11958.885
AT ITER 2688 NEW BEST:: SOT 117802 SOS 67833 HAS SOPS 30704 HAS SOUS 15844 HAS SOUPS 11878 WITH SCORE 11945.833
AT ITER 2693 NEW BEST:: SOT 117769 SOS 67800 HAS SOPS 30671 HAS SOUS 15811 HAS SOUPS 11845 WITH SCORE 11912.8
AT ITER 2699 NEW BEST:: SOT 117729 SOS 67760 HAS SOPS 30591 HAS SOUS 15754 HAS SOUPS 11788 WITH SCORE 11855.76
AT ITER 2743 NEW BEST:: SOT 117739 SOS 67735 HAS SOPS 30566 HAS SOUS 15719 HAS SOUPS 11768 WITH SCORE 11835.735
AT ITER 2753 NEW BEST:: SOT 117738 SOS 67713 HAS SOPS 30544 HAS SOUS 15683 HAS SOUPS 11742 WITH SCORE 11809.713
AT ITER 2785 NEW BEST:: SOT 117755 SOS 67711 HAS SOPS 30578 HAS SOUS 15677 HAS SOUPS 11742 WITH SCORE 11809.711
AT ITER 2789 NEW BEST:: SOT 117717 SOS 67684 HAS SOPS 30467 HAS SOUS 15658 HAS SOUPS 11723 WITH SCORE 11790.684
AT ITER 2792 NEW BEST:: SOT 117701 SOS 67656 HAS SOPS 30411 HAS SOUS 15637 HAS SOUPS 11697 WITH SCORE 11764.656
AT ITER 2841 NEW BEST:: SOT 117681 SOS 67666 HAS SOPS 30521 HAS SOUS 15632 HAS SOUPS 11692 WITH SCORE 11759.666
AT ITER 2890 NEW BEST:: SOT 117653 SOS 67638 HAS SOPS 30521 HAS SOUS 15628 HAS SOUPS 11692 WITH SCORE 11759.638
AT ITER 2902 NEW BEST:: SOT 117656 SOS 67600 HAS SOPS 30513 HAS SOUS 15571 HAS SOUPS 11672 WITH SCORE 11739.6
AT ITER 2905 NEW BEST:: SOT 117646 SOS 67569 HAS SOPS 30493 HAS SOUS 15556 HAS SOUPS 11657 WITH SCORE 11724.569
AT ITER 2918 NEW BEST:: SOT 117643 SOS 67566 HAS SOPS 30489 HAS SOUS 15552 HAS SOUPS 11653 WITH SCORE 11720.566
AT ITER 2920 NEW BEST:: SOT 117647 SOS 67564 HAS SOPS 30490 HAS SOUS 15551 HAS SOUPS 11652 WITH SCORE 11719.564
AT ITER 2942 NEW BEST:: SOT 117491 SOS 67460 HAS SOPS 30490 HAS SOUS 15602 HAS SOUPS 11652 WITH SCORE 11719.46
AT ITER 2948 NEW BEST:: SOT 117423 SOS 67392 HAS SOPS 30482 HAS SOUS 15594 HAS SOUPS 11644 WITH SCORE 11711.392
AT ITER 2975 NEW BEST:: SOT 117496 SOS 67306 HAS SOPS 30389 HAS SOUS 15551 HAS SOUPS 11601 WITH SCORE 11668.306
AT ITER 2987 NEW BEST:: SOT 117496 SOS 67266 HAS SOPS 30360 HAS SOUS 15542 HAS SOUPS 11582 WITH SCORE 11649.266
AT ITER 3003 NEW BEST:: SOT 117398 SOS 67150 HAS SOPS 30260 HAS SOUS 15516 HAS SOUPS 11556 WITH SCORE 11623.15
AT ITER 3004 NEW BEST:: SOT 117374 SOS 67014 HAS SOPS 30168 HAS SOUS 15424 HAS SOUPS 11508 WITH SCORE 11575.014
AT ITER 3006 NEW BEST:: SOT 117526 SOS 67166 HAS SOPS 30323 HAS SOUS 15400 HAS SOUPS 11484 WITH SCORE 11551.166
AT ITER 3011 NEW BEST:: SOT 117521 SOS 67161 HAS SOPS 30318 HAS SOUS 15395 HAS SOUPS 11479 WITH SCORE 11546.161
AT ITER 3036 NEW BEST:: SOT 117456 SOS 67096 HAS SOPS 30268 HAS SOUS 15345 HAS SOUPS 11429 WITH SCORE 11496.096
AT ITER 3037 NEW BEST:: SOT 117448 SOS 67080 HAS SOPS 30244 HAS SOUS 15336 HAS SOUPS 11428 WITH SCORE 11495.08
AT ITER 3044 NEW BEST:: SOT 117447 SOS 67079 HAS SOPS 30243 HAS SOUS 15336 HAS SOUPS 11428 WITH SCORE 11495.079
AT ITER 3052 NEW BEST:: SOT 117446 SOS 67098 HAS SOPS 30358 HAS SOUS 15325 HAS SOUPS 11417 WITH SCORE 11484.098
AT ITER 3065 NEW BEST:: SOT 117435 SOS 67081 HAS SOPS 30341 HAS SOUS 15313 HAS SOUPS 11405 WITH SCORE 11472.081
AT ITER 3066 NEW BEST:: SOT 117363 SOS 67009 HAS SOPS 30294 HAS SOUS 15188 HAS SOUPS 11280 WITH SCORE 11347.009
AT ITER 3082 NEW BEST:: SOT 117359 SOS 66850 HAS SOPS 30135 HAS SOUS 15110 HAS SOUPS 11202 WITH SCORE 11268.85
AT ITER 3149 NEW BEST:: SOT 117356 SOS 66847 HAS SOPS 30129 HAS SOUS 15104 HAS SOUPS 11196 WITH SCORE 11262.847
AT ITER 3156 NEW BEST:: SOT 117356 SOS 66847 HAS SOPS 30129 HAS SOUS 15044 HAS SOUPS 11150 WITH SCORE 11216.847
AT ITER 3157 NEW BEST:: SOT 117351 SOS 66849 HAS SOPS 30131 HAS SOUS 15046 HAS SOUPS 11146 WITH SCORE 11212.849
AT ITER 3169 NEW BEST:: SOT 117559 SOS 67043 HAS SOPS 30251 HAS SOUS 14959 HAS SOUPS 11125 WITH SCORE 11192.043
AT ITER 3176 NEW BEST:: SOT 117557 SOS 67043 HAS SOPS 30263 HAS SOUS 14955 HAS SOUPS 11123 WITH SCORE 11190.043
AT ITER 3223 NEW BEST:: SOT 117547 SOS 67043 HAS SOPS 30268 HAS SOUS 14950 HAS SOUPS 11118 WITH SCORE 11185.043
AT ITER 3234 NEW BEST:: SOT 117519 SOS 67086 HAS SOPS 30282 HAS SOUS 14929 HAS SOUPS 11097 WITH SCORE 11164.086
AT ITER 3247 NEW BEST:: SOT 117483 SOS 67029 HAS SOPS 30226 HAS SOUS 14903 HAS SOUPS 11057 WITH SCORE 11124.029
AT ITER 3256 NEW BEST:: SOT 117462 SOS 66956 HAS SOPS 30153 HAS SOUS 14851 HAS SOUPS 11005 WITH SCORE 11071.956
AT ITER 3258 NEW BEST:: SOT 117460 SOS 66954 HAS SOPS 30149 HAS SOUS 14847 HAS SOUPS 11001 WITH SCORE 11067.954
AT ITER 3266 NEW BEST:: SOT 117474 SOS 66950 HAS SOPS 30127 HAS SOUS 14846 HAS SOUPS 11000 WITH SCORE 11066.95
AT ITER 3273 NEW BEST:: SOT 117440 SOS 66916 HAS SOPS 30092 HAS SOUS 14833 HAS SOUPS 10976 WITH SCORE 11042.916
AT ITER 3280 NEW BEST:: SOT 117442 SOS 66912 HAS SOPS 30088 HAS SOUS 14833 HAS SOUPS 10976 WITH SCORE 11042.912
AT ITER 3284 NEW BEST:: SOT 117441 SOS 66911 HAS SOPS 30086 HAS SOUS 14831 HAS SOUPS 10974 WITH SCORE 11040.911
AT ITER 3286 NEW BEST:: SOT 117428 SOS 66898 HAS SOPS 30086 HAS SOUS 14818 HAS SOUPS 10974 WITH SCORE 11040.898
AT ITER 3323 NEW BEST:: SOT 117430 SOS 66900 HAS SOPS 30078 HAS SOUS 14813 HAS SOUPS 10966 WITH SCORE 11032.9
AT ITER 3324 NEW BEST:: SOT 118095 SOS 65169 HAS SOPS 30078 HAS SOUS 14783 HAS SOUPS 10966 WITH SCORE 11031.169
AT ITER 3342 NEW BEST:: SOT 118094 SOS 65168 HAS SOPS 30077 HAS SOUS 14781 HAS SOUPS 10964 WITH SCORE 11029.168
AT ITER 3379 NEW BEST:: SOT 116963 SOS 67047 HAS SOPS 30015 HAS SOUS 14757 HAS SOUPS 10902 WITH SCORE 10969.047
AT ITER 3404 NEW BEST:: SOT 116967 SOS 67085 HAS SOPS 30005 HAS SOUS 14755 HAS SOUPS 10900 WITH SCORE 10967.085
AT ITER 3447 NEW BEST:: SOT 116274 SOS 68970 HAS SOPS 29874 HAS SOUS 14772 HAS SOUPS 10884 WITH SCORE 10952.97
AT ITER 3466 NEW BEST:: SOT 116493 SOS 67736 HAS SOPS 29884 HAS SOUS 14676 HAS SOUPS 10869 WITH SCORE 10936.736
AT ITER 3478 NEW BEST:: SOT 116492 SOS 67731 HAS SOPS 29880 HAS SOUS 14674 HAS SOUPS 10867 WITH SCORE 10934.731
AT ITER 3482 NEW BEST:: SOT 116492 SOS 67731 HAS SOPS 29880 HAS SOUS 14634 HAS SOUPS 10827 WITH SCORE 10894.731
AT ITER 3502 NEW BEST:: SOT 116487 SOS 67728 HAS SOPS 29878 HAS SOUS 14627 HAS SOUPS 10820 WITH SCORE 10887.728
AT ITER 3515 NEW BEST:: SOT 116741 SOS 67970 HAS SOPS 30135 HAS SOUS 14624 HAS SOUPS 10817 WITH SCORE 10884.97
AT ITER 3590 NEW BEST:: SOT 116735 SOS 67964 HAS SOPS 30123 HAS SOUS 14612 HAS SOUPS 10805 WITH SCORE 10872.964
AT ITER 3594 NEW BEST:: SOT 116717 SOS 67910 HAS SOPS 30069 HAS SOUS 14576 HAS SOUPS 10769 WITH SCORE 10836.91
AT ITER 3604 NEW BEST:: SOT 117025 SOS 67965 HAS SOPS 30013 HAS SOUS 14474 HAS SOUPS 10713 WITH SCORE 10780.965
AT ITER 3619 NEW BEST:: SOT 117027 SOS 67967 HAS SOPS 30000 HAS SOUS 14447 HAS SOUPS 10686 WITH SCORE 10753.967
AT ITER 3632 NEW BEST:: SOT 117057 SOS 68004 HAS SOPS 30031 HAS SOUS 14451 HAS SOUPS 10684 WITH SCORE 10752.004
AT ITER 3671 NEW BEST:: SOT 117015 SOS 69981 HAS SOPS 29924 HAS SOUS 14441 HAS SOUPS 10648 WITH SCORE 10717.981
AT ITER 3683 NEW BEST:: SOT 116938 SOS 69928 HAS SOPS 29899 HAS SOUS 14388 HAS SOUPS 10593 WITH SCORE 10662.928
AT ITER 3713 NEW BEST:: SOT 116928 SOS 69918 HAS SOPS 29889 HAS SOUS 14378 HAS SOUPS 10583 WITH SCORE 10652.918
AT ITER 3727 NEW BEST:: SOT 116889 SOS 69876 HAS SOPS 29847 HAS SOUS 14363 HAS SOUPS 10561 WITH SCORE 10630.876
AT ITER 3798 NEW BEST:: SOT 116844 SOS 69822 HAS SOPS 29847 HAS SOUS 14345 HAS SOUPS 10543 WITH SCORE 10612.822
AT ITER 3844 NEW BEST:: SOT 116879 SOS 69817 HAS SOPS 29767 HAS SOUS 14345 HAS SOUPS 10528 WITH SCORE 10597.817
AT ITER 3854 NEW BEST:: SOT 116883 SOS 69686 HAS SOPS 29864 HAS SOUS 14339 HAS SOUPS 10522 WITH SCORE 10591.686
AT ITER 3933 NEW BEST:: SOT 116872 SOS 69675 HAS SOPS 29864 HAS SOUS 14335 HAS SOUPS 10522 WITH SCORE 10591.675
AT ITER 3936 NEW BEST:: SOT 116870 SOS 69667 HAS SOPS 29856 HAS SOUS 14333 HAS SOUPS 10520 WITH SCORE 10589.667
AT ITER 3974 NEW BEST:: SOT 116865 SOS 69652 HAS SOPS 29764 HAS SOUS 14321 HAS SOUPS 10508 WITH SCORE 10577.652
AT ITER 3980 NEW BEST:: SOT 116865 SOS 69634 HAS SOPS 29746 HAS SOUS 14315 HAS SOUPS 10502 WITH SCORE 10571.634
AT ITER 3993 NEW BEST:: SOT 116849 SOS 69618 HAS SOPS 29714 HAS SOUS 14321 HAS SOUPS 10494 WITH SCORE 10563.618
AT ITER 4073 NEW BEST:: SOT 116841 SOS 69594 HAS SOPS 29690 HAS SOUS 14309 HAS SOUPS 10482 WITH SCORE 10551.594
AT ITER 4102 NEW BEST:: SOT 116839 SOS 69596 HAS SOPS 29690 HAS SOUS 14307 HAS SOUPS 10480 WITH SCORE 10549.596
AT ITER 4106 NEW BEST:: SOT 116962 SOS 68618 HAS SOPS 29666 HAS SOUS 14283 HAS SOUPS 10468 WITH SCORE 10536.618
AT ITER 4120 NEW BEST:: SOT 116936 SOS 68592 HAS SOPS 29649 HAS SOUS 14266 HAS SOUPS 10451 WITH SCORE 10519.592
AT ITER 4126 NEW BEST:: SOT 116936 SOS 68595 HAS SOPS 29649 HAS SOUS 14260 HAS SOUPS 10448 WITH SCORE 10516.595
AT ITER 4150 NEW BEST:: SOT 116992 SOS 68651 HAS SOPS 29625 HAS SOUS 14249 HAS SOUPS 10424 WITH SCORE 10492.651
AT ITER 4176 NEW BEST:: SOT 116974 SOS 68641 HAS SOPS 28684 HAS SOUS 14236 HAS SOUPS 10315 WITH SCORE 10383.641
AT ITER 4226 NEW BEST:: SOT 116924 SOS 68591 HAS SOPS 28672 HAS SOUS 14206 HAS SOUPS 10303 WITH SCORE 10371.591
AT ITER 4246 NEW BEST:: SOT 116727 SOS 68394 HAS SOPS 28470 HAS SOUS 14186 HAS SOUPS 10283 WITH SCORE 10351.394
AT ITER 4250 NEW BEST:: SOT 116721 SOS 68240 HAS SOPS 28374 HAS SOUS 14174 HAS SOUPS 10271 WITH SCORE 10339.24
AT ITER 4258 NEW BEST:: SOT 116721 SOS 68230 HAS SOPS 28364 HAS SOUS 14159 HAS SOUPS 10261 WITH SCORE 10329.23
AT ITER 4265 NEW BEST:: SOT 116729 SOS 68238 HAS SOPS 27728 HAS SOUS 14205 HAS SOUPS 10243 WITH SCORE 10311.238
AT ITER 4306 NEW BEST:: SOT 116649 SOS 68186 HAS SOPS 27680 HAS SOUS 14173 HAS SOUPS 10208 WITH SCORE 10276.186
AT ITER 4327 NEW BEST:: SOT 116659 SOS 68158 HAS SOPS 27676 HAS SOUS 14167 HAS SOUPS 10206 WITH SCORE 10274.158
AT ITER 4333 NEW BEST:: SOT 116634 SOS 67993 HAS SOPS 27548 HAS SOUS 14072 HAS SOUPS 10140 WITH SCORE 10207.993
AT ITER 4344 NEW BEST:: SOT 116485 SOS 67844 HAS SOPS 27396 HAS SOUS 13945 HAS SOUPS 10012 WITH SCORE 10079.844
AT ITER 4356 NEW BEST:: SOT 116481 SOS 67840 HAS SOPS 27392 HAS SOUS 13940 HAS SOUPS 10007 WITH SCORE 10074.84
AT ITER 4371 NEW BEST:: SOT 116481 SOS 67870 HAS SOPS 27380 HAS SOUS 13942 HAS SOUPS 10003 WITH SCORE 10070.87
AT ITER 4398 NEW BEST:: SOT 116509 SOS 67862 HAS SOPS 27372 HAS SOUS 13938 HAS SOUPS 9999 WITH SCORE 10066.862
AT ITER 4403 NEW BEST:: SOT 116484 SOS 67837 HAS SOPS 27347 HAS SOUS 13919 HAS SOUPS 9979 WITH SCORE 10046.837
AT ITER 4409 NEW BEST:: SOT 116678 SOS 67288 HAS SOPS 27347 HAS SOUS 13891 HAS SOUPS 9979 WITH SCORE 10046.288
AT ITER 4426 NEW BEST:: SOT 116576 SOS 67186 HAS SOPS 27245 HAS SOUS 13837 HAS SOUPS 9925 WITH SCORE 9992.186
AT ITER 4429 NEW BEST:: SOT 116576 SOS 67132 HAS SOPS 27233 HAS SOUS 13819 HAS SOUPS 9913 WITH SCORE 9980.132
AT ITER 4433 NEW BEST:: SOT 116507 SOS 67052 HAS SOPS 27164 HAS SOUS 13799 HAS SOUPS 9900 WITH SCORE 9967.052
AT ITER 4442 NEW BEST:: SOT 116497 SOS 67040 HAS SOPS 27144 HAS SOUS 13779 HAS SOUPS 9880 WITH SCORE 9947.04
AT ITER 4444 NEW BEST:: SOT 116684 SOS 67071 HAS SOPS 27175 HAS SOUS 13758 HAS SOUPS 9859 WITH SCORE 9926.071
AT ITER 4468 NEW BEST:: SOT 116614 SOS 67011 HAS SOPS 27115 HAS SOUS 13704 HAS SOUPS 9805 WITH SCORE 9872.011
AT ITER 4472 NEW BEST:: SOT 116613 SOS 67010 HAS SOPS 27125 HAS SOUS 13678 HAS SOUPS 9779 WITH SCORE 9846.01
AT ITER 4482 NEW BEST:: SOT 116279 SOS 67021 HAS SOPS 27158 HAS SOUS 13668 HAS SOUPS 9769 WITH SCORE 9836.021
AT ITER 4489 NEW BEST:: SOT 116054 SOS 66821 HAS SOPS 27008 HAS SOUS 13668 HAS SOUPS 9769 WITH SCORE 9835.821
AT ITER 4496 NEW BEST:: SOT 115973 SOS 66767 HAS SOPS 26998 HAS SOUS 13653 HAS SOUPS 9759 WITH SCORE 9825.767
AT ITER 4499 NEW BEST:: SOT 116005 SOS 66754 HAS SOPS 26979 HAS SOUS 13636 HAS SOUPS 9753 WITH SCORE 9819.754
AT ITER 4500 NEW BEST:: SOT 115993 SOS 66728 HAS SOPS 26968 HAS SOUS 13629 HAS SOUPS 9748 WITH SCORE 9814.728
AT ITER 4522 NEW BEST:: SOT 115974 SOS 66690 HAS SOPS 26937 HAS SOUS 13593 HAS SOUPS 9726 WITH SCORE 9792.69
AT ITER 4528 NEW BEST:: SOT 115908 SOS 66608 HAS SOPS 26865 HAS SOUS 13575 HAS SOUPS 9718 WITH SCORE 9784.608
AT ITER 4565 NEW BEST:: SOT 115961 SOS 66661 HAS SOPS 26865 HAS SOUS 13530 HAS SOUPS 9667 WITH SCORE 9733.661
AT ITER 4610 NEW BEST:: SOT 115956 SOS 66651 HAS SOPS 26855 HAS SOUS 13527 HAS SOUPS 9658 WITH SCORE 9724.651
AT ITER 4612 NEW BEST:: SOT 115948 SOS 66621 HAS SOPS 26832 HAS SOUS 13503 HAS SOUPS 9648 WITH SCORE 9714.621
AT ITER 4638 NEW BEST:: SOT 115928 SOS 66601 HAS SOPS 26814 HAS SOUS 13499 HAS SOUPS 9644 WITH SCORE 9710.601
AT ITER 4800 NEW BEST:: SOT 115914 SOS 66587 HAS SOPS 26804 HAS SOUS 13470 HAS SOUPS 9616 WITH SCORE 9682.587
AT ITER 4879 NEW BEST:: SOT 115845 SOS 66518 HAS SOPS 26758 HAS SOUS 13440 HAS SOUPS 9580 WITH SCORE 9646.518
AT ITER 4882 NEW BEST:: SOT 115845 SOS 66514 HAS SOPS 26754 HAS SOUS 13428 HAS SOUPS 9568 WITH SCORE 9634.514
AT ITER 4891 NEW BEST:: SOT 115863 SOS 66524 HAS SOPS 26750 HAS SOUS 13416 HAS SOUPS 9556 WITH SCORE 9622.524
AT ITER 4895 NEW BEST:: SOT 116377 SOS 66829 HAS SOPS 26753 HAS SOUS 13423 HAS SOUPS 9539 WITH SCORE 9605.829
AT ITER 4917 NEW BEST:: SOT 116379 SOS 66829 HAS SOPS 26753 HAS SOUS 13421 HAS SOUPS 9537 WITH SCORE 9603.829
AT ITER 4944 NEW BEST:: SOT 116334 SOS 66801 HAS SOPS 26745 HAS SOUS 13370 HAS SOUPS 9486 WITH SCORE 9552.801
AT ITER 4968 NEW BEST:: SOT 116323 SOS 66826 HAS SOPS 26770 HAS SOUS 13347 HAS SOUPS 9463 WITH SCORE 9529.826
AT ITER 5049 NEW BEST:: SOT 116315 SOS 66820 HAS SOPS 26762 HAS SOUS 13343 HAS SOUPS 9459 WITH SCORE 9525.82
AT ITER 5125 NEW BEST:: SOT 116313 SOS 66819 HAS SOPS 26760 HAS SOUS 13343 HAS SOUPS 9459 WITH SCORE 9525.819
AT ITER 5157 NEW BEST:: SOT 116310 SOS 66810 HAS SOPS 26754 HAS SOUS 13340 HAS SOUPS 9453 WITH SCORE 9519.81
AT ITER 5184 NEW BEST:: SOT 116300 SOS 66838 HAS SOPS 26782 HAS SOUS 13331 HAS SOUPS 9444 WITH SCORE 9510.838
AT ITER 5225 NEW BEST:: SOT 116269 SOS 66808 HAS SOPS 26752 HAS SOUS 13326 HAS SOUPS 9437 WITH SCORE 9503.808
AT ITER 5291 NEW BEST:: SOT 116231 SOS 66768 HAS SOPS 26712 HAS SOUS 13326 HAS SOUPS 9437 WITH SCORE 9503.768
AT ITER 5293 NEW BEST:: SOT 116217 SOS 66767 HAS SOPS 26710 HAS SOUS 13318 HAS SOUPS 9428 WITH SCORE 9494.767
AT ITER 5316 NEW BEST:: SOT 115635 SOS 70588 HAS SOPS 26700 HAS SOUS 13351 HAS SOUPS 9415 WITH SCORE 9485.588
AT ITER 5326 NEW BEST:: SOT 115134 SOS 70273 HAS SOPS 26675 HAS SOUS 13318 HAS SOUPS 9405 WITH SCORE 9475.273
AT ITER 5382 NEW BEST:: SOT 115175 SOS 70310 HAS SOPS 26707 HAS SOUS 13321 HAS SOUPS 9403 WITH SCORE 9473.31
AT ITER 5394 NEW BEST:: SOT 115170 SOS 70315 HAS SOPS 26682 HAS SOUS 13320 HAS SOUPS 9397 WITH SCORE 9467.315
AT ITER 5402 NEW BEST:: SOT 115075 SOS 71016 HAS SOPS 26663 HAS SOUS 13308 HAS SOUPS 9385 WITH SCORE 9456.016
AT ITER 5520 NEW BEST:: SOT 115055 SOS 70836 HAS SOPS 26489 HAS SOUS 13287 HAS SOUPS 9338 WITH SCORE 9408.836
AT ITER 5544 NEW BEST:: SOT 115023 SOS 70814 HAS SOPS 26473 HAS SOUS 13283 HAS SOUPS 9333 WITH SCORE 9403.814
AT ITER 5607 NEW BEST:: SOT 115018 SOS 70809 HAS SOPS 26463 HAS SOUS 13266 HAS SOUPS 9323 WITH SCORE 9393.809
AT ITER 5658 NEW BEST:: SOT 115008 SOS 70807 HAS SOPS 26457 HAS SOUS 13277 HAS SOUPS 9323 WITH SCORE 9393.807
AT ITER 5681 NEW BEST:: SOT 114734 SOS 71298 HAS SOPS 26464 HAS SOUS 13279 HAS SOUPS 9289 WITH SCORE 9360.298
AT ITER 5739 NEW BEST:: SOT 114727 SOS 71278 HAS SOPS 26378 HAS SOUS 13265 HAS SOUPS 9275 WITH SCORE 9346.278
AT ITER 5754 NEW BEST:: SOT 114730 SOS 71322 HAS SOPS 26384 HAS SOUS 13282 HAS SOUPS 9273 WITH SCORE 9344.322
AT ITER 5758 NEW BEST:: SOT 114739 SOS 71319 HAS SOPS 26345 HAS SOUS 13273 HAS SOUPS 9264 WITH SCORE 9335.319
AT ITER 5790 NEW BEST:: SOT 114738 SOS 71309 HAS SOPS 26327 HAS SOUS 13265 HAS SOUPS 9256 WITH SCORE 9327.309
AT ITER 5819 NEW BEST:: SOT 114728 SOS 71294 HAS SOPS 26317 HAS SOUS 13250 HAS SOUPS 9246 WITH SCORE 9317.294
AT ITER 5849 NEW BEST:: SOT 115033 SOS 68853 HAS SOPS 26312 HAS SOUS 13282 HAS SOUPS 9242 WITH SCORE 9310.853
AT ITER 5886 NEW BEST:: SOT 114911 SOS 68789 HAS SOPS 26302 HAS SOUS 13259 HAS SOUPS 9228 WITH SCORE 9296.789
AT ITER 5907 NEW BEST:: SOT 114914 SOS 68795 HAS SOPS 26308 HAS SOUS 13257 HAS SOUPS 9226 WITH SCORE 9294.795
AT ITER 5915 NEW BEST:: SOT 114914 SOS 68789 HAS SOPS 26302 HAS SOUS 13254 HAS SOUPS 9223 WITH SCORE 9291.789
AT ITER 5954 NEW BEST:: SOT 114900 SOS 68785 HAS SOPS 26290 HAS SOUS 13258 HAS SOUPS 9219 WITH SCORE 9287.785
AT ITER 5977 NEW BEST:: SOT 114889 SOS 68774 HAS SOPS 26268 HAS SOUS 13274 HAS SOUPS 9219 WITH SCORE 9287.774
AT ITER 5989 NEW BEST:: SOT 114875 SOS 68759 HAS SOPS 26240 HAS SOUS 13246 HAS SOUPS 9191 WITH SCORE 9259.759
AT ITER 6003 NEW BEST:: SOT 114897 SOS 68769 HAS SOPS 26216 HAS SOUS 13239 HAS SOUPS 9184 WITH SCORE 9252.769
AT ITER 6022 NEW BEST:: SOT 114926 SOS 68823 HAS SOPS 26258 HAS SOUS 13234 HAS SOUPS 9179 WITH SCORE 9247.823
AT ITER 6042 NEW BEST:: SOT 114986 SOS 68879 HAS SOPS 26415 HAS SOUS 13210 HAS SOUPS 9167 WITH SCORE 9235.879
AT ITER 6077 NEW BEST:: SOT 114998 SOS 68855 HAS SOPS 26403 HAS SOUS 13222 HAS SOUPS 9167 WITH SCORE 9235.855
AT ITER 6164 NEW BEST:: SOT 114997 SOS 68852 HAS SOPS 26400 HAS SOUS 13220 HAS SOUPS 9165 WITH SCORE 9233.852
AT ITER 6182 NEW BEST:: SOT 114990 SOS 68838 HAS SOPS 26400 HAS SOUS 13205 HAS SOUPS 9157 WITH SCORE 9225.838
AT ITER 6398 NEW BEST:: SOT 114988 SOS 68830 HAS SOPS 26392 HAS SOUS 13199 HAS SOUPS 9151 WITH SCORE 9219.83
AT ITER 6410 NEW BEST:: SOT 114974 SOS 68818 HAS SOPS 26380 HAS SOUS 13195 HAS SOUPS 9147 WITH SCORE 9215.818
AT ITER 6478 NEW BEST:: SOT 114974 SOS 68807 HAS SOPS 26358 HAS SOUS 13184 HAS SOUPS 9136 WITH SCORE 9204.807
AT ITER 6490 NEW BEST:: SOT 114967 SOS 68832 HAS SOPS 26358 HAS SOUS 13186 HAS SOUPS 9135 WITH SCORE 9203.832
AT ITER 6505 NEW BEST:: SOT 114967 SOS 68822 HAS SOPS 26358 HAS SOUS 13186 HAS SOUPS 9135 WITH SCORE 9203.822
AT ITER 6567 NEW BEST:: SOT 114941 SOS 68704 HAS SOPS 26306 HAS SOUS 13172 HAS SOUPS 9121 WITH SCORE 9189.704
AT ITER 6570 NEW BEST:: SOT 114938 SOS 68698 HAS SOPS 26300 HAS SOUS 13169 HAS SOUPS 9118 WITH SCORE 9186.698
AT ITER 6602 NEW BEST:: SOT 114938 SOS 68692 HAS SOPS 26282 HAS SOUS 13152 HAS SOUPS 9106 WITH SCORE 9174.692
AT ITER 6627 NEW BEST:: SOT 114958 SOS 67332 HAS SOPS 26282 HAS SOUS 13132 HAS SOUPS 9106 WITH SCORE 9173.332
AT ITER 6634 NEW BEST:: SOT 115404 SOS 66376 HAS SOPS 26282 HAS SOUS 13115 HAS SOUPS 9106 WITH SCORE 9172.376
AT ITER 6651 NEW BEST:: SOT 115316 SOS 66288 HAS SOPS 26194 HAS SOUS 13106 HAS SOUPS 9097 WITH SCORE 9163.288
AT ITER 6690 NEW BEST:: SOT 115461 SOS 64885 HAS SOPS 26150 HAS SOUS 13103 HAS SOUPS 9093 WITH SCORE 9157.885
AT ITER 6711 NEW BEST:: SOT 115423 SOS 64840 HAS SOPS 26101 HAS SOUS 13071 HAS SOUPS 9061 WITH SCORE 9125.84
AT ITER 6750 NEW BEST:: SOT 115420 SOS 64837 HAS SOPS 26101 HAS SOUS 13068 HAS SOUPS 9061 WITH SCORE 9125.837
AT ITER 6769 NEW BEST:: SOT 115299 SOS 64786 HAS SOPS 26058 HAS SOUS 13031 HAS SOUPS 9017 WITH SCORE 9081.786
AT ITER 6781 NEW BEST:: SOT 115293 SOS 64780 HAS SOPS 26064 HAS SOUS 13028 HAS SOUPS 9014 WITH SCORE 9078.78
AT ITER 6796 NEW BEST:: SOT 115281 SOS 64768 HAS SOPS 26040 HAS SOUS 13004 HAS SOUPS 8990 WITH SCORE 9054.768
AT ITER 6806 NEW BEST:: SOT 115280 SOS 64767 HAS SOPS 26038 HAS SOUS 13001 HAS SOUPS 8988 WITH SCORE 9052.767
AT ITER 6821 NEW BEST:: SOT 115277 SOS 64766 HAS SOPS 26037 HAS SOUS 12999 HAS SOUPS 8986 WITH SCORE 9050.766
AT ITER 6894 NEW BEST:: SOT 115299 SOS 65805 HAS SOPS 26045 HAS SOUS 13018 HAS SOUPS 8980 WITH SCORE 9045.805
AT ITER 6896 NEW BEST:: SOT 115325 SOS 65795 HAS SOPS 26051 HAS SOUS 13015 HAS SOUPS 8977 WITH SCORE 9042.795
AT ITER 6917 NEW BEST:: SOT 115327 SOS 65791 HAS SOPS 26043 HAS SOUS 13013 HAS SOUPS 8977 WITH SCORE 9042.791
AT ITER 6979 NEW BEST:: SOT 115325 SOS 65788 HAS SOPS 26040 HAS SOUS 13010 HAS SOUPS 8974 WITH SCORE 9039.788
AT ITER 6993 NEW BEST:: SOT 115329 SOS 65784 HAS SOPS 26036 HAS SOUS 13010 HAS SOUPS 8974 WITH SCORE 9039.784
AT ITER 7007 NEW BEST:: SOT 115305 SOS 65760 HAS SOPS 26012 HAS SOUS 13007 HAS SOUPS 8968 WITH SCORE 9033.76
AT ITER 7044 NEW BEST:: SOT 115288 SOS 65756 HAS SOPS 25993 HAS SOUS 12998 HAS SOUPS 8959 WITH SCORE 9024.756
AT ITER 7052 NEW BEST:: SOT 115124 SOS 65592 HAS SOPS 25825 HAS SOUS 12978 HAS SOUPS 8939 WITH SCORE 9004.592
AT ITER 7071 NEW BEST:: SOT 115123 SOS 65584 HAS SOPS 25817 HAS SOUS 12949 HAS SOUPS 8910 WITH SCORE 8975.584
AT ITER 7080 NEW BEST:: SOT 115347 SOS 65764 HAS SOPS 25990 HAS SOUS 12891 HAS SOUPS 8879 WITH SCORE 8944.764
AT ITER 7158 NEW BEST:: SOT 115360 SOS 65754 HAS SOPS 25991 HAS SOUS 12892 HAS SOUPS 8879 WITH SCORE 8944.754
AT ITER 7176 NEW BEST:: SOT 115166 SOS 65574 HAS SOPS 25819 HAS SOUS 12858 HAS SOUPS 8845 WITH SCORE 8910.574
AT ITER 7228 NEW BEST:: SOT 115177 SOS 65561 HAS SOPS 25817 HAS SOUS 12856 HAS SOUPS 8843 WITH SCORE 8908.561
AT ITER 7252 NEW BEST:: SOT 115145 SOS 65505 HAS SOPS 25769 HAS SOUS 12844 HAS SOUPS 8831 WITH SCORE 8896.505
AT ITER 7261 NEW BEST:: SOT 115158 SOS 65505 HAS SOPS 25778 HAS SOUS 12843 HAS SOUPS 8830 WITH SCORE 8895.505
AT ITER 7262 NEW BEST:: SOT 115145 SOS 65498 HAS SOPS 25778 HAS SOUS 12845 HAS SOUPS 8830 WITH SCORE 8895.498
AT ITER 7423 NEW BEST:: SOT 115085 SOS 65426 HAS SOPS 25714 HAS SOUS 12841 HAS SOUPS 8826 WITH SCORE 8891.426
AT ITER 7430 NEW BEST:: SOT 115049 SOS 65654 HAS SOPS 25702 HAS SOUS 12838 HAS SOUPS 8820 WITH SCORE 8885.654
AT ITER 7473 NEW BEST:: SOT 115049 SOS 65628 HAS SOPS 25688 HAS SOUS 12834 HAS SOUPS 8818 WITH SCORE 8883.628
AT ITER 7489 NEW BEST:: SOT 114824 SOS 65403 HAS SOPS 25463 HAS SOUS 12810 HAS SOUPS 8794 WITH SCORE 8859.403
AT ITER 7490 NEW BEST:: SOT 114831 SOS 65406 HAS SOPS 25468 HAS SOUS 12804 HAS SOUPS 8790 WITH SCORE 8855.406
AT ITER 7507 NEW BEST:: SOT 114831 SOS 65406 HAS SOPS 25469 HAS SOUS 12799 HAS SOUPS 8785 WITH SCORE 8850.406
AT ITER 7520 NEW BEST:: SOT 114821 SOS 65396 HAS SOPS 25461 HAS SOUS 12789 HAS SOUPS 8775 WITH SCORE 8840.396
AT ITER 7529 NEW BEST:: SOT 114817 SOS 65394 HAS SOPS 25435 HAS SOUS 12783 HAS SOUPS 8769 WITH SCORE 8834.394
AT ITER 7531 NEW BEST:: SOT 114813 SOS 65390 HAS SOPS 25427 HAS SOUS 12779 HAS SOUPS 8761 WITH SCORE 8826.39
AT ITER 7572 NEW BEST:: SOT 114776 SOS 65360 HAS SOPS 25397 HAS SOUS 12762 HAS SOUPS 8749 WITH SCORE 8814.36
AT ITER 7665 NEW BEST:: SOT 114780 SOS 65352 HAS SOPS 25385 HAS SOUS 12750 HAS SOUPS 8741 WITH SCORE 8806.352
AT ITER 7700 NEW BEST:: SOT 114777 SOS 65352 HAS SOPS 25379 HAS SOUS 12740 HAS SOUPS 8731 WITH SCORE 8796.352
AT ITER 7721 NEW BEST:: SOT 114771 SOS 65346 HAS SOPS 25370 HAS SOUS 12731 HAS SOUPS 8722 WITH SCORE 8787.346
AT ITER 7722 NEW BEST:: SOT 114768 SOS 65340 HAS SOPS 25364 HAS SOUS 12731 HAS SOUPS 8722 WITH SCORE 8787.34
AT ITER 7746 NEW BEST:: SOT 114688 SOS 65436 HAS SOPS 25360 HAS SOUS 12731 HAS SOUPS 8717 WITH SCORE 8782.436
AT ITER 7802 NEW BEST:: SOT 114754 SOS 65324 HAS SOPS 25248 HAS SOUS 12706 HAS SOUPS 8692 WITH SCORE 8757.324
AT ITER 7804 NEW BEST:: SOT 114739 SOS 65309 HAS SOPS 25230 HAS SOUS 12691 HAS SOUPS 8674 WITH SCORE 8739.309
AT ITER 7806 NEW BEST:: SOT 114735 SOS 65304 HAS SOPS 25225 HAS SOUS 12684 HAS SOUPS 8667 WITH SCORE 8732.304
AT ITER 7822 NEW BEST:: SOT 114590 SOS 65351 HAS SOPS 25224 HAS SOUS 12684 HAS SOUPS 8666 WITH SCORE 8731.351
AT ITER 7832 NEW BEST:: SOT 114422 SOS 67613 HAS SOPS 24954 HAS SOUS 12702 HAS SOUPS 8660 WITH SCORE 8727.613
AT ITER 7841 NEW BEST:: SOT 114377 SOS 67588 HAS SOPS 24929 HAS SOUS 12702 HAS SOUPS 8660 WITH SCORE 8727.588
AT ITER 7848 NEW BEST:: SOT 114375 SOS 67582 HAS SOPS 24907 HAS SOUS 12700 HAS SOUPS 8656 WITH SCORE 8723.582
AT ITER 7885 NEW BEST:: SOT 114366 SOS 67614 HAS SOPS 24939 HAS SOUS 12692 HAS SOUPS 8648 WITH SCORE 8715.614
AT ITER 7903 NEW BEST:: SOT 114362 SOS 67611 HAS SOPS 24936 HAS SOUS 12690 HAS SOUPS 8646 WITH SCORE 8713.611
AT ITER 7931 NEW BEST:: SOT 114370 SOS 67606 HAS SOPS 24934 HAS SOUS 12689 HAS SOUPS 8645 WITH SCORE 8712.606
AT ITER 7961 NEW BEST:: SOT 114362 SOS 67598 HAS SOPS 24918 HAS SOUS 12673 HAS SOUPS 8629 WITH SCORE 8696.598
AT ITER 8036 NEW BEST:: SOT 114355 SOS 67594 HAS SOPS 24915 HAS SOUS 12673 HAS SOUPS 8629 WITH SCORE 8696.594
AT ITER 8062 NEW BEST:: SOT 114275 SOS 67514 HAS SOPS 24855 HAS SOUS 12633 HAS SOUPS 8589 WITH SCORE 8656.514
AT ITER 8086 NEW BEST:: SOT 114258 SOS 67542 HAS SOPS 24855 HAS SOUS 12633 HAS SOUPS 8588 WITH SCORE 8655.542
AT ITER 8108 NEW BEST:: SOT 114250 SOS 67526 HAS SOPS 24839 HAS SOUS 12633 HAS SOUPS 8588 WITH SCORE 8655.526
AT ITER 8115 NEW BEST:: SOT 114250 SOS 67523 HAS SOPS 24833 HAS SOUS 12628 HAS SOUPS 8580 WITH SCORE 8647.523
AT ITER 8160 NEW BEST:: SOT 114251 SOS 67525 HAS SOPS 24835 HAS SOUS 12625 HAS SOUPS 8579 WITH SCORE 8646.525
AT ITER 8182 NEW BEST:: SOT 114251 SOS 67522 HAS SOPS 24832 HAS SOUS 12622 HAS SOUPS 8577 WITH SCORE 8644.522
AT ITER 8223 NEW BEST:: SOT 114174 SOS 67434 HAS SOPS 24744 HAS SOUS 12528 HAS SOUPS 8483 WITH SCORE 8550.434
AT ITER 8437 NEW BEST:: SOT 113988 SOS 68199 HAS SOPS 24688 HAS SOUS 12584 HAS SOUPS 8460 WITH SCORE 8528.199
AT ITER 8452 NEW BEST:: SOT 113983 SOS 68194 HAS SOPS 24684 HAS SOUS 12578 HAS SOUPS 8454 WITH SCORE 8522.194
AT ITER 8516 NEW BEST:: SOT 113989 SOS 68200 HAS SOPS 24688 HAS SOUS 12576 HAS SOUPS 8452 WITH SCORE 8520.2
AT ITER 8527 NEW BEST:: SOT 113979 SOS 68188 HAS SOPS 24676 HAS SOUS 12562 HAS SOUPS 8436 WITH SCORE 8504.188
AT ITER 8530 NEW BEST:: SOT 113837 SOS 68310 HAS SOPS 24671 HAS SOUS 12548 HAS SOUPS 8415 WITH SCORE 8483.31
AT ITER 8558 NEW BEST:: SOT 113405 SOS 69884 HAS SOPS 24678 HAS SOUS 12540 HAS SOUPS 8407 WITH SCORE 8476.884
AT ITER 8561 NEW BEST:: SOT 113275 SOS 69754 HAS SOPS 24561 HAS SOUS 12527 HAS SOUPS 8394 WITH SCORE 8463.754
AT ITER 8583 NEW BEST:: SOT 114889 SOS 65871 HAS SOPS 24561 HAS SOUS 12463 HAS SOUPS 8394 WITH SCORE 8459.871
AT ITER 8633 NEW BEST:: SOT 114888 SOS 65795 HAS SOPS 24559 HAS SOUS 12461 HAS SOUPS 8393 WITH SCORE 8458.795
AT ITER 8655 NEW BEST:: SOT 114870 SOS 65783 HAS SOPS 24547 HAS SOUS 12459 HAS SOUPS 8391 WITH SCORE 8456.783
AT ITER 8716 NEW BEST:: SOT 114878 SOS 65611 HAS SOPS 24547 HAS SOUS 12453 HAS SOUPS 8390 WITH SCORE 8455.611
AT ITER 8858 NEW BEST:: SOT 114885 SOS 65614 HAS SOPS 24647 HAS SOUS 12444 HAS SOUPS 8388 WITH SCORE 8453.614
AT ITER 8986 NEW BEST:: SOT 114883 SOS 65610 HAS SOPS 24664 HAS SOUS 12442 HAS SOUPS 8386 WITH SCORE 8451.61
AT ITER 9040 NEW BEST:: SOT 114892 SOS 65618 HAS SOPS 24672 HAS SOUS 12437 HAS SOUPS 8381 WITH SCORE 8446.618
AT ITER 9108 NEW BEST:: SOT 114905 SOS 65611 HAS SOPS 24678 HAS SOUS 12433 HAS SOUPS 8377 WITH SCORE 8442.611
AT ITER 9113 NEW BEST:: SOT 114905 SOS 65605 HAS SOPS 24649 HAS SOUS 12433 HAS SOUPS 8377 WITH SCORE 8442.605
AT ITER 9267 NEW BEST:: SOT 114892 SOS 65590 HAS SOPS 24370 HAS SOUS 12407 HAS SOUPS 8351 WITH SCORE 8416.59
AT ITER 9467 NEW BEST:: SOT 114893 SOS 65580 HAS SOPS 24348 HAS SOUS 12377 HAS SOUPS 8333 WITH SCORE 8398.58
AT ITER 9475 NEW BEST:: SOT 114891 SOS 65577 HAS SOPS 24346 HAS SOUS 12377 HAS SOUPS 8332 WITH SCORE 8397.577
AT ITER 9476 NEW BEST:: SOT 114874 SOS 66126 HAS SOPS 24344 HAS SOUS 12404 HAS SOUPS 8329 WITH SCORE 8395.126
AT ITER 9631 NEW BEST:: SOT 114874 SOS 66000 HAS SOPS 24344 HAS SOUS 12415 HAS SOUPS 8329 WITH SCORE 8395.0
AT ITER 9761 NEW BEST:: SOT 114875 SOS 65992 HAS SOPS 24336 HAS SOUS 12411 HAS SOUPS 8325 WITH SCORE 8390.992
AT ITER 9795 NEW BEST:: SOT 114875 SOS 65990 HAS SOPS 24334 HAS SOUS 12409 HAS SOUPS 8323 WITH SCORE 8388.99
AT ITER 9823 NEW BEST:: SOT 114878 SOS 65994 HAS SOPS 24338 HAS SOUS 12408 HAS SOUPS 8322 WITH SCORE 8387.994
AT ITER 9886 NEW BEST:: SOT 114871 SOS 65984 HAS SOPS 24348 HAS SOUS 12407 HAS SOUPS 8321 WITH SCORE 8386.984
STATE_SPACE STATES 8304696129 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 25 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1338192019337 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589159994007

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-6a"
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 CloudDeployment-PT-6a, 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 r033-smll-158901926000336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6a.tgz
mv CloudDeployment-PT-6a 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 ;