About the Execution of smart for Dekker-PT-200
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.480 | 3600000.00 | 3600040.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807300348.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Dekker-PT-200, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807300348
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 25M
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 14:36 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rw-r--r-- 1 mcc users 25M Apr 27 14:36 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 Dekker-PT-200-CTLFireability-00
FORMULA_NAME Dekker-PT-200-CTLFireability-01
FORMULA_NAME Dekker-PT-200-CTLFireability-02
FORMULA_NAME Dekker-PT-200-CTLFireability-03
FORMULA_NAME Dekker-PT-200-CTLFireability-04
FORMULA_NAME Dekker-PT-200-CTLFireability-05
FORMULA_NAME Dekker-PT-200-CTLFireability-06
FORMULA_NAME Dekker-PT-200-CTLFireability-07
FORMULA_NAME Dekker-PT-200-CTLFireability-08
FORMULA_NAME Dekker-PT-200-CTLFireability-09
FORMULA_NAME Dekker-PT-200-CTLFireability-10
FORMULA_NAME Dekker-PT-200-CTLFireability-11
FORMULA_NAME Dekker-PT-200-CTLFireability-12
FORMULA_NAME Dekker-PT-200-CTLFireability-13
FORMULA_NAME Dekker-PT-200-CTLFireability-14
FORMULA_NAME Dekker-PT-200-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589361424290
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 200
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: 1000 places, 40400 transitions, 320400 arcs.
AT ITER 0 NEW BEST:: SOT 36259207 SOS 33491316 HAS SOPS 31999410 HAS SOUS 30785314 HAS SOUPS 30606808 WITH SCORE 3.0640299316E7
AT ITER 2 NEW BEST:: SOT 36181398 SOS 33414741 HAS SOPS 31921402 HAS SOUS 30707351 HAS SOUPS 30528601 WITH SCORE 3.0562015741E7
AT ITER 3 NEW BEST:: SOT 36181398 SOS 33414652 HAS SOPS 31921247 HAS SOUS 30707041 HAS SOUPS 30528291 WITH SCORE 3.0561705652E7
AT ITER 5 NEW BEST:: SOT 36181398 SOS 33380570 HAS SOPS 31882253 HAS SOUS 30662941 HAS SOUPS 30484385 WITH SCORE 3.051776557E7
AT ITER 8 NEW BEST:: SOT 36181398 SOS 33369053 HAS SOPS 31881248 HAS SOUS 30640243 HAS SOUPS 30461853 WITH SCORE 3.0495222053E7
AT ITER 10 NEW BEST:: SOT 36157998 SOS 33345653 HAS SOPS 31857848 HAS SOUS 30616843 HAS SOUPS 30438453 WITH SCORE 3.0471798653E7
AT ITER 12 NEW BEST:: SOT 36079400 SOS 33332197 HAS SOPS 31739251 HAS SOUS 30370606 HAS SOUPS 30192468 WITH SCORE 3.0225800197E7
AT ITER 13 NEW BEST:: SOT 36080028 SOS 33305168 HAS SOPS 31700520 HAS SOUS 30216158 HAS SOUPS 30038738 WITH SCORE 3.0072043168E7
AT ITER 16 NEW BEST:: SOT 36080109 SOS 33290129 HAS SOPS 31663010 HAS SOUS 30112242 HAS SOUPS 29935230 WITH SCORE 2.9968520129E7
AT ITER 21 NEW BEST:: SOT 36080109 SOS 33287995 HAS SOPS 31649141 HAS SOUS 30100369 HAS SOUPS 29923357 WITH SCORE 2.9956644995E7
AT ITER 22 NEW BEST:: SOT 36080109 SOS 33287995 HAS SOPS 31648988 HAS SOUS 30100063 HAS SOUPS 29923051 WITH SCORE 2.9956338995E7
AT ITER 26 NEW BEST:: SOT 36080109 SOS 33287995 HAS SOPS 31648799 HAS SOUS 30099685 HAS SOUPS 29922673 WITH SCORE 2.9955960995E7
AT ITER 29 NEW BEST:: SOT 36006320 SOS 33210233 HAS SOPS 31535011 HAS SOUS 29842632 HAS SOUPS 29665755 WITH SCORE 2.9698965233E7
AT ITER 30 NEW BEST:: SOT 36006345 SOS 33195855 HAS SOPS 31495377 HAS SOUS 29749343 HAS SOUPS 29572806 WITH SCORE 2.9606001855E7
AT ITER 31 NEW BEST:: SOT 36006345 SOS 33195855 HAS SOPS 31495367 HAS SOUS 29749323 HAS SOUPS 29572786 WITH SCORE 2.9605981855E7
AT ITER 32 NEW BEST:: SOT 36006345 SOS 33186031 HAS SOPS 31472654 HAS SOUS 29679208 HAS SOUPS 29502956 WITH SCORE 2.9536142031E7
AT ITER 33 NEW BEST:: SOT 35930940 SOS 33096017 HAS SOPS 31357250 HAS SOUS 29428065 HAS SOUPS 29252163 WITH SCORE 2.9285259017E7
AT ITER 34 NEW BEST:: SOT 35932163 SOS 33093303 HAS SOPS 31318857 HAS SOUS 29277194 HAS SOUPS 29101874 WITH SCORE 2.9134967303E7
AT ITER 36 NEW BEST:: SOT 35932240 SOS 33088834 HAS SOPS 31279232 HAS SOUS 29182614 HAS SOUPS 29007591 WITH SCORE 2.9040679834E7
AT ITER 40 NEW BEST:: SOT 35916190 SOS 33072784 HAS SOPS 31263182 HAS SOUS 29166564 HAS SOUPS 28991541 WITH SCORE 2.9024613784E7
AT ITER 41 NEW BEST:: SOT 35842221 SOS 32998815 HAS SOPS 31189213 HAS SOUS 29092595 HAS SOUPS 28917572 WITH SCORE 2.8950570815E7
AT ITER 42 NEW BEST:: SOT 35781747 SOS 32938341 HAS SOPS 31128540 HAS SOUS 29031723 HAS SOUPS 28856700 WITH SCORE 2.8889638341E7
AT ITER 44 NEW BEST:: SOT 35730463 SOS 32887057 HAS SOPS 31077256 HAS SOUS 28980773 HAS SOUPS 28805416 WITH SCORE 2.8838303057E7
AT ITER 46 NEW BEST:: SOT 35731864 SOS 32868419 HAS SOPS 31039106 HAS SOUS 28838302 HAS SOUPS 28663567 WITH SCORE 2.8696435419E7
AT ITER 47 NEW BEST:: SOT 35692439 SOS 32828994 HAS SOPS 30999678 HAS SOUS 28798871 HAS SOUPS 28624136 WITH SCORE 2.8656964994E7
AT ITER 50 NEW BEST:: SOT 35692439 SOS 32827962 HAS SOPS 30982535 HAS SOUS 28782731 HAS SOUPS 28607996 WITH SCORE 2.8640823962E7
AT ITER 51 NEW BEST:: SOT 35692439 SOS 32827962 HAS SOPS 30982497 HAS SOUS 28782655 HAS SOUPS 28607920 WITH SCORE 2.8640747962E7
AT ITER 52 NEW BEST:: SOT 35622247 SOS 32757770 HAS SOPS 30912305 HAS SOUS 28712463 HAS SOUPS 28537728 WITH SCORE 2.857048577E7
AT ITER 54 NEW BEST:: SOT 35552477 SOS 32675680 HAS SOPS 30802536 HAS SOUS 28460391 HAS SOUPS 28286054 WITH SCORE 2.831872968E7
AT ITER 57 NEW BEST:: SOT 35508234 SOS 32622184 HAS SOPS 30739198 HAS SOUS 28239097 HAS SOUPS 28065153 WITH SCORE 2.8097775184E7
AT ITER 58 NEW BEST:: SOT 35508234 SOS 32594625 HAS SOPS 30725329 HAS SOUS 28199649 HAS SOUPS 28025970 WITH SCORE 2.8058564625E7
AT ITER 59 NEW BEST:: SOT 35454662 SOS 32541053 HAS SOPS 30671757 HAS SOUS 28146208 HAS SOUPS 27972398 WITH SCORE 2.8004939053E7
AT ITER 60 NEW BEST:: SOT 35420705 SOS 32497034 HAS SOPS 30617700 HAS SOUS 27923510 HAS SOUPS 27750098 WITH SCORE 2.7782595034E7
AT ITER 63 NEW BEST:: SOT 35421462 SOS 32484735 HAS SOPS 30597348 HAS SOUS 27818398 HAS SOUPS 27645476 WITH SCORE 2.7677960735E7
AT ITER 64 NEW BEST:: SOT 35345087 SOS 32408360 HAS SOPS 30520973 HAS SOUS 27742161 HAS SOUPS 27569101 WITH SCORE 2.760150936E7
AT ITER 67 NEW BEST:: SOT 35346296 SOS 32388327 HAS SOPS 30482507 HAS SOUS 27620263 HAS SOUPS 27447726 WITH SCORE 2.7480114327E7
AT ITER 68 NEW BEST:: SOT 35346296 SOS 32388302 HAS SOPS 30482482 HAS SOUS 27620263 HAS SOUPS 27447726 WITH SCORE 2.7480114302E7
AT ITER 69 NEW BEST:: SOT 35346105 SOS 32377509 HAS SOPS 30464391 HAS SOUS 27613085 HAS SOUPS 27440548 WITH SCORE 2.7472925509E7
AT ITER 71 NEW BEST:: SOT 35282754 SOS 32291881 HAS SOPS 30365061 HAS SOUS 27372940 HAS SOUPS 27200777 WITH SCORE 2.7233068881E7
AT ITER 72 NEW BEST:: SOT 35282754 SOS 32291881 HAS SOPS 30364917 HAS SOUS 27372652 HAS SOUPS 27200489 WITH SCORE 2.7232780881E7
AT ITER 73 NEW BEST:: SOT 35207438 SOS 32216565 HAS SOPS 30289601 HAS SOUS 27297463 HAS SOUPS 27125173 WITH SCORE 2.7157389565E7
AT ITER 75 NEW BEST:: SOT 35211188 SOS 32208171 HAS SOPS 30258779 HAS SOUS 27152641 HAS SOUPS 26980980 WITH SCORE 2.7013188171E7
AT ITER 76 NEW BEST:: SOT 35211177 SOS 32208160 HAS SOPS 30258768 HAS SOUS 27152630 HAS SOUPS 26980969 WITH SCORE 2.701317716E7
AT ITER 78 NEW BEST:: SOT 35148578 SOS 32145561 HAS SOPS 30195970 HAS SOUS 27089704 HAS SOUPS 26917972 WITH SCORE 2.6950117561E7
AT ITER 79 NEW BEST:: SOT 35148507 SOS 32145490 HAS SOPS 30195828 HAS SOUS 27089491 HAS SOUPS 26917759 WITH SCORE 2.694990449E7
AT ITER 83 NEW BEST:: SOT 35148507 SOS 32141812 HAS SOPS 30155839 HAS SOUS 27052792 HAS SOUPS 26881060 WITH SCORE 2.6913201812E7
AT ITER 85 NEW BEST:: SOT 35149101 SOS 32125668 HAS SOPS 30126480 HAS SOUS 26951067 HAS SOUPS 26779781 WITH SCORE 2.6811906668E7
AT ITER 87 NEW BEST:: SOT 35149502 SOS 32099568 HAS SOPS 30104164 HAS SOUS 26859020 HAS SOUPS 26688216 WITH SCORE 2.6720315568E7
AT ITER 88 NEW BEST:: SOT 35151985 SOS 32094012 HAS SOPS 30066956 HAS SOUS 26728053 HAS SOUPS 26558064 WITH SCORE 2.6590158012E7
AT ITER 90 NEW BEST:: SOT 35151985 SOS 32094012 HAS SOPS 30066757 HAS SOUS 26727655 HAS SOUPS 26557666 WITH SCORE 2.6589760012E7
AT ITER 95 NEW BEST:: SOT 35151985 SOS 32067940 HAS SOPS 30033200 HAS SOUS 26671646 HAS SOUPS 26501898 WITH SCORE 2.653396594E7
AT ITER 98 NEW BEST:: SOT 35114658 SOS 32030613 HAS SOPS 29995873 HAS SOUS 26634319 HAS SOUPS 26464571 WITH SCORE 2.6496601613E7
AT ITER 99 NEW BEST:: SOT 35119125 SOS 32035011 HAS SOPS 30000340 HAS SOUS 26625055 HAS SOUPS 26455376 WITH SCORE 2.6487411011E7
AT ITER 102 NEW BEST:: SOT 35089302 SOS 32004838 HAS SOPS 29970517 HAS SOUS 26525582 HAS SOUPS 26356253 WITH SCORE 2.6388257838E7
AT ITER 104 NEW BEST:: SOT 35055416 SOS 31970952 HAS SOPS 29936631 HAS SOUS 26491696 HAS SOUPS 26322367 WITH SCORE 2.6354337952E7
AT ITER 105 NEW BEST:: SOT 35016732 SOS 31932268 HAS SOPS 29897947 HAS SOUS 26453012 HAS SOUPS 26283683 WITH SCORE 2.6315615268E7
AT ITER 111 NEW BEST:: SOT 35016732 SOS 31932268 HAS SOPS 29897931 HAS SOUS 26452980 HAS SOUPS 26283651 WITH SCORE 2.6315583268E7
AT ITER 113 NEW BEST:: SOT 34947713 SOS 31863249 HAS SOPS 29828713 HAS SOUS 26383563 HAS SOUPS 26214234 WITH SCORE 2.6246097249E7
AT ITER 114 NEW BEST:: SOT 34947713 SOS 31857153 HAS SOPS 29799970 HAS SOUS 26332030 HAS SOUPS 26162844 WITH SCORE 2.6194701153E7
AT ITER 115 NEW BEST:: SOT 34914674 SOS 31824114 HAS SOPS 29766931 HAS SOUS 26298991 HAS SOUPS 26129805 WITH SCORE 2.6161629114E7
AT ITER 118 NEW BEST:: SOT 34914674 SOS 31814301 HAS SOPS 29729947 HAS SOUS 26228652 HAS SOUPS 26059680 WITH SCORE 2.6091494301E7
AT ITER 119 NEW BEST:: SOT 34914674 SOS 31805397 HAS SOPS 29697988 HAS SOUS 26157479 HAS SOUPS 25988746 WITH SCORE 2.6020551397E7
AT ITER 120 NEW BEST:: SOT 34840334 SOS 31731057 HAS SOPS 29623648 HAS SOUS 26083289 HAS SOUPS 25914406 WITH SCORE 2.5946137057E7
AT ITER 122 NEW BEST:: SOT 34835534 SOS 31726257 HAS SOPS 29618848 HAS SOUS 26078489 HAS SOUPS 25909606 WITH SCORE 2.5941332257E7
AT ITER 125 NEW BEST:: SOT 34835534 SOS 31726257 HAS SOPS 29618779 HAS SOUS 26078351 HAS SOUPS 25909468 WITH SCORE 2.5941194257E7
AT ITER 127 NEW BEST:: SOT 34835534 SOS 31721360 HAS SOPS 29605513 HAS SOUS 26056650 HAS SOUPS 25887833 WITH SCORE 2.591955436E7
AT ITER 129 NEW BEST:: SOT 34770393 SOS 31656219 HAS SOPS 29540173 HAS SOUS 25991111 HAS SOUPS 25822294 WITH SCORE 2.5853950219E7
AT ITER 131 NEW BEST:: SOT 34781484 SOS 31656352 HAS SOPS 29511449 HAS SOUS 25822258 HAS SOUPS 25653885 WITH SCORE 2.5685541352E7
AT ITER 132 NEW BEST:: SOT 34719889 SOS 31557355 HAS SOPS 29414277 HAS SOUS 25601818 HAS SOUPS 25433804 WITH SCORE 2.5465361355E7
AT ITER 134 NEW BEST:: SOT 34726183 SOS 31551434 HAS SOPS 29381022 HAS SOUS 25456204 HAS SOUPS 25288813 WITH SCORE 2.5320364434E7
AT ITER 138 NEW BEST:: SOT 34732659 SOS 31545501 HAS SOPS 29347959 HAS SOUS 25309981 HAS SOUPS 25143218 WITH SCORE 2.5174763501E7
AT ITER 143 NEW BEST:: SOT 34732659 SOS 31540296 HAS SOPS 29308159 HAS SOUS 25275187 HAS SOUPS 25108424 WITH SCORE 2.5139964296E7
AT ITER 145 NEW BEST:: SOT 34739605 SOS 31539545 HAS SOPS 29289344 HAS SOUS 25145578 HAS SOUPS 24979408 WITH SCORE 2.5010947545E7
AT ITER 146 NEW BEST:: SOT 34689203 SOS 31489143 HAS SOPS 29238942 HAS SOUS 25095302 HAS SOUPS 24929006 WITH SCORE 2.4960495143E7
AT ITER 148 NEW BEST:: SOT 34689690 SOS 31489608 HAS SOPS 29239429 HAS SOUS 25091411 HAS SOUPS 24925137 WITH SCORE 2.4956626608E7
AT ITER 149 NEW BEST:: SOT 34685959 SOS 31485877 HAS SOPS 29235698 HAS SOUS 25087849 HAS SOUPS 24921406 WITH SCORE 2.4952891877E7
AT ITER 150 NEW BEST:: SOT 34685959 SOS 31478438 HAS SOPS 29219819 HAS SOUS 25079251 HAS SOUPS 24912808 WITH SCORE 2.4944286438E7
AT ITER 153 NEW BEST:: SOT 34650683 SOS 31443162 HAS SOPS 29184856 HAS SOUS 25044288 HAS SOUPS 24878158 WITH SCORE 2.4909601162E7
AT ITER 155 NEW BEST:: SOT 34653057 SOS 31413159 HAS SOPS 29147580 HAS SOUS 24929740 HAS SOUPS 24764158 WITH SCORE 2.4795571159E7
AT ITER 156 NEW BEST:: SOT 34653057 SOS 31413159 HAS SOPS 29147445 HAS SOUS 24929470 HAS SOUPS 24763888 WITH SCORE 2.4795301159E7
AT ITER 157 NEW BEST:: SOT 34627565 SOS 31372061 HAS SOPS 29082249 HAS SOUS 24820627 HAS SOUPS 24655490 WITH SCORE 2.4686862061E7
AT ITER 158 NEW BEST:: SOT 34610345 SOS 31349374 HAS SOPS 29024831 HAS SOUS 24768443 HAS SOUPS 24602942 WITH SCORE 2.4634291374E7
AT ITER 159 NEW BEST:: SOT 34536329 SOS 31272985 HAS SOPS 28942775 HAS SOUS 24689064 HAS SOUPS 24523179 WITH SCORE 2.4554451985E7
AT ITER 160 NEW BEST:: SOT 34554466 SOS 31292256 HAS SOPS 29022217 HAS SOUS 24588086 HAS SOUPS 24422599 WITH SCORE 2.4453891256E7
AT ITER 166 NEW BEST:: SOT 34555780 SOS 31285350 HAS SOPS 29025137 HAS SOUS 24518439 HAS SOUPS 24353357 WITH SCORE 2.438464235E7
AT ITER 167 NEW BEST:: SOT 34555911 SOS 31251576 HAS SOPS 29004163 HAS SOUS 24452760 HAS SOUPS 24288070 WITH SCORE 2.4319321576E7
AT ITER 168 NEW BEST:: SOT 34530969 SOS 31226634 HAS SOPS 28979221 HAS SOUS 24427818 HAS SOUPS 24263128 WITH SCORE 2.4294354634E7
AT ITER 170 NEW BEST:: SOT 34492610 SOS 31188275 HAS SOPS 28940676 HAS SOUS 24389262 HAS SOUPS 24224397 WITH SCORE 2.4255585275E7
AT ITER 172 NEW BEST:: SOT 34456277 SOS 31151942 HAS SOPS 28904343 HAS SOUS 24352929 HAS SOUPS 24188064 WITH SCORE 2.4219215942E7
AT ITER 174 NEW BEST:: SOT 34456141 SOS 31151806 HAS SOPS 28904071 HAS SOUS 24352578 HAS SOUPS 24187656 WITH SCORE 2.4218807806E7
AT ITER 175 NEW BEST:: SOT 34456057 SOS 31151722 HAS SOPS 28903903 HAS SOUS 24352326 HAS SOUPS 24187404 WITH SCORE 2.4218555722E7
AT ITER 176 NEW BEST:: SOT 34457339 SOS 31141401 HAS SOPS 28865526 HAS SOUS 24257494 HAS SOUPS 24092912 WITH SCORE 2.4124053401E7
AT ITER 177 NEW BEST:: SOT 34457422 SOS 31127821 HAS SOPS 28828022 HAS SOUS 24191079 HAS SOUPS 24026708 WITH SCORE 2.4057835821E7
AT ITER 178 NEW BEST:: SOT 34431892 SOS 31096255 HAS SOPS 28803497 HAS SOUS 24012803 HAS SOUPS 23848830 WITH SCORE 2.3879926255E7
AT ITER 179 NEW BEST:: SOT 34432929 SOS 31084282 HAS SOPS 28764756 HAS SOUS 23916874 HAS SOUPS 23753471 WITH SCORE 2.3784555282E7
AT ITER 180 NEW BEST:: SOT 34424581 SOS 31066836 HAS SOPS 28756408 HAS SOUS 23779319 HAS SOUPS 23616314 WITH SCORE 2.3647380836E7
AT ITER 181 NEW BEST:: SOT 34424675 SOS 31052607 HAS SOPS 28784843 HAS SOUS 23754359 HAS SOUPS 23591694 WITH SCORE 2.3622746607E7
AT ITER 182 NEW BEST:: SOT 34399511 SOS 31027433 HAS SOPS 28759669 HAS SOUS 23729185 HAS SOUPS 23566520 WITH SCORE 2.3597547433E7
AT ITER 184 NEW BEST:: SOT 34399511 SOS 31026349 HAS SOPS 28751269 HAS SOUS 23721827 HAS SOUPS 23559162 WITH SCORE 2.3590188349E7
AT ITER 185 NEW BEST:: SOT 34399511 SOS 31026349 HAS SOPS 28751104 HAS SOUS 23721497 HAS SOUPS 23558832 WITH SCORE 2.3589858349E7
AT ITER 187 NEW BEST:: SOT 34398589 SOS 31025427 HAS SOPS 28750182 HAS SOUS 23720617 HAS SOUPS 23557910 WITH SCORE 2.3588935427E7
AT ITER 188 NEW BEST:: SOT 34372355 SOS 30991688 HAS SOPS 28746661 HAS SOUS 23552294 HAS SOUPS 23389985 WITH SCORE 2.3420976688E7
AT ITER 190 NEW BEST:: SOT 34326594 SOS 30945927 HAS SOPS 28700900 HAS SOUS 23506533 HAS SOUPS 23344224 WITH SCORE 2.3375169927E7
AT ITER 192 NEW BEST:: SOT 34255391 SOS 30874724 HAS SOPS 28629697 HAS SOUS 23435467 HAS SOUPS 23273021 WITH SCORE 2.3303895724E7
AT ITER 195 NEW BEST:: SOT 34247424 SOS 30866757 HAS SOPS 28621730 HAS SOUS 23427500 HAS SOUPS 23265054 WITH SCORE 2.3295920757E7
AT ITER 196 NEW BEST:: SOT 34247026 SOS 30866376 HAS SOPS 28621341 HAS SOUS 23426711 HAS SOUPS 23264640 WITH SCORE 2.3295506376E7
AT ITER 198 NEW BEST:: SOT 34247026 SOS 30861613 HAS SOPS 28614941 HAS SOUS 23425042 HAS SOUPS 23262971 WITH SCORE 2.3293832613E7
AT ITER 199 NEW BEST:: SOT 34156411 SOS 30770998 HAS SOPS 28524326 HAS SOUS 23334427 HAS SOUPS 23172356 WITH SCORE 2.3203126998E7
AT ITER 200 NEW BEST:: SOT 34156411 SOS 30770956 HAS SOPS 28524284 HAS SOUS 23334385 HAS SOUPS 23172314 WITH SCORE 2.3203084956E7
AT ITER 201 NEW BEST:: SOT 34157042 SOS 30764101 HAS SOPS 28525235 HAS SOUS 23279142 HAS SOUPS 23117391 WITH SCORE 2.3148155101E7
AT ITER 202 NEW BEST:: SOT 34171071 SOS 30745551 HAS SOPS 28499921 HAS SOUS 23125065 HAS SOUPS 22964192 WITH SCORE 2.2994937551E7
AT ITER 204 NEW BEST:: SOT 34171071 SOS 30710755 HAS SOPS 28459922 HAS SOUS 23078064 HAS SOUPS 22917398 WITH SCORE 2.2948108755E7
AT ITER 206 NEW BEST:: SOT 34170996 SOS 30710680 HAS SOPS 28459847 HAS SOUS 23077989 HAS SOUPS 22917323 WITH SCORE 2.294803368E7
AT ITER 207 NEW BEST:: SOT 34171040 SOS 30681299 HAS SOPS 28442002 HAS SOUS 23027591 HAS SOUPS 22867234 WITH SCORE 2.2897915299E7
AT ITER 209 NEW BEST:: SOT 34171040 SOS 30671499 HAS SOPS 28442002 HAS SOUS 23011991 HAS SOUPS 22851761 WITH SCORE 2.2882432499E7
AT ITER 210 NEW BEST:: SOT 34171040 SOS 30671499 HAS SOPS 28441974 HAS SOUS 23011935 HAS SOUPS 22851705 WITH SCORE 2.2882376499E7
AT ITER 212 NEW BEST:: SOT 34176121 SOS 30676294 HAS SOPS 28447056 HAS SOUS 22977304 HAS SOUPS 22817274 WITH SCORE 2.2847950294E7
AT ITER 213 NEW BEST:: SOT 34125537 SOS 30625710 HAS SOPS 28396273 HAS SOUS 22926433 HAS SOUPS 22766292 WITH SCORE 2.279691771E7
AT ITER 214 NEW BEST:: SOT 34088508 SOS 30587712 HAS SOPS 28356832 HAS SOUS 22888193 HAS SOUPS 22727796 WITH SCORE 2.2758383712E7
AT ITER 215 NEW BEST:: SOT 34088508 SOS 30571080 HAS SOPS 28296874 HAS SOUS 22844609 HAS SOUPS 22684212 WITH SCORE 2.271478308E7
AT ITER 217 NEW BEST:: SOT 34088508 SOS 30571080 HAS SOPS 28296790 HAS SOUS 22844441 HAS SOUPS 22684044 WITH SCORE 2.271461508E7
AT ITER 218 NEW BEST:: SOT 34088508 SOS 30571080 HAS SOPS 28296718 HAS SOUS 22844192 HAS SOUPS 22683900 WITH SCORE 2.271447108E7
AT ITER 219 NEW BEST:: SOT 34088508 SOS 30571054 HAS SOPS 28296692 HAS SOUS 22844192 HAS SOUPS 22683900 WITH SCORE 2.2714471054E7
AT ITER 220 NEW BEST:: SOT 34097765 SOS 30542176 HAS SOPS 28226344 HAS SOUS 22672679 HAS SOUPS 22513081 WITH SCORE 2.2543623176E7
AT ITER 221 NEW BEST:: SOT 34077695 SOS 30522106 HAS SOPS 28206274 HAS SOUS 22652609 HAS SOUPS 22493011 WITH SCORE 2.2523533106E7
AT ITER 223 NEW BEST:: SOT 34077695 SOS 30507715 HAS SOPS 28190752 HAS SOUS 22635800 HAS SOUPS 22476280 WITH SCORE 2.2506787715E7
AT ITER 225 NEW BEST:: SOT 34044438 SOS 30474458 HAS SOPS 28157495 HAS SOUS 22602543 HAS SOUPS 22443023 WITH SCORE 2.2473497458E7
AT ITER 228 NEW BEST:: SOT 34044434 SOS 30474454 HAS SOPS 28157491 HAS SOUS 22602539 HAS SOUPS 22443019 WITH SCORE 2.2473493454E7
AT ITER 229 NEW BEST:: SOT 33973759 SOS 30403779 HAS SOPS 28086816 HAS SOUS 22531973 HAS SOUPS 22372344 WITH SCORE 2.2402747779E7
AT ITER 230 NEW BEST:: SOT 33963351 SOS 30393371 HAS SOPS 28076473 HAS SOUS 22521630 HAS SOUPS 22362066 WITH SCORE 2.2392459371E7
AT ITER 231 NEW BEST:: SOT 33963613 SOS 30357653 HAS SOPS 28037079 HAS SOUS 22449561 HAS SOUPS 22290340 WITH SCORE 2.2320697653E7
AT ITER 232 NEW BEST:: SOT 33963613 SOS 30349056 HAS SOPS 27997279 HAS SOUS 22418159 HAS SOUPS 22258938 WITH SCORE 2.2289287056E7
AT ITER 233 NEW BEST:: SOT 33963613 SOS 30323411 HAS SOPS 27936456 HAS SOUS 22382307 HAS SOUPS 22223590 WITH SCORE 2.2253913411E7
AT ITER 234 NEW BEST:: SOT 33906983 SOS 30232935 HAS SOPS 27839827 HAS SOUS 22168682 HAS SOUPS 22010363 WITH SCORE 2.2040595935E7
AT ITER 235 NEW BEST:: SOT 33896202 SOS 30222154 HAS SOPS 27829046 HAS SOUS 22157901 HAS SOUPS 21999582 WITH SCORE 2.2029804154E7
AT ITER 236 NEW BEST:: SOT 33894916 SOS 30220868 HAS SOPS 27827760 HAS SOUS 22156615 HAS SOUPS 21998296 WITH SCORE 2.2028516868E7
AT ITER 238 NEW BEST:: SOT 33894916 SOS 30220868 HAS SOPS 27827561 HAS SOUS 22156217 HAS SOUPS 21997898 WITH SCORE 2.2028118868E7
AT ITER 239 NEW BEST:: SOT 33894717 SOS 30220669 HAS SOPS 27827163 HAS SOUS 22155819 HAS SOUPS 21997301 WITH SCORE 2.2027521669E7
AT ITER 241 NEW BEST:: SOT 33894717 SOS 30211865 HAS SOPS 27808269 HAS SOUS 22126741 HAS SOUPS 21968317 WITH SCORE 2.1998528865E7
AT ITER 242 NEW BEST:: SOT 33895044 SOS 30196690 HAS SOPS 27774866 HAS SOUS 22060941 HAS SOUPS 21902756 WITH SCORE 2.193295269E7
AT ITER 245 NEW BEST:: SOT 33895384 SOS 30192071 HAS SOPS 27782442 HAS SOUS 22026548 HAS SOUPS 21868598 WITH SCORE 2.1898790071E7
AT ITER 246 NEW BEST:: SOT 33898311 SOS 30169481 HAS SOPS 27709182 HAS SOUS 21895837 HAS SOUPS 21738300 WITH SCORE 2.1768469481E7
AT ITER 247 NEW BEST:: SOT 33835277 SOS 30106447 HAS SOPS 27646148 HAS SOUS 21832834 HAS SOUPS 21675266 WITH SCORE 2.1705372447E7
AT ITER 248 NEW BEST:: SOT 33863137 SOS 30133298 HAS SOPS 27674135 HAS SOUS 21796757 HAS SOUPS 21639515 WITH SCORE 2.1669648298E7
AT ITER 249 NEW BEST:: SOT 33863232 SOS 30105146 HAS SOPS 27658954 HAS SOUS 21745271 HAS SOUPS 21588351 WITH SCORE 2.1618456146E7
AT ITER 250 NEW BEST:: SOT 33818181 SOS 30051508 HAS SOPS 27613903 HAS SOUS 21551995 HAS SOUPS 21395473 WITH SCORE 2.1425524508E7
AT ITER 251 NEW BEST:: SOT 33824548 SOS 30016991 HAS SOPS 27580920 HAS SOUS 21435322 HAS SOUPS 21279423 WITH SCORE 2.1309439991E7
AT ITER 252 NEW BEST:: SOT 33824199 SOS 30016642 HAS SOPS 27580571 HAS SOUS 21434973 HAS SOUPS 21279074 WITH SCORE 2.1309090642E7
AT ITER 254 NEW BEST:: SOT 33824790 SOS 30016743 HAS SOPS 27581233 HAS SOUS 21421996 HAS SOUPS 21266168 WITH SCORE 2.1296184743E7
AT ITER 255 NEW BEST:: SOT 33809907 SOS 30001860 HAS SOPS 27566350 HAS SOUS 21407574 HAS SOUPS 21251285 WITH SCORE 2.128128686E7
AT ITER 256 NEW BEST:: SOT 33789544 SOS 29981497 HAS SOPS 27545987 HAS SOUS 21387211 HAS SOUPS 21230922 WITH SCORE 2.1260903497E7
AT ITER 257 NEW BEST:: SOT 33789456 SOS 29981409 HAS SOPS 27545899 HAS SOUS 21387123 HAS SOUPS 21230834 WITH SCORE 2.1260815409E7
AT ITER 258 NEW BEST:: SOT 33744333 SOS 29936286 HAS SOPS 27500776 HAS SOUS 21342000 HAS SOUPS 21185711 WITH SCORE 2.1215647286E7
AT ITER 259 NEW BEST:: SOT 33744333 SOS 29936286 HAS SOPS 27500719 HAS SOUS 21341886 HAS SOUPS 21185597 WITH SCORE 2.1215533286E7
AT ITER 260 NEW BEST:: SOT 33720457 SOS 29912410 HAS SOPS 27476993 HAS SOUS 21318160 HAS SOUPS 21162021 WITH SCORE 2.119193341E7
AT ITER 263 NEW BEST:: SOT 33683255 SOS 29875208 HAS SOPS 27439592 HAS SOUS 21280560 HAS SOUPS 21124421 WITH SCORE 2.1154296208E7
AT ITER 265 NEW BEST:: SOT 33683034 SOS 29874987 HAS SOPS 27439172 HAS SOUS 21279941 HAS SOUPS 21123802 WITH SCORE 2.1153676987E7
AT ITER 267 NEW BEST:: SOT 33684925 SOS 29876463 HAS SOPS 27441159 HAS SOUS 21263239 HAS SOUPS 21107196 WITH SCORE 2.1137072463E7
AT ITER 270 NEW BEST:: SOT 33670500 SOS 29862038 HAS SOPS 27426734 HAS SOUS 21248814 HAS SOUPS 21092771 WITH SCORE 2.1122633038E7
AT ITER 274 NEW BEST:: SOT 33603469 SOS 29795007 HAS SOPS 27359703 HAS SOUS 21181991 HAS SOUPS 21025740 WITH SCORE 2.1055535007E7
AT ITER 279 NEW BEST:: SOT 33614597 SOS 29791792 HAS SOPS 27332241 HAS SOUS 21030583 HAS SOUPS 20874531 WITH SCORE 2.0904322792E7
AT ITER 280 NEW BEST:: SOT 33549359 SOS 29726554 HAS SOPS 27267003 HAS SOUS 20965345 HAS SOUPS 20809293 WITH SCORE 2.0839019554E7
AT ITER 281 NEW BEST:: SOT 33523589 SOS 29695817 HAS SOPS 27228677 HAS SOUS 20931816 HAS SOUPS 20776092 WITH SCORE 2.0805787817E7
AT ITER 282 NEW BEST:: SOT 33556937 SOS 29707925 HAS SOPS 27222412 HAS SOUS 20829779 HAS SOUPS 20674640 WITH SCORE 2.0704347925E7
AT ITER 283 NEW BEST:: SOT 33557368 SOS 29690992 HAS SOPS 27239928 HAS SOUS 20792629 HAS SOUPS 20637851 WITH SCORE 2.0667541992E7
AT ITER 285 NEW BEST:: SOT 33472881 SOS 29605692 HAS SOPS 27152426 HAS SOUS 20705910 HAS SOUPS 20551132 WITH SCORE 2.0580737692E7
AT ITER 286 NEW BEST:: SOT 33496188 SOS 29592331 HAS SOPS 27138534 HAS SOUS 20556102 HAS SOUPS 20402185 WITH SCORE 2.0431777331E7
AT ITER 287 NEW BEST:: SOT 33470113 SOS 29566256 HAS SOPS 27112459 HAS SOUS 20530027 HAS SOUPS 20376110 WITH SCORE 2.0405676256E7
AT ITER 290 NEW BEST:: SOT 33471901 SOS 29524112 HAS SOPS 27050928 HAS SOUS 20424192 HAS SOUPS 20270715 WITH SCORE 2.0300239112E7
AT ITER 291 NEW BEST:: SOT 33475840 SOS 29502035 HAS SOPS 27015311 HAS SOUS 20326036 HAS SOUPS 20173002 WITH SCORE 2.0202504035E7
AT ITER 292 NEW BEST:: SOT 33573386 SOS 29567526 HAS SOPS 27085119 HAS SOUS 20256881 HAS SOUPS 20104046 WITH SCORE 2.0133613526E7
AT ITER 293 NEW BEST:: SOT 33537989 SOS 29537231 HAS SOPS 27120072 HAS SOUS 20115126 HAS SOUPS 19962675 WITH SCORE 1.9992212231E7
AT ITER 294 NEW BEST:: SOT 33497007 SOS 29496249 HAS SOPS 27078942 HAS SOUS 20073996 HAS SOUPS 19921397 WITH SCORE 1.9950893249E7
AT ITER 295 NEW BEST:: SOT 33566438 SOS 29564458 HAS SOPS 27181891 HAS SOUS 20061679 HAS SOUPS 19909664 WITH SCORE 1.9939228458E7
AT ITER 298 NEW BEST:: SOT 33566446 SOS 29564466 HAS SOPS 27181877 HAS SOUS 20061643 HAS SOUPS 19909628 WITH SCORE 1.9939192466E7
AT ITER 300 NEW BEST:: SOT 33556266 SOS 29554286 HAS SOPS 27171697 HAS SOUS 20051579 HAS SOUPS 19899448 WITH SCORE 1.9929002286E7
AT ITER 302 NEW BEST:: SOT 33515740 SOS 29513760 HAS SOPS 27131171 HAS SOUS 20011153 HAS SOUPS 19858922 WITH SCORE 1.988843576E7
AT ITER 304 NEW BEST:: SOT 33517642 SOS 29478381 HAS SOPS 27110757 HAS SOUS 19931391 HAS SOUPS 19779644 WITH SCORE 1.9809122381E7
AT ITER 305 NEW BEST:: SOT 33522678 SOS 29469381 HAS SOPS 27089448 HAS SOUS 19846640 HAS SOUPS 19695281 WITH SCORE 1.9724750381E7
AT ITER 307 NEW BEST:: SOT 33523439 SOS 29452896 HAS SOPS 27059655 HAS SOUS 19784986 HAS SOUPS 19633872 WITH SCORE 1.9663324896E7
AT ITER 308 NEW BEST:: SOT 33524678 SOS 29424593 HAS SOPS 27047302 HAS SOUS 19720914 HAS SOUPS 19570207 WITH SCORE 1.9599631593E7
AT ITER 309 NEW BEST:: SOT 33491926 SOS 29391841 HAS SOPS 27014550 HAS SOUS 19688162 HAS SOUPS 19537455 WITH SCORE 1.9566846841E7
AT ITER 310 NEW BEST:: SOT 33491926 SOS 29391841 HAS SOPS 27014392 HAS SOUS 19687846 HAS SOUPS 19537139 WITH SCORE 1.9566530841E7
AT ITER 311 NEW BEST:: SOT 33491886 SOS 29391801 HAS SOPS 27014352 HAS SOUS 19687806 HAS SOUPS 19537099 WITH SCORE 1.9566490801E7
AT ITER 316 NEW BEST:: SOT 33491945 SOS 29380479 HAS SOPS 27014247 HAS SOUS 19666118 HAS SOUPS 19515575 WITH SCORE 1.9544955479E7
AT ITER 317 NEW BEST:: SOT 33484409 SOS 29376205 HAS SOPS 27011065 HAS SOUS 19659716 HAS SOUPS 19508709 WITH SCORE 1.9538085205E7
AT ITER 318 NEW BEST:: SOT 33368502 SOS 29231477 HAS SOPS 26824054 HAS SOUS 19500316 HAS SOUPS 19349662 WITH SCORE 1.9378893477E7
AT ITER 319 NEW BEST:: SOT 33368502 SOS 29215613 HAS SOPS 26784065 HAS SOUS 19475793 HAS SOUPS 19325139 WITH SCORE 1.9354354613E7
AT ITER 321 NEW BEST:: SOT 33361301 SOS 29208412 HAS SOPS 26776864 HAS SOUS 19468592 HAS SOUPS 19317938 WITH SCORE 1.9347146412E7
AT ITER 322 NEW BEST:: SOT 33349347 SOS 29197303 HAS SOPS 26767711 HAS SOUS 19458624 HAS SOUPS 19307970 WITH SCORE 1.9337167303E7
AT ITER 325 NEW BEST:: SOT 33349332 SOS 29178837 HAS SOPS 26729097 HAS SOUS 19438070 HAS SOUPS 19287416 WITH SCORE 1.9316594837E7
AT ITER 326 NEW BEST:: SOT 33316860 SOS 29146365 HAS SOPS 26696420 HAS SOUS 19405393 HAS SOUPS 19254534 WITH SCORE 1.9283680365E7
AT ITER 328 NEW BEST:: SOT 33333032 SOS 29155683 HAS SOPS 26727462 HAS SOUS 19349831 HAS SOUPS 19199442 WITH SCORE 1.9228597683E7
AT ITER 329 NEW BEST:: SOT 33295451 SOS 29119321 HAS SOPS 26693499 HAS SOUS 19314902 HAS SOUPS 19164296 WITH SCORE 1.9193415321E7
AT ITER 330 NEW BEST:: SOT 33281571 SOS 29070371 HAS SOPS 26650269 HAS SOUS 19216933 HAS SOUPS 19066887 WITH SCORE 1.9095957371E7
AT ITER 332 NEW BEST:: SOT 33282719 SOS 29050084 HAS SOPS 26611665 HAS SOUS 19150213 HAS SOUPS 19000414 WITH SCORE 1.9029464084E7
AT ITER 333 NEW BEST:: SOT 33217140 SOS 28984505 HAS SOPS 26546086 HAS SOUS 19084760 HAS SOUPS 18934835 WITH SCORE 1.8963819505E7
AT ITER 334 NEW BEST:: SOT 33222425 SOS 28969545 HAS SOPS 26551861 HAS SOUS 19006507 HAS SOUPS 18857105 WITH SCORE 1.8886074545E7
AT ITER 335 NEW BEST:: SOT 33235624 SOS 28924121 HAS SOPS 26525793 HAS SOUS 18886435 HAS SOUPS 18737797 WITH SCORE 1.8766721121E7
AT ITER 336 NEW BEST:: SOT 33231296 SOS 28915521 HAS SOPS 26512822 HAS SOUS 18877650 HAS SOUPS 18729012 WITH SCORE 1.8757927521E7
AT ITER 338 NEW BEST:: SOT 33231296 SOS 28912640 HAS SOPS 26503856 HAS SOUS 18871753 HAS SOUPS 18723115 WITH SCORE 1.875202764E7
AT ITER 340 NEW BEST:: SOT 33232598 SOS 28876430 HAS SOPS 26465518 HAS SOUS 18799088 HAS SOUPS 18650809 WITH SCORE 1.867968543E7
AT ITER 341 NEW BEST:: SOT 33232598 SOS 28854920 HAS SOPS 26451649 HAS SOUS 18792860 HAS SOUPS 18644581 WITH SCORE 1.867343592E7
AT ITER 347 NEW BEST:: SOT 33164985 SOS 28775728 HAS SOPS 26343807 HAS SOUS 18696129 HAS SOUPS 18547690 WITH SCORE 1.8576465728E7
AT ITER 348 NEW BEST:: SOT 33164985 SOS 28775904 HAS SOPS 26343807 HAS SOUS 18695953 HAS SOUPS 18547514 WITH SCORE 1.8576289904E7
AT ITER 350 NEW BEST:: SOT 33164733 SOS 28767546 HAS SOPS 26297303 HAS SOUS 18657073 HAS SOUPS 18508634 WITH SCORE 1.8537401546E7
AT ITER 351 NEW BEST:: SOT 33108833 SOS 28709527 HAS SOPS 26241403 HAS SOUS 18511092 HAS SOUPS 18363114 WITH SCORE 1.8391823527E7
AT ITER 354 NEW BEST:: SOT 33113249 SOS 28711363 HAS SOPS 26275835 HAS SOUS 18465469 HAS SOUPS 18317906 WITH SCORE 1.8346617363E7
AT ITER 356 NEW BEST:: SOT 33113815 SOS 28678026 HAS SOPS 26230944 HAS SOUS 18402629 HAS SOUPS 18255323 WITH SCORE 1.8284001026E7
AT ITER 357 NEW BEST:: SOT 33116956 SOS 28659889 HAS SOPS 26255180 HAS SOUS 18347753 HAS SOUPS 18200950 WITH SCORE 1.8229609889E7
AT ITER 359 NEW BEST:: SOT 33190229 SOS 28705689 HAS SOPS 26320413 HAS SOUS 18289537 HAS SOUPS 18143132 WITH SCORE 1.8171837689E7
AT ITER 360 NEW BEST:: SOT 33141245 SOS 28656705 HAS SOPS 26271429 HAS SOUS 18240553 HAS SOUPS 18094148 WITH SCORE 1.8122804705E7
AT ITER 364 NEW BEST:: SOT 33115151 SOS 28630611 HAS SOPS 26245136 HAS SOUS 18214101 HAS SOUPS 18067656 WITH SCORE 1.8096286611E7
AT ITER 366 NEW BEST:: SOT 33117903 SOS 28633016 HAS SOPS 26247976 HAS SOUS 18199776 HAS SOUPS 18053419 WITH SCORE 1.8082052016E7
AT ITER 368 NEW BEST:: SOT 33117903 SOS 28633016 HAS SOPS 26247893 HAS SOUS 18199610 HAS SOUPS 18053253 WITH SCORE 1.8081886016E7
AT ITER 369 NEW BEST:: SOT 33117903 SOS 28633016 HAS SOPS 26247877 HAS SOUS 18199578 HAS SOUPS 18053221 WITH SCORE 1.8081854016E7
AT ITER 373 NEW BEST:: SOT 33121459 SOS 28617084 HAS SOPS 26275149 HAS SOUS 18143771 HAS SOUPS 17997929 WITH SCORE 1.8026546084E7
AT ITER 374 NEW BEST:: SOT 33093260 SOS 28572234 HAS SOPS 26207140 HAS SOUS 18092204 HAS SOUPS 17946362 WITH SCORE 1.7974934234E7
AT ITER 378 NEW BEST:: SOT 33093076 SOS 28572050 HAS SOPS 26206956 HAS SOUS 18092020 HAS SOUPS 17946178 WITH SCORE 1.797475005E7
AT ITER 379 NEW BEST:: SOT 33028344 SOS 28507318 HAS SOPS 26142025 HAS SOUS 18026906 HAS SOUPS 17881048 WITH SCORE 1.7909555318E7
AT ITER 382 NEW BEST:: SOT 33018346 SOS 28495667 HAS SOPS 26127203 HAS SOUS 18013775 HAS SOUPS 17867831 WITH SCORE 1.7896326667E7
AT ITER 383 NEW BEST:: SOT 33038201 SOS 28496564 HAS SOPS 26138013 HAS SOUS 17872629 HAS SOUPS 17727165 WITH SCORE 1.7755661564E7
AT ITER 384 NEW BEST:: SOT 33038201 SOS 28496462 HAS SOPS 26137911 HAS SOUS 17872527 HAS SOUPS 17727063 WITH SCORE 1.7755559462E7
AT ITER 385 NEW BEST:: SOT 33011387 SOS 28483856 HAS SOPS 26141046 HAS SOUS 17862404 HAS SOUPS 17716288 WITH SCORE 1.7744771856E7
AT ITER 387 NEW BEST:: SOT 33045800 SOS 28474768 HAS SOPS 26137646 HAS SOUS 17787302 HAS SOUPS 17641762 WITH SCORE 1.7670236768E7
AT ITER 388 NEW BEST:: SOT 33045601 SOS 28474569 HAS SOPS 26137173 HAS SOUS 17786829 HAS SOUPS 17641015 WITH SCORE 1.7669489569E7
AT ITER 390 NEW BEST:: SOT 33046900 SOS 28424261 HAS SOPS 26102694 HAS SOUS 17720220 HAS SOUPS 17574406 WITH SCORE 1.7602830261E7
AT ITER 393 NEW BEST:: SOT 33038726 SOS 28416087 HAS SOPS 26094673 HAS SOUS 17712352 HAS SOUPS 17566538 WITH SCORE 1.7594954087E7
AT ITER 397 NEW BEST:: SOT 33038726 SOS 28402733 HAS SOPS 26060673 HAS SOUS 17691410 HAS SOUPS 17545722 WITH SCORE 1.7574124733E7
AT ITER 401 NEW BEST:: SOT 33038726 SOS 28402733 HAS SOPS 26060476 HAS SOUS 17691066 HAS SOUPS 17545328 WITH SCORE 1.7573730733E7
AT ITER 403 NEW BEST:: SOT 32994896 SOS 28350661 HAS SOPS 25994549 HAS SOUS 17633009 HAS SOUPS 17487635 WITH SCORE 1.7515985661E7
AT ITER 411 NEW BEST:: SOT 33040509 SOS 28358200 HAS SOPS 26000800 HAS SOUS 17506154 HAS SOUPS 17361636 WITH SCORE 1.73899942E7
AT ITER 412 NEW BEST:: SOT 33040509 SOS 28357133 HAS SOPS 25998033 HAS SOUS 17504350 HAS SOUPS 17359832 WITH SCORE 1.7388189133E7
AT ITER 413 NEW BEST:: SOT 32990126 SOS 28305465 HAS SOPS 25947650 HAS SOUS 17360852 HAS SOUPS 17216806 WITH SCORE 1.7245111465E7
AT ITER 415 NEW BEST:: SOT 32990126 SOS 28302753 HAS SOPS 25939850 HAS SOUS 17355725 HAS SOUPS 17211679 WITH SCORE 1.7239981753E7
AT ITER 416 NEW BEST:: SOT 32990126 SOS 28302753 HAS SOPS 25939812 HAS SOUS 17355649 HAS SOUPS 17211603 WITH SCORE 1.7239905753E7
AT ITER 417 NEW BEST:: SOT 32990126 SOS 28302753 HAS SOPS 25939721 HAS SOUS 17355467 HAS SOUPS 17211421 WITH SCORE 1.7239723753E7
AT ITER 419 NEW BEST:: SOT 32990126 SOS 28297478 HAS SOPS 25927707 HAS SOUS 17348654 HAS SOUPS 17204608 WITH SCORE 1.7232905478E7
AT ITER 420 NEW BEST:: SOT 32990141 SOS 28282279 HAS SOPS 25915322 HAS SOUS 17339021 HAS SOUPS 17195037 WITH SCORE 1.7223319279E7
AT ITER 421 NEW BEST:: SOT 32990141 SOS 28281550 HAS SOPS 25913802 HAS SOUS 17338103 HAS SOUPS 17194119 WITH SCORE 1.722240055E7
AT ITER 422 NEW BEST:: SOT 32990141 SOS 28281550 HAS SOPS 25913645 HAS SOUS 17337789 HAS SOUPS 17193805 WITH SCORE 1.722208655E7
AT ITER 424 NEW BEST:: SOT 32990463 SOS 28234681 HAS SOPS 25874208 HAS SOUS 17293007 HAS SOUPS 17149284 WITH SCORE 1.7177518681E7
AT ITER 427 NEW BEST:: SOT 32990463 SOS 28234697 HAS SOPS 25874070 HAS SOUS 17292699 HAS SOUPS 17148976 WITH SCORE 1.7177210697E7
AT ITER 430 NEW BEST:: SOT 32968778 SOS 28204890 HAS SOPS 25852385 HAS SOUS 17156950 HAS SOUPS 17013625 WITH SCORE 1.704182989E7
AT ITER 432 NEW BEST:: SOT 32908963 SOS 28145075 HAS SOPS 25792570 HAS SOUS 17097135 HAS SOUPS 16953810 WITH SCORE 1.6981955075E7
AT ITER 434 NEW BEST:: SOT 32924548 SOS 28159818 HAS SOPS 25808162 HAS SOUS 17072376 HAS SOUPS 16929257 WITH SCORE 1.6957416818E7
AT ITER 435 NEW BEST:: SOT 32924548 SOS 28143613 HAS SOPS 25768315 HAS SOUS 17048488 HAS SOUPS 16905369 WITH SCORE 1.6933512613E7
AT ITER 438 NEW BEST:: SOT 32891335 SOS 28109289 HAS SOPS 25735102 HAS SOUS 16946186 HAS SOUPS 16803418 WITH SCORE 1.6831527289E7
AT ITER 441 NEW BEST:: SOT 32892998 SOS 28096590 HAS SOPS 25754956 HAS SOUS 16902683 HAS SOUPS 16760305 WITH SCORE 1.678840159E7
AT ITER 444 NEW BEST:: SOT 32831626 SOS 28058537 HAS SOPS 25734465 HAS SOUS 16859328 HAS SOUPS 16716545 WITH SCORE 1.6744603537E7
AT ITER 446 NEW BEST:: SOT 32820362 SOS 28047273 HAS SOPS 25723126 HAS SOUS 16847914 HAS SOUPS 16705131 WITH SCORE 1.6733178273E7
AT ITER 447 NEW BEST:: SOT 32844156 SOS 28070391 HAS SOPS 25747123 HAS SOUS 16832190 HAS SOUPS 16689610 WITH SCORE 1.6717680391E7
AT ITER 448 NEW BEST:: SOT 32863821 SOS 28066652 HAS SOPS 25736218 HAS SOUS 16715813 HAS SOUPS 16573846 WITH SCORE 1.6601912652E7
AT ITER 450 NEW BEST:: SOT 32874571 SOS 28065927 HAS SOPS 25746968 HAS SOUS 16635038 HAS SOUPS 16493586 WITH SCORE 1.6521651927E7
AT ITER 453 NEW BEST:: SOT 32857503 SOS 28048859 HAS SOPS 25729900 HAS SOUS 16617970 HAS SOUPS 16476518 WITH SCORE 1.6504566859E7
AT ITER 454 NEW BEST:: SOT 32857505 SOS 28046777 HAS SOPS 25728102 HAS SOUS 16616438 HAS SOUPS 16475004 WITH SCORE 1.6503050777E7
AT ITER 455 NEW BEST:: SOT 32857505 SOS 28023272 HAS SOPS 25671782 HAS SOUS 16583339 HAS SOUPS 16441905 WITH SCORE 1.6469928272E7
AT ITER 456 NEW BEST:: SOT 32857505 SOS 28023272 HAS SOPS 25671612 HAS SOUS 16582999 HAS SOUPS 16441565 WITH SCORE 1.6469588272E7
AT ITER 457 NEW BEST:: SOT 32857465 SOS 28005768 HAS SOPS 25622992 HAS SOUS 16551779 HAS SOUPS 16410385 WITH SCORE 1.6438390768E7
AT ITER 459 NEW BEST:: SOT 32803556 SOS 27951859 HAS SOPS 25568922 HAS SOUS 16497548 HAS SOUPS 16356154 WITH SCORE 1.6384105859E7
AT ITER 465 NEW BEST:: SOT 32772609 SOS 27920912 HAS SOPS 25537975 HAS SOUS 16466690 HAS SOUPS 16325207 WITH SCORE 1.6353127912E7
AT ITER 471 NEW BEST:: SOT 32764155 SOS 27878308 HAS SOPS 25494547 HAS SOUS 16295078 HAS SOUPS 16153993 WITH SCORE 1.6181871308E7
AT ITER 476 NEW BEST:: SOT 32764155 SOS 27873924 HAS SOPS 25485317 HAS SOUS 16290110 HAS SOUPS 16149055 WITH SCORE 1.6176928924E7
AT ITER 480 NEW BEST:: SOT 32717157 SOS 27824705 HAS SOPS 25433553 HAS SOUS 16240709 HAS SOUPS 16099522 WITH SCORE 1.6127346705E7
AT ITER 482 NEW BEST:: SOT 32716978 SOS 27794158 HAS SOPS 25363579 HAS SOUS 16200560 HAS SOUPS 16059373 WITH SCORE 1.6087167158E7
AT ITER 483 NEW BEST:: SOT 32731302 SOS 27774033 HAS SOPS 25370064 HAS SOUS 16169616 HAS SOUPS 16028788 WITH SCORE 1.6056562033E7
AT ITER 485 NEW BEST:: SOT 32731372 SOS 27774103 HAS SOPS 25369943 HAS SOUS 16169385 HAS SOUPS 16028476 WITH SCORE 1.6056250103E7
AT ITER 487 NEW BEST:: SOT 32731663 SOS 27764119 HAS SOPS 25370391 HAS SOUS 16146308 HAS SOUPS 16005568 WITH SCORE 1.6033332119E7
AT ITER 489 NEW BEST:: SOT 32693590 SOS 27726046 HAS SOPS 25332792 HAS SOUS 16108321 HAS SOUPS 15968443 WITH SCORE 1.5996169046E7
AT ITER 493 NEW BEST:: SOT 32693590 SOS 27701560 HAS SOPS 25301022 HAS SOUS 16101107 HAS SOUPS 15961229 WITH SCORE 1.598893056E7
AT ITER 494 NEW BEST:: SOT 32626326 SOS 27649663 HAS SOPS 25256441 HAS SOUS 16041511 HAS SOUPS 15901096 WITH SCORE 1.5928745663E7
AT ITER 495 NEW BEST:: SOT 32634320 SOS 27648818 HAS SOPS 25257708 HAS SOUS 15981255 HAS SOUPS 15841193 WITH SCORE 1.5868841818E7
AT ITER 496 NEW BEST:: SOT 32643210 SOS 27616719 HAS SOPS 25226687 HAS SOUS 15884113 HAS SOUPS 15744585 WITH SCORE 1.5772201719E7
AT ITER 497 NEW BEST:: SOT 32643210 SOS 27606696 HAS SOPS 25204257 HAS SOUS 15871564 HAS SOUPS 15732036 WITH SCORE 1.5759642696E7
AT ITER 498 NEW BEST:: SOT 32643031 SOS 27606517 HAS SOPS 25204078 HAS SOUS 15871385 HAS SOUPS 15731857 WITH SCORE 1.5759463517E7
AT ITER 500 NEW BEST:: SOT 32643031 SOS 27606517 HAS SOPS 25203911 HAS SOUS 15871051 HAS SOUPS 15731523 WITH SCORE 1.5759129517E7
AT ITER 502 NEW BEST:: SOT 32690070 SOS 27618729 HAS SOPS 25247249 HAS SOUS 15810094 HAS SOUPS 15671264 WITH SCORE 1.5698882729E7
AT ITER 503 NEW BEST:: SOT 32711272 SOS 27638487 HAS SOPS 25320508 HAS SOUS 15714969 HAS SOUPS 15576537 WITH SCORE 1.5604175487E7
AT ITER 504 NEW BEST:: SOT 32711229 SOS 27638444 HAS SOPS 25320440 HAS SOUS 15714876 HAS SOUPS 15576444 WITH SCORE 1.5604082444E7
AT ITER 505 NEW BEST:: SOT 32790651 SOS 27696249 HAS SOPS 25400329 HAS SOUS 15676143 HAS SOUPS 15538414 WITH SCORE 1.5566110249E7
AT ITER 506 NEW BEST:: SOT 32790651 SOS 27690068 HAS SOPS 25385006 HAS SOUS 15666924 HAS SOUPS 15529195 WITH SCORE 1.5556885068E7
AT ITER 508 NEW BEST:: SOT 32791177 SOS 27701671 HAS SOPS 25441611 HAS SOUS 15657210 HAS SOUPS 15519760 WITH SCORE 1.5547461671E7
AT ITER 511 NEW BEST:: SOT 32800756 SOS 27711085 HAS SOPS 25451190 HAS SOUS 15651754 HAS SOUPS 15514380 WITH SCORE 1.5542091085E7
AT ITER 513 NEW BEST:: SOT 32884438 SOS 27792738 HAS SOPS 25535173 HAS SOUS 15649467 HAS SOUPS 15512536 WITH SCORE 1.5540328738E7
AT ITER 515 NEW BEST:: SOT 32861528 SOS 27769828 HAS SOPS 25512263 HAS SOUS 15626557 HAS SOUPS 15489626 WITH SCORE 1.5517395828E7
AT ITER 516 NEW BEST:: SOT 32859431 SOS 27764010 HAS SOPS 25504735 HAS SOUS 15623074 HAS SOUPS 15486159 WITH SCORE 1.551392301E7
AT ITER 520 NEW BEST:: SOT 32859431 SOS 27764010 HAS SOPS 25504656 HAS SOUS 15622916 HAS SOUPS 15486001 WITH SCORE 1.551376501E7
AT ITER 521 NEW BEST:: SOT 32859147 SOS 27763638 HAS SOPS 25504369 HAS SOUS 15622629 HAS SOUPS 15485799 WITH SCORE 1.5513562638E7
AT ITER 522 NEW BEST:: SOT 32859124 SOS 27763615 HAS SOPS 25504147 HAS SOUS 15622208 HAS SOUPS 15485378 WITH SCORE 1.5513141615E7
AT ITER 523 NEW BEST:: SOT 32830594 SOS 27722801 HAS SOPS 25434818 HAS SOUS 15564757 HAS SOUPS 15427927 WITH SCORE 1.5455649801E7
AT ITER 525 NEW BEST:: SOT 32830578 SOS 27722785 HAS SOPS 25434802 HAS SOUS 15564741 HAS SOUPS 15427911 WITH SCORE 1.5455633785E7
AT ITER 526 NEW BEST:: SOT 32781888 SOS 27674095 HAS SOPS 25386112 HAS SOUS 15516051 HAS SOUPS 15379221 WITH SCORE 1.5406895095E7
AT ITER 527 NEW BEST:: SOT 32850776 SOS 27728465 HAS SOPS 25454978 HAS SOUS 15458613 HAS SOUPS 15322487 WITH SCORE 1.5350215465E7
AT ITER 531 NEW BEST:: SOT 32850867 SOS 27700819 HAS SOPS 25429023 HAS SOUS 15434135 HAS SOUPS 15298139 WITH SCORE 1.5325839819E7
AT ITER 534 NEW BEST:: SOT 32849653 SOS 27699605 HAS SOPS 25427610 HAS SOUS 15432722 HAS SOUPS 15296527 WITH SCORE 1.5324226605E7
AT ITER 535 NEW BEST:: SOT 32849653 SOS 27691750 HAS SOPS 25411329 HAS SOUS 15424134 HAS SOUPS 15287939 WITH SCORE 1.531563075E7
AT ITER 536 NEW BEST:: SOT 32825729 SOS 27667991 HAS SOPS 25387303 HAS SOUS 15420241 HAS SOUPS 15283944 WITH SCORE 1.5311611991E7
AT ITER 537 NEW BEST:: SOT 32798165 SOS 27641868 HAS SOPS 25361877 HAS SOUS 15393426 HAS SOUPS 15257424 WITH SCORE 1.5285065868E7
AT ITER 538 NEW BEST:: SOT 32846832 SOS 27649128 HAS SOPS 25398131 HAS SOUS 15333757 HAS SOUPS 15199093 WITH SCORE 1.5226742128E7
AT ITER 539 NEW BEST:: SOT 32847339 SOS 27638720 HAS SOPS 25398638 HAS SOUS 15311379 HAS SOUPS 15176884 WITH SCORE 1.520452272E7
AT ITER 543 NEW BEST:: SOT 32847236 SOS 27638617 HAS SOPS 25398535 HAS SOUS 15311276 HAS SOUPS 15176781 WITH SCORE 1.5204419617E7
AT ITER 544 NEW BEST:: SOT 32854097 SOS 27621060 HAS SOPS 25381309 HAS SOUS 15231626 HAS SOUPS 15097798 WITH SCORE 1.512541906E7
AT ITER 546 NEW BEST:: SOT 32847312 SOS 27614275 HAS SOPS 25374524 HAS SOUS 15224841 HAS SOUPS 15091013 WITH SCORE 1.5118627275E7
AT ITER 551 NEW BEST:: SOT 32839092 SOS 27606055 HAS SOPS 25366304 HAS SOUS 15216621 HAS SOUPS 15082793 WITH SCORE 1.5110399055E7
AT ITER 553 NEW BEST:: SOT 32824327 SOS 27591290 HAS SOPS 25351476 HAS SOUS 15201793 HAS SOUPS 15067902 WITH SCORE 1.509549329E7
AT ITER 555 NEW BEST:: SOT 32824500 SOS 27597308 HAS SOPS 25388633 HAS SOUS 15196673 HAS SOUPS 15062966 WITH SCORE 1.5090563308E7
AT ITER 558 NEW BEST:: SOT 32824500 SOS 27589986 HAS SOPS 25374433 HAS SOUS 15189724 HAS SOUPS 15056017 WITH SCORE 1.5083606986E7
AT ITER 560 NEW BEST:: SOT 32824500 SOS 27590160 HAS SOPS 25374431 HAS SOUS 15189372 HAS SOUPS 15055665 WITH SCORE 1.508325516E7
AT ITER 562 NEW BEST:: SOT 32824500 SOS 27590160 HAS SOPS 25374400 HAS SOUS 15189310 HAS SOUPS 15055603 WITH SCORE 1.508319316E7
AT ITER 563 NEW BEST:: SOT 32825278 SOS 27556912 HAS SOPS 25357691 HAS SOUS 15144253 HAS SOUPS 15010857 WITH SCORE 1.5038413912E7
AT ITER 564 NEW BEST:: SOT 32825278 SOS 27542007 HAS SOPS 25320741 HAS SOUS 15121840 HAS SOUPS 14988444 WITH SCORE 1.5015986007E7
AT ITER 565 NEW BEST:: SOT 32833359 SOS 27518626 HAS SOPS 25282643 HAS SOUS 15030972 HAS SOUPS 14897996 WITH SCORE 1.4925514626E7
AT ITER 566 NEW BEST:: SOT 32843362 SOS 27510912 HAS SOPS 25247110 HAS SOUS 15012802 HAS SOUPS 14879724 WITH SCORE 1.4907234912E7
AT ITER 567 NEW BEST:: SOT 32843447 SOS 27508713 HAS SOPS 25243778 HAS SOUS 15008320 HAS SOUPS 14875259 WITH SCORE 1.4902767713E7
AT ITER 568 NEW BEST:: SOT 32843447 SOS 27508713 HAS SOPS 25243596 HAS SOUS 15007956 HAS SOUPS 14874895 WITH SCORE 1.4902403713E7
AT ITER 569 NEW BEST:: SOT 32824750 SOS 27490176 HAS SOPS 25224844 HAS SOUS 15005644 HAS SOUPS 14872445 WITH SCORE 1.4899935176E7
AT ITER 571 NEW BEST:: SOT 32824715 SOS 27490155 HAS SOPS 25224624 HAS SOUS 15005111 HAS SOUPS 14872012 WITH SCORE 1.4899502155E7
AT ITER 572 NEW BEST:: SOT 32824715 SOS 27488225 HAS SOPS 25222212 HAS SOUS 15004605 HAS SOUPS 14871506 WITH SCORE 1.4898994225E7
AT ITER 579 NEW BEST:: SOT 32820676 SOS 27484186 HAS SOPS 25218078 HAS SOUS 15000376 HAS SOUPS 14867277 WITH SCORE 1.4894761186E7
AT ITER 580 NEW BEST:: SOT 32817118 SOS 27473166 HAS SOPS 25197720 HAS SOUS 14987365 HAS SOUPS 14854297 WITH SCORE 1.4881770166E7
AT ITER 583 NEW BEST:: SOT 32826856 SOS 27447725 HAS SOPS 25167855 HAS SOUS 14892175 HAS SOUPS 14759816 WITH SCORE 1.4787263725E7
AT ITER 587 NEW BEST:: SOT 32815850 SOS 27440576 HAS SOPS 25167249 HAS SOUS 14887816 HAS SOUPS 14755457 WITH SCORE 1.4782897576E7
AT ITER 588 NEW BEST:: SOT 32830942 SOS 27447445 HAS SOPS 25182341 HAS SOUS 14850131 HAS SOUPS 14718077 WITH SCORE 1.4745524445E7
AT ITER 591 NEW BEST:: SOT 32831467 SOS 27410155 HAS SOPS 25144475 HAS SOUS 14808298 HAS SOUPS 14676451 WITH SCORE 1.4703861155E7
AT ITER 593 NEW BEST:: SOT 32837089 SOS 27414427 HAS SOPS 25150158 HAS SOUS 14778962 HAS SOUPS 14647297 WITH SCORE 1.4674711427E7
AT ITER 595 NEW BEST:: SOT 32878782 SOS 27454803 HAS SOPS 25191851 HAS SOUS 14729835 HAS SOUPS 14598568 WITH SCORE 1.4626022803E7
AT ITER 600 NEW BEST:: SOT 32879337 SOS 27418584 HAS SOPS 25152809 HAS SOUS 14687773 HAS SOUPS 14556703 WITH SCORE 1.4584121584E7
AT ITER 603 NEW BEST:: SOT 32892726 SOS 27429039 HAS SOPS 25166367 HAS SOUS 14630834 HAS SOUPS 14500132 WITH SCORE 1.4527561039E7
AT ITER 604 NEW BEST:: SOT 32887012 SOS 27433351 HAS SOPS 25172153 HAS SOUS 14627249 HAS SOUPS 14495892 WITH SCORE 1.4523325351E7
AT ITER 605 NEW BEST:: SOT 32887012 SOS 27433351 HAS SOPS 25171954 HAS SOUS 14626851 HAS SOUPS 14495494 WITH SCORE 1.4522927351E7
AT ITER 606 NEW BEST:: SOT 32887012 SOS 27426434 HAS SOPS 25154331 HAS SOUS 14615969 HAS SOUPS 14484612 WITH SCORE 1.4512038434E7
AT ITER 609 NEW BEST:: SOT 32887012 SOS 27426434 HAS SOPS 25154210 HAS SOUS 14615727 HAS SOUPS 14484370 WITH SCORE 1.4511796434E7
AT ITER 610 NEW BEST:: SOT 32842479 SOS 27381901 HAS SOPS 25109478 HAS SOUS 14570995 HAS SOUPS 14439439 WITH SCORE 1.4466820901E7
AT ITER 611 NEW BEST:: SOT 32842479 SOS 27381681 HAS SOPS 25109078 HAS SOUS 14570813 HAS SOUPS 14439257 WITH SCORE 1.4466638681E7
AT ITER 616 NEW BEST:: SOT 32891181 SOS 27386580 HAS SOPS 25118010 HAS SOUS 14452988 HAS SOUPS 14322474 WITH SCORE 1.434986058E7
AT ITER 617 NEW BEST:: SOT 32882269 SOS 27371282 HAS SOPS 25109098 HAS SOUS 14319321 HAS SOUPS 14189205 WITH SCORE 1.4216576282E7
AT ITER 618 NEW BEST:: SOT 32882269 SOS 27325443 HAS SOPS 25032716 HAS SOUS 14288210 HAS SOUPS 14158094 WITH SCORE 1.4185419443E7
AT ITER 622 NEW BEST:: SOT 32882269 SOS 27294592 HAS SOPS 24964376 HAS SOUS 14250041 HAS SOUPS 14119925 WITH SCORE 1.4147219592E7
AT ITER 623 NEW BEST:: SOT 32866397 SOS 27278720 HAS SOPS 24948661 HAS SOUS 14234169 HAS SOUPS 14104367 WITH SCORE 1.413164572E7
AT ITER 625 NEW BEST:: SOT 32849590 SOS 27261913 HAS SOPS 24932057 HAS SOUS 14217565 HAS SOUPS 14087966 WITH SCORE 1.4115227913E7
AT ITER 628 NEW BEST:: SOT 32867334 SOS 27244723 HAS SOPS 24910083 HAS SOUS 14110807 HAS SOUPS 13981806 WITH SCORE 1.4009050723E7
AT ITER 629 NEW BEST:: SOT 32867334 SOS 27244723 HAS SOPS 24910015 HAS SOUS 14110671 HAS SOUPS 13981670 WITH SCORE 1.4008914723E7
AT ITER 630 NEW BEST:: SOT 32867334 SOS 27244723 HAS SOPS 24909816 HAS SOUS 14110331 HAS SOUPS 13981272 WITH SCORE 1.4008516723E7
AT ITER 631 NEW BEST:: SOT 32864812 SOS 27213858 HAS SOPS 24849343 HAS SOUS 14077625 HAS SOUPS 13948566 WITH SCORE 1.3975779858E7
AT ITER 633 NEW BEST:: SOT 32852461 SOS 27201288 HAS SOPS 24836544 HAS SOUS 14064816 HAS SOUPS 13935757 WITH SCORE 1.3962958288E7
AT ITER 635 NEW BEST:: SOT 32853749 SOS 27189901 HAS SOPS 24859050 HAS SOUS 14031051 HAS SOUPS 13902337 WITH SCORE 1.3929526901E7
AT ITER 636 NEW BEST:: SOT 32853749 SOS 27189901 HAS SOPS 24858951 HAS SOUS 14030853 HAS SOUPS 13902139 WITH SCORE 1.3929328901E7
AT ITER 639 NEW BEST:: SOT 32858621 SOS 27194731 HAS SOPS 24863823 HAS SOUS 14027367 HAS SOUPS 13898695 WITH SCORE 1.3925889731E7
AT ITER 641 NEW BEST:: SOT 32940001 SOS 27218654 HAS SOPS 24903092 HAS SOUS 13965954 HAS SOUPS 13838074 WITH SCORE 1.3865292654E7
AT ITER 643 NEW BEST:: SOT 32940001 SOS 27213440 HAS SOPS 24894209 HAS SOUS 13962556 HAS SOUPS 13834676 WITH SCORE 1.386188944E7
AT ITER 644 NEW BEST:: SOT 32940465 SOS 27213373 HAS SOPS 24894673 HAS SOUS 13918551 HAS SOUPS 13790896 WITH SCORE 1.3818109373E7
AT ITER 645 NEW BEST:: SOT 32927177 SOS 27181740 HAS SOPS 24881385 HAS SOUS 13791472 HAS SOUPS 13664215 WITH SCORE 1.369139674E7
AT ITER 646 NEW BEST:: SOT 32927143 SOS 27181706 HAS SOPS 24881351 HAS SOUS 13791438 HAS SOUPS 13664181 WITH SCORE 1.3691362706E7
AT ITER 651 NEW BEST:: SOT 32926941 SOS 27181504 HAS SOPS 24881044 HAS SOUS 13791023 HAS SOUPS 13663769 WITH SCORE 1.3690950504E7
AT ITER 655 NEW BEST:: SOT 32926657 SOS 27181109 HAS SOPS 24880649 HAS SOUS 13790628 HAS SOUPS 13663374 WITH SCORE 1.3690555109E7
AT ITER 656 NEW BEST:: SOT 32929191 SOS 27167074 HAS SOPS 24855244 HAS SOUS 13781514 HAS SOUPS 13654260 WITH SCORE 1.3681427074E7
AT ITER 657 NEW BEST:: SOT 32899952 SOS 27137758 HAS SOPS 24825928 HAS SOUS 13752198 HAS SOUPS 13624944 WITH SCORE 1.3652081758E7
AT ITER 661 NEW BEST:: SOT 32900744 SOS 27129801 HAS SOPS 24826735 HAS SOUS 13732154 HAS SOUPS 13605048 WITH SCORE 1.3632177801E7
AT ITER 663 NEW BEST:: SOT 32887866 SOS 27116951 HAS SOPS 24813885 HAS SOUS 13719304 HAS SOUPS 13592198 WITH SCORE 1.3619314951E7
AT ITER 668 NEW BEST:: SOT 32924062 SOS 27148578 HAS SOPS 24879657 HAS SOUS 13674902 HAS SOUPS 13548372 WITH SCORE 1.3575520578E7
AT ITER 671 NEW BEST:: SOT 32920535 SOS 27142378 HAS SOPS 24869930 HAS SOUS 13667786 HAS SOUPS 13541256 WITH SCORE 1.3568398378E7
AT ITER 675 NEW BEST:: SOT 32865262 SOS 27065431 HAS SOPS 24774591 HAS SOUS 13593656 HAS SOUPS 13467126 WITH SCORE 1.3494191431E7
AT ITER 676 NEW BEST:: SOT 32847229 SOS 27047398 HAS SOPS 24756381 HAS SOUS 13575446 HAS SOUPS 13448739 WITH SCORE 1.3475786398E7
AT ITER 677 NEW BEST:: SOT 32844757 SOS 27044926 HAS SOPS 24753862 HAS SOUS 13572880 HAS SOUPS 13446173 WITH SCORE 1.3473217926E7
AT ITER 679 NEW BEST:: SOT 32851775 SOS 27051704 HAS SOPS 24760923 HAS SOUS 13571624 HAS SOUPS 13444960 WITH SCORE 1.3472011704E7
AT ITER 680 NEW BEST:: SOT 32860856 SOS 27059936 HAS SOPS 24770153 HAS SOUS 13543652 HAS SOUPS 13417179 WITH SCORE 1.3444238936E7
AT ITER 683 NEW BEST:: SOT 32876378 SOS 27075332 HAS SOPS 24785675 HAS SOUS 13534100 HAS SOUPS 13407753 WITH SCORE 1.3434828332E7
AT ITER 685 NEW BEST:: SOT 32897930 SOS 27043398 HAS SOPS 24779242 HAS SOUS 13434029 HAS SOUPS 13308416 WITH SCORE 1.3335459398E7
AT ITER 688 NEW BEST:: SOT 32897930 SOS 27022967 HAS SOPS 24739442 HAS SOUS 13414461 HAS SOUPS 13288848 WITH SCORE 1.3315870967E7
AT ITER 689 NEW BEST:: SOT 32940083 SOS 27040894 HAS SOPS 24782189 HAS SOUS 13362634 HAS SOUPS 13238209 WITH SCORE 1.3265249894E7
AT ITER 690 NEW BEST:: SOT 32896882 SOS 26997693 HAS SOPS 24738988 HAS SOUS 13319433 HAS SOUPS 13195008 WITH SCORE 1.3222005693E7
AT ITER 691 NEW BEST:: SOT 32896882 SOS 26988754 HAS SOPS 24718888 HAS SOUS 13308072 HAS SOUPS 13183647 WITH SCORE 1.3210635754E7
AT ITER 694 NEW BEST:: SOT 32897168 SOS 26989040 HAS SOPS 24718647 HAS SOUS 13307719 HAS SOUPS 13182879 WITH SCORE 1.320986804E7
AT ITER 697 NEW BEST:: SOT 32899769 SOS 26991494 HAS SOPS 24721248 HAS SOUS 13286467 HAS SOUPS 13161747 WITH SCORE 1.3188738494E7
AT ITER 700 NEW BEST:: SOT 32904201 SOS 26949433 HAS SOPS 24707787 HAS SOUS 13218515 HAS SOUPS 13094301 WITH SCORE 1.3121250433E7
AT ITER 701 NEW BEST:: SOT 32898938 SOS 26938033 HAS SOPS 24691124 HAS SOUS 13207875 HAS SOUPS 13083661 WITH SCORE 1.3110599033E7
AT ITER 702 NEW BEST:: SOT 32909817 SOS 26904649 HAS SOPS 24694068 HAS SOUS 13124045 HAS SOUPS 13000488 WITH SCORE 1.3027392649E7
AT ITER 703 NEW BEST:: SOT 32916719 SOS 26911496 HAS SOPS 24701025 HAS SOUS 13120112 HAS SOUPS 12996610 WITH SCORE 1.3023521496E7
AT ITER 704 NEW BEST:: SOT 32914879 SOS 26909656 HAS SOPS 24699185 HAS SOUS 13118272 HAS SOUPS 12994770 WITH SCORE 1.3021679656E7
AT ITER 705 NEW BEST:: SOT 32959822 SOS 26915845 HAS SOPS 24704547 HAS SOUS 13000990 HAS SOUPS 12878602 WITH SCORE 1.2905517845E7
AT ITER 706 NEW BEST:: SOT 32901163 SOS 26890777 HAS SOPS 24696019 HAS SOUS 12959516 HAS SOUPS 12836665 WITH SCORE 1.2863555777E7
AT ITER 709 NEW BEST:: SOT 32901163 SOS 26877787 HAS SOPS 24672619 HAS SOUS 12948989 HAS SOUPS 12826138 WITH SCORE 1.2853015787E7
AT ITER 710 NEW BEST:: SOT 32901163 SOS 26874883 HAS SOPS 24664976 HAS SOUS 12944169 HAS SOUPS 12821318 WITH SCORE 1.2848192883E7
AT ITER 711 NEW BEST:: SOT 32921234 SOS 26856772 HAS SOPS 24645652 HAS SOUS 12838963 HAS SOUPS 12716803 WITH SCORE 1.2743659772E7
AT ITER 712 NEW BEST:: SOT 32902407 SOS 26755273 HAS SOPS 24494768 HAS SOUS 12632224 HAS SOUPS 12510365 WITH SCORE 1.2537120273E7
AT ITER 715 NEW BEST:: SOT 32901387 SOS 26742356 HAS SOPS 24472967 HAS SOUS 12622131 HAS SOUPS 12500272 WITH SCORE 1.2527014356E7
AT ITER 716 NEW BEST:: SOT 32895609 SOS 26736578 HAS SOPS 24467189 HAS SOUS 12616353 HAS SOUPS 12494494 WITH SCORE 1.2521230578E7
AT ITER 717 NEW BEST:: SOT 32895609 SOS 26732857 HAS SOPS 24459989 HAS SOUS 12612802 HAS SOUPS 12490943 WITH SCORE 1.2517675857E7
AT ITER 719 NEW BEST:: SOT 32895609 SOS 26716339 HAS SOPS 24433790 HAS SOUS 12602861 HAS SOUPS 12480933 WITH SCORE 1.2507649339E7
AT ITER 720 NEW BEST:: SOT 32895609 SOS 26716339 HAS SOPS 24433783 HAS SOUS 12602847 HAS SOUPS 12480919 WITH SCORE 1.2507635339E7
AT ITER 722 NEW BEST:: SOT 32895473 SOS 26693843 HAS SOPS 24400932 HAS SOUS 12592060 HAS SOUPS 12469553 WITH SCORE 1.2496246843E7
AT ITER 727 NEW BEST:: SOT 32895473 SOS 26690023 HAS SOPS 24393696 HAS SOUS 12588608 HAS SOUPS 12466065 WITH SCORE 1.2492755023E7
AT ITER 730 NEW BEST:: SOT 32898251 SOS 26624610 HAS SOPS 24328917 HAS SOUS 12515525 HAS SOUPS 12393363 WITH SCORE 1.241998761E7
AT ITER 731 NEW BEST:: SOT 32900621 SOS 26644506 HAS SOPS 24390381 HAS SOUS 12501251 HAS SOUPS 12379383 WITH SCORE 1.2406027506E7
AT ITER 732 NEW BEST:: SOT 32903539 SOS 26619464 HAS SOPS 24400500 HAS SOUS 12452404 HAS SOUPS 12330971 WITH SCORE 1.2357590464E7
AT ITER 733 NEW BEST:: SOT 32903286 SOS 26609859 HAS SOPS 24382594 HAS SOUS 12443510 HAS SOUPS 12322077 WITH SCORE 1.2348686859E7
AT ITER 734 NEW BEST:: SOT 32911670 SOS 26617747 HAS SOPS 24390978 HAS SOUS 12425590 HAS SOUPS 12304291 WITH SCORE 1.2330908747E7
AT ITER 736 NEW BEST:: SOT 32913229 SOS 26554562 HAS SOPS 24352911 HAS SOUS 12377642 HAS SOUPS 12256716 WITH SCORE 1.2283270562E7
AT ITER 737 NEW BEST:: SOT 32913229 SOS 26553800 HAS SOPS 24350511 HAS SOUS 12375980 HAS SOUPS 12255054 WITH SCORE 1.22816078E7
AT ITER 741 NEW BEST:: SOT 32913229 SOS 26536284 HAS SOPS 24321165 HAS SOUS 12363858 HAS SOUPS 12242932 WITH SCORE 1.2269468284E7
AT ITER 743 NEW BEST:: SOT 32900498 SOS 26546852 HAS SOPS 24337891 HAS SOUS 12357240 HAS SOUPS 12236271 WITH SCORE 1.2262817852E7
AT ITER 750 NEW BEST:: SOT 32894798 SOS 26547995 HAS SOPS 24343129 HAS SOUS 12355811 HAS SOUPS 12234659 WITH SCORE 1.2261206995E7
AT ITER 751 NEW BEST:: SOT 32874147 SOS 26527344 HAS SOPS 24322351 HAS SOUS 12334906 HAS SOUPS 12213754 WITH SCORE 1.2240281344E7
AT ITER 753 NEW BEST:: SOT 32887164 SOS 26540237 HAS SOPS 24335368 HAS SOUS 12325047 HAS SOUPS 12204010 WITH SCORE 1.2230550237E7
AT ITER 754 NEW BEST:: SOT 32865705 SOS 26518778 HAS SOPS 24313909 HAS SOUS 12303588 HAS SOUPS 12182551 WITH SCORE 1.2209069778E7
AT ITER 755 NEW BEST:: SOT 32865705 SOS 26510445 HAS SOPS 24303875 HAS SOUS 12301832 HAS SOUPS 12180766 WITH SCORE 1.2207276445E7
AT ITER 757 NEW BEST:: SOT 32868902 SOS 26467380 HAS SOPS 24286553 HAS SOUS 12274750 HAS SOUPS 12153964 WITH SCORE 1.218043138E7
AT ITER 761 NEW BEST:: SOT 32869045 SOS 26470223 HAS SOPS 24298957 HAS SOUS 12272376 HAS SOUPS 12151651 WITH SCORE 1.2178121223E7
AT ITER 763 NEW BEST:: SOT 32871830 SOS 26479165 HAS SOPS 24340721 HAS SOUS 12241964 HAS SOUPS 12121379 WITH SCORE 1.2147858165E7
AT ITER 765 NEW BEST:: SOT 32879581 SOS 26443902 HAS SOPS 24308473 HAS SOUS 12134120 HAS SOUPS 12013740 WITH SCORE 1.2040183902E7
AT ITER 766 NEW BEST:: SOT 32874733 SOS 26436762 HAS SOPS 24303688 HAS SOUS 12119027 HAS SOUPS 11998773 WITH SCORE 1.2025209762E7
AT ITER 767 NEW BEST:: SOT 32901333 SOS 26468925 HAS SOPS 24388317 HAS SOUS 12104610 HAS SOUPS 11984827 WITH SCORE 1.2011295925E7
AT ITER 770 NEW BEST:: SOT 32880614 SOS 26448276 HAS SOPS 24367598 HAS SOUS 12097751 HAS SOUPS 11977968 WITH SCORE 1.2004416276E7
AT ITER 772 NEW BEST:: SOT 32880665 SOS 26448322 HAS SOPS 24367649 HAS SOUS 12097607 HAS SOUPS 11977825 WITH SCORE 1.2004273322E7
AT ITER 775 NEW BEST:: SOT 32892539 SOS 26459113 HAS SOPS 24379470 HAS SOUS 12070055 HAS SOUPS 11950478 WITH SCORE 1.1976937113E7
AT ITER 777 NEW BEST:: SOT 32878009 SOS 26444832 HAS SOPS 24364940 HAS SOUS 12069476 HAS SOUPS 11949828 WITH SCORE 1.1976272832E7
AT ITER 779 NEW BEST:: SOT 32816471 SOS 26396433 HAS SOPS 24320569 HAS SOUS 12012105 HAS SOUPS 11892402 WITH SCORE 1.1918798433E7
AT ITER 780 NEW BEST:: SOT 32816471 SOS 26389512 HAS SOPS 24311110 HAS SOUS 12009262 HAS SOUPS 11889559 WITH SCORE 1.1915948512E7
AT ITER 783 NEW BEST:: SOT 32816389 SOS 26389430 HAS SOPS 24311028 HAS SOUS 12009180 HAS SOUPS 11889477 WITH SCORE 1.191586643E7
AT ITER 784 NEW BEST:: SOT 32816389 SOS 26380997 HAS SOPS 24298164 HAS SOUS 12004789 HAS SOUPS 11884918 WITH SCORE 1.1911298997E7
AT ITER 786 NEW BEST:: SOT 32816703 SOS 26384283 HAS SOPS 24306317 HAS SOUS 12002248 HAS SOUPS 11882416 WITH SCORE 1.1908800283E7
AT ITER 787 NEW BEST:: SOT 32817682 SOS 26340922 HAS SOPS 24271317 HAS SOUS 11961230 HAS SOUPS 11841648 WITH SCORE 1.1867988922E7
AT ITER 792 NEW BEST:: SOT 32817682 SOS 26329940 HAS SOPS 24242661 HAS SOUS 11943412 HAS SOUPS 11823830 WITH SCORE 1.185015994E7
AT ITER 793 NEW BEST:: SOT 32828246 SOS 26340440 HAS SOPS 24253225 HAS SOUS 11941240 HAS SOUPS 11821722 WITH SCORE 1.184806244E7
AT ITER 795 NEW BEST:: SOT 32839912 SOS 26337172 HAS SOPS 24239188 HAS SOUS 11886306 HAS SOUPS 11767066 WITH SCORE 1.1793403172E7
AT ITER 796 NEW BEST:: SOT 32856005 SOS 26351268 HAS SOPS 24255281 HAS SOUS 11856274 HAS SOUPS 11737197 WITH SCORE 1.1763548268E7
AT ITER 799 NEW BEST:: SOT 32856005 SOS 26351268 HAS SOPS 24255241 HAS SOUS 11856274 HAS SOUPS 11737117 WITH SCORE 1.1763468268E7
AT ITER 800 NEW BEST:: SOT 32855135 SOS 26322806 HAS SOPS 24190425 HAS SOUS 11818585 HAS SOUPS 11699428 WITH SCORE 1.1725750806E7
AT ITER 804 NEW BEST:: SOT 32864716 SOS 26273883 HAS SOPS 24167447 HAS SOUS 11765783 HAS SOUPS 11647471 WITH SCORE 1.1673744883E7
AT ITER 808 NEW BEST:: SOT 32833044 SOS 26242211 HAS SOPS 24135775 HAS SOUS 11734111 HAS SOUPS 11615799 WITH SCORE 1.1642041211E7
AT ITER 811 NEW BEST:: SOT 32784003 SOS 26193170 HAS SOPS 24086734 HAS SOUS 11685070 HAS SOUPS 11566758 WITH SCORE 1.159295117E7
AT ITER 812 NEW BEST:: SOT 32755414 SOS 26164581 HAS SOPS 24058145 HAS SOUS 11656481 HAS SOUPS 11538169 WITH SCORE 1.1564333581E7
AT ITER 813 NEW BEST:: SOT 32754559 SOS 26163726 HAS SOPS 24057290 HAS SOUS 11655630 HAS SOUPS 11537314 WITH SCORE 1.1563477726E7
AT ITER 816 NEW BEST:: SOT 32754461 SOS 26163628 HAS SOPS 24057192 HAS SOUS 11655532 HAS SOUPS 11537216 WITH SCORE 1.1563379628E7
AT ITER 817 NEW BEST:: SOT 32754724 SOS 26151435 HAS SOPS 24050055 HAS SOUS 11643395 HAS SOUPS 11525185 WITH SCORE 1.1551336435E7
AT ITER 819 NEW BEST:: SOT 32778894 SOS 26170075 HAS SOPS 24074600 HAS SOUS 11576567 HAS SOUPS 11458843 WITH SCORE 1.1485013075E7
AT ITER 820 NEW BEST:: SOT 32796639 SOS 26169363 HAS SOPS 24092345 HAS SOUS 11560769 HAS SOUPS 11443305 WITH SCORE 1.1469474363E7
AT ITER 824 NEW BEST:: SOT 32788458 SOS 26161182 HAS SOPS 24084164 HAS SOUS 11552462 HAS SOUPS 11435124 WITH SCORE 1.1461285182E7
AT ITER 826 NEW BEST:: SOT 32788458 SOS 26156516 HAS SOPS 24075521 HAS SOUS 11548399 HAS SOUPS 11431061 WITH SCORE 1.1457217516E7
AT ITER 828 NEW BEST:: SOT 32788458 SOS 26156651 HAS SOPS 24075521 HAS SOUS 11548399 HAS SOUPS 11430926 WITH SCORE 1.1457082651E7
AT ITER 829 NEW BEST:: SOT 32791011 SOS 26159154 HAS SOPS 24078074 HAS SOUS 11545602 HAS SOUPS 11428156 WITH SCORE 1.1454315154E7
AT ITER 830 NEW BEST:: SOT 32800647 SOS 26155428 HAS SOPS 24055982 HAS SOUS 11504986 HAS SOUPS 11387698 WITH SCORE 1.1413853428E7
AT ITER 833 NEW BEST:: SOT 32790471 SOS 26145252 HAS SOPS 24045705 HAS SOUS 11494608 HAS SOUPS 11377320 WITH SCORE 1.1403465252E7
AT ITER 834 NEW BEST:: SOT 32740781 SOS 26095562 HAS SOPS 23995816 HAS SOUS 11444807 HAS SOUPS 11327232 WITH SCORE 1.1353327562E7
AT ITER 836 NEW BEST:: SOT 32740869 SOS 26084250 HAS SOPS 23995888 HAS SOUS 11433679 HAS SOUPS 11316217 WITH SCORE 1.134230125E7
AT ITER 837 NEW BEST:: SOT 32733242 SOS 26076623 HAS SOPS 23988261 HAS SOUS 11426052 HAS SOUPS 11308590 WITH SCORE 1.1334666623E7
AT ITER 839 NEW BEST:: SOT 32733242 SOS 26046785 HAS SOPS 23952272 HAS SOUS 11419321 HAS SOUPS 11301859 WITH SCORE 1.1327905785E7
AT ITER 841 NEW BEST:: SOT 32733242 SOS 26045881 HAS SOPS 23951066 HAS SOUS 11419007 HAS SOUPS 11301545 WITH SCORE 1.1327590881E7
AT ITER 842 NEW BEST:: SOT 32739532 SOS 26044023 HAS SOPS 23970957 HAS SOUS 11369184 HAS SOUPS 11252112 WITH SCORE 1.1278156023E7
AT ITER 843 NEW BEST:: SOT 32739532 SOS 26028180 HAS SOPS 23936586 HAS SOUS 11350314 HAS SOUPS 11233242 WITH SCORE 1.125927018E7
AT ITER 847 NEW BEST:: SOT 32714762 SOS 26003410 HAS SOPS 23911707 HAS SOUS 11325435 HAS SOUPS 11208254 WITH SCORE 1.123425741E7
AT ITER 853 NEW BEST:: SOT 32722231 SOS 25982165 HAS SOPS 23919276 HAS SOUS 11302018 HAS SOUPS 11185136 WITH SCORE 1.1211118165E7
AT ITER 854 NEW BEST:: SOT 32713554 SOS 25973488 HAS SOPS 23910599 HAS SOUS 11293341 HAS SOUPS 11176459 WITH SCORE 1.1202432488E7
AT ITER 858 NEW BEST:: SOT 32714395 SOS 25973918 HAS SOPS 23929776 HAS SOUS 11273757 HAS SOUPS 11157071 WITH SCORE 1.1183044918E7
AT ITER 867 NEW BEST:: SOT 32714395 SOS 25967317 HAS SOPS 23917832 HAS SOUS 11268548 HAS SOUPS 11151862 WITH SCORE 1.1177829317E7
AT ITER 868 NEW BEST:: SOT 32705117 SOS 25958039 HAS SOPS 23908551 HAS SOUS 11259267 HAS SOUPS 11142578 WITH SCORE 1.1168536039E7
AT ITER 869 NEW BEST:: SOT 32705854 SOS 25943514 HAS SOPS 23909288 HAS SOUS 11233078 HAS SOUPS 11116389 WITH SCORE 1.1142332514E7
AT ITER 871 NEW BEST:: SOT 32717878 SOS 25954193 HAS SOPS 23921312 HAS SOUS 11220247 HAS SOUPS 11103689 WITH SCORE 1.1129643193E7
AT ITER 873 NEW BEST:: SOT 32717678 SOS 25953993 HAS SOPS 23921112 HAS SOUS 11220142 HAS SOUPS 11103489 WITH SCORE 1.1129442993E7
AT ITER 875 NEW BEST:: SOT 32698799 SOS 25935114 HAS SOPS 23902233 HAS SOUS 11201263 HAS SOUPS 11084610 WITH SCORE 1.1110545114E7
AT ITER 877 NEW BEST:: SOT 32698799 SOS 25935114 HAS SOPS 23902179 HAS SOUS 11201209 HAS SOUPS 11084502 WITH SCORE 1.1110437114E7
AT ITER 880 NEW BEST:: SOT 32672117 SOS 25908432 HAS SOPS 23875497 HAS SOUS 11174542 HAS SOUPS 11057820 WITH SCORE 1.1083728432E7
AT ITER 885 NEW BEST:: SOT 32672117 SOS 25896996 HAS SOPS 23857513 HAS SOUS 11168028 HAS SOUPS 11051181 WITH SCORE 1.1077077996E7
AT ITER 886 NEW BEST:: SOT 32702677 SOS 25920780 HAS SOPS 23888255 HAS SOUS 11151790 HAS SOUPS 11035350 WITH SCORE 1.106127078E7
AT ITER 887 NEW BEST:: SOT 32702634 SOS 25911804 HAS SOPS 23872344 HAS SOUS 11144652 HAS SOUPS 11028344 WITH SCORE 1.1054255804E7
AT ITER 888 NEW BEST:: SOT 32695199 SOS 25904369 HAS SOPS 23864909 HAS SOUS 11137217 HAS SOUPS 11020909 WITH SCORE 1.1046813369E7
AT ITER 889 NEW BEST:: SOT 32695199 SOS 25900370 HAS SOPS 23859080 HAS SOUS 11135329 HAS SOUPS 11019021 WITH SCORE 1.104492137E7
AT ITER 892 NEW BEST:: SOT 32695332 SOS 25873095 HAS SOPS 23836701 HAS SOUS 11117734 HAS SOUPS 11001538 WITH SCORE 1.1027411095E7
AT ITER 893 NEW BEST:: SOT 32697359 SOS 25882865 HAS SOPS 23859554 HAS SOUS 11102652 HAS SOUPS 10986608 WITH SCORE 1.1012490865E7
AT ITER 896 NEW BEST:: SOT 32630731 SOS 25788767 HAS SOPS 23741720 HAS SOUS 11011634 HAS SOUPS 10895982 WITH SCORE 1.0921770767E7
AT ITER 898 NEW BEST:: SOT 32631315 SOS 25785814 HAS SOPS 23742383 HAS SOUS 11000034 HAS SOUPS 10884540 WITH SCORE 1.0910325814E7
AT ITER 899 NEW BEST:: SOT 32630917 SOS 25771241 HAS SOPS 23723477 HAS SOUS 10995129 HAS SOUPS 10880007 WITH SCORE 1.0905778241E7
AT ITER 901 NEW BEST:: SOT 32630917 SOS 25729347 HAS SOPS 23637608 HAS SOUS 10950737 HAS SOUPS 10835615 WITH SCORE 1.0861344347E7
AT ITER 902 NEW BEST:: SOT 32685700 SOS 25791920 HAS SOPS 23725556 HAS SOUS 10900296 HAS SOUPS 10785360 WITH SCORE 1.081115192E7
AT ITER 905 NEW BEST:: SOT 32704939 SOS 25788701 HAS SOPS 23748614 HAS SOUS 10865450 HAS SOUPS 10750916 WITH SCORE 1.0776704701E7
AT ITER 909 NEW BEST:: SOT 32804405 SOS 25905106 HAS SOPS 23922249 HAS SOUS 10854284 HAS SOUPS 10740593 WITH SCORE 1.0766498106E7
AT ITER 910 NEW BEST:: SOT 32804405 SOS 25888840 HAS SOPS 23896578 HAS SOUS 10844989 HAS SOUPS 10731387 WITH SCORE 1.075727584E7
AT ITER 911 NEW BEST:: SOT 32804281 SOS 25888716 HAS SOPS 23896454 HAS SOUS 10844865 HAS SOUPS 10731263 WITH SCORE 1.0757151716E7
AT ITER 915 NEW BEST:: SOT 32804136 SOS 25888571 HAS SOPS 23896309 HAS SOUS 10844720 HAS SOUPS 10731118 WITH SCORE 1.0757006571E7
AT ITER 920 NEW BEST:: SOT 32800563 SOS 25886364 HAS SOPS 23894349 HAS SOUS 10841024 HAS SOUPS 10728012 WITH SCORE 1.0753898364E7
AT ITER 925 NEW BEST:: SOT 32801147 SOS 25836148 HAS SOPS 23854934 HAS SOUS 10795211 HAS SOUPS 10682483 WITH SCORE 1.0708319148E7
AT ITER 926 NEW BEST:: SOT 32800307 SOS 25835308 HAS SOPS 23854094 HAS SOUS 10794371 HAS SOUPS 10681643 WITH SCORE 1.0707478308E7
AT ITER 927 NEW BEST:: SOT 32800307 SOS 25821776 HAS SOPS 23828861 HAS SOUS 10782511 HAS SOUPS 10669783 WITH SCORE 1.0695604776E7
AT ITER 928 NEW BEST:: SOT 32800307 SOS 25809241 HAS SOPS 23815776 HAS SOUS 10781808 HAS SOUPS 10669348 WITH SCORE 1.0695157241E7
AT ITER 931 NEW BEST:: SOT 32819380 SOS 25767891 HAS SOPS 23793861 HAS SOUS 10676519 HAS SOUPS 10564781 WITH SCORE 1.0590548891E7
AT ITER 933 NEW BEST:: SOT 32864947 SOS 25828544 HAS SOPS 23880030 HAS SOUS 10668895 HAS SOUPS 10557265 WITH SCORE 1.0583093544E7
AT ITER 936 NEW BEST:: SOT 32864947 SOS 25828279 HAS SOPS 23879765 HAS SOUS 10668895 HAS SOUPS 10557000 WITH SCORE 1.0582828279E7
AT ITER 937 NEW BEST:: SOT 32864947 SOS 25827427 HAS SOPS 23878465 HAS SOUS 10668353 HAS SOUPS 10556446 WITH SCORE 1.0582273427E7
AT ITER 943 NEW BEST:: SOT 32864947 SOS 25825848 HAS SOPS 23875665 HAS SOUS 10667104 HAS SOUPS 10555197 WITH SCORE 1.0581022848E7
AT ITER 944 NEW BEST:: SOT 32864947 SOS 25818841 HAS SOPS 23865938 HAS SOUS 10664342 HAS SOUPS 10552435 WITH SCORE 1.0578253841E7
AT ITER 947 NEW BEST:: SOT 32858114 SOS 25806577 HAS SOPS 23859105 HAS SOUS 10560140 HAS SOUPS 10448747 WITH SCORE 1.0474553577E7
AT ITER 949 NEW BEST:: SOT 32884906 SOS 25826181 HAS SOPS 23886154 HAS SOUS 10542977 HAS SOUPS 10432098 WITH SCORE 1.0457924181E7
AT ITER 952 NEW BEST:: SOT 32884906 SOS 25826181 HAS SOPS 23885994 HAS SOUS 10542657 HAS SOUPS 10431778 WITH SCORE 1.0457604181E7
AT ITER 957 NEW BEST:: SOT 32910522 SOS 25851557 HAS SOPS 23911610 HAS SOUS 10537713 HAS SOUPS 10426988 WITH SCORE 1.0452839557E7
AT ITER 958 NEW BEST:: SOT 32910522 SOS 25840037 HAS SOPS 23895410 HAS SOUS 10532871 HAS SOUPS 10422227 WITH SCORE 1.0448067037E7
AT ITER 962 NEW BEST:: SOT 32894150 SOS 25823665 HAS SOPS 23878978 HAS SOUS 10516439 HAS SOUPS 10405735 WITH SCORE 1.0431558665E7
AT ITER 967 NEW BEST:: SOT 32894455 SOS 25821348 HAS SOPS 23879283 HAS SOUS 10507366 HAS SOUPS 10396722 WITH SCORE 1.0422543348E7
AT ITER 970 NEW BEST:: SOT 32883904 SOS 25810797 HAS SOPS 23868856 HAS SOUS 10496939 HAS SOUPS 10386419 WITH SCORE 1.0412229797E7
AT ITER 974 NEW BEST:: SOT 32883520 SOS 25807733 HAS SOPS 23864653 HAS SOUS 10495309 HAS SOUPS 10384858 WITH SCORE 1.0410665733E7
AT ITER 976 NEW BEST:: SOT 32893407 SOS 25815884 HAS SOPS 23874540 HAS SOUS 10484192 HAS SOUPS 10373795 WITH SCORE 1.0399610884E7
AT ITER 979 NEW BEST:: SOT 32887136 SOS 25809613 HAS SOPS 23868269 HAS SOUS 10478193 HAS SOUPS 10367524 WITH SCORE 1.0393333613E7
AT ITER 982 NEW BEST:: SOT 32899860 SOS 25804531 HAS SOPS 23840391 HAS SOUS 10467428 HAS SOUPS 10357048 WITH SCORE 1.0382852531E7
AT ITER 983 NEW BEST:: SOT 32899860 SOS 25801171 HAS SOPS 23836572 HAS SOUS 10466931 HAS SOUPS 10356551 WITH SCORE 1.0382352171E7
AT ITER 984 NEW BEST:: SOT 32899860 SOS 25797949 HAS SOPS 23832972 HAS SOUS 10466517 HAS SOUPS 10356155 WITH SCORE 1.0381952949E7
AT ITER 985 NEW BEST:: SOT 32901767 SOS 25799632 HAS SOPS 23834907 HAS SOUS 10463076 HAS SOUPS 10352770 WITH SCORE 1.0378569632E7
AT ITER 986 NEW BEST:: SOT 32912683 SOS 25779145 HAS SOPS 23837730 HAS SOUS 10388168 HAS SOUPS 10278408 WITH SCORE 1.0304187145E7
AT ITER 988 NEW BEST:: SOT 32912736 SOS 25737378 HAS SOPS 23778189 HAS SOUS 10370217 HAS SOUPS 10260457 WITH SCORE 1.0286194378E7
AT ITER 990 NEW BEST:: SOT 32923159 SOS 25747338 HAS SOPS 23788573 HAS SOUS 10356625 HAS SOUPS 10246987 WITH SCORE 1.0272734338E7
AT ITER 993 NEW BEST:: SOT 32946937 SOS 25769962 HAS SOPS 23812582 HAS SOUS 10335588 HAS SOUPS 10226412 WITH SCORE 1.0252181962E7
AT ITER 995 NEW BEST:: SOT 32946937 SOS 25774191 HAS SOPS 23816841 HAS SOUS 10335278 HAS SOUPS 10226116 WITH SCORE 1.0251890191E7
AT ITER 997 NEW BEST:: SOT 32945401 SOS 25772655 HAS SOPS 23815305 HAS SOUS 10333851 HAS SOUPS 10224580 WITH SCORE 1.0250352655E7
AT ITER 998 NEW BEST:: SOT 32936021 SOS 25767549 HAS SOPS 23811083 HAS SOUS 10325538 HAS SOUPS 10216267 WITH SCORE 1.0242034549E7
AT ITER 999 NEW BEST:: SOT 32922745 SOS 25768212 HAS SOPS 23818108 HAS SOUS 10319325 HAS SOUPS 10209555 WITH SCORE 1.0235323212E7
AT ITER 1002 NEW BEST:: SOT 32922745 SOS 25753133 HAS SOPS 23794309 HAS SOUS 10310288 HAS SOUPS 10200518 WITH SCORE 1.0226271133E7
AT ITER 1004 NEW BEST:: SOT 32922745 SOS 25753146 HAS SOPS 23794309 HAS SOUS 10310288 HAS SOUPS 10200505 WITH SCORE 1.0226258146E7
AT ITER 1009 NEW BEST:: SOT 32916980 SOS 25747381 HAS SOPS 23788544 HAS SOUS 10304523 HAS SOUPS 10194740 WITH SCORE 1.0220487381E7
AT ITER 1011 NEW BEST:: SOT 32916980 SOS 25746885 HAS SOPS 23788124 HAS SOUS 10304248 HAS SOUPS 10194617 WITH SCORE 1.0220363885E7
AT ITER 1012 NEW BEST:: SOT 32916976 SOS 25746881 HAS SOPS 23788120 HAS SOUS 10304244 HAS SOUPS 10194613 WITH SCORE 1.0220359881E7
AT ITER 1014 NEW BEST:: SOT 32938002 SOS 25715403 HAS SOPS 23769147 HAS SOUS 10235577 HAS SOUPS 10126455 WITH SCORE 1.0152170403E7
AT ITER 1015 NEW BEST:: SOT 32937847 SOS 25715248 HAS SOPS 23768992 HAS SOUS 10235422 HAS SOUPS 10126300 WITH SCORE 1.0152015248E7
AT ITER 1017 NEW BEST:: SOT 32916461 SOS 25689754 HAS SOPS 23740519 HAS SOUS 10211296 HAS SOUPS 10101943 WITH SCORE 1.0127632754E7
AT ITER 1020 NEW BEST:: SOT 32914842 SOS 25688135 HAS SOPS 23738914 HAS SOUS 10209691 HAS SOUPS 10100352 WITH SCORE 1.0126040135E7
AT ITER 1022 NEW BEST:: SOT 32914842 SOS 25661876 HAS SOPS 23706167 HAS SOUS 10202875 HAS SOUPS 10093753 WITH SCORE 1.0119414876E7
AT ITER 1023 NEW BEST:: SOT 32888657 SOS 25635629 HAS SOPS 23679920 HAS SOUS 10176628 HAS SOUPS 10067506 WITH SCORE 1.0093141629E7
AT ITER 1025 NEW BEST:: SOT 32821418 SOS 25568390 HAS SOPS 23612681 HAS SOUS 10109389 HAS SOUPS 10000267 WITH SCORE 1.002583539E7
AT ITER 1029 NEW BEST:: SOT 32848694 SOS 25595473 HAS SOPS 23639957 HAS SOUS 10099658 HAS SOUPS 9990722 WITH SCORE 1.0016317473E7
AT ITER 1031 NEW BEST:: SOT 32872983 SOS 25615200 HAS SOPS 23649413 HAS SOUS 10071728 HAS SOUPS 9963001 WITH SCORE 9988616.2
AT ITER 1032 NEW BEST:: SOT 32892251 SOS 25634778 HAS SOPS 23671881 HAS SOUS 10048518 HAS SOUPS 9940018 WITH SCORE 9965652.778
AT ITER 1033 NEW BEST:: SOT 32892308 SOS 25634698 HAS SOPS 23671560 HAS SOUS 10048181 HAS SOUPS 9939593 WITH SCORE 9965227.698
AT ITER 1035 NEW BEST:: SOT 32892308 SOS 25634539 HAS SOPS 23671079 HAS SOUS 10047537 HAS SOUPS 9938949 WITH SCORE 9964583.539
AT ITER 1037 NEW BEST:: SOT 32862918 SOS 25603381 HAS SOPS 23638191 HAS SOUS 10016302 HAS SOUPS 9907714 WITH SCORE 9933317.381
AT ITER 1038 NEW BEST:: SOT 32825111 SOS 25541872 HAS SOPS 23557802 HAS SOUS 9959191 HAS SOUPS 9850603 WITH SCORE 9876144.872
AT ITER 1040 NEW BEST:: SOT 32825111 SOS 25520046 HAS SOPS 23528456 HAS SOUS 9951233 HAS SOUPS 9842791 WITH SCORE 9868311.046
AT ITER 1048 NEW BEST:: SOT 32816178 SOS 25511113 HAS SOPS 23519523 HAS SOUS 9942300 HAS SOUPS 9833858 WITH SCORE 9859369.113
AT ITER 1051 NEW BEST:: SOT 32816178 SOS 25505793 HAS SOPS 23513752 HAS SOUS 9941791 HAS SOUPS 9833378 WITH SCORE 9858883.793
AT ITER 1056 NEW BEST:: SOT 32888654 SOS 25535380 HAS SOPS 23589046 HAS SOUS 9888430 HAS SOUPS 9780874 WITH SCORE 9806409.38
AT ITER 1057 NEW BEST:: SOT 32888654 SOS 25503409 HAS SOPS 23544617 HAS SOUS 9875522 HAS SOUPS 9767966 WITH SCORE 9793469.409
AT ITER 1058 NEW BEST:: SOT 32902138 SOS 25516045 HAS SOPS 23558101 HAS SOUS 9869654 HAS SOUPS 9762199 WITH SCORE 9787715.045
AT ITER 1060 NEW BEST:: SOT 32902138 SOS 25502506 HAS SOPS 23539301 HAS SOUS 9864287 HAS SOUPS 9756844 WITH SCORE 9782346.506
AT ITER 1061 NEW BEST:: SOT 32901976 SOS 25499661 HAS SOPS 23536153 HAS SOUS 9863794 HAS SOUPS 9756179 WITH SCORE 9781678.661
AT ITER 1063 NEW BEST:: SOT 32901976 SOS 25499661 HAS SOPS 23536144 HAS SOUS 9863785 HAS SOUPS 9756161 WITH SCORE 9781660.661
AT ITER 1067 NEW BEST:: SOT 32896574 SOS 25494259 HAS SOPS 23530739 HAS SOUS 9858380 HAS SOUPS 9750753 WITH SCORE 9776247.259
AT ITER 1069 NEW BEST:: SOT 32890925 SOS 25488610 HAS SOPS 23525090 HAS SOUS 9852731 HAS SOUPS 9745104 WITH SCORE 9770592.61
AT ITER 1073 NEW BEST:: SOT 32890695 SOS 25488380 HAS SOPS 23524630 HAS SOUS 9852041 HAS SOUPS 9744414 WITH SCORE 9769902.38
AT ITER 1081 NEW BEST:: SOT 32890653 SOS 25488283 HAS SOPS 23524533 HAS SOUS 9851944 HAS SOUPS 9744317 WITH SCORE 9769805.283
AT ITER 1083 NEW BEST:: SOT 32891693 SOS 25457067 HAS SOPS 23505914 HAS SOUS 9817623 HAS SOUPS 9710236 WITH SCORE 9735693.067
AT ITER 1085 NEW BEST:: SOT 32894677 SOS 25456422 HAS SOPS 23505536 HAS SOUS 9803006 HAS SOUPS 9695797 WITH SCORE 9721253.422
AT ITER 1086 NEW BEST:: SOT 32901319 SOS 25465747 HAS SOPS 23520178 HAS SOUS 9797845 HAS SOUPS 9690722 WITH SCORE 9716187.747
AT ITER 1089 NEW BEST:: SOT 32891298 SOS 25455726 HAS SOPS 23510157 HAS SOUS 9787824 HAS SOUPS 9680701 WITH SCORE 9706156.726
AT ITER 1092 NEW BEST:: SOT 32858255 SOS 25422683 HAS SOPS 23477114 HAS SOUS 9754781 HAS SOUPS 9647658 WITH SCORE 9673080.683
AT ITER 1094 NEW BEST:: SOT 32864021 SOS 25437002 HAS SOPS 23521224 HAS SOUS 9749073 HAS SOUPS 9642158 WITH SCORE 9667595.002
AT ITER 1095 NEW BEST:: SOT 32805846 SOS 25378649 HAS SOPS 23462976 HAS SOUS 9690529 HAS SOUPS 9584193 WITH SCORE 9609571.649
AT ITER 1101 NEW BEST:: SOT 32793743 SOS 25366546 HAS SOPS 23450873 HAS SOUS 9678330 HAS SOUPS 9572090 WITH SCORE 9597456.546
AT ITER 1105 NEW BEST:: SOT 32763196 SOS 25335033 HAS SOPS 23417326 HAS SOUS 9645719 HAS SOUPS 9539479 WITH SCORE 9564814.033
AT ITER 1111 NEW BEST:: SOT 32764689 SOS 25333517 HAS SOPS 23418819 HAS SOUS 9632421 HAS SOUPS 9526270 WITH SCORE 9551603.517
AT ITER 1112 NEW BEST:: SOT 32803150 SOS 25364019 HAS SOPS 23462687 HAS SOUS 9603273 HAS SOUPS 9497529 WITH SCORE 9522893.019
AT ITER 1113 NEW BEST:: SOT 32803150 SOS 25361832 HAS SOPS 23460405 HAS SOUS 9603161 HAS SOUPS 9497429 WITH SCORE 9522790.832
AT ITER 1115 NEW BEST:: SOT 32803529 SOS 25345027 HAS SOPS 23461990 HAS SOUS 9583342 HAS SOUPS 9477803 WITH SCORE 9503148.027
AT ITER 1116 NEW BEST:: SOT 32803529 SOS 25313853 HAS SOPS 23423578 HAS SOUS 9575350 HAS SOUPS 9470042 WITH SCORE 9495355.853
AT ITER 1117 NEW BEST:: SOT 32780316 SOS 25290640 HAS SOPS 23400540 HAS SOUS 9552312 HAS SOUPS 9447179 WITH SCORE 9472469.64
AT ITER 1119 NEW BEST:: SOT 32772652 SOS 25282976 HAS SOPS 23392876 HAS SOUS 9544648 HAS SOUPS 9439515 WITH SCORE 9464797.976
AT ITER 1120 NEW BEST:: SOT 32772652 SOS 25252951 HAS SOPS 23356813 HAS SOUS 9538250 HAS SOUPS 9433117 WITH SCORE 9458369.951
AT ITER 1121 NEW BEST:: SOT 32760244 SOS 25240543 HAS SOPS 23344405 HAS SOUS 9525842 HAS SOUPS 9420709 WITH SCORE 9445949.543
AT ITER 1122 NEW BEST:: SOT 32750796 SOS 25216890 HAS SOPS 23300509 HAS SOUS 9495809 HAS SOUPS 9390676 WITH SCORE 9415892.89
AT ITER 1123 NEW BEST:: SOT 32751150 SOS 25215834 HAS SOPS 23314602 HAS SOUS 9483719 HAS SOUPS 9378725 WITH SCORE 9403940.834
AT ITER 1127 NEW BEST:: SOT 32782687 SOS 25267008 HAS SOPS 23411339 HAS SOUS 9414694 HAS SOUPS 9310085 WITH SCORE 9335352.008
AT ITER 1130 NEW BEST:: SOT 32755792 SOS 25240113 HAS SOPS 23384444 HAS SOUS 9387799 HAS SOUPS 9283190 WITH SCORE 9308430.113
AT ITER 1140 NEW BEST:: SOT 32783024 SOS 25265848 HAS SOPS 23411676 HAS SOUS 9359328 HAS SOUPS 9255005 WITH SCORE 9280270.848
AT ITER 1141 NEW BEST:: SOT 32785323 SOS 25228130 HAS SOPS 23370157 HAS SOUS 9314008 HAS SOUPS 9209685 WITH SCORE 9234913.13
AT ITER 1142 NEW BEST:: SOT 32780570 SOS 25223377 HAS SOPS 23365238 HAS SOUS 9308923 HAS SOUPS 9204600 WITH SCORE 9229823.377
AT ITER 1144 NEW BEST:: SOT 32780608 SOS 25223073 HAS SOPS 23364900 HAS SOUS 9308585 HAS SOUPS 9204262 WITH SCORE 9229485.073
AT ITER 1148 NEW BEST:: SOT 32780608 SOS 25218628 HAS SOPS 23359500 HAS SOUS 9307576 HAS SOUPS 9203280 WITH SCORE 9228498.628
AT ITER 1152 NEW BEST:: SOT 32805784 SOS 25219780 HAS SOPS 23395918 HAS SOUS 9219446 HAS SOUPS 9115764 WITH SCORE 9140983.78
AT ITER 1154 NEW BEST:: SOT 32805367 SOS 25218980 HAS SOPS 23395070 HAS SOUS 9218540 HAS SOUPS 9115251 WITH SCORE 9140469.98
AT ITER 1156 NEW BEST:: SOT 32805345 SOS 25218958 HAS SOPS 23395048 HAS SOUS 9218518 HAS SOUPS 9115229 WITH SCORE 9140447.958
AT ITER 1157 NEW BEST:: SOT 32797946 SOS 25211854 HAS SOPS 23387649 HAS SOUS 9218424 HAS SOUPS 9115097 WITH SCORE 9140308.854
AT ITER 1160 NEW BEST:: SOT 32802144 SOS 25213490 HAS SOPS 23391906 HAS SOUS 9213502 HAS SOUPS 9110234 WITH SCORE 9135447.49
AT ITER 1163 NEW BEST:: SOT 32796949 SOS 25208295 HAS SOPS 23386711 HAS SOUS 9208307 HAS SOUPS 9105039 WITH SCORE 9130247.295
AT ITER 1164 NEW BEST:: SOT 32814213 SOS 25182476 HAS SOPS 23337508 HAS SOUS 9201676 HAS SOUPS 9098782 WITH SCORE 9123964.476
AT ITER 1166 NEW BEST:: SOT 32841710 SOS 25209113 HAS SOPS 23365005 HAS SOUS 9179633 HAS SOUPS 9076991 WITH SCORE 9102200.113
AT ITER 1167 NEW BEST:: SOT 32924917 SOS 25246853 HAS SOPS 23417917 HAS SOUS 9135415 HAS SOUPS 9033488 WITH SCORE 9058734.853
AT ITER 1179 NEW BEST:: SOT 32924917 SOS 25226579 HAS SOPS 23396034 HAS SOUS 9133672 HAS SOUPS 9031800 WITH SCORE 9057026.579
AT ITER 1182 NEW BEST:: SOT 32927163 SOS 25212630 HAS SOPS 23417375 HAS SOUS 9115598 HAS SOUPS 9014005 WITH SCORE 9039217.63
AT ITER 1186 NEW BEST:: SOT 32965595 SOS 25208308 HAS SOPS 23452557 HAS SOUS 9057122 HAS SOUPS 8956754 WITH SCORE 8981962.308
AT ITER 1193 NEW BEST:: SOT 32931736 SOS 25174449 HAS SOPS 23418698 HAS SOUS 9023363 HAS SOUPS 8922895 WITH SCORE 8948069.449
AT ITER 1195 NEW BEST:: SOT 32916360 SOS 25166770 HAS SOPS 23413156 HAS SOUS 9009918 HAS SOUPS 8909450 WITH SCORE 8934616.77
AT ITER 1202 NEW BEST:: SOT 32952218 SOS 25199551 HAS SOPS 23469717 HAS SOUS 8929995 HAS SOUPS 8829994 WITH SCORE 8855193.551
AT ITER 1203 NEW BEST:: SOT 32951574 SOS 25183423 HAS SOPS 23468683 HAS SOUS 8863755 HAS SOUPS 8763857 WITH SCORE 8789040.423
AT ITER 1208 NEW BEST:: SOT 32954851 SOS 25171026 HAS SOPS 23452219 HAS SOUS 8862726 HAS SOUPS 8762828 WITH SCORE 8787999.026
AT ITER 1209 NEW BEST:: SOT 32966150 SOS 25182261 HAS SOPS 23463518 HAS SOUS 8861289 HAS SOUPS 8761455 WITH SCORE 8786637.261
AT ITER 1211 NEW BEST:: SOT 32966150 SOS 25161389 HAS SOPS 23440324 HAS SOUS 8858849 HAS SOUPS 8759015 WITH SCORE 8784176.389
AT ITER 1212 NEW BEST:: SOT 32969210 SOS 25147380 HAS SOPS 23434912 HAS SOUS 8818022 HAS SOUPS 8718450 WITH SCORE 8743597.38
AT ITER 1213 NEW BEST:: SOT 32982355 SOS 25151900 HAS SOPS 23448057 HAS SOUS 8776392 HAS SOUPS 8677137 WITH SCORE 8702288.9
AT ITER 1217 NEW BEST:: SOT 32982355 SOS 25150787 HAS SOPS 23446650 HAS SOUS 8776084 HAS SOUPS 8676829 WITH SCORE 8701979.787
AT ITER 1218 NEW BEST:: SOT 32991424 SOS 25158356 HAS SOPS 23455719 HAS SOUS 8771053 HAS SOUPS 8671876 WITH SCORE 8697034.356
AT ITER 1219 NEW BEST:: SOT 32991715 SOS 25166910 HAS SOPS 23476914 HAS SOUS 8763393 HAS SOUPS 8664320 WITH SCORE 8689486.91
AT ITER 1226 NEW BEST:: SOT 32978111 SOS 25153306 HAS SOPS 23463310 HAS SOUS 8749789 HAS SOUPS 8650716 WITH SCORE 8675869.306
AT ITER 1228 NEW BEST:: SOT 32978111 SOS 25130796 HAS SOPS 23432893 HAS SOUS 8741680 HAS SOUPS 8642441 WITH SCORE 8667571.796
AT ITER 1229 NEW BEST:: SOT 32945732 SOS 25086891 HAS SOPS 23388255 HAS SOUS 8708446 HAS SOUPS 8609207 WITH SCORE 8634293.891
AT ITER 1234 NEW BEST:: SOT 32984544 SOS 25100074 HAS SOPS 23427891 HAS SOUS 8646226 HAS SOUPS 8547626 WITH SCORE 8572726.074
AT ITER 1235 NEW BEST:: SOT 33000840 SOS 25115531 HAS SOPS 23444187 HAS SOUS 8607361 HAS SOUPS 8509041 WITH SCORE 8534156.531
AT ITER 1238 NEW BEST:: SOT 33000795 SOS 25115486 HAS SOPS 23444142 HAS SOUS 8607316 HAS SOUPS 8508996 WITH SCORE 8534111.486
AT ITER 1240 NEW BEST:: SOT 33039568 SOS 25148235 HAS SOPS 23483038 HAS SOUS 8590359 HAS SOUPS 8492349 WITH SCORE 8517497.235
AT ITER 1242 NEW BEST:: SOT 33022972 SOS 25113280 HAS SOPS 23466442 HAS SOUS 8511320 HAS SOUPS 8414114 WITH SCORE 8439227.28
AT ITER 1244 NEW BEST:: SOT 33022972 SOS 25088272 HAS SOPS 23435443 HAS SOUS 8504976 HAS SOUPS 8407770 WITH SCORE 8432858.272
AT ITER 1250 NEW BEST:: SOT 33023019 SOS 25083875 HAS SOPS 23430623 HAS SOUS 8504550 HAS SOUPS 8407477 WITH SCORE 8432560.875
AT ITER 1252 NEW BEST:: SOT 33023087 SOS 25035038 HAS SOPS 23400564 HAS SOUS 8489245 HAS SOUPS 8392342 WITH SCORE 8417377.038
AT ITER 1259 NEW BEST:: SOT 33000231 SOS 25012182 HAS SOPS 23377708 HAS SOUS 8466389 HAS SOUPS 8369486 WITH SCORE 8394498.182
AT ITER 1261 NEW BEST:: SOT 33000843 SOS 24999562 HAS SOPS 23364250 HAS SOUS 8466295 HAS SOUPS 8369466 WITH SCORE 8394465.562
AT ITER 1262 NEW BEST:: SOT 33000843 SOS 24983940 HAS SOPS 23343850 HAS SOUS 8461313 HAS SOUPS 8364484 WITH SCORE 8389467.94
AT ITER 1266 NEW BEST:: SOT 33000843 SOS 24966780 HAS SOPS 23325542 HAS SOUS 8460073 HAS SOUPS 8363244 WITH SCORE 8388210.78
AT ITER 1271 NEW BEST:: SOT 33060556 SOS 25023321 HAS SOPS 23385255 HAS SOUS 8455958 HAS SOUPS 8359464 WITH SCORE 8384487.321
AT ITER 1276 NEW BEST:: SOT 33060556 SOS 25007635 HAS SOPS 23365855 HAS SOUS 8452050 HAS SOUPS 8355556 WITH SCORE 8380563.635
AT ITER 1279 NEW BEST:: SOT 33024252 SOS 24940358 HAS SOPS 23261412 HAS SOUS 8445702 HAS SOUPS 8348869 WITH SCORE 8373809.358
AT ITER 1280 NEW BEST:: SOT 33050084 SOS 24965604 HAS SOPS 23287244 HAS SOUS 8428720 HAS SOUPS 8332104 WITH SCORE 8357069.604
AT ITER 1283 NEW BEST:: SOT 33050084 SOS 24957452 HAS SOPS 23278397 HAS SOUS 8427934 HAS SOUPS 8331318 WITH SCORE 8356275.452
AT ITER 1289 NEW BEST:: SOT 33050374 SOS 24955377 HAS SOPS 23285772 HAS SOUS 8419337 HAS SOUPS 8322870 WITH SCORE 8347825.377
AT ITER 1294 NEW BEST:: SOT 33050374 SOS 24955368 HAS SOPS 23285763 HAS SOUS 8419328 HAS SOUPS 8322861 WITH SCORE 8347816.368
AT ITER 1301 NEW BEST:: SOT 33051407 SOS 24939397 HAS SOPS 23286796 HAS SOUS 8393565 HAS SOUPS 8297317 WITH SCORE 8322256.397
AT ITER 1302 NEW BEST:: SOT 33051356 SOS 24939346 HAS SOPS 23286602 HAS SOUS 8393371 HAS SOUPS 8296980 WITH SCORE 8321919.346
AT ITER 1305 NEW BEST:: SOT 33048317 SOS 24936307 HAS SOPS 23283563 HAS SOUS 8390332 HAS SOUPS 8293941 WITH SCORE 8318877.307
AT ITER 1309 NEW BEST:: SOT 33050116 SOS 24958827 HAS SOPS 23351231 HAS SOUS 8364676 HAS SOUPS 8268651 WITH SCORE 8293609.827
AT ITER 1311 NEW BEST:: SOT 33049995 SOS 24947137 HAS SOPS 23332438 HAS SOUS 8357405 HAS SOUPS 8261430 WITH SCORE 8286377.137
AT ITER 1322 NEW BEST:: SOT 33091549 SOS 24981751 HAS SOPS 23370776 HAS SOUS 8337051 HAS SOUPS 8241404 WITH SCORE 8266385.751
AT ITER 1324 NEW BEST:: SOT 33073654 SOS 24961943 HAS SOPS 23350658 HAS SOUS 8318824 HAS SOUPS 8223177 WITH SCORE 8248138.943
AT ITER 1326 NEW BEST:: SOT 33073654 SOS 24903738 HAS SOPS 23282342 HAS SOUS 8308370 HAS SOUPS 8212723 WITH SCORE 8237626.738
AT ITER 1327 NEW BEST:: SOT 33073654 SOS 24897867 HAS SOPS 23275342 HAS SOUS 8307238 HAS SOUPS 8211559 WITH SCORE 8236456.867
AT ITER 1328 NEW BEST:: SOT 33074206 SOS 24872243 HAS SOPS 23258005 HAS SOUS 8288299 HAS SOUPS 8192758 WITH SCORE 8217630.243
AT ITER 1332 NEW BEST:: SOT 33074206 SOS 24871422 HAS SOPS 23256945 HAS SOUS 8288048 HAS SOUPS 8192507 WITH SCORE 8217378.422
AT ITER 1335 NEW BEST:: SOT 33073548 SOS 24848862 HAS SOPS 23220139 HAS SOUS 8272636 HAS SOUPS 8177243 WITH SCORE 8202091.862
AT ITER 1337 NEW BEST:: SOT 33073548 SOS 24822611 HAS SOPS 23188381 HAS SOUS 8266351 HAS SOUPS 8171420 WITH SCORE 8196242.611
AT ITER 1338 NEW BEST:: SOT 33066633 SOS 24815696 HAS SOPS 23181466 HAS SOUS 8259436 HAS SOUPS 8164505 WITH SCORE 8189320.696
AT ITER 1339 NEW BEST:: SOT 33075424 SOS 24790338 HAS SOPS 23186073 HAS SOUS 8209049 HAS SOUPS 8114797 WITH SCORE 8139587.338
AT ITER 1340 NEW BEST:: SOT 33075424 SOS 24742959 HAS SOPS 23114517 HAS SOUS 8184160 HAS SOUPS 8089908 WITH SCORE 8114650.959
AT ITER 1342 NEW BEST:: SOT 33102716 SOS 24784209 HAS SOPS 23175809 HAS SOUS 8164434 HAS SOUPS 8070519 WITH SCORE 8095303.209
AT ITER 1343 NEW BEST:: SOT 33102509 SOS 24784002 HAS SOPS 23175602 HAS SOUS 8164227 HAS SOUPS 8070312 WITH SCORE 8095096.002
AT ITER 1346 NEW BEST:: SOT 33110166 SOS 24814437 HAS SOPS 23256393 HAS SOUS 8124368 HAS SOUPS 8030946 WITH SCORE 8055760.437
AT ITER 1348 NEW BEST:: SOT 33109690 SOS 24759513 HAS SOPS 23188189 HAS SOUS 8109612 HAS SOUPS 8016894 WITH SCORE 8041653.513
AT ITER 1349 NEW BEST:: SOT 33215137 SOS 24859833 HAS SOPS 23298661 HAS SOUS 8101085 HAS SOUPS 8008765 WITH SCORE 8033624.833
AT ITER 1351 NEW BEST:: SOT 33215086 SOS 24835934 HAS SOPS 23268661 HAS SOUS 8094486 HAS SOUPS 8002315 WITH SCORE 8027150.934
AT ITER 1356 NEW BEST:: SOT 33216540 SOS 24817084 HAS SOPS 23293833 HAS SOUS 8061952 HAS SOUPS 7969824 WITH SCORE 7994641.084
AT ITER 1357 NEW BEST:: SOT 33231199 SOS 24853323 HAS SOPS 23357865 HAS SOUS 8024867 HAS SOUPS 7932896 WITH SCORE 7957749.323
AT ITER 1360 NEW BEST:: SOT 33211206 SOS 24833330 HAS SOPS 23337872 HAS SOUS 8004874 HAS SOUPS 7912903 WITH SCORE 7937736.33
AT ITER 1364 NEW BEST:: SOT 33211497 SOS 24761825 HAS SOPS 23294484 HAS SOUS 7981785 HAS SOUPS 7890070 WITH SCORE 7914831.825
AT ITER 1371 NEW BEST:: SOT 33211497 SOS 24735676 HAS SOPS 23264484 HAS SOUS 7977784 HAS SOUPS 7885919 WITH SCORE 7910654.676
AT ITER 1373 NEW BEST:: SOT 33211477 SOS 24653414 HAS SOPS 23151367 HAS SOUS 7946059 HAS SOUPS 7854280 WITH SCORE 7878933.414
AT ITER 1374 NEW BEST:: SOT 33211370 SOS 24610642 HAS SOPS 23084380 HAS SOUS 7921295 HAS SOUPS 7829616 WITH SCORE 7854226.642
AT ITER 1376 NEW BEST:: SOT 33211370 SOS 24590585 HAS SOPS 23059740 HAS SOUS 7916350 HAS SOUPS 7824671 WITH SCORE 7849261.585
AT ITER 1377 NEW BEST:: SOT 33210498 SOS 24589730 HAS SOPS 23058868 HAS SOUS 7916261 HAS SOUPS 7824578 WITH SCORE 7849167.73
AT ITER 1392 NEW BEST:: SOT 33210482 SOS 24589522 HAS SOPS 23058274 HAS SOUS 7915495 HAS SOUPS 7823812 WITH SCORE 7848401.522
AT ITER 1396 NEW BEST:: SOT 33180642 SOS 24560164 HAS SOPS 23028434 HAS SOUS 7910573 HAS SOUPS 7818763 WITH SCORE 7843323.164
AT ITER 1401 NEW BEST:: SOT 33168978 SOS 24555852 HAS SOPS 23025895 HAS SOUS 7900625 HAS SOUPS 7809241 WITH SCORE 7833796.852
AT ITER 1405 NEW BEST:: SOT 33168690 SOS 24541965 HAS SOPS 23009972 HAS SOUS 7897906 HAS SOUPS 7806941 WITH SCORE 7831482.965
AT ITER 1406 NEW BEST:: SOT 33167535 SOS 24540182 HAS SOPS 23011617 HAS SOUS 7857807 HAS SOUPS 7767054 WITH SCORE 7791594.182
AT ITER 1411 NEW BEST:: SOT 33256350 SOS 24623951 HAS SOPS 23100432 HAS SOUS 7853868 HAS SOUPS 7763604 WITH SCORE 7788227.951
AT ITER 1413 NEW BEST:: SOT 33256962 SOS 24630078 HAS SOPS 23111295 HAS SOUS 7849169 HAS SOUPS 7758905 WITH SCORE 7783535.078
AT ITER 1414 NEW BEST:: SOT 33236730 SOS 24609846 HAS SOPS 23091063 HAS SOUS 7828937 HAS SOUPS 7738673 WITH SCORE 7763282.846
AT ITER 1417 NEW BEST:: SOT 33236730 SOS 24609843 HAS SOPS 23091060 HAS SOUS 7828937 HAS SOUPS 7738673 WITH SCORE 7763282.843
AT ITER 1418 NEW BEST:: SOT 33232592 SOS 24605705 HAS SOPS 23086922 HAS SOUS 7824799 HAS SOUPS 7734535 WITH SCORE 7759140.705
AT ITER 1424 NEW BEST:: SOT 33232592 SOS 24605705 HAS SOPS 23086756 HAS SOUS 7824492 HAS SOUPS 7734203 WITH SCORE 7758808.705
AT ITER 1429 NEW BEST:: SOT 33180929 SOS 24556593 HAS SOPS 23034894 HAS SOUS 7824480 HAS SOUPS 7733918 WITH SCORE 7758474.593
AT ITER 1430 NEW BEST:: SOT 33180663 SOS 24517149 HAS SOPS 22985437 HAS SOUS 7813251 HAS SOUPS 7723203 WITH SCORE 7747720.149
AT ITER 1431 NEW BEST:: SOT 33199678 SOS 24514943 HAS SOPS 23013970 HAS SOUS 7780170 HAS SOUPS 7690537 WITH SCORE 7715051.943
AT ITER 1433 NEW BEST:: SOT 33199660 SOS 24514907 HAS SOPS 23013934 HAS SOUS 7780134 HAS SOUPS 7690501 WITH SCORE 7715015.907
AT ITER 1438 NEW BEST:: SOT 33199660 SOS 24494297 HAS SOPS 22985995 HAS SOUS 7772677 HAS SOUPS 7682894 WITH SCORE 7707388.297
AT ITER 1439 NEW BEST:: SOT 33187470 SOS 24482107 HAS SOPS 22973805 HAS SOUS 7760487 HAS SOUPS 7670704 WITH SCORE 7695186.107
AT ITER 1441 NEW BEST:: SOT 33187439 SOS 24482076 HAS SOPS 22973774 HAS SOUS 7760456 HAS SOUPS 7670673 WITH SCORE 7695155.076
AT ITER 1442 NEW BEST:: SOT 33243765 SOS 24534579 HAS SOPS 23030100 HAS SOUS 7755805 HAS SOUPS 7666346 WITH SCORE 7690880.579
AT ITER 1443 NEW BEST:: SOT 33259085 SOS 24497227 HAS SOPS 23037333 HAS SOUS 7718412 HAS SOUPS 7629415 WITH SCORE 7653912.227
AT ITER 1445 NEW BEST:: SOT 33253751 SOS 24491893 HAS SOPS 23031916 HAS SOUS 7712912 HAS SOUPS 7623915 WITH SCORE 7648406.893
AT ITER 1446 NEW BEST:: SOT 33253751 SOS 24474027 HAS SOPS 23011012 HAS SOUS 7709919 HAS SOUPS 7620669 WITH SCORE 7645143.027
AT ITER 1448 NEW BEST:: SOT 33277946 SOS 24495252 HAS SOPS 23035207 HAS SOUS 7694284 HAS SOUPS 7605248 WITH SCORE 7629743.252
AT ITER 1449 NEW BEST:: SOT 33273171 SOS 24490477 HAS SOPS 23030432 HAS SOUS 7689484 HAS SOUPS 7600473 WITH SCORE 7624963.477
AT ITER 1450 NEW BEST:: SOT 33256251 SOS 24473842 HAS SOPS 23013439 HAS SOUS 7686733 HAS SOUPS 7597649 WITH SCORE 7622122.842
AT ITER 1453 NEW BEST:: SOT 33256251 SOS 24473899 HAS SOPS 23013295 HAS SOUS 7686409 HAS SOUPS 7597325 WITH SCORE 7621798.899
AT ITER 1454 NEW BEST:: SOT 33256251 SOS 24473899 HAS SOPS 23013291 HAS SOUS 7686405 HAS SOUPS 7597321 WITH SCORE 7621794.899
AT ITER 1456 NEW BEST:: SOT 33202641 SOS 24414836 HAS SOPS 22944775 HAS SOUS 7679162 HAS SOUPS 7589798 WITH SCORE 7614212.836
AT ITER 1461 NEW BEST:: SOT 33201821 SOS 24414016 HAS SOPS 22943955 HAS SOUS 7678342 HAS SOUPS 7588978 WITH SCORE 7613392.016
AT ITER 1462 NEW BEST:: SOT 33201821 SOS 24417473 HAS SOPS 22947111 HAS SOUS 7677623 HAS SOUPS 7588259 WITH SCORE 7612676.473
AT ITER 1465 NEW BEST:: SOT 33234369 SOS 24465315 HAS SOPS 23033929 HAS SOUS 7590264 HAS SOUPS 7501322 WITH SCORE 7525787.315
AT ITER 1468 NEW BEST:: SOT 33234369 SOS 24456586 HAS SOPS 23023929 HAS SOUS 7588960 HAS SOUPS 7500001 WITH SCORE 7524457.586
AT ITER 1469 NEW BEST:: SOT 33234369 SOS 24450657 HAS SOPS 23017095 HAS SOUS 7587987 HAS SOUPS 7499028 WITH SCORE 7523478.657
AT ITER 1474 NEW BEST:: SOT 33242536 SOS 24454659 HAS SOPS 23025399 HAS SOUS 7573056 HAS SOUPS 7484371 WITH SCORE 7508825.659
AT ITER 1475 NEW BEST:: SOT 33242536 SOS 24453802 HAS SOPS 23023023 HAS SOUS 7571525 HAS SOUPS 7482840 WITH SCORE 7507293.802
AT ITER 1476 NEW BEST:: SOT 33241926 SOS 24453192 HAS SOPS 23022413 HAS SOUS 7570915 HAS SOUPS 7482230 WITH SCORE 7506683.192
AT ITER 1478 NEW BEST:: SOT 33254027 SOS 24455516 HAS SOPS 23034514 HAS SOUS 7550593 HAS SOUPS 7462119 WITH SCORE 7486574.516
AT ITER 1483 NEW BEST:: SOT 33248733 SOS 24425072 HAS SOPS 22997181 HAS SOUS 7538140 HAS SOUPS 7449775 WITH SCORE 7474200.072
AT ITER 1487 NEW BEST:: SOT 33249972 SOS 24411560 HAS SOPS 22976755 HAS SOUS 7532562 HAS SOUPS 7443959 WITH SCORE 7468370.56
AT ITER 1490 NEW BEST:: SOT 33236935 SOS 24398234 HAS SOPS 22963429 HAS SOUS 7519236 HAS SOUPS 7430633 WITH SCORE 7455031.234
AT ITER 1493 NEW BEST:: SOT 33234018 SOS 24392558 HAS SOPS 22952912 HAS SOUS 7493202 HAS SOUPS 7404690 WITH SCORE 7429082.558
AT ITER 1499 NEW BEST:: SOT 33234172 SOS 24382884 HAS SOPS 22960508 HAS SOUS 7482840 HAS SOUPS 7394328 WITH SCORE 7418710.884
AT ITER 1501 NEW BEST:: SOT 33234116 SOS 24359226 HAS SOPS 22932366 HAS SOUS 7478215 HAS SOUPS 7389761 WITH SCORE 7414120.226
AT ITER 1502 NEW BEST:: SOT 33226130 SOS 24351273 HAS SOPS 22924380 HAS SOUS 7476796 HAS SOUPS 7388309 WITH SCORE 7412660.273
AT ITER 1505 NEW BEST:: SOT 33226130 SOS 24319440 HAS SOPS 22881980 HAS SOUS 7465603 HAS SOUPS 7377530 WITH SCORE 7401849.44
AT ITER 1506 NEW BEST:: SOT 33208740 SOS 24343948 HAS SOPS 22910244 HAS SOUS 7452778 HAS SOUPS 7364178 WITH SCORE 7388521.948
AT ITER 1507 NEW BEST:: SOT 33208740 SOS 24343866 HAS SOPS 22909974 HAS SOUS 7452402 HAS SOUPS 7363802 WITH SCORE 7388145.866
AT ITER 1508 NEW BEST:: SOT 33198165 SOS 24365181 HAS SOPS 22940075 HAS SOUS 7451019 HAS SOUPS 7362419 WITH SCORE 7386784.181
AT ITER 1510 NEW BEST:: SOT 33190441 SOS 24371447 HAS SOPS 22953465 HAS SOUS 7450824 HAS SOUPS 7362029 WITH SCORE 7386400.447
AT ITER 1511 NEW BEST:: SOT 33303652 SOS 24456721 HAS SOPS 23067371 HAS SOUS 7424714 HAS SOUPS 7336761 WITH SCORE 7361217.721
AT ITER 1513 NEW BEST:: SOT 33303652 SOS 24452105 HAS SOPS 23062171 HAS SOUS 7424078 HAS SOUPS 7336151 WITH SCORE 7360603.105
AT ITER 1514 NEW BEST:: SOT 33336182 SOS 24426682 HAS SOPS 23072747 HAS SOUS 7364629 HAS SOUPS 7277341 WITH SCORE 7301767.682
AT ITER 1518 NEW BEST:: SOT 33336182 SOS 24412273 HAS SOPS 23063147 HAS SOUS 7359742 HAS SOUPS 7272550 WITH SCORE 7296962.273
AT ITER 1520 NEW BEST:: SOT 33339303 SOS 24413560 HAS SOPS 23066268 HAS SOUS 7347497 HAS SOUPS 7260391 WITH SCORE 7284804.56
AT ITER 1521 NEW BEST:: SOT 33339303 SOS 24406788 HAS SOPS 23059021 HAS SOUS 7346957 HAS SOUPS 7259634 WITH SCORE 7284040.788
AT ITER 1524 NEW BEST:: SOT 33339303 SOS 24406556 HAS SOPS 23058789 HAS SOUS 7346725 HAS SOUPS 7259634 WITH SCORE 7284040.556
AT ITER 1525 NEW BEST:: SOT 33339303 SOS 24396948 HAS SOPS 23047666 HAS SOUS 7345053 HAS SOUPS 7257784 WITH SCORE 7282180.948
AT ITER 1528 NEW BEST:: SOT 33308012 SOS 24403809 HAS SOPS 23059710 HAS SOUS 7318938 HAS SOUPS 7231669 WITH SCORE 7256072.809
AT ITER 1531 NEW BEST:: SOT 33310743 SOS 24405754 HAS SOPS 23062471 HAS SOUS 7316485 HAS SOUPS 7229276 WITH SCORE 7253681.754
AT ITER 1538 NEW BEST:: SOT 33310620 SOS 24395956 HAS SOPS 23048749 HAS SOUS 7312304 HAS SOUPS 7224963 WITH SCORE 7249358.956
AT ITER 1539 NEW BEST:: SOT 33310620 SOS 24377702 HAS SOPS 23056789 HAS SOUS 7303878 HAS SOUPS 7216711 WITH SCORE 7241088.702
AT ITER 1541 NEW BEST:: SOT 33310595 SOS 24377652 HAS SOPS 23056714 HAS SOUS 7303803 HAS SOUPS 7216636 WITH SCORE 7241013.652
AT ITER 1547 NEW BEST:: SOT 33310595 SOS 24365251 HAS SOPS 23043114 HAS SOUS 7302364 HAS SOUPS 7215369 WITH SCORE 7239734.251
AT ITER 1551 NEW BEST:: SOT 33310595 SOS 24331262 HAS SOPS 23005420 HAS SOUS 7298341 HAS SOUPS 7211423 WITH SCORE 7235754.262
AT ITER 1555 NEW BEST:: SOT 33310595 SOS 24313777 HAS SOPS 22986764 HAS SOUS 7296883 HAS SOUPS 7210439 WITH SCORE 7234752.777
AT ITER 1556 NEW BEST:: SOT 33358912 SOS 24361216 HAS SOPS 23035081 HAS SOUS 7294278 HAS SOUPS 7208093 WITH SCORE 7232454.216
AT ITER 1560 NEW BEST:: SOT 33358912 SOS 24361187 HAS SOPS 23035052 HAS SOUS 7294249 HAS SOUPS 7208064 WITH SCORE 7232425.187
AT ITER 1564 NEW BEST:: SOT 33369706 SOS 24390963 HAS SOPS 23116898 HAS SOUS 7247221 HAS SOUPS 7161589 WITH SCORE 7185979.963
AT ITER 1570 NEW BEST:: SOT 33367846 SOS 24389103 HAS SOPS 23114832 HAS SOUS 7244823 HAS SOUPS 7159317 WITH SCORE 7183706.103
AT ITER 1574 NEW BEST:: SOT 33372838 SOS 24381527 HAS SOPS 23119857 HAS SOUS 7228649 HAS SOUPS 7143312 WITH SCORE 7167693.527
AT ITER 1581 NEW BEST:: SOT 33372804 SOS 24381493 HAS SOPS 23119823 HAS SOUS 7228615 HAS SOUPS 7143278 WITH SCORE 7167659.493
AT ITER 1582 NEW BEST:: SOT 33370919 SOS 24370282 HAS SOPS 23107285 HAS SOUS 7225197 HAS SOUPS 7139960 WITH SCORE 7164330.282
AT ITER 1583 NEW BEST:: SOT 33370844 SOS 24370174 HAS SOPS 23107177 HAS SOUS 7225089 HAS SOUPS 7139852 WITH SCORE 7164222.174
AT ITER 1584 NEW BEST:: SOT 33365627 SOS 24342258 HAS SOPS 23071256 HAS SOUS 7211684 HAS SOUPS 7126324 WITH SCORE 7150666.258
AT ITER 1587 NEW BEST:: SOT 33365627 SOS 24341558 HAS SOPS 23070452 HAS SOUS 7211568 HAS SOUPS 7126212 WITH SCORE 7150553.558
AT ITER 1589 NEW BEST:: SOT 33365627 SOS 24332912 HAS SOPS 23061459 HAS SOUS 7211187 HAS SOUPS 7125831 WITH SCORE 7150163.912
AT ITER 1590 NEW BEST:: SOT 33422097 SOS 24451388 HAS SOPS 23243554 HAS SOUS 7200526 HAS SOUPS 7115830 WITH SCORE 7140281.388
AT ITER 1591 NEW BEST:: SOT 33418812 SOS 24448179 HAS SOPS 23240345 HAS SOUS 7197317 HAS SOUPS 7112621 WITH SCORE 7137069.179
AT ITER 1592 NEW BEST:: SOT 33418812 SOS 24388066 HAS SOPS 23166145 HAS SOUS 7182488 HAS SOUPS 7098163 WITH SCORE 7122551.066
AT ITER 1594 NEW BEST:: SOT 33420647 SOS 24349845 HAS SOPS 23166893 HAS SOUS 7157985 HAS SOUPS 7073988 WITH SCORE 7098337.845
AT ITER 1597 NEW BEST:: SOT 33511836 SOS 24432643 HAS SOPS 23274363 HAS SOUS 7125156 HAS SOUPS 7041159 WITH SCORE 7065591.643
AT ITER 1604 NEW BEST:: SOT 33511836 SOS 24432643 HAS SOPS 23274170 HAS SOUS 7124770 HAS SOUPS 7040773 WITH SCORE 7065205.643
AT ITER 1607 NEW BEST:: SOT 33513157 SOS 24433529 HAS SOPS 23275551 HAS SOUS 7120616 HAS SOUPS 7036649 WITH SCORE 7061082.529
AT ITER 1611 NEW BEST:: SOT 33513136 SOS 24405037 HAS SOPS 23245900 HAS SOUS 7118854 HAS SOUPS 7035284 WITH SCORE 7059689.037
AT ITER 1613 NEW BEST:: SOT 33525029 SOS 24409524 HAS SOPS 23257793 HAS SOUS 7085753 HAS SOUPS 7002445 WITH SCORE 7026854.524
AT ITER 1616 NEW BEST:: SOT 33525029 SOS 24409712 HAS SOPS 23257950 HAS SOUS 7085724 HAS SOUPS 7002373 WITH SCORE 7026782.712
AT ITER 1625 NEW BEST:: SOT 33525029 SOS 24344026 HAS SOPS 23180758 HAS SOUS 7073734 HAS SOUPS 6990471 WITH SCORE 7014815.026
AT ITER 1626 NEW BEST:: SOT 33525029 SOS 24308317 HAS SOPS 23142166 HAS SOUS 7070275 HAS SOUPS 6987204 WITH SCORE 7011512.317
AT ITER 1628 NEW BEST:: SOT 33516076 SOS 24299364 HAS SOPS 23133405 HAS SOUS 7061514 HAS SOUPS 6978635 WITH SCORE 7002934.364
AT ITER 1629 NEW BEST:: SOT 33516076 SOS 24299364 HAS SOPS 23133206 HAS SOUS 7061116 HAS SOUPS 6978237 WITH SCORE 7002536.364
AT ITER 1631 NEW BEST:: SOT 33605527 SOS 24384411 HAS SOPS 23223657 HAS SOUS 7051581 HAS SOUPS 6969224 WITH SCORE 6993608.411
AT ITER 1634 NEW BEST:: SOT 33594206 SOS 24373090 HAS SOPS 23212336 HAS SOUS 7040260 HAS SOUPS 6957903 WITH SCORE 6982276.09
AT ITER 1638 NEW BEST:: SOT 33594206 SOS 24357095 HAS SOPS 23194648 HAS SOUS 7038391 HAS SOUPS 6956034 WITH SCORE 6980391.095
AT ITER 1639 NEW BEST:: SOT 33594268 SOS 24359440 HAS SOPS 23206770 HAS SOUS 7030550 HAS SOUPS 6948282 WITH SCORE 6972641.44
AT ITER 1640 NEW BEST:: SOT 33540100 SOS 24306976 HAS SOPS 23152602 HAS SOUS 7028078 HAS SOUPS 6945543 WITH SCORE 6969849.976
AT ITER 1641 NEW BEST:: SOT 33539744 SOS 24246115 HAS SOPS 23086529 HAS SOUS 7022009 HAS SOUPS 6939746 WITH SCORE 6963992.115
AT ITER 1649 NEW BEST:: SOT 33539744 SOS 24234265 HAS SOPS 23067027 HAS SOUS 7014161 HAS SOUPS 6931996 WITH SCORE 6956230.265
AT ITER 1650 NEW BEST:: SOT 33540056 SOS 24213456 HAS SOPS 23076461 HAS SOUS 6989411 HAS SOUPS 6907384 WITH SCORE 6931597.456
AT ITER 1653 NEW BEST:: SOT 33540078 SOS 24216576 HAS SOPS 23097186 HAS SOUS 6980244 HAS SOUPS 6898352 WITH SCORE 6922568.576
AT ITER 1656 NEW BEST:: SOT 33542314 SOS 24218695 HAS SOPS 23099422 HAS SOUS 6979997 HAS SOUPS 6898118 WITH SCORE 6922336.695
AT ITER 1659 NEW BEST:: SOT 33535215 SOS 24170214 HAS SOPS 23041671 HAS SOUS 6963124 HAS SOUPS 6881245 WITH SCORE 6905415.214
AT ITER 1661 NEW BEST:: SOT 33549898 SOS 24182448 HAS SOPS 23056492 HAS SOUS 6952932 HAS SOUPS 6871191 WITH SCORE 6895373.448
AT ITER 1664 NEW BEST:: SOT 33549898 SOS 24167349 HAS SOPS 23038977 HAS SOUS 6950425 HAS SOUPS 6868684 WITH SCORE 6892851.349
AT ITER 1668 NEW BEST:: SOT 33551453 SOS 24168649 HAS SOPS 23040547 HAS SOUS 6949265 HAS SOUPS 6867539 WITH SCORE 6891707.649
AT ITER 1671 NEW BEST:: SOT 33551453 SOS 24150099 HAS SOPS 23019170 HAS SOUS 6946323 HAS SOUPS 6864597 WITH SCORE 6888747.099
AT ITER 1679 NEW BEST:: SOT 33582268 SOS 24180154 HAS SOPS 23049985 HAS SOUS 6940698 HAS SOUPS 6859158 WITH SCORE 6883338.154
AT ITER 1680 NEW BEST:: SOT 33584988 SOS 24182034 HAS SOPS 23052650 HAS SOUS 6933148 HAS SOUPS 6851663 WITH SCORE 6875845.034
AT ITER 1688 NEW BEST:: SOT 33669058 SOS 24213022 HAS SOPS 23135136 HAS SOUS 6888396 HAS SOUPS 6807817 WITH SCORE 6832030.022
AT ITER 1698 NEW BEST:: SOT 33660963 SOS 24204927 HAS SOPS 23127041 HAS SOUS 6880284 HAS SOUPS 6799722 WITH SCORE 6823926.927
AT ITER 1700 NEW BEST:: SOT 33652624 SOS 24196555 HAS SOPS 23119026 HAS SOUS 6872269 HAS SOUPS 6792064 WITH SCORE 6816260.555
AT ITER 1704 NEW BEST:: SOT 33652624 SOS 24191233 HAS SOPS 23112842 HAS SOUS 6871193 HAS SOUPS 6790988 WITH SCORE 6815179.233
AT ITER 1708 NEW BEST:: SOT 33652825 SOS 24191434 HAS SOPS 23112753 HAS SOUS 6870814 HAS SOUPS 6790609 WITH SCORE 6814800.434
AT ITER 1709 NEW BEST:: SOT 33662602 SOS 24201130 HAS SOPS 23122530 HAS SOUS 6864672 HAS SOUPS 6784547 WITH SCORE 6808748.13
AT ITER 1711 NEW BEST:: SOT 33668795 SOS 24205735 HAS SOPS 23128723 HAS SOUS 6855453 HAS SOUPS 6775413 WITH SCORE 6799618.735
AT ITER 1717 NEW BEST:: SOT 33668699 SOS 24205639 HAS SOPS 23128627 HAS SOUS 6855357 HAS SOUPS 6775317 WITH SCORE 6799522.639
AT ITER 1718 NEW BEST:: SOT 33668699 SOS 24205191 HAS SOPS 23128024 HAS SOUS 6855193 HAS SOUPS 6775156 WITH SCORE 6799361.191
AT ITER 1719 NEW BEST:: SOT 33668699 SOS 24204063 HAS SOPS 23126818 HAS SOUS 6855103 HAS SOUPS 6775066 WITH SCORE 6799270.063
AT ITER 1722 NEW BEST:: SOT 33691121 SOS 24266495 HAS SOPS 23230737 HAS SOUS 6820919 HAS SOUPS 6740974 WITH SCORE 6765240.495
AT ITER 1724 NEW BEST:: SOT 33691073 SOS 24266447 HAS SOPS 23230579 HAS SOUS 6820761 HAS SOUPS 6740706 WITH SCORE 6764972.447
AT ITER 1725 NEW BEST:: SOT 33685045 SOS 24260419 HAS SOPS 23224551 HAS SOUS 6814733 HAS SOUPS 6734678 WITH SCORE 6758938.419
AT ITER 1729 NEW BEST:: SOT 33685643 SOS 24238638 HAS SOPS 23185429 HAS SOUS 6797485 HAS SOUPS 6717418 WITH SCORE 6741656.638
AT ITER 1731 NEW BEST:: SOT 33684385 SOS 24246117 HAS SOPS 23192677 HAS SOUS 6796336 HAS SOUPS 6715684 WITH SCORE 6739930.117
AT ITER 1746 NEW BEST:: SOT 33676941 SOS 24235494 HAS SOPS 23181760 HAS SOUS 6788508 HAS SOUPS 6707856 WITH SCORE 6732091.494
AT ITER 1758 NEW BEST:: SOT 33676941 SOS 24214359 HAS SOPS 23158760 HAS SOUS 6786194 HAS SOUPS 6705876 WITH SCORE 6730090.359
AT ITER 1761 NEW BEST:: SOT 33676670 SOS 24214088 HAS SOPS 23158489 HAS SOUS 6785923 HAS SOUPS 6705605 WITH SCORE 6729819.088
AT ITER 1762 NEW BEST:: SOT 33663527 SOS 24200945 HAS SOPS 23145200 HAS SOUS 6772488 HAS SOUPS 6692170 WITH SCORE 6716370.945
AT ITER 1776 NEW BEST:: SOT 33682812 SOS 24219159 HAS SOPS 23164565 HAS SOUS 6771004 HAS SOUPS 6690796 WITH SCORE 6715015.159
AT ITER 1777 NEW BEST:: SOT 33672124 SOS 24208471 HAS SOPS 23154003 HAS SOUS 6760442 HAS SOUPS 6680360 WITH SCORE 6704568.471
AT ITER 1779 NEW BEST:: SOT 33672124 SOS 24185904 HAS SOPS 23129280 HAS SOUS 6758040 HAS SOUPS 6677958 WITH SCORE 6702143.904
AT ITER 1782 NEW BEST:: SOT 33663015 SOS 24169407 HAS SOPS 23111904 HAS SOUS 6747966 HAS SOUPS 6668217 WITH SCORE 6692386.407
AT ITER 1784 NEW BEST:: SOT 33663015 SOS 24168650 HAS SOPS 23111129 HAS SOUS 6747945 HAS SOUPS 6668021 WITH SCORE 6692189.65
AT ITER 1798 NEW BEST:: SOT 33662950 SOS 24168585 HAS SOPS 23111064 HAS SOUS 6747880 HAS SOUPS 6667956 WITH SCORE 6692124.585
AT ITER 1800 NEW BEST:: SOT 33655232 SOS 24160867 HAS SOPS 23103346 HAS SOUS 6740162 HAS SOUPS 6660238 WITH SCORE 6684398.867
AT ITER 1811 NEW BEST:: SOT 33610268 SOS 24116256 HAS SOPS 23058382 HAS SOUS 6735645 HAS SOUPS 6655517 WITH SCORE 6679633.256
AT ITER 1815 NEW BEST:: SOT 33610268 SOS 24098328 HAS SOPS 23039861 HAS SOUS 6734798 HAS SOUPS 6655081 WITH SCORE 6679179.328
AT ITER 1817 NEW BEST:: SOT 33610226 SOS 24098286 HAS SOPS 23039623 HAS SOUS 6734241 HAS SOUPS 6654647 WITH SCORE 6678745.286
AT ITER 1819 NEW BEST:: SOT 33610450 SOS 24098083 HAS SOPS 23039847 HAS SOUS 6733492 HAS SOUPS 6653905 WITH SCORE 6678003.083
AT ITER 1820 NEW BEST:: SOT 33614033 SOS 24101373 HAS SOPS 23043430 HAS SOUS 6729168 HAS SOUPS 6649622 WITH SCORE 6673723.373
AT ITER 1821 NEW BEST:: SOT 33614033 SOS 24101067 HAS SOPS 23042771 HAS SOUS 6728509 HAS SOUPS 6648963 WITH SCORE 6673064.067
AT ITER 1823 NEW BEST:: SOT 33614033 SOS 24098057 HAS SOPS 23039487 HAS SOUS 6728317 HAS SOUPS 6648788 WITH SCORE 6672886.057
AT ITER 1824 NEW BEST:: SOT 33603352 SOS 24087376 HAS SOPS 23028806 HAS SOUS 6717636 HAS SOUPS 6638107 WITH SCORE 6662194.376
AT ITER 1825 NEW BEST:: SOT 33603352 SOS 24055102 HAS SOPS 22994406 HAS SOUS 6715115 HAS SOUPS 6635809 WITH SCORE 6659864.102
AT ITER 1827 NEW BEST:: SOT 33603034 SOS 24054784 HAS SOPS 22994088 HAS SOUS 6714797 HAS SOUPS 6635491 WITH SCORE 6659545.784
AT ITER 1830 NEW BEST:: SOT 33603034 SOS 24026318 HAS SOPS 22960515 HAS SOUS 6709840 HAS SOUPS 6630534 WITH SCORE 6654560.318
AT ITER 1831 NEW BEST:: SOT 33603034 SOS 24026751 HAS SOPS 22960915 HAS SOUS 6709882 HAS SOUPS 6630503 WITH SCORE 6654529.751
AT ITER 1833 NEW BEST:: SOT 33603034 SOS 24022017 HAS SOPS 22952715 HAS SOUS 6706334 HAS SOUPS 6626955 WITH SCORE 6650977.017
AT ITER 1836 NEW BEST:: SOT 33597448 SOS 24030869 HAS SOPS 22962807 HAS SOUS 6702224 HAS SOUPS 6622765 WITH SCORE 6646795.869
AT ITER 1841 NEW BEST:: SOT 33587208 SOS 24020629 HAS SOPS 22952567 HAS SOUS 6692138 HAS SOUPS 6612525 WITH SCORE 6636545.629
AT ITER 1842 NEW BEST:: SOT 33587663 SOS 24021124 HAS SOPS 22952750 HAS SOUS 6692307 HAS SOUPS 6612396 WITH SCORE 6636417.124
AT ITER 1844 NEW BEST:: SOT 33588909 SOS 24018353 HAS SOPS 22953996 HAS SOUS 6680570 HAS SOUPS 6600744 WITH SCORE 6624762.353
AT ITER 1847 NEW BEST:: SOT 33591352 SOS 24025971 HAS SOPS 22993021 HAS SOUS 6647384 HAS SOUPS 6567895 WITH SCORE 6591920.971
AT ITER 1849 NEW BEST:: SOT 33586565 SOS 24021184 HAS SOPS 22988234 HAS SOUS 6642597 HAS SOUPS 6563108 WITH SCORE 6587129.184
AT ITER 1853 NEW BEST:: SOT 33672271 SOS 24098898 HAS SOPS 23074254 HAS SOUS 6619323 HAS SOUPS 6540422 WITH SCORE 6564520.898
AT ITER 1861 NEW BEST:: SOT 33672271 SOS 24098977 HAS SOPS 23074235 HAS SOUS 6619234 HAS SOUPS 6540333 WITH SCORE 6564431.977
AT ITER 1864 NEW BEST:: SOT 33768988 SOS 24188370 HAS SOPS 23171010 HAS SOUS 6613791 HAS SOUPS 6535438 WITH SCORE 6559626.37
AT ITER 1876 NEW BEST:: SOT 33768988 SOS 24188328 HAS SOPS 23170968 HAS SOUS 6613791 HAS SOUPS 6535438 WITH SCORE 6559626.328
AT ITER 1877 NEW BEST:: SOT 33772238 SOS 24191389 HAS SOPS 23174218 HAS SOUS 6613430 HAS SOUPS 6535096 WITH SCORE 6559287.389
AT ITER 1880 NEW BEST:: SOT 33760287 SOS 24179438 HAS SOPS 23162267 HAS SOUS 6601479 HAS SOUPS 6523145 WITH SCORE 6547324.438
AT ITER 1885 NEW BEST:: SOT 33760196 SOS 24179347 HAS SOPS 23162176 HAS SOUS 6601388 HAS SOUPS 6523054 WITH SCORE 6547233.347
AT ITER 1886 NEW BEST:: SOT 33760196 SOS 24176760 HAS SOPS 23159141 HAS SOUS 6601065 HAS SOUPS 6522731 WITH SCORE 6546907.76
AT ITER 1899 NEW BEST:: SOT 33760324 SOS 24165753 HAS SOPS 23147269 HAS SOUS 6600208 HAS SOUPS 6521874 WITH SCORE 6546039.753
AT ITER 1901 NEW BEST:: SOT 33760637 SOS 24162866 HAS SOPS 23154416 HAS SOUS 6586743 HAS SOUPS 6508409 WITH SCORE 6532571.866
AT ITER 1903 NEW BEST:: SOT 33760637 SOS 24162868 HAS SOPS 23154219 HAS SOUS 6586487 HAS SOUPS 6508011 WITH SCORE 6532173.868
AT ITER 1907 NEW BEST:: SOT 33742719 SOS 24109292 HAS SOPS 23092103 HAS SOUS 6559412 HAS SOUPS 6480936 WITH SCORE 6505045.292
AT ITER 1914 NEW BEST:: SOT 33738117 SOS 24106513 HAS SOPS 23089160 HAS SOUS 6554971 HAS SOUPS 6475915 WITH SCORE 6500021.513
AT ITER 1915 NEW BEST:: SOT 33673926 SOS 24043020 HAS SOPS 23024830 HAS SOUS 6543604 HAS SOUPS 6464279 WITH SCORE 6488322.02
AT ITER 1918 NEW BEST:: SOT 33673926 SOS 24025368 HAS SOPS 23003806 HAS SOUS 6540022 HAS SOUPS 6460697 WITH SCORE 6484722.368
AT ITER 1924 NEW BEST:: SOT 33702529 SOS 24080755 HAS SOPS 23079612 HAS SOUS 6534514 HAS SOUPS 6455464 WITH SCORE 6479544.755
AT ITER 1925 NEW BEST:: SOT 33702529 SOS 24079815 HAS SOPS 23078607 HAS SOUS 6534439 HAS SOUPS 6455389 WITH SCORE 6479468.815
AT ITER 1928 NEW BEST:: SOT 33702468 SOS 24079754 HAS SOPS 23078546 HAS SOUS 6534378 HAS SOUPS 6455328 WITH SCORE 6479407.754
AT ITER 1934 NEW BEST:: SOT 33702428 SOS 24079714 HAS SOPS 23078506 HAS SOUS 6534156 HAS SOUPS 6455288 WITH SCORE 6479367.714
AT ITER 1937 NEW BEST:: SOT 33749314 SOS 24124082 HAS SOPS 23125392 HAS SOUS 6529760 HAS SOUPS 6451161 WITH SCORE 6475285.082
AT ITER 1938 NEW BEST:: SOT 33677525 SOS 24052938 HAS SOPS 23053603 HAS SOUS 6509326 HAS SOUPS 6430467 WITH SCORE 6454519.938
AT ITER 1950 NEW BEST:: SOT 33690310 SOS 24056844 HAS SOPS 23066388 HAS SOUS 6486597 HAS SOUPS 6407953 WITH SCORE 6432009.844
AT ITER 1953 NEW BEST:: SOT 33691107 SOS 24057360 HAS SOPS 23067199 HAS SOUS 6484103 HAS SOUPS 6405477 WITH SCORE 6429534.36
AT ITER 1954 NEW BEST:: SOT 33691107 SOS 24057258 HAS SOPS 23067097 HAS SOUS 6484001 HAS SOUPS 6405477 WITH SCORE 6429534.258
AT ITER 1959 NEW BEST:: SOT 33691020 SOS 24057171 HAS SOPS 23067010 HAS SOUS 6483914 HAS SOUPS 6405390 WITH SCORE 6429447.171
AT ITER 1960 NEW BEST:: SOT 33687618 SOS 24069708 HAS SOPS 23081028 HAS SOUS 6482441 HAS SOUPS 6403974 WITH SCORE 6428043.708
AT ITER 1961 NEW BEST:: SOT 33688263 SOS 24070313 HAS SOPS 23081673 HAS SOUS 6482326 HAS SOUPS 6403863 WITH SCORE 6427933.313
AT ITER 1962 NEW BEST:: SOT 33723114 SOS 24075024 HAS SOPS 23098425 HAS SOUS 6421636 HAS SOUPS 6343710 WITH SCORE 6367785.024
AT ITER 1971 NEW BEST:: SOT 33723524 SOS 24064102 HAS SOPS 23087059 HAS SOUS 6421447 HAS SOUPS 6343592 WITH SCORE 6367656.102
AT ITER 1972 NEW BEST:: SOT 33737481 SOS 24076714 HAS SOPS 23101016 HAS SOUS 6415949 HAS SOUPS 6338198 WITH SCORE 6362274.714
AT ITER 1975 NEW BEST:: SOT 33737352 SOS 24076585 HAS SOPS 23100887 HAS SOUS 6415820 HAS SOUPS 6338069 WITH SCORE 6362145.585
AT ITER 1981 NEW BEST:: SOT 33737352 SOS 24064523 HAS SOPS 23088224 HAS SOUS 6415093 HAS SOUPS 6337342 WITH SCORE 6361406.523
AT ITER 1991 NEW BEST:: SOT 33737352 SOS 24064884 HAS SOPS 23088109 HAS SOUS 6414978 HAS SOUPS 6336822 WITH SCORE 6360886.884
AT ITER 1995 NEW BEST:: SOT 33769948 SOS 24094773 HAS SOPS 23120705 HAS SOUS 6392681 HAS SOUPS 6314813 WITH SCORE 6338907.773
AT ITER 1997 NEW BEST:: SOT 33765812 SOS 24090637 HAS SOPS 23116569 HAS SOUS 6388545 HAS SOUPS 6310677 WITH SCORE 6334767.637
AT ITER 1998 NEW BEST:: SOT 33784196 SOS 24075773 HAS SOPS 23127416 HAS SOUS 6340066 HAS SOUPS 6262660 WITH SCORE 6286735.773
AT ITER 2006 NEW BEST:: SOT 33788460 SOS 24069658 HAS SOPS 23131859 HAS SOUS 6319088 HAS SOUPS 6242040 WITH SCORE 6266109.658
AT ITER 2016 NEW BEST:: SOT 33788460 SOS 24036551 HAS SOPS 23097432 HAS SOUS 6317595 HAS SOUPS 6240547 WITH SCORE 6264583.551
AT ITER 2017 NEW BEST:: SOT 33792248 SOS 24055866 HAS SOPS 23125943 HAS SOUS 6306225 HAS SOUPS 6229300 WITH SCORE 6253355.866
AT ITER 2019 NEW BEST:: SOT 33789023 SOS 24026162 HAS SOPS 23095583 HAS SOUS 6275074 HAS SOUPS 6198284 WITH SCORE 6222310.162
AT ITER 2020 NEW BEST:: SOT 33787185 SOS 24031641 HAS SOPS 23101178 HAS SOUS 6273459 HAS SOUPS 6196636 WITH SCORE 6220667.641
AT ITER 2022 NEW BEST:: SOT 33787185 SOS 23990692 HAS SOPS 23054406 HAS SOUS 6267496 HAS SOUPS 6190673 WITH SCORE 6214663.692
AT ITER 2023 NEW BEST:: SOT 33763444 SOS 23965484 HAS SOPS 23028940 HAS SOUS 6243520 HAS SOUPS 6166342 WITH SCORE 6190307.484
AT ITER 2025 NEW BEST:: SOT 33767481 SOS 23969469 HAS SOPS 23032957 HAS SOUS 6241169 HAS SOUPS 6164023 WITH SCORE 6187992.469
AT ITER 2026 NEW BEST:: SOT 33767481 SOS 23881472 HAS SOPS 22924210 HAS SOUS 6219633 HAS SOUPS 6142487 WITH SCORE 6166368.472
AT ITER 2031 NEW BEST:: SOT 33767481 SOS 23873774 HAS SOPS 22914228 HAS SOUS 6217249 HAS SOUPS 6140103 WITH SCORE 6163976.774
AT ITER 2032 NEW BEST:: SOT 33696362 SOS 23805377 HAS SOPS 22842800 HAS SOUS 6215494 HAS SOUPS 6137985 WITH SCORE 6161790.377
AT ITER 2034 NEW BEST:: SOT 33713245 SOS 23740408 HAS SOPS 22753737 HAS SOUS 6207488 HAS SOUPS 6129979 WITH SCORE 6153719.408
AT ITER 2039 NEW BEST:: SOT 33713245 SOS 23740340 HAS SOPS 22753189 HAS SOUS 6206940 HAS SOUPS 6129337 WITH SCORE 6153077.34
AT ITER 2040 NEW BEST:: SOT 33720792 SOS 23713785 HAS SOPS 22757523 HAS SOUS 6162740 HAS SOUPS 6085955 WITH SCORE 6109668.785
AT ITER 2050 NEW BEST:: SOT 33730961 SOS 23722166 HAS SOPS 22767840 HAS SOUS 6145245 HAS SOUPS 6068756 WITH SCORE 6092478.166
AT ITER 2053 NEW BEST:: SOT 33730888 SOS 23722093 HAS SOPS 22767767 HAS SOUS 6145172 HAS SOUPS 6068683 WITH SCORE 6092405.093
AT ITER 2055 NEW BEST:: SOT 33730888 SOS 23707154 HAS SOPS 22767718 HAS SOUS 6140511 HAS SOUPS 6064071 WITH SCORE 6087778.154
AT ITER 2056 NEW BEST:: SOT 33730754 SOS 23707020 HAS SOPS 22767584 HAS SOUS 6140377 HAS SOUPS 6063937 WITH SCORE 6087644.02
AT ITER 2058 NEW BEST:: SOT 33723343 SOS 23707380 HAS SOPS 22768414 HAS SOUS 6134124 HAS SOUPS 6057078 WITH SCORE 6080785.38
AT ITER 2061 NEW BEST:: SOT 33731312 SOS 23694994 HAS SOPS 22776785 HAS SOUS 6099455 HAS SOUPS 6022727 WITH SCORE 6046421.994
AT ITER 2062 NEW BEST:: SOT 33756947 SOS 23719106 HAS SOPS 22802569 HAS SOUS 6096962 HAS SOUPS 6020532 WITH SCORE 6044251.106
AT ITER 2064 NEW BEST:: SOT 33743528 SOS 23705687 HAS SOPS 22789150 HAS SOUS 6083543 HAS SOUPS 6007113 WITH SCORE 6030818.687
AT ITER 2065 NEW BEST:: SOT 33743365 SOS 23697340 HAS SOPS 22780143 HAS SOUS 6082632 HAS SOUPS 6006202 WITH SCORE 6029899.34
AT ITER 2068 NEW BEST:: SOT 33743402 SOS 23703155 HAS SOPS 22785929 HAS SOUS 6082800 HAS SOUPS 6005989 WITH SCORE 6029692.155
AT ITER 2077 NEW BEST:: SOT 33749524 SOS 23708291 HAS SOPS 22792051 HAS SOUS 6078708 HAS SOUPS 6001953 WITH SCORE 6025661.291
AT ITER 2078 NEW BEST:: SOT 33749524 SOS 23690621 HAS SOPS 22773157 HAS SOUS 6077296 HAS SOUPS 6000541 WITH SCORE 6024231.621
AT ITER 2084 NEW BEST:: SOT 33749524 SOS 23689084 HAS SOPS 22771565 HAS SOUS 6077233 HAS SOUPS 6000478 WITH SCORE 6024167.084
AT ITER 2086 NEW BEST:: SOT 33749524 SOS 23657859 HAS SOPS 22737064 HAS SOUS 6073681 HAS SOUPS 5996926 WITH SCORE 6020583.859
AT ITER 2088 NEW BEST:: SOT 33749061 SOS 23653656 HAS SOPS 22731736 HAS SOUS 6072004 HAS SOUPS 5995249 WITH SCORE 6018902.656
AT ITER 2089 NEW BEST:: SOT 33749061 SOS 23621676 HAS SOPS 22685336 HAS SOUS 6057120 HAS SOUPS 5980365 WITH SCORE 6003986.676
AT ITER 2092 NEW BEST:: SOT 33749061 SOS 23621296 HAS SOPS 22684956 HAS SOUS 6056740 HAS SOUPS 5979985 WITH SCORE 6003606.296
AT ITER 2093 NEW BEST:: SOT 33740988 SOS 23670186 HAS SOPS 22737152 HAS SOUS 6052842 HAS SOUPS 5975818 WITH SCORE 5999488.186
AT ITER 2098 NEW BEST:: SOT 33742680 SOS 23671653 HAS SOPS 22738857 HAS SOUS 6052185 HAS SOUPS 5975174 WITH SCORE 5998845.653
AT ITER 2107 NEW BEST:: SOT 33741984 SOS 23670913 HAS SOPS 22738161 HAS SOUS 6042733 HAS SOUPS 5965766 WITH SCORE 5989436.913
AT ITER 2108 NEW BEST:: SOT 33683612 SOS 23613175 HAS SOPS 22679789 HAS SOUS 6030327 HAS SOUPS 5953127 WITH SCORE 5976740.175
AT ITER 2113 NEW BEST:: SOT 33705276 SOS 23633422 HAS SOPS 22701453 HAS SOUS 6024808 HAS SOUPS 5947751 WITH SCORE 5971384.422
AT ITER 2115 NEW BEST:: SOT 33738991 SOS 23665555 HAS SOPS 22735446 HAS SOUS 6023338 HAS SOUPS 5946467 WITH SCORE 5970132.555
AT ITER 2116 NEW BEST:: SOT 33738991 SOS 23665435 HAS SOPS 22735007 HAS SOUS 6022700 HAS SOUPS 5945829 WITH SCORE 5969494.435
AT ITER 2117 NEW BEST:: SOT 33738634 SOS 23663526 HAS SOPS 22732625 HAS SOUS 6021854 HAS SOUPS 5944566 WITH SCORE 5968229.526
AT ITER 2119 NEW BEST:: SOT 33733821 SOS 23650790 HAS SOPS 22719795 HAS SOUS 6017049 HAS SOUPS 5939761 WITH SCORE 5963411.79
AT ITER 2121 NEW BEST:: SOT 33729987 SOS 23694135 HAS SOPS 22765059 HAS SOUS 6015477 HAS SOUPS 5938189 WITH SCORE 5961883.135
AT ITER 2131 NEW BEST:: SOT 33729987 SOS 23690848 HAS SOPS 22761642 HAS SOUS 6015313 HAS SOUPS 5938025 WITH SCORE 5961715.848
AT ITER 2132 NEW BEST:: SOT 33731181 SOS 23674285 HAS SOPS 22768529 HAS SOUS 5986078 HAS SOUPS 5909060 WITH SCORE 5932734.285
AT ITER 2136 NEW BEST:: SOT 33733964 SOS 23673581 HAS SOPS 22771378 HAS SOUS 5979280 HAS SOUPS 5902328 WITH SCORE 5926001.581
AT ITER 2142 NEW BEST:: SOT 33731227 SOS 23678035 HAS SOPS 22776814 HAS SOUS 5977382 HAS SOUPS 5900430 WITH SCORE 5924108.035
AT ITER 2144 NEW BEST:: SOT 33737526 SOS 23684201 HAS SOPS 22783113 HAS SOUS 5972614 HAS SOUPS 5895718 WITH SCORE 5919402.201
AT ITER 2147 NEW BEST:: SOT 33737135 SOS 23676412 HAS SOPS 22773545 HAS SOUS 5970415 HAS SOUPS 5893525 WITH SCORE 5917201.412
AT ITER 2150 NEW BEST:: SOT 33737090 SOS 23651551 HAS SOPS 22747612 HAS SOUS 5968817 HAS SOUPS 5892390 WITH SCORE 5916041.551
AT ITER 2152 NEW BEST:: SOT 33736052 SOS 23650517 HAS SOPS 22746574 HAS SOUS 5968575 HAS SOUPS 5892144 WITH SCORE 5915794.517
AT ITER 2161 NEW BEST:: SOT 33698391 SOS 23608666 HAS SOPS 22697626 HAS SOUS 5965905 HAS SOUPS 5889232 WITH SCORE 5912840.666
AT ITER 2162 NEW BEST:: SOT 33698285 SOS 23608560 HAS SOPS 22697378 HAS SOUS 5965515 HAS SOUPS 5888842 WITH SCORE 5912450.56
AT ITER 2164 NEW BEST:: SOT 33745629 SOS 23639066 HAS SOPS 22745155 HAS SOUS 5926741 HAS SOUPS 5850649 WITH SCORE 5874288.066
AT ITER 2167 NEW BEST:: SOT 33745629 SOS 23638736 HAS SOPS 22744825 HAS SOUS 5926634 HAS SOUPS 5850319 WITH SCORE 5873957.736
AT ITER 2172 NEW BEST:: SOT 33745629 SOS 23601017 HAS SOPS 22701007 HAS SOUS 5920099 HAS SOUPS 5843784 WITH SCORE 5867385.017
AT ITER 2173 NEW BEST:: SOT 33729844 SOS 23585168 HAS SOPS 22685463 HAS SOUS 5904555 HAS SOUPS 5828593 WITH SCORE 5852178.168
AT ITER 2175 NEW BEST:: SOT 33729844 SOS 23569039 HAS SOPS 22669113 HAS SOUS 5904220 HAS SOUPS 5828258 WITH SCORE 5851827.039
AT ITER 2176 NEW BEST:: SOT 33748973 SOS 23568879 HAS SOPS 22688439 HAS SOUS 5863635 HAS SOUPS 5788266 WITH SCORE 5811834.879
AT ITER 2188 NEW BEST:: SOT 33748880 SOS 23568786 HAS SOPS 22688346 HAS SOUS 5863542 HAS SOUPS 5788173 WITH SCORE 5811741.786
AT ITER 2196 NEW BEST:: SOT 33748880 SOS 23535208 HAS SOPS 22650946 HAS SOUS 5859346 HAS SOUPS 5783977 WITH SCORE 5807512.208
AT ITER 2198 NEW BEST:: SOT 33748561 SOS 23534889 HAS SOPS 22650627 HAS SOUS 5859027 HAS SOUPS 5783658 WITH SCORE 5807192.889
AT ITER 2213 NEW BEST:: SOT 33754894 SOS 23555378 HAS SOPS 22679760 HAS SOUS 5851432 HAS SOUPS 5776177 WITH SCORE 5799732.378
AT ITER 2214 NEW BEST:: SOT 33767840 SOS 23583029 HAS SOPS 22722655 HAS SOUS 5827320 HAS SOUPS 5752328 WITH SCORE 5775911.029
AT ITER 2215 NEW BEST:: SOT 33783761 SOS 23598562 HAS SOPS 22738576 HAS SOUS 5817829 HAS SOUPS 5742966 WITH SCORE 5766564.562
AT ITER 2223 NEW BEST:: SOT 33783761 SOS 23596900 HAS SOPS 22738586 HAS SOUS 5817501 HAS SOUPS 5742658 WITH SCORE 5766254.9
AT ITER 2229 NEW BEST:: SOT 33780017 SOS 23581114 HAS SOPS 22719179 HAS SOUS 5809980 HAS SOUPS 5735137 WITH SCORE 5758718.114
AT ITER 2232 NEW BEST:: SOT 33780017 SOS 23581174 HAS SOPS 22719179 HAS SOUS 5809980 HAS SOUPS 5735077 WITH SCORE 5758658.174
AT ITER 2234 NEW BEST:: SOT 33779980 SOS 23573130 HAS SOPS 22710029 HAS SOUS 5808745 HAS SOUPS 5733929 WITH SCORE 5757502.13
AT ITER 2235 NEW BEST:: SOT 33702388 SOS 23497121 HAS SOPS 22632291 HAS SOUS 5793024 HAS SOUPS 5717744 WITH SCORE 5741241.121
AT ITER 2238 NEW BEST:: SOT 33681286 SOS 23476019 HAS SOPS 22611351 HAS SOUS 5771785 HAS SOUPS 5696966 WITH SCORE 5720442.019
AT ITER 2243 NEW BEST:: SOT 33681286 SOS 23438725 HAS SOPS 22573238 HAS SOUS 5770492 HAS SOUPS 5695767 WITH SCORE 5719205.725
AT ITER 2252 NEW BEST:: SOT 33710446 SOS 23455627 HAS SOPS 22602854 HAS SOUS 5721281 HAS SOUPS 5647353 WITH SCORE 5670808.627
AT ITER 2257 NEW BEST:: SOT 33710446 SOS 23443723 HAS SOPS 22589854 HAS SOUS 5720120 HAS SOUPS 5646192 WITH SCORE 5669635.723
AT ITER 2261 NEW BEST:: SOT 33710371 SOS 23443364 HAS SOPS 22589135 HAS SOUS 5719401 HAS SOUPS 5645473 WITH SCORE 5668916.364
AT ITER 2264 NEW BEST:: SOT 33678489 SOS 23411459 HAS SOPS 22557230 HAS SOUS 5687496 HAS SOUPS 5613568 WITH SCORE 5636979.459
AT ITER 2283 NEW BEST:: SOT 33687466 SOS 23425886 HAS SOPS 22592561 HAS SOUS 5646837 HAS SOUPS 5573487 WITH SCORE 5596912.886
AT ITER 2286 NEW BEST:: SOT 33687466 SOS 23403152 HAS SOPS 22568843 HAS SOUS 5645617 HAS SOUPS 5572267 WITH SCORE 5595670.152
AT ITER 2287 NEW BEST:: SOT 33687466 SOS 23407661 HAS SOPS 22573300 HAS SOUS 5645611 HAS SOUPS 5572100 WITH SCORE 5595507.661
AT ITER 2290 NEW BEST:: SOT 33707944 SOS 23492019 HAS SOPS 22705411 HAS SOUS 5597787 HAS SOUPS 5524431 WITH SCORE 5547923.019
AT ITER 2297 NEW BEST:: SOT 33702714 SOS 23456145 HAS SOPS 22664181 HAS SOUS 5586841 HAS SOUPS 5513485 WITH SCORE 5536941.145
AT ITER 2298 NEW BEST:: SOT 33696059 SOS 23449490 HAS SOPS 22657526 HAS SOUS 5580186 HAS SOUPS 5506830 WITH SCORE 5530279.49
AT ITER 2302 NEW BEST:: SOT 33696059 SOS 23449306 HAS SOPS 22657152 HAS SOUS 5579812 HAS SOUPS 5506456 WITH SCORE 5529905.306
AT ITER 2309 NEW BEST:: SOT 33702853 SOS 23449922 HAS SOPS 22664075 HAS SOUS 5555442 HAS SOUPS 5482274 WITH SCORE 5505723.922
AT ITER 2310 NEW BEST:: SOT 33633966 SOS 23381596 HAS SOPS 22595188 HAS SOUS 5535394 HAS SOUPS 5461979 WITH SCORE 5485360.596
AT ITER 2311 NEW BEST:: SOT 33634672 SOS 23378131 HAS SOPS 22595973 HAS SOUS 5524550 HAS SOUPS 5451293 WITH SCORE 5474671.131
AT ITER 2316 NEW BEST:: SOT 33634672 SOS 23354711 HAS SOPS 22566627 HAS SOUS 5518332 HAS SOUPS 5445075 WITH SCORE 5468429.711
AT ITER 2317 NEW BEST:: SOT 33652084 SOS 23391357 HAS SOPS 22616039 HAS SOUS 5516830 HAS SOUPS 5443733 WITH SCORE 5467124.357
AT ITER 2326 NEW BEST:: SOT 33652084 SOS 23391357 HAS SOPS 22615961 HAS SOUS 5516674 HAS SOUPS 5443577 WITH SCORE 5466968.357
AT ITER 2327 NEW BEST:: SOT 33650448 SOS 23389184 HAS SOPS 22613788 HAS SOUS 5514501 HAS SOUPS 5441404 WITH SCORE 5464793.184
AT ITER 2328 NEW BEST:: SOT 33641026 SOS 23379762 HAS SOPS 22604282 HAS SOUS 5504918 HAS SOUPS 5431814 WITH SCORE 5455193.762
AT ITER 2332 NEW BEST:: SOT 33641026 SOS 23379693 HAS SOPS 22604213 HAS SOUS 5504849 HAS SOUPS 5431745 WITH SCORE 5455124.693
AT ITER 2335 NEW BEST:: SOT 33641026 SOS 23371739 HAS SOPS 22596118 HAS SOUS 5504481 HAS SOUPS 5431668 WITH SCORE 5455039.739
AT ITER 2339 NEW BEST:: SOT 33641026 SOS 23368327 HAS SOPS 22592718 HAS SOUS 5504374 HAS SOUPS 5431663 WITH SCORE 5455031.327
AT ITER 2341 NEW BEST:: SOT 33642805 SOS 23396398 HAS SOPS 22650182 HAS SOUS 5479108 HAS SOUPS 5406682 WITH SCORE 5430078.398
AT ITER 2342 NEW BEST:: SOT 33642782 SOS 23396375 HAS SOPS 22650159 HAS SOUS 5479085 HAS SOUPS 5406659 WITH SCORE 5430055.375
AT ITER 2343 NEW BEST:: SOT 33687898 SOS 23432398 HAS SOPS 22695419 HAS SOUS 5451309 HAS SOUPS 5379296 WITH SCORE 5402728.398
AT ITER 2346 NEW BEST:: SOT 33676686 SOS 23421269 HAS SOPS 22684207 HAS SOUS 5449014 HAS SOUPS 5376956 WITH SCORE 5400377.269
AT ITER 2347 NEW BEST:: SOT 33664406 SOS 23458106 HAS SOPS 22726327 HAS SOUS 5442561 HAS SOUPS 5370503 WITH SCORE 5393961.106
AT ITER 2351 NEW BEST:: SOT 33653217 SOS 23446917 HAS SOPS 22715138 HAS SOUS 5431418 HAS SOUPS 5359314 WITH SCORE 5382760.917
AT ITER 2358 NEW BEST:: SOT 33640863 SOS 23432222 HAS SOPS 22700359 HAS SOUS 5418943 HAS SOUPS 5346839 WITH SCORE 5370271.222
AT ITER 2367 NEW BEST:: SOT 33640863 SOS 23431834 HAS SOPS 22706791 HAS SOUS 5417071 HAS SOUPS 5344967 WITH SCORE 5368398.834
AT ITER 2370 NEW BEST:: SOT 33640863 SOS 23429097 HAS SOPS 22703776 HAS SOUS 5416642 HAS SOUPS 5344659 WITH SCORE 5368088.097
AT ITER 2371 NEW BEST:: SOT 33638584 SOS 23419633 HAS SOPS 22693497 HAS SOUS 5413468 HAS SOUPS 5341485 WITH SCORE 5364904.633
AT ITER 2372 NEW BEST:: SOT 33638524 SOS 23401335 HAS SOPS 22661478 HAS SOUS 5399369 HAS SOUPS 5327386 WITH SCORE 5350787.335
AT ITER 2383 NEW BEST:: SOT 33638524 SOS 23399115 HAS SOPS 22658885 HAS SOUS 5399055 HAS SOUPS 5326808 WITH SCORE 5350207.115
AT ITER 2384 NEW BEST:: SOT 33638524 SOS 23368081 HAS SOPS 22626323 HAS SOUS 5397041 HAS SOUPS 5324956 WITH SCORE 5348324.081
AT ITER 2392 NEW BEST:: SOT 33626231 SOS 23446564 HAS SOPS 22712349 HAS SOUS 5393788 HAS SOUPS 5321214 WITH SCORE 5344660.564
AT ITER 2395 NEW BEST:: SOT 33626231 SOS 23429107 HAS SOPS 22690949 HAS SOUS 5389631 HAS SOUPS 5317057 WITH SCORE 5340486.107
AT ITER 2397 NEW BEST:: SOT 33625478 SOS 23437686 HAS SOPS 22699988 HAS SOUS 5389306 HAS SOUPS 5316805 WITH SCORE 5340242.686
AT ITER 2400 NEW BEST:: SOT 33625478 SOS 23437686 HAS SOPS 22699965 HAS SOUS 5389260 HAS SOUPS 5316759 WITH SCORE 5340196.686
AT ITER 2403 NEW BEST:: SOT 33622648 SOS 23427134 HAS SOPS 22688980 HAS SOUS 5386001 HAS SOUPS 5313500 WITH SCORE 5336927.134
AT ITER 2404 NEW BEST:: SOT 33617727 SOS 23422213 HAS SOPS 22684059 HAS SOUS 5381149 HAS SOUPS 5308579 WITH SCORE 5332001.213
AT ITER 2408 NEW BEST:: SOT 33616753 SOS 23421239 HAS SOPS 22683085 HAS SOUS 5380175 HAS SOUPS 5307605 WITH SCORE 5331026.239
AT ITER 2410 NEW BEST:: SOT 33616753 SOS 23413867 HAS SOPS 22675485 HAS SOUS 5379871 HAS SOUPS 5307301 WITH SCORE 5330714.867
AT ITER 2411 NEW BEST:: SOT 33616753 SOS 23404013 HAS SOPS 22665037 HAS SOUS 5379177 HAS SOUPS 5306607 WITH SCORE 5330011.013
AT ITER 2414 NEW BEST:: SOT 33615654 SOS 23385172 HAS SOPS 22645764 HAS SOUS 5377920 HAS SOUPS 5304894 WITH SCORE 5328279.172
AT ITER 2422 NEW BEST:: SOT 33615654 SOS 23385172 HAS SOPS 22645597 HAS SOUS 5377753 HAS SOUPS 5304560 WITH SCORE 5327945.172
AT ITER 2424 NEW BEST:: SOT 33615654 SOS 23337633 HAS SOPS 22594185 HAS SOUS 5373750 HAS SOUPS 5300557 WITH SCORE 5323894.633
AT ITER 2425 NEW BEST:: SOT 33623043 SOS 23343179 HAS SOPS 22601574 HAS SOUS 5363242 HAS SOUPS 5290088 WITH SCORE 5313431.179
AT ITER 2427 NEW BEST:: SOT 33619437 SOS 23347527 HAS SOPS 22606635 HAS SOUS 5360722 HAS SOUPS 5287628 WITH SCORE 5310975.527
AT ITER 2431 NEW BEST:: SOT 33626029 SOS 23361835 HAS SOPS 22625689 HAS SOUS 5359846 HAS SOUPS 5286752 WITH SCORE 5310113.835
AT ITER 2436 NEW BEST:: SOT 33685719 SOS 23427801 HAS SOPS 22704472 HAS SOUS 5334434 HAS SOUPS 5261738 WITH SCORE 5285165.801
AT ITER 2449 NEW BEST:: SOT 33700419 SOS 23439745 HAS SOPS 22719330 HAS SOUS 5320606 HAS SOUPS 5248068 WITH SCORE 5271507.745
AT ITER 2452 NEW BEST:: SOT 33695419 SOS 23434768 HAS SOPS 22714330 HAS SOUS 5320171 HAS SOUPS 5247622 WITH SCORE 5271056.768
AT ITER 2453 NEW BEST:: SOT 33789567 SOS 23606284 HAS SOPS 22949527 HAS SOUS 5308053 HAS SOUPS 5235715 WITH SCORE 5259321.284
AT ITER 2467 NEW BEST:: SOT 33830395 SOS 23659701 HAS SOPS 23011360 HAS SOUS 5304206 HAS SOUPS 5232135 WITH SCORE 5255794.701
AT ITER 2476 NEW BEST:: SOT 33830879 SOS 23613084 HAS SOPS 22964136 HAS SOUS 5303945 HAS SOUPS 5231874 WITH SCORE 5255487.084
AT ITER 2477 NEW BEST:: SOT 33830298 SOS 23608585 HAS SOPS 22963555 HAS SOUS 5289682 HAS SOUPS 5217699 WITH SCORE 5241307.585
AT ITER 2484 NEW BEST:: SOT 33871779 SOS 23716336 HAS SOPS 23146590 HAS SOUS 5253431 HAS SOUPS 5181448 WITH SCORE 5205164.336
AT ITER 2485 NEW BEST:: SOT 33871779 SOS 23700233 HAS SOPS 23098955 HAS SOUS 5221586 HAS SOUPS 5149603 WITH SCORE 5173303.233
AT ITER 2486 NEW BEST:: SOT 33871779 SOS 23646387 HAS SOPS 23044038 HAS SOUS 5220238 HAS SOUPS 5148255 WITH SCORE 5171901.387
AT ITER 2494 NEW BEST:: SOT 33871779 SOS 23661702 HAS SOPS 23059297 HAS SOUS 5220158 HAS SOUPS 5147936 WITH SCORE 5171597.702
AT ITER 2497 NEW BEST:: SOT 33925325 SOS 23698300 HAS SOPS 23112843 HAS SOUS 5174852 HAS SOUPS 5103209 WITH SCORE 5126907.3
AT ITER 2502 NEW BEST:: SOT 33925325 SOS 23694218 HAS SOPS 23108833 HAS SOUS 5174802 HAS SOUPS 5103159 WITH SCORE 5126853.218
AT ITER 2503 NEW BEST:: SOT 33925325 SOS 23675018 HAS SOPS 23089344 HAS SOUS 5174626 HAS SOUPS 5102771 WITH SCORE 5126446.018
AT ITER 2509 NEW BEST:: SOT 33925325 SOS 23674996 HAS SOPS 23089322 HAS SOUS 5174604 HAS SOUPS 5102749 WITH SCORE 5126423.996
AT ITER 2510 NEW BEST:: SOT 33923180 SOS 23657841 HAS SOPS 23071377 HAS SOUS 5171761 HAS SOUPS 5099654 WITH SCORE 5123311.841
AT ITER 2516 NEW BEST:: SOT 33917190 SOS 23651871 HAS SOPS 23065387 HAS SOUS 5169151 HAS SOUPS 5097027 WITH SCORE 5120678.871
AT ITER 2519 NEW BEST:: SOT 33917190 SOS 23651321 HAS SOPS 23064825 HAS SOUS 5169133 HAS SOUPS 5097009 WITH SCORE 5120660.321
AT ITER 2520 NEW BEST:: SOT 33917190 SOS 23649745 HAS SOPS 23063217 HAS SOUS 5168802 HAS SOUPS 5096961 WITH SCORE 5120610.745
AT ITER 2522 NEW BEST:: SOT 33848186 SOS 23582081 HAS SOPS 22994121 HAS SOUS 5156874 HAS SOUPS 5084740 WITH SCORE 5108322.081
AT ITER 2526 NEW BEST:: SOT 33848065 SOS 23581960 HAS SOPS 22994000 HAS SOUS 5156753 HAS SOUPS 5084619 WITH SCORE 5108200.96
AT ITER 2530 NEW BEST:: SOT 33848065 SOS 23582131 HAS SOPS 22994072 HAS SOUS 5156832 HAS SOUPS 5084421 WITH SCORE 5108003.131
AT ITER 2533 NEW BEST:: SOT 33847659 SOS 23581725 HAS SOPS 22993666 HAS SOUS 5156426 HAS SOUPS 5084015 WITH SCORE 5107596.725
AT ITER 2536 NEW BEST:: SOT 33847659 SOS 23570319 HAS SOPS 22981866 HAS SOUS 5155914 HAS SOUPS 5083562 WITH SCORE 5107132.319
AT ITER 2537 NEW BEST:: SOT 33847659 SOS 23533167 HAS SOPS 22943274 HAS SOUS 5154090 HAS SOUPS 5081738 WITH SCORE 5105271.167
AT ITER 2540 NEW BEST:: SOT 33847659 SOS 23533189 HAS SOPS 22943274 HAS SOUS 5154090 HAS SOUPS 5081716 WITH SCORE 5105249.189
AT ITER 2549 NEW BEST:: SOT 33847659 SOS 23510256 HAS SOPS 22906474 HAS SOUS 5139855 HAS SOUPS 5067665 WITH SCORE 5091175.256
AT ITER 2557 NEW BEST:: SOT 33848558 SOS 23501195 HAS SOPS 22920755 HAS SOUS 5104843 HAS SOUPS 5032653 WITH SCORE 5056154.195
AT ITER 2558 NEW BEST:: SOT 33846014 SOS 23456857 HAS SOPS 22865717 HAS SOUS 5090585 HAS SOUPS 5018889 WITH SCORE 5042345.857
AT ITER 2560 NEW BEST:: SOT 33846014 SOS 23454867 HAS SOPS 22863727 HAS SOUS 5090565 HAS SOUPS 5018879 WITH SCORE 5042333.867
AT ITER 2562 NEW BEST:: SOT 33846014 SOS 23448280 HAS SOPS 22857094 HAS SOUS 5090453 HAS SOUPS 5018767 WITH SCORE 5042215.28
AT ITER 2572 NEW BEST:: SOT 33846014 SOS 23413868 HAS SOPS 22821904 HAS SOUS 5089538 HAS SOUPS 5017624 WITH SCORE 5041037.868
AT ITER 2584 NEW BEST:: SOT 33845908 SOS 23413762 HAS SOPS 22821798 HAS SOUS 5089432 HAS SOUPS 5017518 WITH SCORE 5040931.762
AT ITER 2585 NEW BEST:: SOT 33845908 SOS 23413762 HAS SOPS 22821672 HAS SOUS 5089306 HAS SOUPS 5017266 WITH SCORE 5040679.762
AT ITER 2588 NEW BEST:: SOT 33839905 SOS 23407759 HAS SOPS 22815669 HAS SOUS 5083659 HAS SOUPS 5011263 WITH SCORE 5034670.759
AT ITER 2591 NEW BEST:: SOT 33839929 SOS 23407210 HAS SOPS 22815090 HAS SOUS 5083285 HAS SOUPS 5011251 WITH SCORE 5034658.21
AT ITER 2597 NEW BEST:: SOT 33839929 SOS 23407210 HAS SOPS 22814961 HAS SOUS 5083156 HAS SOUPS 5010993 WITH SCORE 5034400.21
AT ITER 2598 NEW BEST:: SOT 33841290 SOS 23408472 HAS SOPS 22816331 HAS SOUS 5082834 HAS SOUPS 5010680 WITH SCORE 5034088.472
AT ITER 2605 NEW BEST:: SOT 33841290 SOS 23400535 HAS SOPS 22807931 HAS SOUS 5082287 HAS SOUPS 5010133 WITH SCORE 5033533.535
AT ITER 2607 NEW BEST:: SOT 33859231 SOS 23409653 HAS SOPS 22826072 HAS SOUS 5048451 HAS SOUPS 4976801 WITH SCORE 5000210.653
AT ITER 2609 NEW BEST:: SOT 33859269 SOS 23409354 HAS SOPS 22825713 HAS SOUS 5048092 HAS SOUPS 4976442 WITH SCORE 4999851.354
AT ITER 2610 NEW BEST:: SOT 33859269 SOS 23406793 HAS SOPS 22822973 HAS SOUS 5047760 HAS SOUPS 4976110 WITH SCORE 4999516.793
AT ITER 2612 NEW BEST:: SOT 33940667 SOS 23477209 HAS SOPS 22904494 HAS SOUS 5021663 HAS SOUPS 4950729 WITH SCORE 4974206.209
AT ITER 2613 NEW BEST:: SOT 33899516 SOS 23402970 HAS SOPS 22797725 HAS SOUS 5013926 HAS SOUPS 4942659 WITH SCORE 4966061.97
AT ITER 2619 NEW BEST:: SOT 33923191 SOS 23423450 HAS SOPS 22821400 HAS SOUS 4997796 HAS SOUPS 4926744 WITH SCORE 4950167.45
AT ITER 2622 NEW BEST:: SOT 33923191 SOS 23419675 HAS SOPS 22817631 HAS SOUS 4997789 HAS SOUPS 4926737 WITH SCORE 4950156.675
AT ITER 2623 NEW BEST:: SOT 33909288 SOS 23327130 HAS SOPS 22701620 HAS SOUS 4959545 HAS SOUPS 4888352 WITH SCORE 4911679.13
AT ITER 2632 NEW BEST:: SOT 33906230 SOS 23324072 HAS SOPS 22698562 HAS SOUS 4956487 HAS SOUPS 4885294 WITH SCORE 4908618.072
AT ITER 2633 NEW BEST:: SOT 33901363 SOS 23319205 HAS SOPS 22693695 HAS SOUS 4951620 HAS SOUPS 4880427 WITH SCORE 4903746.205
AT ITER 2634 NEW BEST:: SOT 33901357 SOS 23319199 HAS SOPS 22693689 HAS SOUS 4951614 HAS SOUPS 4880421 WITH SCORE 4903740.199
AT ITER 2636 NEW BEST:: SOT 33890004 SOS 23307846 HAS SOPS 22682336 HAS SOUS 4940261 HAS SOUPS 4869068 WITH SCORE 4892375.846
AT ITER 2641 NEW BEST:: SOT 33887517 SOS 23323363 HAS SOPS 22698341 HAS SOUS 4938878 HAS SOUPS 4867253 WITH SCORE 4890576.363
AT ITER 2644 NEW BEST:: SOT 33887517 SOS 23323094 HAS SOPS 22698023 HAS SOUS 4938478 HAS SOUPS 4867155 WITH SCORE 4890478.094
AT ITER 2646 NEW BEST:: SOT 33920840 SOS 23354610 HAS SOPS 22731346 HAS SOUS 4936808 HAS SOUPS 4865669 WITH SCORE 4889023.61
AT ITER 2655 NEW BEST:: SOT 33920840 SOS 23354610 HAS SOPS 22731290 HAS SOUS 4936752 HAS SOUPS 4865557 WITH SCORE 4888911.61
AT ITER 2656 NEW BEST:: SOT 33920840 SOS 23357265 HAS SOPS 22733814 HAS SOUS 4936649 HAS SOUPS 4865309 WITH SCORE 4888666.265
AT ITER 2657 NEW BEST:: SOT 33920840 SOS 23334046 HAS SOPS 22710306 HAS SOUS 4936612 HAS SOUPS 4865272 WITH SCORE 4888606.046
AT ITER 2662 NEW BEST:: SOT 33835093 SOS 23250738 HAS SOPS 22624559 HAS SOUS 4920226 HAS SOUPS 4848527 WITH SCORE 4871777.738
AT ITER 2663 NEW BEST:: SOT 33835093 SOS 23235171 HAS SOPS 22607295 HAS SOUS 4918211 HAS SOUPS 4846481 WITH SCORE 4869716.171
AT ITER 2669 NEW BEST:: SOT 33835093 SOS 23223499 HAS SOPS 22591038 HAS SOUS 4913464 HAS SOUPS 4841734 WITH SCORE 4864957.499
AT ITER 2671 NEW BEST:: SOT 33831407 SOS 23219727 HAS SOPS 22587266 HAS SOUS 4909692 HAS SOUPS 4837962 WITH SCORE 4861181.727
AT ITER 2672 NEW BEST:: SOT 33831407 SOS 23148261 HAS SOPS 22508182 HAS SOUS 4901676 HAS SOUPS 4829946 WITH SCORE 4853094.261
AT ITER 2674 NEW BEST:: SOT 33831407 SOS 23146116 HAS SOPS 22505971 HAS SOUS 4901423 HAS SOUPS 4829858 WITH SCORE 4853004.116
AT ITER 2676 NEW BEST:: SOT 33874618 SOS 23246462 HAS SOPS 22640436 HAS SOUS 4879861 HAS SOUPS 4808795 WITH SCORE 4832041.462
AT ITER 2679 NEW BEST:: SOT 33874618 SOS 23240293 HAS SOPS 22634267 HAS SOUS 4879830 HAS SOUPS 4808764 WITH SCORE 4832004.293
AT ITER 2684 NEW BEST:: SOT 33911046 SOS 23268154 HAS SOPS 22670944 HAS SOUS 4847523 HAS SOUPS 4776846 WITH SCORE 4800114.154
AT ITER 2686 NEW BEST:: SOT 33911046 SOS 23246118 HAS SOPS 22647979 HAS SOUS 4846623 HAS SOUPS 4775439 WITH SCORE 4798685.118
AT ITER 2687 NEW BEST:: SOT 33899032 SOS 23192254 HAS SOPS 22583765 HAS SOUS 4823737 HAS SOUPS 4752553 WITH SCORE 4775745.254
AT ITER 2688 NEW BEST:: SOT 33942615 SOS 23244469 HAS SOPS 22643148 HAS SOUS 4812846 HAS SOUPS 4741971 WITH SCORE 4765215.469
AT ITER 2693 NEW BEST:: SOT 33942615 SOS 23210070 HAS SOPS 22608097 HAS SOUS 4811484 HAS SOUPS 4741292 WITH SCORE 4764502.07
AT ITER 2695 NEW BEST:: SOT 33942615 SOS 23209710 HAS SOPS 22607697 HAS SOUS 4811440 HAS SOUPS 4741248 WITH SCORE 4764457.71
AT ITER 2701 NEW BEST:: SOT 33942615 SOS 23209635 HAS SOPS 22607626 HAS SOUS 4811373 HAS SOUPS 4741181 WITH SCORE 4764390.635
AT ITER 2703 NEW BEST:: SOT 33942615 SOS 23189976 HAS SOPS 22587404 HAS SOUS 4810488 HAS SOUPS 4740296 WITH SCORE 4763485.976
AT ITER 2706 NEW BEST:: SOT 33936434 SOS 23183795 HAS SOPS 22581223 HAS SOUS 4804307 HAS SOUPS 4734115 WITH SCORE 4757298.795
AT ITER 2709 NEW BEST:: SOT 33936434 SOS 23183795 HAS SOPS 22581167 HAS SOUS 4804251 HAS SOUPS 4734003 WITH SCORE 4757186.795
AT ITER 2716 NEW BEST:: SOT 33926622 SOS 23174147 HAS SOPS 22571519 HAS SOUS 4794603 HAS SOUPS 4724355 WITH SCORE 4747529.147
AT ITER 2721 NEW BEST:: SOT 33926475 SOS 23163569 HAS SOPS 22558572 HAS SOUS 4791959 HAS SOUPS 4721711 WITH SCORE 4744874.569
AT ITER 2723 NEW BEST:: SOT 33926475 SOS 23164027 HAS SOPS 22558989 HAS SOUS 4792376 HAS SOUPS 4721670 WITH SCORE 4744834.027
AT ITER 2726 NEW BEST:: SOT 33926000 SOS 23163552 HAS SOPS 22558459 HAS SOUS 4791846 HAS SOUPS 4721085 WITH SCORE 4744248.552
AT ITER 2741 NEW BEST:: SOT 33926000 SOS 23163407 HAS SOPS 22558169 HAS SOUS 4791556 HAS SOUPS 4720795 WITH SCORE 4743958.407
AT ITER 2742 NEW BEST:: SOT 33926000 SOS 23152393 HAS SOPS 22546987 HAS SOUS 4791276 HAS SOUPS 4720589 WITH SCORE 4743741.393
AT ITER 2746 NEW BEST:: SOT 33926000 SOS 23145311 HAS SOPS 22539800 HAS SOUS 4790949 HAS SOUPS 4720262 WITH SCORE 4743407.311
AT ITER 2747 NEW BEST:: SOT 33926000 SOS 23145231 HAS SOPS 22539720 HAS SOUS 4790869 HAS SOUPS 4720182 WITH SCORE 4743327.231
AT ITER 2753 NEW BEST:: SOT 33926000 SOS 23132805 HAS SOPS 22526576 HAS SOUS 4790032 HAS SOUPS 4719376 WITH SCORE 4742508.805
AT ITER 2755 NEW BEST:: SOT 33926000 SOS 23072000 HAS SOPS 22461610 HAS SOUS 4785560 HAS SOUPS 4714904 WITH SCORE 4737976.0
AT ITER 2756 NEW BEST:: SOT 33972838 SOS 23138674 HAS SOPS 22540994 HAS SOUS 4778632 HAS SOUPS 4708310 WITH SCORE 4731448.674
AT ITER 2766 NEW BEST:: SOT 33972838 SOS 23137975 HAS SOPS 22540218 HAS SOUS 4778610 HAS SOUPS 4708225 WITH SCORE 4731362.975
AT ITER 2770 NEW BEST:: SOT 33972838 SOS 23106066 HAS SOPS 22508069 HAS SOUS 4778349 HAS SOUPS 4708013 WITH SCORE 4731119.066
AT ITER 2778 NEW BEST:: SOT 33972838 SOS 22997681 HAS SOPS 22387809 HAS SOUS 4765469 HAS SOUPS 4695079 WITH SCORE 4718076.681
AT ITER 2780 NEW BEST:: SOT 33983247 SOS 23007197 HAS SOPS 22409740 HAS SOUS 4724187 HAS SOUPS 4654203 WITH SCORE 4677210.197
AT ITER 2797 NEW BEST:: SOT 34041072 SOS 23067800 HAS SOPS 22477965 HAS SOUS 4686738 HAS SOUPS 4617269 WITH SCORE 4640336.8
AT ITER 2800 NEW BEST:: SOT 34022552 SOS 23082869 HAS SOPS 22493816 HAS SOUS 4669342 HAS SOUPS 4599873 WITH SCORE 4622955.869
AT ITER 2801 NEW BEST:: SOT 34021434 SOS 23081400 HAS SOPS 22491996 HAS SOUS 4667522 HAS SOUPS 4598053 WITH SCORE 4621134.4
AT ITER 2807 NEW BEST:: SOT 34020174 SOS 23080140 HAS SOPS 22490736 HAS SOUS 4666262 HAS SOUPS 4596793 WITH SCORE 4619873.14
AT ITER 2812 NEW BEST:: SOT 34020174 SOS 23062093 HAS SOPS 22470017 HAS SOUS 4663463 HAS SOUPS 4593994 WITH SCORE 4617056.093
AT ITER 2813 NEW BEST:: SOT 34020174 SOS 23052950 HAS SOPS 22458537 HAS SOUS 4660822 HAS SOUPS 4591353 WITH SCORE 4614405.95
AT ITER 2816 NEW BEST:: SOT 34115140 SOS 23137983 HAS SOPS 22554311 HAS SOUS 4646744 HAS SOUPS 4577876 WITH SCORE 4601013.983
AT ITER 2821 NEW BEST:: SOT 34115140 SOS 23116904 HAS SOPS 22533097 HAS SOUS 4646395 HAS SOUPS 4577713 WITH SCORE 4600829.904
AT ITER 2822 NEW BEST:: SOT 34117322 SOS 23127251 HAS SOPS 22552195 HAS SOUS 4627696 HAS SOUPS 4559163 WITH SCORE 4582290.251
AT ITER 2824 NEW BEST:: SOT 34117322 SOS 23127144 HAS SOPS 22551981 HAS SOUS 4627482 HAS SOUPS 4558949 WITH SCORE 4582076.144
AT ITER 2826 NEW BEST:: SOT 34117269 SOS 23127091 HAS SOPS 22551939 HAS SOUS 4627440 HAS SOUPS 4558918 WITH SCORE 4582045.091
AT ITER 2835 NEW BEST:: SOT 34117269 SOS 23076767 HAS SOPS 22477911 HAS SOUS 4603296 HAS SOUPS 4534842 WITH SCORE 4557918.767
AT ITER 2836 NEW BEST:: SOT 34091351 SOS 23050849 HAS SOPS 22451993 HAS SOUS 4577378 HAS SOUPS 4508924 WITH SCORE 4531974.849
AT ITER 2842 NEW BEST:: SOT 34091346 SOS 23050826 HAS SOPS 22451970 HAS SOUS 4577355 HAS SOUPS 4508901 WITH SCORE 4531951.826
AT ITER 2844 NEW BEST:: SOT 34101882 SOS 23060452 HAS SOPS 22462506 HAS SOUS 4574201 HAS SOUPS 4505820 WITH SCORE 4528880.452
AT ITER 2847 NEW BEST:: SOT 34090188 SOS 23058442 HAS SOPS 22460429 HAS SOUS 4562329 HAS SOUPS 4493885 WITH SCORE 4516943.442
AT ITER 2849 NEW BEST:: SOT 34090188 SOS 23035609 HAS SOPS 22433429 HAS SOUS 4558027 HAS SOUPS 4489583 WITH SCORE 4512618.609
AT ITER 2860 NEW BEST:: SOT 34138265 SOS 23075651 HAS SOPS 22481564 HAS SOUS 4511051 HAS SOUPS 4443127 WITH SCORE 4466202.651
AT ITER 2864 NEW BEST:: SOT 34138265 SOS 23071686 HAS SOPS 22477544 HAS SOUS 4510956 HAS SOUPS 4443032 WITH SCORE 4466103.686
AT ITER 2867 NEW BEST:: SOT 34138265 SOS 23071652 HAS SOPS 22477476 HAS SOUS 4510888 HAS SOUPS 4442964 WITH SCORE 4466035.652
AT ITER 2880 NEW BEST:: SOT 34138055 SOS 23071442 HAS SOPS 22477266 HAS SOUS 4510678 HAS SOUPS 4442754 WITH SCORE 4465825.442
AT ITER 2884 NEW BEST:: SOT 34126848 SOS 23060235 HAS SOPS 22466059 HAS SOUS 4499471 HAS SOUPS 4431547 WITH SCORE 4454607.235
AT ITER 2887 NEW BEST:: SOT 34126848 SOS 23051685 HAS SOPS 22457502 HAS SOUS 4499378 HAS SOUPS 4431497 WITH SCORE 4454548.685
AT ITER 2892 NEW BEST:: SOT 34126848 SOS 23010460 HAS SOPS 22414702 HAS SOUS 4497375 HAS SOUPS 4429494 WITH SCORE 4452504.46
AT ITER 2893 NEW BEST:: SOT 34132570 SOS 23015824 HAS SOPS 22420458 HAS SOUS 4496723 HAS SOUPS 4428876 WITH SCORE 4451891.824
AT ITER 2894 NEW BEST:: SOT 34132543 SOS 23009640 HAS SOPS 22414119 HAS SOUS 4496479 HAS SOUPS 4428632 WITH SCORE 4451641.64
AT ITER 2899 NEW BEST:: SOT 34129158 SOS 23006255 HAS SOPS 22410734 HAS SOUS 4493094 HAS SOUPS 4425247 WITH SCORE 4448253.255
AT ITER 2901 NEW BEST:: SOT 34129158 SOS 22964952 HAS SOPS 22369134 HAS SOUS 4492123 HAS SOUPS 4424742 WITH SCORE 4447706.952
AT ITER 2909 NEW BEST:: SOT 34129072 SOS 22964866 HAS SOPS 22369048 HAS SOUS 4492037 HAS SOUPS 4424656 WITH SCORE 4447620.866
AT ITER 2911 NEW BEST:: SOT 34148128 SOS 22976942 HAS SOPS 22388168 HAS SOUS 4462801 HAS SOUPS 4395697 WITH SCORE 4418673.942
AT ITER 2912 NEW BEST:: SOT 34147946 SOS 22976760 HAS SOPS 22387986 HAS SOUS 4462619 HAS SOUPS 4395515 WITH SCORE 4418491.76
AT ITER 2916 NEW BEST:: SOT 34138074 SOS 23041946 HAS SOPS 22457727 HAS SOUS 4457984 HAS SOUPS 4390809 WITH SCORE 4413850.946
AT ITER 2919 NEW BEST:: SOT 34138074 SOS 22983069 HAS SOPS 22397821 HAS SOUS 4456617 HAS SOUPS 4389442 WITH SCORE 4412425.069
AT ITER 2920 NEW BEST:: SOT 34130867 SOS 22975862 HAS SOPS 22390614 HAS SOUS 4449410 HAS SOUPS 4382235 WITH SCORE 4405210.862
AT ITER 2924 NEW BEST:: SOT 34120559 SOS 22972142 HAS SOPS 22387075 HAS SOUS 4439351 HAS SOUPS 4372176 WITH SCORE 4395148.142
AT ITER 2933 NEW BEST:: SOT 34120717 SOS 22972437 HAS SOPS 22387234 HAS SOUS 4439660 HAS SOUPS 4372062 WITH SCORE 4395034.437
AT ITER 2937 NEW BEST:: SOT 34120717 SOS 22949606 HAS SOPS 22362511 HAS SOUS 4437522 HAS SOUPS 4369924 WITH SCORE 4392873.606
AT ITER 2940 NEW BEST:: SOT 34120717 SOS 22945126 HAS SOPS 22357711 HAS SOUS 4437154 HAS SOUPS 4369556 WITH SCORE 4392501.126
AT ITER 2942 NEW BEST:: SOT 34120717 SOS 22950343 HAS SOPS 22362803 HAS SOUS 4436929 HAS SOUPS 4369331 WITH SCORE 4392281.343
AT ITER 2945 NEW BEST:: SOT 34120843 SOS 22950469 HAS SOPS 22362817 HAS SOUS 4436943 HAS SOUPS 4369233 WITH SCORE 4392183.469
AT ITER 2946 NEW BEST:: SOT 34120843 SOS 22929393 HAS SOPS 22338295 HAS SOUS 4433121 HAS SOUPS 4365543 WITH SCORE 4388472.393
AT ITER 2947 NEW BEST:: SOT 34142107 SOS 22948036 HAS SOPS 22359734 HAS SOUS 4422181 HAS SOUPS 4354953 WITH SCORE 4377901.036
AT ITER 2952 NEW BEST:: SOT 34142107 SOS 22945966 HAS SOPS 22357216 HAS SOUS 4421799 HAS SOUPS 4354571 WITH SCORE 4377516.966
AT ITER 2974 NEW BEST:: SOT 34142107 SOS 22942814 HAS SOPS 22354036 HAS SOUS 4421739 HAS SOUPS 4354527 WITH SCORE 4377469.814
AT ITER 2987 NEW BEST:: SOT 34122932 SOS 22923976 HAS SOPS 22334861 HAS SOUS 4417827 HAS SOUPS 4350537 WITH SCORE 4373460.976
AT ITER 2993 NEW BEST:: SOT 34119468 SOS 22938636 HAS SOPS 22350160 HAS SOUS 4415264 HAS SOUPS 4348167 WITH SCORE 4371105.636
AT ITER 2994 NEW BEST:: SOT 34150846 SOS 22965903 HAS SOPS 22381538 HAS SOUS 4398753 HAS SOUPS 4331916 WITH SCORE 4354881.903
AT ITER 3000 NEW BEST:: SOT 34172853 SOS 22987550 HAS SOPS 22403545 HAS SOUS 4391320 HAS SOUPS 4324632 WITH SCORE 4347619.55
AT ITER 3003 NEW BEST:: SOT 34154091 SOS 22968788 HAS SOPS 22384783 HAS SOUS 4372558 HAS SOUPS 4305870 WITH SCORE 4328838.788
AT ITER 3008 NEW BEST:: SOT 34177518 SOS 23035208 HAS SOPS 22472186 HAS SOUS 4317262 HAS SOUPS 4251076 WITH SCORE 4274111.208
AT ITER 3011 NEW BEST:: SOT 34177518 SOS 23027784 HAS SOPS 22464548 HAS SOUS 4316972 HAS SOUPS 4250786 WITH SCORE 4273813.784
AT ITER 3013 NEW BEST:: SOT 34177518 SOS 23029326 HAS SOPS 22465900 HAS SOUS 4316569 HAS SOUPS 4250383 WITH SCORE 4273412.326
AT ITER 3015 NEW BEST:: SOT 34177518 SOS 23029057 HAS SOPS 22465422 HAS SOUS 4316151 HAS SOUPS 4249965 WITH SCORE 4272994.057
AT ITER 3016 NEW BEST:: SOT 34150648 SOS 23003311 HAS SOPS 22438552 HAS SOUS 4315357 HAS SOUPS 4249035 WITH SCORE 4272038.311
AT ITER 3018 NEW BEST:: SOT 34150648 SOS 23001969 HAS SOPS 22437168 HAS SOUS 4315317 HAS SOUPS 4248986 WITH SCORE 4271987.969
AT ITER 3020 NEW BEST:: SOT 34150648 SOS 23001813 HAS SOPS 22437012 HAS SOUS 4315317 HAS SOUPS 4248986 WITH SCORE 4271987.813
AT ITER 3023 NEW BEST:: SOT 34150648 SOS 22989933 HAS SOPS 22425012 HAS SOUS 4315077 HAS SOUPS 4248806 WITH SCORE 4271795.933
AT ITER 3031 NEW BEST:: SOT 34186848 SOS 23065582 HAS SOPS 22521752 HAS SOUS 4305009 HAS SOUPS 4239078 WITH SCORE 4262143.582
AT ITER 3033 NEW BEST:: SOT 34190919 SOS 23068650 HAS SOPS 22525889 HAS SOUS 4293815 HAS SOUPS 4227966 WITH SCORE 4251034.65
AT ITER 3034 NEW BEST:: SOT 34190919 SOS 23040905 HAS SOPS 22497693 HAS SOUS 4293504 HAS SOUPS 4227655 WITH SCORE 4250695.905
AT ITER 3035 NEW BEST:: SOT 34197720 SOS 23047063 HAS SOPS 22504494 HAS SOUS 4285948 HAS SOUPS 4220174 WITH SCORE 4243221.063
AT ITER 3037 NEW BEST:: SOT 34197720 SOS 23044896 HAS SOPS 22502294 HAS SOUS 4286042 HAS SOUPS 4220119 WITH SCORE 4243163.896
AT ITER 3043 NEW BEST:: SOT 34197720 SOS 23036622 HAS SOPS 22493894 HAS SOUS 4285832 HAS SOUPS 4219909 WITH SCORE 4242945.622
AT ITER 3046 NEW BEST:: SOT 34197720 SOS 23036458 HAS SOPS 22493730 HAS SOUS 4285677 HAS SOUPS 4219745 WITH SCORE 4242781.458
AT ITER 3049 NEW BEST:: SOT 34197693 SOS 22997560 HAS SOPS 22454127 HAS SOUS 4284578 HAS SOUPS 4218839 WITH SCORE 4241836.56
AT ITER 3056 NEW BEST:: SOT 34197693 SOS 22996871 HAS SOPS 22452727 HAS SOUS 4283860 HAS SOUPS 4218121 WITH SCORE 4241117.871
AT ITER 3070 NEW BEST:: SOT 34197693 SOS 22981283 HAS SOPS 22436446 HAS SOUS 4283005 HAS SOUPS 4217266 WITH SCORE 4240247.283
AT ITER 3073 NEW BEST:: SOT 34197693 SOS 22981196 HAS SOPS 22436359 HAS SOUS 4282918 HAS SOUPS 4217179 WITH SCORE 4240160.196
AT ITER 3076 NEW BEST:: SOT 34159619 SOS 22944386 HAS SOPS 22398285 HAS SOUS 4279780 HAS SOUPS 4213860 WITH SCORE 4236804.386
AT ITER 3077 NEW BEST:: SOT 34159619 SOS 22910931 HAS SOPS 22352685 HAS SOUS 4267179 HAS SOUPS 4201259 WITH SCORE 4224169.931
AT ITER 3084 NEW BEST:: SOT 34159619 SOS 22895128 HAS SOPS 22336686 HAS SOUS 4266823 HAS SOUPS 4200983 WITH SCORE 4223878.128
AT ITER 3087 NEW BEST:: SOT 34159619 SOS 22890551 HAS SOPS 22332109 HAS SOUS 4266800 HAS SOUPS 4200960 WITH SCORE 4223850.551
AT ITER 3089 NEW BEST:: SOT 34157704 SOS 22952364 HAS SOPS 22394818 HAS SOUS 4266613 HAS SOUPS 4200235 WITH SCORE 4223187.364
AT ITER 3092 NEW BEST:: SOT 34157704 SOS 22957881 HAS SOPS 22400308 HAS SOUS 4266587 HAS SOUPS 4200209 WITH SCORE 4223166.881
AT ITER 3099 NEW BEST:: SOT 34156683 SOS 22974000 HAS SOPS 22416732 HAS SOUS 4265736 HAS SOUPS 4199494 WITH SCORE 4222468.0
AT ITER 3101 NEW BEST:: SOT 34154602 SOS 22966645 HAS SOPS 22400851 HAS SOUS 4254991 HAS SOUPS 4188749 WITH SCORE 4211715.645
AT ITER 3107 NEW BEST:: SOT 34154572 SOS 22966639 HAS SOPS 22400845 HAS SOUS 4254985 HAS SOUPS 4188743 WITH SCORE 4211709.639
AT ITER 3111 NEW BEST:: SOT 34154572 SOS 22966639 HAS SOPS 22400721 HAS SOUS 4254861 HAS SOUPS 4188495 WITH SCORE 4211461.639
AT ITER 3120 NEW BEST:: SOT 34154643 SOS 22966710 HAS SOPS 22400658 HAS SOUS 4254798 HAS SOUPS 4188298 WITH SCORE 4211264.71
AT ITER 3123 NEW BEST:: SOT 34154643 SOS 22966710 HAS SOPS 22400647 HAS SOUS 4254787 HAS SOUPS 4188276 WITH SCORE 4211242.71
AT ITER 3126 NEW BEST:: SOT 34143145 SOS 22955212 HAS SOPS 22389149 HAS SOUS 4243289 HAS SOUPS 4176778 WITH SCORE 4199733.212
AT ITER 3136 NEW BEST:: SOT 34144539 SOS 22901474 HAS SOPS 22305898 HAS SOUS 4214723 HAS SOUPS 4148342 WITH SCORE 4171243.474
AT ITER 3147 NEW BEST:: SOT 34144539 SOS 22859736 HAS SOPS 22253113 HAS SOUS 4203457 HAS SOUPS 4136767 WITH SCORE 4159626.736
AT ITER 3148 NEW BEST:: SOT 34144539 SOS 22859541 HAS SOPS 22252913 HAS SOUS 4203451 HAS SOUPS 4136761 WITH SCORE 4159620.541
AT ITER 3149 NEW BEST:: SOT 34144539 SOS 22869703 HAS SOPS 22262992 HAS SOUS 4203470 HAS SOUPS 4136608 WITH SCORE 4159477.703
AT ITER 3153 NEW BEST:: SOT 34144539 SOS 22869703 HAS SOPS 22262947 HAS SOUS 4203425 HAS SOUPS 4136518 WITH SCORE 4159387.703
AT ITER 3156 NEW BEST:: SOT 34144539 SOS 22856925 HAS SOPS 22249947 HAS SOUS 4203073 HAS SOUPS 4136166 WITH SCORE 4159022.925
AT ITER 3161 NEW BEST:: SOT 34142296 SOS 22854682 HAS SOPS 22247704 HAS SOUS 4200830 HAS SOUPS 4133923 WITH SCORE 4156777.682
AT ITER 3163 NEW BEST:: SOT 34142296 SOS 22860770 HAS SOPS 22253826 HAS SOUS 4200783 HAS SOUPS 4133844 WITH SCORE 4156704.77
AT ITER 3166 NEW BEST:: SOT 34142296 SOS 22860770 HAS SOPS 22253512 HAS SOUS 4200469 HAS SOUPS 4133216 WITH SCORE 4156076.77
AT ITER 3171 NEW BEST:: SOT 34142296 SOS 22851057 HAS SOPS 22243663 HAS SOUS 4200151 HAS SOUPS 4132982 WITH SCORE 4155833.057
AT ITER 3179 NEW BEST:: SOT 34168684 SOS 22868914 HAS SOPS 22270386 HAS SOUS 4168405 HAS SOUPS 4101906 WITH SCORE 4124774.914
AT ITER 3184 NEW BEST:: SOT 34168684 SOS 22868833 HAS SOPS 22270305 HAS SOUS 4168324 HAS SOUPS 4101825 WITH SCORE 4124693.833
AT ITER 3185 NEW BEST:: SOT 34168465 SOS 22868853 HAS SOPS 22270240 HAS SOUS 4168259 HAS SOUPS 4101513 WITH SCORE 4124381.853
AT ITER 3187 NEW BEST:: SOT 34168465 SOS 22868631 HAS SOPS 22269874 HAS SOUS 4168159 HAS SOUPS 4101147 WITH SCORE 4124015.631
AT ITER 3193 NEW BEST:: SOT 34168096 SOS 22844571 HAS SOPS 22231315 HAS SOUS 4153098 HAS SOUPS 4085899 WITH SCORE 4108743.571
AT ITER 3201 NEW BEST:: SOT 34168096 SOS 22837737 HAS SOPS 22223638 HAS SOUS 4152179 HAS SOUPS 4084941 WITH SCORE 4107778.737
AT ITER 3207 NEW BEST:: SOT 34171090 SOS 22851362 HAS SOPS 22246933 HAS SOUS 4126245 HAS SOUPS 4059201 WITH SCORE 4082052.362
AT ITER 3208 NEW BEST:: SOT 34171090 SOS 22844856 HAS SOPS 22240366 HAS SOUS 4126151 HAS SOUPS 4059107 WITH SCORE 4081951.856
AT ITER 3211 NEW BEST:: SOT 34170939 SOS 22725136 HAS SOPS 22099695 HAS SOUS 4103413 HAS SOUPS 4036843 WITH SCORE 4059568.136
AT ITER 3213 NEW BEST:: SOT 34170939 SOS 22719869 HAS SOPS 22094123 HAS SOUS 4103080 HAS SOUPS 4036510 WITH SCORE 4059229.869
AT ITER 3222 NEW BEST:: SOT 34170939 SOS 22705568 HAS SOPS 22079725 HAS SOUS 4102841 HAS SOUPS 4036332 WITH SCORE 4059037.568
AT ITER 3228 NEW BEST:: SOT 34170939 SOS 22701234 HAS SOPS 22075325 HAS SOUS 4102731 HAS SOUPS 4036222 WITH SCORE 4058923.234
AT ITER 3249 NEW BEST:: SOT 34170939 SOS 22711074 HAS SOPS 22085043 HAS SOUS 4102695 HAS SOUPS 4036137 WITH SCORE 4058848.074
AT ITER 3253 NEW BEST:: SOT 34170939 SOS 22697669 HAS SOPS 22070441 HAS SOUS 4101449 HAS SOUPS 4034891 WITH SCORE 4057588.669
AT ITER 3254 NEW BEST:: SOT 34170939 SOS 22638354 HAS SOPS 22010314 HAS SOUS 4100427 HAS SOUPS 4033869 WITH SCORE 4056507.354
AT ITER 3258 NEW BEST:: SOT 34170026 SOS 22637441 HAS SOPS 22009401 HAS SOUS 4099514 HAS SOUPS 4032956 WITH SCORE 4055593.441
AT ITER 3267 NEW BEST:: SOT 34167938 SOS 22636637 HAS SOPS 22008720 HAS SOUS 4097581 HAS SOUPS 4031005 WITH SCORE 4053641.637
AT ITER 3270 NEW BEST:: SOT 34167938 SOS 22628074 HAS SOPS 21999072 HAS SOUS 4096400 HAS SOUPS 4029824 WITH SCORE 4052452.074
AT ITER 3278 NEW BEST:: SOT 34167938 SOS 22610233 HAS SOPS 21980475 HAS SOUS 4095458 HAS SOUPS 4028885 WITH SCORE 4051495.233
AT ITER 3279 NEW BEST:: SOT 34167938 SOS 22610233 HAS SOPS 21980316 HAS SOUS 4095299 HAS SOUPS 4028567 WITH SCORE 4051177.233
AT ITER 3289 NEW BEST:: SOT 34167938 SOS 22607486 HAS SOPS 21977372 HAS SOUS 4095296 HAS SOUPS 4028564 WITH SCORE 4051171.486
AT ITER 3292 NEW BEST:: SOT 34167938 SOS 22589691 HAS SOPS 21956772 HAS SOUS 4092285 HAS SOUPS 4025553 WITH SCORE 4048142.691
AT ITER 3300 NEW BEST:: SOT 34167938 SOS 22588903 HAS SOPS 21955942 HAS SOUS 4092235 HAS SOUPS 4025477 WITH SCORE 4048065.903
AT ITER 3315 NEW BEST:: SOT 34147769 SOS 22569341 HAS SOPS 21935773 HAS SOUS 4089259 HAS SOUPS 4022412 WITH SCORE 4044981.341
AT ITER 3326 NEW BEST:: SOT 34148689 SOS 22569275 HAS SOPS 21936693 HAS SOUS 4085965 HAS SOUPS 4019144 WITH SCORE 4041713.275
AT ITER 3327 NEW BEST:: SOT 34148689 SOS 22544390 HAS SOPS 21911579 HAS SOUS 4085601 HAS SOUPS 4018789 WITH SCORE 4041333.39
AT ITER 3329 NEW BEST:: SOT 34114308 SOS 22522051 HAS SOPS 21889421 HAS SOUS 4051199 HAS SOUPS 3984322 WITH SCORE 4006844.051
AT ITER 3333 NEW BEST:: SOT 34114292 SOS 22522035 HAS SOPS 21889405 HAS SOUS 4051183 HAS SOUPS 3984306 WITH SCORE 4006828.035
AT ITER 3335 NEW BEST:: SOT 34114792 SOS 22522445 HAS SOPS 21889915 HAS SOUS 4050788 HAS SOUPS 3983916 WITH SCORE 4006438.445
AT ITER 3337 NEW BEST:: SOT 34114792 SOS 22522378 HAS SOPS 21889848 HAS SOUS 4050721 HAS SOUPS 3983916 WITH SCORE 4006438.378
AT ITER 3338 NEW BEST:: SOT 34114792 SOS 22515209 HAS SOPS 21881760 HAS SOUS 4049674 HAS SOUPS 3982869 WITH SCORE 4005384.209
AT ITER 3344 NEW BEST:: SOT 34114792 SOS 22517237 HAS SOPS 21883659 HAS SOUS 4049428 HAS SOUPS 3982612 WITH SCORE 4005129.237
AT ITER 3345 NEW BEST:: SOT 34099348 SOS 22501894 HAS SOPS 21868215 HAS SOUS 4043483 HAS SOUPS 3976619 WITH SCORE 3999120.894
AT ITER 3349 NEW BEST:: SOT 34099348 SOS 22500310 HAS SOPS 21866607 HAS SOUS 4043417 HAS SOUPS 3976579 WITH SCORE 3999079.31
AT ITER 3351 NEW BEST:: SOT 34099348 SOS 22481810 HAS SOPS 21847881 HAS SOUS 4043275 HAS SOUPS 3976258 WITH SCORE 3998739.81
AT ITER 3352 NEW BEST:: SOT 34099346 SOS 22481808 HAS SOPS 21847805 HAS SOUS 4043199 HAS SOUPS 3976108 WITH SCORE 3998589.808
AT ITER 3366 NEW BEST:: SOT 34110084 SOS 22491365 HAS SOPS 21858543 HAS SOUS 4040118 HAS SOUPS 3973102 WITH SCORE 3995593.365
AT ITER 3379 NEW BEST:: SOT 34093220 SOS 22468322 HAS SOPS 21829279 HAS SOUS 4016909 HAS SOUPS 3949893 WITH SCORE 3972361.322
AT ITER 3388 NEW BEST:: SOT 34093220 SOS 22468322 HAS SOPS 21829253 HAS SOUS 4016883 HAS SOUPS 3949867 WITH SCORE 3972335.322
AT ITER 3393 NEW BEST:: SOT 34093220 SOS 22461985 HAS SOPS 21822909 HAS SOUS 4016812 HAS SOUPS 3949840 WITH SCORE 3972301.985
AT ITER 3398 NEW BEST:: SOT 34093220 SOS 22461923 HAS SOPS 21822665 HAS SOUS 4016568 HAS SOUPS 3949476 WITH SCORE 3971937.923
AT ITER 3409 NEW BEST:: SOT 34093220 SOS 22461896 HAS SOPS 21822611 HAS SOUS 4016514 HAS SOUPS 3949422 WITH SCORE 3971883.896
AT ITER 3410 NEW BEST:: SOT 34093220 SOS 22459073 HAS SOPS 21819680 HAS SOUS 4016292 HAS SOUPS 3949368 WITH SCORE 3971827.073
AT ITER 3411 NEW BEST:: SOT 34093220 SOS 22459040 HAS SOPS 21819647 HAS SOUS 4016292 HAS SOUPS 3949368 WITH SCORE 3971827.04
AT ITER 3412 NEW BEST:: SOT 34093370 SOS 22459174 HAS SOPS 21819797 HAS SOUS 4016258 HAS SOUPS 3949335 WITH SCORE 3971794.174
AT ITER 3417 NEW BEST:: SOT 34093370 SOS 22455367 HAS SOPS 21815797 HAS SOUS 4016025 HAS SOUPS 3949102 WITH SCORE 3971557.367
AT ITER 3427 NEW BEST:: SOT 34093370 SOS 22455290 HAS SOPS 21815643 HAS SOUS 4015871 HAS SOUPS 3948948 WITH SCORE 3971403.29
AT ITER 3428 NEW BEST:: SOT 34093370 SOS 22455290 HAS SOPS 21815526 HAS SOUS 4015671 HAS SOUPS 3948714 WITH SCORE 3971169.29
AT ITER 3430 NEW BEST:: SOT 34096115 SOS 22495112 HAS SOPS 21896943 HAS SOUS 3971797 HAS SOUPS 3905285 WITH SCORE 3927780.112
AT ITER 3434 NEW BEST:: SOT 34096115 SOS 22495074 HAS SOPS 21896867 HAS SOUS 3971721 HAS SOUPS 3905209 WITH SCORE 3927704.074
AT ITER 3439 NEW BEST:: SOT 34096115 SOS 22495074 HAS SOPS 21896829 HAS SOUS 3971683 HAS SOUPS 3905133 WITH SCORE 3927628.074
AT ITER 3440 NEW BEST:: SOT 34098786 SOS 22491599 HAS SOPS 21898393 HAS SOUS 3949529 HAS SOUPS 3883129 WITH SCORE 3905620.599
AT ITER 3446 NEW BEST:: SOT 34098786 SOS 22477046 HAS SOPS 21883720 HAS SOUS 3949161 HAS SOUPS 3882863 WITH SCORE 3905340.046
AT ITER 3451 NEW BEST:: SOT 34099197 SOS 22479436 HAS SOPS 21886931 HAS SOUS 3947621 HAS SOUPS 3881337 WITH SCORE 3903816.436
AT ITER 3458 NEW BEST:: SOT 34091421 SOS 22471660 HAS SOPS 21879155 HAS SOUS 3939845 HAS SOUPS 3873561 WITH SCORE 3896032.66
AT ITER 3470 NEW BEST:: SOT 34091421 SOS 22471660 HAS SOPS 21879092 HAS SOUS 3939782 HAS SOUPS 3873435 WITH SCORE 3895906.66
AT ITER 3475 NEW BEST:: SOT 34091421 SOS 22471537 HAS SOPS 21878829 HAS SOUS 3939355 HAS SOUPS 3873155 WITH SCORE 3895626.537
AT ITER 3500 NEW BEST:: SOT 34091757 SOS 22471354 HAS SOPS 21873565 HAS SOUS 3934554 HAS SOUPS 3868354 WITH SCORE 3890825.354
AT ITER 3501 NEW BEST:: SOT 34093211 SOS 22471607 HAS SOPS 21875019 HAS SOUS 3926809 HAS SOUPS 3860661 WITH SCORE 3883132.607
AT ITER 3502 NEW BEST:: SOT 34093265 SOS 22471375 HAS SOPS 21874810 HAS SOUS 3926600 HAS SOUPS 3860631 WITH SCORE 3883102.375
AT ITER 3507 NEW BEST:: SOT 34093183 SOS 22471293 HAS SOPS 21874728 HAS SOUS 3926518 HAS SOUPS 3860549 WITH SCORE 3883020.293
AT ITER 3509 NEW BEST:: SOT 34088666 SOS 22475188 HAS SOPS 21879256 HAS SOUS 3922724 HAS SOUPS 3856755 WITH SCORE 3879230.188
AT ITER 3516 NEW BEST:: SOT 34088666 SOS 22462632 HAS SOPS 21866256 HAS SOUS 3922150 HAS SOUPS 3856246 WITH SCORE 3878708.632
AT ITER 3522 NEW BEST:: SOT 34088666 SOS 22462442 HAS SOPS 21866066 HAS SOUS 3922150 HAS SOUPS 3856246 WITH SCORE 3878708.442
AT ITER 3524 NEW BEST:: SOT 34088640 SOS 22462390 HAS SOPS 21865990 HAS SOUS 3922074 HAS SOUPS 3856170 WITH SCORE 3878632.39
AT ITER 3534 NEW BEST:: SOT 34088640 SOS 22453876 HAS SOPS 21857390 HAS SOUS 3921902 HAS SOUPS 3855998 WITH SCORE 3878451.876
AT ITER 3536 NEW BEST:: SOT 34088640 SOS 22453867 HAS SOPS 21857381 HAS SOUS 3921902 HAS SOUPS 3855998 WITH SCORE 3878451.867
AT ITER 3537 NEW BEST:: SOT 34119835 SOS 22513877 HAS SOPS 21937860 HAS SOUS 3875095 HAS SOUPS 3809686 WITH SCORE 3832199.877
AT ITER 3538 NEW BEST:: SOT 34119835 SOS 22513923 HAS SOPS 21937761 HAS SOUS 3874974 HAS SOUPS 3809484 WITH SCORE 3831997.923
AT ITER 3542 NEW BEST:: SOT 34120862 SOS 22514636 HAS SOPS 21938788 HAS SOUS 3872515 HAS SOUPS 3807044 WITH SCORE 3829558.636
AT ITER 3544 NEW BEST:: SOT 34120862 SOS 22500974 HAS SOPS 21925057 HAS SOUS 3872377 HAS SOUPS 3806906 WITH SCORE 3829406.974
AT ITER 3549 NEW BEST:: SOT 34120862 SOS 22500846 HAS SOPS 21924929 HAS SOUS 3872249 HAS SOUPS 3806778 WITH SCORE 3829278.846
AT ITER 3555 NEW BEST:: SOT 34123207 SOS 22513656 HAS SOPS 21941545 HAS SOUS 3864342 HAS SOUPS 3798942 WITH SCORE 3821455.656
AT ITER 3557 NEW BEST:: SOT 34123322 SOS 22513771 HAS SOPS 21941602 HAS SOUS 3864570 HAS SOUPS 3798941 WITH SCORE 3821454.771
AT ITER 3561 NEW BEST:: SOT 34123485 SOS 22513454 HAS SOPS 21940834 HAS SOUS 3863802 HAS SOUPS 3798197 WITH SCORE 3820710.454
AT ITER 3565 NEW BEST:: SOT 34153171 SOS 22663842 HAS SOPS 22143210 HAS SOUS 3861878 HAS SOUPS 3795854 WITH SCORE 3818517.842
AT ITER 3574 NEW BEST:: SOT 34153171 SOS 22626416 HAS SOPS 22105306 HAS SOUS 3860744 HAS SOUPS 3795083 WITH SCORE 3817709.416
AT ITER 3580 NEW BEST:: SOT 34153171 SOS 22626240 HAS SOPS 22105129 HAS SOUS 3860567 HAS SOUPS 3795063 WITH SCORE 3817689.24
AT ITER 3581 NEW BEST:: SOT 34221786 SOS 22754033 HAS SOPS 22261944 HAS SOUS 3833086 HAS SOUPS 3768212 WITH SCORE 3790966.033
AT ITER 3586 NEW BEST:: SOT 34268401 SOS 22795408 HAS SOPS 22308559 HAS SOUS 3817341 HAS SOUPS 3752805 WITH SCORE 3775600.408
AT ITER 3588 NEW BEST:: SOT 34268399 SOS 22795406 HAS SOPS 22308557 HAS SOUS 3817339 HAS SOUPS 3752803 WITH SCORE 3775598.406
AT ITER 3589 NEW BEST:: SOT 34268399 SOS 22795406 HAS SOPS 22308530 HAS SOUS 3817312 HAS SOUPS 3752776 WITH SCORE 3775571.406
AT ITER 3598 NEW BEST:: SOT 34268399 SOS 22795369 HAS SOPS 22308456 HAS SOUS 3817238 HAS SOUPS 3752702 WITH SCORE 3775497.369
AT ITER 3603 NEW BEST:: SOT 34263625 SOS 22776596 HAS SOPS 22287594 HAS SOUS 3810227 HAS SOUPS 3745671 WITH SCORE 3768447.596
AT ITER 3604 NEW BEST:: SOT 34263625 SOS 22776596 HAS SOPS 22287542 HAS SOUS 3810175 HAS SOUPS 3745567 WITH SCORE 3768343.596
AT ITER 3611 NEW BEST:: SOT 34263625 SOS 22647051 HAS SOPS 22133232 HAS SOUS 3783061 HAS SOUPS 3719320 WITH SCORE 3741967.051
AT ITER 3614 NEW BEST:: SOT 34263749 SOS 22647175 HAS SOPS 22133256 HAS SOUS 3783013 HAS SOUPS 3719244 WITH SCORE 3741891.175
AT ITER 3616 NEW BEST:: SOT 34263749 SOS 22647175 HAS SOPS 22133182 HAS SOUS 3782939 HAS SOUPS 3719096 WITH SCORE 3741743.175
AT ITER 3630 NEW BEST:: SOT 34257392 SOS 22640818 HAS SOPS 22127062 HAS SOUS 3777010 HAS SOUPS 3713213 WITH SCORE 3735853.818
AT ITER 3640 NEW BEST:: SOT 34257392 SOS 22564221 HAS SOPS 22019976 HAS SOUS 3745064 HAS SOUPS 3681654 WITH SCORE 3704218.221
AT ITER 3642 NEW BEST:: SOT 34257392 SOS 22588968 HAS SOPS 22044555 HAS SOUS 3745281 HAS SOUPS 3681327 WITH SCORE 3703915.968
AT ITER 3657 NEW BEST:: SOT 34257392 SOS 22581764 HAS SOPS 22036917 HAS SOUS 3744771 HAS SOUPS 3680817 WITH SCORE 3703398.764
AT ITER 3661 NEW BEST:: SOT 34257392 SOS 22567838 HAS SOPS 22022847 HAS SOUS 3744487 HAS SOUPS 3680533 WITH SCORE 3703100.838
AT ITER 3671 NEW BEST:: SOT 34281202 SOS 22589548 HAS SOPS 22046657 HAS SOUS 3741597 HAS SOUPS 3677787 WITH SCORE 3700376.548
AT ITER 3682 NEW BEST:: SOT 34281202 SOS 22609047 HAS SOPS 22066019 HAS SOUS 3741839 HAS SOUPS 3677709 WITH SCORE 3700318.047
AT ITER 3708 NEW BEST:: SOT 34281202 SOS 22599503 HAS SOPS 22056254 HAS SOUS 3741496 HAS SOUPS 3677275 WITH SCORE 3699874.503
AT ITER 3723 NEW BEST:: SOT 34281202 SOS 22596697 HAS SOPS 22053448 HAS SOUS 3741431 HAS SOUPS 3677255 WITH SCORE 3699851.697
AT ITER 3729 NEW BEST:: SOT 34281202 SOS 22583753 HAS SOPS 22039694 HAS SOUS 3740483 HAS SOUPS 3676422 WITH SCORE 3699005.753
AT ITER 3735 NEW BEST:: SOT 34281202 SOS 22552131 HAS SOPS 22006759 HAS SOUS 3739269 HAS SOUPS 3674777 WITH SCORE 3697329.131
AT ITER 3744 NEW BEST:: SOT 34284112 SOS 22554303 HAS SOPS 22009669 HAS SOUS 3735517 HAS SOUPS 3671062 WITH SCORE 3693616.303
AT ITER 3748 NEW BEST:: SOT 34283778 SOS 22553969 HAS SOPS 22009335 HAS SOUS 3735183 HAS SOUPS 3670728 WITH SCORE 3693281.969
AT ITER 3751 NEW BEST:: SOT 34283778 SOS 22553847 HAS SOPS 22009091 HAS SOUS 3734939 HAS SOUPS 3670484 WITH SCORE 3693037.847
AT ITER 3752 NEW BEST:: SOT 34283778 SOS 22553766 HAS SOPS 22008929 HAS SOUS 3734777 HAS SOUPS 3670322 WITH SCORE 3692875.766
AT ITER 3755 NEW BEST:: SOT 34283778 SOS 22560542 HAS SOPS 22015647 HAS SOUS 3734729 HAS SOUPS 3670274 WITH SCORE 3692834.542
AT ITER 3765 NEW BEST:: SOT 34283702 SOS 22560466 HAS SOPS 22015571 HAS SOUS 3734653 HAS SOUPS 3670198 WITH SCORE 3692758.466
AT ITER 3768 NEW BEST:: SOT 34193986 SOS 22476888 HAS SOPS 21925844 HAS SOUS 3730988 HAS SOUPS 3666061 WITH SCORE 3688537.888
AT ITER 3772 NEW BEST:: SOT 34193986 SOS 22476639 HAS SOPS 21925346 HAS SOUS 3730490 HAS SOUPS 3665563 WITH SCORE 3688039.639
AT ITER 3774 NEW BEST:: SOT 34193986 SOS 22460698 HAS SOPS 21909346 HAS SOUS 3730170 HAS SOUPS 3665424 WITH SCORE 3687884.698
AT ITER 3784 NEW BEST:: SOT 34193986 SOS 22460679 HAS SOPS 21909327 HAS SOUS 3730151 HAS SOUPS 3665405 WITH SCORE 3687865.679
AT ITER 3796 NEW BEST:: SOT 34193928 SOS 22454483 HAS SOPS 21903038 HAS SOUS 3729938 HAS SOUPS 3665192 WITH SCORE 3687646.483
AT ITER 3801 NEW BEST:: SOT 34193928 SOS 22490702 HAS SOPS 21938880 HAS SOUS 3729484 HAS SOUPS 3664656 WITH SCORE 3687146.702
AT ITER 3820 NEW BEST:: SOT 34193928 SOS 22472820 HAS SOPS 21919986 HAS SOUS 3728284 HAS SOUPS 3663456 WITH SCORE 3685928.82
AT ITER 3821 NEW BEST:: SOT 34193176 SOS 22472068 HAS SOPS 21919234 HAS SOUS 3727532 HAS SOUPS 3662704 WITH SCORE 3685176.068
AT ITER 3823 NEW BEST:: SOT 34193176 SOS 22472068 HAS SOPS 21919193 HAS SOUS 3727575 HAS SOUPS 3662622 WITH SCORE 3685094.068
AT ITER 3825 NEW BEST:: SOT 34193176 SOS 22468119 HAS SOPS 21899793 HAS SOUS 3711930 HAS SOUPS 3646977 WITH SCORE 3669445.119
AT ITER 3831 NEW BEST:: SOT 34193176 SOS 22447029 HAS SOPS 21877993 HAS SOUS 3711002 HAS SOUPS 3646049 WITH SCORE 3668496.029
AT ITER 3833 NEW BEST:: SOT 34192239 SOS 22445982 HAS SOPS 21876456 HAS SOUS 3710169 HAS SOUPS 3645213 WITH SCORE 3667658.982
AT ITER 3835 NEW BEST:: SOT 34192239 SOS 22433435 HAS SOPS 21860577 HAS SOUS 3706679 HAS SOUPS 3641723 WITH SCORE 3664156.435
AT ITER 3838 NEW BEST:: SOT 34240838 SOS 22475763 HAS SOPS 21909350 HAS SOUS 3689923 HAS SOUPS 3625500 WITH SCORE 3647975.763
AT ITER 3839 NEW BEST:: SOT 34240838 SOS 22473972 HAS SOPS 21907541 HAS SOUS 3689878 HAS SOUPS 3625464 WITH SCORE 3647937.972
AT ITER 3843 NEW BEST:: SOT 34240838 SOS 22473860 HAS SOPS 21907371 HAS SOUS 3689708 HAS SOUPS 3625348 WITH SCORE 3647821.86
AT ITER 3847 NEW BEST:: SOT 34231500 SOS 22562120 HAS SOPS 21999936 HAS SOUS 3685692 HAS SOUPS 3621519 WITH SCORE 3644081.12
AT ITER 3848 NEW BEST:: SOT 34231707 SOS 22561970 HAS SOPS 22000143 HAS SOUS 3684456 HAS SOUPS 3620292 WITH SCORE 3642853.97
AT ITER 3861 NEW BEST:: SOT 34237834 SOS 22567462 HAS SOPS 22006270 HAS SOUS 3683218 HAS SOUPS 3619094 WITH SCORE 3641661.462
AT ITER 3863 NEW BEST:: SOT 34237834 SOS 22548730 HAS SOPS 21986270 HAS SOUS 3681846 HAS SOUPS 3617726 WITH SCORE 3640274.73
AT ITER 3864 NEW BEST:: SOT 34237834 SOS 22548730 HAS SOPS 21986203 HAS SOUS 3681779 HAS SOUPS 3617592 WITH SCORE 3640140.73
AT ITER 3882 NEW BEST:: SOT 34237834 SOS 22533767 HAS SOPS 21970852 HAS SOUS 3681237 HAS SOUPS 3617176 WITH SCORE 3639709.767
AT ITER 3887 NEW BEST:: SOT 34237674 SOS 22533607 HAS SOPS 21970692 HAS SOUS 3681077 HAS SOUPS 3617016 WITH SCORE 3639549.607
AT ITER 3893 NEW BEST:: SOT 34236895 SOS 22532828 HAS SOPS 21969903 HAS SOUS 3680288 HAS SOUPS 3616217 WITH SCORE 3638749.828
AT ITER 3894 NEW BEST:: SOT 34236895 SOS 22519799 HAS SOPS 21954303 HAS SOUS 3677561 HAS SOUPS 3613490 WITH SCORE 3636009.799
AT ITER 3898 NEW BEST:: SOT 34220187 SOS 22503335 HAS SOPS 21937595 HAS SOUS 3671409 HAS SOUPS 3607284 WITH SCORE 3629787.335
AT ITER 3901 NEW BEST:: SOT 34220187 SOS 22499551 HAS SOPS 21933795 HAS SOUS 3671355 HAS SOUPS 3607230 WITH SCORE 3629729.551
AT ITER 3904 NEW BEST:: SOT 34261437 SOS 22535025 HAS SOPS 21975045 HAS SOUS 3655181 HAS SOUPS 3591372 WITH SCORE 3613907.025
AT ITER 3905 NEW BEST:: SOT 34266461 SOS 22546106 HAS SOPS 21989269 HAS SOUS 3646440 HAS SOUPS 3582716 WITH SCORE 3605262.106
AT ITER 3907 NEW BEST:: SOT 34267020 SOS 22545789 HAS SOPS 21989851 HAS SOUS 3643298 HAS SOUPS 3579620 WITH SCORE 3602165.789
AT ITER 3915 NEW BEST:: SOT 34269253 SOS 22563006 HAS SOPS 22012169 HAS SOUS 3630832 HAS SOUPS 3567254 WITH SCORE 3589817.006
AT ITER 3936 NEW BEST:: SOT 34269253 SOS 22558254 HAS SOPS 22007224 HAS SOUS 3630591 HAS SOUPS 3566892 WITH SCORE 3589450.254
AT ITER 3937 NEW BEST:: SOT 34269253 SOS 22558309 HAS SOPS 22007224 HAS SOUS 3630591 HAS SOUPS 3566837 WITH SCORE 3589395.309
AT ITER 3940 NEW BEST:: SOT 34252360 SOS 22573882 HAS SOPS 22023948 HAS SOUS 3615523 HAS SOUPS 3551479 WITH SCORE 3574052.882
AT ITER 3945 NEW BEST:: SOT 34252315 SOS 22573837 HAS SOPS 22023903 HAS SOUS 3615478 HAS SOUPS 3551434 WITH SCORE 3574007.837
AT ITER 3956 NEW BEST:: SOT 34252187 SOS 22573724 HAS SOPS 22023790 HAS SOUS 3615365 HAS SOUPS 3551321 WITH SCORE 3573894.724
AT ITER 3957 NEW BEST:: SOT 34252187 SOS 22573724 HAS SOPS 22023772 HAS SOUS 3615365 HAS SOUPS 3551285 WITH SCORE 3573858.724
AT ITER 3961 NEW BEST:: SOT 34252187 SOS 22573818 HAS SOPS 22023772 HAS SOUS 3615271 HAS SOUPS 3551191 WITH SCORE 3573764.818
AT ITER 3967 NEW BEST:: SOT 34249474 SOS 22538948 HAS SOPS 21986391 HAS SOUS 3609607 HAS SOUPS 3545527 WITH SCORE 3568065.948
AT ITER 3969 NEW BEST:: SOT 34249474 SOS 22538922 HAS SOPS 21986365 HAS SOUS 3609581 HAS SOUPS 3545527 WITH SCORE 3568065.922
AT ITER 3972 NEW BEST:: SOT 34229042 SOS 22518874 HAS SOPS 21965933 HAS SOUS 3604365 HAS SOUPS 3540233 WITH SCORE 3562751.874
AT ITER 3978 NEW BEST:: SOT 34234458 SOS 22524234 HAS SOPS 21971349 HAS SOUS 3603837 HAS SOUPS 3539735 WITH SCORE 3562259.234
AT ITER 3980 NEW BEST:: SOT 34234458 SOS 22524234 HAS SOPS 21971269 HAS SOUS 3603677 HAS SOUPS 3539575 WITH SCORE 3562099.234
AT ITER 3981 NEW BEST:: SOT 34251036 SOS 22538500 HAS SOPS 21987865 HAS SOUS 3586585 HAS SOUPS 3522681 WITH SCORE 3545219.5
AT ITER 3990 NEW BEST:: SOT 34251036 SOS 22538500 HAS SOPS 21987781 HAS SOUS 3586435 HAS SOUPS 3522513 WITH SCORE 3545051.5
AT ITER 4003 NEW BEST:: SOT 34315641 SOS 22596465 HAS SOPS 22052386 HAS SOUS 3575080 HAS SOUPS 3511571 WITH SCORE 3534167.465
AT ITER 4025 NEW BEST:: SOT 34310979 SOS 22591803 HAS SOPS 22048078 HAS SOUS 3570788 HAS SOUPS 3507617 WITH SCORE 3530208.803
AT ITER 4029 NEW BEST:: SOT 34310979 SOS 22614245 HAS SOPS 22070411 HAS SOUS 3571243 HAS SOUPS 3507553 WITH SCORE 3530167.245
AT ITER 4031 NEW BEST:: SOT 34310979 SOS 22615160 HAS SOPS 22071331 HAS SOUS 3571038 HAS SOUPS 3507483 WITH SCORE 3530098.16
AT ITER 4032 NEW BEST:: SOT 34312768 SOS 22612888 HAS SOPS 22073312 HAS SOUS 3557976 HAS SOUPS 3494517 WITH SCORE 3517129.888
AT ITER 4036 NEW BEST:: SOT 34312748 SOS 22612868 HAS SOPS 22073292 HAS SOUS 3557956 HAS SOUPS 3494497 WITH SCORE 3517109.868
AT ITER 4050 NEW BEST:: SOT 34313028 SOS 22612970 HAS SOPS 22073572 HAS SOUS 3557014 HAS SOUPS 3493562 WITH SCORE 3516174.97
AT ITER 4052 NEW BEST:: SOT 34313028 SOS 22612902 HAS SOPS 22073436 HAS SOUS 3556878 HAS SOUPS 3493426 WITH SCORE 3516038.902
AT ITER 4058 NEW BEST:: SOT 34313028 SOS 22604799 HAS SOPS 22064871 HAS SOUS 3556350 HAS SOUPS 3493233 WITH SCORE 3515837.799
AT ITER 4067 NEW BEST:: SOT 34313028 SOS 22596055 HAS SOPS 22056039 HAS SOUS 3556142 HAS SOUPS 3493057 WITH SCORE 3515653.055
AT ITER 4080 NEW BEST:: SOT 34313028 SOS 22608592 HAS SOPS 22068490 HAS SOUS 3556261 HAS SOUPS 3492885 WITH SCORE 3515493.592
AT ITER 4088 NEW BEST:: SOT 34313028 SOS 22608462 HAS SOPS 22068266 HAS SOUS 3556037 HAS SOUPS 3492661 WITH SCORE 3515269.462
AT ITER 4110 NEW BEST:: SOT 34306851 SOS 22602285 HAS SOPS 22062089 HAS SOUS 3549860 HAS SOUPS 3486484 WITH SCORE 3509086.285
AT ITER 4122 NEW BEST:: SOT 34306851 SOS 22599587 HAS SOPS 22059391 HAS SOUS 3549934 HAS SOUPS 3486470 WITH SCORE 3509069.587
AT ITER 4124 NEW BEST:: SOT 34306851 SOS 22544394 HAS SOPS 22004151 HAS SOUS 3549242 HAS SOUPS 3486146 WITH SCORE 3508690.394
AT ITER 4125 NEW BEST:: SOT 34240352 SOS 22479630 HAS SOPS 21937652 HAS SOUS 3529208 HAS SOUPS 3465871 WITH SCORE 3488350.63
AT ITER 4128 NEW BEST:: SOT 34240352 SOS 22454481 HAS SOPS 21912193 HAS SOUS 3528792 HAS SOUPS 3465433 WITH SCORE 3487887.481
AT ITER 4149 NEW BEST:: SOT 34240352 SOS 22454539 HAS SOPS 21912193 HAS SOUS 3528792 HAS SOUPS 3465375 WITH SCORE 3487829.539
AT ITER 4152 NEW BEST:: SOT 34240352 SOS 22424056 HAS SOPS 21881440 HAS SOUS 3528216 HAS SOUPS 3464799 WITH SCORE 3487223.056
AT ITER 4155 NEW BEST:: SOT 34240352 SOS 22422496 HAS SOPS 21879840 HAS SOUS 3528160 HAS SOUPS 3464743 WITH SCORE 3487165.496
AT ITER 4156 NEW BEST:: SOT 34240352 SOS 22422514 HAS SOPS 21879840 HAS SOUS 3528160 HAS SOUPS 3464725 WITH SCORE 3487147.514
AT ITER 4159 NEW BEST:: SOT 34240352 SOS 22412564 HAS SOPS 21869790 HAS SOUS 3527960 HAS SOUPS 3464525 WITH SCORE 3486937.564
AT ITER 4164 NEW BEST:: SOT 34239106 SOS 22376961 HAS SOPS 21827412 HAS SOUS 3519474 HAS SOUPS 3455968 WITH SCORE 3478344.961
AT ITER 4172 NEW BEST:: SOT 34239068 SOS 22376923 HAS SOPS 21827086 HAS SOUS 3519148 HAS SOUPS 3455354 WITH SCORE 3477730.923
AT ITER 4182 NEW BEST:: SOT 34239068 SOS 22376923 HAS SOPS 21827012 HAS SOUS 3519074 HAS SOUPS 3455206 WITH SCORE 3477582.923
AT ITER 4196 NEW BEST:: SOT 34239068 SOS 22376917 HAS SOPS 21827006 HAS SOUS 3519068 HAS SOUPS 3455206 WITH SCORE 3477582.917
AT ITER 4206 NEW BEST:: SOT 34239042 SOS 22376656 HAS SOPS 21826395 HAS SOUS 3518477 HAS SOUPS 3454496 WITH SCORE 3476872.656
AT ITER 4207 NEW BEST:: SOT 34239042 SOS 22385419 HAS SOPS 21835000 HAS SOUS 3518226 HAS SOUPS 3454236 WITH SCORE 3476621.419
AT ITER 4211 NEW BEST:: SOT 34239042 SOS 22385336 HAS SOPS 21834826 HAS SOUS 3518044 HAS SOUPS 3454054 WITH SCORE 3476439.336
AT ITER 4224 NEW BEST:: SOT 34249535 SOS 22401555 HAS SOPS 21881013 HAS SOUS 3460375 HAS SOUPS 3396879 WITH SCORE 3419280.555
AT ITER 4228 NEW BEST:: SOT 34249535 SOS 22364693 HAS SOPS 21843142 HAS SOUS 3459230 HAS SOUPS 3395490 WITH SCORE 3417854.693
AT ITER 4232 NEW BEST:: SOT 34225030 SOS 22341526 HAS SOPS 21818522 HAS SOUS 3456272 HAS SOUPS 3392302 WITH SCORE 3414643.526
AT ITER 4235 NEW BEST:: SOT 34218249 SOS 22334882 HAS SOPS 21811741 HAS SOUS 3453954 HAS SOUPS 3389961 WITH SCORE 3412295.882
AT ITER 4236 NEW BEST:: SOT 34212364 SOS 22328997 HAS SOPS 21805856 HAS SOUS 3448069 HAS SOUPS 3384076 WITH SCORE 3406404.997
AT ITER 4250 NEW BEST:: SOT 34212364 SOS 22309413 HAS SOPS 21786348 HAS SOUS 3447867 HAS SOUPS 3384044 WITH SCORE 3406353.413
AT ITER 4255 NEW BEST:: SOT 34212364 SOS 22309391 HAS SOPS 21786326 HAS SOUS 3447845 HAS SOUPS 3384022 WITH SCORE 3406331.391
AT ITER 4256 NEW BEST:: SOT 34212364 SOS 22273023 HAS SOPS 21749312 HAS SOUS 3447013 HAS SOUPS 3383190 WITH SCORE 3405463.023
AT ITER 4258 NEW BEST:: SOT 34212364 SOS 22272624 HAS SOPS 21748537 HAS SOUS 3446238 HAS SOUPS 3382415 WITH SCORE 3404687.624
AT ITER 4261 NEW BEST:: SOT 34212364 SOS 22272509 HAS SOPS 21748255 HAS SOUS 3446123 HAS SOUPS 3382081 WITH SCORE 3404353.509
AT ITER 4269 NEW BEST:: SOT 34213883 SOS 22286076 HAS SOPS 21765653 HAS SOUS 3435831 HAS SOUPS 3371868 WITH SCORE 3394154.076
AT ITER 4273 NEW BEST:: SOT 34213883 SOS 22246805 HAS SOPS 21722824 HAS SOUS 3432057 HAS SOUPS 3368094 WITH SCORE 3390340.805
AT ITER 4281 NEW BEST:: SOT 34216438 SOS 22234489 HAS SOPS 21702979 HAS SOUS 3426859 HAS SOUPS 3362896 WITH SCORE 3385130.489
AT ITER 4285 NEW BEST:: SOT 34216438 SOS 22234781 HAS SOPS 21703145 HAS SOUS 3427025 HAS SOUPS 3362680 WITH SCORE 3384914.781
AT ITER 4286 NEW BEST:: SOT 34216438 SOS 22216871 HAS SOPS 21685053 HAS SOUS 3426661 HAS SOUPS 3362316 WITH SCORE 3384532.871
AT ITER 4297 NEW BEST:: SOT 34216405 SOS 22151720 HAS SOPS 21616726 HAS SOUS 3422768 HAS SOUPS 3358529 WITH SCORE 3380680.72
AT ITER 4308 NEW BEST:: SOT 34216405 SOS 22110319 HAS SOPS 21574926 HAS SOUS 3421951 HAS SOUPS 3357712 WITH SCORE 3379822.319
AT ITER 4323 NEW BEST:: SOT 34216405 SOS 22097895 HAS SOPS 21562079 HAS SOUS 3421155 HAS SOUPS 3356979 WITH SCORE 3379076.895
AT ITER 4347 NEW BEST:: SOT 34216163 SOS 22105837 HAS SOPS 21570160 HAS SOUS 3421059 HAS SOUPS 3356943 WITH SCORE 3379048.837
AT ITER 4351 NEW BEST:: SOT 34216026 SOS 22105775 HAS SOPS 21570155 HAS SOUS 3421071 HAS SOUPS 3356920 WITH SCORE 3379025.775
AT ITER 4353 NEW BEST:: SOT 34216026 SOS 22099065 HAS SOPS 21558781 HAS SOUS 3416376 HAS SOUPS 3352142 WITH SCORE 3374241.065
AT ITER 4355 NEW BEST:: SOT 34216026 SOS 22099091 HAS SOPS 21558805 HAS SOUS 3416400 HAS SOUPS 3352138 WITH SCORE 3374237.091
AT ITER 4356 NEW BEST:: SOT 34216026 SOS 22072816 HAS SOPS 21531999 HAS SOUS 3415866 HAS SOUPS 3351604 WITH SCORE 3373676.816
AT ITER 4366 NEW BEST:: SOT 34216424 SOS 22070964 HAS SOPS 21532397 HAS SOUS 3410714 HAS SOUPS 3346491 WITH SCORE 3368561.964
AT ITER 4367 NEW BEST:: SOT 34216424 SOS 22042684 HAS SOPS 21503997 HAS SOUS 3410093 HAS SOUPS 3346229 WITH SCORE 3368271.684
AT ITER 4376 NEW BEST:: SOT 34215399 SOS 22041085 HAS SOPS 21501364 HAS SOUS 3409618 HAS SOUPS 3345746 WITH SCORE 3367787.085
AT ITER 4387 NEW BEST:: SOT 34223407 SOS 22048606 HAS SOPS 21508372 HAS SOUS 3406703 HAS SOUPS 3342883 WITH SCORE 3364931.606
AT ITER 4396 NEW BEST:: SOT 34224493 SOS 22049680 HAS SOPS 21509458 HAS SOUS 3406601 HAS SOUPS 3342787 WITH SCORE 3364836.68
AT ITER 4398 NEW BEST:: SOT 34270561 SOS 22090646 HAS SOPS 21555526 HAS SOUS 3397971 HAS SOUPS 3334456 WITH SCORE 3356546.646
AT ITER 4403 NEW BEST:: SOT 34270561 SOS 22089452 HAS SOPS 21554326 HAS SOUS 3397953 HAS SOUPS 3334438 WITH SCORE 3356527.452
AT ITER 4410 NEW BEST:: SOT 34270561 SOS 22089432 HAS SOPS 21554306 HAS SOUS 3397933 HAS SOUPS 3334418 WITH SCORE 3356507.432
AT ITER 4415 NEW BEST:: SOT 34271489 SOS 22101137 HAS SOPS 21569907 HAS SOUS 3388376 HAS SOUPS 3324861 WITH SCORE 3346962.137
AT ITER 4426 NEW BEST:: SOT 34267089 SOS 22099503 HAS SOPS 21568301 HAS SOUS 3384026 HAS SOUPS 3320497 WITH SCORE 3342596.503
AT ITER 4431 NEW BEST:: SOT 34260915 SOS 22093522 HAS SOPS 21562127 HAS SOUS 3382652 HAS SOUPS 3319105 WITH SCORE 3341198.522
AT ITER 4453 NEW BEST:: SOT 34260915 SOS 22076777 HAS SOPS 21544729 HAS SOUS 3381825 HAS SOUPS 3318365 WITH SCORE 3340441.777
AT ITER 4457 NEW BEST:: SOT 34282451 SOS 22056067 HAS SOPS 21566625 HAS SOUS 3314767 HAS SOUPS 3252323 WITH SCORE 3274379.067
AT ITER 4458 NEW BEST:: SOT 34282451 SOS 22056067 HAS SOPS 21566548 HAS SOUS 3314690 HAS SOUPS 3252169 WITH SCORE 3274225.067
AT ITER 4459 NEW BEST:: SOT 34282451 SOS 22039467 HAS SOPS 21549948 HAS SOUS 3314524 HAS SOUPS 3252003 WITH SCORE 3274042.467
AT ITER 4469 NEW BEST:: SOT 34282451 SOS 22031930 HAS SOPS 21542382 HAS SOUS 3314453 HAS SOUPS 3251932 WITH SCORE 3273963.93
AT ITER 4514 NEW BEST:: SOT 34282451 SOS 22011609 HAS SOPS 21521374 HAS SOUS 3313333 HAS SOUPS 3251132 WITH SCORE 3273143.609
AT ITER 4516 NEW BEST:: SOT 34281544 SOS 22057039 HAS SOPS 21566867 HAS SOUS 3312953 HAS SOUPS 3250752 WITH SCORE 3272809.039
AT ITER 4518 NEW BEST:: SOT 34281544 SOS 22056985 HAS SOPS 21566759 HAS SOUS 3312845 HAS SOUPS 3250644 WITH SCORE 3272700.985
AT ITER 4528 NEW BEST:: SOT 34281544 SOS 22056979 HAS SOPS 21566753 HAS SOUS 3312839 HAS SOUPS 3250638 WITH SCORE 3272694.979
AT ITER 4536 NEW BEST:: SOT 34281544 SOS 22056956 HAS SOPS 21566707 HAS SOUS 3312816 HAS SOUPS 3250592 WITH SCORE 3272648.956
AT ITER 4544 NEW BEST:: SOT 34281544 SOS 22054357 HAS SOPS 21564108 HAS SOUS 3312846 HAS SOUPS 3250566 WITH SCORE 3272620.357
AT ITER 4546 NEW BEST:: SOT 34281520 SOS 22054333 HAS SOPS 21564084 HAS SOUS 3312822 HAS SOUPS 3250542 WITH SCORE 3272596.333
AT ITER 4548 NEW BEST:: SOT 34281520 SOS 22027249 HAS SOPS 21537101 HAS SOUS 3312704 HAS SOUPS 3250474 WITH SCORE 3272501.249
AT ITER 4579 NEW BEST:: SOT 34282379 SOS 22032825 HAS SOPS 21544160 HAS SOUS 3308908 HAS SOUPS 3246709 WITH SCORE 3268741.825
AT ITER 4581 NEW BEST:: SOT 34282379 SOS 22032671 HAS SOPS 21543852 HAS SOUS 3308754 HAS SOUPS 3246401 WITH SCORE 3268433.671
AT ITER 4583 NEW BEST:: SOT 34282379 SOS 22024113 HAS SOPS 21535198 HAS SOUS 3308607 HAS SOUPS 3246208 WITH SCORE 3268232.113
AT ITER 4603 NEW BEST:: SOT 34277009 SOS 22017842 HAS SOPS 21524028 HAS SOUS 3298280 HAS SOUPS 3235881 WITH SCORE 3257898.842
AT ITER 4610 NEW BEST:: SOT 34277009 SOS 22017829 HAS SOPS 21524002 HAS SOUS 3298267 HAS SOUPS 3235855 WITH SCORE 3257872.829
AT ITER 4612 NEW BEST:: SOT 34276759 SOS 22003135 HAS SOPS 21509470 HAS SOUS 3298195 HAS SOUPS 3235783 WITH SCORE 3257786.135
AT ITER 4653 NEW BEST:: SOT 34278976 SOS 22009500 HAS SOPS 21517717 HAS SOUS 3296354 HAS SOUPS 3233972 WITH SCORE 3255981.5
AT ITER 4655 NEW BEST:: SOT 34278976 SOS 21992660 HAS SOPS 21500350 HAS SOUS 3295797 HAS SOUPS 3233435 WITH SCORE 3255427.66
AT ITER 4656 NEW BEST:: SOT 34278976 SOS 21975070 HAS SOPS 21482662 HAS SOUS 3295420 HAS SOUPS 3233161 WITH SCORE 3255136.07
AT ITER 4660 NEW BEST:: SOT 34278976 SOS 21975070 HAS SOPS 21482656 HAS SOUS 3295414 HAS SOUPS 3233149 WITH SCORE 3255124.07
AT ITER 4666 NEW BEST:: SOT 34278976 SOS 21989892 HAS SOPS 21497064 HAS SOUS 3294814 HAS SOUPS 3232543 WITH SCORE 3254532.892
AT ITER 4676 NEW BEST:: SOT 34279159 SOS 21990504 HAS SOPS 21497847 HAS SOUS 3294574 HAS SOUPS 3232306 WITH SCORE 3254296.504
AT ITER 4681 NEW BEST:: SOT 34279159 SOS 21973104 HAS SOPS 21480534 HAS SOUS 3294487 HAS SOUPS 3232306 WITH SCORE 3254279.104
AT ITER 4691 NEW BEST:: SOT 34279043 SOS 21972988 HAS SOPS 21480064 HAS SOUS 3294017 HAS SOUPS 3231482 WITH SCORE 3253454.988
AT ITER 4700 NEW BEST:: SOT 34282375 SOS 21967971 HAS SOPS 21483586 HAS SOUS 3267423 HAS SOUPS 3205081 WITH SCORE 3227048.971
AT ITER 4703 NEW BEST:: SOT 34289138 SOS 21983493 HAS SOPS 21506027 HAS SOUS 3242257 HAS SOUPS 3179915 WITH SCORE 3201898.493
AT ITER 4708 NEW BEST:: SOT 34279256 SOS 21973355 HAS SOPS 21495513 HAS SOUS 3231644 HAS SOUPS 3169296 WITH SCORE 3191269.355
AT ITER 4714 NEW BEST:: SOT 34296720 SOS 21988313 HAS SOPS 21512977 HAS SOUS 3224214 HAS SOUPS 3162003 WITH SCORE 3183991.313
AT ITER 4724 NEW BEST:: SOT 34296720 SOS 22035105 HAS SOPS 21559326 HAS SOUS 3223798 HAS SOUPS 3161587 WITH SCORE 3183622.105
AT ITER 4730 NEW BEST:: SOT 34296720 SOS 22027035 HAS SOPS 21551024 HAS SOUS 3223484 HAS SOUPS 3161212 WITH SCORE 3183239.035
AT ITER 4731 NEW BEST:: SOT 34296720 SOS 22023015 HAS SOPS 21547004 HAS SOUS 3223394 HAS SOUPS 3161172 WITH SCORE 3183195.015
AT ITER 4735 NEW BEST:: SOT 34296720 SOS 22023078 HAS SOPS 21547004 HAS SOUS 3223394 HAS SOUPS 3161109 WITH SCORE 3183132.078
AT ITER 4737 NEW BEST:: SOT 34296720 SOS 22003572 HAS SOPS 21525131 HAS SOUS 3220670 HAS SOUPS 3158560 WITH SCORE 3180563.572
AT ITER 4743 NEW BEST:: SOT 34296720 SOS 21996172 HAS SOPS 21517731 HAS SOUS 3220596 HAS SOUPS 3158486 WITH SCORE 3180482.172
AT ITER 4753 NEW BEST:: SOT 34296720 SOS 21996172 HAS SOPS 21517679 HAS SOUS 3220544 HAS SOUPS 3158382 WITH SCORE 3180378.172
AT ITER 4788 NEW BEST:: SOT 34296720 SOS 21996172 HAS SOPS 21517645 HAS SOUS 3220493 HAS SOUPS 3158314 WITH SCORE 3180310.172
AT ITER 4789 NEW BEST:: SOT 34296620 SOS 21980519 HAS SOPS 21501637 HAS SOUS 3219878 HAS SOUPS 3157791 WITH SCORE 3179771.519
AT ITER 4790 NEW BEST:: SOT 34298711 SOS 21980715 HAS SOPS 21503858 HAS SOUS 3211059 HAS SOUPS 3149037 WITH SCORE 3171017.715
AT ITER 4795 NEW BEST:: SOT 34298662 SOS 21980666 HAS SOPS 21503809 HAS SOUS 3211010 HAS SOUPS 3148988 WITH SCORE 3170968.666
AT ITER 4804 NEW BEST:: SOT 34227391 SOS 21911619 HAS SOPS 21432538 HAS SOUS 3190515 HAS SOUPS 3128228 WITH SCORE 3150139.619
AT ITER 4805 NEW BEST:: SOT 34227391 SOS 21896422 HAS SOPS 21416860 HAS SOUS 3189728 HAS SOUPS 3127591 WITH SCORE 3149487.422
AT ITER 4810 NEW BEST:: SOT 34212561 SOS 21881855 HAS SOPS 21401230 HAS SOUS 3186627 HAS SOUPS 3124426 WITH SCORE 3146307.855
AT ITER 4824 NEW BEST:: SOT 34212561 SOS 21902817 HAS SOPS 21421788 HAS SOUS 3186382 HAS SOUPS 3124038 WITH SCORE 3145940.817
AT ITER 4833 NEW BEST:: SOT 34212561 SOS 21896052 HAS SOPS 21414574 HAS SOUS 3185861 HAS SOUPS 3123517 WITH SCORE 3145413.052
AT ITER 4834 NEW BEST:: SOT 34226881 SOS 21909157 HAS SOPS 21428894 HAS SOUS 3185196 HAS SOUPS 3122933 WITH SCORE 3144842.157
AT ITER 4835 NEW BEST:: SOT 34224639 SOS 21906915 HAS SOPS 21426652 HAS SOUS 3182954 HAS SOUPS 3120691 WITH SCORE 3142597.915
AT ITER 4849 NEW BEST:: SOT 34224639 SOS 21906915 HAS SOPS 21426411 HAS SOUS 3182713 HAS SOUPS 3120209 WITH SCORE 3142115.915
AT ITER 4850 NEW BEST:: SOT 34224639 SOS 21904759 HAS SOPS 21424211 HAS SOUS 3182647 HAS SOUPS 3120154 WITH SCORE 3142058.759
AT ITER 4853 NEW BEST:: SOT 34224480 SOS 21904600 HAS SOPS 21424052 HAS SOUS 3182488 HAS SOUPS 3119995 WITH SCORE 3141899.6
AT ITER 4858 NEW BEST:: SOT 34224480 SOS 21904432 HAS SOPS 21423770 HAS SOUS 3182206 HAS SOUPS 3119767 WITH SCORE 3141671.432
AT ITER 4870 NEW BEST:: SOT 34230331 SOS 21909158 HAS SOPS 21429621 HAS SOUS 3177382 HAS SOUPS 3115002 WITH SCORE 3136911.158
AT ITER 4871 NEW BEST:: SOT 34229568 SOS 21921882 HAS SOPS 21442156 HAS SOUS 3176475 HAS SOUPS 3113816 WITH SCORE 3135737.882
AT ITER 4874 NEW BEST:: SOT 34229568 SOS 21935732 HAS SOPS 21456024 HAS SOUS 3176413 HAS SOUPS 3113772 WITH SCORE 3135707.732
AT ITER 4877 NEW BEST:: SOT 34229568 SOS 21899244 HAS SOPS 21419544 HAS SOUS 3175969 HAS SOUPS 3113510 WITH SCORE 3135409.244
AT ITER 4881 NEW BEST:: SOT 34229568 SOS 21896052 HAS SOPS 21416352 HAS SOUS 3175945 HAS SOUPS 3113486 WITH SCORE 3135382.052
AT ITER 4882 NEW BEST:: SOT 34229568 SOS 21884638 HAS SOPS 21404352 HAS SOUS 3175239 HAS SOUPS 3112780 WITH SCORE 3134664.638
AT ITER 4883 NEW BEST:: SOT 34229568 SOS 21884638 HAS SOPS 21404301 HAS SOUS 3175186 HAS SOUPS 3112678 WITH SCORE 3134562.638
AT ITER 4897 NEW BEST:: SOT 34229568 SOS 21884266 HAS SOPS 21403901 HAS SOUS 3175154 HAS SOUPS 3112646 WITH SCORE 3134530.266
AT ITER 4899 NEW BEST:: SOT 34229345 SOS 21870766 HAS SOPS 21389279 HAS SOUS 3173665 HAS SOUPS 3111230 WITH SCORE 3133100.766
AT ITER 4924 NEW BEST:: SOT 34229345 SOS 21870566 HAS SOPS 21389079 HAS SOUS 3173663 HAS SOUPS 3111228 WITH SCORE 3133098.566
AT ITER 4932 NEW BEST:: SOT 34229345 SOS 21868556 HAS SOPS 21387069 HAS SOUS 3173662 HAS SOUPS 3111208 WITH SCORE 3133076.556
AT ITER 4938 NEW BEST:: SOT 34229330 SOS 21868526 HAS SOPS 21387039 HAS SOUS 3173632 HAS SOUPS 3111178 WITH SCORE 3133046.526
AT ITER 4956 NEW BEST:: SOT 34234389 SOS 21872980 HAS SOPS 21392098 HAS SOUS 3169696 HAS SOUPS 3107290 WITH SCORE 3129162.98
AT ITER 4971 NEW BEST:: SOT 34234389 SOS 21870669 HAS SOPS 21389686 HAS SOUS 3169672 HAS SOUPS 3107165 WITH SCORE 3129035.669
AT ITER 4972 NEW BEST:: SOT 34234389 SOS 21868269 HAS SOPS 21387286 HAS SOUS 3169648 HAS SOUPS 3107141 WITH SCORE 3129009.269
AT ITER 4986 NEW BEST:: SOT 34234389 SOS 21866890 HAS SOPS 21385879 HAS SOUS 3169606 HAS SOUPS 3107099 WITH SCORE 3128965.89
AT ITER 4990 NEW BEST:: SOT 34234389 SOS 21860174 HAS SOPS 21379045 HAS SOUS 3169420 HAS SOUPS 3106913 WITH SCORE 3128773.174
Bounds file is: CTLFireability.xml
PROPERTY: Dekker-PT-200-CTLFireability-00 ( (EG( (EX( (! ((potential((tk(P20)>=1) & (tk(P316)>=1) & (tk(P873)>=1))))))))) & (! ( ( (! ( ((potential((tk(P64)>=1) & (tk(P400)>=1) & (tk(P999)>=1)))) & ((potential((tk(P188)>=1) & (tk(P196)>=1) & (tk(P693)>=1)))) )) & (EF( ((potential((tk(P24)>=1) & (tk(P102)>=1) & (tk(P435)>=1)))))) ) & ( ( (! ((potential((tk(P354)>=1) & (tk(P374)>=1) & (tk(P960)>=1))))) | (! ((potential((tk(P90)>=1) & (tk(P300)>=1) & (tk(P534)>=1))))) ) | (AX( ((potential((tk(P182)>=1) & (tk(P338)>=1) & (tk(P906)>=1)))))) ) )) )
PROPERTY: Dekker-PT-200-CTLFireability-01 ( (EX( (AG( ((potential((tk(P215)>=1) & (tk(P722)>=1)))))))) | ( (AU( ( ((potential((tk(P142)>=1) & (tk(P398)>=1) & (tk(P996)>=1)))) & ((potential((tk(P100)>=1) & (tk(P308)>=1) & (tk(P549)>=1)))) ) , ( ((potential((tk(P72)>=1) & (tk(P390)>=1) & (tk(P984)>=1)))) & ((potential((tk(P386)>=1) & (tk(P398)>=1) & (tk(P996)>=1)))) ) )) & ( ( ((potential((tk(P212)>=1) & (tk(P262)>=1) & (tk(P792)>=1)))) & (! ((potential((tk(P36)>=1) & (tk(P298)>=1) & (tk(P453)>=1))))) ) & ((potential((tk(P58)>=1) & (tk(P172)>=1) & (tk(P657)>=1)))) ) ) )
PROPERTY: Dekker-PT-200-CTLFireability-02 (AG( (AF( (EG( ((potential((tk(P324)>=1) & (tk(P336)>=1) & (tk(P903)>=1))))))))))
PROPERTY: Dekker-PT-200-CTLFireability-03 (AF( (! (AG( (! ((potential((tk(P106)>=1) & (tk(P182)>=1) & (tk(P558)>=1))))))))))
PROPERTY: Dekker-PT-200-CTLFireability-04 (AF( (AU( (! ((potential((tk(P94)>=1) & (tk(P382)>=1) & (tk(P540)>=1))))) , ( ((potential((tk(P114)>=1) & (tk(P146)>=1) & (tk(P618)>=1)))) | ((potential((tk(P110)>=1) & (tk(P334)>=1) & (tk(P564)>=1)))) ) ))))
PROPERTY: Dekker-PT-200-CTLFireability-05 ( (! (AU( (! ((potential((tk(P110)>=1) & (tk(P130)>=1) & (tk(P594)>=1))))) , ( ((potential((tk(P130)>=1) & (tk(P278)>=1) & (tk(P594)>=1)))) | ((potential((tk(P128)>=1) & (tk(P234)>=1) & (tk(P591)>=1)))) ) ))) | ( ((potential((tk(P18)>=1) & (tk(P156)>=1) & (tk(P426)>=1)))) & ((potential((tk(P202)>=1) & (tk(P260)>=1) & (tk(P702)>=1)))) ) )
PROPERTY: Dekker-PT-200-CTLFireability-06 (EG( (EU( ( ((potential((tk(P118)>=1) & (tk(P130)>=1) & (tk(P576)>=1)))) | ((potential((tk(P218)>=1) & (tk(P302)>=1) & (tk(P726)>=1)))) ) , (! ((potential((tk(P108)>=1) & (tk(P380)>=1) & (tk(P969)>=1))))) ))))
PROPERTY: Dekker-PT-200-CTLFireability-07 (! ( ((potential((tk(P34)>=1) & (tk(P278)>=1) & (tk(P816)>=1)))) | (AF( (EF( ((potential((tk(P24)>=1) & (tk(P334)>=1) & (tk(P900)>=1)))))))) ))
PROPERTY: Dekker-PT-200-CTLFireability-08 (EF( (AG( (EG( ((potential((tk(P196)>=1) & (tk(P298)>=1) & (tk(P693)>=1))))))))))
PROPERTY: Dekker-PT-200-CTLFireability-09 ( ( ( ( (EX( ((potential((tk(P64)>=1) & (tk(P350)>=1) & (tk(P495)>=1)))))) & ( ( ((potential((tk(P68)>=1) & (tk(P322)>=1) & (tk(P501)>=1)))) | ((potential((tk(P196)>=1) & (tk(P200)>=1) & (tk(P693)>=1)))) ) | ( ((potential((tk(P6)>=1) & (tk(P92)>=1) & (tk(P537)>=1)))) | ((potential((tk(P196)>=1) & (tk(P368)>=1) & (tk(P693)>=1)))) ) ) ) | (AU( ((potential((tk(P32)>=1) & (tk(P392)>=1) & (tk(P987)>=1)))) , ((potential((tk(P114)>=1) & (tk(P196)>=1) & (tk(P693)>=1)))) )) ) | (! ( (AG( ((potential((tk(P62)>=1) & (tk(P362)>=1) & (tk(P492)>=1)))))) & ((potential((tk(P122)>=1) & (tk(P174)>=1) & (tk(P582)>=1)))) )) ) & (! (EF( ( ( ((potential((tk(P16)>=1) & (tk(P248)>=1) & (tk(P771)>=1)))) | ((potential((tk(P268)>=1) & (tk(P270)>=1) & (tk(P804)>=1)))) ) | ( ((potential((tk(P88)>=1) & (tk(P116)>=1) & (tk(P531)>=1)))) & ((potential((tk(P178)>=1) & (tk(P358)>=1) & (tk(P666)>=1)))) ) )))) )
PROPERTY: Dekker-PT-200-CTLFireability-10 ( (EF( ( (EX( ((potential((tk(P126)>=1) & (tk(P390)>=1) & (tk(P984)>=1)))))) | ( ( ((potential((tk(P96)>=1) & (tk(P210)>=1) & (tk(P543)>=1)))) & ((potential((tk(P40)>=1) & (tk(P260)>=1) & (tk(P459)>=1)))) ) | ( ((potential((tk(P8)>=1) & (tk(P340)>=1) & (tk(P411)>=1)))) & ((potential((tk(P236)>=1) & (tk(P398)>=1) & (tk(P996)>=1)))) ) ) ))) | (EX( (! ( (! ((potential((tk(P106)>=1) & (tk(P320)>=1) & (tk(P558)>=1))))) & (! ((potential((tk(P10)>=1) & (tk(P190)>=1) & (tk(P414)>=1))))) )))) )
PROPERTY: Dekker-PT-200-CTLFireability-11 ( (! (EX( ((potential((tk(P190)>=1) & (tk(P218)>=1) & (tk(P684)>=1))))))) & (! (! (EG( (! ((potential((tk(P204)>=1) & (tk(P364)>=1) & (tk(P705)>=1))))))))) )
PROPERTY: Dekker-PT-200-CTLFireability-12 ( (! ( ((potential((tk(P194)>=1) & (tk(P280)>=1) & (tk(P819)>=1)))) & ( ( (! ((potential((tk(P28)>=1) & (tk(P322)>=1) & (tk(P882)>=1))))) | ((potential((tk(P246)>=1) & (tk(P350)>=1) & (tk(P924)>=1)))) ) & (AX( ((potential((tk(P24)>=1) & (tk(P258)>=1) & (tk(P435)>=1)))))) ) )) & (EU( ((potential((tk(P94)>=1) & (tk(P260)>=1) & (tk(P789)>=1)))) , (AF( ((potential((tk(P134)>=1) & (tk(P280)>=1) & (tk(P819)>=1)))))) )) )
PROPERTY: Dekker-PT-200-CTLFireability-13 (AF( (AU( ( ((potential((tk(P10)>=1) & (tk(P42)>=1) & (tk(P462)>=1)))) & ((potential((tk(P104)>=1) & (tk(P284)>=1) & (tk(P825)>=1)))) ) , ((potential((tk(P278)>=1) & (tk(P336)>=1) & (tk(P903)>=1)))) ))))
PROPERTY: Dekker-PT-200-CTLFireability-14 (EU( (! ( ((potential((tk(P162)>=1) & (tk(P336)>=1) & (tk(P903)>=1)))) | ( ((potential((tk(P82)>=1) & (tk(P162)>=1) & (tk(P642)>=1)))) & ((potential((tk(P70)>=1) & (tk(P132)>=1) & (tk(P504)>=1)))) ) )) , ( (EG( ((potential((tk(P78)>=1) & (tk(P260)>=1) & (tk(P789)>=1)))))) & ( ( ((potential((tk(P76)>=1) & (tk(P314)>=1) & (tk(P513)>=1)))) | ((potential((tk(P128)>=1) & (tk(P312)>=1) & (tk(P867)>=1)))) ) & ( ((potential((tk(P18)>=1) & (tk(P362)>=1) & (tk(P942)>=1)))) & ((potential((tk(P178)>=1) & (tk(P360)>=1) & (tk(P939)>=1)))) ) ) ) ))
PROPERTY: Dekker-PT-200-CTLFireability-15 (AU( (AG( (! ((potential((tk(P54)>=1) & (tk(P216)>=1) & (tk(P480)>=1))))))) , ( ( ( ((potential((tk(P242)>=1) & (tk(P252)>=1) & (tk(P777)>=1)))) | ((potential((tk(P98)>=1) & (tk(P248)>=1) & (tk(P771)>=1)))) ) & ((potential((tk(P176)>=1) & (tk(P376)>=1) & (tk(P963)>=1)))) ) & (AX( ((potential((tk(P96)>=1) & (tk(P200)>=1) & (tk(P543)>=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="Dekker-PT-200"
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 Dekker-PT-200, 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 r063-tajo-158922807300348"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-200.tgz
mv Dekker-PT-200 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 '
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 ;