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-158897679500107.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-040, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500107
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-rw-r--r-- 1 mcc users 4.4K Apr 15 13:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 15 13:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 15 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:35 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 945K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.5M Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.7M Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Apr 15 13:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 9.5M 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-040-CTLCardinality-00
FORMULA_NAME BART-PT-040-CTLCardinality-01
FORMULA_NAME BART-PT-040-CTLCardinality-02
FORMULA_NAME BART-PT-040-CTLCardinality-03
FORMULA_NAME BART-PT-040-CTLCardinality-04
FORMULA_NAME BART-PT-040-CTLCardinality-05
FORMULA_NAME BART-PT-040-CTLCardinality-06
FORMULA_NAME BART-PT-040-CTLCardinality-07
FORMULA_NAME BART-PT-040-CTLCardinality-08
FORMULA_NAME BART-PT-040-CTLCardinality-09
FORMULA_NAME BART-PT-040-CTLCardinality-10
FORMULA_NAME BART-PT-040-CTLCardinality-11
FORMULA_NAME BART-PT-040-CTLCardinality-12
FORMULA_NAME BART-PT-040-CTLCardinality-13
FORMULA_NAME BART-PT-040-CTLCardinality-14
FORMULA_NAME BART-PT-040-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589012478125

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 040
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: 5490 places, 8080 transitions, 64800 arcs.
AT ITER 0 NEW BEST:: SOT 31726032 SOS 20962474 HAS SOPS 16343565 HAS SOUS 14680435 HAS SOUPS 14485925 WITH SCORE 1.4506887474E7
AT ITER 8 NEW BEST:: SOT 31726032 SOS 20962474 HAS SOPS 16341910 HAS SOUS 14677595 HAS SOUPS 14482609 WITH SCORE 1.4503571474E7
AT ITER 16 NEW BEST:: SOT 31725513 SOS 20961955 HAS SOPS 16340872 HAS SOUS 14676932 HAS SOUPS 14481571 WITH SCORE 1.4502532955E7
AT ITER 18 NEW BEST:: SOT 31725513 SOS 20961955 HAS SOPS 16341815 HAS SOUS 14676650 HAS SOUPS 14481289 WITH SCORE 1.4502250955E7
AT ITER 22 NEW BEST:: SOT 31727426 SOS 20963868 HAS SOPS 16342820 HAS SOUS 14676021 HAS SOUPS 14480621 WITH SCORE 1.4501584868E7
AT ITER 25 NEW BEST:: SOT 31727790 SOS 20965183 HAS SOPS 16342274 HAS SOUS 14676256 HAS SOUPS 14480075 WITH SCORE 1.4501040183E7
AT ITER 27 NEW BEST:: SOT 31727790 SOS 20965183 HAS SOPS 16341093 HAS SOUS 14674644 HAS SOUPS 14477715 WITH SCORE 1.4498680183E7
AT ITER 31 NEW BEST:: SOT 31727790 SOS 20965183 HAS SOPS 16339630 HAS SOUS 14672354 HAS SOUPS 14474791 WITH SCORE 1.4495756183E7
AT ITER 32 NEW BEST:: SOT 31728141 SOS 20966398 HAS SOPS 16339040 HAS SOUS 14671905 HAS SOUPS 14474201 WITH SCORE 1.4495167398E7
AT ITER 33 NEW BEST:: SOT 31728150 SOS 20966910 HAS SOPS 16337389 HAS SOUS 14672332 HAS SOUPS 14472551 WITH SCORE 1.449351791E7
AT ITER 34 NEW BEST:: SOT 31728150 SOS 20966910 HAS SOPS 16335822 HAS SOUS 14670010 HAS SOUPS 14469419 WITH SCORE 1.449038591E7
AT ITER 36 NEW BEST:: SOT 31728033 SOS 20966793 HAS SOPS 16335704 HAS SOUS 14669892 HAS SOUPS 14469301 WITH SCORE 1.4490267793E7
AT ITER 37 NEW BEST:: SOT 31728033 SOS 20966793 HAS SOPS 16335354 HAS SOUS 14669682 HAS SOUPS 14468951 WITH SCORE 1.4489917793E7
AT ITER 39 NEW BEST:: SOT 31727495 SOS 20966255 HAS SOPS 16334498 HAS SOUS 14669562 HAS SOUPS 14468095 WITH SCORE 1.4489061255E7
AT ITER 41 NEW BEST:: SOT 31727744 SOS 20966752 HAS SOPS 16333083 HAS SOUS 14670188 HAS SOUPS 14466681 WITH SCORE 1.4487647752E7
AT ITER 43 NEW BEST:: SOT 31727744 SOS 20966752 HAS SOPS 16331474 HAS SOUS 14667752 HAS SOUPS 14463465 WITH SCORE 1.4484431752E7
AT ITER 44 NEW BEST:: SOT 31727744 SOS 20966752 HAS SOPS 16330892 HAS SOUS 14668617 HAS SOUPS 14462883 WITH SCORE 1.4483849752E7
AT ITER 47 NEW BEST:: SOT 31727744 SOS 20966752 HAS SOPS 16329431 HAS SOUS 14666221 HAS SOUPS 14459963 WITH SCORE 1.4480929752E7
AT ITER 49 NEW BEST:: SOT 31728341 SOS 20967626 HAS SOPS 16328996 HAS SOUS 14668607 HAS SOUPS 14459529 WITH SCORE 1.4480496626E7
AT ITER 59 NEW BEST:: SOT 31728536 SOS 20967925 HAS SOPS 16327683 HAS SOUS 14670379 HAS SOUPS 14458217 WITH SCORE 1.4479184925E7
AT ITER 61 NEW BEST:: SOT 31728536 SOS 20967925 HAS SOPS 16326214 HAS SOUS 14668517 HAS SOUPS 14455131 WITH SCORE 1.4476098925E7
AT ITER 64 NEW BEST:: SOT 31728536 SOS 20967925 HAS SOPS 16326799 HAS SOUS 14668512 HAS SOUPS 14455126 WITH SCORE 1.4476093925E7
AT ITER 67 NEW BEST:: SOT 31728339 SOS 20967728 HAS SOPS 16326602 HAS SOUS 14668315 HAS SOUPS 14454929 WITH SCORE 1.4475896728E7
AT ITER 77 NEW BEST:: SOT 31728339 SOS 20967728 HAS SOPS 16325110 HAS SOUS 14665923 HAS SOUPS 14451821 WITH SCORE 1.4472788728E7
AT ITER 79 NEW BEST:: SOT 31729960 SOS 20969349 HAS SOPS 16325109 HAS SOUS 14664663 HAS SOUPS 14450200 WITH SCORE 1.4471169349E7
AT ITER 81 NEW BEST:: SOT 31729960 SOS 20969349 HAS SOPS 16323916 HAS SOUS 14662786 HAS SOUPS 14447814 WITH SCORE 1.4468783349E7
AT ITER 85 NEW BEST:: SOT 31729749 SOS 20969138 HAS SOPS 16323494 HAS SOUS 14662568 HAS SOUPS 14447392 WITH SCORE 1.4468361138E7
AT ITER 90 NEW BEST:: SOT 31729777 SOS 20969193 HAS SOPS 16321890 HAS SOUS 14660965 HAS SOUPS 14445789 WITH SCORE 1.4466758193E7
AT ITER 102 NEW BEST:: SOT 31729806 SOS 20969591 HAS SOPS 16320289 HAS SOUS 14661974 HAS SOUPS 14444189 WITH SCORE 1.4465158591E7
AT ITER 107 NEW BEST:: SOT 31730895 SOS 20971699 HAS SOPS 16319830 HAS SOUS 14663376 HAS SOUPS 14443731 WITH SCORE 1.4464702699E7
AT ITER 108 NEW BEST:: SOT 31730895 SOS 20971699 HAS SOPS 16318420 HAS SOUS 14661679 HAS SOUPS 14440913 WITH SCORE 1.4461884699E7
AT ITER 110 NEW BEST:: SOT 31730895 SOS 20971699 HAS SOPS 16317284 HAS SOUS 14659752 HAS SOUPS 14438643 WITH SCORE 1.4459614699E7
AT ITER 112 NEW BEST:: SOT 31731448 SOS 20972804 HAS SOPS 16316171 HAS SOUS 14658778 HAS SOUPS 14437531 WITH SCORE 1.4458503804E7
AT ITER 115 NEW BEST:: SOT 31731448 SOS 20972804 HAS SOPS 16314568 HAS SOUS 14657070 HAS SOUPS 14434327 WITH SCORE 1.4455299804E7
AT ITER 117 NEW BEST:: SOT 31731703 SOS 20973313 HAS SOPS 16313177 HAS SOUS 14658032 HAS SOUPS 14432937 WITH SCORE 1.4453910313E7
AT ITER 121 NEW BEST:: SOT 31731703 SOS 20973313 HAS SOPS 16312579 HAS SOUS 14658529 HAS SOUPS 14432339 WITH SCORE 1.4453312313E7
AT ITER 123 NEW BEST:: SOT 31731703 SOS 20973313 HAS SOPS 16311382 HAS SOUS 14656829 HAS SOUPS 14429947 WITH SCORE 1.4450920313E7
AT ITER 124 NEW BEST:: SOT 31731703 SOS 20973313 HAS SOPS 16309979 HAS SOUS 14654491 HAS SOUPS 14427143 WITH SCORE 1.4448116313E7
AT ITER 131 NEW BEST:: SOT 31732151 SOS 20974208 HAS SOPS 16308761 HAS SOUS 14655271 HAS SOUPS 14425926 WITH SCORE 1.4446900208E7
AT ITER 133 NEW BEST:: SOT 31732151 SOS 20974208 HAS SOPS 16308760 HAS SOUS 14654551 HAS SOUPS 14425143 WITH SCORE 1.4446117208E7
AT ITER 134 NEW BEST:: SOT 31732151 SOS 20974208 HAS SOPS 16307990 HAS SOUS 14653013 HAS SOUPS 14423605 WITH SCORE 1.4444579208E7
AT ITER 139 NEW BEST:: SOT 31732151 SOS 20974208 HAS SOPS 16309310 HAS SOUS 14653012 HAS SOUPS 14423604 WITH SCORE 1.4444578208E7
AT ITER 144 NEW BEST:: SOT 31732151 SOS 20974208 HAS SOPS 16308117 HAS SOUS 14650542 HAS SOUPS 14420774 WITH SCORE 1.4441748208E7
AT ITER 145 NEW BEST:: SOT 31732649 SOS 20975203 HAS SOPS 16306953 HAS SOUS 14651468 HAS SOUPS 14419611 WITH SCORE 1.4440586203E7
AT ITER 147 NEW BEST:: SOT 31732649 SOS 20975203 HAS SOPS 16306406 HAS SOUS 14649594 HAS SOUPS 14417737 WITH SCORE 1.4438712203E7
AT ITER 150 NEW BEST:: SOT 31732649 SOS 20975203 HAS SOPS 16304883 HAS SOUS 14647210 HAS SOUPS 14414571 WITH SCORE 1.4435546203E7
AT ITER 156 NEW BEST:: SOT 31733171 SOS 20976246 HAS SOPS 16303733 HAS SOUS 14646061 HAS SOUPS 14413422 WITH SCORE 1.4434398246E7
AT ITER 159 NEW BEST:: SOT 31733608 SOS 20977119 HAS SOPS 16302522 HAS SOUS 14647143 HAS SOUPS 14412212 WITH SCORE 1.4433189119E7
AT ITER 161 NEW BEST:: SOT 31733608 SOS 20977119 HAS SOPS 16301154 HAS SOUS 14645130 HAS SOUPS 14409213 WITH SCORE 1.4430190119E7
AT ITER 162 NEW BEST:: SOT 31733608 SOS 20977119 HAS SOPS 16301427 HAS SOUS 14642961 HAS SOUPS 14407826 WITH SCORE 1.4428803119E7
AT ITER 164 NEW BEST:: SOT 31734335 SOS 20978236 HAS SOPS 16301140 HAS SOUS 14645351 HAS SOUPS 14407540 WITH SCORE 1.4428518236E7
AT ITER 167 NEW BEST:: SOT 31734133 SOS 20977832 HAS SOPS 16300736 HAS SOUS 14644947 HAS SOUPS 14407136 WITH SCORE 1.4428113832E7
AT ITER 169 NEW BEST:: SOT 31734133 SOS 20977832 HAS SOPS 16300121 HAS SOUS 14644332 HAS SOUPS 14406521 WITH SCORE 1.4427498832E7
AT ITER 170 NEW BEST:: SOT 31734133 SOS 20977832 HAS SOPS 16299786 HAS SOUS 14644388 HAS SOUPS 14406185 WITH SCORE 1.4427162832E7
AT ITER 172 NEW BEST:: SOT 31734783 SOS 20979436 HAS SOPS 16299736 HAS SOUS 14645410 HAS SOUPS 14406135 WITH SCORE 1.4427114436E7
AT ITER 176 NEW BEST:: SOT 31734783 SOS 20979436 HAS SOPS 16298086 HAS SOUS 14642112 HAS SOUPS 14402837 WITH SCORE 1.4423816436E7
AT ITER 178 NEW BEST:: SOT 31734783 SOS 20979436 HAS SOPS 16297814 HAS SOUS 14642084 HAS SOUPS 14402565 WITH SCORE 1.4423544436E7
AT ITER 180 NEW BEST:: SOT 31734783 SOS 20979436 HAS SOPS 16297810 HAS SOUS 14642080 HAS SOUPS 14402561 WITH SCORE 1.4423540436E7
AT ITER 181 NEW BEST:: SOT 31775522 SOS 20969165 HAS SOPS 16239570 HAS SOUS 14630811 HAS SOUPS 14391292 WITH SCORE 1.4412261165E7
AT ITER 187 NEW BEST:: SOT 31775522 SOS 20969165 HAS SOPS 16237449 HAS SOUS 14628948 HAS SOUPS 14387991 WITH SCORE 1.4408960165E7
AT ITER 190 NEW BEST:: SOT 31775522 SOS 20969165 HAS SOPS 16237025 HAS SOUS 14628728 HAS SOUPS 14387567 WITH SCORE 1.4408536165E7
AT ITER 195 NEW BEST:: SOT 31775522 SOS 20969165 HAS SOPS 16235771 HAS SOUS 14626398 HAS SOUPS 14384727 WITH SCORE 1.4405696165E7
AT ITER 197 NEW BEST:: SOT 31775748 SOS 20969616 HAS SOPS 16234337 HAS SOUS 14627076 HAS SOUPS 14383294 WITH SCORE 1.4404263616E7
AT ITER 198 NEW BEST:: SOT 31775888 SOS 20969895 HAS SOPS 16232805 HAS SOUS 14627444 HAS SOUPS 14381763 WITH SCORE 1.4402732895E7
AT ITER 205 NEW BEST:: SOT 31775888 SOS 20969895 HAS SOPS 16233986 HAS SOUS 14627439 HAS SOUPS 14381758 WITH SCORE 1.4402727895E7
AT ITER 208 NEW BEST:: SOT 31776138 SOS 20970394 HAS SOPS 16232576 HAS SOUS 14628113 HAS SOUPS 14380349 WITH SCORE 1.4401319394E7
AT ITER 214 NEW BEST:: SOT 31776138 SOS 20970394 HAS SOPS 16231489 HAS SOUS 14627828 HAS SOUPS 14379262 WITH SCORE 1.4400232394E7
AT ITER 215 NEW BEST:: SOT 31776999 SOS 20972086 HAS SOPS 16230742 HAS SOUS 14627082 HAS SOUPS 14378516 WITH SCORE 1.4399488086E7
AT ITER 217 NEW BEST:: SOT 31776999 SOS 20972086 HAS SOPS 16229402 HAS SOUS 14627706 HAS SOUPS 14377176 WITH SCORE 1.4398148086E7
AT ITER 220 NEW BEST:: SOT 31776999 SOS 20972086 HAS SOPS 16227759 HAS SOUS 14624410 HAS SOUPS 14373880 WITH SCORE 1.4394852086E7
AT ITER 222 NEW BEST:: SOT 31776999 SOS 20972086 HAS SOPS 16227758 HAS SOUS 14623982 HAS SOUPS 14373452 WITH SCORE 1.4394424086E7
AT ITER 223 NEW BEST:: SOT 31776999 SOS 20972086 HAS SOPS 16227757 HAS SOUS 14622875 HAS SOUPS 14372345 WITH SCORE 1.4393317086E7
AT ITER 224 NEW BEST:: SOT 31776999 SOS 20972086 HAS SOPS 16226976 HAS SOUS 14620693 HAS SOUPS 14369891 WITH SCORE 1.4390863086E7
AT ITER 230 NEW BEST:: SOT 31775925 SOS 20971012 HAS SOPS 16225466 HAS SOUS 14619420 HAS SOUPS 14368381 WITH SCORE 1.4389352012E7
AT ITER 233 NEW BEST:: SOT 31775925 SOS 20971012 HAS SOPS 16223954 HAS SOUS 14616398 HAS SOUPS 14365359 WITH SCORE 1.4386330012E7
AT ITER 234 NEW BEST:: SOT 30447763 SOS 19644342 HAS SOPS 14894460 HAS SOUS 13289358 HAS SOUPS 13035865 WITH SCORE 1.3055509342E7
AT ITER 238 NEW BEST:: SOT 30447264 SOS 19643843 HAS SOPS 14890758 HAS SOUS 13287132 HAS SOUPS 13032164 WITH SCORE 1.3051807843E7
AT ITER 240 NEW BEST:: SOT 30446703 SOS 19643282 HAS SOPS 14889253 HAS SOUS 13284293 HAS SOUPS 13029018 WITH SCORE 1.3048661282E7
AT ITER 243 NEW BEST:: SOT 30456245 SOS 19605292 HAS SOPS 14841671 HAS SOUS 13284102 HAS SOUPS 13028827 WITH SCORE 1.3048432292E7
AT ITER 256 NEW BEST:: SOT 30459042 SOS 19560797 HAS SOPS 14789080 HAS SOUS 13279200 HAS SOUPS 13023925 WITH SCORE 1.3043485797E7
AT ITER 258 NEW BEST:: SOT 30459060 SOS 19560846 HAS SOPS 14787422 HAS SOUS 13279370 HAS SOUPS 13022268 WITH SCORE 1.3041828846E7
AT ITER 259 NEW BEST:: SOT 30458733 SOS 19560519 HAS SOPS 14786484 HAS SOUS 13276994 HAS SOUPS 13019675 WITH SCORE 1.3039235519E7
AT ITER 268 NEW BEST:: SOT 30458374 SOS 19560160 HAS SOPS 14785323 HAS SOUS 13275833 HAS SOUPS 13018514 WITH SCORE 1.303807416E7
AT ITER 277 NEW BEST:: SOT 30457629 SOS 19559415 HAS SOPS 14783553 HAS SOUS 13272432 HAS SOUPS 13015113 WITH SCORE 1.3034672415E7
AT ITER 280 NEW BEST:: SOT 30457629 SOS 19559415 HAS SOPS 14783125 HAS SOUS 13272004 HAS SOUPS 13014685 WITH SCORE 1.3034244415E7
AT ITER 286 NEW BEST:: SOT 30457586 SOS 19559372 HAS SOPS 14783039 HAS SOUS 13271918 HAS SOUPS 13014599 WITH SCORE 1.3034158372E7
AT ITER 292 NEW BEST:: SOT 30456588 SOS 19558517 HAS SOPS 14780431 HAS SOUS 13270228 HAS SOUPS 13011992 WITH SCORE 1.3031550517E7
AT ITER 293 NEW BEST:: SOT 30456298 SOS 19558227 HAS SOPS 14779559 HAS SOUS 13268776 HAS SOUPS 13010540 WITH SCORE 1.3030098227E7
AT ITER 300 NEW BEST:: SOT 30457120 SOS 19559049 HAS SOPS 14780854 HAS SOUS 13268452 HAS SOUPS 13010216 WITH SCORE 1.3029775049E7
AT ITER 301 NEW BEST:: SOT 30456458 SOS 19558387 HAS SOPS 14779337 HAS SOUS 13266936 HAS SOUPS 13007845 WITH SCORE 1.3027403387E7
AT ITER 302 NEW BEST:: SOT 30456458 SOS 19558387 HAS SOPS 14779337 HAS SOUS 13266791 HAS SOUPS 13007700 WITH SCORE 1.3027258387E7
AT ITER 304 NEW BEST:: SOT 30455058 SOS 19556987 HAS SOPS 14776278 HAS SOUS 13264562 HAS SOUPS 13003813 WITH SCORE 1.3023369987E7
AT ITER 306 NEW BEST:: SOT 30453766 SOS 19555695 HAS SOPS 14774202 HAS SOUS 13262036 HAS SOUPS 13000731 WITH SCORE 1.3020286695E7
AT ITER 310 NEW BEST:: SOT 30453766 SOS 19555695 HAS SOPS 14775082 HAS SOUS 13261585 HAS SOUPS 13000280 WITH SCORE 1.3019835695E7
AT ITER 311 NEW BEST:: SOT 30453766 SOS 19555695 HAS SOPS 14775427 HAS SOUS 13261104 HAS SOUPS 12999799 WITH SCORE 1.3019354695E7
AT ITER 320 NEW BEST:: SOT 30453059 SOS 19554988 HAS SOPS 14773338 HAS SOUS 13257950 HAS SOUPS 12996330 WITH SCORE 1.3015884988E7
AT ITER 321 NEW BEST:: SOT 30451926 SOS 19553855 HAS SOPS 14770826 HAS SOUS 13254001 HAS SOUPS 12992211 WITH SCORE 1.3011764855E7
AT ITER 322 NEW BEST:: SOT 30451926 SOS 19553855 HAS SOPS 14771201 HAS SOUS 13252920 HAS SOUPS 12991130 WITH SCORE 1.3010683855E7
AT ITER 332 NEW BEST:: SOT 30451106 SOS 19553035 HAS SOPS 14769442 HAS SOUS 13251909 HAS SOUPS 12989371 WITH SCORE 1.3008924035E7
AT ITER 333 NEW BEST:: SOT 30451016 SOS 19553515 HAS SOPS 14767770 HAS SOUS 13250811 HAS SOUPS 12987700 WITH SCORE 1.3007253515E7
AT ITER 335 NEW BEST:: SOT 30450515 SOS 19553045 HAS SOPS 14765623 HAS SOUS 13248665 HAS SOUPS 12985554 WITH SCORE 1.3005107045E7
AT ITER 337 NEW BEST:: SOT 30450127 SOS 19552910 HAS SOPS 14763595 HAS SOUS 13246638 HAS SOUPS 12983527 WITH SCORE 1.300307991E7
AT ITER 342 NEW BEST:: SOT 30449855 SOS 19553048 HAS SOPS 14761685 HAS SOUS 13247217 HAS SOUPS 12981618 WITH SCORE 1.3001171048E7
AT ITER 353 NEW BEST:: SOT 30449919 SOS 19636035 HAS SOPS 14760668 HAS SOUS 13247240 HAS SOUPS 12980601 WITH SCORE 1.3000237035E7
AT ITER 359 NEW BEST:: SOT 30449909 SOS 19636025 HAS SOPS 14760647 HAS SOUS 13247230 HAS SOUPS 12980581 WITH SCORE 1.3000217025E7
AT ITER 360 NEW BEST:: SOT 30449683 SOS 19635799 HAS SOPS 14759374 HAS SOUS 13244912 HAS SOUPS 12978263 WITH SCORE 1.2997898799E7
AT ITER 368 NEW BEST:: SOT 30449126 SOS 19635242 HAS SOPS 14757449 HAS SOUS 13242162 HAS SOUPS 12974697 WITH SCORE 1.2994332242E7
AT ITER 372 NEW BEST:: SOT 30448230 SOS 19634346 HAS SOPS 14754967 HAS SOUS 13238059 HAS SOUPS 12970594 WITH SCORE 1.2990228346E7
AT ITER 376 NEW BEST:: SOT 30447908 SOS 19634024 HAS SOPS 14753965 HAS SOUS 13235396 HAS SOUPS 12967931 WITH SCORE 1.2987565024E7
AT ITER 381 NEW BEST:: SOT 30448072 SOS 19634849 HAS SOPS 14753348 HAS SOUS 13235588 HAS SOUPS 12967314 WITH SCORE 1.2986948849E7
AT ITER 384 NEW BEST:: SOT 30448309 SOS 19635086 HAS SOPS 14752842 HAS SOUS 13235324 HAS SOUPS 12966808 WITH SCORE 1.2986443086E7
AT ITER 388 NEW BEST:: SOT 30447634 SOS 19634411 HAS SOPS 14751234 HAS SOUS 13232999 HAS SOUPS 12963565 WITH SCORE 1.2983199411E7
AT ITER 389 NEW BEST:: SOT 30446888 SOS 19633665 HAS SOPS 14747253 HAS SOUS 13231015 HAS SOUPS 12960167 WITH SCORE 1.2979800665E7
AT ITER 390 NEW BEST:: SOT 30446150 SOS 19632927 HAS SOPS 14745777 HAS SOUS 13230243 HAS SOUPS 12958691 WITH SCORE 1.2978323927E7
AT ITER 391 NEW BEST:: SOT 30445722 SOS 19632499 HAS SOPS 14744902 HAS SOUS 13229368 HAS SOUPS 12957816 WITH SCORE 1.2977448499E7
AT ITER 396 NEW BEST:: SOT 30445417 SOS 19632194 HAS SOPS 14743220 HAS SOUS 13227491 HAS SOUPS 12955939 WITH SCORE 1.2975571194E7
AT ITER 401 NEW BEST:: SOT 30445193 SOS 19631970 HAS SOPS 14742066 HAS SOUS 13225409 HAS SOUPS 12953857 WITH SCORE 1.297348897E7
AT ITER 404 NEW BEST:: SOT 30444668 SOS 19631566 HAS SOPS 14739901 HAS SOUS 13223245 HAS SOUPS 12951693 WITH SCORE 1.2971324566E7
AT ITER 407 NEW BEST:: SOT 30444385 SOS 19631283 HAS SOPS 14738429 HAS SOUS 13220586 HAS SOUPS 12949034 WITH SCORE 1.2968665283E7
AT ITER 411 NEW BEST:: SOT 30444195 SOS 19631093 HAS SOPS 14738015 HAS SOUS 13218655 HAS SOUPS 12947103 WITH SCORE 1.2966734093E7
AT ITER 420 NEW BEST:: SOT 30444053 SOS 19631447 HAS SOPS 14736233 HAS SOUS 13217227 HAS SOUPS 12945322 WITH SCORE 1.2964953447E7
AT ITER 423 NEW BEST:: SOT 30444424 SOS 19632581 HAS SOPS 14736014 HAS SOUS 13219209 HAS SOUPS 12945104 WITH SCORE 1.2964736581E7
AT ITER 424 NEW BEST:: SOT 30444250 SOS 19632702 HAS SOPS 14734174 HAS SOUS 13219345 HAS SOUPS 12943265 WITH SCORE 1.2962897702E7
AT ITER 438 NEW BEST:: SOT 30443691 SOS 19632143 HAS SOPS 14732641 HAS SOUS 13216169 HAS SOUPS 12940089 WITH SCORE 1.2959721143E7
AT ITER 449 NEW BEST:: SOT 30443599 SOS 19632051 HAS SOPS 14731281 HAS SOUS 13213140 HAS SOUPS 12937060 WITH SCORE 1.2956692051E7
AT ITER 459 NEW BEST:: SOT 30442393 SOS 19630845 HAS SOPS 14728580 HAS SOUS 13209295 HAS SOUPS 12932866 WITH SCORE 1.2952496845E7
AT ITER 463 NEW BEST:: SOT 30441838 SOS 19630290 HAS SOPS 14726727 HAS SOUS 13206202 HAS SOUPS 12929717 WITH SCORE 1.294934729E7
AT ITER 464 NEW BEST:: SOT 30442352 SOS 19630804 HAS SOPS 14724789 HAS SOUS 13203196 HAS SOUPS 12926553 WITH SCORE 1.2946183804E7
AT ITER 465 NEW BEST:: SOT 30442494 SOS 19631324 HAS SOPS 14724772 HAS SOUS 13203392 HAS SOUPS 12926536 WITH SCORE 1.2946167324E7
AT ITER 470 NEW BEST:: SOT 30441870 SOS 19630700 HAS SOPS 14722805 HAS SOUS 13200958 HAS SOUPS 12923228 WITH SCORE 1.29428587E7
AT ITER 471 NEW BEST:: SOT 30440870 SOS 19629700 HAS SOPS 14720870 HAS SOUS 13200701 HAS SOUPS 12921293 WITH SCORE 1.29409227E7
AT ITER 472 NEW BEST:: SOT 30440025 SOS 19628855 HAS SOPS 14718549 HAS SOUS 13196925 HAS SOUPS 12917347 WITH SCORE 1.2936975855E7
AT ITER 474 NEW BEST:: SOT 30439951 SOS 19628781 HAS SOPS 14718475 HAS SOUS 13196825 HAS SOUPS 12917273 WITH SCORE 1.2936901781E7
AT ITER 478 NEW BEST:: SOT 30439951 SOS 19628781 HAS SOPS 14717781 HAS SOUS 13196131 HAS SOUPS 12916579 WITH SCORE 1.2936207781E7
AT ITER 483 NEW BEST:: SOT 30439301 SOS 19628131 HAS SOPS 14714205 HAS SOUS 13194136 HAS SOUPS 12913700 WITH SCORE 1.2933328131E7
AT ITER 488 NEW BEST:: SOT 30439301 SOS 19628131 HAS SOPS 14716737 HAS SOUS 13194135 HAS SOUPS 12913699 WITH SCORE 1.2933327131E7
AT ITER 489 NEW BEST:: SOT 30439071 SOS 19628202 HAS SOPS 14714861 HAS SOUS 13192260 HAS SOUPS 12911824 WITH SCORE 1.2931452202E7
AT ITER 494 NEW BEST:: SOT 30438206 SOS 19627337 HAS SOPS 14712766 HAS SOUS 13190405 HAS SOUPS 12909731 WITH SCORE 1.2929358337E7
AT ITER 502 NEW BEST:: SOT 30438206 SOS 19627337 HAS SOPS 14713001 HAS SOUS 13189505 HAS SOUPS 12908688 WITH SCORE 1.2928315337E7
AT ITER 504 NEW BEST:: SOT 30437059 SOS 19626355 HAS SOPS 14710264 HAS SOUS 13187742 HAS SOUPS 12905952 WITH SCORE 1.2925578355E7
AT ITER 510 NEW BEST:: SOT 30436109 SOS 19625568 HAS SOPS 14707702 HAS SOUS 13188098 HAS SOUPS 12903391 WITH SCORE 1.2923016568E7
AT ITER 515 NEW BEST:: SOT 30436469 SOS 19625928 HAS SOPS 14708473 HAS SOUS 13188095 HAS SOUPS 12903214 WITH SCORE 1.2922839928E7
AT ITER 516 NEW BEST:: SOT 30436432 SOS 19579266 HAS SOPS 14638500 HAS SOUS 13164408 HAS SOUPS 12879527 WITH SCORE 1.2899106266E7
AT ITER 518 NEW BEST:: SOT 30435452 SOS 19578286 HAS SOPS 14638153 HAS SOUS 13164062 HAS SOUPS 12879181 WITH SCORE 1.2898759286E7
AT ITER 523 NEW BEST:: SOT 30435452 SOS 19578286 HAS SOPS 14637505 HAS SOUS 13163500 HAS SOUPS 12878533 WITH SCORE 1.2898111286E7
AT ITER 525 NEW BEST:: SOT 30435538 SOS 19579013 HAS SOPS 14636655 HAS SOUS 13165021 HAS SOUPS 12877684 WITH SCORE 1.2897263013E7
AT ITER 526 NEW BEST:: SOT 30435387 SOS 19578862 HAS SOPS 14635480 HAS SOUS 13163847 HAS SOUPS 12876510 WITH SCORE 1.2896088862E7
AT ITER 527 NEW BEST:: SOT 30435387 SOS 19578862 HAS SOPS 14635828 HAS SOUS 13162601 HAS SOUPS 12875264 WITH SCORE 1.2894842862E7
AT ITER 528 NEW BEST:: SOT 30435387 SOS 19578862 HAS SOPS 14635475 HAS SOUS 13162338 HAS SOUPS 12874911 WITH SCORE 1.2894489862E7
AT ITER 531 NEW BEST:: SOT 30434878 SOS 19578353 HAS SOPS 14634361 HAS SOUS 13161224 HAS SOUPS 12873797 WITH SCORE 1.2893375353E7
AT ITER 535 NEW BEST:: SOT 30434650 SOS 19578155 HAS SOPS 14632471 HAS SOUS 13159335 HAS SOUPS 12871908 WITH SCORE 1.2891486155E7
AT ITER 536 NEW BEST:: SOT 30434321 SOS 19577826 HAS SOPS 14633431 HAS SOUS 13158677 HAS SOUPS 12871250 WITH SCORE 1.2890827826E7
AT ITER 537 NEW BEST:: SOT 30434377 SOS 19577882 HAS SOPS 14633001 HAS SOUS 13156247 HAS SOUPS 12869522 WITH SCORE 1.2889099882E7
AT ITER 539 NEW BEST:: SOT 30434377 SOS 19577882 HAS SOPS 14632394 HAS SOUS 13155782 HAS SOUPS 12868915 WITH SCORE 1.2888492882E7
AT ITER 540 NEW BEST:: SOT 30434408 SOS 19593713 HAS SOPS 14632212 HAS SOUS 13155876 HAS SOUPS 12868733 WITH SCORE 1.2888326713E7
AT ITER 543 NEW BEST:: SOT 30433605 SOS 19592881 HAS SOPS 14630606 HAS SOUS 13154270 HAS SOUPS 12867127 WITH SCORE 1.2886719881E7
AT ITER 545 NEW BEST:: SOT 30432445 SOS 19591721 HAS SOPS 14626919 HAS SOUS 13150070 HAS SOUPS 12862927 WITH SCORE 1.2882518721E7
AT ITER 551 NEW BEST:: SOT 30432869 SOS 19592145 HAS SOPS 14624858 HAS SOUS 13148459 HAS SOUPS 12860865 WITH SCORE 1.2880457145E7
AT ITER 559 NEW BEST:: SOT 30432869 SOS 19592145 HAS SOPS 14624857 HAS SOUS 13147731 HAS SOUPS 12860021 WITH SCORE 1.2879613145E7
AT ITER 565 NEW BEST:: SOT 30432357 SOS 19591633 HAS SOPS 14621699 HAS SOUS 13144315 HAS SOUPS 12856605 WITH SCORE 1.2876196633E7
AT ITER 569 NEW BEST:: SOT 30431986 SOS 19591572 HAS SOPS 14619690 HAS SOUS 13144799 HAS SOUPS 12854597 WITH SCORE 1.2874188572E7
AT ITER 570 NEW BEST:: SOT 30452543 SOS 19566956 HAS SOPS 14572665 HAS SOUS 13138842 HAS SOUPS 12848640 WITH SCORE 1.2868206956E7
AT ITER 572 NEW BEST:: SOT 30452280 SOS 19566693 HAS SOPS 14572138 HAS SOUS 13137307 HAS SOUPS 12847850 WITH SCORE 1.2867416693E7
AT ITER 573 NEW BEST:: SOT 30451253 SOS 19565666 HAS SOPS 14570543 HAS SOUS 13135712 HAS SOUPS 12846255 WITH SCORE 1.2865820666E7
AT ITER 574 NEW BEST:: SOT 30450529 SOS 19565829 HAS SOPS 14568603 HAS SOUS 13132395 HAS SOUPS 12842938 WITH SCORE 1.2862503829E7
AT ITER 575 NEW BEST:: SOT 30450418 SOS 19565718 HAS SOPS 14570001 HAS SOUS 13132173 HAS SOUPS 12842716 WITH SCORE 1.2862281718E7
AT ITER 576 NEW BEST:: SOT 30450418 SOS 19565718 HAS SOPS 14568869 HAS SOUS 13131275 HAS SOUPS 12841584 WITH SCORE 1.2861149718E7
AT ITER 579 NEW BEST:: SOT 30450418 SOS 19565718 HAS SOPS 14568868 HAS SOUS 13130625 HAS SOUPS 12840934 WITH SCORE 1.2860499718E7
AT ITER 581 NEW BEST:: SOT 30450256 SOS 19565556 HAS SOPS 14567661 HAS SOUS 13128375 HAS SOUPS 12838684 WITH SCORE 1.2858249556E7
AT ITER 582 NEW BEST:: SOT 30449126 SOS 19564426 HAS SOPS 14566263 HAS SOUS 13126977 HAS SOUPS 12837286 WITH SCORE 1.2856850426E7
AT ITER 584 NEW BEST:: SOT 30449126 SOS 19564426 HAS SOPS 14566039 HAS SOUS 13126169 HAS SOUPS 12836478 WITH SCORE 1.2856042426E7
AT ITER 597 NEW BEST:: SOT 30449126 SOS 19564426 HAS SOPS 14565539 HAS SOUS 13125669 HAS SOUPS 12835978 WITH SCORE 1.2855542426E7
AT ITER 599 NEW BEST:: SOT 30449132 SOS 19591291 HAS SOPS 14564853 HAS SOUS 13125884 HAS SOUPS 12835292 WITH SCORE 1.2854883291E7
AT ITER 602 NEW BEST:: SOT 30449132 SOS 19591291 HAS SOPS 14564132 HAS SOUS 13123528 HAS SOUPS 12832936 WITH SCORE 1.2852527291E7
AT ITER 604 NEW BEST:: SOT 30449138 SOS 19591303 HAS SOPS 14563964 HAS SOUS 13123360 HAS SOUPS 12832768 WITH SCORE 1.2852359303E7
AT ITER 609 NEW BEST:: SOT 30448693 SOS 19590858 HAS SOPS 14562740 HAS SOUS 13120487 HAS SOUPS 12829895 WITH SCORE 1.2849485858E7
AT ITER 613 NEW BEST:: SOT 30448693 SOS 19590858 HAS SOPS 14562739 HAS SOUS 13120487 HAS SOUPS 12829752 WITH SCORE 1.2849342858E7
AT ITER 617 NEW BEST:: SOT 30448569 SOS 19590734 HAS SOPS 14562739 HAS SOUS 13120487 HAS SOUPS 12829752 WITH SCORE 1.2849342734E7
AT ITER 619 NEW BEST:: SOT 30448166 SOS 19590331 HAS SOPS 14560754 HAS SOUS 13116922 HAS SOUPS 12826187 WITH SCORE 1.2845777331E7
AT ITER 628 NEW BEST:: SOT 30447235 SOS 19589566 HAS SOPS 14558211 HAS SOUS 13117274 HAS SOUPS 12823645 WITH SCORE 1.2843234566E7
AT ITER 630 NEW BEST:: SOT 30447235 SOS 19589566 HAS SOPS 14558210 HAS SOUS 13116648 HAS SOUPS 12823019 WITH SCORE 1.2842608566E7
AT ITER 636 NEW BEST:: SOT 30446945 SOS 19589276 HAS SOPS 14556989 HAS SOUS 13115872 HAS SOUPS 12821799 WITH SCORE 1.2841388276E7
AT ITER 643 NEW BEST:: SOT 30446097 SOS 19588428 HAS SOPS 14557197 HAS SOUS 13114065 HAS SOUPS 12820443 WITH SCORE 1.2840031428E7
AT ITER 651 NEW BEST:: SOT 30444985 SOS 19547267 HAS SOPS 14517148 HAS SOUS 13110746 HAS SOUPS 12817124 WITH SCORE 1.2836671267E7
AT ITER 654 NEW BEST:: SOT 30316748 SOS 19440230 HAS SOPS 14388314 HAS SOUS 12982571 HAS SOUPS 12688290 WITH SCORE 1.270773023E7
AT ITER 656 NEW BEST:: SOT 30315769 SOS 19439251 HAS SOPS 14386355 HAS SOUS 12979015 HAS SOUPS 12684692 WITH SCORE 1.2704131251E7
AT ITER 658 NEW BEST:: SOT 30315083 SOS 19438565 HAS SOPS 14385293 HAS SOUS 12977953 HAS SOUPS 12683630 WITH SCORE 1.2703068565E7
AT ITER 662 NEW BEST:: SOT 30313920 SOS 19437734 HAS SOPS 14382728 HAS SOUS 12976056 HAS SOUPS 12681066 WITH SCORE 1.2700503734E7
AT ITER 669 NEW BEST:: SOT 30313257 SOS 19437522 HAS SOPS 14380389 HAS SOUS 12973718 HAS SOUPS 12678728 WITH SCORE 1.2698165522E7
AT ITER 678 NEW BEST:: SOT 30312582 SOS 19436847 HAS SOPS 14377329 HAS SOUS 12972168 HAS SOUPS 12676900 WITH SCORE 1.2696336847E7
AT ITER 679 NEW BEST:: SOT 30312710 SOS 19437830 HAS SOPS 14375783 HAS SOUS 12970623 HAS SOUPS 12675355 WITH SCORE 1.269479283E7
AT ITER 683 NEW BEST:: SOT 30312766 SOS 19437886 HAS SOPS 14374872 HAS SOUS 12969584 HAS SOUPS 12673181 WITH SCORE 1.2692618886E7
AT ITER 685 NEW BEST:: SOT 30311791 SOS 19436911 HAS SOPS 14372471 HAS SOUS 12966320 HAS SOUPS 12669356 WITH SCORE 1.2688792911E7
AT ITER 689 NEW BEST:: SOT 30311475 SOS 19436595 HAS SOPS 14371839 HAS SOUS 12966004 HAS SOUPS 12668724 WITH SCORE 1.2688160595E7
AT ITER 690 NEW BEST:: SOT 30310916 SOS 19436036 HAS SOPS 14370720 HAS SOUS 12963235 HAS SOUPS 12665955 WITH SCORE 1.2685391036E7
AT ITER 695 NEW BEST:: SOT 30310916 SOS 19436036 HAS SOPS 14370278 HAS SOUS 12962793 HAS SOUPS 12665513 WITH SCORE 1.2684949036E7
AT ITER 699 NEW BEST:: SOT 30310916 SOS 19436036 HAS SOPS 14370406 HAS SOUS 12962792 HAS SOUPS 12665512 WITH SCORE 1.2684948036E7
AT ITER 709 NEW BEST:: SOT 30309523 SOS 19434865 HAS SOPS 14367397 HAS SOUS 12960178 HAS SOUPS 12662504 WITH SCORE 1.2681938865E7
AT ITER 711 NEW BEST:: SOT 30309523 SOS 19434865 HAS SOPS 14367167 HAS SOUS 12959948 HAS SOUPS 12662274 WITH SCORE 1.2681708865E7
AT ITER 720 NEW BEST:: SOT 30309260 SOS 19435367 HAS SOPS 14366264 HAS SOUS 12959046 HAS SOUPS 12661372 WITH SCORE 1.2680807367E7
AT ITER 722 NEW BEST:: SOT 30308135 SOS 19434242 HAS SOPS 14363514 HAS SOUS 12954673 HAS SOUPS 12656999 WITH SCORE 1.2676433242E7
AT ITER 729 NEW BEST:: SOT 30308135 SOS 19434242 HAS SOPS 14363905 HAS SOUS 12953413 HAS SOUPS 12655739 WITH SCORE 1.2675173242E7
AT ITER 740 NEW BEST:: SOT 30308285 SOS 19435350 HAS SOPS 14363043 HAS SOUS 12952552 HAS SOUPS 12654878 WITH SCORE 1.267431335E7
AT ITER 746 NEW BEST:: SOT 30306701 SOS 19433875 HAS SOPS 14359845 HAS SOUS 12949355 HAS SOUPS 12651681 WITH SCORE 1.2671114875E7
AT ITER 751 NEW BEST:: SOT 30305588 SOS 19432762 HAS SOPS 14357618 HAS SOUS 12947429 HAS SOUPS 12649455 WITH SCORE 1.2668887762E7
AT ITER 752 NEW BEST:: SOT 30304769 SOS 19431943 HAS SOPS 14355265 HAS SOUS 12945077 HAS SOUPS 12647103 WITH SCORE 1.2666534943E7
AT ITER 768 NEW BEST:: SOT 30304868 SOS 19432042 HAS SOPS 14355525 HAS SOUS 12943715 HAS SOUPS 12645741 WITH SCORE 1.2665173042E7
AT ITER 777 NEW BEST:: SOT 30304652 SOS 19433052 HAS SOPS 14354880 HAS SOUS 12943071 HAS SOUPS 12645097 WITH SCORE 1.2664530052E7
AT ITER 779 NEW BEST:: SOT 30303629 SOS 19432143 HAS SOPS 14352207 HAS SOUS 12942673 HAS SOUPS 12642425 WITH SCORE 1.2661857143E7
AT ITER 781 NEW BEST:: SOT 30302922 SOS 19431436 HAS SOPS 14350360 HAS SOUS 12939754 HAS SOUPS 12639506 WITH SCORE 1.2658937436E7
AT ITER 782 NEW BEST:: SOT 30306441 SOS 19436115 HAS SOPS 14348597 HAS SOUS 12943472 HAS SOUPS 12637744 WITH SCORE 1.2657180115E7
AT ITER 784 NEW BEST:: SOT 30305416 SOS 19435090 HAS SOPS 14346546 HAS SOUS 12940397 HAS SOUPS 12634669 WITH SCORE 1.265410409E7
AT ITER 785 NEW BEST:: SOT 30304922 SOS 19434596 HAS SOPS 14345990 HAS SOUS 12938886 HAS SOUPS 12633158 WITH SCORE 1.2652592596E7
AT ITER 788 NEW BEST:: SOT 30304944 SOS 19444298 HAS SOPS 14345528 HAS SOUS 12938666 HAS SOUPS 12632696 WITH SCORE 1.2652140298E7
AT ITER 789 NEW BEST:: SOT 30303894 SOS 19443248 HAS SOPS 14343791 HAS SOUS 12936929 HAS SOUPS 12630959 WITH SCORE 1.2650402248E7
AT ITER 790 NEW BEST:: SOT 30301091 SOS 19440445 HAS SOPS 14338184 HAS SOUS 12932268 HAS SOUPS 12623830 WITH SCORE 1.2643270445E7
AT ITER 795 NEW BEST:: SOT 30300872 SOS 19440226 HAS SOPS 14337745 HAS SOUS 12931829 HAS SOUPS 12623391 WITH SCORE 1.2642831226E7
AT ITER 803 NEW BEST:: SOT 30302091 SOS 19537483 HAS SOPS 14335940 HAS SOUS 12931228 HAS SOUPS 12621586 WITH SCORE 1.2641123483E7
AT ITER 808 NEW BEST:: SOT 30302091 SOS 19537483 HAS SOPS 14336578 HAS SOUS 12931227 HAS SOUPS 12621585 WITH SCORE 1.2641122483E7
AT ITER 811 NEW BEST:: SOT 30301808 SOS 19537668 HAS SOPS 14334623 HAS SOUS 12929273 HAS SOUPS 12619631 WITH SCORE 1.2639168668E7
AT ITER 813 NEW BEST:: SOT 30301690 SOS 19537550 HAS SOPS 14334387 HAS SOUS 12929155 HAS SOUPS 12619395 WITH SCORE 1.263893255E7
AT ITER 816 NEW BEST:: SOT 30300917 SOS 19537735 HAS SOPS 14331990 HAS SOUS 12926759 HAS SOUPS 12616999 WITH SCORE 1.2636536735E7
AT ITER 818 NEW BEST:: SOT 30300152 SOS 19536970 HAS SOPS 14330459 HAS SOUS 12925229 HAS SOUPS 12615469 WITH SCORE 1.263500597E7
AT ITER 822 NEW BEST:: SOT 30303717 SOS 19541702 HAS SOPS 14328852 HAS SOUS 12923623 HAS SOUPS 12613863 WITH SCORE 1.2633404702E7
AT ITER 826 NEW BEST:: SOT 30303656 SOS 19541641 HAS SOPS 14328791 HAS SOUS 12923562 HAS SOUPS 12613802 WITH SCORE 1.2633343641E7
AT ITER 827 NEW BEST:: SOT 30302381 SOS 19540942 HAS SOPS 14326434 HAS SOUS 12921206 HAS SOUPS 12611446 WITH SCORE 1.2630986942E7
AT ITER 832 NEW BEST:: SOT 30302381 SOS 19539506 HAS SOPS 14325518 HAS SOUS 12921008 HAS SOUPS 12611248 WITH SCORE 1.2630787506E7
AT ITER 833 NEW BEST:: SOT 30301451 SOS 19538705 HAS SOPS 14322934 HAS SOUS 12920676 HAS SOUPS 12608665 WITH SCORE 1.2628203705E7
AT ITER 839 NEW BEST:: SOT 30300592 SOS 19538353 HAS SOPS 14320715 HAS SOUS 12918765 HAS SOUPS 12606447 WITH SCORE 1.2625985353E7
AT ITER 842 NEW BEST:: SOT 30300287 SOS 19538048 HAS SOPS 14320104 HAS SOUS 12916842 HAS SOUPS 12604524 WITH SCORE 1.2624062048E7
AT ITER 843 NEW BEST:: SOT 30298913 SOS 19537017 HAS SOPS 14317325 HAS SOUS 12914731 HAS SOUPS 12601746 WITH SCORE 1.2621283017E7
AT ITER 846 NEW BEST:: SOT 30298184 SOS 19536288 HAS SOPS 14315144 HAS SOUS 12912786 HAS SOUPS 12599801 WITH SCORE 1.2619337288E7
AT ITER 848 NEW BEST:: SOT 30298184 SOS 19537479 HAS SOPS 14314541 HAS SOUS 12912183 HAS SOUPS 12599198 WITH SCORE 1.2618735479E7
AT ITER 852 NEW BEST:: SOT 30297532 SOS 19536827 HAS SOPS 14312879 HAS SOUS 12910493 HAS SOUPS 12597242 WITH SCORE 1.2616778827E7
AT ITER 856 NEW BEST:: SOT 30297532 SOS 19536827 HAS SOPS 14312878 HAS SOUS 12910242 HAS SOUPS 12596619 WITH SCORE 1.2616155827E7
AT ITER 857 NEW BEST:: SOT 30297208 SOS 19536881 HAS SOPS 14310880 HAS SOUS 12910089 HAS SOUPS 12594622 WITH SCORE 1.2614158881E7
AT ITER 862 NEW BEST:: SOT 30296318 SOS 19536792 HAS SOPS 14309616 HAS SOUS 12908826 HAS SOUPS 12593359 WITH SCORE 1.2612895792E7
AT ITER 867 NEW BEST:: SOT 30296318 SOS 19536792 HAS SOPS 14309052 HAS SOUS 12908262 HAS SOUPS 12592795 WITH SCORE 1.2612331792E7
AT ITER 868 NEW BEST:: SOT 30296383 SOS 19537765 HAS SOPS 14308865 HAS SOUS 12908076 HAS SOUPS 12592609 WITH SCORE 1.2612146765E7
AT ITER 872 NEW BEST:: SOT 30296383 SOS 19537765 HAS SOPS 14308865 HAS SOUS 12907044 HAS SOUPS 12591577 WITH SCORE 1.2611114765E7
AT ITER 877 NEW BEST:: SOT 30295631 SOS 19537013 HAS SOPS 14307360 HAS SOUS 12904788 HAS SOUPS 12589321 WITH SCORE 1.2608858013E7
AT ITER 878 NEW BEST:: SOT 30295940 SOS 19538019 HAS SOPS 14306872 HAS SOUS 12904447 HAS SOUPS 12588833 WITH SCORE 1.2608371019E7
AT ITER 879 NEW BEST:: SOT 30296087 SOS 19539144 HAS SOPS 14306859 HAS SOUS 12904703 HAS SOUPS 12588820 WITH SCORE 1.2608359144E7
AT ITER 880 NEW BEST:: SOT 30297403 SOS 19632190 HAS SOPS 14306171 HAS SOUS 12905498 HAS SOUPS 12588132 WITH SCORE 1.260776419E7
AT ITER 884 NEW BEST:: SOT 30297252 SOS 19632865 HAS SOPS 14305076 HAS SOUS 12904709 HAS SOUPS 12587038 WITH SCORE 1.2606670865E7
AT ITER 891 NEW BEST:: SOT 30296130 SOS 19631743 HAS SOPS 14302568 HAS SOUS 12900817 HAS SOUPS 12583146 WITH SCORE 1.2602777743E7
AT ITER 895 NEW BEST:: SOT 30295340 SOS 19630953 HAS SOPS 14300431 HAS SOUS 12897013 HAS SOUPS 12579342 WITH SCORE 1.2598972953E7
AT ITER 896 NEW BEST:: SOT 30295412 SOS 19630998 HAS SOPS 14300772 HAS SOUS 12896330 HAS SOUPS 12578659 WITH SCORE 1.2598289998E7
AT ITER 898 NEW BEST:: SOT 30295412 SOS 19685381 HAS SOPS 14251155 HAS SOUS 12894948 HAS SOUPS 12575977 WITH SCORE 1.2595662381E7
AT ITER 903 NEW BEST:: SOT 30295412 SOS 19685381 HAS SOPS 14249764 HAS SOUS 12893557 HAS SOUPS 12574586 WITH SCORE 1.2594271381E7
AT ITER 908 NEW BEST:: SOT 30295429 SOS 19685577 HAS SOPS 14249728 HAS SOUS 12893897 HAS SOUPS 12574550 WITH SCORE 1.2594235577E7
AT ITER 909 NEW BEST:: SOT 30294235 SOS 19684383 HAS SOPS 14245429 HAS SOUS 12889423 HAS SOUPS 12570076 WITH SCORE 1.2589760383E7
AT ITER 910 NEW BEST:: SOT 30294235 SOS 19684383 HAS SOPS 14245429 HAS SOUS 12889262 HAS SOUPS 12569915 WITH SCORE 1.2589599383E7
AT ITER 912 NEW BEST:: SOT 30293420 SOS 19683568 HAS SOPS 14241965 HAS SOUS 12885754 HAS SOUPS 12566407 WITH SCORE 1.2586090568E7
AT ITER 915 NEW BEST:: SOT 30292320 SOS 19641768 HAS SOPS 14201265 HAS SOUS 12883554 HAS SOUPS 12564207 WITH SCORE 1.2583848768E7
AT ITER 916 NEW BEST:: SOT 30291807 SOS 19641255 HAS SOPS 14200239 HAS SOUS 12882528 HAS SOUPS 12563181 WITH SCORE 1.2582822255E7
AT ITER 924 NEW BEST:: SOT 30290676 SOS 19640482 HAS SOPS 14197480 HAS SOUS 12879794 HAS SOUPS 12560423 WITH SCORE 1.2580063482E7
AT ITER 928 NEW BEST:: SOT 30290055 SOS 19639861 HAS SOPS 14194835 HAS SOUS 12876878 HAS SOUPS 12557748 WITH SCORE 1.2577387861E7
AT ITER 931 NEW BEST:: SOT 30290055 SOS 19639861 HAS SOPS 14194154 HAS SOUS 12876197 HAS SOUPS 12557067 WITH SCORE 1.2576706861E7
AT ITER 938 NEW BEST:: SOT 30288094 SOS 19637900 HAS SOPS 14189924 HAS SOUS 12870394 HAS SOUPS 12551196 WITH SCORE 1.25708339E7
AT ITER 940 NEW BEST:: SOT 30287532 SOS 19637651 HAS SOPS 14187698 HAS SOUS 12868169 HAS SOUPS 12548971 WITH SCORE 1.2568608651E7
AT ITER 944 NEW BEST:: SOT 30287532 SOS 19637651 HAS SOPS 14187698 HAS SOUS 12867813 HAS SOUPS 12548615 WITH SCORE 1.2568252651E7
AT ITER 947 NEW BEST:: SOT 30287092 SOS 19637911 HAS SOPS 14186278 HAS SOUS 12866394 HAS SOUPS 12547196 WITH SCORE 1.2566833911E7
AT ITER 954 NEW BEST:: SOT 30286301 SOS 19637120 HAS SOPS 14184525 HAS SOUS 12863681 HAS SOUPS 12544483 WITH SCORE 1.256412012E7
AT ITER 959 NEW BEST:: SOT 30285326 SOS 19636145 HAS SOPS 14184525 HAS SOUS 12863679 HAS SOUPS 12544483 WITH SCORE 1.2564119145E7
AT ITER 962 NEW BEST:: SOT 30285326 SOS 19636145 HAS SOPS 14183502 HAS SOUS 12862656 HAS SOUPS 12543460 WITH SCORE 1.2563096145E7
AT ITER 965 NEW BEST:: SOT 30284537 SOS 19635356 HAS SOPS 14182083 HAS SOUS 12861272 HAS SOUPS 12542041 WITH SCORE 1.2561676356E7
AT ITER 968 NEW BEST:: SOT 30283936 SOS 19634755 HAS SOPS 14180880 HAS SOUS 12859469 HAS SOUPS 12540238 WITH SCORE 1.2559872755E7
AT ITER 971 NEW BEST:: SOT 30282998 SOS 19633981 HAS SOPS 14181016 HAS SOUS 12859743 HAS SOUPS 12539437 WITH SCORE 1.2559070981E7
AT ITER 979 NEW BEST:: SOT 30283033 SOS 19640456 HAS SOPS 14180855 HAS SOUS 12859814 HAS SOUPS 12539276 WITH SCORE 1.2558916456E7
AT ITER 980 NEW BEST:: SOT 30282833 SOS 19640256 HAS SOPS 14179452 HAS SOUS 12858412 HAS SOUPS 12537874 WITH SCORE 1.2557514256E7
AT ITER 981 NEW BEST:: SOT 30282127 SOS 19639550 HAS SOPS 14178039 HAS SOUS 12855356 HAS SOUPS 12534818 WITH SCORE 1.255445755E7
AT ITER 987 NEW BEST:: SOT 30281879 SOS 19639302 HAS SOPS 14176337 HAS SOUS 12853926 HAS SOUPS 12533117 WITH SCORE 1.2552756302E7
AT ITER 988 NEW BEST:: SOT 30281879 SOS 19639302 HAS SOPS 14175204 HAS SOUS 12853420 HAS SOUPS 12531984 WITH SCORE 1.2551623302E7
AT ITER 990 NEW BEST:: SOT 30281776 SOS 19639199 HAS SOPS 14176878 HAS SOUS 12853213 HAS SOUPS 12531777 WITH SCORE 1.2551416199E7
AT ITER 991 NEW BEST:: SOT 30281776 SOS 19639199 HAS SOPS 14176622 HAS SOUS 12851839 HAS SOUPS 12530403 WITH SCORE 1.2550042199E7
AT ITER 992 NEW BEST:: SOT 30281776 SOS 19639199 HAS SOPS 14177416 HAS SOUS 12851838 HAS SOUPS 12530402 WITH SCORE 1.2550041199E7
AT ITER 996 NEW BEST:: SOT 30280331 SOS 19637754 HAS SOPS 14173229 HAS SOUS 12849692 HAS SOUPS 12526216 WITH SCORE 1.2545853754E7
AT ITER 997 NEW BEST:: SOT 30279504 SOS 19636927 HAS SOPS 14171282 HAS SOUS 12846993 HAS SOUPS 12523151 WITH SCORE 1.2542787927E7
AT ITER 1000 NEW BEST:: SOT 30279471 SOS 19636894 HAS SOPS 14171182 HAS SOUS 12846927 HAS SOUPS 12523052 WITH SCORE 1.2542688894E7
AT ITER 1003 NEW BEST:: SOT 30279462 SOS 19636885 HAS SOPS 14170766 HAS SOUS 12845268 HAS SOUPS 12521393 WITH SCORE 1.2541029885E7
AT ITER 1011 NEW BEST:: SOT 30279306 SOS 19636880 HAS SOPS 14170302 HAS SOUS 12844949 HAS SOUPS 12520929 WITH SCORE 1.254056588E7
AT ITER 1016 NEW BEST:: SOT 30279674 SOS 19638845 HAS SOPS 14169875 HAS SOUS 12844726 HAS SOUPS 12520502 WITH SCORE 1.2540140845E7
AT ITER 1017 NEW BEST:: SOT 30279674 SOS 19638845 HAS SOPS 14169871 HAS SOUS 12844746 HAS SOUPS 12520498 WITH SCORE 1.2540136845E7
AT ITER 1019 NEW BEST:: SOT 30279674 SOS 19638845 HAS SOPS 14169867 HAS SOUS 12844814 HAS SOUPS 12520494 WITH SCORE 1.2540132845E7
AT ITER 1038 NEW BEST:: SOT 30278813 SOS 19638505 HAS SOPS 14167790 HAS SOUS 12844003 HAS SOUPS 12518418 WITH SCORE 1.2538056505E7
AT ITER 1040 NEW BEST:: SOT 30278548 SOS 19638851 HAS SOPS 14166648 HAS SOUS 12842862 HAS SOUPS 12517277 WITH SCORE 1.2536915851E7
AT ITER 1044 NEW BEST:: SOT 30278548 SOS 19638851 HAS SOPS 14166647 HAS SOUS 12842078 HAS SOUPS 12516493 WITH SCORE 1.2536131851E7
AT ITER 1049 NEW BEST:: SOT 30278548 SOS 19638851 HAS SOPS 14165823 HAS SOUS 12841254 HAS SOUPS 12515669 WITH SCORE 1.2535307851E7
AT ITER 1050 NEW BEST:: SOT 30278241 SOS 19638544 HAS SOPS 14166157 HAS SOUS 12839274 HAS SOUPS 12513689 WITH SCORE 1.2533327544E7
AT ITER 1051 NEW BEST:: SOT 30278731 SOS 19639034 HAS SOPS 14164167 HAS SOUS 12836887 HAS SOUPS 12510712 WITH SCORE 1.2530351034E7
AT ITER 1053 NEW BEST:: SOT 30278968 SOS 19640265 HAS SOPS 14163294 HAS SOUS 12836015 HAS SOUPS 12509840 WITH SCORE 1.2529480265E7
AT ITER 1057 NEW BEST:: SOT 30278968 SOS 19640265 HAS SOPS 14162856 HAS SOUS 12835577 HAS SOUPS 12509402 WITH SCORE 1.2529042265E7
AT ITER 1060 NEW BEST:: SOT 30278834 SOS 19640964 HAS SOPS 14161366 HAS SOUS 12834088 HAS SOUPS 12507913 WITH SCORE 1.2527553964E7
AT ITER 1063 NEW BEST:: SOT 30277507 SOS 19639773 HAS SOPS 14158409 HAS SOUS 12831254 HAS SOUPS 12504957 WITH SCORE 1.2524596773E7
AT ITER 1064 NEW BEST:: SOT 30277283 SOS 19639549 HAS SOPS 14157961 HAS SOUS 12830806 HAS SOUPS 12504509 WITH SCORE 1.2524148549E7
AT ITER 1066 NEW BEST:: SOT 30275003 SOS 19637364 HAS SOPS 14156630 HAS SOUS 12829476 HAS SOUPS 12503179 WITH SCORE 1.2522816364E7
AT ITER 1067 NEW BEST:: SOT 30275003 SOS 19637364 HAS SOPS 14156459 HAS SOUS 12829142 HAS SOUPS 12502845 WITH SCORE 1.2522482364E7
AT ITER 1070 NEW BEST:: SOT 30274178 SOS 19636539 HAS SOPS 14154377 HAS SOUS 12827227 HAS SOUPS 12500763 WITH SCORE 1.2520399539E7
AT ITER 1071 NEW BEST:: SOT 30274043 SOS 19636404 HAS SOPS 14155402 HAS SOUS 12827140 HAS SOUPS 12500676 WITH SCORE 1.2520312404E7
AT ITER 1077 NEW BEST:: SOT 30273811 SOS 19636172 HAS SOPS 14155170 HAS SOUS 12826908 HAS SOUPS 12500444 WITH SCORE 1.2520080172E7
AT ITER 1080 NEW BEST:: SOT 30273811 SOS 19636172 HAS SOPS 14155227 HAS SOUS 12826847 HAS SOUPS 12500383 WITH SCORE 1.2520019172E7
AT ITER 1081 NEW BEST:: SOT 30273811 SOS 19636172 HAS SOPS 14155070 HAS SOUS 12826690 HAS SOUPS 12500226 WITH SCORE 1.2519862172E7
AT ITER 1082 NEW BEST:: SOT 30273679 SOS 19636040 HAS SOPS 14153877 HAS SOUS 12825902 HAS SOUPS 12498571 WITH SCORE 1.251820704E7
AT ITER 1087 NEW BEST:: SOT 30273982 SOS 19636957 HAS SOPS 14153683 HAS SOUS 12826056 HAS SOUPS 12498377 WITH SCORE 1.2518013957E7
AT ITER 1088 NEW BEST:: SOT 30273978 SOS 19636953 HAS SOPS 14155110 HAS SOUS 12826051 HAS SOUPS 12498372 WITH SCORE 1.2518008953E7
AT ITER 1095 NEW BEST:: SOT 30273640 SOS 19636277 HAS SOPS 14154772 HAS SOUS 12825713 HAS SOUPS 12498034 WITH SCORE 1.2517670277E7
AT ITER 1096 NEW BEST:: SOT 30273186 SOS 19635823 HAS SOPS 14153835 HAS SOUS 12824295 HAS SOUPS 12496616 WITH SCORE 1.2516251823E7
AT ITER 1097 NEW BEST:: SOT 30273265 SOS 19636651 HAS SOPS 14152238 HAS SOUS 12822699 HAS SOUPS 12495020 WITH SCORE 1.2514656651E7
AT ITER 1098 NEW BEST:: SOT 30273527 SOS 19636913 HAS SOPS 14152761 HAS SOUS 12821558 HAS SOUPS 12493879 WITH SCORE 1.2513515913E7
AT ITER 1099 NEW BEST:: SOT 30273424 SOS 19637658 HAS SOPS 14151580 HAS SOUS 12820378 HAS SOUPS 12492699 WITH SCORE 1.2512336658E7
AT ITER 1101 NEW BEST:: SOT 30273424 SOS 19637658 HAS SOPS 14152021 HAS SOUS 12820032 HAS SOUPS 12492353 WITH SCORE 1.2511990658E7
AT ITER 1102 NEW BEST:: SOT 30272508 SOS 19637589 HAS SOPS 14149599 HAS SOUS 12817611 HAS SOUPS 12489932 WITH SCORE 1.2509569589E7
AT ITER 1103 NEW BEST:: SOT 30272508 SOS 19637589 HAS SOPS 14148411 HAS SOUS 12816266 HAS SOUPS 12488587 WITH SCORE 1.2508224589E7
AT ITER 1106 NEW BEST:: SOT 30272458 SOS 19637539 HAS SOPS 14147834 HAS SOUS 12815689 HAS SOUPS 12488010 WITH SCORE 1.2507647539E7
AT ITER 1110 NEW BEST:: SOT 30272458 SOS 19637539 HAS SOPS 14148296 HAS SOUS 12815688 HAS SOUPS 12488009 WITH SCORE 1.2507646539E7
AT ITER 1114 NEW BEST:: SOT 30272152 SOS 19637233 HAS SOPS 14147684 HAS SOUS 12815076 HAS SOUPS 12487397 WITH SCORE 1.2507034233E7
AT ITER 1115 NEW BEST:: SOT 30272293 SOS 19637374 HAS SOPS 14146617 HAS SOUS 12815972 HAS SOUPS 12486331 WITH SCORE 1.2505968374E7
AT ITER 1116 NEW BEST:: SOT 30271160 SOS 19636616 HAS SOPS 14144060 HAS SOUS 12813629 HAS SOUPS 12483775 WITH SCORE 1.2503411616E7
AT ITER 1119 NEW BEST:: SOT 30271160 SOS 19636616 HAS SOPS 14144689 HAS SOUS 12812504 HAS SOUPS 12482661 WITH SCORE 1.2502297616E7
AT ITER 1123 NEW BEST:: SOT 30271183 SOS 19636662 HAS SOPS 14144447 HAS SOUS 12812262 HAS SOUPS 12482419 WITH SCORE 1.2502055662E7
AT ITER 1124 NEW BEST:: SOT 30270378 SOS 19635857 HAS SOPS 14142837 HAS SOUS 12810596 HAS SOUPS 12480005 WITH SCORE 1.2499640857E7
AT ITER 1126 NEW BEST:: SOT 30270065 SOS 19635544 HAS SOPS 14141796 HAS SOUS 12809555 HAS SOUPS 12478964 WITH SCORE 1.2498599544E7
AT ITER 1127 NEW BEST:: SOT 30271753 SOS 19637232 HAS SOPS 14141341 HAS SOUS 12809818 HAS SOUPS 12478509 WITH SCORE 1.2498146232E7
AT ITER 1138 NEW BEST:: SOT 30271080 SOS 19636975 HAS SOPS 14139578 HAS SOUS 12808259 HAS SOUPS 12476746 WITH SCORE 1.2496382975E7
AT ITER 1139 NEW BEST:: SOT 30271058 SOS 19660893 HAS SOPS 14139147 HAS SOUS 12808143 HAS SOUPS 12476315 WITH SCORE 1.2495975893E7
AT ITER 1141 NEW BEST:: SOT 30270246 SOS 19660630 HAS SOPS 14136943 HAS SOUS 12806138 HAS SOUPS 12474112 WITH SCORE 1.249377263E7
AT ITER 1150 NEW BEST:: SOT 30269490 SOS 19659874 HAS SOPS 14136366 HAS SOUS 12805561 HAS SOUPS 12473535 WITH SCORE 1.2493194874E7
AT ITER 1153 NEW BEST:: SOT 30268531 SOS 19658915 HAS SOPS 14134629 HAS SOUS 12803825 HAS SOUPS 12471799 WITH SCORE 1.2491457915E7
AT ITER 1159 NEW BEST:: SOT 30267445 SOS 19657829 HAS SOPS 14132456 HAS SOUS 12801653 HAS SOUPS 12469627 WITH SCORE 1.2489284829E7
AT ITER 1161 NEW BEST:: SOT 30267087 SOS 19657471 HAS SOPS 14132454 HAS SOUS 12800937 HAS SOUPS 12468911 WITH SCORE 1.2488568471E7
AT ITER 1168 NEW BEST:: SOT 30267087 SOS 19657471 HAS SOPS 14132420 HAS SOUS 12799444 HAS SOUPS 12467418 WITH SCORE 1.2487075471E7
AT ITER 1172 NEW BEST:: SOT 30267087 SOS 19657471 HAS SOPS 14131456 HAS SOUS 12798480 HAS SOUPS 12466454 WITH SCORE 1.2486111471E7
AT ITER 1176 NEW BEST:: SOT 30265652 SOS 19656216 HAS SOPS 14128405 HAS SOUS 12795430 HAS SOUPS 12463404 WITH SCORE 1.2483060216E7
AT ITER 1177 NEW BEST:: SOT 30264773 SOS 19655742 HAS SOPS 14125886 HAS SOUS 12794551 HAS SOUPS 12462525 WITH SCORE 1.2482180742E7
AT ITER 1178 NEW BEST:: SOT 30264582 SOS 19648484 HAS SOPS 14118915 HAS SOUS 12794265 HAS SOUPS 12462239 WITH SCORE 1.2481887484E7
AT ITER 1186 NEW BEST:: SOT 30264583 SOS 19689191 HAS SOPS 14118576 HAS SOUS 12794267 HAS SOUPS 12461900 WITH SCORE 1.2481589191E7
AT ITER 1188 NEW BEST:: SOT 30265306 SOS 19690796 HAS SOPS 14117830 HAS SOUS 12793680 HAS SOUPS 12461154 WITH SCORE 1.2480844796E7
AT ITER 1192 NEW BEST:: SOT 30265678 SOS 19691168 HAS SOPS 14117774 HAS SOUS 12793564 HAS SOUPS 12461098 WITH SCORE 1.2480789168E7
AT ITER 1194 NEW BEST:: SOT 30265678 SOS 19696528 HAS SOPS 14117502 HAS SOUS 12793542 HAS SOUPS 12460826 WITH SCORE 1.2480522528E7
AT ITER 1200 NEW BEST:: SOT 30264901 SOS 19696705 HAS SOPS 14115167 HAS SOUS 12791208 HAS SOUPS 12458492 WITH SCORE 1.2478188705E7
AT ITER 1205 NEW BEST:: SOT 30265273 SOS 19698253 HAS SOPS 14114556 HAS SOUS 12790598 HAS SOUPS 12457882 WITH SCORE 1.2477580253E7
AT ITER 1206 NEW BEST:: SOT 30263778 SOS 19696758 HAS SOPS 14109811 HAS SOUS 12785754 HAS SOUPS 12452471 WITH SCORE 1.2472167758E7
AT ITER 1220 NEW BEST:: SOT 30262871 SOS 19695851 HAS SOPS 14106344 HAS SOUS 12782514 HAS SOUPS 12449231 WITH SCORE 1.2468926851E7
AT ITER 1221 NEW BEST:: SOT 30262964 SOS 19695944 HAS SOPS 14106436 HAS SOUS 12781719 HAS SOUPS 12448436 WITH SCORE 1.2468131944E7
AT ITER 1222 NEW BEST:: SOT 30262324 SOS 19648297 HAS SOPS 14031455 HAS SOUS 12753196 HAS SOUPS 12419913 WITH SCORE 1.2439561297E7
AT ITER 1233 NEW BEST:: SOT 30263880 SOS 19649853 HAS SOPS 14030132 HAS SOUS 12753907 HAS SOUPS 12418589 WITH SCORE 1.2438238853E7
AT ITER 1235 NEW BEST:: SOT 30263880 SOS 19649853 HAS SOPS 14029858 HAS SOUS 12753795 HAS SOUPS 12418315 WITH SCORE 1.2437964853E7
AT ITER 1237 NEW BEST:: SOT 30263880 SOS 19649853 HAS SOPS 14029790 HAS SOUS 12753727 HAS SOUPS 12418247 WITH SCORE 1.2437896853E7
AT ITER 1238 NEW BEST:: SOT 30262343 SOS 19648316 HAS SOPS 14026715 HAS SOUS 12750309 HAS SOUPS 12414666 WITH SCORE 1.2434314316E7
AT ITER 1241 NEW BEST:: SOT 30261100 SOS 19647073 HAS SOPS 14025311 HAS SOUS 12748752 HAS SOUPS 12413303 WITH SCORE 1.2432950073E7
AT ITER 1244 NEW BEST:: SOT 30260879 SOS 19646852 HAS SOPS 14024868 HAS SOUS 12747514 HAS SOUPS 12411833 WITH SCORE 1.2431479852E7
AT ITER 1248 NEW BEST:: SOT 30260416 SOS 19647055 HAS SOPS 14023275 HAS SOUS 12746260 HAS SOUPS 12410241 WITH SCORE 1.2429888055E7
AT ITER 1250 NEW BEST:: SOT 30259611 SOS 19646250 HAS SOPS 14019235 HAS SOUS 12743788 HAS SOUPS 12407769 WITH SCORE 1.242741525E7
AT ITER 1255 NEW BEST:: SOT 30259487 SOS 19646126 HAS SOPS 14018987 HAS SOUS 12743540 HAS SOUPS 12407521 WITH SCORE 1.2427167126E7
AT ITER 1256 NEW BEST:: SOT 30258366 SOS 19645244 HAS SOPS 14016688 HAS SOUS 12741582 HAS SOUPS 12405223 WITH SCORE 1.2424868244E7
AT ITER 1261 NEW BEST:: SOT 30258148 SOS 19645026 HAS SOPS 14016252 HAS SOUS 12741146 HAS SOUPS 12404787 WITH SCORE 1.2424432026E7
AT ITER 1265 NEW BEST:: SOT 30258468 SOS 19645346 HAS SOPS 14014802 HAS SOUS 12739033 HAS SOUPS 12402620 WITH SCORE 1.2422265346E7
AT ITER 1266 NEW BEST:: SOT 30258468 SOS 19645346 HAS SOPS 14014225 HAS SOUS 12736785 HAS SOUPS 12400372 WITH SCORE 1.2420017346E7
AT ITER 1276 NEW BEST:: SOT 30258229 SOS 19645107 HAS SOPS 14013747 HAS SOUS 12736546 HAS SOUPS 12399894 WITH SCORE 1.2419539107E7
AT ITER 1278 NEW BEST:: SOT 30258229 SOS 19645107 HAS SOPS 14012925 HAS SOUS 12735962 HAS SOUPS 12399072 WITH SCORE 1.2418717107E7
AT ITER 1281 NEW BEST:: SOT 30258138 SOS 19645016 HAS SOPS 14013016 HAS SOUS 12735962 HAS SOUPS 12399072 WITH SCORE 1.2418717016E7
AT ITER 1284 NEW BEST:: SOT 30258138 SOS 19645016 HAS SOPS 14012956 HAS SOUS 12735903 HAS SOUPS 12399013 WITH SCORE 1.2418658016E7
AT ITER 1287 NEW BEST:: SOT 30257951 SOS 19644829 HAS SOPS 14012581 HAS SOUS 12733900 HAS SOUPS 12397010 WITH SCORE 1.2416654829E7
AT ITER 1289 NEW BEST:: SOT 30258434 SOS 19645312 HAS SOPS 14012293 HAS SOUS 12733646 HAS SOUPS 12396722 WITH SCORE 1.2416367312E7
AT ITER 1291 NEW BEST:: SOT 30256072 SOS 19642950 HAS SOPS 14007568 HAS SOUS 12730145 HAS SOUPS 12390859 WITH SCORE 1.241050195E7
AT ITER 1298 NEW BEST:: SOT 30254897 SOS 19642055 HAS SOPS 14004937 HAS SOUS 12727651 HAS SOUPS 12388229 WITH SCORE 1.2407871055E7
AT ITER 1300 NEW BEST:: SOT 30253869 SOS 19641027 HAS SOPS 14002880 HAS SOUS 12725594 HAS SOUPS 12385144 WITH SCORE 1.2404785027E7
AT ITER 1303 NEW BEST:: SOT 30253683 SOS 19641415 HAS SOPS 14001022 HAS SOUS 12723737 HAS SOUPS 12383287 WITH SCORE 1.2402928415E7
AT ITER 1304 NEW BEST:: SOT 30252837 SOS 19640569 HAS SOPS 13999329 HAS SOUS 12720383 HAS SOUPS 12379933 WITH SCORE 1.2399573569E7
AT ITER 1306 NEW BEST:: SOT 30252818 SOS 19640531 HAS SOPS 13998536 HAS SOUS 12719590 HAS SOUPS 12379140 WITH SCORE 1.2398780531E7
AT ITER 1307 NEW BEST:: SOT 30251995 SOS 19639708 HAS SOPS 13996889 HAS SOUS 12716498 HAS SOUPS 12375844 WITH SCORE 1.2395483708E7
AT ITER 1312 NEW BEST:: SOT 30251053 SOS 19638766 HAS SOPS 13994137 HAS SOUS 12714196 HAS SOUPS 12373168 WITH SCORE 1.2392806766E7
AT ITER 1334 NEW BEST:: SOT 30250151 SOS 19637864 HAS SOPS 13991430 HAS SOUS 12711490 HAS SOUPS 12370462 WITH SCORE 1.2390099864E7
AT ITER 1347 NEW BEST:: SOT 30249152 SOS 19636865 HAS SOPS 13989431 HAS SOUS 12709025 HAS SOUPS 12367997 WITH SCORE 1.2387633865E7
AT ITER 1349 NEW BEST:: SOT 30249157 SOS 19654590 HAS SOPS 13988989 HAS SOUS 12709028 HAS SOUPS 12367555 WITH SCORE 1.238720959E7
AT ITER 1351 NEW BEST:: SOT 30249242 SOS 19654675 HAS SOPS 13989080 HAS SOUS 12708700 HAS SOUPS 12367227 WITH SCORE 1.2386881675E7
AT ITER 1355 NEW BEST:: SOT 30248106 SOS 19653539 HAS SOPS 13986328 HAS SOUS 12706337 HAS SOUPS 12364864 WITH SCORE 1.2384517539E7
AT ITER 1356 NEW BEST:: SOT 30247061 SOS 19652920 HAS SOPS 13983021 HAS SOUS 12705862 HAS SOUPS 12364253 WITH SCORE 1.238390592E7
AT ITER 1357 NEW BEST:: SOT 30247061 SOS 19652920 HAS SOPS 13981771 HAS SOUS 12704612 HAS SOUPS 12363003 WITH SCORE 1.238265592E7
AT ITER 1361 NEW BEST:: SOT 30245824 SOS 19651683 HAS SOPS 13980209 HAS SOUS 12703050 HAS SOUPS 12361441 WITH SCORE 1.2381092683E7
AT ITER 1370 NEW BEST:: SOT 30245759 SOS 19651618 HAS SOPS 13980079 HAS SOUS 12702985 HAS SOUPS 12361311 WITH SCORE 1.2380962618E7
AT ITER 1373 NEW BEST:: SOT 30245759 SOS 19651618 HAS SOPS 13980078 HAS SOUS 12702088 HAS SOUPS 12360414 WITH SCORE 1.2380065618E7
AT ITER 1376 NEW BEST:: SOT 30245710 SOS 19651569 HAS SOPS 13979558 HAS SOUS 12701568 HAS SOUPS 12359894 WITH SCORE 1.2379545569E7
AT ITER 1379 NEW BEST:: SOT 30245710 SOS 19651569 HAS SOPS 13979558 HAS SOUS 12701563 HAS SOUPS 12359889 WITH SCORE 1.2379540569E7
AT ITER 1381 NEW BEST:: SOT 30245710 SOS 19651569 HAS SOPS 13979128 HAS SOUS 12701008 HAS SOUPS 12359334 WITH SCORE 1.2378985569E7
AT ITER 1384 NEW BEST:: SOT 30245733 SOS 19651891 HAS SOPS 13978547 HAS SOUS 12700471 HAS SOUPS 12358753 WITH SCORE 1.2378404891E7
AT ITER 1392 NEW BEST:: SOT 30245576 SOS 19651734 HAS SOPS 13978233 HAS SOUS 12700068 HAS SOUPS 12358350 WITH SCORE 1.2378001734E7
AT ITER 1393 NEW BEST:: SOT 30245576 SOS 19651734 HAS SOPS 13977167 HAS SOUS 12697389 HAS SOUPS 12355671 WITH SCORE 1.2375322734E7
AT ITER 1396 NEW BEST:: SOT 30244752 SOS 19650910 HAS SOPS 13975465 HAS SOUS 12694811 HAS SOUPS 12353093 WITH SCORE 1.237274391E7
AT ITER 1397 NEW BEST:: SOT 30243778 SOS 19649936 HAS SOPS 13974149 HAS SOUS 12693495 HAS SOUPS 12351777 WITH SCORE 1.2371426936E7
AT ITER 1407 NEW BEST:: SOT 30243096 SOS 19649254 HAS SOPS 13972320 HAS SOUS 12690521 HAS SOUPS 12348803 WITH SCORE 1.2368452254E7
AT ITER 1408 NEW BEST:: SOT 30243096 SOS 19649254 HAS SOPS 13972319 HAS SOUS 12689529 HAS SOUPS 12347811 WITH SCORE 1.2367460254E7
AT ITER 1412 NEW BEST:: SOT 30242224 SOS 19648382 HAS SOPS 13970575 HAS SOUS 12687785 HAS SOUPS 12346067 WITH SCORE 1.2365715382E7
AT ITER 1415 NEW BEST:: SOT 30242122 SOS 19648280 HAS SOPS 13966929 HAS SOUS 12685596 HAS SOUPS 12343878 WITH SCORE 1.236352628E7
AT ITER 1421 NEW BEST:: SOT 30241185 SOS 19647790 HAS SOPS 13964358 HAS SOUS 12683026 HAS SOUPS 12341308 WITH SCORE 1.236095579E7
AT ITER 1423 NEW BEST:: SOT 30240444 SOS 19647049 HAS SOPS 13962875 HAS SOUS 12680803 HAS SOUPS 12339085 WITH SCORE 1.2358732049E7
AT ITER 1424 NEW BEST:: SOT 30240055 SOS 19646660 HAS SOPS 13962880 HAS SOUS 12680414 HAS SOUPS 12338696 WITH SCORE 1.235834266E7
AT ITER 1425 NEW BEST:: SOT 30239344 SOS 19645949 HAS SOPS 13960871 HAS SOUS 12677109 HAS SOUPS 12335391 WITH SCORE 1.2355036949E7
AT ITER 1430 NEW BEST:: SOT 30238463 SOS 19645489 HAS SOPS 13958922 HAS SOUS 12675171 HAS SOUPS 12333443 WITH SCORE 1.2353088489E7
AT ITER 1432 NEW BEST:: SOT 30237398 SOS 19644424 HAS SOPS 13956352 HAS SOUS 12672603 HAS SOUPS 12330875 WITH SCORE 1.2350519424E7
AT ITER 1452 NEW BEST:: SOT 30237072 SOS 19632036 HAS SOPS 13944290 HAS SOUS 12671951 HAS SOUPS 12330223 WITH SCORE 1.2349855036E7
AT ITER 1453 NEW BEST:: SOT 30236964 SOS 19631928 HAS SOPS 13945077 HAS SOUS 12671735 HAS SOUPS 12330007 WITH SCORE 1.2349638928E7
AT ITER 1454 NEW BEST:: SOT 30236389 SOS 19631353 HAS SOPS 13944206 HAS SOUS 12670864 HAS SOUPS 12329136 WITH SCORE 1.2348767353E7
AT ITER 1456 NEW BEST:: SOT 30235551 SOS 19630515 HAS SOPS 13942827 HAS SOUS 12669486 HAS SOUPS 12327758 WITH SCORE 1.2347388515E7
AT ITER 1457 NEW BEST:: SOT 30235244 SOS 19627905 HAS SOPS 13943177 HAS SOUS 12668522 HAS SOUPS 12327123 WITH SCORE 1.2346750905E7
AT ITER 1464 NEW BEST:: SOT 30234626 SOS 19627287 HAS SOPS 13943177 HAS SOUS 12668522 HAS SOUPS 12327123 WITH SCORE 1.2346750287E7
AT ITER 1472 NEW BEST:: SOT 30233219 SOS 19625880 HAS SOPS 13938505 HAS SOUS 12665544 HAS SOUPS 12324084 WITH SCORE 1.234370988E7
AT ITER 1478 NEW BEST:: SOT 30232986 SOS 19625647 HAS SOPS 13938272 HAS SOUS 12665312 HAS SOUPS 12323852 WITH SCORE 1.2343477647E7
AT ITER 1480 NEW BEST:: SOT 30232287 SOS 19624948 HAS SOPS 13937106 HAS SOUS 12664147 HAS SOUPS 12322454 WITH SCORE 1.2342078948E7
AT ITER 1482 NEW BEST:: SOT 30232287 SOS 19624948 HAS SOPS 13936750 HAS SOUS 12663791 HAS SOUPS 12322098 WITH SCORE 1.2341722948E7
AT ITER 1483 NEW BEST:: SOT 30231746 SOS 19624407 HAS SOPS 13934553 HAS SOUS 12661595 HAS SOUPS 12319902 WITH SCORE 1.2339526407E7
AT ITER 1485 NEW BEST:: SOT 30230748 SOS 19623409 HAS SOPS 13929524 HAS SOUS 12657073 HAS SOUPS 12315380 WITH SCORE 1.2335003409E7
AT ITER 1495 NEW BEST:: SOT 30230127 SOS 19623415 HAS SOPS 13927896 HAS SOUS 12655446 HAS SOUPS 12313753 WITH SCORE 1.2333376415E7
AT ITER 1498 NEW BEST:: SOT 30229940 SOS 19623228 HAS SOPS 13927407 HAS SOUS 12654957 HAS SOUPS 12313264 WITH SCORE 1.2332887228E7
AT ITER 1502 NEW BEST:: SOT 30229128 SOS 19622416 HAS SOPS 13925782 HAS SOUS 12653332 HAS SOUPS 12311639 WITH SCORE 1.2331261416E7
AT ITER 1503 NEW BEST:: SOT 30227836 SOS 19621215 HAS SOPS 13922856 HAS SOUS 12650424 HAS SOUPS 12308714 WITH SCORE 1.2328335215E7
AT ITER 1507 NEW BEST:: SOT 30227737 SOS 19621116 HAS SOPS 13924538 HAS SOUS 12650226 HAS SOUPS 12308516 WITH SCORE 1.2328137116E7
AT ITER 1510 NEW BEST:: SOT 30227547 SOS 19620926 HAS SOPS 13924158 HAS SOUS 12649846 HAS SOUPS 12308136 WITH SCORE 1.2327756926E7
AT ITER 1511 NEW BEST:: SOT 30226486 SOS 19619865 HAS SOPS 13922491 HAS SOUS 12648383 HAS SOUPS 12306469 WITH SCORE 1.2326088865E7
AT ITER 1514 NEW BEST:: SOT 30226498 SOS 19619877 HAS SOPS 13923343 HAS SOUS 12647950 HAS SOUPS 12306036 WITH SCORE 1.2325655877E7
AT ITER 1516 NEW BEST:: SOT 30229995 SOS 19624542 HAS SOPS 13922416 HAS SOUS 12647024 HAS SOUPS 12305110 WITH SCORE 1.2324734542E7
AT ITER 1519 NEW BEST:: SOT 30229995 SOS 19624542 HAS SOPS 13920947 HAS SOUS 12645555 HAS SOUPS 12303641 WITH SCORE 1.2323265542E7
AT ITER 1521 NEW BEST:: SOT 30229571 SOS 19625200 HAS SOPS 13919886 HAS SOUS 12645310 HAS SOUPS 12302581 WITH SCORE 1.23222062E7
AT ITER 1522 NEW BEST:: SOT 30229571 SOS 19625200 HAS SOPS 13919096 HAS SOUS 12644731 HAS SOUPS 12302002 WITH SCORE 1.23216272E7
AT ITER 1525 NEW BEST:: SOT 30181085 SOS 19579013 HAS SOPS 13902859 HAS SOUS 12620754 HAS SOUPS 12285249 WITH SCORE 1.2304828013E7
AT ITER 1526 NEW BEST:: SOT 30181085 SOS 19579013 HAS SOPS 13900777 HAS SOUS 12618672 HAS SOUPS 12283167 WITH SCORE 1.2302746013E7
AT ITER 1530 NEW BEST:: SOT 30180643 SOS 19578571 HAS SOPS 13899893 HAS SOUS 12618558 HAS SOUPS 12283053 WITH SCORE 1.2302631571E7
AT ITER 1539 NEW BEST:: SOT 30179920 SOS 19577848 HAS SOPS 13898446 HAS SOUS 12616209 HAS SOUPS 12280704 WITH SCORE 1.2300281848E7
AT ITER 1551 NEW BEST:: SOT 30179920 SOS 19577848 HAS SOPS 13898263 HAS SOUS 12616026 HAS SOUPS 12280521 WITH SCORE 1.2300098848E7
AT ITER 1552 NEW BEST:: SOT 30178486 SOS 19576414 HAS SOPS 13895394 HAS SOUS 12612020 HAS SOUPS 12276039 WITH SCORE 1.2295615414E7
AT ITER 1559 NEW BEST:: SOT 30178486 SOS 19576414 HAS SOPS 13893806 HAS SOUS 12609099 HAS SOUPS 12272863 WITH SCORE 1.2292439414E7
AT ITER 1563 NEW BEST:: SOT 30177646 SOS 19575574 HAS SOPS 13892125 HAS SOUS 12607420 HAS SOUPS 12271184 WITH SCORE 1.2290759574E7
AT ITER 1568 NEW BEST:: SOT 30202692 SOS 19590179 HAS SOPS 13878818 HAS SOUS 12602527 HAS SOUPS 12265695 WITH SCORE 1.2285285179E7
AT ITER 1570 NEW BEST:: SOT 30201852 SOS 19589339 HAS SOPS 13876318 HAS SOUS 12598369 HAS SOUPS 12261537 WITH SCORE 1.2281126339E7
AT ITER 1572 NEW BEST:: SOT 30200960 SOS 19588447 HAS SOPS 13873898 HAS SOUS 12594423 HAS SOUPS 12257591 WITH SCORE 1.2277179447E7
AT ITER 1574 NEW BEST:: SOT 30199742 SOS 19587229 HAS SOPS 13871462 HAS SOUS 12591987 HAS SOUPS 12255155 WITH SCORE 1.2274742229E7
AT ITER 1575 NEW BEST:: SOT 30199742 SOS 19587229 HAS SOPS 13870655 HAS SOUS 12591244 HAS SOUPS 12254412 WITH SCORE 1.2273999229E7
AT ITER 1578 NEW BEST:: SOT 30198609 SOS 19586096 HAS SOPS 13866929 HAS SOUS 12587332 HAS SOUPS 12250500 WITH SCORE 1.2270086096E7
AT ITER 1579 NEW BEST:: SOT 30198013 SOS 19585500 HAS SOPS 13866417 HAS SOUS 12586135 HAS SOUPS 12249303 WITH SCORE 1.22688885E7
AT ITER 1580 NEW BEST:: SOT 30197988 SOS 19585475 HAS SOPS 13867212 HAS SOUS 12585969 HAS SOUPS 12249253 WITH SCORE 1.2268838475E7
AT ITER 1591 NEW BEST:: SOT 30197988 SOS 19585475 HAS SOPS 13867212 HAS SOUS 12584939 HAS SOUPS 12248223 WITH SCORE 1.2267808475E7
AT ITER 1599 NEW BEST:: SOT 30197987 SOS 19586366 HAS SOPS 13866199 HAS SOUS 12583927 HAS SOUPS 12247211 WITH SCORE 1.2266797366E7
AT ITER 1602 NEW BEST:: SOT 30196672 SOS 19585051 HAS SOPS 13863568 HAS SOUS 12580377 HAS SOUPS 12243266 WITH SCORE 1.2262851051E7
AT ITER 1609 NEW BEST:: SOT 30195594 SOS 19583973 HAS SOPS 13861411 HAS SOUS 12577209 HAS SOUPS 12239674 WITH SCORE 1.2259257973E7
AT ITER 1610 NEW BEST:: SOT 30193441 SOS 19581820 HAS SOPS 13856806 HAS SOUS 12571330 HAS SOUPS 12233448 WITH SCORE 1.225302982E7
AT ITER 1612 NEW BEST:: SOT 30192399 SOS 19580778 HAS SOPS 13854721 HAS SOUS 12567596 HAS SOUPS 12229714 WITH SCORE 1.2249294778E7
AT ITER 1617 NEW BEST:: SOT 30192657 SOS 19697379 HAS SOPS 13853255 HAS SOUS 12567147 HAS SOUPS 12228248 WITH SCORE 1.2247945379E7
AT ITER 1619 NEW BEST:: SOT 30192490 SOS 19697212 HAS SOPS 13851880 HAS SOUS 12565772 HAS SOUPS 12226873 WITH SCORE 1.2246570212E7
AT ITER 1623 NEW BEST:: SOT 30192710 SOS 19697432 HAS SOPS 13850074 HAS SOUS 12563965 HAS SOUPS 12225066 WITH SCORE 1.2244763432E7
AT ITER 1631 NEW BEST:: SOT 30192710 SOS 19697432 HAS SOPS 13849734 HAS SOUS 12563625 HAS SOUPS 12224726 WITH SCORE 1.2244423432E7
AT ITER 1632 NEW BEST:: SOT 30192119 SOS 19697262 HAS SOPS 13847487 HAS SOUS 12561414 HAS SOUPS 12222480 WITH SCORE 1.2242177262E7
AT ITER 1637 NEW BEST:: SOT 30191340 SOS 19697435 HAS SOPS 13845348 HAS SOUS 12559276 HAS SOUPS 12220342 WITH SCORE 1.2240039435E7
AT ITER 1641 NEW BEST:: SOT 30190628 SOS 19696723 HAS SOPS 13843796 HAS SOUS 12556886 HAS SOUPS 12217952 WITH SCORE 1.2237648723E7
AT ITER 1642 NEW BEST:: SOT 30190628 SOS 19696723 HAS SOPS 13843445 HAS SOUS 12556535 HAS SOUPS 12217601 WITH SCORE 1.2237297723E7
AT ITER 1644 NEW BEST:: SOT 30190628 SOS 19696723 HAS SOPS 13843834 HAS SOUS 12555291 HAS SOUPS 12216357 WITH SCORE 1.2236053723E7
AT ITER 1650 NEW BEST:: SOT 30190953 SOS 19697048 HAS SOPS 13843661 HAS SOUS 12555118 HAS SOUPS 12216184 WITH SCORE 1.2235881048E7
AT ITER 1653 NEW BEST:: SOT 30190597 SOS 19696692 HAS SOPS 13842948 HAS SOUS 12553025 HAS SOUPS 12214091 WITH SCORE 1.2233787692E7
AT ITER 1656 NEW BEST:: SOT 30189957 SOS 19696052 HAS SOPS 13841391 HAS SOUS 12550553 HAS SOUPS 12211619 WITH SCORE 1.2231315052E7
AT ITER 1661 NEW BEST:: SOT 30189549 SOS 19695644 HAS SOPS 13839445 HAS SOUS 12548427 HAS SOUPS 12209493 WITH SCORE 1.2229188644E7
AT ITER 1671 NEW BEST:: SOT 30188217 SOS 19694511 HAS SOPS 13835839 HAS SOUS 12546358 HAS SOUPS 12207424 WITH SCORE 1.2227118511E7
AT ITER 1673 NEW BEST:: SOT 30187634 SOS 19693928 HAS SOPS 13834673 HAS SOUS 12545775 HAS SOUPS 12206258 WITH SCORE 1.2225951928E7
AT ITER 1682 NEW BEST:: SOT 30186781 SOS 19693258 HAS SOPS 13832164 HAS SOUS 12543267 HAS SOUPS 12203750 WITH SCORE 1.2223443258E7
AT ITER 1685 NEW BEST:: SOT 30185814 SOS 19692291 HAS SOPS 13830775 HAS SOUS 12541878 HAS SOUPS 12202361 WITH SCORE 1.2222053291E7
AT ITER 1687 NEW BEST:: SOT 30185814 SOS 19692291 HAS SOPS 13830648 HAS SOUS 12541761 HAS SOUPS 12202234 WITH SCORE 1.2221926291E7
AT ITER 1688 NEW BEST:: SOT 30186065 SOS 19694098 HAS SOPS 13830043 HAS SOUS 12541156 HAS SOUPS 12201629 WITH SCORE 1.2221323098E7
AT ITER 1699 NEW BEST:: SOT 30185960 SOS 19693993 HAS SOPS 13829833 HAS SOUS 12540946 HAS SOUPS 12201419 WITH SCORE 1.2221112993E7
AT ITER 1700 NEW BEST:: SOT 30186257 SOS 19694357 HAS SOPS 13829657 HAS SOUS 12540771 HAS SOUPS 12201244 WITH SCORE 1.2220938357E7
AT ITER 1703 NEW BEST:: SOT 30186678 SOS 19729770 HAS SOPS 13829597 HAS SOUS 12541192 HAS SOUPS 12201184 WITH SCORE 1.222091377E7
AT ITER 1705 NEW BEST:: SOT 30185851 SOS 19728943 HAS SOPS 13827942 HAS SOUS 12538719 HAS SOUPS 12199530 WITH SCORE 1.2219258943E7
AT ITER 1707 NEW BEST:: SOT 30184915 SOS 19728007 HAS SOPS 13823684 HAS SOUS 12534462 HAS SOUPS 12195273 WITH SCORE 1.2215001007E7
AT ITER 1711 NEW BEST:: SOT 30184824 SOS 19728553 HAS SOPS 13823029 HAS SOUS 12533807 HAS SOUPS 12194618 WITH SCORE 1.2214346553E7
AT ITER 1721 NEW BEST:: SOT 30185329 SOS 19729849 HAS SOPS 13822432 HAS SOUS 12533211 HAS SOUPS 12194022 WITH SCORE 1.2213751849E7
AT ITER 1722 NEW BEST:: SOT 30185521 SOS 19730041 HAS SOPS 13821680 HAS SOUS 12533371 HAS SOUPS 12192944 WITH SCORE 1.2212674041E7
AT ITER 1729 NEW BEST:: SOT 30184669 SOS 19729189 HAS SOPS 13821570 HAS SOUS 12533304 HAS SOUPS 12192877 WITH SCORE 1.2212606189E7
AT ITER 1732 NEW BEST:: SOT 30184527 SOS 19729047 HAS SOPS 13820262 HAS SOUS 12532121 HAS SOUPS 12192261 WITH SCORE 1.2211990047E7
AT ITER 1735 NEW BEST:: SOT 30184324 SOS 19728844 HAS SOPS 13820059 HAS SOUS 12531918 HAS SOUPS 12192058 WITH SCORE 1.2211786844E7
AT ITER 1737 NEW BEST:: SOT 30184583 SOS 19729103 HAS SOPS 13820317 HAS SOUS 12531028 HAS SOUPS 12191168 WITH SCORE 1.2210897103E7
AT ITER 1739 NEW BEST:: SOT 30214297 SOS 19710940 HAS SOPS 13766162 HAS SOUS 12524303 HAS SOUPS 12183111 WITH SCORE 1.220282194E7
AT ITER 1744 NEW BEST:: SOT 30214501 SOS 19711144 HAS SOPS 13765110 HAS SOUS 12523132 HAS SOUPS 12182060 WITH SCORE 1.2201771144E7
AT ITER 1750 NEW BEST:: SOT 30212866 SOS 19709630 HAS SOPS 13761758 HAS SOUS 12519888 HAS SOUPS 12178816 WITH SCORE 1.219852563E7
AT ITER 1757 NEW BEST:: SOT 30212866 SOS 19709630 HAS SOPS 13760587 HAS SOUS 12519074 HAS SOUPS 12178002 WITH SCORE 1.219771163E7
AT ITER 1759 NEW BEST:: SOT 30212643 SOS 19709407 HAS SOPS 13760329 HAS SOUS 12518628 HAS SOUPS 12177556 WITH SCORE 1.2197265407E7
AT ITER 1761 NEW BEST:: SOT 30212643 SOS 19709407 HAS SOPS 13760328 HAS SOUS 12517518 HAS SOUPS 12176446 WITH SCORE 1.2196155407E7
AT ITER 1766 NEW BEST:: SOT 30215211 SOS 19713120 HAS SOPS 13758903 HAS SOUS 12519421 HAS SOUPS 12175022 WITH SCORE 1.219473512E7
AT ITER 1767 NEW BEST:: SOT 30217325 SOS 19715234 HAS SOPS 13759232 HAS SOUS 12517480 HAS SOUPS 12173081 WITH SCORE 1.2192796234E7
AT ITER 1773 NEW BEST:: SOT 30217714 SOS 19716499 HAS SOPS 13758625 HAS SOUS 12518462 HAS SOUPS 12172474 WITH SCORE 1.2192190499E7
AT ITER 1774 NEW BEST:: SOT 30217714 SOS 19716499 HAS SOPS 13757200 HAS SOUS 12516833 HAS SOUPS 12171049 WITH SCORE 1.2190765499E7
AT ITER 1781 NEW BEST:: SOT 30217534 SOS 19716319 HAS SOPS 13756840 HAS SOUS 12516473 HAS SOUPS 12170689 WITH SCORE 1.2190405319E7
AT ITER 1782 NEW BEST:: SOT 30217514 SOS 19715507 HAS SOPS 13756995 HAS SOUS 12513969 HAS SOUPS 12168273 WITH SCORE 1.2187988507E7
AT ITER 1788 NEW BEST:: SOT 30216160 SOS 19714153 HAS SOPS 13754286 HAS SOUS 12511857 HAS SOUPS 12165767 WITH SCORE 1.2185481153E7
AT ITER 1789 NEW BEST:: SOT 30216332 SOS 19714325 HAS SOPS 13753319 HAS SOUS 12511893 HAS SOUPS 12164800 WITH SCORE 1.2184514325E7
AT ITER 1797 NEW BEST:: SOT 30216332 SOS 19714325 HAS SOPS 13753319 HAS SOUS 12511586 HAS SOUPS 12164493 WITH SCORE 1.2184207325E7
AT ITER 1798 NEW BEST:: SOT 30215808 SOS 19713801 HAS SOPS 13752271 HAS SOUS 12510538 HAS SOUPS 12162921 WITH SCORE 1.2182634801E7
AT ITER 1809 NEW BEST:: SOT 30215808 SOS 19713801 HAS SOPS 13752133 HAS SOUS 12510402 HAS SOUPS 12162785 WITH SCORE 1.2182498801E7
AT ITER 1821 NEW BEST:: SOT 30214544 SOS 19712537 HAS SOPS 13749604 HAS SOUS 12507875 HAS SOUPS 12160258 WITH SCORE 1.2179970537E7
AT ITER 1835 NEW BEST:: SOT 30214991 SOS 19712984 HAS SOPS 13749415 HAS SOUS 12506039 HAS SOUPS 12158422 WITH SCORE 1.2178134984E7
AT ITER 1837 NEW BEST:: SOT 30214977 SOS 19712970 HAS SOPS 13749400 HAS SOUS 12506011 HAS SOUPS 12158394 WITH SCORE 1.217810697E7
AT ITER 1841 NEW BEST:: SOT 30214952 SOS 19712945 HAS SOPS 13749325 HAS SOUS 12505936 HAS SOUPS 12158319 WITH SCORE 1.2178031945E7
AT ITER 1842 NEW BEST:: SOT 30214654 SOS 19712647 HAS SOPS 13748667 HAS SOUS 12505016 HAS SOUPS 12157399 WITH SCORE 1.2177111647E7
AT ITER 1843 NEW BEST:: SOT 30214654 SOS 19712647 HAS SOPS 13746299 HAS SOUS 12504307 HAS SOUPS 12156690 WITH SCORE 1.2176402647E7
AT ITER 1846 NEW BEST:: SOT 30214654 SOS 19719287 HAS SOPS 13746133 HAS SOUS 12504307 HAS SOUPS 12156524 WITH SCORE 1.2176243287E7
AT ITER 1848 NEW BEST:: SOT 30214945 SOS 19719578 HAS SOPS 13746714 HAS SOUS 12503265 HAS SOUPS 12155482 WITH SCORE 1.2175201578E7
AT ITER 1851 NEW BEST:: SOT 30214696 SOS 19719329 HAS SOPS 13745708 HAS SOUS 12502514 HAS SOUPS 12154477 WITH SCORE 1.2174196329E7
AT ITER 1852 NEW BEST:: SOT 30214345 SOS 19718978 HAS SOPS 13745005 HAS SOUS 12500361 HAS SOUPS 12152138 WITH SCORE 1.2171856978E7
AT ITER 1867 NEW BEST:: SOT 30214273 SOS 19718906 HAS SOPS 13743500 HAS SOUS 12499090 HAS SOUPS 12150705 WITH SCORE 1.2170423906E7
AT ITER 1868 NEW BEST:: SOT 30213552 SOS 19719219 HAS SOPS 13741763 HAS SOUS 12497702 HAS SOUPS 12149317 WITH SCORE 1.2169036219E7
AT ITER 1893 NEW BEST:: SOT 30213552 SOS 19719219 HAS SOPS 13741494 HAS SOUS 12497738 HAS SOUPS 12149048 WITH SCORE 1.2168767219E7
AT ITER 1895 NEW BEST:: SOT 30212835 SOS 19718877 HAS SOPS 13739125 HAS SOUS 12495370 HAS SOUPS 12146680 WITH SCORE 1.2166398877E7
AT ITER 1899 NEW BEST:: SOT 30211680 SOS 19717722 HAS SOPS 13736814 HAS SOUS 12493703 HAS SOUPS 12144370 WITH SCORE 1.2164087722E7
AT ITER 1907 NEW BEST:: SOT 30211246 SOS 19717288 HAS SOPS 13735946 HAS SOUS 12492835 HAS SOUPS 12143502 WITH SCORE 1.2163219288E7
AT ITER 1917 NEW BEST:: SOT 30211246 SOS 19717288 HAS SOPS 13735945 HAS SOUS 12492181 HAS SOUPS 12142848 WITH SCORE 1.2162565288E7
AT ITER 1921 NEW BEST:: SOT 30211246 SOS 19717288 HAS SOPS 13735941 HAS SOUS 12492230 HAS SOUPS 12142844 WITH SCORE 1.2162561288E7
AT ITER 1926 NEW BEST:: SOT 30211246 SOS 19717288 HAS SOPS 13735650 HAS SOUS 12491939 HAS SOUPS 12142553 WITH SCORE 1.2162270288E7
AT ITER 1931 NEW BEST:: SOT 30210850 SOS 19716892 HAS SOPS 13734858 HAS SOUS 12491147 HAS SOUPS 12141761 WITH SCORE 1.2161477892E7
AT ITER 1934 NEW BEST:: SOT 30211072 SOS 19717114 HAS SOPS 13735301 HAS SOUS 12490892 HAS SOUPS 12141506 WITH SCORE 1.2161223114E7
AT ITER 1935 NEW BEST:: SOT 30210195 SOS 19716237 HAS SOPS 13733546 HAS SOUS 12489138 HAS SOUPS 12139752 WITH SCORE 1.2159468237E7
AT ITER 1936 NEW BEST:: SOT 30209962 SOS 19716004 HAS SOPS 13733079 HAS SOUS 12487137 HAS SOUPS 12137751 WITH SCORE 1.2157467004E7
AT ITER 1939 NEW BEST:: SOT 30209982 SOS 19716358 HAS SOPS 13731862 HAS SOUS 12487007 HAS SOUPS 12136534 WITH SCORE 1.2156250358E7
AT ITER 1941 NEW BEST:: SOT 30210502 SOS 19716878 HAS SOPS 13733575 HAS SOUS 12486869 HAS SOUPS 12136396 WITH SCORE 1.2156112878E7
AT ITER 1943 NEW BEST:: SOT 30248735 SOS 19703695 HAS SOPS 13681277 HAS SOUS 12485080 HAS SOUPS 12131470 WITH SCORE 1.2151173695E7
AT ITER 1946 NEW BEST:: SOT 30248735 SOS 19703695 HAS SOPS 13681728 HAS SOUS 12485079 HAS SOUPS 12131469 WITH SCORE 1.2151172695E7
AT ITER 1954 NEW BEST:: SOT 30248735 SOS 19703695 HAS SOPS 13681727 HAS SOUS 12485078 HAS SOUPS 12131468 WITH SCORE 1.2151171695E7
AT ITER 1955 NEW BEST:: SOT 30246858 SOS 19701818 HAS SOPS 13676976 HAS SOUS 12479688 HAS SOUPS 12126078 WITH SCORE 1.2145779818E7
AT ITER 1957 NEW BEST:: SOT 30245848 SOS 19700808 HAS SOPS 13675966 HAS SOUS 12478678 HAS SOUPS 12125068 WITH SCORE 1.2144768808E7
AT ITER 1960 NEW BEST:: SOT 30248962 SOS 19704518 HAS SOPS 13675853 HAS SOUS 12479250 HAS SOUPS 12124956 WITH SCORE 1.2144660518E7
AT ITER 1976 NEW BEST:: SOT 30248962 SOS 19704518 HAS SOPS 13675853 HAS SOUS 12478958 HAS SOUPS 12124664 WITH SCORE 1.2144368518E7
AT ITER 1982 NEW BEST:: SOT 30248953 SOS 19704509 HAS SOPS 13674836 HAS SOUS 12477942 HAS SOUPS 12123648 WITH SCORE 1.2143352509E7
AT ITER 1983 NEW BEST:: SOT 30249268 SOS 19705302 HAS SOPS 13673952 HAS SOUS 12478740 HAS SOUPS 12122764 WITH SCORE 1.2142469302E7
AT ITER 1984 NEW BEST:: SOT 30249812 SOS 19703785 HAS SOPS 13675183 HAS SOUS 12473556 HAS SOUPS 12117809 WITH SCORE 1.2137512785E7
AT ITER 1985 NEW BEST:: SOT 30249802 SOS 19703795 HAS SOPS 13674941 HAS SOUS 12473190 HAS SOUPS 12117443 WITH SCORE 1.2137146795E7
AT ITER 1989 NEW BEST:: SOT 30248958 SOS 19702951 HAS SOPS 13672748 HAS SOUS 12469716 HAS SOUPS 12113969 WITH SCORE 1.2133671951E7
AT ITER 1995 NEW BEST:: SOT 30248958 SOS 19702951 HAS SOPS 13672747 HAS SOUS 12468789 HAS SOUPS 12113042 WITH SCORE 1.2132744951E7
AT ITER 1998 NEW BEST:: SOT 30248958 SOS 19702951 HAS SOPS 13672746 HAS SOUS 12467352 HAS SOUPS 12111605 WITH SCORE 1.2131307951E7
AT ITER 1999 NEW BEST:: SOT 30249420 SOS 19703859 HAS SOPS 13672616 HAS SOUS 12467426 HAS SOUPS 12111475 WITH SCORE 1.2131178859E7
AT ITER 2002 NEW BEST:: SOT 30248621 SOS 19703060 HAS SOPS 13671017 HAS SOUS 12466195 HAS SOUPS 12109877 WITH SCORE 1.212958006E7
AT ITER 2003 NEW BEST:: SOT 30247823 SOS 19702262 HAS SOPS 13669420 HAS SOUS 12463290 HAS SOUPS 12106972 WITH SCORE 1.2126674262E7
AT ITER 2016 NEW BEST:: SOT 30247765 SOS 19702204 HAS SOPS 13669304 HAS SOUS 12463116 HAS SOUPS 12106798 WITH SCORE 1.2126500204E7
AT ITER 2017 NEW BEST:: SOT 30246629 SOS 19701068 HAS SOPS 13667536 HAS SOUS 12461348 HAS SOUPS 12105030 WITH SCORE 1.2124731068E7
AT ITER 2021 NEW BEST:: SOT 30246629 SOS 19701068 HAS SOPS 13666916 HAS SOUS 12460728 HAS SOUPS 12104410 WITH SCORE 1.2124111068E7
AT ITER 2028 NEW BEST:: SOT 30245663 SOS 19700102 HAS SOPS 13664983 HAS SOUS 12458485 HAS SOUPS 12102167 WITH SCORE 1.2121867102E7
AT ITER 2030 NEW BEST:: SOT 30244276 SOS 19698715 HAS SOPS 13662208 HAS SOUS 12454732 HAS SOUPS 12098414 WITH SCORE 1.2118112715E7
AT ITER 2031 NEW BEST:: SOT 30243186 SOS 19697625 HAS SOPS 13659838 HAS SOUS 12453290 HAS SOUPS 12096972 WITH SCORE 1.2116669625E7
AT ITER 2036 NEW BEST:: SOT 30241870 SOS 19696309 HAS SOPS 13656254 HAS SOUS 12449706 HAS SOUPS 12093388 WITH SCORE 1.2113084309E7
AT ITER 2041 NEW BEST:: SOT 30239089 SOS 19693528 HAS SOPS 13650691 HAS SOUS 12444617 HAS SOUPS 12086226 WITH SCORE 1.2105919528E7
AT ITER 2042 NEW BEST:: SOT 30237938 SOS 19692377 HAS SOPS 13648362 HAS SOUS 12442289 HAS SOUPS 12083898 WITH SCORE 1.2103590377E7
AT ITER 2045 NEW BEST:: SOT 30237155 SOS 19691594 HAS SOPS 13646333 HAS SOUS 12439016 HAS SOUPS 12080625 WITH SCORE 1.2100316594E7
AT ITER 2046 NEW BEST:: SOT 30236644 SOS 19691083 HAS SOPS 13643982 HAS SOUS 12436667 HAS SOUPS 12078276 WITH SCORE 1.2097967083E7
AT ITER 2051 NEW BEST:: SOT 30236346 SOS 19690785 HAS SOPS 13643683 HAS SOUS 12435678 HAS SOUPS 12077287 WITH SCORE 1.2096977785E7
AT ITER 2055 NEW BEST:: SOT 30236092 SOS 19690531 HAS SOPS 13642208 HAS SOUS 12433860 HAS SOUPS 12075469 WITH SCORE 1.2095159531E7
AT ITER 2059 NEW BEST:: SOT 30235303 SOS 19689742 HAS SOPS 13638643 HAS SOUS 12431946 HAS SOUPS 12073555 WITH SCORE 1.2093244742E7
AT ITER 2065 NEW BEST:: SOT 30235303 SOS 19689742 HAS SOPS 13638080 HAS SOUS 12431413 HAS SOUPS 12072992 WITH SCORE 1.2092681742E7
AT ITER 2067 NEW BEST:: SOT 30234913 SOS 19689352 HAS SOPS 13636909 HAS SOUS 12430243 HAS SOUPS 12071822 WITH SCORE 1.2091511352E7
AT ITER 2073 NEW BEST:: SOT 30234913 SOS 19689352 HAS SOPS 13636019 HAS SOUS 12429131 HAS SOUPS 12071148 WITH SCORE 1.2090837352E7
AT ITER 2076 NEW BEST:: SOT 30234186 SOS 19688625 HAS SOPS 13634565 HAS SOUS 12427677 HAS SOUPS 12069694 WITH SCORE 1.2089382625E7
AT ITER 2081 NEW BEST:: SOT 30234186 SOS 19688625 HAS SOPS 13634565 HAS SOUS 12427396 HAS SOUPS 12069413 WITH SCORE 1.2089101625E7
AT ITER 2083 NEW BEST:: SOT 30234186 SOS 19688625 HAS SOPS 13634963 HAS SOUS 12427395 HAS SOUPS 12069412 WITH SCORE 1.2089100625E7
AT ITER 2086 NEW BEST:: SOT 30234186 SOS 19688599 HAS SOPS 13634963 HAS SOUS 12427395 HAS SOUPS 12069412 WITH SCORE 1.2089100599E7
AT ITER 2089 NEW BEST:: SOT 30233171 SOS 19687584 HAS SOPS 13632490 HAS SOUS 12423269 HAS SOUPS 12065286 WITH SCORE 1.2084973584E7
AT ITER 2093 NEW BEST:: SOT 30233096 SOS 19687902 HAS SOPS 13632309 HAS SOUS 12423089 HAS SOUPS 12065106 WITH SCORE 1.2084793902E7
AT ITER 2100 NEW BEST:: SOT 30232355 SOS 19687161 HAS SOPS 13630692 HAS SOUS 12421609 HAS SOUPS 12063490 WITH SCORE 1.2083177161E7
AT ITER 2104 NEW BEST:: SOT 30231867 SOS 19686673 HAS SOPS 13630022 HAS SOUS 12419303 HAS SOUPS 12061184 WITH SCORE 1.2080870673E7
AT ITER 2106 NEW BEST:: SOT 30232603 SOS 19687409 HAS SOPS 13629807 HAS SOUS 12419043 HAS SOUPS 12060970 WITH SCORE 1.2080657409E7
AT ITER 2110 NEW BEST:: SOT 30231973 SOS 19686779 HAS SOPS 13628347 HAS SOUS 12417184 HAS SOUPS 12059111 WITH SCORE 1.2078797779E7
AT ITER 2111 NEW BEST:: SOT 30231079 SOS 19685885 HAS SOPS 13626558 HAS SOUS 12415120 HAS SOUPS 12056590 WITH SCORE 1.2076275885E7
AT ITER 2128 NEW BEST:: SOT 30230799 SOS 19685605 HAS SOPS 13625854 HAS SOUS 12414416 HAS SOUPS 12055886 WITH SCORE 1.2075571605E7
AT ITER 2131 NEW BEST:: SOT 30231216 SOS 19686559 HAS SOPS 13625599 HAS SOUS 12414161 HAS SOUPS 12055631 WITH SCORE 1.2075317559E7
AT ITER 2132 NEW BEST:: SOT 30230738 SOS 19686081 HAS SOPS 13624755 HAS SOUS 12413317 HAS SOUPS 12054787 WITH SCORE 1.2074473081E7
AT ITER 2137 NEW BEST:: SOT 30230738 SOS 19686081 HAS SOPS 13624254 HAS SOUS 12412816 HAS SOUPS 12054286 WITH SCORE 1.2073972081E7
AT ITER 2144 NEW BEST:: SOT 30232210 SOS 19687553 HAS SOPS 13624607 HAS SOUS 12412744 HAS SOUPS 12054214 WITH SCORE 1.2073901553E7
AT ITER 2145 NEW BEST:: SOT 30231496 SOS 19686839 HAS SOPS 13623179 HAS SOUS 12411316 HAS SOUPS 12052786 WITH SCORE 1.2072472839E7
AT ITER 2147 NEW BEST:: SOT 30230967 SOS 19686310 HAS SOPS 13619356 HAS SOUS 12408103 HAS SOUPS 12049573 WITH SCORE 1.206925931E7
AT ITER 2151 NEW BEST:: SOT 30230566 SOS 19685909 HAS SOPS 13618139 HAS SOUS 12405591 HAS SOUPS 12047061 WITH SCORE 1.2066746909E7
AT ITER 2156 NEW BEST:: SOT 30230237 SOS 19685580 HAS SOPS 13617809 HAS SOUS 12405262 HAS SOUPS 12046732 WITH SCORE 1.206641758E7
AT ITER 2160 NEW BEST:: SOT 30229659 SOS 19685542 HAS SOPS 13615581 HAS SOUS 12403035 HAS SOUPS 12044505 WITH SCORE 1.2064190542E7
AT ITER 2166 NEW BEST:: SOT 30229291 SOS 19685174 HAS SOPS 13614845 HAS SOUS 12402299 HAS SOUPS 12043401 WITH SCORE 1.2063086174E7
AT ITER 2168 NEW BEST:: SOT 30228942 SOS 19684825 HAS SOPS 13614496 HAS SOUS 12401950 HAS SOUPS 12043052 WITH SCORE 1.2062736825E7
AT ITER 2177 NEW BEST:: SOT 30228626 SOS 19685274 HAS SOPS 13612912 HAS SOUS 12400367 HAS SOUPS 12041469 WITH SCORE 1.2061154274E7
AT ITER 2190 NEW BEST:: SOT 30227910 SOS 19684558 HAS SOPS 13610691 HAS SOUS 12396458 HAS SOUPS 12037560 WITH SCORE 1.2057244558E7
AT ITER 2195 NEW BEST:: SOT 30227354 SOS 19684002 HAS SOPS 13606908 HAS SOUS 12393797 HAS SOUPS 12033778 WITH SCORE 1.2053462002E7
AT ITER 2198 NEW BEST:: SOT 30228626 SOS 19681651 HAS SOPS 13609298 HAS SOUS 12387219 HAS SOUPS 12027573 WITH SCORE 1.2047254651E7
AT ITER 2200 NEW BEST:: SOT 30227744 SOS 19680769 HAS SOPS 13607533 HAS SOUS 12384573 HAS SOUPS 12024927 WITH SCORE 1.2044607769E7
AT ITER 2205 NEW BEST:: SOT 30227425 SOS 19680450 HAS SOPS 13605206 HAS SOUS 12383707 HAS SOUPS 12024061 WITH SCORE 1.204374145E7
AT ITER 2208 NEW BEST:: SOT 30227091 SOS 19680116 HAS SOPS 13604504 HAS SOUS 12382210 HAS SOUPS 12022564 WITH SCORE 1.2042244116E7
AT ITER 2211 NEW BEST:: SOT 30227331 SOS 19680356 HAS SOPS 13604743 HAS SOUS 12381135 HAS SOUPS 12021489 WITH SCORE 1.2041169356E7
AT ITER 2212 NEW BEST:: SOT 30227395 SOS 19736740 HAS SOPS 13604083 HAS SOUS 12381472 HAS SOUPS 12020829 WITH SCORE 1.204056574E7
AT ITER 2213 NEW BEST:: SOT 30227157 SOS 19736502 HAS SOPS 13605199 HAS SOUS 12381234 HAS SOUPS 12020591 WITH SCORE 1.2040327502E7
AT ITER 2216 NEW BEST:: SOT 30226911 SOS 19736256 HAS SOPS 13604707 HAS SOUS 12380742 HAS SOUPS 12020099 WITH SCORE 1.2039835256E7
AT ITER 2223 NEW BEST:: SOT 30226231 SOS 19735576 HAS SOPS 13603346 HAS SOUS 12378702 HAS SOUPS 12018059 WITH SCORE 1.2037794576E7
AT ITER 2225 NEW BEST:: SOT 30224586 SOS 19733931 HAS SOPS 13598320 HAS SOUS 12373778 HAS SOUPS 12013135 WITH SCORE 1.2032868931E7
AT ITER 2228 NEW BEST:: SOT 30223941 SOS 19733286 HAS SOPS 13597861 HAS SOUS 12372488 HAS SOUPS 12011845 WITH SCORE 1.2031578286E7
AT ITER 2236 NEW BEST:: SOT 30223306 SOS 19732651 HAS SOPS 13594179 HAS SOUS 12369176 HAS SOUPS 12008484 WITH SCORE 1.2028216651E7
AT ITER 2238 NEW BEST:: SOT 30222593 SOS 19731938 HAS SOPS 13591327 HAS SOUS 12367037 HAS SOUPS 12006345 WITH SCORE 1.2026076938E7
AT ITER 2243 NEW BEST:: SOT 30222593 SOS 19731938 HAS SOPS 13589967 HAS SOUS 12365678 HAS SOUPS 12004986 WITH SCORE 1.2024717938E7
AT ITER 2244 NEW BEST:: SOT 30222582 SOS 19731927 HAS SOPS 13589462 HAS SOUS 12363803 HAS SOUPS 12003111 WITH SCORE 1.2022842927E7
AT ITER 2252 NEW BEST:: SOT 30222582 SOS 19731927 HAS SOPS 13588101 HAS SOUS 12362442 HAS SOUPS 12001750 WITH SCORE 1.2021481927E7
AT ITER 2255 NEW BEST:: SOT 30222299 SOS 19731644 HAS SOPS 13587535 HAS SOUS 12361876 HAS SOUPS 12001184 WITH SCORE 1.2020915644E7
AT ITER 2262 NEW BEST:: SOT 30221012 SOS 19730525 HAS SOPS 13584904 HAS SOUS 12359736 HAS SOUPS 11998554 WITH SCORE 1.2018284525E7
AT ITER 2266 NEW BEST:: SOT 30219538 SOS 19729051 HAS SOPS 13580547 HAS SOUS 12355514 HAS SOUPS 11994132 WITH SCORE 1.2013861051E7
AT ITER 2268 NEW BEST:: SOT 30219389 SOS 19728902 HAS SOPS 13580398 HAS SOUS 12355365 HAS SOUPS 11993983 WITH SCORE 1.2013711902E7
AT ITER 2271 NEW BEST:: SOT 30217983 SOS 19727496 HAS SOPS 13577585 HAS SOUS 12354194 HAS SOUPS 11992436 WITH SCORE 1.2012163496E7
AT ITER 2277 NEW BEST:: SOT 30216423 SOS 19725936 HAS SOPS 13573114 HAS SOUS 12349930 HAS SOUPS 11987966 WITH SCORE 1.2007691936E7
AT ITER 2278 NEW BEST:: SOT 30216904 SOS 19726417 HAS SOPS 13572949 HAS SOUS 12350408 HAS SOUPS 11987801 WITH SCORE 1.2007527417E7
AT ITER 2280 NEW BEST:: SOT 30217154 SOS 19726667 HAS SOPS 13573244 HAS SOUS 12350247 HAS SOUPS 11987640 WITH SCORE 1.2007366667E7
AT ITER 2287 NEW BEST:: SOT 30217154 SOS 19726667 HAS SOPS 13572574 HAS SOUS 12349577 HAS SOUPS 11986970 WITH SCORE 1.2006696667E7
AT ITER 2288 NEW BEST:: SOT 30216702 SOS 19726579 HAS SOPS 13570454 HAS SOUS 12348570 HAS SOUPS 11984851 WITH SCORE 1.2004577579E7
AT ITER 2289 NEW BEST:: SOT 30216702 SOS 19726579 HAS SOPS 13569688 HAS SOUS 12346834 HAS SOUPS 11983115 WITH SCORE 1.2002841579E7
AT ITER 2290 NEW BEST:: SOT 30216702 SOS 19726579 HAS SOPS 13569687 HAS SOUS 12345728 HAS SOUPS 11982009 WITH SCORE 1.2001735579E7
AT ITER 2295 NEW BEST:: SOT 30216702 SOS 19726579 HAS SOPS 13569147 HAS SOUS 12345188 HAS SOUPS 11981469 WITH SCORE 1.2001195579E7
AT ITER 2299 NEW BEST:: SOT 30218046 SOS 19727923 HAS SOPS 13568149 HAS SOUS 12344191 HAS SOUPS 11980472 WITH SCORE 1.2000199923E7
AT ITER 2300 NEW BEST:: SOT 30217497 SOS 19727374 HAS SOPS 13565123 HAS SOUS 12340874 HAS SOUPS 11977447 WITH SCORE 1.1997174374E7
AT ITER 2301 NEW BEST:: SOT 30217704 SOS 19727581 HAS SOPS 13564120 HAS SOUS 12339922 HAS SOUPS 11976444 WITH SCORE 1.1996171581E7
AT ITER 2310 NEW BEST:: SOT 30217651 SOS 19727829 HAS SOPS 13563712 HAS SOUS 12339514 HAS SOUPS 11976036 WITH SCORE 1.1995763829E7
AT ITER 2319 NEW BEST:: SOT 30216971 SOS 19727149 HAS SOPS 13561672 HAS SOUS 12337474 HAS SOUPS 11973996 WITH SCORE 1.1993723149E7
AT ITER 2322 NEW BEST:: SOT 30217870 SOS 19728048 HAS SOPS 13561546 HAS SOUS 12337370 HAS SOUPS 11973872 WITH SCORE 1.1993600048E7
AT ITER 2326 NEW BEST:: SOT 30217870 SOS 19728048 HAS SOPS 13561099 HAS SOUS 12336478 HAS SOUPS 11972980 WITH SCORE 1.1992708048E7
AT ITER 2333 NEW BEST:: SOT 30217247 SOS 19727425 HAS SOPS 13558031 HAS SOUS 12334537 HAS SOUPS 11971039 WITH SCORE 1.1990766425E7
AT ITER 2339 NEW BEST:: SOT 30217057 SOS 19727235 HAS SOPS 13556284 HAS SOUS 12332762 HAS SOUPS 11969264 WITH SCORE 1.1988991235E7
AT ITER 2344 NEW BEST:: SOT 30217057 SOS 19727235 HAS SOPS 13556052 HAS SOUS 12332344 HAS SOUPS 11968846 WITH SCORE 1.1988573235E7
AT ITER 2347 NEW BEST:: SOT 30216665 SOS 19726843 HAS SOPS 13555267 HAS SOUS 12329989 HAS SOUPS 11966491 WITH SCORE 1.1986217843E7
AT ITER 2349 NEW BEST:: SOT 30216766 SOS 19726944 HAS SOPS 13555468 HAS SOUS 12328505 HAS SOUPS 11965074 WITH SCORE 1.1984800944E7
AT ITER 2354 NEW BEST:: SOT 30216766 SOS 19726944 HAS SOPS 13555355 HAS SOUS 12328392 HAS SOUPS 11964961 WITH SCORE 1.1984687944E7
AT ITER 2357 NEW BEST:: SOT 30216256 SOS 19726434 HAS SOPS 13554335 HAS SOUS 12327373 HAS SOUPS 11963942 WITH SCORE 1.1983668434E7
AT ITER 2358 NEW BEST:: SOT 30216329 SOS 19726507 HAS SOPS 13554023 HAS SOUS 12327061 HAS SOUPS 11963630 WITH SCORE 1.1983356507E7
AT ITER 2373 NEW BEST:: SOT 30215910 SOS 19726653 HAS SOPS 13553154 HAS SOUS 12326193 HAS SOUPS 11962762 WITH SCORE 1.1982488653E7
AT ITER 2375 NEW BEST:: SOT 30216185 SOS 19726843 HAS SOPS 13554449 HAS SOUS 12326146 HAS SOUPS 11962715 WITH SCORE 1.1982441843E7
AT ITER 2379 NEW BEST:: SOT 30215270 SOS 19725928 HAS SOPS 13552618 HAS SOUS 12323401 HAS SOUPS 11959970 WITH SCORE 1.1979695928E7
AT ITER 2381 NEW BEST:: SOT 30215240 SOS 19725898 HAS SOPS 13552558 HAS SOUS 12323341 HAS SOUPS 11959910 WITH SCORE 1.1979635898E7
AT ITER 2384 NEW BEST:: SOT 30215185 SOS 19725843 HAS SOPS 13552501 HAS SOUS 12323108 HAS SOUPS 11959677 WITH SCORE 1.1979402843E7
AT ITER 2390 NEW BEST:: SOT 30215098 SOS 19725756 HAS SOPS 13552327 HAS SOUS 12323021 HAS SOUPS 11959503 WITH SCORE 1.1979228756E7
AT ITER 2395 NEW BEST:: SOT 30215109 SOS 19725767 HAS SOPS 13551159 HAS SOUS 12321853 HAS SOUPS 11958335 WITH SCORE 1.1978060767E7
AT ITER 2397 NEW BEST:: SOT 30214795 SOS 19726123 HAS SOPS 13550355 HAS SOUS 12321050 HAS SOUPS 11957532 WITH SCORE 1.1977258123E7
AT ITER 2398 NEW BEST:: SOT 30214795 SOS 19726123 HAS SOPS 13550244 HAS SOUS 12320409 HAS SOUPS 11956891 WITH SCORE 1.1976617123E7
AT ITER 2401 NEW BEST:: SOT 30214289 SOS 19725617 HAS SOPS 13550152 HAS SOUS 12318584 HAS SOUPS 11955066 WITH SCORE 1.1974791617E7
AT ITER 2403 NEW BEST:: SOT 30213537 SOS 19724865 HAS SOPS 13548890 HAS SOUS 12317322 HAS SOUPS 11953804 WITH SCORE 1.1973528865E7
AT ITER 2406 NEW BEST:: SOT 30212567 SOS 19723895 HAS SOPS 13547603 HAS SOUS 12316013 HAS SOUPS 11952517 WITH SCORE 1.1972240895E7
AT ITER 2410 NEW BEST:: SOT 30211692 SOS 19723020 HAS SOPS 13545853 HAS SOUS 12314315 HAS SOUPS 11950767 WITH SCORE 1.197049002E7
AT ITER 2412 NEW BEST:: SOT 30211692 SOS 19723020 HAS SOPS 13545808 HAS SOUS 12314270 HAS SOUPS 11950722 WITH SCORE 1.197044502E7
AT ITER 2416 NEW BEST:: SOT 30210896 SOS 19722224 HAS SOPS 13544215 HAS SOUS 12311961 HAS SOUPS 11948413 WITH SCORE 1.1968135224E7
AT ITER 2417 NEW BEST:: SOT 30210226 SOS 19721554 HAS SOPS 13542738 HAS SOUS 12309679 HAS SOUPS 11946131 WITH SCORE 1.1965852554E7
AT ITER 2423 NEW BEST:: SOT 30210226 SOS 19721554 HAS SOPS 13542417 HAS SOUS 12309358 HAS SOUPS 11945810 WITH SCORE 1.1965531554E7
AT ITER 2424 NEW BEST:: SOT 30209830 SOS 19721158 HAS SOPS 13541624 HAS SOUS 12308565 HAS SOUPS 11945017 WITH SCORE 1.1964738158E7
AT ITER 2428 NEW BEST:: SOT 30208360 SOS 19719688 HAS SOPS 13537550 HAS SOUS 12305534 HAS SOUPS 11941986 WITH SCORE 1.1961705688E7
AT ITER 2431 NEW BEST:: SOT 30207982 SOS 19705324 HAS SOPS 13523564 HAS SOUS 12304778 HAS SOUPS 11941230 WITH SCORE 1.1960935324E7
AT ITER 2446 NEW BEST:: SOT 30208148 SOS 19706459 HAS SOPS 13522883 HAS SOUS 12304098 HAS SOUPS 11940550 WITH SCORE 1.1960256459E7
AT ITER 2449 NEW BEST:: SOT 30206535 SOS 19704846 HAS SOPS 13519327 HAS SOUS 12301381 HAS SOUPS 11937316 WITH SCORE 1.1957020846E7
AT ITER 2451 NEW BEST:: SOT 30205623 SOS 19703934 HAS SOPS 13515493 HAS SOUS 12298553 HAS SOUPS 11934488 WITH SCORE 1.1954191934E7
AT ITER 2453 NEW BEST:: SOT 30205064 SOS 19703375 HAS SOPS 13514156 HAS SOUS 12295989 HAS SOUPS 11931924 WITH SCORE 1.1951627375E7
AT ITER 2459 NEW BEST:: SOT 30205373 SOS 19703684 HAS SOPS 13514114 HAS SOUS 12295947 HAS SOUPS 11931882 WITH SCORE 1.1951585684E7
AT ITER 2478 NEW BEST:: SOT 30205455 SOS 19717143 HAS SOPS 13513852 HAS SOUS 12296028 HAS SOUPS 11931620 WITH SCORE 1.1951337143E7
AT ITER 2480 NEW BEST:: SOT 30204688 SOS 19716376 HAS SOPS 13511550 HAS SOUS 12293727 HAS SOUPS 11929319 WITH SCORE 1.1949035376E7
AT ITER 2486 NEW BEST:: SOT 30204908 SOS 19716596 HAS SOPS 13512601 HAS SOUS 12293110 HAS SOUPS 11928702 WITH SCORE 1.1948418596E7
AT ITER 2487 NEW BEST:: SOT 30204079 SOS 19715767 HAS SOPS 13510844 HAS SOUS 12289748 HAS SOUPS 11925340 WITH SCORE 1.1945055767E7
AT ITER 2497 NEW BEST:: SOT 30203674 SOS 19700377 HAS SOPS 13495859 HAS SOUS 12288938 HAS SOUPS 11924530 WITH SCORE 1.1944230377E7
AT ITER 2498 NEW BEST:: SOT 30203674 SOS 19700377 HAS SOPS 13495967 HAS SOUS 12288084 HAS SOUPS 11923676 WITH SCORE 1.1943376377E7
AT ITER 2502 NEW BEST:: SOT 30203891 SOS 19700594 HAS SOPS 13496400 HAS SOUS 12287259 HAS SOUPS 11922851 WITH SCORE 1.1942551594E7
AT ITER 2504 NEW BEST:: SOT 30204162 SOS 19700865 HAS SOPS 13496942 HAS SOUS 12287255 HAS SOUPS 11922847 WITH SCORE 1.1942547865E7
AT ITER 2505 NEW BEST:: SOT 30204162 SOS 19700865 HAS SOPS 13496804 HAS SOUS 12285444 HAS SOUPS 11921036 WITH SCORE 1.1940736865E7
AT ITER 2513 NEW BEST:: SOT 30203334 SOS 19700037 HAS SOPS 13494149 HAS SOUS 12282969 HAS SOUPS 11918381 WITH SCORE 1.1938081037E7
AT ITER 2515 NEW BEST:: SOT 30203311 SOS 19703614 HAS SOPS 13494036 HAS SOUS 12282946 HAS SOUPS 11918268 WITH SCORE 1.1937971614E7
AT ITER 2521 NEW BEST:: SOT 30202354 SOS 19702657 HAS SOPS 13492857 HAS SOUS 12281767 HAS SOUPS 11917089 WITH SCORE 1.1936791657E7
AT ITER 2523 NEW BEST:: SOT 30202223 SOS 19702526 HAS SOPS 13492248 HAS SOUS 12281160 HAS SOUPS 11916482 WITH SCORE 1.1936184526E7
AT ITER 2525 NEW BEST:: SOT 30202223 SOS 19727966 HAS SOPS 13491926 HAS SOUS 12281189 HAS SOUPS 11916160 WITH SCORE 1.1935887966E7
AT ITER 2526 NEW BEST:: SOT 30200913 SOS 19726656 HAS SOPS 13487525 HAS SOUS 12276626 HAS SOUPS 11911597 WITH SCORE 1.1931323656E7
AT ITER 2529 NEW BEST:: SOT 30200768 SOS 19726511 HAS SOPS 13485720 HAS SOUS 12274822 HAS SOUPS 11909793 WITH SCORE 1.1929519511E7
AT ITER 2534 NEW BEST:: SOT 30200493 SOS 19726236 HAS SOPS 13485032 HAS SOUS 12273382 HAS SOUPS 11908353 WITH SCORE 1.1928079236E7
AT ITER 2536 NEW BEST:: SOT 30199988 SOS 19725731 HAS SOPS 13485463 HAS SOUS 12271040 HAS SOUPS 11906011 WITH SCORE 1.1925736731E7
AT ITER 2541 NEW BEST:: SOT 30199988 SOS 19725731 HAS SOPS 13485393 HAS SOUS 12271005 HAS SOUPS 11905976 WITH SCORE 1.1925701731E7
AT ITER 2546 NEW BEST:: SOT 30199692 SOS 19725435 HAS SOPS 13484405 HAS SOUS 12270018 HAS SOUPS 11904989 WITH SCORE 1.1924714435E7
AT ITER 2548 NEW BEST:: SOT 30198288 SOS 19724031 HAS SOPS 13481387 HAS SOUS 12268435 HAS SOUPS 11903077 WITH SCORE 1.1922801031E7
AT ITER 2551 NEW BEST:: SOT 30197936 SOS 19723679 HAS SOPS 13480683 HAS SOUS 12267731 HAS SOUPS 11902373 WITH SCORE 1.1922096679E7
AT ITER 2554 NEW BEST:: SOT 30197936 SOS 19757079 HAS SOPS 13479126 HAS SOUS 12267009 HAS SOUPS 11900816 WITH SCORE 1.1920573079E7
AT ITER 2564 NEW BEST:: SOT 30084756 SOS 19882006 HAS SOPS 13364094 HAS SOUS 12154724 HAS SOUPS 11786837 WITH SCORE 1.1806719006E7
AT ITER 2567 NEW BEST:: SOT 30084756 SOS 19882006 HAS SOPS 13363982 HAS SOUS 12154612 HAS SOUPS 11786725 WITH SCORE 1.1806607006E7
AT ITER 2576 NEW BEST:: SOT 30083944 SOS 19881194 HAS SOPS 13359479 HAS SOUS 12151537 HAS SOUPS 11783650 WITH SCORE 1.1803531194E7
AT ITER 2585 NEW BEST:: SOT 30083365 SOS 19881251 HAS SOPS 13357334 HAS SOUS 12149596 HAS SOUPS 11781506 WITH SCORE 1.1801387251E7
AT ITER 2586 NEW BEST:: SOT 30083183 SOS 19881069 HAS SOPS 13356970 HAS SOUS 12149231 HAS SOUPS 11781141 WITH SCORE 1.1801022069E7
AT ITER 2587 NEW BEST:: SOT 30082594 SOS 19880480 HAS SOPS 13355791 HAS SOUS 12148052 HAS SOUPS 11779962 WITH SCORE 1.179984248E7
AT ITER 2589 NEW BEST:: SOT 30080795 SOS 19878681 HAS SOPS 13352098 HAS SOUS 12143927 HAS SOUPS 11775322 WITH SCORE 1.1795200681E7
AT ITER 2593 NEW BEST:: SOT 30078908 SOS 19876794 HAS SOPS 13345432 HAS SOUS 12137776 HAS SOUPS 11768364 WITH SCORE 1.1788240794E7
AT ITER 2599 NEW BEST:: SOT 30077916 SOS 19900601 HAS SOPS 13344113 HAS SOUS 12136784 HAS SOUPS 11767045 WITH SCORE 1.1786945601E7
AT ITER 2602 NEW BEST:: SOT 30076659 SOS 19899676 HAS SOPS 13341234 HAS SOUS 12133906 HAS SOUPS 11764167 WITH SCORE 1.1784066676E7
AT ITER 2603 NEW BEST:: SOT 30075970 SOS 19898987 HAS SOPS 13338508 HAS SOUS 12130860 HAS SOUPS 11761121 WITH SCORE 1.1781019987E7
AT ITER 2604 NEW BEST:: SOT 30077175 SOS 19900192 HAS SOPS 13338306 HAS SOUS 12130658 HAS SOUPS 11760919 WITH SCORE 1.1780819192E7
AT ITER 2607 NEW BEST:: SOT 30076083 SOS 19899100 HAS SOPS 13333867 HAS SOUS 12126221 HAS SOUPS 11756482 WITH SCORE 1.17763811E7
AT ITER 2608 NEW BEST:: SOT 30076499 SOS 19899516 HAS SOPS 13334948 HAS SOUS 12125797 HAS SOUPS 11756058 WITH SCORE 1.1775957516E7
AT ITER 2613 NEW BEST:: SOT 30075888 SOS 19898905 HAS SOPS 13334335 HAS SOUS 12124841 HAS SOUPS 11755102 WITH SCORE 1.1775000905E7
AT ITER 2618 NEW BEST:: SOT 30075324 SOS 19895782 HAS SOPS 13329727 HAS SOUS 12120041 HAS SOUPS 11750302 WITH SCORE 1.1770197782E7
AT ITER 2627 NEW BEST:: SOT 30074664 SOS 19895122 HAS SOPS 13328406 HAS SOUS 12119339 HAS SOUPS 11748981 WITH SCORE 1.1768876122E7
AT ITER 2631 NEW BEST:: SOT 30073056 SOS 19893514 HAS SOPS 13325156 HAS SOUS 12114638 HAS SOUPS 11744167 WITH SCORE 1.1764060514E7
AT ITER 2633 NEW BEST:: SOT 30071726 SOS 19910445 HAS SOPS 13323581 HAS SOUS 12113553 HAS SOUPS 11742837 WITH SCORE 1.1762747445E7
AT ITER 2635 NEW BEST:: SOT 30071726 SOS 19910445 HAS SOPS 13323936 HAS SOUS 12112254 HAS SOUPS 11741538 WITH SCORE 1.1761448445E7
AT ITER 2641 NEW BEST:: SOT 30070912 SOS 19909631 HAS SOPS 13322308 HAS SOUS 12110626 HAS SOUPS 11739910 WITH SCORE 1.1759819631E7
AT ITER 2644 NEW BEST:: SOT 30070912 SOS 19909631 HAS SOPS 13322307 HAS SOUS 12110625 HAS SOUPS 11739909 WITH SCORE 1.1759818631E7
AT ITER 2648 NEW BEST:: SOT 30070377 SOS 19909096 HAS SOPS 13321203 HAS SOUS 12108995 HAS SOUPS 11738279 WITH SCORE 1.1758188096E7
AT ITER 2653 NEW BEST:: SOT 30072395 SOS 19911114 HAS SOPS 13320603 HAS SOUS 12108491 HAS SOUPS 11737680 WITH SCORE 1.1757591114E7
AT ITER 2654 NEW BEST:: SOT 30072957 SOS 19911676 HAS SOPS 13320425 HAS SOUS 12108313 HAS SOUPS 11737502 WITH SCORE 1.1757413676E7
AT ITER 2656 NEW BEST:: SOT 30072411 SOS 19911130 HAS SOPS 13319879 HAS SOUS 12108079 HAS SOUPS 11736956 WITH SCORE 1.175686713E7
AT ITER 2661 NEW BEST:: SOT 30103791 SOS 19892644 HAS SOPS 13268192 HAS SOUS 12105831 HAS SOUPS 11731835 WITH SCORE 1.1751727644E7
AT ITER 2662 NEW BEST:: SOT 30103816 SOS 19942753 HAS SOPS 13267574 HAS SOUS 12105856 HAS SOUPS 11731217 WITH SCORE 1.1751159753E7
AT ITER 2668 NEW BEST:: SOT 30103816 SOS 19942753 HAS SOPS 13267574 HAS SOUS 12105150 HAS SOUPS 11730511 WITH SCORE 1.1750453753E7
AT ITER 2670 NEW BEST:: SOT 30103915 SOS 19942852 HAS SOPS 13267771 HAS SOUS 12103679 HAS SOUPS 11729040 WITH SCORE 1.1748982852E7
AT ITER 2674 NEW BEST:: SOT 30102566 SOS 19941503 HAS SOPS 13266421 HAS SOUS 12101350 HAS SOUPS 11727691 WITH SCORE 1.1747632503E7
AT ITER 2678 NEW BEST:: SOT 30102453 SOS 19941390 HAS SOPS 13266195 HAS SOUS 12101124 HAS SOUPS 11727465 WITH SCORE 1.174740639E7
AT ITER 2681 NEW BEST:: SOT 30102901 SOS 19942551 HAS SOPS 13265702 HAS SOUS 12100631 HAS SOUPS 11726972 WITH SCORE 1.1746914551E7
AT ITER 2685 NEW BEST:: SOT 30101499 SOS 19941362 HAS SOPS 13262684 HAS SOUS 12098734 HAS SOUPS 11724837 WITH SCORE 1.1744778362E7
AT ITER 2689 NEW BEST:: SOT 30101279 SOS 19941142 HAS SOPS 13262244 HAS SOUS 12098294 HAS SOUPS 11724397 WITH SCORE 1.1744338142E7
AT ITER 2691 NEW BEST:: SOT 30100024 SOS 19939887 HAS SOPS 13258354 HAS SOUS 12095216 HAS SOUPS 11721319 WITH SCORE 1.1741258887E7
AT ITER 2694 NEW BEST:: SOT 30099094 SOS 19938957 HAS SOPS 13256494 HAS SOUS 12092427 HAS SOUPS 11718530 WITH SCORE 1.1738468957E7
AT ITER 2697 NEW BEST:: SOT 30099094 SOS 19938957 HAS SOPS 13256211 HAS SOUS 12092144 HAS SOUPS 11718247 WITH SCORE 1.1738185957E7
AT ITER 2699 NEW BEST:: SOT 30098725 SOS 19938219 HAS SOPS 13255473 HAS SOUS 12091406 HAS SOUPS 11717509 WITH SCORE 1.1737447219E7
AT ITER 2705 NEW BEST:: SOT 30098902 SOS 19938396 HAS SOPS 13255210 HAS SOUS 12091143 HAS SOUPS 11717246 WITH SCORE 1.1737184396E7
AT ITER 2708 NEW BEST:: SOT 30098481 SOS 19938594 HAS SOPS 13254181 HAS SOUS 12090115 HAS SOUPS 11716218 WITH SCORE 1.1736156594E7
AT ITER 2713 NEW BEST:: SOT 30098481 SOS 19938594 HAS SOPS 13253085 HAS SOUS 12089019 HAS SOUPS 11715122 WITH SCORE 1.1735060594E7
AT ITER 2714 NEW BEST:: SOT 30097328 SOS 19937441 HAS SOPS 13250390 HAS SOUS 12084679 HAS SOUPS 11710782 WITH SCORE 1.1730719441E7
AT ITER 2738 NEW BEST:: SOT 30097328 SOS 19937441 HAS SOPS 13250317 HAS SOUS 12084606 HAS SOUPS 11710709 WITH SCORE 1.1730646441E7
AT ITER 2745 NEW BEST:: SOT 30096409 SOS 19936522 HAS SOPS 13247436 HAS SOUS 12081136 HAS SOUPS 11707239 WITH SCORE 1.1727175522E7
AT ITER 2754 NEW BEST:: SOT 30096409 SOS 19936929 HAS SOPS 13245475 HAS SOUS 12081808 HAS SOUPS 11705279 WITH SCORE 1.1725215929E7
AT ITER 2761 NEW BEST:: SOT 30096428 SOS 19936948 HAS SOPS 13240457 HAS SOUS 12078058 HAS SOUPS 11700262 WITH SCORE 1.1720198948E7
AT ITER 2766 NEW BEST:: SOT 30096621 SOS 19938102 HAS SOPS 13239539 HAS SOUS 12078322 HAS SOUPS 11699344 WITH SCORE 1.1719282102E7
AT ITER 2773 NEW BEST:: SOT 30095968 SOS 19937449 HAS SOPS 13238886 HAS SOUS 12078322 HAS SOUPS 11698691 WITH SCORE 1.1718628449E7
AT ITER 2783 NEW BEST:: SOT 30095706 SOS 19937187 HAS SOPS 13238361 HAS SOUS 12076438 HAS SOUPS 11696807 WITH SCORE 1.1716744187E7
AT ITER 2790 NEW BEST:: SOT 30095416 SOS 19936897 HAS SOPS 13238071 HAS SOUS 12076281 HAS SOUPS 11696517 WITH SCORE 1.1716453897E7
AT ITER 2796 NEW BEST:: SOT 30095953 SOS 19937434 HAS SOPS 13237995 HAS SOUS 12076763 HAS SOUPS 11696441 WITH SCORE 1.1716378434E7
AT ITER 2799 NEW BEST:: SOT 30095697 SOS 19937178 HAS SOPS 13237482 HAS SOUS 12076507 HAS SOUPS 11696185 WITH SCORE 1.1716122178E7
AT ITER 2804 NEW BEST:: SOT 30095198 SOS 19936180 HAS SOPS 13236705 HAS SOUS 12075730 HAS SOUPS 11695408 WITH SCORE 1.171534418E7
AT ITER 2806 NEW BEST:: SOT 30095198 SOS 19936180 HAS SOPS 13236174 HAS SOUS 12075200 HAS SOUPS 11694878 WITH SCORE 1.171481418E7
AT ITER 2815 NEW BEST:: SOT 30101521 SOS 19893960 HAS SOPS 13166574 HAS SOUS 12052734 HAS SOUPS 11672412 WITH SCORE 1.169230596E7
AT ITER 2824 NEW BEST:: SOT 30100750 SOS 19884029 HAS SOPS 13166574 HAS SOUS 12051963 HAS SOUPS 11672412 WITH SCORE 1.1692296029E7
AT ITER 2828 NEW BEST:: SOT 30100113 SOS 19883392 HAS SOPS 13167178 HAS SOUS 12052332 HAS SOUPS 11672185 WITH SCORE 1.1692068392E7
AT ITER 2834 NEW BEST:: SOT 30099387 SOS 19882666 HAS SOPS 13164448 HAS SOUS 12049602 HAS SOUPS 11669455 WITH SCORE 1.1689337666E7
AT ITER 2835 NEW BEST:: SOT 30099230 SOS 19882787 HAS SOPS 13164100 HAS SOUS 12049445 HAS SOUPS 11669298 WITH SCORE 1.1689180787E7
AT ITER 2839 NEW BEST:: SOT 30096615 SOS 19880172 HAS SOPS 13157974 HAS SOUS 12044118 HAS SOUPS 11663971 WITH SCORE 1.1683851172E7
AT ITER 2841 NEW BEST:: SOT 30095513 SOS 19879207 HAS SOPS 13155802 HAS SOUS 12043332 HAS SOUPS 11663185 WITH SCORE 1.1683064207E7
AT ITER 2846 NEW BEST:: SOT 30095513 SOS 19879207 HAS SOPS 13157136 HAS SOUS 12043331 HAS SOUPS 11663184 WITH SCORE 1.1683063207E7
AT ITER 2849 NEW BEST:: SOT 30095513 SOS 19880437 HAS SOPS 13156841 HAS SOUS 12043036 HAS SOUPS 11662889 WITH SCORE 1.1682769437E7
AT ITER 2853 NEW BEST:: SOT 30094012 SOS 19878936 HAS SOPS 13153838 HAS SOUS 12038533 HAS SOUPS 11658386 WITH SCORE 1.1678264936E7
AT ITER 2856 NEW BEST:: SOT 30093971 SOS 19878895 HAS SOPS 13155101 HAS SOUS 12038492 HAS SOUPS 11658345 WITH SCORE 1.1678223895E7
AT ITER 2861 NEW BEST:: SOT 30094132 SOS 19879511 HAS SOPS 13154221 HAS SOUS 12039274 HAS SOUPS 11657465 WITH SCORE 1.1677344511E7
AT ITER 2867 NEW BEST:: SOT 30096470 SOS 19976166 HAS SOPS 13153987 HAS SOUS 12040234 HAS SOUPS 11657231 WITH SCORE 1.1677207166E7
AT ITER 2874 NEW BEST:: SOT 30095976 SOS 19975672 HAS SOPS 13153967 HAS SOUS 12040214 HAS SOUPS 11657211 WITH SCORE 1.1677186672E7
AT ITER 2880 NEW BEST:: SOT 30095976 SOS 19975672 HAS SOPS 13153493 HAS SOUS 12040291 HAS SOUPS 11656737 WITH SCORE 1.1676712672E7
AT ITER 2882 NEW BEST:: SOT 30095449 SOS 19975384 HAS SOPS 13151359 HAS SOUS 12039764 HAS SOUPS 11656210 WITH SCORE 1.1676185384E7
AT ITER 2885 NEW BEST:: SOT 30095592 SOS 19975761 HAS SOPS 13151284 HAS SOUS 12039862 HAS SOUPS 11656135 WITH SCORE 1.1676110761E7
AT ITER 2891 NEW BEST:: SOT 30095460 SOS 19975629 HAS SOPS 13151020 HAS SOUS 12039598 HAS SOUPS 11655871 WITH SCORE 1.1675846629E7
AT ITER 2892 NEW BEST:: SOT 30094031 SOS 19974200 HAS SOPS 13148161 HAS SOUS 12035311 HAS SOUPS 11651584 WITH SCORE 1.16715582E7
AT ITER 2897 NEW BEST:: SOT 30093220 SOS 19973389 HAS SOPS 13146009 HAS SOUS 12033161 HAS SOUPS 11649434 WITH SCORE 1.1669407389E7
AT ITER 2898 NEW BEST:: SOT 30092969 SOS 19973138 HAS SOPS 13145672 HAS SOUS 12031942 HAS SOUPS 11648215 WITH SCORE 1.1668188138E7
AT ITER 2901 NEW BEST:: SOT 30092969 SOS 19973138 HAS SOPS 13146256 HAS SOUS 12031941 HAS SOUPS 11648214 WITH SCORE 1.1668187138E7
AT ITER 2903 NEW BEST:: SOT 30091642 SOS 19971811 HAS SOPS 13142819 HAS SOUS 12028820 HAS SOUPS 11645093 WITH SCORE 1.1665064811E7
AT ITER 2907 NEW BEST:: SOT 30090906 SOS 19944579 HAS SOPS 13116323 HAS SOUS 12026612 HAS SOUPS 11642885 WITH SCORE 1.1662829579E7
AT ITER 2908 NEW BEST:: SOT 30089985 SOS 19943784 HAS SOPS 13113469 HAS SOUS 12025691 HAS SOUPS 11641964 WITH SCORE 1.1661907784E7
AT ITER 2911 NEW BEST:: SOT 30089985 SOS 19943784 HAS SOPS 13113287 HAS SOUS 12025509 HAS SOUPS 11641782 WITH SCORE 1.1661725784E7
AT ITER 2915 NEW BEST:: SOT 30091204 SOS 19945003 HAS SOPS 13114785 HAS SOUS 12025334 HAS SOUPS 11641607 WITH SCORE 1.1661552003E7
AT ITER 2917 NEW BEST:: SOT 30091530 SOS 19945329 HAS SOPS 13115436 HAS SOUS 12024443 HAS SOUPS 11640622 WITH SCORE 1.1660567329E7
AT ITER 2919 NEW BEST:: SOT 30091530 SOS 19945329 HAS SOPS 13115432 HAS SOUS 12024439 HAS SOUPS 11640618 WITH SCORE 1.1660563329E7
AT ITER 2926 NEW BEST:: SOT 30090988 SOS 19944787 HAS SOPS 13114348 HAS SOUS 12023355 HAS SOUPS 11639534 WITH SCORE 1.1659478787E7
AT ITER 2929 NEW BEST:: SOT 30090559 SOS 19944888 HAS SOPS 13112259 HAS SOUS 12021267 HAS SOUPS 11637446 WITH SCORE 1.1657390888E7
AT ITER 2933 NEW BEST:: SOT 30101902 SOS 19907836 HAS SOPS 13042511 HAS SOUS 11996576 HAS SOUPS 11612682 WITH SCORE 1.1632589836E7
AT ITER 2938 NEW BEST:: SOT 30101902 SOS 19907836 HAS SOPS 13041268 HAS SOUS 11995171 HAS SOUPS 11611439 WITH SCORE 1.1631346836E7
AT ITER 2940 NEW BEST:: SOT 30101895 SOS 19907829 HAS SOPS 13041254 HAS SOUS 11995157 HAS SOUPS 11611425 WITH SCORE 1.1631332829E7
AT ITER 2948 NEW BEST:: SOT 30102605 SOS 19908539 HAS SOPS 13042673 HAS SOUS 11994906 HAS SOUPS 11611174 WITH SCORE 1.1631082539E7
AT ITER 2949 NEW BEST:: SOT 30102605 SOS 19908539 HAS SOPS 13042669 HAS SOUS 11994902 HAS SOUPS 11611170 WITH SCORE 1.1631078539E7
AT ITER 2958 NEW BEST:: SOT 30104212 SOS 19910146 HAS SOPS 13042607 HAS SOUS 11994111 HAS SOUPS 11610379 WITH SCORE 1.1630289146E7
AT ITER 2964 NEW BEST:: SOT 30103817 SOS 19910443 HAS SOPS 13040560 HAS SOUS 11992065 HAS SOUPS 11608333 WITH SCORE 1.1628243443E7
AT ITER 2968 NEW BEST:: SOT 30103750 SOS 19910376 HAS SOPS 13040425 HAS SOUS 11990841 HAS SOUPS 11606940 WITH SCORE 1.1626850376E7
AT ITER 2975 NEW BEST:: SOT 30104310 SOS 19910936 HAS SOPS 13039748 HAS SOUS 11989882 HAS SOUPS 11605981 WITH SCORE 1.1625891936E7
AT ITER 2982 NEW BEST:: SOT 30104191 SOS 19911006 HAS SOPS 13039319 HAS SOUS 11989831 HAS SOUPS 11605552 WITH SCORE 1.1625463006E7
AT ITER 2992 NEW BEST:: SOT 30104191 SOS 19911006 HAS SOPS 13035696 HAS SOUS 11987564 HAS SOUPS 11603285 WITH SCORE 1.1623196006E7
AT ITER 3001 NEW BEST:: SOT 30104769 SOS 19912161 HAS SOPS 13035483 HAS SOUS 11987352 HAS SOUPS 11603073 WITH SCORE 1.1622985161E7
AT ITER 3003 NEW BEST:: SOT 30104769 SOS 19912161 HAS SOPS 13035067 HAS SOUS 11986936 HAS SOUPS 11602657 WITH SCORE 1.1622569161E7
AT ITER 3007 NEW BEST:: SOT 30104000 SOS 19911392 HAS SOPS 13032760 HAS SOUS 11984629 HAS SOUPS 11600350 WITH SCORE 1.1620261392E7
AT ITER 3009 NEW BEST:: SOT 30104119 SOS 19911511 HAS SOPS 13031349 HAS SOUS 11983200 HAS SOUPS 11598921 WITH SCORE 1.1618832511E7
AT ITER 3010 NEW BEST:: SOT 30104119 SOS 19911511 HAS SOPS 13030889 HAS SOUS 11982622 HAS SOUPS 11598343 WITH SCORE 1.1618254511E7
AT ITER 3021 NEW BEST:: SOT 30104046 SOS 19911438 HAS SOPS 13030742 HAS SOUS 11980955 HAS SOUPS 11596582 WITH SCORE 1.1616493438E7
AT ITER 3025 NEW BEST:: SOT 30102605 SOS 19909997 HAS SOPS 13027025 HAS SOUS 11978043 HAS SOUPS 11593670 WITH SCORE 1.1613579997E7
AT ITER 3027 NEW BEST:: SOT 30099724 SOS 19907116 HAS SOPS 13025533 HAS SOUS 11976038 HAS SOUPS 11592178 WITH SCORE 1.1612085116E7
AT ITER 3031 NEW BEST:: SOT 30097066 SOS 19904458 HAS SOPS 13018830 HAS SOUS 11970592 HAS SOUPS 11586732 WITH SCORE 1.1606636458E7
AT ITER 3035 NEW BEST:: SOT 30096679 SOS 19904071 HAS SOPS 13016191 HAS SOUS 11969184 HAS SOUPS 11585324 WITH SCORE 1.1605228071E7
AT ITER 3049 NEW BEST:: SOT 30095624 SOS 19903016 HAS SOPS 13014080 HAS SOUS 11966019 HAS SOUPS 11582159 WITH SCORE 1.1602062016E7
AT ITER 3055 NEW BEST:: SOT 30095584 SOS 19902976 HAS SOPS 13014000 HAS SOUS 11965939 HAS SOUPS 11582079 WITH SCORE 1.1601981976E7
AT ITER 3059 NEW BEST:: SOT 30095551 SOS 19902943 HAS SOPS 13013598 HAS SOUS 11965538 HAS SOUPS 11581678 WITH SCORE 1.1601580943E7
AT ITER 3063 NEW BEST:: SOT 30095505 SOS 19902897 HAS SOPS 13013427 HAS SOUS 11965406 HAS SOUPS 11581546 WITH SCORE 1.1601448897E7
AT ITER 3064 NEW BEST:: SOT 30094181 SOS 19901573 HAS SOPS 13012521 HAS SOUS 11964500 HAS SOUPS 11580640 WITH SCORE 1.1600541573E7
AT ITER 3070 NEW BEST:: SOT 30094181 SOS 19901301 HAS SOPS 13012089 HAS SOUS 11964068 HAS SOUPS 11580208 WITH SCORE 1.1600109301E7
AT ITER 3072 NEW BEST:: SOT 30094284 SOS 19901404 HAS SOPS 13012294 HAS SOUS 11962609 HAS SOUPS 11578749 WITH SCORE 1.1598650404E7
AT ITER 3076 NEW BEST:: SOT 30096185 SOS 19903305 HAS SOPS 13011266 HAS SOUS 11961359 HAS SOUPS 11576285 WITH SCORE 1.1596188305E7
AT ITER 3077 NEW BEST:: SOT 30096185 SOS 19903305 HAS SOPS 13011262 HAS SOUS 11961355 HAS SOUPS 11576281 WITH SCORE 1.1596184305E7
AT ITER 3097 NEW BEST:: SOT 30095059 SOS 19902179 HAS SOPS 13010136 HAS SOUS 11960229 HAS SOUPS 11575155 WITH SCORE 1.1595057179E7
AT ITER 3107 NEW BEST:: SOT 30094848 SOS 19901968 HAS SOPS 13009714 HAS SOUS 11960257 HAS SOUPS 11574733 WITH SCORE 1.1594634968E7
AT ITER 3114 NEW BEST:: SOT 30094237 SOS 19901357 HAS SOPS 13007434 HAS SOUS 11957978 HAS SOUPS 11572454 WITH SCORE 1.1592355357E7
AT ITER 3119 NEW BEST:: SOT 30094237 SOS 19901357 HAS SOPS 13007233 HAS SOUS 11957778 HAS SOUPS 11572254 WITH SCORE 1.1592155357E7
AT ITER 3129 NEW BEST:: SOT 30093574 SOS 19900694 HAS SOPS 13005907 HAS SOUS 11956633 HAS SOUPS 11570928 WITH SCORE 1.1590828694E7
AT ITER 3130 NEW BEST:: SOT 30093574 SOS 19900694 HAS SOPS 13004517 HAS SOUS 11956147 HAS SOUPS 11570442 WITH SCORE 1.1590342694E7
AT ITER 3142 NEW BEST:: SOT 30093574 SOS 19900694 HAS SOPS 13004158 HAS SOUS 11955788 HAS SOUPS 11570083 WITH SCORE 1.1589983694E7
AT ITER 3143 NEW BEST:: SOT 30093574 SOS 19901948 HAS SOPS 13003303 HAS SOUS 11954933 HAS SOUPS 11569228 WITH SCORE 1.1589129948E7
AT ITER 3145 NEW BEST:: SOT 30093574 SOS 19901948 HAS SOPS 13002879 HAS SOUS 11954509 HAS SOUPS 11568804 WITH SCORE 1.1588705948E7
AT ITER 3147 NEW BEST:: SOT 30093260 SOS 19901634 HAS SOPS 13002251 HAS SOUS 11953881 HAS SOUPS 11568176 WITH SCORE 1.1588077634E7
AT ITER 3152 NEW BEST:: SOT 30092903 SOS 19901745 HAS SOPS 13000023 HAS SOUS 11951654 HAS SOUPS 11565949 WITH SCORE 1.1585850745E7
AT ITER 3153 NEW BEST:: SOT 30092715 SOS 19901557 HAS SOPS 12999647 HAS SOUS 11951466 HAS SOUPS 11565573 WITH SCORE 1.1585474557E7
AT ITER 3154 NEW BEST:: SOT 30092652 SOS 19901494 HAS SOPS 12997042 HAS SOUS 11948861 HAS SOUPS 11562968 WITH SCORE 1.1582869494E7
AT ITER 3159 NEW BEST:: SOT 30091876 SOS 19900718 HAS SOPS 12995489 HAS SOUS 11948156 HAS SOUPS 11562263 WITH SCORE 1.1582163718E7
AT ITER 3160 NEW BEST:: SOT 30090877 SOS 19899719 HAS SOPS 12993281 HAS SOUS 11947581 HAS SOUPS 11561688 WITH SCORE 1.1581587719E7
AT ITER 3174 NEW BEST:: SOT 30089480 SOS 19898322 HAS SOPS 12990716 HAS SOUS 11946524 HAS SOUPS 11560291 WITH SCORE 1.1580189322E7
AT ITER 3178 NEW BEST:: SOT 30089480 SOS 19898322 HAS SOPS 12990715 HAS SOUS 11946053 HAS SOUPS 11559820 WITH SCORE 1.1579718322E7
AT ITER 3185 NEW BEST:: SOT 30089524 SOS 19898366 HAS SOPS 12990608 HAS SOUS 11945946 HAS SOUPS 11559713 WITH SCORE 1.1579611366E7
AT ITER 3187 NEW BEST:: SOT 30089030 SOS 19897872 HAS SOPS 12987551 HAS SOUS 11944551 HAS SOUPS 11558318 WITH SCORE 1.1578215872E7
AT ITER 3188 NEW BEST:: SOT 30088132 SOS 19896974 HAS SOPS 12984349 HAS SOUS 11941760 HAS SOUPS 11554915 WITH SCORE 1.1574811974E7
AT ITER 3200 NEW BEST:: SOT 30088182 SOS 19897024 HAS SOPS 12984448 HAS SOUS 11940219 HAS SOUPS 11553374 WITH SCORE 1.1573271024E7
AT ITER 3206 NEW BEST:: SOT 30089212 SOS 19898054 HAS SOPS 12985466 HAS SOUS 11939925 HAS SOUPS 11553080 WITH SCORE 1.1572978054E7
AT ITER 3207 NEW BEST:: SOT 30088879 SOS 19897721 HAS SOPS 12984938 HAS SOUS 11939259 HAS SOUPS 11552414 WITH SCORE 1.1572311721E7
AT ITER 3209 NEW BEST:: SOT 30089154 SOS 19898579 HAS SOPS 12984556 HAS SOUS 11938877 HAS SOUPS 11552032 WITH SCORE 1.1571930579E7
AT ITER 3210 NEW BEST:: SOT 29988075 SOS 25457322 HAS SOPS 12882161 HAS SOUS 11845987 HAS SOUPS 11453866 WITH SCORE 1.1479323322E7
AT ITER 3211 NEW BEST:: SOT 29987851 SOS 25457098 HAS SOPS 12881937 HAS SOUS 11845763 HAS SOUPS 11453642 WITH SCORE 1.1479099098E7
AT ITER 3214 NEW BEST:: SOT 29987851 SOS 25457098 HAS SOPS 12882539 HAS SOUS 11845641 HAS SOUPS 11453520 WITH SCORE 1.1478977098E7
AT ITER 3216 NEW BEST:: SOT 29987851 SOS 25457098 HAS SOPS 12882122 HAS SOUS 11845229 HAS SOUPS 11453103 WITH SCORE 1.1478560098E7
AT ITER 3217 NEW BEST:: SOT 29988647 SOS 25457894 HAS SOPS 12881176 HAS SOUS 11843525 HAS SOUPS 11451399 WITH SCORE 1.1476856894E7
AT ITER 3221 NEW BEST:: SOT 29988164 SOS 25457411 HAS SOPS 12880209 HAS SOUS 11841139 HAS SOUPS 11449013 WITH SCORE 1.1474470411E7
AT ITER 3231 NEW BEST:: SOT 29988132 SOS 25457379 HAS SOPS 12878991 HAS SOUS 11840734 HAS SOUPS 11448608 WITH SCORE 1.1474065379E7
AT ITER 3234 NEW BEST:: SOT 29986585 SOS 25455832 HAS SOPS 12875896 HAS SOUS 11837663 HAS SOUPS 11445514 WITH SCORE 1.1470969832E7
AT ITER 3238 NEW BEST:: SOT 29985719 SOS 25454966 HAS SOPS 12874164 HAS SOUS 11837357 HAS SOUPS 11445208 WITH SCORE 1.1470662966E7
AT ITER 3240 NEW BEST:: SOT 29985507 SOS 25454754 HAS SOPS 12873952 HAS SOUS 11837145 HAS SOUPS 11444996 WITH SCORE 1.1470450754E7
AT ITER 3242 NEW BEST:: SOT 29984328 SOS 25453575 HAS SOPS 12873422 HAS SOUS 11835782 HAS SOUPS 11443633 WITH SCORE 1.1469086575E7
AT ITER 3246 NEW BEST:: SOT 29984092 SOS 25453339 HAS SOPS 12872817 HAS SOUS 11835373 HAS SOUPS 11443224 WITH SCORE 1.1468677339E7
AT ITER 3249 NEW BEST:: SOT 29983207 SOS 25452454 HAS SOPS 12870678 HAS SOUS 11834112 HAS SOUPS 11441963 WITH SCORE 1.1467415454E7
AT ITER 3253 NEW BEST:: SOT 29982655 SOS 25451902 HAS SOPS 12869573 HAS SOUS 11831334 HAS SOUPS 11439185 WITH SCORE 1.1464636902E7
AT ITER 3272 NEW BEST:: SOT 29981319 SOS 25450566 HAS SOPS 12865476 HAS SOUS 11828866 HAS SOUPS 11436717 WITH SCORE 1.1462167566E7
AT ITER 3277 NEW BEST:: SOT 29979556 SOS 25448803 HAS SOPS 12860667 HAS SOUS 11826623 HAS SOUPS 11434474 WITH SCORE 1.1459922803E7
AT ITER 3281 NEW BEST:: SOT 29979077 SOS 25448324 HAS SOPS 12858015 HAS SOUS 11824450 HAS SOUPS 11432301 WITH SCORE 1.1457749324E7
AT ITER 3283 NEW BEST:: SOT 29978574 SOS 25429210 HAS SOPS 12839404 HAS SOUS 11823444 HAS SOUPS 11431295 WITH SCORE 1.145672421E7
AT ITER 3292 NEW BEST:: SOT 29978252 SOS 25428888 HAS SOPS 12838431 HAS SOUS 11822793 HAS SOUPS 11430644 WITH SCORE 1.1456072888E7
AT ITER 3293 NEW BEST:: SOT 29977010 SOS 25427646 HAS SOPS 12835946 HAS SOUS 11820310 HAS SOUPS 11428161 WITH SCORE 1.1453588646E7
AT ITER 3295 NEW BEST:: SOT 29976537 SOS 25427173 HAS SOPS 12835000 HAS SOUS 11819364 HAS SOUPS 11427215 WITH SCORE 1.1452642173E7
AT ITER 3299 NEW BEST:: SOT 29976668 SOS 25427304 HAS SOPS 12835262 HAS SOUS 11819103 HAS SOUPS 11426954 WITH SCORE 1.1452381304E7
AT ITER 3300 NEW BEST:: SOT 29975217 SOS 25425853 HAS SOPS 12831316 HAS SOUS 11815734 HAS SOUPS 11423585 WITH SCORE 1.1449010853E7
AT ITER 3301 NEW BEST:: SOT 29974002 SOS 25424638 HAS SOPS 12828855 HAS SOUS 11813546 HAS SOUPS 11421125 WITH SCORE 1.1446549638E7
AT ITER 3304 NEW BEST:: SOT 29974414 SOS 25425050 HAS SOPS 12829678 HAS SOUS 11813428 HAS SOUPS 11421007 WITH SCORE 1.144643205E7
AT ITER 3308 NEW BEST:: SOT 29975612 SOS 25470808 HAS SOPS 12827955 HAS SOUS 11813020 HAS SOUPS 11419284 WITH SCORE 1.1444754808E7
AT ITER 3314 NEW BEST:: SOT 29975421 SOS 25470617 HAS SOPS 12827539 HAS SOUS 11811266 HAS SOUPS 11417530 WITH SCORE 1.1443000617E7
AT ITER 3316 NEW BEST:: SOT 29975142 SOS 25470338 HAS SOPS 12826977 HAS SOUS 11810648 HAS SOUPS 11416972 WITH SCORE 1.1442442338E7
AT ITER 3317 NEW BEST:: SOT 29974502 SOS 25469698 HAS SOPS 12824761 HAS SOUS 11809811 HAS SOUPS 11416013 WITH SCORE 1.1441482698E7
AT ITER 3328 NEW BEST:: SOT 29973416 SOS 25468612 HAS SOPS 12822588 HAS SOUS 11805964 HAS SOUPS 11412166 WITH SCORE 1.1437634612E7
AT ITER 3329 NEW BEST:: SOT 29973363 SOS 25468559 HAS SOPS 12823695 HAS SOUS 11805861 HAS SOUPS 11412063 WITH SCORE 1.1437531559E7
AT ITER 3333 NEW BEST:: SOT 29973573 SOS 25468769 HAS SOPS 12824114 HAS SOUS 11805611 HAS SOUPS 11411813 WITH SCORE 1.1437281769E7
AT ITER 3337 NEW BEST:: SOT 29973390 SOS 25468586 HAS SOPS 12823189 HAS SOUS 11804909 HAS SOUPS 11410969 WITH SCORE 1.1436437586E7
AT ITER 3341 NEW BEST:: SOT 29973145 SOS 25468341 HAS SOPS 12822944 HAS SOUS 11804664 HAS SOUPS 11410724 WITH SCORE 1.1436192341E7
AT ITER 3344 NEW BEST:: SOT 29971575 SOS 25466771 HAS SOPS 12819704 HAS SOUS 11801425 HAS SOUPS 11407485 WITH SCORE 1.1432951771E7
AT ITER 3346 NEW BEST:: SOT 29971406 SOS 25466602 HAS SOPS 12819365 HAS SOUS 11800918 HAS SOUPS 11406978 WITH SCORE 1.1432444602E7
AT ITER 3347 NEW BEST:: SOT 29969910 SOS 25465106 HAS SOPS 12813732 HAS SOUS 11797180 HAS SOUPS 11403240 WITH SCORE 1.1428705106E7
AT ITER 3348 NEW BEST:: SOT 29968912 SOS 25464108 HAS SOPS 12811735 HAS SOUS 11794186 HAS SOUPS 11400246 WITH SCORE 1.1425710108E7
AT ITER 3353 NEW BEST:: SOT 29967308 SOS 25462504 HAS SOPS 12808526 HAS SOUS 11790783 HAS SOUPS 11396843 WITH SCORE 1.1422305504E7
AT ITER 3357 NEW BEST:: SOT 29966312 SOS 25461508 HAS SOPS 12806399 HAS SOUS 11788656 HAS SOUPS 11394716 WITH SCORE 1.1420177508E7
AT ITER 3359 NEW BEST:: SOT 29966320 SOS 25493796 HAS SOPS 12805596 HAS SOUS 11788878 HAS SOUPS 11393913 WITH SCORE 1.1419406796E7
AT ITER 3360 NEW BEST:: SOT 29965725 SOS 25493201 HAS SOPS 12804405 HAS SOUS 11787450 HAS SOUPS 11392485 WITH SCORE 1.1417978201E7
AT ITER 3362 NEW BEST:: SOT 29965184 SOS 25492660 HAS SOPS 12803323 HAS SOUS 11786368 HAS SOUPS 11391403 WITH SCORE 1.141689566E7
AT ITER 3375 NEW BEST:: SOT 29965184 SOS 25492660 HAS SOPS 12803031 HAS SOUS 11786076 HAS SOUPS 11391111 WITH SCORE 1.141660366E7
AT ITER 3377 NEW BEST:: SOT 29965184 SOS 25492660 HAS SOPS 12803031 HAS SOUS 11786060 HAS SOUPS 11391095 WITH SCORE 1.141658766E7
AT ITER 3379 NEW BEST:: SOT 29965346 SOS 25492822 HAS SOPS 12802927 HAS SOUS 11784988 HAS SOUPS 11389807 WITH SCORE 1.1415299822E7
AT ITER 3381 NEW BEST:: SOT 29965319 SOS 25492795 HAS SOPS 12802873 HAS SOUS 11784961 HAS SOUPS 11389780 WITH SCORE 1.1415272795E7
AT ITER 3384 NEW BEST:: SOT 29965101 SOS 25492577 HAS SOPS 12802436 HAS SOUS 11784525 HAS SOUPS 11389344 WITH SCORE 1.1414836577E7
AT ITER 3393 NEW BEST:: SOT 29964903 SOS 25492379 HAS SOPS 12800362 HAS SOUS 11783106 HAS SOUPS 11387925 WITH SCORE 1.1413417379E7
AT ITER 3394 NEW BEST:: SOT 29964954 SOS 25492430 HAS SOPS 12800767 HAS SOUS 11782591 HAS SOUPS 11387410 WITH SCORE 1.141290243E7
AT ITER 3395 NEW BEST:: SOT 29964345 SOS 25491821 HAS SOPS 12799549 HAS SOUS 11781374 HAS SOUPS 11386193 WITH SCORE 1.1411684821E7
AT ITER 3396 NEW BEST:: SOT 29964226 SOS 25491702 HAS SOPS 12799310 HAS SOUS 11780353 HAS SOUPS 11385172 WITH SCORE 1.1410663702E7
AT ITER 3407 NEW BEST:: SOT 29964193 SOS 25523775 HAS SOPS 12798408 HAS SOUS 11780535 HAS SOUPS 11384270 WITH SCORE 1.1409793775E7
AT ITER 3414 NEW BEST:: SOT 29964556 SOS 25524138 HAS SOPS 12797105 HAS SOUS 11781230 HAS SOUPS 11382968 WITH SCORE 1.1408492138E7
AT ITER 3420 NEW BEST:: SOT 29964196 SOS 25523778 HAS SOPS 12795665 HAS SOUS 11780475 HAS SOUPS 11381853 WITH SCORE 1.1407376778E7
AT ITER 3426 NEW BEST:: SOT 29964202 SOS 25523784 HAS SOPS 12795676 HAS SOUS 11779402 HAS SOUPS 11380780 WITH SCORE 1.1406303784E7
AT ITER 3432 NEW BEST:: SOT 29963741 SOS 25523323 HAS SOPS 12794754 HAS SOUS 11778745 HAS SOUPS 11380106 WITH SCORE 1.1405629323E7
AT ITER 3435 NEW BEST:: SOT 29963572 SOS 25518064 HAS SOPS 12795767 HAS SOUS 11769181 HAS SOUPS 11370936 WITH SCORE 1.1396454064E7
AT ITER 3437 NEW BEST:: SOT 29962891 SOS 25517383 HAS SOPS 12794378 HAS SOUS 11767793 HAS SOUPS 11369548 WITH SCORE 1.1395065383E7
AT ITER 3439 NEW BEST:: SOT 29962214 SOS 25516706 HAS SOPS 12792551 HAS SOUS 11765967 HAS SOUPS 11367722 WITH SCORE 1.1393238706E7
AT ITER 3440 NEW BEST:: SOT 29961250 SOS 25515742 HAS SOPS 12789927 HAS SOUS 11764429 HAS SOUPS 11366184 WITH SCORE 1.1391699742E7
AT ITER 3447 NEW BEST:: SOT 29961234 SOS 25515726 HAS SOPS 12789895 HAS SOUS 11764397 HAS SOUPS 11366152 WITH SCORE 1.1391667726E7
AT ITER 3467 NEW BEST:: SOT 29961107 SOS 25515599 HAS SOPS 12789640 HAS SOUS 11762491 HAS SOUPS 11364246 WITH SCORE 1.1389761599E7
AT ITER 3468 NEW BEST:: SOT 29959539 SOS 25514031 HAS SOPS 12786430 HAS SOUS 11759282 HAS SOUPS 11361037 WITH SCORE 1.1386551031E7
AT ITER 3470 NEW BEST:: SOT 29957770 SOS 25512262 HAS SOPS 12782891 HAS SOUS 11755362 HAS SOUPS 11357117 WITH SCORE 1.1382629262E7
AT ITER 3472 NEW BEST:: SOT 29956734 SOS 25511226 HAS SOPS 12782889 HAS SOUS 11755361 HAS SOUPS 11357116 WITH SCORE 1.1382627226E7
AT ITER 3475 NEW BEST:: SOT 29955216 SOS 25509708 HAS SOPS 12778335 HAS SOUS 11752325 HAS SOUPS 11354080 WITH SCORE 1.1379589708E7
AT ITER 3476 NEW BEST:: SOT 29954880 SOS 25509372 HAS SOPS 12777663 HAS SOUS 11751653 HAS SOUPS 11353408 WITH SCORE 1.1378917372E7
AT ITER 3477 NEW BEST:: SOT 29953380 SOS 25507872 HAS SOPS 12774450 HAS SOUS 11749011 HAS SOUPS 11350664 WITH SCORE 1.1376171872E7
AT ITER 3482 NEW BEST:: SOT 29953052 SOS 25507544 HAS SOPS 12772984 HAS SOUS 11746918 HAS SOUPS 11348571 WITH SCORE 1.1374078544E7
AT ITER 3483 NEW BEST:: SOT 29952855 SOS 25507347 HAS SOPS 12772353 HAS SOUS 11746327 HAS SOUPS 11347980 WITH SCORE 1.1373487347E7
AT ITER 3489 NEW BEST:: SOT 29954526 SOS 25509018 HAS SOPS 12771820 HAS SOUS 11748166 HAS SOUPS 11347447 WITH SCORE 1.1372956018E7
AT ITER 3491 NEW BEST:: SOT 29954526 SOS 25509018 HAS SOPS 12771980 HAS SOUS 11748165 HAS SOUPS 11347446 WITH SCORE 1.1372955018E7
AT ITER 3493 NEW BEST:: SOT 29955086 SOS 25509578 HAS SOPS 12770659 HAS SOUS 11750047 HAS SOUPS 11346125 WITH SCORE 1.1371634578E7
AT ITER 3496 NEW BEST:: SOT 29954894 SOS 25509386 HAS SOPS 12771459 HAS SOUS 11749602 HAS SOUPS 11345680 WITH SCORE 1.1371189386E7
AT ITER 3499 NEW BEST:: SOT 29954894 SOS 25509386 HAS SOPS 12771075 HAS SOUS 11749218 HAS SOUPS 11345296 WITH SCORE 1.1370805386E7
AT ITER 3503 NEW BEST:: SOT 29953626 SOS 25508118 HAS SOPS 12766581 HAS SOUS 11744726 HAS SOUPS 11340804 WITH SCORE 1.1366312118E7
AT ITER 3506 NEW BEST:: SOT 29953626 SOS 25508118 HAS SOPS 12766577 HAS SOUS 11744810 HAS SOUPS 11340800 WITH SCORE 1.1366308118E7
AT ITER 3508 NEW BEST:: SOT 29953335 SOS 25507827 HAS SOPS 12765995 HAS SOUS 11743937 HAS SOUPS 11339927 WITH SCORE 1.1365434827E7
AT ITER 3518 NEW BEST:: SOT 29952444 SOS 25506936 HAS SOPS 12761929 HAS SOUS 11741014 HAS SOUPS 11337004 WITH SCORE 1.1362510936E7
AT ITER 3522 NEW BEST:: SOT 29950887 SOS 25505379 HAS SOPS 12758636 HAS SOUS 11741378 HAS SOUPS 11335266 WITH SCORE 1.1360771379E7
AT ITER 3529 NEW BEST:: SOT 29950380 SOS 25504872 HAS SOPS 12757621 HAS SOUS 11739849 HAS SOUPS 11333737 WITH SCORE 1.1359241872E7
AT ITER 3531 NEW BEST:: SOT 29946337 SOS 25500829 HAS SOPS 12751810 HAS SOUS 11735456 HAS SOUPS 11329344 WITH SCORE 1.1354844829E7
AT ITER 3534 NEW BEST:: SOT 29946475 SOS 25500967 HAS SOPS 12751918 HAS SOUS 11735379 HAS SOUPS 11329267 WITH SCORE 1.1354767967E7
AT ITER 3539 NEW BEST:: SOT 29947025 SOS 25501517 HAS SOPS 12749160 HAS SOUS 11732258 HAS SOUPS 11326146 WITH SCORE 1.1351647517E7
AT ITER 3544 NEW BEST:: SOT 29946961 SOS 25501453 HAS SOPS 12749032 HAS SOUS 11732130 HAS SOUPS 11326018 WITH SCORE 1.1351519453E7
AT ITER 3549 NEW BEST:: SOT 29945651 SOS 25500143 HAS SOPS 12746411 HAS SOUS 11730908 HAS SOUPS 11324692 WITH SCORE 1.1350192143E7
AT ITER 3553 NEW BEST:: SOT 29945832 SOS 25500324 HAS SOPS 12746773 HAS SOUS 11729611 HAS SOUPS 11323395 WITH SCORE 1.1348895324E7
AT ITER 3554 NEW BEST:: SOT 29946061 SOS 25500553 HAS SOPS 12747231 HAS SOUS 11729392 HAS SOUPS 11323176 WITH SCORE 1.1348676553E7
AT ITER 3557 NEW BEST:: SOT 29944518 SOS 25499010 HAS SOPS 12744084 HAS SOUS 11727996 HAS SOUPS 11321633 WITH SCORE 1.134713201E7
AT ITER 3558 NEW BEST:: SOT 29942860 SOS 25497352 HAS SOPS 12740768 HAS SOUS 11724681 HAS SOUPS 11318318 WITH SCORE 1.1343815352E7
AT ITER 3561 NEW BEST:: SOT 29942159 SOS 25496651 HAS SOPS 12740639 HAS SOUS 11723980 HAS SOUPS 11317617 WITH SCORE 1.1343113651E7
AT ITER 3566 NEW BEST:: SOT 29941938 SOS 25496430 HAS SOPS 12740371 HAS SOUS 11723759 HAS SOUPS 11317349 WITH SCORE 1.134284543E7
AT ITER 3573 NEW BEST:: SOT 29941938 SOS 25496430 HAS SOPS 12741905 HAS SOUS 11723758 HAS SOUPS 11317348 WITH SCORE 1.134284443E7
AT ITER 3577 NEW BEST:: SOT 29941938 SOS 25496430 HAS SOPS 12741904 HAS SOUS 11722370 HAS SOUPS 11315960 WITH SCORE 1.134145643E7
AT ITER 3582 NEW BEST:: SOT 29941172 SOS 25494309 HAS SOPS 12739028 HAS SOUS 11720838 HAS SOUPS 11314428 WITH SCORE 1.1339922309E7
AT ITER 3584 NEW BEST:: SOT 29941172 SOS 25494309 HAS SOPS 12738663 HAS SOUS 11720473 HAS SOUPS 11314063 WITH SCORE 1.1339557309E7
AT ITER 3585 NEW BEST:: SOT 29941154 SOS 25494291 HAS SOPS 12738626 HAS SOUS 11719525 HAS SOUPS 11313115 WITH SCORE 1.1338609291E7
AT ITER 3588 NEW BEST:: SOT 29939928 SOS 25493065 HAS SOPS 12735750 HAS SOUS 11716650 HAS SOUPS 11310240 WITH SCORE 1.1335733065E7
AT ITER 3590 NEW BEST:: SOT 29939928 SOS 25493065 HAS SOPS 12736180 HAS SOUS 11716649 HAS SOUPS 11310239 WITH SCORE 1.1335732065E7
AT ITER 3591 NEW BEST:: SOT 29939240 SOS 25466144 HAS SOPS 12709968 HAS SOUS 11715252 HAS SOUPS 11308842 WITH SCORE 1.1334308144E7
AT ITER 3603 NEW BEST:: SOT 29938512 SOS 25465416 HAS SOPS 12709240 HAS SOUS 11715251 HAS SOUPS 11308841 WITH SCORE 1.1334306416E7
AT ITER 3606 NEW BEST:: SOT 29938512 SOS 25465416 HAS SOPS 12709063 HAS SOUS 11715074 HAS SOUPS 11308664 WITH SCORE 1.1334129416E7
AT ITER 3612 NEW BEST:: SOT 29938438 SOS 25465342 HAS SOPS 12709061 HAS SOUS 11714926 HAS SOUPS 11308516 WITH SCORE 1.1333981342E7
AT ITER 3617 NEW BEST:: SOT 29938007 SOS 25464911 HAS SOPS 12708504 HAS SOUS 11714368 HAS SOUPS 11307958 WITH SCORE 1.1333422911E7
AT ITER 3622 NEW BEST:: SOT 29935877 SOS 25462781 HAS SOPS 12701664 HAS SOUS 11709010 HAS SOUPS 11302408 WITH SCORE 1.1327870781E7
AT ITER 3626 NEW BEST:: SOT 29935918 SOS 25462822 HAS SOPS 12700804 HAS SOUS 11707430 HAS SOUPS 11300828 WITH SCORE 1.1326290822E7
AT ITER 3634 NEW BEST:: SOT 29935567 SOS 25462471 HAS SOPS 12700102 HAS SOUS 11706728 HAS SOUPS 11300126 WITH SCORE 1.1325588471E7
AT ITER 3636 NEW BEST:: SOT 29935567 SOS 25462471 HAS SOPS 12698788 HAS SOUS 11705873 HAS SOUPS 11299271 WITH SCORE 1.1324733471E7
AT ITER 3642 NEW BEST:: SOT 29935567 SOS 25462471 HAS SOPS 12697976 HAS SOUS 11705061 HAS SOUPS 11298459 WITH SCORE 1.1323921471E7
AT ITER 3645 NEW BEST:: SOT 29936035 SOS 25462939 HAS SOPS 12698911 HAS SOUS 11704326 HAS SOUPS 11297724 WITH SCORE 1.1323186939E7
AT ITER 3646 NEW BEST:: SOT 29935524 SOS 25462428 HAS SOPS 12698400 HAS SOUS 11703815 HAS SOUPS 11297213 WITH SCORE 1.1322675428E7
AT ITER 3649 NEW BEST:: SOT 29935490 SOS 25462394 HAS SOPS 12697989 HAS SOUS 11703404 HAS SOUPS 11296802 WITH SCORE 1.1322264394E7
AT ITER 3651 NEW BEST:: SOT 29936088 SOS 25462992 HAS SOPS 12699184 HAS SOUS 11702964 HAS SOUPS 11296362 WITH SCORE 1.1321824992E7
AT ITER 3654 NEW BEST:: SOT 29936031 SOS 25462935 HAS SOPS 12699070 HAS SOUS 11702850 HAS SOUPS 11296248 WITH SCORE 1.1321710935E7
AT ITER 3656 NEW BEST:: SOT 29936031 SOS 25462935 HAS SOPS 12698960 HAS SOUS 11702740 HAS SOUPS 11296138 WITH SCORE 1.1321600935E7
AT ITER 3659 NEW BEST:: SOT 29934868 SOS 25461772 HAS SOPS 12698960 HAS SOUS 11702740 HAS SOUPS 11296138 WITH SCORE 1.1321599772E7
AT ITER 3665 NEW BEST:: SOT 29934749 SOS 25461653 HAS SOPS 12696951 HAS SOUS 11700850 HAS SOUPS 11294248 WITH SCORE 1.1319709653E7
AT ITER 3666 NEW BEST:: SOT 29933645 SOS 25460549 HAS SOPS 12693360 HAS SOUS 11698228 HAS SOUPS 11291381 WITH SCORE 1.1316841549E7
AT ITER 3673 NEW BEST:: SOT 29933568 SOS 25460472 HAS SOPS 12693261 HAS SOUS 11698074 HAS SOUPS 11291282 WITH SCORE 1.1316742472E7
AT ITER 3675 NEW BEST:: SOT 29932173 SOS 25459077 HAS SOPS 12693465 HAS SOUS 11696440 HAS SOUPS 11289648 WITH SCORE 1.1315107077E7
AT ITER 3677 NEW BEST:: SOT 29932173 SOS 25459077 HAS SOPS 12693178 HAS SOUS 11696328 HAS SOUPS 11289361 WITH SCORE 1.1314820077E7
AT ITER 3681 NEW BEST:: SOT 29932204 SOS 25459108 HAS SOPS 12693158 HAS SOUS 11696559 HAS SOUPS 11289341 WITH SCORE 1.1314800108E7
AT ITER 3700 NEW BEST:: SOT 29931807 SOS 25444022 HAS SOPS 12678469 HAS SOUS 11695765 HAS SOUPS 11288547 WITH SCORE 1.1313991022E7
AT ITER 3706 NEW BEST:: SOT 29931351 SOS 25443566 HAS SOPS 12677556 HAS SOUS 11694942 HAS SOUPS 11287724 WITH SCORE 1.1313167566E7
AT ITER 3707 NEW BEST:: SOT 29936266 SOS 25439619 HAS SOPS 12685478 HAS SOUS 11692859 HAS SOUPS 11286393 WITH SCORE 1.1311832619E7
AT ITER 3708 NEW BEST:: SOT 29934977 SOS 25438330 HAS SOPS 12683726 HAS SOUS 11691107 HAS SOUPS 11284641 WITH SCORE 1.131007933E7
AT ITER 3717 NEW BEST:: SOT 29934805 SOS 25438158 HAS SOPS 12683455 HAS SOUS 11690836 HAS SOUPS 11284370 WITH SCORE 1.1309808158E7
AT ITER 3740 NEW BEST:: SOT 29934473 SOS 25437826 HAS SOPS 12683123 HAS SOUS 11690836 HAS SOUPS 11284370 WITH SCORE 1.1309807826E7
AT ITER 3745 NEW BEST:: SOT 29933619 SOS 25436972 HAS SOPS 12680698 HAS SOUS 11689128 HAS SOUPS 11282662 WITH SCORE 1.1308098972E7
AT ITER 3759 NEW BEST:: SOT 29933619 SOS 25436972 HAS SOPS 12680698 HAS SOUS 11688825 HAS SOUPS 11282359 WITH SCORE 1.1307795972E7
AT ITER 3760 NEW BEST:: SOT 29932885 SOS 25436238 HAS SOPS 12679230 HAS SOUS 11687357 HAS SOUPS 11280891 WITH SCORE 1.1306327238E7
AT ITER 3784 NEW BEST:: SOT 29932885 SOS 25436238 HAS SOPS 12678792 HAS SOUS 11686919 HAS SOUPS 11280453 WITH SCORE 1.1305889238E7
AT ITER 3785 NEW BEST:: SOT 29932769 SOS 25436122 HAS SOPS 12678560 HAS SOUS 11686878 HAS SOUPS 11280337 WITH SCORE 1.1305773122E7
AT ITER 3790 NEW BEST:: SOT 29932743 SOS 25436096 HAS SOPS 12678387 HAS SOUS 11686705 HAS SOUPS 11280164 WITH SCORE 1.1305600096E7
AT ITER 3797 NEW BEST:: SOT 29931488 SOS 25434841 HAS SOPS 12675482 HAS SOUS 11683801 HAS SOUPS 11277260 WITH SCORE 1.1302694841E7
AT ITER 3801 NEW BEST:: SOT 29931269 SOS 25434622 HAS SOPS 12675102 HAS SOUS 11683421 HAS SOUPS 11276880 WITH SCORE 1.1302314622E7
AT ITER 3816 NEW BEST:: SOT 29930924 SOS 25434277 HAS SOPS 12673504 HAS SOUS 11682731 HAS SOUPS 11276190 WITH SCORE 1.1301624277E7
AT ITER 3818 NEW BEST:: SOT 29931720 SOS 25435073 HAS SOPS 12675095 HAS SOUS 11682901 HAS SOUPS 11276180 WITH SCORE 1.1301615073E7
AT ITER 3823 NEW BEST:: SOT 29933665 SOS 25437018 HAS SOPS 12674495 HAS SOUS 11682108 HAS SOUPS 11274653 WITH SCORE 1.1300090018E7
AT ITER 3826 NEW BEST:: SOT 29933683 SOS 25437036 HAS SOPS 12673723 HAS SOUS 11681336 HAS SOUPS 11273881 WITH SCORE 1.1299318036E7
AT ITER 3829 NEW BEST:: SOT 29936417 SOS 25439770 HAS SOPS 12671924 HAS SOUS 11679538 HAS SOUPS 11272083 WITH SCORE 1.129752277E7
AT ITER 3833 NEW BEST:: SOT 29937772 SOS 25441125 HAS SOPS 12673128 HAS SOUS 11679085 HAS SOUPS 11271630 WITH SCORE 1.1297071125E7
AT ITER 3834 NEW BEST:: SOT 29937741 SOS 25441094 HAS SOPS 12672758 HAS SOUS 11678715 HAS SOUPS 11271260 WITH SCORE 1.1296701094E7
AT ITER 3836 NEW BEST:: SOT 29936089 SOS 25439442 HAS SOPS 12669454 HAS SOUS 11675412 HAS SOUPS 11267957 WITH SCORE 1.1293396442E7
AT ITER 3850 NEW BEST:: SOT 29934104 SOS 25437457 HAS SOPS 12664468 HAS SOUS 11671296 HAS SOUPS 11263841 WITH SCORE 1.1289278457E7
AT ITER 3856 NEW BEST:: SOT 29934393 SOS 25437746 HAS SOPS 12664330 HAS SOUS 11671312 HAS SOUPS 11263703 WITH SCORE 1.1289140746E7
AT ITER 3857 NEW BEST:: SOT 29933758 SOS 25437111 HAS SOPS 12663060 HAS SOUS 11670474 HAS SOUPS 11262865 WITH SCORE 1.1288302111E7
AT ITER 3866 NEW BEST:: SOT 29933777 SOS 25437130 HAS SOPS 12662104 HAS SOUS 11669518 HAS SOUPS 11261909 WITH SCORE 1.128734613E7
AT ITER 3873 NEW BEST:: SOT 29933040 SOS 25436393 HAS SOPS 12660629 HAS SOUS 11668781 HAS SOUPS 11261172 WITH SCORE 1.1286608393E7
AT ITER 3896 NEW BEST:: SOT 29932799 SOS 25436152 HAS SOPS 12659341 HAS SOUS 11668299 HAS SOUPS 11260690 WITH SCORE 1.1286126152E7
AT ITER 3909 NEW BEST:: SOT 29932799 SOS 25436152 HAS SOPS 12659341 HAS SOUS 11668062 HAS SOUPS 11260453 WITH SCORE 1.1285889152E7
AT ITER 3912 NEW BEST:: SOT 29931509 SOS 25434862 HAS SOPS 12656761 HAS SOUS 11665788 HAS SOUPS 11257873 WITH SCORE 1.1283307862E7
AT ITER 3921 NEW BEST:: SOT 29931509 SOS 25434862 HAS SOPS 12656037 HAS SOUS 11665064 HAS SOUPS 11257149 WITH SCORE 1.1282583862E7
AT ITER 3928 NEW BEST:: SOT 29931150 SOS 25434503 HAS SOPS 12654848 HAS SOUS 11663877 HAS SOUPS 11255962 WITH SCORE 1.1281396503E7
AT ITER 3937 NEW BEST:: SOT 29931150 SOS 25434503 HAS SOPS 12654847 HAS SOUS 11662239 HAS SOUPS 11254324 WITH SCORE 1.1279758503E7
AT ITER 3938 NEW BEST:: SOT 29930818 SOS 25434171 HAS SOPS 12654182 HAS SOUS 11661575 HAS SOUPS 11253660 WITH SCORE 1.1279094171E7
AT ITER 3942 NEW BEST:: SOT 29929812 SOS 25433165 HAS SOPS 12652169 HAS SOUS 11657893 HAS SOUPS 11249978 WITH SCORE 1.1275411165E7
AT ITER 3946 NEW BEST:: SOT 29929473 SOS 25432826 HAS SOPS 12651491 HAS SOUS 11657215 HAS SOUPS 11249300 WITH SCORE 1.1274732826E7
AT ITER 3948 NEW BEST:: SOT 29929222 SOS 25432575 HAS SOPS 12650062 HAS SOUS 11655787 HAS SOUPS 11247872 WITH SCORE 1.1273304575E7
AT ITER 3965 NEW BEST:: SOT 29929180 SOS 25432396 HAS SOPS 12649839 HAS SOUS 11655707 HAS SOUPS 11247792 WITH SCORE 1.1273224396E7
AT ITER 3968 NEW BEST:: SOT 29928637 SOS 25431853 HAS SOPS 12648696 HAS SOUS 11654565 HAS SOUPS 11246650 WITH SCORE 1.1272081853E7
AT ITER 3980 NEW BEST:: SOT 29928070 SOS 25431286 HAS SOPS 12646792 HAS SOUS 11653229 HAS SOUPS 11245314 WITH SCORE 1.1270745286E7
AT ITER 3985 NEW BEST:: SOT 29927700 SOS 25430916 HAS SOPS 12645471 HAS SOUS 11651475 HAS SOUPS 11243560 WITH SCORE 1.1268990916E7
AT ITER 3989 NEW BEST:: SOT 29927700 SOS 25430916 HAS SOPS 12645187 HAS SOUS 11651191 HAS SOUPS 11243276 WITH SCORE 1.1268706916E7
AT ITER 3997 NEW BEST:: SOT 29927733 SOS 25430949 HAS SOPS 12645007 HAS SOUS 11651011 HAS SOUPS 11243096 WITH SCORE 1.1268526949E7
AT ITER 4001 NEW BEST:: SOT 29927733 SOS 25430949 HAS SOPS 12643960 HAS SOUS 11649417 HAS SOUPS 11241502 WITH SCORE 1.1266932949E7
AT ITER 4013 NEW BEST:: SOT 27842504 SOS 23345720 HAS SOPS 10558731 HAS SOUS 9826823 HAS SOUPS 9370216 WITH SCORE 9393561.72
AT ITER 4019 NEW BEST:: SOT 27842794 SOS 23346010 HAS SOPS 10557882 HAS SOUS 9825976 HAS SOUPS 9369369 WITH SCORE 9392715.01
AT ITER 4022 NEW BEST:: SOT 27842231 SOS 23345447 HAS SOPS 10556672 HAS SOUS 9824234 HAS SOUPS 9367627 WITH SCORE 9390972.447
AT ITER 4024 NEW BEST:: SOT 27840807 SOS 23344023 HAS SOPS 10553616 HAS SOUS 9821224 HAS SOUPS 9364617 WITH SCORE 9387961.023
AT ITER 4030 NEW BEST:: SOT 27840807 SOS 23344023 HAS SOPS 10553336 HAS SOUS 9821048 HAS SOUPS 9364337 WITH SCORE 9387681.023
AT ITER 4033 NEW BEST:: SOT 27840905 SOS 23344121 HAS SOPS 10550972 HAS SOUS 9818996 HAS SOUPS 9361973 WITH SCORE 9385317.121
AT ITER 4044 NEW BEST:: SOT 27840024 SOS 23343240 HAS SOPS 10548421 HAS SOUS 9816446 HAS SOUPS 9359423 WITH SCORE 9382766.24
AT ITER 4057 NEW BEST:: SOT 27839649 SOS 23342865 HAS SOPS 10547507 HAS SOUS 9815533 HAS SOUPS 9358510 WITH SCORE 9381852.865
AT ITER 4059 NEW BEST:: SOT 27839161 SOS 23342377 HAS SOPS 10546531 HAS SOUS 9814557 HAS SOUPS 9357534 WITH SCORE 9380876.377
AT ITER 4062 NEW BEST:: SOT 27838085 SOS 23301489 HAS SOPS 10506719 HAS SOUS 9812405 HAS SOUPS 9355382 WITH SCORE 9378683.489
AT ITER 4063 NEW BEST:: SOT 27836957 SOS 23300361 HAS SOPS 10504462 HAS SOUS 9810713 HAS SOUPS 9353690 WITH SCORE 9376990.361
AT ITER 4073 NEW BEST:: SOT 27836227 SOS 23299631 HAS SOPS 10501298 HAS SOUS 9807892 HAS SOUPS 9350526 WITH SCORE 9373825.631
AT ITER 4074 NEW BEST:: SOT 27836950 SOS 23300354 HAS SOPS 10499409 HAS SOUS 9806280 HAS SOUPS 9348638 WITH SCORE 9371938.354
AT ITER 4085 NEW BEST:: SOT 27836945 SOS 23301209 HAS SOPS 10499380 HAS SOUS 9806251 HAS SOUPS 9348609 WITH SCORE 9371910.209
AT ITER 4095 NEW BEST:: SOT 27842784 SOS 23306163 HAS SOPS 10480188 HAS SOUS 9787545 HAS SOUPS 9329417 WITH SCORE 9352723.163
AT ITER 4107 NEW BEST:: SOT 27843007 SOS 23306386 HAS SOPS 10478082 HAS SOUS 9786053 HAS SOUPS 9327311 WITH SCORE 9350617.386
AT ITER 4110 NEW BEST:: SOT 27841846 SOS 23305225 HAS SOPS 10475760 HAS SOUS 9785803 HAS SOUPS 9324989 WITH SCORE 9348294.225
AT ITER 4126 NEW BEST:: SOT 27841522 SOS 23304901 HAS SOPS 10475266 HAS SOUS 9785310 HAS SOUPS 9324496 WITH SCORE 9347800.901
AT ITER 4129 NEW BEST:: SOT 27841584 SOS 23304963 HAS SOPS 10475114 HAS SOUS 9785158 HAS SOUPS 9324344 WITH SCORE 9347648.963
AT ITER 4132 NEW BEST:: SOT 27843902 SOS 23257257 HAS SOPS 10413028 HAS SOUS 9769609 HAS SOUPS 9308795 WITH SCORE 9332052.257
AT ITER 4135 NEW BEST:: SOT 27843325 SOS 23256680 HAS SOPS 10411559 HAS SOUS 9768141 HAS SOUPS 9307327 WITH SCORE 9330583.68
AT ITER 4137 NEW BEST:: SOT 27842628 SOS 23255983 HAS SOPS 10407734 HAS SOUS 9764316 HAS SOUPS 9303502 WITH SCORE 9326757.983
AT ITER 4142 NEW BEST:: SOT 27842514 SOS 23255869 HAS SOPS 10407506 HAS SOUS 9764088 HAS SOUPS 9303274 WITH SCORE 9326529.869
AT ITER 4157 NEW BEST:: SOT 27842510 SOS 23255865 HAS SOPS 10407148 HAS SOUS 9763730 HAS SOUPS 9302916 WITH SCORE 9326171.865
AT ITER 4171 NEW BEST:: SOT 27842208 SOS 23255563 HAS SOPS 10406960 HAS SOUS 9763335 HAS SOUPS 9302521 WITH SCORE 9325776.563
AT ITER 4179 NEW BEST:: SOT 27842646 SOS 23256001 HAS SOPS 10405770 HAS SOUS 9761809 HAS SOUPS 9300995 WITH SCORE 9324251.001
AT ITER 4180 NEW BEST:: SOT 27842793 SOS 23256148 HAS SOPS 10404780 HAS SOUS 9761468 HAS SOUPS 9300654 WITH SCORE 9323910.148
AT ITER 4190 NEW BEST:: SOT 27842793 SOS 23256148 HAS SOPS 10404611 HAS SOUS 9761299 HAS SOUPS 9300485 WITH SCORE 9323741.148
AT ITER 4216 NEW BEST:: SOT 27843141 SOS 23256496 HAS SOPS 10401625 HAS SOUS 9759166 HAS SOUPS 9297499 WITH SCORE 9320755.496
AT ITER 4219 NEW BEST:: SOT 27843141 SOS 23257856 HAS SOPS 10401587 HAS SOUS 9759162 HAS SOUPS 9297461 WITH SCORE 9320718.856
AT ITER 4224 NEW BEST:: SOT 27843141 SOS 23257856 HAS SOPS 10400583 HAS SOUS 9758158 HAS SOUPS 9296457 WITH SCORE 9319714.856
AT ITER 4233 NEW BEST:: SOT 27841503 SOS 23256218 HAS SOPS 10400287 HAS SOUS 9757353 HAS SOUPS 9296161 WITH SCORE 9319417.218
AT ITER 4237 NEW BEST:: SOT 27841503 SOS 23256218 HAS SOPS 10399457 HAS SOUS 9756523 HAS SOUPS 9295331 WITH SCORE 9318587.218
AT ITER 4239 NEW BEST:: SOT 27840674 SOS 23255389 HAS SOPS 10398483 HAS SOUS 9755647 HAS SOUPS 9294357 WITH SCORE 9317612.389
AT ITER 4241 NEW BEST:: SOT 27840589 SOS 23255380 HAS SOPS 10398312 HAS SOUS 9755477 HAS SOUPS 9294187 WITH SCORE 9317442.38
AT ITER 4243 NEW BEST:: SOT 27839936 SOS 23254727 HAS SOPS 10396819 HAS SOUS 9754392 HAS SOUPS 9292694 WITH SCORE 9315948.727
AT ITER 4261 NEW BEST:: SOT 27839699 SOS 23254490 HAS SOPS 10396339 HAS SOUS 9756431 HAS SOUPS 9292214 WITH SCORE 9315468.49
AT ITER 4262 NEW BEST:: SOT 27839874 SOS 23254665 HAS SOPS 10395010 HAS SOUS 9755102 HAS SOUPS 9290885 WITH SCORE 9314139.665
AT ITER 4264 NEW BEST:: SOT 27839033 SOS 23253824 HAS SOPS 10394120 HAS SOUS 9754793 HAS SOUPS 9290787 WITH SCORE 9314040.824
AT ITER 4266 NEW BEST:: SOT 27839033 SOS 23253824 HAS SOPS 10394017 HAS SOUS 9754690 HAS SOUPS 9290684 WITH SCORE 9313937.824
AT ITER 4267 NEW BEST:: SOT 27839023 SOS 23270334 HAS SOPS 10393590 HAS SOUS 9754676 HAS SOUPS 9290257 WITH SCORE 9313527.334
AT ITER 4271 NEW BEST:: SOT 27837611 SOS 23268922 HAS SOPS 10393646 HAS SOUS 9754299 HAS SOUPS 9289880 WITH SCORE 9313148.922
AT ITER 4279 NEW BEST:: SOT 27837585 SOS 23268896 HAS SOPS 10393593 HAS SOUS 9754221 HAS SOUPS 9289802 WITH SCORE 9313070.896
AT ITER 4282 NEW BEST:: SOT 27836938 SOS 23268249 HAS SOPS 10392299 HAS SOUS 9752927 HAS SOUPS 9288508 WITH SCORE 9311776.249
AT ITER 4288 NEW BEST:: SOT 27836938 SOS 23268249 HAS SOPS 10392246 HAS SOUS 9752874 HAS SOUPS 9288455 WITH SCORE 9311723.249
AT ITER 4295 NEW BEST:: SOT 27836738 SOS 23268049 HAS SOPS 10391846 HAS SOUS 9752474 HAS SOUPS 9288055 WITH SCORE 9311323.049
AT ITER 4301 NEW BEST:: SOT 27836269 SOS 23267580 HAS SOPS 10390908 HAS SOUS 9751536 HAS SOUPS 9287117 WITH SCORE 9310384.58
AT ITER 4307 NEW BEST:: SOT 27835179 SOS 23266490 HAS SOPS 10389051 HAS SOUS 9749679 HAS SOUPS 9285260 WITH SCORE 9308526.49
AT ITER 4315 NEW BEST:: SOT 27835179 SOS 23266490 HAS SOPS 10388568 HAS SOUS 9749196 HAS SOUPS 9284777 WITH SCORE 9308043.49
AT ITER 4320 NEW BEST:: SOT 27836080 SOS 23267391 HAS SOPS 10387919 HAS SOUS 9749323 HAS SOUPS 9284128 WITH SCORE 9307395.391
AT ITER 4328 NEW BEST:: SOT 27835893 SOS 23267204 HAS SOPS 10387919 HAS SOUS 9749323 HAS SOUPS 9284128 WITH SCORE 9307395.204
AT ITER 4329 NEW BEST:: SOT 27835709 SOS 23267020 HAS SOPS 10387735 HAS SOUS 9749139 HAS SOUPS 9283944 WITH SCORE 9307211.02
AT ITER 4336 NEW BEST:: SOT 27836555 SOS 23267866 HAS SOPS 10387135 HAS SOUS 9748540 HAS SOUPS 9283345 WITH SCORE 9306612.866
AT ITER 4345 NEW BEST:: SOT 27835476 SOS 23266787 HAS SOPS 10383411 HAS SOUS 9746383 HAS SOUPS 9281188 WITH SCORE 9304454.787
AT ITER 4347 NEW BEST:: SOT 27835476 SOS 23266787 HAS SOPS 10383192 HAS SOUS 9746514 HAS SOUPS 9280969 WITH SCORE 9304235.787
AT ITER 4350 NEW BEST:: SOT 27834820 SOS 23266131 HAS SOPS 10381880 HAS SOUS 9745202 HAS SOUPS 9279657 WITH SCORE 9302923.131
AT ITER 4352 NEW BEST:: SOT 27834816 SOS 23266127 HAS SOPS 10381278 HAS SOUS 9744600 HAS SOUPS 9279055 WITH SCORE 9302321.127
AT ITER 4354 NEW BEST:: SOT 27834505 SOS 23265816 HAS SOPS 10380656 HAS SOUS 9744393 HAS SOUPS 9278433 WITH SCORE 9301698.816
AT ITER 4356 NEW BEST:: SOT 27833758 SOS 23265069 HAS SOPS 10380482 HAS SOUS 9743541 HAS SOUPS 9277581 WITH SCORE 9300846.069
AT ITER 4360 NEW BEST:: SOT 27830984 SOS 23262443 HAS SOPS 10379818 HAS SOUS 9742877 HAS SOUPS 9276917 WITH SCORE 9300179.443
AT ITER 4369 NEW BEST:: SOT 27830962 SOS 23262421 HAS SOPS 10379774 HAS SOUS 9742833 HAS SOUPS 9276873 WITH SCORE 9300135.421
AT ITER 4373 NEW BEST:: SOT 27830962 SOS 23262421 HAS SOPS 10379514 HAS SOUS 9742573 HAS SOUPS 9276613 WITH SCORE 9299875.421
AT ITER 4389 NEW BEST:: SOT 27830827 SOS 23262286 HAS SOPS 10378954 HAS SOUS 9742014 HAS SOUPS 9276054 WITH SCORE 9299316.286
AT ITER 4392 NEW BEST:: SOT 27829460 SOS 23260919 HAS SOPS 10376241 HAS SOUS 9740089 HAS SOUPS 9274129 WITH SCORE 9297389.919
AT ITER 4393 NEW BEST:: SOT 27827966 SOS 23259425 HAS SOPS 10374249 HAS SOUS 9738097 HAS SOUPS 9272137 WITH SCORE 9295396.425
AT ITER 4394 NEW BEST:: SOT 27827890 SOS 23259349 HAS SOPS 10372984 HAS SOUS 9736832 HAS SOUPS 9270872 WITH SCORE 9294131.349
AT ITER 4408 NEW BEST:: SOT 27829447 SOS 23260906 HAS SOPS 10372764 HAS SOUS 9737088 HAS SOUPS 9270652 WITH SCORE 9293912.906
AT ITER 4415 NEW BEST:: SOT 27829441 SOS 23260900 HAS SOPS 10372752 HAS SOUS 9737082 HAS SOUPS 9270640 WITH SCORE 9293900.9
AT ITER 4418 NEW BEST:: SOT 27828360 SOS 23259819 HAS SOPS 10372485 HAS SOUS 9736814 HAS SOUPS 9270372 WITH SCORE 9293631.819
AT ITER 4421 NEW BEST:: SOT 27846321 SOS 23257303 HAS SOPS 10342077 HAS SOUS 9723540 HAS SOUPS 9257098 WITH SCORE 9280355.303
AT ITER 4422 NEW BEST:: SOT 27846571 SOS 23257712 HAS SOPS 10341044 HAS SOUS 9723051 HAS SOUPS 9256065 WITH SCORE 9279322.712
AT ITER 4428 NEW BEST:: SOT 27845973 SOS 23257114 HAS SOPS 10340362 HAS SOUS 9722474 HAS SOUPS 9255488 WITH SCORE 9278745.114
AT ITER 4445 NEW BEST:: SOT 27851171 SOS 23250160 HAS SOPS 10347460 HAS SOUS 9713478 HAS SOUPS 9247442 WITH SCORE 9270692.16
AT ITER 4454 NEW BEST:: SOT 27851418 SOS 23250407 HAS SOPS 10346366 HAS SOUS 9712384 HAS SOUPS 9246348 WITH SCORE 9269598.407
AT ITER 4467 NEW BEST:: SOT 27851418 SOS 23250407 HAS SOPS 10346294 HAS SOUS 9712313 HAS SOUPS 9246277 WITH SCORE 9269527.407
AT ITER 4468 NEW BEST:: SOT 27850844 SOS 23249833 HAS SOPS 10345146 HAS SOUS 9711165 HAS SOUPS 9245129 WITH SCORE 9268378.833
AT ITER 4476 NEW BEST:: SOT 27850592 SOS 23249581 HAS SOPS 10344642 HAS SOUS 9710661 HAS SOUPS 9244625 WITH SCORE 9267874.581
AT ITER 4477 NEW BEST:: SOT 27850994 SOS 23249983 HAS SOPS 10344122 HAS SOUS 9710141 HAS SOUPS 9244105 WITH SCORE 9267354.983
AT ITER 4480 NEW BEST:: SOT 27850366 SOS 23249355 HAS SOPS 10342866 HAS SOUS 9708885 HAS SOUPS 9242849 WITH SCORE 9266098.355
AT ITER 4485 NEW BEST:: SOT 27850285 SOS 23249274 HAS SOPS 10342704 HAS SOUS 9709398 HAS SOUPS 9242687 WITH SCORE 9265936.274
AT ITER 4487 NEW BEST:: SOT 27849727 SOS 23248716 HAS SOPS 10341588 HAS SOUS 9708416 HAS SOUPS 9241571 WITH SCORE 9264819.716
AT ITER 4489 NEW BEST:: SOT 27849698 SOS 23248687 HAS SOPS 10341530 HAS SOUS 9708358 HAS SOUPS 9241513 WITH SCORE 9264761.687
AT ITER 4491 NEW BEST:: SOT 27848335 SOS 23247324 HAS SOPS 10338556 HAS SOUS 9705927 HAS SOUPS 9239082 WITH SCORE 9262329.324
AT ITER 4494 NEW BEST:: SOT 27849345 SOS 23248334 HAS SOPS 10338436 HAS SOUS 9705807 HAS SOUPS 9238962 WITH SCORE 9262210.334
AT ITER 4495 NEW BEST:: SOT 27849035 SOS 23248024 HAS SOPS 10337816 HAS SOUS 9705187 HAS SOUPS 9238342 WITH SCORE 9261590.024
AT ITER 4502 NEW BEST:: SOT 27849035 SOS 23248024 HAS SOPS 10337797 HAS SOUS 9705168 HAS SOUPS 9238323 WITH SCORE 9261571.024
AT ITER 4504 NEW BEST:: SOT 27849416 SOS 23248405 HAS SOPS 10337654 HAS SOUS 9705025 HAS SOUPS 9238180 WITH SCORE 9261428.405
AT ITER 4516 NEW BEST:: SOT 27849080 SOS 23248069 HAS SOPS 10336813 HAS SOUS 9704185 HAS SOUPS 9237340 WITH SCORE 9260588.069
AT ITER 4520 NEW BEST:: SOT 27849946 SOS 23248935 HAS SOPS 10336730 HAS SOUS 9704291 HAS SOUPS 9237217 WITH SCORE 9260465.935
AT ITER 4529 NEW BEST:: SOT 27849660 SOS 23248649 HAS SOPS 10338453 HAS SOUS 9704285 HAS SOUPS 9237211 WITH SCORE 9260459.649
AT ITER 4532 NEW BEST:: SOT 27848744 SOS 23247733 HAS SOPS 10336621 HAS SOUS 9702272 HAS SOUPS 9235379 WITH SCORE 9258626.733
AT ITER 4533 NEW BEST:: SOT 27848744 SOS 23247733 HAS SOPS 10336564 HAS SOUS 9702216 HAS SOUPS 9235323 WITH SCORE 9258570.733
AT ITER 4536 NEW BEST:: SOT 27846255 SOS 23245244 HAS SOPS 10332774 HAS SOUS 9698426 HAS SOUPS 9231533 WITH SCORE 9254778.244
AT ITER 4539 NEW BEST:: SOT 27846255 SOS 23245244 HAS SOPS 10332480 HAS SOUS 9698133 HAS SOUPS 9231240 WITH SCORE 9254485.244
AT ITER 4542 NEW BEST:: SOT 27846925 SOS 23245914 HAS SOPS 10330747 HAS SOUS 9697763 HAS SOUPS 9229507 WITH SCORE 9252752.914
AT ITER 4546 NEW BEST:: SOT 27846925 SOS 23245914 HAS SOPS 10330246 HAS SOUS 9697262 HAS SOUPS 9229006 WITH SCORE 9252251.914
AT ITER 4548 NEW BEST:: SOT 27846627 SOS 23241520 HAS SOPS 10330544 HAS SOUS 9690782 HAS SOUPS 9222824 WITH SCORE 9246065.52
AT ITER 4550 NEW BEST:: SOT 27848146 SOS 23243039 HAS SOPS 10329661 HAS SOUS 9689899 HAS SOUPS 9221941 WITH SCORE 9245184.039
AT ITER 4551 NEW BEST:: SOT 27848458 SOS 23243351 HAS SOPS 10329404 HAS SOUS 9689846 HAS SOUPS 9221684 WITH SCORE 9244927.351
AT ITER 4557 NEW BEST:: SOT 27847559 SOS 23189111 HAS SOPS 10248359 HAS SOUS 9657596 HAS SOUPS 9189434 WITH SCORE 9212623.111
AT ITER 4558 NEW BEST:: SOT 27847401 SOS 23188953 HAS SOPS 10248200 HAS SOUS 9657341 HAS SOUPS 9189179 WITH SCORE 9212367.953
AT ITER 4562 NEW BEST:: SOT 27847070 SOS 23188622 HAS SOPS 10247025 HAS SOUS 9656166 HAS SOUPS 9188004 WITH SCORE 9211192.622
AT ITER 4598 NEW BEST:: SOT 27847995 SOS 23189547 HAS SOPS 10245243 HAS SOUS 9654385 HAS SOUPS 9186223 WITH SCORE 9209412.547
AT ITER 4601 NEW BEST:: SOT 27848177 SOS 23189729 HAS SOPS 10242107 HAS SOUS 9652147 HAS SOUPS 9183803 WITH SCORE 9206992.729
AT ITER 4604 NEW BEST:: SOT 27847328 SOS 23188880 HAS SOPS 10242014 HAS SOUS 9652054 HAS SOUPS 9183710 WITH SCORE 9206898.88
AT ITER 4610 NEW BEST:: SOT 27847286 SOS 23188838 HAS SOPS 10241972 HAS SOUS 9652012 HAS SOUPS 9183668 WITH SCORE 9206856.838
AT ITER 4613 NEW BEST:: SOT 27846796 SOS 23170708 HAS SOPS 10224332 HAS SOUS 9651032 HAS SOUPS 9182688 WITH SCORE 9205858.708
AT ITER 4632 NEW BEST:: SOT 27846351 SOS 23170263 HAS SOPS 10220871 HAS SOUS 9647944 HAS SOUPS 9179600 WITH SCORE 9202770.263
AT ITER 4636 NEW BEST:: SOT 27845945 SOS 23169857 HAS SOPS 10219667 HAS SOUS 9646740 HAS SOUPS 9178396 WITH SCORE 9201565.857
AT ITER 4641 NEW BEST:: SOT 27846374 SOS 23170286 HAS SOPS 10217150 HAS SOUS 9644617 HAS SOUPS 9176151 WITH SCORE 9199321.286
AT ITER 4643 NEW BEST:: SOT 27846086 SOS 23169998 HAS SOPS 10216766 HAS SOUS 9644233 HAS SOUPS 9175767 WITH SCORE 9198936.998
AT ITER 4646 NEW BEST:: SOT 27847555 SOS 23171467 HAS SOPS 10216764 HAS SOUS 9644231 HAS SOUPS 9175765 WITH SCORE 9198936.467
AT ITER 4647 NEW BEST:: SOT 27847846 SOS 23171758 HAS SOPS 10214730 HAS SOUS 9642197 HAS SOUPS 9173731 WITH SCORE 9196902.758
AT ITER 4651 NEW BEST:: SOT 27848236 SOS 23172148 HAS SOPS 10213744 HAS SOUS 9641211 HAS SOUPS 9172745 WITH SCORE 9195917.148
AT ITER 4664 NEW BEST:: SOT 27857246 SOS 23168060 HAS SOPS 10225859 HAS SOUS 9636977 HAS SOUPS 9169546 WITH SCORE 9192714.06
AT ITER 4669 NEW BEST:: SOT 27857025 SOS 23167839 HAS SOPS 10225636 HAS SOUS 9636756 HAS SOUPS 9169325 WITH SCORE 9192492.839
AT ITER 4670 NEW BEST:: SOT 27873350 SOS 23182231 HAS SOPS 10209461 HAS SOUS 9624514 HAS SOUPS 9153394 WITH SCORE 9176576.231
AT ITER 4671 NEW BEST:: SOT 27873188 SOS 23182069 HAS SOPS 10206201 HAS SOUS 9621254 HAS SOUPS 9150134 WITH SCORE 9173316.069
AT ITER 4693 NEW BEST:: SOT 27873538 SOS 23182419 HAS SOPS 10205843 HAS SOUS 9620896 HAS SOUPS 9149776 WITH SCORE 9172958.419
AT ITER 4696 NEW BEST:: SOT 27873968 SOS 23182849 HAS SOPS 10203687 HAS SOUS 9618744 HAS SOUPS 9147624 WITH SCORE 9170806.849
AT ITER 4723 NEW BEST:: SOT 27873779 SOS 23182660 HAS SOPS 10202574 HAS SOUS 9617762 HAS SOUPS 9146642 WITH SCORE 9169824.66
AT ITER 4724 NEW BEST:: SOT 27873652 SOS 23182533 HAS SOPS 10202320 HAS SOUS 9617508 HAS SOUPS 9146388 WITH SCORE 9169570.533
AT ITER 4726 NEW BEST:: SOT 27880753 SOS 23176035 HAS SOPS 10179314 HAS SOUS 9606999 HAS SOUPS 9135879 WITH SCORE 9159055.035
AT ITER 4727 NEW BEST:: SOT 27880572 SOS 23175854 HAS SOPS 10178952 HAS SOUS 9606637 HAS SOUPS 9135517 WITH SCORE 9158692.854
AT ITER 4739 NEW BEST:: SOT 27721626 SOS 23016908 HAS SOPS 10019760 HAS SOUS 9580784 HAS SOUPS 9062586 WITH SCORE 9085602.908
AT ITER 4763 NEW BEST:: SOT 27720603 SOS 23015885 HAS SOPS 10019130 HAS SOUS 9579881 HAS SOUPS 9061956 WITH SCORE 9084971.885
AT ITER 4766 NEW BEST:: SOT 27720204 SOS 23015486 HAS SOPS 10018332 HAS SOUS 9579083 HAS SOUPS 9061158 WITH SCORE 9084173.486
AT ITER 4767 NEW BEST:: SOT 27719160 SOS 23014500 HAS SOPS 10018274 HAS SOUS 9578924 HAS SOUPS 9061100 WITH SCORE 9084114.5
AT ITER 4768 NEW BEST:: SOT 27717288 SOS 23012628 HAS SOPS 10018186 HAS SOUS 9578795 HAS SOUPS 9061012 WITH SCORE 9084024.628
AT ITER 4774 NEW BEST:: SOT 27717306 SOS 23013340 HAS SOPS 10018028 HAS SOUS 9578987 HAS SOUPS 9060854 WITH SCORE 9083867.34
AT ITER 4787 NEW BEST:: SOT 27716804 SOS 23012838 HAS SOPS 10017526 HAS SOUS 9578485 HAS SOUPS 9060352 WITH SCORE 9083364.838
AT ITER 4792 NEW BEST:: SOT 27716649 SOS 23012683 HAS SOPS 10017216 HAS SOUS 9578175 HAS SOUPS 9060042 WITH SCORE 9083054.683
AT ITER 4801 NEW BEST:: SOT 27715325 SOS 23011359 HAS SOPS 10014568 HAS SOUS 9575527 HAS SOUPS 9057394 WITH SCORE 9080405.359
AT ITER 4802 NEW BEST:: SOT 27715123 SOS 23011157 HAS SOPS 10013353 HAS SOUS 9574312 HAS SOUPS 9056179 WITH SCORE 9079190.157
AT ITER 4810 NEW BEST:: SOT 27713032 SOS 23008105 HAS SOPS 10011734 HAS SOUS 9572867 HAS SOUPS 9054734 WITH SCORE 9077742.105
AT ITER 4811 NEW BEST:: SOT 27712892 SOS 23007965 HAS SOPS 10011732 HAS SOUS 9572865 HAS SOUPS 9054732 WITH SCORE 9077739.965
AT ITER 4815 NEW BEST:: SOT 27714989 SOS 23010062 HAS SOPS 10011653 HAS SOUS 9572786 HAS SOUPS 9054653 WITH SCORE 9077663.062
AT ITER 4816 NEW BEST:: SOT 27715366 SOS 23010439 HAS SOPS 10010886 HAS SOUS 9572331 HAS SOUPS 9053886 WITH SCORE 9076896.439
AT ITER 4818 NEW BEST:: SOT 27715182 SOS 23010255 HAS SOPS 10009510 HAS SOUS 9574572 HAS SOUPS 9052510 WITH SCORE 9075520.255
AT ITER 4819 NEW BEST:: SOT 27715182 SOS 23010255 HAS SOPS 10009468 HAS SOUS 9574572 HAS SOUPS 9052468 WITH SCORE 9075478.255
AT ITER 4824 NEW BEST:: SOT 27715216 SOS 23011809 HAS SOPS 10009430 HAS SOUS 9574606 HAS SOUPS 9052430 WITH SCORE 9075441.809
AT ITER 4835 NEW BEST:: SOT 27715334 SOS 23011927 HAS SOPS 10009395 HAS SOUS 9574571 HAS SOUPS 9052395 WITH SCORE 9075406.927
AT ITER 4856 NEW BEST:: SOT 27716424 SOS 23013017 HAS SOPS 10008763 HAS SOUS 9573939 HAS SOUPS 9051763 WITH SCORE 9074776.017
AT ITER 4857 NEW BEST:: SOT 27716690 SOS 23013283 HAS SOPS 10008560 HAS SOUS 9573736 HAS SOUPS 9051560 WITH SCORE 9074573.283
AT ITER 4858 NEW BEST:: SOT 27716690 SOS 23013283 HAS SOPS 10008556 HAS SOUS 9573739 HAS SOUPS 9051556 WITH SCORE 9074569.283
AT ITER 4859 NEW BEST:: SOT 27717376 SOS 23013969 HAS SOPS 10007969 HAS SOUS 9573152 HAS SOUPS 9050969 WITH SCORE 9073982.969
AT ITER 4860 NEW BEST:: SOT 27718741 SOS 23015334 HAS SOPS 10007595 HAS SOUS 9573124 HAS SOUPS 9050595 WITH SCORE 9073610.334
AT ITER 4861 NEW BEST:: SOT 27720862 SOS 23009891 HAS SOPS 10011543 HAS SOUS 9568108 HAS SOUPS 9046036 WITH SCORE 9069045.891
AT ITER 4863 NEW BEST:: SOT 27720238 SOS 23009267 HAS SOPS 10007783 HAS SOUS 9564348 HAS SOUPS 9042276 WITH SCORE 9065285.267
AT ITER 4866 NEW BEST:: SOT 27719620 SOS 23008649 HAS SOPS 10007495 HAS SOUS 9564060 HAS SOUPS 9041988 WITH SCORE 9064996.649
AT ITER 4867 NEW BEST:: SOT 27719619 SOS 23008648 HAS SOPS 10007493 HAS SOUS 9564731 HAS SOUPS 9041986 WITH SCORE 9064994.648
AT ITER 4876 NEW BEST:: SOT 27720006 SOS 23009035 HAS SOPS 10006901 HAS SOUS 9564139 HAS SOUPS 9041394 WITH SCORE 9064403.035
AT ITER 4880 NEW BEST:: SOT 27720006 SOS 23009280 HAS SOPS 10006381 HAS SOUS 9563656 HAS SOUPS 9040874 WITH SCORE 9063883.28
AT ITER 4892 NEW BEST:: SOT 27719221 SOS 23008495 HAS SOPS 10004442 HAS SOUS 9561717 HAS SOUPS 9038935 WITH SCORE 9061943.495
AT ITER 4899 NEW BEST:: SOT 27718906 SOS 23008180 HAS SOPS 10003068 HAS SOUS 9560396 HAS SOUPS 9037561 WITH SCORE 9060569.18
AT ITER 4911 NEW BEST:: SOT 27718268 SOS 23007542 HAS SOPS 10001792 HAS SOUS 9559120 HAS SOUPS 9036285 WITH SCORE 9059292.542
AT ITER 4914 NEW BEST:: SOT 27716630 SOS 23005904 HAS SOPS 9999608 HAS SOUS 9557000 HAS SOUPS 9034101 WITH SCORE 9057106.904
AT ITER 4919 NEW BEST:: SOT 27716630 SOS 23005904 HAS SOPS 9999500 HAS SOUS 9556892 HAS SOUPS 9033993 WITH SCORE 9056998.904
AT ITER 4925 NEW BEST:: SOT 27716789 SOS 23006063 HAS SOPS 9997880 HAS SOUS 9555272 HAS SOUPS 9032373 WITH SCORE 9055379.063
AT ITER 4932 NEW BEST:: SOT 27716571 SOS 23005845 HAS SOPS 9997444 HAS SOUS 9554836 HAS SOUPS 9031937 WITH SCORE 9054942.845
AT ITER 4934 NEW BEST:: SOT 27716152 SOS 23005426 HAS SOPS 9996185 HAS SOUS 9553577 HAS SOUPS 9030678 WITH SCORE 9053683.426
AT ITER 4935 NEW BEST:: SOT 27716372 SOS 23005866 HAS SOPS 9996062 HAS SOUS 9554130 HAS SOUPS 9030555 WITH SCORE 9053560.866
AT ITER 4936 NEW BEST:: SOT 27712100 SOS 23001594 HAS SOPS 9992099 HAS SOUS 9550846 HAS SOUPS 9027271 WITH SCORE 9050272.594
AT ITER 4938 NEW BEST:: SOT 27712099 SOS 23001593 HAS SOPS 9992070 HAS SOUS 9550817 HAS SOUPS 9027242 WITH SCORE 9050243.593
AT ITER 4950 NEW BEST:: SOT 27711810 SOS 23001304 HAS SOPS 9991492 HAS SOUS 9550239 HAS SOUPS 9026664 WITH SCORE 9049665.304
AT ITER 4952 NEW BEST:: SOT 27710994 SOS 23000488 HAS SOPS 9989439 HAS SOUS 9548220 HAS SOUPS 9024611 WITH SCORE 9047611.488
AT ITER 4963 NEW BEST:: SOT 27710322 SOS 22999816 HAS SOPS 9988089 HAS SOUS 9546870 HAS SOUPS 9023261 WITH SCORE 9046260.816
AT ITER 4966 NEW BEST:: SOT 27709243 SOS 22998737 HAS SOPS 9985354 HAS SOUS 9544135 HAS SOUPS 9020526 WITH SCORE 9043524.737
AT ITER 4975 NEW BEST:: SOT 27709027 SOS 22990288 HAS SOPS 9985354 HAS SOUS 9543919 HAS SOUPS 9020526 WITH SCORE 9043516.288
AT ITER 4986 NEW BEST:: SOT 27704613 SOS 22985874 HAS SOPS 9980747 HAS SOUS 9539419 HAS SOUPS 9016026 WITH SCORE 9039011.874
AT ITER 4989 NEW BEST:: SOT 27704613 SOS 22985874 HAS SOPS 9980576 HAS SOUS 9539305 HAS SOUPS 9015855 WITH SCORE 9038840.874
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BART-PT-040-CTLCardinality-00 (EF(( (EG( potential( (tk(P5012)) <= (tk(P2940)) ))) & (AX( potential( ( 3 ) <= (tk(P5158)) ))) )))
PROPERTY: BART-PT-040-CTLCardinality-01 (! ( (AX( (! potential( (tk(P2075)) <= (tk(P1055)) )))) | (EU( potential( (tk(P2922)) <= (tk(P5105)) ),potential( ( 2 ) <= (tk(P4043)) ) )) ))
PROPERTY: BART-PT-040-CTLCardinality-02 (AF((AU( potential( ( 3 ) <= (tk(P5155)) ),potential( ( 3 ) <= (tk(P2024)) ) ))))
PROPERTY: BART-PT-040-CTLCardinality-03 (EU( ( (! potential( ( 2 ) <= (tk(P2178)) )) & (! potential( ( 3 ) <= (tk(P158)) )) ),(! ( potential( (tk(P2824)) <= (tk(P1274)) ) | potential( (tk(P3972)) <= (tk(P2461)) ) )) ))
PROPERTY: BART-PT-040-CTLCardinality-04 (EG( (EF(potential( (tk(P4553)) <= (tk(P4489)) )))))
PROPERTY: BART-PT-040-CTLCardinality-05 (EG( (EX( potential( (tk(P3949)) <= (tk(P2290)) )))))
PROPERTY: BART-PT-040-CTLCardinality-06 (EG( potential( (tk(P1893)) <= (tk(P3335)) )))
PROPERTY: BART-PT-040-CTLCardinality-07 (AX( (AF(( potential( ( 2 ) <= (tk(P3491)) ) | potential( (tk(P2358)) <= (tk(P3538)) ) )))))
PROPERTY: BART-PT-040-CTLCardinality-08 (! (EG( potential( (tk(P747)) <= (tk(P2516)) ))))
PROPERTY: BART-PT-040-CTLCardinality-09 (AG( (AX( (! potential( ( 1 ) <= (tk(P224)) ))))))
PROPERTY: BART-PT-040-CTLCardinality-10 ( ( (! (! (! potential( ( 3 ) <= (tk(P3606)) )))) | ( ( (! potential( (tk(P467)) <= (tk(P4887)) )) & potential( ( 1 ) <= (tk(P3828)) ) ) & (! ( potential( ( 3 ) <= (tk(P3951)) ) | potential( ( 3 ) <= (tk(P3513)) ) )) ) ) & ( potential( ( 2 ) <= (tk(P1375)) ) | (AF(potential( ( 3 ) <= (tk(P4847)) ))) ) )
PROPERTY: BART-PT-040-CTLCardinality-11 ( (AU( (! potential( ( 1 ) <= (tk(P3078)) )),potential( ( 1 ) <= (tk(P4409)) ) )) | ( ( ( ( potential( (tk(P355)) <= (tk(P2144)) ) & potential( ( 2 ) <= (tk(P1968)) ) ) & ( potential( ( 3 ) <= (tk(P2416)) ) & potential( ( 2 ) <= (tk(P5301)) ) ) ) & (AF(potential( (tk(P2256)) <= (tk(P3142)) ))) ) & potential( ( 3 ) <= (tk(P4083)) ) ) )
PROPERTY: BART-PT-040-CTLCardinality-12 ( potential( ( 3 ) <= (tk(P2947)) ) | ( (! ( (! potential( ( 1 ) <= (tk(P1283)) )) & ( potential( ( 2 ) <= (tk(P3060)) ) & potential( ( 1 ) <= (tk(P5031)) ) ) )) & (AF(( potential( ( 3 ) <= (tk(P4729)) ) | potential( ( 1 ) <= (tk(P4630)) ) ))) ) )
PROPERTY: BART-PT-040-CTLCardinality-13 (! ( ( ( (! potential( ( 3 ) <= (tk(P2638)) )) & (! potential( ( 1 ) <= (tk(P3912)) )) ) & (AF(potential( ( 1 ) <= (tk(P4720)) ))) ) | (EU( potential( ( 1 ) <= (tk(P2942)) ),potential( ( 2 ) <= (tk(P650)) ) )) ))
PROPERTY: BART-PT-040-CTLCardinality-14 ( (! (! (AF(potential( ( 1 ) <= (tk(P3168)) ))))) | ( (! ( potential( ( 1 ) <= (tk(P4665)) ) | ( potential( (tk(P458)) <= (tk(P1762)) ) | potential( ( 3 ) <= (tk(P1810)) ) ) )) | (EF(( potential( ( 3 ) <= (tk(P5262)) ) | potential( (tk(P5400)) <= (tk(P2366)) ) ))) ) )
PROPERTY: BART-PT-040-CTLCardinality-15 ( (EX( (EX( potential( ( 3 ) <= (tk(P5470)) ))))) | ( (AU( potential( ( 2 ) <= (tk(P3224)) ),potential( (tk(P668)) <= (tk(P5174)) ) )) & (EG( ( potential( ( 2 ) <= (tk(P246)) ) & potential( ( 1 ) <= (tk(P1153)) ) ))) ) )

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-040"
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-040, 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-158897679500107"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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