Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972600411.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-22b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972600411
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 3.8K Apr 4 20:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 20:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 4 09:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 09:09 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 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 3 21:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 3 13:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 3 13:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 1.8M 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 FlexibleBarrier-PT-22b-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-22b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589457771065

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

GOT IT HERE. BS
Petri model created: 6478 places, 7469 transitions, 18797 arcs.
AT ITER 0 NEW BEST:: SOT 31175572 SOS 16724542 HAS SOPS 16724542 HAS SOUS 11723051 HAS SOUPS 11723051 WITH SCORE 1.1739775542E7
AT ITER 1 NEW BEST:: SOT 31175348 SOS 16724094 HAS SOPS 16724094 HAS SOUS 11722827 HAS SOUPS 11722827 WITH SCORE 1.1739551094E7
AT ITER 4 NEW BEST:: SOT 31175348 SOS 16721071 HAS SOPS 16721071 HAS SOUS 11721166 HAS SOUPS 11721166 WITH SCORE 1.1737887071E7
AT ITER 8 NEW BEST:: SOT 31175348 SOS 16720132 HAS SOPS 16720132 HAS SOUS 11721146 HAS SOUPS 11721146 WITH SCORE 1.1737866132E7
AT ITER 9 NEW BEST:: SOT 31174651 SOS 16717344 HAS SOPS 16717344 HAS SOUS 11720449 HAS SOUPS 11720449 WITH SCORE 1.1737166344E7
AT ITER 12 NEW BEST:: SOT 31174651 SOS 16717344 HAS SOPS 16717344 HAS SOUS 11719623 HAS SOUPS 11719623 WITH SCORE 1.1736340344E7
AT ITER 15 NEW BEST:: SOT 31175398 SOS 16716267 HAS SOPS 16716267 HAS SOUS 11719459 HAS SOUPS 11719459 WITH SCORE 1.1736175267E7
AT ITER 19 NEW BEST:: SOT 31175398 SOS 16714280 HAS SOPS 16714280 HAS SOUS 11718576 HAS SOUPS 11718576 WITH SCORE 1.173529028E7
AT ITER 25 NEW BEST:: SOT 31174673 SOS 16712830 HAS SOPS 16712830 HAS SOUS 11717851 HAS SOUPS 11717851 WITH SCORE 1.173456383E7
AT ITER 29 NEW BEST:: SOT 31174279 SOS 16711254 HAS SOPS 16711254 HAS SOUS 11717456 HAS SOUPS 11717456 WITH SCORE 1.1734167254E7
AT ITER 31 NEW BEST:: SOT 31174279 SOS 16711254 HAS SOPS 16711254 HAS SOUS 11717454 HAS SOUPS 11717454 WITH SCORE 1.1734165254E7
AT ITER 33 NEW BEST:: SOT 31173425 SOS 16709546 HAS SOPS 16709546 HAS SOUS 11716600 HAS SOUPS 11716600 WITH SCORE 1.1733309546E7
AT ITER 35 NEW BEST:: SOT 31173528 SOS 16705400 HAS SOPS 16705400 HAS SOUS 11714635 HAS SOUPS 11714635 WITH SCORE 1.17313404E7
AT ITER 36 NEW BEST:: SOT 31173283 SOS 16704910 HAS SOPS 16704910 HAS SOUS 11714633 HAS SOUPS 11714633 WITH SCORE 1.173133791E7
AT ITER 38 NEW BEST:: SOT 31173283 SOS 16704353 HAS SOPS 16704353 HAS SOUS 11714632 HAS SOUPS 11714632 WITH SCORE 1.1731336353E7
AT ITER 41 NEW BEST:: SOT 31172164 SOS 16703550 HAS SOPS 16703550 HAS SOUS 11713804 HAS SOUPS 11713804 WITH SCORE 1.173050755E7
AT ITER 44 NEW BEST:: SOT 31171911 SOS 16703044 HAS SOPS 16703044 HAS SOUS 11713802 HAS SOUPS 11713802 WITH SCORE 1.1730505044E7
AT ITER 45 NEW BEST:: SOT 31170630 SOS 16700482 HAS SOPS 16700482 HAS SOUS 11711734 HAS SOUPS 11711734 WITH SCORE 1.1728434482E7
AT ITER 48 NEW BEST:: SOT 31170602 SOS 16700426 HAS SOPS 16700426 HAS SOUS 11711678 HAS SOUPS 11711678 WITH SCORE 1.1728378426E7
AT ITER 51 NEW BEST:: SOT 31170602 SOS 16700426 HAS SOPS 16700426 HAS SOUS 11711322 HAS SOUPS 11711322 WITH SCORE 1.1728022426E7
AT ITER 52 NEW BEST:: SOT 31170046 SOS 16698202 HAS SOPS 16698202 HAS SOUS 11710210 HAS SOUPS 11710210 WITH SCORE 1.1726908202E7
AT ITER 55 NEW BEST:: SOT 31168335 SOS 16698202 HAS SOPS 16698202 HAS SOUS 11710208 HAS SOUPS 11710208 WITH SCORE 1.1726906202E7
AT ITER 60 NEW BEST:: SOT 31168335 SOS 16696620 HAS SOPS 16696620 HAS SOUS 11709675 HAS SOUPS 11709675 WITH SCORE 1.172637162E7
AT ITER 63 NEW BEST:: SOT 31168927 SOS 16695742 HAS SOPS 16695742 HAS SOUS 11709592 HAS SOUPS 11709592 WITH SCORE 1.1726287742E7
AT ITER 64 NEW BEST:: SOT 31168927 SOS 16695742 HAS SOPS 16695742 HAS SOUS 11709563 HAS SOUPS 11709563 WITH SCORE 1.1726258742E7
AT ITER 65 NEW BEST:: SOT 31167862 SOS 16695742 HAS SOPS 16695742 HAS SOUS 11709142 HAS SOUPS 11709142 WITH SCORE 1.1725837742E7
AT ITER 69 NEW BEST:: SOT 31159294 SOS 16687378 HAS SOPS 16687378 HAS SOUS 11700778 HAS SOUPS 11700778 WITH SCORE 1.1717465378E7
AT ITER 75 NEW BEST:: SOT 31159908 SOS 16682088 HAS SOPS 16682088 HAS SOUS 11697566 HAS SOUPS 11697566 WITH SCORE 1.1714248088E7
AT ITER 81 NEW BEST:: SOT 31157833 SOS 16680239 HAS SOPS 16680239 HAS SOUS 11695491 HAS SOUPS 11695491 WITH SCORE 1.1712171239E7
AT ITER 88 NEW BEST:: SOT 31157794 SOS 16675181 HAS SOPS 16675181 HAS SOUS 11694908 HAS SOUPS 11694908 WITH SCORE 1.1711583181E7
AT ITER 90 NEW BEST:: SOT 31157794 SOS 16648975 HAS SOPS 16648975 HAS SOUS 11694282 HAS SOUPS 11694282 WITH SCORE 1.1710930975E7
AT ITER 91 NEW BEST:: SOT 31157794 SOS 16645760 HAS SOPS 16645760 HAS SOUS 11691629 HAS SOUPS 11691629 WITH SCORE 1.170827476E7
AT ITER 95 NEW BEST:: SOT 31156827 SOS 16641892 HAS SOPS 16641892 HAS SOUS 11690662 HAS SOUPS 11690662 WITH SCORE 1.1707303892E7
AT ITER 100 NEW BEST:: SOT 31155602 SOS 16640667 HAS SOPS 16640667 HAS SOUS 11690662 HAS SOUPS 11690662 WITH SCORE 1.1707302667E7
AT ITER 108 NEW BEST:: SOT 31155602 SOS 16640667 HAS SOPS 16640667 HAS SOUS 11689938 HAS SOUPS 11689938 WITH SCORE 1.1706578667E7
AT ITER 113 NEW BEST:: SOT 31154462 SOS 16639912 HAS SOPS 16639912 HAS SOUS 11689173 HAS SOUPS 11689173 WITH SCORE 1.1705812912E7
AT ITER 115 NEW BEST:: SOT 31151827 SOS 16637277 HAS SOPS 16637277 HAS SOUS 11686537 HAS SOUPS 11686537 WITH SCORE 1.1703174277E7
AT ITER 117 NEW BEST:: SOT 31151969 SOS 16631348 HAS SOPS 16631348 HAS SOUS 11685275 HAS SOUPS 11685275 WITH SCORE 1.1701906348E7
AT ITER 137 NEW BEST:: SOT 31153357 SOS 16626926 HAS SOPS 16626926 HAS SOUS 11683454 HAS SOUPS 11683454 WITH SCORE 1.1700080926E7
AT ITER 140 NEW BEST:: SOT 31152990 SOS 16626192 HAS SOPS 16626192 HAS SOUS 11682720 HAS SOUPS 11682720 WITH SCORE 1.1699346192E7
AT ITER 143 NEW BEST:: SOT 31152990 SOS 16625479 HAS SOPS 16625479 HAS SOUS 11682719 HAS SOUPS 11682719 WITH SCORE 1.1699344479E7
AT ITER 144 NEW BEST:: SOT 31153313 SOS 16625789 HAS SOPS 16625789 HAS SOUS 11682644 HAS SOUPS 11682644 WITH SCORE 1.1699269789E7
AT ITER 146 NEW BEST:: SOT 31153313 SOS 16576291 HAS SOPS 16576291 HAS SOUS 11681742 HAS SOUPS 11681742 WITH SCORE 1.1698318291E7
AT ITER 160 NEW BEST:: SOT 31152305 SOS 16575283 HAS SOPS 16575283 HAS SOUS 11680734 HAS SOUPS 11680734 WITH SCORE 1.1697309283E7
AT ITER 163 NEW BEST:: SOT 31151580 SOS 16573833 HAS SOPS 16573833 HAS SOUS 11680009 HAS SOUPS 11680009 WITH SCORE 1.1696582833E7
AT ITER 167 NEW BEST:: SOT 31149918 SOS 16570509 HAS SOPS 16570509 HAS SOUS 11678347 HAS SOUPS 11678347 WITH SCORE 1.1694917509E7
AT ITER 176 NEW BEST:: SOT 31149918 SOS 16570509 HAS SOPS 16570509 HAS SOUS 11678034 HAS SOUPS 11678034 WITH SCORE 1.1694604509E7
AT ITER 179 NEW BEST:: SOT 31149349 SOS 16569940 HAS SOPS 16569940 HAS SOUS 11678034 HAS SOUPS 11678034 WITH SCORE 1.169460394E7
AT ITER 180 NEW BEST:: SOT 31149349 SOS 16569940 HAS SOPS 16569940 HAS SOUS 11677987 HAS SOUPS 11677987 WITH SCORE 1.169455694E7
AT ITER 181 NEW BEST:: SOT 31146831 SOS 16564904 HAS SOPS 16564904 HAS SOUS 11676012 HAS SOUPS 11676012 WITH SCORE 1.1692576904E7
AT ITER 183 NEW BEST:: SOT 31147174 SOS 16561786 HAS SOPS 16561786 HAS SOUS 11674481 HAS SOUPS 11674481 WITH SCORE 1.1691042786E7
AT ITER 185 NEW BEST:: SOT 31146296 SOS 16561090 HAS SOPS 16561090 HAS SOUS 11673771 HAS SOUPS 11673771 WITH SCORE 1.169033209E7
AT ITER 187 NEW BEST:: SOT 31146296 SOS 16561036 HAS SOPS 16561036 HAS SOUS 11673771 HAS SOUPS 11673771 WITH SCORE 1.1690332036E7
AT ITER 190 NEW BEST:: SOT 31146296 SOS 16561036 HAS SOPS 16561036 HAS SOUS 11673494 HAS SOUPS 11673494 WITH SCORE 1.1690055036E7
AT ITER 195 NEW BEST:: SOT 31146069 SOS 16560582 HAS SOPS 16560582 HAS SOUS 11673040 HAS SOUPS 11673040 WITH SCORE 1.1689600582E7
AT ITER 196 NEW BEST:: SOT 31146069 SOS 16560582 HAS SOPS 16560582 HAS SOUS 11672810 HAS SOUPS 11672810 WITH SCORE 1.1689370582E7
AT ITER 201 NEW BEST:: SOT 31079060 SOS 16640932 HAS SOPS 16640932 HAS SOUS 11615160 HAS SOUPS 11615160 WITH SCORE 1.1631800932E7
AT ITER 202 NEW BEST:: SOT 31079060 SOS 16640932 HAS SOPS 16640932 HAS SOUS 11614648 HAS SOUPS 11614648 WITH SCORE 1.1631288932E7
AT ITER 214 NEW BEST:: SOT 31078392 SOS 16638448 HAS SOPS 16638448 HAS SOUS 11613978 HAS SOUPS 11613978 WITH SCORE 1.1630616448E7
AT ITER 216 NEW BEST:: SOT 31075733 SOS 16633130 HAS SOPS 16633130 HAS SOUS 11612001 HAS SOUPS 11612001 WITH SCORE 1.162863413E7
AT ITER 217 NEW BEST:: SOT 31074988 SOS 16632695 HAS SOPS 16632695 HAS SOUS 11611544 HAS SOUPS 11611544 WITH SCORE 1.1628176695E7
AT ITER 218 NEW BEST:: SOT 31074988 SOS 16630463 HAS SOPS 16630463 HAS SOUS 11607080 HAS SOUPS 11607080 WITH SCORE 1.1623710463E7
AT ITER 221 NEW BEST:: SOT 31074988 SOS 16628899 HAS SOPS 16628899 HAS SOUS 11606506 HAS SOUPS 11606506 WITH SCORE 1.1623134899E7
AT ITER 222 NEW BEST:: SOT 31074738 SOS 16628399 HAS SOPS 16628399 HAS SOUS 11606006 HAS SOUPS 11606006 WITH SCORE 1.1622634399E7
AT ITER 225 NEW BEST:: SOT 31074738 SOS 16628308 HAS SOPS 16628308 HAS SOUS 11605915 HAS SOUPS 11605915 WITH SCORE 1.1622543308E7
AT ITER 227 NEW BEST:: SOT 31074580 SOS 16628241 HAS SOPS 16628241 HAS SOUS 11605757 HAS SOUPS 11605757 WITH SCORE 1.1622385241E7
AT ITER 229 NEW BEST:: SOT 31074068 SOS 16627217 HAS SOPS 16627217 HAS SOUS 11605245 HAS SOUPS 11605245 WITH SCORE 1.1621872217E7
AT ITER 230 NEW BEST:: SOT 31074068 SOS 16626734 HAS SOPS 16626734 HAS SOUS 11605245 HAS SOUPS 11605245 WITH SCORE 1.1621871734E7
AT ITER 231 NEW BEST:: SOT 31074068 SOS 16626734 HAS SOPS 16626734 HAS SOUS 11604873 HAS SOUPS 11604873 WITH SCORE 1.1621499734E7
AT ITER 237 NEW BEST:: SOT 31074844 SOS 16621456 HAS SOPS 16621456 HAS SOUS 11601774 HAS SOUPS 11601774 WITH SCORE 1.1618395456E7
AT ITER 239 NEW BEST:: SOT 31072592 SOS 16616897 HAS SOPS 16616897 HAS SOUS 11597215 HAS SOUPS 11597215 WITH SCORE 1.1613831897E7
AT ITER 247 NEW BEST:: SOT 31071426 SOS 16615924 HAS SOPS 16615924 HAS SOUS 11596211 HAS SOUPS 11596211 WITH SCORE 1.1612826924E7
AT ITER 248 NEW BEST:: SOT 31071223 SOS 16615518 HAS SOPS 16615518 HAS SOUS 11596006 HAS SOUPS 11596006 WITH SCORE 1.1612621518E7
AT ITER 250 NEW BEST:: SOT 31071494 SOS 16610892 HAS SOPS 16610892 HAS SOUS 11595931 HAS SOUPS 11595931 WITH SCORE 1.1612541892E7
AT ITER 253 NEW BEST:: SOT 31070725 SOS 16607696 HAS SOPS 16607696 HAS SOUS 11595186 HAS SOUPS 11595186 WITH SCORE 1.1611793696E7
AT ITER 254 NEW BEST:: SOT 31070651 SOS 16602870 HAS SOPS 16602870 HAS SOUS 11592070 HAS SOUPS 11592070 WITH SCORE 1.160867287E7
AT ITER 257 NEW BEST:: SOT 31070007 SOS 16598036 HAS SOPS 16598036 HAS SOUS 11589837 HAS SOUPS 11589837 WITH SCORE 1.1606435036E7
AT ITER 266 NEW BEST:: SOT 31049082 SOS 16726951 HAS SOPS 16726951 HAS SOUS 11575440 HAS SOUPS 11575440 WITH SCORE 1.1592166951E7
AT ITER 271 NEW BEST:: SOT 31047684 SOS 16720667 HAS SOPS 16720667 HAS SOUS 11572764 HAS SOUPS 11572764 WITH SCORE 1.1589484667E7
AT ITER 272 NEW BEST:: SOT 31045026 SOS 16718665 HAS SOPS 16718665 HAS SOUS 11570564 HAS SOUPS 11570564 WITH SCORE 1.1587282665E7
AT ITER 273 NEW BEST:: SOT 31045026 SOS 16718665 HAS SOPS 16718665 HAS SOUS 11570243 HAS SOUPS 11570243 WITH SCORE 1.1586961665E7
AT ITER 274 NEW BEST:: SOT 31046116 SOS 16713591 HAS SOPS 16713591 HAS SOUS 11567813 HAS SOUPS 11567813 WITH SCORE 1.1584526591E7
AT ITER 276 NEW BEST:: SOT 31046078 SOS 16713515 HAS SOPS 16713515 HAS SOUS 11567774 HAS SOUPS 11567774 WITH SCORE 1.1584487515E7
AT ITER 279 NEW BEST:: SOT 31045349 SOS 16710599 HAS SOPS 16710599 HAS SOUS 11567045 HAS SOUPS 11567045 WITH SCORE 1.1583755599E7
AT ITER 282 NEW BEST:: SOT 31044255 SOS 16709510 HAS SOPS 16709510 HAS SOUS 11565951 HAS SOUPS 11565951 WITH SCORE 1.158266051E7
AT ITER 283 NEW BEST:: SOT 31042145 SOS 16707570 HAS SOPS 16707570 HAS SOUS 11563996 HAS SOUPS 11563996 WITH SCORE 1.158070357E7
AT ITER 285 NEW BEST:: SOT 31040689 SOS 16703022 HAS SOPS 16703022 HAS SOUS 11561543 HAS SOUPS 11561543 WITH SCORE 1.1578246022E7
AT ITER 286 NEW BEST:: SOT 31037039 SOS 16695811 HAS SOPS 16695811 HAS SOUS 11554427 HAS SOUPS 11554427 WITH SCORE 1.1571122811E7
AT ITER 294 NEW BEST:: SOT 31037039 SOS 16695811 HAS SOPS 16695811 HAS SOUS 11554426 HAS SOUPS 11554426 WITH SCORE 1.1571121811E7
AT ITER 301 NEW BEST:: SOT 31037039 SOS 16693513 HAS SOPS 16693513 HAS SOUS 11552665 HAS SOUPS 11552665 WITH SCORE 1.1569358513E7
AT ITER 303 NEW BEST:: SOT 31036277 SOS 16688295 HAS SOPS 16688295 HAS SOUS 11550027 HAS SOUPS 11550027 WITH SCORE 1.1566715295E7
AT ITER 306 NEW BEST:: SOT 31033845 SOS 16686309 HAS SOPS 16686309 HAS SOUS 11548041 HAS SOUPS 11548041 WITH SCORE 1.1564727309E7
AT ITER 312 NEW BEST:: SOT 31033845 SOS 16684327 HAS SOPS 16684327 HAS SOUS 11544925 HAS SOUPS 11544925 WITH SCORE 1.1561609327E7
AT ITER 323 NEW BEST:: SOT 31032589 SOS 16683076 HAS SOPS 16683076 HAS SOUS 11544656 HAS SOUPS 11544656 WITH SCORE 1.1561339076E7
AT ITER 325 NEW BEST:: SOT 31031994 SOS 16680696 HAS SOPS 16680696 HAS SOUS 11543466 HAS SOUPS 11543466 WITH SCORE 1.1560146696E7
AT ITER 331 NEW BEST:: SOT 31027931 SOS 16677052 HAS SOPS 16677052 HAS SOUS 11539512 HAS SOUPS 11539512 WITH SCORE 1.1556189052E7
AT ITER 335 NEW BEST:: SOT 31027931 SOS 16677052 HAS SOPS 16677052 HAS SOUS 11539474 HAS SOUPS 11539474 WITH SCORE 1.1556151052E7
AT ITER 338 NEW BEST:: SOT 31027340 SOS 16674688 HAS SOPS 16674688 HAS SOUS 11538793 HAS SOUPS 11538793 WITH SCORE 1.1555467688E7
AT ITER 348 NEW BEST:: SOT 31025641 SOS 16672989 HAS SOPS 16672989 HAS SOUS 11535778 HAS SOUPS 11535778 WITH SCORE 1.1552450989E7
AT ITER 351 NEW BEST:: SOT 31025641 SOS 16672989 HAS SOPS 16672989 HAS SOUS 11535731 HAS SOUPS 11535731 WITH SCORE 1.1552403989E7
AT ITER 357 NEW BEST:: SOT 31023511 SOS 16672910 HAS SOPS 16672910 HAS SOUS 11535700 HAS SOUPS 11535700 WITH SCORE 1.155237291E7
AT ITER 361 NEW BEST:: SOT 31023511 SOS 16623580 HAS SOPS 16623580 HAS SOUS 11535524 HAS SOUPS 11535524 WITH SCORE 1.155214758E7
AT ITER 363 NEW BEST:: SOT 31021254 SOS 16619066 HAS SOPS 16619066 HAS SOUS 11531005 HAS SOUPS 11531005 WITH SCORE 1.1547624066E7
AT ITER 365 NEW BEST:: SOT 31018543 SOS 16613644 HAS SOPS 16613644 HAS SOUS 11528500 HAS SOUPS 11528500 WITH SCORE 1.1545113644E7
AT ITER 366 NEW BEST:: SOT 31016598 SOS 16611221 HAS SOPS 16611221 HAS SOUS 11525101 HAS SOUPS 11525101 WITH SCORE 1.1541712221E7
AT ITER 369 NEW BEST:: SOT 31016310 SOS 16610645 HAS SOPS 16610645 HAS SOUS 11524525 HAS SOUPS 11524525 WITH SCORE 1.1541135645E7
AT ITER 371 NEW BEST:: SOT 31014534 SOS 16608973 HAS SOPS 16608973 HAS SOUS 11522749 HAS SOUPS 11522749 WITH SCORE 1.1539357973E7
AT ITER 377 NEW BEST:: SOT 31014534 SOS 16608973 HAS SOPS 16608973 HAS SOUS 11522101 HAS SOUPS 11522101 WITH SCORE 1.1538709973E7
AT ITER 378 NEW BEST:: SOT 31014534 SOS 16609500 HAS SOPS 16609500 HAS SOUS 11522084 HAS SOUPS 11522084 WITH SCORE 1.15386935E7
AT ITER 380 NEW BEST:: SOT 31014534 SOS 16609252 HAS SOPS 16609252 HAS SOUS 11522084 HAS SOUPS 11522084 WITH SCORE 1.1538693252E7
AT ITER 386 NEW BEST:: SOT 31014865 SOS 16605547 HAS SOPS 16605547 HAS SOUS 11519665 HAS SOUPS 11519665 WITH SCORE 1.1536270547E7
AT ITER 392 NEW BEST:: SOT 31014617 SOS 16605437 HAS SOPS 16605437 HAS SOUS 11519542 HAS SOUPS 11519542 WITH SCORE 1.1536147437E7
AT ITER 393 NEW BEST:: SOT 31013806 SOS 16602193 HAS SOPS 16602193 HAS SOUS 11518730 HAS SOUPS 11518730 WITH SCORE 1.1535332193E7
AT ITER 403 NEW BEST:: SOT 31013806 SOS 16599152 HAS SOPS 16599152 HAS SOUS 11517435 HAS SOUPS 11517435 WITH SCORE 1.1534034152E7
AT ITER 404 NEW BEST:: SOT 31013590 SOS 16596835 HAS SOPS 16596835 HAS SOUS 11516168 HAS SOUPS 11516168 WITH SCORE 1.1532764835E7
AT ITER 412 NEW BEST:: SOT 31013590 SOS 16596835 HAS SOPS 16596835 HAS SOUS 11515413 HAS SOUPS 11515413 WITH SCORE 1.1532009835E7
AT ITER 420 NEW BEST:: SOT 31012230 SOS 16595756 HAS SOPS 16595756 HAS SOUS 11514905 HAS SOUPS 11514905 WITH SCORE 1.1531500756E7
AT ITER 429 NEW BEST:: SOT 31012230 SOS 16594552 HAS SOPS 16594552 HAS SOUS 11514900 HAS SOUPS 11514900 WITH SCORE 1.1531494552E7
AT ITER 433 NEW BEST:: SOT 31011519 SOS 16591923 HAS SOPS 16591923 HAS SOUS 11514188 HAS SOUPS 11514188 WITH SCORE 1.1530779923E7
AT ITER 435 NEW BEST:: SOT 31010654 SOS 16591939 HAS SOPS 16591939 HAS SOUS 11514136 HAS SOUPS 11514136 WITH SCORE 1.1530727939E7
AT ITER 455 NEW BEST:: SOT 31007547 SOS 16589737 HAS SOPS 16589737 HAS SOUS 11511905 HAS SOUPS 11511905 WITH SCORE 1.1528494737E7
AT ITER 457 NEW BEST:: SOT 31003657 SOS 16585847 HAS SOPS 16585847 HAS SOUS 11508015 HAS SOUPS 11508015 WITH SCORE 1.1524600847E7
AT ITER 458 NEW BEST:: SOT 31003657 SOS 16584682 HAS SOPS 16584682 HAS SOUS 11507274 HAS SOUPS 11507274 WITH SCORE 1.1523858682E7
AT ITER 466 NEW BEST:: SOT 31000705 SOS 16581804 HAS SOPS 16581804 HAS SOUS 11504378 HAS SOUPS 11504378 WITH SCORE 1.1520959804E7
AT ITER 468 NEW BEST:: SOT 31001072 SOS 16580954 HAS SOPS 16580954 HAS SOUS 11503875 HAS SOUPS 11503875 WITH SCORE 1.1520455954E7
AT ITER 469 NEW BEST:: SOT 31001383 SOS 16578750 HAS SOPS 16578750 HAS SOUS 11503295 HAS SOUPS 11503295 WITH SCORE 1.151987375E7
AT ITER 477 NEW BEST:: SOT 31001383 SOS 16578750 HAS SOPS 16578750 HAS SOUS 11502296 HAS SOUPS 11502296 WITH SCORE 1.151887475E7
AT ITER 480 NEW BEST:: SOT 31001383 SOS 16578020 HAS SOPS 16578020 HAS SOUS 11501566 HAS SOUPS 11501566 WITH SCORE 1.151814402E7
AT ITER 485 NEW BEST:: SOT 31000238 SOS 16577962 HAS SOPS 16577962 HAS SOUS 11501136 HAS SOUPS 11501136 WITH SCORE 1.1517713962E7
AT ITER 491 NEW BEST:: SOT 30999560 SOS 16577677 HAS SOPS 16577677 HAS SOUS 11500830 HAS SOUPS 11500830 WITH SCORE 1.1517407677E7
AT ITER 494 NEW BEST:: SOT 30999690 SOS 16575214 HAS SOPS 16575214 HAS SOUS 11496698 HAS SOUPS 11496698 WITH SCORE 1.1513273214E7
AT ITER 495 NEW BEST:: SOT 30999690 SOS 16575214 HAS SOPS 16575214 HAS SOUS 11496674 HAS SOUPS 11496674 WITH SCORE 1.1513249214E7
AT ITER 496 NEW BEST:: SOT 30999081 SOS 16572778 HAS SOPS 16572778 HAS SOUS 11496064 HAS SOUPS 11496064 WITH SCORE 1.1512636778E7
AT ITER 497 NEW BEST:: SOT 30998796 SOS 16571922 HAS SOPS 16571922 HAS SOUS 11495778 HAS SOUPS 11495778 WITH SCORE 1.1512349922E7
AT ITER 505 NEW BEST:: SOT 30998796 SOS 16571922 HAS SOPS 16571922 HAS SOUS 11494110 HAS SOUPS 11494110 WITH SCORE 1.1510681922E7
AT ITER 507 NEW BEST:: SOT 30922765 SOS 16502979 HAS SOPS 16502979 HAS SOUS 11419560 HAS SOUPS 11419560 WITH SCORE 1.1436062979E7
AT ITER 509 NEW BEST:: SOT 30922765 SOS 16499548 HAS SOPS 16499548 HAS SOUS 11415088 HAS SOUPS 11415088 WITH SCORE 1.1431587548E7
AT ITER 512 NEW BEST:: SOT 30920095 SOS 16494049 HAS SOPS 16494049 HAS SOUS 11412845 HAS SOUPS 11412845 WITH SCORE 1.1429339049E7
AT ITER 515 NEW BEST:: SOT 30920095 SOS 16491148 HAS SOPS 16491148 HAS SOUS 11410289 HAS SOUPS 11410289 WITH SCORE 1.1426780148E7
AT ITER 517 NEW BEST:: SOT 30919816 SOS 16490869 HAS SOPS 16490869 HAS SOUS 11410010 HAS SOUPS 11410010 WITH SCORE 1.1426500869E7
AT ITER 523 NEW BEST:: SOT 30919488 SOS 16490213 HAS SOPS 16490213 HAS SOUS 11409682 HAS SOUPS 11409682 WITH SCORE 1.1426172213E7
AT ITER 525 NEW BEST:: SOT 30919488 SOS 16487696 HAS SOPS 16487696 HAS SOUS 11409159 HAS SOUPS 11409159 WITH SCORE 1.1425646696E7
AT ITER 526 NEW BEST:: SOT 30919488 SOS 16486848 HAS SOPS 16486848 HAS SOUS 11409129 HAS SOUPS 11409129 WITH SCORE 1.1425615848E7
AT ITER 529 NEW BEST:: SOT 30919488 SOS 16485528 HAS SOPS 16485528 HAS SOUS 11405192 HAS SOUPS 11405192 WITH SCORE 1.1421677528E7
AT ITER 530 NEW BEST:: SOT 30918871 SOS 16484294 HAS SOPS 16484294 HAS SOUS 11403958 HAS SOUPS 11403958 WITH SCORE 1.1420442294E7
AT ITER 535 NEW BEST:: SOT 30918328 SOS 16483208 HAS SOPS 16483208 HAS SOUS 11402399 HAS SOUPS 11402399 WITH SCORE 1.1418882208E7
AT ITER 537 NEW BEST:: SOT 30918952 SOS 16483735 HAS SOPS 16483735 HAS SOUS 11399691 HAS SOUPS 11399691 WITH SCORE 1.1416174735E7
AT ITER 539 NEW BEST:: SOT 30918347 SOS 16485724 HAS SOPS 16485724 HAS SOUS 11399086 HAS SOUPS 11399086 WITH SCORE 1.1415571724E7
AT ITER 540 NEW BEST:: SOT 30918347 SOS 16485724 HAS SOPS 16485724 HAS SOUS 11399085 HAS SOUPS 11399085 WITH SCORE 1.1415570724E7
AT ITER 542 NEW BEST:: SOT 30917338 SOS 16485708 HAS SOPS 16485708 HAS SOUS 11398676 HAS SOUPS 11398676 WITH SCORE 1.1415161708E7
AT ITER 553 NEW BEST:: SOT 30917076 SOS 16485184 HAS SOPS 16485184 HAS SOUS 11398152 HAS SOUPS 11398152 WITH SCORE 1.1414637184E7
AT ITER 558 NEW BEST:: SOT 30918525 SOS 16482992 HAS SOPS 16482992 HAS SOUS 11396449 HAS SOUPS 11396449 WITH SCORE 1.1412931992E7
AT ITER 563 NEW BEST:: SOT 30918525 SOS 16481273 HAS SOPS 16481273 HAS SOUS 11394213 HAS SOUPS 11394213 WITH SCORE 1.1410694273E7
AT ITER 568 NEW BEST:: SOT 30918271 SOS 16476119 HAS SOPS 16476119 HAS SOUS 11390400 HAS SOUPS 11390400 WITH SCORE 1.1406876119E7
AT ITER 580 NEW BEST:: SOT 30918271 SOS 16474120 HAS SOPS 16474120 HAS SOUS 11389784 HAS SOUPS 11389784 WITH SCORE 1.140625812E7
AT ITER 581 NEW BEST:: SOT 30917728 SOS 16471948 HAS SOPS 16471948 HAS SOUS 11389240 HAS SOUPS 11389240 WITH SCORE 1.1405711948E7
AT ITER 585 NEW BEST:: SOT 30918341 SOS 16470594 HAS SOPS 16470594 HAS SOUS 11386306 HAS SOUPS 11386306 WITH SCORE 1.1402776594E7
AT ITER 589 NEW BEST:: SOT 30918341 SOS 16470594 HAS SOPS 16470594 HAS SOUS 11386238 HAS SOUPS 11386238 WITH SCORE 1.1402708594E7
AT ITER 590 NEW BEST:: SOT 30918744 SOS 16435131 HAS SOPS 16435131 HAS SOUS 11385690 HAS SOUPS 11385690 WITH SCORE 1.1402125131E7
AT ITER 593 NEW BEST:: SOT 30918461 SOS 16434282 HAS SOPS 16434282 HAS SOUS 11385407 HAS SOUPS 11385407 WITH SCORE 1.1401841282E7
AT ITER 600 NEW BEST:: SOT 30916775 SOS 16430910 HAS SOPS 16430910 HAS SOUS 11382035 HAS SOUPS 11382035 WITH SCORE 1.139846591E7
AT ITER 604 NEW BEST:: SOT 30916820 SOS 16393461 HAS SOPS 16393461 HAS SOUS 11381207 HAS SOUPS 11381207 WITH SCORE 1.1397600461E7
AT ITER 605 NEW BEST:: SOT 30918422 SOS 16393062 HAS SOPS 16393062 HAS SOUS 11380775 HAS SOUPS 11380775 WITH SCORE 1.1397168062E7
AT ITER 612 NEW BEST:: SOT 30915129 SOS 16390549 HAS SOPS 16390549 HAS SOUS 11377954 HAS SOUPS 11377954 WITH SCORE 1.1394344549E7
AT ITER 614 NEW BEST:: SOT 30915129 SOS 16389467 HAS SOPS 16389467 HAS SOUS 11377954 HAS SOUPS 11377954 WITH SCORE 1.1394343467E7
AT ITER 615 NEW BEST:: SOT 30914003 SOS 16385000 HAS SOPS 16385000 HAS SOUS 11375966 HAS SOUPS 11375966 WITH SCORE 1.1392351E7
AT ITER 616 NEW BEST:: SOT 30914003 SOS 16384371 HAS SOPS 16384371 HAS SOUS 11374609 HAS SOUPS 11374609 WITH SCORE 1.1390993371E7
AT ITER 626 NEW BEST:: SOT 30913527 SOS 16384254 HAS SOPS 16384254 HAS SOUS 11374322 HAS SOUPS 11374322 WITH SCORE 1.1390706254E7
AT ITER 629 NEW BEST:: SOT 30913527 SOS 16384254 HAS SOPS 16384254 HAS SOUS 11374320 HAS SOUPS 11374320 WITH SCORE 1.1390704254E7
AT ITER 631 NEW BEST:: SOT 30913719 SOS 16383414 HAS SOPS 16383414 HAS SOUS 11370363 HAS SOUPS 11370363 WITH SCORE 1.1386746414E7
AT ITER 632 NEW BEST:: SOT 30913719 SOS 16381939 HAS SOPS 16381939 HAS SOUS 11370204 HAS SOUPS 11370204 WITH SCORE 1.1386585939E7
AT ITER 635 NEW BEST:: SOT 30913719 SOS 16380627 HAS SOPS 16380627 HAS SOUS 11370203 HAS SOUPS 11370203 WITH SCORE 1.1386583627E7
AT ITER 636 NEW BEST:: SOT 30913719 SOS 16380627 HAS SOPS 16380627 HAS SOUS 11370155 HAS SOUPS 11370155 WITH SCORE 1.1386535627E7
AT ITER 642 NEW BEST:: SOT 30913556 SOS 16380627 HAS SOPS 16380627 HAS SOUS 11370135 HAS SOUPS 11370135 WITH SCORE 1.1386515627E7
AT ITER 646 NEW BEST:: SOT 30911876 SOS 16378971 HAS SOPS 16378971 HAS SOUS 11368455 HAS SOUPS 11368455 WITH SCORE 1.1384833971E7
AT ITER 653 NEW BEST:: SOT 30911876 SOS 16378971 HAS SOPS 16378971 HAS SOUS 11367829 HAS SOUPS 11367829 WITH SCORE 1.1384207971E7
AT ITER 654 NEW BEST:: SOT 30911876 SOS 16378813 HAS SOPS 16378813 HAS SOUS 11367671 HAS SOUPS 11367671 WITH SCORE 1.1384049813E7
AT ITER 657 NEW BEST:: SOT 30909916 SOS 16376864 HAS SOPS 16376864 HAS SOUS 11366014 HAS SOUPS 11366014 WITH SCORE 1.1382390864E7
AT ITER 673 NEW BEST:: SOT 30908882 SOS 16374796 HAS SOPS 16374796 HAS SOUS 11363946 HAS SOUPS 11363946 WITH SCORE 1.1380320796E7
AT ITER 683 NEW BEST:: SOT 30908988 SOS 16371191 HAS SOPS 16371191 HAS SOUS 11362202 HAS SOUPS 11362202 WITH SCORE 1.1378573191E7
AT ITER 684 NEW BEST:: SOT 30908988 SOS 16371593 HAS SOPS 16371593 HAS SOUS 11362181 HAS SOUPS 11362181 WITH SCORE 1.1378552593E7
AT ITER 689 NEW BEST:: SOT 30908988 SOS 16371593 HAS SOPS 16371593 HAS SOUS 11362180 HAS SOUPS 11362180 WITH SCORE 1.1378551593E7
AT ITER 690 NEW BEST:: SOT 30907232 SOS 16368081 HAS SOPS 16368081 HAS SOUS 11361618 HAS SOUPS 11361618 WITH SCORE 1.1377986081E7
AT ITER 694 NEW BEST:: SOT 30907232 SOS 16368081 HAS SOPS 16368081 HAS SOUS 11361289 HAS SOUPS 11361289 WITH SCORE 1.1377657081E7
AT ITER 701 NEW BEST:: SOT 30907232 SOS 16367401 HAS SOPS 16367401 HAS SOUS 11361288 HAS SOUPS 11361288 WITH SCORE 1.1377655401E7
AT ITER 703 NEW BEST:: SOT 30907232 SOS 16367401 HAS SOPS 16367401 HAS SOUS 11360092 HAS SOUPS 11360092 WITH SCORE 1.1376459401E7
AT ITER 707 NEW BEST:: SOT 30907232 SOS 16367401 HAS SOPS 16367401 HAS SOUS 11359917 HAS SOUPS 11359917 WITH SCORE 1.1376284401E7
AT ITER 708 NEW BEST:: SOT 30906480 SOS 16365145 HAS SOPS 16365145 HAS SOUS 11359165 HAS SOUPS 11359165 WITH SCORE 1.1375530145E7
AT ITER 710 NEW BEST:: SOT 30904137 SOS 16362979 HAS SOPS 16362979 HAS SOUS 11356983 HAS SOUPS 11356983 WITH SCORE 1.1373345979E7
AT ITER 714 NEW BEST:: SOT 30901930 SOS 16361067 HAS SOPS 16361067 HAS SOUS 11354942 HAS SOUPS 11354942 WITH SCORE 1.1371303067E7
AT ITER 720 NEW BEST:: SOT 30901719 SOS 16356237 HAS SOPS 16356237 HAS SOUS 11352246 HAS SOUPS 11352246 WITH SCORE 1.1368602237E7
AT ITER 721 NEW BEST:: SOT 30898073 SOS 16353052 HAS SOPS 16353052 HAS SOUS 11348607 HAS SOUPS 11348607 WITH SCORE 1.1364960052E7
AT ITER 727 NEW BEST:: SOT 30897853 SOS 16352832 HAS SOPS 16352832 HAS SOUS 11348387 HAS SOUPS 11348387 WITH SCORE 1.1364739832E7
AT ITER 729 NEW BEST:: SOT 30897773 SOS 16352512 HAS SOPS 16352512 HAS SOUS 11348307 HAS SOUPS 11348307 WITH SCORE 1.1364659512E7
AT ITER 730 NEW BEST:: SOT 30897773 SOS 16351848 HAS SOPS 16351848 HAS SOUS 11347204 HAS SOUPS 11347204 WITH SCORE 1.1363555848E7
AT ITER 731 NEW BEST:: SOT 30897773 SOS 16349359 HAS SOPS 16349359 HAS SOUS 11346462 HAS SOUPS 11346462 WITH SCORE 1.1362811359E7
AT ITER 734 NEW BEST:: SOT 30897148 SOS 16347169 HAS SOPS 16347169 HAS SOUS 11345837 HAS SOUPS 11345837 WITH SCORE 1.1362184169E7
AT ITER 738 NEW BEST:: SOT 30896115 SOS 16345105 HAS SOPS 16345105 HAS SOUS 11344805 HAS SOUPS 11344805 WITH SCORE 1.1361150105E7
AT ITER 746 NEW BEST:: SOT 30896115 SOS 16345105 HAS SOPS 16345105 HAS SOUS 11344418 HAS SOUPS 11344418 WITH SCORE 1.1360763105E7
AT ITER 754 NEW BEST:: SOT 30896115 SOS 16342392 HAS SOPS 16342392 HAS SOUS 11342803 HAS SOUPS 11342803 WITH SCORE 1.1359145392E7
AT ITER 756 NEW BEST:: SOT 30892495 SOS 16336962 HAS SOPS 16336962 HAS SOUS 11337373 HAS SOUPS 11337373 WITH SCORE 1.1353709962E7
AT ITER 757 NEW BEST:: SOT 30892449 SOS 16335111 HAS SOPS 16335111 HAS SOUS 11336424 HAS SOUPS 11336424 WITH SCORE 1.1352759111E7
AT ITER 762 NEW BEST:: SOT 30893870 SOS 16337953 HAS SOPS 16337953 HAS SOUS 11335707 HAS SOUPS 11335707 WITH SCORE 1.1352044953E7
AT ITER 765 NEW BEST:: SOT 30892564 SOS 16335341 HAS SOPS 16335341 HAS SOUS 11334401 HAS SOUPS 11334401 WITH SCORE 1.1350736341E7
AT ITER 767 NEW BEST:: SOT 30892564 SOS 16335341 HAS SOPS 16335341 HAS SOUS 11333330 HAS SOUPS 11333330 WITH SCORE 1.1349665341E7
AT ITER 775 NEW BEST:: SOT 30892564 SOS 16334588 HAS SOPS 16334588 HAS SOUS 11333329 HAS SOUPS 11333329 WITH SCORE 1.1349663588E7
AT ITER 777 NEW BEST:: SOT 30891446 SOS 16332352 HAS SOPS 16332352 HAS SOUS 11331093 HAS SOUPS 11331093 WITH SCORE 1.1347425352E7
AT ITER 778 NEW BEST:: SOT 30891875 SOS 16333210 HAS SOPS 16333210 HAS SOUS 11329124 HAS SOUPS 11329124 WITH SCORE 1.134545721E7
AT ITER 779 NEW BEST:: SOT 30891875 SOS 16333890 HAS SOPS 16333890 HAS SOUS 11328444 HAS SOUPS 11328444 WITH SCORE 1.134477789E7
AT ITER 780 NEW BEST:: SOT 30892478 SOS 16331232 HAS SOPS 16331232 HAS SOUS 11324043 HAS SOUPS 11324043 WITH SCORE 1.1340374232E7
AT ITER 787 NEW BEST:: SOT 30891532 SOS 16332598 HAS SOPS 16332598 HAS SOUS 11323838 HAS SOUPS 11323838 WITH SCORE 1.1340170598E7
AT ITER 791 NEW BEST:: SOT 30891532 SOS 16330021 HAS SOPS 16330021 HAS SOUS 11319506 HAS SOUPS 11319506 WITH SCORE 1.1335836021E7
AT ITER 793 NEW BEST:: SOT 30891532 SOS 16329726 HAS SOPS 16329726 HAS SOUS 11319506 HAS SOUPS 11319506 WITH SCORE 1.1335835726E7
AT ITER 795 NEW BEST:: SOT 30890684 SOS 16324756 HAS SOPS 16324756 HAS SOUS 11317894 HAS SOUPS 11317894 WITH SCORE 1.1334218756E7
AT ITER 797 NEW BEST:: SOT 30889153 SOS 16323491 HAS SOPS 16323491 HAS SOUS 11316363 HAS SOUPS 11316363 WITH SCORE 1.1332686491E7
AT ITER 802 NEW BEST:: SOT 30889153 SOS 16322862 HAS SOPS 16322862 HAS SOUS 11315481 HAS SOUPS 11315481 WITH SCORE 1.1331803862E7
AT ITER 804 NEW BEST:: SOT 30889153 SOS 16304220 HAS SOPS 16304220 HAS SOUS 11315003 HAS SOUPS 11315003 WITH SCORE 1.133130722E7
AT ITER 807 NEW BEST:: SOT 30889153 SOS 16304082 HAS SOPS 16304082 HAS SOUS 11315003 HAS SOUPS 11315003 WITH SCORE 1.1331307082E7
AT ITER 809 NEW BEST:: SOT 30889153 SOS 16304082 HAS SOPS 16304082 HAS SOUS 11315001 HAS SOUPS 11315001 WITH SCORE 1.1331305082E7
AT ITER 821 NEW BEST:: SOT 30888604 SOS 16302578 HAS SOPS 16302578 HAS SOUS 11314108 HAS SOUPS 11314108 WITH SCORE 1.1330410578E7
AT ITER 822 NEW BEST:: SOT 30888114 SOS 16301598 HAS SOPS 16301598 HAS SOUS 11313618 HAS SOUPS 11313618 WITH SCORE 1.1329919598E7
AT ITER 828 NEW BEST:: SOT 30888114 SOS 16301598 HAS SOPS 16301598 HAS SOUS 11312606 HAS SOUPS 11312606 WITH SCORE 1.1328907598E7
AT ITER 830 NEW BEST:: SOT 30890150 SOS 16305670 HAS SOPS 16305670 HAS SOUS 11312557 HAS SOUPS 11312557 WITH SCORE 1.132886267E7
AT ITER 832 NEW BEST:: SOT 30888486 SOS 16302342 HAS SOPS 16302342 HAS SOUS 11310893 HAS SOUPS 11310893 WITH SCORE 1.1327195342E7
AT ITER 845 NEW BEST:: SOT 30888486 SOS 16302342 HAS SOPS 16302342 HAS SOUS 11310274 HAS SOUPS 11310274 WITH SCORE 1.1326576342E7
AT ITER 846 NEW BEST:: SOT 30888486 SOS 16301308 HAS SOPS 16301308 HAS SOUS 11309845 HAS SOUPS 11309845 WITH SCORE 1.1326146308E7
AT ITER 848 NEW BEST:: SOT 30888480 SOS 16301302 HAS SOPS 16301302 HAS SOUS 11309839 HAS SOUPS 11309839 WITH SCORE 1.1326140302E7
AT ITER 849 NEW BEST:: SOT 30888480 SOS 16301302 HAS SOPS 16301302 HAS SOUS 11308619 HAS SOUPS 11308619 WITH SCORE 1.1324920302E7
AT ITER 851 NEW BEST:: SOT 30887886 SOS 16301363 HAS SOPS 16301363 HAS SOUS 11308027 HAS SOUPS 11308027 WITH SCORE 1.1324328363E7
AT ITER 852 NEW BEST:: SOT 30887886 SOS 16300880 HAS SOPS 16300880 HAS SOUS 11308026 HAS SOUPS 11308026 WITH SCORE 1.132432688E7
AT ITER 857 NEW BEST:: SOT 30887886 SOS 16299834 HAS SOPS 16299834 HAS SOUS 11307693 HAS SOUPS 11307693 WITH SCORE 1.1323992834E7
AT ITER 861 NEW BEST:: SOT 30886737 SOS 16298685 HAS SOPS 16298685 HAS SOUS 11306544 HAS SOUPS 11306544 WITH SCORE 1.1322842685E7
AT ITER 863 NEW BEST:: SOT 30887932 SOS 16298192 HAS SOPS 16298192 HAS SOUS 11305110 HAS SOUPS 11305110 WITH SCORE 1.1321408192E7
AT ITER 868 NEW BEST:: SOT 30887492 SOS 16297312 HAS SOPS 16297312 HAS SOUS 11304670 HAS SOUPS 11304670 WITH SCORE 1.1320967312E7
AT ITER 874 NEW BEST:: SOT 30887556 SOS 16295261 HAS SOPS 16295261 HAS SOUS 11303547 HAS SOUPS 11303547 WITH SCORE 1.1319842261E7
AT ITER 877 NEW BEST:: SOT 30887556 SOS 16293606 HAS SOPS 16293606 HAS SOUS 11303138 HAS SOUPS 11303138 WITH SCORE 1.1319431606E7
AT ITER 882 NEW BEST:: SOT 30887556 SOS 16293354 HAS SOPS 16293354 HAS SOUS 11303137 HAS SOUPS 11303137 WITH SCORE 1.1319430354E7
AT ITER 884 NEW BEST:: SOT 30887153 SOS 16292548 HAS SOPS 16292548 HAS SOUS 11302734 HAS SOUPS 11302734 WITH SCORE 1.1319026548E7
AT ITER 885 NEW BEST:: SOT 30886821 SOS 16290510 HAS SOPS 16290510 HAS SOUS 11301892 HAS SOUPS 11301892 WITH SCORE 1.131818251E7
AT ITER 888 NEW BEST:: SOT 30886821 SOS 16290251 HAS SOPS 16290251 HAS SOUS 11301891 HAS SOUPS 11301891 WITH SCORE 1.1318181251E7
AT ITER 890 NEW BEST:: SOT 30884759 SOS 16288251 HAS SOPS 16288251 HAS SOUS 11299829 HAS SOUPS 11299829 WITH SCORE 1.1316117251E7
AT ITER 891 NEW BEST:: SOT 30887481 SOS 16290145 HAS SOPS 16290145 HAS SOUS 11299175 HAS SOUPS 11299175 WITH SCORE 1.1315465145E7
AT ITER 893 NEW BEST:: SOT 30887481 SOS 16289099 HAS SOPS 16289099 HAS SOUS 11298756 HAS SOUPS 11298756 WITH SCORE 1.1315045099E7
AT ITER 894 NEW BEST:: SOT 30887481 SOS 16285889 HAS SOPS 16285889 HAS SOUS 11296802 HAS SOUPS 11296802 WITH SCORE 1.1313087889E7
AT ITER 895 NEW BEST:: SOT 30888459 SOS 16282375 HAS SOPS 16282375 HAS SOUS 11295480 HAS SOUPS 11295480 WITH SCORE 1.1311762375E7
AT ITER 898 NEW BEST:: SOT 30888385 SOS 16282227 HAS SOPS 16282227 HAS SOUS 11294642 HAS SOUPS 11294642 WITH SCORE 1.1310924227E7
AT ITER 902 NEW BEST:: SOT 30888385 SOS 16281538 HAS SOPS 16281538 HAS SOUS 11294641 HAS SOUPS 11294641 WITH SCORE 1.1310922538E7
AT ITER 904 NEW BEST:: SOT 30888385 SOS 16281520 HAS SOPS 16281520 HAS SOUS 11293808 HAS SOUPS 11293808 WITH SCORE 1.131008952E7
AT ITER 906 NEW BEST:: SOT 30887720 SOS 16278860 HAS SOPS 16278860 HAS SOUS 11292478 HAS SOUPS 11292478 WITH SCORE 1.130875686E7
AT ITER 912 NEW BEST:: SOT 30888645 SOS 16277867 HAS SOPS 16277867 HAS SOUS 11288926 HAS SOUPS 11288926 WITH SCORE 1.1305203867E7
AT ITER 915 NEW BEST:: SOT 30885721 SOS 16275143 HAS SOPS 16275143 HAS SOUS 11286002 HAS SOUPS 11286002 WITH SCORE 1.1302277143E7
AT ITER 920 NEW BEST:: SOT 30885964 SOS 16271923 HAS SOPS 16271923 HAS SOUS 11284234 HAS SOUPS 11284234 WITH SCORE 1.1300505923E7
AT ITER 923 NEW BEST:: SOT 30885964 SOS 16271923 HAS SOPS 16271923 HAS SOUS 11282522 HAS SOUPS 11282522 WITH SCORE 1.1298793923E7
AT ITER 930 NEW BEST:: SOT 30885603 SOS 16271697 HAS SOPS 16271697 HAS SOUS 11282288 HAS SOUPS 11282288 WITH SCORE 1.1298559697E7
AT ITER 940 NEW BEST:: SOT 30882571 SOS 16265633 HAS SOPS 16265633 HAS SOUS 11277041 HAS SOUPS 11277041 WITH SCORE 1.1293306633E7
AT ITER 942 NEW BEST:: SOT 30882571 SOS 16265191 HAS SOPS 16265191 HAS SOUS 11277037 HAS SOUPS 11277037 WITH SCORE 1.1293302191E7
AT ITER 943 NEW BEST:: SOT 30882010 SOS 16264630 HAS SOPS 16264630 HAS SOUS 11276476 HAS SOUPS 11276476 WITH SCORE 1.129274063E7
AT ITER 944 NEW BEST:: SOT 30883025 SOS 16263778 HAS SOPS 16263778 HAS SOUS 11273365 HAS SOUPS 11273365 WITH SCORE 1.1289628778E7
AT ITER 950 NEW BEST:: SOT 30883025 SOS 16263209 HAS SOPS 16263209 HAS SOUS 11272796 HAS SOUPS 11272796 WITH SCORE 1.1289059209E7
AT ITER 955 NEW BEST:: SOT 30883025 SOS 16263209 HAS SOPS 16263209 HAS SOUS 11272199 HAS SOUPS 11272199 WITH SCORE 1.1288462209E7
AT ITER 957 NEW BEST:: SOT 30882387 SOS 16260043 HAS SOPS 16260043 HAS SOUS 11271684 HAS SOUPS 11271684 WITH SCORE 1.1287944043E7
AT ITER 964 NEW BEST:: SOT 30880935 SOS 16257139 HAS SOPS 16257139 HAS SOUS 11270232 HAS SOUPS 11270232 WITH SCORE 1.1286489139E7
AT ITER 965 NEW BEST:: SOT 30880086 SOS 16256290 HAS SOPS 16256290 HAS SOUS 11269602 HAS SOUPS 11269602 WITH SCORE 1.128585829E7
AT ITER 968 NEW BEST:: SOT 30879859 SOS 16251410 HAS SOPS 16251410 HAS SOUS 11268756 HAS SOUPS 11268756 WITH SCORE 1.128500741E7
AT ITER 974 NEW BEST:: SOT 30877394 SOS 16246480 HAS SOPS 16246480 HAS SOUS 11266803 HAS SOUPS 11266803 WITH SCORE 1.128304948E7
AT ITER 975 NEW BEST:: SOT 30875985 SOS 16245280 HAS SOPS 16245280 HAS SOUS 11265465 HAS SOUPS 11265465 WITH SCORE 1.128171028E7
AT ITER 984 NEW BEST:: SOT 30874648 SOS 16244545 HAS SOPS 16244545 HAS SOUS 11264128 HAS SOUPS 11264128 WITH SCORE 1.1280372545E7
AT ITER 999 NEW BEST:: SOT 30874377 SOS 16243292 HAS SOPS 16243292 HAS SOUS 11262570 HAS SOUPS 11262570 WITH SCORE 1.1278813292E7
AT ITER 1000 NEW BEST:: SOT 30874039 SOS 16242954 HAS SOPS 16242954 HAS SOUS 11262570 HAS SOUPS 11262570 WITH SCORE 1.1278812954E7
AT ITER 1001 NEW BEST:: SOT 30874039 SOS 16239872 HAS SOPS 16239872 HAS SOUS 11260380 HAS SOUPS 11260380 WITH SCORE 1.1276619872E7
AT ITER 1006 NEW BEST:: SOT 30873822 SOS 16239438 HAS SOPS 16239438 HAS SOUS 11260378 HAS SOUPS 11260378 WITH SCORE 1.1276617438E7
AT ITER 1014 NEW BEST:: SOT 30873822 SOS 16238659 HAS SOPS 16238659 HAS SOUS 11259627 HAS SOUPS 11259627 WITH SCORE 1.1275865659E7
AT ITER 1019 NEW BEST:: SOT 30873822 SOS 16238257 HAS SOPS 16238257 HAS SOUS 11259225 HAS SOUPS 11259225 WITH SCORE 1.1275463257E7
AT ITER 1022 NEW BEST:: SOT 30873426 SOS 16237069 HAS SOPS 16237069 HAS SOUS 11258433 HAS SOUPS 11258433 WITH SCORE 1.1274670069E7
AT ITER 1026 NEW BEST:: SOT 30873330 SOS 16234663 HAS SOPS 16234663 HAS SOUS 11258336 HAS SOUPS 11258336 WITH SCORE 1.1274570663E7
AT ITER 1029 NEW BEST:: SOT 30870242 SOS 16232535 HAS SOPS 16232535 HAS SOUS 11256207 HAS SOUPS 11256207 WITH SCORE 1.1272439535E7
AT ITER 1034 NEW BEST:: SOT 30868051 SOS 16228153 HAS SOPS 16228153 HAS SOUS 11252497 HAS SOUPS 11252497 WITH SCORE 1.1268725153E7
AT ITER 1038 NEW BEST:: SOT 30867190 SOS 16224709 HAS SOPS 16224709 HAS SOUS 11251219 HAS SOUPS 11251219 WITH SCORE 1.1267443709E7
AT ITER 1044 NEW BEST:: SOT 30867190 SOS 16221625 HAS SOPS 16221625 HAS SOUS 11249347 HAS SOUPS 11249347 WITH SCORE 1.1265568625E7
AT ITER 1045 NEW BEST:: SOT 30867016 SOS 16221277 HAS SOPS 16221277 HAS SOUS 11248999 HAS SOUPS 11248999 WITH SCORE 1.1265220277E7
AT ITER 1047 NEW BEST:: SOT 30865530 SOS 16218811 HAS SOPS 16218811 HAS SOUS 11246533 HAS SOUPS 11246533 WITH SCORE 1.1262751811E7
AT ITER 1055 NEW BEST:: SOT 30863218 SOS 16216685 HAS SOPS 16216685 HAS SOUS 11244221 HAS SOUPS 11244221 WITH SCORE 1.1260437685E7
AT ITER 1071 NEW BEST:: SOT 30862721 SOS 16215691 HAS SOPS 16215691 HAS SOUS 11244219 HAS SOUPS 11244219 WITH SCORE 1.1260434691E7
AT ITER 1072 NEW BEST:: SOT 30861363 SOS 16212886 HAS SOPS 16212886 HAS SOUS 11242861 HAS SOUPS 11242861 WITH SCORE 1.1259073886E7
AT ITER 1073 NEW BEST:: SOT 30859934 SOS 16211730 HAS SOPS 16211730 HAS SOUS 11241496 HAS SOUPS 11241496 WITH SCORE 1.125770773E7
AT ITER 1075 NEW BEST:: SOT 30859934 SOS 16211730 HAS SOPS 16211730 HAS SOUS 11241495 HAS SOUPS 11241495 WITH SCORE 1.125770673E7
AT ITER 1077 NEW BEST:: SOT 30860093 SOS 16208524 HAS SOPS 16208524 HAS SOUS 11234271 HAS SOUPS 11234271 WITH SCORE 1.1250479524E7
AT ITER 1078 NEW BEST:: SOT 30860093 SOS 16166573 HAS SOPS 16166573 HAS SOUS 11229445 HAS SOUPS 11229445 WITH SCORE 1.1245611573E7
AT ITER 1079 NEW BEST:: SOT 30860025 SOS 16164382 HAS SOPS 16164382 HAS SOUS 11227284 HAS SOUPS 11227284 WITH SCORE 1.1243448382E7
AT ITER 1083 NEW BEST:: SOT 30858791 SOS 16164036 HAS SOPS 16164036 HAS SOUS 11226429 HAS SOUPS 11226429 WITH SCORE 1.1242593036E7
AT ITER 1087 NEW BEST:: SOT 30859202 SOS 16162864 HAS SOPS 16162864 HAS SOUS 11223111 HAS SOUPS 11223111 WITH SCORE 1.1239273864E7
AT ITER 1097 NEW BEST:: SOT 30857962 SOS 16161624 HAS SOPS 16161624 HAS SOUS 11221871 HAS SOUPS 11221871 WITH SCORE 1.1238032624E7
AT ITER 1102 NEW BEST:: SOT 30857962 SOS 16160723 HAS SOPS 16160723 HAS SOUS 11220942 HAS SOUPS 11220942 WITH SCORE 1.1237102723E7
AT ITER 1105 NEW BEST:: SOT 30857962 SOS 16160723 HAS SOPS 16160723 HAS SOUS 11219233 HAS SOUPS 11219233 WITH SCORE 1.1235393723E7
AT ITER 1109 NEW BEST:: SOT 30857962 SOS 16160723 HAS SOPS 16160723 HAS SOUS 11219195 HAS SOUPS 11219195 WITH SCORE 1.1235355723E7
AT ITER 1110 NEW BEST:: SOT 30857055 SOS 16159915 HAS SOPS 16159915 HAS SOUS 11218375 HAS SOUPS 11218375 WITH SCORE 1.1234534915E7
AT ITER 1112 NEW BEST:: SOT 30855924 SOS 16156522 HAS SOPS 16156522 HAS SOUS 11216113 HAS SOUPS 11216113 WITH SCORE 1.1232269522E7
AT ITER 1113 NEW BEST:: SOT 30856067 SOS 16153981 HAS SOPS 16153981 HAS SOUS 11211855 HAS SOUPS 11211855 WITH SCORE 1.1228008981E7
AT ITER 1114 NEW BEST:: SOT 30856181 SOS 16154095 HAS SOPS 16154095 HAS SOUS 11211078 HAS SOUPS 11211078 WITH SCORE 1.1227232095E7
AT ITER 1116 NEW BEST:: SOT 30855241 SOS 16150335 HAS SOPS 16150335 HAS SOUS 11209625 HAS SOUPS 11209625 WITH SCORE 1.1225775335E7
AT ITER 1122 NEW BEST:: SOT 30855240 SOS 16150333 HAS SOPS 16150333 HAS SOUS 11209624 HAS SOUPS 11209624 WITH SCORE 1.1225774333E7
AT ITER 1123 NEW BEST:: SOT 30855240 SOS 16149358 HAS SOPS 16149358 HAS SOUS 11209623 HAS SOUPS 11209623 WITH SCORE 1.1225772358E7
AT ITER 1125 NEW BEST:: SOT 30855240 SOS 16148926 HAS SOPS 16148926 HAS SOUS 11209621 HAS SOUPS 11209621 WITH SCORE 1.1225769926E7
AT ITER 1127 NEW BEST:: SOT 30855240 SOS 16148926 HAS SOPS 16148926 HAS SOUS 11208583 HAS SOUPS 11208583 WITH SCORE 1.1224731926E7
AT ITER 1129 NEW BEST:: SOT 30854438 SOS 16147322 HAS SOPS 16147322 HAS SOUS 11207781 HAS SOUPS 11207781 WITH SCORE 1.1223928322E7
AT ITER 1130 NEW BEST:: SOT 30854438 SOS 16147322 HAS SOPS 16147322 HAS SOUS 11206802 HAS SOUPS 11206802 WITH SCORE 1.1222949322E7
AT ITER 1139 NEW BEST:: SOT 30854438 SOS 16147322 HAS SOPS 16147322 HAS SOUS 11206723 HAS SOUPS 11206723 WITH SCORE 1.1222870322E7
AT ITER 1142 NEW BEST:: SOT 30855059 SOS 16146133 HAS SOPS 16146133 HAS SOUS 11206429 HAS SOUPS 11206429 WITH SCORE 1.1222575133E7
AT ITER 1151 NEW BEST:: SOT 30854694 SOS 16145403 HAS SOPS 16145403 HAS SOUS 11205710 HAS SOUPS 11205710 WITH SCORE 1.1221855403E7
AT ITER 1154 NEW BEST:: SOT 30853725 SOS 16141527 HAS SOPS 16141527 HAS SOUS 11204741 HAS SOUPS 11204741 WITH SCORE 1.1220882527E7
AT ITER 1155 NEW BEST:: SOT 30852922 SOS 16141061 HAS SOPS 16141061 HAS SOUS 11204176 HAS SOUPS 11204176 WITH SCORE 1.1220317061E7
AT ITER 1157 NEW BEST:: SOT 30851684 SOS 16140531 HAS SOPS 16140531 HAS SOUS 11202938 HAS SOUPS 11202938 WITH SCORE 1.1219078531E7
AT ITER 1158 NEW BEST:: SOT 30851554 SOS 16140271 HAS SOPS 16140271 HAS SOUS 11202678 HAS SOUPS 11202678 WITH SCORE 1.1218818271E7
AT ITER 1160 NEW BEST:: SOT 30851554 SOS 16140271 HAS SOPS 16140271 HAS SOUS 11201433 HAS SOUPS 11201433 WITH SCORE 1.1217573271E7
AT ITER 1164 NEW BEST:: SOT 30851554 SOS 16140271 HAS SOPS 16140271 HAS SOUS 11201364 HAS SOUPS 11201364 WITH SCORE 1.1217504271E7
AT ITER 1178 NEW BEST:: SOT 30851554 SOS 16136896 HAS SOPS 16136896 HAS SOUS 11199307 HAS SOUPS 11199307 WITH SCORE 1.1215443896E7
AT ITER 1179 NEW BEST:: SOT 30851554 SOS 16136896 HAS SOPS 16136896 HAS SOUS 11198960 HAS SOUPS 11198960 WITH SCORE 1.1215096896E7
AT ITER 1183 NEW BEST:: SOT 30850653 SOS 16135995 HAS SOPS 16135995 HAS SOUS 11197535 HAS SOUPS 11197535 WITH SCORE 1.1213670995E7
AT ITER 1185 NEW BEST:: SOT 30849575 SOS 16137035 HAS SOPS 16137035 HAS SOUS 11196457 HAS SOUPS 11196457 WITH SCORE 1.1212594035E7
AT ITER 1187 NEW BEST:: SOT 30849575 SOS 16135145 HAS SOPS 16135145 HAS SOUS 11194947 HAS SOUPS 11194947 WITH SCORE 1.1211082145E7
AT ITER 1188 NEW BEST:: SOT 30849800 SOS 16133453 HAS SOPS 16133453 HAS SOUS 11191783 HAS SOUPS 11191783 WITH SCORE 1.1207916453E7
AT ITER 1191 NEW BEST:: SOT 30848962 SOS 16133453 HAS SOPS 16133453 HAS SOUS 11191190 HAS SOUPS 11191190 WITH SCORE 1.1207323453E7
AT ITER 1192 NEW BEST:: SOT 30850465 SOS 16134169 HAS SOPS 16134169 HAS SOUS 11190452 HAS SOUPS 11190452 WITH SCORE 1.1206586169E7
AT ITER 1193 NEW BEST:: SOT 30850143 SOS 16130027 HAS SOPS 16130027 HAS SOUS 11188857 HAS SOUPS 11188857 WITH SCORE 1.1204987027E7
AT ITER 1195 NEW BEST:: SOT 30850143 SOS 16127035 HAS SOPS 16127035 HAS SOUS 11186506 HAS SOUPS 11186506 WITH SCORE 1.1202633035E7
AT ITER 1196 NEW BEST:: SOT 30847777 SOS 16127035 HAS SOPS 16127035 HAS SOUS 11184394 HAS SOUPS 11184394 WITH SCORE 1.1200521035E7
AT ITER 1199 NEW BEST:: SOT 30847127 SOS 16123709 HAS SOPS 16123709 HAS SOUS 11183892 HAS SOUPS 11183892 WITH SCORE 1.1200015709E7
AT ITER 1202 NEW BEST:: SOT 30847025 SOS 16120009 HAS SOPS 16120009 HAS SOUS 11180974 HAS SOUPS 11180974 WITH SCORE 1.1197094009E7
AT ITER 1204 NEW BEST:: SOT 30847025 SOS 16119382 HAS SOPS 16119382 HAS SOUS 11179627 HAS SOUPS 11179627 WITH SCORE 1.1195746382E7
AT ITER 1219 NEW BEST:: SOT 30846576 SOS 16119382 HAS SOPS 16119382 HAS SOUS 11179546 HAS SOUPS 11179546 WITH SCORE 1.1195665382E7
AT ITER 1221 NEW BEST:: SOT 30844622 SOS 16115474 HAS SOPS 16115474 HAS SOUS 11177592 HAS SOUPS 11177592 WITH SCORE 1.1193707474E7
AT ITER 1222 NEW BEST:: SOT 30846674 SOS 16119578 HAS SOPS 16119578 HAS SOUS 11176443 HAS SOUPS 11176443 WITH SCORE 1.1192562578E7
AT ITER 1227 NEW BEST:: SOT 30842886 SOS 16116505 HAS SOPS 16116505 HAS SOUS 11172542 HAS SOUPS 11172542 WITH SCORE 1.1188658505E7
AT ITER 1232 NEW BEST:: SOT 30842278 SOS 16115289 HAS SOPS 16115289 HAS SOUS 11171326 HAS SOUPS 11171326 WITH SCORE 1.1187441289E7
AT ITER 1233 NEW BEST:: SOT 30840129 SOS 16114932 HAS SOPS 16114932 HAS SOUS 11170688 HAS SOUPS 11170688 WITH SCORE 1.1186802932E7
AT ITER 1234 NEW BEST:: SOT 30840815 SOS 16115259 HAS SOPS 16115259 HAS SOUS 11170329 HAS SOUPS 11170329 WITH SCORE 1.1186444259E7
AT ITER 1238 NEW BEST:: SOT 30840222 SOS 16114904 HAS SOPS 16114904 HAS SOUS 11169736 HAS SOUPS 11169736 WITH SCORE 1.1185850904E7
AT ITER 1240 NEW BEST:: SOT 30840222 SOS 16113430 HAS SOPS 16113430 HAS SOUS 11168262 HAS SOUPS 11168262 WITH SCORE 1.118437543E7
AT ITER 1246 NEW BEST:: SOT 30839248 SOS 16112448 HAS SOPS 16112448 HAS SOUS 11166316 HAS SOUPS 11166316 WITH SCORE 1.1182428448E7
AT ITER 1249 NEW BEST:: SOT 30839928 SOS 16111140 HAS SOPS 16111140 HAS SOUS 11166075 HAS SOUPS 11166075 WITH SCORE 1.118218614E7
AT ITER 1257 NEW BEST:: SOT 30839928 SOS 16110792 HAS SOPS 16110792 HAS SOUS 11166075 HAS SOUPS 11166075 WITH SCORE 1.1182185792E7
AT ITER 1259 NEW BEST:: SOT 30841305 SOS 16112360 HAS SOPS 16112360 HAS SOUS 11165949 HAS SOUPS 11165949 WITH SCORE 1.118206136E7
AT ITER 1264 NEW BEST:: SOT 30841406 SOS 16112068 HAS SOPS 16112068 HAS SOUS 11165657 HAS SOUPS 11165657 WITH SCORE 1.1181769068E7
AT ITER 1273 NEW BEST:: SOT 30840580 SOS 16108764 HAS SOPS 16108764 HAS SOUS 11164826 HAS SOUPS 11164826 WITH SCORE 1.1180934764E7
AT ITER 1275 NEW BEST:: SOT 30840580 SOS 16108235 HAS SOPS 16108235 HAS SOUS 11163423 HAS SOUPS 11163423 WITH SCORE 1.1179531235E7
AT ITER 1285 NEW BEST:: SOT 30840580 SOS 16108235 HAS SOPS 16108235 HAS SOUS 11163098 HAS SOUPS 11163098 WITH SCORE 1.1179206235E7
AT ITER 1290 NEW BEST:: SOT 30841637 SOS 16107027 HAS SOPS 16107027 HAS SOUS 11160310 HAS SOUPS 11160310 WITH SCORE 1.1176417027E7
AT ITER 1295 NEW BEST:: SOT 30841137 SOS 16106027 HAS SOPS 16106027 HAS SOUS 11159310 HAS SOUPS 11159310 WITH SCORE 1.1175416027E7
AT ITER 1304 NEW BEST:: SOT 30840745 SOS 16106027 HAS SOPS 16106027 HAS SOUS 11158918 HAS SOUPS 11158918 WITH SCORE 1.1175024027E7
AT ITER 1309 NEW BEST:: SOT 30838184 SOS 16100905 HAS SOPS 16100905 HAS SOUS 11154730 HAS SOUPS 11154730 WITH SCORE 1.1170830905E7
AT ITER 1319 NEW BEST:: SOT 30838901 SOS 16100757 HAS SOPS 16100757 HAS SOUS 11154278 HAS SOUPS 11154278 WITH SCORE 1.1170378757E7
AT ITER 1320 NEW BEST:: SOT 30838121 SOS 16099977 HAS SOPS 16099977 HAS SOUS 11153320 HAS SOUPS 11153320 WITH SCORE 1.1169419977E7
AT ITER 1326 NEW BEST:: SOT 30838121 SOS 16098450 HAS SOPS 16098450 HAS SOUS 11152711 HAS SOUPS 11152711 WITH SCORE 1.116880945E7
AT ITER 1327 NEW BEST:: SOT 30838579 SOS 16096439 HAS SOPS 16096439 HAS SOUS 11151934 HAS SOUPS 11151934 WITH SCORE 1.1168030439E7
AT ITER 1328 NEW BEST:: SOT 30838579 SOS 16093411 HAS SOPS 16093411 HAS SOUS 11148785 HAS SOUPS 11148785 WITH SCORE 1.1164878411E7
AT ITER 1331 NEW BEST:: SOT 30836242 SOS 16091982 HAS SOPS 16091982 HAS SOUS 11146641 HAS SOUPS 11146641 WITH SCORE 1.1162732982E7
AT ITER 1339 NEW BEST:: SOT 30836668 SOS 16089800 HAS SOPS 16089800 HAS SOUS 11144781 HAS SOUPS 11144781 WITH SCORE 1.11608708E7
AT ITER 1341 NEW BEST:: SOT 30836133 SOS 16088730 HAS SOPS 16088730 HAS SOUS 11143711 HAS SOUPS 11143711 WITH SCORE 1.115979973E7
AT ITER 1343 NEW BEST:: SOT 30836133 SOS 16088506 HAS SOPS 16088506 HAS SOUS 11143710 HAS SOUPS 11143710 WITH SCORE 1.1159798506E7
AT ITER 1344 NEW BEST:: SOT 30836133 SOS 16088506 HAS SOPS 16088506 HAS SOUS 11143280 HAS SOUPS 11143280 WITH SCORE 1.1159368506E7
AT ITER 1349 NEW BEST:: SOT 30838486 SOS 16085496 HAS SOPS 16085496 HAS SOUS 11142734 HAS SOUPS 11142734 WITH SCORE 1.1158819496E7
AT ITER 1350 NEW BEST:: SOT 30836609 SOS 16083848 HAS SOPS 16083848 HAS SOUS 11140857 HAS SOUPS 11140857 WITH SCORE 1.1156940848E7
AT ITER 1352 NEW BEST:: SOT 30836609 SOS 16083848 HAS SOPS 16083848 HAS SOUS 11140830 HAS SOUPS 11140830 WITH SCORE 1.1156913848E7
AT ITER 1353 NEW BEST:: SOT 30835960 SOS 16082550 HAS SOPS 16082550 HAS SOUS 11139532 HAS SOUPS 11139532 WITH SCORE 1.115561455E7
AT ITER 1357 NEW BEST:: SOT 30835960 SOS 16079245 HAS SOPS 16079245 HAS SOUS 11134149 HAS SOUPS 11134149 WITH SCORE 1.1150228245E7
AT ITER 1367 NEW BEST:: SOT 30834724 SOS 16078009 HAS SOPS 16078009 HAS SOUS 11132106 HAS SOUPS 11132106 WITH SCORE 1.1148184009E7
AT ITER 1369 NEW BEST:: SOT 30834724 SOS 16077900 HAS SOPS 16077900 HAS SOUS 11132106 HAS SOUPS 11132106 WITH SCORE 1.11481839E7
AT ITER 1371 NEW BEST:: SOT 30834724 SOS 16077326 HAS SOPS 16077326 HAS SOUS 11131532 HAS SOUPS 11131532 WITH SCORE 1.1147609326E7
AT ITER 1381 NEW BEST:: SOT 30834007 SOS 16075175 HAS SOPS 16075175 HAS SOUS 11129381 HAS SOUPS 11129381 WITH SCORE 1.1145456175E7
AT ITER 1383 NEW BEST:: SOT 30834007 SOS 16074461 HAS SOPS 16074461 HAS SOUS 11128667 HAS SOUPS 11128667 WITH SCORE 1.1144741461E7
AT ITER 1395 NEW BEST:: SOT 30834007 SOS 16074461 HAS SOPS 16074461 HAS SOUS 11128666 HAS SOUPS 11128666 WITH SCORE 1.1144740461E7
AT ITER 1399 NEW BEST:: SOT 30834007 SOS 16074460 HAS SOPS 16074460 HAS SOUS 11128665 HAS SOUPS 11128665 WITH SCORE 1.114473946E7
AT ITER 1401 NEW BEST:: SOT 30833392 SOS 16070766 HAS SOPS 16070766 HAS SOUS 11128119 HAS SOUPS 11128119 WITH SCORE 1.1144189766E7
AT ITER 1402 NEW BEST:: SOT 30832605 SOS 16069192 HAS SOPS 16069192 HAS SOUS 11128118 HAS SOUPS 11128118 WITH SCORE 1.1144187192E7
AT ITER 1408 NEW BEST:: SOT 30831251 SOS 16066484 HAS SOPS 16066484 HAS SOUS 11125410 HAS SOUPS 11125410 WITH SCORE 1.1141476484E7
AT ITER 1409 NEW BEST:: SOT 30832536 SOS 16061694 HAS SOPS 16061694 HAS SOUS 11122825 HAS SOUPS 11122825 WITH SCORE 1.1138886694E7
AT ITER 1412 NEW BEST:: SOT 30833295 SOS 16058100 HAS SOPS 16058100 HAS SOUS 11122241 HAS SOUPS 11122241 WITH SCORE 1.11382991E7
AT ITER 1417 NEW BEST:: SOT 30833772 SOS 16055113 HAS SOPS 16055113 HAS SOUS 11121109 HAS SOUPS 11121109 WITH SCORE 1.1137164113E7
AT ITER 1420 NEW BEST:: SOT 30830935 SOS 16053025 HAS SOPS 16053025 HAS SOUS 11119021 HAS SOUPS 11119021 WITH SCORE 1.1135074025E7
AT ITER 1427 NEW BEST:: SOT 30830935 SOS 16053025 HAS SOPS 16053025 HAS SOUS 11118179 HAS SOUPS 11118179 WITH SCORE 1.1134232025E7
AT ITER 1440 NEW BEST:: SOT 30831153 SOS 16051404 HAS SOPS 16051404 HAS SOUS 11117231 HAS SOUPS 11117231 WITH SCORE 1.1133282404E7
AT ITER 1442 NEW BEST:: SOT 30829936 SOS 16050933 HAS SOPS 16050933 HAS SOUS 11116014 HAS SOUPS 11116014 WITH SCORE 1.1132064933E7
AT ITER 1451 NEW BEST:: SOT 30828890 SOS 16051916 HAS SOPS 16051916 HAS SOUS 11114963 HAS SOUPS 11114963 WITH SCORE 1.1131014916E7
AT ITER 1453 NEW BEST:: SOT 30828890 SOS 16051918 HAS SOPS 16051918 HAS SOUS 11114799 HAS SOUPS 11114799 WITH SCORE 1.1130850918E7
AT ITER 1455 NEW BEST:: SOT 30827196 SOS 16048530 HAS SOPS 16048530 HAS SOUS 11111411 HAS SOUPS 11111411 WITH SCORE 1.112745953E7
AT ITER 1466 NEW BEST:: SOT 30827196 SOS 16047397 HAS SOPS 16047397 HAS SOUS 11110278 HAS SOUPS 11110278 WITH SCORE 1.1126325397E7
AT ITER 1468 NEW BEST:: SOT 30825790 SOS 16046271 HAS SOPS 16046271 HAS SOUS 11108872 HAS SOUPS 11108872 WITH SCORE 1.1124918271E7
AT ITER 1488 NEW BEST:: SOT 30824814 SOS 16041221 HAS SOPS 16041221 HAS SOUS 11105624 HAS SOUPS 11105624 WITH SCORE 1.1121665221E7
AT ITER 1490 NEW BEST:: SOT 30824054 SOS 16037339 HAS SOPS 16037339 HAS SOUS 11103858 HAS SOUPS 11103858 WITH SCORE 1.1119895339E7
AT ITER 1494 NEW BEST:: SOT 30822926 SOS 16035083 HAS SOPS 16035083 HAS SOUS 11102730 HAS SOUPS 11102730 WITH SCORE 1.1118765083E7
AT ITER 1495 NEW BEST:: SOT 30822926 SOS 16034327 HAS SOPS 16034327 HAS SOUS 11102729 HAS SOUPS 11102729 WITH SCORE 1.1118763327E7
AT ITER 1496 NEW BEST:: SOT 30822926 SOS 16033674 HAS SOPS 16033674 HAS SOUS 11102024 HAS SOUPS 11102024 WITH SCORE 1.1118057674E7
AT ITER 1501 NEW BEST:: SOT 30822561 SOS 16033309 HAS SOPS 16033309 HAS SOUS 11102023 HAS SOUPS 11102023 WITH SCORE 1.1118056309E7
AT ITER 1504 NEW BEST:: SOT 30822561 SOS 16030029 HAS SOPS 16030029 HAS SOUS 11100042 HAS SOUPS 11100042 WITH SCORE 1.1116072029E7
AT ITER 1506 NEW BEST:: SOT 30821209 SOS 16025973 HAS SOPS 16025973 HAS SOUS 11097305 HAS SOUPS 11097305 WITH SCORE 1.1113330973E7
AT ITER 1509 NEW BEST:: SOT 30820985 SOS 16025525 HAS SOPS 16025525 HAS SOUS 11097081 HAS SOUPS 11097081 WITH SCORE 1.1113106525E7
AT ITER 1511 NEW BEST:: SOT 30820567 SOS 16025673 HAS SOPS 16025673 HAS SOUS 11097001 HAS SOUPS 11097001 WITH SCORE 1.1113026673E7
AT ITER 1514 NEW BEST:: SOT 30818925 SOS 16024261 HAS SOPS 16024261 HAS SOUS 11095359 HAS SOUPS 11095359 WITH SCORE 1.1111383261E7
AT ITER 1515 NEW BEST:: SOT 30819134 SOS 16021922 HAS SOPS 16021922 HAS SOUS 11093808 HAS SOUPS 11093808 WITH SCORE 1.1109829922E7
AT ITER 1517 NEW BEST:: SOT 30819268 SOS 16022190 HAS SOPS 16022190 HAS SOUS 11092628 HAS SOUPS 11092628 WITH SCORE 1.110865019E7
AT ITER 1523 NEW BEST:: SOT 30819268 SOS 16021057 HAS SOPS 16021057 HAS SOUS 11092628 HAS SOUPS 11092628 WITH SCORE 1.1108649057E7
AT ITER 1536 NEW BEST:: SOT 30819969 SOS 16016283 HAS SOPS 16016283 HAS SOUS 11089391 HAS SOUPS 11089391 WITH SCORE 1.1105407283E7
AT ITER 1540 NEW BEST:: SOT 30820572 SOS 16013592 HAS SOPS 16013592 HAS SOUS 11087012 HAS SOUPS 11087012 WITH SCORE 1.1103025592E7
AT ITER 1544 NEW BEST:: SOT 30820572 SOS 16013592 HAS SOPS 16013592 HAS SOUS 11086343 HAS SOUPS 11086343 WITH SCORE 1.1102356592E7
AT ITER 1549 NEW BEST:: SOT 30820356 SOS 16014332 HAS SOPS 16014332 HAS SOUS 11086274 HAS SOUPS 11086274 WITH SCORE 1.1102288332E7
AT ITER 1557 NEW BEST:: SOT 30820356 SOS 16014332 HAS SOPS 16014332 HAS SOUS 11086273 HAS SOUPS 11086273 WITH SCORE 1.1102287332E7
AT ITER 1561 NEW BEST:: SOT 30821956 SOS 16017532 HAS SOPS 16017532 HAS SOUS 11084265 HAS SOUPS 11084265 WITH SCORE 1.1100282532E7
AT ITER 1562 NEW BEST:: SOT 30821626 SOS 16018137 HAS SOPS 16018137 HAS SOUS 11083935 HAS SOUPS 11083935 WITH SCORE 1.1099953137E7
AT ITER 1563 NEW BEST:: SOT 30820535 SOS 16017046 HAS SOPS 16017046 HAS SOUS 11082844 HAS SOUPS 11082844 WITH SCORE 1.1098861046E7
AT ITER 1564 NEW BEST:: SOT 30820535 SOS 16017046 HAS SOPS 16017046 HAS SOUS 11082825 HAS SOUPS 11082825 WITH SCORE 1.1098842046E7
AT ITER 1571 NEW BEST:: SOT 30820535 SOS 16017046 HAS SOPS 16017046 HAS SOUS 11082186 HAS SOUPS 11082186 WITH SCORE 1.1098203046E7
AT ITER 1574 NEW BEST:: SOT 30819713 SOS 16012710 HAS SOPS 16012710 HAS SOUS 11081364 HAS SOUPS 11081364 WITH SCORE 1.109737671E7
AT ITER 1576 NEW BEST:: SOT 30819713 SOS 16012300 HAS SOPS 16012300 HAS SOUS 11080544 HAS SOUPS 11080544 WITH SCORE 1.10965563E7
AT ITER 1577 NEW BEST:: SOT 30819713 SOS 16012300 HAS SOPS 16012300 HAS SOUS 11079882 HAS SOUPS 11079882 WITH SCORE 1.10958943E7
AT ITER 1588 NEW BEST:: SOT 30816965 SOS 16010069 HAS SOPS 16010069 HAS SOUS 11077631 HAS SOUPS 11077631 WITH SCORE 1.1093641069E7
AT ITER 1589 NEW BEST:: SOT 30816087 SOS 16008313 HAS SOPS 16008313 HAS SOUS 11076753 HAS SOUPS 11076753 WITH SCORE 1.1092761313E7
AT ITER 1592 NEW BEST:: SOT 30816368 SOS 16003827 HAS SOPS 16003827 HAS SOUS 11076224 HAS SOUPS 11076224 WITH SCORE 1.1092227827E7
AT ITER 1595 NEW BEST:: SOT 30816026 SOS 16004147 HAS SOPS 16004147 HAS SOUS 11075882 HAS SOUPS 11075882 WITH SCORE 1.1091886147E7
AT ITER 1602 NEW BEST:: SOT 30814763 SOS 16001621 HAS SOPS 16001621 HAS SOUS 11073356 HAS SOUPS 11073356 WITH SCORE 1.1089357621E7
AT ITER 1606 NEW BEST:: SOT 30815195 SOS 15997563 HAS SOPS 15997563 HAS SOUS 11070478 HAS SOUPS 11070478 WITH SCORE 1.1086475563E7
AT ITER 1610 NEW BEST:: SOT 30815195 SOS 15997458 HAS SOPS 15997458 HAS SOUS 11070373 HAS SOUPS 11070373 WITH SCORE 1.1086370458E7
AT ITER 1612 NEW BEST:: SOT 30814630 SOS 15995198 HAS SOPS 15995198 HAS SOUS 11069807 HAS SOUPS 11069807 WITH SCORE 1.1085802198E7
AT ITER 1614 NEW BEST:: SOT 30814420 SOS 15994778 HAS SOPS 15994778 HAS SOUS 11069596 HAS SOUPS 11069596 WITH SCORE 1.1085590778E7
AT ITER 1621 NEW BEST:: SOT 30812685 SOS 15990483 HAS SOPS 15990483 HAS SOUS 11067380 HAS SOUPS 11067380 WITH SCORE 1.1083370483E7
AT ITER 1625 NEW BEST:: SOT 30812230 SOS 15989118 HAS SOPS 15989118 HAS SOUS 11066470 HAS SOUPS 11066470 WITH SCORE 1.1082459118E7
AT ITER 1632 NEW BEST:: SOT 30812230 SOS 15988713 HAS SOPS 15988713 HAS SOUS 11066065 HAS SOUPS 11066065 WITH SCORE 1.1082053713E7
AT ITER 1633 NEW BEST:: SOT 30811392 SOS 15985183 HAS SOPS 15985183 HAS SOUS 11065263 HAS SOUPS 11065263 WITH SCORE 1.1081248183E7
AT ITER 1640 NEW BEST:: SOT 30811392 SOS 15982697 HAS SOPS 15982697 HAS SOUS 11065008 HAS SOUPS 11065008 WITH SCORE 1.1080990697E7
AT ITER 1641 NEW BEST:: SOT 30810654 SOS 15981221 HAS SOPS 15981221 HAS SOUS 11063532 HAS SOUPS 11063532 WITH SCORE 1.1079513221E7
AT ITER 1642 NEW BEST:: SOT 30810654 SOS 15979077 HAS SOPS 15979077 HAS SOUS 11060685 HAS SOUPS 11060685 WITH SCORE 1.1076664077E7
AT ITER 1648 NEW BEST:: SOT 30810402 SOS 15967339 HAS SOPS 15967339 HAS SOUS 11060433 HAS SOUPS 11060433 WITH SCORE 1.1076400339E7
AT ITER 1651 NEW BEST:: SOT 30810402 SOS 15967339 HAS SOPS 15967339 HAS SOUS 11060067 HAS SOUPS 11060067 WITH SCORE 1.1076034339E7
AT ITER 1653 NEW BEST:: SOT 30810402 SOS 15967339 HAS SOPS 15967339 HAS SOUS 11059325 HAS SOUPS 11059325 WITH SCORE 1.1075292339E7
AT ITER 1654 NEW BEST:: SOT 30809837 SOS 15965644 HAS SOPS 15965644 HAS SOUS 11058760 HAS SOUPS 11058760 WITH SCORE 1.1074725644E7
AT ITER 1656 NEW BEST:: SOT 30809390 SOS 15964985 HAS SOPS 15964985 HAS SOUS 11058101 HAS SOUPS 11058101 WITH SCORE 1.1074065985E7
AT ITER 1658 NEW BEST:: SOT 30729846 SOS 15996115 HAS SOPS 15996115 HAS SOUS 10981340 HAS SOUPS 10981340 WITH SCORE 1.0997336115E7
AT ITER 1664 NEW BEST:: SOT 30728691 SOS 15992343 HAS SOPS 15992343 HAS SOUS 10980261 HAS SOUPS 10980261 WITH SCORE 1.0996253343E7
AT ITER 1668 NEW BEST:: SOT 30728691 SOS 15992343 HAS SOPS 15992343 HAS SOUS 10979684 HAS SOUPS 10979684 WITH SCORE 1.0995676343E7
AT ITER 1673 NEW BEST:: SOT 30728316 SOS 15989165 HAS SOPS 15989165 HAS SOUS 10979655 HAS SOUPS 10979655 WITH SCORE 1.0995644165E7
AT ITER 1676 NEW BEST:: SOT 30728316 SOS 15988988 HAS SOPS 15988988 HAS SOUS 10979477 HAS SOUPS 10979477 WITH SCORE 1.0995465988E7
AT ITER 1680 NEW BEST:: SOT 30727571 SOS 15986008 HAS SOPS 15986008 HAS SOUS 10977987 HAS SOUPS 10977987 WITH SCORE 1.0993973008E7
AT ITER 1684 NEW BEST:: SOT 30727571 SOS 15985614 HAS SOPS 15985614 HAS SOUS 10977199 HAS SOUPS 10977199 WITH SCORE 1.0993184614E7
AT ITER 1685 NEW BEST:: SOT 30727571 SOS 15985614 HAS SOPS 15985614 HAS SOUS 10976128 HAS SOUPS 10976128 WITH SCORE 1.0992113614E7
AT ITER 1688 NEW BEST:: SOT 30726840 SOS 15985122 HAS SOPS 15985122 HAS SOUS 10975636 HAS SOUPS 10975636 WITH SCORE 1.0991621122E7
AT ITER 1692 NEW BEST:: SOT 30726795 SOS 15985032 HAS SOPS 15985032 HAS SOUS 10975591 HAS SOUPS 10975591 WITH SCORE 1.0991576032E7
AT ITER 1696 NEW BEST:: SOT 30726795 SOS 15985032 HAS SOPS 15985032 HAS SOUS 10975282 HAS SOUPS 10975282 WITH SCORE 1.0991267032E7
AT ITER 1710 NEW BEST:: SOT 30726795 SOS 15983482 HAS SOPS 15983482 HAS SOUS 10975282 HAS SOUPS 10975282 WITH SCORE 1.0991265482E7
AT ITER 1715 NEW BEST:: SOT 30726795 SOS 15983482 HAS SOPS 15983482 HAS SOUS 10974293 HAS SOUPS 10974293 WITH SCORE 1.0990276482E7
AT ITER 1716 NEW BEST:: SOT 30726617 SOS 15983126 HAS SOPS 15983126 HAS SOUS 10973937 HAS SOUPS 10973937 WITH SCORE 1.0989920126E7
AT ITER 1719 NEW BEST:: SOT 30725742 SOS 15981081 HAS SOPS 15981081 HAS SOUS 10973057 HAS SOUPS 10973057 WITH SCORE 1.0989038081E7
AT ITER 1727 NEW BEST:: SOT 30724472 SOS 15976001 HAS SOPS 15976001 HAS SOUS 10970517 HAS SOUPS 10970517 WITH SCORE 1.0986493001E7
AT ITER 1733 NEW BEST:: SOT 30724472 SOS 15973273 HAS SOPS 15973273 HAS SOUS 10965740 HAS SOUPS 10965740 WITH SCORE 1.0981713273E7
AT ITER 1734 NEW BEST:: SOT 30726151 SOS 15973209 HAS SOPS 15973209 HAS SOUS 10965676 HAS SOUPS 10965676 WITH SCORE 1.0981649209E7
AT ITER 1735 NEW BEST:: SOT 30726151 SOS 15973073 HAS SOPS 15973073 HAS SOUS 10965676 HAS SOUPS 10965676 WITH SCORE 1.0981649073E7
AT ITER 1736 NEW BEST:: SOT 30726151 SOS 15973009 HAS SOPS 15973009 HAS SOUS 10965612 HAS SOUPS 10965612 WITH SCORE 1.0981585009E7
AT ITER 1746 NEW BEST:: SOT 30726151 SOS 15973462 HAS SOPS 15973462 HAS SOUS 10965018 HAS SOUPS 10965018 WITH SCORE 1.0980991462E7
AT ITER 1759 NEW BEST:: SOT 30726151 SOS 15973036 HAS SOPS 15973036 HAS SOUS 10964591 HAS SOUPS 10964591 WITH SCORE 1.0980564036E7
AT ITER 1760 NEW BEST:: SOT 30726151 SOS 15973036 HAS SOPS 15973036 HAS SOUS 10963505 HAS SOUPS 10963505 WITH SCORE 1.0979478036E7
AT ITER 1761 NEW BEST:: SOT 30727289 SOS 15972033 HAS SOPS 15972033 HAS SOUS 10962860 HAS SOUPS 10962860 WITH SCORE 1.0978832033E7
AT ITER 1763 NEW BEST:: SOT 30730203 SOS 15974314 HAS SOPS 15974314 HAS SOUS 10962462 HAS SOUPS 10962462 WITH SCORE 1.0978436314E7
AT ITER 1766 NEW BEST:: SOT 30728993 SOS 15969474 HAS SOPS 15969474 HAS SOUS 10960681 HAS SOUPS 10960681 WITH SCORE 1.0976650474E7
AT ITER 1771 NEW BEST:: SOT 30728993 SOS 15968815 HAS SOPS 15968815 HAS SOUS 10960640 HAS SOUPS 10960640 WITH SCORE 1.0976608815E7
AT ITER 1776 NEW BEST:: SOT 30728993 SOS 15966691 HAS SOPS 15966691 HAS SOUS 10957373 HAS SOUPS 10957373 WITH SCORE 1.0973339691E7
AT ITER 1780 NEW BEST:: SOT 30728993 SOS 15966691 HAS SOPS 15966691 HAS SOUS 10956130 HAS SOUPS 10956130 WITH SCORE 1.0972096691E7
AT ITER 1783 NEW BEST:: SOT 30727863 SOS 15966415 HAS SOPS 15966415 HAS SOUS 10955000 HAS SOUPS 10955000 WITH SCORE 1.0970966415E7
AT ITER 1787 NEW BEST:: SOT 30727456 SOS 15966415 HAS SOPS 15966415 HAS SOUS 10954593 HAS SOUPS 10954593 WITH SCORE 1.0970559415E7
AT ITER 1793 NEW BEST:: SOT 30727491 SOS 15963057 HAS SOPS 15963057 HAS SOUS 10953432 HAS SOUPS 10953432 WITH SCORE 1.0969395057E7
AT ITER 1795 NEW BEST:: SOT 30726721 SOS 15962990 HAS SOPS 15962990 HAS SOUS 10952773 HAS SOUPS 10952773 WITH SCORE 1.096873599E7
AT ITER 1799 NEW BEST:: SOT 30726205 SOS 15962829 HAS SOPS 15962829 HAS SOUS 10952257 HAS SOUPS 10952257 WITH SCORE 1.0968219829E7
AT ITER 1803 NEW BEST:: SOT 30726205 SOS 15962829 HAS SOPS 15962829 HAS SOUS 10952232 HAS SOUPS 10952232 WITH SCORE 1.0968194829E7
AT ITER 1804 NEW BEST:: SOT 30726205 SOS 15960567 HAS SOPS 15960567 HAS SOUS 10948091 HAS SOUPS 10948091 WITH SCORE 1.0964051567E7
AT ITER 1813 NEW BEST:: SOT 30725250 SOS 15958657 HAS SOPS 15958657 HAS SOUS 10947135 HAS SOUPS 10947135 WITH SCORE 1.0963093657E7
AT ITER 1814 NEW BEST:: SOT 30723979 SOS 15957804 HAS SOPS 15957804 HAS SOUS 10946003 HAS SOUPS 10946003 WITH SCORE 1.0961960804E7
AT ITER 1817 NEW BEST:: SOT 30722788 SOS 15955422 HAS SOPS 15955422 HAS SOUS 10943621 HAS SOUPS 10943621 WITH SCORE 1.0959576422E7
AT ITER 1819 NEW BEST:: SOT 30721895 SOS 15949996 HAS SOPS 15949996 HAS SOUS 10939658 HAS SOUPS 10939658 WITH SCORE 1.0955607996E7
AT ITER 1826 NEW BEST:: SOT 30723825 SOS 15953856 HAS SOPS 15953856 HAS SOUS 10938325 HAS SOUPS 10938325 WITH SCORE 1.0954278856E7
AT ITER 1830 NEW BEST:: SOT 30723825 SOS 15955153 HAS SOPS 15955153 HAS SOUS 10937848 HAS SOUPS 10937848 WITH SCORE 1.0953803153E7
AT ITER 1831 NEW BEST:: SOT 30724230 SOS 15953291 HAS SOPS 15953291 HAS SOUS 10937093 HAS SOUPS 10937093 WITH SCORE 1.0953046291E7
AT ITER 1832 NEW BEST:: SOT 30724230 SOS 15953109 HAS SOPS 15953109 HAS SOUS 10937093 HAS SOUPS 10937093 WITH SCORE 1.0953046109E7
AT ITER 1833 NEW BEST:: SOT 30723828 SOS 15952305 HAS SOPS 15952305 HAS SOUS 10936289 HAS SOUPS 10936289 WITH SCORE 1.0952241305E7
AT ITER 1834 NEW BEST:: SOT 30723828 SOS 15951644 HAS SOPS 15951644 HAS SOUS 10935628 HAS SOUPS 10935628 WITH SCORE 1.0951579644E7
AT ITER 1838 NEW BEST:: SOT 30723828 SOS 15949529 HAS SOPS 15949529 HAS SOUS 10931895 HAS SOUPS 10931895 WITH SCORE 1.0947844529E7
AT ITER 1840 NEW BEST:: SOT 30723828 SOS 15949529 HAS SOPS 15949529 HAS SOUS 10931269 HAS SOUPS 10931269 WITH SCORE 1.0947218529E7
AT ITER 1842 NEW BEST:: SOT 30722864 SOS 15947601 HAS SOPS 15947601 HAS SOUS 10929341 HAS SOUPS 10929341 WITH SCORE 1.0945288601E7
AT ITER 1845 NEW BEST:: SOT 30722270 SOS 15944229 HAS SOPS 15944229 HAS SOUS 10928952 HAS SOUPS 10928952 WITH SCORE 1.0944896229E7
AT ITER 1848 NEW BEST:: SOT 30721038 SOS 15940096 HAS SOPS 15940096 HAS SOUS 10926117 HAS SOUPS 10926117 WITH SCORE 1.0942057096E7
AT ITER 1851 NEW BEST:: SOT 30721158 SOS 15936058 HAS SOPS 15936058 HAS SOUS 10923011 HAS SOUPS 10923011 WITH SCORE 1.0938947058E7
AT ITER 1853 NEW BEST:: SOT 30721158 SOS 15936058 HAS SOPS 15936058 HAS SOUS 10922578 HAS SOUPS 10922578 WITH SCORE 1.0938514058E7
AT ITER 1854 NEW BEST:: SOT 30720751 SOS 15933354 HAS SOPS 15933354 HAS SOUS 10922161 HAS SOUPS 10922161 WITH SCORE 1.0938094354E7
AT ITER 1860 NEW BEST:: SOT 30719110 SOS 15930121 HAS SOPS 15930121 HAS SOUS 10917640 HAS SOUPS 10917640 WITH SCORE 1.0933570121E7
AT ITER 1863 NEW BEST:: SOT 30719110 SOS 15930121 HAS SOPS 15930121 HAS SOUS 10917592 HAS SOUPS 10917592 WITH SCORE 1.0933522121E7
AT ITER 1868 NEW BEST:: SOT 30719110 SOS 15930121 HAS SOPS 15930121 HAS SOUS 10915888 HAS SOUPS 10915888 WITH SCORE 1.0931818121E7
AT ITER 1871 NEW BEST:: SOT 30719110 SOS 15930121 HAS SOPS 15930121 HAS SOUS 10915828 HAS SOUPS 10915828 WITH SCORE 1.0931758121E7
AT ITER 1877 NEW BEST:: SOT 30718428 SOS 15928757 HAS SOPS 15928757 HAS SOUS 10915146 HAS SOUPS 10915146 WITH SCORE 1.0931074757E7
AT ITER 1878 NEW BEST:: SOT 30716822 SOS 15927320 HAS SOPS 15927320 HAS SOUS 10913540 HAS SOUPS 10913540 WITH SCORE 1.092946732E7
AT ITER 1883 NEW BEST:: SOT 30716822 SOS 15927320 HAS SOPS 15927320 HAS SOUS 10913289 HAS SOUPS 10913289 WITH SCORE 1.092921632E7
AT ITER 1887 NEW BEST:: SOT 30716822 SOS 15927320 HAS SOPS 15927320 HAS SOUS 10912615 HAS SOUPS 10912615 WITH SCORE 1.092854232E7
AT ITER 1891 NEW BEST:: SOT 30679270 SOS 16044900 HAS SOPS 16044900 HAS SOUS 10884903 HAS SOUPS 10884903 WITH SCORE 1.09009479E7
AT ITER 1904 NEW BEST:: SOT 30679270 SOS 16043055 HAS SOPS 16043055 HAS SOUS 10880538 HAS SOUPS 10880538 WITH SCORE 1.0896581055E7
AT ITER 1917 NEW BEST:: SOT 30679270 SOS 16043055 HAS SOPS 16043055 HAS SOUS 10878348 HAS SOUPS 10878348 WITH SCORE 1.0894391055E7
AT ITER 1934 NEW BEST:: SOT 30679270 SOS 16043054 HAS SOPS 16043054 HAS SOUS 10878347 HAS SOUPS 10878347 WITH SCORE 1.0894390054E7
AT ITER 1963 NEW BEST:: SOT 30678257 SOS 16044563 HAS SOPS 16044563 HAS SOUS 10877329 HAS SOUPS 10877329 WITH SCORE 1.0893373563E7
AT ITER 1971 NEW BEST:: SOT 30677716 SOS 16046656 HAS SOPS 16046656 HAS SOUS 10876828 HAS SOUPS 10876828 WITH SCORE 1.0892874656E7
AT ITER 1979 NEW BEST:: SOT 30677716 SOS 16045227 HAS SOPS 16045227 HAS SOUS 10875396 HAS SOUPS 10875396 WITH SCORE 1.0891441227E7
AT ITER 1980 NEW BEST:: SOT 30677716 SOS 16045227 HAS SOPS 16045227 HAS SOUS 10874791 HAS SOUPS 10874791 WITH SCORE 1.0890836227E7
AT ITER 1982 NEW BEST:: SOT 30677678 SOS 16045113 HAS SOPS 16045113 HAS SOUS 10874715 HAS SOUPS 10874715 WITH SCORE 1.0890760113E7
AT ITER 1983 NEW BEST:: SOT 30677678 SOS 16045113 HAS SOPS 16045113 HAS SOUS 10873874 HAS SOUPS 10873874 WITH SCORE 1.0889919113E7
AT ITER 1995 NEW BEST:: SOT 30677678 SOS 16042264 HAS SOPS 16042264 HAS SOUS 10871663 HAS SOUPS 10871663 WITH SCORE 1.0887705264E7
AT ITER 1998 NEW BEST:: SOT 30677384 SOS 16041088 HAS SOPS 16041088 HAS SOUS 10871075 HAS SOUPS 10871075 WITH SCORE 1.0887116088E7
AT ITER 2000 NEW BEST:: SOT 30675652 SOS 16039356 HAS SOPS 16039356 HAS SOUS 10869343 HAS SOUPS 10869343 WITH SCORE 1.0885382356E7
AT ITER 2001 NEW BEST:: SOT 30676544 SOS 16035014 HAS SOPS 16035014 HAS SOUS 10869236 HAS SOUPS 10869236 WITH SCORE 1.0885271014E7
AT ITER 2004 NEW BEST:: SOT 30646167 SOS 16006897 HAS SOPS 16006897 HAS SOUS 10838932 HAS SOUPS 10838932 WITH SCORE 1.0854938897E7
AT ITER 2005 NEW BEST:: SOT 30646167 SOS 16004274 HAS SOPS 16004274 HAS SOUS 10836955 HAS SOUPS 10836955 WITH SCORE 1.0852959274E7
AT ITER 2006 NEW BEST:: SOT 30646167 SOS 16002015 HAS SOPS 16002015 HAS SOUS 10835663 HAS SOUPS 10835663 WITH SCORE 1.0851665015E7
AT ITER 2009 NEW BEST:: SOT 30646167 SOS 16000888 HAS SOPS 16000888 HAS SOUS 10835658 HAS SOUPS 10835658 WITH SCORE 1.0851658888E7
AT ITER 2012 NEW BEST:: SOT 30644670 SOS 16000258 HAS SOPS 16000258 HAS SOUS 10834160 HAS SOUPS 10834160 WITH SCORE 1.0850160258E7
AT ITER 2013 NEW BEST:: SOT 30645174 SOS 15999404 HAS SOPS 15999404 HAS SOUS 10833862 HAS SOUPS 10833862 WITH SCORE 1.0849861404E7
AT ITER 2017 NEW BEST:: SOT 30645174 SOS 15998330 HAS SOPS 15998330 HAS SOUS 10832788 HAS SOUPS 10832788 WITH SCORE 1.084878633E7
AT ITER 2023 NEW BEST:: SOT 30644577 SOS 15996149 HAS SOPS 15996149 HAS SOUS 10831800 HAS SOUPS 10831800 WITH SCORE 1.0847796149E7
AT ITER 2033 NEW BEST:: SOT 30644012 SOS 15993889 HAS SOPS 15993889 HAS SOUS 10831235 HAS SOUPS 10831235 WITH SCORE 1.0847228889E7
AT ITER 2035 NEW BEST:: SOT 30644621 SOS 15998223 HAS SOPS 15998223 HAS SOUS 10830792 HAS SOUPS 10830792 WITH SCORE 1.0846790223E7
AT ITER 2039 NEW BEST:: SOT 30644621 SOS 15996088 HAS SOPS 15996088 HAS SOUS 10828265 HAS SOUPS 10828265 WITH SCORE 1.0844261088E7
AT ITER 2042 NEW BEST:: SOT 30643300 SOS 15995413 HAS SOPS 15995413 HAS SOUS 10826944 HAS SOUPS 10826944 WITH SCORE 1.0842939413E7
AT ITER 2043 NEW BEST:: SOT 30643300 SOS 15992660 HAS SOPS 15992660 HAS SOUS 10822040 HAS SOUPS 10822040 WITH SCORE 1.083803266E7
AT ITER 2044 NEW BEST:: SOT 30643300 SOS 15992660 HAS SOPS 15992660 HAS SOUS 10822037 HAS SOUPS 10822037 WITH SCORE 1.083802966E7
AT ITER 2047 NEW BEST:: SOT 30642186 SOS 15991643 HAS SOPS 15991643 HAS SOUS 10820923 HAS SOUPS 10820923 WITH SCORE 1.0836914643E7
AT ITER 2053 NEW BEST:: SOT 30642026 SOS 15991323 HAS SOPS 15991323 HAS SOUS 10820763 HAS SOUPS 10820763 WITH SCORE 1.0836754323E7
AT ITER 2054 NEW BEST:: SOT 30642026 SOS 15991323 HAS SOPS 15991323 HAS SOUS 10818987 HAS SOUPS 10818987 WITH SCORE 1.0834978323E7
AT ITER 2063 NEW BEST:: SOT 30642026 SOS 15988318 HAS SOPS 15988318 HAS SOUS 10813642 HAS SOUPS 10813642 WITH SCORE 1.0829630318E7
AT ITER 2068 NEW BEST:: SOT 30642026 SOS 15988318 HAS SOPS 15988318 HAS SOUS 10813419 HAS SOUPS 10813419 WITH SCORE 1.0829407318E7
AT ITER 2071 NEW BEST:: SOT 30644249 SOS 15990499 HAS SOPS 15990499 HAS SOUS 10813377 HAS SOUPS 10813377 WITH SCORE 1.0829367499E7
AT ITER 2075 NEW BEST:: SOT 30643956 SOS 15989327 HAS SOPS 15989327 HAS SOUS 10812791 HAS SOUPS 10812791 WITH SCORE 1.0828780327E7
AT ITER 2076 NEW BEST:: SOT 30643502 SOS 15989150 HAS SOPS 15989150 HAS SOUS 10812337 HAS SOUPS 10812337 WITH SCORE 1.082832615E7
AT ITER 2079 NEW BEST:: SOT 30643502 SOS 15989150 HAS SOPS 15989150 HAS SOUS 10812336 HAS SOUPS 10812336 WITH SCORE 1.082832515E7
AT ITER 2089 NEW BEST:: SOT 30642363 SOS 15986872 HAS SOPS 15986872 HAS SOUS 10809043 HAS SOUPS 10809043 WITH SCORE 1.0825029872E7
AT ITER 2090 NEW BEST:: SOT 30642363 SOS 15986872 HAS SOPS 15986872 HAS SOUS 10808159 HAS SOUPS 10808159 WITH SCORE 1.0824145872E7
AT ITER 2091 NEW BEST:: SOT 30642985 SOS 15985911 HAS SOPS 15985911 HAS SOUS 10808126 HAS SOUPS 10808126 WITH SCORE 1.0824111911E7
AT ITER 2099 NEW BEST:: SOT 30642877 SOS 15985695 HAS SOPS 15985695 HAS SOUS 10807910 HAS SOUPS 10807910 WITH SCORE 1.0823895695E7
AT ITER 2105 NEW BEST:: SOT 30642877 SOS 15982603 HAS SOPS 15982603 HAS SOUS 10801770 HAS SOUPS 10801770 WITH SCORE 1.0817752603E7
AT ITER 2106 NEW BEST:: SOT 30640630 SOS 15970641 HAS SOPS 15970641 HAS SOUS 10793322 HAS SOUPS 10793322 WITH SCORE 1.0809292641E7
AT ITER 2109 NEW BEST:: SOT 30640630 SOS 15968390 HAS SOPS 15968390 HAS SOUS 10791071 HAS SOUPS 10791071 WITH SCORE 1.080703939E7
AT ITER 2110 NEW BEST:: SOT 30638102 SOS 15963379 HAS SOPS 15963379 HAS SOUS 10788563 HAS SOUPS 10788563 WITH SCORE 1.0804526379E7
AT ITER 2120 NEW BEST:: SOT 30635798 SOS 15960844 HAS SOPS 15960844 HAS SOUS 10788352 HAS SOUPS 10788352 WITH SCORE 1.0804312844E7
AT ITER 2121 NEW BEST:: SOT 30635798 SOS 15958695 HAS SOPS 15958695 HAS SOUS 10786724 HAS SOUPS 10786724 WITH SCORE 1.0802682695E7
AT ITER 2133 NEW BEST:: SOT 30635798 SOS 15957664 HAS SOPS 15957664 HAS SOUS 10785690 HAS SOUPS 10785690 WITH SCORE 1.0801647664E7
AT ITER 2134 NEW BEST:: SOT 30635974 SOS 15953558 HAS SOPS 15953558 HAS SOUS 10785597 HAS SOUPS 10785597 WITH SCORE 1.0801550558E7
AT ITER 2136 NEW BEST:: SOT 30634784 SOS 15952692 HAS SOPS 15952692 HAS SOUS 10784407 HAS SOUPS 10784407 WITH SCORE 1.0800359692E7
AT ITER 2140 NEW BEST:: SOT 30634394 SOS 15952692 HAS SOPS 15952692 HAS SOUS 10784195 HAS SOUPS 10784195 WITH SCORE 1.0800147692E7
AT ITER 2143 NEW BEST:: SOT 30635214 SOS 15954332 HAS SOPS 15954332 HAS SOUS 10783522 HAS SOUPS 10783522 WITH SCORE 1.0799476332E7
AT ITER 2153 NEW BEST:: SOT 30635214 SOS 15953654 HAS SOPS 15953654 HAS SOUS 10782844 HAS SOUPS 10782844 WITH SCORE 1.0798797654E7
AT ITER 2156 NEW BEST:: SOT 30635214 SOS 15953654 HAS SOPS 15953654 HAS SOUS 10781868 HAS SOUPS 10781868 WITH SCORE 1.0797821654E7
AT ITER 2172 NEW BEST:: SOT 30635214 SOS 15953579 HAS SOPS 15953579 HAS SOUS 10781615 HAS SOUPS 10781615 WITH SCORE 1.0797568579E7
AT ITER 2175 NEW BEST:: SOT 30634677 SOS 15952505 HAS SOPS 15952505 HAS SOUS 10781078 HAS SOUPS 10781078 WITH SCORE 1.0797030505E7
AT ITER 2177 NEW BEST:: SOT 30635075 SOS 15946573 HAS SOPS 15946573 HAS SOUS 10776990 HAS SOUPS 10776990 WITH SCORE 1.0792936573E7
AT ITER 2180 NEW BEST:: SOT 30635075 SOS 15946573 HAS SOPS 15946573 HAS SOUS 10776989 HAS SOUPS 10776989 WITH SCORE 1.0792935573E7
AT ITER 2181 NEW BEST:: SOT 30635384 SOS 15946132 HAS SOPS 15946132 HAS SOUS 10776239 HAS SOUPS 10776239 WITH SCORE 1.0792185132E7
AT ITER 2190 NEW BEST:: SOT 30635384 SOS 15945146 HAS SOPS 15945146 HAS SOUS 10776238 HAS SOUPS 10776238 WITH SCORE 1.0792183146E7
AT ITER 2191 NEW BEST:: SOT 30635093 SOS 15944564 HAS SOPS 15944564 HAS SOUS 10775318 HAS SOUPS 10775318 WITH SCORE 1.0791262564E7
AT ITER 2195 NEW BEST:: SOT 30634818 SOS 15944564 HAS SOPS 15944564 HAS SOUS 10775043 HAS SOUPS 10775043 WITH SCORE 1.0790987564E7
AT ITER 2196 NEW BEST:: SOT 30634247 SOS 15943417 HAS SOPS 15943417 HAS SOUS 10773896 HAS SOUPS 10773896 WITH SCORE 1.0789839417E7
AT ITER 2197 NEW BEST:: SOT 30634880 SOS 15943286 HAS SOPS 15943286 HAS SOUS 10773781 HAS SOUPS 10773781 WITH SCORE 1.0789724286E7
AT ITER 2201 NEW BEST:: SOT 30633720 SOS 15940715 HAS SOPS 15940715 HAS SOUS 10773200 HAS SOUPS 10773200 WITH SCORE 1.0789140715E7
AT ITER 2203 NEW BEST:: SOT 30630832 SOS 15921409 HAS SOPS 15921409 HAS SOUS 10764942 HAS SOUPS 10764942 WITH SCORE 1.0780863409E7
AT ITER 2205 NEW BEST:: SOT 30629791 SOS 15921409 HAS SOPS 15921409 HAS SOUS 10764441 HAS SOUPS 10764441 WITH SCORE 1.0780362409E7
AT ITER 2209 NEW BEST:: SOT 30630101 SOS 15917803 HAS SOPS 15917803 HAS SOUS 10763149 HAS SOUPS 10763149 WITH SCORE 1.0779066803E7
AT ITER 2211 NEW BEST:: SOT 30629931 SOS 15917463 HAS SOPS 15917463 HAS SOUS 10762979 HAS SOUPS 10762979 WITH SCORE 1.0778896463E7
AT ITER 2216 NEW BEST:: SOT 30628698 SOS 15917674 HAS SOPS 15917674 HAS SOUS 10761746 HAS SOUPS 10761746 WITH SCORE 1.0777663674E7
AT ITER 2222 NEW BEST:: SOT 30628395 SOS 15916546 HAS SOPS 15916546 HAS SOUS 10761140 HAS SOUPS 10761140 WITH SCORE 1.0777056546E7
AT ITER 2235 NEW BEST:: SOT 30628395 SOS 15914366 HAS SOPS 15914366 HAS SOUS 10760112 HAS SOUPS 10760112 WITH SCORE 1.0776026366E7
AT ITER 2236 NEW BEST:: SOT 30628395 SOS 15913735 HAS SOPS 15913735 HAS SOUS 10759098 HAS SOUPS 10759098 WITH SCORE 1.0775011735E7
AT ITER 2237 NEW BEST:: SOT 30626302 SOS 15909550 HAS SOPS 15909550 HAS SOUS 10757005 HAS SOUPS 10757005 WITH SCORE 1.077291455E7
AT ITER 2239 NEW BEST:: SOT 30624121 SOS 15906499 HAS SOPS 15906499 HAS SOUS 10755675 HAS SOUPS 10755675 WITH SCORE 1.0771581499E7
AT ITER 2240 NEW BEST:: SOT 30623772 SOS 15906150 HAS SOPS 15906150 HAS SOUS 10755372 HAS SOUPS 10755372 WITH SCORE 1.077127815E7
AT ITER 2243 NEW BEST:: SOT 30623475 SOS 15905458 HAS SOPS 15905458 HAS SOUS 10755075 HAS SOUPS 10755075 WITH SCORE 1.0770980458E7
AT ITER 2245 NEW BEST:: SOT 30623482 SOS 15903669 HAS SOPS 15903669 HAS SOUS 10753286 HAS SOUPS 10753286 WITH SCORE 1.0769189669E7
AT ITER 2246 NEW BEST:: SOT 30621788 SOS 15902630 HAS SOPS 15902630 HAS SOUS 10751592 HAS SOUPS 10751592 WITH SCORE 1.076749463E7
AT ITER 2251 NEW BEST:: SOT 30621788 SOS 15901358 HAS SOPS 15901358 HAS SOUS 10750320 HAS SOUPS 10750320 WITH SCORE 1.0766221358E7
AT ITER 2261 NEW BEST:: SOT 30620748 SOS 15901439 HAS SOPS 15901439 HAS SOUS 10749734 HAS SOUPS 10749734 WITH SCORE 1.0765635439E7
AT ITER 2263 NEW BEST:: SOT 30619729 SOS 15896385 HAS SOPS 15896385 HAS SOUS 10747882 HAS SOUPS 10747882 WITH SCORE 1.0763778385E7
AT ITER 2264 NEW BEST:: SOT 30619640 SOS 15894702 HAS SOPS 15894702 HAS SOUS 10747299 HAS SOUPS 10747299 WITH SCORE 1.0763193702E7
AT ITER 2266 NEW BEST:: SOT 30619640 SOS 15894702 HAS SOPS 15894702 HAS SOUS 10746755 HAS SOUPS 10746755 WITH SCORE 1.0762649702E7
AT ITER 2269 NEW BEST:: SOT 30617288 SOS 15892550 HAS SOPS 15892550 HAS SOUS 10744586 HAS SOUPS 10744586 WITH SCORE 1.076047855E7
AT ITER 2273 NEW BEST:: SOT 30617288 SOS 15892550 HAS SOPS 15892550 HAS SOUS 10744522 HAS SOUPS 10744522 WITH SCORE 1.076041455E7
AT ITER 2277 NEW BEST:: SOT 30617288 SOS 15892550 HAS SOPS 15892550 HAS SOUS 10744135 HAS SOUPS 10744135 WITH SCORE 1.076002755E7
AT ITER 2278 NEW BEST:: SOT 30617288 SOS 15889365 HAS SOPS 15889365 HAS SOUS 10741748 HAS SOUPS 10741748 WITH SCORE 1.0757637365E7
AT ITER 2279 NEW BEST:: SOT 30619416 SOS 15893621 HAS SOPS 15893621 HAS SOUS 10741488 HAS SOUPS 10741488 WITH SCORE 1.0757381621E7
AT ITER 2280 NEW BEST:: SOT 30619168 SOS 15893125 HAS SOPS 15893125 HAS SOUS 10741239 HAS SOUPS 10741239 WITH SCORE 1.0757132125E7
AT ITER 2284 NEW BEST:: SOT 30619116 SOS 15893021 HAS SOPS 15893021 HAS SOUS 10741135 HAS SOUPS 10741135 WITH SCORE 1.0757028021E7
AT ITER 2289 NEW BEST:: SOT 30618074 SOS 15892545 HAS SOPS 15892545 HAS SOUS 10740093 HAS SOUPS 10740093 WITH SCORE 1.0755985545E7
AT ITER 2292 NEW BEST:: SOT 30618380 SOS 15890446 HAS SOPS 15890446 HAS SOUS 10736783 HAS SOUPS 10736783 WITH SCORE 1.0752673446E7
AT ITER 2293 NEW BEST:: SOT 30618380 SOS 15890138 HAS SOPS 15890138 HAS SOUS 10736629 HAS SOUPS 10736629 WITH SCORE 1.0752519138E7
AT ITER 2294 NEW BEST:: SOT 30617690 SOS 15889490 HAS SOPS 15889490 HAS SOUS 10735981 HAS SOUPS 10735981 WITH SCORE 1.075187049E7
AT ITER 2301 NEW BEST:: SOT 30617690 SOS 15889498 HAS SOPS 15889498 HAS SOUS 10735466 HAS SOUPS 10735466 WITH SCORE 1.0751355498E7
AT ITER 2309 NEW BEST:: SOT 30617690 SOS 15889498 HAS SOPS 15889498 HAS SOUS 10733549 HAS SOUPS 10733549 WITH SCORE 1.0749438498E7
AT ITER 2318 NEW BEST:: SOT 30617306 SOS 15888730 HAS SOPS 15888730 HAS SOUS 10733165 HAS SOUPS 10733165 WITH SCORE 1.074905373E7
AT ITER 2326 NEW BEST:: SOT 30617306 SOS 15887440 HAS SOPS 15887440 HAS SOUS 10732428 HAS SOUPS 10732428 WITH SCORE 1.074831544E7
AT ITER 2328 NEW BEST:: SOT 30616774 SOS 15886376 HAS SOPS 15886376 HAS SOUS 10731364 HAS SOUPS 10731364 WITH SCORE 1.0747250376E7
AT ITER 2330 NEW BEST:: SOT 30616333 SOS 15884250 HAS SOPS 15884250 HAS SOUS 10731013 HAS SOUPS 10731013 WITH SCORE 1.074689725E7
AT ITER 2334 NEW BEST:: SOT 30616042 SOS 15883668 HAS SOPS 15883668 HAS SOUS 10730888 HAS SOUPS 10730888 WITH SCORE 1.0746771668E7
AT ITER 2339 NEW BEST:: SOT 30615624 SOS 15882832 HAS SOPS 15882832 HAS SOUS 10730052 HAS SOUPS 10730052 WITH SCORE 1.0745934832E7
AT ITER 2350 NEW BEST:: SOT 30600623 SOS 15872954 HAS SOPS 15872954 HAS SOUS 10715671 HAS SOUPS 10715671 WITH SCORE 1.0731543954E7
AT ITER 2351 NEW BEST:: SOT 30599757 SOS 15871222 HAS SOPS 15871222 HAS SOUS 10713939 HAS SOUPS 10713939 WITH SCORE 1.0729810222E7
AT ITER 2352 NEW BEST:: SOT 30599067 SOS 15871162 HAS SOPS 15871162 HAS SOUS 10713249 HAS SOUPS 10713249 WITH SCORE 1.0729120162E7
AT ITER 2370 NEW BEST:: SOT 30599067 SOS 15868600 HAS SOPS 15868600 HAS SOUS 10711360 HAS SOUPS 10711360 WITH SCORE 1.07272286E7
AT ITER 2371 NEW BEST:: SOT 30599067 SOS 15868385 HAS SOPS 15868385 HAS SOUS 10711145 HAS SOUPS 10711145 WITH SCORE 1.0727013385E7
AT ITER 2372 NEW BEST:: SOT 30598278 SOS 15867859 HAS SOPS 15867859 HAS SOUS 10710619 HAS SOUPS 10710619 WITH SCORE 1.0726486859E7
AT ITER 2373 NEW BEST:: SOT 30597290 SOS 15865883 HAS SOPS 15865883 HAS SOUS 10709631 HAS SOUPS 10709631 WITH SCORE 1.0725496883E7
AT ITER 2381 NEW BEST:: SOT 30595981 SOS 15825035 HAS SOPS 15825035 HAS SOUS 10708321 HAS SOUPS 10708321 WITH SCORE 1.0724146035E7
AT ITER 2385 NEW BEST:: SOT 30596366 SOS 15825805 HAS SOPS 15825805 HAS SOUS 10707970 HAS SOUPS 10707970 WITH SCORE 1.0723795805E7
AT ITER 2387 NEW BEST:: SOT 30595391 SOS 15821905 HAS SOPS 15821905 HAS SOUS 10705880 HAS SOUPS 10705880 WITH SCORE 1.0721701905E7
AT ITER 2396 NEW BEST:: SOT 30595391 SOS 15821010 HAS SOPS 15821010 HAS SOUS 10704475 HAS SOUPS 10704475 WITH SCORE 1.072029601E7
AT ITER 2400 NEW BEST:: SOT 30595391 SOS 15820470 HAS SOPS 15820470 HAS SOUS 10703935 HAS SOUPS 10703935 WITH SCORE 1.071975547E7
AT ITER 2407 NEW BEST:: SOT 30593503 SOS 15818726 HAS SOPS 15818726 HAS SOUS 10702047 HAS SOUPS 10702047 WITH SCORE 1.0717865726E7
AT ITER 2408 NEW BEST:: SOT 30592857 SOS 15813612 HAS SOPS 15813612 HAS SOUS 10700681 HAS SOUPS 10700681 WITH SCORE 1.0716494612E7
AT ITER 2409 NEW BEST:: SOT 30592683 SOS 15813438 HAS SOPS 15813438 HAS SOUS 10700504 HAS SOUPS 10700504 WITH SCORE 1.0716317438E7
AT ITER 2410 NEW BEST:: SOT 30592683 SOS 15812421 HAS SOPS 15812421 HAS SOUS 10700503 HAS SOUPS 10700503 WITH SCORE 1.0716315421E7
AT ITER 2411 NEW BEST:: SOT 30592683 SOS 15812421 HAS SOPS 15812421 HAS SOUS 10700042 HAS SOUPS 10700042 WITH SCORE 1.0715854421E7
AT ITER 2419 NEW BEST:: SOT 30590148 SOS 15810146 HAS SOPS 15810146 HAS SOUS 10697572 HAS SOUPS 10697572 WITH SCORE 1.0713382146E7
AT ITER 2424 NEW BEST:: SOT 30590123 SOS 15809412 HAS SOPS 15809412 HAS SOUS 10696838 HAS SOUPS 10696838 WITH SCORE 1.0712647412E7
AT ITER 2425 NEW BEST:: SOT 30589248 SOS 15808742 HAS SOPS 15808742 HAS SOUS 10695963 HAS SOUPS 10695963 WITH SCORE 1.0711771742E7
AT ITER 2426 NEW BEST:: SOT 30589248 SOS 15806572 HAS SOPS 15806572 HAS SOUS 10690626 HAS SOUPS 10690626 WITH SCORE 1.0706432572E7
AT ITER 2427 NEW BEST:: SOT 30589248 SOS 15806572 HAS SOPS 15806572 HAS SOUS 10689863 HAS SOUPS 10689863 WITH SCORE 1.0705669572E7
AT ITER 2430 NEW BEST:: SOT 30589160 SOS 15806396 HAS SOPS 15806396 HAS SOUS 10689687 HAS SOUPS 10689687 WITH SCORE 1.0705493396E7
AT ITER 2432 NEW BEST:: SOT 30588290 SOS 15802916 HAS SOPS 15802916 HAS SOUS 10687077 HAS SOUPS 10687077 WITH SCORE 1.0702879916E7
AT ITER 2435 NEW BEST:: SOT 30588290 SOS 15801318 HAS SOPS 15801318 HAS SOUS 10687076 HAS SOUPS 10687076 WITH SCORE 1.0702877318E7
AT ITER 2452 NEW BEST:: SOT 30589585 SOS 15797636 HAS SOPS 15797636 HAS SOUS 10685398 HAS SOUPS 10685398 WITH SCORE 1.0701195636E7
AT ITER 2455 NEW BEST:: SOT 30589585 SOS 15797274 HAS SOPS 15797274 HAS SOUS 10685217 HAS SOUPS 10685217 WITH SCORE 1.0701014274E7
AT ITER 2467 NEW BEST:: SOT 30589281 SOS 15792908 HAS SOPS 15792908 HAS SOUS 10683838 HAS SOUPS 10683838 WITH SCORE 1.0699630908E7
AT ITER 2472 NEW BEST:: SOT 30588071 SOS 15793056 HAS SOPS 15793056 HAS SOUS 10682661 HAS SOUPS 10682661 WITH SCORE 1.0698454056E7
AT ITER 2474 NEW BEST:: SOT 30587315 SOS 15788169 HAS SOPS 15788169 HAS SOUS 10678530 HAS SOUPS 10678530 WITH SCORE 1.0694318169E7
AT ITER 2479 NEW BEST:: SOT 30586563 SOS 15786665 HAS SOPS 15786665 HAS SOUS 10677026 HAS SOUPS 10677026 WITH SCORE 1.0692812665E7
AT ITER 2481 NEW BEST:: SOT 30586423 SOS 15786385 HAS SOPS 15786385 HAS SOUS 10676886 HAS SOUPS 10676886 WITH SCORE 1.0692672385E7
AT ITER 2486 NEW BEST:: SOT 30586774 SOS 15784086 HAS SOPS 15784086 HAS SOUS 10675234 HAS SOUPS 10675234 WITH SCORE 1.0691018086E7
AT ITER 2490 NEW BEST:: SOT 30559055 SOS 15767606 HAS SOPS 15767606 HAS SOUS 10648421 HAS SOUPS 10648421 WITH SCORE 1.0664188606E7
AT ITER 2491 NEW BEST:: SOT 30559194 SOS 15764604 HAS SOPS 15764604 HAS SOUS 10643141 HAS SOUPS 10643141 WITH SCORE 1.0658905604E7
AT ITER 2492 NEW BEST:: SOT 30559194 SOS 15763694 HAS SOPS 15763694 HAS SOUS 10642231 HAS SOUPS 10642231 WITH SCORE 1.0657994694E7
AT ITER 2493 NEW BEST:: SOT 30558777 SOS 15762860 HAS SOPS 15762860 HAS SOUS 10641814 HAS SOUPS 10641814 WITH SCORE 1.065757686E7
AT ITER 2495 NEW BEST:: SOT 30558626 SOS 15765383 HAS SOPS 15765383 HAS SOUS 10640697 HAS SOUPS 10640697 WITH SCORE 1.0656462383E7
AT ITER 2500 NEW BEST:: SOT 30557969 SOS 15765348 HAS SOPS 15765348 HAS SOUS 10640643 HAS SOUPS 10640643 WITH SCORE 1.0656408348E7
AT ITER 2503 NEW BEST:: SOT 30557899 SOS 15760078 HAS SOPS 15760078 HAS SOUS 10637784 HAS SOUPS 10637784 WITH SCORE 1.0653544078E7
AT ITER 2508 NEW BEST:: SOT 30557899 SOS 15758778 HAS SOPS 15758778 HAS SOUS 10637532 HAS SOUPS 10637532 WITH SCORE 1.0653290778E7
AT ITER 2523 NEW BEST:: SOT 30557899 SOS 15756982 HAS SOPS 15756982 HAS SOUS 10632484 HAS SOUPS 10632484 WITH SCORE 1.0648240982E7
AT ITER 2531 NEW BEST:: SOT 30557899 SOS 15756200 HAS SOPS 15756200 HAS SOUS 10631745 HAS SOUPS 10631745 WITH SCORE 1.06475012E7
AT ITER 2536 NEW BEST:: SOT 30557899 SOS 15755913 HAS SOPS 15755913 HAS SOUS 10628773 HAS SOUPS 10628773 WITH SCORE 1.0644528913E7
AT ITER 2541 NEW BEST:: SOT 30557749 SOS 15755613 HAS SOPS 15755613 HAS SOUS 10628145 HAS SOUPS 10628145 WITH SCORE 1.0643900613E7
AT ITER 2542 NEW BEST:: SOT 30556138 SOS 15752392 HAS SOPS 15752392 HAS SOUS 10626534 HAS SOUPS 10626534 WITH SCORE 1.0642286392E7
AT ITER 2544 NEW BEST:: SOT 30553088 SOS 15749075 HAS SOPS 15749075 HAS SOUS 10625999 HAS SOUPS 10625999 WITH SCORE 1.0641748075E7
AT ITER 2548 NEW BEST:: SOT 30553276 SOS 15747485 HAS SOPS 15747485 HAS SOUS 10624607 HAS SOUPS 10624607 WITH SCORE 1.0640354485E7
AT ITER 2555 NEW BEST:: SOT 30552292 SOS 15746624 HAS SOPS 15746624 HAS SOUS 10623623 HAS SOUPS 10623623 WITH SCORE 1.0639369624E7
AT ITER 2558 NEW BEST:: SOT 30551342 SOS 15744724 HAS SOPS 15744724 HAS SOUS 10622323 HAS SOUPS 10622323 WITH SCORE 1.0638067724E7
AT ITER 2564 NEW BEST:: SOT 30550953 SOS 15745018 HAS SOPS 15745018 HAS SOUS 10621995 HAS SOUPS 10621995 WITH SCORE 1.0637740018E7
AT ITER 2566 NEW BEST:: SOT 30550683 SOS 15744883 HAS SOPS 15744883 HAS SOUS 10621725 HAS SOUPS 10621725 WITH SCORE 1.0637469883E7
AT ITER 2572 NEW BEST:: SOT 30550683 SOS 15744740 HAS SOPS 15744740 HAS SOUS 10621080 HAS SOUPS 10621080 WITH SCORE 1.063682474E7
AT ITER 2579 NEW BEST:: SOT 30549463 SOS 15741639 HAS SOPS 15741639 HAS SOUS 10619860 HAS SOUPS 10619860 WITH SCORE 1.0635601639E7
AT ITER 2583 NEW BEST:: SOT 30549463 SOS 15740866 HAS SOPS 15740866 HAS SOUS 10618953 HAS SOUPS 10618953 WITH SCORE 1.0634693866E7
AT ITER 2584 NEW BEST:: SOT 30550991 SOS 15741990 HAS SOPS 15741990 HAS SOUS 10616829 HAS SOUPS 10616829 WITH SCORE 1.063257099E7
AT ITER 2590 NEW BEST:: SOT 30551149 SOS 15737732 HAS SOPS 15737732 HAS SOUS 10613673 HAS SOUPS 10613673 WITH SCORE 1.0629410732E7
AT ITER 2592 NEW BEST:: SOT 30551149 SOS 15737732 HAS SOPS 15737732 HAS SOUS 10612269 HAS SOUPS 10612269 WITH SCORE 1.0628006732E7
AT ITER 2601 NEW BEST:: SOT 30550467 SOS 15737050 HAS SOPS 15737050 HAS SOUS 10611587 HAS SOUPS 10611587 WITH SCORE 1.062732405E7
AT ITER 2602 NEW BEST:: SOT 30550279 SOS 15736674 HAS SOPS 15736674 HAS SOUS 10611211 HAS SOUPS 10611211 WITH SCORE 1.0626947674E7
AT ITER 2605 NEW BEST:: SOT 30549237 SOS 15734590 HAS SOPS 15734590 HAS SOUS 10610450 HAS SOUPS 10610450 WITH SCORE 1.062618459E7
AT ITER 2609 NEW BEST:: SOT 30549088 SOS 15734284 HAS SOPS 15734284 HAS SOUS 10610152 HAS SOUPS 10610152 WITH SCORE 1.0625886284E7
AT ITER 2610 NEW BEST:: SOT 30549088 SOS 15734284 HAS SOPS 15734284 HAS SOUS 10610151 HAS SOUPS 10610151 WITH SCORE 1.0625885284E7
AT ITER 2612 NEW BEST:: SOT 30548133 SOS 15734366 HAS SOPS 15734366 HAS SOUS 10609196 HAS SOUPS 10609196 WITH SCORE 1.0624930366E7
AT ITER 2613 NEW BEST:: SOT 30548133 SOS 15732027 HAS SOPS 15732027 HAS SOUS 10607402 HAS SOUPS 10607402 WITH SCORE 1.0623134027E7
AT ITER 2616 NEW BEST:: SOT 30548133 SOS 15731172 HAS SOPS 15731172 HAS SOUS 10606547 HAS SOUPS 10606547 WITH SCORE 1.0622278172E7
AT ITER 2619 NEW BEST:: SOT 30547684 SOS 15730274 HAS SOPS 15730274 HAS SOUS 10606098 HAS SOUPS 10606098 WITH SCORE 1.0621828274E7
AT ITER 2623 NEW BEST:: SOT 30547844 SOS 15727610 HAS SOPS 15727610 HAS SOUS 10605429 HAS SOUPS 10605429 WITH SCORE 1.062115661E7
AT ITER 2624 NEW BEST:: SOT 30547946 SOS 15725956 HAS SOPS 15725956 HAS SOUS 10603783 HAS SOUPS 10603783 WITH SCORE 1.0619508956E7
AT ITER 2626 NEW BEST:: SOT 30548330 SOS 15723976 HAS SOPS 15723976 HAS SOUS 10600596 HAS SOUPS 10600596 WITH SCORE 1.0616319976E7
AT ITER 2627 NEW BEST:: SOT 30547268 SOS 15721852 HAS SOPS 15721852 HAS SOUS 10599534 HAS SOUPS 10599534 WITH SCORE 1.0615255852E7
AT ITER 2628 NEW BEST:: SOT 30547268 SOS 15721852 HAS SOPS 15721852 HAS SOUS 10598946 HAS SOUPS 10598946 WITH SCORE 1.0614667852E7
AT ITER 2629 NEW BEST:: SOT 30547268 SOS 15717850 HAS SOPS 15717850 HAS SOUS 10595784 HAS SOUPS 10595784 WITH SCORE 1.061150185E7
AT ITER 2631 NEW BEST:: SOT 30547268 SOS 15716713 HAS SOPS 15716713 HAS SOUS 10595779 HAS SOUPS 10595779 WITH SCORE 1.0611495713E7
AT ITER 2633 NEW BEST:: SOT 30547268 SOS 15716713 HAS SOPS 15716713 HAS SOUS 10595178 HAS SOUPS 10595178 WITH SCORE 1.0610894713E7
AT ITER 2645 NEW BEST:: SOT 30545652 SOS 15717088 HAS SOPS 15717088 HAS SOUS 10594694 HAS SOUPS 10594694 WITH SCORE 1.0610411088E7
AT ITER 2649 NEW BEST:: SOT 30544665 SOS 15714680 HAS SOPS 15714680 HAS SOUS 10592286 HAS SOUPS 10592286 WITH SCORE 1.060800068E7
AT ITER 2652 NEW BEST:: SOT 30546911 SOS 15716917 HAS SOPS 15716917 HAS SOUS 10591190 HAS SOUPS 10591190 WITH SCORE 1.0606906917E7
AT ITER 2654 NEW BEST:: SOT 30545382 SOS 15713860 HAS SOPS 15713860 HAS SOUS 10591116 HAS SOUPS 10591116 WITH SCORE 1.060682986E7
AT ITER 2656 NEW BEST:: SOT 30544547 SOS 15710520 HAS SOPS 15710520 HAS SOUS 10589445 HAS SOUPS 10589445 WITH SCORE 1.060515552E7
AT ITER 2658 NEW BEST:: SOT 30544547 SOS 15710766 HAS SOPS 15710766 HAS SOUS 10588447 HAS SOUPS 10588447 WITH SCORE 1.0604157766E7
AT ITER 2663 NEW BEST:: SOT 30544590 SOS 15710183 HAS SOPS 15710183 HAS SOUS 10587605 HAS SOUPS 10587605 WITH SCORE 1.0603315183E7
AT ITER 2665 NEW BEST:: SOT 30544849 SOS 15708775 HAS SOPS 15708775 HAS SOUS 10582573 HAS SOUPS 10582573 WITH SCORE 1.0598281775E7
AT ITER 2670 NEW BEST:: SOT 30542854 SOS 15701566 HAS SOPS 15701566 HAS SOUS 10577359 HAS SOUPS 10577359 WITH SCORE 1.0593060566E7
AT ITER 2672 NEW BEST:: SOT 30542894 SOS 15698272 HAS SOPS 15698272 HAS SOUS 10574902 HAS SOUPS 10574902 WITH SCORE 1.0590600272E7
AT ITER 2692 NEW BEST:: SOT 30539261 SOS 15743380 HAS SOPS 15743380 HAS SOUS 10572421 HAS SOUPS 10572421 WITH SCORE 1.058816438E7
AT ITER 2693 NEW BEST:: SOT 30540974 SOS 15739678 HAS SOPS 15739678 HAS SOUS 10571209 HAS SOUPS 10571209 WITH SCORE 1.0586948678E7
AT ITER 2701 NEW BEST:: SOT 30540974 SOS 15737568 HAS SOPS 15737568 HAS SOUS 10569099 HAS SOUPS 10569099 WITH SCORE 1.0584836568E7
AT ITER 2706 NEW BEST:: SOT 30540974 SOS 15737568 HAS SOPS 15737568 HAS SOUS 10568666 HAS SOUPS 10568666 WITH SCORE 1.0584403568E7
AT ITER 2711 NEW BEST:: SOT 30539862 SOS 15734232 HAS SOPS 15734232 HAS SOUS 10567554 HAS SOUPS 10567554 WITH SCORE 1.0583288232E7
AT ITER 2713 NEW BEST:: SOT 30539970 SOS 15735057 HAS SOPS 15735057 HAS SOUS 10567161 HAS SOUPS 10567161 WITH SCORE 1.0582896057E7
AT ITER 2714 NEW BEST:: SOT 30539915 SOS 15734947 HAS SOPS 15734947 HAS SOUS 10567106 HAS SOUPS 10567106 WITH SCORE 1.0582840947E7
AT ITER 2718 NEW BEST:: SOT 30541058 SOS 15734167 HAS SOPS 15734167 HAS SOUS 10566552 HAS SOUPS 10566552 WITH SCORE 1.0582286167E7
AT ITER 2722 NEW BEST:: SOT 30540034 SOS 15731095 HAS SOPS 15731095 HAS SOUS 10564504 HAS SOUPS 10564504 WITH SCORE 1.0580235095E7
AT ITER 2729 NEW BEST:: SOT 30542331 SOS 15732973 HAS SOPS 15732973 HAS SOUS 10563599 HAS SOUPS 10563599 WITH SCORE 1.0579331973E7
AT ITER 2730 NEW BEST:: SOT 30541440 SOS 15731190 HAS SOPS 15731190 HAS SOUS 10562707 HAS SOUPS 10562707 WITH SCORE 1.057843819E7
AT ITER 2735 NEW BEST:: SOT 30541597 SOS 15730636 HAS SOPS 15730636 HAS SOUS 10561377 HAS SOUPS 10561377 WITH SCORE 1.0577107636E7
AT ITER 2759 NEW BEST:: SOT 30541554 SOS 15730550 HAS SOPS 15730550 HAS SOUS 10561334 HAS SOUPS 10561334 WITH SCORE 1.057706455E7
AT ITER 2760 NEW BEST:: SOT 30541821 SOS 15728833 HAS SOPS 15728833 HAS SOUS 10560356 HAS SOUPS 10560356 WITH SCORE 1.0576084833E7
AT ITER 2761 NEW BEST:: SOT 30541018 SOS 15724295 HAS SOPS 15724295 HAS SOUS 10557227 HAS SOUPS 10557227 WITH SCORE 1.0572951295E7
AT ITER 2771 NEW BEST:: SOT 30539675 SOS 15721609 HAS SOPS 15721609 HAS SOUS 10554360 HAS SOUPS 10554360 WITH SCORE 1.0570081609E7
AT ITER 2772 NEW BEST:: SOT 30539675 SOS 15719742 HAS SOPS 15719742 HAS SOUS 10550694 HAS SOUPS 10550694 WITH SCORE 1.0566413742E7
AT ITER 2784 NEW BEST:: SOT 30540570 SOS 15721532 HAS SOPS 15721532 HAS SOUS 10549516 HAS SOUPS 10549516 WITH SCORE 1.0565237532E7
AT ITER 2785 NEW BEST:: SOT 30540570 SOS 15719530 HAS SOPS 15719530 HAS SOUS 10547514 HAS SOUPS 10547514 WITH SCORE 1.056323353E7
AT ITER 2788 NEW BEST:: SOT 30540570 SOS 15719530 HAS SOPS 15719530 HAS SOUS 10547130 HAS SOUPS 10547130 WITH SCORE 1.056284953E7
AT ITER 2789 NEW BEST:: SOT 30539689 SOS 15719726 HAS SOPS 15719726 HAS SOUS 10546257 HAS SOUPS 10546257 WITH SCORE 1.0561976726E7
AT ITER 2791 NEW BEST:: SOT 30539689 SOS 15720274 HAS SOPS 15720274 HAS SOUS 10546013 HAS SOUPS 10546013 WITH SCORE 1.0561733274E7
AT ITER 2793 NEW BEST:: SOT 30540956 SOS 15719934 HAS SOPS 15719934 HAS SOUS 10543974 HAS SOUPS 10543974 WITH SCORE 1.0559693934E7
AT ITER 2801 NEW BEST:: SOT 30540956 SOS 15719934 HAS SOPS 15719934 HAS SOUS 10543750 HAS SOUPS 10543750 WITH SCORE 1.0559469934E7
AT ITER 2808 NEW BEST:: SOT 30541908 SOS 15720563 HAS SOPS 15720563 HAS SOUS 10543427 HAS SOUPS 10543427 WITH SCORE 1.0559147563E7
AT ITER 2813 NEW BEST:: SOT 30544151 SOS 15725049 HAS SOPS 15725049 HAS SOUS 10542710 HAS SOUPS 10542710 WITH SCORE 1.0558435049E7
AT ITER 2814 NEW BEST:: SOT 30542305 SOS 15721357 HAS SOPS 15721357 HAS SOUS 10541037 HAS SOUPS 10541037 WITH SCORE 1.0556758357E7
AT ITER 2817 NEW BEST:: SOT 30542150 SOS 15720891 HAS SOPS 15720891 HAS SOUS 10540881 HAS SOUPS 10540881 WITH SCORE 1.0556601891E7
AT ITER 2831 NEW BEST:: SOT 30540912 SOS 15720653 HAS SOPS 15720653 HAS SOUS 10540197 HAS SOUPS 10540197 WITH SCORE 1.0555917653E7
AT ITER 2835 NEW BEST:: SOT 30541085 SOS 15719085 HAS SOPS 15719085 HAS SOUS 10539432 HAS SOUPS 10539432 WITH SCORE 1.0555151085E7
AT ITER 2843 NEW BEST:: SOT 30541085 SOS 15719977 HAS SOPS 15719977 HAS SOUS 10539131 HAS SOUPS 10539131 WITH SCORE 1.0554850977E7
AT ITER 2844 NEW BEST:: SOT 30541085 SOS 15719977 HAS SOPS 15719977 HAS SOUS 10539130 HAS SOUPS 10539130 WITH SCORE 1.0554849977E7
AT ITER 2845 NEW BEST:: SOT 30543030 SOS 15717361 HAS SOPS 15717361 HAS SOUS 10536954 HAS SOUPS 10536954 WITH SCORE 1.0552671361E7
AT ITER 2847 NEW BEST:: SOT 30543030 SOS 15714411 HAS SOPS 15714411 HAS SOUS 10535908 HAS SOUPS 10535908 WITH SCORE 1.0551622411E7
AT ITER 2849 NEW BEST:: SOT 30543313 SOS 15712923 HAS SOPS 15712923 HAS SOUS 10531098 HAS SOUPS 10531098 WITH SCORE 1.0546810923E7
AT ITER 2853 NEW BEST:: SOT 30542974 SOS 15712245 HAS SOPS 15712245 HAS SOUS 10530420 HAS SOUPS 10530420 WITH SCORE 1.0546132245E7
AT ITER 2855 NEW BEST:: SOT 30542718 SOS 15711733 HAS SOPS 15711733 HAS SOUS 10530164 HAS SOUPS 10530164 WITH SCORE 1.0545875733E7
AT ITER 2861 NEW BEST:: SOT 30543811 SOS 15710517 HAS SOPS 15710517 HAS SOUS 10530143 HAS SOUPS 10530143 WITH SCORE 1.0545853517E7
AT ITER 2871 NEW BEST:: SOT 30529809 SOS 15787218 HAS SOPS 15787218 HAS SOUS 10522530 HAS SOUPS 10522530 WITH SCORE 1.0538317218E7
AT ITER 2886 NEW BEST:: SOT 30529673 SOS 15787077 HAS SOPS 15787077 HAS SOUS 10522520 HAS SOUPS 10522520 WITH SCORE 1.0538307077E7
AT ITER 2887 NEW BEST:: SOT 30528694 SOS 15791408 HAS SOPS 15791408 HAS SOUS 10520849 HAS SOUPS 10520849 WITH SCORE 1.0536640408E7
AT ITER 2888 NEW BEST:: SOT 30528800 SOS 15761122 HAS SOPS 15761122 HAS SOUS 10519326 HAS SOUPS 10519326 WITH SCORE 1.0535087122E7
AT ITER 2894 NEW BEST:: SOT 30526464 SOS 15758047 HAS SOPS 15758047 HAS SOUS 10516251 HAS SOUPS 10516251 WITH SCORE 1.0532009047E7
AT ITER 2900 NEW BEST:: SOT 30525384 SOS 15753671 HAS SOPS 15753671 HAS SOUS 10515182 HAS SOUPS 10515182 WITH SCORE 1.0530935671E7
AT ITER 2902 NEW BEST:: SOT 30526155 SOS 15751477 HAS SOPS 15751477 HAS SOUS 10512988 HAS SOUPS 10512988 WITH SCORE 1.0528739477E7
AT ITER 2905 NEW BEST:: SOT 30525847 SOS 15747237 HAS SOPS 15747237 HAS SOUS 10510523 HAS SOUPS 10510523 WITH SCORE 1.0526270237E7
AT ITER 2907 NEW BEST:: SOT 30525847 SOS 15746749 HAS SOPS 15746749 HAS SOUS 10510034 HAS SOUPS 10510034 WITH SCORE 1.0525780749E7
AT ITER 2908 NEW BEST:: SOT 30525847 SOS 15746749 HAS SOPS 15746749 HAS SOUS 10509818 HAS SOUPS 10509818 WITH SCORE 1.0525564749E7
AT ITER 2911 NEW BEST:: SOT 30526350 SOS 15746407 HAS SOPS 15746407 HAS SOUS 10509760 HAS SOUPS 10509760 WITH SCORE 1.0525506407E7
AT ITER 2916 NEW BEST:: SOT 30527165 SOS 15745021 HAS SOPS 15745021 HAS SOUS 10506188 HAS SOUPS 10506188 WITH SCORE 1.0521933021E7
AT ITER 2919 NEW BEST:: SOT 30527165 SOS 15745021 HAS SOPS 15745021 HAS SOUS 10504844 HAS SOUPS 10504844 WITH SCORE 1.0520589021E7
AT ITER 2921 NEW BEST:: SOT 30527165 SOS 15744437 HAS SOPS 15744437 HAS SOUS 10504843 HAS SOUPS 10504843 WITH SCORE 1.0520587437E7
AT ITER 2922 NEW BEST:: SOT 30527480 SOS 15739815 HAS SOPS 15739815 HAS SOUS 10504838 HAS SOUPS 10504838 WITH SCORE 1.0520577815E7
AT ITER 2931 NEW BEST:: SOT 30528665 SOS 15736203 HAS SOPS 15736203 HAS SOUS 10504754 HAS SOUPS 10504754 WITH SCORE 1.0520490203E7
AT ITER 2938 NEW BEST:: SOT 30528192 SOS 15735257 HAS SOPS 15735257 HAS SOUS 10504281 HAS SOUPS 10504281 WITH SCORE 1.0520016257E7
AT ITER 2939 NEW BEST:: SOT 30528176 SOS 15735241 HAS SOPS 15735241 HAS SOUS 10504257 HAS SOUPS 10504257 WITH SCORE 1.0519992241E7
AT ITER 2947 NEW BEST:: SOT 30528176 SOS 15735241 HAS SOPS 15735241 HAS SOUS 10504039 HAS SOUPS 10504039 WITH SCORE 1.0519774241E7
AT ITER 2949 NEW BEST:: SOT 30527911 SOS 15730471 HAS SOPS 15730471 HAS SOUS 10502581 HAS SOUPS 10502581 WITH SCORE 1.0518311471E7
AT ITER 2951 NEW BEST:: SOT 30528266 SOS 15729408 HAS SOPS 15729408 HAS SOUS 10500887 HAS SOUPS 10500887 WITH SCORE 1.0516616408E7
AT ITER 2952 NEW BEST:: SOT 30527365 SOS 15727606 HAS SOPS 15727606 HAS SOUS 10499986 HAS SOUPS 10499986 WITH SCORE 1.0515713606E7
AT ITER 2956 NEW BEST:: SOT 30527365 SOS 15726508 HAS SOPS 15726508 HAS SOUS 10499914 HAS SOUPS 10499914 WITH SCORE 1.0515640508E7
AT ITER 2958 NEW BEST:: SOT 30527054 SOS 15726508 HAS SOPS 15726508 HAS SOUS 10499602 HAS SOUPS 10499602 WITH SCORE 1.0515328508E7
AT ITER 2964 NEW BEST:: SOT 30527114 SOS 15725868 HAS SOPS 15725868 HAS SOUS 10499423 HAS SOUPS 10499423 WITH SCORE 1.0515148868E7
AT ITER 2965 NEW BEST:: SOT 30526699 SOS 15717814 HAS SOPS 15717814 HAS SOUS 10496481 HAS SOUPS 10496481 WITH SCORE 1.0512198814E7
AT ITER 2967 NEW BEST:: SOT 30527651 SOS 15714719 HAS SOPS 15714719 HAS SOUS 10494835 HAS SOUPS 10494835 WITH SCORE 1.0510549719E7
AT ITER 2969 NEW BEST:: SOT 30527181 SOS 15714715 HAS SOPS 15714715 HAS SOUS 10494494 HAS SOUPS 10494494 WITH SCORE 1.0510208715E7
AT ITER 2970 NEW BEST:: SOT 30528344 SOS 15712107 HAS SOPS 15712107 HAS SOUS 10493885 HAS SOUPS 10493885 WITH SCORE 1.0509597107E7
AT ITER 2974 NEW BEST:: SOT 30527058 SOS 15706963 HAS SOPS 15706963 HAS SOUS 10490042 HAS SOUPS 10490042 WITH SCORE 1.0505748963E7
AT ITER 2975 NEW BEST:: SOT 30526788 SOS 15706693 HAS SOPS 15706693 HAS SOUS 10489772 HAS SOUPS 10489772 WITH SCORE 1.0505478693E7
AT ITER 2978 NEW BEST:: SOT 30526788 SOS 15706693 HAS SOPS 15706693 HAS SOUS 10489415 HAS SOUPS 10489415 WITH SCORE 1.0505121693E7
AT ITER 2989 NEW BEST:: SOT 30528440 SOS 15706615 HAS SOPS 15706615 HAS SOUS 10485955 HAS SOUPS 10485955 WITH SCORE 1.0501661615E7
AT ITER 2990 NEW BEST:: SOT 30527875 SOS 15704013 HAS SOPS 15704013 HAS SOUS 10483353 HAS SOUPS 10483353 WITH SCORE 1.0499057013E7
AT ITER 2991 NEW BEST:: SOT 30526994 SOS 15700611 HAS SOPS 15700611 HAS SOUS 10482467 HAS SOUPS 10482467 WITH SCORE 1.0498167611E7
AT ITER 2992 NEW BEST:: SOT 30527166 SOS 15696825 HAS SOPS 15696825 HAS SOUS 10479663 HAS SOUPS 10479663 WITH SCORE 1.0495359825E7
AT ITER 2994 NEW BEST:: SOT 30526803 SOS 15695456 HAS SOPS 15695456 HAS SOUS 10478937 HAS SOUPS 10478937 WITH SCORE 1.0494632456E7
AT ITER 2995 NEW BEST:: SOT 30527251 SOS 15695808 HAS SOPS 15695808 HAS SOUS 10477758 HAS SOUPS 10477758 WITH SCORE 1.0493453808E7
AT ITER 2998 NEW BEST:: SOT 30527198 SOS 15695702 HAS SOPS 15695702 HAS SOUS 10477652 HAS SOUPS 10477652 WITH SCORE 1.0493347702E7
AT ITER 2999 NEW BEST:: SOT 30527198 SOS 15696506 HAS SOPS 15696506 HAS SOUS 10475553 HAS SOUPS 10475553 WITH SCORE 1.0491249506E7
AT ITER 3001 NEW BEST:: SOT 30526708 SOS 15693076 HAS SOPS 15693076 HAS SOUS 10475430 HAS SOUPS 10475430 WITH SCORE 1.0491123076E7
AT ITER 3005 NEW BEST:: SOT 30526708 SOS 15693076 HAS SOPS 15693076 HAS SOUS 10475429 HAS SOUPS 10475429 WITH SCORE 1.0491122076E7
AT ITER 3007 NEW BEST:: SOT 30526146 SOS 15693735 HAS SOPS 15693735 HAS SOUS 10475060 HAS SOUPS 10475060 WITH SCORE 1.0490753735E7
AT ITER 3011 NEW BEST:: SOT 30526146 SOS 15693084 HAS SOPS 15693084 HAS SOUS 10474109 HAS SOUPS 10474109 WITH SCORE 1.0489802084E7
AT ITER 3014 NEW BEST:: SOT 30527293 SOS 15693648 HAS SOPS 15693648 HAS SOUS 10473972 HAS SOUPS 10473972 WITH SCORE 1.0489665648E7
AT ITER 3015 NEW BEST:: SOT 30525307 SOS 15693291 HAS SOPS 15693291 HAS SOUS 10472926 HAS SOUPS 10472926 WITH SCORE 1.0488619291E7
AT ITER 3020 NEW BEST:: SOT 30525163 SOS 15693003 HAS SOPS 15693003 HAS SOUS 10472446 HAS SOUPS 10472446 WITH SCORE 1.0488139003E7
AT ITER 3023 NEW BEST:: SOT 30525163 SOS 15692701 HAS SOPS 15692701 HAS SOUS 10472446 HAS SOUPS 10472446 WITH SCORE 1.0488138701E7
AT ITER 3026 NEW BEST:: SOT 30525834 SOS 15689401 HAS SOPS 15689401 HAS SOUS 10470347 HAS SOUPS 10470347 WITH SCORE 1.0486036401E7
AT ITER 3030 NEW BEST:: SOT 30525535 SOS 15689189 HAS SOPS 15689189 HAS SOUS 10470048 HAS SOUPS 10470048 WITH SCORE 1.0485737189E7
AT ITER 3032 NEW BEST:: SOT 30524249 SOS 15688764 HAS SOPS 15688764 HAS SOUS 10468882 HAS SOUPS 10468882 WITH SCORE 1.0484570764E7
AT ITER 3035 NEW BEST:: SOT 30525376 SOS 15688289 HAS SOPS 15688289 HAS SOUS 10466294 HAS SOUPS 10466294 WITH SCORE 1.0481982289E7
AT ITER 3040 NEW BEST:: SOT 30525376 SOS 15686729 HAS SOPS 15686729 HAS SOUS 10464734 HAS SOUPS 10464734 WITH SCORE 1.0480420729E7
AT ITER 3042 NEW BEST:: SOT 30526998 SOS 15685148 HAS SOPS 15685148 HAS SOUS 10463904 HAS SOUPS 10463904 WITH SCORE 1.0479589148E7
AT ITER 3045 NEW BEST:: SOT 30526789 SOS 15683786 HAS SOPS 15683786 HAS SOUS 10463486 HAS SOUPS 10463486 WITH SCORE 1.0479169786E7
AT ITER 3046 NEW BEST:: SOT 30526789 SOS 15683721 HAS SOPS 15683721 HAS SOUS 10463421 HAS SOUPS 10463421 WITH SCORE 1.0479104721E7
AT ITER 3047 NEW BEST:: SOT 30526789 SOS 15683453 HAS SOPS 15683453 HAS SOUS 10461286 HAS SOUPS 10461286 WITH SCORE 1.0476969453E7
AT ITER 3050 NEW BEST:: SOT 30523849 SOS 15679138 HAS SOPS 15679138 HAS SOUS 10456465 HAS SOUPS 10456465 WITH SCORE 1.0472144138E7
AT ITER 3051 NEW BEST:: SOT 30523849 SOS 15678363 HAS SOPS 15678363 HAS SOUS 10456464 HAS SOUPS 10456464 WITH SCORE 1.0472142363E7
AT ITER 3059 NEW BEST:: SOT 30523849 SOS 15675578 HAS SOPS 15675578 HAS SOUS 10453690 HAS SOUPS 10453690 WITH SCORE 1.0469365578E7
AT ITER 3061 NEW BEST:: SOT 30524314 SOS 15677480 HAS SOPS 15677480 HAS SOUS 10453648 HAS SOUPS 10453648 WITH SCORE 1.046932548E7
AT ITER 3063 NEW BEST:: SOT 30523983 SOS 15676487 HAS SOPS 15676487 HAS SOUS 10452986 HAS SOUPS 10452986 WITH SCORE 1.0468662487E7
AT ITER 3064 NEW BEST:: SOT 30523979 SOS 15676479 HAS SOPS 15676479 HAS SOUS 10452982 HAS SOUPS 10452982 WITH SCORE 1.0468658479E7
AT ITER 3065 NEW BEST:: SOT 30500381 SOS 15798490 HAS SOPS 15798490 HAS SOUS 10435444 HAS SOUPS 10435444 WITH SCORE 1.045124249E7
AT ITER 3066 NEW BEST:: SOT 30500836 SOS 15795434 HAS SOPS 15795434 HAS SOUS 10432586 HAS SOUPS 10432586 WITH SCORE 1.0448381434E7
AT ITER 3067 NEW BEST:: SOT 30499992 SOS 15795971 HAS SOPS 15795971 HAS SOUS 10431731 HAS SOUPS 10431731 WITH SCORE 1.0447526971E7
AT ITER 3069 NEW BEST:: SOT 30499466 SOS 15795182 HAS SOPS 15795182 HAS SOUS 10430942 HAS SOUPS 10430942 WITH SCORE 1.0446737182E7
AT ITER 3072 NEW BEST:: SOT 30499466 SOS 15795182 HAS SOPS 15795182 HAS SOUS 10430503 HAS SOUPS 10430503 WITH SCORE 1.0446298182E7
AT ITER 3073 NEW BEST:: SOT 30499869 SOS 15795958 HAS SOPS 15795958 HAS SOUS 10429727 HAS SOUPS 10429727 WITH SCORE 1.0445522958E7
AT ITER 3075 NEW BEST:: SOT 30499869 SOS 15795958 HAS SOPS 15795958 HAS SOUS 10428963 HAS SOUPS 10428963 WITH SCORE 1.0444758958E7
AT ITER 3076 NEW BEST:: SOT 30499869 SOS 15795031 HAS SOPS 15795031 HAS SOUS 10428747 HAS SOUPS 10428747 WITH SCORE 1.0444542031E7
AT ITER 3079 NEW BEST:: SOT 30499451 SOS 15792091 HAS SOPS 15792091 HAS SOUS 10428587 HAS SOUPS 10428587 WITH SCORE 1.0444379091E7
AT ITER 3082 NEW BEST:: SOT 30499451 SOS 15790927 HAS SOPS 15790927 HAS SOUS 10428168 HAS SOUPS 10428168 WITH SCORE 1.0443958927E7
AT ITER 3086 NEW BEST:: SOT 30499451 SOS 15791180 HAS SOPS 15791180 HAS SOUS 10428049 HAS SOUPS 10428049 WITH SCORE 1.044384018E7
AT ITER 3088 NEW BEST:: SOT 30499374 SOS 15791026 HAS SOPS 15791026 HAS SOUS 10427895 HAS SOUPS 10427895 WITH SCORE 1.0443686026E7
AT ITER 3105 NEW BEST:: SOT 30499104 SOS 15790542 HAS SOPS 15790542 HAS SOUS 10427817 HAS SOUPS 10427817 WITH SCORE 1.0443607542E7
AT ITER 3110 NEW BEST:: SOT 30499104 SOS 15790542 HAS SOPS 15790542 HAS SOUS 10426838 HAS SOUPS 10426838 WITH SCORE 1.0442628542E7
AT ITER 3111 NEW BEST:: SOT 30498830 SOS 15789994 HAS SOPS 15789994 HAS SOUS 10426289 HAS SOUPS 10426289 WITH SCORE 1.0442078994E7
AT ITER 3116 NEW BEST:: SOT 30496453 SOS 15788452 HAS SOPS 15788452 HAS SOUS 10424747 HAS SOUPS 10424747 WITH SCORE 1.0440535452E7
AT ITER 3120 NEW BEST:: SOT 30496027 SOS 15786222 HAS SOPS 15786222 HAS SOUS 10424452 HAS SOUPS 10424452 WITH SCORE 1.0440238222E7
AT ITER 3122 NEW BEST:: SOT 30496027 SOS 15786222 HAS SOPS 15786222 HAS SOUS 10424256 HAS SOUPS 10424256 WITH SCORE 1.0440042222E7
AT ITER 3131 NEW BEST:: SOT 30492600 SOS 15779368 HAS SOPS 15779368 HAS SOUS 10420829 HAS SOUPS 10420829 WITH SCORE 1.0436608368E7
AT ITER 3133 NEW BEST:: SOT 30492157 SOS 15778482 HAS SOPS 15778482 HAS SOUS 10419947 HAS SOUPS 10419947 WITH SCORE 1.0435725482E7
AT ITER 3134 NEW BEST:: SOT 30492178 SOS 15778323 HAS SOPS 15778323 HAS SOUS 10419556 HAS SOUPS 10419556 WITH SCORE 1.0435334323E7
AT ITER 3137 NEW BEST:: SOT 30490751 SOS 15778123 HAS SOPS 15778123 HAS SOUS 10418743 HAS SOUPS 10418743 WITH SCORE 1.0434521123E7
AT ITER 3147 NEW BEST:: SOT 30490038 SOS 15776697 HAS SOPS 15776697 HAS SOUS 10417317 HAS SOUPS 10417317 WITH SCORE 1.0433093697E7
AT ITER 3150 NEW BEST:: SOT 30490038 SOS 15775893 HAS SOPS 15775893 HAS SOUS 10416915 HAS SOUPS 10416915 WITH SCORE 1.0432690893E7
AT ITER 3151 NEW BEST:: SOT 30489232 SOS 15772127 HAS SOPS 15772127 HAS SOUS 10416244 HAS SOUPS 10416244 WITH SCORE 1.0432016127E7
AT ITER 3155 NEW BEST:: SOT 30489232 SOS 15772127 HAS SOPS 15772127 HAS SOUS 10416081 HAS SOUPS 10416081 WITH SCORE 1.0431853127E7
AT ITER 3167 NEW BEST:: SOT 30488554 SOS 15771893 HAS SOPS 15771893 HAS SOUS 10415670 HAS SOUPS 10415670 WITH SCORE 1.0431441893E7
AT ITER 3173 NEW BEST:: SOT 30489565 SOS 15773915 HAS SOPS 15773915 HAS SOUS 10415166 HAS SOUPS 10415166 WITH SCORE 1.0430939915E7
AT ITER 3174 NEW BEST:: SOT 30489565 SOS 15773915 HAS SOPS 15773915 HAS SOUS 10414201 HAS SOUPS 10414201 WITH SCORE 1.0429974915E7
AT ITER 3182 NEW BEST:: SOT 30489565 SOS 15772660 HAS SOPS 15772660 HAS SOUS 10413720 HAS SOUPS 10413720 WITH SCORE 1.042949266E7
AT ITER 3183 NEW BEST:: SOT 30489866 SOS 15773257 HAS SOPS 15773257 HAS SOUS 10411624 HAS SOUPS 10411624 WITH SCORE 1.0427397257E7
AT ITER 3184 NEW BEST:: SOT 30489866 SOS 15773257 HAS SOPS 15773257 HAS SOUS 10411243 HAS SOUPS 10411243 WITH SCORE 1.0427016257E7
AT ITER 3188 NEW BEST:: SOT 30489866 SOS 15772927 HAS SOPS 15772927 HAS SOUS 10411243 HAS SOUPS 10411243 WITH SCORE 1.0427015927E7
AT ITER 3190 NEW BEST:: SOT 30488888 SOS 15770971 HAS SOPS 15770971 HAS SOUS 10410720 HAS SOUPS 10410720 WITH SCORE 1.0426490971E7
AT ITER 3199 NEW BEST:: SOT 30489708 SOS 15769798 HAS SOPS 15769798 HAS SOUS 10410543 HAS SOUPS 10410543 WITH SCORE 1.0426312798E7
AT ITER 3201 NEW BEST:: SOT 30489439 SOS 15769534 HAS SOPS 15769534 HAS SOUS 10410274 HAS SOUPS 10410274 WITH SCORE 1.0426043534E7
AT ITER 3202 NEW BEST:: SOT 30488578 SOS 15768673 HAS SOPS 15768673 HAS SOUS 10409413 HAS SOUPS 10409413 WITH SCORE 1.0425181673E7
AT ITER 3209 NEW BEST:: SOT 30488578 SOS 15768076 HAS SOPS 15768076 HAS SOUS 10409413 HAS SOUPS 10409413 WITH SCORE 1.0425181076E7
AT ITER 3210 NEW BEST:: SOT 30486980 SOS 15767238 HAS SOPS 15767238 HAS SOUS 10407815 HAS SOUPS 10407815 WITH SCORE 1.0423582238E7
AT ITER 3211 NEW BEST:: SOT 30486980 SOS 15767238 HAS SOPS 15767238 HAS SOUS 10407802 HAS SOUPS 10407802 WITH SCORE 1.0423569238E7
AT ITER 3214 NEW BEST:: SOT 30486980 SOS 15764705 HAS SOPS 15764705 HAS SOUS 10405306 HAS SOUPS 10405306 WITH SCORE 1.0421070705E7
AT ITER 3217 NEW BEST:: SOT 30485552 SOS 15762778 HAS SOPS 15762778 HAS SOUS 10404811 HAS SOUPS 10404811 WITH SCORE 1.0420573778E7
AT ITER 3220 NEW BEST:: SOT 30483351 SOS 15761345 HAS SOPS 15761345 HAS SOUS 10402525 HAS SOUPS 10402525 WITH SCORE 1.0418286345E7
AT ITER 3224 NEW BEST:: SOT 30483351 SOS 15760785 HAS SOPS 15760785 HAS SOUS 10402340 HAS SOUPS 10402340 WITH SCORE 1.0418100785E7
AT ITER 3226 NEW BEST:: SOT 30483351 SOS 15760785 HAS SOPS 15760785 HAS SOUS 10402276 HAS SOUPS 10402276 WITH SCORE 1.0418036785E7
AT ITER 3230 NEW BEST:: SOT 30482463 SOS 15753183 HAS SOPS 15753183 HAS SOUS 10399520 HAS SOUPS 10399520 WITH SCORE 1.0415273183E7
AT ITER 3231 NEW BEST:: SOT 30481606 SOS 15751469 HAS SOPS 15751469 HAS SOUS 10398509 HAS SOUPS 10398509 WITH SCORE 1.0414260469E7
AT ITER 3233 NEW BEST:: SOT 30481606 SOS 15749783 HAS SOPS 15749783 HAS SOUS 10396823 HAS SOUPS 10396823 WITH SCORE 1.0412572783E7
AT ITER 3239 NEW BEST:: SOT 30481606 SOS 15750574 HAS SOPS 15750574 HAS SOUS 10396039 HAS SOUPS 10396039 WITH SCORE 1.0411789574E7
AT ITER 3246 NEW BEST:: SOT 30481606 SOS 15750573 HAS SOPS 15750573 HAS SOUS 10396038 HAS SOUPS 10396038 WITH SCORE 1.0411788573E7
AT ITER 3247 NEW BEST:: SOT 30480888 SOS 15749137 HAS SOPS 15749137 HAS SOUS 10395320 HAS SOUPS 10395320 WITH SCORE 1.0411069137E7
AT ITER 3249 NEW BEST:: SOT 30483014 SOS 15746705 HAS SOPS 15746705 HAS SOUS 10393727 HAS SOUPS 10393727 WITH SCORE 1.0409473705E7
AT ITER 3255 NEW BEST:: SOT 30483014 SOS 15746705 HAS SOPS 15746705 HAS SOUS 10393563 HAS SOUPS 10393563 WITH SCORE 1.0409309705E7
AT ITER 3260 NEW BEST:: SOT 30481796 SOS 15743224 HAS SOPS 15743224 HAS SOUS 10391249 HAS SOUPS 10391249 WITH SCORE 1.0406992224E7
AT ITER 3261 NEW BEST:: SOT 30479450 SOS 15741053 HAS SOPS 15741053 HAS SOUS 10388903 HAS SOUPS 10388903 WITH SCORE 1.0404644053E7
AT ITER 3270 NEW BEST:: SOT 30480166 SOS 15741769 HAS SOPS 15741769 HAS SOUS 10388556 HAS SOUPS 10388556 WITH SCORE 1.0404297769E7
AT ITER 3271 NEW BEST:: SOT 30480166 SOS 15741218 HAS SOPS 15741218 HAS SOUS 10388556 HAS SOUPS 10388556 WITH SCORE 1.0404297218E7
AT ITER 3274 NEW BEST:: SOT 30478971 SOS 15737633 HAS SOPS 15737633 HAS SOUS 10387361 HAS SOUPS 10387361 WITH SCORE 1.0403098633E7
AT ITER 3275 NEW BEST:: SOT 30477583 SOS 15736096 HAS SOPS 15736096 HAS SOUS 10386260 HAS SOUPS 10386260 WITH SCORE 1.0401996096E7
AT ITER 3276 NEW BEST:: SOT 30475458 SOS 15731846 HAS SOPS 15731846 HAS SOUS 10384135 HAS SOUPS 10384135 WITH SCORE 1.0399866846E7
AT ITER 3287 NEW BEST:: SOT 30475475 SOS 15727992 HAS SOPS 15727992 HAS SOUS 10381838 HAS SOUPS 10381838 WITH SCORE 1.0397565992E7
AT ITER 3297 NEW BEST:: SOT 30475475 SOS 15727593 HAS SOPS 15727593 HAS SOUS 10381838 HAS SOUPS 10381838 WITH SCORE 1.0397565593E7
AT ITER 3298 NEW BEST:: SOT 30475475 SOS 15727593 HAS SOPS 15727593 HAS SOUS 10381361 HAS SOUPS 10381361 WITH SCORE 1.0397088593E7
AT ITER 3299 NEW BEST:: SOT 30475475 SOS 15724931 HAS SOPS 15724931 HAS SOUS 10380314 HAS SOUPS 10380314 WITH SCORE 1.0396038931E7
AT ITER 3300 NEW BEST:: SOT 30475318 SOS 15724268 HAS SOPS 15724268 HAS SOUS 10380000 HAS SOUPS 10380000 WITH SCORE 1.0395724268E7
AT ITER 3304 NEW BEST:: SOT 30475318 SOS 15724268 HAS SOPS 15724268 HAS SOUS 10379906 HAS SOUPS 10379906 WITH SCORE 1.0395630268E7
AT ITER 3319 NEW BEST:: SOT 30474573 SOS 15720186 HAS SOPS 15720186 HAS SOUS 10379161 HAS SOUPS 10379161 WITH SCORE 1.0394881186E7
AT ITER 3320 NEW BEST:: SOT 30474489 SOS 15720189 HAS SOPS 15720189 HAS SOUS 10379077 HAS SOUPS 10379077 WITH SCORE 1.0394797189E7
AT ITER 3323 NEW BEST:: SOT 30473518 SOS 15715911 HAS SOPS 15715911 HAS SOUS 10377746 HAS SOUPS 10377746 WITH SCORE 1.0393461911E7
AT ITER 3324 NEW BEST:: SOT 30473301 SOS 15713464 HAS SOPS 15713464 HAS SOUS 10375299 HAS SOUPS 10375299 WITH SCORE 1.0391012464E7
AT ITER 3329 NEW BEST:: SOT 30473301 SOS 15713464 HAS SOPS 15713464 HAS SOUS 10375090 HAS SOUPS 10375090 WITH SCORE 1.0390803464E7
AT ITER 3334 NEW BEST:: SOT 30472951 SOS 15713114 HAS SOPS 15713114 HAS SOUS 10375090 HAS SOUPS 10375090 WITH SCORE 1.0390803114E7
AT ITER 3338 NEW BEST:: SOT 30472951 SOS 15713114 HAS SOPS 15713114 HAS SOUS 10375089 HAS SOUPS 10375089 WITH SCORE 1.0390802114E7
AT ITER 3342 NEW BEST:: SOT 30472115 SOS 15704094 HAS SOPS 15704094 HAS SOUS 10372032 HAS SOUPS 10372032 WITH SCORE 1.0387736094E7
AT ITER 3343 NEW BEST:: SOT 30472127 SOS 15704118 HAS SOPS 15704118 HAS SOUS 10371544 HAS SOUPS 10371544 WITH SCORE 1.0387248118E7
AT ITER 3347 NEW BEST:: SOT 30472127 SOS 15704118 HAS SOPS 15704118 HAS SOUS 10371525 HAS SOUPS 10371525 WITH SCORE 1.0387229118E7
AT ITER 3350 NEW BEST:: SOT 30472127 SOS 15704008 HAS SOPS 15704008 HAS SOUS 10371525 HAS SOUPS 10371525 WITH SCORE 1.0387229008E7
AT ITER 3352 NEW BEST:: SOT 30471184 SOS 15703727 HAS SOPS 15703727 HAS SOUS 10370582 HAS SOUPS 10370582 WITH SCORE 1.0386285727E7
AT ITER 3359 NEW BEST:: SOT 30470078 SOS 15700409 HAS SOPS 15700409 HAS SOUS 10368370 HAS SOUPS 10368370 WITH SCORE 1.0384070409E7
AT ITER 3360 NEW BEST:: SOT 30469734 SOS 15700410 HAS SOPS 15700410 HAS SOUS 10368026 HAS SOUPS 10368026 WITH SCORE 1.038372641E7
AT ITER 3367 NEW BEST:: SOT 30471553 SOS 15702473 HAS SOPS 15702473 HAS SOUS 10366872 HAS SOUPS 10366872 WITH SCORE 1.0382574473E7
AT ITER 3369 NEW BEST:: SOT 30471089 SOS 15700617 HAS SOPS 15700617 HAS SOUS 10365944 HAS SOUPS 10365944 WITH SCORE 1.0381644617E7
AT ITER 3372 NEW BEST:: SOT 30471089 SOS 15698123 HAS SOPS 15698123 HAS SOUS 10364467 HAS SOUPS 10364467 WITH SCORE 1.0380165123E7
AT ITER 3383 NEW BEST:: SOT 30471089 SOS 15697573 HAS SOPS 15697573 HAS SOUS 10364056 HAS SOUPS 10364056 WITH SCORE 1.0379753573E7
AT ITER 3384 NEW BEST:: SOT 30469174 SOS 15695867 HAS SOPS 15695867 HAS SOUS 10362141 HAS SOUPS 10362141 WITH SCORE 1.0377836867E7
AT ITER 3395 NEW BEST:: SOT 30468135 SOS 15693790 HAS SOPS 15693790 HAS SOUS 10361102 HAS SOUPS 10361102 WITH SCORE 1.037679579E7
AT ITER 3396 NEW BEST:: SOT 30468135 SOS 15693790 HAS SOPS 15693790 HAS SOUS 10359771 HAS SOUPS 10359771 WITH SCORE 1.037546479E7
AT ITER 3398 NEW BEST:: SOT 30468135 SOS 15693790 HAS SOPS 15693790 HAS SOUS 10359770 HAS SOUPS 10359770 WITH SCORE 1.037546379E7
AT ITER 3399 NEW BEST:: SOT 30470263 SOS 15694178 HAS SOPS 15694178 HAS SOUS 10357969 HAS SOUPS 10357969 WITH SCORE 1.0373663178E7
AT ITER 3402 NEW BEST:: SOT 30470070 SOS 15693792 HAS SOPS 15693792 HAS SOUS 10357776 HAS SOUPS 10357776 WITH SCORE 1.0373469792E7
AT ITER 3406 NEW BEST:: SOT 30470070 SOS 15693792 HAS SOPS 15693792 HAS SOUS 10357775 HAS SOUPS 10357775 WITH SCORE 1.0373468792E7
AT ITER 3415 NEW BEST:: SOT 30471456 SOS 15693771 HAS SOPS 15693771 HAS SOUS 10357726 HAS SOUPS 10357726 WITH SCORE 1.0373419771E7
AT ITER 3416 NEW BEST:: SOT 30472439 SOS 15694141 HAS SOPS 15694141 HAS SOUS 10357112 HAS SOUPS 10357112 WITH SCORE 1.0372806141E7
AT ITER 3423 NEW BEST:: SOT 30471782 SOS 15693699 HAS SOPS 15693699 HAS SOUS 10356455 HAS SOUPS 10356455 WITH SCORE 1.0372148699E7
AT ITER 3424 NEW BEST:: SOT 30471250 SOS 15695453 HAS SOPS 15695453 HAS SOUS 10356163 HAS SOUPS 10356163 WITH SCORE 1.0371858453E7
AT ITER 3430 NEW BEST:: SOT 30471250 SOS 15694885 HAS SOPS 15694885 HAS SOUS 10356163 HAS SOUPS 10356163 WITH SCORE 1.0371857885E7
AT ITER 3433 NEW BEST:: SOT 30471250 SOS 15694545 HAS SOPS 15694545 HAS SOUS 10355811 HAS SOUPS 10355811 WITH SCORE 1.0371505545E7
AT ITER 3435 NEW BEST:: SOT 30471250 SOS 15694545 HAS SOPS 15694545 HAS SOUS 10355810 HAS SOUPS 10355810 WITH SCORE 1.0371504545E7
AT ITER 3439 NEW BEST:: SOT 30470839 SOS 15692901 HAS SOPS 15692901 HAS SOUS 10354882 HAS SOUPS 10354882 WITH SCORE 1.0370574901E7
AT ITER 3448 NEW BEST:: SOT 30467733 SOS 15686689 HAS SOPS 15686689 HAS SOUS 10350085 HAS SOUPS 10350085 WITH SCORE 1.0365771689E7
AT ITER 3450 NEW BEST:: SOT 30466543 SOS 15684304 HAS SOPS 15684304 HAS SOUS 10348057 HAS SOUPS 10348057 WITH SCORE 1.0363741304E7
AT ITER 3453 NEW BEST:: SOT 30466578 SOS 15682415 HAS SOPS 15682415 HAS SOUS 10346203 HAS SOUPS 10346203 WITH SCORE 1.0361885415E7
AT ITER 3456 NEW BEST:: SOT 30466028 SOS 15682415 HAS SOPS 15682415 HAS SOUS 10345722 HAS SOUPS 10345722 WITH SCORE 1.0361404415E7
AT ITER 3465 NEW BEST:: SOT 30466028 SOS 15681677 HAS SOPS 15681677 HAS SOUS 10345216 HAS SOUPS 10345216 WITH SCORE 1.0360897677E7
AT ITER 3473 NEW BEST:: SOT 30466028 SOS 15681677 HAS SOPS 15681677 HAS SOUS 10344020 HAS SOUPS 10344020 WITH SCORE 1.0359701677E7
AT ITER 3474 NEW BEST:: SOT 30463783 SOS 15677187 HAS SOPS 15677187 HAS SOUS 10337285 HAS SOUPS 10337285 WITH SCORE 1.0352962187E7
AT ITER 3483 NEW BEST:: SOT 30462674 SOS 15677087 HAS SOPS 15677087 HAS SOUS 10336297 HAS SOUPS 10336297 WITH SCORE 1.0351974087E7
AT ITER 3485 NEW BEST:: SOT 30462674 SOS 15677087 HAS SOPS 15677087 HAS SOUS 10336225 HAS SOUPS 10336225 WITH SCORE 1.0351902087E7
AT ITER 3487 NEW BEST:: SOT 30462565 SOS 15674715 HAS SOPS 15674715 HAS SOUS 10336116 HAS SOUPS 10336116 WITH SCORE 1.0351790715E7
AT ITER 3490 NEW BEST:: SOT 30461562 SOS 15672709 HAS SOPS 15672709 HAS SOUS 10335113 HAS SOUPS 10335113 WITH SCORE 1.0350785709E7
AT ITER 3498 NEW BEST:: SOT 30461562 SOS 15672709 HAS SOPS 15672709 HAS SOUS 10334302 HAS SOUPS 10334302 WITH SCORE 1.0349974709E7
AT ITER 3501 NEW BEST:: SOT 30461964 SOS 15672216 HAS SOPS 15672216 HAS SOUS 10333406 HAS SOUPS 10333406 WITH SCORE 1.0349078216E7
AT ITER 3509 NEW BEST:: SOT 30462343 SOS 15670547 HAS SOPS 15670547 HAS SOUS 10332577 HAS SOUPS 10332577 WITH SCORE 1.0348247547E7
AT ITER 3511 NEW BEST:: SOT 30461616 SOS 15668366 HAS SOPS 15668366 HAS SOUS 10331850 HAS SOUPS 10331850 WITH SCORE 1.0347518366E7
AT ITER 3512 NEW BEST:: SOT 30461616 SOS 15668366 HAS SOPS 15668366 HAS SOUS 10331849 HAS SOUPS 10331849 WITH SCORE 1.0347517366E7
AT ITER 3523 NEW BEST:: SOT 30462053 SOS 15667283 HAS SOPS 15667283 HAS SOUS 10330954 HAS SOUPS 10330954 WITH SCORE 1.0346621283E7
AT ITER 3525 NEW BEST:: SOT 30461427 SOS 15664485 HAS SOPS 15664485 HAS SOUS 10329892 HAS SOUPS 10329892 WITH SCORE 1.0345556485E7
AT ITER 3527 NEW BEST:: SOT 30461002 SOS 15663210 HAS SOPS 15663210 HAS SOUS 10328617 HAS SOUPS 10328617 WITH SCORE 1.034428021E7
AT ITER 3529 NEW BEST:: SOT 30459958 SOS 15662166 HAS SOPS 15662166 HAS SOUS 10327573 HAS SOUPS 10327573 WITH SCORE 1.0343235166E7
AT ITER 3532 NEW BEST:: SOT 30459958 SOS 15662166 HAS SOPS 15662166 HAS SOUS 10327572 HAS SOUPS 10327572 WITH SCORE 1.0343234166E7
AT ITER 3539 NEW BEST:: SOT 30459484 SOS 15661103 HAS SOPS 15661103 HAS SOUS 10327560 HAS SOUPS 10327560 WITH SCORE 1.0343221103E7
AT ITER 3541 NEW BEST:: SOT 30459086 SOS 15661055 HAS SOPS 15661055 HAS SOUS 10327274 HAS SOUPS 10327274 WITH SCORE 1.0342935055E7
AT ITER 3549 NEW BEST:: SOT 30457043 SOS 15655365 HAS SOPS 15655365 HAS SOUS 10324838 HAS SOUPS 10324838 WITH SCORE 1.0340493365E7
AT ITER 3551 NEW BEST:: SOT 30458099 SOS 15655415 HAS SOPS 15655415 HAS SOUS 10323243 HAS SOUPS 10323243 WITH SCORE 1.0338898415E7
AT ITER 3555 NEW BEST:: SOT 30457450 SOS 15653468 HAS SOPS 15653468 HAS SOUS 10322593 HAS SOUPS 10322593 WITH SCORE 1.0338246468E7
AT ITER 3556 NEW BEST:: SOT 30457259 SOS 15653277 HAS SOPS 15653277 HAS SOUS 10322402 HAS SOUPS 10322402 WITH SCORE 1.0338055277E7
AT ITER 3559 NEW BEST:: SOT 30457259 SOS 15652721 HAS SOPS 15652721 HAS SOUS 10318493 HAS SOUPS 10318493 WITH SCORE 1.0334145721E7
AT ITER 3567 NEW BEST:: SOT 30456362 SOS 15650927 HAS SOPS 15650927 HAS SOUS 10317596 HAS SOUPS 10317596 WITH SCORE 1.0333246927E7
AT ITER 3571 NEW BEST:: SOT 30456550 SOS 15651303 HAS SOPS 15651303 HAS SOUS 10317579 HAS SOUPS 10317579 WITH SCORE 1.0333230303E7
AT ITER 3573 NEW BEST:: SOT 30453800 SOS 15645828 HAS SOPS 15645828 HAS SOUS 10315653 HAS SOUPS 10315653 WITH SCORE 1.0331298828E7
AT ITER 3574 NEW BEST:: SOT 30453730 SOS 15645688 HAS SOPS 15645688 HAS SOUS 10315630 HAS SOUPS 10315630 WITH SCORE 1.0331275688E7
AT ITER 3584 NEW BEST:: SOT 30451992 SOS 15645400 HAS SOPS 15645400 HAS SOUS 10313969 HAS SOUPS 10313969 WITH SCORE 1.03296144E7
AT ITER 3587 NEW BEST:: SOT 30451992 SOS 15645370 HAS SOPS 15645370 HAS SOUS 10313969 HAS SOUPS 10313969 WITH SCORE 1.032961437E7
AT ITER 3590 NEW BEST:: SOT 30451865 SOS 15645243 HAS SOPS 15645243 HAS SOUS 10313842 HAS SOUPS 10313842 WITH SCORE 1.0329487243E7
AT ITER 3592 NEW BEST:: SOT 30451865 SOS 15643297 HAS SOPS 15643297 HAS SOUS 10312869 HAS SOUPS 10312869 WITH SCORE 1.0328512297E7
AT ITER 3593 NEW BEST:: SOT 30451694 SOS 15639007 HAS SOPS 15639007 HAS SOUS 10310724 HAS SOUPS 10310724 WITH SCORE 1.0326363007E7
AT ITER 3601 NEW BEST:: SOT 30451298 SOS 15638215 HAS SOPS 15638215 HAS SOUS 10310328 HAS SOUPS 10310328 WITH SCORE 1.0325966215E7
AT ITER 3608 NEW BEST:: SOT 30450826 SOS 15636327 HAS SOPS 15636327 HAS SOUS 10309383 HAS SOUPS 10309383 WITH SCORE 1.0325019327E7
AT ITER 3609 NEW BEST:: SOT 30450825 SOS 15636326 HAS SOPS 15636326 HAS SOUS 10309382 HAS SOUPS 10309382 WITH SCORE 1.0325018326E7
AT ITER 3619 NEW BEST:: SOT 30450825 SOS 15636803 HAS SOPS 15636803 HAS SOUS 10308797 HAS SOUPS 10308797 WITH SCORE 1.0324433803E7
AT ITER 3622 NEW BEST:: SOT 30450825 SOS 15638406 HAS SOPS 15638406 HAS SOUS 10307721 HAS SOUPS 10307721 WITH SCORE 1.0323359406E7
AT ITER 3623 NEW BEST:: SOT 30450825 SOS 15639236 HAS SOPS 15639236 HAS SOUS 10307720 HAS SOUPS 10307720 WITH SCORE 1.0323359236E7
AT ITER 3628 NEW BEST:: SOT 30450825 SOS 15639236 HAS SOPS 15639236 HAS SOUS 10307524 HAS SOUPS 10307524 WITH SCORE 1.0323163236E7
AT ITER 3629 NEW BEST:: SOT 30451306 SOS 15633755 HAS SOPS 15633755 HAS SOUS 10304006 HAS SOUPS 10304006 WITH SCORE 1.0319639755E7
AT ITER 3631 NEW BEST:: SOT 30452689 SOS 15634984 HAS SOPS 15634984 HAS SOUS 10303352 HAS SOUPS 10303352 WITH SCORE 1.0318986984E7
AT ITER 3638 NEW BEST:: SOT 30454953 SOS 15639512 HAS SOPS 15639512 HAS SOUS 10302626 HAS SOUPS 10302626 WITH SCORE 1.0318265512E7
AT ITER 3639 NEW BEST:: SOT 30454553 SOS 15639112 HAS SOPS 15639112 HAS SOUS 10302226 HAS SOUPS 10302226 WITH SCORE 1.0317865112E7
AT ITER 3648 NEW BEST:: SOT 30454236 SOS 15638356 HAS SOPS 15638356 HAS SOUS 10301909 HAS SOUPS 10301909 WITH SCORE 1.0317547356E7
AT ITER 3649 NEW BEST:: SOT 30453189 SOS 15637573 HAS SOPS 15637573 HAS SOUS 10301454 HAS SOUPS 10301454 WITH SCORE 1.0317091573E7
AT ITER 3656 NEW BEST:: SOT 30452236 SOS 15636245 HAS SOPS 15636245 HAS SOUS 10300501 HAS SOUPS 10300501 WITH SCORE 1.0316137245E7
AT ITER 3659 NEW BEST:: SOT 30452236 SOS 15636160 HAS SOPS 15636160 HAS SOUS 10300501 HAS SOUPS 10300501 WITH SCORE 1.031613716E7
AT ITER 3660 NEW BEST:: SOT 30452236 SOS 15633829 HAS SOPS 15633829 HAS SOUS 10299141 HAS SOUPS 10299141 WITH SCORE 1.0314774829E7
AT ITER 3666 NEW BEST:: SOT 30408573 SOS 15610421 HAS SOPS 15610421 HAS SOUS 10256608 HAS SOUPS 10256608 WITH SCORE 1.0272218421E7
AT ITER 3679 NEW BEST:: SOT 30408573 SOS 15610421 HAS SOPS 15610421 HAS SOUS 10256607 HAS SOUPS 10256607 WITH SCORE 1.0272217421E7
AT ITER 3683 NEW BEST:: SOT 30408573 SOS 15610421 HAS SOPS 15610421 HAS SOUS 10256592 HAS SOUPS 10256592 WITH SCORE 1.0272202421E7
AT ITER 3685 NEW BEST:: SOT 30406525 SOS 15610464 HAS SOPS 15610464 HAS SOUS 10254544 HAS SOUPS 10254544 WITH SCORE 1.0270154464E7
AT ITER 3693 NEW BEST:: SOT 30406525 SOS 15610425 HAS SOPS 15610425 HAS SOUS 10254544 HAS SOUPS 10254544 WITH SCORE 1.0270154425E7
AT ITER 3694 NEW BEST:: SOT 30406525 SOS 15610425 HAS SOPS 15610425 HAS SOUS 10254331 HAS SOUPS 10254331 WITH SCORE 1.0269941425E7
AT ITER 3695 NEW BEST:: SOT 30405156 SOS 15607687 HAS SOPS 15607687 HAS SOUS 10252851 HAS SOUPS 10252851 WITH SCORE 1.0268458687E7
AT ITER 3701 NEW BEST:: SOT 30408105 SOS 15609661 HAS SOPS 15609661 HAS SOUS 10251765 HAS SOUPS 10251765 WITH SCORE 1.0267374661E7
AT ITER 3704 NEW BEST:: SOT 30407747 SOS 15608945 HAS SOPS 15608945 HAS SOUS 10251049 HAS SOUPS 10251049 WITH SCORE 1.0266657945E7
AT ITER 3720 NEW BEST:: SOT 30407747 SOS 15608931 HAS SOPS 15608931 HAS SOUS 10251049 HAS SOUPS 10251049 WITH SCORE 1.0266657931E7
AT ITER 3724 NEW BEST:: SOT 30409947 SOS 15605387 HAS SOPS 15605387 HAS SOUS 10249115 HAS SOUPS 10249115 WITH SCORE 1.0264720387E7
AT ITER 3726 NEW BEST:: SOT 30409002 SOS 15603497 HAS SOPS 15603497 HAS SOUS 10248170 HAS SOUPS 10248170 WITH SCORE 1.0263773497E7
AT ITER 3733 NEW BEST:: SOT 30408734 SOS 15602961 HAS SOPS 15602961 HAS SOUS 10247902 HAS SOUPS 10247902 WITH SCORE 1.0263504961E7
AT ITER 3735 NEW BEST:: SOT 30408833 SOS 15602458 HAS SOPS 15602458 HAS SOUS 10246778 HAS SOUPS 10246778 WITH SCORE 1.0262380458E7
AT ITER 3737 NEW BEST:: SOT 30407330 SOS 15602353 HAS SOPS 15602353 HAS SOUS 10245448 HAS SOUPS 10245448 WITH SCORE 1.0261050353E7
AT ITER 3739 NEW BEST:: SOT 30405037 SOS 15613046 HAS SOPS 15613046 HAS SOUS 10241902 HAS SOUPS 10241902 WITH SCORE 1.0257515046E7
AT ITER 3741 NEW BEST:: SOT 30405037 SOS 15613046 HAS SOPS 15613046 HAS SOUS 10241762 HAS SOUPS 10241762 WITH SCORE 1.0257375046E7
AT ITER 3742 NEW BEST:: SOT 30401709 SOS 15610146 HAS SOPS 15610146 HAS SOUS 10238286 HAS SOUPS 10238286 WITH SCORE 1.0253896146E7
AT ITER 3744 NEW BEST:: SOT 30400514 SOS 15610713 HAS SOPS 15610713 HAS SOUS 10237951 HAS SOUPS 10237951 WITH SCORE 1.0253561713E7
AT ITER 3747 NEW BEST:: SOT 30400498 SOS 15610681 HAS SOPS 15610681 HAS SOUS 10237088 HAS SOUPS 10237088 WITH SCORE 1.0252698681E7
AT ITER 3751 NEW BEST:: SOT 30400498 SOS 15610681 HAS SOPS 15610681 HAS SOUS 10236580 HAS SOUPS 10236580 WITH SCORE 1.0252190681E7
AT ITER 3759 NEW BEST:: SOT 30399444 SOS 15608573 HAS SOPS 15608573 HAS SOUS 10235526 HAS SOUPS 10235526 WITH SCORE 1.0251134573E7
AT ITER 3760 NEW BEST:: SOT 30399444 SOS 15607220 HAS SOPS 15607220 HAS SOUS 10234978 HAS SOUPS 10234978 WITH SCORE 1.025058522E7
AT ITER 3778 NEW BEST:: SOT 30399444 SOS 15607011 HAS SOPS 15607011 HAS SOUS 10232617 HAS SOUPS 10232617 WITH SCORE 1.0248224011E7
AT ITER 3783 NEW BEST:: SOT 30399444 SOS 15607011 HAS SOPS 15607011 HAS SOUS 10232616 HAS SOUPS 10232616 WITH SCORE 1.0248223011E7
AT ITER 3785 NEW BEST:: SOT 30399296 SOS 15603217 HAS SOPS 15603217 HAS SOUS 10232073 HAS SOUPS 10232073 WITH SCORE 1.0247676217E7
AT ITER 3786 NEW BEST:: SOT 30398497 SOS 15600021 HAS SOPS 15600021 HAS SOUS 10230344 HAS SOUPS 10230344 WITH SCORE 1.0245944021E7
AT ITER 3791 NEW BEST:: SOT 30397530 SOS 15598087 HAS SOPS 15598087 HAS SOUS 10229377 HAS SOUPS 10229377 WITH SCORE 1.0244975087E7
AT ITER 3801 NEW BEST:: SOT 30397530 SOS 15598087 HAS SOPS 15598087 HAS SOUS 10227416 HAS SOUPS 10227416 WITH SCORE 1.0243014087E7
AT ITER 3806 NEW BEST:: SOT 30396962 SOS 15595299 HAS SOPS 15595299 HAS SOUS 10226848 HAS SOUPS 10226848 WITH SCORE 1.0242443299E7
AT ITER 3809 NEW BEST:: SOT 30396448 SOS 15594776 HAS SOPS 15594776 HAS SOUS 10226346 HAS SOUPS 10226346 WITH SCORE 1.0241940776E7
AT ITER 3812 NEW BEST:: SOT 30395545 SOS 15592971 HAS SOPS 15592971 HAS SOUS 10225443 HAS SOUPS 10225443 WITH SCORE 1.0241035971E7
AT ITER 3815 NEW BEST:: SOT 30395545 SOS 15579421 HAS SOPS 15579421 HAS SOUS 10225022 HAS SOUPS 10225022 WITH SCORE 1.0240601421E7
AT ITER 3816 NEW BEST:: SOT 30395710 SOS 15578831 HAS SOPS 15578831 HAS SOUS 10224266 HAS SOUPS 10224266 WITH SCORE 1.0239844831E7
AT ITER 3824 NEW BEST:: SOT 30394603 SOS 15575510 HAS SOPS 15575510 HAS SOUS 10220945 HAS SOUPS 10220945 WITH SCORE 1.023652051E7
AT ITER 3840 NEW BEST:: SOT 30394587 SOS 15575478 HAS SOPS 15575478 HAS SOUS 10220944 HAS SOUPS 10220944 WITH SCORE 1.0236519478E7
AT ITER 3844 NEW BEST:: SOT 30394089 SOS 15573486 HAS SOPS 15573486 HAS SOUS 10220445 HAS SOUPS 10220445 WITH SCORE 1.0236018486E7
AT ITER 3847 NEW BEST:: SOT 30394089 SOS 15572615 HAS SOPS 15572615 HAS SOUS 10220272 HAS SOUPS 10220272 WITH SCORE 1.0235844615E7
AT ITER 3849 NEW BEST:: SOT 30394473 SOS 15574253 HAS SOPS 15574253 HAS SOUS 10220170 HAS SOUPS 10220170 WITH SCORE 1.0235744253E7
AT ITER 3858 NEW BEST:: SOT 30394029 SOS 15572477 HAS SOPS 15572477 HAS SOUS 10219725 HAS SOUPS 10219725 WITH SCORE 1.0235297477E7
AT ITER 3860 NEW BEST:: SOT 30394028 SOS 15572476 HAS SOPS 15572476 HAS SOUS 10219724 HAS SOUPS 10219724 WITH SCORE 1.0235296476E7
AT ITER 3867 NEW BEST:: SOT 30393323 SOS 15572764 HAS SOPS 15572764 HAS SOUS 10219019 HAS SOUPS 10219019 WITH SCORE 1.0234591764E7
AT ITER 3871 NEW BEST:: SOT 30391396 SOS 15570504 HAS SOPS 15570504 HAS SOUS 10215809 HAS SOUPS 10215809 WITH SCORE 1.0231379504E7
AT ITER 3881 NEW BEST:: SOT 30394045 SOS 15573087 HAS SOPS 15573087 HAS SOUS 10215711 HAS SOUPS 10215711 WITH SCORE 1.0231284087E7
AT ITER 3883 NEW BEST:: SOT 30393129 SOS 15568151 HAS SOPS 15568151 HAS SOUS 10207942 HAS SOUPS 10207942 WITH SCORE 1.0223510151E7
AT ITER 3886 NEW BEST:: SOT 30391860 SOS 15562877 HAS SOPS 15562877 HAS SOUS 10203986 HAS SOUPS 10203986 WITH SCORE 1.0219548877E7
AT ITER 3888 NEW BEST:: SOT 30391865 SOS 15564153 HAS SOPS 15564153 HAS SOUS 10203707 HAS SOUPS 10203707 WITH SCORE 1.0219271153E7
AT ITER 3890 NEW BEST:: SOT 30392235 SOS 15562099 HAS SOPS 15562099 HAS SOUS 10202761 HAS SOUPS 10202761 WITH SCORE 1.0218323099E7
AT ITER 3904 NEW BEST:: SOT 30392096 SOS 15561821 HAS SOPS 15561821 HAS SOUS 10202483 HAS SOUPS 10202483 WITH SCORE 1.0218044821E7
AT ITER 3906 NEW BEST:: SOT 30392096 SOS 15562316 HAS SOPS 15562316 HAS SOUS 10202409 HAS SOUPS 10202409 WITH SCORE 1.0217971316E7
AT ITER 3909 NEW BEST:: SOT 30392096 SOS 15562685 HAS SOPS 15562685 HAS SOUS 10201779 HAS SOUPS 10201779 WITH SCORE 1.0217341685E7
AT ITER 3911 NEW BEST:: SOT 30392096 SOS 15563281 HAS SOPS 15563281 HAS SOUS 10201229 HAS SOUPS 10201229 WITH SCORE 1.0216792281E7
AT ITER 3912 NEW BEST:: SOT 30391758 SOS 15562674 HAS SOPS 15562674 HAS SOUS 10200919 HAS SOUPS 10200919 WITH SCORE 1.0216481674E7
AT ITER 3913 NEW BEST:: SOT 30391045 SOS 15561961 HAS SOPS 15561961 HAS SOUS 10200919 HAS SOUPS 10200919 WITH SCORE 1.0216480961E7
AT ITER 3914 NEW BEST:: SOT 30389935 SOS 15560851 HAS SOPS 15560851 HAS SOUS 10200919 HAS SOUPS 10200919 WITH SCORE 1.0216479851E7
AT ITER 3922 NEW BEST:: SOT 30388616 SOS 15555575 HAS SOPS 15555575 HAS SOUS 10199599 HAS SOUPS 10199599 WITH SCORE 1.0215154575E7
AT ITER 3923 NEW BEST:: SOT 30387581 SOS 15553505 HAS SOPS 15553505 HAS SOUS 10198729 HAS SOUPS 10198729 WITH SCORE 1.0214282505E7
AT ITER 3925 NEW BEST:: SOT 30387678 SOS 15552786 HAS SOPS 15552786 HAS SOUS 10197462 HAS SOUPS 10197462 WITH SCORE 1.0213014786E7
AT ITER 3931 NEW BEST:: SOT 30387873 SOS 15521725 HAS SOPS 15521725 HAS SOUS 10196014 HAS SOUPS 10196014 WITH SCORE 1.0211535725E7
AT ITER 3934 NEW BEST:: SOT 30386945 SOS 15520805 HAS SOPS 15520805 HAS SOUS 10195086 HAS SOUPS 10195086 WITH SCORE 1.0210606805E7
AT ITER 3937 NEW BEST:: SOT 30385542 SOS 15517999 HAS SOPS 15517999 HAS SOUS 10193833 HAS SOUPS 10193833 WITH SCORE 1.0209350999E7
AT ITER 3938 NEW BEST:: SOT 30384300 SOS 15515515 HAS SOPS 15515515 HAS SOUS 10190978 HAS SOUPS 10190978 WITH SCORE 1.0206493515E7
AT ITER 3939 NEW BEST:: SOT 30384850 SOS 15515635 HAS SOPS 15515635 HAS SOUS 10190960 HAS SOUPS 10190960 WITH SCORE 1.0206475635E7
AT ITER 3941 NEW BEST:: SOT 30384850 SOS 15513379 HAS SOPS 15513379 HAS SOUS 10189328 HAS SOUPS 10189328 WITH SCORE 1.0204841379E7
AT ITER 3944 NEW BEST:: SOT 30383973 SOS 15511625 HAS SOPS 15511625 HAS SOUS 10188446 HAS SOUPS 10188446 WITH SCORE 1.0203957625E7
AT ITER 3949 NEW BEST:: SOT 30383098 SOS 15510750 HAS SOPS 15510750 HAS SOUS 10186281 HAS SOUPS 10186281 WITH SCORE 1.020179175E7
AT ITER 3953 NEW BEST:: SOT 30382365 SOS 15510782 HAS SOPS 15510782 HAS SOUS 10185548 HAS SOUPS 10185548 WITH SCORE 1.0201058782E7
AT ITER 3956 NEW BEST:: SOT 30380688 SOS 15509114 HAS SOPS 15509114 HAS SOUS 10183871 HAS SOUPS 10183871 WITH SCORE 1.0199380114E7
AT ITER 3957 NEW BEST:: SOT 30379889 SOS 15505918 HAS SOPS 15505918 HAS SOUS 10183072 HAS SOUPS 10183072 WITH SCORE 1.0198577918E7
AT ITER 3959 NEW BEST:: SOT 30379889 SOS 15505918 HAS SOPS 15505918 HAS SOUS 10182894 HAS SOUPS 10182894 WITH SCORE 1.0198399918E7
AT ITER 3961 NEW BEST:: SOT 30379062 SOS 15504264 HAS SOPS 15504264 HAS SOUS 10182067 HAS SOUPS 10182067 WITH SCORE 1.0197571264E7
AT ITER 3964 NEW BEST:: SOT 30380192 SOS 15502159 HAS SOPS 15502159 HAS SOUS 10181173 HAS SOUPS 10181173 WITH SCORE 1.0196675159E7
AT ITER 3965 NEW BEST:: SOT 30379672 SOS 15501119 HAS SOPS 15501119 HAS SOUS 10180133 HAS SOUPS 10180133 WITH SCORE 1.0195634119E7
AT ITER 3967 NEW BEST:: SOT 30379672 SOS 15501119 HAS SOPS 15501119 HAS SOUS 10179338 HAS SOUPS 10179338 WITH SCORE 1.0194839119E7
AT ITER 3970 NEW BEST:: SOT 30379672 SOS 15499274 HAS SOPS 15499274 HAS SOUS 10175438 HAS SOUPS 10175438 WITH SCORE 1.0190937274E7
AT ITER 3974 NEW BEST:: SOT 30380261 SOS 15498851 HAS SOPS 15498851 HAS SOUS 10174975 HAS SOUPS 10174975 WITH SCORE 1.0190473851E7
AT ITER 3977 NEW BEST:: SOT 30379937 SOS 15495433 HAS SOPS 15495433 HAS SOUS 10172578 HAS SOUPS 10172578 WITH SCORE 1.0188073433E7
AT ITER 3986 NEW BEST:: SOT 30379055 SOS 15492787 HAS SOPS 15492787 HAS SOUS 10170814 HAS SOUPS 10170814 WITH SCORE 1.0186306787E7
AT ITER 3990 NEW BEST:: SOT 30379055 SOS 15492703 HAS SOPS 15492703 HAS SOUS 10170730 HAS SOUPS 10170730 WITH SCORE 1.0186222703E7
AT ITER 3991 NEW BEST:: SOT 30377099 SOS 15488791 HAS SOPS 15488791 HAS SOUS 10167046 HAS SOUPS 10167046 WITH SCORE 1.0182534791E7
AT ITER 4000 NEW BEST:: SOT 30376133 SOS 15486859 HAS SOPS 15486859 HAS SOUS 10165636 HAS SOUPS 10165636 WITH SCORE 1.0181122859E7
AT ITER 4003 NEW BEST:: SOT 30375884 SOS 15486610 HAS SOPS 15486610 HAS SOUS 10165263 HAS SOUPS 10165263 WITH SCORE 1.018074961E7
AT ITER 4006 NEW BEST:: SOT 30377151 SOS 15486424 HAS SOPS 15486424 HAS SOUS 10161401 HAS SOUPS 10161401 WITH SCORE 1.0176887424E7
AT ITER 4008 NEW BEST:: SOT 30378696 SOS 15487906 HAS SOPS 15487906 HAS SOUS 10161366 HAS SOUPS 10161366 WITH SCORE 1.0176853906E7
AT ITER 4013 NEW BEST:: SOT 30378696 SOS 15487906 HAS SOPS 15487906 HAS SOUS 10160987 HAS SOUPS 10160987 WITH SCORE 1.0176474906E7
AT ITER 4018 NEW BEST:: SOT 30377516 SOS 15483328 HAS SOPS 15483328 HAS SOUS 10158496 HAS SOUPS 10158496 WITH SCORE 1.0173979328E7
AT ITER 4019 NEW BEST:: SOT 30377516 SOS 15483328 HAS SOPS 15483328 HAS SOUS 10157624 HAS SOUPS 10157624 WITH SCORE 1.0173107328E7
AT ITER 4020 NEW BEST:: SOT 30377929 SOS 15482926 HAS SOPS 15482926 HAS SOUS 10157322 HAS SOUPS 10157322 WITH SCORE 1.0172804926E7
AT ITER 4022 NEW BEST:: SOT 30377138 SOS 15483077 HAS SOPS 15483077 HAS SOUS 10156531 HAS SOUPS 10156531 WITH SCORE 1.0172014077E7
AT ITER 4023 NEW BEST:: SOT 30377138 SOS 15483077 HAS SOPS 15483077 HAS SOUS 10153814 HAS SOUPS 10153814 WITH SCORE 1.0169297077E7
AT ITER 4026 NEW BEST:: SOT 30376508 SOS 15482447 HAS SOPS 15482447 HAS SOUS 10153184 HAS SOUPS 10153184 WITH SCORE 1.0168666447E7
AT ITER 4032 NEW BEST:: SOT 30375759 SOS 15481698 HAS SOPS 15481698 HAS SOUS 10152435 HAS SOUPS 10152435 WITH SCORE 1.0167916698E7
AT ITER 4035 NEW BEST:: SOT 30375285 SOS 15461316 HAS SOPS 15461316 HAS SOUS 10151961 HAS SOUPS 10151961 WITH SCORE 1.0167422316E7
AT ITER 4041 NEW BEST:: SOT 30375285 SOS 15461108 HAS SOPS 15461108 HAS SOUS 10151753 HAS SOUPS 10151753 WITH SCORE 1.0167214108E7
AT ITER 4045 NEW BEST:: SOT 30376068 SOS 15460340 HAS SOPS 15460340 HAS SOUS 10150985 HAS SOUPS 10150985 WITH SCORE 1.016644534E7
AT ITER 4049 NEW BEST:: SOT 30374531 SOS 15457158 HAS SOPS 15457158 HAS SOUS 10147630 HAS SOUPS 10147630 WITH SCORE 1.0163087158E7
AT ITER 4053 NEW BEST:: SOT 30374531 SOS 15455335 HAS SOPS 15455335 HAS SOUS 10143417 HAS SOUPS 10143417 WITH SCORE 1.0158872335E7
AT ITER 4054 NEW BEST:: SOT 30374531 SOS 15456407 HAS SOPS 15456407 HAS SOUS 10143171 HAS SOUPS 10143171 WITH SCORE 1.0158627407E7
AT ITER 4061 NEW BEST:: SOT 30374886 SOS 15455213 HAS SOPS 15455213 HAS SOUS 10142461 HAS SOUPS 10142461 WITH SCORE 1.0157916213E7
AT ITER 4069 NEW BEST:: SOT 30374757 SOS 15456485 HAS SOPS 15456485 HAS SOUS 10141949 HAS SOUPS 10141949 WITH SCORE 1.0157405485E7
AT ITER 4070 NEW BEST:: SOT 30374757 SOS 15455300 HAS SOPS 15455300 HAS SOUS 10138655 HAS SOUPS 10138655 WITH SCORE 1.01541103E7
AT ITER 4079 NEW BEST:: SOT 30373841 SOS 15453468 HAS SOPS 15453468 HAS SOUS 10136823 HAS SOUPS 10136823 WITH SCORE 1.0152276468E7
AT ITER 4083 NEW BEST:: SOT 30374885 SOS 15453112 HAS SOPS 15453112 HAS SOUS 10136467 HAS SOUPS 10136467 WITH SCORE 1.0151920112E7
AT ITER 4084 NEW BEST:: SOT 30374885 SOS 15452833 HAS SOPS 15452833 HAS SOUS 10136188 HAS SOUPS 10136188 WITH SCORE 1.0151640833E7
AT ITER 4085 NEW BEST:: SOT 30374188 SOS 15451439 HAS SOPS 15451439 HAS SOUS 10135481 HAS SOUPS 10135481 WITH SCORE 1.0150932439E7
AT ITER 4098 NEW BEST:: SOT 30374734 SOS 15451985 HAS SOPS 15451985 HAS SOUS 10134942 HAS SOUPS 10134942 WITH SCORE 1.0150393985E7
AT ITER 4100 NEW BEST:: SOT 30375480 SOS 15452598 HAS SOPS 15452598 HAS SOUS 10134809 HAS SOUPS 10134809 WITH SCORE 1.0150261598E7
AT ITER 4104 NEW BEST:: SOT 30374023 SOS 15451779 HAS SOPS 15451779 HAS SOUS 10133352 HAS SOUPS 10133352 WITH SCORE 1.0148803779E7
AT ITER 4106 NEW BEST:: SOT 30375292 SOS 15451728 HAS SOPS 15451728 HAS SOUS 10131901 HAS SOUPS 10131901 WITH SCORE 1.0147352728E7
AT ITER 4111 NEW BEST:: SOT 30375128 SOS 15451400 HAS SOPS 15451400 HAS SOUS 10131572 HAS SOUPS 10131572 WITH SCORE 1.01470234E7
AT ITER 4113 NEW BEST:: SOT 30374410 SOS 15449964 HAS SOPS 15449964 HAS SOUS 10130135 HAS SOUPS 10130135 WITH SCORE 1.0145584964E7
AT ITER 4114 NEW BEST:: SOT 30375525 SOS 15451191 HAS SOPS 15451191 HAS SOUS 10129761 HAS SOUPS 10129761 WITH SCORE 1.0145212191E7
AT ITER 4115 NEW BEST:: SOT 30372724 SOS 15445635 HAS SOPS 15445635 HAS SOUS 10124205 HAS SOUPS 10124205 WITH SCORE 1.0139650635E7
AT ITER 4122 NEW BEST:: SOT 30371675 SOS 15442494 HAS SOPS 15442494 HAS SOUS 10121064 HAS SOUPS 10121064 WITH SCORE 1.0136506494E7
AT ITER 4124 NEW BEST:: SOT 30370659 SOS 15441478 HAS SOPS 15441478 HAS SOUS 10119032 HAS SOUPS 10119032 WITH SCORE 1.0134473478E7
AT ITER 4126 NEW BEST:: SOT 30370351 SOS 15440862 HAS SOPS 15440862 HAS SOUS 10118416 HAS SOUPS 10118416 WITH SCORE 1.0133856862E7
AT ITER 4129 NEW BEST:: SOT 30368699 SOS 15437989 HAS SOPS 15437989 HAS SOUS 10115583 HAS SOUPS 10115583 WITH SCORE 1.0131020989E7
AT ITER 4130 NEW BEST:: SOT 30368556 SOS 15437703 HAS SOPS 15437703 HAS SOUS 10115297 HAS SOUPS 10115297 WITH SCORE 1.0130734703E7
AT ITER 4133 NEW BEST:: SOT 30369190 SOS 15437551 HAS SOPS 15437551 HAS SOUS 10114818 HAS SOUPS 10114818 WITH SCORE 1.0130255551E7
AT ITER 4136 NEW BEST:: SOT 30368987 SOS 15434265 HAS SOPS 15434265 HAS SOUS 10113874 HAS SOUPS 10113874 WITH SCORE 1.0129308265E7
AT ITER 4141 NEW BEST:: SOT 30368987 SOS 15433794 HAS SOPS 15433794 HAS SOUS 10113403 HAS SOUPS 10113403 WITH SCORE 1.0128836794E7
AT ITER 4143 NEW BEST:: SOT 30367620 SOS 15431060 HAS SOPS 15431060 HAS SOUS 10112036 HAS SOUPS 10112036 WITH SCORE 1.012746706E7
AT ITER 4145 NEW BEST:: SOT 30367620 SOS 15431060 HAS SOPS 15431060 HAS SOUS 10111968 HAS SOUPS 10111968 WITH SCORE 1.012739906E7
AT ITER 4147 NEW BEST:: SOT 30370020 SOS 15433374 HAS SOPS 15433374 HAS SOUS 10111528 HAS SOUPS 10111528 WITH SCORE 1.0126961374E7
AT ITER 4149 NEW BEST:: SOT 30368053 SOS 15429440 HAS SOPS 15429440 HAS SOUS 10110765 HAS SOUPS 10110765 WITH SCORE 1.012619444E7
AT ITER 4159 NEW BEST:: SOT 30369520 SOS 15428988 HAS SOPS 15428988 HAS SOUS 10110539 HAS SOUPS 10110539 WITH SCORE 1.0125967988E7
AT ITER 4161 NEW BEST:: SOT 30369520 SOS 15428988 HAS SOPS 15428988 HAS SOUS 10110534 HAS SOUPS 10110534 WITH SCORE 1.0125962988E7
AT ITER 4165 NEW BEST:: SOT 30369520 SOS 15426374 HAS SOPS 15426374 HAS SOUS 10105821 HAS SOUPS 10105821 WITH SCORE 1.0121247374E7
AT ITER 4166 NEW BEST:: SOT 30368186 SOS 15425040 HAS SOPS 15425040 HAS SOUS 10104487 HAS SOUPS 10104487 WITH SCORE 1.011991204E7
AT ITER 4181 NEW BEST:: SOT 30367769 SOS 15425040 HAS SOPS 15425040 HAS SOUS 10103653 HAS SOUPS 10103653 WITH SCORE 1.011907804E7
AT ITER 4187 NEW BEST:: SOT 30367720 SOS 15424554 HAS SOPS 15424554 HAS SOUS 10103555 HAS SOUPS 10103555 WITH SCORE 1.0118979554E7
AT ITER 4197 NEW BEST:: SOT 30366759 SOS 15424665 HAS SOPS 15424665 HAS SOUS 10102594 HAS SOUPS 10102594 WITH SCORE 1.0118018665E7
AT ITER 4200 NEW BEST:: SOT 30366759 SOS 15423174 HAS SOPS 15423174 HAS SOUS 10101103 HAS SOUPS 10101103 WITH SCORE 1.0116526174E7
AT ITER 4202 NEW BEST:: SOT 30365793 SOS 15419070 HAS SOPS 15419070 HAS SOUS 10098863 HAS SOUPS 10098863 WITH SCORE 1.011428207E7
AT ITER 4209 NEW BEST:: SOT 30365793 SOS 15415967 HAS SOPS 15415967 HAS SOUS 10096416 HAS SOUPS 10096416 WITH SCORE 1.0111831967E7
AT ITER 4213 NEW BEST:: SOT 30365283 SOS 15413927 HAS SOPS 15413927 HAS SOUS 10094915 HAS SOUPS 10094915 WITH SCORE 1.0110328927E7
AT ITER 4214 NEW BEST:: SOT 30365283 SOS 15413927 HAS SOPS 15413927 HAS SOUS 10094583 HAS SOUPS 10094583 WITH SCORE 1.0109996927E7
AT ITER 4216 NEW BEST:: SOT 30366160 SOS 15415055 HAS SOPS 15415055 HAS SOUS 10094189 HAS SOUPS 10094189 WITH SCORE 1.0109604055E7
AT ITER 4218 NEW BEST:: SOT 30365913 SOS 15414561 HAS SOPS 15414561 HAS SOUS 10093942 HAS SOUPS 10093942 WITH SCORE 1.0109356561E7
AT ITER 4221 NEW BEST:: SOT 30365515 SOS 15414846 HAS SOPS 15414846 HAS SOUS 10092233 HAS SOUPS 10092233 WITH SCORE 1.0107647846E7
AT ITER 4223 NEW BEST:: SOT 30364451 SOS 15412718 HAS SOPS 15412718 HAS SOUS 10090105 HAS SOUPS 10090105 WITH SCORE 1.0105517718E7
AT ITER 4224 NEW BEST:: SOT 30364786 SOS 15411070 HAS SOPS 15411070 HAS SOUS 10086724 HAS SOUPS 10086724 WITH SCORE 1.010213507E7
AT ITER 4226 NEW BEST:: SOT 30364435 SOS 15411247 HAS SOPS 15411247 HAS SOUS 10086373 HAS SOUPS 10086373 WITH SCORE 1.0101784247E7
AT ITER 4232 NEW BEST:: SOT 30362278 SOS 15409090 HAS SOPS 15409090 HAS SOUS 10086373 HAS SOUPS 10086373 WITH SCORE 1.010178209E7
AT ITER 4233 NEW BEST:: SOT 30360171 SOS 15406983 HAS SOPS 15406983 HAS SOUS 10086373 HAS SOUPS 10086373 WITH SCORE 1.0101779983E7
AT ITER 4234 NEW BEST:: SOT 30361792 SOS 15406178 HAS SOPS 15406178 HAS SOUS 10085295 HAS SOUPS 10085295 WITH SCORE 1.0100701178E7
AT ITER 4239 NEW BEST:: SOT 30361792 SOS 15405482 HAS SOPS 15405482 HAS SOUS 10085295 HAS SOUPS 10085295 WITH SCORE 1.0100700482E7
AT ITER 4242 NEW BEST:: SOT 30361128 SOS 15402826 HAS SOPS 15402826 HAS SOUS 10083967 HAS SOUPS 10083967 WITH SCORE 1.0099369826E7
AT ITER 4246 NEW BEST:: SOT 30361128 SOS 15402826 HAS SOPS 15402826 HAS SOUS 10083966 HAS SOUPS 10083966 WITH SCORE 1.0099368826E7
AT ITER 4250 NEW BEST:: SOT 30361970 SOS 15403213 HAS SOPS 15403213 HAS SOUS 10083357 HAS SOUPS 10083357 WITH SCORE 1.0098760213E7
AT ITER 4262 NEW BEST:: SOT 30361970 SOS 15403213 HAS SOPS 15403213 HAS SOUS 10082539 HAS SOUPS 10082539 WITH SCORE 1.0097942213E7
AT ITER 4268 NEW BEST:: SOT 30360697 SOS 15400667 HAS SOPS 15400667 HAS SOUS 10082196 HAS SOUPS 10082196 WITH SCORE 1.0097596667E7
AT ITER 4270 NEW BEST:: SOT 30293348 SOS 15459818 HAS SOPS 15459818 HAS SOUS 10023667 HAS SOUPS 10023667 WITH SCORE 1.0039126818E7
AT ITER 4277 NEW BEST:: SOT 30293247 SOS 15459614 HAS SOPS 15459614 HAS SOUS 10022519 HAS SOUPS 10022519 WITH SCORE 1.0037978614E7
AT ITER 4279 NEW BEST:: SOT 30293950 SOS 15459889 HAS SOPS 15459889 HAS SOUS 10022182 HAS SOUPS 10022182 WITH SCORE 1.0037641889E7
AT ITER 4281 NEW BEST:: SOT 30293950 SOS 15459889 HAS SOPS 15459889 HAS SOUS 10021252 HAS SOUPS 10021252 WITH SCORE 1.0036711889E7
AT ITER 4284 NEW BEST:: SOT 30291819 SOS 15455627 HAS SOPS 15455627 HAS SOUS 10019554 HAS SOUPS 10019554 WITH SCORE 1.0035009627E7
AT ITER 4285 NEW BEST:: SOT 30292062 SOS 15450509 HAS SOPS 15450509 HAS SOUS 10018768 HAS SOUPS 10018768 WITH SCORE 1.0034218509E7
AT ITER 4286 NEW BEST:: SOT 30290783 SOS 15450509 HAS SOPS 15450509 HAS SOUS 10017824 HAS SOUPS 10017824 WITH SCORE 1.0033274509E7
AT ITER 4289 NEW BEST:: SOT 30290783 SOS 15449501 HAS SOPS 15449501 HAS SOUS 10017824 HAS SOUPS 10017824 WITH SCORE 1.0033273501E7
AT ITER 4290 NEW BEST:: SOT 30291193 SOS 15448717 HAS SOPS 15448717 HAS SOUS 10017187 HAS SOUPS 10017187 WITH SCORE 1.0032635717E7
AT ITER 4292 NEW BEST:: SOT 30291272 SOS 15447293 HAS SOPS 15447293 HAS SOUS 10015684 HAS SOUPS 10015684 WITH SCORE 1.0031131293E7
AT ITER 4297 NEW BEST:: SOT 30291272 SOS 15444438 HAS SOPS 15444438 HAS SOUS 10013357 HAS SOUPS 10013357 WITH SCORE 1.0028801438E7
AT ITER 4301 NEW BEST:: SOT 30291272 SOS 15444438 HAS SOPS 15444438 HAS SOUS 10012678 HAS SOUPS 10012678 WITH SCORE 1.0028122438E7
AT ITER 4314 NEW BEST:: SOT 30290109 SOS 15442112 HAS SOPS 15442112 HAS SOUS 10011515 HAS SOUPS 10011515 WITH SCORE 1.0026957112E7
AT ITER 4316 NEW BEST:: SOT 30288586 SOS 15439066 HAS SOPS 15439066 HAS SOUS 10008469 HAS SOUPS 10008469 WITH SCORE 1.0023908066E7
AT ITER 4323 NEW BEST:: SOT 30288586 SOS 15439066 HAS SOPS 15439066 HAS SOUS 10008087 HAS SOUPS 10008087 WITH SCORE 1.0023526066E7
AT ITER 4324 NEW BEST:: SOT 30288389 SOS 15436906 HAS SOPS 15436906 HAS SOUS 10007094 HAS SOUPS 10007094 WITH SCORE 1.0022530906E7
AT ITER 4326 NEW BEST:: SOT 30287389 SOS 15438534 HAS SOPS 15438534 HAS SOUS 10006769 HAS SOUPS 10006769 WITH SCORE 1.0022207534E7
AT ITER 4327 NEW BEST:: SOT 30287325 SOS 15438548 HAS SOPS 15438548 HAS SOUS 10006705 HAS SOUPS 10006705 WITH SCORE 1.0022143548E7
AT ITER 4335 NEW BEST:: SOT 30287227 SOS 15413902 HAS SOPS 15413902 HAS SOUS 10005943 HAS SOUPS 10005943 WITH SCORE 1.0021356902E7
AT ITER 4342 NEW BEST:: SOT 30287227 SOS 15413902 HAS SOPS 15413902 HAS SOUS 10005697 HAS SOUPS 10005697 WITH SCORE 1.0021110902E7
AT ITER 4343 NEW BEST:: SOT 30286964 SOS 15411932 HAS SOPS 15411932 HAS SOUS 10005525 HAS SOUPS 10005525 WITH SCORE 1.0020936932E7
AT ITER 4344 NEW BEST:: SOT 30280602 SOS 15405787 HAS SOPS 15405787 HAS SOUS 10001356 HAS SOUPS 10001356 WITH SCORE 1.0016761787E7
AT ITER 4349 NEW BEST:: SOT 30280954 SOS 15403210 HAS SOPS 15403210 HAS SOUS 10000109 HAS SOUPS 10000109 WITH SCORE 1.001551221E7
AT ITER 4357 NEW BEST:: SOT 30280146 SOS 15402402 HAS SOPS 15402402 HAS SOUS 10000109 HAS SOUPS 10000109 WITH SCORE 1.0015511402E7
AT ITER 4364 NEW BEST:: SOT 30280146 SOS 15402402 HAS SOPS 15402402 HAS SOUS 9998501 HAS SOUPS 9998501 WITH SCORE 1.0013903402E7
AT ITER 4366 NEW BEST:: SOT 30280710 SOS 15402031 HAS SOPS 15402031 HAS SOUS 9998219 HAS SOUPS 9998219 WITH SCORE 1.0013621031E7
AT ITER 4370 NEW BEST:: SOT 30280710 SOS 15401835 HAS SOPS 15401835 HAS SOUS 9998022 HAS SOUPS 9998022 WITH SCORE 1.0013423835E7
AT ITER 4377 NEW BEST:: SOT 30280710 SOS 15401213 HAS SOPS 15401213 HAS SOUS 9998022 HAS SOUPS 9998022 WITH SCORE 1.0013423213E7
AT ITER 4378 NEW BEST:: SOT 30280710 SOS 15401238 HAS SOPS 15401238 HAS SOUS 9997164 HAS SOUPS 9997164 WITH SCORE 1.0012565238E7
AT ITER 4386 NEW BEST:: SOT 30279179 SOS 15399945 HAS SOPS 15399945 HAS SOUS 9995633 HAS SOUPS 9995633 WITH SCORE 1.0011032945E7
AT ITER 4390 NEW BEST:: SOT 30278984 SOS 15400122 HAS SOPS 15400122 HAS SOUS 9995438 HAS SOUPS 9995438 WITH SCORE 1.0010838122E7
AT ITER 4399 NEW BEST:: SOT 30278984 SOS 15398851 HAS SOPS 15398851 HAS SOUS 9994349 HAS SOUPS 9994349 WITH SCORE 1.0009747851E7
AT ITER 4407 NEW BEST:: SOT 30278185 SOS 15398052 HAS SOPS 15398052 HAS SOUS 9993550 HAS SOUPS 9993550 WITH SCORE 1.0008948052E7
AT ITER 4408 NEW BEST:: SOT 30278287 SOS 15397560 HAS SOPS 15397560 HAS SOUS 9992362 HAS SOUPS 9992362 WITH SCORE 1.000775956E7
AT ITER 4415 NEW BEST:: SOT 30277999 SOS 15396408 HAS SOPS 15396408 HAS SOUS 9991786 HAS SOUPS 9991786 WITH SCORE 1.0007182408E7
AT ITER 4430 NEW BEST:: SOT 30277999 SOS 15396408 HAS SOPS 15396408 HAS SOUS 9991785 HAS SOUPS 9991785 WITH SCORE 1.0007181408E7
AT ITER 4432 NEW BEST:: SOT 30277998 SOS 15396407 HAS SOPS 15396407 HAS SOUS 9991784 HAS SOUPS 9991784 WITH SCORE 1.0007180407E7
AT ITER 4434 NEW BEST:: SOT 30280282 SOS 15360082 HAS SOPS 15360082 HAS SOUS 9990851 HAS SOUPS 9990851 WITH SCORE 1.0006211082E7
AT ITER 4438 NEW BEST:: SOT 30280286 SOS 15360090 HAS SOPS 15360090 HAS SOUS 9990729 HAS SOUPS 9990729 WITH SCORE 1.000608909E7
AT ITER 4441 NEW BEST:: SOT 30280286 SOS 15359207 HAS SOPS 15359207 HAS SOUS 9989846 HAS SOUPS 9989846 WITH SCORE 1.0005205207E7
AT ITER 4442 NEW BEST:: SOT 30281109 SOS 15357758 HAS SOPS 15357758 HAS SOUS 9987730 HAS SOUPS 9987730 WITH SCORE 1.0003087758E7
AT ITER 4445 NEW BEST:: SOT 30284006 SOS 15360655 HAS SOPS 15360655 HAS SOUS 9987258 HAS SOUPS 9987258 WITH SCORE 1.0002618655E7
AT ITER 4447 NEW BEST:: SOT 30284006 SOS 15360655 HAS SOPS 15360655 HAS SOUS 9986466 HAS SOUPS 9986466 WITH SCORE 1.0001826655E7
AT ITER 4453 NEW BEST:: SOT 30285059 SOS 15358993 HAS SOPS 15358993 HAS SOUS 9985099 HAS SOUPS 9985099 WITH SCORE 1.0000457993E7
AT ITER 4454 NEW BEST:: SOT 30282696 SOS 15354664 HAS SOPS 15354664 HAS SOUS 9984326 HAS SOUPS 9984326 WITH SCORE 9999680.664
AT ITER 4457 NEW BEST:: SOT 30282666 SOS 15354666 HAS SOPS 15354666 HAS SOUS 9984296 HAS SOUPS 9984296 WITH SCORE 9999650.666
AT ITER 4463 NEW BEST:: SOT 30283404 SOS 15357618 HAS SOPS 15357618 HAS SOUS 9983890 HAS SOUPS 9983890 WITH SCORE 9999247.618
AT ITER 4467 NEW BEST:: SOT 30283362 SOS 15355772 HAS SOPS 15355772 HAS SOUS 9982966 HAS SOUPS 9982966 WITH SCORE 9998321.772
AT ITER 4468 NEW BEST:: SOT 30283362 SOS 15355772 HAS SOPS 15355772 HAS SOUS 9982965 HAS SOUPS 9982965 WITH SCORE 9998320.772
AT ITER 4470 NEW BEST:: SOT 30280919 SOS 15350886 HAS SOPS 15350886 HAS SOUS 9981028 HAS SOUPS 9981028 WITH SCORE 9996378.886
AT ITER 4476 NEW BEST:: SOT 30280919 SOS 15350886 HAS SOPS 15350886 HAS SOUS 9980522 HAS SOUPS 9980522 WITH SCORE 9995872.886
AT ITER 4477 NEW BEST:: SOT 30279726 SOS 15348500 HAS SOPS 15348500 HAS SOUS 9979329 HAS SOUPS 9979329 WITH SCORE 9994677.5
AT ITER 4481 NEW BEST:: SOT 30279109 SOS 15347266 HAS SOPS 15347266 HAS SOUS 9978722 HAS SOUPS 9978722 WITH SCORE 9994069.266
AT ITER 4482 NEW BEST:: SOT 30278169 SOS 15342994 HAS SOPS 15342994 HAS SOUS 9975683 HAS SOUPS 9975683 WITH SCORE 9991025.994
AT ITER 4487 NEW BEST:: SOT 30278019 SOS 15342235 HAS SOPS 15342235 HAS SOUS 9975074 HAS SOUPS 9975074 WITH SCORE 9990416.235
AT ITER 4498 NEW BEST:: SOT 30277382 SOS 15341762 HAS SOPS 15341762 HAS SOUS 9973880 HAS SOUPS 9973880 WITH SCORE 9989221.762
AT ITER 4504 NEW BEST:: SOT 30276631 SOS 15339211 HAS SOPS 15339211 HAS SOUS 9973043 HAS SOUPS 9973043 WITH SCORE 9988382.211
AT ITER 4528 NEW BEST:: SOT 30276925 SOS 15334217 HAS SOPS 15334217 HAS SOUS 9972926 HAS SOUPS 9972926 WITH SCORE 9988260.217
AT ITER 4531 NEW BEST:: SOT 30275521 SOS 15329349 HAS SOPS 15329349 HAS SOUS 9970503 HAS SOUPS 9970503 WITH SCORE 9985832.349
AT ITER 4533 NEW BEST:: SOT 30275521 SOS 15329188 HAS SOPS 15329188 HAS SOUS 9970342 HAS SOUPS 9970342 WITH SCORE 9985671.188
AT ITER 4539 NEW BEST:: SOT 30275521 SOS 15329027 HAS SOPS 15329027 HAS SOUS 9970181 HAS SOUPS 9970181 WITH SCORE 9985510.027
AT ITER 4546 NEW BEST:: SOT 30274421 SOS 15326827 HAS SOPS 15326827 HAS SOUS 9969081 HAS SOUPS 9969081 WITH SCORE 9984407.827
AT ITER 4547 NEW BEST:: SOT 30275002 SOS 15327061 HAS SOPS 15327061 HAS SOUS 9968734 HAS SOUPS 9968734 WITH SCORE 9984061.061
AT ITER 4549 NEW BEST:: SOT 30275002 SOS 15327053 HAS SOPS 15327053 HAS SOUS 9968726 HAS SOUPS 9968726 WITH SCORE 9984053.053
AT ITER 4556 NEW BEST:: SOT 30274998 SOS 15326575 HAS SOPS 15326575 HAS SOUS 9968248 HAS SOUPS 9968248 WITH SCORE 9983574.575
AT ITER 4563 NEW BEST:: SOT 30274483 SOS 15326368 HAS SOPS 15326368 HAS SOUS 9967794 HAS SOUPS 9967794 WITH SCORE 9983120.368
AT ITER 4570 NEW BEST:: SOT 30274346 SOS 15325606 HAS SOPS 15325606 HAS SOUS 9967032 HAS SOUPS 9967032 WITH SCORE 9982357.606
AT ITER 4573 NEW BEST:: SOT 30274394 SOS 15322153 HAS SOPS 15322153 HAS SOUS 9960037 HAS SOUPS 9960037 WITH SCORE 9975359.153
AT ITER 4577 NEW BEST:: SOT 30273765 SOS 15319301 HAS SOPS 15319301 HAS SOUS 9959248 HAS SOUPS 9959248 WITH SCORE 9974567.301
AT ITER 4578 NEW BEST:: SOT 30270020 SOS 15316265 HAS SOPS 15316265 HAS SOUS 9955517 HAS SOUPS 9955517 WITH SCORE 9970833.265
AT ITER 4581 NEW BEST:: SOT 30270020 SOS 15315909 HAS SOPS 15315909 HAS SOUS 9955161 HAS SOUPS 9955161 WITH SCORE 9970476.909
AT ITER 4588 NEW BEST:: SOT 30270020 SOS 15315841 HAS SOPS 15315841 HAS SOUS 9955093 HAS SOUPS 9955093 WITH SCORE 9970408.841
AT ITER 4589 NEW BEST:: SOT 30267472 SOS 15308882 HAS SOPS 15308882 HAS SOUS 9950682 HAS SOUPS 9950682 WITH SCORE 9965990.882
AT ITER 4599 NEW BEST:: SOT 30267472 SOS 15308223 HAS SOPS 15308223 HAS SOUS 9950401 HAS SOUPS 9950401 WITH SCORE 9965709.223
AT ITER 4611 NEW BEST:: SOT 30267880 SOS 15306177 HAS SOPS 15306177 HAS SOUS 9950339 HAS SOUPS 9950339 WITH SCORE 9965645.177
AT ITER 4617 NEW BEST:: SOT 30266896 SOS 15304209 HAS SOPS 15304209 HAS SOUS 9949355 HAS SOUPS 9949355 WITH SCORE 9964659.209
AT ITER 4618 NEW BEST:: SOT 30266236 SOS 15302229 HAS SOPS 15302229 HAS SOUS 9948694 HAS SOUPS 9948694 WITH SCORE 9963996.229
AT ITER 4623 NEW BEST:: SOT 30266236 SOS 15302229 HAS SOPS 15302229 HAS SOUS 9947971 HAS SOUPS 9947971 WITH SCORE 9963273.229
AT ITER 4633 NEW BEST:: SOT 30265723 SOS 15301203 HAS SOPS 15301203 HAS SOUS 9946945 HAS SOUPS 9946945 WITH SCORE 9962246.203
AT ITER 4639 NEW BEST:: SOT 30265723 SOS 15301203 HAS SOPS 15301203 HAS SOUS 9944893 HAS SOUPS 9944893 WITH SCORE 9960194.203
AT ITER 4644 NEW BEST:: SOT 30265723 SOS 15299626 HAS SOPS 15299626 HAS SOUS 9944893 HAS SOUPS 9944893 WITH SCORE 9960192.626
AT ITER 4645 NEW BEST:: SOT 30267924 SOS 15304028 HAS SOPS 15304028 HAS SOUS 9944274 HAS SOUPS 9944274 WITH SCORE 9959578.028
AT ITER 4653 NEW BEST:: SOT 30267924 SOS 15304028 HAS SOPS 15304028 HAS SOUS 9944273 HAS SOUPS 9944273 WITH SCORE 9959577.028
AT ITER 4661 NEW BEST:: SOT 30267790 SOS 15303626 HAS SOPS 15303626 HAS SOUS 9944139 HAS SOUPS 9944139 WITH SCORE 9959442.626
AT ITER 4665 NEW BEST:: SOT 30264123 SOS 15297028 HAS SOPS 15297028 HAS SOUS 9941208 HAS SOUPS 9941208 WITH SCORE 9956505.028
AT ITER 4673 NEW BEST:: SOT 30264123 SOS 15297028 HAS SOPS 15297028 HAS SOUS 9940884 HAS SOUPS 9940884 WITH SCORE 9956181.028
AT ITER 4683 NEW BEST:: SOT 30263936 SOS 15296654 HAS SOPS 15296654 HAS SOUS 9940510 HAS SOUPS 9940510 WITH SCORE 9955806.654
AT ITER 4688 NEW BEST:: SOT 30263936 SOS 15296654 HAS SOPS 15296654 HAS SOUS 9940344 HAS SOUPS 9940344 WITH SCORE 9955640.654
AT ITER 4690 NEW BEST:: SOT 30263936 SOS 15296654 HAS SOPS 15296654 HAS SOUS 9940273 HAS SOUPS 9940273 WITH SCORE 9955569.654
AT ITER 4691 NEW BEST:: SOT 30263526 SOS 15295822 HAS SOPS 15295822 HAS SOUS 9939283 HAS SOUPS 9939283 WITH SCORE 9954578.822
AT ITER 4699 NEW BEST:: SOT 30262049 SOS 15290557 HAS SOPS 15290557 HAS SOUS 9935495 HAS SOUPS 9935495 WITH SCORE 9950785.557
AT ITER 4700 NEW BEST:: SOT 30261561 SOS 15290557 HAS SOPS 15290557 HAS SOUS 9935007 HAS SOUPS 9935007 WITH SCORE 9950297.557
AT ITER 4717 NEW BEST:: SOT 30259903 SOS 15288040 HAS SOPS 15288040 HAS SOUS 9934966 HAS SOUPS 9934966 WITH SCORE 9950254.04
AT ITER 4722 NEW BEST:: SOT 30259903 SOS 15288040 HAS SOPS 15288040 HAS SOUS 9934236 HAS SOUPS 9934236 WITH SCORE 9949524.04
AT ITER 4725 NEW BEST:: SOT 30259948 SOS 15287546 HAS SOPS 15287546 HAS SOUS 9933696 HAS SOUPS 9933696 WITH SCORE 9948983.546
AT ITER 4731 NEW BEST:: SOT 30259410 SOS 15284746 HAS SOPS 15284746 HAS SOUS 9931758 HAS SOUPS 9931758 WITH SCORE 9947042.746
AT ITER 4738 NEW BEST:: SOT 30259278 SOS 15284482 HAS SOPS 15284482 HAS SOUS 9929403 HAS SOUPS 9929403 WITH SCORE 9944687.482
AT ITER 4742 NEW BEST:: SOT 30258553 SOS 15283032 HAS SOPS 15283032 HAS SOUS 9927948 HAS SOUPS 9927948 WITH SCORE 9943231.032
AT ITER 4746 NEW BEST:: SOT 30258553 SOS 15282021 HAS SOPS 15282021 HAS SOUS 9927948 HAS SOUPS 9927948 WITH SCORE 9943230.021
AT ITER 4749 NEW BEST:: SOT 30257908 SOS 15276727 HAS SOPS 15276727 HAS SOUS 9927062 HAS SOUPS 9927062 WITH SCORE 9942338.727
AT ITER 4750 NEW BEST:: SOT 30257552 SOS 15277076 HAS SOPS 15277076 HAS SOUS 9926706 HAS SOUPS 9926706 WITH SCORE 9941983.076
AT ITER 4751 NEW BEST:: SOT 30257191 SOS 15277152 HAS SOPS 15277152 HAS SOUS 9925052 HAS SOUPS 9925052 WITH SCORE 9940329.152
AT ITER 4758 NEW BEST:: SOT 30257191 SOS 15276667 HAS SOPS 15276667 HAS SOUS 9924557 HAS SOUPS 9924557 WITH SCORE 9939833.667
AT ITER 4759 NEW BEST:: SOT 30255681 SOS 15275210 HAS SOPS 15275210 HAS SOUS 9923047 HAS SOUPS 9923047 WITH SCORE 9938322.21
AT ITER 4761 NEW BEST:: SOT 30254840 SOS 15273528 HAS SOPS 15273528 HAS SOUS 9921365 HAS SOUPS 9921365 WITH SCORE 9936638.528
AT ITER 4763 NEW BEST:: SOT 30254840 SOS 15271937 HAS SOPS 15271937 HAS SOUS 9917669 HAS SOUPS 9917669 WITH SCORE 9932940.937
AT ITER 4765 NEW BEST:: SOT 30254840 SOS 15271937 HAS SOPS 15271937 HAS SOUS 9917274 HAS SOUPS 9917274 WITH SCORE 9932545.937
AT ITER 4767 NEW BEST:: SOT 30253427 SOS 15270976 HAS SOPS 15270976 HAS SOUS 9915615 HAS SOUPS 9915615 WITH SCORE 9930885.976
AT ITER 4768 NEW BEST:: SOT 30253076 SOS 15270625 HAS SOPS 15270625 HAS SOUS 9914913 HAS SOUPS 9914913 WITH SCORE 9930183.625
AT ITER 4776 NEW BEST:: SOT 30254081 SOS 15269827 HAS SOPS 15269827 HAS SOUS 9914862 HAS SOUPS 9914862 WITH SCORE 9930131.827
AT ITER 4780 NEW BEST:: SOT 30253412 SOS 15272125 HAS SOPS 15272125 HAS SOUS 9914771 HAS SOUPS 9914771 WITH SCORE 9930043.125
AT ITER 4786 NEW BEST:: SOT 30253412 SOS 15270869 HAS SOPS 15270869 HAS SOUS 9912150 HAS SOUPS 9912150 WITH SCORE 9927420.869
AT ITER 4789 NEW BEST:: SOT 30252759 SOS 15270776 HAS SOPS 15270776 HAS SOUS 9912057 HAS SOUPS 9912057 WITH SCORE 9927327.776
AT ITER 4790 NEW BEST:: SOT 30252305 SOS 15272607 HAS SOPS 15272607 HAS SOUS 9911608 HAS SOUPS 9911608 WITH SCORE 9926880.607
AT ITER 4793 NEW BEST:: SOT 30251531 SOS 15268401 HAS SOPS 15268401 HAS SOUS 9908453 HAS SOUPS 9908453 WITH SCORE 9923721.401
AT ITER 4810 NEW BEST:: SOT 30251531 SOS 15268401 HAS SOPS 15268401 HAS SOUS 9907957 HAS SOUPS 9907957 WITH SCORE 9923225.401
AT ITER 4811 NEW BEST:: SOT 30250660 SOS 15263667 HAS SOPS 15263667 HAS SOUS 9905812 HAS SOUPS 9905812 WITH SCORE 9921075.667
AT ITER 4833 NEW BEST:: SOT 30250660 SOS 15263667 HAS SOPS 15263667 HAS SOUS 9905811 HAS SOUPS 9905811 WITH SCORE 9921074.667
AT ITER 4835 NEW BEST:: SOT 30250064 SOS 15262087 HAS SOPS 15262087 HAS SOUS 9904875 HAS SOUPS 9904875 WITH SCORE 9920137.087
AT ITER 4836 NEW BEST:: SOT 30250064 SOS 15247449 HAS SOPS 15247449 HAS SOUS 9904874 HAS SOUPS 9904874 WITH SCORE 9920121.449
AT ITER 4841 NEW BEST:: SOT 30249218 SOS 15245757 HAS SOPS 15245757 HAS SOUS 9904149 HAS SOUPS 9904149 WITH SCORE 9919394.757
AT ITER 4842 NEW BEST:: SOT 30249218 SOS 15245842 HAS SOPS 15245842 HAS SOUS 9903749 HAS SOUPS 9903749 WITH SCORE 9918994.842
AT ITER 4844 NEW BEST:: SOT 30248960 SOS 15245326 HAS SOPS 15245326 HAS SOUS 9903749 HAS SOUPS 9903749 WITH SCORE 9918994.326
AT ITER 4846 NEW BEST:: SOT 30248372 SOS 15249677 HAS SOPS 15249677 HAS SOUS 9902789 HAS SOUPS 9902789 WITH SCORE 9918038.677
AT ITER 4847 NEW BEST:: SOT 30248372 SOS 15249677 HAS SOPS 15249677 HAS SOUS 9902489 HAS SOUPS 9902489 WITH SCORE 9917738.677
AT ITER 4860 NEW BEST:: SOT 30247809 SOS 15249459 HAS SOPS 15249459 HAS SOUS 9902136 HAS SOUPS 9902136 WITH SCORE 9917385.459
AT ITER 4861 NEW BEST:: SOT 30247680 SOS 15249754 HAS SOPS 15249754 HAS SOUS 9902007 HAS SOUPS 9902007 WITH SCORE 9917256.754
AT ITER 4863 NEW BEST:: SOT 30247121 SOS 15252008 HAS SOPS 15252008 HAS SOUS 9901667 HAS SOUPS 9901667 WITH SCORE 9916919.008
AT ITER 4865 NEW BEST:: SOT 30246814 SOS 15251394 HAS SOPS 15251394 HAS SOUS 9901053 HAS SOUPS 9901053 WITH SCORE 9916304.394
AT ITER 4870 NEW BEST:: SOT 30246814 SOS 15248928 HAS SOPS 15248928 HAS SOUS 9898587 HAS SOUPS 9898587 WITH SCORE 9913835.928
AT ITER 4873 NEW BEST:: SOT 30246814 SOS 15248327 HAS SOPS 15248327 HAS SOUS 9898586 HAS SOUPS 9898586 WITH SCORE 9913834.327
AT ITER 4875 NEW BEST:: SOT 30246814 SOS 15247995 HAS SOPS 15247995 HAS SOUS 9898586 HAS SOUPS 9898586 WITH SCORE 9913833.995
AT ITER 4876 NEW BEST:: SOT 30245930 SOS 15244459 HAS SOPS 15244459 HAS SOUS 9896818 HAS SOUPS 9896818 WITH SCORE 9912062.459
AT ITER 4877 NEW BEST:: SOT 30245930 SOS 15242037 HAS SOPS 15242037 HAS SOUS 9894484 HAS SOUPS 9894484 WITH SCORE 9909726.037
AT ITER 4880 NEW BEST:: SOT 30246833 SOS 15236342 HAS SOPS 15236342 HAS SOUS 9889846 HAS SOUPS 9889846 WITH SCORE 9905082.342
AT ITER 4884 NEW BEST:: SOT 30246833 SOS 15235680 HAS SOPS 15235680 HAS SOUS 9889157 HAS SOUPS 9889157 WITH SCORE 9904392.68
AT ITER 4885 NEW BEST:: SOT 30246127 SOS 15234268 HAS SOPS 15234268 HAS SOUS 9888418 HAS SOUPS 9888418 WITH SCORE 9903652.268
AT ITER 4889 NEW BEST:: SOT 30246127 SOS 15234077 HAS SOPS 15234077 HAS SOUS 9888417 HAS SOUPS 9888417 WITH SCORE 9903651.077
AT ITER 4892 NEW BEST:: SOT 30245839 SOS 15233789 HAS SOPS 15233789 HAS SOUS 9888129 HAS SOUPS 9888129 WITH SCORE 9903362.789
AT ITER 4902 NEW BEST:: SOT 30245206 SOS 15232523 HAS SOPS 15232523 HAS SOUS 9887496 HAS SOUPS 9887496 WITH SCORE 9902728.523
AT ITER 4904 NEW BEST:: SOT 30244006 SOS 15231323 HAS SOPS 15231323 HAS SOUS 9885784 HAS SOUPS 9885784 WITH SCORE 9901015.323
AT ITER 4912 NEW BEST:: SOT 30243654 SOS 15231323 HAS SOPS 15231323 HAS SOUS 9885783 HAS SOUPS 9885783 WITH SCORE 9901014.323
AT ITER 4928 NEW BEST:: SOT 30243015 SOS 15228767 HAS SOPS 15228767 HAS SOUS 9884505 HAS SOUPS 9884505 WITH SCORE 9899733.767
AT ITER 4930 NEW BEST:: SOT 30243015 SOS 15225689 HAS SOPS 15225689 HAS SOUS 9882636 HAS SOUPS 9882636 WITH SCORE 9897861.689
AT ITER 4937 NEW BEST:: SOT 30243015 SOS 15224175 HAS SOPS 15224175 HAS SOUS 9881349 HAS SOUPS 9881349 WITH SCORE 9896573.175
AT ITER 4949 NEW BEST:: SOT 30242422 SOS 15220321 HAS SOPS 15220321 HAS SOUS 9879792 HAS SOUPS 9879792 WITH SCORE 9895012.321
AT ITER 4952 NEW BEST:: SOT 30241911 SOS 15215561 HAS SOPS 15215561 HAS SOUS 9878657 HAS SOUPS 9878657 WITH SCORE 9893872.561
AT ITER 4955 NEW BEST:: SOT 30242001 SOS 15215741 HAS SOPS 15215741 HAS SOUS 9877674 HAS SOUPS 9877674 WITH SCORE 9892889.741
AT ITER 4957 NEW BEST:: SOT 30243746 SOS 15220424 HAS SOPS 15220424 HAS SOUS 9877571 HAS SOUPS 9877571 WITH SCORE 9892791.424
AT ITER 4964 NEW BEST:: SOT 30243746 SOS 15218797 HAS SOPS 15218797 HAS SOUS 9876819 HAS SOUPS 9876819 WITH SCORE 9892037.797
AT ITER 4970 NEW BEST:: SOT 30243746 SOS 15218797 HAS SOPS 15218797 HAS SOUS 9876254 HAS SOUPS 9876254 WITH SCORE 9891472.797
AT ITER 4971 NEW BEST:: SOT 30243570 SOS 15215699 HAS SOPS 15215699 HAS SOUS 9875303 HAS SOUPS 9875303 WITH SCORE 9890518.699
AT ITER 4972 NEW BEST:: SOT 30243570 SOS 15214953 HAS SOPS 15214953 HAS SOUS 9874557 HAS SOUPS 9874557 WITH SCORE 9889771.953
AT ITER 4988 NEW BEST:: SOT 30243003 SOS 15211768 HAS SOPS 15211768 HAS SOUS 9873124 HAS SOUPS 9873124 WITH SCORE 9888335.768
AT ITER 4991 NEW BEST:: SOT 30242934 SOS 15210369 HAS SOPS 15210369 HAS SOUS 9873054 HAS SOUPS 9873054 WITH SCORE 9888264.369
AT ITER 4995 NEW BEST:: SOT 30243024 SOS 15209621 HAS SOPS 15209621 HAS SOUS 9872723 HAS SOUPS 9872723 WITH SCORE 9887932.621
AT ITER 4997 NEW BEST:: SOT 30242299 SOS 15207446 HAS SOPS 15207446 HAS SOUS 9871273 HAS SOUPS 9871273 WITH SCORE 9886480.446
AT ITER 4999 NEW BEST:: SOT 30242299 SOS 15207446 HAS SOPS 15207446 HAS SOUS 9870747 HAS SOUPS 9870747 WITH SCORE 9885954.446
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-00 (EG( (EU( potential( ( 3 ) <= (tk(P300)) ),potential( (tk(P6246)) <= (tk(P4508)) ) ))))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-01 (AX( (EU( potential( (tk(P3721)) <= (tk(P3505)) ),potential( ( 2 ) <= (tk(P3257)) ) ))))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-02 (AF((EF((! potential( (tk(P5038)) <= (tk(P2090)) ))))))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-03 (AF((! (EG( potential( (tk(P5678)) <= (tk(P5776)) ))))))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-04 (AG( ( (EX( potential( (tk(P4735)) <= (tk(P2186)) ))) | (EF(potential( (tk(P960)) <= (tk(P3649)) ))) )))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-05 (AF(potential( ( 2 ) <= (tk(P3298)) )))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-06 (EG( (AU( potential( ( 3 ) <= (tk(P3996)) ),potential( (tk(P6072)) <= (tk(P3511)) ) ))))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-07 ( ( ( (! (! potential( (tk(P3977)) <= (tk(P1878)) ))) | (! ( potential( (tk(P5443)) <= (tk(P1983)) ) & potential( ( 3 ) <= (tk(P3273)) ) )) ) & ( (EF(potential( ( 1 ) <= (tk(P375)) ))) & ( (! potential( (tk(P4789)) <= (tk(P1198)) )) | ( potential( ( 1 ) <= (tk(P123)) ) | potential( (tk(P2499)) <= (tk(P3003)) ) ) ) ) ) | (! ( (AF(potential( ( 1 ) <= (tk(P5201)) ))) & ( potential( (tk(P1692)) <= (tk(P5790)) ) & (! potential( ( 2 ) <= (tk(P1558)) )) ) )) )
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-08 ( (EG( (! (! potential( (tk(P247)) <= (tk(P4016)) ))))) | (EG( (EX( potential( ( 1 ) <= (tk(P3117)) ))))) )
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-09 (AU( (AF(potential( ( 3 ) <= (tk(P2227)) ))),( ( potential( ( 2 ) <= (tk(P2570)) ) | potential( (tk(P4040)) <= (tk(P3650)) ) ) & ( potential( ( 1 ) <= (tk(P5830)) ) & potential( ( 3 ) <= (tk(P3463)) ) ) ) ))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-10 (EF(potential( ( 3 ) <= (tk(P4747)) )))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-11 ( (EG( ( ( potential( (tk(P4522)) <= (tk(P1534)) ) | potential( (tk(P4395)) <= (tk(P683)) ) ) & ( potential( (tk(P3259)) <= (tk(P3345)) ) | potential( ( 2 ) <= (tk(P5620)) ) ) ))) & (! potential( ( 1 ) <= (tk(P5923)) )) )
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-12 (AF(( ( ( potential( ( 1 ) <= (tk(P3681)) ) & potential( (tk(P3740)) <= (tk(P4026)) ) ) & (! potential( (tk(P3743)) <= (tk(P2748)) )) ) & (EX( potential( (tk(P5331)) <= (tk(P1354)) ))) )))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-13 ( ( (EG( (! potential( ( 2 ) <= (tk(P257)) )))) | ( ( potential( ( 1 ) <= (tk(P1110)) ) & ( potential( (tk(P441)) <= (tk(P213)) ) | potential( ( 2 ) <= (tk(P3821)) ) ) ) & ( potential( ( 1 ) <= (tk(P2070)) ) | ( potential( (tk(P2648)) <= (tk(P3919)) ) & potential( ( 1 ) <= (tk(P4322)) ) ) ) ) ) | (! potential( (tk(P1833)) <= (tk(P1228)) )) )
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-14 (EF(( (! (! potential( ( 2 ) <= (tk(P2869)) ))) | (! ( potential( (tk(P4949)) <= (tk(P5721)) ) & potential( (tk(P1081)) <= (tk(P2830)) ) )) )))
PROPERTY: FlexibleBarrier-PT-22b-CTLCardinality-15 ( (EG( (EF(potential( ( 2 ) <= (tk(P5021)) ))))) & (AF((! ( potential( (tk(P228)) <= (tk(P5990)) ) | potential( ( 1 ) <= (tk(P6434)) ) )))) )

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="FlexibleBarrier-PT-22b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-22b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972600411"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-22b.tgz
mv FlexibleBarrier-PT-22b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;