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

About the Execution of smart for BART-PT-060

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

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897679600124.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-060, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679600124
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 28M
-rw-r--r-- 1 mcc users 3.7K Apr 15 13:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 15 13:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Apr 15 13:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 15 13:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 1.9M Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 4.9M Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8M Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.6M Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 15 13:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 15 13:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 15 13:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 15 13:25 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 15M 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-060-CTLFireability-00
FORMULA_NAME BART-PT-060-CTLFireability-01
FORMULA_NAME BART-PT-060-CTLFireability-02
FORMULA_NAME BART-PT-060-CTLFireability-03
FORMULA_NAME BART-PT-060-CTLFireability-04
FORMULA_NAME BART-PT-060-CTLFireability-05
FORMULA_NAME BART-PT-060-CTLFireability-06
FORMULA_NAME BART-PT-060-CTLFireability-07
FORMULA_NAME BART-PT-060-CTLFireability-08
FORMULA_NAME BART-PT-060-CTLFireability-09
FORMULA_NAME BART-PT-060-CTLFireability-10
FORMULA_NAME BART-PT-060-CTLFireability-11
FORMULA_NAME BART-PT-060-CTLFireability-12
FORMULA_NAME BART-PT-060-CTLFireability-13
FORMULA_NAME BART-PT-060-CTLFireability-14
FORMULA_NAME BART-PT-060-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589012495659

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

GOT IT HERE. BS
Petri model created: 8130 places, 12120 transitions, 97200 arcs.
AT ITER 0 NEW BEST:: SOT 70306502 SOS 46558034 HAS SOPS 36526505 HAS SOUS 32704445 HAS SOUPS 32415295 WITH SCORE 3.2461853034E7
AT ITER 2 NEW BEST:: SOT 70307548 SOS 46560125 HAS SOPS 36525047 HAS SOUS 32705859 HAS SOUPS 32413838 WITH SCORE 3.2460398125E7
AT ITER 3 NEW BEST:: SOT 70307929 SOS 46560886 HAS SOPS 36522952 HAS SOUS 32707123 HAS SOUPS 32411744 WITH SCORE 3.2458304886E7
AT ITER 4 NEW BEST:: SOT 70307929 SOS 46560886 HAS SOPS 36521038 HAS SOUS 32704564 HAS SOUPS 32407399 WITH SCORE 3.2453959886E7
AT ITER 6 NEW BEST:: SOT 70307929 SOS 46560886 HAS SOPS 36520092 HAS SOUS 32701424 HAS SOUPS 32404010 WITH SCORE 3.2450570886E7
AT ITER 7 NEW BEST:: SOT 70306056 SOS 46559013 HAS SOPS 36516879 HAS SOUS 32699400 HAS SOUPS 32400797 WITH SCORE 3.2447356013E7
AT ITER 11 NEW BEST:: SOT 70306056 SOS 46559013 HAS SOPS 36515497 HAS SOUS 32697983 HAS SOUPS 32398035 WITH SCORE 3.2444594013E7
AT ITER 12 NEW BEST:: SOT 70306056 SOS 46559013 HAS SOPS 36513174 HAS SOUS 32694979 HAS SOUPS 32393279 WITH SCORE 3.2439838013E7
AT ITER 18 NEW BEST:: SOT 70306056 SOS 46559013 HAS SOPS 36511178 HAS SOUS 32692225 HAS SOUPS 32389355 WITH SCORE 3.2435914013E7
AT ITER 21 NEW BEST:: SOT 70306056 SOS 46559013 HAS SOPS 36507489 HAS SOUS 32688578 HAS SOUPS 32385282 WITH SCORE 3.2431841013E7
AT ITER 22 NEW BEST:: SOT 70306056 SOS 46559013 HAS SOPS 36505251 HAS SOUS 32684721 HAS SOUPS 32380808 WITH SCORE 3.2427367013E7
AT ITER 26 NEW BEST:: SOT 70306056 SOS 46559013 HAS SOPS 36503618 HAS SOUS 32682513 HAS SOUPS 32377544 WITH SCORE 3.2424103013E7
AT ITER 30 NEW BEST:: SOT 70306056 SOS 46558706 HAS SOPS 36503311 HAS SOUS 32682206 HAS SOUPS 32377237 WITH SCORE 3.2423795706E7
AT ITER 35 NEW BEST:: SOT 70306056 SOS 46558706 HAS SOPS 36502466 HAS SOUS 32681254 HAS SOUPS 32375549 WITH SCORE 3.2422107706E7
AT ITER 49 NEW BEST:: SOT 70306056 SOS 46496694 HAS SOPS 36442464 HAS SOUS 32679912 HAS SOUPS 32374207 WITH SCORE 3.2420703694E7
AT ITER 56 NEW BEST:: SOT 70306056 SOS 46496694 HAS SOPS 36440363 HAS SOUS 32676950 HAS SOUPS 32369663 WITH SCORE 3.2416159694E7
AT ITER 57 NEW BEST:: SOT 70306071 SOS 46496830 HAS SOPS 36437932 HAS SOUS 32678363 HAS SOUPS 32367233 WITH SCORE 3.241372983E7
AT ITER 68 NEW BEST:: SOT 70306359 SOS 46497405 HAS SOPS 36435764 HAS SOUS 32679879 HAS SOUPS 32365066 WITH SCORE 3.2411563405E7
AT ITER 69 NEW BEST:: SOT 70305682 SOS 46471679 HAS SOPS 36410715 HAS SOUS 32678525 HAS SOUPS 32363712 WITH SCORE 3.2410183679E7
AT ITER 70 NEW BEST:: SOT 70305682 SOS 46471679 HAS SOPS 36408676 HAS SOUS 32676057 HAS SOUPS 32359254 WITH SCORE 3.2405725679E7
AT ITER 71 NEW BEST:: SOT 70305907 SOS 46472128 HAS SOPS 36406445 HAS SOUS 32677525 HAS SOUPS 32357024 WITH SCORE 3.2403496128E7
AT ITER 72 NEW BEST:: SOT 70305888 SOS 46472109 HAS SOPS 36406426 HAS SOUS 32677506 HAS SOUPS 32357005 WITH SCORE 3.2403477109E7
AT ITER 75 NEW BEST:: SOT 70306305 SOS 46473858 HAS SOPS 36405783 HAS SOUS 32677636 HAS SOUPS 32356362 WITH SCORE 3.2402835858E7
AT ITER 79 NEW BEST:: SOT 70303567 SOS 46471120 HAS SOPS 36403275 HAS SOUS 32675129 HAS SOUPS 32353855 WITH SCORE 3.240032612E7
AT ITER 86 NEW BEST:: SOT 70303567 SOS 46471120 HAS SOPS 36404429 HAS SOUS 32674518 HAS SOUPS 32353244 WITH SCORE 3.239971512E7
AT ITER 87 NEW BEST:: SOT 70303652 SOS 46471289 HAS SOPS 36402020 HAS SOUS 32675152 HAS SOUPS 32350836 WITH SCORE 3.2397307289E7
AT ITER 93 NEW BEST:: SOT 70306021 SOS 46473658 HAS SOPS 36402019 HAS SOUS 32674036 HAS SOUPS 32348467 WITH SCORE 3.2394940658E7
AT ITER 95 NEW BEST:: SOT 70306021 SOS 46473658 HAS SOPS 36399541 HAS SOUS 32672519 HAS SOUPS 32345988 WITH SCORE 3.2392461658E7
AT ITER 107 NEW BEST:: SOT 70306021 SOS 46473658 HAS SOPS 36397484 HAS SOUS 32668593 HAS SOUPS 32341432 WITH SCORE 3.2387905658E7
AT ITER 108 NEW BEST:: SOT 70306021 SOS 46473658 HAS SOPS 36395404 HAS SOUS 32666442 HAS SOUPS 32337274 WITH SCORE 3.2383747658E7
AT ITER 109 NEW BEST:: SOT 70306053 SOS 46474919 HAS SOPS 36392938 HAS SOUS 32666952 HAS SOUPS 32334809 WITH SCORE 3.2381283919E7
AT ITER 114 NEW BEST:: SOT 70306053 SOS 46474919 HAS SOPS 36391253 HAS SOUS 32665052 HAS SOUPS 32331441 WITH SCORE 3.2377915919E7
AT ITER 118 NEW BEST:: SOT 70306053 SOS 46474919 HAS SOPS 36390690 HAS SOUS 32664310 HAS SOUPS 32330317 WITH SCORE 3.2376791919E7
AT ITER 122 NEW BEST:: SOT 70306053 SOS 46474919 HAS SOPS 36390689 HAS SOUS 32663806 HAS SOUPS 32329547 WITH SCORE 3.2376021919E7
AT ITER 124 NEW BEST:: SOT 70306053 SOS 46474919 HAS SOPS 36390427 HAS SOUS 32663545 HAS SOUPS 32329286 WITH SCORE 3.2375760919E7
AT ITER 127 NEW BEST:: SOT 69262931 SOS 45432266 HAS SOPS 35347305 HAS SOUS 31620892 HAS SOUPS 31286164 WITH SCORE 3.1331596266E7
AT ITER 138 NEW BEST:: SOT 69262931 SOS 45432266 HAS SOPS 35344926 HAS SOUS 31616656 HAS SOUPS 31281408 WITH SCORE 3.1326840266E7
AT ITER 143 NEW BEST:: SOT 69262931 SOS 45432266 HAS SOPS 35343663 HAS SOUS 31612882 HAS SOUPS 31277634 WITH SCORE 3.1323066266E7
AT ITER 147 NEW BEST:: SOT 69262931 SOS 45432266 HAS SOPS 35342288 HAS SOUS 31610430 HAS SOUPS 31273804 WITH SCORE 3.1319236266E7
AT ITER 151 NEW BEST:: SOT 69263604 SOS 45433611 HAS SOPS 35340475 HAS SOUS 31611812 HAS SOUPS 31271992 WITH SCORE 3.1317425611E7
AT ITER 157 NEW BEST:: SOT 69262812 SOS 45364070 HAS SOPS 35244924 HAS SOUS 31585155 HAS SOUPS 31245335 WITH SCORE 3.129069907E7
AT ITER 162 NEW BEST:: SOT 69262812 SOS 45364070 HAS SOPS 35243573 HAS SOUS 31583899 HAS SOUPS 31243983 WITH SCORE 3.128934707E7
AT ITER 164 NEW BEST:: SOT 69262812 SOS 45364070 HAS SOPS 35243839 HAS SOUS 31583898 HAS SOUPS 31243982 WITH SCORE 3.128934607E7
AT ITER 165 NEW BEST:: SOT 69262812 SOS 45364681 HAS SOPS 35242863 HAS SOUS 31581337 HAS SOUPS 31241421 WITH SCORE 3.1286785681E7
AT ITER 172 NEW BEST:: SOT 69262866 SOS 45448795 HAS SOPS 35242199 HAS SOUS 31581747 HAS SOUPS 31240757 WITH SCORE 3.1286205795E7
AT ITER 179 NEW BEST:: SOT 69262866 SOS 45448795 HAS SOPS 35241782 HAS SOUS 31581711 HAS SOUPS 31240340 WITH SCORE 3.1285788795E7
AT ITER 181 NEW BEST:: SOT 69262866 SOS 45448795 HAS SOPS 35241778 HAS SOUS 31581804 HAS SOUPS 31240336 WITH SCORE 3.1285784795E7
AT ITER 184 NEW BEST:: SOT 69263916 SOS 45449845 HAS SOPS 35242468 HAS SOUS 31581811 HAS SOUPS 31239977 WITH SCORE 3.1285426845E7
AT ITER 188 NEW BEST:: SOT 69263916 SOS 45449845 HAS SOPS 35242206 HAS SOUS 31583159 HAS SOUPS 31239715 WITH SCORE 3.1285164845E7
AT ITER 189 NEW BEST:: SOT 69263929 SOS 45450366 HAS SOPS 35239737 HAS SOUS 31580944 HAS SOUPS 31237247 WITH SCORE 3.1282697366E7
AT ITER 194 NEW BEST:: SOT 69263929 SOS 45450366 HAS SOPS 35238955 HAS SOUS 31581195 HAS SOUPS 31236465 WITH SCORE 3.1281915366E7
AT ITER 195 NEW BEST:: SOT 69263929 SOS 45450366 HAS SOPS 35237692 HAS SOUS 31579357 HAS SOUPS 31233941 WITH SCORE 3.1279391366E7
AT ITER 197 NEW BEST:: SOT 69264798 SOS 45452103 HAS SOPS 35236061 HAS SOUS 31580671 HAS SOUPS 31232311 WITH SCORE 3.1277763103E7
AT ITER 198 NEW BEST:: SOT 69265532 SOS 45453570 HAS SOPS 35234297 HAS SOUS 31581881 HAS SOUPS 31230548 WITH SCORE 3.127600157E7
AT ITER 199 NEW BEST:: SOT 69265532 SOS 45453570 HAS SOPS 35232663 HAS SOUS 31579096 HAS SOUPS 31227282 WITH SCORE 3.127273557E7
AT ITER 202 NEW BEST:: SOT 69265532 SOS 45455786 HAS SOPS 35232364 HAS SOUS 31576285 HAS SOUPS 31224471 WITH SCORE 3.1269926786E7
AT ITER 205 NEW BEST:: SOT 69266166 SOS 45457053 HAS SOPS 35230500 HAS SOUS 31577399 HAS SOUPS 31222608 WITH SCORE 3.1268065053E7
AT ITER 207 NEW BEST:: SOT 69266166 SOS 45457053 HAS SOPS 35228758 HAS SOUS 31574722 HAS SOUPS 31219126 WITH SCORE 3.1264583053E7
AT ITER 210 NEW BEST:: SOT 69266092 SOS 45456979 HAS SOPS 35228684 HAS SOUS 31574648 HAS SOUPS 31219052 WITH SCORE 3.1264508979E7
AT ITER 211 NEW BEST:: SOT 69266092 SOS 45456979 HAS SOPS 35226973 HAS SOUS 31572352 HAS SOUPS 31216756 WITH SCORE 3.1262212979E7
AT ITER 215 NEW BEST:: SOT 69266092 SOS 45456979 HAS SOPS 35226969 HAS SOUS 31572365 HAS SOUPS 31216752 WITH SCORE 3.1262208979E7
AT ITER 218 NEW BEST:: SOT 69266092 SOS 45456979 HAS SOPS 35224751 HAS SOUS 31569557 HAS SOUPS 31213785 WITH SCORE 3.1259241979E7
AT ITER 219 NEW BEST:: SOT 69267437 SOS 45458324 HAS SOPS 35225064 HAS SOUS 31569727 HAS SOUPS 31212754 WITH SCORE 3.1258212324E7
AT ITER 227 NEW BEST:: SOT 69267437 SOS 45458324 HAS SOPS 35223017 HAS SOUS 31566488 HAS SOUPS 31208662 WITH SCORE 3.1254120324E7
AT ITER 231 NEW BEST:: SOT 69267437 SOS 45458324 HAS SOPS 35220608 HAS SOUS 31563074 HAS SOUPS 31203802 WITH SCORE 3.1249260324E7
AT ITER 234 NEW BEST:: SOT 69265348 SOS 45456235 HAS SOPS 35216042 HAS SOUS 31558647 HAS SOUPS 31197148 WITH SCORE 3.1242604235E7
AT ITER 239 NEW BEST:: SOT 69262893 SOS 45453780 HAS SOPS 35209174 HAS SOUS 31553505 HAS SOUPS 31188075 WITH SCORE 3.123352878E7
AT ITER 243 NEW BEST:: SOT 69262893 SOS 45453780 HAS SOPS 35207099 HAS SOUS 31550711 HAS SOUPS 31183927 WITH SCORE 3.122938078E7
AT ITER 244 NEW BEST:: SOT 69262893 SOS 45453780 HAS SOPS 35207078 HAS SOUS 31550671 HAS SOUPS 31183887 WITH SCORE 3.122934078E7
AT ITER 246 NEW BEST:: SOT 69262893 SOS 45453780 HAS SOPS 35205751 HAS SOUS 31548019 HAS SOUPS 31181235 WITH SCORE 3.122668878E7
AT ITER 247 NEW BEST:: SOT 69262893 SOS 45453780 HAS SOPS 35204751 HAS SOUS 31545258 HAS SOUPS 31177742 WITH SCORE 3.122319578E7
AT ITER 250 NEW BEST:: SOT 69262893 SOS 45453780 HAS SOPS 35200746 HAS SOUS 31540923 HAS SOUPS 31173101 WITH SCORE 3.121855478E7
AT ITER 254 NEW BEST:: SOT 69262893 SOS 45453780 HAS SOPS 35200745 HAS SOUS 31540275 HAS SOUPS 31172453 WITH SCORE 3.121790678E7
AT ITER 256 NEW BEST:: SOT 69262086 SOS 45452973 HAS SOPS 35199938 HAS SOUS 31539468 HAS SOUPS 31171646 WITH SCORE 3.1217098973E7
AT ITER 257 NEW BEST:: SOT 69261878 SOS 45445270 HAS SOPS 35192859 HAS SOUS 31539267 HAS SOUPS 31171445 WITH SCORE 3.121689027E7
AT ITER 273 NEW BEST:: SOT 69262335 SOS 45446183 HAS SOPS 35190850 HAS SOUS 31540785 HAS SOUPS 31169437 WITH SCORE 3.1214883183E7
AT ITER 274 NEW BEST:: SOT 69261665 SOS 45445513 HAS SOPS 35189582 HAS SOUS 31539881 HAS SOUPS 31168169 WITH SCORE 3.1213614513E7
AT ITER 276 NEW BEST:: SOT 69261665 SOS 45445513 HAS SOPS 35189454 HAS SOUS 31540186 HAS SOUPS 31168041 WITH SCORE 3.1213486513E7
AT ITER 277 NEW BEST:: SOT 69261665 SOS 45445513 HAS SOPS 35188085 HAS SOUS 31537450 HAS SOUPS 31165305 WITH SCORE 3.1210750513E7
AT ITER 279 NEW BEST:: SOT 69261665 SOS 45447194 HAS SOPS 35187285 HAS SOUS 31534172 HAS SOUPS 31162027 WITH SCORE 3.1207474194E7
AT ITER 281 NEW BEST:: SOT 69259783 SOS 45445312 HAS SOPS 35181930 HAS SOUS 31529968 HAS SOUPS 31154791 WITH SCORE 3.1200236312E7
AT ITER 282 NEW BEST:: SOT 69259783 SOS 45445312 HAS SOPS 35179694 HAS SOUS 31527733 HAS SOUPS 31152556 WITH SCORE 3.1198001312E7
AT ITER 283 NEW BEST:: SOT 69260024 SOS 45445793 HAS SOPS 35177451 HAS SOUS 31525759 HAS SOUPS 31150314 WITH SCORE 3.1195759793E7
AT ITER 292 NEW BEST:: SOT 69260024 SOS 45445793 HAS SOPS 35175384 HAS SOUS 31521231 HAS SOUPS 31145786 WITH SCORE 3.1191231793E7
AT ITER 295 NEW BEST:: SOT 69261579 SOS 45448555 HAS SOPS 35175085 HAS SOUS 31524075 HAS SOUPS 31145488 WITH SCORE 3.1190936555E7
AT ITER 308 NEW BEST:: SOT 69260962 SOS 45447938 HAS SOPS 35173850 HAS SOUS 31522840 HAS SOUPS 31144253 WITH SCORE 3.1189700938E7
AT ITER 320 NEW BEST:: SOT 69260962 SOS 45447938 HAS SOPS 35174992 HAS SOUS 31522839 HAS SOUPS 31144252 WITH SCORE 3.1189699938E7
AT ITER 324 NEW BEST:: SOT 69260962 SOS 45447938 HAS SOPS 35172689 HAS SOUS 31518235 HAS SOUPS 31139648 WITH SCORE 3.1185095938E7
AT ITER 327 NEW BEST:: SOT 69261164 SOS 45448341 HAS SOPS 35170439 HAS SOUS 31519729 HAS SOUPS 31137399 WITH SCORE 3.1182847341E7
AT ITER 335 NEW BEST:: SOT 69261010 SOS 45448214 HAS SOPS 35167871 HAS SOUS 31521559 HAS SOUPS 31134832 WITH SCORE 3.1180280214E7
AT ITER 338 NEW BEST:: SOT 69261010 SOS 45448214 HAS SOPS 35166717 HAS SOUS 31519253 HAS SOUPS 31132526 WITH SCORE 3.1177974214E7
AT ITER 341 NEW BEST:: SOT 69261010 SOS 45448214 HAS SOPS 35164797 HAS SOUS 31517443 HAS SOUPS 31130409 WITH SCORE 3.1175857214E7
AT ITER 344 NEW BEST:: SOT 69260823 SOS 45448027 HAS SOPS 35164422 HAS SOUS 31517068 HAS SOUPS 31130034 WITH SCORE 3.1175482027E7
AT ITER 354 NEW BEST:: SOT 69260823 SOS 45448027 HAS SOPS 35161342 HAS SOUS 31513572 HAS SOUPS 31125370 WITH SCORE 3.1170818027E7
AT ITER 355 NEW BEST:: SOT 69260913 SOS 45448117 HAS SOPS 35160830 HAS SOUS 31513662 HAS SOUPS 31124858 WITH SCORE 3.1170306117E7
AT ITER 356 NEW BEST:: SOT 69260913 SOS 45448117 HAS SOPS 35159417 HAS SOUS 31509801 HAS SOUPS 31120997 WITH SCORE 3.1166445117E7
AT ITER 358 NEW BEST:: SOT 69261057 SOS 45448404 HAS SOPS 35157101 HAS SOUS 31508136 HAS SOUPS 31118682 WITH SCORE 3.1164130404E7
AT ITER 359 NEW BEST:: SOT 69261057 SOS 45448404 HAS SOPS 35157960 HAS SOUS 31506521 HAS SOUPS 31117067 WITH SCORE 3.1162515404E7
AT ITER 360 NEW BEST:: SOT 69261517 SOS 45450397 HAS SOPS 35156702 HAS SOUS 31505264 HAS SOUPS 31115810 WITH SCORE 3.1161260397E7
AT ITER 361 NEW BEST:: SOT 69261517 SOS 45450397 HAS SOPS 35154811 HAS SOUS 31501484 HAS SOUPS 31112030 WITH SCORE 3.1157480397E7
AT ITER 366 NEW BEST:: SOT 69261517 SOS 45450397 HAS SOPS 35152653 HAS SOUS 31499414 HAS SOUPS 31109858 WITH SCORE 3.1155308397E7
AT ITER 375 NEW BEST:: SOT 69261517 SOS 45450397 HAS SOPS 35150169 HAS SOUS 31497463 HAS SOUPS 31107373 WITH SCORE 3.1152823397E7
AT ITER 376 NEW BEST:: SOT 69261517 SOS 45450397 HAS SOPS 35147866 HAS SOUS 31493204 HAS SOUPS 31102769 WITH SCORE 3.1148219397E7
AT ITER 377 NEW BEST:: SOT 69262778 SOS 45452256 HAS SOPS 35147275 HAS SOUS 31494648 HAS SOUPS 31102179 WITH SCORE 3.1147631256E7
AT ITER 378 NEW BEST:: SOT 69262778 SOS 45452256 HAS SOPS 35147274 HAS SOUS 31493061 HAS SOUPS 31100592 WITH SCORE 3.1146044256E7
AT ITER 380 NEW BEST:: SOT 69262778 SOS 45517113 HAS SOPS 35146911 HAS SOUS 31493063 HAS SOUPS 31100229 WITH SCORE 3.1145746113E7
AT ITER 388 NEW BEST:: SOT 69262778 SOS 45517113 HAS SOPS 35145357 HAS SOUS 31489020 HAS SOUPS 31096186 WITH SCORE 3.1141703113E7
AT ITER 392 NEW BEST:: SOT 69262778 SOS 45517113 HAS SOPS 35144865 HAS SOUS 31486088 HAS SOUPS 31093254 WITH SCORE 3.1138771113E7
AT ITER 393 NEW BEST:: SOT 69262808 SOS 45517850 HAS SOPS 35142447 HAS SOUS 31483671 HAS SOUPS 31090837 WITH SCORE 3.113635485E7
AT ITER 394 NEW BEST:: SOT 69263383 SOS 45518999 HAS SOPS 35140564 HAS SOUS 31481789 HAS SOUPS 31088955 WITH SCORE 3.1134473999E7
AT ITER 395 NEW BEST:: SOT 69263496 SOS 45519224 HAS SOPS 35138177 HAS SOUS 31480311 HAS SOUPS 31086569 WITH SCORE 3.1132088224E7
AT ITER 398 NEW BEST:: SOT 69263515 SOS 45519262 HAS SOPS 35137135 HAS SOUS 31479269 HAS SOUPS 31085527 WITH SCORE 3.1131046262E7
AT ITER 399 NEW BEST:: SOT 69263601 SOS 45519433 HAS SOPS 35134749 HAS SOUS 31476884 HAS SOUPS 31083142 WITH SCORE 3.1128661433E7
AT ITER 403 NEW BEST:: SOT 69263601 SOS 45519433 HAS SOPS 35132274 HAS SOUS 31471918 HAS SOUPS 31078176 WITH SCORE 3.1123695433E7
AT ITER 409 NEW BEST:: SOT 69263601 SOS 45519433 HAS SOPS 35127741 HAS SOUS 31469744 HAS SOUPS 31074216 WITH SCORE 3.1119735433E7
AT ITER 411 NEW BEST:: SOT 69263601 SOS 45519433 HAS SOPS 35126895 HAS SOUS 31466391 HAS SOUPS 31070863 WITH SCORE 3.1116382433E7
AT ITER 416 NEW BEST:: SOT 69263601 SOS 45519433 HAS SOPS 35127767 HAS SOUS 31465190 HAS SOUPS 31069662 WITH SCORE 3.1115181433E7
AT ITER 418 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35127675 HAS SOUS 31465098 HAS SOUPS 31069570 WITH SCORE 3.1115089249E7
AT ITER 421 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35127305 HAS SOUS 31465290 HAS SOUPS 31069200 WITH SCORE 3.1114719249E7
AT ITER 422 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35126230 HAS SOUS 31463142 HAS SOUPS 31067052 WITH SCORE 3.1112571249E7
AT ITER 427 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35124593 HAS SOUS 31460534 HAS SOUPS 31063780 WITH SCORE 3.1109299249E7
AT ITER 430 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35123635 HAS SOUS 31459118 HAS SOUPS 31062364 WITH SCORE 3.1107883249E7
AT ITER 431 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35120273 HAS SOUS 31455090 HAS SOUPS 31058336 WITH SCORE 3.1103855249E7
AT ITER 434 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35118280 HAS SOUS 31451106 HAS SOUPS 31054352 WITH SCORE 3.1099871249E7
AT ITER 435 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35114508 HAS SOUS 31447235 HAS SOUPS 31050481 WITH SCORE 3.1096000249E7
AT ITER 439 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35112290 HAS SOUS 31442950 HAS SOUPS 31046047 WITH SCORE 3.1091566249E7
AT ITER 447 NEW BEST:: SOT 69263509 SOS 45519249 HAS SOPS 35112290 HAS SOUS 31442905 HAS SOUPS 31046002 WITH SCORE 3.1091521249E7
AT ITER 448 NEW BEST:: SOT 69264047 SOS 45520229 HAS SOPS 35110948 HAS SOUS 31445692 HAS SOUPS 31044661 WITH SCORE 3.1090181229E7
AT ITER 451 NEW BEST:: SOT 69264047 SOS 45520229 HAS SOPS 35108904 HAS SOUS 31441606 HAS SOUPS 31040575 WITH SCORE 3.1086095229E7
AT ITER 452 NEW BEST:: SOT 69264073 SOS 45520541 HAS SOPS 35106424 HAS SOUS 31441959 HAS SOUPS 31038096 WITH SCORE 3.1083616541E7
AT ITER 455 NEW BEST:: SOT 69264073 SOS 45522924 HAS SOPS 35105897 HAS SOUS 31444290 HAS SOUPS 31037569 WITH SCORE 3.1083091924E7
AT ITER 458 NEW BEST:: SOT 69265069 SOS 45524915 HAS SOPS 35104397 HAS SOUS 31442791 HAS SOUPS 31036070 WITH SCORE 3.1081594915E7
AT ITER 459 NEW BEST:: SOT 69265069 SOS 45524915 HAS SOPS 35101914 HAS SOUS 31437827 HAS SOUPS 31031106 WITH SCORE 3.1076630915E7
AT ITER 460 NEW BEST:: SOT 69265069 SOS 45524915 HAS SOPS 35098296 HAS SOUS 31433153 HAS SOUPS 31026432 WITH SCORE 3.1071956915E7
AT ITER 472 NEW BEST:: SOT 69265069 SOS 45524915 HAS SOPS 35097459 HAS SOUS 31432316 HAS SOUPS 31025595 WITH SCORE 3.1071119915E7
AT ITER 479 NEW BEST:: SOT 69265098 SOS 45525703 HAS SOPS 35094978 HAS SOUS 31429836 HAS SOUPS 31023115 WITH SCORE 3.1068640703E7
AT ITER 483 NEW BEST:: SOT 69265098 SOS 45525703 HAS SOPS 35094289 HAS SOUS 31429596 HAS SOUPS 31022426 WITH SCORE 3.1067951703E7
AT ITER 484 NEW BEST:: SOT 69265098 SOS 45525703 HAS SOPS 35091923 HAS SOUS 31424866 HAS SOUPS 31017696 WITH SCORE 3.1063221703E7
AT ITER 487 NEW BEST:: SOT 69265673 SOS 45526780 HAS SOPS 35090196 HAS SOUS 31427200 HAS SOUPS 31015970 WITH SCORE 3.106149678E7
AT ITER 488 NEW BEST:: SOT 69266778 SOS 45528912 HAS SOPS 35088969 HAS SOUS 31425974 HAS SOUPS 31014744 WITH SCORE 3.1060272912E7
AT ITER 490 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35087046 HAS SOUS 31424052 HAS SOUPS 31012822 WITH SCORE 3.1058352081E7
AT ITER 505 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35086272 HAS SOUS 31420765 HAS SOUPS 31009535 WITH SCORE 3.1055065081E7
AT ITER 506 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35085825 HAS SOUS 31417867 HAS SOUPS 31006637 WITH SCORE 3.1052167081E7
AT ITER 508 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35085052 HAS SOUS 31417158 HAS SOUPS 31005864 WITH SCORE 3.1051394081E7
AT ITER 516 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35083252 HAS SOUS 31418649 HAS SOUPS 31004064 WITH SCORE 3.1049594081E7
AT ITER 518 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35082640 HAS SOUS 31417427 HAS SOUPS 31002842 WITH SCORE 3.1048372081E7
AT ITER 522 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35079460 HAS SOUS 31414546 HAS SOUPS 30999661 WITH SCORE 3.1045191081E7
AT ITER 527 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35079459 HAS SOUS 31413898 HAS SOUPS 30998254 WITH SCORE 3.1043784081E7
AT ITER 528 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35077332 HAS SOUS 31409914 HAS SOUPS 30994002 WITH SCORE 3.1039532081E7
AT ITER 529 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35077328 HAS SOUS 31409910 HAS SOUPS 30993998 WITH SCORE 3.1039528081E7
AT ITER 535 NEW BEST:: SOT 69267363 SOS 45530081 HAS SOPS 35074903 HAS SOUS 31406207 HAS SOUPS 30989136 WITH SCORE 3.1034666081E7
AT ITER 538 NEW BEST:: SOT 69263919 SOS 45526637 HAS SOPS 35073845 HAS SOUS 31406207 HAS SOUPS 30989136 WITH SCORE 3.1034662637E7
AT ITER 539 NEW BEST:: SOT 69263919 SOS 45526637 HAS SOPS 35073841 HAS SOUS 31406253 HAS SOUPS 30989132 WITH SCORE 3.1034658637E7
AT ITER 541 NEW BEST:: SOT 69263919 SOS 45526637 HAS SOPS 35072427 HAS SOUS 31403848 HAS SOUPS 30986341 WITH SCORE 3.1031867637E7
AT ITER 547 NEW BEST:: SOT 69263919 SOS 45526637 HAS SOPS 35070760 HAS SOUS 31399690 HAS SOUPS 30982183 WITH SCORE 3.1027709637E7
AT ITER 548 NEW BEST:: SOT 69263919 SOS 45526637 HAS SOPS 35069890 HAS SOUS 31396315 HAS SOUPS 30978808 WITH SCORE 3.1024334637E7
AT ITER 561 NEW BEST:: SOT 69263919 SOS 45526637 HAS SOPS 35073220 HAS SOUS 31396314 HAS SOUPS 30978807 WITH SCORE 3.1024333637E7
AT ITER 562 NEW BEST:: SOT 69263919 SOS 45526637 HAS SOPS 35073048 HAS SOUS 31396142 HAS SOUPS 30978635 WITH SCORE 3.1024161637E7
AT ITER 564 NEW BEST:: SOT 69263919 SOS 45526637 HAS SOPS 35071133 HAS SOUS 31393420 HAS SOUPS 30974807 WITH SCORE 3.1020333637E7
AT ITER 565 NEW BEST:: SOT 69264417 SOS 45527506 HAS SOPS 35071006 HAS SOUS 31394848 HAS SOUPS 30974680 WITH SCORE 3.1020207506E7
AT ITER 568 NEW BEST:: SOT 69264417 SOS 45527506 HAS SOPS 35069873 HAS SOUS 31391206 HAS SOUPS 30971038 WITH SCORE 3.1016565506E7
AT ITER 590 NEW BEST:: SOT 69265132 SOS 45528743 HAS SOPS 35068520 HAS SOUS 31389854 HAS SOUPS 30969686 WITH SCORE 3.1015214743E7
AT ITER 591 NEW BEST:: SOT 69265143 SOS 45528896 HAS SOPS 35066063 HAS SOUS 31387634 HAS SOUPS 30967230 WITH SCORE 3.1012758896E7
AT ITER 592 NEW BEST:: SOT 69265708 SOS 45530025 HAS SOPS 35064150 HAS SOUS 31386080 HAS SOUPS 30965318 WITH SCORE 3.1010848025E7
AT ITER 597 NEW BEST:: SOT 69265708 SOS 45530025 HAS SOPS 35063069 HAS SOUS 31383920 HAS SOUPS 30963158 WITH SCORE 3.1008688025E7
AT ITER 601 NEW BEST:: SOT 69265886 SOS 45530380 HAS SOPS 35060771 HAS SOUS 31381623 HAS SOUPS 30960861 WITH SCORE 3.100639138E7
AT ITER 606 NEW BEST:: SOT 69265886 SOS 45530380 HAS SOPS 35058763 HAS SOUS 31377686 HAS SOUPS 30956847 WITH SCORE 3.100237738E7
AT ITER 607 NEW BEST:: SOT 69265886 SOS 45530380 HAS SOPS 35057297 HAS SOUS 31374756 HAS SOUPS 30953917 WITH SCORE 3.099944738E7
AT ITER 611 NEW BEST:: SOT 69266156 SOS 45530978 HAS SOPS 35055145 HAS SOUS 31376881 HAS SOUPS 30951766 WITH SCORE 3.0997296978E7
AT ITER 613 NEW BEST:: SOT 69266156 SOS 45530978 HAS SOPS 35055399 HAS SOUS 31376232 HAS SOUPS 30949578 WITH SCORE 3.0995108978E7
AT ITER 616 NEW BEST:: SOT 69265731 SOS 45530553 HAS SOPS 35054549 HAS SOUS 31375681 HAS SOUPS 30948728 WITH SCORE 3.0994258553E7
AT ITER 618 NEW BEST:: SOT 69265731 SOS 45462325 HAS SOPS 34988373 HAS SOUS 31374045 HAS SOUPS 30947092 WITH SCORE 3.0992554325E7
AT ITER 619 NEW BEST:: SOT 69266580 SOS 45463913 HAS SOPS 34986970 HAS SOUS 31376397 HAS SOUPS 30945690 WITH SCORE 3.0991153913E7
AT ITER 620 NEW BEST:: SOT 69266621 SOS 45463994 HAS SOPS 34984523 HAS SOUS 31373951 HAS SOUPS 30943244 WITH SCORE 3.0988707994E7
AT ITER 622 NEW BEST:: SOT 69266621 SOS 45463994 HAS SOPS 34982891 HAS SOUS 31371134 HAS SOUPS 30939151 WITH SCORE 3.0984614994E7
AT ITER 624 NEW BEST:: SOT 69266621 SOS 45463994 HAS SOPS 34979012 HAS SOUS 31368743 HAS SOUPS 30935272 WITH SCORE 3.0980735994E7
AT ITER 625 NEW BEST:: SOT 69267882 SOS 45466451 HAS SOPS 34977901 HAS SOUS 31367633 HAS SOUPS 30934162 WITH SCORE 3.0979628451E7
AT ITER 628 NEW BEST:: SOT 69267882 SOS 45466451 HAS SOPS 34977698 HAS SOUS 31365579 HAS SOUPS 30932108 WITH SCORE 3.0977574451E7
AT ITER 629 NEW BEST:: SOT 69268293 SOS 45467272 HAS SOPS 34975655 HAS SOUS 31364415 HAS SOUPS 30930066 WITH SCORE 3.0975533272E7
AT ITER 630 NEW BEST:: SOT 69268293 SOS 45467272 HAS SOPS 34975185 HAS SOUS 31364085 HAS SOUPS 30929596 WITH SCORE 3.0975063272E7
AT ITER 634 NEW BEST:: SOT 69268069 SOS 45467048 HAS SOPS 34972258 HAS SOUS 31359634 HAS SOUPS 30924862 WITH SCORE 3.0970329048E7
AT ITER 635 NEW BEST:: SOT 69268069 SOS 45467048 HAS SOPS 34971714 HAS SOUS 31359090 HAS SOUPS 30924318 WITH SCORE 3.0969785048E7
AT ITER 639 NEW BEST:: SOT 69268069 SOS 45467048 HAS SOPS 34972106 HAS SOUS 31357030 HAS SOUPS 30922258 WITH SCORE 3.0967725048E7
AT ITER 641 NEW BEST:: SOT 69268069 SOS 45467048 HAS SOPS 34968134 HAS SOUS 31352996 HAS SOUPS 30918224 WITH SCORE 3.0963691048E7
AT ITER 644 NEW BEST:: SOT 69269248 SOS 45469330 HAS SOPS 34966912 HAS SOUS 31355053 HAS SOUPS 30917003 WITH SCORE 3.096247233E7
AT ITER 653 NEW BEST:: SOT 69269248 SOS 45469330 HAS SOPS 34965954 HAS SOUS 31355199 HAS SOUPS 30916045 WITH SCORE 3.096151433E7
AT ITER 654 NEW BEST:: SOT 69270170 SOS 45470865 HAS SOPS 34965076 HAS SOUS 31358246 HAS SOUPS 30915168 WITH SCORE 3.0960638865E7
AT ITER 655 NEW BEST:: SOT 69271283 SOS 45472679 HAS SOPS 34965023 HAS SOUS 31358262 HAS SOUPS 30915116 WITH SCORE 3.0960588679E7
AT ITER 656 NEW BEST:: SOT 69270059 SOS 45402604 HAS SOPS 34854862 HAS SOUS 31316213 HAS SOUPS 30873067 WITH SCORE 3.0918469604E7
AT ITER 657 NEW BEST:: SOT 69268779 SOS 45396459 HAS SOPS 34853824 HAS SOUS 31315135 HAS SOUPS 30872030 WITH SCORE 3.0917426459E7
AT ITER 659 NEW BEST:: SOT 69269998 SOS 45398896 HAS SOPS 34852527 HAS SOUS 31313839 HAS SOUPS 30870734 WITH SCORE 3.0916132896E7
AT ITER 672 NEW BEST:: SOT 69269998 SOS 45398896 HAS SOPS 34850486 HAS SOUS 31309343 HAS SOUPS 30866238 WITH SCORE 3.0911636896E7
AT ITER 673 NEW BEST:: SOT 69269998 SOS 45398896 HAS SOPS 34849865 HAS SOUS 31308722 HAS SOUPS 30865617 WITH SCORE 3.0911015896E7
AT ITER 676 NEW BEST:: SOT 69272737 SOS 45403219 HAS SOPS 34848678 HAS SOUS 31311324 HAS SOUPS 30864431 WITH SCORE 3.0909834219E7
AT ITER 678 NEW BEST:: SOT 69273850 SOS 45405243 HAS SOPS 34847691 HAS SOUS 31310338 HAS SOUPS 30863445 WITH SCORE 3.0908850243E7
AT ITER 679 NEW BEST:: SOT 69273850 SOS 45405243 HAS SOPS 34846755 HAS SOUS 31309178 HAS SOUPS 30862103 WITH SCORE 3.0907508243E7
AT ITER 681 NEW BEST:: SOT 69273850 SOS 45405243 HAS SOPS 34844751 HAS SOUS 31306055 HAS SOUPS 30858097 WITH SCORE 3.0903502243E7
AT ITER 689 NEW BEST:: SOT 69274223 SOS 45405616 HAS SOPS 34844462 HAS SOUS 31306428 HAS SOUPS 30857808 WITH SCORE 3.0903213616E7
AT ITER 692 NEW BEST:: SOT 69275312 SOS 45406705 HAS SOPS 34844103 HAS SOUS 31304689 HAS SOUPS 30856069 WITH SCORE 3.0901475705E7
AT ITER 696 NEW BEST:: SOT 69275909 SOS 45407898 HAS SOPS 34842258 HAS SOUS 31303647 HAS SOUPS 30854225 WITH SCORE 3.0899632898E7
AT ITER 705 NEW BEST:: SOT 69275909 SOS 45407898 HAS SOPS 34841270 HAS SOUS 31300484 HAS SOUPS 30851062 WITH SCORE 3.0896469898E7
AT ITER 706 NEW BEST:: SOT 69278125 SOS 45410114 HAS SOPS 34843706 HAS SOUS 31300319 HAS SOUPS 30851059 WITH SCORE 3.0896469114E7
AT ITER 714 NEW BEST:: SOT 69278125 SOS 45410114 HAS SOPS 34841916 HAS SOUS 31296190 HAS SOUPS 30846794 WITH SCORE 3.0892204114E7
AT ITER 717 NEW BEST:: SOT 69278125 SOS 45410114 HAS SOPS 34840947 HAS SOUS 31292712 HAS SOUPS 30843316 WITH SCORE 3.0888726114E7
AT ITER 719 NEW BEST:: SOT 69278125 SOS 45410114 HAS SOPS 34839224 HAS SOUS 31290990 HAS SOUPS 30841594 WITH SCORE 3.0887004114E7
AT ITER 720 NEW BEST:: SOT 69276829 SOS 45360866 HAS SOPS 34791272 HAS SOUS 31288398 HAS SOUPS 30839002 WITH SCORE 3.0884362866E7
AT ITER 726 NEW BEST:: SOT 69275812 SOS 45359849 HAS SOPS 34789273 HAS SOUS 31286399 HAS SOUPS 30837003 WITH SCORE 3.0882362849E7
AT ITER 729 NEW BEST:: SOT 69276630 SOS 45361484 HAS SOPS 34787603 HAS SOUS 31284730 HAS SOUPS 30835334 WITH SCORE 3.0880695484E7
AT ITER 733 NEW BEST:: SOT 69276630 SOS 45361484 HAS SOPS 34785641 HAS SOUS 31281882 HAS SOUPS 30832486 WITH SCORE 3.0877847484E7
AT ITER 734 NEW BEST:: SOT 69276232 SOS 45346360 HAS SOPS 34770915 HAS SOUS 31281086 HAS SOUPS 30831690 WITH SCORE 3.087703636E7
AT ITER 738 NEW BEST:: SOT 69276232 SOS 45346360 HAS SOPS 34769447 HAS SOUS 31278152 HAS SOUPS 30828756 WITH SCORE 3.087410236E7
AT ITER 741 NEW BEST:: SOT 69276232 SOS 45346360 HAS SOPS 34768133 HAS SOUS 31276838 HAS SOUPS 30827442 WITH SCORE 3.087278836E7
AT ITER 744 NEW BEST:: SOT 69276732 SOS 45347988 HAS SOPS 34767039 HAS SOUS 31276123 HAS SOUPS 30826349 WITH SCORE 3.0871696988E7
AT ITER 747 NEW BEST:: SOT 69276732 SOS 45347988 HAS SOPS 34766514 HAS SOUS 31275888 HAS SOUPS 30825824 WITH SCORE 3.0871171988E7
AT ITER 750 NEW BEST:: SOT 69276732 SOS 45347988 HAS SOPS 34766480 HAS SOUS 31274053 HAS SOUPS 30823989 WITH SCORE 3.0869336988E7
AT ITER 751 NEW BEST:: SOT 69276732 SOS 45347988 HAS SOPS 34764161 HAS SOUS 31269417 HAS SOUPS 30819353 WITH SCORE 3.0864700988E7
AT ITER 755 NEW BEST:: SOT 69276776 SOS 45506432 HAS SOPS 34762885 HAS SOUS 31269461 HAS SOUPS 30818077 WITH SCORE 3.0863583432E7
AT ITER 756 NEW BEST:: SOT 69276776 SOS 45506432 HAS SOPS 34761034 HAS SOUS 31265761 HAS SOUPS 30814377 WITH SCORE 3.0859883432E7
AT ITER 757 NEW BEST:: SOT 69275799 SOS 45505455 HAS SOPS 34759079 HAS SOUS 31263806 HAS SOUPS 30812422 WITH SCORE 3.0857927455E7
AT ITER 760 NEW BEST:: SOT 69275799 SOS 45505455 HAS SOPS 34759089 HAS SOUS 31263805 HAS SOUPS 30812421 WITH SCORE 3.0857926455E7
AT ITER 774 NEW BEST:: SOT 69275799 SOS 45505455 HAS SOPS 34756777 HAS SOUS 31258996 HAS SOUPS 30807612 WITH SCORE 3.0853117455E7
AT ITER 775 NEW BEST:: SOT 69275799 SOS 45505455 HAS SOPS 34754657 HAS SOUS 31254758 HAS SOUPS 30803374 WITH SCORE 3.0848879455E7
AT ITER 779 NEW BEST:: SOT 69275799 SOS 45505455 HAS SOPS 34754479 HAS SOUS 31254729 HAS SOUPS 30803196 WITH SCORE 3.0848701455E7
AT ITER 786 NEW BEST:: SOT 69275799 SOS 45505455 HAS SOPS 34753557 HAS SOUS 31253811 HAS SOUPS 30802274 WITH SCORE 3.0847779455E7
AT ITER 791 NEW BEST:: SOT 69276795 SOS 45506451 HAS SOPS 34751475 HAS SOUS 31252667 HAS SOUPS 30799725 WITH SCORE 3.0845231451E7
AT ITER 797 NEW BEST:: SOT 69275422 SOS 45505078 HAS SOPS 34748623 HAS SOUS 31250881 HAS SOUPS 30796873 WITH SCORE 3.0842378078E7
AT ITER 801 NEW BEST:: SOT 69275783 SOS 45509253 HAS SOPS 34748566 HAS SOUS 31253626 HAS SOUPS 30796816 WITH SCORE 3.0842325253E7
AT ITER 815 NEW BEST:: SOT 69277060 SOS 45511296 HAS SOPS 34748521 HAS SOUS 31253582 HAS SOUPS 30796772 WITH SCORE 3.0842283296E7
AT ITER 819 NEW BEST:: SOT 69276510 SOS 45510359 HAS SOPS 34747584 HAS SOUS 31252645 HAS SOUPS 30795835 WITH SCORE 3.0841345359E7
AT ITER 826 NEW BEST:: SOT 69276510 SOS 45510359 HAS SOPS 34742645 HAS SOUS 31248635 HAS SOUPS 30790898 WITH SCORE 3.0836408359E7
AT ITER 834 NEW BEST:: SOT 69276510 SOS 45510359 HAS SOPS 34743215 HAS SOUS 31246417 HAS SOUPS 30788680 WITH SCORE 3.0834190359E7
AT ITER 835 NEW BEST:: SOT 69276510 SOS 45510359 HAS SOPS 34743485 HAS SOUS 31244718 HAS SOUPS 30787783 WITH SCORE 3.0833293359E7
AT ITER 837 NEW BEST:: SOT 69276510 SOS 45510359 HAS SOPS 34742833 HAS SOUS 31244067 HAS SOUPS 30787132 WITH SCORE 3.0832642359E7
AT ITER 841 NEW BEST:: SOT 69277398 SOS 45511247 HAS SOPS 34743037 HAS SOUS 31240314 HAS SOUPS 30784529 WITH SCORE 3.0830040247E7
AT ITER 845 NEW BEST:: SOT 69278954 SOS 45512803 HAS SOPS 34743581 HAS SOUS 31239973 HAS SOUPS 30783517 WITH SCORE 3.0829029803E7
AT ITER 846 NEW BEST:: SOT 69278986 SOS 45550875 HAS SOPS 34742975 HAS SOUS 31240331 HAS SOUPS 30782911 WITH SCORE 3.0828461875E7
AT ITER 847 NEW BEST:: SOT 69278986 SOS 45550875 HAS SOPS 34739363 HAS SOUS 31236720 HAS SOUPS 30779300 WITH SCORE 3.0824850875E7
AT ITER 850 NEW BEST:: SOT 69278986 SOS 45550875 HAS SOPS 34737907 HAS SOUS 31232785 HAS SOUPS 30775365 WITH SCORE 3.0820915875E7
AT ITER 854 NEW BEST:: SOT 69278986 SOS 45550875 HAS SOPS 34735944 HAS SOUS 31228861 HAS SOUPS 30771441 WITH SCORE 3.0816991875E7
AT ITER 856 NEW BEST:: SOT 69278986 SOS 45550875 HAS SOPS 34731202 HAS SOUS 31224119 HAS SOUPS 30766699 WITH SCORE 3.0812249875E7
AT ITER 858 NEW BEST:: SOT 69278986 SOS 45550875 HAS SOPS 34731296 HAS SOUS 31224118 HAS SOUPS 30766698 WITH SCORE 3.0812248875E7
AT ITER 860 NEW BEST:: SOT 69278986 SOS 45550875 HAS SOPS 34730107 HAS SOUS 31221742 HAS SOUPS 30764322 WITH SCORE 3.0809872875E7
AT ITER 863 NEW BEST:: SOT 69279091 SOS 45551084 HAS SOPS 34727776 HAS SOUS 31220292 HAS SOUPS 30761992 WITH SCORE 3.0807543084E7
AT ITER 868 NEW BEST:: SOT 69275812 SOS 45547745 HAS SOPS 34725302 HAS SOUS 31217818 HAS SOUPS 30759519 WITH SCORE 3.0805066745E7
AT ITER 874 NEW BEST:: SOT 69275889 SOS 45547898 HAS SOPS 34722917 HAS SOUS 31215434 HAS SOUPS 30757135 WITH SCORE 3.0802682898E7
AT ITER 875 NEW BEST:: SOT 69275889 SOS 45547898 HAS SOPS 34720499 HAS SOUS 31210549 HAS SOUPS 30752250 WITH SCORE 3.0797797898E7
AT ITER 878 NEW BEST:: SOT 69275889 SOS 45547898 HAS SOPS 34718188 HAS SOUS 31205929 HAS SOUPS 30747630 WITH SCORE 3.0793177898E7
AT ITER 880 NEW BEST:: SOT 69275889 SOS 45547898 HAS SOPS 34720081 HAS SOUS 31204035 HAS SOUPS 30745736 WITH SCORE 3.0791283898E7
AT ITER 881 NEW BEST:: SOT 69275889 SOS 45547898 HAS SOPS 34719033 HAS SOUS 31202988 HAS SOUPS 30744689 WITH SCORE 3.0790236898E7
AT ITER 882 NEW BEST:: SOT 69275889 SOS 45547898 HAS SOPS 34718918 HAS SOUS 31202874 HAS SOUPS 30744575 WITH SCORE 3.0790122898E7
AT ITER 883 NEW BEST:: SOT 69276566 SOS 45549251 HAS SOPS 34717091 HAS SOUS 31201048 HAS SOUPS 30742749 WITH SCORE 3.0788298251E7
AT ITER 885 NEW BEST:: SOT 69276707 SOS 45549605 HAS SOPS 34714810 HAS SOUS 31198890 HAS SOUPS 30740469 WITH SCORE 3.0786018605E7
AT ITER 887 NEW BEST:: SOT 69276828 SOS 45549846 HAS SOPS 34712475 HAS SOUS 31196556 HAS SOUPS 30738135 WITH SCORE 3.0783684846E7
AT ITER 891 NEW BEST:: SOT 69276789 SOS 45549807 HAS SOPS 34712436 HAS SOUS 31196517 HAS SOUPS 30738096 WITH SCORE 3.0783645807E7
AT ITER 892 NEW BEST:: SOT 69276789 SOS 45549807 HAS SOPS 34712780 HAS SOUS 31196516 HAS SOUPS 30738095 WITH SCORE 3.0783644807E7
AT ITER 898 NEW BEST:: SOT 69276789 SOS 45549807 HAS SOPS 34710405 HAS SOUS 31192545 HAS SOUPS 30733347 WITH SCORE 3.0778896807E7
AT ITER 899 NEW BEST:: SOT 69276789 SOS 45549807 HAS SOPS 34708043 HAS SOUS 31187823 HAS SOUPS 30728625 WITH SCORE 3.0774174807E7
AT ITER 902 NEW BEST:: SOT 69276789 SOS 45549807 HAS SOPS 34708043 HAS SOUS 31187810 HAS SOUPS 30728612 WITH SCORE 3.0774161807E7
AT ITER 904 NEW BEST:: SOT 69276779 SOS 45549427 HAS SOPS 34707673 HAS SOUS 31187790 HAS SOUPS 30728592 WITH SCORE 3.0774141427E7
AT ITER 905 NEW BEST:: SOT 69276767 SOS 45549415 HAS SOPS 34705596 HAS SOUS 31185054 HAS SOUPS 30724938 WITH SCORE 3.0770487415E7
AT ITER 908 NEW BEST:: SOT 69277680 SOS 45551240 HAS SOPS 34703993 HAS SOUS 31183452 HAS SOUPS 30723336 WITH SCORE 3.076888724E7
AT ITER 910 NEW BEST:: SOT 69277680 SOS 45551240 HAS SOPS 34701729 HAS SOUS 31178926 HAS SOUPS 30718810 WITH SCORE 3.076436124E7
AT ITER 911 NEW BEST:: SOT 69278584 SOS 45552753 HAS SOPS 34701073 HAS SOUS 31178271 HAS SOUPS 30718155 WITH SCORE 3.0763707753E7
AT ITER 913 NEW BEST:: SOT 69278584 SOS 45552753 HAS SOPS 34699087 HAS SOUS 31178025 HAS SOUPS 30716169 WITH SCORE 3.0761721753E7
AT ITER 916 NEW BEST:: SOT 69279371 SOS 45554201 HAS SOPS 34699009 HAS SOUS 31178186 HAS SOUPS 30716091 WITH SCORE 3.0761645201E7
AT ITER 924 NEW BEST:: SOT 69279371 SOS 45554201 HAS SOPS 34699005 HAS SOUS 31178182 HAS SOUPS 30716087 WITH SCORE 3.0761641201E7
AT ITER 925 NEW BEST:: SOT 69346337 SOS 45544765 HAS SOPS 34607450 HAS SOUS 31167387 HAS SOUPS 30695983 WITH SCORE 3.0741527765E7
AT ITER 927 NEW BEST:: SOT 69346337 SOS 45544765 HAS SOPS 34605602 HAS SOUS 31164894 HAS SOUPS 30693490 WITH SCORE 3.0739034765E7
AT ITER 933 NEW BEST:: SOT 69346362 SOS 45545414 HAS SOPS 34603836 HAS SOUS 31162110 HAS SOUPS 30689312 WITH SCORE 3.0734857414E7
AT ITER 937 NEW BEST:: SOT 69346421 SOS 45545531 HAS SOPS 34601469 HAS SOUS 31160199 HAS SOUPS 30686946 WITH SCORE 3.0732491531E7
AT ITER 939 NEW BEST:: SOT 69346421 SOS 45545531 HAS SOPS 34601516 HAS SOUS 31158474 HAS SOUPS 30685221 WITH SCORE 3.0730766531E7
AT ITER 940 NEW BEST:: SOT 69346421 SOS 45545531 HAS SOPS 34601516 HAS SOUS 31156866 HAS SOUPS 30683613 WITH SCORE 3.0729158531E7
AT ITER 943 NEW BEST:: SOT 69346421 SOS 45547406 HAS SOPS 34600902 HAS SOUS 31153766 HAS SOUPS 30680513 WITH SCORE 3.0726060406E7
AT ITER 945 NEW BEST:: SOT 69346421 SOS 45547406 HAS SOPS 34599022 HAS SOUS 31150008 HAS SOUPS 30676755 WITH SCORE 3.0722302406E7
AT ITER 948 NEW BEST:: SOT 69346421 SOS 45547406 HAS SOPS 34599758 HAS SOUS 31150007 HAS SOUPS 30676754 WITH SCORE 3.0722301406E7
AT ITER 974 NEW BEST:: SOT 69346937 SOS 45549448 HAS SOPS 34598666 HAS SOUS 31148916 HAS SOUPS 30675663 WITH SCORE 3.0721212448E7
AT ITER 979 NEW BEST:: SOT 69349415 SOS 45551926 HAS SOPS 34600429 HAS SOUS 31148251 HAS SOUPS 30674998 WITH SCORE 3.0720549926E7
AT ITER 984 NEW BEST:: SOT 69348406 SOS 45550917 HAS SOPS 34597401 HAS SOUS 31145152 HAS SOUPS 30670962 WITH SCORE 3.0716512917E7
AT ITER 987 NEW BEST:: SOT 69348406 SOS 45550917 HAS SOPS 34595156 HAS SOUS 31142038 HAS SOUPS 30667848 WITH SCORE 3.0713398917E7
AT ITER 990 NEW BEST:: SOT 69347128 SOS 45549639 HAS SOPS 34593344 HAS SOUS 31140760 HAS SOUPS 30666036 WITH SCORE 3.0711585639E7
AT ITER 991 NEW BEST:: SOT 69347122 SOS 45549847 HAS SOPS 34591364 HAS SOUS 31140344 HAS SOUPS 30664057 WITH SCORE 3.0709606847E7
AT ITER 995 NEW BEST:: SOT 69347122 SOS 45549847 HAS SOPS 34591360 HAS SOUS 31140340 HAS SOUPS 30664053 WITH SCORE 3.0709602847E7
AT ITER 1000 NEW BEST:: SOT 69349162 SOS 45551887 HAS SOPS 34591359 HAS SOUS 31138300 HAS SOUPS 30662013 WITH SCORE 3.0707564887E7
AT ITER 1025 NEW BEST:: SOT 69349162 SOS 45551887 HAS SOPS 34591959 HAS SOUS 31137695 HAS SOUPS 30661408 WITH SCORE 3.0706959887E7
AT ITER 1027 NEW BEST:: SOT 69349162 SOS 45551887 HAS SOPS 34590004 HAS SOUS 31133285 HAS SOUPS 30656998 WITH SCORE 3.0702549887E7
AT ITER 1034 NEW BEST:: SOT 69349194 SOS 45552317 HAS SOPS 34587520 HAS SOUS 31130802 HAS SOUPS 30654515 WITH SCORE 3.0700067317E7
AT ITER 1036 NEW BEST:: SOT 69349331 SOS 45552590 HAS SOPS 34585155 HAS SOUS 31128438 HAS SOUPS 30652151 WITH SCORE 3.069770359E7
AT ITER 1038 NEW BEST:: SOT 69349617 SOS 45552876 HAS SOPS 34582552 HAS SOUS 31125835 HAS SOUPS 30649548 WITH SCORE 3.0695100876E7
AT ITER 1043 NEW BEST:: SOT 69350194 SOS 45553650 HAS SOPS 34582120 HAS SOUS 31126954 HAS SOUPS 30649116 WITH SCORE 3.069466965E7
AT ITER 1047 NEW BEST:: SOT 69348726 SOS 45552182 HAS SOPS 34580124 HAS SOUS 31124958 HAS SOUPS 30647120 WITH SCORE 3.0692672182E7
AT ITER 1051 NEW BEST:: SOT 69348726 SOS 45552182 HAS SOPS 34578021 HAS SOUS 31122960 HAS SOUPS 30645122 WITH SCORE 3.0690674182E7
AT ITER 1052 NEW BEST:: SOT 69348726 SOS 45552182 HAS SOPS 34576506 HAS SOUS 31118936 HAS SOUPS 30641098 WITH SCORE 3.0686650182E7
AT ITER 1053 NEW BEST:: SOT 69348726 SOS 45554953 HAS SOPS 34575699 HAS SOUS 31118129 HAS SOUPS 30640291 WITH SCORE 3.0685845953E7
AT ITER 1064 NEW BEST:: SOT 69348726 SOS 45554953 HAS SOPS 34573281 HAS SOUS 31114944 HAS SOUPS 30637106 WITH SCORE 3.0682660953E7
AT ITER 1074 NEW BEST:: SOT 69353642 SOS 45560320 HAS SOPS 34571202 HAS SOUS 31121703 HAS SOUPS 30635075 WITH SCORE 3.068063532E7
AT ITER 1076 NEW BEST:: SOT 69353642 SOS 45560320 HAS SOPS 34569134 HAS SOUS 31117845 HAS SOUPS 30630582 WITH SCORE 3.067614232E7
AT ITER 1077 NEW BEST:: SOT 69353642 SOS 45560320 HAS SOPS 34568135 HAS SOUS 31114355 HAS SOUPS 30627092 WITH SCORE 3.067265232E7
AT ITER 1087 NEW BEST:: SOT 69354811 SOS 45562657 HAS SOPS 34566792 HAS SOUS 31113013 HAS SOUPS 30625750 WITH SCORE 3.0671312657E7
AT ITER 1090 NEW BEST:: SOT 69354889 SOS 45562880 HAS SOPS 34564450 HAS SOUS 31112455 HAS SOUPS 30625192 WITH SCORE 3.067075488E7
AT ITER 1100 NEW BEST:: SOT 69354874 SOS 45495936 HAS SOPS 34487473 HAS SOUS 31100752 HAS SOUPS 30613489 WITH SCORE 3.0658984936E7
AT ITER 1102 NEW BEST:: SOT 69355056 SOS 45496118 HAS SOPS 34489237 HAS SOUS 31100427 HAS SOUPS 30612748 WITH SCORE 3.0658244118E7
AT ITER 1106 NEW BEST:: SOT 69355056 SOS 45496118 HAS SOPS 34484781 HAS SOUS 31095971 HAS SOUPS 30608292 WITH SCORE 3.0653788118E7
AT ITER 1118 NEW BEST:: SOT 69355544 SOS 45497093 HAS SOPS 34482835 HAS SOUS 31094325 HAS SOUPS 30606347 WITH SCORE 3.0651844093E7
AT ITER 1120 NEW BEST:: SOT 69380680 SOS 45448595 HAS SOPS 34362936 HAS SOUS 31043831 HAS SOUPS 30555259 WITH SCORE 3.0600707595E7
AT ITER 1130 NEW BEST:: SOT 69380680 SOS 45448595 HAS SOPS 34361614 HAS SOUS 31040004 HAS SOUPS 30551432 WITH SCORE 3.0596880595E7
AT ITER 1131 NEW BEST:: SOT 69380535 SOS 45448450 HAS SOPS 34361469 HAS SOUS 31039859 HAS SOUPS 30551287 WITH SCORE 3.059673545E7
AT ITER 1132 NEW BEST:: SOT 69381804 SOS 45449719 HAS SOPS 34361763 HAS SOUS 31038110 HAS SOUPS 30549339 WITH SCORE 3.0594788719E7
AT ITER 1134 NEW BEST:: SOT 69381804 SOS 45449719 HAS SOPS 34360029 HAS SOUS 31034644 HAS SOUPS 30545873 WITH SCORE 3.0591322719E7
AT ITER 1147 NEW BEST:: SOT 69381804 SOS 45449719 HAS SOPS 34360029 HAS SOUS 31033228 HAS SOUPS 30544457 WITH SCORE 3.0589906719E7
AT ITER 1153 NEW BEST:: SOT 69382258 SOS 45450626 HAS SOPS 34358047 HAS SOUS 31032002 HAS SOUPS 30542476 WITH SCORE 3.0587926626E7
AT ITER 1156 NEW BEST:: SOT 69382258 SOS 45450626 HAS SOPS 34356481 HAS SOUS 31028872 HAS SOUPS 30539346 WITH SCORE 3.0584796626E7
AT ITER 1160 NEW BEST:: SOT 69382258 SOS 45450626 HAS SOPS 34356481 HAS SOUS 31027949 HAS SOUPS 30538423 WITH SCORE 3.0583873626E7
AT ITER 1161 NEW BEST:: SOT 69382258 SOS 45450626 HAS SOPS 34354413 HAS SOUS 31024561 HAS SOUPS 30534583 WITH SCORE 3.0580033626E7
AT ITER 1164 NEW BEST:: SOT 69382897 SOS 45452541 HAS SOPS 34353764 HAS SOUS 31023912 HAS SOUPS 30533934 WITH SCORE 3.0579386541E7
AT ITER 1166 NEW BEST:: SOT 69382897 SOS 45452541 HAS SOPS 34354702 HAS SOUS 31022360 HAS SOUPS 30532382 WITH SCORE 3.0577834541E7
AT ITER 1169 NEW BEST:: SOT 69382897 SOS 45452541 HAS SOPS 34354554 HAS SOUS 31021253 HAS SOUPS 30531275 WITH SCORE 3.0576727541E7
AT ITER 1177 NEW BEST:: SOT 69382897 SOS 45452541 HAS SOPS 34352151 HAS SOUS 31016449 HAS SOUPS 30526471 WITH SCORE 3.0571923541E7
AT ITER 1179 NEW BEST:: SOT 69382897 SOS 45452541 HAS SOPS 34352538 HAS SOUS 31016448 HAS SOUPS 30526470 WITH SCORE 3.0571922541E7
AT ITER 1181 NEW BEST:: SOT 69382897 SOS 45452541 HAS SOPS 34350377 HAS SOUS 31012128 HAS SOUPS 30522150 WITH SCORE 3.0567602541E7
AT ITER 1186 NEW BEST:: SOT 69382897 SOS 45452541 HAS SOPS 34351623 HAS SOUS 31012123 HAS SOUPS 30522145 WITH SCORE 3.0567597541E7
AT ITER 1187 NEW BEST:: SOT 69385529 SOS 45455173 HAS SOPS 34353082 HAS SOUS 31011285 HAS SOUPS 30521171 WITH SCORE 3.0566626173E7
AT ITER 1190 NEW BEST:: SOT 69385529 SOS 45455173 HAS SOPS 34351961 HAS SOUS 31007675 HAS SOUPS 30517561 WITH SCORE 3.0563016173E7
AT ITER 1194 NEW BEST:: SOT 69384627 SOS 45420897 HAS SOPS 34318587 HAS SOUS 31005871 HAS SOUPS 30515757 WITH SCORE 3.0561177897E7
AT ITER 1200 NEW BEST:: SOT 69384627 SOS 45420897 HAS SOPS 34318289 HAS SOUS 31005822 HAS SOUPS 30515459 WITH SCORE 3.0560879897E7
AT ITER 1201 NEW BEST:: SOT 69385688 SOS 45423018 HAS SOPS 34316840 HAS SOUS 31004374 HAS SOUPS 30514011 WITH SCORE 3.0559434018E7
AT ITER 1205 NEW BEST:: SOT 69385688 SOS 45423018 HAS SOPS 34316839 HAS SOUS 31003728 HAS SOUPS 30513365 WITH SCORE 3.0558788018E7
AT ITER 1206 NEW BEST:: SOT 69385688 SOS 45423018 HAS SOPS 34315440 HAS SOUS 31000081 HAS SOUPS 30509658 WITH SCORE 3.0555081018E7
AT ITER 1207 NEW BEST:: SOT 69385228 SOS 45422558 HAS SOPS 34314519 HAS SOUS 30998945 HAS SOUPS 30508278 WITH SCORE 3.0553700558E7
AT ITER 1214 NEW BEST:: SOT 69385228 SOS 45422558 HAS SOPS 34312302 HAS SOUS 30994513 HAS SOUPS 30503846 WITH SCORE 3.0549268558E7
AT ITER 1219 NEW BEST:: SOT 69385228 SOS 45422558 HAS SOPS 34312301 HAS SOUS 30993309 HAS SOUPS 30502642 WITH SCORE 3.0548064558E7
AT ITER 1222 NEW BEST:: SOT 69385228 SOS 45422558 HAS SOPS 34312300 HAS SOUS 30992883 HAS SOUPS 30502216 WITH SCORE 3.0547638558E7
AT ITER 1225 NEW BEST:: SOT 69385228 SOS 45422558 HAS SOPS 34312296 HAS SOUS 30992883 HAS SOUPS 30502212 WITH SCORE 3.0547634558E7
AT ITER 1231 NEW BEST:: SOT 69384576 SOS 45421906 HAS SOPS 34311644 HAS SOUS 30992231 HAS SOUPS 30501560 WITH SCORE 3.0546981906E7
AT ITER 1235 NEW BEST:: SOT 69400097 SOS 45367952 HAS SOPS 34236581 HAS SOUS 30986059 HAS SOUPS 30495388 WITH SCORE 3.0540755952E7
AT ITER 1236 NEW BEST:: SOT 69399607 SOS 45367462 HAS SOPS 34233440 HAS SOUS 30980759 HAS SOUPS 30490088 WITH SCORE 3.0535455462E7
AT ITER 1239 NEW BEST:: SOT 69399607 SOS 45367462 HAS SOPS 34229866 HAS SOUS 30976891 HAS SOUPS 30486220 WITH SCORE 3.0531587462E7
AT ITER 1242 NEW BEST:: SOT 69399607 SOS 45367462 HAS SOPS 34227363 HAS SOUS 30972562 HAS SOUPS 30481891 WITH SCORE 3.0527258462E7
AT ITER 1244 NEW BEST:: SOT 69399607 SOS 45367462 HAS SOPS 34227362 HAS SOUS 30971174 HAS SOUPS 30480503 WITH SCORE 3.0525870462E7
AT ITER 1246 NEW BEST:: SOT 69399607 SOS 45367462 HAS SOPS 34228195 HAS SOUS 30970097 HAS SOUPS 30479426 WITH SCORE 3.0524793462E7
AT ITER 1250 NEW BEST:: SOT 69399607 SOS 45367462 HAS SOPS 34226142 HAS SOUS 30965588 HAS SOUPS 30474917 WITH SCORE 3.0520284462E7
AT ITER 1252 NEW BEST:: SOT 69400314 SOS 45368169 HAS SOPS 34226105 HAS SOUS 30965555 HAS SOUPS 30474880 WITH SCORE 3.0520248169E7
AT ITER 1253 NEW BEST:: SOT 69401386 SOS 45370312 HAS SOPS 34224695 HAS SOUS 30964146 HAS SOUPS 30473471 WITH SCORE 3.0518841312E7
AT ITER 1256 NEW BEST:: SOT 69401386 SOS 45370312 HAS SOPS 34224181 HAS SOUS 30963690 HAS SOUPS 30472957 WITH SCORE 3.0518327312E7
AT ITER 1259 NEW BEST:: SOT 69402092 SOS 45371965 HAS SOPS 34223681 HAS SOUS 30963429 HAS SOUPS 30472458 WITH SCORE 3.0517829965E7
AT ITER 1262 NEW BEST:: SOT 69402092 SOS 45371965 HAS SOPS 34223677 HAS SOUS 30963425 HAS SOUPS 30472454 WITH SCORE 3.0517825965E7
AT ITER 1263 NEW BEST:: SOT 69401905 SOS 45371778 HAS SOPS 34222325 HAS SOUS 30960036 HAS SOUPS 30468690 WITH SCORE 3.0514061778E7
AT ITER 1264 NEW BEST:: SOT 69402266 SOS 45372499 HAS SOPS 34220204 HAS SOUS 30957916 HAS SOUPS 30466570 WITH SCORE 3.0511942499E7
AT ITER 1269 NEW BEST:: SOT 69401769 SOS 45372002 HAS SOPS 34218712 HAS SOUS 30956353 HAS SOUPS 30464582 WITH SCORE 3.0509954002E7
AT ITER 1279 NEW BEST:: SOT 69402187 SOS 45372837 HAS SOPS 34216636 HAS SOUS 30954278 HAS SOUPS 30462507 WITH SCORE 3.0507879837E7
AT ITER 1284 NEW BEST:: SOT 69402187 SOS 45372837 HAS SOPS 34216504 HAS SOUS 30954145 HAS SOUPS 30462374 WITH SCORE 3.0507746837E7
AT ITER 1285 NEW BEST:: SOT 69402187 SOS 45372837 HAS SOPS 34215467 HAS SOUS 30953377 HAS SOUPS 30461606 WITH SCORE 3.0506978837E7
AT ITER 1287 NEW BEST:: SOT 69402187 SOS 45372837 HAS SOPS 34217529 HAS SOUS 30953376 HAS SOUPS 30461605 WITH SCORE 3.0506977837E7
AT ITER 1291 NEW BEST:: SOT 69402187 SOS 45372837 HAS SOPS 34215166 HAS SOUS 30948817 HAS SOUPS 30456767 WITH SCORE 3.0502139837E7
AT ITER 1299 NEW BEST:: SOT 69402268 SOS 45374132 HAS SOPS 34215121 HAS SOUS 30949325 HAS SOUPS 30456722 WITH SCORE 3.0502096132E7
AT ITER 1309 NEW BEST:: SOT 69402124 SOS 45368660 HAS SOPS 34210081 HAS SOUS 30949325 HAS SOUPS 30456722 WITH SCORE 3.050209066E7
AT ITER 1313 NEW BEST:: SOT 69402365 SOS 45368901 HAS SOPS 34209174 HAS SOUS 30949280 HAS SOUPS 30455815 WITH SCORE 3.0501183901E7
AT ITER 1314 NEW BEST:: SOT 69401971 SOS 45368507 HAS SOPS 34208386 HAS SOUS 30948886 HAS SOUPS 30455027 WITH SCORE 3.0500395507E7
AT ITER 1318 NEW BEST:: SOT 69401144 SOS 45367680 HAS SOPS 34207559 HAS SOUS 30948059 HAS SOUPS 30454200 WITH SCORE 3.049956768E7
AT ITER 1321 NEW BEST:: SOT 69401144 SOS 45367680 HAS SOPS 34207313 HAS SOUS 30945432 HAS SOUPS 30451573 WITH SCORE 3.049694068E7
AT ITER 1322 NEW BEST:: SOT 69401144 SOS 45367680 HAS SOPS 34210570 HAS SOUS 30945431 HAS SOUPS 30451572 WITH SCORE 3.049693968E7
AT ITER 1330 NEW BEST:: SOT 69401144 SOS 45367680 HAS SOPS 34210740 HAS SOUS 30944676 HAS SOUPS 30450817 WITH SCORE 3.049618468E7
AT ITER 1335 NEW BEST:: SOT 69401144 SOS 45367680 HAS SOPS 34209941 HAS SOUS 30943877 HAS SOUPS 30450018 WITH SCORE 3.049538568E7
AT ITER 1336 NEW BEST:: SOT 69401144 SOS 45367680 HAS SOPS 34208482 HAS SOUS 30940961 HAS SOUPS 30447102 WITH SCORE 3.049246968E7
AT ITER 1339 NEW BEST:: SOT 69401571 SOS 45368533 HAS SOPS 34206417 HAS SOUS 30941977 HAS SOUPS 30445038 WITH SCORE 3.0490406533E7
AT ITER 1341 NEW BEST:: SOT 69401571 SOS 45368533 HAS SOPS 34206417 HAS SOUS 30940718 HAS SOUPS 30443779 WITH SCORE 3.0489147533E7
AT ITER 1343 NEW BEST:: SOT 69401571 SOS 45368533 HAS SOPS 34206416 HAS SOUS 30939527 HAS SOUPS 30442588 WITH SCORE 3.0487956533E7
AT ITER 1345 NEW BEST:: SOT 69401599 SOS 45446261 HAS SOPS 34205145 HAS SOUS 30939877 HAS SOUPS 30441317 WITH SCORE 3.0486763261E7
AT ITER 1371 NEW BEST:: SOT 69401953 SOS 45446968 HAS SOPS 34203067 HAS SOUS 30939103 HAS SOUPS 30439240 WITH SCORE 3.0484686968E7
AT ITER 1372 NEW BEST:: SOT 69402734 SOS 45447749 HAS SOPS 34202467 HAS SOUS 30939214 HAS SOUPS 30438640 WITH SCORE 3.0484087749E7
AT ITER 1384 NEW BEST:: SOT 69402734 SOS 45447749 HAS SOPS 34202454 HAS SOUS 30939214 HAS SOUPS 30438627 WITH SCORE 3.0484074749E7
AT ITER 1386 NEW BEST:: SOT 69402734 SOS 45447749 HAS SOPS 34200166 HAS SOUS 30934655 HAS SOUPS 30434068 WITH SCORE 3.0479515749E7
AT ITER 1387 NEW BEST:: SOT 69402516 SOS 45447531 HAS SOPS 34199257 HAS SOUS 30933982 HAS SOUPS 30433159 WITH SCORE 3.0478606531E7
AT ITER 1389 NEW BEST:: SOT 69402516 SOS 45447531 HAS SOPS 34198300 HAS SOUS 30933025 HAS SOUPS 30432202 WITH SCORE 3.0477649531E7
AT ITER 1391 NEW BEST:: SOT 69402516 SOS 45447531 HAS SOPS 34198299 HAS SOUS 30931804 HAS SOUPS 30430981 WITH SCORE 3.0476428531E7
AT ITER 1397 NEW BEST:: SOT 69402544 SOS 45447874 HAS SOPS 34195815 HAS SOUS 30929321 HAS SOUPS 30428498 WITH SCORE 3.0473945874E7
AT ITER 1398 NEW BEST:: SOT 69402544 SOS 45447874 HAS SOPS 34191918 HAS SOUS 30925634 HAS SOUPS 30424602 WITH SCORE 3.0470049874E7
AT ITER 1399 NEW BEST:: SOT 69402544 SOS 45447874 HAS SOPS 34190994 HAS SOUS 30922207 HAS SOUPS 30421175 WITH SCORE 3.0466622874E7
AT ITER 1401 NEW BEST:: SOT 69402544 SOS 45447874 HAS SOPS 34188692 HAS SOUS 30918078 HAS SOUPS 30416326 WITH SCORE 3.0461773874E7
AT ITER 1403 NEW BEST:: SOT 69402544 SOS 45447874 HAS SOPS 34186256 HAS SOUS 30913155 HAS SOUPS 30411403 WITH SCORE 3.0456850874E7
AT ITER 1404 NEW BEST:: SOT 69403029 SOS 45448724 HAS SOPS 34186116 HAS SOUS 30913087 HAS SOUPS 30411263 WITH SCORE 3.0456711724E7
AT ITER 1405 NEW BEST:: SOT 69403029 SOS 45448724 HAS SOPS 34182413 HAS SOUS 30909384 HAS SOUPS 30407560 WITH SCORE 3.0453008724E7
AT ITER 1406 NEW BEST:: SOT 69402817 SOS 45448512 HAS SOPS 34181084 HAS SOUS 30907138 HAS SOUPS 30405314 WITH SCORE 3.0450762512E7
AT ITER 1409 NEW BEST:: SOT 69402817 SOS 45448512 HAS SOPS 34181064 HAS SOUS 30905619 HAS SOUPS 30403795 WITH SCORE 3.0449243512E7
AT ITER 1413 NEW BEST:: SOT 69403450 SOS 45449777 HAS SOPS 34179181 HAS SOUS 30903737 HAS SOUPS 30401913 WITH SCORE 3.0447362777E7
AT ITER 1421 NEW BEST:: SOT 69402717 SOS 45449044 HAS SOPS 34177957 HAS SOUS 30902860 HAS SOUPS 30400689 WITH SCORE 3.0446138044E7
AT ITER 1423 NEW BEST:: SOT 69402002 SOS 45448329 HAS SOPS 34177617 HAS SOUS 30902521 HAS SOUPS 30400350 WITH SCORE 3.0445798329E7
AT ITER 1429 NEW BEST:: SOT 69402002 SOS 45448329 HAS SOPS 34175157 HAS SOUS 30897669 HAS SOUPS 30395498 WITH SCORE 3.0440946329E7
AT ITER 1430 NEW BEST:: SOT 69402062 SOS 45448448 HAS SOPS 34172719 HAS SOUS 30895232 HAS SOUPS 30393061 WITH SCORE 3.0438509448E7
AT ITER 1441 NEW BEST:: SOT 69402515 SOS 45448901 HAS SOPS 34172562 HAS SOUS 30895075 HAS SOUPS 30392904 WITH SCORE 3.0438352901E7
AT ITER 1443 NEW BEST:: SOT 69402515 SOS 45448901 HAS SOPS 34171814 HAS SOUS 30893279 HAS SOUPS 30391108 WITH SCORE 3.0436556901E7
AT ITER 1445 NEW BEST:: SOT 69402515 SOS 45448901 HAS SOPS 34170840 HAS SOUS 30892917 HAS SOUPS 30390134 WITH SCORE 3.0435582901E7
AT ITER 1451 NEW BEST:: SOT 69402520 SOS 45382828 HAS SOPS 34097914 HAS SOUS 30885463 HAS SOUPS 30382680 WITH SCORE 3.0428062828E7
AT ITER 1460 NEW BEST:: SOT 69404165 SOS 45385970 HAS SOPS 34097319 HAS SOUS 30884869 HAS SOUPS 30382086 WITH SCORE 3.042747197E7
AT ITER 1469 NEW BEST:: SOT 69404165 SOS 45385970 HAS SOPS 34097176 HAS SOUS 30883934 HAS SOUPS 30381151 WITH SCORE 3.042653697E7
AT ITER 1478 NEW BEST:: SOT 69404273 SOS 45386185 HAS SOPS 34096438 HAS SOUS 30883197 HAS SOUPS 30380414 WITH SCORE 3.0425800185E7
AT ITER 1484 NEW BEST:: SOT 69404511 SOS 45388021 HAS SOPS 34098117 HAS SOUS 30881779 HAS SOUPS 30378996 WITH SCORE 3.0424384021E7
AT ITER 1489 NEW BEST:: SOT 69402942 SOS 45386452 HAS SOPS 34096548 HAS SOUS 30880210 HAS SOUPS 30377427 WITH SCORE 3.0422813452E7
AT ITER 1495 NEW BEST:: SOT 69402379 SOS 45385889 HAS SOPS 34095122 HAS SOUS 30878784 HAS SOUPS 30376001 WITH SCORE 3.0421386889E7
AT ITER 1498 NEW BEST:: SOT 69401970 SOS 45385480 HAS SOPS 34093894 HAS SOUS 30877557 HAS SOUPS 30374365 WITH SCORE 3.041975048E7
AT ITER 1500 NEW BEST:: SOT 69401970 SOS 45385480 HAS SOPS 34093658 HAS SOUS 30875174 HAS SOUPS 30371982 WITH SCORE 3.041736748E7
AT ITER 1501 NEW BEST:: SOT 69401970 SOS 45385480 HAS SOPS 34092067 HAS SOUS 30871112 HAS SOUPS 30367920 WITH SCORE 3.041330548E7
AT ITER 1507 NEW BEST:: SOT 69401970 SOS 45385480 HAS SOPS 34093013 HAS SOUS 30870659 HAS SOUPS 30367467 WITH SCORE 3.041285248E7
AT ITER 1511 NEW BEST:: SOT 69401970 SOS 45385480 HAS SOPS 34091118 HAS SOUS 30866871 HAS SOUPS 30363679 WITH SCORE 3.040906448E7
AT ITER 1514 NEW BEST:: SOT 69401970 SOS 45385480 HAS SOPS 34090505 HAS SOUS 30864113 HAS SOUPS 30360921 WITH SCORE 3.040630648E7
AT ITER 1523 NEW BEST:: SOT 69401970 SOS 45385480 HAS SOPS 34090485 HAS SOUS 30861678 HAS SOUPS 30358486 WITH SCORE 3.040387148E7
AT ITER 1527 NEW BEST:: SOT 69401925 SOS 45385435 HAS SOPS 34090394 HAS SOUS 30861588 HAS SOUPS 30358396 WITH SCORE 3.0403781435E7
AT ITER 1528 NEW BEST:: SOT 69401875 SOS 45385574 HAS SOPS 34088312 HAS SOUS 30860833 HAS SOUPS 30356315 WITH SCORE 3.0401700574E7
AT ITER 1529 NEW BEST:: SOT 69401875 SOS 45385574 HAS SOPS 34086000 HAS SOUS 30856211 HAS SOUPS 30351693 WITH SCORE 3.0397078574E7
AT ITER 1532 NEW BEST:: SOT 69401875 SOS 45385574 HAS SOPS 34082906 HAS SOUS 30851865 HAS SOUPS 30347347 WITH SCORE 3.0392732574E7
AT ITER 1533 NEW BEST:: SOT 69401875 SOS 45385574 HAS SOPS 34083393 HAS SOUS 30849848 HAS SOUPS 30345330 WITH SCORE 3.0390715574E7
AT ITER 1535 NEW BEST:: SOT 69401942 SOS 45385641 HAS SOPS 34083291 HAS SOUS 30849797 HAS SOUPS 30345228 WITH SCORE 3.0390613641E7
AT ITER 1538 NEW BEST:: SOT 69401820 SOS 45385519 HAS SOPS 34081921 HAS SOUS 30848591 HAS SOUPS 30342699 WITH SCORE 3.0388084519E7
AT ITER 1539 NEW BEST:: SOT 69402910 SOS 45387698 HAS SOPS 34080515 HAS SOUS 30847186 HAS SOUPS 30341294 WITH SCORE 3.0386681698E7
AT ITER 1540 NEW BEST:: SOT 69402910 SOS 45387698 HAS SOPS 34080903 HAS SOUS 30846793 HAS SOUPS 30340901 WITH SCORE 3.0386288698E7
AT ITER 1543 NEW BEST:: SOT 69402910 SOS 45387698 HAS SOPS 34082799 HAS SOUS 30846428 HAS SOUPS 30340536 WITH SCORE 3.0385923698E7
AT ITER 1544 NEW BEST:: SOT 69402093 SOS 45386881 HAS SOPS 34079928 HAS SOUS 30842923 HAS SOUPS 30336430 WITH SCORE 3.0381816881E7
AT ITER 1546 NEW BEST:: SOT 69402093 SOS 45386881 HAS SOPS 34077852 HAS SOUS 30838334 HAS SOUPS 30331841 WITH SCORE 3.0377227881E7
AT ITER 1548 NEW BEST:: SOT 69402093 SOS 45386881 HAS SOPS 34076349 HAS SOUS 30836281 HAS SOUPS 30329788 WITH SCORE 3.0375174881E7
AT ITER 1551 NEW BEST:: SOT 69402093 SOS 45386881 HAS SOPS 34074451 HAS SOUS 30831929 HAS SOUPS 30325436 WITH SCORE 3.0370822881E7
AT ITER 1555 NEW BEST:: SOT 69402093 SOS 45386881 HAS SOPS 34072748 HAS SOUS 30830255 HAS SOUPS 30323732 WITH SCORE 3.0369118881E7
AT ITER 1561 NEW BEST:: SOT 69400922 SOS 45385710 HAS SOPS 34070686 HAS SOUS 30827764 HAS SOUPS 30321241 WITH SCORE 3.036662671E7
AT ITER 1564 NEW BEST:: SOT 69400922 SOS 45385710 HAS SOPS 34068696 HAS SOUS 30825775 HAS SOUPS 30319252 WITH SCORE 3.036463771E7
AT ITER 1572 NEW BEST:: SOT 69400302 SOS 45385090 HAS SOPS 34067455 HAS SOUS 30822986 HAS SOUPS 30315805 WITH SCORE 3.036119009E7
AT ITER 1583 NEW BEST:: SOT 66890575 SOS 56845465 HAS SOPS 31554578 HAS SOUS 28323913 HAS SOUPS 27808836 WITH SCORE 2.7865681465E7
AT ITER 1593 NEW BEST:: SOT 66888183 SOS 56843073 HAS SOPS 31549794 HAS SOUS 28319266 HAS SOUPS 27802856 WITH SCORE 2.7859699073E7
AT ITER 1600 NEW BEST:: SOT 66886762 SOS 56841652 HAS SOPS 31542355 HAS SOUS 28316762 HAS SOUPS 27795418 WITH SCORE 2.7852259652E7
AT ITER 1605 NEW BEST:: SOT 66885006 SOS 56774924 HAS SOPS 31477383 HAS SOUS 28313250 HAS SOUPS 27791906 WITH SCORE 2.7848680924E7
AT ITER 1608 NEW BEST:: SOT 66884898 SOS 56774816 HAS SOPS 31477167 HAS SOUS 28313035 HAS SOUPS 27791691 WITH SCORE 2.7848465816E7
AT ITER 1614 NEW BEST:: SOT 66882881 SOS 56772799 HAS SOPS 31473251 HAS SOUS 28309119 HAS SOUPS 27787775 WITH SCORE 2.7844547799E7
AT ITER 1619 NEW BEST:: SOT 66881688 SOS 56771606 HAS SOPS 31470864 HAS SOUS 28305540 HAS SOUPS 27784196 WITH SCORE 2.7840967606E7
AT ITER 1620 NEW BEST:: SOT 66880304 SOS 56770222 HAS SOPS 31468095 HAS SOUS 28302362 HAS SOUPS 27780044 WITH SCORE 2.7836814222E7
AT ITER 1622 NEW BEST:: SOT 66880585 SOS 56770503 HAS SOPS 31468656 HAS SOUS 28301218 HAS SOUPS 27778900 WITH SCORE 2.7835670503E7
AT ITER 1626 NEW BEST:: SOT 66880059 SOS 56769977 HAS SOPS 31469686 HAS SOUS 28300692 HAS SOUPS 27778374 WITH SCORE 2.7835143977E7
AT ITER 1627 NEW BEST:: SOT 66878832 SOS 56768750 HAS SOPS 31467231 HAS SOUS 28295789 HAS SOUPS 27773471 WITH SCORE 2.783023975E7
AT ITER 1628 NEW BEST:: SOT 66878573 SOS 56768491 HAS SOPS 31466713 HAS SOUS 28295013 HAS SOUPS 27772695 WITH SCORE 2.7829463491E7
AT ITER 1631 NEW BEST:: SOT 66877971 SOS 56767889 HAS SOPS 31466111 HAS SOUS 28294411 HAS SOUPS 27772093 WITH SCORE 2.7828860889E7
AT ITER 1638 NEW BEST:: SOT 66876064 SOS 56765982 HAS SOPS 31461954 HAS SOUS 28291375 HAS SOUPS 27767937 WITH SCORE 2.7824702982E7
AT ITER 1641 NEW BEST:: SOT 66876064 SOS 56765982 HAS SOPS 31460589 HAS SOUS 28290020 HAS SOUPS 27766572 WITH SCORE 2.7823337982E7
AT ITER 1650 NEW BEST:: SOT 66876019 SOS 56765937 HAS SOPS 31460543 HAS SOUS 28288722 HAS SOUPS 27765274 WITH SCORE 2.7822039937E7
AT ITER 1654 NEW BEST:: SOT 66874061 SOS 56763979 HAS SOPS 31456149 HAS SOUS 28284504 HAS SOUPS 27760881 WITH SCORE 2.7817644979E7
AT ITER 1658 NEW BEST:: SOT 66872429 SOS 56762347 HAS SOPS 31452884 HAS SOUS 28278778 HAS SOUPS 27755155 WITH SCORE 2.7811917347E7
AT ITER 1661 NEW BEST:: SOT 66871316 SOS 56761234 HAS SOPS 31450003 HAS SOUS 28275898 HAS SOUPS 27752275 WITH SCORE 2.7809036234E7
AT ITER 1663 NEW BEST:: SOT 66871020 SOS 56760938 HAS SOPS 31449410 HAS SOUS 28275010 HAS SOUPS 27751387 WITH SCORE 2.7808147938E7
AT ITER 1675 NEW BEST:: SOT 66869026 SOS 56758944 HAS SOPS 31443427 HAS SOUS 28269028 HAS SOUPS 27745405 WITH SCORE 2.7802163944E7
AT ITER 1680 NEW BEST:: SOT 66868721 SOS 56758639 HAS SOPS 31442817 HAS SOUS 28268418 HAS SOUPS 27744795 WITH SCORE 2.7801553639E7
AT ITER 1685 NEW BEST:: SOT 66868721 SOS 56758639 HAS SOPS 31442817 HAS SOUS 28267589 HAS SOUPS 27743966 WITH SCORE 2.7800724639E7
AT ITER 1693 NEW BEST:: SOT 66866724 SOS 56756642 HAS SOPS 31438822 HAS SOUS 28261598 HAS SOUPS 27737975 WITH SCORE 2.7794731642E7
AT ITER 1699 NEW BEST:: SOT 66867311 SOS 56757229 HAS SOPS 31438232 HAS SOUS 28261009 HAS SOUPS 27737386 WITH SCORE 2.7794143229E7
AT ITER 1707 NEW BEST:: SOT 66866318 SOS 56756236 HAS SOPS 31435253 HAS SOUS 28258031 HAS SOUPS 27734408 WITH SCORE 2.7791164236E7
AT ITER 1710 NEW BEST:: SOT 66865960 SOS 56755878 HAS SOPS 31434537 HAS SOUS 28257315 HAS SOUPS 27733692 WITH SCORE 2.7790447878E7
AT ITER 1722 NEW BEST:: SOT 66865033 SOS 56754951 HAS SOPS 31431742 HAS SOUS 28254521 HAS SOUPS 27730898 WITH SCORE 2.7787652951E7
AT ITER 1730 NEW BEST:: SOT 66864623 SOS 56754541 HAS SOPS 31431331 HAS SOUS 28254038 HAS SOUPS 27730077 WITH SCORE 2.7786831541E7
AT ITER 1733 NEW BEST:: SOT 66865397 SOS 56755315 HAS SOPS 31427331 HAS SOUS 28250054 HAS SOUPS 27726079 WITH SCORE 2.7782834315E7
AT ITER 1737 NEW BEST:: SOT 66865397 SOS 56755315 HAS SOPS 31425071 HAS SOUS 28247705 HAS SOUPS 27723730 WITH SCORE 2.7780485315E7
AT ITER 1740 NEW BEST:: SOT 66865397 SOS 56755315 HAS SOPS 31424515 HAS SOUS 28247150 HAS SOUPS 27723175 WITH SCORE 2.7779930315E7
AT ITER 1742 NEW BEST:: SOT 66864460 SOS 56754378 HAS SOPS 31421817 HAS SOUS 28244453 HAS SOUPS 27720478 WITH SCORE 2.7777232378E7
AT ITER 1743 NEW BEST:: SOT 66862926 SOS 56752844 HAS SOPS 31417811 HAS SOUS 28240448 HAS SOUPS 27716473 WITH SCORE 2.7773225844E7
AT ITER 1746 NEW BEST:: SOT 66862926 SOS 56752844 HAS SOPS 31417570 HAS SOUS 28240207 HAS SOUPS 27716232 WITH SCORE 2.7772984844E7
AT ITER 1751 NEW BEST:: SOT 66862221 SOS 56752139 HAS SOPS 31416159 HAS SOUS 28237467 HAS SOUPS 27713492 WITH SCORE 2.7770244139E7
AT ITER 1752 NEW BEST:: SOT 66864400 SOS 56754318 HAS SOPS 31417892 HAS SOUS 28237313 HAS SOUPS 27713047 WITH SCORE 2.7769801318E7
AT ITER 1754 NEW BEST:: SOT 66862527 SOS 56752445 HAS SOPS 31414145 HAS SOUS 28233277 HAS SOUPS 27709011 WITH SCORE 2.7765763445E7
AT ITER 1769 NEW BEST:: SOT 66860440 SOS 56750358 HAS SOPS 31408238 HAS SOUS 28227016 HAS SOUPS 27702750 WITH SCORE 2.7759500358E7
AT ITER 1774 NEW BEST:: SOT 66860440 SOS 56750358 HAS SOPS 31407872 HAS SOUS 28226650 HAS SOUPS 27702384 WITH SCORE 2.7759134358E7
AT ITER 1775 NEW BEST:: SOT 66859274 SOS 56749192 HAS SOPS 31405540 HAS SOUS 28222878 HAS SOUPS 27698612 WITH SCORE 2.7755361192E7
AT ITER 1781 NEW BEST:: SOT 66858662 SOS 56674088 HAS SOPS 31315915 HAS SOUS 28202502 HAS SOUPS 27678236 WITH SCORE 2.7734910088E7
AT ITER 1785 NEW BEST:: SOT 66859637 SOS 56675063 HAS SOPS 31317864 HAS SOUS 28201979 HAS SOUPS 27677713 WITH SCORE 2.7734388063E7
AT ITER 1792 NEW BEST:: SOT 66858096 SOS 56673522 HAS SOPS 31314782 HAS SOUS 28198898 HAS SOUPS 27674632 WITH SCORE 2.7731305522E7
AT ITER 1795 NEW BEST:: SOT 66856926 SOS 56672352 HAS SOPS 31312441 HAS SOUS 28196558 HAS SOUPS 27671676 WITH SCORE 2.7728348352E7
AT ITER 1799 NEW BEST:: SOT 66855160 SOS 56670586 HAS SOPS 31308908 HAS SOUS 28192674 HAS SOUPS 27667193 WITH SCORE 2.7723863586E7
AT ITER 1804 NEW BEST:: SOT 66856082 SOS 56671508 HAS SOPS 31310751 HAS SOUS 28191346 HAS SOUPS 27666576 WITH SCORE 2.7723247508E7
AT ITER 1807 NEW BEST:: SOT 66856082 SOS 56671508 HAS SOPS 31310751 HAS SOUS 28190604 HAS SOUPS 27665834 WITH SCORE 2.7722505508E7
AT ITER 1808 NEW BEST:: SOT 66854316 SOS 56669742 HAS SOPS 31307218 HAS SOUS 28186023 HAS SOUPS 27661253 WITH SCORE 2.7717922742E7
AT ITER 1810 NEW BEST:: SOT 66854316 SOS 56669742 HAS SOPS 31306204 HAS SOUS 28185263 HAS SOUPS 27660239 WITH SCORE 2.7716908742E7
AT ITER 1811 NEW BEST:: SOT 66853480 SOS 56668906 HAS SOPS 31303133 HAS SOUS 28179959 HAS SOUPS 27654935 WITH SCORE 2.7711603906E7
AT ITER 1824 NEW BEST:: SOT 66853480 SOS 56668906 HAS SOPS 31303132 HAS SOUS 28176755 HAS SOUPS 27652626 WITH SCORE 2.7709294906E7
AT ITER 1834 NEW BEST:: SOT 66797079 SOS 56614558 HAS SOPS 31260132 HAS SOUS 28122808 HAS SOUPS 27609626 WITH SCORE 2.7666240558E7
AT ITER 1835 NEW BEST:: SOT 66795237 SOS 56612716 HAS SOPS 31251941 HAS SOUS 28115992 HAS SOUPS 27602686 WITH SCORE 2.7659298716E7
AT ITER 1836 NEW BEST:: SOT 66796199 SOS 56614727 HAS SOPS 31251877 HAS SOUS 28117509 HAS SOUPS 27602622 WITH SCORE 2.7659236727E7
AT ITER 1838 NEW BEST:: SOT 66796195 SOS 56614723 HAS SOPS 31254917 HAS SOUS 28117505 HAS SOUPS 27602618 WITH SCORE 2.7659232723E7
AT ITER 1839 NEW BEST:: SOT 66793013 SOS 56611541 HAS SOPS 31248552 HAS SOUS 28109652 HAS SOUPS 27593892 WITH SCORE 2.7650503541E7
AT ITER 1840 NEW BEST:: SOT 66791527 SOS 56610055 HAS SOPS 31244564 HAS SOUS 28105665 HAS SOUPS 27589905 WITH SCORE 2.7646515055E7
AT ITER 1843 NEW BEST:: SOT 66791406 SOS 56609934 HAS SOPS 31244443 HAS SOUS 28105544 HAS SOUPS 27589784 WITH SCORE 2.7646393934E7
AT ITER 1849 NEW BEST:: SOT 66791406 SOS 56609934 HAS SOPS 31244439 HAS SOUS 28105775 HAS SOUPS 27589780 WITH SCORE 2.7646389934E7
AT ITER 1855 NEW BEST:: SOT 66791811 SOS 56610339 HAS SOPS 31243160 HAS SOUS 28102814 HAS SOUPS 27586819 WITH SCORE 2.7643429339E7
AT ITER 1859 NEW BEST:: SOT 66791678 SOS 56610206 HAS SOPS 31242893 HAS SOUS 28102412 HAS SOUPS 27586417 WITH SCORE 2.7643027206E7
AT ITER 1866 NEW BEST:: SOT 66791318 SOS 56609846 HAS SOPS 31240139 HAS SOUS 28097266 HAS SOUPS 27581271 WITH SCORE 2.7637880846E7
AT ITER 1869 NEW BEST:: SOT 66791318 SOS 56609846 HAS SOPS 31239591 HAS SOUS 28096718 HAS SOUPS 27580723 WITH SCORE 2.7637332846E7
AT ITER 1871 NEW BEST:: SOT 66791318 SOS 56609846 HAS SOPS 31238419 HAS SOUS 28093151 HAS SOUPS 27577156 WITH SCORE 2.7633765846E7
AT ITER 1876 NEW BEST:: SOT 66790609 SOS 56609137 HAS SOPS 31236614 HAS SOUS 28092055 HAS SOUPS 27575351 WITH SCORE 2.7631960137E7
AT ITER 1878 NEW BEST:: SOT 66789358 SOS 56607886 HAS SOPS 31234112 HAS SOUS 28089553 HAS SOUPS 27572849 WITH SCORE 2.7629456886E7
AT ITER 1880 NEW BEST:: SOT 66787685 SOS 56606213 HAS SOPS 31230010 HAS SOUS 28085452 HAS SOUPS 27568748 WITH SCORE 2.7625354213E7
AT ITER 1887 NEW BEST:: SOT 66786988 SOS 56605516 HAS SOPS 31228615 HAS SOUS 28081616 HAS SOUPS 27564912 WITH SCORE 2.7621517516E7
AT ITER 1889 NEW BEST:: SOT 66786933 SOS 56605461 HAS SOPS 31227590 HAS SOUS 28080592 HAS SOUPS 27563888 WITH SCORE 2.7620493461E7
AT ITER 1891 NEW BEST:: SOT 66785807 SOS 56604335 HAS SOPS 31225322 HAS SOUS 28078325 HAS SOUPS 27561621 WITH SCORE 2.7618225335E7
AT ITER 1892 NEW BEST:: SOT 66785467 SOS 56603995 HAS SOPS 31224959 HAS SOUS 28077962 HAS SOUPS 27561258 WITH SCORE 2.7617861995E7
AT ITER 1906 NEW BEST:: SOT 66783339 SOS 56601867 HAS SOPS 31220353 HAS SOUS 28073357 HAS SOUPS 27556653 WITH SCORE 2.7613254867E7
AT ITER 1908 NEW BEST:: SOT 66783339 SOS 56601867 HAS SOPS 31220352 HAS SOUS 28071060 HAS SOUPS 27554356 WITH SCORE 2.7610957867E7
AT ITER 1914 NEW BEST:: SOT 66783982 SOS 56602510 HAS SOPS 31221637 HAS SOUS 28069843 HAS SOUPS 27553139 WITH SCORE 2.760974151E7
AT ITER 1915 NEW BEST:: SOT 66783333 SOS 56601861 HAS SOPS 31220389 HAS SOUS 28068596 HAS SOUPS 27551892 WITH SCORE 2.7608493861E7
AT ITER 1918 NEW BEST:: SOT 66783325 SOS 56609405 HAS SOPS 31220253 HAS SOUS 28068606 HAS SOUPS 27551756 WITH SCORE 2.7608365405E7
AT ITER 1926 NEW BEST:: SOT 66779011 SOS 56605091 HAS SOPS 31211299 HAS SOUS 28064034 HAS SOUPS 27546679 WITH SCORE 2.7603284091E7
AT ITER 1928 NEW BEST:: SOT 66826991 SOS 56576762 HAS SOPS 31124314 HAS SOUS 28049177 HAS SOUPS 27528785 WITH SCORE 2.7585361762E7
AT ITER 1934 NEW BEST:: SOT 66827881 SOS 56577652 HAS SOPS 31124144 HAS SOUS 28050067 HAS SOUPS 27528615 WITH SCORE 2.7585192652E7
AT ITER 1935 NEW BEST:: SOT 66827534 SOS 56577305 HAS SOPS 31124891 HAS SOUS 28049492 HAS SOUPS 27528040 WITH SCORE 2.7584617305E7
AT ITER 1942 NEW BEST:: SOT 66827310 SOS 56577081 HAS SOPS 31124443 HAS SOUS 28049132 HAS SOUPS 27527592 WITH SCORE 2.7584169081E7
AT ITER 1945 NEW BEST:: SOT 66827596 SOS 56577367 HAS SOPS 31123163 HAS SOUS 28047238 HAS SOUPS 27525698 WITH SCORE 2.7582275367E7
AT ITER 1951 NEW BEST:: SOT 66826625 SOS 56576396 HAS SOPS 31121220 HAS SOUS 28045296 HAS SOUPS 27523756 WITH SCORE 2.7580332396E7
AT ITER 1954 NEW BEST:: SOT 66828114 SOS 56577885 HAS SOPS 31119731 HAS SOUS 28045385 HAS SOUPS 27522267 WITH SCORE 2.7578844885E7
AT ITER 1955 NEW BEST:: SOT 66827840 SOS 56577611 HAS SOPS 31118593 HAS SOUS 28044247 HAS SOUPS 27521129 WITH SCORE 2.7577706611E7
AT ITER 1956 NEW BEST:: SOT 66825553 SOS 56575324 HAS SOPS 31114018 HAS SOUS 28037386 HAS SOUPS 27514268 WITH SCORE 2.7570843324E7
AT ITER 1962 NEW BEST:: SOT 66825553 SOS 56575324 HAS SOPS 31113649 HAS SOUS 28037017 HAS SOUPS 27513899 WITH SCORE 2.7570474324E7
AT ITER 1964 NEW BEST:: SOT 66824536 SOS 56574307 HAS SOPS 31111615 HAS SOUS 28034983 HAS SOUPS 27511865 WITH SCORE 2.7568439307E7
AT ITER 1980 NEW BEST:: SOT 66822062 SOS 56571833 HAS SOPS 31106653 HAS SOUS 28030022 HAS SOUPS 27506904 WITH SCORE 2.7563475833E7
AT ITER 1988 NEW BEST:: SOT 66822400 SOS 56572171 HAS SOPS 31106070 HAS SOUS 28029440 HAS SOUPS 27506322 WITH SCORE 2.7562894171E7
AT ITER 1991 NEW BEST:: SOT 66820040 SOS 56569811 HAS SOPS 31101349 HAS SOUS 28022360 HAS SOUPS 27499242 WITH SCORE 2.7555811811E7
AT ITER 1993 NEW BEST:: SOT 66820761 SOS 56570532 HAS SOPS 31101269 HAS SOUS 28023081 HAS SOUPS 27499162 WITH SCORE 2.7555732532E7
AT ITER 2001 NEW BEST:: SOT 66819650 SOS 56569421 HAS SOPS 31099047 HAS SOUS 28020859 HAS SOUPS 27496940 WITH SCORE 2.7553509421E7
AT ITER 2002 NEW BEST:: SOT 66820443 SOS 56570214 HAS SOPS 31100632 HAS SOUS 28019950 HAS SOUPS 27496031 WITH SCORE 2.7552601214E7
AT ITER 2004 NEW BEST:: SOT 66820019 SOS 56569790 HAS SOPS 31099784 HAS SOUS 28019143 HAS SOUPS 27495183 WITH SCORE 2.755175279E7
AT ITER 2009 NEW BEST:: SOT 66820019 SOS 56569790 HAS SOPS 31099460 HAS SOUS 28019353 HAS SOUPS 27494859 WITH SCORE 2.755142879E7
AT ITER 2013 NEW BEST:: SOT 66820015 SOS 56569786 HAS SOPS 31101014 HAS SOUS 28019349 HAS SOUPS 27494855 WITH SCORE 2.7551424786E7
AT ITER 2018 NEW BEST:: SOT 66818229 SOS 56568000 HAS SOPS 31097441 HAS SOUS 28015593 HAS SOUPS 27491099 WITH SCORE 2.7547667E7
AT ITER 2020 NEW BEST:: SOT 66817831 SOS 56567602 HAS SOPS 31097043 HAS SOUS 28015195 HAS SOUPS 27490701 WITH SCORE 2.7547268602E7
AT ITER 2021 NEW BEST:: SOT 66818253 SOS 56568241 HAS SOPS 31096437 HAS SOUS 28014589 HAS SOUPS 27490095 WITH SCORE 2.7546663241E7
AT ITER 2026 NEW BEST:: SOT 66817407 SOS 56567395 HAS SOPS 31094744 HAS SOUS 28011732 HAS SOUPS 27487238 WITH SCORE 2.7543805395E7
AT ITER 2032 NEW BEST:: SOT 66817407 SOS 56567395 HAS SOPS 31093065 HAS SOUS 28010992 HAS SOUPS 27485559 WITH SCORE 2.7542126395E7
AT ITER 2035 NEW BEST:: SOT 66815268 SOS 56565256 HAS SOPS 31088430 HAS SOUS 28006358 HAS SOUPS 27480925 WITH SCORE 2.7537490256E7
AT ITER 2043 NEW BEST:: SOT 66815308 SOS 56565296 HAS SOPS 31086493 HAS SOUS 28005033 HAS SOUPS 27478988 WITH SCORE 2.7535553296E7
AT ITER 2044 NEW BEST:: SOT 66813681 SOS 56563669 HAS SOPS 31082372 HAS SOUS 28003141 HAS SOUPS 27477096 WITH SCORE 2.7533659669E7
AT ITER 2047 NEW BEST:: SOT 66811861 SOS 56561849 HAS SOPS 31077504 HAS SOUS 27997049 HAS SOUPS 27471004 WITH SCORE 2.7527565849E7
AT ITER 2052 NEW BEST:: SOT 66811020 SOS 56561008 HAS SOPS 31074209 HAS SOUS 27994490 HAS SOUPS 27467710 WITH SCORE 2.7524271008E7
AT ITER 2053 NEW BEST:: SOT 66812224 SOS 56562212 HAS SOPS 31074201 HAS SOUS 27994481 HAS SOUPS 27467701 WITH SCORE 2.7524263212E7
AT ITER 2059 NEW BEST:: SOT 66812224 SOS 56562212 HAS SOPS 31073371 HAS SOUS 27993651 HAS SOUPS 27466871 WITH SCORE 2.7523433212E7
AT ITER 2060 NEW BEST:: SOT 66812224 SOS 56562803 HAS SOPS 31073006 HAS SOUS 27993286 HAS SOUPS 27466506 WITH SCORE 2.7523068803E7
AT ITER 2066 NEW BEST:: SOT 66812579 SOS 56563158 HAS SOPS 31068162 HAS SOUS 27990706 HAS SOUPS 27463926 WITH SCORE 2.7520489158E7
AT ITER 2072 NEW BEST:: SOT 66810984 SOS 56561563 HAS SOPS 31064971 HAS SOUS 27985921 HAS SOUPS 27459141 WITH SCORE 2.7515702563E7
AT ITER 2073 NEW BEST:: SOT 66810984 SOS 56561563 HAS SOPS 31064166 HAS SOUS 27985116 HAS SOUPS 27458336 WITH SCORE 2.7514897563E7
AT ITER 2079 NEW BEST:: SOT 66808923 SOS 56559502 HAS SOPS 31058164 HAS SOUS 27980994 HAS SOUPS 27454214 WITH SCORE 2.7510773502E7
AT ITER 2098 NEW BEST:: SOT 66807298 SOS 56557877 HAS SOPS 31054027 HAS SOUS 27976858 HAS SOUPS 27450078 WITH SCORE 2.7506635877E7
AT ITER 2100 NEW BEST:: SOT 66807298 SOS 56557877 HAS SOPS 31054026 HAS SOUS 27975358 HAS SOUPS 27448578 WITH SCORE 2.7505135877E7
AT ITER 2101 NEW BEST:: SOT 66807298 SOS 56557877 HAS SOPS 31054025 HAS SOUS 27974756 HAS SOUPS 27447976 WITH SCORE 2.7504533877E7
AT ITER 2106 NEW BEST:: SOT 66805593 SOS 56556172 HAS SOPS 31051658 HAS SOUS 27971779 HAS SOUPS 27444999 WITH SCORE 2.7501555172E7
AT ITER 2111 NEW BEST:: SOT 66804722 SOS 56555301 HAS SOPS 31049916 HAS SOUS 27967571 HAS SOUPS 27440791 WITH SCORE 2.7497346301E7
AT ITER 2118 NEW BEST:: SOT 66802550 SOS 56553129 HAS SOPS 31045341 HAS SOUS 27964134 HAS SOUPS 27436216 WITH SCORE 2.7492769129E7
AT ITER 2120 NEW BEST:: SOT 66799251 SOS 56549830 HAS SOPS 31038630 HAS SOUS 27957424 HAS SOUPS 27429506 WITH SCORE 2.748605583E7
AT ITER 2132 NEW BEST:: SOT 66797365 SOS 56547944 HAS SOPS 31034857 HAS SOUS 27955538 HAS SOUPS 27427620 WITH SCORE 2.7484167944E7
AT ITER 2135 NEW BEST:: SOT 66794967 SOS 56545546 HAS SOPS 31029967 HAS SOUS 27950649 HAS SOUPS 27422731 WITH SCORE 2.7479276546E7
AT ITER 2136 NEW BEST:: SOT 66794406 SOS 56544985 HAS SOPS 31029028 HAS SOUS 27949710 HAS SOUPS 27421792 WITH SCORE 2.7478336985E7
AT ITER 2143 NEW BEST:: SOT 66794384 SOS 56544963 HAS SOPS 31028984 HAS SOUS 27949666 HAS SOUPS 27421726 WITH SCORE 2.7478270963E7
AT ITER 2149 NEW BEST:: SOT 66794384 SOS 56544963 HAS SOPS 31028557 HAS SOUS 27949401 HAS SOUPS 27421299 WITH SCORE 2.7477843963E7
AT ITER 2152 NEW BEST:: SOT 66793380 SOS 56543959 HAS SOPS 31026271 HAS SOUS 27947489 HAS SOUPS 27419013 WITH SCORE 2.7475556959E7
AT ITER 2153 NEW BEST:: SOT 66792779 SOS 56543358 HAS SOPS 31025990 HAS SOUS 27946287 HAS SOUPS 27417811 WITH SCORE 2.7474354358E7
AT ITER 2154 NEW BEST:: SOT 66792779 SOS 56543358 HAS SOPS 31025989 HAS SOUS 27945506 HAS SOUPS 27417030 WITH SCORE 2.7473573358E7
AT ITER 2156 NEW BEST:: SOT 66789640 SOS 56540219 HAS SOPS 31019710 HAS SOUS 27937642 HAS SOUPS 27408442 WITH SCORE 2.7464982219E7
AT ITER 2170 NEW BEST:: SOT 66789640 SOS 56540219 HAS SOPS 31019709 HAS SOUS 27936798 HAS SOUPS 27407598 WITH SCORE 2.7464138219E7
AT ITER 2172 NEW BEST:: SOT 66789640 SOS 56540219 HAS SOPS 31019708 HAS SOUS 27935496 HAS SOUPS 27406296 WITH SCORE 2.7462836219E7
AT ITER 2182 NEW BEST:: SOT 66788343 SOS 56538922 HAS SOPS 31017113 HAS SOUS 27930430 HAS SOUPS 27401230 WITH SCORE 2.7457768922E7
AT ITER 2183 NEW BEST:: SOT 66786569 SOS 56537148 HAS SOPS 31012863 HAS SOUS 27926181 HAS SOUPS 27396981 WITH SCORE 2.7453518148E7
AT ITER 2186 NEW BEST:: SOT 66786569 SOS 56537148 HAS SOPS 31012169 HAS SOUS 27925487 HAS SOUPS 27396287 WITH SCORE 2.7452824148E7
AT ITER 2195 NEW BEST:: SOT 66785120 SOS 56535699 HAS SOPS 31007743 HAS SOUS 27921062 HAS SOUPS 27391862 WITH SCORE 2.7448397699E7
AT ITER 2197 NEW BEST:: SOT 66782704 SOS 56533283 HAS SOPS 31001960 HAS SOUS 27914817 HAS SOUPS 27385428 WITH SCORE 2.7441961283E7
AT ITER 2199 NEW BEST:: SOT 66780772 SOS 56531351 HAS SOPS 30998095 HAS SOUS 27909974 HAS SOUPS 27380585 WITH SCORE 2.7437116351E7
AT ITER 2203 NEW BEST:: SOT 66780535 SOS 56531114 HAS SOPS 30996998 HAS SOUS 27908877 HAS SOUPS 27379488 WITH SCORE 2.7436019114E7
AT ITER 2209 NEW BEST:: SOT 66780535 SOS 56531114 HAS SOPS 30996998 HAS SOUS 27907399 HAS SOUPS 27378010 WITH SCORE 2.7434541114E7
AT ITER 2213 NEW BEST:: SOT 66780944 SOS 56531523 HAS SOPS 30996982 HAS SOUS 27907384 HAS SOUPS 27377995 WITH SCORE 2.7434526523E7
AT ITER 2217 NEW BEST:: SOT 66780469 SOS 56531048 HAS SOPS 30995403 HAS SOUS 27905806 HAS SOUPS 27376417 WITH SCORE 2.7432948048E7
AT ITER 2223 NEW BEST:: SOT 66778921 SOS 56529500 HAS SOPS 30991361 HAS SOUS 27904258 HAS SOUPS 27374869 WITH SCORE 2.74313985E7
AT ITER 2228 NEW BEST:: SOT 66779792 SOS 56530371 HAS SOPS 30989725 HAS SOUS 27901793 HAS SOUPS 27373234 WITH SCORE 2.7429764371E7
AT ITER 2230 NEW BEST:: SOT 66779822 SOS 56558961 HAS SOPS 30989245 HAS SOUS 27902154 HAS SOUPS 27372754 WITH SCORE 2.7429312961E7
AT ITER 2232 NEW BEST:: SOT 66778053 SOS 56557192 HAS SOPS 30985706 HAS SOUS 27896161 HAS SOUPS 27366761 WITH SCORE 2.7423318192E7
AT ITER 2233 NEW BEST:: SOT 66776124 SOS 56555263 HAS SOPS 30981273 HAS SOUS 27891729 HAS SOUPS 27362329 WITH SCORE 2.7418884263E7
AT ITER 2246 NEW BEST:: SOT 66776124 SOS 56555263 HAS SOPS 30981272 HAS SOUS 27889925 HAS SOUPS 27360525 WITH SCORE 2.7417080263E7
AT ITER 2250 NEW BEST:: SOT 66776032 SOS 56555171 HAS SOPS 30981088 HAS SOUS 27889741 HAS SOUPS 27360341 WITH SCORE 2.7416896171E7
AT ITER 2251 NEW BEST:: SOT 66773558 SOS 56552697 HAS SOPS 30976116 HAS SOUS 27884770 HAS SOUPS 27355370 WITH SCORE 2.7411922697E7
AT ITER 2252 NEW BEST:: SOT 66775360 SOS 56554499 HAS SOPS 30977150 HAS SOUS 27884004 HAS SOUPS 27354604 WITH SCORE 2.7411158499E7
AT ITER 2253 NEW BEST:: SOT 66775360 SOS 56554499 HAS SOPS 30974607 HAS SOUS 27884096 HAS SOUPS 27353715 WITH SCORE 2.7410269499E7
AT ITER 2263 NEW BEST:: SOT 66775795 SOS 56555914 HAS SOPS 30974248 HAS SOUS 27883746 HAS SOUPS 27353356 WITH SCORE 2.7409911914E7
AT ITER 2265 NEW BEST:: SOT 66773932 SOS 56554051 HAS SOPS 30970521 HAS SOUS 27880020 HAS SOUPS 27349630 WITH SCORE 2.7406184051E7
AT ITER 2271 NEW BEST:: SOT 66774734 SOS 56555747 HAS SOPS 30970263 HAS SOUS 27879762 HAS SOUPS 27349372 WITH SCORE 2.7405927747E7
AT ITER 2275 NEW BEST:: SOT 66774655 SOS 56555668 HAS SOPS 30969632 HAS SOUS 27879132 HAS SOUPS 27348742 WITH SCORE 2.7405297668E7
AT ITER 2277 NEW BEST:: SOT 66774560 SOS 56555573 HAS SOPS 30969584 HAS SOUS 27879044 HAS SOUPS 27348694 WITH SCORE 2.7405249573E7
AT ITER 2278 NEW BEST:: SOT 66775029 SOS 56556042 HAS SOPS 30970521 HAS SOUS 27878342 HAS SOUPS 27347992 WITH SCORE 2.7404548042E7
AT ITER 2279 NEW BEST:: SOT 66775500 SOS 56556513 HAS SOPS 30970096 HAS SOUS 27877917 HAS SOUPS 27347567 WITH SCORE 2.7404123513E7
AT ITER 2284 NEW BEST:: SOT 66774023 SOS 56555036 HAS SOPS 30967142 HAS SOUS 27874963 HAS SOUPS 27344613 WITH SCORE 2.7401168036E7
AT ITER 2287 NEW BEST:: SOT 66774023 SOS 56555036 HAS SOPS 30966917 HAS SOUS 27874738 HAS SOUPS 27344388 WITH SCORE 2.7400943036E7
AT ITER 2292 NEW BEST:: SOT 66771994 SOS 56553007 HAS SOPS 30962858 HAS SOUS 27868262 HAS SOUPS 27337912 WITH SCORE 2.7394465007E7
AT ITER 2299 NEW BEST:: SOT 66772252 SOS 56553265 HAS SOPS 30961049 HAS SOUS 27864032 HAS SOUPS 27333682 WITH SCORE 2.7390235265E7
AT ITER 2307 NEW BEST:: SOT 66771191 SOS 56552204 HAS SOPS 30959218 HAS SOUS 27862202 HAS SOUPS 27331852 WITH SCORE 2.7388404204E7
AT ITER 2311 NEW BEST:: SOT 66770894 SOS 56551907 HAS SOPS 30956445 HAS SOUS 27860846 HAS SOUPS 27329286 WITH SCORE 2.7385837907E7
AT ITER 2313 NEW BEST:: SOT 66769349 SOS 56550362 HAS SOPS 30951147 HAS SOUS 27855549 HAS SOUPS 27323989 WITH SCORE 2.7380539362E7
AT ITER 2315 NEW BEST:: SOT 66770400 SOS 56551413 HAS SOPS 30953248 HAS SOUS 27855163 HAS SOUPS 27323603 WITH SCORE 2.7380154413E7
AT ITER 2319 NEW BEST:: SOT 66770396 SOS 56551409 HAS SOPS 30956642 HAS SOUS 27855158 HAS SOUPS 27323598 WITH SCORE 2.7380149409E7
AT ITER 2331 NEW BEST:: SOT 66769307 SOS 56550320 HAS SOPS 30954407 HAS SOUS 27852924 HAS SOUPS 27321364 WITH SCORE 2.737791432E7
AT ITER 2338 NEW BEST:: SOT 66767166 SOS 56548179 HAS SOPS 30950124 HAS SOUS 27846501 HAS SOUPS 27314941 WITH SCORE 2.7371489179E7
AT ITER 2339 NEW BEST:: SOT 66766629 SOS 56547642 HAS SOPS 30949587 HAS SOUS 27845964 HAS SOUPS 27314404 WITH SCORE 2.7370951642E7
AT ITER 2342 NEW BEST:: SOT 66766038 SOS 56547051 HAS SOPS 30946522 HAS SOUS 27842900 HAS SOUPS 27311340 WITH SCORE 2.7367887051E7
AT ITER 2347 NEW BEST:: SOT 66765734 SOS 56546747 HAS SOPS 30945893 HAS SOUS 27842901 HAS SOUPS 27310711 WITH SCORE 2.7367257747E7
AT ITER 2356 NEW BEST:: SOT 66764025 SOS 56545038 HAS SOPS 30942054 HAS SOUS 27839063 HAS SOUPS 27306873 WITH SCORE 2.7363418038E7
AT ITER 2360 NEW BEST:: SOT 66764025 SOS 56545038 HAS SOPS 30941817 HAS SOUS 27838826 HAS SOUPS 27306636 WITH SCORE 2.7363181038E7
AT ITER 2361 NEW BEST:: SOT 66764025 SOS 56545038 HAS SOPS 30941816 HAS SOUS 27838825 HAS SOUPS 27306635 WITH SCORE 2.7363180038E7
AT ITER 2362 NEW BEST:: SOT 66763566 SOS 56521224 HAS SOPS 30918638 HAS SOUS 27837907 HAS SOUPS 27305717 WITH SCORE 2.7362238224E7
AT ITER 2366 NEW BEST:: SOT 66761437 SOS 56519095 HAS SOPS 30914684 HAS SOUS 27833955 HAS SOUPS 27301765 WITH SCORE 2.7358284095E7
AT ITER 2367 NEW BEST:: SOT 66761437 SOS 56519095 HAS SOPS 30914683 HAS SOUS 27833099 HAS SOUPS 27300909 WITH SCORE 2.7357428095E7
AT ITER 2368 NEW BEST:: SOT 66759135 SOS 56516793 HAS SOPS 30909953 HAS SOUS 27828370 HAS SOUPS 27296180 WITH SCORE 2.7352696793E7
AT ITER 2372 NEW BEST:: SOT 66759850 SOS 56517508 HAS SOPS 30909880 HAS SOUS 27828297 HAS SOUPS 27296107 WITH SCORE 2.7352624508E7
AT ITER 2376 NEW BEST:: SOT 66758849 SOS 56516507 HAS SOPS 30907878 HAS SOUS 27824385 HAS SOUPS 27292195 WITH SCORE 2.7348711507E7
AT ITER 2377 NEW BEST:: SOT 66758849 SOS 56516507 HAS SOPS 30907459 HAS SOUS 27823966 HAS SOUPS 27291776 WITH SCORE 2.7348292507E7
AT ITER 2381 NEW BEST:: SOT 66757937 SOS 56515595 HAS SOPS 30905635 HAS SOUS 27819660 HAS SOUPS 27287470 WITH SCORE 2.7343985595E7
AT ITER 2389 NEW BEST:: SOT 66758543 SOS 56516201 HAS SOPS 30906846 HAS SOUS 27819656 HAS SOUPS 27287466 WITH SCORE 2.7343982201E7
AT ITER 2397 NEW BEST:: SOT 66757858 SOS 56515516 HAS SOPS 30905292 HAS SOUS 27818261 HAS SOUPS 27285912 WITH SCORE 2.7342427516E7
AT ITER 2406 NEW BEST:: SOT 66756075 SOS 56513733 HAS SOPS 30901725 HAS SOUS 27813715 HAS SOUPS 27281366 WITH SCORE 2.7337879733E7
AT ITER 2411 NEW BEST:: SOT 66755805 SOS 56513463 HAS SOPS 30901455 HAS SOUS 27813445 HAS SOUPS 27281096 WITH SCORE 2.7337609463E7
AT ITER 2413 NEW BEST:: SOT 66755805 SOS 56513463 HAS SOPS 30901454 HAS SOUS 27812398 HAS SOUPS 27280049 WITH SCORE 2.7336562463E7
AT ITER 2415 NEW BEST:: SOT 66755805 SOS 56513463 HAS SOPS 30899727 HAS SOUS 27810671 HAS SOUPS 27278322 WITH SCORE 2.7334835463E7
AT ITER 2416 NEW BEST:: SOT 66753856 SOS 56511514 HAS SOPS 30895292 HAS SOUS 27806237 HAS SOUPS 27273888 WITH SCORE 2.7330399514E7
AT ITER 2419 NEW BEST:: SOT 66753801 SOS 56511459 HAS SOPS 30895182 HAS SOUS 27805858 HAS SOUPS 27273778 WITH SCORE 2.7330289459E7
AT ITER 2424 NEW BEST:: SOT 66752674 SOS 56510332 HAS SOPS 30893555 HAS SOUS 27804231 HAS SOUPS 27272151 WITH SCORE 2.7328661332E7
AT ITER 2435 NEW BEST:: SOT 66752209 SOS 56509867 HAS SOPS 30893350 HAS SOUS 27804026 HAS SOUPS 27271946 WITH SCORE 2.7328455867E7
AT ITER 2439 NEW BEST:: SOT 66750133 SOS 56507791 HAS SOPS 30890582 HAS SOUS 27799874 HAS SOUPS 27267794 WITH SCORE 2.7324301791E7
AT ITER 2442 NEW BEST:: SOT 66749515 SOS 56507173 HAS SOPS 30889346 HAS SOUS 27796136 HAS SOUPS 27264056 WITH SCORE 2.7320563173E7
AT ITER 2449 NEW BEST:: SOT 66747900 SOS 56505558 HAS SOPS 30885747 HAS SOUS 27792822 HAS SOUPS 27260458 WITH SCORE 2.7316963558E7
AT ITER 2455 NEW BEST:: SOT 66747979 SOS 56505637 HAS SOPS 30885904 HAS SOUS 27790496 HAS SOUPS 27258132 WITH SCORE 2.7314637637E7
AT ITER 2456 NEW BEST:: SOT 66745828 SOS 56503486 HAS SOPS 30881263 HAS SOUS 27785856 HAS SOUPS 27253492 WITH SCORE 2.7309995486E7
AT ITER 2460 NEW BEST:: SOT 66744793 SOS 56502451 HAS SOPS 30877722 HAS SOUS 27782316 HAS SOUPS 27249952 WITH SCORE 2.7306454451E7
AT ITER 2469 NEW BEST:: SOT 66745761 SOS 56503419 HAS SOPS 30879624 HAS SOUS 27782101 HAS SOUPS 27249737 WITH SCORE 2.7306240419E7
AT ITER 2475 NEW BEST:: SOT 66745459 SOS 56503117 HAS SOPS 30879659 HAS SOUS 27781497 HAS SOUPS 27249133 WITH SCORE 2.7305636117E7
AT ITER 2484 NEW BEST:: SOT 66745459 SOS 56503117 HAS SOPS 30879343 HAS SOUS 27781181 HAS SOUPS 27248817 WITH SCORE 2.7305320117E7
AT ITER 2489 NEW BEST:: SOT 66745459 SOS 56503117 HAS SOPS 30879958 HAS SOUS 27781180 HAS SOUPS 27248816 WITH SCORE 2.7305319117E7
AT ITER 2494 NEW BEST:: SOT 66745962 SOS 56503620 HAS SOPS 30879756 HAS SOUS 27780979 HAS SOUPS 27248615 WITH SCORE 2.730511862E7
AT ITER 2495 NEW BEST:: SOT 66746008 SOS 56503666 HAS SOPS 30876614 HAS SOUS 27780320 HAS SOUPS 27247956 WITH SCORE 2.7304459666E7
AT ITER 2499 NEW BEST:: SOT 66744170 SOS 56501828 HAS SOPS 30872292 HAS SOUS 27778392 HAS SOUPS 27246028 WITH SCORE 2.7302529828E7
AT ITER 2502 NEW BEST:: SOT 66743269 SOS 56500927 HAS SOPS 30869862 HAS SOUS 27775689 HAS SOUPS 27243325 WITH SCORE 2.7299825927E7
AT ITER 2512 NEW BEST:: SOT 66741210 SOS 56498868 HAS SOPS 30865550 HAS SOUS 27771820 HAS SOUPS 27239014 WITH SCORE 2.7295512868E7
AT ITER 2514 NEW BEST:: SOT 66741286 SOS 56498944 HAS SOPS 30865701 HAS SOUS 27769482 HAS SOUPS 27236676 WITH SCORE 2.7293174944E7
AT ITER 2515 NEW BEST:: SOT 66741286 SOS 56498944 HAS SOPS 30864497 HAS SOUS 27768278 HAS SOUPS 27235472 WITH SCORE 2.7291970944E7
AT ITER 2517 NEW BEST:: SOT 66741252 SOS 56498910 HAS SOPS 30864429 HAS SOUS 27768176 HAS SOUPS 27235370 WITH SCORE 2.729186891E7
AT ITER 2518 NEW BEST:: SOT 66741252 SOS 56498910 HAS SOPS 30863654 HAS SOUS 27767401 HAS SOUPS 27234595 WITH SCORE 2.729109391E7
AT ITER 2526 NEW BEST:: SOT 66740496 SOS 56498154 HAS SOPS 30861212 HAS SOUS 27764959 HAS SOUPS 27232153 WITH SCORE 2.7288651154E7
AT ITER 2531 NEW BEST:: SOT 66740496 SOS 56498154 HAS SOPS 30861211 HAS SOUS 27763287 HAS SOUPS 27230481 WITH SCORE 2.7286979154E7
AT ITER 2532 NEW BEST:: SOT 66740267 SOS 56497925 HAS SOPS 30860753 HAS SOUS 27762829 HAS SOUPS 27230023 WITH SCORE 2.7286520925E7
AT ITER 2537 NEW BEST:: SOT 66737991 SOS 56495649 HAS SOPS 30856200 HAS SOUS 27757569 HAS SOUPS 27224763 WITH SCORE 2.7281258649E7
AT ITER 2541 NEW BEST:: SOT 66737991 SOS 56495649 HAS SOPS 30856196 HAS SOUS 27757565 HAS SOUPS 27224759 WITH SCORE 2.7281254649E7
AT ITER 2543 NEW BEST:: SOT 66737991 SOS 56495649 HAS SOPS 30855604 HAS SOUS 27756973 HAS SOUPS 27224167 WITH SCORE 2.7280662649E7
AT ITER 2544 NEW BEST:: SOT 66737991 SOS 56495649 HAS SOPS 30855604 HAS SOUS 27756050 HAS SOUPS 27223244 WITH SCORE 2.7279739649E7
AT ITER 2547 NEW BEST:: SOT 66737954 SOS 56495612 HAS SOPS 30855530 HAS SOUS 27755976 HAS SOUPS 27223170 WITH SCORE 2.7279665612E7
AT ITER 2551 NEW BEST:: SOT 66737703 SOS 56495361 HAS SOPS 30853767 HAS SOUS 27755367 HAS SOUPS 27222561 WITH SCORE 2.7279056361E7
AT ITER 2554 NEW BEST:: SOT 66735755 SOS 56493413 HAS SOPS 30849836 HAS SOUS 27752078 HAS SOUPS 27218631 WITH SCORE 2.7275124413E7
AT ITER 2557 NEW BEST:: SOT 66735551 SOS 56493209 HAS SOPS 30849428 HAS SOUS 27751750 HAS SOUPS 27218303 WITH SCORE 2.7274796209E7
AT ITER 2566 NEW BEST:: SOT 66735177 SOS 56492835 HAS SOPS 30849428 HAS SOUS 27751750 HAS SOUPS 27218303 WITH SCORE 2.7274795835E7
AT ITER 2570 NEW BEST:: SOT 66735403 SOS 56493061 HAS SOPS 30849194 HAS SOUS 27751178 HAS SOUPS 27217731 WITH SCORE 2.7274224061E7
AT ITER 2589 NEW BEST:: SOT 66735020 SOS 56492678 HAS SOPS 30848427 HAS SOUS 27750412 HAS SOUPS 27216965 WITH SCORE 2.7273457678E7
AT ITER 2594 NEW BEST:: SOT 66734728 SOS 56492386 HAS SOPS 30847843 HAS SOUS 27749828 HAS SOUPS 27216381 WITH SCORE 2.7272873386E7
AT ITER 2597 NEW BEST:: SOT 66733950 SOS 56491608 HAS SOPS 30842756 HAS SOUS 27744166 HAS SOUPS 27210719 WITH SCORE 2.7267210608E7
AT ITER 2599 NEW BEST:: SOT 66734029 SOS 56491687 HAS SOPS 30842914 HAS SOUS 27743297 HAS SOUPS 27209850 WITH SCORE 2.7266341687E7
AT ITER 2604 NEW BEST:: SOT 66734029 SOS 56491687 HAS SOPS 30842913 HAS SOUS 27741837 HAS SOUPS 27208390 WITH SCORE 2.7264881687E7
AT ITER 2605 NEW BEST:: SOT 66734029 SOS 56491687 HAS SOPS 30842540 HAS SOUS 27741464 HAS SOUPS 27208017 WITH SCORE 2.7264508687E7
AT ITER 2606 NEW BEST:: SOT 66732506 SOS 56490164 HAS SOPS 30839493 HAS SOUS 27735920 HAS SOUPS 27202473 WITH SCORE 2.7258963164E7
AT ITER 2611 NEW BEST:: SOT 66731149 SOS 56488807 HAS SOPS 30836618 HAS SOUS 27733046 HAS SOUPS 27199599 WITH SCORE 2.7256087807E7
AT ITER 2616 NEW BEST:: SOT 66730149 SOS 56487807 HAS SOPS 30834617 HAS SOUS 27730646 HAS SOUPS 27197199 WITH SCORE 2.7253686807E7
AT ITER 2625 NEW BEST:: SOT 66731464 SOS 56489122 HAS SOPS 30834407 HAS SOUS 27730325 HAS SOUPS 27196991 WITH SCORE 2.7253480122E7
AT ITER 2627 NEW BEST:: SOT 66730720 SOS 56488378 HAS SOPS 30834137 HAS SOUS 27730056 HAS SOUPS 27196722 WITH SCORE 2.7253210378E7
AT ITER 2633 NEW BEST:: SOT 66730720 SOS 56488378 HAS SOPS 30833383 HAS SOUS 27729302 HAS SOUPS 27195968 WITH SCORE 2.7252456378E7
AT ITER 2635 NEW BEST:: SOT 66730402 SOS 56488060 HAS SOPS 30829769 HAS SOUS 27725689 HAS SOUPS 27192355 WITH SCORE 2.724884306E7
AT ITER 2637 NEW BEST:: SOT 66729477 SOS 56487135 HAS SOPS 30828577 HAS SOUS 27724497 HAS SOUPS 27191163 WITH SCORE 2.7247650135E7
AT ITER 2643 NEW BEST:: SOT 66729499 SOS 56487157 HAS SOPS 30828311 HAS SOUS 27724232 HAS SOUPS 27190898 WITH SCORE 2.7247385157E7
AT ITER 2646 NEW BEST:: SOT 66728448 SOS 56486106 HAS SOPS 30824422 HAS SOUS 27719607 HAS SOUPS 27186273 WITH SCORE 2.7242759106E7
AT ITER 2647 NEW BEST:: SOT 66728448 SOS 56486106 HAS SOPS 30824421 HAS SOUS 27717218 HAS SOUPS 27183884 WITH SCORE 2.7240370106E7
AT ITER 2652 NEW BEST:: SOT 66726913 SOS 56484571 HAS SOPS 30821350 HAS SOUS 27712613 HAS SOUPS 27179279 WITH SCORE 2.7235763571E7
AT ITER 2658 NEW BEST:: SOT 66723258 SOS 56480916 HAS SOPS 30814006 HAS SOUS 27706411 HAS SOUPS 27171969 WITH SCORE 2.7228449916E7
AT ITER 2659 NEW BEST:: SOT 66723258 SOS 56480916 HAS SOPS 30814005 HAS SOUS 27706410 HAS SOUPS 27171968 WITH SCORE 2.7228448916E7
AT ITER 2664 NEW BEST:: SOT 66722254 SOS 56479912 HAS SOPS 30811996 HAS SOUS 27703404 HAS SOUPS 27168962 WITH SCORE 2.7225441912E7
AT ITER 2669 NEW BEST:: SOT 66722905 SOS 56481621 HAS SOPS 30811700 HAS SOUS 27703908 HAS SOUPS 27168666 WITH SCORE 2.7225147621E7
AT ITER 2675 NEW BEST:: SOT 66720446 SOS 56479162 HAS SOPS 30806733 HAS SOUS 27698942 HAS SOUPS 27163700 WITH SCORE 2.7220179162E7
AT ITER 2677 NEW BEST:: SOT 66717688 SOS 56476404 HAS SOPS 30803948 HAS SOUS 27696413 HAS SOUPS 27161171 WITH SCORE 2.7217647404E7
AT ITER 2684 NEW BEST:: SOT 66717256 SOS 56475972 HAS SOPS 30802788 HAS SOUS 27695116 HAS SOUPS 27159874 WITH SCORE 2.7216349972E7
AT ITER 2692 NEW BEST:: SOT 66717395 SOS 56476111 HAS SOPS 30802403 HAS SOUS 27694732 HAS SOUPS 27159490 WITH SCORE 2.7215966111E7
AT ITER 2695 NEW BEST:: SOT 66715996 SOS 56474712 HAS SOPS 30796500 HAS SOUS 27689240 HAS SOUPS 27153998 WITH SCORE 2.7210472712E7
AT ITER 2708 NEW BEST:: SOT 66714958 SOS 56473674 HAS SOPS 30793386 HAS SOUS 27687164 HAS SOUPS 27151922 WITH SCORE 2.7208395674E7
AT ITER 2712 NEW BEST:: SOT 66712993 SOS 56471709 HAS SOPS 30788975 HAS SOUS 27682754 HAS SOUPS 27147512 WITH SCORE 2.7203983709E7
AT ITER 2715 NEW BEST:: SOT 66712993 SOS 56471709 HAS SOPS 30788591 HAS SOUS 27682370 HAS SOUPS 27147128 WITH SCORE 2.7203599709E7
AT ITER 2717 NEW BEST:: SOT 66712993 SOS 56471709 HAS SOPS 30788083 HAS SOUS 27680113 HAS SOUPS 27144993 WITH SCORE 2.7201464709E7
AT ITER 2720 NEW BEST:: SOT 66712943 SOS 56471659 HAS SOPS 30786574 HAS SOUS 27678605 HAS SOUPS 27143485 WITH SCORE 2.7199956659E7
AT ITER 2732 NEW BEST:: SOT 66712943 SOS 56471659 HAS SOPS 30786112 HAS SOUS 27678144 HAS SOUPS 27143024 WITH SCORE 2.7199495659E7
AT ITER 2733 NEW BEST:: SOT 66711465 SOS 56470181 HAS SOPS 30784634 HAS SOUS 27676666 HAS SOUPS 27141546 WITH SCORE 2.7198016181E7
AT ITER 2739 NEW BEST:: SOT 66711298 SOS 56470014 HAS SOPS 30784467 HAS SOUS 27676499 HAS SOUPS 27141379 WITH SCORE 2.7197849014E7
AT ITER 2743 NEW BEST:: SOT 66710218 SOS 56468934 HAS SOPS 30780885 HAS SOUS 27672918 HAS SOUPS 27137798 WITH SCORE 2.7194266934E7
AT ITER 2749 NEW BEST:: SOT 66709306 SOS 56468022 HAS SOPS 30779669 HAS SOUS 27672006 HAS SOUPS 27136582 WITH SCORE 2.7193050022E7
AT ITER 2752 NEW BEST:: SOT 66709306 SOS 56468022 HAS SOPS 30779668 HAS SOUS 27670691 HAS SOUPS 27135267 WITH SCORE 2.7191735022E7
AT ITER 2762 NEW BEST:: SOT 66708282 SOS 56466998 HAS SOPS 30777620 HAS SOUS 27669402 HAS SOUPS 27133978 WITH SCORE 2.7190444998E7
AT ITER 2763 NEW BEST:: SOT 66707779 SOS 56447884 HAS SOPS 30759009 HAS SOUS 27668396 HAS SOUPS 27132972 WITH SCORE 2.7189419884E7
AT ITER 2771 NEW BEST:: SOT 66733265 SOS 56397658 HAS SOPS 30679248 HAS SOUS 27656525 HAS SOUPS 27121101 WITH SCORE 2.7177498658E7
AT ITER 2775 NEW BEST:: SOT 66732639 SOS 56397032 HAS SOPS 30677996 HAS SOUS 27655272 HAS SOUPS 27119848 WITH SCORE 2.7176245032E7
AT ITER 2777 NEW BEST:: SOT 66730286 SOS 56394679 HAS SOPS 30673233 HAS SOUS 27650916 HAS SOUPS 27115086 WITH SCORE 2.7171480679E7
AT ITER 2780 NEW BEST:: SOT 66729755 SOS 56394148 HAS SOPS 30672171 HAS SOUS 27649854 HAS SOUPS 27114024 WITH SCORE 2.7170418148E7
AT ITER 2781 NEW BEST:: SOT 66727394 SOS 56391787 HAS SOPS 30667330 HAS SOUS 27645014 HAS SOUPS 27109184 WITH SCORE 2.7165575787E7
AT ITER 2782 NEW BEST:: SOT 66727394 SOS 56391787 HAS SOPS 30666043 HAS SOUS 27643745 HAS SOUPS 27107897 WITH SCORE 2.7164288787E7
AT ITER 2783 NEW BEST:: SOT 66727394 SOS 56391787 HAS SOPS 30666042 HAS SOUS 27643744 HAS SOUPS 27107896 WITH SCORE 2.7164287787E7
AT ITER 2792 NEW BEST:: SOT 66726348 SOS 56390741 HAS SOPS 30663935 HAS SOUS 27642859 HAS SOUPS 27107011 WITH SCORE 2.7163401741E7
AT ITER 2800 NEW BEST:: SOT 66725299 SOS 56389692 HAS SOPS 30661837 HAS SOUS 27640762 HAS SOUPS 27104914 WITH SCORE 2.7161303692E7
AT ITER 2803 NEW BEST:: SOT 66724212 SOS 56388605 HAS SOPS 30658360 HAS SOUS 27639775 HAS SOUPS 27103927 WITH SCORE 2.7160315605E7
AT ITER 2812 NEW BEST:: SOT 66727717 SOS 56392110 HAS SOPS 30655428 HAS SOUS 27641807 HAS SOUPS 27100996 WITH SCORE 2.715738811E7
AT ITER 2814 NEW BEST:: SOT 66725879 SOS 56390272 HAS SOPS 30651082 HAS SOUS 27637462 HAS SOUPS 27096651 WITH SCORE 2.7153041272E7
AT ITER 2816 NEW BEST:: SOT 66724199 SOS 56388592 HAS SOPS 30644423 HAS SOUS 27633092 HAS SOUPS 27092281 WITH SCORE 2.7148669592E7
AT ITER 2820 NEW BEST:: SOT 66723766 SOS 56388159 HAS SOPS 30643891 HAS SOUS 27632284 HAS SOUPS 27091473 WITH SCORE 2.7147861159E7
AT ITER 2827 NEW BEST:: SOT 66722530 SOS 56312762 HAS SOPS 30547762 HAS SOUS 27606346 HAS SOUPS 27065535 WITH SCORE 2.7121847762E7
AT ITER 2829 NEW BEST:: SOT 66722546 SOS 56312778 HAS SOPS 30545939 HAS SOUS 27604523 HAS SOUPS 27063712 WITH SCORE 2.7120024778E7
AT ITER 2830 NEW BEST:: SOT 66721757 SOS 56311989 HAS SOPS 30544360 HAS SOUS 27602946 HAS SOUPS 27062135 WITH SCORE 2.7118446989E7
AT ITER 2831 NEW BEST:: SOT 66720956 SOS 56311188 HAS SOPS 30541947 HAS SOUS 27600534 HAS SOUPS 27059723 WITH SCORE 2.7116034188E7
AT ITER 2836 NEW BEST:: SOT 66718888 SOS 56309120 HAS SOPS 30537810 HAS SOUS 27596399 HAS SOUPS 27055588 WITH SCORE 2.711189712E7
AT ITER 2843 NEW BEST:: SOT 66717020 SOS 56307252 HAS SOPS 30533458 HAS SOUS 27594013 HAS SOUPS 27053131 WITH SCORE 2.7109438252E7
AT ITER 2846 NEW BEST:: SOT 66718664 SOS 56308896 HAS SOPS 30534739 HAS SOUS 27591772 HAS SOUPS 27050890 WITH SCORE 2.7107198896E7
AT ITER 2858 NEW BEST:: SOT 66716349 SOS 56306581 HAS SOPS 30530052 HAS SOUS 27587641 HAS SOUPS 27046204 WITH SCORE 2.7102510581E7
AT ITER 2859 NEW BEST:: SOT 66716349 SOS 56252006 HAS SOPS 30477234 HAS SOUS 27586448 HAS SOUPS 27045011 WITH SCORE 2.7101263006E7
AT ITER 2861 NEW BEST:: SOT 66716345 SOS 56252002 HAS SOPS 30477225 HAS SOUS 27585552 HAS SOUPS 27044115 WITH SCORE 2.7100367002E7
AT ITER 2866 NEW BEST:: SOT 66716128 SOS 56251785 HAS SOPS 30476790 HAS SOUS 27584515 HAS SOUPS 27043078 WITH SCORE 2.7099329785E7
AT ITER 2868 NEW BEST:: SOT 66715148 SOS 56250805 HAS SOPS 30474566 HAS SOUS 27583084 HAS SOUPS 27040854 WITH SCORE 2.7097104805E7
AT ITER 2870 NEW BEST:: SOT 66715148 SOS 56250805 HAS SOPS 30472208 HAS SOUS 27581614 HAS SOUPS 27038496 WITH SCORE 2.7094746805E7
AT ITER 2871 NEW BEST:: SOT 66712845 SOS 56248502 HAS SOPS 30467601 HAS SOUS 27575322 HAS SOUPS 27031587 WITH SCORE 2.7087835502E7
AT ITER 2872 NEW BEST:: SOT 66711844 SOS 56247501 HAS SOPS 30465598 HAS SOUS 27573320 HAS SOUPS 27029585 WITH SCORE 2.7085832501E7
AT ITER 2873 NEW BEST:: SOT 66710329 SOS 56245986 HAS SOPS 30462511 HAS SOUS 27572707 HAS SOUPS 27028802 WITH SCORE 2.7085047986E7
AT ITER 2875 NEW BEST:: SOT 66710329 SOS 56245986 HAS SOPS 30461255 HAS SOUS 27569596 HAS SOUPS 27025691 WITH SCORE 2.7081936986E7
AT ITER 2876 NEW BEST:: SOT 66710329 SOS 56245986 HAS SOPS 30460913 HAS SOUS 27569254 HAS SOUPS 27025349 WITH SCORE 2.7081594986E7
AT ITER 2884 NEW BEST:: SOT 66708082 SOS 56243739 HAS SOPS 30456168 HAS SOUS 27564510 HAS SOUPS 27020605 WITH SCORE 2.7076848739E7
AT ITER 2886 NEW BEST:: SOT 66707409 SOS 56243066 HAS SOPS 30454821 HAS SOUS 27563164 HAS SOUPS 27019259 WITH SCORE 2.7075502066E7
AT ITER 2891 NEW BEST:: SOT 66707409 SOS 56243066 HAS SOPS 30454120 HAS SOUS 27562463 HAS SOUPS 27018558 WITH SCORE 2.7074801066E7
AT ITER 2892 NEW BEST:: SOT 66707799 SOS 56243456 HAS SOPS 30454903 HAS SOUS 27560853 HAS SOUPS 27016948 WITH SCORE 2.7073191456E7
AT ITER 2893 NEW BEST:: SOT 66707103 SOS 56242760 HAS SOPS 30449454 HAS SOUS 27556932 HAS SOUPS 27012689 WITH SCORE 2.706893176E7
AT ITER 2896 NEW BEST:: SOT 66705933 SOS 56241590 HAS SOPS 30447114 HAS SOUS 27554592 HAS SOUPS 27010349 WITH SCORE 2.706659059E7
AT ITER 2902 NEW BEST:: SOT 66705882 SOS 56241539 HAS SOPS 30447012 HAS SOUS 27554490 HAS SOUPS 27010247 WITH SCORE 2.7066488539E7
AT ITER 2904 NEW BEST:: SOT 66705779 SOS 56241436 HAS SOPS 30446805 HAS SOUS 27551781 HAS SOUPS 27007538 WITH SCORE 2.7063779436E7
AT ITER 2906 NEW BEST:: SOT 66705646 SOS 56241303 HAS SOPS 30446538 HAS SOUS 27550323 HAS SOUPS 27006080 WITH SCORE 2.7062321303E7
AT ITER 2912 NEW BEST:: SOT 66705449 SOS 56241106 HAS SOPS 30445315 HAS SOUS 27548076 HAS SOUPS 27003833 WITH SCORE 2.7060074106E7
AT ITER 2916 NEW BEST:: SOT 66704753 SOS 56240410 HAS SOPS 30444618 HAS SOUS 27546684 HAS SOUPS 27002441 WITH SCORE 2.705868141E7
AT ITER 2917 NEW BEST:: SOT 66705024 SOS 56240681 HAS SOPS 30445159 HAS SOUS 27546330 HAS SOUPS 27002087 WITH SCORE 2.7058327681E7
AT ITER 2921 NEW BEST:: SOT 66705710 SOS 56242137 HAS SOPS 30444881 HAS SOUS 27546052 HAS SOUPS 27001809 WITH SCORE 2.7058051137E7
AT ITER 2922 NEW BEST:: SOT 66704567 SOS 56240994 HAS SOPS 30441380 HAS SOUS 27542551 HAS SOUPS 26998308 WITH SCORE 2.7054548994E7
AT ITER 2927 NEW BEST:: SOT 66701065 SOS 56237492 HAS SOPS 30434375 HAS SOUS 27535548 HAS SOUPS 26991305 WITH SCORE 2.7047542492E7
AT ITER 2931 NEW BEST:: SOT 66700242 SOS 56236669 HAS SOPS 30432728 HAS SOUS 27533079 HAS SOUPS 26988836 WITH SCORE 2.7045072669E7
AT ITER 2933 NEW BEST:: SOT 66699319 SOS 56235746 HAS SOPS 30431832 HAS SOUS 27532793 HAS SOUPS 26988550 WITH SCORE 2.7044785746E7
AT ITER 2942 NEW BEST:: SOT 66698016 SOS 56234443 HAS SOPS 30428766 HAS SOUS 27531490 HAS SOUPS 26987247 WITH SCORE 2.7043481443E7
AT ITER 2945 NEW BEST:: SOT 66699182 SOS 56235609 HAS SOPS 30426426 HAS SOUS 27529624 HAS SOUPS 26985381 WITH SCORE 2.7041616609E7
AT ITER 2948 NEW BEST:: SOT 66699368 SOS 56235795 HAS SOPS 30426797 HAS SOUS 27527570 HAS SOUPS 26983327 WITH SCORE 2.7039562795E7
AT ITER 2960 NEW BEST:: SOT 66698518 SOS 56234945 HAS SOPS 30425097 HAS SOUS 27525870 HAS SOUPS 26981627 WITH SCORE 2.7037861945E7
AT ITER 2965 NEW BEST:: SOT 66457101 SOS 55993528 HAS SOPS 30183680 HAS SOUS 27284453 HAS SOUPS 26740210 WITH SCORE 2.6796203528E7
AT ITER 2973 NEW BEST:: SOT 66457101 SOS 55993528 HAS SOPS 30184301 HAS SOUS 27284452 HAS SOUPS 26740209 WITH SCORE 2.6796202528E7
AT ITER 2976 NEW BEST:: SOT 66455800 SOS 55992227 HAS SOPS 30180436 HAS SOUS 27280549 HAS SOUPS 26736306 WITH SCORE 2.6792298227E7
AT ITER 2978 NEW BEST:: SOT 66455800 SOS 55992227 HAS SOPS 30180432 HAS SOUS 27280545 HAS SOUPS 26736302 WITH SCORE 2.6792294227E7
AT ITER 2997 NEW BEST:: SOT 66454265 SOS 55990692 HAS SOPS 30177361 HAS SOUS 27274963 HAS SOUPS 26730720 WITH SCORE 2.6786710692E7
AT ITER 2999 NEW BEST:: SOT 66452885 SOS 55989312 HAS SOPS 30174487 HAS SOUS 27273583 HAS SOUPS 26729340 WITH SCORE 2.6785329312E7
AT ITER 3006 NEW BEST:: SOT 66452041 SOS 55988468 HAS SOPS 30173357 HAS SOUS 27272453 HAS SOUPS 26728210 WITH SCORE 2.6784198468E7
AT ITER 3007 NEW BEST:: SOT 66453360 SOS 55989787 HAS SOPS 30172657 HAS SOUS 27269736 HAS SOUPS 26725493 WITH SCORE 2.6781482787E7
AT ITER 3013 NEW BEST:: SOT 66452231 SOS 55988658 HAS SOPS 30170398 HAS SOUS 27265348 HAS SOUPS 26720953 WITH SCORE 2.6776941658E7
AT ITER 3016 NEW BEST:: SOT 66451688 SOS 55988115 HAS SOPS 30169855 HAS SOUS 27264805 HAS SOUPS 26720410 WITH SCORE 2.6776398115E7
AT ITER 3021 NEW BEST:: SOT 66450992 SOS 55987419 HAS SOPS 30168052 HAS SOUS 27262360 HAS SOUPS 26717965 WITH SCORE 2.6773952419E7
AT ITER 3022 NEW BEST:: SOT 66450368 SOS 55952170 HAS SOPS 30168052 HAS SOUS 27261736 HAS SOUPS 26717965 WITH SCORE 2.677391717E7
AT ITER 3023 NEW BEST:: SOT 66452414 SOS 55954216 HAS SOPS 30169318 HAS SOUS 27259858 HAS SOUPS 26716087 WITH SCORE 2.6772041216E7
AT ITER 3024 NEW BEST:: SOT 66452414 SOS 55954216 HAS SOPS 30169317 HAS SOUS 27258907 HAS SOUPS 26715136 WITH SCORE 2.6771090216E7
AT ITER 3025 NEW BEST:: SOT 66450940 SOS 55952742 HAS SOPS 30167843 HAS SOUS 27258174 HAS SOUPS 26714403 WITH SCORE 2.6770355742E7
AT ITER 3026 NEW BEST:: SOT 66450658 SOS 55952460 HAS SOPS 30166799 HAS SOUS 27257393 HAS SOUPS 26713359 WITH SCORE 2.676931146E7
AT ITER 3028 NEW BEST:: SOT 66450165 SOS 55951967 HAS SOPS 30165227 HAS SOUS 27255822 HAS SOUPS 26711788 WITH SCORE 2.6767739967E7
AT ITER 3044 NEW BEST:: SOT 66449957 SOS 55951759 HAS SOPS 30165226 HAS SOUS 27255822 HAS SOUPS 26711788 WITH SCORE 2.6767739759E7
AT ITER 3046 NEW BEST:: SOT 66449433 SOS 55951235 HAS SOPS 30164178 HAS SOUS 27254250 HAS SOUPS 26710216 WITH SCORE 2.6766167235E7
AT ITER 3047 NEW BEST:: SOT 66449433 SOS 55951235 HAS SOPS 30163521 HAS SOUS 27254194 HAS SOUPS 26710160 WITH SCORE 2.6766111235E7
AT ITER 3052 NEW BEST:: SOT 66449614 SOS 55951416 HAS SOPS 30162348 HAS SOUS 27253494 HAS SOUPS 26708987 WITH SCORE 2.6764938416E7
AT ITER 3054 NEW BEST:: SOT 66447404 SOS 55949206 HAS SOPS 30157927 HAS SOUS 27246864 HAS SOUPS 26702357 WITH SCORE 2.6758306206E7
AT ITER 3057 NEW BEST:: SOT 66446152 SOS 55947954 HAS SOPS 30155422 HAS SOUS 27242522 HAS SOUPS 26698015 WITH SCORE 2.6753962954E7
AT ITER 3063 NEW BEST:: SOT 66443772 SOS 55945574 HAS SOPS 30150661 HAS SOUS 27237406 HAS SOUPS 26692899 WITH SCORE 2.6748844574E7
AT ITER 3068 NEW BEST:: SOT 66443772 SOS 55945574 HAS SOPS 30150951 HAS SOUS 27237405 HAS SOUPS 26692898 WITH SCORE 2.6748843574E7
AT ITER 3070 NEW BEST:: SOT 66477059 SOS 55978506 HAS SOPS 30146805 HAS SOUS 27233894 HAS SOUPS 26688752 WITH SCORE 2.6744730506E7
AT ITER 3072 NEW BEST:: SOT 66475449 SOS 55976896 HAS SOPS 30141974 HAS SOUS 27229064 HAS SOUPS 26683922 WITH SCORE 2.6739898896E7
AT ITER 3082 NEW BEST:: SOT 66475383 SOS 55976830 HAS SOPS 30141908 HAS SOUS 27228998 HAS SOUPS 26683856 WITH SCORE 2.673983283E7
AT ITER 3083 NEW BEST:: SOT 66476280 SOS 55977727 HAS SOPS 30141622 HAS SOUS 27228712 HAS SOUPS 26683570 WITH SCORE 2.6739547727E7
AT ITER 3090 NEW BEST:: SOT 66475858 SOS 55977305 HAS SOPS 30141200 HAS SOUS 27228290 HAS SOUPS 26683148 WITH SCORE 2.6739125305E7
AT ITER 3097 NEW BEST:: SOT 66474470 SOS 55975917 HAS SOPS 30137787 HAS SOUS 27225514 HAS SOUPS 26680372 WITH SCORE 2.6736347917E7
AT ITER 3098 NEW BEST:: SOT 66472563 SOS 55974010 HAS SOPS 30133972 HAS SOUS 27221700 HAS SOUPS 26676558 WITH SCORE 2.673253201E7
AT ITER 3107 NEW BEST:: SOT 66472222 SOS 55973669 HAS SOPS 30133290 HAS SOUS 27221018 HAS SOUPS 26675876 WITH SCORE 2.6731849669E7
AT ITER 3110 NEW BEST:: SOT 66472035 SOS 55973482 HAS SOPS 30132915 HAS SOUS 27218689 HAS SOUPS 26673547 WITH SCORE 2.6729520482E7
AT ITER 3123 NEW BEST:: SOT 66495249 SOS 55921068 HAS SOPS 30016226 HAS SOUS 27172537 HAS SOUPS 26625879 WITH SCORE 2.6681800068E7
AT ITER 3127 NEW BEST:: SOT 66494026 SOS 55919845 HAS SOPS 30014871 HAS SOUS 27168668 HAS SOUPS 26622010 WITH SCORE 2.6677929845E7
AT ITER 3129 NEW BEST:: SOT 66493998 SOS 55919817 HAS SOPS 30014870 HAS SOUS 27168640 HAS SOUPS 26621982 WITH SCORE 2.6677901817E7
AT ITER 3133 NEW BEST:: SOT 66492760 SOS 55918579 HAS SOPS 30014869 HAS SOUS 27167402 HAS SOUPS 26620744 WITH SCORE 2.6676662579E7
AT ITER 3134 NEW BEST:: SOT 66492760 SOS 55918579 HAS SOPS 30014617 HAS SOUS 27167150 HAS SOUPS 26620492 WITH SCORE 2.6676410579E7
AT ITER 3146 NEW BEST:: SOT 66492019 SOS 55917838 HAS SOPS 30015488 HAS SOUS 27165668 HAS SOUPS 26619010 WITH SCORE 2.6674927838E7
AT ITER 3160 NEW BEST:: SOT 66491385 SOS 55917204 HAS SOPS 30013946 HAS SOUS 27164127 HAS SOUPS 26617469 WITH SCORE 2.6673386204E7
AT ITER 3162 NEW BEST:: SOT 66491385 SOS 55917204 HAS SOPS 30013808 HAS SOUS 27163989 HAS SOUPS 26617331 WITH SCORE 2.6673248204E7
AT ITER 3165 NEW BEST:: SOT 66491460 SOS 55917279 HAS SOPS 30014115 HAS SOUS 27162735 HAS SOUPS 26616077 WITH SCORE 2.6671994279E7
AT ITER 3171 NEW BEST:: SOT 66491313 SOS 55917132 HAS SOPS 30013820 HAS SOUS 27162441 HAS SOUPS 26615783 WITH SCORE 2.6671700132E7
AT ITER 3174 NEW BEST:: SOT 66491284 SOS 55917103 HAS SOPS 30013762 HAS SOUS 27162383 HAS SOUPS 26615725 WITH SCORE 2.6671642103E7
AT ITER 3175 NEW BEST:: SOT 66492314 SOS 55918133 HAS SOPS 30014205 HAS SOUS 27161797 HAS SOUPS 26615139 WITH SCORE 2.6671057133E7
AT ITER 3176 NEW BEST:: SOT 66492314 SOS 55918133 HAS SOPS 30012655 HAS SOUS 27160247 HAS SOUPS 26613589 WITH SCORE 2.6669507133E7
AT ITER 3179 NEW BEST:: SOT 66493127 SOS 55918946 HAS SOPS 30011955 HAS SOUS 27159547 HAS SOUPS 26612889 WITH SCORE 2.6668807946E7
AT ITER 3180 NEW BEST:: SOT 66487094 SOS 55912913 HAS SOPS 30004837 HAS SOUS 27151346 HAS SOUPS 26604688 WITH SCORE 2.6660600913E7
AT ITER 3194 NEW BEST:: SOT 66485430 SOS 55911249 HAS SOPS 30000827 HAS SOUS 27148018 HAS SOUPS 26601360 WITH SCORE 2.6657271249E7
AT ITER 3209 NEW BEST:: SOT 66515336 SOS 55866055 HAS SOPS 29886374 HAS SOUS 27104269 HAS SOUPS 26555612 WITH SCORE 2.6611478055E7
AT ITER 3212 NEW BEST:: SOT 66515423 SOS 55866142 HAS SOPS 29883940 HAS SOUS 27101658 HAS SOUPS 26553001 WITH SCORE 2.6608867142E7
AT ITER 3214 NEW BEST:: SOT 61111606 SOS 50462325 HAS SOPS 24477550 HAS SOUS 22335766 HAS SOUPS 21673313 WITH SCORE 2.1723775325E7
AT ITER 3219 NEW BEST:: SOT 61110253 SOS 50460972 HAS SOPS 24473713 HAS SOUS 22331929 HAS SOUPS 21669476 WITH SCORE 2.1719936972E7
AT ITER 3225 NEW BEST:: SOT 61108050 SOS 50458769 HAS SOPS 24469050 HAS SOUS 22327689 HAS SOUPS 21664813 WITH SCORE 2.1715271769E7
AT ITER 3230 NEW BEST:: SOT 61107769 SOS 50458488 HAS SOPS 24467421 HAS SOUS 22326060 HAS SOUPS 21663184 WITH SCORE 2.1713642488E7
AT ITER 3232 NEW BEST:: SOT 61107137 SOS 50434472 HAS SOPS 24444037 HAS SOUS 22324796 HAS SOUPS 21661920 WITH SCORE 2.1712354472E7
AT ITER 3235 NEW BEST:: SOT 61106412 SOS 50433747 HAS SOPS 24442587 HAS SOUS 22323346 HAS SOUPS 21660470 WITH SCORE 2.1710903747E7
AT ITER 3241 NEW BEST:: SOT 61105645 SOS 50432980 HAS SOPS 24442094 HAS SOUS 22323605 HAS SOUPS 21659977 WITH SCORE 2.171040998E7
AT ITER 3250 NEW BEST:: SOT 61103251 SOS 50430586 HAS SOPS 24437232 HAS SOUS 22318743 HAS SOUPS 21655115 WITH SCORE 2.1705545586E7
AT ITER 3255 NEW BEST:: SOT 61103431 SOS 50430766 HAS SOPS 24437116 HAS SOUS 22319219 HAS SOUPS 21654999 WITH SCORE 2.1705429766E7
AT ITER 3260 NEW BEST:: SOT 61103431 SOS 50430766 HAS SOPS 24436111 HAS SOUS 22318390 HAS SOUPS 21653994 WITH SCORE 2.1704424766E7
AT ITER 3266 NEW BEST:: SOT 61104671 SOS 50432006 HAS SOPS 24436109 HAS SOUS 22319629 HAS SOUPS 21653992 WITH SCORE 2.1704424006E7
AT ITER 3271 NEW BEST:: SOT 61103414 SOS 50430749 HAS SOPS 24433595 HAS SOUS 22317115 HAS SOUPS 21651478 WITH SCORE 2.1701908749E7
AT ITER 3272 NEW BEST:: SOT 61102427 SOS 50429762 HAS SOPS 24431382 HAS SOUS 22314902 HAS SOUPS 21649265 WITH SCORE 2.1699694762E7
AT ITER 3273 NEW BEST:: SOT 61101829 SOS 50429164 HAS SOPS 24430019 HAS SOUS 22313539 HAS SOUPS 21647902 WITH SCORE 2.1698331164E7
AT ITER 3275 NEW BEST:: SOT 61099532 SOS 50426867 HAS SOPS 24427476 HAS SOUS 22311266 HAS SOUPS 21645629 WITH SCORE 2.1696055867E7
AT ITER 3278 NEW BEST:: SOT 61098562 SOS 50425897 HAS SOPS 24422738 HAS SOUS 22307204 HAS SOUPS 21640891 WITH SCORE 2.1691316897E7
AT ITER 3281 NEW BEST:: SOT 61099009 SOS 50426344 HAS SOPS 24419295 HAS SOUS 22303761 HAS SOUPS 21637448 WITH SCORE 2.1687874344E7
AT ITER 3282 NEW BEST:: SOT 61100430 SOS 50427765 HAS SOPS 24419293 HAS SOUS 22303759 HAS SOUPS 21637446 WITH SCORE 2.1687873765E7
AT ITER 3285 NEW BEST:: SOT 61100430 SOS 50427765 HAS SOPS 24418811 HAS SOUS 22303277 HAS SOUPS 21636964 WITH SCORE 2.1687391765E7
AT ITER 3297 NEW BEST:: SOT 61097433 SOS 50424768 HAS SOPS 24412152 HAS SOUS 22297816 HAS SOUPS 21630305 WITH SCORE 2.1680729768E7
AT ITER 3299 NEW BEST:: SOT 61098227 SOS 50426785 HAS SOPS 24412039 HAS SOUS 22297765 HAS SOUPS 21630192 WITH SCORE 2.1680618785E7
AT ITER 3300 NEW BEST:: SOT 61097924 SOS 50426482 HAS SOPS 24411272 HAS SOUS 22296998 HAS SOUPS 21629425 WITH SCORE 2.1679851482E7
AT ITER 3304 NEW BEST:: SOT 61097801 SOS 50426359 HAS SOPS 24411272 HAS SOUS 22296998 HAS SOUPS 21629425 WITH SCORE 2.1679851359E7
AT ITER 3309 NEW BEST:: SOT 61098926 SOS 50427484 HAS SOPS 24409566 HAS SOUS 22295292 HAS SOUPS 21627719 WITH SCORE 2.1678146484E7
AT ITER 3327 NEW BEST:: SOT 61097613 SOS 50426171 HAS SOPS 24406613 HAS SOUS 22292339 HAS SOUPS 21624766 WITH SCORE 2.1675192171E7
AT ITER 3334 NEW BEST:: SOT 61098973 SOS 50427531 HAS SOPS 24406611 HAS SOUS 22292337 HAS SOUPS 21624764 WITH SCORE 2.1675191531E7
AT ITER 3337 NEW BEST:: SOT 61099026 SOS 50427584 HAS SOPS 24405968 HAS SOUS 22292353 HAS SOUPS 21624121 WITH SCORE 2.1674548584E7
AT ITER 3345 NEW BEST:: SOT 61098738 SOS 50427296 HAS SOPS 24405388 HAS SOUS 22291773 HAS SOUPS 21623541 WITH SCORE 2.1673968296E7
AT ITER 3359 NEW BEST:: SOT 61099747 SOS 50429050 HAS SOPS 24405296 HAS SOUS 22291849 HAS SOUPS 21623449 WITH SCORE 2.167387805E7
AT ITER 3361 NEW BEST:: SOT 61099747 SOS 50429050 HAS SOPS 24404684 HAS SOUS 22291237 HAS SOUPS 21622837 WITH SCORE 2.167326605E7
AT ITER 3380 NEW BEST:: SOT 61100260 SOS 50429563 HAS SOPS 24403544 HAS SOUS 22290097 HAS SOUPS 21621697 WITH SCORE 2.1672126563E7
AT ITER 3381 NEW BEST:: SOT 61099694 SOS 50428997 HAS SOPS 24401954 HAS SOUS 22288659 HAS SOUPS 21620107 WITH SCORE 2.1670535997E7
AT ITER 3382 NEW BEST:: SOT 61101336 SOS 50430639 HAS SOPS 24401952 HAS SOUS 22288657 HAS SOUPS 21620105 WITH SCORE 2.1670535639E7
AT ITER 3384 NEW BEST:: SOT 61099993 SOS 50429296 HAS SOPS 24398674 HAS SOUS 22285379 HAS SOUPS 21616827 WITH SCORE 2.1667256296E7
AT ITER 3385 NEW BEST:: SOT 61098039 SOS 50427342 HAS SOPS 24394258 HAS SOUS 22280963 HAS SOUPS 21612411 WITH SCORE 2.1662838342E7
AT ITER 3395 NEW BEST:: SOT 61093569 SOS 50422872 HAS SOPS 24392320 HAS SOUS 22279025 HAS SOUPS 21610473 WITH SCORE 2.1660895872E7
AT ITER 3404 NEW BEST:: SOT 61093721 SOS 50423024 HAS SOPS 24389676 HAS SOUS 22276417 HAS SOUPS 21607829 WITH SCORE 2.1658252024E7
AT ITER 3424 NEW BEST:: SOT 61093607 SOS 50422910 HAS SOPS 24389562 HAS SOUS 22276303 HAS SOUPS 21607715 WITH SCORE 2.165813791E7
AT ITER 3436 NEW BEST:: SOT 61091717 SOS 50421020 HAS SOPS 24385228 HAS SOUS 22271999 HAS SOUPS 21603381 WITH SCORE 2.165380202E7
AT ITER 3437 NEW BEST:: SOT 61092941 SOS 50422244 HAS SOPS 24379966 HAS SOUS 22267573 HAS SOUPS 21598119 WITH SCORE 2.1648541244E7
AT ITER 3442 NEW BEST:: SOT 61090585 SOS 50419888 HAS SOPS 24377610 HAS SOUS 22265217 HAS SOUPS 21595763 WITH SCORE 2.1646182888E7
AT ITER 3449 NEW BEST:: SOT 61089416 SOS 50418719 HAS SOPS 24374279 HAS SOUS 22261886 HAS SOUPS 21592432 WITH SCORE 2.1642850719E7
AT ITER 3450 NEW BEST:: SOT 61089754 SOS 50419057 HAS SOPS 24374213 HAS SOUS 22261820 HAS SOUPS 21592366 WITH SCORE 2.1642785057E7
AT ITER 3452 NEW BEST:: SOT 61089301 SOS 50418604 HAS SOPS 24373760 HAS SOUS 22261367 HAS SOUPS 21591913 WITH SCORE 2.1642331604E7
AT ITER 3453 NEW BEST:: SOT 61089583 SOS 50418886 HAS SOPS 24373123 HAS SOUS 22261505 HAS SOUPS 21591276 WITH SCORE 2.1641694886E7
AT ITER 3456 NEW BEST:: SOT 61089543 SOS 50418846 HAS SOPS 24373043 HAS SOUS 22261639 HAS SOUPS 21591196 WITH SCORE 2.1641614846E7
AT ITER 3458 NEW BEST:: SOT 61088513 SOS 50417816 HAS SOPS 24370983 HAS SOUS 22259579 HAS SOUPS 21589136 WITH SCORE 2.1639553816E7
AT ITER 3461 NEW BEST:: SOT 61088214 SOS 50417517 HAS SOPS 24368986 HAS SOUS 22257582 HAS SOUPS 21587139 WITH SCORE 2.1637556517E7
AT ITER 3466 NEW BEST:: SOT 61087910 SOS 50405965 HAS SOPS 24357900 HAS SOUS 22257136 HAS SOUPS 21586693 WITH SCORE 2.1637098965E7
AT ITER 3468 NEW BEST:: SOT 61087103 SOS 50405158 HAS SOPS 24355483 HAS SOUS 22254719 HAS SOUPS 21584276 WITH SCORE 2.1634681158E7
AT ITER 3473 NEW BEST:: SOT 61086560 SOS 50404615 HAS SOPS 24353704 HAS SOUS 22254142 HAS SOUPS 21582497 WITH SCORE 2.1632901615E7
AT ITER 3478 NEW BEST:: SOT 61086560 SOS 50404615 HAS SOPS 24353315 HAS SOUS 22253753 HAS SOUPS 21582108 WITH SCORE 2.1632512615E7
AT ITER 3479 NEW BEST:: SOT 61086090 SOS 50404145 HAS SOPS 24352845 HAS SOUS 22253283 HAS SOUPS 21581638 WITH SCORE 2.1632042145E7
AT ITER 3483 NEW BEST:: SOT 61087403 SOS 50405458 HAS SOPS 24352843 HAS SOUS 22253281 HAS SOUPS 21581636 WITH SCORE 2.1632041458E7
AT ITER 3485 NEW BEST:: SOT 61086241 SOS 50404296 HAS SOPS 24347663 HAS SOUS 22248101 HAS SOUPS 21576456 WITH SCORE 2.1626860296E7
AT ITER 3497 NEW BEST:: SOT 61085045 SOS 50403100 HAS SOPS 24345271 HAS SOUS 22245732 HAS SOUPS 21574064 WITH SCORE 2.16244671E7
AT ITER 3502 NEW BEST:: SOT 61081984 SOS 50400039 HAS SOPS 24342447 HAS SOUS 22242908 HAS SOUPS 21571240 WITH SCORE 2.1621640039E7
AT ITER 3504 NEW BEST:: SOT 61081719 SOS 50399774 HAS SOPS 24340940 HAS SOUS 22241401 HAS SOUPS 21569733 WITH SCORE 2.1620132774E7
AT ITER 3505 NEW BEST:: SOT 61083326 SOS 50401381 HAS SOPS 24339310 HAS SOUS 22240158 HAS SOUPS 21568103 WITH SCORE 2.1618504381E7
AT ITER 3511 NEW BEST:: SOT 61082685 SOS 50400740 HAS SOPS 24336571 HAS SOUS 22237419 HAS SOUPS 21565364 WITH SCORE 2.161576474E7
AT ITER 3517 NEW BEST:: SOT 61082919 SOS 50400974 HAS SOPS 24334339 HAS SOUS 22235187 HAS SOUPS 21563132 WITH SCORE 2.1613532974E7
AT ITER 3525 NEW BEST:: SOT 61082919 SOS 50400974 HAS SOPS 24333951 HAS SOUS 22234809 HAS SOUPS 21562744 WITH SCORE 2.1613144974E7
AT ITER 3530 NEW BEST:: SOT 61083171 SOS 50401587 HAS SOPS 24333594 HAS SOUS 22234455 HAS SOUPS 21562387 WITH SCORE 2.1612788587E7
AT ITER 3531 NEW BEST:: SOT 61080969 SOS 50399385 HAS SOPS 24329190 HAS SOUS 22230051 HAS SOUPS 21557983 WITH SCORE 2.1608382385E7
AT ITER 3533 NEW BEST:: SOT 61081994 SOS 50401098 HAS SOPS 24328605 HAS SOUS 22229848 HAS SOUPS 21557398 WITH SCORE 2.1607799098E7
AT ITER 3541 NEW BEST:: SOT 61081677 SOS 50400781 HAS SOPS 24327971 HAS SOUS 22229214 HAS SOUPS 21556764 WITH SCORE 2.1607164781E7
AT ITER 3544 NEW BEST:: SOT 61080387 SOS 50399491 HAS SOPS 24325391 HAS SOUS 22226634 HAS SOUPS 21554184 WITH SCORE 2.1604583491E7
AT ITER 3545 NEW BEST:: SOT 61079766 SOS 50398870 HAS SOPS 24324149 HAS SOUS 22225392 HAS SOUPS 21552942 WITH SCORE 2.160334087E7
AT ITER 3551 NEW BEST:: SOT 61079345 SOS 50398449 HAS SOPS 24323307 HAS SOUS 22224550 HAS SOUPS 21552100 WITH SCORE 2.1602498449E7
AT ITER 3552 NEW BEST:: SOT 61078174 SOS 50397278 HAS SOPS 24320965 HAS SOUS 22222208 HAS SOUPS 21549758 WITH SCORE 2.1600155278E7
AT ITER 3565 NEW BEST:: SOT 61078174 SOS 50397278 HAS SOPS 24320961 HAS SOUS 22222204 HAS SOUPS 21549754 WITH SCORE 2.1600151278E7
AT ITER 3575 NEW BEST:: SOT 61078173 SOS 50397277 HAS SOPS 24318019 HAS SOUS 22219262 HAS SOUPS 21546812 WITH SCORE 2.1597209277E7
AT ITER 3597 NEW BEST:: SOT 61078173 SOS 50397277 HAS SOPS 24317431 HAS SOUS 22218674 HAS SOUPS 21546224 WITH SCORE 2.1596621277E7
AT ITER 3598 NEW BEST:: SOT 61078064 SOS 50397168 HAS SOPS 24317431 HAS SOUS 22218565 HAS SOUPS 21546224 WITH SCORE 2.1596621168E7
AT ITER 3604 NEW BEST:: SOT 61075925 SOS 50395029 HAS SOPS 24312794 HAS SOUS 22213928 HAS SOUPS 21541587 WITH SCORE 2.1591982029E7
AT ITER 3605 NEW BEST:: SOT 61075925 SOS 50395029 HAS SOPS 24312600 HAS SOUS 22213734 HAS SOUPS 21541393 WITH SCORE 2.1591788029E7
AT ITER 3615 NEW BEST:: SOT 61073514 SOS 50392618 HAS SOPS 24310634 HAS SOUS 22211768 HAS SOUPS 21539427 WITH SCORE 2.1589819618E7
AT ITER 3618 NEW BEST:: SOT 61072445 SOS 50391549 HAS SOPS 24309932 HAS SOUS 22210988 HAS SOUPS 21538725 WITH SCORE 2.1589116549E7
AT ITER 3619 NEW BEST:: SOT 61073033 SOS 50392137 HAS SOPS 24308847 HAS SOUS 22209903 HAS SOUPS 21537640 WITH SCORE 2.1588032137E7
AT ITER 3624 NEW BEST:: SOT 61071673 SOS 50390777 HAS SOPS 24300945 HAS SOUS 22202495 HAS SOUPS 21529738 WITH SCORE 2.1580128777E7
AT ITER 3628 NEW BEST:: SOT 61070506 SOS 50389610 HAS SOPS 24297935 HAS SOUS 22199485 HAS SOUPS 21526728 WITH SCORE 2.157711761E7
AT ITER 3643 NEW BEST:: SOT 61068051 SOS 50387155 HAS SOPS 24292986 HAS SOUS 22194536 HAS SOUPS 21521779 WITH SCORE 2.1572166155E7
AT ITER 3648 NEW BEST:: SOT 61066512 SOS 50385616 HAS SOPS 24291010 HAS SOUS 22192684 HAS SOUPS 21519803 WITH SCORE 2.1570188616E7
AT ITER 3657 NEW BEST:: SOT 61066171 SOS 50385275 HAS SOPS 24290297 HAS SOUS 22191971 HAS SOUPS 21519090 WITH SCORE 2.1569475275E7
AT ITER 3661 NEW BEST:: SOT 61063896 SOS 50383000 HAS SOPS 24285167 HAS SOUS 22186841 HAS SOUPS 21513960 WITH SCORE 2.1564343E7
AT ITER 3666 NEW BEST:: SOT 61064887 SOS 50383991 HAS SOPS 24284936 HAS SOUS 22186610 HAS SOUPS 21513729 WITH SCORE 2.1564112991E7
AT ITER 3667 NEW BEST:: SOT 61065776 SOS 50384880 HAS SOPS 24284318 HAS SOUS 22186318 HAS SOUPS 21513111 WITH SCORE 2.156349588E7
AT ITER 3673 NEW BEST:: SOT 61064051 SOS 50383155 HAS SOPS 24280089 HAS SOUS 22182089 HAS SOUPS 21508882 WITH SCORE 2.1559265155E7
AT ITER 3676 NEW BEST:: SOT 61063868 SOS 50382972 HAS SOPS 24279482 HAS SOUS 22181420 HAS SOUPS 21508275 WITH SCORE 2.1558657972E7
AT ITER 3680 NEW BEST:: SOT 61063792 SOS 50382896 HAS SOPS 24279406 HAS SOUS 22181344 HAS SOUPS 21508199 WITH SCORE 2.1558581896E7
AT ITER 3681 NEW BEST:: SOT 61062429 SOS 50381533 HAS SOPS 24273756 HAS SOUS 22176702 HAS SOUPS 21502549 WITH SCORE 2.1552930533E7
AT ITER 3686 NEW BEST:: SOT 61061969 SOS 50381073 HAS SOPS 24272498 HAS SOUS 22175444 HAS SOUPS 21501291 WITH SCORE 2.1551672073E7
AT ITER 3693 NEW BEST:: SOT 61060898 SOS 50380002 HAS SOPS 24270338 HAS SOUS 22173284 HAS SOUPS 21499131 WITH SCORE 2.1549511002E7
AT ITER 3702 NEW BEST:: SOT 61063260 SOS 50382364 HAS SOPS 24268258 HAS SOUS 22171204 HAS SOUPS 21497051 WITH SCORE 2.1547433364E7
AT ITER 3711 NEW BEST:: SOT 61064810 SOS 50383914 HAS SOPS 24266773 HAS SOUS 22169738 HAS SOUPS 21495566 WITH SCORE 2.1545949914E7
AT ITER 3728 NEW BEST:: SOT 61064810 SOS 50383914 HAS SOPS 24264341 HAS SOUS 22167306 HAS SOUPS 21493134 WITH SCORE 2.1543517914E7
AT ITER 3730 NEW BEST:: SOT 61064810 SOS 50383914 HAS SOPS 24263761 HAS SOUS 22166726 HAS SOUPS 21492554 WITH SCORE 2.1542937914E7
AT ITER 3745 NEW BEST:: SOT 61063322 SOS 50382426 HAS SOPS 24259763 HAS SOUS 22162728 HAS SOUPS 21488556 WITH SCORE 2.1538938426E7
AT ITER 3757 NEW BEST:: SOT 61062404 SOS 50381508 HAS SOPS 24258474 HAS SOUS 22161439 HAS SOUPS 21487267 WITH SCORE 2.1537648508E7
AT ITER 3768 NEW BEST:: SOT 61061945 SOS 50381049 HAS SOPS 24256121 HAS SOUS 22159086 HAS SOUPS 21484914 WITH SCORE 2.1535295049E7
AT ITER 3787 NEW BEST:: SOT 61061784 SOS 50380888 HAS SOPS 24255799 HAS SOUS 22158866 HAS SOUPS 21484592 WITH SCORE 2.1534972888E7
AT ITER 3792 NEW BEST:: SOT 61061637 SOS 50380741 HAS SOPS 24255505 HAS SOUS 22158572 HAS SOUPS 21484298 WITH SCORE 2.1534678741E7
AT ITER 3811 NEW BEST:: SOT 61061973 SOS 50381939 HAS SOPS 24254800 HAS SOUS 22157867 HAS SOUPS 21483593 WITH SCORE 2.1533974939E7
AT ITER 3812 NEW BEST:: SOT 61061688 SOS 50381654 HAS SOPS 24254219 HAS SOUS 22157286 HAS SOUPS 21483012 WITH SCORE 2.1533393654E7
AT ITER 3816 NEW BEST:: SOT 61061173 SOS 50381139 HAS SOPS 24250352 HAS SOUS 22153419 HAS SOUPS 21479145 WITH SCORE 2.1529526139E7
AT ITER 3821 NEW BEST:: SOT 61062142 SOS 50382108 HAS SOPS 24249496 HAS SOUS 22152563 HAS SOUPS 21478289 WITH SCORE 2.1528671108E7
AT ITER 3824 NEW BEST:: SOT 61063175 SOS 50383141 HAS SOPS 24246043 HAS SOUS 22151173 HAS SOUPS 21474836 WITH SCORE 2.1525219141E7
AT ITER 3831 NEW BEST:: SOT 61063640 SOS 50383606 HAS SOPS 24244261 HAS SOUS 22149391 HAS SOUPS 21473054 WITH SCORE 2.1523437606E7
AT ITER 3833 NEW BEST:: SOT 61063348 SOS 50383314 HAS SOPS 24243969 HAS SOUS 22149099 HAS SOUPS 21472762 WITH SCORE 2.1523145314E7
AT ITER 3836 NEW BEST:: SOT 61059487 SOS 50379453 HAS SOPS 24236247 HAS SOUS 22144641 HAS SOUPS 21465040 WITH SCORE 2.1515419453E7
AT ITER 3840 NEW BEST:: SOT 61056542 SOS 50376508 HAS SOPS 24230357 HAS SOUS 22139808 HAS SOUPS 21459150 WITH SCORE 2.1509526508E7
AT ITER 3842 NEW BEST:: SOT 61057444 SOS 50377410 HAS SOPS 24228497 HAS SOUS 22138710 HAS SOUPS 21457290 WITH SCORE 2.150766741E7
AT ITER 3844 NEW BEST:: SOT 61056717 SOS 50376683 HAS SOPS 24226731 HAS SOUS 22136944 HAS SOUPS 21455524 WITH SCORE 2.1505900683E7
AT ITER 3854 NEW BEST:: SOT 61056739 SOS 50376118 HAS SOPS 24226063 HAS SOUS 22137443 HAS SOUPS 21454856 WITH SCORE 2.1505232118E7
AT ITER 3862 NEW BEST:: SOT 61055140 SOS 50374519 HAS SOPS 24222865 HAS SOUS 22135175 HAS SOUPS 21451658 WITH SCORE 2.1502032519E7
AT ITER 3866 NEW BEST:: SOT 61054677 SOS 50374056 HAS SOPS 24222402 HAS SOUS 22134712 HAS SOUPS 21451195 WITH SCORE 2.1501569056E7
AT ITER 3876 NEW BEST:: SOT 61049469 SOS 50368848 HAS SOPS 24219998 HAS SOUS 22132541 HAS SOUPS 21449024 WITH SCORE 2.1499392848E7
AT ITER 3881 NEW BEST:: SOT 61048086 SOS 50367465 HAS SOPS 24217232 HAS SOUS 22129775 HAS SOUPS 21446258 WITH SCORE 2.1496625465E7
AT ITER 3891 NEW BEST:: SOT 61047871 SOS 50367250 HAS SOPS 24216802 HAS SOUS 22129345 HAS SOUPS 21445828 WITH SCORE 2.149619525E7
AT ITER 3892 NEW BEST:: SOT 61047818 SOS 50367197 HAS SOPS 24216696 HAS SOUS 22129239 HAS SOUPS 21445722 WITH SCORE 2.1496089197E7
AT ITER 3896 NEW BEST:: SOT 61047367 SOS 50366966 HAS SOPS 24214201 HAS SOUS 22132632 HAS SOUPS 21443227 WITH SCORE 2.1493593966E7
AT ITER 3900 NEW BEST:: SOT 61048214 SOS 50368543 HAS SOPS 24213783 HAS SOUS 22133285 HAS SOUPS 21442809 WITH SCORE 2.1493177543E7
AT ITER 3905 NEW BEST:: SOT 61045531 SOS 50365860 HAS SOPS 24211939 HAS SOUS 22131181 HAS SOUPS 21440965 WITH SCORE 2.149133086E7
AT ITER 3928 NEW BEST:: SOT 61046564 SOS 50366893 HAS SOPS 24211937 HAS SOUS 22131179 HAS SOUPS 21440963 WITH SCORE 2.1491329893E7
AT ITER 3931 NEW BEST:: SOT 61047013 SOS 50367968 HAS SOPS 24211553 HAS SOUS 22130795 HAS SOUPS 21440579 WITH SCORE 2.1490946968E7
AT ITER 3932 NEW BEST:: SOT 61046035 SOS 50366990 HAS SOPS 24209457 HAS SOUS 22128905 HAS SOUPS 21438483 WITH SCORE 2.148884999E7
AT ITER 3934 NEW BEST:: SOT 61049594 SOS 50370549 HAS SOPS 24207717 HAS SOUS 22127165 HAS SOUPS 21436743 WITH SCORE 2.1487113549E7
AT ITER 3937 NEW BEST:: SOT 61048225 SOS 50369180 HAS SOPS 24206758 HAS SOUS 22126206 HAS SOUPS 21435784 WITH SCORE 2.148615318E7
AT ITER 3940 NEW BEST:: SOT 61048223 SOS 50369178 HAS SOPS 24206754 HAS SOUS 22126202 HAS SOUPS 21435780 WITH SCORE 2.1486149178E7
AT ITER 3945 NEW BEST:: SOT 61048223 SOS 50369178 HAS SOPS 24206501 HAS SOUS 22125949 HAS SOUPS 21435527 WITH SCORE 2.1485896178E7
AT ITER 3946 NEW BEST:: SOT 61048223 SOS 50369178 HAS SOPS 24206114 HAS SOUS 22125562 HAS SOUPS 21435140 WITH SCORE 2.1485509178E7
AT ITER 3952 NEW BEST:: SOT 61052938 SOS 50373893 HAS SOPS 24202978 HAS SOUS 22126240 HAS SOUPS 21432004 WITH SCORE 2.1482377893E7
AT ITER 3970 NEW BEST:: SOT 61052745 SOS 50373700 HAS SOPS 24202145 HAS SOUS 22125407 HAS SOUPS 21431171 WITH SCORE 2.14815447E7
AT ITER 3990 NEW BEST:: SOT 61050238 SOS 50371193 HAS SOPS 24197144 HAS SOUS 22120406 HAS SOUPS 21426170 WITH SCORE 2.1476541193E7
AT ITER 3991 NEW BEST:: SOT 61051643 SOS 50372598 HAS SOPS 24197007 HAS SOUS 22120269 HAS SOUPS 21426033 WITH SCORE 2.1476405598E7
AT ITER 3999 NEW BEST:: SOT 61048702 SOS 50369657 HAS SOPS 24190542 HAS SOUS 22115204 HAS SOUPS 21419568 WITH SCORE 2.1469937657E7
AT ITER 4005 NEW BEST:: SOT 61047411 SOS 50368366 HAS SOPS 24187901 HAS SOUS 22112634 HAS SOUPS 21416927 WITH SCORE 2.1467295366E7
AT ITER 4011 NEW BEST:: SOT 61046239 SOS 50367194 HAS SOPS 24187408 HAS SOUS 22112141 HAS SOUPS 21416434 WITH SCORE 2.1466801194E7
AT ITER 4013 NEW BEST:: SOT 61044970 SOS 50365925 HAS SOPS 24187399 HAS SOUS 22112132 HAS SOUPS 21416425 WITH SCORE 2.1466790925E7
AT ITER 4017 NEW BEST:: SOT 61043192 SOS 50364147 HAS SOPS 24183163 HAS SOUS 22107896 HAS SOUPS 21412189 WITH SCORE 2.1462553147E7
AT ITER 4026 NEW BEST:: SOT 61043192 SOS 50364147 HAS SOPS 24182874 HAS SOUS 22107607 HAS SOUPS 21411900 WITH SCORE 2.1462264147E7
AT ITER 4037 NEW BEST:: SOT 61040807 SOS 50361762 HAS SOPS 24178104 HAS SOUS 22102837 HAS SOUPS 21407130 WITH SCORE 2.1457491762E7
AT ITER 4040 NEW BEST:: SOT 61040615 SOS 50361570 HAS SOPS 24177719 HAS SOUS 22102452 HAS SOUPS 21406745 WITH SCORE 2.145710657E7
AT ITER 4041 NEW BEST:: SOT 61038624 SOS 50359579 HAS SOPS 24173256 HAS SOUS 22097989 HAS SOUPS 21402282 WITH SCORE 2.1452641579E7
AT ITER 4050 NEW BEST:: SOT 61038399 SOS 50359354 HAS SOPS 24172806 HAS SOUS 22097776 HAS SOUPS 21401832 WITH SCORE 2.1452191354E7
AT ITER 4070 NEW BEST:: SOT 61039068 SOS 50360972 HAS SOPS 24172695 HAS SOUS 22098633 HAS SOUPS 21401721 WITH SCORE 2.1452081972E7
AT ITER 4071 NEW BEST:: SOT 61003115 SOS 50325019 HAS SOPS 24133857 HAS SOUS 22059862 HAS SOUPS 21362883 WITH SCORE 2.1413208019E7
AT ITER 4072 NEW BEST:: SOT 61002217 SOS 50259575 HAS SOPS 24070181 HAS SOUS 22058066 HAS SOUPS 21361087 WITH SCORE 2.1411346575E7
AT ITER 4075 NEW BEST:: SOT 61002217 SOS 50259575 HAS SOPS 24069523 HAS SOUS 22057408 HAS SOUPS 21360429 WITH SCORE 2.1410688575E7
AT ITER 4083 NEW BEST:: SOT 61001992 SOS 50259350 HAS SOPS 24069073 HAS SOUS 22056958 HAS SOUPS 21359979 WITH SCORE 2.141023835E7
AT ITER 4086 NEW BEST:: SOT 61003756 SOS 50261114 HAS SOPS 24068961 HAS SOUS 22057875 HAS SOUPS 21359867 WITH SCORE 2.1410128114E7
AT ITER 4094 NEW BEST:: SOT 61003756 SOS 50261114 HAS SOPS 24068957 HAS SOUS 22058110 HAS SOUPS 21359863 WITH SCORE 2.1410124114E7
AT ITER 4096 NEW BEST:: SOT 61001708 SOS 50259066 HAS SOPS 24064423 HAS SOUS 22053576 HAS SOUPS 21355329 WITH SCORE 2.1405588066E7
AT ITER 4098 NEW BEST:: SOT 60999859 SOS 50257217 HAS SOPS 24060112 HAS SOUS 22049265 HAS SOUPS 21351018 WITH SCORE 2.1401275217E7
AT ITER 4103 NEW BEST:: SOT 60999472 SOS 50256830 HAS SOPS 24060112 HAS SOUS 22049265 HAS SOUPS 21351018 WITH SCORE 2.140127483E7
AT ITER 4106 NEW BEST:: SOT 60997451 SOS 50254809 HAS SOPS 24055591 HAS SOUS 22044744 HAS SOUPS 21346497 WITH SCORE 2.1396751809E7
AT ITER 4109 NEW BEST:: SOT 60997035 SOS 50254393 HAS SOPS 24055285 HAS SOUS 22044438 HAS SOUPS 21346191 WITH SCORE 2.1396445393E7
AT ITER 4112 NEW BEST:: SOT 60997262 SOS 50254620 HAS SOPS 24051137 HAS SOUS 22040659 HAS SOUPS 21342043 WITH SCORE 2.139229762E7
AT ITER 4113 NEW BEST:: SOT 60997262 SOS 50254620 HAS SOPS 24051133 HAS SOUS 22040655 HAS SOUPS 21342039 WITH SCORE 2.139229362E7
AT ITER 4115 NEW BEST:: SOT 60995143 SOS 50252501 HAS SOPS 24046895 HAS SOUS 22036417 HAS SOUPS 21337801 WITH SCORE 2.1388053501E7
AT ITER 4117 NEW BEST:: SOT 60994828 SOS 50252186 HAS SOPS 24046580 HAS SOUS 22036102 HAS SOUPS 21337486 WITH SCORE 2.1387738186E7
AT ITER 4118 NEW BEST:: SOT 60995848 SOS 50253206 HAS SOPS 24046402 HAS SOUS 22035924 HAS SOUPS 21337308 WITH SCORE 2.1387561206E7
AT ITER 4135 NEW BEST:: SOT 60995848 SOS 50253206 HAS SOPS 24046310 HAS SOUS 22035832 HAS SOUPS 21337216 WITH SCORE 2.1387469206E7
AT ITER 4141 NEW BEST:: SOT 60994365 SOS 50251723 HAS SOPS 24043344 HAS SOUS 22032866 HAS SOUPS 21334250 WITH SCORE 2.1384501723E7
AT ITER 4145 NEW BEST:: SOT 60994087 SOS 50251445 HAS SOPS 24043066 HAS SOUS 22032588 HAS SOUPS 21333972 WITH SCORE 2.1384223445E7
AT ITER 4147 NEW BEST:: SOT 60993546 SOS 50250904 HAS SOPS 24042525 HAS SOUS 22032047 HAS SOUPS 21333431 WITH SCORE 2.1383681904E7
AT ITER 4159 NEW BEST:: SOT 60992272 SOS 50202492 HAS SOPS 23995387 HAS SOUS 22029499 HAS SOUPS 21330883 WITH SCORE 2.1381085492E7
AT ITER 4165 NEW BEST:: SOT 60995854 SOS 50206074 HAS SOPS 23993128 HAS SOUS 22027486 HAS SOUPS 21328624 WITH SCORE 2.1378830074E7
AT ITER 4167 NEW BEST:: SOT 60993374 SOS 50203594 HAS SOPS 23988168 HAS SOUS 22022526 HAS SOUPS 21323664 WITH SCORE 2.1373867594E7
AT ITER 4171 NEW BEST:: SOT 60993434 SOS 50203654 HAS SOPS 23985921 HAS SOUS 22022865 HAS SOUPS 21321417 WITH SCORE 2.1371620654E7
AT ITER 4175 NEW BEST:: SOT 60993406 SOS 50203598 HAS SOPS 23985865 HAS SOUS 22022809 HAS SOUPS 21321361 WITH SCORE 2.1371564598E7
AT ITER 4198 NEW BEST:: SOT 60993406 SOS 50203598 HAS SOPS 23985604 HAS SOUS 22022754 HAS SOUPS 21321100 WITH SCORE 2.1371303598E7
AT ITER 4202 NEW BEST:: SOT 60993599 SOS 50203791 HAS SOPS 23984030 HAS SOUS 22021180 HAS SOUPS 21319526 WITH SCORE 2.1369729791E7
AT ITER 4204 NEW BEST:: SOT 60993599 SOS 50203791 HAS SOPS 23984026 HAS SOUS 22021176 HAS SOUPS 21319522 WITH SCORE 2.1369725791E7
AT ITER 4221 NEW BEST:: SOT 60994713 SOS 50204905 HAS SOPS 23984024 HAS SOUS 22021894 HAS SOUPS 21319520 WITH SCORE 2.1369724905E7
AT ITER 4222 NEW BEST:: SOT 60994511 SOS 50204703 HAS SOPS 23983620 HAS SOUS 22021845 HAS SOUPS 21319116 WITH SCORE 2.1369320703E7
AT ITER 4228 NEW BEST:: SOT 60992115 SOS 50202307 HAS SOPS 23978828 HAS SOUS 22017127 HAS SOUPS 21314324 WITH SCORE 2.1364526307E7
AT ITER 4232 NEW BEST:: SOT 60992115 SOS 50206083 HAS SOPS 23978700 HAS SOUS 22017063 HAS SOUPS 21314196 WITH SCORE 2.1364402083E7
AT ITER 4234 NEW BEST:: SOT 60910104 SOS 50124072 HAS SOPS 23893605 HAS SOUS 21931968 HAS SOUPS 21229101 WITH SCORE 2.1279225072E7
AT ITER 4236 NEW BEST:: SOT 60910533 SOS 50124501 HAS SOPS 23891875 HAS SOUS 21930238 HAS SOUPS 21227371 WITH SCORE 2.1277495501E7
AT ITER 4241 NEW BEST:: SOT 60910533 SOS 50124501 HAS SOPS 23891483 HAS SOUS 21929846 HAS SOUPS 21226979 WITH SCORE 2.1277103501E7
AT ITER 4244 NEW BEST:: SOT 60910145 SOS 50124113 HAS SOPS 23891068 HAS SOUS 21929431 HAS SOUPS 21226564 WITH SCORE 2.1276688113E7
AT ITER 4246 NEW BEST:: SOT 60907834 SOS 50121802 HAS SOPS 23886255 HAS SOUS 21924618 HAS SOUPS 21221751 WITH SCORE 2.1271872802E7
AT ITER 4253 NEW BEST:: SOT 60908834 SOS 50122802 HAS SOPS 23885896 HAS SOUS 21924259 HAS SOUPS 21221392 WITH SCORE 2.1271514802E7
AT ITER 4254 NEW BEST:: SOT 60908417 SOS 50122385 HAS SOPS 23885061 HAS SOUS 21923424 HAS SOUPS 21220557 WITH SCORE 2.1270679385E7
AT ITER 4260 NEW BEST:: SOT 60908417 SOS 50132405 HAS SOPS 23884894 HAS SOUS 21923446 HAS SOUPS 21220390 WITH SCORE 2.1270522405E7
AT ITER 4263 NEW BEST:: SOT 60909144 SOS 50133132 HAS SOPS 23882888 HAS SOUS 21921829 HAS SOUPS 21218384 WITH SCORE 2.1268517132E7
AT ITER 4288 NEW BEST:: SOT 60909962 SOS 50133950 HAS SOPS 23881805 HAS SOUS 21920746 HAS SOUPS 21217301 WITH SCORE 2.126743495E7
AT ITER 4290 NEW BEST:: SOT 60911461 SOS 50135449 HAS SOPS 23881803 HAS SOUS 21922065 HAS SOUPS 21217299 WITH SCORE 2.1267434449E7
AT ITER 4294 NEW BEST:: SOT 60914520 SOS 50138508 HAS SOPS 23881646 HAS SOUS 21921908 HAS SOUPS 21217142 WITH SCORE 2.1267280508E7
AT ITER 4319 NEW BEST:: SOT 60913798 SOS 50137786 HAS SOPS 23879480 HAS SOUS 21919742 HAS SOUPS 21214976 WITH SCORE 2.1265113786E7
AT ITER 4330 NEW BEST:: SOT 60914316 SOS 50138304 HAS SOPS 23877484 HAS SOUS 21917746 HAS SOUPS 21212980 WITH SCORE 2.1263118304E7
AT ITER 4332 NEW BEST:: SOT 60914316 SOS 50138304 HAS SOPS 23877480 HAS SOUS 21917742 HAS SOUPS 21212976 WITH SCORE 2.1263114304E7
AT ITER 4348 NEW BEST:: SOT 60915974 SOS 50139962 HAS SOPS 23877478 HAS SOUS 21917740 HAS SOUPS 21212974 WITH SCORE 2.1263113962E7
AT ITER 4354 NEW BEST:: SOT 60914248 SOS 50138236 HAS SOPS 23876310 HAS SOUS 21916774 HAS SOUPS 21212008 WITH SCORE 2.1262146236E7
AT ITER 4355 NEW BEST:: SOT 60913486 SOS 50137474 HAS SOPS 23874786 HAS SOUS 21915250 HAS SOUPS 21210484 WITH SCORE 2.1260621474E7
AT ITER 4356 NEW BEST:: SOT 60913215 SOS 50137203 HAS SOPS 23872093 HAS SOUS 21912557 HAS SOUPS 21207791 WITH SCORE 2.1257928203E7
AT ITER 4369 NEW BEST:: SOT 60913917 SOS 50137905 HAS SOPS 23871343 HAS SOUS 21911807 HAS SOUPS 21207041 WITH SCORE 2.1257178905E7
AT ITER 4370 NEW BEST:: SOT 60914245 SOS 50137669 HAS SOPS 23870498 HAS SOUS 21910962 HAS SOUPS 21206196 WITH SCORE 2.1256333669E7
AT ITER 4378 NEW BEST:: SOT 60916069 SOS 50139493 HAS SOPS 23870496 HAS SOUS 21911020 HAS SOUPS 21206194 WITH SCORE 2.1256333493E7
AT ITER 4383 NEW BEST:: SOT 60914922 SOS 50095907 HAS SOPS 23828057 HAS SOUS 21908726 HAS SOUPS 21203900 WITH SCORE 2.1253995907E7
AT ITER 4384 NEW BEST:: SOT 60914922 SOS 50095907 HAS SOPS 23828053 HAS SOUS 21908974 HAS SOUPS 21203896 WITH SCORE 2.1253991907E7
AT ITER 4387 NEW BEST:: SOT 60914884 SOS 50095869 HAS SOPS 23824309 HAS SOUS 21905576 HAS SOUPS 21200152 WITH SCORE 2.1250247869E7
AT ITER 4388 NEW BEST:: SOT 60916042 SOS 50097027 HAS SOPS 23824307 HAS SOUS 21906139 HAS SOUPS 21200150 WITH SCORE 2.1250247027E7
AT ITER 4402 NEW BEST:: SOT 60917214 SOS 50098199 HAS SOPS 23821943 HAS SOUS 21904098 HAS SOUPS 21197786 WITH SCORE 2.1247884199E7
AT ITER 4403 NEW BEST:: SOT 60915086 SOS 50096071 HAS SOPS 23817933 HAS SOUS 21900088 HAS SOUPS 21193776 WITH SCORE 2.1243872071E7
AT ITER 4406 NEW BEST:: SOT 60915086 SOS 50096071 HAS SOPS 23817515 HAS SOUS 21899670 HAS SOUPS 21193358 WITH SCORE 2.1243454071E7
AT ITER 4419 NEW BEST:: SOT 60915501 SOS 50021871 HAS SOPS 23698583 HAS SOUS 21850540 HAS SOUPS 21144228 WITH SCORE 2.1194249871E7
AT ITER 4443 NEW BEST:: SOT 60913734 SOS 50020104 HAS SOPS 23694316 HAS SOUS 21846273 HAS SOUPS 21139961 WITH SCORE 2.1189981104E7
AT ITER 4447 NEW BEST:: SOT 60913804 SOS 50051674 HAS SOPS 23693354 HAS SOUS 21846156 HAS SOUPS 21138999 WITH SCORE 2.1189050674E7
AT ITER 4448 NEW BEST:: SOT 60907933 SOS 50045803 HAS SOPS 23689105 HAS SOUS 21842692 HAS SOUPS 21135535 WITH SCORE 2.1185580803E7
AT ITER 4449 NEW BEST:: SOT 60907583 SOS 50045453 HAS SOPS 23687976 HAS SOUS 21841563 HAS SOUPS 21134406 WITH SCORE 2.1184451453E7
AT ITER 4457 NEW BEST:: SOT 60907136 SOS 50045006 HAS SOPS 23685751 HAS SOUS 21839338 HAS SOUPS 21132181 WITH SCORE 2.1182226006E7
AT ITER 4468 NEW BEST:: SOT 60906169 SOS 50044039 HAS SOPS 23682788 HAS SOUS 21836375 HAS SOUPS 21129218 WITH SCORE 2.1179262039E7
AT ITER 4469 NEW BEST:: SOT 60908376 SOS 50046246 HAS SOPS 23676379 HAS SOUS 21833006 HAS SOUPS 21122809 WITH SCORE 2.1172855246E7
AT ITER 4473 NEW BEST:: SOT 60907833 SOS 50045703 HAS SOPS 23670879 HAS SOUS 21827715 HAS SOUPS 21117309 WITH SCORE 2.1167354703E7
AT ITER 4474 NEW BEST:: SOT 60907060 SOS 50044930 HAS SOPS 23667787 HAS SOUS 21825288 HAS SOUPS 21114217 WITH SCORE 2.116426193E7
AT ITER 4477 NEW BEST:: SOT 60906764 SOS 50044634 HAS SOPS 23660429 HAS SOUS 21818476 HAS SOUPS 21106859 WITH SCORE 2.1156903634E7
AT ITER 4482 NEW BEST:: SOT 60906779 SOS 50045022 HAS SOPS 23659438 HAS SOUS 21817485 HAS SOUPS 21105868 WITH SCORE 2.1155913022E7
AT ITER 4485 NEW BEST:: SOT 60910015 SOS 50048258 HAS SOPS 23657084 HAS SOUS 21815131 HAS SOUPS 21103514 WITH SCORE 2.1153562258E7
AT ITER 4486 NEW BEST:: SOT 60910014 SOS 50048257 HAS SOPS 23657082 HAS SOUS 21815129 HAS SOUPS 21103512 WITH SCORE 2.1153560257E7
AT ITER 4490 NEW BEST:: SOT 60909745 SOS 50047988 HAS SOPS 23656544 HAS SOUS 21814792 HAS SOUPS 21102974 WITH SCORE 2.1153021988E7
AT ITER 4491 NEW BEST:: SOT 60909865 SOS 50048108 HAS SOPS 23654926 HAS SOUS 21813767 HAS SOUPS 21101356 WITH SCORE 2.1151404108E7
AT ITER 4499 NEW BEST:: SOT 60911299 SOS 50049542 HAS SOPS 23654214 HAS SOUS 21813055 HAS SOUPS 21100644 WITH SCORE 2.1150693542E7
AT ITER 4501 NEW BEST:: SOT 60910787 SOS 50049030 HAS SOPS 23652666 HAS SOUS 21811507 HAS SOUPS 21099096 WITH SCORE 2.114914503E7
AT ITER 4511 NEW BEST:: SOT 60857268 SOS 50009611 HAS SOPS 23599100 HAS SOUS 21758035 HAS SOUPS 21045530 WITH SCORE 2.1095539611E7
AT ITER 4518 NEW BEST:: SOT 60856625 SOS 49985177 HAS SOPS 23575309 HAS SOUS 21756749 HAS SOUPS 21044244 WITH SCORE 2.1094229177E7
AT ITER 4524 NEW BEST:: SOT 60856625 SOS 49985177 HAS SOPS 23574545 HAS SOUS 21755985 HAS SOUPS 21043480 WITH SCORE 2.1093465177E7
AT ITER 4529 NEW BEST:: SOT 60856119 SOS 49984671 HAS SOPS 23573513 HAS SOUS 21754953 HAS SOUPS 21042448 WITH SCORE 2.1092432671E7
AT ITER 4531 NEW BEST:: SOT 60856421 SOS 49984973 HAS SOPS 23571921 HAS SOUS 21753361 HAS SOUPS 21040856 WITH SCORE 2.1090840973E7
AT ITER 4532 NEW BEST:: SOT 60854387 SOS 49982939 HAS SOPS 23567455 HAS SOUS 21748895 HAS SOUPS 21036390 WITH SCORE 2.1086372939E7
AT ITER 4548 NEW BEST:: SOT 60852715 SOS 49981267 HAS SOPS 23564072 HAS SOUS 21745512 HAS SOUPS 21033007 WITH SCORE 2.1082988267E7
AT ITER 4556 NEW BEST:: SOT 60853135 SOS 49981687 HAS SOPS 23559980 HAS SOUS 21742774 HAS SOUPS 21028915 WITH SCORE 2.1078896687E7
AT ITER 4559 NEW BEST:: SOT 60852438 SOS 49980990 HAS SOPS 23557890 HAS SOUS 21740684 HAS SOUPS 21026825 WITH SCORE 2.107680599E7
AT ITER 4563 NEW BEST:: SOT 60853266 SOS 49981818 HAS SOPS 23557888 HAS SOUS 21740682 HAS SOUPS 21026823 WITH SCORE 2.1076804818E7
AT ITER 4565 NEW BEST:: SOT 60852936 SOS 49981488 HAS SOPS 23557228 HAS SOUS 21740022 HAS SOUPS 21026163 WITH SCORE 2.1076144488E7
AT ITER 4567 NEW BEST:: SOT 60851976 SOS 49980528 HAS SOPS 23555226 HAS SOUS 21738020 HAS SOUPS 21024161 WITH SCORE 2.1074141528E7
AT ITER 4571 NEW BEST:: SOT 60851327 SOS 49979879 HAS SOPS 23553928 HAS SOUS 21736722 HAS SOUPS 21022863 WITH SCORE 2.1072842879E7
AT ITER 4577 NEW BEST:: SOT 60852659 SOS 49981211 HAS SOPS 23553926 HAS SOUS 21736720 HAS SOUPS 21022861 WITH SCORE 2.1072842211E7
AT ITER 4581 NEW BEST:: SOT 60852214 SOS 49980766 HAS SOPS 23553670 HAS SOUS 21736464 HAS SOUPS 21022605 WITH SCORE 2.1072585766E7
AT ITER 4588 NEW BEST:: SOT 60852214 SOS 49980766 HAS SOPS 23553256 HAS SOUS 21736050 HAS SOUPS 21022191 WITH SCORE 2.1072171766E7
AT ITER 4591 NEW BEST:: SOT 60851847 SOS 49980399 HAS SOPS 23552806 HAS SOUS 21735600 HAS SOUPS 21021741 WITH SCORE 2.1071721399E7
AT ITER 4593 NEW BEST:: SOT 60850308 SOS 49978860 HAS SOPS 23549620 HAS SOUS 21732414 HAS SOUPS 21018555 WITH SCORE 2.106853386E7
AT ITER 4600 NEW BEST:: SOT 60849165 SOS 49977717 HAS SOPS 23545969 HAS SOUS 21728763 HAS SOUPS 21014904 WITH SCORE 2.1064881717E7
AT ITER 4605 NEW BEST:: SOT 60847581 SOS 49976133 HAS SOPS 23541915 HAS SOUS 21724709 HAS SOUPS 21010850 WITH SCORE 2.1060826133E7
AT ITER 4611 NEW BEST:: SOT 60844851 SOS 49975099 HAS SOPS 23541743 HAS SOUS 21727470 HAS SOUPS 21010678 WITH SCORE 2.1060653099E7
AT ITER 4615 NEW BEST:: SOT 60844851 SOS 49975099 HAS SOPS 23540236 HAS SOUS 21726110 HAS SOUPS 21009171 WITH SCORE 2.1059146099E7
AT ITER 4617 NEW BEST:: SOT 60843991 SOS 49974239 HAS SOPS 23537656 HAS SOUS 21723530 HAS SOUPS 21006591 WITH SCORE 2.1056565239E7
AT ITER 4640 NEW BEST:: SOT 60844582 SOS 49974830 HAS SOPS 23537654 HAS SOUS 21723528 HAS SOUPS 21006589 WITH SCORE 2.105656383E7
AT ITER 4642 NEW BEST:: SOT 60844189 SOS 49974437 HAS SOPS 23535840 HAS SOUS 21721714 HAS SOUPS 21004775 WITH SCORE 2.1054749437E7
AT ITER 4670 NEW BEST:: SOT 60842467 SOS 49972715 HAS SOPS 23533794 HAS SOUS 21719668 HAS SOUPS 21002729 WITH SCORE 2.1052701715E7
AT ITER 4676 NEW BEST:: SOT 60846995 SOS 49977243 HAS SOPS 23531843 HAS SOUS 21718354 HAS SOUPS 21000778 WITH SCORE 2.1050755243E7
AT ITER 4677 NEW BEST:: SOT 60846407 SOS 49976655 HAS SOPS 23529609 HAS SOUS 21716120 HAS SOUPS 20998544 WITH SCORE 2.1048520655E7
AT ITER 4684 NEW BEST:: SOT 60846407 SOS 49976655 HAS SOPS 23529319 HAS SOUS 21715830 HAS SOUPS 20998254 WITH SCORE 2.1048230655E7
AT ITER 4689 NEW BEST:: SOT 60846407 SOS 49976655 HAS SOPS 23528788 HAS SOUS 21715299 HAS SOUPS 20997723 WITH SCORE 2.1047699655E7
AT ITER 4690 NEW BEST:: SOT 60846407 SOS 49976655 HAS SOPS 23528624 HAS SOUS 21715135 HAS SOUPS 20997559 WITH SCORE 2.1047535655E7
AT ITER 4698 NEW BEST:: SOT 60847996 SOS 49978244 HAS SOPS 23527394 HAS SOUS 21713905 HAS SOUPS 20996329 WITH SCORE 2.1046307244E7
AT ITER 4701 NEW BEST:: SOT 60846994 SOS 49977242 HAS SOPS 23524584 HAS SOUS 21711095 HAS SOUPS 20993519 WITH SCORE 2.1043496242E7
AT ITER 4711 NEW BEST:: SOT 60845075 SOS 49975323 HAS SOPS 23523803 HAS SOUS 21711037 HAS SOUPS 20993461 WITH SCORE 2.1043436323E7
AT ITER 4718 NEW BEST:: SOT 60843522 SOS 49973770 HAS SOPS 23520510 HAS SOUS 21707744 HAS SOUPS 20990168 WITH SCORE 2.104014177E7
AT ITER 4724 NEW BEST:: SOT 60843014 SOS 49973262 HAS SOPS 23520002 HAS SOUS 21707236 HAS SOUPS 20989660 WITH SCORE 2.1039633262E7
AT ITER 4726 NEW BEST:: SOT 60842450 SOS 49972698 HAS SOPS 23519366 HAS SOUS 21706600 HAS SOUPS 20989024 WITH SCORE 2.1038996698E7
AT ITER 4736 NEW BEST:: SOT 60842310 SOS 49972558 HAS SOPS 23519086 HAS SOUS 21706398 HAS SOUPS 20988744 WITH SCORE 2.1038716558E7
AT ITER 4740 NEW BEST:: SOT 60842067 SOS 49972315 HAS SOPS 23516340 HAS SOUS 21703652 HAS SOUPS 20985998 WITH SCORE 2.1035970315E7
AT ITER 4743 NEW BEST:: SOT 60842067 SOS 49972315 HAS SOPS 23514790 HAS SOUS 21702102 HAS SOUPS 20984448 WITH SCORE 2.1034420315E7
AT ITER 4752 NEW BEST:: SOT 60842063 SOS 49972311 HAS SOPS 23514782 HAS SOUS 21702094 HAS SOUPS 20984440 WITH SCORE 2.1034412311E7
AT ITER 4754 NEW BEST:: SOT 60840006 SOS 49970254 HAS SOPS 23510507 HAS SOUS 21697819 HAS SOUPS 20980165 WITH SCORE 2.1030135254E7
AT ITER 4760 NEW BEST:: SOT 60838339 SOS 49968587 HAS SOPS 23506334 HAS SOUS 21693646 HAS SOUPS 20975992 WITH SCORE 2.1025960587E7
AT ITER 4764 NEW BEST:: SOT 60838339 SOS 49968587 HAS SOPS 23506007 HAS SOUS 21693361 HAS SOUPS 20975665 WITH SCORE 2.1025633587E7
AT ITER 4769 NEW BEST:: SOT 60835848 SOS 49966096 HAS SOPS 23501025 HAS SOUS 21688379 HAS SOUPS 20970683 WITH SCORE 2.1020649096E7
AT ITER 4775 NEW BEST:: SOT 60836601 SOS 49966849 HAS SOPS 23500803 HAS SOUS 21688157 HAS SOUPS 20970461 WITH SCORE 2.1020427849E7
AT ITER 4780 NEW BEST:: SOT 60836601 SOS 49966849 HAS SOPS 23500675 HAS SOUS 21688029 HAS SOUPS 20970333 WITH SCORE 2.1020299849E7
AT ITER 4782 NEW BEST:: SOT 60834649 SOS 49964897 HAS SOPS 23496405 HAS SOUS 21683759 HAS SOUPS 20966063 WITH SCORE 2.1016027897E7
AT ITER 4785 NEW BEST:: SOT 60831143 SOS 49961565 HAS SOPS 23495195 HAS SOUS 21683108 HAS SOUPS 20965412 WITH SCORE 2.1015373565E7
AT ITER 4809 NEW BEST:: SOT 60832348 SOS 49962770 HAS SOPS 23494589 HAS SOUS 21682502 HAS SOUPS 20964806 WITH SCORE 2.101476877E7
AT ITER 4816 NEW BEST:: SOT 60832348 SOS 49962770 HAS SOPS 23493486 HAS SOUS 21681399 HAS SOUPS 20963703 WITH SCORE 2.101366577E7
AT ITER 4824 NEW BEST:: SOT 60832338 SOS 49962760 HAS SOPS 23493476 HAS SOUS 21681389 HAS SOUPS 20963693 WITH SCORE 2.101365576E7
AT ITER 4826 NEW BEST:: SOT 60832338 SOS 49962760 HAS SOPS 23492340 HAS SOUS 21680253 HAS SOUPS 20962557 WITH SCORE 2.101251976E7
AT ITER 4836 NEW BEST:: SOT 60830824 SOS 49961246 HAS SOPS 23487341 HAS SOUS 21676437 HAS SOUPS 20957558 WITH SCORE 2.1007519246E7
AT ITER 4840 NEW BEST:: SOT 60830824 SOS 49961246 HAS SOPS 23487337 HAS SOUS 21676433 HAS SOUPS 20957554 WITH SCORE 2.1007515246E7
AT ITER 4849 NEW BEST:: SOT 60830931 SOS 49962392 HAS SOPS 23485477 HAS SOUS 21676069 HAS SOUPS 20955694 WITH SCORE 2.1005656392E7
AT ITER 4850 NEW BEST:: SOT 60833385 SOS 49964846 HAS SOPS 23481244 HAS SOUS 21671452 HAS SOUPS 20950720 WITH SCORE 2.1000684846E7
AT ITER 4869 NEW BEST:: SOT 60833385 SOS 49964846 HAS SOPS 23480275 HAS SOUS 21670483 HAS SOUPS 20949751 WITH SCORE 2.0999715846E7
AT ITER 4871 NEW BEST:: SOT 60834170 SOS 49965631 HAS SOPS 23479986 HAS SOUS 21670692 HAS SOUPS 20949462 WITH SCORE 2.0999427631E7
AT ITER 4877 NEW BEST:: SOT 60835967 SOS 49967428 HAS SOPS 23479295 HAS SOUS 21670001 HAS SOUPS 20948771 WITH SCORE 2.0998738428E7
AT ITER 4890 NEW BEST:: SOT 60836703 SOS 49968164 HAS SOPS 23479104 HAS SOUS 21669810 HAS SOUPS 20948580 WITH SCORE 2.0998548164E7
AT ITER 4897 NEW BEST:: SOT 60836567 SOS 49968028 HAS SOPS 23478818 HAS SOUS 21669524 HAS SOUPS 20948294 WITH SCORE 2.0998262028E7
AT ITER 4910 NEW BEST:: SOT 60836567 SOS 49968028 HAS SOPS 23477835 HAS SOUS 21668541 HAS SOUPS 20947311 WITH SCORE 2.0997279028E7
AT ITER 4912 NEW BEST:: SOT 60834805 SOS 49966266 HAS SOPS 23476069 HAS SOUS 21666775 HAS SOUPS 20945545 WITH SCORE 2.0995511266E7
AT ITER 4914 NEW BEST:: SOT 60834805 SOS 49966701 HAS SOPS 23474432 HAS SOUS 21665138 HAS SOUPS 20943908 WITH SCORE 2.0993874701E7
AT ITER 4923 NEW BEST:: SOT 60833254 SOS 49965150 HAS SOPS 23466286 HAS SOUS 21656992 HAS SOUPS 20935762 WITH SCORE 2.098572715E7
AT ITER 4924 NEW BEST:: SOT 60833154 SOS 49965050 HAS SOPS 23466186 HAS SOUS 21656892 HAS SOUPS 20935662 WITH SCORE 2.098562705E7
AT ITER 4928 NEW BEST:: SOT 60829796 SOS 49961692 HAS SOPS 23459470 HAS SOUS 21650176 HAS SOUPS 20928946 WITH SCORE 2.0978907692E7
AT ITER 4934 NEW BEST:: SOT 60830076 SOS 49961972 HAS SOPS 23458835 HAS SOUS 21649541 HAS SOUPS 20928311 WITH SCORE 2.0978272972E7
AT ITER 4935 NEW BEST:: SOT 60828149 SOS 49960045 HAS SOPS 23454981 HAS SOUS 21645687 HAS SOUPS 20924457 WITH SCORE 2.0974417045E7
AT ITER 4936 NEW BEST:: SOT 60827977 SOS 49959701 HAS SOPS 23454637 HAS SOUS 21645515 HAS SOUPS 20924285 WITH SCORE 2.0974244701E7
AT ITER 4948 NEW BEST:: SOT 60827998 SOS 49959722 HAS SOPS 23449809 HAS SOUS 21642298 HAS SOUPS 20919457 WITH SCORE 2.0969416722E7
AT ITER 4949 NEW BEST:: SOT 60828217 SOS 49960026 HAS SOPS 23448377 HAS SOUS 21640866 HAS SOUPS 20918025 WITH SCORE 2.0967985026E7
AT ITER 4953 NEW BEST:: SOT 60828918 SOS 49960727 HAS SOPS 23445963 HAS SOUS 21638722 HAS SOUPS 20915611 WITH SCORE 2.0965571727E7
AT ITER 4956 NEW BEST:: SOT 60826706 SOS 49958515 HAS SOPS 23441539 HAS SOUS 21634428 HAS SOUPS 20911187 WITH SCORE 2.0961145515E7
AT ITER 4964 NEW BEST:: SOT 60826704 SOS 49958513 HAS SOPS 23441535 HAS SOUS 21634424 HAS SOUPS 20911183 WITH SCORE 2.0961141513E7
AT ITER 4976 NEW BEST:: SOT 60824756 SOS 49956565 HAS SOPS 23439587 HAS SOUS 21632476 HAS SOUPS 20909235 WITH SCORE 2.0959191565E7
AT ITER 4977 NEW BEST:: SOT 60824690 SOS 49956499 HAS SOPS 23439455 HAS SOUS 21632344 HAS SOUPS 20909103 WITH SCORE 2.0959059499E7
AT ITER 4983 NEW BEST:: SOT 60822974 SOS 49954783 HAS SOPS 23436009 HAS SOUS 21628937 HAS SOUPS 20905657 WITH SCORE 2.0955611783E7
AT ITER 4984 NEW BEST:: SOT 60821449 SOS 49953258 HAS SOPS 23432499 HAS SOUS 21625462 HAS SOUPS 20902147 WITH SCORE 2.0952100258E7
AT ITER 4986 NEW BEST:: SOT 60819595 SOS 49951404 HAS SOPS 23430697 HAS SOUS 21623660 HAS SOUPS 20900345 WITH SCORE 2.0950296404E7
AT ITER 4988 NEW BEST:: SOT 60818910 SOS 49950719 HAS SOPS 23430656 HAS SOUS 21623619 HAS SOUPS 20900304 WITH SCORE 2.0950254719E7
AT ITER 4992 NEW BEST:: SOT 60820075 SOS 49951884 HAS SOPS 23429668 HAS SOUS 21622631 HAS SOUPS 20899316 WITH SCORE 2.0949267884E7
AT ITER 4995 NEW BEST:: SOT 60819252 SOS 49951061 HAS SOPS 23426727 HAS SOUS 21619690 HAS SOUPS 20896375 WITH SCORE 2.0946326061E7
Bounds file is: CTLFireability.xml
PROPERTY: BART-PT-060-CTLFireability-00 (AF( (AG( (EF( ((potential((tk(P4000)>=1) & (tk(P8047)>=1) & (tk(P8051)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1))))))))))
PROPERTY: BART-PT-060-CTLFireability-01 (EX( ( (! (AF( ((potential((tk(P4)>=1) & (tk(P7951)>=1))))))) & ( ((potential((tk(P7)>=1) & (tk(P7938)>=1)))) & ( ( ((potential((tk(P87)>=1)))) | ((potential((tk(P4731)>=1) & (tk(P8062)>=1) & (tk(P8066)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1)))) ) | (! ((potential((tk(P3510)>=1) & (tk(P8041)>=1) & (tk(P8037)>=1) & (tk(P8127)>=1))))) ) ) )))
PROPERTY: BART-PT-060-CTLFireability-02 (! ( (EU( (! ((potential((tk(P6431)>=1) & (tk(P8097)>=1) & (tk(P8093)>=1) & (tk(P8128)>=1))))) , ( ((potential((tk(P7167)>=1) & (tk(P8109)>=1) & (tk(P8106)>=1) & (tk(P8128)>=1)))) | ((potential((tk(P3429)>=1) & (tk(P8020)>=1) & (tk(P8024)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1)))) ) )) & ( ( (AF( ((potential((tk(P4163)>=1) & (tk(P8035)>=1) & (tk(P8039)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1)))))) | (EX( ((potential((tk(P5117)>=1) & (tk(P8055)>=1) & (tk(P8059)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1)))))) ) & ( ( ((potential((tk(P5191)>=1) & (tk(P8076)>=1) & (tk(P8072)>=1) & (tk(P8127)>=1)))) | ( ((potential((tk(P25)>=1) & (tk(P7921)>=1)))) | ((potential((tk(P7235)>=1) & (tk(P8106)>=1) & (tk(P8103)>=1) & (tk(P8129)>=1)))) ) ) | ( ((potential((tk(P5790)>=1) & (tk(P8078)>=1) & (tk(P8074)>=1) & (tk(P8129)>=1)))) & ( ((potential((tk(P7288)>=1) & (tk(P8115)>=1) & (tk(P8113)>=1) & (tk(P8127)>=1)))) & ((potential((tk(P7249)>=1) & (tk(P8106)>=1) & (tk(P8103)>=1) & (tk(P8129)>=1)))) ) ) ) ) ))
PROPERTY: BART-PT-060-CTLFireability-03 (! (AX( (! (EX( ((potential((tk(P3419)>=1) & (tk(P8028)>=1) & (tk(P8024)>=1) & (tk(P8129)>=1))))))))))
PROPERTY: BART-PT-060-CTLFireability-04 ( ( ((potential((tk(P22)>=1) & (tk(P7955)>=1)))) & ( (EG( (! ((potential((tk(P277)>=1) & (tk(P7962)>=1) & (tk(P7964)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1))))))) & (EG( (! ((potential((tk(P6487)>=1) & (tk(P8093)>=1) & (tk(P8089)>=1) & (tk(P8129)>=1))))))) ) ) | ( ((potential((tk(P3991)>=1) & (tk(P8051)>=1) & (tk(P8047)>=1) & (tk(P8127)>=1)))) & ( ( ( (! ((potential((tk(P17)>=1) & (tk(P7926)>=1))))) | (! ((potential((tk(P5659)>=1) & (tk(P8086)>=1) & (tk(P8082)>=1) & (tk(P8127)>=1))))) ) | ( (! ((potential((tk(P2082)>=1) & (tk(P8011)>=1) & (tk(P8007)>=1) & (tk(P8127)>=1))))) & ( ((potential((tk(P7913)>=1) & (tk(P8125)>=1) & (tk(P8124)>=1) & (tk(P8127)>=1)))) & ((potential((tk(P4695)>=1) & (tk(P8062)>=1) & (tk(P8066)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1)))) ) ) ) | ( (AF( ((potential((tk(P4215)>=1) & (tk(P8056)>=1) & (tk(P8052)>=1) & (tk(P8127)>=1)))))) | (EX( ((potential((tk(P2558)>=1) & (tk(P8021)>=1) & (tk(P8017)>=1) & (tk(P8127)>=1)))))) ) ) ) )
PROPERTY: BART-PT-060-CTLFireability-05 ( ((potential((tk(P4844)>=1) & (tk(P8058)>=1) & (tk(P8054)>=1) & (tk(P8129)>=1)))) | (EX( ((potential((tk(P942)>=1) & (tk(P7971)>=1) & (tk(P7974)>=1) & (tk(P8129)>=1) & (tk(P8128)>=1)))))) )
PROPERTY: BART-PT-060-CTLFireability-06 (AG( ( (EF( (! ((potential((tk(P3781)>=1) & (tk(P8042)>=1) & (tk(P8038)>=1) & (tk(P8128)>=1))))))) & (EG( (! ((potential((tk(P3865)>=1) & (tk(P8038)>=1) & (tk(P8034)>=1) & (tk(P8129)>=1))))))) )))
PROPERTY: BART-PT-060-CTLFireability-07 (EG( ( ( ((potential((tk(P3408)>=1) & (tk(P8028)>=1) & (tk(P8024)>=1) & (tk(P8129)>=1)))) & ((potential((tk(P1641)>=1) & (tk(P7997)>=1) & (tk(P7993)>=1) & (tk(P8128)>=1)))) ) | (! (EG( ((potential((tk(P5098)>=1) & (tk(P8063)>=1) & (tk(P8059)>=1) & (tk(P8129)>=1))))))) )))
PROPERTY: BART-PT-060-CTLFireability-08 (! (AF( (EF( ( ((potential((tk(P2112)>=1) & (tk(P8007)>=1) & (tk(P8003)>=1) & (tk(P8128)>=1)))) | ((potential((tk(P6941)>=1) & (tk(P8105)>=1) & (tk(P8102)>=1) & (tk(P8128)>=1)))) ))))))
PROPERTY: BART-PT-060-CTLFireability-09 (EX( (AG( (! ( ((potential((tk(P2769)>=1) & (tk(P8026)>=1) & (tk(P8022)>=1) & (tk(P8127)>=1)))) | ((potential((tk(P482)>=1) & (tk(P7972)>=1) & (tk(P7969)>=1) & (tk(P8127)>=1)))) ))))))
PROPERTY: BART-PT-060-CTLFireability-10 (EF( (EF( ( ( ((potential((tk(P4493)>=1) & (tk(P8057)>=1) & (tk(P8061)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1)))) & ((potential((tk(P7516)>=1) & (tk(P8116)>=1) & (tk(P8114)>=1) & (tk(P8128)>=1)))) ) & (! ((potential((tk(P6463)>=1) & (tk(P8097)>=1) & (tk(P8093)>=1) & (tk(P8128)>=1))))) )))))
PROPERTY: BART-PT-060-CTLFireability-11 (EF( (EX( (EX( ((potential((tk(P6545)>=1) & (tk(P8085)>=1) & (tk(P8089)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1))))))))))
PROPERTY: BART-PT-060-CTLFireability-12 (EU( (AG( ( ((potential((tk(P3896)>=1) & (tk(P8038)>=1) & (tk(P8034)>=1) & (tk(P8129)>=1)))) & ((potential((tk(P6171)>=1) & (tk(P8092)>=1) & (tk(P8096)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1)))) ))) , ( ( (! ((potential((tk(P6482)>=1) & (tk(P8093)>=1) & (tk(P8089)>=1) & (tk(P8129)>=1))))) | ( ((potential((tk(P1081)>=1) & (tk(P7975)>=1) & (tk(P7978)>=1) & (tk(P8129)>=1) & (tk(P8128)>=1)))) | ((potential((tk(P10)>=1) & (tk(P7922)>=1)))) ) ) & (EF( ((potential((tk(P3992)>=1) & (tk(P8051)>=1) & (tk(P8047)>=1) & (tk(P8127)>=1)))))) ) ))
PROPERTY: BART-PT-060-CTLFireability-13 ( (! ( ( ( (! ((potential((tk(P2545)>=1) & (tk(P8017)>=1) & (tk(P8021)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1))))) | ( ((potential((tk(P5251)>=1) & (tk(P8072)>=1) & (tk(P8068)>=1) & (tk(P8128)>=1)))) & ((potential((tk(P3086)>=1) & (tk(P8027)>=1) & (tk(P8023)>=1) & (tk(P8128)>=1)))) ) ) & (AF( ((potential((tk(P1540)>=1) & (tk(P7980)>=1) & (tk(P7984)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1)))))) ) & ( ( ( ((potential((tk(P6654)>=1) & (tk(P8101)>=1) & (tk(P8104)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1)))) & ((potential((tk(P6868)>=1) & (tk(P8108)>=1) & (tk(P8105)>=1) & (tk(P8127)>=1)))) ) | (! ((potential((tk(P316)>=1) & (tk(P7960)>=1) & (tk(P7962)>=1) & (tk(P8128)>=1) & (tk(P8127)>=1))))) ) | ( ( ((potential((tk(P6372)>=1) & (tk(P8097)>=1) & (tk(P8100)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1)))) | ((potential((tk(P4942)>=1) & (tk(P8067)>=1) & (tk(P8071)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1)))) ) | ((potential((tk(P7176)>=1) & (tk(P8109)>=1) & (tk(P8106)>=1) & (tk(P8128)>=1)))) ) ) )) | ( (AX( ((potential((tk(P285)>=1) & (tk(P7962)>=1) & (tk(P7964)>=1) & (tk(P8127)>=1) & (tk(P8126)>=1)))))) | (! ( ( ( ((potential((tk(P11)>=1) & (tk(P7938)>=1)))) | ((potential((tk(P3317)>=1) & (tk(P8032)>=1) & (tk(P8028)>=1) & (tk(P8128)>=1)))) ) | (! ((potential((tk(P40)>=1) & (tk(P7934)>=1))))) ) | (EF( ((potential((tk(P6467)>=1) & (tk(P8097)>=1) & (tk(P8093)>=1) & (tk(P8128)>=1)))))) )) ) )
PROPERTY: BART-PT-060-CTLFireability-14 ( (EX( (! (EX( ((potential((tk(P4400)>=1) & (tk(P8040)>=1) & (tk(P8044)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1))))))))) & (EF( (EU( ((potential((tk(P1021)>=1) & (tk(P7978)>=1) & (tk(P7982)>=1) & (tk(P8128)>=1) & (tk(P8127)>=1)))) , ((potential((tk(P7401)>=1) & (tk(P8110)>=1) & (tk(P8107)>=1) & (tk(P8129)>=1)))) )))) )
PROPERTY: BART-PT-060-CTLFireability-15 ( (EG( (EF( ( ((potential((tk(P5839)>=1) & (tk(P8070)>=1) & (tk(P8074)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1)))) | ((potential((tk(P1939)>=1) & (tk(P7994)>=1) & (tk(P7998)>=1) & (tk(P8129)>=1) & (tk(P8128)>=1)))) ))))) | ( ( (EF( ( ((potential((tk(P7586)>=1) & (tk(P8114)>=1) & (tk(P8111)>=1) & (tk(P8129)>=1)))) & ((potential((tk(P10)>=1) & (tk(P7933)>=1)))) ))) & ( ( ( ((potential((tk(P942)>=1) & (tk(P7971)>=1) & (tk(P7974)>=1) & (tk(P8129)>=1) & (tk(P8128)>=1)))) | ((potential((tk(P42)>=1) & (tk(P7942)>=1)))) ) | ( ((potential((tk(P5598)>=1) & (tk(P8065)>=1) & (tk(P8069)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1)))) & ((potential((tk(P5002)>=1) & (tk(P8067)>=1) & (tk(P8063)>=1) & (tk(P8128)>=1)))) ) ) & ( (! ((potential((tk(P797)>=1) & (tk(P7981)>=1) & (tk(P7977)>=1) & (tk(P8127)>=1))))) & ( ((potential((tk(P1551)>=1) & (tk(P7980)>=1) & (tk(P7984)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1)))) | ((potential((tk(P5392)>=1) & (tk(P8060)>=1) & (tk(P8064)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1)))) ) ) ) ) | (EG( (! ( ((potential((tk(P6835)>=1) & (tk(P8090)>=1) & (tk(P8094)>=1) & (tk(P8130)>=1) & (tk(P8129)>=1)))) & ((potential((tk(P6655)>=1) & (tk(P8104)>=1) & (tk(P8101)>=1) & (tk(P8127)>=1)))) )))) ) )

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-060"
export BK_EXAMINATION="CTLFireability"
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-060, examination is CTLFireability"
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-158897679600124"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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