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.r138-smll-158961502600264.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 Raft-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 09:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 09:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Apr 10 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 21:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 21:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 120K Mar 24 05:38 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 1589803306737

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

Filename model.pnml
Petri model created: 253 places, 442 transitions, 1664 arcs.
AT ITER 0 NEW BEST:: SOT 97840 SOS 65051 HAS SOPS 65023 HAS SOUS 51373 HAS SOUPS 51366 WITH SCORE 51431.051
AT ITER 1 NEW BEST:: SOT 96190 SOS 64917 HAS SOPS 64029 HAS SOUS 50888 HAS SOUPS 50726 WITH SCORE 50790.917
AT ITER 2 NEW BEST:: SOT 96190 SOS 64917 HAS SOPS 64029 HAS SOUS 50861 HAS SOUPS 50699 WITH SCORE 50763.917
AT ITER 4 NEW BEST:: SOT 95773 SOS 64506 HAS SOPS 63618 HAS SOUS 50450 HAS SOUPS 50288 WITH SCORE 50352.506
AT ITER 5 NEW BEST:: SOT 95773 SOS 64253 HAS SOPS 63383 HAS SOUS 50450 HAS SOUPS 50288 WITH SCORE 50352.253
AT ITER 7 NEW BEST:: SOT 95561 SOS 64030 HAS SOPS 63134 HAS SOUS 50226 HAS SOUPS 50039 WITH SCORE 50103.03
AT ITER 8 NEW BEST:: SOT 95561 SOS 64030 HAS SOPS 63134 HAS SOUS 50200 HAS SOUPS 50013 WITH SCORE 50077.03
AT ITER 10 NEW BEST:: SOT 95561 SOS 63729 HAS SOPS 62833 HAS SOUS 50200 HAS SOUPS 50013 WITH SCORE 50076.729
AT ITER 11 NEW BEST:: SOT 92870 SOS 60903 HAS SOPS 60007 HAS SOUS 47389 HAS SOUPS 47202 WITH SCORE 47262.903
AT ITER 14 NEW BEST:: SOT 92596 SOS 60736 HAS SOPS 59793 HAS SOUS 47197 HAS SOUPS 46965 WITH SCORE 47025.736
AT ITER 16 NEW BEST:: SOT 92596 SOS 60750 HAS SOPS 59807 HAS SOUS 47171 HAS SOUPS 46939 WITH SCORE 46999.75
AT ITER 17 NEW BEST:: SOT 92100 SOS 60073 HAS SOPS 59093 HAS SOUS 46457 HAS SOUPS 46225 WITH SCORE 46285.073
AT ITER 18 NEW BEST:: SOT 92100 SOS 59956 HAS SOPS 58976 HAS SOUS 46340 HAS SOUPS 46108 WITH SCORE 46167.956
AT ITER 21 NEW BEST:: SOT 92100 SOS 59918 HAS SOPS 58938 HAS SOUS 46340 HAS SOUPS 46108 WITH SCORE 46167.918
AT ITER 23 NEW BEST:: SOT 91915 SOS 59660 HAS SOPS 58680 HAS SOUS 46070 HAS SOUPS 45838 WITH SCORE 45897.66
AT ITER 24 NEW BEST:: SOT 89893 SOS 60076 HAS SOPS 57153 HAS SOUS 45263 HAS SOUPS 44862 WITH SCORE 44922.076
AT ITER 28 NEW BEST:: SOT 89555 SOS 59738 HAS SOPS 56815 HAS SOUS 44827 HAS SOUPS 44426 WITH SCORE 44485.738
AT ITER 29 NEW BEST:: SOT 89555 SOS 59647 HAS SOPS 56724 HAS SOUS 44827 HAS SOUPS 44426 WITH SCORE 44485.647
AT ITER 31 NEW BEST:: SOT 89459 SOS 59551 HAS SOPS 56628 HAS SOUS 44731 HAS SOUPS 44330 WITH SCORE 44389.551
AT ITER 32 NEW BEST:: SOT 89180 SOS 59346 HAS SOPS 56382 HAS SOUS 44447 HAS SOUPS 44006 WITH SCORE 44065.346
AT ITER 34 NEW BEST:: SOT 88988 SOS 59127 HAS SOPS 56139 HAS SOUS 44193 HAS SOUPS 43751 WITH SCORE 43810.127
AT ITER 36 NEW BEST:: SOT 89109 SOS 58627 HAS SOPS 55344 HAS SOUS 44188 HAS SOUPS 43746 WITH SCORE 43804.627
AT ITER 39 NEW BEST:: SOT 88913 SOS 58431 HAS SOPS 55188 HAS SOUS 43994 HAS SOUPS 43552 WITH SCORE 43610.431
AT ITER 40 NEW BEST:: SOT 88883 SOS 58401 HAS SOPS 55147 HAS SOUS 43949 HAS SOUPS 43507 WITH SCORE 43565.401
AT ITER 42 NEW BEST:: SOT 88883 SOS 58401 HAS SOPS 55038 HAS SOUS 43922 HAS SOUPS 43480 WITH SCORE 43538.401
AT ITER 44 NEW BEST:: SOT 88595 SOS 58074 HAS SOPS 54640 HAS SOUS 43537 HAS SOUPS 43082 WITH SCORE 43140.074
AT ITER 45 NEW BEST:: SOT 88595 SOS 58087 HAS SOPS 54653 HAS SOUS 43524 HAS SOUPS 43069 WITH SCORE 43127.087
AT ITER 46 NEW BEST:: SOT 88205 SOS 57975 HAS SOPS 54414 HAS SOUS 43298 HAS SOUPS 42827 WITH SCORE 42884.975
AT ITER 47 NEW BEST:: SOT 87604 SOS 57239 HAS SOPS 53674 HAS SOUS 42631 HAS SOUPS 42137 WITH SCORE 42194.239
AT ITER 51 NEW BEST:: SOT 87604 SOS 57208 HAS SOPS 53489 HAS SOUS 42586 HAS SOUPS 42092 WITH SCORE 42149.208
AT ITER 52 NEW BEST:: SOT 87604 SOS 57186 HAS SOPS 53467 HAS SOUS 42564 HAS SOUPS 42070 WITH SCORE 42127.186
AT ITER 53 NEW BEST:: SOT 87557 SOS 57134 HAS SOPS 53371 HAS SOUS 42500 HAS SOUPS 41989 WITH SCORE 42046.134
AT ITER 55 NEW BEST:: SOT 87534 SOS 57068 HAS SOPS 53146 HAS SOUS 42363 HAS SOUPS 41849 WITH SCORE 41906.068
AT ITER 56 NEW BEST:: SOT 87452 SOS 56984 HAS SOPS 53062 HAS SOUS 42255 HAS SOUPS 41741 WITH SCORE 41797.984
AT ITER 57 NEW BEST:: SOT 87452 SOS 56822 HAS SOPS 52900 HAS SOUS 42250 HAS SOUPS 41736 WITH SCORE 41792.822
AT ITER 58 NEW BEST:: SOT 87452 SOS 56820 HAS SOPS 52898 HAS SOUS 42250 HAS SOUPS 41736 WITH SCORE 41792.82
AT ITER 59 NEW BEST:: SOT 87212 SOS 57161 HAS SOPS 53074 HAS SOUS 42231 HAS SOUPS 41717 WITH SCORE 41774.161
AT ITER 61 NEW BEST:: SOT 87212 SOS 57161 HAS SOPS 52932 HAS SOUS 42147 HAS SOUPS 41633 WITH SCORE 41690.161
AT ITER 63 NEW BEST:: SOT 85154 SOS 56724 HAS SOPS 51090 HAS SOUS 40643 HAS SOUPS 40031 WITH SCORE 40087.724
AT ITER 64 NEW BEST:: SOT 83517 SOS 56573 HAS SOPS 49784 HAS SOUS 39573 HAS SOUPS 38868 WITH SCORE 38924.573
AT ITER 66 NEW BEST:: SOT 82797 SOS 58185 HAS SOPS 49280 HAS SOUS 39213 HAS SOUPS 38436 WITH SCORE 38494.185
AT ITER 67 NEW BEST:: SOT 82461 SOS 57328 HAS SOPS 48602 HAS SOUS 38921 HAS SOUPS 38144 WITH SCORE 38201.328
AT ITER 69 NEW BEST:: SOT 82461 SOS 57325 HAS SOPS 48449 HAS SOUS 38893 HAS SOUPS 38116 WITH SCORE 38173.325
AT ITER 71 NEW BEST:: SOT 82461 SOS 57325 HAS SOPS 48449 HAS SOUS 38890 HAS SOUPS 38113 WITH SCORE 38170.325
AT ITER 72 NEW BEST:: SOT 82461 SOS 57292 HAS SOPS 48416 HAS SOUS 38890 HAS SOUPS 38113 WITH SCORE 38170.292
AT ITER 73 NEW BEST:: SOT 82287 SOS 57323 HAS SOPS 48317 HAS SOUS 38665 HAS SOUPS 37888 WITH SCORE 37945.323
AT ITER 75 NEW BEST:: SOT 82165 SOS 57187 HAS SOPS 48167 HAS SOUS 38515 HAS SOUPS 37738 WITH SCORE 37795.187
AT ITER 76 NEW BEST:: SOT 82157 SOS 57179 HAS SOPS 48155 HAS SOUS 38502 HAS SOUPS 37725 WITH SCORE 37782.179
AT ITER 77 NEW BEST:: SOT 81770 SOS 56792 HAS SOPS 47781 HAS SOUS 38135 HAS SOUPS 37358 WITH SCORE 37414.792
AT ITER 80 NEW BEST:: SOT 81770 SOS 56777 HAS SOPS 47781 HAS SOUS 38135 HAS SOUPS 37358 WITH SCORE 37414.777
AT ITER 86 NEW BEST:: SOT 81770 SOS 56741 HAS SOPS 47745 HAS SOUS 38098 HAS SOUPS 37321 WITH SCORE 37377.741
AT ITER 88 NEW BEST:: SOT 81770 SOS 56731 HAS SOPS 47735 HAS SOUS 38098 HAS SOUPS 37321 WITH SCORE 37377.731
AT ITER 89 NEW BEST:: SOT 81768 SOS 56715 HAS SOPS 47722 HAS SOUS 38085 HAS SOUPS 37308 WITH SCORE 37364.715
AT ITER 93 NEW BEST:: SOT 81710 SOS 56657 HAS SOPS 47678 HAS SOUS 38041 HAS SOUPS 37264 WITH SCORE 37320.657
AT ITER 94 NEW BEST:: SOT 81204 SOS 56267 HAS SOPS 47234 HAS SOUS 37526 HAS SOUPS 36702 WITH SCORE 36758.267
AT ITER 95 NEW BEST:: SOT 81054 SOS 56117 HAS SOPS 47084 HAS SOUS 37357 HAS SOUPS 36533 WITH SCORE 36589.117
AT ITER 96 NEW BEST:: SOT 80993 SOS 56056 HAS SOPS 46986 HAS SOUS 37259 HAS SOUPS 36435 WITH SCORE 36491.056
AT ITER 97 NEW BEST:: SOT 81068 SOS 55583 HAS SOPS 46609 HAS SOUS 37174 HAS SOUPS 36350 WITH SCORE 36405.583
AT ITER 99 NEW BEST:: SOT 81068 SOS 55724 HAS SOPS 46609 HAS SOUS 37154 HAS SOUPS 36330 WITH SCORE 36385.724
AT ITER 103 NEW BEST:: SOT 80708 SOS 55364 HAS SOPS 46159 HAS SOUS 36704 HAS SOUPS 35880 WITH SCORE 35935.364
AT ITER 105 NEW BEST:: SOT 80591 SOS 55338 HAS SOPS 46133 HAS SOUS 36634 HAS SOUPS 35810 WITH SCORE 35865.338
AT ITER 106 NEW BEST:: SOT 80346 SOS 55153 HAS SOPS 46028 HAS SOUS 36486 HAS SOUPS 35662 WITH SCORE 35717.153
AT ITER 107 NEW BEST:: SOT 80421 SOS 55153 HAS SOPS 46028 HAS SOUS 36461 HAS SOUPS 35637 WITH SCORE 35692.153
AT ITER 108 NEW BEST:: SOT 80345 SOS 55103 HAS SOPS 45961 HAS SOUS 36419 HAS SOUPS 35595 WITH SCORE 35650.103
AT ITER 109 NEW BEST:: SOT 80319 SOS 54999 HAS SOPS 45883 HAS SOUS 36367 HAS SOUPS 35543 WITH SCORE 35597.999
AT ITER 111 NEW BEST:: SOT 80007 SOS 54662 HAS SOPS 45627 HAS SOUS 36065 HAS SOUPS 35241 WITH SCORE 35295.662
AT ITER 121 NEW BEST:: SOT 80001 SOS 54672 HAS SOPS 45615 HAS SOUS 36053 HAS SOUPS 35229 WITH SCORE 35283.672
AT ITER 122 NEW BEST:: SOT 79990 SOS 54568 HAS SOPS 45511 HAS SOUS 36042 HAS SOUPS 35218 WITH SCORE 35272.568
AT ITER 126 NEW BEST:: SOT 79965 SOS 54662 HAS SOPS 45604 HAS SOUS 36018 HAS SOUPS 35194 WITH SCORE 35248.662
AT ITER 129 NEW BEST:: SOT 79716 SOS 54413 HAS SOPS 45355 HAS SOUS 35692 HAS SOUPS 34868 WITH SCORE 34922.413
AT ITER 130 NEW BEST:: SOT 79170 SOS 53771 HAS SOPS 44830 HAS SOUS 34890 HAS SOUPS 34066 WITH SCORE 34119.771
AT ITER 131 NEW BEST:: SOT 78881 SOS 53457 HAS SOPS 44597 HAS SOUS 34623 HAS SOUPS 33799 WITH SCORE 33852.457
AT ITER 132 NEW BEST:: SOT 78841 SOS 53417 HAS SOPS 44552 HAS SOUS 34573 HAS SOUPS 33749 WITH SCORE 33802.417
AT ITER 133 NEW BEST:: SOT 78705 SOS 53265 HAS SOPS 44400 HAS SOUS 34442 HAS SOUPS 33618 WITH SCORE 33671.265
AT ITER 135 NEW BEST:: SOT 78689 SOS 53249 HAS SOPS 44377 HAS SOUS 34428 HAS SOUPS 33604 WITH SCORE 33657.249
AT ITER 138 NEW BEST:: SOT 78675 SOS 53235 HAS SOPS 44352 HAS SOUS 34414 HAS SOUPS 33582 WITH SCORE 33635.235
AT ITER 140 NEW BEST:: SOT 78583 SOS 53035 HAS SOPS 44060 HAS SOUS 34201 HAS SOUPS 33369 WITH SCORE 33422.035
AT ITER 146 NEW BEST:: SOT 78583 SOS 53006 HAS SOPS 44060 HAS SOUS 34201 HAS SOUPS 33369 WITH SCORE 33422.006
AT ITER 147 NEW BEST:: SOT 78575 SOS 52996 HAS SOPS 44050 HAS SOUS 34193 HAS SOUPS 33361 WITH SCORE 33413.996
AT ITER 151 NEW BEST:: SOT 78575 SOS 51916 HAS SOPS 42970 HAS SOUS 34167 HAS SOUPS 33335 WITH SCORE 33386.916
AT ITER 153 NEW BEST:: SOT 78453 SOS 51733 HAS SOPS 42787 HAS SOUS 34041 HAS SOUPS 33209 WITH SCORE 33260.733
AT ITER 154 NEW BEST:: SOT 78453 SOS 51518 HAS SOPS 42580 HAS SOUS 33994 HAS SOUPS 33162 WITH SCORE 33213.518
AT ITER 158 NEW BEST:: SOT 78403 SOS 51485 HAS SOPS 42572 HAS SOUS 33984 HAS SOUPS 33152 WITH SCORE 33203.485
AT ITER 159 NEW BEST:: SOT 78403 SOS 51559 HAS SOPS 42595 HAS SOUS 33956 HAS SOUPS 33124 WITH SCORE 33175.559
AT ITER 165 NEW BEST:: SOT 78137 SOS 51211 HAS SOPS 42424 HAS SOUS 33614 HAS SOUPS 32782 WITH SCORE 32833.211
AT ITER 167 NEW BEST:: SOT 78165 SOS 51098 HAS SOPS 42311 HAS SOUS 33603 HAS SOUPS 32771 WITH SCORE 32822.098
AT ITER 173 NEW BEST:: SOT 78172 SOS 51036 HAS SOPS 42325 HAS SOUS 33591 HAS SOUPS 32759 WITH SCORE 32810.036
AT ITER 174 NEW BEST:: SOT 77761 SOS 50310 HAS SOPS 41784 HAS SOUS 33276 HAS SOUPS 32444 WITH SCORE 32494.31
AT ITER 176 NEW BEST:: SOT 77753 SOS 50302 HAS SOPS 41776 HAS SOUS 33268 HAS SOUPS 32436 WITH SCORE 32486.302
AT ITER 177 NEW BEST:: SOT 77734 SOS 50283 HAS SOPS 41757 HAS SOUS 33225 HAS SOUPS 32393 WITH SCORE 32443.283
AT ITER 178 NEW BEST:: SOT 77734 SOS 50227 HAS SOPS 41701 HAS SOUS 33225 HAS SOUPS 32393 WITH SCORE 32443.227
AT ITER 185 NEW BEST:: SOT 77676 SOS 50169 HAS SOPS 41585 HAS SOUS 33114 HAS SOUPS 32282 WITH SCORE 32332.169
AT ITER 187 NEW BEST:: SOT 77676 SOS 50153 HAS SOPS 41638 HAS SOUS 33114 HAS SOUPS 32282 WITH SCORE 32332.153
AT ITER 188 NEW BEST:: SOT 77520 SOS 49939 HAS SOPS 41708 HAS SOUS 33111 HAS SOUPS 32279 WITH SCORE 32328.939
AT ITER 189 NEW BEST:: SOT 77520 SOS 49939 HAS SOPS 41587 HAS SOUS 33088 HAS SOUPS 32256 WITH SCORE 32305.939
AT ITER 191 NEW BEST:: SOT 77402 SOS 49786 HAS SOPS 41474 HAS SOUS 32978 HAS SOUPS 32146 WITH SCORE 32195.786
AT ITER 196 NEW BEST:: SOT 77370 SOS 49753 HAS SOPS 41425 HAS SOUS 32922 HAS SOUPS 32090 WITH SCORE 32139.753
AT ITER 197 NEW BEST:: SOT 77355 SOS 49738 HAS SOPS 41426 HAS SOUS 32904 HAS SOUPS 32072 WITH SCORE 32121.738
AT ITER 202 NEW BEST:: SOT 77357 SOS 49558 HAS SOPS 41255 HAS SOUS 32861 HAS SOUPS 32029 WITH SCORE 32078.558
AT ITER 205 NEW BEST:: SOT 77135 SOS 49330 HAS SOPS 41075 HAS SOUS 32597 HAS SOUPS 31807 WITH SCORE 31856.33
AT ITER 206 NEW BEST:: SOT 75840 SOS 53261 HAS SOPS 41712 HAS SOUS 32665 HAS SOUPS 31698 WITH SCORE 31751.261
AT ITER 213 NEW BEST:: SOT 75957 SOS 53136 HAS SOPS 41488 HAS SOUS 32638 HAS SOUPS 31671 WITH SCORE 31724.136
AT ITER 215 NEW BEST:: SOT 75586 SOS 52995 HAS SOPS 41617 HAS SOUS 32479 HAS SOUPS 31498 WITH SCORE 31550.995
AT ITER 219 NEW BEST:: SOT 75556 SOS 52965 HAS SOPS 41587 HAS SOUS 32429 HAS SOUPS 31448 WITH SCORE 31500.965
AT ITER 224 NEW BEST:: SOT 75545 SOS 52954 HAS SOPS 41556 HAS SOUS 32398 HAS SOUPS 31417 WITH SCORE 31469.954
AT ITER 227 NEW BEST:: SOT 75550 SOS 52961 HAS SOPS 41546 HAS SOUS 32387 HAS SOUPS 31406 WITH SCORE 31458.961
AT ITER 228 NEW BEST:: SOT 75508 SOS 52943 HAS SOPS 41618 HAS SOUS 32386 HAS SOUPS 31405 WITH SCORE 31457.943
AT ITER 229 NEW BEST:: SOT 75508 SOS 52545 HAS SOPS 41317 HAS SOUS 32386 HAS SOUPS 31405 WITH SCORE 31457.545
AT ITER 232 NEW BEST:: SOT 75768 SOS 50848 HAS SOPS 40945 HAS SOUS 32256 HAS SOUPS 31324 WITH SCORE 31374.848
AT ITER 235 NEW BEST:: SOT 75759 SOS 50789 HAS SOPS 40994 HAS SOUS 32251 HAS SOUPS 31319 WITH SCORE 31369.789
AT ITER 237 NEW BEST:: SOT 75576 SOS 50606 HAS SOPS 41000 HAS SOUS 32234 HAS SOUPS 31302 WITH SCORE 31352.606
AT ITER 238 NEW BEST:: SOT 74808 SOS 49771 HAS SOPS 40110 HAS SOUS 31323 HAS SOUPS 30391 WITH SCORE 30440.771
AT ITER 239 NEW BEST:: SOT 74554 SOS 49589 HAS SOPS 39951 HAS SOUS 31084 HAS SOUPS 30152 WITH SCORE 30201.589
AT ITER 248 NEW BEST:: SOT 74275 SOS 49310 HAS SOPS 39687 HAS SOUS 30773 HAS SOUPS 29841 WITH SCORE 29890.31
AT ITER 250 NEW BEST:: SOT 74246 SOS 49327 HAS SOPS 39675 HAS SOUS 30728 HAS SOUPS 29796 WITH SCORE 29845.327
AT ITER 251 NEW BEST:: SOT 74192 SOS 49273 HAS SOPS 39567 HAS SOUS 30642 HAS SOUPS 29710 WITH SCORE 29759.273
AT ITER 259 NEW BEST:: SOT 74192 SOS 49259 HAS SOPS 39567 HAS SOUS 30642 HAS SOUPS 29710 WITH SCORE 29759.259
AT ITER 263 NEW BEST:: SOT 73962 SOS 48962 HAS SOPS 39260 HAS SOUS 30367 HAS SOUPS 29431 WITH SCORE 29479.962
AT ITER 265 NEW BEST:: SOT 73946 SOS 48946 HAS SOPS 39240 HAS SOUS 30351 HAS SOUPS 29415 WITH SCORE 29463.946
AT ITER 272 NEW BEST:: SOT 73882 SOS 48882 HAS SOPS 39144 HAS SOUS 30255 HAS SOUPS 29319 WITH SCORE 29367.882
AT ITER 273 NEW BEST:: SOT 73938 SOS 48879 HAS SOPS 39184 HAS SOUS 30236 HAS SOUPS 29300 WITH SCORE 29348.879
AT ITER 279 NEW BEST:: SOT 73966 SOS 48732 HAS SOPS 39037 HAS SOUS 30222 HAS SOUPS 29286 WITH SCORE 29334.732
AT ITER 280 NEW BEST:: SOT 73962 SOS 48728 HAS SOPS 39031 HAS SOUS 30216 HAS SOUPS 29280 WITH SCORE 29328.728
AT ITER 283 NEW BEST:: SOT 73962 SOS 48790 HAS SOPS 39031 HAS SOUS 30208 HAS SOUPS 29272 WITH SCORE 29320.79
AT ITER 289 NEW BEST:: SOT 73572 SOS 48303 HAS SOPS 38899 HAS SOUS 30045 HAS SOUPS 29148 WITH SCORE 29196.303
AT ITER 290 NEW BEST:: SOT 73568 SOS 48299 HAS SOPS 38901 HAS SOUS 30039 HAS SOUPS 29142 WITH SCORE 29190.299
AT ITER 291 NEW BEST:: SOT 73431 SOS 48068 HAS SOPS 38670 HAS SOUS 29816 HAS SOUPS 28919 WITH SCORE 28967.068
AT ITER 292 NEW BEST:: SOT 73431 SOS 48068 HAS SOPS 38670 HAS SOUS 29812 HAS SOUPS 28915 WITH SCORE 28963.068
AT ITER 293 NEW BEST:: SOT 73439 SOS 48004 HAS SOPS 38614 HAS SOUS 29748 HAS SOUPS 28851 WITH SCORE 28899.004
AT ITER 295 NEW BEST:: SOT 73399 SOS 47964 HAS SOPS 38594 HAS SOUS 29724 HAS SOUPS 28827 WITH SCORE 28874.964
AT ITER 297 NEW BEST:: SOT 73346 SOS 47911 HAS SOPS 38541 HAS SOUS 29671 HAS SOUPS 28774 WITH SCORE 28821.911
AT ITER 299 NEW BEST:: SOT 73294 SOS 47871 HAS SOPS 38437 HAS SOUS 29567 HAS SOUPS 28670 WITH SCORE 28717.871
AT ITER 302 NEW BEST:: SOT 73158 SOS 47775 HAS SOPS 38389 HAS SOUS 29434 HAS SOUPS 28541 WITH SCORE 28588.775
AT ITER 305 NEW BEST:: SOT 71581 SOS 47355 HAS SOPS 37319 HAS SOUS 28443 HAS SOUPS 27480 WITH SCORE 27527.355
AT ITER 313 NEW BEST:: SOT 71605 SOS 47403 HAS SOPS 37271 HAS SOUS 28419 HAS SOUPS 27456 WITH SCORE 27503.403
AT ITER 317 NEW BEST:: SOT 71553 SOS 47351 HAS SOPS 37193 HAS SOUS 28330 HAS SOUPS 27367 WITH SCORE 27414.351
AT ITER 319 NEW BEST:: SOT 71439 SOS 47237 HAS SOPS 37022 HAS SOUS 28168 HAS SOUPS 27196 WITH SCORE 27243.237
AT ITER 320 NEW BEST:: SOT 71439 SOS 47292 HAS SOPS 37022 HAS SOUS 28160 HAS SOUPS 27188 WITH SCORE 27235.292
AT ITER 323 NEW BEST:: SOT 71301 SOS 47771 HAS SOPS 37039 HAS SOUS 28157 HAS SOUPS 27169 WITH SCORE 27216.771
AT ITER 329 NEW BEST:: SOT 71301 SOS 47761 HAS SOPS 37029 HAS SOUS 28157 HAS SOUPS 27169 WITH SCORE 27216.761
AT ITER 330 NEW BEST:: SOT 70719 SOS 47153 HAS SOPS 36808 HAS SOUS 27814 HAS SOUPS 26845 WITH SCORE 26892.153
AT ITER 334 NEW BEST:: SOT 70698 SOS 47132 HAS SOPS 36771 HAS SOUS 27777 HAS SOUPS 26808 WITH SCORE 26855.132
AT ITER 338 NEW BEST:: SOT 70414 SOS 47096 HAS SOPS 36921 HAS SOUS 27750 HAS SOUPS 26781 WITH SCORE 26828.096
AT ITER 342 NEW BEST:: SOT 70414 SOS 47152 HAS SOPS 36958 HAS SOUS 27683 HAS SOUPS 26714 WITH SCORE 26761.152
AT ITER 347 NEW BEST:: SOT 70344 SOS 47151 HAS SOPS 36960 HAS SOUS 27665 HAS SOUPS 26696 WITH SCORE 26743.151
AT ITER 349 NEW BEST:: SOT 70260 SOS 47067 HAS SOPS 37002 HAS SOUS 27554 HAS SOUPS 26631 WITH SCORE 26678.067
AT ITER 350 NEW BEST:: SOT 70188 SOS 46917 HAS SOPS 36895 HAS SOUS 27446 HAS SOUPS 26523 WITH SCORE 26569.917
AT ITER 351 NEW BEST:: SOT 70123 SOS 46852 HAS SOPS 36846 HAS SOUS 27392 HAS SOUPS 26474 WITH SCORE 26520.852
AT ITER 358 NEW BEST:: SOT 70049 SOS 46727 HAS SOPS 36749 HAS SOUS 27281 HAS SOUPS 26363 WITH SCORE 26409.727
AT ITER 368 NEW BEST:: SOT 69929 SOS 46574 HAS SOPS 36569 HAS SOUS 27139 HAS SOUPS 26221 WITH SCORE 26267.574
AT ITER 371 NEW BEST:: SOT 69821 SOS 46430 HAS SOPS 36407 HAS SOUS 26977 HAS SOUPS 26059 WITH SCORE 26105.43
AT ITER 373 NEW BEST:: SOT 69652 SOS 46215 HAS SOPS 36292 HAS SOUS 26858 HAS SOUPS 25940 WITH SCORE 25986.215
AT ITER 375 NEW BEST:: SOT 69638 SOS 46201 HAS SOPS 36265 HAS SOUS 26835 HAS SOUPS 25917 WITH SCORE 25963.201
AT ITER 376 NEW BEST:: SOT 69449 SOS 46456 HAS SOPS 36488 HAS SOUS 26748 HAS SOUPS 25830 WITH SCORE 25876.456
AT ITER 378 NEW BEST:: SOT 69419 SOS 46364 HAS SOPS 36284 HAS SOUS 26650 HAS SOUPS 25732 WITH SCORE 25778.364
AT ITER 380 NEW BEST:: SOT 69332 SOS 46292 HAS SOPS 36188 HAS SOUS 26584 HAS SOUPS 25666 WITH SCORE 25712.292
AT ITER 389 NEW BEST:: SOT 69356 SOS 46276 HAS SOPS 36146 HAS SOUS 26583 HAS SOUPS 25646 WITH SCORE 25692.276
AT ITER 395 NEW BEST:: SOT 69330 SOS 46211 HAS SOPS 36094 HAS SOUS 26544 HAS SOUPS 25607 WITH SCORE 25653.211
AT ITER 399 NEW BEST:: SOT 69306 SOS 46143 HAS SOPS 36046 HAS SOUS 26508 HAS SOUPS 25571 WITH SCORE 25617.143
AT ITER 401 NEW BEST:: SOT 68989 SOS 46479 HAS SOPS 36055 HAS SOUS 26372 HAS SOUPS 25412 WITH SCORE 25458.479
AT ITER 403 NEW BEST:: SOT 68984 SOS 46469 HAS SOPS 36045 HAS SOUS 26362 HAS SOUPS 25402 WITH SCORE 25448.469
AT ITER 405 NEW BEST:: SOT 66472 SOS 46681 HAS SOPS 34364 HAS SOUS 25013 HAS SOUPS 23921 WITH SCORE 23967.681
AT ITER 407 NEW BEST:: SOT 66470 SOS 46679 HAS SOPS 34361 HAS SOUS 24992 HAS SOUPS 23900 WITH SCORE 23946.679
AT ITER 411 NEW BEST:: SOT 66335 SOS 46544 HAS SOPS 34158 HAS SOUS 24721 HAS SOUPS 23629 WITH SCORE 23675.544
AT ITER 414 NEW BEST:: SOT 66291 SOS 46491 HAS SOPS 34074 HAS SOUS 24676 HAS SOUPS 23584 WITH SCORE 23630.491
AT ITER 424 NEW BEST:: SOT 66235 SOS 46664 HAS SOPS 34026 HAS SOUS 24652 HAS SOUPS 23552 WITH SCORE 23598.664
AT ITER 428 NEW BEST:: SOT 65750 SOS 50815 HAS SOPS 35805 HAS SOUS 24719 HAS SOUPS 23519 WITH SCORE 23569.815
AT ITER 429 NEW BEST:: SOT 65701 SOS 50803 HAS SOPS 35850 HAS SOUS 24695 HAS SOUPS 23495 WITH SCORE 23545.803
AT ITER 436 NEW BEST:: SOT 65736 SOS 50792 HAS SOPS 35879 HAS SOUS 24658 HAS SOUPS 23458 WITH SCORE 23508.792
AT ITER 437 NEW BEST:: SOT 65670 SOS 50726 HAS SOPS 35774 HAS SOUS 24553 HAS SOUPS 23353 WITH SCORE 23403.726
AT ITER 438 NEW BEST:: SOT 65670 SOS 50714 HAS SOPS 35774 HAS SOUS 24553 HAS SOUPS 23353 WITH SCORE 23403.714
AT ITER 439 NEW BEST:: SOT 65490 SOS 50534 HAS SOPS 35504 HAS SOUS 24247 HAS SOUPS 23047 WITH SCORE 23097.534
AT ITER 441 NEW BEST:: SOT 65020 SOS 50064 HAS SOPS 35034 HAS SOUS 24025 HAS SOUPS 22825 WITH SCORE 22875.064
AT ITER 445 NEW BEST:: SOT 64999 SOS 50043 HAS SOPS 35013 HAS SOUS 24004 HAS SOUPS 22804 WITH SCORE 22854.043
AT ITER 446 NEW BEST:: SOT 64644 SOS 49668 HAS SOPS 34474 HAS SOUS 23503 HAS SOUPS 22303 WITH SCORE 22352.668
AT ITER 456 NEW BEST:: SOT 64556 SOS 49589 HAS SOPS 34342 HAS SOUS 23383 HAS SOUPS 22183 WITH SCORE 22232.589
AT ITER 461 NEW BEST:: SOT 64510 SOS 49543 HAS SOPS 34337 HAS SOUS 23314 HAS SOUPS 22114 WITH SCORE 22163.543
AT ITER 464 NEW BEST:: SOT 64490 SOS 49524 HAS SOPS 34298 HAS SOUS 23274 HAS SOUPS 22074 WITH SCORE 22123.524
AT ITER 465 NEW BEST:: SOT 64455 SOS 49471 HAS SOPS 34218 HAS SOUS 23239 HAS SOUPS 22039 WITH SCORE 22088.471
AT ITER 471 NEW BEST:: SOT 64342 SOS 49385 HAS SOPS 34277 HAS SOUS 23230 HAS SOUPS 22030 WITH SCORE 22079.385
AT ITER 478 NEW BEST:: SOT 64312 SOS 49355 HAS SOPS 34237 HAS SOUS 23200 HAS SOUPS 22000 WITH SCORE 22049.355
AT ITER 479 NEW BEST:: SOT 64289 SOS 49332 HAS SOPS 34251 HAS SOUS 23178 HAS SOUPS 21978 WITH SCORE 22027.332
AT ITER 482 NEW BEST:: SOT 64073 SOS 49116 HAS SOPS 34077 HAS SOUS 23002 HAS SOUPS 21802 WITH SCORE 21851.116
AT ITER 492 NEW BEST:: SOT 64073 SOS 49145 HAS SOPS 34106 HAS SOUS 23001 HAS SOUPS 21801 WITH SCORE 21850.145
AT ITER 495 NEW BEST:: SOT 63756 SOS 49846 HAS SOPS 34139 HAS SOUS 22996 HAS SOUPS 21760 WITH SCORE 21809.846
AT ITER 500 NEW BEST:: SOT 63690 SOS 49780 HAS SOPS 34040 HAS SOUS 22907 HAS SOUPS 21671 WITH SCORE 21720.78
AT ITER 504 NEW BEST:: SOT 63749 SOS 49839 HAS SOPS 33961 HAS SOUS 22715 HAS SOUPS 21479 WITH SCORE 21528.839
AT ITER 514 NEW BEST:: SOT 63619 SOS 49709 HAS SOPS 33805 HAS SOUS 22559 HAS SOUPS 21323 WITH SCORE 21372.709
AT ITER 516 NEW BEST:: SOT 63584 SOS 49674 HAS SOPS 33735 HAS SOUS 22537 HAS SOUPS 21301 WITH SCORE 21350.674
AT ITER 517 NEW BEST:: SOT 63540 SOS 49630 HAS SOPS 33669 HAS SOUS 22524 HAS SOUPS 21288 WITH SCORE 21337.63
AT ITER 527 NEW BEST:: SOT 63466 SOS 49556 HAS SOPS 33595 HAS SOUS 22455 HAS SOUPS 21219 WITH SCORE 21268.556
AT ITER 529 NEW BEST:: SOT 63581 SOS 48512 HAS SOPS 33255 HAS SOUS 22432 HAS SOUPS 21219 WITH SCORE 21267.512
AT ITER 538 NEW BEST:: SOT 63515 SOS 48467 HAS SOPS 33068 HAS SOUS 22336 HAS SOUPS 21123 WITH SCORE 21171.467
AT ITER 546 NEW BEST:: SOT 63313 SOS 48265 HAS SOPS 32748 HAS SOUS 22075 HAS SOUPS 20862 WITH SCORE 20910.265
AT ITER 562 NEW BEST:: SOT 63289 SOS 48241 HAS SOPS 32712 HAS SOUS 21945 HAS SOUPS 20732 WITH SCORE 20780.241
AT ITER 563 NEW BEST:: SOT 63289 SOS 48241 HAS SOPS 32532 HAS SOUS 21841 HAS SOUPS 20628 WITH SCORE 20676.241
AT ITER 573 NEW BEST:: SOT 63279 SOS 48258 HAS SOPS 32549 HAS SOUS 21838 HAS SOUPS 20625 WITH SCORE 20673.258
AT ITER 577 NEW BEST:: SOT 63187 SOS 48166 HAS SOPS 32411 HAS SOUS 21741 HAS SOUPS 20522 WITH SCORE 20570.166
AT ITER 580 NEW BEST:: SOT 63105 SOS 48084 HAS SOPS 32448 HAS SOUS 21707 HAS SOUPS 20507 WITH SCORE 20555.084
AT ITER 585 NEW BEST:: SOT 63093 SOS 48072 HAS SOPS 32424 HAS SOUS 21676 HAS SOUPS 20476 WITH SCORE 20524.072
AT ITER 586 NEW BEST:: SOT 63115 SOS 48108 HAS SOPS 32352 HAS SOUS 21660 HAS SOUPS 20460 WITH SCORE 20508.108
AT ITER 588 NEW BEST:: SOT 62969 SOS 47962 HAS SOPS 32252 HAS SOUS 21528 HAS SOUPS 20328 WITH SCORE 20375.962
AT ITER 594 NEW BEST:: SOT 62955 SOS 47956 HAS SOPS 32246 HAS SOUS 21500 HAS SOUPS 20300 WITH SCORE 20347.956
AT ITER 598 NEW BEST:: SOT 62795 SOS 47796 HAS SOPS 32006 HAS SOUS 21300 HAS SOUPS 20100 WITH SCORE 20147.796
AT ITER 614 NEW BEST:: SOT 62787 SOS 47788 HAS SOPS 31994 HAS SOUS 21294 HAS SOUPS 20094 WITH SCORE 20141.788
AT ITER 623 NEW BEST:: SOT 62941 SOS 47732 HAS SOPS 31938 HAS SOUS 21281 HAS SOUPS 20081 WITH SCORE 20128.732
AT ITER 625 NEW BEST:: SOT 62915 SOS 47706 HAS SOPS 31874 HAS SOUS 21242 HAS SOUPS 20042 WITH SCORE 20089.706
AT ITER 627 NEW BEST:: SOT 62863 SOS 47654 HAS SOPS 31805 HAS SOUS 21169 HAS SOUPS 19969 WITH SCORE 20016.654
AT ITER 632 NEW BEST:: SOT 62958 SOS 47517 HAS SOPS 31569 HAS SOUS 21121 HAS SOUPS 19921 WITH SCORE 19968.517
AT ITER 635 NEW BEST:: SOT 62685 SOS 47244 HAS SOPS 31205 HAS SOUS 20908 HAS SOUPS 19708 WITH SCORE 19755.244
AT ITER 636 NEW BEST:: SOT 62685 SOS 47244 HAS SOPS 31205 HAS SOUS 20896 HAS SOUPS 19696 WITH SCORE 19743.244
AT ITER 641 NEW BEST:: SOT 62575 SOS 47134 HAS SOPS 31074 HAS SOUS 20774 HAS SOUPS 19566 WITH SCORE 19613.134
AT ITER 649 NEW BEST:: SOT 62547 SOS 47119 HAS SOPS 31049 HAS SOUS 20739 HAS SOUPS 19531 WITH SCORE 19578.119
AT ITER 654 NEW BEST:: SOT 62499 SOS 47071 HAS SOPS 30953 HAS SOUS 20667 HAS SOUPS 19459 WITH SCORE 19506.071
AT ITER 660 NEW BEST:: SOT 62495 SOS 47067 HAS SOPS 30945 HAS SOUS 20627 HAS SOUPS 19417 WITH SCORE 19464.067
AT ITER 670 NEW BEST:: SOT 62487 SOS 47059 HAS SOPS 30933 HAS SOUS 20589 HAS SOUPS 19379 WITH SCORE 19426.059
AT ITER 678 NEW BEST:: SOT 62481 SOS 47053 HAS SOPS 30924 HAS SOUS 20577 HAS SOUPS 19367 WITH SCORE 19414.053
AT ITER 680 NEW BEST:: SOT 62465 SOS 46988 HAS SOPS 30864 HAS SOUS 20552 HAS SOUPS 19342 WITH SCORE 19388.988
AT ITER 683 NEW BEST:: SOT 62285 SOS 47500 HAS SOPS 30884 HAS SOUS 20524 HAS SOUPS 19295 WITH SCORE 19342.5
AT ITER 688 NEW BEST:: SOT 62261 SOS 47427 HAS SOPS 30776 HAS SOUS 20486 HAS SOUPS 19257 WITH SCORE 19304.427
AT ITER 695 NEW BEST:: SOT 62235 SOS 47401 HAS SOPS 30737 HAS SOUS 20462 HAS SOUPS 19233 WITH SCORE 19280.401
AT ITER 699 NEW BEST:: SOT 62235 SOS 47401 HAS SOPS 30737 HAS SOUS 20429 HAS SOUPS 19200 WITH SCORE 19247.401
AT ITER 700 NEW BEST:: SOT 62235 SOS 47401 HAS SOPS 30737 HAS SOUS 20427 HAS SOUPS 19198 WITH SCORE 19245.401
AT ITER 716 NEW BEST:: SOT 62419 SOS 47585 HAS SOPS 30934 HAS SOUS 20411 HAS SOUPS 19182 WITH SCORE 19229.585
AT ITER 719 NEW BEST:: SOT 62409 SOS 47575 HAS SOPS 30914 HAS SOUS 20385 HAS SOUPS 19156 WITH SCORE 19203.575
AT ITER 721 NEW BEST:: SOT 62349 SOS 47491 HAS SOPS 30930 HAS SOUS 20333 HAS SOUPS 19104 WITH SCORE 19151.491
AT ITER 729 NEW BEST:: SOT 62260 SOS 47436 HAS SOPS 30832 HAS SOUS 20256 HAS SOUPS 19027 WITH SCORE 19074.436
AT ITER 737 NEW BEST:: SOT 62268 SOS 47444 HAS SOPS 30808 HAS SOUS 20123 HAS SOUPS 18894 WITH SCORE 18941.444
AT ITER 741 NEW BEST:: SOT 62356 SOS 47532 HAS SOPS 31022 HAS SOUS 20128 HAS SOUPS 18870 WITH SCORE 18917.532
AT ITER 749 NEW BEST:: SOT 62416 SOS 47592 HAS SOPS 30768 HAS SOUS 19933 HAS SOUPS 18675 WITH SCORE 18722.592
AT ITER 750 NEW BEST:: SOT 62423 SOS 47599 HAS SOPS 30754 HAS SOUS 19919 HAS SOUPS 18661 WITH SCORE 18708.599
AT ITER 754 NEW BEST:: SOT 62413 SOS 47589 HAS SOPS 30739 HAS SOUS 19909 HAS SOUPS 18651 WITH SCORE 18698.589
AT ITER 758 NEW BEST:: SOT 62405 SOS 47581 HAS SOPS 30727 HAS SOUS 19897 HAS SOUPS 18639 WITH SCORE 18686.581
AT ITER 766 NEW BEST:: SOT 62166 SOS 47342 HAS SOPS 30432 HAS SOUS 19647 HAS SOUPS 18389 WITH SCORE 18436.342
AT ITER 770 NEW BEST:: SOT 62136 SOS 47312 HAS SOPS 30387 HAS SOUS 19602 HAS SOUPS 18344 WITH SCORE 18391.312
AT ITER 778 NEW BEST:: SOT 62136 SOS 47312 HAS SOPS 30323 HAS SOUS 19554 HAS SOUPS 18296 WITH SCORE 18343.312
AT ITER 779 NEW BEST:: SOT 62098 SOS 47274 HAS SOPS 30314 HAS SOUS 19539 HAS SOUPS 18281 WITH SCORE 18328.274
AT ITER 783 NEW BEST:: SOT 62012 SOS 47188 HAS SOPS 30142 HAS SOUS 19378 HAS SOUPS 18120 WITH SCORE 18167.188
AT ITER 787 NEW BEST:: SOT 62010 SOS 47186 HAS SOPS 30139 HAS SOUS 19377 HAS SOUPS 18119 WITH SCORE 18166.186
AT ITER 788 NEW BEST:: SOT 62000 SOS 47176 HAS SOPS 30097 HAS SOUS 19270 HAS SOUPS 18012 WITH SCORE 18059.176
AT ITER 789 NEW BEST:: SOT 61966 SOS 47142 HAS SOPS 30059 HAS SOUS 19221 HAS SOUPS 17963 WITH SCORE 18010.142
AT ITER 793 NEW BEST:: SOT 61878 SOS 47054 HAS SOPS 29971 HAS SOUS 19186 HAS SOUPS 17928 WITH SCORE 17975.054
AT ITER 794 NEW BEST:: SOT 61802 SOS 46978 HAS SOPS 29857 HAS SOUS 19078 HAS SOUPS 17820 WITH SCORE 17866.978
AT ITER 798 NEW BEST:: SOT 61782 SOS 47016 HAS SOPS 29817 HAS SOUS 19048 HAS SOUPS 17790 WITH SCORE 17837.016
AT ITER 799 NEW BEST:: SOT 61768 SOS 46941 HAS SOPS 29716 HAS SOUS 18943 HAS SOUPS 17685 WITH SCORE 17731.941
AT ITER 800 NEW BEST:: SOT 61768 SOS 46941 HAS SOPS 29716 HAS SOUS 18907 HAS SOUPS 17649 WITH SCORE 17695.941
AT ITER 822 NEW BEST:: SOT 61772 SOS 46801 HAS SOPS 29593 HAS SOUS 18888 HAS SOUPS 17630 WITH SCORE 17676.801
AT ITER 823 NEW BEST:: SOT 61892 SOS 46564 HAS SOPS 29414 HAS SOUS 18854 HAS SOUPS 17596 WITH SCORE 17642.564
AT ITER 836 NEW BEST:: SOT 61898 SOS 46480 HAS SOPS 29330 HAS SOUS 18854 HAS SOUPS 17596 WITH SCORE 17642.48
AT ITER 842 NEW BEST:: SOT 61844 SOS 46426 HAS SOPS 29249 HAS SOUS 18799 HAS SOUPS 17541 WITH SCORE 17587.426
AT ITER 844 NEW BEST:: SOT 61844 SOS 46408 HAS SOPS 29249 HAS SOUS 18799 HAS SOUPS 17541 WITH SCORE 17587.408
AT ITER 847 NEW BEST:: SOT 61846 SOS 46410 HAS SOPS 29253 HAS SOUS 18795 HAS SOUPS 17537 WITH SCORE 17583.41
AT ITER 856 NEW BEST:: SOT 61812 SOS 46376 HAS SOPS 29202 HAS SOUS 18738 HAS SOUPS 17480 WITH SCORE 17526.376
AT ITER 857 NEW BEST:: SOT 61530 SOS 46094 HAS SOPS 28638 HAS SOUS 18249 HAS SOUPS 16956 WITH SCORE 17002.094
AT ITER 889 NEW BEST:: SOT 61498 SOS 46062 HAS SOPS 28629 HAS SOUS 18230 HAS SOUPS 16937 WITH SCORE 16983.062
AT ITER 896 NEW BEST:: SOT 61358 SOS 45922 HAS SOPS 28629 HAS SOUS 18209 HAS SOUPS 16916 WITH SCORE 16961.922
AT ITER 905 NEW BEST:: SOT 61358 SOS 45917 HAS SOPS 28485 HAS SOUS 18182 HAS SOUPS 16889 WITH SCORE 16934.917
AT ITER 908 NEW BEST:: SOT 61423 SOS 45263 HAS SOPS 28221 HAS SOUS 18169 HAS SOUPS 16889 WITH SCORE 16934.263
AT ITER 912 NEW BEST:: SOT 61366 SOS 45058 HAS SOPS 28031 HAS SOUS 18131 HAS SOUPS 16851 WITH SCORE 16896.058
AT ITER 916 NEW BEST:: SOT 61250 SOS 44942 HAS SOPS 27913 HAS SOUS 18109 HAS SOUPS 16829 WITH SCORE 16873.942
AT ITER 918 NEW BEST:: SOT 61287 SOS 44979 HAS SOPS 27623 HAS SOUS 17953 HAS SOUPS 16673 WITH SCORE 16717.979
AT ITER 923 NEW BEST:: SOT 61171 SOS 44863 HAS SOPS 27435 HAS SOUS 17813 HAS SOUPS 16533 WITH SCORE 16577.863
AT ITER 929 NEW BEST:: SOT 61125 SOS 44819 HAS SOPS 27408 HAS SOUS 17780 HAS SOUPS 16500 WITH SCORE 16544.819
AT ITER 934 NEW BEST:: SOT 61058 SOS 44794 HAS SOPS 27341 HAS SOUS 17755 HAS SOUPS 16475 WITH SCORE 16519.794
AT ITER 936 NEW BEST:: SOT 61058 SOS 44794 HAS SOPS 27341 HAS SOUS 17754 HAS SOUPS 16474 WITH SCORE 16518.794
AT ITER 939 NEW BEST:: SOT 61058 SOS 44794 HAS SOPS 27341 HAS SOUS 17744 HAS SOUPS 16464 WITH SCORE 16508.794
AT ITER 941 NEW BEST:: SOT 61054 SOS 44790 HAS SOPS 27335 HAS SOUS 17707 HAS SOUPS 16427 WITH SCORE 16471.79
AT ITER 943 NEW BEST:: SOT 61050 SOS 44786 HAS SOPS 27329 HAS SOUS 17701 HAS SOUPS 16421 WITH SCORE 16465.786
AT ITER 944 NEW BEST:: SOT 60968 SOS 44671 HAS SOPS 27203 HAS SOUS 17544 HAS SOUPS 16264 WITH SCORE 16308.671
AT ITER 948 NEW BEST:: SOT 60956 SOS 44659 HAS SOPS 27185 HAS SOUS 17520 HAS SOUPS 16240 WITH SCORE 16284.659
AT ITER 965 NEW BEST:: SOT 60887 SOS 44639 HAS SOPS 27201 HAS SOUS 17474 HAS SOUPS 16194 WITH SCORE 16238.639
AT ITER 989 NEW BEST:: SOT 60869 SOS 44621 HAS SOPS 27165 HAS SOUS 17447 HAS SOUPS 16167 WITH SCORE 16211.621
AT ITER 1006 NEW BEST:: SOT 60869 SOS 44622 HAS SOPS 27166 HAS SOUS 17442 HAS SOUPS 16162 WITH SCORE 16206.622
AT ITER 1008 NEW BEST:: SOT 60851 SOS 44604 HAS SOPS 27175 HAS SOUS 17433 HAS SOUPS 16153 WITH SCORE 16197.604
AT ITER 1021 NEW BEST:: SOT 60859 SOS 44612 HAS SOPS 27114 HAS SOUS 17394 HAS SOUPS 16114 WITH SCORE 16158.612
AT ITER 1026 NEW BEST:: SOT 60883 SOS 44636 HAS SOPS 27072 HAS SOUS 17356 HAS SOUPS 16076 WITH SCORE 16120.636
AT ITER 1032 NEW BEST:: SOT 60891 SOS 44644 HAS SOPS 27088 HAS SOUS 17355 HAS SOUPS 16075 WITH SCORE 16119.644
AT ITER 1044 NEW BEST:: SOT 60818 SOS 44577 HAS SOPS 27056 HAS SOUS 17287 HAS SOUPS 16007 WITH SCORE 16051.577
AT ITER 1047 NEW BEST:: SOT 60818 SOS 44577 HAS SOPS 27056 HAS SOUS 17222 HAS SOUPS 15942 WITH SCORE 15986.577
AT ITER 1049 NEW BEST:: SOT 60758 SOS 44775 HAS SOPS 27104 HAS SOUS 17192 HAS SOUPS 15906 WITH SCORE 15950.775
AT ITER 1064 NEW BEST:: SOT 60762 SOS 44779 HAS SOPS 27083 HAS SOUS 17189 HAS SOUPS 15903 WITH SCORE 15947.779
AT ITER 1066 NEW BEST:: SOT 60760 SOS 44777 HAS SOPS 27080 HAS SOUS 17186 HAS SOUPS 15901 WITH SCORE 15945.777
AT ITER 1067 NEW BEST:: SOT 60742 SOS 44759 HAS SOPS 27039 HAS SOUS 17150 HAS SOUPS 15865 WITH SCORE 15909.759
AT ITER 1068 NEW BEST:: SOT 60461 SOS 44481 HAS SOPS 26641 HAS SOUS 16762 HAS SOUPS 15477 WITH SCORE 15521.481
AT ITER 1069 NEW BEST:: SOT 60391 SOS 44413 HAS SOPS 26541 HAS SOUS 16627 HAS SOUPS 15342 WITH SCORE 15386.413
AT ITER 1072 NEW BEST:: SOT 60365 SOS 44397 HAS SOPS 26533 HAS SOUS 16574 HAS SOUPS 15289 WITH SCORE 15333.397
AT ITER 1073 NEW BEST:: SOT 60353 SOS 44385 HAS SOPS 26521 HAS SOUS 16556 HAS SOUPS 15271 WITH SCORE 15315.385
AT ITER 1078 NEW BEST:: SOT 60355 SOS 44387 HAS SOPS 26523 HAS SOUS 16552 HAS SOUPS 15267 WITH SCORE 15311.387
AT ITER 1083 NEW BEST:: SOT 60287 SOS 44307 HAS SOPS 26443 HAS SOUS 16450 HAS SOUPS 15165 WITH SCORE 15209.307
AT ITER 1099 NEW BEST:: SOT 60255 SOS 44275 HAS SOPS 26330 HAS SOUS 16357 HAS SOUPS 15072 WITH SCORE 15116.275
AT ITER 1105 NEW BEST:: SOT 60249 SOS 44269 HAS SOPS 26312 HAS SOUS 16351 HAS SOUPS 15066 WITH SCORE 15110.269
AT ITER 1114 NEW BEST:: SOT 60149 SOS 44169 HAS SOPS 26162 HAS SOUS 16155 HAS SOUPS 14870 WITH SCORE 14914.169
AT ITER 1118 NEW BEST:: SOT 60093 SOS 44113 HAS SOPS 26078 HAS SOUS 16065 HAS SOUPS 14780 WITH SCORE 14824.113
AT ITER 1126 NEW BEST:: SOT 60099 SOS 44119 HAS SOPS 26117 HAS SOUS 16056 HAS SOUPS 14771 WITH SCORE 14815.119
AT ITER 1135 NEW BEST:: SOT 60099 SOS 44119 HAS SOPS 26117 HAS SOUS 16036 HAS SOUPS 14751 WITH SCORE 14795.119
AT ITER 1156 NEW BEST:: SOT 60093 SOS 44113 HAS SOPS 26108 HAS SOUS 16030 HAS SOUPS 14745 WITH SCORE 14789.113
AT ITER 1159 NEW BEST:: SOT 60089 SOS 44106 HAS SOPS 26101 HAS SOUS 16023 HAS SOUPS 14738 WITH SCORE 14782.106
AT ITER 1161 NEW BEST:: SOT 60087 SOS 44104 HAS SOPS 26099 HAS SOUS 16021 HAS SOUPS 14736 WITH SCORE 14780.104
AT ITER 1175 NEW BEST:: SOT 60073 SOS 44090 HAS SOPS 26078 HAS SOUS 16013 HAS SOUPS 14728 WITH SCORE 14772.09
AT ITER 1206 NEW BEST:: SOT 60067 SOS 44084 HAS SOPS 26071 HAS SOUS 16007 HAS SOUPS 14722 WITH SCORE 14766.084
AT ITER 1217 NEW BEST:: SOT 60053 SOS 44070 HAS SOPS 26043 HAS SOUS 15986 HAS SOUPS 14701 WITH SCORE 14745.07
AT ITER 1221 NEW BEST:: SOT 60053 SOS 44043 HAS SOPS 26016 HAS SOUS 15966 HAS SOUPS 14681 WITH SCORE 14725.043
AT ITER 1222 NEW BEST:: SOT 59835 SOS 43809 HAS SOPS 25782 HAS SOUS 15704 HAS SOUPS 14419 WITH SCORE 14462.809
AT ITER 1225 NEW BEST:: SOT 59789 SOS 43724 HAS SOPS 25668 HAS SOUS 15614 HAS SOUPS 14329 WITH SCORE 14372.724
AT ITER 1226 NEW BEST:: SOT 59785 SOS 43685 HAS SOPS 25662 HAS SOUS 15601 HAS SOUPS 14316 WITH SCORE 14359.685
AT ITER 1229 NEW BEST:: SOT 59767 SOS 43697 HAS SOPS 25635 HAS SOUS 15570 HAS SOUPS 14285 WITH SCORE 14328.697
AT ITER 1232 NEW BEST:: SOT 59778 SOS 43708 HAS SOPS 25613 HAS SOUS 15559 HAS SOUPS 14274 WITH SCORE 14317.708
AT ITER 1237 NEW BEST:: SOT 59790 SOS 43760 HAS SOPS 25665 HAS SOUS 15549 HAS SOUPS 14264 WITH SCORE 14307.76
AT ITER 1238 NEW BEST:: SOT 59707 SOS 43677 HAS SOPS 25569 HAS SOUS 15440 HAS SOUPS 14155 WITH SCORE 14198.677
AT ITER 1244 NEW BEST:: SOT 59689 SOS 43659 HAS SOPS 25545 HAS SOUS 15413 HAS SOUPS 14128 WITH SCORE 14171.659
AT ITER 1251 NEW BEST:: SOT 59689 SOS 43644 HAS SOPS 25545 HAS SOUS 15413 HAS SOUPS 14128 WITH SCORE 14171.644
AT ITER 1270 NEW BEST:: SOT 59639 SOS 43594 HAS SOPS 25511 HAS SOUS 15379 HAS SOUPS 14094 WITH SCORE 14137.594
AT ITER 1277 NEW BEST:: SOT 59509 SOS 43464 HAS SOPS 25251 HAS SOUS 15138 HAS SOUPS 13853 WITH SCORE 13896.464
AT ITER 1282 NEW BEST:: SOT 59525 SOS 43480 HAS SOPS 25267 HAS SOUS 15128 HAS SOUPS 13843 WITH SCORE 13886.48
AT ITER 1302 NEW BEST:: SOT 59505 SOS 43460 HAS SOPS 25229 HAS SOUS 15072 HAS SOUPS 13787 WITH SCORE 13830.46
AT ITER 1305 NEW BEST:: SOT 59365 SOS 43320 HAS SOPS 25261 HAS SOUS 15057 HAS SOUPS 13772 WITH SCORE 13815.32
AT ITER 1313 NEW BEST:: SOT 59353 SOS 43308 HAS SOPS 25237 HAS SOUS 15039 HAS SOUPS 13754 WITH SCORE 13797.308
AT ITER 1322 NEW BEST:: SOT 59321 SOS 43276 HAS SOPS 25173 HAS SOUS 14975 HAS SOUPS 13690 WITH SCORE 13733.276
AT ITER 1336 NEW BEST:: SOT 59214 SOS 43169 HAS SOPS 25004 HAS SOUS 14744 HAS SOUPS 13459 WITH SCORE 13502.169
AT ITER 1372 NEW BEST:: SOT 59209 SOS 43164 HAS SOPS 24999 HAS SOUS 14738 HAS SOUPS 13453 WITH SCORE 13496.164
AT ITER 1398 NEW BEST:: SOT 59209 SOS 43164 HAS SOPS 24999 HAS SOUS 14724 HAS SOUPS 13439 WITH SCORE 13482.164
AT ITER 1410 NEW BEST:: SOT 59179 SOS 43134 HAS SOPS 24954 HAS SOUS 14694 HAS SOUPS 13409 WITH SCORE 13452.134
AT ITER 1414 NEW BEST:: SOT 59173 SOS 43074 HAS SOPS 24763 HAS SOUS 14671 HAS SOUPS 13386 WITH SCORE 13429.074
AT ITER 1420 NEW BEST:: SOT 59100 SOS 43001 HAS SOPS 24775 HAS SOUS 14648 HAS SOUPS 13363 WITH SCORE 13406.001
AT ITER 1426 NEW BEST:: SOT 58956 SOS 42857 HAS SOPS 24560 HAS SOUS 14432 HAS SOUPS 13147 WITH SCORE 13189.857
AT ITER 1445 NEW BEST:: SOT 58944 SOS 42845 HAS SOPS 24524 HAS SOUS 14402 HAS SOUPS 13117 WITH SCORE 13159.845
AT ITER 1449 NEW BEST:: SOT 58880 SOS 42781 HAS SOPS 24589 HAS SOUS 14388 HAS SOUPS 13103 WITH SCORE 13145.781
AT ITER 1450 NEW BEST:: SOT 58878 SOS 42779 HAS SOPS 24518 HAS SOUS 14343 HAS SOUPS 13058 WITH SCORE 13100.779
AT ITER 1468 NEW BEST:: SOT 58903 SOS 42804 HAS SOPS 24543 HAS SOUS 14329 HAS SOUPS 13044 WITH SCORE 13086.804
AT ITER 1474 NEW BEST:: SOT 58887 SOS 42788 HAS SOPS 24483 HAS SOUS 14278 HAS SOUPS 12993 WITH SCORE 13035.788
AT ITER 1481 NEW BEST:: SOT 58833 SOS 42734 HAS SOPS 24392 HAS SOUS 14197 HAS SOUPS 12912 WITH SCORE 12954.734
AT ITER 1497 NEW BEST:: SOT 58855 SOS 42734 HAS SOPS 24395 HAS SOUS 14186 HAS SOUPS 12901 WITH SCORE 12943.734
AT ITER 1503 NEW BEST:: SOT 58851 SOS 42712 HAS SOPS 24374 HAS SOUS 14176 HAS SOUPS 12891 WITH SCORE 12933.712
AT ITER 1521 NEW BEST:: SOT 58853 SOS 42714 HAS SOPS 24360 HAS SOUS 14158 HAS SOUPS 12873 WITH SCORE 12915.714
AT ITER 1524 NEW BEST:: SOT 58844 SOS 42705 HAS SOPS 24348 HAS SOUS 14146 HAS SOUPS 12861 WITH SCORE 12903.705
AT ITER 1527 NEW BEST:: SOT 58928 SOS 42789 HAS SOPS 24260 HAS SOUS 14095 HAS SOUPS 12810 WITH SCORE 12852.789
AT ITER 1529 NEW BEST:: SOT 58919 SOS 42780 HAS SOPS 24254 HAS SOUS 14089 HAS SOUPS 12804 WITH SCORE 12846.78
AT ITER 1534 NEW BEST:: SOT 58903 SOS 42764 HAS SOPS 24230 HAS SOUS 14080 HAS SOUPS 12795 WITH SCORE 12837.764
AT ITER 1535 NEW BEST:: SOT 58867 SOS 42728 HAS SOPS 24176 HAS SOUS 14026 HAS SOUPS 12741 WITH SCORE 12783.728
AT ITER 1543 NEW BEST:: SOT 58867 SOS 42728 HAS SOPS 24176 HAS SOUS 14025 HAS SOUPS 12740 WITH SCORE 12782.728
AT ITER 1550 NEW BEST:: SOT 58867 SOS 42728 HAS SOPS 24176 HAS SOUS 14024 HAS SOUPS 12739 WITH SCORE 12781.728
AT ITER 1571 NEW BEST:: SOT 58861 SOS 42722 HAS SOPS 24119 HAS SOUS 14006 HAS SOUPS 12709 WITH SCORE 12751.722
AT ITER 1573 NEW BEST:: SOT 58861 SOS 42693 HAS SOPS 24174 HAS SOUS 14006 HAS SOUPS 12709 WITH SCORE 12751.693
AT ITER 1575 NEW BEST:: SOT 58831 SOS 42663 HAS SOPS 24114 HAS SOUS 13953 HAS SOUPS 12656 WITH SCORE 12698.663
AT ITER 1579 NEW BEST:: SOT 58821 SOS 42653 HAS SOPS 24099 HAS SOUS 13943 HAS SOUPS 12646 WITH SCORE 12688.653
AT ITER 1588 NEW BEST:: SOT 58770 SOS 42602 HAS SOPS 23997 HAS SOUS 13866 HAS SOUPS 12569 WITH SCORE 12611.602
AT ITER 1604 NEW BEST:: SOT 58528 SOS 43887 HAS SOPS 24200 HAS SOUS 13882 HAS SOUPS 12550 WITH SCORE 12593.887
AT ITER 1610 NEW BEST:: SOT 58538 SOS 43897 HAS SOPS 24190 HAS SOUS 13880 HAS SOUPS 12548 WITH SCORE 12591.897
AT ITER 1625 NEW BEST:: SOT 58498 SOS 43857 HAS SOPS 24140 HAS SOUS 13850 HAS SOUPS 12518 WITH SCORE 12561.857
AT ITER 1651 NEW BEST:: SOT 58498 SOS 43857 HAS SOPS 23876 HAS SOUS 13625 HAS SOUPS 12293 WITH SCORE 12336.857
AT ITER 1663 NEW BEST:: SOT 58470 SOS 43829 HAS SOPS 23855 HAS SOUS 13611 HAS SOUPS 12279 WITH SCORE 12322.829
AT ITER 1685 NEW BEST:: SOT 58313 SOS 43672 HAS SOPS 23698 HAS SOUS 13586 HAS SOUPS 12254 WITH SCORE 12297.672
AT ITER 1699 NEW BEST:: SOT 58335 SOS 43694 HAS SOPS 23611 HAS SOUS 13568 HAS SOUPS 12236 WITH SCORE 12279.694
AT ITER 1700 NEW BEST:: SOT 58337 SOS 43696 HAS SOPS 23570 HAS SOUS 13560 HAS SOUPS 12217 WITH SCORE 12260.696
AT ITER 1702 NEW BEST:: SOT 58327 SOS 43686 HAS SOPS 23555 HAS SOUS 13539 HAS SOUPS 12196 WITH SCORE 12239.686
AT ITER 1703 NEW BEST:: SOT 58309 SOS 43668 HAS SOPS 23537 HAS SOUS 13521 HAS SOUPS 12178 WITH SCORE 12221.668
AT ITER 1713 NEW BEST:: SOT 58317 SOS 43676 HAS SOPS 23553 HAS SOUS 13520 HAS SOUPS 12177 WITH SCORE 12220.676
AT ITER 1718 NEW BEST:: SOT 58313 SOS 43674 HAS SOPS 23549 HAS SOUS 13518 HAS SOUPS 12175 WITH SCORE 12218.674
AT ITER 1720 NEW BEST:: SOT 58313 SOS 43674 HAS SOPS 23549 HAS SOUS 13480 HAS SOUPS 12137 WITH SCORE 12180.674
AT ITER 1738 NEW BEST:: SOT 58313 SOS 43674 HAS SOPS 23549 HAS SOUS 13458 HAS SOUPS 12115 WITH SCORE 12158.674
AT ITER 1739 NEW BEST:: SOT 58313 SOS 43674 HAS SOPS 23549 HAS SOUS 13446 HAS SOUPS 12103 WITH SCORE 12146.674
AT ITER 1760 NEW BEST:: SOT 58307 SOS 43668 HAS SOPS 23543 HAS SOUS 13434 HAS SOUPS 12091 WITH SCORE 12134.668
AT ITER 1761 NEW BEST:: SOT 58261 SOS 43622 HAS SOPS 23516 HAS SOUS 13421 HAS SOUPS 12078 WITH SCORE 12121.622
AT ITER 1763 NEW BEST:: SOT 58249 SOS 43610 HAS SOPS 23498 HAS SOUS 13405 HAS SOUPS 12062 WITH SCORE 12105.61
AT ITER 1771 NEW BEST:: SOT 58231 SOS 43592 HAS SOPS 23487 HAS SOUS 13393 HAS SOUPS 12050 WITH SCORE 12093.592
AT ITER 1773 NEW BEST:: SOT 58201 SOS 43562 HAS SOPS 23450 HAS SOUS 13380 HAS SOUPS 12037 WITH SCORE 12080.562
AT ITER 1792 NEW BEST:: SOT 58165 SOS 43526 HAS SOPS 23378 HAS SOUS 13334 HAS SOUPS 11991 WITH SCORE 12034.526
AT ITER 1799 NEW BEST:: SOT 58159 SOS 43520 HAS SOPS 23369 HAS SOUS 13330 HAS SOUPS 11987 WITH SCORE 12030.52
AT ITER 1800 NEW BEST:: SOT 58143 SOS 43504 HAS SOPS 23337 HAS SOUS 13288 HAS SOUPS 11945 WITH SCORE 11988.504
AT ITER 1811 NEW BEST:: SOT 58143 SOS 43504 HAS SOPS 23337 HAS SOUS 13287 HAS SOUPS 11944 WITH SCORE 11987.504
AT ITER 1831 NEW BEST:: SOT 58153 SOS 43514 HAS SOPS 23321 HAS SOUS 13275 HAS SOUPS 11932 WITH SCORE 11975.514
AT ITER 1854 NEW BEST:: SOT 58147 SOS 43396 HAS SOPS 23261 HAS SOUS 13254 HAS SOUPS 11913 WITH SCORE 11956.396
AT ITER 1866 NEW BEST:: SOT 58033 SOS 43034 HAS SOPS 22958 HAS SOUS 13197 HAS SOUPS 11856 WITH SCORE 11899.034
AT ITER 1875 NEW BEST:: SOT 58033 SOS 43034 HAS SOPS 22958 HAS SOUS 13195 HAS SOUPS 11854 WITH SCORE 11897.034
AT ITER 1887 NEW BEST:: SOT 58033 SOS 43034 HAS SOPS 22958 HAS SOUS 13178 HAS SOUPS 11837 WITH SCORE 11880.034
AT ITER 1894 NEW BEST:: SOT 57994 SOS 43026 HAS SOPS 22950 HAS SOUS 13155 HAS SOUPS 11814 WITH SCORE 11857.026
AT ITER 1911 NEW BEST:: SOT 57988 SOS 43020 HAS SOPS 22941 HAS SOUS 13143 HAS SOUPS 11802 WITH SCORE 11845.02
AT ITER 1919 NEW BEST:: SOT 58002 SOS 43034 HAS SOPS 22937 HAS SOUS 13132 HAS SOUPS 11791 WITH SCORE 11834.034
AT ITER 1930 NEW BEST:: SOT 57981 SOS 43019 HAS SOPS 22913 HAS SOUS 13114 HAS SOUPS 11773 WITH SCORE 11816.019
AT ITER 1931 NEW BEST:: SOT 57973 SOS 43011 HAS SOPS 22901 HAS SOUS 13086 HAS SOUPS 11745 WITH SCORE 11788.011
AT ITER 1932 NEW BEST:: SOT 57949 SOS 42987 HAS SOPS 22819 HAS SOUS 13041 HAS SOUPS 11700 WITH SCORE 11742.987
AT ITER 1936 NEW BEST:: SOT 57951 SOS 42968 HAS SOPS 22799 HAS SOUS 13041 HAS SOUPS 11699 WITH SCORE 11741.968
AT ITER 1939 NEW BEST:: SOT 57951 SOS 42968 HAS SOPS 22755 HAS SOUS 13024 HAS SOUPS 11682 WITH SCORE 11724.968
AT ITER 1970 NEW BEST:: SOT 57927 SOS 42944 HAS SOPS 22725 HAS SOUS 12988 HAS SOUPS 11646 WITH SCORE 11688.944
AT ITER 1977 NEW BEST:: SOT 57684 SOS 44341 HAS SOPS 23235 HAS SOUS 12950 HAS SOUPS 11575 WITH SCORE 11619.341
AT ITER 1978 NEW BEST:: SOT 57660 SOS 44317 HAS SOPS 23199 HAS SOUS 12915 HAS SOUPS 11540 WITH SCORE 11584.317
AT ITER 1985 NEW BEST:: SOT 57662 SOS 44319 HAS SOPS 23198 HAS SOUS 12913 HAS SOUPS 11538 WITH SCORE 11582.319
AT ITER 1989 NEW BEST:: SOT 57676 SOS 44333 HAS SOPS 23123 HAS SOUS 12883 HAS SOUPS 11508 WITH SCORE 11552.333
AT ITER 2006 NEW BEST:: SOT 57656 SOS 44313 HAS SOPS 23093 HAS SOUS 12875 HAS SOUPS 11500 WITH SCORE 11544.313
AT ITER 2034 NEW BEST:: SOT 57654 SOS 44311 HAS SOPS 23090 HAS SOUS 12872 HAS SOUPS 11497 WITH SCORE 11541.311
AT ITER 2059 NEW BEST:: SOT 57640 SOS 44297 HAS SOPS 23076 HAS SOUS 12865 HAS SOUPS 11490 WITH SCORE 11534.297
AT ITER 2064 NEW BEST:: SOT 57630 SOS 44287 HAS SOPS 23056 HAS SOUS 12835 HAS SOUPS 11460 WITH SCORE 11504.287
AT ITER 2065 NEW BEST:: SOT 57626 SOS 44283 HAS SOPS 23050 HAS SOUS 12817 HAS SOUPS 11442 WITH SCORE 11486.283
AT ITER 2076 NEW BEST:: SOT 57580 SOS 44237 HAS SOPS 22984 HAS SOUS 12748 HAS SOUPS 11373 WITH SCORE 11417.237
AT ITER 2081 NEW BEST:: SOT 57580 SOS 44237 HAS SOPS 22975 HAS SOUS 12736 HAS SOUPS 11361 WITH SCORE 11405.237
AT ITER 2102 NEW BEST:: SOT 57580 SOS 44228 HAS SOPS 22966 HAS SOUS 12736 HAS SOUPS 11361 WITH SCORE 11405.228
AT ITER 2110 NEW BEST:: SOT 57571 SOS 44219 HAS SOPS 22954 HAS SOUS 12727 HAS SOUPS 11352 WITH SCORE 11396.219
AT ITER 2129 NEW BEST:: SOT 57559 SOS 44207 HAS SOPS 22936 HAS SOUS 12708 HAS SOUPS 11333 WITH SCORE 11377.207
AT ITER 2162 NEW BEST:: SOT 57559 SOS 44207 HAS SOPS 22936 HAS SOUS 12704 HAS SOUPS 11329 WITH SCORE 11373.207
AT ITER 2165 NEW BEST:: SOT 57551 SOS 44199 HAS SOPS 22936 HAS SOUS 12704 HAS SOUPS 11329 WITH SCORE 11373.199
AT ITER 2173 NEW BEST:: SOT 57439 SOS 44087 HAS SOPS 22837 HAS SOUS 12622 HAS SOUPS 11247 WITH SCORE 11291.087
AT ITER 2175 NEW BEST:: SOT 57361 SOS 44427 HAS SOPS 22918 HAS SOUS 12606 HAS SOUPS 11222 WITH SCORE 11266.427
AT ITER 2179 NEW BEST:: SOT 57352 SOS 44418 HAS SOPS 22909 HAS SOUS 12599 HAS SOUPS 11215 WITH SCORE 11259.418
AT ITER 2211 NEW BEST:: SOT 57199 SOS 44384 HAS SOPS 22841 HAS SOUS 12592 HAS SOUPS 11208 WITH SCORE 11252.384
AT ITER 2214 NEW BEST:: SOT 57177 SOS 44362 HAS SOPS 22808 HAS SOUS 12561 HAS SOUPS 11177 WITH SCORE 11221.362
AT ITER 2218 NEW BEST:: SOT 57159 SOS 44344 HAS SOPS 22808 HAS SOUS 12561 HAS SOUPS 11177 WITH SCORE 11221.344
AT ITER 2228 NEW BEST:: SOT 57159 SOS 44344 HAS SOPS 22804 HAS SOUS 12559 HAS SOUPS 11175 WITH SCORE 11219.344
AT ITER 2237 NEW BEST:: SOT 57103 SOS 44288 HAS SOPS 22720 HAS SOUS 12465 HAS SOUPS 11081 WITH SCORE 11125.288
AT ITER 2260 NEW BEST:: SOT 57087 SOS 44272 HAS SOPS 22696 HAS SOUS 12438 HAS SOUPS 11054 WITH SCORE 11098.272
AT ITER 2268 NEW BEST:: SOT 56987 SOS 44676 HAS SOPS 22740 HAS SOUS 12434 HAS SOUPS 11038 WITH SCORE 11082.676
AT ITER 2301 NEW BEST:: SOT 56987 SOS 44676 HAS SOPS 22740 HAS SOUS 12433 HAS SOUPS 11037 WITH SCORE 11081.676
AT ITER 2310 NEW BEST:: SOT 56973 SOS 44662 HAS SOPS 22712 HAS SOUS 12421 HAS SOUPS 11025 WITH SCORE 11069.662
AT ITER 2332 NEW BEST:: SOT 56973 SOS 44662 HAS SOPS 22668 HAS SOUS 12377 HAS SOUPS 10981 WITH SCORE 11025.662
AT ITER 2376 NEW BEST:: SOT 56962 SOS 44651 HAS SOPS 22657 HAS SOUS 12368 HAS SOUPS 10972 WITH SCORE 11016.651
AT ITER 2379 NEW BEST:: SOT 56972 SOS 44661 HAS SOPS 22667 HAS SOUS 12360 HAS SOUPS 10964 WITH SCORE 11008.661
AT ITER 2381 NEW BEST:: SOT 56916 SOS 44605 HAS SOPS 22583 HAS SOUS 12272 HAS SOUPS 10876 WITH SCORE 10920.605
AT ITER 2389 NEW BEST:: SOT 56952 SOS 44641 HAS SOPS 22595 HAS SOUS 12266 HAS SOUPS 10870 WITH SCORE 10914.641
AT ITER 2426 NEW BEST:: SOT 56906 SOS 44595 HAS SOPS 22549 HAS SOUS 12142 HAS SOUPS 10746 WITH SCORE 10790.595
AT ITER 2453 NEW BEST:: SOT 56893 SOS 44478 HAS SOPS 22432 HAS SOUS 12108 HAS SOUPS 10712 WITH SCORE 10756.478
AT ITER 2473 NEW BEST:: SOT 56881 SOS 44466 HAS SOPS 22423 HAS SOUS 12099 HAS SOUPS 10703 WITH SCORE 10747.466
AT ITER 2475 NEW BEST:: SOT 56878 SOS 44463 HAS SOPS 22340 HAS SOUS 12036 HAS SOUPS 10640 WITH SCORE 10684.463
AT ITER 2483 NEW BEST:: SOT 56838 SOS 44431 HAS SOPS 22306 HAS SOUS 12018 HAS SOUPS 10622 WITH SCORE 10666.431
AT ITER 2487 NEW BEST:: SOT 56812 SOS 44405 HAS SOPS 22304 HAS SOUS 12009 HAS SOUPS 10613 WITH SCORE 10657.405
AT ITER 2526 NEW BEST:: SOT 56772 SOS 44365 HAS SOPS 22276 HAS SOUS 11973 HAS SOUPS 10577 WITH SCORE 10621.365
AT ITER 2541 NEW BEST:: SOT 56772 SOS 44365 HAS SOPS 22276 HAS SOUS 11955 HAS SOUPS 10559 WITH SCORE 10603.365
AT ITER 2551 NEW BEST:: SOT 56734 SOS 44337 HAS SOPS 22242 HAS SOUS 11942 HAS SOUPS 10546 WITH SCORE 10590.337
AT ITER 2580 NEW BEST:: SOT 56723 SOS 44249 HAS SOPS 22154 HAS SOUS 11942 HAS SOUPS 10546 WITH SCORE 10590.249
AT ITER 2602 NEW BEST:: SOT 56723 SOS 44249 HAS SOPS 22154 HAS SOUS 11928 HAS SOUPS 10532 WITH SCORE 10576.249
AT ITER 2604 NEW BEST:: SOT 56647 SOS 44173 HAS SOPS 22156 HAS SOUS 11909 HAS SOUPS 10513 WITH SCORE 10557.173
AT ITER 2642 NEW BEST:: SOT 56481 SOS 44007 HAS SOPS 21908 HAS SOUS 11825 HAS SOUPS 10429 WITH SCORE 10473.007
AT ITER 2651 NEW BEST:: SOT 56461 SOS 43987 HAS SOPS 21868 HAS SOUS 11785 HAS SOUPS 10389 WITH SCORE 10432.987
AT ITER 2662 NEW BEST:: SOT 56459 SOS 43985 HAS SOPS 21864 HAS SOUS 11769 HAS SOUPS 10373 WITH SCORE 10416.985
AT ITER 2666 NEW BEST:: SOT 56359 SOS 43885 HAS SOPS 21734 HAS SOUS 11715 HAS SOUPS 10319 WITH SCORE 10362.885
AT ITER 2673 NEW BEST:: SOT 56341 SOS 43867 HAS SOPS 21707 HAS SOUS 11691 HAS SOUPS 10295 WITH SCORE 10338.867
AT ITER 2707 NEW BEST:: SOT 56338 SOS 43882 HAS SOPS 21719 HAS SOUS 11688 HAS SOUPS 10292 WITH SCORE 10335.882
AT ITER 2715 NEW BEST:: SOT 56269 SOS 43813 HAS SOPS 21645 HAS SOUS 11627 HAS SOUPS 10231 WITH SCORE 10274.813
AT ITER 2717 NEW BEST:: SOT 56265 SOS 43809 HAS SOPS 21639 HAS SOUS 11617 HAS SOUPS 10221 WITH SCORE 10264.809
AT ITER 2720 NEW BEST:: SOT 56265 SOS 43809 HAS SOPS 21639 HAS SOUS 11614 HAS SOUPS 10218 WITH SCORE 10261.809
AT ITER 2800 NEW BEST:: SOT 56257 SOS 43801 HAS SOPS 21631 HAS SOUS 11592 HAS SOUPS 10196 WITH SCORE 10239.801
AT ITER 2803 NEW BEST:: SOT 56289 SOS 43801 HAS SOPS 21648 HAS SOUS 11588 HAS SOUPS 10192 WITH SCORE 10235.801
AT ITER 2819 NEW BEST:: SOT 56289 SOS 43801 HAS SOPS 21648 HAS SOUS 11585 HAS SOUPS 10189 WITH SCORE 10232.801
AT ITER 2823 NEW BEST:: SOT 56273 SOS 43785 HAS SOPS 21636 HAS SOUS 11573 HAS SOUPS 10177 WITH SCORE 10220.785
AT ITER 2826 NEW BEST:: SOT 56265 SOS 43777 HAS SOPS 21624 HAS SOUS 11561 HAS SOUPS 10165 WITH SCORE 10208.777
AT ITER 2854 NEW BEST:: SOT 56265 SOS 43777 HAS SOPS 21624 HAS SOUS 11543 HAS SOUPS 10147 WITH SCORE 10190.777
AT ITER 2857 NEW BEST:: SOT 56268 SOS 43787 HAS SOPS 21634 HAS SOUS 11542 HAS SOUPS 10146 WITH SCORE 10189.787
AT ITER 2901 NEW BEST:: SOT 56263 SOS 43782 HAS SOPS 21628 HAS SOUS 11529 HAS SOUPS 10133 WITH SCORE 10176.782
AT ITER 2928 NEW BEST:: SOT 56241 SOS 43760 HAS SOPS 21595 HAS SOUS 11485 HAS SOUPS 10089 WITH SCORE 10132.76
AT ITER 2957 NEW BEST:: SOT 56225 SOS 43744 HAS SOPS 21571 HAS SOUS 11436 HAS SOUPS 10040 WITH SCORE 10083.744
AT ITER 3016 NEW BEST:: SOT 56257 SOS 43776 HAS SOPS 21619 HAS SOUS 11434 HAS SOUPS 10038 WITH SCORE 10081.776
AT ITER 3023 NEW BEST:: SOT 56272 SOS 43853 HAS SOPS 21696 HAS SOUS 11432 HAS SOUPS 10036 WITH SCORE 10079.853
AT ITER 3044 NEW BEST:: SOT 56255 SOS 43836 HAS SOPS 21670 HAS SOUS 11407 HAS SOUPS 10011 WITH SCORE 10054.836
AT ITER 3058 NEW BEST:: SOT 56253 SOS 43834 HAS SOPS 21667 HAS SOUS 11405 HAS SOUPS 10009 WITH SCORE 10052.834
AT ITER 3063 NEW BEST:: SOT 56267 SOS 43848 HAS SOPS 21636 HAS SOUS 11386 HAS SOUPS 9990 WITH SCORE 10033.848
AT ITER 3075 NEW BEST:: SOT 56267 SOS 43848 HAS SOPS 21636 HAS SOUS 11385 HAS SOUPS 9989 WITH SCORE 10032.848
AT ITER 3096 NEW BEST:: SOT 56245 SOS 43826 HAS SOPS 21592 HAS SOUS 11341 HAS SOUPS 9945 WITH SCORE 9988.826
AT ITER 3130 NEW BEST:: SOT 56245 SOS 43826 HAS SOPS 21560 HAS SOUS 11310 HAS SOUPS 9914 WITH SCORE 9957.826
AT ITER 3205 NEW BEST:: SOT 56233 SOS 43814 HAS SOPS 21548 HAS SOUS 11301 HAS SOUPS 9905 WITH SCORE 9948.814
AT ITER 3210 NEW BEST:: SOT 56217 SOS 43798 HAS SOPS 21524 HAS SOUS 11269 HAS SOUPS 9873 WITH SCORE 9916.798
AT ITER 3228 NEW BEST:: SOT 56217 SOS 43798 HAS SOPS 21524 HAS SOUS 11209 HAS SOUPS 9813 WITH SCORE 9856.798
AT ITER 3230 NEW BEST:: SOT 56197 SOS 43758 HAS SOPS 21494 HAS SOUS 11179 HAS SOUPS 9783 WITH SCORE 9826.758
AT ITER 3234 NEW BEST:: SOT 56201 SOS 43757 HAS SOPS 21493 HAS SOUS 11178 HAS SOUPS 9782 WITH SCORE 9825.757
AT ITER 3251 NEW BEST:: SOT 56201 SOS 43757 HAS SOPS 21493 HAS SOUS 11164 HAS SOUPS 9768 WITH SCORE 9811.757
AT ITER 3295 NEW BEST:: SOT 56185 SOS 43741 HAS SOPS 21477 HAS SOUS 11132 HAS SOUPS 9736 WITH SCORE 9779.741
AT ITER 3328 NEW BEST:: SOT 56177 SOS 43733 HAS SOPS 21469 HAS SOUS 11124 HAS SOUPS 9728 WITH SCORE 9771.733
AT ITER 3355 NEW BEST:: SOT 56067 SOS 44617 HAS SOPS 21715 HAS SOUS 11111 HAS SOUPS 9695 WITH SCORE 9739.617
AT ITER 3379 NEW BEST:: SOT 55971 SOS 45086 HAS SOPS 21866 HAS SOUS 11106 HAS SOUPS 9677 WITH SCORE 9722.086
AT ITER 3388 NEW BEST:: SOT 55953 SOS 45068 HAS SOPS 21848 HAS SOUS 11094 HAS SOUPS 9665 WITH SCORE 9710.068
AT ITER 3441 NEW BEST:: SOT 55921 SOS 45036 HAS SOPS 21810 HAS SOUS 11078 HAS SOUPS 9649 WITH SCORE 9694.036
AT ITER 3443 NEW BEST:: SOT 55917 SOS 45032 HAS SOPS 21804 HAS SOUS 11075 HAS SOUPS 9646 WITH SCORE 9691.032
AT ITER 3452 NEW BEST:: SOT 55907 SOS 45022 HAS SOPS 21789 HAS SOUS 11055 HAS SOUPS 9626 WITH SCORE 9671.022
AT ITER 3454 NEW BEST:: SOT 55907 SOS 45022 HAS SOPS 21789 HAS SOUS 11053 HAS SOUPS 9624 WITH SCORE 9669.022
AT ITER 3492 NEW BEST:: SOT 55907 SOS 45022 HAS SOPS 21761 HAS SOUS 11039 HAS SOUPS 9610 WITH SCORE 9655.022
AT ITER 3512 NEW BEST:: SOT 55912 SOS 45027 HAS SOPS 21748 HAS SOUS 11041 HAS SOUPS 9606 WITH SCORE 9651.027
AT ITER 3547 NEW BEST:: SOT 55900 SOS 45015 HAS SOPS 21730 HAS SOUS 11023 HAS SOUPS 9588 WITH SCORE 9633.015
AT ITER 3577 NEW BEST:: SOT 55872 SOS 44979 HAS SOPS 21677 HAS SOUS 10988 HAS SOUPS 9553 WITH SCORE 9597.979
AT ITER 3601 NEW BEST:: SOT 55797 SOS 44904 HAS SOPS 21602 HAS SOUS 10894 HAS SOUPS 9459 WITH SCORE 9503.904
AT ITER 3613 NEW BEST:: SOT 55791 SOS 44898 HAS SOPS 21594 HAS SOUS 10886 HAS SOUPS 9451 WITH SCORE 9495.898
AT ITER 3626 NEW BEST:: SOT 55775 SOS 44874 HAS SOPS 21562 HAS SOUS 10878 HAS SOUPS 9443 WITH SCORE 9487.874
AT ITER 3706 NEW BEST:: SOT 55773 SOS 44872 HAS SOPS 21559 HAS SOUS 10868 HAS SOUPS 9433 WITH SCORE 9477.872
AT ITER 3738 NEW BEST:: SOT 55757 SOS 44856 HAS SOPS 21535 HAS SOUS 10843 HAS SOUPS 9408 WITH SCORE 9452.856
AT ITER 3739 NEW BEST:: SOT 55787 SOS 44886 HAS SOPS 21507 HAS SOUS 10813 HAS SOUPS 9378 WITH SCORE 9422.886
AT ITER 3756 NEW BEST:: SOT 55783 SOS 44882 HAS SOPS 21499 HAS SOUS 10806 HAS SOUPS 9371 WITH SCORE 9415.882
AT ITER 3777 NEW BEST:: SOT 55759 SOS 44858 HAS SOPS 21490 HAS SOUS 10799 HAS SOUPS 9364 WITH SCORE 9408.858
AT ITER 3779 NEW BEST:: SOT 55803 SOS 44902 HAS SOPS 21468 HAS SOUS 10777 HAS SOUPS 9342 WITH SCORE 9386.902
AT ITER 3793 NEW BEST:: SOT 55803 SOS 44913 HAS SOPS 21479 HAS SOUS 10776 HAS SOUPS 9341 WITH SCORE 9385.913
AT ITER 3849 NEW BEST:: SOT 55801 SOS 44911 HAS SOPS 21502 HAS SOUS 10757 HAS SOUPS 9322 WITH SCORE 9366.911
AT ITER 3868 NEW BEST:: SOT 55773 SOS 44883 HAS SOPS 21481 HAS SOUS 10736 HAS SOUPS 9301 WITH SCORE 9345.883
AT ITER 3894 NEW BEST:: SOT 55769 SOS 44879 HAS SOPS 21483 HAS SOUS 10736 HAS SOUPS 9301 WITH SCORE 9345.879
AT ITER 3914 NEW BEST:: SOT 55767 SOS 44875 HAS SOPS 21479 HAS SOUS 10732 HAS SOUPS 9297 WITH SCORE 9341.875
AT ITER 3915 NEW BEST:: SOT 55762 SOS 44807 HAS SOPS 21411 HAS SOUS 10727 HAS SOUPS 9292 WITH SCORE 9336.807
AT ITER 3959 NEW BEST:: SOT 55756 SOS 44801 HAS SOPS 21402 HAS SOUS 10711 HAS SOUPS 9276 WITH SCORE 9320.801
AT ITER 3978 NEW BEST:: SOT 55764 SOS 44809 HAS SOPS 21410 HAS SOUS 10703 HAS SOUPS 9268 WITH SCORE 9312.809
AT ITER 4014 NEW BEST:: SOT 55738 SOS 44783 HAS SOPS 21371 HAS SOUS 10668 HAS SOUPS 9233 WITH SCORE 9277.783
AT ITER 4030 NEW BEST:: SOT 55738 SOS 44783 HAS SOPS 21367 HAS SOUS 10665 HAS SOUPS 9230 WITH SCORE 9274.783
AT ITER 4042 NEW BEST:: SOT 55734 SOS 44779 HAS SOPS 21366 HAS SOUS 10654 HAS SOUPS 9224 WITH SCORE 9268.779
AT ITER 4057 NEW BEST:: SOT 55746 SOS 44559 HAS SOPS 21270 HAS SOUS 10642 HAS SOUPS 9216 WITH SCORE 9260.559
AT ITER 4076 NEW BEST:: SOT 55745 SOS 44558 HAS SOPS 21267 HAS SOUS 10639 HAS SOUPS 9213 WITH SCORE 9257.558
AT ITER 4082 NEW BEST:: SOT 55756 SOS 44633 HAS SOPS 21342 HAS SOUS 10634 HAS SOUPS 9208 WITH SCORE 9252.633
AT ITER 4095 NEW BEST:: SOT 55744 SOS 44711 HAS SOPS 21368 HAS SOUS 10634 HAS SOUPS 9206 WITH SCORE 9250.711
AT ITER 4110 NEW BEST:: SOT 55742 SOS 44709 HAS SOPS 21365 HAS SOUS 10631 HAS SOUPS 9203 WITH SCORE 9247.709
AT ITER 4137 NEW BEST:: SOT 55852 SOS 43431 HAS SOPS 20924 HAS SOUS 10594 HAS SOUPS 9193 WITH SCORE 9236.431
AT ITER 4148 NEW BEST:: SOT 55760 SOS 43330 HAS SOPS 20782 HAS SOUS 10514 HAS SOUPS 9113 WITH SCORE 9156.33
AT ITER 4164 NEW BEST:: SOT 55740 SOS 43310 HAS SOPS 20752 HAS SOUS 10465 HAS SOUPS 9064 WITH SCORE 9107.31
AT ITER 4224 NEW BEST:: SOT 55748 SOS 43318 HAS SOPS 20768 HAS SOUS 10454 HAS SOUPS 9053 WITH SCORE 9096.318
AT ITER 4230 NEW BEST:: SOT 55703 SOS 43273 HAS SOPS 20746 HAS SOUS 10424 HAS SOUPS 9023 WITH SCORE 9066.273
AT ITER 4245 NEW BEST:: SOT 55637 SOS 43207 HAS SOPS 20647 HAS SOUS 10347 HAS SOUPS 8946 WITH SCORE 8989.207
AT ITER 4251 NEW BEST:: SOT 55628 SOS 43198 HAS SOPS 20545 HAS SOUS 10288 HAS SOUPS 8887 WITH SCORE 8930.198
AT ITER 4293 NEW BEST:: SOT 55612 SOS 43182 HAS SOPS 20521 HAS SOUS 10280 HAS SOUPS 8879 WITH SCORE 8922.182
AT ITER 4318 NEW BEST:: SOT 55612 SOS 43182 HAS SOPS 20521 HAS SOUS 10279 HAS SOUPS 8878 WITH SCORE 8921.182
AT ITER 4426 NEW BEST:: SOT 55592 SOS 43162 HAS SOPS 20501 HAS SOUS 10269 HAS SOUPS 8868 WITH SCORE 8911.162
AT ITER 4450 NEW BEST:: SOT 55586 SOS 43156 HAS SOPS 20492 HAS SOUS 10260 HAS SOUPS 8859 WITH SCORE 8902.156
AT ITER 4475 NEW BEST:: SOT 55596 SOS 43166 HAS SOPS 20467 HAS SOUS 10250 HAS SOUPS 8849 WITH SCORE 8892.166
AT ITER 4489 NEW BEST:: SOT 55519 SOS 43107 HAS SOPS 20345 HAS SOUS 10180 HAS SOUPS 8779 WITH SCORE 8822.107
AT ITER 4505 NEW BEST:: SOT 55527 SOS 42883 HAS SOPS 20245 HAS SOUS 10168 HAS SOUPS 8771 WITH SCORE 8813.883
AT ITER 4552 NEW BEST:: SOT 55503 SOS 42859 HAS SOPS 20209 HAS SOUS 10132 HAS SOUPS 8735 WITH SCORE 8777.859
AT ITER 4565 NEW BEST:: SOT 55491 SOS 42847 HAS SOPS 20197 HAS SOUS 10120 HAS SOUPS 8723 WITH SCORE 8765.847
AT ITER 4589 NEW BEST:: SOT 55489 SOS 42845 HAS SOPS 20182 HAS SOUS 10109 HAS SOUPS 8709 WITH SCORE 8751.845
AT ITER 4618 NEW BEST:: SOT 55481 SOS 42837 HAS SOPS 20178 HAS SOUS 10106 HAS SOUPS 8706 WITH SCORE 8748.837
AT ITER 4630 NEW BEST:: SOT 55460 SOS 42935 HAS SOPS 20185 HAS SOUS 10105 HAS SOUPS 8702 WITH SCORE 8744.935
AT ITER 4670 NEW BEST:: SOT 55460 SOS 42935 HAS SOPS 20185 HAS SOUS 10099 HAS SOUPS 8696 WITH SCORE 8738.935
AT ITER 4760 NEW BEST:: SOT 55478 SOS 42949 HAS SOPS 20210 HAS SOUS 10059 HAS SOUPS 8656 WITH SCORE 8698.949
AT ITER 4763 NEW BEST:: SOT 55456 SOS 42927 HAS SOPS 20177 HAS SOUS 10037 HAS SOUPS 8634 WITH SCORE 8676.927
AT ITER 4765 NEW BEST:: SOT 55438 SOS 42915 HAS SOPS 20159 HAS SOUS 10023 HAS SOUPS 8620 WITH SCORE 8662.915
AT ITER 4812 NEW BEST:: SOT 55436 SOS 42913 HAS SOPS 20157 HAS SOUS 10015 HAS SOUPS 8612 WITH SCORE 8654.913
AT ITER 4813 NEW BEST:: SOT 55440 SOS 42917 HAS SOPS 20157 HAS SOUS 10013 HAS SOUPS 8610 WITH SCORE 8652.917
AT ITER 4856 NEW BEST:: SOT 55412 SOS 42889 HAS SOPS 20098 HAS SOUS 9976 HAS SOUPS 8573 WITH SCORE 8615.889
AT ITER 4897 NEW BEST:: SOT 55412 SOS 42889 HAS SOPS 20098 HAS SOUS 9965 HAS SOUPS 8562 WITH SCORE 8604.889
AT ITER 4950 NEW BEST:: SOT 55410 SOS 42887 HAS SOPS 20095 HAS SOUS 9963 HAS SOUPS 8560 WITH SCORE 8602.887
AT ITER 5020 NEW BEST:: SOT 55319 SOS 43634 HAS SOPS 20344 HAS SOUS 9979 HAS SOUPS 8559 WITH SCORE 8602.634
AT ITER 5035 NEW BEST:: SOT 55319 SOS 43634 HAS SOPS 20344 HAS SOUS 9975 HAS SOUPS 8555 WITH SCORE 8598.634
AT ITER 5059 NEW BEST:: SOT 55346 SOS 43648 HAS SOPS 20375 HAS SOUS 9947 HAS SOUPS 8527 WITH SCORE 8570.648
AT ITER 5127 NEW BEST:: SOT 55344 SOS 43644 HAS SOPS 20371 HAS SOUS 9941 HAS SOUPS 8521 WITH SCORE 8564.644
AT ITER 5138 NEW BEST:: SOT 55296 SOS 43596 HAS SOPS 20520 HAS SOUS 9915 HAS SOUPS 8511 WITH SCORE 8554.596
AT ITER 5144 NEW BEST:: SOT 55274 SOS 43574 HAS SOPS 20487 HAS SOUS 9876 HAS SOUPS 8472 WITH SCORE 8515.574
AT ITER 5150 NEW BEST:: SOT 55264 SOS 43564 HAS SOPS 20472 HAS SOUS 9862 HAS SOUPS 8458 WITH SCORE 8501.564
AT ITER 5161 NEW BEST:: SOT 55260 SOS 43560 HAS SOPS 20466 HAS SOUS 9856 HAS SOUPS 8452 WITH SCORE 8495.56
AT ITER 5214 NEW BEST:: SOT 55260 SOS 43560 HAS SOPS 20466 HAS SOUS 9848 HAS SOUPS 8444 WITH SCORE 8487.56
AT ITER 5227 NEW BEST:: SOT 55256 SOS 43552 HAS SOPS 20472 HAS SOUS 9846 HAS SOUPS 8442 WITH SCORE 8485.552
AT ITER 5301 NEW BEST:: SOT 55262 SOS 43558 HAS SOPS 20445 HAS SOUS 9831 HAS SOUPS 8427 WITH SCORE 8470.558
AT ITER 5321 NEW BEST:: SOT 55262 SOS 43558 HAS SOPS 20445 HAS SOUS 9829 HAS SOUPS 8425 WITH SCORE 8468.558
AT ITER 5327 NEW BEST:: SOT 55262 SOS 43558 HAS SOPS 20445 HAS SOUS 9827 HAS SOUPS 8423 WITH SCORE 8466.558
AT ITER 5336 NEW BEST:: SOT 55183 SOS 44144 HAS SOPS 20619 HAS SOUS 9831 HAS SOUPS 8414 WITH SCORE 8458.144
AT ITER 5360 NEW BEST:: SOT 55258 SOS 43540 HAS SOPS 20457 HAS SOUS 9809 HAS SOUPS 8406 WITH SCORE 8449.54
AT ITER 5375 NEW BEST:: SOT 55258 SOS 43540 HAS SOPS 20457 HAS SOUS 9808 HAS SOUPS 8405 WITH SCORE 8448.54
AT ITER 5395 NEW BEST:: SOT 55254 SOS 43536 HAS SOPS 20454 HAS SOUS 9805 HAS SOUPS 8402 WITH SCORE 8445.536
AT ITER 5404 NEW BEST:: SOT 55252 SOS 43534 HAS SOPS 20451 HAS SOUS 9803 HAS SOUPS 8400 WITH SCORE 8443.534
AT ITER 5430 NEW BEST:: SOT 55252 SOS 43534 HAS SOPS 20439 HAS SOUS 9803 HAS SOUPS 8397 WITH SCORE 8440.534
AT ITER 5475 NEW BEST:: SOT 55246 SOS 43528 HAS SOPS 20430 HAS SOUS 9794 HAS SOUPS 8388 WITH SCORE 8431.528
AT ITER 5506 NEW BEST:: SOT 55250 SOS 43532 HAS SOPS 20405 HAS SOUS 9782 HAS SOUPS 8368 WITH SCORE 8411.532
AT ITER 5523 NEW BEST:: SOT 55248 SOS 43530 HAS SOPS 20402 HAS SOUS 9779 HAS SOUPS 8365 WITH SCORE 8408.53
AT ITER 5528 NEW BEST:: SOT 55241 SOS 43516 HAS SOPS 20388 HAS SOUS 9758 HAS SOUPS 8344 WITH SCORE 8387.516
AT ITER 5530 NEW BEST:: SOT 55231 SOS 43506 HAS SOPS 20373 HAS SOUS 9743 HAS SOUPS 8329 WITH SCORE 8372.506
AT ITER 5704 NEW BEST:: SOT 55225 SOS 43500 HAS SOPS 20364 HAS SOUS 9731 HAS SOUPS 8317 WITH SCORE 8360.5
AT ITER 5705 NEW BEST:: SOT 55225 SOS 43500 HAS SOPS 20325 HAS SOUS 9692 HAS SOUPS 8278 WITH SCORE 8321.5
AT ITER 5706 NEW BEST:: SOT 55223 SOS 43498 HAS SOPS 20321 HAS SOUS 9689 HAS SOUPS 8275 WITH SCORE 8318.498
AT ITER 5734 NEW BEST:: SOT 55221 SOS 43496 HAS SOPS 20318 HAS SOUS 9681 HAS SOUPS 8267 WITH SCORE 8310.496
AT ITER 5750 NEW BEST:: SOT 55215 SOS 43490 HAS SOPS 20309 HAS SOUS 9672 HAS SOUPS 8258 WITH SCORE 8301.49
AT ITER 5788 NEW BEST:: SOT 55215 SOS 43490 HAS SOPS 20309 HAS SOUS 9668 HAS SOUPS 8254 WITH SCORE 8297.49
AT ITER 5876 NEW BEST:: SOT 55213 SOS 43488 HAS SOPS 20306 HAS SOUS 9660 HAS SOUPS 8246 WITH SCORE 8289.488
AT ITER 5951 NEW BEST:: SOT 55211 SOS 43486 HAS SOPS 20303 HAS SOUS 9657 HAS SOUPS 8243 WITH SCORE 8286.486
AT ITER 6031 NEW BEST:: SOT 55191 SOS 43466 HAS SOPS 20273 HAS SOUS 9619 HAS SOUPS 8205 WITH SCORE 8248.466
AT ITER 6074 NEW BEST:: SOT 55211 SOS 43486 HAS SOPS 20313 HAS SOUS 9613 HAS SOUPS 8199 WITH SCORE 8242.486
AT ITER 6093 NEW BEST:: SOT 55204 SOS 43488 HAS SOPS 20281 HAS SOUS 9599 HAS SOUPS 8185 WITH SCORE 8228.488
AT ITER 6128 NEW BEST:: SOT 55200 SOS 43484 HAS SOPS 20268 HAS SOUS 9593 HAS SOUPS 8179 WITH SCORE 8222.484
AT ITER 6215 NEW BEST:: SOT 55200 SOS 43484 HAS SOPS 20268 HAS SOUS 9590 HAS SOUPS 8176 WITH SCORE 8219.484
AT ITER 6220 NEW BEST:: SOT 55198 SOS 43482 HAS SOPS 20264 HAS SOUS 9576 HAS SOUPS 8162 WITH SCORE 8205.482
AT ITER 6253 NEW BEST:: SOT 55196 SOS 43481 HAS SOPS 20262 HAS SOUS 9575 HAS SOUPS 8161 WITH SCORE 8204.481
AT ITER 6279 NEW BEST:: SOT 55196 SOS 43481 HAS SOPS 20262 HAS SOUS 9574 HAS SOUPS 8160 WITH SCORE 8203.481
AT ITER 6286 NEW BEST:: SOT 55257 SOS 43548 HAS SOPS 20340 HAS SOUS 9567 HAS SOUPS 8153 WITH SCORE 8196.548
AT ITER 6320 NEW BEST:: SOT 55271 SOS 43594 HAS SOPS 20386 HAS SOUS 9566 HAS SOUPS 8152 WITH SCORE 8195.594
AT ITER 6342 NEW BEST:: SOT 55271 SOS 43594 HAS SOPS 20386 HAS SOUS 9565 HAS SOUPS 8151 WITH SCORE 8194.594
AT ITER 6378 NEW BEST:: SOT 55273 SOS 43596 HAS SOPS 20388 HAS SOUS 9562 HAS SOUPS 8148 WITH SCORE 8191.596
AT ITER 6433 NEW BEST:: SOT 55271 SOS 43594 HAS SOPS 20385 HAS SOUS 9559 HAS SOUPS 8145 WITH SCORE 8188.594
AT ITER 6448 NEW BEST:: SOT 55271 SOS 43594 HAS SOPS 20385 HAS SOUS 9557 HAS SOUPS 8143 WITH SCORE 8186.594
AT ITER 6450 NEW BEST:: SOT 55261 SOS 43584 HAS SOPS 20385 HAS SOUS 9550 HAS SOUPS 8140 WITH SCORE 8183.584
AT ITER 6461 NEW BEST:: SOT 55261 SOS 43584 HAS SOPS 20385 HAS SOUS 9548 HAS SOUPS 8138 WITH SCORE 8181.584
AT ITER 6484 NEW BEST:: SOT 55165 SOS 44648 HAS SOPS 20811 HAS SOUS 9554 HAS SOUPS 8124 WITH SCORE 8168.648
AT ITER 6486 NEW BEST:: SOT 55167 SOS 44645 HAS SOPS 20809 HAS SOUS 9547 HAS SOUPS 8117 WITH SCORE 8161.645
AT ITER 6519 NEW BEST:: SOT 55167 SOS 44645 HAS SOPS 20809 HAS SOUS 9545 HAS SOUPS 8115 WITH SCORE 8159.645
AT ITER 6533 NEW BEST:: SOT 55151 SOS 44629 HAS SOPS 20793 HAS SOUS 9513 HAS SOUPS 8083 WITH SCORE 8127.629
AT ITER 6552 NEW BEST:: SOT 55151 SOS 44616 HAS SOPS 20780 HAS SOUS 9474 HAS SOUPS 8044 WITH SCORE 8088.616
AT ITER 6568 NEW BEST:: SOT 55145 SOS 44610 HAS SOPS 20771 HAS SOUS 9471 HAS SOUPS 8041 WITH SCORE 8085.61
AT ITER 6626 NEW BEST:: SOT 55145 SOS 44610 HAS SOPS 20771 HAS SOUS 9470 HAS SOUPS 8040 WITH SCORE 8084.61
AT ITER 6645 NEW BEST:: SOT 55141 SOS 44606 HAS SOPS 20792 HAS SOUS 9464 HAS SOUPS 8034 WITH SCORE 8078.606
AT ITER 6700 NEW BEST:: SOT 55133 SOS 44598 HAS SOPS 20780 HAS SOUS 9450 HAS SOUPS 8020 WITH SCORE 8064.598
AT ITER 6732 NEW BEST:: SOT 55131 SOS 44596 HAS SOPS 20777 HAS SOUS 9447 HAS SOUPS 8017 WITH SCORE 8061.596
AT ITER 6759 NEW BEST:: SOT 55117 SOS 44526 HAS SOPS 20707 HAS SOUS 9426 HAS SOUPS 7996 WITH SCORE 8040.526
AT ITER 6784 NEW BEST:: SOT 55117 SOS 44526 HAS SOPS 20707 HAS SOUS 9420 HAS SOUPS 7990 WITH SCORE 8034.526
AT ITER 6787 NEW BEST:: SOT 55117 SOS 44526 HAS SOPS 20707 HAS SOUS 9406 HAS SOUPS 7976 WITH SCORE 8020.526
AT ITER 6790 NEW BEST:: SOT 55083 SOS 44492 HAS SOPS 20662 HAS SOUS 9368 HAS SOUPS 7938 WITH SCORE 7982.492
AT ITER 6818 NEW BEST:: SOT 55075 SOS 44484 HAS SOPS 20646 HAS SOUS 9367 HAS SOUPS 7937 WITH SCORE 7981.484
AT ITER 6862 NEW BEST:: SOT 55073 SOS 44482 HAS SOPS 20626 HAS SOUS 9364 HAS SOUPS 7934 WITH SCORE 7978.482
AT ITER 6888 NEW BEST:: SOT 55059 SOS 44468 HAS SOPS 20605 HAS SOUS 9342 HAS SOUPS 7912 WITH SCORE 7956.468
AT ITER 6975 NEW BEST:: SOT 55055 SOS 44460 HAS SOPS 20597 HAS SOUS 9334 HAS SOUPS 7904 WITH SCORE 7948.46
AT ITER 6991 NEW BEST:: SOT 55100 SOS 43981 HAS SOPS 20462 HAS SOUS 9305 HAS SOUPS 7886 WITH SCORE 7929.981
AT ITER 6995 NEW BEST:: SOT 55104 SOS 43985 HAS SOPS 20446 HAS SOUS 9293 HAS SOUPS 7874 WITH SCORE 7917.985
AT ITER 7014 NEW BEST:: SOT 55084 SOS 43965 HAS SOPS 20416 HAS SOUS 9256 HAS SOUPS 7837 WITH SCORE 7880.965
AT ITER 7052 NEW BEST:: SOT 55049 SOS 44165 HAS SOPS 20466 HAS SOUS 9255 HAS SOUPS 7831 WITH SCORE 7875.165
AT ITER 7055 NEW BEST:: SOT 55043 SOS 44159 HAS SOPS 20445 HAS SOUS 9237 HAS SOUPS 7813 WITH SCORE 7857.159
AT ITER 7204 NEW BEST:: SOT 55037 SOS 44153 HAS SOPS 20436 HAS SOUS 9231 HAS SOUPS 7807 WITH SCORE 7851.153
AT ITER 7220 NEW BEST:: SOT 54999 SOS 44539 HAS SOPS 20543 HAS SOUS 9237 HAS SOUPS 7804 WITH SCORE 7848.539
AT ITER 7264 NEW BEST:: SOT 55089 SOS 43769 HAS SOPS 20297 HAS SOUS 9216 HAS SOUPS 7802 WITH SCORE 7845.769
AT ITER 7289 NEW BEST:: SOT 55081 SOS 43761 HAS SOPS 20297 HAS SOUS 9216 HAS SOUPS 7802 WITH SCORE 7845.761
AT ITER 7346 NEW BEST:: SOT 55081 SOS 43760 HAS SOPS 20296 HAS SOUS 9213 HAS SOUPS 7799 WITH SCORE 7842.76
AT ITER 7348 NEW BEST:: SOT 55120 SOS 43799 HAS SOPS 20337 HAS SOUS 9193 HAS SOUPS 7779 WITH SCORE 7822.799
AT ITER 7392 NEW BEST:: SOT 55134 SOS 43813 HAS SOPS 20322 HAS SOUS 9178 HAS SOUPS 7764 WITH SCORE 7807.813
AT ITER 7458 NEW BEST:: SOT 55132 SOS 43811 HAS SOPS 20319 HAS SOUS 9176 HAS SOUPS 7762 WITH SCORE 7805.811
AT ITER 7537 NEW BEST:: SOT 55126 SOS 43805 HAS SOPS 20310 HAS SOUS 9164 HAS SOUPS 7750 WITH SCORE 7793.805
AT ITER 7586 NEW BEST:: SOT 55123 SOS 43781 HAS SOPS 20289 HAS SOUS 9161 HAS SOUPS 7747 WITH SCORE 7790.781
AT ITER 7600 NEW BEST:: SOT 55114 SOS 43772 HAS SOPS 20277 HAS SOUS 9152 HAS SOUPS 7738 WITH SCORE 7781.772
AT ITER 7606 NEW BEST:: SOT 55111 SOS 43769 HAS SOPS 20273 HAS SOUS 9148 HAS SOUPS 7734 WITH SCORE 7777.769
AT ITER 7620 NEW BEST:: SOT 55107 SOS 43765 HAS SOPS 20267 HAS SOUS 9142 HAS SOUPS 7728 WITH SCORE 7771.765
AT ITER 7632 NEW BEST:: SOT 55107 SOS 43765 HAS SOPS 20255 HAS SOUS 9133 HAS SOUPS 7719 WITH SCORE 7762.765
AT ITER 7694 NEW BEST:: SOT 55103 SOS 43761 HAS SOPS 20252 HAS SOUS 9127 HAS SOUPS 7713 WITH SCORE 7756.761
AT ITER 7732 NEW BEST:: SOT 55099 SOS 43757 HAS SOPS 20246 HAS SOUS 9122 HAS SOUPS 7708 WITH SCORE 7751.757
AT ITER 7779 NEW BEST:: SOT 55124 SOS 43747 HAS SOPS 20236 HAS SOUS 9112 HAS SOUPS 7698 WITH SCORE 7741.747
AT ITER 7794 NEW BEST:: SOT 55120 SOS 43743 HAS SOPS 20228 HAS SOUS 9108 HAS SOUPS 7694 WITH SCORE 7737.743
AT ITER 7842 NEW BEST:: SOT 55096 SOS 43719 HAS SOPS 20192 HAS SOUS 9084 HAS SOUPS 7670 WITH SCORE 7713.719
AT ITER 7890 NEW BEST:: SOT 55154 SOS 43777 HAS SOPS 20171 HAS SOUS 9080 HAS SOUPS 7666 WITH SCORE 7709.777
AT ITER 7929 NEW BEST:: SOT 55151 SOS 43748 HAS SOPS 20142 HAS SOUS 9044 HAS SOUPS 7630 WITH SCORE 7673.748
AT ITER 7945 NEW BEST:: SOT 55135 SOS 43732 HAS SOPS 20118 HAS SOUS 9023 HAS SOUPS 7609 WITH SCORE 7652.732
AT ITER 7946 NEW BEST:: SOT 55139 SOS 43732 HAS SOPS 20120 HAS SOUS 9021 HAS SOUPS 7607 WITH SCORE 7650.732
AT ITER 7992 NEW BEST:: SOT 55134 SOS 43727 HAS SOPS 20115 HAS SOUS 9011 HAS SOUPS 7597 WITH SCORE 7640.727
AT ITER 8024 NEW BEST:: SOT 55116 SOS 43709 HAS SOPS 20088 HAS SOUS 8981 HAS SOUPS 7567 WITH SCORE 7610.709
AT ITER 8029 NEW BEST:: SOT 55116 SOS 43709 HAS SOPS 20088 HAS SOUS 8959 HAS SOUPS 7545 WITH SCORE 7588.709
AT ITER 8059 NEW BEST:: SOT 55102 SOS 43695 HAS SOPS 20067 HAS SOUS 8952 HAS SOUPS 7538 WITH SCORE 7581.695
AT ITER 8167 NEW BEST:: SOT 55102 SOS 43695 HAS SOPS 20055 HAS SOUS 8943 HAS SOUPS 7529 WITH SCORE 7572.695
AT ITER 8204 NEW BEST:: SOT 55092 SOS 43685 HAS SOPS 20040 HAS SOUS 8910 HAS SOUPS 7496 WITH SCORE 7539.685
AT ITER 8205 NEW BEST:: SOT 55052 SOS 43645 HAS SOPS 20040 HAS SOUS 8900 HAS SOUPS 7486 WITH SCORE 7529.645
AT ITER 8230 NEW BEST:: SOT 55050 SOS 43643 HAS SOPS 20037 HAS SOUS 8895 HAS SOUPS 7481 WITH SCORE 7524.643
AT ITER 8304 NEW BEST:: SOT 55042 SOS 43635 HAS SOPS 20025 HAS SOUS 8881 HAS SOUPS 7467 WITH SCORE 7510.635
AT ITER 8322 NEW BEST:: SOT 55010 SOS 43603 HAS SOPS 19987 HAS SOUS 8878 HAS SOUPS 7464 WITH SCORE 7507.603
AT ITER 8325 NEW BEST:: SOT 55006 SOS 43599 HAS SOPS 19981 HAS SOUS 8866 HAS SOUPS 7454 WITH SCORE 7497.599
AT ITER 8353 NEW BEST:: SOT 55009 SOS 43581 HAS SOPS 19966 HAS SOUS 8866 HAS SOUPS 7454 WITH SCORE 7497.581
AT ITER 8448 NEW BEST:: SOT 55019 SOS 43591 HAS SOPS 19953 HAS SOUS 8860 HAS SOUPS 7448 WITH SCORE 7491.591
AT ITER 8487 NEW BEST:: SOT 55017 SOS 43589 HAS SOPS 19950 HAS SOUS 8858 HAS SOUPS 7446 WITH SCORE 7489.589
AT ITER 8499 NEW BEST:: SOT 55001 SOS 43573 HAS SOPS 19931 HAS SOUS 8847 HAS SOUPS 7435 WITH SCORE 7478.573
AT ITER 8505 NEW BEST:: SOT 55001 SOS 43573 HAS SOPS 19931 HAS SOUS 8841 HAS SOUPS 7429 WITH SCORE 7472.573
AT ITER 8528 NEW BEST:: SOT 55006 SOS 43404 HAS SOPS 19855 HAS SOUS 8828 HAS SOUPS 7419 WITH SCORE 7462.404
AT ITER 8688 NEW BEST:: SOT 55000 SOS 43396 HAS SOPS 19847 HAS SOUS 8825 HAS SOUPS 7416 WITH SCORE 7459.396
AT ITER 8710 NEW BEST:: SOT 54974 SOS 43370 HAS SOPS 19808 HAS SOUS 8783 HAS SOUPS 7374 WITH SCORE 7417.37
AT ITER 8711 NEW BEST:: SOT 54958 SOS 43354 HAS SOPS 19785 HAS SOUS 8758 HAS SOUPS 7349 WITH SCORE 7392.354
AT ITER 8790 NEW BEST:: SOT 54960 SOS 43356 HAS SOPS 19788 HAS SOUS 8752 HAS SOUPS 7343 WITH SCORE 7386.356
AT ITER 8903 NEW BEST:: SOT 54928 SOS 43436 HAS SOPS 19790 HAS SOUS 8735 HAS SOUPS 7323 WITH SCORE 7366.436
AT ITER 8923 NEW BEST:: SOT 54927 SOS 43435 HAS SOPS 19791 HAS SOUS 8735 HAS SOUPS 7323 WITH SCORE 7366.435
AT ITER 8951 NEW BEST:: SOT 54927 SOS 43435 HAS SOPS 19787 HAS SOUS 8734 HAS SOUPS 7322 WITH SCORE 7365.435
AT ITER 8978 NEW BEST:: SOT 54925 SOS 43454 HAS SOPS 19801 HAS SOUS 8733 HAS SOUPS 7321 WITH SCORE 7364.454
AT ITER 9014 NEW BEST:: SOT 54913 SOS 43442 HAS SOPS 19783 HAS SOUS 8717 HAS SOUPS 7305 WITH SCORE 7348.442
AT ITER 9040 NEW BEST:: SOT 54912 SOS 43441 HAS SOPS 19783 HAS SOUS 8715 HAS SOUPS 7303 WITH SCORE 7346.441
AT ITER 9058 NEW BEST:: SOT 54899 SOS 43413 HAS SOPS 19782 HAS SOUS 8713 HAS SOUPS 7301 WITH SCORE 7344.413
AT ITER 9063 NEW BEST:: SOT 54899 SOS 43412 HAS SOPS 19780 HAS SOUS 8714 HAS SOUPS 7301 WITH SCORE 7344.412
AT ITER 9106 NEW BEST:: SOT 54899 SOS 43388 HAS SOPS 19774 HAS SOUS 8714 HAS SOUPS 7301 WITH SCORE 7344.388
AT ITER 9117 NEW BEST:: SOT 54899 SOS 43387 HAS SOPS 19773 HAS SOUS 8712 HAS SOUPS 7299 WITH SCORE 7342.387
AT ITER 9235 NEW BEST:: SOT 54899 SOS 43387 HAS SOPS 19773 HAS SOUS 8700 HAS SOUPS 7287 WITH SCORE 7330.387
AT ITER 9237 NEW BEST:: SOT 54901 SOS 43389 HAS SOPS 19761 HAS SOUS 8683 HAS SOUPS 7270 WITH SCORE 7313.389
AT ITER 9239 NEW BEST:: SOT 54879 SOS 43367 HAS SOPS 19642 HAS SOUS 8612 HAS SOUPS 7191 WITH SCORE 7234.367
AT ITER 9276 NEW BEST:: SOT 54881 SOS 43369 HAS SOPS 19634 HAS SOUS 8606 HAS SOUPS 7185 WITH SCORE 7228.369
AT ITER 9331 NEW BEST:: SOT 54881 SOS 43369 HAS SOPS 19634 HAS SOUS 8603 HAS SOUPS 7182 WITH SCORE 7225.369
AT ITER 9352 NEW BEST:: SOT 54881 SOS 43369 HAS SOPS 19626 HAS SOUS 8597 HAS SOUPS 7176 WITH SCORE 7219.369
AT ITER 9376 NEW BEST:: SOT 54894 SOS 43263 HAS SOPS 19520 HAS SOUS 8589 HAS SOUPS 7168 WITH SCORE 7211.263
AT ITER 9390 NEW BEST:: SOT 54894 SOS 43263 HAS SOPS 19516 HAS SOUS 8589 HAS SOUPS 7164 WITH SCORE 7207.263
AT ITER 9415 NEW BEST:: SOT 54892 SOS 43261 HAS SOPS 19512 HAS SOUS 8586 HAS SOUPS 7161 WITH SCORE 7204.261
AT ITER 9420 NEW BEST:: SOT 54892 SOS 43261 HAS SOPS 19512 HAS SOUS 8585 HAS SOUPS 7160 WITH SCORE 7203.261
AT ITER 9467 NEW BEST:: SOT 54886 SOS 43255 HAS SOPS 19504 HAS SOUS 8579 HAS SOUPS 7154 WITH SCORE 7197.255
AT ITER 9476 NEW BEST:: SOT 54935 SOS 43304 HAS SOPS 19553 HAS SOUS 8556 HAS SOUPS 7131 WITH SCORE 7174.304
AT ITER 9540 NEW BEST:: SOT 54925 SOS 43294 HAS SOPS 19533 HAS SOUS 8541 HAS SOUPS 7116 WITH SCORE 7159.294
AT ITER 9592 NEW BEST:: SOT 54921 SOS 43286 HAS SOPS 19525 HAS SOUS 8537 HAS SOUPS 7112 WITH SCORE 7155.286
AT ITER 9646 NEW BEST:: SOT 54920 SOS 43285 HAS SOPS 19519 HAS SOUS 8533 HAS SOUPS 7108 WITH SCORE 7151.285
AT ITER 9706 NEW BEST:: SOT 54918 SOS 43283 HAS SOPS 19515 HAS SOUS 8522 HAS SOUPS 7097 WITH SCORE 7140.283
AT ITER 9722 NEW BEST:: SOT 54916 SOS 43281 HAS SOPS 19511 HAS SOUS 8514 HAS SOUPS 7089 WITH SCORE 7132.281
AT ITER 9817 NEW BEST:: SOT 54908 SOS 43273 HAS SOPS 19495 HAS SOUS 8502 HAS SOUPS 7077 WITH SCORE 7120.273
AT ITER 9846 NEW BEST:: SOT 54908 SOS 43273 HAS SOPS 19471 HAS SOUS 8489 HAS SOUPS 7064 WITH SCORE 7107.273
AT ITER 9934 NEW BEST:: SOT 54939 SOS 42982 HAS SOPS 19362 HAS SOUS 8483 HAS SOUPS 7064 WITH SCORE 7106.982

BK_STOP 1589804973413

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

terminate called after throwing an instance of 'St9bad_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="Raft-PT-07"
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 Raft-PT-07, 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 r138-smll-158961502600264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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