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-158922972500379.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500379
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-18b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589443146184

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

GOT IT HERE. BS
Petri model created: 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 14 NEW BEST:: SOT 14206851 SOS 7544969 HAS SOPS 7544969 HAS SOUS 5317158 HAS SOUPS 5317158 WITH SCORE 5324702.969
AT ITER 20 NEW BEST:: SOT 14206527 SOS 7544881 HAS SOPS 7544881 HAS SOUS 5317044 HAS SOUPS 5317044 WITH SCORE 5324588.881
AT ITER 27 NEW BEST:: SOT 14206527 SOS 7543637 HAS SOPS 7543637 HAS SOUS 5315800 HAS SOUPS 5315800 WITH SCORE 5323343.637
AT ITER 28 NEW BEST:: SOT 14206196 SOS 7542975 HAS SOPS 7542975 HAS SOUS 5315469 HAS SOUPS 5315469 WITH SCORE 5323011.975
AT ITER 33 NEW BEST:: SOT 14205451 SOS 7539995 HAS SOPS 7539995 HAS SOUS 5314723 HAS SOUPS 5314723 WITH SCORE 5322262.995
AT ITER 37 NEW BEST:: SOT 14205451 SOS 7508372 HAS SOPS 7508372 HAS SOUS 5312207 HAS SOUPS 5312207 WITH SCORE 5319715.372
AT ITER 39 NEW BEST:: SOT 14205720 SOS 7477776 HAS SOPS 7477776 HAS SOUS 5311753 HAS SOUPS 5311753 WITH SCORE 5319230.776
AT ITER 42 NEW BEST:: SOT 14205720 SOS 7477776 HAS SOPS 7477776 HAS SOUS 5311169 HAS SOUPS 5311169 WITH SCORE 5318646.776
AT ITER 43 NEW BEST:: SOT 14205720 SOS 7477468 HAS SOPS 7477468 HAS SOUS 5311169 HAS SOUPS 5311169 WITH SCORE 5318646.468
AT ITER 47 NEW BEST:: SOT 14205648 SOS 7477252 HAS SOPS 7477252 HAS SOUS 5311166 HAS SOUPS 5311166 WITH SCORE 5318643.252
AT ITER 52 NEW BEST:: SOT 14205815 SOS 7473926 HAS SOPS 7473926 HAS SOUS 5309524 HAS SOUPS 5309524 WITH SCORE 5316997.926
AT ITER 64 NEW BEST:: SOT 14204266 SOS 7472678 HAS SOPS 7472678 HAS SOUS 5308259 HAS SOUPS 5308259 WITH SCORE 5315731.678
AT ITER 69 NEW BEST:: SOT 14203315 SOS 7468874 HAS SOPS 7468874 HAS SOUS 5306576 HAS SOUPS 5306576 WITH SCORE 5314044.874
AT ITER 70 NEW BEST:: SOT 14202765 SOS 7467407 HAS SOPS 7467407 HAS SOUS 5304704 HAS SOUPS 5304704 WITH SCORE 5312171.407
AT ITER 73 NEW BEST:: SOT 14202979 SOS 7463483 HAS SOPS 7463483 HAS SOUS 5302649 HAS SOUPS 5302649 WITH SCORE 5310112.483
AT ITER 74 NEW BEST:: SOT 14203810 SOS 7462134 HAS SOPS 7462134 HAS SOUS 5302389 HAS SOUPS 5302389 WITH SCORE 5309851.134
AT ITER 79 NEW BEST:: SOT 14203117 SOS 7425824 HAS SOPS 7425824 HAS SOUS 5301695 HAS SOUPS 5301695 WITH SCORE 5309120.824
AT ITER 82 NEW BEST:: SOT 14202759 SOS 7423006 HAS SOPS 7423006 HAS SOUS 5299862 HAS SOUPS 5299862 WITH SCORE 5307285.006
AT ITER 87 NEW BEST:: SOT 14176434 SOS 7455529 HAS SOPS 7455529 HAS SOUS 5276165 HAS SOUPS 5276165 WITH SCORE 5283620.529
AT ITER 90 NEW BEST:: SOT 14175939 SOS 7454044 HAS SOPS 7454044 HAS SOUS 5276165 HAS SOUPS 5276165 WITH SCORE 5283619.044
AT ITER 94 NEW BEST:: SOT 14175337 SOS 7453442 HAS SOPS 7453442 HAS SOUS 5275563 HAS SOUPS 5275563 WITH SCORE 5283016.442
AT ITER 95 NEW BEST:: SOT 14174718 SOS 7452204 HAS SOPS 7452204 HAS SOUS 5275458 HAS SOUPS 5275458 WITH SCORE 5282910.204
AT ITER 103 NEW BEST:: SOT 14170366 SOS 7447855 HAS SOPS 7447855 HAS SOUS 5271106 HAS SOUPS 5271106 WITH SCORE 5278553.855
AT ITER 109 NEW BEST:: SOT 14170366 SOS 7446886 HAS SOPS 7446886 HAS SOUS 5271104 HAS SOUPS 5271104 WITH SCORE 5278550.886
AT ITER 121 NEW BEST:: SOT 14169774 SOS 7444518 HAS SOPS 7444518 HAS SOUS 5269867 HAS SOUPS 5269867 WITH SCORE 5277311.518
AT ITER 123 NEW BEST:: SOT 14169774 SOS 7443888 HAS SOPS 7443888 HAS SOUS 5269840 HAS SOUPS 5269840 WITH SCORE 5277283.888
AT ITER 128 NEW BEST:: SOT 14168529 SOS 7442794 HAS SOPS 7442794 HAS SOUS 5268728 HAS SOUPS 5268728 WITH SCORE 5276170.794
AT ITER 132 NEW BEST:: SOT 14168491 SOS 7442756 HAS SOPS 7442756 HAS SOUS 5268652 HAS SOUPS 5268652 WITH SCORE 5276094.756
AT ITER 133 NEW BEST:: SOT 14168103 SOS 7442368 HAS SOPS 7442368 HAS SOUS 5268651 HAS SOUPS 5268651 WITH SCORE 5276093.368
AT ITER 139 NEW BEST:: SOT 14168103 SOS 7441201 HAS SOPS 7441201 HAS SOUS 5267795 HAS SOUPS 5267795 WITH SCORE 5275236.201
AT ITER 142 NEW BEST:: SOT 14168103 SOS 7441201 HAS SOPS 7441201 HAS SOUS 5267794 HAS SOUPS 5267794 WITH SCORE 5275235.201
AT ITER 147 NEW BEST:: SOT 14168103 SOS 7439620 HAS SOPS 7439620 HAS SOUS 5265773 HAS SOUPS 5265773 WITH SCORE 5273212.62
AT ITER 153 NEW BEST:: SOT 14165777 SOS 7437379 HAS SOPS 7437379 HAS SOUS 5263510 HAS SOUPS 5263510 WITH SCORE 5270947.379
AT ITER 155 NEW BEST:: SOT 14165267 SOS 7436359 HAS SOPS 7436359 HAS SOUS 5262490 HAS SOUPS 5262490 WITH SCORE 5269926.359
AT ITER 156 NEW BEST:: SOT 14165278 SOS 7415195 HAS SOPS 7415195 HAS SOUS 5262501 HAS SOUPS 5262501 WITH SCORE 5269916.195
AT ITER 158 NEW BEST:: SOT 14165278 SOS 7415195 HAS SOPS 7415195 HAS SOUS 5262493 HAS SOUPS 5262493 WITH SCORE 5269908.195
AT ITER 165 NEW BEST:: SOT 14164700 SOS 7412883 HAS SOPS 7412883 HAS SOUS 5261337 HAS SOUPS 5261337 WITH SCORE 5268749.883
AT ITER 171 NEW BEST:: SOT 14165325 SOS 7411744 HAS SOPS 7411744 HAS SOUS 5261065 HAS SOUPS 5261065 WITH SCORE 5268476.744
AT ITER 178 NEW BEST:: SOT 14165325 SOS 7411226 HAS SOPS 7411226 HAS SOUS 5260846 HAS SOUPS 5260846 WITH SCORE 5268257.226
AT ITER 180 NEW BEST:: SOT 14164613 SOS 7409802 HAS SOPS 7409802 HAS SOUS 5259417 HAS SOUPS 5259417 WITH SCORE 5266826.802
AT ITER 181 NEW BEST:: SOT 14164307 SOS 7409189 HAS SOPS 7409189 HAS SOUS 5259406 HAS SOUPS 5259406 WITH SCORE 5266815.189
AT ITER 183 NEW BEST:: SOT 14162131 SOS 7404837 HAS SOPS 7404837 HAS SOUS 5257879 HAS SOUPS 5257879 WITH SCORE 5265283.837
AT ITER 184 NEW BEST:: SOT 14162425 SOS 7403423 HAS SOPS 7403423 HAS SOUS 5257859 HAS SOUPS 5257859 WITH SCORE 5265262.423
AT ITER 187 NEW BEST:: SOT 14161785 SOS 7402143 HAS SOPS 7402143 HAS SOUS 5256579 HAS SOUPS 5256579 WITH SCORE 5263981.143
AT ITER 195 NEW BEST:: SOT 14161576 SOS 7402161 HAS SOPS 7402161 HAS SOUS 5256370 HAS SOUPS 5256370 WITH SCORE 5263772.161
AT ITER 197 NEW BEST:: SOT 14161257 SOS 7400885 HAS SOPS 7400885 HAS SOUS 5256049 HAS SOUPS 5256049 WITH SCORE 5263449.885
AT ITER 199 NEW BEST:: SOT 14160126 SOS 7398623 HAS SOPS 7398623 HAS SOUS 5254937 HAS SOUPS 5254937 WITH SCORE 5262335.623
AT ITER 200 NEW BEST:: SOT 14160126 SOS 7396517 HAS SOPS 7396517 HAS SOUS 5253468 HAS SOUPS 5253468 WITH SCORE 5260864.517
AT ITER 208 NEW BEST:: SOT 14160126 SOS 7396195 HAS SOPS 7396195 HAS SOUS 5253468 HAS SOUPS 5253468 WITH SCORE 5260864.195
AT ITER 213 NEW BEST:: SOT 14159921 SOS 7395375 HAS SOPS 7395375 HAS SOUS 5253262 HAS SOUPS 5253262 WITH SCORE 5260657.375
AT ITER 214 NEW BEST:: SOT 14159651 SOS 7393378 HAS SOPS 7393378 HAS SOUS 5250548 HAS SOUPS 5250548 WITH SCORE 5257941.378
AT ITER 215 NEW BEST:: SOT 14159651 SOS 7393096 HAS SOPS 7393096 HAS SOUS 5250547 HAS SOUPS 5250547 WITH SCORE 5257940.096
AT ITER 220 NEW BEST:: SOT 14160471 SOS 7394736 HAS SOPS 7394736 HAS SOUS 5250072 HAS SOUPS 5250072 WITH SCORE 5257466.736
AT ITER 225 NEW BEST:: SOT 14158777 SOS 7393042 HAS SOPS 7393042 HAS SOUS 5250068 HAS SOUPS 5250068 WITH SCORE 5257461.042
AT ITER 227 NEW BEST:: SOT 14158211 SOS 7391910 HAS SOPS 7391910 HAS SOUS 5250067 HAS SOUPS 5250067 WITH SCORE 5257458.91
AT ITER 229 NEW BEST:: SOT 14157731 SOS 7389990 HAS SOPS 7389990 HAS SOUS 5249586 HAS SOUPS 5249586 WITH SCORE 5256975.99
AT ITER 232 NEW BEST:: SOT 14157274 SOS 7389075 HAS SOPS 7389075 HAS SOUS 5249447 HAS SOUPS 5249447 WITH SCORE 5256836.075
AT ITER 235 NEW BEST:: SOT 14156545 SOS 7386159 HAS SOPS 7386159 HAS SOUS 5247957 HAS SOUPS 5247957 WITH SCORE 5255343.159
AT ITER 243 NEW BEST:: SOT 14155991 SOS 7386148 HAS SOPS 7386148 HAS SOUS 5247645 HAS SOUPS 5247645 WITH SCORE 5255031.148
AT ITER 246 NEW BEST:: SOT 14155094 SOS 7381474 HAS SOPS 7381474 HAS SOUS 5244309 HAS SOUPS 5244309 WITH SCORE 5251690.474
AT ITER 252 NEW BEST:: SOT 14155094 SOS 7381474 HAS SOPS 7381474 HAS SOUS 5243952 HAS SOUPS 5243952 WITH SCORE 5251333.474
AT ITER 255 NEW BEST:: SOT 14154071 SOS 7380576 HAS SOPS 7380576 HAS SOUS 5243043 HAS SOUPS 5243043 WITH SCORE 5250423.576
AT ITER 262 NEW BEST:: SOT 14152745 SOS 7379341 HAS SOPS 7379341 HAS SOUS 5241789 HAS SOUPS 5241789 WITH SCORE 5249168.341
AT ITER 263 NEW BEST:: SOT 14150896 SOS 7379328 HAS SOPS 7379328 HAS SOUS 5241788 HAS SOUPS 5241788 WITH SCORE 5249167.328
AT ITER 265 NEW BEST:: SOT 14150896 SOS 7379328 HAS SOPS 7379328 HAS SOUS 5241786 HAS SOUPS 5241786 WITH SCORE 5249165.328
AT ITER 268 NEW BEST:: SOT 14150033 SOS 7379006 HAS SOPS 7379006 HAS SOUS 5241786 HAS SOUPS 5241786 WITH SCORE 5249165.006
AT ITER 269 NEW BEST:: SOT 14150033 SOS 7379006 HAS SOPS 7379006 HAS SOUS 5241783 HAS SOUPS 5241783 WITH SCORE 5249162.006
AT ITER 277 NEW BEST:: SOT 14149135 SOS 7375294 HAS SOPS 7375294 HAS SOUS 5240909 HAS SOUPS 5240909 WITH SCORE 5248284.294
AT ITER 280 NEW BEST:: SOT 14148897 SOS 7377937 HAS SOPS 7377937 HAS SOUS 5239864 HAS SOUPS 5239864 WITH SCORE 5247241.937
AT ITER 292 NEW BEST:: SOT 14148175 SOS 7375049 HAS SOPS 7375049 HAS SOUS 5239141 HAS SOUPS 5239141 WITH SCORE 5246516.049
AT ITER 302 NEW BEST:: SOT 14147034 SOS 7374174 HAS SOPS 7374174 HAS SOUS 5238252 HAS SOUPS 5238252 WITH SCORE 5245626.174
AT ITER 305 NEW BEST:: SOT 14146067 SOS 7373665 HAS SOPS 7373665 HAS SOUS 5237723 HAS SOUPS 5237723 WITH SCORE 5245096.665
AT ITER 306 NEW BEST:: SOT 14146067 SOS 7373665 HAS SOPS 7373665 HAS SOUS 5237722 HAS SOUPS 5237722 WITH SCORE 5245095.665
AT ITER 307 NEW BEST:: SOT 14146067 SOS 7373665 HAS SOPS 7373665 HAS SOUS 5237713 HAS SOUPS 5237713 WITH SCORE 5245086.665
AT ITER 311 NEW BEST:: SOT 14123740 SOS 7355961 HAS SOPS 7355961 HAS SOUS 5215601 HAS SOUPS 5215601 WITH SCORE 5222956.961
AT ITER 312 NEW BEST:: SOT 14123443 SOS 7352327 HAS SOPS 7352327 HAS SOUS 5214978 HAS SOUPS 5214978 WITH SCORE 5222330.327
AT ITER 315 NEW BEST:: SOT 14123078 SOS 7350867 HAS SOPS 7350867 HAS SOUS 5214248 HAS SOUPS 5214248 WITH SCORE 5221598.867
AT ITER 317 NEW BEST:: SOT 14122783 SOS 7350623 HAS SOPS 7350623 HAS SOUS 5213996 HAS SOUPS 5213996 WITH SCORE 5221346.623
AT ITER 319 NEW BEST:: SOT 14121893 SOS 7349302 HAS SOPS 7349302 HAS SOUS 5212647 HAS SOUPS 5212647 WITH SCORE 5219996.302
AT ITER 326 NEW BEST:: SOT 14121410 SOS 7348335 HAS SOPS 7348335 HAS SOUS 5212645 HAS SOUPS 5212645 WITH SCORE 5219993.335
AT ITER 335 NEW BEST:: SOT 14119823 SOS 7348323 HAS SOPS 7348323 HAS SOUS 5212645 HAS SOUPS 5212645 WITH SCORE 5219993.323
AT ITER 343 NEW BEST:: SOT 14119386 SOS 7347994 HAS SOPS 7347994 HAS SOUS 5212300 HAS SOUPS 5212300 WITH SCORE 5219647.994
AT ITER 353 NEW BEST:: SOT 14119342 SOS 7346454 HAS SOPS 7346454 HAS SOUS 5212256 HAS SOUPS 5212256 WITH SCORE 5219602.454
AT ITER 360 NEW BEST:: SOT 13857728 SOS 7300159 HAS SOPS 7300159 HAS SOUS 4952301 HAS SOUPS 4952301 WITH SCORE 4959601.159
AT ITER 370 NEW BEST:: SOT 13856583 SOS 7297869 HAS SOPS 7297869 HAS SOUS 4950011 HAS SOUPS 4950011 WITH SCORE 4957308.869
AT ITER 373 NEW BEST:: SOT 13855562 SOS 7296842 HAS SOPS 7296842 HAS SOUS 4949100 HAS SOUPS 4949100 WITH SCORE 4956396.842
AT ITER 377 NEW BEST:: SOT 13854870 SOS 7293300 HAS SOPS 7293300 HAS SOUS 4947820 HAS SOUPS 4947820 WITH SCORE 4955113.3
AT ITER 383 NEW BEST:: SOT 13853927 SOS 7292357 HAS SOPS 7292357 HAS SOUS 4947814 HAS SOUPS 4947814 WITH SCORE 4955106.357
AT ITER 390 NEW BEST:: SOT 13852980 SOS 7291720 HAS SOPS 7291720 HAS SOUS 4947384 HAS SOUPS 4947384 WITH SCORE 4954675.72
AT ITER 393 NEW BEST:: SOT 13852204 SOS 7291596 HAS SOPS 7291596 HAS SOUS 4946608 HAS SOUPS 4946608 WITH SCORE 4953899.596
AT ITER 395 NEW BEST:: SOT 13851833 SOS 7290112 HAS SOPS 7290112 HAS SOUS 4946236 HAS SOUPS 4946236 WITH SCORE 4953526.112
AT ITER 401 NEW BEST:: SOT 13850827 SOS 7287566 HAS SOPS 7287566 HAS SOUS 4945230 HAS SOUPS 4945230 WITH SCORE 4952517.566
AT ITER 402 NEW BEST:: SOT 13850827 SOS 7287195 HAS SOPS 7287195 HAS SOUS 4945230 HAS SOUPS 4945230 WITH SCORE 4952517.195
AT ITER 407 NEW BEST:: SOT 13850044 SOS 7284063 HAS SOPS 7284063 HAS SOUS 4943810 HAS SOUPS 4943810 WITH SCORE 4951094.063
AT ITER 423 NEW BEST:: SOT 13850044 SOS 7283365 HAS SOPS 7283365 HAS SOUS 4943480 HAS SOUPS 4943480 WITH SCORE 4950763.365
AT ITER 425 NEW BEST:: SOT 13849894 SOS 7283065 HAS SOPS 7283065 HAS SOUS 4943330 HAS SOUPS 4943330 WITH SCORE 4950613.065
AT ITER 426 NEW BEST:: SOT 13849894 SOS 7281481 HAS SOPS 7281481 HAS SOUS 4942698 HAS SOUPS 4942698 WITH SCORE 4949979.481
AT ITER 427 NEW BEST:: SOT 13850558 SOS 7278985 HAS SOPS 7278985 HAS SOUS 4941259 HAS SOUPS 4941259 WITH SCORE 4948537.985
AT ITER 431 NEW BEST:: SOT 13852058 SOS 7279205 HAS SOPS 7279205 HAS SOUS 4939797 HAS SOUPS 4939797 WITH SCORE 4947076.205
AT ITER 434 NEW BEST:: SOT 13852064 SOS 7276974 HAS SOPS 7276974 HAS SOUS 4939564 HAS SOUPS 4939564 WITH SCORE 4946840.974
AT ITER 439 NEW BEST:: SOT 13851289 SOS 7276186 HAS SOPS 7276186 HAS SOUS 4938789 HAS SOUPS 4938789 WITH SCORE 4946065.186
AT ITER 444 NEW BEST:: SOT 13851219 SOS 7276046 HAS SOPS 7276046 HAS SOUS 4938719 HAS SOUPS 4938719 WITH SCORE 4945995.046
AT ITER 446 NEW BEST:: SOT 13849976 SOS 7274795 HAS SOPS 7274795 HAS SOUS 4938009 HAS SOUPS 4938009 WITH SCORE 4945283.795
AT ITER 448 NEW BEST:: SOT 13849976 SOS 7274795 HAS SOPS 7274795 HAS SOUS 4937631 HAS SOUPS 4937631 WITH SCORE 4944905.795
AT ITER 451 NEW BEST:: SOT 13848875 SOS 7273685 HAS SOPS 7273685 HAS SOUS 4936530 HAS SOUPS 4936530 WITH SCORE 4943803.685
AT ITER 453 NEW BEST:: SOT 13849035 SOS 7272981 HAS SOPS 7272981 HAS SOUS 4936122 HAS SOUPS 4936122 WITH SCORE 4943394.981
AT ITER 459 NEW BEST:: SOT 13848049 SOS 7271009 HAS SOPS 7271009 HAS SOUS 4934150 HAS SOUPS 4934150 WITH SCORE 4941421.009
AT ITER 462 NEW BEST:: SOT 13848907 SOS 7268861 HAS SOPS 7268861 HAS SOUS 4932311 HAS SOUPS 4932311 WITH SCORE 4939579.861
AT ITER 464 NEW BEST:: SOT 13846772 SOS 7262921 HAS SOPS 7262921 HAS SOUS 4929108 HAS SOUPS 4929108 WITH SCORE 4936370.921
AT ITER 468 NEW BEST:: SOT 13846772 SOS 7262921 HAS SOPS 7262921 HAS SOUS 4929064 HAS SOUPS 4929064 WITH SCORE 4936326.921
AT ITER 469 NEW BEST:: SOT 13846253 SOS 7263160 HAS SOPS 7263160 HAS SOUS 4928975 HAS SOUPS 4928975 WITH SCORE 4936238.16
AT ITER 472 NEW BEST:: SOT 13845755 SOS 7262662 HAS SOPS 7262662 HAS SOUS 4928973 HAS SOUPS 4928973 WITH SCORE 4936235.662
AT ITER 475 NEW BEST:: SOT 13845755 SOS 7262185 HAS SOPS 7262185 HAS SOUS 4928973 HAS SOUPS 4928973 WITH SCORE 4936235.185
AT ITER 480 NEW BEST:: SOT 13845755 SOS 7262185 HAS SOPS 7262185 HAS SOUS 4928961 HAS SOUPS 4928961 WITH SCORE 4936223.185
AT ITER 481 NEW BEST:: SOT 13845755 SOS 7262185 HAS SOPS 7262185 HAS SOUS 4928955 HAS SOUPS 4928955 WITH SCORE 4936217.185
AT ITER 485 NEW BEST:: SOT 13843949 SOS 7260378 HAS SOPS 7260378 HAS SOUS 4927368 HAS SOUPS 4927368 WITH SCORE 4934628.378
AT ITER 490 NEW BEST:: SOT 13843949 SOS 7259782 HAS SOPS 7259782 HAS SOUS 4927120 HAS SOUPS 4927120 WITH SCORE 4934379.782
AT ITER 493 NEW BEST:: SOT 13844157 SOS 7256504 HAS SOPS 7256504 HAS SOUS 4925634 HAS SOUPS 4925634 WITH SCORE 4932890.504
AT ITER 494 NEW BEST:: SOT 13844492 SOS 7253222 HAS SOPS 7253222 HAS SOUS 4923803 HAS SOUPS 4923803 WITH SCORE 4931056.222
AT ITER 500 NEW BEST:: SOT 13844492 SOS 7253222 HAS SOPS 7253222 HAS SOUS 4923422 HAS SOUPS 4923422 WITH SCORE 4930675.222
AT ITER 503 NEW BEST:: SOT 13844531 SOS 7252758 HAS SOPS 7252758 HAS SOUS 4923347 HAS SOUPS 4923347 WITH SCORE 4930599.758
AT ITER 504 NEW BEST:: SOT 13843620 SOS 7250025 HAS SOPS 7250025 HAS SOUS 4921525 HAS SOUPS 4921525 WITH SCORE 4928775.025
AT ITER 508 NEW BEST:: SOT 13841162 SOS 7247563 HAS SOPS 7247563 HAS SOUS 4919500 HAS SOUPS 4919500 WITH SCORE 4926747.563
AT ITER 512 NEW BEST:: SOT 13839904 SOS 7246292 HAS SOPS 7246292 HAS SOUS 4918242 HAS SOUPS 4918242 WITH SCORE 4925488.292
AT ITER 514 NEW BEST:: SOT 13839904 SOS 7246292 HAS SOPS 7246292 HAS SOUS 4918241 HAS SOUPS 4918241 WITH SCORE 4925487.292
AT ITER 519 NEW BEST:: SOT 13839300 SOS 7243876 HAS SOPS 7243876 HAS SOUS 4917637 HAS SOUPS 4917637 WITH SCORE 4924880.876
AT ITER 521 NEW BEST:: SOT 13839307 SOS 7233891 HAS SOPS 7233891 HAS SOUS 4917644 HAS SOUPS 4917644 WITH SCORE 4924877.891
AT ITER 526 NEW BEST:: SOT 13839531 SOS 7213739 HAS SOPS 7213739 HAS SOUS 4917546 HAS SOUPS 4917546 WITH SCORE 4924759.739
AT ITER 536 NEW BEST:: SOT 13839455 SOS 7211745 HAS SOPS 7211745 HAS SOUS 4917358 HAS SOUPS 4917358 WITH SCORE 4924569.745
AT ITER 544 NEW BEST:: SOT 13827969 SOS 7249855 HAS SOPS 7249855 HAS SOUS 4907048 HAS SOUPS 4907048 WITH SCORE 4914297.855
AT ITER 545 NEW BEST:: SOT 13827734 SOS 7249385 HAS SOPS 7249385 HAS SOUS 4906813 HAS SOUPS 4906813 WITH SCORE 4914062.385
AT ITER 546 NEW BEST:: SOT 13827734 SOS 7249193 HAS SOPS 7249193 HAS SOUS 4906692 HAS SOUPS 4906692 WITH SCORE 4913941.193
AT ITER 547 NEW BEST:: SOT 13825847 SOS 7247305 HAS SOPS 7247305 HAS SOUS 4904885 HAS SOUPS 4904885 WITH SCORE 4912132.305
AT ITER 551 NEW BEST:: SOT 13823706 SOS 7243260 HAS SOPS 7243260 HAS SOUS 4900840 HAS SOUPS 4900840 WITH SCORE 4908083.26
AT ITER 555 NEW BEST:: SOT 13822992 SOS 7242540 HAS SOPS 7242540 HAS SOUS 4900126 HAS SOUPS 4900126 WITH SCORE 4907368.54
AT ITER 560 NEW BEST:: SOT 13821194 SOS 7242524 HAS SOPS 7242524 HAS SOUS 4899757 HAS SOUPS 4899757 WITH SCORE 4906999.524
AT ITER 570 NEW BEST:: SOT 13820870 SOS 7242490 HAS SOPS 7242490 HAS SOUS 4899433 HAS SOUPS 4899433 WITH SCORE 4906675.49
AT ITER 577 NEW BEST:: SOT 13820870 SOS 7242144 HAS SOPS 7242144 HAS SOUS 4899433 HAS SOUPS 4899433 WITH SCORE 4906675.144
AT ITER 579 NEW BEST:: SOT 13820757 SOS 7242031 HAS SOPS 7242031 HAS SOUS 4899320 HAS SOUPS 4899320 WITH SCORE 4906562.031
AT ITER 586 NEW BEST:: SOT 13821623 SOS 7238669 HAS SOPS 7238669 HAS SOUS 4897434 HAS SOUPS 4897434 WITH SCORE 4904672.669
AT ITER 592 NEW BEST:: SOT 13821077 SOS 7237577 HAS SOPS 7237577 HAS SOUS 4896803 HAS SOUPS 4896803 WITH SCORE 4904040.577
AT ITER 593 NEW BEST:: SOT 13820727 SOS 7236877 HAS SOPS 7236877 HAS SOUS 4896103 HAS SOUPS 4896103 WITH SCORE 4903339.877
AT ITER 594 NEW BEST:: SOT 13803752 SOS 7286282 HAS SOPS 7286282 HAS SOUS 4883020 HAS SOUPS 4883020 WITH SCORE 4890306.282
AT ITER 596 NEW BEST:: SOT 13796873 SOS 7280277 HAS SOPS 7280277 HAS SOUS 4876421 HAS SOUPS 4876421 WITH SCORE 4883701.277
AT ITER 599 NEW BEST:: SOT 13796873 SOS 7280277 HAS SOPS 7280277 HAS SOUS 4875642 HAS SOUPS 4875642 WITH SCORE 4882922.277
AT ITER 602 NEW BEST:: SOT 13796512 SOS 7279951 HAS SOPS 7279951 HAS SOUS 4875281 HAS SOUPS 4875281 WITH SCORE 4882560.951
AT ITER 609 NEW BEST:: SOT 13796512 SOS 7279951 HAS SOPS 7279951 HAS SOUS 4875269 HAS SOUPS 4875269 WITH SCORE 4882548.951
AT ITER 611 NEW BEST:: SOT 13795968 SOS 7279407 HAS SOPS 7279407 HAS SOUS 4874725 HAS SOUPS 4874725 WITH SCORE 4882004.407
AT ITER 612 NEW BEST:: SOT 13795232 SOS 7278658 HAS SOPS 7278658 HAS SOUS 4874205 HAS SOUPS 4874205 WITH SCORE 4881483.658
AT ITER 617 NEW BEST:: SOT 13795051 SOS 7278399 HAS SOPS 7278399 HAS SOUS 4874024 HAS SOUPS 4874024 WITH SCORE 4881302.399
AT ITER 620 NEW BEST:: SOT 13794458 SOS 7276027 HAS SOPS 7276027 HAS SOUS 4872838 HAS SOUPS 4872838 WITH SCORE 4880114.027
AT ITER 621 NEW BEST:: SOT 13794458 SOS 7276027 HAS SOPS 7276027 HAS SOUS 4872275 HAS SOUPS 4872275 WITH SCORE 4879551.027
AT ITER 624 NEW BEST:: SOT 13793926 SOS 7275477 HAS SOPS 7275477 HAS SOUS 4871836 HAS SOUPS 4871836 WITH SCORE 4879111.477
AT ITER 628 NEW BEST:: SOT 13793926 SOS 7273171 HAS SOPS 7273171 HAS SOUS 4870885 HAS SOUPS 4870885 WITH SCORE 4878158.171
AT ITER 629 NEW BEST:: SOT 13793926 SOS 7273171 HAS SOPS 7273171 HAS SOUS 4870584 HAS SOUPS 4870584 WITH SCORE 4877857.171
AT ITER 630 NEW BEST:: SOT 13793403 SOS 7272125 HAS SOPS 7272125 HAS SOUS 4870061 HAS SOUPS 4870061 WITH SCORE 4877333.125
AT ITER 631 NEW BEST:: SOT 13793403 SOS 7270522 HAS SOPS 7270522 HAS SOUS 4867028 HAS SOUPS 4867028 WITH SCORE 4874298.522
AT ITER 641 NEW BEST:: SOT 13792386 SOS 7266811 HAS SOPS 7266811 HAS SOUS 4865351 HAS SOUPS 4865351 WITH SCORE 4872617.811
AT ITER 642 NEW BEST:: SOT 13792039 SOS 7265423 HAS SOPS 7265423 HAS SOUS 4865003 HAS SOUPS 4865003 WITH SCORE 4872268.423
AT ITER 659 NEW BEST:: SOT 13791038 SOS 7263421 HAS SOPS 7263421 HAS SOUS 4864002 HAS SOUPS 4864002 WITH SCORE 4871265.421
AT ITER 660 NEW BEST:: SOT 13790489 SOS 7263149 HAS SOPS 7263149 HAS SOUS 4863453 HAS SOUPS 4863453 WITH SCORE 4870716.149
AT ITER 666 NEW BEST:: SOT 13790461 SOS 7263093 HAS SOPS 7263093 HAS SOUS 4863425 HAS SOUPS 4863425 WITH SCORE 4870688.093
AT ITER 668 NEW BEST:: SOT 13789989 SOS 7261677 HAS SOPS 7261677 HAS SOUS 4862953 HAS SOUPS 4862953 WITH SCORE 4870214.677
AT ITER 671 NEW BEST:: SOT 13789918 SOS 7261677 HAS SOPS 7261677 HAS SOUS 4862882 HAS SOUPS 4862882 WITH SCORE 4870143.677
AT ITER 672 NEW BEST:: SOT 13790483 SOS 7259787 HAS SOPS 7259787 HAS SOUS 4862452 HAS SOUPS 4862452 WITH SCORE 4869711.787
AT ITER 673 NEW BEST:: SOT 13791085 SOS 7259670 HAS SOPS 7259670 HAS SOUS 4861834 HAS SOUPS 4861834 WITH SCORE 4869093.67
AT ITER 674 NEW BEST:: SOT 13790797 SOS 7259364 HAS SOPS 7259364 HAS SOUS 4861546 HAS SOUPS 4861546 WITH SCORE 4868805.364
AT ITER 677 NEW BEST:: SOT 13789592 SOS 7258151 HAS SOPS 7258151 HAS SOUS 4860341 HAS SOUPS 4860341 WITH SCORE 4867599.151
AT ITER 683 NEW BEST:: SOT 13789491 SOS 7258050 HAS SOPS 7258050 HAS SOUS 4860240 HAS SOUPS 4860240 WITH SCORE 4867498.05
AT ITER 687 NEW BEST:: SOT 13789215 SOS 7255340 HAS SOPS 7255340 HAS SOUS 4859851 HAS SOUPS 4859851 WITH SCORE 4867106.34
AT ITER 688 NEW BEST:: SOT 13790329 SOS 7254819 HAS SOPS 7254819 HAS SOUS 4857058 HAS SOUPS 4857058 WITH SCORE 4864312.819
AT ITER 689 NEW BEST:: SOT 13789260 SOS 7254393 HAS SOPS 7254393 HAS SOUS 4856892 HAS SOUPS 4856892 WITH SCORE 4864146.393
AT ITER 691 NEW BEST:: SOT 13789260 SOS 7253023 HAS SOPS 7253023 HAS SOUS 4856892 HAS SOUPS 4856892 WITH SCORE 4864145.023
AT ITER 695 NEW BEST:: SOT 13789260 SOS 7252875 HAS SOPS 7252875 HAS SOUS 4856877 HAS SOUPS 4856877 WITH SCORE 4864129.875
AT ITER 696 NEW BEST:: SOT 13790763 SOS 7253235 HAS SOPS 7253235 HAS SOUS 4855388 HAS SOUPS 4855388 WITH SCORE 4862641.235
AT ITER 704 NEW BEST:: SOT 13790763 SOS 7253235 HAS SOPS 7253235 HAS SOUS 4855213 HAS SOUPS 4855213 WITH SCORE 4862466.235
AT ITER 706 NEW BEST:: SOT 13790290 SOS 7251343 HAS SOPS 7251343 HAS SOUS 4854267 HAS SOUPS 4854267 WITH SCORE 4861518.343
AT ITER 709 NEW BEST:: SOT 13788816 SOS 7249863 HAS SOPS 7249863 HAS SOUS 4852816 HAS SOUPS 4852816 WITH SCORE 4860065.863
AT ITER 711 NEW BEST:: SOT 13787128 SOS 7247222 HAS SOPS 7247222 HAS SOUS 4850175 HAS SOUPS 4850175 WITH SCORE 4857422.222
AT ITER 717 NEW BEST:: SOT 13786362 SOS 7247222 HAS SOPS 7247222 HAS SOUS 4849413 HAS SOUPS 4849413 WITH SCORE 4856660.222
AT ITER 719 NEW BEST:: SOT 13785993 SOS 7246115 HAS SOPS 7246115 HAS SOUS 4848675 HAS SOUPS 4848675 WITH SCORE 4855921.115
AT ITER 721 NEW BEST:: SOT 13784667 SOS 7244782 HAS SOPS 7244782 HAS SOUS 4847713 HAS SOUPS 4847713 WITH SCORE 4854957.782
AT ITER 722 NEW BEST:: SOT 13784667 SOS 7244744 HAS SOPS 7244744 HAS SOUS 4847675 HAS SOUPS 4847675 WITH SCORE 4854919.744
AT ITER 724 NEW BEST:: SOT 13783280 SOS 7243356 HAS SOPS 7243356 HAS SOUS 4846288 HAS SOUPS 4846288 WITH SCORE 4853531.356
AT ITER 726 NEW BEST:: SOT 13783280 SOS 7242528 HAS SOPS 7242528 HAS SOUS 4845460 HAS SOUPS 4845460 WITH SCORE 4852702.528
AT ITER 728 NEW BEST:: SOT 13783280 SOS 7242027 HAS SOPS 7242027 HAS SOUS 4845092 HAS SOUPS 4845092 WITH SCORE 4852334.027
AT ITER 730 NEW BEST:: SOT 13783280 SOS 7242027 HAS SOPS 7242027 HAS SOUS 4845036 HAS SOUPS 4845036 WITH SCORE 4852278.027
AT ITER 735 NEW BEST:: SOT 13783184 SOS 7241643 HAS SOPS 7241643 HAS SOUS 4844843 HAS SOUPS 4844843 WITH SCORE 4852084.643
AT ITER 736 NEW BEST:: SOT 13783184 SOS 7241643 HAS SOPS 7241643 HAS SOUS 4844828 HAS SOUPS 4844828 WITH SCORE 4852069.643
AT ITER 743 NEW BEST:: SOT 13782709 SOS 7239743 HAS SOPS 7239743 HAS SOUS 4843403 HAS SOUPS 4843403 WITH SCORE 4850642.743
AT ITER 744 NEW BEST:: SOT 13783335 SOS 7238007 HAS SOPS 7238007 HAS SOUS 4843242 HAS SOUPS 4843242 WITH SCORE 4850480.007
AT ITER 748 NEW BEST:: SOT 13783335 SOS 7236431 HAS SOPS 7236431 HAS SOUS 4841710 HAS SOUPS 4841710 WITH SCORE 4848946.431
AT ITER 755 NEW BEST:: SOT 13782663 SOS 7233743 HAS SOPS 7233743 HAS SOUS 4841036 HAS SOUPS 4841036 WITH SCORE 4848269.743
AT ITER 758 NEW BEST:: SOT 13782663 SOS 7233743 HAS SOPS 7233743 HAS SOUS 4840879 HAS SOUPS 4840879 WITH SCORE 4848112.743
AT ITER 765 NEW BEST:: SOT 13782814 SOS 7231852 HAS SOPS 7231852 HAS SOUS 4838929 HAS SOUPS 4838929 WITH SCORE 4846160.852
AT ITER 772 NEW BEST:: SOT 13782359 SOS 7228492 HAS SOPS 7228492 HAS SOUS 4838784 HAS SOUPS 4838784 WITH SCORE 4846012.492
AT ITER 773 NEW BEST:: SOT 13781243 SOS 7227367 HAS SOPS 7227367 HAS SOUS 4837668 HAS SOUPS 4837668 WITH SCORE 4844895.367
AT ITER 781 NEW BEST:: SOT 13780952 SOS 7227105 HAS SOPS 7227105 HAS SOUS 4837665 HAS SOUPS 4837665 WITH SCORE 4844892.105
AT ITER 783 NEW BEST:: SOT 13779598 SOS 7225751 HAS SOPS 7225751 HAS SOUS 4836311 HAS SOUPS 4836311 WITH SCORE 4843536.751
AT ITER 787 NEW BEST:: SOT 13779580 SOS 7225715 HAS SOPS 7225715 HAS SOUS 4836293 HAS SOUPS 4836293 WITH SCORE 4843518.715
AT ITER 791 NEW BEST:: SOT 13778909 SOS 7225055 HAS SOPS 7225055 HAS SOUS 4835622 HAS SOUPS 4835622 WITH SCORE 4842847.055
AT ITER 797 NEW BEST:: SOT 13779113 SOS 7221773 HAS SOPS 7221773 HAS SOUS 4834757 HAS SOUPS 4834757 WITH SCORE 4841978.773
AT ITER 804 NEW BEST:: SOT 13778888 SOS 7221323 HAS SOPS 7221323 HAS SOUS 4834532 HAS SOUPS 4834532 WITH SCORE 4841753.323
AT ITER 805 NEW BEST:: SOT 13780202 SOS 7221297 HAS SOPS 7221297 HAS SOUS 4831946 HAS SOUPS 4831946 WITH SCORE 4839167.297
AT ITER 807 NEW BEST:: SOT 13780104 SOS 7221100 HAS SOPS 7221100 HAS SOUS 4831945 HAS SOUPS 4831945 WITH SCORE 4839166.1
AT ITER 809 NEW BEST:: SOT 13779795 SOS 7217654 HAS SOPS 7217654 HAS SOUS 4830251 HAS SOUPS 4830251 WITH SCORE 4837468.654
AT ITER 810 NEW BEST:: SOT 13778735 SOS 7215534 HAS SOPS 7215534 HAS SOUS 4829191 HAS SOUPS 4829191 WITH SCORE 4836406.534
AT ITER 814 NEW BEST:: SOT 13778397 SOS 7214858 HAS SOPS 7214858 HAS SOUS 4829067 HAS SOUPS 4829067 WITH SCORE 4836281.858
AT ITER 816 NEW BEST:: SOT 13776430 SOS 7210924 HAS SOPS 7210924 HAS SOUS 4827708 HAS SOUPS 4827708 WITH SCORE 4834918.924
AT ITER 831 NEW BEST:: SOT 13775676 SOS 7209037 HAS SOPS 7209037 HAS SOUS 4827139 HAS SOUPS 4827139 WITH SCORE 4834348.037
AT ITER 832 NEW BEST:: SOT 13776139 SOS 7209963 HAS SOPS 7209963 HAS SOUS 4826852 HAS SOUPS 4826852 WITH SCORE 4834061.963
AT ITER 834 NEW BEST:: SOT 13776139 SOS 7207553 HAS SOPS 7207553 HAS SOUS 4822102 HAS SOUPS 4822102 WITH SCORE 4829309.553
AT ITER 837 NEW BEST:: SOT 13776139 SOS 7207553 HAS SOPS 7207553 HAS SOUS 4822100 HAS SOUPS 4822100 WITH SCORE 4829307.553
AT ITER 840 NEW BEST:: SOT 13775425 SOS 7206826 HAS SOPS 7206826 HAS SOUS 4821386 HAS SOUPS 4821386 WITH SCORE 4828592.826
AT ITER 843 NEW BEST:: SOT 13774063 SOS 7205456 HAS SOPS 7205456 HAS SOUS 4820023 HAS SOUPS 4820023 WITH SCORE 4827228.456
AT ITER 848 NEW BEST:: SOT 13774063 SOS 7204752 HAS SOPS 7204752 HAS SOUS 4818878 HAS SOUPS 4818878 WITH SCORE 4826082.752
AT ITER 852 NEW BEST:: SOT 13773750 SOS 7204865 HAS SOPS 7204865 HAS SOUS 4818646 HAS SOUPS 4818646 WITH SCORE 4825850.865
AT ITER 855 NEW BEST:: SOT 13772410 SOS 7202185 HAS SOPS 7202185 HAS SOUS 4817620 HAS SOUPS 4817620 WITH SCORE 4824822.185
AT ITER 856 NEW BEST:: SOT 13772410 SOS 7201908 HAS SOPS 7201908 HAS SOUS 4817343 HAS SOUPS 4817343 WITH SCORE 4824544.908
AT ITER 857 NEW BEST:: SOT 13771583 SOS 7201080 HAS SOPS 7201080 HAS SOUS 4817342 HAS SOUPS 4817342 WITH SCORE 4824543.08
AT ITER 861 NEW BEST:: SOT 13771560 SOS 7200988 HAS SOPS 7200988 HAS SOUS 4817296 HAS SOUPS 4817296 WITH SCORE 4824496.988
AT ITER 863 NEW BEST:: SOT 13772857 SOS 7203582 HAS SOPS 7203582 HAS SOUS 4817231 HAS SOUPS 4817231 WITH SCORE 4824434.582
AT ITER 871 NEW BEST:: SOT 13772857 SOS 7203582 HAS SOPS 7203582 HAS SOUS 4817170 HAS SOUPS 4817170 WITH SCORE 4824373.582
AT ITER 878 NEW BEST:: SOT 13772408 SOS 7202684 HAS SOPS 7202684 HAS SOUS 4816632 HAS SOUPS 4816632 WITH SCORE 4823834.684
AT ITER 881 NEW BEST:: SOT 13772034 SOS 7201936 HAS SOPS 7201936 HAS SOUS 4815884 HAS SOUPS 4815884 WITH SCORE 4823085.936
AT ITER 886 NEW BEST:: SOT 13770620 SOS 7200520 HAS SOPS 7200520 HAS SOUS 4814780 HAS SOUPS 4814780 WITH SCORE 4821980.52
AT ITER 888 NEW BEST:: SOT 13770620 SOS 7200520 HAS SOPS 7200520 HAS SOUS 4814498 HAS SOUPS 4814498 WITH SCORE 4821698.52
AT ITER 889 NEW BEST:: SOT 13770332 SOS 7198289 HAS SOPS 7198289 HAS SOUS 4814100 HAS SOUPS 4814100 WITH SCORE 4821298.289
AT ITER 891 NEW BEST:: SOT 13769957 SOS 7196789 HAS SOPS 7196789 HAS SOUS 4813350 HAS SOUPS 4813350 WITH SCORE 4820546.789
AT ITER 902 NEW BEST:: SOT 13768979 SOS 7193855 HAS SOPS 7193855 HAS SOUS 4811394 HAS SOUPS 4811394 WITH SCORE 4818587.855
AT ITER 906 NEW BEST:: SOT 13769452 SOS 7192677 HAS SOPS 7192677 HAS SOUS 4809278 HAS SOUPS 4809278 WITH SCORE 4816470.677
AT ITER 911 NEW BEST:: SOT 13769020 SOS 7191813 HAS SOPS 7191813 HAS SOUS 4808846 HAS SOUPS 4808846 WITH SCORE 4816037.813
AT ITER 918 NEW BEST:: SOT 13769020 SOS 7190080 HAS SOPS 7190080 HAS SOUS 4807809 HAS SOUPS 4807809 WITH SCORE 4814999.08
AT ITER 919 NEW BEST:: SOT 13768352 SOS 7187408 HAS SOPS 7187408 HAS SOUS 4806898 HAS SOUPS 4806898 WITH SCORE 4814085.408
AT ITER 925 NEW BEST:: SOT 13768352 SOS 7187408 HAS SOPS 7187408 HAS SOUS 4806846 HAS SOUPS 4806846 WITH SCORE 4814033.408
AT ITER 926 NEW BEST:: SOT 13768048 SOS 7184268 HAS SOPS 7184268 HAS SOUS 4806692 HAS SOUPS 4806692 WITH SCORE 4813876.268
AT ITER 928 NEW BEST:: SOT 13767583 SOS 7182114 HAS SOPS 7182114 HAS SOUS 4805615 HAS SOUPS 4805615 WITH SCORE 4812797.114
AT ITER 929 NEW BEST:: SOT 13766811 SOS 7179026 HAS SOPS 7179026 HAS SOUS 4804842 HAS SOUPS 4804842 WITH SCORE 4812021.026
AT ITER 930 NEW BEST:: SOT 13766230 SOS 7177283 HAS SOPS 7177283 HAS SOUS 4804261 HAS SOUPS 4804261 WITH SCORE 4811438.283
AT ITER 934 NEW BEST:: SOT 13764812 SOS 7175859 HAS SOPS 7175859 HAS SOUS 4802843 HAS SOUPS 4802843 WITH SCORE 4810018.859
AT ITER 941 NEW BEST:: SOT 13735457 SOS 7163305 HAS SOPS 7163305 HAS SOUS 4774116 HAS SOUPS 4774116 WITH SCORE 4781279.305
AT ITER 952 NEW BEST:: SOT 13736565 SOS 7163387 HAS SOPS 7163387 HAS SOUS 4771264 HAS SOUPS 4771264 WITH SCORE 4778427.387
AT ITER 965 NEW BEST:: SOT 13736072 SOS 7162401 HAS SOPS 7162401 HAS SOUS 4770796 HAS SOUPS 4770796 WITH SCORE 4777958.401
AT ITER 968 NEW BEST:: SOT 13736072 SOS 7161875 HAS SOPS 7161875 HAS SOUS 4770270 HAS SOUPS 4770270 WITH SCORE 4777431.875
AT ITER 969 NEW BEST:: SOT 13736072 SOS 7161679 HAS SOPS 7161679 HAS SOUS 4770172 HAS SOUPS 4770172 WITH SCORE 4777333.679
AT ITER 972 NEW BEST:: SOT 13735887 SOS 7161124 HAS SOPS 7161124 HAS SOUS 4769987 HAS SOUPS 4769987 WITH SCORE 4777148.124
AT ITER 973 NEW BEST:: SOT 13735046 SOS 7160829 HAS SOPS 7160829 HAS SOUS 4769837 HAS SOUPS 4769837 WITH SCORE 4776997.829
AT ITER 976 NEW BEST:: SOT 13733541 SOS 7159318 HAS SOPS 7159318 HAS SOUS 4768433 HAS SOUPS 4768433 WITH SCORE 4775592.318
AT ITER 978 NEW BEST:: SOT 13691353 SOS 7143889 HAS SOPS 7143889 HAS SOUS 4728451 HAS SOUPS 4728451 WITH SCORE 4735594.889
AT ITER 982 NEW BEST:: SOT 13691287 SOS 7143757 HAS SOPS 7143757 HAS SOUS 4728319 HAS SOUPS 4728319 WITH SCORE 4735462.757
AT ITER 983 NEW BEST:: SOT 13691287 SOS 7143530 HAS SOPS 7143530 HAS SOUS 4728319 HAS SOUPS 4728319 WITH SCORE 4735462.53
AT ITER 987 NEW BEST:: SOT 13689646 SOS 7140247 HAS SOPS 7140247 HAS SOUS 4727196 HAS SOUPS 4727196 WITH SCORE 4734336.247
AT ITER 988 NEW BEST:: SOT 13690189 SOS 7137530 HAS SOPS 7137530 HAS SOUS 4725386 HAS SOUPS 4725386 WITH SCORE 4732523.53
AT ITER 989 NEW BEST:: SOT 13690189 SOS 7132043 HAS SOPS 7132043 HAS SOUS 4725386 HAS SOUPS 4725386 WITH SCORE 4732518.043
AT ITER 992 NEW BEST:: SOT 13689806 SOS 7130511 HAS SOPS 7130511 HAS SOUS 4724620 HAS SOUPS 4724620 WITH SCORE 4731750.511
AT ITER 995 NEW BEST:: SOT 13689806 SOS 7128056 HAS SOPS 7128056 HAS SOUS 4723275 HAS SOUPS 4723275 WITH SCORE 4730403.056
AT ITER 1000 NEW BEST:: SOT 13689806 SOS 7126448 HAS SOPS 7126448 HAS SOUS 4720873 HAS SOUPS 4720873 WITH SCORE 4727999.448
AT ITER 1001 NEW BEST:: SOT 13689806 SOS 7126448 HAS SOPS 7126448 HAS SOUS 4720872 HAS SOUPS 4720872 WITH SCORE 4727998.448
AT ITER 1009 NEW BEST:: SOT 13689235 SOS 7125306 HAS SOPS 7125306 HAS SOUS 4719729 HAS SOUPS 4719729 WITH SCORE 4726854.306
AT ITER 1019 NEW BEST:: SOT 13689084 SOS 7125814 HAS SOPS 7125814 HAS SOUS 4719578 HAS SOUPS 4719578 WITH SCORE 4726703.814
AT ITER 1020 NEW BEST:: SOT 13689079 SOS 7125804 HAS SOPS 7125804 HAS SOUS 4719573 HAS SOUPS 4719573 WITH SCORE 4726698.804
AT ITER 1022 NEW BEST:: SOT 13689079 SOS 7125385 HAS SOPS 7125385 HAS SOUS 4719154 HAS SOUPS 4719154 WITH SCORE 4726279.385
AT ITER 1031 NEW BEST:: SOT 13689079 SOS 7125398 HAS SOPS 7125398 HAS SOUS 4718903 HAS SOUPS 4718903 WITH SCORE 4726028.398
AT ITER 1032 NEW BEST:: SOT 13688756 SOS 7125075 HAS SOPS 7125075 HAS SOUS 4718580 HAS SOUPS 4718580 WITH SCORE 4725705.075
AT ITER 1035 NEW BEST:: SOT 13688850 SOS 7126004 HAS SOPS 7126004 HAS SOUS 4717077 HAS SOUPS 4717077 WITH SCORE 4724203.004
AT ITER 1036 NEW BEST:: SOT 13688964 SOS 7122990 HAS SOPS 7122990 HAS SOUS 4717071 HAS SOUPS 4717071 WITH SCORE 4724193.99
AT ITER 1041 NEW BEST:: SOT 13688033 SOS 7121128 HAS SOPS 7121128 HAS SOUS 4716140 HAS SOUPS 4716140 WITH SCORE 4723261.128
AT ITER 1044 NEW BEST:: SOT 13688033 SOS 7121128 HAS SOPS 7121128 HAS SOUS 4716104 HAS SOUPS 4716104 WITH SCORE 4723225.128
AT ITER 1045 NEW BEST:: SOT 13687916 SOS 7120894 HAS SOPS 7120894 HAS SOUS 4715987 HAS SOUPS 4715987 WITH SCORE 4723107.894
AT ITER 1049 NEW BEST:: SOT 13687916 SOS 7120894 HAS SOPS 7120894 HAS SOUS 4715941 HAS SOUPS 4715941 WITH SCORE 4723061.894
AT ITER 1051 NEW BEST:: SOT 13687916 SOS 7120492 HAS SOPS 7120492 HAS SOUS 4715466 HAS SOUPS 4715466 WITH SCORE 4722586.492
AT ITER 1053 NEW BEST:: SOT 13687916 SOS 7120492 HAS SOPS 7120492 HAS SOUS 4715102 HAS SOUPS 4715102 WITH SCORE 4722222.492
AT ITER 1059 NEW BEST:: SOT 13687364 SOS 7117503 HAS SOPS 7117503 HAS SOUS 4714674 HAS SOUPS 4714674 WITH SCORE 4721791.503
AT ITER 1061 NEW BEST:: SOT 13687408 SOS 7113887 HAS SOPS 7113887 HAS SOUS 4714562 HAS SOUPS 4714562 WITH SCORE 4721675.887
AT ITER 1062 NEW BEST:: SOT 13686794 SOS 7112045 HAS SOPS 7112045 HAS SOUS 4713334 HAS SOUPS 4713334 WITH SCORE 4720446.045
AT ITER 1063 NEW BEST:: SOT 13684926 SOS 7110177 HAS SOPS 7110177 HAS SOUS 4713334 HAS SOUPS 4713334 WITH SCORE 4720444.177
AT ITER 1065 NEW BEST:: SOT 13684134 SOS 7107641 HAS SOPS 7107641 HAS SOUS 4712607 HAS SOUPS 4712607 WITH SCORE 4719714.641
AT ITER 1074 NEW BEST:: SOT 13684134 SOS 7107641 HAS SOPS 7107641 HAS SOUS 4712435 HAS SOUPS 4712435 WITH SCORE 4719542.641
AT ITER 1078 NEW BEST:: SOT 13684134 SOS 7106659 HAS SOPS 7106659 HAS SOUS 4712435 HAS SOUPS 4712435 WITH SCORE 4719541.659
AT ITER 1080 NEW BEST:: SOT 13684084 SOS 7106609 HAS SOPS 7106609 HAS SOUS 4712435 HAS SOUPS 4712435 WITH SCORE 4719541.609
AT ITER 1083 NEW BEST:: SOT 13678764 SOS 7102808 HAS SOPS 7102808 HAS SOUS 4707306 HAS SOUPS 4707306 WITH SCORE 4714408.808
AT ITER 1085 NEW BEST:: SOT 13677016 SOS 7101959 HAS SOPS 7101959 HAS SOUS 4706949 HAS SOUPS 4706949 WITH SCORE 4714050.959
AT ITER 1086 NEW BEST:: SOT 13677016 SOS 7101418 HAS SOPS 7101418 HAS SOUS 4706879 HAS SOUPS 4706879 WITH SCORE 4713980.418
AT ITER 1087 NEW BEST:: SOT 13677016 SOS 7099502 HAS SOPS 7099502 HAS SOUS 4705921 HAS SOUPS 4705921 WITH SCORE 4713020.502
AT ITER 1090 NEW BEST:: SOT 13676125 SOS 7099000 HAS SOPS 7099000 HAS SOUS 4705708 HAS SOUPS 4705708 WITH SCORE 4712807.0
AT ITER 1100 NEW BEST:: SOT 13676117 SOS 7098984 HAS SOPS 7098984 HAS SOUS 4705700 HAS SOUPS 4705700 WITH SCORE 4712798.984
AT ITER 1103 NEW BEST:: SOT 13675449 SOS 7094362 HAS SOPS 7094362 HAS SOUS 4702549 HAS SOUPS 4702549 WITH SCORE 4709643.362
AT ITER 1108 NEW BEST:: SOT 13673439 SOS 7088332 HAS SOPS 7088332 HAS SOUS 4698996 HAS SOUPS 4698996 WITH SCORE 4706084.332
AT ITER 1113 NEW BEST:: SOT 13673439 SOS 7088332 HAS SOPS 7088332 HAS SOUS 4698483 HAS SOUPS 4698483 WITH SCORE 4705571.332
AT ITER 1114 NEW BEST:: SOT 13673048 SOS 7088622 HAS SOPS 7088622 HAS SOUS 4698092 HAS SOUPS 4698092 WITH SCORE 4705180.622
AT ITER 1119 NEW BEST:: SOT 13672007 SOS 7087571 HAS SOPS 7087571 HAS SOUS 4697633 HAS SOUPS 4697633 WITH SCORE 4704720.571
AT ITER 1120 NEW BEST:: SOT 13671733 SOS 7087297 HAS SOPS 7087297 HAS SOUS 4697359 HAS SOUPS 4697359 WITH SCORE 4704446.297
AT ITER 1124 NEW BEST:: SOT 13670504 SOS 7086257 HAS SOPS 7086257 HAS SOUS 4696130 HAS SOUPS 4696130 WITH SCORE 4703216.257
AT ITER 1126 NEW BEST:: SOT 13670504 SOS 7084176 HAS SOPS 7084176 HAS SOUS 4692265 HAS SOUPS 4692265 WITH SCORE 4699349.176
AT ITER 1128 NEW BEST:: SOT 13670504 SOS 7083513 HAS SOPS 7083513 HAS SOUS 4692264 HAS SOUPS 4692264 WITH SCORE 4699347.513
AT ITER 1130 NEW BEST:: SOT 13670504 SOS 7083513 HAS SOPS 7083513 HAS SOUS 4691938 HAS SOUPS 4691938 WITH SCORE 4699021.513
AT ITER 1134 NEW BEST:: SOT 13670503 SOS 7083511 HAS SOPS 7083511 HAS SOUS 4691891 HAS SOUPS 4691891 WITH SCORE 4698974.511
AT ITER 1136 NEW BEST:: SOT 13669272 SOS 7081049 HAS SOPS 7081049 HAS SOUS 4690660 HAS SOUPS 4690660 WITH SCORE 4697741.049
AT ITER 1137 NEW BEST:: SOT 13669272 SOS 7080467 HAS SOPS 7080467 HAS SOUS 4690640 HAS SOUPS 4690640 WITH SCORE 4697720.467
AT ITER 1146 NEW BEST:: SOT 13669147 SOS 7080217 HAS SOPS 7080217 HAS SOUS 4690515 HAS SOUPS 4690515 WITH SCORE 4697595.217
AT ITER 1148 NEW BEST:: SOT 13669147 SOS 7079531 HAS SOPS 7079531 HAS SOUS 4688055 HAS SOUPS 4688055 WITH SCORE 4695134.531
AT ITER 1153 NEW BEST:: SOT 13666580 SOS 7078549 HAS SOPS 7078549 HAS SOUS 4686467 HAS SOUPS 4686467 WITH SCORE 4693545.549
AT ITER 1158 NEW BEST:: SOT 13665074 SOS 7076855 HAS SOPS 7076855 HAS SOUS 4684773 HAS SOUPS 4684773 WITH SCORE 4691849.855
AT ITER 1160 NEW BEST:: SOT 13665074 SOS 7076137 HAS SOPS 7076137 HAS SOUS 4684055 HAS SOUPS 4684055 WITH SCORE 4691131.137
AT ITER 1163 NEW BEST:: SOT 13665837 SOS 7074951 HAS SOPS 7074951 HAS SOUS 4684054 HAS SOUPS 4684054 WITH SCORE 4691128.951
AT ITER 1164 NEW BEST:: SOT 13665837 SOS 7074263 HAS SOPS 7074263 HAS SOUS 4683324 HAS SOUPS 4683324 WITH SCORE 4690398.263
AT ITER 1165 NEW BEST:: SOT 13665423 SOS 7071173 HAS SOPS 7071173 HAS SOUS 4681738 HAS SOUPS 4681738 WITH SCORE 4688809.173
AT ITER 1170 NEW BEST:: SOT 13654912 SOS 7072362 HAS SOPS 7072362 HAS SOUS 4672075 HAS SOUPS 4672075 WITH SCORE 4679147.362
AT ITER 1172 NEW BEST:: SOT 13654912 SOS 7072362 HAS SOPS 7072362 HAS SOUS 4672029 HAS SOUPS 4672029 WITH SCORE 4679101.362
AT ITER 1176 NEW BEST:: SOT 13653053 SOS 7069969 HAS SOPS 7069969 HAS SOUS 4669920 HAS SOUPS 4669920 WITH SCORE 4676989.969
AT ITER 1177 NEW BEST:: SOT 13652911 SOS 7069685 HAS SOPS 7069685 HAS SOUS 4669471 HAS SOUPS 4669471 WITH SCORE 4676540.685
AT ITER 1180 NEW BEST:: SOT 13651377 SOS 7066617 HAS SOPS 7066617 HAS SOUS 4666948 HAS SOUPS 4666948 WITH SCORE 4674014.617
AT ITER 1182 NEW BEST:: SOT 13650900 SOS 7065663 HAS SOPS 7065663 HAS SOUS 4666936 HAS SOUPS 4666936 WITH SCORE 4674001.663
AT ITER 1188 NEW BEST:: SOT 13650304 SOS 7064471 HAS SOPS 7064471 HAS SOUS 4666340 HAS SOUPS 4666340 WITH SCORE 4673404.471
AT ITER 1191 NEW BEST:: SOT 13641242 SOS 7055592 HAS SOPS 7055592 HAS SOUS 4657278 HAS SOUPS 4657278 WITH SCORE 4664333.592
AT ITER 1193 NEW BEST:: SOT 13641226 SOS 7055576 HAS SOPS 7055576 HAS SOUS 4657261 HAS SOUPS 4657261 WITH SCORE 4664316.576
AT ITER 1194 NEW BEST:: SOT 13641120 SOS 7055363 HAS SOPS 7055363 HAS SOUS 4657154 HAS SOUPS 4657154 WITH SCORE 4664209.363
AT ITER 1195 NEW BEST:: SOT 13640968 SOS 7055868 HAS SOPS 7055868 HAS SOUS 4657002 HAS SOUPS 4657002 WITH SCORE 4664057.868
AT ITER 1200 NEW BEST:: SOT 13640301 SOS 7054534 HAS SOPS 7054534 HAS SOUS 4656691 HAS SOUPS 4656691 WITH SCORE 4663745.534
AT ITER 1203 NEW BEST:: SOT 13641566 SOS 7052564 HAS SOPS 7052564 HAS SOUS 4656517 HAS SOUPS 4656517 WITH SCORE 4663569.564
AT ITER 1204 NEW BEST:: SOT 13639545 SOS 7048468 HAS SOPS 7048468 HAS SOUS 4652275 HAS SOUPS 4652275 WITH SCORE 4659323.468
AT ITER 1212 NEW BEST:: SOT 13639545 SOS 7048614 HAS SOPS 7048614 HAS SOUS 4652129 HAS SOUPS 4652129 WITH SCORE 4659177.614
AT ITER 1213 NEW BEST:: SOT 13638455 SOS 7049814 HAS SOPS 7049814 HAS SOUS 4651816 HAS SOUPS 4651816 WITH SCORE 4658865.814
AT ITER 1217 NEW BEST:: SOT 13636941 SOS 7048294 HAS SOPS 7048294 HAS SOUS 4650307 HAS SOUPS 4650307 WITH SCORE 4657355.294
AT ITER 1219 NEW BEST:: SOT 13636001 SOS 7044534 HAS SOPS 7044534 HAS SOUS 4649367 HAS SOUPS 4649367 WITH SCORE 4656411.534
AT ITER 1220 NEW BEST:: SOT 13636001 SOS 7044534 HAS SOPS 7044534 HAS SOUS 4649340 HAS SOUPS 4649340 WITH SCORE 4656384.534
AT ITER 1224 NEW BEST:: SOT 13637255 SOS 7043087 HAS SOPS 7043087 HAS SOUS 4648900 HAS SOUPS 4648900 WITH SCORE 4655943.087
AT ITER 1225 NEW BEST:: SOT 13637255 SOS 7041370 HAS SOPS 7041370 HAS SOUS 4648290 HAS SOUPS 4648290 WITH SCORE 4655331.37
AT ITER 1226 NEW BEST:: SOT 13637109 SOS 7040932 HAS SOPS 7040932 HAS SOUS 4648143 HAS SOUPS 4648143 WITH SCORE 4655183.932
AT ITER 1228 NEW BEST:: SOT 13637109 SOS 7038774 HAS SOPS 7038774 HAS SOUS 4646673 HAS SOUPS 4646673 WITH SCORE 4653711.774
AT ITER 1241 NEW BEST:: SOT 13637220 SOS 7036239 HAS SOPS 7036239 HAS SOUS 4645070 HAS SOUPS 4645070 WITH SCORE 4652106.239
AT ITER 1242 NEW BEST:: SOT 13636817 SOS 7036041 HAS SOPS 7036041 HAS SOUS 4644854 HAS SOUPS 4644854 WITH SCORE 4651890.041
AT ITER 1243 NEW BEST:: SOT 13637085 SOS 7033404 HAS SOPS 7033404 HAS SOUS 4644019 HAS SOUPS 4644019 WITH SCORE 4651052.404
AT ITER 1248 NEW BEST:: SOT 13635392 SOS 7031346 HAS SOPS 7031346 HAS SOUS 4643541 HAS SOUPS 4643541 WITH SCORE 4650572.346
AT ITER 1249 NEW BEST:: SOT 13579809 SOS 7013238 HAS SOPS 7013238 HAS SOUS 4588756 HAS SOUPS 4588756 WITH SCORE 4595769.238
AT ITER 1251 NEW BEST:: SOT 13578518 SOS 7010656 HAS SOPS 7010656 HAS SOUS 4587510 HAS SOUPS 4587510 WITH SCORE 4594520.656
AT ITER 1255 NEW BEST:: SOT 13577034 SOS 7010126 HAS SOPS 7010126 HAS SOUS 4587260 HAS SOUPS 4587260 WITH SCORE 4594270.126
AT ITER 1261 NEW BEST:: SOT 13576583 SOS 7008322 HAS SOPS 7008322 HAS SOUS 4586664 HAS SOUPS 4586664 WITH SCORE 4593672.322
AT ITER 1263 NEW BEST:: SOT 13576681 SOS 7007832 HAS SOPS 7007832 HAS SOUS 4586496 HAS SOUPS 4586496 WITH SCORE 4593503.832
AT ITER 1266 NEW BEST:: SOT 13576062 SOS 7007415 HAS SOPS 7007415 HAS SOUS 4586128 HAS SOUPS 4586128 WITH SCORE 4593135.415
AT ITER 1267 NEW BEST:: SOT 13576687 SOS 7006016 HAS SOPS 7006016 HAS SOUS 4583171 HAS SOUPS 4583171 WITH SCORE 4590177.016
AT ITER 1269 NEW BEST:: SOT 13575636 SOS 7004961 HAS SOPS 7004961 HAS SOUS 4582452 HAS SOUPS 4582452 WITH SCORE 4589456.961
AT ITER 1270 NEW BEST:: SOT 13575111 SOS 7003562 HAS SOPS 7003562 HAS SOUS 4581053 HAS SOUPS 4581053 WITH SCORE 4588056.562
AT ITER 1271 NEW BEST:: SOT 13574701 SOS 7002742 HAS SOPS 7002742 HAS SOUS 4580233 HAS SOUPS 4580233 WITH SCORE 4587235.742
AT ITER 1274 NEW BEST:: SOT 13573836 SOS 7002742 HAS SOPS 7002742 HAS SOUS 4579368 HAS SOUPS 4579368 WITH SCORE 4586370.742
AT ITER 1280 NEW BEST:: SOT 13573836 SOS 7002742 HAS SOPS 7002742 HAS SOUS 4579226 HAS SOUPS 4579226 WITH SCORE 4586228.742
AT ITER 1281 NEW BEST:: SOT 13573480 SOS 7000088 HAS SOPS 7000088 HAS SOUS 4577897 HAS SOUPS 4577897 WITH SCORE 4584897.088
AT ITER 1285 NEW BEST:: SOT 13573775 SOS 6998421 HAS SOPS 6998421 HAS SOUS 4577212 HAS SOUPS 4577212 WITH SCORE 4584210.421
AT ITER 1286 NEW BEST:: SOT 13573700 SOS 6998121 HAS SOPS 6998121 HAS SOUS 4577136 HAS SOUPS 4577136 WITH SCORE 4584134.121
AT ITER 1287 NEW BEST:: SOT 13573700 SOS 6998121 HAS SOPS 6998121 HAS SOUS 4576496 HAS SOUPS 4576496 WITH SCORE 4583494.121
AT ITER 1289 NEW BEST:: SOT 13571999 SOS 6996609 HAS SOPS 6996609 HAS SOUS 4574833 HAS SOUPS 4574833 WITH SCORE 4581829.609
AT ITER 1290 NEW BEST:: SOT 13571999 SOS 6996019 HAS SOPS 6996019 HAS SOUS 4574832 HAS SOUPS 4574832 WITH SCORE 4581828.019
AT ITER 1298 NEW BEST:: SOT 13572171 SOS 6994674 HAS SOPS 6994674 HAS SOUS 4573487 HAS SOUPS 4573487 WITH SCORE 4580481.674
AT ITER 1300 NEW BEST:: SOT 13570998 SOS 6994305 HAS SOPS 6994305 HAS SOUS 4573293 HAS SOUPS 4573293 WITH SCORE 4580287.305
AT ITER 1304 NEW BEST:: SOT 13569671 SOS 6992974 HAS SOPS 6992974 HAS SOUS 4572663 HAS SOUPS 4572663 WITH SCORE 4579655.974
AT ITER 1310 NEW BEST:: SOT 13569671 SOS 6992969 HAS SOPS 6992969 HAS SOUS 4572658 HAS SOUPS 4572658 WITH SCORE 4579650.969
AT ITER 1312 NEW BEST:: SOT 13569807 SOS 6993259 HAS SOPS 6993259 HAS SOUS 4570400 HAS SOUPS 4570400 WITH SCORE 4577393.259
AT ITER 1314 NEW BEST:: SOT 13569807 SOS 6993259 HAS SOPS 6993259 HAS SOUS 4570398 HAS SOUPS 4570398 WITH SCORE 4577391.259
AT ITER 1320 NEW BEST:: SOT 13568019 SOS 6991465 HAS SOPS 6991465 HAS SOUS 4568605 HAS SOUPS 4568605 WITH SCORE 4575596.465
AT ITER 1322 NEW BEST:: SOT 13568269 SOS 6987818 HAS SOPS 6987818 HAS SOUS 4566313 HAS SOUPS 4566313 WITH SCORE 4573300.818
AT ITER 1325 NEW BEST:: SOT 13567364 SOS 6988016 HAS SOPS 6988016 HAS SOUS 4565906 HAS SOUPS 4565906 WITH SCORE 4572894.016
AT ITER 1328 NEW BEST:: SOT 13565826 SOS 6986478 HAS SOPS 6986478 HAS SOUS 4564368 HAS SOUPS 4564368 WITH SCORE 4571354.478
AT ITER 1329 NEW BEST:: SOT 13565698 SOS 6986596 HAS SOPS 6986596 HAS SOUS 4564053 HAS SOUPS 4564053 WITH SCORE 4571039.596
AT ITER 1330 NEW BEST:: SOT 13565698 SOS 6985844 HAS SOPS 6985844 HAS SOUS 4563368 HAS SOUPS 4563368 WITH SCORE 4570353.844
AT ITER 1335 NEW BEST:: SOT 13565577 SOS 6986476 HAS SOPS 6986476 HAS SOUS 4563247 HAS SOUPS 4563247 WITH SCORE 4570233.476
AT ITER 1341 NEW BEST:: SOT 13564959 SOS 6985240 HAS SOPS 6985240 HAS SOUS 4562628 HAS SOUPS 4562628 WITH SCORE 4569613.24
AT ITER 1346 NEW BEST:: SOT 13564615 SOS 6983864 HAS SOPS 6983864 HAS SOUS 4562100 HAS SOUPS 4562100 WITH SCORE 4569083.864
AT ITER 1347 NEW BEST:: SOT 13564423 SOS 6984243 HAS SOPS 6984243 HAS SOUS 4561908 HAS SOUPS 4561908 WITH SCORE 4568892.243
AT ITER 1349 NEW BEST:: SOT 13564729 SOS 6981695 HAS SOPS 6981695 HAS SOUS 4561750 HAS SOUPS 4561750 WITH SCORE 4568731.695
AT ITER 1364 NEW BEST:: SOT 13563282 SOS 6978801 HAS SOPS 6978801 HAS SOUS 4558851 HAS SOUPS 4558851 WITH SCORE 4565829.801
AT ITER 1366 NEW BEST:: SOT 13563632 SOS 6979501 HAS SOPS 6979501 HAS SOUS 4557595 HAS SOUPS 4557595 WITH SCORE 4564574.501
AT ITER 1372 NEW BEST:: SOT 13563632 SOS 6979501 HAS SOPS 6979501 HAS SOUS 4556855 HAS SOUPS 4556855 WITH SCORE 4563834.501
AT ITER 1374 NEW BEST:: SOT 13563211 SOS 6978659 HAS SOPS 6978659 HAS SOUS 4556853 HAS SOUPS 4556853 WITH SCORE 4563831.659
AT ITER 1379 NEW BEST:: SOT 13563211 SOS 6978659 HAS SOPS 6978659 HAS SOUS 4556682 HAS SOUPS 4556682 WITH SCORE 4563660.659
AT ITER 1380 NEW BEST:: SOT 13563211 SOS 6951694 HAS SOPS 6951694 HAS SOUS 4554427 HAS SOUPS 4554427 WITH SCORE 4561378.694
AT ITER 1389 NEW BEST:: SOT 13563145 SOS 6951628 HAS SOPS 6951628 HAS SOUS 4554361 HAS SOUPS 4554361 WITH SCORE 4561312.628
AT ITER 1391 NEW BEST:: SOT 13563145 SOS 6951628 HAS SOPS 6951628 HAS SOUS 4554359 HAS SOUPS 4554359 WITH SCORE 4561310.628
AT ITER 1392 NEW BEST:: SOT 13561687 SOS 6948712 HAS SOPS 6948712 HAS SOUS 4552068 HAS SOUPS 4552068 WITH SCORE 4559016.712
AT ITER 1393 NEW BEST:: SOT 13561561 SOS 6948460 HAS SOPS 6948460 HAS SOUS 4551942 HAS SOUPS 4551942 WITH SCORE 4558890.46
AT ITER 1394 NEW BEST:: SOT 13561561 SOS 6947994 HAS SOPS 6947994 HAS SOUS 4551265 HAS SOUPS 4551265 WITH SCORE 4558212.994
AT ITER 1396 NEW BEST:: SOT 13560412 SOS 6947812 HAS SOPS 6947812 HAS SOUS 4551174 HAS SOUPS 4551174 WITH SCORE 4558121.812
AT ITER 1401 NEW BEST:: SOT 13558411 SOS 6943810 HAS SOPS 6943810 HAS SOUS 4549037 HAS SOUPS 4549037 WITH SCORE 4555980.81
AT ITER 1405 NEW BEST:: SOT 13558300 SOS 6943699 HAS SOPS 6943699 HAS SOUS 4548923 HAS SOUPS 4548923 WITH SCORE 4555866.699
AT ITER 1409 NEW BEST:: SOT 13556093 SOS 6939284 HAS SOPS 6939284 HAS SOUS 4544867 HAS SOUPS 4544867 WITH SCORE 4551806.284
AT ITER 1410 NEW BEST:: SOT 13555068 SOS 6935312 HAS SOPS 6935312 HAS SOUS 4542717 HAS SOUPS 4542717 WITH SCORE 4549652.312
AT ITER 1414 NEW BEST:: SOT 13554685 SOS 6934546 HAS SOPS 6934546 HAS SOUS 4542334 HAS SOUPS 4542334 WITH SCORE 4549268.546
AT ITER 1415 NEW BEST:: SOT 13554591 SOS 6935232 HAS SOPS 6935232 HAS SOUS 4542240 HAS SOUPS 4542240 WITH SCORE 4549175.232
AT ITER 1416 NEW BEST:: SOT 13554264 SOS 6935098 HAS SOPS 6935098 HAS SOUS 4541913 HAS SOUPS 4541913 WITH SCORE 4548848.098
AT ITER 1419 NEW BEST:: SOT 13552119 SOS 6932665 HAS SOPS 6932665 HAS SOUS 4539480 HAS SOUPS 4539480 WITH SCORE 4546412.665
AT ITER 1427 NEW BEST:: SOT 13552119 SOS 6931710 HAS SOPS 6931710 HAS SOUS 4538525 HAS SOUPS 4538525 WITH SCORE 4545456.71
AT ITER 1428 NEW BEST:: SOT 13551561 SOS 6932486 HAS SOPS 6932486 HAS SOUS 4537460 HAS SOUPS 4537460 WITH SCORE 4544392.486
AT ITER 1431 NEW BEST:: SOT 13550392 SOS 6931698 HAS SOPS 6931698 HAS SOUS 4536672 HAS SOUPS 4536672 WITH SCORE 4543603.698
AT ITER 1433 NEW BEST:: SOT 13550558 SOS 6930972 HAS SOPS 6930972 HAS SOUS 4536656 HAS SOUPS 4536656 WITH SCORE 4543586.972
AT ITER 1439 NEW BEST:: SOT 13550177 SOS 6930960 HAS SOPS 6930960 HAS SOUS 4536649 HAS SOUPS 4536649 WITH SCORE 4543579.96
AT ITER 1442 NEW BEST:: SOT 13549603 SOS 6928664 HAS SOPS 6928664 HAS SOUS 4535477 HAS SOUPS 4535477 WITH SCORE 4542405.664
AT ITER 1445 NEW BEST:: SOT 13526345 SOS 6909721 HAS SOPS 6909721 HAS SOUS 4512233 HAS SOUPS 4512233 WITH SCORE 4519142.721
AT ITER 1446 NEW BEST:: SOT 13524820 SOS 6906671 HAS SOPS 6906671 HAS SOUS 4509946 HAS SOUPS 4509946 WITH SCORE 4516852.671
AT ITER 1451 NEW BEST:: SOT 13524820 SOS 6906673 HAS SOPS 6906673 HAS SOUS 4507545 HAS SOUPS 4507545 WITH SCORE 4514451.673
AT ITER 1452 NEW BEST:: SOT 13524720 SOS 6907052 HAS SOPS 6907052 HAS SOUS 4507445 HAS SOUPS 4507445 WITH SCORE 4514352.052
AT ITER 1462 NEW BEST:: SOT 13524702 SOS 6907016 HAS SOPS 6907016 HAS SOUS 4507409 HAS SOUPS 4507409 WITH SCORE 4514316.016
AT ITER 1465 NEW BEST:: SOT 13524450 SOS 6884812 HAS SOPS 6884812 HAS SOUS 4506672 HAS SOUPS 4506672 WITH SCORE 4513556.812
AT ITER 1466 NEW BEST:: SOT 13522932 SOS 6884234 HAS SOPS 6884234 HAS SOUS 4504327 HAS SOUPS 4504327 WITH SCORE 4511211.234
AT ITER 1468 NEW BEST:: SOT 13522102 SOS 6881744 HAS SOPS 6881744 HAS SOUS 4503657 HAS SOUPS 4503657 WITH SCORE 4510538.744
AT ITER 1469 NEW BEST:: SOT 13521744 SOS 6881028 HAS SOPS 6881028 HAS SOUS 4503299 HAS SOUPS 4503299 WITH SCORE 4510180.028
AT ITER 1483 NEW BEST:: SOT 13520882 SOS 6880156 HAS SOPS 6880156 HAS SOUS 4502437 HAS SOUPS 4502437 WITH SCORE 4509317.156
AT ITER 1485 NEW BEST:: SOT 13520534 SOS 6879808 HAS SOPS 6879808 HAS SOUS 4502089 HAS SOUPS 4502089 WITH SCORE 4508968.808
AT ITER 1487 NEW BEST:: SOT 13519491 SOS 6877320 HAS SOPS 6877320 HAS SOUS 4500902 HAS SOUPS 4500902 WITH SCORE 4507779.32
AT ITER 1489 NEW BEST:: SOT 13518964 SOS 6875212 HAS SOPS 6875212 HAS SOUS 4499501 HAS SOUPS 4499501 WITH SCORE 4506376.212
AT ITER 1490 NEW BEST:: SOT 13518296 SOS 6874538 HAS SOPS 6874538 HAS SOUS 4498833 HAS SOUPS 4498833 WITH SCORE 4505707.538
AT ITER 1491 NEW BEST:: SOT 13518296 SOS 6873628 HAS SOPS 6873628 HAS SOUS 4498833 HAS SOUPS 4498833 WITH SCORE 4505706.628
AT ITER 1492 NEW BEST:: SOT 13518543 SOS 6873606 HAS SOPS 6873606 HAS SOUS 4498564 HAS SOUPS 4498564 WITH SCORE 4505437.606
AT ITER 1493 NEW BEST:: SOT 13516628 SOS 6869776 HAS SOPS 6869776 HAS SOUS 4494734 HAS SOUPS 4494734 WITH SCORE 4501603.776
AT ITER 1495 NEW BEST:: SOT 13516744 SOS 6865866 HAS SOPS 6865866 HAS SOUS 4491801 HAS SOUPS 4491801 WITH SCORE 4498666.866
AT ITER 1497 NEW BEST:: SOT 13516744 SOS 6865518 HAS SOPS 6865518 HAS SOUS 4491801 HAS SOUPS 4491801 WITH SCORE 4498666.518
AT ITER 1498 NEW BEST:: SOT 13517336 SOS 6865300 HAS SOPS 6865300 HAS SOUS 4489221 HAS SOUPS 4489221 WITH SCORE 4496086.3
AT ITER 1501 NEW BEST:: SOT 13506299 SOS 6907098 HAS SOPS 6907098 HAS SOUS 4481246 HAS SOUPS 4481246 WITH SCORE 4488153.098
AT ITER 1506 NEW BEST:: SOT 13485524 SOS 6889898 HAS SOPS 6889898 HAS SOUS 4460481 HAS SOUPS 4460481 WITH SCORE 4467370.898
AT ITER 1508 NEW BEST:: SOT 13485524 SOS 6889436 HAS SOPS 6889436 HAS SOUS 4460481 HAS SOUPS 4460481 WITH SCORE 4467370.436
AT ITER 1513 NEW BEST:: SOT 13485524 SOS 6889436 HAS SOPS 6889436 HAS SOUS 4460034 HAS SOUPS 4460034 WITH SCORE 4466923.436
AT ITER 1514 NEW BEST:: SOT 13485454 SOS 6889296 HAS SOPS 6889296 HAS SOUS 4459964 HAS SOUPS 4459964 WITH SCORE 4466853.296
AT ITER 1516 NEW BEST:: SOT 13486005 SOS 6889077 HAS SOPS 6889077 HAS SOUS 4459924 HAS SOUPS 4459924 WITH SCORE 4466813.077
AT ITER 1520 NEW BEST:: SOT 13486005 SOS 6888834 HAS SOPS 6888834 HAS SOUS 4459681 HAS SOUPS 4459681 WITH SCORE 4466569.834
AT ITER 1524 NEW BEST:: SOT 13485647 SOS 6894383 HAS SOPS 6894383 HAS SOUS 4459636 HAS SOUPS 4459636 WITH SCORE 4466530.383
AT ITER 1525 NEW BEST:: SOT 13485647 SOS 6892446 HAS SOPS 6892446 HAS SOUS 4456498 HAS SOUPS 4456498 WITH SCORE 4463390.446
AT ITER 1529 NEW BEST:: SOT 13485337 SOS 6891826 HAS SOPS 6891826 HAS SOUS 4456188 HAS SOUPS 4456188 WITH SCORE 4463079.826
AT ITER 1533 NEW BEST:: SOT 13485336 SOS 6891825 HAS SOPS 6891825 HAS SOUS 4456187 HAS SOUPS 4456187 WITH SCORE 4463078.825
AT ITER 1537 NEW BEST:: SOT 13485336 SOS 6891528 HAS SOPS 6891528 HAS SOUS 4456186 HAS SOUPS 4456186 WITH SCORE 4463077.528
AT ITER 1541 NEW BEST:: SOT 13485336 SOS 6891397 HAS SOPS 6891397 HAS SOUS 4456186 HAS SOUPS 4456186 WITH SCORE 4463077.397
AT ITER 1543 NEW BEST:: SOT 13485335 SOS 6891396 HAS SOPS 6891396 HAS SOUS 4456185 HAS SOUPS 4456185 WITH SCORE 4463076.396
AT ITER 1550 NEW BEST:: SOT 13485531 SOS 6890022 HAS SOPS 6890022 HAS SOUS 4453153 HAS SOUPS 4453153 WITH SCORE 4460043.022
AT ITER 1559 NEW BEST:: SOT 13485531 SOS 6889717 HAS SOPS 6889717 HAS SOUS 4452848 HAS SOUPS 4452848 WITH SCORE 4459737.717
AT ITER 1565 NEW BEST:: SOT 13485177 SOS 6889009 HAS SOPS 6889009 HAS SOUS 4451090 HAS SOUPS 4451090 WITH SCORE 4457979.009
AT ITER 1567 NEW BEST:: SOT 13484854 SOS 6888363 HAS SOPS 6888363 HAS SOUS 4450626 HAS SOUPS 4450626 WITH SCORE 4457514.363
AT ITER 1569 NEW BEST:: SOT 13484854 SOS 6888363 HAS SOPS 6888363 HAS SOUS 4450070 HAS SOUPS 4450070 WITH SCORE 4456958.363
AT ITER 1573 NEW BEST:: SOT 13484788 SOS 6888077 HAS SOPS 6888077 HAS SOUS 4449287 HAS SOUPS 4449287 WITH SCORE 4456175.077
AT ITER 1574 NEW BEST:: SOT 13484788 SOS 6887977 HAS SOPS 6887977 HAS SOUS 4449187 HAS SOUPS 4449187 WITH SCORE 4456074.977
AT ITER 1577 NEW BEST:: SOT 13482891 SOS 6884973 HAS SOPS 6884973 HAS SOUS 4446500 HAS SOUPS 4446500 WITH SCORE 4453384.973
AT ITER 1581 NEW BEST:: SOT 13482390 SOS 6858850 HAS SOPS 6858850 HAS SOUS 4445330 HAS SOUPS 4445330 WITH SCORE 4452188.85
AT ITER 1588 NEW BEST:: SOT 13482933 SOS 6857270 HAS SOPS 6857270 HAS SOUS 4444811 HAS SOUPS 4444811 WITH SCORE 4451668.27
AT ITER 1590 NEW BEST:: SOT 13482933 SOS 6856866 HAS SOPS 6856866 HAS SOUS 4444278 HAS SOUPS 4444278 WITH SCORE 4451134.866
AT ITER 1599 NEW BEST:: SOT 13482933 SOS 6856866 HAS SOPS 6856866 HAS SOUS 4444276 HAS SOUPS 4444276 WITH SCORE 4451132.866
AT ITER 1610 NEW BEST:: SOT 13482199 SOS 6854507 HAS SOPS 6854507 HAS SOUS 4442743 HAS SOUPS 4442743 WITH SCORE 4449597.507
AT ITER 1611 NEW BEST:: SOT 13482199 SOS 6854507 HAS SOPS 6854507 HAS SOUS 4442290 HAS SOUPS 4442290 WITH SCORE 4449144.507
AT ITER 1612 NEW BEST:: SOT 13482703 SOS 6854823 HAS SOPS 6854823 HAS SOUS 4441460 HAS SOUPS 4441460 WITH SCORE 4448314.823
AT ITER 1614 NEW BEST:: SOT 13482703 SOS 6854596 HAS SOPS 6854596 HAS SOUS 4441233 HAS SOUPS 4441233 WITH SCORE 4448087.596
AT ITER 1615 NEW BEST:: SOT 13427339 SOS 6845660 HAS SOPS 6845660 HAS SOUS 4386484 HAS SOUPS 4386484 WITH SCORE 4393329.66
AT ITER 1617 NEW BEST:: SOT 13427465 SOS 6841408 HAS SOPS 6841408 HAS SOUS 4383779 HAS SOUPS 4383779 WITH SCORE 4390620.408
AT ITER 1629 NEW BEST:: SOT 13427339 SOS 6841157 HAS SOPS 6841157 HAS SOUS 4383651 HAS SOUPS 4383651 WITH SCORE 4390492.157
AT ITER 1630 NEW BEST:: SOT 13426513 SOS 6837309 HAS SOPS 6837309 HAS SOUS 4381836 HAS SOUPS 4381836 WITH SCORE 4388673.309
AT ITER 1635 NEW BEST:: SOT 13426513 SOS 6836602 HAS SOPS 6836602 HAS SOUS 4380787 HAS SOUPS 4380787 WITH SCORE 4387623.602
AT ITER 1636 NEW BEST:: SOT 13426642 SOS 6835402 HAS SOPS 6835402 HAS SOUS 4380156 HAS SOUPS 4380156 WITH SCORE 4386991.402
AT ITER 1640 NEW BEST:: SOT 13426101 SOS 6834848 HAS SOPS 6834848 HAS SOUS 4379615 HAS SOUPS 4379615 WITH SCORE 4386449.848
AT ITER 1645 NEW BEST:: SOT 13426101 SOS 6834848 HAS SOPS 6834848 HAS SOUS 4379614 HAS SOUPS 4379614 WITH SCORE 4386448.848
AT ITER 1646 NEW BEST:: SOT 13426101 SOS 6834848 HAS SOPS 6834848 HAS SOUS 4377950 HAS SOUPS 4377950 WITH SCORE 4384784.848
AT ITER 1649 NEW BEST:: SOT 13426077 SOS 6834800 HAS SOPS 6834800 HAS SOUS 4377902 HAS SOUPS 4377902 WITH SCORE 4384736.8
AT ITER 1653 NEW BEST:: SOT 13425831 SOS 6832484 HAS SOPS 6832484 HAS SOUS 4377655 HAS SOUPS 4377655 WITH SCORE 4384487.484
AT ITER 1658 NEW BEST:: SOT 13423064 SOS 6830510 HAS SOPS 6830510 HAS SOUS 4375026 HAS SOUPS 4375026 WITH SCORE 4381856.51
AT ITER 1660 NEW BEST:: SOT 13422935 SOS 6831019 HAS SOPS 6831019 HAS SOUS 4374450 HAS SOUPS 4374450 WITH SCORE 4381281.019
AT ITER 1662 NEW BEST:: SOT 13422541 SOS 6830231 HAS SOPS 6830231 HAS SOUS 4373662 HAS SOUPS 4373662 WITH SCORE 4380492.231
AT ITER 1664 NEW BEST:: SOT 13422668 SOS 6830358 HAS SOPS 6830358 HAS SOUS 4373247 HAS SOUPS 4373247 WITH SCORE 4380077.358
AT ITER 1667 NEW BEST:: SOT 13385994 SOS 6798258 HAS SOPS 6798258 HAS SOUS 4337825 HAS SOUPS 4337825 WITH SCORE 4344623.258
AT ITER 1668 NEW BEST:: SOT 13385345 SOS 6797591 HAS SOPS 6797591 HAS SOUS 4337276 HAS SOUPS 4337276 WITH SCORE 4344073.591
AT ITER 1669 NEW BEST:: SOT 13385273 SOS 6797447 HAS SOPS 6797447 HAS SOUS 4337132 HAS SOUPS 4337132 WITH SCORE 4343929.447
AT ITER 1676 NEW BEST:: SOT 13384797 SOS 6796495 HAS SOPS 6796495 HAS SOUS 4336656 HAS SOUPS 4336656 WITH SCORE 4343452.495
AT ITER 1682 NEW BEST:: SOT 13384797 SOS 6796495 HAS SOPS 6796495 HAS SOUS 4336655 HAS SOUPS 4336655 WITH SCORE 4343451.495
AT ITER 1690 NEW BEST:: SOT 13384436 SOS 6795412 HAS SOPS 6795412 HAS SOUS 4336294 HAS SOUPS 4336294 WITH SCORE 4343089.412
AT ITER 1691 NEW BEST:: SOT 13383321 SOS 6790542 HAS SOPS 6790542 HAS SOUS 4333859 HAS SOUPS 4333859 WITH SCORE 4340649.542
AT ITER 1695 NEW BEST:: SOT 13383265 SOS 6790374 HAS SOPS 6790374 HAS SOUS 4333691 HAS SOUPS 4333691 WITH SCORE 4340481.374
AT ITER 1697 NEW BEST:: SOT 13383265 SOS 6790374 HAS SOPS 6790374 HAS SOUS 4333403 HAS SOUPS 4333403 WITH SCORE 4340193.374
AT ITER 1700 NEW BEST:: SOT 13382109 SOS 6788658 HAS SOPS 6788658 HAS SOUS 4332843 HAS SOUPS 4332843 WITH SCORE 4339631.658
AT ITER 1702 NEW BEST:: SOT 13382109 SOS 6787609 HAS SOPS 6787609 HAS SOUS 4332421 HAS SOUPS 4332421 WITH SCORE 4339208.609
AT ITER 1707 NEW BEST:: SOT 13381810 SOS 6787292 HAS SOPS 6787292 HAS SOUS 4332122 HAS SOUPS 4332122 WITH SCORE 4338909.292
AT ITER 1710 NEW BEST:: SOT 13383374 SOS 6787164 HAS SOPS 6787164 HAS SOUS 4332086 HAS SOUPS 4332086 WITH SCORE 4338873.164
AT ITER 1712 NEW BEST:: SOT 13383026 SOS 6786628 HAS SOPS 6786628 HAS SOUS 4330549 HAS SOUPS 4330549 WITH SCORE 4337335.628
AT ITER 1714 NEW BEST:: SOT 13382200 SOS 6785789 HAS SOPS 6785789 HAS SOUS 4329723 HAS SOUPS 4329723 WITH SCORE 4336508.789
AT ITER 1720 NEW BEST:: SOT 13382547 SOS 6786483 HAS SOPS 6786483 HAS SOUS 4329420 HAS SOUPS 4329420 WITH SCORE 4336206.483
AT ITER 1723 NEW BEST:: SOT 13382547 SOS 6786035 HAS SOPS 6786035 HAS SOUS 4328972 HAS SOUPS 4328972 WITH SCORE 4335758.035
AT ITER 1731 NEW BEST:: SOT 13382547 SOS 6786035 HAS SOPS 6786035 HAS SOUS 4328971 HAS SOUPS 4328971 WITH SCORE 4335757.035
AT ITER 1734 NEW BEST:: SOT 13382589 SOS 6783810 HAS SOPS 6783810 HAS SOUS 4324581 HAS SOUPS 4324581 WITH SCORE 4331364.81
AT ITER 1738 NEW BEST:: SOT 13381717 SOS 6782066 HAS SOPS 6782066 HAS SOUS 4324466 HAS SOUPS 4324466 WITH SCORE 4331248.066
AT ITER 1741 NEW BEST:: SOT 13365081 SOS 6944894 HAS SOPS 6944894 HAS SOUS 4310364 HAS SOUPS 4310364 WITH SCORE 4317308.894
AT ITER 1744 NEW BEST:: SOT 13366462 SOS 6943179 HAS SOPS 6943179 HAS SOUS 4309836 HAS SOUPS 4309836 WITH SCORE 4316779.179
AT ITER 1748 NEW BEST:: SOT 13366492 SOS 6941784 HAS SOPS 6941784 HAS SOUS 4308634 HAS SOUPS 4308634 WITH SCORE 4315575.784
AT ITER 1753 NEW BEST:: SOT 13367660 SOS 6942026 HAS SOPS 6942026 HAS SOUS 4308527 HAS SOUPS 4308527 WITH SCORE 4315469.026
AT ITER 1762 NEW BEST:: SOT 13369438 SOS 6943279 HAS SOPS 6943279 HAS SOUS 4307920 HAS SOUPS 4307920 WITH SCORE 4314863.279
AT ITER 1768 NEW BEST:: SOT 13369438 SOS 6942835 HAS SOPS 6942835 HAS SOUS 4307354 HAS SOUPS 4307354 WITH SCORE 4314296.835
AT ITER 1774 NEW BEST:: SOT 13369319 SOS 6942716 HAS SOPS 6942716 HAS SOUS 4307235 HAS SOUPS 4307235 WITH SCORE 4314177.716
AT ITER 1780 NEW BEST:: SOT 13368203 SOS 6940484 HAS SOPS 6940484 HAS SOUS 4305323 HAS SOUPS 4305323 WITH SCORE 4312263.484
AT ITER 1784 NEW BEST:: SOT 13367263 SOS 6939531 HAS SOPS 6939531 HAS SOUS 4304383 HAS SOUPS 4304383 WITH SCORE 4311322.531
AT ITER 1785 NEW BEST:: SOT 13367263 SOS 6939429 HAS SOPS 6939429 HAS SOUS 4302553 HAS SOUPS 4302553 WITH SCORE 4309492.429
AT ITER 1794 NEW BEST:: SOT 13367263 SOS 6939438 HAS SOPS 6939438 HAS SOUS 4302552 HAS SOUPS 4302552 WITH SCORE 4309491.438
AT ITER 1795 NEW BEST:: SOT 13367109 SOS 6939276 HAS SOPS 6939276 HAS SOUS 4302398 HAS SOUPS 4302398 WITH SCORE 4309337.276
AT ITER 1803 NEW BEST:: SOT 13366421 SOS 6936066 HAS SOPS 6936066 HAS SOUS 4300885 HAS SOUPS 4300885 WITH SCORE 4307821.066
AT ITER 1805 NEW BEST:: SOT 13366421 SOS 6936066 HAS SOPS 6936066 HAS SOUS 4300879 HAS SOUPS 4300879 WITH SCORE 4307815.066
AT ITER 1807 NEW BEST:: SOT 13366012 SOS 6935248 HAS SOPS 6935248 HAS SOUS 4300470 HAS SOUPS 4300470 WITH SCORE 4307405.248
AT ITER 1810 NEW BEST:: SOT 13366012 SOS 6935248 HAS SOPS 6935248 HAS SOUS 4300443 HAS SOUPS 4300443 WITH SCORE 4307378.248
AT ITER 1811 NEW BEST:: SOT 13366012 SOS 6935248 HAS SOPS 6935248 HAS SOUS 4299878 HAS SOUPS 4299878 WITH SCORE 4306813.248
AT ITER 1814 NEW BEST:: SOT 13366150 SOS 6934181 HAS SOPS 6934181 HAS SOUS 4298811 HAS SOUPS 4298811 WITH SCORE 4305745.181
AT ITER 1824 NEW BEST:: SOT 13366150 SOS 6934181 HAS SOPS 6934181 HAS SOUS 4298642 HAS SOUPS 4298642 WITH SCORE 4305576.181
AT ITER 1829 NEW BEST:: SOT 13365809 SOS 6931387 HAS SOPS 6931387 HAS SOUS 4298025 HAS SOUPS 4298025 WITH SCORE 4304956.387
AT ITER 1832 NEW BEST:: SOT 13366259 SOS 6929664 HAS SOPS 6929664 HAS SOUS 4296998 HAS SOUPS 4296998 WITH SCORE 4303927.664
AT ITER 1833 NEW BEST:: SOT 13365617 SOS 6929954 HAS SOPS 6929954 HAS SOUS 4295714 HAS SOUPS 4295714 WITH SCORE 4302643.954
AT ITER 1857 NEW BEST:: SOT 13363818 SOS 6928298 HAS SOPS 6928298 HAS SOUS 4293549 HAS SOUPS 4293549 WITH SCORE 4300477.298
AT ITER 1864 NEW BEST:: SOT 13363556 SOS 6927774 HAS SOPS 6927774 HAS SOUS 4293214 HAS SOUPS 4293214 WITH SCORE 4300141.774
AT ITER 1869 NEW BEST:: SOT 13364379 SOS 6928760 HAS SOPS 6928760 HAS SOUS 4292044 HAS SOUPS 4292044 WITH SCORE 4298972.76
AT ITER 1876 NEW BEST:: SOT 13363392 SOS 6926868 HAS SOPS 6926868 HAS SOUS 4290152 HAS SOUPS 4290152 WITH SCORE 4297078.868
AT ITER 1880 NEW BEST:: SOT 13363392 SOS 6926868 HAS SOPS 6926868 HAS SOUS 4290142 HAS SOUPS 4290142 WITH SCORE 4297068.868
AT ITER 1882 NEW BEST:: SOT 13363392 SOS 6926628 HAS SOPS 6926628 HAS SOUS 4289902 HAS SOUPS 4289902 WITH SCORE 4296828.628
AT ITER 1888 NEW BEST:: SOT 13362686 SOS 6923804 HAS SOPS 6923804 HAS SOUS 4288489 HAS SOUPS 4288489 WITH SCORE 4295412.804
AT ITER 1892 NEW BEST:: SOT 13362488 SOS 6923408 HAS SOPS 6923408 HAS SOUS 4288093 HAS SOUPS 4288093 WITH SCORE 4295016.408
AT ITER 1895 NEW BEST:: SOT 13362101 SOS 6922247 HAS SOPS 6922247 HAS SOUS 4287706 HAS SOUPS 4287706 WITH SCORE 4294628.247
AT ITER 1896 NEW BEST:: SOT 13360742 SOS 6919529 HAS SOPS 6919529 HAS SOUS 4286374 HAS SOUPS 4286374 WITH SCORE 4293293.529
AT ITER 1899 NEW BEST:: SOT 13361302 SOS 6922576 HAS SOPS 6922576 HAS SOUS 4286251 HAS SOUPS 4286251 WITH SCORE 4293173.576
AT ITER 1900 NEW BEST:: SOT 13361120 SOS 6921596 HAS SOPS 6921596 HAS SOUS 4285761 HAS SOUPS 4285761 WITH SCORE 4292682.596
AT ITER 1902 NEW BEST:: SOT 13361120 SOS 6921264 HAS SOPS 6921264 HAS SOUS 4285730 HAS SOUPS 4285730 WITH SCORE 4292651.264
AT ITER 1903 NEW BEST:: SOT 13361512 SOS 6921559 HAS SOPS 6921559 HAS SOUS 4284273 HAS SOUPS 4284273 WITH SCORE 4291194.559
AT ITER 1906 NEW BEST:: SOT 13360584 SOS 6919704 HAS SOPS 6919704 HAS SOUS 4282618 HAS SOUPS 4282618 WITH SCORE 4289537.704
AT ITER 1924 NEW BEST:: SOT 13360073 SOS 6917660 HAS SOPS 6917660 HAS SOUS 4282106 HAS SOUPS 4282106 WITH SCORE 4289023.66
AT ITER 1927 NEW BEST:: SOT 13360121 SOS 6915487 HAS SOPS 6915487 HAS SOUS 4280574 HAS SOUPS 4280574 WITH SCORE 4287489.487
AT ITER 1932 NEW BEST:: SOT 13360121 SOS 6915487 HAS SOPS 6915487 HAS SOUS 4279717 HAS SOUPS 4279717 WITH SCORE 4286632.487
AT ITER 1940 NEW BEST:: SOT 13360018 SOS 6916394 HAS SOPS 6916394 HAS SOUS 4279614 HAS SOUPS 4279614 WITH SCORE 4286530.394
AT ITER 1941 NEW BEST:: SOT 13360018 SOS 6916394 HAS SOPS 6916394 HAS SOUS 4278435 HAS SOUPS 4278435 WITH SCORE 4285351.394
AT ITER 1942 NEW BEST:: SOT 13358699 SOS 6916849 HAS SOPS 6916849 HAS SOUS 4278034 HAS SOUPS 4278034 WITH SCORE 4284950.849
AT ITER 1946 NEW BEST:: SOT 13358799 SOS 6915996 HAS SOPS 6915996 HAS SOUS 4277081 HAS SOUPS 4277081 WITH SCORE 4283996.996
AT ITER 1955 NEW BEST:: SOT 13358211 SOS 6915408 HAS SOPS 6915408 HAS SOUS 4276888 HAS SOUPS 4276888 WITH SCORE 4283803.408
AT ITER 1960 NEW BEST:: SOT 13357438 SOS 6912316 HAS SOPS 6912316 HAS SOUS 4275708 HAS SOUPS 4275708 WITH SCORE 4282620.316
AT ITER 1970 NEW BEST:: SOT 13357372 SOS 6912527 HAS SOPS 6912527 HAS SOUS 4275636 HAS SOUPS 4275636 WITH SCORE 4282548.527
AT ITER 1975 NEW BEST:: SOT 13357372 SOS 6912316 HAS SOPS 6912316 HAS SOUS 4275425 HAS SOUPS 4275425 WITH SCORE 4282337.316
AT ITER 1979 NEW BEST:: SOT 13357766 SOS 6910242 HAS SOPS 6910242 HAS SOUS 4273519 HAS SOUPS 4273519 WITH SCORE 4280429.242
AT ITER 1982 NEW BEST:: SOT 13357766 SOS 6910242 HAS SOPS 6910242 HAS SOUS 4273518 HAS SOUPS 4273518 WITH SCORE 4280428.242
AT ITER 1985 NEW BEST:: SOT 13357766 SOS 6910250 HAS SOPS 6910250 HAS SOUS 4272057 HAS SOUPS 4272057 WITH SCORE 4278967.25
AT ITER 1987 NEW BEST:: SOT 13358042 SOS 6908119 HAS SOPS 6908119 HAS SOUS 4269926 HAS SOUPS 4269926 WITH SCORE 4276834.119
AT ITER 1993 NEW BEST:: SOT 13358096 SOS 6907371 HAS SOPS 6907371 HAS SOUS 4269552 HAS SOUPS 4269552 WITH SCORE 4276459.371
AT ITER 1996 NEW BEST:: SOT 13358096 SOS 6905919 HAS SOPS 6905919 HAS SOUS 4269466 HAS SOUPS 4269466 WITH SCORE 4276371.919
AT ITER 2005 NEW BEST:: SOT 13358096 SOS 6904045 HAS SOPS 6904045 HAS SOUS 4268517 HAS SOUPS 4268517 WITH SCORE 4275421.045
AT ITER 2014 NEW BEST:: SOT 13358096 SOS 6902438 HAS SOPS 6902438 HAS SOUS 4266537 HAS SOUPS 4266537 WITH SCORE 4273439.438
AT ITER 2015 NEW BEST:: SOT 13358091 SOS 6900538 HAS SOPS 6900538 HAS SOUS 4266526 HAS SOUPS 4266526 WITH SCORE 4273426.538
AT ITER 2034 NEW BEST:: SOT 13357931 SOS 6898322 HAS SOPS 6898322 HAS SOUS 4265067 HAS SOUPS 4265067 WITH SCORE 4271965.322
AT ITER 2038 NEW BEST:: SOT 13357931 SOS 6897637 HAS SOPS 6897637 HAS SOUS 4265060 HAS SOUPS 4265060 WITH SCORE 4271957.637
AT ITER 2039 NEW BEST:: SOT 13357843 SOS 6897373 HAS SOPS 6897373 HAS SOUS 4264796 HAS SOUPS 4264796 WITH SCORE 4271693.373
AT ITER 2051 NEW BEST:: SOT 13357626 SOS 6897341 HAS SOPS 6897341 HAS SOUS 4264579 HAS SOUPS 4264579 WITH SCORE 4271476.341
AT ITER 2061 NEW BEST:: SOT 13356207 SOS 6897170 HAS SOPS 6897170 HAS SOUS 4263159 HAS SOUPS 4263159 WITH SCORE 4270056.17
AT ITER 2062 NEW BEST:: SOT 13356207 SOS 6897169 HAS SOPS 6897169 HAS SOUS 4263114 HAS SOUPS 4263114 WITH SCORE 4270011.169
AT ITER 2065 NEW BEST:: SOT 13356207 SOS 6895321 HAS SOPS 6895321 HAS SOUS 4263113 HAS SOUPS 4263113 WITH SCORE 4270008.321
AT ITER 2069 NEW BEST:: SOT 13356207 SOS 6894139 HAS SOPS 6894139 HAS SOUS 4262904 HAS SOUPS 4262904 WITH SCORE 4269798.139
AT ITER 2071 NEW BEST:: SOT 13355840 SOS 6893405 HAS SOPS 6893405 HAS SOUS 4261870 HAS SOUPS 4261870 WITH SCORE 4268763.405
AT ITER 2072 NEW BEST:: SOT 13355840 SOS 6892830 HAS SOPS 6892830 HAS SOUS 4260764 HAS SOUPS 4260764 WITH SCORE 4267656.83
AT ITER 2078 NEW BEST:: SOT 13354084 SOS 6889318 HAS SOPS 6889318 HAS SOUS 4257604 HAS SOUPS 4257604 WITH SCORE 4264493.318
AT ITER 2084 NEW BEST:: SOT 13353425 SOS 6888000 HAS SOPS 6888000 HAS SOUS 4256363 HAS SOUPS 4256363 WITH SCORE 4263251.0
AT ITER 2092 NEW BEST:: SOT 13352232 SOS 6884423 HAS SOPS 6884423 HAS SOUS 4255009 HAS SOUPS 4255009 WITH SCORE 4261893.423
AT ITER 2097 NEW BEST:: SOT 13351959 SOS 6884150 HAS SOPS 6884150 HAS SOUS 4254866 HAS SOUPS 4254866 WITH SCORE 4261750.15
AT ITER 2099 NEW BEST:: SOT 13351959 SOS 6883420 HAS SOPS 6883420 HAS SOUS 4253406 HAS SOUPS 4253406 WITH SCORE 4260289.42
AT ITER 2110 NEW BEST:: SOT 13351755 SOS 6883640 HAS SOPS 6883640 HAS SOUS 4253323 HAS SOUPS 4253323 WITH SCORE 4260206.64
AT ITER 2114 NEW BEST:: SOT 13352307 SOS 6882944 HAS SOPS 6882944 HAS SOUS 4252627 HAS SOUPS 4252627 WITH SCORE 4259509.944
AT ITER 2115 NEW BEST:: SOT 13352307 SOS 6882657 HAS SOPS 6882657 HAS SOUS 4252340 HAS SOUPS 4252340 WITH SCORE 4259222.657
AT ITER 2122 NEW BEST:: SOT 13352307 SOS 6882652 HAS SOPS 6882652 HAS SOUS 4250402 HAS SOUPS 4250402 WITH SCORE 4257284.652
AT ITER 2127 NEW BEST:: SOT 13352266 SOS 6882570 HAS SOPS 6882570 HAS SOUS 4250361 HAS SOUPS 4250361 WITH SCORE 4257243.57
AT ITER 2130 NEW BEST:: SOT 13351808 SOS 6881654 HAS SOPS 6881654 HAS SOUS 4250297 HAS SOUPS 4250297 WITH SCORE 4257178.654
AT ITER 2136 NEW BEST:: SOT 13352739 SOS 6879282 HAS SOPS 6879282 HAS SOUS 4248937 HAS SOUPS 4248937 WITH SCORE 4255816.282
AT ITER 2142 NEW BEST:: SOT 13352350 SOS 6879282 HAS SOPS 6879282 HAS SOUS 4248548 HAS SOUPS 4248548 WITH SCORE 4255427.282
AT ITER 2143 NEW BEST:: SOT 13352054 SOS 6876827 HAS SOPS 6876827 HAS SOUS 4248168 HAS SOUPS 4248168 WITH SCORE 4255044.827
AT ITER 2144 NEW BEST:: SOT 13352146 SOS 6876355 HAS SOPS 6876355 HAS SOUS 4247917 HAS SOUPS 4247917 WITH SCORE 4254793.355
AT ITER 2146 NEW BEST:: SOT 13351986 SOS 6876035 HAS SOPS 6876035 HAS SOUS 4247757 HAS SOUPS 4247757 WITH SCORE 4254633.035
AT ITER 2158 NEW BEST:: SOT 13352012 SOS 6876061 HAS SOPS 6876061 HAS SOUS 4247034 HAS SOUPS 4247034 WITH SCORE 4253910.061
AT ITER 2161 NEW BEST:: SOT 13352465 SOS 6876002 HAS SOPS 6876002 HAS SOUS 4246774 HAS SOUPS 4246774 WITH SCORE 4253650.002
AT ITER 2162 NEW BEST:: SOT 13351867 SOS 6875105 HAS SOPS 6875105 HAS SOUS 4245578 HAS SOUPS 4245578 WITH SCORE 4252453.105
AT ITER 2169 NEW BEST:: SOT 13350576 SOS 6872523 HAS SOPS 6872523 HAS SOUS 4243034 HAS SOUPS 4243034 WITH SCORE 4249906.523
AT ITER 2173 NEW BEST:: SOT 13348921 SOS 6871057 HAS SOPS 6871057 HAS SOUS 4241379 HAS SOUPS 4241379 WITH SCORE 4248250.057
AT ITER 2174 NEW BEST:: SOT 13348921 SOS 6871057 HAS SOPS 6871057 HAS SOUS 4241234 HAS SOUPS 4241234 WITH SCORE 4248105.057
AT ITER 2176 NEW BEST:: SOT 13348921 SOS 6871057 HAS SOPS 6871057 HAS SOUS 4240656 HAS SOUPS 4240656 WITH SCORE 4247527.057
AT ITER 2183 NEW BEST:: SOT 13348901 SOS 6871017 HAS SOPS 6871017 HAS SOUS 4240616 HAS SOUPS 4240616 WITH SCORE 4247487.017
AT ITER 2191 NEW BEST:: SOT 13348845 SOS 6870905 HAS SOPS 6870905 HAS SOUS 4240504 HAS SOUPS 4240504 WITH SCORE 4247374.905
AT ITER 2201 NEW BEST:: SOT 13348648 SOS 6870952 HAS SOPS 6870952 HAS SOUS 4240307 HAS SOUPS 4240307 WITH SCORE 4247177.952
AT ITER 2203 NEW BEST:: SOT 13348555 SOS 6870580 HAS SOPS 6870580 HAS SOUS 4240121 HAS SOUPS 4240121 WITH SCORE 4246991.58
AT ITER 2206 NEW BEST:: SOT 13347999 SOS 6868911 HAS SOPS 6868911 HAS SOUS 4239564 HAS SOUPS 4239564 WITH SCORE 4246432.911
AT ITER 2210 NEW BEST:: SOT 13348089 SOS 6869093 HAS SOPS 6869093 HAS SOUS 4239535 HAS SOUPS 4239535 WITH SCORE 4246404.093
AT ITER 2212 NEW BEST:: SOT 13348111 SOS 6869137 HAS SOPS 6869137 HAS SOUS 4239480 HAS SOUPS 4239480 WITH SCORE 4246349.137
AT ITER 2216 NEW BEST:: SOT 13347797 SOS 6868807 HAS SOPS 6868807 HAS SOUS 4239289 HAS SOUPS 4239289 WITH SCORE 4246157.807
AT ITER 2217 NEW BEST:: SOT 13325064 SOS 6843389 HAS SOPS 6843389 HAS SOUS 4216908 HAS SOUPS 4216908 WITH SCORE 4223751.389
AT ITER 2228 NEW BEST:: SOT 13325064 SOS 6843389 HAS SOPS 6843389 HAS SOUS 4216252 HAS SOUPS 4216252 WITH SCORE 4223095.389
AT ITER 2231 NEW BEST:: SOT 13325055 SOS 6843371 HAS SOPS 6843371 HAS SOUS 4216234 HAS SOUPS 4216234 WITH SCORE 4223077.371
AT ITER 2234 NEW BEST:: SOT 13325055 SOS 6843036 HAS SOPS 6843036 HAS SOUS 4215791 HAS SOUPS 4215791 WITH SCORE 4222634.036
AT ITER 2236 NEW BEST:: SOT 13323621 SOS 6841190 HAS SOPS 6841190 HAS SOUS 4215140 HAS SOUPS 4215140 WITH SCORE 4221981.19
AT ITER 2238 NEW BEST:: SOT 13323552 SOS 6841052 HAS SOPS 6841052 HAS SOUS 4215002 HAS SOUPS 4215002 WITH SCORE 4221843.052
AT ITER 2246 NEW BEST:: SOT 13323739 SOS 6840510 HAS SOPS 6840510 HAS SOUS 4214838 HAS SOUPS 4214838 WITH SCORE 4221678.51
AT ITER 2249 NEW BEST:: SOT 13323739 SOS 6840046 HAS SOPS 6840046 HAS SOUS 4214836 HAS SOUPS 4214836 WITH SCORE 4221676.046
AT ITER 2255 NEW BEST:: SOT 13324135 SOS 6838878 HAS SOPS 6838878 HAS SOUS 4214053 HAS SOUPS 4214053 WITH SCORE 4220891.878
AT ITER 2258 NEW BEST:: SOT 13324921 SOS 6837830 HAS SOPS 6837830 HAS SOUS 4210310 HAS SOUPS 4210310 WITH SCORE 4217147.83
AT ITER 2259 NEW BEST:: SOT 13324916 SOS 6837825 HAS SOPS 6837825 HAS SOUS 4210234 HAS SOUPS 4210234 WITH SCORE 4217071.825
AT ITER 2260 NEW BEST:: SOT 13324916 SOS 6837824 HAS SOPS 6837824 HAS SOUS 4210233 HAS SOUPS 4210233 WITH SCORE 4217070.824
AT ITER 2264 NEW BEST:: SOT 13324704 SOS 6837819 HAS SOPS 6837819 HAS SOUS 4210021 HAS SOUPS 4210021 WITH SCORE 4216858.819
AT ITER 2268 NEW BEST:: SOT 13325168 SOS 6837484 HAS SOPS 6837484 HAS SOUS 4209222 HAS SOUPS 4209222 WITH SCORE 4216059.484
AT ITER 2271 NEW BEST:: SOT 13324575 SOS 6836891 HAS SOPS 6836891 HAS SOUS 4208629 HAS SOUPS 4208629 WITH SCORE 4215465.891
AT ITER 2274 NEW BEST:: SOT 13323904 SOS 6834207 HAS SOPS 6834207 HAS SOUS 4207647 HAS SOUPS 4207647 WITH SCORE 4214481.207
AT ITER 2275 NEW BEST:: SOT 13324476 SOS 6832726 HAS SOPS 6832726 HAS SOUS 4207064 HAS SOUPS 4207064 WITH SCORE 4213896.726
AT ITER 2284 NEW BEST:: SOT 13323433 SOS 6831352 HAS SOPS 6831352 HAS SOUS 4206936 HAS SOUPS 4206936 WITH SCORE 4213767.352
AT ITER 2299 NEW BEST:: SOT 13322991 SOS 6829584 HAS SOPS 6829584 HAS SOUS 4206052 HAS SOUPS 4206052 WITH SCORE 4212881.584
AT ITER 2321 NEW BEST:: SOT 13324417 SOS 6831317 HAS SOPS 6831317 HAS SOUS 4205897 HAS SOUPS 4205897 WITH SCORE 4212728.317
AT ITER 2323 NEW BEST:: SOT 13324058 SOS 6830599 HAS SOPS 6830599 HAS SOUS 4205645 HAS SOUPS 4205645 WITH SCORE 4212475.599
AT ITER 2328 NEW BEST:: SOT 13324053 SOS 6829250 HAS SOPS 6829250 HAS SOUS 4205212 HAS SOUPS 4205212 WITH SCORE 4212041.25
AT ITER 2330 NEW BEST:: SOT 13323225 SOS 6827251 HAS SOPS 6827251 HAS SOUS 4204383 HAS SOUPS 4204383 WITH SCORE 4211210.251
AT ITER 2333 NEW BEST:: SOT 13323225 SOS 6826969 HAS SOPS 6826969 HAS SOUS 4204101 HAS SOUPS 4204101 WITH SCORE 4210927.969
AT ITER 2343 NEW BEST:: SOT 13323225 SOS 6825049 HAS SOPS 6825049 HAS SOUS 4200155 HAS SOUPS 4200155 WITH SCORE 4206980.049
AT ITER 2347 NEW BEST:: SOT 13323225 SOS 6825049 HAS SOPS 6825049 HAS SOUS 4199499 HAS SOUPS 4199499 WITH SCORE 4206324.049
AT ITER 2354 NEW BEST:: SOT 13323224 SOS 6824944 HAS SOPS 6824944 HAS SOUS 4199498 HAS SOUPS 4199498 WITH SCORE 4206322.944
AT ITER 2358 NEW BEST:: SOT 13322223 SOS 6822216 HAS SOPS 6822216 HAS SOUS 4198510 HAS SOUPS 4198510 WITH SCORE 4205332.216
AT ITER 2361 NEW BEST:: SOT 13321497 SOS 6820207 HAS SOPS 6820207 HAS SOUS 4197784 HAS SOUPS 4197784 WITH SCORE 4204604.207
AT ITER 2363 NEW BEST:: SOT 13322213 SOS 6821276 HAS SOPS 6821276 HAS SOUS 4196961 HAS SOUPS 4196961 WITH SCORE 4203782.276
AT ITER 2365 NEW BEST:: SOT 13322020 SOS 6820890 HAS SOPS 6820890 HAS SOUS 4196575 HAS SOUPS 4196575 WITH SCORE 4203395.89
AT ITER 2367 NEW BEST:: SOT 13321092 SOS 6819034 HAS SOPS 6819034 HAS SOUS 4195012 HAS SOUPS 4195012 WITH SCORE 4201831.034
AT ITER 2368 NEW BEST:: SOT 13321092 SOS 6819034 HAS SOPS 6819034 HAS SOUS 4194883 HAS SOUPS 4194883 WITH SCORE 4201702.034
AT ITER 2371 NEW BEST:: SOT 13321092 SOS 6818911 HAS SOPS 6818911 HAS SOUS 4194883 HAS SOUPS 4194883 WITH SCORE 4201701.911
AT ITER 2373 NEW BEST:: SOT 13321092 SOS 6817363 HAS SOPS 6817363 HAS SOUS 4190757 HAS SOUPS 4190757 WITH SCORE 4197574.363
AT ITER 2374 NEW BEST:: SOT 13320266 SOS 6815711 HAS SOPS 6815711 HAS SOUS 4189559 HAS SOUPS 4189559 WITH SCORE 4196374.711
AT ITER 2378 NEW BEST:: SOT 13320531 SOS 6815686 HAS SOPS 6815686 HAS SOUS 4189247 HAS SOUPS 4189247 WITH SCORE 4196062.686
AT ITER 2383 NEW BEST:: SOT 13319524 SOS 6813673 HAS SOPS 6813673 HAS SOUS 4188305 HAS SOUPS 4188305 WITH SCORE 4195118.673
AT ITER 2386 NEW BEST:: SOT 13320763 SOS 6814629 HAS SOPS 6814629 HAS SOUS 4188022 HAS SOUPS 4188022 WITH SCORE 4194836.629
AT ITER 2397 NEW BEST:: SOT 13319826 SOS 6813712 HAS SOPS 6813712 HAS SOUS 4186713 HAS SOUPS 4186713 WITH SCORE 4193526.712
AT ITER 2400 NEW BEST:: SOT 13319826 SOS 6813712 HAS SOPS 6813712 HAS SOUS 4186402 HAS SOUPS 4186402 WITH SCORE 4193215.712
AT ITER 2404 NEW BEST:: SOT 13319235 SOS 6813202 HAS SOPS 6813202 HAS SOUS 4186090 HAS SOUPS 4186090 WITH SCORE 4192903.202
AT ITER 2406 NEW BEST:: SOT 13318822 SOS 6812376 HAS SOPS 6812376 HAS SOUS 4185048 HAS SOUPS 4185048 WITH SCORE 4191860.376
AT ITER 2410 NEW BEST:: SOT 13318358 SOS 6810520 HAS SOPS 6810520 HAS SOUS 4184120 HAS SOUPS 4184120 WITH SCORE 4190930.52
AT ITER 2411 NEW BEST:: SOT 13318358 SOS 6810520 HAS SOPS 6810520 HAS SOUS 4184119 HAS SOUPS 4184119 WITH SCORE 4190929.52
AT ITER 2412 NEW BEST:: SOT 13318499 SOS 6810980 HAS SOPS 6810980 HAS SOUS 4182898 HAS SOUPS 4182898 WITH SCORE 4189708.98
AT ITER 2414 NEW BEST:: SOT 13318499 SOS 6810980 HAS SOPS 6810980 HAS SOUS 4182802 HAS SOUPS 4182802 WITH SCORE 4189612.98
AT ITER 2418 NEW BEST:: SOT 13318401 SOS 6810882 HAS SOPS 6810882 HAS SOUS 4182704 HAS SOUPS 4182704 WITH SCORE 4189514.882
AT ITER 2423 NEW BEST:: SOT 13318030 SOS 6806980 HAS SOPS 6806980 HAS SOUS 4179777 HAS SOUPS 4179777 WITH SCORE 4186583.98
AT ITER 2426 NEW BEST:: SOT 13317846 SOS 6803498 HAS SOPS 6803498 HAS SOUS 4179325 HAS SOUPS 4179325 WITH SCORE 4186128.498
AT ITER 2430 NEW BEST:: SOT 13317669 SOS 6803321 HAS SOPS 6803321 HAS SOUS 4179148 HAS SOUPS 4179148 WITH SCORE 4185951.321
AT ITER 2434 NEW BEST:: SOT 13315329 SOS 6800976 HAS SOPS 6800976 HAS SOUS 4176901 HAS SOUPS 4176901 WITH SCORE 4183701.976
AT ITER 2437 NEW BEST:: SOT 13315740 SOS 6800698 HAS SOPS 6800698 HAS SOUS 4176788 HAS SOUPS 4176788 WITH SCORE 4183588.698
AT ITER 2439 NEW BEST:: SOT 13315515 SOS 6799554 HAS SOPS 6799554 HAS SOUS 4176563 HAS SOUPS 4176563 WITH SCORE 4183362.554
AT ITER 2441 NEW BEST:: SOT 13315345 SOS 6800390 HAS SOPS 6800390 HAS SOUS 4176393 HAS SOUPS 4176393 WITH SCORE 4183193.39
AT ITER 2442 NEW BEST:: SOT 13314954 SOS 6799608 HAS SOPS 6799608 HAS SOUS 4176001 HAS SOUPS 4176001 WITH SCORE 4182800.608
AT ITER 2445 NEW BEST:: SOT 13315178 SOS 6799832 HAS SOPS 6799832 HAS SOUS 4175747 HAS SOUPS 4175747 WITH SCORE 4182546.832
AT ITER 2459 NEW BEST:: SOT 13315178 SOS 6799832 HAS SOPS 6799832 HAS SOUS 4175003 HAS SOUPS 4175003 WITH SCORE 4181802.832
AT ITER 2461 NEW BEST:: SOT 13314864 SOS 6799784 HAS SOPS 6799784 HAS SOUS 4174955 HAS SOUPS 4174955 WITH SCORE 4181754.784
AT ITER 2467 NEW BEST:: SOT 13315036 SOS 6797640 HAS SOPS 6797640 HAS SOUS 4174668 HAS SOUPS 4174668 WITH SCORE 4181465.64
AT ITER 2468 NEW BEST:: SOT 13315980 SOS 6799528 HAS SOPS 6799528 HAS SOUS 4174078 HAS SOUPS 4174078 WITH SCORE 4180877.528
AT ITER 2474 NEW BEST:: SOT 13315555 SOS 6795858 HAS SOPS 6795858 HAS SOUS 4173026 HAS SOUPS 4173026 WITH SCORE 4179821.858
AT ITER 2478 NEW BEST:: SOT 13314422 SOS 6794725 HAS SOPS 6794725 HAS SOUS 4172691 HAS SOUPS 4172691 WITH SCORE 4179485.725
AT ITER 2480 NEW BEST:: SOT 13314422 SOS 6794725 HAS SOPS 6794725 HAS SOUS 4171981 HAS SOUPS 4171981 WITH SCORE 4178775.725
AT ITER 2482 NEW BEST:: SOT 13314204 SOS 6794595 HAS SOPS 6794595 HAS SOUS 4171763 HAS SOUPS 4171763 WITH SCORE 4178557.595
AT ITER 2483 NEW BEST:: SOT 13313725 SOS 6792510 HAS SOPS 6792510 HAS SOUS 4170614 HAS SOUPS 4170614 WITH SCORE 4177406.51
AT ITER 2492 NEW BEST:: SOT 13312731 SOS 6787671 HAS SOPS 6787671 HAS SOUS 4166955 HAS SOUPS 4166955 WITH SCORE 4173742.671
AT ITER 2493 NEW BEST:: SOT 13312159 SOS 6787447 HAS SOPS 6787447 HAS SOUS 4166820 HAS SOUPS 4166820 WITH SCORE 4173607.447
AT ITER 2495 NEW BEST:: SOT 13312095 SOS 6787319 HAS SOPS 6787319 HAS SOUS 4166692 HAS SOUPS 4166692 WITH SCORE 4173479.319
AT ITER 2498 NEW BEST:: SOT 13312095 SOS 6787338 HAS SOPS 6787338 HAS SOUS 4166464 HAS SOUPS 4166464 WITH SCORE 4173251.338
AT ITER 2500 NEW BEST:: SOT 13311675 SOS 6786078 HAS SOPS 6786078 HAS SOUS 4165624 HAS SOUPS 4165624 WITH SCORE 4172410.078
AT ITER 2502 NEW BEST:: SOT 13311354 SOS 6786424 HAS SOPS 6786424 HAS SOUS 4165032 HAS SOUPS 4165032 WITH SCORE 4171818.424
AT ITER 2506 NEW BEST:: SOT 13311271 SOS 6786258 HAS SOPS 6786258 HAS SOUS 4164866 HAS SOUPS 4164866 WITH SCORE 4171652.258
AT ITER 2509 NEW BEST:: SOT 13310881 SOS 6785478 HAS SOPS 6785478 HAS SOUS 4164476 HAS SOUPS 4164476 WITH SCORE 4171261.478
AT ITER 2511 NEW BEST:: SOT 13311790 SOS 6785163 HAS SOPS 6785163 HAS SOUS 4161597 HAS SOUPS 4161597 WITH SCORE 4168382.163
AT ITER 2513 NEW BEST:: SOT 13311398 SOS 6784771 HAS SOPS 6784771 HAS SOUS 4161205 HAS SOUPS 4161205 WITH SCORE 4167989.771
AT ITER 2515 NEW BEST:: SOT 13313018 SOS 6786551 HAS SOPS 6786551 HAS SOUS 4160752 HAS SOUPS 4160752 WITH SCORE 4167538.551
AT ITER 2517 NEW BEST:: SOT 13313628 SOS 6787771 HAS SOPS 6787771 HAS SOUS 4160544 HAS SOUPS 4160544 WITH SCORE 4167331.771
AT ITER 2520 NEW BEST:: SOT 13313381 SOS 6787277 HAS SOPS 6787277 HAS SOUS 4160297 HAS SOUPS 4160297 WITH SCORE 4167084.277
AT ITER 2524 NEW BEST:: SOT 13312723 SOS 6786835 HAS SOPS 6786835 HAS SOUS 4159423 HAS SOUPS 4159423 WITH SCORE 4166209.835
AT ITER 2529 NEW BEST:: SOT 13312723 SOS 6786455 HAS SOPS 6786455 HAS SOUS 4159261 HAS SOUPS 4159261 WITH SCORE 4166047.455
AT ITER 2531 NEW BEST:: SOT 13312710 SOS 6782748 HAS SOPS 6782748 HAS SOUS 4158581 HAS SOUPS 4158581 WITH SCORE 4165363.748
AT ITER 2534 NEW BEST:: SOT 13313032 SOS 6782280 HAS SOPS 6782280 HAS SOUS 4158240 HAS SOUPS 4158240 WITH SCORE 4165022.28
AT ITER 2536 NEW BEST:: SOT 13313032 SOS 6781754 HAS SOPS 6781754 HAS SOUS 4158240 HAS SOUPS 4158240 WITH SCORE 4165021.754
AT ITER 2548 NEW BEST:: SOT 13312840 SOS 6781562 HAS SOPS 6781562 HAS SOUS 4157259 HAS SOUPS 4157259 WITH SCORE 4164040.562
AT ITER 2551 NEW BEST:: SOT 13312567 SOS 6783478 HAS SOPS 6783478 HAS SOUS 4157109 HAS SOUPS 4157109 WITH SCORE 4163892.478
AT ITER 2561 NEW BEST:: SOT 13312067 SOS 6782973 HAS SOPS 6782973 HAS SOUS 4156609 HAS SOUPS 4156609 WITH SCORE 4163391.973
AT ITER 2570 NEW BEST:: SOT 13309233 SOS 6780350 HAS SOPS 6780350 HAS SOUS 4153510 HAS SOUPS 4153510 WITH SCORE 4160290.35
AT ITER 2572 NEW BEST:: SOT 13308642 SOS 6778577 HAS SOPS 6778577 HAS SOUS 4152328 HAS SOUPS 4152328 WITH SCORE 4159106.577
AT ITER 2573 NEW BEST:: SOT 13307423 SOS 6777787 HAS SOPS 6777787 HAS SOUS 4151544 HAS SOUPS 4151544 WITH SCORE 4158321.787
AT ITER 2581 NEW BEST:: SOT 13307786 SOS 6778513 HAS SOPS 6778513 HAS SOUS 4151197 HAS SOUPS 4151197 WITH SCORE 4157975.513
AT ITER 2583 NEW BEST:: SOT 13308133 SOS 6776193 HAS SOPS 6776193 HAS SOUS 4150112 HAS SOUPS 4150112 WITH SCORE 4156888.193
AT ITER 2586 NEW BEST:: SOT 13308017 SOS 6776077 HAS SOPS 6776077 HAS SOUS 4149996 HAS SOUPS 4149996 WITH SCORE 4156772.077
AT ITER 2587 NEW BEST:: SOT 13306233 SOS 6773767 HAS SOPS 6773767 HAS SOUS 4148351 HAS SOUPS 4148351 WITH SCORE 4155124.767
AT ITER 2596 NEW BEST:: SOT 13306228 SOS 6773757 HAS SOPS 6773757 HAS SOUS 4148346 HAS SOUPS 4148346 WITH SCORE 4155119.757
AT ITER 2604 NEW BEST:: SOT 13305991 SOS 6773283 HAS SOPS 6773283 HAS SOUS 4148109 HAS SOUPS 4148109 WITH SCORE 4154882.283
AT ITER 2606 NEW BEST:: SOT 13305953 SOS 6773207 HAS SOPS 6773207 HAS SOUS 4148108 HAS SOUPS 4148108 WITH SCORE 4154881.207
AT ITER 2607 NEW BEST:: SOT 13305953 SOS 6772450 HAS SOPS 6772450 HAS SOUS 4148108 HAS SOUPS 4148108 WITH SCORE 4154880.45
AT ITER 2609 NEW BEST:: SOT 13306838 SOS 6772555 HAS SOPS 6772555 HAS SOUS 4147439 HAS SOUPS 4147439 WITH SCORE 4154211.555
AT ITER 2613 NEW BEST:: SOT 13306613 SOS 6772105 HAS SOPS 6772105 HAS SOUS 4147214 HAS SOUPS 4147214 WITH SCORE 4153986.105
AT ITER 2617 NEW BEST:: SOT 13306446 SOS 6771771 HAS SOPS 6771771 HAS SOUS 4146880 HAS SOUPS 4146880 WITH SCORE 4153651.771
AT ITER 2619 NEW BEST:: SOT 13306950 SOS 6772779 HAS SOPS 6772779 HAS SOUS 4146308 HAS SOUPS 4146308 WITH SCORE 4153080.779
AT ITER 2623 NEW BEST:: SOT 13306950 SOS 6772779 HAS SOPS 6772779 HAS SOUS 4146117 HAS SOUPS 4146117 WITH SCORE 4152889.779
AT ITER 2626 NEW BEST:: SOT 13307054 SOS 6772092 HAS SOPS 6772092 HAS SOUS 4144542 HAS SOUPS 4144542 WITH SCORE 4151314.092
AT ITER 2629 NEW BEST:: SOT 13307273 SOS 6771701 HAS SOPS 6771701 HAS SOUS 4143716 HAS SOUPS 4143716 WITH SCORE 4150487.701
AT ITER 2636 NEW BEST:: SOT 13306850 SOS 6771278 HAS SOPS 6771278 HAS SOUS 4143397 HAS SOUPS 4143397 WITH SCORE 4150168.278
AT ITER 2638 NEW BEST:: SOT 13306850 SOS 6771278 HAS SOPS 6771278 HAS SOUS 4141947 HAS SOUPS 4141947 WITH SCORE 4148718.278
AT ITER 2640 NEW BEST:: SOT 13306046 SOS 6768470 HAS SOPS 6768470 HAS SOUS 4140745 HAS SOUPS 4140745 WITH SCORE 4147513.47
AT ITER 2646 NEW BEST:: SOT 13308323 SOS 6770756 HAS SOPS 6770756 HAS SOUS 4140337 HAS SOUPS 4140337 WITH SCORE 4147107.756
AT ITER 2647 NEW BEST:: SOT 13307238 SOS 6768586 HAS SOPS 6768586 HAS SOUS 4139640 HAS SOUPS 4139640 WITH SCORE 4146408.586
AT ITER 2649 NEW BEST:: SOT 13307494 SOS 6767950 HAS SOPS 6767950 HAS SOUS 4138948 HAS SOUPS 4138948 WITH SCORE 4145715.95
AT ITER 2650 NEW BEST:: SOT 13305500 SOS 6766162 HAS SOPS 6766162 HAS SOUS 4137813 HAS SOUPS 4137813 WITH SCORE 4144579.162
AT ITER 2660 NEW BEST:: SOT 13304973 SOS 6766092 HAS SOPS 6766092 HAS SOUS 4137604 HAS SOUPS 4137604 WITH SCORE 4144370.092
AT ITER 2661 NEW BEST:: SOT 13304973 SOS 6765822 HAS SOPS 6765822 HAS SOUS 4137604 HAS SOUPS 4137604 WITH SCORE 4144369.822
AT ITER 2665 NEW BEST:: SOT 13304973 SOS 6765410 HAS SOPS 6765410 HAS SOUS 4137192 HAS SOUPS 4137192 WITH SCORE 4143957.41
AT ITER 2670 NEW BEST:: SOT 13304973 SOS 6765410 HAS SOPS 6765410 HAS SOUS 4137046 HAS SOUPS 4137046 WITH SCORE 4143811.41
AT ITER 2673 NEW BEST:: SOT 13304973 SOS 6765410 HAS SOPS 6765410 HAS SOUS 4136633 HAS SOUPS 4136633 WITH SCORE 4143398.41
AT ITER 2679 NEW BEST:: SOT 13304973 SOS 6765320 HAS SOPS 6765320 HAS SOUS 4136543 HAS SOUPS 4136543 WITH SCORE 4143308.32
AT ITER 2680 NEW BEST:: SOT 13304360 SOS 6762102 HAS SOPS 6762102 HAS SOUS 4136001 HAS SOUPS 4136001 WITH SCORE 4142763.102
AT ITER 2684 NEW BEST:: SOT 13304711 SOS 6762973 HAS SOPS 6762973 HAS SOUS 4135832 HAS SOUPS 4135832 WITH SCORE 4142594.973
AT ITER 2692 NEW BEST:: SOT 13304627 SOS 6762805 HAS SOPS 6762805 HAS SOUS 4135748 HAS SOUPS 4135748 WITH SCORE 4142510.805
AT ITER 2697 NEW BEST:: SOT 13305107 SOS 6763765 HAS SOPS 6763765 HAS SOUS 4133880 HAS SOUPS 4133880 WITH SCORE 4140643.765
AT ITER 2701 NEW BEST:: SOT 13303629 SOS 6761741 HAS SOPS 6761741 HAS SOUS 4133003 HAS SOUPS 4133003 WITH SCORE 4139764.741
AT ITER 2707 NEW BEST:: SOT 13303490 SOS 6761463 HAS SOPS 6761463 HAS SOUS 4132014 HAS SOUPS 4132014 WITH SCORE 4138775.463
AT ITER 2710 NEW BEST:: SOT 13303395 SOS 6761300 HAS SOPS 6761300 HAS SOUS 4131919 HAS SOUPS 4131919 WITH SCORE 4138680.3
AT ITER 2714 NEW BEST:: SOT 13303388 SOS 6760088 HAS SOPS 6760088 HAS SOUS 4131480 HAS SOUPS 4131480 WITH SCORE 4138240.088
AT ITER 2718 NEW BEST:: SOT 13302896 SOS 6757693 HAS SOPS 6757693 HAS SOUS 4130157 HAS SOUPS 4130157 WITH SCORE 4136914.693
AT ITER 2723 NEW BEST:: SOT 13302663 SOS 6757227 HAS SOPS 6757227 HAS SOUS 4129924 HAS SOUPS 4129924 WITH SCORE 4136681.227
AT ITER 2725 NEW BEST:: SOT 13301423 SOS 6754537 HAS SOPS 6754537 HAS SOUS 4126792 HAS SOUPS 4126792 WITH SCORE 4133546.537
AT ITER 2733 NEW BEST:: SOT 13301126 SOS 6754240 HAS SOPS 6754240 HAS SOUS 4126495 HAS SOUPS 4126495 WITH SCORE 4133249.24
AT ITER 2743 NEW BEST:: SOT 13300813 SOS 6751318 HAS SOPS 6751318 HAS SOUS 4125739 HAS SOUPS 4125739 WITH SCORE 4132490.318
AT ITER 2760 NEW BEST:: SOT 13300435 SOS 6749806 HAS SOPS 6749806 HAS SOUS 4124876 HAS SOUPS 4124876 WITH SCORE 4131625.806
AT ITER 2762 NEW BEST:: SOT 13300435 SOS 6749806 HAS SOPS 6749806 HAS SOUS 4123009 HAS SOUPS 4123009 WITH SCORE 4129758.806
AT ITER 2765 NEW BEST:: SOT 13300692 SOS 6750223 HAS SOPS 6750223 HAS SOUS 4122314 HAS SOUPS 4122314 WITH SCORE 4129064.223
AT ITER 2767 NEW BEST:: SOT 13300669 SOS 6750177 HAS SOPS 6750177 HAS SOUS 4122114 HAS SOUPS 4122114 WITH SCORE 4128864.177
AT ITER 2774 NEW BEST:: SOT 13299616 SOS 6748979 HAS SOPS 6748979 HAS SOUS 4118154 HAS SOUPS 4118154 WITH SCORE 4124902.979
AT ITER 2775 NEW BEST:: SOT 13299476 SOS 6748839 HAS SOPS 6748839 HAS SOUS 4118014 HAS SOUPS 4118014 WITH SCORE 4124762.839
AT ITER 2781 NEW BEST:: SOT 13299059 SOS 6748005 HAS SOPS 6748005 HAS SOUS 4117597 HAS SOUPS 4117597 WITH SCORE 4124345.005
AT ITER 2784 NEW BEST:: SOT 13299053 SOS 6747889 HAS SOPS 6747889 HAS SOUS 4117481 HAS SOUPS 4117481 WITH SCORE 4124228.889
AT ITER 2792 NEW BEST:: SOT 13298269 SOS 6745185 HAS SOPS 6745185 HAS SOUS 4116169 HAS SOUPS 4116169 WITH SCORE 4122914.185
AT ITER 2793 NEW BEST:: SOT 13296499 SOS 6743604 HAS SOPS 6743604 HAS SOUS 4114399 HAS SOUPS 4114399 WITH SCORE 4121142.604
AT ITER 2795 NEW BEST:: SOT 13295372 SOS 6741350 HAS SOPS 6741350 HAS SOUS 4113271 HAS SOUPS 4113271 WITH SCORE 4120012.35
AT ITER 2804 NEW BEST:: SOT 13295372 SOS 6741299 HAS SOPS 6741299 HAS SOUS 4113220 HAS SOUPS 4113220 WITH SCORE 4119961.299
AT ITER 2806 NEW BEST:: SOT 13295232 SOS 6741019 HAS SOPS 6741019 HAS SOUS 4113220 HAS SOUPS 4113220 WITH SCORE 4119961.019
AT ITER 2812 NEW BEST:: SOT 13295232 SOS 6741019 HAS SOPS 6741019 HAS SOUS 4111071 HAS SOUPS 4111071 WITH SCORE 4117812.019
AT ITER 2813 NEW BEST:: SOT 13295232 SOS 6715611 HAS SOPS 6715611 HAS SOUS 4110249 HAS SOUPS 4110249 WITH SCORE 4116964.611
AT ITER 2816 NEW BEST:: SOT 13294052 SOS 6713251 HAS SOPS 6713251 HAS SOUS 4107889 HAS SOUPS 4107889 WITH SCORE 4114602.251
AT ITER 2818 NEW BEST:: SOT 13293294 SOS 6711735 HAS SOPS 6711735 HAS SOUS 4107131 HAS SOUPS 4107131 WITH SCORE 4113842.735
AT ITER 2821 NEW BEST:: SOT 13294138 SOS 6712485 HAS SOPS 6712485 HAS SOUS 4106237 HAS SOUPS 4106237 WITH SCORE 4112949.485
AT ITER 2828 NEW BEST:: SOT 13293657 SOS 6711042 HAS SOPS 6711042 HAS SOUS 4105366 HAS SOUPS 4105366 WITH SCORE 4112077.042
AT ITER 2831 NEW BEST:: SOT 13293657 SOS 6711042 HAS SOPS 6711042 HAS SOUS 4105219 HAS SOUPS 4105219 WITH SCORE 4111930.042
AT ITER 2835 NEW BEST:: SOT 13293657 SOS 6710920 HAS SOPS 6710920 HAS SOUS 4105158 HAS SOUPS 4105158 WITH SCORE 4111868.92
AT ITER 2838 NEW BEST:: SOT 13293030 SOS 6710288 HAS SOPS 6710288 HAS SOUS 4104531 HAS SOUPS 4104531 WITH SCORE 4111241.288
AT ITER 2853 NEW BEST:: SOT 13293289 SOS 6710806 HAS SOPS 6710806 HAS SOUS 4104182 HAS SOUPS 4104182 WITH SCORE 4110892.806
AT ITER 2856 NEW BEST:: SOT 13292086 SOS 6708400 HAS SOPS 6708400 HAS SOUS 4103583 HAS SOUPS 4103583 WITH SCORE 4110291.4
AT ITER 2861 NEW BEST:: SOT 13292327 SOS 6707963 HAS SOPS 6707963 HAS SOUS 4103566 HAS SOUPS 4103566 WITH SCORE 4110273.963
AT ITER 2864 NEW BEST:: SOT 13292327 SOS 6707963 HAS SOPS 6707963 HAS SOUS 4103389 HAS SOUPS 4103389 WITH SCORE 4110096.963
AT ITER 2873 NEW BEST:: SOT 13293634 SOS 6708608 HAS SOPS 6708608 HAS SOUS 4102659 HAS SOUPS 4102659 WITH SCORE 4109367.608
AT ITER 2877 NEW BEST:: SOT 13293634 SOS 6708567 HAS SOPS 6708567 HAS SOUS 4102659 HAS SOUPS 4102659 WITH SCORE 4109367.567
AT ITER 2888 NEW BEST:: SOT 13294474 SOS 6709027 HAS SOPS 6709027 HAS SOUS 4102279 HAS SOUPS 4102279 WITH SCORE 4108988.027
AT ITER 2899 NEW BEST:: SOT 13294354 SOS 6729577 HAS SOPS 6729577 HAS SOUS 4102159 HAS SOUPS 4102159 WITH SCORE 4108888.577
AT ITER 2906 NEW BEST:: SOT 13295945 SOS 6730462 HAS SOPS 6730462 HAS SOUS 4100851 HAS SOUPS 4100851 WITH SCORE 4107581.462
AT ITER 2907 NEW BEST:: SOT 13295945 SOS 6730105 HAS SOPS 6730105 HAS SOUS 4100494 HAS SOUPS 4100494 WITH SCORE 4107224.105
AT ITER 2909 NEW BEST:: SOT 13295916 SOS 6729858 HAS SOPS 6729858 HAS SOUS 4100465 HAS SOUPS 4100465 WITH SCORE 4107194.858
AT ITER 2910 NEW BEST:: SOT 13295743 SOS 6729762 HAS SOPS 6729762 HAS SOUS 4100054 HAS SOUPS 4100054 WITH SCORE 4106783.762
AT ITER 2914 NEW BEST:: SOT 13295743 SOS 6729762 HAS SOPS 6729762 HAS SOUS 4100034 HAS SOUPS 4100034 WITH SCORE 4106763.762
AT ITER 2919 NEW BEST:: SOT 13294349 SOS 6726655 HAS SOPS 6726655 HAS SOUS 4097246 HAS SOUPS 4097246 WITH SCORE 4103972.655
AT ITER 2920 NEW BEST:: SOT 13294648 SOS 6726226 HAS SOPS 6726226 HAS SOUS 4096330 HAS SOUPS 4096330 WITH SCORE 4103056.226
AT ITER 2927 NEW BEST:: SOT 13293805 SOS 6725523 HAS SOPS 6725523 HAS SOUS 4096023 HAS SOUPS 4096023 WITH SCORE 4102748.523
AT ITER 2932 NEW BEST:: SOT 13293805 SOS 6725523 HAS SOPS 6725523 HAS SOUS 4095907 HAS SOUPS 4095907 WITH SCORE 4102632.523
AT ITER 2934 NEW BEST:: SOT 13291432 SOS 6723144 HAS SOPS 6723144 HAS SOUS 4093548 HAS SOUPS 4093548 WITH SCORE 4100271.144
AT ITER 2937 NEW BEST:: SOT 13290654 SOS 6721595 HAS SOPS 6721595 HAS SOUS 4092770 HAS SOUPS 4092770 WITH SCORE 4099491.595
AT ITER 2938 NEW BEST:: SOT 13290654 SOS 6721514 HAS SOPS 6721514 HAS SOUS 4092258 HAS SOUPS 4092258 WITH SCORE 4098979.514
AT ITER 2940 NEW BEST:: SOT 13290126 SOS 6719295 HAS SOPS 6719295 HAS SOUS 4090777 HAS SOUPS 4090777 WITH SCORE 4097496.295
AT ITER 2948 NEW BEST:: SOT 13290072 SOS 6719187 HAS SOPS 6719187 HAS SOUS 4090723 HAS SOUPS 4090723 WITH SCORE 4097442.187
AT ITER 2950 NEW BEST:: SOT 13290232 SOS 6718549 HAS SOPS 6718549 HAS SOUS 4089923 HAS SOUPS 4089923 WITH SCORE 4096641.549
AT ITER 2957 NEW BEST:: SOT 13290931 SOS 6716922 HAS SOPS 6716922 HAS SOUS 4089834 HAS SOUPS 4089834 WITH SCORE 4096550.922
AT ITER 2962 NEW BEST:: SOT 13290931 SOS 6716922 HAS SOPS 6716922 HAS SOUS 4089761 HAS SOUPS 4089761 WITH SCORE 4096477.922
AT ITER 2972 NEW BEST:: SOT 13290880 SOS 6716820 HAS SOPS 6716820 HAS SOUS 4089659 HAS SOUPS 4089659 WITH SCORE 4096375.82
AT ITER 2976 NEW BEST:: SOT 13290698 SOS 6716456 HAS SOPS 6716456 HAS SOUS 4089477 HAS SOUPS 4089477 WITH SCORE 4096193.456
AT ITER 2985 NEW BEST:: SOT 13290900 SOS 6719881 HAS SOPS 6719881 HAS SOUS 4089169 HAS SOUPS 4089169 WITH SCORE 4095888.881
AT ITER 2986 NEW BEST:: SOT 13290900 SOS 6719881 HAS SOPS 6719881 HAS SOUS 4089168 HAS SOUPS 4089168 WITH SCORE 4095887.881
AT ITER 2987 NEW BEST:: SOT 13290772 SOS 6719625 HAS SOPS 6719625 HAS SOUS 4089039 HAS SOUPS 4089039 WITH SCORE 4095758.625
AT ITER 2989 NEW BEST:: SOT 13290332 SOS 6716023 HAS SOPS 6716023 HAS SOUS 4087736 HAS SOUPS 4087736 WITH SCORE 4094452.023
AT ITER 2990 NEW BEST:: SOT 13290796 SOS 6714956 HAS SOPS 6714956 HAS SOUS 4086316 HAS SOUPS 4086316 WITH SCORE 4093030.956
AT ITER 2991 NEW BEST:: SOT 13290705 SOS 6714865 HAS SOPS 6714865 HAS SOUS 4086225 HAS SOUPS 4086225 WITH SCORE 4092939.865
AT ITER 2992 NEW BEST:: SOT 13289494 SOS 6713610 HAS SOPS 6713610 HAS SOUS 4085062 HAS SOUPS 4085062 WITH SCORE 4091775.61
AT ITER 2994 NEW BEST:: SOT 13289455 SOS 6713532 HAS SOPS 6713532 HAS SOUS 4085023 HAS SOUPS 4085023 WITH SCORE 4091736.532
AT ITER 2999 NEW BEST:: SOT 13289455 SOS 6714140 HAS SOPS 6714140 HAS SOUS 4084809 HAS SOUPS 4084809 WITH SCORE 4091523.14
AT ITER 3007 NEW BEST:: SOT 13288288 SOS 6711806 HAS SOPS 6711806 HAS SOUS 4083569 HAS SOUPS 4083569 WITH SCORE 4090280.806
AT ITER 3017 NEW BEST:: SOT 13288288 SOS 6711806 HAS SOPS 6711806 HAS SOUS 4083253 HAS SOUPS 4083253 WITH SCORE 4089964.806
AT ITER 3023 NEW BEST:: SOT 13288551 SOS 6712332 HAS SOPS 6712332 HAS SOUS 4083102 HAS SOUPS 4083102 WITH SCORE 4089814.332
AT ITER 3029 NEW BEST:: SOT 13288551 SOS 6712332 HAS SOPS 6712332 HAS SOUS 4082524 HAS SOUPS 4082524 WITH SCORE 4089236.332
AT ITER 3031 NEW BEST:: SOT 13288551 SOS 6712332 HAS SOPS 6712332 HAS SOUS 4081113 HAS SOUPS 4081113 WITH SCORE 4087825.332
AT ITER 3032 NEW BEST:: SOT 13288551 SOS 6712006 HAS SOPS 6712006 HAS SOUS 4080461 HAS SOUPS 4080461 WITH SCORE 4087173.006
AT ITER 3033 NEW BEST:: SOT 13286709 SOS 6711416 HAS SOPS 6711416 HAS SOUS 4080173 HAS SOUPS 4080173 WITH SCORE 4086884.416
AT ITER 3034 NEW BEST:: SOT 13286315 SOS 6710628 HAS SOPS 6710628 HAS SOUS 4079385 HAS SOUPS 4079385 WITH SCORE 4086095.628
AT ITER 3035 NEW BEST:: SOT 13286315 SOS 6710516 HAS SOPS 6710516 HAS SOUS 4079385 HAS SOUPS 4079385 WITH SCORE 4086095.516
AT ITER 3037 NEW BEST:: SOT 13286315 SOS 6709601 HAS SOPS 6709601 HAS SOUS 4079385 HAS SOUPS 4079385 WITH SCORE 4086094.601
AT ITER 3039 NEW BEST:: SOT 13286315 SOS 6709289 HAS SOPS 6709289 HAS SOUS 4079385 HAS SOUPS 4079385 WITH SCORE 4086094.289
AT ITER 3040 NEW BEST:: SOT 13285317 SOS 6707293 HAS SOPS 6707293 HAS SOUS 4077880 HAS SOUPS 4077880 WITH SCORE 4084587.293
AT ITER 3043 NEW BEST:: SOT 13284969 SOS 6706597 HAS SOPS 6706597 HAS SOUS 4077880 HAS SOUPS 4077880 WITH SCORE 4084586.597
AT ITER 3048 NEW BEST:: SOT 13284036 SOS 6707382 HAS SOPS 6707382 HAS SOUS 4077418 HAS SOUPS 4077418 WITH SCORE 4084125.382
AT ITER 3051 NEW BEST:: SOT 13283765 SOS 6706840 HAS SOPS 6706840 HAS SOUS 4077147 HAS SOUPS 4077147 WITH SCORE 4083853.84
AT ITER 3060 NEW BEST:: SOT 13283830 SOS 6707771 HAS SOPS 6707771 HAS SOUS 4076870 HAS SOUPS 4076870 WITH SCORE 4083577.771
AT ITER 3071 NEW BEST:: SOT 13283165 SOS 6705776 HAS SOPS 6705776 HAS SOUS 4076205 HAS SOUPS 4076205 WITH SCORE 4082910.776
AT ITER 3081 NEW BEST:: SOT 13282783 SOS 6705012 HAS SOPS 6705012 HAS SOUS 4075335 HAS SOUPS 4075335 WITH SCORE 4082040.012
AT ITER 3089 NEW BEST:: SOT 13282783 SOS 6705009 HAS SOPS 6705009 HAS SOUS 4074467 HAS SOUPS 4074467 WITH SCORE 4081172.009
AT ITER 3090 NEW BEST:: SOT 13282318 SOS 6704517 HAS SOPS 6704517 HAS SOUS 4074211 HAS SOUPS 4074211 WITH SCORE 4080915.517
AT ITER 3094 NEW BEST:: SOT 13282015 SOS 6703911 HAS SOPS 6703911 HAS SOUS 4074126 HAS SOUPS 4074126 WITH SCORE 4080829.911
AT ITER 3095 NEW BEST:: SOT 13282137 SOS 6701747 HAS SOPS 6701747 HAS SOUS 4071840 HAS SOUPS 4071840 WITH SCORE 4078541.747
AT ITER 3101 NEW BEST:: SOT 13282072 SOS 6701747 HAS SOPS 6701747 HAS SOUS 4071775 HAS SOUPS 4071775 WITH SCORE 4078476.747
AT ITER 3102 NEW BEST:: SOT 13282575 SOS 6702753 HAS SOPS 6702753 HAS SOUS 4069878 HAS SOUPS 4069878 WITH SCORE 4076580.753
AT ITER 3107 NEW BEST:: SOT 13282575 SOS 6697348 HAS SOPS 6697348 HAS SOUS 4069878 HAS SOUPS 4069878 WITH SCORE 4076575.348
AT ITER 3112 NEW BEST:: SOT 13282033 SOS 6694420 HAS SOPS 6694420 HAS SOUS 4068941 HAS SOUPS 4068941 WITH SCORE 4075635.42
AT ITER 3115 NEW BEST:: SOT 13282033 SOS 6694420 HAS SOPS 6694420 HAS SOUS 4068939 HAS SOUPS 4068939 WITH SCORE 4075633.42
AT ITER 3128 NEW BEST:: SOT 13282033 SOS 6693621 HAS SOPS 6693621 HAS SOUS 4068138 HAS SOUPS 4068138 WITH SCORE 4074831.621
AT ITER 3129 NEW BEST:: SOT 13279425 SOS 6691731 HAS SOPS 6691731 HAS SOUS 4065996 HAS SOUPS 4065996 WITH SCORE 4072687.731
AT ITER 3131 NEW BEST:: SOT 13279268 SOS 6691753 HAS SOPS 6691753 HAS SOUS 4065839 HAS SOUPS 4065839 WITH SCORE 4072530.753
AT ITER 3142 NEW BEST:: SOT 13279932 SOS 6691012 HAS SOPS 6691012 HAS SOUS 4063119 HAS SOUPS 4063119 WITH SCORE 4069810.012
AT ITER 3150 NEW BEST:: SOT 13280022 SOS 6691109 HAS SOPS 6691109 HAS SOUS 4062765 HAS SOUPS 4062765 WITH SCORE 4069456.109
AT ITER 3151 NEW BEST:: SOT 13278977 SOS 6690062 HAS SOPS 6690062 HAS SOUS 4062414 HAS SOUPS 4062414 WITH SCORE 4069104.062
AT ITER 3154 NEW BEST:: SOT 13278198 SOS 6686946 HAS SOPS 6686946 HAS SOUS 4061248 HAS SOUPS 4061248 WITH SCORE 4067934.946
AT ITER 3155 NEW BEST:: SOT 13278198 SOS 6684646 HAS SOPS 6684646 HAS SOUS 4059143 HAS SOUPS 4059143 WITH SCORE 4065827.646
AT ITER 3168 NEW BEST:: SOT 13278152 SOS 6684554 HAS SOPS 6684554 HAS SOUS 4059097 HAS SOUPS 4059097 WITH SCORE 4065781.554
AT ITER 3170 NEW BEST:: SOT 13278102 SOS 6684454 HAS SOPS 6684454 HAS SOUS 4059047 HAS SOUPS 4059047 WITH SCORE 4065731.454
AT ITER 3172 NEW BEST:: SOT 13276734 SOS 6683599 HAS SOPS 6683599 HAS SOUS 4056867 HAS SOUPS 4056867 WITH SCORE 4063550.599
AT ITER 3173 NEW BEST:: SOT 13276517 SOS 6683165 HAS SOPS 6683165 HAS SOUS 4055313 HAS SOUPS 4055313 WITH SCORE 4061996.165
AT ITER 3178 NEW BEST:: SOT 13276771 SOS 6681464 HAS SOPS 6681464 HAS SOUS 4054144 HAS SOUPS 4054144 WITH SCORE 4060825.464
AT ITER 3182 NEW BEST:: SOT 13276759 SOS 6681452 HAS SOPS 6681452 HAS SOUS 4054132 HAS SOUPS 4054132 WITH SCORE 4060813.452
AT ITER 3183 NEW BEST:: SOT 13274725 SOS 6680554 HAS SOPS 6680554 HAS SOUS 4053234 HAS SOUPS 4053234 WITH SCORE 4059914.554
AT ITER 3190 NEW BEST:: SOT 13272303 SOS 6678267 HAS SOPS 6678267 HAS SOUS 4051202 HAS SOUPS 4051202 WITH SCORE 4057880.267
AT ITER 3197 NEW BEST:: SOT 13272303 SOS 6678080 HAS SOPS 6678080 HAS SOUS 4051202 HAS SOUPS 4051202 WITH SCORE 4057880.08
AT ITER 3207 NEW BEST:: SOT 13272003 SOS 6677037 HAS SOPS 6677037 HAS SOUS 4050602 HAS SOUPS 4050602 WITH SCORE 4057279.037
AT ITER 3223 NEW BEST:: SOT 13271859 SOS 6676749 HAS SOPS 6676749 HAS SOUS 4050314 HAS SOUPS 4050314 WITH SCORE 4056990.749
AT ITER 3226 NEW BEST:: SOT 13271859 SOS 6676749 HAS SOPS 6676749 HAS SOUS 4049961 HAS SOUPS 4049961 WITH SCORE 4056637.749
AT ITER 3231 NEW BEST:: SOT 13269295 SOS 6674845 HAS SOPS 6674845 HAS SOUS 4048057 HAS SOUPS 4048057 WITH SCORE 4054731.845
AT ITER 3234 NEW BEST:: SOT 13270469 SOS 6677193 HAS SOPS 6677193 HAS SOUS 4047837 HAS SOUPS 4047837 WITH SCORE 4054514.193
AT ITER 3237 NEW BEST:: SOT 13270469 SOS 6676205 HAS SOPS 6676205 HAS SOUS 4046849 HAS SOUPS 4046849 WITH SCORE 4053525.205
AT ITER 3240 NEW BEST:: SOT 13270469 SOS 6676205 HAS SOPS 6676205 HAS SOUS 4046358 HAS SOUPS 4046358 WITH SCORE 4053034.205
AT ITER 3242 NEW BEST:: SOT 13269802 SOS 6674872 HAS SOPS 6674872 HAS SOUS 4045691 HAS SOUPS 4045691 WITH SCORE 4052365.872
AT ITER 3244 NEW BEST:: SOT 13271281 SOS 6673412 HAS SOPS 6673412 HAS SOUS 4044420 HAS SOUPS 4044420 WITH SCORE 4051093.412
AT ITER 3245 NEW BEST:: SOT 13271281 SOS 6672607 HAS SOPS 6672607 HAS SOUS 4042594 HAS SOUPS 4042594 WITH SCORE 4049266.607
AT ITER 3252 NEW BEST:: SOT 13271002 SOS 6672217 HAS SOPS 6672217 HAS SOUS 4042315 HAS SOUPS 4042315 WITH SCORE 4048987.217
AT ITER 3254 NEW BEST:: SOT 13270697 SOS 6672347 HAS SOPS 6672347 HAS SOUS 4041954 HAS SOUPS 4041954 WITH SCORE 4048626.347
AT ITER 3262 NEW BEST:: SOT 13271041 SOS 6670079 HAS SOPS 6670079 HAS SOUS 4041224 HAS SOUPS 4041224 WITH SCORE 4047894.079
AT ITER 3263 NEW BEST:: SOT 13271041 SOS 6669379 HAS SOPS 6669379 HAS SOUS 4040874 HAS SOUPS 4040874 WITH SCORE 4047543.379
AT ITER 3273 NEW BEST:: SOT 13223217 SOS 6664239 HAS SOPS 6664239 HAS SOUS 3994099 HAS SOUPS 3994099 WITH SCORE 4000763.239
AT ITER 3274 NEW BEST:: SOT 13222415 SOS 6661533 HAS SOPS 6661533 HAS SOUS 3991393 HAS SOUPS 3991393 WITH SCORE 3998054.533
AT ITER 3277 NEW BEST:: SOT 13222316 SOS 6660801 HAS SOPS 6660801 HAS SOUS 3991294 HAS SOUPS 3991294 WITH SCORE 3997954.801
AT ITER 3291 NEW BEST:: SOT 13223130 SOS 6657580 HAS SOPS 6657580 HAS SOUS 3989721 HAS SOUPS 3989721 WITH SCORE 3996378.58
AT ITER 3292 NEW BEST:: SOT 13223130 SOS 6654756 HAS SOPS 6654756 HAS SOUS 3989614 HAS SOUPS 3989614 WITH SCORE 3996268.756
AT ITER 3302 NEW BEST:: SOT 13223130 SOS 6654689 HAS SOPS 6654689 HAS SOUS 3989614 HAS SOUPS 3989614 WITH SCORE 3996268.689
AT ITER 3303 NEW BEST:: SOT 13223130 SOS 6654689 HAS SOPS 6654689 HAS SOUS 3989317 HAS SOUPS 3989317 WITH SCORE 3995971.689
AT ITER 3322 NEW BEST:: SOT 13222533 SOS 6654092 HAS SOPS 6654092 HAS SOUS 3988720 HAS SOUPS 3988720 WITH SCORE 3995374.092
AT ITER 3328 NEW BEST:: SOT 13222533 SOS 6652724 HAS SOPS 6652724 HAS SOUS 3988036 HAS SOUPS 3988036 WITH SCORE 3994688.724
AT ITER 3329 NEW BEST:: SOT 13222506 SOS 6652670 HAS SOPS 6652670 HAS SOUS 3987982 HAS SOUPS 3987982 WITH SCORE 3994634.67
AT ITER 3333 NEW BEST:: SOT 13223253 SOS 6650662 HAS SOPS 6650662 HAS SOUS 3987482 HAS SOUPS 3987482 WITH SCORE 3994132.662
AT ITER 3334 NEW BEST:: SOT 13222718 SOS 6648472 HAS SOPS 6648472 HAS SOUS 3985887 HAS SOUPS 3985887 WITH SCORE 3992535.472
AT ITER 3336 NEW BEST:: SOT 13222907 SOS 6648508 HAS SOPS 6648508 HAS SOUS 3985794 HAS SOUPS 3985794 WITH SCORE 3992442.508
AT ITER 3344 NEW BEST:: SOT 13222907 SOS 6648508 HAS SOPS 6648508 HAS SOUS 3985785 HAS SOUPS 3985785 WITH SCORE 3992433.508
AT ITER 3345 NEW BEST:: SOT 13222907 SOS 6648277 HAS SOPS 6648277 HAS SOUS 3985554 HAS SOUPS 3985554 WITH SCORE 3992202.277
AT ITER 3346 NEW BEST:: SOT 13222907 SOS 6648277 HAS SOPS 6648277 HAS SOUS 3985357 HAS SOUPS 3985357 WITH SCORE 3992005.277
AT ITER 3348 NEW BEST:: SOT 13222855 SOS 6648199 HAS SOPS 6648199 HAS SOUS 3985305 HAS SOUPS 3985305 WITH SCORE 3991953.199
AT ITER 3350 NEW BEST:: SOT 13223052 SOS 6648064 HAS SOPS 6648064 HAS SOUS 3984469 HAS SOUPS 3984469 WITH SCORE 3991117.064
AT ITER 3353 NEW BEST:: SOT 13222833 SOS 6647949 HAS SOPS 6647949 HAS SOUS 3984454 HAS SOUPS 3984454 WITH SCORE 3991101.949
AT ITER 3356 NEW BEST:: SOT 13222759 SOS 6647801 HAS SOPS 6647801 HAS SOUS 3984380 HAS SOUPS 3984380 WITH SCORE 3991027.801
AT ITER 3369 NEW BEST:: SOT 13222556 SOS 6647803 HAS SOPS 6647803 HAS SOUS 3984177 HAS SOUPS 3984177 WITH SCORE 3990824.803
AT ITER 3372 NEW BEST:: SOT 13223143 SOS 6648977 HAS SOPS 6648977 HAS SOUS 3983535 HAS SOUPS 3983535 WITH SCORE 3990183.977
AT ITER 3379 NEW BEST:: SOT 13223019 SOS 6648729 HAS SOPS 6648729 HAS SOUS 3983410 HAS SOUPS 3983410 WITH SCORE 3990058.729
AT ITER 3388 NEW BEST:: SOT 13222565 SOS 6647821 HAS SOPS 6647821 HAS SOUS 3982959 HAS SOUPS 3982959 WITH SCORE 3989606.821
AT ITER 3391 NEW BEST:: SOT 13222565 SOS 6647821 HAS SOPS 6647821 HAS SOUS 3981460 HAS SOUPS 3981460 WITH SCORE 3988107.821
AT ITER 3392 NEW BEST:: SOT 13222149 SOS 6647636 HAS SOPS 6647636 HAS SOUS 3981044 HAS SOUPS 3981044 WITH SCORE 3987691.636
AT ITER 3396 NEW BEST:: SOT 13222159 SOS 6647343 HAS SOPS 6647343 HAS SOUS 3980255 HAS SOUPS 3980255 WITH SCORE 3986902.343
AT ITER 3398 NEW BEST:: SOT 13222130 SOS 6647014 HAS SOPS 6647014 HAS SOUS 3979955 HAS SOUPS 3979955 WITH SCORE 3986602.014
AT ITER 3401 NEW BEST:: SOT 13221642 SOS 6646526 HAS SOPS 6646526 HAS SOUS 3979467 HAS SOUPS 3979467 WITH SCORE 3986113.526
AT ITER 3406 NEW BEST:: SOT 13220607 SOS 6645490 HAS SOPS 6645490 HAS SOUS 3978522 HAS SOUPS 3978522 WITH SCORE 3985167.49
AT ITER 3407 NEW BEST:: SOT 13220607 SOS 6645490 HAS SOPS 6645490 HAS SOUS 3978228 HAS SOUPS 3978228 WITH SCORE 3984873.49
AT ITER 3408 NEW BEST:: SOT 13220289 SOS 6644877 HAS SOPS 6644877 HAS SOUS 3977536 HAS SOUPS 3977536 WITH SCORE 3984180.877
AT ITER 3410 NEW BEST:: SOT 13220289 SOS 6644877 HAS SOPS 6644877 HAS SOUS 3977525 HAS SOUPS 3977525 WITH SCORE 3984169.877
AT ITER 3418 NEW BEST:: SOT 13219031 SOS 6643606 HAS SOPS 6643606 HAS SOUS 3976267 HAS SOUPS 3976267 WITH SCORE 3982910.606
AT ITER 3424 NEW BEST:: SOT 13218855 SOS 6641484 HAS SOPS 6641484 HAS SOUS 3972699 HAS SOUPS 3972699 WITH SCORE 3979340.484
AT ITER 3432 NEW BEST:: SOT 13218855 SOS 6641484 HAS SOPS 6641484 HAS SOUS 3972624 HAS SOUPS 3972624 WITH SCORE 3979265.484
AT ITER 3435 NEW BEST:: SOT 13218855 SOS 6641484 HAS SOPS 6641484 HAS SOUS 3971996 HAS SOUPS 3971996 WITH SCORE 3978637.484
AT ITER 3437 NEW BEST:: SOT 13218855 SOS 6641480 HAS SOPS 6641480 HAS SOUS 3971993 HAS SOUPS 3971993 WITH SCORE 3978634.48
AT ITER 3450 NEW BEST:: SOT 13218855 SOS 6641643 HAS SOPS 6641643 HAS SOUS 3971717 HAS SOUPS 3971717 WITH SCORE 3978358.643
AT ITER 3455 NEW BEST:: SOT 13218591 SOS 6643998 HAS SOPS 6643998 HAS SOUS 3971418 HAS SOUPS 3971418 WITH SCORE 3978061.998
AT ITER 3467 NEW BEST:: SOT 13218224 SOS 6643796 HAS SOPS 6643796 HAS SOUS 3971216 HAS SOUPS 3971216 WITH SCORE 3977859.796
AT ITER 3468 NEW BEST:: SOT 13216604 SOS 6642606 HAS SOPS 6642606 HAS SOUS 3970006 HAS SOUPS 3970006 WITH SCORE 3976648.606
AT ITER 3471 NEW BEST:: SOT 13216604 SOS 6641876 HAS SOPS 6641876 HAS SOUS 3969276 HAS SOUPS 3969276 WITH SCORE 3975917.876
AT ITER 3484 NEW BEST:: SOT 13216430 SOS 6642173 HAS SOPS 6642173 HAS SOUS 3969262 HAS SOUPS 3969262 WITH SCORE 3975904.173
AT ITER 3485 NEW BEST:: SOT 13216772 SOS 6642443 HAS SOPS 6642443 HAS SOUS 3969230 HAS SOUPS 3969230 WITH SCORE 3975872.443
AT ITER 3486 NEW BEST:: SOT 13215782 SOS 6640463 HAS SOPS 6640463 HAS SOUS 3968240 HAS SOUPS 3968240 WITH SCORE 3974880.463
AT ITER 3487 NEW BEST:: SOT 13215774 SOS 6640447 HAS SOPS 6640447 HAS SOUS 3968232 HAS SOUPS 3968232 WITH SCORE 3974872.447
AT ITER 3494 NEW BEST:: SOT 13215774 SOS 6640447 HAS SOPS 6640447 HAS SOUS 3967397 HAS SOUPS 3967397 WITH SCORE 3974037.447
AT ITER 3497 NEW BEST:: SOT 13215580 SOS 6640330 HAS SOPS 6640330 HAS SOUS 3967280 HAS SOUPS 3967280 WITH SCORE 3973920.33
AT ITER 3498 NEW BEST:: SOT 13215536 SOS 6640242 HAS SOPS 6640242 HAS SOUS 3967236 HAS SOUPS 3967236 WITH SCORE 3973876.242
AT ITER 3501 NEW BEST:: SOT 13214066 SOS 6637302 HAS SOPS 6637302 HAS SOUS 3964903 HAS SOUPS 3964903 WITH SCORE 3971540.302
AT ITER 3504 NEW BEST:: SOT 13212893 SOS 6635441 HAS SOPS 6635441 HAS SOUS 3964215 HAS SOUPS 3964215 WITH SCORE 3970850.441
AT ITER 3514 NEW BEST:: SOT 13212683 SOS 6634811 HAS SOPS 6634811 HAS SOUS 3963795 HAS SOUPS 3963795 WITH SCORE 3970429.811
AT ITER 3515 NEW BEST:: SOT 13213487 SOS 6633577 HAS SOPS 6633577 HAS SOUS 3963792 HAS SOUPS 3963792 WITH SCORE 3970425.577
AT ITER 3517 NEW BEST:: SOT 13213487 SOS 6632207 HAS SOPS 6632207 HAS SOUS 3963792 HAS SOUPS 3963792 WITH SCORE 3970424.207
AT ITER 3527 NEW BEST:: SOT 13213637 SOS 6632625 HAS SOPS 6632625 HAS SOUS 3962878 HAS SOUPS 3962878 WITH SCORE 3969510.625
AT ITER 3533 NEW BEST:: SOT 13213548 SOS 6632447 HAS SOPS 6632447 HAS SOUS 3962789 HAS SOUPS 3962789 WITH SCORE 3969421.447
AT ITER 3542 NEW BEST:: SOT 13213548 SOS 6631899 HAS SOPS 6631899 HAS SOUS 3962789 HAS SOUPS 3962789 WITH SCORE 3969420.899
AT ITER 3544 NEW BEST:: SOT 13213548 SOS 6631899 HAS SOPS 6631899 HAS SOUS 3962529 HAS SOUPS 3962529 WITH SCORE 3969160.899
AT ITER 3546 NEW BEST:: SOT 13213433 SOS 6631669 HAS SOPS 6631669 HAS SOUS 3962414 HAS SOUPS 3962414 WITH SCORE 3969045.669
AT ITER 3547 NEW BEST:: SOT 13213433 SOS 6631669 HAS SOPS 6631669 HAS SOUS 3962298 HAS SOUPS 3962298 WITH SCORE 3968929.669
AT ITER 3564 NEW BEST:: SOT 13212420 SOS 6631669 HAS SOPS 6631669 HAS SOUS 3961284 HAS SOUPS 3961284 WITH SCORE 3967915.669
AT ITER 3565 NEW BEST:: SOT 13211703 SOS 6630235 HAS SOPS 6630235 HAS SOUS 3960929 HAS SOUPS 3960929 WITH SCORE 3967559.235
AT ITER 3566 NEW BEST:: SOT 13211100 SOS 6628206 HAS SOPS 6628206 HAS SOUS 3960039 HAS SOUPS 3960039 WITH SCORE 3966667.206
AT ITER 3572 NEW BEST:: SOT 13211100 SOS 6628203 HAS SOPS 6628203 HAS SOUS 3960039 HAS SOUPS 3960039 WITH SCORE 3966667.203
AT ITER 3575 NEW BEST:: SOT 13211664 SOS 6629331 HAS SOPS 6629331 HAS SOUS 3958933 HAS SOUPS 3958933 WITH SCORE 3965562.331
AT ITER 3581 NEW BEST:: SOT 13211664 SOS 6629331 HAS SOPS 6629331 HAS SOUS 3958415 HAS SOUPS 3958415 WITH SCORE 3965044.331
AT ITER 3582 NEW BEST:: SOT 13211380 SOS 6628763 HAS SOPS 6628763 HAS SOUS 3958131 HAS SOUPS 3958131 WITH SCORE 3964759.763
AT ITER 3599 NEW BEST:: SOT 13211380 SOS 6628742 HAS SOPS 6628742 HAS SOUS 3958120 HAS SOUPS 3958120 WITH SCORE 3964748.742
AT ITER 3600 NEW BEST:: SOT 13211345 SOS 6628672 HAS SOPS 6628672 HAS SOUS 3958083 HAS SOUPS 3958083 WITH SCORE 3964711.672
AT ITER 3601 NEW BEST:: SOT 13209875 SOS 6627202 HAS SOPS 6627202 HAS SOUS 3956613 HAS SOUPS 3956613 WITH SCORE 3963240.202
AT ITER 3608 NEW BEST:: SOT 13210044 SOS 6625024 HAS SOPS 6625024 HAS SOUS 3955775 HAS SOUPS 3955775 WITH SCORE 3962400.024
AT ITER 3610 NEW BEST:: SOT 13210044 SOS 6624073 HAS SOPS 6624073 HAS SOUS 3954622 HAS SOUPS 3954622 WITH SCORE 3961246.073
AT ITER 3612 NEW BEST:: SOT 13210352 SOS 6624374 HAS SOPS 6624374 HAS SOUS 3954281 HAS SOUPS 3954281 WITH SCORE 3960905.374
AT ITER 3623 NEW BEST:: SOT 13210551 SOS 6624217 HAS SOPS 6624217 HAS SOUS 3953925 HAS SOUPS 3953925 WITH SCORE 3960549.217
AT ITER 3627 NEW BEST:: SOT 13210551 SOS 6622237 HAS SOPS 6622237 HAS SOUS 3953925 HAS SOUPS 3953925 WITH SCORE 3960547.237
AT ITER 3640 NEW BEST:: SOT 13210551 SOS 6622469 HAS SOPS 6622469 HAS SOUS 3952530 HAS SOUPS 3952530 WITH SCORE 3959152.469
AT ITER 3641 NEW BEST:: SOT 13208999 SOS 6619365 HAS SOPS 6619365 HAS SOUS 3949773 HAS SOUPS 3949773 WITH SCORE 3956392.365
AT ITER 3644 NEW BEST:: SOT 13208697 SOS 6618761 HAS SOPS 6618761 HAS SOUS 3949520 HAS SOUPS 3949520 WITH SCORE 3956138.761
AT ITER 3647 NEW BEST:: SOT 13208478 SOS 6613603 HAS SOPS 6613603 HAS SOUS 3948972 HAS SOUPS 3948972 WITH SCORE 3955585.603
AT ITER 3657 NEW BEST:: SOT 13207300 SOS 6611775 HAS SOPS 6611775 HAS SOUS 3946154 HAS SOUPS 3946154 WITH SCORE 3952765.775
AT ITER 3670 NEW BEST:: SOT 13206965 SOS 6611440 HAS SOPS 6611440 HAS SOUS 3945819 HAS SOUPS 3945819 WITH SCORE 3952430.44
AT ITER 3677 NEW BEST:: SOT 13207557 SOS 6610940 HAS SOPS 6610940 HAS SOUS 3945765 HAS SOUPS 3945765 WITH SCORE 3952375.94
AT ITER 3678 NEW BEST:: SOT 13207503 SOS 6610886 HAS SOPS 6610886 HAS SOUS 3945711 HAS SOUPS 3945711 WITH SCORE 3952321.886
AT ITER 3685 NEW BEST:: SOT 13207037 SOS 6609954 HAS SOPS 6609954 HAS SOUS 3945245 HAS SOUPS 3945245 WITH SCORE 3951854.954
AT ITER 3690 NEW BEST:: SOT 13206951 SOS 6609782 HAS SOPS 6609782 HAS SOUS 3945073 HAS SOUPS 3945073 WITH SCORE 3951682.782
AT ITER 3693 NEW BEST:: SOT 13206951 SOS 6611370 HAS SOPS 6611370 HAS SOUS 3944197 HAS SOUPS 3944197 WITH SCORE 3950808.37
AT ITER 3695 NEW BEST:: SOT 13207338 SOS 6611641 HAS SOPS 6611641 HAS SOUS 3943690 HAS SOUPS 3943690 WITH SCORE 3950301.641
AT ITER 3700 NEW BEST:: SOT 13206757 SOS 6610017 HAS SOPS 6610017 HAS SOUS 3942066 HAS SOUPS 3942066 WITH SCORE 3948676.017
AT ITER 3704 NEW BEST:: SOT 13206757 SOS 6610017 HAS SOPS 6610017 HAS SOUS 3941811 HAS SOUPS 3941811 WITH SCORE 3948421.017
AT ITER 3706 NEW BEST:: SOT 13206757 SOS 6610679 HAS SOPS 6610679 HAS SOUS 3940972 HAS SOUPS 3940972 WITH SCORE 3947582.679
AT ITER 3710 NEW BEST:: SOT 13206757 SOS 6610146 HAS SOPS 6610146 HAS SOUS 3940406 HAS SOUPS 3940406 WITH SCORE 3947016.146
AT ITER 3713 NEW BEST:: SOT 13206269 SOS 6609657 HAS SOPS 6609657 HAS SOUS 3939917 HAS SOUPS 3939917 WITH SCORE 3946526.657
AT ITER 3719 NEW BEST:: SOT 13206269 SOS 6608292 HAS SOPS 6608292 HAS SOUS 3939802 HAS SOUPS 3939802 WITH SCORE 3946410.292
AT ITER 3723 NEW BEST:: SOT 13206269 SOS 6607463 HAS SOPS 6607463 HAS SOUS 3939521 HAS SOUPS 3939521 WITH SCORE 3946128.463
AT ITER 3724 NEW BEST:: SOT 13207455 SOS 6609835 HAS SOPS 6609835 HAS SOUS 3938916 HAS SOUPS 3938916 WITH SCORE 3945525.835
AT ITER 3735 NEW BEST:: SOT 13207455 SOS 6609835 HAS SOPS 6609835 HAS SOUS 3938481 HAS SOUPS 3938481 WITH SCORE 3945090.835
AT ITER 3744 NEW BEST:: SOT 13204403 SOS 6606777 HAS SOPS 6606777 HAS SOUS 3935429 HAS SOUPS 3935429 WITH SCORE 3942035.777
AT ITER 3746 NEW BEST:: SOT 13203661 SOS 6605665 HAS SOPS 6605665 HAS SOUS 3934687 HAS SOUPS 3934687 WITH SCORE 3941292.665
AT ITER 3750 NEW BEST:: SOT 13203661 SOS 6605593 HAS SOPS 6605593 HAS SOUS 3934615 HAS SOUPS 3934615 WITH SCORE 3941220.593
AT ITER 3754 NEW BEST:: SOT 13204052 SOS 6609121 HAS SOPS 6609121 HAS SOUS 3934574 HAS SOUPS 3934574 WITH SCORE 3941183.121
AT ITER 3758 NEW BEST:: SOT 13204512 SOS 6609513 HAS SOPS 6609513 HAS SOUS 3934506 HAS SOUPS 3934506 WITH SCORE 3941115.513
AT ITER 3764 NEW BEST:: SOT 13204310 SOS 6609109 HAS SOPS 6609109 HAS SOUS 3934302 HAS SOUPS 3934302 WITH SCORE 3940911.109
AT ITER 3765 NEW BEST:: SOT 13203695 SOS 6607879 HAS SOPS 6607879 HAS SOUS 3933687 HAS SOUPS 3933687 WITH SCORE 3940294.879
AT ITER 3778 NEW BEST:: SOT 13203144 SOS 6604325 HAS SOPS 6604325 HAS SOUS 3930426 HAS SOUPS 3930426 WITH SCORE 3937030.325
AT ITER 3780 NEW BEST:: SOT 13202801 SOS 6605020 HAS SOPS 6605020 HAS SOUS 3930088 HAS SOUPS 3930088 WITH SCORE 3936693.02
AT ITER 3781 NEW BEST:: SOT 13202801 SOS 6605020 HAS SOPS 6605020 HAS SOUS 3928146 HAS SOUPS 3928146 WITH SCORE 3934751.02
AT ITER 3788 NEW BEST:: SOT 13201262 SOS 6601942 HAS SOPS 6601942 HAS SOUS 3925318 HAS SOUPS 3925318 WITH SCORE 3931919.942
AT ITER 3796 NEW BEST:: SOT 13201227 SOS 6601872 HAS SOPS 6601872 HAS SOUS 3925283 HAS SOUPS 3925283 WITH SCORE 3931884.872
AT ITER 3797 NEW BEST:: SOT 13201257 SOS 6599996 HAS SOPS 6599996 HAS SOUS 3921373 HAS SOUPS 3921373 WITH SCORE 3927972.996
AT ITER 3799 NEW BEST:: SOT 13201257 SOS 6598814 HAS SOPS 6598814 HAS SOUS 3920457 HAS SOUPS 3920457 WITH SCORE 3927055.814
AT ITER 3803 NEW BEST:: SOT 13173224 SOS 6604667 HAS SOPS 6604667 HAS SOUS 3893824 HAS SOUPS 3893824 WITH SCORE 3900428.667
AT ITER 3804 NEW BEST:: SOT 13173674 SOS 6604244 HAS SOPS 6604244 HAS SOUS 3892716 HAS SOUPS 3892716 WITH SCORE 3899320.244
AT ITER 3807 NEW BEST:: SOT 13173659 SOS 6604229 HAS SOPS 6604229 HAS SOUS 3892701 HAS SOUPS 3892701 WITH SCORE 3899305.229
AT ITER 3808 NEW BEST:: SOT 13174193 SOS 6601005 HAS SOPS 6601005 HAS SOUS 3890478 HAS SOUPS 3890478 WITH SCORE 3897079.005
AT ITER 3814 NEW BEST:: SOT 13174147 SOS 6601005 HAS SOPS 6601005 HAS SOUS 3890432 HAS SOUPS 3890432 WITH SCORE 3897033.005
AT ITER 3815 NEW BEST:: SOT 13175099 SOS 6600407 HAS SOPS 6600407 HAS SOUS 3889400 HAS SOUPS 3889400 WITH SCORE 3896000.407
AT ITER 3817 NEW BEST:: SOT 13174564 SOS 6597643 HAS SOPS 6597643 HAS SOUS 3888004 HAS SOUPS 3888004 WITH SCORE 3894601.643
AT ITER 3818 NEW BEST:: SOT 13174098 SOS 6595143 HAS SOPS 6595143 HAS SOUS 3886288 HAS SOUPS 3886288 WITH SCORE 3892883.143
AT ITER 3821 NEW BEST:: SOT 13175462 SOS 6595064 HAS SOPS 6595064 HAS SOUS 3885983 HAS SOUPS 3885983 WITH SCORE 3892578.064
AT ITER 3842 NEW BEST:: SOT 13175394 SOS 6594805 HAS SOPS 6594805 HAS SOUS 3885715 HAS SOUPS 3885715 WITH SCORE 3892309.805
AT ITER 3845 NEW BEST:: SOT 13175253 SOS 6583501 HAS SOPS 6583501 HAS SOUS 3885415 HAS SOUPS 3885415 WITH SCORE 3891998.501
AT ITER 3849 NEW BEST:: SOT 13175253 SOS 6583501 HAS SOPS 6583501 HAS SOUS 3885164 HAS SOUPS 3885164 WITH SCORE 3891747.501
AT ITER 3851 NEW BEST:: SOT 13174372 SOS 6582620 HAS SOPS 6582620 HAS SOUS 3884283 HAS SOUPS 3884283 WITH SCORE 3890865.62
AT ITER 3866 NEW BEST:: SOT 13174372 SOS 6581513 HAS SOPS 6581513 HAS SOUS 3884283 HAS SOUPS 3884283 WITH SCORE 3890864.513
AT ITER 3867 NEW BEST:: SOT 13174561 SOS 6578457 HAS SOPS 6578457 HAS SOUS 3882755 HAS SOUPS 3882755 WITH SCORE 3889333.457
AT ITER 3873 NEW BEST:: SOT 13173803 SOS 6577641 HAS SOPS 6577641 HAS SOUS 3882526 HAS SOUPS 3882526 WITH SCORE 3889103.641
AT ITER 3877 NEW BEST:: SOT 13172658 SOS 6575351 HAS SOPS 6575351 HAS SOUS 3881380 HAS SOUPS 3881380 WITH SCORE 3887955.351
AT ITER 3880 NEW BEST:: SOT 13174326 SOS 6573539 HAS SOPS 6573539 HAS SOUS 3881369 HAS SOUPS 3881369 WITH SCORE 3887942.539
AT ITER 3889 NEW BEST:: SOT 13173842 SOS 6573387 HAS SOPS 6573387 HAS SOUS 3880961 HAS SOUPS 3880961 WITH SCORE 3887534.387
AT ITER 3895 NEW BEST:: SOT 13174713 SOS 6570337 HAS SOPS 6570337 HAS SOUS 3879951 HAS SOUPS 3879951 WITH SCORE 3886521.337
AT ITER 3898 NEW BEST:: SOT 13175249 SOS 6571733 HAS SOPS 6571733 HAS SOUS 3879731 HAS SOUPS 3879731 WITH SCORE 3886302.733
AT ITER 3899 NEW BEST:: SOT 13175236 SOS 6571694 HAS SOPS 6571694 HAS SOUS 3879718 HAS SOUPS 3879718 WITH SCORE 3886289.694
AT ITER 3923 NEW BEST:: SOT 13175236 SOS 6571701 HAS SOPS 6571701 HAS SOUS 3879711 HAS SOUPS 3879711 WITH SCORE 3886282.701
AT ITER 3924 NEW BEST:: SOT 13175125 SOS 6571479 HAS SOPS 6571479 HAS SOUS 3879489 HAS SOUPS 3879489 WITH SCORE 3886060.479
AT ITER 3926 NEW BEST:: SOT 13174992 SOS 6569081 HAS SOPS 6569081 HAS SOUS 3878972 HAS SOUPS 3878972 WITH SCORE 3885541.081
AT ITER 3930 NEW BEST:: SOT 13174758 SOS 6569081 HAS SOPS 6569081 HAS SOUS 3878738 HAS SOUPS 3878738 WITH SCORE 3885307.081
AT ITER 3935 NEW BEST:: SOT 13174758 SOS 6569030 HAS SOPS 6569030 HAS SOUS 3878738 HAS SOUPS 3878738 WITH SCORE 3885307.03
AT ITER 3938 NEW BEST:: SOT 13174758 SOS 6569127 HAS SOPS 6569127 HAS SOUS 3878641 HAS SOUPS 3878641 WITH SCORE 3885210.127
AT ITER 3942 NEW BEST:: SOT 13174220 SOS 6565065 HAS SOPS 6565065 HAS SOUS 3877712 HAS SOUPS 3877712 WITH SCORE 3884277.065
AT ITER 3946 NEW BEST:: SOT 13173996 SOS 6564841 HAS SOPS 6564841 HAS SOUS 3877488 HAS SOUPS 3877488 WITH SCORE 3884052.841
AT ITER 3954 NEW BEST:: SOT 13174526 SOS 6564408 HAS SOPS 6564408 HAS SOUS 3877053 HAS SOUPS 3877053 WITH SCORE 3883617.408
AT ITER 3958 NEW BEST:: SOT 13173810 SOS 6564283 HAS SOPS 6564283 HAS SOUS 3876928 HAS SOUPS 3876928 WITH SCORE 3883492.283
AT ITER 3961 NEW BEST:: SOT 13174052 SOS 6564393 HAS SOPS 6564393 HAS SOUS 3876848 HAS SOUPS 3876848 WITH SCORE 3883412.393
AT ITER 3964 NEW BEST:: SOT 13173343 SOS 6562975 HAS SOPS 6562975 HAS SOUS 3876165 HAS SOUPS 3876165 WITH SCORE 3882727.975
AT ITER 3965 NEW BEST:: SOT 13173343 SOS 6562975 HAS SOPS 6562975 HAS SOUS 3875381 HAS SOUPS 3875381 WITH SCORE 3881943.975
AT ITER 3971 NEW BEST:: SOT 13173343 SOS 6562974 HAS SOPS 6562974 HAS SOUS 3874999 HAS SOUPS 3874999 WITH SCORE 3881561.974
AT ITER 3973 NEW BEST:: SOT 13173245 SOS 6563646 HAS SOPS 6563646 HAS SOUS 3874803 HAS SOUPS 3874803 WITH SCORE 3881366.646
AT ITER 3974 NEW BEST:: SOT 13173245 SOS 6556121 HAS SOPS 6556121 HAS SOUS 3874803 HAS SOUPS 3874803 WITH SCORE 3881359.121
AT ITER 3975 NEW BEST:: SOT 13173245 SOS 6556121 HAS SOPS 6556121 HAS SOUS 3874641 HAS SOUPS 3874641 WITH SCORE 3881197.121
AT ITER 3991 NEW BEST:: SOT 13173699 SOS 6556575 HAS SOPS 6556575 HAS SOUS 3874552 HAS SOUPS 3874552 WITH SCORE 3881108.575
AT ITER 3992 NEW BEST:: SOT 13170452 SOS 6552813 HAS SOPS 6552813 HAS SOUS 3871125 HAS SOUPS 3871125 WITH SCORE 3877677.813
AT ITER 3994 NEW BEST:: SOT 13170452 SOS 6552553 HAS SOPS 6552553 HAS SOUS 3870952 HAS SOUPS 3870952 WITH SCORE 3877504.553
AT ITER 3995 NEW BEST:: SOT 13170452 SOS 6552543 HAS SOPS 6552543 HAS SOUS 3870952 HAS SOUPS 3870952 WITH SCORE 3877504.543
AT ITER 3999 NEW BEST:: SOT 13170061 SOS 6552357 HAS SOPS 6552357 HAS SOUS 3870561 HAS SOUPS 3870561 WITH SCORE 3877113.357
AT ITER 4000 NEW BEST:: SOT 13170061 SOS 6550721 HAS SOPS 6550721 HAS SOUS 3870561 HAS SOUPS 3870561 WITH SCORE 3877111.721
AT ITER 4001 NEW BEST:: SOT 13171680 SOS 6551743 HAS SOPS 6551743 HAS SOUS 3869916 HAS SOUPS 3869916 WITH SCORE 3876467.743
AT ITER 4002 NEW BEST:: SOT 13171680 SOS 6551229 HAS SOPS 6551229 HAS SOUS 3869916 HAS SOUPS 3869916 WITH SCORE 3876467.229
AT ITER 4007 NEW BEST:: SOT 13171598 SOS 6551066 HAS SOPS 6551066 HAS SOUS 3869753 HAS SOUPS 3869753 WITH SCORE 3876304.066
AT ITER 4013 NEW BEST:: SOT 13171598 SOS 6551066 HAS SOPS 6551066 HAS SOUS 3869318 HAS SOUPS 3869318 WITH SCORE 3875869.066
AT ITER 4017 NEW BEST:: SOT 13170362 SOS 6545418 HAS SOPS 6545418 HAS SOUS 3864906 HAS SOUPS 3864906 WITH SCORE 3871451.418
AT ITER 4020 NEW BEST:: SOT 13168641 SOS 6536526 HAS SOPS 6536526 HAS SOUS 3861456 HAS SOUPS 3861456 WITH SCORE 3867992.526
AT ITER 4023 NEW BEST:: SOT 13169023 SOS 6535127 HAS SOPS 6535127 HAS SOUS 3859861 HAS SOUPS 3859861 WITH SCORE 3866396.127
AT ITER 4025 NEW BEST:: SOT 13168581 SOS 6534685 HAS SOPS 6534685 HAS SOUS 3859810 HAS SOUPS 3859810 WITH SCORE 3866344.685
AT ITER 4026 NEW BEST:: SOT 13168573 SOS 6534685 HAS SOPS 6534685 HAS SOUS 3859802 HAS SOUPS 3859802 WITH SCORE 3866336.685
AT ITER 4032 NEW BEST:: SOT 13168573 SOS 6534535 HAS SOPS 6534535 HAS SOUS 3859652 HAS SOUPS 3859652 WITH SCORE 3866186.535
AT ITER 4035 NEW BEST:: SOT 13167913 SOS 6533215 HAS SOPS 6533215 HAS SOUS 3859178 HAS SOUPS 3859178 WITH SCORE 3865711.215
AT ITER 4038 NEW BEST:: SOT 13165992 SOS 6531475 HAS SOPS 6531475 HAS SOUS 3858554 HAS SOUPS 3858554 WITH SCORE 3865085.475
AT ITER 4040 NEW BEST:: SOT 13166442 SOS 6529996 HAS SOPS 6529996 HAS SOUS 3858531 HAS SOUPS 3858531 WITH SCORE 3865060.996
AT ITER 4044 NEW BEST:: SOT 13166132 SOS 6528756 HAS SOPS 6528756 HAS SOUS 3858129 HAS SOUPS 3858129 WITH SCORE 3864657.756
AT ITER 4045 NEW BEST:: SOT 13165828 SOS 6528148 HAS SOPS 6528148 HAS SOUS 3857825 HAS SOUPS 3857825 WITH SCORE 3864353.148
AT ITER 4054 NEW BEST:: SOT 13165828 SOS 6528932 HAS SOPS 6528932 HAS SOUS 3857641 HAS SOUPS 3857641 WITH SCORE 3864169.932
AT ITER 4063 NEW BEST:: SOT 13165828 SOS 6515169 HAS SOPS 6515169 HAS SOUS 3856805 HAS SOUPS 3856805 WITH SCORE 3863320.169
AT ITER 4078 NEW BEST:: SOT 13165818 SOS 6515149 HAS SOPS 6515149 HAS SOUS 3856795 HAS SOUPS 3856795 WITH SCORE 3863310.149
AT ITER 4082 NEW BEST:: SOT 13165818 SOS 6515149 HAS SOPS 6515149 HAS SOUS 3856398 HAS SOUPS 3856398 WITH SCORE 3862913.149
AT ITER 4086 NEW BEST:: SOT 13165930 SOS 6515980 HAS SOPS 6515980 HAS SOUS 3856159 HAS SOUPS 3856159 WITH SCORE 3862674.98
AT ITER 4093 NEW BEST:: SOT 13165004 SOS 6516778 HAS SOPS 6516778 HAS SOUS 3855709 HAS SOUPS 3855709 WITH SCORE 3862225.778
AT ITER 4104 NEW BEST:: SOT 13164839 SOS 6516613 HAS SOPS 6516613 HAS SOUS 3855544 HAS SOUPS 3855544 WITH SCORE 3862060.613
AT ITER 4109 NEW BEST:: SOT 13164839 SOS 6516613 HAS SOPS 6516613 HAS SOUS 3855055 HAS SOUPS 3855055 WITH SCORE 3861571.613
AT ITER 4115 NEW BEST:: SOT 13164698 SOS 6516331 HAS SOPS 6516331 HAS SOUS 3854773 HAS SOUPS 3854773 WITH SCORE 3861289.331
AT ITER 4141 NEW BEST:: SOT 13164297 SOS 6515930 HAS SOPS 6515930 HAS SOUS 3854372 HAS SOUPS 3854372 WITH SCORE 3860887.93
AT ITER 4148 NEW BEST:: SOT 13164297 SOS 6515739 HAS SOPS 6515739 HAS SOUS 3854372 HAS SOUPS 3854372 WITH SCORE 3860887.739
AT ITER 4150 NEW BEST:: SOT 13164063 SOS 6515271 HAS SOPS 6515271 HAS SOUS 3854138 HAS SOUPS 3854138 WITH SCORE 3860653.271
AT ITER 4157 NEW BEST:: SOT 13163871 SOS 6514503 HAS SOPS 6514503 HAS SOUS 3853562 HAS SOUPS 3853562 WITH SCORE 3860076.503
AT ITER 4165 NEW BEST:: SOT 13164053 SOS 6514704 HAS SOPS 6514704 HAS SOUS 3853385 HAS SOUPS 3853385 WITH SCORE 3859899.704
AT ITER 4171 NEW BEST:: SOT 13164053 SOS 6514376 HAS SOPS 6514376 HAS SOUS 3851836 HAS SOUPS 3851836 WITH SCORE 3858350.376
AT ITER 4172 NEW BEST:: SOT 13163835 SOS 6517487 HAS SOPS 6517487 HAS SOUS 3851618 HAS SOUPS 3851618 WITH SCORE 3858135.487
AT ITER 4187 NEW BEST:: SOT 13163764 SOS 6517416 HAS SOPS 6517416 HAS SOUS 3851547 HAS SOUPS 3851547 WITH SCORE 3858064.416
AT ITER 4188 NEW BEST:: SOT 13163764 SOS 6516430 HAS SOPS 6516430 HAS SOUS 3851054 HAS SOUPS 3851054 WITH SCORE 3857570.43
AT ITER 4193 NEW BEST:: SOT 13163764 SOS 6516207 HAS SOPS 6516207 HAS SOUS 3851054 HAS SOUPS 3851054 WITH SCORE 3857570.207
AT ITER 4196 NEW BEST:: SOT 13163756 SOS 6511817 HAS SOPS 6511817 HAS SOUS 3849948 HAS SOUPS 3849948 WITH SCORE 3856459.817
AT ITER 4197 NEW BEST:: SOT 13164284 SOS 6512321 HAS SOPS 6512321 HAS SOUS 3849652 HAS SOUPS 3849652 WITH SCORE 3856164.321
AT ITER 4201 NEW BEST:: SOT 13164232 SOS 6511602 HAS SOPS 6511602 HAS SOUS 3849551 HAS SOUPS 3849551 WITH SCORE 3856062.602
AT ITER 4212 NEW BEST:: SOT 13164232 SOS 6511602 HAS SOPS 6511602 HAS SOUS 3849531 HAS SOUPS 3849531 WITH SCORE 3856042.602
AT ITER 4219 NEW BEST:: SOT 13164232 SOS 6510785 HAS SOPS 6510785 HAS SOUS 3848714 HAS SOUPS 3848714 WITH SCORE 3855224.785
AT ITER 4221 NEW BEST:: SOT 13163566 SOS 6510806 HAS SOPS 6510806 HAS SOUS 3848443 HAS SOUPS 3848443 WITH SCORE 3854953.806
AT ITER 4224 NEW BEST:: SOT 13166151 SOS 6515976 HAS SOPS 6515976 HAS SOUS 3848279 HAS SOUPS 3848279 WITH SCORE 3854794.976
AT ITER 4231 NEW BEST:: SOT 13164485 SOS 6514310 HAS SOPS 6514310 HAS SOUS 3846613 HAS SOUPS 3846613 WITH SCORE 3853127.31
AT ITER 4235 NEW BEST:: SOT 13164485 SOS 6513999 HAS SOPS 6513999 HAS SOUS 3846302 HAS SOUPS 3846302 WITH SCORE 3852815.999
AT ITER 4243 NEW BEST:: SOT 13164485 SOS 6513893 HAS SOPS 6513893 HAS SOUS 3846196 HAS SOUPS 3846196 WITH SCORE 3852709.893
AT ITER 4248 NEW BEST:: SOT 13164485 SOS 6513512 HAS SOPS 6513512 HAS SOUS 3845815 HAS SOUPS 3845815 WITH SCORE 3852328.512
AT ITER 4267 NEW BEST:: SOT 13163813 SOS 6515013 HAS SOPS 6515013 HAS SOUS 3845541 HAS SOUPS 3845541 WITH SCORE 3852056.013
AT ITER 4273 NEW BEST:: SOT 13163247 SOS 6512671 HAS SOPS 6512671 HAS SOUS 3844215 HAS SOUPS 3844215 WITH SCORE 3850727.671
AT ITER 4274 NEW BEST:: SOT 13163247 SOS 6512671 HAS SOPS 6512671 HAS SOUS 3844189 HAS SOUPS 3844189 WITH SCORE 3850701.671
AT ITER 4275 NEW BEST:: SOT 13163229 SOS 6512635 HAS SOPS 6512635 HAS SOUS 3844171 HAS SOUPS 3844171 WITH SCORE 3850683.635
AT ITER 4285 NEW BEST:: SOT 13163153 SOS 6512483 HAS SOPS 6512483 HAS SOUS 3844019 HAS SOUPS 3844019 WITH SCORE 3850531.483
AT ITER 4293 NEW BEST:: SOT 13163153 SOS 6512441 HAS SOPS 6512441 HAS SOUS 3844019 HAS SOUPS 3844019 WITH SCORE 3850531.441
AT ITER 4302 NEW BEST:: SOT 13164083 SOS 6513368 HAS SOPS 6513368 HAS SOUS 3843899 HAS SOUPS 3843899 WITH SCORE 3850412.368
AT ITER 4311 NEW BEST:: SOT 13164776 SOS 6513979 HAS SOPS 6513979 HAS SOUS 3843735 HAS SOUPS 3843735 WITH SCORE 3850248.979
AT ITER 4332 NEW BEST:: SOT 13164768 SOS 6513955 HAS SOPS 6513955 HAS SOUS 3843711 HAS SOUPS 3843711 WITH SCORE 3850224.955
AT ITER 4343 NEW BEST:: SOT 13164768 SOS 6514055 HAS SOPS 6514055 HAS SOUS 3843667 HAS SOUPS 3843667 WITH SCORE 3850181.055
AT ITER 4351 NEW BEST:: SOT 13164943 SOS 6514230 HAS SOPS 6514230 HAS SOUS 3843465 HAS SOUPS 3843465 WITH SCORE 3849979.23
AT ITER 4359 NEW BEST:: SOT 13164943 SOS 6514044 HAS SOPS 6514044 HAS SOUS 3843465 HAS SOUPS 3843465 WITH SCORE 3849979.044
AT ITER 4364 NEW BEST:: SOT 13164856 SOS 6513957 HAS SOPS 6513957 HAS SOUS 3843378 HAS SOUPS 3843378 WITH SCORE 3849891.957
AT ITER 4365 NEW BEST:: SOT 13163768 SOS 6512856 HAS SOPS 6512856 HAS SOUS 3842290 HAS SOUPS 3842290 WITH SCORE 3848802.856
AT ITER 4366 NEW BEST:: SOT 13163768 SOS 6511622 HAS SOPS 6511622 HAS SOUS 3841056 HAS SOUPS 3841056 WITH SCORE 3847567.622
AT ITER 4369 NEW BEST:: SOT 13163473 SOS 6511661 HAS SOPS 6511661 HAS SOUS 3840761 HAS SOUPS 3840761 WITH SCORE 3847272.661
AT ITER 4370 NEW BEST:: SOT 13163473 SOS 6500540 HAS SOPS 6500540 HAS SOUS 3840761 HAS SOUPS 3840761 WITH SCORE 3847261.54
AT ITER 4372 NEW BEST:: SOT 13162928 SOS 6499450 HAS SOPS 6499450 HAS SOUS 3840216 HAS SOUPS 3840216 WITH SCORE 3846715.45
AT ITER 4375 NEW BEST:: SOT 13162991 SOS 6498144 HAS SOPS 6498144 HAS SOUS 3839896 HAS SOUPS 3839896 WITH SCORE 3846394.144
AT ITER 4378 NEW BEST:: SOT 13162816 SOS 6498436 HAS SOPS 6498436 HAS SOUS 3839855 HAS SOUPS 3839855 WITH SCORE 3846353.436
AT ITER 4381 NEW BEST:: SOT 13162832 SOS 6497144 HAS SOPS 6497144 HAS SOUS 3838563 HAS SOUPS 3838563 WITH SCORE 3845060.144
AT ITER 4385 NEW BEST:: SOT 13162722 SOS 6496813 HAS SOPS 6496813 HAS SOUS 3838452 HAS SOUPS 3838452 WITH SCORE 3844948.813
AT ITER 4390 NEW BEST:: SOT 13162230 SOS 6495591 HAS SOPS 6495591 HAS SOUS 3837254 HAS SOUPS 3837254 WITH SCORE 3843749.591
AT ITER 4395 NEW BEST:: SOT 13162104 SOS 6495213 HAS SOPS 6495213 HAS SOUS 3837002 HAS SOUPS 3837002 WITH SCORE 3843497.213
AT ITER 4396 NEW BEST:: SOT 13161871 SOS 6494747 HAS SOPS 6494747 HAS SOUS 3836769 HAS SOUPS 3836769 WITH SCORE 3843263.747
AT ITER 4399 NEW BEST:: SOT 13161871 SOS 6494747 HAS SOPS 6494747 HAS SOUS 3836309 HAS SOUPS 3836309 WITH SCORE 3842803.747
AT ITER 4408 NEW BEST:: SOT 13161871 SOS 6494747 HAS SOPS 6494747 HAS SOUS 3836100 HAS SOUPS 3836100 WITH SCORE 3842594.747
AT ITER 4418 NEW BEST:: SOT 13162095 SOS 6494831 HAS SOPS 6494831 HAS SOUS 3836086 HAS SOUPS 3836086 WITH SCORE 3842580.831
AT ITER 4420 NEW BEST:: SOT 13161808 SOS 6494257 HAS SOPS 6494257 HAS SOUS 3835225 HAS SOUPS 3835225 WITH SCORE 3841719.257
AT ITER 4421 NEW BEST:: SOT 13162275 SOS 6494122 HAS SOPS 6494122 HAS SOUS 3833917 HAS SOUPS 3833917 WITH SCORE 3840411.122
AT ITER 4427 NEW BEST:: SOT 13162275 SOS 6494122 HAS SOPS 6494122 HAS SOUS 3831999 HAS SOUPS 3831999 WITH SCORE 3838493.122
AT ITER 4428 NEW BEST:: SOT 13162275 SOS 6494121 HAS SOPS 6494121 HAS SOUS 3831998 HAS SOUPS 3831998 WITH SCORE 3838492.121
AT ITER 4431 NEW BEST:: SOT 13162166 SOS 6494761 HAS SOPS 6494761 HAS SOUS 3831889 HAS SOUPS 3831889 WITH SCORE 3838383.761
AT ITER 4434 NEW BEST:: SOT 13162986 SOS 6494844 HAS SOPS 6494844 HAS SOUS 3831748 HAS SOUPS 3831748 WITH SCORE 3838242.844
AT ITER 4437 NEW BEST:: SOT 13162604 SOS 6494378 HAS SOPS 6494378 HAS SOUS 3831366 HAS SOUPS 3831366 WITH SCORE 3837860.378
AT ITER 4439 NEW BEST:: SOT 13162228 SOS 6493250 HAS SOPS 6493250 HAS SOUS 3830990 HAS SOUPS 3830990 WITH SCORE 3837483.25
AT ITER 4448 NEW BEST:: SOT 13161730 SOS 6493250 HAS SOPS 6493250 HAS SOUS 3829994 HAS SOUPS 3829994 WITH SCORE 3836487.25
AT ITER 4450 NEW BEST:: SOT 13161730 SOS 6493250 HAS SOPS 6493250 HAS SOUS 3829993 HAS SOUPS 3829993 WITH SCORE 3836486.25
AT ITER 4458 NEW BEST:: SOT 13161730 SOS 6493250 HAS SOPS 6493250 HAS SOUS 3829928 HAS SOUPS 3829928 WITH SCORE 3836421.25
AT ITER 4460 NEW BEST:: SOT 13161527 SOS 6495330 HAS SOPS 6495330 HAS SOUS 3829747 HAS SOUPS 3829747 WITH SCORE 3836242.33
AT ITER 4474 NEW BEST:: SOT 13161109 SOS 6494912 HAS SOPS 6494912 HAS SOUS 3829747 HAS SOUPS 3829747 WITH SCORE 3836241.912
AT ITER 4478 NEW BEST:: SOT 13161109 SOS 6493336 HAS SOPS 6493336 HAS SOUS 3828171 HAS SOUPS 3828171 WITH SCORE 3834664.336
AT ITER 4479 NEW BEST:: SOT 13160012 SOS 6492187 HAS SOPS 6492187 HAS SOUS 3828155 HAS SOUPS 3828155 WITH SCORE 3834647.187
AT ITER 4483 NEW BEST:: SOT 13159514 SOS 6491191 HAS SOPS 6491191 HAS SOUS 3828048 HAS SOUPS 3828048 WITH SCORE 3834539.191
AT ITER 4487 NEW BEST:: SOT 13159499 SOS 6491099 HAS SOPS 6491099 HAS SOUS 3828018 HAS SOUPS 3828018 WITH SCORE 3834509.099
AT ITER 4500 NEW BEST:: SOT 13159499 SOS 6491318 HAS SOPS 6491318 HAS SOUS 3827799 HAS SOUPS 3827799 WITH SCORE 3834290.318
AT ITER 4502 NEW BEST:: SOT 13160002 SOS 6491706 HAS SOPS 6491706 HAS SOUS 3827684 HAS SOUPS 3827684 WITH SCORE 3834175.706
AT ITER 4506 NEW BEST:: SOT 13159129 SOS 6489963 HAS SOPS 6489963 HAS SOUS 3827658 HAS SOUPS 3827658 WITH SCORE 3834147.963
AT ITER 4508 NEW BEST:: SOT 13159129 SOS 6505179 HAS SOPS 6505179 HAS SOUS 3827490 HAS SOUPS 3827490 WITH SCORE 3833995.179
AT ITER 4512 NEW BEST:: SOT 13158634 SOS 6504705 HAS SOPS 6504705 HAS SOUS 3827307 HAS SOUPS 3827307 WITH SCORE 3833811.705
AT ITER 4519 NEW BEST:: SOT 13158634 SOS 6504705 HAS SOPS 6504705 HAS SOUS 3827263 HAS SOUPS 3827263 WITH SCORE 3833767.705
AT ITER 4526 NEW BEST:: SOT 13158634 SOS 6504706 HAS SOPS 6504706 HAS SOUS 3826290 HAS SOUPS 3826290 WITH SCORE 3832794.706
AT ITER 4532 NEW BEST:: SOT 13158633 SOS 6504626 HAS SOPS 6504626 HAS SOUS 3826288 HAS SOUPS 3826288 WITH SCORE 3832792.626
AT ITER 4533 NEW BEST:: SOT 13158633 SOS 6502464 HAS SOPS 6502464 HAS SOUS 3824400 HAS SOUPS 3824400 WITH SCORE 3830902.464
AT ITER 4538 NEW BEST:: SOT 13158632 SOS 6502463 HAS SOPS 6502463 HAS SOUS 3824399 HAS SOUPS 3824399 WITH SCORE 3830901.463
AT ITER 4545 NEW BEST:: SOT 13158330 SOS 6501255 HAS SOPS 6501255 HAS SOUS 3823795 HAS SOUPS 3823795 WITH SCORE 3830296.255
AT ITER 4548 NEW BEST:: SOT 13158615 SOS 6498991 HAS SOPS 6498991 HAS SOUS 3821531 HAS SOUPS 3821531 WITH SCORE 3828029.991
AT ITER 4554 NEW BEST:: SOT 13158684 SOS 6499060 HAS SOPS 6499060 HAS SOUS 3821352 HAS SOUPS 3821352 WITH SCORE 3827851.06
AT ITER 4557 NEW BEST:: SOT 13158079 SOS 6497005 HAS SOPS 6497005 HAS SOUS 3820414 HAS SOUPS 3820414 WITH SCORE 3826911.005
AT ITER 4564 NEW BEST:: SOT 13157870 SOS 6496587 HAS SOPS 6496587 HAS SOUS 3819996 HAS SOUPS 3819996 WITH SCORE 3826492.587
AT ITER 4570 NEW BEST:: SOT 13157757 SOS 6498665 HAS SOPS 6498665 HAS SOUS 3819883 HAS SOUPS 3819883 WITH SCORE 3826381.665
AT ITER 4589 NEW BEST:: SOT 13157738 SOS 6498646 HAS SOPS 6498646 HAS SOUS 3819883 HAS SOUPS 3819883 WITH SCORE 3826381.646
AT ITER 4590 NEW BEST:: SOT 13157292 SOS 6498200 HAS SOPS 6498200 HAS SOUS 3819437 HAS SOUPS 3819437 WITH SCORE 3825935.2
AT ITER 4606 NEW BEST:: SOT 13157203 SOS 6497328 HAS SOPS 6497328 HAS SOUS 3819252 HAS SOUPS 3819252 WITH SCORE 3825749.328
AT ITER 4607 NEW BEST:: SOT 13157203 SOS 6497328 HAS SOPS 6497328 HAS SOUS 3819188 HAS SOUPS 3819188 WITH SCORE 3825685.328
AT ITER 4608 NEW BEST:: SOT 13157202 SOS 6497327 HAS SOPS 6497327 HAS SOUS 3819187 HAS SOUPS 3819187 WITH SCORE 3825684.327
AT ITER 4617 NEW BEST:: SOT 13156363 SOS 6495649 HAS SOPS 6495649 HAS SOUS 3818348 HAS SOUPS 3818348 WITH SCORE 3824843.649
AT ITER 4619 NEW BEST:: SOT 13156073 SOS 6494550 HAS SOPS 6494550 HAS SOUS 3817528 HAS SOUPS 3817528 WITH SCORE 3824022.55
AT ITER 4620 NEW BEST:: SOT 13156073 SOS 6494550 HAS SOPS 6494550 HAS SOUS 3817257 HAS SOUPS 3817257 WITH SCORE 3823751.55
AT ITER 4622 NEW BEST:: SOT 13155981 SOS 6494458 HAS SOPS 6494458 HAS SOUS 3817073 HAS SOUPS 3817073 WITH SCORE 3823567.458
AT ITER 4632 NEW BEST:: SOT 13137916 SOS 6495048 HAS SOPS 6495048 HAS SOUS 3799689 HAS SOUPS 3799689 WITH SCORE 3806184.048
AT ITER 4638 NEW BEST:: SOT 13139334 SOS 6497884 HAS SOPS 6497884 HAS SOUS 3799616 HAS SOUPS 3799616 WITH SCORE 3806113.884
AT ITER 4639 NEW BEST:: SOT 13135292 SOS 6496164 HAS SOPS 6496164 HAS SOUS 3795746 HAS SOUPS 3795746 WITH SCORE 3802242.164
AT ITER 4648 NEW BEST:: SOT 13135281 SOS 6494139 HAS SOPS 6494139 HAS SOUS 3793732 HAS SOUPS 3793732 WITH SCORE 3800226.139
AT ITER 4654 NEW BEST:: SOT 13135281 SOS 6493182 HAS SOPS 6493182 HAS SOUS 3792613 HAS SOUPS 3792613 WITH SCORE 3799106.182
AT ITER 4673 NEW BEST:: SOT 13135086 SOS 6492792 HAS SOPS 6492792 HAS SOUS 3792418 HAS SOUPS 3792418 WITH SCORE 3798910.792
AT ITER 4677 NEW BEST:: SOT 13134636 SOS 6493120 HAS SOPS 6493120 HAS SOUS 3792028 HAS SOUPS 3792028 WITH SCORE 3798521.12
AT ITER 4679 NEW BEST:: SOT 13132696 SOS 6489096 HAS SOPS 6489096 HAS SOUS 3788004 HAS SOUPS 3788004 WITH SCORE 3794493.096
AT ITER 4680 NEW BEST:: SOT 13132173 SOS 6487004 HAS SOPS 6487004 HAS SOUS 3787282 HAS SOUPS 3787282 WITH SCORE 3793769.004
AT ITER 4681 NEW BEST:: SOT 13131866 SOS 6488137 HAS SOPS 6488137 HAS SOUS 3786997 HAS SOUPS 3786997 WITH SCORE 3793485.137
AT ITER 4686 NEW BEST:: SOT 13131866 SOS 6488255 HAS SOPS 6488255 HAS SOUS 3786744 HAS SOUPS 3786744 WITH SCORE 3793232.255
AT ITER 4703 NEW BEST:: SOT 13132028 SOS 6486149 HAS SOPS 6486149 HAS SOUS 3786464 HAS SOUPS 3786464 WITH SCORE 3792950.149
AT ITER 4704 NEW BEST:: SOT 13132028 SOS 6485415 HAS SOPS 6485415 HAS SOUS 3786464 HAS SOUPS 3786464 WITH SCORE 3792949.415
AT ITER 4707 NEW BEST:: SOT 13131940 SOS 6485239 HAS SOPS 6485239 HAS SOUS 3786376 HAS SOUPS 3786376 WITH SCORE 3792861.239
AT ITER 4709 NEW BEST:: SOT 13131940 SOS 6484789 HAS SOPS 6484789 HAS SOUS 3785634 HAS SOUPS 3785634 WITH SCORE 3792118.789
AT ITER 4716 NEW BEST:: SOT 13130404 SOS 6483614 HAS SOPS 6483614 HAS SOUS 3784098 HAS SOUPS 3784098 WITH SCORE 3790581.614
AT ITER 4720 NEW BEST:: SOT 13130404 SOS 6483614 HAS SOPS 6483614 HAS SOUS 3783315 HAS SOUPS 3783315 WITH SCORE 3789798.614
AT ITER 4722 NEW BEST:: SOT 13131039 SOS 6482475 HAS SOPS 6482475 HAS SOUS 3782176 HAS SOUPS 3782176 WITH SCORE 3788658.475
AT ITER 4726 NEW BEST:: SOT 13130653 SOS 6482489 HAS SOPS 6482489 HAS SOUS 3781790 HAS SOUPS 3781790 WITH SCORE 3788272.489
AT ITER 4732 NEW BEST:: SOT 13130434 SOS 6481069 HAS SOPS 6481069 HAS SOUS 3781352 HAS SOUPS 3781352 WITH SCORE 3787833.069
AT ITER 4743 NEW BEST:: SOT 13130311 SOS 6481833 HAS SOPS 6481833 HAS SOUS 3780917 HAS SOUPS 3780917 WITH SCORE 3787398.833
AT ITER 4745 NEW BEST:: SOT 13130096 SOS 6481188 HAS SOPS 6481188 HAS SOUS 3780487 HAS SOUPS 3780487 WITH SCORE 3786968.188
AT ITER 4747 NEW BEST:: SOT 13129642 SOS 6480734 HAS SOPS 6480734 HAS SOUS 3780033 HAS SOUPS 3780033 WITH SCORE 3786513.734
AT ITER 4748 NEW BEST:: SOT 13129074 SOS 6479598 HAS SOPS 6479598 HAS SOUS 3779465 HAS SOUPS 3779465 WITH SCORE 3785944.598
AT ITER 4751 NEW BEST:: SOT 13128551 SOS 6478552 HAS SOPS 6478552 HAS SOUS 3778419 HAS SOUPS 3778419 WITH SCORE 3784897.552
AT ITER 4755 NEW BEST:: SOT 13127415 SOS 6476280 HAS SOPS 6476280 HAS SOUS 3777283 HAS SOUPS 3777283 WITH SCORE 3783759.28
AT ITER 4761 NEW BEST:: SOT 13127244 SOS 6475406 HAS SOPS 6475406 HAS SOUS 3776893 HAS SOUPS 3776893 WITH SCORE 3783368.406
AT ITER 4767 NEW BEST:: SOT 13127244 SOS 6475360 HAS SOPS 6475360 HAS SOUS 3776847 HAS SOUPS 3776847 WITH SCORE 3783322.36
AT ITER 4770 NEW BEST:: SOT 13127156 SOS 6475743 HAS SOPS 6475743 HAS SOUS 3776459 HAS SOUPS 3776459 WITH SCORE 3782934.743
AT ITER 4777 NEW BEST:: SOT 13127085 SOS 6472207 HAS SOPS 6472207 HAS SOUS 3775625 HAS SOUPS 3775625 WITH SCORE 3782097.207
AT ITER 4780 NEW BEST:: SOT 13127068 SOS 6472190 HAS SOPS 6472190 HAS SOUS 3775444 HAS SOUPS 3775444 WITH SCORE 3781916.19
AT ITER 4787 NEW BEST:: SOT 13128280 SOS 6472414 HAS SOPS 6472414 HAS SOUS 3774599 HAS SOUPS 3774599 WITH SCORE 3781071.414
AT ITER 4791 NEW BEST:: SOT 13126612 SOS 6472236 HAS SOPS 6472236 HAS SOUS 3773913 HAS SOUPS 3773913 WITH SCORE 3780385.236
AT ITER 4805 NEW BEST:: SOT 13122262 SOS 6468247 HAS SOPS 6468247 HAS SOUS 3769496 HAS SOUPS 3769496 WITH SCORE 3775964.247
AT ITER 4807 NEW BEST:: SOT 13122515 SOS 6468753 HAS SOPS 6468753 HAS SOUS 3769141 HAS SOUPS 3769141 WITH SCORE 3775609.753
AT ITER 4809 NEW BEST:: SOT 13122515 SOS 6466715 HAS SOPS 6466715 HAS SOUS 3767674 HAS SOUPS 3767674 WITH SCORE 3774140.715
AT ITER 4814 NEW BEST:: SOT 13122189 SOS 6466279 HAS SOPS 6466279 HAS SOUS 3766127 HAS SOUPS 3766127 WITH SCORE 3772593.279
AT ITER 4817 NEW BEST:: SOT 13121987 SOS 6465725 HAS SOPS 6465725 HAS SOUS 3765573 HAS SOUPS 3765573 WITH SCORE 3772038.725
AT ITER 4827 NEW BEST:: SOT 13121987 SOS 6465466 HAS SOPS 6465466 HAS SOUS 3765314 HAS SOUPS 3765314 WITH SCORE 3771779.466
AT ITER 4829 NEW BEST:: SOT 13121953 SOS 6465398 HAS SOPS 6465398 HAS SOUS 3764994 HAS SOUPS 3764994 WITH SCORE 3771459.398
AT ITER 4838 NEW BEST:: SOT 13121953 SOS 6462388 HAS SOPS 6462388 HAS SOUS 3763763 HAS SOUPS 3763763 WITH SCORE 3770225.388
AT ITER 4844 NEW BEST:: SOT 13121916 SOS 6462140 HAS SOPS 6462140 HAS SOUS 3763450 HAS SOUPS 3763450 WITH SCORE 3769912.14
AT ITER 4848 NEW BEST:: SOT 13121853 SOS 6461854 HAS SOPS 6461854 HAS SOUS 3763387 HAS SOUPS 3763387 WITH SCORE 3769848.854
AT ITER 4849 NEW BEST:: SOT 13121097 SOS 6461660 HAS SOPS 6461660 HAS SOUS 3762631 HAS SOUPS 3762631 WITH SCORE 3769092.66
AT ITER 4854 NEW BEST:: SOT 13120803 SOS 6460926 HAS SOPS 6460926 HAS SOUS 3762406 HAS SOUPS 3762406 WITH SCORE 3768866.926
AT ITER 4867 NEW BEST:: SOT 13120764 SOS 6460848 HAS SOPS 6460848 HAS SOUS 3762367 HAS SOUPS 3762367 WITH SCORE 3768827.848
AT ITER 4881 NEW BEST:: SOT 13120525 SOS 6461618 HAS SOPS 6461618 HAS SOUS 3762328 HAS SOUPS 3762328 WITH SCORE 3768789.618
AT ITER 4882 NEW BEST:: SOT 13120422 SOS 6461412 HAS SOPS 6461412 HAS SOUS 3762225 HAS SOUPS 3762225 WITH SCORE 3768686.412
AT ITER 4887 NEW BEST:: SOT 13119876 SOS 6459535 HAS SOPS 6459535 HAS SOUS 3761440 HAS SOUPS 3761440 WITH SCORE 3767899.535
AT ITER 4892 NEW BEST:: SOT 13119500 SOS 6458595 HAS SOPS 6458595 HAS SOUS 3760688 HAS SOUPS 3760688 WITH SCORE 3767146.595
AT ITER 4895 NEW BEST:: SOT 13119500 SOS 6458337 HAS SOPS 6458337 HAS SOUS 3760430 HAS SOUPS 3760430 WITH SCORE 3766888.337
AT ITER 4899 NEW BEST:: SOT 13120765 SOS 6458753 HAS SOPS 6458753 HAS SOUS 3760039 HAS SOUPS 3760039 WITH SCORE 3766497.753
AT ITER 4903 NEW BEST:: SOT 13120716 SOS 6457329 HAS SOPS 6457329 HAS SOUS 3758615 HAS SOUPS 3758615 WITH SCORE 3765072.329
AT ITER 4908 NEW BEST:: SOT 13120958 SOS 6457368 HAS SOPS 6457368 HAS SOUS 3758391 HAS SOUPS 3758391 WITH SCORE 3764848.368
AT ITER 4911 NEW BEST:: SOT 13120219 SOS 6456629 HAS SOPS 6456629 HAS SOUS 3757863 HAS SOUPS 3757863 WITH SCORE 3764319.629
AT ITER 4918 NEW BEST:: SOT 13120080 SOS 6456629 HAS SOPS 6456629 HAS SOUS 3757724 HAS SOUPS 3757724 WITH SCORE 3764180.629
AT ITER 4922 NEW BEST:: SOT 13119358 SOS 6452567 HAS SOPS 6452567 HAS SOUS 3754820 HAS SOUPS 3754820 WITH SCORE 3761272.567
AT ITER 4923 NEW BEST:: SOT 13119407 SOS 6452499 HAS SOPS 6452499 HAS SOUS 3754752 HAS SOUPS 3754752 WITH SCORE 3761204.499
AT ITER 4924 NEW BEST:: SOT 13118957 SOS 6451599 HAS SOPS 6451599 HAS SOUS 3753852 HAS SOUPS 3753852 WITH SCORE 3760303.599
AT ITER 4926 NEW BEST:: SOT 13118947 SOS 6451579 HAS SOPS 6451579 HAS SOUS 3753837 HAS SOUPS 3753837 WITH SCORE 3760288.579
AT ITER 4927 NEW BEST:: SOT 13118837 SOS 6451469 HAS SOPS 6451469 HAS SOUS 3753727 HAS SOUPS 3753727 WITH SCORE 3760178.469
AT ITER 4929 NEW BEST:: SOT 13118816 SOS 6451438 HAS SOPS 6451438 HAS SOUS 3753696 HAS SOUPS 3753696 WITH SCORE 3760147.438
AT ITER 4936 NEW BEST:: SOT 13118515 SOS 6451778 HAS SOPS 6451778 HAS SOUS 3753395 HAS SOUPS 3753395 WITH SCORE 3759846.778
AT ITER 4940 NEW BEST:: SOT 13118251 SOS 6451251 HAS SOPS 6451251 HAS SOUS 3753131 HAS SOUPS 3753131 WITH SCORE 3759582.251
AT ITER 4944 NEW BEST:: SOT 13118252 SOS 6450373 HAS SOPS 6450373 HAS SOUS 3752253 HAS SOUPS 3752253 WITH SCORE 3758703.373
AT ITER 4947 NEW BEST:: SOT 13118752 SOS 6451373 HAS SOPS 6451373 HAS SOUS 3751302 HAS SOUPS 3751302 WITH SCORE 3757753.373
AT ITER 4948 NEW BEST:: SOT 13118752 SOS 6451155 HAS SOPS 6451155 HAS SOUS 3751084 HAS SOUPS 3751084 WITH SCORE 3757535.155
AT ITER 4951 NEW BEST:: SOT 13108844 SOS 6541139 HAS SOPS 6541139 HAS SOUS 3747086 HAS SOUPS 3747086 WITH SCORE 3753627.139
AT ITER 4963 NEW BEST:: SOT 13108844 SOS 6541139 HAS SOPS 6541139 HAS SOUS 3747063 HAS SOUPS 3747063 WITH SCORE 3753604.139
AT ITER 4980 NEW BEST:: SOT 13109184 SOS 6539748 HAS SOPS 6539748 HAS SOUS 3745672 HAS SOUPS 3745672 WITH SCORE 3752211.748
AT ITER 4987 NEW BEST:: SOT 13109051 SOS 6538760 HAS SOPS 6538760 HAS SOUS 3745121 HAS SOUPS 3745121 WITH SCORE 3751659.76
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-00 (AX( ( (AF(potential( ( 3 ) <= (tk(P3560)) ))) & (EG( potential( (tk(P3830)) <= (tk(P2281)) ))) )))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-01 ( potential( ( 1 ) <= (tk(P104)) ) | (EG( (! (! potential( (tk(P4067)) <= (tk(P42)) ))))) )
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-02 (AU( ( potential( (tk(P435)) <= (tk(P4278)) ) | (! potential( ( 3 ) <= (tk(P4053)) )) ),(EX( potential( ( 2 ) <= (tk(P4223)) ))) ))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-03 ( ( (! ( ( potential( ( 2 ) <= (tk(P1108)) ) | potential( ( 1 ) <= (tk(P1819)) ) ) | (! potential( ( 1 ) <= (tk(P2160)) )) )) | (AF(( potential( ( 3 ) <= (tk(P4126)) ) & potential( (tk(P2252)) <= (tk(P1102)) ) ))) ) | ( (! (! (! potential( ( 2 ) <= (tk(P4006)) )))) & (EF(( potential( ( 1 ) <= (tk(P2099)) ) & potential( (tk(P1)) <= (tk(P3626)) ) ))) ) )
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-04 ( ( (! (EG( potential( (tk(P3703)) <= (tk(P2632)) )))) & ( (EX( potential( ( 1 ) <= (tk(P1475)) ))) | (EX( potential( (tk(P3692)) <= (tk(P2297)) ))) ) ) & (AG( potential( (tk(P539)) <= (tk(P2554)) ))) )
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-05 (! ( potential( (tk(P2586)) <= (tk(P1018)) ) & (EG( ( potential( (tk(P3360)) <= (tk(P1389)) ) | potential( (tk(P1710)) <= (tk(P2629)) ) ))) ))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-06 ( (EG( (EF(potential( ( 1 ) <= (tk(P1081)) ))))) | potential( ( 1 ) <= (tk(P2548)) ) )
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-07 (AG( ( potential( ( 3 ) <= (tk(P961)) ) | (AG( potential( (tk(P1501)) <= (tk(P1475)) ))) )))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-08 (EX( (AU( potential( (tk(P404)) <= (tk(P3334)) ),potential( ( 3 ) <= (tk(P2291)) ) ))))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-09 (AF(( (AX( potential( ( 2 ) <= (tk(P3521)) ))) | (EX( potential( ( 2 ) <= (tk(P3364)) ))) )))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-10 ( ( ( (EG( potential( (tk(P693)) <= (tk(P2066)) ))) | ( (! potential( ( 3 ) <= (tk(P1981)) )) & (! potential( (tk(P1402)) <= (tk(P1216)) )) ) ) & ( (EF(potential( ( 2 ) <= (tk(P4291)) ))) & (AF(potential( (tk(P158)) <= (tk(P3000)) ))) ) ) & (AF((EF(potential( ( 3 ) <= (tk(P2853)) ))))) )
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-11 (EF((! (! ( potential( (tk(P2235)) <= (tk(P4251)) ) & potential( ( 1 ) <= (tk(P261)) ) )))))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-12 (! (EF(( potential( ( 3 ) <= (tk(P1350)) ) & ( potential( ( 2 ) <= (tk(P4012)) ) | potential( (tk(P812)) <= (tk(P3945)) ) ) ))))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-13 (EU( (! ( potential( (tk(P515)) <= (tk(P2752)) ) & potential( ( 2 ) <= (tk(P2343)) ) )),potential( ( 3 ) <= (tk(P3493)) ) ))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-14 (EF((EU( potential( (tk(P1862)) <= (tk(P2953)) ),potential( ( 1 ) <= (tk(P1792)) ) ))))
PROPERTY: FlexibleBarrier-PT-18b-CTLCardinality-15 ( ( (AX( ( potential( ( 3 ) <= (tk(P3636)) ) & potential( (tk(P2078)) <= (tk(P2123)) ) ))) | (! ( ( potential( ( 3 ) <= (tk(P3841)) ) & potential( (tk(P1094)) <= (tk(P4278)) ) ) & ( potential( (tk(P4355)) <= (tk(P766)) ) & potential( (tk(P2311)) <= (tk(P1416)) ) ) )) ) & (AG( (! potential( ( 3 ) <= (tk(P1611)) )))) )

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-18b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972500379"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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