About the Execution of smart for BART-PT-040
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.900 | 3600000.00 | 3599049.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r018-oct2-158897679500108.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BART-PT-040, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500108
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-rw-r--r-- 1 mcc users 4.4K Apr 15 13:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 15 13:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 15 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 945K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.5M Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.7M Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Apr 15 13:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 15 13:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.5M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BART-PT-040-CTLFireability-00
FORMULA_NAME BART-PT-040-CTLFireability-01
FORMULA_NAME BART-PT-040-CTLFireability-02
FORMULA_NAME BART-PT-040-CTLFireability-03
FORMULA_NAME BART-PT-040-CTLFireability-04
FORMULA_NAME BART-PT-040-CTLFireability-05
FORMULA_NAME BART-PT-040-CTLFireability-06
FORMULA_NAME BART-PT-040-CTLFireability-07
FORMULA_NAME BART-PT-040-CTLFireability-08
FORMULA_NAME BART-PT-040-CTLFireability-09
FORMULA_NAME BART-PT-040-CTLFireability-10
FORMULA_NAME BART-PT-040-CTLFireability-11
FORMULA_NAME BART-PT-040-CTLFireability-12
FORMULA_NAME BART-PT-040-CTLFireability-13
FORMULA_NAME BART-PT-040-CTLFireability-14
FORMULA_NAME BART-PT-040-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589012478049
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 040
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: 5490 places, 8080 transitions, 64800 arcs.
AT ITER 0 NEW BEST:: SOT 31726032 SOS 20962474 HAS SOPS 16343565 HAS SOUS 14680435 HAS SOUPS 14485925 WITH SCORE 1.4506887474E7
AT ITER 2 NEW BEST:: SOT 31726257 SOS 20962923 HAS SOPS 16342152 HAS SOUS 14681507 HAS SOUPS 14484513 WITH SCORE 1.4505475923E7
AT ITER 3 NEW BEST:: SOT 31727484 SOS 21010110 HAS SOPS 16340913 HAS SOUS 14683805 HAS SOUPS 14483274 WITH SCORE 1.450428411E7
AT ITER 5 NEW BEST:: SOT 31727484 SOS 21010110 HAS SOPS 16338735 HAS SOUS 14682260 HAS SOUPS 14481096 WITH SCORE 1.450210611E7
AT ITER 8 NEW BEST:: SOT 31726655 SOS 21009281 HAS SOPS 16336247 HAS SOUS 14680602 HAS SOUPS 14477780 WITH SCORE 1.4498789281E7
AT ITER 10 NEW BEST:: SOT 31726049 SOS 21008675 HAS SOPS 16335641 HAS SOUS 14679996 HAS SOUPS 14477174 WITH SCORE 1.4498182675E7
AT ITER 16 NEW BEST:: SOT 31726293 SOS 21009162 HAS SOPS 16334255 HAS SOUS 14681224 HAS SOUPS 14475789 WITH SCORE 1.4496798162E7
AT ITER 18 NEW BEST:: SOT 31726293 SOS 21009162 HAS SOPS 16332746 HAS SOUS 14678530 HAS SOUPS 14472619 WITH SCORE 1.4493628162E7
AT ITER 20 NEW BEST:: SOT 31726293 SOS 21009162 HAS SOPS 16331594 HAS SOUS 14675792 HAS SOUPS 14469806 WITH SCORE 1.4490815162E7
AT ITER 28 NEW BEST:: SOT 31726293 SOS 21009162 HAS SOPS 16330868 HAS SOUS 14674851 HAS SOUPS 14468356 WITH SCORE 1.4489365162E7
AT ITER 29 NEW BEST:: SOT 31726323 SOS 21009327 HAS SOPS 16329266 HAS SOUS 14675825 HAS SOUPS 14466755 WITH SCORE 1.4487764327E7
AT ITER 33 NEW BEST:: SOT 31726357 SOS 21034121 HAS SOPS 16327994 HAS SOUS 14675676 HAS SOUPS 14465483 WITH SCORE 1.4486517121E7
AT ITER 35 NEW BEST:: SOT 31726490 SOS 21034386 HAS SOPS 16326495 HAS SOUS 14676776 HAS SOUPS 14463985 WITH SCORE 1.4485019386E7
AT ITER 36 NEW BEST:: SOT 31726490 SOS 21034386 HAS SOPS 16324930 HAS SOUS 14674530 HAS SOUPS 14460787 WITH SCORE 1.4481821386E7
AT ITER 37 NEW BEST:: SOT 31726490 SOS 21034386 HAS SOPS 16324932 HAS SOUS 14674525 HAS SOUPS 14460782 WITH SCORE 1.4481816386E7
AT ITER 38 NEW BEST:: SOT 31726490 SOS 21034386 HAS SOPS 16324176 HAS SOUS 14672104 HAS SOUPS 14458361 WITH SCORE 1.4479395386E7
AT ITER 42 NEW BEST:: SOT 31726976 SOS 21035357 HAS SOPS 16322994 HAS SOUS 14672898 HAS SOUPS 14457180 WITH SCORE 1.4478215357E7
AT ITER 44 NEW BEST:: SOT 31726976 SOS 21035357 HAS SOPS 16321946 HAS SOUS 14672839 HAS SOUPS 14456133 WITH SCORE 1.4477168357E7
AT ITER 49 NEW BEST:: SOT 31726868 SOS 21035249 HAS SOPS 16321838 HAS SOUS 14672731 HAS SOUPS 14456025 WITH SCORE 1.4477060249E7
AT ITER 50 NEW BEST:: SOT 31727273 SOS 21036058 HAS SOPS 16320599 HAS SOUS 14673873 HAS SOUPS 14454787 WITH SCORE 1.4475823058E7
AT ITER 52 NEW BEST:: SOT 31727273 SOS 21036058 HAS SOPS 16319663 HAS SOUS 14672830 HAS SOUPS 14452917 WITH SCORE 1.4473953058E7
AT ITER 53 NEW BEST:: SOT 31727273 SOS 21036058 HAS SOPS 16320043 HAS SOUS 14671843 HAS SOUPS 14451930 WITH SCORE 1.4472966058E7
AT ITER 54 NEW BEST:: SOT 31727273 SOS 21036058 HAS SOPS 16319329 HAS SOUS 14671711 HAS SOUPS 14451216 WITH SCORE 1.4472252058E7
AT ITER 61 NEW BEST:: SOT 31727273 SOS 21036058 HAS SOPS 16319325 HAS SOUS 14671707 HAS SOUPS 14451212 WITH SCORE 1.4472248058E7
AT ITER 63 NEW BEST:: SOT 31727273 SOS 21036058 HAS SOPS 16319321 HAS SOUS 14671872 HAS SOUPS 14451208 WITH SCORE 1.4472244058E7
AT ITER 64 NEW BEST:: SOT 31727273 SOS 21036058 HAS SOPS 16318319 HAS SOUS 14669685 HAS SOUPS 14448545 WITH SCORE 1.4469581058E7
AT ITER 68 NEW BEST:: SOT 31725992 SOS 21034777 HAS SOPS 16317038 HAS SOUS 14668404 HAS SOUPS 14447264 WITH SCORE 1.4468298777E7
AT ITER 70 NEW BEST:: SOT 31725992 SOS 21034777 HAS SOPS 16316275 HAS SOUS 14668400 HAS SOUPS 14446501 WITH SCORE 1.4467535777E7
AT ITER 75 NEW BEST:: SOT 31725992 SOS 21034777 HAS SOPS 16313472 HAS SOUS 14665597 HAS SOUPS 14443698 WITH SCORE 1.4464732777E7
AT ITER 76 NEW BEST:: SOT 31725992 SOS 21034777 HAS SOPS 16312455 HAS SOUS 14664697 HAS SOUPS 14442681 WITH SCORE 1.4463715777E7
AT ITER 82 NEW BEST:: SOT 31725992 SOS 21034777 HAS SOPS 16311603 HAS SOUS 14663056 HAS SOUPS 14440190 WITH SCORE 1.4461224777E7
AT ITER 88 NEW BEST:: SOT 31726603 SOS 21035998 HAS SOPS 16310566 HAS SOUS 14664304 HAS SOUPS 14439154 WITH SCORE 1.4460189998E7
AT ITER 90 NEW BEST:: SOT 31726235 SOS 21035630 HAS SOPS 16309829 HAS SOUS 14663911 HAS SOUPS 14438417 WITH SCORE 1.445945263E7
AT ITER 91 NEW BEST:: SOT 31727160 SOS 21037474 HAS SOPS 16309098 HAS SOUS 14665177 HAS SOUPS 14437687 WITH SCORE 1.4458724474E7
AT ITER 93 NEW BEST:: SOT 31727160 SOS 21037474 HAS SOPS 16306332 HAS SOUS 14661132 HAS SOUPS 14433544 WITH SCORE 1.4454581474E7
AT ITER 94 NEW BEST:: SOT 31727160 SOS 21037474 HAS SOPS 16305413 HAS SOUS 14659818 HAS SOUPS 14431708 WITH SCORE 1.4452745474E7
AT ITER 97 NEW BEST:: SOT 31727160 SOS 21037474 HAS SOPS 16304113 HAS SOUS 14658089 HAS SOUPS 14428789 WITH SCORE 1.4449826474E7
AT ITER 103 NEW BEST:: SOT 31727160 SOS 21037474 HAS SOPS 16302915 HAS SOUS 14657261 HAS SOUPS 14427592 WITH SCORE 1.4448629474E7
AT ITER 106 NEW BEST:: SOT 31726716 SOS 21037030 HAS SOPS 16302273 HAS SOUS 14657121 HAS SOUPS 14426950 WITH SCORE 1.444798703E7
AT ITER 107 NEW BEST:: SOT 31726716 SOS 21037030 HAS SOPS 16299396 HAS SOUS 14654244 HAS SOUPS 14424073 WITH SCORE 1.444511003E7
AT ITER 108 NEW BEST:: SOT 31727231 SOS 21038059 HAS SOPS 16298259 HAS SOUS 14655358 HAS SOUPS 14422937 WITH SCORE 1.4443975059E7
AT ITER 109 NEW BEST:: SOT 31727180 SOS 21038008 HAS SOPS 16298157 HAS SOUS 14655307 HAS SOUPS 14422835 WITH SCORE 1.4443873008E7
AT ITER 117 NEW BEST:: SOT 31727180 SOS 21038008 HAS SOPS 16296834 HAS SOUS 14654734 HAS SOUPS 14421514 WITH SCORE 1.4442552008E7
AT ITER 119 NEW BEST:: SOT 31727180 SOS 21092701 HAS SOPS 16249659 HAS SOUS 14653459 HAS SOUPS 14418964 WITH SCORE 1.4440056701E7
AT ITER 120 NEW BEST:: SOT 31727180 SOS 21092701 HAS SOPS 16249206 HAS SOUS 14651335 HAS SOUPS 14416840 WITH SCORE 1.4437932701E7
AT ITER 122 NEW BEST:: SOT 31727615 SOS 21093460 HAS SOPS 16248223 HAS SOUS 14650647 HAS SOUPS 14415858 WITH SCORE 1.443695146E7
AT ITER 127 NEW BEST:: SOT 31727615 SOS 21093460 HAS SOPS 16247139 HAS SOUS 14649159 HAS SOUPS 14413692 WITH SCORE 1.443478546E7
AT ITER 130 NEW BEST:: SOT 31727615 SOS 21093460 HAS SOPS 16245601 HAS SOUS 14647585 HAS SOUPS 14410586 WITH SCORE 1.443167946E7
AT ITER 133 NEW BEST:: SOT 31727507 SOS 21046375 HAS SOPS 16195546 HAS SOUS 14645373 HAS SOUPS 14408374 WITH SCORE 1.4429420375E7
AT ITER 137 NEW BEST:: SOT 31727483 SOS 21046351 HAS SOPS 16195497 HAS SOUS 14645324 HAS SOUPS 14408325 WITH SCORE 1.4429371351E7
AT ITER 156 NEW BEST:: SOT 31727483 SOS 21046351 HAS SOPS 16192232 HAS SOUS 14642061 HAS SOUPS 14405062 WITH SCORE 1.4426108351E7
AT ITER 157 NEW BEST:: SOT 31727724 SOS 21046711 HAS SOPS 16191085 HAS SOUS 14643905 HAS SOUPS 14403916 WITH SCORE 1.4424962711E7
AT ITER 158 NEW BEST:: SOT 31727408 SOS 21046395 HAS SOPS 16190769 HAS SOUS 14643589 HAS SOUPS 14403600 WITH SCORE 1.4424646395E7
AT ITER 160 NEW BEST:: SOT 31727408 SOS 21046395 HAS SOPS 16189779 HAS SOUS 14641666 HAS SOUPS 14401676 WITH SCORE 1.4422722395E7
AT ITER 161 NEW BEST:: SOT 31727408 SOS 21046395 HAS SOPS 16187573 HAS SOUS 14639188 HAS SOUPS 14398954 WITH SCORE 1.4420000395E7
AT ITER 163 NEW BEST:: SOT 31727408 SOS 21046395 HAS SOPS 16187285 HAS SOUS 14637259 HAS SOUPS 14397025 WITH SCORE 1.4418071395E7
AT ITER 164 NEW BEST:: SOT 31727408 SOS 21046395 HAS SOPS 16186456 HAS SOUS 14637145 HAS SOUPS 14396196 WITH SCORE 1.4417242395E7
AT ITER 171 NEW BEST:: SOT 31727418 SOS 21046467 HAS SOPS 16184826 HAS SOUS 14637934 HAS SOUPS 14394567 WITH SCORE 1.4415613467E7
AT ITER 177 NEW BEST:: SOT 31727418 SOS 21046467 HAS SOPS 16184825 HAS SOUS 14637487 HAS SOUPS 14394120 WITH SCORE 1.4415166467E7
AT ITER 181 NEW BEST:: SOT 31727418 SOS 21046467 HAS SOPS 16183583 HAS SOUS 14635071 HAS SOUPS 14391704 WITH SCORE 1.4412750467E7
AT ITER 183 NEW BEST:: SOT 31727999 SOS 21047628 HAS SOPS 16182494 HAS SOUS 14635915 HAS SOUPS 14390616 WITH SCORE 1.4411663628E7
AT ITER 185 NEW BEST:: SOT 31727999 SOS 21047628 HAS SOPS 16183056 HAS SOUS 14635492 HAS SOUPS 14390193 WITH SCORE 1.4411240628E7
AT ITER 186 NEW BEST:: SOT 31727999 SOS 21047628 HAS SOPS 16182319 HAS SOUS 14633714 HAS SOUPS 14387803 WITH SCORE 1.4408850628E7
AT ITER 188 NEW BEST:: SOT 31728030 SOS 21047900 HAS SOPS 16180734 HAS SOUS 14634979 HAS SOUPS 14386219 WITH SCORE 1.44072669E7
AT ITER 192 NEW BEST:: SOT 31728030 SOS 21047900 HAS SOPS 16180395 HAS SOUS 14633490 HAS SOUPS 14384220 WITH SCORE 1.44052679E7
AT ITER 193 NEW BEST:: SOT 31728234 SOS 21048307 HAS SOPS 16178987 HAS SOUS 14635040 HAS SOUPS 14382813 WITH SCORE 1.4403861307E7
AT ITER 197 NEW BEST:: SOT 31728234 SOS 21048307 HAS SOPS 16179041 HAS SOUS 14633933 HAS SOUPS 14381706 WITH SCORE 1.4402754307E7
AT ITER 201 NEW BEST:: SOT 31728234 SOS 21048307 HAS SOPS 16177647 HAS SOUS 14631786 HAS SOUPS 14378675 WITH SCORE 1.4399723307E7
AT ITER 202 NEW BEST:: SOT 31728234 SOS 21048307 HAS SOPS 16177310 HAS SOUS 14631114 HAS SOUPS 14378003 WITH SCORE 1.4399051307E7
AT ITER 203 NEW BEST:: SOT 31727694 SOS 21001070 HAS SOPS 16112271 HAS SOUS 14612786 HAS SOUPS 14359675 WITH SCORE 1.438067607E7
AT ITER 204 NEW BEST:: SOT 31726386 SOS 20999762 HAS SOPS 16110219 HAS SOUS 14611001 HAS SOUPS 14357623 WITH SCORE 1.4378622762E7
AT ITER 208 NEW BEST:: SOT 31726427 SOS 21000082 HAS SOPS 16108682 HAS SOUS 14609702 HAS SOUPS 14356087 WITH SCORE 1.4377087082E7
AT ITER 212 NEW BEST:: SOT 31726192 SOS 20999847 HAS SOPS 16108212 HAS SOUS 14609297 HAS SOUPS 14355617 WITH SCORE 1.4376616847E7
AT ITER 213 NEW BEST:: SOT 31726192 SOS 20999847 HAS SOPS 16107342 HAS SOUS 14608140 HAS SOUPS 14353879 WITH SCORE 1.4374878847E7
AT ITER 217 NEW BEST:: SOT 31726192 SOS 20999847 HAS SOPS 16107181 HAS SOUS 14607980 HAS SOUPS 14353719 WITH SCORE 1.4374718847E7
AT ITER 223 NEW BEST:: SOT 31726192 SOS 20999847 HAS SOPS 16106572 HAS SOUS 14606764 HAS SOUPS 14352503 WITH SCORE 1.4373502847E7
AT ITER 224 NEW BEST:: SOT 31726192 SOS 20999847 HAS SOPS 16105902 HAS SOUS 14607196 HAS SOUPS 14351833 WITH SCORE 1.4372832847E7
AT ITER 239 NEW BEST:: SOT 31728024 SOS 21001679 HAS SOPS 16106447 HAS SOUS 14606178 HAS SOUPS 14350725 WITH SCORE 1.4371726679E7
AT ITER 240 NEW BEST:: SOT 31728090 SOS 21001810 HAS SOPS 16104859 HAS SOUS 14604591 HAS SOUPS 14349138 WITH SCORE 1.437013981E7
AT ITER 246 NEW BEST:: SOT 31727274 SOS 20997714 HAS SOPS 16104290 HAS SOUS 14603982 HAS SOUPS 14348570 WITH SCORE 1.4369567714E7
AT ITER 247 NEW BEST:: SOT 31728722 SOS 20999162 HAS SOPS 16104921 HAS SOUS 14602991 HAS SOUPS 14347548 WITH SCORE 1.4368547162E7
AT ITER 248 NEW BEST:: SOT 31728722 SOS 20999162 HAS SOPS 16103948 HAS SOUS 14602703 HAS SOUPS 14346575 WITH SCORE 1.4367574162E7
AT ITER 254 NEW BEST:: SOT 31728998 SOS 21000269 HAS SOPS 16103315 HAS SOUS 14602925 HAS SOUPS 14345942 WITH SCORE 1.4366942269E7
AT ITER 257 NEW BEST:: SOT 31729695 SOS 21001478 HAS SOPS 16102716 HAS SOUS 14604867 HAS SOUPS 14345344 WITH SCORE 1.4366345478E7
AT ITER 270 NEW BEST:: SOT 31729695 SOS 21001478 HAS SOPS 16101429 HAS SOUS 14602293 HAS SOUPS 14342770 WITH SCORE 1.4363771478E7
AT ITER 272 NEW BEST:: SOT 31729695 SOS 21001478 HAS SOPS 16101428 HAS SOUS 14600703 HAS SOUPS 14341612 WITH SCORE 1.4362613478E7
AT ITER 279 NEW BEST:: SOT 31729695 SOS 21001478 HAS SOPS 16101657 HAS SOUS 14600097 HAS SOUPS 14341006 WITH SCORE 1.4362007478E7
AT ITER 282 NEW BEST:: SOT 31730183 SOS 21002455 HAS SOPS 16101361 HAS SOUS 14599924 HAS SOUPS 14340711 WITH SCORE 1.4361713455E7
AT ITER 283 NEW BEST:: SOT 31730868 SOS 21003809 HAS SOPS 16100430 HAS SOUS 14601330 HAS SOUPS 14339781 WITH SCORE 1.4360784809E7
AT ITER 286 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16101069 HAS SOUS 14600491 HAS SOUPS 14338942 WITH SCORE 1.4359945736E7
AT ITER 289 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16099510 HAS SOUS 14597265 HAS SOUPS 14335716 WITH SCORE 1.4356719736E7
AT ITER 292 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16098878 HAS SOUS 14597275 HAS SOUPS 14335084 WITH SCORE 1.4356087736E7
AT ITER 295 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16097898 HAS SOUS 14595317 HAS SOUPS 14333126 WITH SCORE 1.4354129736E7
AT ITER 296 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16099272 HAS SOUS 14595022 HAS SOUPS 14332831 WITH SCORE 1.4353834736E7
AT ITER 297 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16099106 HAS SOUS 14594866 HAS SOUPS 14332665 WITH SCORE 1.4353668736E7
AT ITER 299 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16098928 HAS SOUS 14594466 HAS SOUPS 14331586 WITH SCORE 1.4352589736E7
AT ITER 300 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16098549 HAS SOUS 14592414 HAS SOUPS 14329534 WITH SCORE 1.4350537736E7
AT ITER 311 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16099725 HAS SOUS 14592413 HAS SOUPS 14329533 WITH SCORE 1.4350536736E7
AT ITER 312 NEW BEST:: SOT 31730812 SOS 21003736 HAS SOPS 16099823 HAS SOUS 14592082 HAS SOUPS 14329202 WITH SCORE 1.4350205736E7
AT ITER 317 NEW BEST:: SOT 31731178 SOS 21004309 HAS SOPS 16098780 HAS SOUS 14593988 HAS SOUPS 14328160 WITH SCORE 1.4349164309E7
AT ITER 325 NEW BEST:: SOT 31731178 SOS 21004309 HAS SOPS 16096294 HAS SOUS 14592039 HAS SOUPS 14325192 WITH SCORE 1.4346196309E7
AT ITER 327 NEW BEST:: SOT 31731178 SOS 21005024 HAS SOPS 16095382 HAS SOUS 14589578 HAS SOUPS 14322656 WITH SCORE 1.4343661024E7
AT ITER 329 NEW BEST:: SOT 31729926 SOS 21003772 HAS SOPS 16092877 HAS SOUS 14587073 HAS SOUPS 14318899 WITH SCORE 1.4339902772E7
AT ITER 337 NEW BEST:: SOT 31729926 SOS 21003772 HAS SOPS 16091476 HAS SOUS 14584659 HAS SOUPS 14315873 WITH SCORE 1.4336876772E7
AT ITER 340 NEW BEST:: SOT 31729926 SOS 21003772 HAS SOPS 16093934 HAS SOUS 14584658 HAS SOUPS 14315872 WITH SCORE 1.4336875772E7
AT ITER 341 NEW BEST:: SOT 31729926 SOS 21003772 HAS SOPS 16093260 HAS SOUS 14584400 HAS SOUPS 14315612 WITH SCORE 1.4336615772E7
AT ITER 347 NEW BEST:: SOT 31729926 SOS 21003772 HAS SOPS 16092063 HAS SOUS 14582305 HAS SOUPS 14312769 WITH SCORE 1.4333772772E7
AT ITER 357 NEW BEST:: SOT 31729926 SOS 21003772 HAS SOPS 16091613 HAS SOUS 14581407 HAS SOUPS 14311871 WITH SCORE 1.4332874772E7
AT ITER 363 NEW BEST:: SOT 31729926 SOS 21003772 HAS SOPS 16090285 HAS SOUS 14578753 HAS SOUPS 14309217 WITH SCORE 1.4330220772E7
AT ITER 369 NEW BEST:: SOT 31730368 SOS 21004655 HAS SOPS 16089073 HAS SOUS 14579737 HAS SOUPS 14308006 WITH SCORE 1.4329010655E7
AT ITER 373 NEW BEST:: SOT 31730122 SOS 21004409 HAS SOPS 16088827 HAS SOUS 14579491 HAS SOUPS 14307760 WITH SCORE 1.4328764409E7
AT ITER 380 NEW BEST:: SOT 31730122 SOS 21004409 HAS SOPS 16086909 HAS SOUS 14578073 HAS SOUPS 14305841 WITH SCORE 1.4326845409E7
AT ITER 384 NEW BEST:: SOT 31730122 SOS 21004409 HAS SOPS 16084976 HAS SOUS 14575769 HAS SOUPS 14303375 WITH SCORE 1.4324379409E7
AT ITER 385 NEW BEST:: SOT 31730122 SOS 21004409 HAS SOPS 16084972 HAS SOUS 14575765 HAS SOUPS 14303371 WITH SCORE 1.4324375409E7
AT ITER 386 NEW BEST:: SOT 31730131 SOS 21004559 HAS SOPS 16083347 HAS SOUS 14574141 HAS SOUPS 14301747 WITH SCORE 1.4322751559E7
AT ITER 401 NEW BEST:: SOT 31731102 SOS 21006232 HAS SOPS 16083156 HAS SOUS 14576219 HAS SOUPS 14301557 WITH SCORE 1.4322563232E7
AT ITER 404 NEW BEST:: SOT 31731159 SOS 21007070 HAS SOPS 16081613 HAS SOUS 14574677 HAS SOUPS 14300015 WITH SCORE 1.432102207E7
AT ITER 406 NEW BEST:: SOT 31731159 SOS 21007070 HAS SOPS 16077788 HAS SOUS 14571401 HAS SOUPS 14296190 WITH SCORE 1.431719707E7
AT ITER 408 NEW BEST:: SOT 31731159 SOS 21007070 HAS SOPS 16076793 HAS SOUS 14571395 HAS SOUPS 14295195 WITH SCORE 1.431620207E7
AT ITER 411 NEW BEST:: SOT 31731159 SOS 21007070 HAS SOPS 16076887 HAS SOUS 14569861 HAS SOUPS 14293661 WITH SCORE 1.431466807E7
AT ITER 416 NEW BEST:: SOT 31731159 SOS 21007070 HAS SOPS 16075564 HAS SOUS 14566889 HAS SOUPS 14290689 WITH SCORE 1.431169607E7
AT ITER 422 NEW BEST:: SOT 31731176 SOS 21007087 HAS SOPS 16075598 HAS SOUS 14566854 HAS SOUPS 14290654 WITH SCORE 1.4311661087E7
AT ITER 427 NEW BEST:: SOT 31731176 SOS 21007087 HAS SOPS 16074550 HAS SOUS 14564133 HAS SOUPS 14287933 WITH SCORE 1.4308940087E7
AT ITER 428 NEW BEST:: SOT 31731176 SOS 21007087 HAS SOPS 16073437 HAS SOUS 14562661 HAS SOUPS 14285709 WITH SCORE 1.4306716087E7
AT ITER 432 NEW BEST:: SOT 31731176 SOS 21007087 HAS SOPS 16071833 HAS SOUS 14560340 HAS SOUPS 14282470 WITH SCORE 1.4303477087E7
AT ITER 434 NEW BEST:: SOT 31731176 SOS 21007087 HAS SOPS 16070415 HAS SOUS 14558135 HAS SOUPS 14279636 WITH SCORE 1.4300643087E7
AT ITER 455 NEW BEST:: SOT 31731176 SOS 21007087 HAS SOPS 16069531 HAS SOUS 14556356 HAS SOUPS 14277857 WITH SCORE 1.4298864087E7
AT ITER 461 NEW BEST:: SOT 31731176 SOS 21007087 HAS SOPS 16067938 HAS SOUS 14554550 HAS SOUPS 14274657 WITH SCORE 1.4295664087E7
AT ITER 465 NEW BEST:: SOT 31730506 SOS 21006417 HAS SOPS 16066692 HAS SOUS 14553304 HAS SOUPS 14273411 WITH SCORE 1.4294417417E7
AT ITER 479 NEW BEST:: SOT 31730506 SOS 21006417 HAS SOPS 16065972 HAS SOUS 14551003 HAS SOUPS 14271050 WITH SCORE 1.4292056417E7
AT ITER 480 NEW BEST:: SOT 31730245 SOS 21006156 HAS SOPS 16065711 HAS SOUS 14548492 HAS SOUPS 14270789 WITH SCORE 1.4291795156E7
AT ITER 482 NEW BEST:: SOT 31731075 SOS 21007815 HAS SOPS 16064877 HAS SOUS 14547659 HAS SOUPS 14269956 WITH SCORE 1.4290963815E7
AT ITER 484 NEW BEST:: SOT 31731084 SOS 21007833 HAS SOPS 16063474 HAS SOUS 14547486 HAS SOUPS 14269783 WITH SCORE 1.4290790833E7
AT ITER 489 NEW BEST:: SOT 31729196 SOS 21004505 HAS SOPS 16061804 HAS SOUS 14545780 HAS SOUPS 14268114 WITH SCORE 1.4289118505E7
AT ITER 493 NEW BEST:: SOT 31730912 SOS 21006221 HAS SOPS 16062118 HAS SOUS 14544643 HAS SOUPS 14266801 WITH SCORE 1.4287807221E7
AT ITER 498 NEW BEST:: SOT 31730912 SOS 21006221 HAS SOPS 16060489 HAS SOUS 14541438 HAS SOUPS 14263596 WITH SCORE 1.4284602221E7
AT ITER 499 NEW BEST:: SOT 31730912 SOS 21006221 HAS SOPS 16058942 HAS SOUS 14538346 HAS SOUPS 14260504 WITH SCORE 1.4281510221E7
AT ITER 503 NEW BEST:: SOT 31730924 SOS 21006245 HAS SOPS 16058966 HAS SOUS 14536711 HAS SOUPS 14258869 WITH SCORE 1.4279875245E7
AT ITER 506 NEW BEST:: SOT 31730924 SOS 21006245 HAS SOPS 16057745 HAS SOUS 14535347 HAS SOUPS 14256429 WITH SCORE 1.4277435245E7
AT ITER 511 NEW BEST:: SOT 30270598 SOS 19577483 HAS SOPS 14597418 HAS SOUS 13075636 HAS SOUPS 12794469 WITH SCORE 1.2814046483E7
AT ITER 513 NEW BEST:: SOT 30269895 SOS 19576780 HAS SOPS 14595511 HAS SOUS 13075421 HAS SOUPS 12792563 WITH SCORE 1.281213978E7
AT ITER 517 NEW BEST:: SOT 30269935 SOS 19590820 HAS SOPS 14594899 HAS SOUS 13075579 HAS SOUPS 12791951 WITH SCORE 1.281154182E7
AT ITER 518 NEW BEST:: SOT 30270910 SOS 19592919 HAS SOPS 14593847 HAS SOUS 13077632 HAS SOUPS 12790900 WITH SCORE 1.2810492919E7
AT ITER 520 NEW BEST:: SOT 30270532 SOS 19592541 HAS SOPS 14593091 HAS SOUS 13076876 HAS SOUPS 12790144 WITH SCORE 1.2809736541E7
AT ITER 521 NEW BEST:: SOT 30270532 SOS 19592541 HAS SOPS 14592645 HAS SOUS 13076524 HAS SOUPS 12789698 WITH SCORE 1.2809290541E7
AT ITER 524 NEW BEST:: SOT 30270487 SOS 19592859 HAS SOPS 14592264 HAS SOUS 13078101 HAS SOUPS 12789317 WITH SCORE 1.2808909859E7
AT ITER 533 NEW BEST:: SOT 30270105 SOS 19543188 HAS SOPS 14533521 HAS SOUS 13066888 HAS SOUPS 12778104 WITH SCORE 1.2797647188E7
AT ITER 538 NEW BEST:: SOT 30270105 SOS 19543188 HAS SOPS 14533520 HAS SOUS 13066504 HAS SOUPS 12777720 WITH SCORE 1.2797263188E7
AT ITER 539 NEW BEST:: SOT 30268834 SOS 19542665 HAS SOPS 14530885 HAS SOUS 13063870 HAS SOUPS 12775086 WITH SCORE 1.2794628665E7
AT ITER 540 NEW BEST:: SOT 30267844 SOS 19542160 HAS SOPS 14528253 HAS SOUS 13061239 HAS SOUPS 12772455 WITH SCORE 1.279199716E7
AT ITER 544 NEW BEST:: SOT 30266463 SOS 19540779 HAS SOPS 14525490 HAS SOUS 13058191 HAS SOUPS 12768081 WITH SCORE 1.2787621779E7
AT ITER 547 NEW BEST:: SOT 30265750 SOS 19540066 HAS SOPS 14524063 HAS SOUS 13056052 HAS SOUPS 12765942 WITH SCORE 1.2785482066E7
AT ITER 549 NEW BEST:: SOT 30265349 SOS 19539665 HAS SOPS 14523260 HAS SOUS 13054849 HAS SOUPS 12764739 WITH SCORE 1.2784278665E7
AT ITER 553 NEW BEST:: SOT 30264774 SOS 19539090 HAS SOPS 14522076 HAS SOUS 13052033 HAS SOUPS 12761923 WITH SCORE 1.278146209E7
AT ITER 555 NEW BEST:: SOT 30264434 SOS 19539583 HAS SOPS 14520318 HAS SOUS 13052374 HAS SOUPS 12760166 WITH SCORE 1.2779705583E7
AT ITER 559 NEW BEST:: SOT 30263752 SOS 19538901 HAS SOPS 14518953 HAS SOUS 13050328 HAS SOUPS 12758120 WITH SCORE 1.2777658901E7
AT ITER 560 NEW BEST:: SOT 30262768 SOS 19537917 HAS SOPS 14516946 HAS SOUS 13047300 HAS SOUPS 12755092 WITH SCORE 1.2774629917E7
AT ITER 561 NEW BEST:: SOT 30262124 SOS 19513445 HAS SOPS 14493118 HAS SOUS 13046012 HAS SOUPS 12753804 WITH SCORE 1.2773317445E7
AT ITER 563 NEW BEST:: SOT 30261758 SOS 19513079 HAS SOPS 14492352 HAS SOUS 13044826 HAS SOUPS 12752618 WITH SCORE 1.2772131079E7
AT ITER 567 NEW BEST:: SOT 30261862 SOS 19513290 HAS SOPS 14490417 HAS SOUS 13042540 HAS SOUPS 12750332 WITH SCORE 1.276984529E7
AT ITER 570 NEW BEST:: SOT 30260844 SOS 19512563 HAS SOPS 14487747 HAS SOUS 13042106 HAS SOUPS 12747663 WITH SCORE 1.2767175563E7
AT ITER 573 NEW BEST:: SOT 30260799 SOS 19513443 HAS SOPS 14487236 HAS SOUS 13041596 HAS SOUPS 12747153 WITH SCORE 1.2766666443E7
AT ITER 578 NEW BEST:: SOT 30261315 SOS 19513959 HAS SOPS 14486767 HAS SOUS 13041091 HAS SOUPS 12746648 WITH SCORE 1.2766161959E7
AT ITER 587 NEW BEST:: SOT 30260819 SOS 19514005 HAS SOPS 14485265 HAS SOUS 13039998 HAS SOUPS 12745147 WITH SCORE 1.2764661005E7
AT ITER 588 NEW BEST:: SOT 30260819 SOS 19514005 HAS SOPS 14485264 HAS SOUS 13039191 HAS SOUPS 12744340 WITH SCORE 1.2763854005E7
AT ITER 601 NEW BEST:: SOT 30260850 SOS 19515038 HAS SOPS 14483705 HAS SOUS 13037633 HAS SOUPS 12742782 WITH SCORE 1.2762297038E7
AT ITER 602 NEW BEST:: SOT 30259280 SOS 19513468 HAS SOPS 14480564 HAS SOUS 13033366 HAS SOUPS 12738040 WITH SCORE 1.2757553468E7
AT ITER 610 NEW BEST:: SOT 30259280 SOS 19513468 HAS SOPS 14479098 HAS SOUS 13031806 HAS SOUPS 12736480 WITH SCORE 1.2755993468E7
AT ITER 613 NEW BEST:: SOT 30258996 SOS 19513184 HAS SOPS 14476886 HAS SOUS 13030562 HAS SOUPS 12735076 WITH SCORE 1.2754589184E7
AT ITER 618 NEW BEST:: SOT 30259146 SOS 19513334 HAS SOPS 14477969 HAS SOUS 13029773 HAS SOUPS 12734287 WITH SCORE 1.2753800334E7
AT ITER 623 NEW BEST:: SOT 30258648 SOS 19512836 HAS SOPS 14477111 HAS SOUS 13028915 HAS SOUPS 12733429 WITH SCORE 1.2752941836E7
AT ITER 625 NEW BEST:: SOT 30258245 SOS 19512433 HAS SOPS 14476216 HAS SOUS 13027530 HAS SOUPS 12732044 WITH SCORE 1.2751556433E7
AT ITER 636 NEW BEST:: SOT 30258245 SOS 19512433 HAS SOPS 14476215 HAS SOUS 13025940 HAS SOUPS 12730454 WITH SCORE 1.2749966433E7
AT ITER 637 NEW BEST:: SOT 30257602 SOS 19511790 HAS SOPS 14474758 HAS SOUS 13023619 HAS SOUPS 12728133 WITH SCORE 1.274764479E7
AT ITER 643 NEW BEST:: SOT 30258620 SOS 19513331 HAS SOPS 14474130 HAS SOUS 13025327 HAS SOUPS 12727506 WITH SCORE 1.2747019331E7
AT ITER 650 NEW BEST:: SOT 30258522 SOS 19513233 HAS SOPS 14473861 HAS SOUS 13025058 HAS SOUPS 12727237 WITH SCORE 1.2746750233E7
AT ITER 651 NEW BEST:: SOT 30257541 SOS 19512335 HAS SOPS 14471214 HAS SOUS 13022413 HAS SOUPS 12724591 WITH SCORE 1.2744103335E7
AT ITER 652 NEW BEST:: SOT 30256586 SOS 19511860 HAS SOPS 14468587 HAS SOUS 13019787 HAS SOUPS 12721965 WITH SCORE 1.274147686E7
AT ITER 653 NEW BEST:: SOT 30256586 SOS 19511860 HAS SOPS 14467171 HAS SOUS 13020051 HAS SOUPS 12720549 WITH SCORE 1.274006086E7
AT ITER 657 NEW BEST:: SOT 30256558 SOS 19511832 HAS SOPS 14467115 HAS SOUS 13020009 HAS SOUPS 12720493 WITH SCORE 1.2740004832E7
AT ITER 661 NEW BEST:: SOT 30256558 SOS 19511832 HAS SOPS 14466834 HAS SOUS 13019788 HAS SOUPS 12720212 WITH SCORE 1.2739723832E7
AT ITER 664 NEW BEST:: SOT 30255571 SOS 19510926 HAS SOPS 14464778 HAS SOUS 13017732 HAS SOUPS 12718156 WITH SCORE 1.2737666926E7
AT ITER 667 NEW BEST:: SOT 30255571 SOS 19510926 HAS SOPS 14465127 HAS SOUS 13017731 HAS SOUPS 12718155 WITH SCORE 1.2737665926E7
AT ITER 668 NEW BEST:: SOT 30255207 SOS 19510562 HAS SOPS 14464399 HAS SOUS 13017367 HAS SOUPS 12717427 WITH SCORE 1.2736937562E7
AT ITER 674 NEW BEST:: SOT 30255548 SOS 19510903 HAS SOPS 14464500 HAS SOUS 13015999 HAS SOUPS 12716059 WITH SCORE 1.2735569903E7
AT ITER 675 NEW BEST:: SOT 30255548 SOS 19510903 HAS SOPS 14464443 HAS SOUS 13014275 HAS SOUPS 12714335 WITH SCORE 1.2733845903E7
AT ITER 676 NEW BEST:: SOT 30255548 SOS 19510903 HAS SOPS 14464475 HAS SOUS 13014269 HAS SOUPS 12714329 WITH SCORE 1.2733839903E7
AT ITER 680 NEW BEST:: SOT 30254964 SOS 19510841 HAS SOPS 14462227 HAS SOUS 13012022 HAS SOUPS 12712082 WITH SCORE 1.2731592841E7
AT ITER 683 NEW BEST:: SOT 30254083 SOS 19507317 HAS SOPS 14459521 HAS SOUS 13010197 HAS SOUPS 12710257 WITH SCORE 1.2729764317E7
AT ITER 696 NEW BEST:: SOT 30252850 SOS 19506084 HAS SOPS 14457054 HAS SOUS 13006498 HAS SOUPS 12706558 WITH SCORE 1.2726064084E7
AT ITER 697 NEW BEST:: SOT 30251749 SOS 19504983 HAS SOPS 14454651 HAS SOUS 13002910 HAS SOUPS 12702494 WITH SCORE 1.2721998983E7
AT ITER 703 NEW BEST:: SOT 30250689 SOS 19503923 HAS SOPS 14450304 HAS SOUS 12999608 HAS SOUPS 12698149 WITH SCORE 1.2717652923E7
AT ITER 715 NEW BEST:: SOT 30250039 SOS 19503273 HAS SOPS 14449003 HAS SOUS 12996758 HAS SOUPS 12695197 WITH SCORE 1.2714700273E7
AT ITER 725 NEW BEST:: SOT 30249182 SOS 19502416 HAS SOPS 14447288 HAS SOUS 12994187 HAS SOUPS 12692626 WITH SCORE 1.2712128416E7
AT ITER 728 NEW BEST:: SOT 30249725 SOS 19503743 HAS SOPS 14447207 HAS SOUS 12994921 HAS SOUPS 12692545 WITH SCORE 1.2712048743E7
AT ITER 729 NEW BEST:: SOT 30152308 SOS 19533748 HAS SOPS 14349149 HAS SOUS 12897893 HAS SOUPS 12594876 WITH SCORE 1.2614409748E7
AT ITER 730 NEW BEST:: SOT 30152308 SOS 19533748 HAS SOPS 14348378 HAS SOUS 12895589 HAS SOUPS 12592572 WITH SCORE 1.2612105748E7
AT ITER 731 NEW BEST:: SOT 30150917 SOS 19532357 HAS SOPS 14345595 HAS SOUS 12891447 HAS SOUPS 12588399 WITH SCORE 1.2607931357E7
AT ITER 735 NEW BEST:: SOT 30150917 SOS 19532357 HAS SOPS 14345594 HAS SOUS 12891090 HAS SOUPS 12588042 WITH SCORE 1.2607574357E7
AT ITER 736 NEW BEST:: SOT 30151107 SOS 19533002 HAS SOPS 14345179 HAS SOUS 12891102 HAS SOUPS 12587627 WITH SCORE 1.2607160002E7
AT ITER 743 NEW BEST:: SOT 30150033 SOS 19531928 HAS SOPS 14342824 HAS SOUS 12887084 HAS SOUPS 12583609 WITH SCORE 1.2603140928E7
AT ITER 744 NEW BEST:: SOT 30149108 SOS 19531466 HAS SOPS 14340683 HAS SOUS 12885586 HAS SOUPS 12581469 WITH SCORE 1.2601000466E7
AT ITER 755 NEW BEST:: SOT 30148123 SOS 19530481 HAS SOPS 14338662 HAS SOUS 12882882 HAS SOUPS 12578414 WITH SCORE 1.2597944481E7
AT ITER 760 NEW BEST:: SOT 30147864 SOS 19530222 HAS SOPS 14338805 HAS SOUS 12882364 HAS SOUPS 12577896 WITH SCORE 1.2597426222E7
AT ITER 766 NEW BEST:: SOT 30152566 SOS 19536098 HAS SOPS 14338764 HAS SOUS 12888044 HAS SOUPS 12577856 WITH SCORE 1.2597392098E7
AT ITER 767 NEW BEST:: SOT 30153160 SOS 19659391 HAS SOPS 14338544 HAS SOUS 12889988 HAS SOUPS 12577636 WITH SCORE 1.2597295391E7
AT ITER 768 NEW BEST:: SOT 30151981 SOS 19658212 HAS SOPS 14336185 HAS SOUS 12885978 HAS SOUPS 12573626 WITH SCORE 1.2593284212E7
AT ITER 774 NEW BEST:: SOT 30150383 SOS 19656614 HAS SOPS 14332988 HAS SOUS 12882676 HAS SOUPS 12568828 WITH SCORE 1.2588484614E7
AT ITER 776 NEW BEST:: SOT 30149475 SOS 19656206 HAS SOPS 14330434 HAS SOUS 12880123 HAS SOUPS 12566275 WITH SCORE 1.2585931206E7
AT ITER 778 NEW BEST:: SOT 30149229 SOS 19655960 HAS SOPS 14330679 HAS SOUS 12880123 HAS SOUPS 12566275 WITH SCORE 1.258593096E7
AT ITER 779 NEW BEST:: SOT 30147966 SOS 19654697 HAS SOPS 14328152 HAS SOUS 12876045 HAS SOUPS 12562107 WITH SCORE 1.2581761697E7
AT ITER 780 NEW BEST:: SOT 30146900 SOS 19653631 HAS SOPS 14326019 HAS SOUS 12873625 HAS SOUPS 12558909 WITH SCORE 1.2578562631E7
AT ITER 789 NEW BEST:: SOT 30146569 SOS 19653914 HAS SOPS 14325248 HAS SOUS 12872923 HAS SOUPS 12558139 WITH SCORE 1.2577792914E7
AT ITER 790 NEW BEST:: SOT 30146593 SOS 19673658 HAS SOPS 14324775 HAS SOUS 12873170 HAS SOUPS 12557666 WITH SCORE 1.2577339658E7
AT ITER 796 NEW BEST:: SOT 30146268 SOS 19674139 HAS SOPS 14322788 HAS SOUS 12871184 HAS SOUPS 12555680 WITH SCORE 1.2575354139E7
AT ITER 800 NEW BEST:: SOT 30145711 SOS 19674070 HAS SOPS 14320563 HAS SOUS 12868960 HAS SOUPS 12553456 WITH SCORE 1.257313007E7
AT ITER 802 NEW BEST:: SOT 30145334 SOS 19674380 HAS SOPS 14319544 HAS SOUS 12868247 HAS SOUPS 12552438 WITH SCORE 1.257211238E7
AT ITER 803 NEW BEST:: SOT 30145988 SOS 19675034 HAS SOPS 14319231 HAS SOUS 12867934 HAS SOUPS 12552125 WITH SCORE 1.2571800034E7
AT ITER 806 NEW BEST:: SOT 30145939 SOS 19674985 HAS SOPS 14319133 HAS SOUS 12867835 HAS SOUPS 12552026 WITH SCORE 1.2571700985E7
AT ITER 807 NEW BEST:: SOT 30144686 SOS 19674069 HAS SOPS 14316310 HAS SOUS 12865013 HAS SOUPS 12549204 WITH SCORE 1.2568878069E7
AT ITER 810 NEW BEST:: SOT 30143762 SOS 19673228 HAS SOPS 14313716 HAS SOUS 12862420 HAS SOUPS 12546611 WITH SCORE 1.2566284228E7
AT ITER 814 NEW BEST:: SOT 30143510 SOS 19627867 HAS SOPS 14257177 HAS SOUS 12850075 HAS SOUPS 12534266 WITH SCORE 1.2553893867E7
AT ITER 817 NEW BEST:: SOT 30142593 SOS 19626950 HAS SOPS 14255337 HAS SOUS 12847314 HAS SOUPS 12531505 WITH SCORE 1.255113195E7
AT ITER 821 NEW BEST:: SOT 30141438 SOS 19625795 HAS SOPS 14253027 HAS SOUS 12845565 HAS SOUPS 12529195 WITH SCORE 1.2548820795E7
AT ITER 823 NEW BEST:: SOT 30140953 SOS 19625370 HAS SOPS 14251509 HAS SOUS 12844048 HAS SOUPS 12527678 WITH SCORE 1.254730337E7
AT ITER 825 NEW BEST:: SOT 30139825 SOS 19624242 HAS SOPS 14248751 HAS SOUS 12839637 HAS SOUPS 12523267 WITH SCORE 1.2542891242E7
AT ITER 834 NEW BEST:: SOT 30139927 SOS 19625373 HAS SOPS 14247387 HAS SOUS 12838274 HAS SOUPS 12521904 WITH SCORE 1.2541529373E7
AT ITER 845 NEW BEST:: SOT 30139927 SOS 19625373 HAS SOPS 14247386 HAS SOUS 12837986 HAS SOUPS 12521616 WITH SCORE 1.2541241373E7
AT ITER 852 NEW BEST:: SOT 30139927 SOS 19625373 HAS SOPS 14247242 HAS SOUS 12837842 HAS SOUPS 12521472 WITH SCORE 1.2541097373E7
AT ITER 854 NEW BEST:: SOT 30139745 SOS 19578402 HAS SOPS 14195108 HAS SOUS 12833231 HAS SOUPS 12516861 WITH SCORE 1.2536439402E7
AT ITER 857 NEW BEST:: SOT 30138228 SOS 19576966 HAS SOPS 14191955 HAS SOUS 12830308 HAS SOUPS 12513709 WITH SCORE 1.2533285966E7
AT ITER 859 NEW BEST:: SOT 30141453 SOS 19581403 HAS SOPS 14191220 HAS SOUS 12832833 HAS SOUPS 12512975 WITH SCORE 1.2532556403E7
AT ITER 867 NEW BEST:: SOT 30140902 SOS 19580852 HAS SOPS 14190118 HAS SOUS 12831731 HAS SOUPS 12511873 WITH SCORE 1.2531453852E7
AT ITER 878 NEW BEST:: SOT 30139579 SOS 19579529 HAS SOPS 14187155 HAS SOUS 12827196 HAS SOUPS 12507338 WITH SCORE 1.2526917529E7
AT ITER 880 NEW BEST:: SOT 30139579 SOS 19579529 HAS SOPS 14188037 HAS SOUS 12826539 HAS SOUPS 12506681 WITH SCORE 1.2526260529E7
AT ITER 890 NEW BEST:: SOT 30138718 SOS 19579280 HAS SOPS 14185554 HAS SOUS 12825603 HAS SOUPS 12505745 WITH SCORE 1.252532428E7
AT ITER 895 NEW BEST:: SOT 30138621 SOS 19579183 HAS SOPS 14185049 HAS SOUS 12823695 HAS SOUPS 12503837 WITH SCORE 1.2523416183E7
AT ITER 897 NEW BEST:: SOT 30138617 SOS 19579179 HAS SOPS 14187305 HAS SOUS 12823690 HAS SOUPS 12503832 WITH SCORE 1.2523411179E7
AT ITER 900 NEW BEST:: SOT 30138039 SOS 19579017 HAS SOPS 14185057 HAS SOUS 12821443 HAS SOUPS 12501585 WITH SCORE 1.2521164017E7
AT ITER 902 NEW BEST:: SOT 30137990 SOS 19579685 HAS SOPS 14184876 HAS SOUS 12822371 HAS SOUPS 12501405 WITH SCORE 1.2520984685E7
AT ITER 905 NEW BEST:: SOT 30137448 SOS 19579143 HAS SOPS 14184334 HAS SOUS 12821829 HAS SOUPS 12500863 WITH SCORE 1.2520442143E7
AT ITER 910 NEW BEST:: SOT 30136783 SOS 19578714 HAS SOPS 14181993 HAS SOUS 12819489 HAS SOUPS 12498523 WITH SCORE 1.2518101714E7
AT ITER 912 NEW BEST:: SOT 30135498 SOS 19577429 HAS SOPS 14179132 HAS SOUS 12816910 HAS SOUPS 12495663 WITH SCORE 1.2515240429E7
AT ITER 915 NEW BEST:: SOT 30134352 SOS 19576283 HAS SOPS 14176839 HAS SOUS 12813727 HAS SOUPS 12491766 WITH SCORE 1.2511342283E7
AT ITER 917 NEW BEST:: SOT 30134900 SOS 19576831 HAS SOPS 14177765 HAS SOUS 12812609 HAS SOUPS 12491201 WITH SCORE 1.2510777831E7
AT ITER 918 NEW BEST:: SOT 30133513 SOS 19575630 HAS SOPS 14174830 HAS SOUS 12812623 HAS SOUPS 12488267 WITH SCORE 1.250784263E7
AT ITER 923 NEW BEST:: SOT 30132797 SOS 19574914 HAS SOPS 14173722 HAS SOUS 12811191 HAS SOUPS 12486835 WITH SCORE 1.2506409914E7
AT ITER 927 NEW BEST:: SOT 30131860 SOS 19573977 HAS SOPS 14171289 HAS SOUS 12807264 HAS SOUPS 12482908 WITH SCORE 1.2502481977E7
AT ITER 930 NEW BEST:: SOT 30132215 SOS 19574332 HAS SOPS 14170934 HAS SOUS 12806909 HAS SOUPS 12482553 WITH SCORE 1.2502127332E7
AT ITER 933 NEW BEST:: SOT 30132215 SOS 19574332 HAS SOPS 14170145 HAS SOUS 12806120 HAS SOUPS 12481764 WITH SCORE 1.2501338332E7
AT ITER 938 NEW BEST:: SOT 30132457 SOS 19575045 HAS SOPS 14169415 HAS SOUS 12805391 HAS SOUPS 12481035 WITH SCORE 1.2500610045E7
AT ITER 939 NEW BEST:: SOT 30131697 SOS 19574285 HAS SOPS 14167894 HAS SOUS 12802199 HAS SOUPS 12477843 WITH SCORE 1.2497417285E7
AT ITER 940 NEW BEST:: SOT 30131501 SOS 19574089 HAS SOPS 14166141 HAS SOUS 12798775 HAS SOUPS 12474419 WITH SCORE 1.2493993089E7
AT ITER 942 NEW BEST:: SOT 30130928 SOS 19573987 HAS SOPS 14163900 HAS SOUS 12798496 HAS SOUPS 12472179 WITH SCORE 1.2491752987E7
AT ITER 943 NEW BEST:: SOT 30129947 SOS 19573262 HAS SOPS 14161263 HAS SOUS 12797515 HAS SOUPS 12471198 WITH SCORE 1.2490771262E7
AT ITER 945 NEW BEST:: SOT 30128394 SOS 19571709 HAS SOPS 14158156 HAS SOUS 12792938 HAS SOUPS 12466539 WITH SCORE 1.2486110709E7
AT ITER 949 NEW BEST:: SOT 30127442 SOS 19570757 HAS SOPS 14156251 HAS SOUS 12789378 HAS SOUPS 12462979 WITH SCORE 1.2482549757E7
AT ITER 956 NEW BEST:: SOT 30126460 SOS 19569775 HAS SOPS 14155490 HAS SOUS 12788163 HAS SOUPS 12461764 WITH SCORE 1.2481333775E7
AT ITER 957 NEW BEST:: SOT 30126214 SOS 19569529 HAS SOPS 14154998 HAS SOUS 12787426 HAS SOUPS 12461027 WITH SCORE 1.2480596529E7
AT ITER 963 NEW BEST:: SOT 30125294 SOS 19568609 HAS SOPS 14153157 HAS SOUS 12783922 HAS SOUPS 12457523 WITH SCORE 1.2477091609E7
AT ITER 966 NEW BEST:: SOT 30124292 SOS 19567607 HAS SOPS 14149079 HAS SOUS 12780408 HAS SOUPS 12453447 WITH SCORE 1.2473014607E7
AT ITER 968 NEW BEST:: SOT 30124096 SOS 19567411 HAS SOPS 14148686 HAS SOUS 12778919 HAS SOUPS 12451958 WITH SCORE 1.2471525411E7
AT ITER 971 NEW BEST:: SOT 30123065 SOS 19566380 HAS SOPS 14147598 HAS SOUS 12777831 HAS SOUPS 12450870 WITH SCORE 1.247043638E7
AT ITER 973 NEW BEST:: SOT 30123065 SOS 19566380 HAS SOPS 14147216 HAS SOUS 12777449 HAS SOUPS 12450488 WITH SCORE 1.247005438E7
AT ITER 977 NEW BEST:: SOT 30122952 SOS 19566267 HAS SOPS 14146990 HAS SOUS 12777223 HAS SOUPS 12450262 WITH SCORE 1.2469828267E7
AT ITER 978 NEW BEST:: SOT 30121911 SOS 19565226 HAS SOPS 14144907 HAS SOUS 12775209 HAS SOUPS 12447899 WITH SCORE 1.2467464226E7
AT ITER 984 NEW BEST:: SOT 30121242 SOS 19564557 HAS SOPS 14143446 HAS SOUS 12773750 HAS SOUPS 12446440 WITH SCORE 1.2466004557E7
AT ITER 993 NEW BEST:: SOT 30120357 SOS 19563672 HAS SOPS 14141675 HAS SOUS 12770318 HAS SOUPS 12443008 WITH SCORE 1.2462571672E7
AT ITER 998 NEW BEST:: SOT 30120299 SOS 19563614 HAS SOPS 14141371 HAS SOUS 12770014 HAS SOUPS 12442704 WITH SCORE 1.2462267614E7
AT ITER 1003 NEW BEST:: SOT 30120299 SOS 19564677 HAS SOPS 14141104 HAS SOUS 12769747 HAS SOUPS 12442437 WITH SCORE 1.2462001677E7
AT ITER 1007 NEW BEST:: SOT 30119242 SOS 19563620 HAS SOPS 14137882 HAS SOUS 12766929 HAS SOUPS 12439217 WITH SCORE 1.245878062E7
AT ITER 1008 NEW BEST:: SOT 30118989 SOS 19564200 HAS SOPS 14136955 HAS SOUS 12766126 HAS SOUPS 12438291 WITH SCORE 1.24578552E7
AT ITER 1013 NEW BEST:: SOT 30119622 SOS 19564833 HAS SOPS 14138220 HAS SOUS 12765758 HAS SOUPS 12437923 WITH SCORE 1.2457487833E7
AT ITER 1015 NEW BEST:: SOT 30118051 SOS 19563296 HAS SOPS 14135043 HAS SOUS 12763062 HAS SOUPS 12434747 WITH SCORE 1.2454310296E7
AT ITER 1024 NEW BEST:: SOT 30118311 SOS 19563556 HAS SOPS 14133318 HAS SOUS 12761235 HAS SOUPS 12432711 WITH SCORE 1.2452274556E7
AT ITER 1027 NEW BEST:: SOT 30118311 SOS 19563556 HAS SOPS 14131675 HAS SOUS 12760009 HAS SOUPS 12431069 WITH SCORE 1.2450632556E7
AT ITER 1031 NEW BEST:: SOT 30117880 SOS 19563125 HAS SOPS 14130006 HAS SOUS 12759874 HAS SOUPS 12430934 WITH SCORE 1.2450497125E7
AT ITER 1034 NEW BEST:: SOT 30117880 SOS 19563125 HAS SOPS 14130005 HAS SOUS 12759179 HAS SOUPS 12430239 WITH SCORE 1.2449802125E7
AT ITER 1036 NEW BEST:: SOT 30116551 SOS 19561796 HAS SOPS 14127346 HAS SOUS 12754897 HAS SOUPS 12425957 WITH SCORE 1.2445518796E7
AT ITER 1040 NEW BEST:: SOT 30116426 SOS 19562217 HAS SOPS 14126935 HAS SOUS 12754486 HAS SOUPS 12425546 WITH SCORE 1.2445108217E7
AT ITER 1042 NEW BEST:: SOT 30115001 SOS 19560792 HAS SOPS 14123915 HAS SOUS 12751467 HAS SOUPS 12422527 WITH SCORE 1.2442087792E7
AT ITER 1043 NEW BEST:: SOT 30115382 SOS 19561173 HAS SOPS 14123217 HAS SOUS 12750769 HAS SOUPS 12421829 WITH SCORE 1.2441390173E7
AT ITER 1048 NEW BEST:: SOT 30115382 SOS 19561173 HAS SOPS 14123035 HAS SOUS 12750741 HAS SOUPS 12421647 WITH SCORE 1.2441208173E7
AT ITER 1049 NEW BEST:: SOT 30114152 SOS 19560265 HAS SOPS 14120167 HAS SOUS 12748117 HAS SOUPS 12418780 WITH SCORE 1.2438340265E7
AT ITER 1052 NEW BEST:: SOT 30112786 SOS 19558899 HAS SOPS 14116369 HAS SOUS 12744019 HAS SOUPS 12414682 WITH SCORE 1.2434240899E7
AT ITER 1060 NEW BEST:: SOT 30111855 SOS 19557968 HAS SOPS 14114507 HAS SOUS 12742157 HAS SOUPS 12412820 WITH SCORE 1.2432377968E7
AT ITER 1063 NEW BEST:: SOT 30112139 SOS 19558252 HAS SOPS 14115075 HAS SOUS 12742116 HAS SOUPS 12412779 WITH SCORE 1.2432337252E7
AT ITER 1065 NEW BEST:: SOT 30111763 SOS 19558532 HAS SOPS 14113031 HAS SOUS 12740073 HAS SOUPS 12410736 WITH SCORE 1.2430294532E7
AT ITER 1069 NEW BEST:: SOT 30110990 SOS 19557759 HAS SOPS 14111484 HAS SOUS 12737754 HAS SOUPS 12408417 WITH SCORE 1.2427974759E7
AT ITER 1072 NEW BEST:: SOT 30110548 SOS 19557317 HAS SOPS 14110599 HAS SOUS 12735212 HAS SOUPS 12405875 WITH SCORE 1.2425432317E7
AT ITER 1079 NEW BEST:: SOT 30109925 SOS 19557407 HAS SOPS 14108712 HAS SOUS 12733326 HAS SOUPS 12403989 WITH SCORE 1.2423546407E7
AT ITER 1085 NEW BEST:: SOT 30108726 SOS 19556208 HAS SOPS 14106313 HAS SOUS 12729398 HAS SOUPS 12399959 WITH SCORE 1.2419515208E7
AT ITER 1088 NEW BEST:: SOT 30109055 SOS 19558236 HAS SOPS 14105517 HAS SOUS 12731842 HAS SOUPS 12399164 WITH SCORE 1.2418722236E7
AT ITER 1090 NEW BEST:: SOT 30108682 SOS 19544062 HAS SOPS 14091716 HAS SOUS 12731096 HAS SOUPS 12398418 WITH SCORE 1.2417962062E7
AT ITER 1091 NEW BEST:: SOT 30108682 SOS 19544062 HAS SOPS 14091330 HAS SOUS 12730709 HAS SOUPS 12398031 WITH SCORE 1.2417575062E7
AT ITER 1094 NEW BEST:: SOT 30108682 SOS 19572917 HAS SOPS 14090959 HAS SOUS 12730709 HAS SOUPS 12397660 WITH SCORE 1.2417232917E7
AT ITER 1096 NEW BEST:: SOT 30107789 SOS 19572024 HAS SOPS 14088344 HAS SOUS 12728922 HAS SOUPS 12394980 WITH SCORE 1.2414552024E7
AT ITER 1097 NEW BEST:: SOT 30105371 SOS 19569606 HAS SOPS 14086339 HAS SOUS 12725393 HAS SOUPS 12391560 WITH SCORE 1.2411129606E7
AT ITER 1098 NEW BEST:: SOT 30104437 SOS 19568672 HAS SOPS 14082629 HAS SOUS 12721685 HAS SOUPS 12387852 WITH SCORE 1.2407420672E7
AT ITER 1111 NEW BEST:: SOT 30104437 SOS 19568672 HAS SOPS 14082387 HAS SOUS 12721821 HAS SOUPS 12387610 WITH SCORE 1.2407178672E7
AT ITER 1115 NEW BEST:: SOT 30103785 SOS 19567368 HAS SOPS 14081735 HAS SOUS 12721169 HAS SOUPS 12386958 WITH SCORE 1.2406525368E7
AT ITER 1126 NEW BEST:: SOT 30103561 SOS 19567990 HAS SOPS 14081504 HAS SOUS 12721299 HAS SOUPS 12386510 WITH SCORE 1.240607799E7
AT ITER 1128 NEW BEST:: SOT 30102365 SOS 19566794 HAS SOPS 14080308 HAS SOUS 12720103 HAS SOUPS 12385314 WITH SCORE 1.2404880794E7
AT ITER 1131 NEW BEST:: SOT 30102048 SOS 19566477 HAS SOPS 14078416 HAS SOUS 12717806 HAS SOUPS 12383017 WITH SCORE 1.2402583477E7
AT ITER 1135 NEW BEST:: SOT 30101140 SOS 19565569 HAS SOPS 14076599 HAS SOUS 12714493 HAS SOUPS 12379565 WITH SCORE 1.2399130569E7
AT ITER 1137 NEW BEST:: SOT 30100803 SOS 19565232 HAS SOPS 14075967 HAS SOUS 12713861 HAS SOUPS 12378933 WITH SCORE 1.2398498232E7
AT ITER 1146 NEW BEST:: SOT 30100803 SOS 19565232 HAS SOPS 14075966 HAS SOUS 12712236 HAS SOUPS 12377308 WITH SCORE 1.2396873232E7
AT ITER 1147 NEW BEST:: SOT 30098531 SOS 19562960 HAS SOPS 14071421 HAS SOUS 12707910 HAS SOUPS 12371628 WITH SCORE 1.239119096E7
AT ITER 1148 NEW BEST:: SOT 30098970 SOS 19563399 HAS SOPS 14072298 HAS SOUS 12707159 HAS SOUPS 12370877 WITH SCORE 1.2390440399E7
AT ITER 1149 NEW BEST:: SOT 30097506 SOS 19561935 HAS SOPS 14069369 HAS SOUS 12703433 HAS SOUPS 12366335 WITH SCORE 1.2385896935E7
AT ITER 1163 NEW BEST:: SOT 30096806 SOS 19561235 HAS SOPS 14067968 HAS SOUS 12701333 HAS SOUPS 12364235 WITH SCORE 1.2383796235E7
AT ITER 1164 NEW BEST:: SOT 30096806 SOS 19561235 HAS SOPS 14067964 HAS SOUS 12701400 HAS SOUPS 12364231 WITH SCORE 1.2383792235E7
AT ITER 1168 NEW BEST:: SOT 30094444 SOS 19558873 HAS SOPS 14063239 HAS SOUS 12696772 HAS SOUPS 12358326 WITH SCORE 1.2377884873E7
AT ITER 1172 NEW BEST:: SOT 30093114 SOS 19557543 HAS SOPS 14060575 HAS SOUS 12692776 HAS SOUPS 12354330 WITH SCORE 1.2373887543E7
AT ITER 1173 NEW BEST:: SOT 30092569 SOS 19556998 HAS SOPS 14059485 HAS SOUS 12691686 HAS SOUPS 12353240 WITH SCORE 1.2372796998E7
AT ITER 1176 NEW BEST:: SOT 30091014 SOS 19555443 HAS SOPS 14056374 HAS SOUS 12686954 HAS SOUPS 12348508 WITH SCORE 1.2368063443E7
AT ITER 1177 NEW BEST:: SOT 30091344 SOS 19556253 HAS SOPS 14056080 HAS SOUS 12687315 HAS SOUPS 12348214 WITH SCORE 1.2367770253E7
AT ITER 1178 NEW BEST:: SOT 30091344 SOS 19556253 HAS SOPS 14055393 HAS SOUS 12686628 HAS SOUPS 12347527 WITH SCORE 1.2367083253E7
AT ITER 1180 NEW BEST:: SOT 30091223 SOS 19556205 HAS SOPS 14055077 HAS SOUS 12686312 HAS SOUPS 12347211 WITH SCORE 1.2366767205E7
AT ITER 1182 NEW BEST:: SOT 30090714 SOS 19555696 HAS SOPS 14053142 HAS SOUS 12684784 HAS SOUPS 12345683 WITH SCORE 1.2365238696E7
AT ITER 1186 NEW BEST:: SOT 30090018 SOS 19555000 HAS SOPS 14051749 HAS SOUS 12682897 HAS SOUPS 12343595 WITH SCORE 1.236315E7
AT ITER 1190 NEW BEST:: SOT 30090024 SOS 19555006 HAS SOPS 14051760 HAS SOUS 12681043 HAS SOUPS 12341964 WITH SCORE 1.2361519006E7
AT ITER 1192 NEW BEST:: SOT 30089617 SOS 19554599 HAS SOPS 14049553 HAS SOUS 12678765 HAS SOUPS 12339686 WITH SCORE 1.2359240599E7
AT ITER 1193 NEW BEST:: SOT 30088572 SOS 19553554 HAS SOPS 14047462 HAS SOUS 12675630 HAS SOUPS 12336551 WITH SCORE 1.2356104554E7
AT ITER 1201 NEW BEST:: SOT 30087424 SOS 19552406 HAS SOPS 14045005 HAS SOUS 12671866 HAS SOUPS 12332787 WITH SCORE 1.2352339406E7
AT ITER 1202 NEW BEST:: SOT 30086809 SOS 19551791 HAS SOPS 14042454 HAS SOUS 12668995 HAS SOUPS 12329916 WITH SCORE 1.2349467791E7
AT ITER 1203 NEW BEST:: SOT 30086798 SOS 19551780 HAS SOPS 14042432 HAS SOUS 12668328 HAS SOUPS 12329249 WITH SCORE 1.234880078E7
AT ITER 1205 NEW BEST:: SOT 30086804 SOS 19551792 HAS SOPS 14042372 HAS SOUS 12668268 HAS SOUPS 12329189 WITH SCORE 1.2348740792E7
AT ITER 1206 NEW BEST:: SOT 30086838 SOS 19579466 HAS SOPS 14041161 HAS SOUS 12668077 HAS SOUPS 12327978 WITH SCORE 1.2347557466E7
AT ITER 1207 NEW BEST:: SOT 30086361 SOS 19578989 HAS SOPS 14040206 HAS SOUS 12666628 HAS SOUPS 12326529 WITH SCORE 1.2346107989E7
AT ITER 1212 NEW BEST:: SOT 30086441 SOS 19579069 HAS SOPS 14040365 HAS SOUS 12665301 HAS SOUPS 12325202 WITH SCORE 1.2344781069E7
AT ITER 1229 NEW BEST:: SOT 30086441 SOS 19579069 HAS SOPS 14039985 HAS SOUS 12664456 HAS SOUPS 12324357 WITH SCORE 1.2343936069E7
AT ITER 1236 NEW BEST:: SOT 30086441 SOS 19579069 HAS SOPS 14040345 HAS SOUS 12664455 HAS SOUPS 12324356 WITH SCORE 1.2343935069E7
AT ITER 1239 NEW BEST:: SOT 30086054 SOS 19578682 HAS SOPS 14038697 HAS SOUS 12662808 HAS SOUPS 12322709 WITH SCORE 1.2342287682E7
AT ITER 1242 NEW BEST:: SOT 30086019 SOS 19578647 HAS SOPS 14038627 HAS SOUS 12662773 HAS SOUPS 12322639 WITH SCORE 1.2342217647E7
AT ITER 1243 NEW BEST:: SOT 30084663 SOS 19577291 HAS SOPS 14035819 HAS SOUS 12658515 HAS SOUPS 12318381 WITH SCORE 1.2337958291E7
AT ITER 1244 NEW BEST:: SOT 30084659 SOS 19577287 HAS SOPS 14035457 HAS SOUS 12658152 HAS SOUPS 12318018 WITH SCORE 1.2337595287E7
AT ITER 1251 NEW BEST:: SOT 30084659 SOS 19577287 HAS SOPS 14035453 HAS SOUS 12658228 HAS SOUPS 12318014 WITH SCORE 1.2337591287E7
AT ITER 1252 NEW BEST:: SOT 30084228 SOS 19560773 HAS SOPS 14035453 HAS SOUS 12657797 HAS SOUPS 12318014 WITH SCORE 1.2337574773E7
AT ITER 1253 NEW BEST:: SOT 30083951 SOS 19560496 HAS SOPS 14033510 HAS SOUS 12657325 HAS SOUPS 12317542 WITH SCORE 1.2337102496E7
AT ITER 1260 NEW BEST:: SOT 30083475 SOS 19560020 HAS SOPS 14032557 HAS SOUS 12654721 HAS SOUPS 12314938 WITH SCORE 1.233449802E7
AT ITER 1267 NEW BEST:: SOT 30082139 SOS 19558684 HAS SOPS 14028011 HAS SOUS 12650177 HAS SOUPS 12310394 WITH SCORE 1.2329952684E7
AT ITER 1274 NEW BEST:: SOT 30080824 SOS 19557369 HAS SOPS 14025380 HAS SOUS 12646707 HAS SOUPS 12306924 WITH SCORE 1.2326481369E7
AT ITER 1276 NEW BEST:: SOT 30079733 SOS 19556278 HAS SOPS 14022725 HAS SOUS 12642738 HAS SOUPS 12302955 WITH SCORE 1.2322511278E7
AT ITER 1279 NEW BEST:: SOT 30060597 SOS 19573942 HAS SOPS 14003405 HAS SOUS 12623602 HAS SOUPS 12283635 WITH SCORE 1.2303208942E7
AT ITER 1284 NEW BEST:: SOT 30060584 SOS 19573929 HAS SOPS 14003392 HAS SOUS 12623589 HAS SOUPS 12283622 WITH SCORE 1.2303195929E7
AT ITER 1287 NEW BEST:: SOT 30060584 SOS 19573929 HAS SOPS 14002529 HAS SOUS 12622764 HAS SOUPS 12282797 WITH SCORE 1.2302370929E7
AT ITER 1293 NEW BEST:: SOT 30060584 SOS 19573929 HAS SOPS 14002121 HAS SOUS 12621358 HAS SOUPS 12281391 WITH SCORE 1.2300964929E7
AT ITER 1300 NEW BEST:: SOT 30060350 SOS 19573695 HAS SOPS 14001375 HAS SOUS 12620604 HAS SOUPS 12280637 WITH SCORE 1.2300210695E7
AT ITER 1305 NEW BEST:: SOT 30060350 SOS 19573695 HAS SOPS 14001418 HAS SOUS 12620037 HAS SOUPS 12280070 WITH SCORE 1.2299643695E7
AT ITER 1307 NEW BEST:: SOT 30060243 SOS 19524165 HAS SOPS 13938093 HAS SOUS 12603669 HAS SOUPS 12263702 WITH SCORE 1.2283226165E7
AT ITER 1312 NEW BEST:: SOT 30059471 SOS 19523393 HAS SOPS 13934896 HAS SOUS 12600472 HAS SOUPS 12260505 WITH SCORE 1.2280028393E7
AT ITER 1315 NEW BEST:: SOT 30059471 SOS 19523393 HAS SOPS 13933290 HAS SOUS 12599669 HAS SOUPS 12258899 WITH SCORE 1.2278422393E7
AT ITER 1328 NEW BEST:: SOT 30060534 SOS 19524752 HAS SOPS 13932691 HAS SOUS 12599071 HAS SOUPS 12258301 WITH SCORE 1.2277825752E7
AT ITER 1335 NEW BEST:: SOT 30060534 SOS 19525280 HAS SOPS 13932690 HAS SOUS 12598449 HAS SOUPS 12257679 WITH SCORE 1.227720428E7
AT ITER 1346 NEW BEST:: SOT 30060534 SOS 19525280 HAS SOPS 13933135 HAS SOUS 12597223 HAS SOUPS 12256453 WITH SCORE 1.227597828E7
AT ITER 1351 NEW BEST:: SOT 30060450 SOS 19525196 HAS SOPS 13932967 HAS SOUS 12597055 HAS SOUPS 12256285 WITH SCORE 1.2275810196E7
AT ITER 1355 NEW BEST:: SOT 30060358 SOS 19525012 HAS SOPS 13932875 HAS SOUS 12596963 HAS SOUPS 12256193 WITH SCORE 1.2275718012E7
AT ITER 1366 NEW BEST:: SOT 30060358 SOS 19525012 HAS SOPS 13932638 HAS SOUS 12596829 HAS SOUPS 12255956 WITH SCORE 1.2275481012E7
AT ITER 1372 NEW BEST:: SOT 30060111 SOS 19524518 HAS SOPS 13932391 HAS SOUS 12596582 HAS SOUPS 12255709 WITH SCORE 1.2275233518E7
AT ITER 1376 NEW BEST:: SOT 30058800 SOS 19523207 HAS SOPS 13929452 HAS SOUS 12593644 HAS SOUPS 12252771 WITH SCORE 1.2272294207E7
AT ITER 1381 NEW BEST:: SOT 30058079 SOS 19523152 HAS SOPS 13927303 HAS SOUS 12591496 HAS SOUPS 12250623 WITH SCORE 1.2270146152E7
AT ITER 1383 NEW BEST:: SOT 30057852 SOS 19523693 HAS SOPS 13926558 HAS SOUS 12590892 HAS SOUPS 12249879 WITH SCORE 1.2269402693E7
AT ITER 1389 NEW BEST:: SOT 30056452 SOS 19522293 HAS SOPS 13923737 HAS SOUS 12586427 HAS SOUPS 12245414 WITH SCORE 1.2264936293E7
AT ITER 1392 NEW BEST:: SOT 30056319 SOS 19522160 HAS SOPS 13922448 HAS SOUS 12585716 HAS SOUPS 12244125 WITH SCORE 1.226364716E7
AT ITER 1393 NEW BEST:: SOT 30075562 SOS 19493346 HAS SOPS 13842428 HAS SOUS 12555282 HAS SOUPS 12210106 WITH SCORE 1.2229599346E7
AT ITER 1403 NEW BEST:: SOT 30075307 SOS 19493091 HAS SOPS 13841917 HAS SOUS 12555310 HAS SOUPS 12209423 WITH SCORE 1.2228916091E7
AT ITER 1406 NEW BEST:: SOT 30075307 SOS 19493091 HAS SOPS 13841449 HAS SOUS 12554842 HAS SOUPS 12208955 WITH SCORE 1.2228448091E7
AT ITER 1413 NEW BEST:: SOT 30075702 SOS 19493486 HAS SOPS 13840433 HAS SOUS 12553827 HAS SOUPS 12207940 WITH SCORE 1.2227433486E7
AT ITER 1415 NEW BEST:: SOT 30075187 SOS 19493000 HAS SOPS 13839009 HAS SOUS 12552404 HAS SOUPS 12206517 WITH SCORE 1.222601E7
AT ITER 1417 NEW BEST:: SOT 30075143 SOS 19492956 HAS SOPS 13838921 HAS SOUS 12552316 HAS SOUPS 12206429 WITH SCORE 1.2225921956E7
AT ITER 1424 NEW BEST:: SOT 30074590 SOS 19492404 HAS SOPS 13837254 HAS SOUS 12552286 HAS SOUPS 12206399 WITH SCORE 1.2225891404E7
AT ITER 1430 NEW BEST:: SOT 30073642 SOS 19491954 HAS SOPS 13834632 HAS SOUS 12551525 HAS SOUPS 12203778 WITH SCORE 1.2223269954E7
AT ITER 1431 NEW BEST:: SOT 30072218 SOS 19490528 HAS SOPS 13831578 HAS SOUS 12549451 HAS SOUPS 12201704 WITH SCORE 1.2221194528E7
AT ITER 1433 NEW BEST:: SOT 30072220 SOS 19490530 HAS SOPS 13830670 HAS SOUS 12546915 HAS SOUPS 12199168 WITH SCORE 1.221865853E7
AT ITER 1435 NEW BEST:: SOT 30072126 SOS 19490436 HAS SOPS 13830482 HAS SOUS 12546864 HAS SOUPS 12199060 WITH SCORE 1.2218550436E7
AT ITER 1442 NEW BEST:: SOT 30071673 SOS 19490567 HAS SOPS 13828361 HAS SOUS 12544744 HAS SOUPS 12196940 WITH SCORE 1.2216430567E7
AT ITER 1444 NEW BEST:: SOT 30070846 SOS 19489740 HAS SOPS 13826706 HAS SOUS 12542263 HAS SOUPS 12194459 WITH SCORE 1.221394874E7
AT ITER 1451 NEW BEST:: SOT 30070414 SOS 19489308 HAS SOPS 13825842 HAS SOUS 12541577 HAS SOUPS 12193596 WITH SCORE 1.2213085308E7
AT ITER 1452 NEW BEST:: SOT 30070524 SOS 19489418 HAS SOPS 13826092 HAS SOUS 12541509 HAS SOUPS 12193528 WITH SCORE 1.2213017418E7
AT ITER 1457 NEW BEST:: SOT 30070176 SOS 19489070 HAS SOPS 13825396 HAS SOUS 12540813 HAS SOUPS 12192832 WITH SCORE 1.221232107E7
AT ITER 1458 NEW BEST:: SOT 30070176 SOS 19489070 HAS SOPS 13825242 HAS SOUS 12540087 HAS SOUPS 12192106 WITH SCORE 1.221159507E7
AT ITER 1459 NEW BEST:: SOT 30069135 SOS 19488029 HAS SOPS 13823159 HAS SOUS 12537972 HAS SOUPS 12189991 WITH SCORE 1.2209479029E7
AT ITER 1470 NEW BEST:: SOT 30068101 SOS 19486995 HAS SOPS 13820471 HAS SOUS 12533632 HAS SOUPS 12185651 WITH SCORE 1.2205137995E7
AT ITER 1472 NEW BEST:: SOT 30068101 SOS 19486995 HAS SOPS 13818171 HAS SOUS 12532855 HAS SOUPS 12184874 WITH SCORE 1.2204360995E7
AT ITER 1475 NEW BEST:: SOT 30068153 SOS 19487047 HAS SOPS 13817195 HAS SOUS 12530499 HAS SOUPS 12182280 WITH SCORE 1.2201767047E7
AT ITER 1477 NEW BEST:: SOT 30067902 SOS 19486796 HAS SOPS 13816105 HAS SOUS 12529410 HAS SOUPS 12181191 WITH SCORE 1.2200677796E7
AT ITER 1481 NEW BEST:: SOT 30068893 SOS 19487787 HAS SOPS 13814923 HAS SOUS 12527062 HAS SOUPS 12178843 WITH SCORE 1.2198330787E7
AT ITER 1490 NEW BEST:: SOT 30069673 SOS 19488567 HAS SOPS 13816082 HAS SOUS 12526558 HAS SOUPS 12178339 WITH SCORE 1.2197827567E7
AT ITER 1493 NEW BEST:: SOT 30070498 SOS 19489392 HAS SOPS 13815974 HAS SOUS 12526450 HAS SOUPS 12178231 WITH SCORE 1.2197720392E7
AT ITER 1495 NEW BEST:: SOT 30070488 SOS 19444016 HAS SOPS 13769814 HAS SOUS 12525401 HAS SOUPS 12177182 WITH SCORE 1.2196626016E7
AT ITER 1500 NEW BEST:: SOT 30070523 SOS 19444051 HAS SOPS 13769884 HAS SOUS 12525322 HAS SOUPS 12177103 WITH SCORE 1.2196547051E7
AT ITER 1501 NEW BEST:: SOT 30070565 SOS 19444093 HAS SOPS 13768633 HAS SOUS 12524072 HAS SOUPS 12175853 WITH SCORE 1.2195297093E7
AT ITER 1509 NEW BEST:: SOT 30070093 SOS 19444559 HAS SOPS 13766939 HAS SOUS 12522379 HAS SOUPS 12174160 WITH SCORE 1.2193604559E7
AT ITER 1518 NEW BEST:: SOT 30069087 SOS 19444104 HAS SOPS 13764359 HAS SOUS 12521641 HAS SOUPS 12173285 WITH SCORE 1.2192729104E7
AT ITER 1520 NEW BEST:: SOT 30069542 SOS 19444559 HAS SOPS 13765268 HAS SOUS 12520925 HAS SOUPS 12172569 WITH SCORE 1.2192013559E7
AT ITER 1525 NEW BEST:: SOT 30069631 SOS 19444648 HAS SOPS 13765088 HAS SOUS 12519500 HAS SOUPS 12171144 WITH SCORE 1.2190588648E7
AT ITER 1528 NEW BEST:: SOT 30068935 SOS 19444427 HAS SOPS 13762732 HAS SOUS 12517145 HAS SOUPS 12168789 WITH SCORE 1.2188233427E7
AT ITER 1531 NEW BEST:: SOT 30067354 SOS 19442846 HAS SOPS 13759515 HAS SOUS 12514238 HAS SOUPS 12165573 WITH SCORE 1.2185015846E7
AT ITER 1533 NEW BEST:: SOT 30067174 SOS 19442666 HAS SOPS 13759155 HAS SOUS 12513878 HAS SOUPS 12165213 WITH SCORE 1.2184655666E7
AT ITER 1537 NEW BEST:: SOT 30067052 SOS 19442544 HAS SOPS 13758911 HAS SOUS 12513634 HAS SOUPS 12164969 WITH SCORE 1.2184411544E7
AT ITER 1539 NEW BEST:: SOT 30066578 SOS 19442070 HAS SOPS 13757659 HAS SOUS 12511404 HAS SOUPS 12162739 WITH SCORE 1.218218107E7
AT ITER 1542 NEW BEST:: SOT 30065830 SOS 19441322 HAS SOPS 13756162 HAS SOUS 12509289 HAS SOUPS 12160624 WITH SCORE 1.2180065322E7
AT ITER 1544 NEW BEST:: SOT 30065079 SOS 19440571 HAS SOPS 13754659 HAS SOUS 12508290 HAS SOUPS 12159122 WITH SCORE 1.2178562571E7
AT ITER 1549 NEW BEST:: SOT 30064351 SOS 19439843 HAS SOPS 13753931 HAS SOUS 12507562 HAS SOUPS 12158394 WITH SCORE 1.2177833843E7
AT ITER 1550 NEW BEST:: SOT 30063926 SOS 19438993 HAS SOPS 13753496 HAS SOUS 12507127 HAS SOUPS 12157959 WITH SCORE 1.2177397993E7
AT ITER 1552 NEW BEST:: SOT 30064325 SOS 19574593 HAS SOPS 13752155 HAS SOUS 12508246 HAS SOUPS 12156618 WITH SCORE 1.2176192593E7
AT ITER 1555 NEW BEST:: SOT 30064613 SOS 19574881 HAS SOPS 13751661 HAS SOUS 12507752 HAS SOUPS 12156124 WITH SCORE 1.2175698881E7
AT ITER 1559 NEW BEST:: SOT 30065902 SOS 19576170 HAS SOPS 13752790 HAS SOUS 12507226 HAS SOUPS 12155598 WITH SCORE 1.217517417E7
AT ITER 1565 NEW BEST:: SOT 30065868 SOS 19576136 HAS SOPS 13752755 HAS SOUS 12507191 HAS SOUPS 12155563 WITH SCORE 1.2175139136E7
AT ITER 1566 NEW BEST:: SOT 30064625 SOS 19575267 HAS SOPS 13749894 HAS SOUS 12504807 HAS SOUPS 12152703 WITH SCORE 1.2172278267E7
AT ITER 1569 NEW BEST:: SOT 30064625 SOS 19575267 HAS SOPS 13749893 HAS SOUS 12503310 HAS SOUPS 12151206 WITH SCORE 1.2170781267E7
AT ITER 1573 NEW BEST:: SOT 30064621 SOS 19575263 HAS SOPS 13750871 HAS SOUS 12503305 HAS SOUPS 12151201 WITH SCORE 1.2170776263E7
AT ITER 1581 NEW BEST:: SOT 30063982 SOS 19574624 HAS SOPS 13749058 HAS SOUS 12500357 HAS SOUPS 12148253 WITH SCORE 1.2167827624E7
AT ITER 1584 NEW BEST:: SOT 30063285 SOS 19574547 HAS SOPS 13746463 HAS SOUS 12499675 HAS SOUPS 12147476 WITH SCORE 1.2167050547E7
AT ITER 1589 NEW BEST:: SOT 30063285 SOS 19574547 HAS SOPS 13746416 HAS SOUS 12499590 HAS SOUPS 12147391 WITH SCORE 1.2166965547E7
AT ITER 1591 NEW BEST:: SOT 30062757 SOS 19574019 HAS SOPS 13745360 HAS SOUS 12498534 HAS SOUPS 12146335 WITH SCORE 1.2165909019E7
AT ITER 1595 NEW BEST:: SOT 30062805 SOS 19574067 HAS SOPS 13745404 HAS SOUS 12498530 HAS SOUPS 12146331 WITH SCORE 1.2165905067E7
AT ITER 1606 NEW BEST:: SOT 30062236 SOS 19574174 HAS SOPS 13743179 HAS SOUS 12496507 HAS SOUPS 12144107 WITH SCORE 1.2163681174E7
AT ITER 1615 NEW BEST:: SOT 30062236 SOS 19574174 HAS SOPS 13741587 HAS SOUS 12493323 HAS SOUPS 12140923 WITH SCORE 1.2160497174E7
AT ITER 1631 NEW BEST:: SOT 30062319 SOS 19574257 HAS SOPS 13742106 HAS SOUS 12492077 HAS SOUPS 12139639 WITH SCORE 1.2159213257E7
AT ITER 1634 NEW BEST:: SOT 30062319 SOS 19575372 HAS SOPS 13741055 HAS SOUS 12491430 HAS SOUPS 12138588 WITH SCORE 1.2158163372E7
AT ITER 1636 NEW BEST:: SOT 30061209 SOS 19574262 HAS SOPS 13739945 HAS SOUS 12490320 HAS SOUPS 12137478 WITH SCORE 1.2157052262E7
AT ITER 1645 NEW BEST:: SOT 30060301 SOS 19573354 HAS SOPS 13738128 HAS SOUS 12487596 HAS SOUPS 12134754 WITH SCORE 1.2154327354E7
AT ITER 1651 NEW BEST:: SOT 30059701 SOS 19573473 HAS SOPS 13736098 HAS SOUS 12485567 HAS SOUPS 12132725 WITH SCORE 1.2152298473E7
AT ITER 1658 NEW BEST:: SOT 30059785 SOS 19573557 HAS SOPS 13734599 HAS SOUS 12484237 HAS SOUPS 12131227 WITH SCORE 1.2150800557E7
AT ITER 1661 NEW BEST:: SOT 30060932 SOS 19574704 HAS SOPS 13735058 HAS SOUS 12483550 HAS SOUPS 12130540 WITH SCORE 1.2150114704E7
AT ITER 1672 NEW BEST:: SOT 30060932 SOS 19574704 HAS SOPS 13734176 HAS SOUS 12482676 HAS SOUPS 12129658 WITH SCORE 1.2149232704E7
AT ITER 1682 NEW BEST:: SOT 30059399 SOS 19573171 HAS SOPS 13731109 HAS SOUS 12480019 HAS SOUPS 12126593 WITH SCORE 1.2146166171E7
AT ITER 1683 NEW BEST:: SOT 30058501 SOS 19572273 HAS SOPS 13727318 HAS SOUS 12477597 HAS SOUPS 12124171 WITH SCORE 1.2143743273E7
AT ITER 1685 NEW BEST:: SOT 30059532 SOS 19573304 HAS SOPS 13728796 HAS SOUS 12477427 HAS SOUPS 12124001 WITH SCORE 1.2143574304E7
AT ITER 1696 NEW BEST:: SOT 30058594 SOS 19572366 HAS SOPS 13726276 HAS SOUS 12473793 HAS SOUPS 12119870 WITH SCORE 1.2139442366E7
AT ITER 1707 NEW BEST:: SOT 30057491 SOS 19571263 HAS SOPS 13723771 HAS SOUS 12469888 HAS SOUPS 12115965 WITH SCORE 1.2135536263E7
AT ITER 1711 NEW BEST:: SOT 30057486 SOS 19571258 HAS SOPS 13721550 HAS SOUS 12467669 HAS SOUPS 12113746 WITH SCORE 1.2133317258E7
AT ITER 1713 NEW BEST:: SOT 30057514 SOS 19571286 HAS SOPS 13721606 HAS SOUS 12467189 HAS SOUPS 12113266 WITH SCORE 1.2132837286E7
AT ITER 1715 NEW BEST:: SOT 30057039 SOS 19570811 HAS SOPS 13720655 HAS SOUS 12465933 HAS SOUPS 12112316 WITH SCORE 1.2131886811E7
AT ITER 1719 NEW BEST:: SOT 30057022 SOS 19570794 HAS SOPS 13720620 HAS SOUS 12464606 HAS SOUPS 12110827 WITH SCORE 1.2130397794E7
AT ITER 1722 NEW BEST:: SOT 30055711 SOS 19569483 HAS SOPS 13717951 HAS SOUS 12461939 HAS SOUPS 12108160 WITH SCORE 1.2127729483E7
AT ITER 1729 NEW BEST:: SOT 30055714 SOS 19569758 HAS SOPS 13717418 HAS SOUS 12461407 HAS SOUPS 12107628 WITH SCORE 1.2127197758E7
AT ITER 1737 NEW BEST:: SOT 30054670 SOS 19569036 HAS SOPS 13714706 HAS SOUS 12458696 HAS SOUPS 12104917 WITH SCORE 1.2124486036E7
AT ITER 1738 NEW BEST:: SOT 30054670 SOS 19568899 HAS SOPS 13714706 HAS SOUS 12458696 HAS SOUPS 12104917 WITH SCORE 1.2124485899E7
AT ITER 1743 NEW BEST:: SOT 30053868 SOS 19568097 HAS SOPS 13713101 HAS SOUS 12457092 HAS SOUPS 12103313 WITH SCORE 1.2122881097E7
AT ITER 1745 NEW BEST:: SOT 30052802 SOS 19567031 HAS SOPS 13710937 HAS SOUS 12453832 HAS SOUPS 12100053 WITH SCORE 1.2119620031E7
AT ITER 1746 NEW BEST:: SOT 30052520 SOS 19567766 HAS SOPS 13710095 HAS SOUS 12452991 HAS SOUPS 12099212 WITH SCORE 1.2118779766E7
AT ITER 1749 NEW BEST:: SOT 30052437 SOS 19567683 HAS SOPS 13709928 HAS SOUS 12452703 HAS SOUPS 12098962 WITH SCORE 1.2118529683E7
AT ITER 1750 NEW BEST:: SOT 30052437 SOS 19567683 HAS SOPS 13709927 HAS SOUS 12451678 HAS SOUPS 12097937 WITH SCORE 1.2117504683E7
AT ITER 1751 NEW BEST:: SOT 30050744 SOS 19565985 HAS SOPS 13706570 HAS SOUS 12448322 HAS SOUPS 12094581 WITH SCORE 1.2114146985E7
AT ITER 1752 NEW BEST:: SOT 30050598 SOS 19565839 HAS SOPS 13706277 HAS SOUS 12447883 HAS SOUPS 12094142 WITH SCORE 1.2113707839E7
AT ITER 1753 NEW BEST:: SOT 30050045 SOS 19565286 HAS SOPS 13705171 HAS SOUS 12446224 HAS SOUPS 12092483 WITH SCORE 1.2112048286E7
AT ITER 1762 NEW BEST:: SOT 30048761 SOS 19564002 HAS SOPS 13702366 HAS SOUS 12441768 HAS SOUPS 12088027 WITH SCORE 1.2107591002E7
AT ITER 1771 NEW BEST:: SOT 30048058 SOS 19582734 HAS SOPS 13701403 HAS SOUS 12441065 HAS SOUPS 12087064 WITH SCORE 1.2106646734E7
AT ITER 1782 NEW BEST:: SOT 30046909 SOS 19581585 HAS SOPS 13699105 HAS SOUS 12438767 HAS SOUPS 12084766 WITH SCORE 1.2104347585E7
AT ITER 1791 NEW BEST:: SOT 30046509 SOS 19581185 HAS SOPS 13698305 HAS SOUS 12437568 HAS SOUPS 12083567 WITH SCORE 1.2103148185E7
AT ITER 1796 NEW BEST:: SOT 30045618 SOS 19580411 HAS SOPS 13695744 HAS SOUS 12435008 HAS SOUPS 12081007 WITH SCORE 1.2100587411E7
AT ITER 1799 NEW BEST:: SOT 30045572 SOS 19580365 HAS SOPS 13695652 HAS SOUS 12434870 HAS SOUPS 12080869 WITH SCORE 1.2100449365E7
AT ITER 1800 NEW BEST:: SOT 30044664 SOS 19580271 HAS SOPS 13693068 HAS SOUS 12432287 HAS SOUPS 12078286 WITH SCORE 1.2097866271E7
AT ITER 1802 NEW BEST:: SOT 30043491 SOS 19579225 HAS SOPS 13690243 HAS SOUS 12429463 HAS SOUPS 12075462 WITH SCORE 1.2095041225E7
AT ITER 1803 NEW BEST:: SOT 30043491 SOS 19579225 HAS SOPS 13690242 HAS SOUS 12427983 HAS SOUPS 12073982 WITH SCORE 1.2093561225E7
AT ITER 1810 NEW BEST:: SOT 30043685 SOS 19579419 HAS SOPS 13690735 HAS SOUS 12427364 HAS SOUPS 12073363 WITH SCORE 1.2092942419E7
AT ITER 1812 NEW BEST:: SOT 30043444 SOS 19598458 HAS SOPS 13690253 HAS SOUS 12427123 HAS SOUPS 12072881 WITH SCORE 1.2092479458E7
AT ITER 1833 NEW BEST:: SOT 30043444 SOS 19598458 HAS SOPS 13690211 HAS SOUS 12427081 HAS SOUPS 12072839 WITH SCORE 1.2092437458E7
AT ITER 1844 NEW BEST:: SOT 30042501 SOS 19597895 HAS SOPS 13688164 HAS SOUS 12425035 HAS SOUPS 12070793 WITH SCORE 1.2090390895E7
AT ITER 1845 NEW BEST:: SOT 30040668 SOS 19596062 HAS SOPS 13686758 HAS SOUS 12423629 HAS SOUPS 12069387 WITH SCORE 1.2088983062E7
AT ITER 1850 NEW BEST:: SOT 30040183 SOS 19596344 HAS SOPS 13685141 HAS SOUS 12423464 HAS SOUPS 12069222 WITH SCORE 1.2088818344E7
AT ITER 1854 NEW BEST:: SOT 30040183 SOS 19596344 HAS SOPS 13685140 HAS SOUS 12422445 HAS SOUPS 12068203 WITH SCORE 1.2087799344E7
AT ITER 1855 NEW BEST:: SOT 30040179 SOS 19596340 HAS SOPS 13687539 HAS SOUS 12422441 HAS SOUPS 12068199 WITH SCORE 1.208779534E7
AT ITER 1857 NEW BEST:: SOT 30041266 SOS 19693410 HAS SOPS 13686101 HAS SOUS 12423461 HAS SOUPS 12067990 WITH SCORE 1.208768341E7
AT ITER 1859 NEW BEST:: SOT 30041266 SOS 19693410 HAS SOPS 13686100 HAS SOUS 12422634 HAS SOUPS 12067163 WITH SCORE 1.208685641E7
AT ITER 1860 NEW BEST:: SOT 30040131 SOS 19692275 HAS SOPS 13681482 HAS SOUS 12418188 HAS SOUPS 12062717 WITH SCORE 1.2082409275E7
AT ITER 1861 NEW BEST:: SOT 30040098 SOS 19692242 HAS SOPS 13681416 HAS SOUS 12418155 HAS SOUPS 12062684 WITH SCORE 1.2082376242E7
AT ITER 1863 NEW BEST:: SOT 30040098 SOS 19692242 HAS SOPS 13681886 HAS SOUS 12418154 HAS SOUPS 12062683 WITH SCORE 1.2082375242E7
AT ITER 1864 NEW BEST:: SOT 30039740 SOS 19692758 HAS SOPS 13681076 HAS SOUS 12417345 HAS SOUPS 12061874 WITH SCORE 1.2081566758E7
AT ITER 1865 NEW BEST:: SOT 30038497 SOS 19691903 HAS SOPS 13678199 HAS SOUS 12414555 HAS SOUPS 12059033 WITH SCORE 1.2078724903E7
AT ITER 1866 NEW BEST:: SOT 30038137 SOS 19691543 HAS SOPS 13677479 HAS SOUS 12413835 HAS SOUPS 12058313 WITH SCORE 1.2078004543E7
AT ITER 1868 NEW BEST:: SOT 30036998 SOS 19690404 HAS SOPS 13675653 HAS SOUS 12412009 HAS SOUPS 12056487 WITH SCORE 1.2076177404E7
AT ITER 1871 NEW BEST:: SOT 30035823 SOS 19689445 HAS SOPS 13673246 HAS SOUS 12409841 HAS SOUPS 12054081 WITH SCORE 1.2073770445E7
AT ITER 1872 NEW BEST:: SOT 30034431 SOS 19688053 HAS SOPS 13670434 HAS SOUS 12406054 HAS SOUPS 12050294 WITH SCORE 1.2069982053E7
AT ITER 1873 NEW BEST:: SOT 30033617 SOS 19687856 HAS SOPS 13668620 HAS SOUS 12405884 HAS SOUPS 12050124 WITH SCORE 1.2069811856E7
AT ITER 1876 NEW BEST:: SOT 30032900 SOS 19687139 HAS SOPS 13667152 HAS SOUS 12404450 HAS SOUPS 12048690 WITH SCORE 1.2068377139E7
AT ITER 1881 NEW BEST:: SOT 30046563 SOS 19652593 HAS SOPS 13604397 HAS SOUS 12387831 HAS SOUPS 12032071 WITH SCORE 1.2051723593E7
AT ITER 1886 NEW BEST:: SOT 30045932 SOS 19651962 HAS SOPS 13604429 HAS SOUS 12386569 HAS SOUPS 12030809 WITH SCORE 1.2050460962E7
AT ITER 1895 NEW BEST:: SOT 30045420 SOS 19651450 HAS SOPS 13603404 HAS SOUS 12385033 HAS SOUPS 12029273 WITH SCORE 1.204892445E7
AT ITER 1918 NEW BEST:: SOT 30044468 SOS 19650498 HAS SOPS 13600793 HAS SOUS 12384081 HAS SOUPS 12028321 WITH SCORE 1.2047971498E7
AT ITER 1920 NEW BEST:: SOT 30043195 SOS 19649225 HAS SOPS 13598066 HAS SOUS 12379737 HAS SOUPS 12023943 WITH SCORE 1.2043592225E7
AT ITER 1924 NEW BEST:: SOT 30042164 SOS 19648194 HAS SOPS 13596003 HAS SOUS 12378487 HAS SOUPS 12022412 WITH SCORE 1.2042060194E7
AT ITER 1931 NEW BEST:: SOT 30041685 SOS 19647715 HAS SOPS 13595044 HAS SOUS 12376702 HAS SOUPS 12020503 WITH SCORE 1.2040150715E7
AT ITER 1934 NEW BEST:: SOT 30041286 SOS 19647316 HAS SOPS 13594645 HAS SOUS 12376303 HAS SOUPS 12020104 WITH SCORE 1.2039751316E7
AT ITER 1938 NEW BEST:: SOT 30041286 SOS 19647316 HAS SOPS 13594011 HAS SOUS 12375986 HAS SOUPS 12019787 WITH SCORE 1.2039434316E7
AT ITER 1944 NEW BEST:: SOT 30042333 SOS 19789245 HAS SOPS 13593241 HAS SOUS 12378294 HAS SOUPS 12019017 WITH SCORE 1.2038806245E7
AT ITER 1952 NEW BEST:: SOT 30041420 SOS 19788332 HAS SOPS 13590778 HAS SOUS 12375832 HAS SOUPS 12016555 WITH SCORE 1.2036343332E7
AT ITER 1957 NEW BEST:: SOT 30041333 SOS 19788245 HAS SOPS 13590604 HAS SOUS 12375658 HAS SOUPS 12016381 WITH SCORE 1.2036169245E7
AT ITER 1962 NEW BEST:: SOT 30040936 SOS 19787848 HAS SOPS 13589810 HAS SOUS 12375261 HAS SOUPS 12015984 WITH SCORE 1.2035771848E7
AT ITER 1964 NEW BEST:: SOT 30040936 SOS 19787848 HAS SOPS 13589809 HAS SOUS 12375260 HAS SOUPS 12015983 WITH SCORE 1.2035770848E7
AT ITER 1974 NEW BEST:: SOT 30037740 SOS 19784652 HAS SOPS 13583416 HAS SOUS 12371088 HAS SOUPS 12009592 WITH SCORE 1.2029376652E7
AT ITER 1976 NEW BEST:: SOT 30037740 SOS 19784652 HAS SOPS 13583415 HAS SOUS 12370730 HAS SOUPS 12009234 WITH SCORE 1.2029018652E7
AT ITER 1978 NEW BEST:: SOT 30037661 SOS 19784573 HAS SOPS 13583387 HAS SOUS 12370651 HAS SOUPS 12009155 WITH SCORE 1.2028939573E7
AT ITER 1981 NEW BEST:: SOT 30036615 SOS 19784422 HAS SOPS 13580815 HAS SOUS 12369194 HAS SOUPS 12007698 WITH SCORE 1.2027482422E7
AT ITER 1986 NEW BEST:: SOT 30035095 SOS 19783098 HAS SOPS 13577655 HAS SOUS 12366035 HAS SOUPS 12004539 WITH SCORE 1.2024322098E7
AT ITER 2000 NEW BEST:: SOT 30035095 SOS 19783098 HAS SOPS 13577654 HAS SOUS 12365937 HAS SOUPS 12004441 WITH SCORE 1.2024224098E7
AT ITER 2004 NEW BEST:: SOT 30034774 SOS 19782777 HAS SOPS 13576691 HAS SOUS 12365616 HAS SOUPS 12004120 WITH SCORE 1.2023902777E7
AT ITER 2009 NEW BEST:: SOT 30049511 SOS 19747958 HAS SOPS 13497202 HAS SOUS 12333871 HAS SOUPS 11971812 WITH SCORE 1.1991559958E7
AT ITER 2019 NEW BEST:: SOT 30049464 SOS 19747911 HAS SOPS 13497108 HAS SOUS 12332435 HAS SOUPS 11971314 WITH SCORE 1.1991061911E7
AT ITER 2022 NEW BEST:: SOT 30048248 SOS 19746695 HAS SOPS 13494675 HAS SOUS 12330209 HAS SOUPS 11969088 WITH SCORE 1.1988834695E7
AT ITER 2026 NEW BEST:: SOT 30047583 SOS 19746030 HAS SOPS 13493345 HAS SOUS 12328879 HAS SOUPS 11967758 WITH SCORE 1.198750403E7
AT ITER 2033 NEW BEST:: SOT 30047207 SOS 19746408 HAS SOPS 13491307 HAS SOUS 12326842 HAS SOUPS 11965721 WITH SCORE 1.1985467408E7
AT ITER 2042 NEW BEST:: SOT 30047207 SOS 19746408 HAS SOPS 13491306 HAS SOUS 12326465 HAS SOUPS 11965344 WITH SCORE 1.1985090408E7
AT ITER 2048 NEW BEST:: SOT 30048770 SOS 19747971 HAS SOPS 13492869 HAS SOUS 12326681 HAS SOUPS 11965270 WITH SCORE 1.1985017971E7
AT ITER 2049 NEW BEST:: SOT 30048770 SOS 19747971 HAS SOPS 13492835 HAS SOUS 12326007 HAS SOUPS 11964596 WITH SCORE 1.1984343971E7
AT ITER 2056 NEW BEST:: SOT 30048770 SOS 19747971 HAS SOPS 13492835 HAS SOUS 12325044 HAS SOUPS 11963633 WITH SCORE 1.1983380971E7
AT ITER 2058 NEW BEST:: SOT 30048427 SOS 19747628 HAS SOPS 13491541 HAS SOUS 12323369 HAS SOUPS 11961958 WITH SCORE 1.1981705628E7
AT ITER 2059 NEW BEST:: SOT 30048427 SOS 19747628 HAS SOPS 13491541 HAS SOUS 12323152 HAS SOUPS 11961741 WITH SCORE 1.1981488628E7
AT ITER 2061 NEW BEST:: SOT 30048393 SOS 19747594 HAS SOPS 13491473 HAS SOUS 12323084 HAS SOUPS 11961673 WITH SCORE 1.1981420594E7
AT ITER 2062 NEW BEST:: SOT 30051574 SOS 19751943 HAS SOPS 13490062 HAS SOUS 12322294 HAS SOUPS 11960263 WITH SCORE 1.1980014943E7
AT ITER 2067 NEW BEST:: SOT 30051574 SOS 19751943 HAS SOPS 13490227 HAS SOUS 12320787 HAS SOUPS 11958756 WITH SCORE 1.1978507943E7
AT ITER 2073 NEW BEST:: SOT 30051702 SOS 19753353 HAS SOPS 13489113 HAS SOUS 12320982 HAS SOUPS 11958623 WITH SCORE 1.1978376353E7
AT ITER 2076 NEW BEST:: SOT 30051086 SOS 19752737 HAS SOPS 13487881 HAS SOUS 12319856 HAS SOUPS 11957391 WITH SCORE 1.1977143737E7
AT ITER 2078 NEW BEST:: SOT 30050216 SOS 19751867 HAS SOPS 13485850 HAS SOUS 12317826 HAS SOUPS 11955361 WITH SCORE 1.1975112867E7
AT ITER 2081 NEW BEST:: SOT 30050216 SOS 19751867 HAS SOPS 13484870 HAS SOUS 12315436 HAS SOUPS 11952971 WITH SCORE 1.1972722867E7
AT ITER 2085 NEW BEST:: SOT 30049613 SOS 19751568 HAS SOPS 13482649 HAS SOUS 12313999 HAS SOUPS 11951433 WITH SCORE 1.1971184568E7
AT ITER 2087 NEW BEST:: SOT 30050517 SOS 19760072 HAS SOPS 13482459 HAS SOUS 12314867 HAS SOUPS 11951243 WITH SCORE 1.1971003072E7
AT ITER 2091 NEW BEST:: SOT 30051010 SOS 19761055 HAS SOPS 13482438 HAS SOUS 12316539 HAS SOUPS 11951222 WITH SCORE 1.1970983055E7
AT ITER 2101 NEW BEST:: SOT 30049943 SOS 19759988 HAS SOPS 13479711 HAS SOUS 12313813 HAS SOUPS 11948496 WITH SCORE 1.1968255988E7
AT ITER 2103 NEW BEST:: SOT 30050562 SOS 19761386 HAS SOPS 13479607 HAS SOUS 12313896 HAS SOUPS 11948392 WITH SCORE 1.1968153386E7
AT ITER 2104 NEW BEST:: SOT 30051268 SOS 19762511 HAS SOPS 13478044 HAS SOUS 12312334 HAS SOUPS 11946830 WITH SCORE 1.1966592511E7
AT ITER 2110 NEW BEST:: SOT 30051177 SOS 19762420 HAS SOPS 13477862 HAS SOUS 12312243 HAS SOUPS 11946648 WITH SCORE 1.196641042E7
AT ITER 2115 NEW BEST:: SOT 30052465 SOS 19860362 HAS SOPS 13475286 HAS SOUS 12311267 HAS SOUPS 11944072 WITH SCORE 1.1963932362E7
AT ITER 2118 NEW BEST:: SOT 30052049 SOS 19859946 HAS SOPS 13474454 HAS SOUS 12310435 HAS SOUPS 11943240 WITH SCORE 1.1963099946E7
AT ITER 2121 NEW BEST:: SOT 30051263 SOS 19940557 HAS SOPS 13471710 HAS SOUS 12309275 HAS SOUPS 11940496 WITH SCORE 1.1960436557E7
AT ITER 2125 NEW BEST:: SOT 30050191 SOS 19939485 HAS SOPS 13470962 HAS SOUS 12308203 HAS SOUPS 11939748 WITH SCORE 1.1959687485E7
AT ITER 2130 NEW BEST:: SOT 30050191 SOS 19939485 HAS SOPS 13470962 HAS SOUS 12307216 HAS SOUPS 11938761 WITH SCORE 1.1958700485E7
AT ITER 2131 NEW BEST:: SOT 30050136 SOS 19939430 HAS SOPS 13470187 HAS SOUS 12306441 HAS SOUPS 11937986 WITH SCORE 1.195792543E7
AT ITER 2137 NEW BEST:: SOT 30050376 SOS 19939670 HAS SOPS 13470666 HAS SOUS 12306315 HAS SOUPS 11937860 WITH SCORE 1.195779967E7
AT ITER 2139 NEW BEST:: SOT 30050054 SOS 19939348 HAS SOPS 13469456 HAS SOUS 12304219 HAS SOUPS 11935764 WITH SCORE 1.1955703348E7
AT ITER 2140 NEW BEST:: SOT 30049035 SOS 19938329 HAS SOPS 13467117 HAS SOUS 12300821 HAS SOUPS 11932366 WITH SCORE 1.1952304329E7
AT ITER 2143 NEW BEST:: SOT 30049669 SOS 19938963 HAS SOPS 13468384 HAS SOUS 12299987 HAS SOUPS 11932008 WITH SCORE 1.1951946963E7
AT ITER 2146 NEW BEST:: SOT 30049634 SOS 19938928 HAS SOPS 13468313 HAS SOUS 12299626 HAS SOUPS 11931647 WITH SCORE 1.1951585928E7
AT ITER 2149 NEW BEST:: SOT 30049088 SOS 19938757 HAS SOPS 13466885 HAS SOUS 12298198 HAS SOUPS 11930219 WITH SCORE 1.1950157757E7
AT ITER 2152 NEW BEST:: SOT 30048911 SOS 19938580 HAS SOPS 13466531 HAS SOUS 12298254 HAS SOUPS 11929865 WITH SCORE 1.194980358E7
AT ITER 2153 NEW BEST:: SOT 30048946 SOS 19938615 HAS SOPS 13466105 HAS SOUS 12297828 HAS SOUPS 11929439 WITH SCORE 1.1949377615E7
AT ITER 2158 NEW BEST:: SOT 30048792 SOS 19938461 HAS SOPS 13465797 HAS SOUS 12297520 HAS SOUPS 11929131 WITH SCORE 1.1949069461E7
AT ITER 2161 NEW BEST:: SOT 30048622 SOS 19938292 HAS SOPS 13465628 HAS SOUS 12297351 HAS SOUPS 11928962 WITH SCORE 1.1948900292E7
AT ITER 2167 NEW BEST:: SOT 30048015 SOS 19937685 HAS SOPS 13464414 HAS SOUS 12296137 HAS SOUPS 11927748 WITH SCORE 1.1947685685E7
AT ITER 2174 NEW BEST:: SOT 30047547 SOS 19937217 HAS SOPS 13463477 HAS SOUS 12294733 HAS SOUPS 11926344 WITH SCORE 1.1946281217E7
AT ITER 2183 NEW BEST:: SOT 30047547 SOS 19938479 HAS SOPS 13462846 HAS SOUS 12294293 HAS SOUPS 11925713 WITH SCORE 1.1945651479E7
AT ITER 2191 NEW BEST:: SOT 30048565 SOS 19939497 HAS SOPS 13462838 HAS SOUS 12294284 HAS SOUPS 11925704 WITH SCORE 1.1945643497E7
AT ITER 2197 NEW BEST:: SOT 30047284 SOS 19938216 HAS SOPS 13459903 HAS SOUS 12291350 HAS SOUPS 11922770 WITH SCORE 1.1942708216E7
AT ITER 2199 NEW BEST:: SOT 30044104 SOS 19935036 HAS SOPS 13453542 HAS SOUS 12286782 HAS SOUPS 11916410 WITH SCORE 1.1936345036E7
AT ITER 2200 NEW BEST:: SOT 30041923 SOS 19932881 HAS SOPS 13452397 HAS SOUS 12285637 HAS SOUPS 11915265 WITH SCORE 1.1935197881E7
AT ITER 2202 NEW BEST:: SOT 30042338 SOS 19933296 HAS SOPS 13452467 HAS SOUS 12285292 HAS SOUPS 11914920 WITH SCORE 1.1934853296E7
AT ITER 2204 NEW BEST:: SOT 30041790 SOS 19932748 HAS SOPS 13451097 HAS SOUS 12284160 HAS SOUPS 11913550 WITH SCORE 1.1933482748E7
AT ITER 2205 NEW BEST:: SOT 30041779 SOS 19932737 HAS SOPS 13451086 HAS SOUS 12284171 HAS SOUPS 11913550 WITH SCORE 1.1933482737E7
AT ITER 2207 NEW BEST:: SOT 30040753 SOS 19931711 HAS SOPS 13449033 HAS SOUS 12283393 HAS SOUPS 11912113 WITH SCORE 1.1932044711E7
AT ITER 2208 NEW BEST:: SOT 30041067 SOS 19932025 HAS SOPS 13448586 HAS SOUS 12282946 HAS SOUPS 11911666 WITH SCORE 1.1931598025E7
AT ITER 2212 NEW BEST:: SOT 30041067 SOS 19933150 HAS SOPS 13448424 HAS SOUS 12282784 HAS SOUPS 11911504 WITH SCORE 1.193143715E7
AT ITER 2218 NEW BEST:: SOT 30040022 SOS 19932105 HAS SOPS 13445335 HAS SOUS 12279696 HAS SOUPS 11908416 WITH SCORE 1.1928348105E7
AT ITER 2220 NEW BEST:: SOT 30040022 SOS 19932105 HAS SOPS 13445330 HAS SOUS 12279691 HAS SOUPS 11908411 WITH SCORE 1.1928343105E7
AT ITER 2221 NEW BEST:: SOT 30039925 SOS 19932008 HAS SOPS 13445136 HAS SOUS 12279439 HAS SOUPS 11908121 WITH SCORE 1.1928053008E7
AT ITER 2227 NEW BEST:: SOT 30039708 SOS 19931791 HAS SOPS 13444679 HAS SOUS 12278982 HAS SOUPS 11907664 WITH SCORE 1.1927595791E7
AT ITER 2239 NEW BEST:: SOT 30040516 SOS 19932599 HAS SOPS 13444524 HAS SOUS 12277211 HAS SOUPS 11905893 WITH SCORE 1.1925825599E7
AT ITER 2250 NEW BEST:: SOT 30039503 SOS 19931586 HAS SOPS 13442497 HAS SOUS 12273549 HAS SOUPS 11902231 WITH SCORE 1.1922162586E7
AT ITER 2254 NEW BEST:: SOT 30039218 SOS 19931301 HAS SOPS 13441641 HAS SOUS 12273227 HAS SOUPS 11901660 WITH SCORE 1.1921591301E7
AT ITER 2260 NEW BEST:: SOT 30037652 SOS 19929800 HAS SOPS 13438437 HAS SOUS 12270024 HAS SOUPS 11898457 WITH SCORE 1.19183868E7
AT ITER 2267 NEW BEST:: SOT 30036574 SOS 19928722 HAS SOPS 13436280 HAS SOUS 12266790 HAS SOUPS 11895223 WITH SCORE 1.1915151722E7
AT ITER 2274 NEW BEST:: SOT 30036987 SOS 19929135 HAS SOPS 13436016 HAS SOUS 12266526 HAS SOUPS 11894959 WITH SCORE 1.1914888135E7
AT ITER 2277 NEW BEST:: SOT 30035950 SOS 19928098 HAS SOPS 13432845 HAS SOUS 12262820 HAS SOUPS 11891253 WITH SCORE 1.1911181098E7
AT ITER 2281 NEW BEST:: SOT 30036015 SOS 19928163 HAS SOPS 13431280 HAS SOUS 12261783 HAS SOUPS 11889689 WITH SCORE 1.1909617163E7
AT ITER 2285 NEW BEST:: SOT 30035113 SOS 19927261 HAS SOPS 13427177 HAS SOUS 12257682 HAS SOUPS 11885588 WITH SCORE 1.1905515261E7
AT ITER 2286 NEW BEST:: SOT 30035226 SOS 19927374 HAS SOPS 13426459 HAS SOUS 12256965 HAS SOUPS 11884871 WITH SCORE 1.1904798374E7
AT ITER 2290 NEW BEST:: SOT 30034476 SOS 19926624 HAS SOPS 13424490 HAS SOUS 12256215 HAS SOUPS 11884121 WITH SCORE 1.1904047624E7
AT ITER 2295 NEW BEST:: SOT 30034069 SOS 19926260 HAS SOPS 13423288 HAS SOUS 12255808 HAS SOUPS 11883714 WITH SCORE 1.190364026E7
AT ITER 2296 NEW BEST:: SOT 30034069 SOS 19926260 HAS SOPS 13421970 HAS SOUS 12255277 HAS SOUPS 11882396 WITH SCORE 1.190232226E7
AT ITER 2299 NEW BEST:: SOT 30033512 SOS 19925703 HAS SOPS 13419960 HAS SOUS 12251770 HAS SOUPS 11878753 WITH SCORE 1.1898678703E7
AT ITER 2306 NEW BEST:: SOT 30043879 SOS 19888508 HAS SOPS 13372162 HAS SOUS 12251357 HAS SOUPS 11878340 WITH SCORE 1.1898228508E7
AT ITER 2312 NEW BEST:: SOT 30045113 SOS 19889742 HAS SOPS 13372287 HAS SOUS 12251505 HAS SOUPS 11878310 WITH SCORE 1.1898199742E7
AT ITER 2320 NEW BEST:: SOT 30045113 SOS 19889742 HAS SOPS 13372283 HAS SOUS 12251578 HAS SOUPS 11878306 WITH SCORE 1.1898195742E7
AT ITER 2334 NEW BEST:: SOT 30044118 SOS 19888851 HAS SOPS 13369624 HAS SOUS 12250583 HAS SOUPS 11877311 WITH SCORE 1.1897199851E7
AT ITER 2343 NEW BEST:: SOT 30044118 SOS 19888844 HAS SOPS 13369624 HAS SOUS 12250583 HAS SOUPS 11877311 WITH SCORE 1.1897199844E7
AT ITER 2348 NEW BEST:: SOT 30043433 SOS 19888159 HAS SOPS 13368253 HAS SOUS 12248644 HAS SOUPS 11875372 WITH SCORE 1.1895260159E7
AT ITER 2350 NEW BEST:: SOT 30042457 SOS 19887183 HAS SOPS 13363950 HAS SOUS 12244343 HAS SOUPS 11871071 WITH SCORE 1.1890958183E7
AT ITER 2352 NEW BEST:: SOT 30042457 SOS 19887183 HAS SOPS 13363949 HAS SOUS 12244127 HAS SOUPS 11870855 WITH SCORE 1.1890742183E7
AT ITER 2353 NEW BEST:: SOT 30043235 SOS 19888204 HAS SOPS 13363214 HAS SOUS 12242871 HAS SOUPS 11869463 WITH SCORE 1.1889351204E7
AT ITER 2354 NEW BEST:: SOT 30042074 SOS 19887043 HAS SOPS 13360612 HAS SOUS 12240270 HAS SOUPS 11866862 WITH SCORE 1.1886749043E7
AT ITER 2357 NEW BEST:: SOT 30041665 SOS 19886634 HAS SOPS 13359794 HAS SOUS 12238480 HAS SOUPS 11865072 WITH SCORE 1.1884958634E7
AT ITER 2362 NEW BEST:: SOT 30041390 SOS 19886359 HAS SOPS 13358778 HAS SOUS 12237465 HAS SOUPS 11864057 WITH SCORE 1.1883943359E7
AT ITER 2367 NEW BEST:: SOT 30041390 SOS 19886359 HAS SOPS 13358511 HAS SOUS 12237198 HAS SOUPS 11863790 WITH SCORE 1.1883676359E7
AT ITER 2369 NEW BEST:: SOT 30041390 SOS 19886359 HAS SOPS 13358510 HAS SOUS 12236633 HAS SOUPS 11863225 WITH SCORE 1.1883111359E7
AT ITER 2371 NEW BEST:: SOT 30041390 SOS 19886359 HAS SOPS 13357144 HAS SOUS 12235267 HAS SOUPS 11861859 WITH SCORE 1.1881745359E7
AT ITER 2376 NEW BEST:: SOT 30040556 SOS 19885525 HAS SOPS 13354642 HAS SOUS 12232765 HAS SOUPS 11859357 WITH SCORE 1.1879242525E7
AT ITER 2384 NEW BEST:: SOT 30040556 SOS 19885525 HAS SOPS 13354417 HAS SOUS 12232540 HAS SOUPS 11859132 WITH SCORE 1.1879017525E7
AT ITER 2389 NEW BEST:: SOT 30040465 SOS 19908391 HAS SOPS 13354017 HAS SOUS 12232449 HAS SOUPS 11858732 WITH SCORE 1.1878640391E7
AT ITER 2395 NEW BEST:: SOT 30041391 SOS 19909317 HAS SOPS 13355062 HAS SOUS 12232515 HAS SOUPS 11858643 WITH SCORE 1.1878552317E7
AT ITER 2396 NEW BEST:: SOT 30041764 SOS 19909690 HAS SOPS 13353822 HAS SOUS 12231276 HAS SOUPS 11857404 WITH SCORE 1.187731369E7
AT ITER 2398 NEW BEST:: SOT 30040850 SOS 19909083 HAS SOPS 13351232 HAS SOUS 12228687 HAS SOUPS 11854815 WITH SCORE 1.1874724083E7
AT ITER 2401 NEW BEST:: SOT 30040850 SOS 19909083 HAS SOPS 13351231 HAS SOUS 12227790 HAS SOUPS 11853918 WITH SCORE 1.1873827083E7
AT ITER 2403 NEW BEST:: SOT 30040430 SOS 19908663 HAS SOPS 13350391 HAS SOUS 12227520 HAS SOUPS 11853648 WITH SCORE 1.1873556663E7
AT ITER 2404 NEW BEST:: SOT 30040430 SOS 19908306 HAS SOPS 13350389 HAS SOUS 12227518 HAS SOUPS 11853646 WITH SCORE 1.1873554306E7
AT ITER 2411 NEW BEST:: SOT 30038522 SOS 19906405 HAS SOPS 13348272 HAS SOUS 12225402 HAS SOUPS 11851530 WITH SCORE 1.1871436405E7
AT ITER 2413 NEW BEST:: SOT 30040607 SOS 19909662 HAS SOPS 13344983 HAS SOUS 12222864 HAS SOUPS 11848242 WITH SCORE 1.1868151662E7
AT ITER 2420 NEW BEST:: SOT 30040750 SOS 19909805 HAS SOPS 13345693 HAS SOUS 12222439 HAS SOUPS 11847817 WITH SCORE 1.1867726805E7
AT ITER 2428 NEW BEST:: SOT 30042478 SOS 19911533 HAS SOPS 13346064 HAS SOUS 12222276 HAS SOUPS 11847498 WITH SCORE 1.1867409533E7
AT ITER 2430 NEW BEST:: SOT 30042399 SOS 19911454 HAS SOPS 13342596 HAS SOUS 12220009 HAS SOUPS 11845231 WITH SCORE 1.1865142454E7
AT ITER 2433 NEW BEST:: SOT 30041799 SOS 19910854 HAS SOPS 13341395 HAS SOUS 12217151 HAS SOUPS 11842373 WITH SCORE 1.1862283854E7
AT ITER 2444 NEW BEST:: SOT 30041178 SOS 19910233 HAS SOPS 13339672 HAS SOUS 12215429 HAS SOUPS 11840651 WITH SCORE 1.1860561233E7
AT ITER 2455 NEW BEST:: SOT 30040062 SOS 19909117 HAS SOPS 13338556 HAS SOUS 12214313 HAS SOUPS 11839535 WITH SCORE 1.1859444117E7
AT ITER 2460 NEW BEST:: SOT 30040668 SOS 19909723 HAS SOPS 13339865 HAS SOUS 12213986 HAS SOUPS 11839208 WITH SCORE 1.1859117723E7
AT ITER 2464 NEW BEST:: SOT 30040668 SOS 19909723 HAS SOPS 13339648 HAS SOUS 12213769 HAS SOUPS 11838991 WITH SCORE 1.1858900723E7
AT ITER 2470 NEW BEST:: SOT 30040408 SOS 19909463 HAS SOPS 13339128 HAS SOUS 12213281 HAS SOUPS 11838471 WITH SCORE 1.1858380463E7
AT ITER 2471 NEW BEST:: SOT 30041067 SOS 19910781 HAS SOPS 13338910 HAS SOUS 12213063 HAS SOUPS 11838253 WITH SCORE 1.1858163781E7
AT ITER 2475 NEW BEST:: SOT 30039946 SOS 19909660 HAS SOPS 13336668 HAS SOUS 12209179 HAS SOUPS 11834369 WITH SCORE 1.185427866E7
AT ITER 2479 NEW BEST:: SOT 30039302 SOS 19909000 HAS SOPS 13335167 HAS SOUS 12208273 HAS SOUPS 11832869 WITH SCORE 1.1852778E7
AT ITER 2482 NEW BEST:: SOT 30039302 SOS 19909118 HAS SOPS 13334661 HAS SOUS 12207767 HAS SOUPS 11832363 WITH SCORE 1.1852272118E7
AT ITER 2485 NEW BEST:: SOT 30038939 SOS 19908774 HAS SOPS 13333935 HAS SOUS 12207599 HAS SOUPS 11831638 WITH SCORE 1.1851546774E7
AT ITER 2490 NEW BEST:: SOT 30038564 SOS 19908399 HAS SOPS 13333185 HAS SOUS 12206849 HAS SOUPS 11830888 WITH SCORE 1.1850796399E7
AT ITER 2493 NEW BEST:: SOT 30038111 SOS 19907946 HAS SOPS 13332279 HAS SOUS 12205943 HAS SOUPS 11829982 WITH SCORE 1.1849889946E7
AT ITER 2496 NEW BEST:: SOT 30037422 SOS 19907257 HAS SOPS 13328451 HAS SOUS 12202587 HAS SOUPS 11826156 WITH SCORE 1.1846063257E7
AT ITER 2498 NEW BEST:: SOT 30037085 SOS 19907359 HAS SOPS 13327460 HAS SOUS 12202431 HAS SOUPS 11826000 WITH SCORE 1.1845907359E7
AT ITER 2501 NEW BEST:: SOT 30037136 SOS 19907410 HAS SOPS 13325928 HAS SOUS 12201500 HAS SOUPS 11825069 WITH SCORE 1.184497641E7
AT ITER 2503 NEW BEST:: SOT 30036509 SOS 19906783 HAS SOPS 13324674 HAS SOUS 12201132 HAS SOUPS 11824701 WITH SCORE 1.1844607783E7
AT ITER 2505 NEW BEST:: SOT 30036161 SOS 19906435 HAS SOPS 13323745 HAS SOUS 12198623 HAS SOUPS 11822192 WITH SCORE 1.1842098435E7
AT ITER 2509 NEW BEST:: SOT 30036161 SOS 19907883 HAS SOPS 13323142 HAS SOUS 12198020 HAS SOUPS 11821589 WITH SCORE 1.1841496883E7
AT ITER 2512 NEW BEST:: SOT 30036161 SOS 19907883 HAS SOPS 13322884 HAS SOUS 12197761 HAS SOUPS 11821330 WITH SCORE 1.1841237883E7
AT ITER 2514 NEW BEST:: SOT 30036171 SOS 19944173 HAS SOPS 13321265 HAS SOUS 12197049 HAS SOUPS 11819711 WITH SCORE 1.1839655173E7
AT ITER 2520 NEW BEST:: SOT 30034867 SOS 19942869 HAS SOPS 13316433 HAS SOUS 12193157 HAS SOUPS 11815819 WITH SCORE 1.1835761869E7
AT ITER 2527 NEW BEST:: SOT 30034533 SOS 19942535 HAS SOPS 13314423 HAS SOUS 12191148 HAS SOUPS 11813810 WITH SCORE 1.1833752535E7
AT ITER 2529 NEW BEST:: SOT 30034597 SOS 19987879 HAS SOPS 13313901 HAS SOUS 12191315 HAS SOUPS 11813288 WITH SCORE 1.1833275879E7
AT ITER 2531 NEW BEST:: SOT 30034991 SOS 19988273 HAS SOPS 13313537 HAS SOUS 12191056 HAS SOUPS 11813029 WITH SCORE 1.1833017273E7
AT ITER 2537 NEW BEST:: SOT 30034836 SOS 19988509 HAS SOPS 13312835 HAS SOUS 12190355 HAS SOUPS 11812328 WITH SCORE 1.1832316509E7
AT ITER 2552 NEW BEST:: SOT 30034644 SOS 19988317 HAS SOPS 13311500 HAS SOUS 12189328 HAS SOUPS 11810995 WITH SCORE 1.1830983317E7
AT ITER 2554 NEW BEST:: SOT 30033987 SOS 19987660 HAS SOPS 13310185 HAS SOUS 12186850 HAS SOUPS 11808517 WITH SCORE 1.182850466E7
AT ITER 2558 NEW BEST:: SOT 30034294 SOS 19988710 HAS SOPS 13309647 HAS SOUS 12186393 HAS SOUPS 11807979 WITH SCORE 1.182796771E7
AT ITER 2560 NEW BEST:: SOT 30034240 SOS 19988656 HAS SOPS 13309645 HAS SOUS 12186339 HAS SOUPS 11807925 WITH SCORE 1.1827913656E7
AT ITER 2567 NEW BEST:: SOT 30033031 SOS 19987447 HAS SOPS 13308085 HAS SOUS 12184779 HAS SOUPS 11806365 WITH SCORE 1.1826352447E7
AT ITER 2570 NEW BEST:: SOT 30033048 SOS 19987759 HAS SOPS 13307604 HAS SOUS 12184298 HAS SOUPS 11805884 WITH SCORE 1.1825871759E7
AT ITER 2571 NEW BEST:: SOT 30032055 SOS 19986766 HAS SOPS 13303501 HAS SOUS 12181038 HAS SOUPS 11801782 WITH SCORE 1.1821768766E7
AT ITER 2577 NEW BEST:: SOT 30031694 SOS 19986405 HAS SOPS 13302779 HAS SOUS 12180677 HAS SOUPS 11801421 WITH SCORE 1.1821407405E7
AT ITER 2579 NEW BEST:: SOT 30031694 SOS 19986405 HAS SOPS 13302778 HAS SOUS 12180676 HAS SOUPS 11801420 WITH SCORE 1.1821406405E7
AT ITER 2592 NEW BEST:: SOT 30032605 SOS 19987316 HAS SOPS 13303069 HAS SOUS 12179366 HAS SOUPS 11800085 WITH SCORE 1.1820072316E7
AT ITER 2593 NEW BEST:: SOT 30032283 SOS 19986994 HAS SOPS 13303069 HAS SOUS 12179366 HAS SOUPS 11800085 WITH SCORE 1.1820071994E7
AT ITER 2595 NEW BEST:: SOT 30032283 SOS 19986994 HAS SOPS 13303178 HAS SOUS 12178259 HAS SOUPS 11798978 WITH SCORE 1.1818964994E7
AT ITER 2600 NEW BEST:: SOT 30032283 SOS 19986994 HAS SOPS 13303249 HAS SOUS 12178074 HAS SOUPS 11798793 WITH SCORE 1.1818779994E7
AT ITER 2603 NEW BEST:: SOT 30031684 SOS 19986395 HAS SOPS 13301972 HAS SOUS 12177371 HAS SOUPS 11798115 WITH SCORE 1.1818101395E7
AT ITER 2605 NEW BEST:: SOT 30032395 SOS 19987106 HAS SOPS 13303393 HAS SOUS 12177136 HAS SOUPS 11797880 WITH SCORE 1.1817867106E7
AT ITER 2614 NEW BEST:: SOT 30031763 SOS 19986474 HAS SOPS 13299507 HAS SOUS 12174879 HAS SOUPS 11795623 WITH SCORE 1.1815609474E7
AT ITER 2616 NEW BEST:: SOT 30031763 SOS 19986474 HAS SOPS 13299408 HAS SOUS 12174813 HAS SOUPS 11795557 WITH SCORE 1.1815543474E7
AT ITER 2620 NEW BEST:: SOT 30031763 SOS 19986474 HAS SOPS 13299408 HAS SOUS 12174453 HAS SOUPS 11795197 WITH SCORE 1.1815183474E7
AT ITER 2623 NEW BEST:: SOT 30030912 SOS 19985623 HAS SOPS 13298557 HAS SOUS 12173602 HAS SOUPS 11794346 WITH SCORE 1.1814331623E7
AT ITER 2625 NEW BEST:: SOT 30029735 SOS 19984507 HAS SOPS 13295720 HAS SOUS 12170766 HAS SOUPS 11791510 WITH SCORE 1.1811494507E7
AT ITER 2630 NEW BEST:: SOT 30029735 SOS 19984507 HAS SOPS 13294781 HAS SOUS 12169827 HAS SOUPS 11790571 WITH SCORE 1.1810555507E7
AT ITER 2631 NEW BEST:: SOT 30029500 SOS 19984272 HAS SOPS 13294311 HAS SOUS 12169357 HAS SOUPS 11790101 WITH SCORE 1.1810085272E7
AT ITER 2636 NEW BEST:: SOT 30029500 SOS 19984272 HAS SOPS 13294328 HAS SOUS 12169340 HAS SOUPS 11790084 WITH SCORE 1.1810068272E7
AT ITER 2640 NEW BEST:: SOT 30028712 SOS 19984134 HAS SOPS 13292188 HAS SOUS 12168223 HAS SOUPS 11788967 WITH SCORE 1.1808951134E7
AT ITER 2657 NEW BEST:: SOT 30028822 SOS 19985284 HAS SOPS 13291078 HAS SOUS 12167114 HAS SOUPS 11787858 WITH SCORE 1.1807843284E7
AT ITER 2660 NEW BEST:: SOT 30028692 SOS 19985916 HAS SOPS 13290582 HAS SOUS 12166934 HAS SOUPS 11787678 WITH SCORE 1.1807663916E7
AT ITER 2661 NEW BEST:: SOT 30027825 SOS 19985049 HAS SOPS 13288847 HAS SOUS 12165200 HAS SOUPS 11785944 WITH SCORE 1.1805929049E7
AT ITER 2664 NEW BEST:: SOT 30027825 SOS 19985049 HAS SOPS 13288400 HAS SOUS 12164753 HAS SOUPS 11785497 WITH SCORE 1.1805482049E7
AT ITER 2666 NEW BEST:: SOT 30027825 SOS 19985049 HAS SOPS 13288382 HAS SOUS 12164744 HAS SOUPS 11785488 WITH SCORE 1.1805473049E7
AT ITER 2670 NEW BEST:: SOT 30027825 SOS 19985049 HAS SOPS 13288382 HAS SOUS 12164415 HAS SOUPS 11785159 WITH SCORE 1.1805144049E7
AT ITER 2676 NEW BEST:: SOT 30026415 SOS 19983639 HAS SOPS 13285497 HAS SOUS 12162386 HAS SOUPS 11782217 WITH SCORE 1.1802200639E7
AT ITER 2680 NEW BEST:: SOT 30026282 SOS 19983506 HAS SOPS 13284404 HAS SOUS 12161294 HAS SOUPS 11781125 WITH SCORE 1.1801108506E7
AT ITER 2685 NEW BEST:: SOT 30026282 SOS 19983506 HAS SOPS 13282926 HAS SOUS 12159817 HAS SOUPS 11779648 WITH SCORE 1.1799631506E7
AT ITER 2691 NEW BEST:: SOT 30025372 SOS 19982596 HAS SOPS 13280196 HAS SOUS 12157087 HAS SOUPS 11776918 WITH SCORE 1.1796900596E7
AT ITER 2692 NEW BEST:: SOT 30023905 SOS 19981277 HAS SOPS 13277113 HAS SOUS 12154367 HAS SOUPS 11773836 WITH SCORE 1.1793817277E7
AT ITER 2696 NEW BEST:: SOT 30024049 SOS 19981421 HAS SOPS 13277764 HAS SOUS 12153366 HAS SOUPS 11772835 WITH SCORE 1.1792816421E7
AT ITER 2702 NEW BEST:: SOT 30023670 SOS 19981042 HAS SOPS 13276627 HAS SOUS 12152229 HAS SOUPS 11771698 WITH SCORE 1.1791679042E7
AT ITER 2710 NEW BEST:: SOT 30023379 SOS 19980751 HAS SOPS 13276045 HAS SOUS 12151647 HAS SOUPS 11771116 WITH SCORE 1.1791096751E7
AT ITER 2722 NEW BEST:: SOT 30023267 SOS 19980639 HAS SOPS 13275933 HAS SOUS 12151535 HAS SOUPS 11771004 WITH SCORE 1.1790984639E7
AT ITER 2728 NEW BEST:: SOT 30022820 SOS 19980192 HAS SOPS 13275039 HAS SOUS 12150641 HAS SOUPS 11770110 WITH SCORE 1.1790090192E7
AT ITER 2733 NEW BEST:: SOT 30022446 SOS 19979818 HAS SOPS 13274798 HAS SOUS 12150404 HAS SOUPS 11769873 WITH SCORE 1.1789852818E7
AT ITER 2734 NEW BEST:: SOT 30021263 SOS 19978635 HAS SOPS 13273929 HAS SOUS 12147877 HAS SOUPS 11767346 WITH SCORE 1.1787324635E7
AT ITER 2758 NEW BEST:: SOT 30020806 SOS 19961269 HAS SOPS 13257020 HAS SOUS 12146963 HAS SOUPS 11766432 WITH SCORE 1.1786393269E7
AT ITER 2765 NEW BEST:: SOT 30019364 SOS 19959827 HAS SOPS 13254135 HAS SOUS 12142637 HAS SOUPS 11762106 WITH SCORE 1.1782065827E7
AT ITER 2766 NEW BEST:: SOT 30019326 SOS 19960684 HAS SOPS 13254059 HAS SOUS 12142562 HAS SOUPS 11762031 WITH SCORE 1.1781991684E7
AT ITER 2769 NEW BEST:: SOT 30019732 SOS 19961286 HAS SOPS 13253972 HAS SOUS 12142547 HAS SOUPS 11761944 WITH SCORE 1.1781905286E7
AT ITER 2776 NEW BEST:: SOT 30019113 SOS 19960667 HAS SOPS 13252115 HAS SOUS 12141309 HAS SOUPS 11760087 WITH SCORE 1.1780047667E7
AT ITER 2781 NEW BEST:: SOT 30019113 SOS 19960667 HAS SOPS 13252114 HAS SOUS 12141308 HAS SOUPS 11760086 WITH SCORE 1.1780046667E7
AT ITER 2790 NEW BEST:: SOT 30018444 SOS 19959998 HAS SOPS 13250926 HAS SOUS 12140120 HAS SOUPS 11758898 WITH SCORE 1.1778857998E7
AT ITER 2793 NEW BEST:: SOT 30018340 SOS 19959894 HAS SOPS 13250800 HAS SOUS 12139984 HAS SOUPS 11758762 WITH SCORE 1.1778721894E7
AT ITER 2799 NEW BEST:: SOT 30015761 SOS 19957315 HAS SOPS 13250368 HAS SOUS 12139552 HAS SOUPS 11758330 WITH SCORE 1.1778287315E7
AT ITER 2804 NEW BEST:: SOT 30015270 SOS 19956605 HAS SOPS 13249127 HAS SOUS 12138311 HAS SOUPS 11757089 WITH SCORE 1.1777045605E7
AT ITER 2821 NEW BEST:: SOT 30015138 SOS 19957460 HAS SOPS 13248863 HAS SOUS 12138048 HAS SOUPS 11756826 WITH SCORE 1.177678346E7
AT ITER 2826 NEW BEST:: SOT 30014684 SOS 19957006 HAS SOPS 13247955 HAS SOUS 12135449 HAS SOUPS 11755918 WITH SCORE 1.1775875006E7
AT ITER 2834 NEW BEST:: SOT 30014883 SOS 19957205 HAS SOPS 13247839 HAS SOUS 12135334 HAS SOUPS 11755803 WITH SCORE 1.1775760205E7
AT ITER 2836 NEW BEST:: SOT 30014883 SOS 19957205 HAS SOPS 13247838 HAS SOUS 12133905 HAS SOUPS 11754418 WITH SCORE 1.1774375205E7
AT ITER 2839 NEW BEST:: SOT 30014921 SOS 19957243 HAS SOPS 13247477 HAS SOUS 12133545 HAS SOUPS 11754058 WITH SCORE 1.1774015243E7
AT ITER 2843 NEW BEST:: SOT 30015039 SOS 19957361 HAS SOPS 13246093 HAS SOUS 12132162 HAS SOUPS 11752675 WITH SCORE 1.1772632361E7
AT ITER 2847 NEW BEST:: SOT 30015035 SOS 19957357 HAS SOPS 13246083 HAS SOUS 12132153 HAS SOUPS 11752666 WITH SCORE 1.1772623357E7
AT ITER 2851 NEW BEST:: SOT 30015035 SOS 19957357 HAS SOPS 13246083 HAS SOUS 12132137 HAS SOUPS 11752650 WITH SCORE 1.1772607357E7
AT ITER 2860 NEW BEST:: SOT 30015035 SOS 19957357 HAS SOPS 13246082 HAS SOUS 12131413 HAS SOUPS 11751926 WITH SCORE 1.1771883357E7
AT ITER 2863 NEW BEST:: SOT 30013999 SOS 19956321 HAS SOPS 13244010 HAS SOUS 12129342 HAS SOUPS 11749855 WITH SCORE 1.1769811321E7
AT ITER 2870 NEW BEST:: SOT 30013367 SOS 19955689 HAS SOPS 13243377 HAS SOUS 12128394 HAS SOUPS 11748907 WITH SCORE 1.1768862689E7
AT ITER 2874 NEW BEST:: SOT 30012874 SOS 19955196 HAS SOPS 13241913 HAS SOUS 12128060 HAS SOUPS 11748573 WITH SCORE 1.1768528196E7
AT ITER 2876 NEW BEST:: SOT 30009904 SOS 19952325 HAS SOPS 13239438 HAS SOUS 12125090 HAS SOUPS 11746098 WITH SCORE 1.1766050325E7
AT ITER 2879 NEW BEST:: SOT 30009532 SOS 19951953 HAS SOPS 13238322 HAS SOUS 12123974 HAS SOUPS 11744982 WITH SCORE 1.1764933953E7
AT ITER 2882 NEW BEST:: SOT 30009532 SOS 19951953 HAS SOPS 13236474 HAS SOUS 12122126 HAS SOUPS 11743134 WITH SCORE 1.1763085953E7
AT ITER 2884 NEW BEST:: SOT 30009391 SOS 19951812 HAS SOPS 13236191 HAS SOUS 12121844 HAS SOUPS 11742852 WITH SCORE 1.1762803812E7
AT ITER 2898 NEW BEST:: SOT 30009391 SOS 19951812 HAS SOPS 13236187 HAS SOUS 12121840 HAS SOUPS 11742848 WITH SCORE 1.1762799812E7
AT ITER 2899 NEW BEST:: SOT 30008790 SOS 19951211 HAS SOPS 13234644 HAS SOUS 12120432 HAS SOUPS 11741305 WITH SCORE 1.1761256211E7
AT ITER 2901 NEW BEST:: SOT 30008070 SOS 19950491 HAS SOPS 13233923 HAS SOUS 12118914 HAS SOUPS 11739787 WITH SCORE 1.1759737491E7
AT ITER 2911 NEW BEST:: SOT 30007298 SOS 19949719 HAS SOPS 13231230 HAS SOUS 12117778 HAS SOUPS 11738651 WITH SCORE 1.1758600719E7
AT ITER 2923 NEW BEST:: SOT 30006953 SOS 19949749 HAS SOPS 13230327 HAS SOUS 12116876 HAS SOUPS 11737749 WITH SCORE 1.1757698749E7
AT ITER 2924 NEW BEST:: SOT 30006293 SOS 19949089 HAS SOPS 13229427 HAS SOUS 12114305 HAS SOUPS 11735178 WITH SCORE 1.1755127089E7
AT ITER 2926 NEW BEST:: SOT 30006293 SOS 19949089 HAS SOPS 13229737 HAS SOUS 12114001 HAS SOUPS 11734874 WITH SCORE 1.1754823089E7
AT ITER 2934 NEW BEST:: SOT 30006293 SOS 19949089 HAS SOPS 13229550 HAS SOUS 12114146 HAS SOUPS 11734687 WITH SCORE 1.1754636089E7
AT ITER 2938 NEW BEST:: SOT 30005539 SOS 19948335 HAS SOPS 13227865 HAS SOUS 12113383 HAS SOUPS 11733924 WITH SCORE 1.1753872335E7
AT ITER 2940 NEW BEST:: SOT 30005539 SOS 19948335 HAS SOPS 13227865 HAS SOUS 12113135 HAS SOUPS 11733676 WITH SCORE 1.1753624335E7
AT ITER 2942 NEW BEST:: SOT 30004773 SOS 19947569 HAS SOPS 13227614 HAS SOUS 12112885 HAS SOUPS 11733426 WITH SCORE 1.1753373569E7
AT ITER 2944 NEW BEST:: SOT 30003930 SOS 19946726 HAS SOPS 13225928 HAS SOUS 12111199 HAS SOUPS 11731740 WITH SCORE 1.1751686726E7
AT ITER 2947 NEW BEST:: SOT 30003153 SOS 19945949 HAS SOPS 13223247 HAS SOUS 12109615 HAS SOUPS 11730156 WITH SCORE 1.1750101949E7
AT ITER 2949 NEW BEST:: SOT 30003194 SOS 19945990 HAS SOPS 13221187 HAS SOUS 12107555 HAS SOUPS 11728096 WITH SCORE 1.174804199E7
AT ITER 2958 NEW BEST:: SOT 30003188 SOS 19945984 HAS SOPS 13221175 HAS SOUS 12107793 HAS SOUPS 11728084 WITH SCORE 1.1748029984E7
AT ITER 2960 NEW BEST:: SOT 30001624 SOS 19944420 HAS SOPS 13218046 HAS SOUS 12103233 HAS SOUPS 11723392 WITH SCORE 1.174333642E7
AT ITER 2964 NEW BEST:: SOT 30001400 SOS 19944728 HAS SOPS 13217598 HAS SOUS 12102733 HAS SOUPS 11722944 WITH SCORE 1.1742888728E7
AT ITER 2978 NEW BEST:: SOT 30001439 SOS 19944767 HAS SOPS 13200648 HAS SOUS 12085783 HAS SOUPS 11705994 WITH SCORE 1.1725938767E7
AT ITER 2980 NEW BEST:: SOT 30001439 SOS 19944767 HAS SOPS 13200648 HAS SOUS 12085672 HAS SOUPS 11705883 WITH SCORE 1.1725827767E7
AT ITER 2986 NEW BEST:: SOT 30000174 SOS 19943502 HAS SOPS 13197280 HAS SOUS 12081508 HAS SOUPS 11701719 WITH SCORE 1.1721662502E7
AT ITER 3004 NEW BEST:: SOT 29998840 SOS 19942168 HAS SOPS 13196916 HAS SOUS 12080645 HAS SOUPS 11701355 WITH SCORE 1.1721297168E7
AT ITER 3011 NEW BEST:: SOT 30000287 SOS 20085937 HAS SOPS 13196397 HAS SOUS 12082529 HAS SOUPS 11700836 WITH SCORE 1.1720921937E7
AT ITER 3014 NEW BEST:: SOT 30000287 SOS 20085937 HAS SOPS 13193651 HAS SOUS 12080374 HAS SOUPS 11698681 WITH SCORE 1.1718766937E7
AT ITER 3018 NEW BEST:: SOT 30000287 SOS 20085937 HAS SOPS 13192128 HAS SOUS 12079615 HAS SOUPS 11697922 WITH SCORE 1.1718007937E7
AT ITER 3022 NEW BEST:: SOT 29999008 SOS 20084658 HAS SOPS 13190414 HAS SOUS 12077901 HAS SOUPS 11696208 WITH SCORE 1.1716292658E7
AT ITER 3024 NEW BEST:: SOT 29998296 SOS 20083946 HAS SOPS 13185657 HAS SOUS 12073144 HAS SOUPS 11691451 WITH SCORE 1.1711534946E7
AT ITER 3027 NEW BEST:: SOT 29989954 SOS 20246420 HAS SOPS 13175901 HAS SOUS 12066394 HAS SOUPS 11681695 WITH SCORE 1.170194142E7
AT ITER 3033 NEW BEST:: SOT 29989267 SOS 20246552 HAS SOPS 13173574 HAS SOUS 12065725 HAS SOUPS 11681026 WITH SCORE 1.1701272552E7
AT ITER 3039 NEW BEST:: SOT 29989138 SOS 20246593 HAS SOPS 13172422 HAS SOUS 12064574 HAS SOUPS 11679875 WITH SCORE 1.1700121593E7
AT ITER 3044 NEW BEST:: SOT 29988772 SOS 20246807 HAS SOPS 13171246 HAS SOUS 12064208 HAS SOUPS 11679509 WITH SCORE 1.1699755807E7
AT ITER 3049 NEW BEST:: SOT 29987591 SOS 20245626 HAS SOPS 13168421 HAS SOUS 12061469 HAS SOUPS 11676685 WITH SCORE 1.1696930626E7
AT ITER 3054 NEW BEST:: SOT 29987425 SOS 20246363 HAS SOPS 13166589 HAS SOUS 12061303 HAS SOUPS 11676519 WITH SCORE 1.1696765363E7
AT ITER 3056 NEW BEST:: SOT 29987242 SOS 20246180 HAS SOPS 13165938 HAS SOUS 12060652 HAS SOUPS 11675868 WITH SCORE 1.169611418E7
AT ITER 3063 NEW BEST:: SOT 29986333 SOS 20245271 HAS SOPS 13163353 HAS SOUS 12058068 HAS SOUPS 11673284 WITH SCORE 1.1693529271E7
AT ITER 3069 NEW BEST:: SOT 29985910 SOS 20244848 HAS SOPS 13163435 HAS SOUS 12058054 HAS SOUPS 11673270 WITH SCORE 1.1693514848E7
AT ITER 3077 NEW BEST:: SOT 29984558 SOS 20243496 HAS SOPS 13160445 HAS SOUS 12055065 HAS SOUPS 11670281 WITH SCORE 1.1690524496E7
AT ITER 3079 NEW BEST:: SOT 29984558 SOS 20243496 HAS SOPS 13160444 HAS SOUS 12054884 HAS SOUPS 11670100 WITH SCORE 1.1690343496E7
AT ITER 3090 NEW BEST:: SOT 29984691 SOS 20243629 HAS SOPS 13160709 HAS SOUS 12053521 HAS SOUPS 11668737 WITH SCORE 1.1688980629E7
AT ITER 3093 NEW BEST:: SOT 29984935 SOS 20243873 HAS SOPS 13161196 HAS SOUS 12052364 HAS SOUPS 11667580 WITH SCORE 1.1687823873E7
AT ITER 3097 NEW BEST:: SOT 29985273 SOS 20244457 HAS SOPS 13161105 HAS SOUS 12052285 HAS SOUPS 11667489 WITH SCORE 1.1687733457E7
AT ITER 3105 NEW BEST:: SOT 29984567 SOS 20243751 HAS SOPS 13160142 HAS SOUS 12050830 HAS SOUPS 11665582 WITH SCORE 1.1685825751E7
AT ITER 3122 NEW BEST:: SOT 29985952 SOS 20340976 HAS SOPS 13159972 HAS SOUS 12052605 HAS SOUPS 11665412 WITH SCORE 1.1685752976E7
AT ITER 3126 NEW BEST:: SOT 29985749 SOS 20340773 HAS SOPS 13158629 HAS SOUS 12052200 HAS SOUPS 11665007 WITH SCORE 1.1685347773E7
AT ITER 3128 NEW BEST:: SOT 29985749 SOS 20340773 HAS SOPS 13158342 HAS SOUS 12051947 HAS SOUPS 11664720 WITH SCORE 1.1685060773E7
AT ITER 3130 NEW BEST:: SOT 29985525 SOS 20340549 HAS SOPS 13158118 HAS SOUS 12051723 HAS SOUPS 11664496 WITH SCORE 1.1684836549E7
AT ITER 3131 NEW BEST:: SOT 29984809 SOS 20339833 HAS SOPS 13156686 HAS SOUS 12049575 HAS SOUPS 11662348 WITH SCORE 1.1682687833E7
AT ITER 3141 NEW BEST:: SOT 29984824 SOS 20340138 HAS SOPS 13156266 HAS SOUS 12049155 HAS SOUPS 11661928 WITH SCORE 1.1682268138E7
AT ITER 3145 NEW BEST:: SOT 29984979 SOS 20340291 HAS SOPS 13157440 HAS SOUS 12048878 HAS SOUPS 11661651 WITH SCORE 1.1681991291E7
AT ITER 3155 NEW BEST:: SOT 29985364 SOS 20341344 HAS SOPS 13157285 HAS SOUS 12049081 HAS SOUPS 11661496 WITH SCORE 1.1681837344E7
AT ITER 3163 NEW BEST:: SOT 29986002 SOS 20341605 HAS SOPS 13159275 HAS SOUS 12048879 HAS SOUPS 11661294 WITH SCORE 1.1681635605E7
AT ITER 3166 NEW BEST:: SOT 29986170 SOS 20341773 HAS SOPS 13158897 HAS SOUS 12048509 HAS SOUPS 11660916 WITH SCORE 1.1681257773E7
AT ITER 3170 NEW BEST:: SOT 29985809 SOS 20341412 HAS SOPS 13158174 HAS SOUS 12047787 HAS SOUPS 11660194 WITH SCORE 1.1680535412E7
AT ITER 3179 NEW BEST:: SOT 29985632 SOS 20341235 HAS SOPS 13157820 HAS SOUS 12047610 HAS SOUPS 11660017 WITH SCORE 1.1680358235E7
AT ITER 3184 NEW BEST:: SOT 29984456 SOS 20340310 HAS SOPS 13154998 HAS SOUS 12044789 HAS SOUPS 11657196 WITH SCORE 1.167753631E7
AT ITER 3186 NEW BEST:: SOT 29984456 SOS 20340310 HAS SOPS 13154909 HAS SOUS 12044700 HAS SOUPS 11657107 WITH SCORE 1.167744731E7
AT ITER 3198 NEW BEST:: SOT 29984472 SOS 20340784 HAS SOPS 13154728 HAS SOUS 12044520 HAS SOUPS 11656927 WITH SCORE 1.1677267784E7
AT ITER 3211 NEW BEST:: SOT 29984449 SOS 20340761 HAS SOPS 13154682 HAS SOUS 12044474 HAS SOUPS 11656881 WITH SCORE 1.1677221761E7
AT ITER 3214 NEW BEST:: SOT 29983585 SOS 20339897 HAS SOPS 13152953 HAS SOUS 12043254 HAS SOUPS 11655661 WITH SCORE 1.1676000897E7
AT ITER 3217 NEW BEST:: SOT 29985497 SOS 20341809 HAS SOPS 13153145 HAS SOUS 12042280 HAS SOUPS 11654687 WITH SCORE 1.1675028809E7
AT ITER 3218 NEW BEST:: SOT 29985122 SOS 20341799 HAS SOPS 13152029 HAS SOUS 12041164 HAS SOUPS 11653571 WITH SCORE 1.1673912799E7
AT ITER 3224 NEW BEST:: SOT 29986344 SOS 20473593 HAS SOPS 13151753 HAS SOUS 12043934 HAS SOUPS 11653295 WITH SCORE 1.1673768593E7
AT ITER 3227 NEW BEST:: SOT 29985902 SOS 20473151 HAS SOPS 13150951 HAS SOUS 12043534 HAS SOUPS 11652895 WITH SCORE 1.1673368151E7
AT ITER 3231 NEW BEST:: SOT 29985902 SOS 20473151 HAS SOPS 13150504 HAS SOUS 12043087 HAS SOUPS 11652448 WITH SCORE 1.1672921151E7
AT ITER 3236 NEW BEST:: SOT 29985761 SOS 20473389 HAS SOPS 13149066 HAS SOUS 12041649 HAS SOUPS 11651010 WITH SCORE 1.1671483389E7
AT ITER 3237 NEW BEST:: SOT 29984878 SOS 20472506 HAS SOPS 13147300 HAS SOUS 12039643 HAS SOUPS 11649004 WITH SCORE 1.1669476506E7
AT ITER 3241 NEW BEST:: SOT 29984878 SOS 20472506 HAS SOPS 13146964 HAS SOUS 12039307 HAS SOUPS 11648668 WITH SCORE 1.1669140506E7
AT ITER 3242 NEW BEST:: SOT 29984878 SOS 20472506 HAS SOPS 13146963 HAS SOUS 12038091 HAS SOUPS 11647452 WITH SCORE 1.1667924506E7
AT ITER 3251 NEW BEST:: SOT 29984878 SOS 20472506 HAS SOPS 13146354 HAS SOUS 12036518 HAS SOUPS 11645981 WITH SCORE 1.1666453506E7
AT ITER 3253 NEW BEST:: SOT 29984863 SOS 20472491 HAS SOPS 13145268 HAS SOUS 12035432 HAS SOUPS 11644895 WITH SCORE 1.1665367491E7
AT ITER 3255 NEW BEST:: SOT 29985032 SOS 20472660 HAS SOPS 13143980 HAS SOUS 12034161 HAS SOUPS 11643608 WITH SCORE 1.166408066E7
AT ITER 3256 NEW BEST:: SOT 29983879 SOS 20471507 HAS SOPS 13141088 HAS SOUS 12031688 HAS SOUPS 11641135 WITH SCORE 1.1661606507E7
AT ITER 3257 NEW BEST:: SOT 29984453 SOS 20472748 HAS SOPS 13140896 HAS SOUS 12031530 HAS SOUPS 11640943 WITH SCORE 1.1661415748E7
AT ITER 3259 NEW BEST:: SOT 29983602 SOS 20472916 HAS SOPS 13137920 HAS SOUS 12028555 HAS SOUPS 11637968 WITH SCORE 1.1658440916E7
AT ITER 3261 NEW BEST:: SOT 29983602 SOS 20472916 HAS SOPS 13137564 HAS SOUS 12028377 HAS SOUPS 11637790 WITH SCORE 1.1658262916E7
AT ITER 3271 NEW BEST:: SOT 29983135 SOS 20472449 HAS SOPS 13136630 HAS SOUS 12027443 HAS SOUPS 11636856 WITH SCORE 1.1657328449E7
AT ITER 3273 NEW BEST:: SOT 29983954 SOS 20474087 HAS SOPS 13135911 HAS SOUS 12026724 HAS SOUPS 11636137 WITH SCORE 1.1656611087E7
AT ITER 3277 NEW BEST:: SOT 29983542 SOS 20473675 HAS SOPS 13133975 HAS SOUS 12024789 HAS SOUPS 11634202 WITH SCORE 1.1654675675E7
AT ITER 3280 NEW BEST:: SOT 29984280 SOS 20474413 HAS SOPS 13135450 HAS SOUS 12024621 HAS SOUPS 11634034 WITH SCORE 1.1654508413E7
AT ITER 3282 NEW BEST:: SOT 29984280 SOS 20474413 HAS SOPS 13135356 HAS SOUS 12024527 HAS SOUPS 11633940 WITH SCORE 1.1654414413E7
AT ITER 3285 NEW BEST:: SOT 29984033 SOS 20474939 HAS SOPS 13134088 HAS SOUS 12023259 HAS SOUPS 11632672 WITH SCORE 1.1653146939E7
AT ITER 3286 NEW BEST:: SOT 29984033 SOS 20474939 HAS SOPS 13133566 HAS SOUS 12022737 HAS SOUPS 11632150 WITH SCORE 1.1652624939E7
AT ITER 3288 NEW BEST:: SOT 29984033 SOS 20474939 HAS SOPS 13133253 HAS SOUS 12022520 HAS SOUPS 11631837 WITH SCORE 1.1652311939E7
AT ITER 3292 NEW BEST:: SOT 29984285 SOS 20475443 HAS SOPS 13133001 HAS SOUS 12022268 HAS SOUPS 11631585 WITH SCORE 1.1652060443E7
AT ITER 3301 NEW BEST:: SOT 29983871 SOS 20475029 HAS SOPS 13132172 HAS SOUS 12021177 HAS SOUPS 11630494 WITH SCORE 1.1650969029E7
AT ITER 3305 NEW BEST:: SOT 29983871 SOS 20475029 HAS SOPS 13132171 HAS SOUS 12020928 HAS SOUPS 11630245 WITH SCORE 1.1650720029E7
AT ITER 3306 NEW BEST:: SOT 29983871 SOS 20475029 HAS SOPS 13132171 HAS SOUS 12020756 HAS SOUPS 11630073 WITH SCORE 1.1650548029E7
AT ITER 3315 NEW BEST:: SOT 29982239 SOS 20473791 HAS SOPS 13128907 HAS SOUS 12018037 HAS SOUPS 11626810 WITH SCORE 1.1647283791E7
AT ITER 3317 NEW BEST:: SOT 29981249 SOS 20472801 HAS SOPS 13126955 HAS SOUS 12016465 HAS SOUPS 11624858 WITH SCORE 1.1645330801E7
AT ITER 3328 NEW BEST:: SOT 29982036 SOS 20473588 HAS SOPS 13126485 HAS SOUS 12016217 HAS SOUPS 11624388 WITH SCORE 1.1644861588E7
AT ITER 3329 NEW BEST:: SOT 29982036 SOS 20473588 HAS SOPS 13125905 HAS SOUS 12015637 HAS SOUPS 11623808 WITH SCORE 1.1644281588E7
AT ITER 3338 NEW BEST:: SOT 29981116 SOS 20472668 HAS SOPS 13123385 HAS SOUS 12013303 HAS SOUPS 11621474 WITH SCORE 1.1641946668E7
AT ITER 3346 NEW BEST:: SOT 29981116 SOS 20472668 HAS SOPS 13123187 HAS SOUS 12013105 HAS SOUPS 11621276 WITH SCORE 1.1641748668E7
AT ITER 3354 NEW BEST:: SOT 29980120 SOS 20471672 HAS SOPS 13119785 HAS SOUS 12009383 HAS SOUPS 11617554 WITH SCORE 1.1638025672E7
AT ITER 3361 NEW BEST:: SOT 29980120 SOS 20471672 HAS SOPS 13119494 HAS SOUS 12009092 HAS SOUPS 11617263 WITH SCORE 1.1637734672E7
AT ITER 3362 NEW BEST:: SOT 29980120 SOS 20471672 HAS SOPS 13119776 HAS SOUS 12007707 HAS SOUPS 11615878 WITH SCORE 1.1636349672E7
AT ITER 3363 NEW BEST:: SOT 29980048 SOS 20471600 HAS SOPS 13119632 HAS SOUS 12007563 HAS SOUPS 11615734 WITH SCORE 1.16362056E7
AT ITER 3367 NEW BEST:: SOT 29979801 SOS 20472065 HAS SOPS 13118925 HAS SOUS 12006857 HAS SOUPS 11615028 WITH SCORE 1.1635500065E7
AT ITER 3370 NEW BEST:: SOT 29980081 SOS 20472769 HAS SOPS 13118775 HAS SOUS 12006708 HAS SOUPS 11614879 WITH SCORE 1.1635351769E7
AT ITER 3374 NEW BEST:: SOT 29979949 SOS 20472637 HAS SOPS 13118511 HAS SOUS 12006444 HAS SOUPS 11614615 WITH SCORE 1.1635087637E7
AT ITER 3380 NEW BEST:: SOT 29979655 SOS 20468609 HAS SOPS 13117923 HAS SOUS 12006367 HAS SOUPS 11614538 WITH SCORE 1.1635006609E7
AT ITER 3382 NEW BEST:: SOT 29978594 SOS 20428291 HAS SOPS 13078666 HAS SOUS 12004245 HAS SOUPS 11612416 WITH SCORE 1.1632844291E7
AT ITER 3383 NEW BEST:: SOT 29978352 SOS 20428049 HAS SOPS 13077892 HAS SOUS 12003471 HAS SOUPS 11611642 WITH SCORE 1.1632070049E7
AT ITER 3387 NEW BEST:: SOT 29978352 SOS 20428049 HAS SOPS 13076417 HAS SOUS 12001080 HAS SOUPS 11608692 WITH SCORE 1.1629120049E7
AT ITER 3391 NEW BEST:: SOT 29978352 SOS 20428049 HAS SOPS 13078335 HAS SOUS 12001079 HAS SOUPS 11608691 WITH SCORE 1.1629119049E7
AT ITER 3393 NEW BEST:: SOT 29978352 SOS 20428312 HAS SOPS 13078335 HAS SOUS 12000957 HAS SOUPS 11608569 WITH SCORE 1.1628997312E7
AT ITER 3398 NEW BEST:: SOT 29978323 SOS 20428283 HAS SOPS 13078277 HAS SOUS 12000899 HAS SOUPS 11608511 WITH SCORE 1.1628939283E7
AT ITER 3406 NEW BEST:: SOT 29978933 SOS 20428893 HAS SOPS 13078932 HAS SOUS 12000433 HAS SOUPS 11608045 WITH SCORE 1.1628473893E7
AT ITER 3413 NEW BEST:: SOT 29978447 SOS 20427922 HAS SOPS 13078446 HAS SOUS 11999947 HAS SOUPS 11607559 WITH SCORE 1.1627986922E7
AT ITER 3419 NEW BEST:: SOT 29977206 SOS 20426681 HAS SOPS 13074241 HAS SOUS 11995742 HAS SOUPS 11603354 WITH SCORE 1.1623780681E7
AT ITER 3423 NEW BEST:: SOT 29976573 SOS 20425171 HAS SOPS 13072207 HAS SOUS 11993709 HAS SOUPS 11601321 WITH SCORE 1.1621746171E7
AT ITER 3437 NEW BEST:: SOT 29975992 SOS 20424590 HAS SOPS 13071847 HAS SOUS 11992548 HAS SOUPS 11600160 WITH SCORE 1.162058459E7
AT ITER 3442 NEW BEST:: SOT 29975906 SOS 20424504 HAS SOPS 13071761 HAS SOUS 11992462 HAS SOUPS 11600074 WITH SCORE 1.1620498504E7
AT ITER 3445 NEW BEST:: SOT 29976612 SOS 20425210 HAS SOPS 13070812 HAS SOUS 11991490 HAS SOUPS 11599126 WITH SCORE 1.161955121E7
AT ITER 3450 NEW BEST:: SOT 29976789 SOS 20426142 HAS SOPS 13070684 HAS SOUS 11991362 HAS SOUPS 11598998 WITH SCORE 1.1619424142E7
AT ITER 3455 NEW BEST:: SOT 29976733 SOS 20426086 HAS SOPS 13070600 HAS SOUS 11991278 HAS SOUPS 11598914 WITH SCORE 1.1619340086E7
AT ITER 3457 NEW BEST:: SOT 29976542 SOS 20425895 HAS SOPS 13070218 HAS SOUS 11990896 HAS SOUPS 11598532 WITH SCORE 1.1618957895E7
AT ITER 3459 NEW BEST:: SOT 29975015 SOS 20424368 HAS SOPS 13067069 HAS SOUS 11987748 HAS SOUPS 11595384 WITH SCORE 1.1615808368E7
AT ITER 3467 NEW BEST:: SOT 29974951 SOS 20424304 HAS SOPS 13066941 HAS SOUS 11987620 HAS SOUPS 11595256 WITH SCORE 1.1615680304E7
AT ITER 3469 NEW BEST:: SOT 29974711 SOS 20424064 HAS SOPS 13066460 HAS SOUS 11985923 HAS SOUPS 11593559 WITH SCORE 1.1613983064E7
AT ITER 3474 NEW BEST:: SOT 29974060 SOS 20423413 HAS SOPS 13064807 HAS SOUS 11984621 HAS SOUPS 11592257 WITH SCORE 1.1612680413E7
AT ITER 3479 NEW BEST:: SOT 29972945 SOS 20422953 HAS SOPS 13062028 HAS SOUS 11981843 HAS SOUPS 11589479 WITH SCORE 1.1609901953E7
AT ITER 3480 NEW BEST:: SOT 29972299 SOS 20422307 HAS SOPS 13060451 HAS SOUS 11981542 HAS SOUPS 11588568 WITH SCORE 1.1608990307E7
AT ITER 3481 NEW BEST:: SOT 29972173 SOS 20422181 HAS SOPS 13059777 HAS SOUS 11980580 HAS SOUPS 11587487 WITH SCORE 1.1607909181E7
AT ITER 3484 NEW BEST:: SOT 29974851 SOS 20424859 HAS SOPS 13059403 HAS SOUS 11983200 HAS SOUPS 11587113 WITH SCORE 1.1607537859E7
AT ITER 3487 NEW BEST:: SOT 29974819 SOS 20424827 HAS SOPS 13059370 HAS SOUS 11983111 HAS SOUPS 11587024 WITH SCORE 1.1607448827E7
AT ITER 3488 NEW BEST:: SOT 29974425 SOS 20424433 HAS SOPS 13057489 HAS SOUS 11981231 HAS SOUPS 11585144 WITH SCORE 1.1605568433E7
AT ITER 3490 NEW BEST:: SOT 29973888 SOS 20423896 HAS SOPS 13056414 HAS SOUS 11980157 HAS SOUPS 11584070 WITH SCORE 1.1604493896E7
AT ITER 3494 NEW BEST:: SOT 29972669 SOS 20422677 HAS SOPS 13053975 HAS SOUS 11976117 HAS SOUPS 11580010 WITH SCORE 1.1600432677E7
AT ITER 3501 NEW BEST:: SOT 29971778 SOS 20421786 HAS SOPS 13052193 HAS SOUS 11974900 HAS SOUPS 11578582 WITH SCORE 1.1599003786E7
AT ITER 3504 NEW BEST:: SOT 29970615 SOS 20420623 HAS SOPS 13049866 HAS SOUS 11970916 HAS SOUPS 11574598 WITH SCORE 1.1595018623E7
AT ITER 3505 NEW BEST:: SOT 29970610 SOS 20420618 HAS SOPS 13049856 HAS SOUS 11970906 HAS SOUPS 11574588 WITH SCORE 1.1595008618E7
AT ITER 3508 NEW BEST:: SOT 29970602 SOS 20420610 HAS SOPS 13049847 HAS SOUS 11970905 HAS SOUPS 11574587 WITH SCORE 1.159500761E7
AT ITER 3520 NEW BEST:: SOT 29970602 SOS 20420610 HAS SOPS 13049843 HAS SOUS 11970901 HAS SOUPS 11574583 WITH SCORE 1.159500361E7
AT ITER 3522 NEW BEST:: SOT 29969940 SOS 20420075 HAS SOPS 13047848 HAS SOUS 11968907 HAS SOUPS 11572589 WITH SCORE 1.1593009075E7
AT ITER 3523 NEW BEST:: SOT 29969940 SOS 20460795 HAS SOPS 13046830 HAS SOUS 11968399 HAS SOUPS 11571571 WITH SCORE 1.1592031795E7
AT ITER 3534 NEW BEST:: SOT 29969780 SOS 20460635 HAS SOPS 13046510 HAS SOUS 11968079 HAS SOUPS 11571251 WITH SCORE 1.1591711635E7
AT ITER 3536 NEW BEST:: SOT 29969491 SOS 20460346 HAS SOPS 13046220 HAS SOUS 11967789 HAS SOUPS 11570961 WITH SCORE 1.1591421346E7
AT ITER 3539 NEW BEST:: SOT 29969441 SOS 20460296 HAS SOPS 13046120 HAS SOUS 11967689 HAS SOUPS 11570861 WITH SCORE 1.1591321296E7
AT ITER 3540 NEW BEST:: SOT 29968633 SOS 20459488 HAS SOPS 13046120 HAS SOUS 11967689 HAS SOUPS 11570861 WITH SCORE 1.1591320488E7
AT ITER 3541 NEW BEST:: SOT 29985661 SOS 20429221 HAS SOPS 12989447 HAS SOUS 11957324 HAS SOUPS 11560496 WITH SCORE 1.1580925221E7
AT ITER 3552 NEW BEST:: SOT 29985661 SOS 20429221 HAS SOPS 12988565 HAS SOUS 11956442 HAS SOUPS 11559614 WITH SCORE 1.1580043221E7
AT ITER 3554 NEW BEST:: SOT 29985462 SOS 20429022 HAS SOPS 12988167 HAS SOUS 11956339 HAS SOUPS 11559216 WITH SCORE 1.1579645022E7
AT ITER 3556 NEW BEST:: SOT 29985148 SOS 20428708 HAS SOPS 12986616 HAS SOUS 11955097 HAS SOUPS 11557974 WITH SCORE 1.1578402708E7
AT ITER 3557 NEW BEST:: SOT 29984979 SOS 20428539 HAS SOPS 12986278 HAS SOUS 11954759 HAS SOUPS 11557636 WITH SCORE 1.1578064539E7
AT ITER 3558 NEW BEST:: SOT 29983066 SOS 20426626 HAS SOPS 12984472 HAS SOUS 11951882 HAS SOUPS 11554759 WITH SCORE 1.1575185626E7
AT ITER 3566 NEW BEST:: SOT 29981934 SOS 20425494 HAS SOPS 12979965 HAS SOUS 11949455 HAS SOUPS 11552332 WITH SCORE 1.1572757494E7
AT ITER 3568 NEW BEST:: SOT 29981625 SOS 20424876 HAS SOPS 12979964 HAS SOUS 11949146 HAS SOUPS 11552023 WITH SCORE 1.1572447876E7
AT ITER 3571 NEW BEST:: SOT 29981625 SOS 20424876 HAS SOPS 12979751 HAS SOUS 11948933 HAS SOUPS 11551810 WITH SCORE 1.1572234876E7
AT ITER 3577 NEW BEST:: SOT 29981456 SOS 20424707 HAS SOPS 12979413 HAS SOUS 11948594 HAS SOUPS 11551471 WITH SCORE 1.1571895707E7
AT ITER 3584 NEW BEST:: SOT 29981385 SOS 20424636 HAS SOPS 12978931 HAS SOUS 11947703 HAS SOUPS 11550580 WITH SCORE 1.1571004636E7
AT ITER 3586 NEW BEST:: SOT 29981497 SOS 20424748 HAS SOPS 12978909 HAS SOUS 11947548 HAS SOUPS 11550425 WITH SCORE 1.1570849748E7
AT ITER 3588 NEW BEST:: SOT 29980562 SOS 20423813 HAS SOPS 12976824 HAS SOUS 11945866 HAS SOUPS 11548341 WITH SCORE 1.1568764813E7
AT ITER 3589 NEW BEST:: SOT 29979062 SOS 20422313 HAS SOPS 12975324 HAS SOUS 11944366 HAS SOUPS 11546841 WITH SCORE 1.1567263313E7
AT ITER 3591 NEW BEST:: SOT 29979062 SOS 20422313 HAS SOPS 12973811 HAS SOUS 11943868 HAS SOUPS 11546166 WITH SCORE 1.1566588313E7
AT ITER 3597 NEW BEST:: SOT 29978767 SOS 20422018 HAS SOPS 12973221 HAS SOUS 11943278 HAS SOUPS 11545576 WITH SCORE 1.1565998018E7
AT ITER 3602 NEW BEST:: SOT 29978576 SOS 20389928 HAS SOPS 12913938 HAS SOUS 11914823 HAS SOUPS 11517121 WITH SCORE 1.1537510928E7
AT ITER 3604 NEW BEST:: SOT 29978500 SOS 20389852 HAS SOPS 12913862 HAS SOUS 11914747 HAS SOUPS 11517045 WITH SCORE 1.1537434852E7
AT ITER 3607 NEW BEST:: SOT 29980081 SOS 20391433 HAS SOPS 12915320 HAS SOUS 11914657 HAS SOUPS 11516955 WITH SCORE 1.1537346433E7
AT ITER 3609 NEW BEST:: SOT 29977294 SOS 20388646 HAS SOPS 12912663 HAS SOUS 11911508 HAS SOUPS 11513806 WITH SCORE 1.1534194646E7
AT ITER 3618 NEW BEST:: SOT 29979332 SOS 20390684 HAS SOPS 12912410 HAS SOUS 11911256 HAS SOUPS 11513554 WITH SCORE 1.1533944684E7
AT ITER 3622 NEW BEST:: SOT 29978361 SOS 20390207 HAS SOPS 12909973 HAS SOUS 11908820 HAS SOUPS 11511118 WITH SCORE 1.1531508207E7
AT ITER 3624 NEW BEST:: SOT 29977539 SOS 20389385 HAS SOPS 12907507 HAS SOUS 11906354 HAS SOUPS 11508652 WITH SCORE 1.1529041385E7
AT ITER 3626 NEW BEST:: SOT 29975927 SOS 20387773 HAS SOPS 12905977 HAS SOUS 11902665 HAS SOUPS 11505490 WITH SCORE 1.1525877773E7
AT ITER 3627 NEW BEST:: SOT 29975217 SOS 20387063 HAS SOPS 12904557 HAS SOUS 11901419 HAS SOUPS 11504244 WITH SCORE 1.1524631063E7
AT ITER 3631 NEW BEST:: SOT 29974327 SOS 20386173 HAS SOPS 12902777 HAS SOUS 11900801 HAS SOUPS 11503354 WITH SCORE 1.1523740173E7
AT ITER 3635 NEW BEST:: SOT 29974327 SOS 20395455 HAS SOPS 12902301 HAS SOUS 11900563 HAS SOUPS 11502878 WITH SCORE 1.1523273455E7
AT ITER 3637 NEW BEST:: SOT 29974241 SOS 20395982 HAS SOPS 12900811 HAS SOUS 11899074 HAS SOUPS 11501389 WITH SCORE 1.1521784982E7
AT ITER 3639 NEW BEST:: SOT 29974518 SOS 20396259 HAS SOPS 12901364 HAS SOUS 11898007 HAS SOUPS 11500322 WITH SCORE 1.1520718259E7
AT ITER 3644 NEW BEST:: SOT 29974354 SOS 20396095 HAS SOPS 12900323 HAS SOUS 11896209 HAS SOUPS 11498524 WITH SCORE 1.1518920095E7
AT ITER 3652 NEW BEST:: SOT 29974044 SOS 20395785 HAS SOPS 12900321 HAS SOUS 11896208 HAS SOUPS 11498523 WITH SCORE 1.1518918785E7
AT ITER 3653 NEW BEST:: SOT 29974124 SOS 20396126 HAS SOPS 12900170 HAS SOUS 11896329 HAS SOUPS 11498372 WITH SCORE 1.1518768126E7
AT ITER 3663 NEW BEST:: SOT 29973858 SOS 20395860 HAS SOPS 12899904 HAS SOUS 11896063 HAS SOUPS 11498106 WITH SCORE 1.151850186E7
AT ITER 3667 NEW BEST:: SOT 29973858 SOS 20395860 HAS SOPS 12900204 HAS SOUS 11896062 HAS SOUPS 11498105 WITH SCORE 1.151850086E7
AT ITER 3671 NEW BEST:: SOT 29973022 SOS 20395024 HAS SOPS 12898531 HAS SOUS 11892905 HAS SOUPS 11494948 WITH SCORE 1.1515343024E7
AT ITER 3679 NEW BEST:: SOT 29972346 SOS 20394348 HAS SOPS 12897802 HAS SOUS 11892176 HAS SOUPS 11494219 WITH SCORE 1.1514613348E7
AT ITER 3685 NEW BEST:: SOT 29972882 SOS 20395573 HAS SOPS 12897647 HAS SOUS 11892256 HAS SOUPS 11494064 WITH SCORE 1.1514459573E7
AT ITER 3692 NEW BEST:: SOT 29973494 SOS 20396185 HAS SOPS 12898871 HAS SOUS 11891542 HAS SOUPS 11493350 WITH SCORE 1.1513746185E7
AT ITER 3695 NEW BEST:: SOT 29973354 SOS 20396045 HAS SOPS 12898591 HAS SOUS 11891402 HAS SOUPS 11493070 WITH SCORE 1.1513466045E7
AT ITER 3698 NEW BEST:: SOT 29973155 SOS 20395846 HAS SOPS 12898277 HAS SOUS 11891088 HAS SOUPS 11492756 WITH SCORE 1.1513151846E7
AT ITER 3702 NEW BEST:: SOT 29972510 SOS 20395201 HAS SOPS 12896986 HAS SOUS 11889859 HAS SOUPS 11491247 WITH SCORE 1.1511642201E7
AT ITER 3704 NEW BEST:: SOT 29971841 SOS 20394532 HAS SOPS 12895331 HAS SOUS 11889192 HAS SOUPS 11490580 WITH SCORE 1.1510974532E7
AT ITER 3725 NEW BEST:: SOT 29972212 SOS 20395594 HAS SOPS 12895148 HAS SOUS 11889339 HAS SOUPS 11490397 WITH SCORE 1.1510792594E7
AT ITER 3727 NEW BEST:: SOT 29972212 SOS 20424514 HAS SOPS 12894903 HAS SOUS 11889335 HAS SOUPS 11490152 WITH SCORE 1.1510576514E7
AT ITER 3729 NEW BEST:: SOT 29972137 SOS 20424439 HAS SOPS 12894753 HAS SOUS 11889185 HAS SOUPS 11490002 WITH SCORE 1.1510426439E7
AT ITER 3733 NEW BEST:: SOT 29971587 SOS 20423889 HAS SOPS 12893653 HAS SOUS 11888086 HAS SOUPS 11488903 WITH SCORE 1.1509326889E7
AT ITER 3734 NEW BEST:: SOT 29971587 SOS 20458209 HAS SOPS 12893110 HAS SOUS 11887841 HAS SOUPS 11488360 WITH SCORE 1.1508818209E7
AT ITER 3736 NEW BEST:: SOT 29971630 SOS 20458252 HAS SOPS 12891959 HAS SOUS 11887354 HAS SOUPS 11487209 WITH SCORE 1.1507667252E7
AT ITER 3738 NEW BEST:: SOT 29971438 SOS 20450380 HAS SOPS 12891959 HAS SOUS 11887162 HAS SOUPS 11487209 WITH SCORE 1.150765938E7
AT ITER 3744 NEW BEST:: SOT 29971271 SOS 20450213 HAS SOPS 12891625 HAS SOUS 11886828 HAS SOUPS 11486875 WITH SCORE 1.1507325213E7
AT ITER 3761 NEW BEST:: SOT 29973433 SOS 20453640 HAS SOPS 12891125 HAS SOUS 11886797 HAS SOUPS 11486375 WITH SCORE 1.150682864E7
AT ITER 3763 NEW BEST:: SOT 29973741 SOS 20453948 HAS SOPS 12891740 HAS SOUS 11885795 HAS SOUPS 11485373 WITH SCORE 1.1505826948E7
AT ITER 3764 NEW BEST:: SOT 29973709 SOS 20453884 HAS SOPS 12891708 HAS SOUS 11885763 HAS SOUPS 11485341 WITH SCORE 1.1505794884E7
AT ITER 3772 NEW BEST:: SOT 29972091 SOS 20452266 HAS SOPS 12886656 HAS SOUS 11882247 HAS SOUPS 11481540 WITH SCORE 1.1501992266E7
AT ITER 3775 NEW BEST:: SOT 29976514 SOS 20410944 HAS SOPS 12824739 HAS SOUS 11862939 HAS SOUPS 11462232 WITH SCORE 1.1482642944E7
AT ITER 3780 NEW BEST:: SOT 29975720 SOS 20410150 HAS SOPS 12823151 HAS SOUS 11861362 HAS SOUPS 11460655 WITH SCORE 1.148106515E7
AT ITER 3783 NEW BEST:: SOT 29975720 SOS 20410150 HAS SOPS 12822921 HAS SOUS 11861408 HAS SOUPS 11460425 WITH SCORE 1.148083515E7
AT ITER 3784 NEW BEST:: SOT 29974560 SOS 20408990 HAS SOPS 12820600 HAS SOUS 11857816 HAS SOUPS 11456833 WITH SCORE 1.147724199E7
AT ITER 3790 NEW BEST:: SOT 29973504 SOS 20407934 HAS SOPS 12817972 HAS SOUS 11853922 HAS SOUPS 11452939 WITH SCORE 1.1473346934E7
AT ITER 3794 NEW BEST:: SOT 29973504 SOS 20407934 HAS SOPS 12818000 HAS SOUS 11853917 HAS SOUPS 11452934 WITH SCORE 1.1473341934E7
AT ITER 3804 NEW BEST:: SOT 29973444 SOS 20407874 HAS SOPS 12816834 HAS SOUS 11853274 HAS SOUPS 11452291 WITH SCORE 1.1472698874E7
AT ITER 3806 NEW BEST:: SOT 29973433 SOS 20408157 HAS SOPS 12816812 HAS SOUS 11853252 HAS SOUPS 11452269 WITH SCORE 1.1472677157E7
AT ITER 3821 NEW BEST:: SOT 29973394 SOS 20408118 HAS SOPS 12816690 HAS SOUS 11852889 HAS SOUPS 11451906 WITH SCORE 1.1472314118E7
AT ITER 3836 NEW BEST:: SOT 29973396 SOS 20407408 HAS SOPS 12814780 HAS SOUS 11851994 HAS SOUPS 11451011 WITH SCORE 1.1471418408E7
AT ITER 3846 NEW BEST:: SOT 29973207 SOS 20407219 HAS SOPS 12814187 HAS SOUS 11851401 HAS SOUPS 11450418 WITH SCORE 1.1470825219E7
AT ITER 3849 NEW BEST:: SOT 29973125 SOS 20407137 HAS SOPS 12814150 HAS SOUS 11851319 HAS SOUPS 11450336 WITH SCORE 1.1470743137E7
AT ITER 3862 NEW BEST:: SOT 29973069 SOS 20407081 HAS SOPS 12814038 HAS SOUS 11851207 HAS SOUPS 11450224 WITH SCORE 1.1470631081E7
AT ITER 3868 NEW BEST:: SOT 29973069 SOS 20407081 HAS SOPS 12812687 HAS SOUS 11850205 HAS SOUPS 11449222 WITH SCORE 1.1469629081E7
AT ITER 3879 NEW BEST:: SOT 29973560 SOS 20407572 HAS SOPS 12813905 HAS SOUS 11849884 HAS SOUPS 11448901 WITH SCORE 1.1469308572E7
AT ITER 3885 NEW BEST:: SOT 29973328 SOS 20407827 HAS SOPS 12812672 HAS SOUS 11848652 HAS SOUPS 11447669 WITH SCORE 1.1468076827E7
AT ITER 3888 NEW BEST:: SOT 29972906 SOS 20407405 HAS SOPS 12811828 HAS SOUS 11847808 HAS SOUPS 11446825 WITH SCORE 1.1467232405E7
AT ITER 3890 NEW BEST:: SOT 29971456 SOS 20405955 HAS SOPS 12808438 HAS SOUS 11844985 HAS SOUPS 11443925 WITH SCORE 1.1464330955E7
AT ITER 3892 NEW BEST:: SOT 29971599 SOS 20406098 HAS SOPS 12807698 HAS SOUS 11844669 HAS SOUPS 11443185 WITH SCORE 1.1463591098E7
AT ITER 3897 NEW BEST:: SOT 29971785 SOS 20406114 HAS SOPS 12807685 HAS SOUS 11844821 HAS SOUPS 11443172 WITH SCORE 1.1463578114E7
AT ITER 3902 NEW BEST:: SOT 29971179 SOS 20405508 HAS SOPS 12806167 HAS SOUS 11843303 HAS SOUPS 11441654 WITH SCORE 1.1462059508E7
AT ITER 3904 NEW BEST:: SOT 29969908 SOS 20404237 HAS SOPS 12803624 HAS SOUS 11840762 HAS SOUPS 11439113 WITH SCORE 1.1459517237E7
AT ITER 3905 NEW BEST:: SOT 29969661 SOS 20404412 HAS SOPS 12802747 HAS SOUS 11839885 HAS SOUPS 11438236 WITH SCORE 1.1458640412E7
AT ITER 3909 NEW BEST:: SOT 29969661 SOS 20404412 HAS SOPS 12802181 HAS SOUS 11839618 HAS SOUPS 11437671 WITH SCORE 1.1458075412E7
AT ITER 3915 NEW BEST:: SOT 29968435 SOS 20403186 HAS SOPS 12799303 HAS SOUS 11836761 HAS SOUPS 11434814 WITH SCORE 1.1455217186E7
AT ITER 3921 NEW BEST:: SOT 29968303 SOS 20402922 HAS SOPS 12799171 HAS SOUS 11836629 HAS SOUPS 11434682 WITH SCORE 1.1455084922E7
AT ITER 3923 NEW BEST:: SOT 29968159 SOS 20402778 HAS SOPS 12799167 HAS SOUS 11836449 HAS SOUPS 11434502 WITH SCORE 1.1454904778E7
AT ITER 3928 NEW BEST:: SOT 29967916 SOS 20402535 HAS SOPS 12797881 HAS SOUS 11835163 HAS SOUPS 11433216 WITH SCORE 1.1453618535E7
AT ITER 3933 NEW BEST:: SOT 29967902 SOS 20402521 HAS SOPS 12797853 HAS SOUS 11835135 HAS SOUPS 11433188 WITH SCORE 1.1453590521E7
AT ITER 3937 NEW BEST:: SOT 29965677 SOS 20400296 HAS SOPS 12792924 HAS SOUS 11833200 HAS SOUPS 11429728 WITH SCORE 1.1450128296E7
AT ITER 3939 NEW BEST:: SOT 29967537 SOS 20402156 HAS SOPS 12794131 HAS SOUS 11833124 HAS SOUPS 11429652 WITH SCORE 1.1450054156E7
AT ITER 3947 NEW BEST:: SOT 29967537 SOS 20402156 HAS SOPS 12792618 HAS SOUS 11832282 HAS SOUPS 11428810 WITH SCORE 1.1449212156E7
AT ITER 3949 NEW BEST:: SOT 29967114 SOS 20401733 HAS SOPS 12791847 HAS SOUS 11830293 HAS SOUPS 11426821 WITH SCORE 1.1447222733E7
AT ITER 3950 NEW BEST:: SOT 29968321 SOS 20402940 HAS SOPS 12792147 HAS SOUS 11829434 HAS SOUPS 11425962 WITH SCORE 1.144636494E7
AT ITER 3955 NEW BEST:: SOT 29967541 SOS 20399802 HAS SOPS 12789789 HAS SOUS 11827112 HAS SOUPS 11423640 WITH SCORE 1.1444039802E7
AT ITER 3956 NEW BEST:: SOT 29967541 SOS 20399802 HAS SOPS 12789390 HAS SOUS 11826713 HAS SOUPS 11423241 WITH SCORE 1.1443640802E7
AT ITER 3961 NEW BEST:: SOT 29967477 SOS 20399738 HAS SOPS 12789326 HAS SOUS 11826649 HAS SOUPS 11423177 WITH SCORE 1.1443576738E7
AT ITER 3968 NEW BEST:: SOT 29967477 SOS 20399738 HAS SOPS 12788552 HAS SOUS 11826263 HAS SOUPS 11422791 WITH SCORE 1.1443190738E7
AT ITER 3975 NEW BEST:: SOT 29967477 SOS 20399738 HAS SOPS 12788548 HAS SOUS 11826259 HAS SOUPS 11422787 WITH SCORE 1.1443186738E7
AT ITER 3983 NEW BEST:: SOT 29967315 SOS 20411923 HAS SOPS 12788224 HAS SOUS 11826097 HAS SOUPS 11422463 WITH SCORE 1.1442874923E7
AT ITER 3995 NEW BEST:: SOT 29967753 SOS 20412361 HAS SOPS 12789893 HAS SOUS 11825777 HAS SOUPS 11422143 WITH SCORE 1.1442555361E7
AT ITER 3998 NEW BEST:: SOT 29967764 SOS 20418144 HAS SOPS 12789756 HAS SOUS 11825801 HAS SOUPS 11422006 WITH SCORE 1.1442424144E7
AT ITER 3999 NEW BEST:: SOT 29967728 SOS 20369555 HAS SOPS 12741481 HAS SOUS 11825272 HAS SOUPS 11421477 WITH SCORE 1.1441846555E7
AT ITER 4003 NEW BEST:: SOT 29967728 SOS 20369555 HAS SOPS 12740830 HAS SOUS 11824621 HAS SOUPS 11420826 WITH SCORE 1.1441195555E7
AT ITER 4006 NEW BEST:: SOT 29967937 SOS 20420387 HAS SOPS 12694545 HAS SOUS 11821111 HAS SOUPS 11416024 WITH SCORE 1.1436444387E7
AT ITER 4017 NEW BEST:: SOT 29967937 SOS 20420387 HAS SOPS 12694544 HAS SOUS 11820972 HAS SOUPS 11415885 WITH SCORE 1.1436305387E7
AT ITER 4038 NEW BEST:: SOT 29966913 SOS 20419363 HAS SOPS 12693928 HAS SOUS 11820256 HAS SOUPS 11415269 WITH SCORE 1.1435688363E7
AT ITER 4040 NEW BEST:: SOT 29966875 SOS 20419325 HAS SOPS 12693814 HAS SOUS 11820142 HAS SOUPS 11415155 WITH SCORE 1.1435574325E7
AT ITER 4042 NEW BEST:: SOT 29966875 SOS 20419325 HAS SOPS 12693700 HAS SOUS 11820028 HAS SOUPS 11415041 WITH SCORE 1.1435460325E7
AT ITER 4055 NEW BEST:: SOT 29967784 SOS 20420234 HAS SOPS 12694620 HAS SOUS 11819804 HAS SOUPS 11414817 WITH SCORE 1.1435237234E7
AT ITER 4078 NEW BEST:: SOT 29967946 SOS 20420396 HAS SOPS 12694943 HAS SOUS 11818958 HAS SOUPS 11413971 WITH SCORE 1.1434391396E7
AT ITER 4089 NEW BEST:: SOT 29967946 SOS 20420396 HAS SOPS 12696106 HAS SOUS 11818916 HAS SOUPS 11413929 WITH SCORE 1.1434349396E7
AT ITER 4099 NEW BEST:: SOT 29967946 SOS 20420396 HAS SOPS 12696053 HAS SOUS 11818863 HAS SOUPS 11413876 WITH SCORE 1.1434296396E7
AT ITER 4105 NEW BEST:: SOT 29968007 SOS 20421459 HAS SOPS 12696216 HAS SOUS 11817885 HAS SOUPS 11412898 WITH SCORE 1.1433319459E7
AT ITER 4106 NEW BEST:: SOT 29967832 SOS 20421284 HAS SOPS 12695691 HAS SOUS 11817535 HAS SOUPS 11412373 WITH SCORE 1.1432794284E7
AT ITER 4110 NEW BEST:: SOT 29967298 SOS 20420750 HAS SOPS 12692269 HAS SOUS 11814115 HAS SOUPS 11408953 WITH SCORE 1.142937375E7
AT ITER 4111 NEW BEST:: SOT 29966417 SOS 20419869 HAS SOPS 12689067 HAS SOUS 11811662 HAS SOUPS 11405751 WITH SCORE 1.1426170869E7
AT ITER 4127 NEW BEST:: SOT 29965205 SOS 20418657 HAS SOPS 12686295 HAS SOUS 11808891 HAS SOUPS 11402980 WITH SCORE 1.1423398657E7
AT ITER 4139 NEW BEST:: SOT 29964404 SOS 20417856 HAS SOPS 12684693 HAS SOUS 11807763 HAS SOUPS 11401852 WITH SCORE 1.1422269856E7
AT ITER 4140 NEW BEST:: SOT 29964404 SOS 20417856 HAS SOPS 12683281 HAS SOUS 11807057 HAS SOUPS 11401146 WITH SCORE 1.1421563856E7
AT ITER 4141 NEW BEST:: SOT 29964404 SOS 20417856 HAS SOPS 12683280 HAS SOUS 11806752 HAS SOUPS 11400841 WITH SCORE 1.1421258856E7
AT ITER 4142 NEW BEST:: SOT 29962096 SOS 20415548 HAS SOPS 12678396 HAS SOUS 11803933 HAS SOUPS 11395958 WITH SCORE 1.1416373548E7
AT ITER 4147 NEW BEST:: SOT 29963125 SOS 20416577 HAS SOPS 12677960 HAS SOUS 11803619 HAS SOUPS 11395644 WITH SCORE 1.1416060577E7
AT ITER 4155 NEW BEST:: SOT 29962717 SOS 20401073 HAS SOPS 12662864 HAS SOUS 11802803 HAS SOUPS 11394828 WITH SCORE 1.1415229073E7
AT ITER 4156 NEW BEST:: SOT 29962734 SOS 20401192 HAS SOPS 12662685 HAS SOUS 11802624 HAS SOUPS 11394649 WITH SCORE 1.1415050192E7
AT ITER 4167 NEW BEST:: SOT 29962494 SOS 20400952 HAS SOPS 12662205 HAS SOUS 11802144 HAS SOUPS 11394169 WITH SCORE 1.1414569952E7
AT ITER 4171 NEW BEST:: SOT 29962384 SOS 20400842 HAS SOPS 12661849 HAS SOUS 11801783 HAS SOUPS 11393814 WITH SCORE 1.1414214842E7
AT ITER 4177 NEW BEST:: SOT 29962699 SOS 20401252 HAS SOPS 12661540 HAS SOUS 11801474 HAS SOUPS 11393505 WITH SCORE 1.1413906252E7
AT ITER 4178 NEW BEST:: SOT 29963104 SOS 20401984 HAS SOPS 12661164 HAS SOUS 11801098 HAS SOUPS 11393129 WITH SCORE 1.1413530984E7
AT ITER 4180 NEW BEST:: SOT 29983080 SOS 20372774 HAS SOPS 12607823 HAS SOUS 11793417 HAS SOUPS 11385448 WITH SCORE 1.1405820774E7
AT ITER 4192 NEW BEST:: SOT 29982596 SOS 20372290 HAS SOPS 12606855 HAS SOUS 11792071 HAS SOUPS 11383880 WITH SCORE 1.140425229E7
AT ITER 4195 NEW BEST:: SOT 29981989 SOS 20371683 HAS SOPS 12606855 HAS SOUS 11791994 HAS SOUPS 11383880 WITH SCORE 1.1404251683E7
AT ITER 4200 NEW BEST:: SOT 29980693 SOS 20370387 HAS SOPS 12605559 HAS SOUS 11791160 HAS SOUPS 11383046 WITH SCORE 1.1403416387E7
AT ITER 4202 NEW BEST:: SOT 29979225 SOS 20368919 HAS SOPS 12604410 HAS SOUS 11786756 HAS SOUPS 11381578 WITH SCORE 1.1401946919E7
AT ITER 4206 NEW BEST:: SOT 29979410 SOS 20369579 HAS SOPS 12604123 HAS SOUS 11786470 HAS SOUPS 11381292 WITH SCORE 1.1401661579E7
AT ITER 4209 NEW BEST:: SOT 29979815 SOS 20369984 HAS SOPS 12604563 HAS SOUS 11786279 HAS SOUPS 11381101 WITH SCORE 1.1401470984E7
AT ITER 4212 NEW BEST:: SOT 29978838 SOS 20369420 HAS SOPS 12602370 HAS SOUS 11784165 HAS SOUPS 11378909 WITH SCORE 1.139927842E7
AT ITER 4220 NEW BEST:: SOT 29977822 SOS 20368404 HAS SOPS 12600337 HAS SOUS 11781625 HAS SOUPS 11376369 WITH SCORE 1.1396737404E7
AT ITER 4221 NEW BEST:: SOT 29978010 SOS 20368592 HAS SOPS 12600712 HAS SOUS 11781961 HAS SOUPS 11376209 WITH SCORE 1.1396577592E7
AT ITER 4229 NEW BEST:: SOT 29981335 SOS 20368923 HAS SOPS 12557597 HAS SOUS 11739713 HAS SOUPS 11333942 WITH SCORE 1.1354310923E7
AT ITER 4236 NEW BEST:: SOT 29981043 SOS 20368631 HAS SOPS 12557304 HAS SOUS 11739129 HAS SOUPS 11333358 WITH SCORE 1.1353726631E7
AT ITER 4238 NEW BEST:: SOT 29981580 SOS 20370122 HAS SOPS 12557224 HAS SOUS 11739049 HAS SOUPS 11333278 WITH SCORE 1.1353648122E7
AT ITER 4240 NEW BEST:: SOT 29981518 SOS 20370060 HAS SOPS 12557099 HAS SOUS 11738925 HAS SOUPS 11333154 WITH SCORE 1.135352406E7
AT ITER 4244 NEW BEST:: SOT 29981301 SOS 20369843 HAS SOPS 12556881 HAS SOUS 11738491 HAS SOUPS 11332720 WITH SCORE 1.1353089843E7
AT ITER 4245 NEW BEST:: SOT 29980308 SOS 20368850 HAS SOPS 12554894 HAS SOUS 11735091 HAS SOUPS 11329320 WITH SCORE 1.134968885E7
AT ITER 4246 NEW BEST:: SOT 29979902 SOS 20368444 HAS SOPS 12553252 HAS SOUS 11734357 HAS SOUPS 11328586 WITH SCORE 1.1348954444E7
AT ITER 4251 NEW BEST:: SOT 29979902 SOS 20368444 HAS SOPS 12551781 HAS SOUS 11732886 HAS SOUPS 11327115 WITH SCORE 1.1347483444E7
AT ITER 4267 NEW BEST:: SOT 29979811 SOS 20368353 HAS SOPS 12551599 HAS SOUS 11732704 HAS SOUPS 11326933 WITH SCORE 1.1347301353E7
AT ITER 4275 NEW BEST:: SOT 29979636 SOS 20368178 HAS SOPS 12551249 HAS SOUS 11732354 HAS SOUPS 11326583 WITH SCORE 1.1346951178E7
AT ITER 4282 NEW BEST:: SOT 29980041 SOS 20582287 HAS SOPS 12549408 HAS SOUS 11732994 HAS SOUPS 11324742 WITH SCORE 1.1345324287E7
AT ITER 4284 NEW BEST:: SOT 29979620 SOS 20581866 HAS SOPS 12546294 HAS SOUS 11731557 HAS SOUPS 11323305 WITH SCORE 1.1343886866E7
AT ITER 4293 NEW BEST:: SOT 29979356 SOS 20581602 HAS SOPS 12546029 HAS SOUS 11731028 HAS SOUPS 11322776 WITH SCORE 1.1343357602E7
AT ITER 4295 NEW BEST:: SOT 29978153 SOS 20580399 HAS SOPS 12542736 HAS SOUS 11728622 HAS SOUPS 11319484 WITH SCORE 1.1340064399E7
AT ITER 4322 NEW BEST:: SOT 29976754 SOS 20579000 HAS SOPS 12538299 HAS SOUS 11727308 HAS SOUPS 11318085 WITH SCORE 1.1338664E7
AT ITER 4334 NEW BEST:: SOT 29976754 SOS 20579000 HAS SOPS 12537914 HAS SOUS 11726923 HAS SOUPS 11317700 WITH SCORE 1.1338279E7
AT ITER 4338 NEW BEST:: SOT 29977177 SOS 20579735 HAS SOPS 12537745 HAS SOUS 11727241 HAS SOUPS 11317531 WITH SCORE 1.1338110735E7
AT ITER 4342 NEW BEST:: SOT 29976109 SOS 20578667 HAS SOPS 12535608 HAS SOUS 11725963 HAS SOUPS 11316253 WITH SCORE 1.1336831667E7
AT ITER 4351 NEW BEST:: SOT 29976331 SOS 20684502 HAS SOPS 12534259 HAS SOUS 11725576 HAS SOUPS 11314947 WITH SCORE 1.1335631502E7
AT ITER 4352 NEW BEST:: SOT 29987372 SOS 20648396 HAS SOPS 12456512 HAS SOUS 11693975 HAS SOUPS 11283230 WITH SCORE 1.1303878396E7
AT ITER 4356 NEW BEST:: SOT 29986604 SOS 20647628 HAS SOPS 12454300 HAS SOUS 11691765 HAS SOUPS 11281020 WITH SCORE 1.1301667628E7
AT ITER 4365 NEW BEST:: SOT 29986358 SOS 20647382 HAS SOPS 12453423 HAS SOUS 11690888 HAS SOUPS 11280143 WITH SCORE 1.1300790382E7
AT ITER 4372 NEW BEST:: SOT 29986123 SOS 20647147 HAS SOPS 12452789 HAS SOUS 11690254 HAS SOUPS 11279509 WITH SCORE 1.1300156147E7
AT ITER 4382 NEW BEST:: SOT 29986550 SOS 20647995 HAS SOPS 12452760 HAS SOUS 11690289 HAS SOUPS 11279480 WITH SCORE 1.1300127995E7
AT ITER 4389 NEW BEST:: SOT 29987911 SOS 20649356 HAS SOPS 12452445 HAS SOUS 11689973 HAS SOUPS 11279164 WITH SCORE 1.1299813356E7
AT ITER 4392 NEW BEST:: SOT 29987911 SOS 20649356 HAS SOPS 12452184 HAS SOUS 11690234 HAS SOUPS 11278903 WITH SCORE 1.1299552356E7
AT ITER 4395 NEW BEST:: SOT 29987416 SOS 20648861 HAS SOPS 12451833 HAS SOUS 11689244 HAS SOUPS 11277913 WITH SCORE 1.1298561861E7
AT ITER 4400 NEW BEST:: SOT 29987433 SOS 20648878 HAS SOPS 12452260 HAS SOUS 11688944 HAS SOUPS 11277613 WITH SCORE 1.1298261878E7
AT ITER 4409 NEW BEST:: SOT 29987228 SOS 20648673 HAS SOPS 12451849 HAS SOUS 11686879 HAS SOUPS 11275310 WITH SCORE 1.1295958673E7
AT ITER 4418 NEW BEST:: SOT 29986844 SOS 20648289 HAS SOPS 12451464 HAS SOUS 11686443 HAS SOUPS 11274874 WITH SCORE 1.1295522289E7
AT ITER 4419 NEW BEST:: SOT 29986668 SOS 20648510 HAS SOPS 12451112 HAS SOUS 11686394 HAS SOUPS 11274523 WITH SCORE 1.129517151E7
AT ITER 4427 NEW BEST:: SOT 29986360 SOS 20648202 HAS SOPS 12450433 HAS SOUS 11685714 HAS SOUPS 11273843 WITH SCORE 1.1294491202E7
AT ITER 4439 NEW BEST:: SOT 29986140 SOS 20647982 HAS SOPS 12449372 HAS SOUS 11684653 HAS SOUPS 11272782 WITH SCORE 1.1293429982E7
AT ITER 4440 NEW BEST:: SOT 29986082 SOS 20647924 HAS SOPS 12450439 HAS SOUS 11684537 HAS SOUPS 11272666 WITH SCORE 1.1293313924E7
AT ITER 4447 NEW BEST:: SOT 30027711 SOS 20640105 HAS SOPS 12384337 HAS SOUS 11670089 HAS SOUPS 11251070 WITH SCORE 1.1271710105E7
AT ITER 4448 NEW BEST:: SOT 30027711 SOS 20640105 HAS SOPS 12384307 HAS SOUS 11669802 HAS SOUPS 11250783 WITH SCORE 1.1271423105E7
AT ITER 4452 NEW BEST:: SOT 30027479 SOS 20639873 HAS SOPS 12383741 HAS SOUS 11669236 HAS SOUPS 11250217 WITH SCORE 1.1270856873E7
AT ITER 4459 NEW BEST:: SOT 30027420 SOS 20639814 HAS SOPS 12383623 HAS SOUS 11669177 HAS SOUPS 11250099 WITH SCORE 1.1270738814E7
AT ITER 4464 NEW BEST:: SOT 30027420 SOS 20674562 HAS SOPS 12381555 HAS SOUS 11668618 HAS SOUPS 11249058 WITH SCORE 1.1269732562E7
AT ITER 4469 NEW BEST:: SOT 30027323 SOS 20674465 HAS SOPS 12381104 HAS SOUS 11668167 HAS SOUPS 11248607 WITH SCORE 1.1269281465E7
AT ITER 4474 NEW BEST:: SOT 30027234 SOS 20674376 HAS SOPS 12380837 HAS SOUS 11667931 HAS SOUPS 11248340 WITH SCORE 1.1269014376E7
AT ITER 4476 NEW BEST:: SOT 30027004 SOS 20674146 HAS SOPS 12380221 HAS SOUS 11667315 HAS SOUPS 11247724 WITH SCORE 1.1268398146E7
AT ITER 4481 NEW BEST:: SOT 30026994 SOS 20674136 HAS SOPS 12380206 HAS SOUS 11667299 HAS SOUPS 11247708 WITH SCORE 1.1268382136E7
AT ITER 4482 NEW BEST:: SOT 30026535 SOS 20673677 HAS SOPS 12380536 HAS SOUS 11666381 HAS SOUPS 11246790 WITH SCORE 1.1267463677E7
AT ITER 4484 NEW BEST:: SOT 30026535 SOS 20673677 HAS SOPS 12380535 HAS SOUS 11665273 HAS SOUPS 11245682 WITH SCORE 1.1266355677E7
AT ITER 4500 NEW BEST:: SOT 30026535 SOS 20673677 HAS SOPS 12380534 HAS SOUS 11663666 HAS SOUPS 11244075 WITH SCORE 1.1264748677E7
AT ITER 4504 NEW BEST:: SOT 30025916 SOS 20673772 HAS SOPS 12378343 HAS SOUS 11661476 HAS SOUPS 11241885 WITH SCORE 1.1262558772E7
AT ITER 4511 NEW BEST:: SOT 30025916 SOS 20673772 HAS SOPS 12378306 HAS SOUS 11661439 HAS SOUPS 11241848 WITH SCORE 1.1262521772E7
AT ITER 4522 NEW BEST:: SOT 30026080 SOS 20673936 HAS SOPS 12376808 HAS SOUS 11659952 HAS SOUPS 11240361 WITH SCORE 1.1261034936E7
AT ITER 4529 NEW BEST:: SOT 30025635 SOS 20673491 HAS SOPS 12375021 HAS SOUS 11658870 HAS SOUPS 11239279 WITH SCORE 1.1259952491E7
AT ITER 4530 NEW BEST:: SOT 30026559 SOS 20674415 HAS SOPS 12374740 HAS SOUS 11658253 HAS SOUPS 11238394 WITH SCORE 1.1259068415E7
AT ITER 4533 NEW BEST:: SOT 30026426 SOS 20674282 HAS SOPS 12374474 HAS SOUS 11657988 HAS SOUPS 11238129 WITH SCORE 1.1258803282E7
AT ITER 4541 NEW BEST:: SOT 30026291 SOS 20674147 HAS SOPS 12374204 HAS SOUS 11657718 HAS SOUPS 11237859 WITH SCORE 1.1258533147E7
AT ITER 4547 NEW BEST:: SOT 30028698 SOS 20665831 HAS SOPS 12341580 HAS SOUS 11633668 HAS SOUPS 11213809 WITH SCORE 1.1234474831E7
AT ITER 4557 NEW BEST:: SOT 30029059 SOS 20666192 HAS SOPS 12341278 HAS SOUS 11633567 HAS SOUPS 11213507 WITH SCORE 1.1234173192E7
AT ITER 4561 NEW BEST:: SOT 30029059 SOS 20666192 HAS SOPS 12341278 HAS SOUS 11632777 HAS SOUPS 11212717 WITH SCORE 1.1233383192E7
AT ITER 4566 NEW BEST:: SOT 30028842 SOS 20665975 HAS SOPS 12340844 HAS SOUS 11632343 HAS SOUPS 11212283 WITH SCORE 1.1232948975E7
AT ITER 4567 NEW BEST:: SOT 30028842 SOS 20665975 HAS SOPS 12340840 HAS SOUS 11632339 HAS SOUPS 11212279 WITH SCORE 1.1232944975E7
AT ITER 4574 NEW BEST:: SOT 30028576 SOS 20665709 HAS SOPS 12340133 HAS SOUS 11632052 HAS SOUPS 11211992 WITH SCORE 1.1232657709E7
AT ITER 4603 NEW BEST:: SOT 30028576 SOS 20665709 HAS SOPS 12339888 HAS SOUS 11631807 HAS SOUPS 11211747 WITH SCORE 1.1232412709E7
AT ITER 4614 NEW BEST:: SOT 30028660 SOS 20663013 HAS SOPS 12340421 HAS SOUS 11631419 HAS SOUPS 11211509 WITH SCORE 1.1232172013E7
AT ITER 4619 NEW BEST:: SOT 30027175 SOS 20661528 HAS SOPS 12333809 HAS SOUS 11627649 HAS SOUPS 11204898 WITH SCORE 1.1225559528E7
AT ITER 4624 NEW BEST:: SOT 30026542 SOS 20660895 HAS SOPS 12333705 HAS SOUS 11627545 HAS SOUPS 11204794 WITH SCORE 1.1225454895E7
AT ITER 4627 NEW BEST:: SOT 30026440 SOS 20660793 HAS SOPS 12333912 HAS SOUS 11626731 HAS SOUPS 11203980 WITH SCORE 1.1224640793E7
AT ITER 4634 NEW BEST:: SOT 30024558 SOS 20658911 HAS SOPS 12330148 HAS SOUS 11622967 HAS SOUPS 11200216 WITH SCORE 1.1220874911E7
AT ITER 4635 NEW BEST:: SOT 30023882 SOS 20658235 HAS SOPS 12328608 HAS SOUS 11621428 HAS SOUPS 11198677 WITH SCORE 1.1219335235E7
AT ITER 4636 NEW BEST:: SOT 30023566 SOS 20657919 HAS SOPS 12327976 HAS SOUS 11620796 HAS SOUPS 11198045 WITH SCORE 1.1218702919E7
AT ITER 4641 NEW BEST:: SOT 30023676 SOS 20743306 HAS SOPS 12324719 HAS SOUS 11618888 HAS SOUPS 11194788 WITH SCORE 1.1215531306E7
AT ITER 4644 NEW BEST:: SOT 30024384 SOS 20744014 HAS SOPS 12324197 HAS SOUS 11618366 HAS SOUPS 11194266 WITH SCORE 1.1215010014E7
AT ITER 4654 NEW BEST:: SOT 30024698 SOS 20744328 HAS SOPS 12324783 HAS SOUS 11617910 HAS SOUPS 11193810 WITH SCORE 1.1214554328E7
AT ITER 4667 NEW BEST:: SOT 30024513 SOS 20744143 HAS SOPS 12324324 HAS SOUS 11617387 HAS SOUPS 11193351 WITH SCORE 1.1214095143E7
AT ITER 4668 NEW BEST:: SOT 30024256 SOS 20743886 HAS SOPS 12323810 HAS SOUS 11616873 HAS SOUPS 11192837 WITH SCORE 1.1213580886E7
AT ITER 4671 NEW BEST:: SOT 30024211 SOS 20743841 HAS SOPS 12323720 HAS SOUS 11616783 HAS SOUPS 11192747 WITH SCORE 1.1213490841E7
AT ITER 4673 NEW BEST:: SOT 30024058 SOS 20743688 HAS SOPS 12323414 HAS SOUS 11616477 HAS SOUPS 11192441 WITH SCORE 1.1213184688E7
AT ITER 4677 NEW BEST:: SOT 30024058 SOS 20743688 HAS SOPS 12323634 HAS SOUS 11615103 HAS SOUPS 11191067 WITH SCORE 1.1211810688E7
AT ITER 4681 NEW BEST:: SOT 30024158 SOS 20743788 HAS SOPS 12324110 HAS SOUS 11614840 HAS SOUPS 11190804 WITH SCORE 1.1211547788E7
AT ITER 4687 NEW BEST:: SOT 30019085 SOS 20738715 HAS SOPS 12318197 HAS SOUS 11608927 HAS SOUPS 11184891 WITH SCORE 1.1205629715E7
AT ITER 4688 NEW BEST:: SOT 30019118 SOS 20738748 HAS SOPS 12318161 HAS SOUS 11608037 HAS SOUPS 11184001 WITH SCORE 1.1204739748E7
AT ITER 4701 NEW BEST:: SOT 30019438 SOS 20739068 HAS SOPS 12319225 HAS SOUS 11608023 HAS SOUPS 11183987 WITH SCORE 1.1204726068E7
AT ITER 4703 NEW BEST:: SOT 30019265 SOS 20738895 HAS SOPS 12318878 HAS SOUS 11607954 HAS SOUPS 11183790 WITH SCORE 1.1204528895E7
AT ITER 4704 NEW BEST:: SOT 30018774 SOS 20738404 HAS SOPS 12316990 HAS SOUS 11606066 HAS SOUPS 11181902 WITH SCORE 1.1202640404E7
AT ITER 4710 NEW BEST:: SOT 30018572 SOS 20738202 HAS SOPS 12315679 HAS SOUS 11603962 HAS SOUPS 11179798 WITH SCORE 1.1200536202E7
AT ITER 4715 NEW BEST:: SOT 30018059 SOS 20737689 HAS SOPS 12314652 HAS SOUS 11602936 HAS SOUPS 11178772 WITH SCORE 1.1199509689E7
AT ITER 4716 NEW BEST:: SOT 30018147 SOS 20787931 HAS SOPS 12314427 HAS SOUS 11603354 HAS SOUPS 11178547 WITH SCORE 1.1199334931E7
AT ITER 4720 NEW BEST:: SOT 30018812 SOS 20788596 HAS SOPS 12313969 HAS SOUS 11604019 HAS SOUPS 11178089 WITH SCORE 1.1198877596E7
AT ITER 4721 NEW BEST:: SOT 30018812 SOS 20788596 HAS SOPS 12313547 HAS SOUS 11603597 HAS SOUPS 11177667 WITH SCORE 1.1198455596E7
AT ITER 4723 NEW BEST:: SOT 30017685 SOS 20787469 HAS SOPS 12308052 HAS SOUS 11598616 HAS SOUPS 11172686 WITH SCORE 1.1193473469E7
AT ITER 4725 NEW BEST:: SOT 30017354 SOS 20787138 HAS SOPS 12307390 HAS SOUS 11598285 HAS SOUPS 11172355 WITH SCORE 1.1193142138E7
AT ITER 4734 NEW BEST:: SOT 30017354 SOS 20787138 HAS SOPS 12307389 HAS SOUS 11598284 HAS SOUPS 11172354 WITH SCORE 1.1193141138E7
AT ITER 4735 NEW BEST:: SOT 30015897 SOS 20784409 HAS SOPS 12304506 HAS SOUS 11597057 HAS SOUPS 11171127 WITH SCORE 1.1191911409E7
AT ITER 4736 NEW BEST:: SOT 30014646 SOS 20783158 HAS SOPS 12302004 HAS SOUS 11595806 HAS SOUPS 11169876 WITH SCORE 1.1190659158E7
AT ITER 4747 NEW BEST:: SOT 30014350 SOS 20782862 HAS SOPS 12301358 HAS SOUS 11595161 HAS SOUPS 11169231 WITH SCORE 1.1190013862E7
AT ITER 4752 NEW BEST:: SOT 30013103 SOS 20781615 HAS SOPS 12298646 HAS SOUS 11590807 HAS SOUPS 11164877 WITH SCORE 1.1185658615E7
AT ITER 4754 NEW BEST:: SOT 30012798 SOS 20781310 HAS SOPS 12298035 HAS SOUS 11590197 HAS SOUPS 11164267 WITH SCORE 1.118504831E7
AT ITER 4758 NEW BEST:: SOT 30013731 SOS 20782243 HAS SOPS 12297301 HAS SOUS 11590270 HAS SOUPS 11163533 WITH SCORE 1.1184315243E7
AT ITER 4765 NEW BEST:: SOT 30014024 SOS 20782536 HAS SOPS 12297218 HAS SOUS 11590187 HAS SOUPS 11163450 WITH SCORE 1.1184232536E7
AT ITER 4767 NEW BEST:: SOT 30013670 SOS 20782596 HAS SOPS 12296450 HAS SOUS 11589419 HAS SOUPS 11162682 WITH SCORE 1.1183464596E7
AT ITER 4775 NEW BEST:: SOT 30013764 SOS 20782690 HAS SOPS 12296483 HAS SOUS 11589308 HAS SOUPS 11162571 WITH SCORE 1.118335369E7
AT ITER 4779 NEW BEST:: SOT 30011737 SOS 20780663 HAS SOPS 12291037 HAS SOUS 11584858 HAS SOUPS 11158121 WITH SCORE 1.1178901663E7
AT ITER 4780 NEW BEST:: SOT 29704684 SOS 20640930 HAS SOPS 11983311 HAS SOUS 11278351 HAS SOUPS 10850395 WITH SCORE 1.087103593E7
AT ITER 4792 NEW BEST:: SOT 29705433 SOS 20641679 HAS SOPS 11982588 HAS SOUS 11277869 HAS SOUPS 10849672 WITH SCORE 1.0870313679E7
AT ITER 4794 NEW BEST:: SOT 29705433 SOS 20641679 HAS SOPS 11982336 HAS SOUS 11277617 HAS SOUPS 10849420 WITH SCORE 1.0870061679E7
AT ITER 4799 NEW BEST:: SOT 29705671 SOS 20641917 HAS SOPS 11980337 HAS SOUS 11276522 HAS SOUPS 10848325 WITH SCORE 1.0868966917E7
AT ITER 4802 NEW BEST:: SOT 29705671 SOS 20641917 HAS SOPS 11980034 HAS SOUS 11276219 HAS SOUPS 10848022 WITH SCORE 1.0868663917E7
AT ITER 4812 NEW BEST:: SOT 29705944 SOS 20642190 HAS SOPS 11979321 HAS SOUS 11275506 HAS SOUPS 10847309 WITH SCORE 1.086795119E7
AT ITER 4817 NEW BEST:: SOT 29705944 SOS 20642190 HAS SOPS 11979320 HAS SOUS 11274804 HAS SOUPS 10846607 WITH SCORE 1.086724919E7
AT ITER 4824 NEW BEST:: SOT 29704727 SOS 20641710 HAS SOPS 11976647 HAS SOUS 11272132 HAS SOUPS 10843935 WITH SCORE 1.086457671E7
AT ITER 4825 NEW BEST:: SOT 29707634 SOS 20644617 HAS SOPS 11975629 HAS SOUS 11271115 HAS SOUPS 10842918 WITH SCORE 1.0863562617E7
AT ITER 4826 NEW BEST:: SOT 29706406 SOS 20643077 HAS SOPS 11972778 HAS SOUS 11268692 HAS SOUPS 10840495 WITH SCORE 1.0861138077E7
AT ITER 4843 NEW BEST:: SOT 29706395 SOS 20644108 HAS SOPS 11972175 HAS SOUS 11268089 HAS SOUPS 10839892 WITH SCORE 1.0860536108E7
AT ITER 4845 NEW BEST:: SOT 29706304 SOS 20644017 HAS SOPS 11971992 HAS SOUS 11266496 HAS SOUPS 10838299 WITH SCORE 1.0858943017E7
AT ITER 4850 NEW BEST:: SOT 29706884 SOS 20645025 HAS SOPS 11971201 HAS SOUS 11266527 HAS SOUPS 10837508 WITH SCORE 1.0858153025E7
AT ITER 4856 NEW BEST:: SOT 29708415 SOS 20646556 HAS SOPS 11971439 HAS SOUS 11265842 HAS SOUPS 10836823 WITH SCORE 1.0857469556E7
AT ITER 4864 NEW BEST:: SOT 29707941 SOS 20646082 HAS SOPS 11970491 HAS SOUS 11264406 HAS SOUPS 10835875 WITH SCORE 1.0856521082E7
AT ITER 4866 NEW BEST:: SOT 29709079 SOS 20647220 HAS SOPS 11969601 HAS SOUS 11263511 HAS SOUPS 10834980 WITH SCORE 1.085562722E7
AT ITER 4870 NEW BEST:: SOT 29709775 SOS 20689996 HAS SOPS 11968549 HAS SOUS 11264028 HAS SOUPS 10833928 WITH SCORE 1.0854617996E7
AT ITER 4876 NEW BEST:: SOT 29709968 SOS 20690189 HAS SOPS 11967256 HAS SOUS 11262735 HAS SOUPS 10832635 WITH SCORE 1.0853325189E7
AT ITER 4877 NEW BEST:: SOT 29708543 SOS 20687645 HAS SOPS 11964759 HAS SOUS 11260787 HAS SOUPS 10830687 WITH SCORE 1.0851374645E7
AT ITER 4878 NEW BEST:: SOT 29709236 SOS 20716218 HAS SOPS 11964054 HAS SOUS 11261881 HAS SOUPS 10829982 WITH SCORE 1.0850698218E7
AT ITER 4879 NEW BEST:: SOT 29709174 SOS 20716156 HAS SOPS 11963563 HAS SOUS 11261390 HAS SOUPS 10829491 WITH SCORE 1.0850207156E7
AT ITER 4882 NEW BEST:: SOT 29708260 SOS 20715242 HAS SOPS 11960475 HAS SOUS 11258791 HAS SOUPS 10826892 WITH SCORE 1.0847607242E7
AT ITER 4888 NEW BEST:: SOT 29708245 SOS 20715227 HAS SOPS 11960445 HAS SOUS 11258761 HAS SOUPS 10826862 WITH SCORE 1.0847577227E7
AT ITER 4892 NEW BEST:: SOT 29708004 SOS 20714986 HAS SOPS 11959963 HAS SOUS 11257977 HAS SOUPS 10826380 WITH SCORE 1.0847094986E7
AT ITER 4898 NEW BEST:: SOT 29708004 SOS 20714986 HAS SOPS 11959305 HAS SOUS 11257598 HAS SOUPS 10826001 WITH SCORE 1.0846715986E7
AT ITER 4900 NEW BEST:: SOT 29706640 SOS 20713622 HAS SOPS 11956576 HAS SOUS 11254244 HAS SOUPS 10822647 WITH SCORE 1.0843360622E7
AT ITER 4901 NEW BEST:: SOT 29706640 SOS 20713622 HAS SOPS 11956576 HAS SOUS 11253854 HAS SOUPS 10822257 WITH SCORE 1.0842970622E7
AT ITER 4902 NEW BEST:: SOT 29707394 SOS 20715129 HAS SOPS 11954701 HAS SOUS 11253869 HAS SOUPS 10820382 WITH SCORE 1.0841097129E7
AT ITER 4905 NEW BEST:: SOT 29707394 SOS 20715129 HAS SOPS 11954529 HAS SOUS 11253697 HAS SOUPS 10820210 WITH SCORE 1.0840925129E7
AT ITER 4906 NEW BEST:: SOT 29706546 SOS 20714281 HAS SOPS 11952170 HAS SOUS 11252960 HAS SOUPS 10819473 WITH SCORE 1.0840187281E7
AT ITER 4909 NEW BEST:: SOT 29706546 SOS 20714281 HAS SOPS 11952170 HAS SOUS 11252562 HAS SOUPS 10819075 WITH SCORE 1.0839789281E7
AT ITER 4917 NEW BEST:: SOT 29705712 SOS 20713447 HAS SOPS 11951867 HAS SOUS 11251875 HAS SOUPS 10818388 WITH SCORE 1.0839101447E7
AT ITER 4928 NEW BEST:: SOT 29704701 SOS 20712436 HAS SOPS 11949216 HAS SOUS 11249850 HAS SOUPS 10816363 WITH SCORE 1.0837075436E7
AT ITER 4930 NEW BEST:: SOT 29703200 SOS 20710935 HAS SOPS 11946107 HAS SOUS 11247025 HAS SOUPS 10813255 WITH SCORE 1.0833965935E7
AT ITER 4953 NEW BEST:: SOT 29702233 SOS 20709968 HAS SOPS 11943691 HAS SOUS 11244609 HAS SOUPS 10810839 WITH SCORE 1.0831548968E7
AT ITER 4955 NEW BEST:: SOT 29700216 SOS 20707951 HAS SOPS 11941674 HAS SOUS 11242592 HAS SOUPS 10808822 WITH SCORE 1.0829529951E7
AT ITER 4956 NEW BEST:: SOT 29700096 SOS 20707831 HAS SOPS 11941549 HAS SOUS 11242348 HAS SOUPS 10808578 WITH SCORE 1.0829285831E7
AT ITER 4964 NEW BEST:: SOT 29699779 SOS 20707514 HAS SOPS 11938766 HAS SOUS 11241491 HAS SOUPS 10807721 WITH SCORE 1.0828428514E7
AT ITER 4967 NEW BEST:: SOT 29699201 SOS 20706936 HAS SOPS 11937609 HAS SOUS 11241157 HAS SOUPS 10807387 WITH SCORE 1.0828093936E7
AT ITER 4968 NEW BEST:: SOT 29699201 SOS 20706936 HAS SOPS 11937384 HAS SOUS 11239513 HAS SOUPS 10805743 WITH SCORE 1.0826449936E7
AT ITER 4970 NEW BEST:: SOT 29699201 SOS 20706936 HAS SOPS 11936648 HAS SOUS 11238777 HAS SOUPS 10805007 WITH SCORE 1.0825713936E7
AT ITER 4982 NEW BEST:: SOT 29699201 SOS 20706936 HAS SOPS 11936035 HAS SOUS 11238165 HAS SOUPS 10804395 WITH SCORE 1.0825101936E7
Bounds file is: CTLFireability.xml
PROPERTY: BART-PT-040-CTLFireability-00 (EG( (AU( (! ((potential((tk(P547)>=1) & (tk(P5337)>=1) & (tk(P5341)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1))))) , (! ((potential((tk(P4259)>=1) & (tk(P5457)>=1) & (tk(P5460)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1))))) ))))
PROPERTY: BART-PT-040-CTLFireability-01 (AF( ( (AG( (! ((potential((tk(P4404)>=1) & (tk(P5461)>=1) & (tk(P5464)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1))))))) & ((potential((tk(P1888)>=1) & (tk(P5378)>=1) & (tk(P5382)>=1) & (tk(P5488)>=1)))) )))
PROPERTY: BART-PT-040-CTLFireability-02 (AF( ( (EX( ( ((potential((tk(P2958)>=1) & (tk(P5400)>=1) & (tk(P5404)>=1) & (tk(P5490)>=1) & (tk(P5489)>=1)))) | ((potential((tk(P2)>=1) & (tk(P5281)>=1)))) ))) & ( ( (! ((potential((tk(P2596)>=1) & (tk(P5398)>=1) & (tk(P5394)>=1) & (tk(P5489)>=1))))) | ( ((potential((tk(P715)>=1) & (tk(P5338)>=1) & (tk(P5342)>=1) & (tk(P5488)>=1) & (tk(P5487)>=1)))) & ((potential((tk(P20)>=1) & (tk(P5291)>=1)))) ) ) & (EF( ((potential((tk(P4472)>=1) & (tk(P5458)>=1) & (tk(P5461)>=1) & (tk(P5488)>=1)))))) ) )))
PROPERTY: BART-PT-040-CTLFireability-03 ( ( (AG( ( ( ((potential((tk(P19)>=1) & (tk(P5301)>=1)))) & ((potential((tk(P19)>=1) & (tk(P5316)>=1)))) ) | ((potential((tk(P950)>=1) & (tk(P5348)>=1) & (tk(P5352)>=1) & (tk(P5488)>=1)))) ))) | (AG( ( (! ((potential((tk(P3657)>=1) & (tk(P5433)>=1) & (tk(P5437)>=1) & (tk(P5488)>=1))))) | ((potential((tk(P5182)>=1) & (tk(P5482)>=1) & (tk(P5483)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1)))) ))) ) & (! ((potential((tk(P2790)>=1) & (tk(P5395)>=1) & (tk(P5399)>=1) & (tk(P5490)>=1) & (tk(P5489)>=1))))) )
PROPERTY: BART-PT-040-CTLFireability-04 (AU( ( (AF( ((potential((tk(P1896)>=1) & (tk(P5378)>=1) & (tk(P5382)>=1) & (tk(P5488)>=1)))))) & ( (! ((potential((tk(P3676)>=1) & (tk(P5433)>=1) & (tk(P5437)>=1) & (tk(P5488)>=1))))) & (! ((potential((tk(P2461)>=1) & (tk(P5385)>=1) & (tk(P5389)>=1) & (tk(P5490)>=1) & (tk(P5489)>=1))))) ) ) , (EX( ( ((potential((tk(P4091)>=1) & (tk(P5452)>=1) & (tk(P5456)>=1) & (tk(P5487)>=1)))) & ((potential((tk(P4771)>=1) & (tk(P5466)>=1) & (tk(P5469)>=1) & (tk(P5488)>=1)))) ))) ))
PROPERTY: BART-PT-040-CTLFireability-05 (AF( ( ( (! ( ((potential((tk(P169)>=1) & (tk(P5322)>=1) & (tk(P5324)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1)))) | ((potential((tk(P40)>=1) & (tk(P5285)>=1)))) )) & (EG( ((potential((tk(P362)>=1) & (tk(P5326)>=1) & (tk(P5329)>=1) & (tk(P5488)>=1) & (tk(P5487)>=1)))))) ) & (EF( ((potential((tk(P4144)>=1) & (tk(P5448)>=1) & (tk(P5452)>=1) & (tk(P5488)>=1)))))) )))
PROPERTY: BART-PT-040-CTLFireability-06 (AG( (EG( (EF( ((potential((tk(P5165)>=1) & (tk(P5482)>=1) & (tk(P5483)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1))))))))))
PROPERTY: BART-PT-040-CTLFireability-07 (AX( (! ( ((potential((tk(P2487)>=1) & (tk(P5402)>=1) & (tk(P5406)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1)))) & (EF( ((potential((tk(P2496)>=1) & (tk(P5402)>=1) & (tk(P5406)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1)))))) ))))
PROPERTY: BART-PT-040-CTLFireability-08 (EU( ((potential((tk(P1125)>=1) & (tk(P5349)>=1) & (tk(P5353)>=1) & (tk(P5489)>=1) & (tk(P5488)>=1)))) , (! (AF( ((potential((tk(P4971)>=1) & (tk(P5476)>=1) & (tk(P5478)>=1) & (tk(P5487)>=1))))))) ))
PROPERTY: BART-PT-040-CTLFireability-09 ( (AF( (EF( ( ((potential((tk(P3283)>=1) & (tk(P5427)>=1) & (tk(P5431)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1)))) & ((potential((tk(P1869)>=1) & (tk(P5382)>=1) & (tk(P5386)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1)))) ))))) | ((potential((tk(P4248)>=1) & (tk(P5457)>=1) & (tk(P5460)>=1) & (tk(P5487)>=1)))) )
PROPERTY: BART-PT-040-CTLFireability-10 ( (EF( ( ( (! ((potential((tk(P3042)>=1) & (tk(P5413)>=1) & (tk(P5409)>=1) & (tk(P5489)>=1))))) & ( ((potential((tk(P410)>=1) & (tk(P5333)>=1) & (tk(P5336)>=1) & (tk(P5487)>=1)))) | ((potential((tk(P1033)>=1) & (tk(P5340)>=1) & (tk(P5344)>=1) & (tk(P5490)>=1) & (tk(P5489)>=1)))) ) ) & ((potential((tk(P3006)>=1) & (tk(P5413)>=1) & (tk(P5417)>=1) & (tk(P5488)>=1)))) ))) & (EF( (EU( ((potential((tk(P3676)>=1) & (tk(P5433)>=1) & (tk(P5437)>=1) & (tk(P5488)>=1)))) , ((potential((tk(P343)>=1) & (tk(P5329)>=1) & (tk(P5332)>=1) & (tk(P5487)>=1)))) )))) )
PROPERTY: BART-PT-040-CTLFireability-11 (AF( (EX( ( ((potential((tk(P378)>=1) & (tk(P5326)>=1) & (tk(P5329)>=1) & (tk(P5488)>=1) & (tk(P5487)>=1)))) & ( ((potential((tk(P5193)>=1) & (tk(P5482)>=1) & (tk(P5483)>=1) & (tk(P5487)>=1)))) | ((potential((tk(P4411)>=1) & (tk(P5461)>=1) & (tk(P5464)>=1) & (tk(P5487)>=1)))) ) )))))
PROPERTY: BART-PT-040-CTLFireability-12 (AF( ( ( ( ( ((potential((tk(P1655)>=1) & (tk(P5360)>=1) & (tk(P5364)>=1) & (tk(P5490)>=1) & (tk(P5489)>=1)))) | ((potential((tk(P3456)>=1) & (tk(P5432)>=1) & (tk(P5436)>=1) & (tk(P5487)>=1)))) ) | ((potential((tk(P2557)>=1) & (tk(P5398)>=1) & (tk(P5402)>=1) & (tk(P5488)>=1)))) ) & (AF( ((potential((tk(P3746)>=1) & (tk(P5425)>=1) & (tk(P5429)>=1) & (tk(P5490)>=1) & (tk(P5489)>=1)))))) ) & ( (! ((potential((tk(P4370)>=1) & (tk(P5445)>=1) & (tk(P5449)>=1) & (tk(P5490)>=1) & (tk(P5489)>=1))))) | (AX( ((potential((tk(P3886)>=1) & (tk(P5430)>=1) & (tk(P5434)>=1) & (tk(P5490)>=1) & (tk(P5489)>=1)))))) ) )))
PROPERTY: BART-PT-040-CTLFireability-13 (EF( ( ( ( ((potential((tk(P2639)>=1) & (tk(P5390)>=1) & (tk(P5394)>=1) & (tk(P5490)>=1) & (tk(P5489)>=1)))) | ((potential((tk(P23)>=1) & (tk(P5295)>=1)))) ) | (AF( ((potential((tk(P38)>=1) & (tk(P5305)>=1)))))) ) & (EG( ( ((potential((tk(P2807)>=1) & (tk(P5412)>=1) & (tk(P5416)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1)))) | ((potential((tk(P5207)>=1) & (tk(P5480)>=1) & (tk(P5482)>=1) & (tk(P5488)>=1)))) ))) )))
PROPERTY: BART-PT-040-CTLFireability-14 (! (AF( (EF( ( ((potential((tk(P2436)>=1) & (tk(P5393)>=1) & (tk(P5389)>=1) & (tk(P5489)>=1)))) & ((potential((tk(P762)>=1) & (tk(P5347)>=1) & (tk(P5351)>=1) & (tk(P5487)>=1)))) ))))))
PROPERTY: BART-PT-040-CTLFireability-15 ( (EU( (! ((potential((tk(P3793)>=1) & (tk(P5442)>=1) & (tk(P5446)>=1) & (tk(P5487)>=1) & (tk(P5486)>=1))))) , ( (! ((potential((tk(P17)>=1) & (tk(P5281)>=1))))) & ( ((potential((tk(P4258)>=1) & (tk(P5457)>=1) & (tk(P5460)>=1) & (tk(P5487)>=1)))) & ((potential((tk(P13)>=1) & (tk(P5290)>=1)))) ) ) )) & (! (AG( ( ( ((potential((tk(P3806)>=1) & (tk(P5438)>=1) & (tk(P5442)>=1) & (tk(P5488)>=1)))) & ((potential((tk(P469)>=1) & (tk(P5330)>=1) & (tk(P5333)>=1) & (tk(P5488)>=1) & (tk(P5487)>=1)))) ) | (! ((potential((tk(P2883)>=1) & (tk(P5408)>=1) & (tk(P5404)>=1) & (tk(P5489)>=1))))) )))) )
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-040"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BART-PT-040, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897679500108"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-040.tgz
mv BART-PT-040 execution
cd execution
if [ "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 ;