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-158901926000352.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-7a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 592K
-rw-r--r-- 1 mcc users 3.1K Mar 30 01:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 28 16:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:09 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 420K 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 1589167308033

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

Filename model.pnml
Petri model created: 264 places, 1174 transitions, 7331 arcs.
AT ITER 0 NEW BEST:: SOT 247899 SOS 145437 HAS SOPS 137733 HAS SOUS 116467 HAS SOUPS 109891 WITH SCORE 110036.437
AT ITER 3 NEW BEST:: SOT 246893 SOS 145260 HAS SOPS 136983 HAS SOUS 115710 HAS SOUPS 109141 WITH SCORE 109286.26
AT ITER 6 NEW BEST:: SOT 246957 SOS 145441 HAS SOPS 137164 HAS SOUS 115589 HAS SOUPS 109020 WITH SCORE 109165.441
AT ITER 11 NEW BEST:: SOT 247303 SOS 145426 HAS SOPS 137322 HAS SOUS 114902 HAS SOUPS 108506 WITH SCORE 108651.426
AT ITER 12 NEW BEST:: SOT 247245 SOS 145201 HAS SOPS 137097 HAS SOUS 114690 HAS SOUPS 108294 WITH SCORE 108439.201
AT ITER 15 NEW BEST:: SOT 247924 SOS 145617 HAS SOPS 137513 HAS SOUS 114006 HAS SOUPS 107610 WITH SCORE 107755.617
AT ITER 18 NEW BEST:: SOT 248587 SOS 146260 HAS SOPS 138156 HAS SOUS 113528 HAS SOUPS 107132 WITH SCORE 107278.26
AT ITER 25 NEW BEST:: SOT 248502 SOS 146128 HAS SOPS 138020 HAS SOUS 113396 HAS SOUPS 106996 WITH SCORE 107142.128
AT ITER 29 NEW BEST:: SOT 248658 SOS 146205 HAS SOPS 138097 HAS SOUS 112849 HAS SOUPS 106449 WITH SCORE 106595.205
AT ITER 30 NEW BEST:: SOT 248631 SOS 146177 HAS SOPS 138069 HAS SOUS 112821 HAS SOUPS 106421 WITH SCORE 106567.177
AT ITER 35 NEW BEST:: SOT 247731 SOS 146806 HAS SOPS 137361 HAS SOUS 112579 HAS SOUPS 106183 WITH SCORE 106329.806
AT ITER 37 NEW BEST:: SOT 247845 SOS 146879 HAS SOPS 137489 HAS SOUS 112518 HAS SOUPS 106177 WITH SCORE 106323.879
AT ITER 38 NEW BEST:: SOT 248107 SOS 147271 HAS SOPS 138012 HAS SOUS 111993 HAS SOUPS 105783 WITH SCORE 105930.271
AT ITER 40 NEW BEST:: SOT 248857 SOS 148018 HAS SOPS 138759 HAS SOUS 111577 HAS SOUPS 105367 WITH SCORE 105515.018
AT ITER 41 NEW BEST:: SOT 248816 SOS 147977 HAS SOPS 138717 HAS SOUS 111535 HAS SOUPS 105325 WITH SCORE 105472.977
AT ITER 44 NEW BEST:: SOT 248783 SOS 147944 HAS SOPS 138684 HAS SOUS 111517 HAS SOUPS 105307 WITH SCORE 105454.944
AT ITER 46 NEW BEST:: SOT 248767 SOS 147904 HAS SOPS 138644 HAS SOUS 111485 HAS SOUPS 105275 WITH SCORE 105422.904
AT ITER 55 NEW BEST:: SOT 248707 SOS 147826 HAS SOPS 138566 HAS SOUS 111430 HAS SOUPS 105220 WITH SCORE 105367.826
AT ITER 57 NEW BEST:: SOT 248682 SOS 147793 HAS SOPS 138550 HAS SOUS 111321 HAS SOUPS 105128 WITH SCORE 105275.793
AT ITER 58 NEW BEST:: SOT 248682 SOS 147577 HAS SOPS 138334 HAS SOUS 111105 HAS SOUPS 104912 WITH SCORE 105059.577
AT ITER 62 NEW BEST:: SOT 248901 SOS 147830 HAS SOPS 138711 HAS SOUS 110491 HAS SOUPS 104419 WITH SCORE 104566.83
AT ITER 67 NEW BEST:: SOT 248943 SOS 147769 HAS SOPS 138650 HAS SOUS 110456 HAS SOUPS 104384 WITH SCORE 104531.769
AT ITER 70 NEW BEST:: SOT 248981 SOS 147788 HAS SOPS 138688 HAS SOUS 110342 HAS SOUPS 104289 WITH SCORE 104436.788
AT ITER 79 NEW BEST:: SOT 248669 SOS 148177 HAS SOPS 138664 HAS SOUS 110230 HAS SOUPS 104265 WITH SCORE 104413.177
AT ITER 81 NEW BEST:: SOT 248669 SOS 148159 HAS SOPS 138664 HAS SOUS 110176 HAS SOUPS 104229 WITH SCORE 104377.159
AT ITER 82 NEW BEST:: SOT 248820 SOS 148461 HAS SOPS 138901 HAS SOUS 110089 HAS SOUPS 104077 WITH SCORE 104225.461
AT ITER 85 NEW BEST:: SOT 249143 SOS 148650 HAS SOPS 139242 HAS SOUS 109314 HAS SOUPS 103454 WITH SCORE 103602.65
AT ITER 86 NEW BEST:: SOT 249221 SOS 148572 HAS SOPS 139125 HAS SOUS 109158 HAS SOUPS 103259 WITH SCORE 103407.572
AT ITER 88 NEW BEST:: SOT 249221 SOS 148527 HAS SOPS 139080 HAS SOUS 109113 HAS SOUPS 103214 WITH SCORE 103362.527
AT ITER 91 NEW BEST:: SOT 248811 SOS 148175 HAS SOPS 138884 HAS SOUS 108762 HAS SOUPS 103019 WITH SCORE 103167.175
AT ITER 92 NEW BEST:: SOT 248194 SOS 150881 HAS SOPS 138537 HAS SOUS 107837 HAS SOUPS 102095 WITH SCORE 102245.881
AT ITER 94 NEW BEST:: SOT 248338 SOS 151094 HAS SOPS 138750 HAS SOUS 107564 HAS SOUPS 101822 WITH SCORE 101973.094
AT ITER 96 NEW BEST:: SOT 248670 SOS 151365 HAS SOPS 139045 HAS SOUS 107158 HAS SOUPS 101416 WITH SCORE 101567.365
AT ITER 97 NEW BEST:: SOT 248818 SOS 151245 HAS SOPS 138925 HAS SOUS 106540 HAS SOUPS 100798 WITH SCORE 100949.245
AT ITER 98 NEW BEST:: SOT 248806 SOS 151232 HAS SOPS 138908 HAS SOUS 106531 HAS SOUPS 100785 WITH SCORE 100936.232
AT ITER 101 NEW BEST:: SOT 248786 SOS 151133 HAS SOPS 138896 HAS SOUS 106522 HAS SOUPS 100776 WITH SCORE 100927.133
AT ITER 105 NEW BEST:: SOT 248790 SOS 151143 HAS SOPS 138906 HAS SOUS 106518 HAS SOUPS 100772 WITH SCORE 100923.143
AT ITER 106 NEW BEST:: SOT 248835 SOS 151105 HAS SOPS 138868 HAS SOUS 106500 HAS SOUPS 100754 WITH SCORE 100905.105
AT ITER 109 NEW BEST:: SOT 249336 SOS 151598 HAS SOPS 139514 HAS SOUS 105702 HAS SOUPS 100112 WITH SCORE 100263.598
AT ITER 110 NEW BEST:: SOT 249542 SOS 151787 HAS SOPS 139703 HAS SOUS 105568 HAS SOUPS 99978 WITH SCORE 100129.787
AT ITER 113 NEW BEST:: SOT 249530 SOS 151688 HAS SOPS 139604 HAS SOUS 105498 HAS SOUPS 99908 WITH SCORE 100059.688
AT ITER 115 NEW BEST:: SOT 249574 SOS 151613 HAS SOPS 139501 HAS SOUS 105421 HAS SOUPS 99817 WITH SCORE 99968.613
AT ITER 118 NEW BEST:: SOT 249720 SOS 151860 HAS SOPS 139845 HAS SOUS 105061 HAS SOUPS 99530 WITH SCORE 99681.86
AT ITER 119 NEW BEST:: SOT 249720 SOS 151730 HAS SOPS 139691 HAS SOUS 105053 HAS SOUPS 99522 WITH SCORE 99673.73
AT ITER 123 NEW BEST:: SOT 249507 SOS 151460 HAS SOPS 139460 HAS SOUS 104720 HAS SOUPS 99228 WITH SCORE 99379.46
AT ITER 126 NEW BEST:: SOT 249485 SOS 151461 HAS SOPS 139445 HAS SOUS 104705 HAS SOUPS 99213 WITH SCORE 99364.461
AT ITER 134 NEW BEST:: SOT 249669 SOS 151635 HAS SOPS 139711 HAS SOUS 104189 HAS SOUPS 98789 WITH SCORE 98940.635
AT ITER 143 NEW BEST:: SOT 249763 SOS 151635 HAS SOPS 139758 HAS SOUS 103860 HAS SOUPS 98460 WITH SCORE 98611.635
AT ITER 147 NEW BEST:: SOT 249761 SOS 151631 HAS SOPS 139754 HAS SOUS 103854 HAS SOUPS 98454 WITH SCORE 98605.631
AT ITER 149 NEW BEST:: SOT 248472 SOS 152392 HAS SOPS 139340 HAS SOUS 103180 HAS SOUPS 98040 WITH SCORE 98192.392
AT ITER 150 NEW BEST:: SOT 248762 SOS 152767 HAS SOPS 139817 HAS SOUS 102738 HAS SOUPS 97700 WITH SCORE 97852.767
AT ITER 151 NEW BEST:: SOT 248802 SOS 152603 HAS SOPS 139653 HAS SOUS 102574 HAS SOUPS 97536 WITH SCORE 97688.603
AT ITER 152 NEW BEST:: SOT 249014 SOS 152023 HAS SOPS 139760 HAS SOUS 102265 HAS SOUPS 97227 WITH SCORE 97379.023
AT ITER 159 NEW BEST:: SOT 248640 SOS 154843 HAS SOPS 139189 HAS SOUS 96891 HAS SOUPS 91809 WITH SCORE 91963.843
AT ITER 163 NEW BEST:: SOT 248605 SOS 154843 HAS SOPS 139189 HAS SOUS 96667 HAS SOUPS 91585 WITH SCORE 91739.843
AT ITER 165 NEW BEST:: SOT 248507 SOS 154509 HAS SOPS 138748 HAS SOUS 95938 HAS SOUPS 90807 WITH SCORE 90961.509
AT ITER 166 NEW BEST:: SOT 249124 SOS 154960 HAS SOPS 139199 HAS SOUS 95731 HAS SOUPS 90600 WITH SCORE 90754.96
AT ITER 172 NEW BEST:: SOT 245905 SOS 151627 HAS SOPS 135866 HAS SOUS 92398 HAS SOUPS 87267 WITH SCORE 87418.627
AT ITER 176 NEW BEST:: SOT 245905 SOS 151626 HAS SOPS 135865 HAS SOUS 92397 HAS SOUPS 87266 WITH SCORE 87417.626
AT ITER 177 NEW BEST:: SOT 246353 SOS 152017 HAS SOPS 136256 HAS SOUS 91990 HAS SOUPS 86859 WITH SCORE 87011.017
AT ITER 178 NEW BEST:: SOT 246353 SOS 151755 HAS SOPS 135994 HAS SOUS 91728 HAS SOUPS 86597 WITH SCORE 86748.755
AT ITER 181 NEW BEST:: SOT 246195 SOS 151439 HAS SOPS 135746 HAS SOUS 91457 HAS SOUPS 86394 WITH SCORE 86545.439
AT ITER 183 NEW BEST:: SOT 246341 SOS 151355 HAS SOPS 135662 HAS SOUS 91455 HAS SOUPS 86392 WITH SCORE 86543.355
AT ITER 184 NEW BEST:: SOT 246318 SOS 151309 HAS SOPS 135616 HAS SOUS 91409 HAS SOUPS 86346 WITH SCORE 86497.309
AT ITER 185 NEW BEST:: SOT 246340 SOS 151209 HAS SOPS 135516 HAS SOUS 91355 HAS SOUPS 86292 WITH SCORE 86443.209
AT ITER 187 NEW BEST:: SOT 244290 SOS 149690 HAS SOPS 133657 HAS SOUS 89390 HAS SOUPS 84335 WITH SCORE 84484.69
AT ITER 190 NEW BEST:: SOT 244529 SOS 149882 HAS SOPS 133973 HAS SOUS 88813 HAS SOUPS 83882 WITH SCORE 84031.882
AT ITER 192 NEW BEST:: SOT 244553 SOS 148424 HAS SOPS 134398 HAS SOUS 88009 HAS SOUPS 83122 WITH SCORE 83270.424
AT ITER 194 NEW BEST:: SOT 244963 SOS 148833 HAS SOPS 134807 HAS SOUS 87678 HAS SOUPS 82791 WITH SCORE 82939.833
AT ITER 195 NEW BEST:: SOT 244963 SOS 148833 HAS SOPS 134804 HAS SOUS 87666 HAS SOUPS 82776 WITH SCORE 82924.833
AT ITER 199 NEW BEST:: SOT 244963 SOS 148833 HAS SOPS 134790 HAS SOUS 87652 HAS SOUPS 82762 WITH SCORE 82910.833
AT ITER 200 NEW BEST:: SOT 245012 SOS 148701 HAS SOPS 134658 HAS SOUS 87525 HAS SOUPS 82635 WITH SCORE 82783.701
AT ITER 201 NEW BEST:: SOT 243662 SOS 148905 HAS SOPS 134658 HAS SOUS 87238 HAS SOUPS 82614 WITH SCORE 82762.905
AT ITER 204 NEW BEST:: SOT 243718 SOS 148919 HAS SOPS 134672 HAS SOUS 87224 HAS SOUPS 82600 WITH SCORE 82748.919
AT ITER 206 NEW BEST:: SOT 244090 SOS 149148 HAS SOPS 134798 HAS SOUS 86852 HAS SOUPS 82125 WITH SCORE 82274.148
AT ITER 209 NEW BEST:: SOT 244252 SOS 149472 HAS SOPS 135122 HAS SOUS 86757 HAS SOUPS 82030 WITH SCORE 82179.472
AT ITER 218 NEW BEST:: SOT 244214 SOS 149471 HAS SOPS 135102 HAS SOUS 86756 HAS SOUPS 82010 WITH SCORE 82159.471
AT ITER 219 NEW BEST:: SOT 244540 SOS 149558 HAS SOPS 135189 HAS SOUS 85966 HAS SOUPS 81220 WITH SCORE 81369.558
AT ITER 226 NEW BEST:: SOT 244636 SOS 149510 HAS SOPS 135141 HAS SOUS 85879 HAS SOUPS 81133 WITH SCORE 81282.51
AT ITER 228 NEW BEST:: SOT 244806 SOS 149608 HAS SOPS 135311 HAS SOUS 85695 HAS SOUPS 80949 WITH SCORE 81098.608
AT ITER 229 NEW BEST:: SOT 240556 SOS 156056 HAS SOPS 133280 HAS SOUS 84841 HAS SOUPS 80353 WITH SCORE 80509.056
AT ITER 230 NEW BEST:: SOT 240510 SOS 156052 HAS SOPS 133184 HAS SOUS 82488 HAS SOUPS 77939 WITH SCORE 78095.052
AT ITER 233 NEW BEST:: SOT 240538 SOS 155772 HAS SOPS 133058 HAS SOUS 81426 HAS SOUPS 77023 WITH SCORE 77178.772
AT ITER 234 NEW BEST:: SOT 240877 SOS 156035 HAS SOPS 133321 HAS SOUS 81211 HAS SOUPS 76808 WITH SCORE 76964.035
AT ITER 235 NEW BEST:: SOT 240907 SOS 156028 HAS SOPS 133381 HAS SOUS 80985 HAS SOUPS 76619 WITH SCORE 76775.028
AT ITER 237 NEW BEST:: SOT 241178 SOS 156317 HAS SOPS 133539 HAS SOUS 80559 HAS SOUPS 76193 WITH SCORE 76349.317
AT ITER 238 NEW BEST:: SOT 241166 SOS 156293 HAS SOPS 133515 HAS SOUS 80538 HAS SOUPS 76172 WITH SCORE 76328.293
AT ITER 242 NEW BEST:: SOT 241177 SOS 156071 HAS SOPS 133293 HAS SOUS 79908 HAS SOUPS 75542 WITH SCORE 75698.071
AT ITER 243 NEW BEST:: SOT 241177 SOS 155987 HAS SOPS 133188 HAS SOUS 79755 HAS SOUPS 75389 WITH SCORE 75544.987
AT ITER 249 NEW BEST:: SOT 241079 SOS 155938 HAS SOPS 133139 HAS SOUS 79706 HAS SOUPS 75340 WITH SCORE 75495.938
AT ITER 252 NEW BEST:: SOT 241074 SOS 155892 HAS SOPS 133102 HAS SOUS 79657 HAS SOUPS 75291 WITH SCORE 75446.892
AT ITER 253 NEW BEST:: SOT 240980 SOS 155587 HAS SOPS 132731 HAS SOUS 78586 HAS SOUPS 74220 WITH SCORE 74375.587
AT ITER 254 NEW BEST:: SOT 240898 SOS 155386 HAS SOPS 132530 HAS SOUS 78503 HAS SOUPS 74137 WITH SCORE 74292.386
AT ITER 255 NEW BEST:: SOT 240898 SOS 155307 HAS SOPS 132451 HAS SOUS 78424 HAS SOUPS 74058 WITH SCORE 74213.307
AT ITER 257 NEW BEST:: SOT 240898 SOS 154991 HAS SOPS 132113 HAS SOUS 75483 HAS SOUPS 71117 WITH SCORE 71271.991
AT ITER 258 NEW BEST:: SOT 240851 SOS 154943 HAS SOPS 132065 HAS SOUS 75435 HAS SOUPS 71069 WITH SCORE 71223.943
AT ITER 260 NEW BEST:: SOT 240444 SOS 154996 HAS SOPS 131961 HAS SOUS 75364 HAS SOUPS 70998 WITH SCORE 71152.996
AT ITER 263 NEW BEST:: SOT 240400 SOS 155038 HAS SOPS 132025 HAS SOUS 75332 HAS SOUPS 70990 WITH SCORE 71145.038
AT ITER 265 NEW BEST:: SOT 242210 SOS 156962 HAS SOPS 133959 HAS SOUS 72570 HAS SOUPS 68169 WITH SCORE 68325.962
AT ITER 267 NEW BEST:: SOT 242116 SOS 156868 HAS SOPS 133865 HAS SOUS 72476 HAS SOUPS 68075 WITH SCORE 68231.868
AT ITER 270 NEW BEST:: SOT 241910 SOS 156342 HAS SOPS 133339 HAS SOUS 72237 HAS SOUPS 67836 WITH SCORE 67992.342
AT ITER 271 NEW BEST:: SOT 242095 SOS 156310 HAS SOPS 133307 HAS SOUS 72169 HAS SOUPS 67768 WITH SCORE 67924.31
AT ITER 272 NEW BEST:: SOT 242039 SOS 156304 HAS SOPS 133071 HAS SOUS 72218 HAS SOUPS 67755 WITH SCORE 67911.304
AT ITER 276 NEW BEST:: SOT 241523 SOS 155706 HAS SOPS 132071 HAS SOUS 71688 HAS SOUPS 67215 WITH SCORE 67370.706
AT ITER 278 NEW BEST:: SOT 242186 SOS 156245 HAS SOPS 132610 HAS SOUS 71464 HAS SOUPS 66991 WITH SCORE 67147.245
AT ITER 281 NEW BEST:: SOT 242354 SOS 156191 HAS SOPS 132556 HAS SOUS 71153 HAS SOUPS 66680 WITH SCORE 66836.191
AT ITER 282 NEW BEST:: SOT 239512 SOS 154204 HAS SOPS 130845 HAS SOUS 69284 HAS SOUPS 64969 WITH SCORE 65123.204
AT ITER 283 NEW BEST:: SOT 238445 SOS 156126 HAS SOPS 130925 HAS SOUS 68596 HAS SOUPS 64716 WITH SCORE 64872.126
AT ITER 284 NEW BEST:: SOT 238414 SOS 156095 HAS SOPS 130894 HAS SOUS 68565 HAS SOUPS 64685 WITH SCORE 64841.095
AT ITER 288 NEW BEST:: SOT 237149 SOS 155069 HAS SOPS 130378 HAS SOUS 68227 HAS SOUPS 64351 WITH SCORE 64506.069
AT ITER 289 NEW BEST:: SOT 237149 SOS 154922 HAS SOPS 130103 HAS SOUS 67518 HAS SOUPS 63587 WITH SCORE 63741.922
AT ITER 290 NEW BEST:: SOT 237172 SOS 154805 HAS SOPS 129986 HAS SOUS 67518 HAS SOUPS 63587 WITH SCORE 63741.805
AT ITER 299 NEW BEST:: SOT 237191 SOS 154715 HAS SOPS 129804 HAS SOUS 67073 HAS SOUPS 63123 WITH SCORE 63277.715
AT ITER 303 NEW BEST:: SOT 236042 SOS 152765 HAS SOPS 128195 HAS SOUS 65217 HAS SOUPS 61269 WITH SCORE 61421.765
AT ITER 304 NEW BEST:: SOT 236078 SOS 152666 HAS SOPS 128132 HAS SOUS 65053 HAS SOUPS 61141 WITH SCORE 61293.666
AT ITER 308 NEW BEST:: SOT 238976 SOS 155525 HAS SOPS 131014 HAS SOUS 60493 HAS SOUPS 56581 WITH SCORE 56736.525
AT ITER 309 NEW BEST:: SOT 239142 SOS 155389 HAS SOPS 130878 HAS SOUS 60407 HAS SOUPS 56495 WITH SCORE 56650.389
AT ITER 315 NEW BEST:: SOT 239078 SOS 155261 HAS SOPS 130746 HAS SOUS 60211 HAS SOUPS 56297 WITH SCORE 56452.261
AT ITER 320 NEW BEST:: SOT 239093 SOS 155234 HAS SOPS 130731 HAS SOUS 60072 HAS SOUPS 56158 WITH SCORE 56313.234
AT ITER 321 NEW BEST:: SOT 239093 SOS 155222 HAS SOPS 130719 HAS SOUS 60060 HAS SOUPS 56146 WITH SCORE 56301.222
AT ITER 323 NEW BEST:: SOT 239093 SOS 155166 HAS SOPS 130691 HAS SOUS 59920 HAS SOUPS 56034 WITH SCORE 56189.166
AT ITER 329 NEW BEST:: SOT 238957 SOS 168040 HAS SOPS 145581 HAS SOUS 59510 HAS SOUPS 55624 WITH SCORE 55792.04
AT ITER 332 NEW BEST:: SOT 238658 SOS 167982 HAS SOPS 145523 HAS SOUS 59458 HAS SOUPS 55572 WITH SCORE 55739.982
AT ITER 338 NEW BEST:: SOT 238658 SOS 167938 HAS SOPS 145468 HAS SOUS 59458 HAS SOUPS 55572 WITH SCORE 55739.938
AT ITER 339 NEW BEST:: SOT 239070 SOS 168364 HAS SOPS 145979 HAS SOUS 59248 HAS SOUPS 55479 WITH SCORE 55647.364
AT ITER 342 NEW BEST:: SOT 238948 SOS 168255 HAS SOPS 145814 HAS SOUS 59285 HAS SOUPS 55473 WITH SCORE 55641.255
AT ITER 344 NEW BEST:: SOT 238918 SOS 168225 HAS SOPS 145784 HAS SOUS 59255 HAS SOUPS 55443 WITH SCORE 55611.225
AT ITER 345 NEW BEST:: SOT 238914 SOS 168066 HAS SOPS 145530 HAS SOUS 59008 HAS SOUPS 55189 WITH SCORE 55357.066
AT ITER 348 NEW BEST:: SOT 238787 SOS 167957 HAS SOPS 145450 HAS SOUS 58855 HAS SOUPS 55065 WITH SCORE 55232.957
AT ITER 357 NEW BEST:: SOT 238783 SOS 167949 HAS SOPS 145442 HAS SOUS 58849 HAS SOUPS 55059 WITH SCORE 55226.949
AT ITER 358 NEW BEST:: SOT 238834 SOS 167883 HAS SOPS 145376 HAS SOUS 58795 HAS SOUPS 55005 WITH SCORE 55172.883
AT ITER 359 NEW BEST:: SOT 238494 SOS 167497 HAS SOPS 144835 HAS SOUS 58497 HAS SOUPS 54624 WITH SCORE 54791.497
AT ITER 362 NEW BEST:: SOT 238532 SOS 167493 HAS SOPS 144774 HAS SOUS 58482 HAS SOUPS 54589 WITH SCORE 54756.493
AT ITER 365 NEW BEST:: SOT 238432 SOS 167325 HAS SOPS 144659 HAS SOUS 58367 HAS SOUPS 54474 WITH SCORE 54641.325
AT ITER 366 NEW BEST:: SOT 238426 SOS 167301 HAS SOPS 144635 HAS SOUS 58343 HAS SOUPS 54450 WITH SCORE 54617.301
AT ITER 367 NEW BEST:: SOT 238583 SOS 167009 HAS SOPS 144343 HAS SOUS 58145 HAS SOUPS 54252 WITH SCORE 54419.009
AT ITER 369 NEW BEST:: SOT 238613 SOS 166979 HAS SOPS 144343 HAS SOUS 58145 HAS SOUPS 54252 WITH SCORE 54418.979
AT ITER 370 NEW BEST:: SOT 238440 SOS 166828 HAS SOPS 144192 HAS SOUS 58001 HAS SOUPS 54108 WITH SCORE 54274.828
AT ITER 375 NEW BEST:: SOT 238650 SOS 167217 HAS SOPS 144645 HAS SOUS 57692 HAS SOUPS 53909 WITH SCORE 54076.217
AT ITER 382 NEW BEST:: SOT 238650 SOS 167172 HAS SOPS 144600 HAS SOUS 57647 HAS SOUPS 53864 WITH SCORE 54031.172
AT ITER 384 NEW BEST:: SOT 238573 SOS 167704 HAS SOPS 145363 HAS SOUS 57347 HAS SOUPS 53587 WITH SCORE 53754.704
AT ITER 386 NEW BEST:: SOT 238493 SOS 167614 HAS SOPS 145273 HAS SOUS 57334 HAS SOUPS 53574 WITH SCORE 53741.614
AT ITER 388 NEW BEST:: SOT 238519 SOS 167562 HAS SOPS 145195 HAS SOUS 57308 HAS SOUPS 53522 WITH SCORE 53689.562
AT ITER 395 NEW BEST:: SOT 238529 SOS 167464 HAS SOPS 145146 HAS SOUS 57259 HAS SOUPS 53473 WITH SCORE 53640.464
AT ITER 396 NEW BEST:: SOT 238525 SOS 167462 HAS SOPS 145144 HAS SOUS 57259 HAS SOUPS 53473 WITH SCORE 53640.462
AT ITER 401 NEW BEST:: SOT 238501 SOS 167350 HAS SOPS 144986 HAS SOUS 57061 HAS SOUPS 53275 WITH SCORE 53442.35
AT ITER 405 NEW BEST:: SOT 238637 SOS 167193 HAS SOPS 144829 HAS SOUS 56961 HAS SOUPS 53175 WITH SCORE 53342.193
AT ITER 415 NEW BEST:: SOT 238843 SOS 167296 HAS SOPS 145035 HAS SOUS 56833 HAS SOUPS 53150 WITH SCORE 53317.296
AT ITER 418 NEW BEST:: SOT 238604 SOS 166937 HAS SOPS 144676 HAS SOUS 56529 HAS SOUPS 52846 WITH SCORE 53012.937
AT ITER 422 NEW BEST:: SOT 238884 SOS 166764 HAS SOPS 144534 HAS SOUS 56199 HAS SOUPS 52516 WITH SCORE 52682.764
AT ITER 423 NEW BEST:: SOT 238720 SOS 166606 HAS SOPS 144376 HAS SOUS 56103 HAS SOUPS 52420 WITH SCORE 52586.606
AT ITER 424 NEW BEST:: SOT 238404 SOS 165846 HAS SOPS 143502 HAS SOUS 55627 HAS SOUPS 51944 WITH SCORE 52109.846
AT ITER 428 NEW BEST:: SOT 238014 SOS 164913 HAS SOPS 142444 HAS SOUS 54762 HAS SOUPS 51079 WITH SCORE 51243.913
AT ITER 431 NEW BEST:: SOT 238295 SOS 164987 HAS SOPS 142518 HAS SOUS 54629 HAS SOUPS 50946 WITH SCORE 51110.987
AT ITER 434 NEW BEST:: SOT 238024 SOS 164859 HAS SOPS 142342 HAS SOUS 54497 HAS SOUPS 50814 WITH SCORE 50978.859
AT ITER 438 NEW BEST:: SOT 238005 SOS 164821 HAS SOPS 142285 HAS SOUS 54440 HAS SOUPS 50757 WITH SCORE 50921.821
AT ITER 439 NEW BEST:: SOT 237822 SOS 164460 HAS SOPS 141802 HAS SOUS 54148 HAS SOUPS 50465 WITH SCORE 50629.46
AT ITER 440 NEW BEST:: SOT 237746 SOS 164403 HAS SOPS 141745 HAS SOUS 54122 HAS SOUPS 50439 WITH SCORE 50603.403
AT ITER 441 NEW BEST:: SOT 237902 SOS 164390 HAS SOPS 141732 HAS SOUS 54036 HAS SOUPS 50353 WITH SCORE 50517.39
AT ITER 446 NEW BEST:: SOT 237774 SOS 164262 HAS SOPS 141540 HAS SOUS 54063 HAS SOUPS 50316 WITH SCORE 50480.262
AT ITER 447 NEW BEST:: SOT 237765 SOS 164198 HAS SOPS 141430 HAS SOUS 54054 HAS SOUPS 50261 WITH SCORE 50425.198
AT ITER 449 NEW BEST:: SOT 236662 SOS 163318 HAS SOPS 140925 HAS SOUS 53570 HAS SOUPS 49756 WITH SCORE 49919.318
AT ITER 451 NEW BEST:: SOT 236592 SOS 163653 HAS SOPS 141485 HAS SOUS 53437 HAS SOUPS 49734 WITH SCORE 49897.653
AT ITER 457 NEW BEST:: SOT 236477 SOS 163564 HAS SOPS 141349 HAS SOUS 53353 HAS SOUPS 49637 WITH SCORE 49800.564
AT ITER 459 NEW BEST:: SOT 236522 SOS 163612 HAS SOPS 141398 HAS SOUS 53302 HAS SOUPS 49587 WITH SCORE 49750.612
AT ITER 462 NEW BEST:: SOT 236435 SOS 163525 HAS SOPS 141311 HAS SOUS 53272 HAS SOUPS 49557 WITH SCORE 49720.525
AT ITER 463 NEW BEST:: SOT 236435 SOS 163501 HAS SOPS 141287 HAS SOUS 53260 HAS SOUPS 49545 WITH SCORE 49708.501
AT ITER 467 NEW BEST:: SOT 234952 SOS 164725 HAS SOPS 140924 HAS SOUS 52631 HAS SOUPS 49005 WITH SCORE 49169.725
AT ITER 478 NEW BEST:: SOT 234932 SOS 164685 HAS SOPS 140884 HAS SOUS 52611 HAS SOUPS 48985 WITH SCORE 49149.685
AT ITER 479 NEW BEST:: SOT 231737 SOS 163618 HAS SOPS 139131 HAS SOUS 51197 HAS SOUPS 47499 WITH SCORE 47662.618
AT ITER 482 NEW BEST:: SOT 231884 SOS 163729 HAS SOPS 139222 HAS SOUS 51107 HAS SOUPS 47409 WITH SCORE 47572.729
AT ITER 486 NEW BEST:: SOT 231040 SOS 163033 HAS SOPS 139400 HAS SOUS 49674 HAS SOUPS 46077 WITH SCORE 46240.033
AT ITER 487 NEW BEST:: SOT 231000 SOS 163061 HAS SOPS 139401 HAS SOUS 49672 HAS SOUPS 46075 WITH SCORE 46238.061
AT ITER 492 NEW BEST:: SOT 230862 SOS 162784 HAS SOPS 140466 HAS SOUS 49524 HAS SOUPS 45956 WITH SCORE 46118.784
AT ITER 494 NEW BEST:: SOT 230856 SOS 162697 HAS SOPS 140379 HAS SOUS 49518 HAS SOUPS 45950 WITH SCORE 46112.697
AT ITER 495 NEW BEST:: SOT 230856 SOS 162686 HAS SOPS 140368 HAS SOUS 49481 HAS SOUPS 45913 WITH SCORE 46075.686
AT ITER 496 NEW BEST:: SOT 230812 SOS 162598 HAS SOPS 140280 HAS SOUS 49419 HAS SOUPS 45851 WITH SCORE 46013.598
AT ITER 501 NEW BEST:: SOT 230349 SOS 162225 HAS SOPS 139907 HAS SOUS 49046 HAS SOUPS 45478 WITH SCORE 45640.225
AT ITER 504 NEW BEST:: SOT 230343 SOS 162219 HAS SOPS 139895 HAS SOUS 49004 HAS SOUPS 45436 WITH SCORE 45598.219
AT ITER 507 NEW BEST:: SOT 230436 SOS 162107 HAS SOPS 139783 HAS SOUS 48694 HAS SOUPS 45126 WITH SCORE 45288.107
AT ITER 512 NEW BEST:: SOT 230429 SOS 162086 HAS SOPS 139762 HAS SOUS 48694 HAS SOUPS 45126 WITH SCORE 45288.086
AT ITER 515 NEW BEST:: SOT 230429 SOS 161966 HAS SOPS 139642 HAS SOUS 48612 HAS SOUPS 45044 WITH SCORE 45205.966
AT ITER 525 NEW BEST:: SOT 230266 SOS 161820 HAS SOPS 139468 HAS SOUS 48409 HAS SOUPS 44841 WITH SCORE 45002.82
AT ITER 528 NEW BEST:: SOT 230042 SOS 161591 HAS SOPS 139200 HAS SOUS 48141 HAS SOUPS 44573 WITH SCORE 44734.591
AT ITER 530 NEW BEST:: SOT 230132 SOS 161492 HAS SOPS 139266 HAS SOUS 47864 HAS SOUPS 44388 WITH SCORE 44549.492
AT ITER 532 NEW BEST:: SOT 230244 SOS 161592 HAS SOPS 139417 HAS SOUS 47795 HAS SOUPS 44319 WITH SCORE 44480.592
AT ITER 536 NEW BEST:: SOT 230456 SOS 161775 HAS SOPS 139577 HAS SOUS 47798 HAS SOUPS 44307 WITH SCORE 44468.775
AT ITER 544 NEW BEST:: SOT 230171 SOS 161472 HAS SOPS 139274 HAS SOUS 47548 HAS SOUPS 44057 WITH SCORE 44218.472
AT ITER 548 NEW BEST:: SOT 230049 SOS 161228 HAS SOPS 139030 HAS SOUS 47188 HAS SOUPS 43697 WITH SCORE 43858.228
AT ITER 553 NEW BEST:: SOT 230098 SOS 161206 HAS SOPS 139008 HAS SOUS 47168 HAS SOUPS 43677 WITH SCORE 43838.206
AT ITER 556 NEW BEST:: SOT 228212 SOS 161341 HAS SOPS 137678 HAS SOUS 45914 HAS SOUPS 42388 WITH SCORE 42549.341
AT ITER 558 NEW BEST:: SOT 228098 SOS 161273 HAS SOPS 137650 HAS SOUS 45837 HAS SOUPS 42351 WITH SCORE 42512.273
AT ITER 559 NEW BEST:: SOT 227910 SOS 161001 HAS SOPS 137419 HAS SOUS 45614 HAS SOUPS 42128 WITH SCORE 42289.001
AT ITER 565 NEW BEST:: SOT 227910 SOS 160676 HAS SOPS 137094 HAS SOUS 45614 HAS SOUPS 42128 WITH SCORE 42288.676
AT ITER 569 NEW BEST:: SOT 227986 SOS 160668 HAS SOPS 137166 HAS SOUS 45606 HAS SOUPS 42120 WITH SCORE 42280.668
AT ITER 577 NEW BEST:: SOT 227927 SOS 160620 HAS SOPS 137164 HAS SOUS 45604 HAS SOUPS 42118 WITH SCORE 42278.62
AT ITER 600 NEW BEST:: SOT 229005 SOS 161747 HAS SOPS 138291 HAS SOUS 44588 HAS SOUPS 41102 WITH SCORE 41263.747
AT ITER 606 NEW BEST:: SOT 229035 SOS 161756 HAS SOPS 138300 HAS SOUS 44554 HAS SOUPS 41068 WITH SCORE 41229.756
AT ITER 608 NEW BEST:: SOT 229031 SOS 161748 HAS SOPS 138317 HAS SOUS 44489 HAS SOUPS 41028 WITH SCORE 41189.748
AT ITER 612 NEW BEST:: SOT 229031 SOS 161532 HAS SOPS 138101 HAS SOUS 44383 HAS SOUPS 40922 WITH SCORE 41083.532
AT ITER 619 NEW BEST:: SOT 228850 SOS 161423 HAS SOPS 137992 HAS SOUS 44303 HAS SOUPS 40842 WITH SCORE 41003.423
AT ITER 624 NEW BEST:: SOT 228033 SOS 160722 HAS SOPS 137620 HAS SOUS 43915 HAS SOUPS 40496 WITH SCORE 40656.722
AT ITER 625 NEW BEST:: SOT 228246 SOS 160892 HAS SOPS 137818 HAS SOUS 43899 HAS SOUPS 40480 WITH SCORE 40640.892
AT ITER 628 NEW BEST:: SOT 228258 SOS 160884 HAS SOPS 137810 HAS SOUS 43887 HAS SOUPS 40468 WITH SCORE 40628.884
AT ITER 630 NEW BEST:: SOT 228258 SOS 160834 HAS SOPS 137760 HAS SOUS 43887 HAS SOUPS 40468 WITH SCORE 40628.834
AT ITER 635 NEW BEST:: SOT 228237 SOS 160833 HAS SOPS 137810 HAS SOUS 43784 HAS SOUPS 40416 WITH SCORE 40576.833
AT ITER 637 NEW BEST:: SOT 227104 SOS 159717 HAS SOPS 136696 HAS SOUS 43379 HAS SOUPS 40011 WITH SCORE 40170.717
AT ITER 638 NEW BEST:: SOT 225573 SOS 162771 HAS SOPS 139681 HAS SOUS 39849 HAS SOUPS 36953 WITH SCORE 37115.771
AT ITER 640 NEW BEST:: SOT 225570 SOS 162768 HAS SOPS 139678 HAS SOUS 39846 HAS SOUPS 36950 WITH SCORE 37112.768
AT ITER 641 NEW BEST:: SOT 225840 SOS 162020 HAS SOPS 139770 HAS SOUS 39846 HAS SOUPS 36950 WITH SCORE 37112.02
AT ITER 663 NEW BEST:: SOT 225892 SOS 161938 HAS SOPS 139688 HAS SOUS 39831 HAS SOUPS 36935 WITH SCORE 37096.938
AT ITER 668 NEW BEST:: SOT 225892 SOS 161739 HAS SOPS 139489 HAS SOUS 39768 HAS SOUPS 36872 WITH SCORE 37033.739
AT ITER 669 NEW BEST:: SOT 225862 SOS 161630 HAS SOPS 139437 HAS SOUS 39578 HAS SOUPS 36739 WITH SCORE 36900.63
AT ITER 686 NEW BEST:: SOT 225830 SOS 161598 HAS SOPS 139413 HAS SOUS 39570 HAS SOUPS 36731 WITH SCORE 36892.598
AT ITER 690 NEW BEST:: SOT 225818 SOS 161282 HAS SOPS 139097 HAS SOUS 39398 HAS SOUPS 36559 WITH SCORE 36720.282
AT ITER 691 NEW BEST:: SOT 225834 SOS 161250 HAS SOPS 139065 HAS SOUS 39382 HAS SOUPS 36543 WITH SCORE 36704.25
AT ITER 692 NEW BEST:: SOT 223221 SOS 163677 HAS SOPS 138958 HAS SOUS 39080 HAS SOUPS 36505 WITH SCORE 36668.677
AT ITER 693 NEW BEST:: SOT 223050 SOS 164701 HAS SOPS 138844 HAS SOUS 39122 HAS SOUPS 36436 WITH SCORE 36600.701
AT ITER 694 NEW BEST:: SOT 222903 SOS 164545 HAS SOPS 138778 HAS SOUS 38993 HAS SOUPS 36352 WITH SCORE 36516.545
AT ITER 696 NEW BEST:: SOT 223396 SOS 163963 HAS SOPS 138632 HAS SOUS 38812 HAS SOUPS 36206 WITH SCORE 36369.963
AT ITER 702 NEW BEST:: SOT 223353 SOS 163920 HAS SOPS 138545 HAS SOUS 38662 HAS SOUPS 36056 WITH SCORE 36219.92
AT ITER 704 NEW BEST:: SOT 223267 SOS 163748 HAS SOPS 138373 HAS SOUS 38518 HAS SOUPS 35912 WITH SCORE 36075.748
AT ITER 733 NEW BEST:: SOT 223238 SOS 163594 HAS SOPS 138635 HAS SOUS 38425 HAS SOUPS 35851 WITH SCORE 36014.594
AT ITER 734 NEW BEST:: SOT 222269 SOS 163089 HAS SOPS 138647 HAS SOUS 38328 HAS SOUPS 35813 WITH SCORE 35976.089
AT ITER 737 NEW BEST:: SOT 222264 SOS 163129 HAS SOPS 138534 HAS SOUS 38163 HAS SOUPS 35571 WITH SCORE 35734.129
AT ITER 741 NEW BEST:: SOT 222264 SOS 163168 HAS SOPS 138534 HAS SOUS 37993 HAS SOUPS 35401 WITH SCORE 35564.168
AT ITER 744 NEW BEST:: SOT 222444 SOS 163540 HAS SOPS 139044 HAS SOUS 37608 HAS SOUPS 34995 WITH SCORE 35158.54
AT ITER 751 NEW BEST:: SOT 222539 SOS 163681 HAS SOPS 139234 HAS SOUS 37558 HAS SOUPS 34994 WITH SCORE 35157.681
AT ITER 755 NEW BEST:: SOT 222509 SOS 163621 HAS SOPS 139184 HAS SOUS 37508 HAS SOUPS 34954 WITH SCORE 35117.621
AT ITER 759 NEW BEST:: SOT 222502 SOS 163614 HAS SOPS 139177 HAS SOUS 37480 HAS SOUPS 34926 WITH SCORE 35089.614
AT ITER 760 NEW BEST:: SOT 222005 SOS 163316 HAS SOPS 139073 HAS SOUS 37294 HAS SOUPS 34703 WITH SCORE 34866.316
AT ITER 764 NEW BEST:: SOT 221922 SOS 163424 HAS SOPS 139106 HAS SOUS 37272 HAS SOUPS 34681 WITH SCORE 34844.424
AT ITER 768 NEW BEST:: SOT 221865 SOS 163445 HAS SOPS 138992 HAS SOUS 37158 HAS SOUPS 34567 WITH SCORE 34730.445
AT ITER 770 NEW BEST:: SOT 221868 SOS 163428 HAS SOPS 138975 HAS SOUS 37085 HAS SOUPS 34494 WITH SCORE 34657.428
AT ITER 777 NEW BEST:: SOT 221950 SOS 163209 HAS SOPS 138915 HAS SOUS 37069 HAS SOUPS 34478 WITH SCORE 34641.209
AT ITER 786 NEW BEST:: SOT 221697 SOS 163363 HAS SOPS 138797 HAS SOUS 37002 HAS SOUPS 34459 WITH SCORE 34622.363
AT ITER 788 NEW BEST:: SOT 221683 SOS 163210 HAS SOPS 138644 HAS SOUS 36862 HAS SOUPS 34319 WITH SCORE 34482.21
AT ITER 789 NEW BEST:: SOT 220306 SOS 162863 HAS SOPS 138353 HAS SOUS 36744 HAS SOUPS 34018 WITH SCORE 34180.863
AT ITER 793 NEW BEST:: SOT 219878 SOS 162531 HAS SOPS 138033 HAS SOUS 36784 HAS SOUPS 34008 WITH SCORE 34170.531
AT ITER 795 NEW BEST:: SOT 219701 SOS 162464 HAS SOPS 137963 HAS SOUS 36460 HAS SOUPS 33692 WITH SCORE 33854.464
AT ITER 799 NEW BEST:: SOT 219571 SOS 162451 HAS SOPS 137861 HAS SOUS 36396 HAS SOUPS 33628 WITH SCORE 33790.451
AT ITER 802 NEW BEST:: SOT 219533 SOS 162375 HAS SOPS 137766 HAS SOUS 36396 HAS SOUPS 33609 WITH SCORE 33771.375
AT ITER 803 NEW BEST:: SOT 219384 SOS 162250 HAS SOPS 137653 HAS SOUS 36326 HAS SOUPS 33539 WITH SCORE 33701.25
AT ITER 804 NEW BEST:: SOT 219633 SOS 162513 HAS SOPS 137916 HAS SOUS 36189 HAS SOUPS 33402 WITH SCORE 33564.513
AT ITER 806 NEW BEST:: SOT 219376 SOS 162356 HAS SOPS 137801 HAS SOUS 36074 HAS SOUPS 33287 WITH SCORE 33449.356
AT ITER 809 NEW BEST:: SOT 219298 SOS 162304 HAS SOPS 137749 HAS SOUS 35983 HAS SOUPS 33196 WITH SCORE 33358.304
AT ITER 815 NEW BEST:: SOT 219234 SOS 162228 HAS SOPS 137699 HAS SOUS 35925 HAS SOUPS 33164 WITH SCORE 33326.228
AT ITER 816 NEW BEST:: SOT 219114 SOS 161663 HAS SOPS 136732 HAS SOUS 35837 HAS SOUPS 33021 WITH SCORE 33182.663
AT ITER 818 NEW BEST:: SOT 218914 SOS 161532 HAS SOPS 136609 HAS SOUS 35723 HAS SOUPS 32953 WITH SCORE 33114.532
AT ITER 820 NEW BEST:: SOT 220510 SOS 163183 HAS SOPS 138404 HAS SOUS 35297 HAS SOUPS 32527 WITH SCORE 32690.183
AT ITER 824 NEW BEST:: SOT 220350 SOS 162870 HAS SOPS 138118 HAS SOUS 35005 HAS SOUPS 32235 WITH SCORE 32397.87
AT ITER 828 NEW BEST:: SOT 220352 SOS 162915 HAS SOPS 138118 HAS SOUS 34889 HAS SOUPS 32123 WITH SCORE 32285.915
AT ITER 836 NEW BEST:: SOT 221301 SOS 162219 HAS SOPS 138077 HAS SOUS 34838 HAS SOUPS 32021 WITH SCORE 32183.219
AT ITER 837 NEW BEST:: SOT 221298 SOS 162203 HAS SOPS 138071 HAS SOUS 34832 HAS SOUPS 32015 WITH SCORE 32177.203
AT ITER 842 NEW BEST:: SOT 220902 SOS 161859 HAS SOPS 137727 HAS SOUS 34661 HAS SOUPS 31844 WITH SCORE 32005.859
AT ITER 843 NEW BEST:: SOT 220915 SOS 161833 HAS SOPS 137701 HAS SOUS 34635 HAS SOUPS 31818 WITH SCORE 31979.833
AT ITER 847 NEW BEST:: SOT 220912 SOS 161829 HAS SOPS 137696 HAS SOUS 34634 HAS SOUPS 31816 WITH SCORE 31977.829
AT ITER 855 NEW BEST:: SOT 220963 SOS 161785 HAS SOPS 137625 HAS SOUS 34658 HAS SOUPS 31813 WITH SCORE 31974.785
AT ITER 866 NEW BEST:: SOT 220678 SOS 161894 HAS SOPS 137611 HAS SOUS 34631 HAS SOUPS 31786 WITH SCORE 31947.894
AT ITER 904 NEW BEST:: SOT 220678 SOS 161844 HAS SOPS 137561 HAS SOUS 34581 HAS SOUPS 31736 WITH SCORE 31897.844
AT ITER 910 NEW BEST:: SOT 220506 SOS 161667 HAS SOPS 137384 HAS SOUS 34404 HAS SOUPS 31559 WITH SCORE 31720.667
AT ITER 915 NEW BEST:: SOT 220559 SOS 161700 HAS SOPS 137417 HAS SOUS 34400 HAS SOUPS 31555 WITH SCORE 31716.7
AT ITER 919 NEW BEST:: SOT 220722 SOS 162109 HAS SOPS 137688 HAS SOUS 34258 HAS SOUPS 31413 WITH SCORE 31575.109
AT ITER 927 NEW BEST:: SOT 220714 SOS 162101 HAS SOPS 137680 HAS SOUS 34206 HAS SOUPS 31361 WITH SCORE 31523.101
AT ITER 929 NEW BEST:: SOT 220608 SOS 161952 HAS SOPS 137574 HAS SOUS 34160 HAS SOUPS 31318 WITH SCORE 31479.952
AT ITER 935 NEW BEST:: SOT 220748 SOS 162023 HAS SOPS 137639 HAS SOUS 34087 HAS SOUPS 31245 WITH SCORE 31407.023
AT ITER 943 NEW BEST:: SOT 220748 SOS 162023 HAS SOPS 137634 HAS SOUS 34077 HAS SOUPS 31235 WITH SCORE 31397.023
AT ITER 956 NEW BEST:: SOT 220435 SOS 161735 HAS SOPS 137332 HAS SOUS 33856 HAS SOUPS 31014 WITH SCORE 31175.735
AT ITER 959 NEW BEST:: SOT 220434 SOS 161686 HAS SOPS 137282 HAS SOUS 33855 HAS SOUPS 31013 WITH SCORE 31174.686
AT ITER 965 NEW BEST:: SOT 220405 SOS 161658 HAS SOPS 137254 HAS SOUS 33828 HAS SOUPS 30986 WITH SCORE 31147.658
AT ITER 983 NEW BEST:: SOT 220125 SOS 161283 HAS SOPS 136898 HAS SOUS 33570 HAS SOUPS 30728 WITH SCORE 30889.283
AT ITER 1000 NEW BEST:: SOT 220140 SOS 161309 HAS SOPS 137089 HAS SOUS 33556 HAS SOUPS 30723 WITH SCORE 30884.309
AT ITER 1007 NEW BEST:: SOT 220127 SOS 161296 HAS SOPS 137063 HAS SOUS 33530 HAS SOUPS 30697 WITH SCORE 30858.296
AT ITER 1017 NEW BEST:: SOT 220116 SOS 161282 HAS SOPS 137053 HAS SOUS 33525 HAS SOUPS 30692 WITH SCORE 30853.282
AT ITER 1018 NEW BEST:: SOT 220116 SOS 161294 HAS SOPS 137041 HAS SOUS 33527 HAS SOUPS 30682 WITH SCORE 30843.294
AT ITER 1021 NEW BEST:: SOT 220110 SOS 161282 HAS SOPS 137032 HAS SOUS 33515 HAS SOUPS 30673 WITH SCORE 30834.282
AT ITER 1022 NEW BEST:: SOT 222157 SOS 162374 HAS SOPS 136970 HAS SOUS 33643 HAS SOUPS 30631 WITH SCORE 30793.374
AT ITER 1024 NEW BEST:: SOT 222222 SOS 162374 HAS SOPS 136720 HAS SOUS 33403 HAS SOUPS 30381 WITH SCORE 30543.374
AT ITER 1025 NEW BEST:: SOT 222213 SOS 162365 HAS SOPS 136702 HAS SOUS 33403 HAS SOUPS 30372 WITH SCORE 30534.365
AT ITER 1031 NEW BEST:: SOT 222166 SOS 162769 HAS SOPS 137020 HAS SOUS 33323 HAS SOUPS 30292 WITH SCORE 30454.769
AT ITER 1032 NEW BEST:: SOT 222163 SOS 162768 HAS SOPS 137019 HAS SOUS 33322 HAS SOUPS 30291 WITH SCORE 30453.768
AT ITER 1033 NEW BEST:: SOT 222163 SOS 162728 HAS SOPS 136979 HAS SOUS 33302 HAS SOUPS 30271 WITH SCORE 30433.728
AT ITER 1034 NEW BEST:: SOT 222163 SOS 162716 HAS SOPS 136967 HAS SOUS 33300 HAS SOUPS 30269 WITH SCORE 30431.716
AT ITER 1039 NEW BEST:: SOT 222216 SOS 162705 HAS SOPS 136956 HAS SOUS 33154 HAS SOUPS 30123 WITH SCORE 30285.705
AT ITER 1040 NEW BEST:: SOT 222192 SOS 162609 HAS SOPS 136884 HAS SOUS 33130 HAS SOUPS 30099 WITH SCORE 30261.609
AT ITER 1058 NEW BEST:: SOT 222283 SOS 162674 HAS SOPS 136949 HAS SOUS 33104 HAS SOUPS 30073 WITH SCORE 30235.674
AT ITER 1060 NEW BEST:: SOT 220939 SOS 161330 HAS SOPS 135605 HAS SOUS 32681 HAS SOUPS 29650 WITH SCORE 29811.33
AT ITER 1066 NEW BEST:: SOT 220933 SOS 161289 HAS SOPS 135564 HAS SOUS 32669 HAS SOUPS 29638 WITH SCORE 29799.289
AT ITER 1067 NEW BEST:: SOT 220867 SOS 161289 HAS SOPS 135498 HAS SOUS 32612 HAS SOUPS 29581 WITH SCORE 29742.289
AT ITER 1068 NEW BEST:: SOT 221192 SOS 161712 HAS SOPS 136755 HAS SOUS 32453 HAS SOUPS 29468 WITH SCORE 29629.712
AT ITER 1076 NEW BEST:: SOT 221085 SOS 161564 HAS SOPS 136663 HAS SOUS 32439 HAS SOUPS 29454 WITH SCORE 29615.564
AT ITER 1077 NEW BEST:: SOT 219850 SOS 161095 HAS SOPS 136595 HAS SOUS 32346 HAS SOUPS 29427 WITH SCORE 29588.095
AT ITER 1081 NEW BEST:: SOT 219676 SOS 160921 HAS SOPS 136421 HAS SOUS 32172 HAS SOUPS 29253 WITH SCORE 29413.921
AT ITER 1094 NEW BEST:: SOT 219718 SOS 160824 HAS SOPS 136324 HAS SOUS 32075 HAS SOUPS 29156 WITH SCORE 29316.824
AT ITER 1095 NEW BEST:: SOT 219700 SOS 160826 HAS SOPS 136316 HAS SOUS 32057 HAS SOUPS 29138 WITH SCORE 29298.826
AT ITER 1096 NEW BEST:: SOT 219658 SOS 160784 HAS SOPS 136274 HAS SOUS 32031 HAS SOUPS 29112 WITH SCORE 29272.784
AT ITER 1098 NEW BEST:: SOT 219398 SOS 160622 HAS SOPS 136224 HAS SOUS 31981 HAS SOUPS 29047 WITH SCORE 29207.622
AT ITER 1099 NEW BEST:: SOT 219204 SOS 160472 HAS SOPS 136052 HAS SOUS 31946 HAS SOUPS 29012 WITH SCORE 29172.472
AT ITER 1100 NEW BEST:: SOT 219206 SOS 160450 HAS SOPS 136004 HAS SOUS 31962 HAS SOUPS 29002 WITH SCORE 29162.45
AT ITER 1104 NEW BEST:: SOT 219256 SOS 160500 HAS SOPS 136054 HAS SOUS 31954 HAS SOUPS 28994 WITH SCORE 29154.5
AT ITER 1107 NEW BEST:: SOT 219221 SOS 160372 HAS SOPS 135904 HAS SOUS 31884 HAS SOUPS 28924 WITH SCORE 29084.372
AT ITER 1111 NEW BEST:: SOT 219248 SOS 160388 HAS SOPS 135920 HAS SOUS 31863 HAS SOUPS 28902 WITH SCORE 29062.388
AT ITER 1122 NEW BEST:: SOT 219284 SOS 160440 HAS SOPS 135972 HAS SOUS 31830 HAS SOUPS 28869 WITH SCORE 29029.44
AT ITER 1123 NEW BEST:: SOT 218746 SOS 160485 HAS SOPS 135944 HAS SOUS 31836 HAS SOUPS 28841 WITH SCORE 29001.485
AT ITER 1126 NEW BEST:: SOT 218725 SOS 160443 HAS SOPS 135923 HAS SOUS 31836 HAS SOUPS 28841 WITH SCORE 29001.443
AT ITER 1151 NEW BEST:: SOT 217572 SOS 162261 HAS SOPS 135800 HAS SOUS 31807 HAS SOUPS 28812 WITH SCORE 28974.261
AT ITER 1156 NEW BEST:: SOT 217571 SOS 162257 HAS SOPS 135808 HAS SOUS 31800 HAS SOUPS 28806 WITH SCORE 28968.257
AT ITER 1157 NEW BEST:: SOT 217731 SOS 162363 HAS SOPS 135966 HAS SOUS 31771 HAS SOUPS 28802 WITH SCORE 28964.363
AT ITER 1160 NEW BEST:: SOT 217709 SOS 162363 HAS SOPS 135961 HAS SOUS 31749 HAS SOUPS 28780 WITH SCORE 28942.363
AT ITER 1173 NEW BEST:: SOT 217563 SOS 162278 HAS SOPS 135791 HAS SOUS 31640 HAS SOUPS 28671 WITH SCORE 28833.278
AT ITER 1178 NEW BEST:: SOT 217511 SOS 162243 HAS SOPS 135713 HAS SOUS 31640 HAS SOUPS 28645 WITH SCORE 28807.243
AT ITER 1180 NEW BEST:: SOT 217511 SOS 162215 HAS SOPS 135692 HAS SOUS 31633 HAS SOUPS 28638 WITH SCORE 28800.215
AT ITER 1194 NEW BEST:: SOT 217526 SOS 162230 HAS SOPS 135707 HAS SOUS 31543 HAS SOUPS 28548 WITH SCORE 28710.23
AT ITER 1203 NEW BEST:: SOT 217530 SOS 162196 HAS SOPS 135677 HAS SOUS 31532 HAS SOUPS 28537 WITH SCORE 28699.196
AT ITER 1218 NEW BEST:: SOT 217488 SOS 162168 HAS SOPS 135621 HAS SOUS 31490 HAS SOUPS 28495 WITH SCORE 28657.168
AT ITER 1233 NEW BEST:: SOT 217464 SOS 162120 HAS SOPS 135561 HAS SOUS 31502 HAS SOUPS 28495 WITH SCORE 28657.12
AT ITER 1240 NEW BEST:: SOT 217386 SOS 162042 HAS SOPS 135547 HAS SOUS 31469 HAS SOUPS 28481 WITH SCORE 28643.042
AT ITER 1243 NEW BEST:: SOT 217378 SOS 162034 HAS SOPS 135531 HAS SOUS 31405 HAS SOUPS 28417 WITH SCORE 28579.034
AT ITER 1269 NEW BEST:: SOT 217378 SOS 161994 HAS SOPS 135521 HAS SOUS 31385 HAS SOUPS 28407 WITH SCORE 28568.994
AT ITER 1272 NEW BEST:: SOT 217118 SOS 161474 HAS SOPS 135124 HAS SOUS 31331 HAS SOUPS 28353 WITH SCORE 28514.474
AT ITER 1288 NEW BEST:: SOT 217195 SOS 161441 HAS SOPS 135117 HAS SOUS 31324 HAS SOUPS 28352 WITH SCORE 28513.441
AT ITER 1289 NEW BEST:: SOT 216811 SOS 161057 HAS SOPS 134733 HAS SOUS 31246 HAS SOUPS 28274 WITH SCORE 28435.057
AT ITER 1290 NEW BEST:: SOT 216351 SOS 160509 HAS SOPS 134268 HAS SOUS 30540 HAS SOUPS 27609 WITH SCORE 27769.509
AT ITER 1299 NEW BEST:: SOT 216460 SOS 160362 HAS SOPS 134181 HAS SOUS 30197 HAS SOUPS 27327 WITH SCORE 27487.362
AT ITER 1305 NEW BEST:: SOT 216408 SOS 160286 HAS SOPS 134105 HAS SOUS 30143 HAS SOUPS 27273 WITH SCORE 27433.286
AT ITER 1308 NEW BEST:: SOT 216382 SOS 160260 HAS SOPS 134053 HAS SOUS 30104 HAS SOUPS 27221 WITH SCORE 27381.26
AT ITER 1328 NEW BEST:: SOT 216384 SOS 160256 HAS SOPS 134049 HAS SOUS 30100 HAS SOUPS 27217 WITH SCORE 27377.256
AT ITER 1329 NEW BEST:: SOT 216375 SOS 160247 HAS SOPS 134045 HAS SOUS 30082 HAS SOUPS 27199 WITH SCORE 27359.247
AT ITER 1331 NEW BEST:: SOT 216409 SOS 160272 HAS SOPS 134045 HAS SOUS 30048 HAS SOUPS 27165 WITH SCORE 27325.272
AT ITER 1332 NEW BEST:: SOT 216441 SOS 149068 HAS SOPS 119098 HAS SOUS 30004 HAS SOUPS 27096 WITH SCORE 27245.068
AT ITER 1337 NEW BEST:: SOT 216607 SOS 149234 HAS SOPS 119242 HAS SOUS 30025 HAS SOUPS 27085 WITH SCORE 27234.234
AT ITER 1345 NEW BEST:: SOT 216752 SOS 149264 HAS SOPS 119337 HAS SOUS 29950 HAS SOUPS 27075 WITH SCORE 27224.264
AT ITER 1348 NEW BEST:: SOT 216798 SOS 149185 HAS SOPS 119301 HAS SOUS 29928 HAS SOUPS 27062 WITH SCORE 27211.185
AT ITER 1370 NEW BEST:: SOT 216762 SOS 149221 HAS SOPS 119301 HAS SOUS 29892 HAS SOUPS 27026 WITH SCORE 27175.221
AT ITER 1376 NEW BEST:: SOT 215352 SOS 147893 HAS SOPS 119080 HAS SOUS 29485 HAS SOUPS 26805 WITH SCORE 26952.893
AT ITER 1381 NEW BEST:: SOT 215370 SOS 147786 HAS SOPS 118990 HAS SOUS 29485 HAS SOUPS 26805 WITH SCORE 26952.786
AT ITER 1382 NEW BEST:: SOT 215366 SOS 147778 HAS SOPS 118984 HAS SOUS 29477 HAS SOUPS 26797 WITH SCORE 26944.778
AT ITER 1413 NEW BEST:: SOT 215362 SOS 147772 HAS SOPS 118976 HAS SOUS 29465 HAS SOUPS 26785 WITH SCORE 26932.772
AT ITER 1420 NEW BEST:: SOT 215349 SOS 147733 HAS SOPS 118950 HAS SOUS 29448 HAS SOUPS 26781 WITH SCORE 26928.733
AT ITER 1422 NEW BEST:: SOT 215339 SOS 147737 HAS SOPS 118948 HAS SOUS 29444 HAS SOUPS 26777 WITH SCORE 26924.737
AT ITER 1423 NEW BEST:: SOT 215339 SOS 147737 HAS SOPS 118948 HAS SOUS 29434 HAS SOUPS 26767 WITH SCORE 26914.737
AT ITER 1426 NEW BEST:: SOT 215329 SOS 147727 HAS SOPS 118938 HAS SOUS 29424 HAS SOUPS 26757 WITH SCORE 26904.727
AT ITER 1466 NEW BEST:: SOT 215329 SOS 147648 HAS SOPS 118878 HAS SOUS 29426 HAS SOUPS 26757 WITH SCORE 26904.648
AT ITER 1485 NEW BEST:: SOT 215344 SOS 147618 HAS SOPS 118848 HAS SOUS 29381 HAS SOUPS 26712 WITH SCORE 26859.618
AT ITER 1487 NEW BEST:: SOT 215330 SOS 147620 HAS SOPS 118838 HAS SOUS 29389 HAS SOUPS 26709 WITH SCORE 26856.62
AT ITER 1507 NEW BEST:: SOT 215289 SOS 147186 HAS SOPS 118192 HAS SOUS 29354 HAS SOUPS 26670 WITH SCORE 26817.186
AT ITER 1515 NEW BEST:: SOT 215163 SOS 147060 HAS SOPS 118066 HAS SOUS 29344 HAS SOUPS 26660 WITH SCORE 26807.06
AT ITER 1520 NEW BEST:: SOT 215151 SOS 146893 HAS SOPS 117873 HAS SOUS 29351 HAS SOUPS 26654 WITH SCORE 26800.893
AT ITER 1528 NEW BEST:: SOT 215138 SOS 146965 HAS SOPS 117802 HAS SOUS 29366 HAS SOUPS 26624 WITH SCORE 26770.965
AT ITER 1561 NEW BEST:: SOT 215105 SOS 146899 HAS SOPS 117657 HAS SOUS 29366 HAS SOUPS 26545 WITH SCORE 26691.899
AT ITER 1568 NEW BEST:: SOT 214944 SOS 146750 HAS SOPS 117419 HAS SOUS 29144 HAS SOUPS 26323 WITH SCORE 26469.75
AT ITER 1582 NEW BEST:: SOT 214925 SOS 146717 HAS SOPS 117388 HAS SOUS 29127 HAS SOUPS 26306 WITH SCORE 26452.717
AT ITER 1584 NEW BEST:: SOT 214925 SOS 146717 HAS SOPS 117370 HAS SOUS 29094 HAS SOUPS 26260 WITH SCORE 26406.717
AT ITER 1586 NEW BEST:: SOT 214683 SOS 146506 HAS SOPS 116803 HAS SOUS 28971 HAS SOUPS 26107 WITH SCORE 26253.506
AT ITER 1602 NEW BEST:: SOT 214704 SOS 146473 HAS SOPS 116741 HAS SOUS 28911 HAS SOUPS 26047 WITH SCORE 26193.473
AT ITER 1610 NEW BEST:: SOT 214252 SOS 147691 HAS SOPS 116663 HAS SOUS 28974 HAS SOUPS 25969 WITH SCORE 26116.691
AT ITER 1613 NEW BEST:: SOT 214329 SOS 142873 HAS SOPS 106894 HAS SOUS 29040 HAS SOUPS 25909 WITH SCORE 26051.873
AT ITER 1620 NEW BEST:: SOT 214272 SOS 142835 HAS SOPS 106856 HAS SOUS 29021 HAS SOUPS 25890 WITH SCORE 26032.835
AT ITER 1631 NEW BEST:: SOT 214217 SOS 142736 HAS SOPS 106757 HAS SOUS 28955 HAS SOUPS 25824 WITH SCORE 25966.736
AT ITER 1639 NEW BEST:: SOT 214040 SOS 142559 HAS SOPS 106577 HAS SOUS 28940 HAS SOUPS 25809 WITH SCORE 25951.559
AT ITER 1651 NEW BEST:: SOT 214048 SOS 142467 HAS SOPS 106485 HAS SOUS 28905 HAS SOUPS 25774 WITH SCORE 25916.467
AT ITER 1659 NEW BEST:: SOT 214275 SOS 141421 HAS SOPS 106748 HAS SOUS 28737 HAS SOUPS 25747 WITH SCORE 25888.421
AT ITER 1661 NEW BEST:: SOT 214263 SOS 141409 HAS SOPS 106732 HAS SOUS 28697 HAS SOUPS 25707 WITH SCORE 25848.409
AT ITER 1667 NEW BEST:: SOT 214289 SOS 141422 HAS SOPS 106856 HAS SOUS 28671 HAS SOUPS 25681 WITH SCORE 25822.422
AT ITER 1685 NEW BEST:: SOT 214382 SOS 141359 HAS SOPS 106838 HAS SOUS 28656 HAS SOUPS 25666 WITH SCORE 25807.359
AT ITER 1688 NEW BEST:: SOT 213734 SOS 140698 HAS SOPS 106177 HAS SOUS 28611 HAS SOUPS 25621 WITH SCORE 25761.698
AT ITER 1707 NEW BEST:: SOT 213708 SOS 140684 HAS SOPS 106163 HAS SOUS 28587 HAS SOUPS 25597 WITH SCORE 25737.684
AT ITER 1714 NEW BEST:: SOT 213578 SOS 141574 HAS SOPS 106113 HAS SOUS 28567 HAS SOUPS 25567 WITH SCORE 25708.574
AT ITER 1719 NEW BEST:: SOT 213402 SOS 141474 HAS SOPS 105979 HAS SOUS 28524 HAS SOUPS 25542 WITH SCORE 25683.474
AT ITER 1729 NEW BEST:: SOT 213485 SOS 141421 HAS SOPS 106020 HAS SOUS 28478 HAS SOUPS 25496 WITH SCORE 25637.421
AT ITER 1742 NEW BEST:: SOT 213401 SOS 140770 HAS SOPS 104670 HAS SOUS 28449 HAS SOUPS 25445 WITH SCORE 25585.77
AT ITER 1743 NEW BEST:: SOT 213421 SOS 140724 HAS SOPS 105189 HAS SOUS 28442 HAS SOUPS 25445 WITH SCORE 25585.724
AT ITER 1754 NEW BEST:: SOT 213396 SOS 140674 HAS SOPS 105139 HAS SOUS 28372 HAS SOUPS 25375 WITH SCORE 25515.674
AT ITER 1755 NEW BEST:: SOT 213391 SOS 140698 HAS SOPS 105129 HAS SOUS 28323 HAS SOUPS 25326 WITH SCORE 25466.698
AT ITER 1784 NEW BEST:: SOT 213390 SOS 140696 HAS SOPS 105127 HAS SOUS 28323 HAS SOUPS 25326 WITH SCORE 25466.696
AT ITER 1793 NEW BEST:: SOT 213372 SOS 140651 HAS SOPS 105100 HAS SOUS 28305 HAS SOUPS 25317 WITH SCORE 25457.651
AT ITER 1801 NEW BEST:: SOT 213369 SOS 140624 HAS SOPS 105073 HAS SOUS 28293 HAS SOUPS 25305 WITH SCORE 25445.624
AT ITER 1802 NEW BEST:: SOT 213367 SOS 140561 HAS SOPS 105010 HAS SOUS 28214 HAS SOUPS 25226 WITH SCORE 25366.561
AT ITER 1830 NEW BEST:: SOT 213379 SOS 140541 HAS SOPS 104990 HAS SOUS 28210 HAS SOUPS 25222 WITH SCORE 25362.541
AT ITER 1834 NEW BEST:: SOT 213422 SOS 128886 HAS SOPS 73853 HAS SOUS 27721 HAS SOUPS 23341 WITH SCORE 23469.886
AT ITER 1843 NEW BEST:: SOT 213406 SOS 128891 HAS SOPS 73848 HAS SOUS 27706 HAS SOUPS 23326 WITH SCORE 23454.891
AT ITER 1850 NEW BEST:: SOT 213224 SOS 128974 HAS SOPS 73792 HAS SOUS 27678 HAS SOUPS 23284 WITH SCORE 23412.974
AT ITER 1874 NEW BEST:: SOT 212028 SOS 133458 HAS SOPS 73454 HAS SOUS 27630 HAS SOUPS 23163 WITH SCORE 23296.458
AT ITER 1881 NEW BEST:: SOT 212697 SOS 129343 HAS SOPS 73510 HAS SOUS 27566 HAS SOUPS 23155 WITH SCORE 23284.343
AT ITER 1907 NEW BEST:: SOT 212681 SOS 129327 HAS SOPS 73507 HAS SOUS 27389 HAS SOUPS 22978 WITH SCORE 23107.327
AT ITER 1925 NEW BEST:: SOT 212676 SOS 129180 HAS SOPS 73360 HAS SOUS 27310 HAS SOUPS 22899 WITH SCORE 23028.18
AT ITER 1946 NEW BEST:: SOT 212676 SOS 129176 HAS SOPS 73356 HAS SOUS 27308 HAS SOUPS 22897 WITH SCORE 23026.176
AT ITER 1950 NEW BEST:: SOT 212651 SOS 129091 HAS SOPS 73271 HAS SOUS 27291 HAS SOUPS 22880 WITH SCORE 23009.091
AT ITER 1952 NEW BEST:: SOT 212293 SOS 128922 HAS SOPS 73014 HAS SOUS 27292 HAS SOUPS 22754 WITH SCORE 22882.922
AT ITER 1954 NEW BEST:: SOT 212260 SOS 128881 HAS SOPS 72944 HAS SOUS 27250 HAS SOUPS 22699 WITH SCORE 22827.881
AT ITER 1980 NEW BEST:: SOT 212198 SOS 127791 HAS SOPS 64797 HAS SOUS 27147 HAS SOUPS 21877 WITH SCORE 22004.791
AT ITER 1989 NEW BEST:: SOT 212197 SOS 127793 HAS SOPS 64799 HAS SOUS 27142 HAS SOUPS 21868 WITH SCORE 21995.793
AT ITER 1997 NEW BEST:: SOT 212120 SOS 127731 HAS SOPS 64689 HAS SOUS 27062 HAS SOUPS 21788 WITH SCORE 21915.731
AT ITER 1998 NEW BEST:: SOT 212120 SOS 127725 HAS SOPS 64685 HAS SOUS 27062 HAS SOUPS 21788 WITH SCORE 21915.725
AT ITER 2000 NEW BEST:: SOT 212392 SOS 127906 HAS SOPS 64782 HAS SOUS 27036 HAS SOUPS 21727 WITH SCORE 21854.906
AT ITER 2017 NEW BEST:: SOT 212396 SOS 127869 HAS SOPS 64763 HAS SOUS 27011 HAS SOUPS 21711 WITH SCORE 21838.869
AT ITER 2023 NEW BEST:: SOT 212402 SOS 127849 HAS SOPS 64743 HAS SOUS 26990 HAS SOUPS 21690 WITH SCORE 21817.849
AT ITER 2060 NEW BEST:: SOT 212375 SOS 127800 HAS SOPS 64694 HAS SOUS 26941 HAS SOUPS 21641 WITH SCORE 21768.8
AT ITER 2063 NEW BEST:: SOT 212390 SOS 127814 HAS SOPS 64663 HAS SOUS 26910 HAS SOUPS 21610 WITH SCORE 21737.814
AT ITER 2070 NEW BEST:: SOT 212362 SOS 127758 HAS SOPS 64607 HAS SOUS 26896 HAS SOUPS 21596 WITH SCORE 21723.758
AT ITER 2082 NEW BEST:: SOT 212348 SOS 127860 HAS SOPS 64579 HAS SOUS 27012 HAS SOUPS 21582 WITH SCORE 21709.86
AT ITER 2091 NEW BEST:: SOT 212280 SOS 127826 HAS SOPS 64494 HAS SOUS 26927 HAS SOUPS 21497 WITH SCORE 21624.826
AT ITER 2109 NEW BEST:: SOT 212321 SOS 127762 HAS SOPS 64453 HAS SOUS 26881 HAS SOUPS 21451 WITH SCORE 21578.762
AT ITER 2112 NEW BEST:: SOT 212151 SOS 127592 HAS SOPS 64218 HAS SOUS 26940 HAS SOUPS 21447 WITH SCORE 21574.592
AT ITER 2131 NEW BEST:: SOT 212122 SOS 127563 HAS SOPS 64160 HAS SOUS 26906 HAS SOUPS 21413 WITH SCORE 21540.563
AT ITER 2136 NEW BEST:: SOT 212119 SOS 127542 HAS SOPS 64115 HAS SOUS 26897 HAS SOUPS 21401 WITH SCORE 21528.542
AT ITER 2137 NEW BEST:: SOT 212088 SOS 127458 HAS SOPS 64053 HAS SOUS 26792 HAS SOUPS 21319 WITH SCORE 21446.458
AT ITER 2140 NEW BEST:: SOT 212056 SOS 127426 HAS SOPS 64021 HAS SOUS 26774 HAS SOUPS 21301 WITH SCORE 21428.426
AT ITER 2146 NEW BEST:: SOT 212056 SOS 127328 HAS SOPS 64035 HAS SOUS 26746 HAS SOUPS 21287 WITH SCORE 21414.328
AT ITER 2152 NEW BEST:: SOT 212045 SOS 127295 HAS SOPS 64013 HAS SOUS 26702 HAS SOUPS 21265 WITH SCORE 21392.295
AT ITER 2156 NEW BEST:: SOT 212045 SOS 127260 HAS SOPS 64013 HAS SOUS 26701 HAS SOUPS 21230 WITH SCORE 21357.26
AT ITER 2171 NEW BEST:: SOT 212022 SOS 127442 HAS SOPS 64011 HAS SOUS 26722 HAS SOUPS 21228 WITH SCORE 21355.442
AT ITER 2174 NEW BEST:: SOT 212087 SOS 127588 HAS SOPS 64003 HAS SOUS 26703 HAS SOUPS 21219 WITH SCORE 21346.588
AT ITER 2182 NEW BEST:: SOT 212081 SOS 127582 HAS SOPS 63991 HAS SOUS 26697 HAS SOUPS 21207 WITH SCORE 21334.582
AT ITER 2183 NEW BEST:: SOT 212097 SOS 127614 HAS SOPS 64023 HAS SOUS 26695 HAS SOUPS 21205 WITH SCORE 21332.614
AT ITER 2198 NEW BEST:: SOT 212020 SOS 127565 HAS SOPS 63969 HAS SOUS 26690 HAS SOUPS 21200 WITH SCORE 21327.565
AT ITER 2202 NEW BEST:: SOT 212014 SOS 127560 HAS SOPS 63964 HAS SOUS 26686 HAS SOUPS 21196 WITH SCORE 21323.56
AT ITER 2206 NEW BEST:: SOT 211564 SOS 127856 HAS SOPS 63981 HAS SOUS 26704 HAS SOUPS 21161 WITH SCORE 21288.856
AT ITER 2222 NEW BEST:: SOT 211560 SOS 127828 HAS SOPS 63965 HAS SOUS 26700 HAS SOUPS 21157 WITH SCORE 21284.828
AT ITER 2263 NEW BEST:: SOT 211537 SOS 127805 HAS SOPS 63919 HAS SOUS 26666 HAS SOUPS 21111 WITH SCORE 21238.805
AT ITER 2264 NEW BEST:: SOT 211446 SOS 127714 HAS SOPS 63812 HAS SOUS 26581 HAS SOUPS 21025 WITH SCORE 21152.714
AT ITER 2265 NEW BEST:: SOT 211682 SOS 127532 HAS SOPS 63700 HAS SOUS 26350 HAS SOUPS 20808 WITH SCORE 20935.532
AT ITER 2287 NEW BEST:: SOT 211594 SOS 127455 HAS SOPS 63623 HAS SOUS 26302 HAS SOUPS 20760 WITH SCORE 20887.455
AT ITER 2297 NEW BEST:: SOT 211605 SOS 127453 HAS SOPS 63615 HAS SOUS 26295 HAS SOUPS 20756 WITH SCORE 20883.453
AT ITER 2298 NEW BEST:: SOT 210943 SOS 130361 HAS SOPS 63473 HAS SOUS 26412 HAS SOUPS 20746 WITH SCORE 20876.361
AT ITER 2302 NEW BEST:: SOT 210921 SOS 130401 HAS SOPS 63090 HAS SOUS 26470 HAS SOUPS 20742 WITH SCORE 20872.401
AT ITER 2309 NEW BEST:: SOT 210929 SOS 130391 HAS SOPS 63100 HAS SOUS 26468 HAS SOUPS 20740 WITH SCORE 20870.391
AT ITER 2318 NEW BEST:: SOT 210565 SOS 130027 HAS SOPS 62736 HAS SOUS 26444 HAS SOUPS 20716 WITH SCORE 20846.027
AT ITER 2335 NEW BEST:: SOT 210571 SOS 130033 HAS SOPS 62748 HAS SOUS 26422 HAS SOUPS 20694 WITH SCORE 20824.033
AT ITER 2339 NEW BEST:: SOT 210570 SOS 130033 HAS SOPS 62745 HAS SOUS 26421 HAS SOUPS 20693 WITH SCORE 20823.033
AT ITER 2351 NEW BEST:: SOT 210591 SOS 130000 HAS SOPS 63062 HAS SOUS 26413 HAS SOUPS 20685 WITH SCORE 20815.0
AT ITER 2354 NEW BEST:: SOT 210548 SOS 129802 HAS SOPS 62992 HAS SOUS 26330 HAS SOUPS 20618 WITH SCORE 20747.802
AT ITER 2363 NEW BEST:: SOT 210570 SOS 129664 HAS SOPS 62992 HAS SOUS 26324 HAS SOUPS 20616 WITH SCORE 20745.664
AT ITER 2367 NEW BEST:: SOT 210601 SOS 129788 HAS SOPS 63116 HAS SOUS 26231 HAS SOUPS 20523 WITH SCORE 20652.788
AT ITER 2372 NEW BEST:: SOT 210601 SOS 129768 HAS SOPS 62867 HAS SOUS 26231 HAS SOUPS 20523 WITH SCORE 20652.768
AT ITER 2378 NEW BEST:: SOT 209210 SOS 128559 HAS SOPS 62867 HAS SOUS 26078 HAS SOUPS 20486 WITH SCORE 20614.559
AT ITER 2379 NEW BEST:: SOT 209257 SOS 128591 HAS SOPS 62884 HAS SOUS 26016 HAS SOUPS 20414 WITH SCORE 20542.591
AT ITER 2384 NEW BEST:: SOT 210147 SOS 123059 HAS SOPS 62876 HAS SOUS 25911 HAS SOUPS 20406 WITH SCORE 20529.059
AT ITER 2396 NEW BEST:: SOT 211995 SOS 123630 HAS SOPS 62891 HAS SOUS 25955 HAS SOUPS 20401 WITH SCORE 20524.63
AT ITER 2419 NEW BEST:: SOT 212037 SOS 123669 HAS SOPS 62930 HAS SOUS 25953 HAS SOUPS 20399 WITH SCORE 20522.669
AT ITER 2424 NEW BEST:: SOT 212013 SOS 123689 HAS SOPS 62994 HAS SOUS 25940 HAS SOUPS 20391 WITH SCORE 20514.689
AT ITER 2428 NEW BEST:: SOT 211915 SOS 123694 HAS SOPS 62206 HAS SOUS 25911 HAS SOUPS 20362 WITH SCORE 20485.694
AT ITER 2432 NEW BEST:: SOT 211946 SOS 123725 HAS SOPS 62238 HAS SOUS 25901 HAS SOUPS 20352 WITH SCORE 20475.725
AT ITER 2443 NEW BEST:: SOT 211929 SOS 123825 HAS SOPS 63107 HAS SOUS 25866 HAS SOUPS 20317 WITH SCORE 20440.825
AT ITER 2455 NEW BEST:: SOT 211929 SOS 123818 HAS SOPS 63108 HAS SOUS 25864 HAS SOUPS 20316 WITH SCORE 20439.818
AT ITER 2461 NEW BEST:: SOT 210794 SOS 122900 HAS SOPS 55036 HAS SOUS 25716 HAS SOUPS 19380 WITH SCORE 19502.9
AT ITER 2532 NEW BEST:: SOT 210558 SOS 122977 HAS SOPS 55041 HAS SOUS 25695 HAS SOUPS 19314 WITH SCORE 19436.977
AT ITER 2553 NEW BEST:: SOT 210615 SOS 122641 HAS SOPS 55035 HAS SOUS 25686 HAS SOUPS 19311 WITH SCORE 19433.641
AT ITER 2558 NEW BEST:: SOT 209874 SOS 122259 HAS SOPS 55029 HAS SOUS 25680 HAS SOUPS 19305 WITH SCORE 19427.259
AT ITER 2568 NEW BEST:: SOT 209849 SOS 122234 HAS SOPS 55348 HAS SOUS 25680 HAS SOUPS 19305 WITH SCORE 19427.234
AT ITER 2572 NEW BEST:: SOT 209835 SOS 122206 HAS SOPS 55311 HAS SOUS 25634 HAS SOUPS 19268 WITH SCORE 19390.206
AT ITER 2579 NEW BEST:: SOT 209728 SOS 122277 HAS SOPS 55198 HAS SOUS 25519 HAS SOUPS 19153 WITH SCORE 19275.277
AT ITER 2609 NEW BEST:: SOT 209724 SOS 122405 HAS SOPS 55080 HAS SOUS 25555 HAS SOUPS 19102 WITH SCORE 19224.405
AT ITER 2620 NEW BEST:: SOT 209694 SOS 122381 HAS SOPS 55050 HAS SOUS 25555 HAS SOUPS 19096 WITH SCORE 19218.381
AT ITER 2628 NEW BEST:: SOT 209686 SOS 122385 HAS SOPS 55054 HAS SOUS 25553 HAS SOUPS 19094 WITH SCORE 19216.385
AT ITER 2639 NEW BEST:: SOT 209702 SOS 121927 HAS SOPS 54644 HAS SOUS 25517 HAS SOUPS 19058 WITH SCORE 19179.927
AT ITER 2642 NEW BEST:: SOT 209705 SOS 121906 HAS SOPS 54623 HAS SOUS 25511 HAS SOUPS 19052 WITH SCORE 19173.906
AT ITER 2644 NEW BEST:: SOT 210071 SOS 120276 HAS SOPS 54629 HAS SOUS 25412 HAS SOUPS 19048 WITH SCORE 19168.276
AT ITER 2646 NEW BEST:: SOT 210067 SOS 120296 HAS SOPS 54504 HAS SOUS 25408 HAS SOUPS 19044 WITH SCORE 19164.296
AT ITER 2661 NEW BEST:: SOT 210197 SOS 119966 HAS SOPS 54504 HAS SOUS 25408 HAS SOUPS 19044 WITH SCORE 19163.966
AT ITER 2664 NEW BEST:: SOT 210195 SOS 119963 HAS SOPS 54501 HAS SOUS 25404 HAS SOUPS 19040 WITH SCORE 19159.963
AT ITER 2687 NEW BEST:: SOT 210213 SOS 119493 HAS SOPS 54399 HAS SOUS 25287 HAS SOUPS 18969 WITH SCORE 19088.493
AT ITER 2698 NEW BEST:: SOT 210169 SOS 119920 HAS SOPS 54371 HAS SOUS 25280 HAS SOUPS 18957 WITH SCORE 19076.92
AT ITER 2712 NEW BEST:: SOT 210110 SOS 119928 HAS SOPS 53804 HAS SOUS 25221 HAS SOUPS 18898 WITH SCORE 19017.928
AT ITER 2734 NEW BEST:: SOT 210135 SOS 119953 HAS SOPS 53868 HAS SOUS 25013 HAS SOUPS 18703 WITH SCORE 18822.953
AT ITER 2743 NEW BEST:: SOT 210180 SOS 119903 HAS SOPS 53818 HAS SOUS 24988 HAS SOUPS 18678 WITH SCORE 18797.903
AT ITER 2755 NEW BEST:: SOT 210157 SOS 119880 HAS SOPS 53772 HAS SOUS 24942 HAS SOUPS 18632 WITH SCORE 18751.88
AT ITER 2767 NEW BEST:: SOT 210015 SOS 120400 HAS SOPS 53746 HAS SOUS 24967 HAS SOUPS 18617 WITH SCORE 18737.4
AT ITER 2781 NEW BEST:: SOT 210001 SOS 120644 HAS SOPS 53718 HAS SOUS 24987 HAS SOUPS 18609 WITH SCORE 18729.644
AT ITER 2816 NEW BEST:: SOT 209859 SOS 120664 HAS SOPS 53226 HAS SOUS 25035 HAS SOUPS 18606 WITH SCORE 18726.664
AT ITER 2824 NEW BEST:: SOT 209849 SOS 120654 HAS SOPS 53190 HAS SOUS 25025 HAS SOUPS 18594 WITH SCORE 18714.654
AT ITER 2825 NEW BEST:: SOT 210029 SOS 120721 HAS SOPS 53257 HAS SOUS 24995 HAS SOUPS 18564 WITH SCORE 18684.721
AT ITER 2834 NEW BEST:: SOT 210024 SOS 120716 HAS SOPS 53247 HAS SOUS 24993 HAS SOUPS 18554 WITH SCORE 18674.716
AT ITER 2842 NEW BEST:: SOT 209717 SOS 120618 HAS SOPS 53245 HAS SOUS 24998 HAS SOUPS 18553 WITH SCORE 18673.618
AT ITER 2848 NEW BEST:: SOT 209710 SOS 120643 HAS SOPS 53231 HAS SOUS 24987 HAS SOUPS 18542 WITH SCORE 18662.643
AT ITER 2863 NEW BEST:: SOT 209699 SOS 120555 HAS SOPS 53231 HAS SOUS 24965 HAS SOUPS 18531 WITH SCORE 18651.555
AT ITER 2910 NEW BEST:: SOT 209533 SOS 120437 HAS SOPS 53043 HAS SOUS 24873 HAS SOUPS 18439 WITH SCORE 18559.437
AT ITER 2918 NEW BEST:: SOT 208956 SOS 119860 HAS SOPS 52466 HAS SOUS 24871 HAS SOUPS 18437 WITH SCORE 18556.86
AT ITER 2930 NEW BEST:: SOT 208914 SOS 119847 HAS SOPS 52453 HAS SOUS 24820 HAS SOUPS 18386 WITH SCORE 18505.847
AT ITER 2932 NEW BEST:: SOT 208972 SOS 119885 HAS SOPS 52491 HAS SOUS 24780 HAS SOUPS 18346 WITH SCORE 18465.885
AT ITER 2948 NEW BEST:: SOT 208974 SOS 119873 HAS SOPS 52481 HAS SOUS 24778 HAS SOUPS 18344 WITH SCORE 18463.873
AT ITER 2953 NEW BEST:: SOT 208924 SOS 119823 HAS SOPS 52381 HAS SOUS 24678 HAS SOUPS 18244 WITH SCORE 18363.823
AT ITER 2968 NEW BEST:: SOT 208910 SOS 119831 HAS SOPS 52389 HAS SOUS 24677 HAS SOUPS 18243 WITH SCORE 18362.831
AT ITER 2978 NEW BEST:: SOT 208994 SOS 119355 HAS SOPS 52333 HAS SOUS 24608 HAS SOUPS 18204 WITH SCORE 18323.355
AT ITER 2991 NEW BEST:: SOT 208991 SOS 119352 HAS SOPS 52327 HAS SOUS 24637 HAS SOUPS 18198 WITH SCORE 18317.352
AT ITER 3022 NEW BEST:: SOT 208984 SOS 119001 HAS SOPS 52324 HAS SOUS 24623 HAS SOUPS 18195 WITH SCORE 18314.001
AT ITER 3024 NEW BEST:: SOT 208976 SOS 118993 HAS SOPS 52308 HAS SOUS 24614 HAS SOUPS 18179 WITH SCORE 18297.993
AT ITER 3047 NEW BEST:: SOT 208942 SOS 118959 HAS SOPS 52240 HAS SOUS 24546 HAS SOUPS 18111 WITH SCORE 18229.959
AT ITER 3063 NEW BEST:: SOT 208937 SOS 119263 HAS SOPS 52352 HAS SOUS 24544 HAS SOUPS 18110 WITH SCORE 18229.263
AT ITER 3097 NEW BEST:: SOT 208956 SOS 119282 HAS SOPS 52361 HAS SOUS 24532 HAS SOUPS 18098 WITH SCORE 18217.282
AT ITER 3110 NEW BEST:: SOT 208921 SOS 119195 HAS SOPS 52291 HAS SOUS 24462 HAS SOUPS 18028 WITH SCORE 18147.195
AT ITER 3112 NEW BEST:: SOT 208795 SOS 119010 HAS SOPS 52106 HAS SOUS 24438 HAS SOUPS 18004 WITH SCORE 18123.01
AT ITER 3120 NEW BEST:: SOT 208780 SOS 119033 HAS SOPS 52110 HAS SOUS 24423 HAS SOUPS 17989 WITH SCORE 18108.033
AT ITER 3124 NEW BEST:: SOT 208755 SOS 119025 HAS SOPS 52088 HAS SOUS 24404 HAS SOUPS 17970 WITH SCORE 18089.025
AT ITER 3130 NEW BEST:: SOT 208755 SOS 119025 HAS SOPS 52068 HAS SOUS 24384 HAS SOUPS 17950 WITH SCORE 18069.025
AT ITER 3140 NEW BEST:: SOT 208743 SOS 118995 HAS SOPS 52038 HAS SOUS 24366 HAS SOUPS 17932 WITH SCORE 18050.995
AT ITER 3156 NEW BEST:: SOT 208737 SOS 118989 HAS SOPS 52032 HAS SOUS 24360 HAS SOUPS 17926 WITH SCORE 18044.989
AT ITER 3180 NEW BEST:: SOT 208731 SOS 118977 HAS SOPS 52018 HAS SOUS 24382 HAS SOUPS 17926 WITH SCORE 18044.977
AT ITER 3185 NEW BEST:: SOT 208741 SOS 118982 HAS SOPS 52023 HAS SOUS 24377 HAS SOUPS 17916 WITH SCORE 18034.982
AT ITER 3250 NEW BEST:: SOT 208727 SOS 118951 HAS SOPS 51988 HAS SOUS 24338 HAS SOUPS 17877 WITH SCORE 17995.951
AT ITER 3253 NEW BEST:: SOT 208655 SOS 118901 HAS SOPS 51938 HAS SOUS 24316 HAS SOUPS 17850 WITH SCORE 17968.901
AT ITER 3259 NEW BEST:: SOT 208695 SOS 118852 HAS SOPS 51889 HAS SOUS 24312 HAS SOUPS 17846 WITH SCORE 17964.852
AT ITER 3268 NEW BEST:: SOT 208732 SOS 118889 HAS SOPS 51926 HAS SOUS 24279 HAS SOUPS 17813 WITH SCORE 17931.889
AT ITER 3270 NEW BEST:: SOT 208728 SOS 118891 HAS SOPS 51928 HAS SOUS 24276 HAS SOUPS 17810 WITH SCORE 17928.891
AT ITER 3279 NEW BEST:: SOT 208725 SOS 118996 HAS SOPS 51927 HAS SOUS 24275 HAS SOUPS 17809 WITH SCORE 17927.996
AT ITER 3282 NEW BEST:: SOT 208674 SOS 118979 HAS SOPS 52046 HAS SOUS 24241 HAS SOUPS 17792 WITH SCORE 17910.979
AT ITER 3292 NEW BEST:: SOT 208634 SOS 119013 HAS SOPS 52004 HAS SOUS 24259 HAS SOUPS 17772 WITH SCORE 17891.013
AT ITER 3315 NEW BEST:: SOT 208662 SOS 118981 HAS SOPS 51972 HAS SOUS 24246 HAS SOUPS 17759 WITH SCORE 17877.981
AT ITER 3320 NEW BEST:: SOT 208702 SOS 119028 HAS SOPS 52019 HAS SOUS 24219 HAS SOUPS 17732 WITH SCORE 17851.028
AT ITER 3321 NEW BEST:: SOT 208708 SOS 118986 HAS SOPS 51977 HAS SOUS 24207 HAS SOUPS 17720 WITH SCORE 17838.986
AT ITER 3323 NEW BEST:: SOT 208704 SOS 118962 HAS SOPS 51969 HAS SOUS 24201 HAS SOUPS 17716 WITH SCORE 17834.962
AT ITER 3327 NEW BEST:: SOT 208646 SOS 118966 HAS SOPS 51913 HAS SOUS 24191 HAS SOUPS 17706 WITH SCORE 17824.966
AT ITER 3332 NEW BEST:: SOT 208639 SOS 118931 HAS SOPS 51976 HAS SOUS 24177 HAS SOUPS 17692 WITH SCORE 17810.931
AT ITER 3347 NEW BEST:: SOT 208549 SOS 118841 HAS SOPS 51886 HAS SOUS 24177 HAS SOUPS 17692 WITH SCORE 17810.841
AT ITER 3349 NEW BEST:: SOT 208472 SOS 119184 HAS SOPS 51988 HAS SOUS 24201 HAS SOUPS 17684 WITH SCORE 17803.184
AT ITER 3375 NEW BEST:: SOT 208472 SOS 119249 HAS SOPS 51416 HAS SOUS 24198 HAS SOUPS 17681 WITH SCORE 17800.249
AT ITER 3394 NEW BEST:: SOT 208158 SOS 120125 HAS SOPS 51362 HAS SOUS 24259 HAS SOUPS 17667 WITH SCORE 17787.125
AT ITER 3402 NEW BEST:: SOT 207947 SOS 119914 HAS SOPS 51151 HAS SOUS 24233 HAS SOUPS 17631 WITH SCORE 17750.914
AT ITER 3472 NEW BEST:: SOT 207927 SOS 119914 HAS SOPS 51117 HAS SOUS 24223 HAS SOUPS 17621 WITH SCORE 17740.914
AT ITER 3499 NEW BEST:: SOT 208297 SOS 120189 HAS SOPS 51076 HAS SOUS 24215 HAS SOUPS 17602 WITH SCORE 17722.189
AT ITER 3506 NEW BEST:: SOT 208278 SOS 120030 HAS SOPS 50988 HAS SOUS 24177 HAS SOUPS 17574 WITH SCORE 17694.03
AT ITER 3515 NEW BEST:: SOT 208287 SOS 120016 HAS SOPS 50974 HAS SOUS 24167 HAS SOUPS 17564 WITH SCORE 17684.016
AT ITER 3519 NEW BEST:: SOT 208256 SOS 119997 HAS SOPS 50968 HAS SOUS 24122 HAS SOUPS 17519 WITH SCORE 17638.997
AT ITER 3523 NEW BEST:: SOT 208234 SOS 119984 HAS SOPS 50955 HAS SOUS 24122 HAS SOUPS 17519 WITH SCORE 17638.984
AT ITER 3548 NEW BEST:: SOT 208225 SOS 119942 HAS SOPS 50940 HAS SOUS 24110 HAS SOUPS 17507 WITH SCORE 17626.942
AT ITER 3624 NEW BEST:: SOT 208197 SOS 119956 HAS SOPS 50930 HAS SOUS 24107 HAS SOUPS 17504 WITH SCORE 17623.956
AT ITER 3654 NEW BEST:: SOT 208176 SOS 119930 HAS SOPS 50904 HAS SOUS 24084 HAS SOUPS 17481 WITH SCORE 17600.93
AT ITER 3658 NEW BEST:: SOT 208178 SOS 119930 HAS SOPS 50904 HAS SOUS 24082 HAS SOUPS 17479 WITH SCORE 17598.93
AT ITER 3689 NEW BEST:: SOT 208172 SOS 119916 HAS SOPS 50894 HAS SOUS 24075 HAS SOUPS 17472 WITH SCORE 17591.916
AT ITER 3692 NEW BEST:: SOT 208137 SOS 119979 HAS SOPS 50852 HAS SOUS 24086 HAS SOUPS 17469 WITH SCORE 17588.979
AT ITER 3698 NEW BEST:: SOT 208096 SOS 119938 HAS SOPS 50808 HAS SOUS 24070 HAS SOUPS 17453 WITH SCORE 17572.938
AT ITER 3732 NEW BEST:: SOT 208096 SOS 119929 HAS SOPS 50807 HAS SOUS 24068 HAS SOUPS 17452 WITH SCORE 17571.929
AT ITER 3741 NEW BEST:: SOT 208169 SOS 119990 HAS SOPS 50868 HAS SOUS 24050 HAS SOUPS 17434 WITH SCORE 17553.99
AT ITER 3746 NEW BEST:: SOT 207971 SOS 121535 HAS SOPS 50840 HAS SOUS 24089 HAS SOUPS 17423 WITH SCORE 17544.535
AT ITER 3783 NEW BEST:: SOT 207943 SOS 121507 HAS SOPS 50784 HAS SOUS 24055 HAS SOUPS 17389 WITH SCORE 17510.507
AT ITER 3798 NEW BEST:: SOT 207949 SOS 121429 HAS SOPS 50784 HAS SOUS 24049 HAS SOUPS 17389 WITH SCORE 17510.429
AT ITER 3805 NEW BEST:: SOT 207942 SOS 121385 HAS SOPS 50780 HAS SOUS 24038 HAS SOUPS 17383 WITH SCORE 17504.385
AT ITER 3826 NEW BEST:: SOT 207934 SOS 121433 HAS SOPS 50764 HAS SOUS 24031 HAS SOUPS 17368 WITH SCORE 17489.433
AT ITER 3832 NEW BEST:: SOT 207922 SOS 121364 HAS SOPS 50730 HAS SOUS 24018 HAS SOUPS 17350 WITH SCORE 17471.364
AT ITER 3843 NEW BEST:: SOT 207936 SOS 121314 HAS SOPS 50680 HAS SOUS 24008 HAS SOUPS 17340 WITH SCORE 17461.314
AT ITER 3855 NEW BEST:: SOT 207905 SOS 121352 HAS SOPS 50718 HAS SOUS 23987 HAS SOUPS 17319 WITH SCORE 17440.352
AT ITER 3916 NEW BEST:: SOT 207895 SOS 121342 HAS SOPS 50708 HAS SOUS 23977 HAS SOUPS 17309 WITH SCORE 17430.342
AT ITER 3930 NEW BEST:: SOT 207855 SOS 121668 HAS SOPS 50831 HAS SOUS 23996 HAS SOUPS 17299 WITH SCORE 17420.668
AT ITER 3952 NEW BEST:: SOT 207850 SOS 121676 HAS SOPS 50803 HAS SOUS 24007 HAS SOUPS 17292 WITH SCORE 17413.676
AT ITER 3985 NEW BEST:: SOT 207811 SOS 121690 HAS SOPS 50817 HAS SOUS 24005 HAS SOUPS 17290 WITH SCORE 17411.69
AT ITER 4002 NEW BEST:: SOT 208197 SOS 121846 HAS SOPS 50805 HAS SOUS 24000 HAS SOUPS 17285 WITH SCORE 17406.846
AT ITER 4095 NEW BEST:: SOT 208092 SOS 121409 HAS SOPS 50812 HAS SOUS 23973 HAS SOUPS 17281 WITH SCORE 17402.409
AT ITER 4096 NEW BEST:: SOT 208085 SOS 121435 HAS SOPS 50806 HAS SOUS 23972 HAS SOUPS 17276 WITH SCORE 17397.435
AT ITER 4122 NEW BEST:: SOT 208024 SOS 121276 HAS SOPS 50684 HAS SOUS 23853 HAS SOUPS 17157 WITH SCORE 17278.276
AT ITER 4158 NEW BEST:: SOT 208033 SOS 121270 HAS SOPS 50675 HAS SOUS 23850 HAS SOUPS 17157 WITH SCORE 17278.27
AT ITER 4164 NEW BEST:: SOT 208033 SOS 121270 HAS SOPS 50679 HAS SOUS 23838 HAS SOUPS 17153 WITH SCORE 17274.27
AT ITER 4185 NEW BEST:: SOT 208037 SOS 121255 HAS SOPS 50679 HAS SOUS 23836 HAS SOUPS 17153 WITH SCORE 17274.255
AT ITER 4186 NEW BEST:: SOT 207148 SOS 120366 HAS SOPS 49790 HAS SOUS 23038 HAS SOUPS 16355 WITH SCORE 16475.366
AT ITER 4199 NEW BEST:: SOT 207155 SOS 120277 HAS SOPS 49744 HAS SOUS 23004 HAS SOUPS 16321 WITH SCORE 16441.277
AT ITER 4201 NEW BEST:: SOT 207141 SOS 120249 HAS SOPS 49709 HAS SOUS 22997 HAS SOUPS 16314 WITH SCORE 16434.249
AT ITER 4229 NEW BEST:: SOT 207087 SOS 120124 HAS SOPS 49635 HAS SOUS 22916 HAS SOUPS 16233 WITH SCORE 16353.124
AT ITER 4306 NEW BEST:: SOT 207097 SOS 120124 HAS SOPS 49635 HAS SOUS 22911 HAS SOUPS 16228 WITH SCORE 16348.124
AT ITER 4343 NEW BEST:: SOT 207091 SOS 120118 HAS SOPS 49634 HAS SOUS 22882 HAS SOUPS 16199 WITH SCORE 16319.118
AT ITER 4357 NEW BEST:: SOT 207034 SOS 120110 HAS SOPS 49582 HAS SOUS 22879 HAS SOUPS 16165 WITH SCORE 16285.11
AT ITER 4371 NEW BEST:: SOT 207015 SOS 120072 HAS SOPS 49553 HAS SOUS 22872 HAS SOUPS 16158 WITH SCORE 16278.072
AT ITER 4379 NEW BEST:: SOT 206987 SOS 120044 HAS SOPS 49497 HAS SOUS 22816 HAS SOUPS 16102 WITH SCORE 16222.044
AT ITER 4385 NEW BEST:: SOT 206984 SOS 120027 HAS SOPS 49491 HAS SOUS 22756 HAS SOUPS 16051 WITH SCORE 16171.027
AT ITER 4392 NEW BEST:: SOT 206872 SOS 119909 HAS SOPS 49373 HAS SOUS 22744 HAS SOUPS 16039 WITH SCORE 16158.909
AT ITER 4397 NEW BEST:: SOT 206774 SOS 120242 HAS SOPS 49355 HAS SOUS 22787 HAS SOUPS 16035 WITH SCORE 16155.242
AT ITER 4410 NEW BEST:: SOT 206460 SOS 119971 HAS SOPS 49110 HAS SOUS 22728 HAS SOUPS 16012 WITH SCORE 16131.971
AT ITER 4422 NEW BEST:: SOT 206386 SOS 119913 HAS SOPS 49110 HAS SOUS 22726 HAS SOUPS 16012 WITH SCORE 16131.913
AT ITER 4425 NEW BEST:: SOT 206416 SOS 119799 HAS SOPS 49014 HAS SOUS 22726 HAS SOUPS 16012 WITH SCORE 16131.799
AT ITER 4428 NEW BEST:: SOT 206396 SOS 119779 HAS SOPS 48994 HAS SOUS 22710 HAS SOUPS 15996 WITH SCORE 16115.779
AT ITER 4430 NEW BEST:: SOT 206343 SOS 119690 HAS SOPS 49009 HAS SOUS 22655 HAS SOUPS 15957 WITH SCORE 16076.69
AT ITER 4436 NEW BEST:: SOT 206139 SOS 122617 HAS SOPS 48990 HAS SOUS 22638 HAS SOUPS 15928 WITH SCORE 16050.617
AT ITER 4452 NEW BEST:: SOT 206115 SOS 122633 HAS SOPS 48969 HAS SOUS 22634 HAS SOUPS 15916 WITH SCORE 16038.633
AT ITER 4477 NEW BEST:: SOT 205919 SOS 122511 HAS SOPS 48798 HAS SOUS 22504 HAS SOUPS 15756 WITH SCORE 15878.511
AT ITER 4480 NEW BEST:: SOT 205945 SOS 122437 HAS SOPS 48784 HAS SOUS 22485 HAS SOUPS 15737 WITH SCORE 15859.437
AT ITER 4538 NEW BEST:: SOT 205914 SOS 122409 HAS SOPS 48756 HAS SOUS 22457 HAS SOUPS 15692 WITH SCORE 15814.409
AT ITER 4651 NEW BEST:: SOT 205865 SOS 122367 HAS SOPS 48700 HAS SOUS 22422 HAS SOUPS 15657 WITH SCORE 15779.367
AT ITER 4667 NEW BEST:: SOT 205858 SOS 122360 HAS SOPS 48693 HAS SOUS 22408 HAS SOUPS 15643 WITH SCORE 15765.36
AT ITER 4691 NEW BEST:: SOT 205842 SOS 122330 HAS SOPS 48676 HAS SOUS 22391 HAS SOUPS 15626 WITH SCORE 15748.33
AT ITER 4713 NEW BEST:: SOT 205794 SOS 122460 HAS SOPS 48670 HAS SOUS 22399 HAS SOUPS 15623 WITH SCORE 15745.46
AT ITER 4728 NEW BEST:: SOT 205825 SOS 122483 HAS SOPS 48696 HAS SOUS 22389 HAS SOUPS 15613 WITH SCORE 15735.483
AT ITER 4762 NEW BEST:: SOT 205782 SOS 122440 HAS SOPS 48650 HAS SOUS 22344 HAS SOUPS 15565 WITH SCORE 15687.44
AT ITER 4792 NEW BEST:: SOT 205743 SOS 122494 HAS SOPS 48650 HAS SOUS 22326 HAS SOUPS 15553 WITH SCORE 15675.494
AT ITER 4803 NEW BEST:: SOT 205699 SOS 122472 HAS SOPS 48628 HAS SOUS 22326 HAS SOUPS 15553 WITH SCORE 15675.472
AT ITER 4841 NEW BEST:: SOT 205684 SOS 122457 HAS SOPS 48616 HAS SOUS 22311 HAS SOUPS 15541 WITH SCORE 15663.457
AT ITER 4848 NEW BEST:: SOT 205710 SOS 122491 HAS SOPS 48643 HAS SOUS 22306 HAS SOUPS 15536 WITH SCORE 15658.491
AT ITER 4859 NEW BEST:: SOT 205718 SOS 122459 HAS SOPS 48643 HAS SOUS 22302 HAS SOUPS 15536 WITH SCORE 15658.459
AT ITER 4896 NEW BEST:: SOT 205682 SOS 122429 HAS SOPS 48613 HAS SOUS 22278 HAS SOUPS 15512 WITH SCORE 15634.429
AT ITER 4906 NEW BEST:: SOT 205670 SOS 122420 HAS SOPS 48604 HAS SOUS 22272 HAS SOUPS 15506 WITH SCORE 15628.42
AT ITER 4954 NEW BEST:: SOT 205670 SOS 122410 HAS SOPS 48580 HAS SOUS 22266 HAS SOUPS 15500 WITH SCORE 15622.41
AT ITER 4956 NEW BEST:: SOT 205694 SOS 122374 HAS SOPS 48472 HAS SOUS 22254 HAS SOUPS 15488 WITH SCORE 15610.374
AT ITER 4963 NEW BEST:: SOT 205688 SOS 122362 HAS SOPS 48460 HAS SOUS 22252 HAS SOUPS 15486 WITH SCORE 15608.362
AT ITER 4998 NEW BEST:: SOT 205696 SOS 122419 HAS SOPS 48476 HAS SOUS 22178 HAS SOUPS 15453 WITH SCORE 15575.419
AT ITER 5009 NEW BEST:: SOT 205691 SOS 122373 HAS SOPS 48466 HAS SOUS 22211 HAS SOUPS 15451 WITH SCORE 15573.373
AT ITER 5104 NEW BEST:: SOT 205699 SOS 122367 HAS SOPS 48474 HAS SOUS 22209 HAS SOUPS 15451 WITH SCORE 15573.367
AT ITER 5170 NEW BEST:: SOT 205693 SOS 122371 HAS SOPS 48470 HAS SOUS 22177 HAS SOUPS 15419 WITH SCORE 15541.371
AT ITER 5179 NEW BEST:: SOT 205688 SOS 122366 HAS SOPS 48460 HAS SOUS 22167 HAS SOUPS 15409 WITH SCORE 15531.366
AT ITER 5195 NEW BEST:: SOT 205684 SOS 122358 HAS SOPS 48454 HAS SOUS 22167 HAS SOUPS 15409 WITH SCORE 15531.358
AT ITER 5207 NEW BEST:: SOT 205588 SOS 122478 HAS SOPS 48274 HAS SOUS 22155 HAS SOUPS 15385 WITH SCORE 15507.478
AT ITER 5233 NEW BEST:: SOT 205563 SOS 122453 HAS SOPS 48274 HAS SOUS 22155 HAS SOUPS 15385 WITH SCORE 15507.453
AT ITER 5245 NEW BEST:: SOT 205563 SOS 122449 HAS SOPS 48270 HAS SOUS 22152 HAS SOUPS 15382 WITH SCORE 15504.449
AT ITER 5253 NEW BEST:: SOT 205516 SOS 122402 HAS SOPS 48270 HAS SOUS 22125 HAS SOUPS 15382 WITH SCORE 15504.402
AT ITER 5260 NEW BEST:: SOT 205512 SOS 122338 HAS SOPS 48238 HAS SOUS 22121 HAS SOUPS 15378 WITH SCORE 15500.338
AT ITER 5296 NEW BEST:: SOT 205461 SOS 122310 HAS SOPS 48238 HAS SOUS 22121 HAS SOUPS 15378 WITH SCORE 15500.31
AT ITER 5328 NEW BEST:: SOT 205475 SOS 122338 HAS SOPS 48266 HAS SOUS 22111 HAS SOUPS 15368 WITH SCORE 15490.338
AT ITER 5342 NEW BEST:: SOT 205456 SOS 122918 HAS SOPS 48255 HAS SOUS 22100 HAS SOUPS 15357 WITH SCORE 15479.918
AT ITER 5378 NEW BEST:: SOT 205522 SOS 122874 HAS SOPS 48189 HAS SOUS 22078 HAS SOUPS 15335 WITH SCORE 15457.874
AT ITER 5393 NEW BEST:: SOT 205567 SOS 122911 HAS SOPS 48231 HAS SOUS 22077 HAS SOUPS 15334 WITH SCORE 15456.911
AT ITER 5404 NEW BEST:: SOT 205553 SOS 122911 HAS SOPS 48231 HAS SOUS 22070 HAS SOUPS 15327 WITH SCORE 15449.911
AT ITER 5428 NEW BEST:: SOT 205538 SOS 122877 HAS SOPS 48201 HAS SOUS 22059 HAS SOUPS 15312 WITH SCORE 15434.877
AT ITER 5436 NEW BEST:: SOT 205498 SOS 122797 HAS SOPS 48161 HAS SOUS 22099 HAS SOUPS 15312 WITH SCORE 15434.797
AT ITER 5477 NEW BEST:: SOT 205477 SOS 122776 HAS SOPS 48141 HAS SOUS 22079 HAS SOUPS 15292 WITH SCORE 15414.776
AT ITER 5509 NEW BEST:: SOT 205474 SOS 122773 HAS SOPS 48135 HAS SOUS 22073 HAS SOUPS 15286 WITH SCORE 15408.773
AT ITER 5538 NEW BEST:: SOT 205459 SOS 122758 HAS SOPS 48065 HAS SOUS 22055 HAS SOUPS 15266 WITH SCORE 15388.758
AT ITER 5675 NEW BEST:: SOT 205459 SOS 122755 HAS SOPS 48057 HAS SOUS 22050 HAS SOUPS 15258 WITH SCORE 15380.755
AT ITER 5676 NEW BEST:: SOT 204875 SOS 122879 HAS SOPS 48055 HAS SOUS 22067 HAS SOUPS 15256 WITH SCORE 15378.879
AT ITER 5691 NEW BEST:: SOT 204835 SOS 122839 HAS SOPS 47975 HAS SOUS 22015 HAS SOUPS 15204 WITH SCORE 15326.839
AT ITER 5710 NEW BEST:: SOT 204836 SOS 122839 HAS SOPS 47988 HAS SOUS 22014 HAS SOUPS 15203 WITH SCORE 15325.839
AT ITER 5739 NEW BEST:: SOT 204837 SOS 122841 HAS SOPS 47986 HAS SOUS 22007 HAS SOUPS 15200 WITH SCORE 15322.841
AT ITER 5791 NEW BEST:: SOT 204849 SOS 122839 HAS SOPS 47904 HAS SOUS 22015 HAS SOUPS 15198 WITH SCORE 15320.839
AT ITER 5818 NEW BEST:: SOT 204845 SOS 122675 HAS SOPS 47818 HAS SOUS 22007 HAS SOUPS 15177 WITH SCORE 15299.675
AT ITER 5863 NEW BEST:: SOT 205244 SOS 122580 HAS SOPS 47818 HAS SOUS 21987 HAS SOUPS 15177 WITH SCORE 15299.58
AT ITER 5864 NEW BEST:: SOT 205254 SOS 122600 HAS SOPS 47838 HAS SOUS 21966 HAS SOUPS 15156 WITH SCORE 15278.6
AT ITER 5878 NEW BEST:: SOT 205232 SOS 122556 HAS SOPS 47794 HAS SOUS 21962 HAS SOUPS 15152 WITH SCORE 15274.556
AT ITER 5990 NEW BEST:: SOT 205233 SOS 122558 HAS SOPS 47810 HAS SOUS 21968 HAS SOUPS 15149 WITH SCORE 15271.558
AT ITER 5992 NEW BEST:: SOT 205189 SOS 122028 HAS SOPS 47518 HAS SOUS 21822 HAS SOUPS 15037 WITH SCORE 15159.028
AT ITER 6023 NEW BEST:: SOT 205126 SOS 122267 HAS SOPS 47507 HAS SOUS 21825 HAS SOUPS 15035 WITH SCORE 15157.267
AT ITER 6033 NEW BEST:: SOT 205136 SOS 122287 HAS SOPS 47489 HAS SOUS 21835 HAS SOUPS 15026 WITH SCORE 15148.287
AT ITER 6038 NEW BEST:: SOT 205151 SOS 122227 HAS SOPS 48104 HAS SOUS 21745 HAS SOUPS 15026 WITH SCORE 15148.227
AT ITER 6060 NEW BEST:: SOT 205151 SOS 122226 HAS SOPS 48104 HAS SOUS 21745 HAS SOUPS 15026 WITH SCORE 15148.226
AT ITER 6064 NEW BEST:: SOT 205144 SOS 122222 HAS SOPS 48100 HAS SOUS 21743 HAS SOUPS 15024 WITH SCORE 15146.222
AT ITER 6074 NEW BEST:: SOT 205143 SOS 122182 HAS SOPS 48060 HAS SOUS 21721 HAS SOUPS 15002 WITH SCORE 15124.182
AT ITER 6139 NEW BEST:: SOT 205123 SOS 122147 HAS SOPS 48030 HAS SOUS 21706 HAS SOUPS 14982 WITH SCORE 15104.147
AT ITER 6286 NEW BEST:: SOT 205123 SOS 122134 HAS SOPS 47991 HAS SOUS 21706 HAS SOUPS 14982 WITH SCORE 15104.134
AT ITER 6335 NEW BEST:: SOT 205100 SOS 122156 HAS SOPS 47980 HAS SOUS 21698 HAS SOUPS 14971 WITH SCORE 15093.156
AT ITER 6362 NEW BEST:: SOT 205080 SOS 122193 HAS SOPS 47968 HAS SOUS 21692 HAS SOUPS 14958 WITH SCORE 15080.193
AT ITER 6450 NEW BEST:: SOT 204875 SOS 122003 HAS SOPS 47958 HAS SOUS 21666 HAS SOUPS 14953 WITH SCORE 15075.003
AT ITER 6461 NEW BEST:: SOT 204874 SOS 122002 HAS SOPS 47940 HAS SOUS 21648 HAS SOUPS 14935 WITH SCORE 15057.002
AT ITER 6470 NEW BEST:: SOT 204866 SOS 121994 HAS SOPS 48044 HAS SOUS 21648 HAS SOUPS 14935 WITH SCORE 15056.994
AT ITER 6507 NEW BEST:: SOT 204866 SOS 121994 HAS SOPS 48044 HAS SOUS 21648 HAS SOUPS 14933 WITH SCORE 15054.994
AT ITER 6547 NEW BEST:: SOT 204836 SOS 121970 HAS SOPS 48020 HAS SOUS 21648 HAS SOUPS 14933 WITH SCORE 15054.97
AT ITER 6604 NEW BEST:: SOT 203789 SOS 121118 HAS SOPS 48020 HAS SOUS 21597 HAS SOUPS 14933 WITH SCORE 15054.118
AT ITER 6674 NEW BEST:: SOT 203801 SOS 121324 HAS SOPS 48116 HAS SOUS 21610 HAS SOUPS 14932 WITH SCORE 15053.324
AT ITER 6749 NEW BEST:: SOT 203801 SOS 121322 HAS SOPS 48114 HAS SOUS 21610 HAS SOUPS 14932 WITH SCORE 15053.322
AT ITER 6768 NEW BEST:: SOT 203783 SOS 121304 HAS SOPS 48096 HAS SOUS 21592 HAS SOUPS 14914 WITH SCORE 15035.304
AT ITER 6780 NEW BEST:: SOT 203825 SOS 121276 HAS SOPS 47998 HAS SOUS 21578 HAS SOUPS 14900 WITH SCORE 15021.276
AT ITER 6838 NEW BEST:: SOT 203825 SOS 121265 HAS SOPS 47988 HAS SOUS 21578 HAS SOUPS 14900 WITH SCORE 15021.265
AT ITER 6894 NEW BEST:: SOT 203409 SOS 121105 HAS SOPS 47988 HAS SOUS 21547 HAS SOUPS 14900 WITH SCORE 15021.105
AT ITER 6922 NEW BEST:: SOT 202891 SOS 121178 HAS SOPS 47836 HAS SOUS 21546 HAS SOUPS 14850 WITH SCORE 14971.178
AT ITER 6964 NEW BEST:: SOT 202891 SOS 121074 HAS SOPS 48408 HAS SOUS 21546 HAS SOUPS 14850 WITH SCORE 14971.074
AT ITER 7012 NEW BEST:: SOT 202885 SOS 121068 HAS SOPS 48402 HAS SOUS 21540 HAS SOUPS 14844 WITH SCORE 14965.068
AT ITER 7042 NEW BEST:: SOT 202880 SOS 121056 HAS SOPS 46799 HAS SOUS 21538 HAS SOUPS 14660 WITH SCORE 14781.056
AT ITER 7058 NEW BEST:: SOT 202451 SOS 120760 HAS SOPS 46799 HAS SOUS 21499 HAS SOUPS 14647 WITH SCORE 14767.76
AT ITER 7086 NEW BEST:: SOT 202460 SOS 120769 HAS SOPS 46799 HAS SOUS 21494 HAS SOUPS 14642 WITH SCORE 14762.769
AT ITER 7183 NEW BEST:: SOT 202468 SOS 120777 HAS SOPS 46804 HAS SOUS 21488 HAS SOUPS 14636 WITH SCORE 14756.777
AT ITER 7186 NEW BEST:: SOT 202466 SOS 120775 HAS SOPS 46798 HAS SOUS 21482 HAS SOUPS 14630 WITH SCORE 14750.775
AT ITER 7265 NEW BEST:: SOT 202334 SOS 120828 HAS SOPS 46770 HAS SOUS 21481 HAS SOUPS 14628 WITH SCORE 14748.828
AT ITER 7300 NEW BEST:: SOT 202319 SOS 120815 HAS SOPS 46758 HAS SOUS 21483 HAS SOUPS 14624 WITH SCORE 14744.815
AT ITER 7455 NEW BEST:: SOT 202130 SOS 121048 HAS SOPS 46748 HAS SOUS 21501 HAS SOUPS 14622 WITH SCORE 14743.048
AT ITER 7492 NEW BEST:: SOT 202078 SOS 121024 HAS SOPS 46693 HAS SOUS 21491 HAS SOUPS 14607 WITH SCORE 14728.024
AT ITER 7495 NEW BEST:: SOT 202294 SOS 121177 HAS SOPS 46810 HAS SOUS 21482 HAS SOUPS 14598 WITH SCORE 14719.177
AT ITER 7511 NEW BEST:: SOT 202316 SOS 121194 HAS SOPS 46824 HAS SOUS 21476 HAS SOUPS 14592 WITH SCORE 14713.194
AT ITER 7528 NEW BEST:: SOT 202281 SOS 121159 HAS SOPS 46789 HAS SOUS 21476 HAS SOUPS 14592 WITH SCORE 14713.159
AT ITER 7540 NEW BEST:: SOT 202287 SOS 121153 HAS SOPS 46777 HAS SOUS 21459 HAS SOUPS 14580 WITH SCORE 14701.153
AT ITER 7571 NEW BEST:: SOT 202287 SOS 121152 HAS SOPS 46776 HAS SOUS 21459 HAS SOUPS 14580 WITH SCORE 14701.152
AT ITER 7577 NEW BEST:: SOT 202277 SOS 121099 HAS SOPS 46733 HAS SOUS 21438 HAS SOUPS 14559 WITH SCORE 14680.099
AT ITER 7632 NEW BEST:: SOT 202310 SOS 121132 HAS SOPS 46725 HAS SOUS 21458 HAS SOUPS 14551 WITH SCORE 14672.132
AT ITER 7638 NEW BEST:: SOT 202309 SOS 121131 HAS SOPS 46725 HAS SOUS 21458 HAS SOUPS 14551 WITH SCORE 14672.131
AT ITER 7694 NEW BEST:: SOT 202331 SOS 121136 HAS SOPS 46737 HAS SOUS 21448 HAS SOUPS 14545 WITH SCORE 14666.136
AT ITER 7725 NEW BEST:: SOT 202335 SOS 121128 HAS SOPS 46757 HAS SOUS 21442 HAS SOUPS 14543 WITH SCORE 14664.128
AT ITER 7736 NEW BEST:: SOT 202317 SOS 121102 HAS SOPS 46730 HAS SOUS 21416 HAS SOUPS 14527 WITH SCORE 14648.102
AT ITER 7740 NEW BEST:: SOT 202355 SOS 120874 HAS SOPS 46882 HAS SOUS 21397 HAS SOUPS 14527 WITH SCORE 14647.874
AT ITER 7818 NEW BEST:: SOT 202351 SOS 120870 HAS SOPS 46874 HAS SOUS 21381 HAS SOUPS 14515 WITH SCORE 14635.87
AT ITER 7879 NEW BEST:: SOT 202339 SOS 120858 HAS SOPS 46850 HAS SOUS 21364 HAS SOUPS 14498 WITH SCORE 14618.858
AT ITER 7894 NEW BEST:: SOT 202320 SOS 120839 HAS SOPS 46830 HAS SOUS 21362 HAS SOUPS 14496 WITH SCORE 14616.839
AT ITER 8027 NEW BEST:: SOT 201971 SOS 121567 HAS SOPS 46819 HAS SOUS 21413 HAS SOUPS 14485 WITH SCORE 14606.567
AT ITER 8047 NEW BEST:: SOT 201961 SOS 121559 HAS SOPS 46811 HAS SOUS 21413 HAS SOUPS 14485 WITH SCORE 14606.559
AT ITER 8083 NEW BEST:: SOT 202009 SOS 121583 HAS SOPS 46835 HAS SOUS 21412 HAS SOUPS 14484 WITH SCORE 14605.583
AT ITER 8085 NEW BEST:: SOT 202009 SOS 122948 HAS SOPS 46809 HAS SOUS 21412 HAS SOUPS 14471 WITH SCORE 14593.948
AT ITER 8134 NEW BEST:: SOT 202001 SOS 122940 HAS SOPS 46793 HAS SOUS 21406 HAS SOUPS 14465 WITH SCORE 14587.94
AT ITER 8171 NEW BEST:: SOT 201986 SOS 122931 HAS SOPS 46786 HAS SOUS 21399 HAS SOUPS 14454 WITH SCORE 14576.931
AT ITER 8227 NEW BEST:: SOT 201980 SOS 122925 HAS SOPS 46786 HAS SOUS 21399 HAS SOUPS 14454 WITH SCORE 14576.925
AT ITER 8229 NEW BEST:: SOT 201980 SOS 122915 HAS SOPS 46784 HAS SOUS 21396 HAS SOUPS 14452 WITH SCORE 14574.915
AT ITER 8245 NEW BEST:: SOT 201977 SOS 122893 HAS SOPS 46762 HAS SOUS 21391 HAS SOUPS 14443 WITH SCORE 14565.893
AT ITER 8278 NEW BEST:: SOT 201976 SOS 122891 HAS SOPS 46762 HAS SOUS 21392 HAS SOUPS 14442 WITH SCORE 14564.891
AT ITER 8279 NEW BEST:: SOT 201927 SOS 122865 HAS SOPS 46736 HAS SOUS 21390 HAS SOUPS 14440 WITH SCORE 14562.865
AT ITER 8290 NEW BEST:: SOT 201921 SOS 122847 HAS SOPS 46724 HAS SOUS 21393 HAS SOUPS 14437 WITH SCORE 14559.847
AT ITER 8367 NEW BEST:: SOT 201907 SOS 122833 HAS SOPS 46710 HAS SOUS 21379 HAS SOUPS 14423 WITH SCORE 14545.833
AT ITER 8543 NEW BEST:: SOT 201920 SOS 122841 HAS SOPS 46721 HAS SOUS 21375 HAS SOUPS 14419 WITH SCORE 14541.841
AT ITER 8573 NEW BEST:: SOT 201911 SOS 122839 HAS SOPS 46719 HAS SOUS 21373 HAS SOUPS 14417 WITH SCORE 14539.839
AT ITER 8579 NEW BEST:: SOT 201903 SOS 122859 HAS SOPS 46796 HAS SOUS 21370 HAS SOUPS 14414 WITH SCORE 14536.859
AT ITER 8604 NEW BEST:: SOT 201903 SOS 122848 HAS SOPS 46793 HAS SOUS 21367 HAS SOUPS 14412 WITH SCORE 14534.848
AT ITER 8637 NEW BEST:: SOT 201902 SOS 122853 HAS SOPS 46796 HAS SOUS 21355 HAS SOUPS 14400 WITH SCORE 14522.853
AT ITER 8692 NEW BEST:: SOT 201902 SOS 122852 HAS SOPS 46796 HAS SOUS 21354 HAS SOUPS 14400 WITH SCORE 14522.852
AT ITER 8727 NEW BEST:: SOT 201867 SOS 122804 HAS SOPS 46676 HAS SOUS 21339 HAS SOUPS 14385 WITH SCORE 14507.804
AT ITER 8743 NEW BEST:: SOT 201753 SOS 122718 HAS SOPS 46638 HAS SOUS 21297 HAS SOUPS 14371 WITH SCORE 14493.718
AT ITER 8762 NEW BEST:: SOT 201751 SOS 122706 HAS SOPS 46626 HAS SOUS 21293 HAS SOUPS 14367 WITH SCORE 14489.706
AT ITER 8768 NEW BEST:: SOT 201771 SOS 122576 HAS SOPS 46566 HAS SOUS 21273 HAS SOUPS 14357 WITH SCORE 14479.576
AT ITER 8836 NEW BEST:: SOT 201760 SOS 122563 HAS SOPS 46544 HAS SOUS 21262 HAS SOUPS 14346 WITH SCORE 14468.563
AT ITER 8853 NEW BEST:: SOT 201644 SOS 122447 HAS SOPS 46426 HAS SOUS 21260 HAS SOUPS 14344 WITH SCORE 14466.447
AT ITER 8866 NEW BEST:: SOT 201639 SOS 122442 HAS SOPS 46416 HAS SOUS 21250 HAS SOUPS 14334 WITH SCORE 14456.442
AT ITER 8951 NEW BEST:: SOT 201637 SOS 122439 HAS SOPS 46406 HAS SOUS 21248 HAS SOUPS 14332 WITH SCORE 14454.439
AT ITER 8961 NEW BEST:: SOT 201660 SOS 122462 HAS SOPS 46394 HAS SOUS 21236 HAS SOUPS 14320 WITH SCORE 14442.462
AT ITER 8967 NEW BEST:: SOT 201474 SOS 122412 HAS SOPS 46310 HAS SOUS 21239 HAS SOUPS 14320 WITH SCORE 14442.412
AT ITER 9043 NEW BEST:: SOT 201477 SOS 122406 HAS SOPS 46304 HAS SOUS 21233 HAS SOUPS 14314 WITH SCORE 14436.406
AT ITER 9046 NEW BEST:: SOT 201465 SOS 122404 HAS SOPS 46306 HAS SOUS 21235 HAS SOUPS 14314 WITH SCORE 14436.404
AT ITER 9103 NEW BEST:: SOT 201459 SOS 122103 HAS SOPS 46302 HAS SOUS 21231 HAS SOUPS 14310 WITH SCORE 14432.103
AT ITER 9109 NEW BEST:: SOT 201406 SOS 122148 HAS SOPS 45737 HAS SOUS 21274 HAS SOUPS 14292 WITH SCORE 14414.148
AT ITER 9113 NEW BEST:: SOT 201424 SOS 122112 HAS SOPS 45701 HAS SOUS 21256 HAS SOUPS 14274 WITH SCORE 14396.112
AT ITER 9311 NEW BEST:: SOT 201427 SOS 122114 HAS SOPS 45703 HAS SOUS 21250 HAS SOUPS 14268 WITH SCORE 14390.114
AT ITER 9351 NEW BEST:: SOT 201432 SOS 122100 HAS SOPS 45689 HAS SOUS 21246 HAS SOUPS 14264 WITH SCORE 14386.1
AT ITER 9389 NEW BEST:: SOT 201427 SOS 122111 HAS SOPS 45686 HAS SOUS 21244 HAS SOUPS 14262 WITH SCORE 14384.111
AT ITER 9420 NEW BEST:: SOT 201423 SOS 122107 HAS SOPS 45682 HAS SOUS 21243 HAS SOUPS 14261 WITH SCORE 14383.107
AT ITER 9423 NEW BEST:: SOT 201414 SOS 122141 HAS SOPS 45688 HAS SOUS 21242 HAS SOUPS 14256 WITH SCORE 14378.141
AT ITER 9441 NEW BEST:: SOT 201401 SOS 122128 HAS SOPS 45688 HAS SOUS 21242 HAS SOUPS 14256 WITH SCORE 14378.128
AT ITER 9460 NEW BEST:: SOT 201358 SOS 122084 HAS SOPS 45658 HAS SOUS 21197 HAS SOUPS 14225 WITH SCORE 14347.084
AT ITER 9465 NEW BEST:: SOT 201350 SOS 122078 HAS SOPS 45650 HAS SOUS 21189 HAS SOUPS 14217 WITH SCORE 14339.078
AT ITER 9479 NEW BEST:: SOT 201338 SOS 122066 HAS SOPS 45638 HAS SOUS 21177 HAS SOUPS 14205 WITH SCORE 14327.066
AT ITER 9500 NEW BEST:: SOT 201338 SOS 122066 HAS SOPS 45638 HAS SOUS 21171 HAS SOUPS 14199 WITH SCORE 14321.066
AT ITER 9534 NEW BEST:: SOT 201332 SOS 122063 HAS SOPS 45632 HAS SOUS 21169 HAS SOUPS 14194 WITH SCORE 14316.063
AT ITER 9543 NEW BEST:: SOT 201331 SOS 122062 HAS SOPS 45630 HAS SOUS 21168 HAS SOUPS 14192 WITH SCORE 14314.062
AT ITER 9545 NEW BEST:: SOT 201301 SOS 122434 HAS SOPS 45626 HAS SOUS 21168 HAS SOUPS 14188 WITH SCORE 14310.434
AT ITER 9582 NEW BEST:: SOT 201292 SOS 122425 HAS SOPS 45620 HAS SOUS 21168 HAS SOUPS 14188 WITH SCORE 14310.425
AT ITER 9637 NEW BEST:: SOT 201294 SOS 122418 HAS SOPS 45613 HAS SOUS 21167 HAS SOUPS 14187 WITH SCORE 14309.418
AT ITER 9638 NEW BEST:: SOT 201294 SOS 122418 HAS SOPS 45597 HAS SOUS 21151 HAS SOUPS 14171 WITH SCORE 14293.418
AT ITER 9659 NEW BEST:: SOT 201262 SOS 122390 HAS SOPS 45569 HAS SOUS 21123 HAS SOUPS 14143 WITH SCORE 14265.39
AT ITER 9734 NEW BEST:: SOT 201292 SOS 122303 HAS SOPS 45569 HAS SOUS 21110 HAS SOUPS 14143 WITH SCORE 14265.303
AT ITER 9745 NEW BEST:: SOT 201305 SOS 122316 HAS SOPS 45565 HAS SOUS 21106 HAS SOUPS 14139 WITH SCORE 14261.316
AT ITER 9793 NEW BEST:: SOT 201313 SOS 122258 HAS SOPS 45539 HAS SOUS 21073 HAS SOUPS 14118 WITH SCORE 14240.258
AT ITER 9811 NEW BEST:: SOT 201355 SOS 122289 HAS SOPS 45559 HAS SOUS 21029 HAS SOUPS 14074 WITH SCORE 14196.289
AT ITER 9822 NEW BEST:: SOT 201355 SOS 122286 HAS SOPS 45556 HAS SOUS 21026 HAS SOUPS 14071 WITH SCORE 14193.286
AT ITER 9862 NEW BEST:: SOT 201355 SOS 122278 HAS SOPS 45556 HAS SOUS 21025 HAS SOUPS 14071 WITH SCORE 14193.278
AT ITER 9885 NEW BEST:: SOT 201327 SOS 122264 HAS SOPS 45535 HAS SOUS 21021 HAS SOUPS 14067 WITH SCORE 14189.264
AT ITER 9903 NEW BEST:: SOT 201327 SOS 122259 HAS SOPS 45524 HAS SOUS 21020 HAS SOUPS 14065 WITH SCORE 14187.259
AT ITER 9922 NEW BEST:: SOT 201319 SOS 122247 HAS SOPS 45512 HAS SOUS 21004 HAS SOUPS 14049 WITH SCORE 14171.247
AT ITER 9927 NEW BEST:: SOT 201280 SOS 122208 HAS SOPS 45473 HAS SOUS 20995 HAS SOUPS 14040 WITH SCORE 14162.208
AT ITER 9943 NEW BEST:: SOT 201279 SOS 122207 HAS SOPS 45471 HAS SOUS 20992 HAS SOUPS 14037 WITH SCORE 14159.207

BK_STOP 1589169019659

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 476 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="CloudDeployment-PT-7a"
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-7a, 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-158901926000352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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