Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jun 3 09:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 898K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.7M May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 5.1M May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.3K Jun 3 09:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Jun 3 09:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jun 3 09:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 1.8M May 12 20:42 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 Sudoku-PT-AN15-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN15-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336617948

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN15
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: 4050 places, 3375 transitions, 13500 arcs.
AT ITER 0 NEW BEST:: SOT 11389088 SOS 5670095 HAS SOPS 5670095 HAS SOUS 5670095 HAS SOUPS 5670095 WITH SCORE 5675765.095
AT ITER 7 NEW BEST:: SOT 11385623 SOS 5667015 HAS SOPS 5667015 HAS SOUS 5666735 HAS SOUPS 5666735 WITH SCORE 5672402.015
AT ITER 20 NEW BEST:: SOT 11385857 SOS 5667181 HAS SOPS 5667181 HAS SOUS 5666691 HAS SOUPS 5666691 WITH SCORE 5672358.181
AT ITER 24 NEW BEST:: SOT 11385935 SOS 5667105 HAS SOPS 5667105 HAS SOUS 5666587 HAS SOUPS 5666587 WITH SCORE 5672254.105
AT ITER 38 NEW BEST:: SOT 11382414 SOS 5663965 HAS SOPS 5663965 HAS SOUS 5663265 HAS SOUPS 5663265 WITH SCORE 5668928.965
AT ITER 42 NEW BEST:: SOT 11379602 SOS 5699446 HAS SOPS 5699446 HAS SOUS 5660813 HAS SOUPS 5660813 WITH SCORE 5666512.446
AT ITER 47 NEW BEST:: SOT 11376935 SOS 5697045 HAS SOPS 5697045 HAS SOUS 5658244 HAS SOUPS 5658244 WITH SCORE 5663941.045
AT ITER 54 NEW BEST:: SOT 11374904 SOS 5695014 HAS SOPS 5695014 HAS SOUS 5656213 HAS SOUPS 5656213 WITH SCORE 5661908.014
AT ITER 63 NEW BEST:: SOT 11375062 SOS 5695068 HAS SOPS 5695068 HAS SOUS 5656183 HAS SOUPS 5656183 WITH SCORE 5661878.068
AT ITER 70 NEW BEST:: SOT 11370655 SOS 5692923 HAS SOPS 5692923 HAS SOUS 5652029 HAS SOUPS 5652029 WITH SCORE 5657721.923
AT ITER 75 NEW BEST:: SOT 11369626 SOS 5692203 HAS SOPS 5692203 HAS SOUS 5651057 HAS SOUPS 5651057 WITH SCORE 5656749.203
AT ITER 102 NEW BEST:: SOT 11369626 SOS 5691893 HAS SOPS 5691893 HAS SOUS 5650747 HAS SOUPS 5650747 WITH SCORE 5656438.893
AT ITER 165 NEW BEST:: SOT 11369626 SOS 5690892 HAS SOPS 5690892 HAS SOUS 5650747 HAS SOUPS 5650747 WITH SCORE 5656437.892
AT ITER 186 NEW BEST:: SOT 11367254 SOS 5700138 HAS SOPS 5700138 HAS SOUS 5648562 HAS SOUPS 5648562 WITH SCORE 5654262.138
AT ITER 187 NEW BEST:: SOT 11365413 SOS 5698638 HAS SOPS 5698638 HAS SOUS 5646852 HAS SOUPS 5646852 WITH SCORE 5652550.638
AT ITER 189 NEW BEST:: SOT 11365609 SOS 5698765 HAS SOPS 5698765 HAS SOUS 5646839 HAS SOUPS 5646839 WITH SCORE 5652537.765
AT ITER 192 NEW BEST:: SOT 11362535 SOS 5704182 HAS SOPS 5704182 HAS SOUS 5644199 HAS SOUPS 5644199 WITH SCORE 5649903.182
AT ITER 202 NEW BEST:: SOT 11360960 SOS 5703496 HAS SOPS 5703496 HAS SOUS 5643241 HAS SOUPS 5643241 WITH SCORE 5648944.496
AT ITER 214 NEW BEST:: SOT 11361173 SOS 5703698 HAS SOPS 5703698 HAS SOUS 5643191 HAS SOUPS 5643191 WITH SCORE 5648894.698
AT ITER 220 NEW BEST:: SOT 11361403 SOS 5703914 HAS SOPS 5703914 HAS SOUS 5643183 HAS SOUPS 5643183 WITH SCORE 5648886.914
AT ITER 224 NEW BEST:: SOT 11361123 SOS 5704554 HAS SOPS 5704554 HAS SOUS 5642965 HAS SOUPS 5642965 WITH SCORE 5648669.554
AT ITER 227 NEW BEST:: SOT 11360458 SOS 5704200 HAS SOPS 5704200 HAS SOUS 5642429 HAS SOUPS 5642429 WITH SCORE 5648133.2
AT ITER 229 NEW BEST:: SOT 11358462 SOS 5703059 HAS SOPS 5703059 HAS SOUS 5640698 HAS SOUPS 5640698 WITH SCORE 5646401.059
AT ITER 246 NEW BEST:: SOT 11354915 SOS 5700466 HAS SOPS 5700466 HAS SOUS 5637545 HAS SOUPS 5637545 WITH SCORE 5643245.466
AT ITER 258 NEW BEST:: SOT 11354915 SOS 5700609 HAS SOPS 5700609 HAS SOUS 5637436 HAS SOUPS 5637436 WITH SCORE 5643136.609
AT ITER 259 NEW BEST:: SOT 11355278 SOS 5700426 HAS SOPS 5700426 HAS SOUS 5637099 HAS SOUPS 5637099 WITH SCORE 5642799.426
AT ITER 260 NEW BEST:: SOT 11352205 SOS 5697699 HAS SOPS 5697699 HAS SOUS 5634120 HAS SOUPS 5634120 WITH SCORE 5639817.699
AT ITER 267 NEW BEST:: SOT 11352530 SOS 5697721 HAS SOPS 5697721 HAS SOUS 5633890 HAS SOUPS 5633890 WITH SCORE 5639587.721
AT ITER 274 NEW BEST:: SOT 11352751 SOS 5696901 HAS SOPS 5696901 HAS SOUS 5632916 HAS SOUPS 5632916 WITH SCORE 5638612.901
AT ITER 276 NEW BEST:: SOT 11352485 SOS 5704677 HAS SOPS 5704677 HAS SOUS 5632736 HAS SOUPS 5632736 WITH SCORE 5638440.677
AT ITER 281 NEW BEST:: SOT 11350365 SOS 5703930 HAS SOPS 5703930 HAS SOUS 5630960 HAS SOUPS 5630960 WITH SCORE 5636663.93
AT ITER 290 NEW BEST:: SOT 11350365 SOS 5703626 HAS SOPS 5703626 HAS SOUS 5630960 HAS SOUPS 5630960 WITH SCORE 5636663.626
AT ITER 292 NEW BEST:: SOT 11348765 SOS 5702026 HAS SOPS 5702026 HAS SOUS 5629360 HAS SOUPS 5629360 WITH SCORE 5635062.026
AT ITER 305 NEW BEST:: SOT 11348765 SOS 5700764 HAS SOPS 5700764 HAS SOUS 5629360 HAS SOUPS 5629360 WITH SCORE 5635060.764
AT ITER 309 NEW BEST:: SOT 11348942 SOS 5700894 HAS SOPS 5700894 HAS SOUS 5629196 HAS SOUPS 5629196 WITH SCORE 5634896.894
AT ITER 327 NEW BEST:: SOT 11349048 SOS 5700897 HAS SOPS 5700897 HAS SOUS 5629003 HAS SOUPS 5629003 WITH SCORE 5634703.897
AT ITER 332 NEW BEST:: SOT 11349217 SOS 5701573 HAS SOPS 5701573 HAS SOUS 5628971 HAS SOUPS 5628971 WITH SCORE 5634672.573
AT ITER 346 NEW BEST:: SOT 11346564 SOS 5699168 HAS SOPS 5699168 HAS SOUS 5626398 HAS SOUPS 5626398 WITH SCORE 5632097.168
AT ITER 348 NEW BEST:: SOT 11343493 SOS 5699703 HAS SOPS 5699703 HAS SOUS 5623580 HAS SOUPS 5623580 WITH SCORE 5629279.703
AT ITER 349 NEW BEST:: SOT 11343672 SOS 5699821 HAS SOPS 5699821 HAS SOUS 5623460 HAS SOUPS 5623460 WITH SCORE 5629159.821
AT ITER 351 NEW BEST:: SOT 11343920 SOS 5700044 HAS SOPS 5700044 HAS SOUS 5623417 HAS SOUPS 5623417 WITH SCORE 5629117.044
AT ITER 360 NEW BEST:: SOT 11344075 SOS 5700098 HAS SOPS 5700098 HAS SOUS 5623289 HAS SOUPS 5623289 WITH SCORE 5628989.098
AT ITER 365 NEW BEST:: SOT 11344075 SOS 5676171 HAS SOPS 5676171 HAS SOUS 5623289 HAS SOUPS 5623289 WITH SCORE 5628965.171
AT ITER 376 NEW BEST:: SOT 11342416 SOS 5674808 HAS SOPS 5674808 HAS SOUS 5621842 HAS SOUPS 5621842 WITH SCORE 5627516.808
AT ITER 386 NEW BEST:: SOT 11342415 SOS 5674813 HAS SOPS 5674813 HAS SOUS 5621819 HAS SOUPS 5621819 WITH SCORE 5627493.813
AT ITER 388 NEW BEST:: SOT 11342415 SOS 5674013 HAS SOPS 5674013 HAS SOUS 5621819 HAS SOUPS 5621819 WITH SCORE 5627493.013
AT ITER 396 NEW BEST:: SOT 11340060 SOS 5680590 HAS SOPS 5680590 HAS SOUS 5619667 HAS SOUPS 5619667 WITH SCORE 5625347.59
AT ITER 398 NEW BEST:: SOT 11340060 SOS 5679885 HAS SOPS 5679885 HAS SOUS 5619667 HAS SOUPS 5619667 WITH SCORE 5625346.885
AT ITER 404 NEW BEST:: SOT 11339528 SOS 5683070 HAS SOPS 5683070 HAS SOUS 5619135 HAS SOUPS 5619135 WITH SCORE 5624818.07
AT ITER 406 NEW BEST:: SOT 11339388 SOS 5682769 HAS SOPS 5682769 HAS SOUS 5618995 HAS SOUPS 5618995 WITH SCORE 5624677.769
AT ITER 416 NEW BEST:: SOT 11339318 SOS 5682699 HAS SOPS 5682699 HAS SOUS 5618925 HAS SOUPS 5618925 WITH SCORE 5624607.699
AT ITER 419 NEW BEST:: SOT 11339038 SOS 5693311 HAS SOPS 5693311 HAS SOUS 5618897 HAS SOUPS 5618897 WITH SCORE 5624590.311
AT ITER 425 NEW BEST:: SOT 11339038 SOS 5693065 HAS SOPS 5693065 HAS SOUS 5618897 HAS SOUPS 5618897 WITH SCORE 5624590.065
AT ITER 429 NEW BEST:: SOT 11339038 SOS 5713362 HAS SOPS 5713362 HAS SOUS 5618807 HAS SOUPS 5618807 WITH SCORE 5624520.362
AT ITER 438 NEW BEST:: SOT 11336575 SOS 5712519 HAS SOPS 5712519 HAS SOUS 5616604 HAS SOUPS 5616604 WITH SCORE 5622316.519
AT ITER 444 NEW BEST:: SOT 11334832 SOS 5711082 HAS SOPS 5711082 HAS SOUS 5614887 HAS SOUPS 5614887 WITH SCORE 5620598.082
AT ITER 454 NEW BEST:: SOT 11334832 SOS 5710810 HAS SOPS 5710810 HAS SOUS 5614887 HAS SOUPS 5614887 WITH SCORE 5620597.81
AT ITER 456 NEW BEST:: SOT 11330656 SOS 5722669 HAS SOPS 5722669 HAS SOUS 5612744 HAS SOUPS 5612744 WITH SCORE 5618466.669
AT ITER 460 NEW BEST:: SOT 11330334 SOS 5727719 HAS SOPS 5727719 HAS SOUS 5612565 HAS SOUPS 5612565 WITH SCORE 5618292.719
AT ITER 462 NEW BEST:: SOT 11329473 SOS 5727173 HAS SOPS 5727173 HAS SOUS 5611837 HAS SOUPS 5611837 WITH SCORE 5617564.173
AT ITER 467 NEW BEST:: SOT 11329798 SOS 5727272 HAS SOPS 5727272 HAS SOUS 5611339 HAS SOUPS 5611339 WITH SCORE 5617066.272
AT ITER 472 NEW BEST:: SOT 11327878 SOS 5751800 HAS SOPS 5751800 HAS SOUS 5611304 HAS SOUPS 5611304 WITH SCORE 5617055.8
AT ITER 473 NEW BEST:: SOT 11327878 SOS 5751671 HAS SOPS 5751671 HAS SOUS 5611304 HAS SOUPS 5611304 WITH SCORE 5617055.671
AT ITER 481 NEW BEST:: SOT 11327878 SOS 5751449 HAS SOPS 5751449 HAS SOUS 5611304 HAS SOUPS 5611304 WITH SCORE 5617055.449
AT ITER 483 NEW BEST:: SOT 11324123 SOS 5759213 HAS SOPS 5759213 HAS SOUS 5607833 HAS SOUPS 5607833 WITH SCORE 5613592.213
AT ITER 488 NEW BEST:: SOT 11322947 SOS 5764331 HAS SOPS 5764331 HAS SOUS 5607617 HAS SOUPS 5607617 WITH SCORE 5613381.331
AT ITER 492 NEW BEST:: SOT 11321576 SOS 5763425 HAS SOPS 5763425 HAS SOUS 5606501 HAS SOUPS 5606501 WITH SCORE 5612264.425
AT ITER 497 NEW BEST:: SOT 11318736 SOS 5772233 HAS SOPS 5772233 HAS SOUS 5604004 HAS SOUPS 5604004 WITH SCORE 5609776.233
AT ITER 506 NEW BEST:: SOT 11316284 SOS 5770176 HAS SOPS 5770176 HAS SOUS 5601930 HAS SOUPS 5601930 WITH SCORE 5607700.176
AT ITER 507 NEW BEST:: SOT 11315794 SOS 5770610 HAS SOPS 5770610 HAS SOUS 5601440 HAS SOUPS 5601440 WITH SCORE 5607210.61
AT ITER 511 NEW BEST:: SOT 11315794 SOS 5769393 HAS SOPS 5769393 HAS SOUS 5601440 HAS SOUPS 5601440 WITH SCORE 5607209.393
AT ITER 515 NEW BEST:: SOT 11311780 SOS 5767987 HAS SOPS 5767987 HAS SOUS 5597675 HAS SOUPS 5597675 WITH SCORE 5603442.987
AT ITER 519 NEW BEST:: SOT 11311346 SOS 5767636 HAS SOPS 5767636 HAS SOUS 5597241 HAS SOUPS 5597241 WITH SCORE 5603008.636
AT ITER 521 NEW BEST:: SOT 11308084 SOS 5764768 HAS SOPS 5764768 HAS SOUS 5594191 HAS SOUPS 5594191 WITH SCORE 5599955.768
AT ITER 522 NEW BEST:: SOT 11308084 SOS 5763049 HAS SOPS 5763049 HAS SOUS 5594191 HAS SOUPS 5594191 WITH SCORE 5599954.049
AT ITER 530 NEW BEST:: SOT 11307657 SOS 5763003 HAS SOPS 5763003 HAS SOUS 5594145 HAS SOUPS 5594145 WITH SCORE 5599908.003
AT ITER 535 NEW BEST:: SOT 11307657 SOS 5762780 HAS SOPS 5762780 HAS SOUS 5594145 HAS SOUPS 5594145 WITH SCORE 5599907.78
AT ITER 539 NEW BEST:: SOT 11307657 SOS 5762347 HAS SOPS 5762347 HAS SOUS 5594145 HAS SOUPS 5594145 WITH SCORE 5599907.347
AT ITER 541 NEW BEST:: SOT 11307461 SOS 5768814 HAS SOPS 5768814 HAS SOUS 5593949 HAS SOUPS 5593949 WITH SCORE 5599717.814
AT ITER 546 NEW BEST:: SOT 11304024 SOS 5765674 HAS SOPS 5765674 HAS SOUS 5590627 HAS SOUPS 5590627 WITH SCORE 5596392.674
AT ITER 562 NEW BEST:: SOT 11300450 SOS 5762834 HAS SOPS 5762834 HAS SOUS 5587402 HAS SOUPS 5587402 WITH SCORE 5593164.834
AT ITER 569 NEW BEST:: SOT 11299946 SOS 5764131 HAS SOPS 5764131 HAS SOUS 5586898 HAS SOUPS 5586898 WITH SCORE 5592662.131
AT ITER 577 NEW BEST:: SOT 11299946 SOS 5780100 HAS SOPS 5780100 HAS SOUS 5586676 HAS SOUPS 5586676 WITH SCORE 5592456.1
AT ITER 579 NEW BEST:: SOT 11297591 SOS 5809532 HAS SOPS 5809532 HAS SOUS 5586385 HAS SOUPS 5586385 WITH SCORE 5592194.532
AT ITER 581 NEW BEST:: SOT 11297746 SOS 5808245 HAS SOPS 5808245 HAS SOUS 5584972 HAS SOUPS 5584972 WITH SCORE 5590780.245
AT ITER 593 NEW BEST:: SOT 11295757 SOS 5815806 HAS SOPS 5815806 HAS SOUS 5583202 HAS SOUPS 5583202 WITH SCORE 5589017.806
AT ITER 597 NEW BEST:: SOT 11296284 SOS 5815935 HAS SOPS 5815935 HAS SOUS 5582224 HAS SOUPS 5582224 WITH SCORE 5588039.935
AT ITER 603 NEW BEST:: SOT 11295859 SOS 5816330 HAS SOPS 5816330 HAS SOUS 5581799 HAS SOUPS 5581799 WITH SCORE 5587615.33
AT ITER 604 NEW BEST:: SOT 11295859 SOS 5816195 HAS SOPS 5816195 HAS SOUS 5581799 HAS SOUPS 5581799 WITH SCORE 5587615.195
AT ITER 608 NEW BEST:: SOT 11295425 SOS 5816544 HAS SOPS 5816544 HAS SOUS 5581439 HAS SOUPS 5581439 WITH SCORE 5587255.544
AT ITER 618 NEW BEST:: SOT 11294963 SOS 5818857 HAS SOPS 5818857 HAS SOUS 5581181 HAS SOUPS 5581181 WITH SCORE 5586999.857
AT ITER 623 NEW BEST:: SOT 11294963 SOS 5818064 HAS SOPS 5818064 HAS SOUS 5581181 HAS SOUPS 5581181 WITH SCORE 5586999.064
AT ITER 625 NEW BEST:: SOT 11294963 SOS 5817361 HAS SOPS 5817361 HAS SOUS 5581181 HAS SOUPS 5581181 WITH SCORE 5586998.361
AT ITER 626 NEW BEST:: SOT 11291970 SOS 5819828 HAS SOPS 5819828 HAS SOUS 5578873 HAS SOUPS 5578873 WITH SCORE 5584692.828
AT ITER 627 NEW BEST:: SOT 11291970 SOS 5818606 HAS SOPS 5818606 HAS SOUS 5578873 HAS SOUPS 5578873 WITH SCORE 5584691.606
AT ITER 630 NEW BEST:: SOT 11288932 SOS 5816732 HAS SOPS 5816732 HAS SOUS 5576235 HAS SOUPS 5576235 WITH SCORE 5582051.732
AT ITER 648 NEW BEST:: SOT 11289231 SOS 5815939 HAS SOPS 5815939 HAS SOUS 5575358 HAS SOUPS 5575358 WITH SCORE 5581173.939
AT ITER 654 NEW BEST:: SOT 11288401 SOS 5815639 HAS SOPS 5815639 HAS SOUS 5575058 HAS SOUPS 5575058 WITH SCORE 5580873.639
AT ITER 657 NEW BEST:: SOT 11287946 SOS 5815516 HAS SOPS 5815516 HAS SOUS 5574725 HAS SOUPS 5574725 WITH SCORE 5580540.516
AT ITER 662 NEW BEST:: SOT 11283877 SOS 5837094 HAS SOPS 5837094 HAS SOUS 5572556 HAS SOUPS 5572556 WITH SCORE 5578393.094
AT ITER 666 NEW BEST:: SOT 11283877 SOS 5835867 HAS SOPS 5835867 HAS SOUS 5572556 HAS SOUPS 5572556 WITH SCORE 5578391.867
AT ITER 679 NEW BEST:: SOT 11283877 SOS 5834744 HAS SOPS 5834744 HAS SOUS 5572556 HAS SOUPS 5572556 WITH SCORE 5578390.744
AT ITER 687 NEW BEST:: SOT 11280818 SOS 5832544 HAS SOPS 5832544 HAS SOUS 5569813 HAS SOUPS 5569813 WITH SCORE 5575645.544
AT ITER 696 NEW BEST:: SOT 11280384 SOS 5836149 HAS SOPS 5836149 HAS SOUS 5569379 HAS SOUPS 5569379 WITH SCORE 5575215.149
AT ITER 699 NEW BEST:: SOT 11280384 SOS 5827042 HAS SOPS 5827042 HAS SOUS 5569379 HAS SOUPS 5569379 WITH SCORE 5575206.042
AT ITER 703 NEW BEST:: SOT 11280522 SOS 5827085 HAS SOPS 5827085 HAS SOUS 5569268 HAS SOUPS 5569268 WITH SCORE 5575095.085
AT ITER 705 NEW BEST:: SOT 11280522 SOS 5826292 HAS SOPS 5826292 HAS SOUS 5569268 HAS SOUPS 5569268 WITH SCORE 5575094.292
AT ITER 708 NEW BEST:: SOT 11280522 SOS 5825807 HAS SOPS 5825807 HAS SOUS 5569268 HAS SOUPS 5569268 WITH SCORE 5575093.807
AT ITER 711 NEW BEST:: SOT 11277574 SOS 5825703 HAS SOPS 5825703 HAS SOUS 5566879 HAS SOUPS 5566879 WITH SCORE 5572704.703
AT ITER 712 NEW BEST:: SOT 11277070 SOS 5839895 HAS SOPS 5839895 HAS SOUS 5566671 HAS SOUPS 5566671 WITH SCORE 5572510.895
AT ITER 714 NEW BEST:: SOT 11277266 SOS 5840021 HAS SOPS 5840021 HAS SOUS 5566559 HAS SOUPS 5566559 WITH SCORE 5572399.021
AT ITER 717 NEW BEST:: SOT 11276944 SOS 5857439 HAS SOPS 5857439 HAS SOUS 5566448 HAS SOUPS 5566448 WITH SCORE 5572305.439
AT ITER 720 NEW BEST:: SOT 11276184 SOS 5858180 HAS SOPS 5858180 HAS SOUS 5565880 HAS SOUPS 5565880 WITH SCORE 5571738.18
AT ITER 732 NEW BEST:: SOT 11276184 SOS 5857974 HAS SOPS 5857974 HAS SOUS 5565880 HAS SOUPS 5565880 WITH SCORE 5571737.974
AT ITER 742 NEW BEST:: SOT 11274945 SOS 5857044 HAS SOPS 5857044 HAS SOUS 5564894 HAS SOUPS 5564894 WITH SCORE 5570751.044
AT ITER 743 NEW BEST:: SOT 11274231 SOS 5857637 HAS SOPS 5857637 HAS SOUS 5564195 HAS SOUPS 5564195 WITH SCORE 5570052.637
AT ITER 744 NEW BEST:: SOT 11269659 SOS 5873796 HAS SOPS 5873796 HAS SOUS 5562987 HAS SOUPS 5562987 WITH SCORE 5568860.796
AT ITER 756 NEW BEST:: SOT 11268739 SOS 5872876 HAS SOPS 5872876 HAS SOUS 5562067 HAS SOUPS 5562067 WITH SCORE 5567939.876
AT ITER 760 NEW BEST:: SOT 11267885 SOS 5872916 HAS SOPS 5872916 HAS SOUS 5561524 HAS SOUPS 5561524 WITH SCORE 5567396.916
AT ITER 764 NEW BEST:: SOT 11267885 SOS 5850810 HAS SOPS 5850810 HAS SOUS 5560111 HAS SOUPS 5560111 WITH SCORE 5565961.81
AT ITER 768 NEW BEST:: SOT 11267885 SOS 5850286 HAS SOPS 5850286 HAS SOUS 5560111 HAS SOUPS 5560111 WITH SCORE 5565961.286
AT ITER 774 NEW BEST:: SOT 11265840 SOS 5850240 HAS SOPS 5850240 HAS SOUS 5558680 HAS SOUPS 5558680 WITH SCORE 5564530.24
AT ITER 788 NEW BEST:: SOT 11262857 SOS 5850651 HAS SOPS 5850651 HAS SOUS 5556762 HAS SOUPS 5556762 WITH SCORE 5562612.651
AT ITER 795 NEW BEST:: SOT 11262857 SOS 5849857 HAS SOPS 5849857 HAS SOUS 5556762 HAS SOUPS 5556762 WITH SCORE 5562611.857
AT ITER 798 NEW BEST:: SOT 11261101 SOS 5848502 HAS SOPS 5848502 HAS SOUS 5555043 HAS SOUPS 5555043 WITH SCORE 5560891.502
AT ITER 808 NEW BEST:: SOT 11261101 SOS 5848277 HAS SOPS 5848277 HAS SOUS 5555043 HAS SOUPS 5555043 WITH SCORE 5560891.277
AT ITER 811 NEW BEST:: SOT 11261308 SOS 5847336 HAS SOPS 5847336 HAS SOUS 5553906 HAS SOUPS 5553906 WITH SCORE 5559753.336
AT ITER 812 NEW BEST:: SOT 11261519 SOS 5847539 HAS SOPS 5847539 HAS SOUS 5553899 HAS SOUPS 5553899 WITH SCORE 5559746.539
AT ITER 814 NEW BEST:: SOT 11261519 SOS 5847522 HAS SOPS 5847522 HAS SOUS 5553882 HAS SOUPS 5553882 WITH SCORE 5559729.522
AT ITER 819 NEW BEST:: SOT 11260875 SOS 5847372 HAS SOPS 5847372 HAS SOUS 5553322 HAS SOUPS 5553322 WITH SCORE 5559169.372
AT ITER 825 NEW BEST:: SOT 11260842 SOS 5847339 HAS SOPS 5847339 HAS SOUS 5553289 HAS SOUPS 5553289 WITH SCORE 5559136.339
AT ITER 833 NEW BEST:: SOT 11260149 SOS 5847171 HAS SOPS 5847171 HAS SOUS 5552596 HAS SOUPS 5552596 WITH SCORE 5558443.171
AT ITER 836 NEW BEST:: SOT 11260149 SOS 5847170 HAS SOPS 5847170 HAS SOUS 5552596 HAS SOUPS 5552596 WITH SCORE 5558443.17
AT ITER 849 NEW BEST:: SOT 11259743 SOS 5846926 HAS SOPS 5846926 HAS SOUS 5552190 HAS SOUPS 5552190 WITH SCORE 5558036.926
AT ITER 851 NEW BEST:: SOT 11256565 SOS 5857965 HAS SOPS 5857965 HAS SOUS 5549222 HAS SOUPS 5549222 WITH SCORE 5555079.965
AT ITER 856 NEW BEST:: SOT 11256414 SOS 5857698 HAS SOPS 5857698 HAS SOUS 5548969 HAS SOUPS 5548969 WITH SCORE 5554826.698
AT ITER 862 NEW BEST:: SOT 11253436 SOS 5855252 HAS SOPS 5855252 HAS SOUS 5546106 HAS SOUPS 5546106 WITH SCORE 5551961.252
AT ITER 865 NEW BEST:: SOT 11253436 SOS 5854858 HAS SOPS 5854858 HAS SOUS 5546106 HAS SOUPS 5546106 WITH SCORE 5551960.858
AT ITER 870 NEW BEST:: SOT 11253436 SOS 5854816 HAS SOPS 5854816 HAS SOUS 5546106 HAS SOUPS 5546106 WITH SCORE 5551960.816
AT ITER 874 NEW BEST:: SOT 11253880 SOS 5854644 HAS SOPS 5854644 HAS SOUS 5546039 HAS SOUPS 5546039 WITH SCORE 5551893.644
AT ITER 881 NEW BEST:: SOT 11253904 SOS 5854703 HAS SOPS 5854703 HAS SOUS 5546014 HAS SOUPS 5546014 WITH SCORE 5551868.703
AT ITER 888 NEW BEST:: SOT 11253727 SOS 5855272 HAS SOPS 5855272 HAS SOUS 5545837 HAS SOUPS 5545837 WITH SCORE 5551692.272
AT ITER 893 NEW BEST:: SOT 11251761 SOS 5854478 HAS SOPS 5854478 HAS SOUS 5544458 HAS SOUPS 5544458 WITH SCORE 5550312.478
AT ITER 895 NEW BEST:: SOT 11251761 SOS 5854202 HAS SOPS 5854202 HAS SOUS 5544458 HAS SOUPS 5544458 WITH SCORE 5550312.202
AT ITER 904 NEW BEST:: SOT 11251329 SOS 5853770 HAS SOPS 5853770 HAS SOUS 5544272 HAS SOUPS 5544272 WITH SCORE 5550125.77
AT ITER 908 NEW BEST:: SOT 11251329 SOS 5853289 HAS SOPS 5853289 HAS SOUS 5544272 HAS SOUPS 5544272 WITH SCORE 5550125.289
AT ITER 915 NEW BEST:: SOT 11251329 SOS 5853260 HAS SOPS 5853260 HAS SOUS 5544272 HAS SOUPS 5544272 WITH SCORE 5550125.26
AT ITER 920 NEW BEST:: SOT 11251329 SOS 5852730 HAS SOPS 5852730 HAS SOUS 5544272 HAS SOUPS 5544272 WITH SCORE 5550124.73
AT ITER 924 NEW BEST:: SOT 11251329 SOS 5851363 HAS SOPS 5851363 HAS SOUS 5542905 HAS SOUPS 5542905 WITH SCORE 5548756.363
AT ITER 925 NEW BEST:: SOT 11251439 SOS 5851376 HAS SOPS 5851376 HAS SOUS 5542666 HAS SOUPS 5542666 WITH SCORE 5548517.376
AT ITER 933 NEW BEST:: SOT 11251671 SOS 5851574 HAS SOPS 5851574 HAS SOUS 5542640 HAS SOUPS 5542640 WITH SCORE 5548491.574
AT ITER 935 NEW BEST:: SOT 11250190 SOS 5850093 HAS SOPS 5850093 HAS SOUS 5541159 HAS SOUPS 5541159 WITH SCORE 5547009.093
AT ITER 937 NEW BEST:: SOT 11249286 SOS 5848285 HAS SOPS 5848285 HAS SOUS 5539351 HAS SOUPS 5539351 WITH SCORE 5545199.285
AT ITER 942 NEW BEST:: SOT 11245243 SOS 5862025 HAS SOPS 5862025 HAS SOUS 5537107 HAS SOUPS 5537107 WITH SCORE 5542969.025
AT ITER 946 NEW BEST:: SOT 11245243 SOS 5861886 HAS SOPS 5861886 HAS SOUS 5537107 HAS SOUPS 5537107 WITH SCORE 5542968.886
AT ITER 949 NEW BEST:: SOT 11245243 SOS 5852608 HAS SOPS 5852608 HAS SOUS 5535857 HAS SOUPS 5535857 WITH SCORE 5541709.608
AT ITER 950 NEW BEST:: SOT 11245243 SOS 5850954 HAS SOPS 5850954 HAS SOUS 5535616 HAS SOUPS 5535616 WITH SCORE 5541466.954
AT ITER 951 NEW BEST:: SOT 11244814 SOS 5850631 HAS SOPS 5850631 HAS SOUS 5535187 HAS SOUPS 5535187 WITH SCORE 5541037.631
AT ITER 954 NEW BEST:: SOT 11244814 SOS 5850469 HAS SOPS 5850469 HAS SOUS 5535187 HAS SOUPS 5535187 WITH SCORE 5541037.469
AT ITER 958 NEW BEST:: SOT 11244814 SOS 5849894 HAS SOPS 5849894 HAS SOUS 5535187 HAS SOUPS 5535187 WITH SCORE 5541036.894
AT ITER 961 NEW BEST:: SOT 11244058 SOS 5855324 HAS SOPS 5855324 HAS SOUS 5535178 HAS SOUPS 5535178 WITH SCORE 5541033.324
AT ITER 971 NEW BEST:: SOT 11239163 SOS 5880709 HAS SOPS 5880709 HAS SOUS 5534238 HAS SOUPS 5534238 WITH SCORE 5540118.709
AT ITER 973 NEW BEST:: SOT 11237176 SOS 5879119 HAS SOPS 5879119 HAS SOUS 5532575 HAS SOUPS 5532575 WITH SCORE 5538454.119
AT ITER 979 NEW BEST:: SOT 11237176 SOS 5878953 HAS SOPS 5878953 HAS SOUS 5532575 HAS SOUPS 5532575 WITH SCORE 5538453.953
AT ITER 982 NEW BEST:: SOT 11236851 SOS 5880752 HAS SOPS 5880752 HAS SOUS 5532250 HAS SOUPS 5532250 WITH SCORE 5538130.752
AT ITER 987 NEW BEST:: SOT 11236067 SOS 5885480 HAS SOPS 5885480 HAS SOUS 5532122 HAS SOUPS 5532122 WITH SCORE 5538007.48
AT ITER 994 NEW BEST:: SOT 11234681 SOS 5885352 HAS SOPS 5885352 HAS SOUS 5531746 HAS SOUPS 5531746 WITH SCORE 5537631.352
AT ITER 1000 NEW BEST:: SOT 11234681 SOS 5884627 HAS SOPS 5884627 HAS SOUS 5531746 HAS SOUPS 5531746 WITH SCORE 5537630.627
AT ITER 1020 NEW BEST:: SOT 11234749 SOS 5884121 HAS SOPS 5884121 HAS SOUS 5531579 HAS SOUPS 5531579 WITH SCORE 5537463.121
AT ITER 1023 NEW BEST:: SOT 11234479 SOS 5886502 HAS SOPS 5886502 HAS SOUS 5531492 HAS SOUPS 5531492 WITH SCORE 5537378.502
AT ITER 1026 NEW BEST:: SOT 11234581 SOS 5886712 HAS SOPS 5886712 HAS SOUS 5531436 HAS SOUPS 5531436 WITH SCORE 5537322.712
AT ITER 1027 NEW BEST:: SOT 11234958 SOS 5885201 HAS SOPS 5885201 HAS SOUS 5530241 HAS SOUPS 5530241 WITH SCORE 5536126.201
AT ITER 1036 NEW BEST:: SOT 11234958 SOS 5883549 HAS SOPS 5883549 HAS SOUS 5530035 HAS SOUPS 5530035 WITH SCORE 5535918.549
AT ITER 1043 NEW BEST:: SOT 11234048 SOS 5882639 HAS SOPS 5882639 HAS SOUS 5529125 HAS SOUPS 5529125 WITH SCORE 5535007.639
AT ITER 1047 NEW BEST:: SOT 11234048 SOS 5880852 HAS SOPS 5880852 HAS SOUS 5529125 HAS SOUPS 5529125 WITH SCORE 5535005.852
AT ITER 1050 NEW BEST:: SOT 11234165 SOS 5880883 HAS SOPS 5880883 HAS SOUS 5528960 HAS SOUPS 5528960 WITH SCORE 5534840.883
AT ITER 1051 NEW BEST:: SOT 11234165 SOS 5880476 HAS SOPS 5880476 HAS SOUS 5528960 HAS SOUPS 5528960 WITH SCORE 5534840.476
AT ITER 1059 NEW BEST:: SOT 11234165 SOS 5880476 HAS SOPS 5880476 HAS SOUS 5528824 HAS SOUPS 5528824 WITH SCORE 5534704.476
AT ITER 1068 NEW BEST:: SOT 11233409 SOS 5884908 HAS SOPS 5884908 HAS SOUS 5528672 HAS SOUPS 5528672 WITH SCORE 5534556.908
AT ITER 1071 NEW BEST:: SOT 11233409 SOS 5884667 HAS SOPS 5884667 HAS SOUS 5528672 HAS SOUPS 5528672 WITH SCORE 5534556.667
AT ITER 1072 NEW BEST:: SOT 11232975 SOS 5885013 HAS SOPS 5885013 HAS SOUS 5528272 HAS SOUPS 5528272 WITH SCORE 5534157.013
AT ITER 1074 NEW BEST:: SOT 11232261 SOS 5884358 HAS SOPS 5884358 HAS SOUS 5527558 HAS SOUPS 5527558 WITH SCORE 5533442.358
AT ITER 1079 NEW BEST:: SOT 11229825 SOS 5884960 HAS SOPS 5884960 HAS SOUS 5526571 HAS SOUPS 5526571 WITH SCORE 5532455.96
AT ITER 1082 NEW BEST:: SOT 11229825 SOS 5884852 HAS SOPS 5884852 HAS SOUS 5526571 HAS SOUPS 5526571 WITH SCORE 5532455.852
AT ITER 1083 NEW BEST:: SOT 11229825 SOS 5884100 HAS SOPS 5884100 HAS SOUS 5526571 HAS SOUPS 5526571 WITH SCORE 5532455.1
AT ITER 1085 NEW BEST:: SOT 11229825 SOS 5883944 HAS SOPS 5883944 HAS SOUS 5526571 HAS SOUPS 5526571 WITH SCORE 5532454.944
AT ITER 1086 NEW BEST:: SOT 11226072 SOS 5906701 HAS SOPS 5906701 HAS SOUS 5525095 HAS SOUPS 5525095 WITH SCORE 5531001.701
AT ITER 1088 NEW BEST:: SOT 11222147 SOS 5904937 HAS SOPS 5904937 HAS SOUS 5521500 HAS SOUPS 5521500 WITH SCORE 5527404.937
AT ITER 1091 NEW BEST:: SOT 11222147 SOS 5904204 HAS SOPS 5904204 HAS SOUS 5521500 HAS SOUPS 5521500 WITH SCORE 5527404.204
AT ITER 1094 NEW BEST:: SOT 11221985 SOS 5907526 HAS SOPS 5907526 HAS SOUS 5521426 HAS SOUPS 5521426 WITH SCORE 5527333.526
AT ITER 1101 NEW BEST:: SOT 11221119 SOS 5906948 HAS SOPS 5906948 HAS SOUS 5520838 HAS SOUPS 5520838 WITH SCORE 5526744.948
AT ITER 1105 NEW BEST:: SOT 11221119 SOS 5905813 HAS SOPS 5905813 HAS SOUS 5520838 HAS SOUPS 5520838 WITH SCORE 5526743.813
AT ITER 1110 NEW BEST:: SOT 11220335 SOS 5905530 HAS SOPS 5905530 HAS SOUS 5520123 HAS SOUPS 5520123 WITH SCORE 5526028.53
AT ITER 1119 NEW BEST:: SOT 11220335 SOS 5904852 HAS SOPS 5904852 HAS SOUS 5520123 HAS SOUPS 5520123 WITH SCORE 5526027.852
AT ITER 1125 NEW BEST:: SOT 11220335 SOS 5904728 HAS SOPS 5904728 HAS SOUS 5520123 HAS SOUPS 5520123 WITH SCORE 5526027.728
AT ITER 1128 NEW BEST:: SOT 11220335 SOS 5899736 HAS SOPS 5899736 HAS SOUS 5520123 HAS SOUPS 5520123 WITH SCORE 5526022.736
AT ITER 1130 NEW BEST:: SOT 11216968 SOS 5923889 HAS SOPS 5923889 HAS SOUS 5517783 HAS SOUPS 5517783 WITH SCORE 5523706.889
AT ITER 1136 NEW BEST:: SOT 11216968 SOS 5923662 HAS SOPS 5923662 HAS SOUS 5517783 HAS SOUPS 5517783 WITH SCORE 5523706.662
AT ITER 1144 NEW BEST:: SOT 11216968 SOS 5922935 HAS SOPS 5922935 HAS SOUS 5517783 HAS SOUPS 5517783 WITH SCORE 5523705.935
AT ITER 1146 NEW BEST:: SOT 11216968 SOS 5922486 HAS SOPS 5922486 HAS SOUS 5517783 HAS SOUPS 5517783 WITH SCORE 5523705.486
AT ITER 1150 NEW BEST:: SOT 11213585 SOS 5919721 HAS SOPS 5919721 HAS SOUS 5514555 HAS SOUPS 5514555 WITH SCORE 5520474.721
AT ITER 1151 NEW BEST:: SOT 11214036 SOS 5919457 HAS SOPS 5919457 HAS SOUS 5513998 HAS SOUPS 5513998 WITH SCORE 5519917.457
AT ITER 1153 NEW BEST:: SOT 11211046 SOS 5918259 HAS SOPS 5918259 HAS SOUS 5511405 HAS SOUPS 5511405 WITH SCORE 5517323.259
AT ITER 1154 NEW BEST:: SOT 11211046 SOS 5917553 HAS SOPS 5917553 HAS SOUS 5511405 HAS SOUPS 5511405 WITH SCORE 5517322.553
AT ITER 1160 NEW BEST:: SOT 11210780 SOS 5918361 HAS SOPS 5918361 HAS SOUS 5511373 HAS SOUPS 5511373 WITH SCORE 5517291.361
AT ITER 1162 NEW BEST:: SOT 11210899 SOS 5918362 HAS SOPS 5918362 HAS SOUS 5511192 HAS SOUPS 5511192 WITH SCORE 5517110.362
AT ITER 1174 NEW BEST:: SOT 11209020 SOS 5916785 HAS SOPS 5916785 HAS SOUS 5509801 HAS SOUPS 5509801 WITH SCORE 5515717.785
AT ITER 1178 NEW BEST:: SOT 11207537 SOS 5919300 HAS SOPS 5919300 HAS SOUS 5509076 HAS SOUPS 5509076 WITH SCORE 5514995.3
AT ITER 1179 NEW BEST:: SOT 11206093 SOS 5918242 HAS SOPS 5918242 HAS SOUS 5507945 HAS SOUPS 5507945 WITH SCORE 5513863.242
AT ITER 1182 NEW BEST:: SOT 11205539 SOS 5918117 HAS SOPS 5918117 HAS SOUS 5507391 HAS SOUPS 5507391 WITH SCORE 5513309.117
AT ITER 1183 NEW BEST:: SOT 11201740 SOS 5915554 HAS SOPS 5915554 HAS SOUS 5504023 HAS SOUPS 5504023 WITH SCORE 5509938.554
AT ITER 1192 NEW BEST:: SOT 11198249 SOS 5915530 HAS SOPS 5915530 HAS SOUS 5500950 HAS SOUPS 5500950 WITH SCORE 5506865.53
AT ITER 1195 NEW BEST:: SOT 11198153 SOS 5915141 HAS SOPS 5915141 HAS SOUS 5500898 HAS SOUPS 5500898 WITH SCORE 5506813.141
AT ITER 1197 NEW BEST:: SOT 11197971 SOS 5914807 HAS SOPS 5914807 HAS SOUS 5500717 HAS SOUPS 5500717 WITH SCORE 5506631.807
AT ITER 1198 NEW BEST:: SOT 11197971 SOS 5914198 HAS SOPS 5914198 HAS SOUS 5500717 HAS SOUPS 5500717 WITH SCORE 5506631.198
AT ITER 1199 NEW BEST:: SOT 11197971 SOS 5913683 HAS SOPS 5913683 HAS SOUS 5500717 HAS SOUPS 5500717 WITH SCORE 5506630.683
AT ITER 1200 NEW BEST:: SOT 11198096 SOS 5912086 HAS SOPS 5912086 HAS SOUS 5498882 HAS SOUPS 5498882 WITH SCORE 5504794.086
AT ITER 1210 NEW BEST:: SOT 11198096 SOS 5911338 HAS SOPS 5911338 HAS SOUS 5498882 HAS SOUPS 5498882 WITH SCORE 5504793.338
AT ITER 1216 NEW BEST:: SOT 11194770 SOS 5909382 HAS SOPS 5909382 HAS SOUS 5495833 HAS SOUPS 5495833 WITH SCORE 5501742.382
AT ITER 1219 NEW BEST:: SOT 11194770 SOS 5909254 HAS SOPS 5909254 HAS SOUS 5495833 HAS SOUPS 5495833 WITH SCORE 5501742.254
AT ITER 1224 NEW BEST:: SOT 11194198 SOS 5908661 HAS SOPS 5908661 HAS SOUS 5495240 HAS SOUPS 5495240 WITH SCORE 5501148.661
AT ITER 1226 NEW BEST:: SOT 11194198 SOS 5908489 HAS SOPS 5908489 HAS SOUS 5495240 HAS SOUPS 5495240 WITH SCORE 5501148.489
AT ITER 1238 NEW BEST:: SOT 11194198 SOS 5908190 HAS SOPS 5908190 HAS SOUS 5495240 HAS SOUPS 5495240 WITH SCORE 5501148.19
AT ITER 1240 NEW BEST:: SOT 11194198 SOS 5906885 HAS SOPS 5906885 HAS SOUS 5495240 HAS SOUPS 5495240 WITH SCORE 5501146.885
AT ITER 1248 NEW BEST:: SOT 11193483 SOS 5906170 HAS SOPS 5906170 HAS SOUS 5494525 HAS SOUPS 5494525 WITH SCORE 5500431.17
AT ITER 1249 NEW BEST:: SOT 11193483 SOS 5905683 HAS SOPS 5905683 HAS SOUS 5494525 HAS SOUPS 5494525 WITH SCORE 5500430.683
AT ITER 1265 NEW BEST:: SOT 11193483 SOS 5904953 HAS SOPS 5904953 HAS SOUS 5493929 HAS SOUPS 5493929 WITH SCORE 5499833.953
AT ITER 1266 NEW BEST:: SOT 11193483 SOS 5904771 HAS SOPS 5904771 HAS SOUS 5493929 HAS SOUPS 5493929 WITH SCORE 5499833.771
AT ITER 1267 NEW BEST:: SOT 11193483 SOS 5904644 HAS SOPS 5904644 HAS SOUS 5493929 HAS SOUPS 5493929 WITH SCORE 5499833.644
AT ITER 1270 NEW BEST:: SOT 11192968 SOS 5904129 HAS SOPS 5904129 HAS SOUS 5493414 HAS SOUPS 5493414 WITH SCORE 5499318.129
AT ITER 1283 NEW BEST:: SOT 11192968 SOS 5904000 HAS SOPS 5904000 HAS SOUS 5493414 HAS SOUPS 5493414 WITH SCORE 5499318.0
AT ITER 1286 NEW BEST:: SOT 11191862 SOS 5903152 HAS SOPS 5903152 HAS SOUS 5492504 HAS SOUPS 5492504 WITH SCORE 5498407.152
AT ITER 1296 NEW BEST:: SOT 11191862 SOS 5903136 HAS SOPS 5903136 HAS SOUS 5492504 HAS SOUPS 5492504 WITH SCORE 5498407.136
AT ITER 1305 NEW BEST:: SOT 11191862 SOS 5902843 HAS SOPS 5902843 HAS SOUS 5492504 HAS SOUPS 5492504 WITH SCORE 5498406.843
AT ITER 1314 NEW BEST:: SOT 11191372 SOS 5914278 HAS SOPS 5914278 HAS SOUS 5492189 HAS SOUPS 5492189 WITH SCORE 5498103.278
AT ITER 1331 NEW BEST:: SOT 11190266 SOS 5913938 HAS SOPS 5913938 HAS SOUS 5491743 HAS SOUPS 5491743 WITH SCORE 5497656.938
AT ITER 1335 NEW BEST:: SOT 11190266 SOS 5913330 HAS SOPS 5913330 HAS SOUS 5491743 HAS SOUPS 5491743 WITH SCORE 5497656.33
AT ITER 1336 NEW BEST:: SOT 11190266 SOS 5912261 HAS SOPS 5912261 HAS SOUS 5491743 HAS SOUPS 5491743 WITH SCORE 5497655.261
AT ITER 1344 NEW BEST:: SOT 11189552 SOS 5911949 HAS SOPS 5911949 HAS SOUS 5491029 HAS SOUPS 5491029 WITH SCORE 5496940.949
AT ITER 1346 NEW BEST:: SOT 11187743 SOS 5911235 HAS SOPS 5911235 HAS SOUS 5490109 HAS SOUPS 5490109 WITH SCORE 5496020.235
AT ITER 1348 NEW BEST:: SOT 11187690 SOS 5910972 HAS SOPS 5910972 HAS SOUS 5489898 HAS SOUPS 5489898 WITH SCORE 5495808.972
AT ITER 1350 NEW BEST:: SOT 11187155 SOS 5911444 HAS SOPS 5911444 HAS SOUS 5488444 HAS SOUPS 5488444 WITH SCORE 5494355.444
AT ITER 1360 NEW BEST:: SOT 11186084 SOS 5912557 HAS SOPS 5912557 HAS SOUS 5487449 HAS SOUPS 5487449 WITH SCORE 5493361.557
AT ITER 1370 NEW BEST:: SOT 11185681 SOS 5912837 HAS SOPS 5912837 HAS SOUS 5487046 HAS SOUPS 5487046 WITH SCORE 5492958.837
AT ITER 1373 NEW BEST:: SOT 11185681 SOS 5919172 HAS SOPS 5919172 HAS SOUS 5486430 HAS SOUPS 5486430 WITH SCORE 5492349.172
AT ITER 1379 NEW BEST:: SOT 11183544 SOS 5917300 HAS SOPS 5917300 HAS SOUS 5484526 HAS SOUPS 5484526 WITH SCORE 5490443.3
AT ITER 1381 NEW BEST:: SOT 11182956 SOS 5917406 HAS SOPS 5917406 HAS SOUS 5484033 HAS SOUPS 5484033 WITH SCORE 5489950.406
AT ITER 1383 NEW BEST:: SOT 11179515 SOS 5921680 HAS SOPS 5921680 HAS SOUS 5481523 HAS SOUPS 5481523 WITH SCORE 5487444.68
AT ITER 1390 NEW BEST:: SOT 11179758 SOS 5921865 HAS SOPS 5921865 HAS SOUS 5481512 HAS SOUPS 5481512 WITH SCORE 5487433.865
AT ITER 1392 NEW BEST:: SOT 11179447 SOS 5921554 HAS SOPS 5921554 HAS SOUS 5480761 HAS SOUPS 5480761 WITH SCORE 5486682.554
AT ITER 1394 NEW BEST:: SOT 11179447 SOS 5921317 HAS SOPS 5921317 HAS SOUS 5480761 HAS SOUPS 5480761 WITH SCORE 5486682.317
AT ITER 1407 NEW BEST:: SOT 11174840 SOS 5945324 HAS SOPS 5945324 HAS SOUS 5479367 HAS SOUPS 5479367 WITH SCORE 5485312.324
AT ITER 1408 NEW BEST:: SOT 11173174 SOS 5944589 HAS SOPS 5944589 HAS SOUS 5477893 HAS SOUPS 5477893 WITH SCORE 5483837.589
AT ITER 1420 NEW BEST:: SOT 11171704 SOS 5953593 HAS SOPS 5953593 HAS SOUS 5476491 HAS SOUPS 5476491 WITH SCORE 5482444.593
AT ITER 1424 NEW BEST:: SOT 11171704 SOS 5952753 HAS SOPS 5952753 HAS SOUS 5476491 HAS SOUPS 5476491 WITH SCORE 5482443.753
AT ITER 1425 NEW BEST:: SOT 11171704 SOS 5951119 HAS SOPS 5951119 HAS SOUS 5476491 HAS SOUPS 5476491 WITH SCORE 5482442.119
AT ITER 1436 NEW BEST:: SOT 11171704 SOS 5950681 HAS SOPS 5950681 HAS SOUS 5476491 HAS SOUPS 5476491 WITH SCORE 5482441.681
AT ITER 1438 NEW BEST:: SOT 11169411 SOS 5953229 HAS SOPS 5953229 HAS SOUS 5475135 HAS SOUPS 5475135 WITH SCORE 5481088.229
AT ITER 1441 NEW BEST:: SOT 11169411 SOS 5952133 HAS SOPS 5952133 HAS SOUS 5475135 HAS SOUPS 5475135 WITH SCORE 5481087.133
AT ITER 1442 NEW BEST:: SOT 11167080 SOS 5951943 HAS SOPS 5951943 HAS SOUS 5473417 HAS SOUPS 5473417 WITH SCORE 5479368.943
AT ITER 1443 NEW BEST:: SOT 11166268 SOS 5952017 HAS SOPS 5952017 HAS SOUS 5472814 HAS SOUPS 5472814 WITH SCORE 5478766.017
AT ITER 1444 NEW BEST:: SOT 11166192 SOS 5951941 HAS SOPS 5951941 HAS SOUS 5472632 HAS SOUPS 5472632 WITH SCORE 5478583.941
AT ITER 1447 NEW BEST:: SOT 11165889 SOS 5968054 HAS SOPS 5968054 HAS SOUS 5472479 HAS SOUPS 5472479 WITH SCORE 5478447.054
AT ITER 1453 NEW BEST:: SOT 11165889 SOS 5966575 HAS SOPS 5966575 HAS SOUS 5472479 HAS SOUPS 5472479 WITH SCORE 5478445.575
AT ITER 1454 NEW BEST:: SOT 11165889 SOS 5966367 HAS SOPS 5966367 HAS SOUS 5472479 HAS SOUPS 5472479 WITH SCORE 5478445.367
AT ITER 1457 NEW BEST:: SOT 11162535 SOS 5988809 HAS SOPS 5988809 HAS SOUS 5472199 HAS SOUPS 5472199 WITH SCORE 5478187.809
AT ITER 1460 NEW BEST:: SOT 11158155 SOS 6001032 HAS SOPS 6001032 HAS SOUS 5468027 HAS SOUPS 5468027 WITH SCORE 5474028.032
AT ITER 1467 NEW BEST:: SOT 11155261 SOS 5998151 HAS SOPS 5998151 HAS SOUS 5465133 HAS SOUPS 5465133 WITH SCORE 5471131.151
AT ITER 1482 NEW BEST:: SOT 11155261 SOS 5998151 HAS SOPS 5998151 HAS SOUS 5465079 HAS SOUPS 5465079 WITH SCORE 5471077.151
AT ITER 1484 NEW BEST:: SOT 11154553 SOS 5998048 HAS SOPS 5998048 HAS SOUS 5464976 HAS SOUPS 5464976 WITH SCORE 5470974.048
AT ITER 1485 NEW BEST:: SOT 11150634 SOS 6015198 HAS SOPS 6015198 HAS SOUS 5463367 HAS SOUPS 5463367 WITH SCORE 5469382.198
AT ITER 1489 NEW BEST:: SOT 11147737 SOS 6012546 HAS SOPS 6012546 HAS SOUS 5460533 HAS SOUPS 5460533 WITH SCORE 5466545.546
AT ITER 1491 NEW BEST:: SOT 11145917 SOS 6012269 HAS SOPS 6012269 HAS SOUS 5458033 HAS SOUPS 5458033 WITH SCORE 5464045.269
AT ITER 1493 NEW BEST:: SOT 11145917 SOS 6011676 HAS SOPS 6011676 HAS SOUS 5458033 HAS SOUPS 5458033 WITH SCORE 5464044.676
AT ITER 1495 NEW BEST:: SOT 11145917 SOS 6011671 HAS SOPS 6011671 HAS SOUS 5458028 HAS SOUPS 5458028 WITH SCORE 5464039.671
AT ITER 1498 NEW BEST:: SOT 11145917 SOS 6011630 HAS SOPS 6011630 HAS SOUS 5457987 HAS SOUPS 5457987 WITH SCORE 5463998.63
AT ITER 1499 NEW BEST:: SOT 11145917 SOS 6004866 HAS SOPS 6004866 HAS SOUS 5457987 HAS SOUPS 5457987 WITH SCORE 5463991.866
AT ITER 1503 NEW BEST:: SOT 11145917 SOS 6004500 HAS SOPS 6004500 HAS SOUS 5457987 HAS SOUPS 5457987 WITH SCORE 5463991.5
AT ITER 1507 NEW BEST:: SOT 11144810 SOS 6004361 HAS SOPS 6004361 HAS SOUS 5457035 HAS SOUPS 5457035 WITH SCORE 5463039.361
AT ITER 1509 NEW BEST:: SOT 11143465 SOS 6003016 HAS SOPS 6003016 HAS SOUS 5455690 HAS SOUPS 5455690 WITH SCORE 5461693.016
AT ITER 1514 NEW BEST:: SOT 11143465 SOS 6002610 HAS SOPS 6002610 HAS SOUS 5455690 HAS SOUPS 5455690 WITH SCORE 5461692.61
AT ITER 1515 NEW BEST:: SOT 11143465 SOS 6002610 HAS SOPS 6002610 HAS SOUS 5455473 HAS SOUPS 5455473 WITH SCORE 5461475.61
AT ITER 1527 NEW BEST:: SOT 11143321 SOS 6002466 HAS SOPS 6002466 HAS SOUS 5455329 HAS SOUPS 5455329 WITH SCORE 5461331.466
AT ITER 1532 NEW BEST:: SOT 11143321 SOS 5999857 HAS SOPS 5999857 HAS SOUS 5455329 HAS SOUPS 5455329 WITH SCORE 5461328.857
AT ITER 1535 NEW BEST:: SOT 11142974 SOS 5999510 HAS SOPS 5999510 HAS SOUS 5454982 HAS SOUPS 5454982 WITH SCORE 5460981.51
AT ITER 1537 NEW BEST:: SOT 11142974 SOS 5998743 HAS SOPS 5998743 HAS SOUS 5454822 HAS SOUPS 5454822 WITH SCORE 5460820.743
AT ITER 1540 NEW BEST:: SOT 11142974 SOS 5998258 HAS SOPS 5998258 HAS SOUS 5454822 HAS SOUPS 5454822 WITH SCORE 5460820.258
AT ITER 1544 NEW BEST:: SOT 11142974 SOS 5996658 HAS SOPS 5996658 HAS SOUS 5454822 HAS SOUPS 5454822 WITH SCORE 5460818.658
AT ITER 1553 NEW BEST:: SOT 11142974 SOS 5995001 HAS SOPS 5995001 HAS SOUS 5454577 HAS SOUPS 5454577 WITH SCORE 5460572.001
AT ITER 1558 NEW BEST:: SOT 11139327 SOS 6000736 HAS SOPS 6000736 HAS SOUS 5453194 HAS SOUPS 5453194 WITH SCORE 5459194.736
AT ITER 1567 NEW BEST:: SOT 11139327 SOS 6000573 HAS SOPS 6000573 HAS SOUS 5453194 HAS SOUPS 5453194 WITH SCORE 5459194.573
AT ITER 1570 NEW BEST:: SOT 11136237 SOS 5998613 HAS SOPS 5998613 HAS SOUS 5450155 HAS SOUPS 5450155 WITH SCORE 5456153.613
AT ITER 1571 NEW BEST:: SOT 11135968 SOS 5996747 HAS SOPS 5996747 HAS SOUS 5449682 HAS SOUPS 5449682 WITH SCORE 5455678.747
AT ITER 1572 NEW BEST:: SOT 11134678 SOS 5997997 HAS SOPS 5997997 HAS SOUS 5449508 HAS SOUPS 5449508 WITH SCORE 5455505.997
AT ITER 1573 NEW BEST:: SOT 11134514 SOS 5997637 HAS SOPS 5997637 HAS SOUS 5449057 HAS SOUPS 5449057 WITH SCORE 5455054.637
AT ITER 1574 NEW BEST:: SOT 11134514 SOS 5997261 HAS SOPS 5997261 HAS SOUS 5449057 HAS SOUPS 5449057 WITH SCORE 5455054.261
AT ITER 1575 NEW BEST:: SOT 11134514 SOS 5995988 HAS SOPS 5995988 HAS SOUS 5448649 HAS SOUPS 5448649 WITH SCORE 5454644.988
AT ITER 1576 NEW BEST:: SOT 11134514 SOS 5988312 HAS SOPS 5988312 HAS SOUS 5446979 HAS SOUPS 5446979 WITH SCORE 5452967.312
AT ITER 1577 NEW BEST:: SOT 11131452 SOS 5999878 HAS SOPS 5999878 HAS SOUS 5446257 HAS SOUPS 5446257 WITH SCORE 5452256.878
AT ITER 1579 NEW BEST:: SOT 11131452 SOS 5998658 HAS SOPS 5998658 HAS SOUS 5446257 HAS SOUPS 5446257 WITH SCORE 5452255.658
AT ITER 1582 NEW BEST:: SOT 11131452 SOS 5997942 HAS SOPS 5997942 HAS SOUS 5445466 HAS SOUPS 5445466 WITH SCORE 5451463.942
AT ITER 1590 NEW BEST:: SOT 11130334 SOS 5999706 HAS SOPS 5999706 HAS SOUS 5445304 HAS SOUPS 5445304 WITH SCORE 5451303.706
AT ITER 1594 NEW BEST:: SOT 11130334 SOS 5998607 HAS SOPS 5998607 HAS SOUS 5445304 HAS SOUPS 5445304 WITH SCORE 5451302.607
AT ITER 1597 NEW BEST:: SOT 11130072 SOS 6000412 HAS SOPS 6000412 HAS SOUS 5445053 HAS SOUPS 5445053 WITH SCORE 5451053.412
AT ITER 1600 NEW BEST:: SOT 11130072 SOS 5998330 HAS SOPS 5998330 HAS SOUS 5444878 HAS SOUPS 5444878 WITH SCORE 5450876.33
AT ITER 1605 NEW BEST:: SOT 11128946 SOS 6000252 HAS SOPS 6000252 HAS SOUS 5444461 HAS SOUPS 5444461 WITH SCORE 5450461.252
AT ITER 1609 NEW BEST:: SOT 11128946 SOS 5999875 HAS SOPS 5999875 HAS SOUS 5444461 HAS SOUPS 5444461 WITH SCORE 5450460.875
AT ITER 1614 NEW BEST:: SOT 11128946 SOS 5999889 HAS SOPS 5999889 HAS SOUS 5444443 HAS SOUPS 5444443 WITH SCORE 5450442.889
AT ITER 1621 NEW BEST:: SOT 11128946 SOS 5999507 HAS SOPS 5999507 HAS SOUS 5444443 HAS SOUPS 5444443 WITH SCORE 5450442.507
AT ITER 1638 NEW BEST:: SOT 11126864 SOS 6000227 HAS SOPS 6000227 HAS SOUS 5442361 HAS SOUPS 5442361 WITH SCORE 5448361.227
AT ITER 1641 NEW BEST:: SOT 11126264 SOS 6000275 HAS SOPS 6000275 HAS SOUS 5441761 HAS SOUPS 5441761 WITH SCORE 5447761.275
AT ITER 1645 NEW BEST:: SOT 11126040 SOS 6000259 HAS SOPS 6000259 HAS SOUS 5441745 HAS SOUPS 5441745 WITH SCORE 5447745.259
AT ITER 1648 NEW BEST:: SOT 11123968 SOS 6001294 HAS SOPS 6001294 HAS SOUS 5439673 HAS SOUPS 5439673 WITH SCORE 5445674.294
AT ITER 1652 NEW BEST:: SOT 11124216 SOS 6001563 HAS SOPS 6001563 HAS SOUS 5439592 HAS SOUPS 5439592 WITH SCORE 5445593.563
AT ITER 1653 NEW BEST:: SOT 11122735 SOS 6006167 HAS SOPS 6006167 HAS SOUS 5439051 HAS SOUPS 5439051 WITH SCORE 5445057.167
AT ITER 1657 NEW BEST:: SOT 11122735 SOS 6005676 HAS SOPS 6005676 HAS SOUS 5439051 HAS SOUPS 5439051 WITH SCORE 5445056.676
AT ITER 1659 NEW BEST:: SOT 11122641 SOS 6005613 HAS SOPS 6005613 HAS SOUS 5438988 HAS SOUPS 5438988 WITH SCORE 5444993.613
AT ITER 1660 NEW BEST:: SOT 11120045 SOS 6004996 HAS SOPS 6004996 HAS SOUS 5436627 HAS SOUPS 5436627 WITH SCORE 5442631.996
AT ITER 1661 NEW BEST:: SOT 11119218 SOS 6007473 HAS SOPS 6007473 HAS SOUS 5435800 HAS SOUPS 5435800 WITH SCORE 5441807.473
AT ITER 1666 NEW BEST:: SOT 11119218 SOS 6006703 HAS SOPS 6006703 HAS SOUS 5435715 HAS SOUPS 5435715 WITH SCORE 5441721.703
AT ITER 1671 NEW BEST:: SOT 11117479 SOS 6018392 HAS SOPS 6018392 HAS SOUS 5434603 HAS SOUPS 5434603 WITH SCORE 5440621.392
AT ITER 1672 NEW BEST:: SOT 11117479 SOS 6017189 HAS SOPS 6017189 HAS SOUS 5434603 HAS SOUPS 5434603 WITH SCORE 5440620.189
AT ITER 1673 NEW BEST:: SOT 11117432 SOS 6016667 HAS SOPS 6016667 HAS SOUS 5434563 HAS SOUPS 5434563 WITH SCORE 5440579.667
AT ITER 1675 NEW BEST:: SOT 11117432 SOS 6016551 HAS SOPS 6016551 HAS SOUS 5434563 HAS SOUPS 5434563 WITH SCORE 5440579.551
AT ITER 1676 NEW BEST:: SOT 11117577 SOS 6015772 HAS SOPS 6015772 HAS SOUS 5433532 HAS SOUPS 5433532 WITH SCORE 5439547.772
AT ITER 1688 NEW BEST:: SOT 11117577 SOS 6015363 HAS SOPS 6015363 HAS SOUS 5433532 HAS SOUPS 5433532 WITH SCORE 5439547.363
AT ITER 1689 NEW BEST:: SOT 11114652 SOS 6036141 HAS SOPS 6036141 HAS SOUS 5433403 HAS SOUPS 5433403 WITH SCORE 5439439.141
AT ITER 1694 NEW BEST:: SOT 11111428 SOS 6034544 HAS SOPS 6034544 HAS SOUS 5430477 HAS SOUPS 5430477 WITH SCORE 5436511.544
AT ITER 1697 NEW BEST:: SOT 11108009 SOS 6066372 HAS SOPS 6066372 HAS SOUS 5429575 HAS SOUPS 5429575 WITH SCORE 5435641.372
AT ITER 1700 NEW BEST:: SOT 11108009 SOS 6066273 HAS SOPS 6066273 HAS SOUS 5429575 HAS SOUPS 5429575 WITH SCORE 5435641.273
AT ITER 1708 NEW BEST:: SOT 11108446 SOS 6067582 HAS SOPS 6067582 HAS SOUS 5429557 HAS SOUPS 5429557 WITH SCORE 5435624.582
AT ITER 1722 NEW BEST:: SOT 11108429 SOS 6067565 HAS SOPS 6067565 HAS SOUS 5429540 HAS SOUPS 5429540 WITH SCORE 5435607.565
AT ITER 1729 NEW BEST:: SOT 11108429 SOS 6067412 HAS SOPS 6067412 HAS SOUS 5429540 HAS SOUPS 5429540 WITH SCORE 5435607.412
AT ITER 1733 NEW BEST:: SOT 11105505 SOS 6066043 HAS SOPS 6066043 HAS SOUS 5428065 HAS SOUPS 5428065 WITH SCORE 5434131.043
AT ITER 1735 NEW BEST:: SOT 11105505 SOS 6065122 HAS SOPS 6065122 HAS SOUS 5428065 HAS SOUPS 5428065 WITH SCORE 5434130.122
AT ITER 1736 NEW BEST:: SOT 11105505 SOS 6064800 HAS SOPS 6064800 HAS SOUS 5428065 HAS SOUPS 5428065 WITH SCORE 5434129.8
AT ITER 1737 NEW BEST:: SOT 11103918 SOS 6063199 HAS SOPS 6063199 HAS SOUS 5426258 HAS SOUPS 5426258 WITH SCORE 5432321.199
AT ITER 1744 NEW BEST:: SOT 11103025 SOS 6062266 HAS SOPS 6062266 HAS SOUS 5425436 HAS SOUPS 5425436 WITH SCORE 5431498.266
AT ITER 1745 NEW BEST:: SOT 11103176 SOS 6061362 HAS SOPS 6061362 HAS SOUS 5424266 HAS SOUPS 5424266 WITH SCORE 5430327.362
AT ITER 1753 NEW BEST:: SOT 11103176 SOS 6042494 HAS SOPS 6042494 HAS SOUS 5423268 HAS SOUPS 5423268 WITH SCORE 5429310.494
AT ITER 1755 NEW BEST:: SOT 11103176 SOS 6042024 HAS SOPS 6042024 HAS SOUS 5423268 HAS SOUPS 5423268 WITH SCORE 5429310.024
AT ITER 1758 NEW BEST:: SOT 11103176 SOS 6041401 HAS SOPS 6041401 HAS SOUS 5423250 HAS SOUPS 5423250 WITH SCORE 5429291.401
AT ITER 1759 NEW BEST:: SOT 11102470 SOS 6046685 HAS SOPS 6046685 HAS SOUS 5422628 HAS SOUPS 5422628 WITH SCORE 5428674.685
AT ITER 1760 NEW BEST:: SOT 11101251 SOS 6046522 HAS SOPS 6046522 HAS SOUS 5421863 HAS SOUPS 5421863 WITH SCORE 5427909.522
AT ITER 1767 NEW BEST:: SOT 11101206 SOS 6046477 HAS SOPS 6046477 HAS SOUS 5421686 HAS SOUPS 5421686 WITH SCORE 5427732.477
AT ITER 1768 NEW BEST:: SOT 11100745 SOS 6046063 HAS SOPS 6046063 HAS SOUS 5421323 HAS SOUPS 5421323 WITH SCORE 5427369.063
AT ITER 1770 NEW BEST:: SOT 11100745 SOS 6045937 HAS SOPS 6045937 HAS SOUS 5421323 HAS SOUPS 5421323 WITH SCORE 5427368.937
AT ITER 1777 NEW BEST:: SOT 11100745 SOS 6045217 HAS SOPS 6045217 HAS SOUS 5421323 HAS SOUPS 5421323 WITH SCORE 5427368.217
AT ITER 1780 NEW BEST:: SOT 11097374 SOS 6062411 HAS SOPS 6062411 HAS SOUS 5421134 HAS SOUPS 5421134 WITH SCORE 5427196.411
AT ITER 1781 NEW BEST:: SOT 11097677 SOS 6062466 HAS SOPS 6062466 HAS SOUS 5420597 HAS SOUPS 5420597 WITH SCORE 5426659.466
AT ITER 1790 NEW BEST:: SOT 11096649 SOS 6062220 HAS SOPS 6062220 HAS SOUS 5419569 HAS SOUPS 5419569 WITH SCORE 5425631.22
AT ITER 1807 NEW BEST:: SOT 11096791 SOS 6062047 HAS SOPS 6062047 HAS SOUS 5419451 HAS SOUPS 5419451 WITH SCORE 5425513.047
AT ITER 1808 NEW BEST:: SOT 11094293 SOS 6077316 HAS SOPS 6077316 HAS SOUS 5417573 HAS SOUPS 5417573 WITH SCORE 5423650.316
AT ITER 1816 NEW BEST:: SOT 11094521 SOS 6077461 HAS SOPS 6077461 HAS SOUS 5417480 HAS SOUPS 5417480 WITH SCORE 5423557.461
AT ITER 1818 NEW BEST:: SOT 11094015 SOS 6077554 HAS SOPS 6077554 HAS SOUS 5416974 HAS SOUPS 5416974 WITH SCORE 5423051.554
AT ITER 1826 NEW BEST:: SOT 11089163 SOS 6100568 HAS SOPS 6100568 HAS SOUS 5414929 HAS SOUPS 5414929 WITH SCORE 5421029.568
AT ITER 1830 NEW BEST:: SOT 11089163 SOS 6100568 HAS SOPS 6100568 HAS SOUS 5414590 HAS SOUPS 5414590 WITH SCORE 5420690.568
AT ITER 1837 NEW BEST:: SOT 11085883 SOS 6117312 HAS SOPS 6117312 HAS SOUS 5413600 HAS SOUPS 5413600 WITH SCORE 5419717.312
AT ITER 1841 NEW BEST:: SOT 11084237 SOS 6120201 HAS SOPS 6120201 HAS SOUS 5412187 HAS SOUPS 5412187 WITH SCORE 5418307.201
AT ITER 1843 NEW BEST:: SOT 11083969 SOS 6122663 HAS SOPS 6122663 HAS SOUS 5411948 HAS SOUPS 5411948 WITH SCORE 5418070.663
AT ITER 1845 NEW BEST:: SOT 11083969 SOS 6122156 HAS SOPS 6122156 HAS SOUS 5411441 HAS SOUPS 5411441 WITH SCORE 5417563.156
AT ITER 1846 NEW BEST:: SOT 11084329 SOS 6121144 HAS SOPS 6121144 HAS SOUS 5410630 HAS SOUPS 5410630 WITH SCORE 5416751.144
AT ITER 1850 NEW BEST:: SOT 11084329 SOS 6120873 HAS SOPS 6120873 HAS SOUS 5410630 HAS SOUPS 5410630 WITH SCORE 5416750.873
AT ITER 1851 NEW BEST:: SOT 11084329 SOS 6119296 HAS SOPS 6119296 HAS SOUS 5410627 HAS SOUPS 5410627 WITH SCORE 5416746.296
AT ITER 1854 NEW BEST:: SOT 11083029 SOS 6118300 HAS SOPS 6118300 HAS SOUS 5409327 HAS SOUPS 5409327 WITH SCORE 5415445.3
AT ITER 1856 NEW BEST:: SOT 11082038 SOS 6117309 HAS SOPS 6117309 HAS SOUS 5408336 HAS SOUPS 5408336 WITH SCORE 5414453.309
AT ITER 1858 NEW BEST:: SOT 11078418 SOS 6128046 HAS SOPS 6128046 HAS SOUS 5407105 HAS SOUPS 5407105 WITH SCORE 5413233.046
AT ITER 1867 NEW BEST:: SOT 11078116 SOS 6128157 HAS SOPS 6128157 HAS SOUS 5406803 HAS SOUPS 5406803 WITH SCORE 5412931.157
AT ITER 1871 NEW BEST:: SOT 11077748 SOS 6127764 HAS SOPS 6127764 HAS SOUS 5406269 HAS SOUPS 5406269 WITH SCORE 5412396.764
AT ITER 1891 NEW BEST:: SOT 11077748 SOS 6126546 HAS SOPS 6126546 HAS SOUS 5406269 HAS SOUPS 5406269 WITH SCORE 5412395.546
AT ITER 1892 NEW BEST:: SOT 11077748 SOS 6125653 HAS SOPS 6125653 HAS SOUS 5406269 HAS SOUPS 5406269 WITH SCORE 5412394.653
AT ITER 1894 NEW BEST:: SOT 11077748 SOS 6124472 HAS SOPS 6124472 HAS SOUS 5404751 HAS SOUPS 5404751 WITH SCORE 5410875.472
AT ITER 1900 NEW BEST:: SOT 11073886 SOS 6123997 HAS SOPS 6123997 HAS SOUS 5403201 HAS SOUPS 5403201 WITH SCORE 5409324.997
AT ITER 1910 NEW BEST:: SOT 11073875 SOS 6124440 HAS SOPS 6124440 HAS SOUS 5403190 HAS SOUPS 5403190 WITH SCORE 5409314.44
AT ITER 1914 NEW BEST:: SOT 11073905 SOS 6122476 HAS SOPS 6122476 HAS SOUS 5403026 HAS SOUPS 5403026 WITH SCORE 5409148.476
AT ITER 1926 NEW BEST:: SOT 11070766 SOS 6125897 HAS SOPS 6125897 HAS SOUS 5400823 HAS SOUPS 5400823 WITH SCORE 5406948.897
AT ITER 1929 NEW BEST:: SOT 11066829 SOS 6149670 HAS SOPS 6149670 HAS SOUS 5399176 HAS SOUPS 5399176 WITH SCORE 5405325.67
AT ITER 1930 NEW BEST:: SOT 11067039 SOS 6149880 HAS SOPS 6149880 HAS SOUS 5399036 HAS SOUPS 5399036 WITH SCORE 5405185.88
AT ITER 1931 NEW BEST:: SOT 11067039 SOS 6130211 HAS SOPS 6130211 HAS SOUS 5398019 HAS SOUPS 5398019 WITH SCORE 5404149.211
AT ITER 1933 NEW BEST:: SOT 11066887 SOS 6129762 HAS SOPS 6129762 HAS SOUS 5397295 HAS SOUPS 5397295 WITH SCORE 5403424.762
AT ITER 1937 NEW BEST:: SOT 11066142 SOS 6128779 HAS SOPS 6128779 HAS SOUS 5396564 HAS SOUPS 5396564 WITH SCORE 5402692.779
AT ITER 1938 NEW BEST:: SOT 11066142 SOS 6116898 HAS SOPS 6116898 HAS SOUS 5396564 HAS SOUPS 5396564 WITH SCORE 5402680.898
AT ITER 1946 NEW BEST:: SOT 11065050 SOS 6115989 HAS SOPS 6115989 HAS SOUS 5395473 HAS SOUPS 5395473 WITH SCORE 5401588.989
AT ITER 1947 NEW BEST:: SOT 11064095 SOS 6115960 HAS SOPS 6115960 HAS SOUS 5395104 HAS SOUPS 5395104 WITH SCORE 5401219.96
AT ITER 1948 NEW BEST:: SOT 11064095 SOS 6114283 HAS SOPS 6114283 HAS SOUS 5395104 HAS SOUPS 5395104 WITH SCORE 5401218.283
AT ITER 1954 NEW BEST:: SOT 11064095 SOS 6114244 HAS SOPS 6114244 HAS SOUS 5395065 HAS SOUPS 5395065 WITH SCORE 5401179.244
AT ITER 1955 NEW BEST:: SOT 11063943 SOS 6113742 HAS SOPS 6113742 HAS SOUS 5394683 HAS SOUPS 5394683 WITH SCORE 5400796.742
AT ITER 1965 NEW BEST:: SOT 11063943 SOS 6112790 HAS SOPS 6112790 HAS SOUS 5394683 HAS SOUPS 5394683 WITH SCORE 5400795.79
AT ITER 1966 NEW BEST:: SOT 11063943 SOS 6112451 HAS SOPS 6112451 HAS SOUS 5394683 HAS SOUPS 5394683 WITH SCORE 5400795.451
AT ITER 1980 NEW BEST:: SOT 11061366 SOS 6109855 HAS SOPS 6109855 HAS SOUS 5390820 HAS SOUPS 5390820 WITH SCORE 5396929.855
AT ITER 1986 NEW BEST:: SOT 11061366 SOS 6109567 HAS SOPS 6109567 HAS SOUS 5390820 HAS SOUPS 5390820 WITH SCORE 5396929.567
AT ITER 1987 NEW BEST:: SOT 11061366 SOS 6109261 HAS SOPS 6109261 HAS SOUS 5390820 HAS SOUPS 5390820 WITH SCORE 5396929.261
AT ITER 1993 NEW BEST:: SOT 11061344 SOS 6107556 HAS SOPS 6107556 HAS SOUS 5390345 HAS SOUPS 5390345 WITH SCORE 5396452.556
AT ITER 1997 NEW BEST:: SOT 11061546 SOS 6107701 HAS SOPS 6107701 HAS SOUS 5390336 HAS SOUPS 5390336 WITH SCORE 5396443.701
AT ITER 2001 NEW BEST:: SOT 11061546 SOS 6106802 HAS SOPS 6106802 HAS SOUS 5390336 HAS SOUPS 5390336 WITH SCORE 5396442.802
AT ITER 2015 NEW BEST:: SOT 11059945 SOS 6111523 HAS SOPS 6111523 HAS SOUS 5389505 HAS SOUPS 5389505 WITH SCORE 5395616.523
AT ITER 2016 NEW BEST:: SOT 11057663 SOS 6110347 HAS SOPS 6110347 HAS SOUS 5387223 HAS SOUPS 5387223 WITH SCORE 5393333.347
AT ITER 2018 NEW BEST:: SOT 11057663 SOS 6109666 HAS SOPS 6109666 HAS SOUS 5387223 HAS SOUPS 5387223 WITH SCORE 5393332.666
AT ITER 2019 NEW BEST:: SOT 11057663 SOS 6107961 HAS SOPS 6107961 HAS SOUS 5387186 HAS SOUPS 5387186 WITH SCORE 5393293.961
AT ITER 2020 NEW BEST:: SOT 11057591 SOS 6107895 HAS SOPS 6107895 HAS SOUS 5387120 HAS SOUPS 5387120 WITH SCORE 5393227.895
AT ITER 2022 NEW BEST:: SOT 11053640 SOS 6116771 HAS SOPS 6116771 HAS SOUS 5384932 HAS SOUPS 5384932 WITH SCORE 5391048.771
AT ITER 2026 NEW BEST:: SOT 11053640 SOS 6115576 HAS SOPS 6115576 HAS SOUS 5384122 HAS SOUPS 5384122 WITH SCORE 5390237.576
AT ITER 2029 NEW BEST:: SOT 11052802 SOS 6114857 HAS SOPS 6114857 HAS SOUS 5383613 HAS SOUPS 5383613 WITH SCORE 5389727.857
AT ITER 2031 NEW BEST:: SOT 11052802 SOS 6113713 HAS SOPS 6113713 HAS SOUS 5383613 HAS SOUPS 5383613 WITH SCORE 5389726.713
AT ITER 2032 NEW BEST:: SOT 11052802 SOS 6113378 HAS SOPS 6113378 HAS SOUS 5383613 HAS SOUPS 5383613 WITH SCORE 5389726.378
AT ITER 2036 NEW BEST:: SOT 11048611 SOS 6112858 HAS SOPS 6112858 HAS SOUS 5380009 HAS SOUPS 5380009 WITH SCORE 5386121.858
AT ITER 2039 NEW BEST:: SOT 11047940 SOS 6112831 HAS SOPS 6112831 HAS SOUS 5379613 HAS SOUPS 5379613 WITH SCORE 5385725.831
AT ITER 2040 NEW BEST:: SOT 11047940 SOS 6112762 HAS SOPS 6112762 HAS SOUS 5379613 HAS SOUPS 5379613 WITH SCORE 5385725.762
AT ITER 2043 NEW BEST:: SOT 11047853 SOS 6112423 HAS SOPS 6112423 HAS SOUS 5379048 HAS SOUPS 5379048 WITH SCORE 5385160.423
AT ITER 2046 NEW BEST:: SOT 11047991 SOS 6101248 HAS SOPS 6101248 HAS SOUS 5375072 HAS SOUPS 5375072 WITH SCORE 5381173.248
AT ITER 2048 NEW BEST:: SOT 11047332 SOS 6100589 HAS SOPS 6100589 HAS SOUS 5374413 HAS SOUPS 5374413 WITH SCORE 5380513.589
AT ITER 2049 NEW BEST:: SOT 11047332 SOS 6100480 HAS SOPS 6100480 HAS SOUS 5374413 HAS SOUPS 5374413 WITH SCORE 5380513.48
AT ITER 2050 NEW BEST:: SOT 11046789 SOS 6100025 HAS SOPS 6100025 HAS SOUS 5373870 HAS SOUPS 5373870 WITH SCORE 5379970.025
AT ITER 2059 NEW BEST:: SOT 11045832 SOS 6098858 HAS SOPS 6098858 HAS SOUS 5372942 HAS SOUPS 5372942 WITH SCORE 5379040.858
AT ITER 2067 NEW BEST:: SOT 11045600 SOS 6097745 HAS SOPS 6097745 HAS SOUS 5372702 HAS SOUPS 5372702 WITH SCORE 5378799.745
AT ITER 2072 NEW BEST:: SOT 11045600 SOS 6097324 HAS SOPS 6097324 HAS SOUS 5372702 HAS SOUPS 5372702 WITH SCORE 5378799.324
AT ITER 2073 NEW BEST:: SOT 11045600 SOS 6097010 HAS SOPS 6097010 HAS SOUS 5372702 HAS SOUPS 5372702 WITH SCORE 5378799.01
AT ITER 2084 NEW BEST:: SOT 11045732 SOS 6098600 HAS SOPS 6098600 HAS SOUS 5372578 HAS SOUPS 5372578 WITH SCORE 5378676.6
AT ITER 2087 NEW BEST:: SOT 11044755 SOS 6116863 HAS SOPS 6116863 HAS SOUS 5372358 HAS SOUPS 5372358 WITH SCORE 5378474.863
AT ITER 2088 NEW BEST:: SOT 11041957 SOS 6114874 HAS SOPS 6114874 HAS SOUS 5370232 HAS SOUPS 5370232 WITH SCORE 5376346.874
AT ITER 2092 NEW BEST:: SOT 11041832 SOS 6113599 HAS SOPS 6113599 HAS SOUS 5370098 HAS SOUPS 5370098 WITH SCORE 5376211.599
AT ITER 2096 NEW BEST:: SOT 11041832 SOS 6113189 HAS SOPS 6113189 HAS SOUS 5369860 HAS SOUPS 5369860 WITH SCORE 5375973.189
AT ITER 2102 NEW BEST:: SOT 11041752 SOS 6113149 HAS SOPS 6113149 HAS SOUS 5369780 HAS SOUPS 5369780 WITH SCORE 5375893.149
AT ITER 2105 NEW BEST:: SOT 11039709 SOS 6112400 HAS SOPS 6112400 HAS SOUS 5369152 HAS SOUPS 5369152 WITH SCORE 5375264.4
AT ITER 2109 NEW BEST:: SOT 11039709 SOS 6112156 HAS SOPS 6112156 HAS SOUS 5369152 HAS SOUPS 5369152 WITH SCORE 5375264.156
AT ITER 2110 NEW BEST:: SOT 11039709 SOS 6112002 HAS SOPS 6112002 HAS SOUS 5369152 HAS SOUPS 5369152 WITH SCORE 5375264.002
AT ITER 2112 NEW BEST:: SOT 11039709 SOS 6110714 HAS SOPS 6110714 HAS SOUS 5369152 HAS SOUPS 5369152 WITH SCORE 5375262.714
AT ITER 2115 NEW BEST:: SOT 11039709 SOS 6099278 HAS SOPS 6099278 HAS SOUS 5369152 HAS SOUPS 5369152 WITH SCORE 5375251.278
AT ITER 2118 NEW BEST:: SOT 11039709 SOS 6095642 HAS SOPS 6095642 HAS SOUS 5368849 HAS SOUPS 5368849 WITH SCORE 5374944.642
AT ITER 2121 NEW BEST:: SOT 11039142 SOS 6095200 HAS SOPS 6095200 HAS SOUS 5368479 HAS SOUPS 5368479 WITH SCORE 5374574.2
AT ITER 2124 NEW BEST:: SOT 11037219 SOS 6096727 HAS SOPS 6096727 HAS SOUS 5366564 HAS SOUPS 5366564 WITH SCORE 5372660.727
AT ITER 2125 NEW BEST:: SOT 11035581 SOS 6104445 HAS SOPS 6104445 HAS SOUS 5365510 HAS SOUPS 5365510 WITH SCORE 5371614.445
AT ITER 2140 NEW BEST:: SOT 11035581 SOS 6104042 HAS SOPS 6104042 HAS SOUS 5365107 HAS SOUPS 5365107 WITH SCORE 5371211.042
AT ITER 2141 NEW BEST:: SOT 11035575 SOS 6105211 HAS SOPS 6105211 HAS SOUS 5364855 HAS SOUPS 5364855 WITH SCORE 5370960.211
AT ITER 2147 NEW BEST:: SOT 11030640 SOS 6100630 HAS SOPS 6100630 HAS SOUS 5360321 HAS SOUPS 5360321 WITH SCORE 5366421.63
AT ITER 2150 NEW BEST:: SOT 11029070 SOS 6100801 HAS SOPS 6100801 HAS SOUS 5359291 HAS SOUPS 5359291 WITH SCORE 5365391.801
AT ITER 2154 NEW BEST:: SOT 11029070 SOS 6099884 HAS SOPS 6099884 HAS SOUS 5359291 HAS SOUPS 5359291 WITH SCORE 5365390.884
AT ITER 2160 NEW BEST:: SOT 11028837 SOS 6101615 HAS SOPS 6101615 HAS SOUS 5359058 HAS SOUPS 5359058 WITH SCORE 5365159.615
AT ITER 2162 NEW BEST:: SOT 11025842 SOS 6099784 HAS SOPS 6099784 HAS SOUS 5356415 HAS SOUPS 5356415 WITH SCORE 5362514.784
AT ITER 2163 NEW BEST:: SOT 11025842 SOS 6098981 HAS SOPS 6098981 HAS SOUS 5356415 HAS SOUPS 5356415 WITH SCORE 5362513.981
AT ITER 2164 NEW BEST:: SOT 11025842 SOS 6098688 HAS SOPS 6098688 HAS SOUS 5356415 HAS SOUPS 5356415 WITH SCORE 5362513.688
AT ITER 2170 NEW BEST:: SOT 11025842 SOS 6098016 HAS SOPS 6098016 HAS SOUS 5356415 HAS SOUPS 5356415 WITH SCORE 5362513.016
AT ITER 2171 NEW BEST:: SOT 11025585 SOS 6092298 HAS SOPS 6092298 HAS SOUS 5355622 HAS SOUPS 5355622 WITH SCORE 5361714.298
AT ITER 2175 NEW BEST:: SOT 11025585 SOS 6090149 HAS SOPS 6090149 HAS SOUS 5354118 HAS SOUPS 5354118 WITH SCORE 5360208.149
AT ITER 2177 NEW BEST:: SOT 11025585 SOS 6089128 HAS SOPS 6089128 HAS SOUS 5354118 HAS SOUPS 5354118 WITH SCORE 5360207.128
AT ITER 2178 NEW BEST:: SOT 11025585 SOS 6088855 HAS SOPS 6088855 HAS SOUS 5354118 HAS SOUPS 5354118 WITH SCORE 5360206.855
AT ITER 2179 NEW BEST:: SOT 11025436 SOS 6087765 HAS SOPS 6087765 HAS SOUS 5353569 HAS SOUPS 5353569 WITH SCORE 5359656.765
AT ITER 2184 NEW BEST:: SOT 11025816 SOS 6086675 HAS SOPS 6086675 HAS SOUS 5352412 HAS SOUPS 5352412 WITH SCORE 5358498.675
AT ITER 2187 NEW BEST:: SOT 11025929 SOS 6086390 HAS SOPS 6086390 HAS SOUS 5352323 HAS SOUPS 5352323 WITH SCORE 5358409.39
AT ITER 2189 NEW BEST:: SOT 11025929 SOS 6074200 HAS SOPS 6074200 HAS SOUS 5351449 HAS SOUPS 5351449 WITH SCORE 5357523.2
AT ITER 2191 NEW BEST:: SOT 11025929 SOS 6073714 HAS SOPS 6073714 HAS SOUS 5351449 HAS SOUPS 5351449 WITH SCORE 5357522.714
AT ITER 2221 NEW BEST:: SOT 11023142 SOS 6098952 HAS SOPS 6098952 HAS SOUS 5350572 HAS SOUPS 5350572 WITH SCORE 5356670.952
AT ITER 2228 NEW BEST:: SOT 11023142 SOS 6097683 HAS SOPS 6097683 HAS SOUS 5350572 HAS SOUPS 5350572 WITH SCORE 5356669.683
AT ITER 2230 NEW BEST:: SOT 11023279 SOS 6097288 HAS SOPS 6097288 HAS SOUS 5350121 HAS SOUPS 5350121 WITH SCORE 5356218.288
AT ITER 2233 NEW BEST:: SOT 11023279 SOS 6096479 HAS SOPS 6096479 HAS SOUS 5350121 HAS SOUPS 5350121 WITH SCORE 5356217.479
AT ITER 2234 NEW BEST:: SOT 11021810 SOS 6095623 HAS SOPS 6095623 HAS SOUS 5348652 HAS SOUPS 5348652 WITH SCORE 5354747.623
AT ITER 2245 NEW BEST:: SOT 11019199 SOS 6093094 HAS SOPS 6093094 HAS SOUS 5347460 HAS SOUPS 5347460 WITH SCORE 5353553.094
AT ITER 2246 NEW BEST:: SOT 11019199 SOS 6092516 HAS SOPS 6092516 HAS SOUS 5347460 HAS SOUPS 5347460 WITH SCORE 5353552.516
AT ITER 2247 NEW BEST:: SOT 11018372 SOS 6091764 HAS SOPS 6091764 HAS SOUS 5346806 HAS SOUPS 5346806 WITH SCORE 5352897.764
AT ITER 2253 NEW BEST:: SOT 11016965 SOS 6097658 HAS SOPS 6097658 HAS SOUS 5346047 HAS SOUPS 5346047 WITH SCORE 5352144.658
AT ITER 2257 NEW BEST:: SOT 11016965 SOS 6096869 HAS SOPS 6096869 HAS SOUS 5346047 HAS SOUPS 5346047 WITH SCORE 5352143.869
AT ITER 2281 NEW BEST:: SOT 11014810 SOS 6097659 HAS SOPS 6097659 HAS SOUS 5344185 HAS SOUPS 5344185 WITH SCORE 5350282.659
AT ITER 2282 NEW BEST:: SOT 11014404 SOS 6097530 HAS SOPS 6097530 HAS SOUS 5344056 HAS SOUPS 5344056 WITH SCORE 5350153.53
AT ITER 2287 NEW BEST:: SOT 11013974 SOS 6096500 HAS SOPS 6096500 HAS SOUS 5339986 HAS SOUPS 5339986 WITH SCORE 5346082.5
AT ITER 2291 NEW BEST:: SOT 11013974 SOS 6095980 HAS SOPS 6095980 HAS SOUS 5339986 HAS SOUPS 5339986 WITH SCORE 5346081.98
AT ITER 2294 NEW BEST:: SOT 11013974 SOS 6095518 HAS SOPS 6095518 HAS SOUS 5339758 HAS SOUPS 5339758 WITH SCORE 5345853.518
AT ITER 2313 NEW BEST:: SOT 11013974 SOS 6094832 HAS SOPS 6094832 HAS SOUS 5339758 HAS SOUPS 5339758 WITH SCORE 5345852.832
AT ITER 2315 NEW BEST:: SOT 11013974 SOS 6093606 HAS SOPS 6093606 HAS SOUS 5339758 HAS SOUPS 5339758 WITH SCORE 5345851.606
AT ITER 2322 NEW BEST:: SOT 11009881 SOS 6120239 HAS SOPS 6120239 HAS SOUS 5338873 HAS SOUPS 5338873 WITH SCORE 5344993.239
AT ITER 2325 NEW BEST:: SOT 11008752 SOS 6108558 HAS SOPS 6108558 HAS SOUS 5337744 HAS SOUPS 5337744 WITH SCORE 5343852.558
AT ITER 2326 NEW BEST:: SOT 11008752 SOS 6107832 HAS SOPS 6107832 HAS SOUS 5337744 HAS SOUPS 5337744 WITH SCORE 5343851.832
AT ITER 2334 NEW BEST:: SOT 11008752 SOS 6107150 HAS SOPS 6107150 HAS SOUS 5337744 HAS SOUPS 5337744 WITH SCORE 5343851.15
AT ITER 2340 NEW BEST:: SOT 11008071 SOS 6106792 HAS SOPS 6106792 HAS SOUS 5337063 HAS SOUPS 5337063 WITH SCORE 5343169.792
AT ITER 2342 NEW BEST:: SOT 11003722 SOS 6119086 HAS SOPS 6119086 HAS SOUS 5337017 HAS SOUPS 5337017 WITH SCORE 5343136.086
AT ITER 2355 NEW BEST:: SOT 11002375 SOS 6090518 HAS SOPS 6090518 HAS SOUS 5334830 HAS SOUPS 5334830 WITH SCORE 5340920.518
AT ITER 2358 NEW BEST:: SOT 11002375 SOS 6089676 HAS SOPS 6089676 HAS SOUS 5334830 HAS SOUPS 5334830 WITH SCORE 5340919.676
AT ITER 2363 NEW BEST:: SOT 11002375 SOS 6086604 HAS SOPS 6086604 HAS SOUS 5334830 HAS SOUPS 5334830 WITH SCORE 5340916.604
AT ITER 2365 NEW BEST:: SOT 11000930 SOS 6086006 HAS SOPS 6086006 HAS SOUS 5333761 HAS SOUPS 5333761 WITH SCORE 5339847.006
AT ITER 2366 NEW BEST:: SOT 11001316 SOS 6084795 HAS SOPS 6084795 HAS SOUS 5332386 HAS SOUPS 5332386 WITH SCORE 5338470.795
AT ITER 2378 NEW BEST:: SOT 11001316 SOS 6084289 HAS SOPS 6084289 HAS SOUS 5332386 HAS SOUPS 5332386 WITH SCORE 5338470.289
AT ITER 2379 NEW BEST:: SOT 11001316 SOS 6082660 HAS SOPS 6082660 HAS SOUS 5332386 HAS SOUPS 5332386 WITH SCORE 5338468.66
AT ITER 2387 NEW BEST:: SOT 11000892 SOS 6082084 HAS SOPS 6082084 HAS SOUS 5331962 HAS SOUPS 5331962 WITH SCORE 5338044.084
AT ITER 2390 NEW BEST:: SOT 10997632 SOS 6081696 HAS SOPS 6081696 HAS SOUS 5329227 HAS SOUPS 5329227 WITH SCORE 5335308.696
AT ITER 2393 NEW BEST:: SOT 10996969 SOS 6081128 HAS SOPS 6081128 HAS SOUS 5328748 HAS SOUPS 5328748 WITH SCORE 5334829.128
AT ITER 2396 NEW BEST:: SOT 10996969 SOS 6079756 HAS SOPS 6079756 HAS SOUS 5328748 HAS SOUPS 5328748 WITH SCORE 5334827.756
AT ITER 2405 NEW BEST:: SOT 10997221 SOS 6079986 HAS SOPS 6079986 HAS SOUS 5328698 HAS SOUPS 5328698 WITH SCORE 5334777.986
AT ITER 2410 NEW BEST:: SOT 10997221 SOS 6079888 HAS SOPS 6079888 HAS SOUS 5328698 HAS SOUPS 5328698 WITH SCORE 5334777.888
AT ITER 2440 NEW BEST:: SOT 10997221 SOS 6078562 HAS SOPS 6078562 HAS SOUS 5328698 HAS SOUPS 5328698 WITH SCORE 5334776.562
AT ITER 2442 NEW BEST:: SOT 10996084 SOS 6080501 HAS SOPS 6080501 HAS SOUS 5328435 HAS SOUPS 5328435 WITH SCORE 5334515.501
AT ITER 2455 NEW BEST:: SOT 10991909 SOS 6096827 HAS SOPS 6096827 HAS SOUS 5325356 HAS SOUPS 5325356 WITH SCORE 5331452.827
AT ITER 2457 NEW BEST:: SOT 10991909 SOS 6096827 HAS SOPS 6096827 HAS SOUS 5324865 HAS SOUPS 5324865 WITH SCORE 5330961.827
AT ITER 2458 NEW BEST:: SOT 10990060 SOS 6113109 HAS SOPS 6113109 HAS SOUS 5324260 HAS SOUPS 5324260 WITH SCORE 5330373.109
AT ITER 2460 NEW BEST:: SOT 10985642 SOS 6119961 HAS SOPS 6119961 HAS SOUS 5322829 HAS SOUPS 5322829 WITH SCORE 5328948.961
AT ITER 2465 NEW BEST:: SOT 10984579 SOS 6118656 HAS SOPS 6118656 HAS SOUS 5321567 HAS SOUPS 5321567 WITH SCORE 5327685.656
AT ITER 2466 NEW BEST:: SOT 10984579 SOS 6116400 HAS SOPS 6116400 HAS SOUS 5321567 HAS SOUPS 5321567 WITH SCORE 5327683.4
AT ITER 2476 NEW BEST:: SOT 10984579 SOS 6115187 HAS SOPS 6115187 HAS SOUS 5321567 HAS SOUPS 5321567 WITH SCORE 5327682.187
AT ITER 2478 NEW BEST:: SOT 10984697 SOS 6113877 HAS SOPS 6113877 HAS SOUS 5320488 HAS SOUPS 5320488 WITH SCORE 5326601.877
AT ITER 2480 NEW BEST:: SOT 10981034 SOS 6111330 HAS SOPS 6111330 HAS SOUS 5316933 HAS SOUPS 5316933 WITH SCORE 5323044.33
AT ITER 2481 NEW BEST:: SOT 10981034 SOS 6111150 HAS SOPS 6111150 HAS SOUS 5316933 HAS SOUPS 5316933 WITH SCORE 5323044.15
AT ITER 2485 NEW BEST:: SOT 10981034 SOS 6110799 HAS SOPS 6110799 HAS SOUS 5316933 HAS SOUPS 5316933 WITH SCORE 5323043.799
AT ITER 2512 NEW BEST:: SOT 10980766 SOS 6110531 HAS SOPS 6110531 HAS SOUS 5315978 HAS SOUPS 5315978 WITH SCORE 5322088.531
AT ITER 2518 NEW BEST:: SOT 10980766 SOS 6109928 HAS SOPS 6109928 HAS SOUS 5315978 HAS SOUPS 5315978 WITH SCORE 5322087.928
AT ITER 2521 NEW BEST:: SOT 10980799 SOS 6109961 HAS SOPS 6109961 HAS SOUS 5315416 HAS SOUPS 5315416 WITH SCORE 5321525.961
AT ITER 2523 NEW BEST:: SOT 10980799 SOS 6108887 HAS SOPS 6108887 HAS SOUS 5315416 HAS SOUPS 5315416 WITH SCORE 5321524.887
AT ITER 2529 NEW BEST:: SOT 10977456 SOS 6106334 HAS SOPS 6106334 HAS SOUS 5312398 HAS SOUPS 5312398 WITH SCORE 5318504.334
AT ITER 2539 NEW BEST:: SOT 10973844 SOS 6104458 HAS SOPS 6104458 HAS SOUS 5309370 HAS SOUPS 5309370 WITH SCORE 5315474.458
AT ITER 2548 NEW BEST:: SOT 10972654 SOS 6105228 HAS SOPS 6105228 HAS SOUS 5308601 HAS SOUPS 5308601 WITH SCORE 5314706.228
AT ITER 2554 NEW BEST:: SOT 10972654 SOS 6104876 HAS SOPS 6104876 HAS SOUS 5308601 HAS SOUPS 5308601 WITH SCORE 5314705.876
AT ITER 2560 NEW BEST:: SOT 10972654 SOS 6103646 HAS SOPS 6103646 HAS SOUS 5308601 HAS SOUPS 5308601 WITH SCORE 5314704.646
AT ITER 2564 NEW BEST:: SOT 10972636 SOS 6103628 HAS SOPS 6103628 HAS SOUS 5308537 HAS SOUPS 5308537 WITH SCORE 5314640.628
AT ITER 2574 NEW BEST:: SOT 10972636 SOS 6103017 HAS SOPS 6103017 HAS SOUS 5307926 HAS SOUPS 5307926 WITH SCORE 5314029.017
AT ITER 2579 NEW BEST:: SOT 10972124 SOS 6102505 HAS SOPS 6102505 HAS SOUS 5307414 HAS SOUPS 5307414 WITH SCORE 5313516.505
AT ITER 2585 NEW BEST:: SOT 10966847 SOS 6097399 HAS SOPS 6097399 HAS SOUS 5302277 HAS SOUPS 5302277 WITH SCORE 5308374.399
AT ITER 2591 NEW BEST:: SOT 10966847 SOS 6096681 HAS SOPS 6096681 HAS SOUS 5302277 HAS SOUPS 5302277 WITH SCORE 5308373.681
AT ITER 2595 NEW BEST:: SOT 10966139 SOS 6105863 HAS SOPS 6105863 HAS SOUS 5301878 HAS SOUPS 5301878 WITH SCORE 5307983.863
AT ITER 2598 NEW BEST:: SOT 10966079 SOS 6105757 HAS SOPS 6105757 HAS SOUS 5301772 HAS SOUPS 5301772 WITH SCORE 5307877.757
AT ITER 2600 NEW BEST:: SOT 10962818 SOS 6112680 HAS SOPS 6112680 HAS SOUS 5300421 HAS SOUPS 5300421 WITH SCORE 5306533.68
AT ITER 2601 NEW BEST:: SOT 10962818 SOS 6097732 HAS SOPS 6097732 HAS SOUS 5298973 HAS SOUPS 5298973 WITH SCORE 5305070.732
AT ITER 2603 NEW BEST:: SOT 10962308 SOS 6097276 HAS SOPS 6097276 HAS SOUS 5298463 HAS SOUPS 5298463 WITH SCORE 5304560.276
AT ITER 2608 NEW BEST:: SOT 10962308 SOS 6097050 HAS SOPS 6097050 HAS SOUS 5298463 HAS SOUPS 5298463 WITH SCORE 5304560.05
AT ITER 2610 NEW BEST:: SOT 10955981 SOS 6091751 HAS SOPS 6091751 HAS SOUS 5292469 HAS SOUPS 5292469 WITH SCORE 5298560.751
AT ITER 2611 NEW BEST:: SOT 10955981 SOS 6091725 HAS SOPS 6091725 HAS SOUS 5292317 HAS SOUPS 5292317 WITH SCORE 5298408.725
AT ITER 2621 NEW BEST:: SOT 10955981 SOS 6091622 HAS SOPS 6091622 HAS SOUS 5292317 HAS SOUPS 5292317 WITH SCORE 5298408.622
AT ITER 2622 NEW BEST:: SOT 10955981 SOS 6090851 HAS SOPS 6090851 HAS SOUS 5292317 HAS SOUPS 5292317 WITH SCORE 5298407.851
AT ITER 2623 NEW BEST:: SOT 10955981 SOS 6090659 HAS SOPS 6090659 HAS SOUS 5292308 HAS SOUPS 5292308 WITH SCORE 5298398.659
AT ITER 2630 NEW BEST:: SOT 10955981 SOS 6090290 HAS SOPS 6090290 HAS SOUS 5292308 HAS SOUPS 5292308 WITH SCORE 5298398.29
AT ITER 2631 NEW BEST:: SOT 10954770 SOS 6087782 HAS SOPS 6087782 HAS SOUS 5290478 HAS SOUPS 5290478 WITH SCORE 5296565.782
AT ITER 2632 NEW BEST:: SOT 10952641 SOS 6086371 HAS SOPS 6086371 HAS SOUS 5288515 HAS SOUPS 5288515 WITH SCORE 5294601.371
AT ITER 2637 NEW BEST:: SOT 10951723 SOS 6085958 HAS SOPS 6085958 HAS SOUS 5288024 HAS SOUPS 5288024 WITH SCORE 5294109.958
AT ITER 2639 NEW BEST:: SOT 10951723 SOS 6085294 HAS SOPS 6085294 HAS SOUS 5287429 HAS SOUPS 5287429 WITH SCORE 5293514.294
AT ITER 2648 NEW BEST:: SOT 10948472 SOS 6083662 HAS SOPS 6083662 HAS SOUS 5285057 HAS SOUPS 5285057 WITH SCORE 5291140.662
AT ITER 2651 NEW BEST:: SOT 10945347 SOS 6085188 HAS SOPS 6085188 HAS SOUS 5282660 HAS SOUPS 5282660 WITH SCORE 5288745.188
AT ITER 2652 NEW BEST:: SOT 10945347 SOS 6078955 HAS SOPS 6078955 HAS SOUS 5282660 HAS SOUPS 5282660 WITH SCORE 5288738.955
AT ITER 2653 NEW BEST:: SOT 10945347 SOS 6060615 HAS SOPS 6060615 HAS SOUS 5282660 HAS SOUPS 5282660 WITH SCORE 5288720.615
AT ITER 2655 NEW BEST:: SOT 10944498 SOS 6061255 HAS SOPS 6061255 HAS SOUS 5282432 HAS SOUPS 5282432 WITH SCORE 5288493.255
AT ITER 2664 NEW BEST:: SOT 10944498 SOS 6060820 HAS SOPS 6060820 HAS SOUS 5282432 HAS SOUPS 5282432 WITH SCORE 5288492.82
AT ITER 2672 NEW BEST:: SOT 10944625 SOS 6054155 HAS SOPS 6054155 HAS SOUS 5281651 HAS SOUPS 5281651 WITH SCORE 5287705.155
AT ITER 2675 NEW BEST:: SOT 10944625 SOS 6053557 HAS SOPS 6053557 HAS SOUS 5281651 HAS SOUPS 5281651 WITH SCORE 5287704.557
AT ITER 2680 NEW BEST:: SOT 10944372 SOS 6052060 HAS SOPS 6052060 HAS SOUS 5281351 HAS SOUPS 5281351 WITH SCORE 5287403.06
AT ITER 2681 NEW BEST:: SOT 10944362 SOS 6052050 HAS SOPS 6052050 HAS SOUS 5281181 HAS SOUPS 5281181 WITH SCORE 5287233.05
AT ITER 2683 NEW BEST:: SOT 10944362 SOS 6051635 HAS SOPS 6051635 HAS SOUS 5281181 HAS SOUPS 5281181 WITH SCORE 5287232.635
AT ITER 2692 NEW BEST:: SOT 10944362 SOS 6050849 HAS SOPS 6050849 HAS SOUS 5281022 HAS SOUPS 5281022 WITH SCORE 5287072.849
AT ITER 2695 NEW BEST:: SOT 10944362 SOS 6050503 HAS SOPS 6050503 HAS SOUS 5281022 HAS SOUPS 5281022 WITH SCORE 5287072.503
AT ITER 2696 NEW BEST:: SOT 10944312 SOS 6050453 HAS SOPS 6050453 HAS SOUS 5280972 HAS SOUPS 5280972 WITH SCORE 5287022.453
AT ITER 2698 NEW BEST:: SOT 10944663 SOS 6050804 HAS SOPS 6050804 HAS SOUS 5280889 HAS SOUPS 5280889 WITH SCORE 5286939.804
AT ITER 2705 NEW BEST:: SOT 10941693 SOS 6049620 HAS SOPS 6049620 HAS SOUS 5279860 HAS SOUPS 5279860 WITH SCORE 5285909.62
AT ITER 2707 NEW BEST:: SOT 10941693 SOS 6049363 HAS SOPS 6049363 HAS SOUS 5279860 HAS SOUPS 5279860 WITH SCORE 5285909.363
AT ITER 2710 NEW BEST:: SOT 10941693 SOS 6048709 HAS SOPS 6048709 HAS SOUS 5279860 HAS SOUPS 5279860 WITH SCORE 5285908.709
AT ITER 2714 NEW BEST:: SOT 10941693 SOS 6048715 HAS SOPS 6048715 HAS SOUS 5279814 HAS SOUPS 5279814 WITH SCORE 5285862.715
AT ITER 2716 NEW BEST:: SOT 10941693 SOS 6048354 HAS SOPS 6048354 HAS SOUS 5279814 HAS SOUPS 5279814 WITH SCORE 5285862.354
AT ITER 2721 NEW BEST:: SOT 10941693 SOS 6048082 HAS SOPS 6048082 HAS SOUS 5279814 HAS SOUPS 5279814 WITH SCORE 5285862.082
AT ITER 2722 NEW BEST:: SOT 10940770 SOS 6051273 HAS SOPS 6051273 HAS SOUS 5278904 HAS SOUPS 5278904 WITH SCORE 5284955.273
AT ITER 2725 NEW BEST:: SOT 10940770 SOS 6051273 HAS SOPS 6051273 HAS SOUS 5278881 HAS SOUPS 5278881 WITH SCORE 5284932.273
AT ITER 2726 NEW BEST:: SOT 10939194 SOS 6050856 HAS SOPS 6050856 HAS SOUS 5278075 HAS SOUPS 5278075 WITH SCORE 5284125.856
AT ITER 2728 NEW BEST:: SOT 10939194 SOS 6050039 HAS SOPS 6050039 HAS SOUS 5278075 HAS SOUPS 5278075 WITH SCORE 5284125.039
AT ITER 2731 NEW BEST:: SOT 10939210 SOS 6048839 HAS SOPS 6048839 HAS SOUS 5277909 HAS SOUPS 5277909 WITH SCORE 5283957.839
AT ITER 2733 NEW BEST:: SOT 10935395 SOS 6052285 HAS SOPS 6052285 HAS SOUS 5276371 HAS SOUPS 5276371 WITH SCORE 5282423.285
AT ITER 2736 NEW BEST:: SOT 10933807 SOS 6049086 HAS SOPS 6049086 HAS SOUS 5273172 HAS SOUPS 5273172 WITH SCORE 5279221.086
AT ITER 2741 NEW BEST:: SOT 10931190 SOS 6048299 HAS SOPS 6048299 HAS SOUS 5271470 HAS SOUPS 5271470 WITH SCORE 5277518.299
AT ITER 2744 NEW BEST:: SOT 10931190 SOS 6046785 HAS SOPS 6046785 HAS SOUS 5271470 HAS SOUPS 5271470 WITH SCORE 5277516.785
AT ITER 2745 NEW BEST:: SOT 10931193 SOS 6045537 HAS SOPS 6045537 HAS SOUS 5270331 HAS SOUPS 5270331 WITH SCORE 5276376.537
AT ITER 2750 NEW BEST:: SOT 10931064 SOS 6044146 HAS SOPS 6044146 HAS SOUS 5269969 HAS SOUPS 5269969 WITH SCORE 5276013.146
AT ITER 2752 NEW BEST:: SOT 10931437 SOS 6044348 HAS SOPS 6044348 HAS SOUS 5269570 HAS SOUPS 5269570 WITH SCORE 5275614.348
AT ITER 2757 NEW BEST:: SOT 10931437 SOS 6041146 HAS SOPS 6041146 HAS SOUS 5269570 HAS SOUPS 5269570 WITH SCORE 5275611.146
AT ITER 2762 NEW BEST:: SOT 10931437 SOS 6039630 HAS SOPS 6039630 HAS SOUS 5269570 HAS SOUPS 5269570 WITH SCORE 5275609.63
AT ITER 2774 NEW BEST:: SOT 10929559 SOS 6038737 HAS SOPS 6038737 HAS SOUS 5268108 HAS SOUPS 5268108 WITH SCORE 5274146.737
AT ITER 2778 NEW BEST:: SOT 10927207 SOS 6039116 HAS SOPS 6039116 HAS SOUS 5266062 HAS SOUPS 5266062 WITH SCORE 5272101.116
AT ITER 2791 NEW BEST:: SOT 10927412 SOS 6039269 HAS SOPS 6039269 HAS SOUS 5266019 HAS SOUPS 5266019 WITH SCORE 5272058.269
AT ITER 2792 NEW BEST:: SOT 10927412 SOS 6039685 HAS SOPS 6039685 HAS SOUS 5264710 HAS SOUPS 5264710 WITH SCORE 5270749.685
AT ITER 2812 NEW BEST:: SOT 10925340 SOS 6039582 HAS SOPS 6039582 HAS SOUS 5263659 HAS SOUPS 5263659 WITH SCORE 5269698.582
AT ITER 2815 NEW BEST:: SOT 10925340 SOS 6039141 HAS SOPS 6039141 HAS SOUS 5263659 HAS SOUPS 5263659 WITH SCORE 5269698.141
AT ITER 2817 NEW BEST:: SOT 10925340 SOS 6038963 HAS SOPS 6038963 HAS SOUS 5263659 HAS SOUPS 5263659 WITH SCORE 5269697.963
AT ITER 2822 NEW BEST:: SOT 10923423 SOS 6038559 HAS SOPS 6038559 HAS SOUS 5262476 HAS SOUPS 5262476 WITH SCORE 5268514.559
AT ITER 2824 NEW BEST:: SOT 10921742 SOS 6038774 HAS SOPS 6038774 HAS SOUS 5260475 HAS SOUPS 5260475 WITH SCORE 5266513.774
AT ITER 2826 NEW BEST:: SOT 10920114 SOS 6043043 HAS SOPS 6043043 HAS SOUS 5259029 HAS SOUPS 5259029 WITH SCORE 5265072.043
AT ITER 2833 NEW BEST:: SOT 10920114 SOS 6042469 HAS SOPS 6042469 HAS SOUS 5259029 HAS SOUPS 5259029 WITH SCORE 5265071.469
AT ITER 2838 NEW BEST:: SOT 10920114 SOS 6042252 HAS SOPS 6042252 HAS SOUS 5259029 HAS SOUPS 5259029 WITH SCORE 5265071.252
AT ITER 2841 NEW BEST:: SOT 10920074 SOS 6042212 HAS SOPS 6042212 HAS SOUS 5258963 HAS SOUPS 5258963 WITH SCORE 5265005.212
AT ITER 2846 NEW BEST:: SOT 10920074 SOS 6040782 HAS SOPS 6040782 HAS SOUS 5258963 HAS SOUPS 5258963 WITH SCORE 5265003.782
AT ITER 2848 NEW BEST:: SOT 10920074 SOS 6040553 HAS SOPS 6040553 HAS SOUS 5258963 HAS SOUPS 5258963 WITH SCORE 5265003.553
AT ITER 2849 NEW BEST:: SOT 10919785 SOS 6039914 HAS SOPS 6039914 HAS SOUS 5258593 HAS SOUPS 5258593 WITH SCORE 5264632.914
AT ITER 2850 NEW BEST:: SOT 10919785 SOS 6039413 HAS SOPS 6039413 HAS SOUS 5258593 HAS SOUPS 5258593 WITH SCORE 5264632.413
AT ITER 2861 NEW BEST:: SOT 10919785 SOS 6038194 HAS SOPS 6038194 HAS SOUS 5258293 HAS SOUPS 5258293 WITH SCORE 5264331.194
AT ITER 2867 NEW BEST:: SOT 10917860 SOS 6036806 HAS SOPS 6036806 HAS SOUS 5257070 HAS SOUPS 5257070 WITH SCORE 5263106.806
AT ITER 2868 NEW BEST:: SOT 10914494 SOS 6049496 HAS SOPS 6049496 HAS SOUS 5256175 HAS SOUPS 5256175 WITH SCORE 5262224.496
AT ITER 2871 NEW BEST:: SOT 10911751 SOS 6048687 HAS SOPS 6048687 HAS SOUS 5255189 HAS SOUPS 5255189 WITH SCORE 5261237.687
AT ITER 2873 NEW BEST:: SOT 10911751 SOS 6048468 HAS SOPS 6048468 HAS SOUS 5255189 HAS SOUPS 5255189 WITH SCORE 5261237.468
AT ITER 2875 NEW BEST:: SOT 10911640 SOS 6047112 HAS SOPS 6047112 HAS SOUS 5254633 HAS SOUPS 5254633 WITH SCORE 5260680.112
AT ITER 2876 NEW BEST:: SOT 10911640 SOS 6044753 HAS SOPS 6044753 HAS SOUS 5254633 HAS SOUPS 5254633 WITH SCORE 5260677.753
AT ITER 2884 NEW BEST:: SOT 10911641 SOS 6045603 HAS SOPS 6045603 HAS SOUS 5254598 HAS SOUPS 5254598 WITH SCORE 5260643.603
AT ITER 2890 NEW BEST:: SOT 10908469 SOS 6060569 HAS SOPS 6060569 HAS SOUS 5254266 HAS SOUPS 5254266 WITH SCORE 5260326.569
AT ITER 2894 NEW BEST:: SOT 10908469 SOS 6060488 HAS SOPS 6060488 HAS SOUS 5254014 HAS SOUPS 5254014 WITH SCORE 5260074.488
AT ITER 2898 NEW BEST:: SOT 10906588 SOS 6060584 HAS SOPS 6060584 HAS SOUS 5253075 HAS SOUPS 5253075 WITH SCORE 5259135.584
AT ITER 2900 NEW BEST:: SOT 10906588 SOS 6060542 HAS SOPS 6060542 HAS SOUS 5253075 HAS SOUPS 5253075 WITH SCORE 5259135.542
AT ITER 2903 NEW BEST:: SOT 10906588 SOS 6060513 HAS SOPS 6060513 HAS SOUS 5253075 HAS SOUPS 5253075 WITH SCORE 5259135.513
AT ITER 2906 NEW BEST:: SOT 10906588 SOS 6059616 HAS SOPS 6059616 HAS SOUS 5253075 HAS SOUPS 5253075 WITH SCORE 5259134.616
AT ITER 2911 NEW BEST:: SOT 10905808 SOS 6058880 HAS SOPS 6058880 HAS SOUS 5252339 HAS SOUPS 5252339 WITH SCORE 5258397.88
AT ITER 2915 NEW BEST:: SOT 10905681 SOS 6059156 HAS SOPS 6059156 HAS SOUS 5252212 HAS SOUPS 5252212 WITH SCORE 5258271.156
AT ITER 2932 NEW BEST:: SOT 10905338 SOS 6058974 HAS SOPS 6058974 HAS SOUS 5252030 HAS SOUPS 5252030 WITH SCORE 5258088.974
AT ITER 2934 NEW BEST:: SOT 10904170 SOS 6057806 HAS SOPS 6057806 HAS SOUS 5250862 HAS SOUPS 5250862 WITH SCORE 5256919.806
AT ITER 2935 NEW BEST:: SOT 10904170 SOS 6057653 HAS SOPS 6057653 HAS SOUS 5250862 HAS SOUPS 5250862 WITH SCORE 5256919.653
AT ITER 2939 NEW BEST:: SOT 10904170 SOS 6057653 HAS SOPS 6057653 HAS SOUS 5250704 HAS SOUPS 5250704 WITH SCORE 5256761.653
AT ITER 2941 NEW BEST:: SOT 10904170 SOS 6057404 HAS SOPS 6057404 HAS SOUS 5250648 HAS SOUPS 5250648 WITH SCORE 5256705.404
AT ITER 2945 NEW BEST:: SOT 10902468 SOS 6057192 HAS SOPS 6057192 HAS SOUS 5249211 HAS SOUPS 5249211 WITH SCORE 5255268.192
AT ITER 2951 NEW BEST:: SOT 10902468 SOS 6056898 HAS SOPS 6056898 HAS SOUS 5249211 HAS SOUPS 5249211 WITH SCORE 5255267.898
AT ITER 2953 NEW BEST:: SOT 10902040 SOS 6056577 HAS SOPS 6056577 HAS SOUS 5248872 HAS SOUPS 5248872 WITH SCORE 5254928.577
AT ITER 2961 NEW BEST:: SOT 10900273 SOS 6054810 HAS SOPS 6054810 HAS SOUS 5247317 HAS SOUPS 5247317 WITH SCORE 5253371.81
AT ITER 2978 NEW BEST:: SOT 10900273 SOS 6054308 HAS SOPS 6054308 HAS SOUS 5247317 HAS SOUPS 5247317 WITH SCORE 5253371.308
AT ITER 2979 NEW BEST:: SOT 10900273 SOS 6054244 HAS SOPS 6054244 HAS SOUS 5247316 HAS SOUPS 5247316 WITH SCORE 5253370.244
AT ITER 2982 NEW BEST:: SOT 10900273 SOS 6054226 HAS SOPS 6054226 HAS SOUS 5247316 HAS SOUPS 5247316 WITH SCORE 5253370.226
AT ITER 2983 NEW BEST:: SOT 10900273 SOS 6053519 HAS SOPS 6053519 HAS SOUS 5247316 HAS SOUPS 5247316 WITH SCORE 5253369.519
AT ITER 2985 NEW BEST:: SOT 10898658 SOS 6056531 HAS SOPS 6056531 HAS SOUS 5246744 HAS SOUPS 5246744 WITH SCORE 5252800.531
AT ITER 2989 NEW BEST:: SOT 10898658 SOS 6056061 HAS SOPS 6056061 HAS SOUS 5246744 HAS SOUPS 5246744 WITH SCORE 5252800.061
AT ITER 3000 NEW BEST:: SOT 10899214 SOS 6056239 HAS SOPS 6056239 HAS SOUS 5246557 HAS SOUPS 5246557 WITH SCORE 5252613.239
AT ITER 3003 NEW BEST:: SOT 10897108 SOS 6055226 HAS SOPS 6055226 HAS SOUS 5244988 HAS SOUPS 5244988 WITH SCORE 5251043.226
AT ITER 3008 NEW BEST:: SOT 10892551 SOS 6051988 HAS SOPS 6051988 HAS SOUS 5240881 HAS SOUPS 5240881 WITH SCORE 5246932.988
AT ITER 3011 NEW BEST:: SOT 10892551 SOS 6048688 HAS SOPS 6048688 HAS SOUS 5240606 HAS SOUPS 5240606 WITH SCORE 5246654.688
AT ITER 3015 NEW BEST:: SOT 10892551 SOS 6047796 HAS SOPS 6047796 HAS SOUS 5240606 HAS SOUPS 5240606 WITH SCORE 5246653.796
AT ITER 3018 NEW BEST:: SOT 10892555 SOS 6047882 HAS SOPS 6047882 HAS SOUS 5240401 HAS SOUPS 5240401 WITH SCORE 5246448.882
AT ITER 3020 NEW BEST:: SOT 10892357 SOS 6047684 HAS SOPS 6047684 HAS SOUS 5239938 HAS SOUPS 5239938 WITH SCORE 5245985.684
AT ITER 3022 NEW BEST:: SOT 10892357 SOS 6047081 HAS SOPS 6047081 HAS SOUS 5239938 HAS SOUPS 5239938 WITH SCORE 5245985.081
AT ITER 3028 NEW BEST:: SOT 10892357 SOS 6047023 HAS SOPS 6047023 HAS SOUS 5239938 HAS SOUPS 5239938 WITH SCORE 5245985.023
AT ITER 3029 NEW BEST:: SOT 10892357 SOS 6046962 HAS SOPS 6046962 HAS SOUS 5239938 HAS SOUPS 5239938 WITH SCORE 5245984.962
AT ITER 3036 NEW BEST:: SOT 10892357 SOS 6046870 HAS SOPS 6046870 HAS SOUS 5239938 HAS SOUPS 5239938 WITH SCORE 5245984.87
AT ITER 3039 NEW BEST:: SOT 10889438 SOS 6051472 HAS SOPS 6051472 HAS SOUS 5238404 HAS SOUPS 5238404 WITH SCORE 5244455.472
AT ITER 3043 NEW BEST:: SOT 10889438 SOS 6051299 HAS SOPS 6051299 HAS SOUS 5238404 HAS SOUPS 5238404 WITH SCORE 5244455.299
AT ITER 3045 NEW BEST:: SOT 10889438 SOS 6051143 HAS SOPS 6051143 HAS SOUS 5238404 HAS SOUPS 5238404 WITH SCORE 5244455.143
AT ITER 3047 NEW BEST:: SOT 10889036 SOS 6051562 HAS SOPS 6051562 HAS SOUS 5238265 HAS SOUPS 5238265 WITH SCORE 5244316.562
AT ITER 3050 NEW BEST:: SOT 10889036 SOS 6051019 HAS SOPS 6051019 HAS SOUS 5238225 HAS SOUPS 5238225 WITH SCORE 5244276.019
AT ITER 3051 NEW BEST:: SOT 10883903 SOS 6049759 HAS SOPS 6049759 HAS SOUS 5233833 HAS SOUPS 5233833 WITH SCORE 5239882.759
AT ITER 3052 NEW BEST:: SOT 10883903 SOS 6049479 HAS SOPS 6049479 HAS SOUS 5233833 HAS SOUPS 5233833 WITH SCORE 5239882.479
AT ITER 3055 NEW BEST:: SOT 10884338 SOS 6049668 HAS SOPS 6049668 HAS SOUS 5233634 HAS SOUPS 5233634 WITH SCORE 5239683.668
AT ITER 3062 NEW BEST:: SOT 10884338 SOS 6031107 HAS SOPS 6031107 HAS SOUS 5231265 HAS SOUPS 5231265 WITH SCORE 5237296.107
AT ITER 3064 NEW BEST:: SOT 10884103 SOS 6029086 HAS SOPS 6029086 HAS SOUS 5230684 HAS SOUPS 5230684 WITH SCORE 5236713.086
AT ITER 3066 NEW BEST:: SOT 10879869 SOS 6031261 HAS SOPS 6031261 HAS SOUS 5227353 HAS SOUPS 5227353 WITH SCORE 5233384.261
AT ITER 3072 NEW BEST:: SOT 10879869 SOS 6030984 HAS SOPS 6030984 HAS SOUS 5227353 HAS SOUPS 5227353 WITH SCORE 5233383.984
AT ITER 3079 NEW BEST:: SOT 10879869 SOS 6030495 HAS SOPS 6030495 HAS SOUS 5227353 HAS SOUPS 5227353 WITH SCORE 5233383.495
AT ITER 3080 NEW BEST:: SOT 10880147 SOS 6030476 HAS SOPS 6030476 HAS SOUS 5227138 HAS SOUPS 5227138 WITH SCORE 5233168.476
AT ITER 3086 NEW BEST:: SOT 10879657 SOS 6030476 HAS SOPS 6030476 HAS SOUS 5226893 HAS SOUPS 5226893 WITH SCORE 5232923.476
AT ITER 3089 NEW BEST:: SOT 10879657 SOS 6030295 HAS SOPS 6030295 HAS SOUS 5226893 HAS SOUPS 5226893 WITH SCORE 5232923.295
AT ITER 3091 NEW BEST:: SOT 10877598 SOS 6028706 HAS SOPS 6028706 HAS SOUS 5225265 HAS SOUPS 5225265 WITH SCORE 5231293.706
AT ITER 3096 NEW BEST:: SOT 10877598 SOS 6028116 HAS SOPS 6028116 HAS SOUS 5225265 HAS SOUPS 5225265 WITH SCORE 5231293.116
AT ITER 3102 NEW BEST:: SOT 10877598 SOS 6027331 HAS SOPS 6027331 HAS SOUS 5225265 HAS SOUPS 5225265 WITH SCORE 5231292.331
AT ITER 3106 NEW BEST:: SOT 10877598 SOS 6027233 HAS SOPS 6027233 HAS SOUS 5225265 HAS SOUPS 5225265 WITH SCORE 5231292.233
AT ITER 3109 NEW BEST:: SOT 10873609 SOS 6028037 HAS SOPS 6028037 HAS SOUS 5223882 HAS SOUPS 5223882 WITH SCORE 5229910.037
AT ITER 3112 NEW BEST:: SOT 10871328 SOS 6030719 HAS SOPS 6030719 HAS SOUS 5223561 HAS SOUPS 5223561 WITH SCORE 5229591.719
AT ITER 3118 NEW BEST:: SOT 10871328 SOS 6030472 HAS SOPS 6030472 HAS SOUS 5223561 HAS SOUPS 5223561 WITH SCORE 5229591.472
AT ITER 3126 NEW BEST:: SOT 10871328 SOS 6019040 HAS SOPS 6019040 HAS SOUS 5222987 HAS SOUPS 5222987 WITH SCORE 5229006.04
AT ITER 3134 NEW BEST:: SOT 10871328 SOS 6018689 HAS SOPS 6018689 HAS SOUS 5222592 HAS SOUPS 5222592 WITH SCORE 5228610.689
AT ITER 3162 NEW BEST:: SOT 10871328 SOS 6018577 HAS SOPS 6018577 HAS SOUS 5222592 HAS SOUPS 5222592 WITH SCORE 5228610.577
AT ITER 3163 NEW BEST:: SOT 10871328 SOS 6017814 HAS SOPS 6017814 HAS SOUS 5222511 HAS SOUPS 5222511 WITH SCORE 5228528.814
AT ITER 3179 NEW BEST:: SOT 10871328 SOS 6017814 HAS SOPS 6017814 HAS SOUS 5221892 HAS SOUPS 5221892 WITH SCORE 5227909.814
AT ITER 3181 NEW BEST:: SOT 10871328 SOS 6017585 HAS SOPS 6017585 HAS SOUS 5221892 HAS SOUPS 5221892 WITH SCORE 5227909.585
AT ITER 3190 NEW BEST:: SOT 10868977 SOS 6030105 HAS SOPS 6030105 HAS SOUS 5221712 HAS SOUPS 5221712 WITH SCORE 5227742.105
AT ITER 3191 NEW BEST:: SOT 10869233 SOS 6031592 HAS SOPS 6031592 HAS SOUS 5221667 HAS SOUPS 5221667 WITH SCORE 5227698.592
AT ITER 3200 NEW BEST:: SOT 10869005 SOS 6031478 HAS SOPS 6031478 HAS SOUS 5221211 HAS SOUPS 5221211 WITH SCORE 5227242.478
AT ITER 3201 NEW BEST:: SOT 10868851 SOS 6031324 HAS SOPS 6031324 HAS SOUS 5220861 HAS SOUPS 5220861 WITH SCORE 5226892.324
AT ITER 3208 NEW BEST:: SOT 10868851 SOS 6030086 HAS SOPS 6030086 HAS SOUS 5220861 HAS SOUPS 5220861 WITH SCORE 5226891.086
AT ITER 3209 NEW BEST:: SOT 10865665 SOS 6030450 HAS SOPS 6030450 HAS SOUS 5218740 HAS SOUPS 5218740 WITH SCORE 5224770.45
AT ITER 3214 NEW BEST:: SOT 10864474 SOS 6042928 HAS SOPS 6042928 HAS SOUS 5218035 HAS SOUPS 5218035 WITH SCORE 5224077.928
AT ITER 3215 NEW BEST:: SOT 10864474 SOS 6043749 HAS SOPS 6043749 HAS SOUS 5217626 HAS SOUPS 5217626 WITH SCORE 5223669.749
AT ITER 3219 NEW BEST:: SOT 10864474 SOS 6043725 HAS SOPS 6043725 HAS SOUS 5217626 HAS SOUPS 5217626 WITH SCORE 5223669.725
AT ITER 3226 NEW BEST:: SOT 10864474 SOS 6043605 HAS SOPS 6043605 HAS SOUS 5217626 HAS SOUPS 5217626 WITH SCORE 5223669.605
AT ITER 3235 NEW BEST:: SOT 10864474 SOS 6043461 HAS SOPS 6043461 HAS SOUS 5217626 HAS SOUPS 5217626 WITH SCORE 5223669.461
AT ITER 3236 NEW BEST:: SOT 10864474 SOS 6037485 HAS SOPS 6037485 HAS SOUS 5217440 HAS SOUPS 5217440 WITH SCORE 5223477.485
AT ITER 3247 NEW BEST:: SOT 10864277 SOS 6036634 HAS SOPS 6036634 HAS SOUS 5216547 HAS SOUPS 5216547 WITH SCORE 5222583.634
AT ITER 3248 NEW BEST:: SOT 10864421 SOS 6036588 HAS SOPS 6036588 HAS SOUS 5216475 HAS SOUPS 5216475 WITH SCORE 5222511.588
AT ITER 3253 NEW BEST:: SOT 10864421 SOS 6036462 HAS SOPS 6036462 HAS SOUS 5216475 HAS SOUPS 5216475 WITH SCORE 5222511.462
AT ITER 3255 NEW BEST:: SOT 10862718 SOS 6035610 HAS SOPS 6035610 HAS SOUS 5215256 HAS SOUPS 5215256 WITH SCORE 5221291.61
AT ITER 3257 NEW BEST:: SOT 10862718 SOS 6035578 HAS SOPS 6035578 HAS SOUS 5215256 HAS SOUPS 5215256 WITH SCORE 5221291.578
AT ITER 3261 NEW BEST:: SOT 10863447 SOS 6036117 HAS SOPS 6036117 HAS SOUS 5215161 HAS SOUPS 5215161 WITH SCORE 5221197.117
AT ITER 3271 NEW BEST:: SOT 10862647 SOS 6035517 HAS SOPS 6035517 HAS SOUS 5214361 HAS SOUPS 5214361 WITH SCORE 5220396.517
AT ITER 3273 NEW BEST:: SOT 10859600 SOS 6035926 HAS SOPS 6035926 HAS SOUS 5213223 HAS SOUPS 5213223 WITH SCORE 5219258.926
AT ITER 3275 NEW BEST:: SOT 10856774 SOS 6034613 HAS SOPS 6034613 HAS SOUS 5213126 HAS SOUPS 5213126 WITH SCORE 5219160.613
AT ITER 3289 NEW BEST:: SOT 10856774 SOS 6033950 HAS SOPS 6033950 HAS SOUS 5213126 HAS SOUPS 5213126 WITH SCORE 5219159.95
AT ITER 3290 NEW BEST:: SOT 10849784 SOS 6028778 HAS SOPS 6028778 HAS SOUS 5207826 HAS SOUPS 5207826 WITH SCORE 5213854.778
AT ITER 3291 NEW BEST:: SOT 10849058 SOS 6029927 HAS SOPS 6029927 HAS SOUS 5207100 HAS SOUPS 5207100 WITH SCORE 5213129.927
AT ITER 3295 NEW BEST:: SOT 10849058 SOS 6029092 HAS SOPS 6029092 HAS SOUS 5207100 HAS SOUPS 5207100 WITH SCORE 5213129.092
AT ITER 3296 NEW BEST:: SOT 10849058 SOS 6029053 HAS SOPS 6029053 HAS SOUS 5207100 HAS SOUPS 5207100 WITH SCORE 5213129.053
AT ITER 3297 NEW BEST:: SOT 10849058 SOS 6028643 HAS SOPS 6028643 HAS SOUS 5207100 HAS SOUPS 5207100 WITH SCORE 5213128.643
AT ITER 3298 NEW BEST:: SOT 10847792 SOS 6027799 HAS SOPS 6027799 HAS SOUS 5205834 HAS SOUPS 5205834 WITH SCORE 5211861.799
AT ITER 3302 NEW BEST:: SOT 10847792 SOS 6027463 HAS SOPS 6027463 HAS SOUS 5205834 HAS SOUPS 5205834 WITH SCORE 5211861.463
AT ITER 3304 NEW BEST:: SOT 10847792 SOS 6027392 HAS SOPS 6027392 HAS SOUS 5205652 HAS SOUPS 5205652 WITH SCORE 5211679.392
AT ITER 3312 NEW BEST:: SOT 10845978 SOS 6026087 HAS SOPS 6026087 HAS SOUS 5205332 HAS SOUPS 5205332 WITH SCORE 5211358.087
AT ITER 3316 NEW BEST:: SOT 10844244 SOS 6024747 HAS SOPS 6024747 HAS SOUS 5203781 HAS SOUPS 5203781 WITH SCORE 5209805.747
AT ITER 3318 NEW BEST:: SOT 10844244 SOS 6024801 HAS SOPS 6024801 HAS SOUS 5203379 HAS SOUPS 5203379 WITH SCORE 5209403.801
AT ITER 3321 NEW BEST:: SOT 10844244 SOS 6024398 HAS SOPS 6024398 HAS SOUS 5203379 HAS SOUPS 5203379 WITH SCORE 5209403.398
AT ITER 3328 NEW BEST:: SOT 10844244 SOS 6024029 HAS SOPS 6024029 HAS SOUS 5203379 HAS SOUPS 5203379 WITH SCORE 5209403.029
AT ITER 3329 NEW BEST:: SOT 10844244 SOS 6023080 HAS SOPS 6023080 HAS SOUS 5203379 HAS SOUPS 5203379 WITH SCORE 5209402.08
AT ITER 3332 NEW BEST:: SOT 10844244 SOS 6022807 HAS SOPS 6022807 HAS SOUS 5203379 HAS SOUPS 5203379 WITH SCORE 5209401.807
AT ITER 3342 NEW BEST:: SOT 10844244 SOS 6022742 HAS SOPS 6022742 HAS SOUS 5203379 HAS SOUPS 5203379 WITH SCORE 5209401.742
AT ITER 3346 NEW BEST:: SOT 10844244 SOS 6021524 HAS SOPS 6021524 HAS SOUS 5203379 HAS SOUPS 5203379 WITH SCORE 5209400.524
AT ITER 3356 NEW BEST:: SOT 10844244 SOS 6021028 HAS SOPS 6021028 HAS SOUS 5203379 HAS SOUPS 5203379 WITH SCORE 5209400.028
AT ITER 3357 NEW BEST:: SOT 10838322 SOS 6021509 HAS SOPS 6021509 HAS SOUS 5200798 HAS SOUPS 5200798 WITH SCORE 5206819.509
AT ITER 3359 NEW BEST:: SOT 10838293 SOS 6021309 HAS SOPS 6021309 HAS SOUS 5200719 HAS SOUPS 5200719 WITH SCORE 5206740.309
AT ITER 3370 NEW BEST:: SOT 10835316 SOS 6020351 HAS SOPS 6020351 HAS SOUS 5199532 HAS SOUPS 5199532 WITH SCORE 5205552.351
AT ITER 3371 NEW BEST:: SOT 10835393 SOS 6019865 HAS SOPS 6019865 HAS SOUS 5199530 HAS SOUPS 5199530 WITH SCORE 5205549.865
AT ITER 3374 NEW BEST:: SOT 10835393 SOS 6017012 HAS SOPS 6017012 HAS SOUS 5198894 HAS SOUPS 5198894 WITH SCORE 5204911.012
AT ITER 3385 NEW BEST:: SOT 10835587 SOS 6017272 HAS SOPS 6017272 HAS SOUS 5198847 HAS SOUPS 5198847 WITH SCORE 5204864.272
AT ITER 3386 NEW BEST:: SOT 10835587 SOS 6016713 HAS SOPS 6016713 HAS SOUS 5198847 HAS SOUPS 5198847 WITH SCORE 5204863.713
AT ITER 3393 NEW BEST:: SOT 10834233 SOS 6029741 HAS SOPS 6029741 HAS SOUS 5198165 HAS SOUPS 5198165 WITH SCORE 5204194.741
AT ITER 3396 NEW BEST:: SOT 10834233 SOS 6023716 HAS SOPS 6023716 HAS SOUS 5198058 HAS SOUPS 5198058 WITH SCORE 5204081.716
AT ITER 3397 NEW BEST:: SOT 10834233 SOS 6023542 HAS SOPS 6023542 HAS SOUS 5198058 HAS SOUPS 5198058 WITH SCORE 5204081.542
AT ITER 3399 NEW BEST:: SOT 10834023 SOS 6023225 HAS SOPS 6023225 HAS SOUS 5197614 HAS SOUPS 5197614 WITH SCORE 5203637.225
AT ITER 3400 NEW BEST:: SOT 10831634 SOS 6021023 HAS SOPS 6021023 HAS SOUS 5195412 HAS SOUPS 5195412 WITH SCORE 5201433.023
AT ITER 3408 NEW BEST:: SOT 10831634 SOS 6020884 HAS SOPS 6020884 HAS SOUS 5195412 HAS SOUPS 5195412 WITH SCORE 5201432.884
AT ITER 3409 NEW BEST:: SOT 10830806 SOS 6020056 HAS SOPS 6020056 HAS SOUS 5194584 HAS SOUPS 5194584 WITH SCORE 5200604.056
AT ITER 3413 NEW BEST:: SOT 10827425 SOS 6016202 HAS SOPS 6016202 HAS SOUS 5190646 HAS SOUPS 5190646 WITH SCORE 5196662.202
AT ITER 3426 NEW BEST:: SOT 10826170 SOS 6014696 HAS SOPS 6014696 HAS SOUS 5189032 HAS SOUPS 5189032 WITH SCORE 5195046.696
AT ITER 3432 NEW BEST:: SOT 10826170 SOS 6013919 HAS SOPS 6013919 HAS SOUS 5189032 HAS SOUPS 5189032 WITH SCORE 5195045.919
AT ITER 3434 NEW BEST:: SOT 10825841 SOS 6013805 HAS SOPS 6013805 HAS SOUS 5188918 HAS SOUPS 5188918 WITH SCORE 5194931.805
AT ITER 3437 NEW BEST:: SOT 10825841 SOS 6013412 HAS SOPS 6013412 HAS SOUS 5188918 HAS SOUPS 5188918 WITH SCORE 5194931.412
AT ITER 3438 NEW BEST:: SOT 10825841 SOS 6012635 HAS SOPS 6012635 HAS SOUS 5188918 HAS SOUPS 5188918 WITH SCORE 5194930.635
AT ITER 3444 NEW BEST:: SOT 10825378 SOS 6012587 HAS SOPS 6012587 HAS SOUS 5188697 HAS SOUPS 5188697 WITH SCORE 5194709.587
AT ITER 3448 NEW BEST:: SOT 10823665 SOS 6010913 HAS SOPS 6010913 HAS SOUS 5187023 HAS SOUPS 5187023 WITH SCORE 5193033.913
AT ITER 3455 NEW BEST:: SOT 10824164 SOS 6010353 HAS SOPS 6010353 HAS SOUS 5186659 HAS SOUPS 5186659 WITH SCORE 5192669.353
AT ITER 3464 NEW BEST:: SOT 10824164 SOS 6010353 HAS SOPS 6010353 HAS SOUS 5186238 HAS SOUPS 5186238 WITH SCORE 5192248.353
AT ITER 3468 NEW BEST:: SOT 10824112 SOS 6010353 HAS SOPS 6010353 HAS SOUS 5186186 HAS SOUPS 5186186 WITH SCORE 5192196.353
AT ITER 3473 NEW BEST:: SOT 10824112 SOS 6009843 HAS SOPS 6009843 HAS SOUS 5185675 HAS SOUPS 5185675 WITH SCORE 5191684.843
AT ITER 3475 NEW BEST:: SOT 10824112 SOS 6009310 HAS SOPS 6009310 HAS SOUS 5185675 HAS SOUPS 5185675 WITH SCORE 5191684.31
AT ITER 3477 NEW BEST:: SOT 10824112 SOS 6009252 HAS SOPS 6009252 HAS SOUS 5185675 HAS SOUPS 5185675 WITH SCORE 5191684.252
AT ITER 3486 NEW BEST:: SOT 10823895 SOS 6009376 HAS SOPS 6009376 HAS SOUS 5185390 HAS SOUPS 5185390 WITH SCORE 5191399.376
AT ITER 3487 NEW BEST:: SOT 10823895 SOS 6009008 HAS SOPS 6009008 HAS SOUS 5185390 HAS SOUPS 5185390 WITH SCORE 5191399.008
AT ITER 3490 NEW BEST:: SOT 10820503 SOS 6007719 HAS SOPS 6007719 HAS SOUS 5184323 HAS SOUPS 5184323 WITH SCORE 5190330.719
AT ITER 3491 NEW BEST:: SOT 10819697 SOS 6007047 HAS SOPS 6007047 HAS SOUS 5183651 HAS SOUPS 5183651 WITH SCORE 5189658.047
AT ITER 3495 NEW BEST:: SOT 10819697 SOS 6006477 HAS SOPS 6006477 HAS SOUS 5183651 HAS SOUPS 5183651 WITH SCORE 5189657.477
AT ITER 3506 NEW BEST:: SOT 10819697 SOS 6006362 HAS SOPS 6006362 HAS SOUS 5183651 HAS SOUPS 5183651 WITH SCORE 5189657.362
AT ITER 3507 NEW BEST:: SOT 10819697 SOS 6006721 HAS SOPS 6006721 HAS SOUS 5183286 HAS SOUPS 5183286 WITH SCORE 5189292.721
AT ITER 3509 NEW BEST:: SOT 10819697 SOS 6005413 HAS SOPS 6005413 HAS SOUS 5183286 HAS SOUPS 5183286 WITH SCORE 5189291.413
AT ITER 3514 NEW BEST:: SOT 10818191 SOS 6005933 HAS SOPS 6005933 HAS SOUS 5183173 HAS SOUPS 5183173 WITH SCORE 5189178.933
AT ITER 3515 NEW BEST:: SOT 10818191 SOS 6005708 HAS SOPS 6005708 HAS SOUS 5183148 HAS SOUPS 5183148 WITH SCORE 5189153.708
AT ITER 3516 NEW BEST:: SOT 10814590 SOS 6002582 HAS SOPS 6002582 HAS SOUS 5179699 HAS SOUPS 5179699 WITH SCORE 5185701.582
AT ITER 3521 NEW BEST:: SOT 10814033 SOS 6002025 HAS SOPS 6002025 HAS SOUS 5178903 HAS SOUPS 5178903 WITH SCORE 5184905.025
AT ITER 3526 NEW BEST:: SOT 10814033 SOS 6001307 HAS SOPS 6001307 HAS SOUS 5178902 HAS SOUPS 5178902 WITH SCORE 5184903.307
AT ITER 3533 NEW BEST:: SOT 10811219 SOS 6006880 HAS SOPS 6006880 HAS SOUS 5177354 HAS SOUPS 5177354 WITH SCORE 5183360.88
AT ITER 3539 NEW BEST:: SOT 10810267 SOS 6006228 HAS SOPS 6006228 HAS SOUS 5176855 HAS SOUPS 5176855 WITH SCORE 5182861.228
AT ITER 3540 NEW BEST:: SOT 10809826 SOS 6004869 HAS SOPS 6004869 HAS SOUS 5175188 HAS SOUPS 5175188 WITH SCORE 5181192.869
AT ITER 3542 NEW BEST:: SOT 10809711 SOS 6004754 HAS SOPS 6004754 HAS SOUS 5175073 HAS SOUPS 5175073 WITH SCORE 5181077.754
AT ITER 3544 NEW BEST:: SOT 10809711 SOS 6004754 HAS SOPS 6004754 HAS SOUS 5175065 HAS SOUPS 5175065 WITH SCORE 5181069.754
AT ITER 3550 NEW BEST:: SOT 10809711 SOS 6004367 HAS SOPS 6004367 HAS SOUS 5175065 HAS SOUPS 5175065 WITH SCORE 5181069.367
AT ITER 3574 NEW BEST:: SOT 10810471 SOS 6004128 HAS SOPS 6004128 HAS SOUS 5173967 HAS SOUPS 5173967 WITH SCORE 5179971.128
AT ITER 3577 NEW BEST:: SOT 10808210 SOS 6004982 HAS SOPS 6004982 HAS SOUS 5172695 HAS SOUPS 5172695 WITH SCORE 5178699.982
AT ITER 3586 NEW BEST:: SOT 10808603 SOS 6006072 HAS SOPS 6006072 HAS SOUS 5172458 HAS SOUPS 5172458 WITH SCORE 5178464.072
AT ITER 3593 NEW BEST:: SOT 10803086 SOS 6017841 HAS SOPS 6017841 HAS SOUS 5169278 HAS SOUPS 5169278 WITH SCORE 5175295.841
AT ITER 3599 NEW BEST:: SOT 10803086 SOS 6017405 HAS SOPS 6017405 HAS SOUS 5169278 HAS SOUPS 5169278 WITH SCORE 5175295.405
AT ITER 3601 NEW BEST:: SOT 10800835 SOS 6024204 HAS SOPS 6024204 HAS SOUS 5168440 HAS SOUPS 5168440 WITH SCORE 5174464.204
AT ITER 3603 NEW BEST:: SOT 10800835 SOS 6022811 HAS SOPS 6022811 HAS SOUS 5168287 HAS SOUPS 5168287 WITH SCORE 5174309.811
AT ITER 3611 NEW BEST:: SOT 10800835 SOS 6022243 HAS SOPS 6022243 HAS SOUS 5168287 HAS SOUPS 5168287 WITH SCORE 5174309.243
AT ITER 3616 NEW BEST:: SOT 10800266 SOS 6021820 HAS SOPS 6021820 HAS SOUS 5167864 HAS SOUPS 5167864 WITH SCORE 5173885.82
AT ITER 3618 NEW BEST:: SOT 10800266 SOS 6021664 HAS SOPS 6021664 HAS SOUS 5167864 HAS SOUPS 5167864 WITH SCORE 5173885.664
AT ITER 3627 NEW BEST:: SOT 10800266 SOS 6021544 HAS SOPS 6021544 HAS SOUS 5167864 HAS SOUPS 5167864 WITH SCORE 5173885.544
AT ITER 3630 NEW BEST:: SOT 10800266 SOS 6020321 HAS SOPS 6020321 HAS SOUS 5167864 HAS SOUPS 5167864 WITH SCORE 5173884.321
AT ITER 3632 NEW BEST:: SOT 10799114 SOS 6019223 HAS SOPS 6019223 HAS SOUS 5167387 HAS SOUPS 5167387 WITH SCORE 5173406.223
AT ITER 3635 NEW BEST:: SOT 10796729 SOS 6022157 HAS SOPS 6022157 HAS SOUS 5166856 HAS SOUPS 5166856 WITH SCORE 5172878.157
AT ITER 3639 NEW BEST:: SOT 10796410 SOS 6025755 HAS SOPS 6025755 HAS SOUS 5166537 HAS SOUPS 5166537 WITH SCORE 5172562.755
AT ITER 3643 NEW BEST:: SOT 10794555 SOS 6024198 HAS SOPS 6024198 HAS SOUS 5164700 HAS SOUPS 5164700 WITH SCORE 5170724.198
AT ITER 3644 NEW BEST:: SOT 10789162 SOS 6020172 HAS SOPS 6020172 HAS SOUS 5160516 HAS SOUPS 5160516 WITH SCORE 5166536.172
AT ITER 3650 NEW BEST:: SOT 10789354 SOS 6020016 HAS SOPS 6020016 HAS SOUS 5160463 HAS SOUPS 5160463 WITH SCORE 5166483.016
AT ITER 3653 NEW BEST:: SOT 10789354 SOS 6019467 HAS SOPS 6019467 HAS SOUS 5160463 HAS SOUPS 5160463 WITH SCORE 5166482.467
AT ITER 3654 NEW BEST:: SOT 10789354 SOS 6017771 HAS SOPS 6017771 HAS SOUS 5160463 HAS SOUPS 5160463 WITH SCORE 5166480.771
AT ITER 3657 NEW BEST:: SOT 10788130 SOS 6019107 HAS SOPS 6019107 HAS SOUS 5159776 HAS SOUPS 5159776 WITH SCORE 5165795.107
AT ITER 3663 NEW BEST:: SOT 10788130 SOS 6018323 HAS SOPS 6018323 HAS SOUS 5159136 HAS SOUPS 5159136 WITH SCORE 5165154.323
AT ITER 3667 NEW BEST:: SOT 10788741 SOS 6019278 HAS SOPS 6019278 HAS SOUS 5159019 HAS SOUPS 5159019 WITH SCORE 5165038.278
AT ITER 3671 NEW BEST:: SOT 10788516 SOS 6019053 HAS SOPS 6019053 HAS SOUS 5158374 HAS SOUPS 5158374 WITH SCORE 5164393.053
AT ITER 3674 NEW BEST:: SOT 10785917 SOS 6020275 HAS SOPS 6020275 HAS SOUS 5157413 HAS SOUPS 5157413 WITH SCORE 5163433.275
AT ITER 3680 NEW BEST:: SOT 10785917 SOS 6019633 HAS SOPS 6019633 HAS SOUS 5157413 HAS SOUPS 5157413 WITH SCORE 5163432.633
AT ITER 3684 NEW BEST:: SOT 10785917 SOS 6017906 HAS SOPS 6017906 HAS SOUS 5157413 HAS SOUPS 5157413 WITH SCORE 5163430.906
AT ITER 3686 NEW BEST:: SOT 10783005 SOS 6015419 HAS SOPS 6015419 HAS SOUS 5155490 HAS SOUPS 5155490 WITH SCORE 5161505.419
AT ITER 3690 NEW BEST:: SOT 10783005 SOS 6015056 HAS SOPS 6015056 HAS SOUS 5155490 HAS SOUPS 5155490 WITH SCORE 5161505.056
AT ITER 3696 NEW BEST:: SOT 10783005 SOS 6014899 HAS SOPS 6014899 HAS SOUS 5155469 HAS SOUPS 5155469 WITH SCORE 5161483.899
AT ITER 3697 NEW BEST:: SOT 10782627 SOS 6014920 HAS SOPS 6014920 HAS SOUS 5154958 HAS SOUPS 5154958 WITH SCORE 5160972.92
AT ITER 3702 NEW BEST:: SOT 10782384 SOS 6014033 HAS SOPS 6014033 HAS SOUS 5153931 HAS SOUPS 5153931 WITH SCORE 5159945.033
AT ITER 3707 NEW BEST:: SOT 10782384 SOS 6013781 HAS SOPS 6013781 HAS SOUS 5153931 HAS SOUPS 5153931 WITH SCORE 5159944.781
AT ITER 3710 NEW BEST:: SOT 10782384 SOS 6013564 HAS SOPS 6013564 HAS SOUS 5153773 HAS SOUPS 5153773 WITH SCORE 5159786.564
AT ITER 3712 NEW BEST:: SOT 10776776 SOS 6005469 HAS SOPS 6005469 HAS SOUS 5147960 HAS SOUPS 5147960 WITH SCORE 5153965.469
AT ITER 3719 NEW BEST:: SOT 10776543 SOS 6020822 HAS SOPS 6020822 HAS SOUS 5147790 HAS SOUPS 5147790 WITH SCORE 5153810.822
AT ITER 3720 NEW BEST:: SOT 10776543 SOS 6020472 HAS SOPS 6020472 HAS SOUS 5147790 HAS SOUPS 5147790 WITH SCORE 5153810.472
AT ITER 3724 NEW BEST:: SOT 10776543 SOS 6020340 HAS SOPS 6020340 HAS SOUS 5147790 HAS SOUPS 5147790 WITH SCORE 5153810.34
AT ITER 3727 NEW BEST:: SOT 10770814 SOS 6020391 HAS SOPS 6020391 HAS SOUS 5142061 HAS SOUPS 5142061 WITH SCORE 5148081.391
AT ITER 3729 NEW BEST:: SOT 10770814 SOS 6019614 HAS SOPS 6019614 HAS SOUS 5142061 HAS SOUPS 5142061 WITH SCORE 5148080.614
AT ITER 3731 NEW BEST:: SOT 10770814 SOS 6019596 HAS SOPS 6019596 HAS SOUS 5142061 HAS SOUPS 5142061 WITH SCORE 5148080.596
AT ITER 3734 NEW BEST:: SOT 10770814 SOS 6019584 HAS SOPS 6019584 HAS SOUS 5142061 HAS SOUPS 5142061 WITH SCORE 5148080.584
AT ITER 3735 NEW BEST:: SOT 10770715 SOS 6019384 HAS SOPS 6019384 HAS SOUS 5142029 HAS SOUPS 5142029 WITH SCORE 5148048.384
AT ITER 3738 NEW BEST:: SOT 10770715 SOS 6019384 HAS SOPS 6019384 HAS SOUS 5141300 HAS SOUPS 5141300 WITH SCORE 5147319.384
AT ITER 3739 NEW BEST:: SOT 10770715 SOS 6017332 HAS SOPS 6017332 HAS SOUS 5141300 HAS SOUPS 5141300 WITH SCORE 5147317.332
AT ITER 3747 NEW BEST:: SOT 10770505 SOS 6017122 HAS SOPS 6017122 HAS SOUS 5141106 HAS SOUPS 5141106 WITH SCORE 5147123.122
AT ITER 3749 NEW BEST:: SOT 10770705 SOS 6016305 HAS SOPS 6016305 HAS SOUS 5140891 HAS SOUPS 5140891 WITH SCORE 5146907.305
AT ITER 3755 NEW BEST:: SOT 10770705 SOS 6015936 HAS SOPS 6015936 HAS SOUS 5140891 HAS SOUPS 5140891 WITH SCORE 5146906.936
AT ITER 3757 NEW BEST:: SOT 10770705 SOS 6015342 HAS SOPS 6015342 HAS SOUS 5140891 HAS SOUPS 5140891 WITH SCORE 5146906.342
AT ITER 3759 NEW BEST:: SOT 10768333 SOS 6013449 HAS SOPS 6013449 HAS SOUS 5138890 HAS SOUPS 5138890 WITH SCORE 5144903.449
AT ITER 3763 NEW BEST:: SOT 10768333 SOS 6013330 HAS SOPS 6013330 HAS SOUS 5138890 HAS SOUPS 5138890 WITH SCORE 5144903.33
AT ITER 3780 NEW BEST:: SOT 10768333 SOS 6012793 HAS SOPS 6012793 HAS SOUS 5138785 HAS SOUPS 5138785 WITH SCORE 5144797.793
AT ITER 3782 NEW BEST:: SOT 10763531 SOS 6008740 HAS SOPS 6008740 HAS SOUS 5134544 HAS SOUPS 5134544 WITH SCORE 5140552.74
AT ITER 3783 NEW BEST:: SOT 10763531 SOS 6008507 HAS SOPS 6008507 HAS SOUS 5134544 HAS SOUPS 5134544 WITH SCORE 5140552.507
AT ITER 3784 NEW BEST:: SOT 10761369 SOS 6008250 HAS SOPS 6008250 HAS SOUS 5132872 HAS SOUPS 5132872 WITH SCORE 5138880.25
AT ITER 3787 NEW BEST:: SOT 10761369 SOS 6007512 HAS SOPS 6007512 HAS SOUS 5132872 HAS SOUPS 5132872 WITH SCORE 5138879.512
AT ITER 3796 NEW BEST:: SOT 10761369 SOS 6006684 HAS SOPS 6006684 HAS SOUS 5132872 HAS SOUPS 5132872 WITH SCORE 5138878.684
AT ITER 3799 NEW BEST:: SOT 10758240 SOS 6003882 HAS SOPS 6003882 HAS SOUS 5130034 HAS SOUPS 5130034 WITH SCORE 5136037.882
AT ITER 3803 NEW BEST:: SOT 10758240 SOS 6003682 HAS SOPS 6003682 HAS SOUS 5130034 HAS SOUPS 5130034 WITH SCORE 5136037.682
AT ITER 3808 NEW BEST:: SOT 10758240 SOS 6003400 HAS SOPS 6003400 HAS SOUS 5129987 HAS SOUPS 5129987 WITH SCORE 5135990.4
AT ITER 3811 NEW BEST:: SOT 10758240 SOS 6003295 HAS SOPS 6003295 HAS SOUS 5129987 HAS SOUPS 5129987 WITH SCORE 5135990.295
AT ITER 3812 NEW BEST:: SOT 10758240 SOS 6002401 HAS SOPS 6002401 HAS SOUS 5129562 HAS SOUPS 5129562 WITH SCORE 5135564.401
AT ITER 3813 NEW BEST:: SOT 10758240 SOS 6001723 HAS SOPS 6001723 HAS SOUS 5129327 HAS SOUPS 5129327 WITH SCORE 5135328.723
AT ITER 3814 NEW BEST:: SOT 10758207 SOS 6000903 HAS SOPS 6000903 HAS SOUS 5129084 HAS SOUPS 5129084 WITH SCORE 5135084.903
AT ITER 3818 NEW BEST:: SOT 10758207 SOS 6000224 HAS SOPS 6000224 HAS SOUS 5129084 HAS SOUPS 5129084 WITH SCORE 5135084.224
AT ITER 3820 NEW BEST:: SOT 10758207 SOS 5999798 HAS SOPS 5999798 HAS SOUS 5129084 HAS SOUPS 5129084 WITH SCORE 5135083.798
AT ITER 3822 NEW BEST:: SOT 10755417 SOS 5997521 HAS SOPS 5997521 HAS SOUS 5126911 HAS SOUPS 5126911 WITH SCORE 5132908.521
AT ITER 3826 NEW BEST:: SOT 10750981 SOS 6012750 HAS SOPS 6012750 HAS SOUS 5125573 HAS SOUPS 5125573 WITH SCORE 5131585.75
AT ITER 3831 NEW BEST:: SOT 10750203 SOS 6013179 HAS SOPS 6013179 HAS SOUS 5125437 HAS SOUPS 5125437 WITH SCORE 5131450.179
AT ITER 3843 NEW BEST:: SOT 10750203 SOS 6012785 HAS SOPS 6012785 HAS SOUS 5125437 HAS SOUPS 5125437 WITH SCORE 5131449.785
AT ITER 3844 NEW BEST:: SOT 10750203 SOS 6013388 HAS SOPS 6013388 HAS SOUS 5124983 HAS SOUPS 5124983 WITH SCORE 5130996.388
AT ITER 3845 NEW BEST:: SOT 10750205 SOS 6013117 HAS SOPS 6013117 HAS SOUS 5124968 HAS SOUPS 5124968 WITH SCORE 5130981.117
AT ITER 3849 NEW BEST:: SOT 10750205 SOS 6012870 HAS SOPS 6012870 HAS SOUS 5124968 HAS SOUPS 5124968 WITH SCORE 5130980.87
AT ITER 3858 NEW BEST:: SOT 10750570 SOS 6013292 HAS SOPS 6013292 HAS SOUS 5124952 HAS SOUPS 5124952 WITH SCORE 5130965.292
AT ITER 3865 NEW BEST:: SOT 10750570 SOS 6010767 HAS SOPS 6010767 HAS SOUS 5124952 HAS SOUPS 5124952 WITH SCORE 5130962.767
AT ITER 3869 NEW BEST:: SOT 10750570 SOS 6010112 HAS SOPS 6010112 HAS SOUS 5124952 HAS SOUPS 5124952 WITH SCORE 5130962.112
AT ITER 3870 NEW BEST:: SOT 10750570 SOS 6009661 HAS SOPS 6009661 HAS SOUS 5124952 HAS SOUPS 5124952 WITH SCORE 5130961.661
AT ITER 3880 NEW BEST:: SOT 10750543 SOS 6009634 HAS SOPS 6009634 HAS SOUS 5124925 HAS SOUPS 5124925 WITH SCORE 5130934.634
AT ITER 3885 NEW BEST:: SOT 10750543 SOS 6009435 HAS SOPS 6009435 HAS SOUS 5124925 HAS SOUPS 5124925 WITH SCORE 5130934.435
AT ITER 3894 NEW BEST:: SOT 10750543 SOS 6008584 HAS SOPS 6008584 HAS SOUS 5124893 HAS SOUPS 5124893 WITH SCORE 5130901.584
AT ITER 3897 NEW BEST:: SOT 10749495 SOS 6009041 HAS SOPS 6009041 HAS SOUS 5124366 HAS SOUPS 5124366 WITH SCORE 5130375.041
AT ITER 3899 NEW BEST:: SOT 10749495 SOS 6009026 HAS SOPS 6009026 HAS SOUS 5123234 HAS SOUPS 5123234 WITH SCORE 5129243.026
AT ITER 3900 NEW BEST:: SOT 10749495 SOS 6008953 HAS SOPS 6008953 HAS SOUS 5123234 HAS SOUPS 5123234 WITH SCORE 5129242.953
AT ITER 3906 NEW BEST:: SOT 10749009 SOS 6008317 HAS SOPS 6008317 HAS SOUS 5122065 HAS SOUPS 5122065 WITH SCORE 5128073.317
AT ITER 3909 NEW BEST:: SOT 10748929 SOS 6008237 HAS SOPS 6008237 HAS SOUS 5121945 HAS SOUPS 5121945 WITH SCORE 5127953.237
AT ITER 3912 NEW BEST:: SOT 10749203 SOS 6006355 HAS SOPS 6006355 HAS SOUS 5121030 HAS SOUPS 5121030 WITH SCORE 5127036.355
AT ITER 3915 NEW BEST:: SOT 10749203 SOS 6005285 HAS SOPS 6005285 HAS SOUS 5121030 HAS SOUPS 5121030 WITH SCORE 5127035.285
AT ITER 3918 NEW BEST:: SOT 10749203 SOS 6005084 HAS SOPS 6005084 HAS SOUS 5121030 HAS SOUPS 5121030 WITH SCORE 5127035.084
AT ITER 3921 NEW BEST:: SOT 10749203 SOS 6005084 HAS SOPS 6005084 HAS SOUS 5121010 HAS SOUPS 5121010 WITH SCORE 5127015.084
AT ITER 3926 NEW BEST:: SOT 10746668 SOS 6016287 HAS SOPS 6016287 HAS SOUS 5119726 HAS SOUPS 5119726 WITH SCORE 5125742.287
AT ITER 3934 NEW BEST:: SOT 10746255 SOS 6015507 HAS SOPS 6015507 HAS SOUS 5119021 HAS SOUPS 5119021 WITH SCORE 5125036.507
AT ITER 3935 NEW BEST:: SOT 10746255 SOS 6015354 HAS SOPS 6015354 HAS SOUS 5118412 HAS SOUPS 5118412 WITH SCORE 5124427.354
AT ITER 3940 NEW BEST:: SOT 10742650 SOS 6018740 HAS SOPS 6018740 HAS SOUS 5115547 HAS SOUPS 5115547 WITH SCORE 5121565.74
AT ITER 3941 NEW BEST:: SOT 10741794 SOS 6019026 HAS SOPS 6019026 HAS SOUS 5115304 HAS SOUPS 5115304 WITH SCORE 5121323.026
AT ITER 3943 NEW BEST:: SOT 10741794 SOS 6018865 HAS SOPS 6018865 HAS SOUS 5115304 HAS SOUPS 5115304 WITH SCORE 5121322.865
AT ITER 3951 NEW BEST:: SOT 10739917 SOS 6027754 HAS SOPS 6027754 HAS SOUS 5114611 HAS SOUPS 5114611 WITH SCORE 5120638.754
AT ITER 3953 NEW BEST:: SOT 10739753 SOS 6026884 HAS SOPS 6026884 HAS SOUS 5114106 HAS SOUPS 5114106 WITH SCORE 5120132.884
AT ITER 3967 NEW BEST:: SOT 10739753 SOS 6026832 HAS SOPS 6026832 HAS SOUS 5114106 HAS SOUPS 5114106 WITH SCORE 5120132.832
AT ITER 3969 NEW BEST:: SOT 10739504 SOS 6026068 HAS SOPS 6026068 HAS SOUS 5113108 HAS SOUPS 5113108 WITH SCORE 5119134.068
AT ITER 3971 NEW BEST:: SOT 10739504 SOS 6025785 HAS SOPS 6025785 HAS SOUS 5113108 HAS SOUPS 5113108 WITH SCORE 5119133.785
AT ITER 3973 NEW BEST:: SOT 10739504 SOS 6024516 HAS SOPS 6024516 HAS SOUS 5113108 HAS SOUPS 5113108 WITH SCORE 5119132.516
AT ITER 3975 NEW BEST:: SOT 10739207 SOS 6024437 HAS SOPS 6024437 HAS SOUS 5113029 HAS SOUPS 5113029 WITH SCORE 5119053.437
AT ITER 3980 NEW BEST:: SOT 10735170 SOS 6026827 HAS SOPS 6026827 HAS SOUS 5110252 HAS SOUPS 5110252 WITH SCORE 5116278.827
AT ITER 3986 NEW BEST:: SOT 10731814 SOS 6025218 HAS SOPS 6025218 HAS SOUS 5108533 HAS SOUPS 5108533 WITH SCORE 5114558.218
AT ITER 3990 NEW BEST:: SOT 10731444 SOS 6024848 HAS SOPS 6024848 HAS SOUS 5108091 HAS SOUPS 5108091 WITH SCORE 5114115.848
AT ITER 3992 NEW BEST:: SOT 10731444 SOS 6023304 HAS SOPS 6023304 HAS SOUS 5107943 HAS SOUPS 5107943 WITH SCORE 5113966.304
AT ITER 3994 NEW BEST:: SOT 10731444 SOS 6008920 HAS SOPS 6008920 HAS SOUS 5106457 HAS SOUPS 5106457 WITH SCORE 5112465.92
AT ITER 3995 NEW BEST:: SOT 10728479 SOS 6006658 HAS SOPS 6006658 HAS SOUS 5104195 HAS SOUPS 5104195 WITH SCORE 5110201.658
AT ITER 4001 NEW BEST:: SOT 10728494 SOS 6006673 HAS SOPS 6006673 HAS SOUS 5103888 HAS SOUPS 5103888 WITH SCORE 5109894.673
AT ITER 4005 NEW BEST:: SOT 10723210 SOS 6002271 HAS SOPS 6002271 HAS SOUS 5100208 HAS SOUPS 5100208 WITH SCORE 5106210.271
AT ITER 4007 NEW BEST:: SOT 10721788 SOS 6002099 HAS SOPS 6002099 HAS SOUS 5099844 HAS SOUPS 5099844 WITH SCORE 5105846.099
AT ITER 4008 NEW BEST:: SOT 10721776 SOS 6002087 HAS SOPS 6002087 HAS SOUS 5099832 HAS SOUPS 5099832 WITH SCORE 5105834.087
AT ITER 4011 NEW BEST:: SOT 10721776 SOS 6001463 HAS SOPS 6001463 HAS SOUS 5099832 HAS SOUPS 5099832 WITH SCORE 5105833.463
AT ITER 4018 NEW BEST:: SOT 10721582 SOS 5999341 HAS SOPS 5999341 HAS SOUS 5098940 HAS SOUPS 5098940 WITH SCORE 5104939.341
AT ITER 4025 NEW BEST:: SOT 10721582 SOS 5999338 HAS SOPS 5999338 HAS SOUS 5098940 HAS SOUPS 5098940 WITH SCORE 5104939.338
AT ITER 4036 NEW BEST:: SOT 10721582 SOS 5999338 HAS SOPS 5999338 HAS SOUS 5098937 HAS SOUPS 5098937 WITH SCORE 5104936.338
AT ITER 4048 NEW BEST:: SOT 10721668 SOS 5999584 HAS SOPS 5999584 HAS SOUS 5098783 HAS SOUPS 5098783 WITH SCORE 5104782.584
AT ITER 4050 NEW BEST:: SOT 10721668 SOS 5999584 HAS SOPS 5999584 HAS SOUS 5098631 HAS SOUPS 5098631 WITH SCORE 5104630.584
AT ITER 4053 NEW BEST:: SOT 10721668 SOS 5999466 HAS SOPS 5999466 HAS SOUS 5098631 HAS SOUPS 5098631 WITH SCORE 5104630.466
AT ITER 4055 NEW BEST:: SOT 10721953 SOS 5999497 HAS SOPS 5999497 HAS SOUS 5096551 HAS SOUPS 5096551 WITH SCORE 5102550.497
AT ITER 4056 NEW BEST:: SOT 10721953 SOS 5994995 HAS SOPS 5994995 HAS SOUS 5095677 HAS SOUPS 5095677 WITH SCORE 5101671.995
AT ITER 4068 NEW BEST:: SOT 10721953 SOS 5994819 HAS SOPS 5994819 HAS SOUS 5095677 HAS SOUPS 5095677 WITH SCORE 5101671.819
AT ITER 4076 NEW BEST:: SOT 10719821 SOS 6005550 HAS SOPS 6005550 HAS SOUS 5095327 HAS SOUPS 5095327 WITH SCORE 5101332.55
AT ITER 4083 NEW BEST:: SOT 10719821 SOS 6004004 HAS SOPS 6004004 HAS SOUS 5095070 HAS SOUPS 5095070 WITH SCORE 5101074.004
AT ITER 4084 NEW BEST:: SOT 10719580 SOS 6003763 HAS SOPS 6003763 HAS SOUS 5094829 HAS SOUPS 5094829 WITH SCORE 5100832.763
AT ITER 4087 NEW BEST:: SOT 10719580 SOS 6003411 HAS SOPS 6003411 HAS SOUS 5094829 HAS SOUPS 5094829 WITH SCORE 5100832.411
AT ITER 4097 NEW BEST:: SOT 10719457 SOS 6003288 HAS SOPS 6003288 HAS SOUS 5094706 HAS SOUPS 5094706 WITH SCORE 5100709.288
AT ITER 4101 NEW BEST:: SOT 10719457 SOS 6000202 HAS SOPS 6000202 HAS SOUS 5094186 HAS SOUPS 5094186 WITH SCORE 5100186.202
AT ITER 4114 NEW BEST:: SOT 10719457 SOS 6000202 HAS SOPS 6000202 HAS SOUS 5094144 HAS SOUPS 5094144 WITH SCORE 5100144.202
AT ITER 4117 NEW BEST:: SOT 10719457 SOS 5975280 HAS SOPS 5975280 HAS SOUS 5093938 HAS SOUPS 5093938 WITH SCORE 5099913.28
AT ITER 4119 NEW BEST:: SOT 10719457 SOS 5975149 HAS SOPS 5975149 HAS SOUS 5093938 HAS SOUPS 5093938 WITH SCORE 5099913.149
AT ITER 4126 NEW BEST:: SOT 10714670 SOS 5989896 HAS SOPS 5989896 HAS SOUS 5093326 HAS SOUPS 5093326 WITH SCORE 5099315.896
AT ITER 4129 NEW BEST:: SOT 10711729 SOS 5988293 HAS SOPS 5988293 HAS SOUS 5092484 HAS SOUPS 5092484 WITH SCORE 5098472.293
AT ITER 4133 NEW BEST:: SOT 10711729 SOS 5987588 HAS SOPS 5987588 HAS SOUS 5092484 HAS SOUPS 5092484 WITH SCORE 5098471.588
AT ITER 4137 NEW BEST:: SOT 10711729 SOS 5987583 HAS SOPS 5987583 HAS SOUS 5092484 HAS SOUPS 5092484 WITH SCORE 5098471.583
AT ITER 4138 NEW BEST:: SOT 10711729 SOS 5987567 HAS SOPS 5987567 HAS SOUS 5092484 HAS SOUPS 5092484 WITH SCORE 5098471.567
AT ITER 4148 NEW BEST:: SOT 10711771 SOS 5987106 HAS SOPS 5987106 HAS SOUS 5092208 HAS SOUPS 5092208 WITH SCORE 5098195.106
AT ITER 4151 NEW BEST:: SOT 10707311 SOS 5984738 HAS SOPS 5984738 HAS SOUS 5089391 HAS SOUPS 5089391 WITH SCORE 5095375.738
AT ITER 4154 NEW BEST:: SOT 10707311 SOS 5984660 HAS SOPS 5984660 HAS SOUS 5089391 HAS SOUPS 5089391 WITH SCORE 5095375.66
AT ITER 4157 NEW BEST:: SOT 10706431 SOS 5984474 HAS SOPS 5984474 HAS SOUS 5089077 HAS SOUPS 5089077 WITH SCORE 5095061.474
AT ITER 4158 NEW BEST:: SOT 10706233 SOS 5984276 HAS SOPS 5984276 HAS SOUS 5087986 HAS SOUPS 5087986 WITH SCORE 5093970.276
AT ITER 4160 NEW BEST:: SOT 10704154 SOS 5983151 HAS SOPS 5983151 HAS SOUS 5085907 HAS SOUPS 5085907 WITH SCORE 5091890.151
AT ITER 4166 NEW BEST:: SOT 10704154 SOS 5982938 HAS SOPS 5982938 HAS SOUS 5085695 HAS SOUPS 5085695 WITH SCORE 5091677.938
AT ITER 4170 NEW BEST:: SOT 10704394 SOS 5982156 HAS SOPS 5982156 HAS SOUS 5085232 HAS SOUPS 5085232 WITH SCORE 5091214.156
AT ITER 4172 NEW BEST:: SOT 10704394 SOS 5981950 HAS SOPS 5981950 HAS SOUS 5085232 HAS SOUPS 5085232 WITH SCORE 5091213.95
AT ITER 4177 NEW BEST:: SOT 10704069 SOS 5981096 HAS SOPS 5981096 HAS SOUS 5084266 HAS SOUPS 5084266 WITH SCORE 5090247.096
AT ITER 4178 NEW BEST:: SOT 10704069 SOS 5981070 HAS SOPS 5981070 HAS SOUS 5084266 HAS SOUPS 5084266 WITH SCORE 5090247.07
AT ITER 4179 NEW BEST:: SOT 10698916 SOS 5977645 HAS SOPS 5977645 HAS SOUS 5080595 HAS SOUPS 5080595 WITH SCORE 5086572.645
AT ITER 4181 NEW BEST:: SOT 10698916 SOS 5977229 HAS SOPS 5977229 HAS SOUS 5080186 HAS SOUPS 5080186 WITH SCORE 5086163.229
AT ITER 4187 NEW BEST:: SOT 10698916 SOS 5976123 HAS SOPS 5976123 HAS SOUS 5079669 HAS SOUPS 5079669 WITH SCORE 5085645.123
AT ITER 4188 NEW BEST:: SOT 10698916 SOS 5975529 HAS SOPS 5975529 HAS SOUS 5079669 HAS SOUPS 5079669 WITH SCORE 5085644.529
AT ITER 4189 NEW BEST:: SOT 10698756 SOS 5975951 HAS SOPS 5975951 HAS SOUS 5079132 HAS SOUPS 5079132 WITH SCORE 5085107.951
AT ITER 4190 NEW BEST:: SOT 10698859 SOS 5965056 HAS SOPS 5965056 HAS SOUS 5078666 HAS SOUPS 5078666 WITH SCORE 5084631.056
AT ITER 4193 NEW BEST:: SOT 10695666 SOS 5962015 HAS SOPS 5962015 HAS SOUS 5076200 HAS SOUPS 5076200 WITH SCORE 5082162.015
AT ITER 4197 NEW BEST:: SOT 10695040 SOS 5961225 HAS SOPS 5961225 HAS SOUS 5075504 HAS SOUPS 5075504 WITH SCORE 5081465.225
AT ITER 4199 NEW BEST:: SOT 10695040 SOS 5960996 HAS SOPS 5960996 HAS SOUS 5075504 HAS SOUPS 5075504 WITH SCORE 5081464.996
AT ITER 4216 NEW BEST:: SOT 10693120 SOS 5968226 HAS SOPS 5968226 HAS SOUS 5075200 HAS SOUPS 5075200 WITH SCORE 5081168.226
AT ITER 4217 NEW BEST:: SOT 10692932 SOS 5968038 HAS SOPS 5968038 HAS SOUS 5075012 HAS SOUPS 5075012 WITH SCORE 5080980.038
AT ITER 4220 NEW BEST:: SOT 10692932 SOS 5967909 HAS SOPS 5967909 HAS SOUS 5075012 HAS SOUPS 5075012 WITH SCORE 5080979.909
AT ITER 4221 NEW BEST:: SOT 10692932 SOS 5967205 HAS SOPS 5967205 HAS SOUS 5075012 HAS SOUPS 5075012 WITH SCORE 5080979.205
AT ITER 4223 NEW BEST:: SOT 10692932 SOS 5966528 HAS SOPS 5966528 HAS SOUS 5075012 HAS SOUPS 5075012 WITH SCORE 5080978.528
AT ITER 4226 NEW BEST:: SOT 10685852 SOS 5972490 HAS SOPS 5972490 HAS SOUS 5069287 HAS SOUPS 5069287 WITH SCORE 5075259.49
AT ITER 4227 NEW BEST:: SOT 10686101 SOS 5971762 HAS SOPS 5971762 HAS SOUS 5069159 HAS SOUPS 5069159 WITH SCORE 5075130.762
AT ITER 4228 NEW BEST:: SOT 10686101 SOS 5971208 HAS SOPS 5971208 HAS SOUS 5069159 HAS SOUPS 5069159 WITH SCORE 5075130.208
AT ITER 4231 NEW BEST:: SOT 10686101 SOS 5971114 HAS SOPS 5971114 HAS SOUS 5069159 HAS SOUPS 5069159 WITH SCORE 5075130.114
AT ITER 4232 NEW BEST:: SOT 10686101 SOS 5970558 HAS SOPS 5970558 HAS SOUS 5069159 HAS SOUPS 5069159 WITH SCORE 5075129.558
AT ITER 4234 NEW BEST:: SOT 10686101 SOS 5970558 HAS SOPS 5970558 HAS SOUS 5068821 HAS SOUPS 5068821 WITH SCORE 5074791.558
AT ITER 4236 NEW BEST:: SOT 10686101 SOS 5969854 HAS SOPS 5969854 HAS SOUS 5068821 HAS SOUPS 5068821 WITH SCORE 5074790.854
AT ITER 4240 NEW BEST:: SOT 10686286 SOS 5970039 HAS SOPS 5970039 HAS SOUS 5068194 HAS SOUPS 5068194 WITH SCORE 5074164.039
AT ITER 4250 NEW BEST:: SOT 10686286 SOS 5968905 HAS SOPS 5968905 HAS SOUS 5068194 HAS SOUPS 5068194 WITH SCORE 5074162.905
AT ITER 4251 NEW BEST:: SOT 10686286 SOS 5967140 HAS SOPS 5967140 HAS SOUS 5068182 HAS SOUPS 5068182 WITH SCORE 5074149.14
AT ITER 4257 NEW BEST:: SOT 10686286 SOS 5966341 HAS SOPS 5966341 HAS SOUS 5068182 HAS SOUPS 5068182 WITH SCORE 5074148.341
AT ITER 4261 NEW BEST:: SOT 10686431 SOS 5966051 HAS SOPS 5966051 HAS SOUS 5068182 HAS SOUPS 5068182 WITH SCORE 5074148.051
AT ITER 4264 NEW BEST:: SOT 10686468 SOS 5965940 HAS SOPS 5965940 HAS SOUS 5068182 HAS SOUPS 5068182 WITH SCORE 5074147.94
AT ITER 4273 NEW BEST:: SOT 10686468 SOS 5965939 HAS SOPS 5965939 HAS SOUS 5068182 HAS SOUPS 5068182 WITH SCORE 5074147.939
AT ITER 4280 NEW BEST:: SOT 10686468 SOS 5964745 HAS SOPS 5964745 HAS SOUS 5068182 HAS SOUPS 5068182 WITH SCORE 5074146.745
AT ITER 4286 NEW BEST:: SOT 10686468 SOS 5964079 HAS SOPS 5964079 HAS SOUS 5068182 HAS SOUPS 5068182 WITH SCORE 5074146.079
AT ITER 4291 NEW BEST:: SOT 10686468 SOS 5963760 HAS SOPS 5963760 HAS SOUS 5068182 HAS SOUPS 5068182 WITH SCORE 5074145.76
AT ITER 4310 NEW BEST:: SOT 10686468 SOS 5963165 HAS SOPS 5963165 HAS SOUS 5067887 HAS SOUPS 5067887 WITH SCORE 5073850.165
AT ITER 4311 NEW BEST:: SOT 10686468 SOS 5963150 HAS SOPS 5963150 HAS SOUS 5067887 HAS SOUPS 5067887 WITH SCORE 5073850.15
AT ITER 4314 NEW BEST:: SOT 10684204 SOS 5961179 HAS SOPS 5961179 HAS SOUS 5066003 HAS SOUPS 5066003 WITH SCORE 5071964.179
AT ITER 4320 NEW BEST:: SOT 10678370 SOS 5960733 HAS SOPS 5960733 HAS SOUS 5061751 HAS SOUPS 5061751 WITH SCORE 5067711.733
AT ITER 4325 NEW BEST:: SOT 10674120 SOS 5959450 HAS SOPS 5959450 HAS SOUS 5059975 HAS SOUPS 5059975 WITH SCORE 5065934.45
AT ITER 4341 NEW BEST:: SOT 10674120 SOS 5958274 HAS SOPS 5958274 HAS SOUS 5059834 HAS SOUPS 5059834 WITH SCORE 5065792.274
AT ITER 4346 NEW BEST:: SOT 10671457 SOS 5960483 HAS SOPS 5960483 HAS SOUS 5058685 HAS SOUPS 5058685 WITH SCORE 5064645.483
AT ITER 4348 NEW BEST:: SOT 10671457 SOS 5960351 HAS SOPS 5960351 HAS SOUS 5058685 HAS SOUPS 5058685 WITH SCORE 5064645.351
AT ITER 4350 NEW BEST:: SOT 10671457 SOS 5960190 HAS SOPS 5960190 HAS SOUS 5058685 HAS SOUPS 5058685 WITH SCORE 5064645.19
AT ITER 4352 NEW BEST:: SOT 10669332 SOS 5972672 HAS SOPS 5972672 HAS SOUS 5056866 HAS SOUPS 5056866 WITH SCORE 5062838.672
AT ITER 4356 NEW BEST:: SOT 10669292 SOS 5972652 HAS SOPS 5972652 HAS SOUS 5056846 HAS SOUPS 5056846 WITH SCORE 5062818.652
AT ITER 4365 NEW BEST:: SOT 10669213 SOS 5972573 HAS SOPS 5972573 HAS SOUS 5056643 HAS SOUPS 5056643 WITH SCORE 5062615.573
AT ITER 4373 NEW BEST:: SOT 10669213 SOS 5971868 HAS SOPS 5971868 HAS SOUS 5056643 HAS SOUPS 5056643 WITH SCORE 5062614.868
AT ITER 4376 NEW BEST:: SOT 10669213 SOS 5962793 HAS SOPS 5962793 HAS SOUS 5056643 HAS SOUPS 5056643 WITH SCORE 5062605.793
AT ITER 4382 NEW BEST:: SOT 10669213 SOS 5962022 HAS SOPS 5962022 HAS SOUS 5056338 HAS SOUPS 5056338 WITH SCORE 5062300.022
AT ITER 4384 NEW BEST:: SOT 10669213 SOS 5961820 HAS SOPS 5961820 HAS SOUS 5056338 HAS SOUPS 5056338 WITH SCORE 5062299.82
AT ITER 4385 NEW BEST:: SOT 10668873 SOS 5961480 HAS SOPS 5961480 HAS SOUS 5055667 HAS SOUPS 5055667 WITH SCORE 5061628.48
AT ITER 4389 NEW BEST:: SOT 10668873 SOS 5962289 HAS SOPS 5962289 HAS SOUS 5055575 HAS SOUPS 5055575 WITH SCORE 5061537.289
AT ITER 4393 NEW BEST:: SOT 10665536 SOS 5959622 HAS SOPS 5959622 HAS SOUS 5052238 HAS SOUPS 5052238 WITH SCORE 5058197.622
AT ITER 4394 NEW BEST:: SOT 10665536 SOS 5959379 HAS SOPS 5959379 HAS SOUS 5052238 HAS SOUPS 5052238 WITH SCORE 5058197.379
AT ITER 4396 NEW BEST:: SOT 10661677 SOS 5957347 HAS SOPS 5957347 HAS SOUS 5050605 HAS SOUPS 5050605 WITH SCORE 5056562.347
AT ITER 4407 NEW BEST:: SOT 10661677 SOS 5957299 HAS SOPS 5957299 HAS SOUS 5050605 HAS SOUPS 5050605 WITH SCORE 5056562.299
AT ITER 4413 NEW BEST:: SOT 10661677 SOS 5956984 HAS SOPS 5956984 HAS SOUS 5050605 HAS SOUPS 5050605 WITH SCORE 5056561.984
AT ITER 4414 NEW BEST:: SOT 10659932 SOS 5955702 HAS SOPS 5955702 HAS SOUS 5049488 HAS SOUPS 5049488 WITH SCORE 5055443.702
AT ITER 4419 NEW BEST:: SOT 10655535 SOS 5959072 HAS SOPS 5959072 HAS SOUS 5048307 HAS SOUPS 5048307 WITH SCORE 5054266.072
AT ITER 4421 NEW BEST:: SOT 10655103 SOS 5958728 HAS SOPS 5958728 HAS SOUS 5047875 HAS SOUPS 5047875 WITH SCORE 5053833.728
AT ITER 4424 NEW BEST:: SOT 10650689 SOS 5961834 HAS SOPS 5961834 HAS SOUS 5046475 HAS SOUPS 5046475 WITH SCORE 5052436.834
AT ITER 4425 NEW BEST:: SOT 10650689 SOS 5961190 HAS SOPS 5961190 HAS SOUS 5046231 HAS SOUPS 5046231 WITH SCORE 5052192.19
AT ITER 4437 NEW BEST:: SOT 10650145 SOS 5961151 HAS SOPS 5961151 HAS SOUS 5046192 HAS SOUPS 5046192 WITH SCORE 5052153.151
AT ITER 4445 NEW BEST:: SOT 10650145 SOS 5959257 HAS SOPS 5959257 HAS SOUS 5045925 HAS SOUPS 5045925 WITH SCORE 5051884.257
AT ITER 4463 NEW BEST:: SOT 10650145 SOS 5959046 HAS SOPS 5959046 HAS SOUS 5045925 HAS SOUPS 5045925 WITH SCORE 5051884.046
AT ITER 4468 NEW BEST:: SOT 10650327 SOS 5958987 HAS SOPS 5958987 HAS SOUS 5045437 HAS SOUPS 5045437 WITH SCORE 5051395.987
AT ITER 4473 NEW BEST:: SOT 10650327 SOS 5958773 HAS SOPS 5958773 HAS SOUS 5045437 HAS SOUPS 5045437 WITH SCORE 5051395.773
AT ITER 4475 NEW BEST:: SOT 10650440 SOS 5958639 HAS SOPS 5958639 HAS SOUS 5044653 HAS SOUPS 5044653 WITH SCORE 5050611.639
AT ITER 4481 NEW BEST:: SOT 10648170 SOS 5959202 HAS SOPS 5959202 HAS SOUS 5044349 HAS SOUPS 5044349 WITH SCORE 5050308.202
AT ITER 4505 NEW BEST:: SOT 10648031 SOS 5959017 HAS SOPS 5959017 HAS SOUS 5044183 HAS SOUPS 5044183 WITH SCORE 5050142.017
AT ITER 4506 NEW BEST:: SOT 10648031 SOS 5959017 HAS SOPS 5959017 HAS SOUS 5044111 HAS SOUPS 5044111 WITH SCORE 5050070.017
AT ITER 4507 NEW BEST:: SOT 10648031 SOS 5958217 HAS SOPS 5958217 HAS SOUS 5044111 HAS SOUPS 5044111 WITH SCORE 5050069.217
AT ITER 4509 NEW BEST:: SOT 10648031 SOS 5957935 HAS SOPS 5957935 HAS SOUS 5044111 HAS SOUPS 5044111 WITH SCORE 5050068.935
AT ITER 4536 NEW BEST:: SOT 10648031 SOS 5955243 HAS SOPS 5955243 HAS SOUS 5043449 HAS SOUPS 5043449 WITH SCORE 5049404.243
AT ITER 4543 NEW BEST:: SOT 10645951 SOS 5953478 HAS SOPS 5953478 HAS SOUS 5042180 HAS SOUPS 5042180 WITH SCORE 5048133.478
AT ITER 4549 NEW BEST:: SOT 10645951 SOS 5952822 HAS SOPS 5952822 HAS SOUS 5042180 HAS SOUPS 5042180 WITH SCORE 5048132.822
AT ITER 4552 NEW BEST:: SOT 10645682 SOS 5953488 HAS SOPS 5953488 HAS SOUS 5041914 HAS SOUPS 5041914 WITH SCORE 5047867.488
AT ITER 4554 NEW BEST:: SOT 10645682 SOS 5953229 HAS SOPS 5953229 HAS SOUS 5041914 HAS SOUPS 5041914 WITH SCORE 5047867.229
AT ITER 4555 NEW BEST:: SOT 10644478 SOS 5952478 HAS SOPS 5952478 HAS SOUS 5041163 HAS SOUPS 5041163 WITH SCORE 5047115.478
AT ITER 4556 NEW BEST:: SOT 10644288 SOS 5952394 HAS SOPS 5952394 HAS SOUS 5040723 HAS SOUPS 5040723 WITH SCORE 5046675.394
AT ITER 4569 NEW BEST:: SOT 10644254 SOS 5952360 HAS SOPS 5952360 HAS SOUS 5040689 HAS SOUPS 5040689 WITH SCORE 5046641.36
AT ITER 4573 NEW BEST:: SOT 10640019 SOS 5948125 HAS SOPS 5948125 HAS SOUS 5036111 HAS SOUPS 5036111 WITH SCORE 5042059.125
AT ITER 4576 NEW BEST:: SOT 10640019 SOS 5947858 HAS SOPS 5947858 HAS SOUS 5036111 HAS SOUPS 5036111 WITH SCORE 5042058.858
AT ITER 4577 NEW BEST:: SOT 10637252 SOS 5945867 HAS SOPS 5945867 HAS SOUS 5034218 HAS SOUPS 5034218 WITH SCORE 5040163.867
AT ITER 4579 NEW BEST:: SOT 10632996 SOS 5949084 HAS SOPS 5949084 HAS SOUS 5032586 HAS SOUPS 5032586 WITH SCORE 5038535.084
AT ITER 4590 NEW BEST:: SOT 10632996 SOS 5948232 HAS SOPS 5948232 HAS SOUS 5032586 HAS SOUPS 5032586 WITH SCORE 5038534.232
AT ITER 4602 NEW BEST:: SOT 10632914 SOS 5949380 HAS SOPS 5949380 HAS SOUS 5032504 HAS SOUPS 5032504 WITH SCORE 5038453.38
AT ITER 4605 NEW BEST:: SOT 10630352 SOS 5956324 HAS SOPS 5956324 HAS SOUS 5031424 HAS SOUPS 5031424 WITH SCORE 5037380.324
AT ITER 4608 NEW BEST:: SOT 10630285 SOS 5956296 HAS SOPS 5956296 HAS SOUS 5031396 HAS SOUPS 5031396 WITH SCORE 5037352.296
AT ITER 4610 NEW BEST:: SOT 10627417 SOS 5957946 HAS SOPS 5957946 HAS SOUS 5031065 HAS SOUPS 5031065 WITH SCORE 5037022.946
AT ITER 4611 NEW BEST:: SOT 10627328 SOS 5956667 HAS SOPS 5956667 HAS SOUS 5029918 HAS SOUPS 5029918 WITH SCORE 5035874.667
AT ITER 4616 NEW BEST:: SOT 10627328 SOS 5956221 HAS SOPS 5956221 HAS SOUS 5029918 HAS SOUPS 5029918 WITH SCORE 5035874.221
AT ITER 4617 NEW BEST:: SOT 10622790 SOS 5959131 HAS SOPS 5959131 HAS SOUS 5028600 HAS SOUPS 5028600 WITH SCORE 5034559.131
AT ITER 4621 NEW BEST:: SOT 10622790 SOS 5959158 HAS SOPS 5959158 HAS SOUS 5028519 HAS SOUPS 5028519 WITH SCORE 5034478.158
AT ITER 4622 NEW BEST:: SOT 10623026 SOS 5959219 HAS SOPS 5959219 HAS SOUS 5028106 HAS SOUPS 5028106 WITH SCORE 5034065.219
AT ITER 4623 NEW BEST:: SOT 10620165 SOS 5956670 HAS SOPS 5956670 HAS SOUS 5025734 HAS SOUPS 5025734 WITH SCORE 5031690.67
AT ITER 4627 NEW BEST:: SOT 10620165 SOS 5955746 HAS SOPS 5955746 HAS SOUS 5025734 HAS SOUPS 5025734 WITH SCORE 5031689.746
AT ITER 4633 NEW BEST:: SOT 10620793 SOS 5956366 HAS SOPS 5956366 HAS SOUS 5025274 HAS SOUPS 5025274 WITH SCORE 5031230.366
AT ITER 4640 NEW BEST:: SOT 10620007 SOS 5955770 HAS SOPS 5955770 HAS SOUS 5024678 HAS SOUPS 5024678 WITH SCORE 5030633.77
AT ITER 4641 NEW BEST:: SOT 10620007 SOS 5952306 HAS SOPS 5952306 HAS SOUS 5024138 HAS SOUPS 5024138 WITH SCORE 5030090.306
AT ITER 4645 NEW BEST:: SOT 10616594 SOS 5951591 HAS SOPS 5951591 HAS SOUS 5022745 HAS SOUPS 5022745 WITH SCORE 5028696.591
AT ITER 4661 NEW BEST:: SOT 10619349 SOS 5934772 HAS SOPS 5934772 HAS SOUS 5022416 HAS SOUPS 5022416 WITH SCORE 5028350.772
AT ITER 4664 NEW BEST:: SOT 10619349 SOS 5934599 HAS SOPS 5934599 HAS SOUS 5022416 HAS SOUPS 5022416 WITH SCORE 5028350.599
AT ITER 4667 NEW BEST:: SOT 10619349 SOS 5933790 HAS SOPS 5933790 HAS SOUS 5022275 HAS SOUPS 5022275 WITH SCORE 5028208.79
AT ITER 4674 NEW BEST:: SOT 10619349 SOS 5933519 HAS SOPS 5933519 HAS SOUS 5022275 HAS SOUPS 5022275 WITH SCORE 5028208.519
AT ITER 4679 NEW BEST:: SOT 10618870 SOS 5934351 HAS SOPS 5934351 HAS SOUS 5021889 HAS SOUPS 5021889 WITH SCORE 5027823.351
AT ITER 4681 NEW BEST:: SOT 10618820 SOS 5934301 HAS SOPS 5934301 HAS SOUS 5021839 HAS SOUPS 5021839 WITH SCORE 5027773.301
AT ITER 4687 NEW BEST:: SOT 10618743 SOS 5933759 HAS SOPS 5933759 HAS SOUS 5021819 HAS SOUPS 5021819 WITH SCORE 5027752.759
AT ITER 4694 NEW BEST:: SOT 10618743 SOS 5933381 HAS SOPS 5933381 HAS SOUS 5021427 HAS SOUPS 5021427 WITH SCORE 5027360.381
AT ITER 4700 NEW BEST:: SOT 10618680 SOS 5933841 HAS SOPS 5933841 HAS SOUS 5021140 HAS SOUPS 5021140 WITH SCORE 5027073.841
AT ITER 4719 NEW BEST:: SOT 10618807 SOS 5932344 HAS SOPS 5932344 HAS SOUS 5021060 HAS SOUPS 5021060 WITH SCORE 5026992.344
AT ITER 4723 NEW BEST:: SOT 10618807 SOS 5932082 HAS SOPS 5932082 HAS SOUS 5021060 HAS SOUPS 5021060 WITH SCORE 5026992.082
AT ITER 4727 NEW BEST:: SOT 10614547 SOS 5929133 HAS SOPS 5929133 HAS SOUS 5018576 HAS SOUPS 5018576 WITH SCORE 5024505.133
AT ITER 4732 NEW BEST:: SOT 10611252 SOS 5926246 HAS SOPS 5926246 HAS SOUS 5016523 HAS SOUPS 5016523 WITH SCORE 5022449.246
AT ITER 4734 NEW BEST:: SOT 10611252 SOS 5926037 HAS SOPS 5926037 HAS SOUS 5016523 HAS SOUPS 5016523 WITH SCORE 5022449.037
AT ITER 4753 NEW BEST:: SOT 10611252 SOS 5925622 HAS SOPS 5925622 HAS SOUS 5016523 HAS SOUPS 5016523 WITH SCORE 5022448.622
AT ITER 4754 NEW BEST:: SOT 10611252 SOS 5925199 HAS SOPS 5925199 HAS SOUS 5015716 HAS SOUPS 5015716 WITH SCORE 5021641.199
AT ITER 4755 NEW BEST:: SOT 10609148 SOS 5925003 HAS SOPS 5925003 HAS SOUS 5015287 HAS SOUPS 5015287 WITH SCORE 5021212.003
AT ITER 4758 NEW BEST:: SOT 10609421 SOS 5924854 HAS SOPS 5924854 HAS SOUS 5015285 HAS SOUPS 5015285 WITH SCORE 5021209.854
AT ITER 4759 NEW BEST:: SOT 10609421 SOS 5924412 HAS SOPS 5924412 HAS SOUS 5014971 HAS SOUPS 5014971 WITH SCORE 5020895.412
AT ITER 4764 NEW BEST:: SOT 10609421 SOS 5924166 HAS SOPS 5924166 HAS SOUS 5014971 HAS SOUPS 5014971 WITH SCORE 5020895.166
AT ITER 4768 NEW BEST:: SOT 10606368 SOS 5922831 HAS SOPS 5922831 HAS SOUS 5013212 HAS SOUPS 5013212 WITH SCORE 5019134.831
AT ITER 4776 NEW BEST:: SOT 10606368 SOS 5922782 HAS SOPS 5922782 HAS SOUS 5013113 HAS SOUPS 5013113 WITH SCORE 5019035.782
AT ITER 4778 NEW BEST:: SOT 10602626 SOS 5925885 HAS SOPS 5925885 HAS SOUS 5009687 HAS SOUPS 5009687 WITH SCORE 5015612.885
AT ITER 4782 NEW BEST:: SOT 10602626 SOS 5925149 HAS SOPS 5925149 HAS SOUS 5009595 HAS SOUPS 5009595 WITH SCORE 5015520.149
AT ITER 4783 NEW BEST:: SOT 10602626 SOS 5924473 HAS SOPS 5924473 HAS SOUS 5009501 HAS SOUPS 5009501 WITH SCORE 5015425.473
AT ITER 4788 NEW BEST:: SOT 10598155 SOS 5925132 HAS SOPS 5925132 HAS SOUS 5007786 HAS SOUPS 5007786 WITH SCORE 5013711.132
AT ITER 4801 NEW BEST:: SOT 10594473 SOS 5924099 HAS SOPS 5924099 HAS SOUS 5006862 HAS SOUPS 5006862 WITH SCORE 5012786.099
AT ITER 4816 NEW BEST:: SOT 10594346 SOS 5924336 HAS SOPS 5924336 HAS SOUS 5006706 HAS SOUPS 5006706 WITH SCORE 5012630.336
AT ITER 4825 NEW BEST:: SOT 10594346 SOS 5923239 HAS SOPS 5923239 HAS SOUS 5006706 HAS SOUPS 5006706 WITH SCORE 5012629.239
AT ITER 4827 NEW BEST:: SOT 10594346 SOS 5922927 HAS SOPS 5922927 HAS SOUS 5006706 HAS SOUPS 5006706 WITH SCORE 5012628.927
AT ITER 4832 NEW BEST:: SOT 10594346 SOS 5922927 HAS SOPS 5922927 HAS SOUS 5006705 HAS SOUPS 5006705 WITH SCORE 5012627.927
AT ITER 4836 NEW BEST:: SOT 10594346 SOS 5922872 HAS SOPS 5922872 HAS SOUS 5006705 HAS SOUPS 5006705 WITH SCORE 5012627.872
AT ITER 4841 NEW BEST:: SOT 10593444 SOS 5922346 HAS SOPS 5922346 HAS SOUS 5006179 HAS SOUPS 5006179 WITH SCORE 5012101.346
AT ITER 4842 NEW BEST:: SOT 10593444 SOS 5921235 HAS SOPS 5921235 HAS SOUS 5005687 HAS SOUPS 5005687 WITH SCORE 5011608.235
AT ITER 4849 NEW BEST:: SOT 10593444 SOS 5921232 HAS SOPS 5921232 HAS SOUS 5005687 HAS SOUPS 5005687 WITH SCORE 5011608.232
AT ITER 4851 NEW BEST:: SOT 10593401 SOS 5921146 HAS SOPS 5921146 HAS SOUS 5005601 HAS SOUPS 5005601 WITH SCORE 5011522.146
AT ITER 4854 NEW BEST:: SOT 10593401 SOS 5921513 HAS SOPS 5921513 HAS SOUS 5005221 HAS SOUPS 5005221 WITH SCORE 5011142.513
AT ITER 4861 NEW BEST:: SOT 10593401 SOS 5921270 HAS SOPS 5921270 HAS SOUS 5005221 HAS SOUPS 5005221 WITH SCORE 5011142.27
AT ITER 4862 NEW BEST:: SOT 10593401 SOS 5920890 HAS SOPS 5920890 HAS SOUS 5005221 HAS SOUPS 5005221 WITH SCORE 5011141.89
AT ITER 4871 NEW BEST:: SOT 10592157 SOS 5908841 HAS SOPS 5908841 HAS SOUS 5004476 HAS SOUPS 5004476 WITH SCORE 5010384.841
AT ITER 4877 NEW BEST:: SOT 10591918 SOS 5908992 HAS SOPS 5908992 HAS SOUS 5003554 HAS SOUPS 5003554 WITH SCORE 5009462.992
AT ITER 4882 NEW BEST:: SOT 10591876 SOS 5908964 HAS SOPS 5908964 HAS SOUS 5003526 HAS SOUPS 5003526 WITH SCORE 5009434.964
AT ITER 4894 NEW BEST:: SOT 10587912 SOS 5910486 HAS SOPS 5910486 HAS SOUS 5003195 HAS SOUPS 5003195 WITH SCORE 5009105.486
AT ITER 4908 NEW BEST:: SOT 10587912 SOS 5910389 HAS SOPS 5910389 HAS SOUS 5003195 HAS SOUPS 5003195 WITH SCORE 5009105.389
AT ITER 4909 NEW BEST:: SOT 10587912 SOS 5910062 HAS SOPS 5910062 HAS SOUS 5002879 HAS SOUPS 5002879 WITH SCORE 5008789.062
AT ITER 4910 NEW BEST:: SOT 10587912 SOS 5910046 HAS SOPS 5910046 HAS SOUS 5002879 HAS SOUPS 5002879 WITH SCORE 5008789.046
AT ITER 4917 NEW BEST:: SOT 10587151 SOS 5909499 HAS SOPS 5909499 HAS SOUS 5002332 HAS SOUPS 5002332 WITH SCORE 5008241.499
AT ITER 4922 NEW BEST:: SOT 10586642 SOS 5909546 HAS SOPS 5909546 HAS SOUS 5002059 HAS SOUPS 5002059 WITH SCORE 5007968.546
AT ITER 4937 NEW BEST:: SOT 10584730 SOS 5908034 HAS SOPS 5908034 HAS SOUS 5000284 HAS SOUPS 5000284 WITH SCORE 5006192.034
AT ITER 4939 NEW BEST:: SOT 10584730 SOS 5907270 HAS SOPS 5907270 HAS SOUS 5000268 HAS SOUPS 5000268 WITH SCORE 5006175.27
AT ITER 4940 NEW BEST:: SOT 10584553 SOS 5907093 HAS SOPS 5907093 HAS SOUS 5000091 HAS SOUPS 5000091 WITH SCORE 5005998.093
AT ITER 4946 NEW BEST:: SOT 10584553 SOS 5906981 HAS SOPS 5906981 HAS SOUS 5000091 HAS SOUPS 5000091 WITH SCORE 5005997.981
AT ITER 4958 NEW BEST:: SOT 10584372 SOS 5906080 HAS SOPS 5906080 HAS SOUS 4999808 HAS SOUPS 4999808 WITH SCORE 5005714.08
AT ITER 4959 NEW BEST:: SOT 10580239 SOS 5906911 HAS SOPS 5906911 HAS SOUS 4996892 HAS SOUPS 4996892 WITH SCORE 5002798.911
AT ITER 4961 NEW BEST:: SOT 10580812 SOS 5906864 HAS SOPS 5906864 HAS SOUS 4996824 HAS SOUPS 4996824 WITH SCORE 5002730.864
AT ITER 4962 NEW BEST:: SOT 10580812 SOS 5906767 HAS SOPS 5906767 HAS SOUS 4996824 HAS SOUPS 4996824 WITH SCORE 5002730.767
AT ITER 4973 NEW BEST:: SOT 10577293 SOS 5920857 HAS SOPS 5920857 HAS SOUS 4995611 HAS SOUPS 4995611 WITH SCORE 5001531.857
AT ITER 4976 NEW BEST:: SOT 10576505 SOS 5920069 HAS SOPS 5920069 HAS SOUS 4994008 HAS SOUPS 4994008 WITH SCORE 4999928.069
AT ITER 4978 NEW BEST:: SOT 10572110 SOS 5917385 HAS SOPS 5917385 HAS SOUS 4992291 HAS SOUPS 4992291 WITH SCORE 4998208.385
AT ITER 4984 NEW BEST:: SOT 10571864 SOS 5915840 HAS SOPS 5915840 HAS SOUS 4991156 HAS SOUPS 4991156 WITH SCORE 4997071.84
AT ITER 4985 NEW BEST:: SOT 10569671 SOS 5914509 HAS SOPS 5914509 HAS SOUS 4990142 HAS SOUPS 4990142 WITH SCORE 4996056.509
AT ITER 4987 NEW BEST:: SOT 10569191 SOS 5896236 HAS SOPS 5896236 HAS SOUS 4987763 HAS SOUPS 4987763 WITH SCORE 4993659.236
AT ITER 4988 NEW BEST:: SOT 10569184 SOS 5896229 HAS SOPS 5896229 HAS SOUS 4987469 HAS SOUPS 4987469 WITH SCORE 4993365.229
AT ITER 4990 NEW BEST:: SOT 10570136 SOS 5896174 HAS SOPS 5896174 HAS SOUS 4987327 HAS SOUPS 4987327 WITH SCORE 4993223.174
AT ITER 4993 NEW BEST:: SOT 10570136 SOS 5895527 HAS SOPS 5895527 HAS SOUS 4987327 HAS SOUPS 4987327 WITH SCORE 4993222.527
AT ITER 4997 NEW BEST:: SOT 10570136 SOS 5890643 HAS SOPS 5890643 HAS SOUS 4987173 HAS SOUPS 4987173 WITH SCORE 4993063.643
AT ITER 4998 NEW BEST:: SOT 10570136 SOS 5890621 HAS SOPS 5890621 HAS SOUS 4987173 HAS SOUPS 4987173 WITH SCORE 4993063.621
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN15-CTLCardinality-00 ( (EG( ( potential( (tk(P2288)) <= (tk(P3449)) ) & (! potential( ( 3 ) <= (tk(P165)) )) ))) | (EX( (EF(potential( ( 2 ) <= (tk(P785)) ))))) )
PROPERTY: Sudoku-PT-AN15-CTLCardinality-01 (EF((EG( potential( ( 2 ) <= (tk(P75)) )))))
PROPERTY: Sudoku-PT-AN15-CTLCardinality-02 (AF(potential( ( 3 ) <= (tk(P3124)) )))
PROPERTY: Sudoku-PT-AN15-CTLCardinality-03 ( ( (! (EF(potential( ( 2 ) <= (tk(P1040)) )))) & (EG( potential( (tk(P1475)) <= (tk(P3292)) ))) ) & ( potential( (tk(P3353)) <= (tk(P2320)) ) | ( potential( ( 2 ) <= (tk(P3940)) ) & (! (! potential( ( 1 ) <= (tk(P2452)) ))) ) ) )
PROPERTY: Sudoku-PT-AN15-CTLCardinality-04 (EF(( (EX( potential( ( 1 ) <= (tk(P1808)) ))) & (EG( potential( (tk(P349)) <= (tk(P1597)) ))) )))
PROPERTY: Sudoku-PT-AN15-CTLCardinality-05 (! (! (! (AG( potential( (tk(P1308)) <= (tk(P3819)) ))))))
PROPERTY: Sudoku-PT-AN15-CTLCardinality-06 ( (EG( potential( (tk(P35)) <= (tk(P837)) ))) | (EF((EG( potential( (tk(P1778)) <= (tk(P990)) ))))) )
PROPERTY: Sudoku-PT-AN15-CTLCardinality-07 (AX( (AX( potential( ( 1 ) <= (tk(P2452)) )))))
PROPERTY: Sudoku-PT-AN15-CTLCardinality-08 (AU( ( potential( (tk(P1672)) <= (tk(P358)) ) | (! potential( ( 2 ) <= (tk(P1618)) )) ),( potential( ( 1 ) <= (tk(P2739)) ) & potential( (tk(P2066)) <= (tk(P2243)) ) ) ))
PROPERTY: Sudoku-PT-AN15-CTLCardinality-09 (EF((AF(potential( ( 2 ) <= (tk(P3308)) )))))
PROPERTY: Sudoku-PT-AN15-CTLCardinality-10 ( ( (EG( ( potential( ( 2 ) <= (tk(P1151)) ) | potential( (tk(P455)) <= (tk(P3605)) ) ))) & ( (EG( potential( (tk(P2123)) <= (tk(P49)) ))) & (AG( potential( ( 2 ) <= (tk(P3518)) ))) ) ) | (! (AF(( potential( ( 1 ) <= (tk(P971)) ) | potential( ( 3 ) <= (tk(P1401)) ) )))) )
PROPERTY: Sudoku-PT-AN15-CTLCardinality-11 (AF((AU( potential( ( 3 ) <= (tk(P78)) ),potential( ( 1 ) <= (tk(P2417)) ) ))))
PROPERTY: Sudoku-PT-AN15-CTLCardinality-12 ( (AU( ( potential( ( 3 ) <= (tk(P1333)) ) & potential( ( 2 ) <= (tk(P1081)) ) ),( potential( (tk(P1469)) <= (tk(P1108)) ) | potential( (tk(P3300)) <= (tk(P2804)) ) ) )) & (EG( (EF(potential( (tk(P2478)) <= (tk(P2595)) ))))) )
PROPERTY: Sudoku-PT-AN15-CTLCardinality-13 ( (! ( ( potential( (tk(P3144)) <= (tk(P1133)) ) & potential( (tk(P1806)) <= (tk(P1719)) ) ) & (EG( potential( (tk(P2864)) <= (tk(P3827)) ))) )) & (AF(potential( ( 1 ) <= (tk(P1613)) ))) )
PROPERTY: Sudoku-PT-AN15-CTLCardinality-14 ( (! (EG( ( potential( (tk(P644)) <= (tk(P3835)) ) | potential( ( 3 ) <= (tk(P2467)) ) )))) | (EG( (EX( potential( (tk(P2176)) <= (tk(P373)) ))))) )
PROPERTY: Sudoku-PT-AN15-CTLCardinality-15 (! (EF(( (! potential( (tk(P17)) <= (tk(P444)) )) & ( potential( ( 2 ) <= (tk(P2891)) ) & potential( (tk(P3291)) <= (tk(P868)) ) ) ))))

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="Sudoku-PT-AN15"
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 Sudoku-PT-AN15, 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 r224-oct2-159033538800427"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN15.tgz
mv Sudoku-PT-AN15 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 ;