fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897679500115
Last Updated
Jun 28, 2020

About the Execution of smart for BART-PT-050

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15743.350 3600000.00 3599161.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897679500115.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BART-PT-050, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500115
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 22M
-rw-r--r-- 1 mcc users 4.6K Apr 15 13:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 15 13:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 15 13:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 1.5M Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 3.7M Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.4M Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.3M Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Apr 15 13:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 15 13:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 15 13:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 15 13:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 12M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BART-PT-050-CTLCardinality-00
FORMULA_NAME BART-PT-050-CTLCardinality-01
FORMULA_NAME BART-PT-050-CTLCardinality-02
FORMULA_NAME BART-PT-050-CTLCardinality-03
FORMULA_NAME BART-PT-050-CTLCardinality-04
FORMULA_NAME BART-PT-050-CTLCardinality-05
FORMULA_NAME BART-PT-050-CTLCardinality-06
FORMULA_NAME BART-PT-050-CTLCardinality-07
FORMULA_NAME BART-PT-050-CTLCardinality-08
FORMULA_NAME BART-PT-050-CTLCardinality-09
FORMULA_NAME BART-PT-050-CTLCardinality-10
FORMULA_NAME BART-PT-050-CTLCardinality-11
FORMULA_NAME BART-PT-050-CTLCardinality-12
FORMULA_NAME BART-PT-050-CTLCardinality-13
FORMULA_NAME BART-PT-050-CTLCardinality-14
FORMULA_NAME BART-PT-050-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589012483167

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 050
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 6810 places, 10100 transitions, 81000 arcs.
AT ITER 0 NEW BEST:: SOT 49123117 SOS 32500854 HAS SOPS 25434235 HAS SOUS 22801890 HAS SOUPS 22560060 WITH SCORE 2.2592560854E7
AT ITER 4 NEW BEST:: SOT 49123117 SOS 32500854 HAS SOPS 25432659 HAS SOUS 22799561 HAS SOUPS 22556447 WITH SCORE 2.2588947854E7
AT ITER 10 NEW BEST:: SOT 49123117 SOS 32500854 HAS SOPS 25431133 HAS SOUS 22796925 HAS SOUPS 22552865 WITH SCORE 2.2585365854E7
AT ITER 15 NEW BEST:: SOT 49123515 SOS 32501649 HAS SOPS 25429485 HAS SOUS 22798377 HAS SOUPS 22551218 WITH SCORE 2.2583719649E7
AT ITER 17 NEW BEST:: SOT 49123515 SOS 32501649 HAS SOPS 25427736 HAS SOUS 22795947 HAS SOUPS 22547436 WITH SCORE 2.2579937649E7
AT ITER 18 NEW BEST:: SOT 49122435 SOS 32442974 HAS SOPS 25333223 HAS SOUS 22758280 HAS SOUPS 22509769 WITH SCORE 2.2542211974E7
AT ITER 20 NEW BEST:: SOT 49122435 SOS 32442974 HAS SOPS 25333529 HAS SOUS 22758155 HAS SOUPS 22509348 WITH SCORE 2.2541790974E7
AT ITER 21 NEW BEST:: SOT 49122435 SOS 32442974 HAS SOPS 25333037 HAS SOUS 22757556 HAS SOUPS 22508366 WITH SCORE 2.2540808974E7
AT ITER 22 NEW BEST:: SOT 49123138 SOS 32444016 HAS SOPS 25332103 HAS SOUS 22760161 HAS SOUPS 22507433 WITH SCORE 2.2539877016E7
AT ITER 26 NEW BEST:: SOT 49123138 SOS 32444016 HAS SOPS 25332295 HAS SOUS 22760160 HAS SOUPS 22507432 WITH SCORE 2.2539876016E7
AT ITER 31 NEW BEST:: SOT 49124367 SOS 32445974 HAS SOPS 25332001 HAS SOUS 22759867 HAS SOUPS 22507139 WITH SCORE 2.2539584974E7
AT ITER 32 NEW BEST:: SOT 49124367 SOS 32445974 HAS SOPS 25330830 HAS SOUS 22757763 HAS SOUPS 22503921 WITH SCORE 2.2536366974E7
AT ITER 35 NEW BEST:: SOT 49124367 SOS 32445974 HAS SOPS 25329248 HAS SOUS 22755678 HAS SOUPS 22500759 WITH SCORE 2.2533204974E7
AT ITER 42 NEW BEST:: SOT 49124367 SOS 32445974 HAS SOPS 25327247 HAS SOUS 22753210 HAS SOUPS 22496759 WITH SCORE 2.2529204974E7
AT ITER 48 NEW BEST:: SOT 49124367 SOS 32445974 HAS SOPS 25325210 HAS SOUS 22749700 HAS SOUPS 22492645 WITH SCORE 2.2525090974E7
AT ITER 49 NEW BEST:: SOT 49125452 SOS 32447634 HAS SOPS 25325183 HAS SOUS 22752872 HAS SOUPS 22492619 WITH SCORE 2.2525066634E7
AT ITER 50 NEW BEST:: SOT 49124879 SOS 32449642 HAS SOPS 25323891 HAS SOUS 22754308 HAS SOUPS 22491327 WITH SCORE 2.2523776642E7
AT ITER 52 NEW BEST:: SOT 49124879 SOS 32449642 HAS SOPS 25321922 HAS SOUS 22750517 HAS SOUPS 22487391 WITH SCORE 2.2519840642E7
AT ITER 55 NEW BEST:: SOT 49124879 SOS 32449642 HAS SOPS 25320043 HAS SOUS 22747952 HAS SOUPS 22483701 WITH SCORE 2.2516150642E7
AT ITER 59 NEW BEST:: SOT 49125364 SOS 32450823 HAS SOPS 25319326 HAS SOUS 22750264 HAS SOUPS 22482985 WITH SCORE 2.2515435823E7
AT ITER 63 NEW BEST:: SOT 49125364 SOS 32450823 HAS SOPS 25320160 HAS SOUS 22749813 HAS SOUPS 22482534 WITH SCORE 2.2514984823E7
AT ITER 67 NEW BEST:: SOT 49125364 SOS 32450823 HAS SOPS 25318952 HAS SOUS 22747399 HAS SOUPS 22480120 WITH SCORE 2.2512570823E7
AT ITER 70 NEW BEST:: SOT 49125364 SOS 32450823 HAS SOPS 25317645 HAS SOUS 22744046 HAS SOUPS 22476764 WITH SCORE 2.2509214823E7
AT ITER 71 NEW BEST:: SOT 49125364 SOS 32450823 HAS SOPS 25316137 HAS SOUS 22740493 HAS SOUPS 22473211 WITH SCORE 2.2505661823E7
AT ITER 73 NEW BEST:: SOT 49126453 SOS 32453000 HAS SOPS 25315138 HAS SOUS 22741895 HAS SOUPS 22472213 WITH SCORE 2.2504666E7
AT ITER 74 NEW BEST:: SOT 49126947 SOS 32452994 HAS SOPS 25316381 HAS SOUS 22741535 HAS SOUPS 22472103 WITH SCORE 2.2504555994E7
AT ITER 82 NEW BEST:: SOT 49127647 SOS 32454393 HAS SOPS 25314985 HAS SOUS 22742379 HAS SOUPS 22470708 WITH SCORE 2.2503162393E7
AT ITER 83 NEW BEST:: SOT 49127647 SOS 32454393 HAS SOPS 25314294 HAS SOUS 22740573 HAS SOUPS 22468097 WITH SCORE 2.2500551393E7
AT ITER 87 NEW BEST:: SOT 49128173 SOS 32455444 HAS SOPS 25312748 HAS SOUS 22741683 HAS SOUPS 22466552 WITH SCORE 2.2499007444E7
AT ITER 88 NEW BEST:: SOT 49128841 SOS 32456779 HAS SOPS 25311334 HAS SOUS 22742767 HAS SOUPS 22465139 WITH SCORE 2.2497595779E7
AT ITER 89 NEW BEST:: SOT 49128841 SOS 32456779 HAS SOPS 25309891 HAS SOUS 22739995 HAS SOUPS 22461627 WITH SCORE 2.2494083779E7
AT ITER 91 NEW BEST:: SOT 49127231 SOS 32455169 HAS SOPS 25307450 HAS SOUS 22738205 HAS SOUPS 22459186 WITH SCORE 2.2491641169E7
AT ITER 97 NEW BEST:: SOT 49127188 SOS 32455126 HAS SOPS 25307407 HAS SOUS 22738162 HAS SOUPS 22459143 WITH SCORE 2.2491598126E7
AT ITER 108 NEW BEST:: SOT 49127188 SOS 32455126 HAS SOPS 25306261 HAS SOUS 22735870 HAS SOUPS 22456851 WITH SCORE 2.2489306126E7
AT ITER 110 NEW BEST:: SOT 49127215 SOS 32455181 HAS SOPS 25304202 HAS SOUS 22733812 HAS SOUPS 22454793 WITH SCORE 2.2487248181E7
AT ITER 114 NEW BEST:: SOT 49127666 SOS 32456354 HAS SOPS 25304063 HAS SOUS 22734524 HAS SOUPS 22454654 WITH SCORE 2.2487110354E7
AT ITER 116 NEW BEST:: SOT 49128973 SOS 32457661 HAS SOPS 25304062 HAS SOUS 22733217 HAS SOUPS 22453347 WITH SCORE 2.2485804661E7
AT ITER 120 NEW BEST:: SOT 49129003 SOS 32457825 HAS SOPS 25302070 HAS SOUS 22732002 HAS SOUPS 22451356 WITH SCORE 2.2483813825E7
AT ITER 122 NEW BEST:: SOT 49128365 SOS 32457187 HAS SOPS 25301432 HAS SOUS 22731364 HAS SOUPS 22450718 WITH SCORE 2.2483175187E7
AT ITER 124 NEW BEST:: SOT 49127421 SOS 32456243 HAS SOPS 25300488 HAS SOUS 22730420 HAS SOUPS 22449774 WITH SCORE 2.2482230243E7
AT ITER 129 NEW BEST:: SOT 49128124 SOS 32457648 HAS SOPS 25299107 HAS SOUS 22731486 HAS SOUPS 22448394 WITH SCORE 2.2480851648E7
AT ITER 134 NEW BEST:: SOT 49128756 SOS 32458911 HAS SOPS 25297691 HAS SOUS 22730897 HAS SOUPS 22446979 WITH SCORE 2.2479437911E7
AT ITER 138 NEW BEST:: SOT 49128756 SOS 32458911 HAS SOPS 25295744 HAS SOUS 22727005 HAS SOUPS 22443087 WITH SCORE 2.2475545911E7
AT ITER 152 NEW BEST:: SOT 49128756 SOS 32458911 HAS SOPS 25294248 HAS SOUS 22724576 HAS SOUPS 22439544 WITH SCORE 2.2472002911E7
AT ITER 154 NEW BEST:: SOT 49128756 SOS 32458911 HAS SOPS 25294998 HAS SOUS 22723561 HAS SOUPS 22438200 WITH SCORE 2.2470658911E7
AT ITER 164 NEW BEST:: SOT 49128975 SOS 32459348 HAS SOPS 25293167 HAS SOUS 22722365 HAS SOUPS 22436370 WITH SCORE 2.2468829348E7
AT ITER 165 NEW BEST:: SOT 49128975 SOS 32459348 HAS SOPS 25292469 HAS SOUS 22720324 HAS SOUPS 22433646 WITH SCORE 2.2466105348E7
AT ITER 168 NEW BEST:: SOT 49128975 SOS 32459348 HAS SOPS 25290549 HAS SOUS 22719416 HAS SOUPS 22431725 WITH SCORE 2.2464184348E7
AT ITER 169 NEW BEST:: SOT 49128975 SOS 32459348 HAS SOPS 25288339 HAS SOUS 22717271 HAS SOUPS 22429514 WITH SCORE 2.2461973348E7
AT ITER 171 NEW BEST:: SOT 49127663 SOS 32458036 HAS SOPS 25285803 HAS SOUS 22715856 HAS SOUPS 22426978 WITH SCORE 2.2459436036E7
AT ITER 172 NEW BEST:: SOT 49129929 SOS 32460302 HAS SOPS 25286414 HAS SOUS 22714470 HAS SOUPS 22425524 WITH SCORE 2.2457984302E7
AT ITER 177 NEW BEST:: SOT 49129929 SOS 32460302 HAS SOPS 25285752 HAS SOUS 22714254 HAS SOUPS 22424862 WITH SCORE 2.2457322302E7
AT ITER 182 NEW BEST:: SOT 49131042 SOS 32462399 HAS SOPS 25285025 HAS SOUS 22716182 HAS SOUPS 22424136 WITH SCORE 2.2456598399E7
AT ITER 185 NEW BEST:: SOT 49131042 SOS 32462399 HAS SOPS 25283245 HAS SOUS 22712309 HAS SOUPS 22420263 WITH SCORE 2.2452725399E7
AT ITER 186 NEW BEST:: SOT 49131042 SOS 32462399 HAS SOPS 25282403 HAS SOUS 22712560 HAS SOUPS 22419421 WITH SCORE 2.2451883399E7
AT ITER 187 NEW BEST:: SOT 49131042 SOS 32462399 HAS SOPS 25281630 HAS SOUS 22709813 HAS SOUPS 22416575 WITH SCORE 2.2449037399E7
AT ITER 189 NEW BEST:: SOT 49131042 SOS 32462399 HAS SOPS 25279911 HAS SOUS 22706377 HAS SOUPS 22413139 WITH SCORE 2.2445601399E7
AT ITER 191 NEW BEST:: SOT 49132009 SOS 32463890 HAS SOPS 25279648 HAS SOUS 22706727 HAS SOUPS 22412877 WITH SCORE 2.244534089E7
AT ITER 193 NEW BEST:: SOT 49132009 SOS 32463890 HAS SOPS 25278139 HAS SOUS 22703177 HAS SOUPS 22409327 WITH SCORE 2.244179089E7
AT ITER 199 NEW BEST:: SOT 49132009 SOS 32463890 HAS SOPS 25277520 HAS SOUS 22702629 HAS SOUPS 22408708 WITH SCORE 2.244117189E7
AT ITER 200 NEW BEST:: SOT 49132009 SOS 32463890 HAS SOPS 25278428 HAS SOUS 22701742 HAS SOUPS 22407821 WITH SCORE 2.244028489E7
AT ITER 209 NEW BEST:: SOT 49132009 SOS 32463890 HAS SOPS 25277170 HAS SOUS 22701219 HAS SOUPS 22406563 WITH SCORE 2.243902689E7
AT ITER 223 NEW BEST:: SOT 49129618 SOS 32461499 HAS SOPS 25275088 HAS SOUS 22699138 HAS SOUPS 22404482 WITH SCORE 2.2436943499E7
AT ITER 228 NEW BEST:: SOT 49128923 SOS 32460804 HAS SOPS 25273953 HAS SOUS 22698003 HAS SOUPS 22403347 WITH SCORE 2.2435807804E7
AT ITER 230 NEW BEST:: SOT 49128923 SOS 32460804 HAS SOPS 25272399 HAS SOUS 22695157 HAS SOUPS 22400241 WITH SCORE 2.2432701804E7
AT ITER 232 NEW BEST:: SOT 49129468 SOS 32461893 HAS SOPS 25270902 HAS SOUS 22696819 HAS SOUPS 22398745 WITH SCORE 2.2431206893E7
AT ITER 239 NEW BEST:: SOT 49129468 SOS 32461893 HAS SOPS 25268917 HAS SOUS 22693335 HAS SOUPS 22394777 WITH SCORE 2.2427238893E7
AT ITER 241 NEW BEST:: SOT 49129468 SOS 32461893 HAS SOPS 25268022 HAS SOUS 22691641 HAS SOUPS 22392745 WITH SCORE 2.2425206893E7
AT ITER 245 NEW BEST:: SOT 49128417 SOS 32459791 HAS SOPS 25265920 HAS SOUS 22689539 HAS SOUPS 22390643 WITH SCORE 2.2423102791E7
AT ITER 254 NEW BEST:: SOT 49126604 SOS 32457978 HAS SOPS 25262968 HAS SOUS 22686961 HAS SOUPS 22387691 WITH SCORE 2.2420148978E7
AT ITER 262 NEW BEST:: SOT 49126604 SOS 32457978 HAS SOPS 25261079 HAS SOUS 22683185 HAS SOUPS 22383915 WITH SCORE 2.2416372978E7
AT ITER 269 NEW BEST:: SOT 49126604 SOS 32457978 HAS SOPS 25259649 HAS SOUS 22684215 HAS SOUPS 22382485 WITH SCORE 2.2414942978E7
AT ITER 271 NEW BEST:: SOT 49126604 SOS 32457978 HAS SOPS 25253775 HAS SOUS 22679533 HAS SOUPS 22376612 WITH SCORE 2.2409069978E7
AT ITER 277 NEW BEST:: SOT 49126120 SOS 32457010 HAS SOPS 25252807 HAS SOUS 22678565 HAS SOUPS 22375644 WITH SCORE 2.240810101E7
AT ITER 284 NEW BEST:: SOT 49125801 SOS 32456372 HAS SOPS 25252169 HAS SOUS 22677927 HAS SOUPS 22375006 WITH SCORE 2.2407462372E7
AT ITER 286 NEW BEST:: SOT 49125801 SOS 32456372 HAS SOPS 25250873 HAS SOUS 22675230 HAS SOUPS 22371637 WITH SCORE 2.2404093372E7
AT ITER 291 NEW BEST:: SOT 49125813 SOS 32457594 HAS SOPS 25248791 HAS SOUS 22675413 HAS SOUPS 22369556 WITH SCORE 2.2402013594E7
AT ITER 296 NEW BEST:: SOT 49125813 SOS 32457594 HAS SOPS 25250345 HAS SOUS 22675412 HAS SOUPS 22369555 WITH SCORE 2.2402012594E7
AT ITER 299 NEW BEST:: SOT 49125813 SOS 32457594 HAS SOPS 25246206 HAS SOUS 22672049 HAS SOUPS 22365418 WITH SCORE 2.2397875594E7
AT ITER 304 NEW BEST:: SOT 49125813 SOS 32457594 HAS SOPS 25244764 HAS SOUS 22669962 HAS SOUPS 22361945 WITH SCORE 2.2394402594E7
AT ITER 308 NEW BEST:: SOT 49125813 SOS 32457594 HAS SOPS 25245062 HAS SOUS 22668207 HAS SOUPS 22360190 WITH SCORE 2.2392647594E7
AT ITER 313 NEW BEST:: SOT 49125813 SOS 32460908 HAS SOPS 25244778 HAS SOUS 22668971 HAS SOUPS 22359906 WITH SCORE 2.2392366908E7
AT ITER 314 NEW BEST:: SOT 49125813 SOS 32460908 HAS SOPS 25243136 HAS SOUS 22666970 HAS SOUPS 22356624 WITH SCORE 2.2389084908E7
AT ITER 315 NEW BEST:: SOT 49126213 SOS 32461707 HAS SOPS 25241468 HAS SOUS 22665375 HAS SOUPS 22354957 WITH SCORE 2.2387418707E7
AT ITER 316 NEW BEST:: SOT 49126213 SOS 32461707 HAS SOPS 25240613 HAS SOUS 22664520 HAS SOUPS 22354102 WITH SCORE 2.2386563707E7
AT ITER 319 NEW BEST:: SOT 49126213 SOS 32461707 HAS SOPS 25238367 HAS SOUS 22660988 HAS SOUPS 22350570 WITH SCORE 2.2383031707E7
AT ITER 336 NEW BEST:: SOT 49126387 SOS 32462054 HAS SOPS 25236495 HAS SOUS 22662226 HAS SOUPS 22348699 WITH SCORE 2.2381161054E7
AT ITER 339 NEW BEST:: SOT 49126387 SOS 32462054 HAS SOPS 25235531 HAS SOUS 22661119 HAS SOUPS 22346773 WITH SCORE 2.2379235054E7
AT ITER 340 NEW BEST:: SOT 49126387 SOS 32462054 HAS SOPS 25234028 HAS SOUS 22659617 HAS SOUPS 22345271 WITH SCORE 2.2377733054E7
AT ITER 353 NEW BEST:: SOT 49126387 SOS 32462054 HAS SOPS 25232550 HAS SOUS 22656366 HAS SOUPS 22341791 WITH SCORE 2.2374253054E7
AT ITER 355 NEW BEST:: SOT 49126387 SOS 32462054 HAS SOPS 25230488 HAS SOUS 22653729 HAS SOUPS 22338785 WITH SCORE 2.2371247054E7
AT ITER 361 NEW BEST:: SOT 49131898 SOS 32409061 HAS SOPS 25155338 HAS SOUS 22636564 HAS SOUPS 22321620 WITH SCORE 2.2354029061E7
AT ITER 362 NEW BEST:: SOT 49131898 SOS 32409061 HAS SOPS 25154556 HAS SOUS 22634273 HAS SOUPS 22318759 WITH SCORE 2.2351168061E7
AT ITER 364 NEW BEST:: SOT 49131898 SOS 32409061 HAS SOPS 25152517 HAS SOUS 22632950 HAS SOUPS 22316722 WITH SCORE 2.2349131061E7
AT ITER 365 NEW BEST:: SOT 49131898 SOS 32409061 HAS SOPS 25151580 HAS SOUS 22631384 HAS SOUPS 22314848 WITH SCORE 2.2347257061E7
AT ITER 368 NEW BEST:: SOT 49131836 SOS 32408999 HAS SOPS 25151518 HAS SOUS 22631322 HAS SOUPS 22314786 WITH SCORE 2.2347194999E7
AT ITER 369 NEW BEST:: SOT 49132251 SOS 32409668 HAS SOPS 25150207 HAS SOUS 22631121 HAS SOUPS 22313476 WITH SCORE 2.2345885668E7
AT ITER 370 NEW BEST:: SOT 49132251 SOS 32409668 HAS SOPS 25149403 HAS SOUS 22630445 HAS SOUPS 22312672 WITH SCORE 2.2345081668E7
AT ITER 371 NEW BEST:: SOT 49132251 SOS 32409668 HAS SOPS 25148503 HAS SOUS 22628157 HAS SOUPS 22310384 WITH SCORE 2.2342793668E7
AT ITER 372 NEW BEST:: SOT 49132251 SOS 32409668 HAS SOPS 25147026 HAS SOUS 22625529 HAS SOUPS 22307432 WITH SCORE 2.2339841668E7
AT ITER 376 NEW BEST:: SOT 49132251 SOS 32409668 HAS SOPS 25145512 HAS SOUS 22623154 HAS SOUPS 22303875 WITH SCORE 2.2336284668E7
AT ITER 382 NEW BEST:: SOT 49132251 SOS 32409668 HAS SOPS 25145508 HAS SOUS 22623203 HAS SOUPS 22303871 WITH SCORE 2.2336280668E7
AT ITER 383 NEW BEST:: SOT 49132484 SOS 32353091 HAS SOPS 25047511 HAS SOUS 22582175 HAS SOUPS 22262843 WITH SCORE 2.2295196091E7
AT ITER 387 NEW BEST:: SOT 49133148 SOS 32354639 HAS SOPS 25047172 HAS SOUS 22583254 HAS SOUPS 22262504 WITH SCORE 2.2294858639E7
AT ITER 388 NEW BEST:: SOT 49133148 SOS 32354639 HAS SOPS 25047985 HAS SOUS 22582592 HAS SOUPS 22261633 WITH SCORE 2.2293987639E7
AT ITER 391 NEW BEST:: SOT 49131967 SOS 32353458 HAS SOPS 25047826 HAS SOUS 22580230 HAS SOUPS 22261474 WITH SCORE 2.2293827458E7
AT ITER 395 NEW BEST:: SOT 49131967 SOS 32353458 HAS SOPS 25048971 HAS SOUS 22579573 HAS SOUPS 22260817 WITH SCORE 2.2293170458E7
AT ITER 396 NEW BEST:: SOT 49131969 SOS 32366260 HAS SOPS 25048713 HAS SOUS 22579831 HAS SOUPS 22260559 WITH SCORE 2.229292526E7
AT ITER 400 NEW BEST:: SOT 49131969 SOS 32366260 HAS SOPS 25047777 HAS SOUS 22577386 HAS SOUPS 22257562 WITH SCORE 2.228992826E7
AT ITER 407 NEW BEST:: SOT 49133531 SOS 32514222 HAS SOPS 25045272 HAS SOUS 22580277 HAS SOUPS 22255057 WITH SCORE 2.2287571222E7
AT ITER 408 NEW BEST:: SOT 49133531 SOS 32515219 HAS SOPS 25042921 HAS SOUS 22578147 HAS SOUPS 22251975 WITH SCORE 2.2284490219E7
AT ITER 409 NEW BEST:: SOT 49133531 SOS 32515219 HAS SOPS 25041143 HAS SOUS 22575146 HAS SOUPS 22248421 WITH SCORE 2.2280936219E7
AT ITER 411 NEW BEST:: SOT 49133531 SOS 32515219 HAS SOPS 25040472 HAS SOUS 22574475 HAS SOUPS 22247750 WITH SCORE 2.2280265219E7
AT ITER 418 NEW BEST:: SOT 49134042 SOS 32516144 HAS SOPS 25039129 HAS SOUS 22573470 HAS SOUPS 22246408 WITH SCORE 2.2278924144E7
AT ITER 419 NEW BEST:: SOT 49136453 SOS 32519923 HAS SOPS 25038778 HAS SOUS 22577606 HAS SOUPS 22246058 WITH SCORE 2.2278577923E7
AT ITER 422 NEW BEST:: SOT 49136453 SOS 32519923 HAS SOPS 25037447 HAS SOUS 22576275 HAS SOUPS 22244727 WITH SCORE 2.2277246923E7
AT ITER 424 NEW BEST:: SOT 49136453 SOS 32519923 HAS SOPS 25034971 HAS SOUS 22573981 HAS SOUPS 22242251 WITH SCORE 2.2274770923E7
AT ITER 425 NEW BEST:: SOT 49136453 SOS 32519923 HAS SOPS 25034217 HAS SOUS 22571222 HAS SOUPS 22239424 WITH SCORE 2.2271943923E7
AT ITER 427 NEW BEST:: SOT 49136453 SOS 32519923 HAS SOPS 25032563 HAS SOUS 22567845 HAS SOUPS 22235741 WITH SCORE 2.2268260923E7
AT ITER 428 NEW BEST:: SOT 49135048 SOS 32518518 HAS SOPS 25029752 HAS SOUS 22565765 HAS SOUPS 22231526 WITH SCORE 2.2264044518E7
AT ITER 431 NEW BEST:: SOT 49135564 SOS 32519549 HAS SOPS 25028208 HAS SOUS 22567097 HAS SOUPS 22229983 WITH SCORE 2.2262502549E7
AT ITER 440 NEW BEST:: SOT 49135564 SOS 32519549 HAS SOPS 25026195 HAS SOUS 22565315 HAS SOUPS 22227971 WITH SCORE 2.2260490549E7
AT ITER 445 NEW BEST:: SOT 49135564 SOS 32519549 HAS SOPS 25026191 HAS SOUS 22565311 HAS SOUPS 22227967 WITH SCORE 2.2260486549E7
AT ITER 453 NEW BEST:: SOT 49135779 SOS 32519874 HAS SOPS 25024592 HAS SOUS 22567523 HAS SOUPS 22226369 WITH SCORE 2.2258888874E7
AT ITER 458 NEW BEST:: SOT 49135779 SOS 32519874 HAS SOPS 25022987 HAS SOUS 22564913 HAS SOUPS 22222713 WITH SCORE 2.2255232874E7
AT ITER 461 NEW BEST:: SOT 49135779 SOS 32519874 HAS SOPS 25021675 HAS SOUS 22562290 HAS SOUPS 22220090 WITH SCORE 2.2252609874E7
AT ITER 466 NEW BEST:: SOT 49135779 SOS 32519874 HAS SOPS 25020510 HAS SOUS 22560192 HAS SOUPS 22216878 WITH SCORE 2.2249397874E7
AT ITER 475 NEW BEST:: SOT 49135779 SOS 32519874 HAS SOPS 25019467 HAS SOUS 22560186 HAS SOUPS 22215835 WITH SCORE 2.2248354874E7
AT ITER 476 NEW BEST:: SOT 49132218 SOS 32516313 HAS SOPS 25017453 HAS SOUS 22558173 HAS SOUPS 22213822 WITH SCORE 2.2246338313E7
AT ITER 479 NEW BEST:: SOT 49132218 SOS 32516313 HAS SOPS 25015904 HAS SOUS 22554767 HAS SOUPS 22210212 WITH SCORE 2.2242728313E7
AT ITER 480 NEW BEST:: SOT 49133038 SOS 32517952 HAS SOPS 25014640 HAS SOUS 22555963 HAS SOUPS 22208949 WITH SCORE 2.2241466952E7
AT ITER 486 NEW BEST:: SOT 49131725 SOS 32516639 HAS SOPS 25012456 HAS SOUS 22553853 HAS SOUPS 22206765 WITH SCORE 2.2239281639E7
AT ITER 487 NEW BEST:: SOT 49131725 SOS 32516639 HAS SOPS 25012455 HAS SOUS 22553538 HAS SOUPS 22206450 WITH SCORE 2.2238966639E7
AT ITER 489 NEW BEST:: SOT 49131725 SOS 32516639 HAS SOPS 25010867 HAS SOUS 22550364 HAS SOUPS 22203276 WITH SCORE 2.2235792639E7
AT ITER 491 NEW BEST:: SOT 49131092 SOS 32515373 HAS SOPS 25009601 HAS SOUS 22549098 HAS SOUPS 22202010 WITH SCORE 2.2234525373E7
AT ITER 492 NEW BEST:: SOT 49131092 SOS 32515373 HAS SOPS 25008983 HAS SOUS 22549942 HAS SOUPS 22201392 WITH SCORE 2.2233907373E7
AT ITER 494 NEW BEST:: SOT 49131170 SOS 32517866 HAS SOPS 25007636 HAS SOUS 22548595 HAS SOUPS 22200045 WITH SCORE 2.2232562866E7
AT ITER 496 NEW BEST:: SOT 49131170 SOS 32517866 HAS SOPS 25005754 HAS SOUS 22544833 HAS SOUPS 22196283 WITH SCORE 2.2228800866E7
AT ITER 497 NEW BEST:: SOT 49130979 SOS 32517675 HAS SOPS 25003884 HAS SOUS 22541850 HAS SOUPS 22192356 WITH SCORE 2.2224873675E7
AT ITER 500 NEW BEST:: SOT 49131346 SOS 32519276 HAS SOPS 25002805 HAS SOUS 22540772 HAS SOUPS 22191278 WITH SCORE 2.2223797276E7
AT ITER 503 NEW BEST:: SOT 49131380 SOS 32519761 HAS SOPS 25000787 HAS SOUS 22538755 HAS SOUPS 22189261 WITH SCORE 2.2221780761E7
AT ITER 505 NEW BEST:: SOT 49131380 SOS 32519761 HAS SOPS 24999297 HAS SOUS 22536242 HAS SOUPS 22185736 WITH SCORE 2.2218255761E7
AT ITER 517 NEW BEST:: SOT 49131496 SOS 32519992 HAS SOPS 24997349 HAS SOUS 22534295 HAS SOUPS 22183789 WITH SCORE 2.2216308992E7
AT ITER 521 NEW BEST:: SOT 49131496 SOS 32519992 HAS SOPS 24996395 HAS SOUS 22533705 HAS SOUPS 22182835 WITH SCORE 2.2215354992E7
AT ITER 523 NEW BEST:: SOT 49131496 SOS 32519992 HAS SOPS 24995107 HAS SOUS 22532419 HAS SOUPS 22181549 WITH SCORE 2.2214068992E7
AT ITER 525 NEW BEST:: SOT 49130994 SOS 32500916 HAS SOPS 24976533 HAS SOUS 22531415 HAS SOUPS 22180545 WITH SCORE 2.2213045916E7
AT ITER 527 NEW BEST:: SOT 49130277 SOS 32500199 HAS SOPS 24975166 HAS SOUS 22530048 HAS SOUPS 22179178 WITH SCORE 2.2211678199E7
AT ITER 536 NEW BEST:: SOT 49130277 SOS 32500199 HAS SOPS 24973397 HAS SOUS 22526218 HAS SOUPS 22175348 WITH SCORE 2.2207848199E7
AT ITER 539 NEW BEST:: SOT 49128930 SOS 32498852 HAS SOPS 24972050 HAS SOUS 22524871 HAS SOUPS 22174001 WITH SCORE 2.2206499852E7
AT ITER 541 NEW BEST:: SOT 49128930 SOS 32498852 HAS SOPS 24972046 HAS SOUS 22524867 HAS SOUPS 22173997 WITH SCORE 2.2206495852E7
AT ITER 548 NEW BEST:: SOT 49128930 SOS 32498852 HAS SOPS 24971845 HAS SOUS 22524756 HAS SOUPS 22173796 WITH SCORE 2.2206294852E7
AT ITER 549 NEW BEST:: SOT 49128930 SOS 32498852 HAS SOPS 24970568 HAS SOUS 22521396 HAS SOUPS 22170436 WITH SCORE 2.2202934852E7
AT ITER 553 NEW BEST:: SOT 49128953 SOS 32498897 HAS SOPS 24968577 HAS SOUS 22523038 HAS SOUPS 22168446 WITH SCORE 2.2200944897E7
AT ITER 554 NEW BEST:: SOT 49128995 SOS 32498980 HAS SOPS 24966587 HAS SOUS 22524368 HAS SOUPS 22166457 WITH SCORE 2.219895598E7
AT ITER 555 NEW BEST:: SOT 49128995 SOS 32498980 HAS SOPS 24964527 HAS SOUS 22522318 HAS SOUPS 22164398 WITH SCORE 2.219689698E7
AT ITER 564 NEW BEST:: SOT 49127772 SOS 32497757 HAS SOPS 24963134 HAS SOUS 22520925 HAS SOUPS 22163005 WITH SCORE 2.2195502757E7
AT ITER 565 NEW BEST:: SOT 49128087 SOS 32498386 HAS SOPS 24961403 HAS SOUS 22519195 HAS SOUPS 22161275 WITH SCORE 2.2193773386E7
AT ITER 568 NEW BEST:: SOT 49128087 SOS 32498386 HAS SOPS 24961399 HAS SOUS 22519219 HAS SOUPS 22161271 WITH SCORE 2.2193769386E7
AT ITER 580 NEW BEST:: SOT 49128087 SOS 32498386 HAS SOPS 24960467 HAS SOUS 22517357 HAS SOUPS 22159409 WITH SCORE 2.2191907386E7
AT ITER 581 NEW BEST:: SOT 49128087 SOS 32501079 HAS SOPS 24960235 HAS SOUS 22517125 HAS SOUPS 22159177 WITH SCORE 2.2191678079E7
AT ITER 583 NEW BEST:: SOT 49128087 SOS 32501079 HAS SOPS 24958448 HAS SOUS 22513973 HAS SOUPS 22155605 WITH SCORE 2.2188106079E7
AT ITER 595 NEW BEST:: SOT 49128087 SOS 32501079 HAS SOPS 24954920 HAS SOUS 22510445 HAS SOUPS 22152077 WITH SCORE 2.2184578079E7
AT ITER 597 NEW BEST:: SOT 49128087 SOS 32501079 HAS SOPS 24952744 HAS SOUS 22506803 HAS SOUPS 22148435 WITH SCORE 2.2180936079E7
AT ITER 605 NEW BEST:: SOT 49129062 SOS 32503028 HAS SOPS 24951637 HAS SOUS 22505697 HAS SOUPS 22147329 WITH SCORE 2.2179832028E7
AT ITER 609 NEW BEST:: SOT 49129062 SOS 32503028 HAS SOPS 24950392 HAS SOUS 22503953 HAS SOUPS 22145585 WITH SCORE 2.2178088028E7
AT ITER 619 NEW BEST:: SOT 49129062 SOS 32503028 HAS SOPS 24950540 HAS SOUS 22503800 HAS SOUPS 22145432 WITH SCORE 2.2177935028E7
AT ITER 620 NEW BEST:: SOT 49128549 SOS 32502515 HAS SOPS 24950027 HAS SOUS 22503287 HAS SOUPS 22144919 WITH SCORE 2.2177421515E7
AT ITER 621 NEW BEST:: SOT 49128549 SOS 32502515 HAS SOPS 24950026 HAS SOUS 22502750 HAS SOUPS 22144382 WITH SCORE 2.2176884515E7
AT ITER 622 NEW BEST:: SOT 49128417 SOS 32502383 HAS SOPS 24949761 HAS SOUS 22502485 HAS SOUPS 22144117 WITH SCORE 2.2176619383E7
AT ITER 625 NEW BEST:: SOT 46826370 SOS 33641996 HAS SOPS 22644058 HAS SOUS 20204369 HAS SOUPS 19838414 WITH SCORE 1.9872055996E7
AT ITER 627 NEW BEST:: SOT 46824858 SOS 33640484 HAS SOPS 22638938 HAS SOUS 20203845 HAS SOUPS 19835270 WITH SCORE 1.9868910484E7
AT ITER 628 NEW BEST:: SOT 46824858 SOS 33640484 HAS SOPS 22638904 HAS SOUS 20203232 HAS SOUPS 19834657 WITH SCORE 1.9868297484E7
AT ITER 632 NEW BEST:: SOT 46824292 SOS 33639918 HAS SOPS 22637771 HAS SOUS 20200020 HAS SOUPS 19831445 WITH SCORE 1.9865084918E7
AT ITER 633 NEW BEST:: SOT 46824292 SOS 33639918 HAS SOPS 22636803 HAS SOUS 20199052 HAS SOUPS 19830477 WITH SCORE 1.9864116918E7
AT ITER 634 NEW BEST:: SOT 46822501 SOS 33638127 HAS SOPS 22633220 HAS SOUS 20193404 HAS SOUPS 19824829 WITH SCORE 1.9858467127E7
AT ITER 636 NEW BEST:: SOT 46821113 SOS 33636739 HAS SOPS 22629760 HAS SOUS 20189945 HAS SOUPS 19821370 WITH SCORE 1.9855006739E7
AT ITER 640 NEW BEST:: SOT 46821113 SOS 33636739 HAS SOPS 22629717 HAS SOUS 20189902 HAS SOUPS 19821327 WITH SCORE 1.9854963739E7
AT ITER 642 NEW BEST:: SOT 46819607 SOS 33635233 HAS SOPS 22626704 HAS SOUS 20185116 HAS SOUPS 19816269 WITH SCORE 1.9849904233E7
AT ITER 646 NEW BEST:: SOT 46818341 SOS 33633967 HAS SOPS 22624171 HAS SOUS 20181722 HAS SOUPS 19811693 WITH SCORE 1.9845326967E7
AT ITER 655 NEW BEST:: SOT 46818341 SOS 33633967 HAS SOPS 22624167 HAS SOUS 20181952 HAS SOUPS 19811689 WITH SCORE 1.9845322967E7
AT ITER 656 NEW BEST:: SOT 46817030 SOS 33632656 HAS SOPS 22621544 HAS SOUS 20178019 HAS SOUPS 19807756 WITH SCORE 1.9841388656E7
AT ITER 660 NEW BEST:: SOT 46819106 SOS 33632960 HAS SOPS 22624948 HAS SOUS 20170207 HAS SOUPS 19800387 WITH SCORE 1.983401996E7
AT ITER 667 NEW BEST:: SOT 46819392 SOS 33633246 HAS SOPS 22624571 HAS SOUS 20169830 HAS SOUPS 19800010 WITH SCORE 1.9833643246E7
AT ITER 668 NEW BEST:: SOT 46817344 SOS 33631198 HAS SOPS 22620449 HAS SOUS 20166063 HAS SOUPS 19795889 WITH SCORE 1.9829520198E7
AT ITER 670 NEW BEST:: SOT 46815718 SOS 33629572 HAS SOPS 22618823 HAS SOUS 20164437 HAS SOUPS 19794263 WITH SCORE 1.9827892572E7
AT ITER 671 NEW BEST:: SOT 46814338 SOS 33628192 HAS SOPS 22616062 HAS SOUS 20160297 HAS SOUPS 19790123 WITH SCORE 1.9823751192E7
AT ITER 676 NEW BEST:: SOT 46812954 SOS 33626808 HAS SOPS 22613293 HAS SOUS 20157737 HAS SOUPS 19787354 WITH SCORE 1.9820980808E7
AT ITER 680 NEW BEST:: SOT 46812954 SOS 33626808 HAS SOPS 22612966 HAS SOUS 20159679 HAS SOUPS 19787027 WITH SCORE 1.9820653808E7
AT ITER 683 NEW BEST:: SOT 46811473 SOS 33625327 HAS SOPS 22609817 HAS SOUS 20157415 HAS SOUPS 19783879 WITH SCORE 1.9817504327E7
AT ITER 685 NEW BEST:: SOT 46810180 SOS 33624034 HAS SOPS 22607328 HAS SOUS 20154926 HAS SOUPS 19781390 WITH SCORE 1.9815014034E7
AT ITER 692 NEW BEST:: SOT 46808827 SOS 33622681 HAS SOPS 22604621 HAS SOUS 20151788 HAS SOUPS 19777331 WITH SCORE 1.9810953681E7
AT ITER 695 NEW BEST:: SOT 46808631 SOS 33622485 HAS SOPS 22604425 HAS SOUS 20151592 HAS SOUPS 19777135 WITH SCORE 1.9810757485E7
AT ITER 698 NEW BEST:: SOT 46808631 SOS 33622485 HAS SOPS 22604425 HAS SOUS 20151556 HAS SOUPS 19777099 WITH SCORE 1.9810721485E7
AT ITER 706 NEW BEST:: SOT 46808604 SOS 33622458 HAS SOPS 22604423 HAS SOUS 20151529 HAS SOUPS 19777072 WITH SCORE 1.9810694458E7
AT ITER 710 NEW BEST:: SOT 46807742 SOS 33621596 HAS SOPS 22603149 HAS SOUS 20150255 HAS SOUPS 19775798 WITH SCORE 1.9809419596E7
AT ITER 711 NEW BEST:: SOT 46807742 SOS 33621596 HAS SOPS 22603148 HAS SOUS 20149814 HAS SOUPS 19775357 WITH SCORE 1.9808978596E7
AT ITER 715 NEW BEST:: SOT 46807742 SOS 33621596 HAS SOPS 22604557 HAS SOUS 20149813 HAS SOUPS 19775356 WITH SCORE 1.9808977596E7
AT ITER 719 NEW BEST:: SOT 46804958 SOS 33618812 HAS SOPS 22601322 HAS SOUS 20146578 HAS SOUPS 19772121 WITH SCORE 1.9805739812E7
AT ITER 729 NEW BEST:: SOT 46804707 SOS 33618561 HAS SOPS 22601070 HAS SOUS 20146076 HAS SOUPS 19771619 WITH SCORE 1.9805237561E7
AT ITER 730 NEW BEST:: SOT 46803861 SOS 33617715 HAS SOPS 22598532 HAS SOUS 20144145 HAS SOUPS 19769688 WITH SCORE 1.9803305715E7
AT ITER 737 NEW BEST:: SOT 46803923 SOS 33617777 HAS SOPS 22598655 HAS SOUS 20143671 HAS SOUPS 19769214 WITH SCORE 1.9802831777E7
AT ITER 738 NEW BEST:: SOT 46802113 SOS 33615967 HAS SOPS 22595034 HAS SOUS 20139931 HAS SOUPS 19765474 WITH SCORE 1.9799089967E7
AT ITER 744 NEW BEST:: SOT 46790525 SOS 33604379 HAS SOPS 22583446 HAS SOUS 20128343 HAS SOUPS 19753886 WITH SCORE 1.9787490379E7
AT ITER 745 NEW BEST:: SOT 46789144 SOS 33602998 HAS SOPS 22579979 HAS SOUS 20124877 HAS SOUPS 19750420 WITH SCORE 1.9784022998E7
AT ITER 751 NEW BEST:: SOT 46788665 SOS 33602519 HAS SOPS 22579020 HAS SOUS 20121882 HAS SOUPS 19747425 WITH SCORE 1.9781027519E7
AT ITER 756 NEW BEST:: SOT 46786757 SOS 33600611 HAS SOPS 22575203 HAS SOUS 20116361 HAS SOUPS 19741701 WITH SCORE 1.9775301611E7
AT ITER 757 NEW BEST:: SOT 46787133 SOS 33600987 HAS SOPS 22574541 HAS SOUS 20113850 HAS SOUPS 19738986 WITH SCORE 1.9772586987E7
AT ITER 758 NEW BEST:: SOT 46785201 SOS 33599055 HAS SOPS 22570676 HAS SOUS 20108054 HAS SOUPS 19733190 WITH SCORE 1.9766789055E7
AT ITER 760 NEW BEST:: SOT 46783389 SOS 33597243 HAS SOPS 22567051 HAS SOUS 20102618 HAS SOUPS 19727754 WITH SCORE 1.9761351243E7
AT ITER 764 NEW BEST:: SOT 46782598 SOS 33596452 HAS SOPS 22565469 HAS SOUS 20098958 HAS SOUPS 19724094 WITH SCORE 1.9757690452E7
AT ITER 765 NEW BEST:: SOT 46782032 SOS 33595886 HAS SOPS 22563754 HAS SOUS 20096287 HAS SOUPS 19721232 WITH SCORE 1.9754827886E7
AT ITER 766 NEW BEST:: SOT 46782034 SOS 33602188 HAS SOPS 22563630 HAS SOUS 20096295 HAS SOUPS 19721108 WITH SCORE 1.9754710188E7
AT ITER 771 NEW BEST:: SOT 46788550 SOS 33605788 HAS SOPS 22572377 HAS SOUS 20085869 HAS SOUPS 19711426 WITH SCORE 1.9745031788E7
AT ITER 780 NEW BEST:: SOT 46788550 SOS 33605788 HAS SOPS 22572376 HAS SOUS 20085218 HAS SOUPS 19710775 WITH SCORE 1.9744380788E7
AT ITER 782 NEW BEST:: SOT 46786677 SOS 33603915 HAS SOPS 22569121 HAS SOUS 20079882 HAS SOUPS 19705439 WITH SCORE 1.9739042915E7
AT ITER 783 NEW BEST:: SOT 46786424 SOS 33603662 HAS SOPS 22568615 HAS SOUS 20079376 HAS SOUPS 19704933 WITH SCORE 1.9738536662E7
AT ITER 785 NEW BEST:: SOT 46784833 SOS 33602071 HAS SOPS 22567085 HAS SOUS 20076194 HAS SOUPS 19701751 WITH SCORE 1.9735353071E7
AT ITER 787 NEW BEST:: SOT 46784479 SOS 33601717 HAS SOPS 22566377 HAS SOUS 20075486 HAS SOUPS 19701043 WITH SCORE 1.9734644717E7
AT ITER 788 NEW BEST:: SOT 46784479 SOS 33601717 HAS SOPS 22566373 HAS SOUS 20075482 HAS SOUPS 19701039 WITH SCORE 1.9734640717E7
AT ITER 791 NEW BEST:: SOT 46785165 SOS 33602403 HAS SOPS 22566325 HAS SOUS 20073378 HAS SOUPS 19698935 WITH SCORE 1.9732537403E7
AT ITER 807 NEW BEST:: SOT 46784445 SOS 33540452 HAS SOPS 22484650 HAS SOUS 20049577 HAS SOUPS 19675134 WITH SCORE 1.9708674452E7
AT ITER 810 NEW BEST:: SOT 46784154 SOS 33540161 HAS SOPS 22484067 HAS SOUS 20048752 HAS SOUPS 19674261 WITH SCORE 1.9707801161E7
AT ITER 816 NEW BEST:: SOT 46783016 SOS 33539023 HAS SOPS 22481790 HAS SOUS 20044424 HAS SOUPS 19669933 WITH SCORE 1.9703472023E7
AT ITER 818 NEW BEST:: SOT 46781488 SOS 33537495 HAS SOPS 22478182 HAS SOUS 20040817 HAS SOUPS 19666326 WITH SCORE 1.9699863495E7
AT ITER 827 NEW BEST:: SOT 46779582 SOS 33535589 HAS SOPS 22474369 HAS SOUS 20034911 HAS SOUPS 19660420 WITH SCORE 1.9693955589E7
AT ITER 830 NEW BEST:: SOT 46778644 SOS 33534651 HAS SOPS 22472492 HAS SOUS 20032097 HAS SOUPS 19657606 WITH SCORE 1.9691140651E7
AT ITER 835 NEW BEST:: SOT 46778644 SOS 33534651 HAS SOPS 22472491 HAS SOUS 20031269 HAS SOUPS 19655683 WITH SCORE 1.9689217651E7
AT ITER 836 NEW BEST:: SOT 46777841 SOS 33534273 HAS SOPS 22469606 HAS SOUS 20028385 HAS SOUPS 19652799 WITH SCORE 1.9686333273E7
AT ITER 838 NEW BEST:: SOT 46777637 SOS 33534069 HAS SOPS 22469198 HAS SOUS 20028181 HAS SOUPS 19652391 WITH SCORE 1.9685925069E7
AT ITER 839 NEW BEST:: SOT 46776042 SOS 33532474 HAS SOPS 22464421 HAS SOUS 20023805 HAS SOUPS 19647606 WITH SCORE 1.9681138474E7
AT ITER 842 NEW BEST:: SOT 46775652 SOS 33533597 HAS SOPS 22462794 HAS SOUS 20022179 HAS SOUPS 19645980 WITH SCORE 1.9679513597E7
AT ITER 847 NEW BEST:: SOT 46774352 SOS 33532297 HAS SOPS 22460193 HAS SOUS 20017511 HAS SOUPS 19641312 WITH SCORE 1.9674844297E7
AT ITER 849 NEW BEST:: SOT 46772714 SOS 33530752 HAS SOPS 22456885 HAS SOUS 20014274 HAS SOUPS 19638005 WITH SCORE 1.9671535752E7
AT ITER 850 NEW BEST:: SOT 46771437 SOS 33529475 HAS SOPS 22454330 HAS SOUS 20009664 HAS SOUPS 19633395 WITH SCORE 1.9666924475E7
AT ITER 854 NEW BEST:: SOT 46771437 SOS 33529475 HAS SOPS 22454326 HAS SOUS 20009720 HAS SOUPS 19633391 WITH SCORE 1.9666920475E7
AT ITER 856 NEW BEST:: SOT 46771127 SOS 33529165 HAS SOPS 22454016 HAS SOUS 20009410 HAS SOUPS 19633081 WITH SCORE 1.9666610165E7
AT ITER 857 NEW BEST:: SOT 46770699 SOS 33528737 HAS SOPS 22453084 HAS SOUS 20008479 HAS SOUPS 19632150 WITH SCORE 1.9665678737E7
AT ITER 858 NEW BEST:: SOT 46767683 SOS 33525721 HAS SOPS 22448258 HAS SOUS 20004916 HAS SOUPS 19627324 WITH SCORE 1.9660849721E7
AT ITER 862 NEW BEST:: SOT 46764459 SOS 33522497 HAS SOPS 22441809 HAS SOUS 19999408 HAS SOUPS 19619264 WITH SCORE 1.9652786497E7
AT ITER 863 NEW BEST:: SOT 46762873 SOS 33520911 HAS SOPS 22438603 HAS SOUS 19994168 HAS SOUPS 19614024 WITH SCORE 1.9647544911E7
AT ITER 864 NEW BEST:: SOT 46761074 SOS 33519112 HAS SOPS 22435004 HAS SOUS 19988771 HAS SOUPS 19608627 WITH SCORE 1.9642146112E7
AT ITER 866 NEW BEST:: SOT 46760563 SOS 33518601 HAS SOPS 22433982 HAS SOUS 19987749 HAS SOUPS 19607605 WITH SCORE 1.9641123601E7
AT ITER 867 NEW BEST:: SOT 46758869 SOS 33516907 HAS SOPS 22428180 HAS SOUS 19984012 HAS SOUPS 19603868 WITH SCORE 1.9637384907E7
AT ITER 874 NEW BEST:: SOT 46757214 SOS 33515252 HAS SOPS 22424431 HAS SOUS 19980264 HAS SOUPS 19600120 WITH SCORE 1.9633635252E7
AT ITER 886 NEW BEST:: SOT 46760688 SOS 33518726 HAS SOPS 22425205 HAS SOUS 19980527 HAS SOUPS 19599488 WITH SCORE 1.9633006726E7
AT ITER 890 NEW BEST:: SOT 46759517 SOS 33517555 HAS SOPS 22423539 HAS SOUS 19978861 HAS SOUPS 19597822 WITH SCORE 1.9631339555E7
AT ITER 892 NEW BEST:: SOT 46757459 SOS 33515666 HAS SOPS 22419401 HAS SOUS 19974724 HAS SOUPS 19593685 WITH SCORE 1.9627200666E7
AT ITER 898 NEW BEST:: SOT 46757404 SOS 33515769 HAS SOPS 22418974 HAS SOUS 19974298 HAS SOUPS 19593259 WITH SCORE 1.9626774769E7
AT ITER 900 NEW BEST:: SOT 46755813 SOS 33514178 HAS SOPS 22415333 HAS SOUS 19973672 HAS SOUPS 19589619 WITH SCORE 1.9623133178E7
AT ITER 904 NEW BEST:: SOT 46755909 SOS 33514274 HAS SOPS 22414463 HAS SOUS 19972276 HAS SOUPS 19588223 WITH SCORE 1.9621737274E7
AT ITER 911 NEW BEST:: SOT 46756677 SOS 33515042 HAS SOPS 22414333 HAS SOUS 19970069 HAS SOUPS 19586016 WITH SCORE 1.9619531042E7
AT ITER 912 NEW BEST:: SOT 46754649 SOS 33513014 HAS SOPS 22410276 HAS SOUS 19964793 HAS SOUPS 19580264 WITH SCORE 1.9613777014E7
AT ITER 915 NEW BEST:: SOT 46753567 SOS 33512070 HAS SOPS 22407106 HAS SOUS 19964019 HAS SOUPS 19577095 WITH SCORE 1.961060707E7
AT ITER 918 NEW BEST:: SOT 46753875 SOS 33512378 HAS SOPS 22407721 HAS SOUS 19962551 HAS SOUPS 19575627 WITH SCORE 1.9609139378E7
AT ITER 924 NEW BEST:: SOT 46754046 SOS 33512699 HAS SOPS 22409139 HAS SOUS 19961994 HAS SOUPS 19575070 WITH SCORE 1.9608582699E7
AT ITER 926 NEW BEST:: SOT 46753731 SOS 33512384 HAS SOPS 22408405 HAS SOUS 19961261 HAS SOUPS 19574337 WITH SCORE 1.9607849384E7
AT ITER 928 NEW BEST:: SOT 46753731 SOS 33512384 HAS SOPS 22409103 HAS SOUS 19959575 HAS SOUPS 19572651 WITH SCORE 1.9606163384E7
AT ITER 931 NEW BEST:: SOT 46752302 SOS 33510955 HAS SOPS 22406244 HAS SOUS 19955288 HAS SOUPS 19568364 WITH SCORE 1.9601874955E7
AT ITER 951 NEW BEST:: SOT 46752302 SOS 33510955 HAS SOPS 22406243 HAS SOUS 19951900 HAS SOUPS 19566670 WITH SCORE 1.9600180955E7
AT ITER 953 NEW BEST:: SOT 46750985 SOS 33509638 HAS SOPS 22402980 HAS SOUS 19948638 HAS SOUPS 19563408 WITH SCORE 1.9596917638E7
AT ITER 954 NEW BEST:: SOT 46750630 SOS 33510316 HAS SOPS 22401019 HAS SOUS 19951788 HAS SOUPS 19561448 WITH SCORE 1.9594958316E7
AT ITER 957 NEW BEST:: SOT 46748796 SOS 33508482 HAS SOPS 22397350 HAS SOUS 19946090 HAS SOUPS 19555750 WITH SCORE 1.9589258482E7
AT ITER 960 NEW BEST:: SOT 46749318 SOS 33509004 HAS SOPS 22394628 HAS SOUS 19943081 HAS SOUPS 19552741 WITH SCORE 1.9586250004E7
AT ITER 971 NEW BEST:: SOT 46747446 SOS 33507132 HAS SOPS 22390672 HAS SOUS 19939126 HAS SOUPS 19548786 WITH SCORE 1.9582293132E7
AT ITER 973 NEW BEST:: SOT 46748187 SOS 33507873 HAS SOPS 22389321 HAS SOUS 19937829 HAS SOUPS 19547436 WITH SCORE 1.9580943873E7
AT ITER 976 NEW BEST:: SOT 46747423 SOS 33478841 HAS SOPS 22361053 HAS SOUS 19936301 HAS SOUPS 19545908 WITH SCORE 1.9579386841E7
AT ITER 977 NEW BEST:: SOT 46745971 SOS 33477389 HAS SOPS 22358535 HAS SOUS 19933784 HAS SOUPS 19543391 WITH SCORE 1.9576868389E7
AT ITER 982 NEW BEST:: SOT 46744429 SOS 33475847 HAS SOPS 22355450 HAS SOUS 19928832 HAS SOUPS 19538269 WITH SCORE 1.9571744847E7
AT ITER 986 NEW BEST:: SOT 46744441 SOS 33476785 HAS SOPS 22354067 HAS SOUS 19928909 HAS SOUPS 19536886 WITH SCORE 1.9570362785E7
AT ITER 988 NEW BEST:: SOT 46744441 SOS 33476785 HAS SOPS 22354067 HAS SOUS 19928245 HAS SOUPS 19536222 WITH SCORE 1.9569698785E7
AT ITER 990 NEW BEST:: SOT 46744057 SOS 33475249 HAS SOPS 22352915 HAS SOUS 19927093 HAS SOUPS 19535070 WITH SCORE 1.9568545249E7
AT ITER 991 NEW BEST:: SOT 46744516 SOS 33476762 HAS SOPS 22352228 HAS SOUS 19926469 HAS SOUPS 19534383 WITH SCORE 1.9567859762E7
AT ITER 992 NEW BEST:: SOT 46743009 SOS 33475255 HAS SOPS 22350721 HAS SOUS 19924962 HAS SOUPS 19532876 WITH SCORE 1.9566351255E7
AT ITER 999 NEW BEST:: SOT 46742523 SOS 33474769 HAS SOPS 22349495 HAS SOUS 19923760 HAS SOUPS 19531650 WITH SCORE 1.9565124769E7
AT ITER 1002 NEW BEST:: SOT 46740562 SOS 33472808 HAS SOPS 22345572 HAS SOUS 19918417 HAS SOUPS 19525767 WITH SCORE 1.9559239808E7
AT ITER 1013 NEW BEST:: SOT 46741131 SOS 33474050 HAS SOPS 22345302 HAS SOUS 19918338 HAS SOUPS 19525497 WITH SCORE 1.955897105E7
AT ITER 1021 NEW BEST:: SOT 46741131 SOS 33474050 HAS SOPS 22344933 HAS SOUS 19917969 HAS SOUPS 19525128 WITH SCORE 1.955860205E7
AT ITER 1028 NEW BEST:: SOT 46739135 SOS 33472054 HAS SOPS 22340907 HAS SOUS 19912371 HAS SOUPS 19519140 WITH SCORE 1.9552612054E7
AT ITER 1030 NEW BEST:: SOT 46738937 SOS 33471856 HAS SOPS 22340511 HAS SOUS 19911777 HAS SOUPS 19518546 WITH SCORE 1.9552017856E7
AT ITER 1031 NEW BEST:: SOT 46737931 SOS 33470850 HAS SOPS 22338498 HAS SOUS 19909764 HAS SOUPS 19516533 WITH SCORE 1.955000385E7
AT ITER 1032 NEW BEST:: SOT 46737296 SOS 33470215 HAS SOPS 22336750 HAS SOUS 19907577 HAS SOUPS 19514346 WITH SCORE 1.9547816215E7
AT ITER 1039 NEW BEST:: SOT 46737296 SOS 33470215 HAS SOPS 22336086 HAS SOUS 19907003 HAS SOUPS 19513682 WITH SCORE 1.9547152215E7
AT ITER 1047 NEW BEST:: SOT 46737296 SOS 33470215 HAS SOPS 22336082 HAS SOUS 19907101 HAS SOUPS 19513678 WITH SCORE 1.9547148215E7
AT ITER 1049 NEW BEST:: SOT 46735442 SOS 33468361 HAS SOPS 22332340 HAS SOUS 19901749 HAS SOUPS 19508326 WITH SCORE 1.9541794361E7
AT ITER 1050 NEW BEST:: SOT 46733485 SOS 33466404 HAS SOPS 22328377 HAS SOUS 19897787 HAS SOUPS 19504364 WITH SCORE 1.9537830404E7
AT ITER 1054 NEW BEST:: SOT 46733485 SOS 33466404 HAS SOPS 22328376 HAS SOUS 19896012 HAS SOUPS 19502589 WITH SCORE 1.9536055404E7
AT ITER 1061 NEW BEST:: SOT 46732571 SOS 33465490 HAS SOPS 22326548 HAS SOUS 19894184 HAS SOUPS 19500761 WITH SCORE 1.953422649E7
AT ITER 1062 NEW BEST:: SOT 46730697 SOS 33463616 HAS SOPS 22322799 HAS SOUS 19892310 HAS SOUPS 19498887 WITH SCORE 1.9532350616E7
AT ITER 1063 NEW BEST:: SOT 46730627 SOS 33463546 HAS SOPS 22322658 HAS SOUS 19892178 HAS SOUPS 19498650 WITH SCORE 1.9532113546E7
AT ITER 1066 NEW BEST:: SOT 46729398 SOS 33462317 HAS SOPS 22319355 HAS SOUS 19891603 HAS SOUPS 19495447 WITH SCORE 1.9528909317E7
AT ITER 1071 NEW BEST:: SOT 46729398 SOS 33462317 HAS SOPS 22319351 HAS SOUS 19891787 HAS SOUPS 19495443 WITH SCORE 1.9528905317E7
AT ITER 1072 NEW BEST:: SOT 46727647 SOS 33460566 HAS SOPS 22315572 HAS SOUS 19888314 HAS SOUPS 19491665 WITH SCORE 1.9525125566E7
AT ITER 1073 NEW BEST:: SOT 46728210 SOS 33461129 HAS SOPS 22316134 HAS SOUS 19888313 HAS SOUPS 19491664 WITH SCORE 1.9525125129E7
AT ITER 1076 NEW BEST:: SOT 46727735 SOS 33460654 HAS SOPS 22314841 HAS SOUS 19887021 HAS SOUPS 19490372 WITH SCORE 1.9523832654E7
AT ITER 1080 NEW BEST:: SOT 46727676 SOS 33460595 HAS SOPS 22314782 HAS SOUS 19886962 HAS SOUPS 19490313 WITH SCORE 1.9523773595E7
AT ITER 1088 NEW BEST:: SOT 46727676 SOS 33460595 HAS SOPS 22315632 HAS SOUS 19886961 HAS SOUPS 19490312 WITH SCORE 1.9523772595E7
AT ITER 1094 NEW BEST:: SOT 46729522 SOS 33460276 HAS SOPS 22318777 HAS SOUS 19872686 HAS SOUPS 19476470 WITH SCORE 1.9509930276E7
AT ITER 1103 NEW BEST:: SOT 46728695 SOS 33459449 HAS SOPS 22316296 HAS SOUS 19870205 HAS SOUPS 19473989 WITH SCORE 1.9507448449E7
AT ITER 1106 NEW BEST:: SOT 46727259 SOS 33458013 HAS SOPS 22312788 HAS SOUS 19866698 HAS SOUPS 19470482 WITH SCORE 1.9503940013E7
AT ITER 1107 NEW BEST:: SOT 46726553 SOS 33457307 HAS SOPS 22312082 HAS SOUS 19865992 HAS SOUPS 19469776 WITH SCORE 1.9503233307E7
AT ITER 1112 NEW BEST:: SOT 46726467 SOS 33457221 HAS SOPS 22311910 HAS SOUS 19865820 HAS SOUPS 19469604 WITH SCORE 1.9503061221E7
AT ITER 1117 NEW BEST:: SOT 46724674 SOS 33455428 HAS SOPS 22308063 HAS SOUS 19861974 HAS SOUPS 19465758 WITH SCORE 1.9499213428E7
AT ITER 1120 NEW BEST:: SOT 46724789 SOS 33455543 HAS SOPS 22308292 HAS SOUS 19861968 HAS SOUPS 19465752 WITH SCORE 1.9499207543E7
AT ITER 1125 NEW BEST:: SOT 46723448 SOS 33454202 HAS SOPS 22304955 HAS SOUS 19858632 HAS SOUPS 19462416 WITH SCORE 1.9495870202E7
AT ITER 1137 NEW BEST:: SOT 46721840 SOS 33452594 HAS SOPS 22301738 HAS SOUS 19853386 HAS SOUPS 19457170 WITH SCORE 1.9490622594E7
AT ITER 1139 NEW BEST:: SOT 46721473 SOS 33452227 HAS SOPS 22301371 HAS SOUS 19853019 HAS SOUPS 19456803 WITH SCORE 1.9490255227E7
AT ITER 1144 NEW BEST:: SOT 46721431 SOS 33452185 HAS SOPS 22301287 HAS SOUS 19852935 HAS SOUPS 19456719 WITH SCORE 1.9490171185E7
AT ITER 1146 NEW BEST:: SOT 46721431 SOS 33452185 HAS SOPS 22301283 HAS SOUS 19852931 HAS SOUPS 19456715 WITH SCORE 1.9490167185E7
AT ITER 1150 NEW BEST:: SOT 46721051 SOS 33451805 HAS SOPS 22300523 HAS SOUS 19851791 HAS SOUPS 19455575 WITH SCORE 1.9489026805E7
AT ITER 1153 NEW BEST:: SOT 46721044 SOS 33451798 HAS SOPS 22300514 HAS SOUS 19851784 HAS SOUPS 19455568 WITH SCORE 1.9489019798E7
AT ITER 1156 NEW BEST:: SOT 46719749 SOS 33450503 HAS SOPS 22297923 HAS SOUS 19848063 HAS SOUPS 19451683 WITH SCORE 1.9485133503E7
AT ITER 1157 NEW BEST:: SOT 46718061 SOS 33448815 HAS SOPS 22294546 HAS SOUS 19842704 HAS SOUPS 19446275 WITH SCORE 1.9479723815E7
AT ITER 1160 NEW BEST:: SOT 46716592 SOS 33447346 HAS SOPS 22291607 HAS SOUS 19839501 HAS SOUPS 19443072 WITH SCORE 1.9476519346E7
AT ITER 1161 NEW BEST:: SOT 46715018 SOS 33445772 HAS SOPS 22288001 HAS SOUS 19837720 HAS SOUPS 19440405 WITH SCORE 1.9473850772E7
AT ITER 1162 NEW BEST:: SOT 46715018 SOS 33445772 HAS SOPS 22288145 HAS SOUS 19837719 HAS SOUPS 19440404 WITH SCORE 1.9473849772E7
AT ITER 1167 NEW BEST:: SOT 46715164 SOS 33445918 HAS SOPS 22288436 HAS SOUS 19835968 HAS SOUPS 19438653 WITH SCORE 1.9472098918E7
AT ITER 1169 NEW BEST:: SOT 46713162 SOS 33443916 HAS SOPS 22284431 HAS SOUS 19829962 HAS SOUPS 19432647 WITH SCORE 1.9466090916E7
AT ITER 1175 NEW BEST:: SOT 46713133 SOS 33443887 HAS SOPS 22284430 HAS SOUS 19829933 HAS SOUPS 19432618 WITH SCORE 1.9466061887E7
AT ITER 1177 NEW BEST:: SOT 46712765 SOS 33443519 HAS SOPS 22283325 HAS SOUS 19829197 HAS SOUPS 19431514 WITH SCORE 1.9464957519E7
AT ITER 1178 NEW BEST:: SOT 46710705 SOS 33441459 HAS SOPS 22279372 HAS SOUS 19823181 HAS SOUPS 19425498 WITH SCORE 1.9458939459E7
AT ITER 1185 NEW BEST:: SOT 46709907 SOS 33440661 HAS SOPS 22277775 HAS SOUS 19820787 HAS SOUPS 19423104 WITH SCORE 1.9456544661E7
AT ITER 1192 NEW BEST:: SOT 46707817 SOS 33438584 HAS SOPS 22273589 HAS SOUS 19816602 HAS SOUPS 19418919 WITH SCORE 1.9452357584E7
AT ITER 1197 NEW BEST:: SOT 46707690 SOS 33438457 HAS SOPS 22273462 HAS SOUS 19816475 HAS SOUPS 19418792 WITH SCORE 1.9452230457E7
AT ITER 1206 NEW BEST:: SOT 46709788 SOS 33441187 HAS SOPS 22272723 HAS SOUS 19816798 HAS SOUPS 19418053 WITH SCORE 1.9451494187E7
AT ITER 1215 NEW BEST:: SOT 46708433 SOS 33439832 HAS SOPS 22269288 HAS SOUS 19813364 HAS SOUPS 19414619 WITH SCORE 1.9448058832E7
AT ITER 1217 NEW BEST:: SOT 46708354 SOS 33440038 HAS SOPS 22267967 HAS SOUS 19814494 HAS SOUPS 19413299 WITH SCORE 1.9446739038E7
AT ITER 1227 NEW BEST:: SOT 46708115 SOS 33439799 HAS SOPS 22267482 HAS SOUS 19814082 HAS SOUPS 19412887 WITH SCORE 1.9446326799E7
AT ITER 1229 NEW BEST:: SOT 46706453 SOS 33438137 HAS SOPS 22264158 HAS SOUS 19811589 HAS SOUPS 19409563 WITH SCORE 1.9443001137E7
AT ITER 1230 NEW BEST:: SOT 46705586 SOS 33437270 HAS SOPS 22262423 HAS SOUS 19808057 HAS SOUPS 19405959 WITH SCORE 1.943939627E7
AT ITER 1231 NEW BEST:: SOT 46705577 SOS 33437261 HAS SOPS 22260694 HAS SOUS 19806440 HAS SOUPS 19404231 WITH SCORE 1.9437668261E7
AT ITER 1240 NEW BEST:: SOT 46705611 SOS 33471445 HAS SOPS 22259483 HAS SOUS 19806265 HAS SOUPS 19403020 WITH SCORE 1.9436491445E7
AT ITER 1241 NEW BEST:: SOT 46708762 SOS 33475180 HAS SOPS 22256855 HAS SOUS 19806690 HAS SOUPS 19400393 WITH SCORE 1.943386818E7
AT ITER 1242 NEW BEST:: SOT 46710321 SOS 33476739 HAS SOPS 22258523 HAS SOUS 19806352 HAS SOUPS 19400055 WITH SCORE 1.9433531739E7
AT ITER 1254 NEW BEST:: SOT 46710120 SOS 33476538 HAS SOPS 22258120 HAS SOUS 19803722 HAS SOUPS 19397616 WITH SCORE 1.9431092538E7
AT ITER 1266 NEW BEST:: SOT 46708085 SOS 33474503 HAS SOPS 22252081 HAS SOUS 19797617 HAS SOUPS 19391511 WITH SCORE 1.9424985503E7
AT ITER 1277 NEW BEST:: SOT 46706204 SOS 33472622 HAS SOPS 22248318 HAS SOUS 19791974 HAS SOUPS 19385868 WITH SCORE 1.9419340622E7
AT ITER 1281 NEW BEST:: SOT 46704882 SOS 33471300 HAS SOPS 22246034 HAS SOUS 19789820 HAS SOUPS 19383584 WITH SCORE 1.94170553E7
AT ITER 1283 NEW BEST:: SOT 46704837 SOS 33471255 HAS SOPS 22245944 HAS SOUS 19789730 HAS SOUPS 19383494 WITH SCORE 1.9416965255E7
AT ITER 1286 NEW BEST:: SOT 46705277 SOS 33471703 HAS SOPS 22245942 HAS SOUS 19789729 HAS SOUPS 19383493 WITH SCORE 1.9416964703E7
AT ITER 1287 NEW BEST:: SOT 46704368 SOS 33470794 HAS SOPS 22242806 HAS SOUS 19785951 HAS SOUPS 19379613 WITH SCORE 1.9413083794E7
AT ITER 1290 NEW BEST:: SOT 46703479 SOS 33469905 HAS SOPS 22241027 HAS SOUS 19782091 HAS SOUPS 19375753 WITH SCORE 1.9409222905E7
AT ITER 1291 NEW BEST:: SOT 46703185 SOS 33469611 HAS SOPS 22240438 HAS SOUS 19781796 HAS SOUPS 19375458 WITH SCORE 1.9408927611E7
AT ITER 1296 NEW BEST:: SOT 46702881 SOS 33469307 HAS SOPS 22240132 HAS SOUS 19781491 HAS SOUPS 19374849 WITH SCORE 1.9408318307E7
AT ITER 1297 NEW BEST:: SOT 46702438 SOS 33468864 HAS SOPS 22240132 HAS SOUS 19781091 HAS SOUPS 19374849 WITH SCORE 1.9408317864E7
AT ITER 1305 NEW BEST:: SOT 46701219 SOS 33467645 HAS SOPS 22237065 HAS SOUS 19779494 HAS SOUPS 19373252 WITH SCORE 1.9406719645E7
AT ITER 1318 NEW BEST:: SOT 46701073 SOS 33467499 HAS SOPS 22236772 HAS SOUS 19776527 HAS SOUPS 19370888 WITH SCORE 1.9404355499E7
AT ITER 1319 NEW BEST:: SOT 46700823 SOS 33467249 HAS SOPS 22236271 HAS SOUS 19774925 HAS SOUPS 19369286 WITH SCORE 1.9402753249E7
AT ITER 1321 NEW BEST:: SOT 46698939 SOS 33465365 HAS SOPS 22232375 HAS SOUS 19771283 HAS SOUPS 19365391 WITH SCORE 1.9398856365E7
AT ITER 1323 NEW BEST:: SOT 46698302 SOS 33464728 HAS SOPS 22231738 HAS SOUS 19770646 HAS SOUPS 19364754 WITH SCORE 1.9398218728E7
AT ITER 1336 NEW BEST:: SOT 46698302 SOS 33464728 HAS SOPS 22231448 HAS SOUS 19770356 HAS SOUPS 19364464 WITH SCORE 1.9397928728E7
AT ITER 1339 NEW BEST:: SOT 46696697 SOS 33463123 HAS SOPS 22228237 HAS SOUS 19765541 HAS SOUPS 19359649 WITH SCORE 1.9393112123E7
AT ITER 1340 NEW BEST:: SOT 46694618 SOS 33461044 HAS SOPS 22224078 HAS SOUS 19759304 HAS SOUPS 19353412 WITH SCORE 1.9386873044E7
AT ITER 1341 NEW BEST:: SOT 46694618 SOS 33461044 HAS SOPS 22224077 HAS SOUS 19757518 HAS SOUPS 19351626 WITH SCORE 1.9385087044E7
AT ITER 1342 NEW BEST:: SOT 46691582 SOS 33458008 HAS SOPS 22218005 HAS SOUS 19752810 HAS SOUPS 19345555 WITH SCORE 1.9379013008E7
AT ITER 1343 NEW BEST:: SOT 46687882 SOS 33454308 HAS SOPS 22210604 HAS SOUS 19747790 HAS SOUPS 19338155 WITH SCORE 1.9371609308E7
AT ITER 1344 NEW BEST:: SOT 46687882 SOS 33454308 HAS SOPS 22207640 HAS SOUS 19746473 HAS SOUPS 19336838 WITH SCORE 1.9370292308E7
AT ITER 1350 NEW BEST:: SOT 46686069 SOS 33452495 HAS SOPS 22204013 HAS SOUS 19742581 HAS SOUPS 19332946 WITH SCORE 1.9366398495E7
AT ITER 1357 NEW BEST:: SOT 46684318 SOS 33450744 HAS SOPS 22200232 HAS SOUS 19738801 HAS SOUPS 19329166 WITH SCORE 1.9362616744E7
AT ITER 1358 NEW BEST:: SOT 46684327 SOS 33451813 HAS SOPS 22198816 HAS SOUS 19738379 HAS SOUPS 19327750 WITH SCORE 1.9361201813E7
AT ITER 1359 NEW BEST:: SOT 46684647 SOS 33451058 HAS SOPS 22199780 HAS SOUS 19729774 HAS SOUPS 19319360 WITH SCORE 1.9352811058E7
AT ITER 1360 NEW BEST:: SOT 46684647 SOS 33451058 HAS SOPS 22200086 HAS SOUS 19729773 HAS SOUPS 19319359 WITH SCORE 1.9352810058E7
AT ITER 1370 NEW BEST:: SOT 46684359 SOS 33450770 HAS SOPS 22199510 HAS SOUS 19729197 HAS SOUPS 19318783 WITH SCORE 1.935223377E7
AT ITER 1373 NEW BEST:: SOT 46684306 SOS 33450717 HAS SOPS 22199404 HAS SOUS 19729144 HAS SOUPS 19318677 WITH SCORE 1.9352127717E7
AT ITER 1379 NEW BEST:: SOT 46683957 SOS 33450368 HAS SOPS 22199179 HAS SOUS 19728489 HAS SOUPS 19318452 WITH SCORE 1.9351902368E7
AT ITER 1382 NEW BEST:: SOT 46683957 SOS 33450368 HAS SOPS 22199178 HAS SOUS 19727192 HAS SOUPS 19317155 WITH SCORE 1.9350605368E7
AT ITER 1392 NEW BEST:: SOT 46683004 SOS 33449415 HAS SOPS 22197272 HAS SOUS 19725848 HAS SOUPS 19315250 WITH SCORE 1.9348699415E7
AT ITER 1395 NEW BEST:: SOT 46682966 SOS 33449339 HAS SOPS 22197234 HAS SOUS 19725810 HAS SOUPS 19315212 WITH SCORE 1.9348661339E7
AT ITER 1404 NEW BEST:: SOT 46683453 SOS 33449826 HAS SOPS 22198207 HAS SOUS 19725567 HAS SOUPS 19314969 WITH SCORE 1.9348418826E7
AT ITER 1405 NEW BEST:: SOT 46682762 SOS 33449135 HAS SOPS 22196028 HAS SOUS 19724185 HAS SOUPS 19313587 WITH SCORE 1.9347036135E7
AT ITER 1410 NEW BEST:: SOT 46680963 SOS 33447336 HAS SOPS 22192583 HAS SOUS 19720926 HAS SOUPS 19310143 WITH SCORE 1.9343590336E7
AT ITER 1413 NEW BEST:: SOT 46680963 SOS 33447336 HAS SOPS 22192582 HAS SOUS 19720925 HAS SOUPS 19310142 WITH SCORE 1.9343589336E7
AT ITER 1417 NEW BEST:: SOT 46680459 SOS 33446832 HAS SOPS 22192079 HAS SOUS 19720421 HAS SOUPS 19309639 WITH SCORE 1.9343085832E7
AT ITER 1418 NEW BEST:: SOT 46679354 SOS 33445727 HAS SOPS 22189868 HAS SOUS 19716117 HAS SOUPS 19305335 WITH SCORE 1.9338780727E7
AT ITER 1419 NEW BEST:: SOT 46678158 SOS 33444565 HAS SOPS 22186590 HAS SOUS 19712840 HAS SOUPS 19302058 WITH SCORE 1.9335502565E7
AT ITER 1420 NEW BEST:: SOT 46676399 SOS 33442806 HAS SOPS 22183071 HAS SOUS 19708122 HAS SOUPS 19296781 WITH SCORE 1.9330223806E7
AT ITER 1422 NEW BEST:: SOT 46675349 SOS 33441756 HAS SOPS 22179404 HAS SOUS 19704456 HAS SOUPS 19293115 WITH SCORE 1.9326556756E7
AT ITER 1428 NEW BEST:: SOT 46673327 SOS 33439734 HAS SOPS 22175359 HAS SOUS 19700955 HAS SOUPS 19289614 WITH SCORE 1.9323053734E7
AT ITER 1436 NEW BEST:: SOT 46673327 SOS 33439734 HAS SOPS 22175358 HAS SOUS 19699578 HAS SOUPS 19288237 WITH SCORE 1.9321676734E7
AT ITER 1437 NEW BEST:: SOT 46671565 SOS 33437972 HAS SOPS 22170071 HAS SOUS 19694292 HAS SOUPS 19282951 WITH SCORE 1.9316388972E7
AT ITER 1438 NEW BEST:: SOT 46670142 SOS 33436549 HAS SOPS 22167224 HAS SOUS 19690735 HAS SOUPS 19279394 WITH SCORE 1.9312830549E7
AT ITER 1453 NEW BEST:: SOT 46670047 SOS 33436829 HAS SOPS 22166353 HAS SOUS 19689865 HAS SOUPS 19278524 WITH SCORE 1.9311960829E7
AT ITER 1458 NEW BEST:: SOT 46670082 SOS 33436864 HAS SOPS 22165653 HAS SOUS 19689165 HAS SOUPS 19277824 WITH SCORE 1.9311260864E7
AT ITER 1474 NEW BEST:: SOT 46669312 SOS 33436094 HAS SOPS 22163406 HAS SOUS 19685443 HAS SOUPS 19274102 WITH SCORE 1.9307538094E7
AT ITER 1476 NEW BEST:: SOT 46668310 SOS 33435092 HAS SOPS 22161293 HAS SOUS 19683541 HAS SOUPS 19271990 WITH SCORE 1.9305425092E7
AT ITER 1486 NEW BEST:: SOT 46668151 SOS 33434933 HAS SOPS 22160975 HAS SOUS 19683223 HAS SOUPS 19271672 WITH SCORE 1.9305106933E7
AT ITER 1500 NEW BEST:: SOT 46667550 SOS 33434332 HAS SOPS 22157309 HAS SOUS 19680337 HAS SOUPS 19268786 WITH SCORE 1.9302220332E7
AT ITER 1510 NEW BEST:: SOT 46666710 SOS 33433492 HAS SOPS 22155628 HAS SOUS 19677817 HAS SOUPS 19266266 WITH SCORE 1.9299699492E7
AT ITER 1514 NEW BEST:: SOT 46665954 SOS 33432736 HAS SOPS 22154872 HAS SOUS 19677061 HAS SOUPS 19265510 WITH SCORE 1.9298942736E7
AT ITER 1515 NEW BEST:: SOT 46665954 SOS 33432736 HAS SOPS 22153943 HAS SOUS 19675205 HAS SOUPS 19263654 WITH SCORE 1.9297086736E7
AT ITER 1521 NEW BEST:: SOT 46666861 SOS 33433643 HAS SOPS 22155220 HAS SOUS 19674775 HAS SOUPS 19263224 WITH SCORE 1.9296657643E7
AT ITER 1523 NEW BEST:: SOT 46665517 SOS 33432299 HAS SOPS 22152531 HAS SOUS 19669993 HAS SOUPS 19258442 WITH SCORE 1.9291874299E7
AT ITER 1525 NEW BEST:: SOT 46663456 SOS 33430238 HAS SOPS 22148408 HAS SOUS 19663810 HAS SOUPS 19252259 WITH SCORE 1.9285689238E7
AT ITER 1528 NEW BEST:: SOT 46661902 SOS 33428684 HAS SOPS 22145299 HAS SOUS 19658620 HAS SOUPS 19247069 WITH SCORE 1.9280497684E7
AT ITER 1535 NEW BEST:: SOT 46661902 SOS 33428684 HAS SOPS 22147163 HAS SOUS 19658619 HAS SOUPS 19247068 WITH SCORE 1.9280496684E7
AT ITER 1538 NEW BEST:: SOT 46661191 SOS 33401666 HAS SOPS 22120856 HAS SOUS 19657197 HAS SOUPS 19245646 WITH SCORE 1.9279047666E7
AT ITER 1542 NEW BEST:: SOT 46659461 SOS 33399936 HAS SOPS 22117395 HAS SOUS 19652007 HAS SOUPS 19240456 WITH SCORE 1.9273855936E7
AT ITER 1548 NEW BEST:: SOT 46659461 SOS 33399936 HAS SOPS 22117209 HAS SOUS 19651821 HAS SOUPS 19240270 WITH SCORE 1.9273669936E7
AT ITER 1549 NEW BEST:: SOT 46658822 SOS 33399297 HAS SOPS 22115177 HAS SOUS 19649790 HAS SOUPS 19238239 WITH SCORE 1.9271638297E7
AT ITER 1555 NEW BEST:: SOT 46658047 SOS 33398645 HAS SOPS 22112626 HAS SOUS 19647240 HAS SOUPS 19235689 WITH SCORE 1.9269087645E7
AT ITER 1556 NEW BEST:: SOT 46657065 SOS 33397707 HAS SOPS 22109799 HAS SOUS 19644414 HAS SOUPS 19232863 WITH SCORE 1.9266260707E7
AT ITER 1562 NEW BEST:: SOT 46656200 SOS 33396842 HAS SOPS 22107830 HAS SOUS 19642446 HAS SOUPS 19230895 WITH SCORE 1.9264291842E7
AT ITER 1575 NEW BEST:: SOT 46654148 SOS 33394790 HAS SOPS 22103714 HAS SOUS 19639264 HAS SOUPS 19227713 WITH SCORE 1.926110779E7
AT ITER 1577 NEW BEST:: SOT 46654148 SOS 33394790 HAS SOPS 22103713 HAS SOUS 19638943 HAS SOUPS 19227392 WITH SCORE 1.926078679E7
AT ITER 1580 NEW BEST:: SOT 46652918 SOS 33393560 HAS SOPS 22101252 HAS SOUS 19634421 HAS SOUPS 19222870 WITH SCORE 1.925626356E7
AT ITER 1581 NEW BEST:: SOT 46654377 SOS 33395019 HAS SOPS 22099772 HAS SOUS 19631415 HAS SOUPS 19219864 WITH SCORE 1.9253259019E7
AT ITER 1587 NEW BEST:: SOT 46654126 SOS 33394768 HAS SOPS 22099270 HAS SOUS 19630913 HAS SOUPS 19219362 WITH SCORE 1.9252756768E7
AT ITER 1589 NEW BEST:: SOT 46653251 SOS 33393893 HAS SOPS 22098395 HAS SOUS 19629796 HAS SOUPS 19218245 WITH SCORE 1.9251638893E7
AT ITER 1597 NEW BEST:: SOT 46652748 SOS 33393390 HAS SOPS 22100386 HAS SOUS 19629128 HAS SOUPS 19217577 WITH SCORE 1.925097039E7
AT ITER 1599 NEW BEST:: SOT 46651120 SOS 33391762 HAS SOPS 22095501 HAS SOUS 19624244 HAS SOUPS 19212693 WITH SCORE 1.9246084762E7
AT ITER 1603 NEW BEST:: SOT 46651120 SOS 33391762 HAS SOPS 22095497 HAS SOUS 19624240 HAS SOUPS 19212689 WITH SCORE 1.9246080762E7
AT ITER 1604 NEW BEST:: SOT 46650245 SOS 33390887 HAS SOPS 22093222 HAS SOUS 19621966 HAS SOUPS 19210415 WITH SCORE 1.9243805887E7
AT ITER 1610 NEW BEST:: SOT 46650245 SOS 33390887 HAS SOPS 22093201 HAS SOUS 19621945 HAS SOUPS 19210394 WITH SCORE 1.9243784887E7
AT ITER 1613 NEW BEST:: SOT 46649976 SOS 33390618 HAS SOPS 22092663 HAS SOUS 19621138 HAS SOUPS 19209587 WITH SCORE 1.9242977618E7
AT ITER 1615 NEW BEST:: SOT 46648601 SOS 33389243 HAS SOPS 22089218 HAS SOUS 19617694 HAS SOUPS 19206143 WITH SCORE 1.9239532243E7
AT ITER 1616 NEW BEST:: SOT 46648441 SOS 33389083 HAS SOPS 22088799 HAS SOUS 19617374 HAS SOUPS 19205823 WITH SCORE 1.9239212083E7
AT ITER 1618 NEW BEST:: SOT 46646939 SOS 33387581 HAS SOPS 22085304 HAS SOUS 19615768 HAS SOUPS 19204217 WITH SCORE 1.9237604581E7
AT ITER 1620 NEW BEST:: SOT 46646035 SOS 33386677 HAS SOPS 22082978 HAS SOUS 19613443 HAS SOUPS 19201892 WITH SCORE 1.9235278677E7
AT ITER 1623 NEW BEST:: SOT 46647473 SOS 33388684 HAS SOPS 22081585 HAS SOUS 19612391 HAS SOUPS 19200499 WITH SCORE 1.9233887684E7
AT ITER 1627 NEW BEST:: SOT 46647830 SOS 33389657 HAS SOPS 22081422 HAS SOUS 19612797 HAS SOUPS 19200336 WITH SCORE 1.9233725657E7
AT ITER 1631 NEW BEST:: SOT 46647380 SOS 33389207 HAS SOPS 22080522 HAS SOUS 19611897 HAS SOUPS 19199436 WITH SCORE 1.9232825207E7
AT ITER 1637 NEW BEST:: SOT 46645429 SOS 33387256 HAS SOPS 22076619 HAS SOUS 19606141 HAS SOUPS 19193583 WITH SCORE 1.9226970256E7
AT ITER 1638 NEW BEST:: SOT 46645308 SOS 33387135 HAS SOPS 22076377 HAS SOUS 19605899 HAS SOUPS 19193341 WITH SCORE 1.9226728135E7
AT ITER 1644 NEW BEST:: SOT 46645218 SOS 33387045 HAS SOPS 22076287 HAS SOUS 19605809 HAS SOUPS 19193251 WITH SCORE 1.9226638045E7
AT ITER 1652 NEW BEST:: SOT 46645076 SOS 33386903 HAS SOPS 22077910 HAS SOUS 19605644 HAS SOUPS 19193086 WITH SCORE 1.9226472903E7
AT ITER 1653 NEW BEST:: SOT 46645076 SOS 33386903 HAS SOPS 22076750 HAS SOUS 19605170 HAS SOUPS 19191926 WITH SCORE 1.9225312903E7
AT ITER 1656 NEW BEST:: SOT 46644641 SOS 33386468 HAS SOPS 22076315 HAS SOUS 19604735 HAS SOUPS 19191491 WITH SCORE 1.9224877468E7
AT ITER 1663 NEW BEST:: SOT 46644641 SOS 33386468 HAS SOPS 22075775 HAS SOUS 19604336 HAS SOUPS 19190951 WITH SCORE 1.9224337468E7
AT ITER 1664 NEW BEST:: SOT 46643576 SOS 33385403 HAS SOPS 22073510 HAS SOUS 19602072 HAS SOUPS 19188687 WITH SCORE 1.9222072403E7
AT ITER 1667 NEW BEST:: SOT 46641576 SOS 33383403 HAS SOPS 22069466 HAS SOUS 19598073 HAS SOUPS 19184644 WITH SCORE 1.9218027403E7
AT ITER 1671 NEW BEST:: SOT 46641384 SOS 33383211 HAS SOPS 22069416 HAS SOUS 19597911 HAS SOUPS 19184482 WITH SCORE 1.9217865211E7
AT ITER 1688 NEW BEST:: SOT 46639627 SOS 33381454 HAS SOPS 22065571 HAS SOUS 19594067 HAS SOUPS 19180638 WITH SCORE 1.9214019454E7
AT ITER 1694 NEW BEST:: SOT 46638482 SOS 33380319 HAS SOPS 22062444 HAS SOUS 19593187 HAS SOUPS 19177512 WITH SCORE 1.9210892319E7
AT ITER 1696 NEW BEST:: SOT 46640022 SOS 33381859 HAS SOPS 22062112 HAS SOUS 19592288 HAS SOUPS 19176613 WITH SCORE 1.9209994859E7
AT ITER 1704 NEW BEST:: SOT 46640361 SOS 33382198 HAS SOPS 22062993 HAS SOUS 19590526 HAS SOUPS 19175428 WITH SCORE 1.9208810198E7
AT ITER 1712 NEW BEST:: SOT 46639537 SOS 33381374 HAS SOPS 22056588 HAS SOUS 19586600 HAS SOUPS 19170522 WITH SCORE 1.9203903374E7
AT ITER 1719 NEW BEST:: SOT 46639537 SOS 33381374 HAS SOPS 22055532 HAS SOUS 19585544 HAS SOUPS 19169466 WITH SCORE 1.9202847374E7
AT ITER 1725 NEW BEST:: SOT 46638560 SOS 33380397 HAS SOPS 22052949 HAS SOUS 19584885 HAS SOUPS 19168807 WITH SCORE 1.9202187397E7
AT ITER 1731 NEW BEST:: SOT 46655822 SOS 33334380 HAS SOPS 21988616 HAS SOUS 19579513 HAS SOUPS 19163435 WITH SCORE 1.919676938E7
AT ITER 1741 NEW BEST:: SOT 46653972 SOS 33332530 HAS SOPS 21984915 HAS SOUS 19574786 HAS SOUPS 19157733 WITH SCORE 1.919106553E7
AT ITER 1743 NEW BEST:: SOT 46653861 SOS 33332419 HAS SOPS 21981603 HAS SOUS 19573925 HAS SOUPS 19156749 WITH SCORE 1.9190081419E7
AT ITER 1744 NEW BEST:: SOT 46652150 SOS 33330708 HAS SOPS 21978180 HAS SOUS 19568792 HAS SOUPS 19151616 WITH SCORE 1.9184946708E7
AT ITER 1750 NEW BEST:: SOT 46650010 SOS 33328568 HAS SOPS 21975278 HAS SOUS 19565890 HAS SOUPS 19148714 WITH SCORE 1.9182042568E7
AT ITER 1755 NEW BEST:: SOT 46649515 SOS 33328073 HAS SOPS 21974288 HAS SOUS 19564900 HAS SOUPS 19147724 WITH SCORE 1.9181052073E7
AT ITER 1762 NEW BEST:: SOT 46648956 SOS 33327514 HAS SOPS 21973169 HAS SOUS 19563223 HAS SOUPS 19146047 WITH SCORE 1.9179374514E7
AT ITER 1764 NEW BEST:: SOT 46649073 SOS 33327972 HAS SOPS 21972930 HAS SOUS 19562985 HAS SOUPS 19145809 WITH SCORE 1.9179136972E7
AT ITER 1765 NEW BEST:: SOT 46649069 SOS 33327968 HAS SOPS 21974198 HAS SOUS 19562981 HAS SOUPS 19145805 WITH SCORE 1.9179132968E7
AT ITER 1766 NEW BEST:: SOT 46647083 SOS 33325982 HAS SOPS 21969878 HAS SOUS 19560715 HAS SOUPS 19143539 WITH SCORE 1.9176864982E7
AT ITER 1768 NEW BEST:: SOT 46646028 SOS 33324927 HAS SOPS 21967767 HAS SOUS 19557138 HAS SOUPS 19139363 WITH SCORE 1.9172687927E7
AT ITER 1769 NEW BEST:: SOT 46644087 SOS 33322986 HAS SOPS 21963788 HAS SOUS 19553208 HAS SOUPS 19135385 WITH SCORE 1.9168707986E7
AT ITER 1772 NEW BEST:: SOT 46642430 SOS 33321329 HAS SOPS 21960057 HAS SOUS 19549694 HAS SOUPS 19131655 WITH SCORE 1.9164976329E7
AT ITER 1778 NEW BEST:: SOT 46642430 SOS 33321329 HAS SOPS 21960056 HAS SOUS 19548245 HAS SOUPS 19130264 WITH SCORE 1.9163585329E7
AT ITER 1784 NEW BEST:: SOT 46642088 SOS 33320987 HAS SOPS 21959542 HAS SOUS 19547731 HAS SOUPS 19129750 WITH SCORE 1.9163070987E7
AT ITER 1787 NEW BEST:: SOT 46642053 SOS 33320952 HAS SOPS 21959472 HAS SOUS 19547626 HAS SOUPS 19129645 WITH SCORE 1.9162965952E7
AT ITER 1788 NEW BEST:: SOT 46640602 SOS 33319501 HAS SOPS 21956569 HAS SOUS 19543273 HAS SOUPS 19125292 WITH SCORE 1.9158611501E7
AT ITER 1790 NEW BEST:: SOT 46640357 SOS 33319256 HAS SOPS 21956078 HAS SOUS 19542372 HAS SOUPS 19124687 WITH SCORE 1.9158006256E7
AT ITER 1791 NEW BEST:: SOT 46639223 SOS 33318122 HAS SOPS 21953809 HAS SOUS 19538239 HAS SOUPS 19120384 WITH SCORE 1.9153702122E7
AT ITER 1793 NEW BEST:: SOT 46656759 SOS 33330106 HAS SOPS 21975034 HAS SOUS 19531925 HAS SOUPS 19115300 WITH SCORE 1.9148630106E7
AT ITER 1794 NEW BEST:: SOT 46656142 SOS 33329489 HAS SOPS 21974741 HAS SOUS 19529546 HAS SOUPS 19112921 WITH SCORE 1.9146250489E7
AT ITER 1801 NEW BEST:: SOT 46654752 SOS 33328099 HAS SOPS 21971960 HAS SOUS 19526894 HAS SOUPS 19110141 WITH SCORE 1.9143469099E7
AT ITER 1803 NEW BEST:: SOT 46654478 SOS 33327825 HAS SOPS 21971686 HAS SOUS 19526620 HAS SOUPS 19109867 WITH SCORE 1.9143194825E7
AT ITER 1804 NEW BEST:: SOT 46653024 SOS 33326371 HAS SOPS 21970232 HAS SOUS 19525166 HAS SOUPS 19108413 WITH SCORE 1.9141739371E7
AT ITER 1806 NEW BEST:: SOT 46653024 SOS 33326371 HAS SOPS 21970231 HAS SOUS 19525165 HAS SOUPS 19108412 WITH SCORE 1.9141738371E7
AT ITER 1807 NEW BEST:: SOT 46652021 SOS 33325368 HAS SOPS 21969465 HAS SOUS 19524327 HAS SOUPS 19107646 WITH SCORE 1.9140971368E7
AT ITER 1808 NEW BEST:: SOT 46676607 SOS 33344126 HAS SOPS 21998394 HAS SOUS 19514889 HAS SOUPS 19099656 WITH SCORE 1.9133000126E7
AT ITER 1809 NEW BEST:: SOT 46676327 SOS 33343846 HAS SOPS 21997834 HAS SOUS 19514329 HAS SOUPS 19099096 WITH SCORE 1.9132439846E7
AT ITER 1811 NEW BEST:: SOT 46676182 SOS 33344095 HAS SOPS 21996785 HAS SOUS 19513281 HAS SOUPS 19098048 WITH SCORE 1.9131392095E7
AT ITER 1813 NEW BEST:: SOT 46675306 SOS 33343219 HAS SOPS 21992802 HAS SOUS 19508701 HAS SOUPS 19093236 WITH SCORE 1.9126579219E7
AT ITER 1816 NEW BEST:: SOT 46673924 SOS 33341837 HAS SOPS 21990037 HAS SOUS 19504555 HAS SOUPS 19089090 WITH SCORE 1.9122431837E7
AT ITER 1824 NEW BEST:: SOT 46672003 SOS 33339916 HAS SOPS 21986104 HAS SOUS 19500623 HAS SOUPS 19085158 WITH SCORE 1.9118497916E7
AT ITER 1834 NEW BEST:: SOT 46671113 SOS 33339026 HAS SOPS 21984323 HAS SOUS 19496749 HAS SOUPS 19081284 WITH SCORE 1.9114623026E7
AT ITER 1835 NEW BEST:: SOT 46712098 SOS 33312276 HAS SOPS 21918266 HAS SOUS 19496622 HAS SOUPS 19076845 WITH SCORE 1.9110157276E7
AT ITER 1836 NEW BEST:: SOT 46712098 SOS 33312276 HAS SOPS 21914641 HAS SOUS 19493030 HAS SOUPS 19073253 WITH SCORE 1.9106565276E7
AT ITER 1837 NEW BEST:: SOT 46710102 SOS 33310280 HAS SOPS 21910648 HAS SOUS 19489038 HAS SOUPS 19069261 WITH SCORE 1.910257128E7
AT ITER 1843 NEW BEST:: SOT 46711325 SOS 33311503 HAS SOPS 21909484 HAS SOUS 19487874 HAS SOUPS 19068097 WITH SCORE 1.9101408503E7
AT ITER 1853 NEW BEST:: SOT 46711844 SOS 33312022 HAS SOPS 21910521 HAS SOUS 19487870 HAS SOUPS 19068093 WITH SCORE 1.9101405022E7
AT ITER 1858 NEW BEST:: SOT 46711545 SOS 33311723 HAS SOPS 21909923 HAS SOUS 19487272 HAS SOUPS 19067495 WITH SCORE 1.9100806723E7
AT ITER 1859 NEW BEST:: SOT 46710969 SOS 33311147 HAS SOPS 21908718 HAS SOUS 19486067 HAS SOUPS 19066290 WITH SCORE 1.9099601147E7
AT ITER 1860 NEW BEST:: SOT 46710295 SOS 33310473 HAS SOPS 21909943 HAS SOUS 19484889 HAS SOUPS 19065486 WITH SCORE 1.9098796473E7
AT ITER 1867 NEW BEST:: SOT 46709341 SOS 33309519 HAS SOPS 21908034 HAS SOUS 19482027 HAS SOUPS 19062624 WITH SCORE 1.9095933519E7
AT ITER 1871 NEW BEST:: SOT 46708923 SOS 33309101 HAS SOPS 21907198 HAS SOUS 19480774 HAS SOUPS 19061371 WITH SCORE 1.9094680101E7
AT ITER 1872 NEW BEST:: SOT 46707049 SOS 33307227 HAS SOPS 21903449 HAS SOUS 19475634 HAS SOUPS 19055749 WITH SCORE 1.9089056227E7
AT ITER 1876 NEW BEST:: SOT 46705745 SOS 33305923 HAS SOPS 21900840 HAS SOUS 19472472 HAS SOUPS 19051643 WITH SCORE 1.9084948923E7
AT ITER 1877 NEW BEST:: SOT 46706003 SOS 33306181 HAS SOPS 21901595 HAS SOUS 19471312 HAS SOUPS 19050483 WITH SCORE 1.9083789181E7
AT ITER 1885 NEW BEST:: SOT 46705425 SOS 33305603 HAS SOPS 21900439 HAS SOUS 19468083 HAS SOUPS 19047254 WITH SCORE 1.9080559603E7
AT ITER 1887 NEW BEST:: SOT 46705425 SOS 33305603 HAS SOPS 21899627 HAS SOUS 19467271 HAS SOUPS 19046442 WITH SCORE 1.9079747603E7
AT ITER 1890 NEW BEST:: SOT 46704929 SOS 33305107 HAS SOPS 21899468 HAS SOUS 19464694 HAS SOUPS 19043865 WITH SCORE 1.9077170107E7
AT ITER 1892 NEW BEST:: SOT 46704929 SOS 33305107 HAS SOPS 21897259 HAS SOUS 19462485 HAS SOUPS 19041656 WITH SCORE 1.9074961107E7
AT ITER 1894 NEW BEST:: SOT 46704853 SOS 33302219 HAS SOPS 21894599 HAS SOUS 19462485 HAS SOUPS 19041656 WITH SCORE 1.9074958219E7
AT ITER 1896 NEW BEST:: SOT 46704853 SOS 33302219 HAS SOPS 21894458 HAS SOUS 19462474 HAS SOUPS 19041515 WITH SCORE 1.9074817219E7
AT ITER 1899 NEW BEST:: SOT 46704976 SOS 33302342 HAS SOPS 21892503 HAS SOUS 19460520 HAS SOUPS 19039561 WITH SCORE 1.9072863342E7
AT ITER 1910 NEW BEST:: SOT 46704616 SOS 33301982 HAS SOPS 21892142 HAS SOUS 19459829 HAS SOUPS 19038870 WITH SCORE 1.9072171982E7
AT ITER 1916 NEW BEST:: SOT 46704065 SOS 33301431 HAS SOPS 21891591 HAS SOUS 19459278 HAS SOUPS 19038319 WITH SCORE 1.9071620431E7
AT ITER 1918 NEW BEST:: SOT 46702980 SOS 33300346 HAS SOPS 21889396 HAS SOUS 19457083 HAS SOUPS 19036124 WITH SCORE 1.9069424346E7
AT ITER 1920 NEW BEST:: SOT 46702162 SOS 33299528 HAS SOPS 21887760 HAS SOUS 19455447 HAS SOUPS 19034488 WITH SCORE 1.9067787528E7
AT ITER 1947 NEW BEST:: SOT 46701805 SOS 33299171 HAS SOPS 21887045 HAS SOUS 19453018 HAS SOUPS 19031885 WITH SCORE 1.9065184171E7
AT ITER 1951 NEW BEST:: SOT 46701436 SOS 33298802 HAS SOPS 21886676 HAS SOUS 19452649 HAS SOUPS 19031516 WITH SCORE 1.9064814802E7
AT ITER 1952 NEW BEST:: SOT 46699598 SOS 33296964 HAS SOPS 21883422 HAS SOUS 19449395 HAS SOUPS 19028262 WITH SCORE 1.9061558964E7
AT ITER 1954 NEW BEST:: SOT 46698680 SOS 33296046 HAS SOPS 21884171 HAS SOUS 19448852 HAS SOUPS 19027719 WITH SCORE 1.9061015046E7
AT ITER 1956 NEW BEST:: SOT 46698680 SOS 33296046 HAS SOPS 21884170 HAS SOUS 19448451 HAS SOUPS 19027318 WITH SCORE 1.9060614046E7
AT ITER 1965 NEW BEST:: SOT 46698667 SOS 33296033 HAS SOPS 21884141 HAS SOUS 19448423 HAS SOUPS 19027290 WITH SCORE 1.9060586033E7
AT ITER 1966 NEW BEST:: SOT 46697708 SOS 33295074 HAS SOPS 21882222 HAS SOUS 19445229 HAS SOUPS 19024096 WITH SCORE 1.9057391074E7
AT ITER 1975 NEW BEST:: SOT 46697566 SOS 33294932 HAS SOPS 21881938 HAS SOUS 19445087 HAS SOUPS 19023812 WITH SCORE 1.9057106932E7
AT ITER 1979 NEW BEST:: SOT 46695802 SOS 33293168 HAS SOPS 21878124 HAS SOUS 19441283 HAS SOUPS 19019999 WITH SCORE 1.9053292168E7
AT ITER 1983 NEW BEST:: SOT 46695595 SOS 33292961 HAS SOPS 21877743 HAS SOUS 19440558 HAS SOUPS 19019274 WITH SCORE 1.9052566961E7
AT ITER 1984 NEW BEST:: SOT 46693745 SOS 33291111 HAS SOPS 21873126 HAS SOUS 19435066 HAS SOUPS 19013724 WITH SCORE 1.9047015111E7
AT ITER 1985 NEW BEST:: SOT 46693246 SOS 33290612 HAS SOPS 21872364 HAS SOUS 19434304 HAS SOUPS 19012962 WITH SCORE 1.9046252612E7
AT ITER 1989 NEW BEST:: SOT 46693780 SOS 33291146 HAS SOPS 21870782 HAS SOUS 19433353 HAS SOUPS 19012011 WITH SCORE 1.9045302146E7
AT ITER 1993 NEW BEST:: SOT 46693615 SOS 33290981 HAS SOPS 21870451 HAS SOUS 19431685 HAS SOUPS 19010343 WITH SCORE 1.9043633981E7
AT ITER 1998 NEW BEST:: SOT 46692714 SOS 33290080 HAS SOPS 21869550 HAS SOUS 19430784 HAS SOUPS 19009442 WITH SCORE 1.904273208E7
AT ITER 2000 NEW BEST:: SOT 46691096 SOS 33288462 HAS SOPS 21864588 HAS SOUS 19427709 HAS SOUPS 19005917 WITH SCORE 1.9039205462E7
AT ITER 2009 NEW BEST:: SOT 46690086 SOS 33287452 HAS SOPS 21863577 HAS SOUS 19425835 HAS SOUPS 19003897 WITH SCORE 1.9037184452E7
AT ITER 2010 NEW BEST:: SOT 46690086 SOS 33287452 HAS SOPS 21862935 HAS SOUS 19425193 HAS SOUPS 19003255 WITH SCORE 1.9036542452E7
AT ITER 2013 NEW BEST:: SOT 46690082 SOS 33287448 HAS SOPS 21862968 HAS SOUS 19425189 HAS SOUPS 19003251 WITH SCORE 1.9036538448E7
AT ITER 2016 NEW BEST:: SOT 46688857 SOS 33286223 HAS SOPS 21859667 HAS SOUS 19422528 HAS SOUPS 19000590 WITH SCORE 1.9033876223E7
AT ITER 2017 NEW BEST:: SOT 46688662 SOS 33286028 HAS SOPS 21859275 HAS SOUS 19422332 HAS SOUPS 19000199 WITH SCORE 1.9033485028E7
AT ITER 2020 NEW BEST:: SOT 46688662 SOS 33286028 HAS SOPS 21859544 HAS SOUS 19422331 HAS SOUPS 19000198 WITH SCORE 1.9033484028E7
AT ITER 2023 NEW BEST:: SOT 46688011 SOS 33285377 HAS SOPS 21858241 HAS SOUS 19419577 HAS SOUPS 18997444 WITH SCORE 1.9030729377E7
AT ITER 2030 NEW BEST:: SOT 46688591 SOS 33286367 HAS SOPS 21858203 HAS SOUS 19419626 HAS SOUPS 18997406 WITH SCORE 1.9030692367E7
AT ITER 2032 NEW BEST:: SOT 46688591 SOS 33286367 HAS SOPS 21857081 HAS SOUS 19419130 HAS SOUPS 18996284 WITH SCORE 1.9029570367E7
AT ITER 2038 NEW BEST:: SOT 46688591 SOS 33286367 HAS SOPS 21857081 HAS SOUS 19418152 HAS SOUPS 18995306 WITH SCORE 1.9028592367E7
AT ITER 2040 NEW BEST:: SOT 46688124 SOS 33285900 HAS SOPS 21856614 HAS SOUS 19417685 HAS SOUPS 18994839 WITH SCORE 1.90281249E7
AT ITER 2048 NEW BEST:: SOT 46687915 SOS 33285691 HAS SOPS 21856389 HAS SOUS 19417267 HAS SOUPS 18994421 WITH SCORE 1.9027706691E7
AT ITER 2050 NEW BEST:: SOT 46686161 SOS 33283937 HAS SOPS 21852881 HAS SOUS 19412005 HAS SOUPS 18989159 WITH SCORE 1.9022442937E7
AT ITER 2052 NEW BEST:: SOT 46686029 SOS 33283805 HAS SOPS 21852617 HAS SOUS 19411741 HAS SOUPS 18988895 WITH SCORE 1.9022178805E7
AT ITER 2055 NEW BEST:: SOT 46686029 SOS 33283805 HAS SOPS 21852499 HAS SOUS 19412234 HAS SOUPS 18988777 WITH SCORE 1.9022060805E7
AT ITER 2056 NEW BEST:: SOT 46684579 SOS 33282355 HAS SOPS 21849516 HAS SOUS 19409716 HAS SOUPS 18985794 WITH SCORE 1.9019076355E7
AT ITER 2057 NEW BEST:: SOT 46682229 SOS 33280005 HAS SOPS 21844582 HAS SOUS 19405434 HAS SOUPS 18981415 WITH SCORE 1.9014695005E7
AT ITER 2059 NEW BEST:: SOT 46681547 SOS 33279323 HAS SOPS 21843217 HAS SOUS 19402627 HAS SOUPS 18978608 WITH SCORE 1.9011887323E7
AT ITER 2060 NEW BEST:: SOT 46681547 SOS 33279323 HAS SOPS 21842330 HAS SOUS 19401740 HAS SOUPS 18977721 WITH SCORE 1.9011000323E7
AT ITER 2072 NEW BEST:: SOT 46681547 SOS 33279323 HAS SOPS 21841167 HAS SOUS 19400624 HAS SOUPS 18976558 WITH SCORE 1.9009837323E7
AT ITER 2077 NEW BEST:: SOT 46680350 SOS 33278126 HAS SOPS 21838773 HAS SOUS 19398229 HAS SOUPS 18974163 WITH SCORE 1.9007441126E7
AT ITER 2079 NEW BEST:: SOT 46678477 SOS 33276253 HAS SOPS 21834866 HAS SOUS 19394799 HAS SOUPS 18970257 WITH SCORE 1.9003533253E7
AT ITER 2082 NEW BEST:: SOT 46678477 SOS 33276253 HAS SOPS 21834715 HAS SOUS 19394648 HAS SOUPS 18970106 WITH SCORE 1.9003382253E7
AT ITER 2083 NEW BEST:: SOT 46676539 SOS 33274315 HAS SOPS 21830838 HAS SOUS 19388712 HAS SOUPS 18964170 WITH SCORE 1.8997444315E7
AT ITER 2084 NEW BEST:: SOT 46674869 SOS 33272645 HAS SOPS 21826451 HAS SOUS 19385314 HAS SOUPS 18959900 WITH SCORE 1.8993172645E7
AT ITER 2088 NEW BEST:: SOT 46674890 SOS 33272666 HAS SOPS 21824424 HAS SOUS 19383288 HAS SOUPS 18957874 WITH SCORE 1.8991146666E7
AT ITER 2090 NEW BEST:: SOT 46674890 SOS 33272666 HAS SOPS 21822975 HAS SOUS 19382317 HAS SOUPS 18956425 WITH SCORE 1.8989697666E7
AT ITER 2095 NEW BEST:: SOT 46673888 SOS 33271664 HAS SOPS 21820970 HAS SOUS 19378721 HAS SOUPS 18952829 WITH SCORE 1.8986100664E7
AT ITER 2096 NEW BEST:: SOT 46673146 SOS 33243468 HAS SOPS 21793516 HAS SOUS 19377237 HAS SOUPS 18951345 WITH SCORE 1.8984588468E7
AT ITER 2102 NEW BEST:: SOT 46671743 SOS 33242065 HAS SOPS 21790277 HAS SOUS 19374038 HAS SOUPS 18948107 WITH SCORE 1.8981349065E7
AT ITER 2104 NEW BEST:: SOT 46671743 SOS 33242065 HAS SOPS 21790273 HAS SOUS 19374049 HAS SOUPS 18948103 WITH SCORE 1.8981345065E7
AT ITER 2109 NEW BEST:: SOT 46671627 SOS 33241949 HAS SOPS 21790041 HAS SOUS 19373817 HAS SOUPS 18947871 WITH SCORE 1.8981112949E7
AT ITER 2115 NEW BEST:: SOT 46671627 SOS 33241949 HAS SOPS 21788891 HAS SOUS 19372667 HAS SOUPS 18946721 WITH SCORE 1.8979962949E7
AT ITER 2125 NEW BEST:: SOT 46672932 SOS 33243254 HAS SOPS 21787328 HAS SOUS 19371668 HAS SOUPS 18945722 WITH SCORE 1.8978965254E7
AT ITER 2128 NEW BEST:: SOT 46699095 SOS 33202253 HAS SOPS 21706158 HAS SOUS 19351736 HAS SOUPS 18925739 WITH SCORE 1.8958941253E7
AT ITER 2129 NEW BEST:: SOT 46697231 SOS 33200389 HAS SOPS 21702504 HAS SOUS 19348287 HAS SOUPS 18922086 WITH SCORE 1.8955286389E7
AT ITER 2130 NEW BEST:: SOT 46697231 SOS 33200389 HAS SOPS 21702503 HAS SOUS 19348077 HAS SOUPS 18921876 WITH SCORE 1.8955076389E7
AT ITER 2131 NEW BEST:: SOT 46697225 SOS 33200383 HAS SOPS 21701652 HAS SOUS 19347227 HAS SOUPS 18921026 WITH SCORE 1.8954226383E7
AT ITER 2133 NEW BEST:: SOT 46696270 SOS 33199087 HAS SOPS 21699971 HAS SOUS 19345546 HAS SOUPS 18919345 WITH SCORE 1.8952544087E7
AT ITER 2135 NEW BEST:: SOT 46695330 SOS 33198147 HAS SOPS 21698090 HAS SOUS 19342726 HAS SOUPS 18916525 WITH SCORE 1.8949723147E7
AT ITER 2138 NEW BEST:: SOT 46695230 SOS 33198047 HAS SOPS 21698597 HAS SOUS 19341129 HAS SOUPS 18914928 WITH SCORE 1.8948126047E7
AT ITER 2140 NEW BEST:: SOT 46695226 SOS 33198043 HAS SOPS 21698943 HAS SOUS 19341120 HAS SOUPS 18914919 WITH SCORE 1.8948117043E7
AT ITER 2141 NEW BEST:: SOT 46695247 SOS 33213664 HAS SOPS 21698340 HAS SOUS 19340829 HAS SOUPS 18914316 WITH SCORE 1.8947529664E7
AT ITER 2142 NEW BEST:: SOT 46694450 SOS 33213043 HAS SOPS 21695883 HAS SOUS 19338373 HAS SOUPS 18911860 WITH SCORE 1.8945073043E7
AT ITER 2143 NEW BEST:: SOT 46692391 SOS 33210984 HAS SOPS 21691742 HAS SOUS 19334233 HAS SOUPS 18907720 WITH SCORE 1.8940930984E7
AT ITER 2146 NEW BEST:: SOT 46692281 SOS 33210874 HAS SOPS 21691521 HAS SOUS 19333739 HAS SOUPS 18907226 WITH SCORE 1.8940436874E7
AT ITER 2148 NEW BEST:: SOT 46692281 SOS 33210874 HAS SOPS 21690787 HAS SOUS 19333005 HAS SOUPS 18906492 WITH SCORE 1.8939702874E7
AT ITER 2149 NEW BEST:: SOT 46691227 SOS 33209820 HAS SOPS 21688678 HAS SOUS 19329646 HAS SOUPS 18903133 WITH SCORE 1.893634282E7
AT ITER 2150 NEW BEST:: SOT 46691306 SOS 33209899 HAS SOPS 21688835 HAS SOUS 19328669 HAS SOUPS 18901280 WITH SCORE 1.8934489899E7
AT ITER 2157 NEW BEST:: SOT 46691383 SOS 33210349 HAS SOPS 21688438 HAS SOUS 19328347 HAS SOUPS 18900958 WITH SCORE 1.8934168349E7
AT ITER 2158 NEW BEST:: SOT 46691762 SOS 33210728 HAS SOPS 21689195 HAS SOUS 19327072 HAS SOUPS 18899683 WITH SCORE 1.8932893728E7
AT ITER 2160 NEW BEST:: SOT 46691232 SOS 33210198 HAS SOPS 21688887 HAS SOUS 19326475 HAS SOUPS 18899086 WITH SCORE 1.8932296198E7
AT ITER 2161 NEW BEST:: SOT 46681385 SOS 33200351 HAS SOPS 21675000 HAS SOUS 19313469 HAS SOUPS 18886080 WITH SCORE 1.8919280351E7
AT ITER 2168 NEW BEST:: SOT 46679763 SOS 33198729 HAS SOPS 21671755 HAS SOUS 19308603 HAS SOUPS 18881214 WITH SCORE 1.8914412729E7
AT ITER 2169 NEW BEST:: SOT 46679763 SOS 33198729 HAS SOPS 21670341 HAS SOUS 19307189 HAS SOUPS 18879800 WITH SCORE 1.8912998729E7
AT ITER 2172 NEW BEST:: SOT 46678074 SOS 33197040 HAS SOPS 21666578 HAS SOUS 19303427 HAS SOUPS 18876038 WITH SCORE 1.890923504E7
AT ITER 2174 NEW BEST:: SOT 46677764 SOS 33196927 HAS SOPS 21666138 HAS SOUS 19302987 HAS SOUPS 18875598 WITH SCORE 1.8908794927E7
AT ITER 2178 NEW BEST:: SOT 46677505 SOS 33197101 HAS SOPS 21664705 HAS SOUS 19301555 HAS SOUPS 18874166 WITH SCORE 1.8907363101E7
AT ITER 2189 NEW BEST:: SOT 46677302 SOS 33196898 HAS SOPS 21664434 HAS SOUS 19301421 HAS SOUPS 18874032 WITH SCORE 1.8907228898E7
AT ITER 2198 NEW BEST:: SOT 46703266 SOS 33214826 HAS SOPS 21694840 HAS SOUS 19294032 HAS SOUPS 18868124 WITH SCORE 1.8901338826E7
AT ITER 2203 NEW BEST:: SOT 46701785 SOS 33213345 HAS SOPS 21691847 HAS SOUS 19291380 HAS SOUPS 18865132 WITH SCORE 1.8898345345E7
AT ITER 2208 NEW BEST:: SOT 46701785 SOS 33213345 HAS SOPS 21691847 HAS SOUS 19290616 HAS SOUPS 18864368 WITH SCORE 1.8897581345E7
AT ITER 2210 NEW BEST:: SOT 46701327 SOS 33212887 HAS SOPS 21691389 HAS SOUS 19289700 HAS SOUPS 18863452 WITH SCORE 1.8896664887E7
AT ITER 2213 NEW BEST:: SOT 46701327 SOS 33212887 HAS SOPS 21690779 HAS SOUS 19289090 HAS SOUPS 18862842 WITH SCORE 1.8896054887E7
AT ITER 2220 NEW BEST:: SOT 46701327 SOS 33212887 HAS SOPS 21690778 HAS SOUS 19287265 HAS SOUPS 18861457 WITH SCORE 1.8894669887E7
AT ITER 2222 NEW BEST:: SOT 46700181 SOS 33211805 HAS SOPS 21687542 HAS SOUS 19284030 HAS SOUPS 18858222 WITH SCORE 1.8891433805E7
AT ITER 2231 NEW BEST:: SOT 46698074 SOS 33209698 HAS SOPS 21682703 HAS SOUS 19282037 HAS SOUPS 18856229 WITH SCORE 1.8889438698E7
AT ITER 2237 NEW BEST:: SOT 46698074 SOS 33209698 HAS SOPS 21681136 HAS SOUS 19280666 HAS SOUPS 18854662 WITH SCORE 1.8887871698E7
AT ITER 2239 NEW BEST:: SOT 46698074 SOS 33209698 HAS SOPS 21680281 HAS SOUS 19279811 HAS SOUPS 18853807 WITH SCORE 1.8887016698E7
AT ITER 2245 NEW BEST:: SOT 46695652 SOS 33207276 HAS SOPS 21675436 HAS SOUS 19273817 HAS SOUPS 18847455 WITH SCORE 1.8880662276E7
AT ITER 2249 NEW BEST:: SOT 46695149 SOS 33206773 HAS SOPS 21674113 HAS SOUS 19272495 HAS SOUPS 18846133 WITH SCORE 1.8879339773E7
AT ITER 2258 NEW BEST:: SOT 46693425 SOS 33205049 HAS SOPS 21670664 HAS SOUS 19266991 HAS SOUPS 18840629 WITH SCORE 1.8873834049E7
AT ITER 2259 NEW BEST:: SOT 46693425 SOS 33205049 HAS SOPS 21670721 HAS SOUS 19266990 HAS SOUPS 18840628 WITH SCORE 1.8873833049E7
AT ITER 2260 NEW BEST:: SOT 46692891 SOS 33204515 HAS SOPS 21669653 HAS SOUS 19265922 HAS SOUPS 18839560 WITH SCORE 1.8872764515E7
AT ITER 2264 NEW BEST:: SOT 46692068 SOS 33203692 HAS SOPS 21665728 HAS SOUS 19261999 HAS SOUPS 18835637 WITH SCORE 1.8868840692E7
AT ITER 2265 NEW BEST:: SOT 46691361 SOS 33202985 HAS SOPS 21663443 HAS SOUS 19259716 HAS SOUPS 18833354 WITH SCORE 1.8866556985E7
AT ITER 2271 NEW BEST:: SOT 46691786 SOS 33203410 HAS SOPS 21664292 HAS SOUS 19259712 HAS SOUPS 18833350 WITH SCORE 1.886655341E7
AT ITER 2273 NEW BEST:: SOT 46690104 SOS 33201728 HAS SOPS 21660526 HAS SOUS 19255947 HAS SOUPS 18829585 WITH SCORE 1.8862786728E7
AT ITER 2282 NEW BEST:: SOT 46689831 SOS 33201455 HAS SOPS 21659979 HAS SOUS 19255008 HAS SOUPS 18828646 WITH SCORE 1.8861847455E7
AT ITER 2286 NEW BEST:: SOT 46689178 SOS 33200802 HAS SOPS 21660216 HAS SOUS 19253551 HAS SOUPS 18827189 WITH SCORE 1.8860389802E7
AT ITER 2290 NEW BEST:: SOT 46687664 SOS 33199288 HAS SOPS 21656640 HAS SOUS 19249976 HAS SOUPS 18823614 WITH SCORE 1.8856813288E7
AT ITER 2291 NEW BEST:: SOT 46687664 SOS 33199288 HAS SOPS 21656640 HAS SOUS 19249902 HAS SOUPS 18823540 WITH SCORE 1.8856739288E7
AT ITER 2295 NEW BEST:: SOT 46687051 SOS 33198675 HAS SOPS 21655413 HAS SOUS 19248180 HAS SOUPS 18821818 WITH SCORE 1.8855016675E7
AT ITER 2302 NEW BEST:: SOT 46686497 SOS 33198121 HAS SOPS 21653138 HAS SOUS 19245906 HAS SOUPS 18819544 WITH SCORE 1.8852742121E7
AT ITER 2306 NEW BEST:: SOT 46684858 SOS 33196482 HAS SOPS 21649859 HAS SOUS 19242629 HAS SOUPS 18816267 WITH SCORE 1.8849463482E7
AT ITER 2307 NEW BEST:: SOT 46684745 SOS 33196369 HAS SOPS 21649633 HAS SOUS 19242404 HAS SOUPS 18816042 WITH SCORE 1.8849238369E7
AT ITER 2311 NEW BEST:: SOT 46684031 SOS 33198087 HAS SOPS 21649907 HAS SOUS 19241730 HAS SOUPS 18814563 WITH SCORE 1.8847761087E7
AT ITER 2314 NEW BEST:: SOT 46683514 SOS 33197570 HAS SOPS 21648662 HAS SOUS 19240179 HAS SOUPS 18813012 WITH SCORE 1.884620957E7
AT ITER 2330 NEW BEST:: SOT 46681807 SOS 33195863 HAS SOPS 21645247 HAS SOUS 19236765 HAS SOUPS 18809598 WITH SCORE 1.8842793863E7
AT ITER 2332 NEW BEST:: SOT 46681561 SOS 33195617 HAS SOPS 21642659 HAS SOUS 19235452 HAS SOUPS 18809066 WITH SCORE 1.8842261617E7
AT ITER 2335 NEW BEST:: SOT 46680077 SOS 33193405 HAS SOPS 21640567 HAS SOUS 19233360 HAS SOUPS 18806974 WITH SCORE 1.8840167405E7
AT ITER 2339 NEW BEST:: SOT 46680077 SOS 33193405 HAS SOPS 21640567 HAS SOUS 19233199 HAS SOUPS 18806813 WITH SCORE 1.8840006405E7
AT ITER 2341 NEW BEST:: SOT 46679929 SOS 33193257 HAS SOPS 21642069 HAS SOUS 19233050 HAS SOUPS 18806664 WITH SCORE 1.8839857257E7
AT ITER 2350 NEW BEST:: SOT 46679929 SOS 33193257 HAS SOPS 21642069 HAS SOUS 19232343 HAS SOUPS 18805957 WITH SCORE 1.8839150257E7
AT ITER 2352 NEW BEST:: SOT 46679679 SOS 33193007 HAS SOPS 21641693 HAS SOUS 19231968 HAS SOUPS 18805582 WITH SCORE 1.8838775007E7
AT ITER 2354 NEW BEST:: SOT 46678157 SOS 33191485 HAS SOPS 21638138 HAS SOUS 19228425 HAS SOUPS 18802028 WITH SCORE 1.8835219485E7
AT ITER 2361 NEW BEST:: SOT 46677825 SOS 33191153 HAS SOPS 21637806 HAS SOUS 19227964 HAS SOUPS 18801567 WITH SCORE 1.8834758153E7
AT ITER 2371 NEW BEST:: SOT 46678126 SOS 33191454 HAS SOPS 21638407 HAS SOUS 19226535 HAS SOUPS 18800138 WITH SCORE 1.8833329454E7
AT ITER 2372 NEW BEST:: SOT 46678061 SOS 33191389 HAS SOPS 21638277 HAS SOUS 19225778 HAS SOUPS 18799381 WITH SCORE 1.8832572389E7
AT ITER 2374 NEW BEST:: SOT 46677417 SOS 33190745 HAS SOPS 21636483 HAS SOUS 19224574 HAS SOUPS 18797587 WITH SCORE 1.8830777745E7
AT ITER 2378 NEW BEST:: SOT 46677091 SOS 33190419 HAS SOPS 21635831 HAS SOUS 19224151 HAS SOUPS 18796935 WITH SCORE 1.8830125419E7
AT ITER 2382 NEW BEST:: SOT 46681372 SOS 33189828 HAS SOPS 21642548 HAS SOUS 19208495 HAS SOUPS 18781888 WITH SCORE 1.8815077828E7
AT ITER 2388 NEW BEST:: SOT 46679639 SOS 33188095 HAS SOPS 21638743 HAS SOUS 19204880 HAS SOUPS 18778084 WITH SCORE 1.8811272095E7
AT ITER 2393 NEW BEST:: SOT 46678571 SOS 33187027 HAS SOPS 21636824 HAS SOUS 19202747 HAS SOUPS 18775951 WITH SCORE 1.8809138027E7
AT ITER 2399 NEW BEST:: SOT 46677094 SOS 33185550 HAS SOPS 21633295 HAS SOUS 19199219 HAS SOUPS 18772423 WITH SCORE 1.880560855E7
AT ITER 2400 NEW BEST:: SOT 46676975 SOS 33122514 HAS SOPS 21564772 HAS SOUS 19191395 HAS SOUPS 18764599 WITH SCORE 1.8797721514E7
AT ITER 2408 NEW BEST:: SOT 46676607 SOS 33122146 HAS SOPS 21564036 HAS SOUS 19191027 HAS SOUPS 18763863 WITH SCORE 1.8796985146E7
AT ITER 2409 NEW BEST:: SOT 46676607 SOS 33122146 HAS SOPS 21562050 HAS SOUS 19189041 HAS SOUPS 18761877 WITH SCORE 1.8794999146E7
AT ITER 2410 NEW BEST:: SOT 46676214 SOS 33121883 HAS SOPS 21560765 HAS SOUS 19187757 HAS SOUPS 18760593 WITH SCORE 1.8793714883E7
AT ITER 2412 NEW BEST:: SOT 46676214 SOS 33121883 HAS SOPS 21560430 HAS SOUS 19187422 HAS SOUPS 18760258 WITH SCORE 1.8793379883E7
AT ITER 2413 NEW BEST:: SOT 46675333 SOS 33121002 HAS SOPS 21558637 HAS SOUS 19185630 HAS SOUPS 18758466 WITH SCORE 1.8791587002E7
AT ITER 2420 NEW BEST:: SOT 46674840 SOS 33106290 HAS SOPS 21558637 HAS SOUS 19185137 HAS SOUPS 18758466 WITH SCORE 1.879157229E7
AT ITER 2424 NEW BEST:: SOT 46674008 SOS 33105458 HAS SOPS 21556972 HAS SOUS 19181441 HAS SOUPS 18754770 WITH SCORE 1.8787875458E7
AT ITER 2427 NEW BEST:: SOT 46673099 SOS 33104292 HAS SOPS 21555153 HAS SOUS 19178211 HAS SOUPS 18751402 WITH SCORE 1.8784506292E7
AT ITER 2435 NEW BEST:: SOT 46672494 SOS 33103687 HAS SOPS 21554817 HAS SOUS 19177001 HAS SOUPS 18750192 WITH SCORE 1.8783295687E7
AT ITER 2442 NEW BEST:: SOT 46671860 SOS 33103053 HAS SOPS 21553548 HAS SOUS 19174861 HAS SOUPS 18748052 WITH SCORE 1.8781155053E7
AT ITER 2454 NEW BEST:: SOT 46671807 SOS 33103124 HAS SOPS 21553203 HAS SOUS 19174517 HAS SOUPS 18747708 WITH SCORE 1.8780811124E7
AT ITER 2457 NEW BEST:: SOT 46671547 SOS 33102864 HAS SOPS 21552942 HAS SOUS 19173130 HAS SOUPS 18746321 WITH SCORE 1.8779423864E7
AT ITER 2474 NEW BEST:: SOT 46671547 SOS 33086251 HAS SOPS 21536985 HAS SOUS 19172888 HAS SOUPS 18746079 WITH SCORE 1.8779165251E7
AT ITER 2475 NEW BEST:: SOT 46669669 SOS 33084373 HAS SOPS 21533254 HAS SOUS 19169158 HAS SOUPS 18742349 WITH SCORE 1.8775433373E7
AT ITER 2477 NEW BEST:: SOT 46668139 SOS 33082843 HAS SOPS 21529754 HAS SOUS 19166346 HAS SOUPS 18739289 WITH SCORE 1.8772371843E7
AT ITER 2483 NEW BEST:: SOT 46667783 SOS 33082487 HAS SOPS 21529396 HAS SOUS 19165811 HAS SOUPS 18738754 WITH SCORE 1.8771836487E7
AT ITER 2485 NEW BEST:: SOT 46666399 SOS 33081103 HAS SOPS 21525934 HAS SOUS 19164385 HAS SOUPS 18737328 WITH SCORE 1.8770409103E7
AT ITER 2487 NEW BEST:: SOT 46666399 SOS 33081103 HAS SOPS 21525933 HAS SOUS 19164375 HAS SOUPS 18737318 WITH SCORE 1.8770399103E7
AT ITER 2489 NEW BEST:: SOT 46666316 SOS 33081631 HAS SOPS 21524592 HAS SOUS 19163035 HAS SOUPS 18735978 WITH SCORE 1.8769059631E7
AT ITER 2494 NEW BEST:: SOT 46664353 SOS 33079668 HAS SOPS 21521642 HAS SOUS 19157767 HAS SOUPS 18730710 WITH SCORE 1.8763789668E7
AT ITER 2495 NEW BEST:: SOT 46663357 SOS 33078672 HAS SOPS 21519649 HAS SOUS 19155775 HAS SOUPS 18728718 WITH SCORE 1.8761796672E7
AT ITER 2500 NEW BEST:: SOT 46662060 SOS 33077375 HAS SOPS 21517054 HAS SOUS 19151884 HAS SOUPS 18724827 WITH SCORE 1.8757904375E7
AT ITER 2504 NEW BEST:: SOT 46660823 SOS 33076138 HAS SOPS 21514107 HAS SOUS 19148938 HAS SOUPS 18721881 WITH SCORE 1.8754957138E7
AT ITER 2514 NEW BEST:: SOT 46660823 SOS 33076138 HAS SOPS 21513639 HAS SOUS 19147923 HAS SOUPS 18720866 WITH SCORE 1.8753942138E7
AT ITER 2519 NEW BEST:: SOT 46660482 SOS 33075797 HAS SOPS 21512957 HAS SOUS 19147241 HAS SOUPS 18720184 WITH SCORE 1.8753259797E7
AT ITER 2524 NEW BEST:: SOT 46660369 SOS 33075684 HAS SOPS 21512843 HAS SOUS 19145594 HAS SOUPS 18718537 WITH SCORE 1.8751612684E7
AT ITER 2528 NEW BEST:: SOT 46669038 SOS 33078418 HAS SOPS 21524029 HAS SOUS 19129667 HAS SOUPS 18703449 WITH SCORE 1.8736527418E7
AT ITER 2529 NEW BEST:: SOT 46668381 SOS 33077761 HAS SOPS 21522714 HAS SOUS 19127476 HAS SOUPS 18701258 WITH SCORE 1.8734335761E7
AT ITER 2532 NEW BEST:: SOT 46668377 SOS 33077757 HAS SOPS 21523187 HAS SOUS 19127466 HAS SOUPS 18701248 WITH SCORE 1.8734325757E7
AT ITER 2535 NEW BEST:: SOT 46667109 SOS 33076489 HAS SOPS 21520651 HAS SOUS 19124931 HAS SOUPS 18698713 WITH SCORE 1.8731789489E7
AT ITER 2537 NEW BEST:: SOT 46666347 SOS 33075727 HAS SOPS 21518158 HAS SOUS 19121967 HAS SOUPS 18695749 WITH SCORE 1.8728824727E7
AT ITER 2541 NEW BEST:: SOT 46666081 SOS 33075461 HAS SOPS 21517892 HAS SOUS 19121701 HAS SOUPS 18695483 WITH SCORE 1.8728558461E7
AT ITER 2552 NEW BEST:: SOT 46665460 SOS 33074840 HAS SOPS 21516029 HAS SOUS 19120563 HAS SOUPS 18694049 WITH SCORE 1.872712384E7
AT ITER 2560 NEW BEST:: SOT 46664578 SOS 33073958 HAS SOPS 21514089 HAS SOUS 19118623 HAS SOUPS 18692109 WITH SCORE 1.8725182958E7
AT ITER 2561 NEW BEST:: SOT 46664578 SOS 33073958 HAS SOPS 21513367 HAS SOUS 19117901 HAS SOUPS 18691387 WITH SCORE 1.8724460958E7
AT ITER 2567 NEW BEST:: SOT 46662448 SOS 33071828 HAS SOPS 21509189 HAS SOUS 19113640 HAS SOUPS 18687126 WITH SCORE 1.8720197828E7
AT ITER 2572 NEW BEST:: SOT 46662662 SOS 33072042 HAS SOPS 21509616 HAS SOUS 19111979 HAS SOUPS 18685465 WITH SCORE 1.8718537042E7
AT ITER 2575 NEW BEST:: SOT 46663758 SOS 33069974 HAS SOPS 21511767 HAS SOUS 19100439 HAS SOUPS 18674277 WITH SCORE 1.8707346974E7
AT ITER 2576 NEW BEST:: SOT 46663758 SOS 33069974 HAS SOPS 21511766 HAS SOUS 19100289 HAS SOUPS 18674127 WITH SCORE 1.8707196974E7
AT ITER 2577 NEW BEST:: SOT 46662050 SOS 33068266 HAS SOPS 21506943 HAS SOUS 19097102 HAS SOUPS 18670711 WITH SCORE 1.8703779266E7
AT ITER 2582 NEW BEST:: SOT 46660317 SOS 33066533 HAS SOPS 21501371 HAS SOUS 19092027 HAS SOUPS 18665141 WITH SCORE 1.8698207533E7
AT ITER 2611 NEW BEST:: SOT 46659222 SOS 33024923 HAS SOPS 21460856 HAS SOUS 19089837 HAS SOUPS 18662951 WITH SCORE 1.8695975923E7
AT ITER 2612 NEW BEST:: SOT 46657927 SOS 33023628 HAS SOPS 21458265 HAS SOUS 19085952 HAS SOUPS 18659066 WITH SCORE 1.8692089628E7
AT ITER 2626 NEW BEST:: SOT 46657394 SOS 33023095 HAS SOPS 21457199 HAS SOUS 19084885 HAS SOUPS 18657999 WITH SCORE 1.8691022095E7
AT ITER 2630 NEW BEST:: SOT 46672652 SOS 33033392 HAS SOPS 21445697 HAS SOUS 19077456 HAS SOUPS 18650570 WITH SCORE 1.8683603392E7
AT ITER 2635 NEW BEST:: SOT 46670581 SOS 33031386 HAS SOPS 21441536 HAS SOUS 19073296 HAS SOUPS 18646410 WITH SCORE 1.8679441386E7
AT ITER 2640 NEW BEST:: SOT 46670007 SOS 33030812 HAS SOPS 21440388 HAS SOUS 19072722 HAS SOUPS 18645836 WITH SCORE 1.8678866812E7
AT ITER 2642 NEW BEST:: SOT 46667727 SOS 33028532 HAS SOPS 21435828 HAS SOUS 19066631 HAS SOUPS 18639426 WITH SCORE 1.8672454532E7
AT ITER 2644 NEW BEST:: SOT 46667650 SOS 33028455 HAS SOPS 21435991 HAS SOUS 19066476 HAS SOUPS 18639271 WITH SCORE 1.8672299455E7
AT ITER 2647 NEW BEST:: SOT 46669812 SOS 33030617 HAS SOPS 21435579 HAS SOUS 19064628 HAS SOUPS 18637423 WITH SCORE 1.8670453617E7
AT ITER 2654 NEW BEST:: SOT 46670151 SOS 33031217 HAS SOPS 21435497 HAS SOUS 19065813 HAS SOUPS 18637341 WITH SCORE 1.8670372217E7
AT ITER 2655 NEW BEST:: SOT 46671506 SOS 33032844 HAS SOPS 21434584 HAS SOUS 19066063 HAS SOUPS 18636429 WITH SCORE 1.8669461844E7
AT ITER 2660 NEW BEST:: SOT 46671491 SOS 33032875 HAS SOPS 21433629 HAS SOUS 19065672 HAS SOUPS 18636038 WITH SCORE 1.8669070875E7
AT ITER 2664 NEW BEST:: SOT 46670823 SOS 33032207 HAS SOPS 21432292 HAS SOUS 19064336 HAS SOUPS 18634702 WITH SCORE 1.8667734207E7
AT ITER 2668 NEW BEST:: SOT 46670455 SOS 33031839 HAS SOPS 21431552 HAS SOUS 19063766 HAS SOUPS 18633962 WITH SCORE 1.8666993839E7
AT ITER 2673 NEW BEST:: SOT 46670692 SOS 32995221 HAS SOPS 21392863 HAS SOUS 19059619 HAS SOUPS 18629815 WITH SCORE 1.8662810221E7
AT ITER 2675 NEW BEST:: SOT 46670645 SOS 32995174 HAS SOPS 21392768 HAS SOUS 19059526 HAS SOUPS 18629722 WITH SCORE 1.8662717174E7
AT ITER 2679 NEW BEST:: SOT 46670446 SOS 32994975 HAS SOPS 21392369 HAS SOUS 19059128 HAS SOUPS 18629324 WITH SCORE 1.8662318975E7
AT ITER 2683 NEW BEST:: SOT 46670174 SOS 32994703 HAS SOPS 21391825 HAS SOUS 19058169 HAS SOUPS 18628780 WITH SCORE 1.8661774703E7
AT ITER 2684 NEW BEST:: SOT 46670905 SOS 32995434 HAS SOPS 21393287 HAS SOUS 19056507 HAS SOUPS 18628185 WITH SCORE 1.8661180434E7
AT ITER 2688 NEW BEST:: SOT 46670672 SOS 32995201 HAS SOPS 21392821 HAS SOUS 19055808 HAS SOUPS 18627486 WITH SCORE 1.8660481201E7
AT ITER 2693 NEW BEST:: SOT 46670431 SOS 32994960 HAS SOPS 21392580 HAS SOUS 19055567 HAS SOUPS 18627245 WITH SCORE 1.866023996E7
AT ITER 2695 NEW BEST:: SOT 46670307 SOS 32994836 HAS SOPS 21392455 HAS SOUS 19055566 HAS SOUPS 18627120 WITH SCORE 1.8660114836E7
AT ITER 2696 NEW BEST:: SOT 46668432 SOS 32992961 HAS SOPS 21388520 HAS SOUS 19051757 HAS SOUPS 18623311 WITH SCORE 1.8656303961E7
AT ITER 2697 NEW BEST:: SOT 46667925 SOS 32992454 HAS SOPS 21386999 HAS SOUS 19050743 HAS SOUPS 18622297 WITH SCORE 1.8655289454E7
AT ITER 2698 NEW BEST:: SOT 46666793 SOS 32991322 HAS SOPS 21388178 HAS SOUS 19050360 HAS SOUPS 18621914 WITH SCORE 1.8654905322E7
AT ITER 2709 NEW BEST:: SOT 46668380 SOS 32992909 HAS SOPS 21388744 HAS SOUS 19050339 HAS SOUPS 18621893 WITH SCORE 1.8654885909E7
AT ITER 2713 NEW BEST:: SOT 46668759 SOS 32993729 HAS SOPS 21387916 HAS SOUS 19049511 HAS SOUPS 18621065 WITH SCORE 1.8654058729E7
AT ITER 2716 NEW BEST:: SOT 46668759 SOS 32993729 HAS SOPS 21387915 HAS SOUS 19048584 HAS SOUPS 18620138 WITH SCORE 1.8653131729E7
AT ITER 2718 NEW BEST:: SOT 46668759 SOS 32993729 HAS SOPS 21387611 HAS SOUS 19048281 HAS SOUPS 18619835 WITH SCORE 1.8652828729E7
AT ITER 2720 NEW BEST:: SOT 46668443 SOS 32993413 HAS SOPS 21386978 HAS SOUS 19047606 HAS SOUPS 18619160 WITH SCORE 1.8652153413E7
AT ITER 2721 NEW BEST:: SOT 46667813 SOS 32992783 HAS SOPS 21385088 HAS SOUS 19046346 HAS SOUPS 18617900 WITH SCORE 1.8650892783E7
AT ITER 2729 NEW BEST:: SOT 46666280 SOS 32989123 HAS SOPS 21378803 HAS SOUS 19038664 HAS SOUPS 18610218 WITH SCORE 1.8643207123E7
AT ITER 2733 NEW BEST:: SOT 46666280 SOS 32989123 HAS SOPS 21379766 HAS SOUS 19038663 HAS SOUPS 18610217 WITH SCORE 1.8643206123E7
AT ITER 2738 NEW BEST:: SOT 43639465 SOS 29962308 HAS SOPS 18347098 HAS SOUS 16186110 HAS SOUPS 15736553 WITH SCORE 1.5766515308E7
AT ITER 2741 NEW BEST:: SOT 43638839 SOS 29961929 HAS SOPS 18345823 HAS SOUS 16184836 HAS SOUPS 15735279 WITH SCORE 1.5765240929E7
AT ITER 2743 NEW BEST:: SOT 43638501 SOS 29961591 HAS SOPS 18345485 HAS SOUS 16184498 HAS SOUPS 15734941 WITH SCORE 1.5764902591E7
AT ITER 2744 NEW BEST:: SOT 43637792 SOS 29960882 HAS SOPS 18342920 HAS SOUS 16180652 HAS SOUPS 15731095 WITH SCORE 1.5761055882E7
AT ITER 2745 NEW BEST:: SOT 43637144 SOS 29960234 HAS SOPS 18341624 HAS SOUS 16179252 HAS SOUPS 15729695 WITH SCORE 1.5759655234E7
AT ITER 2747 NEW BEST:: SOT 43635907 SOS 29958997 HAS SOPS 18339057 HAS SOUS 16176686 HAS SOUPS 15727129 WITH SCORE 1.5757087997E7
AT ITER 2753 NEW BEST:: SOT 43636100 SOS 29959190 HAS SOPS 18338268 HAS SOUS 16175898 HAS SOUPS 15726341 WITH SCORE 1.575630019E7
AT ITER 2763 NEW BEST:: SOT 43636033 SOS 29959123 HAS SOPS 18337162 HAS SOUS 16174793 HAS SOUPS 15725236 WITH SCORE 1.5755195123E7
AT ITER 2765 NEW BEST:: SOT 43638453 SOS 29961543 HAS SOPS 18336464 HAS SOUS 16177768 HAS SOUPS 15724612 WITH SCORE 1.5754573543E7
AT ITER 2779 NEW BEST:: SOT 43638306 SOS 29961396 HAS SOPS 18336464 HAS SOUS 16177768 HAS SOUPS 15724612 WITH SCORE 1.5754573396E7
AT ITER 2781 NEW BEST:: SOT 43638607 SOS 29961697 HAS SOPS 18334343 HAS SOUS 16176235 HAS SOUPS 15722491 WITH SCORE 1.5752452697E7
AT ITER 2784 NEW BEST:: SOT 43637182 SOS 29960272 HAS SOPS 18332443 HAS SOUS 16174810 HAS SOUPS 15720591 WITH SCORE 1.5750551272E7
AT ITER 2789 NEW BEST:: SOT 43637248 SOS 30000988 HAS SOPS 18331003 HAS SOUS 16174620 HAS SOUPS 15719151 WITH SCORE 1.5749151988E7
AT ITER 2794 NEW BEST:: SOT 43637244 SOS 30000984 HAS SOPS 18331681 HAS SOUS 16174616 HAS SOUPS 15719147 WITH SCORE 1.5749147984E7
AT ITER 2799 NEW BEST:: SOT 43637244 SOS 30000984 HAS SOPS 18331679 HAS SOUS 16174614 HAS SOUPS 15719145 WITH SCORE 1.5749145984E7
AT ITER 2812 NEW BEST:: SOT 43636943 SOS 30000683 HAS SOPS 18331077 HAS SOUS 16174011 HAS SOUPS 15718542 WITH SCORE 1.5748542683E7
AT ITER 2813 NEW BEST:: SOT 43638595 SOS 30002335 HAS SOPS 18329385 HAS SOUS 16173428 HAS SOUPS 15717686 WITH SCORE 1.5747688335E7
AT ITER 2816 NEW BEST:: SOT 43637732 SOS 30001798 HAS SOPS 18328228 HAS SOUS 16172272 HAS SOUPS 15716530 WITH SCORE 1.5746531798E7
AT ITER 2827 NEW BEST:: SOT 43637732 SOS 30001798 HAS SOPS 18328092 HAS SOUS 16172137 HAS SOUPS 15716395 WITH SCORE 1.5746396798E7
AT ITER 2830 NEW BEST:: SOT 43639183 SOS 30003249 HAS SOPS 18326937 HAS SOUS 16171175 HAS SOUPS 15715242 WITH SCORE 1.5745245249E7
AT ITER 2835 NEW BEST:: SOT 43639209 SOS 30024675 HAS SOPS 18326338 HAS SOUS 16171046 HAS SOUPS 15714643 WITH SCORE 1.5744667675E7
AT ITER 2836 NEW BEST:: SOT 43638754 SOS 30024220 HAS SOPS 18326600 HAS SOUS 16170590 HAS SOUPS 15714187 WITH SCORE 1.574421122E7
AT ITER 2838 NEW BEST:: SOT 43638470 SOS 30023936 HAS SOPS 18325950 HAS SOUS 16169939 HAS SOUPS 15713536 WITH SCORE 1.5743559936E7
AT ITER 2840 NEW BEST:: SOT 43637882 SOS 30001770 HAS SOPS 18304372 HAS SOUS 16168585 HAS SOUPS 15712182 WITH SCORE 1.574218377E7
AT ITER 2846 NEW BEST:: SOT 43636962 SOS 30001281 HAS SOPS 18303362 HAS SOUS 16168173 HAS SOUPS 15711770 WITH SCORE 1.5741771281E7
AT ITER 2847 NEW BEST:: SOT 43637092 SOS 30001411 HAS SOPS 18302681 HAS SOUS 16167492 HAS SOUPS 15711089 WITH SCORE 1.5741090411E7
AT ITER 2857 NEW BEST:: SOT 43637088 SOS 30001407 HAS SOPS 18302704 HAS SOUS 16167488 HAS SOUPS 15711085 WITH SCORE 1.5741086407E7
AT ITER 2859 NEW BEST:: SOT 43636328 SOS 30000882 HAS SOPS 18300824 HAS SOUS 16166831 HAS SOUPS 15709384 WITH SCORE 1.5739384882E7
AT ITER 2860 NEW BEST:: SOT 43637961 SOS 30002515 HAS SOPS 18300108 HAS SOUS 16166399 HAS SOUPS 15708669 WITH SCORE 1.5738671515E7
AT ITER 2861 NEW BEST:: SOT 43637400 SOS 30001954 HAS SOPS 18300133 HAS SOUS 16165237 HAS SOUPS 15707507 WITH SCORE 1.5737508954E7
AT ITER 2864 NEW BEST:: SOT 43637400 SOS 30001954 HAS SOPS 18299954 HAS SOUS 16165058 HAS SOUPS 15707328 WITH SCORE 1.5737329954E7
AT ITER 2867 NEW BEST:: SOT 43636644 SOS 30001022 HAS SOPS 18299025 HAS SOUS 16164129 HAS SOUPS 15706399 WITH SCORE 1.5736400022E7
AT ITER 2868 NEW BEST:: SOT 43636609 SOS 30000987 HAS SOPS 18299058 HAS SOUS 16164089 HAS SOUPS 15706359 WITH SCORE 1.5736359987E7
AT ITER 2872 NEW BEST:: SOT 43636112 SOS 29999056 HAS SOPS 18294933 HAS SOUS 16159965 HAS SOUPS 15702235 WITH SCORE 1.5732234056E7
AT ITER 2881 NEW BEST:: SOT 43635931 SOS 29999536 HAS SOPS 18294124 HAS SOUS 16159535 HAS SOUPS 15701427 WITH SCORE 1.5731426536E7
AT ITER 2884 NEW BEST:: SOT 43634218 SOS 29997823 HAS SOPS 18290485 HAS SOUS 16156458 HAS SOUPS 15698063 WITH SCORE 1.5728060823E7
AT ITER 2886 NEW BEST:: SOT 43634032 SOS 29997637 HAS SOPS 18290713 HAS SOUS 16156086 HAS SOUPS 15697691 WITH SCORE 1.5727688637E7
AT ITER 2887 NEW BEST:: SOT 43633517 SOS 29997714 HAS SOPS 18289470 HAS SOUS 16154844 HAS SOUPS 15696449 WITH SCORE 1.5726446714E7
AT ITER 2897 NEW BEST:: SOT 43633226 SOS 29997423 HAS SOPS 18289468 HAS SOUS 16154262 HAS SOUPS 15695867 WITH SCORE 1.5725864423E7
AT ITER 2898 NEW BEST:: SOT 43633226 SOS 29997423 HAS SOPS 18289464 HAS SOUS 16154293 HAS SOUPS 15695863 WITH SCORE 1.5725860423E7
AT ITER 2906 NEW BEST:: SOT 43631338 SOS 29995535 HAS SOPS 18282566 HAS SOUS 16149602 HAS SOUPS 15688989 WITH SCORE 1.5718984535E7
AT ITER 2917 NEW BEST:: SOT 43631334 SOS 29995531 HAS SOPS 18282444 HAS SOUS 16149479 HAS SOUPS 15688866 WITH SCORE 1.5718861531E7
AT ITER 2918 NEW BEST:: SOT 43630904 SOS 29995101 HAS SOPS 18282444 HAS SOUS 16149059 HAS SOUPS 15688866 WITH SCORE 1.5718861101E7
AT ITER 2925 NEW BEST:: SOT 43631298 SOS 29995495 HAS SOPS 18282312 HAS SOUS 16149532 HAS SOUPS 15688752 WITH SCORE 1.5718747495E7
AT ITER 2926 NEW BEST:: SOT 43630169 SOS 29994366 HAS SOPS 18279373 HAS SOUS 16146594 HAS SOUPS 15685814 WITH SCORE 1.5715808366E7
AT ITER 2937 NEW BEST:: SOT 43630329 SOS 29994526 HAS SOPS 18277812 HAS SOUS 16143882 HAS SOUPS 15683102 WITH SCORE 1.5713096526E7
AT ITER 2943 NEW BEST:: SOT 43629931 SOS 29994128 HAS SOPS 18276844 HAS SOUS 16142915 HAS SOUPS 15682135 WITH SCORE 1.5712129128E7
AT ITER 2944 NEW BEST:: SOT 43627895 SOS 29992092 HAS SOPS 18272738 HAS SOUS 16138810 HAS SOUPS 15678030 WITH SCORE 1.5708022092E7
AT ITER 2951 NEW BEST:: SOT 43626725 SOS 29990922 HAS SOPS 18271568 HAS SOUS 16137640 HAS SOUPS 15676860 WITH SCORE 1.5706850922E7
AT ITER 2962 NEW BEST:: SOT 43625944 SOS 29990141 HAS SOPS 18269507 HAS SOUS 16135580 HAS SOUPS 15674800 WITH SCORE 1.5704790141E7
AT ITER 2967 NEW BEST:: SOT 43625320 SOS 29989517 HAS SOPS 18268242 HAS SOUS 16134316 HAS SOUPS 15673536 WITH SCORE 1.5703525517E7
AT ITER 2975 NEW BEST:: SOT 43626005 SOS 29990202 HAS SOPS 18266973 HAS SOUS 16133006 HAS SOUPS 15672226 WITH SCORE 1.5702216202E7
AT ITER 2980 NEW BEST:: SOT 43626546 SOS 29990743 HAS SOPS 18266365 HAS SOUS 16133306 HAS SOUPS 15670997 WITH SCORE 1.5700987743E7
AT ITER 2981 NEW BEST:: SOT 43626347 SOS 29990544 HAS SOPS 18265967 HAS SOUS 16132908 HAS SOUPS 15670599 WITH SCORE 1.5700589544E7
AT ITER 2983 NEW BEST:: SOT 43626333 SOS 29990530 HAS SOPS 18264836 HAS SOUS 16132343 HAS SOUPS 15669476 WITH SCORE 1.569946653E7
AT ITER 2989 NEW BEST:: SOT 43626888 SOS 29991163 HAS SOPS 18264661 HAS SOUS 16132168 HAS SOUPS 15669301 WITH SCORE 1.5699292163E7
AT ITER 2995 NEW BEST:: SOT 43627032 SOS 29991307 HAS SOPS 18264482 HAS SOUS 16132066 HAS SOUPS 15669122 WITH SCORE 1.5699113307E7
AT ITER 2999 NEW BEST:: SOT 43626615 SOS 29990890 HAS SOPS 18264065 HAS SOUS 16131649 HAS SOUPS 15668705 WITH SCORE 1.569869589E7
AT ITER 3002 NEW BEST:: SOT 43626343 SOS 29990618 HAS SOPS 18263793 HAS SOUS 16131377 HAS SOUPS 15668433 WITH SCORE 1.5698423618E7
AT ITER 3007 NEW BEST:: SOT 43625635 SOS 29989910 HAS SOPS 18264058 HAS SOUS 16130221 HAS SOUPS 15667277 WITH SCORE 1.569726691E7
AT ITER 3012 NEW BEST:: SOT 43625635 SOS 29989910 HAS SOPS 18262046 HAS SOUS 16128209 HAS SOUPS 15665265 WITH SCORE 1.569525491E7
AT ITER 3015 NEW BEST:: SOT 43625756 SOS 29990031 HAS SOPS 18260699 HAS SOUS 16127826 HAS SOUPS 15664882 WITH SCORE 1.5694872031E7
AT ITER 3022 NEW BEST:: SOT 43626154 SOS 29990429 HAS SOPS 18259185 HAS SOUS 16126312 HAS SOUPS 15663368 WITH SCORE 1.5693358429E7
AT ITER 3026 NEW BEST:: SOT 43625584 SOS 29989859 HAS SOPS 18258615 HAS SOUS 16125742 HAS SOUPS 15662798 WITH SCORE 1.5692787859E7
AT ITER 3031 NEW BEST:: SOT 43625389 SOS 29989664 HAS SOPS 18258420 HAS SOUS 16125547 HAS SOUPS 15662603 WITH SCORE 1.5692592664E7
AT ITER 3036 NEW BEST:: SOT 43624345 SOS 29988812 HAS SOPS 18255284 HAS SOUS 16122412 HAS SOUPS 15659468 WITH SCORE 1.5689456812E7
AT ITER 3037 NEW BEST:: SOT 43620118 SOS 29984713 HAS SOPS 18251310 HAS SOUS 16118313 HAS SOUPS 15655494 WITH SCORE 1.5685478713E7
AT ITER 3044 NEW BEST:: SOT 43619223 SOS 29983818 HAS SOPS 18249366 HAS SOUS 16116370 HAS SOUPS 15653551 WITH SCORE 1.5683534818E7
AT ITER 3052 NEW BEST:: SOT 43617078 SOS 29981673 HAS SOPS 18249403 HAS SOUS 16113828 HAS SOUPS 15651009 WITH SCORE 1.5680990673E7
AT ITER 3060 NEW BEST:: SOT 43617078 SOS 29981673 HAS SOPS 18248366 HAS SOUS 16112791 HAS SOUPS 15649972 WITH SCORE 1.5679953673E7
AT ITER 3062 NEW BEST:: SOT 43617391 SOS 29981986 HAS SOPS 18248992 HAS SOUS 16112263 HAS SOUPS 15649444 WITH SCORE 1.5679425986E7
AT ITER 3066 NEW BEST:: SOT 43616999 SOS 29981594 HAS SOPS 18247797 HAS SOUS 16111068 HAS SOUPS 15648249 WITH SCORE 1.5678230594E7
AT ITER 3067 NEW BEST:: SOT 43616956 SOS 29981551 HAS SOPS 18247754 HAS SOUS 16111068 HAS SOUPS 15648249 WITH SCORE 1.5678230551E7
AT ITER 3074 NEW BEST:: SOT 43616087 SOS 29980682 HAS SOPS 18245267 HAS SOUS 16107339 HAS SOUPS 15644520 WITH SCORE 1.5674500682E7
AT ITER 3082 NEW BEST:: SOT 43616087 SOS 29980682 HAS SOPS 18244350 HAS SOUS 16106422 HAS SOUPS 15643603 WITH SCORE 1.5673583682E7
AT ITER 3084 NEW BEST:: SOT 43615729 SOS 29980324 HAS SOPS 18243276 HAS SOUS 16105348 HAS SOUPS 15642529 WITH SCORE 1.5672509324E7
AT ITER 3087 NEW BEST:: SOT 43616425 SOS 29981020 HAS SOPS 18241977 HAS SOUS 16104006 HAS SOUPS 15641187 WITH SCORE 1.567116802E7
AT ITER 3090 NEW BEST:: SOT 43616039 SOS 29980634 HAS SOPS 18241205 HAS SOUS 16103794 HAS SOUPS 15640975 WITH SCORE 1.5670955634E7
AT ITER 3097 NEW BEST:: SOT 43615123 SOS 29979718 HAS SOPS 18240745 HAS SOUS 16102878 HAS SOUPS 15640059 WITH SCORE 1.5670038718E7
AT ITER 3098 NEW BEST:: SOT 43614023 SOS 29978618 HAS SOPS 18238545 HAS SOUS 16101303 HAS SOUPS 15637859 WITH SCORE 1.5667837618E7
AT ITER 3100 NEW BEST:: SOT 43614023 SOS 29978618 HAS SOPS 18238259 HAS SOUS 16101017 HAS SOUPS 15637573 WITH SCORE 1.5667551618E7
AT ITER 3108 NEW BEST:: SOT 43613876 SOS 29978471 HAS SOPS 18238121 HAS SOUS 16100870 HAS SOUPS 15637435 WITH SCORE 1.5667413471E7
AT ITER 3110 NEW BEST:: SOT 43612316 SOS 29976911 HAS SOPS 18234493 HAS SOUS 16097243 HAS SOUPS 15633808 WITH SCORE 1.5663784911E7
AT ITER 3117 NEW BEST:: SOT 43610495 SOS 29975090 HAS SOPS 18229006 HAS SOUS 16091618 HAS SOUPS 15627442 WITH SCORE 1.565741709E7
AT ITER 3123 NEW BEST:: SOT 43609273 SOS 29973868 HAS SOPS 18227784 HAS SOUS 16090396 HAS SOUPS 15626220 WITH SCORE 1.5656193868E7
AT ITER 3125 NEW BEST:: SOT 43608894 SOS 29973489 HAS SOPS 18227026 HAS SOUS 16089638 HAS SOUPS 15625462 WITH SCORE 1.5655435489E7
AT ITER 3126 NEW BEST:: SOT 43607041 SOS 29971636 HAS SOPS 18223141 HAS SOUS 16086377 HAS SOUPS 15622201 WITH SCORE 1.5652172636E7
AT ITER 3135 NEW BEST:: SOT 43605863 SOS 29970458 HAS SOPS 18220090 HAS SOUS 16084510 HAS SOUPS 15620241 WITH SCORE 1.5650211458E7
AT ITER 3137 NEW BEST:: SOT 43605863 SOS 29970458 HAS SOPS 18219944 HAS SOUS 16084364 HAS SOUPS 15620095 WITH SCORE 1.5650065458E7
AT ITER 3138 NEW BEST:: SOT 43606100 SOS 29970695 HAS SOPS 18216891 HAS SOUS 16083011 HAS SOUPS 15617715 WITH SCORE 1.5647685695E7
AT ITER 3139 NEW BEST:: SOT 43604302 SOS 29968897 HAS SOPS 18213019 HAS SOUS 16079140 HAS SOUPS 15613844 WITH SCORE 1.5643812897E7
AT ITER 3143 NEW BEST:: SOT 43602744 SOS 29967339 HAS SOPS 18209373 HAS SOUS 16075495 HAS SOUPS 15610199 WITH SCORE 1.5640166339E7
AT ITER 3149 NEW BEST:: SOT 43603370 SOS 29967965 HAS SOPS 18208012 HAS SOUS 16075100 HAS SOUPS 15608838 WITH SCORE 1.5638805965E7
AT ITER 3152 NEW BEST:: SOT 43603370 SOS 29967965 HAS SOPS 18209320 HAS SOUS 16075099 HAS SOUPS 15608837 WITH SCORE 1.5638804965E7
AT ITER 3153 NEW BEST:: SOT 43603164 SOS 29967759 HAS SOPS 18209011 HAS SOUS 16074790 HAS SOUPS 15608528 WITH SCORE 1.5638495759E7
AT ITER 3160 NEW BEST:: SOT 43603164 SOS 29967713 HAS SOPS 18208925 HAS SOUS 16074704 HAS SOUPS 15608442 WITH SCORE 1.5638409713E7
AT ITER 3164 NEW BEST:: SOT 43604647 SOS 29969196 HAS SOPS 18207719 HAS SOUS 16073959 HAS SOUPS 15607236 WITH SCORE 1.5637205196E7
AT ITER 3177 NEW BEST:: SOT 43604327 SOS 29968876 HAS SOPS 18207079 HAS SOUS 16073319 HAS SOUPS 15606596 WITH SCORE 1.5636564876E7
AT ITER 3179 NEW BEST:: SOT 43603035 SOS 29967584 HAS SOPS 18204012 HAS SOUS 16071699 HAS SOUPS 15604734 WITH SCORE 1.5634701584E7
AT ITER 3184 NEW BEST:: SOT 43604302 SOS 29968851 HAS SOPS 18202134 HAS SOUS 16070654 HAS SOUPS 15603622 WITH SCORE 1.5633590851E7
AT ITER 3187 NEW BEST:: SOT 43603559 SOS 29968108 HAS SOPS 18200272 HAS SOUS 16068793 HAS SOUPS 15601761 WITH SCORE 1.5631729108E7
AT ITER 3199 NEW BEST:: SOT 43602763 SOS 29965798 HAS SOPS 18198670 HAS SOUS 16067191 HAS SOUPS 15600159 WITH SCORE 1.5630124798E7
AT ITER 3201 NEW BEST:: SOT 43602724 SOS 29965759 HAS SOPS 18197144 HAS SOUS 16065098 HAS SOUPS 15598066 WITH SCORE 1.5628031759E7
AT ITER 3204 NEW BEST:: SOT 43601107 SOS 29964142 HAS SOPS 18191548 HAS SOUS 16060694 HAS SOUPS 15593662 WITH SCORE 1.5623626142E7
AT ITER 3208 NEW BEST:: SOT 43599969 SOS 29963004 HAS SOPS 18188614 HAS SOUS 16058155 HAS SOUPS 15590849 WITH SCORE 1.5620812004E7
AT ITER 3209 NEW BEST:: SOT 43599383 SOS 29962203 HAS SOPS 18187442 HAS SOUS 16056983 HAS SOUPS 15589677 WITH SCORE 1.5619639203E7
AT ITER 3210 NEW BEST:: SOT 43599929 SOS 29963120 HAS SOPS 18187402 HAS SOUS 16056949 HAS SOUPS 15589637 WITH SCORE 1.561960012E7
AT ITER 3225 NEW BEST:: SOT 43599519 SOS 29962710 HAS SOPS 18186969 HAS SOUS 16056516 HAS SOUPS 15589204 WITH SCORE 1.561916671E7
AT ITER 3226 NEW BEST:: SOT 43601486 SOS 29965249 HAS SOPS 18181278 HAS SOUS 16053371 HAS SOUPS 15583514 WITH SCORE 1.5613479249E7
AT ITER 3234 NEW BEST:: SOT 43600930 SOS 29964693 HAS SOPS 18177276 HAS SOUS 16049371 HAS SOUPS 15579514 WITH SCORE 1.5609478693E7
AT ITER 3251 NEW BEST:: SOT 43602940 SOS 29967516 HAS SOPS 18176921 HAS SOUS 16049016 HAS SOUPS 15579159 WITH SCORE 1.5609126516E7
AT ITER 3252 NEW BEST:: SOT 43601428 SOS 29966004 HAS SOPS 18173605 HAS SOUS 16045992 HAS SOUPS 15576135 WITH SCORE 1.5606101004E7
AT ITER 3256 NEW BEST:: SOT 43599751 SOS 29964327 HAS SOPS 18169856 HAS SOUS 16042244 HAS SOUPS 15572387 WITH SCORE 1.5602351327E7
AT ITER 3266 NEW BEST:: SOT 43620856 SOS 29973247 HAS SOPS 18194195 HAS SOUS 16018723 HAS SOUPS 15550994 WITH SCORE 1.5580967247E7
AT ITER 3269 NEW BEST:: SOT 43620851 SOS 29973242 HAS SOPS 18194212 HAS SOUS 16018713 HAS SOUPS 15550984 WITH SCORE 1.5580957242E7
AT ITER 3270 NEW BEST:: SOT 43620466 SOS 29972857 HAS SOPS 18193442 HAS SOUS 16018884 HAS SOUPS 15550214 WITH SCORE 1.5580186857E7
AT ITER 3274 NEW BEST:: SOT 43618061 SOS 29970452 HAS SOPS 18191332 HAS SOUS 16016774 HAS SOUPS 15548104 WITH SCORE 1.5578074452E7
AT ITER 3275 NEW BEST:: SOT 43618158 SOS 29970549 HAS SOPS 18185720 HAS SOUS 16012088 HAS SOUPS 15542493 WITH SCORE 1.5572463549E7
AT ITER 3278 NEW BEST:: SOT 43617346 SOS 29969737 HAS SOPS 18184518 HAS SOUS 16010464 HAS SOUPS 15540869 WITH SCORE 1.5570838737E7
AT ITER 3279 NEW BEST:: SOT 43616935 SOS 29969326 HAS SOPS 18180456 HAS SOUS 16006594 HAS SOUPS 15536808 WITH SCORE 1.5566777326E7
AT ITER 3286 NEW BEST:: SOT 43616935 SOS 29969326 HAS SOPS 18178846 HAS SOUS 16004984 HAS SOUPS 15535198 WITH SCORE 1.5565167326E7
AT ITER 3288 NEW BEST:: SOT 43617676 SOS 29970067 HAS SOPS 18178645 HAS SOUS 16004783 HAS SOUPS 15534997 WITH SCORE 1.5564967067E7
AT ITER 3289 NEW BEST:: SOT 43616896 SOS 29969287 HAS SOPS 18177865 HAS SOUS 16004003 HAS SOUPS 15534217 WITH SCORE 1.5564186287E7
AT ITER 3292 NEW BEST:: SOT 43616301 SOS 29968692 HAS SOPS 18176675 HAS SOUS 16002812 HAS SOUPS 15533026 WITH SCORE 1.5562994692E7
AT ITER 3304 NEW BEST:: SOT 43616301 SOS 29968692 HAS SOPS 18176217 HAS SOUS 16002354 HAS SOUPS 15532568 WITH SCORE 1.5562536692E7
AT ITER 3317 NEW BEST:: SOT 43616437 SOS 29968828 HAS SOPS 18174364 HAS SOUS 15999445 HAS SOUPS 15529659 WITH SCORE 1.5559627828E7
AT ITER 3324 NEW BEST:: SOT 43615909 SOS 29968300 HAS SOPS 18173992 HAS SOUS 15999074 HAS SOUPS 15529288 WITH SCORE 1.55592563E7
AT ITER 3325 NEW BEST:: SOT 43616422 SOS 29969257 HAS SOPS 18173506 HAS SOUS 15998588 HAS SOUPS 15528802 WITH SCORE 1.5558771257E7
AT ITER 3328 NEW BEST:: SOT 43616019 SOS 29968854 HAS SOPS 18173103 HAS SOUS 15998185 HAS SOUPS 15528399 WITH SCORE 1.5558367854E7
AT ITER 3329 NEW BEST:: SOT 43616019 SOS 29968854 HAS SOPS 18173447 HAS SOUS 15998183 HAS SOUPS 15528397 WITH SCORE 1.5558365854E7
AT ITER 3332 NEW BEST:: SOT 43614801 SOS 29967781 HAS SOPS 18170977 HAS SOUS 15995849 HAS SOUPS 15526063 WITH SCORE 1.5556030781E7
AT ITER 3335 NEW BEST:: SOT 43613776 SOS 29966475 HAS SOPS 18168385 HAS SOUS 15993257 HAS SOUPS 15523471 WITH SCORE 1.5553437475E7
AT ITER 3336 NEW BEST:: SOT 43614734 SOS 29967433 HAS SOPS 18168307 HAS SOUS 15992848 HAS SOUPS 15523062 WITH SCORE 1.5553029433E7
AT ITER 3345 NEW BEST:: SOT 43613797 SOS 29966632 HAS SOPS 18165441 HAS SOUS 15989983 HAS SOUPS 15520197 WITH SCORE 1.5550163632E7
AT ITER 3354 NEW BEST:: SOT 43613797 SOS 29966632 HAS SOPS 18164583 HAS SOUS 15990102 HAS SOUPS 15519339 WITH SCORE 1.5549305632E7
AT ITER 3356 NEW BEST:: SOT 43613793 SOS 29966628 HAS SOPS 18167012 HAS SOUS 15990098 HAS SOUPS 15519335 WITH SCORE 1.5549301628E7
AT ITER 3363 NEW BEST:: SOT 43614836 SOS 29967671 HAS SOPS 18166886 HAS SOUS 15989972 HAS SOUPS 15519209 WITH SCORE 1.5549176671E7
AT ITER 3365 NEW BEST:: SOT 43614836 SOS 29967671 HAS SOPS 18166626 HAS SOUS 15989911 HAS SOUPS 15518949 WITH SCORE 1.5548916671E7
AT ITER 3368 NEW BEST:: SOT 43613842 SOS 29966677 HAS SOPS 18165632 HAS SOUS 15988359 HAS SOUPS 15517955 WITH SCORE 1.5547921677E7
AT ITER 3369 NEW BEST:: SOT 43614375 SOS 29967210 HAS SOPS 18162511 HAS SOUS 15986019 HAS SOUPS 15514836 WITH SCORE 1.554480321E7
AT ITER 3373 NEW BEST:: SOT 43614872 SOS 29903456 HAS SOPS 18091890 HAS SOUS 15978117 HAS SOUPS 15506934 WITH SCORE 1.5536837456E7
AT ITER 3374 NEW BEST:: SOT 43613644 SOS 29902228 HAS SOPS 18088572 HAS SOUS 15976452 HAS SOUPS 15505269 WITH SCORE 1.5535171228E7
AT ITER 3379 NEW BEST:: SOT 43612755 SOS 29901339 HAS SOPS 18083551 HAS SOUS 15971432 HAS SOUPS 15500249 WITH SCORE 1.5530150339E7
AT ITER 3385 NEW BEST:: SOT 43611581 SOS 29900165 HAS SOPS 18080990 HAS SOUS 15969676 HAS SOUPS 15497955 WITH SCORE 1.5527855165E7
AT ITER 3387 NEW BEST:: SOT 43611581 SOS 29900165 HAS SOPS 18078644 HAS SOUS 15968209 HAS SOUPS 15495604 WITH SCORE 1.5525504165E7
AT ITER 3388 NEW BEST:: SOT 43611968 SOS 29900552 HAS SOPS 18077321 HAS SOUS 15966887 HAS SOUPS 15494282 WITH SCORE 1.5524182552E7
AT ITER 3390 NEW BEST:: SOT 43610670 SOS 29899254 HAS SOPS 18075243 HAS SOUS 15965143 HAS SOUPS 15492402 WITH SCORE 1.5522301254E7
AT ITER 3391 NEW BEST:: SOT 43610669 SOS 29899253 HAS SOPS 18074926 HAS SOUS 15964826 HAS SOUPS 15492085 WITH SCORE 1.5521984253E7
AT ITER 3392 NEW BEST:: SOT 43610443 SOS 29899027 HAS SOPS 18074700 HAS SOUS 15964600 HAS SOUPS 15491859 WITH SCORE 1.5521758027E7
AT ITER 3393 NEW BEST:: SOT 43611020 SOS 29899604 HAS SOPS 18073826 HAS SOUS 15964095 HAS SOUPS 15491354 WITH SCORE 1.5521253604E7
AT ITER 3397 NEW BEST:: SOT 43610134 SOS 29898086 HAS SOPS 18072884 HAS SOUS 15963153 HAS SOUPS 15490412 WITH SCORE 1.5520310086E7
AT ITER 3398 NEW BEST:: SOT 43610134 SOS 29898086 HAS SOPS 18072289 HAS SOUS 15962876 HAS SOUPS 15489817 WITH SCORE 1.5519715086E7
AT ITER 3403 NEW BEST:: SOT 43611032 SOS 29898984 HAS SOPS 18071993 HAS SOUS 15963362 HAS SOUPS 15489521 WITH SCORE 1.5519419984E7
AT ITER 3406 NEW BEST:: SOT 43609916 SOS 29897868 HAS SOPS 18069743 HAS SOUS 15961112 HAS SOUPS 15487271 WITH SCORE 1.5517168868E7
AT ITER 3417 NEW BEST:: SOT 43610049 SOS 29898001 HAS SOPS 18069576 HAS SOUS 15960945 HAS SOUPS 15487104 WITH SCORE 1.5517002001E7
AT ITER 3418 NEW BEST:: SOT 43610525 SOS 29898477 HAS SOPS 18069641 HAS SOUS 15960458 HAS SOUPS 15486617 WITH SCORE 1.5516515477E7
AT ITER 3425 NEW BEST:: SOT 43610308 SOS 29898260 HAS SOPS 18069497 HAS SOUS 15960314 HAS SOUPS 15486473 WITH SCORE 1.551637126E7
AT ITER 3426 NEW BEST:: SOT 43609699 SOS 29897651 HAS SOPS 18068279 HAS SOUS 15959705 HAS SOUPS 15485864 WITH SCORE 1.5515761651E7
AT ITER 3432 NEW BEST:: SOT 43609824 SOS 29897776 HAS SOPS 18066648 HAS SOUS 15958075 HAS SOUPS 15484234 WITH SCORE 1.5514131776E7
AT ITER 3436 NEW BEST:: SOT 43611112 SOS 29899064 HAS SOPS 18066981 HAS SOUS 15957497 HAS SOUPS 15483656 WITH SCORE 1.5513555064E7
AT ITER 3443 NEW BEST:: SOT 43611112 SOS 29899064 HAS SOPS 18066253 HAS SOUS 15956769 HAS SOUPS 15482928 WITH SCORE 1.5512827064E7
AT ITER 3447 NEW BEST:: SOT 43610220 SOS 29898172 HAS SOPS 18063684 HAS SOUS 15954202 HAS SOUPS 15480361 WITH SCORE 1.5510259172E7
AT ITER 3456 NEW BEST:: SOT 43608776 SOS 29896728 HAS SOPS 18058723 HAS SOUS 15949242 HAS SOUPS 15475401 WITH SCORE 1.5505297728E7
AT ITER 3460 NEW BEST:: SOT 43606847 SOS 29894799 HAS SOPS 18054780 HAS SOUS 15945417 HAS SOUPS 15471459 WITH SCORE 1.5501353799E7
AT ITER 3467 NEW BEST:: SOT 43605151 SOS 29890893 HAS SOPS 18049035 HAS SOUS 15940008 HAS SOUPS 15466050 WITH SCORE 1.5495940893E7
AT ITER 3484 NEW BEST:: SOT 43604745 SOS 29890332 HAS SOPS 18046126 HAS SOUS 15937096 HAS SOUPS 15463138 WITH SCORE 1.5493028332E7
AT ITER 3504 NEW BEST:: SOT 43603859 SOS 29889310 HAS SOPS 18045240 HAS SOUS 15936210 HAS SOUPS 15462252 WITH SCORE 1.549214131E7
AT ITER 3518 NEW BEST:: SOT 43607633 SOS 29893640 HAS SOPS 18043583 HAS SOUS 15936666 HAS SOUPS 15460596 WITH SCORE 1.549048964E7
AT ITER 3519 NEW BEST:: SOT 43607632 SOS 29893639 HAS SOPS 18043581 HAS SOUS 15936664 HAS SOUPS 15460594 WITH SCORE 1.5490487639E7
AT ITER 3524 NEW BEST:: SOT 43606788 SOS 29892795 HAS SOPS 18042709 HAS SOUS 15935342 HAS SOUPS 15459272 WITH SCORE 1.5489164795E7
AT ITER 3525 NEW BEST:: SOT 43606242 SOS 29892249 HAS SOPS 18041612 HAS SOUS 15934562 HAS SOUPS 15458175 WITH SCORE 1.5488067249E7
AT ITER 3529 NEW BEST:: SOT 43606242 SOS 29892297 HAS SOPS 18041608 HAS SOUS 15934558 HAS SOUPS 15458171 WITH SCORE 1.5488063297E7
AT ITER 3530 NEW BEST:: SOT 43606040 SOS 29892095 HAS SOPS 18043834 HAS SOUS 15934356 HAS SOUPS 15457969 WITH SCORE 1.5487861095E7
AT ITER 3532 NEW BEST:: SOT 43605633 SOS 29891697 HAS SOPS 18042149 HAS SOUS 15933949 HAS SOUPS 15457562 WITH SCORE 1.5487453697E7
AT ITER 3535 NEW BEST:: SOT 43605457 SOS 29891521 HAS SOPS 18041972 HAS SOUS 15933685 HAS SOUPS 15457298 WITH SCORE 1.5487189521E7
AT ITER 3536 NEW BEST:: SOT 43605717 SOS 29891781 HAS SOPS 18041707 HAS SOUS 15933420 HAS SOUPS 15457033 WITH SCORE 1.5486924781E7
AT ITER 3546 NEW BEST:: SOT 43607031 SOS 29893367 HAS SOPS 18041185 HAS SOUS 15932898 HAS SOUPS 15456511 WITH SCORE 1.5486404367E7
AT ITER 3547 NEW BEST:: SOT 43605752 SOS 29892088 HAS SOPS 18039268 HAS SOUS 15930982 HAS SOUPS 15454595 WITH SCORE 1.5484487088E7
AT ITER 3555 NEW BEST:: SOT 43604549 SOS 29890885 HAS SOPS 18035512 HAS SOUS 15927107 HAS SOUPS 15450720 WITH SCORE 1.5480610885E7
AT ITER 3556 NEW BEST:: SOT 43602422 SOS 29888758 HAS SOPS 18031629 HAS SOUS 15922173 HAS SOUPS 15445786 WITH SCORE 1.5475674758E7
AT ITER 3566 NEW BEST:: SOT 43600349 SOS 29886685 HAS SOPS 18027466 HAS SOUS 15918011 HAS SOUPS 15441624 WITH SCORE 1.5471510685E7
AT ITER 3570 NEW BEST:: SOT 43600337 SOS 29886673 HAS SOPS 18027442 HAS SOUS 15917987 HAS SOUPS 15441600 WITH SCORE 1.5471486673E7
AT ITER 3587 NEW BEST:: SOT 43599520 SOS 29885856 HAS SOPS 18027294 HAS SOUS 15917170 HAS SOUPS 15441452 WITH SCORE 1.5471337856E7
AT ITER 3595 NEW BEST:: SOT 43599520 SOS 29885856 HAS SOPS 18027135 HAS SOUS 15917011 HAS SOUPS 15441293 WITH SCORE 1.5471178856E7
AT ITER 3596 NEW BEST:: SOT 43599135 SOS 29886841 HAS SOPS 18025469 HAS SOUS 15919588 HAS SOUPS 15439628 WITH SCORE 1.5469514841E7
AT ITER 3597 NEW BEST:: SOT 43598405 SOS 29886111 HAS SOPS 18025880 HAS SOUS 15919159 HAS SOUPS 15439199 WITH SCORE 1.5469085111E7
AT ITER 3600 NEW BEST:: SOT 43598440 SOS 29890946 HAS SOPS 18025784 HAS SOUS 15919229 HAS SOUPS 15439103 WITH SCORE 1.5468993946E7
AT ITER 3615 NEW BEST:: SOT 43571924 SOS 29864430 HAS SOPS 17999268 HAS SOUS 15892713 HAS SOUPS 15412587 WITH SCORE 1.544245143E7
AT ITER 3618 NEW BEST:: SOT 43572837 SOS 29865343 HAS SOPS 17997315 HAS SOUS 15890794 HAS SOUPS 15410668 WITH SCORE 1.5440533343E7
AT ITER 3621 NEW BEST:: SOT 43572523 SOS 29865029 HAS SOPS 17995214 HAS SOUS 15887644 HAS SOUPS 15407518 WITH SCORE 1.5437383029E7
AT ITER 3625 NEW BEST:: SOT 43572918 SOS 29866129 HAS SOPS 17995034 HAS SOUS 15888105 HAS SOUPS 15407338 WITH SCORE 1.5437204129E7
AT ITER 3628 NEW BEST:: SOT 43573037 SOS 29866248 HAS SOPS 17995032 HAS SOUS 15888223 HAS SOUPS 15407336 WITH SCORE 1.5437202248E7
AT ITER 3642 NEW BEST:: SOT 43574074 SOS 29867285 HAS SOPS 17992196 HAS SOUS 15887463 HAS SOUPS 15405910 WITH SCORE 1.5435777285E7
AT ITER 3657 NEW BEST:: SOT 43575336 SOS 29868547 HAS SOPS 17991935 HAS SOUS 15888589 HAS SOUPS 15405638 WITH SCORE 1.5435506547E7
AT ITER 3660 NEW BEST:: SOT 43574848 SOS 29868059 HAS SOPS 17991447 HAS SOUS 15888101 HAS SOUPS 15405150 WITH SCORE 1.5435018059E7
AT ITER 3671 NEW BEST:: SOT 43576380 SOS 29869591 HAS SOPS 17991370 HAS SOUS 15888036 HAS SOUPS 15405036 WITH SCORE 1.5434905591E7
AT ITER 3673 NEW BEST:: SOT 43576380 SOS 29869591 HAS SOPS 17991489 HAS SOUS 15888035 HAS SOUPS 15405035 WITH SCORE 1.5434904591E7
AT ITER 3677 NEW BEST:: SOT 43575938 SOS 29869149 HAS SOPS 17990605 HAS SOUS 15888092 HAS SOUPS 15404151 WITH SCORE 1.5434020149E7
AT ITER 3680 NEW BEST:: SOT 43574167 SOS 29867378 HAS SOPS 17987063 HAS SOUS 15884569 HAS SOUPS 15400609 WITH SCORE 1.5430476378E7
AT ITER 3684 NEW BEST:: SOT 43574219 SOS 29867430 HAS SOPS 17987114 HAS SOUS 15883137 HAS SOUPS 15399177 WITH SCORE 1.542904443E7
AT ITER 3687 NEW BEST:: SOT 43574372 SOS 29867583 HAS SOPS 17986395 HAS SOUS 15882419 HAS SOUPS 15398459 WITH SCORE 1.5428326583E7
AT ITER 3693 NEW BEST:: SOT 43573659 SOS 29866870 HAS SOPS 17984969 HAS SOUS 15880993 HAS SOUPS 15397033 WITH SCORE 1.542689987E7
AT ITER 3695 NEW BEST:: SOT 43572917 SOS 29866128 HAS SOPS 17984797 HAS SOUS 15880821 HAS SOUPS 15396861 WITH SCORE 1.5426727128E7
AT ITER 3712 NEW BEST:: SOT 43572543 SOS 29865754 HAS SOPS 17984049 HAS SOUS 15880447 HAS SOUPS 15396113 WITH SCORE 1.5425978754E7
AT ITER 3714 NEW BEST:: SOT 43571890 SOS 29865101 HAS SOPS 17984452 HAS SOUS 15879996 HAS SOUPS 15395662 WITH SCORE 1.5425527101E7
AT ITER 3716 NEW BEST:: SOT 43571890 SOS 29865101 HAS SOPS 17984448 HAS SOUS 15879992 HAS SOUPS 15395658 WITH SCORE 1.5425523101E7
AT ITER 3723 NEW BEST:: SOT 43569895 SOS 29863106 HAS SOPS 17982618 HAS SOUS 15877391 HAS SOUPS 15393828 WITH SCORE 1.5423691106E7
AT ITER 3726 NEW BEST:: SOT 43569895 SOS 29863106 HAS SOPS 17982866 HAS SOUS 15877389 HAS SOUPS 15393826 WITH SCORE 1.5423689106E7
AT ITER 3734 NEW BEST:: SOT 43571753 SOS 29864964 HAS SOPS 17983170 HAS SOUS 15877259 HAS SOUPS 15393696 WITH SCORE 1.5423560964E7
AT ITER 3736 NEW BEST:: SOT 43569686 SOS 29862897 HAS SOPS 17979021 HAS SOUS 15873111 HAS SOUPS 15389548 WITH SCORE 1.5419410897E7
AT ITER 3742 NEW BEST:: SOT 43569159 SOS 29862370 HAS SOPS 17977572 HAS SOUS 15871766 HAS SOUPS 15388100 WITH SCORE 1.541796237E7
AT ITER 3745 NEW BEST:: SOT 43567598 SOS 29860809 HAS SOPS 17973953 HAS SOUS 15869235 HAS SOUPS 15385569 WITH SCORE 1.5415429809E7
AT ITER 3746 NEW BEST:: SOT 43564973 SOS 29858184 HAS SOPS 17972099 HAS SOUS 15867259 HAS SOUPS 15383715 WITH SCORE 1.5413573184E7
AT ITER 3747 NEW BEST:: SOT 43583566 SOS 29805395 HAS SOPS 17884670 HAS SOUS 15845268 HAS SOUPS 15361434 WITH SCORE 1.5391239395E7
AT ITER 3748 NEW BEST:: SOT 43582361 SOS 29804190 HAS SOPS 17882217 HAS SOUS 15841590 HAS SOUPS 15357756 WITH SCORE 1.538756019E7
AT ITER 3753 NEW BEST:: SOT 43581870 SOS 29803699 HAS SOPS 17881725 HAS SOUS 15840784 HAS SOUPS 15356950 WITH SCORE 1.5386753699E7
AT ITER 3756 NEW BEST:: SOT 43581657 SOS 29803486 HAS SOPS 17881299 HAS SOUS 15840358 HAS SOUPS 15356524 WITH SCORE 1.5386327486E7
AT ITER 3762 NEW BEST:: SOT 43581657 SOS 29803486 HAS SOPS 17880755 HAS SOUS 15839814 HAS SOUPS 15355980 WITH SCORE 1.5385783486E7
AT ITER 3763 NEW BEST:: SOT 43581657 SOS 29803486 HAS SOPS 17880439 HAS SOUS 15838739 HAS SOUPS 15354905 WITH SCORE 1.5384708486E7
AT ITER 3771 NEW BEST:: SOT 43581657 SOS 29803486 HAS SOPS 17880583 HAS SOUS 15838738 HAS SOUPS 15354904 WITH SCORE 1.5384707486E7
AT ITER 3774 NEW BEST:: SOT 43580907 SOS 29802736 HAS SOPS 17879948 HAS SOUS 15837344 HAS SOUPS 15353404 WITH SCORE 1.5383206736E7
AT ITER 3784 NEW BEST:: SOT 43580964 SOS 29802793 HAS SOPS 17880062 HAS SOUS 15836818 HAS SOUPS 15352878 WITH SCORE 1.5382680793E7
AT ITER 3786 NEW BEST:: SOT 43578741 SOS 29800570 HAS SOPS 17878517 HAS SOUS 15834074 HAS SOUPS 15350134 WITH SCORE 1.537993457E7
AT ITER 3795 NEW BEST:: SOT 43578741 SOS 29800622 HAS SOPS 17878461 HAS SOUS 15834018 HAS SOUPS 15350078 WITH SCORE 1.5379878622E7
AT ITER 3797 NEW BEST:: SOT 43578731 SOS 29800612 HAS SOPS 17878423 HAS SOUS 15833981 HAS SOUPS 15350041 WITH SCORE 1.5379841612E7
AT ITER 3800 NEW BEST:: SOT 43578731 SOS 29800612 HAS SOPS 17878318 HAS SOUS 15833876 HAS SOUPS 15349936 WITH SCORE 1.5379736612E7
AT ITER 3815 NEW BEST:: SOT 43579087 SOS 29800968 HAS SOPS 17878107 HAS SOUS 15833666 HAS SOUPS 15349726 WITH SCORE 1.5379526968E7
AT ITER 3821 NEW BEST:: SOT 43577468 SOS 29799349 HAS SOPS 17874514 HAS SOUS 15830131 HAS SOUPS 15346134 WITH SCORE 1.5375933349E7
AT ITER 3822 NEW BEST:: SOT 43578286 SOS 29808879 HAS SOPS 17874369 HAS SOUS 15830167 HAS SOUPS 15345989 WITH SCORE 1.5375797879E7
AT ITER 3823 NEW BEST:: SOT 43578286 SOS 29808879 HAS SOPS 17870677 HAS SOUS 15827794 HAS SOUPS 15342911 WITH SCORE 1.5372719879E7
AT ITER 3826 NEW BEST:: SOT 43578286 SOS 29808879 HAS SOPS 17869491 HAS SOUS 15827257 HAS SOUPS 15341848 WITH SCORE 1.5371656879E7
AT ITER 3829 NEW BEST:: SOT 43588676 SOS 29813632 HAS SOPS 17881353 HAS SOUS 15819955 HAS SOUPS 15335282 WITH SCORE 1.5365095632E7
AT ITER 3836 NEW BEST:: SOT 43587678 SOS 29812634 HAS SOPS 17880354 HAS SOUS 15819954 HAS SOUPS 15335281 WITH SCORE 1.5365093634E7
AT ITER 3838 NEW BEST:: SOT 43587678 SOS 29812634 HAS SOPS 17879895 HAS SOUS 15819495 HAS SOUPS 15334822 WITH SCORE 1.5364634634E7
AT ITER 3843 NEW BEST:: SOT 43588416 SOS 29813372 HAS SOPS 17880236 HAS SOUS 15819367 HAS SOUPS 15334694 WITH SCORE 1.5364507372E7
AT ITER 3846 NEW BEST:: SOT 43588308 SOS 29813264 HAS SOPS 17880020 HAS SOUS 15819151 HAS SOUPS 15334478 WITH SCORE 1.5364291264E7
AT ITER 3858 NEW BEST:: SOT 43587153 SOS 29812191 HAS SOPS 17876773 HAS SOUS 15815905 HAS SOUPS 15331232 WITH SCORE 1.5361044191E7
AT ITER 3862 NEW BEST:: SOT 43587491 SOS 29812529 HAS SOPS 17877540 HAS SOUS 15815482 HAS SOUPS 15330971 WITH SCORE 1.5360783529E7
AT ITER 3865 NEW BEST:: SOT 43587527 SOS 29835215 HAS SOPS 17876781 HAS SOUS 15815629 HAS SOUPS 15330212 WITH SCORE 1.5360047215E7
AT ITER 3867 NEW BEST:: SOT 43586975 SOS 29834663 HAS SOPS 17876229 HAS SOUS 15815077 HAS SOUPS 15329660 WITH SCORE 1.5359494663E7
AT ITER 3869 NEW BEST:: SOT 43586975 SOS 29841013 HAS SOPS 17876098 HAS SOUS 15815073 HAS SOUPS 15329529 WITH SCORE 1.5359370013E7
AT ITER 3875 NEW BEST:: SOT 43586975 SOS 29841013 HAS SOPS 17876065 HAS SOUS 15814906 HAS SOUPS 15329362 WITH SCORE 1.5359203013E7
AT ITER 3876 NEW BEST:: SOT 43584516 SOS 29838554 HAS SOPS 17868466 HAS SOUS 15808041 HAS SOUPS 15321763 WITH SCORE 1.5351601554E7
AT ITER 3881 NEW BEST:: SOT 43584516 SOS 29838554 HAS SOPS 17868446 HAS SOUS 15808021 HAS SOUPS 15321743 WITH SCORE 1.5351581554E7
AT ITER 3886 NEW BEST:: SOT 43584495 SOS 29838533 HAS SOPS 17868425 HAS SOUS 15808000 HAS SOUPS 15321722 WITH SCORE 1.5351560533E7
AT ITER 3893 NEW BEST:: SOT 43583441 SOS 29799535 HAS SOPS 17830481 HAS SOUS 15805173 HAS SOUPS 15318895 WITH SCORE 1.5348694535E7
AT ITER 3894 NEW BEST:: SOT 43582365 SOS 29798459 HAS SOPS 17829837 HAS SOUS 15804529 HAS SOUPS 15318251 WITH SCORE 1.5348049459E7
AT ITER 3895 NEW BEST:: SOT 43582265 SOS 29798359 HAS SOPS 17829737 HAS SOUS 15804429 HAS SOUPS 15318151 WITH SCORE 1.5347949359E7
AT ITER 3904 NEW BEST:: SOT 43580917 SOS 29797011 HAS SOPS 17826742 HAS SOUS 15801434 HAS SOUPS 15315156 WITH SCORE 1.5344953011E7
AT ITER 3905 NEW BEST:: SOT 43307250 SOS 29637560 HAS SOPS 17552409 HAS SOUS 15527855 HAS SOUPS 15041165 WITH SCORE 1.507080256E7
AT ITER 3906 NEW BEST:: SOT 43307079 SOS 29637389 HAS SOPS 17552408 HAS SOUS 15527513 HAS SOUPS 15040823 WITH SCORE 1.5070460389E7
AT ITER 3911 NEW BEST:: SOT 43305653 SOS 29635963 HAS SOPS 17551100 HAS SOUS 15526205 HAS SOUPS 15039515 WITH SCORE 1.5069150963E7
AT ITER 3916 NEW BEST:: SOT 43305785 SOS 29636095 HAS SOPS 17549272 HAS SOUS 15524553 HAS SOUPS 15037688 WITH SCORE 1.5067324095E7
AT ITER 3919 NEW BEST:: SOT 43305785 SOS 29636095 HAS SOPS 17549269 HAS SOUS 15524550 HAS SOUPS 15037685 WITH SCORE 1.5067321095E7
AT ITER 3921 NEW BEST:: SOT 43303772 SOS 29634082 HAS SOPS 17545176 HAS SOUS 15520458 HAS SOUPS 15033593 WITH SCORE 1.5063227082E7
AT ITER 3924 NEW BEST:: SOT 43303772 SOS 29634082 HAS SOPS 17544381 HAS SOUS 15519663 HAS SOUPS 15032798 WITH SCORE 1.5062432082E7
AT ITER 3935 NEW BEST:: SOT 43303606 SOS 29633916 HAS SOPS 17544381 HAS SOUS 15519663 HAS SOUPS 15032798 WITH SCORE 1.5062431916E7
AT ITER 3936 NEW BEST:: SOT 43302516 SOS 29632826 HAS SOPS 17539118 HAS SOUS 15515059 HAS SOUPS 15027537 WITH SCORE 1.5057169826E7
AT ITER 3937 NEW BEST:: SOT 43301754 SOS 29565053 HAS SOPS 17456717 HAS SOUS 15496250 HAS SOUPS 15008728 WITH SCORE 1.5038293053E7
AT ITER 3942 NEW BEST:: SOT 43300752 SOS 29526977 HAS SOPS 17419643 HAS SOUS 15494246 HAS SOUPS 15006724 WITH SCORE 1.5036250977E7
AT ITER 3946 NEW BEST:: SOT 43300668 SOS 29523785 HAS SOPS 17416703 HAS SOUS 15494246 HAS SOUPS 15006724 WITH SCORE 1.5036247785E7
AT ITER 3952 NEW BEST:: SOT 43300668 SOS 29523785 HAS SOPS 17416702 HAS SOUS 15493458 HAS SOUPS 15005936 WITH SCORE 1.5035459785E7
AT ITER 3956 NEW BEST:: SOT 43299846 SOS 29522963 HAS SOPS 17415880 HAS SOUS 15492636 HAS SOUPS 15005114 WITH SCORE 1.5034636963E7
AT ITER 3961 NEW BEST:: SOT 43299846 SOS 29522963 HAS SOPS 17415021 HAS SOUS 15491777 HAS SOUPS 15004255 WITH SCORE 1.5033777963E7
AT ITER 3966 NEW BEST:: SOT 43299846 SOS 29522963 HAS SOPS 17414903 HAS SOUS 15491659 HAS SOUPS 15004137 WITH SCORE 1.5033659963E7
AT ITER 3970 NEW BEST:: SOT 43298944 SOS 29522061 HAS SOPS 17413072 HAS SOUS 15489601 HAS SOUPS 15002079 WITH SCORE 1.5031601061E7
AT ITER 3971 NEW BEST:: SOT 43298793 SOS 29521910 HAS SOPS 17408385 HAS SOUS 15487241 HAS SOUPS 14997393 WITH SCORE 1.502691491E7
AT ITER 3975 NEW BEST:: SOT 43300107 SOS 29523224 HAS SOPS 17406965 HAS SOUS 15485408 HAS SOUPS 14995214 WITH SCORE 1.5024737224E7
AT ITER 3976 NEW BEST:: SOT 43300371 SOS 29523488 HAS SOPS 17403153 HAS SOUS 15482062 HAS SOUPS 14991404 WITH SCORE 1.5020927488E7
AT ITER 3985 NEW BEST:: SOT 43300371 SOS 29523488 HAS SOPS 17403153 HAS SOUS 15481802 HAS SOUPS 14991144 WITH SCORE 1.5020667488E7
AT ITER 3992 NEW BEST:: SOT 43299676 SOS 29518959 HAS SOPS 17378827 HAS SOUS 15459225 HAS SOUPS 14968567 WITH SCORE 1.4998085959E7
AT ITER 3996 NEW BEST:: SOT 43299302 SOS 29518585 HAS SOPS 17378079 HAS SOUS 15458477 HAS SOUPS 14967819 WITH SCORE 1.4997337585E7
AT ITER 4000 NEW BEST:: SOT 43298788 SOS 29518071 HAS SOPS 17377563 HAS SOUS 15457706 HAS SOUPS 14967048 WITH SCORE 1.4996566071E7
AT ITER 4011 NEW BEST:: SOT 43298916 SOS 29518199 HAS SOPS 17376750 HAS SOUS 15456887 HAS SOUPS 14966229 WITH SCORE 1.4995747199E7
AT ITER 4014 NEW BEST:: SOT 43298437 SOS 29517720 HAS SOPS 17375792 HAS SOUS 15455929 HAS SOUPS 14965271 WITH SCORE 1.499478872E7
AT ITER 4015 NEW BEST:: SOT 43298878 SOS 29518161 HAS SOPS 17379502 HAS SOUS 15455607 HAS SOUPS 14964949 WITH SCORE 1.4994467161E7
AT ITER 4032 NEW BEST:: SOT 43300921 SOS 29520204 HAS SOPS 17380495 HAS SOUS 15455568 HAS SOUPS 14964910 WITH SCORE 1.4994430204E7
AT ITER 4035 NEW BEST:: SOT 43301221 SOS 29520504 HAS SOPS 17379802 HAS SOUS 15454530 HAS SOUPS 14963872 WITH SCORE 1.4993392504E7
AT ITER 4036 NEW BEST:: SOT 43301225 SOS 29520508 HAS SOPS 17379311 HAS SOUS 15454039 HAS SOUPS 14963381 WITH SCORE 1.4992901508E7
AT ITER 4042 NEW BEST:: SOT 43300008 SOS 29519291 HAS SOPS 17375355 HAS SOUS 15451186 HAS SOUPS 14960198 WITH SCORE 1.4989717291E7
AT ITER 4054 NEW BEST:: SOT 43300293 SOS 29519576 HAS SOPS 17375309 HAS SOUS 15451141 HAS SOUPS 14960153 WITH SCORE 1.4989672576E7
AT ITER 4062 NEW BEST:: SOT 43300091 SOS 29519374 HAS SOPS 17375107 HAS SOUS 15450939 HAS SOUPS 14959951 WITH SCORE 1.4989470374E7
AT ITER 4064 NEW BEST:: SOT 43298628 SOS 29517911 HAS SOPS 17371087 HAS SOUS 15446370 HAS SOUPS 14955932 WITH SCORE 1.4985449911E7
AT ITER 4079 NEW BEST:: SOT 43297733 SOS 29517016 HAS SOPS 17368809 HAS SOUS 15444592 HAS SOUPS 14953966 WITH SCORE 1.4983483016E7
AT ITER 4082 NEW BEST:: SOT 43297326 SOS 29516609 HAS SOPS 17368401 HAS SOUS 15443778 HAS SOUPS 14953152 WITH SCORE 1.4982668609E7
AT ITER 4086 NEW BEST:: SOT 43295264 SOS 29514547 HAS SOPS 17364277 HAS SOUS 15440804 HAS SOUPS 14950178 WITH SCORE 1.4979692547E7
AT ITER 4088 NEW BEST:: SOT 43295851 SOS 29515134 HAS SOPS 17362542 HAS SOUS 15439070 HAS SOUPS 14948444 WITH SCORE 1.4977959134E7
AT ITER 4096 NEW BEST:: SOT 43295473 SOS 29514756 HAS SOPS 17362164 HAS SOUS 15438692 HAS SOUPS 14948066 WITH SCORE 1.4977580756E7
AT ITER 4100 NEW BEST:: SOT 43295409 SOS 29514692 HAS SOPS 17361908 HAS SOUS 15438500 HAS SOUPS 14947874 WITH SCORE 1.4977388692E7
AT ITER 4103 NEW BEST:: SOT 43295449 SOS 29514732 HAS SOPS 17361866 HAS SOUS 15438499 HAS SOUPS 14947832 WITH SCORE 1.4977346732E7
AT ITER 4126 NEW BEST:: SOT 43295449 SOS 29514732 HAS SOPS 17360710 HAS SOUS 15437343 HAS SOUPS 14946676 WITH SCORE 1.4976190732E7
AT ITER 4127 NEW BEST:: SOT 43294900 SOS 29514183 HAS SOPS 17359410 HAS SOUS 15436044 HAS SOUPS 14945377 WITH SCORE 1.4974891183E7
AT ITER 4132 NEW BEST:: SOT 43293016 SOS 29512299 HAS SOPS 17356667 HAS SOUS 15433761 HAS SOUPS 14942634 WITH SCORE 1.4972146299E7
AT ITER 4142 NEW BEST:: SOT 43292921 SOS 29512204 HAS SOPS 17356458 HAS SOUS 15433666 HAS SOUPS 14942539 WITH SCORE 1.4972051204E7
AT ITER 4155 NEW BEST:: SOT 43292122 SOS 29511405 HAS SOPS 17350608 HAS SOUS 15429253 HAS SOUPS 14938126 WITH SCORE 1.4967637405E7
AT ITER 4158 NEW BEST:: SOT 43292122 SOS 29511405 HAS SOPS 17349616 HAS SOUS 15428261 HAS SOUPS 14937134 WITH SCORE 1.4966645405E7
AT ITER 4169 NEW BEST:: SOT 43292321 SOS 29511604 HAS SOPS 17350285 HAS SOUS 15427575 HAS SOUPS 14936448 WITH SCORE 1.4965959604E7
AT ITER 4172 NEW BEST:: SOT 43291169 SOS 29510452 HAS SOPS 17347055 HAS SOUS 15424346 HAS SOUPS 14933219 WITH SCORE 1.4962729452E7
AT ITER 4180 NEW BEST:: SOT 43247526 SOS 29466809 HAS SOPS 17303412 HAS SOUS 15380703 HAS SOUPS 14889576 WITH SCORE 1.4919042809E7
AT ITER 4181 NEW BEST:: SOT 43247526 SOS 29466809 HAS SOPS 17304275 HAS SOUS 15379839 HAS SOUPS 14888712 WITH SCORE 1.4918178809E7
AT ITER 4194 NEW BEST:: SOT 43246860 SOS 29466143 HAS SOPS 17303165 HAS SOUS 15378765 HAS SOUPS 14887602 WITH SCORE 1.4917068143E7
AT ITER 4204 NEW BEST:: SOT 43246777 SOS 29466060 HAS SOPS 17303081 HAS SOUS 15378682 HAS SOUPS 14887519 WITH SCORE 1.491698506E7
AT ITER 4208 NEW BEST:: SOT 43246899 SOS 29466182 HAS SOPS 17299039 HAS SOUS 15374641 HAS SOUPS 14883478 WITH SCORE 1.4912944182E7
AT ITER 4211 NEW BEST:: SOT 43245160 SOS 29464443 HAS SOPS 17295224 HAS SOUS 15370827 HAS SOUPS 14879664 WITH SCORE 1.4909128443E7
AT ITER 4212 NEW BEST:: SOT 43246845 SOS 29466128 HAS SOPS 17293439 HAS SOUS 15369787 HAS SOUPS 14877935 WITH SCORE 1.4907401128E7
AT ITER 4215 NEW BEST:: SOT 43249080 SOS 29468873 HAS SOPS 17292061 HAS SOUS 15369126 HAS SOUPS 14876558 WITH SCORE 1.4906026873E7
AT ITER 4223 NEW BEST:: SOT 43249534 SOS 29469972 HAS SOPS 17291981 HAS SOUS 15369189 HAS SOUPS 14876478 WITH SCORE 1.4905947972E7
AT ITER 4226 NEW BEST:: SOT 43251916 SOS 29466791 HAS SOPS 17295697 HAS SOUS 15358156 HAS SOUPS 14865890 WITH SCORE 1.4895356791E7
AT ITER 4230 NEW BEST:: SOT 43251385 SOS 29466260 HAS SOPS 17291747 HAS SOUS 15355163 HAS SOUPS 14862897 WITH SCORE 1.489236326E7
AT ITER 4234 NEW BEST:: SOT 43250980 SOS 29465855 HAS SOPS 17290937 HAS SOUS 15354353 HAS SOUPS 14862087 WITH SCORE 1.4891552855E7
AT ITER 4242 NEW BEST:: SOT 43252006 SOS 29466881 HAS SOPS 17289967 HAS SOUS 15353383 HAS SOUPS 14861117 WITH SCORE 1.4890583881E7
AT ITER 4245 NEW BEST:: SOT 43249992 SOS 29464867 HAS SOPS 17285921 HAS SOUS 15349882 HAS SOUPS 14857071 WITH SCORE 1.4886535867E7
AT ITER 4246 NEW BEST:: SOT 43247912 SOS 29462787 HAS SOPS 17281753 HAS SOUS 15345715 HAS SOUPS 14852904 WITH SCORE 1.4882366787E7
AT ITER 4250 NEW BEST:: SOT 43246843 SOS 29461718 HAS SOPS 17279237 HAS SOUS 15343200 HAS SOUPS 14850389 WITH SCORE 1.4879850718E7
AT ITER 4255 NEW BEST:: SOT 43247829 SOS 29462704 HAS SOPS 17280222 HAS SOUS 15342917 HAS SOUPS 14850106 WITH SCORE 1.4879568704E7
AT ITER 4256 NEW BEST:: SOT 43248574 SOS 29463449 HAS SOPS 17279753 HAS SOUS 15342215 HAS SOUPS 14849404 WITH SCORE 1.4878867449E7
AT ITER 4261 NEW BEST:: SOT 43248471 SOS 29463346 HAS SOPS 17277960 HAS SOUS 15341808 HAS SOUPS 14847611 WITH SCORE 1.4877074346E7
AT ITER 4266 NEW BEST:: SOT 43248467 SOS 29463342 HAS SOPS 17278327 HAS SOUS 15341804 HAS SOUPS 14847607 WITH SCORE 1.4877070342E7
AT ITER 4267 NEW BEST:: SOT 43247546 SOS 29462421 HAS SOPS 17277406 HAS SOUS 15340883 HAS SOUPS 14846686 WITH SCORE 1.4876148421E7
AT ITER 4272 NEW BEST:: SOT 43246880 SOS 29461755 HAS SOPS 17271220 HAS SOUS 15335581 HAS SOUPS 14841384 WITH SCORE 1.4870845755E7
AT ITER 4275 NEW BEST:: SOT 43246550 SOS 29461425 HAS SOPS 17269424 HAS SOUS 15333193 HAS SOUPS 14838859 WITH SCORE 1.4868320425E7
AT ITER 4276 NEW BEST:: SOT 43246386 SOS 29461261 HAS SOPS 17269096 HAS SOUS 15332865 HAS SOUPS 14838531 WITH SCORE 1.4867992261E7
AT ITER 4278 NEW BEST:: SOT 43244350 SOS 29459225 HAS SOPS 17265004 HAS SOUS 15328774 HAS SOUPS 14834440 WITH SCORE 1.4863899225E7
AT ITER 4285 NEW BEST:: SOT 43242375 SOS 29457358 HAS SOPS 17260095 HAS SOUS 15325530 HAS SOUPS 14830899 WITH SCORE 1.4860356358E7
AT ITER 4286 NEW BEST:: SOT 43242317 SOS 29457300 HAS SOPS 17259979 HAS SOUS 15325472 HAS SOUPS 14830783 WITH SCORE 1.48602403E7
AT ITER 4291 NEW BEST:: SOT 43241202 SOS 29456185 HAS SOPS 17257749 HAS SOUS 15323243 HAS SOUPS 14828554 WITH SCORE 1.4858010185E7
AT ITER 4296 NEW BEST:: SOT 43239826 SOS 29454809 HAS SOPS 17254734 HAS SOUS 15320229 HAS SOUPS 14825540 WITH SCORE 1.4854994809E7
AT ITER 4298 NEW BEST:: SOT 43241189 SOS 29524504 HAS SOPS 17251580 HAS SOUS 15318648 HAS SOUPS 14822386 WITH SCORE 1.4851910504E7
AT ITER 4308 NEW BEST:: SOT 43241521 SOS 29524836 HAS SOPS 17249881 HAS SOUS 15316605 HAS SOUPS 14820275 WITH SCORE 1.4849799836E7
AT ITER 4309 NEW BEST:: SOT 43241329 SOS 29524644 HAS SOPS 17249881 HAS SOUS 15316605 HAS SOUPS 14820275 WITH SCORE 1.4849799644E7
AT ITER 4313 NEW BEST:: SOT 43240625 SOS 29523940 HAS SOPS 17249758 HAS SOUS 15316097 HAS SOUPS 14819767 WITH SCORE 1.484929094E7
AT ITER 4320 NEW BEST:: SOT 43241602 SOS 29524917 HAS SOPS 17249716 HAS SOUS 15315842 HAS SOUPS 14819512 WITH SCORE 1.4849036917E7
AT ITER 4322 NEW BEST:: SOT 43240196 SOS 29523511 HAS SOPS 17248444 HAS SOUS 15314570 HAS SOUPS 14818240 WITH SCORE 1.4847763511E7
AT ITER 4324 NEW BEST:: SOT 43240284 SOS 29523599 HAS SOPS 17248279 HAS SOUS 15314405 HAS SOUPS 14818075 WITH SCORE 1.4847598599E7
AT ITER 4327 NEW BEST:: SOT 43240178 SOS 29523493 HAS SOPS 17248173 HAS SOUS 15314299 HAS SOUPS 14817969 WITH SCORE 1.4847492493E7
AT ITER 4329 NEW BEST:: SOT 43240591 SOS 29523906 HAS SOPS 17247591 HAS SOUS 15313884 HAS SOUPS 14817554 WITH SCORE 1.4847077906E7
AT ITER 4330 NEW BEST:: SOT 43239201 SOS 29522516 HAS SOPS 17246201 HAS SOUS 15312494 HAS SOUPS 14816164 WITH SCORE 1.4845686516E7
AT ITER 4332 NEW BEST:: SOT 43238189 SOS 29521504 HAS SOPS 17244177 HAS SOUS 15310471 HAS SOUPS 14814141 WITH SCORE 1.4843662504E7
AT ITER 4340 NEW BEST:: SOT 43238910 SOS 29522225 HAS SOPS 17243892 HAS SOUS 15310045 HAS SOUPS 14813715 WITH SCORE 1.4843237225E7
AT ITER 4346 NEW BEST:: SOT 43240744 SOS 29524059 HAS SOPS 17244918 HAS SOUS 15308485 HAS SOUPS 14812155 WITH SCORE 1.4841679059E7
AT ITER 4351 NEW BEST:: SOT 43240571 SOS 29523886 HAS SOPS 17244572 HAS SOUS 15308138 HAS SOUPS 14811808 WITH SCORE 1.4841331886E7
AT ITER 4357 NEW BEST:: SOT 43240496 SOS 29523811 HAS SOPS 17244221 HAS SOUS 15307788 HAS SOUPS 14811458 WITH SCORE 1.4840981811E7
AT ITER 4358 NEW BEST:: SOT 43240439 SOS 29523754 HAS SOPS 17244107 HAS SOUS 15307674 HAS SOUPS 14811344 WITH SCORE 1.4840867754E7
AT ITER 4359 NEW BEST:: SOT 43240871 SOS 29524186 HAS SOPS 17240801 HAS SOUS 15304560 HAS SOUPS 14808039 WITH SCORE 1.4837563186E7
AT ITER 4360 NEW BEST:: SOT 43240842 SOS 29524128 HAS SOPS 17240743 HAS SOUS 15304502 HAS SOUPS 14807981 WITH SCORE 1.4837505128E7
AT ITER 4364 NEW BEST:: SOT 43239579 SOS 29522865 HAS SOPS 17239386 HAS SOUS 15302676 HAS SOUPS 14806624 WITH SCORE 1.4836146865E7
AT ITER 4366 NEW BEST:: SOT 43239494 SOS 29522780 HAS SOPS 17237971 HAS SOUS 15301431 HAS SOUPS 14805379 WITH SCORE 1.483490178E7
AT ITER 4368 NEW BEST:: SOT 43241992 SOS 29525278 HAS SOPS 17237433 HAS SOUS 15300944 HAS SOUPS 14804842 WITH SCORE 1.4834367278E7
AT ITER 4385 NEW BEST:: SOT 43241557 SOS 29524843 HAS SOPS 17236563 HAS SOUS 15300250 HAS SOUPS 14803972 WITH SCORE 1.4833496843E7
AT ITER 4395 NEW BEST:: SOT 43240593 SOS 29523879 HAS SOPS 17236563 HAS SOUS 15299955 HAS SOUPS 14803972 WITH SCORE 1.4833495879E7
AT ITER 4397 NEW BEST:: SOT 43240012 SOS 29523298 HAS SOPS 17232712 HAS SOUS 15296868 HAS SOUPS 14800456 WITH SCORE 1.4829979298E7
AT ITER 4400 NEW BEST:: SOT 43239853 SOS 29523139 HAS SOPS 17232341 HAS SOUS 15296497 HAS SOUPS 14800085 WITH SCORE 1.4829608139E7
AT ITER 4406 NEW BEST:: SOT 43239823 SOS 29523268 HAS SOPS 17232281 HAS SOUS 15297336 HAS SOUPS 14800025 WITH SCORE 1.4829548268E7
AT ITER 4407 NEW BEST:: SOT 43238420 SOS 29521865 HAS SOPS 17232280 HAS SOUS 15297336 HAS SOUPS 14800025 WITH SCORE 1.4829546865E7
AT ITER 4410 NEW BEST:: SOT 43238265 SOS 29521710 HAS SOPS 17230563 HAS SOUS 15296283 HAS SOUPS 14798618 WITH SCORE 1.482813971E7
AT ITER 4413 NEW BEST:: SOT 43239224 SOS 29522669 HAS SOPS 17229868 HAS SOUS 15295922 HAS SOUPS 14797924 WITH SCORE 1.4827446669E7
AT ITER 4414 NEW BEST:: SOT 43238946 SOS 29522391 HAS SOPS 17229590 HAS SOUS 15295644 HAS SOUPS 14797646 WITH SCORE 1.4827168391E7
AT ITER 4417 NEW BEST:: SOT 43238763 SOS 29522208 HAS SOPS 17225894 HAS SOUS 15291402 HAS SOUPS 14793404 WITH SCORE 1.4822926208E7
AT ITER 4423 NEW BEST:: SOT 43238408 SOS 29521853 HAS SOPS 17224829 HAS SOUS 15290337 HAS SOUPS 14792339 WITH SCORE 1.4821860853E7
AT ITER 4440 NEW BEST:: SOT 43238044 SOS 29521489 HAS SOPS 17224101 HAS SOUS 15289609 HAS SOUPS 14791611 WITH SCORE 1.4821132489E7
AT ITER 4446 NEW BEST:: SOT 43237926 SOS 29521371 HAS SOPS 17223787 HAS SOUS 15289295 HAS SOUPS 14791297 WITH SCORE 1.4820818371E7
AT ITER 4447 NEW BEST:: SOT 43238145 SOS 29521590 HAS SOPS 17222597 HAS SOUS 15287734 HAS SOUPS 14789736 WITH SCORE 1.481925759E7
AT ITER 4468 NEW BEST:: SOT 43237150 SOS 29520595 HAS SOPS 17219512 HAS SOUS 15286304 HAS SOUPS 14788306 WITH SCORE 1.4817826595E7
AT ITER 4470 NEW BEST:: SOT 43235656 SOS 29519101 HAS SOPS 17213920 HAS SOUS 15282481 HAS SOUPS 14784016 WITH SCORE 1.4813535101E7
AT ITER 4472 NEW BEST:: SOT 43234313 SOS 29517758 HAS SOPS 17210683 HAS SOUS 15279245 HAS SOUPS 14780780 WITH SCORE 1.4810297758E7
AT ITER 4476 NEW BEST:: SOT 43234099 SOS 29517544 HAS SOPS 17210469 HAS SOUS 15279066 HAS SOUPS 14780566 WITH SCORE 1.4810083544E7
AT ITER 4480 NEW BEST:: SOT 43233896 SOS 29515764 HAS SOPS 17208566 HAS SOUS 15277621 HAS SOUPS 14779121 WITH SCORE 1.4808636764E7
AT ITER 4482 NEW BEST:: SOT 43233036 SOS 29514904 HAS SOPS 17207706 HAS SOUS 15276761 HAS SOUPS 14778261 WITH SCORE 1.4807775904E7
AT ITER 4484 NEW BEST:: SOT 43231750 SOS 29513618 HAS SOPS 17203046 HAS SOUS 15272358 HAS SOUPS 14773601 WITH SCORE 1.4803114618E7
AT ITER 4490 NEW BEST:: SOT 43231750 SOS 29513618 HAS SOPS 17202435 HAS SOUS 15271747 HAS SOUPS 14772990 WITH SCORE 1.4802503618E7
AT ITER 4496 NEW BEST:: SOT 43231729 SOS 29513597 HAS SOPS 17202434 HAS SOUS 15271747 HAS SOUPS 14772990 WITH SCORE 1.4802503597E7
AT ITER 4504 NEW BEST:: SOT 43232326 SOS 29514194 HAS SOPS 17199904 HAS SOUS 15270362 HAS SOUPS 14771605 WITH SCORE 1.4801119194E7
AT ITER 4508 NEW BEST:: SOT 43230921 SOS 29512789 HAS SOPS 17198262 HAS SOUS 15268720 HAS SOUPS 14769963 WITH SCORE 1.4799475789E7
AT ITER 4509 NEW BEST:: SOT 43230054 SOS 29511922 HAS SOPS 17194365 HAS SOUS 15265973 HAS SOUPS 14766933 WITH SCORE 1.4796444922E7
AT ITER 4513 NEW BEST:: SOT 43229793 SOS 29511661 HAS SOPS 17193843 HAS SOUS 15265451 HAS SOUPS 14766411 WITH SCORE 1.4795922661E7
AT ITER 4516 NEW BEST:: SOT 43229788 SOS 29511656 HAS SOPS 17193832 HAS SOUS 15265441 HAS SOUPS 14766401 WITH SCORE 1.4795912656E7
AT ITER 4518 NEW BEST:: SOT 43229534 SOS 29511402 HAS SOPS 17193618 HAS SOUS 15265227 HAS SOUPS 14766187 WITH SCORE 1.4795698402E7
AT ITER 4523 NEW BEST:: SOT 43229069 SOS 29510937 HAS SOPS 17193119 HAS SOUS 15261842 HAS SOUPS 14762802 WITH SCORE 1.4792312937E7
AT ITER 4531 NEW BEST:: SOT 43228370 SOS 29510238 HAS SOPS 17190328 HAS SOUS 15259285 HAS SOUPS 14760245 WITH SCORE 1.4789755238E7
AT ITER 4532 NEW BEST:: SOT 43228370 SOS 29457576 HAS SOPS 17139158 HAS SOUS 15259285 HAS SOUPS 14760245 WITH SCORE 1.4789702576E7
AT ITER 4535 NEW BEST:: SOT 43225468 SOS 29454674 HAS SOPS 17135463 HAS SOUS 15257312 HAS SOUPS 14758272 WITH SCORE 1.4787726674E7
AT ITER 4537 NEW BEST:: SOT 43225314 SOS 29454520 HAS SOPS 17135154 HAS SOUS 15257004 HAS SOUPS 14757964 WITH SCORE 1.478741852E7
AT ITER 4549 NEW BEST:: SOT 43224148 SOS 29453354 HAS SOPS 17128260 HAS SOUS 15251716 HAS SOUPS 14752676 WITH SCORE 1.4782129354E7
AT ITER 4560 NEW BEST:: SOT 43223924 SOS 29453130 HAS SOPS 17128016 HAS SOUS 15251473 HAS SOUPS 14752433 WITH SCORE 1.478188613E7
AT ITER 4564 NEW BEST:: SOT 43223666 SOS 29452872 HAS SOPS 17127521 HAS SOUS 15250905 HAS SOUPS 14751865 WITH SCORE 1.4781317872E7
AT ITER 4566 NEW BEST:: SOT 43224425 SOS 29453631 HAS SOPS 17126507 HAS SOUS 15248794 HAS SOUPS 14749754 WITH SCORE 1.4779207631E7
AT ITER 4575 NEW BEST:: SOT 43227996 SOS 29454896 HAS SOPS 17121279 HAS SOUS 15245507 HAS SOUPS 14746467 WITH SCORE 1.4775921896E7
AT ITER 4576 NEW BEST:: SOT 43227953 SOS 29454853 HAS SOPS 17121193 HAS SOUS 15245163 HAS SOUPS 14746381 WITH SCORE 1.4775835853E7
AT ITER 4582 NEW BEST:: SOT 43227519 SOS 29454419 HAS SOPS 17121193 HAS SOUS 15245163 HAS SOUPS 14746381 WITH SCORE 1.4775835419E7
AT ITER 4583 NEW BEST:: SOT 43226993 SOS 29453680 HAS SOPS 17120141 HAS SOUS 15244111 HAS SOUPS 14745329 WITH SCORE 1.477478268E7
AT ITER 4605 NEW BEST:: SOT 43226473 SOS 29453160 HAS SOPS 17118861 HAS SOUS 15243764 HAS SOUPS 14744982 WITH SCORE 1.477443516E7
AT ITER 4606 NEW BEST:: SOT 43226538 SOS 29453225 HAS SOPS 17118289 HAS SOUS 15243192 HAS SOUPS 14744410 WITH SCORE 1.4773863225E7
AT ITER 4607 NEW BEST:: SOT 43226084 SOS 29452886 HAS SOPS 17116995 HAS SOUS 15242322 HAS SOUPS 14743116 WITH SCORE 1.4772568886E7
AT ITER 4614 NEW BEST:: SOT 43226396 SOS 29453198 HAS SOPS 17114443 HAS SOUS 15240236 HAS SOUPS 14741030 WITH SCORE 1.4770483198E7
AT ITER 4627 NEW BEST:: SOT 43226236 SOS 29453038 HAS SOPS 17114019 HAS SOUS 15239812 HAS SOUPS 14740606 WITH SCORE 1.4770059038E7
AT ITER 4628 NEW BEST:: SOT 43226157 SOS 29452959 HAS SOPS 17113940 HAS SOUS 15239733 HAS SOUPS 14740527 WITH SCORE 1.4769979959E7
AT ITER 4634 NEW BEST:: SOT 43226085 SOS 29452887 HAS SOPS 17113724 HAS SOUS 15239517 HAS SOUPS 14740311 WITH SCORE 1.4769763887E7
AT ITER 4651 NEW BEST:: SOT 43224515 SOS 29451488 HAS SOPS 17110551 HAS SOUS 15236345 HAS SOUPS 14737139 WITH SCORE 1.4766590488E7
AT ITER 4658 NEW BEST:: SOT 43224148 SOS 29450754 HAS SOPS 17109817 HAS SOUS 15235611 HAS SOUPS 14736405 WITH SCORE 1.4765855754E7
AT ITER 4667 NEW BEST:: SOT 43223570 SOS 29450176 HAS SOPS 17107945 HAS SOUS 15233739 HAS SOUPS 14734533 WITH SCORE 1.4763983176E7
AT ITER 4673 NEW BEST:: SOT 43221569 SOS 29448175 HAS SOPS 17103943 HAS SOUS 15230587 HAS SOUPS 14730532 WITH SCORE 1.4759980175E7
AT ITER 4683 NEW BEST:: SOT 43221465 SOS 29448071 HAS SOPS 17103735 HAS SOUS 15230483 HAS SOUPS 14730324 WITH SCORE 1.4759772071E7
AT ITER 4689 NEW BEST:: SOT 43222044 SOS 29448650 HAS SOPS 17103579 HAS SOUS 15229406 HAS SOUPS 14729247 WITH SCORE 1.475869565E7
AT ITER 4699 NEW BEST:: SOT 43220409 SOS 29447015 HAS SOPS 17100308 HAS SOUS 15227393 HAS SOUPS 14725977 WITH SCORE 1.4755424015E7
AT ITER 4704 NEW BEST:: SOT 43220888 SOS 29447494 HAS SOPS 17098964 HAS SOUS 15226050 HAS SOUPS 14724634 WITH SCORE 1.4754081494E7
AT ITER 4708 NEW BEST:: SOT 43220611 SOS 29447217 HAS SOPS 17099767 HAS SOUS 15225773 HAS SOUPS 14724357 WITH SCORE 1.4753804217E7
AT ITER 4712 NEW BEST:: SOT 43220522 SOS 29447392 HAS SOPS 17098445 HAS SOUS 15224452 HAS SOUPS 14723036 WITH SCORE 1.4752483392E7
AT ITER 4716 NEW BEST:: SOT 43220475 SOS 29447345 HAS SOPS 17098351 HAS SOUS 15224358 HAS SOUPS 14722942 WITH SCORE 1.4752389345E7
AT ITER 4723 NEW BEST:: SOT 43219775 SOS 29446645 HAS SOPS 17096951 HAS SOUS 15222958 HAS SOUPS 14721542 WITH SCORE 1.4750988645E7
AT ITER 4733 NEW BEST:: SOT 43219797 SOS 29446667 HAS SOPS 17096923 HAS SOUS 15222930 HAS SOUPS 14721514 WITH SCORE 1.4750960667E7
AT ITER 4734 NEW BEST:: SOT 43217999 SOS 29444869 HAS SOPS 17093225 HAS SOUS 15219771 HAS SOUPS 14718355 WITH SCORE 1.4747799869E7
AT ITER 4764 NEW BEST:: SOT 43217999 SOS 29444869 HAS SOPS 17093014 HAS SOUS 15219560 HAS SOUPS 14718144 WITH SCORE 1.4747588869E7
AT ITER 4771 NEW BEST:: SOT 43219626 SOS 29446496 HAS SOPS 17092513 HAS SOUS 15219651 HAS SOUPS 14717643 WITH SCORE 1.4747089496E7
AT ITER 4778 NEW BEST:: SOT 43219193 SOS 29446063 HAS SOPS 17091647 HAS SOUS 15218785 HAS SOUPS 14716777 WITH SCORE 1.4746223063E7
AT ITER 4780 NEW BEST:: SOT 43218604 SOS 29419026 HAS SOPS 17055651 HAS SOUS 15207366 HAS SOUPS 14705358 WITH SCORE 1.4734777026E7
AT ITER 4782 NEW BEST:: SOT 43218456 SOS 29418878 HAS SOPS 17055816 HAS SOUS 15207300 HAS SOUPS 14705292 WITH SCORE 1.4734710878E7
AT ITER 4784 NEW BEST:: SOT 43216743 SOS 29417165 HAS SOPS 17051665 HAS SOUS 15203502 HAS SOUPS 14701494 WITH SCORE 1.4730911165E7
AT ITER 4787 NEW BEST:: SOT 43216723 SOS 29417145 HAS SOPS 17051665 HAS SOUS 15203502 HAS SOUPS 14701494 WITH SCORE 1.4730911145E7
AT ITER 4790 NEW BEST:: SOT 43216082 SOS 29416504 HAS SOPS 17051665 HAS SOUS 15203502 HAS SOUPS 14701494 WITH SCORE 1.4730910504E7
AT ITER 4793 NEW BEST:: SOT 43215558 SOS 29415980 HAS SOPS 17048364 HAS SOUS 15200202 HAS SOUPS 14698194 WITH SCORE 1.472760998E7
AT ITER 4801 NEW BEST:: SOT 43217432 SOS 29417854 HAS SOPS 17048767 HAS SOUS 15199473 HAS SOUPS 14697465 WITH SCORE 1.4726882854E7
AT ITER 4804 NEW BEST:: SOT 43219007 SOS 29419429 HAS SOPS 17046745 HAS SOUS 15199052 HAS SOUPS 14696421 WITH SCORE 1.4725840429E7
AT ITER 4816 NEW BEST:: SOT 43218272 SOS 29418694 HAS SOPS 17045802 HAS SOUS 15198449 HAS SOUPS 14695818 WITH SCORE 1.4725236694E7
AT ITER 4817 NEW BEST:: SOT 43218168 SOS 29420067 HAS SOPS 17045562 HAS SOUS 15198210 HAS SOUPS 14695579 WITH SCORE 1.4724999067E7
AT ITER 4822 NEW BEST:: SOT 43217806 SOS 29419705 HAS SOPS 17045412 HAS SOUS 15198060 HAS SOUPS 14695429 WITH SCORE 1.4724848705E7
AT ITER 4832 NEW BEST:: SOT 43217293 SOS 29419192 HAS SOPS 17045016 HAS SOUS 15197664 HAS SOUPS 14695033 WITH SCORE 1.4724452192E7
AT ITER 4835 NEW BEST:: SOT 43216826 SOS 29418725 HAS SOPS 17040356 HAS SOUS 15193791 HAS SOUPS 14691160 WITH SCORE 1.4720578725E7
AT ITER 4845 NEW BEST:: SOT 43218911 SOS 29414410 HAS SOPS 17043777 HAS SOUS 15181199 HAS SOUPS 14679049 WITH SCORE 1.470846341E7
AT ITER 4846 NEW BEST:: SOT 43218425 SOS 29413683 HAS SOPS 17042805 HAS SOUS 15180227 HAS SOUPS 14678077 WITH SCORE 1.4707490683E7
AT ITER 4860 NEW BEST:: SOT 43218209 SOS 29413467 HAS SOPS 17042373 HAS SOUS 15179924 HAS SOUPS 14677645 WITH SCORE 1.4707058467E7
AT ITER 4870 NEW BEST:: SOT 43216382 SOS 29411640 HAS SOPS 17038719 HAS SOUS 15176270 HAS SOUPS 14673991 WITH SCORE 1.470340264E7
AT ITER 4882 NEW BEST:: SOT 43217765 SOS 29413023 HAS SOPS 17037795 HAS SOUS 15175975 HAS SOUPS 14673068 WITH SCORE 1.4702481023E7
AT ITER 4886 NEW BEST:: SOT 43217747 SOS 29413005 HAS SOPS 17037287 HAS SOUS 15175940 HAS SOUPS 14673033 WITH SCORE 1.4702446005E7
AT ITER 4887 NEW BEST:: SOT 43217085 SOS 29412343 HAS SOPS 17037540 HAS SOUS 15174624 HAS SOUPS 14671717 WITH SCORE 1.4701129343E7
AT ITER 4894 NEW BEST:: SOT 43217017 SOS 29412275 HAS SOPS 17037540 HAS SOUS 15174624 HAS SOUPS 14671717 WITH SCORE 1.4701129275E7
AT ITER 4895 NEW BEST:: SOT 43214129 SOS 29409387 HAS SOPS 17034652 HAS SOUS 15171736 HAS SOUPS 14668829 WITH SCORE 1.4698238387E7
AT ITER 4896 NEW BEST:: SOT 43213260 SOS 29408790 HAS SOPS 17030293 HAS SOUS 15168967 HAS SOUPS 14665139 WITH SCORE 1.469454779E7
AT ITER 4898 NEW BEST:: SOT 43212939 SOS 29408469 HAS SOPS 17029651 HAS SOUS 15168325 HAS SOUPS 14664497 WITH SCORE 1.4693905469E7
AT ITER 4906 NEW BEST:: SOT 43217749 SOS 29413834 HAS SOPS 17029102 HAS SOUS 15173919 HAS SOUPS 14663948 WITH SCORE 1.4693361834E7
AT ITER 4910 NEW BEST:: SOT 43217707 SOS 29413792 HAS SOPS 17029018 HAS SOUS 15173841 HAS SOUPS 14663864 WITH SCORE 1.4693277792E7
AT ITER 4912 NEW BEST:: SOT 43217127 SOS 29413212 HAS SOPS 17028374 HAS SOUS 15173198 HAS SOUPS 14663221 WITH SCORE 1.4692634212E7
AT ITER 4915 NEW BEST:: SOT 43216710 SOS 29412795 HAS SOPS 17026438 HAS SOUS 15171263 HAS SOUPS 14661286 WITH SCORE 1.4690698795E7
AT ITER 4917 NEW BEST:: SOT 43216710 SOS 29412795 HAS SOPS 17026287 HAS SOUS 15171263 HAS SOUPS 14661135 WITH SCORE 1.4690547795E7
AT ITER 4927 NEW BEST:: SOT 43216329 SOS 29413237 HAS SOPS 17024896 HAS SOUS 15169873 HAS SOUPS 14659745 WITH SCORE 1.4689158237E7
AT ITER 4930 NEW BEST:: SOT 43216739 SOS 29413647 HAS SOPS 17024045 HAS SOUS 15169126 HAS SOUPS 14658894 WITH SCORE 1.4688307647E7
AT ITER 4933 NEW BEST:: SOT 43215066 SOS 29411974 HAS SOPS 17020336 HAS SOUS 15165418 HAS SOUPS 14655186 WITH SCORE 1.4684597974E7
AT ITER 4934 NEW BEST:: SOT 43214837 SOS 29411745 HAS SOPS 17019878 HAS SOUS 15164821 HAS SOUPS 14654589 WITH SCORE 1.4684000745E7
AT ITER 4935 NEW BEST:: SOT 43214338 SOS 29411246 HAS SOPS 17019289 HAS SOUS 15164232 HAS SOUPS 14654000 WITH SCORE 1.4683411246E7
AT ITER 4937 NEW BEST:: SOT 43213980 SOS 29410890 HAS SOPS 17019228 HAS SOUS 15164171 HAS SOUPS 14653939 WITH SCORE 1.468334989E7
AT ITER 4940 NEW BEST:: SOT 43213980 SOS 29410890 HAS SOPS 17016499 HAS SOUS 15161442 HAS SOUPS 14651210 WITH SCORE 1.468062089E7
AT ITER 4943 NEW BEST:: SOT 43213831 SOS 29410741 HAS SOPS 17016200 HAS SOUS 15161144 HAS SOUPS 14650912 WITH SCORE 1.4680322741E7
AT ITER 4944 NEW BEST:: SOT 43211734 SOS 29408644 HAS SOPS 17010291 HAS SOUS 15157208 HAS SOUPS 14646976 WITH SCORE 1.4676384644E7
AT ITER 4971 NEW BEST:: SOT 43210358 SOS 29407268 HAS SOPS 17003594 HAS SOUS 15151778 HAS SOUPS 14641243 WITH SCORE 1.4670650268E7
AT ITER 4975 NEW BEST:: SOT 43209653 SOS 29406563 HAS SOPS 17002611 HAS SOUS 15150795 HAS SOUPS 14640260 WITH SCORE 1.4669666563E7
AT ITER 4979 NEW BEST:: SOT 43208516 SOS 29405426 HAS SOPS 17000337 HAS SOUS 15149194 HAS SOUPS 14637986 WITH SCORE 1.4667391426E7
AT ITER 4989 NEW BEST:: SOT 43208787 SOS 29405697 HAS SOPS 16998401 HAS SOUS 15147272 HAS SOUPS 14636064 WITH SCORE 1.4665469697E7
AT ITER 4991 NEW BEST:: SOT 43208294 SOS 29405204 HAS SOPS 16997415 HAS SOUS 15147198 HAS SOUPS 14635078 WITH SCORE 1.4664483204E7
AT ITER 4992 NEW BEST:: SOT 43207929 SOS 29404839 HAS SOPS 16996685 HAS SOUS 15146468 HAS SOUPS 14634348 WITH SCORE 1.4663752839E7
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BART-PT-050-CTLCardinality-00 ( (! (AG( potential( (tk(P1456)) <= (tk(P5654)) )))) | ( ( ( ( potential( (tk(P1203)) <= (tk(P231)) ) | potential( ( 3 ) <= (tk(P1915)) ) ) & ( potential( (tk(P779)) <= (tk(P5191)) ) & potential( ( 2 ) <= (tk(P1564)) ) ) ) & potential( (tk(P5796)) <= (tk(P6316)) ) ) & (EG( ( potential( (tk(P2577)) <= (tk(P1230)) ) & potential( (tk(P4557)) <= (tk(P974)) ) ))) ) )
PROPERTY: BART-PT-050-CTLCardinality-01 ( (! (EG( potential( (tk(P3199)) <= (tk(P4015)) )))) & (AX( ( potential( ( 1 ) <= (tk(P1772)) ) | ( potential( ( 1 ) <= (tk(P280)) ) | potential( (tk(P910)) <= (tk(P4696)) ) ) ))) )
PROPERTY: BART-PT-050-CTLCardinality-02 (! (! (EU( potential( (tk(P5388)) <= (tk(P313)) ),potential( ( 2 ) <= (tk(P1112)) ) ))))
PROPERTY: BART-PT-050-CTLCardinality-03 ( (! (EF((! potential( (tk(P2003)) <= (tk(P3641)) ))))) & (AF(( ( potential( ( 1 ) <= (tk(P4875)) ) | potential( (tk(P520)) <= (tk(P6137)) ) ) | ( potential( ( 2 ) <= (tk(P646)) ) | potential( ( 2 ) <= (tk(P999)) ) ) ))) )
PROPERTY: BART-PT-050-CTLCardinality-04 (! (EX( (AX( potential( ( 2 ) <= (tk(P6336)) ))))))
PROPERTY: BART-PT-050-CTLCardinality-05 (AF(potential( ( 1 ) <= (tk(P3140)) )))
PROPERTY: BART-PT-050-CTLCardinality-06 ( (EF((AF(potential( ( 1 ) <= (tk(P4486)) ))))) & (AF((AF(potential( (tk(P4969)) <= (tk(P2652)) ))))) )
PROPERTY: BART-PT-050-CTLCardinality-07 (! (! (EU( potential( (tk(P4611)) <= (tk(P6385)) ),potential( ( 2 ) <= (tk(P4241)) ) ))))
PROPERTY: BART-PT-050-CTLCardinality-08 (! (EF(potential( ( 2 ) <= (tk(P1657)) ))))
PROPERTY: BART-PT-050-CTLCardinality-09 (AX( (EU( potential( (tk(P5923)) <= (tk(P4224)) ),potential( (tk(P2537)) <= (tk(P5770)) ) ))))
PROPERTY: BART-PT-050-CTLCardinality-10 (EG( ( ( ( potential( ( 1 ) <= (tk(P5054)) ) & potential( (tk(P1370)) <= (tk(P6235)) ) ) & (! potential( ( 2 ) <= (tk(P5427)) )) ) | (EX( potential( (tk(P4307)) <= (tk(P5432)) ))) )))
PROPERTY: BART-PT-050-CTLCardinality-11 (AF(( ( ( potential( (tk(P5720)) <= (tk(P6673)) ) | potential( ( 1 ) <= (tk(P1820)) ) ) & (! potential( (tk(P2111)) <= (tk(P5407)) )) ) & ( potential( ( 1 ) <= (tk(P121)) ) | potential( (tk(P5867)) <= (tk(P4390)) ) ) )))
PROPERTY: BART-PT-050-CTLCardinality-12 (AG( (! (! ( potential( ( 3 ) <= (tk(P4509)) ) | potential( (tk(P6439)) <= (tk(P6671)) ) )))))
PROPERTY: BART-PT-050-CTLCardinality-13 (AF(( (EG( potential( (tk(P4788)) <= (tk(P369)) ))) & potential( ( 2 ) <= (tk(P5722)) ) )))
PROPERTY: BART-PT-050-CTLCardinality-14 ( ( potential( ( 1 ) <= (tk(P5817)) ) & ( ( ( potential( (tk(P5110)) <= (tk(P1371)) ) | potential( ( 1 ) <= (tk(P1220)) ) ) | ( potential( (tk(P3229)) <= (tk(P5245)) ) | potential( ( 1 ) <= (tk(P5021)) ) ) ) & ( (! potential( (tk(P1600)) <= (tk(P6794)) )) | potential( ( 1 ) <= (tk(P5865)) ) ) ) ) | (AF((EG( potential( (tk(P4395)) <= (tk(P627)) ))))) )
PROPERTY: BART-PT-050-CTLCardinality-15 (AG( ( (! potential( (tk(P4126)) <= (tk(P123)) )) | (! ( potential( ( 1 ) <= (tk(P3654)) ) & potential( (tk(P2109)) <= (tk(P4760)) ) )) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-050"
export BK_EXAMINATION="CTLCardinality"
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 BART-PT-050, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897679500115"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-050.tgz
mv BART-PT-050 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;