fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897679500092
Last Updated
Jun 28, 2020

About the Execution of smart for BART-PT-020

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15741.830 3600000.00 3594181.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.0M
-rw-r--r-- 1 mcc users 4.5K Apr 15 13:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 15 13:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 15 13:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 15 13:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 439K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 764K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.9M Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Apr 15 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 15 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 15 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 15 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 4.8M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BART-PT-020-CTLFireability-00
FORMULA_NAME BART-PT-020-CTLFireability-01
FORMULA_NAME BART-PT-020-CTLFireability-02
FORMULA_NAME BART-PT-020-CTLFireability-03
FORMULA_NAME BART-PT-020-CTLFireability-04
FORMULA_NAME BART-PT-020-CTLFireability-05
FORMULA_NAME BART-PT-020-CTLFireability-06
FORMULA_NAME BART-PT-020-CTLFireability-07
FORMULA_NAME BART-PT-020-CTLFireability-08
FORMULA_NAME BART-PT-020-CTLFireability-09
FORMULA_NAME BART-PT-020-CTLFireability-10
FORMULA_NAME BART-PT-020-CTLFireability-11
FORMULA_NAME BART-PT-020-CTLFireability-12
FORMULA_NAME BART-PT-020-CTLFireability-13
FORMULA_NAME BART-PT-020-CTLFireability-14
FORMULA_NAME BART-PT-020-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589012465090

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 020
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2850 places, 4040 transitions, 32400 arcs.
AT ITER 0 NEW BEST:: SOT 8290762 SOS 5442114 HAS SOPS 4167025 HAS SOUS 3780825 HAS SOUPS 3680955 WITH SCORE 3686397.114
AT ITER 3 NEW BEST:: SOT 8290762 SOS 5442114 HAS SOPS 4166359 HAS SOUS 3780062 HAS SOUPS 3679962 WITH SCORE 3685404.114
AT ITER 4 NEW BEST:: SOT 8290984 SOS 5442557 HAS SOPS 4165757 HAS SOUS 3780660 HAS SOUPS 3679361 WITH SCORE 3684803.557
AT ITER 7 NEW BEST:: SOT 8291008 SOS 5442632 HAS SOPS 4164959 HAS SOUS 3781082 HAS SOUPS 3678564 WITH SCORE 3684006.632
AT ITER 10 NEW BEST:: SOT 8291008 SOS 5442842 HAS SOPS 4164532 HAS SOUS 3780511 HAS SOUPS 3677500 WITH SCORE 3682942.842
AT ITER 16 NEW BEST:: SOT 8291008 SOS 5442842 HAS SOPS 4164528 HAS SOUS 3780507 HAS SOUPS 3677496 WITH SCORE 3682938.842
AT ITER 20 NEW BEST:: SOT 8291008 SOS 5443475 HAS SOPS 4164330 HAS SOUS 3779735 HAS SOUPS 3676470 WITH SCORE 3681913.475
AT ITER 21 NEW BEST:: SOT 8291008 SOS 5443475 HAS SOPS 4163575 HAS SOUS 3778911 HAS SOUPS 3674916 WITH SCORE 3680359.475
AT ITER 29 NEW BEST:: SOT 8290527 SOS 5442994 HAS SOPS 4163094 HAS SOUS 3778430 HAS SOUPS 3674435 WITH SCORE 3679877.994
AT ITER 37 NEW BEST:: SOT 8290527 SOS 5441974 HAS SOPS 4163094 HAS SOUS 3778420 HAS SOUPS 3674435 WITH SCORE 3679876.974
AT ITER 42 NEW BEST:: SOT 8290980 SOS 5442760 HAS SOPS 4162947 HAS SOUS 3779532 HAS SOUPS 3674289 WITH SCORE 3679731.76
AT ITER 45 NEW BEST:: SOT 8290980 SOS 5442760 HAS SOPS 4162268 HAS SOUS 3778564 HAS SOUPS 3672933 WITH SCORE 3678375.76
AT ITER 49 NEW BEST:: SOT 8290455 SOS 5422810 HAS SOPS 4142843 HAS SOUS 3777514 HAS SOUPS 3671883 WITH SCORE 3677305.81
AT ITER 56 NEW BEST:: SOT 8290466 SOS 5422964 HAS SOPS 4142024 HAS SOUS 3777767 HAS SOUPS 3671065 WITH SCORE 3676487.964
AT ITER 59 NEW BEST:: SOT 8290767 SOS 5423487 HAS SOPS 4141657 HAS SOUS 3778795 HAS SOUPS 3670699 WITH SCORE 3676122.487
AT ITER 68 NEW BEST:: SOT 8309194 SOS 5414600 HAS SOPS 4114563 HAS SOUS 3777112 HAS SOUPS 3669016 WITH SCORE 3674430.6
AT ITER 71 NEW BEST:: SOT 8309235 SOS 5414676 HAS SOPS 4113816 HAS SOUS 3777993 HAS SOUPS 3668270 WITH SCORE 3673684.676
AT ITER 72 NEW BEST:: SOT 8309614 SOS 5415428 HAS SOPS 4113381 HAS SOUS 3778749 HAS SOUPS 3667836 WITH SCORE 3673251.428
AT ITER 75 NEW BEST:: SOT 8309614 SOS 5415428 HAS SOPS 4113160 HAS SOUS 3778801 HAS SOUPS 3667615 WITH SCORE 3673030.428
AT ITER 88 NEW BEST:: SOT 8309757 SOS 5415713 HAS SOPS 4112471 HAS SOUS 3779175 HAS SOUPS 3666927 WITH SCORE 3672342.713
AT ITER 89 NEW BEST:: SOT 8309757 SOS 5415713 HAS SOPS 4111705 HAS SOUS 3777836 HAS SOUPS 3665334 WITH SCORE 3670749.713
AT ITER 94 NEW BEST:: SOT 8309757 SOS 5415713 HAS SOPS 4111597 HAS SOUS 3777806 HAS SOUPS 3665226 WITH SCORE 3670641.713
AT ITER 96 NEW BEST:: SOT 8309698 SOS 5415595 HAS SOPS 4111479 HAS SOUS 3777688 HAS SOUPS 3665108 WITH SCORE 3670523.595
AT ITER 97 NEW BEST:: SOT 8309643 SOS 5413505 HAS SOPS 4109554 HAS SOUS 3777688 HAS SOUPS 3665108 WITH SCORE 3670521.505
AT ITER 101 NEW BEST:: SOT 8309702 SOS 5413622 HAS SOPS 4108797 HAS SOUS 3777070 HAS SOUPS 3664352 WITH SCORE 3669765.622
AT ITER 104 NEW BEST:: SOT 8309702 SOS 5413622 HAS SOPS 4108081 HAS SOUS 3775673 HAS SOUPS 3662803 WITH SCORE 3668216.622
AT ITER 107 NEW BEST:: SOT 8309702 SOS 5413622 HAS SOPS 4107385 HAS SOUS 3774834 HAS SOUPS 3661413 WITH SCORE 3666826.622
AT ITER 110 NEW BEST:: SOT 8309702 SOS 5413622 HAS SOPS 4107381 HAS SOUS 3774916 HAS SOUPS 3661409 WITH SCORE 3666822.622
AT ITER 111 NEW BEST:: SOT 8309638 SOS 5413558 HAS SOPS 4107317 HAS SOUS 3774852 HAS SOUPS 3661345 WITH SCORE 3666758.558
AT ITER 113 NEW BEST:: SOT 8309254 SOS 5413174 HAS SOPS 4106164 HAS SOUS 3774084 HAS SOUPS 3659809 WITH SCORE 3665222.174
AT ITER 121 NEW BEST:: SOT 8309627 SOS 5413844 HAS SOPS 4105857 HAS SOUS 3775075 HAS SOUPS 3659503 WITH SCORE 3664916.844
AT ITER 125 NEW BEST:: SOT 8309627 SOS 5413844 HAS SOPS 4105654 HAS SOUS 3774549 HAS SOUPS 3658732 WITH SCORE 3664145.844
AT ITER 128 NEW BEST:: SOT 8309627 SOS 5413844 HAS SOPS 4105401 HAS SOUS 3774549 HAS SOUPS 3658479 WITH SCORE 3663892.844
AT ITER 132 NEW BEST:: SOT 8309627 SOS 5413844 HAS SOPS 4104614 HAS SOUS 3773295 HAS SOUPS 3656907 WITH SCORE 3662320.844
AT ITER 139 NEW BEST:: SOT 8309052 SOS 5413269 HAS SOPS 4102827 HAS SOUS 3772417 HAS SOUPS 3655448 WITH SCORE 3660861.269
AT ITER 140 NEW BEST:: SOT 8309052 SOS 5413269 HAS SOPS 4102121 HAS SOUS 3771318 HAS SOUPS 3653925 WITH SCORE 3659338.269
AT ITER 152 NEW BEST:: SOT 8309052 SOS 5413269 HAS SOPS 4101735 HAS SOUS 3770101 HAS SOUPS 3652708 WITH SCORE 3658121.269
AT ITER 153 NEW BEST:: SOT 8309168 SOS 5413500 HAS SOPS 4101029 HAS SOUS 3770627 HAS SOUPS 3652003 WITH SCORE 3657416.5
AT ITER 156 NEW BEST:: SOT 8309168 SOS 5413500 HAS SOPS 4100320 HAS SOUS 3770364 HAS SOUPS 3651180 WITH SCORE 3656593.5
AT ITER 162 NEW BEST:: SOT 8309336 SOS 5414176 HAS SOPS 4099930 HAS SOUS 3770961 HAS SOUPS 3650791 WITH SCORE 3656205.176
AT ITER 175 NEW BEST:: SOT 8309336 SOS 5414176 HAS SOPS 4099370 HAS SOUS 3769900 HAS SOUPS 3649408 WITH SCORE 3654822.176
AT ITER 189 NEW BEST:: SOT 8309677 SOS 5414857 HAS SOPS 4098987 HAS SOUS 3769518 HAS SOUPS 3649026 WITH SCORE 3654440.857
AT ITER 191 NEW BEST:: SOT 8309677 SOS 5414857 HAS SOPS 4098247 HAS SOUS 3768599 HAS SOUPS 3647548 WITH SCORE 3652962.857
AT ITER 197 NEW BEST:: SOT 8309391 SOS 5414285 HAS SOPS 4097675 HAS SOUS 3768027 HAS SOUPS 3646976 WITH SCORE 3652390.285
AT ITER 203 NEW BEST:: SOT 8308601 SOS 5413495 HAS SOPS 4095304 HAS SOUS 3766447 HAS SOUPS 3643816 WITH SCORE 3649229.495
AT ITER 209 NEW BEST:: SOT 8308577 SOS 5413315 HAS SOPS 4095514 HAS SOUS 3766309 HAS SOUPS 3643756 WITH SCORE 3649169.315
AT ITER 217 NEW BEST:: SOT 8308384 SOS 5413122 HAS SOPS 4095320 HAS SOUS 3766055 HAS SOUPS 3643562 WITH SCORE 3648975.122
AT ITER 220 NEW BEST:: SOT 8308384 SOS 5413122 HAS SOPS 4095319 HAS SOUS 3765711 HAS SOUPS 3643218 WITH SCORE 3648631.122
AT ITER 222 NEW BEST:: SOT 8308384 SOS 5413122 HAS SOPS 4094855 HAS SOUS 3765132 HAS SOUPS 3642639 WITH SCORE 3648052.122
AT ITER 227 NEW BEST:: SOT 8308384 SOS 5413122 HAS SOPS 4094103 HAS SOUS 3763951 HAS SOUPS 3641137 WITH SCORE 3646550.122
AT ITER 231 NEW BEST:: SOT 8307038 SOS 5411776 HAS SOPS 4093293 HAS SOUS 3763142 HAS SOUPS 3640328 WITH SCORE 3645739.776
AT ITER 232 NEW BEST:: SOT 8307038 SOS 5411776 HAS SOPS 4093705 HAS SOUS 3762725 HAS SOUPS 3639911 WITH SCORE 3645322.776
AT ITER 240 NEW BEST:: SOT 8307062 SOS 5417040 HAS SOPS 4093251 HAS SOUS 3762741 HAS SOUPS 3639457 WITH SCORE 3644874.04
AT ITER 246 NEW BEST:: SOT 8307062 SOS 5417040 HAS SOPS 4092989 HAS SOUS 3761870 HAS SOUPS 3638366 WITH SCORE 3643783.04
AT ITER 247 NEW BEST:: SOT 8306888 SOS 5416866 HAS SOPS 4092987 HAS SOUS 3761522 HAS SOUPS 3638018 WITH SCORE 3643434.866
AT ITER 251 NEW BEST:: SOT 8305431 SOS 5415409 HAS SOPS 4092185 HAS SOUS 3760721 HAS SOUPS 3637217 WITH SCORE 3642632.409
AT ITER 252 NEW BEST:: SOT 8305455 SOS 5415691 HAS SOPS 4091383 HAS SOUS 3760084 HAS SOUPS 3636416 WITH SCORE 3641831.691
AT ITER 255 NEW BEST:: SOT 8305762 SOS 5416277 HAS SOPS 4091000 HAS SOUS 3759863 HAS SOUPS 3636034 WITH SCORE 3641450.277
AT ITER 256 NEW BEST:: SOT 8305762 SOS 5416277 HAS SOPS 4090354 HAS SOUS 3759110 HAS SOUPS 3634744 WITH SCORE 3640160.277
AT ITER 267 NEW BEST:: SOT 8305762 SOS 5416277 HAS SOPS 4090048 HAS SOUS 3758729 HAS SOUPS 3634291 WITH SCORE 3639707.277
AT ITER 268 NEW BEST:: SOT 8305814 SOS 5431449 HAS SOPS 4089681 HAS SOUS 3758740 HAS SOUPS 3633924 WITH SCORE 3639355.449
AT ITER 273 NEW BEST:: SOT 8305768 SOS 5431403 HAS SOPS 4089635 HAS SOUS 3758694 HAS SOUPS 3633878 WITH SCORE 3639309.403
AT ITER 274 NEW BEST:: SOT 8305944 SOS 5431579 HAS SOPS 4088987 HAS SOUS 3758047 HAS SOUPS 3633231 WITH SCORE 3638662.579
AT ITER 276 NEW BEST:: SOT 8307329 SOS 5446305 HAS SOPS 4089541 HAS SOUS 3759421 HAS SOUPS 3632957 WITH SCORE 3638403.305
AT ITER 280 NEW BEST:: SOT 8307329 SOS 5446305 HAS SOPS 4089129 HAS SOUS 3759441 HAS SOUPS 3632545 WITH SCORE 3637991.305
AT ITER 287 NEW BEST:: SOT 8307318 SOS 5446048 HAS SOPS 4088872 HAS SOUS 3759184 HAS SOUPS 3632288 WITH SCORE 3637734.048
AT ITER 292 NEW BEST:: SOT 8307006 SOS 5445736 HAS SOPS 4087935 HAS SOUS 3758560 HAS SOUPS 3631040 WITH SCORE 3636485.736
AT ITER 302 NEW BEST:: SOT 8307069 SOS 5445861 HAS SOPS 4087170 HAS SOUS 3757796 HAS SOUPS 3630276 WITH SCORE 3635721.861
AT ITER 304 NEW BEST:: SOT 8307069 SOS 5445861 HAS SOPS 4087002 HAS SOUS 3757763 HAS SOUPS 3630108 WITH SCORE 3635553.861
AT ITER 309 NEW BEST:: SOT 8307079 SOS 5445891 HAS SOPS 4086188 HAS SOUS 3758130 HAS SOUPS 3629295 WITH SCORE 3634740.891
AT ITER 310 NEW BEST:: SOT 8307079 SOS 5445891 HAS SOPS 4085434 HAS SOUS 3756543 HAS SOUPS 3627708 WITH SCORE 3633153.891
AT ITER 311 NEW BEST:: SOT 8307079 SOS 5445891 HAS SOPS 4084740 HAS SOUS 3755157 HAS SOUPS 3626322 WITH SCORE 3631767.891
AT ITER 317 NEW BEST:: SOT 8307096 SOS 5446848 HAS SOPS 4084710 HAS SOUS 3755196 HAS SOUPS 3626292 WITH SCORE 3631738.848
AT ITER 318 NEW BEST:: SOT 8307096 SOS 5446848 HAS SOPS 4084395 HAS SOUS 3754175 HAS SOUPS 3625166 WITH SCORE 3630612.848
AT ITER 319 NEW BEST:: SOT 8307096 SOS 5446848 HAS SOPS 4084672 HAS SOUS 3753516 HAS SOUPS 3624617 WITH SCORE 3630063.848
AT ITER 323 NEW BEST:: SOT 8307413 SOS 5447165 HAS SOPS 4084443 HAS SOUS 3753900 HAS SOUPS 3624388 WITH SCORE 3629835.165
AT ITER 326 NEW BEST:: SOT 8307413 SOS 5447165 HAS SOPS 4083756 HAS SOUS 3752532 HAS SOUPS 3622868 WITH SCORE 3628315.165
AT ITER 330 NEW BEST:: SOT 8307211 SOS 5446963 HAS SOPS 4083352 HAS SOUS 3752128 HAS SOUPS 3622464 WITH SCORE 3627910.963
AT ITER 332 NEW BEST:: SOT 8307211 SOS 5446963 HAS SOPS 4082656 HAS SOUS 3751013 HAS SOUPS 3621074 WITH SCORE 3626520.963
AT ITER 336 NEW BEST:: SOT 8307211 SOS 5468003 HAS SOPS 4082130 HAS SOUS 3751013 HAS SOUPS 3620548 WITH SCORE 3626016.003
AT ITER 340 NEW BEST:: SOT 8307211 SOS 5468003 HAS SOPS 4081591 HAS SOUS 3750475 HAS SOUPS 3620010 WITH SCORE 3625478.003
AT ITER 343 NEW BEST:: SOT 8307211 SOS 5468003 HAS SOPS 4081885 HAS SOUS 3750264 HAS SOUPS 3619799 WITH SCORE 3625267.003
AT ITER 346 NEW BEST:: SOT 8307211 SOS 5468003 HAS SOPS 4081705 HAS SOUS 3749251 HAS SOUPS 3618786 WITH SCORE 3624254.003
AT ITER 348 NEW BEST:: SOT 8306789 SOS 5467581 HAS SOPS 4080714 HAS SOUS 3748655 HAS SOUPS 3617795 WITH SCORE 3623262.581
AT ITER 352 NEW BEST:: SOT 8306852 SOS 5467706 HAS SOPS 4079943 HAS SOUS 3747885 HAS SOUPS 3617025 WITH SCORE 3622492.706
AT ITER 354 NEW BEST:: SOT 8306873 SOS 5468487 HAS SOPS 4079926 HAS SOUS 3747929 HAS SOUPS 3617008 WITH SCORE 3622476.487
AT ITER 357 NEW BEST:: SOT 8306873 SOS 5468487 HAS SOPS 4080480 HAS SOUS 3747928 HAS SOUPS 3617007 WITH SCORE 3622475.487
AT ITER 365 NEW BEST:: SOT 8306873 SOS 5468487 HAS SOPS 4079851 HAS SOUS 3746968 HAS SOUPS 3615751 WITH SCORE 3621219.487
AT ITER 371 NEW BEST:: SOT 8306873 SOS 5468487 HAS SOPS 4079115 HAS SOUS 3745907 HAS SOUPS 3614281 WITH SCORE 3619749.487
AT ITER 375 NEW BEST:: SOT 8306739 SOS 5468353 HAS SOPS 4078981 HAS SOUS 3745773 HAS SOUPS 3614147 WITH SCORE 3619615.353
AT ITER 384 NEW BEST:: SOT 8306720 SOS 5468334 HAS SOPS 4078943 HAS SOUS 3745735 HAS SOUPS 3614109 WITH SCORE 3619577.334
AT ITER 388 NEW BEST:: SOT 8306756 SOS 5473950 HAS SOPS 4078696 HAS SOUS 3745894 HAS SOUPS 3613862 WITH SCORE 3619335.95
AT ITER 389 NEW BEST:: SOT 8306756 SOS 5473950 HAS SOPS 4078869 HAS SOUS 3745421 HAS SOUPS 3613203 WITH SCORE 3618676.95
AT ITER 390 NEW BEST:: SOT 8306560 SOS 5466502 HAS SOPS 4071617 HAS SOUS 3745029 HAS SOUPS 3612811 WITH SCORE 3618277.502
AT ITER 393 NEW BEST:: SOT 8306560 SOS 5466502 HAS SOPS 4071308 HAS SOUS 3744642 HAS SOUPS 3612502 WITH SCORE 3617968.502
AT ITER 413 NEW BEST:: SOT 8305989 SOS 5444804 HAS SOPS 4050181 HAS SOUS 3743500 HAS SOUPS 3611360 WITH SCORE 3616804.804
AT ITER 426 NEW BEST:: SOT 8304605 SOS 5443420 HAS SOPS 4049371 HAS SOUS 3742691 HAS SOUPS 3610551 WITH SCORE 3615994.42
AT ITER 428 NEW BEST:: SOT 8304605 SOS 5443420 HAS SOPS 4048717 HAS SOUS 3741534 HAS SOUPS 3609245 WITH SCORE 3614688.42
AT ITER 434 NEW BEST:: SOT 8304605 SOS 5443420 HAS SOPS 4047917 HAS SOUS 3740478 HAS SOUPS 3607647 WITH SCORE 3613090.42
AT ITER 435 NEW BEST:: SOT 8305107 SOS 5444423 HAS SOPS 4047583 HAS SOUS 3740145 HAS SOUPS 3607314 WITH SCORE 3612758.423
AT ITER 437 NEW BEST:: SOT 8304950 SOS 5444266 HAS SOPS 4047582 HAS SOUS 3739988 HAS SOUPS 3607157 WITH SCORE 3612601.266
AT ITER 441 NEW BEST:: SOT 8304795 SOS 5441011 HAS SOPS 4047582 HAS SOUS 3739833 HAS SOUPS 3607157 WITH SCORE 3612598.011
AT ITER 442 NEW BEST:: SOT 8304255 SOS 5415008 HAS SOPS 4003547 HAS SOUS 3720991 HAS SOUPS 3588315 WITH SCORE 3593730.008
AT ITER 451 NEW BEST:: SOT 8283152 SOS 5394535 HAS SOPS 3984017 HAS SOUS 3700518 HAS SOUPS 3568785 WITH SCORE 3574179.535
AT ITER 458 NEW BEST:: SOT 8283152 SOS 5394535 HAS SOPS 3983536 HAS SOUS 3699750 HAS SOUPS 3567825 WITH SCORE 3573219.535
AT ITER 459 NEW BEST:: SOT 8283152 SOS 5394535 HAS SOPS 3983113 HAS SOUS 3698895 HAS SOUPS 3566612 WITH SCORE 3572006.535
AT ITER 469 NEW BEST:: SOT 8282579 SOS 5393962 HAS SOPS 3981652 HAS SOUS 3697576 HAS SOUPS 3564548 WITH SCORE 3569941.962
AT ITER 472 NEW BEST:: SOT 8282755 SOS 5394343 HAS SOPS 3980996 HAS SOUS 3697994 HAS SOUPS 3563893 WITH SCORE 3569287.343
AT ITER 480 NEW BEST:: SOT 8282755 SOS 5394343 HAS SOPS 3979668 HAS SOUS 3696981 HAS SOUPS 3562564 WITH SCORE 3567958.343
AT ITER 481 NEW BEST:: SOT 8282776 SOS 5394385 HAS SOPS 3978873 HAS SOUS 3696354 HAS SOUPS 3561770 WITH SCORE 3567164.385
AT ITER 488 NEW BEST:: SOT 8283344 SOS 5369423 HAS SOPS 3952964 HAS SOUS 3696249 HAS SOUPS 3561665 WITH SCORE 3567034.423
AT ITER 489 NEW BEST:: SOT 8283344 SOS 5369763 HAS SOPS 3952683 HAS SOUS 3696128 HAS SOUPS 3561384 WITH SCORE 3566753.763
AT ITER 493 NEW BEST:: SOT 8282956 SOS 5369375 HAS SOPS 3952035 HAS SOUS 3695591 HAS SOUPS 3560811 WITH SCORE 3566180.375
AT ITER 499 NEW BEST:: SOT 8282975 SOS 5369662 HAS SOPS 3951254 HAS SOUS 3694884 HAS SOUPS 3560031 WITH SCORE 3565400.662
AT ITER 508 NEW BEST:: SOT 8282975 SOS 5369662 HAS SOPS 3951253 HAS SOUS 3694520 HAS SOUPS 3559667 WITH SCORE 3565036.662
AT ITER 511 NEW BEST:: SOT 8281560 SOS 5368247 HAS SOPS 3950445 HAS SOUS 3693713 HAS SOUPS 3558860 WITH SCORE 3564228.247
AT ITER 516 NEW BEST:: SOT 8281798 SOS 5368809 HAS SOPS 3950077 HAS SOUS 3693346 HAS SOUPS 3558493 WITH SCORE 3563861.809
AT ITER 518 NEW BEST:: SOT 8281592 SOS 5368603 HAS SOPS 3949665 HAS SOUS 3693013 HAS SOUPS 3558081 WITH SCORE 3563449.603
AT ITER 521 NEW BEST:: SOT 8281592 SOS 5368603 HAS SOPS 3949661 HAS SOUS 3693009 HAS SOUPS 3558077 WITH SCORE 3563445.603
AT ITER 522 NEW BEST:: SOT 8281416 SOS 5368427 HAS SOPS 3948701 HAS SOUS 3692765 HAS SOUPS 3557050 WITH SCORE 3562418.427
AT ITER 524 NEW BEST:: SOT 8281416 SOS 5368427 HAS SOPS 3948238 HAS SOUS 3691483 HAS SOUPS 3555768 WITH SCORE 3561136.427
AT ITER 530 NEW BEST:: SOT 8281416 SOS 5368427 HAS SOPS 3948028 HAS SOUS 3691477 HAS SOUPS 3555558 WITH SCORE 3560926.427
AT ITER 531 NEW BEST:: SOT 8281416 SOS 5368427 HAS SOPS 3947423 HAS SOUS 3690267 HAS SOUPS 3554348 WITH SCORE 3559716.427
AT ITER 533 NEW BEST:: SOT 8281290 SOS 5368301 HAS SOPS 3947171 HAS SOUS 3690203 HAS SOUPS 3554096 WITH SCORE 3559464.301
AT ITER 534 NEW BEST:: SOT 8281136 SOS 5368147 HAS SOPS 3946965 HAS SOUS 3689167 HAS SOUPS 3553060 WITH SCORE 3558428.147
AT ITER 538 NEW BEST:: SOT 8280953 SOS 5367964 HAS SOPS 3947146 HAS SOUS 3689166 HAS SOUPS 3553059 WITH SCORE 3558426.964
AT ITER 542 NEW BEST:: SOT 8280953 SOS 5367964 HAS SOPS 3946678 HAS SOUS 3687883 HAS SOUPS 3551776 WITH SCORE 3557143.964
AT ITER 548 NEW BEST:: SOT 8281178 SOS 5368189 HAS SOPS 3946087 HAS SOUS 3687384 HAS SOUPS 3551186 WITH SCORE 3556554.189
AT ITER 549 NEW BEST:: SOT 8281178 SOS 5368189 HAS SOPS 3945595 HAS SOUS 3686071 HAS SOUPS 3549873 WITH SCORE 3555241.189
AT ITER 552 NEW BEST:: SOT 8281178 SOS 5368189 HAS SOPS 3944379 HAS SOUS 3684860 HAS SOUPS 3548656 WITH SCORE 3554024.189
AT ITER 553 NEW BEST:: SOT 8280916 SOS 5367927 HAS SOPS 3944117 HAS SOUS 3684598 HAS SOUPS 3548394 WITH SCORE 3553761.927
AT ITER 555 NEW BEST:: SOT 8280736 SOS 5342538 HAS SOPS 3913460 HAS SOUS 3678974 HAS SOUPS 3542770 WITH SCORE 3548112.538
AT ITER 556 NEW BEST:: SOT 8280736 SOS 5342538 HAS SOPS 3912465 HAS SOUS 3678443 HAS SOUPS 3542239 WITH SCORE 3547581.538
AT ITER 560 NEW BEST:: SOT 8279430 SOS 5341232 HAS SOPS 3911653 HAS SOUS 3677632 HAS SOUPS 3541428 WITH SCORE 3546769.232
AT ITER 563 NEW BEST:: SOT 8279430 SOS 5341232 HAS SOPS 3911413 HAS SOUS 3677496 HAS SOUPS 3541188 WITH SCORE 3546529.232
AT ITER 567 NEW BEST:: SOT 8279430 SOS 5341232 HAS SOPS 3909710 HAS SOUS 3675828 HAS SOUPS 3539520 WITH SCORE 3544861.232
AT ITER 568 NEW BEST:: SOT 8278885 SOS 5340687 HAS SOPS 3908067 HAS SOUS 3673961 HAS SOUPS 3537324 WITH SCORE 3542664.687
AT ITER 572 NEW BEST:: SOT 8279148 SOS 5341212 HAS SOPS 3907512 HAS SOUS 3674697 HAS SOUPS 3536770 WITH SCORE 3542111.212
AT ITER 573 NEW BEST:: SOT 8279148 SOS 5341212 HAS SOPS 3907508 HAS SOUS 3674689 HAS SOUPS 3536766 WITH SCORE 3542107.212
AT ITER 574 NEW BEST:: SOT 8279148 SOS 5341212 HAS SOPS 3907117 HAS SOUS 3673909 HAS SOUPS 3535986 WITH SCORE 3541327.212
AT ITER 580 NEW BEST:: SOT 8279148 SOS 5341212 HAS SOPS 3907117 HAS SOUS 3673535 HAS SOUPS 3535612 WITH SCORE 3540953.212
AT ITER 587 NEW BEST:: SOT 8279148 SOS 5341212 HAS SOPS 3906985 HAS SOUS 3673535 HAS SOUPS 3535480 WITH SCORE 3540821.212
AT ITER 590 NEW BEST:: SOT 8279148 SOS 5341212 HAS SOPS 3906567 HAS SOUS 3673118 HAS SOUPS 3535063 WITH SCORE 3540404.212
AT ITER 596 NEW BEST:: SOT 8279181 SOS 5341306 HAS SOPS 3905768 HAS SOUS 3672320 HAS SOUPS 3534265 WITH SCORE 3539606.306
AT ITER 598 NEW BEST:: SOT 8279380 SOS 5351255 HAS SOPS 3905717 HAS SOUS 3672561 HAS SOUPS 3534214 WITH SCORE 3539565.255
AT ITER 599 NEW BEST:: SOT 8279380 SOS 5351255 HAS SOPS 3904628 HAS SOUS 3671757 HAS SOUPS 3533126 WITH SCORE 3538477.255
AT ITER 605 NEW BEST:: SOT 8279380 SOS 5351255 HAS SOPS 3904148 HAS SOUS 3671745 HAS SOUPS 3532646 WITH SCORE 3537997.255
AT ITER 610 NEW BEST:: SOT 8279148 SOS 5351023 HAS SOPS 3903684 HAS SOUS 3671521 HAS SOUPS 3532182 WITH SCORE 3537533.023
AT ITER 612 NEW BEST:: SOT 8279332 SOS 5351390 HAS SOPS 3903042 HAS SOUS 3672059 HAS SOUPS 3531541 WITH SCORE 3536892.39
AT ITER 617 NEW BEST:: SOT 8279332 SOS 5351390 HAS SOPS 3903409 HAS SOUS 3671600 HAS SOUPS 3531082 WITH SCORE 3536433.39
AT ITER 619 NEW BEST:: SOT 8279332 SOS 5351390 HAS SOPS 3902632 HAS SOUS 3670934 HAS SOUPS 3530306 WITH SCORE 3535657.39
AT ITER 620 NEW BEST:: SOT 8279332 SOS 5351390 HAS SOPS 3902699 HAS SOUS 3670655 HAS SOUPS 3530027 WITH SCORE 3535378.39
AT ITER 621 NEW BEST:: SOT 8279332 SOS 5351390 HAS SOPS 3902051 HAS SOUS 3669361 HAS SOUPS 3528733 WITH SCORE 3534084.39
AT ITER 626 NEW BEST:: SOT 8279332 SOS 5351390 HAS SOPS 3901458 HAS SOUS 3667953 HAS SOUPS 3527325 WITH SCORE 3532676.39
AT ITER 627 NEW BEST:: SOT 8279906 SOS 5350934 HAS SOPS 3902569 HAS SOUS 3667353 HAS SOUPS 3526994 WITH SCORE 3532344.934
AT ITER 631 NEW BEST:: SOT 8280335 SOS 5351363 HAS SOPS 3902223 HAS SOUS 3668198 HAS SOUPS 3526649 WITH SCORE 3532000.363
AT ITER 632 NEW BEST:: SOT 8280335 SOS 5351363 HAS SOPS 3901394 HAS SOUS 3667398 HAS SOUPS 3525819 WITH SCORE 3531170.363
AT ITER 633 NEW BEST:: SOT 8280335 SOS 5351363 HAS SOPS 3901394 HAS SOUS 3667262 HAS SOUPS 3525683 WITH SCORE 3531034.363
AT ITER 634 NEW BEST:: SOT 8280184 SOS 5351212 HAS SOPS 3901243 HAS SOUS 3667111 HAS SOUPS 3525532 WITH SCORE 3530883.212
AT ITER 638 NEW BEST:: SOT 8279206 SOS 5350234 HAS SOPS 3900411 HAS SOUS 3667111 HAS SOUPS 3525532 WITH SCORE 3530882.234
AT ITER 642 NEW BEST:: SOT 8279020 SOS 5350048 HAS SOPS 3899689 HAS SOUS 3666770 HAS SOUPS 3524759 WITH SCORE 3530109.048
AT ITER 643 NEW BEST:: SOT 8279080 SOS 5353588 HAS SOPS 3899242 HAS SOUS 3666655 HAS SOUPS 3524312 WITH SCORE 3529665.588
AT ITER 651 NEW BEST:: SOT 8279080 SOS 5353588 HAS SOPS 3898667 HAS SOUS 3665507 HAS SOUPS 3523164 WITH SCORE 3528517.588
AT ITER 657 NEW BEST:: SOT 8279080 SOS 5353588 HAS SOPS 3898199 HAS SOUS 3664944 HAS SOUPS 3522601 WITH SCORE 3527954.588
AT ITER 661 NEW BEST:: SOT 8279080 SOS 5353588 HAS SOPS 3898095 HAS SOUS 3664343 HAS SOUPS 3522000 WITH SCORE 3527353.588
AT ITER 663 NEW BEST:: SOT 8279080 SOS 5353588 HAS SOPS 3897112 HAS SOUS 3663360 HAS SOUPS 3521017 WITH SCORE 3526370.588
AT ITER 665 NEW BEST:: SOT 8279080 SOS 5353588 HAS SOPS 3896786 HAS SOUS 3662797 HAS SOUPS 3520454 WITH SCORE 3525807.588
AT ITER 666 NEW BEST:: SOT 8279080 SOS 5353588 HAS SOPS 3895148 HAS SOUS 3661200 HAS SOUPS 3518818 WITH SCORE 3524171.588
AT ITER 667 NEW BEST:: SOT 8279080 SOS 5353588 HAS SOPS 3895058 HAS SOUS 3661110 HAS SOUPS 3518728 WITH SCORE 3524081.588
AT ITER 670 NEW BEST:: SOT 8278181 SOS 5351311 HAS SOPS 3894343 HAS SOUS 3660323 HAS SOUPS 3518014 WITH SCORE 3523365.311
AT ITER 673 NEW BEST:: SOT 8279106 SOS 5352236 HAS SOPS 3893740 HAS SOUS 3662735 HAS SOUPS 3517411 WITH SCORE 3522763.236
AT ITER 677 NEW BEST:: SOT 8278912 SOS 5352042 HAS SOPS 3892738 HAS SOUS 3661683 HAS SOUPS 3515797 WITH SCORE 3521149.042
AT ITER 679 NEW BEST:: SOT 8279276 SOS 5383526 HAS SOPS 3892218 HAS SOUS 3662048 HAS SOUPS 3515277 WITH SCORE 3520660.526
AT ITER 680 NEW BEST:: SOT 8279276 SOS 5383526 HAS SOPS 3893001 HAS SOUS 3662047 HAS SOUPS 3515276 WITH SCORE 3520659.526
AT ITER 686 NEW BEST:: SOT 8279276 SOS 5383526 HAS SOPS 3892674 HAS SOUS 3661974 HAS SOUPS 3514949 WITH SCORE 3520332.526
AT ITER 691 NEW BEST:: SOT 8279482 SOS 5383937 HAS SOPS 3892062 HAS SOUS 3661363 HAS SOUPS 3514338 WITH SCORE 3519721.937
AT ITER 711 NEW BEST:: SOT 8279482 SOS 5383937 HAS SOPS 3891555 HAS SOUS 3660856 HAS SOUPS 3513831 WITH SCORE 3519214.937
AT ITER 712 NEW BEST:: SOT 8279482 SOS 5383937 HAS SOPS 3891786 HAS SOUS 3660844 HAS SOUPS 3513677 WITH SCORE 3519060.937
AT ITER 723 NEW BEST:: SOT 8279514 SOS 5392089 HAS SOPS 3891408 HAS SOUS 3660872 HAS SOUPS 3513299 WITH SCORE 3518691.089
AT ITER 725 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3891408 HAS SOUS 3660872 HAS SOUPS 3513299 WITH SCORE 3518690.978
AT ITER 727 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3891180 HAS SOUS 3660418 HAS SOUPS 3512845 WITH SCORE 3518236.978
AT ITER 728 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3890670 HAS SOUS 3659400 HAS SOUPS 3511827 WITH SCORE 3517218.978
AT ITER 730 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3890190 HAS SOUS 3658920 HAS SOUPS 3511347 WITH SCORE 3516738.978
AT ITER 736 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3890190 HAS SOUS 3658840 HAS SOUPS 3511267 WITH SCORE 3516658.978
AT ITER 740 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3889747 HAS SOUS 3657956 HAS SOUPS 3510383 WITH SCORE 3515774.978
AT ITER 750 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3889412 HAS SOUS 3656794 HAS SOUPS 3509221 WITH SCORE 3514612.978
AT ITER 753 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3888916 HAS SOUS 3655477 HAS SOUPS 3507904 WITH SCORE 3513295.978
AT ITER 763 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3889074 HAS SOUS 3655370 HAS SOUPS 3507797 WITH SCORE 3513188.978
AT ITER 764 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3888543 HAS SOUS 3654839 HAS SOUPS 3507266 WITH SCORE 3512657.978
AT ITER 765 NEW BEST:: SOT 8279403 SOS 5391978 HAS SOPS 3887905 HAS SOUS 3654175 HAS SOUPS 3506628 WITH SCORE 3512019.978
AT ITER 769 NEW BEST:: SOT 8279319 SOS 5390608 HAS SOPS 3884826 HAS SOUS 3651824 HAS SOUPS 3504236 WITH SCORE 3509626.608
AT ITER 770 NEW BEST:: SOT 8279319 SOS 5390608 HAS SOPS 3884822 HAS SOUS 3651820 HAS SOUPS 3504232 WITH SCORE 3509622.608
AT ITER 771 NEW BEST:: SOT 8280193 SOS 5391482 HAS SOPS 3885440 HAS SOUS 3652044 HAS SOUPS 3504032 WITH SCORE 3509423.482
AT ITER 778 NEW BEST:: SOT 8280192 SOS 5391481 HAS SOPS 3885439 HAS SOUS 3652043 HAS SOUPS 3504031 WITH SCORE 3509422.481
AT ITER 784 NEW BEST:: SOT 8280192 SOS 5391481 HAS SOPS 3885259 HAS SOUS 3652102 HAS SOUPS 3503910 WITH SCORE 3509301.481
AT ITER 796 NEW BEST:: SOT 8280124 SOS 5391413 HAS SOPS 3885194 HAS SOUS 3652034 HAS SOUPS 3503845 WITH SCORE 3509236.413
AT ITER 797 NEW BEST:: SOT 8280124 SOS 5391413 HAS SOPS 3884705 HAS SOUS 3651702 HAS SOUPS 3503355 WITH SCORE 3508746.413
AT ITER 798 NEW BEST:: SOT 8278830 SOS 5390119 HAS SOPS 3884705 HAS SOUS 3650882 HAS SOUPS 3503355 WITH SCORE 3508745.119
AT ITER 802 NEW BEST:: SOT 8277557 SOS 5388846 HAS SOPS 3883891 HAS SOUS 3650069 HAS SOUPS 3502542 WITH SCORE 3507930.846
AT ITER 804 NEW BEST:: SOT 8277824 SOS 5389379 HAS SOPS 3883326 HAS SOUS 3650561 HAS SOUPS 3501978 WITH SCORE 3507367.379
AT ITER 808 NEW BEST:: SOT 8277824 SOS 5389379 HAS SOPS 3882621 HAS SOUS 3649151 HAS SOUPS 3500568 WITH SCORE 3505957.379
AT ITER 824 NEW BEST:: SOT 8277824 SOS 5389379 HAS SOPS 3881832 HAS SOUS 3647636 HAS SOUPS 3498992 WITH SCORE 3504381.379
AT ITER 835 NEW BEST:: SOT 8277824 SOS 5389379 HAS SOPS 3881756 HAS SOUS 3647560 HAS SOUPS 3498916 WITH SCORE 3504305.379
AT ITER 846 NEW BEST:: SOT 8277824 SOS 5389379 HAS SOPS 3881434 HAS SOUS 3647239 HAS SOUPS 3498595 WITH SCORE 3503984.379
AT ITER 850 NEW BEST:: SOT 8277824 SOS 5389379 HAS SOPS 3881147 HAS SOUS 3646953 HAS SOUPS 3498309 WITH SCORE 3503698.379
AT ITER 856 NEW BEST:: SOT 8277824 SOS 5389379 HAS SOPS 3881085 HAS SOUS 3646953 HAS SOUPS 3498247 WITH SCORE 3503636.379
AT ITER 857 NEW BEST:: SOT 8277968 SOS 5389666 HAS SOPS 3880395 HAS SOUS 3646264 HAS SOUPS 3497558 WITH SCORE 3502947.666
AT ITER 863 NEW BEST:: SOT 8277958 SOS 5389646 HAS SOPS 3880385 HAS SOUS 3646254 HAS SOUPS 3497548 WITH SCORE 3502937.646
AT ITER 866 NEW BEST:: SOT 8277958 SOS 5389646 HAS SOPS 3879925 HAS SOUS 3645107 HAS SOUPS 3496265 WITH SCORE 3501654.646
AT ITER 868 NEW BEST:: SOT 8277387 SOS 5389075 HAS SOPS 3878913 HAS SOUS 3643642 HAS SOUPS 3494445 WITH SCORE 3499834.075
AT ITER 876 NEW BEST:: SOT 8281784 SOS 5368212 HAS SOPS 3840384 HAS SOUS 3628504 HAS SOUPS 3479304 WITH SCORE 3484672.212
AT ITER 878 NEW BEST:: SOT 8281784 SOS 5368212 HAS SOPS 3840096 HAS SOUS 3627558 HAS SOUPS 3478358 WITH SCORE 3483726.212
AT ITER 885 NEW BEST:: SOT 8281745 SOS 5368173 HAS SOPS 3840057 HAS SOUS 3627480 HAS SOUPS 3478280 WITH SCORE 3483648.173
AT ITER 886 NEW BEST:: SOT 8281745 SOS 5368173 HAS SOPS 3839590 HAS SOUS 3626862 HAS SOUPS 3477601 WITH SCORE 3482969.173
AT ITER 888 NEW BEST:: SOT 8281821 SOS 5374529 HAS SOPS 3839276 HAS SOUS 3626866 HAS SOUPS 3477287 WITH SCORE 3482661.529
AT ITER 894 NEW BEST:: SOT 8281538 SOS 5374246 HAS SOPS 3838709 HAS SOUS 3626017 HAS SOUPS 3476438 WITH SCORE 3481812.246
AT ITER 902 NEW BEST:: SOT 8281538 SOS 5374246 HAS SOPS 3837694 HAS SOUS 3625206 HAS SOUPS 3475627 WITH SCORE 3481001.246
AT ITER 906 NEW BEST:: SOT 8281751 SOS 5374671 HAS SOPS 3837089 HAS SOUS 3625894 HAS SOUPS 3475023 WITH SCORE 3480397.671
AT ITER 910 NEW BEST:: SOT 8281751 SOS 5374671 HAS SOPS 3836561 HAS SOUS 3625150 HAS SOUPS 3474279 WITH SCORE 3479653.671
AT ITER 912 NEW BEST:: SOT 8281751 SOS 5374671 HAS SOPS 3836135 HAS SOUS 3624724 HAS SOUPS 3473853 WITH SCORE 3479227.671
AT ITER 919 NEW BEST:: SOT 8281698 SOS 5374618 HAS SOPS 3836082 HAS SOUS 3624671 HAS SOUPS 3473800 WITH SCORE 3479174.618
AT ITER 920 NEW BEST:: SOT 8281712 SOS 5374829 HAS SOPS 3835319 HAS SOUS 3623909 HAS SOUPS 3473038 WITH SCORE 3478412.829
AT ITER 933 NEW BEST:: SOT 8281712 SOS 5374829 HAS SOPS 3835402 HAS SOUS 3623240 HAS SOUPS 3472301 WITH SCORE 3477675.829
AT ITER 938 NEW BEST:: SOT 8281712 SOS 5374829 HAS SOPS 3835122 HAS SOUS 3622964 HAS SOUPS 3472021 WITH SCORE 3477395.829
AT ITER 940 NEW BEST:: SOT 8281712 SOS 5374829 HAS SOPS 3835586 HAS SOUS 3622963 HAS SOUPS 3472020 WITH SCORE 3477394.829
AT ITER 942 NEW BEST:: SOT 8281712 SOS 5374829 HAS SOPS 3834406 HAS SOUS 3621784 HAS SOUPS 3470841 WITH SCORE 3476215.829
AT ITER 945 NEW BEST:: SOT 8281712 SOS 5374829 HAS SOPS 3834405 HAS SOUS 3621379 HAS SOUPS 3470436 WITH SCORE 3475810.829
AT ITER 949 NEW BEST:: SOT 8281715 SOS 5374835 HAS SOPS 3834087 HAS SOUS 3621061 HAS SOUPS 3470118 WITH SCORE 3475492.835
AT ITER 951 NEW BEST:: SOT 8281715 SOS 5374835 HAS SOPS 3834172 HAS SOUS 3620332 HAS SOUPS 3469389 WITH SCORE 3474763.835
AT ITER 954 NEW BEST:: SOT 8282047 SOS 5387887 HAS SOPS 3833864 HAS SOUS 3620935 HAS SOUPS 3469081 WITH SCORE 3474468.887
AT ITER 958 NEW BEST:: SOT 8281028 SOS 5386868 HAS SOPS 3833036 HAS SOUS 3620107 HAS SOUPS 3468253 WITH SCORE 3473639.868
AT ITER 985 NEW BEST:: SOT 8280482 SOS 5386322 HAS SOPS 3831481 HAS SOUS 3619309 HAS SOUPS 3467238 WITH SCORE 3472624.322
AT ITER 996 NEW BEST:: SOT 8280482 SOS 5386322 HAS SOPS 3831367 HAS SOUS 3619365 HAS SOUPS 3467124 WITH SCORE 3472510.322
AT ITER 1001 NEW BEST:: SOT 8279866 SOS 5385706 HAS SOPS 3830476 HAS SOUS 3618727 HAS SOUPS 3466211 WITH SCORE 3471596.706
AT ITER 1008 NEW BEST:: SOT 8279345 SOS 5385185 HAS SOPS 3829955 HAS SOUS 3618206 HAS SOUPS 3465690 WITH SCORE 3471075.185
AT ITER 1014 NEW BEST:: SOT 8279345 SOS 5385185 HAS SOPS 3829331 HAS SOUS 3617223 HAS SOUPS 3464444 WITH SCORE 3469829.185
AT ITER 1018 NEW BEST:: SOT 8279463 SOS 5385420 HAS SOPS 3828623 HAS SOUS 3616516 HAS SOUPS 3463737 WITH SCORE 3469122.42
AT ITER 1024 NEW BEST:: SOT 8279798 SOS 5385755 HAS SOPS 3827468 HAS SOUS 3615886 HAS SOUPS 3462358 WITH SCORE 3467743.755
AT ITER 1036 NEW BEST:: SOT 8279798 SOS 5385755 HAS SOPS 3827329 HAS SOUS 3615610 HAS SOUPS 3462082 WITH SCORE 3467467.755
AT ITER 1045 NEW BEST:: SOT 8280105 SOS 5386408 HAS SOPS 3827294 HAS SOUS 3615575 HAS SOUPS 3462047 WITH SCORE 3467433.408
AT ITER 1046 NEW BEST:: SOT 8280105 SOS 5386408 HAS SOPS 3826180 HAS SOUS 3614289 HAS SOUPS 3460761 WITH SCORE 3466147.408
AT ITER 1052 NEW BEST:: SOT 8280105 SOS 5386408 HAS SOPS 3826176 HAS SOUS 3614345 HAS SOUPS 3460757 WITH SCORE 3466143.408
AT ITER 1054 NEW BEST:: SOT 8280105 SOS 5386408 HAS SOPS 3825576 HAS SOUS 3613028 HAS SOUPS 3459440 WITH SCORE 3464826.408
AT ITER 1061 NEW BEST:: SOT 8282927 SOS 5364301 HAS SOPS 3796664 HAS SOUS 3608200 HAS SOUPS 3454612 WITH SCORE 3459976.301
AT ITER 1064 NEW BEST:: SOT 8283015 SOS 5364389 HAS SOPS 3796318 HAS SOUS 3608288 HAS SOUPS 3454266 WITH SCORE 3459630.389
AT ITER 1068 NEW BEST:: SOT 8282885 SOS 5364259 HAS SOPS 3795355 HAS SOUS 3607344 HAS SOUPS 3453288 WITH SCORE 3458652.259
AT ITER 1075 NEW BEST:: SOT 8282885 SOS 5364259 HAS SOPS 3795205 HAS SOUS 3606505 HAS SOUPS 3452449 WITH SCORE 3457813.259
AT ITER 1078 NEW BEST:: SOT 8283333 SOS 5365154 HAS SOPS 3794819 HAS SOUS 3607167 HAS SOUPS 3452064 WITH SCORE 3457429.154
AT ITER 1080 NEW BEST:: SOT 8282857 SOS 5364678 HAS SOPS 3794465 HAS SOUS 3606814 HAS SOUPS 3451711 WITH SCORE 3457075.678
AT ITER 1084 NEW BEST:: SOT 8282857 SOS 5364678 HAS SOPS 3794465 HAS SOUS 3606796 HAS SOUPS 3451693 WITH SCORE 3457057.678
AT ITER 1085 NEW BEST:: SOT 8282857 SOS 5364678 HAS SOPS 3794464 HAS SOUS 3606279 HAS SOUPS 3451176 WITH SCORE 3456540.678
AT ITER 1106 NEW BEST:: SOT 8282857 SOS 5364678 HAS SOPS 3794107 HAS SOUS 3605922 HAS SOUPS 3450819 WITH SCORE 3456183.678
AT ITER 1114 NEW BEST:: SOT 8282857 SOS 5364678 HAS SOPS 3793298 HAS SOUS 3604700 HAS SOUPS 3449597 WITH SCORE 3454961.678
AT ITER 1119 NEW BEST:: SOT 8282485 SOS 5364306 HAS SOPS 3793298 HAS SOUS 3604700 HAS SOUPS 3449597 WITH SCORE 3454961.306
AT ITER 1121 NEW BEST:: SOT 8282489 SOS 5373290 HAS SOPS 3792404 HAS SOUS 3604469 HAS SOUPS 3448703 WITH SCORE 3454076.29
AT ITER 1128 NEW BEST:: SOT 8282489 SOS 5373290 HAS SOPS 3792334 HAS SOUS 3604469 HAS SOUPS 3448633 WITH SCORE 3454006.29
AT ITER 1132 NEW BEST:: SOT 8282476 SOS 5373277 HAS SOPS 3792321 HAS SOUS 3604456 HAS SOUPS 3448620 WITH SCORE 3453993.277
AT ITER 1135 NEW BEST:: SOT 8282476 SOS 5373277 HAS SOPS 3792765 HAS SOUS 3604455 HAS SOUPS 3448619 WITH SCORE 3453992.277
AT ITER 1138 NEW BEST:: SOT 8282476 SOS 5373277 HAS SOPS 3792543 HAS SOUS 3603841 HAS SOUPS 3448005 WITH SCORE 3453378.277
AT ITER 1141 NEW BEST:: SOT 8282672 SOS 5376033 HAS SOPS 3792452 HAS SOUS 3603814 HAS SOUPS 3447914 WITH SCORE 3453290.033
AT ITER 1144 NEW BEST:: SOT 8282672 SOS 5376033 HAS SOPS 3791689 HAS SOUS 3603120 HAS SOUPS 3447151 WITH SCORE 3452527.033
AT ITER 1163 NEW BEST:: SOT 8282102 SOS 5375463 HAS SOPS 3789861 HAS SOUS 3601855 HAS SOUPS 3445323 WITH SCORE 3450698.463
AT ITER 1166 NEW BEST:: SOT 8281481 SOS 5374842 HAS SOPS 3789015 HAS SOUS 3601561 HAS SOUPS 3444650 WITH SCORE 3450024.842
AT ITER 1168 NEW BEST:: SOT 8281481 SOS 5374842 HAS SOPS 3788985 HAS SOUS 3600722 HAS SOUPS 3443811 WITH SCORE 3449185.842
AT ITER 1169 NEW BEST:: SOT 8281481 SOS 5374842 HAS SOPS 3789017 HAS SOUS 3600721 HAS SOUPS 3443810 WITH SCORE 3449184.842
AT ITER 1171 NEW BEST:: SOT 8280050 SOS 5373411 HAS SOPS 3788211 HAS SOUS 3600721 HAS SOUPS 3443810 WITH SCORE 3449183.411
AT ITER 1172 NEW BEST:: SOT 8280029 SOS 5373390 HAS SOPS 3788168 HAS SOUS 3600679 HAS SOUPS 3443768 WITH SCORE 3449141.39
AT ITER 1174 NEW BEST:: SOT 8280029 SOS 5373390 HAS SOPS 3788161 HAS SOUS 3600679 HAS SOUPS 3443761 WITH SCORE 3449134.39
AT ITER 1179 NEW BEST:: SOT 8279999 SOS 5373360 HAS SOPS 3788101 HAS SOUS 3600619 HAS SOUPS 3443701 WITH SCORE 3449074.36
AT ITER 1181 NEW BEST:: SOT 8278480 SOS 5354277 HAS SOPS 3787299 HAS SOUS 3598824 HAS SOUPS 3443127 WITH SCORE 3448481.277
AT ITER 1185 NEW BEST:: SOT 8278372 SOS 5346688 HAS SOPS 3776616 HAS SOUS 3595249 HAS SOUPS 3439552 WITH SCORE 3444898.688
AT ITER 1188 NEW BEST:: SOT 8278372 SOS 5346688 HAS SOPS 3776304 HAS SOUS 3595158 HAS SOUPS 3439240 WITH SCORE 3444586.688
AT ITER 1191 NEW BEST:: SOT 8278372 SOS 5346688 HAS SOPS 3776304 HAS SOUS 3594859 HAS SOUPS 3438941 WITH SCORE 3444287.688
AT ITER 1194 NEW BEST:: SOT 8278457 SOS 5346857 HAS SOPS 3775573 HAS SOUS 3594267 HAS SOUPS 3438211 WITH SCORE 3443557.857
AT ITER 1195 NEW BEST:: SOT 8278457 SOS 5346857 HAS SOPS 3774932 HAS SOUS 3593626 HAS SOUPS 3437570 WITH SCORE 3442916.857
AT ITER 1203 NEW BEST:: SOT 8278457 SOS 5346857 HAS SOPS 3774369 HAS SOUS 3593625 HAS SOUPS 3437569 WITH SCORE 3442915.857
AT ITER 1207 NEW BEST:: SOT 8278323 SOS 5346723 HAS SOPS 3774114 HAS SOUS 3593399 HAS SOUPS 3437314 WITH SCORE 3442660.723
AT ITER 1220 NEW BEST:: SOT 8278323 SOS 5346723 HAS SOPS 3773958 HAS SOUS 3593305 HAS SOUPS 3437158 WITH SCORE 3442504.723
AT ITER 1224 NEW BEST:: SOT 8278912 SOS 5347735 HAS SOPS 3773894 HAS SOUS 3593242 HAS SOUPS 3437095 WITH SCORE 3442442.735
AT ITER 1225 NEW BEST:: SOT 8279297 SOS 5348346 HAS SOPS 3773594 HAS SOUS 3593014 HAS SOUPS 3436835 WITH SCORE 3442183.346
AT ITER 1226 NEW BEST:: SOT 8279297 SOS 5348346 HAS SOPS 3773593 HAS SOUS 3592773 HAS SOUPS 3436594 WITH SCORE 3441942.346
AT ITER 1229 NEW BEST:: SOT 8279713 SOS 5347058 HAS SOPS 3774301 HAS SOUS 3590615 HAS SOUPS 3434728 WITH SCORE 3440075.058
AT ITER 1237 NEW BEST:: SOT 8279751 SOS 5349596 HAS SOPS 3774210 HAS SOUS 3590778 HAS SOUPS 3434637 WITH SCORE 3439986.596
AT ITER 1241 NEW BEST:: SOT 8279751 SOS 5349596 HAS SOPS 3774084 HAS SOUS 3590356 HAS SOUPS 3434215 WITH SCORE 3439564.596
AT ITER 1243 NEW BEST:: SOT 8278398 SOS 5348243 HAS SOPS 3774084 HAS SOUS 3590196 HAS SOUPS 3434215 WITH SCORE 3439563.243
AT ITER 1245 NEW BEST:: SOT 8278398 SOS 5348243 HAS SOPS 3773429 HAS SOUS 3589075 HAS SOUPS 3432738 WITH SCORE 3438086.243
AT ITER 1248 NEW BEST:: SOT 8278398 SOS 5348243 HAS SOPS 3771864 HAS SOUS 3587422 HAS SOUPS 3431079 WITH SCORE 3436427.243
AT ITER 1249 NEW BEST:: SOT 8278262 SOS 5348107 HAS SOPS 3771591 HAS SOUS 3587169 HAS SOUPS 3430826 WITH SCORE 3436174.107
AT ITER 1257 NEW BEST:: SOT 8277917 SOS 5347762 HAS SOPS 3771246 HAS SOUS 3586824 HAS SOUPS 3430481 WITH SCORE 3435828.762
AT ITER 1265 NEW BEST:: SOT 8277917 SOS 5347762 HAS SOPS 3770920 HAS SOUS 3586499 HAS SOUPS 3430156 WITH SCORE 3435503.762
AT ITER 1266 NEW BEST:: SOT 8277917 SOS 5335846 HAS SOPS 3759715 HAS SOUS 3585977 HAS SOUPS 3429874 WITH SCORE 3435209.846
AT ITER 1269 NEW BEST:: SOT 8277917 SOS 5335846 HAS SOPS 3759549 HAS SOUS 3585811 HAS SOUPS 3429708 WITH SCORE 3435043.846
AT ITER 1275 NEW BEST:: SOT 8277917 SOS 5335846 HAS SOPS 3759002 HAS SOUS 3584439 HAS SOUPS 3428336 WITH SCORE 3433671.846
AT ITER 1286 NEW BEST:: SOT 8277929 SOS 5341418 HAS SOPS 3758736 HAS SOUS 3584451 HAS SOUPS 3428070 WITH SCORE 3433411.418
AT ITER 1291 NEW BEST:: SOT 8277913 SOS 5341402 HAS SOPS 3758720 HAS SOUS 3584435 HAS SOUPS 3428054 WITH SCORE 3433395.402
AT ITER 1295 NEW BEST:: SOT 8277913 SOS 5341402 HAS SOPS 3757513 HAS SOUS 3583797 HAS SOUPS 3427416 WITH SCORE 3432757.402
AT ITER 1305 NEW BEST:: SOT 8277914 SOS 5341403 HAS SOPS 3757278 HAS SOUS 3583766 HAS SOUPS 3427181 WITH SCORE 3432522.403
AT ITER 1313 NEW BEST:: SOT 8277914 SOS 5341403 HAS SOPS 3756782 HAS SOUS 3583269 HAS SOUPS 3426684 WITH SCORE 3432025.403
AT ITER 1321 NEW BEST:: SOT 8277903 SOS 5339487 HAS SOPS 3755041 HAS SOUS 3582094 HAS SOUPS 3425509 WITH SCORE 3430848.487
AT ITER 1322 NEW BEST:: SOT 8277881 SOS 5339465 HAS SOPS 3755372 HAS SOUS 3581591 HAS SOUPS 3425006 WITH SCORE 3430345.465
AT ITER 1325 NEW BEST:: SOT 8277881 SOS 5339465 HAS SOPS 3754840 HAS SOUS 3581215 HAS SOUPS 3424630 WITH SCORE 3429969.465
AT ITER 1328 NEW BEST:: SOT 8277881 SOS 5339465 HAS SOPS 3754729 HAS SOUS 3580930 HAS SOUPS 3424345 WITH SCORE 3429684.465
AT ITER 1335 NEW BEST:: SOT 8278485 SOS 5363806 HAS SOPS 3754081 HAS SOUS 3580886 HAS SOUPS 3423697 WITH SCORE 3429060.806
AT ITER 1336 NEW BEST:: SOT 8277470 SOS 5362791 HAS SOPS 3753251 HAS SOUS 3580057 HAS SOUPS 3422868 WITH SCORE 3428230.791
AT ITER 1337 NEW BEST:: SOT 8277383 SOS 5362704 HAS SOPS 3753163 HAS SOUS 3579883 HAS SOUPS 3422694 WITH SCORE 3428056.704
AT ITER 1340 NEW BEST:: SOT 8278111 SOS 5387456 HAS SOPS 3752483 HAS SOUS 3580711 HAS SOUPS 3422321 WITH SCORE 3427708.456
AT ITER 1341 NEW BEST:: SOT 8283954 SOS 5367507 HAS SOPS 3720650 HAS SOUS 3573704 HAS SOUPS 3415314 WITH SCORE 3420681.507
AT ITER 1361 NEW BEST:: SOT 8283900 SOS 5367453 HAS SOPS 3720541 HAS SOUS 3573595 HAS SOUPS 3415205 WITH SCORE 3420572.453
AT ITER 1378 NEW BEST:: SOT 8283323 SOS 5366876 HAS SOPS 3718321 HAS SOUS 3571737 HAS SOUPS 3412986 WITH SCORE 3418352.876
AT ITER 1381 NEW BEST:: SOT 8283323 SOS 5371466 HAS SOPS 3718198 HAS SOUS 3571737 HAS SOUPS 3412863 WITH SCORE 3418234.466
AT ITER 1384 NEW BEST:: SOT 8284010 SOS 5396884 HAS SOPS 3717313 HAS SOUS 3572269 HAS SOUPS 3412621 WITH SCORE 3418017.884
AT ITER 1390 NEW BEST:: SOT 8284010 SOS 5396884 HAS SOPS 3716622 HAS SOUS 3571641 HAS SOUPS 3411929 WITH SCORE 3417325.884
AT ITER 1392 NEW BEST:: SOT 8284010 SOS 5396884 HAS SOPS 3716637 HAS SOUS 3571640 HAS SOUPS 3411928 WITH SCORE 3417324.884
AT ITER 1394 NEW BEST:: SOT 8284010 SOS 5396884 HAS SOPS 3716636 HAS SOUS 3571149 HAS SOUPS 3411437 WITH SCORE 3416833.884
AT ITER 1396 NEW BEST:: SOT 8284010 SOS 5396884 HAS SOPS 3716244 HAS SOUS 3570757 HAS SOUPS 3411045 WITH SCORE 3416441.884
AT ITER 1397 NEW BEST:: SOT 8284010 SOS 5396884 HAS SOPS 3715917 HAS SOUS 3570505 HAS SOUPS 3410694 WITH SCORE 3416090.884
AT ITER 1400 NEW BEST:: SOT 8284010 SOS 5396884 HAS SOPS 3715251 HAS SOUS 3569895 HAS SOUPS 3410084 WITH SCORE 3415480.884
AT ITER 1403 NEW BEST:: SOT 8284129 SOS 5397495 HAS SOPS 3714710 HAS SOUS 3569355 HAS SOUPS 3409544 WITH SCORE 3414941.495
AT ITER 1404 NEW BEST:: SOT 8283537 SOS 5396903 HAS SOPS 3713550 HAS SOUS 3568263 HAS SOUPS 3408384 WITH SCORE 3413780.903
AT ITER 1408 NEW BEST:: SOT 8283342 SOS 5396708 HAS SOPS 3713743 HAS SOUS 3568067 HAS SOUPS 3408188 WITH SCORE 3413584.708
AT ITER 1414 NEW BEST:: SOT 8283721 SOS 5397441 HAS SOPS 3713675 HAS SOUS 3568000 HAS SOUPS 3408121 WITH SCORE 3413518.441
AT ITER 1419 NEW BEST:: SOT 8283611 SOS 5397331 HAS SOPS 3713834 HAS SOUS 3567272 HAS SOUPS 3407454 WITH SCORE 3412851.331
AT ITER 1420 NEW BEST:: SOT 8283619 SOS 5418979 HAS SOPS 3712927 HAS SOUS 3567609 HAS SOUPS 3406547 WITH SCORE 3411965.979
AT ITER 1427 NEW BEST:: SOT 8283428 SOS 5418788 HAS SOPS 3711818 HAS SOUS 3566259 HAS SOUPS 3405197 WITH SCORE 3410615.788
AT ITER 1433 NEW BEST:: SOT 8283779 SOS 5419139 HAS SOPS 3711817 HAS SOUS 3565908 HAS SOUPS 3404846 WITH SCORE 3410265.139
AT ITER 1434 NEW BEST:: SOT 8284124 SOS 5419754 HAS SOPS 3711482 HAS SOUS 3565574 HAS SOUPS 3404512 WITH SCORE 3409931.754
AT ITER 1437 NEW BEST:: SOT 8283534 SOS 5419164 HAS SOPS 3710892 HAS SOUS 3564984 HAS SOUPS 3403922 WITH SCORE 3409341.164
AT ITER 1443 NEW BEST:: SOT 8282834 SOS 5418464 HAS SOPS 3709546 HAS SOUS 3563638 HAS SOUPS 3402576 WITH SCORE 3407994.464
AT ITER 1445 NEW BEST:: SOT 8283259 SOS 5419188 HAS SOPS 3709266 HAS SOUS 3564305 HAS SOUPS 3402297 WITH SCORE 3407716.188
AT ITER 1463 NEW BEST:: SOT 8283541 SOS 5419863 HAS SOPS 3708751 HAS SOUS 3564274 HAS SOUPS 3401782 WITH SCORE 3407201.863
AT ITER 1466 NEW BEST:: SOT 8283549 SOS 5419871 HAS SOPS 3707610 HAS SOUS 3562200 HAS SOUPS 3399708 WITH SCORE 3405127.871
AT ITER 1467 NEW BEST:: SOT 8283413 SOS 5419735 HAS SOPS 3707214 HAS SOUS 3561804 HAS SOUPS 3399312 WITH SCORE 3404731.735
AT ITER 1475 NEW BEST:: SOT 8283229 SOS 5419551 HAS SOPS 3706487 HAS SOUS 3561262 HAS SOUPS 3398228 WITH SCORE 3403647.551
AT ITER 1482 NEW BEST:: SOT 8283229 SOS 5419551 HAS SOPS 3705930 HAS SOUS 3560148 HAS SOUPS 3397114 WITH SCORE 3402533.551
AT ITER 1485 NEW BEST:: SOT 8283103 SOS 5419425 HAS SOPS 3705482 HAS SOUS 3559557 HAS SOUPS 3396081 WITH SCORE 3401500.425
AT ITER 1486 NEW BEST:: SOT 8283334 SOS 5419966 HAS SOPS 3705770 HAS SOUS 3559398 HAS SOUPS 3395574 WITH SCORE 3400993.966
AT ITER 1490 NEW BEST:: SOT 8283334 SOS 5419966 HAS SOPS 3705214 HAS SOUS 3559312 HAS SOUPS 3395457 WITH SCORE 3400876.966
AT ITER 1493 NEW BEST:: SOT 8283060 SOS 5419692 HAS SOPS 3704764 HAS SOUS 3558862 HAS SOUPS 3395007 WITH SCORE 3400426.692
AT ITER 1501 NEW BEST:: SOT 8283060 SOS 5419530 HAS SOPS 3704764 HAS SOUS 3558862 HAS SOUPS 3395007 WITH SCORE 3400426.53
AT ITER 1505 NEW BEST:: SOT 8283055 SOS 5419525 HAS SOPS 3704754 HAS SOUS 3558852 HAS SOUPS 3394997 WITH SCORE 3400416.525
AT ITER 1506 NEW BEST:: SOT 8283055 SOS 5419525 HAS SOPS 3704676 HAS SOUS 3558850 HAS SOUPS 3394919 WITH SCORE 3400338.525
AT ITER 1520 NEW BEST:: SOT 8283034 SOS 5419504 HAS SOPS 3703117 HAS SOUS 3557293 HAS SOUPS 3393362 WITH SCORE 3398781.504
AT ITER 1525 NEW BEST:: SOT 8283028 SOS 5419498 HAS SOPS 3702322 HAS SOUS 3555664 HAS SOUPS 3391733 WITH SCORE 3397152.498
AT ITER 1530 NEW BEST:: SOT 8283028 SOS 5419498 HAS SOPS 3701403 HAS SOUS 3554744 HAS SOUPS 3390813 WITH SCORE 3396232.498
AT ITER 1533 NEW BEST:: SOT 8283028 SOS 5419498 HAS SOPS 3700881 HAS SOUS 3554311 HAS SOUPS 3390380 WITH SCORE 3395799.498
AT ITER 1536 NEW BEST:: SOT 8282472 SOS 5418942 HAS SOPS 3698901 HAS SOUS 3552781 HAS SOUPS 3388578 WITH SCORE 3393996.942
AT ITER 1537 NEW BEST:: SOT 8282635 SOS 5419400 HAS SOPS 3698900 HAS SOUS 3553125 HAS SOUPS 3388577 WITH SCORE 3393996.4
AT ITER 1540 NEW BEST:: SOT 8282635 SOS 5419400 HAS SOPS 3698328 HAS SOUS 3552554 HAS SOUPS 3388006 WITH SCORE 3393425.4
AT ITER 1541 NEW BEST:: SOT 8282426 SOS 5419191 HAS SOPS 3698042 HAS SOUS 3552136 HAS SOUPS 3387588 WITH SCORE 3393007.191
AT ITER 1547 NEW BEST:: SOT 8282408 SOS 5419173 HAS SOPS 3698651 HAS SOUS 3552100 HAS SOUPS 3387552 WITH SCORE 3392971.173
AT ITER 1549 NEW BEST:: SOT 8283477 SOS 5420776 HAS SOPS 3698166 HAS SOUS 3553105 HAS SOUPS 3387068 WITH SCORE 3392488.776
AT ITER 1560 NEW BEST:: SOT 8283477 SOS 5420776 HAS SOPS 3697431 HAS SOUS 3552320 HAS SOUPS 3386047 WITH SCORE 3391467.776
AT ITER 1563 NEW BEST:: SOT 8282046 SOS 5419345 HAS SOPS 3696637 HAS SOUS 3551527 HAS SOUPS 3385254 WITH SCORE 3390673.345
AT ITER 1571 NEW BEST:: SOT 8282208 SOS 5418198 HAS SOPS 3696963 HAS SOUS 3550080 HAS SOUPS 3383971 WITH SCORE 3389389.198
AT ITER 1572 NEW BEST:: SOT 8281966 SOS 5417956 HAS SOPS 3696700 HAS SOUS 3549596 HAS SOUPS 3383487 WITH SCORE 3388904.956
AT ITER 1578 NEW BEST:: SOT 8282543 SOS 5419019 HAS SOPS 3696605 HAS SOUS 3549502 HAS SOUPS 3383393 WITH SCORE 3388812.019
AT ITER 1581 NEW BEST:: SOT 8283116 SOS 5419592 HAS SOPS 3696031 HAS SOUS 3548929 HAS SOUPS 3382820 WITH SCORE 3388239.592
AT ITER 1586 NEW BEST:: SOT 8283115 SOS 5419591 HAS SOPS 3696030 HAS SOUS 3548928 HAS SOUPS 3382819 WITH SCORE 3388238.591
AT ITER 1591 NEW BEST:: SOT 8283115 SOS 5419591 HAS SOPS 3695960 HAS SOUS 3548859 HAS SOUPS 3382680 WITH SCORE 3388099.591
AT ITER 1597 NEW BEST:: SOT 8283115 SOS 5419591 HAS SOPS 3695791 HAS SOUS 3548819 HAS SOUPS 3382511 WITH SCORE 3387930.591
AT ITER 1611 NEW BEST:: SOT 8283115 SOS 5419591 HAS SOPS 3695546 HAS SOUS 3548645 HAS SOUPS 3382337 WITH SCORE 3387756.591
AT ITER 1613 NEW BEST:: SOT 8283445 SOS 5420283 HAS SOPS 3695042 HAS SOUS 3548996 HAS SOUPS 3382185 WITH SCORE 3387605.283
AT ITER 1616 NEW BEST:: SOT 8283659 SOS 5449157 HAS SOPS 3694749 HAS SOUS 3549364 HAS SOUPS 3381892 WITH SCORE 3387341.157
AT ITER 1638 NEW BEST:: SOT 8283659 SOS 5449157 HAS SOPS 3694748 HAS SOUS 3549363 HAS SOUPS 3381891 WITH SCORE 3387340.157
AT ITER 1650 NEW BEST:: SOT 8283646 SOS 5449144 HAS SOPS 3694747 HAS SOUS 3549350 HAS SOUPS 3381878 WITH SCORE 3387327.144
AT ITER 1667 NEW BEST:: SOT 8283530 SOS 5449028 HAS SOPS 3694630 HAS SOUS 3549118 HAS SOUPS 3381646 WITH SCORE 3387095.028
AT ITER 1674 NEW BEST:: SOT 8283530 SOS 5449028 HAS SOPS 3693855 HAS SOUS 3547570 HAS SOUPS 3380098 WITH SCORE 3385547.028
AT ITER 1681 NEW BEST:: SOT 8283530 SOS 5449028 HAS SOPS 3693816 HAS SOUS 3547236 HAS SOUPS 3379764 WITH SCORE 3385213.028
AT ITER 1685 NEW BEST:: SOT 8284301 SOS 5484095 HAS SOPS 3692973 HAS SOUS 3548196 HAS SOUPS 3378921 WITH SCORE 3384405.095
AT ITER 1699 NEW BEST:: SOT 8284241 SOS 5490392 HAS SOPS 3692723 HAS SOUS 3548195 HAS SOUPS 3378671 WITH SCORE 3384161.392
AT ITER 1701 NEW BEST:: SOT 8288651 SOS 5468918 HAS SOPS 3650369 HAS SOUS 3530221 HAS SOUPS 3360420 WITH SCORE 3365888.918
AT ITER 1709 NEW BEST:: SOT 8288449 SOS 5468718 HAS SOPS 3650281 HAS SOUS 3530133 HAS SOUPS 3360332 WITH SCORE 3365800.718
AT ITER 1710 NEW BEST:: SOT 8288449 SOS 5468718 HAS SOPS 3649860 HAS SOUS 3529035 HAS SOUPS 3359234 WITH SCORE 3364702.718
AT ITER 1711 NEW BEST:: SOT 8288395 SOS 5468664 HAS SOPS 3650140 HAS SOUS 3527788 HAS SOUPS 3358840 WITH SCORE 3364308.664
AT ITER 1716 NEW BEST:: SOT 8271195 SOS 5475064 HAS SOPS 3632704 HAS SOUS 3510588 HAS SOUPS 3341404 WITH SCORE 3346879.064
AT ITER 1724 NEW BEST:: SOT 8271224 SOS 5475093 HAS SOPS 3632587 HAS SOUS 3510473 HAS SOUPS 3341288 WITH SCORE 3346763.093
AT ITER 1738 NEW BEST:: SOT 8271149 SOS 5475018 HAS SOPS 3632563 HAS SOUS 3509907 HAS SOUPS 3340848 WITH SCORE 3346323.018
AT ITER 1748 NEW BEST:: SOT 8270968 SOS 5474837 HAS SOPS 3630884 HAS SOUS 3508556 HAS SOUPS 3339170 WITH SCORE 3344644.837
AT ITER 1755 NEW BEST:: SOT 8270968 SOS 5474837 HAS SOPS 3630884 HAS SOUS 3508373 HAS SOUPS 3338987 WITH SCORE 3344461.837
AT ITER 1756 NEW BEST:: SOT 8270872 SOS 5474741 HAS SOPS 3630841 HAS SOUS 3508210 HAS SOUPS 3338824 WITH SCORE 3344298.741
AT ITER 1765 NEW BEST:: SOT 8270305 SOS 5474174 HAS SOPS 3629706 HAS SOUS 3506742 HAS SOUPS 3337105 WITH SCORE 3342579.174
AT ITER 1767 NEW BEST:: SOT 8270305 SOS 5474174 HAS SOPS 3629558 HAS SOUS 3506672 HAS SOUPS 3337035 WITH SCORE 3342509.174
AT ITER 1776 NEW BEST:: SOT 8270786 SOS 5474955 HAS SOPS 3629411 HAS SOUS 3506797 HAS SOUPS 3336889 WITH SCORE 3342363.955
AT ITER 1783 NEW BEST:: SOT 8270885 SOS 5475143 HAS SOPS 3629261 HAS SOUS 3506648 HAS SOUPS 3336740 WITH SCORE 3342215.143
AT ITER 1786 NEW BEST:: SOT 8270898 SOS 5478236 HAS SOPS 3628896 HAS SOUS 3506491 HAS SOUPS 3336375 WITH SCORE 3341853.236
AT ITER 1794 NEW BEST:: SOT 8271195 SOS 5478804 HAS SOPS 3628673 HAS SOUS 3506269 HAS SOUPS 3336153 WITH SCORE 3341631.804
AT ITER 1802 NEW BEST:: SOT 8271223 SOS 5478860 HAS SOPS 3627993 HAS SOUS 3505973 HAS SOUPS 3335810 WITH SCORE 3341288.86
AT ITER 1810 NEW BEST:: SOT 8271223 SOS 5478860 HAS SOPS 3626068 HAS SOUS 3504183 HAS SOUPS 3333885 WITH SCORE 3339363.86
AT ITER 1817 NEW BEST:: SOT 8271100 SOS 5478737 HAS SOPS 3625583 HAS SOUS 3503955 HAS SOUPS 3333657 WITH SCORE 3339135.737
AT ITER 1821 NEW BEST:: SOT 8271544 SOS 5477192 HAS SOPS 3626770 HAS SOUS 3502430 HAS SOUPS 3332380 WITH SCORE 3337857.192
AT ITER 1841 NEW BEST:: SOT 8271544 SOS 5477192 HAS SOPS 3625567 HAS SOUS 3501628 HAS SOUPS 3331578 WITH SCORE 3337055.192
AT ITER 1844 NEW BEST:: SOT 8271130 SOS 5476778 HAS SOPS 3624542 HAS SOUS 3500742 HAS SOUPS 3330357 WITH SCORE 3335833.778
AT ITER 1857 NEW BEST:: SOT 8271130 SOS 5476778 HAS SOPS 3624394 HAS SOUS 3500777 HAS SOUPS 3330209 WITH SCORE 3335685.778
AT ITER 1865 NEW BEST:: SOT 8271130 SOS 5476778 HAS SOPS 3623955 HAS SOUS 3499899 HAS SOUPS 3329331 WITH SCORE 3334807.778
AT ITER 1867 NEW BEST:: SOT 8271136 SOS 5476784 HAS SOPS 3623153 HAS SOUS 3499227 HAS SOUPS 3328529 WITH SCORE 3334005.784
AT ITER 1868 NEW BEST:: SOT 8271090 SOS 5476738 HAS SOPS 3623015 HAS SOUS 3499135 HAS SOUPS 3328391 WITH SCORE 3333867.738
AT ITER 1881 NEW BEST:: SOT 8271090 SOS 5476738 HAS SOPS 3623233 HAS SOUS 3499025 HAS SOUPS 3328281 WITH SCORE 3333757.738
AT ITER 1884 NEW BEST:: SOT 8269651 SOS 5475299 HAS SOPS 3622872 HAS SOUS 3498664 HAS SOUPS 3327920 WITH SCORE 3333395.299
AT ITER 1887 NEW BEST:: SOT 8269660 SOS 5482328 HAS SOPS 3622526 HAS SOUS 3498792 HAS SOUPS 3327574 WITH SCORE 3333056.328
AT ITER 1888 NEW BEST:: SOT 8269324 SOS 5481992 HAS SOPS 3621854 HAS SOUS 3498282 HAS SOUPS 3327064 WITH SCORE 3332545.992
AT ITER 1890 NEW BEST:: SOT 8269161 SOS 5481829 HAS SOPS 3621323 HAS SOUS 3496952 HAS SOUPS 3325734 WITH SCORE 3331215.829
AT ITER 1894 NEW BEST:: SOT 8268211 SOS 5480879 HAS SOPS 3621323 HAS SOUS 3496952 HAS SOUPS 3325734 WITH SCORE 3331214.879
AT ITER 1898 NEW BEST:: SOT 8268211 SOS 5480879 HAS SOPS 3620465 HAS SOUS 3496021 HAS SOUPS 3324803 WITH SCORE 3330283.879
AT ITER 1899 NEW BEST:: SOT 8269920 SOS 5482588 HAS SOPS 3618780 HAS SOUS 3498454 HAS SOUPS 3323756 WITH SCORE 3329238.588
AT ITER 1903 NEW BEST:: SOT 8269920 SOS 5482588 HAS SOPS 3618492 HAS SOUS 3498166 HAS SOUPS 3323468 WITH SCORE 3328950.588
AT ITER 1904 NEW BEST:: SOT 8270211 SOS 5483079 HAS SOPS 3618133 HAS SOUS 3497878 HAS SOUPS 3323110 WITH SCORE 3328593.079
AT ITER 1911 NEW BEST:: SOT 8269650 SOS 5482518 HAS SOPS 3617803 HAS SOUS 3497548 HAS SOUPS 3322780 WITH SCORE 3328262.518
AT ITER 1913 NEW BEST:: SOT 8269526 SOS 5482270 HAS SOPS 3617621 HAS SOUS 3497366 HAS SOUPS 3322598 WITH SCORE 3328080.27
AT ITER 1914 NEW BEST:: SOT 8269343 SOS 5482087 HAS SOPS 3617438 HAS SOUS 3497183 HAS SOUPS 3322415 WITH SCORE 3327897.087
AT ITER 1915 NEW BEST:: SOT 8269221 SOS 5481965 HAS SOPS 3617072 HAS SOUS 3496903 HAS SOUPS 3322049 WITH SCORE 3327530.965
AT ITER 1916 NEW BEST:: SOT 8269221 SOS 5481994 HAS SOPS 3616244 HAS SOUS 3496076 HAS SOUPS 3321222 WITH SCORE 3326703.994
AT ITER 1919 NEW BEST:: SOT 8269221 SOS 5481994 HAS SOPS 3616308 HAS SOUS 3495881 HAS SOUPS 3321027 WITH SCORE 3326508.994
AT ITER 1924 NEW BEST:: SOT 8269221 SOS 5481994 HAS SOPS 3615875 HAS SOUS 3495376 HAS SOUPS 3320522 WITH SCORE 3326003.994
AT ITER 1926 NEW BEST:: SOT 8269149 SOS 5480098 HAS SOPS 3614138 HAS SOUS 3494907 HAS SOUPS 3320053 WITH SCORE 3325533.098
AT ITER 1928 NEW BEST:: SOT 8269149 SOS 5480098 HAS SOPS 3613053 HAS SOUS 3493823 HAS SOUPS 3318969 WITH SCORE 3324449.098
AT ITER 1930 NEW BEST:: SOT 8269149 SOS 5480098 HAS SOPS 3611522 HAS SOUS 3492472 HAS SOUPS 3317618 WITH SCORE 3323098.098
AT ITER 1931 NEW BEST:: SOT 8268885 SOS 5479834 HAS SOPS 3611258 HAS SOUS 3492208 HAS SOUPS 3317354 WITH SCORE 3322833.834
AT ITER 1946 NEW BEST:: SOT 8268795 SOS 5479744 HAS SOPS 3611078 HAS SOUS 3492028 HAS SOUPS 3317174 WITH SCORE 3322653.744
AT ITER 1960 NEW BEST:: SOT 8268795 SOS 5479744 HAS SOPS 3610904 HAS SOUS 3491854 HAS SOUPS 3317000 WITH SCORE 3322479.744
AT ITER 1961 NEW BEST:: SOT 8268795 SOS 5479744 HAS SOPS 3612151 HAS SOUS 3491853 HAS SOUPS 3316999 WITH SCORE 3322478.744
AT ITER 1966 NEW BEST:: SOT 8268642 SOS 5479591 HAS SOPS 3611459 HAS SOUS 3491162 HAS SOUPS 3316308 WITH SCORE 3321787.591
AT ITER 1974 NEW BEST:: SOT 8268642 SOS 5479790 HAS SOPS 3610945 HAS SOUS 3491480 HAS SOUPS 3315795 WITH SCORE 3321274.79
AT ITER 1975 NEW BEST:: SOT 8268403 SOS 5479551 HAS SOPS 3610706 HAS SOUS 3491226 HAS SOUPS 3315541 WITH SCORE 3321020.551
AT ITER 1977 NEW BEST:: SOT 8269093 SOS 5477952 HAS SOPS 3612283 HAS SOUS 3489706 HAS SOUPS 3314317 WITH SCORE 3319794.952
AT ITER 1981 NEW BEST:: SOT 8269093 SOS 5477952 HAS SOPS 3612023 HAS SOUS 3489446 HAS SOUPS 3314057 WITH SCORE 3319534.952
AT ITER 1982 NEW BEST:: SOT 8269153 SOS 5478382 HAS SOPS 3611717 HAS SOUS 3489856 HAS SOUPS 3313751 WITH SCORE 3319229.382
AT ITER 1991 NEW BEST:: SOT 8269153 SOS 5478382 HAS SOPS 3611716 HAS SOUS 3489855 HAS SOUPS 3313750 WITH SCORE 3319228.382
AT ITER 1995 NEW BEST:: SOT 8269181 SOS 5484630 HAS SOPS 3611066 HAS SOUS 3489544 HAS SOUPS 3313100 WITH SCORE 3318584.63
AT ITER 2004 NEW BEST:: SOT 8269181 SOS 5466342 HAS SOPS 3592931 HAS SOUS 3489189 HAS SOUPS 3312745 WITH SCORE 3318211.342
AT ITER 2009 NEW BEST:: SOT 8269324 SOS 5466627 HAS SOPS 3592246 HAS SOUS 3488595 HAS SOUPS 3312061 WITH SCORE 3317527.627
AT ITER 2020 NEW BEST:: SOT 8269318 SOS 5466621 HAS SOPS 3591068 HAS SOUS 3487491 HAS SOUPS 3310957 WITH SCORE 3316423.621
AT ITER 2022 NEW BEST:: SOT 8269320 SOS 5466623 HAS SOPS 3589610 HAS SOUS 3487021 HAS SOUPS 3310334 WITH SCORE 3315800.623
AT ITER 2030 NEW BEST:: SOT 8269671 SOS 5466974 HAS SOPS 3589449 HAS SOUS 3488119 HAS SOUPS 3310174 WITH SCORE 3315640.974
AT ITER 2032 NEW BEST:: SOT 8269567 SOS 5466870 HAS SOPS 3587590 HAS SOUS 3486262 HAS SOUPS 3308317 WITH SCORE 3313783.87
AT ITER 2037 NEW BEST:: SOT 8268995 SOS 5466931 HAS SOPS 3585134 HAS SOUS 3484765 HAS SOUPS 3306464 WITH SCORE 3311930.931
AT ITER 2039 NEW BEST:: SOT 8269530 SOS 5467922 HAS SOPS 3584983 HAS SOUS 3484615 HAS SOUPS 3306314 WITH SCORE 3311781.922
AT ITER 2040 NEW BEST:: SOT 8269423 SOS 5467815 HAS SOPS 3584876 HAS SOUS 3484508 HAS SOUPS 3306207 WITH SCORE 3311674.815
AT ITER 2042 NEW BEST:: SOT 8269923 SOS 5468814 HAS SOPS 3584540 HAS SOUS 3484173 HAS SOUPS 3305872 WITH SCORE 3311340.814
AT ITER 2043 NEW BEST:: SOT 8271303 SOS 5470194 HAS SOPS 3585072 HAS SOUS 3483871 HAS SOUPS 3305570 WITH SCORE 3311040.194
AT ITER 2049 NEW BEST:: SOT 8271303 SOS 5470194 HAS SOPS 3585545 HAS SOUS 3483522 HAS SOUPS 3305221 WITH SCORE 3310691.194
AT ITER 2052 NEW BEST:: SOT 8271087 SOS 5469978 HAS SOPS 3585705 HAS SOUS 3482830 HAS SOUPS 3304563 WITH SCORE 3310032.978
AT ITER 2053 NEW BEST:: SOT 8271262 SOS 5470273 HAS SOPS 3585170 HAS SOUS 3482961 HAS SOUPS 3304029 WITH SCORE 3309499.273
AT ITER 2058 NEW BEST:: SOT 8271303 SOS 5476888 HAS SOPS 3585038 HAS SOUS 3483002 HAS SOUPS 3303897 WITH SCORE 3309373.888
AT ITER 2063 NEW BEST:: SOT 8271095 SOS 5476680 HAS SOPS 3584830 HAS SOUS 3482794 HAS SOUPS 3303689 WITH SCORE 3309165.68
AT ITER 2073 NEW BEST:: SOT 8271095 SOS 5476680 HAS SOPS 3584826 HAS SOUS 3482825 HAS SOUPS 3303685 WITH SCORE 3309161.68
AT ITER 2076 NEW BEST:: SOT 8271095 SOS 5476680 HAS SOPS 3584610 HAS SOUS 3482725 HAS SOUPS 3303585 WITH SCORE 3309061.68
AT ITER 2078 NEW BEST:: SOT 8270325 SOS 5475910 HAS SOPS 3583966 HAS SOUS 3482081 HAS SOUPS 3302941 WITH SCORE 3308416.91
AT ITER 2079 NEW BEST:: SOT 8270325 SOS 5475910 HAS SOPS 3583905 HAS SOUS 3481959 HAS SOUPS 3302819 WITH SCORE 3308294.91
AT ITER 2080 NEW BEST:: SOT 8269274 SOS 5474859 HAS SOPS 3583905 HAS SOUS 3481959 HAS SOUPS 3302819 WITH SCORE 3308293.859
AT ITER 2081 NEW BEST:: SOT 8268189 SOS 5456240 HAS SOPS 3583077 HAS SOUS 3480010 HAS SOUPS 3301761 WITH SCORE 3307217.24
AT ITER 2099 NEW BEST:: SOT 8267342 SOS 5455393 HAS SOPS 3583076 HAS SOUS 3479162 HAS SOUPS 3301760 WITH SCORE 3307215.393
AT ITER 2103 NEW BEST:: SOT 8267342 SOS 5455393 HAS SOPS 3583075 HAS SOUS 3479013 HAS SOUPS 3301611 WITH SCORE 3307066.393
AT ITER 2116 NEW BEST:: SOT 8267043 SOS 5455094 HAS SOPS 3583075 HAS SOUS 3478714 HAS SOUPS 3301611 WITH SCORE 3307066.094
AT ITER 2118 NEW BEST:: SOT 8266676 SOS 5454727 HAS SOPS 3581811 HAS SOUS 3477182 HAS SOUPS 3299733 WITH SCORE 3305187.727
AT ITER 2119 NEW BEST:: SOT 8266496 SOS 5454547 HAS SOPS 3580819 HAS SOUS 3476466 HAS SOUPS 3298741 WITH SCORE 3304195.547
AT ITER 2127 NEW BEST:: SOT 8266625 SOS 5468969 HAS SOPS 3580580 HAS SOUS 3476595 HAS SOUPS 3298502 WITH SCORE 3303970.969
AT ITER 2129 NEW BEST:: SOT 8266625 SOS 5468823 HAS SOPS 3580434 HAS SOUS 3476449 HAS SOUPS 3298356 WITH SCORE 3303824.823
AT ITER 2132 NEW BEST:: SOT 8266493 SOS 5468691 HAS SOPS 3579889 HAS SOUS 3475784 HAS SOUPS 3297691 WITH SCORE 3303159.691
AT ITER 2134 NEW BEST:: SOT 8266581 SOS 5482088 HAS SOPS 3579635 HAS SOUS 3475872 HAS SOUPS 3297437 WITH SCORE 3302919.088
AT ITER 2139 NEW BEST:: SOT 8266562 SOS 5482069 HAS SOPS 3579616 HAS SOUS 3475853 HAS SOUPS 3297418 WITH SCORE 3302900.069
AT ITER 2150 NEW BEST:: SOT 8266562 SOS 5482069 HAS SOPS 3579004 HAS SOUS 3475243 HAS SOUPS 3296808 WITH SCORE 3302290.069
AT ITER 2155 NEW BEST:: SOT 8266562 SOS 5482069 HAS SOPS 3579023 HAS SOUS 3475006 HAS SOUPS 3296616 WITH SCORE 3302098.069
AT ITER 2162 NEW BEST:: SOT 8266562 SOS 5482069 HAS SOPS 3577365 HAS SOUS 3474182 HAS SOUPS 3295792 WITH SCORE 3301274.069
AT ITER 2163 NEW BEST:: SOT 8271001 SOS 5466864 HAS SOPS 3556253 HAS SOUS 3472075 HAS SOUPS 3293685 WITH SCORE 3299151.864
AT ITER 2170 NEW BEST:: SOT 8270502 SOS 5466365 HAS SOPS 3556253 HAS SOUS 3472075 HAS SOUPS 3293685 WITH SCORE 3299151.365
AT ITER 2177 NEW BEST:: SOT 8270660 SOS 5466631 HAS SOPS 3556191 HAS SOUS 3472372 HAS SOUPS 3293623 WITH SCORE 3299089.631
AT ITER 2181 NEW BEST:: SOT 8270660 SOS 5466631 HAS SOPS 3556087 HAS SOUS 3471438 HAS SOUPS 3292689 WITH SCORE 3298155.631
AT ITER 2189 NEW BEST:: SOT 8270660 SOS 5466359 HAS SOPS 3554637 HAS SOUS 3470297 HAS SOUPS 3291239 WITH SCORE 3296705.359
AT ITER 2202 NEW BEST:: SOT 8270541 SOS 5466240 HAS SOPS 3554161 HAS SOUS 3470076 HAS SOUPS 3290882 WITH SCORE 3296348.24
AT ITER 2204 NEW BEST:: SOT 8270546 SOS 5466672 HAS SOPS 3553860 HAS SOUS 3469998 HAS SOUPS 3290581 WITH SCORE 3296047.672
AT ITER 2210 NEW BEST:: SOT 8270546 SOS 5466672 HAS SOPS 3553860 HAS SOUS 3469837 HAS SOUPS 3290392 WITH SCORE 3295858.672
AT ITER 2217 NEW BEST:: SOT 8270546 SOS 5466672 HAS SOPS 3553311 HAS SOUS 3469288 HAS SOUPS 3289843 WITH SCORE 3295309.672
AT ITER 2224 NEW BEST:: SOT 8270546 SOS 5466672 HAS SOPS 3553066 HAS SOUS 3469288 HAS SOUPS 3289598 WITH SCORE 3295064.672
AT ITER 2229 NEW BEST:: SOT 8270546 SOS 5466672 HAS SOPS 3553500 HAS SOUS 3469146 HAS SOUPS 3289456 WITH SCORE 3294922.672
AT ITER 2232 NEW BEST:: SOT 8270546 SOS 5466672 HAS SOPS 3553415 HAS SOUS 3468945 HAS SOUPS 3289255 WITH SCORE 3294721.672
AT ITER 2235 NEW BEST:: SOT 8270616 SOS 5466855 HAS SOPS 3552753 HAS SOUS 3468524 HAS SOUPS 3288594 WITH SCORE 3294060.855
AT ITER 2251 NEW BEST:: SOT 8273941 SOS 5444547 HAS SOPS 3512892 HAS SOUS 3453536 HAS SOUPS 3273606 WITH SCORE 3279050.547
AT ITER 2252 NEW BEST:: SOT 8274526 SOS 5445609 HAS SOPS 3512841 HAS SOUS 3453486 HAS SOUPS 3273556 WITH SCORE 3279001.609
AT ITER 2258 NEW BEST:: SOT 8275025 SOS 5446108 HAS SOPS 3512174 HAS SOUS 3453374 HAS SOUPS 3273444 WITH SCORE 3278890.108
AT ITER 2265 NEW BEST:: SOT 8273936 SOS 5445019 HAS SOPS 3512174 HAS SOUS 3453374 HAS SOUPS 3273444 WITH SCORE 3278889.019
AT ITER 2268 NEW BEST:: SOT 8273740 SOS 5444823 HAS SOPS 3512248 HAS SOUS 3453177 HAS SOUPS 3273051 WITH SCORE 3278495.823
AT ITER 2276 NEW BEST:: SOT 8273740 SOS 5444823 HAS SOPS 3511362 HAS SOUS 3452291 HAS SOUPS 3272165 WITH SCORE 3277609.823
AT ITER 2277 NEW BEST:: SOT 8273822 SOS 5444986 HAS SOPS 3510917 HAS SOUS 3452327 HAS SOUPS 3271720 WITH SCORE 3277164.986
AT ITER 2288 NEW BEST:: SOT 8273826 SOS 5445099 HAS SOPS 3510377 HAS SOUS 3451894 HAS SOUPS 3271181 WITH SCORE 3276626.099
AT ITER 2291 NEW BEST:: SOT 8273826 SOS 5445099 HAS SOPS 3510429 HAS SOUS 3451859 HAS SOUPS 3271146 WITH SCORE 3276591.099
AT ITER 2294 NEW BEST:: SOT 8273826 SOS 5445099 HAS SOPS 3508802 HAS SOUS 3450234 HAS SOUPS 3269521 WITH SCORE 3274966.099
AT ITER 2295 NEW BEST:: SOT 8273826 SOS 5445099 HAS SOPS 3508763 HAS SOUS 3450195 HAS SOUPS 3269482 WITH SCORE 3274927.099
AT ITER 2296 NEW BEST:: SOT 8273561 SOS 5444834 HAS SOPS 3508166 HAS SOUS 3449598 HAS SOUPS 3268885 WITH SCORE 3274329.834
AT ITER 2298 NEW BEST:: SOT 8273561 SOS 5444834 HAS SOPS 3507629 HAS SOUS 3448437 HAS SOUPS 3267724 WITH SCORE 3273168.834
AT ITER 2306 NEW BEST:: SOT 8273442 SOS 5444715 HAS SOPS 3507391 HAS SOUS 3448199 HAS SOUPS 3267486 WITH SCORE 3272930.715
AT ITER 2323 NEW BEST:: SOT 8273441 SOS 5444714 HAS SOPS 3507390 HAS SOUS 3448198 HAS SOUPS 3267485 WITH SCORE 3272929.714
AT ITER 2347 NEW BEST:: SOT 8273460 SOS 5444733 HAS SOPS 3507123 HAS SOUS 3447931 HAS SOUPS 3267218 WITH SCORE 3272662.733
AT ITER 2353 NEW BEST:: SOT 8273460 SOS 5444511 HAS SOPS 3507123 HAS SOUS 3447931 HAS SOUPS 3267218 WITH SCORE 3272662.511
AT ITER 2357 NEW BEST:: SOT 8273460 SOS 5444511 HAS SOPS 3507089 HAS SOUS 3447898 HAS SOUPS 3267185 WITH SCORE 3272629.511
AT ITER 2360 NEW BEST:: SOT 8273455 SOS 5444506 HAS SOPS 3507079 HAS SOUS 3447888 HAS SOUPS 3267175 WITH SCORE 3272619.506
AT ITER 2370 NEW BEST:: SOT 8274249 SOS 5445300 HAS SOPS 3507872 HAS SOUS 3447887 HAS SOUPS 3267174 WITH SCORE 3272619.3
AT ITER 2373 NEW BEST:: SOT 8273812 SOS 5444863 HAS SOPS 3507435 HAS SOUS 3447666 HAS SOUPS 3266953 WITH SCORE 3272397.863
AT ITER 2378 NEW BEST:: SOT 8274071 SOS 5445749 HAS SOPS 3507121 HAS SOUS 3447352 HAS SOUPS 3266639 WITH SCORE 3272084.749
AT ITER 2385 NEW BEST:: SOT 8274226 SOS 5446192 HAS SOPS 3504770 HAS SOUS 3447267 HAS SOUPS 3264289 WITH SCORE 3269735.192
AT ITER 2389 NEW BEST:: SOT 8274229 SOS 5446746 HAS SOPS 3502433 HAS SOUS 3446042 HAS SOUPS 3261953 WITH SCORE 3267399.746
AT ITER 2393 NEW BEST:: SOT 8274229 SOS 5446746 HAS SOPS 3502372 HAS SOUS 3445168 HAS SOUPS 3261079 WITH SCORE 3266525.746
AT ITER 2397 NEW BEST:: SOT 8274229 SOS 5446746 HAS SOPS 3502579 HAS SOUS 3444991 HAS SOUPS 3260902 WITH SCORE 3266348.746
AT ITER 2400 NEW BEST:: SOT 8274199 SOS 5446716 HAS SOPS 3502015 HAS SOUS 3444408 HAS SOUPS 3260319 WITH SCORE 3265765.716
AT ITER 2403 NEW BEST:: SOT 8274118 SOS 5446603 HAS SOPS 3501911 HAS SOUS 3443749 HAS SOUPS 3259660 WITH SCORE 3265106.603
AT ITER 2411 NEW BEST:: SOT 8274118 SOS 5446603 HAS SOPS 3501540 HAS SOUS 3442547 HAS SOUPS 3258458 WITH SCORE 3263904.603
AT ITER 2413 NEW BEST:: SOT 8273462 SOS 5444750 HAS SOPS 3498922 HAS SOUS 3440576 HAS SOUPS 3256487 WITH SCORE 3261931.75
AT ITER 2414 NEW BEST:: SOT 8273462 SOS 5444750 HAS SOPS 3498921 HAS SOUS 3440239 HAS SOUPS 3256150 WITH SCORE 3261594.75
AT ITER 2421 NEW BEST:: SOT 8273462 SOS 5444750 HAS SOPS 3499077 HAS SOUS 3440238 HAS SOUPS 3256149 WITH SCORE 3261593.75
AT ITER 2422 NEW BEST:: SOT 8273378 SOS 5444666 HAS SOPS 3498993 HAS SOUS 3440154 HAS SOUPS 3256065 WITH SCORE 3261509.666
AT ITER 2425 NEW BEST:: SOT 8273037 SOS 5444325 HAS SOPS 3498232 HAS SOUS 3439685 HAS SOUPS 3255596 WITH SCORE 3261040.325
AT ITER 2428 NEW BEST:: SOT 8272560 SOS 5443848 HAS SOPS 3498118 HAS SOUS 3439429 HAS SOUPS 3255482 WITH SCORE 3260925.848
AT ITER 2429 NEW BEST:: SOT 8272453 SOS 5443741 HAS SOPS 3497782 HAS SOUS 3438665 HAS SOUPS 3254718 WITH SCORE 3260161.741
AT ITER 2438 NEW BEST:: SOT 8269269 SOS 5440711 HAS SOPS 3496958 HAS SOUS 3435635 HAS SOUPS 3253894 WITH SCORE 3259334.711
AT ITER 2443 NEW BEST:: SOT 8269269 SOS 5440711 HAS SOPS 3496948 HAS SOUS 3435625 HAS SOUPS 3253874 WITH SCORE 3259314.711
AT ITER 2446 NEW BEST:: SOT 8268042 SOS 5414154 HAS SOPS 3496419 HAS SOUS 3433579 HAS SOUPS 3253346 WITH SCORE 3258760.154
AT ITER 2460 NEW BEST:: SOT 8268116 SOS 5421366 HAS SOPS 3496132 HAS SOUS 3433649 HAS SOUPS 3253059 WITH SCORE 3258480.366
AT ITER 2461 NEW BEST:: SOT 8268845 SOS 5445352 HAS SOPS 3495054 HAS SOUS 3433164 HAS SOUPS 3251981 WITH SCORE 3257426.352
AT ITER 2462 NEW BEST:: SOT 8268809 SOS 5445316 HAS SOPS 3494981 HAS SOUS 3433056 HAS SOUPS 3251873 WITH SCORE 3257318.316
AT ITER 2467 NEW BEST:: SOT 8268737 SOS 5444353 HAS SOPS 3494134 HAS SOUS 3432619 HAS SOUPS 3251436 WITH SCORE 3256880.353
AT ITER 2476 NEW BEST:: SOT 8268552 SOS 5444168 HAS SOPS 3494134 HAS SOUS 3432619 HAS SOUPS 3251436 WITH SCORE 3256880.168
AT ITER 2479 NEW BEST:: SOT 8268717 SOS 5444447 HAS SOPS 3493709 HAS SOUS 3432731 HAS SOUPS 3251011 WITH SCORE 3256455.447
AT ITER 2480 NEW BEST:: SOT 8268558 SOS 5443797 HAS SOPS 3493367 HAS SOUS 3432519 HAS SOUPS 3250799 WITH SCORE 3256242.797
AT ITER 2485 NEW BEST:: SOT 8268308 SOS 5443547 HAS SOPS 3493367 HAS SOUS 3432519 HAS SOUPS 3250799 WITH SCORE 3256242.547
AT ITER 2523 NEW BEST:: SOT 8268260 SOS 5443421 HAS SOPS 3493393 HAS SOUS 3432423 HAS SOUPS 3250703 WITH SCORE 3256146.421
AT ITER 2525 NEW BEST:: SOT 8267236 SOS 5442397 HAS SOPS 3492565 HAS SOUS 3430719 HAS SOUPS 3249876 WITH SCORE 3255318.397
AT ITER 2540 NEW BEST:: SOT 8267236 SOS 5442397 HAS SOPS 3492243 HAS SOUS 3429580 HAS SOUPS 3248737 WITH SCORE 3254179.397
AT ITER 2544 NEW BEST:: SOT 8267236 SOS 5442397 HAS SOPS 3491572 HAS SOUS 3428394 HAS SOUPS 3247393 WITH SCORE 3252835.397
AT ITER 2552 NEW BEST:: SOT 8267243 SOS 5454163 HAS SOPS 3491260 HAS SOUS 3428401 HAS SOUPS 3247081 WITH SCORE 3252535.163
AT ITER 2554 NEW BEST:: SOT 8267250 SOS 5459927 HAS SOPS 3490960 HAS SOUS 3428404 HAS SOUPS 3246781 WITH SCORE 3252240.927
AT ITER 2565 NEW BEST:: SOT 8266843 SOS 5459520 HAS SOPS 3490553 HAS SOUS 3427997 HAS SOUPS 3246374 WITH SCORE 3251833.52
AT ITER 2566 NEW BEST:: SOT 8266828 SOS 5459505 HAS SOPS 3490538 HAS SOUS 3427997 HAS SOUPS 3246374 WITH SCORE 3251833.505
AT ITER 2570 NEW BEST:: SOT 8266712 SOS 5459273 HAS SOPS 3490422 HAS SOUS 3427881 HAS SOUPS 3246258 WITH SCORE 3251717.273
AT ITER 2571 NEW BEST:: SOT 8266712 SOS 5459273 HAS SOPS 3489797 HAS SOUS 3427629 HAS SOUPS 3246134 WITH SCORE 3251593.273
AT ITER 2577 NEW BEST:: SOT 8266712 SOS 5459273 HAS SOPS 3488205 HAS SOUS 3426833 HAS SOUPS 3245338 WITH SCORE 3250797.273
AT ITER 2580 NEW BEST:: SOT 8266712 SOS 5459535 HAS SOPS 3488147 HAS SOUS 3426775 HAS SOUPS 3245280 WITH SCORE 3250739.535
AT ITER 2592 NEW BEST:: SOT 8266712 SOS 5459535 HAS SOPS 3487715 HAS SOUS 3426313 HAS SOUPS 3244818 WITH SCORE 3250277.535
AT ITER 2593 NEW BEST:: SOT 8266712 SOS 5459535 HAS SOPS 3486871 HAS SOUS 3426229 HAS SOUPS 3244734 WITH SCORE 3250193.535
AT ITER 2595 NEW BEST:: SOT 8267541 SOS 5460364 HAS SOPS 3487040 HAS SOUS 3425665 HAS SOUPS 3244105 WITH SCORE 3249565.364
AT ITER 2600 NEW BEST:: SOT 8267186 SOS 5460009 HAS SOPS 3485845 HAS SOUS 3424890 HAS SOUPS 3242910 WITH SCORE 3248370.009
AT ITER 2607 NEW BEST:: SOT 8266789 SOS 5459612 HAS SOPS 3484432 HAS SOUS 3423892 HAS SOUPS 3241672 WITH SCORE 3247131.612
AT ITER 2626 NEW BEST:: SOT 8266586 SOS 5459409 HAS SOPS 3483671 HAS SOUS 3423403 HAS SOUPS 3241058 WITH SCORE 3246517.409
AT ITER 2628 NEW BEST:: SOT 8266586 SOS 5459409 HAS SOPS 3483770 HAS SOUS 3423166 HAS SOUPS 3240821 WITH SCORE 3246280.409
AT ITER 2630 NEW BEST:: SOT 8266429 SOS 5459252 HAS SOPS 3483497 HAS SOUS 3422624 HAS SOUPS 3240279 WITH SCORE 3245738.252
AT ITER 2633 NEW BEST:: SOT 8266238 SOS 5459061 HAS SOPS 3482555 HAS SOUS 3422226 HAS SOUPS 3239356 WITH SCORE 3244815.061
AT ITER 2640 NEW BEST:: SOT 8266344 SOS 5459424 HAS SOPS 3481955 HAS SOUS 3421627 HAS SOUPS 3238757 WITH SCORE 3244216.424
AT ITER 2641 NEW BEST:: SOT 8266332 SOS 5459412 HAS SOPS 3481931 HAS SOUS 3421603 HAS SOUPS 3238733 WITH SCORE 3244192.412
AT ITER 2643 NEW BEST:: SOT 8266332 SOS 5459412 HAS SOPS 3481977 HAS SOUS 3421001 HAS SOUPS 3238131 WITH SCORE 3243590.412
AT ITER 2653 NEW BEST:: SOT 8266271 SOS 5459351 HAS SOPS 3481976 HAS SOUS 3420879 HAS SOUPS 3238009 WITH SCORE 3243468.351
AT ITER 2669 NEW BEST:: SOT 8266509 SOS 5459256 HAS SOPS 3481371 HAS SOUS 3420275 HAS SOUPS 3237405 WITH SCORE 3242864.256
AT ITER 2684 NEW BEST:: SOT 8266487 SOS 5459212 HAS SOPS 3480527 HAS SOUS 3419432 HAS SOUPS 3236562 WITH SCORE 3242021.212
AT ITER 2720 NEW BEST:: SOT 8266002 SOS 5458727 HAS SOPS 3479561 HAS SOUS 3418743 HAS SOUPS 3235608 WITH SCORE 3241066.727
AT ITER 2731 NEW BEST:: SOT 8266002 SOS 5458727 HAS SOPS 3480148 HAS SOUS 3418713 HAS SOUPS 3235578 WITH SCORE 3241036.727
AT ITER 2733 NEW BEST:: SOT 8266277 SOS 5459498 HAS SOPS 3479942 HAS SOUS 3418507 HAS SOUPS 3235372 WITH SCORE 3240831.498
AT ITER 2734 NEW BEST:: SOT 8266093 SOS 5459314 HAS SOPS 3478883 HAS SOUS 3417448 HAS SOUPS 3234313 WITH SCORE 3239772.314
AT ITER 2755 NEW BEST:: SOT 8266093 SOS 5459894 HAS SOPS 3478854 HAS SOUS 3417448 HAS SOUPS 3234284 WITH SCORE 3239743.894
AT ITER 2757 NEW BEST:: SOT 8266016 SOS 5459817 HAS SOPS 3478418 HAS SOUS 3417012 HAS SOUPS 3233848 WITH SCORE 3239307.817
AT ITER 2758 NEW BEST:: SOT 8265610 SOS 5459411 HAS SOPS 3476571 HAS SOUS 3415780 HAS SOUPS 3232519 WITH SCORE 3237978.411
AT ITER 2763 NEW BEST:: SOT 8265610 SOS 5459411 HAS SOPS 3474601 HAS SOUS 3413874 HAS SOUPS 3230384 WITH SCORE 3235843.411
AT ITER 2767 NEW BEST:: SOT 8265920 SOS 5459908 HAS SOPS 3474091 HAS SOUS 3413365 HAS SOUPS 3229875 WITH SCORE 3235334.908
AT ITER 2776 NEW BEST:: SOT 8265920 SOS 5459908 HAS SOPS 3473389 HAS SOUS 3412640 HAS SOUPS 3229150 WITH SCORE 3234609.908
AT ITER 2782 NEW BEST:: SOT 8265920 SOS 5459908 HAS SOPS 3474274 HAS SOUS 3411836 HAS SOUPS 3228346 WITH SCORE 3233805.908
AT ITER 2783 NEW BEST:: SOT 8265920 SOS 5459908 HAS SOPS 3473702 HAS SOUS 3411265 HAS SOUPS 3227775 WITH SCORE 3233234.908
AT ITER 2784 NEW BEST:: SOT 8265920 SOS 5459908 HAS SOPS 3473248 HAS SOUS 3410811 HAS SOUPS 3227321 WITH SCORE 3232780.908
AT ITER 2785 NEW BEST:: SOT 8265878 SOS 5459866 HAS SOPS 3473330 HAS SOUS 3410801 HAS SOUPS 3227311 WITH SCORE 3232770.866
AT ITER 2790 NEW BEST:: SOT 8265878 SOS 5459866 HAS SOPS 3472914 HAS SOUS 3410385 HAS SOUPS 3226895 WITH SCORE 3232354.866
AT ITER 2791 NEW BEST:: SOT 8265878 SOS 5459866 HAS SOPS 3472597 HAS SOUS 3409892 HAS SOUPS 3226402 WITH SCORE 3231861.866
AT ITER 2792 NEW BEST:: SOT 8265928 SOS 5467176 HAS SOPS 3471959 HAS SOUS 3410219 HAS SOUPS 3225764 WITH SCORE 3231231.176
AT ITER 2799 NEW BEST:: SOT 8265908 SOS 5467156 HAS SOPS 3471082 HAS SOUS 3409343 HAS SOUPS 3224888 WITH SCORE 3230355.156
AT ITER 2801 NEW BEST:: SOT 8265715 SOS 5466962 HAS SOPS 3471571 HAS SOUS 3409161 HAS SOUPS 3224706 WITH SCORE 3230172.962
AT ITER 2804 NEW BEST:: SOT 8265722 SOS 5466975 HAS SOPS 3470742 HAS SOUS 3408333 HAS SOUPS 3223878 WITH SCORE 3229344.975
AT ITER 2817 NEW BEST:: SOT 8265757 SOS 5467010 HAS SOPS 3469442 HAS SOUS 3407596 HAS SOUPS 3222892 WITH SCORE 3228359.01
AT ITER 2819 NEW BEST:: SOT 8265757 SOS 5457819 HAS SOPS 3469442 HAS SOUS 3407596 HAS SOUPS 3222892 WITH SCORE 3228349.819
AT ITER 2822 NEW BEST:: SOT 8265757 SOS 5457819 HAS SOPS 3469224 HAS SOUS 3407463 HAS SOUPS 3222674 WITH SCORE 3228131.819
AT ITER 2840 NEW BEST:: SOT 8265362 SOS 5457424 HAS SOPS 3468568 HAS SOUS 3406580 HAS SOUPS 3221612 WITH SCORE 3227069.424
AT ITER 2843 NEW BEST:: SOT 8265362 SOS 5457424 HAS SOPS 3467789 HAS SOUS 3404655 HAS SOUPS 3219556 WITH SCORE 3225013.424
AT ITER 2847 NEW BEST:: SOT 8265396 SOS 5462138 HAS SOPS 3467287 HAS SOUS 3404421 HAS SOUPS 3219054 WITH SCORE 3224516.138
AT ITER 2867 NEW BEST:: SOT 8265341 SOS 5462028 HAS SOPS 3467173 HAS SOUS 3404307 HAS SOUPS 3218940 WITH SCORE 3224402.028
AT ITER 2868 NEW BEST:: SOT 8265511 SOS 5462198 HAS SOPS 3466504 HAS SOUS 3403638 HAS SOUPS 3218271 WITH SCORE 3223733.198
AT ITER 2875 NEW BEST:: SOT 8265511 SOS 5462198 HAS SOPS 3466476 HAS SOUS 3403610 HAS SOUPS 3218243 WITH SCORE 3223705.198
AT ITER 2887 NEW BEST:: SOT 8265383 SOS 5462070 HAS SOPS 3466219 HAS SOUS 3403212 HAS SOUPS 3217845 WITH SCORE 3223307.07
AT ITER 2888 NEW BEST:: SOT 8265383 SOS 5462070 HAS SOPS 3466218 HAS SOUS 3403211 HAS SOUPS 3217844 WITH SCORE 3223306.07
AT ITER 2891 NEW BEST:: SOT 8265383 SOS 5462070 HAS SOPS 3466218 HAS SOUS 3402993 HAS SOUPS 3217626 WITH SCORE 3223088.07
AT ITER 2898 NEW BEST:: SOT 8265383 SOS 5462070 HAS SOPS 3466122 HAS SOUS 3402903 HAS SOUPS 3217530 WITH SCORE 3222992.07
AT ITER 2916 NEW BEST:: SOT 8265365 SOS 5461689 HAS SOPS 3465741 HAS SOUS 3401878 HAS SOUPS 3216505 WITH SCORE 3221966.689
AT ITER 2923 NEW BEST:: SOT 8265238 SOS 5461732 HAS SOPS 3465180 HAS SOUS 3401624 HAS SOUPS 3216251 WITH SCORE 3221712.732
AT ITER 2936 NEW BEST:: SOT 8265258 SOS 5461752 HAS SOPS 3465140 HAS SOUS 3401644 HAS SOUPS 3216211 WITH SCORE 3221672.752
AT ITER 2942 NEW BEST:: SOT 8265299 SOS 5461834 HAS SOPS 3464616 HAS SOUS 3400427 HAS SOUPS 3214994 WITH SCORE 3220455.834
AT ITER 2963 NEW BEST:: SOT 8264252 SOS 5460787 HAS SOPS 3464047 HAS SOUS 3399859 HAS SOUPS 3214426 WITH SCORE 3219886.787
AT ITER 2979 NEW BEST:: SOT 8264252 SOS 5460787 HAS SOPS 3463836 HAS SOUS 3399437 HAS SOUPS 3214004 WITH SCORE 3219464.787
AT ITER 2982 NEW BEST:: SOT 8264083 SOS 5460618 HAS SOPS 3463979 HAS SOUS 3399099 HAS SOUPS 3213666 WITH SCORE 3219126.618
AT ITER 2987 NEW BEST:: SOT 8263668 SOS 5460203 HAS SOPS 3462823 HAS SOUS 3398143 HAS SOUPS 3212511 WITH SCORE 3217971.203
AT ITER 2988 NEW BEST:: SOT 8263668 SOS 5460203 HAS SOPS 3461464 HAS SOUS 3397286 HAS SOUPS 3211279 WITH SCORE 3216739.203
AT ITER 2992 NEW BEST:: SOT 8263136 SOS 5459079 HAS SOPS 3461404 HAS SOUS 3396694 HAS SOUPS 3210687 WITH SCORE 3216146.079
AT ITER 2993 NEW BEST:: SOT 8262991 SOS 5458934 HAS SOPS 3460903 HAS SOUS 3396338 HAS SOUPS 3210186 WITH SCORE 3215644.934
AT ITER 2994 NEW BEST:: SOT 8262899 SOS 5458842 HAS SOPS 3460731 HAS SOUS 3396246 HAS SOUPS 3210014 WITH SCORE 3215472.842
AT ITER 2996 NEW BEST:: SOT 8263112 SOS 5459115 HAS SOPS 3460188 HAS SOUS 3395874 HAS SOUPS 3209472 WITH SCORE 3214931.115
AT ITER 3000 NEW BEST:: SOT 8263215 SOS 5459218 HAS SOPS 3459392 HAS SOUS 3395412 HAS SOUPS 3209010 WITH SCORE 3214469.218
AT ITER 3001 NEW BEST:: SOT 8263393 SOS 5459497 HAS SOPS 3458822 HAS SOUS 3394842 HAS SOUPS 3208440 WITH SCORE 3213899.497
AT ITER 3002 NEW BEST:: SOT 8263105 SOS 5459568 HAS SOPS 3458263 HAS SOUS 3394282 HAS SOUPS 3207880 WITH SCORE 3213339.568
AT ITER 3008 NEW BEST:: SOT 8262846 SOS 5459309 HAS SOPS 3457431 HAS SOUS 3393680 HAS SOUPS 3207085 WITH SCORE 3212544.309
AT ITER 3010 NEW BEST:: SOT 8262846 SOS 5459309 HAS SOPS 3457431 HAS SOUS 3393215 HAS SOUPS 3206620 WITH SCORE 3212079.309
AT ITER 3016 NEW BEST:: SOT 8263169 SOS 5459632 HAS SOPS 3457379 HAS SOUS 3394164 HAS SOUPS 3206568 WITH SCORE 3212027.632
AT ITER 3023 NEW BEST:: SOT 8262930 SOS 5459526 HAS SOPS 3457088 HAS SOUS 3393873 HAS SOUPS 3206277 WITH SCORE 3211736.526
AT ITER 3028 NEW BEST:: SOT 8262930 SOS 5459526 HAS SOPS 3456280 HAS SOUS 3393700 HAS SOUPS 3206104 WITH SCORE 3211563.526
AT ITER 3031 NEW BEST:: SOT 8262930 SOS 5459526 HAS SOPS 3455853 HAS SOUS 3393274 HAS SOUPS 3205678 WITH SCORE 3211137.526
AT ITER 3034 NEW BEST:: SOT 8262565 SOS 5459161 HAS SOPS 3455228 HAS SOUS 3392943 HAS SOUPS 3205053 WITH SCORE 3210512.161
AT ITER 3048 NEW BEST:: SOT 8262440 SOS 5459036 HAS SOPS 3454978 HAS SOUS 3392693 HAS SOUPS 3204803 WITH SCORE 3210262.036
AT ITER 3056 NEW BEST:: SOT 8262440 SOS 5459138 HAS SOPS 3452745 HAS SOUS 3391548 HAS SOUPS 3203658 WITH SCORE 3209117.138
AT ITER 3060 NEW BEST:: SOT 8262252 SOS 5458950 HAS SOPS 3450881 HAS SOUS 3389547 HAS SOUPS 3201657 WITH SCORE 3207115.95
AT ITER 3063 NEW BEST:: SOT 8262159 SOS 5458857 HAS SOPS 3450644 HAS SOUS 3388736 HAS SOUPS 3200846 WITH SCORE 3206304.857
AT ITER 3082 NEW BEST:: SOT 8261695 SOS 5458393 HAS SOPS 3450636 HAS SOUS 3388678 HAS SOUPS 3200797 WITH SCORE 3206255.393
AT ITER 3091 NEW BEST:: SOT 8261695 SOS 5458393 HAS SOPS 3450266 HAS SOUS 3388140 HAS SOUPS 3200119 WITH SCORE 3205577.393
AT ITER 3092 NEW BEST:: SOT 8261409 SOS 5455969 HAS SOPS 3450266 HAS SOUS 3387848 HAS SOUPS 3200119 WITH SCORE 3205574.969
AT ITER 3093 NEW BEST:: SOT 8261042 SOS 5455602 HAS SOPS 3449938 HAS SOUS 3387520 HAS SOUPS 3199791 WITH SCORE 3205246.602
AT ITER 3095 NEW BEST:: SOT 8261042 SOS 5455602 HAS SOPS 3448759 HAS SOUS 3386919 HAS SOUPS 3199190 WITH SCORE 3204645.602
AT ITER 3096 NEW BEST:: SOT 8260761 SOS 5455321 HAS SOPS 3448197 HAS SOUS 3386674 HAS SOUPS 3198664 WITH SCORE 3204119.321
AT ITER 3097 NEW BEST:: SOT 8259826 SOS 5431688 HAS SOPS 3448082 HAS SOUS 3385967 HAS SOUPS 3198550 WITH SCORE 3203981.688
AT ITER 3098 NEW BEST:: SOT 8260355 SOS 5432745 HAS SOPS 3448046 HAS SOUS 3385932 HAS SOUPS 3198515 WITH SCORE 3203947.745
AT ITER 3100 NEW BEST:: SOT 8261887 SOS 5434659 HAS SOPS 3447594 HAS SOUS 3385481 HAS SOUPS 3198064 WITH SCORE 3203498.659
AT ITER 3102 NEW BEST:: SOT 8261887 SOS 5434659 HAS SOPS 3447276 HAS SOUS 3385217 HAS SOUPS 3197800 WITH SCORE 3203234.659
AT ITER 3116 NEW BEST:: SOT 8262234 SOS 5435006 HAS SOPS 3447276 HAS SOUS 3385160 HAS SOUPS 3197743 WITH SCORE 3203178.006
AT ITER 3117 NEW BEST:: SOT 8262334 SOS 5435106 HAS SOPS 3447322 HAS SOUS 3384405 HAS SOUPS 3196988 WITH SCORE 3202423.106
AT ITER 3123 NEW BEST:: SOT 8262158 SOS 5434930 HAS SOPS 3447004 HAS SOUS 3384088 HAS SOUPS 3196671 WITH SCORE 3202105.93
AT ITER 3128 NEW BEST:: SOT 8261957 SOS 5434095 HAS SOPS 3446200 HAS SOUS 3383516 HAS SOUPS 3196099 WITH SCORE 3201533.095
AT ITER 3131 NEW BEST:: SOT 8262377 SOS 5432227 HAS SOPS 3447291 HAS SOUS 3382671 HAS SOUPS 3195478 WITH SCORE 3200910.227
AT ITER 3154 NEW BEST:: SOT 8262195 SOS 5432045 HAS SOPS 3446734 HAS SOUS 3382114 HAS SOUPS 3194921 WITH SCORE 3200353.045
AT ITER 3159 NEW BEST:: SOT 8261775 SOS 5431625 HAS SOPS 3444756 HAS SOUS 3381308 HAS SOUPS 3193912 WITH SCORE 3199343.625
AT ITER 3164 NEW BEST:: SOT 8261775 SOS 5431625 HAS SOPS 3444730 HAS SOUS 3381282 HAS SOUPS 3193886 WITH SCORE 3199317.625
AT ITER 3165 NEW BEST:: SOT 8261697 SOS 5431547 HAS SOPS 3444251 HAS SOUS 3380803 HAS SOUPS 3193407 WITH SCORE 3198838.547
AT ITER 3166 NEW BEST:: SOT 8262036 SOS 5431886 HAS SOPS 3443917 HAS SOUS 3380470 HAS SOUPS 3193074 WITH SCORE 3198505.886
AT ITER 3178 NEW BEST:: SOT 8262208 SOS 5432229 HAS SOPS 3443914 HAS SOUS 3380467 HAS SOUPS 3193071 WITH SCORE 3198503.229
AT ITER 3183 NEW BEST:: SOT 8262132 SOS 5429341 HAS SOPS 3441102 HAS SOUS 3380315 HAS SOUPS 3192919 WITH SCORE 3198348.341
AT ITER 3198 NEW BEST:: SOT 8262132 SOS 5429381 HAS SOPS 3440292 HAS SOUS 3380417 HAS SOUPS 3192110 WITH SCORE 3197539.381
AT ITER 3201 NEW BEST:: SOT 8262132 SOS 5429381 HAS SOPS 3439276 HAS SOUS 3379807 HAS SOUPS 3191500 WITH SCORE 3196929.381
AT ITER 3210 NEW BEST:: SOT 8262132 SOS 5429381 HAS SOPS 3438670 HAS SOUS 3379807 HAS SOUPS 3190894 WITH SCORE 3196323.381
AT ITER 3213 NEW BEST:: SOT 8262132 SOS 5429381 HAS SOPS 3437884 HAS SOUS 3379101 HAS SOUPS 3190188 WITH SCORE 3195617.381
AT ITER 3218 NEW BEST:: SOT 8262100 SOS 5429285 HAS SOPS 3437820 HAS SOUS 3379037 HAS SOUPS 3190124 WITH SCORE 3195553.285
AT ITER 3220 NEW BEST:: SOT 8261207 SOS 5450767 HAS SOPS 3436151 HAS SOUS 3377938 HAS SOUPS 3188455 WITH SCORE 3193905.767
AT ITER 3227 NEW BEST:: SOT 8262067 SOS 5479554 HAS SOPS 3435712 HAS SOUS 3378119 HAS SOUPS 3188016 WITH SCORE 3193495.554
AT ITER 3232 NEW BEST:: SOT 8262067 SOS 5479554 HAS SOPS 3435670 HAS SOUS 3377831 HAS SOUPS 3187728 WITH SCORE 3193207.554
AT ITER 3242 NEW BEST:: SOT 8262042 SOS 5479529 HAS SOPS 3435557 HAS SOUS 3377720 HAS SOUPS 3187617 WITH SCORE 3193096.529
AT ITER 3246 NEW BEST:: SOT 8262032 SOS 5479519 HAS SOPS 3435547 HAS SOUS 3377710 HAS SOUPS 3187607 WITH SCORE 3193086.519
AT ITER 3262 NEW BEST:: SOT 8262032 SOS 5479519 HAS SOPS 3435093 HAS SOUS 3377378 HAS SOUPS 3187275 WITH SCORE 3192754.519
AT ITER 3263 NEW BEST:: SOT 8261966 SOS 5479453 HAS SOPS 3434907 HAS SOUS 3377257 HAS SOUPS 3187154 WITH SCORE 3192633.453
AT ITER 3268 NEW BEST:: SOT 8262367 SOS 5497151 HAS SOPS 3434865 HAS SOUS 3378038 HAS SOUPS 3187112 WITH SCORE 3192609.151
AT ITER 3269 NEW BEST:: SOT 8262194 SOS 5496978 HAS SOPS 3433598 HAS SOUS 3376661 HAS SOUPS 3185596 WITH SCORE 3191092.978
AT ITER 3281 NEW BEST:: SOT 8262089 SOS 5496873 HAS SOPS 3433388 HAS SOUS 3376451 HAS SOUPS 3185386 WITH SCORE 3190882.873
AT ITER 3284 NEW BEST:: SOT 8262089 SOS 5496873 HAS SOPS 3433050 HAS SOUS 3376113 HAS SOUPS 3185048 WITH SCORE 3190544.873
AT ITER 3287 NEW BEST:: SOT 8262774 SOS 5494012 HAS SOPS 3435202 HAS SOUS 3374942 HAS SOUPS 3184244 WITH SCORE 3189738.012
AT ITER 3290 NEW BEST:: SOT 8262774 SOS 5494012 HAS SOPS 3435056 HAS SOUS 3374796 HAS SOUPS 3184098 WITH SCORE 3189592.012
AT ITER 3295 NEW BEST:: SOT 8262774 SOS 5494012 HAS SOPS 3435022 HAS SOUS 3374796 HAS SOUPS 3184081 WITH SCORE 3189575.012
AT ITER 3308 NEW BEST:: SOT 8262741 SOS 5493979 HAS SOPS 3434956 HAS SOUS 3374730 HAS SOUPS 3184015 WITH SCORE 3189508.979
AT ITER 3313 NEW BEST:: SOT 8262741 SOS 5493979 HAS SOPS 3434943 HAS SOUS 3374718 HAS SOUPS 3184003 WITH SCORE 3189496.979
AT ITER 3315 NEW BEST:: SOT 8262741 SOS 5493979 HAS SOPS 3435394 HAS SOUS 3374717 HAS SOUPS 3184002 WITH SCORE 3189495.979
AT ITER 3318 NEW BEST:: SOT 8262581 SOS 5492866 HAS SOPS 3433188 HAS SOUS 3374083 HAS SOUPS 3183368 WITH SCORE 3188860.866
AT ITER 3319 NEW BEST:: SOT 8262581 SOS 5492866 HAS SOPS 3431709 HAS SOUS 3372690 HAS SOUPS 3181975 WITH SCORE 3187467.866
AT ITER 3327 NEW BEST:: SOT 8262581 SOS 5492866 HAS SOPS 3431535 HAS SOUS 3372630 HAS SOUPS 3181915 WITH SCORE 3187407.866
AT ITER 3329 NEW BEST:: SOT 8262581 SOS 5492866 HAS SOPS 3431485 HAS SOUS 3372580 HAS SOUPS 3181865 WITH SCORE 3187357.866
AT ITER 3336 NEW BEST:: SOT 8262581 SOS 5492866 HAS SOPS 3431563 HAS SOUS 3371844 HAS SOUPS 3181129 WITH SCORE 3186621.866
AT ITER 3339 NEW BEST:: SOT 8262581 SOS 5492866 HAS SOPS 3431601 HAS SOUS 3371883 HAS SOUPS 3181108 WITH SCORE 3186600.866
AT ITER 3350 NEW BEST:: SOT 8262581 SOS 5492866 HAS SOPS 3431832 HAS SOUS 3371459 HAS SOUPS 3180684 WITH SCORE 3186176.866
AT ITER 3354 NEW BEST:: SOT 8262581 SOS 5492866 HAS SOPS 3431041 HAS SOUS 3370669 HAS SOUPS 3179894 WITH SCORE 3185386.866
AT ITER 3359 NEW BEST:: SOT 8262553 SOS 5492838 HAS SOPS 3430984 HAS SOUS 3370613 HAS SOUPS 3179838 WITH SCORE 3185330.838
AT ITER 3363 NEW BEST:: SOT 8262420 SOS 5492705 HAS SOPS 3430131 HAS SOUS 3369761 HAS SOUPS 3178986 WITH SCORE 3184478.705
AT ITER 3367 NEW BEST:: SOT 8262420 SOS 5492705 HAS SOPS 3430131 HAS SOUS 3369277 HAS SOUPS 3178502 WITH SCORE 3183994.705
AT ITER 3379 NEW BEST:: SOT 8262420 SOS 5492705 HAS SOPS 3429627 HAS SOUS 3368527 HAS SOUPS 3177752 WITH SCORE 3183244.705
AT ITER 3396 NEW BEST:: SOT 8262420 SOS 5492705 HAS SOPS 3429573 HAS SOUS 3367949 HAS SOUPS 3177174 WITH SCORE 3182666.705
AT ITER 3402 NEW BEST:: SOT 8262420 SOS 5492705 HAS SOPS 3429331 HAS SOUS 3368165 HAS SOUPS 3176932 WITH SCORE 3182424.705
AT ITER 3403 NEW BEST:: SOT 8262420 SOS 5492705 HAS SOPS 3428485 HAS SOUS 3367319 HAS SOUPS 3176086 WITH SCORE 3181578.705
AT ITER 3424 NEW BEST:: SOT 8262399 SOS 5492663 HAS SOPS 3428401 HAS SOUS 3367277 HAS SOUPS 3176023 WITH SCORE 3181515.663
AT ITER 3425 NEW BEST:: SOT 8261994 SOS 5492258 HAS SOPS 3426951 HAS SOUS 3365708 HAS SOUPS 3174452 WITH SCORE 3179944.258
AT ITER 3438 NEW BEST:: SOT 8261994 SOS 5492258 HAS SOPS 3426721 HAS SOUS 3365248 HAS SOUPS 3173992 WITH SCORE 3179484.258
AT ITER 3448 NEW BEST:: SOT 8261994 SOS 5492258 HAS SOPS 3426504 HAS SOUS 3365032 HAS SOUPS 3173776 WITH SCORE 3179268.258
AT ITER 3455 NEW BEST:: SOT 8263234 SOS 5493498 HAS SOPS 3427163 HAS SOUS 3364510 HAS SOUPS 3173254 WITH SCORE 3178747.498
AT ITER 3456 NEW BEST:: SOT 8263874 SOS 5495615 HAS SOPS 3426504 HAS SOUS 3363939 HAS SOUPS 3172595 WITH SCORE 3178090.615
AT ITER 3463 NEW BEST:: SOT 8263874 SOS 5495615 HAS SOPS 3426420 HAS SOUS 3363855 HAS SOUPS 3172511 WITH SCORE 3178006.615
AT ITER 3466 NEW BEST:: SOT 8263874 SOS 5495615 HAS SOPS 3426398 HAS SOUS 3363833 HAS SOUPS 3172489 WITH SCORE 3177984.615
AT ITER 3472 NEW BEST:: SOT 8263874 SOS 5495615 HAS SOPS 3426343 HAS SOUS 3363778 HAS SOUPS 3172434 WITH SCORE 3177929.615
AT ITER 3473 NEW BEST:: SOT 8263711 SOS 5496315 HAS SOPS 3426619 HAS SOUS 3363257 HAS SOUPS 3171913 WITH SCORE 3177409.315
AT ITER 3474 NEW BEST:: SOT 8263711 SOS 5496314 HAS SOPS 3426617 HAS SOUS 3363238 HAS SOUPS 3171894 WITH SCORE 3177390.314
AT ITER 3477 NEW BEST:: SOT 8263711 SOS 5496314 HAS SOPS 3426566 HAS SOUS 3363219 HAS SOUPS 3171843 WITH SCORE 3177339.314
AT ITER 3495 NEW BEST:: SOT 8263711 SOS 5496314 HAS SOPS 3426080 HAS SOUS 3362327 HAS SOUPS 3170951 WITH SCORE 3176447.314
AT ITER 3501 NEW BEST:: SOT 8263972 SOS 5496287 HAS SOPS 3425930 HAS SOUS 3362177 HAS SOUPS 3170801 WITH SCORE 3176297.287
AT ITER 3535 NEW BEST:: SOT 8263972 SOS 5496287 HAS SOPS 3424952 HAS SOUS 3361199 HAS SOUPS 3169823 WITH SCORE 3175319.287
AT ITER 3538 NEW BEST:: SOT 8263972 SOS 5496287 HAS SOPS 3424515 HAS SOUS 3360695 HAS SOUPS 3169319 WITH SCORE 3174815.287
AT ITER 3550 NEW BEST:: SOT 8263972 SOS 5496287 HAS SOPS 3424285 HAS SOUS 3360466 HAS SOUPS 3169090 WITH SCORE 3174586.287
AT ITER 3560 NEW BEST:: SOT 8263972 SOS 5496641 HAS SOPS 3424027 HAS SOUS 3359932 HAS SOUPS 3168556 WITH SCORE 3174052.641
AT ITER 3563 NEW BEST:: SOT 8263772 SOS 5496441 HAS SOPS 3422853 HAS SOUS 3357959 HAS SOUPS 3166566 WITH SCORE 3172062.441
AT ITER 3565 NEW BEST:: SOT 8263426 SOS 5496095 HAS SOPS 3422026 HAS SOUS 3357132 HAS SOUPS 3165739 WITH SCORE 3171235.095
AT ITER 3569 NEW BEST:: SOT 8263603 SOS 5496272 HAS SOPS 3421245 HAS SOUS 3356352 HAS SOUPS 3164959 WITH SCORE 3170455.272
AT ITER 3578 NEW BEST:: SOT 8263398 SOS 5496385 HAS SOPS 3421040 HAS SOUS 3356188 HAS SOUPS 3164754 WITH SCORE 3170250.385
AT ITER 3581 NEW BEST:: SOT 8263419 SOS 5496427 HAS SOPS 3421127 HAS SOUS 3356043 HAS SOUPS 3164609 WITH SCORE 3170105.427
AT ITER 3585 NEW BEST:: SOT 8263419 SOS 5496253 HAS SOPS 3420953 HAS SOUS 3355869 HAS SOUPS 3164435 WITH SCORE 3169931.253
AT ITER 3601 NEW BEST:: SOT 8263419 SOS 5496253 HAS SOPS 3420949 HAS SOUS 3355865 HAS SOUPS 3164431 WITH SCORE 3169927.253
AT ITER 3602 NEW BEST:: SOT 8263419 SOS 5496253 HAS SOPS 3420406 HAS SOUS 3356046 HAS SOUPS 3164069 WITH SCORE 3169565.253
AT ITER 3611 NEW BEST:: SOT 8263419 SOS 5498813 HAS SOPS 3420146 HAS SOUS 3355914 HAS SOUPS 3163809 WITH SCORE 3169307.813
AT ITER 3625 NEW BEST:: SOT 8263316 SOS 5498710 HAS SOPS 3419196 HAS SOUS 3354965 HAS SOUPS 3162860 WITH SCORE 3168358.71
AT ITER 3629 NEW BEST:: SOT 8263251 SOS 5498645 HAS SOPS 3418877 HAS SOUS 3354646 HAS SOUPS 3162541 WITH SCORE 3168039.645
AT ITER 3633 NEW BEST:: SOT 8263251 SOS 5498645 HAS SOPS 3418244 HAS SOUS 3354014 HAS SOUPS 3161909 WITH SCORE 3167407.645
AT ITER 3639 NEW BEST:: SOT 8263243 SOS 5498637 HAS SOPS 3417136 HAS SOUS 3353484 HAS SOUPS 3161379 WITH SCORE 3166877.637
AT ITER 3641 NEW BEST:: SOT 8263243 SOS 5498637 HAS SOPS 3417164 HAS SOUS 3353228 HAS SOUPS 3161123 WITH SCORE 3166621.637
AT ITER 3651 NEW BEST:: SOT 8267920 SOS 5502960 HAS SOPS 3413774 HAS SOUS 3350285 HAS SOUPS 3157733 WITH SCORE 3163235.96
AT ITER 3657 NEW BEST:: SOT 8267451 SOS 5485138 HAS SOPS 3396421 HAS SOUS 3349347 HAS SOUPS 3156795 WITH SCORE 3162280.138
AT ITER 3660 NEW BEST:: SOT 8267759 SOS 5505895 HAS SOPS 3396161 HAS SOUS 3349655 HAS SOUPS 3156535 WITH SCORE 3162040.895
AT ITER 3663 NEW BEST:: SOT 8267759 SOS 5505895 HAS SOPS 3396092 HAS SOUS 3349586 HAS SOUPS 3156466 WITH SCORE 3161971.895
AT ITER 3665 NEW BEST:: SOT 8267572 SOS 5505708 HAS SOPS 3396092 HAS SOUS 3349399 HAS SOUPS 3156466 WITH SCORE 3161971.708
AT ITER 3687 NEW BEST:: SOT 8267326 SOS 5505462 HAS SOPS 3395600 HAS SOUS 3348907 HAS SOUPS 3155974 WITH SCORE 3161479.462
AT ITER 3688 NEW BEST:: SOT 8266984 SOS 5505120 HAS SOPS 3395600 HAS SOUS 3348907 HAS SOUPS 3155974 WITH SCORE 3161479.12
AT ITER 3690 NEW BEST:: SOT 8266984 SOS 5505120 HAS SOPS 3395176 HAS SOUS 3348483 HAS SOUPS 3155550 WITH SCORE 3161055.12
AT ITER 3691 NEW BEST:: SOT 8266984 SOS 5505120 HAS SOPS 3395015 HAS SOUS 3348332 HAS SOUPS 3155390 WITH SCORE 3160895.12
AT ITER 3694 NEW BEST:: SOT 8266984 SOS 5505120 HAS SOPS 3395450 HAS SOUS 3347707 HAS SOUPS 3155011 WITH SCORE 3160516.12
AT ITER 3703 NEW BEST:: SOT 8266984 SOS 5505120 HAS SOPS 3395435 HAS SOUS 3347702 HAS SOUPS 3155006 WITH SCORE 3160511.12
AT ITER 3714 NEW BEST:: SOT 8266560 SOS 5504696 HAS SOPS 3395319 HAS SOUS 3347283 HAS SOUPS 3154620 WITH SCORE 3160124.696
AT ITER 3715 NEW BEST:: SOT 8266580 SOS 5512216 HAS SOPS 3394664 HAS SOUS 3347036 HAS SOUPS 3153965 WITH SCORE 3159477.216
AT ITER 3717 NEW BEST:: SOT 8267232 SOS 5513439 HAS SOPS 3394614 HAS SOUS 3347544 HAS SOUPS 3153915 WITH SCORE 3159428.439
AT ITER 3720 NEW BEST:: SOT 8267223 SOS 5513430 HAS SOPS 3394614 HAS SOUS 3347544 HAS SOUPS 3153915 WITH SCORE 3159428.43
AT ITER 3721 NEW BEST:: SOT 8267120 SOS 5513224 HAS SOPS 3394408 HAS SOUS 3347338 HAS SOUPS 3153709 WITH SCORE 3159222.224
AT ITER 3723 NEW BEST:: SOT 8267120 SOS 5513224 HAS SOPS 3393873 HAS SOUS 3346560 HAS SOUPS 3153017 WITH SCORE 3158530.224
AT ITER 3724 NEW BEST:: SOT 8267010 SOS 5513114 HAS SOPS 3392306 HAS SOUS 3345632 HAS SOUPS 3152089 WITH SCORE 3157602.114
AT ITER 3727 NEW BEST:: SOT 8267249 SOS 5529106 HAS SOPS 3392145 HAS SOUS 3345871 HAS SOUPS 3151928 WITH SCORE 3157457.106
AT ITER 3737 NEW BEST:: SOT 8268615 SOS 5531051 HAS SOPS 3391656 HAS SOUS 3345382 HAS SOUPS 3151439 WITH SCORE 3156970.051
AT ITER 3739 NEW BEST:: SOT 8268615 SOS 5530919 HAS SOPS 3390764 HAS SOUS 3345325 HAS SOUPS 3151382 WITH SCORE 3156912.919
AT ITER 3744 NEW BEST:: SOT 8268615 SOS 5530919 HAS SOPS 3390764 HAS SOUS 3345163 HAS SOUPS 3151220 WITH SCORE 3156750.919
AT ITER 3750 NEW BEST:: SOT 8268593 SOS 5530765 HAS SOPS 3390764 HAS SOUS 3345141 HAS SOUPS 3151220 WITH SCORE 3156750.765
AT ITER 3753 NEW BEST:: SOT 8268593 SOS 5530751 HAS SOPS 3390302 HAS SOUS 3344680 HAS SOUPS 3150759 WITH SCORE 3156289.751
AT ITER 3762 NEW BEST:: SOT 8268556 SOS 5530714 HAS SOPS 3390227 HAS SOUS 3344569 HAS SOUPS 3150648 WITH SCORE 3156178.714
AT ITER 3766 NEW BEST:: SOT 8268361 SOS 5530519 HAS SOPS 3389279 HAS SOUS 3343900 HAS SOUPS 3149979 WITH SCORE 3155509.519
AT ITER 3769 NEW BEST:: SOT 8268361 SOS 5530519 HAS SOPS 3389275 HAS SOUS 3343907 HAS SOUPS 3149975 WITH SCORE 3155505.519
AT ITER 3774 NEW BEST:: SOT 8268279 SOS 5530437 HAS SOPS 3388032 HAS SOUS 3343239 HAS SOUPS 3149307 WITH SCORE 3154837.437
AT ITER 3777 NEW BEST:: SOT 8268279 SOS 5530437 HAS SOPS 3387914 HAS SOUS 3343160 HAS SOUPS 3149228 WITH SCORE 3154758.437
AT ITER 3778 NEW BEST:: SOT 8268362 SOS 5530520 HAS SOPS 3387874 HAS SOUS 3343120 HAS SOUPS 3149188 WITH SCORE 3154718.52
AT ITER 3781 NEW BEST:: SOT 8268362 SOS 5530520 HAS SOPS 3387580 HAS SOUS 3342973 HAS SOUPS 3148894 WITH SCORE 3154424.52
AT ITER 3788 NEW BEST:: SOT 8268192 SOS 5530350 HAS SOPS 3386618 HAS SOUS 3342322 HAS SOUPS 3148243 WITH SCORE 3153773.35
AT ITER 3789 NEW BEST:: SOT 8268289 SOS 5530447 HAS SOPS 3386301 HAS SOUS 3342302 HAS SOUPS 3148238 WITH SCORE 3153768.447
AT ITER 3800 NEW BEST:: SOT 8268289 SOS 5530447 HAS SOPS 3386261 HAS SOUS 3342302 HAS SOUPS 3148198 WITH SCORE 3153728.447
AT ITER 3810 NEW BEST:: SOT 8268888 SOS 5528659 HAS SOPS 3388204 HAS SOUS 3341249 HAS SOUPS 3147481 WITH SCORE 3153009.659
AT ITER 3816 NEW BEST:: SOT 8268891 SOS 5532716 HAS SOPS 3387421 HAS SOUS 3340912 HAS SOUPS 3146698 WITH SCORE 3152230.716
AT ITER 3817 NEW BEST:: SOT 8268891 SOS 5532716 HAS SOPS 3387021 HAS SOUS 3340512 HAS SOUPS 3146298 WITH SCORE 3151830.716
AT ITER 3825 NEW BEST:: SOT 8268891 SOS 5532716 HAS SOPS 3387021 HAS SOUS 3340070 HAS SOUPS 3145856 WITH SCORE 3151388.716
AT ITER 3828 NEW BEST:: SOT 8269111 SOS 5532936 HAS SOPS 3386975 HAS SOUS 3340330 HAS SOUPS 3145810 WITH SCORE 3151342.936
AT ITER 3830 NEW BEST:: SOT 8267623 SOS 5531448 HAS SOPS 3386975 HAS SOUS 3340076 HAS SOUPS 3145810 WITH SCORE 3151341.448
AT ITER 3831 NEW BEST:: SOT 8267501 SOS 5531326 HAS SOPS 3386731 HAS SOUS 3339954 HAS SOUPS 3145566 WITH SCORE 3151097.326
AT ITER 3834 NEW BEST:: SOT 8267501 SOS 5531326 HAS SOPS 3386697 HAS SOUS 3339938 HAS SOUPS 3145550 WITH SCORE 3151081.326
AT ITER 3844 NEW BEST:: SOT 8267357 SOS 5531182 HAS SOPS 3386472 HAS SOUS 3339684 HAS SOUPS 3145325 WITH SCORE 3150856.182
AT ITER 3845 NEW BEST:: SOT 8267357 SOS 5531182 HAS SOPS 3385854 HAS SOUS 3339131 HAS SOUPS 3144707 WITH SCORE 3150238.182
AT ITER 3859 NEW BEST:: SOT 8266727 SOS 5538382 HAS SOPS 3384997 HAS SOUS 3338546 HAS SOUPS 3143850 WITH SCORE 3149388.382
AT ITER 3863 NEW BEST:: SOT 8266554 SOS 5538209 HAS SOPS 3384824 HAS SOUS 3338491 HAS SOUPS 3143795 WITH SCORE 3149333.209
AT ITER 3866 NEW BEST:: SOT 8266702 SOS 5538357 HAS SOPS 3384987 HAS SOUS 3338490 HAS SOUPS 3143794 WITH SCORE 3149332.357
AT ITER 3869 NEW BEST:: SOT 8266702 SOS 5531517 HAS SOPS 3378330 HAS SOUS 3338483 HAS SOUPS 3143787 WITH SCORE 3149318.517
AT ITER 3874 NEW BEST:: SOT 8266702 SOS 5531517 HAS SOPS 3378285 HAS SOUS 3338393 HAS SOUPS 3143697 WITH SCORE 3149228.517
AT ITER 3879 NEW BEST:: SOT 8266693 SOS 5531508 HAS SOPS 3378267 HAS SOUS 3338375 HAS SOUPS 3143679 WITH SCORE 3149210.508
AT ITER 3893 NEW BEST:: SOT 8266693 SOS 5532548 HAS SOPS 3378215 HAS SOUS 3338375 HAS SOUPS 3143627 WITH SCORE 3149159.548
AT ITER 3917 NEW BEST:: SOT 8266639 SOS 5532494 HAS SOPS 3378107 HAS SOUS 3338321 HAS SOUPS 3143519 WITH SCORE 3149051.494
AT ITER 3918 NEW BEST:: SOT 8266580 SOS 5532138 HAS SOPS 3377989 HAS SOUS 3338203 HAS SOUPS 3143401 WITH SCORE 3148933.138
AT ITER 3924 NEW BEST:: SOT 8266809 SOS 5532673 HAS SOPS 3377890 HAS SOUS 3338468 HAS SOUPS 3143302 WITH SCORE 3148834.673
AT ITER 3926 NEW BEST:: SOT 8266608 SOS 5532272 HAS SOPS 3377689 HAS SOUS 3338267 HAS SOUPS 3143101 WITH SCORE 3148633.272
AT ITER 3927 NEW BEST:: SOT 8266608 SOS 5532272 HAS SOPS 3377571 HAS SOUS 3338149 HAS SOUPS 3142983 WITH SCORE 3148515.272
AT ITER 3928 NEW BEST:: SOT 8266608 SOS 5532272 HAS SOPS 3377020 HAS SOUS 3337159 HAS SOUPS 3141993 WITH SCORE 3147525.272
AT ITER 3931 NEW BEST:: SOT 8266602 SOS 5532260 HAS SOPS 3376972 HAS SOUS 3337111 HAS SOUPS 3141945 WITH SCORE 3147477.26
AT ITER 3934 NEW BEST:: SOT 8266906 SOS 5532867 HAS SOPS 3376930 HAS SOUS 3337069 HAS SOUPS 3141903 WITH SCORE 3147435.867
AT ITER 3940 NEW BEST:: SOT 8266906 SOS 5532867 HAS SOPS 3376930 HAS SOUS 3336973 HAS SOUPS 3141807 WITH SCORE 3147339.867
AT ITER 3966 NEW BEST:: SOT 8266906 SOS 5532867 HAS SOPS 3376817 HAS SOUS 3336860 HAS SOUPS 3141694 WITH SCORE 3147226.867
AT ITER 3975 NEW BEST:: SOT 8267424 SOS 5533385 HAS SOPS 3376772 HAS SOUS 3336952 HAS SOUPS 3141650 WITH SCORE 3147183.385
AT ITER 3980 NEW BEST:: SOT 8267333 SOS 5533294 HAS SOPS 3376681 HAS SOUS 3336861 HAS SOUPS 3141559 WITH SCORE 3147092.294
AT ITER 3984 NEW BEST:: SOT 8267333 SOS 5533294 HAS SOPS 3376418 HAS SOUS 3336216 HAS SOUPS 3141101 WITH SCORE 3146634.294
AT ITER 3990 NEW BEST:: SOT 8267325 SOS 5533286 HAS SOPS 3376410 HAS SOUS 3336208 HAS SOUPS 3141093 WITH SCORE 3146626.286
AT ITER 3991 NEW BEST:: SOT 8283199 SOS 5548551 HAS SOPS 3373162 HAS SOUS 3335708 HAS SOUPS 3138907 WITH SCORE 3144455.551
AT ITER 3995 NEW BEST:: SOT 8283199 SOS 5548551 HAS SOPS 3372993 HAS SOUS 3335539 HAS SOUPS 3138738 WITH SCORE 3144286.551
AT ITER 3996 NEW BEST:: SOT 8283519 SOS 5549295 HAS SOPS 3372281 HAS SOUS 3335271 HAS SOUPS 3138470 WITH SCORE 3144019.295
AT ITER 3999 NEW BEST:: SOT 8283552 SOS 5549328 HAS SOPS 3371995 HAS SOUS 3334985 HAS SOUPS 3138184 WITH SCORE 3143733.328
AT ITER 4002 NEW BEST:: SOT 8282261 SOS 5548037 HAS SOPS 3371995 HAS SOUS 3334904 HAS SOUPS 3138184 WITH SCORE 3143732.037
AT ITER 4005 NEW BEST:: SOT 8282261 SOS 5548037 HAS SOPS 3371806 HAS SOUS 3334704 HAS SOUPS 3137984 WITH SCORE 3143532.037
AT ITER 4009 NEW BEST:: SOT 8282095 SOS 5547871 HAS SOPS 3371089 HAS SOUS 3333833 HAS SOUPS 3137102 WITH SCORE 3142649.871
AT ITER 4026 NEW BEST:: SOT 8282095 SOS 5547871 HAS SOPS 3370693 HAS SOUS 3333618 HAS SOUPS 3136887 WITH SCORE 3142434.871
AT ITER 4036 NEW BEST:: SOT 8282184 SOS 5547960 HAS SOPS 3370289 HAS SOUS 3333214 HAS SOUPS 3136483 WITH SCORE 3142030.96
AT ITER 4044 NEW BEST:: SOT 8282167 SOS 5547943 HAS SOPS 3370189 HAS SOUS 3333097 HAS SOUPS 3136366 WITH SCORE 3141913.943
AT ITER 4045 NEW BEST:: SOT 8281999 SOS 5547775 HAS SOPS 3369078 HAS SOUS 3332612 HAS SOUPS 3135881 WITH SCORE 3141428.775
AT ITER 4057 NEW BEST:: SOT 8281919 SOS 5547615 HAS SOPS 3368758 HAS SOUS 3332352 HAS SOUPS 3135621 WITH SCORE 3141168.615
AT ITER 4061 NEW BEST:: SOT 8281644 SOS 5547340 HAS SOPS 3368758 HAS SOUS 3332352 HAS SOUPS 3135621 WITH SCORE 3141168.34
AT ITER 4078 NEW BEST:: SOT 8280961 SOS 5546657 HAS SOPS 3367575 HAS SOUS 3330985 HAS SOUPS 3134254 WITH SCORE 3139800.657
AT ITER 4098 NEW BEST:: SOT 8281233 SOS 5546929 HAS SOPS 3368032 HAS SOUS 3330921 HAS SOUPS 3134190 WITH SCORE 3139736.929
AT ITER 4101 NEW BEST:: SOT 8281044 SOS 5546740 HAS SOPS 3367843 HAS SOUS 3330321 HAS SOUPS 3133590 WITH SCORE 3139136.74
AT ITER 4109 NEW BEST:: SOT 8281044 SOS 5546740 HAS SOPS 3367606 HAS SOUS 3330015 HAS SOUPS 3133284 WITH SCORE 3138830.74
AT ITER 4111 NEW BEST:: SOT 8281044 SOS 5546740 HAS SOPS 3367245 HAS SOUS 3329744 HAS SOUPS 3133013 WITH SCORE 3138559.74
AT ITER 4117 NEW BEST:: SOT 8281143 SOS 5546839 HAS SOPS 3367031 HAS SOUS 3329530 HAS SOUPS 3132799 WITH SCORE 3138345.839
AT ITER 4139 NEW BEST:: SOT 8280966 SOS 5546662 HAS SOPS 3366323 HAS SOUS 3329212 HAS SOUPS 3132445 WITH SCORE 3137991.662
AT ITER 4145 NEW BEST:: SOT 8281024 SOS 5546720 HAS SOPS 3366284 HAS SOUS 3329115 HAS SOUPS 3132406 WITH SCORE 3137952.72
AT ITER 4148 NEW BEST:: SOT 8281013 SOS 5546709 HAS SOPS 3365859 HAS SOUS 3328690 HAS SOUPS 3131981 WITH SCORE 3137527.709
AT ITER 4154 NEW BEST:: SOT 8281013 SOS 5546709 HAS SOPS 3363773 HAS SOUS 3328127 HAS SOUPS 3131418 WITH SCORE 3136964.709
AT ITER 4159 NEW BEST:: SOT 8281013 SOS 5546709 HAS SOPS 3363590 HAS SOUS 3327762 HAS SOUPS 3131053 WITH SCORE 3136599.709
AT ITER 4169 NEW BEST:: SOT 8280847 SOS 5546720 HAS SOPS 3363441 HAS SOUS 3327613 HAS SOUPS 3130904 WITH SCORE 3136450.72
AT ITER 4174 NEW BEST:: SOT 8280847 SOS 5546720 HAS SOPS 3362784 HAS SOUS 3327342 HAS SOUPS 3130466 WITH SCORE 3136012.72
AT ITER 4184 NEW BEST:: SOT 8292957 SOS 5536285 HAS SOPS 3335001 HAS SOUS 3320528 HAS SOUPS 3123452 WITH SCORE 3128988.285
AT ITER 4194 NEW BEST:: SOT 8292957 SOS 5536285 HAS SOPS 3335421 HAS SOUS 3320296 HAS SOUPS 3123220 WITH SCORE 3128756.285
AT ITER 4202 NEW BEST:: SOT 8292747 SOS 5527675 HAS SOPS 3335421 HAS SOUS 3320086 HAS SOUPS 3123220 WITH SCORE 3128747.675
AT ITER 4206 NEW BEST:: SOT 8292635 SOS 5527563 HAS SOPS 3334973 HAS SOUS 3319638 HAS SOUPS 3122772 WITH SCORE 3128299.563
AT ITER 4208 NEW BEST:: SOT 8292635 SOS 5527563 HAS SOPS 3334641 HAS SOUS 3319306 HAS SOUPS 3122440 WITH SCORE 3127967.563
AT ITER 4216 NEW BEST:: SOT 8292591 SOS 5527519 HAS SOPS 3333530 HAS SOUS 3318617 HAS SOUPS 3121751 WITH SCORE 3127278.519
AT ITER 4225 NEW BEST:: SOT 8292591 SOS 5527519 HAS SOPS 3333351 HAS SOUS 3318438 HAS SOUPS 3121572 WITH SCORE 3127099.519
AT ITER 4230 NEW BEST:: SOT 8292371 SOS 5527299 HAS SOPS 3332853 HAS SOUS 3317940 HAS SOUPS 3121074 WITH SCORE 3126601.299
AT ITER 4235 NEW BEST:: SOT 8292286 SOS 5527214 HAS SOPS 3332656 HAS SOUS 3317743 HAS SOUPS 3120877 WITH SCORE 3126404.214
AT ITER 4239 NEW BEST:: SOT 8292286 SOS 5527214 HAS SOPS 3332491 HAS SOUS 3317543 HAS SOUPS 3120777 WITH SCORE 3126304.214
AT ITER 4247 NEW BEST:: SOT 8292286 SOS 5527214 HAS SOPS 3332330 HAS SOUS 3317395 HAS SOUPS 3120629 WITH SCORE 3126156.214
AT ITER 4253 NEW BEST:: SOT 8291984 SOS 5526504 HAS SOPS 3331897 HAS SOUS 3316962 HAS SOUPS 3120196 WITH SCORE 3125722.504
AT ITER 4260 NEW BEST:: SOT 8291817 SOS 5526170 HAS SOPS 3331563 HAS SOUS 3316628 HAS SOUPS 3119862 WITH SCORE 3125388.17
AT ITER 4261 NEW BEST:: SOT 8291886 SOS 5526239 HAS SOPS 3330874 HAS SOUS 3315939 HAS SOUPS 3119173 WITH SCORE 3124699.239
AT ITER 4263 NEW BEST:: SOT 8291886 SOS 5526239 HAS SOPS 3329735 HAS SOUS 3314794 HAS SOUPS 3118028 WITH SCORE 3123554.239
AT ITER 4264 NEW BEST:: SOT 8291886 SOS 5526239 HAS SOPS 3329660 HAS SOUS 3314719 HAS SOUPS 3117953 WITH SCORE 3123479.239
AT ITER 4267 NEW BEST:: SOT 8291902 SOS 5528035 HAS SOPS 3329515 HAS SOUS 3314770 HAS SOUPS 3117808 WITH SCORE 3123336.035
AT ITER 4269 NEW BEST:: SOT 8291854 SOS 5527987 HAS SOPS 3328721 HAS SOUS 3314448 HAS SOUPS 3117486 WITH SCORE 3123013.987
AT ITER 4272 NEW BEST:: SOT 8291640 SOS 5527773 HAS SOPS 3327943 HAS SOUS 3313893 HAS SOUPS 3116931 WITH SCORE 3122458.773
AT ITER 4285 NEW BEST:: SOT 8291433 SOS 5527566 HAS SOPS 3327268 HAS SOUS 3313219 HAS SOUPS 3116257 WITH SCORE 3121784.566
AT ITER 4287 NEW BEST:: SOT 8291367 SOS 5527500 HAS SOPS 3327235 HAS SOUS 3313186 HAS SOUPS 3116224 WITH SCORE 3121751.5
AT ITER 4300 NEW BEST:: SOT 8291367 SOS 5527500 HAS SOPS 3326820 HAS SOUS 3312771 HAS SOUPS 3115809 WITH SCORE 3121336.5
AT ITER 4302 NEW BEST:: SOT 8291399 SOS 5527532 HAS SOPS 3326737 HAS SOUS 3312688 HAS SOUPS 3115726 WITH SCORE 3121253.532
AT ITER 4305 NEW BEST:: SOT 8291410 SOS 5527543 HAS SOPS 3326457 HAS SOUS 3312408 HAS SOUPS 3115446 WITH SCORE 3120973.543
AT ITER 4306 NEW BEST:: SOT 8291506 SOS 5527744 HAS SOPS 3326337 HAS SOUS 3312412 HAS SOUPS 3115326 WITH SCORE 3120853.744
AT ITER 4316 NEW BEST:: SOT 8291470 SOS 5527707 HAS SOPS 3326260 HAS SOUS 3312339 HAS SOUPS 3115253 WITH SCORE 3120780.707
AT ITER 4319 NEW BEST:: SOT 8290765 SOS 5525704 HAS SOPS 3323570 HAS SOUS 3310713 HAS SOUPS 3113713 WITH SCORE 3119238.704
AT ITER 4327 NEW BEST:: SOT 8290869 SOS 5525824 HAS SOPS 3322964 HAS SOUS 3310108 HAS SOUPS 3113108 WITH SCORE 3118633.824
AT ITER 4330 NEW BEST:: SOT 8290869 SOS 5525817 HAS SOPS 3322964 HAS SOUS 3310108 HAS SOUPS 3113108 WITH SCORE 3118633.817
AT ITER 4346 NEW BEST:: SOT 8290672 SOS 5525620 HAS SOPS 3322420 HAS SOUS 3309405 HAS SOUPS 3112405 WITH SCORE 3117930.62
AT ITER 4356 NEW BEST:: SOT 8290594 SOS 5525542 HAS SOPS 3322020 HAS SOUS 3309403 HAS SOUPS 3112325 WITH SCORE 3117850.542
AT ITER 4359 NEW BEST:: SOT 8290594 SOS 5525542 HAS SOPS 3322020 HAS SOUS 3309288 HAS SOUPS 3112210 WITH SCORE 3117735.542
AT ITER 4362 NEW BEST:: SOT 8290410 SOS 5525358 HAS SOPS 3321836 HAS SOUS 3309104 HAS SOUPS 3112026 WITH SCORE 3117551.358
AT ITER 4368 NEW BEST:: SOT 8290531 SOS 5525479 HAS SOPS 3321143 HAS SOUS 3310265 HAS SOUPS 3111860 WITH SCORE 3117385.479
AT ITER 4374 NEW BEST:: SOT 8290531 SOS 5525479 HAS SOPS 3319988 HAS SOUS 3309880 HAS SOUPS 3111475 WITH SCORE 3117000.479
AT ITER 4381 NEW BEST:: SOT 8290516 SOS 5525449 HAS SOPS 3319973 HAS SOUS 3309865 HAS SOUPS 3111460 WITH SCORE 3116985.449
AT ITER 4385 NEW BEST:: SOT 8290516 SOS 5525449 HAS SOPS 3319713 HAS SOUS 3309606 HAS SOUPS 3111201 WITH SCORE 3116726.449
AT ITER 4400 NEW BEST:: SOT 8290054 SOS 5524987 HAS SOPS 3318789 HAS SOUS 3308682 HAS SOUPS 3110277 WITH SCORE 3115801.987
AT ITER 4405 NEW BEST:: SOT 8288651 SOS 5523584 HAS SOPS 3317521 HAS SOUS 3308405 HAS SOUPS 3110000 WITH SCORE 3115523.584
AT ITER 4406 NEW BEST:: SOT 8288626 SOS 5523534 HAS SOPS 3317518 HAS SOUS 3308402 HAS SOUPS 3109997 WITH SCORE 3115520.534
AT ITER 4416 NEW BEST:: SOT 8288229 SOS 5523137 HAS SOPS 3317492 HAS SOUS 3307852 HAS SOUPS 3109447 WITH SCORE 3114970.137
AT ITER 4417 NEW BEST:: SOT 8288180 SOS 5523088 HAS SOPS 3317443 HAS SOUS 3307803 HAS SOUPS 3109398 WITH SCORE 3114921.088
AT ITER 4421 NEW BEST:: SOT 8288180 SOS 5523088 HAS SOPS 3316926 HAS SOUS 3307403 HAS SOUPS 3108954 WITH SCORE 3114477.088
AT ITER 4427 NEW BEST:: SOT 8287969 SOS 5522877 HAS SOPS 3315880 HAS SOUS 3306981 HAS SOUPS 3108532 WITH SCORE 3114054.877
AT ITER 4431 NEW BEST:: SOT 8287982 SOS 5523119 HAS SOPS 3315720 HAS SOUS 3306822 HAS SOUPS 3108373 WITH SCORE 3113896.119
AT ITER 4439 NEW BEST:: SOT 8287982 SOS 5523245 HAS SOPS 3315201 HAS SOUS 3306361 HAS SOUPS 3107854 WITH SCORE 3113377.245
AT ITER 4444 NEW BEST:: SOT 8287982 SOS 5523245 HAS SOPS 3315619 HAS SOUS 3306360 HAS SOUPS 3107853 WITH SCORE 3113376.245
AT ITER 4454 NEW BEST:: SOT 8287982 SOS 5523245 HAS SOPS 3315291 HAS SOUS 3306295 HAS SOUPS 3107788 WITH SCORE 3113311.245
AT ITER 4455 NEW BEST:: SOT 8287982 SOS 5523245 HAS SOPS 3315270 HAS SOUS 3306274 HAS SOUPS 3107767 WITH SCORE 3113290.245
AT ITER 4460 NEW BEST:: SOT 8287711 SOS 5522703 HAS SOPS 3314455 HAS SOUS 3305678 HAS SOUPS 3107053 WITH SCORE 3112575.703
AT ITER 4462 NEW BEST:: SOT 8287580 SOS 5522572 HAS SOPS 3313609 HAS SOUS 3304455 HAS SOUPS 3105986 WITH SCORE 3111508.572
AT ITER 4470 NEW BEST:: SOT 8287483 SOS 5522475 HAS SOPS 3313415 HAS SOUS 3304358 HAS SOUPS 3105792 WITH SCORE 3111314.475
AT ITER 4477 NEW BEST:: SOT 8287483 SOS 5522475 HAS SOPS 3313277 HAS SOUS 3304208 HAS SOUPS 3105717 WITH SCORE 3111239.475
AT ITER 4479 NEW BEST:: SOT 8287146 SOS 5522138 HAS SOPS 3311957 HAS SOUS 3302860 HAS SOUPS 3104369 WITH SCORE 3109891.138
AT ITER 4483 NEW BEST:: SOT 8287007 SOS 5521860 HAS SOPS 3312096 HAS SOUS 3302860 HAS SOUPS 3104369 WITH SCORE 3109890.86
AT ITER 4501 NEW BEST:: SOT 8286812 SOS 5521665 HAS SOPS 3311639 HAS SOUS 3301641 HAS SOUPS 3103150 WITH SCORE 3108671.665
AT ITER 4505 NEW BEST:: SOT 8286812 SOS 5521665 HAS SOPS 3311420 HAS SOUS 3301446 HAS SOUPS 3102931 WITH SCORE 3108452.665
AT ITER 4510 NEW BEST:: SOT 8286792 SOS 5521645 HAS SOPS 3311783 HAS SOUS 3301271 HAS SOUPS 3102891 WITH SCORE 3108412.645
AT ITER 4514 NEW BEST:: SOT 8286876 SOS 5521729 HAS SOPS 3311782 HAS SOUS 3301270 HAS SOUPS 3102890 WITH SCORE 3108411.729
AT ITER 4516 NEW BEST:: SOT 8286876 SOS 5521729 HAS SOPS 3311781 HAS SOUS 3300937 HAS SOUPS 3102557 WITH SCORE 3108078.729
AT ITER 4523 NEW BEST:: SOT 8285579 SOS 5520432 HAS SOPS 3311621 HAS SOUS 3300801 HAS SOUPS 3102421 WITH SCORE 3107941.432
AT ITER 4526 NEW BEST:: SOT 8285579 SOS 5520432 HAS SOPS 3311393 HAS SOUS 3300573 HAS SOUPS 3102193 WITH SCORE 3107713.432
AT ITER 4530 NEW BEST:: SOT 8285765 SOS 5520621 HAS SOPS 3311540 HAS SOUS 3300468 HAS SOUPS 3102088 WITH SCORE 3107608.621
AT ITER 4546 NEW BEST:: SOT 8285586 SOS 5520442 HAS SOPS 3310734 HAS SOUS 3299723 HAS SOUPS 3101343 WITH SCORE 3106863.442
AT ITER 4554 NEW BEST:: SOT 8285586 SOS 5520442 HAS SOPS 3310352 HAS SOUS 3299342 HAS SOUPS 3100962 WITH SCORE 3106482.442
AT ITER 4556 NEW BEST:: SOT 8285586 SOS 5520733 HAS SOPS 3309048 HAS SOUS 3298671 HAS SOUPS 3100291 WITH SCORE 3105811.733
AT ITER 4573 NEW BEST:: SOT 8285583 SOS 5520730 HAS SOPS 3308754 HAS SOUS 3298187 HAS SOUPS 3099807 WITH SCORE 3105327.73
AT ITER 4575 NEW BEST:: SOT 8285682 SOS 5520829 HAS SOPS 3308252 HAS SOUS 3297685 HAS SOUPS 3099305 WITH SCORE 3104825.829
AT ITER 4577 NEW BEST:: SOT 8285451 SOS 5520563 HAS SOPS 3306873 HAS SOUS 3296310 HAS SOUPS 3097930 WITH SCORE 3103450.563
AT ITER 4578 NEW BEST:: SOT 8285414 SOS 5519157 HAS SOPS 3305504 HAS SOUS 3296236 HAS SOUPS 3097856 WITH SCORE 3103375.157
AT ITER 4579 NEW BEST:: SOT 8285414 SOS 5519157 HAS SOPS 3304895 HAS SOUS 3295628 HAS SOUPS 3097248 WITH SCORE 3102767.157
AT ITER 4590 NEW BEST:: SOT 8284770 SOS 5518513 HAS SOPS 3302260 HAS SOUS 3293107 HAS SOUPS 3094546 WITH SCORE 3100064.513
AT ITER 4591 NEW BEST:: SOT 8284769 SOS 5518411 HAS SOPS 3302259 HAS SOUS 3293106 HAS SOUPS 3094545 WITH SCORE 3100063.411
AT ITER 4592 NEW BEST:: SOT 8285024 SOS 5512063 HAS SOPS 3281775 HAS SOUS 3277644 HAS SOUPS 3079083 WITH SCORE 3084595.063
AT ITER 4597 NEW BEST:: SOT 8285024 SOS 5511809 HAS SOPS 3281101 HAS SOUS 3276970 HAS SOUPS 3078409 WITH SCORE 3083920.809
AT ITER 4599 NEW BEST:: SOT 8284989 SOS 5511464 HAS SOPS 3280542 HAS SOUS 3276315 HAS SOUPS 3077719 WITH SCORE 3083230.464
AT ITER 4602 NEW BEST:: SOT 8284479 SOS 5510954 HAS SOPS 3280388 HAS SOUS 3276311 HAS SOUPS 3077715 WITH SCORE 3083225.954
AT ITER 4611 NEW BEST:: SOT 8284158 SOS 5510633 HAS SOPS 3279695 HAS SOUS 3275939 HAS SOUPS 3077343 WITH SCORE 3082853.633
AT ITER 4614 NEW BEST:: SOT 8284158 SOS 5510633 HAS SOPS 3279618 HAS SOUS 3275862 HAS SOUPS 3077266 WITH SCORE 3082776.633
AT ITER 4620 NEW BEST:: SOT 8284336 SOS 5511106 HAS SOPS 3279468 HAS SOUS 3275865 HAS SOUPS 3077116 WITH SCORE 3082627.106
AT ITER 4645 NEW BEST:: SOT 8283795 SOS 5509599 HAS SOPS 3276739 HAS SOUS 3274076 HAS SOUPS 3075327 WITH SCORE 3080836.599
AT ITER 4648 NEW BEST:: SOT 8283791 SOS 5509595 HAS SOPS 3276734 HAS SOUS 3274067 HAS SOUPS 3075318 WITH SCORE 3080827.595
AT ITER 4652 NEW BEST:: SOT 8283162 SOS 5508648 HAS SOPS 3275869 HAS SOUS 3272717 HAS SOUPS 3073968 WITH SCORE 3079476.648
AT ITER 4662 NEW BEST:: SOT 8283475 SOS 5508098 HAS SOPS 3273634 HAS SOUS 3271429 HAS SOUPS 3072680 WITH SCORE 3078188.098
AT ITER 4665 NEW BEST:: SOT 8282608 SOS 5507231 HAS SOPS 3272767 HAS SOUS 3270936 HAS SOUPS 3071813 WITH SCORE 3077320.231
AT ITER 4670 NEW BEST:: SOT 8282608 SOS 5507231 HAS SOPS 3272838 HAS SOUS 3270862 HAS SOUPS 3071739 WITH SCORE 3077246.231
AT ITER 4690 NEW BEST:: SOT 8282305 SOS 5506928 HAS SOPS 3271883 HAS SOUS 3269648 HAS SOUPS 3070525 WITH SCORE 3076031.928
AT ITER 4701 NEW BEST:: SOT 8282285 SOS 5506908 HAS SOPS 3271863 HAS SOUS 3269628 HAS SOUPS 3070505 WITH SCORE 3076011.908
AT ITER 4710 NEW BEST:: SOT 8282285 SOS 5506908 HAS SOPS 3271056 HAS SOUS 3269051 HAS SOUPS 3069928 WITH SCORE 3075434.908
AT ITER 4711 NEW BEST:: SOT 8282235 SOS 5506858 HAS SOPS 3270955 HAS SOUS 3268900 HAS SOUPS 3069777 WITH SCORE 3075283.858
AT ITER 4723 NEW BEST:: SOT 8282235 SOS 5506858 HAS SOPS 3270490 HAS SOUS 3268896 HAS SOUPS 3069773 WITH SCORE 3075279.858
AT ITER 4724 NEW BEST:: SOT 8282056 SOS 5499568 HAS SOPS 3270490 HAS SOUS 3268717 HAS SOUPS 3069773 WITH SCORE 3075272.568
AT ITER 4725 NEW BEST:: SOT 8282056 SOS 5499568 HAS SOPS 3269695 HAS SOUS 3268611 HAS SOUPS 3069667 WITH SCORE 3075166.568
AT ITER 4726 NEW BEST:: SOT 8282056 SOS 5499568 HAS SOPS 3269566 HAS SOUS 3268482 HAS SOUPS 3069538 WITH SCORE 3075037.568
AT ITER 4727 NEW BEST:: SOT 8282056 SOS 5499568 HAS SOPS 3269372 HAS SOUS 3268482 HAS SOUPS 3069441 WITH SCORE 3074940.568
AT ITER 4728 NEW BEST:: SOT 8281845 SOS 5495909 HAS SOPS 3269958 HAS SOUS 3266719 HAS SOUPS 3067944 WITH SCORE 3073439.909
AT ITER 4736 NEW BEST:: SOT 8281897 SOS 5495961 HAS SOPS 3270028 HAS SOUS 3266676 HAS SOUPS 3067901 WITH SCORE 3073396.961
AT ITER 4739 NEW BEST:: SOT 8281807 SOS 5495871 HAS SOPS 3269848 HAS SOUS 3266496 HAS SOUPS 3067721 WITH SCORE 3073216.871
AT ITER 4755 NEW BEST:: SOT 8281807 SOS 5495871 HAS SOPS 3269558 HAS SOUS 3266206 HAS SOUPS 3067431 WITH SCORE 3072926.871
AT ITER 4764 NEW BEST:: SOT 8281602 SOS 5495666 HAS SOPS 3268954 HAS SOUS 3265296 HAS SOUPS 3066521 WITH SCORE 3072016.666
AT ITER 4773 NEW BEST:: SOT 8281425 SOS 5495489 HAS SOPS 3268101 HAS SOUS 3264663 HAS SOUPS 3065888 WITH SCORE 3071383.489
AT ITER 4775 NEW BEST:: SOT 8281425 SOS 5495489 HAS SOPS 3267527 HAS SOUS 3264131 HAS SOUPS 3065314 WITH SCORE 3070809.489
AT ITER 4785 NEW BEST:: SOT 8281425 SOS 5495489 HAS SOPS 3267428 HAS SOUS 3264032 HAS SOUPS 3065215 WITH SCORE 3070710.489
AT ITER 4786 NEW BEST:: SOT 8281013 SOS 5495077 HAS SOPS 3266554 HAS SOUS 3263158 HAS SOUPS 3064341 WITH SCORE 3069836.077
AT ITER 4790 NEW BEST:: SOT 8280920 SOS 5494984 HAS SOPS 3266521 HAS SOUS 3263125 HAS SOUPS 3064308 WITH SCORE 3069802.984
AT ITER 4796 NEW BEST:: SOT 8280920 SOS 5494849 HAS SOPS 3266788 HAS SOUS 3263125 HAS SOUPS 3064308 WITH SCORE 3069802.849
AT ITER 4800 NEW BEST:: SOT 8280920 SOS 5494849 HAS SOPS 3266731 HAS SOUS 3263068 HAS SOUPS 3064251 WITH SCORE 3069745.849
AT ITER 4808 NEW BEST:: SOT 8280920 SOS 5494849 HAS SOPS 3266368 HAS SOUS 3262844 HAS SOUPS 3064027 WITH SCORE 3069521.849
AT ITER 4821 NEW BEST:: SOT 8280928 SOS 5494857 HAS SOPS 3266525 HAS SOUS 3262817 HAS SOUPS 3064000 WITH SCORE 3069494.857
AT ITER 4828 NEW BEST:: SOT 8280807 SOS 5494736 HAS SOPS 3265474 HAS SOUS 3262254 HAS SOUPS 3063432 WITH SCORE 3068926.736
AT ITER 4834 NEW BEST:: SOT 8280783 SOS 5494712 HAS SOPS 3265426 HAS SOUS 3262254 HAS SOUPS 3063408 WITH SCORE 3068902.712
AT ITER 4840 NEW BEST:: SOT 8281203 SOS 5507379 HAS SOPS 3265039 HAS SOUS 3263412 HAS SOUPS 3063021 WITH SCORE 3068528.379
AT ITER 4851 NEW BEST:: SOT 8281203 SOS 5507379 HAS SOPS 3265001 HAS SOUS 3263374 HAS SOUPS 3062983 WITH SCORE 3068490.379
AT ITER 4853 NEW BEST:: SOT 8281204 SOS 5507380 HAS SOPS 3264656 HAS SOUS 3263029 HAS SOUPS 3062638 WITH SCORE 3068145.38
AT ITER 4860 NEW BEST:: SOT 8281495 SOS 5507671 HAS SOPS 3264405 HAS SOUS 3263047 HAS SOUPS 3062387 WITH SCORE 3067894.671
AT ITER 4870 NEW BEST:: SOT 8281495 SOS 5507671 HAS SOPS 3264405 HAS SOUS 3262911 HAS SOUPS 3062251 WITH SCORE 3067758.671
AT ITER 4878 NEW BEST:: SOT 8281495 SOS 5491471 HAS SOPS 3248228 HAS SOUS 3262484 HAS SOUPS 3061824 WITH SCORE 3067315.471
AT ITER 4886 NEW BEST:: SOT 8281495 SOS 5491471 HAS SOPS 3248205 HAS SOUS 3262461 HAS SOUPS 3061801 WITH SCORE 3067292.471
AT ITER 4888 NEW BEST:: SOT 8281495 SOS 5491449 HAS SOPS 3248205 HAS SOUS 3262461 HAS SOUPS 3061801 WITH SCORE 3067292.449
AT ITER 4889 NEW BEST:: SOT 8281399 SOS 5491353 HAS SOPS 3248013 HAS SOUS 3262091 HAS SOUPS 3061431 WITH SCORE 3066922.353
AT ITER 4890 NEW BEST:: SOT 8281263 SOS 5491217 HAS SOPS 3247469 HAS SOUS 3261547 HAS SOUPS 3060887 WITH SCORE 3066378.217
AT ITER 4891 NEW BEST:: SOT 8281142 SOS 5491096 HAS SOPS 3247347 HAS SOUS 3261139 HAS SOUPS 3060765 WITH SCORE 3066256.096
AT ITER 4898 NEW BEST:: SOT 8281147 SOS 5491101 HAS SOPS 3247311 HAS SOUS 3261013 HAS SOUPS 3060592 WITH SCORE 3066083.101
AT ITER 4901 NEW BEST:: SOT 8281147 SOS 5490841 HAS SOPS 3246906 HAS SOUS 3260608 HAS SOUPS 3060187 WITH SCORE 3065677.841
AT ITER 4904 NEW BEST:: SOT 8280607 SOS 5490301 HAS SOPS 3245205 HAS SOUS 3259539 HAS SOUPS 3059146 WITH SCORE 3064636.301
AT ITER 4913 NEW BEST:: SOT 8280506 SOS 5493024 HAS SOPS 3245026 HAS SOUS 3259438 HAS SOUPS 3058967 WITH SCORE 3064460.024
AT ITER 4925 NEW BEST:: SOT 8280506 SOS 5493024 HAS SOPS 3244687 HAS SOUS 3259099 HAS SOUPS 3058628 WITH SCORE 3064121.024
AT ITER 4933 NEW BEST:: SOT 8280487 SOS 5493005 HAS SOPS 3244687 HAS SOUS 3259099 HAS SOUPS 3058628 WITH SCORE 3064121.005
AT ITER 4939 NEW BEST:: SOT 8280727 SOS 5493409 HAS SOPS 3244425 HAS SOUS 3258837 HAS SOUPS 3058366 WITH SCORE 3063859.409
AT ITER 4941 NEW BEST:: SOT 8280318 SOS 5493000 HAS SOPS 3243607 HAS SOUS 3256929 HAS SOUPS 3058252 WITH SCORE 3063745.0
AT ITER 4947 NEW BEST:: SOT 8280318 SOS 5493000 HAS SOPS 3243550 HAS SOUS 3256939 HAS SOUPS 3058205 WITH SCORE 3063698.0
AT ITER 4955 NEW BEST:: SOT 8279649 SOS 5492331 HAS SOPS 3243736 HAS SOUS 3256922 HAS SOUPS 3058205 WITH SCORE 3063697.331
AT ITER 4958 NEW BEST:: SOT 8279609 SOS 5492291 HAS SOPS 3243550 HAS SOUS 3256769 HAS SOUPS 3058052 WITH SCORE 3063544.291
AT ITER 4967 NEW BEST:: SOT 8279609 SOS 5492291 HAS SOPS 3242692 HAS SOUS 3256340 HAS SOUPS 3057623 WITH SCORE 3063115.291
AT ITER 4973 NEW BEST:: SOT 8280043 SOS 5492887 HAS SOPS 3242505 HAS SOUS 3256437 HAS SOUPS 3057558 WITH SCORE 3063050.887
AT ITER 4980 NEW BEST:: SOT 8280122 SOS 5492966 HAS SOPS 3242509 HAS SOUS 3256235 HAS SOUPS 3057496 WITH SCORE 3062988.966
AT ITER 4984 NEW BEST:: SOT 8280121 SOS 5492964 HAS SOPS 3241913 HAS SOUS 3256007 HAS SOUPS 3057268 WITH SCORE 3062760.964
AT ITER 4985 NEW BEST:: SOT 8280121 SOS 5492964 HAS SOPS 3241701 HAS SOUS 3255795 HAS SOUPS 3057056 WITH SCORE 3062548.964
AT ITER 4987 NEW BEST:: SOT 8279803 SOS 5492646 HAS SOPS 3241091 HAS SOUS 3255185 HAS SOUPS 3056446 WITH SCORE 3061938.646
AT ITER 4991 NEW BEST:: SOT 8279803 SOS 5492646 HAS SOPS 3241077 HAS SOUS 3255171 HAS SOUPS 3056432 WITH SCORE 3061924.646
AT ITER 4996 NEW BEST:: SOT 8279745 SOS 5492588 HAS SOPS 3241019 HAS SOUS 3255113 HAS SOUPS 3056374 WITH SCORE 3061866.588
Bounds file is: CTLFireability.xml
PROPERTY: BART-PT-020-CTLFireability-00 (EG( (EU( ( ((potential((tk(P1089)>=1) & (tk(P2752)>=1) & (tk(P2756)>=1) & (tk(P2847)>=1)))) | ((potential((tk(P1278)>=1) & (tk(P2758)>=1) & (tk(P2762)>=1) & (tk(P2848)>=1)))) ) , ((potential((tk(P13)>=1) & (tk(P2654)>=1)))) ))))
PROPERTY: BART-PT-020-CTLFireability-01 (! ( ((potential((tk(P2116)>=1) & (tk(P2800)>=1) & (tk(P2804)>=1) & (tk(P2850)>=1) & (tk(P2849)>=1)))) | (AF( (AG( ((potential((tk(P1191)>=1) & (tk(P2753)>=1) & (tk(P2757)>=1) & (tk(P2848)>=1)))))))) ))
PROPERTY: BART-PT-020-CTLFireability-02 (! (AF( (AX( ( ((potential((tk(P880)>=1) & (tk(P2733)>=1) & (tk(P2737)>=1) & (tk(P2848)>=1)))) | ((potential((tk(P669)>=1) & (tk(P2710)>=1) & (tk(P2714)>=1) & (tk(P2850)>=1) & (tk(P2849)>=1)))) ))))))
PROPERTY: BART-PT-020-CTLFireability-03 (AF( (AX( (AX( ((potential((tk(P1323)>=1) & (tk(P2767)>=1) & (tk(P2771)>=1) & (tk(P2847)>=1))))))))))
PROPERTY: BART-PT-020-CTLFireability-04 ( ( (AU( (! ((potential((tk(P775)>=1) & (tk(P2732)>=1) & (tk(P2736)>=1) & (tk(P2847)>=1))))) , (! ((potential((tk(P681)>=1) & (tk(P2727)>=1) & (tk(P2731)>=1) & (tk(P2847)>=1) & (tk(P2846)>=1))))) )) & (AX( ((potential((tk(P1021)>=1) & (tk(P2743)>=1) & (tk(P2747)>=1) & (tk(P2848)>=1)))))) ) | (! ( (AG( (! ((potential((tk(P2381)>=1) & (tk(P2826)>=1) & (tk(P2829)>=1) & (tk(P2848)>=1))))))) | ( ((potential((tk(P602)>=1) & (tk(P2722)>=1) & (tk(P2726)>=1) & (tk(P2847)>=1)))) | ( ( ((potential((tk(P1243)>=1) & (tk(P2762)>=1) & (tk(P2766)>=1) & (tk(P2847)>=1)))) | ((potential((tk(P697)>=1) & (tk(P2727)>=1) & (tk(P2731)>=1) & (tk(P2847)>=1) & (tk(P2846)>=1)))) ) | ( ((potential((tk(P855)>=1) & (tk(P2737)>=1) & (tk(P2741)>=1) & (tk(P2847)>=1) & (tk(P2846)>=1)))) | ((potential((tk(P2220)>=1) & (tk(P2821)>=1) & (tk(P2824)>=1) & (tk(P2847)>=1) & (tk(P2846)>=1)))) ) ) ) )) )
PROPERTY: BART-PT-020-CTLFireability-05 ( (AG( ((potential((tk(P1841)>=1) & (tk(P2789)>=1) & (tk(P2793)>=1) & (tk(P2849)>=1)))))) | (EX( (AX( ( ((potential((tk(P608)>=1) & (tk(P2722)>=1) & (tk(P2726)>=1) & (tk(P2847)>=1)))) | ((potential((tk(P906)>=1) & (tk(P2725)>=1) & (tk(P2729)>=1) & (tk(P2850)>=1) & (tk(P2849)>=1)))) ))))) )
PROPERTY: BART-PT-020-CTLFireability-06 ( ( (EU( ((potential((tk(P1689)>=1) & (tk(P2779)>=1) & (tk(P2783)>=1) & (tk(P2849)>=1)))) , ( ((potential((tk(P1003)>=1) & (tk(P2747)>=1) & (tk(P2751)>=1) & (tk(P2847)>=1)))) & ((potential((tk(P1606)>=1) & (tk(P2774)>=1) & (tk(P2778)>=1) & (tk(P2849)>=1)))) ) )) | (! (EX( ((potential((tk(P10)>=1) & (tk(P2672)>=1))))))) ) | (EF( (! (EF( ((potential((tk(P14)>=1) & (tk(P2676)>=1))))))))) )
PROPERTY: BART-PT-020-CTLFireability-07 (EF( (AX( ( ( ((potential((tk(P2507)>=1) & (tk(P2834)>=1) & (tk(P2836)>=1) & (tk(P2848)>=1)))) & ((potential((tk(P1977)>=1) & (tk(P2807)>=1) & (tk(P2811)>=1) & (tk(P2847)>=1)))) ) & ( ((potential((tk(P15)>=1) & (tk(P2664)>=1)))) & ((potential((tk(P1494)>=1) & (tk(P2777)>=1) & (tk(P2781)>=1) & (tk(P2847)>=1)))) ) )))))
PROPERTY: BART-PT-020-CTLFireability-08 (EF( ( (! (EG( ((potential((tk(P19)>=1) & (tk(P2673)>=1))))))) & ((potential((tk(P856)>=1) & (tk(P2737)>=1) & (tk(P2741)>=1) & (tk(P2847)>=1)))) )))
PROPERTY: BART-PT-020-CTLFireability-09 (EG( (EX( (! ((potential((tk(P2438)>=1) & (tk(P2833)>=1) & (tk(P2835)>=1) & (tk(P2847)>=1)))))))))
PROPERTY: BART-PT-020-CTLFireability-10 (EF( (EX( (AG( ((potential((tk(P1043)>=1) & (tk(P2739)>=1) & (tk(P2743)>=1) & (tk(P2849)>=1))))))))))
PROPERTY: BART-PT-020-CTLFireability-11 (EG( ( ((potential((tk(P2433)>=1) & (tk(P2833)>=1) & (tk(P2835)>=1) & (tk(P2847)>=1) & (tk(P2846)>=1)))) | ( ( (! ((potential((tk(P1962)>=1) & (tk(P2807)>=1) & (tk(P2811)>=1) & (tk(P2847)>=1))))) | (! ((potential((tk(P262)>=1) & (tk(P2697)>=1) & (tk(P2701)>=1) & (tk(P2847)>=1) & (tk(P2846)>=1))))) ) | (! ((potential((tk(P858)>=1) & (tk(P2737)>=1) & (tk(P2741)>=1) & (tk(P2847)>=1) & (tk(P2846)>=1))))) ) )))
PROPERTY: BART-PT-020-CTLFireability-12 (EX( (EG( (AG( ((potential((tk(P6)>=1) & (tk(P2643)>=1))))))))))
PROPERTY: BART-PT-020-CTLFireability-13 (EF( (AG( ((potential((tk(P1528)>=1) & (tk(P2769)>=1) & (tk(P2773)>=1) & (tk(P2849)>=1))))))))
PROPERTY: BART-PT-020-CTLFireability-14 ( ((potential((tk(P1398)>=1) & (tk(P2755)>=1) & (tk(P2759)>=1) & (tk(P2850)>=1) & (tk(P2849)>=1)))) | (EU( (! ((potential((tk(P849)>=1) & (tk(P2737)>=1) & (tk(P2741)>=1) & (tk(P2847)>=1))))) , (AX( ((potential((tk(P49)>=1) & (tk(P2677)>=1) & (tk(P2678)>=1) & (tk(P2847)>=1) & (tk(P2846)>=1)))))) )) )
PROPERTY: BART-PT-020-CTLFireability-15 (EG( (AF( (EF( ((potential((tk(P1025)>=1) & (tk(P2743)>=1) & (tk(P2747)>=1) & (tk(P2848)>=1))))))))))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-020"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BART-PT-020, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897679500092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-020.tgz
mv BART-PT-020 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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