Execution Chart

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

Trace from the execution

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

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589012485324

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

GOT IT HERE. BS
Petri model created: 6810 places, 10100 transitions, 81000 arcs.
AT ITER 0 NEW BEST:: SOT 49123117 SOS 32500854 HAS SOPS 25434235 HAS SOUS 22801890 HAS SOUPS 22560060 WITH SCORE 2.2592560854E7
AT ITER 2 NEW BEST:: SOT 49123117 SOS 32500854 HAS SOPS 25433199 HAS SOUS 22803108 HAS SOUPS 22559024 WITH SCORE 2.2591524854E7
AT ITER 6 NEW BEST:: SOT 49123117 SOS 32500854 HAS SOPS 25431463 HAS SOUS 22799611 HAS SOUPS 22555195 WITH SCORE 2.2587695854E7
AT ITER 17 NEW BEST:: SOT 49123117 SOS 32500854 HAS SOPS 25431183 HAS SOUS 22799672 HAS SOUPS 22554915 WITH SCORE 2.2587415854E7
AT ITER 18 NEW BEST:: SOT 49123446 SOS 32503673 HAS SOPS 25430170 HAS SOUS 22802231 HAS SOUPS 22553902 WITH SCORE 2.2586405673E7
AT ITER 22 NEW BEST:: SOT 49123446 SOS 32506489 HAS SOPS 25429591 HAS SOUS 22804215 HAS SOUPS 22553323 WITH SCORE 2.2585829489E7
AT ITER 27 NEW BEST:: SOT 49123446 SOS 32506489 HAS SOPS 25427934 HAS SOUS 22801193 HAS SOUPS 22549595 WITH SCORE 2.2582101489E7
AT ITER 35 NEW BEST:: SOT 49123446 SOS 32506598 HAS SOPS 25428042 HAS SOUS 22800945 HAS SOUPS 22549347 WITH SCORE 2.2581853598E7
AT ITER 37 NEW BEST:: SOT 49123446 SOS 32506598 HAS SOPS 25428038 HAS SOUS 22801025 HAS SOUPS 22549343 WITH SCORE 2.2581849598E7
AT ITER 42 NEW BEST:: SOT 49123446 SOS 32506598 HAS SOPS 25426961 HAS SOUS 22800989 HAS SOUPS 22548266 WITH SCORE 2.2580772598E7
AT ITER 43 NEW BEST:: SOT 49123446 SOS 32506598 HAS SOPS 25426682 HAS SOUS 22799056 HAS SOUPS 22545899 WITH SCORE 2.2578405598E7
AT ITER 51 NEW BEST:: SOT 49124359 SOS 32508072 HAS SOPS 25426199 HAS SOUS 22801806 HAS SOUPS 22545417 WITH SCORE 2.2577925072E7
AT ITER 52 NEW BEST:: SOT 49124359 SOS 32508072 HAS SOPS 25426399 HAS SOUS 22800999 HAS SOUPS 22544430 WITH SCORE 2.2576938072E7
AT ITER 53 NEW BEST:: SOT 49124359 SOS 32508072 HAS SOPS 25427983 HAS SOUS 22800508 HAS SOUPS 22543939 WITH SCORE 2.2576447072E7
AT ITER 57 NEW BEST:: SOT 49124480 SOS 32508409 HAS SOPS 25426294 HAS SOUS 22802460 HAS SOUPS 22542251 WITH SCORE 2.2574759409E7
AT ITER 73 NEW BEST:: SOT 49124940 SOS 32509328 HAS SOPS 25424690 HAS SOUS 22803660 HAS SOUPS 22540648 WITH SCORE 2.2573157328E7
AT ITER 76 NEW BEST:: SOT 49124940 SOS 32509328 HAS SOPS 25422941 HAS SOUS 22800688 HAS SOUPS 22537152 WITH SCORE 2.2569661328E7
AT ITER 80 NEW BEST:: SOT 49125259 SOS 32509965 HAS SOPS 25421202 HAS SOUS 22801844 HAS SOUPS 22535414 WITH SCORE 2.2567923965E7
AT ITER 81 NEW BEST:: SOT 49124354 SOS 32509060 HAS SOPS 25419392 HAS SOUS 22800801 HAS SOUPS 22533604 WITH SCORE 2.256611306E7
AT ITER 83 NEW BEST:: SOT 49124354 SOS 32509060 HAS SOPS 25417774 HAS SOUS 22798392 HAS SOUPS 22530370 WITH SCORE 2.256287906E7
AT ITER 84 NEW BEST:: SOT 49124369 SOS 32509129 HAS SOPS 25416343 HAS SOUS 22800585 HAS SOUPS 22528939 WITH SCORE 2.2561448129E7
AT ITER 91 NEW BEST:: SOT 49124369 SOS 32509129 HAS SOPS 25415156 HAS SOUS 22797995 HAS SOUPS 22525703 WITH SCORE 2.2558212129E7
AT ITER 92 NEW BEST:: SOT 49124504 SOS 32509398 HAS SOPS 25413197 HAS SOUS 22798317 HAS SOUPS 22523745 WITH SCORE 2.2556254398E7
AT ITER 94 NEW BEST:: SOT 49124504 SOS 32509398 HAS SOPS 25411469 HAS SOUS 22795870 HAS SOUPS 22520291 WITH SCORE 2.2552800398E7
AT ITER 99 NEW BEST:: SOT 49124504 SOS 32509398 HAS SOPS 25410645 HAS SOUS 22794487 HAS SOUPS 22518645 WITH SCORE 2.2551154398E7
AT ITER 105 NEW BEST:: SOT 49124504 SOS 32509398 HAS SOPS 25411126 HAS SOUS 22792912 HAS SOUPS 22517070 WITH SCORE 2.2549579398E7
AT ITER 106 NEW BEST:: SOT 49124504 SOS 32509398 HAS SOPS 25409302 HAS SOUS 22793950 HAS SOUPS 22515246 WITH SCORE 2.2547755398E7
AT ITER 108 NEW BEST:: SOT 49121853 SOS 32506747 HAS SOPS 25407234 HAS SOUS 22791883 HAS SOUPS 22513179 WITH SCORE 2.2545685747E7
AT ITER 110 NEW BEST:: SOT 49121853 SOS 32506747 HAS SOPS 25405751 HAS SOUS 22790364 HAS SOUPS 22510213 WITH SCORE 2.2542719747E7
AT ITER 115 NEW BEST:: SOT 49120881 SOS 32448250 HAS SOPS 25315664 HAS SOUS 22757231 HAS SOUPS 22477080 WITH SCORE 2.250952825E7
AT ITER 120 NEW BEST:: SOT 49120881 SOS 32448250 HAS SOPS 25313096 HAS SOUS 22754853 HAS SOUPS 22473980 WITH SCORE 2.250642825E7
AT ITER 121 NEW BEST:: SOT 49120881 SOS 32448250 HAS SOPS 25311198 HAS SOUS 22751840 HAS SOUPS 22470186 WITH SCORE 2.250263425E7
AT ITER 122 NEW BEST:: SOT 49121706 SOS 32449506 HAS SOPS 25310707 HAS SOUS 22754718 HAS SOUPS 22469696 WITH SCORE 2.2502145506E7
AT ITER 126 NEW BEST:: SOT 49121706 SOS 32449506 HAS SOPS 25311288 HAS SOUS 22753504 HAS SOUPS 22468482 WITH SCORE 2.2500931506E7
AT ITER 132 NEW BEST:: SOT 49121915 SOS 32449923 HAS SOPS 25309469 HAS SOUS 22755084 HAS SOUPS 22466664 WITH SCORE 2.2499113923E7
AT ITER 135 NEW BEST:: SOT 49121915 SOS 32449923 HAS SOPS 25308980 HAS SOUS 22752870 HAS SOUPS 22464084 WITH SCORE 2.2496533923E7
AT ITER 142 NEW BEST:: SOT 49121915 SOS 32449923 HAS SOPS 25307588 HAS SOUS 22750473 HAS SOUPS 22460641 WITH SCORE 2.2493090923E7
AT ITER 145 NEW BEST:: SOT 49121232 SOS 32448557 HAS SOPS 25306222 HAS SOUS 22749107 HAS SOUPS 22459275 WITH SCORE 2.2491723557E7
AT ITER 149 NEW BEST:: SOT 49121790 SOS 32449672 HAS SOPS 25304704 HAS SOUS 22750183 HAS SOUPS 22457758 WITH SCORE 2.2490207672E7
AT ITER 152 NEW BEST:: SOT 49122247 SOS 32450129 HAS SOPS 25304596 HAS SOUS 22750640 HAS SOUPS 22457650 WITH SCORE 2.2490100129E7
AT ITER 154 NEW BEST:: SOT 49122247 SOS 32450129 HAS SOPS 25300733 HAS SOUS 22747323 HAS SOUPS 22453488 WITH SCORE 2.2485938129E7
AT ITER 155 NEW BEST:: SOT 49122712 SOS 32451688 HAS SOPS 25300328 HAS SOUS 22747687 HAS SOUPS 22453083 WITH SCORE 2.2485534688E7
AT ITER 161 NEW BEST:: SOT 49122712 SOS 32451688 HAS SOPS 25302288 HAS SOUS 22747686 HAS SOUPS 22453082 WITH SCORE 2.2485533688E7
AT ITER 163 NEW BEST:: SOT 49123011 SOS 32452285 HAS SOPS 25300509 HAS SOUS 22748468 HAS SOUPS 22451304 WITH SCORE 2.2483756285E7
AT ITER 169 NEW BEST:: SOT 49123011 SOS 32451389 HAS SOPS 25299613 HAS SOUS 22747572 HAS SOUPS 22450408 WITH SCORE 2.2482859389E7
AT ITER 176 NEW BEST:: SOT 49123011 SOS 32451389 HAS SOPS 25296931 HAS SOUS 22746463 HAS SOUPS 22447726 WITH SCORE 2.2480177389E7
AT ITER 177 NEW BEST:: SOT 49123830 SOS 32453026 HAS SOPS 25295654 HAS SOUS 22747441 HAS SOUPS 22446450 WITH SCORE 2.2478903026E7
AT ITER 178 NEW BEST:: SOT 49124185 SOS 32453735 HAS SOPS 25293959 HAS SOUS 22745747 HAS SOUPS 22444756 WITH SCORE 2.2477209735E7
AT ITER 182 NEW BEST:: SOT 49124185 SOS 32453735 HAS SOPS 25293618 HAS SOUS 22745406 HAS SOUPS 22444415 WITH SCORE 2.2476868735E7
AT ITER 187 NEW BEST:: SOT 49124185 SOS 32453735 HAS SOPS 25292990 HAS SOUS 22742700 HAS SOUPS 22441709 WITH SCORE 2.2474162735E7
AT ITER 189 NEW BEST:: SOT 49124185 SOS 32453735 HAS SOPS 25291167 HAS SOUS 22740224 HAS SOUPS 22438065 WITH SCORE 2.2470518735E7
AT ITER 191 NEW BEST:: SOT 49124380 SOS 32454124 HAS SOPS 25289290 HAS SOUS 22738348 HAS SOUPS 22436189 WITH SCORE 2.2468643124E7
AT ITER 192 NEW BEST:: SOT 49124380 SOS 32454124 HAS SOPS 25290097 HAS SOUS 22737500 HAS SOUPS 22435172 WITH SCORE 2.2467626124E7
AT ITER 204 NEW BEST:: SOT 49125227 SOS 32455606 HAS SOPS 25289286 HAS SOUS 22739820 HAS SOUPS 22434362 WITH SCORE 2.2466817606E7
AT ITER 208 NEW BEST:: SOT 49125240 SOS 32455868 HAS SOPS 25287255 HAS SOUS 22740905 HAS SOUPS 22432332 WITH SCORE 2.2464787868E7
AT ITER 218 NEW BEST:: SOT 49125240 SOS 32455868 HAS SOPS 25286286 HAS SOUS 22738643 HAS SOUPS 22429306 WITH SCORE 2.2461761868E7
AT ITER 219 NEW BEST:: SOT 49125240 SOS 32455868 HAS SOPS 25286285 HAS SOUS 22738355 HAS SOUPS 22428843 WITH SCORE 2.2461298868E7
AT ITER 222 NEW BEST:: SOT 49125752 SOS 32456891 HAS SOPS 25284741 HAS SOUS 22739725 HAS SOUPS 22427300 WITH SCORE 2.2459756891E7
AT ITER 224 NEW BEST:: SOT 49125752 SOS 32456891 HAS SOPS 25283192 HAS SOUS 22738654 HAS SOUPS 22425751 WITH SCORE 2.2458207891E7
AT ITER 227 NEW BEST:: SOT 49125752 SOS 32458897 HAS SOPS 25283103 HAS SOUS 22736473 HAS SOUPS 22423570 WITH SCORE 2.2456028897E7
AT ITER 229 NEW BEST:: SOT 49124606 SOS 32457751 HAS SOPS 25281400 HAS SOUS 22736369 HAS SOUPS 22421867 WITH SCORE 2.2454324751E7
AT ITER 232 NEW BEST:: SOT 49124606 SOS 32457751 HAS SOPS 25280003 HAS SOUS 22733369 HAS SOUPS 22418425 WITH SCORE 2.2450882751E7
AT ITER 237 NEW BEST:: SOT 49124606 SOS 32456640 HAS SOPS 25278960 HAS SOUS 22732326 HAS SOUPS 22417382 WITH SCORE 2.244983864E7
AT ITER 244 NEW BEST:: SOT 49124606 SOS 32456640 HAS SOPS 25278818 HAS SOUS 22732184 HAS SOUPS 22417240 WITH SCORE 2.244969664E7
AT ITER 250 NEW BEST:: SOT 49124066 SOS 32456100 HAS SOPS 25277197 HAS SOUS 22730564 HAS SOUPS 22415080 WITH SCORE 2.24475361E7
AT ITER 251 NEW BEST:: SOT 49124066 SOS 32456100 HAS SOPS 25277470 HAS SOUS 22730272 HAS SOUPS 22414788 WITH SCORE 2.24472441E7
AT ITER 252 NEW BEST:: SOT 49124066 SOS 32456100 HAS SOPS 25275896 HAS SOUS 22727014 HAS SOUPS 22411135 WITH SCORE 2.24435911E7
AT ITER 257 NEW BEST:: SOT 49124066 SOS 32456100 HAS SOPS 25274267 HAS SOUS 22725314 HAS SOUPS 22407879 WITH SCORE 2.24403351E7
AT ITER 259 NEW BEST:: SOT 49124066 SOS 32454821 HAS SOPS 25272988 HAS SOUS 22724035 HAS SOUPS 22406600 WITH SCORE 2.2439054821E7
AT ITER 262 NEW BEST:: SOT 49124066 SOS 32454821 HAS SOPS 25272987 HAS SOUS 22723477 HAS SOUPS 22406042 WITH SCORE 2.2438496821E7
AT ITER 264 NEW BEST:: SOT 49124066 SOS 32534574 HAS SOPS 25272175 HAS SOUS 22723477 HAS SOUPS 22405230 WITH SCORE 2.2437764574E7
AT ITER 268 NEW BEST:: SOT 49124256 SOS 32534953 HAS SOPS 25271270 HAS SOUS 22725127 HAS SOUPS 22404325 WITH SCORE 2.2436859953E7
AT ITER 272 NEW BEST:: SOT 49124097 SOS 32534794 HAS SOPS 25271111 HAS SOUS 22724968 HAS SOUPS 22404166 WITH SCORE 2.2436700794E7
AT ITER 274 NEW BEST:: SOT 49124097 SOS 32534794 HAS SOPS 25269590 HAS SOUS 22721980 HAS SOUPS 22400600 WITH SCORE 2.2433134794E7
AT ITER 275 NEW BEST:: SOT 49124097 SOS 32534794 HAS SOPS 25267762 HAS SOUS 22718326 HAS SOUPS 22396946 WITH SCORE 2.2429480794E7
AT ITER 278 NEW BEST:: SOT 49122463 SOS 32533160 HAS SOPS 25265045 HAS SOUS 22715799 HAS SOUPS 22394229 WITH SCORE 2.242676216E7
AT ITER 279 NEW BEST:: SOT 49121345 SOS 32532042 HAS SOPS 25263927 HAS SOUS 22714169 HAS SOUPS 22392599 WITH SCORE 2.2425131042E7
AT ITER 280 NEW BEST:: SOT 49121345 SOS 32534768 HAS SOPS 25263012 HAS SOUS 22713254 HAS SOUPS 22391684 WITH SCORE 2.2424218768E7
AT ITER 286 NEW BEST:: SOT 49121345 SOS 32534768 HAS SOPS 25263165 HAS SOUS 22712292 HAS SOUPS 22390573 WITH SCORE 2.2423107768E7
AT ITER 291 NEW BEST:: SOT 49121345 SOS 32534768 HAS SOPS 25262584 HAS SOUS 22711137 HAS SOUPS 22389418 WITH SCORE 2.2421952768E7
AT ITER 294 NEW BEST:: SOT 49121345 SOS 32534768 HAS SOPS 25261477 HAS SOUS 22708845 HAS SOUPS 22386250 WITH SCORE 2.2418784768E7
AT ITER 309 NEW BEST:: SOT 49121345 SOS 32534768 HAS SOPS 25258178 HAS SOUS 22705546 HAS SOUPS 22382951 WITH SCORE 2.2415485768E7
AT ITER 315 NEW BEST:: SOT 49121826 SOS 32535729 HAS SOPS 25256565 HAS SOUS 22703934 HAS SOUPS 22381339 WITH SCORE 2.2413874729E7
AT ITER 318 NEW BEST:: SOT 49122323 SOS 32536722 HAS SOPS 25254974 HAS SOUS 22702344 HAS SOUPS 22379749 WITH SCORE 2.2412285722E7
AT ITER 324 NEW BEST:: SOT 49120604 SOS 32533836 HAS SOPS 25252088 HAS SOUS 22699458 HAS SOUPS 22376863 WITH SCORE 2.2409396836E7
AT ITER 326 NEW BEST:: SOT 49121785 SOS 32535928 HAS SOPS 25251693 HAS SOUS 22699064 HAS SOUPS 22376469 WITH SCORE 2.2409004928E7
AT ITER 329 NEW BEST:: SOT 49121785 SOS 32535928 HAS SOPS 25247681 HAS SOUS 22696158 HAS SOUPS 22372457 WITH SCORE 2.2404992928E7
AT ITER 340 NEW BEST:: SOT 49121785 SOS 32535928 HAS SOPS 25246046 HAS SOUS 22692762 HAS SOUPS 22368729 WITH SCORE 2.2401264928E7
AT ITER 342 NEW BEST:: SOT 49121785 SOS 32535928 HAS SOPS 25244498 HAS SOUS 22689959 HAS SOUPS 22365635 WITH SCORE 2.2398170928E7
AT ITER 346 NEW BEST:: SOT 49121308 SOS 32535451 HAS SOPS 25243543 HAS SOUS 22689457 HAS SOUPS 22364680 WITH SCORE 2.2397215451E7
AT ITER 352 NEW BEST:: SOT 49121308 SOS 32535451 HAS SOPS 25242529 HAS SOUS 22688443 HAS SOUPS 22363666 WITH SCORE 2.2396201451E7
AT ITER 359 NEW BEST:: SOT 49121308 SOS 32535451 HAS SOPS 25240949 HAS SOUS 22685388 HAS SOUPS 22360067 WITH SCORE 2.2392602451E7
AT ITER 360 NEW BEST:: SOT 49121387 SOS 32535608 HAS SOPS 25238940 HAS SOUS 22683380 HAS SOUPS 22358059 WITH SCORE 2.2390594608E7
AT ITER 361 NEW BEST:: SOT 49122089 SOS 32537011 HAS SOPS 25237580 HAS SOUS 22682285 HAS SOUPS 22356700 WITH SCORE 2.2389237011E7
AT ITER 363 NEW BEST:: SOT 49121729 SOS 32536656 HAS SOPS 25236898 HAS SOUS 22681603 HAS SOUPS 22356018 WITH SCORE 2.2388554656E7
AT ITER 364 NEW BEST:: SOT 49121194 SOS 32535586 HAS SOPS 25235828 HAS SOUS 22680533 HAS SOUPS 22354948 WITH SCORE 2.2387483586E7
AT ITER 366 NEW BEST:: SOT 49125391 SOS 32541265 HAS SOPS 25233360 HAS SOUS 22684346 HAS SOUPS 22352481 WITH SCORE 2.2385022265E7
AT ITER 367 NEW BEST:: SOT 49126233 SOS 32542948 HAS SOPS 25232457 HAS SOUS 22685524 HAS SOUPS 22351579 WITH SCORE 2.2384121948E7
AT ITER 368 NEW BEST:: SOT 49124961 SOS 32494612 HAS SOPS 25185393 HAS SOUS 22682980 HAS SOUPS 22349035 WITH SCORE 2.2381529612E7
AT ITER 371 NEW BEST:: SOT 49123782 SOS 32493433 HAS SOPS 25184214 HAS SOUS 22681801 HAS SOUPS 22347856 WITH SCORE 2.2380349433E7
AT ITER 372 NEW BEST:: SOT 49123782 SOS 32493433 HAS SOPS 25184213 HAS SOUS 22680153 HAS SOUPS 22346208 WITH SCORE 2.2378701433E7
AT ITER 376 NEW BEST:: SOT 49125164 SOS 32496196 HAS SOPS 25184052 HAS SOUS 22682840 HAS SOUPS 22346048 WITH SCORE 2.2378544196E7
AT ITER 385 NEW BEST:: SOT 49125495 SOS 32496857 HAS SOPS 25182353 HAS SOUS 22681142 HAS SOUPS 22344350 WITH SCORE 2.2376846857E7
AT ITER 387 NEW BEST:: SOT 49125495 SOS 32496857 HAS SOPS 25183202 HAS SOUS 22680732 HAS SOUPS 22343689 WITH SCORE 2.2376185857E7
AT ITER 391 NEW BEST:: SOT 49122955 SOS 32492517 HAS SOPS 25181126 HAS SOUS 22678620 HAS SOUPS 22341614 WITH SCORE 2.2374106517E7
AT ITER 393 NEW BEST:: SOT 49122955 SOS 32492517 HAS SOPS 25180292 HAS SOUS 22676882 HAS SOUPS 22338734 WITH SCORE 2.2371226517E7
AT ITER 400 NEW BEST:: SOT 49122476 SOS 32494984 HAS SOPS 25179111 HAS SOUS 22675701 HAS SOUPS 22337553 WITH SCORE 2.2370047984E7
AT ITER 406 NEW BEST:: SOT 49122476 SOS 32494984 HAS SOPS 25179601 HAS SOUS 22675206 HAS SOUPS 22337058 WITH SCORE 2.2369552984E7
AT ITER 411 NEW BEST:: SOT 49122476 SOS 32494984 HAS SOPS 25178433 HAS SOUS 22674206 HAS SOUPS 22335890 WITH SCORE 2.2368384984E7
AT ITER 419 NEW BEST:: SOT 49122476 SOS 32494984 HAS SOPS 25177006 HAS SOUS 22671620 HAS SOUPS 22333038 WITH SCORE 2.2365532984E7
AT ITER 421 NEW BEST:: SOT 49123439 SOS 32496499 HAS SOPS 25176679 HAS SOUS 22674526 HAS SOUPS 22332712 WITH SCORE 2.2365208499E7
AT ITER 426 NEW BEST:: SOT 49123439 SOS 32496499 HAS SOPS 25176329 HAS SOUS 22674526 HAS SOUPS 22332362 WITH SCORE 2.2364858499E7
AT ITER 430 NEW BEST:: SOT 49123439 SOS 32496499 HAS SOPS 25174438 HAS SOUS 22670910 HAS SOUPS 22328380 WITH SCORE 2.2360876499E7
AT ITER 431 NEW BEST:: SOT 49123439 SOS 32496499 HAS SOPS 25171906 HAS SOUS 22668041 HAS SOUPS 22325511 WITH SCORE 2.2358007499E7
AT ITER 434 NEW BEST:: SOT 49124012 SOS 32497603 HAS SOPS 25170519 HAS SOUS 22666655 HAS SOUPS 22324125 WITH SCORE 2.2356622603E7
AT ITER 435 NEW BEST:: SOT 49124012 SOS 32497603 HAS SOPS 25168800 HAS SOUS 22662905 HAS SOUPS 22320375 WITH SCORE 2.2352872603E7
AT ITER 440 NEW BEST:: SOT 49124012 SOS 32497603 HAS SOPS 25168425 HAS SOUS 22660764 HAS SOUPS 22318234 WITH SCORE 2.2350731603E7
AT ITER 454 NEW BEST:: SOT 49124012 SOS 32497603 HAS SOPS 25167263 HAS SOUS 22657535 HAS SOUPS 22315005 WITH SCORE 2.2347502603E7
AT ITER 458 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25166830 HAS SOUS 22657102 HAS SOUPS 22314572 WITH SCORE 2.234706917E7
AT ITER 469 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25165097 HAS SOUS 22654254 HAS SOUPS 22311108 WITH SCORE 2.234360517E7
AT ITER 471 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25163512 HAS SOUS 22652094 HAS SOUPS 22307940 WITH SCORE 2.234043717E7
AT ITER 474 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25162493 HAS SOUS 22650713 HAS SOUPS 22305970 WITH SCORE 2.233846717E7
AT ITER 478 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25161601 HAS SOUS 22649169 HAS SOUPS 22304188 WITH SCORE 2.233668517E7
AT ITER 479 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25160254 HAS SOUS 22647822 HAS SOUPS 22302841 WITH SCORE 2.233533817E7
AT ITER 480 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25158467 HAS SOUS 22644616 HAS SOUPS 22299335 WITH SCORE 2.233183217E7
AT ITER 485 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25156975 HAS SOUS 22643125 HAS SOUPS 22297844 WITH SCORE 2.233034117E7
AT ITER 493 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25155403 HAS SOUS 22639983 HAS SOUPS 22294702 WITH SCORE 2.232719917E7
AT ITER 496 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25154320 HAS SOUS 22638793 HAS SOUPS 22292538 WITH SCORE 2.232503517E7
AT ITER 520 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25153085 HAS SOUS 22637451 HAS SOUPS 22290070 WITH SCORE 2.232256717E7
AT ITER 524 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25151113 HAS SOUS 22633934 HAS SOUPS 22286017 WITH SCORE 2.231851417E7
AT ITER 531 NEW BEST:: SOT 49123579 SOS 32497170 HAS SOPS 25149113 HAS SOUS 22632758 HAS SOUPS 22284525 WITH SCORE 2.231702217E7
AT ITER 534 NEW BEST:: SOT 49124100 SOS 32498407 HAS SOPS 25149044 HAS SOUS 22632843 HAS SOUPS 22284456 WITH SCORE 2.2316954407E7
AT ITER 544 NEW BEST:: SOT 49124116 SOS 32498649 HAS SOPS 25147040 HAS SOUS 22631251 HAS SOUPS 22282453 WITH SCORE 2.2314951649E7
AT ITER 550 NEW BEST:: SOT 49124116 SOS 32498649 HAS SOPS 25144992 HAS SOUS 22628024 HAS SOUPS 22278425 WITH SCORE 2.2310923649E7
AT ITER 552 NEW BEST:: SOT 49123900 SOS 32441324 HAS SOPS 25080413 HAS SOUS 22621540 HAS SOUPS 22271941 WITH SCORE 2.2304382324E7
AT ITER 555 NEW BEST:: SOT 49123900 SOS 32441478 HAS SOPS 25078359 HAS SOUS 22622441 HAS SOUPS 22269888 WITH SCORE 2.2302329478E7
AT ITER 559 NEW BEST:: SOT 49123900 SOS 32441478 HAS SOPS 25077300 HAS SOUS 22619295 HAS SOUPS 22266742 WITH SCORE 2.2299183478E7
AT ITER 565 NEW BEST:: SOT 49122319 SOS 32439897 HAS SOPS 25072556 HAS SOUS 22615597 HAS SOUPS 22260418 WITH SCORE 2.2292857897E7
AT ITER 568 NEW BEST:: SOT 49122319 SOS 32439897 HAS SOPS 25072202 HAS SOUS 22615321 HAS SOUPS 22260064 WITH SCORE 2.2292503897E7
AT ITER 569 NEW BEST:: SOT 49122331 SOS 32440105 HAS SOPS 25070140 HAS SOUS 22613260 HAS SOUPS 22258003 WITH SCORE 2.2290443105E7
AT ITER 570 NEW BEST:: SOT 49121272 SOS 32439046 HAS SOPS 25069081 HAS SOUS 22613158 HAS SOUPS 22257901 WITH SCORE 2.2290340046E7
AT ITER 571 NEW BEST:: SOT 49121272 SOS 32439046 HAS SOPS 25068656 HAS SOUS 22612596 HAS SOUPS 22257559 WITH SCORE 2.2289998046E7
AT ITER 577 NEW BEST:: SOT 49121272 SOS 32439046 HAS SOPS 25067745 HAS SOUS 22611809 HAS SOUPS 22256649 WITH SCORE 2.2289088046E7
AT ITER 584 NEW BEST:: SOT 49122453 SOS 32441407 HAS SOPS 25066830 HAS SOUS 22613147 HAS SOUPS 22255735 WITH SCORE 2.2288176407E7
AT ITER 588 NEW BEST:: SOT 49122469 SOS 32441726 HAS SOPS 25064804 HAS SOUS 22611122 HAS SOUPS 22253710 WITH SCORE 2.2286151726E7
AT ITER 593 NEW BEST:: SOT 49122469 SOS 32441726 HAS SOPS 25063600 HAS SOUS 22609918 HAS SOUPS 22252506 WITH SCORE 2.2284947726E7
AT ITER 595 NEW BEST:: SOT 49122469 SOS 32441726 HAS SOPS 25063283 HAS SOUS 22607538 HAS SOUPS 22250126 WITH SCORE 2.2282567726E7
AT ITER 597 NEW BEST:: SOT 49122469 SOS 32441726 HAS SOPS 25062564 HAS SOUS 22604742 HAS SOUPS 22247330 WITH SCORE 2.2279771726E7
AT ITER 607 NEW BEST:: SOT 49122307 SOS 32441564 HAS SOPS 25062402 HAS SOUS 22604580 HAS SOUPS 22247168 WITH SCORE 2.2279609564E7
AT ITER 610 NEW BEST:: SOT 49122599 SOS 32442147 HAS SOPS 25060646 HAS SOUS 22603636 HAS SOUPS 22245413 WITH SCORE 2.2277855147E7
AT ITER 614 NEW BEST:: SOT 49122599 SOS 32442147 HAS SOPS 25058998 HAS SOUS 22600342 HAS SOUPS 22242119 WITH SCORE 2.2274561147E7
AT ITER 615 NEW BEST:: SOT 49122599 SOS 32442147 HAS SOPS 25059427 HAS SOUS 22599908 HAS SOUPS 22241685 WITH SCORE 2.2274127147E7
AT ITER 625 NEW BEST:: SOT 49122599 SOS 32442147 HAS SOPS 25059151 HAS SOUS 22599880 HAS SOUPS 22241409 WITH SCORE 2.2273851147E7
AT ITER 627 NEW BEST:: SOT 49122599 SOS 32442147 HAS SOPS 25057703 HAS SOUS 22596367 HAS SOUPS 22237896 WITH SCORE 2.2270338147E7
AT ITER 632 NEW BEST:: SOT 49122599 SOS 32442147 HAS SOPS 25057889 HAS SOUS 22596362 HAS SOUPS 22237891 WITH SCORE 2.2270333147E7
AT ITER 633 NEW BEST:: SOT 49122599 SOS 32442147 HAS SOPS 25058069 HAS SOUS 22595101 HAS SOUPS 22236630 WITH SCORE 2.2269072147E7
AT ITER 636 NEW BEST:: SOT 49122665 SOS 32476813 HAS SOPS 25057406 HAS SOUS 22595451 HAS SOUPS 22235967 WITH SCORE 2.2268443813E7
AT ITER 637 NEW BEST:: SOT 49121620 SOS 32475768 HAS SOPS 25054271 HAS SOUS 22592957 HAS SOUPS 22231787 WITH SCORE 2.2264262768E7
AT ITER 647 NEW BEST:: SOT 48906048 SOS 34851960 HAS SOPS 24837069 HAS SOUS 22379276 HAS SOUPS 22014585 WITH SCORE 2.204943696E7
AT ITER 654 NEW BEST:: SOT 48906048 SOS 34851960 HAS SOPS 24837065 HAS SOUS 22379419 HAS SOUPS 22014581 WITH SCORE 2.204943296E7
AT ITER 657 NEW BEST:: SOT 48906550 SOS 34852963 HAS SOPS 24835503 HAS SOUS 22378088 HAS SOUPS 22013020 WITH SCORE 2.2047872963E7
AT ITER 658 NEW BEST:: SOT 48906746 SOS 34853354 HAS SOPS 24833647 HAS SOUS 22376391 HAS SOUPS 22011165 WITH SCORE 2.2046018354E7
AT ITER 659 NEW BEST:: SOT 48906764 SOS 34853390 HAS SOPS 24833327 HAS SOUS 22376072 HAS SOUPS 22010846 WITH SCORE 2.204569939E7
AT ITER 663 NEW BEST:: SOT 48906764 SOS 34853390 HAS SOPS 24832911 HAS SOUS 22375687 HAS SOUPS 22010431 WITH SCORE 2.204528439E7
AT ITER 664 NEW BEST:: SOT 48906764 SOS 34853390 HAS SOPS 24831949 HAS SOUS 22374804 HAS SOUPS 22009548 WITH SCORE 2.204440139E7
AT ITER 672 NEW BEST:: SOT 48906226 SOS 34852852 HAS SOPS 24831411 HAS SOUS 22374266 HAS SOUPS 22009010 WITH SCORE 2.2043862852E7
AT ITER 674 NEW BEST:: SOT 48906226 SOS 34852852 HAS SOPS 24830741 HAS SOUS 22373802 HAS SOUPS 22008340 WITH SCORE 2.2043192852E7
AT ITER 683 NEW BEST:: SOT 48906397 SOS 34853193 HAS SOPS 24828840 HAS SOUS 22371902 HAS SOUPS 22006440 WITH SCORE 2.2041293193E7
AT ITER 685 NEW BEST:: SOT 48906962 SOS 34854165 HAS SOPS 24827661 HAS SOUS 22370724 HAS SOUPS 22005262 WITH SCORE 2.2040116165E7
AT ITER 686 NEW BEST:: SOT 48906962 SOS 34854165 HAS SOPS 24825958 HAS SOUS 22367620 HAS SOUPS 22001542 WITH SCORE 2.2036396165E7
AT ITER 687 NEW BEST:: SOT 48906962 SOS 34854165 HAS SOPS 24827066 HAS SOUS 22366154 HAS SOUPS 22000076 WITH SCORE 2.2034930165E7
AT ITER 688 NEW BEST:: SOT 48906962 SOS 34854165 HAS SOPS 24826570 HAS SOUS 22365660 HAS SOUPS 21999582 WITH SCORE 2.2034436165E7
AT ITER 700 NEW BEST:: SOT 48906962 SOS 34854165 HAS SOPS 24826129 HAS SOUS 22365219 HAS SOUPS 21999141 WITH SCORE 2.2033995165E7
AT ITER 702 NEW BEST:: SOT 48906962 SOS 34854251 HAS SOPS 24824113 HAS SOUS 22364254 HAS SOUPS 21997126 WITH SCORE 2.2031980251E7
AT ITER 704 NEW BEST:: SOT 48907035 SOS 34854396 HAS SOPS 24822130 HAS SOUS 22362272 HAS SOUPS 21995144 WITH SCORE 2.2029998396E7
AT ITER 705 NEW BEST:: SOT 48907035 SOS 34854396 HAS SOPS 24821999 HAS SOUS 22362141 HAS SOUPS 21995013 WITH SCORE 2.2029867396E7
AT ITER 709 NEW BEST:: SOT 48908082 SOS 34856192 HAS SOPS 24821532 HAS SOUS 22361675 HAS SOUPS 21994547 WITH SCORE 2.2029403192E7
AT ITER 711 NEW BEST:: SOT 48908473 SOS 34856973 HAS SOPS 24819843 HAS SOUS 22359987 HAS SOUPS 21992859 WITH SCORE 2.2027715973E7
AT ITER 715 NEW BEST:: SOT 48907357 SOS 34855857 HAS SOPS 24819529 HAS SOUS 22359673 HAS SOUPS 21992545 WITH SCORE 2.2027400857E7
AT ITER 725 NEW BEST:: SOT 48907357 SOS 34855857 HAS SOPS 24817641 HAS SOUS 22358464 HAS SOUPS 21990213 WITH SCORE 2.2025068857E7
AT ITER 726 NEW BEST:: SOT 48907347 SOS 34855477 HAS SOPS 24817271 HAS SOUS 22358444 HAS SOUPS 21990193 WITH SCORE 2.2025048477E7
AT ITER 733 NEW BEST:: SOT 48907347 SOS 34855477 HAS SOPS 24819582 HAS SOUS 22358443 HAS SOUPS 21990192 WITH SCORE 2.2025047477E7
AT ITER 735 NEW BEST:: SOT 48907347 SOS 34855477 HAS SOPS 24817601 HAS SOUS 22354553 HAS SOUPS 21986191 WITH SCORE 2.2021046477E7
AT ITER 736 NEW BEST:: SOT 48907347 SOS 34855477 HAS SOPS 24817684 HAS SOUS 22352286 HAS SOUPS 21984190 WITH SCORE 2.2019045477E7
AT ITER 739 NEW BEST:: SOT 48908524 SOS 34857464 HAS SOPS 24817191 HAS SOUS 22351794 HAS SOUPS 21983698 WITH SCORE 2.2018555464E7
AT ITER 746 NEW BEST:: SOT 48908524 SOS 34857464 HAS SOPS 24815841 HAS SOUS 22348393 HAS SOUPS 21980297 WITH SCORE 2.2015154464E7
AT ITER 747 NEW BEST:: SOT 48909259 SOS 34858606 HAS SOPS 24815142 HAS SOUS 22347695 HAS SOUPS 21979599 WITH SCORE 2.2014457606E7
AT ITER 748 NEW BEST:: SOT 48909259 SOS 34858606 HAS SOPS 24814102 HAS SOUS 22345793 HAS SOUPS 21977521 WITH SCORE 2.2012379606E7
AT ITER 750 NEW BEST:: SOT 48909259 SOS 34858606 HAS SOPS 24810510 HAS SOUS 22343073 HAS SOUPS 21974801 WITH SCORE 2.2009659606E7
AT ITER 751 NEW BEST:: SOT 48909259 SOS 34858606 HAS SOPS 24810506 HAS SOUS 22343142 HAS SOUPS 21974797 WITH SCORE 2.2009655606E7
AT ITER 754 NEW BEST:: SOT 48909259 SOS 34858606 HAS SOPS 24808467 HAS SOUS 22339296 HAS SOUPS 21970951 WITH SCORE 2.2005809606E7
AT ITER 755 NEW BEST:: SOT 48910141 SOS 34860369 HAS SOPS 24807269 HAS SOUS 22338099 HAS SOUPS 21969754 WITH SCORE 2.2004614369E7
AT ITER 758 NEW BEST:: SOT 48910141 SOS 34860369 HAS SOPS 24805757 HAS SOUS 22335735 HAS SOUPS 21966732 WITH SCORE 2.2001592369E7
AT ITER 759 NEW BEST:: SOT 48910141 SOS 34860369 HAS SOPS 24806131 HAS SOUS 22334374 HAS SOUPS 21965371 WITH SCORE 2.2000231369E7
AT ITER 760 NEW BEST:: SOT 48910141 SOS 34860369 HAS SOPS 24808291 HAS SOUS 22334373 HAS SOUPS 21965370 WITH SCORE 2.2000230369E7
AT ITER 768 NEW BEST:: SOT 48910141 SOS 34860369 HAS SOPS 24807259 HAS SOUS 22331258 HAS SOUPS 21962255 WITH SCORE 2.1997115369E7
AT ITER 769 NEW BEST:: SOT 48910141 SOS 34860369 HAS SOPS 24807255 HAS SOUS 22331334 HAS SOUPS 21962251 WITH SCORE 2.1997111369E7
AT ITER 783 NEW BEST:: SOT 48911226 SOS 34862538 HAS SOPS 24806252 HAS SOUS 22330332 HAS SOUPS 21961249 WITH SCORE 2.1996111538E7
AT ITER 787 NEW BEST:: SOT 48910655 SOS 34861967 HAS SOPS 24805109 HAS SOUS 22329189 HAS SOUPS 21960106 WITH SCORE 2.1994967967E7
AT ITER 790 NEW BEST:: SOT 48910655 SOS 34861967 HAS SOPS 24803903 HAS SOUS 22327940 HAS SOUPS 21958303 WITH SCORE 2.1993164967E7
AT ITER 795 NEW BEST:: SOT 48910655 SOS 34861967 HAS SOPS 24804557 HAS SOUS 22326889 HAS SOUPS 21957252 WITH SCORE 2.1992113967E7
AT ITER 799 NEW BEST:: SOT 48910655 SOS 34861967 HAS SOPS 24802920 HAS SOUS 22323701 HAS SOUPS 21953980 WITH SCORE 2.1988841967E7
AT ITER 800 NEW BEST:: SOT 48910655 SOS 34861967 HAS SOPS 24800979 HAS SOUS 22319683 HAS SOUPS 21949962 WITH SCORE 2.1984823967E7
AT ITER 801 NEW BEST:: SOT 48910655 SOS 34861967 HAS SOPS 24800978 HAS SOUS 22318423 HAS SOUPS 21948046 WITH SCORE 2.1982907967E7
AT ITER 803 NEW BEST:: SOT 48912005 SOS 34864666 HAS SOPS 24795739 HAS SOUS 22320656 HAS SOUPS 21942808 WITH SCORE 2.1977672666E7
AT ITER 804 NEW BEST:: SOT 48912022 SOS 34864700 HAS SOPS 24794848 HAS SOUS 22319765 HAS SOUPS 21941917 WITH SCORE 2.19767817E7
AT ITER 807 NEW BEST:: SOT 48912022 SOS 34864700 HAS SOPS 24793985 HAS SOUS 22316821 HAS SOUPS 21938973 WITH SCORE 2.19738377E7
AT ITER 810 NEW BEST:: SOT 48912393 SOS 34865071 HAS SOPS 24793751 HAS SOUS 22317536 HAS SOUPS 21938739 WITH SCORE 2.1973604071E7
AT ITER 814 NEW BEST:: SOT 48913628 SOS 34867506 HAS SOPS 24792960 HAS SOUS 22319128 HAS SOUPS 21937949 WITH SCORE 2.1972816506E7
AT ITER 816 NEW BEST:: SOT 48913628 SOS 34867506 HAS SOPS 24791924 HAS SOUS 22318093 HAS SOUPS 21936914 WITH SCORE 2.1971781506E7
AT ITER 819 NEW BEST:: SOT 48913628 SOS 34867506 HAS SOPS 24789810 HAS SOUS 22315413 HAS SOUPS 21933820 WITH SCORE 2.1968687506E7
AT ITER 826 NEW BEST:: SOT 48913823 SOS 34870289 HAS SOPS 24788809 HAS SOUS 22315500 HAS SOUPS 21932819 WITH SCORE 2.1967689289E7
AT ITER 834 NEW BEST:: SOT 48913823 SOS 34870289 HAS SOPS 24788808 HAS SOUS 22315037 HAS SOUPS 21932356 WITH SCORE 2.1967226289E7
AT ITER 836 NEW BEST:: SOT 48913823 SOS 34870733 HAS SOPS 24788368 HAS SOUS 22314598 HAS SOUPS 21931917 WITH SCORE 2.1966787733E7
AT ITER 842 NEW BEST:: SOT 48913823 SOS 34870733 HAS SOPS 24788334 HAS SOUS 22311250 HAS SOUPS 21930243 WITH SCORE 2.1965113733E7
AT ITER 845 NEW BEST:: SOT 48913823 SOS 34870733 HAS SOPS 24787777 HAS SOUS 22310518 HAS SOUPS 21929130 WITH SCORE 2.1964000733E7
AT ITER 853 NEW BEST:: SOT 48913823 SOS 34870733 HAS SOPS 24787773 HAS SOUS 22310514 HAS SOUPS 21929126 WITH SCORE 2.1963996733E7
AT ITER 855 NEW BEST:: SOT 48913823 SOS 34870733 HAS SOPS 24786682 HAS SOUS 22308334 HAS SOUPS 21926946 WITH SCORE 2.1961816733E7
AT ITER 858 NEW BEST:: SOT 48913782 SOS 34870692 HAS SOPS 24786600 HAS SOUS 22308252 HAS SOUPS 21926864 WITH SCORE 2.1961734692E7
AT ITER 859 NEW BEST:: SOT 48913782 SOS 34870692 HAS SOPS 24786116 HAS SOUS 22306221 HAS SOUPS 21924833 WITH SCORE 2.1959703692E7
AT ITER 860 NEW BEST:: SOT 48913782 SOS 34870692 HAS SOPS 24787095 HAS SOUS 22305114 HAS SOUPS 21923726 WITH SCORE 2.1958596692E7
AT ITER 861 NEW BEST:: SOT 48914369 SOS 34871865 HAS SOPS 24785624 HAS SOUS 22303727 HAS SOUPS 21922256 WITH SCORE 2.1957127865E7
AT ITER 865 NEW BEST:: SOT 48915149 SOS 34873424 HAS SOPS 24784348 HAS SOUS 22302452 HAS SOUPS 21920981 WITH SCORE 2.1955854424E7
AT ITER 873 NEW BEST:: SOT 48915149 SOS 34873424 HAS SOPS 24783997 HAS SOUS 22302101 HAS SOUPS 21920630 WITH SCORE 2.1955503424E7
AT ITER 881 NEW BEST:: SOT 48915149 SOS 34873424 HAS SOPS 24782999 HAS SOUS 22301885 HAS SOUPS 21919632 WITH SCORE 2.1954505424E7
AT ITER 889 NEW BEST:: SOT 48915149 SOS 34873424 HAS SOPS 24781207 HAS SOUS 22298466 HAS SOUPS 21916050 WITH SCORE 2.1950923424E7
AT ITER 893 NEW BEST:: SOT 48913848 SOS 34872123 HAS SOPS 24781206 HAS SOUS 22294660 HAS SOUPS 21914749 WITH SCORE 2.1949621123E7
AT ITER 895 NEW BEST:: SOT 48914010 SOS 34872285 HAS SOPS 24781103 HAS SOUS 22294557 HAS SOUPS 21914646 WITH SCORE 2.1949518285E7
AT ITER 901 NEW BEST:: SOT 48915605 SOS 34873880 HAS SOPS 24782090 HAS SOUS 22293950 HAS SOUPS 21914039 WITH SCORE 2.194891288E7
AT ITER 903 NEW BEST:: SOT 48914703 SOS 34822972 HAS SOPS 24732546 HAS SOUS 22292146 HAS SOUPS 21912235 WITH SCORE 2.1947057972E7
AT ITER 907 NEW BEST:: SOT 48914703 SOS 34822972 HAS SOPS 24728962 HAS SOUS 22289973 HAS SOUPS 21908653 WITH SCORE 2.1943475972E7
AT ITER 915 NEW BEST:: SOT 48913014 SOS 34821283 HAS SOPS 24725601 HAS SOUS 22289101 HAS SOUPS 21906569 WITH SCORE 2.1941390283E7
AT ITER 918 NEW BEST:: SOT 48913014 SOS 34821283 HAS SOPS 24725073 HAS SOUS 22288573 HAS SOUPS 21906041 WITH SCORE 2.1940862283E7
AT ITER 928 NEW BEST:: SOT 48913014 SOS 34821283 HAS SOPS 24724727 HAS SOUS 22286999 HAS SOUPS 21903651 WITH SCORE 2.1938472283E7
AT ITER 929 NEW BEST:: SOT 48913014 SOS 34821283 HAS SOPS 24724503 HAS SOUS 22284690 HAS SOUPS 21901385 WITH SCORE 2.1936206283E7
AT ITER 935 NEW BEST:: SOT 48914169 SOS 34823592 HAS SOPS 24723572 HAS SOUS 22283760 HAS SOUPS 21900455 WITH SCORE 2.1935278592E7
AT ITER 936 NEW BEST:: SOT 48914169 SOS 34823592 HAS SOPS 24722803 HAS SOUS 22282224 HAS SOUPS 21898919 WITH SCORE 2.1933742592E7
AT ITER 940 NEW BEST:: SOT 48914169 SOS 34823592 HAS SOPS 24720736 HAS SOUS 22280159 HAS SOUPS 21896854 WITH SCORE 2.1931677592E7
AT ITER 943 NEW BEST:: SOT 48914169 SOS 34823592 HAS SOPS 24718944 HAS SOUS 22276311 HAS SOUPS 21893006 WITH SCORE 2.1927829592E7
AT ITER 949 NEW BEST:: SOT 48922085 SOS 34774856 HAS SOPS 24619655 HAS SOUS 22233274 HAS SOUPS 21849969 WITH SCORE 2.1884743856E7
AT ITER 952 NEW BEST:: SOT 48922085 SOS 34774856 HAS SOPS 24619192 HAS SOUS 22232681 HAS SOUPS 21849376 WITH SCORE 2.1884150856E7
AT ITER 954 NEW BEST:: SOT 48922161 SOS 34775007 HAS SOPS 24617320 HAS SOUS 22230810 HAS SOUPS 21847505 WITH SCORE 2.1882280007E7
AT ITER 955 NEW BEST:: SOT 48923460 SOS 34777431 HAS SOPS 24616853 HAS SOUS 22230344 HAS SOUPS 21847039 WITH SCORE 2.1881816431E7
AT ITER 967 NEW BEST:: SOT 48924296 SOS 34778267 HAS SOPS 24616789 HAS SOUS 22231128 HAS SOUPS 21846975 WITH SCORE 2.1881753267E7
AT ITER 969 NEW BEST:: SOT 48924296 SOS 34778267 HAS SOPS 24616216 HAS SOUS 22230555 HAS SOUPS 21846402 WITH SCORE 2.1881180267E7
AT ITER 970 NEW BEST:: SOT 48924296 SOS 34778267 HAS SOPS 24617014 HAS SOUS 22229601 HAS SOUPS 21845448 WITH SCORE 2.1880226267E7
AT ITER 971 NEW BEST:: SOT 48925797 SOS 34781038 HAS SOPS 24616839 HAS SOUS 22229427 HAS SOUPS 21845274 WITH SCORE 2.1880055038E7
AT ITER 978 NEW BEST:: SOT 48925797 SOS 34781038 HAS SOPS 24615484 HAS SOUS 22226966 HAS SOUPS 21842813 WITH SCORE 2.1877594038E7
AT ITER 982 NEW BEST:: SOT 48926303 SOS 34725360 HAS SOPS 24539203 HAS SOUS 22205341 HAS SOUPS 21821188 WITH SCORE 2.185591336E7
AT ITER 987 NEW BEST:: SOT 48927070 SOS 34726893 HAS SOPS 24537908 HAS SOUS 22204286 HAS SOUPS 21819894 WITH SCORE 2.1854620893E7
AT ITER 992 NEW BEST:: SOT 48927281 SOS 34727314 HAS SOPS 24536107 HAS SOUS 22202790 HAS SOUPS 21818094 WITH SCORE 2.1852821314E7
AT ITER 999 NEW BEST:: SOT 48928348 SOS 34728904 HAS SOPS 24535713 HAS SOUS 22202397 HAS SOUPS 21817701 WITH SCORE 2.1852429904E7
AT ITER 1006 NEW BEST:: SOT 48943191 SOS 34728350 HAS SOPS 24508078 HAS SOUS 22187607 HAS SOUPS 21802911 WITH SCORE 2.183763935E7
AT ITER 1010 NEW BEST:: SOT 48943191 SOS 34728350 HAS SOPS 24508074 HAS SOUS 22187778 HAS SOUPS 21802907 WITH SCORE 2.183763535E7
AT ITER 1011 NEW BEST:: SOT 48943641 SOS 34728800 HAS SOPS 24507810 HAS SOUS 22187514 HAS SOUPS 21802643 WITH SCORE 2.18373718E7
AT ITER 1013 NEW BEST:: SOT 48943641 SOS 34728800 HAS SOPS 24507809 HAS SOUS 22186767 HAS SOUPS 21801896 WITH SCORE 2.18366248E7
AT ITER 1017 NEW BEST:: SOT 48943717 SOS 34733026 HAS SOPS 24506800 HAS SOUS 22186960 HAS SOUPS 21800887 WITH SCORE 2.1835620026E7
AT ITER 1023 NEW BEST:: SOT 48944171 SOS 34731345 HAS SOPS 24506355 HAS SOUS 22186516 HAS SOUPS 21800443 WITH SCORE 2.1835174345E7
AT ITER 1026 NEW BEST:: SOT 48941543 SOS 34726867 HAS SOPS 24504285 HAS SOUS 22184376 HAS SOUPS 21798374 WITH SCORE 2.1833100867E7
AT ITER 1040 NEW BEST:: SOT 48941577 SOS 34726934 HAS SOPS 24502261 HAS SOUS 22182353 HAS SOUPS 21796351 WITH SCORE 2.1831077934E7
AT ITER 1041 NEW BEST:: SOT 48941102 SOS 34726459 HAS SOPS 24499479 HAS SOUS 22179589 HAS SOUPS 21793525 WITH SCORE 2.1828251459E7
AT ITER 1045 NEW BEST:: SOT 48941102 SOS 34726459 HAS SOPS 24499456 HAS SOUS 22179566 HAS SOUPS 21793479 WITH SCORE 2.1828205459E7
AT ITER 1048 NEW BEST:: SOT 48941102 SOS 34726459 HAS SOPS 24498163 HAS SOUS 22176982 HAS SOUPS 21790895 WITH SCORE 2.1825621459E7
AT ITER 1065 NEW BEST:: SOT 48941102 SOS 34726459 HAS SOPS 24495701 HAS SOUS 22173845 HAS SOUPS 21787641 WITH SCORE 2.1822367459E7
AT ITER 1073 NEW BEST:: SOT 48941102 SOS 34726459 HAS SOPS 24495797 HAS SOUS 22173844 HAS SOUPS 21787640 WITH SCORE 2.1822366459E7
AT ITER 1075 NEW BEST:: SOT 48941102 SOS 34726459 HAS SOPS 24494251 HAS SOUS 22170754 HAS SOUPS 21784550 WITH SCORE 2.1819276459E7
AT ITER 1084 NEW BEST:: SOT 48941102 SOS 34726459 HAS SOPS 24492289 HAS SOUS 22166778 HAS SOUPS 21780569 WITH SCORE 2.1815295459E7
AT ITER 1085 NEW BEST:: SOT 48942307 SOS 34728411 HAS SOPS 24492278 HAS SOUS 22166768 HAS SOUPS 21780559 WITH SCORE 2.1815287411E7
AT ITER 1089 NEW BEST:: SOT 48942322 SOS 34728441 HAS SOPS 24490243 HAS SOUS 22166026 HAS SOUPS 21779817 WITH SCORE 2.1814545441E7
AT ITER 1097 NEW BEST:: SOT 48944274 SOS 34730393 HAS SOPS 24492159 HAS SOUS 22166573 HAS SOUPS 21779782 WITH SCORE 2.1814512393E7
AT ITER 1099 NEW BEST:: SOT 48943775 SOS 34729894 HAS SOPS 24489134 HAS SOUS 22163549 HAS SOUPS 21776758 WITH SCORE 2.1811487894E7
AT ITER 1101 NEW BEST:: SOT 48943775 SOS 34729894 HAS SOPS 24486425 HAS SOUS 22160326 HAS SOUPS 21773196 WITH SCORE 2.1807925894E7
AT ITER 1104 NEW BEST:: SOT 48942650 SOS 34728769 HAS SOPS 24484174 HAS SOUS 22158075 HAS SOUPS 21770945 WITH SCORE 2.1805673769E7
AT ITER 1108 NEW BEST:: SOT 48943542 SOS 34729661 HAS SOPS 24483966 HAS SOUS 22158139 HAS SOUPS 21770737 WITH SCORE 2.1805466661E7
AT ITER 1109 NEW BEST:: SOT 48943681 SOS 34729800 HAS SOPS 24482266 HAS SOUS 22156439 HAS SOUPS 21769037 WITH SCORE 2.18037668E7
AT ITER 1112 NEW BEST:: SOT 48943681 SOS 34729800 HAS SOPS 24482107 HAS SOUS 22154813 HAS SOUPS 21767411 WITH SCORE 2.18021408E7
AT ITER 1113 NEW BEST:: SOT 48944620 SOS 34731677 HAS SOPS 24480966 HAS SOUS 22153673 HAS SOUPS 21766271 WITH SCORE 2.1801002677E7
AT ITER 1125 NEW BEST:: SOT 48946175 SOS 34733232 HAS SOPS 24482492 HAS SOUS 22153617 HAS SOUPS 21766215 WITH SCORE 2.1800948232E7
AT ITER 1129 NEW BEST:: SOT 48945956 SOS 34733013 HAS SOPS 24482273 HAS SOUS 22153398 HAS SOUPS 21765996 WITH SCORE 2.1800729013E7
AT ITER 1130 NEW BEST:: SOT 48945956 SOS 34733013 HAS SOPS 24480966 HAS SOUS 22152093 HAS SOUPS 21764691 WITH SCORE 2.1799424013E7
AT ITER 1131 NEW BEST:: SOT 48945956 SOS 34733013 HAS SOPS 24480325 HAS SOUS 22151451 HAS SOUPS 21764049 WITH SCORE 2.1798782013E7
AT ITER 1133 NEW BEST:: SOT 48945956 SOS 34733013 HAS SOPS 24479385 HAS SOUS 22150790 HAS SOUPS 21763388 WITH SCORE 2.1798121013E7
AT ITER 1144 NEW BEST:: SOT 48945956 SOS 34733013 HAS SOPS 24477494 HAS SOUS 22146995 HAS SOUPS 21759476 WITH SCORE 2.1794209013E7
AT ITER 1154 NEW BEST:: SOT 48945261 SOS 34732318 HAS SOPS 24477494 HAS SOUS 22146995 HAS SOUPS 21759476 WITH SCORE 2.1794208318E7
AT ITER 1157 NEW BEST:: SOT 48945572 SOS 34732899 HAS SOPS 24475863 HAS SOUS 22145603 HAS SOUPS 21757846 WITH SCORE 2.1792578899E7
AT ITER 1175 NEW BEST:: SOT 48945572 SOS 34732899 HAS SOPS 24474292 HAS SOUS 22141991 HAS SOUPS 21754234 WITH SCORE 2.1788966899E7
AT ITER 1180 NEW BEST:: SOT 48942018 SOS 34729345 HAS SOPS 24472276 HAS SOUS 22139976 HAS SOUPS 21752219 WITH SCORE 2.1786948345E7
AT ITER 1187 NEW BEST:: SOT 48940337 SOS 34727664 HAS SOPS 24470127 HAS SOUS 22137827 HAS SOUPS 21750070 WITH SCORE 2.1784797664E7
AT ITER 1194 NEW BEST:: SOT 48940347 SOS 34727684 HAS SOPS 24468515 HAS SOUS 22136434 HAS SOUPS 21748459 WITH SCORE 2.1783186684E7
AT ITER 1196 NEW BEST:: SOT 48940347 SOS 34727684 HAS SOPS 24466587 HAS SOUS 22133861 HAS SOUPS 21744500 WITH SCORE 2.1779227684E7
AT ITER 1200 NEW BEST:: SOT 48940347 SOS 34727684 HAS SOPS 24467142 HAS SOUS 22133301 HAS SOUPS 21743940 WITH SCORE 2.1778667684E7
AT ITER 1205 NEW BEST:: SOT 48940347 SOS 34727684 HAS SOPS 24466368 HAS SOUS 22132527 HAS SOUPS 21743166 WITH SCORE 2.1777893684E7
AT ITER 1207 NEW BEST:: SOT 48940347 SOS 34727684 HAS SOPS 24467072 HAS SOUS 22131660 HAS SOUPS 21742299 WITH SCORE 2.1777026684E7
AT ITER 1209 NEW BEST:: SOT 48939983 SOS 34727320 HAS SOPS 24466344 HAS SOUS 22131227 HAS SOUPS 21741571 WITH SCORE 2.177629832E7
AT ITER 1212 NEW BEST:: SOT 48940017 SOS 34727387 HAS SOPS 24464286 HAS SOUS 22129170 HAS SOUPS 21739514 WITH SCORE 2.1774241387E7
AT ITER 1215 NEW BEST:: SOT 48940017 SOS 34727387 HAS SOPS 24462353 HAS SOUS 22126224 HAS SOUPS 21735582 WITH SCORE 2.1770309387E7
AT ITER 1217 NEW BEST:: SOT 48940017 SOS 34727387 HAS SOPS 24464053 HAS SOUS 22126223 HAS SOUPS 21735581 WITH SCORE 2.1770308387E7
AT ITER 1218 NEW BEST:: SOT 48940017 SOS 34727387 HAS SOPS 24462430 HAS SOUS 22123111 HAS SOUPS 21731925 WITH SCORE 2.1766652387E7
AT ITER 1219 NEW BEST:: SOT 48940017 SOS 34727387 HAS SOPS 24460720 HAS SOUS 22122931 HAS SOUPS 21730216 WITH SCORE 2.1764943387E7
AT ITER 1220 NEW BEST:: SOT 48940017 SOS 34727387 HAS SOPS 24460872 HAS SOUS 22120958 HAS SOUPS 21728243 WITH SCORE 2.1762970387E7
AT ITER 1224 NEW BEST:: SOT 48940017 SOS 34727387 HAS SOPS 24460871 HAS SOUS 22119467 HAS SOUPS 21726752 WITH SCORE 2.1761479387E7
AT ITER 1230 NEW BEST:: SOT 48939258 SOS 34726628 HAS SOPS 24460112 HAS SOUS 22118708 HAS SOUPS 21725993 WITH SCORE 2.1760719628E7
AT ITER 1233 NEW BEST:: SOT 48939274 SOS 34726644 HAS SOPS 24459838 HAS SOUS 22118434 HAS SOUPS 21725719 WITH SCORE 2.1760445644E7
AT ITER 1235 NEW BEST:: SOT 48939274 SOS 34726644 HAS SOPS 24459260 HAS SOUS 22117856 HAS SOUPS 21725141 WITH SCORE 2.1759867644E7
AT ITER 1236 NEW BEST:: SOT 48939274 SOS 34726644 HAS SOPS 24458460 HAS SOUS 22116591 HAS SOUPS 21723876 WITH SCORE 2.1758602644E7
AT ITER 1242 NEW BEST:: SOT 48939390 SOS 34726875 HAS SOPS 24456480 HAS SOUS 22114612 HAS SOUPS 21721897 WITH SCORE 2.1756623875E7
AT ITER 1251 NEW BEST:: SOT 48939390 SOS 34726875 HAS SOPS 24454743 HAS SOUS 22112876 HAS SOUPS 21720161 WITH SCORE 2.1754887875E7
AT ITER 1252 NEW BEST:: SOT 48938909 SOS 34726394 HAS SOPS 24453781 HAS SOUS 22111914 HAS SOUPS 21719199 WITH SCORE 2.1753925394E7
AT ITER 1260 NEW BEST:: SOT 48938936 SOS 34726448 HAS SOPS 24453624 HAS SOUS 22110722 HAS SOUPS 21718007 WITH SCORE 2.1752733448E7
AT ITER 1267 NEW BEST:: SOT 48938936 SOS 34726448 HAS SOPS 24453947 HAS SOUS 22109604 HAS SOUPS 21716889 WITH SCORE 2.1751615448E7
AT ITER 1278 NEW BEST:: SOT 48935418 SOS 34722930 HAS SOPS 24451931 HAS SOUS 22107589 HAS SOUPS 21714874 WITH SCORE 2.174959693E7
AT ITER 1280 NEW BEST:: SOT 48935418 SOS 34722930 HAS SOPS 24450585 HAS SOUS 22104162 HAS SOUPS 21711447 WITH SCORE 2.174616993E7
AT ITER 1282 NEW BEST:: SOT 48935418 SOS 34722930 HAS SOPS 24448522 HAS SOUS 22100026 HAS SOUPS 21707311 WITH SCORE 2.174203393E7
AT ITER 1286 NEW BEST:: SOT 48935418 SOS 34722930 HAS SOPS 24447112 HAS SOUS 22098617 HAS SOUPS 21705902 WITH SCORE 2.174062493E7
AT ITER 1288 NEW BEST:: SOT 48937005 SOS 34724517 HAS SOPS 24445812 HAS SOUS 22097030 HAS SOUPS 21704315 WITH SCORE 2.1739039517E7
AT ITER 1300 NEW BEST:: SOT 48937538 SOS 34725458 HAS SOPS 24444541 HAS SOUS 22096908 HAS SOUPS 21703045 WITH SCORE 2.1737770458E7
AT ITER 1303 NEW BEST:: SOT 48937707 SOS 34725761 HAS SOPS 24442766 HAS SOUS 22096830 HAS SOUPS 21701271 WITH SCORE 2.1735996761E7
AT ITER 1308 NEW BEST:: SOT 48937707 SOS 34725761 HAS SOPS 24443588 HAS SOUS 22096829 HAS SOUPS 21701270 WITH SCORE 2.1735995761E7
AT ITER 1321 NEW BEST:: SOT 48937707 SOS 34725761 HAS SOPS 24444465 HAS SOUS 22095644 HAS SOUPS 21700085 WITH SCORE 2.1734810761E7
AT ITER 1322 NEW BEST:: SOT 48937707 SOS 34725761 HAS SOPS 24443537 HAS SOUS 22094717 HAS SOUPS 21699158 WITH SCORE 2.1733883761E7
AT ITER 1323 NEW BEST:: SOT 48937707 SOS 34725761 HAS SOPS 24442791 HAS SOUS 22093369 HAS SOUPS 21697668 WITH SCORE 2.1732393761E7
AT ITER 1331 NEW BEST:: SOT 48936539 SOS 34682537 HAS SOPS 24400735 HAS SOUS 22089873 HAS SOUPS 21694172 WITH SCORE 2.1728854537E7
AT ITER 1335 NEW BEST:: SOT 48936975 SOS 34683408 HAS SOPS 24399109 HAS SOUS 22088248 HAS SOUPS 21692547 WITH SCORE 2.1727230408E7
AT ITER 1338 NEW BEST:: SOT 48936975 SOS 34683408 HAS SOPS 24400167 HAS SOUS 22086292 HAS SOUPS 21690591 WITH SCORE 2.1725274408E7
AT ITER 1339 NEW BEST:: SOT 48936975 SOS 34683408 HAS SOPS 24399560 HAS SOUS 22083598 HAS SOUPS 21687897 WITH SCORE 2.1722580408E7
AT ITER 1340 NEW BEST:: SOT 48936228 SOS 34677894 HAS SOPS 24390309 HAS SOUS 22078531 HAS SOUPS 21682830 WITH SCORE 2.1717507894E7
AT ITER 1342 NEW BEST:: SOT 48936228 SOS 34677894 HAS SOPS 24388548 HAS SOUS 22075011 HAS SOUPS 21679310 WITH SCORE 2.1713987894E7
AT ITER 1343 NEW BEST:: SOT 48936228 SOS 34677894 HAS SOPS 24384398 HAS SOUS 22070863 HAS SOUPS 21675162 WITH SCORE 2.1709839894E7
AT ITER 1344 NEW BEST:: SOT 48936384 SOS 34678050 HAS SOPS 24384148 HAS SOUS 22070613 HAS SOUPS 21674912 WITH SCORE 2.170959005E7
AT ITER 1347 NEW BEST:: SOT 48936384 SOS 34678050 HAS SOPS 24384125 HAS SOUS 22070591 HAS SOUPS 21674890 WITH SCORE 2.170956805E7
AT ITER 1349 NEW BEST:: SOT 48936384 SOS 34678050 HAS SOPS 24382352 HAS SOUS 22068820 HAS SOUPS 21673119 WITH SCORE 2.170779705E7
AT ITER 1352 NEW BEST:: SOT 48936384 SOS 34678050 HAS SOPS 24380849 HAS SOUS 22067318 HAS SOUPS 21671617 WITH SCORE 2.170629505E7
AT ITER 1353 NEW BEST:: SOT 48936384 SOS 34678050 HAS SOPS 24378988 HAS SOUS 22064013 HAS SOUPS 21667897 WITH SCORE 2.170257505E7
AT ITER 1355 NEW BEST:: SOT 48936384 SOS 34678050 HAS SOPS 24378984 HAS SOUS 22064009 HAS SOUPS 21667893 WITH SCORE 2.170257105E7
AT ITER 1359 NEW BEST:: SOT 48936607 SOS 34678273 HAS SOPS 24378637 HAS SOUS 22064820 HAS SOUPS 21667546 WITH SCORE 2.1702224273E7
AT ITER 1366 NEW BEST:: SOT 48936607 SOS 34678273 HAS SOPS 24378073 HAS SOUS 22064329 HAS SOUPS 21666983 WITH SCORE 2.1701661273E7
AT ITER 1369 NEW BEST:: SOT 48936607 SOS 34678273 HAS SOPS 24377398 HAS SOUS 22063047 HAS SOUPS 21665701 WITH SCORE 2.1700379273E7
AT ITER 1377 NEW BEST:: SOT 48936607 SOS 34678273 HAS SOPS 24375191 HAS SOUS 22060841 HAS SOUPS 21663495 WITH SCORE 2.1698173273E7
AT ITER 1383 NEW BEST:: SOT 48936607 SOS 34678273 HAS SOPS 24375475 HAS SOUS 22059053 HAS SOUPS 21661707 WITH SCORE 2.1696385273E7
AT ITER 1384 NEW BEST:: SOT 48936607 SOS 34678273 HAS SOPS 24374248 HAS SOUS 22057826 HAS SOUPS 21660480 WITH SCORE 2.1695158273E7
AT ITER 1386 NEW BEST:: SOT 48936607 SOS 34678273 HAS SOPS 24372538 HAS SOUS 22056098 HAS SOUPS 21658752 WITH SCORE 2.1693430273E7
AT ITER 1387 NEW BEST:: SOT 48937672 SOS 34680199 HAS SOPS 24371911 HAS SOUS 22055472 HAS SOUPS 21658126 WITH SCORE 2.1692806199E7
AT ITER 1388 NEW BEST:: SOT 48938323 SOS 34681500 HAS SOPS 24370484 HAS SOUS 22057603 HAS SOUPS 21657683 WITH SCORE 2.16923645E7
AT ITER 1390 NEW BEST:: SOT 48938323 SOS 34681500 HAS SOPS 24369939 HAS SOUS 22056515 HAS SOUPS 21656595 WITH SCORE 2.16912765E7
AT ITER 1404 NEW BEST:: SOT 48938328 SOS 34681505 HAS SOPS 24369918 HAS SOUS 22056970 HAS SOUPS 21656574 WITH SCORE 2.1691255505E7
AT ITER 1406 NEW BEST:: SOT 48938328 SOS 34681505 HAS SOPS 24369647 HAS SOUS 22056699 HAS SOUPS 21656303 WITH SCORE 2.1690984505E7
AT ITER 1408 NEW BEST:: SOT 48938495 SOS 34681672 HAS SOPS 24368859 HAS SOUS 22055911 HAS SOUPS 21655515 WITH SCORE 2.1690196672E7
AT ITER 1412 NEW BEST:: SOT 48938495 SOS 34681672 HAS SOPS 24366991 HAS SOUS 22054033 HAS SOUPS 21653637 WITH SCORE 2.1688318672E7
AT ITER 1414 NEW BEST:: SOT 48938767 SOS 34682215 HAS SOPS 24365245 HAS SOUS 22052288 HAS SOUPS 21651892 WITH SCORE 2.1686574215E7
AT ITER 1418 NEW BEST:: SOT 48938767 SOS 34682215 HAS SOPS 24363431 HAS SOUS 22049577 HAS SOUPS 21648266 WITH SCORE 2.1682948215E7
AT ITER 1419 NEW BEST:: SOT 48938804 SOS 34682288 HAS SOPS 24361456 HAS SOUS 22048280 HAS SOUPS 21646292 WITH SCORE 2.1680974288E7
AT ITER 1422 NEW BEST:: SOT 48938804 SOS 34682288 HAS SOPS 24359696 HAS SOUS 22044762 HAS SOUPS 21642774 WITH SCORE 2.1677456288E7
AT ITER 1433 NEW BEST:: SOT 48938804 SOS 34682288 HAS SOPS 24358308 HAS SOUS 22042142 HAS SOUPS 21639999 WITH SCORE 2.1674681288E7
AT ITER 1434 NEW BEST:: SOT 48939579 SOS 34683837 HAS SOPS 24356995 HAS SOUS 22040830 HAS SOUPS 21638687 WITH SCORE 2.1673370837E7
AT ITER 1436 NEW BEST:: SOT 48940563 SOS 34685318 HAS SOPS 24356415 HAS SOUS 22040251 HAS SOUPS 21638108 WITH SCORE 2.1672793318E7
AT ITER 1438 NEW BEST:: SOT 48940563 SOS 34685318 HAS SOPS 24355965 HAS SOUS 22039801 HAS SOUPS 21637658 WITH SCORE 2.1672343318E7
AT ITER 1447 NEW BEST:: SOT 48940563 SOS 34685318 HAS SOPS 24355220 HAS SOUS 22037702 HAS SOUPS 21636103 WITH SCORE 2.1670788318E7
AT ITER 1451 NEW BEST:: SOT 48940563 SOS 34685318 HAS SOPS 24352434 HAS SOUS 22036648 HAS SOUPS 21634774 WITH SCORE 2.1669459318E7
AT ITER 1452 NEW BEST:: SOT 48940563 SOS 34685318 HAS SOPS 24352433 HAS SOUS 22034628 HAS SOUPS 21632754 WITH SCORE 2.1667439318E7
AT ITER 1455 NEW BEST:: SOT 48940563 SOS 34685318 HAS SOPS 24350461 HAS SOUS 22030622 HAS SOUPS 21628748 WITH SCORE 2.1663433318E7
AT ITER 1458 NEW BEST:: SOT 48940563 SOS 34685318 HAS SOPS 24350460 HAS SOUS 22029699 HAS SOUPS 21627825 WITH SCORE 2.1662510318E7
AT ITER 1459 NEW BEST:: SOT 48942061 SOS 34686816 HAS SOPS 24351931 HAS SOUS 22030197 HAS SOUPS 21627771 WITH SCORE 2.1662457816E7
AT ITER 1463 NEW BEST:: SOT 48942061 SOS 34688637 HAS SOPS 24351665 HAS SOUS 22027847 HAS SOUPS 21625421 WITH SCORE 2.1660109637E7
AT ITER 1465 NEW BEST:: SOT 48941474 SOS 34688050 HAS SOPS 24350491 HAS SOUS 22026673 HAS SOUPS 21624247 WITH SCORE 2.165893505E7
AT ITER 1467 NEW BEST:: SOT 48941474 SOS 34688050 HAS SOPS 24349941 HAS SOUS 22026123 HAS SOUPS 21623697 WITH SCORE 2.165838505E7
AT ITER 1469 NEW BEST:: SOT 48941474 SOS 34688050 HAS SOPS 24347937 HAS SOUS 22022115 HAS SOUPS 21619689 WITH SCORE 2.165437705E7
AT ITER 1476 NEW BEST:: SOT 48941474 SOS 34688050 HAS SOPS 24346709 HAS SOUS 22020579 HAS SOUPS 21618153 WITH SCORE 2.165284105E7
AT ITER 1482 NEW BEST:: SOT 48941474 SOS 34688050 HAS SOPS 24344310 HAS SOUS 22016502 HAS SOUPS 21614076 WITH SCORE 2.164876405E7
AT ITER 1483 NEW BEST:: SOT 48942203 SOS 34689363 HAS SOPS 24343263 HAS SOUS 22015456 HAS SOUPS 21613030 WITH SCORE 2.1647719363E7
AT ITER 1491 NEW BEST:: SOT 48942237 SOS 34689397 HAS SOPS 24342692 HAS SOUS 22015764 HAS SOUPS 21612459 WITH SCORE 2.1647148397E7
AT ITER 1497 NEW BEST:: SOT 48942237 SOS 34689643 HAS SOPS 24342551 HAS SOUS 22015713 HAS SOUPS 21612318 WITH SCORE 2.1647007643E7
AT ITER 1511 NEW BEST:: SOT 48942064 SOS 34689470 HAS SOPS 24342205 HAS SOUS 22015367 HAS SOUPS 21611972 WITH SCORE 2.164666147E7
AT ITER 1512 NEW BEST:: SOT 48942064 SOS 34689470 HAS SOPS 24342328 HAS SOUS 22015239 HAS SOUPS 21611844 WITH SCORE 2.164653347E7
AT ITER 1513 NEW BEST:: SOT 48965587 SOS 34654098 HAS SOPS 24275489 HAS SOUS 22005219 HAS SOUPS 21601824 WITH SCORE 2.1636478098E7
AT ITER 1516 NEW BEST:: SOT 48965587 SOS 34654098 HAS SOPS 24275291 HAS SOUS 22005090 HAS SOUPS 21601626 WITH SCORE 2.1636280098E7
AT ITER 1520 NEW BEST:: SOT 48965587 SOS 34654098 HAS SOPS 24274295 HAS SOUS 22003100 HAS SOUPS 21599636 WITH SCORE 2.1634290098E7
AT ITER 1522 NEW BEST:: SOT 48965587 SOS 34654098 HAS SOPS 24272522 HAS SOUS 21999556 HAS SOUPS 21596092 WITH SCORE 2.1630746098E7
AT ITER 1524 NEW BEST:: SOT 48965587 SOS 34654098 HAS SOPS 24272522 HAS SOUS 21999249 HAS SOUPS 21595785 WITH SCORE 2.1630439098E7
AT ITER 1533 NEW BEST:: SOT 48965987 SOS 34654498 HAS SOPS 24272296 HAS SOUS 21999025 HAS SOUPS 21595559 WITH SCORE 2.1630213498E7
AT ITER 1536 NEW BEST:: SOT 48965987 SOS 34654498 HAS SOPS 24270334 HAS SOUS 21996057 HAS SOUPS 21592591 WITH SCORE 2.1627245498E7
AT ITER 1540 NEW BEST:: SOT 48965210 SOS 34653721 HAS SOPS 24267641 HAS SOUS 21991786 HAS SOUPS 21588320 WITH SCORE 2.1622973721E7
AT ITER 1542 NEW BEST:: SOT 48963768 SOS 34652279 HAS SOPS 24265032 HAS SOUS 21989279 HAS SOUPS 21585711 WITH SCORE 2.1620363279E7
AT ITER 1544 NEW BEST:: SOT 48963768 SOS 34652279 HAS SOPS 24263229 HAS SOUS 21988263 HAS SOUPS 21583909 WITH SCORE 2.1618561279E7
AT ITER 1547 NEW BEST:: SOT 48964436 SOS 34652947 HAS SOPS 24261901 HAS SOUS 21986935 HAS SOUPS 21582581 WITH SCORE 2.1617233947E7
AT ITER 1550 NEW BEST:: SOT 48966011 SOS 34654522 HAS SOPS 24263012 HAS SOUS 21986608 HAS SOUPS 21582118 WITH SCORE 2.1616772522E7
AT ITER 1555 NEW BEST:: SOT 48966011 SOS 34652701 HAS SOPS 24261221 HAS SOUS 21984818 HAS SOUPS 21580328 WITH SCORE 2.1614980701E7
AT ITER 1560 NEW BEST:: SOT 48966568 SOS 34653258 HAS SOPS 24260902 HAS SOUS 21984543 HAS SOUPS 21580009 WITH SCORE 2.1614662258E7
AT ITER 1564 NEW BEST:: SOT 48967149 SOS 34654419 HAS SOPS 24259399 HAS SOUS 21983041 HAS SOUPS 21578507 WITH SCORE 2.1613161419E7
AT ITER 1565 NEW BEST:: SOT 48967149 SOS 34655265 HAS SOPS 24257806 HAS SOUS 21981796 HAS SOUPS 21576914 WITH SCORE 2.1611569265E7
AT ITER 1567 NEW BEST:: SOT 48967235 SOS 34655436 HAS SOPS 24255840 HAS SOUS 21979831 HAS SOUPS 21574949 WITH SCORE 2.1609604436E7
AT ITER 1572 NEW BEST:: SOT 48966314 SOS 34654515 HAS SOPS 24253692 HAS SOUS 21978003 HAS SOUPS 21572801 WITH SCORE 2.1607455515E7
AT ITER 1573 NEW BEST:: SOT 48966314 SOS 34654515 HAS SOPS 24253688 HAS SOUS 21977999 HAS SOUPS 21572797 WITH SCORE 2.1607451515E7
AT ITER 1579 NEW BEST:: SOT 48966314 SOS 34654515 HAS SOPS 24253390 HAS SOUS 21977829 HAS SOUPS 21572499 WITH SCORE 2.1607153515E7
AT ITER 1589 NEW BEST:: SOT 48966314 SOS 34654515 HAS SOPS 24252945 HAS SOUS 21977734 HAS SOUPS 21572054 WITH SCORE 2.1606708515E7
AT ITER 1596 NEW BEST:: SOT 48966314 SOS 34654515 HAS SOPS 24252945 HAS SOUS 21976509 HAS SOUPS 21570829 WITH SCORE 2.1605483515E7
AT ITER 1602 NEW BEST:: SOT 48966314 SOS 34654515 HAS SOPS 24253202 HAS SOUS 21974708 HAS SOUPS 21569028 WITH SCORE 2.1603682515E7
AT ITER 1605 NEW BEST:: SOT 48966314 SOS 34654515 HAS SOPS 24249769 HAS SOUS 21970776 HAS SOUPS 21565096 WITH SCORE 2.1599750515E7
AT ITER 1606 NEW BEST:: SOT 48967540 SOS 34656966 HAS SOPS 24248905 HAS SOUS 21969913 HAS SOUPS 21564233 WITH SCORE 2.1598889966E7
AT ITER 1611 NEW BEST:: SOT 48968214 SOS 34658313 HAS SOPS 24247527 HAS SOUS 21968536 HAS SOUPS 21562856 WITH SCORE 2.1597514313E7
AT ITER 1612 NEW BEST:: SOT 48968613 SOS 34658816 HAS SOPS 24247070 HAS SOUS 21968780 HAS SOUPS 21562399 WITH SCORE 2.1597057816E7
AT ITER 1613 NEW BEST:: SOT 48968613 SOS 34658816 HAS SOPS 24246110 HAS SOUS 21965845 HAS SOUPS 21559464 WITH SCORE 2.1594122816E7
AT ITER 1614 NEW BEST:: SOT 48968613 SOS 34658816 HAS SOPS 24245669 HAS SOUS 21965434 HAS SOUPS 21559023 WITH SCORE 2.1593681816E7
AT ITER 1615 NEW BEST:: SOT 48968194 SOS 34642894 HAS SOPS 24230166 HAS SOUS 21964596 HAS SOUPS 21558185 WITH SCORE 2.1592827894E7
AT ITER 1622 NEW BEST:: SOT 48968853 SOS 34644106 HAS SOPS 24228979 HAS SOUS 21964918 HAS SOUPS 21556999 WITH SCORE 2.1591643106E7
AT ITER 1632 NEW BEST:: SOT 48968853 SOS 34644106 HAS SOPS 24228124 HAS SOUS 21961986 HAS SOUPS 21554067 WITH SCORE 2.1588711106E7
AT ITER 1633 NEW BEST:: SOT 48968853 SOS 34644106 HAS SOPS 24228123 HAS SOUS 21960372 HAS SOUPS 21552453 WITH SCORE 2.1587097106E7
AT ITER 1634 NEW BEST:: SOT 48968565 SOS 34583067 HAS SOPS 24160766 HAS SOUS 21951780 HAS SOUPS 21543861 WITH SCORE 2.1578444067E7
AT ITER 1636 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24160671 HAS SOUS 21951763 HAS SOUPS 21543766 WITH SCORE 2.1578349702E7
AT ITER 1640 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24159576 HAS SOUS 21950572 HAS SOUPS 21542575 WITH SCORE 2.1577158702E7
AT ITER 1643 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24158609 HAS SOUS 21948640 HAS SOUPS 21540643 WITH SCORE 2.1575226702E7
AT ITER 1646 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24157875 HAS SOUS 21947907 HAS SOUPS 21539910 WITH SCORE 2.1574493702E7
AT ITER 1647 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24157676 HAS SOUS 21947708 HAS SOUPS 21539711 WITH SCORE 2.1574294702E7
AT ITER 1648 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24156335 HAS SOUS 21945621 HAS SOUPS 21537624 WITH SCORE 2.1572207702E7
AT ITER 1656 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24154898 HAS SOUS 21944184 HAS SOUPS 21536187 WITH SCORE 2.1570770702E7
AT ITER 1657 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24154291 HAS SOUS 21942978 HAS SOUPS 21534981 WITH SCORE 2.1569564702E7
AT ITER 1663 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24152711 HAS SOUS 21941399 HAS SOUPS 21533402 WITH SCORE 2.1567985702E7
AT ITER 1666 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24153521 HAS SOUS 21941398 HAS SOUPS 21533401 WITH SCORE 2.1567984702E7
AT ITER 1668 NEW BEST:: SOT 48969200 SOS 34583702 HAS SOPS 24153482 HAS SOUS 21939674 HAS SOUPS 21531677 WITH SCORE 2.1566260702E7
AT ITER 1675 NEW BEST:: SOT 48967849 SOS 34582563 HAS SOPS 24150664 HAS SOUS 21936857 HAS SOUPS 21527509 WITH SCORE 2.1562091563E7
AT ITER 1678 NEW BEST:: SOT 48967849 SOS 34582563 HAS SOPS 24150598 HAS SOUS 21936923 HAS SOUPS 21527443 WITH SCORE 2.1562025563E7
AT ITER 1684 NEW BEST:: SOT 48968119 SOS 34582833 HAS SOPS 24150366 HAS SOUS 21936691 HAS SOUPS 21527211 WITH SCORE 2.1561793833E7
AT ITER 1695 NEW BEST:: SOT 48968822 SOS 34584238 HAS SOPS 24149013 HAS SOUS 21935339 HAS SOUPS 21525859 WITH SCORE 2.1560443238E7
AT ITER 1698 NEW BEST:: SOT 48968822 SOS 34584238 HAS SOPS 24148702 HAS SOUS 21934893 HAS SOUPS 21525238 WITH SCORE 2.1559822238E7
AT ITER 1703 NEW BEST:: SOT 48968822 SOS 34584238 HAS SOPS 24146199 HAS SOUS 21932392 HAS SOUPS 21522737 WITH SCORE 2.1557321238E7
AT ITER 1707 NEW BEST:: SOT 48968316 SOS 34583732 HAS SOPS 24144727 HAS SOUS 21929651 HAS SOUPS 21519996 WITH SCORE 2.1554579732E7
AT ITER 1714 NEW BEST:: SOT 48968868 SOS 34584835 HAS SOPS 24143231 HAS SOUS 21931219 HAS SOUPS 21518501 WITH SCORE 2.1553085835E7
AT ITER 1715 NEW BEST:: SOT 48968868 SOS 34584835 HAS SOPS 24142768 HAS SOUS 21930756 HAS SOUPS 21518038 WITH SCORE 2.1552622835E7
AT ITER 1716 NEW BEST:: SOT 48969398 SOS 34585894 HAS SOPS 24141210 HAS SOUS 21929199 HAS SOUPS 21516481 WITH SCORE 2.1551066894E7
AT ITER 1719 NEW BEST:: SOT 48998819 SOS 34553027 HAS SOPS 24046501 HAS SOUS 21894544 HAS SOUPS 21479663 WITH SCORE 2.1514216027E7
AT ITER 1724 NEW BEST:: SOT 48998176 SOS 34552384 HAS SOPS 24045858 HAS SOUS 21893901 HAS SOUPS 21479020 WITH SCORE 2.1513572384E7
AT ITER 1728 NEW BEST:: SOT 48998176 SOS 34552384 HAS SOPS 24045323 HAS SOUS 21893366 HAS SOUPS 21478485 WITH SCORE 2.1513037384E7
AT ITER 1736 NEW BEST:: SOT 48999219 SOS 34553427 HAS SOPS 24044994 HAS SOUS 21893038 HAS SOUPS 21478157 WITH SCORE 2.1512710427E7
AT ITER 1740 NEW BEST:: SOT 48998705 SOS 34491059 HAS SOPS 23970755 HAS SOUS 21876864 HAS SOUPS 21461983 WITH SCORE 2.1496474059E7
AT ITER 1755 NEW BEST:: SOT 48998705 SOS 34491059 HAS SOPS 23970927 HAS SOUS 21874942 HAS SOUPS 21460061 WITH SCORE 2.1494552059E7
AT ITER 1756 NEW BEST:: SOT 48998705 SOS 34491059 HAS SOPS 23968135 HAS SOUS 21873210 HAS SOUPS 21458329 WITH SCORE 2.1492820059E7
AT ITER 1770 NEW BEST:: SOT 48998705 SOS 34491059 HAS SOPS 23965044 HAS SOUS 21870152 HAS SOUPS 21455271 WITH SCORE 2.1489762059E7
AT ITER 1774 NEW BEST:: SOT 49012127 SOS 34450750 HAS SOPS 23867856 HAS SOUS 21828956 HAS SOUPS 21412619 WITH SCORE 2.144706975E7
AT ITER 1775 NEW BEST:: SOT 49011322 SOS 34449945 HAS SOPS 23863575 HAS SOUS 21824382 HAS SOUPS 21408045 WITH SCORE 2.1442494945E7
AT ITER 1776 NEW BEST:: SOT 49011322 SOS 34449945 HAS SOPS 23863549 HAS SOUS 21824356 HAS SOUPS 21408019 WITH SCORE 2.1442468945E7
AT ITER 1779 NEW BEST:: SOT 49011322 SOS 34449945 HAS SOPS 23862630 HAS SOUS 21822520 HAS SOUPS 21406183 WITH SCORE 2.1440632945E7
AT ITER 1784 NEW BEST:: SOT 49011322 SOS 34449945 HAS SOPS 23861010 HAS SOUS 21818866 HAS SOUPS 21402529 WITH SCORE 2.1436978945E7
AT ITER 1789 NEW BEST:: SOT 49012184 SOS 34451668 HAS SOPS 23859810 HAS SOUS 21820115 HAS SOUPS 21401329 WITH SCORE 2.1435780668E7
AT ITER 1794 NEW BEST:: SOT 49012184 SOS 34451668 HAS SOPS 23859144 HAS SOUS 21819230 HAS SOUPS 21400336 WITH SCORE 2.1434787668E7
AT ITER 1795 NEW BEST:: SOT 49012184 SOS 34451668 HAS SOPS 23857391 HAS SOUS 21815726 HAS SOUPS 21396832 WITH SCORE 2.1431283668E7
AT ITER 1802 NEW BEST:: SOT 49012184 SOS 34451668 HAS SOPS 23856774 HAS SOUS 21815109 HAS SOUPS 21396215 WITH SCORE 2.1430666668E7
AT ITER 1805 NEW BEST:: SOT 49012184 SOS 34451668 HAS SOPS 23856152 HAS SOUS 21812400 HAS SOUPS 21393506 WITH SCORE 2.1427957668E7
AT ITER 1807 NEW BEST:: SOT 49012184 SOS 34451668 HAS SOPS 23857273 HAS SOUS 21812399 HAS SOUPS 21393505 WITH SCORE 2.1427956668E7
AT ITER 1811 NEW BEST:: SOT 49012184 SOS 34451668 HAS SOPS 23854770 HAS SOUS 21811715 HAS SOUPS 21392821 WITH SCORE 2.1427272668E7
AT ITER 1812 NEW BEST:: SOT 49012184 SOS 34451668 HAS SOPS 23854769 HAS SOUS 21811112 HAS SOUPS 21391251 WITH SCORE 2.1425702668E7
AT ITER 1814 NEW BEST:: SOT 49012668 SOS 34452152 HAS SOPS 23854702 HAS SOUS 21812331 HAS SOUPS 21391184 WITH SCORE 2.1425636152E7
AT ITER 1823 NEW BEST:: SOT 49012668 SOS 34452152 HAS SOPS 23854587 HAS SOUS 21812102 HAS SOUPS 21390955 WITH SCORE 2.1425407152E7
AT ITER 1826 NEW BEST:: SOT 49012554 SOS 34452038 HAS SOPS 23855265 HAS SOUS 21810233 HAS SOUPS 21389575 WITH SCORE 2.1424027038E7
AT ITER 1828 NEW BEST:: SOT 49012554 SOS 34452038 HAS SOPS 23853545 HAS SOUS 21806795 HAS SOUPS 21386137 WITH SCORE 2.1420589038E7
AT ITER 1829 NEW BEST:: SOT 49012554 SOS 34452038 HAS SOPS 23852666 HAS SOUS 21805916 HAS SOUPS 21385258 WITH SCORE 2.1419710038E7
AT ITER 1830 NEW BEST:: SOT 49012881 SOS 34452691 HAS SOPS 23850971 HAS SOUS 21804756 HAS SOUPS 21383564 WITH SCORE 2.1418016691E7
AT ITER 1831 NEW BEST:: SOT 49011232 SOS 34451042 HAS SOPS 23848574 HAS SOUS 21802359 HAS SOUPS 21381167 WITH SCORE 2.1415618042E7
AT ITER 1834 NEW BEST:: SOT 49011232 SOS 34451042 HAS SOPS 23848249 HAS SOUS 21801711 HAS SOUPS 21380519 WITH SCORE 2.1414970042E7
AT ITER 1837 NEW BEST:: SOT 49010718 SOS 34450528 HAS SOPS 23847221 HAS SOUS 21800683 HAS SOUPS 21379491 WITH SCORE 2.1413941528E7
AT ITER 1853 NEW BEST:: SOT 49007304 SOS 34447114 HAS SOPS 23845199 HAS SOUS 21798662 HAS SOUPS 21377470 WITH SCORE 2.1411917114E7
AT ITER 1855 NEW BEST:: SOT 49006080 SOS 34445890 HAS SOPS 23845199 HAS SOUS 21798662 HAS SOUPS 21377470 WITH SCORE 2.141191589E7
AT ITER 1861 NEW BEST:: SOT 49006080 SOS 34445890 HAS SOPS 23844255 HAS SOUS 21796861 HAS SOUPS 21376175 WITH SCORE 2.141062089E7
AT ITER 1865 NEW BEST:: SOT 49006080 SOS 34445890 HAS SOPS 23843877 HAS SOUS 21796411 HAS SOUPS 21375419 WITH SCORE 2.140986489E7
AT ITER 1878 NEW BEST:: SOT 49006180 SOS 34446089 HAS SOPS 23841951 HAS SOUS 21794545 HAS SOUPS 21373494 WITH SCORE 2.1407940089E7
AT ITER 1879 NEW BEST:: SOT 49006180 SOS 34446089 HAS SOPS 23841950 HAS SOUS 21794544 HAS SOUPS 21373493 WITH SCORE 2.1407939089E7
AT ITER 1888 NEW BEST:: SOT 49003491 SOS 34443400 HAS SOPS 23839884 HAS SOUS 21792479 HAS SOUPS 21371428 WITH SCORE 2.14058714E7
AT ITER 1892 NEW BEST:: SOT 49003491 SOS 34443400 HAS SOPS 23838276 HAS SOUS 21788812 HAS SOUPS 21367761 WITH SCORE 2.14022044E7
AT ITER 1921 NEW BEST:: SOT 49003491 SOS 34443400 HAS SOPS 23839752 HAS SOUS 21788811 HAS SOUPS 21367760 WITH SCORE 2.14022034E7
AT ITER 1934 NEW BEST:: SOT 49003997 SOS 34444411 HAS SOPS 23838188 HAS SOUS 21787248 HAS SOUPS 21366197 WITH SCORE 2.1400641411E7
AT ITER 1937 NEW BEST:: SOT 49003997 SOS 34444411 HAS SOPS 23837793 HAS SOUS 21786853 HAS SOUPS 21365802 WITH SCORE 2.1400246411E7
AT ITER 1950 NEW BEST:: SOT 49003422 SOS 34443836 HAS SOPS 23836642 HAS SOUS 21785559 HAS SOUPS 21364077 WITH SCORE 2.1398520836E7
AT ITER 1954 NEW BEST:: SOT 49003422 SOS 34443836 HAS SOPS 23835016 HAS SOUS 21781864 HAS SOUPS 21360382 WITH SCORE 2.1394825836E7
AT ITER 1956 NEW BEST:: SOT 49003422 SOS 34443836 HAS SOPS 23835012 HAS SOUS 21781860 HAS SOUPS 21360378 WITH SCORE 2.1394821836E7
AT ITER 1958 NEW BEST:: SOT 49003422 SOS 34443836 HAS SOPS 23833769 HAS SOUS 21779376 HAS SOUPS 21357894 WITH SCORE 2.1392337836E7
AT ITER 1959 NEW BEST:: SOT 49003422 SOS 34443836 HAS SOPS 23833576 HAS SOUS 21779183 HAS SOUPS 21357701 WITH SCORE 2.1392144836E7
AT ITER 1974 NEW BEST:: SOT 49003422 SOS 34443836 HAS SOPS 23832321 HAS SOUS 21777436 HAS SOUPS 21355954 WITH SCORE 2.1390397836E7
AT ITER 1975 NEW BEST:: SOT 49002934 SOS 34443348 HAS SOPS 23829297 HAS SOUS 21772366 HAS SOUPS 21350884 WITH SCORE 2.1385327348E7
AT ITER 1976 NEW BEST:: SOT 49002934 SOS 34443348 HAS SOPS 23829551 HAS SOUS 21772365 HAS SOUPS 21350883 WITH SCORE 2.1385326348E7
AT ITER 1977 NEW BEST:: SOT 49002934 SOS 34443348 HAS SOPS 23828229 HAS SOUS 21769723 HAS SOUPS 21348241 WITH SCORE 2.1382684348E7
AT ITER 1988 NEW BEST:: SOT 49003790 SOS 34445059 HAS SOPS 23827011 HAS SOUS 21768505 HAS SOUPS 21347023 WITH SCORE 2.1381468059E7
AT ITER 1999 NEW BEST:: SOT 49003790 SOS 34445059 HAS SOPS 23827010 HAS SOUS 21767842 HAS SOUPS 21346360 WITH SCORE 2.1380805059E7
AT ITER 2003 NEW BEST:: SOT 49003790 SOS 34445059 HAS SOPS 23826161 HAS SOUS 21766993 HAS SOUPS 21345511 WITH SCORE 2.1379956059E7
AT ITER 2004 NEW BEST:: SOT 49003790 SOS 34445059 HAS SOPS 23824342 HAS SOUS 21763304 HAS SOUPS 21341796 WITH SCORE 2.1376241059E7
AT ITER 2006 NEW BEST:: SOT 49004265 SOS 34584570 HAS SOPS 23823065 HAS SOUS 21763441 HAS SOUPS 21340519 WITH SCORE 2.137510357E7
AT ITER 2008 NEW BEST:: SOT 49004265 SOS 34584570 HAS SOPS 23821196 HAS SOUS 21760798 HAS SOUPS 21337740 WITH SCORE 2.137232457E7
AT ITER 2015 NEW BEST:: SOT 49003824 SOS 34583688 HAS SOPS 23805760 HAS SOUS 21744922 HAS SOUPS 21321864 WITH SCORE 2.1356447688E7
AT ITER 2017 NEW BEST:: SOT 49003824 SOS 34583688 HAS SOPS 23805244 HAS SOUS 21744406 HAS SOUPS 21321348 WITH SCORE 2.1355931688E7
AT ITER 2020 NEW BEST:: SOT 49003824 SOS 34583688 HAS SOPS 23803148 HAS SOUS 21740274 HAS SOUPS 21317216 WITH SCORE 2.1351799688E7
AT ITER 2022 NEW BEST:: SOT 49003824 SOS 34583688 HAS SOPS 23802138 HAS SOUS 21738697 HAS SOUPS 21315639 WITH SCORE 2.1350222688E7
AT ITER 2026 NEW BEST:: SOT 49003647 SOS 34583511 HAS SOPS 23801960 HAS SOUS 21738343 HAS SOUPS 21315285 WITH SCORE 2.1349868511E7
AT ITER 2031 NEW BEST:: SOT 49003647 SOS 34583511 HAS SOPS 23801549 HAS SOUS 21736610 HAS SOUPS 21313552 WITH SCORE 2.1348135511E7
AT ITER 2032 NEW BEST:: SOT 49003647 SOS 34583511 HAS SOPS 23801202 HAS SOUS 21735481 HAS SOUPS 21312423 WITH SCORE 2.1347006511E7
AT ITER 2033 NEW BEST:: SOT 49003647 SOS 34583511 HAS SOPS 23799744 HAS SOUS 21731952 HAS SOUPS 21308894 WITH SCORE 2.1343477511E7
AT ITER 2036 NEW BEST:: SOT 49004069 SOS 34583933 HAS SOPS 23799474 HAS SOUS 21731682 HAS SOUPS 21308624 WITH SCORE 2.1343207933E7
AT ITER 2037 NEW BEST:: SOT 49004378 SOS 34584391 HAS SOPS 23798063 HAS SOUS 21731138 HAS SOUPS 21307214 WITH SCORE 2.1341798391E7
AT ITER 2038 NEW BEST:: SOT 49004378 SOS 34584391 HAS SOPS 23797363 HAS SOUS 21730438 HAS SOUPS 21306514 WITH SCORE 2.1341098391E7
AT ITER 2041 NEW BEST:: SOT 49004378 SOS 34584391 HAS SOPS 23795902 HAS SOUS 21728978 HAS SOUPS 21305054 WITH SCORE 2.1339638391E7
AT ITER 2050 NEW BEST:: SOT 49003874 SOS 34583887 HAS SOPS 23794389 HAS SOUS 21728330 HAS SOUPS 21304046 WITH SCORE 2.1338629887E7
AT ITER 2052 NEW BEST:: SOT 49003612 SOS 34583625 HAS SOPS 23793323 HAS SOUS 21727293 HAS SOUPS 21302981 WITH SCORE 2.1337564625E7
AT ITER 2062 NEW BEST:: SOT 49003612 SOS 34585971 HAS SOPS 23792800 HAS SOUS 21726770 HAS SOUPS 21302458 WITH SCORE 2.1337043971E7
AT ITER 2066 NEW BEST:: SOT 49005248 SOS 34587607 HAS SOPS 23791990 HAS SOUS 21725734 HAS SOUPS 21301422 WITH SCORE 2.1336009607E7
AT ITER 2070 NEW BEST:: SOT 49005248 SOS 34587874 HAS SOPS 23791439 HAS SOUS 21725183 HAS SOUPS 21300871 WITH SCORE 2.1335458874E7
AT ITER 2075 NEW BEST:: SOT 49005924 SOS 34589225 HAS SOPS 23790051 HAS SOUS 21723796 HAS SOUPS 21299484 WITH SCORE 2.1334073225E7
AT ITER 2097 NEW BEST:: SOT 49005659 SOS 34588960 HAS SOPS 23788750 HAS SOUS 21722724 HAS SOUPS 21298183 WITH SCORE 2.133277196E7
AT ITER 2099 NEW BEST:: SOT 49005659 SOS 34588960 HAS SOPS 23788828 HAS SOUS 21721103 HAS SOUPS 21296562 WITH SCORE 2.133115096E7
AT ITER 2110 NEW BEST:: SOT 49004910 SOS 34588211 HAS SOPS 23788482 HAS SOUS 21720758 HAS SOUPS 21296217 WITH SCORE 2.1330805211E7
AT ITER 2114 NEW BEST:: SOT 49004910 SOS 34588211 HAS SOPS 23787798 HAS SOUS 21720074 HAS SOUPS 21295533 WITH SCORE 2.1330121211E7
AT ITER 2115 NEW BEST:: SOT 49004910 SOS 34588211 HAS SOPS 23787797 HAS SOUS 21719357 HAS SOUPS 21294816 WITH SCORE 2.1329404211E7
AT ITER 2116 NEW BEST:: SOT 49004910 SOS 34588211 HAS SOPS 23787796 HAS SOUS 21718866 HAS SOUPS 21294325 WITH SCORE 2.1328913211E7
AT ITER 2119 NEW BEST:: SOT 49004910 SOS 34588211 HAS SOPS 23785462 HAS SOUS 21715535 HAS SOUPS 21290994 WITH SCORE 2.1325582211E7
AT ITER 2122 NEW BEST:: SOT 49004910 SOS 34588211 HAS SOPS 23784076 HAS SOUS 21714151 HAS SOUPS 21289610 WITH SCORE 2.1324198211E7
AT ITER 2124 NEW BEST:: SOT 49004874 SOS 34587669 HAS SOPS 23784177 HAS SOUS 21713391 HAS SOUPS 21288896 WITH SCORE 2.1323483669E7
AT ITER 2126 NEW BEST:: SOT 49004712 SOS 34605307 HAS SOPS 23783837 HAS SOUS 21713229 HAS SOUPS 21288556 WITH SCORE 2.1323161307E7
AT ITER 2129 NEW BEST:: SOT 49003938 SOS 34604533 HAS SOPS 23782288 HAS SOUS 21710188 HAS SOUPS 21285515 WITH SCORE 2.1320119533E7
AT ITER 2131 NEW BEST:: SOT 49005528 SOS 34606123 HAS SOPS 23783410 HAS SOUS 21709721 HAS SOUPS 21285048 WITH SCORE 2.1319654123E7
AT ITER 2133 NEW BEST:: SOT 49005540 SOS 34606147 HAS SOPS 23783002 HAS SOUS 21709313 HAS SOUPS 21284640 WITH SCORE 2.1319246147E7
AT ITER 2135 NEW BEST:: SOT 49005538 SOS 34606145 HAS SOPS 23781226 HAS SOUS 21706728 HAS SOUPS 21281094 WITH SCORE 2.1315700145E7
AT ITER 2136 NEW BEST:: SOT 49005538 SOS 34606145 HAS SOPS 23781225 HAS SOUS 21704769 HAS SOUPS 21279135 WITH SCORE 2.1313741145E7
AT ITER 2139 NEW BEST:: SOT 49005650 SOS 34606368 HAS SOPS 23778438 HAS SOUS 21703810 HAS SOUPS 21278176 WITH SCORE 2.1312782368E7
AT ITER 2141 NEW BEST:: SOT 49004431 SOS 34605149 HAS SOPS 23777219 HAS SOUS 21702591 HAS SOUPS 21276957 WITH SCORE 2.1311562149E7
AT ITER 2146 NEW BEST:: SOT 49004431 SOS 34605149 HAS SOPS 23776019 HAS SOUS 21699967 HAS SOUPS 21274333 WITH SCORE 2.1308938149E7
AT ITER 2150 NEW BEST:: SOT 49005456 SOS 34606219 HAS SOPS 23775006 HAS SOUS 21699888 HAS SOUPS 21273320 WITH SCORE 2.1307926219E7
AT ITER 2151 NEW BEST:: SOT 49007233 SOS 34607996 HAS SOPS 23774707 HAS SOUS 21699589 HAS SOUPS 21273021 WITH SCORE 2.1307628996E7
AT ITER 2154 NEW BEST:: SOT 49005635 SOS 34609953 HAS SOPS 23770552 HAS SOUS 21695434 HAS SOUPS 21268866 WITH SCORE 2.1303475953E7
AT ITER 2158 NEW BEST:: SOT 49006238 SOS 34611158 HAS SOPS 23769065 HAS SOUS 21693948 HAS SOUPS 21267380 WITH SCORE 2.1301991158E7
AT ITER 2159 NEW BEST:: SOT 49006238 SOS 34611158 HAS SOPS 23769103 HAS SOUS 21691904 HAS SOUPS 21265336 WITH SCORE 2.1299947158E7
AT ITER 2160 NEW BEST:: SOT 49006238 SOS 34611158 HAS SOPS 23766206 HAS SOUS 21689305 HAS SOUPS 21261948 WITH SCORE 2.1296559158E7
AT ITER 2163 NEW BEST:: SOT 49006101 SOS 34620621 HAS SOPS 23765969 HAS SOUS 21689168 HAS SOUPS 21261711 WITH SCORE 2.1296331621E7
AT ITER 2170 NEW BEST:: SOT 49006101 SOS 34620621 HAS SOPS 23765172 HAS SOUS 21687576 HAS SOUPS 21260119 WITH SCORE 2.1294739621E7
AT ITER 2171 NEW BEST:: SOT 49006101 SOS 34620621 HAS SOPS 23764026 HAS SOUS 21685863 HAS SOUPS 21258406 WITH SCORE 2.1293026621E7
AT ITER 2181 NEW BEST:: SOT 49006101 SOS 34620621 HAS SOPS 23763033 HAS SOUS 21682785 HAS SOUPS 21255328 WITH SCORE 2.1289948621E7
AT ITER 2184 NEW BEST:: SOT 49006101 SOS 34620621 HAS SOPS 23762735 HAS SOUS 21682487 HAS SOUPS 21255030 WITH SCORE 2.1289650621E7
AT ITER 2195 NEW BEST:: SOT 49006067 SOS 34620587 HAS SOPS 23760900 HAS SOUS 21678653 HAS SOUPS 21253195 WITH SCORE 2.1287815587E7
AT ITER 2197 NEW BEST:: SOT 49005438 SOS 34596685 HAS SOPS 23737627 HAS SOUS 21677395 HAS SOUPS 21251937 WITH SCORE 2.1286533685E7
AT ITER 2200 NEW BEST:: SOT 49005438 SOS 34596685 HAS SOPS 23737375 HAS SOUS 21677143 HAS SOUPS 21251685 WITH SCORE 2.1286281685E7
AT ITER 2204 NEW BEST:: SOT 49006036 SOS 34594339 HAS SOPS 23738251 HAS SOUS 21676071 HAS SOUPS 21250891 WITH SCORE 2.1285485339E7
AT ITER 2209 NEW BEST:: SOT 49006036 SOS 34594339 HAS SOPS 23734377 HAS SOUS 21673534 HAS SOUPS 21247017 WITH SCORE 2.1281611339E7
AT ITER 2210 NEW BEST:: SOT 49005315 SOS 34593618 HAS SOPS 23732514 HAS SOUS 21671671 HAS SOUPS 21245154 WITH SCORE 2.1279747618E7
AT ITER 2219 NEW BEST:: SOT 49005315 SOS 34593618 HAS SOPS 23729962 HAS SOUS 21669653 HAS SOUPS 21243136 WITH SCORE 2.1277729618E7
AT ITER 2236 NEW BEST:: SOT 49005315 SOS 34593618 HAS SOPS 23728118 HAS SOUS 21667809 HAS SOUPS 21241292 WITH SCORE 2.1275885618E7
AT ITER 2244 NEW BEST:: SOT 49005315 SOS 34593618 HAS SOPS 23727846 HAS SOUS 21667537 HAS SOUPS 21241020 WITH SCORE 2.1275613618E7
AT ITER 2248 NEW BEST:: SOT 49005315 SOS 34593618 HAS SOPS 23724588 HAS SOUS 21663962 HAS SOUPS 21237445 WITH SCORE 2.1272038618E7
AT ITER 2262 NEW BEST:: SOT 49005835 SOS 34594138 HAS SOPS 23724234 HAS SOUS 21663858 HAS SOUPS 21237091 WITH SCORE 2.1271685138E7
AT ITER 2270 NEW BEST:: SOT 49005835 SOS 34594138 HAS SOPS 23724287 HAS SOUS 21661837 HAS SOUPS 21235070 WITH SCORE 2.1269664138E7
AT ITER 2274 NEW BEST:: SOT 49007006 SOS 34596352 HAS SOPS 23723517 HAS SOUS 21661068 HAS SOUPS 21234301 WITH SCORE 2.1268897352E7
AT ITER 2276 NEW BEST:: SOT 49007006 SOS 34596352 HAS SOPS 23721698 HAS SOUS 21659608 HAS SOUPS 21232482 WITH SCORE 2.1267078352E7
AT ITER 2277 NEW BEST:: SOT 49006781 SOS 34596127 HAS SOPS 23721473 HAS SOUS 21659383 HAS SOUPS 21232257 WITH SCORE 2.1266853127E7
AT ITER 2280 NEW BEST:: SOT 49006789 SOS 34596135 HAS SOPS 23720013 HAS SOUS 21658969 HAS SOUPS 21230797 WITH SCORE 2.1265393135E7
AT ITER 2289 NEW BEST:: SOT 49006789 SOS 34596135 HAS SOPS 23719602 HAS SOUS 21658558 HAS SOUPS 21230386 WITH SCORE 2.1264982135E7
AT ITER 2290 NEW BEST:: SOT 49006789 SOS 34596135 HAS SOPS 23718367 HAS SOUS 21657324 HAS SOUPS 21229152 WITH SCORE 2.1263748135E7
AT ITER 2291 NEW BEST:: SOT 49006789 SOS 34596135 HAS SOPS 23718034 HAS SOUS 21656992 HAS SOUPS 21228820 WITH SCORE 2.1263416135E7
AT ITER 2295 NEW BEST:: SOT 49005842 SOS 34595188 HAS SOPS 23716329 HAS SOUS 21656090 HAS SOUPS 21227115 WITH SCORE 2.1261710188E7
AT ITER 2299 NEW BEST:: SOT 49008767 SOS 34539617 HAS SOPS 23626445 HAS SOUS 21620192 HAS SOUPS 21191217 WITH SCORE 2.1225756617E7
AT ITER 2304 NEW BEST:: SOT 49008310 SOS 34539160 HAS SOPS 23626027 HAS SOUS 21619394 HAS SOUPS 21189807 WITH SCORE 2.122434616E7
AT ITER 2317 NEW BEST:: SOT 49008310 SOS 34538352 HAS SOPS 23625219 HAS SOUS 21618586 HAS SOUPS 21188999 WITH SCORE 2.1223537352E7
AT ITER 2320 NEW BEST:: SOT 49008176 SOS 34538218 HAS SOPS 23620985 HAS SOUS 21617090 HAS SOUPS 21186856 WITH SCORE 2.1221394218E7
AT ITER 2323 NEW BEST:: SOT 49008202 SOS 34538244 HAS SOPS 23620967 HAS SOUS 21617145 HAS SOUPS 21186838 WITH SCORE 2.1221376244E7
AT ITER 2324 NEW BEST:: SOT 49008202 SOS 34538244 HAS SOPS 23621118 HAS SOUS 21615210 HAS SOUPS 21184903 WITH SCORE 2.1219441244E7
AT ITER 2329 NEW BEST:: SOT 49009067 SOS 34539973 HAS SOPS 23619919 HAS SOUS 21614012 HAS SOUPS 21183705 WITH SCORE 2.1218244973E7
AT ITER 2331 NEW BEST:: SOT 49007134 SOS 34672185 HAS SOPS 23616631 HAS SOUS 21612987 HAS SOUPS 21181325 WITH SCORE 2.1215997185E7
AT ITER 2333 NEW BEST:: SOT 49007134 SOS 34672119 HAS SOPS 23616565 HAS SOUS 21612987 HAS SOUPS 21181325 WITH SCORE 2.1215997119E7
AT ITER 2335 NEW BEST:: SOT 49008211 SOS 34674272 HAS SOPS 23615554 HAS SOUS 21611977 HAS SOUPS 21180315 WITH SCORE 2.1214989272E7
AT ITER 2336 NEW BEST:: SOT 49008211 SOS 34674272 HAS SOPS 23613850 HAS SOUS 21610274 HAS SOUPS 21178612 WITH SCORE 2.1213286272E7
AT ITER 2339 NEW BEST:: SOT 49008211 SOS 34674272 HAS SOPS 23610584 HAS SOUS 21606122 HAS SOUPS 21174460 WITH SCORE 2.1209134272E7
AT ITER 2343 NEW BEST:: SOT 49008211 SOS 34674272 HAS SOPS 23606491 HAS SOUS 21602106 HAS SOUPS 21170369 WITH SCORE 2.1205043272E7
AT ITER 2345 NEW BEST:: SOT 49007963 SOS 34674024 HAS SOPS 23606223 HAS SOUS 21601574 HAS SOUPS 21169625 WITH SCORE 2.1204299024E7
AT ITER 2356 NEW BEST:: SOT 49007914 SOS 34673975 HAS SOPS 23606223 HAS SOUS 21601525 HAS SOUPS 21169625 WITH SCORE 2.1204298975E7
AT ITER 2360 NEW BEST:: SOT 49008429 SOS 34674490 HAS SOPS 23606177 HAS SOUS 21602063 HAS SOUPS 21169579 WITH SCORE 2.120425349E7
AT ITER 2361 NEW BEST:: SOT 49009017 SOS 34675665 HAS SOPS 23604703 HAS SOUS 21600976 HAS SOUPS 21168106 WITH SCORE 2.1202781665E7
AT ITER 2362 NEW BEST:: SOT 49009017 SOS 34675665 HAS SOPS 23604337 HAS SOUS 21600610 HAS SOUPS 21167740 WITH SCORE 2.1202415665E7
AT ITER 2368 NEW BEST:: SOT 49009017 SOS 34675665 HAS SOPS 23604162 HAS SOUS 21600435 HAS SOUPS 21167565 WITH SCORE 2.1202240665E7
AT ITER 2372 NEW BEST:: SOT 49008115 SOS 34673929 HAS SOPS 23603260 HAS SOUS 21598631 HAS SOUPS 21165761 WITH SCORE 2.1200434929E7
AT ITER 2374 NEW BEST:: SOT 49008115 SOS 34674254 HAS SOPS 23601178 HAS SOUS 21596550 HAS SOUPS 21163680 WITH SCORE 2.1198354254E7
AT ITER 2383 NEW BEST:: SOT 49008398 SOS 34674719 HAS SOPS 23599393 HAS SOUS 21594766 HAS SOUPS 21161896 WITH SCORE 2.1196570719E7
AT ITER 2385 NEW BEST:: SOT 49009284 SOS 34676490 HAS SOPS 23598197 HAS SOUS 21593571 HAS SOUPS 21160701 WITH SCORE 2.119537749E7
AT ITER 2387 NEW BEST:: SOT 49009410 SOS 34676616 HAS SOPS 23597969 HAS SOUS 21593343 HAS SOUPS 21160473 WITH SCORE 2.1195149616E7
AT ITER 2391 NEW BEST:: SOT 49009410 SOS 34676616 HAS SOPS 23599150 HAS SOUS 21593288 HAS SOUPS 21160418 WITH SCORE 2.1195094616E7
AT ITER 2392 NEW BEST:: SOT 49013721 SOS 34622778 HAS SOPS 23535598 HAS SOUS 21589654 HAS SOUPS 21156784 WITH SCORE 2.1191406778E7
AT ITER 2395 NEW BEST:: SOT 49013721 SOS 34622778 HAS SOPS 23531683 HAS SOUS 21585772 HAS SOUPS 21152902 WITH SCORE 2.1187524778E7
AT ITER 2396 NEW BEST:: SOT 49013232 SOS 34623516 HAS SOPS 23527832 HAS SOUS 21581918 HAS SOUPS 21149048 WITH SCORE 2.1183671516E7
AT ITER 2398 NEW BEST:: SOT 49013232 SOS 34623516 HAS SOPS 23526681 HAS SOUS 21579837 HAS SOUPS 21146748 WITH SCORE 2.1181371516E7
AT ITER 2399 NEW BEST:: SOT 49013232 SOS 34623516 HAS SOPS 23525077 HAS SOUS 21578233 HAS SOUPS 21145144 WITH SCORE 2.1179767516E7
AT ITER 2400 NEW BEST:: SOT 49013232 SOS 34623516 HAS SOPS 23522865 HAS SOUS 21576379 HAS SOUPS 21142932 WITH SCORE 2.1177555516E7
AT ITER 2401 NEW BEST:: SOT 49013232 SOS 34623516 HAS SOPS 23524115 HAS SOUS 21575713 HAS SOUPS 21142266 WITH SCORE 2.1176889516E7
AT ITER 2402 NEW BEST:: SOT 49012431 SOS 34622715 HAS SOPS 23520475 HAS SOUS 21570106 HAS SOUPS 21136583 WITH SCORE 2.1171205715E7
AT ITER 2408 NEW BEST:: SOT 49012431 SOS 34622715 HAS SOPS 23520474 HAS SOUS 21569167 HAS SOUPS 21135644 WITH SCORE 2.1170266715E7
AT ITER 2410 NEW BEST:: SOT 49012431 SOS 34622715 HAS SOPS 23519579 HAS SOUS 21568273 HAS SOUPS 21134750 WITH SCORE 2.1169372715E7
AT ITER 2414 NEW BEST:: SOT 49012431 SOS 34622715 HAS SOPS 23519480 HAS SOUS 21568340 HAS SOUPS 21134651 WITH SCORE 2.1169273715E7
AT ITER 2420 NEW BEST:: SOT 49011753 SOS 34596655 HAS SOPS 23494106 HAS SOUS 21566976 HAS SOUPS 21133287 WITH SCORE 2.1167883655E7
AT ITER 2426 NEW BEST:: SOT 49012466 SOS 34597841 HAS SOPS 23493223 HAS SOUS 21566094 HAS SOUPS 21132405 WITH SCORE 2.1167002841E7
AT ITER 2427 NEW BEST:: SOT 49012466 SOS 34597841 HAS SOPS 23493225 HAS SOUS 21564066 HAS SOUPS 21130377 WITH SCORE 2.1164974841E7
AT ITER 2435 NEW BEST:: SOT 49014407 SOS 34599782 HAS SOPS 23494770 HAS SOUS 21563718 HAS SOUPS 21129982 WITH SCORE 2.1164581782E7
AT ITER 2437 NEW BEST:: SOT 49014868 SOS 34600243 HAS SOPS 23493760 HAS SOUS 21562708 HAS SOUPS 21128972 WITH SCORE 2.1163572243E7
AT ITER 2438 NEW BEST:: SOT 49015634 SOS 34601099 HAS SOPS 23493637 HAS SOUS 21562585 HAS SOUPS 21128849 WITH SCORE 2.1163450099E7
AT ITER 2440 NEW BEST:: SOT 49015914 SOS 34601379 HAS SOPS 23493215 HAS SOUS 21562164 HAS SOUPS 21128428 WITH SCORE 2.1163029379E7
AT ITER 2443 NEW BEST:: SOT 49015494 SOS 34600974 HAS SOPS 23492899 HAS SOUS 21561834 HAS SOUPS 21128098 WITH SCORE 2.1162698974E7
AT ITER 2446 NEW BEST:: SOT 49016437 SOS 34602859 HAS SOPS 23491748 HAS SOUS 21560684 HAS SOUPS 21126948 WITH SCORE 2.1161550859E7
AT ITER 2447 NEW BEST:: SOT 49016437 SOS 34602859 HAS SOPS 23491782 HAS SOUS 21558654 HAS SOUPS 21124918 WITH SCORE 2.1159520859E7
AT ITER 2450 NEW BEST:: SOT 49016437 SOS 34605363 HAS SOPS 23490647 HAS SOUS 21557588 HAS SOUPS 21123783 WITH SCORE 2.1158388363E7
AT ITER 2451 NEW BEST:: SOT 49016437 SOS 34605363 HAS SOPS 23489253 HAS SOUS 21555965 HAS SOUPS 21122160 WITH SCORE 2.1156765363E7
AT ITER 2464 NEW BEST:: SOT 49017798 SOS 34607906 HAS SOPS 23488826 HAS SOUS 21555539 HAS SOUPS 21121734 WITH SCORE 2.1156341906E7
AT ITER 2470 NEW BEST:: SOT 49017798 SOS 34607906 HAS SOPS 23488795 HAS SOUS 21555479 HAS SOUPS 21121674 WITH SCORE 2.1156281906E7
AT ITER 2471 NEW BEST:: SOT 49017153 SOS 34607261 HAS SOPS 23488793 HAS SOUS 21554189 HAS SOUPS 21120384 WITH SCORE 2.1154991261E7
AT ITER 2473 NEW BEST:: SOT 49017153 SOS 34607261 HAS SOPS 23488474 HAS SOUS 21553553 HAS SOUPS 21119748 WITH SCORE 2.1154355261E7
AT ITER 2478 NEW BEST:: SOT 49018062 SOS 34609078 HAS SOPS 23487295 HAS SOUS 21552375 HAS SOUPS 21118570 WITH SCORE 2.1153179078E7
AT ITER 2483 NEW BEST:: SOT 49017954 SOS 34608970 HAS SOPS 23488054 HAS SOUS 21551055 HAS SOUPS 21117250 WITH SCORE 2.115185897E7
AT ITER 2485 NEW BEST:: SOT 49017954 SOS 34608970 HAS SOPS 23488045 HAS SOUS 21551055 HAS SOUPS 21117241 WITH SCORE 2.115184997E7
AT ITER 2490 NEW BEST:: SOT 49017954 SOS 34608970 HAS SOPS 23488657 HAS SOUS 21550604 HAS SOUPS 21116790 WITH SCORE 2.115139897E7
AT ITER 2493 NEW BEST:: SOT 49017954 SOS 34606804 HAS SOPS 23487189 HAS SOUS 21550580 HAS SOUPS 21116766 WITH SCORE 2.1151372804E7
AT ITER 2495 NEW BEST:: SOT 49017954 SOS 34606804 HAS SOPS 23487185 HAS SOUS 21550576 HAS SOUPS 21116762 WITH SCORE 2.1151368804E7
AT ITER 2497 NEW BEST:: SOT 49017954 SOS 34606804 HAS SOPS 23485276 HAS SOUS 21548935 HAS SOUPS 21114849 WITH SCORE 2.1149455804E7
AT ITER 2500 NEW BEST:: SOT 49017954 SOS 34606804 HAS SOPS 23483439 HAS SOUS 21545263 HAS SOUPS 21111177 WITH SCORE 2.1145783804E7
AT ITER 2502 NEW BEST:: SOT 49017954 SOS 34606804 HAS SOPS 23483086 HAS SOUS 21545286 HAS SOUPS 21110987 WITH SCORE 2.1145593804E7
AT ITER 2509 NEW BEST:: SOT 49017954 SOS 34606804 HAS SOPS 23480560 HAS SOUS 21541444 HAS SOUPS 21107145 WITH SCORE 2.1141751804E7
AT ITER 2516 NEW BEST:: SOT 49015654 SOS 34604504 HAS SOPS 23478472 HAS SOUS 21539357 HAS SOUPS 21105058 WITH SCORE 2.1139662504E7
AT ITER 2531 NEW BEST:: SOT 49014307 SOS 34601906 HAS SOPS 23475887 HAS SOUS 21538093 HAS SOUPS 21103794 WITH SCORE 2.1138395906E7
AT ITER 2534 NEW BEST:: SOT 49015184 SOS 34733960 HAS SOPS 23475426 HAS SOUS 21540223 HAS SOUPS 21103333 WITH SCORE 2.113806696E7
AT ITER 2536 NEW BEST:: SOT 49015184 SOS 34733960 HAS SOPS 23472850 HAS SOUS 21538935 HAS SOUPS 21102045 WITH SCORE 2.113677896E7
AT ITER 2541 NEW BEST:: SOT 49015184 SOS 34733960 HAS SOPS 23472063 HAS SOUS 21538467 HAS SOUPS 21101577 WITH SCORE 2.113631096E7
AT ITER 2547 NEW BEST:: SOT 49015905 SOS 34735101 HAS SOPS 23471112 HAS SOUS 21537551 HAS SOUPS 21100627 WITH SCORE 2.1135362101E7
AT ITER 2568 NEW BEST:: SOT 49015905 SOS 34735101 HAS SOPS 23471407 HAS SOUS 21536803 HAS SOUPS 21099879 WITH SCORE 2.1134614101E7
AT ITER 2570 NEW BEST:: SOT 49015905 SOS 34735101 HAS SOPS 23470579 HAS SOUS 21535976 HAS SOUPS 21099052 WITH SCORE 2.1133787101E7
AT ITER 2574 NEW BEST:: SOT 49015766 SOS 34734962 HAS SOPS 23469605 HAS SOUS 21534298 HAS SOUPS 21097374 WITH SCORE 2.1132108962E7
AT ITER 2601 NEW BEST:: SOT 49016201 SOS 34735831 HAS SOPS 23467998 HAS SOUS 21532692 HAS SOUPS 21095768 WITH SCORE 2.1130503831E7
AT ITER 2603 NEW BEST:: SOT 49016201 SOS 34736613 HAS SOPS 23465922 HAS SOUS 21530617 HAS SOUPS 21093693 WITH SCORE 2.1128429613E7
AT ITER 2605 NEW BEST:: SOT 49015028 SOS 34735440 HAS SOPS 23463575 HAS SOUS 21529349 HAS SOUPS 21091337 WITH SCORE 2.112607244E7
AT ITER 2606 NEW BEST:: SOT 49015028 SOS 34735440 HAS SOPS 23461669 HAS SOUS 21525404 HAS SOUPS 21087392 WITH SCORE 2.112212744E7
AT ITER 2607 NEW BEST:: SOT 49015028 SOS 34735440 HAS SOPS 23457303 HAS SOUS 21522402 HAS SOUPS 21084390 WITH SCORE 2.111912544E7
AT ITER 2609 NEW BEST:: SOT 49015029 SOS 34738991 HAS SOPS 23455240 HAS SOUS 21521371 HAS SOUPS 21082327 WITH SCORE 2.1117065991E7
AT ITER 2618 NEW BEST:: SOT 49014862 SOS 34738824 HAS SOPS 23455073 HAS SOUS 21521204 HAS SOUPS 21082160 WITH SCORE 2.1116898824E7
AT ITER 2629 NEW BEST:: SOT 49014868 SOS 34738836 HAS SOPS 23454401 HAS SOUS 21520532 HAS SOUPS 21081488 WITH SCORE 2.1116226836E7
AT ITER 2635 NEW BEST:: SOT 49014868 SOS 34738836 HAS SOPS 23455672 HAS SOUS 21520531 HAS SOUPS 21081487 WITH SCORE 2.1116225836E7
AT ITER 2643 NEW BEST:: SOT 49013904 SOS 34737872 HAS SOPS 23454708 HAS SOUS 21519567 HAS SOUPS 21080523 WITH SCORE 2.1115260872E7
AT ITER 2645 NEW BEST:: SOT 49013938 SOS 34737906 HAS SOPS 23454684 HAS SOUS 21519601 HAS SOUPS 21080499 WITH SCORE 2.1115236906E7
AT ITER 2649 NEW BEST:: SOT 49013938 SOS 34737906 HAS SOPS 23453786 HAS SOUS 21516644 HAS SOUPS 21077542 WITH SCORE 2.1112279906E7
AT ITER 2666 NEW BEST:: SOT 49013938 SOS 34737906 HAS SOPS 23452525 HAS SOUS 21515384 HAS SOUPS 21076282 WITH SCORE 2.1111019906E7
AT ITER 2681 NEW BEST:: SOT 49013938 SOS 34737906 HAS SOPS 23450844 HAS SOUS 21512918 HAS SOUPS 21073816 WITH SCORE 2.1108553906E7
AT ITER 2682 NEW BEST:: SOT 49013871 SOS 34736968 HAS SOPS 23450844 HAS SOUS 21510409 HAS SOUPS 21071374 WITH SCORE 2.1106110968E7
AT ITER 2683 NEW BEST:: SOT 49013871 SOS 34736968 HAS SOPS 23447156 HAS SOUS 21508753 HAS SOUPS 21069718 WITH SCORE 2.1104454968E7
AT ITER 2687 NEW BEST:: SOT 49013871 SOS 34738028 HAS SOPS 23445062 HAS SOUS 21506660 HAS SOUPS 21067625 WITH SCORE 2.1102363028E7
AT ITER 2691 NEW BEST:: SOT 49013339 SOS 34737496 HAS SOPS 23443997 HAS SOUS 21505596 HAS SOUPS 21066561 WITH SCORE 2.1101298496E7
AT ITER 2694 NEW BEST:: SOT 49013339 SOS 34737496 HAS SOPS 23443679 HAS SOUS 21505278 HAS SOUPS 21066243 WITH SCORE 2.1100980496E7
AT ITER 2704 NEW BEST:: SOT 49012576 SOS 34736733 HAS SOPS 23442524 HAS SOUS 21504533 HAS SOUPS 21065249 WITH SCORE 2.1099985733E7
AT ITER 2708 NEW BEST:: SOT 49012286 SOS 34736443 HAS SOPS 23441943 HAS SOUS 21503723 HAS SOUPS 21064013 WITH SCORE 2.1098749443E7
AT ITER 2711 NEW BEST:: SOT 49012286 SOS 34736443 HAS SOPS 23441525 HAS SOUS 21503305 HAS SOUPS 21063595 WITH SCORE 2.1098331443E7
AT ITER 2716 NEW BEST:: SOT 49012015 SOS 34736172 HAS SOPS 23440982 HAS SOUS 21501123 HAS SOUPS 21061413 WITH SCORE 2.1096149172E7
AT ITER 2717 NEW BEST:: SOT 49012015 SOS 34738802 HAS SOPS 23441484 HAS SOUS 21499566 HAS SOUPS 21059856 WITH SCORE 2.1094594802E7
AT ITER 2726 NEW BEST:: SOT 49012381 SOS 34739633 HAS SOPS 23439772 HAS SOUS 21497855 HAS SOUPS 21058145 WITH SCORE 2.1092884633E7
AT ITER 2727 NEW BEST:: SOT 49012381 SOS 34739633 HAS SOPS 23436152 HAS SOUS 21495730 HAS SOUPS 21056020 WITH SCORE 2.1090759633E7
AT ITER 2739 NEW BEST:: SOT 49012381 SOS 34739633 HAS SOPS 23434223 HAS SOUS 21492414 HAS SOUPS 21052704 WITH SCORE 2.1087443633E7
AT ITER 2745 NEW BEST:: SOT 49012381 SOS 34739633 HAS SOPS 23433397 HAS SOUS 21492410 HAS SOUPS 21052700 WITH SCORE 2.1087439633E7
AT ITER 2750 NEW BEST:: SOT 49012381 SOS 34739633 HAS SOPS 23431229 HAS SOUS 21492068 HAS SOUPS 21052358 WITH SCORE 2.1087097633E7
AT ITER 2762 NEW BEST:: SOT 49012381 SOS 34739633 HAS SOPS 23430617 HAS SOUS 21491456 HAS SOUPS 21051746 WITH SCORE 2.1086485633E7
AT ITER 2771 NEW BEST:: SOT 49012381 SOS 34739633 HAS SOPS 23430613 HAS SOUS 21491450 HAS SOUPS 21051740 WITH SCORE 2.1086479633E7
AT ITER 2774 NEW BEST:: SOT 49012381 SOS 34739633 HAS SOPS 23429247 HAS SOUS 21490084 HAS SOUPS 21050374 WITH SCORE 2.1085113633E7
AT ITER 2776 NEW BEST:: SOT 49013643 SOS 34740895 HAS SOPS 23429819 HAS SOUS 21489650 HAS SOUPS 21049940 WITH SCORE 2.1084680895E7
AT ITER 2779 NEW BEST:: SOT 49013473 SOS 34740725 HAS SOPS 23429779 HAS SOUS 21487863 HAS SOUPS 21048153 WITH SCORE 2.1082893725E7
AT ITER 2800 NEW BEST:: SOT 49014124 SOS 34741556 HAS SOPS 23429706 HAS SOUS 21487832 HAS SOUPS 21048080 WITH SCORE 2.1082821556E7
AT ITER 2801 NEW BEST:: SOT 49014124 SOS 34741556 HAS SOPS 23427291 HAS SOUS 21485418 HAS SOUPS 21045666 WITH SCORE 2.1080407556E7
AT ITER 2802 NEW BEST:: SOT 49014948 SOS 34743203 HAS SOPS 23426029 HAS SOUS 21484157 HAS SOUPS 21044405 WITH SCORE 2.1079148203E7
AT ITER 2804 NEW BEST:: SOT 49014948 SOS 34743203 HAS SOPS 23426028 HAS SOUS 21483269 HAS SOUPS 21043517 WITH SCORE 2.1078260203E7
AT ITER 2811 NEW BEST:: SOT 49014948 SOS 34743203 HAS SOPS 23425730 HAS SOUS 21481564 HAS SOUPS 21041812 WITH SCORE 2.1076555203E7
AT ITER 2813 NEW BEST:: SOT 49014948 SOS 34743203 HAS SOPS 23425727 HAS SOUS 21481560 HAS SOUPS 21041808 WITH SCORE 2.1076551203E7
AT ITER 2820 NEW BEST:: SOT 49014145 SOS 34742400 HAS SOPS 23423733 HAS SOUS 21479567 HAS SOUPS 21039815 WITH SCORE 2.10745574E7
AT ITER 2821 NEW BEST:: SOT 49012459 SOS 34740757 HAS SOPS 23420309 HAS SOUS 21476422 HAS SOUPS 21036391 WITH SCORE 2.1071131757E7
AT ITER 2824 NEW BEST:: SOT 49012459 SOS 34740757 HAS SOPS 23420652 HAS SOUS 21474751 HAS SOUPS 21034720 WITH SCORE 2.1069460757E7
AT ITER 2835 NEW BEST:: SOT 49012459 SOS 34740757 HAS SOPS 23418866 HAS SOUS 21472356 HAS SOUPS 21032325 WITH SCORE 2.1067065757E7
AT ITER 2836 NEW BEST:: SOT 49012478 SOS 34740776 HAS SOPS 23418754 HAS SOUS 21472396 HAS SOUPS 21032213 WITH SCORE 2.1066953776E7
AT ITER 2837 NEW BEST:: SOT 49012478 SOS 34740776 HAS SOPS 23418694 HAS SOUS 21472336 HAS SOUPS 21032153 WITH SCORE 2.1066893776E7
AT ITER 2839 NEW BEST:: SOT 49012431 SOS 34740729 HAS SOPS 23418553 HAS SOUS 21472195 HAS SOUPS 21031965 WITH SCORE 2.1066705729E7
AT ITER 2841 NEW BEST:: SOT 49011924 SOS 34740222 HAS SOPS 23413628 HAS SOUS 21470604 HAS SOUPS 21030374 WITH SCORE 2.1065114222E7
AT ITER 2842 NEW BEST:: SOT 49010911 SOS 34702741 HAS SOPS 23377160 HAS SOUS 21467565 HAS SOUPS 21027335 WITH SCORE 2.1062037741E7
AT ITER 2843 NEW BEST:: SOT 49011555 SOS 34704028 HAS SOPS 23376828 HAS SOUS 21467234 HAS SOUPS 21027004 WITH SCORE 2.1061708028E7
AT ITER 2844 NEW BEST:: SOT 49011555 SOS 34704028 HAS SOPS 23376824 HAS SOUS 21467230 HAS SOUPS 21027000 WITH SCORE 2.1061704028E7
AT ITER 2853 NEW BEST:: SOT 49011555 SOS 34704028 HAS SOPS 23376820 HAS SOUS 21467226 HAS SOUPS 21026996 WITH SCORE 2.1061700028E7
AT ITER 2856 NEW BEST:: SOT 49011922 SOS 34704522 HAS SOPS 23375996 HAS SOUS 21466946 HAS SOUPS 21026172 WITH SCORE 2.1060876522E7
AT ITER 2859 NEW BEST:: SOT 49011922 SOS 34704522 HAS SOPS 23372441 HAS SOUS 21463392 HAS SOUPS 21022618 WITH SCORE 2.1057322522E7
AT ITER 2861 NEW BEST:: SOT 49011922 SOS 34704522 HAS SOPS 23370879 HAS SOUS 21461864 HAS SOUPS 21021090 WITH SCORE 2.1055794522E7
AT ITER 2868 NEW BEST:: SOT 49011922 SOS 34704522 HAS SOPS 23368949 HAS SOUS 21458327 HAS SOUPS 21017137 WITH SCORE 2.1051841522E7
AT ITER 2872 NEW BEST:: SOT 49012039 SOS 34704639 HAS SOPS 23368626 HAS SOUS 21458010 HAS SOUPS 21016814 WITH SCORE 2.1051518639E7
AT ITER 2875 NEW BEST:: SOT 49012039 SOS 34704639 HAS SOPS 23368206 HAS SOUS 21457590 HAS SOUPS 21016394 WITH SCORE 2.1051098639E7
AT ITER 2881 NEW BEST:: SOT 49012989 SOS 34706538 HAS SOPS 23367084 HAS SOUS 21456469 HAS SOUPS 21015273 WITH SCORE 2.1049979538E7
AT ITER 2882 NEW BEST:: SOT 49012989 SOS 34706538 HAS SOPS 23366156 HAS SOUS 21454615 HAS SOUPS 21013419 WITH SCORE 2.1048125538E7
AT ITER 2887 NEW BEST:: SOT 49012989 SOS 34706538 HAS SOPS 23366156 HAS SOUS 21454375 HAS SOUPS 21013179 WITH SCORE 2.1047885538E7
AT ITER 2895 NEW BEST:: SOT 49012989 SOS 34706538 HAS SOPS 23365482 HAS SOUS 21453701 HAS SOUPS 21012505 WITH SCORE 2.1047211538E7
AT ITER 2898 NEW BEST:: SOT 49012989 SOS 34706538 HAS SOPS 23365478 HAS SOUS 21453697 HAS SOUPS 21012501 WITH SCORE 2.1047207538E7
AT ITER 2901 NEW BEST:: SOT 49012989 SOS 34706538 HAS SOPS 23365118 HAS SOUS 21452888 HAS SOUPS 21011783 WITH SCORE 2.1046489538E7
AT ITER 2902 NEW BEST:: SOT 49012989 SOS 34706538 HAS SOPS 23363024 HAS SOUS 21450795 HAS SOUPS 21009690 WITH SCORE 2.1044396538E7
AT ITER 2904 NEW BEST:: SOT 49013089 SOS 34706638 HAS SOPS 23362312 HAS SOUS 21450083 HAS SOUPS 21008978 WITH SCORE 2.1043684638E7
AT ITER 2909 NEW BEST:: SOT 49011202 SOS 34704751 HAS SOPS 23360425 HAS SOUS 21448196 HAS SOUPS 21007091 WITH SCORE 2.1041795751E7
AT ITER 2921 NEW BEST:: SOT 49011202 SOS 34704751 HAS SOPS 23357726 HAS SOUS 21445498 HAS SOUPS 21004393 WITH SCORE 2.1039097751E7
AT ITER 2926 NEW BEST:: SOT 48982367 SOS 34677154 HAS SOPS 23344624 HAS SOUS 21429910 HAS SOUPS 20991291 WITH SCORE 2.1025968154E7
AT ITER 2934 NEW BEST:: SOT 48982238 SOS 34677025 HAS SOPS 23342808 HAS SOUS 21426015 HAS SOUPS 20987396 WITH SCORE 2.1022073025E7
AT ITER 2936 NEW BEST:: SOT 48982238 SOS 34677025 HAS SOPS 23343071 HAS SOUS 21424374 HAS SOUPS 20985755 WITH SCORE 2.1020432025E7
AT ITER 2938 NEW BEST:: SOT 48982238 SOS 34677025 HAS SOPS 23341774 HAS SOUS 21423078 HAS SOUPS 20984459 WITH SCORE 2.1019136025E7
AT ITER 2941 NEW BEST:: SOT 48982238 SOS 34677025 HAS SOPS 23341590 HAS SOUS 21422894 HAS SOUPS 20984275 WITH SCORE 2.1018952025E7
AT ITER 2943 NEW BEST:: SOT 48982238 SOS 34677025 HAS SOPS 23341531 HAS SOUS 21422835 HAS SOUPS 20984216 WITH SCORE 2.1018893025E7
AT ITER 2944 NEW BEST:: SOT 48982238 SOS 34677025 HAS SOPS 23340541 HAS SOUS 21422513 HAS SOUPS 20983560 WITH SCORE 2.1018237025E7
AT ITER 2949 NEW BEST:: SOT 48985053 SOS 34679840 HAS SOPS 23337074 HAS SOUS 21421317 HAS SOUPS 20982153 WITH SCORE 2.101683284E7
AT ITER 2952 NEW BEST:: SOT 48985053 SOS 34679840 HAS SOPS 23336563 HAS SOUS 21419132 HAS SOUPS 20979968 WITH SCORE 2.101464784E7
AT ITER 2958 NEW BEST:: SOT 48984751 SOS 34679538 HAS SOPS 23336261 HAS SOUS 21418830 HAS SOUPS 20979666 WITH SCORE 2.1014345538E7
AT ITER 2960 NEW BEST:: SOT 48984751 SOS 34679538 HAS SOPS 23332406 HAS SOUS 21416903 HAS SOUPS 20977739 WITH SCORE 2.1012418538E7
AT ITER 2964 NEW BEST:: SOT 48982892 SOS 34677679 HAS SOPS 23326828 HAS SOUS 21411820 HAS SOUPS 20970303 WITH SCORE 2.1004980679E7
AT ITER 2965 NEW BEST:: SOT 48981552 SOS 34670979 HAS SOPS 23321154 HAS SOUS 21408826 HAS SOUPS 20967309 WITH SCORE 2.1001979979E7
AT ITER 2969 NEW BEST:: SOT 48981552 SOS 34670979 HAS SOPS 23321183 HAS SOUS 21407533 HAS SOUPS 20966016 WITH SCORE 2.1000686979E7
AT ITER 2972 NEW BEST:: SOT 48981552 SOS 34670979 HAS SOPS 23320569 HAS SOUS 21406919 HAS SOUPS 20965402 WITH SCORE 2.1000072979E7
AT ITER 2974 NEW BEST:: SOT 48981552 SOS 34670979 HAS SOPS 23319034 HAS SOUS 21403297 HAS SOUPS 20961780 WITH SCORE 2.0996450979E7
AT ITER 2990 NEW BEST:: SOT 48981552 SOS 34670979 HAS SOPS 23317492 HAS SOUS 21400215 HAS SOUPS 20958698 WITH SCORE 2.0993368979E7
AT ITER 2992 NEW BEST:: SOT 48982210 SOS 34671637 HAS SOPS 23317268 HAS SOUS 21399991 HAS SOUPS 20958474 WITH SCORE 2.0993145637E7
AT ITER 2995 NEW BEST:: SOT 48982210 SOS 34671637 HAS SOPS 23317139 HAS SOUS 21399861 HAS SOUPS 20958344 WITH SCORE 2.0993015637E7
AT ITER 3000 NEW BEST:: SOT 48981538 SOS 34670965 HAS SOPS 23316467 HAS SOUS 21399091 HAS SOUPS 20957574 WITH SCORE 2.0992244965E7
AT ITER 3005 NEW BEST:: SOT 48982930 SOS 34674121 HAS SOPS 23316326 HAS SOUS 21403738 HAS SOUPS 20957434 WITH SCORE 2.0992108121E7
AT ITER 3013 NEW BEST:: SOT 48982930 SOS 34674121 HAS SOPS 23315764 HAS SOUS 21403734 HAS SOUPS 20956872 WITH SCORE 2.0991546121E7
AT ITER 3018 NEW BEST:: SOT 48982930 SOS 34674121 HAS SOPS 23315759 HAS SOUS 21403729 HAS SOUPS 20956867 WITH SCORE 2.0991541121E7
AT ITER 3023 NEW BEST:: SOT 48982930 SOS 34674121 HAS SOPS 23315379 HAS SOUS 21403349 HAS SOUPS 20956487 WITH SCORE 2.0991161121E7
AT ITER 3024 NEW BEST:: SOT 48982930 SOS 34674121 HAS SOPS 23314963 HAS SOUS 21402933 HAS SOUPS 20956071 WITH SCORE 2.0990745121E7
AT ITER 3025 NEW BEST:: SOT 48982928 SOS 34674119 HAS SOPS 23314963 HAS SOUS 21402933 HAS SOUPS 20956071 WITH SCORE 2.0990745119E7
AT ITER 3027 NEW BEST:: SOT 48982928 SOS 34674119 HAS SOPS 23314639 HAS SOUS 21402932 HAS SOUPS 20956070 WITH SCORE 2.0990744119E7
AT ITER 3029 NEW BEST:: SOT 48982829 SOS 34674020 HAS SOPS 23314196 HAS SOUS 21402489 HAS SOUPS 20955627 WITH SCORE 2.099030102E7
AT ITER 3034 NEW BEST:: SOT 48982829 SOS 34674020 HAS SOPS 23313992 HAS SOUS 21402285 HAS SOUPS 20955423 WITH SCORE 2.099009702E7
AT ITER 3040 NEW BEST:: SOT 48982829 SOS 34674020 HAS SOPS 23313864 HAS SOUS 21402037 HAS SOUPS 20955175 WITH SCORE 2.098984902E7
AT ITER 3050 NEW BEST:: SOT 48982286 SOS 34673477 HAS SOPS 23315003 HAS SOUS 21401118 HAS SOUPS 20954256 WITH SCORE 2.0988929477E7
AT ITER 3057 NEW BEST:: SOT 48980277 SOS 34671468 HAS SOPS 23313919 HAS SOUS 21400033 HAS SOUPS 20953173 WITH SCORE 2.0987844468E7
AT ITER 3058 NEW BEST:: SOT 48979480 SOS 34670671 HAS SOPS 23310875 HAS SOUS 21396086 HAS SOUPS 20949226 WITH SCORE 2.0983896671E7
AT ITER 3059 NEW BEST:: SOT 48979480 SOS 34670671 HAS SOPS 23310361 HAS SOUS 21395060 HAS SOUPS 20948200 WITH SCORE 2.0982870671E7
AT ITER 3062 NEW BEST:: SOT 48979480 SOS 34670671 HAS SOPS 23310838 HAS SOUS 21393958 HAS SOUPS 20947098 WITH SCORE 2.0981768671E7
AT ITER 3063 NEW BEST:: SOT 48979480 SOS 34670671 HAS SOPS 23309094 HAS SOUS 21392216 HAS SOUPS 20945356 WITH SCORE 2.0980026671E7
AT ITER 3068 NEW BEST:: SOT 48980403 SOS 34672186 HAS SOPS 23308575 HAS SOUS 21391698 HAS SOUPS 20944838 WITH SCORE 2.0979510186E7
AT ITER 3070 NEW BEST:: SOT 48979515 SOS 34671298 HAS SOPS 23307687 HAS SOUS 21389922 HAS SOUPS 20943062 WITH SCORE 2.0977733298E7
AT ITER 3074 NEW BEST:: SOT 48978998 SOS 34670781 HAS SOPS 23307580 HAS SOUS 21388948 HAS SOUPS 20942088 WITH SCORE 2.0976758781E7
AT ITER 3078 NEW BEST:: SOT 48978671 SOS 34670454 HAS SOPS 23307578 HAS SOUS 21388294 HAS SOUPS 20941434 WITH SCORE 2.0976104454E7
AT ITER 3080 NEW BEST:: SOT 48978243 SOS 34837122 HAS SOPS 23305743 HAS SOUS 21389585 HAS SOUPS 20939599 WITH SCORE 2.0974436122E7
AT ITER 3081 NEW BEST:: SOT 48978243 SOS 34837122 HAS SOPS 23305652 HAS SOUS 21389387 HAS SOUPS 20939401 WITH SCORE 2.0974238122E7
AT ITER 3085 NEW BEST:: SOT 48978243 SOS 34837122 HAS SOPS 23303752 HAS SOUS 21388437 HAS SOUPS 20938451 WITH SCORE 2.0973288122E7
AT ITER 3087 NEW BEST:: SOT 48979267 SOS 34839069 HAS SOPS 23302684 HAS SOUS 21387370 HAS SOUPS 20937384 WITH SCORE 2.0972223069E7
AT ITER 3088 NEW BEST:: SOT 48979334 SOS 34839202 HAS SOPS 23300695 HAS SOUS 21385382 HAS SOUPS 20935396 WITH SCORE 2.0970235202E7
AT ITER 3093 NEW BEST:: SOT 48979334 SOS 34839202 HAS SOPS 23300694 HAS SOUS 21383520 HAS SOUPS 20933534 WITH SCORE 2.0968373202E7
AT ITER 3107 NEW BEST:: SOT 48980007 SOS 34840547 HAS SOPS 23299273 HAS SOUS 21382100 HAS SOUPS 20932114 WITH SCORE 2.0966954547E7
AT ITER 3108 NEW BEST:: SOT 48980007 SOS 34840547 HAS SOPS 23297738 HAS SOUS 21380565 HAS SOUPS 20930579 WITH SCORE 2.0965419547E7
AT ITER 3110 NEW BEST:: SOT 48980007 SOS 34840547 HAS SOPS 23296763 HAS SOUS 21377948 HAS SOUPS 20927962 WITH SCORE 2.0962802547E7
AT ITER 3113 NEW BEST:: SOT 48980007 SOS 34840547 HAS SOPS 23293958 HAS SOUS 21375143 HAS SOUPS 20925157 WITH SCORE 2.0959997547E7
AT ITER 3116 NEW BEST:: SOT 48980481 SOS 34841394 HAS SOPS 23292382 HAS SOUS 21375330 HAS SOUPS 20924889 WITH SCORE 2.0959730394E7
AT ITER 3134 NEW BEST:: SOT 48980363 SOS 34841276 HAS SOPS 23293562 HAS SOUS 21374703 HAS SOUPS 20924262 WITH SCORE 2.0959103276E7
AT ITER 3136 NEW BEST:: SOT 48980363 SOS 34841276 HAS SOPS 23294648 HAS SOUS 21374208 HAS SOUPS 20923767 WITH SCORE 2.0958608276E7
AT ITER 3137 NEW BEST:: SOT 48980363 SOS 34841276 HAS SOPS 23290038 HAS SOUS 21371118 HAS SOUPS 20920129 WITH SCORE 2.0954970276E7
AT ITER 3139 NEW BEST:: SOT 48980363 SOS 34841276 HAS SOPS 23290214 HAS SOUS 21369200 HAS SOUPS 20918211 WITH SCORE 2.0953052276E7
AT ITER 3148 NEW BEST:: SOT 48980363 SOS 34841276 HAS SOPS 23289373 HAS SOUS 21368360 HAS SOUPS 20917371 WITH SCORE 2.0952212276E7
AT ITER 3150 NEW BEST:: SOT 48980363 SOS 34841276 HAS SOPS 23290679 HAS SOUS 21367580 HAS SOUPS 20916591 WITH SCORE 2.0951432276E7
AT ITER 3154 NEW BEST:: SOT 48980363 SOS 34841276 HAS SOPS 23285928 HAS SOUS 21365744 HAS SOUPS 20913542 WITH SCORE 2.0948383276E7
AT ITER 3156 NEW BEST:: SOT 48980363 SOS 34841276 HAS SOPS 23284921 HAS SOUS 21362730 HAS SOUPS 20910528 WITH SCORE 2.0945369276E7
AT ITER 3161 NEW BEST:: SOT 48980363 SOS 34841276 HAS SOPS 23282456 HAS SOUS 21358831 HAS SOUPS 20906629 WITH SCORE 2.0941470276E7
AT ITER 3167 NEW BEST:: SOT 48979968 SOS 34840881 HAS SOPS 23281666 HAS SOUS 21358436 HAS SOUPS 20906234 WITH SCORE 2.0941074881E7
AT ITER 3171 NEW BEST:: SOT 48980131 SOS 34841044 HAS SOPS 23281179 HAS SOUS 21357949 HAS SOUPS 20905747 WITH SCORE 2.0940588044E7
AT ITER 3186 NEW BEST:: SOT 48979786 SOS 34840354 HAS SOPS 23280476 HAS SOUS 21357246 HAS SOUPS 20905044 WITH SCORE 2.0939884354E7
AT ITER 3189 NEW BEST:: SOT 48980583 SOS 34841151 HAS SOPS 23280360 HAS SOUS 21357131 HAS SOUPS 20904929 WITH SCORE 2.0939770151E7
AT ITER 3202 NEW BEST:: SOT 48980583 SOS 34841151 HAS SOPS 23278288 HAS SOUS 21355060 HAS SOUPS 20902858 WITH SCORE 2.0937699151E7
AT ITER 3203 NEW BEST:: SOT 48980926 SOS 34841494 HAS SOPS 23278109 HAS SOUS 21354881 HAS SOUPS 20902679 WITH SCORE 2.0937520494E7
AT ITER 3206 NEW BEST:: SOT 48980634 SOS 34841202 HAS SOPS 23276341 HAS SOUS 21353329 HAS SOUPS 20900871 WITH SCORE 2.0935712202E7
AT ITER 3207 NEW BEST:: SOT 48981750 SOS 34842761 HAS SOPS 23275595 HAS SOUS 21352584 HAS SOUPS 20900126 WITH SCORE 2.0934968761E7
AT ITER 3209 NEW BEST:: SOT 48981750 SOS 34842761 HAS SOPS 23275591 HAS SOUS 21352640 HAS SOUPS 20900122 WITH SCORE 2.0934964761E7
AT ITER 3213 NEW BEST:: SOT 48981750 SOS 34842761 HAS SOPS 23275505 HAS SOUS 21352554 HAS SOUPS 20900036 WITH SCORE 2.0934878761E7
AT ITER 3219 NEW BEST:: SOT 48981750 SOS 34842761 HAS SOPS 23275463 HAS SOUS 21352102 HAS SOUPS 20899293 WITH SCORE 2.0934135761E7
AT ITER 3224 NEW BEST:: SOT 48981750 SOS 34842761 HAS SOPS 23275480 HAS SOUS 21352101 HAS SOUPS 20899292 WITH SCORE 2.0934134761E7
AT ITER 3227 NEW BEST:: SOT 48981840 SOS 34834900 HAS SOPS 23276321 HAS SOUS 21341880 HAS SOUPS 20889822 WITH SCORE 2.09246569E7
AT ITER 3230 NEW BEST:: SOT 48981840 SOS 34834900 HAS SOPS 23277554 HAS SOUS 21341876 HAS SOUPS 20889818 WITH SCORE 2.09246529E7
AT ITER 3231 NEW BEST:: SOT 48982152 SOS 34835212 HAS SOPS 23277037 HAS SOUS 21343068 HAS SOUPS 20889301 WITH SCORE 2.0924136212E7
AT ITER 3232 NEW BEST:: SOT 48982073 SOS 34835133 HAS SOPS 23276879 HAS SOUS 21342910 HAS SOUPS 20889143 WITH SCORE 2.0923978133E7
AT ITER 3233 NEW BEST:: SOT 48981692 SOS 34834752 HAS SOPS 23276117 HAS SOUS 21342148 HAS SOUPS 20888381 WITH SCORE 2.0923215752E7
AT ITER 3234 NEW BEST:: SOT 48981572 SOS 34834632 HAS SOPS 23275968 HAS SOUS 21341964 HAS SOUPS 20888113 WITH SCORE 2.0922947632E7
AT ITER 3240 NEW BEST:: SOT 48981572 SOS 34834632 HAS SOPS 23274714 HAS SOUS 21339581 HAS SOUPS 20885305 WITH SCORE 2.0920139632E7
AT ITER 3245 NEW BEST:: SOT 48981572 SOS 34834632 HAS SOPS 23275140 HAS SOUS 21339580 HAS SOUPS 20885304 WITH SCORE 2.0920138632E7
AT ITER 3246 NEW BEST:: SOT 48981572 SOS 34834632 HAS SOPS 23274751 HAS SOUS 21339191 HAS SOUPS 20884915 WITH SCORE 2.0919749632E7
AT ITER 3254 NEW BEST:: SOT 48981089 SOS 34834149 HAS SOPS 23272505 HAS SOUS 21335931 HAS SOUPS 20881655 WITH SCORE 2.0916489149E7
AT ITER 3255 NEW BEST:: SOT 48981089 SOS 34834149 HAS SOPS 23272503 HAS SOUS 21335928 HAS SOUPS 20881652 WITH SCORE 2.0916486149E7
AT ITER 3256 NEW BEST:: SOT 48981089 SOS 34834149 HAS SOPS 23271805 HAS SOUS 21335230 HAS SOUPS 20880954 WITH SCORE 2.0915788149E7
AT ITER 3258 NEW BEST:: SOT 48981643 SOS 34834963 HAS SOPS 23270628 HAS SOUS 21334395 HAS SOUPS 20879778 WITH SCORE 2.0914612963E7
AT ITER 3259 NEW BEST:: SOT 48981643 SOS 34834963 HAS SOPS 23268587 HAS SOUS 21330507 HAS SOUPS 20875890 WITH SCORE 2.0910724963E7
AT ITER 3261 NEW BEST:: SOT 48981643 SOS 34834963 HAS SOPS 23267452 HAS SOUS 21328739 HAS SOUPS 20874122 WITH SCORE 2.0908956963E7
AT ITER 3270 NEW BEST:: SOT 48981703 SOS 34835023 HAS SOPS 23265552 HAS SOUS 21327509 HAS SOUPS 20872223 WITH SCORE 2.0907058023E7
AT ITER 3282 NEW BEST:: SOT 48981703 SOS 34835023 HAS SOPS 23266240 HAS SOUS 21327508 HAS SOUPS 20872222 WITH SCORE 2.0907057023E7
AT ITER 3283 NEW BEST:: SOT 48983114 SOS 34837562 HAS SOPS 23265665 HAS SOUS 21326934 HAS SOUPS 20871648 WITH SCORE 2.0906485562E7
AT ITER 3285 NEW BEST:: SOT 48983114 SOS 34837562 HAS SOPS 23265429 HAS SOUS 21326800 HAS SOUPS 20871412 WITH SCORE 2.0906249562E7
AT ITER 3286 NEW BEST:: SOT 48983141 SOS 34837589 HAS SOPS 23264326 HAS SOUS 21326262 HAS SOUPS 20870309 WITH SCORE 2.0905146589E7
AT ITER 3287 NEW BEST:: SOT 48983141 SOS 34837589 HAS SOPS 23264327 HAS SOUS 21325667 HAS SOUPS 20869714 WITH SCORE 2.0904551589E7
AT ITER 3290 NEW BEST:: SOT 48983141 SOS 34837589 HAS SOPS 23262606 HAS SOUS 21322917 HAS SOUPS 20866964 WITH SCORE 2.0901801589E7
AT ITER 3295 NEW BEST:: SOT 48983200 SOS 34837706 HAS SOPS 23260653 HAS SOUS 21321017 HAS SOUPS 20865012 WITH SCORE 2.0899849706E7
AT ITER 3296 NEW BEST:: SOT 48982571 SOS 34837077 HAS SOPS 23259810 HAS SOUS 21320335 HAS SOUPS 20863955 WITH SCORE 2.0898792077E7
AT ITER 3300 NEW BEST:: SOT 48981215 SOS 34834365 HAS SOPS 23257912 HAS SOUS 21318437 HAS SOUPS 20862057 WITH SCORE 2.0896891365E7
AT ITER 3311 NEW BEST:: SOT 48981215 SOS 34834365 HAS SOPS 23257911 HAS SOUS 21317810 HAS SOUPS 20861430 WITH SCORE 2.0896264365E7
AT ITER 3313 NEW BEST:: SOT 48982896 SOS 34836046 HAS SOPS 23258788 HAS SOUS 21317007 HAS SOUPS 20860627 WITH SCORE 2.0895463046E7
AT ITER 3319 NEW BEST:: SOT 48982896 SOS 34836046 HAS SOPS 23258354 HAS SOUS 21316573 HAS SOUPS 20860193 WITH SCORE 2.0895029046E7
AT ITER 3342 NEW BEST:: SOT 48982896 SOS 34836046 HAS SOPS 23260343 HAS SOUS 21316572 HAS SOUPS 20860192 WITH SCORE 2.0895028046E7
AT ITER 3347 NEW BEST:: SOT 48982896 SOS 34836046 HAS SOPS 23258982 HAS SOUS 21315212 HAS SOUPS 20858832 WITH SCORE 2.0893668046E7
AT ITER 3348 NEW BEST:: SOT 48982911 SOS 34838629 HAS SOPS 23257789 HAS SOUS 21314019 HAS SOUPS 20857639 WITH SCORE 2.0892477629E7
AT ITER 3350 NEW BEST:: SOT 48985056 SOS 34840774 HAS SOPS 23259088 HAS SOUS 21313447 HAS SOUPS 20856961 WITH SCORE 2.0891801774E7
AT ITER 3355 NEW BEST:: SOT 48985056 SOS 34840774 HAS SOPS 23258928 HAS SOUS 21313395 HAS SOUPS 20856801 WITH SCORE 2.0891641774E7
AT ITER 3356 NEW BEST:: SOT 48985056 SOS 34840774 HAS SOPS 23256793 HAS SOUS 21312328 HAS SOUPS 20854667 WITH SCORE 2.0889507774E7
AT ITER 3362 NEW BEST:: SOT 48985056 SOS 34840774 HAS SOPS 23256220 HAS SOUS 21311755 HAS SOUPS 20854094 WITH SCORE 2.0888934774E7
AT ITER 3365 NEW BEST:: SOT 48985056 SOS 34840710 HAS SOPS 23256220 HAS SOUS 21311755 HAS SOUPS 20854094 WITH SCORE 2.088893471E7
AT ITER 3370 NEW BEST:: SOT 48984690 SOS 34840344 HAS SOPS 23253858 HAS SOUS 21311146 HAS SOUPS 20853485 WITH SCORE 2.0888325344E7
AT ITER 3376 NEW BEST:: SOT 48984690 SOS 34840344 HAS SOPS 23255738 HAS SOUS 21311126 HAS SOUPS 20853465 WITH SCORE 2.0888305344E7
AT ITER 3378 NEW BEST:: SOT 48984529 SOS 34840075 HAS SOPS 23255054 HAS SOUS 21310442 HAS SOUPS 20852781 WITH SCORE 2.0887621075E7
AT ITER 3380 NEW BEST:: SOT 48984529 SOS 34840075 HAS SOPS 23255054 HAS SOUS 21310252 HAS SOUPS 20852591 WITH SCORE 2.0887431075E7
AT ITER 3381 NEW BEST:: SOT 48985791 SOS 34841337 HAS SOPS 23254504 HAS SOUS 21309702 HAS SOUPS 20852041 WITH SCORE 2.0886882337E7
AT ITER 3390 NEW BEST:: SOT 48986009 SOS 34843190 HAS SOPS 23256590 HAS SOUS 21308576 HAS SOUPS 20850915 WITH SCORE 2.088575819E7
AT ITER 3392 NEW BEST:: SOT 48987268 SOS 34844449 HAS SOPS 23256316 HAS SOUS 21308876 HAS SOUPS 20850641 WITH SCORE 2.0885485449E7
AT ITER 3395 NEW BEST:: SOT 48987268 SOS 34844449 HAS SOPS 23254502 HAS SOUS 21305055 HAS SOUPS 20846820 WITH SCORE 2.0881664449E7
AT ITER 3396 NEW BEST:: SOT 48987429 SOS 34844610 HAS SOPS 23252798 HAS SOUS 21303352 HAS SOUPS 20845117 WITH SCORE 2.087996161E7
AT ITER 3404 NEW BEST:: SOT 48987429 SOS 34844610 HAS SOPS 23252822 HAS SOUS 21301308 HAS SOUPS 20843073 WITH SCORE 2.087791761E7
AT ITER 3406 NEW BEST:: SOT 48987429 SOS 34844610 HAS SOPS 23253565 HAS SOUS 21301006 HAS SOUPS 20842771 WITH SCORE 2.087761561E7
AT ITER 3407 NEW BEST:: SOT 48987429 SOS 34844610 HAS SOPS 23253564 HAS SOUS 21299907 HAS SOUPS 20841672 WITH SCORE 2.087651661E7
AT ITER 3408 NEW BEST:: SOT 48988410 SOS 34845591 HAS SOPS 23252769 HAS SOUS 21299725 HAS SOUPS 20841490 WITH SCORE 2.0876335591E7
AT ITER 3409 NEW BEST:: SOT 48987630 SOS 34843021 HAS SOPS 23250429 HAS SOUS 21297385 HAS SOUPS 20839150 WITH SCORE 2.0873993021E7
AT ITER 3418 NEW BEST:: SOT 48987630 SOS 34843021 HAS SOPS 23250306 HAS SOUS 21297139 HAS SOUPS 20838904 WITH SCORE 2.0873747021E7
AT ITER 3420 NEW BEST:: SOT 48987692 SOS 34843083 HAS SOPS 23250306 HAS SOUS 21297077 HAS SOUPS 20838842 WITH SCORE 2.0873685083E7
AT ITER 3423 NEW BEST:: SOT 48987692 SOS 34843083 HAS SOPS 23249896 HAS SOUS 21295004 HAS SOUPS 20836769 WITH SCORE 2.0871612083E7
AT ITER 3430 NEW BEST:: SOT 48987692 SOS 34842307 HAS SOPS 23248578 HAS SOUS 21295002 HAS SOUPS 20836767 WITH SCORE 2.0871609307E7
AT ITER 3449 NEW BEST:: SOT 48987525 SOS 34842140 HAS SOPS 23248484 HAS SOUS 21293381 HAS SOUPS 20835146 WITH SCORE 2.086998814E7
AT ITER 3450 NEW BEST:: SOT 48987525 SOS 34842140 HAS SOPS 23248374 HAS SOUS 21293272 HAS SOUPS 20835037 WITH SCORE 2.086987914E7
AT ITER 3452 NEW BEST:: SOT 48987660 SOS 34842275 HAS SOPS 23247750 HAS SOUS 21292856 HAS SOUPS 20834413 WITH SCORE 2.0869255275E7
AT ITER 3463 NEW BEST:: SOT 48987660 SOS 34842275 HAS SOPS 23247746 HAS SOUS 21292852 HAS SOUPS 20834409 WITH SCORE 2.0869251275E7
AT ITER 3465 NEW BEST:: SOT 48988289 SOS 34843354 HAS SOPS 23246311 HAS SOUS 21291418 HAS SOUPS 20832975 WITH SCORE 2.0867818354E7
AT ITER 3484 NEW BEST:: SOT 48987895 SOS 34842960 HAS SOPS 23245917 HAS SOUS 21291024 HAS SOUPS 20832581 WITH SCORE 2.086742396E7
AT ITER 3486 NEW BEST:: SOT 48987895 SOS 34842960 HAS SOPS 23245913 HAS SOUS 21291029 HAS SOUPS 20832577 WITH SCORE 2.086741996E7
AT ITER 3489 NEW BEST:: SOT 48987895 SOS 34842960 HAS SOPS 23245571 HAS SOUS 21290687 HAS SOUPS 20832235 WITH SCORE 2.086707796E7
AT ITER 3493 NEW BEST:: SOT 48987802 SOS 34842867 HAS SOPS 23245385 HAS SOUS 21290206 HAS SOUPS 20832049 WITH SCORE 2.0866891867E7
AT ITER 3495 NEW BEST:: SOT 48987802 SOS 34842867 HAS SOPS 23245385 HAS SOUS 21290047 HAS SOUPS 20831890 WITH SCORE 2.0866732867E7
AT ITER 3498 NEW BEST:: SOT 49040270 SOS 34832235 HAS SOPS 23186614 HAS SOUS 21292446 HAS SOUPS 20831570 WITH SCORE 2.0866402235E7
AT ITER 3500 NEW BEST:: SOT 49040165 SOS 34832085 HAS SOPS 23186530 HAS SOUS 21292361 HAS SOUPS 20831485 WITH SCORE 2.0866317085E7
AT ITER 3501 NEW BEST:: SOT 49040165 SOS 34832085 HAS SOPS 23186432 HAS SOUS 21291524 HAS SOUPS 20830648 WITH SCORE 2.0865480085E7
AT ITER 3510 NEW BEST:: SOT 49040821 SOS 34833396 HAS SOPS 23185036 HAS SOUS 21290129 HAS SOUPS 20829253 WITH SCORE 2.0864086396E7
AT ITER 3515 NEW BEST:: SOT 49040821 SOS 34833396 HAS SOPS 23184038 HAS SOUS 21288737 HAS SOUPS 20827861 WITH SCORE 2.0862694396E7
AT ITER 3518 NEW BEST:: SOT 49040821 SOS 34833396 HAS SOPS 23183168 HAS SOUS 21287868 HAS SOUPS 20826992 WITH SCORE 2.0861825396E7
AT ITER 3520 NEW BEST:: SOT 49040821 SOS 34833736 HAS SOPS 23181140 HAS SOUS 21289085 HAS SOUPS 20824965 WITH SCORE 2.0859798736E7
AT ITER 3524 NEW BEST:: SOT 49040542 SOS 34833457 HAS SOPS 23179055 HAS SOUS 21285967 HAS SOUPS 20821847 WITH SCORE 2.0856680457E7
AT ITER 3535 NEW BEST:: SOT 49040542 SOS 34833457 HAS SOPS 23176291 HAS SOUS 21283048 HAS SOUPS 20818928 WITH SCORE 2.0853761457E7
AT ITER 3536 NEW BEST:: SOT 49040542 SOS 34833457 HAS SOPS 23175634 HAS SOUS 21282391 HAS SOUPS 20818271 WITH SCORE 2.0853104457E7
AT ITER 3540 NEW BEST:: SOT 49040542 SOS 34833457 HAS SOPS 23175456 HAS SOUS 21282036 HAS SOUPS 20817916 WITH SCORE 2.0852749457E7
AT ITER 3550 NEW BEST:: SOT 49040052 SOS 34832967 HAS SOPS 23170324 HAS SOUS 21279005 HAS SOUPS 20814885 WITH SCORE 2.0849717967E7
AT ITER 3558 NEW BEST:: SOT 49039628 SOS 34770844 HAS SOPS 23104425 HAS SOUS 21271904 HAS SOUPS 20807784 WITH SCORE 2.0842554844E7
AT ITER 3566 NEW BEST:: SOT 49039870 SOS 34769035 HAS SOPS 23104358 HAS SOUS 21271837 HAS SOUPS 20807717 WITH SCORE 2.0842486035E7
AT ITER 3568 NEW BEST:: SOT 49040116 SOS 34769526 HAS SOPS 23102516 HAS SOUS 21269996 HAS SOUPS 20805876 WITH SCORE 2.0840645526E7
AT ITER 3572 NEW BEST:: SOT 49040650 SOS 34770060 HAS SOPS 23102268 HAS SOUS 21269748 HAS SOUPS 20805628 WITH SCORE 2.084039806E7
AT ITER 3574 NEW BEST:: SOT 49040650 SOS 34770060 HAS SOPS 23102432 HAS SOUS 21267898 HAS SOUPS 20803778 WITH SCORE 2.083854806E7
AT ITER 3580 NEW BEST:: SOT 49040650 SOS 34770060 HAS SOPS 23100301 HAS SOUS 21266092 HAS SOUPS 20801972 WITH SCORE 2.083674206E7
AT ITER 3582 NEW BEST:: SOT 49041542 SOS 34771843 HAS SOPS 23099123 HAS SOUS 21264915 HAS SOUPS 20800795 WITH SCORE 2.0835566843E7
AT ITER 3592 NEW BEST:: SOT 49041797 SOS 34772098 HAS SOPS 23098931 HAS SOUS 21264724 HAS SOUPS 20800604 WITH SCORE 2.0835376098E7
AT ITER 3595 NEW BEST:: SOT 49041797 SOS 34772098 HAS SOPS 23098842 HAS SOUS 21264635 HAS SOUPS 20800515 WITH SCORE 2.0835287098E7
AT ITER 3597 NEW BEST:: SOT 49041797 SOS 34772098 HAS SOPS 23097527 HAS SOUS 21263019 HAS SOUPS 20798899 WITH SCORE 2.0833671098E7
AT ITER 3599 NEW BEST:: SOT 49041797 SOS 34772098 HAS SOPS 23097715 HAS SOUS 21262637 HAS SOUPS 20798517 WITH SCORE 2.0833289098E7
AT ITER 3611 NEW BEST:: SOT 49041797 SOS 34772098 HAS SOPS 23097937 HAS SOUS 21261062 HAS SOUPS 20796942 WITH SCORE 2.0831714098E7
AT ITER 3612 NEW BEST:: SOT 49041797 SOS 34772098 HAS SOPS 23094297 HAS SOUS 21259507 HAS SOUPS 20795387 WITH SCORE 2.0830159098E7
AT ITER 3614 NEW BEST:: SOT 49041797 SOS 34772098 HAS SOPS 23094050 HAS SOUS 21259260 HAS SOUPS 20795140 WITH SCORE 2.0829912098E7
AT ITER 3619 NEW BEST:: SOT 49043846 SOS 34774147 HAS SOPS 23092001 HAS SOUS 21257211 HAS SOUPS 20793091 WITH SCORE 2.0827865147E7
AT ITER 3624 NEW BEST:: SOT 49043846 SOS 34774147 HAS SOPS 23091027 HAS SOUS 21256237 HAS SOUPS 20792117 WITH SCORE 2.0826891147E7
AT ITER 3627 NEW BEST:: SOT 49043846 SOS 34774147 HAS SOPS 23089818 HAS SOUS 21252943 HAS SOUPS 20788823 WITH SCORE 2.0823597147E7
AT ITER 3630 NEW BEST:: SOT 49043846 SOS 34774880 HAS SOPS 23089710 HAS SOUS 21253568 HAS SOUPS 20788715 WITH SCORE 2.082348988E7
AT ITER 3631 NEW BEST:: SOT 49043578 SOS 34776271 HAS SOPS 23090832 HAS SOUS 21253031 HAS SOUPS 20788178 WITH SCORE 2.0822954271E7
AT ITER 3644 NEW BEST:: SOT 49043516 SOS 34776209 HAS SOPS 23090830 HAS SOUS 21252921 HAS SOUPS 20788068 WITH SCORE 2.0822844209E7
AT ITER 3651 NEW BEST:: SOT 49043233 SOS 34775926 HAS SOPS 23089756 HAS SOUS 21251996 HAS SOUPS 20787701 WITH SCORE 2.0822476926E7
AT ITER 3652 NEW BEST:: SOT 49043233 SOS 34775926 HAS SOPS 23089701 HAS SOUS 21251942 HAS SOUPS 20787647 WITH SCORE 2.0822422926E7
AT ITER 3656 NEW BEST:: SOT 49043217 SOS 34775910 HAS SOPS 23089669 HAS SOUS 21251910 HAS SOUPS 20787615 WITH SCORE 2.082239091E7
AT ITER 3666 NEW BEST:: SOT 49044602 SOS 34778704 HAS SOPS 23082742 HAS SOUS 21248452 HAS SOUPS 20780689 WITH SCORE 2.0815467704E7
AT ITER 3668 NEW BEST:: SOT 49043928 SOS 34820031 HAS SOPS 23081633 HAS SOUS 21247778 HAS SOUPS 20779580 WITH SCORE 2.0814400031E7
AT ITER 3674 NEW BEST:: SOT 49043872 SOS 34819919 HAS SOPS 23081577 HAS SOUS 21247722 HAS SOUPS 20779524 WITH SCORE 2.0814343919E7
AT ITER 3675 NEW BEST:: SOT 49043970 SOS 34820114 HAS SOPS 23080036 HAS SOUS 21246844 HAS SOUPS 20778646 WITH SCORE 2.0813466114E7
AT ITER 3676 NEW BEST:: SOT 49043970 SOS 34820454 HAS SOPS 23077425 HAS SOUS 21244908 HAS SOUPS 20776597 WITH SCORE 2.0811417454E7
AT ITER 3677 NEW BEST:: SOT 49043970 SOS 34820454 HAS SOPS 23077231 HAS SOUS 21243910 HAS SOUPS 20775599 WITH SCORE 2.0810419454E7
AT ITER 3678 NEW BEST:: SOT 49043970 SOS 34820454 HAS SOPS 23075598 HAS SOUS 21240646 HAS SOUPS 20772335 WITH SCORE 2.0807155454E7
AT ITER 3679 NEW BEST:: SOT 49043970 SOS 34820454 HAS SOPS 23074124 HAS SOUS 21240124 HAS SOUPS 20771813 WITH SCORE 2.0806633454E7
AT ITER 3680 NEW BEST:: SOT 49043970 SOS 34820454 HAS SOPS 23074572 HAS SOUS 21240079 HAS SOUPS 20771768 WITH SCORE 2.0806588454E7
AT ITER 3691 NEW BEST:: SOT 49043970 SOS 34820454 HAS SOPS 23073929 HAS SOUS 21238793 HAS SOUPS 20770482 WITH SCORE 2.0805302454E7
AT ITER 3695 NEW BEST:: SOT 49060802 SOS 34822606 HAS SOPS 23094594 HAS SOUS 21235153 HAS SOUPS 20768267 WITH SCORE 2.0803089606E7
AT ITER 3711 NEW BEST:: SOT 49059851 SOS 34821655 HAS SOPS 23092868 HAS SOUS 21233427 HAS SOUPS 20766541 WITH SCORE 2.0801362655E7
AT ITER 3713 NEW BEST:: SOT 49059857 SOS 34821661 HAS SOPS 23091045 HAS SOUS 21233502 HAS SOUPS 20764718 WITH SCORE 2.0799539661E7
AT ITER 3719 NEW BEST:: SOT 49059547 SOS 34821351 HAS SOPS 23091045 HAS SOUS 21233502 HAS SOUPS 20764718 WITH SCORE 2.0799539351E7
AT ITER 3721 NEW BEST:: SOT 49058096 SOS 34819900 HAS SOPS 23088931 HAS SOUS 21231388 HAS SOUPS 20762604 WITH SCORE 2.07974239E7
AT ITER 3727 NEW BEST:: SOT 49058096 SOS 34819900 HAS SOPS 23088635 HAS SOUS 21231092 HAS SOUPS 20762308 WITH SCORE 2.07971279E7
AT ITER 3743 NEW BEST:: SOT 49057569 SOS 34886008 HAS SOPS 23087404 HAS SOUS 21230565 HAS SOUPS 20761077 WITH SCORE 2.0795963008E7
AT ITER 3746 NEW BEST:: SOT 49057389 SOS 34885828 HAS SOPS 23087044 HAS SOUS 21230385 HAS SOUPS 20760897 WITH SCORE 2.0795782828E7
AT ITER 3751 NEW BEST:: SOT 49057389 SOS 34885828 HAS SOPS 23087891 HAS SOUS 21229445 HAS SOUPS 20759957 WITH SCORE 2.0794842828E7
AT ITER 3757 NEW BEST:: SOT 49057389 SOS 34885828 HAS SOPS 23087422 HAS SOUS 21228976 HAS SOUPS 20759488 WITH SCORE 2.0794373828E7
AT ITER 3759 NEW BEST:: SOT 49058087 SOS 34887658 HAS SOPS 23086032 HAS SOUS 21227587 HAS SOUPS 20758099 WITH SCORE 2.0792986658E7
AT ITER 3762 NEW BEST:: SOT 49058087 SOS 34887658 HAS SOPS 23085994 HAS SOUS 21227550 HAS SOUPS 20758062 WITH SCORE 2.0792949658E7
AT ITER 3768 NEW BEST:: SOT 49056669 SOS 34885457 HAS SOPS 23083657 HAS SOUS 21225213 HAS SOUPS 20755725 WITH SCORE 2.0790610457E7
AT ITER 3769 NEW BEST:: SOT 49056669 SOS 34885457 HAS SOPS 23083581 HAS SOUS 21225137 HAS SOUPS 20755649 WITH SCORE 2.0790534457E7
AT ITER 3781 NEW BEST:: SOT 49056669 SOS 34885457 HAS SOPS 23084323 HAS SOUS 21225136 HAS SOUPS 20755648 WITH SCORE 2.0790533457E7
AT ITER 3785 NEW BEST:: SOT 49057359 SOS 34886147 HAS SOPS 23084042 HAS SOUS 21224855 HAS SOUPS 20755367 WITH SCORE 2.0790253147E7
AT ITER 3787 NEW BEST:: SOT 49057359 SOS 34886147 HAS SOPS 23083274 HAS SOUS 21224088 HAS SOUPS 20754600 WITH SCORE 2.0789486147E7
AT ITER 3788 NEW BEST:: SOT 49057359 SOS 34886147 HAS SOPS 23079085 HAS SOUS 21219901 HAS SOUPS 20750413 WITH SCORE 2.0785299147E7
AT ITER 3803 NEW BEST:: SOT 49055644 SOS 34884432 HAS SOPS 23076586 HAS SOUS 21217121 HAS SOUPS 20747914 WITH SCORE 2.0782798432E7
AT ITER 3812 NEW BEST:: SOT 49055644 SOS 34884432 HAS SOPS 23076431 HAS SOUS 21216966 HAS SOUPS 20747759 WITH SCORE 2.0782643432E7
AT ITER 3818 NEW BEST:: SOT 49055644 SOS 34884432 HAS SOPS 23075367 HAS SOUS 21215904 HAS SOUPS 20746697 WITH SCORE 2.0781581432E7
AT ITER 3821 NEW BEST:: SOT 49055644 SOS 34884432 HAS SOPS 23074285 HAS SOUS 21214281 HAS SOUPS 20745074 WITH SCORE 2.0779958432E7
AT ITER 3847 NEW BEST:: SOT 49052292 SOS 34881080 HAS SOPS 23072259 HAS SOUS 21212256 HAS SOUPS 20743049 WITH SCORE 2.077793008E7
AT ITER 3848 NEW BEST:: SOT 49052292 SOS 34881080 HAS SOPS 23071795 HAS SOUS 21211980 HAS SOUPS 20742585 WITH SCORE 2.077746608E7
AT ITER 3849 NEW BEST:: SOT 49052292 SOS 34881080 HAS SOPS 23071401 HAS SOUS 21211586 HAS SOUPS 20742191 WITH SCORE 2.077707208E7
AT ITER 3850 NEW BEST:: SOT 49052292 SOS 34881080 HAS SOPS 23071400 HAS SOUS 21209762 HAS SOUPS 20740367 WITH SCORE 2.077524808E7
AT ITER 3862 NEW BEST:: SOT 49052020 SOS 34880808 HAS SOPS 23070855 HAS SOUS 21209218 HAS SOUPS 20739823 WITH SCORE 2.0774703808E7
AT ITER 3863 NEW BEST:: SOT 49052020 SOS 34880808 HAS SOPS 23070062 HAS SOUS 21208437 HAS SOUPS 20739030 WITH SCORE 2.0773910808E7
AT ITER 3864 NEW BEST:: SOT 49051932 SOS 34880720 HAS SOPS 23069710 HAS SOUS 21208085 HAS SOUPS 20738678 WITH SCORE 2.077355872E7
AT ITER 3865 NEW BEST:: SOT 49051932 SOS 34880720 HAS SOPS 23068991 HAS SOUS 21205277 HAS SOUPS 20735870 WITH SCORE 2.077075072E7
AT ITER 3872 NEW BEST:: SOT 49051932 SOS 34880720 HAS SOPS 23068991 HAS SOUS 21204862 HAS SOUPS 20735455 WITH SCORE 2.077033572E7
AT ITER 3875 NEW BEST:: SOT 49051932 SOS 34880720 HAS SOPS 23068773 HAS SOUS 21204644 HAS SOUPS 20735237 WITH SCORE 2.077011772E7
AT ITER 3879 NEW BEST:: SOT 49051894 SOS 34880682 HAS SOPS 23067990 HAS SOUS 21203734 HAS SOUPS 20734454 WITH SCORE 2.0769334682E7
AT ITER 3883 NEW BEST:: SOT 49051894 SOS 34880682 HAS SOPS 23067118 HAS SOUS 21201674 HAS SOUPS 20732394 WITH SCORE 2.0767274682E7
AT ITER 3890 NEW BEST:: SOT 49051894 SOS 34880682 HAS SOPS 23065988 HAS SOUS 21199015 HAS SOUPS 20729735 WITH SCORE 2.0764615682E7
AT ITER 3897 NEW BEST:: SOT 49051894 SOS 34880682 HAS SOPS 23066901 HAS SOUS 21199010 HAS SOUPS 20729730 WITH SCORE 2.0764610682E7
AT ITER 3898 NEW BEST:: SOT 49051894 SOS 34880682 HAS SOPS 23067531 HAS SOUS 21198428 HAS SOUPS 20729148 WITH SCORE 2.0764028682E7
AT ITER 3902 NEW BEST:: SOT 49052755 SOS 34881543 HAS SOPS 23067279 HAS SOUS 21198176 HAS SOUPS 20728896 WITH SCORE 2.0763777543E7
AT ITER 3908 NEW BEST:: SOT 49076778 SOS 34891700 HAS SOPS 23097166 HAS SOUS 21193349 HAS SOUPS 20725535 WITH SCORE 2.07604267E7
AT ITER 3912 NEW BEST:: SOT 49077358 SOS 34892280 HAS SOPS 23095420 HAS SOUS 21191603 HAS SOUPS 20723789 WITH SCORE 2.075868128E7
AT ITER 3915 NEW BEST:: SOT 49077358 SOS 34892280 HAS SOPS 23094168 HAS SOUS 21190351 HAS SOUPS 20722537 WITH SCORE 2.075742928E7
AT ITER 3919 NEW BEST:: SOT 49077358 SOS 34892280 HAS SOPS 23092266 HAS SOUS 21188449 HAS SOUPS 20720635 WITH SCORE 2.075552728E7
AT ITER 3923 NEW BEST:: SOT 49077358 SOS 34892280 HAS SOPS 23092233 HAS SOUS 21188417 HAS SOUPS 20720603 WITH SCORE 2.075549528E7
AT ITER 3928 NEW BEST:: SOT 49077180 SOS 34891924 HAS SOPS 23092055 HAS SOUS 21188239 HAS SOUPS 20720425 WITH SCORE 2.0755316924E7
AT ITER 3933 NEW BEST:: SOT 49077180 SOS 34891924 HAS SOPS 23091223 HAS SOUS 21187823 HAS SOUPS 20719593 WITH SCORE 2.0754484924E7
AT ITER 3935 NEW BEST:: SOT 49077180 SOS 34891924 HAS SOPS 23091219 HAS SOUS 21187823 HAS SOUPS 20719589 WITH SCORE 2.0754480924E7
AT ITER 3941 NEW BEST:: SOT 49077180 SOS 34891924 HAS SOPS 23090074 HAS SOUS 21185535 HAS SOUPS 20717301 WITH SCORE 2.0752192924E7
AT ITER 3951 NEW BEST:: SOT 49077180 SOS 34891924 HAS SOPS 23090330 HAS SOUS 21184915 HAS SOUPS 20717042 WITH SCORE 2.0751933924E7
AT ITER 3952 NEW BEST:: SOT 49077424 SOS 34892411 HAS SOPS 23088550 HAS SOUS 21183185 HAS SOUPS 20715263 WITH SCORE 2.0750155411E7
AT ITER 3957 NEW BEST:: SOT 49077424 SOS 34892411 HAS SOPS 23086767 HAS SOUS 21181403 HAS SOUPS 20713481 WITH SCORE 2.0748373411E7
AT ITER 3961 NEW BEST:: SOT 49077281 SOS 34892125 HAS SOPS 23086624 HAS SOUS 21181260 HAS SOUPS 20713338 WITH SCORE 2.0748230125E7
AT ITER 3963 NEW BEST:: SOT 49077003 SOS 34891847 HAS SOPS 23085954 HAS SOUS 21180590 HAS SOUPS 20712668 WITH SCORE 2.0747559847E7
AT ITER 3971 NEW BEST:: SOT 49077003 SOS 34891847 HAS SOPS 23084374 HAS SOUS 21179011 HAS SOUPS 20711089 WITH SCORE 2.0745980847E7
AT ITER 3983 NEW BEST:: SOT 49077003 SOS 34891847 HAS SOPS 23083746 HAS SOUS 21178383 HAS SOUPS 20710461 WITH SCORE 2.0745352847E7
AT ITER 3984 NEW BEST:: SOT 49077270 SOS 34892114 HAS SOPS 23083578 HAS SOUS 21178215 HAS SOUPS 20710293 WITH SCORE 2.0745185114E7
AT ITER 3991 NEW BEST:: SOT 49077270 SOS 34892114 HAS SOPS 23083449 HAS SOUS 21178215 HAS SOUPS 20710164 WITH SCORE 2.0745056114E7
AT ITER 3993 NEW BEST:: SOT 49077630 SOS 34892833 HAS SOPS 23081765 HAS SOUS 21176532 HAS SOUPS 20708481 WITH SCORE 2.0743373833E7
AT ITER 3994 NEW BEST:: SOT 49078099 SOS 34893302 HAS SOPS 23081563 HAS SOUS 21176394 HAS SOUPS 20708343 WITH SCORE 2.0743236302E7
AT ITER 3995 NEW BEST:: SOT 49078330 SOS 34893533 HAS SOPS 23079681 HAS SOUS 21174512 HAS SOUPS 20706461 WITH SCORE 2.0741354533E7
AT ITER 3996 NEW BEST:: SOT 49079325 SOS 34894528 HAS SOPS 23079512 HAS SOUS 21174344 HAS SOUPS 20706293 WITH SCORE 2.0741187528E7
AT ITER 3998 NEW BEST:: SOT 49079556 SOS 34894759 HAS SOPS 23077691 HAS SOUS 21172642 HAS SOUPS 20704473 WITH SCORE 2.0739367759E7
AT ITER 4002 NEW BEST:: SOT 49079627 SOS 34894830 HAS SOPS 23075732 HAS SOUS 21170684 HAS SOUPS 20702515 WITH SCORE 2.073740983E7
AT ITER 4006 NEW BEST:: SOT 49079855 SOS 34895720 HAS SOPS 23073898 HAS SOUS 21168851 HAS SOUPS 20700682 WITH SCORE 2.073557772E7
AT ITER 4007 NEW BEST:: SOT 49079855 SOS 34895720 HAS SOPS 23072917 HAS SOUS 21167870 HAS SOUPS 20699701 WITH SCORE 2.073459672E7
AT ITER 4012 NEW BEST:: SOT 49079855 SOS 34895720 HAS SOPS 23070879 HAS SOUS 21164009 HAS SOUPS 20695704 WITH SCORE 2.073059972E7
AT ITER 4013 NEW BEST:: SOT 49079352 SOS 34895217 HAS SOPS 23068787 HAS SOUS 21161004 HAS SOUPS 20692699 WITH SCORE 2.0727594217E7
AT ITER 4014 NEW BEST:: SOT 49079352 SOS 34895217 HAS SOPS 23067010 HAS SOUS 21158969 HAS SOUPS 20690664 WITH SCORE 2.0725559217E7
AT ITER 4016 NEW BEST:: SOT 49079352 SOS 34895217 HAS SOPS 23067006 HAS SOUS 21158965 HAS SOUPS 20690660 WITH SCORE 2.0725555217E7
AT ITER 4017 NEW BEST:: SOT 49079352 SOS 34895217 HAS SOPS 23066997 HAS SOUS 21158955 HAS SOUPS 20690650 WITH SCORE 2.0725545217E7
AT ITER 4019 NEW BEST:: SOT 49079425 SOS 34895290 HAS SOPS 23065717 HAS SOUS 21159412 HAS SOUPS 20689370 WITH SCORE 2.072426529E7
AT ITER 4021 NEW BEST:: SOT 49079335 SOS 34895200 HAS SOPS 23063634 HAS SOUS 21157251 HAS SOUPS 20687209 WITH SCORE 2.07221042E7
AT ITER 4038 NEW BEST:: SOT 49079335 SOS 34895200 HAS SOPS 23062168 HAS SOUS 21154679 HAS SOUPS 20684637 WITH SCORE 2.07195322E7
AT ITER 4054 NEW BEST:: SOT 49080150 SOS 34896829 HAS SOPS 23060905 HAS SOUS 21153417 HAS SOUPS 20683375 WITH SCORE 2.0718271829E7
AT ITER 4055 NEW BEST:: SOT 49080150 SOS 34896829 HAS SOPS 23058177 HAS SOUS 21151346 HAS SOUPS 20681798 WITH SCORE 2.0716694829E7
AT ITER 4069 NEW BEST:: SOT 49080566 SOS 34899106 HAS SOPS 23058370 HAS SOUS 21150593 HAS SOUPS 20681045 WITH SCORE 2.0715944106E7
AT ITER 4070 NEW BEST:: SOT 49080566 SOS 34899106 HAS SOPS 23058185 HAS SOUS 21150408 HAS SOUPS 20680860 WITH SCORE 2.0715759106E7
AT ITER 4074 NEW BEST:: SOT 49080566 SOS 34899106 HAS SOPS 23056197 HAS SOUS 21148828 HAS SOUPS 20679280 WITH SCORE 2.0714179106E7
AT ITER 4078 NEW BEST:: SOT 49079201 SOS 34897741 HAS SOPS 23053467 HAS SOUS 21146098 HAS SOUPS 20676550 WITH SCORE 2.0711447741E7
AT ITER 4081 NEW BEST:: SOT 49079201 SOS 34897741 HAS SOPS 23052971 HAS SOUS 21145796 HAS SOUPS 20676248 WITH SCORE 2.0711145741E7
AT ITER 4082 NEW BEST:: SOT 49079201 SOS 34897741 HAS SOPS 23052197 HAS SOUS 21145685 HAS SOUPS 20675474 WITH SCORE 2.0710371741E7
AT ITER 4084 NEW BEST:: SOT 49078844 SOS 34884175 HAS SOPS 23038988 HAS SOUS 21144971 HAS SOUPS 20674760 WITH SCORE 2.0709644175E7
AT ITER 4088 NEW BEST:: SOT 49078002 SOS 34883333 HAS SOPS 23037304 HAS SOUS 21143287 HAS SOUPS 20673076 WITH SCORE 2.0707959333E7
AT ITER 4094 NEW BEST:: SOT 49076959 SOS 34882290 HAS SOPS 23035218 HAS SOUS 21141201 HAS SOUPS 20670990 WITH SCORE 2.070587229E7
AT ITER 4096 NEW BEST:: SOT 49076959 SOS 34882290 HAS SOPS 23034310 HAS SOUS 21140843 HAS SOUPS 20670632 WITH SCORE 2.070551429E7
AT ITER 4097 NEW BEST:: SOT 49076959 SOS 34883876 HAS SOPS 23033842 HAS SOUS 21138323 HAS SOUPS 20668112 WITH SCORE 2.0702995876E7
AT ITER 4102 NEW BEST:: SOT 49076867 SOS 34883784 HAS SOPS 23033855 HAS SOUS 21137874 HAS SOUPS 20667663 WITH SCORE 2.0702546784E7
AT ITER 4106 NEW BEST:: SOT 49074855 SOS 34881772 HAS SOPS 23033676 HAS SOUS 21137696 HAS SOUPS 20667485 WITH SCORE 2.0702366772E7
AT ITER 4113 NEW BEST:: SOT 49074855 SOS 34881772 HAS SOPS 23031705 HAS SOUS 21135567 HAS SOUPS 20665081 WITH SCORE 2.0699962772E7
AT ITER 4118 NEW BEST:: SOT 49075415 SOS 34882788 HAS SOPS 23030813 HAS SOUS 21135032 HAS SOUPS 20664190 WITH SCORE 2.0699072788E7
AT ITER 4134 NEW BEST:: SOT 49075599 SOS 35009229 HAS SOPS 23029713 HAS SOUS 21135216 HAS SOUPS 20663090 WITH SCORE 2.0698099229E7
AT ITER 4145 NEW BEST:: SOT 49074101 SOS 35007731 HAS SOPS 23027011 HAS SOUS 21132514 HAS SOUPS 20660388 WITH SCORE 2.0695395731E7
AT ITER 4150 NEW BEST:: SOT 49074277 SOS 35007907 HAS SOPS 23026348 HAS SOUS 21131851 HAS SOUPS 20659725 WITH SCORE 2.0694732907E7
AT ITER 4157 NEW BEST:: SOT 49074277 SOS 35007907 HAS SOPS 23026281 HAS SOUS 21131429 HAS SOUPS 20659303 WITH SCORE 2.0694310907E7
AT ITER 4166 NEW BEST:: SOT 49074277 SOS 35007907 HAS SOPS 23026141 HAS SOUS 21131150 HAS SOUPS 20659024 WITH SCORE 2.0694031907E7
AT ITER 4170 NEW BEST:: SOT 49071725 SOS 35005355 HAS SOPS 23026141 HAS SOUS 21131150 HAS SOUPS 20659024 WITH SCORE 2.0694029355E7
AT ITER 4173 NEW BEST:: SOT 49071725 SOS 35005355 HAS SOPS 23022558 HAS SOUS 21129317 HAS SOUPS 20657191 WITH SCORE 2.0692196355E7
AT ITER 4185 NEW BEST:: SOT 49071725 SOS 35005355 HAS SOPS 23023151 HAS SOUS 21128045 HAS SOUPS 20656191 WITH SCORE 2.0691196355E7
AT ITER 4188 NEW BEST:: SOT 49070578 SOS 34961769 HAS SOPS 22980712 HAS SOUS 21125751 HAS SOUPS 20653897 WITH SCORE 2.0688858769E7
AT ITER 4207 NEW BEST:: SOT 49071126 SOS 34962317 HAS SOPS 22979793 HAS SOUS 21124828 HAS SOUPS 20652974 WITH SCORE 2.0687936317E7
AT ITER 4216 NEW BEST:: SOT 49069793 SOS 34960984 HAS SOPS 22977785 HAS SOUS 21122820 HAS SOUPS 20650966 WITH SCORE 2.0685926984E7
AT ITER 4217 NEW BEST:: SOT 49069532 SOS 34960723 HAS SOPS 22977262 HAS SOUS 21122298 HAS SOUPS 20650444 WITH SCORE 2.0685404723E7
AT ITER 4223 NEW BEST:: SOT 49069532 SOS 34960723 HAS SOPS 22973569 HAS SOUS 21120277 HAS SOUPS 20647903 WITH SCORE 2.0682863723E7
AT ITER 4235 NEW BEST:: SOT 49069277 SOS 34960468 HAS SOPS 22973058 HAS SOUS 21118961 HAS SOUPS 20646587 WITH SCORE 2.0681547468E7
AT ITER 4249 NEW BEST:: SOT 49069277 SOS 34960468 HAS SOPS 22972761 HAS SOUS 21118664 HAS SOUPS 20646290 WITH SCORE 2.0681250468E7
AT ITER 4250 NEW BEST:: SOT 49069277 SOS 34923604 HAS SOPS 22936862 HAS SOUS 21118605 HAS SOUPS 20646231 WITH SCORE 2.0681154604E7
AT ITER 4265 NEW BEST:: SOT 49069277 SOS 34923604 HAS SOPS 22933436 HAS SOUS 21114867 HAS SOUPS 20642493 WITH SCORE 2.0677416604E7
AT ITER 4274 NEW BEST:: SOT 49069277 SOS 34923604 HAS SOPS 22933436 HAS SOUS 21114557 HAS SOUPS 20642183 WITH SCORE 2.0677106604E7
AT ITER 4275 NEW BEST:: SOT 49069277 SOS 34923604 HAS SOPS 22932562 HAS SOUS 21113243 HAS SOUPS 20640869 WITH SCORE 2.0675792604E7
AT ITER 4277 NEW BEST:: SOT 49069277 SOS 34923604 HAS SOPS 22930619 HAS SOUS 21111680 HAS SOUPS 20638927 WITH SCORE 2.0673850604E7
AT ITER 4284 NEW BEST:: SOT 49068891 SOS 34923218 HAS SOPS 22930619 HAS SOUS 21111680 HAS SOUPS 20638927 WITH SCORE 2.0673850218E7
AT ITER 4285 NEW BEST:: SOT 49067585 SOS 34986427 HAS SOPS 22928610 HAS SOUS 21110374 HAS SOUPS 20636918 WITH SCORE 2.0671904427E7
AT ITER 4292 NEW BEST:: SOT 49067363 SOS 34985983 HAS SOPS 22928388 HAS SOUS 21110152 HAS SOUPS 20636696 WITH SCORE 2.0671681983E7
AT ITER 4296 NEW BEST:: SOT 49067201 SOS 34985821 HAS SOPS 22928388 HAS SOUS 21110152 HAS SOUPS 20636696 WITH SCORE 2.0671681821E7
AT ITER 4297 NEW BEST:: SOT 49067461 SOS 34986081 HAS SOPS 22928142 HAS SOUS 21109906 HAS SOUPS 20636450 WITH SCORE 2.0671436081E7
AT ITER 4307 NEW BEST:: SOT 49067461 SOS 34986081 HAS SOPS 22927656 HAS SOUS 21109419 HAS SOUPS 20635803 WITH SCORE 2.0670789081E7
AT ITER 4314 NEW BEST:: SOT 49067461 SOS 34986081 HAS SOPS 22927539 HAS SOUS 21109304 HAS SOUPS 20635688 WITH SCORE 2.0670674081E7
AT ITER 4315 NEW BEST:: SOT 49067856 SOS 34986476 HAS SOPS 22927888 HAS SOUS 21109307 HAS SOUPS 20635642 WITH SCORE 2.0670628476E7
AT ITER 4316 NEW BEST:: SOT 49067856 SOS 34986476 HAS SOPS 22925496 HAS SOUS 21108090 HAS SOUPS 20634425 WITH SCORE 2.0669411476E7
AT ITER 4320 NEW BEST:: SOT 49067856 SOS 34986476 HAS SOPS 22925704 HAS SOUS 21108089 HAS SOUPS 20634424 WITH SCORE 2.0669410476E7
AT ITER 4326 NEW BEST:: SOT 49067856 SOS 34986476 HAS SOPS 22926963 HAS SOUS 21107200 HAS SOUPS 20633726 WITH SCORE 2.0668712476E7
AT ITER 4330 NEW BEST:: SOT 49065753 SOS 34981043 HAS SOPS 22922112 HAS SOUS 21102350 HAS SOUPS 20628876 WITH SCORE 2.0663857043E7
AT ITER 4336 NEW BEST:: SOT 49065086 SOS 34980376 HAS SOPS 22922112 HAS SOUS 21101683 HAS SOUPS 20628876 WITH SCORE 2.0663856376E7
AT ITER 4338 NEW BEST:: SOT 49065086 SOS 34980376 HAS SOPS 22919551 HAS SOUS 21099123 HAS SOUPS 20626316 WITH SCORE 2.0661296376E7
AT ITER 4339 NEW BEST:: SOT 49072246 SOS 34925440 HAS SOPS 22825386 HAS SOUS 21064756 HAS SOUPS 20591949 WITH SCORE 2.062687444E7
AT ITER 4341 NEW BEST:: SOT 49015208 SOS 34872688 HAS SOPS 22818037 HAS SOUS 21044612 HAS SOUPS 20583992 WITH SCORE 2.0618864688E7
AT ITER 4359 NEW BEST:: SOT 49015208 SOS 34872688 HAS SOPS 22817770 HAS SOUS 21043880 HAS SOUPS 20583260 WITH SCORE 2.0618132688E7
AT ITER 4360 NEW BEST:: SOT 49015208 SOS 34872688 HAS SOPS 22817769 HAS SOUS 21042683 HAS SOUPS 20582063 WITH SCORE 2.0616935688E7
AT ITER 4367 NEW BEST:: SOT 49015208 SOS 34872884 HAS SOPS 22815681 HAS SOUS 21042293 HAS SOUPS 20581673 WITH SCORE 2.0616545884E7
AT ITER 4372 NEW BEST:: SOT 49014204 SOS 34871880 HAS SOPS 22813889 HAS SOUS 21040492 HAS SOUPS 20579872 WITH SCORE 2.061474388E7
AT ITER 4373 NEW BEST:: SOT 49014101 SOS 34873936 HAS SOPS 22811646 HAS SOUS 21038483 HAS SOUPS 20577630 WITH SCORE 2.0612503936E7
AT ITER 4374 NEW BEST:: SOT 49014101 SOS 34873936 HAS SOPS 22811346 HAS SOUS 21038183 HAS SOUPS 20577330 WITH SCORE 2.0612203936E7
AT ITER 4377 NEW BEST:: SOT 49014101 SOS 34873936 HAS SOPS 22809276 HAS SOUS 21036115 HAS SOUPS 20575262 WITH SCORE 2.0610135936E7
AT ITER 4379 NEW BEST:: SOT 49014079 SOS 34873914 HAS SOPS 22809254 HAS SOUS 21036071 HAS SOUPS 20575218 WITH SCORE 2.0610091914E7
AT ITER 4386 NEW BEST:: SOT 49014242 SOS 34874077 HAS SOPS 22809186 HAS SOUS 21036093 HAS SOUPS 20575150 WITH SCORE 2.0610024077E7
AT ITER 4390 NEW BEST:: SOT 49014242 SOS 34874077 HAS SOPS 22811132 HAS SOUS 21035955 HAS SOUPS 20575012 WITH SCORE 2.0609886077E7
AT ITER 4398 NEW BEST:: SOT 49014242 SOS 34874077 HAS SOPS 22809511 HAS SOUS 21032713 HAS SOUPS 20571770 WITH SCORE 2.0606644077E7
AT ITER 4401 NEW BEST:: SOT 49013921 SOS 34873441 HAS SOPS 22804922 HAS SOUS 21028809 HAS SOUPS 20567866 WITH SCORE 2.0602739441E7
AT ITER 4404 NEW BEST:: SOT 49012461 SOS 34871981 HAS SOPS 22802827 HAS SOUS 21025551 HAS SOUPS 20564608 WITH SCORE 2.0599479981E7
AT ITER 4405 NEW BEST:: SOT 49013546 SOS 34873493 HAS SOPS 22802744 HAS SOUS 21025469 HAS SOUPS 20564526 WITH SCORE 2.0599399493E7
AT ITER 4423 NEW BEST:: SOT 49013546 SOS 34873493 HAS SOPS 22800361 HAS SOUS 21022865 HAS SOUPS 20561922 WITH SCORE 2.0596795493E7
AT ITER 4425 NEW BEST:: SOT 49009528 SOS 34869475 HAS SOPS 22800043 HAS SOUS 21021681 HAS SOUPS 20561604 WITH SCORE 2.0596473475E7
AT ITER 4433 NEW BEST:: SOT 49009528 SOS 34869475 HAS SOPS 22798609 HAS SOUS 21020247 HAS SOUPS 20560170 WITH SCORE 2.0595039475E7
AT ITER 4437 NEW BEST:: SOT 49008740 SOS 34868687 HAS SOPS 22796855 HAS SOUS 21017419 HAS SOUPS 20557342 WITH SCORE 2.0592210687E7
AT ITER 4440 NEW BEST:: SOT 49007248 SOS 34867195 HAS SOPS 22792170 HAS SOUS 21013624 HAS SOUPS 20552627 WITH SCORE 2.0587494195E7
AT ITER 4456 NEW BEST:: SOT 49007248 SOS 34867693 HAS SOPS 22791658 HAS SOUS 21013126 HAS SOUPS 20552129 WITH SCORE 2.0586996693E7
AT ITER 4460 NEW BEST:: SOT 49007187 SOS 34867632 HAS SOPS 22791536 HAS SOUS 21013004 HAS SOUPS 20552007 WITH SCORE 2.0586874632E7
AT ITER 4462 NEW BEST:: SOT 49006905 SOS 34867350 HAS SOPS 22791254 HAS SOUS 21013004 HAS SOUPS 20552007 WITH SCORE 2.058687435E7
AT ITER 4465 NEW BEST:: SOT 49006905 SOS 34867426 HAS SOPS 22790888 HAS SOUS 21013473 HAS SOUPS 20551641 WITH SCORE 2.0586508426E7
AT ITER 4469 NEW BEST:: SOT 49011431 SOS 34862842 HAS SOPS 22796828 HAS SOUS 20997838 HAS SOUPS 20536713 WITH SCORE 2.0571575842E7
AT ITER 4470 NEW BEST:: SOT 49012376 SOS 34863787 HAS SOPS 22796706 HAS SOUS 20997717 HAS SOUPS 20536592 WITH SCORE 2.0571455787E7
AT ITER 4475 NEW BEST:: SOT 49012376 SOS 34863787 HAS SOPS 22795057 HAS SOUS 20996070 HAS SOUPS 20534945 WITH SCORE 2.0569808787E7
AT ITER 4481 NEW BEST:: SOT 49011314 SOS 34845076 HAS SOPS 22776715 HAS SOUS 20994381 HAS SOUPS 20533298 WITH SCORE 2.0568143076E7
AT ITER 4482 NEW BEST:: SOT 49010921 SOS 34844683 HAS SOPS 22776491 HAS SOUS 20993732 HAS SOUPS 20532447 WITH SCORE 2.0567291683E7
AT ITER 4488 NEW BEST:: SOT 49010804 SOS 34844449 HAS SOPS 22776374 HAS SOUS 20993615 HAS SOUPS 20532330 WITH SCORE 2.0567174449E7
AT ITER 4497 NEW BEST:: SOT 49010804 SOS 34844946 HAS SOPS 22775204 HAS SOUS 20990780 HAS SOUPS 20529495 WITH SCORE 2.0564339946E7
AT ITER 4498 NEW BEST:: SOT 49010804 SOS 34844946 HAS SOPS 22774159 HAS SOUS 20989770 HAS SOUPS 20528450 WITH SCORE 2.0563294946E7
AT ITER 4499 NEW BEST:: SOT 49009813 SOS 34843955 HAS SOPS 22772811 HAS SOUS 20989726 HAS SOUPS 20528406 WITH SCORE 2.0563249955E7
AT ITER 4508 NEW BEST:: SOT 49008484 SOS 34842626 HAS SOPS 22771482 HAS SOUS 20988397 HAS SOUPS 20527077 WITH SCORE 2.0561919626E7
AT ITER 4510 NEW BEST:: SOT 49042060 SOS 34871418 HAS SOPS 22756494 HAS SOUS 20979818 HAS SOUPS 20513582 WITH SCORE 2.0548453418E7
AT ITER 4511 NEW BEST:: SOT 49042060 SOS 34871418 HAS SOPS 22755717 HAS SOUS 20977816 HAS SOUPS 20511580 WITH SCORE 2.0546451418E7
AT ITER 4512 NEW BEST:: SOT 49042292 SOS 34871650 HAS SOPS 22755440 HAS SOUS 20978048 HAS SOUPS 20511303 WITH SCORE 2.054617465E7
AT ITER 4521 NEW BEST:: SOT 49042292 SOS 34871650 HAS SOPS 22752004 HAS SOUS 20975998 HAS SOUPS 20508899 WITH SCORE 2.054377065E7
AT ITER 4524 NEW BEST:: SOT 49042292 SOS 34871650 HAS SOPS 22752957 HAS SOUS 20975988 HAS SOUPS 20508889 WITH SCORE 2.054376065E7
AT ITER 4526 NEW BEST:: SOT 49042292 SOS 34871650 HAS SOPS 22754125 HAS SOUS 20975224 HAS SOUPS 20508388 WITH SCORE 2.054325965E7
AT ITER 4528 NEW BEST:: SOT 49042292 SOS 34871650 HAS SOPS 22754125 HAS SOUS 20974398 HAS SOUPS 20507562 WITH SCORE 2.054243365E7
AT ITER 4530 NEW BEST:: SOT 49038870 SOS 34868228 HAS SOPS 22751057 HAS SOUS 20972392 HAS SOUPS 20505556 WITH SCORE 2.0540424228E7
AT ITER 4543 NEW BEST:: SOT 49040563 SOS 34870084 HAS SOPS 22750809 HAS SOUS 20972144 HAS SOUPS 20505308 WITH SCORE 2.0540178084E7
AT ITER 4544 NEW BEST:: SOT 49042213 SOS 34871734 HAS SOPS 22749393 HAS SOUS 20970494 HAS SOUPS 20503658 WITH SCORE 2.0538529734E7
AT ITER 4547 NEW BEST:: SOT 49042213 SOS 34871734 HAS SOPS 22749151 HAS SOUS 20968471 HAS SOUPS 20501635 WITH SCORE 2.0536506734E7
AT ITER 4548 NEW BEST:: SOT 49042213 SOS 34871734 HAS SOPS 22747683 HAS SOUS 20967004 HAS SOUPS 20500168 WITH SCORE 2.0535039734E7
AT ITER 4560 NEW BEST:: SOT 49042237 SOS 34871830 HAS SOPS 22747513 HAS SOUS 20966834 HAS SOUPS 20499998 WITH SCORE 2.053486983E7
AT ITER 4561 NEW BEST:: SOT 49043499 SOS 34873092 HAS SOPS 22746654 HAS SOUS 20966322 HAS SOUPS 20499486 WITH SCORE 2.0534359092E7
AT ITER 4563 NEW BEST:: SOT 49043320 SOS 34872913 HAS SOPS 22746295 HAS SOUS 20965964 HAS SOUPS 20499128 WITH SCORE 2.0534000913E7
AT ITER 4568 NEW BEST:: SOT 49043320 SOS 34872913 HAS SOPS 22744389 HAS SOUS 20964059 HAS SOUPS 20497223 WITH SCORE 2.0532095913E7
AT ITER 4574 NEW BEST:: SOT 49043320 SOS 35022676 HAS SOPS 22738360 HAS SOUS 20961024 HAS SOUPS 20492606 WITH SCORE 2.0527628676E7
AT ITER 4575 NEW BEST:: SOT 49043526 SOS 35022882 HAS SOPS 22736472 HAS SOUS 20959137 HAS SOUPS 20490719 WITH SCORE 2.0525741882E7
AT ITER 4582 NEW BEST:: SOT 49043526 SOS 35022882 HAS SOPS 22734518 HAS SOUS 20956774 HAS SOUPS 20488356 WITH SCORE 2.0523378882E7
AT ITER 4629 NEW BEST:: SOT 49043526 SOS 35022882 HAS SOPS 22732590 HAS SOUS 20954846 HAS SOUPS 20486428 WITH SCORE 2.0521450882E7
AT ITER 4645 NEW BEST:: SOT 49043526 SOS 35022882 HAS SOPS 22732191 HAS SOUS 20954447 HAS SOUPS 20486029 WITH SCORE 2.0521051882E7
AT ITER 4655 NEW BEST:: SOT 49046947 SOS 35026303 HAS SOPS 22730421 HAS SOUS 20961365 HAS SOUPS 20484260 WITH SCORE 2.0519286303E7
AT ITER 4658 NEW BEST:: SOT 49046947 SOS 35026711 HAS SOPS 22728381 HAS SOUS 20959326 HAS SOUPS 20482221 WITH SCORE 2.0517247711E7
AT ITER 4664 NEW BEST:: SOT 49046947 SOS 35026711 HAS SOPS 22728167 HAS SOUS 20959112 HAS SOUPS 20482007 WITH SCORE 2.0517033711E7
AT ITER 4678 NEW BEST:: SOT 49046442 SOS 35026206 HAS SOPS 22725338 HAS SOUS 20956284 HAS SOUPS 20479179 WITH SCORE 2.0514205206E7
AT ITER 4681 NEW BEST:: SOT 49046442 SOS 35026206 HAS SOPS 22724804 HAS SOUS 20956017 HAS SOUPS 20478912 WITH SCORE 2.0513938206E7
AT ITER 4685 NEW BEST:: SOT 49046442 SOS 35026206 HAS SOPS 22724875 HAS SOUS 20955815 HAS SOUPS 20478710 WITH SCORE 2.0513736206E7
AT ITER 4688 NEW BEST:: SOT 49046442 SOS 35026206 HAS SOPS 22723453 HAS SOUS 20955347 HAS SOUPS 20477830 WITH SCORE 2.0512856206E7
AT ITER 4693 NEW BEST:: SOT 49046442 SOS 35026206 HAS SOPS 22723240 HAS SOUS 20955539 HAS SOUPS 20477617 WITH SCORE 2.0512643206E7
AT ITER 4705 NEW BEST:: SOT 49046442 SOS 35026206 HAS SOPS 22721541 HAS SOUS 20953841 HAS SOUPS 20475919 WITH SCORE 2.0510945206E7
AT ITER 4711 NEW BEST:: SOT 49045886 SOS 35025650 HAS SOPS 22719252 HAS SOUS 20952638 HAS SOUPS 20473630 WITH SCORE 2.050865565E7
AT ITER 4718 NEW BEST:: SOT 49045098 SOS 35024862 HAS SOPS 22719189 HAS SOUS 20952575 HAS SOUPS 20473567 WITH SCORE 2.0508591862E7
AT ITER 4719 NEW BEST:: SOT 49045098 SOS 35024862 HAS SOPS 22719189 HAS SOUS 20952532 HAS SOUPS 20473524 WITH SCORE 2.0508548862E7
AT ITER 4723 NEW BEST:: SOT 49044928 SOS 35018402 HAS SOPS 22713239 HAS SOUS 20952532 HAS SOUPS 20473524 WITH SCORE 2.0508542402E7
AT ITER 4732 NEW BEST:: SOT 49044928 SOS 35018402 HAS SOPS 22713239 HAS SOUS 20952344 HAS SOUPS 20473336 WITH SCORE 2.0508354402E7
AT ITER 4735 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22713001 HAS SOUS 20952106 HAS SOUPS 20473098 WITH SCORE 2.0508116283E7
AT ITER 4746 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22711590 HAS SOUS 20950695 HAS SOUPS 20471687 WITH SCORE 2.0506705283E7
AT ITER 4750 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22711590 HAS SOUS 20950645 HAS SOUPS 20471637 WITH SCORE 2.0506655283E7
AT ITER 4752 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22710756 HAS SOUS 20950132 HAS SOUPS 20471124 WITH SCORE 2.0506142283E7
AT ITER 4755 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22707465 HAS SOUS 20946812 HAS SOUPS 20467804 WITH SCORE 2.0502822283E7
AT ITER 4765 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22706566 HAS SOUS 20945014 HAS SOUPS 20466006 WITH SCORE 2.0501024283E7
AT ITER 4766 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22705309 HAS SOUS 20942502 HAS SOUPS 20463494 WITH SCORE 2.0498512283E7
AT ITER 4767 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22701319 HAS SOUS 20938513 HAS SOUPS 20459505 WITH SCORE 2.0494523283E7
AT ITER 4780 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22698987 HAS SOUS 20936181 HAS SOUPS 20457173 WITH SCORE 2.0492191283E7
AT ITER 4786 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22698840 HAS SOUS 20935939 HAS SOUPS 20456931 WITH SCORE 2.0491949283E7
AT ITER 4787 NEW BEST:: SOT 49044809 SOS 35018283 HAS SOPS 22698733 HAS SOUS 20935832 HAS SOUPS 20456824 WITH SCORE 2.0491842283E7
AT ITER 4792 NEW BEST:: SOT 49044871 SOS 35022545 HAS SOPS 22697758 HAS SOUS 20935934 HAS SOUPS 20455849 WITH SCORE 2.0490871545E7
AT ITER 4793 NEW BEST:: SOT 49044871 SOS 35022545 HAS SOPS 22697757 HAS SOUS 20935820 HAS SOUPS 20455735 WITH SCORE 2.0490757545E7
AT ITER 4794 NEW BEST:: SOT 49044871 SOS 35022545 HAS SOPS 22697757 HAS SOUS 20935548 HAS SOUPS 20455463 WITH SCORE 2.0490485545E7
AT ITER 4798 NEW BEST:: SOT 49044871 SOS 35022545 HAS SOPS 22693592 HAS SOUS 20931384 HAS SOUPS 20451299 WITH SCORE 2.0486321545E7
AT ITER 4801 NEW BEST:: SOT 49044976 SOS 35022650 HAS SOPS 22693114 HAS SOUS 20930906 HAS SOUPS 20450821 WITH SCORE 2.048584365E7
AT ITER 4806 NEW BEST:: SOT 49044925 SOS 35022599 HAS SOPS 22691783 HAS SOUS 20929575 HAS SOUPS 20449490 WITH SCORE 2.0484512599E7
AT ITER 4820 NEW BEST:: SOT 49044925 SOS 35022599 HAS SOPS 22691779 HAS SOUS 20929571 HAS SOUPS 20449486 WITH SCORE 2.0484508599E7
AT ITER 4825 NEW BEST:: SOT 49044925 SOS 35022599 HAS SOPS 22690632 HAS SOUS 20929133 HAS SOUPS 20449048 WITH SCORE 2.0484070599E7
AT ITER 4826 NEW BEST:: SOT 49043885 SOS 35020519 HAS SOPS 22689461 HAS SOUS 20927962 HAS SOUPS 20447877 WITH SCORE 2.0482897519E7
AT ITER 4828 NEW BEST:: SOT 49043835 SOS 35020469 HAS SOPS 22689361 HAS SOUS 20927862 HAS SOUPS 20447777 WITH SCORE 2.0482797469E7
AT ITER 4841 NEW BEST:: SOT 49043835 SOS 35020469 HAS SOPS 22688194 HAS SOUS 20926696 HAS SOUPS 20446611 WITH SCORE 2.0481631469E7
AT ITER 4845 NEW BEST:: SOT 49043835 SOS 35020469 HAS SOPS 22687951 HAS SOUS 20926686 HAS SOUPS 20446368 WITH SCORE 2.0481388469E7
AT ITER 4847 NEW BEST:: SOT 49043835 SOS 35020469 HAS SOPS 22687721 HAS SOUS 20926456 HAS SOUPS 20446138 WITH SCORE 2.0481158469E7
AT ITER 4854 NEW BEST:: SOT 49043835 SOS 35020469 HAS SOPS 22686855 HAS SOUS 20923554 HAS SOUPS 20443236 WITH SCORE 2.0478256469E7
AT ITER 4860 NEW BEST:: SOT 49043835 SOS 35020469 HAS SOPS 22684826 HAS SOUS 20921778 HAS SOUPS 20441208 WITH SCORE 2.0476228469E7
AT ITER 4861 NEW BEST:: SOT 49043480 SOS 35020114 HAS SOPS 22684793 HAS SOUS 20921068 HAS SOUPS 20440498 WITH SCORE 2.0475518114E7
AT ITER 4866 NEW BEST:: SOT 49043480 SOS 35020114 HAS SOPS 22683475 HAS SOUS 20919750 HAS SOUPS 20439180 WITH SCORE 2.0474200114E7
AT ITER 4869 NEW BEST:: SOT 49043480 SOS 35020114 HAS SOPS 22680026 HAS SOUS 20917893 HAS SOUPS 20437323 WITH SCORE 2.0472343114E7
AT ITER 4875 NEW BEST:: SOT 49043480 SOS 35020114 HAS SOPS 22679771 HAS SOUS 20915553 HAS SOUPS 20434983 WITH SCORE 2.0470003114E7
AT ITER 4878 NEW BEST:: SOT 49043480 SOS 35020114 HAS SOPS 22676348 HAS SOUS 20912100 HAS SOUPS 20431530 WITH SCORE 2.0466550114E7
AT ITER 4880 NEW BEST:: SOT 49042873 SOS 34997048 HAS SOPS 22653889 HAS SOUS 20910886 HAS SOUPS 20430316 WITH SCORE 2.0465313048E7
AT ITER 4885 NEW BEST:: SOT 49042290 SOS 34996465 HAS SOPS 22651556 HAS SOUS 20909432 HAS SOUPS 20428567 WITH SCORE 2.0463563465E7
AT ITER 4888 NEW BEST:: SOT 49041888 SOS 34996063 HAS SOPS 22651555 HAS SOUS 20909431 HAS SOUPS 20428566 WITH SCORE 2.0463562063E7
AT ITER 4900 NEW BEST:: SOT 49039429 SOS 35027724 HAS SOPS 22649096 HAS SOUS 20907341 HAS SOUPS 20426107 WITH SCORE 2.0461134724E7
AT ITER 4905 NEW BEST:: SOT 49039429 SOS 35027724 HAS SOPS 22646351 HAS SOUS 20904595 HAS SOUPS 20423361 WITH SCORE 2.0458388724E7
AT ITER 4906 NEW BEST:: SOT 49039429 SOS 35027724 HAS SOPS 22646807 HAS SOUS 20904594 HAS SOUPS 20423360 WITH SCORE 2.0458387724E7
AT ITER 4909 NEW BEST:: SOT 49039078 SOS 35022489 HAS SOPS 22646337 HAS SOUS 20903883 HAS SOUPS 20422890 WITH SCORE 2.0457912489E7
AT ITER 4910 NEW BEST:: SOT 49039078 SOS 35022489 HAS SOPS 22646205 HAS SOUS 20903751 HAS SOUPS 20422758 WITH SCORE 2.0457780489E7
AT ITER 4915 NEW BEST:: SOT 49038852 SOS 35022263 HAS SOPS 22645977 HAS SOUS 20903521 HAS SOUPS 20422528 WITH SCORE 2.0457550263E7
AT ITER 4920 NEW BEST:: SOT 49038852 SOS 35022263 HAS SOPS 22645529 HAS SOUS 20903073 HAS SOUPS 20422080 WITH SCORE 2.0457102263E7
AT ITER 4922 NEW BEST:: SOT 49038870 SOS 35022281 HAS SOPS 22645371 HAS SOUS 20902915 HAS SOUPS 20421922 WITH SCORE 2.0456944281E7
AT ITER 4925 NEW BEST:: SOT 49039044 SOS 35022728 HAS SOPS 22645058 HAS SOUS 20902719 HAS SOUPS 20421609 WITH SCORE 2.0456631728E7
AT ITER 4932 NEW BEST:: SOT 49039044 SOS 35022728 HAS SOPS 22643674 HAS SOUS 20899725 HAS SOUPS 20418615 WITH SCORE 2.0453637728E7
AT ITER 4938 NEW BEST:: SOT 49039044 SOS 35022728 HAS SOPS 22643673 HAS SOUS 20899600 HAS SOUPS 20418490 WITH SCORE 2.0453512728E7
AT ITER 4939 NEW BEST:: SOT 49039536 SOS 35023220 HAS SOPS 22646158 HAS SOUS 20899078 HAS SOUPS 20417968 WITH SCORE 2.045299122E7
AT ITER 4945 NEW BEST:: SOT 49038036 SOS 35021720 HAS SOPS 22641376 HAS SOUS 20895472 HAS SOUPS 20413186 WITH SCORE 2.044820772E7
AT ITER 4946 NEW BEST:: SOT 49037388 SOS 35021072 HAS SOPS 22640727 HAS SOUS 20895471 HAS SOUPS 20413185 WITH SCORE 2.0448206072E7
AT ITER 4965 NEW BEST:: SOT 49036737 SOS 35020421 HAS SOPS 22640727 HAS SOUS 20895471 HAS SOUPS 20413185 WITH SCORE 2.0448205421E7
AT ITER 4973 NEW BEST:: SOT 49036737 SOS 35020421 HAS SOPS 22640726 HAS SOUS 20893809 HAS SOUPS 20411523 WITH SCORE 2.0446543421E7
AT ITER 4979 NEW BEST:: SOT 49035255 SOS 35018939 HAS SOPS 22634835 HAS SOUS 20888988 HAS SOUPS 20406358 WITH SCORE 2.0441376939E7
AT ITER 4981 NEW BEST:: SOT 49034543 SOS 34988895 HAS SOPS 22605586 HAS SOUS 20887564 HAS SOUPS 20404934 WITH SCORE 2.0439922895E7
AT ITER 4988 NEW BEST:: SOT 49035291 SOS 34990807 HAS SOPS 22605000 HAS SOUS 20886979 HAS SOUPS 20404349 WITH SCORE 2.0439339807E7
AT ITER 4995 NEW BEST:: SOT 49035157 SOS 34990673 HAS SOPS 22605241 HAS SOUS 20885198 HAS SOUPS 20402568 WITH SCORE 2.0437558673E7
Bounds file is: CTLFireability.xml
PROPERTY: BART-PT-050-CTLFireability-00 (AG( ( ( ((potential((tk(P2127)>=1) & (tk(P6697)>=1) & (tk(P6701)>=1) & (tk(P6807)>=1) & (tk(P6806)>=1)))) & (AF( ((potential((tk(P4591)>=1) & (tk(P6757)>=1) & (tk(P6753)>=1) & (tk(P6808)>=1)))))) ) | (! (! (! ((potential((tk(P6173)>=1) & (tk(P6790)>=1) & (tk(P6787)>=1) & (tk(P6809)>=1))))))) )))
PROPERTY: BART-PT-050-CTLFireability-01 ( (AG( ( ( ( ((potential((tk(P1339)>=1) & (tk(P6677)>=1) & (tk(P6681)>=1) & (tk(P6807)>=1)))) | ((potential((tk(P816)>=1) & (tk(P6662)>=1) & (tk(P6666)>=1) & (tk(P6807)>=1)))) ) | ( ((potential((tk(P6294)>=1) & (tk(P6796)>=1) & (tk(P6794)>=1) & (tk(P6808)>=1)))) & ((potential((tk(P2308)>=1) & (tk(P6702)>=1) & (tk(P6706)>=1) & (tk(P6807)>=1) & (tk(P6806)>=1)))) ) ) | (AX( ((potential((tk(P188)>=1) & (tk(P6639)>=1) & (tk(P6641)>=1) & (tk(P6807)>=1) & (tk(P6806)>=1)))))) ))) | (AG( (AF( (! ((potential((tk(P3740)>=1) & (tk(P6737)>=1) & (tk(P6741)>=1) & (tk(P6807)>=1))))))))) )
PROPERTY: BART-PT-050-CTLFireability-02 ( ( (EF( (EG( ((potential((tk(P5725)>=1) & (tk(P6785)>=1) & (tk(P6788)>=1) & (tk(P6807)>=1) & (tk(P6806)>=1)))))))) | ((potential((tk(P4250)>=1) & (tk(P6743)>=1) & (tk(P6739)>=1) & (tk(P6809)>=1)))) ) | (AX( (AX( ((potential((tk(P37)>=1) & (tk(P6612)>=1)))))))) )
PROPERTY: BART-PT-050-CTLFireability-03 ( (AF( ((potential((tk(P1327)>=1) & (tk(P6677)>=1) & (tk(P6681)>=1) & (tk(P6807)>=1)))))) & (! ( ( ((potential((tk(P4964)>=1) & (tk(P6767)>=1) & (tk(P6763)>=1) & (tk(P6808)>=1)))) | (AG( ((potential((tk(P1045)>=1) & (tk(P6667)>=1) & (tk(P6663)>=1) & (tk(P6808)>=1)))))) ) & (! (AG( ((potential((tk(P4077)>=1) & (tk(P6730)>=1) & (tk(P6734)>=1) & (tk(P6810)>=1) & (tk(P6809)>=1))))))) )) )
PROPERTY: BART-PT-050-CTLFireability-04 (EG( ( ( ( ( ((potential((tk(P2386)>=1) & (tk(P6702)>=1) & (tk(P6698)>=1) & (tk(P6808)>=1)))) & ((potential((tk(P4875)>=1) & (tk(P6750)>=1) & (tk(P6754)>=1) & (tk(P6810)>=1) & (tk(P6809)>=1)))) ) | ( ((potential((tk(P16)>=1) & (tk(P6621)>=1)))) | ((potential((tk(P5033)>=1) & (tk(P6763)>=1) & (tk(P6759)>=1) & (tk(P6809)>=1)))) ) ) | (! ( ((potential((tk(P1361)>=1) & (tk(P6677)>=1) & (tk(P6673)>=1) & (tk(P6808)>=1)))) | ((potential((tk(P4179)>=1) & (tk(P6747)>=1) & (tk(P6743)>=1) & (tk(P6808)>=1)))) )) ) | (EF( ( ((potential((tk(P5073)>=1) & (tk(P6755)>=1) & (tk(P6759)>=1) & (tk(P6810)>=1) & (tk(P6809)>=1)))) | ((potential((tk(P4843)>=1) & (tk(P6758)>=1) & (tk(P6754)>=1) & (tk(P6809)>=1)))) ))) )))
PROPERTY: BART-PT-050-CTLFireability-05 (EX( (EX( ( (! ((potential((tk(P5814)>=1) & (tk(P6782)>=1) & (tk(P6779)>=1) & (tk(P6809)>=1))))) & ( ((potential((tk(P4917)>=1) & (tk(P6767)>=1) & (tk(P6771)>=1) & (tk(P6807)>=1)))) & ((potential((tk(P21)>=1) & (tk(P6609)>=1)))) ) )))))
PROPERTY: BART-PT-050-CTLFireability-06 ( (AU( ((potential((tk(P5758)>=1) & (tk(P6785)>=1) & (tk(P6782)>=1) & (tk(P6808)>=1)))) , (! ((potential((tk(P5791)>=1) & (tk(P6785)>=1) & (tk(P6782)>=1) & (tk(P6808)>=1))))) )) & (EF( ( ( ( ((potential((tk(P36)>=1) & (tk(P6629)>=1)))) & ((potential((tk(P798)>=1) & (tk(P6651)>=1) & (tk(P6654)>=1) & (tk(P6809)>=1) & (tk(P6808)>=1)))) ) & ((potential((tk(P1700)>=1) & (tk(P6670)>=1) & (tk(P6674)>=1) & (tk(P6810)>=1) & (tk(P6809)>=1)))) ) & ( (! ((potential((tk(P1464)>=1) & (tk(P6665)>=1) & (tk(P6669)>=1) & (tk(P6810)>=1) & (tk(P6809)>=1))))) & ((potential((tk(P672)>=1) & (tk(P6657)>=1) & (tk(P6661)>=1) & (tk(P6807)>=1)))) ) ))) )
PROPERTY: BART-PT-050-CTLFireability-07 ( ( ( (AU( ((potential((tk(P39)>=1) & (tk(P6621)>=1)))) , ((potential((tk(P6244)>=1) & (tk(P6796)>=1) & (tk(P6798)>=1) & (tk(P6807)>=1) & (tk(P6806)>=1)))) )) | ( (EG( ((potential((tk(P2840)>=1) & (tk(P6708)>=1) & (tk(P6704)>=1) & (tk(P6809)>=1)))))) | (AX( ((potential((tk(P3317)>=1) & (tk(P6727)>=1) & (tk(P6731)>=1) & (tk(P6807)>=1) & (tk(P6806)>=1)))))) ) ) | (AF( ((potential((tk(P977)>=1) & (tk(P6667)>=1) & (tk(P6671)>=1) & (tk(P6807)>=1)))))) ) & ((potential((tk(P35)>=1) & (tk(P6625)>=1)))) )
PROPERTY: BART-PT-050-CTLFireability-08 (AX( (EX( ( ( ((potential((tk(P30)>=1) & (tk(P6633)>=1)))) | ((potential((tk(P6505)>=1) & (tk(P6802)>=1) & (tk(P6800)>=1) & (tk(P6808)>=1)))) ) & ((potential((tk(P3526)>=1) & (tk(P6732)>=1) & (tk(P6736)>=1) & (tk(P6807)>=1)))) )))))
PROPERTY: BART-PT-050-CTLFireability-09 (EX( (EG( (EX( ((potential((tk(P2072)>=1) & (tk(P6680)>=1) & (tk(P6684)>=1) & (tk(P6810)>=1) & (tk(P6809)>=1))))))))))
PROPERTY: BART-PT-050-CTLFireability-10 (AG( (EF( ((potential((tk(P25)>=1) & (tk(P6602)>=1))))))))
PROPERTY: BART-PT-050-CTLFireability-11 (EF( ((potential((tk(P68)>=1))))))
PROPERTY: BART-PT-050-CTLFireability-12 ( ( (! (AF( ( ((potential((tk(P4963)>=1) & (tk(P6767)>=1) & (tk(P6763)>=1) & (tk(P6808)>=1)))) | ((potential((tk(P5723)>=1) & (tk(P6785)>=1) & (tk(P6788)>=1) & (tk(P6807)>=1) & (tk(P6806)>=1)))) )))) & ( ( (AF( ((potential((tk(P4729)>=1) & (tk(P6762)>=1) & (tk(P6766)>=1) & (tk(P6807)>=1)))))) & (! ( ((potential((tk(P1525)>=1) & (tk(P6682)>=1) & (tk(P6686)>=1) & (tk(P6807)>=1)))) | ((potential((tk(P3568)>=1) & (tk(P6732)>=1) & (tk(P6728)>=1) & (tk(P6808)>=1)))) )) ) | ( (EF( ((potential((tk(P25)>=1) & (tk(P6620)>=1)))))) | ((potential((tk(P5542)>=1) & (tk(P6781)>=1) & (tk(P6784)>=1) & (tk(P6807)>=1) & (tk(P6806)>=1)))) ) ) ) | (! (EG( (! ( ((potential((tk(P1615)>=1) & (tk(P6674)>=1) & (tk(P6678)>=1) & (tk(P6809)>=1) & (tk(P6808)>=1)))) | ((potential((tk(P466)>=1) & (tk(P6646)>=1) & (tk(P6649)>=1) & (tk(P6808)>=1) & (tk(P6807)>=1)))) ))))) )
PROPERTY: BART-PT-050-CTLFireability-13 (! ( (EX( (EF( ((potential((tk(P3233)>=1) & (tk(P6718)>=1) & (tk(P6714)>=1) & (tk(P6809)>=1)))))))) & (EF( (! ( ((potential((tk(P2934)>=1) & (tk(P6717)>=1) & (tk(P6721)>=1) & (tk(P6807)>=1) & (tk(P6806)>=1)))) | ((potential((tk(P37)>=1) & (tk(P6617)>=1)))) )))) ))
PROPERTY: BART-PT-050-CTLFireability-14 (EG( (! ( (! ((potential((tk(P17)>=1) & (tk(P6608)>=1))))) & (EX( ((potential((tk(P1072)>=1) & (tk(P6659)>=1) & (tk(P6663)>=1) & (tk(P6809)>=1) & (tk(P6808)>=1)))))) ))))
PROPERTY: BART-PT-050-CTLFireability-15 (AG( (! (EG( ((potential((tk(P699)>=1) & (tk(P6657)>=1) & (tk(P6661)>=1) & (tk(P6807)>=1)))))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-050"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BART-PT-050, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897679500116"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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