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-159033538800467.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-BN16, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800467
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 4.5K Jun 3 09:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Jun 3 09:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Jun 3 09:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 622K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.1M May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2M May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.8M May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.9K Jun 3 09:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Jun 3 09:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:13 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 2.5M 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-BN16-CTLCardinality-00
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-01
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-02
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-03
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-04
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-05
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-06
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-07
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-08
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-09
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-10
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-11
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-12
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-13
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-14
FORMULA_NAME Sudoku-PT-BN16-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336624527

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance BN16
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: 5120 places, 4096 transitions, 20480 arcs.
AT ITER 0 NEW BEST:: SOT 17376341 SOS 12162353 HAS SOPS 12162353 HAS SOUS 8736609 HAS SOUPS 8736609 WITH SCORE 8748771.353
AT ITER 9 NEW BEST:: SOT 17376341 SOS 12161352 HAS SOPS 12161352 HAS SOUS 8736594 HAS SOUPS 8736594 WITH SCORE 8748755.352
AT ITER 19 NEW BEST:: SOT 17376341 SOS 12160916 HAS SOPS 12160916 HAS SOUS 8736594 HAS SOUPS 8736594 WITH SCORE 8748754.916
AT ITER 24 NEW BEST:: SOT 17374721 SOS 12159224 HAS SOPS 12159224 HAS SOUS 8735265 HAS SOUPS 8735265 WITH SCORE 8747424.224
AT ITER 32 NEW BEST:: SOT 17374489 SOS 12158117 HAS SOPS 12158117 HAS SOUS 8735033 HAS SOUPS 8735033 WITH SCORE 8747191.117
AT ITER 36 NEW BEST:: SOT 17374489 SOS 12158117 HAS SOPS 12158117 HAS SOUS 8735018 HAS SOUPS 8735018 WITH SCORE 8747176.117
AT ITER 39 NEW BEST:: SOT 17374489 SOS 12157116 HAS SOPS 12157116 HAS SOUS 8735018 HAS SOUPS 8735018 WITH SCORE 8747175.116
AT ITER 60 NEW BEST:: SOT 17374489 SOS 12156389 HAS SOPS 12156389 HAS SOUS 8735018 HAS SOUPS 8735018 WITH SCORE 8747174.389
AT ITER 74 NEW BEST:: SOT 17371414 SOS 12154128 HAS SOPS 12154128 HAS SOUS 8733154 HAS SOUPS 8733154 WITH SCORE 8745308.128
AT ITER 80 NEW BEST:: SOT 17371414 SOS 12154049 HAS SOPS 12154049 HAS SOUS 8733154 HAS SOUPS 8733154 WITH SCORE 8745308.049
AT ITER 83 NEW BEST:: SOT 17371414 SOS 12154470 HAS SOPS 12154470 HAS SOUS 8732985 HAS SOUPS 8732985 WITH SCORE 8745139.47
AT ITER 85 NEW BEST:: SOT 17371414 SOS 12144750 HAS SOPS 12144750 HAS SOUS 8732985 HAS SOUPS 8732985 WITH SCORE 8745129.75
AT ITER 93 NEW BEST:: SOT 17371414 SOS 12143601 HAS SOPS 12143601 HAS SOUS 8732985 HAS SOUPS 8732985 WITH SCORE 8745128.601
AT ITER 111 NEW BEST:: SOT 17368744 SOS 12141076 HAS SOPS 12141076 HAS SOUS 8730617 HAS SOUPS 8730617 WITH SCORE 8742758.076
AT ITER 117 NEW BEST:: SOT 17368744 SOS 12138782 HAS SOPS 12138782 HAS SOUS 8730617 HAS SOUPS 8730617 WITH SCORE 8742755.782
AT ITER 124 NEW BEST:: SOT 17364007 SOS 12151167 HAS SOPS 12151167 HAS SOUS 8728452 HAS SOUPS 8728452 WITH SCORE 8740603.167
AT ITER 126 NEW BEST:: SOT 17364007 SOS 12149336 HAS SOPS 12149336 HAS SOUS 8728452 HAS SOUPS 8728452 WITH SCORE 8740601.336
AT ITER 140 NEW BEST:: SOT 17364007 SOS 12148041 HAS SOPS 12148041 HAS SOUS 8728437 HAS SOUPS 8728437 WITH SCORE 8740585.041
AT ITER 142 NEW BEST:: SOT 17364007 SOS 12147466 HAS SOPS 12147466 HAS SOUS 8728437 HAS SOUPS 8728437 WITH SCORE 8740584.466
AT ITER 143 NEW BEST:: SOT 17364007 SOS 12129650 HAS SOPS 12129650 HAS SOUS 8728437 HAS SOUPS 8728437 WITH SCORE 8740566.65
AT ITER 144 NEW BEST:: SOT 17364007 SOS 12129227 HAS SOPS 12129227 HAS SOUS 8728422 HAS SOUPS 8728422 WITH SCORE 8740551.227
AT ITER 148 NEW BEST:: SOT 17364007 SOS 12127211 HAS SOPS 12127211 HAS SOUS 8728422 HAS SOUPS 8728422 WITH SCORE 8740549.211
AT ITER 160 NEW BEST:: SOT 17364007 SOS 12110181 HAS SOPS 12110181 HAS SOUS 8728432 HAS SOUPS 8728432 WITH SCORE 8740542.181
AT ITER 162 NEW BEST:: SOT 17360358 SOS 12116917 HAS SOPS 12116917 HAS SOUS 8725169 HAS SOUPS 8725169 WITH SCORE 8737285.917
AT ITER 172 NEW BEST:: SOT 17360358 SOS 12115619 HAS SOPS 12115619 HAS SOUS 8725154 HAS SOUPS 8725154 WITH SCORE 8737269.619
AT ITER 176 NEW BEST:: SOT 17360358 SOS 12114905 HAS SOPS 12114905 HAS SOUS 8725154 HAS SOUPS 8725154 WITH SCORE 8737268.905
AT ITER 179 NEW BEST:: SOT 17355855 SOS 12130719 HAS SOPS 12130719 HAS SOUS 8721104 HAS SOUPS 8721104 WITH SCORE 8733234.719
AT ITER 189 NEW BEST:: SOT 17355855 SOS 12130719 HAS SOPS 12130719 HAS SOUS 8721089 HAS SOUPS 8721089 WITH SCORE 8733219.719
AT ITER 193 NEW BEST:: SOT 17355855 SOS 12130234 HAS SOPS 12130234 HAS SOUS 8721089 HAS SOUPS 8721089 WITH SCORE 8733219.234
AT ITER 202 NEW BEST:: SOT 17352315 SOS 12126774 HAS SOPS 12126774 HAS SOUS 8717704 HAS SOUPS 8717704 WITH SCORE 8729830.774
AT ITER 203 NEW BEST:: SOT 17352315 SOS 12118746 HAS SOPS 12118746 HAS SOUS 8717704 HAS SOUPS 8717704 WITH SCORE 8729822.746
AT ITER 216 NEW BEST:: SOT 17352315 SOS 12109326 HAS SOPS 12109326 HAS SOUS 8717704 HAS SOUPS 8717704 WITH SCORE 8729813.326
AT ITER 218 NEW BEST:: SOT 17352315 SOS 12093497 HAS SOPS 12093497 HAS SOUS 8717704 HAS SOUPS 8717704 WITH SCORE 8729797.497
AT ITER 234 NEW BEST:: SOT 17352315 SOS 12093150 HAS SOPS 12093150 HAS SOUS 8717704 HAS SOUPS 8717704 WITH SCORE 8729797.15
AT ITER 236 NEW BEST:: SOT 17348055 SOS 12111812 HAS SOPS 12111812 HAS SOUS 8716056 HAS SOUPS 8716056 WITH SCORE 8728167.812
AT ITER 238 NEW BEST:: SOT 17345689 SOS 12109440 HAS SOPS 12109440 HAS SOUS 8714082 HAS SOUPS 8714082 WITH SCORE 8726191.44
AT ITER 253 NEW BEST:: SOT 17345689 SOS 12110436 HAS SOPS 12110436 HAS SOUS 8714067 HAS SOUPS 8714067 WITH SCORE 8726177.436
AT ITER 270 NEW BEST:: SOT 17341129 SOS 12100116 HAS SOPS 12100116 HAS SOUS 8709507 HAS SOUPS 8709507 WITH SCORE 8721607.116
AT ITER 283 NEW BEST:: SOT 17341129 SOS 12090761 HAS SOPS 12090761 HAS SOUS 8709507 HAS SOUPS 8709507 WITH SCORE 8721597.761
AT ITER 286 NEW BEST:: SOT 17339952 SOS 12089975 HAS SOPS 12089975 HAS SOUS 8708928 HAS SOUPS 8708928 WITH SCORE 8721017.975
AT ITER 293 NEW BEST:: SOT 17338937 SOS 12089227 HAS SOPS 12089227 HAS SOUS 8708180 HAS SOUPS 8708180 WITH SCORE 8720269.227
AT ITER 294 NEW BEST:: SOT 17338937 SOS 12089227 HAS SOPS 12089227 HAS SOUS 8708165 HAS SOUPS 8708165 WITH SCORE 8720254.227
AT ITER 296 NEW BEST:: SOT 17335667 SOS 12086173 HAS SOPS 12086173 HAS SOUS 8705153 HAS SOUPS 8705153 WITH SCORE 8717239.173
AT ITER 308 NEW BEST:: SOT 17333794 SOS 12084300 HAS SOPS 12084300 HAS SOUS 8703598 HAS SOUPS 8703598 WITH SCORE 8715682.3
AT ITER 326 NEW BEST:: SOT 17333794 SOS 12083071 HAS SOPS 12083071 HAS SOUS 8703598 HAS SOUPS 8703598 WITH SCORE 8715681.071
AT ITER 331 NEW BEST:: SOT 17333794 SOS 12069871 HAS SOPS 12069871 HAS SOUS 8703598 HAS SOUPS 8703598 WITH SCORE 8715667.871
AT ITER 341 NEW BEST:: SOT 17333794 SOS 12069068 HAS SOPS 12069068 HAS SOUS 8703598 HAS SOUPS 8703598 WITH SCORE 8715667.068
AT ITER 349 NEW BEST:: SOT 17333794 SOS 12067770 HAS SOPS 12067770 HAS SOUS 8703598 HAS SOUPS 8703598 WITH SCORE 8715665.77
AT ITER 353 NEW BEST:: SOT 17333794 SOS 12065061 HAS SOPS 12065061 HAS SOUS 8703598 HAS SOUPS 8703598 WITH SCORE 8715663.061
AT ITER 355 NEW BEST:: SOT 17333794 SOS 12042693 HAS SOPS 12042693 HAS SOUS 8703583 HAS SOUPS 8703583 WITH SCORE 8715625.693
AT ITER 358 NEW BEST:: SOT 17333794 SOS 12042008 HAS SOPS 12042008 HAS SOUS 8703583 HAS SOUPS 8703583 WITH SCORE 8715625.008
AT ITER 360 NEW BEST:: SOT 17333794 SOS 12040577 HAS SOPS 12040577 HAS SOUS 8703583 HAS SOUPS 8703583 WITH SCORE 8715623.577
AT ITER 369 NEW BEST:: SOT 17331888 SOS 12043059 HAS SOPS 12043059 HAS SOUS 8702225 HAS SOUPS 8702225 WITH SCORE 8714268.059
AT ITER 379 NEW BEST:: SOT 17331615 SOS 12042436 HAS SOPS 12042436 HAS SOUS 8702050 HAS SOUPS 8702050 WITH SCORE 8714092.436
AT ITER 380 NEW BEST:: SOT 17331615 SOS 12040999 HAS SOPS 12040999 HAS SOUS 8702050 HAS SOUPS 8702050 WITH SCORE 8714090.999
AT ITER 391 NEW BEST:: SOT 17331615 SOS 12023535 HAS SOPS 12023535 HAS SOUS 8702050 HAS SOUPS 8702050 WITH SCORE 8714073.535
AT ITER 399 NEW BEST:: SOT 17331615 SOS 12023535 HAS SOPS 12023535 HAS SOUS 8702035 HAS SOUPS 8702035 WITH SCORE 8714058.535
AT ITER 400 NEW BEST:: SOT 17331615 SOS 12022076 HAS SOPS 12022076 HAS SOUS 8702035 HAS SOUPS 8702035 WITH SCORE 8714057.076
AT ITER 410 NEW BEST:: SOT 17331615 SOS 12021934 HAS SOPS 12021934 HAS SOUS 8702035 HAS SOUPS 8702035 WITH SCORE 8714056.934
AT ITER 411 NEW BEST:: SOT 17331615 SOS 12021034 HAS SOPS 12021034 HAS SOUS 8702035 HAS SOUPS 8702035 WITH SCORE 8714056.034
AT ITER 412 NEW BEST:: SOT 17326995 SOS 12018247 HAS SOPS 12018247 HAS SOUS 8698543 HAS SOUPS 8698543 WITH SCORE 8710561.247
AT ITER 419 NEW BEST:: SOT 17323233 SOS 12033433 HAS SOPS 12033433 HAS SOUS 8697484 HAS SOUPS 8697484 WITH SCORE 8709517.433
AT ITER 421 NEW BEST:: SOT 17323233 SOS 12033344 HAS SOPS 12033344 HAS SOUS 8697484 HAS SOUPS 8697484 WITH SCORE 8709517.344
AT ITER 422 NEW BEST:: SOT 17323233 SOS 12032670 HAS SOPS 12032670 HAS SOUS 8697484 HAS SOUPS 8697484 WITH SCORE 8709516.67
AT ITER 430 NEW BEST:: SOT 17323233 SOS 12031469 HAS SOPS 12031469 HAS SOUS 8697484 HAS SOUPS 8697484 WITH SCORE 8709515.469
AT ITER 432 NEW BEST:: SOT 17323233 SOS 12030115 HAS SOPS 12030115 HAS SOUS 8697484 HAS SOUPS 8697484 WITH SCORE 8709514.115
AT ITER 442 NEW BEST:: SOT 17323233 SOS 12028542 HAS SOPS 12028542 HAS SOUS 8697469 HAS SOUPS 8697469 WITH SCORE 8709497.542
AT ITER 451 NEW BEST:: SOT 17321553 SOS 12027283 HAS SOPS 12027283 HAS SOUS 8695931 HAS SOUPS 8695931 WITH SCORE 8707958.283
AT ITER 455 NEW BEST:: SOT 17321553 SOS 12026771 HAS SOPS 12026771 HAS SOUS 8695931 HAS SOUPS 8695931 WITH SCORE 8707957.771
AT ITER 457 NEW BEST:: SOT 17321553 SOS 12025726 HAS SOPS 12025726 HAS SOUS 8695931 HAS SOUPS 8695931 WITH SCORE 8707956.726
AT ITER 458 NEW BEST:: SOT 17316678 SOS 12021571 HAS SOPS 12021571 HAS SOUS 8691923 HAS SOUPS 8691923 WITH SCORE 8703944.571
AT ITER 459 NEW BEST:: SOT 17316678 SOS 12020801 HAS SOPS 12020801 HAS SOUS 8691923 HAS SOUPS 8691923 WITH SCORE 8703943.801
AT ITER 465 NEW BEST:: SOT 17316678 SOS 12004912 HAS SOPS 12004912 HAS SOUS 8691923 HAS SOUPS 8691923 WITH SCORE 8703927.912
AT ITER 470 NEW BEST:: SOT 17316678 SOS 11994581 HAS SOPS 11994581 HAS SOUS 8691923 HAS SOUPS 8691923 WITH SCORE 8703917.581
AT ITER 480 NEW BEST:: SOT 17316678 SOS 11992878 HAS SOPS 11992878 HAS SOUS 8691923 HAS SOUPS 8691923 WITH SCORE 8703915.878
AT ITER 487 NEW BEST:: SOT 17316678 SOS 11991933 HAS SOPS 11991933 HAS SOUS 8691923 HAS SOUPS 8691923 WITH SCORE 8703914.933
AT ITER 491 NEW BEST:: SOT 17316678 SOS 11990484 HAS SOPS 11990484 HAS SOUS 8691908 HAS SOUPS 8691908 WITH SCORE 8703898.484
AT ITER 493 NEW BEST:: SOT 17315173 SOS 11989170 HAS SOPS 11989170 HAS SOUS 8691091 HAS SOUPS 8691091 WITH SCORE 8703080.17
AT ITER 496 NEW BEST:: SOT 17315173 SOS 11954160 HAS SOPS 11954160 HAS SOUS 8691091 HAS SOUPS 8691091 WITH SCORE 8703045.16
AT ITER 504 NEW BEST:: SOT 17315173 SOS 11952384 HAS SOPS 11952384 HAS SOUS 8691091 HAS SOUPS 8691091 WITH SCORE 8703043.384
AT ITER 505 NEW BEST:: SOT 17315487 SOS 11952737 HAS SOPS 11952737 HAS SOUS 8691015 HAS SOUPS 8691015 WITH SCORE 8702967.737
AT ITER 519 NEW BEST:: SOT 17315794 SOS 11953050 HAS SOPS 11953050 HAS SOUS 8690989 HAS SOUPS 8690989 WITH SCORE 8702942.05
AT ITER 521 NEW BEST:: SOT 17315794 SOS 11953050 HAS SOPS 11953050 HAS SOUS 8690974 HAS SOUPS 8690974 WITH SCORE 8702927.05
AT ITER 531 NEW BEST:: SOT 17310604 SOS 11948904 HAS SOPS 11948904 HAS SOUS 8686974 HAS SOUPS 8686974 WITH SCORE 8698922.904
AT ITER 538 NEW BEST:: SOT 17310604 SOS 11948074 HAS SOPS 11948074 HAS SOUS 8686974 HAS SOUPS 8686974 WITH SCORE 8698922.074
AT ITER 558 NEW BEST:: SOT 17310604 SOS 11947411 HAS SOPS 11947411 HAS SOUS 8686974 HAS SOUPS 8686974 WITH SCORE 8698921.411
AT ITER 560 NEW BEST:: SOT 17310604 SOS 11947411 HAS SOPS 11947411 HAS SOUS 8686959 HAS SOUPS 8686959 WITH SCORE 8698906.411
AT ITER 585 NEW BEST:: SOT 17310604 SOS 11934532 HAS SOPS 11934532 HAS SOUS 8686959 HAS SOUPS 8686959 WITH SCORE 8698893.532
AT ITER 595 NEW BEST:: SOT 17310604 SOS 11933893 HAS SOPS 11933893 HAS SOUS 8686959 HAS SOUPS 8686959 WITH SCORE 8698892.893
AT ITER 599 NEW BEST:: SOT 17310604 SOS 11933265 HAS SOPS 11933265 HAS SOUS 8686959 HAS SOUPS 8686959 WITH SCORE 8698892.265
AT ITER 601 NEW BEST:: SOT 17310604 SOS 11932350 HAS SOPS 11932350 HAS SOUS 8686959 HAS SOUPS 8686959 WITH SCORE 8698891.35
AT ITER 608 NEW BEST:: SOT 17310604 SOS 11931082 HAS SOPS 11931082 HAS SOUS 8686944 HAS SOUPS 8686944 WITH SCORE 8698875.082
AT ITER 615 NEW BEST:: SOT 17310604 SOS 11930781 HAS SOPS 11930781 HAS SOUS 8686944 HAS SOUPS 8686944 WITH SCORE 8698874.781
AT ITER 618 NEW BEST:: SOT 17310604 SOS 11928788 HAS SOPS 11928788 HAS SOUS 8686944 HAS SOUPS 8686944 WITH SCORE 8698872.788
AT ITER 619 NEW BEST:: SOT 17310604 SOS 11927219 HAS SOPS 11927219 HAS SOUS 8686944 HAS SOUPS 8686944 WITH SCORE 8698871.219
AT ITER 624 NEW BEST:: SOT 17310604 SOS 11926512 HAS SOPS 11926512 HAS SOUS 8686944 HAS SOUPS 8686944 WITH SCORE 8698870.512
AT ITER 626 NEW BEST:: SOT 17310604 SOS 11925956 HAS SOPS 11925956 HAS SOUS 8686944 HAS SOUPS 8686944 WITH SCORE 8698869.956
AT ITER 646 NEW BEST:: SOT 17306217 SOS 11922137 HAS SOPS 11922137 HAS SOUS 8686029 HAS SOUPS 8686029 WITH SCORE 8697951.137
AT ITER 658 NEW BEST:: SOT 17306217 SOS 11920591 HAS SOPS 11920591 HAS SOUS 8686029 HAS SOUPS 8686029 WITH SCORE 8697949.591
AT ITER 661 NEW BEST:: SOT 17306217 SOS 11920591 HAS SOPS 11920591 HAS SOUS 8686014 HAS SOUPS 8686014 WITH SCORE 8697934.591
AT ITER 663 NEW BEST:: SOT 17300607 SOS 11915560 HAS SOPS 11915560 HAS SOUS 8681143 HAS SOUPS 8681143 WITH SCORE 8693058.56
AT ITER 666 NEW BEST:: SOT 17300607 SOS 11915378 HAS SOPS 11915378 HAS SOUS 8681143 HAS SOUPS 8681143 WITH SCORE 8693058.378
AT ITER 672 NEW BEST:: SOT 17297067 SOS 11911942 HAS SOPS 11911942 HAS SOUS 8678855 HAS SOUPS 8678855 WITH SCORE 8690766.942
AT ITER 673 NEW BEST:: SOT 17297067 SOS 11911423 HAS SOPS 11911423 HAS SOUS 8678855 HAS SOUPS 8678855 WITH SCORE 8690766.423
AT ITER 676 NEW BEST:: SOT 17297067 SOS 11910860 HAS SOPS 11910860 HAS SOUS 8678855 HAS SOUPS 8678855 WITH SCORE 8690765.86
AT ITER 678 NEW BEST:: SOT 17297067 SOS 11910540 HAS SOPS 11910540 HAS SOUS 8678855 HAS SOUPS 8678855 WITH SCORE 8690765.54
AT ITER 683 NEW BEST:: SOT 17297067 SOS 11909630 HAS SOPS 11909630 HAS SOUS 8678855 HAS SOUPS 8678855 WITH SCORE 8690764.63
AT ITER 685 NEW BEST:: SOT 17297067 SOS 11909630 HAS SOPS 11909630 HAS SOUS 8678840 HAS SOUPS 8678840 WITH SCORE 8690749.63
AT ITER 690 NEW BEST:: SOT 17296501 SOS 11909671 HAS SOPS 11909671 HAS SOUS 8678829 HAS SOUPS 8678829 WITH SCORE 8690738.671
AT ITER 693 NEW BEST:: SOT 17292641 SOS 11904538 HAS SOPS 11904538 HAS SOUS 8673767 HAS SOUPS 8673767 WITH SCORE 8685671.538
AT ITER 695 NEW BEST:: SOT 17289222 SOS 11935200 HAS SOPS 11935200 HAS SOUS 8671453 HAS SOUPS 8671453 WITH SCORE 8683388.2
AT ITER 697 NEW BEST:: SOT 17285809 SOS 11936725 HAS SOPS 11936725 HAS SOUS 8668760 HAS SOUPS 8668760 WITH SCORE 8680696.725
AT ITER 698 NEW BEST:: SOT 17285809 SOS 11933169 HAS SOPS 11933169 HAS SOUS 8668760 HAS SOUPS 8668760 WITH SCORE 8680693.169
AT ITER 702 NEW BEST:: SOT 17283560 SOS 11932378 HAS SOPS 11932378 HAS SOUS 8668429 HAS SOUPS 8668429 WITH SCORE 8680361.378
AT ITER 707 NEW BEST:: SOT 17283560 SOS 11920983 HAS SOPS 11920983 HAS SOUS 8668429 HAS SOUPS 8668429 WITH SCORE 8680349.983
AT ITER 710 NEW BEST:: SOT 17283560 SOS 11920022 HAS SOPS 11920022 HAS SOUS 8668429 HAS SOUPS 8668429 WITH SCORE 8680349.022
AT ITER 719 NEW BEST:: SOT 17282061 SOS 11918765 HAS SOPS 11918765 HAS SOUS 8667420 HAS SOUPS 8667420 WITH SCORE 8679338.765
AT ITER 721 NEW BEST:: SOT 17282061 SOS 11917595 HAS SOPS 11917595 HAS SOUS 8667420 HAS SOUPS 8667420 WITH SCORE 8679337.595
AT ITER 726 NEW BEST:: SOT 17282061 SOS 11917539 HAS SOPS 11917539 HAS SOUS 8667420 HAS SOUPS 8667420 WITH SCORE 8679337.539
AT ITER 731 NEW BEST:: SOT 17281563 SOS 11917363 HAS SOPS 11917363 HAS SOUS 8667324 HAS SOUPS 8667324 WITH SCORE 8679241.363
AT ITER 734 NEW BEST:: SOT 17281563 SOS 11916655 HAS SOPS 11916655 HAS SOUS 8667324 HAS SOUPS 8667324 WITH SCORE 8679240.655
AT ITER 735 NEW BEST:: SOT 17279840 SOS 11915473 HAS SOPS 11915473 HAS SOUS 8665988 HAS SOUPS 8665988 WITH SCORE 8677903.473
AT ITER 736 NEW BEST:: SOT 17279840 SOS 11914961 HAS SOPS 11914961 HAS SOUS 8665988 HAS SOUPS 8665988 WITH SCORE 8677902.961
AT ITER 738 NEW BEST:: SOT 17279840 SOS 11914202 HAS SOPS 11914202 HAS SOUS 8665988 HAS SOUPS 8665988 WITH SCORE 8677902.202
AT ITER 744 NEW BEST:: SOT 17278732 SOS 11913162 HAS SOPS 11913162 HAS SOUS 8665010 HAS SOUPS 8665010 WITH SCORE 8676923.162
AT ITER 745 NEW BEST:: SOT 17278732 SOS 11912656 HAS SOPS 11912656 HAS SOUS 8664995 HAS SOUPS 8664995 WITH SCORE 8676907.656
AT ITER 748 NEW BEST:: SOT 17278732 SOS 11912217 HAS SOPS 11912217 HAS SOUS 8664995 HAS SOUPS 8664995 WITH SCORE 8676907.217
AT ITER 755 NEW BEST:: SOT 17278732 SOS 11912217 HAS SOPS 11912217 HAS SOUS 8664980 HAS SOUPS 8664980 WITH SCORE 8676892.217
AT ITER 760 NEW BEST:: SOT 17278732 SOS 11910575 HAS SOPS 11910575 HAS SOUS 8664980 HAS SOUPS 8664980 WITH SCORE 8676890.575
AT ITER 761 NEW BEST:: SOT 17278732 SOS 11894531 HAS SOPS 11894531 HAS SOUS 8664980 HAS SOUPS 8664980 WITH SCORE 8676874.531
AT ITER 766 NEW BEST:: SOT 17276008 SOS 11891823 HAS SOPS 11891823 HAS SOUS 8662612 HAS SOUPS 8662612 WITH SCORE 8674503.823
AT ITER 777 NEW BEST:: SOT 17276008 SOS 11891454 HAS SOPS 11891454 HAS SOUS 8662559 HAS SOUPS 8662559 WITH SCORE 8674450.454
AT ITER 778 NEW BEST:: SOT 17276008 SOS 11890124 HAS SOPS 11890124 HAS SOUS 8662559 HAS SOUPS 8662559 WITH SCORE 8674449.124
AT ITER 784 NEW BEST:: SOT 17276008 SOS 11890124 HAS SOPS 11890124 HAS SOUS 8662471 HAS SOUPS 8662471 WITH SCORE 8674361.124
AT ITER 790 NEW BEST:: SOT 17276008 SOS 11888980 HAS SOPS 11888980 HAS SOUS 8662471 HAS SOUPS 8662471 WITH SCORE 8674359.98
AT ITER 794 NEW BEST:: SOT 17276008 SOS 11886713 HAS SOPS 11886713 HAS SOUS 8662471 HAS SOUPS 8662471 WITH SCORE 8674357.713
AT ITER 795 NEW BEST:: SOT 17275747 SOS 11886191 HAS SOPS 11886191 HAS SOUS 8662210 HAS SOUPS 8662210 WITH SCORE 8674096.191
AT ITER 798 NEW BEST:: SOT 17275747 SOS 11885486 HAS SOPS 11885486 HAS SOUS 8662210 HAS SOUPS 8662210 WITH SCORE 8674095.486
AT ITER 804 NEW BEST:: SOT 17275747 SOS 11864787 HAS SOPS 11864787 HAS SOUS 8662210 HAS SOUPS 8662210 WITH SCORE 8674074.787
AT ITER 809 NEW BEST:: SOT 17275747 SOS 11864011 HAS SOPS 11864011 HAS SOUS 8662210 HAS SOUPS 8662210 WITH SCORE 8674074.011
AT ITER 823 NEW BEST:: SOT 17272108 SOS 11860537 HAS SOPS 11860537 HAS SOUS 8658736 HAS SOUPS 8658736 WITH SCORE 8670596.537
AT ITER 824 NEW BEST:: SOT 17272108 SOS 11838329 HAS SOPS 11838329 HAS SOUS 8658736 HAS SOUPS 8658736 WITH SCORE 8670574.329
AT ITER 838 NEW BEST:: SOT 17272108 SOS 11837298 HAS SOPS 11837298 HAS SOUS 8658736 HAS SOUPS 8658736 WITH SCORE 8670573.298
AT ITER 843 NEW BEST:: SOT 17272108 SOS 11835912 HAS SOPS 11835912 HAS SOUS 8658736 HAS SOUPS 8658736 WITH SCORE 8670571.912
AT ITER 844 NEW BEST:: SOT 17272108 SOS 11835241 HAS SOPS 11835241 HAS SOUS 8658736 HAS SOUPS 8658736 WITH SCORE 8670571.241
AT ITER 847 NEW BEST:: SOT 17272108 SOS 11833148 HAS SOPS 11833148 HAS SOUS 8658736 HAS SOUPS 8658736 WITH SCORE 8670569.148
AT ITER 852 NEW BEST:: SOT 17272108 SOS 11831105 HAS SOPS 11831105 HAS SOUS 8658736 HAS SOUPS 8658736 WITH SCORE 8670567.105
AT ITER 855 NEW BEST:: SOT 17272108 SOS 11830815 HAS SOPS 11830815 HAS SOUS 8658736 HAS SOUPS 8658736 WITH SCORE 8670566.815
AT ITER 857 NEW BEST:: SOT 17268035 SOS 11828329 HAS SOPS 11828329 HAS SOUS 8655763 HAS SOUPS 8655763 WITH SCORE 8667591.329
AT ITER 869 NEW BEST:: SOT 17268035 SOS 11819985 HAS SOPS 11819985 HAS SOUS 8655763 HAS SOUPS 8655763 WITH SCORE 8667582.985
AT ITER 871 NEW BEST:: SOT 17268035 SOS 11819210 HAS SOPS 11819210 HAS SOUS 8655763 HAS SOUPS 8655763 WITH SCORE 8667582.21
AT ITER 875 NEW BEST:: SOT 17268035 SOS 11819345 HAS SOPS 11819345 HAS SOUS 8655748 HAS SOUPS 8655748 WITH SCORE 8667567.345
AT ITER 876 NEW BEST:: SOT 17267226 SOS 11819243 HAS SOPS 11819243 HAS SOUS 8655694 HAS SOUPS 8655694 WITH SCORE 8667513.243
AT ITER 880 NEW BEST:: SOT 17267226 SOS 11818635 HAS SOPS 11818635 HAS SOUS 8655694 HAS SOUPS 8655694 WITH SCORE 8667512.635
AT ITER 884 NEW BEST:: SOT 17263616 SOS 11856514 HAS SOPS 11856514 HAS SOUS 8652837 HAS SOUPS 8652837 WITH SCORE 8664693.514
AT ITER 885 NEW BEST:: SOT 17263616 SOS 11856427 HAS SOPS 11856427 HAS SOUS 8652837 HAS SOUPS 8652837 WITH SCORE 8664693.427
AT ITER 888 NEW BEST:: SOT 17263616 SOS 11855559 HAS SOPS 11855559 HAS SOUS 8652837 HAS SOUPS 8652837 WITH SCORE 8664692.559
AT ITER 894 NEW BEST:: SOT 17263773 SOS 11855630 HAS SOPS 11855630 HAS SOUS 8652739 HAS SOUPS 8652739 WITH SCORE 8664594.63
AT ITER 915 NEW BEST:: SOT 17263773 SOS 11855372 HAS SOPS 11855372 HAS SOUS 8652724 HAS SOUPS 8652724 WITH SCORE 8664579.372
AT ITER 917 NEW BEST:: SOT 17263773 SOS 11855252 HAS SOPS 11855252 HAS SOUS 8652724 HAS SOUPS 8652724 WITH SCORE 8664579.252
AT ITER 924 NEW BEST:: SOT 17263773 SOS 11853856 HAS SOPS 11853856 HAS SOUS 8652724 HAS SOUPS 8652724 WITH SCORE 8664577.856
AT ITER 926 NEW BEST:: SOT 17263773 SOS 11841151 HAS SOPS 11841151 HAS SOUS 8652724 HAS SOUPS 8652724 WITH SCORE 8664565.151
AT ITER 939 NEW BEST:: SOT 17263773 SOS 11840505 HAS SOPS 11840505 HAS SOUS 8652724 HAS SOUPS 8652724 WITH SCORE 8664564.505
AT ITER 943 NEW BEST:: SOT 17263773 SOS 11840130 HAS SOPS 11840130 HAS SOUS 8652724 HAS SOUPS 8652724 WITH SCORE 8664564.13
AT ITER 955 NEW BEST:: SOT 17263773 SOS 11839093 HAS SOPS 11839093 HAS SOUS 8652724 HAS SOUPS 8652724 WITH SCORE 8664563.093
AT ITER 958 NEW BEST:: SOT 17263773 SOS 11838883 HAS SOPS 11838883 HAS SOUS 8652724 HAS SOUPS 8652724 WITH SCORE 8664562.883
AT ITER 960 NEW BEST:: SOT 17263773 SOS 11838883 HAS SOPS 11838883 HAS SOUS 8652709 HAS SOUPS 8652709 WITH SCORE 8664547.883
AT ITER 964 NEW BEST:: SOT 17263773 SOS 11836594 HAS SOPS 11836594 HAS SOUS 8652709 HAS SOUPS 8652709 WITH SCORE 8664545.594
AT ITER 967 NEW BEST:: SOT 17263091 SOS 11835911 HAS SOPS 11835911 HAS SOUS 8652027 HAS SOUPS 8652027 WITH SCORE 8663862.911
AT ITER 980 NEW BEST:: SOT 17263091 SOS 11834687 HAS SOPS 11834687 HAS SOUS 8652027 HAS SOUPS 8652027 WITH SCORE 8663861.687
AT ITER 983 NEW BEST:: SOT 17263091 SOS 11799455 HAS SOPS 11799455 HAS SOUS 8652027 HAS SOUPS 8652027 WITH SCORE 8663826.455
AT ITER 991 NEW BEST:: SOT 17263091 SOS 11772335 HAS SOPS 11772335 HAS SOUS 8652027 HAS SOUPS 8652027 WITH SCORE 8663799.335
AT ITER 992 NEW BEST:: SOT 17263091 SOS 11771797 HAS SOPS 11771797 HAS SOUS 8652027 HAS SOUPS 8652027 WITH SCORE 8663798.797
AT ITER 1001 NEW BEST:: SOT 17263091 SOS 11771797 HAS SOPS 11771797 HAS SOUS 8652012 HAS SOUPS 8652012 WITH SCORE 8663783.797
AT ITER 1006 NEW BEST:: SOT 17263091 SOS 11771383 HAS SOPS 11771383 HAS SOUS 8652012 HAS SOUPS 8652012 WITH SCORE 8663783.383
AT ITER 1009 NEW BEST:: SOT 17258738 SOS 11767172 HAS SOPS 11767172 HAS SOUS 8647986 HAS SOUPS 8647986 WITH SCORE 8659753.172
AT ITER 1022 NEW BEST:: SOT 17256278 SOS 11765376 HAS SOPS 11765376 HAS SOUS 8645834 HAS SOUPS 8645834 WITH SCORE 8657599.376
AT ITER 1041 NEW BEST:: SOT 17255799 SOS 11765211 HAS SOPS 11765211 HAS SOUS 8645764 HAS SOUPS 8645764 WITH SCORE 8657529.211
AT ITER 1048 NEW BEST:: SOT 17255883 SOS 11765295 HAS SOPS 11765295 HAS SOUS 8645383 HAS SOUPS 8645383 WITH SCORE 8657148.295
AT ITER 1052 NEW BEST:: SOT 17255883 SOS 11765176 HAS SOPS 11765176 HAS SOUS 8645383 HAS SOUPS 8645383 WITH SCORE 8657148.176
AT ITER 1053 NEW BEST:: SOT 17255883 SOS 11724395 HAS SOPS 11724395 HAS SOUS 8645383 HAS SOUPS 8645383 WITH SCORE 8657107.395
AT ITER 1058 NEW BEST:: SOT 17255883 SOS 11692226 HAS SOPS 11692226 HAS SOUS 8645022 HAS SOUPS 8645022 WITH SCORE 8656714.226
AT ITER 1060 NEW BEST:: SOT 17255883 SOS 11690509 HAS SOPS 11690509 HAS SOUS 8645022 HAS SOUPS 8645022 WITH SCORE 8656712.509
AT ITER 1069 NEW BEST:: SOT 17255883 SOS 11688967 HAS SOPS 11688967 HAS SOUS 8645007 HAS SOUPS 8645007 WITH SCORE 8656695.967
AT ITER 1075 NEW BEST:: SOT 17255346 SOS 11688474 HAS SOPS 11688474 HAS SOUS 8644564 HAS SOUPS 8644564 WITH SCORE 8656252.474
AT ITER 1079 NEW BEST:: SOT 17255301 SOS 11688429 HAS SOPS 11688429 HAS SOUS 8644519 HAS SOUPS 8644519 WITH SCORE 8656207.429
AT ITER 1084 NEW BEST:: SOT 17250774 SOS 11685231 HAS SOPS 11685231 HAS SOUS 8640841 HAS SOUPS 8640841 WITH SCORE 8652526.231
AT ITER 1090 NEW BEST:: SOT 17247376 SOS 11681896 HAS SOPS 11681896 HAS SOUS 8637610 HAS SOUPS 8637610 WITH SCORE 8649291.896
AT ITER 1092 NEW BEST:: SOT 17247376 SOS 11681873 HAS SOPS 11681873 HAS SOUS 8637477 HAS SOUPS 8637477 WITH SCORE 8649158.873
AT ITER 1093 NEW BEST:: SOT 17247376 SOS 11681414 HAS SOPS 11681414 HAS SOUS 8637477 HAS SOUPS 8637477 WITH SCORE 8649158.414
AT ITER 1094 NEW BEST:: SOT 17245457 SOS 11684043 HAS SOPS 11684043 HAS SOUS 8635915 HAS SOUPS 8635915 WITH SCORE 8647599.043
AT ITER 1095 NEW BEST:: SOT 17245656 SOS 11684206 HAS SOPS 11684206 HAS SOUS 8635694 HAS SOUPS 8635694 WITH SCORE 8647378.206
AT ITER 1104 NEW BEST:: SOT 17243751 SOS 11684801 HAS SOPS 11684801 HAS SOUS 8634980 HAS SOUPS 8634980 WITH SCORE 8646664.801
AT ITER 1105 NEW BEST:: SOT 17243667 SOS 11684717 HAS SOPS 11684717 HAS SOUS 8634384 HAS SOUPS 8634384 WITH SCORE 8646068.717
AT ITER 1110 NEW BEST:: SOT 17243667 SOS 11684644 HAS SOPS 11684644 HAS SOUS 8634384 HAS SOUPS 8634384 WITH SCORE 8646068.644
AT ITER 1114 NEW BEST:: SOT 17243718 SOS 11685220 HAS SOPS 11685220 HAS SOUS 8634251 HAS SOUPS 8634251 WITH SCORE 8645936.22
AT ITER 1116 NEW BEST:: SOT 17243718 SOS 11663821 HAS SOPS 11663821 HAS SOUS 8634251 HAS SOUPS 8634251 WITH SCORE 8645914.821
AT ITER 1121 NEW BEST:: SOT 17238471 SOS 11659021 HAS SOPS 11659021 HAS SOUS 8629336 HAS SOUPS 8629336 WITH SCORE 8640995.021
AT ITER 1123 NEW BEST:: SOT 17238252 SOS 11659394 HAS SOPS 11659394 HAS SOUS 8629325 HAS SOUPS 8629325 WITH SCORE 8640984.394
AT ITER 1126 NEW BEST:: SOT 17238252 SOS 11659394 HAS SOPS 11659394 HAS SOUS 8629070 HAS SOUPS 8629070 WITH SCORE 8640729.394
AT ITER 1127 NEW BEST:: SOT 17238252 SOS 11648637 HAS SOPS 11648637 HAS SOUS 8629070 HAS SOUPS 8629070 WITH SCORE 8640718.637
AT ITER 1129 NEW BEST:: SOT 17238252 SOS 11647273 HAS SOPS 11647273 HAS SOUS 8629040 HAS SOUPS 8629040 WITH SCORE 8640687.273
AT ITER 1149 NEW BEST:: SOT 17233737 SOS 11643236 HAS SOPS 11643236 HAS SOUS 8625391 HAS SOUPS 8625391 WITH SCORE 8637034.236
AT ITER 1156 NEW BEST:: SOT 17230200 SOS 11679605 HAS SOPS 11679605 HAS SOUS 8622565 HAS SOUPS 8622565 WITH SCORE 8634244.605
AT ITER 1158 NEW BEST:: SOT 17230200 SOS 11678809 HAS SOPS 11678809 HAS SOUS 8622565 HAS SOUPS 8622565 WITH SCORE 8634243.809
AT ITER 1166 NEW BEST:: SOT 17230200 SOS 11666863 HAS SOPS 11666863 HAS SOUS 8622565 HAS SOUPS 8622565 WITH SCORE 8634231.863
AT ITER 1172 NEW BEST:: SOT 17230322 SOS 11666865 HAS SOPS 11666865 HAS SOUS 8622428 HAS SOUPS 8622428 WITH SCORE 8634094.865
AT ITER 1178 NEW BEST:: SOT 17230322 SOS 11652603 HAS SOPS 11652603 HAS SOUS 8622428 HAS SOUPS 8622428 WITH SCORE 8634080.603
AT ITER 1183 NEW BEST:: SOT 17230322 SOS 11651461 HAS SOPS 11651461 HAS SOUS 8622428 HAS SOUPS 8622428 WITH SCORE 8634079.461
AT ITER 1184 NEW BEST:: SOT 17230322 SOS 11649258 HAS SOPS 11649258 HAS SOUS 8622428 HAS SOUPS 8622428 WITH SCORE 8634077.258
AT ITER 1192 NEW BEST:: SOT 17229206 SOS 11648231 HAS SOPS 11648231 HAS SOUS 8621487 HAS SOUPS 8621487 WITH SCORE 8633135.231
AT ITER 1194 NEW BEST:: SOT 17229206 SOS 11647409 HAS SOPS 11647409 HAS SOUS 8621276 HAS SOUPS 8621276 WITH SCORE 8632923.409
AT ITER 1197 NEW BEST:: SOT 17229206 SOS 11647065 HAS SOPS 11647065 HAS SOUS 8621276 HAS SOUPS 8621276 WITH SCORE 8632923.065
AT ITER 1202 NEW BEST:: SOT 17229206 SOS 11641436 HAS SOPS 11641436 HAS SOUS 8620848 HAS SOUPS 8620848 WITH SCORE 8632489.436
AT ITER 1205 NEW BEST:: SOT 17229206 SOS 11640128 HAS SOPS 11640128 HAS SOUS 8620848 HAS SOUPS 8620848 WITH SCORE 8632488.128
AT ITER 1208 NEW BEST:: SOT 17229206 SOS 11627186 HAS SOPS 11627186 HAS SOUS 8620848 HAS SOUPS 8620848 WITH SCORE 8632475.186
AT ITER 1210 NEW BEST:: SOT 17229206 SOS 11627186 HAS SOPS 11627186 HAS SOUS 8620841 HAS SOUPS 8620841 WITH SCORE 8632468.186
AT ITER 1211 NEW BEST:: SOT 17229206 SOS 11625396 HAS SOPS 11625396 HAS SOUS 8620841 HAS SOUPS 8620841 WITH SCORE 8632466.396
AT ITER 1212 NEW BEST:: SOT 17229231 SOS 11625421 HAS SOPS 11625421 HAS SOUS 8620641 HAS SOUPS 8620641 WITH SCORE 8632266.421
AT ITER 1214 NEW BEST:: SOT 17229231 SOS 11625293 HAS SOPS 11625293 HAS SOUS 8620641 HAS SOUPS 8620641 WITH SCORE 8632266.293
AT ITER 1233 NEW BEST:: SOT 17229231 SOS 11625293 HAS SOPS 11625293 HAS SOUS 8620626 HAS SOUPS 8620626 WITH SCORE 8632251.293
AT ITER 1238 NEW BEST:: SOT 17229231 SOS 11625078 HAS SOPS 11625078 HAS SOUS 8620626 HAS SOUPS 8620626 WITH SCORE 8632251.078
AT ITER 1245 NEW BEST:: SOT 17229231 SOS 11625031 HAS SOPS 11625031 HAS SOUS 8620626 HAS SOUPS 8620626 WITH SCORE 8632251.031
AT ITER 1258 NEW BEST:: SOT 17229231 SOS 11623915 HAS SOPS 11623915 HAS SOUS 8620626 HAS SOUPS 8620626 WITH SCORE 8632249.915
AT ITER 1259 NEW BEST:: SOT 17224911 SOS 11621113 HAS SOPS 11621113 HAS SOUS 8617477 HAS SOUPS 8617477 WITH SCORE 8629098.113
AT ITER 1262 NEW BEST:: SOT 17224911 SOS 11626525 HAS SOPS 11626525 HAS SOUS 8617308 HAS SOUPS 8617308 WITH SCORE 8628934.525
AT ITER 1275 NEW BEST:: SOT 17224911 SOS 11605057 HAS SOPS 11605057 HAS SOUS 8617293 HAS SOUPS 8617293 WITH SCORE 8628898.057
AT ITER 1276 NEW BEST:: SOT 17220995 SOS 11601225 HAS SOPS 11601225 HAS SOUS 8613666 HAS SOUPS 8613666 WITH SCORE 8625267.225
AT ITER 1278 NEW BEST:: SOT 17220995 SOS 11601225 HAS SOPS 11601225 HAS SOUS 8613006 HAS SOUPS 8613006 WITH SCORE 8624607.225
AT ITER 1286 NEW BEST:: SOT 17220995 SOS 11600945 HAS SOPS 11600945 HAS SOUS 8613006 HAS SOUPS 8613006 WITH SCORE 8624606.945
AT ITER 1290 NEW BEST:: SOT 17220995 SOS 11599389 HAS SOPS 11599389 HAS SOUS 8613006 HAS SOUPS 8613006 WITH SCORE 8624605.389
AT ITER 1292 NEW BEST:: SOT 17218869 SOS 11597263 HAS SOPS 11597263 HAS SOUS 8611047 HAS SOUPS 8611047 WITH SCORE 8622644.263
AT ITER 1293 NEW BEST:: SOT 17218869 SOS 11596867 HAS SOPS 11596867 HAS SOUS 8611047 HAS SOUPS 8611047 WITH SCORE 8622643.867
AT ITER 1295 NEW BEST:: SOT 17216169 SOS 11596792 HAS SOPS 11596792 HAS SOUS 8609453 HAS SOUPS 8609453 WITH SCORE 8621049.792
AT ITER 1297 NEW BEST:: SOT 17216169 SOS 11596713 HAS SOPS 11596713 HAS SOUS 8609453 HAS SOUPS 8609453 WITH SCORE 8621049.713
AT ITER 1299 NEW BEST:: SOT 17215266 SOS 11596178 HAS SOPS 11596178 HAS SOUS 8609013 HAS SOUPS 8609013 WITH SCORE 8620609.178
AT ITER 1300 NEW BEST:: SOT 17210316 SOS 11591967 HAS SOPS 11591967 HAS SOUS 8604772 HAS SOUPS 8604772 WITH SCORE 8616363.967
AT ITER 1303 NEW BEST:: SOT 17210316 SOS 11591835 HAS SOPS 11591835 HAS SOUS 8604772 HAS SOUPS 8604772 WITH SCORE 8616363.835
AT ITER 1305 NEW BEST:: SOT 17210316 SOS 11590544 HAS SOPS 11590544 HAS SOUS 8604772 HAS SOUPS 8604772 WITH SCORE 8616362.544
AT ITER 1311 NEW BEST:: SOT 17210316 SOS 11590388 HAS SOPS 11590388 HAS SOUS 8604772 HAS SOUPS 8604772 WITH SCORE 8616362.388
AT ITER 1318 NEW BEST:: SOT 17210316 SOS 11590116 HAS SOPS 11590116 HAS SOUS 8604772 HAS SOUPS 8604772 WITH SCORE 8616362.116
AT ITER 1329 NEW BEST:: SOT 17210316 SOS 11590609 HAS SOPS 11590609 HAS SOUS 8604757 HAS SOUPS 8604757 WITH SCORE 8616347.609
AT ITER 1330 NEW BEST:: SOT 17210378 SOS 11591221 HAS SOPS 11591221 HAS SOUS 8604370 HAS SOUPS 8604370 WITH SCORE 8615961.221
AT ITER 1338 NEW BEST:: SOT 17206295 SOS 11600817 HAS SOPS 11600817 HAS SOUS 8603124 HAS SOUPS 8603124 WITH SCORE 8614724.817
AT ITER 1344 NEW BEST:: SOT 17206295 SOS 11599662 HAS SOPS 11599662 HAS SOUS 8603124 HAS SOUPS 8603124 WITH SCORE 8614723.662
AT ITER 1345 NEW BEST:: SOT 17206295 SOS 11598953 HAS SOPS 11598953 HAS SOUS 8603124 HAS SOUPS 8603124 WITH SCORE 8614722.953
AT ITER 1352 NEW BEST:: SOT 17204435 SOS 11598310 HAS SOPS 11598310 HAS SOUS 8602379 HAS SOUPS 8602379 WITH SCORE 8613977.31
AT ITER 1353 NEW BEST:: SOT 17204435 SOS 11598093 HAS SOPS 11598093 HAS SOUS 8602379 HAS SOUPS 8602379 WITH SCORE 8613977.093
AT ITER 1362 NEW BEST:: SOT 17204435 SOS 11595740 HAS SOPS 11595740 HAS SOUS 8602379 HAS SOUPS 8602379 WITH SCORE 8613974.74
AT ITER 1364 NEW BEST:: SOT 17204435 SOS 11564172 HAS SOPS 11564172 HAS SOUS 8602379 HAS SOUPS 8602379 WITH SCORE 8613943.172
AT ITER 1375 NEW BEST:: SOT 17202048 SOS 11561774 HAS SOPS 11561774 HAS SOUS 8600179 HAS SOUPS 8600179 WITH SCORE 8611740.774
AT ITER 1387 NEW BEST:: SOT 17202048 SOS 11560421 HAS SOPS 11560421 HAS SOUS 8600179 HAS SOUPS 8600179 WITH SCORE 8611739.421
AT ITER 1388 NEW BEST:: SOT 17200863 SOS 11559841 HAS SOPS 11559841 HAS SOUS 8599738 HAS SOUPS 8599738 WITH SCORE 8611297.841
AT ITER 1391 NEW BEST:: SOT 17200863 SOS 11559164 HAS SOPS 11559164 HAS SOUS 8599738 HAS SOUPS 8599738 WITH SCORE 8611297.164
AT ITER 1400 NEW BEST:: SOT 17200863 SOS 11558722 HAS SOPS 11558722 HAS SOUS 8599738 HAS SOUPS 8599738 WITH SCORE 8611296.722
AT ITER 1403 NEW BEST:: SOT 17200863 SOS 11558736 HAS SOPS 11558736 HAS SOUS 8599722 HAS SOUPS 8599722 WITH SCORE 8611280.736
AT ITER 1413 NEW BEST:: SOT 17198853 SOS 11558488 HAS SOPS 11558488 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610312.488
AT ITER 1415 NEW BEST:: SOT 17198853 SOS 11557760 HAS SOPS 11557760 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610311.76
AT ITER 1419 NEW BEST:: SOT 17198853 SOS 11556268 HAS SOPS 11556268 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610310.268
AT ITER 1424 NEW BEST:: SOT 17198853 SOS 11555222 HAS SOPS 11555222 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610309.222
AT ITER 1434 NEW BEST:: SOT 17198853 SOS 11554328 HAS SOPS 11554328 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610308.328
AT ITER 1439 NEW BEST:: SOT 17198853 SOS 11554144 HAS SOPS 11554144 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610308.144
AT ITER 1442 NEW BEST:: SOT 17198853 SOS 11552264 HAS SOPS 11552264 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610306.264
AT ITER 1455 NEW BEST:: SOT 17198853 SOS 11551461 HAS SOPS 11551461 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610305.461
AT ITER 1457 NEW BEST:: SOT 17198853 SOS 11551183 HAS SOPS 11551183 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610305.183
AT ITER 1460 NEW BEST:: SOT 17198853 SOS 11550735 HAS SOPS 11550735 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610304.735
AT ITER 1466 NEW BEST:: SOT 17198853 SOS 11550447 HAS SOPS 11550447 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610304.447
AT ITER 1472 NEW BEST:: SOT 17198853 SOS 11549441 HAS SOPS 11549441 HAS SOUS 8598754 HAS SOUPS 8598754 WITH SCORE 8610303.441
AT ITER 1493 NEW BEST:: SOT 17196713 SOS 11547928 HAS SOPS 11547928 HAS SOUS 8596857 HAS SOUPS 8596857 WITH SCORE 8608404.928
AT ITER 1495 NEW BEST:: SOT 17196713 SOS 11544136 HAS SOPS 11544136 HAS SOUS 8596662 HAS SOUPS 8596662 WITH SCORE 8608206.136
AT ITER 1500 NEW BEST:: SOT 17194312 SOS 11568392 HAS SOPS 11568392 HAS SOUS 8595042 HAS SOUPS 8595042 WITH SCORE 8606610.392
AT ITER 1504 NEW BEST:: SOT 17194312 SOS 11555530 HAS SOPS 11555530 HAS SOUS 8595042 HAS SOUPS 8595042 WITH SCORE 8606597.53
AT ITER 1505 NEW BEST:: SOT 17193882 SOS 11555949 HAS SOPS 11555949 HAS SOUS 8594612 HAS SOUPS 8594612 WITH SCORE 8606167.949
AT ITER 1517 NEW BEST:: SOT 17193882 SOS 11555949 HAS SOPS 11555949 HAS SOUS 8594586 HAS SOUPS 8594586 WITH SCORE 8606141.949
AT ITER 1519 NEW BEST:: SOT 17193882 SOS 11555949 HAS SOPS 11555949 HAS SOUS 8594571 HAS SOUPS 8594571 WITH SCORE 8606126.949
AT ITER 1529 NEW BEST:: SOT 17193791 SOS 11555858 HAS SOPS 11555858 HAS SOUS 8594384 HAS SOUPS 8594384 WITH SCORE 8605939.858
AT ITER 1546 NEW BEST:: SOT 17193922 SOS 11555252 HAS SOPS 11555252 HAS SOUS 8593514 HAS SOUPS 8593514 WITH SCORE 8605069.252
AT ITER 1549 NEW BEST:: SOT 17189978 SOS 11551820 HAS SOPS 11551820 HAS SOUS 8589863 HAS SOUPS 8589863 WITH SCORE 8601414.82
AT ITER 1553 NEW BEST:: SOT 17189978 SOS 11551343 HAS SOPS 11551343 HAS SOUS 8589863 HAS SOUPS 8589863 WITH SCORE 8601414.343
AT ITER 1554 NEW BEST:: SOT 17189978 SOS 11548277 HAS SOPS 11548277 HAS SOUS 8589863 HAS SOUPS 8589863 WITH SCORE 8601411.277
AT ITER 1555 NEW BEST:: SOT 17189978 SOS 11534845 HAS SOPS 11534845 HAS SOUS 8589863 HAS SOUPS 8589863 WITH SCORE 8601397.845
AT ITER 1556 NEW BEST:: SOT 17189978 SOS 11533233 HAS SOPS 11533233 HAS SOUS 8589863 HAS SOUPS 8589863 WITH SCORE 8601396.233
AT ITER 1570 NEW BEST:: SOT 17189978 SOS 11532708 HAS SOPS 11532708 HAS SOUS 8589863 HAS SOUPS 8589863 WITH SCORE 8601395.708
AT ITER 1574 NEW BEST:: SOT 17186805 SOS 11533035 HAS SOPS 11533035 HAS SOUS 8587235 HAS SOUPS 8587235 WITH SCORE 8598768.035
AT ITER 1577 NEW BEST:: SOT 17186805 SOS 11533035 HAS SOPS 11533035 HAS SOUS 8587167 HAS SOUPS 8587167 WITH SCORE 8598700.035
AT ITER 1582 NEW BEST:: SOT 17186805 SOS 11518299 HAS SOPS 11518299 HAS SOUS 8587167 HAS SOUPS 8587167 WITH SCORE 8598685.299
AT ITER 1584 NEW BEST:: SOT 17186303 SOS 11517549 HAS SOPS 11517549 HAS SOUS 8586417 HAS SOUPS 8586417 WITH SCORE 8597934.549
AT ITER 1593 NEW BEST:: SOT 17186303 SOS 11516636 HAS SOPS 11516636 HAS SOUS 8586417 HAS SOUPS 8586417 WITH SCORE 8597933.636
AT ITER 1596 NEW BEST:: SOT 17186303 SOS 11516415 HAS SOPS 11516415 HAS SOUS 8586417 HAS SOUPS 8586417 WITH SCORE 8597933.415
AT ITER 1599 NEW BEST:: SOT 17186303 SOS 11516230 HAS SOPS 11516230 HAS SOUS 8586417 HAS SOUPS 8586417 WITH SCORE 8597933.23
AT ITER 1611 NEW BEST:: SOT 17186303 SOS 11514854 HAS SOPS 11514854 HAS SOUS 8586417 HAS SOUPS 8586417 WITH SCORE 8597931.854
AT ITER 1613 NEW BEST:: SOT 17184708 SOS 11509903 HAS SOPS 11509903 HAS SOUS 8585498 HAS SOUPS 8585498 WITH SCORE 8597007.903
AT ITER 1614 NEW BEST:: SOT 17184708 SOS 11509108 HAS SOPS 11509108 HAS SOUS 8585498 HAS SOUPS 8585498 WITH SCORE 8597007.108
AT ITER 1616 NEW BEST:: SOT 17184109 SOS 11508566 HAS SOPS 11508566 HAS SOUS 8585051 HAS SOUPS 8585051 WITH SCORE 8596559.566
AT ITER 1618 NEW BEST:: SOT 17183719 SOS 11508501 HAS SOPS 11508501 HAS SOUS 8584986 HAS SOUPS 8584986 WITH SCORE 8596494.501
AT ITER 1621 NEW BEST:: SOT 17183719 SOS 11508371 HAS SOPS 11508371 HAS SOUS 8584986 HAS SOUPS 8584986 WITH SCORE 8596494.371
AT ITER 1633 NEW BEST:: SOT 17183476 SOS 11507824 HAS SOPS 11507824 HAS SOUS 8584419 HAS SOUPS 8584419 WITH SCORE 8595926.824
AT ITER 1636 NEW BEST:: SOT 17180638 SOS 11506018 HAS SOPS 11506018 HAS SOUS 8582403 HAS SOUPS 8582403 WITH SCORE 8593909.018
AT ITER 1652 NEW BEST:: SOT 17180638 SOS 11506018 HAS SOPS 11506018 HAS SOUS 8582193 HAS SOUPS 8582193 WITH SCORE 8593699.018
AT ITER 1661 NEW BEST:: SOT 17180665 SOS 11505831 HAS SOPS 11505831 HAS SOUS 8581787 HAS SOUPS 8581787 WITH SCORE 8593292.831
AT ITER 1663 NEW BEST:: SOT 17180665 SOS 11499067 HAS SOPS 11499067 HAS SOUS 8581787 HAS SOUPS 8581787 WITH SCORE 8593286.067
AT ITER 1669 NEW BEST:: SOT 17180665 SOS 11498859 HAS SOPS 11498859 HAS SOUS 8581787 HAS SOUPS 8581787 WITH SCORE 8593285.859
AT ITER 1676 NEW BEST:: SOT 17178046 SOS 11497263 HAS SOPS 11497263 HAS SOUS 8580335 HAS SOUPS 8580335 WITH SCORE 8591832.263
AT ITER 1680 NEW BEST:: SOT 17176151 SOS 11521743 HAS SOPS 11521743 HAS SOUS 8579088 HAS SOUPS 8579088 WITH SCORE 8590609.743
AT ITER 1702 NEW BEST:: SOT 17176151 SOS 11520310 HAS SOPS 11520310 HAS SOUS 8579088 HAS SOUPS 8579088 WITH SCORE 8590608.31
AT ITER 1703 NEW BEST:: SOT 17176151 SOS 11520033 HAS SOPS 11520033 HAS SOUS 8579088 HAS SOUPS 8579088 WITH SCORE 8590608.033
AT ITER 1709 NEW BEST:: SOT 17176151 SOS 11487626 HAS SOPS 11487626 HAS SOUS 8579088 HAS SOUPS 8579088 WITH SCORE 8590575.626
AT ITER 1713 NEW BEST:: SOT 17176151 SOS 11487302 HAS SOPS 11487302 HAS SOUS 8579088 HAS SOUPS 8579088 WITH SCORE 8590575.302
AT ITER 1727 NEW BEST:: SOT 17176151 SOS 11487104 HAS SOPS 11487104 HAS SOUS 8579088 HAS SOUPS 8579088 WITH SCORE 8590575.104
AT ITER 1730 NEW BEST:: SOT 17176151 SOS 11486690 HAS SOPS 11486690 HAS SOUS 8579088 HAS SOUPS 8579088 WITH SCORE 8590574.69
AT ITER 1738 NEW BEST:: SOT 17176738 SOS 11487518 HAS SOPS 11487518 HAS SOUS 8578629 HAS SOUPS 8578629 WITH SCORE 8590116.518
AT ITER 1742 NEW BEST:: SOT 17176738 SOS 11487385 HAS SOPS 11487385 HAS SOUS 8578629 HAS SOUPS 8578629 WITH SCORE 8590116.385
AT ITER 1748 NEW BEST:: SOT 17173179 SOS 11488850 HAS SOPS 11488850 HAS SOUS 8577802 HAS SOUPS 8577802 WITH SCORE 8589290.85
AT ITER 1755 NEW BEST:: SOT 17173179 SOS 11488492 HAS SOPS 11488492 HAS SOUS 8577802 HAS SOUPS 8577802 WITH SCORE 8589290.492
AT ITER 1759 NEW BEST:: SOT 17172364 SOS 11487687 HAS SOPS 11487687 HAS SOUS 8577249 HAS SOUPS 8577249 WITH SCORE 8588736.687
AT ITER 1770 NEW BEST:: SOT 17168993 SOS 11483389 HAS SOPS 11483389 HAS SOUS 8573044 HAS SOUPS 8573044 WITH SCORE 8584527.389
AT ITER 1773 NEW BEST:: SOT 17168993 SOS 11483118 HAS SOPS 11483118 HAS SOUS 8573040 HAS SOUPS 8573040 WITH SCORE 8584523.118
AT ITER 1784 NEW BEST:: SOT 17168993 SOS 11483118 HAS SOPS 11483118 HAS SOUS 8573025 HAS SOUPS 8573025 WITH SCORE 8584508.118
AT ITER 1789 NEW BEST:: SOT 17168993 SOS 11481822 HAS SOPS 11481822 HAS SOUS 8573025 HAS SOUPS 8573025 WITH SCORE 8584506.822
AT ITER 1791 NEW BEST:: SOT 17168993 SOS 11481207 HAS SOPS 11481207 HAS SOUS 8573025 HAS SOUPS 8573025 WITH SCORE 8584506.207
AT ITER 1793 NEW BEST:: SOT 17168993 SOS 11481207 HAS SOPS 11481207 HAS SOUS 8573010 HAS SOUPS 8573010 WITH SCORE 8584491.207
AT ITER 1794 NEW BEST:: SOT 17168993 SOS 11481234 HAS SOPS 11481234 HAS SOUS 8572907 HAS SOUPS 8572907 WITH SCORE 8584388.234
AT ITER 1795 NEW BEST:: SOT 17169176 SOS 11481168 HAS SOPS 11481168 HAS SOUS 8572841 HAS SOUPS 8572841 WITH SCORE 8584322.168
AT ITER 1802 NEW BEST:: SOT 17169176 SOS 11481034 HAS SOPS 11481034 HAS SOUS 8572841 HAS SOUPS 8572841 WITH SCORE 8584322.034
AT ITER 1816 NEW BEST:: SOT 17165807 SOS 11478043 HAS SOPS 11478043 HAS SOUS 8570200 HAS SOUPS 8570200 WITH SCORE 8581678.043
AT ITER 1817 NEW BEST:: SOT 17166203 SOS 11477944 HAS SOPS 11477944 HAS SOUS 8569962 HAS SOUPS 8569962 WITH SCORE 8581439.944
AT ITER 1820 NEW BEST:: SOT 17166203 SOS 11476286 HAS SOPS 11476286 HAS SOUS 8569962 HAS SOUPS 8569962 WITH SCORE 8581438.286
AT ITER 1821 NEW BEST:: SOT 17166203 SOS 11487232 HAS SOPS 11487232 HAS SOUS 8569793 HAS SOUPS 8569793 WITH SCORE 8581280.232
AT ITER 1826 NEW BEST:: SOT 17166203 SOS 11486876 HAS SOPS 11486876 HAS SOUS 8569793 HAS SOUPS 8569793 WITH SCORE 8581279.876
AT ITER 1829 NEW BEST:: SOT 17166203 SOS 11486636 HAS SOPS 11486636 HAS SOUS 8569793 HAS SOUPS 8569793 WITH SCORE 8581279.636
AT ITER 1830 NEW BEST:: SOT 17166203 SOS 11486451 HAS SOPS 11486451 HAS SOUS 8569793 HAS SOUPS 8569793 WITH SCORE 8581279.451
AT ITER 1832 NEW BEST:: SOT 17166760 SOS 11486530 HAS SOPS 11486530 HAS SOUS 8569522 HAS SOUPS 8569522 WITH SCORE 8581008.53
AT ITER 1840 NEW BEST:: SOT 17166760 SOS 11485457 HAS SOPS 11485457 HAS SOUS 8569522 HAS SOUPS 8569522 WITH SCORE 8581007.457
AT ITER 1848 NEW BEST:: SOT 17166760 SOS 11483605 HAS SOPS 11483605 HAS SOUS 8569522 HAS SOUPS 8569522 WITH SCORE 8581005.605
AT ITER 1851 NEW BEST:: SOT 17166968 SOS 11483813 HAS SOPS 11483813 HAS SOUS 8569490 HAS SOUPS 8569490 WITH SCORE 8580973.813
AT ITER 1853 NEW BEST:: SOT 17166968 SOS 11482670 HAS SOPS 11482670 HAS SOUS 8569490 HAS SOUPS 8569490 WITH SCORE 8580972.67
AT ITER 1854 NEW BEST:: SOT 17166968 SOS 11481049 HAS SOPS 11481049 HAS SOUS 8569490 HAS SOUPS 8569490 WITH SCORE 8580971.049
AT ITER 1857 NEW BEST:: SOT 17166968 SOS 11480775 HAS SOPS 11480775 HAS SOUS 8569490 HAS SOUPS 8569490 WITH SCORE 8580970.775
AT ITER 1860 NEW BEST:: SOT 17166981 SOS 11480788 HAS SOPS 11480788 HAS SOUS 8569164 HAS SOUPS 8569164 WITH SCORE 8580644.788
AT ITER 1882 NEW BEST:: SOT 17166981 SOS 11471783 HAS SOPS 11471783 HAS SOUS 8569164 HAS SOUPS 8569164 WITH SCORE 8580635.783
AT ITER 1885 NEW BEST:: SOT 17166981 SOS 11471783 HAS SOPS 11471783 HAS SOUS 8569012 HAS SOUPS 8569012 WITH SCORE 8580483.783
AT ITER 1898 NEW BEST:: SOT 17166818 SOS 11471620 HAS SOPS 11471620 HAS SOUS 8568606 HAS SOUPS 8568606 WITH SCORE 8580077.62
AT ITER 1901 NEW BEST:: SOT 17166818 SOS 11471432 HAS SOPS 11471432 HAS SOUS 8568606 HAS SOUPS 8568606 WITH SCORE 8580077.432
AT ITER 1905 NEW BEST:: SOT 17166818 SOS 11468130 HAS SOPS 11468130 HAS SOUS 8568606 HAS SOUPS 8568606 WITH SCORE 8580074.13
AT ITER 1909 NEW BEST:: SOT 17165341 SOS 11468832 HAS SOPS 11468832 HAS SOUS 8568465 HAS SOUPS 8568465 WITH SCORE 8579933.832
AT ITER 1920 NEW BEST:: SOT 17165341 SOS 11468832 HAS SOPS 11468832 HAS SOUS 8568381 HAS SOUPS 8568381 WITH SCORE 8579849.832
AT ITER 1930 NEW BEST:: SOT 17165341 SOS 11468268 HAS SOPS 11468268 HAS SOUS 8568381 HAS SOUPS 8568381 WITH SCORE 8579849.268
AT ITER 1934 NEW BEST:: SOT 17165341 SOS 11467371 HAS SOPS 11467371 HAS SOUS 8568381 HAS SOUPS 8568381 WITH SCORE 8579848.371
AT ITER 1941 NEW BEST:: SOT 17165341 SOS 11466550 HAS SOPS 11466550 HAS SOUS 8568381 HAS SOUPS 8568381 WITH SCORE 8579847.55
AT ITER 1942 NEW BEST:: SOT 17165341 SOS 11466525 HAS SOPS 11466525 HAS SOUS 8568381 HAS SOUPS 8568381 WITH SCORE 8579847.525
AT ITER 1947 NEW BEST:: SOT 17162780 SOS 11464749 HAS SOPS 11464749 HAS SOUS 8566560 HAS SOUPS 8566560 WITH SCORE 8578024.749
AT ITER 1950 NEW BEST:: SOT 17162780 SOS 11463642 HAS SOPS 11463642 HAS SOUS 8566555 HAS SOUPS 8566555 WITH SCORE 8578018.642
AT ITER 1968 NEW BEST:: SOT 17162780 SOS 11463208 HAS SOPS 11463208 HAS SOUS 8566555 HAS SOUPS 8566555 WITH SCORE 8578018.208
AT ITER 1980 NEW BEST:: SOT 17162780 SOS 11463208 HAS SOPS 11463208 HAS SOUS 8566540 HAS SOUPS 8566540 WITH SCORE 8578003.208
AT ITER 1982 NEW BEST:: SOT 17162780 SOS 11463208 HAS SOPS 11463208 HAS SOUS 8566350 HAS SOUPS 8566350 WITH SCORE 8577813.208
AT ITER 1984 NEW BEST:: SOT 17162780 SOS 11448551 HAS SOPS 11448551 HAS SOUS 8566350 HAS SOUPS 8566350 WITH SCORE 8577798.551
AT ITER 1985 NEW BEST:: SOT 17162780 SOS 11448169 HAS SOPS 11448169 HAS SOUS 8566350 HAS SOUPS 8566350 WITH SCORE 8577798.169
AT ITER 1988 NEW BEST:: SOT 17162780 SOS 11447407 HAS SOPS 11447407 HAS SOUS 8566350 HAS SOUPS 8566350 WITH SCORE 8577797.407
AT ITER 1994 NEW BEST:: SOT 17162780 SOS 11416389 HAS SOPS 11416389 HAS SOUS 8566350 HAS SOUPS 8566350 WITH SCORE 8577766.389
AT ITER 2004 NEW BEST:: SOT 17162780 SOS 11414769 HAS SOPS 11414769 HAS SOUS 8566350 HAS SOUPS 8566350 WITH SCORE 8577764.769
AT ITER 2008 NEW BEST:: SOT 17162780 SOS 11413247 HAS SOPS 11413247 HAS SOUS 8566342 HAS SOUPS 8566342 WITH SCORE 8577755.247
AT ITER 2009 NEW BEST:: SOT 17161525 SOS 11412302 HAS SOPS 11412302 HAS SOUS 8565687 HAS SOUPS 8565687 WITH SCORE 8577099.302
AT ITER 2012 NEW BEST:: SOT 17161525 SOS 11400320 HAS SOPS 11400320 HAS SOUS 8565687 HAS SOUPS 8565687 WITH SCORE 8577087.32
AT ITER 2017 NEW BEST:: SOT 17158180 SOS 11400763 HAS SOPS 11400763 HAS SOUS 8563129 HAS SOUPS 8563129 WITH SCORE 8574529.763
AT ITER 2025 NEW BEST:: SOT 17158180 SOS 11400329 HAS SOPS 11400329 HAS SOUS 8563129 HAS SOUPS 8563129 WITH SCORE 8574529.329
AT ITER 2026 NEW BEST:: SOT 17158180 SOS 11384393 HAS SOPS 11384393 HAS SOUS 8563129 HAS SOUPS 8563129 WITH SCORE 8574513.393
AT ITER 2031 NEW BEST:: SOT 17158180 SOS 11383247 HAS SOPS 11383247 HAS SOUS 8563129 HAS SOUPS 8563129 WITH SCORE 8574512.247
AT ITER 2032 NEW BEST:: SOT 17158180 SOS 11379587 HAS SOPS 11379587 HAS SOUS 8563129 HAS SOUPS 8563129 WITH SCORE 8574508.587
AT ITER 2035 NEW BEST:: SOT 17158180 SOS 11379144 HAS SOPS 11379144 HAS SOUS 8563118 HAS SOUPS 8563118 WITH SCORE 8574497.144
AT ITER 2036 NEW BEST:: SOT 17158180 SOS 11379141 HAS SOPS 11379141 HAS SOUS 8563118 HAS SOUPS 8563118 WITH SCORE 8574497.141
AT ITER 2049 NEW BEST:: SOT 17158180 SOS 11379141 HAS SOPS 11379141 HAS SOUS 8563103 HAS SOUPS 8563103 WITH SCORE 8574482.141
AT ITER 2065 NEW BEST:: SOT 17158180 SOS 11377907 HAS SOPS 11377907 HAS SOUS 8563103 HAS SOUPS 8563103 WITH SCORE 8574480.907
AT ITER 2067 NEW BEST:: SOT 17158180 SOS 11375978 HAS SOPS 11375978 HAS SOUS 8563103 HAS SOUPS 8563103 WITH SCORE 8574478.978
AT ITER 2096 NEW BEST:: SOT 17158180 SOS 11373418 HAS SOPS 11373418 HAS SOUS 8563103 HAS SOUPS 8563103 WITH SCORE 8574476.418
AT ITER 2097 NEW BEST:: SOT 17155384 SOS 11371848 HAS SOPS 11371848 HAS SOUS 8560816 HAS SOUPS 8560816 WITH SCORE 8572187.848
AT ITER 2100 NEW BEST:: SOT 17153719 SOS 11369856 HAS SOPS 11369856 HAS SOUS 8558170 HAS SOUPS 8558170 WITH SCORE 8569539.856
AT ITER 2118 NEW BEST:: SOT 17153719 SOS 11369856 HAS SOPS 11369856 HAS SOUS 8558155 HAS SOUPS 8558155 WITH SCORE 8569524.856
AT ITER 2124 NEW BEST:: SOT 17152814 SOS 11366844 HAS SOPS 11366844 HAS SOUS 8557402 HAS SOUPS 8557402 WITH SCORE 8568768.844
AT ITER 2129 NEW BEST:: SOT 17152814 SOS 11365722 HAS SOPS 11365722 HAS SOUS 8557402 HAS SOUPS 8557402 WITH SCORE 8568767.722
AT ITER 2135 NEW BEST:: SOT 17152814 SOS 11374288 HAS SOPS 11374288 HAS SOUS 8557384 HAS SOUPS 8557384 WITH SCORE 8568758.288
AT ITER 2139 NEW BEST:: SOT 17152814 SOS 11374254 HAS SOPS 11374254 HAS SOUS 8557189 HAS SOUPS 8557189 WITH SCORE 8568563.254
AT ITER 2143 NEW BEST:: SOT 17152814 SOS 11372610 HAS SOPS 11372610 HAS SOUS 8557189 HAS SOUPS 8557189 WITH SCORE 8568561.61
AT ITER 2146 NEW BEST:: SOT 17152814 SOS 11372531 HAS SOPS 11372531 HAS SOUS 8557189 HAS SOUPS 8557189 WITH SCORE 8568561.531
AT ITER 2149 NEW BEST:: SOT 17152565 SOS 11372480 HAS SOPS 11372480 HAS SOUS 8557138 HAS SOUPS 8557138 WITH SCORE 8568510.48
AT ITER 2151 NEW BEST:: SOT 17152565 SOS 11371155 HAS SOPS 11371155 HAS SOUS 8557138 HAS SOUPS 8557138 WITH SCORE 8568509.155
AT ITER 2153 NEW BEST:: SOT 17152565 SOS 11371136 HAS SOPS 11371136 HAS SOUS 8557104 HAS SOUPS 8557104 WITH SCORE 8568475.136
AT ITER 2168 NEW BEST:: SOT 17152565 SOS 11370593 HAS SOPS 11370593 HAS SOUS 8557104 HAS SOUPS 8557104 WITH SCORE 8568474.593
AT ITER 2177 NEW BEST:: SOT 17149525 SOS 11404518 HAS SOPS 11404518 HAS SOUS 8555069 HAS SOUPS 8555069 WITH SCORE 8566473.518
AT ITER 2180 NEW BEST:: SOT 17149525 SOS 11389015 HAS SOPS 11389015 HAS SOUS 8555069 HAS SOUPS 8555069 WITH SCORE 8566458.015
AT ITER 2193 NEW BEST:: SOT 17149496 SOS 11388656 HAS SOPS 11388656 HAS SOUS 8555061 HAS SOUPS 8555061 WITH SCORE 8566449.656
AT ITER 2198 NEW BEST:: SOT 17149736 SOS 11390854 HAS SOPS 11390854 HAS SOUS 8554820 HAS SOUPS 8554820 WITH SCORE 8566210.854
AT ITER 2199 NEW BEST:: SOT 17149736 SOS 11378728 HAS SOPS 11378728 HAS SOUS 8554820 HAS SOUPS 8554820 WITH SCORE 8566198.728
AT ITER 2204 NEW BEST:: SOT 17149736 SOS 11367758 HAS SOPS 11367758 HAS SOUS 8554820 HAS SOUPS 8554820 WITH SCORE 8566187.758
AT ITER 2208 NEW BEST:: SOT 17149077 SOS 11367592 HAS SOPS 11367592 HAS SOUS 8554704 HAS SOUPS 8554704 WITH SCORE 8566071.592
AT ITER 2211 NEW BEST:: SOT 17149077 SOS 11336628 HAS SOPS 11336628 HAS SOUS 8554704 HAS SOUPS 8554704 WITH SCORE 8566040.628
AT ITER 2216 NEW BEST:: SOT 17148817 SOS 11336368 HAS SOPS 11336368 HAS SOUS 8554502 HAS SOUPS 8554502 WITH SCORE 8565838.368
AT ITER 2222 NEW BEST:: SOT 17147062 SOS 11335189 HAS SOPS 11335189 HAS SOUS 8553300 HAS SOUPS 8553300 WITH SCORE 8564635.189
AT ITER 2225 NEW BEST:: SOT 17147062 SOS 11334739 HAS SOPS 11334739 HAS SOUS 8553300 HAS SOUPS 8553300 WITH SCORE 8564634.739
AT ITER 2227 NEW BEST:: SOT 17147228 SOS 11334905 HAS SOPS 11334905 HAS SOUS 8553076 HAS SOUPS 8553076 WITH SCORE 8564410.905
AT ITER 2237 NEW BEST:: SOT 17147228 SOS 11333731 HAS SOPS 11333731 HAS SOUS 8553076 HAS SOUPS 8553076 WITH SCORE 8564409.731
AT ITER 2238 NEW BEST:: SOT 17147218 SOS 11334251 HAS SOPS 11334251 HAS SOUS 8553066 HAS SOUPS 8553066 WITH SCORE 8564400.251
AT ITER 2250 NEW BEST:: SOT 17147218 SOS 11334220 HAS SOPS 11334220 HAS SOUS 8553066 HAS SOUPS 8553066 WITH SCORE 8564400.22
AT ITER 2251 NEW BEST:: SOT 17147218 SOS 11326924 HAS SOPS 11326924 HAS SOUS 8553066 HAS SOUPS 8553066 WITH SCORE 8564392.924
AT ITER 2263 NEW BEST:: SOT 17147218 SOS 11325659 HAS SOPS 11325659 HAS SOUS 8553066 HAS SOUPS 8553066 WITH SCORE 8564391.659
AT ITER 2270 NEW BEST:: SOT 17147218 SOS 11325289 HAS SOPS 11325289 HAS SOUS 8553066 HAS SOUPS 8553066 WITH SCORE 8564391.289
AT ITER 2284 NEW BEST:: SOT 17147218 SOS 11325112 HAS SOPS 11325112 HAS SOUS 8553066 HAS SOUPS 8553066 WITH SCORE 8564391.112
AT ITER 2293 NEW BEST:: SOT 17147218 SOS 11324306 HAS SOPS 11324306 HAS SOUS 8553066 HAS SOUPS 8553066 WITH SCORE 8564390.306
AT ITER 2300 NEW BEST:: SOT 17146950 SOS 11324038 HAS SOPS 11324038 HAS SOUS 8553019 HAS SOUPS 8553019 WITH SCORE 8564343.038
AT ITER 2302 NEW BEST:: SOT 17145516 SOS 11322441 HAS SOPS 11322441 HAS SOUS 8550933 HAS SOUPS 8550933 WITH SCORE 8562255.441
AT ITER 2304 NEW BEST:: SOT 17145516 SOS 11321175 HAS SOPS 11321175 HAS SOUS 8550933 HAS SOUPS 8550933 WITH SCORE 8562254.175
AT ITER 2309 NEW BEST:: SOT 17142336 SOS 11314562 HAS SOPS 11314562 HAS SOUS 8547808 HAS SOUPS 8547808 WITH SCORE 8559122.562
AT ITER 2313 NEW BEST:: SOT 17142336 SOS 11314441 HAS SOPS 11314441 HAS SOUS 8547808 HAS SOUPS 8547808 WITH SCORE 8559122.441
AT ITER 2320 NEW BEST:: SOT 17142336 SOS 11313321 HAS SOPS 11313321 HAS SOUS 8547808 HAS SOUPS 8547808 WITH SCORE 8559121.321
AT ITER 2326 NEW BEST:: SOT 17141206 SOS 11312415 HAS SOPS 11312415 HAS SOUS 8546902 HAS SOUPS 8546902 WITH SCORE 8558214.415
AT ITER 2328 NEW BEST:: SOT 17140734 SOS 11310375 HAS SOPS 11310375 HAS SOUS 8546358 HAS SOUPS 8546358 WITH SCORE 8557668.375
AT ITER 2330 NEW BEST:: SOT 17140734 SOS 11309608 HAS SOPS 11309608 HAS SOUS 8546358 HAS SOUPS 8546358 WITH SCORE 8557667.608
AT ITER 2335 NEW BEST:: SOT 17141159 SOS 11309673 HAS SOPS 11309673 HAS SOUS 8546078 HAS SOUPS 8546078 WITH SCORE 8557387.673
AT ITER 2337 NEW BEST:: SOT 17140615 SOS 11309173 HAS SOPS 11309173 HAS SOUS 8545578 HAS SOUPS 8545578 WITH SCORE 8556887.173
AT ITER 2338 NEW BEST:: SOT 17140841 SOS 11307599 HAS SOPS 11307599 HAS SOUS 8545387 HAS SOUPS 8545387 WITH SCORE 8556694.599
AT ITER 2342 NEW BEST:: SOT 17141411 SOS 11307318 HAS SOPS 11307318 HAS SOUS 8544922 HAS SOUPS 8544922 WITH SCORE 8556229.318
AT ITER 2346 NEW BEST:: SOT 17141411 SOS 11304677 HAS SOPS 11304677 HAS SOUS 8544922 HAS SOUPS 8544922 WITH SCORE 8556226.677
AT ITER 2352 NEW BEST:: SOT 17141411 SOS 11281705 HAS SOPS 11281705 HAS SOUS 8544922 HAS SOUPS 8544922 WITH SCORE 8556203.705
AT ITER 2363 NEW BEST:: SOT 17141411 SOS 11281686 HAS SOPS 11281686 HAS SOUS 8544922 HAS SOUPS 8544922 WITH SCORE 8556203.686
AT ITER 2365 NEW BEST:: SOT 17141411 SOS 11276037 HAS SOPS 11276037 HAS SOUS 8544922 HAS SOUPS 8544922 WITH SCORE 8556198.037
AT ITER 2368 NEW BEST:: SOT 17141411 SOS 11275902 HAS SOPS 11275902 HAS SOUS 8544922 HAS SOUPS 8544922 WITH SCORE 8556197.902
AT ITER 2378 NEW BEST:: SOT 17141411 SOS 11258396 HAS SOPS 11258396 HAS SOUS 8544922 HAS SOUPS 8544922 WITH SCORE 8556180.396
AT ITER 2386 NEW BEST:: SOT 17141411 SOS 11256378 HAS SOPS 11256378 HAS SOUS 8544922 HAS SOUPS 8544922 WITH SCORE 8556178.378
AT ITER 2401 NEW BEST:: SOT 17141411 SOS 11254345 HAS SOPS 11254345 HAS SOUS 8544922 HAS SOUPS 8544922 WITH SCORE 8556176.345
AT ITER 2415 NEW BEST:: SOT 17140867 SOS 11253857 HAS SOPS 11253857 HAS SOUS 8544514 HAS SOUPS 8544514 WITH SCORE 8555767.857
AT ITER 2424 NEW BEST:: SOT 17140867 SOS 11252625 HAS SOPS 11252625 HAS SOUS 8544514 HAS SOUPS 8544514 WITH SCORE 8555766.625
AT ITER 2427 NEW BEST:: SOT 17140867 SOS 11252599 HAS SOPS 11252599 HAS SOUS 8544514 HAS SOUPS 8544514 WITH SCORE 8555766.599
AT ITER 2436 NEW BEST:: SOT 17140867 SOS 11250742 HAS SOPS 11250742 HAS SOUS 8544514 HAS SOUPS 8544514 WITH SCORE 8555764.742
AT ITER 2441 NEW BEST:: SOT 17140867 SOS 11250637 HAS SOPS 11250637 HAS SOUS 8544514 HAS SOUPS 8544514 WITH SCORE 8555764.637
AT ITER 2450 NEW BEST:: SOT 17140867 SOS 11250637 HAS SOPS 11250637 HAS SOUS 8544499 HAS SOUPS 8544499 WITH SCORE 8555749.637
AT ITER 2462 NEW BEST:: SOT 17140726 SOS 11250586 HAS SOPS 11250586 HAS SOUS 8544448 HAS SOUPS 8544448 WITH SCORE 8555698.586
AT ITER 2467 NEW BEST:: SOT 17136307 SOS 11261318 HAS SOPS 11261318 HAS SOUS 8542586 HAS SOUPS 8542586 WITH SCORE 8553847.318
AT ITER 2470 NEW BEST:: SOT 17136307 SOS 11246668 HAS SOPS 11246668 HAS SOUS 8542586 HAS SOUPS 8542586 WITH SCORE 8553832.668
AT ITER 2473 NEW BEST:: SOT 17136307 SOS 11246437 HAS SOPS 11246437 HAS SOUS 8542586 HAS SOUPS 8542586 WITH SCORE 8553832.437
AT ITER 2474 NEW BEST:: SOT 17135507 SOS 11246292 HAS SOPS 11246292 HAS SOUS 8542255 HAS SOUPS 8542255 WITH SCORE 8553501.292
AT ITER 2475 NEW BEST:: SOT 17133745 SOS 11255938 HAS SOPS 11255938 HAS SOUS 8541079 HAS SOUPS 8541079 WITH SCORE 8552334.938
AT ITER 2481 NEW BEST:: SOT 17133745 SOS 11253375 HAS SOPS 11253375 HAS SOUS 8541079 HAS SOUPS 8541079 WITH SCORE 8552332.375
AT ITER 2482 NEW BEST:: SOT 17130515 SOS 11250525 HAS SOPS 11250525 HAS SOUS 8538019 HAS SOUPS 8538019 WITH SCORE 8549269.525
AT ITER 2488 NEW BEST:: SOT 17130515 SOS 11244116 HAS SOPS 11244116 HAS SOUS 8538019 HAS SOUPS 8538019 WITH SCORE 8549263.116
AT ITER 2489 NEW BEST:: SOT 17130515 SOS 11242640 HAS SOPS 11242640 HAS SOUS 8537989 HAS SOUPS 8537989 WITH SCORE 8549231.64
AT ITER 2502 NEW BEST:: SOT 17130515 SOS 11242542 HAS SOPS 11242542 HAS SOUS 8537891 HAS SOUPS 8537891 WITH SCORE 8549133.542
AT ITER 2505 NEW BEST:: SOT 17130515 SOS 11241617 HAS SOPS 11241617 HAS SOUS 8537891 HAS SOUPS 8537891 WITH SCORE 8549132.617
AT ITER 2519 NEW BEST:: SOT 17130702 SOS 11241722 HAS SOPS 11241722 HAS SOUS 8537747 HAS SOUPS 8537747 WITH SCORE 8548988.722
AT ITER 2537 NEW BEST:: SOT 17130702 SOS 11241584 HAS SOPS 11241584 HAS SOUS 8537747 HAS SOUPS 8537747 WITH SCORE 8548988.584
AT ITER 2543 NEW BEST:: SOT 17130702 SOS 11241329 HAS SOPS 11241329 HAS SOUS 8537323 HAS SOUPS 8537323 WITH SCORE 8548564.329
AT ITER 2557 NEW BEST:: SOT 17126883 SOS 11257664 HAS SOPS 11257664 HAS SOUS 8534626 HAS SOUPS 8534626 WITH SCORE 8545883.664
AT ITER 2558 NEW BEST:: SOT 17126883 SOS 11251200 HAS SOPS 11251200 HAS SOUS 8534626 HAS SOUPS 8534626 WITH SCORE 8545877.2
AT ITER 2562 NEW BEST:: SOT 17125979 SOS 11251140 HAS SOPS 11251140 HAS SOUS 8534286 HAS SOUPS 8534286 WITH SCORE 8545537.14
AT ITER 2563 NEW BEST:: SOT 17125979 SOS 11251085 HAS SOPS 11251085 HAS SOUS 8534286 HAS SOUPS 8534286 WITH SCORE 8545537.085
AT ITER 2565 NEW BEST:: SOT 17125979 SOS 11249120 HAS SOPS 11249120 HAS SOUS 8534286 HAS SOUPS 8534286 WITH SCORE 8545535.12
AT ITER 2572 NEW BEST:: SOT 17125979 SOS 11248931 HAS SOPS 11248931 HAS SOUS 8534286 HAS SOUPS 8534286 WITH SCORE 8545534.931
AT ITER 2592 NEW BEST:: SOT 17125655 SOS 11249057 HAS SOPS 11249057 HAS SOUS 8534269 HAS SOUPS 8534269 WITH SCORE 8545518.057
AT ITER 2600 NEW BEST:: SOT 17125655 SOS 11247908 HAS SOPS 11247908 HAS SOUS 8534269 HAS SOUPS 8534269 WITH SCORE 8545516.908
AT ITER 2616 NEW BEST:: SOT 17125451 SOS 11247704 HAS SOPS 11247704 HAS SOUS 8534085 HAS SOUPS 8534085 WITH SCORE 8545332.704
AT ITER 2630 NEW BEST:: SOT 17125451 SOS 11248241 HAS SOPS 11248241 HAS SOUS 8533897 HAS SOUPS 8533897 WITH SCORE 8545145.241
AT ITER 2633 NEW BEST:: SOT 17125451 SOS 11247843 HAS SOPS 11247843 HAS SOUS 8533897 HAS SOUPS 8533897 WITH SCORE 8545144.843
AT ITER 2648 NEW BEST:: SOT 17125451 SOS 11247603 HAS SOPS 11247603 HAS SOUS 8533897 HAS SOUPS 8533897 WITH SCORE 8545144.603
AT ITER 2651 NEW BEST:: SOT 17125451 SOS 11247432 HAS SOPS 11247432 HAS SOUS 8533897 HAS SOUPS 8533897 WITH SCORE 8545144.432
AT ITER 2658 NEW BEST:: SOT 17125451 SOS 11247262 HAS SOPS 11247262 HAS SOUS 8533897 HAS SOUPS 8533897 WITH SCORE 8545144.262
AT ITER 2663 NEW BEST:: SOT 17125451 SOS 11246880 HAS SOPS 11246880 HAS SOUS 8533897 HAS SOUPS 8533897 WITH SCORE 8545143.88
AT ITER 2666 NEW BEST:: SOT 17125451 SOS 11245860 HAS SOPS 11245860 HAS SOUS 8533897 HAS SOUPS 8533897 WITH SCORE 8545142.86
AT ITER 2669 NEW BEST:: SOT 17125451 SOS 11243679 HAS SOPS 11243679 HAS SOUS 8533897 HAS SOUPS 8533897 WITH SCORE 8545140.679
AT ITER 2670 NEW BEST:: SOT 17125451 SOS 11241731 HAS SOPS 11241731 HAS SOUS 8533897 HAS SOUPS 8533897 WITH SCORE 8545138.731
AT ITER 2671 NEW BEST:: SOT 17124612 SOS 11240602 HAS SOPS 11240602 HAS SOUS 8532768 HAS SOUPS 8532768 WITH SCORE 8544008.602
AT ITER 2676 NEW BEST:: SOT 17124612 SOS 11240336 HAS SOPS 11240336 HAS SOUS 8532768 HAS SOUPS 8532768 WITH SCORE 8544008.336
AT ITER 2677 NEW BEST:: SOT 17124612 SOS 11239606 HAS SOPS 11239606 HAS SOUS 8532768 HAS SOUPS 8532768 WITH SCORE 8544007.606
AT ITER 2683 NEW BEST:: SOT 17125355 SOS 11240117 HAS SOPS 11240117 HAS SOUS 8532351 HAS SOUPS 8532351 WITH SCORE 8543591.117
AT ITER 2686 NEW BEST:: SOT 17125355 SOS 11238348 HAS SOPS 11238348 HAS SOUS 8532351 HAS SOUPS 8532351 WITH SCORE 8543589.348
AT ITER 2691 NEW BEST:: SOT 17125355 SOS 11237167 HAS SOPS 11237167 HAS SOUS 8532351 HAS SOUPS 8532351 WITH SCORE 8543588.167
AT ITER 2693 NEW BEST:: SOT 17125382 SOS 11236249 HAS SOPS 11236249 HAS SOUS 8532131 HAS SOUPS 8532131 WITH SCORE 8543367.249
AT ITER 2695 NEW BEST:: SOT 17125382 SOS 11234013 HAS SOPS 11234013 HAS SOUS 8532131 HAS SOUPS 8532131 WITH SCORE 8543365.013
AT ITER 2704 NEW BEST:: SOT 17125382 SOS 11232425 HAS SOPS 11232425 HAS SOUS 8532131 HAS SOUPS 8532131 WITH SCORE 8543363.425
AT ITER 2713 NEW BEST:: SOT 17123096 SOS 11263677 HAS SOPS 11263677 HAS SOUS 8530508 HAS SOUPS 8530508 WITH SCORE 8541771.677
AT ITER 2716 NEW BEST:: SOT 17123096 SOS 11263182 HAS SOPS 11263182 HAS SOUS 8530508 HAS SOUPS 8530508 WITH SCORE 8541771.182
AT ITER 2718 NEW BEST:: SOT 17119467 SOS 11261463 HAS SOPS 11261463 HAS SOUS 8528345 HAS SOUPS 8528345 WITH SCORE 8539606.463
AT ITER 2721 NEW BEST:: SOT 17119376 SOS 11261372 HAS SOPS 11261372 HAS SOUS 8528254 HAS SOUPS 8528254 WITH SCORE 8539515.372
AT ITER 2735 NEW BEST:: SOT 17118531 SOS 11261028 HAS SOPS 11261028 HAS SOUS 8527910 HAS SOUPS 8527910 WITH SCORE 8539171.028
AT ITER 2740 NEW BEST:: SOT 17118016 SOS 11260513 HAS SOPS 11260513 HAS SOUS 8527380 HAS SOUPS 8527380 WITH SCORE 8538640.513
AT ITER 2745 NEW BEST:: SOT 17113113 SOS 11256207 HAS SOPS 11256207 HAS SOUS 8523206 HAS SOUPS 8523206 WITH SCORE 8534462.207
AT ITER 2752 NEW BEST:: SOT 17113113 SOS 11255502 HAS SOPS 11255502 HAS SOUS 8523206 HAS SOUPS 8523206 WITH SCORE 8534461.502
AT ITER 2753 NEW BEST:: SOT 17113295 SOS 11253899 HAS SOPS 11253899 HAS SOUS 8521419 HAS SOUPS 8521419 WITH SCORE 8532672.899
AT ITER 2770 NEW BEST:: SOT 17113295 SOS 11251471 HAS SOPS 11251471 HAS SOUS 8521419 HAS SOUPS 8521419 WITH SCORE 8532670.471
AT ITER 2774 NEW BEST:: SOT 17113295 SOS 11251460 HAS SOPS 11251460 HAS SOUS 8521419 HAS SOUPS 8521419 WITH SCORE 8532670.46
AT ITER 2775 NEW BEST:: SOT 17113295 SOS 11251183 HAS SOPS 11251183 HAS SOUS 8521419 HAS SOUPS 8521419 WITH SCORE 8532670.183
AT ITER 2778 NEW BEST:: SOT 17113295 SOS 11250743 HAS SOPS 11250743 HAS SOUS 8521419 HAS SOUPS 8521419 WITH SCORE 8532669.743
AT ITER 2783 NEW BEST:: SOT 17110292 SOS 11248260 HAS SOPS 11248260 HAS SOUS 8518773 HAS SOUPS 8518773 WITH SCORE 8530021.26
AT ITER 2796 NEW BEST:: SOT 17110292 SOS 11243445 HAS SOPS 11243445 HAS SOUS 8518773 HAS SOUPS 8518773 WITH SCORE 8530016.445
AT ITER 2798 NEW BEST:: SOT 17110292 SOS 11245189 HAS SOPS 11245189 HAS SOUS 8518593 HAS SOUPS 8518593 WITH SCORE 8529838.189
AT ITER 2803 NEW BEST:: SOT 17108196 SOS 11248060 HAS SOPS 11248060 HAS SOUS 8517720 HAS SOUPS 8517720 WITH SCORE 8528968.06
AT ITER 2804 NEW BEST:: SOT 17108196 SOS 11245544 HAS SOPS 11245544 HAS SOUS 8517720 HAS SOUPS 8517720 WITH SCORE 8528965.544
AT ITER 2805 NEW BEST:: SOT 17108196 SOS 11242630 HAS SOPS 11242630 HAS SOUS 8517720 HAS SOUPS 8517720 WITH SCORE 8528962.63
AT ITER 2810 NEW BEST:: SOT 17108196 SOS 11242481 HAS SOPS 11242481 HAS SOUS 8517720 HAS SOUPS 8517720 WITH SCORE 8528962.481
AT ITER 2813 NEW BEST:: SOT 17108196 SOS 11240772 HAS SOPS 11240772 HAS SOUS 8517720 HAS SOUPS 8517720 WITH SCORE 8528960.772
AT ITER 2819 NEW BEST:: SOT 17108196 SOS 11239485 HAS SOPS 11239485 HAS SOUS 8517627 HAS SOUPS 8517627 WITH SCORE 8528866.485
AT ITER 2824 NEW BEST:: SOT 17107528 SOS 11236173 HAS SOPS 11236173 HAS SOUS 8516764 HAS SOUPS 8516764 WITH SCORE 8528000.173
AT ITER 2835 NEW BEST:: SOT 17107528 SOS 11235848 HAS SOPS 11235848 HAS SOUS 8516764 HAS SOUPS 8516764 WITH SCORE 8527999.848
AT ITER 2839 NEW BEST:: SOT 17107528 SOS 11235581 HAS SOPS 11235581 HAS SOUS 8516764 HAS SOUPS 8516764 WITH SCORE 8527999.581
AT ITER 2844 NEW BEST:: SOT 17107528 SOS 11234865 HAS SOPS 11234865 HAS SOUS 8516764 HAS SOUPS 8516764 WITH SCORE 8527998.865
AT ITER 2872 NEW BEST:: SOT 17107528 SOS 11233363 HAS SOPS 11233363 HAS SOUS 8516764 HAS SOUPS 8516764 WITH SCORE 8527997.363
AT ITER 2883 NEW BEST:: SOT 17107528 SOS 11232795 HAS SOPS 11232795 HAS SOUS 8516764 HAS SOUPS 8516764 WITH SCORE 8527996.795
AT ITER 2888 NEW BEST:: SOT 17107358 SOS 11231268 HAS SOPS 11231268 HAS SOUS 8516236 HAS SOUPS 8516236 WITH SCORE 8527467.268
AT ITER 2894 NEW BEST:: SOT 17107358 SOS 11230083 HAS SOPS 11230083 HAS SOUS 8516236 HAS SOUPS 8516236 WITH SCORE 8527466.083
AT ITER 2907 NEW BEST:: SOT 17107358 SOS 11229036 HAS SOPS 11229036 HAS SOUS 8516236 HAS SOUPS 8516236 WITH SCORE 8527465.036
AT ITER 2912 NEW BEST:: SOT 17107358 SOS 11228650 HAS SOPS 11228650 HAS SOUS 8516221 HAS SOUPS 8516221 WITH SCORE 8527449.65
AT ITER 2917 NEW BEST:: SOT 17103811 SOS 11227615 HAS SOPS 11227615 HAS SOUS 8513598 HAS SOUPS 8513598 WITH SCORE 8524825.615
AT ITER 2919 NEW BEST:: SOT 17103318 SOS 11229634 HAS SOPS 11229634 HAS SOUS 8513105 HAS SOUPS 8513105 WITH SCORE 8524334.634
AT ITER 2921 NEW BEST:: SOT 17103318 SOS 11228979 HAS SOPS 11228979 HAS SOUS 8513105 HAS SOUPS 8513105 WITH SCORE 8524333.979
AT ITER 2924 NEW BEST:: SOT 17103318 SOS 11227837 HAS SOPS 11227837 HAS SOUS 8513105 HAS SOUPS 8513105 WITH SCORE 8524332.837
AT ITER 2926 NEW BEST:: SOT 17103318 SOS 11227520 HAS SOPS 11227520 HAS SOUS 8513105 HAS SOUPS 8513105 WITH SCORE 8524332.52
AT ITER 2930 NEW BEST:: SOT 17103318 SOS 11227276 HAS SOPS 11227276 HAS SOUS 8513105 HAS SOUPS 8513105 WITH SCORE 8524332.276
AT ITER 2947 NEW BEST:: SOT 17103318 SOS 11227157 HAS SOPS 11227157 HAS SOUS 8513105 HAS SOUPS 8513105 WITH SCORE 8524332.157
AT ITER 2948 NEW BEST:: SOT 17103318 SOS 11211115 HAS SOPS 11211115 HAS SOUS 8513105 HAS SOUPS 8513105 WITH SCORE 8524316.115
AT ITER 2959 NEW BEST:: SOT 17101983 SOS 11210578 HAS SOPS 11210578 HAS SOUS 8512382 HAS SOUPS 8512382 WITH SCORE 8523592.578
AT ITER 2960 NEW BEST:: SOT 17101983 SOS 11209323 HAS SOPS 11209323 HAS SOUS 8512196 HAS SOUPS 8512196 WITH SCORE 8523405.323
AT ITER 2968 NEW BEST:: SOT 17101774 SOS 11208708 HAS SOPS 11208708 HAS SOUS 8511784 HAS SOUPS 8511784 WITH SCORE 8522992.708
AT ITER 2973 NEW BEST:: SOT 17101774 SOS 11208568 HAS SOPS 11208568 HAS SOUS 8511784 HAS SOUPS 8511784 WITH SCORE 8522992.568
AT ITER 2977 NEW BEST:: SOT 17101774 SOS 11170452 HAS SOPS 11170452 HAS SOUS 8511018 HAS SOUPS 8511018 WITH SCORE 8522188.452
AT ITER 2978 NEW BEST:: SOT 17101774 SOS 11169601 HAS SOPS 11169601 HAS SOUS 8511018 HAS SOUPS 8511018 WITH SCORE 8522187.601
AT ITER 2981 NEW BEST:: SOT 17101774 SOS 11169065 HAS SOPS 11169065 HAS SOUS 8511018 HAS SOUPS 8511018 WITH SCORE 8522187.065
AT ITER 2988 NEW BEST:: SOT 17101774 SOS 11168231 HAS SOPS 11168231 HAS SOUS 8511018 HAS SOUPS 8511018 WITH SCORE 8522186.231
AT ITER 2994 NEW BEST:: SOT 17101774 SOS 11143812 HAS SOPS 11143812 HAS SOUS 8511018 HAS SOUPS 8511018 WITH SCORE 8522161.812
AT ITER 2997 NEW BEST:: SOT 17101774 SOS 11142726 HAS SOPS 11142726 HAS SOUS 8511018 HAS SOUPS 8511018 WITH SCORE 8522160.726
AT ITER 3003 NEW BEST:: SOT 17101774 SOS 11127578 HAS SOPS 11127578 HAS SOUS 8510872 HAS SOUPS 8510872 WITH SCORE 8521999.578
AT ITER 3006 NEW BEST:: SOT 17101754 SOS 11127558 HAS SOPS 11127558 HAS SOUS 8510857 HAS SOUPS 8510857 WITH SCORE 8521984.558
AT ITER 3007 NEW BEST:: SOT 17101754 SOS 11126463 HAS SOPS 11126463 HAS SOUS 8510857 HAS SOUPS 8510857 WITH SCORE 8521983.463
AT ITER 3016 NEW BEST:: SOT 17101754 SOS 11125909 HAS SOPS 11125909 HAS SOUS 8510857 HAS SOUPS 8510857 WITH SCORE 8521982.909
AT ITER 3019 NEW BEST:: SOT 17101754 SOS 11123039 HAS SOPS 11123039 HAS SOUS 8510857 HAS SOUPS 8510857 WITH SCORE 8521980.039
AT ITER 3021 NEW BEST:: SOT 17101754 SOS 11120943 HAS SOPS 11120943 HAS SOUS 8510857 HAS SOUPS 8510857 WITH SCORE 8521977.943
AT ITER 3025 NEW BEST:: SOT 17101754 SOS 11120909 HAS SOPS 11120909 HAS SOUS 8510857 HAS SOUPS 8510857 WITH SCORE 8521977.909
AT ITER 3034 NEW BEST:: SOT 17101754 SOS 11109711 HAS SOPS 11109711 HAS SOUS 8510857 HAS SOUPS 8510857 WITH SCORE 8521966.711
AT ITER 3056 NEW BEST:: SOT 17101754 SOS 11108960 HAS SOPS 11108960 HAS SOUS 8510857 HAS SOUPS 8510857 WITH SCORE 8521965.96
AT ITER 3059 NEW BEST:: SOT 17101754 SOS 11108714 HAS SOPS 11108714 HAS SOUS 8510775 HAS SOUPS 8510775 WITH SCORE 8521883.714
AT ITER 3070 NEW BEST:: SOT 17101754 SOS 11108201 HAS SOPS 11108201 HAS SOUS 8510775 HAS SOUPS 8510775 WITH SCORE 8521883.201
AT ITER 3074 NEW BEST:: SOT 17101754 SOS 11107821 HAS SOPS 11107821 HAS SOUS 8510775 HAS SOUPS 8510775 WITH SCORE 8521882.821
AT ITER 3082 NEW BEST:: SOT 17101754 SOS 11107780 HAS SOPS 11107780 HAS SOUS 8510775 HAS SOUPS 8510775 WITH SCORE 8521882.78
AT ITER 3086 NEW BEST:: SOT 17101587 SOS 11107613 HAS SOPS 11107613 HAS SOUS 8510632 HAS SOUPS 8510632 WITH SCORE 8521739.613
AT ITER 3093 NEW BEST:: SOT 17101587 SOS 11107191 HAS SOPS 11107191 HAS SOUS 8510632 HAS SOUPS 8510632 WITH SCORE 8521739.191
AT ITER 3096 NEW BEST:: SOT 17101587 SOS 11107106 HAS SOPS 11107106 HAS SOUS 8510632 HAS SOUPS 8510632 WITH SCORE 8521739.106
AT ITER 3097 NEW BEST:: SOT 17101587 SOS 11107106 HAS SOPS 11107106 HAS SOUS 8510617 HAS SOUPS 8510617 WITH SCORE 8521724.106
AT ITER 3099 NEW BEST:: SOT 17101587 SOS 11106413 HAS SOPS 11106413 HAS SOUS 8510617 HAS SOUPS 8510617 WITH SCORE 8521723.413
AT ITER 3116 NEW BEST:: SOT 17101587 SOS 11104532 HAS SOPS 11104532 HAS SOUS 8510617 HAS SOUPS 8510617 WITH SCORE 8521721.532
AT ITER 3118 NEW BEST:: SOT 17101587 SOS 11104162 HAS SOPS 11104162 HAS SOUS 8510602 HAS SOUPS 8510602 WITH SCORE 8521706.162
AT ITER 3135 NEW BEST:: SOT 17101587 SOS 11103846 HAS SOPS 11103846 HAS SOUS 8510602 HAS SOUPS 8510602 WITH SCORE 8521705.846
AT ITER 3140 NEW BEST:: SOT 17101587 SOS 11085811 HAS SOPS 11085811 HAS SOUS 8510602 HAS SOUPS 8510602 WITH SCORE 8521687.811
AT ITER 3143 NEW BEST:: SOT 17101587 SOS 11084753 HAS SOPS 11084753 HAS SOUS 8510602 HAS SOUPS 8510602 WITH SCORE 8521686.753
AT ITER 3171 NEW BEST:: SOT 17101587 SOS 11083883 HAS SOPS 11083883 HAS SOUS 8510602 HAS SOUPS 8510602 WITH SCORE 8521685.883
AT ITER 3177 NEW BEST:: SOT 17100519 SOS 11082664 HAS SOPS 11082664 HAS SOUS 8509815 HAS SOUPS 8509815 WITH SCORE 8520897.664
AT ITER 3178 NEW BEST:: SOT 17100519 SOS 11081638 HAS SOPS 11081638 HAS SOUS 8509815 HAS SOUPS 8509815 WITH SCORE 8520896.638
AT ITER 3182 NEW BEST:: SOT 17100519 SOS 11063152 HAS SOPS 11063152 HAS SOUS 8509640 HAS SOUPS 8509640 WITH SCORE 8520703.152
AT ITER 3190 NEW BEST:: SOT 17100583 SOS 11063026 HAS SOPS 11063026 HAS SOUS 8509295 HAS SOUPS 8509295 WITH SCORE 8520358.026
AT ITER 3195 NEW BEST:: SOT 17100583 SOS 11062700 HAS SOPS 11062700 HAS SOUS 8509295 HAS SOUPS 8509295 WITH SCORE 8520357.7
AT ITER 3196 NEW BEST:: SOT 17100583 SOS 11062700 HAS SOPS 11062700 HAS SOUS 8509280 HAS SOUPS 8509280 WITH SCORE 8520342.7
AT ITER 3206 NEW BEST:: SOT 17100583 SOS 11062210 HAS SOPS 11062210 HAS SOUS 8509280 HAS SOUPS 8509280 WITH SCORE 8520342.21
AT ITER 3219 NEW BEST:: SOT 17100583 SOS 11061036 HAS SOPS 11061036 HAS SOUS 8509280 HAS SOUPS 8509280 WITH SCORE 8520341.036
AT ITER 3224 NEW BEST:: SOT 17100766 SOS 11060343 HAS SOPS 11060343 HAS SOUS 8508291 HAS SOUPS 8508291 WITH SCORE 8519351.343
AT ITER 3225 NEW BEST:: SOT 17100766 SOS 11059398 HAS SOPS 11059398 HAS SOUS 8508291 HAS SOUPS 8508291 WITH SCORE 8519350.398
AT ITER 3227 NEW BEST:: SOT 17100766 SOS 11059368 HAS SOPS 11059368 HAS SOUS 8508291 HAS SOUPS 8508291 WITH SCORE 8519350.368
AT ITER 3228 NEW BEST:: SOT 17100766 SOS 11058692 HAS SOPS 11058692 HAS SOUS 8508291 HAS SOUPS 8508291 WITH SCORE 8519349.692
AT ITER 3234 NEW BEST:: SOT 17100766 SOS 11057503 HAS SOPS 11057503 HAS SOUS 8508291 HAS SOUPS 8508291 WITH SCORE 8519348.503
AT ITER 3240 NEW BEST:: SOT 17100766 SOS 11055881 HAS SOPS 11055881 HAS SOUS 8508291 HAS SOUPS 8508291 WITH SCORE 8519346.881
AT ITER 3242 NEW BEST:: SOT 17100766 SOS 11055797 HAS SOPS 11055797 HAS SOUS 8508291 HAS SOUPS 8508291 WITH SCORE 8519346.797
AT ITER 3248 NEW BEST:: SOT 17100766 SOS 11056571 HAS SOPS 11056571 HAS SOUS 8508276 HAS SOUPS 8508276 WITH SCORE 8519332.571
AT ITER 3249 NEW BEST:: SOT 17100766 SOS 11043782 HAS SOPS 11043782 HAS SOUS 8508276 HAS SOUPS 8508276 WITH SCORE 8519319.782
AT ITER 3251 NEW BEST:: SOT 17099724 SOS 11042754 HAS SOPS 11042754 HAS SOUS 8506624 HAS SOUPS 8506624 WITH SCORE 8517666.754
AT ITER 3258 NEW BEST:: SOT 17100246 SOS 11041401 HAS SOPS 11041401 HAS SOUS 8506216 HAS SOUPS 8506216 WITH SCORE 8517257.401
AT ITER 3264 NEW BEST:: SOT 17096079 SOS 11040246 HAS SOPS 11040246 HAS SOUS 8504787 HAS SOUPS 8504787 WITH SCORE 8515827.246
AT ITER 3265 NEW BEST:: SOT 17093326 SOS 11038284 HAS SOPS 11038284 HAS SOUS 8502578 HAS SOUPS 8502578 WITH SCORE 8513616.284
AT ITER 3273 NEW BEST:: SOT 17091906 SOS 11038270 HAS SOPS 11038270 HAS SOUS 8502523 HAS SOUPS 8502523 WITH SCORE 8513561.27
AT ITER 3278 NEW BEST:: SOT 17091906 SOS 11037251 HAS SOPS 11037251 HAS SOUS 8502436 HAS SOUPS 8502436 WITH SCORE 8513473.251
AT ITER 3283 NEW BEST:: SOT 17091906 SOS 11036578 HAS SOPS 11036578 HAS SOUS 8502436 HAS SOUPS 8502436 WITH SCORE 8513472.578
AT ITER 3295 NEW BEST:: SOT 17091906 SOS 11035018 HAS SOPS 11035018 HAS SOUS 8501455 HAS SOUPS 8501455 WITH SCORE 8512490.018
AT ITER 3300 NEW BEST:: SOT 17091906 SOS 11033479 HAS SOPS 11033479 HAS SOUS 8501455 HAS SOUPS 8501455 WITH SCORE 8512488.479
AT ITER 3310 NEW BEST:: SOT 17091906 SOS 11032194 HAS SOPS 11032194 HAS SOUS 8501455 HAS SOUPS 8501455 WITH SCORE 8512487.194
AT ITER 3315 NEW BEST:: SOT 17091906 SOS 11032111 HAS SOPS 11032111 HAS SOUS 8501455 HAS SOUPS 8501455 WITH SCORE 8512487.111
AT ITER 3316 NEW BEST:: SOT 17091906 SOS 11029399 HAS SOPS 11029399 HAS SOUS 8501440 HAS SOUPS 8501440 WITH SCORE 8512469.399
AT ITER 3330 NEW BEST:: SOT 17091906 SOS 11028216 HAS SOPS 11028216 HAS SOUS 8501440 HAS SOUPS 8501440 WITH SCORE 8512468.216
AT ITER 3337 NEW BEST:: SOT 17091821 SOS 11026211 HAS SOPS 11026211 HAS SOUS 8501066 HAS SOUPS 8501066 WITH SCORE 8512092.211
AT ITER 3339 NEW BEST:: SOT 17091056 SOS 11026143 HAS SOPS 11026143 HAS SOUS 8501028 HAS SOUPS 8501028 WITH SCORE 8512054.143
AT ITER 3344 NEW BEST:: SOT 17086009 SOS 11021292 HAS SOPS 11021292 HAS SOUS 8499061 HAS SOUPS 8499061 WITH SCORE 8510082.292
AT ITER 3356 NEW BEST:: SOT 17086009 SOS 11002053 HAS SOPS 11002053 HAS SOUS 8498611 HAS SOUPS 8498611 WITH SCORE 8509613.053
AT ITER 3360 NEW BEST:: SOT 17085315 SOS 11001738 HAS SOPS 11001738 HAS SOUS 8498296 HAS SOUPS 8498296 WITH SCORE 8509297.738
AT ITER 3368 NEW BEST:: SOT 17085315 SOS 11001738 HAS SOPS 11001738 HAS SOUS 8498277 HAS SOUPS 8498277 WITH SCORE 8509278.738
AT ITER 3376 NEW BEST:: SOT 17083748 SOS 11001490 HAS SOPS 11001490 HAS SOUS 8497902 HAS SOUPS 8497902 WITH SCORE 8508903.49
AT ITER 3381 NEW BEST:: SOT 17083748 SOS 10990456 HAS SOPS 10990456 HAS SOUS 8497902 HAS SOUPS 8497902 WITH SCORE 8508892.456
AT ITER 3386 NEW BEST:: SOT 17083748 SOS 10990092 HAS SOPS 10990092 HAS SOUS 8497902 HAS SOUPS 8497902 WITH SCORE 8508892.092
AT ITER 3390 NEW BEST:: SOT 17083748 SOS 10989804 HAS SOPS 10989804 HAS SOUS 8497668 HAS SOUPS 8497668 WITH SCORE 8508657.804
AT ITER 3393 NEW BEST:: SOT 17083748 SOS 10989804 HAS SOPS 10989804 HAS SOUS 8497653 HAS SOUPS 8497653 WITH SCORE 8508642.804
AT ITER 3394 NEW BEST:: SOT 17083748 SOS 10989804 HAS SOPS 10989804 HAS SOUS 8497647 HAS SOUPS 8497647 WITH SCORE 8508636.804
AT ITER 3396 NEW BEST:: SOT 17083748 SOS 10989699 HAS SOPS 10989699 HAS SOUS 8497647 HAS SOUPS 8497647 WITH SCORE 8508636.699
AT ITER 3403 NEW BEST:: SOT 17083733 SOS 10988465 HAS SOPS 10988465 HAS SOUS 8496808 HAS SOUPS 8496808 WITH SCORE 8507796.465
AT ITER 3409 NEW BEST:: SOT 17083074 SOS 10993099 HAS SOPS 10993099 HAS SOUS 8496357 HAS SOUPS 8496357 WITH SCORE 8507350.099
AT ITER 3412 NEW BEST:: SOT 17080662 SOS 10995875 HAS SOPS 10995875 HAS SOUS 8494427 HAS SOUPS 8494427 WITH SCORE 8505422.875
AT ITER 3423 NEW BEST:: SOT 17078397 SOS 10995546 HAS SOPS 10995546 HAS SOUS 8492896 HAS SOUPS 8492896 WITH SCORE 8503891.546
AT ITER 3430 NEW BEST:: SOT 17077318 SOS 10995180 HAS SOPS 10995180 HAS SOUS 8492028 HAS SOUPS 8492028 WITH SCORE 8503023.18
AT ITER 3433 NEW BEST:: SOT 17077318 SOS 10994894 HAS SOPS 10994894 HAS SOUS 8492028 HAS SOUPS 8492028 WITH SCORE 8503022.894
AT ITER 3436 NEW BEST:: SOT 17076795 SOS 10994348 HAS SOPS 10994348 HAS SOUS 8491547 HAS SOUPS 8491547 WITH SCORE 8502541.348
AT ITER 3448 NEW BEST:: SOT 17076795 SOS 10991560 HAS SOPS 10991560 HAS SOUS 8491547 HAS SOUPS 8491547 WITH SCORE 8502538.56
AT ITER 3452 NEW BEST:: SOT 17076795 SOS 10991380 HAS SOPS 10991380 HAS SOUS 8491547 HAS SOUPS 8491547 WITH SCORE 8502538.38
AT ITER 3475 NEW BEST:: SOT 17076744 SOS 10991329 HAS SOPS 10991329 HAS SOUS 8491496 HAS SOUPS 8491496 WITH SCORE 8502487.329
AT ITER 3476 NEW BEST:: SOT 17076744 SOS 10990389 HAS SOPS 10990389 HAS SOUS 8491496 HAS SOUPS 8491496 WITH SCORE 8502486.389
AT ITER 3477 NEW BEST:: SOT 17076744 SOS 10989568 HAS SOPS 10989568 HAS SOUS 8491496 HAS SOUPS 8491496 WITH SCORE 8502485.568
AT ITER 3483 NEW BEST:: SOT 17073065 SOS 10987779 HAS SOPS 10987779 HAS SOUS 8489082 HAS SOUPS 8489082 WITH SCORE 8500069.779
AT ITER 3484 NEW BEST:: SOT 17072080 SOS 10987383 HAS SOPS 10987383 HAS SOUS 8488686 HAS SOUPS 8488686 WITH SCORE 8499673.383
AT ITER 3491 NEW BEST:: SOT 17072257 SOS 10988624 HAS SOPS 10988624 HAS SOUS 8488454 HAS SOUPS 8488454 WITH SCORE 8499442.624
AT ITER 3493 NEW BEST:: SOT 17072257 SOS 10975664 HAS SOPS 10975664 HAS SOUS 8488454 HAS SOUPS 8488454 WITH SCORE 8499429.664
AT ITER 3496 NEW BEST:: SOT 17069456 SOS 10974141 HAS SOPS 10974141 HAS SOUS 8486693 HAS SOUPS 8486693 WITH SCORE 8497667.141
AT ITER 3506 NEW BEST:: SOT 17069456 SOS 10973793 HAS SOPS 10973793 HAS SOUS 8486693 HAS SOUPS 8486693 WITH SCORE 8497666.793
AT ITER 3507 NEW BEST:: SOT 17069456 SOS 10973236 HAS SOPS 10973236 HAS SOUS 8486693 HAS SOUPS 8486693 WITH SCORE 8497666.236
AT ITER 3521 NEW BEST:: SOT 17069456 SOS 10969103 HAS SOPS 10969103 HAS SOUS 8486693 HAS SOUPS 8486693 WITH SCORE 8497662.103
AT ITER 3523 NEW BEST:: SOT 17069055 SOS 10967062 HAS SOPS 10967062 HAS SOUS 8486332 HAS SOUPS 8486332 WITH SCORE 8497299.062
AT ITER 3543 NEW BEST:: SOT 17067394 SOS 10965949 HAS SOPS 10965949 HAS SOUS 8485590 HAS SOUPS 8485590 WITH SCORE 8496555.949
AT ITER 3556 NEW BEST:: SOT 17067394 SOS 10965069 HAS SOPS 10965069 HAS SOUS 8485590 HAS SOUPS 8485590 WITH SCORE 8496555.069
AT ITER 3563 NEW BEST:: SOT 17067394 SOS 10964612 HAS SOPS 10964612 HAS SOUS 8485590 HAS SOUPS 8485590 WITH SCORE 8496554.612
AT ITER 3570 NEW BEST:: SOT 17067394 SOS 10964571 HAS SOPS 10964571 HAS SOUS 8485590 HAS SOUPS 8485590 WITH SCORE 8496554.571
AT ITER 3571 NEW BEST:: SOT 17066614 SOS 10964250 HAS SOPS 10964250 HAS SOUS 8485334 HAS SOUPS 8485334 WITH SCORE 8496298.25
AT ITER 3574 NEW BEST:: SOT 17065277 SOS 10963204 HAS SOPS 10963204 HAS SOUS 8484312 HAS SOUPS 8484312 WITH SCORE 8495275.204
AT ITER 3580 NEW BEST:: SOT 17065277 SOS 10961657 HAS SOPS 10961657 HAS SOUS 8484312 HAS SOUPS 8484312 WITH SCORE 8495273.657
AT ITER 3586 NEW BEST:: SOT 17065277 SOS 10961637 HAS SOPS 10961637 HAS SOUS 8484312 HAS SOUPS 8484312 WITH SCORE 8495273.637
AT ITER 3588 NEW BEST:: SOT 17065277 SOS 10961527 HAS SOPS 10961527 HAS SOUS 8484312 HAS SOUPS 8484312 WITH SCORE 8495273.527
AT ITER 3591 NEW BEST:: SOT 17065277 SOS 10961376 HAS SOPS 10961376 HAS SOUS 8484312 HAS SOUPS 8484312 WITH SCORE 8495273.376
AT ITER 3596 NEW BEST:: SOT 17065277 SOS 10960307 HAS SOPS 10960307 HAS SOUS 8484117 HAS SOUPS 8484117 WITH SCORE 8495077.307
AT ITER 3597 NEW BEST:: SOT 17065277 SOS 10959551 HAS SOPS 10959551 HAS SOUS 8484048 HAS SOUPS 8484048 WITH SCORE 8495007.551
AT ITER 3601 NEW BEST:: SOT 17065277 SOS 10959236 HAS SOPS 10959236 HAS SOUS 8484048 HAS SOUPS 8484048 WITH SCORE 8495007.236
AT ITER 3612 NEW BEST:: SOT 17065277 SOS 10952552 HAS SOPS 10952552 HAS SOUS 8484048 HAS SOUPS 8484048 WITH SCORE 8495000.552
AT ITER 3614 NEW BEST:: SOT 17062654 SOS 10959037 HAS SOPS 10959037 HAS SOUS 8482220 HAS SOUPS 8482220 WITH SCORE 8493179.037
AT ITER 3623 NEW BEST:: SOT 17062654 SOS 10959459 HAS SOPS 10959459 HAS SOUS 8482063 HAS SOUPS 8482063 WITH SCORE 8493022.459
AT ITER 3630 NEW BEST:: SOT 17062654 SOS 10959374 HAS SOPS 10959374 HAS SOUS 8481782 HAS SOUPS 8481782 WITH SCORE 8492741.374
AT ITER 3632 NEW BEST:: SOT 17062654 SOS 10958274 HAS SOPS 10958274 HAS SOUS 8481782 HAS SOUPS 8481782 WITH SCORE 8492740.274
AT ITER 3633 NEW BEST:: SOT 17062654 SOS 10957316 HAS SOPS 10957316 HAS SOUS 8481782 HAS SOUPS 8481782 WITH SCORE 8492739.316
AT ITER 3639 NEW BEST:: SOT 17060633 SOS 10961590 HAS SOPS 10961590 HAS SOUS 8481582 HAS SOUPS 8481582 WITH SCORE 8492543.59
AT ITER 3651 NEW BEST:: SOT 17060282 SOS 10957244 HAS SOPS 10957244 HAS SOUS 8479906 HAS SOUPS 8479906 WITH SCORE 8490863.244
AT ITER 3652 NEW BEST:: SOT 17057084 SOS 10954110 HAS SOPS 10954110 HAS SOUS 8476679 HAS SOUPS 8476679 WITH SCORE 8487633.11
AT ITER 3657 NEW BEST:: SOT 17052648 SOS 10951083 HAS SOPS 10951083 HAS SOUS 8473927 HAS SOUPS 8473927 WITH SCORE 8484878.083
AT ITER 3661 NEW BEST:: SOT 17052769 SOS 10951204 HAS SOPS 10951204 HAS SOUS 8473210 HAS SOUPS 8473210 WITH SCORE 8484161.204
AT ITER 3663 NEW BEST:: SOT 17052769 SOS 10950474 HAS SOPS 10950474 HAS SOUS 8473210 HAS SOUPS 8473210 WITH SCORE 8484160.474
AT ITER 3673 NEW BEST:: SOT 17052769 SOS 10949840 HAS SOPS 10949840 HAS SOUS 8473210 HAS SOUPS 8473210 WITH SCORE 8484159.84
AT ITER 3677 NEW BEST:: SOT 17052769 SOS 10949660 HAS SOPS 10949660 HAS SOUS 8473210 HAS SOUPS 8473210 WITH SCORE 8484159.66
AT ITER 3689 NEW BEST:: SOT 17051431 SOS 10947910 HAS SOPS 10947910 HAS SOUS 8471650 HAS SOUPS 8471650 WITH SCORE 8482597.91
AT ITER 3692 NEW BEST:: SOT 17049327 SOS 10949517 HAS SOPS 10949517 HAS SOUS 8471329 HAS SOUPS 8471329 WITH SCORE 8482278.517
AT ITER 3695 NEW BEST:: SOT 17045851 SOS 10960863 HAS SOPS 10960863 HAS SOUS 8469355 HAS SOUPS 8469355 WITH SCORE 8480315.863
AT ITER 3723 NEW BEST:: SOT 17045851 SOS 10960533 HAS SOPS 10960533 HAS SOUS 8469355 HAS SOUPS 8469355 WITH SCORE 8480315.533
AT ITER 3728 NEW BEST:: SOT 17045851 SOS 10957792 HAS SOPS 10957792 HAS SOUS 8469355 HAS SOUPS 8469355 WITH SCORE 8480312.792
AT ITER 3729 NEW BEST:: SOT 17045444 SOS 10957714 HAS SOPS 10957714 HAS SOUS 8468948 HAS SOUPS 8468948 WITH SCORE 8479905.714
AT ITER 3731 NEW BEST:: SOT 17045010 SOS 10957439 HAS SOPS 10957439 HAS SOUS 8468865 HAS SOUPS 8468865 WITH SCORE 8479822.439
AT ITER 3745 NEW BEST:: SOT 17039530 SOS 10952508 HAS SOPS 10952508 HAS SOUS 8466493 HAS SOUPS 8466493 WITH SCORE 8477445.508
AT ITER 3751 NEW BEST:: SOT 17039530 SOS 10951644 HAS SOPS 10951644 HAS SOUS 8466493 HAS SOUPS 8466493 WITH SCORE 8477444.644
AT ITER 3753 NEW BEST:: SOT 17039530 SOS 10951323 HAS SOPS 10951323 HAS SOUS 8466381 HAS SOUPS 8466381 WITH SCORE 8477332.323
AT ITER 3759 NEW BEST:: SOT 17039530 SOS 10950560 HAS SOPS 10950560 HAS SOUS 8466381 HAS SOUPS 8466381 WITH SCORE 8477331.56
AT ITER 3768 NEW BEST:: SOT 17039530 SOS 10950370 HAS SOPS 10950370 HAS SOUS 8466381 HAS SOUPS 8466381 WITH SCORE 8477331.37
AT ITER 3773 NEW BEST:: SOT 17039492 SOS 10950313 HAS SOPS 10950313 HAS SOUS 8466324 HAS SOUPS 8466324 WITH SCORE 8477274.313
AT ITER 3777 NEW BEST:: SOT 17039492 SOS 10949172 HAS SOPS 10949172 HAS SOUS 8466324 HAS SOUPS 8466324 WITH SCORE 8477273.172
AT ITER 3784 NEW BEST:: SOT 17038568 SOS 10948300 HAS SOPS 10948300 HAS SOUS 8465517 HAS SOUPS 8465517 WITH SCORE 8476465.3
AT ITER 3791 NEW BEST:: SOT 17038568 SOS 10948157 HAS SOPS 10948157 HAS SOUS 8465517 HAS SOUPS 8465517 WITH SCORE 8476465.157
AT ITER 3795 NEW BEST:: SOT 17035701 SOS 10944961 HAS SOPS 10944961 HAS SOUS 8462700 HAS SOUPS 8462700 WITH SCORE 8473644.961
AT ITER 3800 NEW BEST:: SOT 17035701 SOS 10944754 HAS SOPS 10944754 HAS SOUS 8462700 HAS SOUPS 8462700 WITH SCORE 8473644.754
AT ITER 3814 NEW BEST:: SOT 17035020 SOS 10944268 HAS SOPS 10944268 HAS SOUS 8462214 HAS SOUPS 8462214 WITH SCORE 8473158.268
AT ITER 3820 NEW BEST:: SOT 17035020 SOS 10944242 HAS SOPS 10944242 HAS SOUS 8462214 HAS SOUPS 8462214 WITH SCORE 8473158.242
AT ITER 3825 NEW BEST:: SOT 17035020 SOS 10942946 HAS SOPS 10942946 HAS SOUS 8462214 HAS SOUPS 8462214 WITH SCORE 8473156.946
AT ITER 3829 NEW BEST:: SOT 17035020 SOS 10941748 HAS SOPS 10941748 HAS SOUS 8462214 HAS SOUPS 8462214 WITH SCORE 8473155.748
AT ITER 3831 NEW BEST:: SOT 17034299 SOS 10941551 HAS SOPS 10941551 HAS SOUS 8461576 HAS SOUPS 8461576 WITH SCORE 8472517.551
AT ITER 3837 NEW BEST:: SOT 17030979 SOS 10938347 HAS SOPS 10938347 HAS SOUS 8458642 HAS SOUPS 8458642 WITH SCORE 8469580.347
AT ITER 3838 NEW BEST:: SOT 17030561 SOS 10938347 HAS SOPS 10938347 HAS SOUS 8458478 HAS SOUPS 8458478 WITH SCORE 8469416.347
AT ITER 3841 NEW BEST:: SOT 17029056 SOS 10938389 HAS SOPS 10938389 HAS SOUS 8457960 HAS SOUPS 8457960 WITH SCORE 8468898.389
AT ITER 3847 NEW BEST:: SOT 17029304 SOS 10938709 HAS SOPS 10938709 HAS SOUS 8457815 HAS SOUPS 8457815 WITH SCORE 8468753.709
AT ITER 3851 NEW BEST:: SOT 17029304 SOS 10937960 HAS SOPS 10937960 HAS SOUS 8457421 HAS SOUPS 8457421 WITH SCORE 8468358.96
AT ITER 3865 NEW BEST:: SOT 17029304 SOS 10925930 HAS SOPS 10925930 HAS SOUS 8457406 HAS SOUPS 8457406 WITH SCORE 8468331.93
AT ITER 3868 NEW BEST:: SOT 17029304 SOS 10927371 HAS SOPS 10927371 HAS SOUS 8457279 HAS SOUPS 8457279 WITH SCORE 8468206.371
AT ITER 3869 NEW BEST:: SOT 17025287 SOS 10931893 HAS SOPS 10931893 HAS SOUS 8454293 HAS SOUPS 8454293 WITH SCORE 8465224.893
AT ITER 3872 NEW BEST:: SOT 17024882 SOS 10931488 HAS SOPS 10931488 HAS SOUS 8453888 HAS SOUPS 8453888 WITH SCORE 8464819.488
AT ITER 3875 NEW BEST:: SOT 17024882 SOS 10929407 HAS SOPS 10929407 HAS SOUS 8453858 HAS SOUPS 8453858 WITH SCORE 8464787.407
AT ITER 3878 NEW BEST:: SOT 17024882 SOS 10927993 HAS SOPS 10927993 HAS SOUS 8453858 HAS SOUPS 8453858 WITH SCORE 8464785.993
AT ITER 3880 NEW BEST:: SOT 17024882 SOS 10911248 HAS SOPS 10911248 HAS SOUS 8453475 HAS SOUPS 8453475 WITH SCORE 8464386.248
AT ITER 3884 NEW BEST:: SOT 17024882 SOS 10887158 HAS SOPS 10887158 HAS SOUS 8453475 HAS SOUPS 8453475 WITH SCORE 8464362.158
AT ITER 3889 NEW BEST:: SOT 17024882 SOS 10886464 HAS SOPS 10886464 HAS SOUS 8453475 HAS SOUPS 8453475 WITH SCORE 8464361.464
AT ITER 3890 NEW BEST:: SOT 17024882 SOS 10886106 HAS SOPS 10886106 HAS SOUS 8453475 HAS SOUPS 8453475 WITH SCORE 8464361.106
AT ITER 3906 NEW BEST:: SOT 17024882 SOS 10885657 HAS SOPS 10885657 HAS SOUS 8453475 HAS SOUPS 8453475 WITH SCORE 8464360.657
AT ITER 3912 NEW BEST:: SOT 17024882 SOS 10885344 HAS SOPS 10885344 HAS SOUS 8453475 HAS SOUPS 8453475 WITH SCORE 8464360.344
AT ITER 3915 NEW BEST:: SOT 17024882 SOS 10884693 HAS SOPS 10884693 HAS SOUS 8453248 HAS SOUPS 8453248 WITH SCORE 8464132.693
AT ITER 3916 NEW BEST:: SOT 17024882 SOS 10883764 HAS SOPS 10883764 HAS SOUS 8453248 HAS SOUPS 8453248 WITH SCORE 8464131.764
AT ITER 3920 NEW BEST:: SOT 17024772 SOS 10883779 HAS SOPS 10883779 HAS SOUS 8453181 HAS SOUPS 8453181 WITH SCORE 8464064.779
AT ITER 3922 NEW BEST:: SOT 17023874 SOS 10882920 HAS SOPS 10882920 HAS SOUS 8452458 HAS SOUPS 8452458 WITH SCORE 8463340.92
AT ITER 3945 NEW BEST:: SOT 17023156 SOS 10882443 HAS SOPS 10882443 HAS SOUS 8451986 HAS SOUPS 8451986 WITH SCORE 8462868.443
AT ITER 3949 NEW BEST:: SOT 17023156 SOS 10880824 HAS SOPS 10880824 HAS SOUS 8451806 HAS SOUPS 8451806 WITH SCORE 8462686.824
AT ITER 3950 NEW BEST:: SOT 17023018 SOS 10880686 HAS SOPS 10880686 HAS SOUS 8450866 HAS SOUPS 8450866 WITH SCORE 8461746.686
AT ITER 3962 NEW BEST:: SOT 17023018 SOS 10880156 HAS SOPS 10880156 HAS SOUS 8450866 HAS SOUPS 8450866 WITH SCORE 8461746.156
AT ITER 3966 NEW BEST:: SOT 17023018 SOS 10878272 HAS SOPS 10878272 HAS SOUS 8450866 HAS SOUPS 8450866 WITH SCORE 8461744.272
AT ITER 3970 NEW BEST:: SOT 17023503 SOS 10880508 HAS SOPS 10880508 HAS SOUS 8450101 HAS SOUPS 8450101 WITH SCORE 8460981.508
AT ITER 3971 NEW BEST:: SOT 17023981 SOS 10879247 HAS SOPS 10879247 HAS SOUS 8450079 HAS SOUPS 8450079 WITH SCORE 8460958.247
AT ITER 3973 NEW BEST:: SOT 17023154 SOS 10879130 HAS SOPS 10879130 HAS SOUS 8449981 HAS SOUPS 8449981 WITH SCORE 8460860.13
AT ITER 3980 NEW BEST:: SOT 17023154 SOS 10879130 HAS SOPS 10879130 HAS SOUS 8449791 HAS SOUPS 8449791 WITH SCORE 8460670.13
AT ITER 3982 NEW BEST:: SOT 17022028 SOS 10878678 HAS SOPS 10878678 HAS SOUS 8448932 HAS SOUPS 8448932 WITH SCORE 8459810.678
AT ITER 3984 NEW BEST:: SOT 17022028 SOS 10877721 HAS SOPS 10877721 HAS SOUS 8448932 HAS SOUPS 8448932 WITH SCORE 8459809.721
AT ITER 3991 NEW BEST:: SOT 17022057 SOS 10879970 HAS SOPS 10879970 HAS SOUS 8448716 HAS SOUPS 8448716 WITH SCORE 8459595.97
AT ITER 4002 NEW BEST:: SOT 17021982 SOS 10880024 HAS SOPS 10880024 HAS SOUS 8448684 HAS SOUPS 8448684 WITH SCORE 8459564.024
AT ITER 4007 NEW BEST:: SOT 17021982 SOS 10879881 HAS SOPS 10879881 HAS SOUS 8448684 HAS SOUPS 8448684 WITH SCORE 8459563.881
AT ITER 4013 NEW BEST:: SOT 17021982 SOS 10878777 HAS SOPS 10878777 HAS SOUS 8448684 HAS SOUPS 8448684 WITH SCORE 8459562.777
AT ITER 4014 NEW BEST:: SOT 17021982 SOS 10858707 HAS SOPS 10858707 HAS SOUS 8448684 HAS SOUPS 8448684 WITH SCORE 8459542.707
AT ITER 4020 NEW BEST:: SOT 17021239 SOS 10858419 HAS SOPS 10858419 HAS SOUS 8448300 HAS SOUPS 8448300 WITH SCORE 8459158.419
AT ITER 4029 NEW BEST:: SOT 17021239 SOS 10856544 HAS SOPS 10856544 HAS SOUS 8448077 HAS SOUPS 8448077 WITH SCORE 8458933.544
AT ITER 4037 NEW BEST:: SOT 17021239 SOS 10855512 HAS SOPS 10855512 HAS SOUS 8448077 HAS SOUPS 8448077 WITH SCORE 8458932.512
AT ITER 4043 NEW BEST:: SOT 17021270 SOS 10854410 HAS SOPS 10854410 HAS SOUS 8447976 HAS SOUPS 8447976 WITH SCORE 8458830.41
AT ITER 4049 NEW BEST:: SOT 17021270 SOS 10854392 HAS SOPS 10854392 HAS SOUS 8447976 HAS SOUPS 8447976 WITH SCORE 8458830.392
AT ITER 4052 NEW BEST:: SOT 17021270 SOS 10853902 HAS SOPS 10853902 HAS SOUS 8447976 HAS SOUPS 8447976 WITH SCORE 8458829.902
AT ITER 4054 NEW BEST:: SOT 17021270 SOS 10876520 HAS SOPS 10876520 HAS SOUS 8447635 HAS SOUPS 8447635 WITH SCORE 8458511.52
AT ITER 4058 NEW BEST:: SOT 17017233 SOS 10889277 HAS SOPS 10889277 HAS SOUS 8446511 HAS SOUPS 8446511 WITH SCORE 8457400.277
AT ITER 4060 NEW BEST:: SOT 17017233 SOS 10887949 HAS SOPS 10887949 HAS SOUS 8446511 HAS SOUPS 8446511 WITH SCORE 8457398.949
AT ITER 4064 NEW BEST:: SOT 17017233 SOS 10887816 HAS SOPS 10887816 HAS SOUS 8446496 HAS SOUPS 8446496 WITH SCORE 8457383.816
AT ITER 4080 NEW BEST:: SOT 17016145 SOS 10886728 HAS SOPS 10886728 HAS SOUS 8445577 HAS SOUPS 8445577 WITH SCORE 8456463.728
AT ITER 4096 NEW BEST:: SOT 17016145 SOS 10885848 HAS SOPS 10885848 HAS SOUS 8445577 HAS SOUPS 8445577 WITH SCORE 8456462.848
AT ITER 4098 NEW BEST:: SOT 17016145 SOS 10885491 HAS SOPS 10885491 HAS SOUS 8445577 HAS SOUPS 8445577 WITH SCORE 8456462.491
AT ITER 4101 NEW BEST:: SOT 17013510 SOS 10883851 HAS SOPS 10883851 HAS SOUS 8444365 HAS SOUPS 8444365 WITH SCORE 8455248.851
AT ITER 4107 NEW BEST:: SOT 17013687 SOS 10884028 HAS SOPS 10884028 HAS SOUS 8444272 HAS SOUPS 8444272 WITH SCORE 8455156.028
AT ITER 4114 NEW BEST:: SOT 17012541 SOS 10883649 HAS SOPS 10883649 HAS SOUS 8443893 HAS SOUPS 8443893 WITH SCORE 8454776.649
AT ITER 4115 NEW BEST:: SOT 17012541 SOS 10883569 HAS SOPS 10883569 HAS SOUS 8443893 HAS SOUPS 8443893 WITH SCORE 8454776.569
AT ITER 4122 NEW BEST:: SOT 17012541 SOS 10883000 HAS SOPS 10883000 HAS SOUS 8443893 HAS SOUPS 8443893 WITH SCORE 8454776.0
AT ITER 4123 NEW BEST:: SOT 17012541 SOS 10882960 HAS SOPS 10882960 HAS SOUS 8441493 HAS SOUPS 8441493 WITH SCORE 8452375.96
AT ITER 4128 NEW BEST:: SOT 17012541 SOS 10882595 HAS SOPS 10882595 HAS SOUS 8441420 HAS SOUPS 8441420 WITH SCORE 8452302.595
AT ITER 4130 NEW BEST:: SOT 17012541 SOS 10882239 HAS SOPS 10882239 HAS SOUS 8441228 HAS SOUPS 8441228 WITH SCORE 8452110.239
AT ITER 4140 NEW BEST:: SOT 17011791 SOS 10882109 HAS SOPS 10882109 HAS SOUS 8440868 HAS SOUPS 8440868 WITH SCORE 8451750.109
AT ITER 4142 NEW BEST:: SOT 17008123 SOS 10906636 HAS SOPS 10906636 HAS SOUS 8438115 HAS SOUPS 8438115 WITH SCORE 8449021.636
AT ITER 4146 NEW BEST:: SOT 17008123 SOS 10905727 HAS SOPS 10905727 HAS SOUS 8438115 HAS SOUPS 8438115 WITH SCORE 8449020.727
AT ITER 4152 NEW BEST:: SOT 17007557 SOS 10905161 HAS SOPS 10905161 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448234.161
AT ITER 4206 NEW BEST:: SOT 17007557 SOS 10903999 HAS SOPS 10903999 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448232.999
AT ITER 4214 NEW BEST:: SOT 17007557 SOS 10903155 HAS SOPS 10903155 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448232.155
AT ITER 4220 NEW BEST:: SOT 17007557 SOS 10901483 HAS SOPS 10901483 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448230.483
AT ITER 4222 NEW BEST:: SOT 17007557 SOS 10900327 HAS SOPS 10900327 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448229.327
AT ITER 4229 NEW BEST:: SOT 17007557 SOS 10900047 HAS SOPS 10900047 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448229.047
AT ITER 4230 NEW BEST:: SOT 17007557 SOS 10893937 HAS SOPS 10893937 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448222.937
AT ITER 4231 NEW BEST:: SOT 17007557 SOS 10890759 HAS SOPS 10890759 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448219.759
AT ITER 4245 NEW BEST:: SOT 17007557 SOS 10889533 HAS SOPS 10889533 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448218.533
AT ITER 4247 NEW BEST:: SOT 17007557 SOS 10879101 HAS SOPS 10879101 HAS SOUS 8437329 HAS SOUPS 8437329 WITH SCORE 8448208.101
AT ITER 4257 NEW BEST:: SOT 17007557 SOS 10864193 HAS SOPS 10864193 HAS SOUS 8437086 HAS SOUPS 8437086 WITH SCORE 8447950.193
AT ITER 4269 NEW BEST:: SOT 17007557 SOS 10864055 HAS SOPS 10864055 HAS SOUS 8437086 HAS SOUPS 8437086 WITH SCORE 8447950.055
AT ITER 4270 NEW BEST:: SOT 17007557 SOS 10846005 HAS SOPS 10846005 HAS SOUS 8437086 HAS SOUPS 8437086 WITH SCORE 8447932.005
AT ITER 4280 NEW BEST:: SOT 17007557 SOS 10844936 HAS SOPS 10844936 HAS SOUS 8437071 HAS SOUPS 8437071 WITH SCORE 8447915.936
AT ITER 4283 NEW BEST:: SOT 17007557 SOS 10844555 HAS SOPS 10844555 HAS SOUS 8437071 HAS SOUPS 8437071 WITH SCORE 8447915.555
AT ITER 4286 NEW BEST:: SOT 17007557 SOS 10844320 HAS SOPS 10844320 HAS SOUS 8437071 HAS SOUPS 8437071 WITH SCORE 8447915.32
AT ITER 4293 NEW BEST:: SOT 17007323 SOS 10849801 HAS SOPS 10849801 HAS SOUS 8437051 HAS SOUPS 8437051 WITH SCORE 8447900.801
AT ITER 4306 NEW BEST:: SOT 17007323 SOS 10847438 HAS SOPS 10847438 HAS SOUS 8437051 HAS SOUPS 8437051 WITH SCORE 8447898.438
AT ITER 4312 NEW BEST:: SOT 17007323 SOS 10846809 HAS SOPS 10846809 HAS SOUS 8437051 HAS SOUPS 8437051 WITH SCORE 8447897.809
AT ITER 4316 NEW BEST:: SOT 17006553 SOS 10846094 HAS SOPS 10846094 HAS SOUS 8436336 HAS SOUPS 8436336 WITH SCORE 8447182.094
AT ITER 4318 NEW BEST:: SOT 17005063 SOS 10846329 HAS SOPS 10846329 HAS SOUS 8435322 HAS SOUPS 8435322 WITH SCORE 8446168.329
AT ITER 4327 NEW BEST:: SOT 17005063 SOS 10832112 HAS SOPS 10832112 HAS SOUS 8435322 HAS SOUPS 8435322 WITH SCORE 8446154.112
AT ITER 4330 NEW BEST:: SOT 17005188 SOS 10830529 HAS SOPS 10830529 HAS SOUS 8433620 HAS SOUPS 8433620 WITH SCORE 8444450.529
AT ITER 4333 NEW BEST:: SOT 17005156 SOS 10830760 HAS SOPS 10830760 HAS SOUS 8433545 HAS SOUPS 8433545 WITH SCORE 8444375.76
AT ITER 4343 NEW BEST:: SOT 17005156 SOS 10827976 HAS SOPS 10827976 HAS SOUS 8433545 HAS SOUPS 8433545 WITH SCORE 8444372.976
AT ITER 4347 NEW BEST:: SOT 17005156 SOS 10827378 HAS SOPS 10827378 HAS SOUS 8433545 HAS SOUPS 8433545 WITH SCORE 8444372.378
AT ITER 4349 NEW BEST:: SOT 17005623 SOS 10829028 HAS SOPS 10829028 HAS SOUS 8433440 HAS SOUPS 8433440 WITH SCORE 8444269.028
AT ITER 4351 NEW BEST:: SOT 17005623 SOS 10827413 HAS SOPS 10827413 HAS SOUS 8433440 HAS SOUPS 8433440 WITH SCORE 8444267.413
AT ITER 4358 NEW BEST:: SOT 17005589 SOS 10827277 HAS SOPS 10827277 HAS SOUS 8433406 HAS SOUPS 8433406 WITH SCORE 8444233.277
AT ITER 4360 NEW BEST:: SOT 17005962 SOS 10826499 HAS SOPS 10826499 HAS SOUS 8432978 HAS SOUPS 8432978 WITH SCORE 8443804.499
AT ITER 4363 NEW BEST:: SOT 17005962 SOS 10825891 HAS SOPS 10825891 HAS SOUS 8432978 HAS SOUPS 8432978 WITH SCORE 8443803.891
AT ITER 4365 NEW BEST:: SOT 17005962 SOS 10825772 HAS SOPS 10825772 HAS SOUS 8432978 HAS SOUPS 8432978 WITH SCORE 8443803.772
AT ITER 4370 NEW BEST:: SOT 17003713 SOS 10825095 HAS SOPS 10825095 HAS SOUS 8430972 HAS SOUPS 8430972 WITH SCORE 8441797.095
AT ITER 4374 NEW BEST:: SOT 17003713 SOS 10824655 HAS SOPS 10824655 HAS SOUS 8430972 HAS SOUPS 8430972 WITH SCORE 8441796.655
AT ITER 4388 NEW BEST:: SOT 17002415 SOS 10824105 HAS SOPS 10824105 HAS SOUS 8430687 HAS SOUPS 8430687 WITH SCORE 8441511.105
AT ITER 4389 NEW BEST:: SOT 17002415 SOS 10823393 HAS SOPS 10823393 HAS SOUS 8430687 HAS SOUPS 8430687 WITH SCORE 8441510.393
AT ITER 4393 NEW BEST:: SOT 17002236 SOS 10821519 HAS SOPS 10821519 HAS SOUS 8430013 HAS SOUPS 8430013 WITH SCORE 8440834.519
AT ITER 4403 NEW BEST:: SOT 17002717 SOS 10822000 HAS SOPS 10822000 HAS SOUS 8429874 HAS SOUPS 8429874 WITH SCORE 8440696.0
AT ITER 4415 NEW BEST:: SOT 17002717 SOS 10820980 HAS SOPS 10820980 HAS SOUS 8429874 HAS SOUPS 8429874 WITH SCORE 8440694.98
AT ITER 4424 NEW BEST:: SOT 17002717 SOS 10820976 HAS SOPS 10820976 HAS SOUS 8429874 HAS SOUPS 8429874 WITH SCORE 8440694.976
AT ITER 4434 NEW BEST:: SOT 17002717 SOS 10823623 HAS SOPS 10823623 HAS SOUS 8429740 HAS SOUPS 8429740 WITH SCORE 8440563.623
AT ITER 4463 NEW BEST:: SOT 17002717 SOS 10822717 HAS SOPS 10822717 HAS SOUS 8429740 HAS SOUPS 8429740 WITH SCORE 8440562.717
AT ITER 4469 NEW BEST:: SOT 17002717 SOS 10822717 HAS SOPS 10822717 HAS SOUS 8429729 HAS SOUPS 8429729 WITH SCORE 8440551.717
AT ITER 4471 NEW BEST:: SOT 17002717 SOS 10821739 HAS SOPS 10821739 HAS SOUS 8429729 HAS SOUPS 8429729 WITH SCORE 8440550.739
AT ITER 4473 NEW BEST:: SOT 17002717 SOS 10822409 HAS SOPS 10822409 HAS SOUS 8429416 HAS SOUPS 8429416 WITH SCORE 8440238.409
AT ITER 4477 NEW BEST:: SOT 17002717 SOS 10821479 HAS SOPS 10821479 HAS SOUS 8429414 HAS SOUPS 8429414 WITH SCORE 8440235.479
AT ITER 4482 NEW BEST:: SOT 17002717 SOS 10808543 HAS SOPS 10808543 HAS SOUS 8429414 HAS SOUPS 8429414 WITH SCORE 8440222.543
AT ITER 4495 NEW BEST:: SOT 17001914 SOS 10807755 HAS SOPS 10807755 HAS SOUS 8429265 HAS SOUPS 8429265 WITH SCORE 8440072.755
AT ITER 4505 NEW BEST:: SOT 17001914 SOS 10807755 HAS SOPS 10807755 HAS SOUS 8429190 HAS SOUPS 8429190 WITH SCORE 8439997.755
AT ITER 4508 NEW BEST:: SOT 17001914 SOS 10807523 HAS SOPS 10807523 HAS SOUS 8429190 HAS SOUPS 8429190 WITH SCORE 8439997.523
AT ITER 4514 NEW BEST:: SOT 17001914 SOS 10805617 HAS SOPS 10805617 HAS SOUS 8429190 HAS SOUPS 8429190 WITH SCORE 8439995.617
AT ITER 4521 NEW BEST:: SOT 17001914 SOS 10804417 HAS SOPS 10804417 HAS SOUS 8429190 HAS SOUPS 8429190 WITH SCORE 8439994.417
AT ITER 4523 NEW BEST:: SOT 17001914 SOS 10803746 HAS SOPS 10803746 HAS SOUS 8429190 HAS SOUPS 8429190 WITH SCORE 8439993.746
AT ITER 4527 NEW BEST:: SOT 17001914 SOS 10802731 HAS SOPS 10802731 HAS SOUS 8429190 HAS SOUPS 8429190 WITH SCORE 8439992.731
AT ITER 4532 NEW BEST:: SOT 17001914 SOS 10801936 HAS SOPS 10801936 HAS SOUS 8429190 HAS SOUPS 8429190 WITH SCORE 8439991.936
AT ITER 4536 NEW BEST:: SOT 17001914 SOS 10801354 HAS SOPS 10801354 HAS SOUS 8429190 HAS SOUPS 8429190 WITH SCORE 8439991.354
AT ITER 4540 NEW BEST:: SOT 17001830 SOS 10801270 HAS SOPS 10801270 HAS SOUS 8429106 HAS SOUPS 8429106 WITH SCORE 8439907.27
AT ITER 4541 NEW BEST:: SOT 17001830 SOS 10799052 HAS SOPS 10799052 HAS SOUS 8429106 HAS SOUPS 8429106 WITH SCORE 8439905.052
AT ITER 4542 NEW BEST:: SOT 17001830 SOS 10794342 HAS SOPS 10794342 HAS SOUS 8429106 HAS SOUPS 8429106 WITH SCORE 8439900.342
AT ITER 4549 NEW BEST:: SOT 17001830 SOS 10793581 HAS SOPS 10793581 HAS SOUS 8429106 HAS SOUPS 8429106 WITH SCORE 8439899.581
AT ITER 4552 NEW BEST:: SOT 17001830 SOS 10793507 HAS SOPS 10793507 HAS SOUS 8427211 HAS SOUPS 8427211 WITH SCORE 8438004.507
AT ITER 4553 NEW BEST:: SOT 17001830 SOS 10781619 HAS SOPS 10781619 HAS SOUS 8427145 HAS SOUPS 8427145 WITH SCORE 8437926.619
AT ITER 4554 NEW BEST:: SOT 17001830 SOS 10781533 HAS SOPS 10781533 HAS SOUS 8427145 HAS SOUPS 8427145 WITH SCORE 8437926.533
AT ITER 4561 NEW BEST:: SOT 17001625 SOS 10781738 HAS SOPS 10781738 HAS SOUS 8426940 HAS SOUPS 8426940 WITH SCORE 8437721.738
AT ITER 4565 NEW BEST:: SOT 17001625 SOS 10781707 HAS SOPS 10781707 HAS SOUS 8426940 HAS SOUPS 8426940 WITH SCORE 8437721.707
AT ITER 4568 NEW BEST:: SOT 17001625 SOS 10780960 HAS SOPS 10780960 HAS SOUS 8426940 HAS SOUPS 8426940 WITH SCORE 8437720.96
AT ITER 4570 NEW BEST:: SOT 17001625 SOS 10779718 HAS SOPS 10779718 HAS SOUS 8426940 HAS SOUPS 8426940 WITH SCORE 8437719.718
AT ITER 4580 NEW BEST:: SOT 17001625 SOS 10780617 HAS SOPS 10780617 HAS SOUS 8426861 HAS SOUPS 8426861 WITH SCORE 8437641.617
AT ITER 4581 NEW BEST:: SOT 17001625 SOS 10764125 HAS SOPS 10764125 HAS SOUS 8426861 HAS SOUPS 8426861 WITH SCORE 8437625.125
AT ITER 4583 NEW BEST:: SOT 17001625 SOS 10763807 HAS SOPS 10763807 HAS SOUS 8426861 HAS SOUPS 8426861 WITH SCORE 8437624.807
AT ITER 4592 NEW BEST:: SOT 17001625 SOS 10762196 HAS SOPS 10762196 HAS SOUS 8426861 HAS SOUPS 8426861 WITH SCORE 8437623.196
AT ITER 4601 NEW BEST:: SOT 17001625 SOS 10761878 HAS SOPS 10761878 HAS SOUS 8426861 HAS SOUPS 8426861 WITH SCORE 8437622.878
AT ITER 4605 NEW BEST:: SOT 17001625 SOS 10757225 HAS SOPS 10757225 HAS SOUS 8426722 HAS SOUPS 8426722 WITH SCORE 8437479.225
AT ITER 4606 NEW BEST:: SOT 17001800 SOS 10757697 HAS SOPS 10757697 HAS SOUS 8426680 HAS SOUPS 8426680 WITH SCORE 8437437.697
AT ITER 4608 NEW BEST:: SOT 17001800 SOS 10756128 HAS SOPS 10756128 HAS SOUS 8426680 HAS SOUPS 8426680 WITH SCORE 8437436.128
AT ITER 4610 NEW BEST:: SOT 17001800 SOS 10755871 HAS SOPS 10755871 HAS SOUS 8426680 HAS SOUPS 8426680 WITH SCORE 8437435.871
AT ITER 4618 NEW BEST:: SOT 17001800 SOS 10755755 HAS SOPS 10755755 HAS SOUS 8426680 HAS SOUPS 8426680 WITH SCORE 8437435.755
AT ITER 4620 NEW BEST:: SOT 17001800 SOS 10755490 HAS SOPS 10755490 HAS SOUS 8426680 HAS SOUPS 8426680 WITH SCORE 8437435.49
AT ITER 4626 NEW BEST:: SOT 17001800 SOS 10755253 HAS SOPS 10755253 HAS SOUS 8426680 HAS SOUPS 8426680 WITH SCORE 8437435.253
AT ITER 4629 NEW BEST:: SOT 16997318 SOS 10751704 HAS SOPS 10751704 HAS SOUS 8426086 HAS SOUPS 8426086 WITH SCORE 8436837.704
AT ITER 4632 NEW BEST:: SOT 16997318 SOS 10751145 HAS SOPS 10751145 HAS SOUS 8426086 HAS SOUPS 8426086 WITH SCORE 8436837.145
AT ITER 4634 NEW BEST:: SOT 16997318 SOS 10752076 HAS SOPS 10752076 HAS SOUS 8426056 HAS SOUPS 8426056 WITH SCORE 8436808.076
AT ITER 4635 NEW BEST:: SOT 16997318 SOS 10721149 HAS SOPS 10721149 HAS SOUS 8425836 HAS SOUPS 8425836 WITH SCORE 8436557.149
AT ITER 4636 NEW BEST:: SOT 16997318 SOS 10720837 HAS SOPS 10720837 HAS SOUS 8425836 HAS SOUPS 8425836 WITH SCORE 8436556.837
AT ITER 4637 NEW BEST:: SOT 16997318 SOS 10720837 HAS SOPS 10720837 HAS SOUS 8425778 HAS SOUPS 8425778 WITH SCORE 8436498.837
AT ITER 4638 NEW BEST:: SOT 16997318 SOS 10720634 HAS SOPS 10720634 HAS SOUS 8425778 HAS SOUPS 8425778 WITH SCORE 8436498.634
AT ITER 4642 NEW BEST:: SOT 16997318 SOS 10720141 HAS SOPS 10720141 HAS SOUS 8425778 HAS SOUPS 8425778 WITH SCORE 8436498.141
AT ITER 4647 NEW BEST:: SOT 16997318 SOS 10719877 HAS SOPS 10719877 HAS SOUS 8425778 HAS SOUPS 8425778 WITH SCORE 8436497.877
AT ITER 4652 NEW BEST:: SOT 16997318 SOS 10719877 HAS SOPS 10719877 HAS SOUS 8425692 HAS SOUPS 8425692 WITH SCORE 8436411.877
AT ITER 4654 NEW BEST:: SOT 16997318 SOS 10719698 HAS SOPS 10719698 HAS SOUS 8425692 HAS SOUPS 8425692 WITH SCORE 8436411.698
AT ITER 4657 NEW BEST:: SOT 16997318 SOS 10719621 HAS SOPS 10719621 HAS SOUS 8425692 HAS SOUPS 8425692 WITH SCORE 8436411.621
AT ITER 4659 NEW BEST:: SOT 16997373 SOS 10718980 HAS SOPS 10718980 HAS SOUS 8425393 HAS SOUPS 8425393 WITH SCORE 8436111.98
AT ITER 4663 NEW BEST:: SOT 16996552 SOS 10717573 HAS SOPS 10717573 HAS SOUS 8423963 HAS SOUPS 8423963 WITH SCORE 8434680.573
AT ITER 4666 NEW BEST:: SOT 16996552 SOS 10717210 HAS SOPS 10717210 HAS SOUS 8423963 HAS SOUPS 8423963 WITH SCORE 8434680.21
AT ITER 4676 NEW BEST:: SOT 16996552 SOS 10716785 HAS SOPS 10716785 HAS SOUS 8423963 HAS SOUPS 8423963 WITH SCORE 8434679.785
AT ITER 4681 NEW BEST:: SOT 16996552 SOS 10715924 HAS SOPS 10715924 HAS SOUS 8423963 HAS SOUPS 8423963 WITH SCORE 8434678.924
AT ITER 4685 NEW BEST:: SOT 16996552 SOS 10715646 HAS SOPS 10715646 HAS SOUS 8423963 HAS SOUPS 8423963 WITH SCORE 8434678.646
AT ITER 4686 NEW BEST:: SOT 16996552 SOS 10715607 HAS SOPS 10715607 HAS SOUS 8423963 HAS SOUPS 8423963 WITH SCORE 8434678.607
AT ITER 4698 NEW BEST:: SOT 16996552 SOS 10715067 HAS SOPS 10715067 HAS SOUS 8423963 HAS SOUPS 8423963 WITH SCORE 8434678.067
AT ITER 4701 NEW BEST:: SOT 16996441 SOS 10715240 HAS SOPS 10715240 HAS SOUS 8423940 HAS SOUPS 8423940 WITH SCORE 8434655.24
AT ITER 4709 NEW BEST:: SOT 16996441 SOS 10714350 HAS SOPS 10714350 HAS SOUS 8423940 HAS SOUPS 8423940 WITH SCORE 8434654.35
AT ITER 4712 NEW BEST:: SOT 16996441 SOS 10714491 HAS SOPS 10714491 HAS SOUS 8423631 HAS SOUPS 8423631 WITH SCORE 8434345.491
AT ITER 4716 NEW BEST:: SOT 16996441 SOS 10713971 HAS SOPS 10713971 HAS SOUS 8423631 HAS SOUPS 8423631 WITH SCORE 8434344.971
AT ITER 4718 NEW BEST:: SOT 16991809 SOS 10709954 HAS SOPS 10709954 HAS SOUS 8419469 HAS SOUPS 8419469 WITH SCORE 8430178.954
AT ITER 4720 NEW BEST:: SOT 16990319 SOS 10709259 HAS SOPS 10709259 HAS SOUS 8418888 HAS SOUPS 8418888 WITH SCORE 8429597.259
AT ITER 4726 NEW BEST:: SOT 16990319 SOS 10707398 HAS SOPS 10707398 HAS SOUS 8418888 HAS SOUPS 8418888 WITH SCORE 8429595.398
AT ITER 4728 NEW BEST:: SOT 16985993 SOS 10707711 HAS SOPS 10707711 HAS SOUS 8418847 HAS SOUPS 8418847 WITH SCORE 8429554.711
AT ITER 4729 NEW BEST:: SOT 16985993 SOS 10707534 HAS SOPS 10707534 HAS SOUS 8418847 HAS SOUPS 8418847 WITH SCORE 8429554.534
AT ITER 4730 NEW BEST:: SOT 16985993 SOS 10706642 HAS SOPS 10706642 HAS SOUS 8418847 HAS SOUPS 8418847 WITH SCORE 8429553.642
AT ITER 4731 NEW BEST:: SOT 16985993 SOS 10700866 HAS SOPS 10700866 HAS SOUS 8418847 HAS SOUPS 8418847 WITH SCORE 8429547.866
AT ITER 4733 NEW BEST:: SOT 16985993 SOS 10700819 HAS SOPS 10700819 HAS SOUS 8418622 HAS SOUPS 8418622 WITH SCORE 8429322.819
AT ITER 4735 NEW BEST:: SOT 16985229 SOS 10700309 HAS SOPS 10700309 HAS SOUS 8418161 HAS SOUPS 8418161 WITH SCORE 8428861.309
AT ITER 4737 NEW BEST:: SOT 16985229 SOS 10699694 HAS SOPS 10699694 HAS SOUS 8418161 HAS SOUPS 8418161 WITH SCORE 8428860.694
AT ITER 4745 NEW BEST:: SOT 16985229 SOS 10698768 HAS SOPS 10698768 HAS SOUS 8418161 HAS SOUPS 8418161 WITH SCORE 8428859.768
AT ITER 4748 NEW BEST:: SOT 16984313 SOS 10697852 HAS SOPS 10697852 HAS SOUS 8416660 HAS SOUPS 8416660 WITH SCORE 8427357.852
AT ITER 4750 NEW BEST:: SOT 16984313 SOS 10697295 HAS SOPS 10697295 HAS SOUS 8416660 HAS SOUPS 8416660 WITH SCORE 8427357.295
AT ITER 4758 NEW BEST:: SOT 16984313 SOS 10696374 HAS SOPS 10696374 HAS SOUS 8416660 HAS SOUPS 8416660 WITH SCORE 8427356.374
AT ITER 4762 NEW BEST:: SOT 16984563 SOS 10696410 HAS SOPS 10696410 HAS SOUS 8416401 HAS SOUPS 8416401 WITH SCORE 8427097.41
AT ITER 4774 NEW BEST:: SOT 16984563 SOS 10696348 HAS SOPS 10696348 HAS SOUS 8416339 HAS SOUPS 8416339 WITH SCORE 8427035.348
AT ITER 4780 NEW BEST:: SOT 16984563 SOS 10696003 HAS SOPS 10696003 HAS SOUS 8416339 HAS SOUPS 8416339 WITH SCORE 8427035.003
AT ITER 4788 NEW BEST:: SOT 16984724 SOS 10694619 HAS SOPS 10694619 HAS SOUS 8416011 HAS SOUPS 8416011 WITH SCORE 8426705.619
AT ITER 4794 NEW BEST:: SOT 16984679 SOS 10692969 HAS SOPS 10692969 HAS SOUS 8415710 HAS SOUPS 8415710 WITH SCORE 8426402.969
AT ITER 4803 NEW BEST:: SOT 16984657 SOS 10692412 HAS SOPS 10692412 HAS SOUS 8415681 HAS SOUPS 8415681 WITH SCORE 8426373.412
AT ITER 4804 NEW BEST:: SOT 16984657 SOS 10692302 HAS SOPS 10692302 HAS SOUS 8415681 HAS SOUPS 8415681 WITH SCORE 8426373.302
AT ITER 4806 NEW BEST:: SOT 16984656 SOS 10691287 HAS SOPS 10691287 HAS SOUS 8415444 HAS SOUPS 8415444 WITH SCORE 8426135.287
AT ITER 4817 NEW BEST:: SOT 16984656 SOS 10690853 HAS SOPS 10690853 HAS SOUS 8415429 HAS SOUPS 8415429 WITH SCORE 8426119.853
AT ITER 4826 NEW BEST:: SOT 16984656 SOS 10688815 HAS SOPS 10688815 HAS SOUS 8415429 HAS SOUPS 8415429 WITH SCORE 8426117.815
AT ITER 4841 NEW BEST:: SOT 16984656 SOS 10687745 HAS SOPS 10687745 HAS SOUS 8415429 HAS SOUPS 8415429 WITH SCORE 8426116.745
AT ITER 4843 NEW BEST:: SOT 16979523 SOS 10685131 HAS SOPS 10685131 HAS SOUS 8412814 HAS SOUPS 8412814 WITH SCORE 8423499.131
AT ITER 4850 NEW BEST:: SOT 16979851 SOS 10684029 HAS SOPS 10684029 HAS SOUS 8412046 HAS SOUPS 8412046 WITH SCORE 8422730.029
AT ITER 4855 NEW BEST:: SOT 16979851 SOS 10683614 HAS SOPS 10683614 HAS SOUS 8412046 HAS SOUPS 8412046 WITH SCORE 8422729.614
AT ITER 4856 NEW BEST:: SOT 16979851 SOS 10683348 HAS SOPS 10683348 HAS SOUS 8412046 HAS SOUPS 8412046 WITH SCORE 8422729.348
AT ITER 4861 NEW BEST:: SOT 16979851 SOS 10682717 HAS SOPS 10682717 HAS SOUS 8412046 HAS SOUPS 8412046 WITH SCORE 8422728.717
AT ITER 4869 NEW BEST:: SOT 16979851 SOS 10670396 HAS SOPS 10670396 HAS SOUS 8411986 HAS SOUPS 8411986 WITH SCORE 8422656.396
AT ITER 4871 NEW BEST:: SOT 16979851 SOS 10670345 HAS SOPS 10670345 HAS SOUS 8411935 HAS SOUPS 8411935 WITH SCORE 8422605.345
AT ITER 4874 NEW BEST:: SOT 16979476 SOS 10670041 HAS SOPS 10670041 HAS SOUS 8411683 HAS SOUPS 8411683 WITH SCORE 8422353.041
AT ITER 4883 NEW BEST:: SOT 16979476 SOS 10670041 HAS SOPS 10670041 HAS SOUS 8411681 HAS SOUPS 8411681 WITH SCORE 8422351.041
AT ITER 4888 NEW BEST:: SOT 16979476 SOS 10669572 HAS SOPS 10669572 HAS SOUS 8411681 HAS SOUPS 8411681 WITH SCORE 8422350.572
AT ITER 4890 NEW BEST:: SOT 16979476 SOS 10668523 HAS SOPS 10668523 HAS SOUS 8411681 HAS SOUPS 8411681 WITH SCORE 8422349.523
AT ITER 4892 NEW BEST:: SOT 16978844 SOS 10668049 HAS SOPS 10668049 HAS SOUS 8411177 HAS SOUPS 8411177 WITH SCORE 8421845.049
AT ITER 4893 NEW BEST:: SOT 16978844 SOS 10669726 HAS SOPS 10669726 HAS SOUS 8410952 HAS SOUPS 8410952 WITH SCORE 8421621.726
AT ITER 4894 NEW BEST:: SOT 16978806 SOS 10669650 HAS SOPS 10669650 HAS SOUS 8410914 HAS SOUPS 8410914 WITH SCORE 8421583.65
AT ITER 4897 NEW BEST:: SOT 16978806 SOS 10655380 HAS SOPS 10655380 HAS SOUS 8410914 HAS SOUPS 8410914 WITH SCORE 8421569.38
AT ITER 4907 NEW BEST:: SOT 16978806 SOS 10655253 HAS SOPS 10655253 HAS SOUS 8410914 HAS SOUPS 8410914 WITH SCORE 8421569.253
AT ITER 4928 NEW BEST:: SOT 16976921 SOS 10653849 HAS SOPS 10653849 HAS SOUS 8409334 HAS SOUPS 8409334 WITH SCORE 8419987.849
AT ITER 4930 NEW BEST:: SOT 16976921 SOS 10652271 HAS SOPS 10652271 HAS SOUS 8409334 HAS SOUPS 8409334 WITH SCORE 8419986.271
AT ITER 4933 NEW BEST:: SOT 16976921 SOS 10651554 HAS SOPS 10651554 HAS SOUS 8408901 HAS SOUPS 8408901 WITH SCORE 8419552.554
AT ITER 4939 NEW BEST:: SOT 16976921 SOS 10644794 HAS SOPS 10644794 HAS SOUS 8408901 HAS SOUPS 8408901 WITH SCORE 8419545.794
AT ITER 4945 NEW BEST:: SOT 16976921 SOS 10644705 HAS SOPS 10644705 HAS SOUS 8408901 HAS SOUPS 8408901 WITH SCORE 8419545.705
AT ITER 4948 NEW BEST:: SOT 16976921 SOS 10644105 HAS SOPS 10644105 HAS SOUS 8408901 HAS SOUPS 8408901 WITH SCORE 8419545.105
AT ITER 4950 NEW BEST:: SOT 16976921 SOS 10642701 HAS SOPS 10642701 HAS SOUS 8408445 HAS SOUPS 8408445 WITH SCORE 8419087.701
AT ITER 4958 NEW BEST:: SOT 16976921 SOS 10635654 HAS SOPS 10635654 HAS SOUS 8408445 HAS SOUPS 8408445 WITH SCORE 8419080.654
AT ITER 4964 NEW BEST:: SOT 16976396 SOS 10636053 HAS SOPS 10636053 HAS SOUS 8408275 HAS SOUPS 8408275 WITH SCORE 8418911.053
AT ITER 4971 NEW BEST:: SOT 16976396 SOS 10622965 HAS SOPS 10622965 HAS SOUS 8408275 HAS SOUPS 8408275 WITH SCORE 8418897.965
AT ITER 4975 NEW BEST:: SOT 16976396 SOS 10622125 HAS SOPS 10622125 HAS SOUS 8408275 HAS SOUPS 8408275 WITH SCORE 8418897.125
AT ITER 4978 NEW BEST:: SOT 16976396 SOS 10618920 HAS SOPS 10618920 HAS SOUS 8408095 HAS SOUPS 8408095 WITH SCORE 8418713.92
AT ITER 4981 NEW BEST:: SOT 16975651 SOS 10618764 HAS SOPS 10618764 HAS SOUS 8407764 HAS SOUPS 8407764 WITH SCORE 8418382.764
AT ITER 4988 NEW BEST:: SOT 16975651 SOS 10607286 HAS SOPS 10607286 HAS SOUS 8407764 HAS SOUPS 8407764 WITH SCORE 8418371.286
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-BN16-CTLCardinality-00 (EF(( potential( (tk(P2968)) <= (tk(P1934)) ) & (EG( potential( (tk(P1048)) <= (tk(P2060)) ))) )))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-01 (AU( ( ( potential( ( 2 ) <= (tk(P1295)) ) & potential( (tk(P1141)) <= (tk(P2870)) ) ) | (! potential( ( 3 ) <= (tk(P3610)) )) ),(! ( potential( (tk(P688)) <= (tk(P2551)) ) | potential( (tk(P1121)) <= (tk(P2923)) ) )) ))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-02 ( (AG( ( (! potential( (tk(P2693)) <= (tk(P2252)) )) | (! potential( ( 3 ) <= (tk(P2664)) )) ))) & ( ( (! ( potential( (tk(P312)) <= (tk(P4520)) ) & potential( ( 1 ) <= (tk(P2653)) ) )) & (AF(potential( (tk(P1946)) <= (tk(P2923)) ))) ) | potential( (tk(P1061)) <= (tk(P2052)) ) ) )
PROPERTY: Sudoku-PT-BN16-CTLCardinality-03 ( ( (AX( ( potential( ( 1 ) <= (tk(P1020)) ) | potential( (tk(P3585)) <= (tk(P2192)) ) ))) & ( ( potential( ( 1 ) <= (tk(P3774)) ) | ( potential( (tk(P851)) <= (tk(P4891)) ) & potential( ( 3 ) <= (tk(P4935)) ) ) ) | (! (! potential( (tk(P4266)) <= (tk(P334)) ))) ) ) & ( (EG( potential( (tk(P632)) <= (tk(P1509)) ))) & (AF(( potential( (tk(P4772)) <= (tk(P3543)) ) | potential( ( 2 ) <= (tk(P4871)) ) ))) ) )
PROPERTY: Sudoku-PT-BN16-CTLCardinality-04 (EF(( ( potential( ( 1 ) <= (tk(P590)) ) | potential( ( 1 ) <= (tk(P2199)) ) ) & (AG( potential( (tk(P2192)) <= (tk(P2029)) ))) )))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-05 (EG( ( (AF(potential( (tk(P2074)) <= (tk(P3330)) ))) & potential( (tk(P1748)) <= (tk(P2918)) ) )))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-06 ( ( (EX( potential( (tk(P2445)) <= (tk(P261)) ))) | (! ( ( potential( (tk(P777)) <= (tk(P1368)) ) | potential( (tk(P4810)) <= (tk(P3408)) ) ) & potential( ( 2 ) <= (tk(P1169)) ) )) ) & (EG( ( ( potential( ( 1 ) <= (tk(P2364)) ) | potential( ( 1 ) <= (tk(P4685)) ) ) | (! potential( ( 3 ) <= (tk(P1128)) )) ))) )
PROPERTY: Sudoku-PT-BN16-CTLCardinality-07 (EX( potential( ( 3 ) <= (tk(P1034)) )))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-08 (AF((AU( potential( ( 1 ) <= (tk(P1336)) ),potential( ( 2 ) <= (tk(P2456)) ) ))))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-09 (! (EX( ( ( potential( ( 3 ) <= (tk(P223)) ) & potential( (tk(P2074)) <= (tk(P1581)) ) ) & ( potential( (tk(P54)) <= (tk(P3495)) ) & potential( ( 3 ) <= (tk(P851)) ) ) ))))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-10 ( (AG( (EF(potential( (tk(P4627)) <= (tk(P825)) ))))) | (! (! (EG( potential( (tk(P778)) <= (tk(P2588)) ))))) )
PROPERTY: Sudoku-PT-BN16-CTLCardinality-11 (EX( ( ( (! potential( (tk(P3678)) <= (tk(P1516)) )) | ( potential( ( 1 ) <= (tk(P2278)) ) & potential( (tk(P2100)) <= (tk(P1820)) ) ) ) & ( (! potential( ( 2 ) <= (tk(P3187)) )) & ( potential( ( 2 ) <= (tk(P4354)) ) & potential( (tk(P4856)) <= (tk(P4627)) ) ) ) )))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-12 (AX( ( potential( ( 1 ) <= (tk(P4436)) ) | potential( (tk(P1533)) <= (tk(P4536)) ) )))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-13 (EX( (EX( ( potential( (tk(P4880)) <= (tk(P129)) ) & potential( ( 1 ) <= (tk(P1542)) ) )))))
PROPERTY: Sudoku-PT-BN16-CTLCardinality-14 ( potential( ( 1 ) <= (tk(P1991)) ) | ( (EX( ( potential( (tk(P1661)) <= (tk(P504)) ) | potential( (tk(P3178)) <= (tk(P1509)) ) ))) & (! (EX( potential( ( 2 ) <= (tk(P3925)) )))) ) )
PROPERTY: Sudoku-PT-BN16-CTLCardinality-15 (EX( (EU( potential( (tk(P3788)) <= (tk(P4662)) ),potential( ( 3 ) <= (tk(P4859)) ) ))))

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-BN16"
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-BN16, 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-159033538800467"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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