About the Execution of smart for FlexibleBarrier-PT-18b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.100 | 3600000.00 | 3599941.00 | 78.40 | [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/fkordon/mcc2020-input.r078-smll-158922972500380.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-18b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500380
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.8K Apr 4 19:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 19:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 4 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 4 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 21:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 3 13:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-18b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589443200209
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 18b
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: 4370 places, 5037 transitions, 12657 arcs.
AT ITER 0 NEW BEST:: SOT 14206269 SOS 7548707 HAS SOPS 7548707 HAS SOUS 5317989 HAS SOUPS 5317989 WITH SCORE 5325537.707
AT ITER 1 NEW BEST:: SOT 14205385 SOS 7547886 HAS SOPS 7547886 HAS SOUS 5317142 HAS SOUPS 5317142 WITH SCORE 5324689.886
AT ITER 4 NEW BEST:: SOT 14205385 SOS 7547886 HAS SOPS 7547886 HAS SOUS 5317105 HAS SOUPS 5317105 WITH SCORE 5324652.886
AT ITER 6 NEW BEST:: SOT 14204813 SOS 7546742 HAS SOPS 7546742 HAS SOUS 5316531 HAS SOUPS 5316531 WITH SCORE 5324077.742
AT ITER 8 NEW BEST:: SOT 14205181 SOS 7544900 HAS SOPS 7544900 HAS SOUS 5316053 HAS SOUPS 5316053 WITH SCORE 5323597.9
AT ITER 9 NEW BEST:: SOT 14205181 SOS 7542166 HAS SOPS 7542166 HAS SOUS 5315341 HAS SOUPS 5315341 WITH SCORE 5322883.166
AT ITER 14 NEW BEST:: SOT 14204337 SOS 7540478 HAS SOPS 7540478 HAS SOUS 5313653 HAS SOUPS 5313653 WITH SCORE 5321193.478
AT ITER 16 NEW BEST:: SOT 14203682 SOS 7539168 HAS SOPS 7539168 HAS SOUS 5312343 HAS SOUPS 5312343 WITH SCORE 5319882.168
AT ITER 22 NEW BEST:: SOT 14202360 SOS 7536524 HAS SOPS 7536524 HAS SOUS 5311476 HAS SOUPS 5311476 WITH SCORE 5319012.524
AT ITER 23 NEW BEST:: SOT 14201544 SOS 7532584 HAS SOPS 7532584 HAS SOUS 5310799 HAS SOUPS 5310799 WITH SCORE 5318331.584
AT ITER 25 NEW BEST:: SOT 14201544 SOS 7530995 HAS SOPS 7530995 HAS SOUS 5310214 HAS SOUPS 5310214 WITH SCORE 5317744.995
AT ITER 26 NEW BEST:: SOT 14201544 SOS 7530995 HAS SOPS 7530995 HAS SOUS 5310185 HAS SOUPS 5310185 WITH SCORE 5317715.995
AT ITER 27 NEW BEST:: SOT 14201544 SOS 7530995 HAS SOPS 7530995 HAS SOUS 5309820 HAS SOUPS 5309820 WITH SCORE 5317350.995
AT ITER 31 NEW BEST:: SOT 14201544 SOS 7529754 HAS SOPS 7529754 HAS SOUS 5307722 HAS SOUPS 5307722 WITH SCORE 5315251.754
AT ITER 40 NEW BEST:: SOT 14201810 SOS 7526416 HAS SOPS 7526416 HAS SOUS 5305877 HAS SOUPS 5305877 WITH SCORE 5313403.416
AT ITER 45 NEW BEST:: SOT 14200060 SOS 7525341 HAS SOPS 7525341 HAS SOUS 5304779 HAS SOUPS 5304779 WITH SCORE 5312304.341
AT ITER 48 NEW BEST:: SOT 14200561 SOS 7521497 HAS SOPS 7521497 HAS SOUS 5302508 HAS SOUPS 5302508 WITH SCORE 5310029.497
AT ITER 58 NEW BEST:: SOT 14200561 SOS 7521497 HAS SOPS 7521497 HAS SOUS 5301686 HAS SOUPS 5301686 WITH SCORE 5309207.497
AT ITER 59 NEW BEST:: SOT 14200561 SOS 7521497 HAS SOPS 7521497 HAS SOUS 5301634 HAS SOUPS 5301634 WITH SCORE 5309155.497
AT ITER 63 NEW BEST:: SOT 14199887 SOS 7520149 HAS SOPS 7520149 HAS SOUS 5300960 HAS SOUPS 5300960 WITH SCORE 5308480.149
AT ITER 65 NEW BEST:: SOT 14199786 SOS 7519947 HAS SOPS 7519947 HAS SOUS 5300859 HAS SOUPS 5300859 WITH SCORE 5308378.947
AT ITER 68 NEW BEST:: SOT 14199786 SOS 7518013 HAS SOPS 7518013 HAS SOUS 5299735 HAS SOUPS 5299735 WITH SCORE 5307253.013
AT ITER 75 NEW BEST:: SOT 14198526 SOS 7518524 HAS SOPS 7518524 HAS SOUS 5299676 HAS SOUPS 5299676 WITH SCORE 5307194.524
AT ITER 77 NEW BEST:: SOT 14198043 SOS 7517075 HAS SOPS 7517075 HAS SOUS 5298710 HAS SOUPS 5298710 WITH SCORE 5306227.075
AT ITER 80 NEW BEST:: SOT 14195900 SOS 7515354 HAS SOPS 7515354 HAS SOUS 5296965 HAS SOUPS 5296965 WITH SCORE 5304480.354
AT ITER 83 NEW BEST:: SOT 14195654 SOS 7511292 HAS SOPS 7511292 HAS SOUS 5296035 HAS SOUPS 5296035 WITH SCORE 5303546.292
AT ITER 84 NEW BEST:: SOT 14194024 SOS 7511276 HAS SOPS 7511276 HAS SOUS 5296035 HAS SOUPS 5296035 WITH SCORE 5303546.276
AT ITER 85 NEW BEST:: SOT 14191946 SOS 7507120 HAS SOPS 7507120 HAS SOUS 5293997 HAS SOUPS 5293997 WITH SCORE 5301504.12
AT ITER 87 NEW BEST:: SOT 14191319 SOS 7505239 HAS SOPS 7505239 HAS SOUS 5293369 HAS SOUPS 5293369 WITH SCORE 5300874.239
AT ITER 90 NEW BEST:: SOT 14191319 SOS 7505239 HAS SOPS 7505239 HAS SOUS 5291063 HAS SOUPS 5291063 WITH SCORE 5298568.239
AT ITER 91 NEW BEST:: SOT 14191150 SOS 7505070 HAS SOPS 7505070 HAS SOUS 5291063 HAS SOUPS 5291063 WITH SCORE 5298568.07
AT ITER 94 NEW BEST:: SOT 14191150 SOS 7505070 HAS SOPS 7505070 HAS SOUS 5291062 HAS SOUPS 5291062 WITH SCORE 5298567.07
AT ITER 97 NEW BEST:: SOT 14190313 SOS 7503396 HAS SOPS 7503396 HAS SOUS 5289388 HAS SOUPS 5289388 WITH SCORE 5296891.396
AT ITER 98 NEW BEST:: SOT 14190013 SOS 7502796 HAS SOPS 7502796 HAS SOUS 5289086 HAS SOUPS 5289086 WITH SCORE 5296588.796
AT ITER 100 NEW BEST:: SOT 14189387 SOS 7501544 HAS SOPS 7501544 HAS SOUS 5287834 HAS SOUPS 5287834 WITH SCORE 5295335.544
AT ITER 101 NEW BEST:: SOT 14189387 SOS 7499656 HAS SOPS 7499656 HAS SOUS 5286875 HAS SOUPS 5286875 WITH SCORE 5294374.656
AT ITER 102 NEW BEST:: SOT 14187998 SOS 7496878 HAS SOPS 7496878 HAS SOUS 5285998 HAS SOUPS 5285998 WITH SCORE 5293494.878
AT ITER 105 NEW BEST:: SOT 14187615 SOS 7496495 HAS SOPS 7496495 HAS SOUS 5285615 HAS SOUPS 5285615 WITH SCORE 5293111.495
AT ITER 113 NEW BEST:: SOT 14185774 SOS 7495259 HAS SOPS 7495259 HAS SOUS 5283773 HAS SOUPS 5283773 WITH SCORE 5291268.259
AT ITER 116 NEW BEST:: SOT 14183754 SOS 7491219 HAS SOPS 7491219 HAS SOUS 5282631 HAS SOUPS 5282631 WITH SCORE 5290122.219
AT ITER 119 NEW BEST:: SOT 14114280 SOS 7462567 HAS SOPS 7462567 HAS SOUS 5215850 HAS SOUPS 5215850 WITH SCORE 5223312.567
AT ITER 128 NEW BEST:: SOT 14115099 SOS 7462039 HAS SOPS 7462039 HAS SOUS 5213505 HAS SOUPS 5213505 WITH SCORE 5220967.039
AT ITER 129 NEW BEST:: SOT 14115099 SOS 7462039 HAS SOPS 7462039 HAS SOUS 5212482 HAS SOUPS 5212482 WITH SCORE 5219944.039
AT ITER 130 NEW BEST:: SOT 14115136 SOS 7458393 HAS SOPS 7458393 HAS SOUS 5212112 HAS SOUPS 5212112 WITH SCORE 5219570.393
AT ITER 134 NEW BEST:: SOT 14114941 SOS 7458003 HAS SOPS 7458003 HAS SOUS 5211917 HAS SOUPS 5211917 WITH SCORE 5219375.003
AT ITER 146 NEW BEST:: SOT 14114492 SOS 7456656 HAS SOPS 7456656 HAS SOUS 5211152 HAS SOUPS 5211152 WITH SCORE 5218608.656
AT ITER 150 NEW BEST:: SOT 14114894 SOS 7455424 HAS SOPS 7455424 HAS SOUS 5209149 HAS SOUPS 5209149 WITH SCORE 5216604.424
AT ITER 155 NEW BEST:: SOT 14114516 SOS 7455198 HAS SOPS 7455198 HAS SOUS 5208915 HAS SOUPS 5208915 WITH SCORE 5216370.198
AT ITER 161 NEW BEST:: SOT 14114602 SOS 7451636 HAS SOPS 7451636 HAS SOUS 5208398 HAS SOUPS 5208398 WITH SCORE 5215849.636
AT ITER 174 NEW BEST:: SOT 14112529 SOS 7449648 HAS SOPS 7449648 HAS SOUS 5206393 HAS SOUPS 5206393 WITH SCORE 5213842.648
AT ITER 177 NEW BEST:: SOT 14112529 SOS 7449648 HAS SOPS 7449648 HAS SOUS 5206392 HAS SOUPS 5206392 WITH SCORE 5213841.648
AT ITER 180 NEW BEST:: SOT 14111255 SOS 7448392 HAS SOPS 7448392 HAS SOUS 5205775 HAS SOUPS 5205775 WITH SCORE 5213223.392
AT ITER 183 NEW BEST:: SOT 14111266 SOS 7447860 HAS SOPS 7447860 HAS SOUS 5205765 HAS SOUPS 5205765 WITH SCORE 5213212.86
AT ITER 191 NEW BEST:: SOT 14110757 SOS 7444394 HAS SOPS 7444394 HAS SOUS 5205548 HAS SOUPS 5205548 WITH SCORE 5212992.394
AT ITER 194 NEW BEST:: SOT 14110647 SOS 7444174 HAS SOPS 7444174 HAS SOUS 5205546 HAS SOUPS 5205546 WITH SCORE 5212990.174
AT ITER 196 NEW BEST:: SOT 14109941 SOS 7442762 HAS SOPS 7442762 HAS SOUS 5205545 HAS SOUPS 5205545 WITH SCORE 5212987.762
AT ITER 200 NEW BEST:: SOT 14110801 SOS 7441428 HAS SOPS 7441428 HAS SOUS 5204696 HAS SOUPS 5204696 WITH SCORE 5212137.428
AT ITER 202 NEW BEST:: SOT 14110801 SOS 7441428 HAS SOPS 7441428 HAS SOUS 5204684 HAS SOUPS 5204684 WITH SCORE 5212125.428
AT ITER 211 NEW BEST:: SOT 14109994 SOS 7440792 HAS SOPS 7440792 HAS SOUS 5203877 HAS SOUPS 5203877 WITH SCORE 5211317.792
AT ITER 212 NEW BEST:: SOT 14109312 SOS 7437686 HAS SOPS 7437686 HAS SOUS 5203271 HAS SOUPS 5203271 WITH SCORE 5210708.686
AT ITER 216 NEW BEST:: SOT 14108594 SOS 7434814 HAS SOPS 7434814 HAS SOUS 5202548 HAS SOUPS 5202548 WITH SCORE 5209982.814
AT ITER 218 NEW BEST:: SOT 14108594 SOS 7434814 HAS SOPS 7434814 HAS SOUS 5202522 HAS SOUPS 5202522 WITH SCORE 5209956.814
AT ITER 221 NEW BEST:: SOT 14108548 SOS 7432212 HAS SOPS 7432212 HAS SOUS 5202373 HAS SOUPS 5202373 WITH SCORE 5209805.212
AT ITER 223 NEW BEST:: SOT 14095764 SOS 7420556 HAS SOPS 7420556 HAS SOUS 5190341 HAS SOUPS 5190341 WITH SCORE 5197761.556
AT ITER 227 NEW BEST:: SOT 14095699 SOS 7420426 HAS SOPS 7420426 HAS SOUS 5190211 HAS SOUPS 5190211 WITH SCORE 5197631.426
AT ITER 233 NEW BEST:: SOT 14095699 SOS 7420426 HAS SOPS 7420426 HAS SOUS 5190209 HAS SOUPS 5190209 WITH SCORE 5197629.426
AT ITER 236 NEW BEST:: SOT 14095699 SOS 7419960 HAS SOPS 7419960 HAS SOUS 5190209 HAS SOUPS 5190209 WITH SCORE 5197628.96
AT ITER 239 NEW BEST:: SOT 14095699 SOS 7419960 HAS SOPS 7419960 HAS SOUS 5189877 HAS SOUPS 5189877 WITH SCORE 5197296.96
AT ITER 243 NEW BEST:: SOT 14095356 SOS 7419960 HAS SOPS 7419960 HAS SOUS 5189666 HAS SOUPS 5189666 WITH SCORE 5197085.96
AT ITER 245 NEW BEST:: SOT 14094839 SOS 7415972 HAS SOPS 7415972 HAS SOUS 5186798 HAS SOUPS 5186798 WITH SCORE 5194213.972
AT ITER 247 NEW BEST:: SOT 14092732 SOS 7413879 HAS SOPS 7413879 HAS SOUS 5184950 HAS SOUPS 5184950 WITH SCORE 5192363.879
AT ITER 249 NEW BEST:: SOT 14092732 SOS 7413879 HAS SOPS 7413879 HAS SOUS 5184949 HAS SOUPS 5184949 WITH SCORE 5192362.879
AT ITER 250 NEW BEST:: SOT 14092208 SOS 7410049 HAS SOPS 7410049 HAS SOUS 5183728 HAS SOUPS 5183728 WITH SCORE 5191138.049
AT ITER 251 NEW BEST:: SOT 14092102 SOS 7409837 HAS SOPS 7409837 HAS SOUS 5183627 HAS SOUPS 5183627 WITH SCORE 5191036.837
AT ITER 257 NEW BEST:: SOT 14091832 SOS 7408757 HAS SOPS 7408757 HAS SOUS 5182817 HAS SOUPS 5182817 WITH SCORE 5190225.757
AT ITER 262 NEW BEST:: SOT 14091832 SOS 7408757 HAS SOPS 7408757 HAS SOUS 5182802 HAS SOUPS 5182802 WITH SCORE 5190210.757
AT ITER 268 NEW BEST:: SOT 14091060 SOS 7407213 HAS SOPS 7407213 HAS SOUS 5181258 HAS SOUPS 5181258 WITH SCORE 5188665.213
AT ITER 270 NEW BEST:: SOT 14090811 SOS 7406715 HAS SOPS 7406715 HAS SOUS 5181009 HAS SOUPS 5181009 WITH SCORE 5188415.715
AT ITER 271 NEW BEST:: SOT 14090811 SOS 7406715 HAS SOPS 7406715 HAS SOUS 5180991 HAS SOUPS 5180991 WITH SCORE 5188397.715
AT ITER 274 NEW BEST:: SOT 14090165 SOS 7405423 HAS SOPS 7405423 HAS SOUS 5180344 HAS SOUPS 5180344 WITH SCORE 5187749.423
AT ITER 276 NEW BEST:: SOT 14089627 SOS 7404347 HAS SOPS 7404347 HAS SOUS 5180341 HAS SOUPS 5180341 WITH SCORE 5187745.347
AT ITER 277 NEW BEST:: SOT 14089627 SOS 7404347 HAS SOPS 7404347 HAS SOUS 5180335 HAS SOUPS 5180335 WITH SCORE 5187739.347
AT ITER 281 NEW BEST:: SOT 14089589 SOS 7401069 HAS SOPS 7401069 HAS SOUS 5178697 HAS SOUPS 5178697 WITH SCORE 5186098.069
AT ITER 288 NEW BEST:: SOT 14089388 SOS 7400667 HAS SOPS 7400667 HAS SOUS 5178495 HAS SOUPS 5178495 WITH SCORE 5185895.667
AT ITER 296 NEW BEST:: SOT 14089744 SOS 7397231 HAS SOPS 7397231 HAS SOUS 5176125 HAS SOUPS 5176125 WITH SCORE 5183522.231
AT ITER 300 NEW BEST:: SOT 14089744 SOS 7394573 HAS SOPS 7394573 HAS SOUS 5174188 HAS SOUPS 5174188 WITH SCORE 5181582.573
AT ITER 301 NEW BEST:: SOT 14089744 SOS 7363907 HAS SOPS 7363907 HAS SOUS 5174178 HAS SOUPS 5174178 WITH SCORE 5181541.907
AT ITER 305 NEW BEST:: SOT 14089744 SOS 7363907 HAS SOPS 7363907 HAS SOUS 5174176 HAS SOUPS 5174176 WITH SCORE 5181539.907
AT ITER 313 NEW BEST:: SOT 14090262 SOS 7362870 HAS SOPS 7362870 HAS SOUS 5171193 HAS SOUPS 5171193 WITH SCORE 5178555.87
AT ITER 315 NEW BEST:: SOT 14089265 SOS 7360875 HAS SOPS 7360875 HAS SOUS 5169198 HAS SOUPS 5169198 WITH SCORE 5176558.875
AT ITER 319 NEW BEST:: SOT 14089265 SOS 7360180 HAS SOPS 7360180 HAS SOUS 5169198 HAS SOUPS 5169198 WITH SCORE 5176558.18
AT ITER 322 NEW BEST:: SOT 14088831 SOS 7359312 HAS SOPS 7359312 HAS SOUS 5168330 HAS SOUPS 5168330 WITH SCORE 5175689.312
AT ITER 332 NEW BEST:: SOT 14088831 SOS 7357969 HAS SOPS 7357969 HAS SOUS 5165674 HAS SOUPS 5165674 WITH SCORE 5173031.969
AT ITER 339 NEW BEST:: SOT 14088068 SOS 7354199 HAS SOPS 7354199 HAS SOUS 5164173 HAS SOUPS 5164173 WITH SCORE 5171527.199
AT ITER 341 NEW BEST:: SOT 14087972 SOS 7350839 HAS SOPS 7350839 HAS SOUS 5164077 HAS SOUPS 5164077 WITH SCORE 5171427.839
AT ITER 350 NEW BEST:: SOT 14088447 SOS 7350532 HAS SOPS 7350532 HAS SOUS 5163783 HAS SOUPS 5163783 WITH SCORE 5171133.532
AT ITER 353 NEW BEST:: SOT 14088447 SOS 7319593 HAS SOPS 7319593 HAS SOUS 5161435 HAS SOUPS 5161435 WITH SCORE 5168754.593
AT ITER 361 NEW BEST:: SOT 14087690 SOS 7319092 HAS SOPS 7319092 HAS SOUS 5160919 HAS SOUPS 5160919 WITH SCORE 5168238.092
AT ITER 364 NEW BEST:: SOT 14087050 SOS 7318132 HAS SOPS 7318132 HAS SOUS 5160278 HAS SOUPS 5160278 WITH SCORE 5167596.132
AT ITER 367 NEW BEST:: SOT 14087050 SOS 7316533 HAS SOPS 7316533 HAS SOUS 5159147 HAS SOUPS 5159147 WITH SCORE 5166463.533
AT ITER 372 NEW BEST:: SOT 14086939 SOS 7316669 HAS SOPS 7316669 HAS SOUS 5159036 HAS SOUPS 5159036 WITH SCORE 5166352.669
AT ITER 373 NEW BEST:: SOT 14086371 SOS 7316304 HAS SOPS 7316304 HAS SOUS 5158662 HAS SOUPS 5158662 WITH SCORE 5165978.304
AT ITER 384 NEW BEST:: SOT 14062095 SOS 7302367 HAS SOPS 7302367 HAS SOUS 5135039 HAS SOUPS 5135039 WITH SCORE 5142341.367
AT ITER 389 NEW BEST:: SOT 14061622 SOS 7301957 HAS SOPS 7301957 HAS SOUS 5134566 HAS SOUPS 5134566 WITH SCORE 5141867.957
AT ITER 398 NEW BEST:: SOT 14060649 SOS 7302040 HAS SOPS 7302040 HAS SOUS 5134247 HAS SOUPS 5134247 WITH SCORE 5141549.04
AT ITER 403 NEW BEST:: SOT 14060649 SOS 7302040 HAS SOPS 7302040 HAS SOUS 5133840 HAS SOUPS 5133840 WITH SCORE 5141142.04
AT ITER 407 NEW BEST:: SOT 14061364 SOS 7299855 HAS SOPS 7299855 HAS SOUS 5132410 HAS SOUPS 5132410 WITH SCORE 5139709.855
AT ITER 412 NEW BEST:: SOT 14032227 SOS 7313102 HAS SOPS 7313102 HAS SOUS 5105206 HAS SOUPS 5105206 WITH SCORE 5112519.102
AT ITER 415 NEW BEST:: SOT 14031731 SOS 7312110 HAS SOPS 7312110 HAS SOUS 5104214 HAS SOUPS 5104214 WITH SCORE 5111526.11
AT ITER 424 NEW BEST:: SOT 14031731 SOS 7309359 HAS SOPS 7309359 HAS SOUS 5099631 HAS SOUPS 5099631 WITH SCORE 5106940.359
AT ITER 425 NEW BEST:: SOT 14016257 SOS 7310576 HAS SOPS 7310576 HAS SOUS 5086034 HAS SOUPS 5086034 WITH SCORE 5093344.576
AT ITER 440 NEW BEST:: SOT 14016257 SOS 7308236 HAS SOPS 7308236 HAS SOUS 5085175 HAS SOUPS 5085175 WITH SCORE 5092483.236
AT ITER 441 NEW BEST:: SOT 14016257 SOS 7306383 HAS SOPS 7306383 HAS SOUS 5084671 HAS SOUPS 5084671 WITH SCORE 5091977.383
AT ITER 444 NEW BEST:: SOT 14014615 SOS 7304751 HAS SOPS 7304751 HAS SOUS 5083029 HAS SOUPS 5083029 WITH SCORE 5090333.751
AT ITER 448 NEW BEST:: SOT 14014615 SOS 7304751 HAS SOPS 7304751 HAS SOUS 5082513 HAS SOUPS 5082513 WITH SCORE 5089817.751
AT ITER 449 NEW BEST:: SOT 14014081 SOS 7302615 HAS SOPS 7302615 HAS SOUS 5081979 HAS SOUPS 5081979 WITH SCORE 5089281.615
AT ITER 451 NEW BEST:: SOT 14014051 SOS 7302555 HAS SOPS 7302555 HAS SOUS 5081919 HAS SOUPS 5081919 WITH SCORE 5089221.555
AT ITER 461 NEW BEST:: SOT 14014051 SOS 7302555 HAS SOPS 7302555 HAS SOUS 5081894 HAS SOUPS 5081894 WITH SCORE 5089196.555
AT ITER 462 NEW BEST:: SOT 14014051 SOS 7302430 HAS SOPS 7302430 HAS SOUS 5081769 HAS SOUPS 5081769 WITH SCORE 5089071.43
AT ITER 466 NEW BEST:: SOT 14014228 SOS 7302393 HAS SOPS 7302393 HAS SOUS 5079559 HAS SOUPS 5079559 WITH SCORE 5086861.393
AT ITER 469 NEW BEST:: SOT 14014228 SOS 7301817 HAS SOPS 7301817 HAS SOUS 5079261 HAS SOUPS 5079261 WITH SCORE 5086562.817
AT ITER 471 NEW BEST:: SOT 14014228 SOS 7301227 HAS SOPS 7301227 HAS SOUS 5078954 HAS SOUPS 5078954 WITH SCORE 5086255.227
AT ITER 495 NEW BEST:: SOT 14013390 SOS 7300661 HAS SOPS 7300661 HAS SOUS 5078369 HAS SOUPS 5078369 WITH SCORE 5085669.661
AT ITER 500 NEW BEST:: SOT 14011456 SOS 7296935 HAS SOPS 7296935 HAS SOUS 5074643 HAS SOUPS 5074643 WITH SCORE 5081939.935
AT ITER 506 NEW BEST:: SOT 14011336 SOS 7296815 HAS SOPS 7296815 HAS SOUS 5074643 HAS SOUPS 5074643 WITH SCORE 5081939.815
AT ITER 514 NEW BEST:: SOT 14011336 SOS 7295991 HAS SOPS 7295991 HAS SOUS 5074643 HAS SOUPS 5074643 WITH SCORE 5081938.991
AT ITER 518 NEW BEST:: SOT 14011998 SOS 7297315 HAS SOPS 7297315 HAS SOUS 5073185 HAS SOUPS 5073185 WITH SCORE 5080482.315
AT ITER 529 NEW BEST:: SOT 14011333 SOS 7292943 HAS SOPS 7292943 HAS SOUS 5069962 HAS SOUPS 5069962 WITH SCORE 5077254.943
AT ITER 530 NEW BEST:: SOT 14011333 SOS 7292490 HAS SOPS 7292490 HAS SOUS 5069425 HAS SOUPS 5069425 WITH SCORE 5076717.49
AT ITER 532 NEW BEST:: SOT 14011333 SOS 7292490 HAS SOPS 7292490 HAS SOUS 5069424 HAS SOUPS 5069424 WITH SCORE 5076716.49
AT ITER 536 NEW BEST:: SOT 14010671 SOS 7291166 HAS SOPS 7291166 HAS SOUS 5068762 HAS SOUPS 5068762 WITH SCORE 5076053.166
AT ITER 538 NEW BEST:: SOT 14007898 SOS 7289838 HAS SOPS 7289838 HAS SOUS 5066711 HAS SOUPS 5066711 WITH SCORE 5074000.838
AT ITER 542 NEW BEST:: SOT 14007898 SOS 7287949 HAS SOPS 7287949 HAS SOUS 5066051 HAS SOUPS 5066051 WITH SCORE 5073338.949
AT ITER 550 NEW BEST:: SOT 14007400 SOS 7286953 HAS SOPS 7286953 HAS SOUS 5065553 HAS SOUPS 5065553 WITH SCORE 5072839.953
AT ITER 551 NEW BEST:: SOT 14005299 SOS 7282751 HAS SOPS 7282751 HAS SOUS 5061971 HAS SOUPS 5061971 WITH SCORE 5069253.751
AT ITER 552 NEW BEST:: SOT 14005599 SOS 7252653 HAS SOPS 7252653 HAS SOUS 5061563 HAS SOUPS 5061563 WITH SCORE 5068815.653
AT ITER 553 NEW BEST:: SOT 14005599 SOS 7252653 HAS SOPS 7252653 HAS SOUS 5060961 HAS SOUPS 5060961 WITH SCORE 5068213.653
AT ITER 554 NEW BEST:: SOT 14005599 SOS 7252648 HAS SOPS 7252648 HAS SOUS 5060921 HAS SOUPS 5060921 WITH SCORE 5068173.648
AT ITER 560 NEW BEST:: SOT 14004727 SOS 7250032 HAS SOPS 7250032 HAS SOUS 5060048 HAS SOUPS 5060048 WITH SCORE 5067298.032
AT ITER 561 NEW BEST:: SOT 14004658 SOS 7249982 HAS SOPS 7249982 HAS SOUS 5060037 HAS SOUPS 5060037 WITH SCORE 5067286.982
AT ITER 566 NEW BEST:: SOT 14004874 SOS 7250414 HAS SOPS 7250414 HAS SOUS 5059186 HAS SOUPS 5059186 WITH SCORE 5066436.414
AT ITER 567 NEW BEST:: SOT 14003679 SOS 7249219 HAS SOPS 7249219 HAS SOUS 5057983 HAS SOUPS 5057983 WITH SCORE 5065232.219
AT ITER 569 NEW BEST:: SOT 14003320 SOS 7248501 HAS SOPS 7248501 HAS SOUS 5057265 HAS SOUPS 5057265 WITH SCORE 5064513.501
AT ITER 572 NEW BEST:: SOT 14003320 SOS 7247962 HAS SOPS 7247962 HAS SOUS 5056291 HAS SOUPS 5056291 WITH SCORE 5063538.962
AT ITER 575 NEW BEST:: SOT 14002288 SOS 7244866 HAS SOPS 7244866 HAS SOUS 5056139 HAS SOUPS 5056139 WITH SCORE 5063383.866
AT ITER 579 NEW BEST:: SOT 14002060 SOS 7245413 HAS SOPS 7245413 HAS SOUS 5056023 HAS SOUPS 5056023 WITH SCORE 5063268.413
AT ITER 580 NEW BEST:: SOT 14002940 SOS 7247173 HAS SOPS 7247173 HAS SOUS 5054475 HAS SOUPS 5054475 WITH SCORE 5061722.173
AT ITER 581 NEW BEST:: SOT 14003073 SOS 7246562 HAS SOPS 7246562 HAS SOUS 5053416 HAS SOUPS 5053416 WITH SCORE 5060662.562
AT ITER 585 NEW BEST:: SOT 14003073 SOS 7246562 HAS SOPS 7246562 HAS SOUS 5053387 HAS SOUPS 5053387 WITH SCORE 5060633.562
AT ITER 586 NEW BEST:: SOT 14003024 SOS 7246775 HAS SOPS 7246775 HAS SOUS 5052988 HAS SOUPS 5052988 WITH SCORE 5060234.775
AT ITER 588 NEW BEST:: SOT 14003024 SOS 7245168 HAS SOPS 7245168 HAS SOUS 5049814 HAS SOUPS 5049814 WITH SCORE 5057059.168
AT ITER 590 NEW BEST:: SOT 14002712 SOS 7245732 HAS SOPS 7245732 HAS SOUS 5049548 HAS SOUPS 5049548 WITH SCORE 5056793.732
AT ITER 596 NEW BEST:: SOT 14002712 SOS 7245732 HAS SOPS 7245732 HAS SOUS 5049547 HAS SOUPS 5049547 WITH SCORE 5056792.732
AT ITER 603 NEW BEST:: SOT 14003675 SOS 7247658 HAS SOPS 7247658 HAS SOUS 5048630 HAS SOUPS 5048630 WITH SCORE 5055877.658
AT ITER 605 NEW BEST:: SOT 14003586 SOS 7244632 HAS SOPS 7244632 HAS SOUS 5047177 HAS SOUPS 5047177 WITH SCORE 5054421.632
AT ITER 609 NEW BEST:: SOT 14003586 SOS 7244632 HAS SOPS 7244632 HAS SOUS 5046958 HAS SOUPS 5046958 WITH SCORE 5054202.632
AT ITER 611 NEW BEST:: SOT 14003586 SOS 7244147 HAS SOPS 7244147 HAS SOUS 5046958 HAS SOUPS 5046958 WITH SCORE 5054202.147
AT ITER 612 NEW BEST:: SOT 14003586 SOS 7244142 HAS SOPS 7244142 HAS SOUS 5046953 HAS SOUPS 5046953 WITH SCORE 5054197.142
AT ITER 620 NEW BEST:: SOT 14003557 SOS 7243127 HAS SOPS 7243127 HAS SOUS 5046924 HAS SOUPS 5046924 WITH SCORE 5054167.127
AT ITER 625 NEW BEST:: SOT 14003557 SOS 7243127 HAS SOPS 7243127 HAS SOUS 5046904 HAS SOUPS 5046904 WITH SCORE 5054147.127
AT ITER 631 NEW BEST:: SOT 14003557 SOS 7243127 HAS SOPS 7243127 HAS SOUS 5046893 HAS SOUPS 5046893 WITH SCORE 5054136.127
AT ITER 650 NEW BEST:: SOT 14003874 SOS 7243761 HAS SOPS 7243761 HAS SOUS 5046361 HAS SOUPS 5046361 WITH SCORE 5053604.761
AT ITER 654 NEW BEST:: SOT 14003874 SOS 7244294 HAS SOPS 7244294 HAS SOUS 5046341 HAS SOUPS 5046341 WITH SCORE 5053585.294
AT ITER 662 NEW BEST:: SOT 14003873 SOS 7244292 HAS SOPS 7244292 HAS SOUS 5046340 HAS SOUPS 5046340 WITH SCORE 5053584.292
AT ITER 668 NEW BEST:: SOT 14003194 SOS 7244269 HAS SOPS 7244269 HAS SOUS 5046045 HAS SOUPS 5046045 WITH SCORE 5053289.269
AT ITER 672 NEW BEST:: SOT 14002473 SOS 7244248 HAS SOPS 7244248 HAS SOUS 5045368 HAS SOUPS 5045368 WITH SCORE 5052612.248
AT ITER 676 NEW BEST:: SOT 14001534 SOS 7242370 HAS SOPS 7242370 HAS SOUS 5044429 HAS SOUPS 5044429 WITH SCORE 5051671.37
AT ITER 688 NEW BEST:: SOT 13998934 SOS 7239786 HAS SOPS 7239786 HAS SOUS 5041829 HAS SOUPS 5041829 WITH SCORE 5049068.786
AT ITER 691 NEW BEST:: SOT 13998818 SOS 7239554 HAS SOPS 7239554 HAS SOUS 5041713 HAS SOUPS 5041713 WITH SCORE 5048952.554
AT ITER 694 NEW BEST:: SOT 13998818 SOS 7239554 HAS SOPS 7239554 HAS SOUS 5040844 HAS SOUPS 5040844 WITH SCORE 5048083.554
AT ITER 695 NEW BEST:: SOT 13987306 SOS 7280160 HAS SOPS 7280160 HAS SOUS 5033550 HAS SOUPS 5033550 WITH SCORE 5040830.16
AT ITER 699 NEW BEST:: SOT 13987306 SOS 7280160 HAS SOPS 7280160 HAS SOUS 5033546 HAS SOUPS 5033546 WITH SCORE 5040826.16
AT ITER 701 NEW BEST:: SOT 13987306 SOS 7278573 HAS SOPS 7278573 HAS SOUS 5031549 HAS SOUPS 5031549 WITH SCORE 5038827.573
AT ITER 705 NEW BEST:: SOT 13987213 SOS 7278387 HAS SOPS 7278387 HAS SOUS 5031456 HAS SOUPS 5031456 WITH SCORE 5038734.387
AT ITER 709 NEW BEST:: SOT 13987213 SOS 7278387 HAS SOPS 7278387 HAS SOUS 5031455 HAS SOUPS 5031455 WITH SCORE 5038733.387
AT ITER 718 NEW BEST:: SOT 13968120 SOS 7281141 HAS SOPS 7281141 HAS SOUS 5013434 HAS SOUPS 5013434 WITH SCORE 5020715.141
AT ITER 720 NEW BEST:: SOT 13968120 SOS 7280548 HAS SOPS 7280548 HAS SOUS 5012841 HAS SOUPS 5012841 WITH SCORE 5020121.548
AT ITER 737 NEW BEST:: SOT 13966501 SOS 7279578 HAS SOPS 7279578 HAS SOUS 5011803 HAS SOUPS 5011803 WITH SCORE 5019082.578
AT ITER 740 NEW BEST:: SOT 13966501 SOS 7279578 HAS SOPS 7279578 HAS SOUS 5011801 HAS SOUPS 5011801 WITH SCORE 5019080.578
AT ITER 744 NEW BEST:: SOT 13965943 SOS 7278462 HAS SOPS 7278462 HAS SOUS 5010684 HAS SOUPS 5010684 WITH SCORE 5017962.462
AT ITER 746 NEW BEST:: SOT 13965202 SOS 7274246 HAS SOPS 7274246 HAS SOUS 5007575 HAS SOUPS 5007575 WITH SCORE 5014849.246
AT ITER 752 NEW BEST:: SOT 13966137 SOS 7273016 HAS SOPS 7273016 HAS SOUS 5007427 HAS SOUPS 5007427 WITH SCORE 5014700.016
AT ITER 758 NEW BEST:: SOT 13965944 SOS 7272630 HAS SOPS 7272630 HAS SOUS 5007234 HAS SOUPS 5007234 WITH SCORE 5014506.63
AT ITER 761 NEW BEST:: SOT 13965685 SOS 7272112 HAS SOPS 7272112 HAS SOUS 5006716 HAS SOUPS 5006716 WITH SCORE 5013988.112
AT ITER 766 NEW BEST:: SOT 13965685 SOS 7272112 HAS SOPS 7272112 HAS SOUS 5005393 HAS SOUPS 5005393 WITH SCORE 5012665.112
AT ITER 781 NEW BEST:: SOT 13965685 SOS 7244172 HAS SOPS 7244172 HAS SOUS 5005393 HAS SOUPS 5005393 WITH SCORE 5012637.172
AT ITER 785 NEW BEST:: SOT 13965126 SOS 7243054 HAS SOPS 7243054 HAS SOUS 5004834 HAS SOUPS 5004834 WITH SCORE 5012077.054
AT ITER 786 NEW BEST:: SOT 13965030 SOS 7242670 HAS SOPS 7242670 HAS SOUS 5004738 HAS SOUPS 5004738 WITH SCORE 5011980.67
AT ITER 791 NEW BEST:: SOT 13965022 SOS 7242641 HAS SOPS 7242641 HAS SOUS 5004722 HAS SOUPS 5004722 WITH SCORE 5011964.641
AT ITER 798 NEW BEST:: SOT 13965022 SOS 7242641 HAS SOPS 7242641 HAS SOUS 5004584 HAS SOUPS 5004584 WITH SCORE 5011826.641
AT ITER 801 NEW BEST:: SOT 13966451 SOS 7242742 HAS SOPS 7242742 HAS SOUS 5003132 HAS SOUPS 5003132 WITH SCORE 5010374.742
AT ITER 802 NEW BEST:: SOT 13966365 SOS 7242484 HAS SOPS 7242484 HAS SOUS 5003046 HAS SOUPS 5003046 WITH SCORE 5010288.484
AT ITER 808 NEW BEST:: SOT 13966365 SOS 7242483 HAS SOPS 7242483 HAS SOUS 5003045 HAS SOUPS 5003045 WITH SCORE 5010287.483
AT ITER 809 NEW BEST:: SOT 13966365 SOS 7242483 HAS SOPS 7242483 HAS SOUS 5002868 HAS SOUPS 5002868 WITH SCORE 5010110.483
AT ITER 814 NEW BEST:: SOT 13966016 SOS 7242259 HAS SOPS 7242259 HAS SOUS 5002519 HAS SOUPS 5002519 WITH SCORE 5009761.259
AT ITER 815 NEW BEST:: SOT 13965444 SOS 7241687 HAS SOPS 7241687 HAS SOUS 5001947 HAS SOUPS 5001947 WITH SCORE 5009188.687
AT ITER 817 NEW BEST:: SOT 13965703 SOS 7239769 HAS SOPS 7239769 HAS SOUS 5001625 HAS SOUPS 5001625 WITH SCORE 5008864.769
AT ITER 818 NEW BEST:: SOT 13965858 SOS 7237999 HAS SOPS 7237999 HAS SOUS 5000103 HAS SOUPS 5000103 WITH SCORE 5007340.999
AT ITER 821 NEW BEST:: SOT 13965858 SOS 7237135 HAS SOPS 7237135 HAS SOUS 4999238 HAS SOUPS 4999238 WITH SCORE 5006475.135
AT ITER 824 NEW BEST:: SOT 13965329 SOS 7233655 HAS SOPS 7233655 HAS SOUS 4998241 HAS SOUPS 4998241 WITH SCORE 5005474.655
AT ITER 828 NEW BEST:: SOT 13964466 SOS 7230203 HAS SOPS 7230203 HAS SOUS 4996854 HAS SOUPS 4996854 WITH SCORE 5004084.203
AT ITER 832 NEW BEST:: SOT 13964226 SOS 7229243 HAS SOPS 7229243 HAS SOUS 4996613 HAS SOUPS 4996613 WITH SCORE 5003842.243
AT ITER 834 NEW BEST:: SOT 13963640 SOS 7226899 HAS SOPS 7226899 HAS SOUS 4995861 HAS SOUPS 4995861 WITH SCORE 5003087.899
AT ITER 835 NEW BEST:: SOT 13963640 SOS 7226899 HAS SOPS 7226899 HAS SOUS 4995858 HAS SOUPS 4995858 WITH SCORE 5003084.899
AT ITER 837 NEW BEST:: SOT 13963640 SOS 7226899 HAS SOPS 7226899 HAS SOUS 4995700 HAS SOUPS 4995700 WITH SCORE 5002926.899
AT ITER 840 NEW BEST:: SOT 13963155 SOS 7224959 HAS SOPS 7224959 HAS SOUS 4995214 HAS SOUPS 4995214 WITH SCORE 5002438.959
AT ITER 842 NEW BEST:: SOT 13962348 SOS 7221731 HAS SOPS 7221731 HAS SOUS 4993600 HAS SOUPS 4993600 WITH SCORE 5000821.731
AT ITER 843 NEW BEST:: SOT 13962391 SOS 7220630 HAS SOPS 7220630 HAS SOUS 4992637 HAS SOUPS 4992637 WITH SCORE 4999857.63
AT ITER 846 NEW BEST:: SOT 13961929 SOS 7220414 HAS SOPS 7220414 HAS SOUS 4992269 HAS SOUPS 4992269 WITH SCORE 4999489.414
AT ITER 851 NEW BEST:: SOT 13961535 SOS 7220311 HAS SOPS 7220311 HAS SOUS 4991920 HAS SOUPS 4991920 WITH SCORE 4999140.311
AT ITER 852 NEW BEST:: SOT 13958255 SOS 7214794 HAS SOPS 7214794 HAS SOUS 4987000 HAS SOUPS 4987000 WITH SCORE 4994214.794
AT ITER 855 NEW BEST:: SOT 13957601 SOS 7214140 HAS SOPS 7214140 HAS SOUS 4986346 HAS SOUPS 4986346 WITH SCORE 4993560.14
AT ITER 857 NEW BEST:: SOT 13957601 SOS 7214140 HAS SOPS 7214140 HAS SOUS 4986338 HAS SOUPS 4986338 WITH SCORE 4993552.14
AT ITER 862 NEW BEST:: SOT 13956371 SOS 7212375 HAS SOPS 7212375 HAS SOUS 4985113 HAS SOUPS 4985113 WITH SCORE 4992325.375
AT ITER 867 NEW BEST:: SOT 13956371 SOS 7210448 HAS SOPS 7210448 HAS SOUS 4984128 HAS SOUPS 4984128 WITH SCORE 4991338.448
AT ITER 869 NEW BEST:: SOT 13955383 SOS 7208472 HAS SOPS 7208472 HAS SOUS 4983140 HAS SOUPS 4983140 WITH SCORE 4990348.472
AT ITER 871 NEW BEST:: SOT 13954584 SOS 7207856 HAS SOPS 7207856 HAS SOUS 4982506 HAS SOUPS 4982506 WITH SCORE 4989713.856
AT ITER 880 NEW BEST:: SOT 13954744 SOS 7205428 HAS SOPS 7205428 HAS SOUS 4978023 HAS SOUPS 4978023 WITH SCORE 4985228.428
AT ITER 881 NEW BEST:: SOT 13954075 SOS 7202286 HAS SOPS 7202286 HAS SOUS 4977449 HAS SOUPS 4977449 WITH SCORE 4984651.286
AT ITER 883 NEW BEST:: SOT 13953808 SOS 7201531 HAS SOPS 7201531 HAS SOUS 4977182 HAS SOUPS 4977182 WITH SCORE 4984383.531
AT ITER 885 NEW BEST:: SOT 13953565 SOS 7201531 HAS SOPS 7201531 HAS SOUS 4977156 HAS SOUPS 4977156 WITH SCORE 4984357.531
AT ITER 887 NEW BEST:: SOT 13953376 SOS 7201153 HAS SOPS 7201153 HAS SOUS 4976778 HAS SOUPS 4976778 WITH SCORE 4983979.153
AT ITER 892 NEW BEST:: SOT 13951736 SOS 7199826 HAS SOPS 7199826 HAS SOUS 4975268 HAS SOUPS 4975268 WITH SCORE 4982467.826
AT ITER 900 NEW BEST:: SOT 13950530 SOS 7198748 HAS SOPS 7198748 HAS SOUS 4973559 HAS SOUPS 4973559 WITH SCORE 4980757.748
AT ITER 901 NEW BEST:: SOT 13950530 SOS 7198689 HAS SOPS 7198689 HAS SOUS 4973500 HAS SOUPS 4973500 WITH SCORE 4980698.689
AT ITER 904 NEW BEST:: SOT 13950530 SOS 7197832 HAS SOPS 7197832 HAS SOUS 4973149 HAS SOUPS 4973149 WITH SCORE 4980346.832
AT ITER 907 NEW BEST:: SOT 13950251 SOS 7196716 HAS SOPS 7196716 HAS SOUS 4972591 HAS SOUPS 4972591 WITH SCORE 4979787.716
AT ITER 912 NEW BEST:: SOT 13950251 SOS 7196048 HAS SOPS 7196048 HAS SOUS 4972591 HAS SOUPS 4972591 WITH SCORE 4979787.048
AT ITER 913 NEW BEST:: SOT 13950258 SOS 7192394 HAS SOPS 7192394 HAS SOUS 4972479 HAS SOUPS 4972479 WITH SCORE 4979671.394
AT ITER 919 NEW BEST:: SOT 13950129 SOS 7190151 HAS SOPS 7190151 HAS SOUS 4972080 HAS SOUPS 4972080 WITH SCORE 4979270.151
AT ITER 922 NEW BEST:: SOT 13949629 SOS 7190271 HAS SOPS 7190271 HAS SOUS 4971928 HAS SOUPS 4971928 WITH SCORE 4979118.271
AT ITER 923 NEW BEST:: SOT 13950125 SOS 7186357 HAS SOPS 7186357 HAS SOUS 4969881 HAS SOUPS 4969881 WITH SCORE 4977067.357
AT ITER 926 NEW BEST:: SOT 13950125 SOS 7185508 HAS SOPS 7185508 HAS SOUS 4969031 HAS SOUPS 4969031 WITH SCORE 4976216.508
AT ITER 928 NEW BEST:: SOT 13949257 SOS 7182904 HAS SOPS 7182904 HAS SOUS 4967336 HAS SOUPS 4967336 WITH SCORE 4974518.904
AT ITER 930 NEW BEST:: SOT 13949409 SOS 7182717 HAS SOPS 7182717 HAS SOUS 4967147 HAS SOUPS 4967147 WITH SCORE 4974329.717
AT ITER 931 NEW BEST:: SOT 13949003 SOS 7182873 HAS SOPS 7182873 HAS SOUS 4966961 HAS SOUPS 4966961 WITH SCORE 4974143.873
AT ITER 932 NEW BEST:: SOT 13949270 SOS 7183294 HAS SOPS 7183294 HAS SOUS 4966338 HAS SOUPS 4966338 WITH SCORE 4973521.294
AT ITER 937 NEW BEST:: SOT 13949270 SOS 7182717 HAS SOPS 7182717 HAS SOUS 4966269 HAS SOUPS 4966269 WITH SCORE 4973451.717
AT ITER 946 NEW BEST:: SOT 13945898 SOS 7179345 HAS SOPS 7179345 HAS SOUS 4962698 HAS SOUPS 4962698 WITH SCORE 4969877.345
AT ITER 951 NEW BEST:: SOT 13938869 SOS 7165287 HAS SOPS 7165287 HAS SOUS 4955942 HAS SOUPS 4955942 WITH SCORE 4963107.287
AT ITER 955 NEW BEST:: SOT 13938155 SOS 7165753 HAS SOPS 7165753 HAS SOUS 4955781 HAS SOUPS 4955781 WITH SCORE 4962946.753
AT ITER 957 NEW BEST:: SOT 13937595 SOS 7165193 HAS SOPS 7165193 HAS SOUS 4955221 HAS SOUPS 4955221 WITH SCORE 4962386.193
AT ITER 959 NEW BEST:: SOT 13937305 SOS 7164613 HAS SOPS 7164613 HAS SOUS 4955220 HAS SOUPS 4955220 WITH SCORE 4962384.613
AT ITER 961 NEW BEST:: SOT 13937295 SOS 7164603 HAS SOPS 7164603 HAS SOUS 4955210 HAS SOUPS 4955210 WITH SCORE 4962374.603
AT ITER 966 NEW BEST:: SOT 13876530 SOS 7162856 HAS SOPS 7162856 HAS SOUS 4899967 HAS SOUPS 4899967 WITH SCORE 4907129.856
AT ITER 973 NEW BEST:: SOT 13877997 SOS 7161563 HAS SOPS 7161563 HAS SOUS 4897941 HAS SOUPS 4897941 WITH SCORE 4905102.563
AT ITER 975 NEW BEST:: SOT 13877997 SOS 7161563 HAS SOPS 7161563 HAS SOUS 4897513 HAS SOUPS 4897513 WITH SCORE 4904674.563
AT ITER 980 NEW BEST:: SOT 13877997 SOS 7161563 HAS SOPS 7161563 HAS SOUS 4897073 HAS SOUPS 4897073 WITH SCORE 4904234.563
AT ITER 986 NEW BEST:: SOT 13877877 SOS 7161323 HAS SOPS 7161323 HAS SOUS 4896953 HAS SOUPS 4896953 WITH SCORE 4904114.323
AT ITER 992 NEW BEST:: SOT 13877922 SOS 7160039 HAS SOPS 7160039 HAS SOUS 4896585 HAS SOUPS 4896585 WITH SCORE 4903745.039
AT ITER 993 NEW BEST:: SOT 13877309 SOS 7156495 HAS SOPS 7156495 HAS SOUS 4894998 HAS SOUPS 4894998 WITH SCORE 4902154.495
AT ITER 996 NEW BEST:: SOT 13877309 SOS 7155836 HAS SOPS 7155836 HAS SOUS 4894813 HAS SOUPS 4894813 WITH SCORE 4901968.836
AT ITER 1008 NEW BEST:: SOT 13877304 SOS 7155831 HAS SOPS 7155831 HAS SOUS 4894808 HAS SOUPS 4894808 WITH SCORE 4901963.831
AT ITER 1009 NEW BEST:: SOT 13878161 SOS 7154167 HAS SOPS 7154167 HAS SOUS 4893768 HAS SOUPS 4893768 WITH SCORE 4900922.167
AT ITER 1010 NEW BEST:: SOT 13878161 SOS 7153818 HAS SOPS 7153818 HAS SOUS 4893768 HAS SOUPS 4893768 WITH SCORE 4900921.818
AT ITER 1011 NEW BEST:: SOT 13878161 SOS 7153818 HAS SOPS 7153818 HAS SOUS 4893754 HAS SOUPS 4893754 WITH SCORE 4900907.818
AT ITER 1015 NEW BEST:: SOT 13877529 SOS 7153818 HAS SOPS 7153818 HAS SOUS 4893419 HAS SOUPS 4893419 WITH SCORE 4900572.818
AT ITER 1016 NEW BEST:: SOT 13877517 SOS 7153398 HAS SOPS 7153398 HAS SOUS 4893407 HAS SOUPS 4893407 WITH SCORE 4900560.398
AT ITER 1021 NEW BEST:: SOT 13877517 SOS 7153398 HAS SOPS 7153398 HAS SOUS 4893335 HAS SOUPS 4893335 WITH SCORE 4900488.398
AT ITER 1033 NEW BEST:: SOT 13877557 SOS 7152627 HAS SOPS 7152627 HAS SOUS 4893075 HAS SOUPS 4893075 WITH SCORE 4900227.627
AT ITER 1037 NEW BEST:: SOT 13877557 SOS 7150690 HAS SOPS 7150690 HAS SOUS 4890001 HAS SOUPS 4890001 WITH SCORE 4897151.69
AT ITER 1043 NEW BEST:: SOT 13878126 SOS 7150614 HAS SOPS 7150614 HAS SOUS 4889729 HAS SOUPS 4889729 WITH SCORE 4896879.614
AT ITER 1045 NEW BEST:: SOT 13877392 SOS 7148137 HAS SOPS 7148137 HAS SOUS 4888261 HAS SOUPS 4888261 WITH SCORE 4895409.137
AT ITER 1046 NEW BEST:: SOT 13876782 SOS 7143867 HAS SOPS 7143867 HAS SOUS 4885755 HAS SOUPS 4885755 WITH SCORE 4892898.867
AT ITER 1050 NEW BEST:: SOT 13876301 SOS 7142424 HAS SOPS 7142424 HAS SOUS 4885274 HAS SOUPS 4885274 WITH SCORE 4892416.424
AT ITER 1065 NEW BEST:: SOT 13876301 SOS 7142424 HAS SOPS 7142424 HAS SOUS 4885049 HAS SOUPS 4885049 WITH SCORE 4892191.424
AT ITER 1066 NEW BEST:: SOT 13875941 SOS 7142626 HAS SOPS 7142626 HAS SOUS 4884995 HAS SOUPS 4884995 WITH SCORE 4892137.626
AT ITER 1067 NEW BEST:: SOT 13876068 SOS 7140692 HAS SOPS 7140692 HAS SOUS 4884208 HAS SOUPS 4884208 WITH SCORE 4891348.692
AT ITER 1068 NEW BEST:: SOT 13876438 SOS 7139237 HAS SOPS 7139237 HAS SOUS 4884032 HAS SOUPS 4884032 WITH SCORE 4891171.237
AT ITER 1071 NEW BEST:: SOT 13876438 SOS 7137156 HAS SOPS 7137156 HAS SOUS 4881228 HAS SOUPS 4881228 WITH SCORE 4888365.156
AT ITER 1075 NEW BEST:: SOT 13875977 SOS 7137357 HAS SOPS 7137357 HAS SOUS 4881085 HAS SOUPS 4881085 WITH SCORE 4888222.357
AT ITER 1076 NEW BEST:: SOT 13875977 SOS 7136606 HAS SOPS 7136606 HAS SOUS 4881084 HAS SOUPS 4881084 WITH SCORE 4888220.606
AT ITER 1078 NEW BEST:: SOT 13876966 SOS 7138584 HAS SOPS 7138584 HAS SOUS 4879657 HAS SOUPS 4879657 WITH SCORE 4886795.584
AT ITER 1080 NEW BEST:: SOT 13876966 SOS 7138591 HAS SOPS 7138591 HAS SOUS 4877774 HAS SOUPS 4877774 WITH SCORE 4884912.591
AT ITER 1081 NEW BEST:: SOT 13876966 SOS 7138591 HAS SOPS 7138591 HAS SOUS 4877772 HAS SOUPS 4877772 WITH SCORE 4884910.591
AT ITER 1091 NEW BEST:: SOT 13875229 SOS 7135985 HAS SOPS 7135985 HAS SOUS 4875166 HAS SOUPS 4875166 WITH SCORE 4882301.985
AT ITER 1093 NEW BEST:: SOT 13874621 SOS 7133320 HAS SOPS 7133320 HAS SOUS 4874694 HAS SOUPS 4874694 WITH SCORE 4881827.32
AT ITER 1095 NEW BEST:: SOT 13875619 SOS 7133406 HAS SOPS 7133406 HAS SOUS 4872157 HAS SOUPS 4872157 WITH SCORE 4879290.406
AT ITER 1102 NEW BEST:: SOT 13875560 SOS 7133288 HAS SOPS 7133288 HAS SOUS 4872098 HAS SOUPS 4872098 WITH SCORE 4879231.288
AT ITER 1113 NEW BEST:: SOT 13875873 SOS 7134141 HAS SOPS 7134141 HAS SOUS 4871295 HAS SOUPS 4871295 WITH SCORE 4878429.141
AT ITER 1114 NEW BEST:: SOT 13875502 SOS 7134204 HAS SOPS 7134204 HAS SOUS 4871181 HAS SOUPS 4871181 WITH SCORE 4878315.204
AT ITER 1115 NEW BEST:: SOT 13874785 SOS 7133607 HAS SOPS 7133607 HAS SOUS 4870568 HAS SOUPS 4870568 WITH SCORE 4877701.607
AT ITER 1117 NEW BEST:: SOT 13874210 SOS 7130601 HAS SOPS 7130601 HAS SOUS 4870137 HAS SOUPS 4870137 WITH SCORE 4877267.601
AT ITER 1119 NEW BEST:: SOT 13874899 SOS 7130305 HAS SOPS 7130305 HAS SOUS 4869813 HAS SOUPS 4869813 WITH SCORE 4876943.305
AT ITER 1121 NEW BEST:: SOT 13874899 SOS 7130305 HAS SOPS 7130305 HAS SOUS 4869812 HAS SOUPS 4869812 WITH SCORE 4876942.305
AT ITER 1126 NEW BEST:: SOT 13874993 SOS 7128683 HAS SOPS 7128683 HAS SOUS 4868644 HAS SOUPS 4868644 WITH SCORE 4875772.683
AT ITER 1142 NEW BEST:: SOT 13872827 SOS 7128385 HAS SOPS 7128385 HAS SOUS 4868612 HAS SOUPS 4868612 WITH SCORE 4875740.385
AT ITER 1150 NEW BEST:: SOT 13872479 SOS 7127689 HAS SOPS 7127689 HAS SOUS 4868264 HAS SOUPS 4868264 WITH SCORE 4875391.689
AT ITER 1154 NEW BEST:: SOT 13571045 SOS 7549899 HAS SOPS 7549899 HAS SOUS 4575329 HAS SOUPS 4575329 WITH SCORE 4582878.899
AT ITER 1157 NEW BEST:: SOT 13570933 SOS 7546393 HAS SOPS 7546393 HAS SOUS 4575098 HAS SOUPS 4575098 WITH SCORE 4582644.393
AT ITER 1158 NEW BEST:: SOT 13570450 SOS 7545427 HAS SOPS 7545427 HAS SOUS 4574615 HAS SOUPS 4574615 WITH SCORE 4582160.427
AT ITER 1159 NEW BEST:: SOT 13568785 SOS 7542854 HAS SOPS 7542854 HAS SOUS 4572950 HAS SOUPS 4572950 WITH SCORE 4580492.854
AT ITER 1160 NEW BEST:: SOT 13566202 SOS 7539533 HAS SOPS 7539533 HAS SOUS 4571071 HAS SOUPS 4571071 WITH SCORE 4578610.533
AT ITER 1162 NEW BEST:: SOT 13565586 SOS 7537053 HAS SOPS 7537053 HAS SOUS 4569831 HAS SOUPS 4569831 WITH SCORE 4577368.053
AT ITER 1163 NEW BEST:: SOT 13565514 SOS 7536909 HAS SOPS 7536909 HAS SOUS 4569687 HAS SOUPS 4569687 WITH SCORE 4577223.909
AT ITER 1166 NEW BEST:: SOT 13565965 SOS 7537811 HAS SOPS 7537811 HAS SOUS 4569251 HAS SOUPS 4569251 WITH SCORE 4576788.811
AT ITER 1168 NEW BEST:: SOT 13565279 SOS 7535067 HAS SOPS 7535067 HAS SOUS 4568563 HAS SOUPS 4568563 WITH SCORE 4576098.067
AT ITER 1181 NEW BEST:: SOT 13564742 SOS 7533993 HAS SOPS 7533993 HAS SOUS 4567659 HAS SOUPS 4567659 WITH SCORE 4575192.993
AT ITER 1182 NEW BEST:: SOT 13564742 SOS 7533598 HAS SOPS 7533598 HAS SOUS 4567264 HAS SOUPS 4567264 WITH SCORE 4574797.598
AT ITER 1183 NEW BEST:: SOT 13564742 SOS 7532965 HAS SOPS 7532965 HAS SOUS 4567264 HAS SOUPS 4567264 WITH SCORE 4574796.965
AT ITER 1186 NEW BEST:: SOT 13564742 SOS 7532131 HAS SOPS 7532131 HAS SOUS 4567136 HAS SOUPS 4567136 WITH SCORE 4574668.131
AT ITER 1187 NEW BEST:: SOT 13564741 SOS 7532130 HAS SOPS 7532130 HAS SOUS 4567134 HAS SOUPS 4567134 WITH SCORE 4574666.13
AT ITER 1191 NEW BEST:: SOT 13562496 SOS 7528967 HAS SOPS 7528967 HAS SOUS 4564889 HAS SOUPS 4564889 WITH SCORE 4572417.967
AT ITER 1197 NEW BEST:: SOT 13560392 SOS 7525956 HAS SOPS 7525956 HAS SOUS 4562991 HAS SOUPS 4562991 WITH SCORE 4570516.956
AT ITER 1200 NEW BEST:: SOT 13560392 SOS 7525956 HAS SOPS 7525956 HAS SOUS 4562990 HAS SOUPS 4562990 WITH SCORE 4570515.956
AT ITER 1204 NEW BEST:: SOT 13560543 SOS 7525185 HAS SOPS 7525185 HAS SOUS 4562219 HAS SOUPS 4562219 WITH SCORE 4569744.185
AT ITER 1217 NEW BEST:: SOT 13560543 SOS 7523370 HAS SOPS 7523370 HAS SOUS 4562219 HAS SOUPS 4562219 WITH SCORE 4569742.37
AT ITER 1220 NEW BEST:: SOT 13560134 SOS 7522961 HAS SOPS 7522961 HAS SOUS 4561810 HAS SOUPS 4561810 WITH SCORE 4569332.961
AT ITER 1221 NEW BEST:: SOT 13561748 SOS 7523758 HAS SOPS 7523758 HAS SOUS 4561350 HAS SOUPS 4561350 WITH SCORE 4568873.758
AT ITER 1222 NEW BEST:: SOT 13561370 SOS 7522246 HAS SOPS 7522246 HAS SOUS 4560594 HAS SOUPS 4560594 WITH SCORE 4568116.246
AT ITER 1223 NEW BEST:: SOT 13561640 SOS 7518532 HAS SOPS 7518532 HAS SOUS 4559892 HAS SOUPS 4559892 WITH SCORE 4567410.532
AT ITER 1230 NEW BEST:: SOT 13561640 SOS 7518221 HAS SOPS 7518221 HAS SOUS 4559039 HAS SOUPS 4559039 WITH SCORE 4566557.221
AT ITER 1233 NEW BEST:: SOT 13561473 SOS 7518054 HAS SOPS 7518054 HAS SOUS 4559039 HAS SOUPS 4559039 WITH SCORE 4566557.054
AT ITER 1240 NEW BEST:: SOT 13561473 SOS 7518054 HAS SOPS 7518054 HAS SOUS 4558561 HAS SOUPS 4558561 WITH SCORE 4566079.054
AT ITER 1253 NEW BEST:: SOT 13562513 SOS 7518529 HAS SOPS 7518529 HAS SOUS 4558510 HAS SOUPS 4558510 WITH SCORE 4566028.529
AT ITER 1255 NEW BEST:: SOT 13558966 SOS 7514064 HAS SOPS 7514064 HAS SOUS 4554963 HAS SOUPS 4554963 WITH SCORE 4562477.064
AT ITER 1260 NEW BEST:: SOT 13558966 SOS 7514064 HAS SOPS 7514064 HAS SOUS 4554667 HAS SOUPS 4554667 WITH SCORE 4562181.064
AT ITER 1266 NEW BEST:: SOT 13557964 SOS 7513062 HAS SOPS 7513062 HAS SOUS 4553665 HAS SOUPS 4553665 WITH SCORE 4561178.062
AT ITER 1267 NEW BEST:: SOT 13556810 SOS 7513313 HAS SOPS 7513313 HAS SOUS 4553102 HAS SOUPS 4553102 WITH SCORE 4560615.313
AT ITER 1268 NEW BEST:: SOT 13555533 SOS 7511775 HAS SOPS 7511775 HAS SOUS 4551825 HAS SOUPS 4551825 WITH SCORE 4559336.775
AT ITER 1269 NEW BEST:: SOT 13554907 SOS 7511795 HAS SOPS 7511795 HAS SOUS 4551523 HAS SOUPS 4551523 WITH SCORE 4559034.795
AT ITER 1273 NEW BEST:: SOT 13554907 SOS 7510932 HAS SOPS 7510932 HAS SOUS 4550690 HAS SOUPS 4550690 WITH SCORE 4558200.932
AT ITER 1277 NEW BEST:: SOT 13550331 SOS 7503456 HAS SOPS 7503456 HAS SOUS 4544438 HAS SOUPS 4544438 WITH SCORE 4551941.456
AT ITER 1280 NEW BEST:: SOT 13549710 SOS 7500972 HAS SOPS 7500972 HAS SOUS 4543816 HAS SOUPS 4543816 WITH SCORE 4551316.972
AT ITER 1282 NEW BEST:: SOT 13548468 SOS 7498488 HAS SOPS 7498488 HAS SOUS 4540083 HAS SOUPS 4540083 WITH SCORE 4547581.488
AT ITER 1284 NEW BEST:: SOT 13547994 SOS 7496592 HAS SOPS 7496592 HAS SOUS 4539609 HAS SOUPS 4539609 WITH SCORE 4547105.592
AT ITER 1290 NEW BEST:: SOT 13547720 SOS 7496044 HAS SOPS 7496044 HAS SOUS 4537970 HAS SOUPS 4537970 WITH SCORE 4545466.044
AT ITER 1292 NEW BEST:: SOT 13547199 SOS 7493960 HAS SOPS 7493960 HAS SOUS 4537265 HAS SOUPS 4537265 WITH SCORE 4544758.96
AT ITER 1293 NEW BEST:: SOT 13547199 SOS 7493960 HAS SOPS 7493960 HAS SOUS 4536860 HAS SOUPS 4536860 WITH SCORE 4544353.96
AT ITER 1295 NEW BEST:: SOT 13548111 SOS 7494469 HAS SOPS 7494469 HAS SOUS 4534732 HAS SOUPS 4534732 WITH SCORE 4542226.469
AT ITER 1296 NEW BEST:: SOT 13548111 SOS 7494221 HAS SOPS 7494221 HAS SOUS 4534732 HAS SOUPS 4534732 WITH SCORE 4542226.221
AT ITER 1301 NEW BEST:: SOT 13548111 SOS 7494221 HAS SOPS 7494221 HAS SOUS 4534730 HAS SOUPS 4534730 WITH SCORE 4542224.221
AT ITER 1305 NEW BEST:: SOT 13547395 SOS 7491540 HAS SOPS 7491540 HAS SOUS 4534014 HAS SOUPS 4534014 WITH SCORE 4541505.54
AT ITER 1306 NEW BEST:: SOT 13546955 SOS 7491100 HAS SOPS 7491100 HAS SOUS 4533794 HAS SOUPS 4533794 WITH SCORE 4541285.1
AT ITER 1308 NEW BEST:: SOT 13546955 SOS 7491100 HAS SOPS 7491100 HAS SOUS 4533793 HAS SOUPS 4533793 WITH SCORE 4541284.1
AT ITER 1309 NEW BEST:: SOT 13546707 SOS 7490604 HAS SOPS 7490604 HAS SOUS 4533297 HAS SOUPS 4533297 WITH SCORE 4540787.604
AT ITER 1311 NEW BEST:: SOT 13546707 SOS 7490604 HAS SOPS 7490604 HAS SOUS 4532458 HAS SOUPS 4532458 WITH SCORE 4539948.604
AT ITER 1315 NEW BEST:: SOT 13545957 SOS 7489104 HAS SOPS 7489104 HAS SOUS 4532411 HAS SOUPS 4532411 WITH SCORE 4539900.104
AT ITER 1321 NEW BEST:: SOT 13545957 SOS 7489104 HAS SOPS 7489104 HAS SOUS 4532327 HAS SOUPS 4532327 WITH SCORE 4539816.104
AT ITER 1325 NEW BEST:: SOT 13545957 SOS 7488680 HAS SOPS 7488680 HAS SOUS 4532324 HAS SOUPS 4532324 WITH SCORE 4539812.68
AT ITER 1328 NEW BEST:: SOT 13546555 SOS 7489876 HAS SOPS 7489876 HAS SOUS 4531433 HAS SOUPS 4531433 WITH SCORE 4538922.876
AT ITER 1331 NEW BEST:: SOT 13546031 SOS 7488828 HAS SOPS 7488828 HAS SOUS 4530909 HAS SOUPS 4530909 WITH SCORE 4538397.828
AT ITER 1339 NEW BEST:: SOT 13544432 SOS 7486415 HAS SOPS 7486415 HAS SOUS 4529310 HAS SOUPS 4529310 WITH SCORE 4536796.415
AT ITER 1345 NEW BEST:: SOT 13543914 SOS 7484343 HAS SOPS 7484343 HAS SOUS 4528791 HAS SOUPS 4528791 WITH SCORE 4536275.343
AT ITER 1359 NEW BEST:: SOT 13543089 SOS 7483243 HAS SOPS 7483243 HAS SOUS 4527966 HAS SOUPS 4527966 WITH SCORE 4535449.243
AT ITER 1363 NEW BEST:: SOT 13543089 SOS 7483243 HAS SOPS 7483243 HAS SOUS 4527634 HAS SOUPS 4527634 WITH SCORE 4535117.243
AT ITER 1366 NEW BEST:: SOT 13542756 SOS 7479406 HAS SOPS 7479406 HAS SOUS 4526041 HAS SOUPS 4526041 WITH SCORE 4533520.406
AT ITER 1367 NEW BEST:: SOT 13543387 SOS 7478295 HAS SOPS 7478295 HAS SOUS 4525391 HAS SOUPS 4525391 WITH SCORE 4532869.295
AT ITER 1368 NEW BEST:: SOT 13542317 SOS 7476551 HAS SOPS 7476551 HAS SOUS 4524321 HAS SOUPS 4524321 WITH SCORE 4531797.551
AT ITER 1371 NEW BEST:: SOT 13542317 SOS 7476551 HAS SOPS 7476551 HAS SOUS 4523917 HAS SOUPS 4523917 WITH SCORE 4531393.551
AT ITER 1374 NEW BEST:: SOT 13542317 SOS 7476551 HAS SOPS 7476551 HAS SOUS 4523916 HAS SOUPS 4523916 WITH SCORE 4531392.551
AT ITER 1375 NEW BEST:: SOT 13507458 SOS 7444848 HAS SOPS 7444848 HAS SOUS 4490470 HAS SOUPS 4490470 WITH SCORE 4497914.848
AT ITER 1377 NEW BEST:: SOT 13507417 SOS 7444807 HAS SOPS 7444807 HAS SOUS 4490388 HAS SOUPS 4490388 WITH SCORE 4497832.807
AT ITER 1379 NEW BEST:: SOT 13507012 SOS 7444359 HAS SOPS 7444359 HAS SOUS 4489983 HAS SOUPS 4489983 WITH SCORE 4497427.359
AT ITER 1380 NEW BEST:: SOT 13506374 SOS 7439920 HAS SOPS 7439920 HAS SOUS 4488324 HAS SOUPS 4488324 WITH SCORE 4495763.92
AT ITER 1384 NEW BEST:: SOT 13505775 SOS 7438123 HAS SOPS 7438123 HAS SOUS 4487126 HAS SOUPS 4487126 WITH SCORE 4494564.123
AT ITER 1385 NEW BEST:: SOT 13505373 SOS 7436515 HAS SOPS 7436515 HAS SOUS 4486322 HAS SOUPS 4486322 WITH SCORE 4493758.515
AT ITER 1388 NEW BEST:: SOT 13505373 SOS 7435885 HAS SOPS 7435885 HAS SOUS 4485323 HAS SOUPS 4485323 WITH SCORE 4492758.885
AT ITER 1391 NEW BEST:: SOT 13504790 SOS 7434719 HAS SOPS 7434719 HAS SOUS 4484740 HAS SOUPS 4484740 WITH SCORE 4492174.719
AT ITER 1395 NEW BEST:: SOT 13503114 SOS 7433250 HAS SOPS 7433250 HAS SOUS 4483064 HAS SOUPS 4483064 WITH SCORE 4490497.25
AT ITER 1397 NEW BEST:: SOT 13503114 SOS 7433250 HAS SOPS 7433250 HAS SOUS 4482794 HAS SOUPS 4482794 WITH SCORE 4490227.25
AT ITER 1398 NEW BEST:: SOT 13504242 SOS 7432875 HAS SOPS 7432875 HAS SOUS 4481104 HAS SOUPS 4481104 WITH SCORE 4488536.875
AT ITER 1399 NEW BEST:: SOT 13504209 SOS 7432842 HAS SOPS 7432842 HAS SOUS 4481053 HAS SOUPS 4481053 WITH SCORE 4488485.842
AT ITER 1404 NEW BEST:: SOT 13504209 SOS 7433024 HAS SOPS 7433024 HAS SOUS 4480991 HAS SOUPS 4480991 WITH SCORE 4488424.024
AT ITER 1405 NEW BEST:: SOT 13502578 SOS 7429762 HAS SOPS 7429762 HAS SOUS 4479937 HAS SOUPS 4479937 WITH SCORE 4487366.762
AT ITER 1410 NEW BEST:: SOT 13502578 SOS 7429762 HAS SOPS 7429762 HAS SOUS 4479935 HAS SOUPS 4479935 WITH SCORE 4487364.762
AT ITER 1412 NEW BEST:: SOT 13501935 SOS 7424844 HAS SOPS 7424844 HAS SOUS 4478238 HAS SOUPS 4478238 WITH SCORE 4485662.844
AT ITER 1417 NEW BEST:: SOT 13500470 SOS 7423379 HAS SOPS 7423379 HAS SOUS 4477530 HAS SOUPS 4477530 WITH SCORE 4484953.379
AT ITER 1420 NEW BEST:: SOT 13499090 SOS 7417389 HAS SOPS 7417389 HAS SOUS 4473637 HAS SOUPS 4473637 WITH SCORE 4481054.389
AT ITER 1426 NEW BEST:: SOT 13499223 SOS 7414519 HAS SOPS 7414519 HAS SOUS 4472941 HAS SOUPS 4472941 WITH SCORE 4480355.519
AT ITER 1427 NEW BEST:: SOT 13499645 SOS 7414160 HAS SOPS 7414160 HAS SOUS 4472160 HAS SOUPS 4472160 WITH SCORE 4479574.16
AT ITER 1430 NEW BEST:: SOT 13498900 SOS 7412670 HAS SOPS 7412670 HAS SOUS 4470670 HAS SOUPS 4470670 WITH SCORE 4478082.67
AT ITER 1436 NEW BEST:: SOT 13498723 SOS 7411771 HAS SOPS 7411771 HAS SOUS 4470493 HAS SOUPS 4470493 WITH SCORE 4477904.771
AT ITER 1438 NEW BEST:: SOT 13498723 SOS 7411770 HAS SOPS 7411770 HAS SOUS 4469538 HAS SOUPS 4469538 WITH SCORE 4476949.77
AT ITER 1440 NEW BEST:: SOT 13497509 SOS 7409342 HAS SOPS 7409342 HAS SOUS 4468830 HAS SOUPS 4468830 WITH SCORE 4476239.342
AT ITER 1443 NEW BEST:: SOT 13495459 SOS 7407020 HAS SOPS 7407020 HAS SOUS 4467876 HAS SOUPS 4467876 WITH SCORE 4475283.02
AT ITER 1445 NEW BEST:: SOT 13495827 SOS 7407189 HAS SOPS 7407189 HAS SOUS 4467325 HAS SOUPS 4467325 WITH SCORE 4474732.189
AT ITER 1453 NEW BEST:: SOT 13494786 SOS 7406819 HAS SOPS 7406819 HAS SOUS 4466283 HAS SOUPS 4466283 WITH SCORE 4473689.819
AT ITER 1456 NEW BEST:: SOT 13494924 SOS 7406350 HAS SOPS 7406350 HAS SOUS 4465676 HAS SOUPS 4465676 WITH SCORE 4473082.35
AT ITER 1462 NEW BEST:: SOT 13494437 SOS 7405376 HAS SOPS 7405376 HAS SOUS 4465189 HAS SOUPS 4465189 WITH SCORE 4472594.376
AT ITER 1463 NEW BEST:: SOT 13493551 SOS 7403604 HAS SOPS 7403604 HAS SOUS 4463741 HAS SOUPS 4463741 WITH SCORE 4471144.604
AT ITER 1466 NEW BEST:: SOT 13493551 SOS 7401212 HAS SOPS 7401212 HAS SOUS 4459821 HAS SOUPS 4459821 WITH SCORE 4467222.212
AT ITER 1471 NEW BEST:: SOT 13493171 SOS 7400452 HAS SOPS 7400452 HAS SOUS 4458793 HAS SOUPS 4458793 WITH SCORE 4466193.452
AT ITER 1473 NEW BEST:: SOT 13492916 SOS 7399942 HAS SOPS 7399942 HAS SOUS 4458283 HAS SOUPS 4458283 WITH SCORE 4465682.942
AT ITER 1480 NEW BEST:: SOT 13491980 SOS 7398179 HAS SOPS 7398179 HAS SOUS 4457347 HAS SOUPS 4457347 WITH SCORE 4464745.179
AT ITER 1484 NEW BEST:: SOT 13491907 SOS 7396075 HAS SOPS 7396075 HAS SOUS 4456979 HAS SOUPS 4456979 WITH SCORE 4464375.075
AT ITER 1492 NEW BEST:: SOT 13489673 SOS 7393891 HAS SOPS 7393891 HAS SOUS 4453363 HAS SOUPS 4453363 WITH SCORE 4460756.891
AT ITER 1493 NEW BEST:: SOT 13487818 SOS 7391353 HAS SOPS 7391353 HAS SOUS 4451508 HAS SOUPS 4451508 WITH SCORE 4458899.353
AT ITER 1498 NEW BEST:: SOT 13487818 SOS 7391244 HAS SOPS 7391244 HAS SOUS 4451290 HAS SOUPS 4451290 WITH SCORE 4458681.244
AT ITER 1503 NEW BEST:: SOT 13487614 SOS 7390836 HAS SOPS 7390836 HAS SOUS 4451086 HAS SOUPS 4451086 WITH SCORE 4458476.836
AT ITER 1506 NEW BEST:: SOT 13487937 SOS 7389329 HAS SOPS 7389329 HAS SOUS 4450151 HAS SOUPS 4450151 WITH SCORE 4457540.329
AT ITER 1512 NEW BEST:: SOT 13487372 SOS 7373518 HAS SOPS 7373518 HAS SOUS 4449583 HAS SOUPS 4449583 WITH SCORE 4456956.518
AT ITER 1515 NEW BEST:: SOT 13487372 SOS 7373518 HAS SOPS 7373518 HAS SOUS 4449568 HAS SOUPS 4449568 WITH SCORE 4456941.518
AT ITER 1524 NEW BEST:: SOT 13487372 SOS 7372927 HAS SOPS 7372927 HAS SOUS 4448436 HAS SOUPS 4448436 WITH SCORE 4455808.927
AT ITER 1525 NEW BEST:: SOT 13487372 SOS 7372927 HAS SOPS 7372927 HAS SOUS 4448137 HAS SOUPS 4448137 WITH SCORE 4455509.927
AT ITER 1528 NEW BEST:: SOT 13487372 SOS 7372747 HAS SOPS 7372747 HAS SOUS 4447957 HAS SOUPS 4447957 WITH SCORE 4455329.747
AT ITER 1530 NEW BEST:: SOT 13487815 SOS 7371625 HAS SOPS 7371625 HAS SOUS 4447802 HAS SOUPS 4447802 WITH SCORE 4455173.625
AT ITER 1534 NEW BEST:: SOT 13487769 SOS 7371432 HAS SOPS 7371432 HAS SOUS 4447554 HAS SOUPS 4447554 WITH SCORE 4454925.432
AT ITER 1535 NEW BEST:: SOT 13485259 SOS 7369129 HAS SOPS 7369129 HAS SOUS 4445082 HAS SOUPS 4445082 WITH SCORE 4452451.129
AT ITER 1536 NEW BEST:: SOT 13484456 SOS 7367522 HAS SOPS 7367522 HAS SOUS 4445081 HAS SOUPS 4445081 WITH SCORE 4452448.522
AT ITER 1545 NEW BEST:: SOT 13484456 SOS 7366908 HAS SOPS 7366908 HAS SOUS 4444467 HAS SOUPS 4444467 WITH SCORE 4451833.908
AT ITER 1546 NEW BEST:: SOT 13483581 SOS 7365164 HAS SOPS 7365164 HAS SOUS 4443592 HAS SOUPS 4443592 WITH SCORE 4450957.164
AT ITER 1547 NEW BEST:: SOT 13483416 SOS 7364950 HAS SOPS 7364950 HAS SOUS 4443427 HAS SOUPS 4443427 WITH SCORE 4450791.95
AT ITER 1551 NEW BEST:: SOT 13483416 SOS 7363938 HAS SOPS 7363938 HAS SOUS 4441647 HAS SOUPS 4441647 WITH SCORE 4449010.938
AT ITER 1552 NEW BEST:: SOT 13483416 SOS 7364447 HAS SOPS 7364447 HAS SOUS 4441646 HAS SOUPS 4441646 WITH SCORE 4449010.447
AT ITER 1553 NEW BEST:: SOT 13483416 SOS 7364006 HAS SOPS 7364006 HAS SOUS 4441646 HAS SOUPS 4441646 WITH SCORE 4449010.006
AT ITER 1566 NEW BEST:: SOT 13483825 SOS 7364824 HAS SOPS 7364824 HAS SOUS 4440453 HAS SOUPS 4440453 WITH SCORE 4447817.824
AT ITER 1567 NEW BEST:: SOT 13483938 SOS 7361816 HAS SOPS 7361816 HAS SOUS 4439806 HAS SOUPS 4439806 WITH SCORE 4447167.816
AT ITER 1576 NEW BEST:: SOT 13483011 SOS 7361618 HAS SOPS 7361618 HAS SOUS 4439243 HAS SOUPS 4439243 WITH SCORE 4446604.618
AT ITER 1577 NEW BEST:: SOT 13482629 SOS 7360854 HAS SOPS 7360854 HAS SOUS 4438479 HAS SOUPS 4438479 WITH SCORE 4445839.854
AT ITER 1578 NEW BEST:: SOT 13482183 SOS 7360408 HAS SOPS 7360408 HAS SOUS 4438033 HAS SOUPS 4438033 WITH SCORE 4445393.408
AT ITER 1579 NEW BEST:: SOT 13482214 SOS 7360377 HAS SOPS 7360377 HAS SOUS 4437971 HAS SOUPS 4437971 WITH SCORE 4445331.377
AT ITER 1582 NEW BEST:: SOT 13481292 SOS 7358533 HAS SOPS 7358533 HAS SOUS 4437048 HAS SOUPS 4437048 WITH SCORE 4444406.533
AT ITER 1584 NEW BEST:: SOT 13481207 SOS 7358363 HAS SOPS 7358363 HAS SOUS 4436963 HAS SOUPS 4436963 WITH SCORE 4444321.363
AT ITER 1586 NEW BEST:: SOT 13481103 SOS 7361050 HAS SOPS 7361050 HAS SOUS 4436530 HAS SOUPS 4436530 WITH SCORE 4443891.05
AT ITER 1588 NEW BEST:: SOT 13480241 SOS 7360188 HAS SOPS 7360188 HAS SOUS 4436099 HAS SOUPS 4436099 WITH SCORE 4443459.188
AT ITER 1591 NEW BEST:: SOT 13480175 SOS 7360859 HAS SOPS 7360859 HAS SOUS 4436033 HAS SOUPS 4436033 WITH SCORE 4443393.859
AT ITER 1593 NEW BEST:: SOT 13480175 SOS 7360538 HAS SOPS 7360538 HAS SOUS 4435391 HAS SOUPS 4435391 WITH SCORE 4442751.538
AT ITER 1597 NEW BEST:: SOT 13480175 SOS 7360434 HAS SOPS 7360434 HAS SOUS 4435183 HAS SOUPS 4435183 WITH SCORE 4442543.434
AT ITER 1611 NEW BEST:: SOT 13479245 SOS 7359504 HAS SOPS 7359504 HAS SOUS 4434718 HAS SOUPS 4434718 WITH SCORE 4442077.504
AT ITER 1620 NEW BEST:: SOT 13479245 SOS 7359504 HAS SOPS 7359504 HAS SOUS 4434686 HAS SOUPS 4434686 WITH SCORE 4442045.504
AT ITER 1627 NEW BEST:: SOT 13478625 SOS 7358884 HAS SOPS 7358884 HAS SOUS 4434607 HAS SOUPS 4434607 WITH SCORE 4441965.884
AT ITER 1630 NEW BEST:: SOT 13480222 SOS 7360415 HAS SOPS 7360415 HAS SOUS 4434228 HAS SOUPS 4434228 WITH SCORE 4441588.415
AT ITER 1634 NEW BEST:: SOT 13478740 SOS 7357451 HAS SOPS 7357451 HAS SOUS 4430729 HAS SOUPS 4430729 WITH SCORE 4438086.451
AT ITER 1635 NEW BEST:: SOT 13478250 SOS 7356471 HAS SOPS 7356471 HAS SOUS 4430611 HAS SOUPS 4430611 WITH SCORE 4437967.471
AT ITER 1639 NEW BEST:: SOT 13478213 SOS 7354194 HAS SOPS 7354194 HAS SOUS 4430078 HAS SOUPS 4430078 WITH SCORE 4437432.194
AT ITER 1640 NEW BEST:: SOT 13477071 SOS 7353052 HAS SOPS 7353052 HAS SOUS 4428780 HAS SOUPS 4428780 WITH SCORE 4436133.052
AT ITER 1646 NEW BEST:: SOT 13477071 SOS 7353052 HAS SOPS 7353052 HAS SOUS 4428779 HAS SOUPS 4428779 WITH SCORE 4436132.052
AT ITER 1647 NEW BEST:: SOT 13476576 SOS 7352062 HAS SOPS 7352062 HAS SOUS 4428284 HAS SOUPS 4428284 WITH SCORE 4435636.062
AT ITER 1650 NEW BEST:: SOT 13476576 SOS 7350234 HAS SOPS 7350234 HAS SOUS 4427481 HAS SOUPS 4427481 WITH SCORE 4434831.234
AT ITER 1652 NEW BEST:: SOT 13476576 SOS 7349826 HAS SOPS 7349826 HAS SOUS 4427073 HAS SOUPS 4427073 WITH SCORE 4434422.826
AT ITER 1653 NEW BEST:: SOT 13476091 SOS 7349790 HAS SOPS 7349790 HAS SOUS 4426737 HAS SOUPS 4426737 WITH SCORE 4434086.79
AT ITER 1654 NEW BEST:: SOT 13476091 SOS 7349790 HAS SOPS 7349790 HAS SOUS 4426565 HAS SOUPS 4426565 WITH SCORE 4433914.79
AT ITER 1674 NEW BEST:: SOT 13475999 SOS 7349606 HAS SOPS 7349606 HAS SOUS 4426467 HAS SOUPS 4426467 WITH SCORE 4433816.606
AT ITER 1678 NEW BEST:: SOT 13474727 SOS 7347062 HAS SOPS 7347062 HAS SOUS 4425364 HAS SOUPS 4425364 WITH SCORE 4432711.062
AT ITER 1679 NEW BEST:: SOT 13467271 SOS 7364805 HAS SOPS 7364805 HAS SOUS 4420177 HAS SOUPS 4420177 WITH SCORE 4427541.805
AT ITER 1680 NEW BEST:: SOT 13465498 SOS 7363556 HAS SOPS 7363556 HAS SOUS 4419959 HAS SOUPS 4419959 WITH SCORE 4427322.556
AT ITER 1682 NEW BEST:: SOT 13465498 SOS 7361997 HAS SOPS 7361997 HAS SOUS 4418285 HAS SOUPS 4418285 WITH SCORE 4425646.997
AT ITER 1687 NEW BEST:: SOT 13465325 SOS 7361824 HAS SOPS 7361824 HAS SOUS 4417670 HAS SOUPS 4417670 WITH SCORE 4425031.824
AT ITER 1688 NEW BEST:: SOT 13465325 SOS 7361824 HAS SOPS 7361824 HAS SOUS 4417610 HAS SOUPS 4417610 WITH SCORE 4424971.824
AT ITER 1701 NEW BEST:: SOT 13464452 SOS 7358332 HAS SOPS 7358332 HAS SOUS 4416737 HAS SOUPS 4416737 WITH SCORE 4424095.332
AT ITER 1705 NEW BEST:: SOT 13462508 SOS 7355479 HAS SOPS 7355479 HAS SOUS 4415307 HAS SOUPS 4415307 WITH SCORE 4422662.479
AT ITER 1706 NEW BEST:: SOT 13462508 SOS 7355479 HAS SOPS 7355479 HAS SOUS 4415050 HAS SOUPS 4415050 WITH SCORE 4422405.479
AT ITER 1707 NEW BEST:: SOT 13462508 SOS 7355479 HAS SOPS 7355479 HAS SOUS 4415047 HAS SOUPS 4415047 WITH SCORE 4422402.479
AT ITER 1710 NEW BEST:: SOT 13462753 SOS 7351417 HAS SOPS 7351417 HAS SOUS 4412374 HAS SOUPS 4412374 WITH SCORE 4419725.417
AT ITER 1712 NEW BEST:: SOT 13463235 SOS 7349068 HAS SOPS 7349068 HAS SOUS 4412266 HAS SOUPS 4412266 WITH SCORE 4419615.068
AT ITER 1715 NEW BEST:: SOT 13462646 SOS 7348479 HAS SOPS 7348479 HAS SOUS 4411677 HAS SOUPS 4411677 WITH SCORE 4419025.479
AT ITER 1717 NEW BEST:: SOT 13460501 SOS 7345427 HAS SOPS 7345427 HAS SOUS 4409568 HAS SOUPS 4409568 WITH SCORE 4416913.427
AT ITER 1718 NEW BEST:: SOT 13460832 SOS 7345321 HAS SOPS 7345321 HAS SOUS 4409371 HAS SOUPS 4409371 WITH SCORE 4416716.321
AT ITER 1723 NEW BEST:: SOT 13460301 SOS 7344790 HAS SOPS 7344790 HAS SOUS 4408877 HAS SOUPS 4408877 WITH SCORE 4416221.79
AT ITER 1728 NEW BEST:: SOT 13460486 SOS 7343237 HAS SOPS 7343237 HAS SOUS 4408007 HAS SOUPS 4408007 WITH SCORE 4415350.237
AT ITER 1735 NEW BEST:: SOT 13460194 SOS 7342314 HAS SOPS 7342314 HAS SOUS 4407421 HAS SOUPS 4407421 WITH SCORE 4414763.314
AT ITER 1737 NEW BEST:: SOT 13459720 SOS 7341353 HAS SOPS 7341353 HAS SOUS 4406231 HAS SOUPS 4406231 WITH SCORE 4413572.353
AT ITER 1742 NEW BEST:: SOT 13459720 SOS 7341353 HAS SOPS 7341353 HAS SOUS 4405158 HAS SOUPS 4405158 WITH SCORE 4412499.353
AT ITER 1746 NEW BEST:: SOT 13459720 SOS 7340709 HAS SOPS 7340709 HAS SOUS 4404025 HAS SOUPS 4404025 WITH SCORE 4411365.709
AT ITER 1747 NEW BEST:: SOT 13459218 SOS 7339705 HAS SOPS 7339705 HAS SOUS 4404023 HAS SOUPS 4404023 WITH SCORE 4411362.705
AT ITER 1754 NEW BEST:: SOT 13459218 SOS 7339209 HAS SOPS 7339209 HAS SOUS 4404023 HAS SOUPS 4404023 WITH SCORE 4411362.209
AT ITER 1761 NEW BEST:: SOT 13459069 SOS 7337145 HAS SOPS 7337145 HAS SOUS 4403795 HAS SOUPS 4403795 WITH SCORE 4411132.145
AT ITER 1765 NEW BEST:: SOT 13459270 SOS 7335778 HAS SOPS 7335778 HAS SOUS 4401115 HAS SOUPS 4401115 WITH SCORE 4408450.778
AT ITER 1766 NEW BEST:: SOT 13459270 SOS 7335778 HAS SOPS 7335778 HAS SOUS 4400966 HAS SOUPS 4400966 WITH SCORE 4408301.778
AT ITER 1771 NEW BEST:: SOT 13457771 SOS 7334444 HAS SOPS 7334444 HAS SOUS 4400675 HAS SOUPS 4400675 WITH SCORE 4408009.444
AT ITER 1778 NEW BEST:: SOT 13457771 SOS 7332181 HAS SOPS 7332181 HAS SOUS 4398871 HAS SOUPS 4398871 WITH SCORE 4406203.181
AT ITER 1781 NEW BEST:: SOT 13458505 SOS 7333649 HAS SOPS 7333649 HAS SOUS 4398186 HAS SOUPS 4398186 WITH SCORE 4405519.649
AT ITER 1784 NEW BEST:: SOT 13458763 SOS 7335100 HAS SOPS 7335100 HAS SOUS 4397767 HAS SOUPS 4397767 WITH SCORE 4405102.1
AT ITER 1785 NEW BEST:: SOT 13458533 SOS 7334017 HAS SOPS 7334017 HAS SOUS 4397534 HAS SOUPS 4397534 WITH SCORE 4404868.017
AT ITER 1789 NEW BEST:: SOT 13458400 SOS 7333485 HAS SOPS 7333485 HAS SOUS 4397401 HAS SOUPS 4397401 WITH SCORE 4404734.485
AT ITER 1792 NEW BEST:: SOT 13458400 SOS 7332512 HAS SOPS 7332512 HAS SOUS 4395636 HAS SOUPS 4395636 WITH SCORE 4402968.512
AT ITER 1794 NEW BEST:: SOT 13458452 SOS 7332564 HAS SOPS 7332564 HAS SOUS 4395334 HAS SOUPS 4395334 WITH SCORE 4402666.564
AT ITER 1799 NEW BEST:: SOT 13457150 SOS 7331262 HAS SOPS 7331262 HAS SOUS 4394633 HAS SOUPS 4394633 WITH SCORE 4401964.262
AT ITER 1801 NEW BEST:: SOT 13457371 SOS 7330560 HAS SOPS 7330560 HAS SOUS 4393980 HAS SOUPS 4393980 WITH SCORE 4401310.56
AT ITER 1803 NEW BEST:: SOT 13457097 SOS 7330162 HAS SOPS 7330162 HAS SOUS 4393706 HAS SOUPS 4393706 WITH SCORE 4401036.162
AT ITER 1805 NEW BEST:: SOT 13457097 SOS 7331033 HAS SOPS 7331033 HAS SOUS 4393692 HAS SOUPS 4393692 WITH SCORE 4401023.033
AT ITER 1821 NEW BEST:: SOT 13457410 SOS 7328350 HAS SOPS 7328350 HAS SOUS 4393337 HAS SOUPS 4393337 WITH SCORE 4400665.35
AT ITER 1830 NEW BEST:: SOT 13457472 SOS 7328412 HAS SOPS 7328412 HAS SOUS 4392528 HAS SOUPS 4392528 WITH SCORE 4399856.412
AT ITER 1831 NEW BEST:: SOT 13457331 SOS 7328130 HAS SOPS 7328130 HAS SOUS 4391358 HAS SOUPS 4391358 WITH SCORE 4398686.13
AT ITER 1834 NEW BEST:: SOT 13456460 SOS 7326454 HAS SOPS 7326454 HAS SOUS 4391169 HAS SOUPS 4391169 WITH SCORE 4398495.454
AT ITER 1837 NEW BEST:: SOT 13457617 SOS 7326064 HAS SOPS 7326064 HAS SOUS 4390779 HAS SOUPS 4390779 WITH SCORE 4398105.064
AT ITER 1841 NEW BEST:: SOT 13457617 SOS 7325622 HAS SOPS 7325622 HAS SOUS 4390337 HAS SOUPS 4390337 WITH SCORE 4397662.622
AT ITER 1849 NEW BEST:: SOT 13457617 SOS 7325317 HAS SOPS 7325317 HAS SOUS 4390335 HAS SOUPS 4390335 WITH SCORE 4397660.317
AT ITER 1851 NEW BEST:: SOT 13457434 SOS 7324951 HAS SOPS 7324951 HAS SOUS 4390152 HAS SOUPS 4390152 WITH SCORE 4397476.951
AT ITER 1854 NEW BEST:: SOT 13457183 SOS 7324449 HAS SOPS 7324449 HAS SOUS 4389901 HAS SOUPS 4389901 WITH SCORE 4397225.449
AT ITER 1856 NEW BEST:: SOT 13457183 SOS 7324412 HAS SOPS 7324412 HAS SOUS 4389901 HAS SOUPS 4389901 WITH SCORE 4397225.412
AT ITER 1859 NEW BEST:: SOT 13457147 SOS 7324376 HAS SOPS 7324376 HAS SOUS 4389865 HAS SOUPS 4389865 WITH SCORE 4397189.376
AT ITER 1861 NEW BEST:: SOT 13458138 SOS 7323825 HAS SOPS 7323825 HAS SOUS 4388784 HAS SOUPS 4388784 WITH SCORE 4396107.825
AT ITER 1865 NEW BEST:: SOT 13457603 SOS 7322755 HAS SOPS 7322755 HAS SOUS 4388249 HAS SOUPS 4388249 WITH SCORE 4395571.755
AT ITER 1867 NEW BEST:: SOT 13457256 SOS 7323654 HAS SOPS 7323654 HAS SOUS 4388233 HAS SOUPS 4388233 WITH SCORE 4395556.654
AT ITER 1869 NEW BEST:: SOT 13457125 SOS 7323523 HAS SOPS 7323523 HAS SOUS 4388102 HAS SOUPS 4388102 WITH SCORE 4395425.523
AT ITER 1870 NEW BEST:: SOT 13456794 SOS 7323192 HAS SOPS 7323192 HAS SOUS 4387771 HAS SOUPS 4387771 WITH SCORE 4395094.192
AT ITER 1874 NEW BEST:: SOT 13456794 SOS 7323192 HAS SOPS 7323192 HAS SOUS 4387594 HAS SOUPS 4387594 WITH SCORE 4394917.192
AT ITER 1877 NEW BEST:: SOT 13456927 SOS 7319998 HAS SOPS 7319998 HAS SOUS 4386317 HAS SOUPS 4386317 WITH SCORE 4393636.998
AT ITER 1878 NEW BEST:: SOT 13456927 SOS 7319998 HAS SOPS 7319998 HAS SOUS 4385999 HAS SOUPS 4385999 WITH SCORE 4393318.998
AT ITER 1880 NEW BEST:: SOT 13456926 SOS 7319963 HAS SOPS 7319963 HAS SOUS 4385964 HAS SOUPS 4385964 WITH SCORE 4393283.963
AT ITER 1881 NEW BEST:: SOT 13456647 SOS 7319684 HAS SOPS 7319684 HAS SOUS 4385939 HAS SOUPS 4385939 WITH SCORE 4393258.684
AT ITER 1886 NEW BEST:: SOT 13455954 SOS 7318880 HAS SOPS 7318880 HAS SOUS 4385246 HAS SOUPS 4385246 WITH SCORE 4392564.88
AT ITER 1895 NEW BEST:: SOT 13456731 SOS 7320434 HAS SOPS 7320434 HAS SOUS 4384536 HAS SOUPS 4384536 WITH SCORE 4391856.434
AT ITER 1901 NEW BEST:: SOT 13456731 SOS 7320434 HAS SOPS 7320434 HAS SOUS 4384534 HAS SOUPS 4384534 WITH SCORE 4391854.434
AT ITER 1902 NEW BEST:: SOT 13456731 SOS 7319841 HAS SOPS 7319841 HAS SOUS 4383715 HAS SOUPS 4383715 WITH SCORE 4391034.841
AT ITER 1906 NEW BEST:: SOT 13454687 SOS 7316889 HAS SOPS 7316889 HAS SOUS 4381671 HAS SOUPS 4381671 WITH SCORE 4388987.889
AT ITER 1912 NEW BEST:: SOT 13452459 SOS 7313743 HAS SOPS 7313743 HAS SOUS 4379443 HAS SOUPS 4379443 WITH SCORE 4386756.743
AT ITER 1914 NEW BEST:: SOT 13452199 SOS 7313223 HAS SOPS 7313223 HAS SOUS 4378923 HAS SOUPS 4378923 WITH SCORE 4386236.223
AT ITER 1915 NEW BEST:: SOT 13450328 SOS 7310474 HAS SOPS 7310474 HAS SOUS 4377052 HAS SOUPS 4377052 WITH SCORE 4384362.474
AT ITER 1916 NEW BEST:: SOT 13450099 SOS 7310016 HAS SOPS 7310016 HAS SOUS 4376594 HAS SOUPS 4376594 WITH SCORE 4383904.016
AT ITER 1917 NEW BEST:: SOT 13450086 SOS 7310003 HAS SOPS 7310003 HAS SOUS 4376103 HAS SOUPS 4376103 WITH SCORE 4383413.003
AT ITER 1922 NEW BEST:: SOT 13449230 SOS 7310003 HAS SOPS 7310003 HAS SOUS 4375247 HAS SOUPS 4375247 WITH SCORE 4382557.003
AT ITER 1924 NEW BEST:: SOT 13449261 SOS 7310065 HAS SOPS 7310065 HAS SOUS 4374909 HAS SOUPS 4374909 WITH SCORE 4382219.065
AT ITER 1929 NEW BEST:: SOT 13448790 SOS 7308181 HAS SOPS 7308181 HAS SOUS 4373861 HAS SOUPS 4373861 WITH SCORE 4381169.181
AT ITER 1932 NEW BEST:: SOT 13449777 SOS 7280293 HAS SOPS 7280293 HAS SOUS 4373550 HAS SOUPS 4373550 WITH SCORE 4380830.293
AT ITER 1933 NEW BEST:: SOT 13449213 SOS 7278601 HAS SOPS 7278601 HAS SOUS 4372986 HAS SOUPS 4372986 WITH SCORE 4380264.601
AT ITER 1937 NEW BEST:: SOT 13450096 SOS 7277278 HAS SOPS 7277278 HAS SOUS 4372632 HAS SOUPS 4372632 WITH SCORE 4379909.278
AT ITER 1943 NEW BEST:: SOT 13448073 SOS 7273923 HAS SOPS 7273923 HAS SOUS 4366136 HAS SOUPS 4366136 WITH SCORE 4373409.923
AT ITER 1944 NEW BEST:: SOT 13447381 SOS 7271155 HAS SOPS 7271155 HAS SOUS 4364783 HAS SOUPS 4364783 WITH SCORE 4372054.155
AT ITER 1947 NEW BEST:: SOT 13447318 SOS 7271029 HAS SOPS 7271029 HAS SOUS 4363224 HAS SOUPS 4363224 WITH SCORE 4370495.029
AT ITER 1951 NEW BEST:: SOT 13447318 SOS 7271029 HAS SOPS 7271029 HAS SOUS 4362914 HAS SOUPS 4362914 WITH SCORE 4370185.029
AT ITER 1953 NEW BEST:: SOT 13446083 SOS 7271273 HAS SOPS 7271273 HAS SOUS 4362329 HAS SOUPS 4362329 WITH SCORE 4369600.273
AT ITER 1960 NEW BEST:: SOT 13445554 SOS 7269556 HAS SOPS 7269556 HAS SOUS 4361246 HAS SOUPS 4361246 WITH SCORE 4368515.556
AT ITER 1968 NEW BEST:: SOT 13445346 SOS 7269273 HAS SOPS 7269273 HAS SOUS 4361171 HAS SOUPS 4361171 WITH SCORE 4368440.273
AT ITER 1972 NEW BEST:: SOT 13445346 SOS 7267987 HAS SOPS 7267987 HAS SOUS 4361171 HAS SOUPS 4361171 WITH SCORE 4368438.987
AT ITER 1976 NEW BEST:: SOT 13437709 SOS 7260239 HAS SOPS 7260239 HAS SOUS 4353227 HAS SOUPS 4353227 WITH SCORE 4360487.239
AT ITER 1977 NEW BEST:: SOT 13435811 SOS 7257440 HAS SOPS 7257440 HAS SOUS 4352244 HAS SOUPS 4352244 WITH SCORE 4359501.44
AT ITER 1979 NEW BEST:: SOT 13433704 SOS 7253334 HAS SOPS 7253334 HAS SOUS 4350100 HAS SOUPS 4350100 WITH SCORE 4357353.334
AT ITER 1981 NEW BEST:: SOT 13433704 SOS 7253334 HAS SOPS 7253334 HAS SOUS 4350098 HAS SOUPS 4350098 WITH SCORE 4357351.334
AT ITER 1982 NEW BEST:: SOT 13432764 SOS 7252003 HAS SOPS 7252003 HAS SOUS 4349316 HAS SOUPS 4349316 WITH SCORE 4356568.003
AT ITER 1984 NEW BEST:: SOT 13432764 SOS 7251159 HAS SOPS 7251159 HAS SOUS 4348645 HAS SOUPS 4348645 WITH SCORE 4355896.159
AT ITER 1985 NEW BEST:: SOT 13431774 SOS 7250169 HAS SOPS 7250169 HAS SOUS 4347655 HAS SOUPS 4347655 WITH SCORE 4354905.169
AT ITER 1989 NEW BEST:: SOT 13431648 SOS 7249917 HAS SOPS 7249917 HAS SOUS 4347529 HAS SOUPS 4347529 WITH SCORE 4354778.917
AT ITER 1991 NEW BEST:: SOT 13431536 SOS 7250219 HAS SOPS 7250219 HAS SOUS 4347417 HAS SOUPS 4347417 WITH SCORE 4354667.219
AT ITER 1995 NEW BEST:: SOT 13430379 SOS 7249364 HAS SOPS 7249364 HAS SOUS 4346190 HAS SOUPS 4346190 WITH SCORE 4353439.364
AT ITER 1997 NEW BEST:: SOT 13430150 SOS 7248906 HAS SOPS 7248906 HAS SOUS 4345490 HAS SOUPS 4345490 WITH SCORE 4352738.906
AT ITER 1998 NEW BEST:: SOT 13430150 SOS 7248906 HAS SOPS 7248906 HAS SOUS 4345382 HAS SOUPS 4345382 WITH SCORE 4352630.906
AT ITER 2003 NEW BEST:: SOT 13428714 SOS 7246756 HAS SOPS 7246756 HAS SOUS 4343228 HAS SOUPS 4343228 WITH SCORE 4350474.756
AT ITER 2004 NEW BEST:: SOT 13428198 SOS 7246588 HAS SOPS 7246588 HAS SOUS 4342712 HAS SOUPS 4342712 WITH SCORE 4349958.588
AT ITER 2006 NEW BEST:: SOT 13427782 SOS 7246172 HAS SOPS 7246172 HAS SOUS 4342323 HAS SOUPS 4342323 WITH SCORE 4349569.172
AT ITER 2008 NEW BEST:: SOT 13427626 SOS 7245860 HAS SOPS 7245860 HAS SOUS 4342011 HAS SOUPS 4342011 WITH SCORE 4349256.86
AT ITER 2011 NEW BEST:: SOT 13427577 SOS 7245811 HAS SOPS 7245811 HAS SOUS 4341962 HAS SOUPS 4341962 WITH SCORE 4349207.811
AT ITER 2012 NEW BEST:: SOT 13427434 SOS 7245668 HAS SOPS 7245668 HAS SOUS 4341819 HAS SOUPS 4341819 WITH SCORE 4349064.668
AT ITER 2014 NEW BEST:: SOT 13426932 SOS 7243660 HAS SOPS 7243660 HAS SOUS 4340815 HAS SOUPS 4340815 WITH SCORE 4348058.66
AT ITER 2015 NEW BEST:: SOT 13426192 SOS 7244934 HAS SOPS 7244934 HAS SOUS 4340783 HAS SOUPS 4340783 WITH SCORE 4348027.934
AT ITER 2017 NEW BEST:: SOT 13425920 SOS 7241866 HAS SOPS 7241866 HAS SOUS 4340432 HAS SOUPS 4340432 WITH SCORE 4347673.866
AT ITER 2026 NEW BEST:: SOT 13425338 SOS 7240702 HAS SOPS 7240702 HAS SOUS 4339875 HAS SOUPS 4339875 WITH SCORE 4347115.702
AT ITER 2027 NEW BEST:: SOT 13424881 SOS 7239788 HAS SOPS 7239788 HAS SOUS 4336965 HAS SOUPS 4336965 WITH SCORE 4344204.788
AT ITER 2034 NEW BEST:: SOT 13424881 SOS 7239788 HAS SOPS 7239788 HAS SOUS 4336069 HAS SOUPS 4336069 WITH SCORE 4343308.788
AT ITER 2040 NEW BEST:: SOT 13424915 SOS 7236466 HAS SOPS 7236466 HAS SOUS 4335986 HAS SOUPS 4335986 WITH SCORE 4343222.466
AT ITER 2042 NEW BEST:: SOT 13423125 SOS 7234526 HAS SOPS 7234526 HAS SOUS 4335052 HAS SOUPS 4335052 WITH SCORE 4342286.526
AT ITER 2044 NEW BEST:: SOT 13422321 SOS 7232918 HAS SOPS 7232918 HAS SOUS 4334227 HAS SOUPS 4334227 WITH SCORE 4341459.918
AT ITER 2045 NEW BEST:: SOT 13421785 SOS 7232281 HAS SOPS 7232281 HAS SOUS 4333590 HAS SOUPS 4333590 WITH SCORE 4340822.281
AT ITER 2049 NEW BEST:: SOT 13421027 SOS 7231921 HAS SOPS 7231921 HAS SOUS 4332832 HAS SOUPS 4332832 WITH SCORE 4340063.921
AT ITER 2058 NEW BEST:: SOT 13421360 SOS 7232254 HAS SOPS 7232254 HAS SOUS 4332171 HAS SOUPS 4332171 WITH SCORE 4339403.254
AT ITER 2060 NEW BEST:: SOT 13420431 SOS 7231822 HAS SOPS 7231822 HAS SOUS 4330356 HAS SOUPS 4330356 WITH SCORE 4337587.822
AT ITER 2061 NEW BEST:: SOT 13420302 SOS 7231306 HAS SOPS 7231306 HAS SOUS 4330098 HAS SOUPS 4330098 WITH SCORE 4337329.306
AT ITER 2063 NEW BEST:: SOT 13420659 SOS 7228974 HAS SOPS 7228974 HAS SOUS 4329878 HAS SOUPS 4329878 WITH SCORE 4337106.974
AT ITER 2064 NEW BEST:: SOT 13419957 SOS 7228025 HAS SOPS 7228025 HAS SOUS 4329176 HAS SOUPS 4329176 WITH SCORE 4336404.025
AT ITER 2067 NEW BEST:: SOT 13418434 SOS 7224979 HAS SOPS 7224979 HAS SOUS 4327653 HAS SOUPS 4327653 WITH SCORE 4334877.979
AT ITER 2069 NEW BEST:: SOT 13417672 SOS 7221931 HAS SOPS 7221931 HAS SOUS 4326866 HAS SOUPS 4326866 WITH SCORE 4334087.931
AT ITER 2076 NEW BEST:: SOT 13417672 SOS 7221931 HAS SOPS 7221931 HAS SOUS 4326865 HAS SOUPS 4326865 WITH SCORE 4334086.931
AT ITER 2083 NEW BEST:: SOT 13416860 SOS 7220307 HAS SOPS 7220307 HAS SOUS 4326165 HAS SOUPS 4326165 WITH SCORE 4333385.307
AT ITER 2088 NEW BEST:: SOT 13416860 SOS 7220188 HAS SOPS 7220188 HAS SOUS 4326046 HAS SOUPS 4326046 WITH SCORE 4333266.188
AT ITER 2091 NEW BEST:: SOT 13416672 SOS 7217644 HAS SOPS 7217644 HAS SOUS 4325057 HAS SOUPS 4325057 WITH SCORE 4332274.644
AT ITER 2097 NEW BEST:: SOT 13416418 SOS 7216434 HAS SOPS 7216434 HAS SOUS 4324274 HAS SOUPS 4324274 WITH SCORE 4331490.434
AT ITER 2098 NEW BEST:: SOT 13416741 SOS 7216256 HAS SOPS 7216256 HAS SOUS 4323772 HAS SOUPS 4323772 WITH SCORE 4330988.256
AT ITER 2105 NEW BEST:: SOT 13416464 SOS 7215702 HAS SOPS 7215702 HAS SOUS 4323218 HAS SOUPS 4323218 WITH SCORE 4330433.702
AT ITER 2110 NEW BEST:: SOT 13414940 SOS 7213485 HAS SOPS 7213485 HAS SOUS 4321694 HAS SOUPS 4321694 WITH SCORE 4328907.485
AT ITER 2111 NEW BEST:: SOT 13414940 SOS 7213485 HAS SOPS 7213485 HAS SOUS 4321669 HAS SOUPS 4321669 WITH SCORE 4328882.485
AT ITER 2112 NEW BEST:: SOT 13413893 SOS 7211391 HAS SOPS 7211391 HAS SOUS 4320119 HAS SOUPS 4320119 WITH SCORE 4327330.391
AT ITER 2113 NEW BEST:: SOT 13413893 SOS 7209681 HAS SOPS 7209681 HAS SOUS 4319560 HAS SOUPS 4319560 WITH SCORE 4326769.681
AT ITER 2120 NEW BEST:: SOT 13412858 SOS 7209191 HAS SOPS 7209191 HAS SOUS 4319550 HAS SOUPS 4319550 WITH SCORE 4326759.191
AT ITER 2123 NEW BEST:: SOT 13411872 SOS 7208434 HAS SOPS 7208434 HAS SOUS 4318955 HAS SOUPS 4318955 WITH SCORE 4326163.434
AT ITER 2126 NEW BEST:: SOT 13409953 SOS 7206515 HAS SOPS 7206515 HAS SOUS 4316528 HAS SOUPS 4316528 WITH SCORE 4323734.515
AT ITER 2131 NEW BEST:: SOT 13409858 SOS 7203224 HAS SOPS 7203224 HAS SOUS 4315522 HAS SOUPS 4315522 WITH SCORE 4322725.224
AT ITER 2135 NEW BEST:: SOT 13409858 SOS 7202132 HAS SOPS 7202132 HAS SOUS 4315480 HAS SOUPS 4315480 WITH SCORE 4322682.132
AT ITER 2136 NEW BEST:: SOT 13409858 SOS 7201580 HAS SOPS 7201580 HAS SOUS 4315479 HAS SOUPS 4315479 WITH SCORE 4322680.58
AT ITER 2138 NEW BEST:: SOT 13407203 SOS 7196270 HAS SOPS 7196270 HAS SOUS 4311424 HAS SOUPS 4311424 WITH SCORE 4318620.27
AT ITER 2141 NEW BEST:: SOT 13407203 SOS 7196270 HAS SOPS 7196270 HAS SOUS 4310591 HAS SOUPS 4310591 WITH SCORE 4317787.27
AT ITER 2142 NEW BEST:: SOT 13407610 SOS 7195691 HAS SOPS 7195691 HAS SOUS 4310118 HAS SOUPS 4310118 WITH SCORE 4317313.691
AT ITER 2149 NEW BEST:: SOT 13407610 SOS 7195500 HAS SOPS 7195500 HAS SOUS 4310118 HAS SOUPS 4310118 WITH SCORE 4317313.5
AT ITER 2153 NEW BEST:: SOT 13407116 SOS 7194512 HAS SOPS 7194512 HAS SOUS 4309624 HAS SOUPS 4309624 WITH SCORE 4316818.512
AT ITER 2154 NEW BEST:: SOT 13406647 SOS 7193231 HAS SOPS 7193231 HAS SOUS 4308696 HAS SOUPS 4308696 WITH SCORE 4315889.231
AT ITER 2157 NEW BEST:: SOT 13406744 SOS 7191377 HAS SOPS 7191377 HAS SOUS 4308646 HAS SOUPS 4308646 WITH SCORE 4315837.377
AT ITER 2159 NEW BEST:: SOT 13406744 SOS 7191377 HAS SOPS 7191377 HAS SOUS 4307645 HAS SOUPS 4307645 WITH SCORE 4314836.377
AT ITER 2163 NEW BEST:: SOT 13406744 SOS 7191377 HAS SOPS 7191377 HAS SOUS 4307557 HAS SOUPS 4307557 WITH SCORE 4314748.377
AT ITER 2166 NEW BEST:: SOT 13406733 SOS 7191366 HAS SOPS 7191366 HAS SOUS 4306958 HAS SOUPS 4306958 WITH SCORE 4314149.366
AT ITER 2170 NEW BEST:: SOT 13406980 SOS 7191028 HAS SOPS 7191028 HAS SOUS 4306373 HAS SOUPS 4306373 WITH SCORE 4313564.028
AT ITER 2180 NEW BEST:: SOT 13408615 SOS 7153663 HAS SOPS 7153663 HAS SOUS 4305007 HAS SOUPS 4305007 WITH SCORE 4312160.663
AT ITER 2190 NEW BEST:: SOT 13408615 SOS 7153663 HAS SOPS 7153663 HAS SOUS 4304824 HAS SOUPS 4304824 WITH SCORE 4311977.663
AT ITER 2201 NEW BEST:: SOT 13407984 SOS 7153032 HAS SOPS 7153032 HAS SOUS 4304490 HAS SOUPS 4304490 WITH SCORE 4311643.032
AT ITER 2202 NEW BEST:: SOT 13406700 SOS 7151265 HAS SOPS 7151265 HAS SOUS 4303524 HAS SOUPS 4303524 WITH SCORE 4310675.265
AT ITER 2215 NEW BEST:: SOT 13406700 SOS 7150863 HAS SOPS 7150863 HAS SOUS 4303122 HAS SOUPS 4303122 WITH SCORE 4310272.863
AT ITER 2218 NEW BEST:: SOT 13405920 SOS 7150083 HAS SOPS 7150083 HAS SOUS 4302826 HAS SOUPS 4302826 WITH SCORE 4309976.083
AT ITER 2220 NEW BEST:: SOT 13405920 SOS 7148916 HAS SOPS 7148916 HAS SOUS 4301372 HAS SOUPS 4301372 WITH SCORE 4308520.916
AT ITER 2224 NEW BEST:: SOT 13406131 SOS 7148631 HAS SOPS 7148631 HAS SOUS 4301244 HAS SOUPS 4301244 WITH SCORE 4308392.631
AT ITER 2225 NEW BEST:: SOT 13405982 SOS 7148333 HAS SOPS 7148333 HAS SOUS 4300944 HAS SOUPS 4300944 WITH SCORE 4308092.333
AT ITER 2228 NEW BEST:: SOT 13405007 SOS 7146383 HAS SOPS 7146383 HAS SOUS 4300456 HAS SOUPS 4300456 WITH SCORE 4307602.383
AT ITER 2229 NEW BEST:: SOT 13404480 SOS 7145329 HAS SOPS 7145329 HAS SOUS 4299524 HAS SOUPS 4299524 WITH SCORE 4306669.329
AT ITER 2232 NEW BEST:: SOT 13404480 SOS 7145633 HAS SOPS 7145633 HAS SOUS 4299090 HAS SOUPS 4299090 WITH SCORE 4306235.633
AT ITER 2235 NEW BEST:: SOT 13403076 SOS 7143325 HAS SOPS 7143325 HAS SOUS 4297854 HAS SOUPS 4297854 WITH SCORE 4304997.325
AT ITER 2238 NEW BEST:: SOT 13403076 SOS 7142904 HAS SOPS 7142904 HAS SOUS 4297565 HAS SOUPS 4297565 WITH SCORE 4304707.904
AT ITER 2240 NEW BEST:: SOT 13402708 SOS 7141518 HAS SOPS 7141518 HAS SOUS 4297197 HAS SOUPS 4297197 WITH SCORE 4304338.518
AT ITER 2241 NEW BEST:: SOT 13401318 SOS 7140128 HAS SOPS 7140128 HAS SOUS 4296520 HAS SOUPS 4296520 WITH SCORE 4303660.128
AT ITER 2250 NEW BEST:: SOT 13401318 SOS 7138343 HAS SOPS 7138343 HAS SOUS 4295814 HAS SOUPS 4295814 WITH SCORE 4302952.343
AT ITER 2251 NEW BEST:: SOT 13401318 SOS 7134077 HAS SOPS 7134077 HAS SOUS 4291548 HAS SOUPS 4291548 WITH SCORE 4298682.077
AT ITER 2252 NEW BEST:: SOT 13401278 SOS 7133455 HAS SOPS 7133455 HAS SOUS 4291237 HAS SOUPS 4291237 WITH SCORE 4298370.455
AT ITER 2254 NEW BEST:: SOT 13400760 SOS 7132914 HAS SOPS 7132914 HAS SOUS 4290767 HAS SOUPS 4290767 WITH SCORE 4297899.914
AT ITER 2258 NEW BEST:: SOT 13400469 SOS 7132622 HAS SOPS 7132622 HAS SOUS 4290766 HAS SOUPS 4290766 WITH SCORE 4297898.622
AT ITER 2263 NEW BEST:: SOT 13399687 SOS 7131058 HAS SOPS 7131058 HAS SOUS 4290398 HAS SOUPS 4290398 WITH SCORE 4297529.058
AT ITER 2264 NEW BEST:: SOT 13399687 SOS 7131058 HAS SOPS 7131058 HAS SOUS 4289303 HAS SOUPS 4289303 WITH SCORE 4296434.058
AT ITER 2269 NEW BEST:: SOT 13399687 SOS 7129559 HAS SOPS 7129559 HAS SOUS 4289288 HAS SOUPS 4289288 WITH SCORE 4296417.559
AT ITER 2272 NEW BEST:: SOT 13399136 SOS 7128457 HAS SOPS 7128457 HAS SOUS 4286238 HAS SOUPS 4286238 WITH SCORE 4293366.457
AT ITER 2273 NEW BEST:: SOT 13398669 SOS 7126209 HAS SOPS 7126209 HAS SOUS 4285207 HAS SOUPS 4285207 WITH SCORE 4292333.209
AT ITER 2276 NEW BEST:: SOT 13398669 SOS 7125474 HAS SOPS 7125474 HAS SOUS 4285207 HAS SOUPS 4285207 WITH SCORE 4292332.474
AT ITER 2287 NEW BEST:: SOT 13398088 SOS 7124312 HAS SOPS 7124312 HAS SOUS 4282204 HAS SOUPS 4282204 WITH SCORE 4289328.312
AT ITER 2290 NEW BEST:: SOT 13395839 SOS 7121155 HAS SOPS 7121155 HAS SOUS 4279955 HAS SOUPS 4279955 WITH SCORE 4287076.155
AT ITER 2297 NEW BEST:: SOT 13395314 SOS 7119882 HAS SOPS 7119882 HAS SOUS 4278395 HAS SOUPS 4278395 WITH SCORE 4285514.882
AT ITER 2299 NEW BEST:: SOT 13395706 SOS 7118690 HAS SOPS 7118690 HAS SOUS 4277203 HAS SOUPS 4277203 WITH SCORE 4284321.69
AT ITER 2300 NEW BEST:: SOT 13394909 SOS 7118313 HAS SOPS 7118313 HAS SOUS 4276406 HAS SOUPS 4276406 WITH SCORE 4283524.313
AT ITER 2304 NEW BEST:: SOT 13395747 SOS 7117874 HAS SOPS 7117874 HAS SOUS 4273642 HAS SOUPS 4273642 WITH SCORE 4280759.874
AT ITER 2305 NEW BEST:: SOT 13395747 SOS 7117067 HAS SOPS 7117067 HAS SOUS 4273642 HAS SOUPS 4273642 WITH SCORE 4280759.067
AT ITER 2312 NEW BEST:: SOT 13394785 SOS 7116053 HAS SOPS 7116053 HAS SOUS 4273109 HAS SOUPS 4273109 WITH SCORE 4280225.053
AT ITER 2313 NEW BEST:: SOT 13394438 SOS 7115359 HAS SOPS 7115359 HAS SOUS 4272762 HAS SOUPS 4272762 WITH SCORE 4279877.359
AT ITER 2319 NEW BEST:: SOT 13370145 SOS 7154007 HAS SOPS 7154007 HAS SOUS 4252131 HAS SOUPS 4252131 WITH SCORE 4259285.007
AT ITER 2329 NEW BEST:: SOT 13370145 SOS 7154007 HAS SOPS 7154007 HAS SOUS 4251855 HAS SOUPS 4251855 WITH SCORE 4259009.007
AT ITER 2330 NEW BEST:: SOT 13369334 SOS 7149638 HAS SOPS 7149638 HAS SOUS 4249456 HAS SOUPS 4249456 WITH SCORE 4256605.638
AT ITER 2335 NEW BEST:: SOT 13367873 SOS 7146716 HAS SOPS 7146716 HAS SOUS 4247995 HAS SOUPS 4247995 WITH SCORE 4255141.716
AT ITER 2337 NEW BEST:: SOT 13367550 SOS 7145473 HAS SOPS 7145473 HAS SOUS 4246752 HAS SOUPS 4246752 WITH SCORE 4253897.473
AT ITER 2339 NEW BEST:: SOT 13368047 SOS 7142461 HAS SOPS 7142461 HAS SOUS 4244589 HAS SOUPS 4244589 WITH SCORE 4251731.461
AT ITER 2341 NEW BEST:: SOT 13368208 SOS 7142039 HAS SOPS 7142039 HAS SOUS 4244142 HAS SOUPS 4244142 WITH SCORE 4251284.039
AT ITER 2346 NEW BEST:: SOT 13368724 SOS 7143071 HAS SOPS 7143071 HAS SOUS 4243707 HAS SOUPS 4243707 WITH SCORE 4250850.071
AT ITER 2352 NEW BEST:: SOT 13366346 SOS 7139789 HAS SOPS 7139789 HAS SOUS 4241370 HAS SOUPS 4241370 WITH SCORE 4248509.789
AT ITER 2357 NEW BEST:: SOT 13365839 SOS 7136187 HAS SOPS 7136187 HAS SOUS 4238914 HAS SOUPS 4238914 WITH SCORE 4246050.187
AT ITER 2358 NEW BEST:: SOT 13364183 SOS 7132268 HAS SOPS 7132268 HAS SOUS 4236651 HAS SOUPS 4236651 WITH SCORE 4243783.268
AT ITER 2359 NEW BEST:: SOT 13364183 SOS 7131681 HAS SOPS 7131681 HAS SOUS 4235904 HAS SOUPS 4235904 WITH SCORE 4243035.681
AT ITER 2360 NEW BEST:: SOT 13363457 SOS 7129497 HAS SOPS 7129497 HAS SOUS 4235178 HAS SOUPS 4235178 WITH SCORE 4242307.497
AT ITER 2361 NEW BEST:: SOT 13363356 SOS 7129295 HAS SOPS 7129295 HAS SOUS 4235077 HAS SOUPS 4235077 WITH SCORE 4242206.295
AT ITER 2367 NEW BEST:: SOT 13361340 SOS 7127279 HAS SOPS 7127279 HAS SOUS 4233061 HAS SOUPS 4233061 WITH SCORE 4240188.279
AT ITER 2368 NEW BEST:: SOT 13361340 SOS 7125971 HAS SOPS 7125971 HAS SOUS 4232701 HAS SOUPS 4232701 WITH SCORE 4239826.971
AT ITER 2371 NEW BEST:: SOT 13361340 SOS 7125971 HAS SOPS 7125971 HAS SOUS 4232002 HAS SOUPS 4232002 WITH SCORE 4239127.971
AT ITER 2372 NEW BEST:: SOT 13359159 SOS 7122883 HAS SOPS 7122883 HAS SOUS 4229821 HAS SOUPS 4229821 WITH SCORE 4236943.883
AT ITER 2373 NEW BEST:: SOT 13358269 SOS 7121993 HAS SOPS 7121993 HAS SOUS 4229648 HAS SOUPS 4229648 WITH SCORE 4236769.993
AT ITER 2377 NEW BEST:: SOT 13358258 SOS 7121982 HAS SOPS 7121982 HAS SOUS 4229637 HAS SOUPS 4229637 WITH SCORE 4236758.982
AT ITER 2391 NEW BEST:: SOT 13357864 SOS 7121194 HAS SOPS 7121194 HAS SOUS 4229243 HAS SOUPS 4229243 WITH SCORE 4236364.194
AT ITER 2399 NEW BEST:: SOT 13357209 SOS 7119884 HAS SOPS 7119884 HAS SOUS 4228764 HAS SOUPS 4228764 WITH SCORE 4235883.884
AT ITER 2401 NEW BEST:: SOT 13357672 SOS 7118248 HAS SOPS 7118248 HAS SOUS 4228214 HAS SOUPS 4228214 WITH SCORE 4235332.248
AT ITER 2406 NEW BEST:: SOT 13357672 SOS 7118162 HAS SOPS 7118162 HAS SOUS 4228128 HAS SOUPS 4228128 WITH SCORE 4235246.162
AT ITER 2408 NEW BEST:: SOT 13358068 SOS 7114466 HAS SOPS 7114466 HAS SOUS 4228128 HAS SOUPS 4228128 WITH SCORE 4235242.466
AT ITER 2409 NEW BEST:: SOT 13358150 SOS 7115281 HAS SOPS 7115281 HAS SOUS 4227129 HAS SOUPS 4227129 WITH SCORE 4234244.281
AT ITER 2410 NEW BEST:: SOT 13357944 SOS 7114708 HAS SOPS 7114708 HAS SOUS 4226776 HAS SOUPS 4226776 WITH SCORE 4233890.708
AT ITER 2414 NEW BEST:: SOT 13357411 SOS 7115329 HAS SOPS 7115329 HAS SOUS 4226133 HAS SOUPS 4226133 WITH SCORE 4233248.329
AT ITER 2424 NEW BEST:: SOT 13350629 SOS 7173130 HAS SOPS 7173130 HAS SOUS 4223435 HAS SOUPS 4223435 WITH SCORE 4230608.13
AT ITER 2428 NEW BEST:: SOT 13351782 SOS 7173385 HAS SOPS 7173385 HAS SOUS 4221412 HAS SOUPS 4221412 WITH SCORE 4228585.385
AT ITER 2431 NEW BEST:: SOT 13351556 SOS 7172933 HAS SOPS 7172933 HAS SOUS 4221186 HAS SOUPS 4221186 WITH SCORE 4228358.933
AT ITER 2433 NEW BEST:: SOT 13351959 SOS 7171830 HAS SOPS 7171830 HAS SOUS 4220158 HAS SOUPS 4220158 WITH SCORE 4227329.83
AT ITER 2438 NEW BEST:: SOT 13351958 SOS 7171687 HAS SOPS 7171687 HAS SOUS 4220151 HAS SOUPS 4220151 WITH SCORE 4227322.687
AT ITER 2444 NEW BEST:: SOT 13351832 SOS 7171435 HAS SOPS 7171435 HAS SOUS 4220025 HAS SOUPS 4220025 WITH SCORE 4227196.435
AT ITER 2446 NEW BEST:: SOT 13351832 SOS 7171396 HAS SOPS 7171396 HAS SOUS 4220025 HAS SOUPS 4220025 WITH SCORE 4227196.396
AT ITER 2449 NEW BEST:: SOT 13349458 SOS 7166816 HAS SOPS 7166816 HAS SOUS 4217755 HAS SOUPS 4217755 WITH SCORE 4224921.816
AT ITER 2450 NEW BEST:: SOT 13349458 SOS 7164872 HAS SOPS 7164872 HAS SOUS 4214691 HAS SOUPS 4214691 WITH SCORE 4221855.872
AT ITER 2454 NEW BEST:: SOT 13350110 SOS 7165143 HAS SOPS 7165143 HAS SOUS 4213452 HAS SOUPS 4213452 WITH SCORE 4220617.143
AT ITER 2460 NEW BEST:: SOT 13350279 SOS 7165312 HAS SOPS 7165312 HAS SOUS 4212944 HAS SOUPS 4212944 WITH SCORE 4220109.312
AT ITER 2462 NEW BEST:: SOT 13350279 SOS 7165209 HAS SOPS 7165209 HAS SOUS 4212944 HAS SOUPS 4212944 WITH SCORE 4220109.209
AT ITER 2463 NEW BEST:: SOT 13350099 SOS 7165377 HAS SOPS 7165377 HAS SOUS 4212847 HAS SOUPS 4212847 WITH SCORE 4220012.377
AT ITER 2469 NEW BEST:: SOT 13350855 SOS 7166889 HAS SOPS 7166889 HAS SOUS 4212454 HAS SOUPS 4212454 WITH SCORE 4219620.889
AT ITER 2477 NEW BEST:: SOT 13350855 SOS 7166482 HAS SOPS 7166482 HAS SOUS 4211632 HAS SOUPS 4211632 WITH SCORE 4218798.482
AT ITER 2484 NEW BEST:: SOT 13348824 SOS 7160389 HAS SOPS 7160389 HAS SOUS 4207912 HAS SOUPS 4207912 WITH SCORE 4215072.389
AT ITER 2493 NEW BEST:: SOT 13348824 SOS 7160389 HAS SOPS 7160389 HAS SOUS 4207316 HAS SOUPS 4207316 WITH SCORE 4214476.389
AT ITER 2497 NEW BEST:: SOT 13348355 SOS 7159920 HAS SOPS 7159920 HAS SOUS 4207315 HAS SOUPS 4207315 WITH SCORE 4214474.92
AT ITER 2503 NEW BEST:: SOT 13348355 SOS 7159408 HAS SOPS 7159408 HAS SOUS 4207315 HAS SOUPS 4207315 WITH SCORE 4214474.408
AT ITER 2505 NEW BEST:: SOT 13348355 SOS 7158843 HAS SOPS 7158843 HAS SOUS 4206750 HAS SOUPS 4206750 WITH SCORE 4213908.843
AT ITER 2506 NEW BEST:: SOT 13347235 SOS 7156603 HAS SOPS 7156603 HAS SOUS 4206114 HAS SOUPS 4206114 WITH SCORE 4213270.603
AT ITER 2508 NEW BEST:: SOT 13347236 SOS 7155613 HAS SOPS 7155613 HAS SOUS 4204637 HAS SOUPS 4204637 WITH SCORE 4211792.613
AT ITER 2512 NEW BEST:: SOT 13346831 SOS 7154803 HAS SOPS 7154803 HAS SOUS 4204232 HAS SOUPS 4204232 WITH SCORE 4211386.803
AT ITER 2513 NEW BEST:: SOT 13345654 SOS 7154232 HAS SOPS 7154232 HAS SOUS 4202943 HAS SOUPS 4202943 WITH SCORE 4210097.232
AT ITER 2514 NEW BEST:: SOT 13345440 SOS 7154018 HAS SOPS 7154018 HAS SOUS 4202943 HAS SOUPS 4202943 WITH SCORE 4210097.018
AT ITER 2519 NEW BEST:: SOT 13344851 SOS 7152840 HAS SOPS 7152840 HAS SOUS 4202435 HAS SOUPS 4202435 WITH SCORE 4209587.84
AT ITER 2522 NEW BEST:: SOT 13343893 SOS 7152139 HAS SOPS 7152139 HAS SOUS 4201477 HAS SOUPS 4201477 WITH SCORE 4208629.139
AT ITER 2524 NEW BEST:: SOT 13343893 SOS 7151957 HAS SOPS 7151957 HAS SOUS 4201113 HAS SOUPS 4201113 WITH SCORE 4208264.957
AT ITER 2525 NEW BEST:: SOT 13342307 SOS 7149228 HAS SOPS 7149228 HAS SOUS 4198384 HAS SOUPS 4198384 WITH SCORE 4205533.228
AT ITER 2531 NEW BEST:: SOT 13343832 SOS 7150721 HAS SOPS 7150721 HAS SOUS 4198360 HAS SOUPS 4198360 WITH SCORE 4205510.721
AT ITER 2533 NEW BEST:: SOT 13343039 SOS 7146987 HAS SOPS 7146987 HAS SOUS 4196168 HAS SOUPS 4196168 WITH SCORE 4203314.987
AT ITER 2536 NEW BEST:: SOT 13342443 SOS 7146093 HAS SOPS 7146093 HAS SOUS 4195572 HAS SOUPS 4195572 WITH SCORE 4202718.093
AT ITER 2546 NEW BEST:: SOT 13342175 SOS 7145825 HAS SOPS 7145825 HAS SOUS 4195304 HAS SOUPS 4195304 WITH SCORE 4202449.825
AT ITER 2549 NEW BEST:: SOT 13341604 SOS 7143541 HAS SOPS 7143541 HAS SOUS 4194162 HAS SOUPS 4194162 WITH SCORE 4201305.541
AT ITER 2550 NEW BEST:: SOT 13339760 SOS 7140716 HAS SOPS 7140716 HAS SOUS 4192625 HAS SOUPS 4192625 WITH SCORE 4199765.716
AT ITER 2552 NEW BEST:: SOT 13339399 SOS 7139030 HAS SOPS 7139030 HAS SOUS 4191919 HAS SOUPS 4191919 WITH SCORE 4199058.03
AT ITER 2555 NEW BEST:: SOT 13338137 SOS 7137496 HAS SOPS 7137496 HAS SOUS 4190618 HAS SOUPS 4190618 WITH SCORE 4197755.496
AT ITER 2556 NEW BEST:: SOT 13336949 SOS 7135358 HAS SOPS 7135358 HAS SOUS 4188993 HAS SOUPS 4188993 WITH SCORE 4196128.358
AT ITER 2559 NEW BEST:: SOT 13336630 SOS 7135039 HAS SOPS 7135039 HAS SOUS 4188993 HAS SOUPS 4188993 WITH SCORE 4196128.039
AT ITER 2560 NEW BEST:: SOT 13335863 SOS 7132738 HAS SOPS 7132738 HAS SOUS 4188226 HAS SOUPS 4188226 WITH SCORE 4195358.738
AT ITER 2566 NEW BEST:: SOT 13335863 SOS 7132738 HAS SOPS 7132738 HAS SOUS 4187826 HAS SOUPS 4187826 WITH SCORE 4194958.738
AT ITER 2568 NEW BEST:: SOT 13335486 SOS 7132361 HAS SOPS 7132361 HAS SOUS 4187648 HAS SOUPS 4187648 WITH SCORE 4194780.361
AT ITER 2571 NEW BEST:: SOT 13335059 SOS 7130653 HAS SOPS 7130653 HAS SOUS 4186634 HAS SOUPS 4186634 WITH SCORE 4193764.653
AT ITER 2575 NEW BEST:: SOT 13334968 SOS 7130562 HAS SOPS 7130562 HAS SOUS 4186543 HAS SOUPS 4186543 WITH SCORE 4193673.562
AT ITER 2578 NEW BEST:: SOT 13334598 SOS 7129823 HAS SOPS 7129823 HAS SOUS 4186203 HAS SOUPS 4186203 WITH SCORE 4193332.823
AT ITER 2583 NEW BEST:: SOT 13334992 SOS 7129172 HAS SOPS 7129172 HAS SOUS 4185552 HAS SOUPS 4185552 WITH SCORE 4192681.172
AT ITER 2586 NEW BEST:: SOT 13334992 SOS 7129172 HAS SOPS 7129172 HAS SOUS 4185551 HAS SOUPS 4185551 WITH SCORE 4192680.172
AT ITER 2594 NEW BEST:: SOT 13334805 SOS 7128798 HAS SOPS 7128798 HAS SOUS 4185364 HAS SOUPS 4185364 WITH SCORE 4192492.798
AT ITER 2598 NEW BEST:: SOT 13333935 SOS 7127943 HAS SOPS 7127943 HAS SOUS 4184494 HAS SOUPS 4184494 WITH SCORE 4191621.943
AT ITER 2602 NEW BEST:: SOT 13332780 SOS 7128190 HAS SOPS 7128190 HAS SOUS 4183005 HAS SOUPS 4183005 WITH SCORE 4190133.19
AT ITER 2604 NEW BEST:: SOT 13332780 SOS 7128190 HAS SOPS 7128190 HAS SOUS 4182982 HAS SOUPS 4182982 WITH SCORE 4190110.19
AT ITER 2607 NEW BEST:: SOT 13332780 SOS 7127024 HAS SOPS 7127024 HAS SOUS 4182981 HAS SOUPS 4182981 WITH SCORE 4190108.024
AT ITER 2614 NEW BEST:: SOT 13333905 SOS 7123570 HAS SOPS 7123570 HAS SOUS 4181910 HAS SOUPS 4181910 WITH SCORE 4189033.57
AT ITER 2627 NEW BEST:: SOT 13333380 SOS 7121995 HAS SOPS 7121995 HAS SOUS 4180335 HAS SOUPS 4180335 WITH SCORE 4187456.995
AT ITER 2629 NEW BEST:: SOT 13333376 SOS 7121991 HAS SOPS 7121991 HAS SOUS 4180260 HAS SOUPS 4180260 WITH SCORE 4187381.991
AT ITER 2634 NEW BEST:: SOT 13333027 SOS 7120595 HAS SOPS 7120595 HAS SOUS 4179665 HAS SOUPS 4179665 WITH SCORE 4186785.595
AT ITER 2639 NEW BEST:: SOT 13305625 SOS 7169180 HAS SOPS 7169180 HAS SOUS 4152936 HAS SOUPS 4152936 WITH SCORE 4160105.18
AT ITER 2641 NEW BEST:: SOT 13305625 SOS 7168889 HAS SOPS 7168889 HAS SOUS 4152933 HAS SOUPS 4152933 WITH SCORE 4160101.889
AT ITER 2645 NEW BEST:: SOT 13289747 SOS 7236759 HAS SOPS 7236759 HAS SOUS 4142514 HAS SOUPS 4142514 WITH SCORE 4149750.759
AT ITER 2650 NEW BEST:: SOT 13289718 SOS 7236672 HAS SOPS 7236672 HAS SOUS 4142456 HAS SOUPS 4142456 WITH SCORE 4149692.672
AT ITER 2656 NEW BEST:: SOT 13289718 SOS 7235512 HAS SOPS 7235512 HAS SOUS 4140673 HAS SOUPS 4140673 WITH SCORE 4147908.512
AT ITER 2659 NEW BEST:: SOT 13289718 SOS 7235365 HAS SOPS 7235365 HAS SOUS 4140525 HAS SOUPS 4140525 WITH SCORE 4147760.365
AT ITER 2660 NEW BEST:: SOT 13288996 SOS 7234365 HAS SOPS 7234365 HAS SOUS 4140207 HAS SOUPS 4140207 WITH SCORE 4147441.365
AT ITER 2666 NEW BEST:: SOT 13289115 SOS 7234611 HAS SOPS 7234611 HAS SOUS 4139217 HAS SOUPS 4139217 WITH SCORE 4146451.611
AT ITER 2668 NEW BEST:: SOT 13288805 SOS 7234301 HAS SOPS 7234301 HAS SOUS 4139062 HAS SOUPS 4139062 WITH SCORE 4146296.301
AT ITER 2682 NEW BEST:: SOT 13287641 SOS 7232742 HAS SOPS 7232742 HAS SOUS 4137503 HAS SOUPS 4137503 WITH SCORE 4144735.742
AT ITER 2683 NEW BEST:: SOT 13287490 SOS 7232440 HAS SOPS 7232440 HAS SOUS 4137201 HAS SOUPS 4137201 WITH SCORE 4144433.44
AT ITER 2685 NEW BEST:: SOT 13285820 SOS 7231108 HAS SOPS 7231108 HAS SOUS 4135531 HAS SOUPS 4135531 WITH SCORE 4142762.108
AT ITER 2686 NEW BEST:: SOT 13285648 SOS 7230936 HAS SOPS 7230936 HAS SOUS 4135359 HAS SOUPS 4135359 WITH SCORE 4142589.936
AT ITER 2689 NEW BEST:: SOT 13285459 SOS 7229750 HAS SOPS 7229750 HAS SOUS 4134766 HAS SOUPS 4134766 WITH SCORE 4141995.75
AT ITER 2691 NEW BEST:: SOT 13285459 SOS 7229750 HAS SOPS 7229750 HAS SOUS 4134131 HAS SOUPS 4134131 WITH SCORE 4141360.75
AT ITER 2700 NEW BEST:: SOT 13285274 SOS 7229565 HAS SOPS 7229565 HAS SOUS 4133946 HAS SOUPS 4133946 WITH SCORE 4141175.565
AT ITER 2708 NEW BEST:: SOT 13285274 SOS 7229959 HAS SOPS 7229959 HAS SOUS 4133762 HAS SOUPS 4133762 WITH SCORE 4140991.959
AT ITER 2710 NEW BEST:: SOT 13285274 SOS 7230206 HAS SOPS 7230206 HAS SOUS 4133549 HAS SOUPS 4133549 WITH SCORE 4140779.206
AT ITER 2711 NEW BEST:: SOT 13285298 SOS 7230254 HAS SOPS 7230254 HAS SOUS 4133114 HAS SOUPS 4133114 WITH SCORE 4140344.254
AT ITER 2717 NEW BEST:: SOT 13286160 SOS 7229834 HAS SOPS 7229834 HAS SOUS 4132877 HAS SOUPS 4132877 WITH SCORE 4140106.834
AT ITER 2724 NEW BEST:: SOT 13286321 SOS 7230329 HAS SOPS 7230329 HAS SOUS 4132710 HAS SOUPS 4132710 WITH SCORE 4139940.329
AT ITER 2725 NEW BEST:: SOT 13286062 SOS 7229811 HAS SOPS 7229811 HAS SOUS 4132322 HAS SOUPS 4132322 WITH SCORE 4139551.811
AT ITER 2738 NEW BEST:: SOT 13285522 SOS 7229554 HAS SOPS 7229554 HAS SOUS 4132250 HAS SOUPS 4132250 WITH SCORE 4139479.554
AT ITER 2741 NEW BEST:: SOT 13284739 SOS 7228982 HAS SOPS 7228982 HAS SOUS 4131467 HAS SOUPS 4131467 WITH SCORE 4138695.982
AT ITER 2743 NEW BEST:: SOT 13284440 SOS 7228384 HAS SOPS 7228384 HAS SOUS 4131168 HAS SOUPS 4131168 WITH SCORE 4138396.384
AT ITER 2744 NEW BEST:: SOT 13283815 SOS 7227759 HAS SOPS 7227759 HAS SOUS 4131166 HAS SOUPS 4131166 WITH SCORE 4138393.759
AT ITER 2750 NEW BEST:: SOT 13283815 SOS 7227759 HAS SOPS 7227759 HAS SOUS 4131164 HAS SOUPS 4131164 WITH SCORE 4138391.759
AT ITER 2753 NEW BEST:: SOT 13283621 SOS 7228076 HAS SOPS 7228076 HAS SOUS 4130913 HAS SOUPS 4130913 WITH SCORE 4138141.076
AT ITER 2758 NEW BEST:: SOT 13283378 SOS 7227590 HAS SOPS 7227590 HAS SOUS 4130670 HAS SOUPS 4130670 WITH SCORE 4137897.59
AT ITER 2762 NEW BEST:: SOT 13283806 SOS 7226966 HAS SOPS 7226966 HAS SOUS 4129618 HAS SOUPS 4129618 WITH SCORE 4136844.966
AT ITER 2763 NEW BEST:: SOT 13283206 SOS 7226366 HAS SOPS 7226366 HAS SOUS 4129110 HAS SOUPS 4129110 WITH SCORE 4136336.366
AT ITER 2770 NEW BEST:: SOT 13282777 SOS 7225508 HAS SOPS 7225508 HAS SOUS 4128819 HAS SOUPS 4128819 WITH SCORE 4136044.508
AT ITER 2774 NEW BEST:: SOT 13282777 SOS 7224037 HAS SOPS 7224037 HAS SOUS 4127348 HAS SOUPS 4127348 WITH SCORE 4134572.037
AT ITER 2780 NEW BEST:: SOT 13282777 SOS 7222160 HAS SOPS 7222160 HAS SOUS 4125776 HAS SOUPS 4125776 WITH SCORE 4132998.16
AT ITER 2783 NEW BEST:: SOT 13283105 SOS 7222816 HAS SOPS 7222816 HAS SOUS 4125658 HAS SOUPS 4125658 WITH SCORE 4132880.816
AT ITER 2791 NEW BEST:: SOT 13282116 SOS 7223408 HAS SOPS 7223408 HAS SOUS 4124971 HAS SOUPS 4124971 WITH SCORE 4132194.408
AT ITER 2797 NEW BEST:: SOT 13281467 SOS 7222110 HAS SOPS 7222110 HAS SOUS 4124299 HAS SOUPS 4124299 WITH SCORE 4131521.11
AT ITER 2798 NEW BEST:: SOT 13281467 SOS 7221396 HAS SOPS 7221396 HAS SOUS 4124168 HAS SOUPS 4124168 WITH SCORE 4131389.396
AT ITER 2799 NEW BEST:: SOT 13282319 SOS 7223100 HAS SOPS 7223100 HAS SOUS 4123898 HAS SOUPS 4123898 WITH SCORE 4131121.1
AT ITER 2809 NEW BEST:: SOT 13282520 SOS 7223063 HAS SOPS 7223063 HAS SOUS 4123049 HAS SOUPS 4123049 WITH SCORE 4130272.063
AT ITER 2813 NEW BEST:: SOT 13281900 SOS 7222446 HAS SOPS 7222446 HAS SOUS 4122429 HAS SOUPS 4122429 WITH SCORE 4129651.446
AT ITER 2817 NEW BEST:: SOT 13282126 SOS 7223405 HAS SOPS 7223405 HAS SOUS 4122374 HAS SOUPS 4122374 WITH SCORE 4129597.405
AT ITER 2831 NEW BEST:: SOT 13281658 SOS 7222937 HAS SOPS 7222937 HAS SOUS 4121906 HAS SOUPS 4121906 WITH SCORE 4129128.937
AT ITER 2832 NEW BEST:: SOT 13281641 SOS 7222886 HAS SOPS 7222886 HAS SOUS 4121872 HAS SOUPS 4121872 WITH SCORE 4129094.886
AT ITER 2833 NEW BEST:: SOT 13254161 SOS 7381428 HAS SOPS 7381428 HAS SOUS 4097205 HAS SOUPS 4097205 WITH SCORE 4104586.428
AT ITER 2834 NEW BEST:: SOT 13254062 SOS 7381329 HAS SOPS 7381329 HAS SOUS 4097106 HAS SOUPS 4097106 WITH SCORE 4104487.329
AT ITER 2835 NEW BEST:: SOT 13251882 SOS 7378059 HAS SOPS 7378059 HAS SOUS 4094926 HAS SOUPS 4094926 WITH SCORE 4102304.059
AT ITER 2837 NEW BEST:: SOT 13251882 SOS 7377891 HAS SOPS 7377891 HAS SOUS 4093207 HAS SOUPS 4093207 WITH SCORE 4100584.891
AT ITER 2842 NEW BEST:: SOT 13251895 SOS 7377917 HAS SOPS 7377917 HAS SOUS 4093023 HAS SOUPS 4093023 WITH SCORE 4100400.917
AT ITER 2844 NEW BEST:: SOT 13251170 SOS 7375017 HAS SOPS 7375017 HAS SOUS 4091005 HAS SOUPS 4091005 WITH SCORE 4098380.017
AT ITER 2845 NEW BEST:: SOT 13250329 SOS 7374221 HAS SOPS 7374221 HAS SOUS 4090876 HAS SOUPS 4090876 WITH SCORE 4098250.221
AT ITER 2847 NEW BEST:: SOT 13249463 SOS 7373355 HAS SOPS 7373355 HAS SOUS 4090498 HAS SOUPS 4090498 WITH SCORE 4097871.355
AT ITER 2848 NEW BEST:: SOT 13249463 SOS 7373355 HAS SOPS 7373355 HAS SOUS 4090485 HAS SOUPS 4090485 WITH SCORE 4097858.355
AT ITER 2849 NEW BEST:: SOT 13248447 SOS 7373179 HAS SOPS 7373179 HAS SOUS 4088895 HAS SOUPS 4088895 WITH SCORE 4096268.179
AT ITER 2852 NEW BEST:: SOT 13247844 SOS 7373200 HAS SOPS 7373200 HAS SOUS 4087958 HAS SOUPS 4087958 WITH SCORE 4095331.2
AT ITER 2855 NEW BEST:: SOT 13246806 SOS 7372162 HAS SOPS 7372162 HAS SOUS 4086920 HAS SOUPS 4086920 WITH SCORE 4094292.162
AT ITER 2858 NEW BEST:: SOT 13246806 SOS 7371498 HAS SOPS 7371498 HAS SOUS 4086256 HAS SOUPS 4086256 WITH SCORE 4093627.498
AT ITER 2859 NEW BEST:: SOT 13246806 SOS 7371498 HAS SOPS 7371498 HAS SOUS 4086190 HAS SOUPS 4086190 WITH SCORE 4093561.498
AT ITER 2861 NEW BEST:: SOT 13246806 SOS 7371498 HAS SOPS 7371498 HAS SOUS 4086165 HAS SOUPS 4086165 WITH SCORE 4093536.498
AT ITER 2862 NEW BEST:: SOT 13246806 SOS 7369736 HAS SOPS 7369736 HAS SOUS 4085294 HAS SOUPS 4085294 WITH SCORE 4092663.736
AT ITER 2864 NEW BEST:: SOT 13245362 SOS 7368635 HAS SOPS 7368635 HAS SOUS 4084991 HAS SOUPS 4084991 WITH SCORE 4092359.635
AT ITER 2866 NEW BEST:: SOT 13245545 SOS 7366319 HAS SOPS 7366319 HAS SOUS 4084849 HAS SOUPS 4084849 WITH SCORE 4092215.319
AT ITER 2867 NEW BEST:: SOT 13244984 SOS 7364075 HAS SOPS 7364075 HAS SOUS 4083727 HAS SOUPS 4083727 WITH SCORE 4091091.075
AT ITER 2875 NEW BEST:: SOT 13244901 SOS 7363992 HAS SOPS 7363992 HAS SOUS 4083644 HAS SOUPS 4083644 WITH SCORE 4091007.992
AT ITER 2876 NEW BEST:: SOT 13243616 SOS 7361140 HAS SOPS 7361140 HAS SOUS 4082359 HAS SOUPS 4082359 WITH SCORE 4089720.14
AT ITER 2877 NEW BEST:: SOT 13243616 SOS 7360701 HAS SOPS 7360701 HAS SOUS 4081920 HAS SOUPS 4081920 WITH SCORE 4089280.701
AT ITER 2879 NEW BEST:: SOT 13243445 SOS 7360250 HAS SOPS 7360250 HAS SOUS 4081469 HAS SOUPS 4081469 WITH SCORE 4088829.25
AT ITER 2880 NEW BEST:: SOT 13243416 SOS 7360134 HAS SOPS 7360134 HAS SOUS 4081411 HAS SOUPS 4081411 WITH SCORE 4088771.134
AT ITER 2882 NEW BEST:: SOT 13243416 SOS 7359992 HAS SOPS 7359992 HAS SOUS 4081269 HAS SOUPS 4081269 WITH SCORE 4088628.992
AT ITER 2884 NEW BEST:: SOT 13242883 SOS 7358664 HAS SOPS 7358664 HAS SOUS 4080137 HAS SOUPS 4080137 WITH SCORE 4087495.664
AT ITER 2888 NEW BEST:: SOT 13242883 SOS 7356722 HAS SOPS 7356722 HAS SOUS 4077998 HAS SOUPS 4077998 WITH SCORE 4085354.722
AT ITER 2892 NEW BEST:: SOT 13241136 SOS 7354750 HAS SOPS 7354750 HAS SOUS 4077841 HAS SOUPS 4077841 WITH SCORE 4085195.75
AT ITER 2907 NEW BEST:: SOT 13240984 SOS 7354446 HAS SOPS 7354446 HAS SOUS 4077537 HAS SOUPS 4077537 WITH SCORE 4084891.446
AT ITER 2911 NEW BEST:: SOT 13221157 SOS 7345766 HAS SOPS 7345766 HAS SOUS 4058787 HAS SOUPS 4058787 WITH SCORE 4066132.766
AT ITER 2915 NEW BEST:: SOT 13220695 SOS 7345304 HAS SOPS 7345304 HAS SOUS 4058325 HAS SOUPS 4058325 WITH SCORE 4065670.304
AT ITER 2923 NEW BEST:: SOT 13219904 SOS 7343097 HAS SOPS 7343097 HAS SOUS 4056118 HAS SOUPS 4056118 WITH SCORE 4063461.097
AT ITER 2927 NEW BEST:: SOT 13219823 SOS 7343016 HAS SOPS 7343016 HAS SOUS 4056118 HAS SOUPS 4056118 WITH SCORE 4063461.016
AT ITER 2931 NEW BEST:: SOT 13219460 SOS 7343534 HAS SOPS 7343534 HAS SOUS 4055783 HAS SOUPS 4055783 WITH SCORE 4063126.534
AT ITER 2932 NEW BEST:: SOT 13219733 SOS 7342873 HAS SOPS 7342873 HAS SOUS 4055004 HAS SOUPS 4055004 WITH SCORE 4062346.873
AT ITER 2933 NEW BEST:: SOT 13220311 SOS 7340957 HAS SOPS 7340957 HAS SOUS 4053613 HAS SOUPS 4053613 WITH SCORE 4060953.957
AT ITER 2934 NEW BEST:: SOT 13219849 SOS 7340464 HAS SOPS 7340464 HAS SOUS 4053151 HAS SOUPS 4053151 WITH SCORE 4060491.464
AT ITER 2935 NEW BEST:: SOT 13219370 SOS 7339506 HAS SOPS 7339506 HAS SOUS 4052193 HAS SOUPS 4052193 WITH SCORE 4059532.506
AT ITER 2936 NEW BEST:: SOT 13219095 SOS 7338967 HAS SOPS 7338967 HAS SOUS 4052045 HAS SOUPS 4052045 WITH SCORE 4059383.967
AT ITER 2942 NEW BEST:: SOT 13219187 SOS 7338802 HAS SOPS 7338802 HAS SOUS 4051880 HAS SOUPS 4051880 WITH SCORE 4059218.802
AT ITER 2948 NEW BEST:: SOT 13219187 SOS 7338214 HAS SOPS 7338214 HAS SOUS 4051292 HAS SOUPS 4051292 WITH SCORE 4058630.214
AT ITER 2950 NEW BEST:: SOT 13201700 SOS 7412408 HAS SOPS 7412408 HAS SOUS 4039282 HAS SOUPS 4039282 WITH SCORE 4046694.408
AT ITER 2964 NEW BEST:: SOT 13200419 SOS 7411127 HAS SOPS 7411127 HAS SOUS 4038683 HAS SOUPS 4038683 WITH SCORE 4046094.127
AT ITER 2965 NEW BEST:: SOT 13201116 SOS 7411305 HAS SOPS 7411305 HAS SOUS 4038544 HAS SOUPS 4038544 WITH SCORE 4045955.305
AT ITER 2968 NEW BEST:: SOT 13200662 SOS 7410397 HAS SOPS 7410397 HAS SOUS 4038090 HAS SOUPS 4038090 WITH SCORE 4045500.397
AT ITER 2977 NEW BEST:: SOT 13198742 SOS 7407921 HAS SOPS 7407921 HAS SOUS 4036902 HAS SOUPS 4036902 WITH SCORE 4044309.921
AT ITER 2982 NEW BEST:: SOT 13197647 SOS 7404477 HAS SOPS 7404477 HAS SOUS 4035966 HAS SOUPS 4035966 WITH SCORE 4043370.477
AT ITER 2984 NEW BEST:: SOT 13197647 SOS 7403674 HAS SOPS 7403674 HAS SOUS 4035966 HAS SOUPS 4035966 WITH SCORE 4043369.674
AT ITER 2986 NEW BEST:: SOT 13198383 SOS 7400811 HAS SOPS 7400811 HAS SOUS 4033978 HAS SOUPS 4033978 WITH SCORE 4041378.811
AT ITER 2987 NEW BEST:: SOT 13199270 SOS 7401984 HAS SOPS 7401984 HAS SOUS 4031703 HAS SOUPS 4031703 WITH SCORE 4039104.984
AT ITER 2992 NEW BEST:: SOT 13200069 SOS 7376108 HAS SOPS 7376108 HAS SOUS 4028481 HAS SOUPS 4028481 WITH SCORE 4035857.108
AT ITER 2993 NEW BEST:: SOT 13200069 SOS 7376108 HAS SOPS 7376108 HAS SOUS 4027126 HAS SOUPS 4027126 WITH SCORE 4034502.108
AT ITER 2997 NEW BEST:: SOT 13199648 SOS 7375266 HAS SOPS 7375266 HAS SOUS 4026284 HAS SOUPS 4026284 WITH SCORE 4033659.266
AT ITER 2998 NEW BEST:: SOT 13200423 SOS 7375997 HAS SOPS 7375997 HAS SOUS 4026255 HAS SOUPS 4026255 WITH SCORE 4033630.997
AT ITER 3000 NEW BEST:: SOT 13200423 SOS 7375469 HAS SOPS 7375469 HAS SOUS 4026254 HAS SOUPS 4026254 WITH SCORE 4033629.469
AT ITER 3004 NEW BEST:: SOT 13200423 SOS 7375469 HAS SOPS 7375469 HAS SOUS 4025514 HAS SOUPS 4025514 WITH SCORE 4032889.469
AT ITER 3007 NEW BEST:: SOT 13200423 SOS 7375469 HAS SOPS 7375469 HAS SOUS 4025230 HAS SOUPS 4025230 WITH SCORE 4032605.469
AT ITER 3009 NEW BEST:: SOT 13199819 SOS 7374865 HAS SOPS 7374865 HAS SOUS 4025229 HAS SOUPS 4025229 WITH SCORE 4032603.865
AT ITER 3016 NEW BEST:: SOT 13199819 SOS 7373801 HAS SOPS 7373801 HAS SOUS 4023478 HAS SOUPS 4023478 WITH SCORE 4030851.801
AT ITER 3025 NEW BEST:: SOT 13199074 SOS 7370475 HAS SOPS 7370475 HAS SOUS 4021988 HAS SOUPS 4021988 WITH SCORE 4029358.475
AT ITER 3039 NEW BEST:: SOT 13197640 SOS 7369041 HAS SOPS 7369041 HAS SOUS 4021987 HAS SOUPS 4021987 WITH SCORE 4029356.041
AT ITER 3041 NEW BEST:: SOT 13197640 SOS 7368908 HAS SOPS 7368908 HAS SOUS 4021854 HAS SOUPS 4021854 WITH SCORE 4029222.908
AT ITER 3045 NEW BEST:: SOT 13197667 SOS 7366987 HAS SOPS 7366987 HAS SOUS 4018519 HAS SOUPS 4018519 WITH SCORE 4025885.987
AT ITER 3050 NEW BEST:: SOT 13197667 SOS 7366407 HAS SOPS 7366407 HAS SOUS 4018518 HAS SOUPS 4018518 WITH SCORE 4025884.407
AT ITER 3052 NEW BEST:: SOT 13197667 SOS 7365306 HAS SOPS 7365306 HAS SOUS 4017417 HAS SOUPS 4017417 WITH SCORE 4024782.306
AT ITER 3053 NEW BEST:: SOT 13197617 SOS 7364858 HAS SOPS 7364858 HAS SOUS 4016969 HAS SOUPS 4016969 WITH SCORE 4024333.858
AT ITER 3054 NEW BEST:: SOT 13196097 SOS 7364776 HAS SOPS 7364776 HAS SOUS 4015459 HAS SOUPS 4015459 WITH SCORE 4022823.776
AT ITER 3058 NEW BEST:: SOT 13195370 SOS 7363322 HAS SOPS 7363322 HAS SOUS 4014092 HAS SOUPS 4014092 WITH SCORE 4021455.322
AT ITER 3062 NEW BEST:: SOT 13195334 SOS 7363286 HAS SOPS 7363286 HAS SOUS 4014092 HAS SOUPS 4014092 WITH SCORE 4021455.286
AT ITER 3064 NEW BEST:: SOT 13194945 SOS 7362508 HAS SOPS 7362508 HAS SOUS 4013703 HAS SOUPS 4013703 WITH SCORE 4021065.508
AT ITER 3065 NEW BEST:: SOT 13194311 SOS 7361874 HAS SOPS 7361874 HAS SOUS 4013069 HAS SOUPS 4013069 WITH SCORE 4020430.874
AT ITER 3067 NEW BEST:: SOT 13194311 SOS 7360015 HAS SOPS 7360015 HAS SOUS 4011210 HAS SOUPS 4011210 WITH SCORE 4018570.015
AT ITER 3074 NEW BEST:: SOT 13194359 SOS 7358500 HAS SOPS 7358500 HAS SOUS 4010080 HAS SOUPS 4010080 WITH SCORE 4017438.5
AT ITER 3077 NEW BEST:: SOT 13194189 SOS 7358330 HAS SOPS 7358330 HAS SOUS 4009910 HAS SOUPS 4009910 WITH SCORE 4017268.33
AT ITER 3078 NEW BEST:: SOT 13194144 SOS 7358285 HAS SOPS 7358285 HAS SOUS 4009865 HAS SOUPS 4009865 WITH SCORE 4017223.285
AT ITER 3080 NEW BEST:: SOT 13194144 SOS 7357728 HAS SOPS 7357728 HAS SOUS 4008665 HAS SOUPS 4008665 WITH SCORE 4016022.728
AT ITER 3081 NEW BEST:: SOT 13194144 SOS 7357721 HAS SOPS 7357721 HAS SOUS 4007888 HAS SOUPS 4007888 WITH SCORE 4015245.721
AT ITER 3082 NEW BEST:: SOT 13192495 SOS 7355081 HAS SOPS 7355081 HAS SOUS 4006281 HAS SOUPS 4006281 WITH SCORE 4013636.081
AT ITER 3087 NEW BEST:: SOT 13191229 SOS 7353815 HAS SOPS 7353815 HAS SOUS 4006092 HAS SOUPS 4006092 WITH SCORE 4013445.815
AT ITER 3088 NEW BEST:: SOT 13191798 SOS 7354870 HAS SOPS 7354870 HAS SOUS 4005284 HAS SOUPS 4005284 WITH SCORE 4012638.87
AT ITER 3098 NEW BEST:: SOT 13190193 SOS 7352148 HAS SOPS 7352148 HAS SOUS 4003679 HAS SOUPS 4003679 WITH SCORE 4011031.148
AT ITER 3103 NEW BEST:: SOT 13189103 SOS 7351058 HAS SOPS 7351058 HAS SOUS 4002401 HAS SOUPS 4002401 WITH SCORE 4009752.058
AT ITER 3104 NEW BEST:: SOT 13190558 SOS 7351328 HAS SOPS 7351328 HAS SOUS 3999479 HAS SOUPS 3999479 WITH SCORE 4006830.328
AT ITER 3110 NEW BEST:: SOT 13190285 SOS 7351055 HAS SOPS 7351055 HAS SOUS 3999206 HAS SOUPS 3999206 WITH SCORE 4006557.055
AT ITER 3116 NEW BEST:: SOT 13188768 SOS 7348020 HAS SOPS 7348020 HAS SOUS 3997993 HAS SOUPS 3997993 WITH SCORE 4005341.02
AT ITER 3129 NEW BEST:: SOT 13188552 SOS 7346728 HAS SOPS 7346728 HAS SOUS 3997453 HAS SOUPS 3997453 WITH SCORE 4004799.728
AT ITER 3131 NEW BEST:: SOT 13188110 SOS 7345844 HAS SOPS 7345844 HAS SOUS 3997011 HAS SOUPS 3997011 WITH SCORE 4004356.844
AT ITER 3133 NEW BEST:: SOT 13187479 SOS 7345213 HAS SOPS 7345213 HAS SOUS 3996382 HAS SOUPS 3996382 WITH SCORE 4003727.213
AT ITER 3139 NEW BEST:: SOT 13187401 SOS 7345135 HAS SOPS 7345135 HAS SOUS 3996382 HAS SOUPS 3996382 WITH SCORE 4003727.135
AT ITER 3140 NEW BEST:: SOT 13187401 SOS 7343563 HAS SOPS 7343563 HAS SOUS 3995596 HAS SOUPS 3995596 WITH SCORE 4002939.563
AT ITER 3146 NEW BEST:: SOT 13186951 SOS 7340024 HAS SOPS 7340024 HAS SOUS 3994452 HAS SOUPS 3994452 WITH SCORE 4001792.024
AT ITER 3157 NEW BEST:: SOT 13185550 SOS 7338623 HAS SOPS 7338623 HAS SOUS 3993051 HAS SOUPS 3993051 WITH SCORE 4000389.623
AT ITER 3162 NEW BEST:: SOT 13185660 SOS 7338843 HAS SOPS 7338843 HAS SOUS 3992990 HAS SOUPS 3992990 WITH SCORE 4000328.843
AT ITER 3166 NEW BEST:: SOT 13185442 SOS 7338407 HAS SOPS 7338407 HAS SOUS 3992554 HAS SOUPS 3992554 WITH SCORE 3999892.407
AT ITER 3172 NEW BEST:: SOT 13185442 SOS 7338280 HAS SOPS 7338280 HAS SOUS 3992382 HAS SOUPS 3992382 WITH SCORE 3999720.28
AT ITER 3183 NEW BEST:: SOT 13185436 SOS 7338274 HAS SOPS 7338274 HAS SOUS 3992376 HAS SOUPS 3992376 WITH SCORE 3999714.274
AT ITER 3186 NEW BEST:: SOT 13185218 SOS 7339776 HAS SOPS 7339776 HAS SOUS 3992038 HAS SOUPS 3992038 WITH SCORE 3999377.776
AT ITER 3189 NEW BEST:: SOT 13184807 SOS 7338678 HAS SOPS 7338678 HAS SOUS 3991746 HAS SOUPS 3991746 WITH SCORE 3999084.678
AT ITER 3190 NEW BEST:: SOT 13183589 SOS 7336428 HAS SOPS 7336428 HAS SOUS 3990041 HAS SOUPS 3990041 WITH SCORE 3997377.428
AT ITER 3200 NEW BEST:: SOT 13183060 SOS 7335370 HAS SOPS 7335370 HAS SOUS 3989267 HAS SOUPS 3989267 WITH SCORE 3996602.37
AT ITER 3201 NEW BEST:: SOT 13183060 SOS 7334927 HAS SOPS 7334927 HAS SOUS 3988846 HAS SOUPS 3988846 WITH SCORE 3996180.927
AT ITER 3202 NEW BEST:: SOT 13182056 SOS 7332920 HAS SOPS 7332920 HAS SOUS 3987842 HAS SOUPS 3987842 WITH SCORE 3995174.92
AT ITER 3206 NEW BEST:: SOT 13182056 SOS 7331980 HAS SOPS 7331980 HAS SOUS 3986902 HAS SOUPS 3986902 WITH SCORE 3994233.98
AT ITER 3207 NEW BEST:: SOT 13179947 SOS 7329871 HAS SOPS 7329871 HAS SOUS 3986728 HAS SOUPS 3986728 WITH SCORE 3994057.871
AT ITER 3209 NEW BEST:: SOT 13177827 SOS 7328311 HAS SOPS 7328311 HAS SOUS 3984110 HAS SOUPS 3984110 WITH SCORE 3991438.311
AT ITER 3211 NEW BEST:: SOT 13177827 SOS 7328311 HAS SOPS 7328311 HAS SOUS 3983794 HAS SOUPS 3983794 WITH SCORE 3991122.311
AT ITER 3213 NEW BEST:: SOT 13177436 SOS 7327920 HAS SOPS 7327920 HAS SOUS 3983403 HAS SOUPS 3983403 WITH SCORE 3990730.92
AT ITER 3214 NEW BEST:: SOT 13177724 SOS 7325424 HAS SOPS 7325424 HAS SOUS 3983403 HAS SOUPS 3983403 WITH SCORE 3990728.424
AT ITER 3215 NEW BEST:: SOT 13177852 SOS 7315066 HAS SOPS 7315066 HAS SOUS 3982745 HAS SOUPS 3982745 WITH SCORE 3990060.066
AT ITER 3220 NEW BEST:: SOT 13177553 SOS 7314468 HAS SOPS 7314468 HAS SOUS 3982446 HAS SOUPS 3982446 WITH SCORE 3989760.468
AT ITER 3225 NEW BEST:: SOT 13175738 SOS 7312653 HAS SOPS 7312653 HAS SOUS 3981553 HAS SOUPS 3981553 WITH SCORE 3988865.653
AT ITER 3226 NEW BEST:: SOT 13175607 SOS 7312391 HAS SOPS 7312391 HAS SOUS 3981291 HAS SOUPS 3981291 WITH SCORE 3988603.391
AT ITER 3231 NEW BEST:: SOT 13174516 SOS 7306609 HAS SOPS 7306609 HAS SOUS 3979086 HAS SOUPS 3979086 WITH SCORE 3986392.609
AT ITER 3237 NEW BEST:: SOT 13173760 SOS 7305853 HAS SOPS 7305853 HAS SOUS 3978930 HAS SOUPS 3978930 WITH SCORE 3986235.853
AT ITER 3239 NEW BEST:: SOT 13173428 SOS 7307520 HAS SOPS 7307520 HAS SOUS 3978235 HAS SOUPS 3978235 WITH SCORE 3985542.52
AT ITER 3243 NEW BEST:: SOT 13173207 SOS 7307078 HAS SOPS 7307078 HAS SOUS 3977832 HAS SOUPS 3977832 WITH SCORE 3985139.078
AT ITER 3245 NEW BEST:: SOT 13173207 SOS 7306046 HAS SOPS 7306046 HAS SOUS 3975701 HAS SOUPS 3975701 WITH SCORE 3983007.046
AT ITER 3248 NEW BEST:: SOT 13173207 SOS 7304096 HAS SOPS 7304096 HAS SOUS 3973751 HAS SOUPS 3973751 WITH SCORE 3981055.096
AT ITER 3251 NEW BEST:: SOT 13172345 SOS 7303786 HAS SOPS 7303786 HAS SOUS 3973172 HAS SOUPS 3973172 WITH SCORE 3980475.786
AT ITER 3252 NEW BEST:: SOT 13172345 SOS 7302414 HAS SOPS 7302414 HAS SOUS 3972373 HAS SOUPS 3972373 WITH SCORE 3979675.414
AT ITER 3254 NEW BEST:: SOT 13172345 SOS 7300142 HAS SOPS 7300142 HAS SOUS 3972370 HAS SOUPS 3972370 WITH SCORE 3979670.142
AT ITER 3257 NEW BEST:: SOT 13172345 SOS 7300132 HAS SOPS 7300132 HAS SOUS 3972367 HAS SOUPS 3972367 WITH SCORE 3979667.132
AT ITER 3260 NEW BEST:: SOT 13172345 SOS 7300131 HAS SOPS 7300131 HAS SOUS 3971710 HAS SOUPS 3971710 WITH SCORE 3979010.131
AT ITER 3265 NEW BEST:: SOT 13171918 SOS 7299837 HAS SOPS 7299837 HAS SOUS 3971207 HAS SOUPS 3971207 WITH SCORE 3978506.837
AT ITER 3266 NEW BEST:: SOT 13171762 SOS 7297688 HAS SOPS 7297688 HAS SOUS 3969948 HAS SOUPS 3969948 WITH SCORE 3977245.688
AT ITER 3268 NEW BEST:: SOT 13171332 SOS 7296828 HAS SOPS 7296828 HAS SOUS 3969518 HAS SOUPS 3969518 WITH SCORE 3976814.828
AT ITER 3270 NEW BEST:: SOT 13171332 SOS 7296828 HAS SOPS 7296828 HAS SOUS 3968855 HAS SOUPS 3968855 WITH SCORE 3976151.828
AT ITER 3271 NEW BEST:: SOT 13171332 SOS 7295970 HAS SOPS 7295970 HAS SOUS 3968230 HAS SOUPS 3968230 WITH SCORE 3975525.97
AT ITER 3274 NEW BEST:: SOT 13170027 SOS 7293360 HAS SOPS 7293360 HAS SOUS 3965367 HAS SOUPS 3965367 WITH SCORE 3972660.36
AT ITER 3282 NEW BEST:: SOT 13169576 SOS 7292458 HAS SOPS 7292458 HAS SOUS 3965367 HAS SOUPS 3965367 WITH SCORE 3972659.458
AT ITER 3296 NEW BEST:: SOT 13169576 SOS 7292268 HAS SOPS 7292268 HAS SOUS 3965177 HAS SOUPS 3965177 WITH SCORE 3972469.268
AT ITER 3297 NEW BEST:: SOT 13170238 SOS 7290356 HAS SOPS 7290356 HAS SOUS 3965045 HAS SOUPS 3965045 WITH SCORE 3972335.356
AT ITER 3299 NEW BEST:: SOT 13169621 SOS 7287888 HAS SOPS 7287888 HAS SOUS 3963811 HAS SOUPS 3963811 WITH SCORE 3971098.888
AT ITER 3304 NEW BEST:: SOT 13169621 SOS 7287377 HAS SOPS 7287377 HAS SOUS 3963811 HAS SOUPS 3963811 WITH SCORE 3971098.377
AT ITER 3305 NEW BEST:: SOT 13169621 SOS 7286154 HAS SOPS 7286154 HAS SOUS 3962588 HAS SOUPS 3962588 WITH SCORE 3969874.154
AT ITER 3308 NEW BEST:: SOT 13170902 SOS 7285469 HAS SOPS 7285469 HAS SOUS 3961948 HAS SOUPS 3961948 WITH SCORE 3969233.469
AT ITER 3309 NEW BEST:: SOT 13169691 SOS 7281836 HAS SOPS 7281836 HAS SOUS 3958718 HAS SOUPS 3958718 WITH SCORE 3965999.836
AT ITER 3312 NEW BEST:: SOT 13170233 SOS 7282011 HAS SOPS 7282011 HAS SOUS 3958351 HAS SOUPS 3958351 WITH SCORE 3965633.011
AT ITER 3314 NEW BEST:: SOT 13169938 SOS 7281809 HAS SOPS 7281809 HAS SOUS 3958321 HAS SOUPS 3958321 WITH SCORE 3965602.809
AT ITER 3316 NEW BEST:: SOT 13169914 SOS 7281737 HAS SOPS 7281737 HAS SOUS 3958273 HAS SOUPS 3958273 WITH SCORE 3965554.737
AT ITER 3318 NEW BEST:: SOT 13170355 SOS 7280551 HAS SOPS 7280551 HAS SOUS 3958030 HAS SOUPS 3958030 WITH SCORE 3965310.551
AT ITER 3319 NEW BEST:: SOT 13170165 SOS 7280456 HAS SOPS 7280456 HAS SOUS 3957650 HAS SOUPS 3957650 WITH SCORE 3964930.456
AT ITER 3320 NEW BEST:: SOT 13169928 SOS 7280219 HAS SOPS 7280219 HAS SOUS 3957650 HAS SOUPS 3957650 WITH SCORE 3964930.219
AT ITER 3321 NEW BEST:: SOT 13169598 SOS 7279559 HAS SOPS 7279559 HAS SOUS 3957255 HAS SOUPS 3957255 WITH SCORE 3964534.559
AT ITER 3322 NEW BEST:: SOT 13169397 SOS 7279358 HAS SOPS 7279358 HAS SOUS 3957054 HAS SOUPS 3957054 WITH SCORE 3964333.358
AT ITER 3324 NEW BEST:: SOT 13167636 SOS 7276957 HAS SOPS 7276957 HAS SOUS 3954306 HAS SOUPS 3954306 WITH SCORE 3961582.957
AT ITER 3327 NEW BEST:: SOT 13167464 SOS 7276785 HAS SOPS 7276785 HAS SOUS 3953962 HAS SOUPS 3953962 WITH SCORE 3961238.785
AT ITER 3329 NEW BEST:: SOT 13166410 SOS 7275106 HAS SOPS 7275106 HAS SOUS 3952908 HAS SOUPS 3952908 WITH SCORE 3960183.106
AT ITER 3332 NEW BEST:: SOT 13165458 SOS 7271974 HAS SOPS 7271974 HAS SOUS 3950728 HAS SOUPS 3950728 WITH SCORE 3957999.974
AT ITER 3335 NEW BEST:: SOT 13165088 SOS 7270184 HAS SOPS 7270184 HAS SOUS 3949199 HAS SOUPS 3949199 WITH SCORE 3956469.184
AT ITER 3339 NEW BEST:: SOT 13163776 SOS 7268872 HAS SOPS 7268872 HAS SOUS 3947937 HAS SOUPS 3947937 WITH SCORE 3955205.872
AT ITER 3346 NEW BEST:: SOT 13163238 SOS 7268118 HAS SOPS 7268118 HAS SOUS 3947399 HAS SOUPS 3947399 WITH SCORE 3954667.118
AT ITER 3357 NEW BEST:: SOT 13158950 SOS 7262731 HAS SOPS 7262731 HAS SOUS 3943256 HAS SOUPS 3943256 WITH SCORE 3950518.731
AT ITER 3358 NEW BEST:: SOT 13158498 SOS 7262111 HAS SOPS 7262111 HAS SOUS 3942920 HAS SOUPS 3942920 WITH SCORE 3950182.111
AT ITER 3359 NEW BEST:: SOT 13157087 SOS 7260700 HAS SOPS 7260700 HAS SOUS 3941509 HAS SOUPS 3941509 WITH SCORE 3948769.7
AT ITER 3364 NEW BEST:: SOT 13156143 SOS 7256932 HAS SOPS 7256932 HAS SOUS 3938841 HAS SOUPS 3938841 WITH SCORE 3946097.932
AT ITER 3365 NEW BEST:: SOT 13156904 SOS 7255862 HAS SOPS 7255862 HAS SOUS 3937841 HAS SOUPS 3937841 WITH SCORE 3945096.862
AT ITER 3367 NEW BEST:: SOT 13156979 SOS 7256012 HAS SOPS 7256012 HAS SOUS 3937553 HAS SOUPS 3937553 WITH SCORE 3944809.012
AT ITER 3371 NEW BEST:: SOT 13156609 SOS 7255642 HAS SOPS 7255642 HAS SOUS 3937201 HAS SOUPS 3937201 WITH SCORE 3944456.642
AT ITER 3377 NEW BEST:: SOT 13156276 SOS 7255309 HAS SOPS 7255309 HAS SOUS 3936868 HAS SOUPS 3936868 WITH SCORE 3944123.309
AT ITER 3378 NEW BEST:: SOT 13156276 SOS 7253472 HAS SOPS 7253472 HAS SOUS 3934027 HAS SOUPS 3934027 WITH SCORE 3941280.472
AT ITER 3383 NEW BEST:: SOT 13156547 SOS 7252974 HAS SOPS 7252974 HAS SOUS 3933157 HAS SOUPS 3933157 WITH SCORE 3940409.974
AT ITER 3386 NEW BEST:: SOT 13156547 SOS 7252974 HAS SOPS 7252974 HAS SOUS 3933156 HAS SOUPS 3933156 WITH SCORE 3940408.974
AT ITER 3389 NEW BEST:: SOT 13155991 SOS 7251528 HAS SOPS 7251528 HAS SOUS 3932188 HAS SOUPS 3932188 WITH SCORE 3939439.528
AT ITER 3390 NEW BEST:: SOT 13155862 SOS 7251419 HAS SOPS 7251419 HAS SOUS 3932059 HAS SOUPS 3932059 WITH SCORE 3939310.419
AT ITER 3397 NEW BEST:: SOT 13156106 SOS 7251422 HAS SOPS 7251422 HAS SOUS 3931577 HAS SOUPS 3931577 WITH SCORE 3938828.422
AT ITER 3407 NEW BEST:: SOT 13153178 SOS 7249592 HAS SOPS 7249592 HAS SOUS 3928649 HAS SOUPS 3928649 WITH SCORE 3935898.592
AT ITER 3411 NEW BEST:: SOT 13152508 SOS 7248298 HAS SOPS 7248298 HAS SOUS 3927979 HAS SOUPS 3927979 WITH SCORE 3935227.298
AT ITER 3415 NEW BEST:: SOT 13151793 SOS 7243948 HAS SOPS 7243948 HAS SOUS 3925627 HAS SOUPS 3925627 WITH SCORE 3932870.948
AT ITER 3417 NEW BEST:: SOT 13151129 SOS 7240400 HAS SOPS 7240400 HAS SOUS 3924342 HAS SOUPS 3924342 WITH SCORE 3931582.4
AT ITER 3418 NEW BEST:: SOT 13151129 SOS 7240260 HAS SOPS 7240260 HAS SOUS 3924202 HAS SOUPS 3924202 WITH SCORE 3931442.26
AT ITER 3419 NEW BEST:: SOT 13151129 SOS 7240260 HAS SOPS 7240260 HAS SOUS 3924187 HAS SOUPS 3924187 WITH SCORE 3931427.26
AT ITER 3436 NEW BEST:: SOT 13151129 SOS 7239810 HAS SOPS 7239810 HAS SOUS 3924187 HAS SOUPS 3924187 WITH SCORE 3931426.81
AT ITER 3437 NEW BEST:: SOT 13149313 SOS 7237994 HAS SOPS 7237994 HAS SOUS 3923279 HAS SOUPS 3923279 WITH SCORE 3930516.994
AT ITER 3443 NEW BEST:: SOT 13148874 SOS 7236238 HAS SOPS 7236238 HAS SOUS 3922167 HAS SOUPS 3922167 WITH SCORE 3929403.238
AT ITER 3444 NEW BEST:: SOT 13149458 SOS 7237406 HAS SOPS 7237406 HAS SOUS 3922082 HAS SOUPS 3922082 WITH SCORE 3929319.406
AT ITER 3448 NEW BEST:: SOT 13149286 SOS 7237189 HAS SOPS 7237189 HAS SOUS 3921431 HAS SOUPS 3921431 WITH SCORE 3928668.189
AT ITER 3449 NEW BEST:: SOT 13148693 SOS 7236003 HAS SOPS 7236003 HAS SOUS 3918599 HAS SOUPS 3918599 WITH SCORE 3925835.003
AT ITER 3451 NEW BEST:: SOT 13148370 SOS 7234527 HAS SOPS 7234527 HAS SOUS 3918275 HAS SOUPS 3918275 WITH SCORE 3925509.527
AT ITER 3458 NEW BEST:: SOT 13147193 SOS 7233350 HAS SOPS 7233350 HAS SOUS 3916352 HAS SOUPS 3916352 WITH SCORE 3923585.35
AT ITER 3460 NEW BEST:: SOT 13148082 SOS 7232526 HAS SOPS 7232526 HAS SOUS 3915528 HAS SOUPS 3915528 WITH SCORE 3922760.526
AT ITER 3465 NEW BEST:: SOT 13148082 SOS 7230533 HAS SOPS 7230533 HAS SOUS 3914497 HAS SOUPS 3914497 WITH SCORE 3921727.533
AT ITER 3472 NEW BEST:: SOT 13147476 SOS 7229724 HAS SOPS 7229724 HAS SOUS 3914122 HAS SOUPS 3914122 WITH SCORE 3921351.724
AT ITER 3485 NEW BEST:: SOT 13147426 SOS 7229323 HAS SOPS 7229323 HAS SOUS 3914072 HAS SOUPS 3914072 WITH SCORE 3921301.323
AT ITER 3486 NEW BEST:: SOT 13146867 SOS 7228205 HAS SOPS 7228205 HAS SOUS 3912747 HAS SOUPS 3912747 WITH SCORE 3919975.205
AT ITER 3492 NEW BEST:: SOT 13146422 SOS 7226425 HAS SOPS 7226425 HAS SOUS 3911848 HAS SOUPS 3911848 WITH SCORE 3919074.425
AT ITER 3500 NEW BEST:: SOT 13145459 SOS 7224857 HAS SOPS 7224857 HAS SOUS 3911241 HAS SOUPS 3911241 WITH SCORE 3918465.857
AT ITER 3505 NEW BEST:: SOT 13145459 SOS 7224857 HAS SOPS 7224857 HAS SOUS 3911012 HAS SOUPS 3911012 WITH SCORE 3918236.857
AT ITER 3506 NEW BEST:: SOT 13145212 SOS 7224363 HAS SOPS 7224363 HAS SOUS 3910765 HAS SOUPS 3910765 WITH SCORE 3917989.363
AT ITER 3508 NEW BEST:: SOT 13145371 SOS 7224373 HAS SOPS 7224373 HAS SOUS 3910616 HAS SOUPS 3910616 WITH SCORE 3917840.373
AT ITER 3528 NEW BEST:: SOT 13145037 SOS 7224039 HAS SOPS 7224039 HAS SOUS 3910242 HAS SOUPS 3910242 WITH SCORE 3917466.039
AT ITER 3529 NEW BEST:: SOT 13144699 SOS 7223701 HAS SOPS 7223701 HAS SOUS 3909904 HAS SOUPS 3909904 WITH SCORE 3917127.701
AT ITER 3530 NEW BEST:: SOT 13144699 SOS 7223701 HAS SOPS 7223701 HAS SOUS 3909682 HAS SOUPS 3909682 WITH SCORE 3916905.701
AT ITER 3534 NEW BEST:: SOT 13144613 SOS 7223529 HAS SOPS 7223529 HAS SOUS 3909510 HAS SOUPS 3909510 WITH SCORE 3916733.529
AT ITER 3537 NEW BEST:: SOT 13129226 SOS 7213233 HAS SOPS 7213233 HAS SOUS 3894130 HAS SOUPS 3894130 WITH SCORE 3901343.233
AT ITER 3542 NEW BEST:: SOT 13129701 SOS 7213120 HAS SOPS 7213120 HAS SOUS 3894115 HAS SOUPS 3894115 WITH SCORE 3901328.12
AT ITER 3543 NEW BEST:: SOT 13129701 SOS 7212278 HAS SOPS 7212278 HAS SOUS 3893425 HAS SOUPS 3893425 WITH SCORE 3900637.278
AT ITER 3547 NEW BEST:: SOT 13128957 SOS 7208742 HAS SOPS 7208742 HAS SOUS 3892486 HAS SOUPS 3892486 WITH SCORE 3899694.742
AT ITER 3553 NEW BEST:: SOT 13128971 SOS 7208599 HAS SOPS 7208599 HAS SOUS 3892343 HAS SOUPS 3892343 WITH SCORE 3899551.599
AT ITER 3559 NEW BEST:: SOT 13128262 SOS 7206040 HAS SOPS 7206040 HAS SOUS 3891849 HAS SOUPS 3891849 WITH SCORE 3899055.04
AT ITER 3567 NEW BEST:: SOT 13128262 SOS 7206010 HAS SOPS 7206010 HAS SOUS 3891819 HAS SOUPS 3891819 WITH SCORE 3899025.01
AT ITER 3568 NEW BEST:: SOT 13127145 SOS 7204055 HAS SOPS 7204055 HAS SOUS 3891086 HAS SOUPS 3891086 WITH SCORE 3898290.055
AT ITER 3570 NEW BEST:: SOT 13127145 SOS 7204055 HAS SOPS 7204055 HAS SOUS 3890944 HAS SOUPS 3890944 WITH SCORE 3898148.055
AT ITER 3573 NEW BEST:: SOT 13127144 SOS 7204053 HAS SOPS 7204053 HAS SOUS 3890942 HAS SOUPS 3890942 WITH SCORE 3898146.053
AT ITER 3575 NEW BEST:: SOT 13126718 SOS 7203627 HAS SOPS 7203627 HAS SOUS 3890516 HAS SOUPS 3890516 WITH SCORE 3897719.627
AT ITER 3576 NEW BEST:: SOT 13126487 SOS 7203165 HAS SOPS 7203165 HAS SOUS 3890285 HAS SOUPS 3890285 WITH SCORE 3897488.165
AT ITER 3578 NEW BEST:: SOT 13126557 SOS 7202379 HAS SOPS 7202379 HAS SOUS 3889492 HAS SOUPS 3889492 WITH SCORE 3896694.379
AT ITER 3580 NEW BEST:: SOT 13126342 SOS 7201311 HAS SOPS 7201311 HAS SOUS 3888955 HAS SOUPS 3888955 WITH SCORE 3896156.311
AT ITER 3590 NEW BEST:: SOT 13127418 SOS 7202481 HAS SOPS 7202481 HAS SOUS 3888343 HAS SOUPS 3888343 WITH SCORE 3895545.481
AT ITER 3592 NEW BEST:: SOT 13127274 SOS 7201403 HAS SOPS 7201403 HAS SOUS 3887447 HAS SOUPS 3887447 WITH SCORE 3894648.403
AT ITER 3599 NEW BEST:: SOT 13127416 SOS 7202335 HAS SOPS 7202335 HAS SOUS 3887284 HAS SOUPS 3887284 WITH SCORE 3894486.335
AT ITER 3610 NEW BEST:: SOT 13127176 SOS 7202095 HAS SOPS 7202095 HAS SOUS 3887098 HAS SOUPS 3887098 WITH SCORE 3894300.095
AT ITER 3614 NEW BEST:: SOT 13126918 SOS 7201837 HAS SOPS 7201837 HAS SOUS 3886840 HAS SOUPS 3886840 WITH SCORE 3894041.837
AT ITER 3616 NEW BEST:: SOT 13126786 SOS 7201573 HAS SOPS 7201573 HAS SOUS 3886708 HAS SOUPS 3886708 WITH SCORE 3893909.573
AT ITER 3619 NEW BEST:: SOT 13126747 SOS 7201534 HAS SOPS 7201534 HAS SOUS 3886669 HAS SOUPS 3886669 WITH SCORE 3893870.534
AT ITER 3622 NEW BEST:: SOT 13127810 SOS 7184610 HAS SOPS 7184610 HAS SOUS 3886666 HAS SOUPS 3886666 WITH SCORE 3893850.61
AT ITER 3624 NEW BEST:: SOT 13126513 SOS 7182973 HAS SOPS 7182973 HAS SOUS 3885403 HAS SOUPS 3885403 WITH SCORE 3892585.973
AT ITER 3630 NEW BEST:: SOT 13126084 SOS 7179347 HAS SOPS 7179347 HAS SOUS 3884732 HAS SOUPS 3884732 WITH SCORE 3891911.347
AT ITER 3640 NEW BEST:: SOT 13126264 SOS 7178989 HAS SOPS 7178989 HAS SOUS 3884612 HAS SOUPS 3884612 WITH SCORE 3891790.989
AT ITER 3642 NEW BEST:: SOT 13126735 SOS 7180299 HAS SOPS 7180299 HAS SOUS 3884002 HAS SOUPS 3884002 WITH SCORE 3891182.299
AT ITER 3643 NEW BEST:: SOT 13125615 SOS 7179179 HAS SOPS 7179179 HAS SOUS 3882882 HAS SOUPS 3882882 WITH SCORE 3890061.179
AT ITER 3647 NEW BEST:: SOT 13124852 SOS 7179758 HAS SOPS 7179758 HAS SOUS 3882448 HAS SOUPS 3882448 WITH SCORE 3889627.758
AT ITER 3652 NEW BEST:: SOT 13124774 SOS 7179680 HAS SOPS 7179680 HAS SOUS 3882448 HAS SOUPS 3882448 WITH SCORE 3889627.68
AT ITER 3656 NEW BEST:: SOT 13124202 SOS 7178926 HAS SOPS 7178926 HAS SOUS 3882138 HAS SOUPS 3882138 WITH SCORE 3889316.926
AT ITER 3668 NEW BEST:: SOT 13124202 SOS 7178926 HAS SOPS 7178926 HAS SOUS 3882080 HAS SOUPS 3882080 WITH SCORE 3889258.926
AT ITER 3669 NEW BEST:: SOT 13123284 SOS 7177529 HAS SOPS 7177529 HAS SOUS 3881143 HAS SOUPS 3881143 WITH SCORE 3888320.529
AT ITER 3679 NEW BEST:: SOT 13123237 SOS 7177274 HAS SOPS 7177274 HAS SOUS 3880888 HAS SOUPS 3880888 WITH SCORE 3888065.274
AT ITER 3681 NEW BEST:: SOT 13123237 SOS 7176831 HAS SOPS 7176831 HAS SOUS 3880888 HAS SOUPS 3880888 WITH SCORE 3888064.831
AT ITER 3683 NEW BEST:: SOT 13123236 SOS 7176830 HAS SOPS 7176830 HAS SOUS 3880887 HAS SOUPS 3880887 WITH SCORE 3888063.83
AT ITER 3685 NEW BEST:: SOT 13123861 SOS 7176993 HAS SOPS 7176993 HAS SOUS 3880425 HAS SOUPS 3880425 WITH SCORE 3887601.993
AT ITER 3687 NEW BEST:: SOT 13123768 SOS 7176900 HAS SOPS 7176900 HAS SOUS 3880332 HAS SOUPS 3880332 WITH SCORE 3887508.9
AT ITER 3688 NEW BEST:: SOT 13123216 SOS 7175796 HAS SOPS 7175796 HAS SOUS 3879093 HAS SOUPS 3879093 WITH SCORE 3886268.796
AT ITER 3689 NEW BEST:: SOT 13121501 SOS 7172938 HAS SOPS 7172938 HAS SOUS 3877378 HAS SOUPS 3877378 WITH SCORE 3884550.938
AT ITER 3691 NEW BEST:: SOT 13121394 SOS 7172724 HAS SOPS 7172724 HAS SOUS 3877164 HAS SOUPS 3877164 WITH SCORE 3884336.724
AT ITER 3698 NEW BEST:: SOT 13121114 SOS 7172628 HAS SOPS 7172628 HAS SOUS 3877068 HAS SOUPS 3877068 WITH SCORE 3884240.628
AT ITER 3701 NEW BEST:: SOT 13121114 SOS 7172628 HAS SOPS 7172628 HAS SOUS 3877059 HAS SOUPS 3877059 WITH SCORE 3884231.628
AT ITER 3702 NEW BEST:: SOT 13120603 SOS 7171095 HAS SOPS 7171095 HAS SOUS 3876548 HAS SOUPS 3876548 WITH SCORE 3883719.095
AT ITER 3707 NEW BEST:: SOT 13119966 SOS 7168267 HAS SOPS 7168267 HAS SOUS 3875503 HAS SOUPS 3875503 WITH SCORE 3882671.267
AT ITER 3710 NEW BEST:: SOT 13118705 SOS 7167006 HAS SOPS 7167006 HAS SOUS 3875503 HAS SOUPS 3875503 WITH SCORE 3882670.006
AT ITER 3714 NEW BEST:: SOT 13118705 SOS 7166376 HAS SOPS 7166376 HAS SOUS 3875503 HAS SOUPS 3875503 WITH SCORE 3882669.376
AT ITER 3721 NEW BEST:: SOT 13118490 SOS 7165946 HAS SOPS 7165946 HAS SOUS 3875073 HAS SOUPS 3875073 WITH SCORE 3882238.946
AT ITER 3722 NEW BEST:: SOT 13118490 SOS 7165946 HAS SOPS 7165946 HAS SOUS 3874862 HAS SOUPS 3874862 WITH SCORE 3882027.946
AT ITER 3724 NEW BEST:: SOT 13117062 SOS 7164811 HAS SOPS 7164811 HAS SOUS 3874300 HAS SOUPS 3874300 WITH SCORE 3881464.811
AT ITER 3725 NEW BEST:: SOT 13116958 SOS 7164936 HAS SOPS 7164936 HAS SOUS 3873847 HAS SOUPS 3873847 WITH SCORE 3881011.936
AT ITER 3727 NEW BEST:: SOT 13117429 SOS 7164409 HAS SOPS 7164409 HAS SOUS 3873320 HAS SOUPS 3873320 WITH SCORE 3880484.409
AT ITER 3738 NEW BEST:: SOT 13116892 SOS 7163989 HAS SOPS 7163989 HAS SOUS 3872859 HAS SOUPS 3872859 WITH SCORE 3880022.989
AT ITER 3740 NEW BEST:: SOT 13117924 SOS 7165787 HAS SOPS 7165787 HAS SOUS 3872306 HAS SOUPS 3872306 WITH SCORE 3879471.787
AT ITER 3743 NEW BEST:: SOT 13117924 SOS 7165786 HAS SOPS 7165786 HAS SOUS 3872305 HAS SOUPS 3872305 WITH SCORE 3879470.786
AT ITER 3745 NEW BEST:: SOT 13117924 SOS 7164751 HAS SOPS 7164751 HAS SOUS 3871669 HAS SOUPS 3871669 WITH SCORE 3878833.751
AT ITER 3750 NEW BEST:: SOT 13117838 SOS 7164466 HAS SOPS 7164466 HAS SOUS 3871470 HAS SOUPS 3871470 WITH SCORE 3878634.466
AT ITER 3753 NEW BEST:: SOT 13117838 SOS 7164051 HAS SOPS 7164051 HAS SOUS 3870585 HAS SOUPS 3870585 WITH SCORE 3877749.051
AT ITER 3772 NEW BEST:: SOT 13117205 SOS 7163353 HAS SOPS 7163353 HAS SOUS 3869952 HAS SOUPS 3869952 WITH SCORE 3877115.353
AT ITER 3774 NEW BEST:: SOT 13117205 SOS 7162523 HAS SOPS 7162523 HAS SOUS 3869168 HAS SOUPS 3869168 WITH SCORE 3876330.523
AT ITER 3781 NEW BEST:: SOT 13117205 SOS 7162395 HAS SOPS 7162395 HAS SOUS 3869038 HAS SOUPS 3869038 WITH SCORE 3876200.395
AT ITER 3784 NEW BEST:: SOT 13117202 SOS 7162389 HAS SOPS 7162389 HAS SOUS 3869032 HAS SOUPS 3869032 WITH SCORE 3876194.389
AT ITER 3794 NEW BEST:: SOT 13117927 SOS 7162136 HAS SOPS 7162136 HAS SOUS 3867683 HAS SOUPS 3867683 WITH SCORE 3874845.136
AT ITER 3795 NEW BEST:: SOT 13117732 SOS 7160226 HAS SOPS 7160226 HAS SOUS 3865773 HAS SOUPS 3865773 WITH SCORE 3872933.226
AT ITER 3800 NEW BEST:: SOT 13117571 SOS 7159904 HAS SOPS 7159904 HAS SOUS 3865135 HAS SOUPS 3865135 WITH SCORE 3872294.904
AT ITER 3802 NEW BEST:: SOT 13117571 SOS 7159904 HAS SOPS 7159904 HAS SOUS 3864426 HAS SOUPS 3864426 WITH SCORE 3871585.904
AT ITER 3803 NEW BEST:: SOT 13117908 SOS 7159428 HAS SOPS 7159428 HAS SOUS 3863613 HAS SOUPS 3863613 WITH SCORE 3870772.428
AT ITER 3806 NEW BEST:: SOT 13117857 SOS 7159377 HAS SOPS 7159377 HAS SOUS 3863562 HAS SOUPS 3863562 WITH SCORE 3870721.377
AT ITER 3808 NEW BEST:: SOT 13117857 SOS 7158950 HAS SOPS 7158950 HAS SOUS 3861886 HAS SOUPS 3861886 WITH SCORE 3869044.95
AT ITER 3809 NEW BEST:: SOT 13117804 SOS 7158767 HAS SOPS 7158767 HAS SOUS 3861780 HAS SOUPS 3861780 WITH SCORE 3868938.767
AT ITER 3810 NEW BEST:: SOT 13117820 SOS 7158632 HAS SOPS 7158632 HAS SOUS 3861645 HAS SOUPS 3861645 WITH SCORE 3868803.632
AT ITER 3813 NEW BEST:: SOT 13117074 SOS 7157792 HAS SOPS 7157792 HAS SOUS 3860905 HAS SOUPS 3860905 WITH SCORE 3868062.792
AT ITER 3815 NEW BEST:: SOT 13117686 SOS 7153926 HAS SOPS 7153926 HAS SOUS 3858005 HAS SOUPS 3858005 WITH SCORE 3865158.926
AT ITER 3819 NEW BEST:: SOT 13117686 SOS 7153458 HAS SOPS 7153458 HAS SOUS 3858005 HAS SOUPS 3858005 WITH SCORE 3865158.458
AT ITER 3821 NEW BEST:: SOT 13116564 SOS 7152336 HAS SOPS 7152336 HAS SOUS 3856170 HAS SOUPS 3856170 WITH SCORE 3863322.336
AT ITER 3823 NEW BEST:: SOT 13117022 SOS 7152223 HAS SOPS 7152223 HAS SOUS 3855843 HAS SOUPS 3855843 WITH SCORE 3862995.223
AT ITER 3829 NEW BEST:: SOT 13116917 SOS 7151822 HAS SOPS 7151822 HAS SOUS 3855738 HAS SOUPS 3855738 WITH SCORE 3862889.822
AT ITER 3830 NEW BEST:: SOT 13116917 SOS 7151356 HAS SOPS 7151356 HAS SOUS 3855732 HAS SOUPS 3855732 WITH SCORE 3862883.356
AT ITER 3834 NEW BEST:: SOT 13115821 SOS 7150197 HAS SOPS 7150197 HAS SOUS 3855460 HAS SOUPS 3855460 WITH SCORE 3862610.197
AT ITER 3835 NEW BEST:: SOT 13116444 SOS 7150788 HAS SOPS 7150788 HAS SOUS 3855427 HAS SOUPS 3855427 WITH SCORE 3862577.788
AT ITER 3840 NEW BEST:: SOT 13116444 SOS 7150647 HAS SOPS 7150647 HAS SOUS 3855381 HAS SOUPS 3855381 WITH SCORE 3862531.647
AT ITER 3849 NEW BEST:: SOT 13116403 SOS 7150606 HAS SOPS 7150606 HAS SOUS 3855381 HAS SOUPS 3855381 WITH SCORE 3862531.606
AT ITER 3850 NEW BEST:: SOT 13116403 SOS 7150606 HAS SOPS 7150606 HAS SOUS 3855299 HAS SOUPS 3855299 WITH SCORE 3862449.606
AT ITER 3858 NEW BEST:: SOT 13112747 SOS 7145840 HAS SOPS 7145840 HAS SOUS 3851643 HAS SOUPS 3851643 WITH SCORE 3858788.84
AT ITER 3863 NEW BEST:: SOT 13112357 SOS 7145060 HAS SOPS 7145060 HAS SOUS 3850863 HAS SOUPS 3850863 WITH SCORE 3858008.06
AT ITER 3866 NEW BEST:: SOT 13111779 SOS 7144482 HAS SOPS 7144482 HAS SOUS 3850285 HAS SOUPS 3850285 WITH SCORE 3857429.482
AT ITER 3867 NEW BEST:: SOT 13110833 SOS 7143536 HAS SOPS 7143536 HAS SOUS 3849339 HAS SOUPS 3849339 WITH SCORE 3856482.536
AT ITER 3874 NEW BEST:: SOT 13110305 SOS 7143008 HAS SOPS 7143008 HAS SOUS 3849091 HAS SOUPS 3849091 WITH SCORE 3856234.008
AT ITER 3876 NEW BEST:: SOT 13110305 SOS 7142475 HAS SOPS 7142475 HAS SOUS 3848558 HAS SOUPS 3848558 WITH SCORE 3855700.475
AT ITER 3877 NEW BEST:: SOT 13110063 SOS 7141749 HAS SOPS 7141749 HAS SOUS 3848316 HAS SOUPS 3848316 WITH SCORE 3855457.749
AT ITER 3879 NEW BEST:: SOT 13108654 SOS 7139873 HAS SOPS 7139873 HAS SOUS 3848134 HAS SOUPS 3848134 WITH SCORE 3855273.873
AT ITER 3882 NEW BEST:: SOT 13107943 SOS 7137379 HAS SOPS 7137379 HAS SOUS 3847603 HAS SOUPS 3847603 WITH SCORE 3854740.379
AT ITER 3890 NEW BEST:: SOT 13106841 SOS 7131952 HAS SOPS 7131952 HAS SOUS 3844592 HAS SOUPS 3844592 WITH SCORE 3851723.952
AT ITER 3899 NEW BEST:: SOT 13106841 SOS 7131778 HAS SOPS 7131778 HAS SOUS 3844244 HAS SOUPS 3844244 WITH SCORE 3851375.778
AT ITER 3903 NEW BEST:: SOT 13106841 SOS 7131197 HAS SOPS 7131197 HAS SOUS 3843916 HAS SOUPS 3843916 WITH SCORE 3851047.197
AT ITER 3910 NEW BEST:: SOT 13106760 SOS 7131327 HAS SOPS 7131327 HAS SOUS 3843835 HAS SOUPS 3843835 WITH SCORE 3850966.327
AT ITER 3912 NEW BEST:: SOT 13106367 SOS 7130029 HAS SOPS 7130029 HAS SOUS 3842930 HAS SOUPS 3842930 WITH SCORE 3850060.029
AT ITER 3923 NEW BEST:: SOT 13105900 SOS 7129095 HAS SOPS 7129095 HAS SOUS 3842463 HAS SOUPS 3842463 WITH SCORE 3849592.095
AT ITER 3929 NEW BEST:: SOT 13104469 SOS 7126233 HAS SOPS 7126233 HAS SOUS 3839791 HAS SOUPS 3839791 WITH SCORE 3846917.233
AT ITER 3933 NEW BEST:: SOT 13104695 SOS 7122811 HAS SOPS 7122811 HAS SOUS 3839392 HAS SOUPS 3839392 WITH SCORE 3846514.811
AT ITER 3935 NEW BEST:: SOT 13104695 SOS 7122811 HAS SOPS 7122811 HAS SOUS 3838604 HAS SOUPS 3838604 WITH SCORE 3845726.811
AT ITER 3939 NEW BEST:: SOT 13104579 SOS 7122463 HAS SOPS 7122463 HAS SOUS 3838372 HAS SOUPS 3838372 WITH SCORE 3845494.463
AT ITER 3941 NEW BEST:: SOT 13103041 SOS 7120259 HAS SOPS 7120259 HAS SOUS 3836834 HAS SOUPS 3836834 WITH SCORE 3843954.259
AT ITER 3946 NEW BEST:: SOT 13102708 SOS 7119990 HAS SOPS 7119990 HAS SOUS 3836501 HAS SOUPS 3836501 WITH SCORE 3843620.99
AT ITER 3951 NEW BEST:: SOT 13102708 SOS 7107157 HAS SOPS 7107157 HAS SOUS 3836302 HAS SOUPS 3836302 WITH SCORE 3843409.157
AT ITER 3952 NEW BEST:: SOT 13102791 SOS 7107240 HAS SOPS 7107240 HAS SOUS 3835421 HAS SOUPS 3835421 WITH SCORE 3842528.24
AT ITER 3954 NEW BEST:: SOT 13102275 SOS 7103393 HAS SOPS 7103393 HAS SOUS 3835420 HAS SOUPS 3835420 WITH SCORE 3842523.393
AT ITER 3957 NEW BEST:: SOT 13102275 SOS 7103347 HAS SOPS 7103347 HAS SOUS 3835420 HAS SOUPS 3835420 WITH SCORE 3842523.347
AT ITER 3958 NEW BEST:: SOT 13101869 SOS 7103490 HAS SOPS 7103490 HAS SOUS 3835382 HAS SOUPS 3835382 WITH SCORE 3842485.49
AT ITER 3959 NEW BEST:: SOT 13101869 SOS 7101924 HAS SOPS 7101924 HAS SOUS 3833912 HAS SOUPS 3833912 WITH SCORE 3841013.924
AT ITER 3960 NEW BEST:: SOT 13101443 SOS 7101498 HAS SOPS 7101498 HAS SOUS 3833699 HAS SOUPS 3833699 WITH SCORE 3840800.498
AT ITER 3963 NEW BEST:: SOT 13100168 SOS 7101583 HAS SOPS 7101583 HAS SOUS 3833231 HAS SOUPS 3833231 WITH SCORE 3840332.583
AT ITER 3966 NEW BEST:: SOT 13099024 SOS 7096947 HAS SOPS 7096947 HAS SOUS 3831546 HAS SOUPS 3831546 WITH SCORE 3838642.947
AT ITER 3968 NEW BEST:: SOT 13099024 SOS 7096056 HAS SOPS 7096056 HAS SOUS 3831546 HAS SOUPS 3831546 WITH SCORE 3838642.056
AT ITER 3970 NEW BEST:: SOT 13099024 SOS 7095617 HAS SOPS 7095617 HAS SOUS 3830930 HAS SOUPS 3830930 WITH SCORE 3838025.617
AT ITER 3971 NEW BEST:: SOT 13098645 SOS 7095322 HAS SOPS 7095322 HAS SOUS 3830551 HAS SOUPS 3830551 WITH SCORE 3837646.322
AT ITER 3979 NEW BEST:: SOT 13098645 SOS 7094539 HAS SOPS 7094539 HAS SOUS 3830551 HAS SOUPS 3830551 WITH SCORE 3837645.539
AT ITER 3984 NEW BEST:: SOT 13098645 SOS 7094539 HAS SOPS 7094539 HAS SOUS 3830479 HAS SOUPS 3830479 WITH SCORE 3837573.539
AT ITER 3985 NEW BEST:: SOT 13098539 SOS 7094327 HAS SOPS 7094327 HAS SOUS 3830373 HAS SOUPS 3830373 WITH SCORE 3837467.327
AT ITER 3990 NEW BEST:: SOT 13098636 SOS 7092972 HAS SOPS 7092972 HAS SOUS 3829357 HAS SOUPS 3829357 WITH SCORE 3836449.972
AT ITER 3993 NEW BEST:: SOT 13097119 SOS 7090766 HAS SOPS 7090766 HAS SOUS 3827840 HAS SOUPS 3827840 WITH SCORE 3834930.766
AT ITER 4002 NEW BEST:: SOT 13097119 SOS 7090433 HAS SOPS 7090433 HAS SOUS 3827727 HAS SOUPS 3827727 WITH SCORE 3834817.433
AT ITER 4003 NEW BEST:: SOT 13093882 SOS 7090236 HAS SOPS 7090236 HAS SOUS 3824159 HAS SOUPS 3824159 WITH SCORE 3831249.236
AT ITER 4006 NEW BEST:: SOT 13095842 SOS 7091693 HAS SOPS 7091693 HAS SOUS 3823438 HAS SOUPS 3823438 WITH SCORE 3830529.693
AT ITER 4009 NEW BEST:: SOT 13094904 SOS 7088879 HAS SOPS 7088879 HAS SOUS 3821561 HAS SOUPS 3821561 WITH SCORE 3828649.879
AT ITER 4010 NEW BEST:: SOT 13094904 SOS 7088526 HAS SOPS 7088526 HAS SOUS 3821304 HAS SOUPS 3821304 WITH SCORE 3828392.526
AT ITER 4011 NEW BEST:: SOT 13094886 SOS 7088508 HAS SOPS 7088508 HAS SOUS 3821286 HAS SOUPS 3821286 WITH SCORE 3828374.508
AT ITER 4017 NEW BEST:: SOT 13094789 SOS 7089513 HAS SOPS 7089513 HAS SOUS 3821239 HAS SOUPS 3821239 WITH SCORE 3828328.513
AT ITER 4024 NEW BEST:: SOT 13092769 SOS 7085572 HAS SOPS 7085572 HAS SOUS 3819024 HAS SOUPS 3819024 WITH SCORE 3826109.572
AT ITER 4028 NEW BEST:: SOT 13092768 SOS 7085987 HAS SOPS 7085987 HAS SOUS 3818851 HAS SOUPS 3818851 WITH SCORE 3825936.987
AT ITER 4031 NEW BEST:: SOT 13092768 SOS 7084672 HAS SOPS 7084672 HAS SOUS 3817536 HAS SOUPS 3817536 WITH SCORE 3824620.672
AT ITER 4035 NEW BEST:: SOT 13091569 SOS 7082767 HAS SOPS 7082767 HAS SOUS 3816337 HAS SOUPS 3816337 WITH SCORE 3823419.767
AT ITER 4036 NEW BEST:: SOT 13091569 SOS 7082610 HAS SOPS 7082610 HAS SOUS 3816337 HAS SOUPS 3816337 WITH SCORE 3823419.61
AT ITER 4038 NEW BEST:: SOT 13091569 SOS 7081551 HAS SOPS 7081551 HAS SOUS 3814777 HAS SOUPS 3814777 WITH SCORE 3821858.551
AT ITER 4046 NEW BEST:: SOT 13091904 SOS 7081886 HAS SOPS 7081886 HAS SOUS 3814279 HAS SOUPS 3814279 WITH SCORE 3821360.886
AT ITER 4057 NEW BEST:: SOT 13090798 SOS 7080834 HAS SOPS 7080834 HAS SOUS 3813173 HAS SOUPS 3813173 WITH SCORE 3820253.834
AT ITER 4064 NEW BEST:: SOT 13090443 SOS 7078686 HAS SOPS 7078686 HAS SOUS 3812900 HAS SOUPS 3812900 WITH SCORE 3819978.686
AT ITER 4073 NEW BEST:: SOT 13090443 SOS 7078538 HAS SOPS 7078538 HAS SOUS 3811609 HAS SOUPS 3811609 WITH SCORE 3818687.538
AT ITER 4087 NEW BEST:: SOT 13089443 SOS 7077538 HAS SOPS 7077538 HAS SOUS 3811191 HAS SOUPS 3811191 WITH SCORE 3818268.538
AT ITER 4088 NEW BEST:: SOT 13089437 SOS 7075532 HAS SOPS 7075532 HAS SOUS 3810825 HAS SOUPS 3810825 WITH SCORE 3817900.532
AT ITER 4089 NEW BEST:: SOT 13089437 SOS 7075105 HAS SOPS 7075105 HAS SOUS 3810034 HAS SOUPS 3810034 WITH SCORE 3817109.105
AT ITER 4090 NEW BEST:: SOT 13089691 SOS 7072845 HAS SOPS 7072845 HAS SOUS 3810029 HAS SOUPS 3810029 WITH SCORE 3817101.845
AT ITER 4095 NEW BEST:: SOT 13089691 SOS 7072840 HAS SOPS 7072840 HAS SOUS 3810029 HAS SOUPS 3810029 WITH SCORE 3817101.84
AT ITER 4096 NEW BEST:: SOT 13088528 SOS 7070023 HAS SOPS 7070023 HAS SOUS 3805893 HAS SOUPS 3805893 WITH SCORE 3812963.023
AT ITER 4098 NEW BEST:: SOT 13088533 SOS 7070681 HAS SOPS 7070681 HAS SOUS 3805255 HAS SOUPS 3805255 WITH SCORE 3812325.681
AT ITER 4104 NEW BEST:: SOT 13088533 SOS 7070813 HAS SOPS 7070813 HAS SOUS 3804426 HAS SOUPS 3804426 WITH SCORE 3811496.813
AT ITER 4106 NEW BEST:: SOT 13071700 SOS 7115110 HAS SOPS 7115110 HAS SOUS 3792200 HAS SOUPS 3792200 WITH SCORE 3799315.11
AT ITER 4116 NEW BEST:: SOT 13069779 SOS 7110584 HAS SOPS 7110584 HAS SOUS 3789072 HAS SOUPS 3789072 WITH SCORE 3796182.584
AT ITER 4118 NEW BEST:: SOT 13069145 SOS 7110207 HAS SOPS 7110207 HAS SOUS 3788992 HAS SOUPS 3788992 WITH SCORE 3796102.207
AT ITER 4120 NEW BEST:: SOT 13068133 SOS 7109195 HAS SOPS 7109195 HAS SOUS 3787980 HAS SOUPS 3787980 WITH SCORE 3795089.195
AT ITER 4121 NEW BEST:: SOT 13068133 SOS 7109195 HAS SOPS 7109195 HAS SOUS 3787978 HAS SOUPS 3787978 WITH SCORE 3795087.195
AT ITER 4124 NEW BEST:: SOT 13068133 SOS 7108804 HAS SOPS 7108804 HAS SOUS 3787587 HAS SOUPS 3787587 WITH SCORE 3794695.804
AT ITER 4125 NEW BEST:: SOT 13067344 SOS 7105200 HAS SOPS 7105200 HAS SOUS 3786145 HAS SOUPS 3786145 WITH SCORE 3793250.2
AT ITER 4130 NEW BEST:: SOT 13065882 SOS 7103738 HAS SOPS 7103738 HAS SOUS 3786145 HAS SOUPS 3786145 WITH SCORE 3793248.738
AT ITER 4131 NEW BEST:: SOT 13065904 SOS 7103760 HAS SOPS 7103760 HAS SOUS 3785753 HAS SOUPS 3785753 WITH SCORE 3792856.76
AT ITER 4132 NEW BEST:: SOT 13066187 SOS 7102513 HAS SOPS 7102513 HAS SOUS 3785549 HAS SOUPS 3785549 WITH SCORE 3792651.513
AT ITER 4134 NEW BEST:: SOT 13067295 SOS 7103557 HAS SOPS 7103557 HAS SOUS 3785485 HAS SOUPS 3785485 WITH SCORE 3792588.557
AT ITER 4135 NEW BEST:: SOT 13067295 SOS 7103872 HAS SOPS 7103872 HAS SOUS 3785170 HAS SOUPS 3785170 WITH SCORE 3792273.872
AT ITER 4140 NEW BEST:: SOT 13065906 SOS 7102483 HAS SOPS 7102483 HAS SOUS 3784534 HAS SOUPS 3784534 WITH SCORE 3791636.483
AT ITER 4151 NEW BEST:: SOT 13066063 SOS 7103796 HAS SOPS 7103796 HAS SOUS 3784170 HAS SOUPS 3784170 WITH SCORE 3791273.796
AT ITER 4152 NEW BEST:: SOT 13067096 SOS 7105138 HAS SOPS 7105138 HAS SOUS 3783706 HAS SOUPS 3783706 WITH SCORE 3790811.138
AT ITER 4155 NEW BEST:: SOT 13066623 SOS 7102706 HAS SOPS 7102706 HAS SOUS 3782490 HAS SOUPS 3782490 WITH SCORE 3789592.706
AT ITER 4158 NEW BEST:: SOT 13067668 SOS 7101173 HAS SOPS 7101173 HAS SOUS 3782367 HAS SOUPS 3782367 WITH SCORE 3789468.173
AT ITER 4162 NEW BEST:: SOT 13065347 SOS 7097733 HAS SOPS 7097733 HAS SOUS 3780046 HAS SOUPS 3780046 WITH SCORE 3787143.733
AT ITER 4167 NEW BEST:: SOT 13065347 SOS 7097706 HAS SOPS 7097706 HAS SOUS 3780046 HAS SOUPS 3780046 WITH SCORE 3787143.706
AT ITER 4168 NEW BEST:: SOT 13065347 SOS 7096865 HAS SOPS 7096865 HAS SOUS 3779205 HAS SOUPS 3779205 WITH SCORE 3786301.865
AT ITER 4172 NEW BEST:: SOT 13065347 SOS 7096785 HAS SOPS 7096785 HAS SOUS 3778689 HAS SOUPS 3778689 WITH SCORE 3785785.785
AT ITER 4176 NEW BEST:: SOT 13064028 SOS 7094759 HAS SOPS 7094759 HAS SOUS 3777370 HAS SOUPS 3777370 WITH SCORE 3784464.759
AT ITER 4181 NEW BEST:: SOT 13063523 SOS 7095055 HAS SOPS 7095055 HAS SOUS 3776865 HAS SOUPS 3776865 WITH SCORE 3783960.055
AT ITER 4182 NEW BEST:: SOT 13063523 SOS 7095164 HAS SOPS 7095164 HAS SOUS 3775782 HAS SOUPS 3775782 WITH SCORE 3782877.164
AT ITER 4186 NEW BEST:: SOT 13063977 SOS 7096722 HAS SOPS 7096722 HAS SOUS 3774956 HAS SOUPS 3774956 WITH SCORE 3782052.722
AT ITER 4193 NEW BEST:: SOT 13063977 SOS 7095243 HAS SOPS 7095243 HAS SOUS 3774956 HAS SOUPS 3774956 WITH SCORE 3782051.243
AT ITER 4194 NEW BEST:: SOT 13064795 SOS 7094084 HAS SOPS 7094084 HAS SOUS 3774225 HAS SOUPS 3774225 WITH SCORE 3781319.084
AT ITER 4199 NEW BEST:: SOT 13064795 SOS 7094084 HAS SOPS 7094084 HAS SOUS 3773985 HAS SOUPS 3773985 WITH SCORE 3781079.084
AT ITER 4201 NEW BEST:: SOT 13064928 SOS 7094993 HAS SOPS 7094993 HAS SOUS 3773827 HAS SOUPS 3773827 WITH SCORE 3780921.993
AT ITER 4205 NEW BEST:: SOT 13064928 SOS 7094943 HAS SOPS 7094943 HAS SOUS 3773822 HAS SOUPS 3773822 WITH SCORE 3780916.943
AT ITER 4207 NEW BEST:: SOT 13064971 SOS 7094147 HAS SOPS 7094147 HAS SOUS 3773467 HAS SOUPS 3773467 WITH SCORE 3780561.147
AT ITER 4209 NEW BEST:: SOT 13064971 SOS 7093380 HAS SOPS 7093380 HAS SOUS 3772729 HAS SOUPS 3772729 WITH SCORE 3779822.38
AT ITER 4216 NEW BEST:: SOT 13064971 SOS 7093380 HAS SOPS 7093380 HAS SOUS 3772069 HAS SOUPS 3772069 WITH SCORE 3779162.38
AT ITER 4221 NEW BEST:: SOT 13065257 SOS 7093952 HAS SOPS 7093952 HAS SOUS 3771004 HAS SOUPS 3771004 WITH SCORE 3778097.952
AT ITER 4227 NEW BEST:: SOT 13064668 SOS 7093363 HAS SOPS 7093363 HAS SOUS 3770795 HAS SOUPS 3770795 WITH SCORE 3777888.363
AT ITER 4230 NEW BEST:: SOT 13064668 SOS 7092746 HAS SOPS 7092746 HAS SOUS 3770794 HAS SOUPS 3770794 WITH SCORE 3777886.746
AT ITER 4235 NEW BEST:: SOT 13064668 SOS 7092441 HAS SOPS 7092441 HAS SOUS 3768606 HAS SOUPS 3768606 WITH SCORE 3775698.441
AT ITER 4238 NEW BEST:: SOT 13064668 SOS 7092441 HAS SOPS 7092441 HAS SOUS 3768332 HAS SOUPS 3768332 WITH SCORE 3775424.441
AT ITER 4243 NEW BEST:: SOT 13064361 SOS 7091827 HAS SOPS 7091827 HAS SOUS 3768332 HAS SOUPS 3768332 WITH SCORE 3775423.827
AT ITER 4253 NEW BEST:: SOT 13063820 SOS 7090755 HAS SOPS 7090755 HAS SOUS 3767791 HAS SOUPS 3767791 WITH SCORE 3774881.755
AT ITER 4258 NEW BEST:: SOT 13063820 SOS 7090755 HAS SOPS 7090755 HAS SOUS 3767790 HAS SOUPS 3767790 WITH SCORE 3774880.755
AT ITER 4260 NEW BEST:: SOT 13062607 SOS 7090091 HAS SOPS 7090091 HAS SOUS 3767126 HAS SOUPS 3767126 WITH SCORE 3774216.091
AT ITER 4261 NEW BEST:: SOT 13062607 SOS 7090091 HAS SOPS 7090091 HAS SOUS 3767016 HAS SOUPS 3767016 WITH SCORE 3774106.091
AT ITER 4267 NEW BEST:: SOT 13062219 SOS 7089703 HAS SOPS 7089703 HAS SOUS 3766839 HAS SOUPS 3766839 WITH SCORE 3773928.703
AT ITER 4268 NEW BEST:: SOT 13061604 SOS 7088427 HAS SOPS 7088427 HAS SOUS 3766263 HAS SOUPS 3766263 WITH SCORE 3773351.427
AT ITER 4269 NEW BEST:: SOT 13060323 SOS 7087157 HAS SOPS 7087157 HAS SOUS 3764982 HAS SOUPS 3764982 WITH SCORE 3772069.157
AT ITER 4272 NEW BEST:: SOT 13060323 SOS 7087157 HAS SOPS 7087157 HAS SOUS 3763972 HAS SOUPS 3763972 WITH SCORE 3771059.157
AT ITER 4276 NEW BEST:: SOT 13060318 SOS 7087147 HAS SOPS 7087147 HAS SOUS 3763962 HAS SOUPS 3763962 WITH SCORE 3771049.147
AT ITER 4280 NEW BEST:: SOT 13060057 SOS 7086803 HAS SOPS 7086803 HAS SOUS 3763523 HAS SOUPS 3763523 WITH SCORE 3770609.803
AT ITER 4281 NEW BEST:: SOT 13060167 SOS 7087023 HAS SOPS 7087023 HAS SOUS 3763187 HAS SOUPS 3763187 WITH SCORE 3770274.023
AT ITER 4283 NEW BEST:: SOT 13060502 SOS 7087363 HAS SOPS 7087363 HAS SOUS 3762841 HAS SOUPS 3762841 WITH SCORE 3769928.363
AT ITER 4285 NEW BEST:: SOT 13060502 SOS 7087921 HAS SOPS 7087921 HAS SOUS 3762283 HAS SOUPS 3762283 WITH SCORE 3769370.921
AT ITER 4292 NEW BEST:: SOT 13060235 SOS 7087697 HAS SOPS 7087697 HAS SOUS 3761876 HAS SOUPS 3761876 WITH SCORE 3768963.697
AT ITER 4294 NEW BEST:: SOT 13060470 SOS 7085547 HAS SOPS 7085547 HAS SOUS 3761779 HAS SOUPS 3761779 WITH SCORE 3768864.547
AT ITER 4301 NEW BEST:: SOT 13059681 SOS 7082915 HAS SOPS 7082915 HAS SOUS 3761122 HAS SOUPS 3761122 WITH SCORE 3768204.915
AT ITER 4305 NEW BEST:: SOT 13060450 SOS 7083246 HAS SOPS 7083246 HAS SOUS 3760444 HAS SOUPS 3760444 WITH SCORE 3767527.246
AT ITER 4306 NEW BEST:: SOT 13060449 SOS 7083245 HAS SOPS 7083245 HAS SOUS 3760443 HAS SOUPS 3760443 WITH SCORE 3767526.245
AT ITER 4310 NEW BEST:: SOT 13060449 SOS 7082260 HAS SOPS 7082260 HAS SOUS 3759458 HAS SOUPS 3759458 WITH SCORE 3766540.26
AT ITER 4311 NEW BEST:: SOT 13060449 SOS 7082260 HAS SOPS 7082260 HAS SOUS 3759349 HAS SOUPS 3759349 WITH SCORE 3766431.26
AT ITER 4313 NEW BEST:: SOT 13061102 SOS 7081220 HAS SOPS 7081220 HAS SOUS 3758609 HAS SOUPS 3758609 WITH SCORE 3765690.22
AT ITER 4323 NEW BEST:: SOT 13061102 SOS 7080648 HAS SOPS 7080648 HAS SOUS 3758168 HAS SOUPS 3758168 WITH SCORE 3765248.648
AT ITER 4324 NEW BEST:: SOT 13061491 SOS 7080547 HAS SOPS 7080547 HAS SOUS 3758067 HAS SOUPS 3758067 WITH SCORE 3765147.547
AT ITER 4326 NEW BEST:: SOT 13061324 SOS 7080046 HAS SOPS 7080046 HAS SOUS 3757733 HAS SOUPS 3757733 WITH SCORE 3764813.046
AT ITER 4330 NEW BEST:: SOT 13059820 SOS 7078542 HAS SOPS 7078542 HAS SOUS 3756800 HAS SOUPS 3756800 WITH SCORE 3763878.542
AT ITER 4336 NEW BEST:: SOT 13059107 SOS 7076920 HAS SOPS 7076920 HAS SOUS 3755891 HAS SOUPS 3755891 WITH SCORE 3762967.92
AT ITER 4341 NEW BEST:: SOT 13059202 SOS 7073960 HAS SOPS 7073960 HAS SOUS 3755219 HAS SOUPS 3755219 WITH SCORE 3762292.96
AT ITER 4342 NEW BEST:: SOT 13058779 SOS 7074943 HAS SOPS 7074943 HAS SOUS 3754373 HAS SOUPS 3754373 WITH SCORE 3761447.943
AT ITER 4345 NEW BEST:: SOT 13058153 SOS 7073691 HAS SOPS 7073691 HAS SOUS 3753747 HAS SOUPS 3753747 WITH SCORE 3760820.691
AT ITER 4349 NEW BEST:: SOT 13058153 SOS 7073691 HAS SOPS 7073691 HAS SOUS 3753102 HAS SOUPS 3753102 WITH SCORE 3760175.691
AT ITER 4363 NEW BEST:: SOT 13058153 SOS 7073295 HAS SOPS 7073295 HAS SOUS 3753059 HAS SOUPS 3753059 WITH SCORE 3760132.295
AT ITER 4377 NEW BEST:: SOT 13057704 SOS 7072545 HAS SOPS 7072545 HAS SOUS 3752778 HAS SOUPS 3752778 WITH SCORE 3759850.545
AT ITER 4379 NEW BEST:: SOT 13057704 SOS 7072065 HAS SOPS 7072065 HAS SOUS 3752298 HAS SOUPS 3752298 WITH SCORE 3759370.065
AT ITER 4380 NEW BEST:: SOT 13057704 SOS 7072065 HAS SOPS 7072065 HAS SOUS 3752158 HAS SOUPS 3752158 WITH SCORE 3759230.065
AT ITER 4383 NEW BEST:: SOT 13057704 SOS 7071954 HAS SOPS 7071954 HAS SOUS 3752047 HAS SOUPS 3752047 WITH SCORE 3759118.954
AT ITER 4388 NEW BEST:: SOT 13057430 SOS 7070647 HAS SOPS 7070647 HAS SOUS 3751499 HAS SOUPS 3751499 WITH SCORE 3758569.647
AT ITER 4391 NEW BEST:: SOT 13057430 SOS 7070269 HAS SOPS 7070269 HAS SOUS 3751499 HAS SOUPS 3751499 WITH SCORE 3758569.269
AT ITER 4394 NEW BEST:: SOT 13057430 SOS 7070269 HAS SOPS 7070269 HAS SOUS 3751348 HAS SOUPS 3751348 WITH SCORE 3758418.269
AT ITER 4395 NEW BEST:: SOT 13057278 SOS 7085188 HAS SOPS 7085188 HAS SOUS 3751196 HAS SOUPS 3751196 WITH SCORE 3758281.188
AT ITER 4396 NEW BEST:: SOT 13056538 SOS 7083708 HAS SOPS 7083708 HAS SOUS 3750456 HAS SOUPS 3750456 WITH SCORE 3757539.708
AT ITER 4398 NEW BEST:: SOT 13056244 SOS 7084102 HAS SOPS 7084102 HAS SOUS 3749661 HAS SOUPS 3749661 WITH SCORE 3756745.102
AT ITER 4404 NEW BEST:: SOT 13056026 SOS 7083884 HAS SOPS 7083884 HAS SOUS 3749443 HAS SOUPS 3749443 WITH SCORE 3756526.884
AT ITER 4410 NEW BEST:: SOT 13055697 SOS 7083618 HAS SOPS 7083618 HAS SOUS 3749177 HAS SOUPS 3749177 WITH SCORE 3756260.618
AT ITER 4411 NEW BEST:: SOT 13054284 SOS 7082073 HAS SOPS 7082073 HAS SOUS 3749005 HAS SOUPS 3749005 WITH SCORE 3756087.073
AT ITER 4412 NEW BEST:: SOT 13054284 SOS 7082073 HAS SOPS 7082073 HAS SOUS 3747776 HAS SOUPS 3747776 WITH SCORE 3754858.073
AT ITER 4418 NEW BEST:: SOT 13053724 SOS 7081542 HAS SOPS 7081542 HAS SOUS 3747216 HAS SOUPS 3747216 WITH SCORE 3754297.542
AT ITER 4425 NEW BEST:: SOT 13053405 SOS 7081223 HAS SOPS 7081223 HAS SOUS 3746897 HAS SOUPS 3746897 WITH SCORE 3753978.223
AT ITER 4430 NEW BEST:: SOT 13051417 SOS 7078378 HAS SOPS 7078378 HAS SOUS 3744973 HAS SOUPS 3744973 WITH SCORE 3752051.378
AT ITER 4437 NEW BEST:: SOT 13051390 SOS 7078324 HAS SOPS 7078324 HAS SOUS 3744919 HAS SOUPS 3744919 WITH SCORE 3751997.324
AT ITER 4443 NEW BEST:: SOT 13050406 SOS 7074456 HAS SOPS 7074456 HAS SOUS 3742035 HAS SOUPS 3742035 WITH SCORE 3749109.456
AT ITER 4451 NEW BEST:: SOT 13048563 SOS 7071980 HAS SOPS 7071980 HAS SOUS 3741288 HAS SOUPS 3741288 WITH SCORE 3748359.98
AT ITER 4453 NEW BEST:: SOT 13047403 SOS 7070750 HAS SOPS 7070750 HAS SOUS 3741148 HAS SOUPS 3741148 WITH SCORE 3748218.75
AT ITER 4455 NEW BEST:: SOT 13047829 SOS 7069352 HAS SOPS 7069352 HAS SOUS 3740299 HAS SOUPS 3740299 WITH SCORE 3747368.352
AT ITER 4457 NEW BEST:: SOT 13049216 SOS 7070850 HAS SOPS 7070850 HAS SOUS 3738891 HAS SOUPS 3738891 WITH SCORE 3745961.85
AT ITER 4462 NEW BEST:: SOT 13049216 SOS 7070850 HAS SOPS 7070850 HAS SOUS 3738624 HAS SOUPS 3738624 WITH SCORE 3745694.85
AT ITER 4464 NEW BEST:: SOT 13049216 SOS 7069965 HAS SOPS 7069965 HAS SOUS 3737739 HAS SOUPS 3737739 WITH SCORE 3744808.965
AT ITER 4472 NEW BEST:: SOT 13049344 SOS 7070668 HAS SOPS 7070668 HAS SOUS 3737548 HAS SOUPS 3737548 WITH SCORE 3744618.668
AT ITER 4481 NEW BEST:: SOT 13048271 SOS 7069595 HAS SOPS 7069595 HAS SOUS 3736475 HAS SOUPS 3736475 WITH SCORE 3743544.595
AT ITER 4482 NEW BEST:: SOT 13048163 SOS 7068753 HAS SOPS 7068753 HAS SOUS 3736370 HAS SOUPS 3736370 WITH SCORE 3743438.753
AT ITER 4483 NEW BEST:: SOT 13047219 SOS 7067376 HAS SOPS 7067376 HAS SOUS 3735426 HAS SOUPS 3735426 WITH SCORE 3742493.376
AT ITER 4485 NEW BEST:: SOT 13047151 SOS 7067308 HAS SOPS 7067308 HAS SOUS 3735290 HAS SOUPS 3735290 WITH SCORE 3742357.308
AT ITER 4486 NEW BEST:: SOT 13047151 SOS 7067585 HAS SOPS 7067585 HAS SOUS 3735013 HAS SOUPS 3735013 WITH SCORE 3742080.585
AT ITER 4499 NEW BEST:: SOT 13046323 SOS 7063830 HAS SOPS 7063830 HAS SOUS 3733140 HAS SOUPS 3733140 WITH SCORE 3740203.83
AT ITER 4500 NEW BEST:: SOT 13046323 SOS 7063830 HAS SOPS 7063830 HAS SOUS 3732737 HAS SOUPS 3732737 WITH SCORE 3739800.83
AT ITER 4501 NEW BEST:: SOT 13045805 SOS 7063312 HAS SOPS 7063312 HAS SOUS 3732219 HAS SOUPS 3732219 WITH SCORE 3739282.312
AT ITER 4502 NEW BEST:: SOT 13045424 SOS 7062550 HAS SOPS 7062550 HAS SOUS 3731457 HAS SOUPS 3731457 WITH SCORE 3738519.55
AT ITER 4510 NEW BEST:: SOT 13044595 SOS 7060892 HAS SOPS 7060892 HAS SOUS 3728781 HAS SOUPS 3728781 WITH SCORE 3735841.892
AT ITER 4512 NEW BEST:: SOT 13044595 SOS 7060892 HAS SOPS 7060892 HAS SOUS 3728658 HAS SOUPS 3728658 WITH SCORE 3735718.892
AT ITER 4523 NEW BEST:: SOT 13043849 SOS 7057908 HAS SOPS 7057908 HAS SOUS 3726700 HAS SOUPS 3726700 WITH SCORE 3733757.908
AT ITER 4531 NEW BEST:: SOT 13043122 SOS 7056454 HAS SOPS 7056454 HAS SOUS 3725484 HAS SOUPS 3725484 WITH SCORE 3732540.454
AT ITER 4537 NEW BEST:: SOT 13041304 SOS 7052818 HAS SOPS 7052818 HAS SOUS 3722988 HAS SOUPS 3722988 WITH SCORE 3730040.818
AT ITER 4546 NEW BEST:: SOT 13040929 SOS 7052443 HAS SOPS 7052443 HAS SOUS 3722613 HAS SOUPS 3722613 WITH SCORE 3729665.443
AT ITER 4548 NEW BEST:: SOT 13040981 SOS 7049893 HAS SOPS 7049893 HAS SOUS 3721857 HAS SOUPS 3721857 WITH SCORE 3728906.893
AT ITER 4564 NEW BEST:: SOT 13040639 SOS 7049209 HAS SOPS 7049209 HAS SOUS 3720831 HAS SOUPS 3720831 WITH SCORE 3727880.209
AT ITER 4567 NEW BEST:: SOT 13040668 SOS 7049555 HAS SOPS 7049555 HAS SOUS 3720741 HAS SOUPS 3720741 WITH SCORE 3727790.555
AT ITER 4571 NEW BEST:: SOT 13040054 SOS 7048941 HAS SOPS 7048941 HAS SOUS 3720127 HAS SOUPS 3720127 WITH SCORE 3727175.941
AT ITER 4578 NEW BEST:: SOT 13037259 SOS 7044893 HAS SOPS 7044893 HAS SOUS 3717332 HAS SOUPS 3717332 WITH SCORE 3724376.893
AT ITER 4583 NEW BEST:: SOT 13036435 SOS 7039149 HAS SOPS 7039149 HAS SOUS 3715253 HAS SOUPS 3715253 WITH SCORE 3722292.149
AT ITER 4584 NEW BEST:: SOT 13037216 SOS 7038546 HAS SOPS 7038546 HAS SOUS 3714935 HAS SOUPS 3714935 WITH SCORE 3721973.546
AT ITER 4587 NEW BEST:: SOT 13037396 SOS 7037628 HAS SOPS 7037628 HAS SOUS 3714017 HAS SOUPS 3714017 WITH SCORE 3721054.628
AT ITER 4598 NEW BEST:: SOT 13037336 SOS 7038096 HAS SOPS 7038096 HAS SOUS 3713897 HAS SOUPS 3713897 WITH SCORE 3720935.096
AT ITER 4599 NEW BEST:: SOT 13032946 SOS 7087286 HAS SOPS 7087286 HAS SOUS 3713846 HAS SOUPS 3713846 WITH SCORE 3720933.286
AT ITER 4601 NEW BEST:: SOT 13032070 SOS 7085534 HAS SOPS 7085534 HAS SOUS 3713060 HAS SOUPS 3713060 WITH SCORE 3720145.534
AT ITER 4602 NEW BEST:: SOT 13031898 SOS 7084522 HAS SOPS 7084522 HAS SOUS 3712892 HAS SOUPS 3712892 WITH SCORE 3719976.522
AT ITER 4610 NEW BEST:: SOT 13031097 SOS 7083281 HAS SOPS 7083281 HAS SOUS 3712170 HAS SOUPS 3712170 WITH SCORE 3719253.281
AT ITER 4613 NEW BEST:: SOT 13031221 SOS 7083967 HAS SOPS 7083967 HAS SOUS 3711675 HAS SOUPS 3711675 WITH SCORE 3718758.967
AT ITER 4615 NEW BEST:: SOT 13031221 SOS 7080455 HAS SOPS 7080455 HAS SOUS 3711675 HAS SOUPS 3711675 WITH SCORE 3718755.455
AT ITER 4616 NEW BEST:: SOT 13030780 SOS 7074618 HAS SOPS 7074618 HAS SOUS 3708992 HAS SOUPS 3708992 WITH SCORE 3716066.618
AT ITER 4618 NEW BEST:: SOT 13030780 SOS 7074085 HAS SOPS 7074085 HAS SOUS 3708992 HAS SOUPS 3708992 WITH SCORE 3716066.085
AT ITER 4624 NEW BEST:: SOT 13030090 SOS 7073395 HAS SOPS 7073395 HAS SOUS 3708466 HAS SOUPS 3708466 WITH SCORE 3715539.395
AT ITER 4626 NEW BEST:: SOT 13029228 SOS 7072533 HAS SOPS 7072533 HAS SOUS 3707604 HAS SOUPS 3707604 WITH SCORE 3714676.533
AT ITER 4634 NEW BEST:: SOT 13029228 SOS 7072294 HAS SOPS 7072294 HAS SOUS 3707365 HAS SOUPS 3707365 WITH SCORE 3714437.294
AT ITER 4644 NEW BEST:: SOT 13029228 SOS 7070440 HAS SOPS 7070440 HAS SOUS 3706689 HAS SOUPS 3706689 WITH SCORE 3713759.44
AT ITER 4649 NEW BEST:: SOT 13030025 SOS 7072034 HAS SOPS 7072034 HAS SOUS 3706527 HAS SOUPS 3706527 WITH SCORE 3713599.034
AT ITER 4650 NEW BEST:: SOT 13029997 SOS 7069632 HAS SOPS 7069632 HAS SOUS 3706430 HAS SOUPS 3706430 WITH SCORE 3713499.632
AT ITER 4651 NEW BEST:: SOT 13029705 SOS 7069206 HAS SOPS 7069206 HAS SOUS 3706000 HAS SOUPS 3706000 WITH SCORE 3713069.206
AT ITER 4652 NEW BEST:: SOT 13027697 SOS 7066667 HAS SOPS 7066667 HAS SOUS 3704886 HAS SOUPS 3704886 WITH SCORE 3711952.667
AT ITER 4654 NEW BEST:: SOT 13027697 SOS 7066310 HAS SOPS 7066310 HAS SOUS 3704003 HAS SOUPS 3704003 WITH SCORE 3711069.31
AT ITER 4657 NEW BEST:: SOT 13027441 SOS 7065798 HAS SOPS 7065798 HAS SOUS 3703994 HAS SOUPS 3703994 WITH SCORE 3711059.798
AT ITER 4660 NEW BEST:: SOT 13026876 SOS 7065798 HAS SOPS 7065798 HAS SOUS 3703429 HAS SOUPS 3703429 WITH SCORE 3710494.798
AT ITER 4664 NEW BEST:: SOT 13025804 SOS 7064125 HAS SOPS 7064125 HAS SOUS 3702323 HAS SOUPS 3702323 WITH SCORE 3709387.125
AT ITER 4674 NEW BEST:: SOT 13024472 SOS 7062127 HAS SOPS 7062127 HAS SOUS 3700991 HAS SOUPS 3700991 WITH SCORE 3708053.127
AT ITER 4679 NEW BEST:: SOT 13023963 SOS 7060091 HAS SOPS 7060091 HAS SOUS 3699973 HAS SOUPS 3699973 WITH SCORE 3707033.091
AT ITER 4683 NEW BEST:: SOT 13022995 SOS 7059123 HAS SOPS 7059123 HAS SOUS 3699005 HAS SOUPS 3699005 WITH SCORE 3706064.123
AT ITER 4684 NEW BEST:: SOT 13022906 SOS 7058945 HAS SOPS 7058945 HAS SOUS 3698827 HAS SOUPS 3698827 WITH SCORE 3705885.945
AT ITER 4685 NEW BEST:: SOT 13022866 SOS 7058376 HAS SOPS 7058376 HAS SOUS 3698725 HAS SOUPS 3698725 WITH SCORE 3705783.376
AT ITER 4690 NEW BEST:: SOT 13022866 SOS 7056902 HAS SOPS 7056902 HAS SOUS 3698723 HAS SOUPS 3698723 WITH SCORE 3705779.902
AT ITER 4691 NEW BEST:: SOT 13022866 SOS 7056902 HAS SOPS 7056902 HAS SOUS 3697929 HAS SOUPS 3697929 WITH SCORE 3704985.902
AT ITER 4697 NEW BEST:: SOT 13021458 SOS 7055870 HAS SOPS 7055870 HAS SOUS 3695493 HAS SOUPS 3695493 WITH SCORE 3702548.87
AT ITER 4699 NEW BEST:: SOT 13022426 SOS 7054916 HAS SOPS 7054916 HAS SOUS 3694539 HAS SOUPS 3694539 WITH SCORE 3701593.916
AT ITER 4707 NEW BEST:: SOT 13022426 SOS 7054916 HAS SOPS 7054916 HAS SOUS 3694338 HAS SOUPS 3694338 WITH SCORE 3701392.916
AT ITER 4708 NEW BEST:: SOT 13021146 SOS 7051660 HAS SOPS 7051660 HAS SOUS 3691082 HAS SOUPS 3691082 WITH SCORE 3698133.66
AT ITER 4710 NEW BEST:: SOT 13021486 SOS 7051246 HAS SOPS 7051246 HAS SOUS 3690639 HAS SOUPS 3690639 WITH SCORE 3697690.246
AT ITER 4722 NEW BEST:: SOT 13021486 SOS 7050536 HAS SOPS 7050536 HAS SOUS 3689105 HAS SOUPS 3689105 WITH SCORE 3696155.536
AT ITER 4724 NEW BEST:: SOT 13021146 SOS 7049725 HAS SOPS 7049725 HAS SOUS 3688992 HAS SOUPS 3688992 WITH SCORE 3696041.725
AT ITER 4731 NEW BEST:: SOT 13020500 SOS 7048981 HAS SOPS 7048981 HAS SOUS 3688346 HAS SOUPS 3688346 WITH SCORE 3695394.981
AT ITER 4742 NEW BEST:: SOT 13019235 SOS 7047716 HAS SOPS 7047716 HAS SOUS 3688130 HAS SOUPS 3688130 WITH SCORE 3695177.716
AT ITER 4743 NEW BEST:: SOT 13018645 SOS 7046536 HAS SOPS 7046536 HAS SOUS 3686829 HAS SOUPS 3686829 WITH SCORE 3693875.536
AT ITER 4744 NEW BEST:: SOT 13017699 SOS 7045590 HAS SOPS 7045590 HAS SOUS 3686829 HAS SOUPS 3686829 WITH SCORE 3693874.59
AT ITER 4758 NEW BEST:: SOT 13017699 SOS 7045171 HAS SOPS 7045171 HAS SOUS 3686205 HAS SOUPS 3686205 WITH SCORE 3693250.171
AT ITER 4761 NEW BEST:: SOT 13018151 SOS 7044839 HAS SOPS 7044839 HAS SOUS 3685930 HAS SOUPS 3685930 WITH SCORE 3692974.839
AT ITER 4762 NEW BEST:: SOT 13018033 SOS 7044721 HAS SOPS 7044721 HAS SOUS 3685812 HAS SOUPS 3685812 WITH SCORE 3692856.721
AT ITER 4772 NEW BEST:: SOT 13017473 SOS 7044161 HAS SOPS 7044161 HAS SOUS 3685812 HAS SOUPS 3685812 WITH SCORE 3692856.161
AT ITER 4778 NEW BEST:: SOT 13017455 SOS 7043120 HAS SOPS 7043120 HAS SOUS 3684368 HAS SOUPS 3684368 WITH SCORE 3691411.12
AT ITER 4780 NEW BEST:: SOT 13017165 SOS 7043196 HAS SOPS 7043196 HAS SOUS 3683798 HAS SOUPS 3683798 WITH SCORE 3690841.196
AT ITER 4781 NEW BEST:: SOT 13017165 SOS 7043161 HAS SOPS 7043161 HAS SOUS 3683728 HAS SOUPS 3683728 WITH SCORE 3690771.161
AT ITER 4787 NEW BEST:: SOT 13015919 SOS 7041915 HAS SOPS 7041915 HAS SOUS 3683067 HAS SOUPS 3683067 WITH SCORE 3690108.915
AT ITER 4791 NEW BEST:: SOT 13014460 SOS 7040456 HAS SOPS 7040456 HAS SOUS 3681501 HAS SOUPS 3681501 WITH SCORE 3688541.456
AT ITER 4793 NEW BEST:: SOT 13014460 SOS 7040456 HAS SOPS 7040456 HAS SOUS 3681412 HAS SOUPS 3681412 WITH SCORE 3688452.456
AT ITER 4794 NEW BEST:: SOT 13012655 SOS 7036665 HAS SOPS 7036665 HAS SOUS 3679607 HAS SOUPS 3679607 WITH SCORE 3686643.665
AT ITER 4799 NEW BEST:: SOT 13012655 SOS 7036665 HAS SOPS 7036665 HAS SOUS 3679606 HAS SOUPS 3679606 WITH SCORE 3686642.665
AT ITER 4805 NEW BEST:: SOT 13012607 SOS 7036569 HAS SOPS 7036569 HAS SOUS 3679462 HAS SOUPS 3679462 WITH SCORE 3686498.569
AT ITER 4808 NEW BEST:: SOT 13012325 SOS 7036005 HAS SOPS 7036005 HAS SOUS 3678898 HAS SOUPS 3678898 WITH SCORE 3685934.005
AT ITER 4814 NEW BEST:: SOT 13009819 SOS 7032247 HAS SOPS 7032247 HAS SOUS 3676392 HAS SOUPS 3676392 WITH SCORE 3683424.247
AT ITER 4823 NEW BEST:: SOT 13009243 SOS 7031095 HAS SOPS 7031095 HAS SOUS 3676311 HAS SOUPS 3676311 WITH SCORE 3683342.095
AT ITER 4825 NEW BEST:: SOT 13009214 SOS 7031066 HAS SOPS 7031066 HAS SOUS 3676282 HAS SOUPS 3676282 WITH SCORE 3683313.066
AT ITER 4829 NEW BEST:: SOT 13009932 SOS 7030480 HAS SOPS 7030480 HAS SOUS 3675696 HAS SOUPS 3675696 WITH SCORE 3682726.48
AT ITER 4832 NEW BEST:: SOT 13010015 SOS 7031227 HAS SOPS 7031227 HAS SOUS 3674995 HAS SOUPS 3674995 WITH SCORE 3682026.227
AT ITER 4835 NEW BEST:: SOT 13009358 SOS 7029689 HAS SOPS 7029689 HAS SOUS 3674338 HAS SOUPS 3674338 WITH SCORE 3681367.689
AT ITER 4839 NEW BEST:: SOT 13006820 SOS 7026483 HAS SOPS 7026483 HAS SOUS 3671800 HAS SOUPS 3671800 WITH SCORE 3678826.483
AT ITER 4841 NEW BEST:: SOT 13006418 SOS 7025679 HAS SOPS 7025679 HAS SOUS 3670996 HAS SOUPS 3670996 WITH SCORE 3678021.679
AT ITER 4842 NEW BEST:: SOT 13006418 SOS 7025560 HAS SOPS 7025560 HAS SOUS 3670996 HAS SOUPS 3670996 WITH SCORE 3678021.56
AT ITER 4845 NEW BEST:: SOT 13005743 SOS 7024643 HAS SOPS 7024643 HAS SOUS 3670321 HAS SOUPS 3670321 WITH SCORE 3677345.643
AT ITER 4850 NEW BEST:: SOT 13004370 SOS 7023270 HAS SOPS 7023270 HAS SOUS 3668948 HAS SOUPS 3668948 WITH SCORE 3675971.27
AT ITER 4858 NEW BEST:: SOT 13004370 SOS 7023270 HAS SOPS 7023270 HAS SOUS 3668939 HAS SOUPS 3668939 WITH SCORE 3675962.27
AT ITER 4859 NEW BEST:: SOT 13000638 SOS 7021790 HAS SOPS 7021790 HAS SOUS 3665383 HAS SOUPS 3665383 WITH SCORE 3672404.79
AT ITER 4862 NEW BEST:: SOT 13000588 SOS 7021690 HAS SOPS 7021690 HAS SOUS 3665283 HAS SOUPS 3665283 WITH SCORE 3672304.69
AT ITER 4864 NEW BEST:: SOT 13000910 SOS 7020945 HAS SOPS 7020945 HAS SOUS 3664538 HAS SOUPS 3664538 WITH SCORE 3671558.945
AT ITER 4869 NEW BEST:: SOT 13000910 SOS 7020945 HAS SOPS 7020945 HAS SOUS 3664531 HAS SOUPS 3664531 WITH SCORE 3671551.945
AT ITER 4871 NEW BEST:: SOT 13000910 SOS 7020945 HAS SOPS 7020945 HAS SOUS 3664074 HAS SOUPS 3664074 WITH SCORE 3671094.945
AT ITER 4875 NEW BEST:: SOT 13000910 SOS 7020945 HAS SOPS 7020945 HAS SOUS 3664059 HAS SOUPS 3664059 WITH SCORE 3671079.945
AT ITER 4881 NEW BEST:: SOT 13000867 SOS 7020881 HAS SOPS 7020881 HAS SOUS 3663995 HAS SOUPS 3663995 WITH SCORE 3671015.881
AT ITER 4889 NEW BEST:: SOT 13000427 SOS 7019650 HAS SOPS 7019650 HAS SOUS 3663808 HAS SOUPS 3663808 WITH SCORE 3670827.65
AT ITER 4894 NEW BEST:: SOT 13000485 SOS 7019592 HAS SOPS 7019592 HAS SOUS 3663261 HAS SOUPS 3663261 WITH SCORE 3670280.592
AT ITER 4895 NEW BEST:: SOT 13000084 SOS 7018790 HAS SOPS 7018790 HAS SOUS 3662459 HAS SOUPS 3662459 WITH SCORE 3669477.79
AT ITER 4897 NEW BEST:: SOT 13000255 SOS 7018961 HAS SOPS 7018961 HAS SOUS 3662347 HAS SOUPS 3662347 WITH SCORE 3669365.961
AT ITER 4902 NEW BEST:: SOT 12997240 SOS 7015005 HAS SOPS 7015005 HAS SOUS 3659645 HAS SOUPS 3659645 WITH SCORE 3666660.005
AT ITER 4905 NEW BEST:: SOT 12996956 SOS 7014354 HAS SOPS 7014354 HAS SOUS 3658627 HAS SOUPS 3658627 WITH SCORE 3665641.354
AT ITER 4911 NEW BEST:: SOT 12995728 SOS 7013126 HAS SOPS 7013126 HAS SOUS 3657711 HAS SOUPS 3657711 WITH SCORE 3664724.126
AT ITER 4918 NEW BEST:: SOT 12995793 SOS 7012701 HAS SOPS 7012701 HAS SOUS 3657464 HAS SOUPS 3657464 WITH SCORE 3664476.701
AT ITER 4920 NEW BEST:: SOT 12995781 SOS 7012677 HAS SOPS 7012677 HAS SOUS 3657440 HAS SOUPS 3657440 WITH SCORE 3664452.677
AT ITER 4922 NEW BEST:: SOT 12995309 SOS 7012205 HAS SOPS 7012205 HAS SOUS 3656968 HAS SOUPS 3656968 WITH SCORE 3663980.205
AT ITER 4924 NEW BEST:: SOT 12994644 SOS 7011540 HAS SOPS 7011540 HAS SOUS 3656303 HAS SOUPS 3656303 WITH SCORE 3663314.54
AT ITER 4928 NEW BEST:: SOT 12994222 SOS 7010590 HAS SOPS 7010590 HAS SOUS 3655353 HAS SOUPS 3655353 WITH SCORE 3662363.59
AT ITER 4930 NEW BEST:: SOT 12994222 SOS 7010590 HAS SOPS 7010590 HAS SOUS 3654919 HAS SOUPS 3654919 WITH SCORE 3661929.59
AT ITER 4937 NEW BEST:: SOT 12994084 SOS 7010314 HAS SOPS 7010314 HAS SOUS 3654780 HAS SOUPS 3654780 WITH SCORE 3661790.314
AT ITER 4940 NEW BEST:: SOT 12994084 SOS 7010314 HAS SOPS 7010314 HAS SOUS 3654432 HAS SOUPS 3654432 WITH SCORE 3661442.314
AT ITER 4942 NEW BEST:: SOT 12994084 SOS 7010314 HAS SOPS 7010314 HAS SOUS 3654004 HAS SOUPS 3654004 WITH SCORE 3661014.314
AT ITER 4948 NEW BEST:: SOT 12993356 SOS 7009586 HAS SOPS 7009586 HAS SOUS 3653852 HAS SOUPS 3653852 WITH SCORE 3660861.586
AT ITER 4952 NEW BEST:: SOT 12992317 SOS 7008547 HAS SOPS 7008547 HAS SOUS 3652773 HAS SOUPS 3652773 WITH SCORE 3659781.547
AT ITER 4956 NEW BEST:: SOT 12992293 SOS 7007369 HAS SOPS 7007369 HAS SOUS 3651619 HAS SOUPS 3651619 WITH SCORE 3658626.369
AT ITER 4960 NEW BEST:: SOT 12992305 SOS 7007393 HAS SOPS 7007393 HAS SOUS 3651366 HAS SOUPS 3651366 WITH SCORE 3658373.393
AT ITER 4965 NEW BEST:: SOT 12992305 SOS 7006435 HAS SOPS 7006435 HAS SOUS 3650408 HAS SOUPS 3650408 WITH SCORE 3657414.435
AT ITER 4983 NEW BEST:: SOT 12991601 SOS 7005334 HAS SOPS 7005334 HAS SOUS 3649678 HAS SOUPS 3649678 WITH SCORE 3656683.334
AT ITER 4986 NEW BEST:: SOT 12990839 SOS 7004191 HAS SOPS 7004191 HAS SOUS 3648916 HAS SOUPS 3648916 WITH SCORE 3655920.191
AT ITER 4988 NEW BEST:: SOT 12990393 SOS 7003299 HAS SOPS 7003299 HAS SOUS 3648247 HAS SOUPS 3648247 WITH SCORE 3655250.299
AT ITER 4989 NEW BEST:: SOT 12989701 SOS 7001886 HAS SOPS 7001886 HAS SOUS 3646652 HAS SOUPS 3646652 WITH SCORE 3653653.886
AT ITER 4995 NEW BEST:: SOT 12989848 SOS 7001345 HAS SOPS 7001345 HAS SOUS 3646111 HAS SOUPS 3646111 WITH SCORE 3653112.345
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-00 ( (AG( (! ((potential((tk(P3779)>=1))))))) | ((potential((tk(P523)>=1)))) )
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-01 (! ( ( (! ( ( ((potential((tk(P2049)>=1)))) | ((potential((tk(P1572)>=1) & (tk(P507)>=1) & (tk(P3642)>=1)))) ) | ( ((potential((tk(P1481)>=1)))) & ((potential((tk(P2638)>=1)))) ) )) & ( (AF( ((potential((tk(P927)>=1)))))) & (AF( ((potential((tk(P2631)>=1)))))) ) ) | ((potential((tk(P1783)>=1)))) ))
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-02 (AU( ( ( ( ((potential((tk(P2406)>=1) & (tk(P999)>=1) & (tk(P4057)>=1)))) | ((potential((tk(P3514)>=1)))) ) | (! ((potential((tk(P2823)>=1))))) ) & (EF( ((potential((tk(P1575)>=1)))))) ) , ( (EG( ((potential((tk(P1555)>=1)))))) & ( (! ((potential((tk(P854)>=1))))) | ((potential((tk(P2065)>=1)))) ) ) ))
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-03 (EF( (EX( (EF( ((potential((tk(P2460)>=1) & (tk(P4356)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-04 ( ( (EG( (! ( ((potential((tk(P2291)>=1)))) & ((potential((tk(P4246)>=1)))) )))) & (AF( ( ( ((potential((tk(P3496)>=1)))) | ((potential((tk(P295)>=1)))) ) | ( ((potential((tk(P2142)>=1)))) & ((potential((tk(P2639)>=1) & (tk(P638)>=1) & (tk(P3222)>=1)))) ) ))) ) & (EF( ( (EG( ((potential((tk(P388)>=1)))))) & (EG( ((potential((tk(P2676)>=1)))))) ))) )
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-05 (EG( (EU( (! ((potential((tk(P1558)>=1))))) , ((potential((tk(P563)>=1)))) ))))
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-06 (EG( ( (AF( ( ((potential((tk(P252)>=1) & (tk(P179)>=1) & (tk(P2992)>=1)))) & ((potential((tk(P4353)>=1)))) ))) | ( (EF( ((potential((tk(P1145)>=1) & (tk(P4368)>=1)))))) | ( (! ((potential((tk(P1216)>=1))))) | ((potential((tk(P2487)>=1)))) ) ) )))
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-07 ( (AX( (AX( (! ((potential((tk(P666)>=1))))))))) & (EX( (! (AF( ((potential((tk(P3366)>=1))))))))) )
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-08 ( (EG( (! ( ((potential((tk(P974)>=1)))) & ((potential((tk(P166)>=1)))) )))) & (EF( ( (EF( ((potential((tk(P1912)>=1) & (tk(P999)>=1) & (tk(P3817)>=1)))))) | ( ( ((potential((tk(P2262)>=1) & (tk(P1819)>=1) & (tk(P4002)>=1)))) & ((potential((tk(P994)>=1)))) ) | ( ((potential((tk(P1650)>=1)))) | ((potential((tk(P1486)>=1)))) ) ) ))) )
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-09 (AG( (! (! (! ( ((potential((tk(P1461)>=1)))) & ((potential((tk(P996)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-10 ( (EU( (EF( ((potential((tk(P830)>=1)))))) , ( (! ((potential((tk(P4323)>=1))))) | ( ((potential((tk(P231)>=1)))) & ((potential((tk(P2522)>=1)))) ) ) )) & ( ((potential((tk(P2450)>=1)))) | (EF( (EF( ((potential((tk(P2311)>=1) & (tk(P958)>=1) & (tk(P3372)>=1)))))))) ) )
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-11 ( (AU( (AF( ((potential((tk(P2803)>=1) & (tk(P2444)>=1) & (tk(P4107)>=1)))))) , (AX( ((potential((tk(P4356)>=1)))))) )) | (AF( ((potential((tk(P4344)>=1)))))) )
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-12 ( (AU( (AG( ((potential((tk(P2906)>=1)))))) , (AF( ((potential((tk(P989)>=1)))))) )) | ((potential((tk(P2885)>=1)))) )
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-13 (EG( (AX( (EF( ((potential((tk(P1059)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-14 (AU( (EF( ( ((potential((tk(P994)>=1)))) & ((potential((tk(P2342)>=1)))) ))) , (! (! ((potential((tk(P1650)>=1)))))) ))
PROPERTY: FlexibleBarrier-PT-18b-CTLFireability-15 (EG( (! (AG( ( ((potential((tk(P2475)>=1) & (tk(P142)>=1) & (tk(P2977)>=1)))) & ((potential((tk(P2900)>=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="FlexibleBarrier-PT-18b"
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 FlexibleBarrier-PT-18b, 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 r078-smll-158922972500380"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-18b.tgz
mv FlexibleBarrier-PT-18b 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 ;