Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508300283.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AirplaneLD-PT-0500, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508300283
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.3M
-rw-r--r-- 1 mcc users 104K Mar 24 10:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 241K Mar 24 10:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 69K Mar 24 09:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 279K Mar 24 09:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 116K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 325K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 128K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 515K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 182K Mar 24 08:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 442K Mar 24 08:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 177K Mar 24 06:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 720K Mar 24 06:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 29K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 50K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.9M 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 AirplaneLD-PT-0500-CTLCardinality-00
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-01
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-02
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-03
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-04
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-05
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-06
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-07
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-08
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-09
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-10
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-11
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-12
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-13
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-14
FORMULA_NAME AirplaneLD-PT-0500-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589100162701

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

GOT IT HERE. BS
Petri model created: 3519 places, 4008 transitions, 15278 arcs.
AT ITER 0 NEW BEST:: SOT 10946094 SOS 5574808 HAS SOPS 4701051 HAS SOUS 3899901 HAS SOUPS 3026147 WITH SCORE 3031721.808
AT ITER 3 NEW BEST:: SOT 10945869 SOS 5574808 HAS SOPS 4701051 HAS SOUS 3899821 HAS SOUPS 3026067 WITH SCORE 3031641.808
AT ITER 5 NEW BEST:: SOT 10945380 SOS 5574808 HAS SOPS 4701051 HAS SOUS 3899492 HAS SOUPS 3025738 WITH SCORE 3031312.808
AT ITER 6 NEW BEST:: SOT 10943997 SOS 5574092 HAS SOPS 4700335 HAS SOUS 3899396 HAS SOUPS 3025642 WITH SCORE 3031216.092
AT ITER 21 NEW BEST:: SOT 10942764 SOS 5573398 HAS SOPS 4699641 HAS SOUS 3898163 HAS SOUPS 3024409 WITH SCORE 3029982.398
AT ITER 23 NEW BEST:: SOT 10942764 SOS 5575299 HAS SOPS 4699641 HAS SOUS 3898338 HAS SOUPS 3023546 WITH SCORE 3029121.299
AT ITER 25 NEW BEST:: SOT 10942253 SOS 5575299 HAS SOPS 4699843 HAS SOUS 3897827 HAS SOUPS 3023237 WITH SCORE 3028812.299
AT ITER 31 NEW BEST:: SOT 10941467 SOS 5575537 HAS SOPS 4700404 HAS SOUS 3897279 HAS SOUPS 3023012 WITH SCORE 3028587.537
AT ITER 41 NEW BEST:: SOT 10940830 SOS 5574263 HAS SOPS 4699767 HAS SOUS 3896005 HAS SOUPS 3022375 WITH SCORE 3027949.263
AT ITER 42 NEW BEST:: SOT 10940278 SOS 5573159 HAS SOPS 4699215 HAS SOUS 3894901 HAS SOUPS 3021823 WITH SCORE 3027396.159
AT ITER 45 NEW BEST:: SOT 10939797 SOS 5572197 HAS SOPS 4698734 HAS SOUS 3893939 HAS SOUPS 3021342 WITH SCORE 3026914.197
AT ITER 48 NEW BEST:: SOT 10938337 SOS 5571687 HAS SOPS 4698224 HAS SOUS 3892573 HAS SOUPS 3019976 WITH SCORE 3025547.687
AT ITER 53 NEW BEST:: SOT 10937994 SOS 5571001 HAS SOPS 4697881 HAS SOUS 3891887 HAS SOUPS 3019633 WITH SCORE 3025204.001
AT ITER 56 NEW BEST:: SOT 10937150 SOS 5569313 HAS SOPS 4697037 HAS SOUS 3890199 HAS SOUPS 3018789 WITH SCORE 3024358.313
AT ITER 57 NEW BEST:: SOT 10937150 SOS 5571344 HAS SOPS 4697037 HAS SOUS 3890506 HAS SOUPS 3017927 WITH SCORE 3023498.344
AT ITER 58 NEW BEST:: SOT 10936363 SOS 5571344 HAS SOPS 4697247 HAS SOUS 3889719 HAS SOUPS 3017350 WITH SCORE 3022921.344
AT ITER 59 NEW BEST:: SOT 10935385 SOS 5569388 HAS SOPS 4696269 HAS SOUS 3887763 HAS SOUPS 3016372 WITH SCORE 3021941.388
AT ITER 60 NEW BEST:: SOT 10935385 SOS 5570657 HAS SOPS 4696269 HAS SOUS 3887790 HAS SOUPS 3015751 WITH SCORE 3021321.657
AT ITER 62 NEW BEST:: SOT 10935385 SOS 5572062 HAS SOPS 4696269 HAS SOUS 3888177 HAS SOUPS 3015242 WITH SCORE 3020814.062
AT ITER 68 NEW BEST:: SOT 10935847 SOS 5575002 HAS SOPS 4696731 HAS SOUS 3889540 HAS SOUPS 3015157 WITH SCORE 3020732.002
AT ITER 71 NEW BEST:: SOT 10935143 SOS 5575002 HAS SOPS 4696731 HAS SOUS 3888836 HAS SOUPS 3014453 WITH SCORE 3020028.002
AT ITER 76 NEW BEST:: SOT 10933929 SOS 5574378 HAS SOPS 4696107 HAS SOUS 3887622 HAS SOUPS 3013239 WITH SCORE 3018813.378
AT ITER 78 NEW BEST:: SOT 10933139 SOS 5572798 HAS SOPS 4695317 HAS SOUS 3886042 HAS SOUPS 3012449 WITH SCORE 3018021.798
AT ITER 90 NEW BEST:: SOT 10933630 SOS 5575796 HAS SOPS 4695808 HAS SOUS 3887506 HAS SOUPS 3012422 WITH SCORE 3017997.796
AT ITER 92 NEW BEST:: SOT 10932349 SOS 5575466 HAS SOPS 4695478 HAS SOUS 3886677 HAS SOUPS 3011593 WITH SCORE 3017168.466
AT ITER 93 NEW BEST:: SOT 10932225 SOS 5575342 HAS SOPS 4695354 HAS SOUS 3886429 HAS SOUPS 3011345 WITH SCORE 3016920.342
AT ITER 98 NEW BEST:: SOT 10932065 SOS 5575342 HAS SOPS 4695354 HAS SOUS 3886269 HAS SOUPS 3011185 WITH SCORE 3016760.342
AT ITER 102 NEW BEST:: SOT 10931783 SOS 5574778 HAS SOPS 4695072 HAS SOUS 3885705 HAS SOUPS 3010903 WITH SCORE 3016477.778
AT ITER 108 NEW BEST:: SOT 10931001 SOS 5574778 HAS SOPS 4695072 HAS SOUS 3884923 HAS SOUPS 3010121 WITH SCORE 3015695.778
AT ITER 112 NEW BEST:: SOT 10930084 SOS 5572944 HAS SOPS 4694155 HAS SOUS 3883089 HAS SOUPS 3009204 WITH SCORE 3014776.944
AT ITER 117 NEW BEST:: SOT 10929468 SOS 5571712 HAS SOPS 4693539 HAS SOUS 3881857 HAS SOUPS 3008588 WITH SCORE 3014159.712
AT ITER 121 NEW BEST:: SOT 10928766 SOS 5571712 HAS SOPS 4693973 HAS SOUS 3881155 HAS SOUPS 3008320 WITH SCORE 3013891.712
AT ITER 123 NEW BEST:: SOT 10927487 SOS 5571076 HAS SOPS 4693337 HAS SOUS 3879876 HAS SOUPS 3007041 WITH SCORE 3012612.076
AT ITER 127 NEW BEST:: SOT 10927879 SOS 5573876 HAS SOPS 4693729 HAS SOUS 3880741 HAS SOUPS 3006816 WITH SCORE 3012389.876
AT ITER 132 NEW BEST:: SOT 10928262 SOS 5576658 HAS SOPS 4694112 HAS SOUS 3881681 HAS SOUPS 3006573 WITH SCORE 3012149.658
AT ITER 135 NEW BEST:: SOT 10926794 SOS 5576029 HAS SOPS 4693483 HAS SOUS 3880213 HAS SOUPS 3005105 WITH SCORE 3010681.029
AT ITER 139 NEW BEST:: SOT 10925812 SOS 5574029 HAS SOPS 4692501 HAS SOUS 3878249 HAS SOUPS 3004159 WITH SCORE 3009733.029
AT ITER 146 NEW BEST:: SOT 10925069 SOS 5574029 HAS SOPS 4692501 HAS SOUS 3877506 HAS SOUPS 3003416 WITH SCORE 3008990.029
AT ITER 147 NEW BEST:: SOT 10924201 SOS 5572293 HAS SOPS 4691633 HAS SOUS 3875770 HAS SOUPS 3002548 WITH SCORE 3008120.293
AT ITER 152 NEW BEST:: SOT 10922876 SOS 5571541 HAS SOPS 4690881 HAS SOUS 3874445 HAS SOUPS 3001223 WITH SCORE 3006794.541
AT ITER 156 NEW BEST:: SOT 10921947 SOS 5569683 HAS SOPS 4689952 HAS SOUS 3872587 HAS SOUPS 3000294 WITH SCORE 3005863.683
AT ITER 161 NEW BEST:: SOT 10921799 SOS 5569683 HAS SOPS 4689952 HAS SOUS 3872439 HAS SOUPS 3000146 WITH SCORE 3005715.683
AT ITER 163 NEW BEST:: SOT 10920934 SOS 5567953 HAS SOPS 4689087 HAS SOUS 3870709 HAS SOUPS 2999281 WITH SCORE 3004848.953
AT ITER 166 NEW BEST:: SOT 10920625 SOS 5567953 HAS SOPS 4689087 HAS SOUS 3870400 HAS SOUPS 2998972 WITH SCORE 3004539.953
AT ITER 167 NEW BEST:: SOT 10919386 SOS 5567611 HAS SOPS 4688745 HAS SOUS 3869697 HAS SOUPS 2998269 WITH SCORE 3003836.611
AT ITER 168 NEW BEST:: SOT 10918253 SOS 5567415 HAS SOPS 4688549 HAS SOUS 3869312 HAS SOUPS 2997884 WITH SCORE 3003451.415
AT ITER 172 NEW BEST:: SOT 10917688 SOS 5566285 HAS SOPS 4687984 HAS SOUS 3868182 HAS SOUPS 2997319 WITH SCORE 3002885.285
AT ITER 180 NEW BEST:: SOT 10918067 SOS 5569059 HAS SOPS 4688363 HAS SOUS 3868947 HAS SOUPS 2997068 WITH SCORE 3002637.059
AT ITER 182 NEW BEST:: SOT 10916755 SOS 5568291 HAS SOPS 4687595 HAS SOUS 3867635 HAS SOUPS 2995756 WITH SCORE 3001324.291
AT ITER 185 NEW BEST:: SOT 10917217 SOS 5571231 HAS SOPS 4688057 HAS SOUS 3868603 HAS SOUPS 2995671 WITH SCORE 3001242.231
AT ITER 186 NEW BEST:: SOT 10917028 SOS 5570853 HAS SOPS 4687868 HAS SOUS 3868225 HAS SOUPS 2995482 WITH SCORE 3001052.853
AT ITER 190 NEW BEST:: SOT 10917028 SOS 5573245 HAS SOPS 4687868 HAS SOUS 3868649 HAS SOUPS 2994498 WITH SCORE 3000071.245
AT ITER 191 NEW BEST:: SOT 10916267 SOS 5571723 HAS SOPS 4687107 HAS SOUS 3867127 HAS SOUPS 2993737 WITH SCORE 2999308.723
AT ITER 192 NEW BEST:: SOT 10915846 SOS 5571723 HAS SOPS 4687107 HAS SOUS 3866706 HAS SOUPS 2993316 WITH SCORE 2998887.723
AT ITER 204 NEW BEST:: SOT 10914909 SOS 5569849 HAS SOPS 4686170 HAS SOUS 3864832 HAS SOUPS 2992379 WITH SCORE 2997948.849
AT ITER 205 NEW BEST:: SOT 10914285 SOS 5569849 HAS SOPS 4686592 HAS SOUS 3864208 HAS SOUPS 2992177 WITH SCORE 2997746.849
AT ITER 208 NEW BEST:: SOT 10914761 SOS 5572817 HAS SOPS 4687068 HAS SOUS 3865163 HAS SOUPS 2992120 WITH SCORE 2997692.817
AT ITER 211 NEW BEST:: SOT 10913960 SOS 5570817 HAS SOPS 4686267 HAS SOUS 3863561 HAS SOUPS 2991717 WITH SCORE 2997287.817
AT ITER 213 NEW BEST:: SOT 10913441 SOS 5570817 HAS SOPS 4686267 HAS SOUS 3863042 HAS SOUPS 2991198 WITH SCORE 2996768.817
AT ITER 220 NEW BEST:: SOT 10912725 SOS 5570817 HAS SOPS 4686389 HAS SOUS 3862326 HAS SOUPS 2990604 WITH SCORE 2996174.817
AT ITER 221 NEW BEST:: SOT 10912725 SOS 5570789 HAS SOPS 4686361 HAS SOUS 3862326 HAS SOUPS 2990604 WITH SCORE 2996174.789
AT ITER 223 NEW BEST:: SOT 10911274 SOS 5570080 HAS SOPS 4685652 HAS SOUS 3860987 HAS SOUPS 2989265 WITH SCORE 2994835.08
AT ITER 235 NEW BEST:: SOT 10910471 SOS 5569575 HAS SOPS 4685147 HAS SOUS 3860619 HAS SOUPS 2988897 WITH SCORE 2994466.575
AT ITER 238 NEW BEST:: SOT 10909824 SOS 5568281 HAS SOPS 4684500 HAS SOUS 3859325 HAS SOUPS 2988250 WITH SCORE 2993818.281
AT ITER 239 NEW BEST:: SOT 10909824 SOS 5570179 HAS SOPS 4684500 HAS SOUS 3859783 HAS SOUPS 2987530 WITH SCORE 2993100.179
AT ITER 240 NEW BEST:: SOT 10909333 SOS 5570179 HAS SOPS 4684500 HAS SOUS 3859292 HAS SOUPS 2987039 WITH SCORE 2992609.179
AT ITER 241 NEW BEST:: SOT 10908811 SOS 5569135 HAS SOPS 4683978 HAS SOUS 3858248 HAS SOUPS 2986517 WITH SCORE 2992086.135
AT ITER 242 NEW BEST:: SOT 10908266 SOS 5569135 HAS SOPS 4684328 HAS SOUS 3857703 HAS SOUPS 2986322 WITH SCORE 2991891.135
AT ITER 243 NEW BEST:: SOT 10908094 SOS 5569270 HAS SOPS 4684463 HAS SOUS 3857666 HAS SOUPS 2986285 WITH SCORE 2991854.27
AT ITER 254 NEW BEST:: SOT 10908455 SOS 5572008 HAS SOPS 4684824 HAS SOUS 3858716 HAS SOUPS 2985998 WITH SCORE 2991570.008
AT ITER 259 NEW BEST:: SOT 10908455 SOS 5573768 HAS SOPS 4684824 HAS SOUS 3858718 HAS SOUPS 2985119 WITH SCORE 2990692.768
AT ITER 260 NEW BEST:: SOT 10907936 SOS 5573768 HAS SOPS 4684824 HAS SOUS 3858199 HAS SOUPS 2984600 WITH SCORE 2990173.768
AT ITER 261 NEW BEST:: SOT 10906847 SOS 5573207 HAS SOPS 4684263 HAS SOUS 3857110 HAS SOUPS 2983511 WITH SCORE 2989084.207
AT ITER 262 NEW BEST:: SOT 10905949 SOS 5571207 HAS SOPS 4683365 HAS SOUS 3855314 HAS SOUPS 2982817 WITH SCORE 2988388.207
AT ITER 268 NEW BEST:: SOT 10905201 SOS 5569207 HAS SOPS 4682617 HAS SOUS 3853818 HAS SOUPS 2982573 WITH SCORE 2988142.207
AT ITER 269 NEW BEST:: SOT 10904461 SOS 5567727 HAS SOPS 4681877 HAS SOUS 3852338 HAS SOUPS 2981833 WITH SCORE 2987400.727
AT ITER 270 NEW BEST:: SOT 10904461 SOS 5569488 HAS SOPS 4681877 HAS SOUS 3852403 HAS SOUPS 2980985 WITH SCORE 2986554.488
AT ITER 272 NEW BEST:: SOT 10904461 SOS 5570683 HAS SOPS 4681877 HAS SOUS 3852436 HAS SOUPS 2980404 WITH SCORE 2985974.683
AT ITER 276 NEW BEST:: SOT 10903552 SOS 5568683 HAS SOPS 4680968 HAS SOUS 3850618 HAS SOUPS 2979677 WITH SCORE 2985245.683
AT ITER 277 NEW BEST:: SOT 10903057 SOS 5568683 HAS SOPS 4680968 HAS SOUS 3850123 HAS SOUPS 2979182 WITH SCORE 2984750.683
AT ITER 289 NEW BEST:: SOT 10902187 SOS 5568833 HAS SOPS 4681317 HAS SOUS 3849403 HAS SOUPS 2978661 WITH SCORE 2984229.833
AT ITER 291 NEW BEST:: SOT 10902187 SOS 5569444 HAS SOPS 4681317 HAS SOUS 3849612 HAS SOUPS 2978460 WITH SCORE 2984029.444
AT ITER 296 NEW BEST:: SOT 10901574 SOS 5568218 HAS SOPS 4680704 HAS SOUS 3848386 HAS SOUPS 2977847 WITH SCORE 2983415.218
AT ITER 298 NEW BEST:: SOT 10900067 SOS 5564849 HAS SOPS 4680266 HAS SOUS 3846412 HAS SOUPS 2977764 WITH SCORE 2983328.849
AT ITER 300 NEW BEST:: SOT 10899729 SOS 5564173 HAS SOPS 4679928 HAS SOUS 3845736 HAS SOUPS 2977426 WITH SCORE 2982990.173
AT ITER 303 NEW BEST:: SOT 10899376 SOS 5563376 HAS SOPS 4679575 HAS SOUS 3845030 HAS SOUPS 2977164 WITH SCORE 2982727.376
AT ITER 304 NEW BEST:: SOT 10898408 SOS 5563427 HAS SOPS 4679638 HAS SOUS 3844640 HAS SOUPS 2976786 WITH SCORE 2982349.427
AT ITER 305 NEW BEST:: SOT 10897523 SOS 5563427 HAS SOPS 4679638 HAS SOUS 3843755 HAS SOUPS 2975901 WITH SCORE 2981464.427
AT ITER 311 NEW BEST:: SOT 10897148 SOS 5562677 HAS SOPS 4679263 HAS SOUS 3843005 HAS SOUPS 2975526 WITH SCORE 2981088.677
AT ITER 314 NEW BEST:: SOT 10896584 SOS 5562677 HAS SOPS 4679263 HAS SOUS 3842441 HAS SOUPS 2974962 WITH SCORE 2980524.677
AT ITER 316 NEW BEST:: SOT 10896371 SOS 5562677 HAS SOPS 4679263 HAS SOUS 3842228 HAS SOUPS 2974749 WITH SCORE 2980311.677
AT ITER 318 NEW BEST:: SOT 10896371 SOS 5563848 HAS SOPS 4679263 HAS SOUS 3842383 HAS SOUPS 2974241 WITH SCORE 2979804.848
AT ITER 319 NEW BEST:: SOT 10896371 SOS 5563746 HAS SOPS 4679161 HAS SOUS 3842383 HAS SOUPS 2974241 WITH SCORE 2979804.746
AT ITER 324 NEW BEST:: SOT 10896291 SOS 5563586 HAS SOPS 4679081 HAS SOUS 3842143 HAS SOUPS 2974081 WITH SCORE 2979644.586
AT ITER 330 NEW BEST:: SOT 10895473 SOS 5561586 HAS SOPS 4678263 HAS SOUS 3840507 HAS SOUPS 2973627 WITH SCORE 2979188.586
AT ITER 337 NEW BEST:: SOT 10894132 SOS 5561154 HAS SOPS 4677831 HAS SOUS 3839498 HAS SOUPS 2972618 WITH SCORE 2978179.154
AT ITER 338 NEW BEST:: SOT 10893527 SOS 5561154 HAS SOPS 4678011 HAS SOUS 3838893 HAS SOUPS 2972193 WITH SCORE 2977754.154
AT ITER 340 NEW BEST:: SOT 10892877 SOS 5561154 HAS SOPS 4678015 HAS SOUS 3838243 HAS SOUPS 2971547 WITH SCORE 2977108.154
AT ITER 344 NEW BEST:: SOT 10892590 SOS 5561344 HAS SOPS 4678205 HAS SOUS 3838146 HAS SOUPS 2971450 WITH SCORE 2977011.344
AT ITER 346 NEW BEST:: SOT 10891885 SOS 5561344 HAS SOPS 4678803 HAS SOUS 3837441 HAS SOUPS 2971343 WITH SCORE 2976904.344
AT ITER 360 NEW BEST:: SOT 10891163 SOS 5561344 HAS SOPS 4679253 HAS SOUS 3836719 HAS SOUPS 2971071 WITH SCORE 2976632.344
AT ITER 363 NEW BEST:: SOT 10891163 SOS 5563069 HAS SOPS 4679253 HAS SOUS 3836886 HAS SOUPS 2970292 WITH SCORE 2975855.069
AT ITER 379 NEW BEST:: SOT 10891163 SOS 5564695 HAS SOPS 4679253 HAS SOUS 3837260 HAS SOUPS 2969666 WITH SCORE 2975230.695
AT ITER 381 NEW BEST:: SOT 10890605 SOS 5564695 HAS SOPS 4679311 HAS SOUS 3836702 HAS SOUPS 2969166 WITH SCORE 2974730.695
AT ITER 392 NEW BEST:: SOT 10889906 SOS 5564695 HAS SOPS 4679541 HAS SOUS 3836003 HAS SOUPS 2968697 WITH SCORE 2974261.695
AT ITER 394 NEW BEST:: SOT 10889314 SOS 5563511 HAS SOPS 4678949 HAS SOUS 3834819 HAS SOUPS 2968105 WITH SCORE 2973668.511
AT ITER 399 NEW BEST:: SOT 10888805 SOS 5562493 HAS SOPS 4678440 HAS SOUS 3833801 HAS SOUPS 2967596 WITH SCORE 2973158.493
AT ITER 413 NEW BEST:: SOT 10888142 SOS 5562493 HAS SOPS 4678942 HAS SOUS 3833138 HAS SOUPS 2967435 WITH SCORE 2972997.493
AT ITER 433 NEW BEST:: SOT 10887270 SOS 5560493 HAS SOPS 4678070 HAS SOUS 3831394 HAS SOUPS 2966819 WITH SCORE 2972379.493
AT ITER 436 NEW BEST:: SOT 10886675 SOS 5560493 HAS SOPS 4678388 HAS SOUS 3830799 HAS SOUPS 2966542 WITH SCORE 2972102.493
AT ITER 439 NEW BEST:: SOT 10886675 SOS 5562018 HAS SOPS 4678388 HAS SOUS 3831190 HAS SOUPS 2965975 WITH SCORE 2971537.018
AT ITER 444 NEW BEST:: SOT 10886775 SOS 5562118 HAS SOPS 4678488 HAS SOUS 3831022 HAS SOUPS 2965807 WITH SCORE 2971369.118
AT ITER 451 NEW BEST:: SOT 10885842 SOS 5560118 HAS SOPS 4677555 HAS SOUS 3829156 HAS SOUPS 2965008 WITH SCORE 2970568.118
AT ITER 457 NEW BEST:: SOT 10885965 SOS 5562380 HAS SOPS 4677678 HAS SOUS 3829459 HAS SOUPS 2964245 WITH SCORE 2969807.38
AT ITER 460 NEW BEST:: SOT 10885146 SOS 5562380 HAS SOPS 4677994 HAS SOUS 3828640 HAS SOUPS 2963742 WITH SCORE 2969304.38
AT ITER 461 NEW BEST:: SOT 10884750 SOS 5561588 HAS SOPS 4677598 HAS SOUS 3827848 HAS SOUPS 2963346 WITH SCORE 2968907.588
AT ITER 466 NEW BEST:: SOT 10883937 SOS 5559588 HAS SOPS 4676785 HAS SOUS 3826222 HAS SOUPS 2962907 WITH SCORE 2968466.588
AT ITER 467 NEW BEST:: SOT 10883024 SOS 5557588 HAS SOPS 4675872 HAS SOUS 3824396 HAS SOUPS 2962168 WITH SCORE 2967725.588
AT ITER 474 NEW BEST:: SOT 10883497 SOS 5560550 HAS SOPS 4676345 HAS SOUS 3825568 HAS SOUPS 2962105 WITH SCORE 2967665.55
AT ITER 478 NEW BEST:: SOT 10882250 SOS 5560216 HAS SOPS 4676011 HAS SOUS 3824841 HAS SOUPS 2961378 WITH SCORE 2966938.216
AT ITER 480 NEW BEST:: SOT 10883526 SOS 5562936 HAS SOPS 4675683 HAS SOUS 3826385 HAS SOUPS 2961182 WITH SCORE 2966744.936
AT ITER 482 NEW BEST:: SOT 10883526 SOS 5564599 HAS SOPS 4675683 HAS SOUS 3826644 HAS SOUPS 2960480 WITH SCORE 2966044.599
AT ITER 485 NEW BEST:: SOT 10882985 SOS 5563517 HAS SOPS 4675142 HAS SOUS 3825562 HAS SOUPS 2959939 WITH SCORE 2965502.517
AT ITER 492 NEW BEST:: SOT 10882100 SOS 5561517 HAS SOPS 4674257 HAS SOUS 3823792 HAS SOUPS 2959284 WITH SCORE 2964845.517
AT ITER 496 NEW BEST:: SOT 10880985 SOS 5561334 HAS SOPS 4674074 HAS SOUS 3823461 HAS SOUPS 2958953 WITH SCORE 2964514.334
AT ITER 506 NEW BEST:: SOT 10880150 SOS 5561334 HAS SOPS 4674268 HAS SOUS 3822626 HAS SOUPS 2958312 WITH SCORE 2963873.334
AT ITER 510 NEW BEST:: SOT 10879278 SOS 5559590 HAS SOPS 4673396 HAS SOUS 3820882 HAS SOUPS 2957440 WITH SCORE 2962999.59
AT ITER 512 NEW BEST:: SOT 10878399 SOS 5557832 HAS SOPS 4672517 HAS SOUS 3819124 HAS SOUPS 2956561 WITH SCORE 2962118.832
AT ITER 513 NEW BEST:: SOT 10877065 SOS 5557315 HAS SOPS 4672000 HAS SOUS 3818136 HAS SOUPS 2955573 WITH SCORE 2961130.315
AT ITER 520 NEW BEST:: SOT 10877009 SOS 5556510 HAS SOPS 4671944 HAS SOUS 3817275 HAS SOUPS 2955461 WITH SCORE 2961017.51
AT ITER 535 NEW BEST:: SOT 10876342 SOS 5556510 HAS SOPS 4672062 HAS SOUS 3816608 HAS SOUPS 2954912 WITH SCORE 2960468.51
AT ITER 551 NEW BEST:: SOT 10876033 SOS 5556510 HAS SOPS 4672062 HAS SOUS 3816299 HAS SOUPS 2954603 WITH SCORE 2960159.51
AT ITER 557 NEW BEST:: SOT 10875638 SOS 5556510 HAS SOPS 4672062 HAS SOUS 3815904 HAS SOUPS 2954208 WITH SCORE 2959764.51
AT ITER 569 NEW BEST:: SOT 10875000 SOS 5556510 HAS SOPS 4672372 HAS SOUS 3815266 HAS SOUPS 2953880 WITH SCORE 2959436.51
AT ITER 573 NEW BEST:: SOT 10874435 SOS 5556510 HAS SOPS 4672372 HAS SOUS 3814701 HAS SOUPS 2953315 WITH SCORE 2958871.51
AT ITER 574 NEW BEST:: SOT 10874435 SOS 5558066 HAS SOPS 4672372 HAS SOUS 3814897 HAS SOUPS 2952635 WITH SCORE 2958193.066
AT ITER 577 NEW BEST:: SOT 10873532 SOS 5556260 HAS SOPS 4671469 HAS SOUS 3813091 HAS SOUPS 2951732 WITH SCORE 2957288.26
AT ITER 578 NEW BEST:: SOT 10873532 SOS 5558313 HAS SOPS 4671469 HAS SOUS 3813280 HAS SOUPS 2950800 WITH SCORE 2956358.313
AT ITER 580 NEW BEST:: SOT 10872969 SOS 5557187 HAS SOPS 4670906 HAS SOUS 3812154 HAS SOUPS 2950237 WITH SCORE 2955794.187
AT ITER 586 NEW BEST:: SOT 10872355 SOS 5555959 HAS SOPS 4670292 HAS SOUS 3810926 HAS SOUPS 2949623 WITH SCORE 2955178.959
AT ITER 594 NEW BEST:: SOT 10871960 SOS 5555169 HAS SOPS 4669897 HAS SOUS 3810136 HAS SOUPS 2949228 WITH SCORE 2954783.169
AT ITER 595 NEW BEST:: SOT 10871960 SOS 5557087 HAS SOPS 4669897 HAS SOUS 3810356 HAS SOUPS 2948379 WITH SCORE 2953936.087
AT ITER 599 NEW BEST:: SOT 10871348 SOS 5555863 HAS SOPS 4669285 HAS SOUS 3809132 HAS SOUPS 2947767 WITH SCORE 2953322.863
AT ITER 600 NEW BEST:: SOT 10871348 SOS 5555743 HAS SOPS 4669285 HAS SOUS 3809012 HAS SOUPS 2947767 WITH SCORE 2953322.743
AT ITER 601 NEW BEST:: SOT 10871348 SOS 5555544 HAS SOPS 4669086 HAS SOUS 3809012 HAS SOUPS 2947767 WITH SCORE 2953322.544
AT ITER 610 NEW BEST:: SOT 10871760 SOS 5558384 HAS SOPS 4669498 HAS SOUS 3810030 HAS SOUPS 2947582 WITH SCORE 2953140.384
AT ITER 612 NEW BEST:: SOT 10871437 SOS 5557738 HAS SOPS 4669175 HAS SOUS 3809384 HAS SOUPS 2947259 WITH SCORE 2952816.738
AT ITER 621 NEW BEST:: SOT 10869986 SOS 5556936 HAS SOPS 4668373 HAS SOUS 3807933 HAS SOUPS 2945808 WITH SCORE 2951364.936
AT ITER 627 NEW BEST:: SOT 10868544 SOS 5556441 HAS SOPS 4667878 HAS SOUS 3806621 HAS SOUPS 2944496 WITH SCORE 2950052.441
AT ITER 628 NEW BEST:: SOT 10868544 SOS 5557970 HAS SOPS 4667878 HAS SOUS 3806968 HAS SOUPS 2943905 WITH SCORE 2949462.97
AT ITER 636 NEW BEST:: SOT 10868544 SOS 5559989 HAS SOPS 4667878 HAS SOUS 3807423 HAS SOUPS 2943123 WITH SCORE 2948682.989
AT ITER 640 NEW BEST:: SOT 10868544 SOS 5559716 HAS SOPS 4667605 HAS SOUS 3807423 HAS SOUPS 2943123 WITH SCORE 2948682.716
AT ITER 646 NEW BEST:: SOT 10867276 SOS 5558982 HAS SOPS 4666871 HAS SOUS 3806155 HAS SOUPS 2941855 WITH SCORE 2947413.982
AT ITER 655 NEW BEST:: SOT 10866030 SOS 5558363 HAS SOPS 4666252 HAS SOUS 3804909 HAS SOUPS 2940609 WITH SCORE 2946167.363
AT ITER 657 NEW BEST:: SOT 10865329 SOS 5558363 HAS SOPS 4666450 HAS SOUS 3804208 HAS SOUPS 2940106 WITH SCORE 2945664.363
AT ITER 658 NEW BEST:: SOT 10865329 SOS 5558162 HAS SOPS 4666249 HAS SOUS 3804007 HAS SOUPS 2939905 WITH SCORE 2945463.162
AT ITER 668 NEW BEST:: SOT 10865050 SOS 5558162 HAS SOPS 4666249 HAS SOUS 3803728 HAS SOUPS 2939626 WITH SCORE 2945184.162
AT ITER 669 NEW BEST:: SOT 10865050 SOS 5559736 HAS SOPS 4666249 HAS SOUS 3804096 HAS SOUPS 2939023 WITH SCORE 2944582.736
AT ITER 671 NEW BEST:: SOT 10864139 SOS 5557914 HAS SOPS 4665338 HAS SOUS 3802274 HAS SOUPS 2938112 WITH SCORE 2943669.914
AT ITER 672 NEW BEST:: SOT 10863788 SOS 5557212 HAS SOPS 4664987 HAS SOUS 3801572 HAS SOUPS 2937761 WITH SCORE 2943318.212
AT ITER 674 NEW BEST:: SOT 10862311 SOS 5556579 HAS SOPS 4664354 HAS SOUS 3800155 HAS SOUPS 2936344 WITH SCORE 2941900.579
AT ITER 675 NEW BEST:: SOT 10861333 SOS 5554623 HAS SOPS 4663376 HAS SOUS 3798199 HAS SOUPS 2935366 WITH SCORE 2940920.623
AT ITER 689 NEW BEST:: SOT 10859984 SOS 5553887 HAS SOPS 4662640 HAS SOUS 3796850 HAS SOUPS 2934017 WITH SCORE 2939570.887
AT ITER 690 NEW BEST:: SOT 10859984 SOS 5553955 HAS SOPS 4662640 HAS SOUS 3796850 HAS SOUPS 2933983 WITH SCORE 2939536.955
AT ITER 693 NEW BEST:: SOT 10859261 SOS 5553955 HAS SOPS 4662738 HAS SOUS 3796127 HAS SOUPS 2933358 WITH SCORE 2938911.955
AT ITER 698 NEW BEST:: SOT 10858754 SOS 5553448 HAS SOPS 4662231 HAS SOUS 3795712 HAS SOUPS 2932943 WITH SCORE 2938496.448
AT ITER 707 NEW BEST:: SOT 10858004 SOS 5553448 HAS SOPS 4662529 HAS SOUS 3794962 HAS SOUPS 2932491 WITH SCORE 2938044.448
AT ITER 715 NEW BEST:: SOT 10857955 SOS 5553350 HAS SOPS 4662480 HAS SOUS 3794864 HAS SOUPS 2932442 WITH SCORE 2937995.35
AT ITER 722 NEW BEST:: SOT 10857005 SOS 5551450 HAS SOPS 4661530 HAS SOUS 3792964 HAS SOUPS 2931492 WITH SCORE 2937043.45
AT ITER 725 NEW BEST:: SOT 10856343 SOS 5551450 HAS SOPS 4661674 HAS SOUS 3792302 HAS SOUPS 2930974 WITH SCORE 2936525.45
AT ITER 730 NEW BEST:: SOT 10856311 SOS 5551450 HAS SOPS 4661674 HAS SOUS 3792270 HAS SOUPS 2930942 WITH SCORE 2936493.45
AT ITER 738 NEW BEST:: SOT 10856311 SOS 5553201 HAS SOPS 4661674 HAS SOUS 3792315 HAS SOUPS 2930089 WITH SCORE 2935642.201
AT ITER 744 NEW BEST:: SOT 10855796 SOS 5553201 HAS SOPS 4661674 HAS SOUS 3791800 HAS SOUPS 2929574 WITH SCORE 2935127.201
AT ITER 745 NEW BEST:: SOT 10855064 SOS 5553393 HAS SOPS 4662320 HAS SOUS 3791260 HAS SOUPS 2929488 WITH SCORE 2935041.393
AT ITER 748 NEW BEST:: SOT 10855064 SOS 5555283 HAS SOPS 4662320 HAS SOUS 3791556 HAS SOUPS 2928691 WITH SCORE 2934246.283
AT ITER 756 NEW BEST:: SOT 10855555 SOS 5558281 HAS SOPS 4662811 HAS SOUS 3792566 HAS SOUPS 2928664 WITH SCORE 2934222.281
AT ITER 761 NEW BEST:: SOT 10855939 SOS 5561065 HAS SOPS 4663195 HAS SOUS 3793354 HAS SOUPS 2928423 WITH SCORE 2933984.065
AT ITER 762 NEW BEST:: SOT 10856307 SOS 5563817 HAS SOPS 4663563 HAS SOUS 3794445 HAS SOUPS 2928150 WITH SCORE 2933713.817
AT ITER 781 NEW BEST:: SOT 10855722 SOS 5563817 HAS SOPS 4663563 HAS SOUS 3793860 HAS SOUPS 2927565 WITH SCORE 2933128.817
AT ITER 785 NEW BEST:: SOT 10854961 SOS 5563817 HAS SOPS 4663807 HAS SOUS 3793099 HAS SOUPS 2927048 WITH SCORE 2932611.817
AT ITER 787 NEW BEST:: SOT 10854406 SOS 5562707 HAS SOPS 4663252 HAS SOUS 3791989 HAS SOUPS 2926493 WITH SCORE 2932055.707
AT ITER 792 NEW BEST:: SOT 10853742 SOS 5561379 HAS SOPS 4662588 HAS SOUS 3790661 HAS SOUPS 2925829 WITH SCORE 2931390.379
AT ITER 795 NEW BEST:: SOT 10853199 SOS 5560293 HAS SOPS 4662045 HAS SOUS 3789575 HAS SOUPS 2925286 WITH SCORE 2930846.293
AT ITER 801 NEW BEST:: SOT 10851779 SOS 5559852 HAS SOPS 4661604 HAS SOUS 3788329 HAS SOUPS 2924040 WITH SCORE 2929599.852
AT ITER 803 NEW BEST:: SOT 10851524 SOS 5559342 HAS SOPS 4661349 HAS SOUS 3787819 HAS SOUPS 2923785 WITH SCORE 2929344.342
AT ITER 812 NEW BEST:: SOT 10851864 SOS 5562038 HAS SOPS 4661689 HAS SOUS 3788557 HAS SOUPS 2923456 WITH SCORE 2929018.038
AT ITER 815 NEW BEST:: SOT 10850370 SOS 5561456 HAS SOPS 4661107 HAS SOUS 3787063 HAS SOUPS 2921962 WITH SCORE 2927523.456
AT ITER 816 NEW BEST:: SOT 10850370 SOS 5563699 HAS SOPS 4661107 HAS SOUS 3787356 HAS SOUPS 2920987 WITH SCORE 2926550.699
AT ITER 817 NEW BEST:: SOT 10850204 SOS 5563533 HAS SOPS 4660941 HAS SOUS 3787059 HAS SOUPS 2920690 WITH SCORE 2926253.533
AT ITER 820 NEW BEST:: SOT 10849812 SOS 5563141 HAS SOPS 4660549 HAS SOUS 3786275 HAS SOUPS 2919906 WITH SCORE 2925469.141
AT ITER 821 NEW BEST:: SOT 10850033 SOS 5565714 HAS SOPS 4660770 HAS SOUS 3787135 HAS SOUPS 2919381 WITH SCORE 2924946.714
AT ITER 822 NEW BEST:: SOT 10849624 SOS 5565714 HAS SOPS 4660770 HAS SOUS 3786726 HAS SOUPS 2918972 WITH SCORE 2924537.714
AT ITER 833 NEW BEST:: SOT 10850031 SOS 5568544 HAS SOPS 4661177 HAS SOUS 3787558 HAS SOUPS 2918777 WITH SCORE 2924345.544
AT ITER 843 NEW BEST:: SOT 10849091 SOS 5566664 HAS SOPS 4660237 HAS SOUS 3785678 HAS SOUPS 2917837 WITH SCORE 2923403.664
AT ITER 846 NEW BEST:: SOT 10849091 SOS 5566650 HAS SOPS 4660223 HAS SOUS 3785664 HAS SOUPS 2917823 WITH SCORE 2923389.65
AT ITER 850 NEW BEST:: SOT 10849390 SOS 5569698 HAS SOPS 4660522 HAS SOUS 3787629 HAS SOUPS 2917730 WITH SCORE 2923299.698
AT ITER 858 NEW BEST:: SOT 10849744 SOS 5572422 HAS SOPS 4660876 HAS SOUS 3788439 HAS SOUPS 2917429 WITH SCORE 2923001.422
AT ITER 859 NEW BEST:: SOT 10849093 SOS 5572422 HAS SOPS 4661482 HAS SOUS 3787788 HAS SOUPS 2917384 WITH SCORE 2922956.422
AT ITER 866 NEW BEST:: SOT 10848128 SOS 5572426 HAS SOPS 4661568 HAS SOUS 3786827 HAS SOUPS 2916505 WITH SCORE 2922077.426
AT ITER 867 NEW BEST:: SOT 10847415 SOS 5571000 HAS SOPS 4660855 HAS SOUS 3785401 HAS SOUPS 2915792 WITH SCORE 2921363.0
AT ITER 873 NEW BEST:: SOT 10846435 SOS 5569000 HAS SOPS 4659875 HAS SOUS 3783441 HAS SOUPS 2914852 WITH SCORE 2920421.0
AT ITER 879 NEW BEST:: SOT 10846435 SOS 5570638 HAS SOPS 4659875 HAS SOUS 3783537 HAS SOUPS 2914081 WITH SCORE 2919651.638
AT ITER 882 NEW BEST:: SOT 10845507 SOS 5568638 HAS SOPS 4658947 HAS SOUS 3781681 HAS SOUPS 2913297 WITH SCORE 2918865.638
AT ITER 884 NEW BEST:: SOT 10845343 SOS 5568310 HAS SOPS 4658783 HAS SOUS 3781353 HAS SOUPS 2913133 WITH SCORE 2918701.31
AT ITER 885 NEW BEST:: SOT 10845343 SOS 5568846 HAS SOPS 4658783 HAS SOUS 3781503 HAS SOUPS 2912940 WITH SCORE 2918508.846
AT ITER 886 NEW BEST:: SOT 10844419 SOS 5568846 HAS SOPS 4658941 HAS SOUS 3780579 HAS SOUPS 2912174 WITH SCORE 2917742.846
AT ITER 902 NEW BEST:: SOT 10843707 SOS 5568846 HAS SOPS 4658941 HAS SOUS 3779867 HAS SOUPS 2911462 WITH SCORE 2917030.846
AT ITER 908 NEW BEST:: SOT 10843508 SOS 5568647 HAS SOPS 4658742 HAS SOUS 3779469 HAS SOUPS 2911064 WITH SCORE 2916632.647
AT ITER 915 NEW BEST:: SOT 10842715 SOS 5566647 HAS SOPS 4657949 HAS SOUS 3777883 HAS SOUPS 2910685 WITH SCORE 2916251.647
AT ITER 916 NEW BEST:: SOT 10841260 SOS 5565778 HAS SOPS 4657080 HAS SOUS 3776428 HAS SOUPS 2909230 WITH SCORE 2914795.778
AT ITER 919 NEW BEST:: SOT 10840577 SOS 5564412 HAS SOPS 4656397 HAS SOUS 3775062 HAS SOUPS 2908547 WITH SCORE 2914111.412
AT ITER 920 NEW BEST:: SOT 10840014 SOS 5564412 HAS SOPS 4656667 HAS SOUS 3774499 HAS SOUPS 2908254 WITH SCORE 2913818.412
AT ITER 921 NEW BEST:: SOT 10840014 SOS 5566063 HAS SOPS 4656667 HAS SOUS 3774958 HAS SOUPS 2907658 WITH SCORE 2913224.063
AT ITER 927 NEW BEST:: SOT 10841218 SOS 5568593 HAS SOPS 4656431 HAS SOUS 3776259 HAS SOUPS 2907419 WITH SCORE 2912987.593
AT ITER 934 NEW BEST:: SOT 10841218 SOS 5568226 HAS SOPS 4656431 HAS SOUS 3775892 HAS SOUPS 2907419 WITH SCORE 2912987.226
AT ITER 936 NEW BEST:: SOT 10840978 SOS 5567986 HAS SOPS 4656191 HAS SOUS 3775412 HAS SOUPS 2906939 WITH SCORE 2912506.986
AT ITER 938 NEW BEST:: SOT 10839934 SOS 5565896 HAS SOPS 4655653 HAS SOUS 3773832 HAS SOUPS 2906403 WITH SCORE 2911968.896
AT ITER 954 NEW BEST:: SOT 10839934 SOS 5567574 HAS SOPS 4655653 HAS SOUS 3774084 HAS SOUPS 2905690 WITH SCORE 2911257.574
AT ITER 974 NEW BEST:: SOT 10839934 SOS 5568025 HAS SOPS 4655653 HAS SOUS 3774371 HAS SOUPS 2905608 WITH SCORE 2911176.025
AT ITER 977 NEW BEST:: SOT 10839053 SOS 5568237 HAS SOPS 4656011 HAS SOUS 3773702 HAS SOUPS 2905085 WITH SCORE 2910653.237
AT ITER 979 NEW BEST:: SOT 10838038 SOS 5568004 HAS SOPS 4655778 HAS SOUS 3772687 HAS SOUPS 2904070 WITH SCORE 2909638.004
AT ITER 982 NEW BEST:: SOT 10837893 SOS 5568004 HAS SOPS 4655778 HAS SOUS 3772542 HAS SOUPS 2903925 WITH SCORE 2909493.004
AT ITER 988 NEW BEST:: SOT 10838331 SOS 5569039 HAS SOPS 4655847 HAS SOUS 3772912 HAS SOUPS 2903701 WITH SCORE 2909270.039
AT ITER 997 NEW BEST:: SOT 10838705 SOS 5571803 HAS SOPS 4656221 HAS SOUS 3773993 HAS SOUPS 2903440 WITH SCORE 2909011.803
AT ITER 998 NEW BEST:: SOT 10837416 SOS 5571292 HAS SOPS 4655710 HAS SOUS 3772704 HAS SOUPS 2902151 WITH SCORE 2907722.292
AT ITER 1001 NEW BEST:: SOT 10836798 SOS 5571292 HAS SOPS 4655710 HAS SOUS 3772086 HAS SOUPS 2901533 WITH SCORE 2907104.292
AT ITER 1010 NEW BEST:: SOT 10836314 SOS 5571292 HAS SOPS 4655710 HAS SOUS 3771602 HAS SOUPS 2901049 WITH SCORE 2906620.292
AT ITER 1018 NEW BEST:: SOT 10834830 SOS 5570498 HAS SOPS 4654916 HAS SOUS 3770118 HAS SOUPS 2899565 WITH SCORE 2905135.498
AT ITER 1019 NEW BEST:: SOT 10834385 SOS 5569473 HAS SOPS 4654471 HAS SOUS 3769228 HAS SOUPS 2899255 WITH SCORE 2904824.473
AT ITER 1026 NEW BEST:: SOT 10834215 SOS 5569133 HAS SOPS 4654301 HAS SOUS 3768888 HAS SOUPS 2899085 WITH SCORE 2904654.133
AT ITER 1035 NEW BEST:: SOT 10833976 SOS 5568655 HAS SOPS 4654062 HAS SOUS 3768410 HAS SOUPS 2898846 WITH SCORE 2904414.655
AT ITER 1038 NEW BEST:: SOT 10832953 SOS 5568148 HAS SOPS 4653555 HAS SOUS 3767387 HAS SOUPS 2897823 WITH SCORE 2903391.148
AT ITER 1045 NEW BEST:: SOT 10832953 SOS 5568148 HAS SOPS 4653555 HAS SOUS 3767186 HAS SOUPS 2897622 WITH SCORE 2903190.148
AT ITER 1054 NEW BEST:: SOT 10832650 SOS 5567845 HAS SOPS 4653252 HAS SOUS 3766580 HAS SOUPS 2897016 WITH SCORE 2902583.845
AT ITER 1055 NEW BEST:: SOT 10868117 SOS 5447449 HAS SOPS 4170707 HAS SOUS 3440989 HAS SOUPS 2571425 WITH SCORE 2576872.449
AT ITER 1059 NEW BEST:: SOT 10867874 SOS 5446720 HAS SOPS 4170464 HAS SOUS 3440746 HAS SOUPS 2571425 WITH SCORE 2576871.72
AT ITER 1062 NEW BEST:: SOT 10867846 SOS 5446636 HAS SOPS 4170436 HAS SOUS 3440690 HAS SOUPS 2571397 WITH SCORE 2576843.636
AT ITER 1069 NEW BEST:: SOT 10867683 SOS 5446636 HAS SOPS 4170436 HAS SOUS 3440527 HAS SOUPS 2571234 WITH SCORE 2576680.636
AT ITER 1070 NEW BEST:: SOT 10866227 SOS 5445849 HAS SOPS 4169649 HAS SOUS 3439071 HAS SOUPS 2569778 WITH SCORE 2575223.849
AT ITER 1077 NEW BEST:: SOT 10865349 SOS 5446017 HAS SOPS 4169991 HAS SOUS 3438361 HAS SOUPS 2569242 WITH SCORE 2574688.017
AT ITER 1079 NEW BEST:: SOT 10865791 SOS 5450357 HAS SOPS 4170433 HAS SOUS 3439245 HAS SOUPS 2568177 WITH SCORE 2573627.357
AT ITER 1086 NEW BEST:: SOT 10865791 SOS 5451605 HAS SOPS 4170433 HAS SOUS 3439245 HAS SOUPS 2567553 WITH SCORE 2573004.605
AT ITER 1091 NEW BEST:: SOT 10864445 SOS 5450919 HAS SOPS 4169747 HAS SOUS 3437899 HAS SOUPS 2566207 WITH SCORE 2571657.919
AT ITER 1093 NEW BEST:: SOT 10863895 SOS 5449269 HAS SOPS 4169197 HAS SOUS 3437349 HAS SOUPS 2566207 WITH SCORE 2571656.269
AT ITER 1094 NEW BEST:: SOT 10863159 SOS 5447797 HAS SOPS 4168461 HAS SOUS 3436613 HAS SOUPS 2566207 WITH SCORE 2571654.797
AT ITER 1104 NEW BEST:: SOT 10862735 SOS 5447797 HAS SOPS 4168461 HAS SOUS 3436189 HAS SOUPS 2565783 WITH SCORE 2571230.797
AT ITER 1106 NEW BEST:: SOT 10861365 SOS 5447323 HAS SOPS 4167987 HAS SOUS 3435093 HAS SOUPS 2564687 WITH SCORE 2570134.323
AT ITER 1113 NEW BEST:: SOT 10861957 SOS 5450894 HAS SOPS 4168579 HAS SOUS 3436277 HAS SOUPS 2564491 WITH SCORE 2569941.894
AT ITER 1119 NEW BEST:: SOT 10861098 SOS 5450362 HAS SOPS 4168047 HAS SOUS 3435779 HAS SOUPS 2563993 WITH SCORE 2569443.362
AT ITER 1122 NEW BEST:: SOT 10860748 SOS 5450362 HAS SOPS 4168047 HAS SOUS 3435429 HAS SOUPS 2563643 WITH SCORE 2569093.362
AT ITER 1124 NEW BEST:: SOT 10860066 SOS 5450362 HAS SOPS 4168341 HAS SOUS 3434747 HAS SOUPS 2563255 WITH SCORE 2568705.362
AT ITER 1129 NEW BEST:: SOT 10858834 SOS 5449934 HAS SOPS 4167913 HAS SOUS 3434065 HAS SOUPS 2562573 WITH SCORE 2568022.934
AT ITER 1131 NEW BEST:: SOT 10858318 SOS 5449934 HAS SOPS 4168285 HAS SOUS 3433549 HAS SOUPS 2562429 WITH SCORE 2567878.934
AT ITER 1140 NEW BEST:: SOT 10858318 SOS 5449934 HAS SOPS 4168285 HAS SOUS 3433474 HAS SOUPS 2562354 WITH SCORE 2567803.934
AT ITER 1147 NEW BEST:: SOT 10858152 SOS 5449768 HAS SOPS 4168119 HAS SOUS 3433142 HAS SOUPS 2562022 WITH SCORE 2567471.768
AT ITER 1148 NEW BEST:: SOT 10857993 SOS 5449609 HAS SOPS 4167960 HAS SOUS 3432824 HAS SOUPS 2561704 WITH SCORE 2567153.609
AT ITER 1149 NEW BEST:: SOT 10857163 SOS 5449933 HAS SOPS 4168476 HAS SOUS 3432318 HAS SOUPS 2561390 WITH SCORE 2566839.933
AT ITER 1155 NEW BEST:: SOT 10856510 SOS 5449189 HAS SOPS 4167170 HAS SOUS 3431012 HAS SOUPS 2560084 WITH SCORE 2565533.189
AT ITER 1164 NEW BEST:: SOT 10856510 SOS 5451733 HAS SOPS 4167170 HAS SOUS 3431012 HAS SOUPS 2558812 WITH SCORE 2564263.733
AT ITER 1172 NEW BEST:: SOT 10855998 SOS 5450197 HAS SOPS 4166658 HAS SOUS 3430500 HAS SOUPS 2558812 WITH SCORE 2564262.197
AT ITER 1173 NEW BEST:: SOT 10855422 SOS 5450197 HAS SOPS 4166658 HAS SOUS 3429924 HAS SOUPS 2558236 WITH SCORE 2563686.197
AT ITER 1181 NEW BEST:: SOT 10855803 SOS 5453243 HAS SOPS 4167039 HAS SOUS 3430686 HAS SOUPS 2557721 WITH SCORE 2563174.243
AT ITER 1184 NEW BEST:: SOT 10855433 SOS 5453243 HAS SOPS 4167039 HAS SOUS 3430316 HAS SOUPS 2557351 WITH SCORE 2562804.243
AT ITER 1186 NEW BEST:: SOT 10855692 SOS 5455931 HAS SOPS 4167298 HAS SOUS 3430834 HAS SOUPS 2556706 WITH SCORE 2562161.931
AT ITER 1203 NEW BEST:: SOT 10855692 SOS 5457547 HAS SOPS 4167298 HAS SOUS 3430834 HAS SOUPS 2555898 WITH SCORE 2561355.547
AT ITER 1204 NEW BEST:: SOT 10855432 SOS 5456767 HAS SOPS 4167038 HAS SOUS 3430574 HAS SOUPS 2555898 WITH SCORE 2561354.767
AT ITER 1218 NEW BEST:: SOT 10854977 SOS 5455402 HAS SOPS 4166583 HAS SOUS 3430119 HAS SOUPS 2555898 WITH SCORE 2561353.402
AT ITER 1220 NEW BEST:: SOT 10855543 SOS 5458786 HAS SOPS 4167149 HAS SOUS 3431251 HAS SOUPS 2555785 WITH SCORE 2561243.786
AT ITER 1234 NEW BEST:: SOT 10855543 SOS 5460976 HAS SOPS 4167149 HAS SOUS 3431251 HAS SOUPS 2554690 WITH SCORE 2560150.976
AT ITER 1236 NEW BEST:: SOT 10855543 SOS 5462448 HAS SOPS 4167149 HAS SOUS 3431251 HAS SOUPS 2553954 WITH SCORE 2559416.448
AT ITER 1239 NEW BEST:: SOT 10854957 SOS 5460690 HAS SOPS 4166563 HAS SOUS 3430665 HAS SOUPS 2553954 WITH SCORE 2559414.69
AT ITER 1243 NEW BEST:: SOT 10854957 SOS 5460663 HAS SOPS 4166563 HAS SOUS 3430665 HAS SOUPS 2553954 WITH SCORE 2559414.663
AT ITER 1246 NEW BEST:: SOT 10853769 SOS 5460442 HAS SOPS 4166342 HAS SOUS 3430115 HAS SOUPS 2553404 WITH SCORE 2558864.442
AT ITER 1250 NEW BEST:: SOT 10853360 SOS 5460033 HAS SOPS 4165524 HAS SOUS 3429297 HAS SOUPS 2552586 WITH SCORE 2558046.033
AT ITER 1264 NEW BEST:: SOT 10852431 SOS 5459778 HAS SOPS 4165269 HAS SOUS 3429040 HAS SOUPS 2552329 WITH SCORE 2557788.778
AT ITER 1269 NEW BEST:: SOT 10852881 SOS 5462964 HAS SOPS 4165719 HAS SOUS 3429940 HAS SOUPS 2551950 WITH SCORE 2557412.964
AT ITER 1270 NEW BEST:: SOT 10854173 SOS 5465685 HAS SOPS 4165735 HAS SOUS 3431232 HAS SOUPS 2551822 WITH SCORE 2557287.685
AT ITER 1271 NEW BEST:: SOT 10854211 SOS 5468813 HAS SOPS 4165773 HAS SOUS 3431308 HAS SOUPS 2550353 WITH SCORE 2555821.813
AT ITER 1273 NEW BEST:: SOT 10853770 SOS 5467490 HAS SOPS 4165332 HAS SOUS 3430867 HAS SOUPS 2550353 WITH SCORE 2555820.49
AT ITER 1278 NEW BEST:: SOT 10853770 SOS 5469342 HAS SOPS 4165332 HAS SOUS 3430867 HAS SOUPS 2549427 WITH SCORE 2554896.342
AT ITER 1282 NEW BEST:: SOT 10853426 SOS 5469342 HAS SOPS 4165332 HAS SOUS 3430523 HAS SOUPS 2549083 WITH SCORE 2554552.342
AT ITER 1294 NEW BEST:: SOT 10852548 SOS 5468465 HAS SOPS 4164829 HAS SOUS 3429645 HAS SOUPS 2548579 WITH SCORE 2554047.465
AT ITER 1302 NEW BEST:: SOT 10853231 SOS 5472323 HAS SOPS 4165512 HAS SOUS 3431011 HAS SOUPS 2548460 WITH SCORE 2553932.323
AT ITER 1303 NEW BEST:: SOT 10853482 SOS 5474850 HAS SOPS 4165763 HAS SOUS 3431513 HAS SOUPS 2547944 WITH SCORE 2553418.85
AT ITER 1306 NEW BEST:: SOT 10854434 SOS 5477377 HAS SOPS 4165748 HAS SOUS 3432146 HAS SOUPS 2547306 WITH SCORE 2552783.377
AT ITER 1307 NEW BEST:: SOT 10854864 SOS 5480497 HAS SOPS 4166178 HAS SOUS 3433006 HAS SOUPS 2546913 WITH SCORE 2552393.497
AT ITER 1309 NEW BEST:: SOT 10853964 SOS 5480497 HAS SOPS 4166278 HAS SOUS 3432106 HAS SOUPS 2546113 WITH SCORE 2551593.497
AT ITER 1312 NEW BEST:: SOT 10852764 SOS 5479839 HAS SOPS 4165620 HAS SOUS 3430906 HAS SOUPS 2544913 WITH SCORE 2550392.839
AT ITER 1317 NEW BEST:: SOT 10853456 SOS 5485043 HAS SOPS 4166312 HAS SOUS 3433136 HAS SOUPS 2544442 WITH SCORE 2549927.043
AT ITER 1335 NEW BEST:: SOT 10852104 SOS 5484296 HAS SOPS 4165565 HAS SOUS 3431784 HAS SOUPS 2543090 WITH SCORE 2548574.296
AT ITER 1337 NEW BEST:: SOT 10852104 SOS 5485762 HAS SOPS 4165565 HAS SOUS 3431784 HAS SOUPS 2542357 WITH SCORE 2547842.762
AT ITER 1341 NEW BEST:: SOT 10851787 SOS 5484811 HAS SOPS 4165248 HAS SOUS 3431467 HAS SOUPS 2542357 WITH SCORE 2547841.811
AT ITER 1349 NEW BEST:: SOT 10852126 SOS 5485842 HAS SOPS 4165577 HAS SOUS 3431571 HAS SOUPS 2542110 WITH SCORE 2547595.842
AT ITER 1351 NEW BEST:: SOT 10852258 SOS 5488242 HAS SOPS 4165709 HAS SOUS 3431835 HAS SOUPS 2541245 WITH SCORE 2546733.242
AT ITER 1354 NEW BEST:: SOT 10851644 SOS 5486400 HAS SOPS 4165095 HAS SOUS 3431221 HAS SOUPS 2541245 WITH SCORE 2546731.4
AT ITER 1365 NEW BEST:: SOT 10851551 SOS 5486307 HAS SOPS 4165002 HAS SOUS 3431035 HAS SOUPS 2541059 WITH SCORE 2546545.307
AT ITER 1372 NEW BEST:: SOT 10850371 SOS 5485731 HAS SOPS 4164426 HAS SOUS 3429855 HAS SOUPS 2539879 WITH SCORE 2545364.731
AT ITER 1377 NEW BEST:: SOT 10850371 SOS 5485853 HAS SOPS 4164182 HAS SOUS 3429975 HAS SOUPS 2539635 WITH SCORE 2545120.853
AT ITER 1378 NEW BEST:: SOT 10849618 SOS 5485853 HAS SOPS 4164242 HAS SOUS 3429222 HAS SOUPS 2538942 WITH SCORE 2544427.853
AT ITER 1379 NEW BEST:: SOT 10849618 SOS 5486095 HAS SOPS 4164121 HAS SOUS 3429101 HAS SOUPS 2538700 WITH SCORE 2544186.095
AT ITER 1384 NEW BEST:: SOT 10849526 SOS 5486003 HAS SOPS 4164029 HAS SOUS 3428917 HAS SOUPS 2538516 WITH SCORE 2544002.003
AT ITER 1386 NEW BEST:: SOT 10848727 SOS 5484952 HAS SOPS 4162431 HAS SOUS 3427319 HAS SOUPS 2536918 WITH SCORE 2542402.952
AT ITER 1389 NEW BEST:: SOT 10848727 SOS 5484924 HAS SOPS 4162375 HAS SOUS 3427291 HAS SOUPS 2536862 WITH SCORE 2542346.924
AT ITER 1391 NEW BEST:: SOT 10848153 SOS 5484350 HAS SOPS 4161801 HAS SOUS 3426937 HAS SOUPS 2536508 WITH SCORE 2541992.35
AT ITER 1392 NEW BEST:: SOT 10848435 SOS 5488210 HAS SOPS 4162083 HAS SOUS 3427501 HAS SOUPS 2535283 WITH SCORE 2540771.21
AT ITER 1394 NEW BEST:: SOT 10848095 SOS 5488439 HAS SOPS 4162312 HAS SOUS 3427390 HAS SOUPS 2535172 WITH SCORE 2540660.439
AT ITER 1395 NEW BEST:: SOT 10847341 SOS 5486177 HAS SOPS 4161558 HAS SOUS 3426636 HAS SOUPS 2535172 WITH SCORE 2540658.177
AT ITER 1403 NEW BEST:: SOT 10847833 SOS 5489457 HAS SOPS 4162050 HAS SOUS 3427620 HAS SOUPS 2534867 WITH SCORE 2540356.457
AT ITER 1407 NEW BEST:: SOT 10847179 SOS 5489457 HAS SOPS 4162476 HAS SOUS 3426966 HAS SOUPS 2534639 WITH SCORE 2540128.457
AT ITER 1421 NEW BEST:: SOT 10846327 SOS 5486901 HAS SOPS 4161624 HAS SOUS 3426114 HAS SOUPS 2534639 WITH SCORE 2540125.901
AT ITER 1422 NEW BEST:: SOT 10844989 SOS 5486362 HAS SOPS 4161085 HAS SOUS 3424776 HAS SOUPS 2533301 WITH SCORE 2538787.362
AT ITER 1430 NEW BEST:: SOT 10844600 SOS 5485195 HAS SOPS 4160696 HAS SOUS 3424387 HAS SOUPS 2533301 WITH SCORE 2538786.195
AT ITER 1439 NEW BEST:: SOT 10843966 SOS 5485195 HAS SOPS 4160742 HAS SOUS 3423753 HAS SOUPS 2532713 WITH SCORE 2538198.195
AT ITER 1443 NEW BEST:: SOT 10843966 SOS 5487167 HAS SOPS 4160742 HAS SOUS 3423753 HAS SOUPS 2531727 WITH SCORE 2537214.167
AT ITER 1455 NEW BEST:: SOT 10843276 SOS 5487167 HAS SOPS 4161062 HAS SOUS 3423063 HAS SOUPS 2531357 WITH SCORE 2536844.167
AT ITER 1463 NEW BEST:: SOT 10842922 SOS 5486813 HAS SOPS 4160708 HAS SOUS 3422355 HAS SOUPS 2530649 WITH SCORE 2536135.813
AT ITER 1464 NEW BEST:: SOT 10842889 SOS 5486714 HAS SOPS 4160675 HAS SOUS 3422322 HAS SOUPS 2530649 WITH SCORE 2536135.714
AT ITER 1467 NEW BEST:: SOT 10843437 SOS 5489936 HAS SOPS 4161223 HAS SOUS 3423418 HAS SOUPS 2530626 WITH SCORE 2536115.936
AT ITER 1471 NEW BEST:: SOT 10843935 SOS 5493304 HAS SOPS 4161721 HAS SOUS 3424414 HAS SOUPS 2530257 WITH SCORE 2535750.304
AT ITER 1480 NEW BEST:: SOT 10843564 SOS 5492191 HAS SOPS 4161350 HAS SOUS 3424043 HAS SOUPS 2530257 WITH SCORE 2535749.191
AT ITER 1482 NEW BEST:: SOT 10842141 SOS 5491467 HAS SOPS 4160626 HAS SOUS 3422863 HAS SOUPS 2529077 WITH SCORE 2534568.467
AT ITER 1486 NEW BEST:: SOT 10842141 SOS 5491467 HAS SOPS 4160626 HAS SOUS 3422566 HAS SOUPS 2528780 WITH SCORE 2534271.467
AT ITER 1489 NEW BEST:: SOT 10841944 SOS 5491270 HAS SOPS 4160429 HAS SOUS 3422172 HAS SOUPS 2528386 WITH SCORE 2533877.27
AT ITER 1491 NEW BEST:: SOT 10840667 SOS 5490555 HAS SOPS 4159714 HAS SOUS 3420895 HAS SOUPS 2527109 WITH SCORE 2532599.555
AT ITER 1499 NEW BEST:: SOT 10840494 SOS 5490382 HAS SOPS 4159541 HAS SOUS 3420549 HAS SOUPS 2526763 WITH SCORE 2532253.382
AT ITER 1506 NEW BEST:: SOT 10840112 SOS 5489236 HAS SOPS 4159159 HAS SOUS 3420167 HAS SOUPS 2526763 WITH SCORE 2532252.236
AT ITER 1514 NEW BEST:: SOT 10840112 SOS 5491570 HAS SOPS 4159159 HAS SOUS 3420167 HAS SOUPS 2525596 WITH SCORE 2531087.57
AT ITER 1518 NEW BEST:: SOT 10840204 SOS 5491856 HAS SOPS 4159245 HAS SOUS 3420159 HAS SOUPS 2525488 WITH SCORE 2530979.856
AT ITER 1521 NEW BEST:: SOT 10839881 SOS 5490887 HAS SOPS 4158922 HAS SOUS 3419836 HAS SOUPS 2525488 WITH SCORE 2530978.887
AT ITER 1526 NEW BEST:: SOT 10839881 SOS 5491803 HAS SOPS 4158922 HAS SOUS 3419836 HAS SOUPS 2525030 WITH SCORE 2530521.803
AT ITER 1529 NEW BEST:: SOT 10839607 SOS 5490981 HAS SOPS 4158648 HAS SOUS 3419288 HAS SOUPS 2524756 WITH SCORE 2530246.981
AT ITER 1530 NEW BEST:: SOT 10838669 SOS 5490796 HAS SOPS 4158463 HAS SOUS 3418700 HAS SOUPS 2524168 WITH SCORE 2529658.796
AT ITER 1536 NEW BEST:: SOT 10838669 SOS 5493096 HAS SOPS 4158463 HAS SOUS 3418700 HAS SOUPS 2523018 WITH SCORE 2528511.096
AT ITER 1539 NEW BEST:: SOT 10838483 SOS 5492911 HAS SOPS 4158278 HAS SOUS 3418174 HAS SOUPS 2522492 WITH SCORE 2527984.911
AT ITER 1543 NEW BEST:: SOT 10837992 SOS 5492911 HAS SOPS 4158278 HAS SOUS 3417683 HAS SOUPS 2522001 WITH SCORE 2527493.911
AT ITER 1550 NEW BEST:: SOT 10837575 SOS 5492911 HAS SOPS 4158278 HAS SOUS 3417266 HAS SOUPS 2521584 WITH SCORE 2527076.911
AT ITER 1553 NEW BEST:: SOT 10837774 SOS 5495437 HAS SOPS 4158477 HAS SOUS 3417664 HAS SOUPS 2520861 WITH SCORE 2526356.437
AT ITER 1554 NEW BEST:: SOT 10836303 SOS 5494667 HAS SOPS 4157707 HAS SOUS 3416193 HAS SOUPS 2519390 WITH SCORE 2524884.667
AT ITER 1556 NEW BEST:: SOT 10835573 SOS 5494667 HAS SOPS 4157707 HAS SOUS 3415463 HAS SOUPS 2518660 WITH SCORE 2524154.667
AT ITER 1565 NEW BEST:: SOT 10835573 SOS 5494386 HAS SOPS 4157426 HAS SOUS 3415463 HAS SOUPS 2518660 WITH SCORE 2524154.386
AT ITER 1571 NEW BEST:: SOT 10835392 SOS 5493843 HAS SOPS 4157245 HAS SOUS 3415282 HAS SOUPS 2518660 WITH SCORE 2524153.843
AT ITER 1576 NEW BEST:: SOT 10836132 SOS 5498872 HAS SOPS 4157985 HAS SOUS 3416967 HAS SOUPS 2518098 WITH SCORE 2523596.872
AT ITER 1580 NEW BEST:: SOT 10835953 SOS 5498335 HAS SOPS 4157806 HAS SOUS 3416788 HAS SOUPS 2518098 WITH SCORE 2523596.335
AT ITER 1582 NEW BEST:: SOT 10835184 SOS 5498599 HAS SOPS 4158414 HAS SOUS 3416283 HAS SOUPS 2517937 WITH SCORE 2523435.599
AT ITER 1586 NEW BEST:: SOT 10835184 SOS 5500071 HAS SOPS 4158414 HAS SOUS 3416283 HAS SOUPS 2517201 WITH SCORE 2522701.071
AT ITER 1587 NEW BEST:: SOT 10835184 SOS 5500181 HAS SOPS 4158359 HAS SOUS 3416228 HAS SOUPS 2517091 WITH SCORE 2522591.181
AT ITER 1598 NEW BEST:: SOT 10834733 SOS 5498828 HAS SOPS 4157908 HAS SOUS 3415777 HAS SOUPS 2517091 WITH SCORE 2522589.828
AT ITER 1600 NEW BEST:: SOT 10835379 SOS 5502551 HAS SOPS 4158554 HAS SOUS 3417069 HAS SOUPS 2516959 WITH SCORE 2522461.551
AT ITER 1604 NEW BEST:: SOT 10834149 SOS 5502292 HAS SOPS 4158295 HAS SOUS 3416393 HAS SOUPS 2516283 WITH SCORE 2521785.292
AT ITER 1606 NEW BEST:: SOT 10833091 SOS 5501774 HAS SOPS 4157777 HAS SOUS 3415590 HAS SOUPS 2515480 WITH SCORE 2520981.774
AT ITER 1615 NEW BEST:: SOT 10831593 SOS 5501196 HAS SOPS 4157199 HAS SOUS 3414110 HAS SOUPS 2514000 WITH SCORE 2519501.196
AT ITER 1621 NEW BEST:: SOT 10831593 SOS 5503292 HAS SOPS 4157199 HAS SOUS 3414110 HAS SOUPS 2512952 WITH SCORE 2518455.292
AT ITER 1627 NEW BEST:: SOT 10831315 SOS 5503292 HAS SOPS 4157235 HAS SOUS 3413832 HAS SOUPS 2512710 WITH SCORE 2518213.292
AT ITER 1631 NEW BEST:: SOT 10830375 SOS 5503243 HAS SOPS 4157186 HAS SOUS 3412892 HAS SOUPS 2511770 WITH SCORE 2517273.243
AT ITER 1641 NEW BEST:: SOT 10829725 SOS 5502927 HAS SOPS 4156870 HAS SOUS 3412242 HAS SOUPS 2511120 WITH SCORE 2516622.927
AT ITER 1648 NEW BEST:: SOT 10830020 SOS 5505773 HAS SOPS 4157165 HAS SOUS 3412832 HAS SOUPS 2510461 WITH SCORE 2515966.773
AT ITER 1658 NEW BEST:: SOT 10830020 SOS 5507587 HAS SOPS 4157165 HAS SOUS 3412832 HAS SOUPS 2509554 WITH SCORE 2515061.587
AT ITER 1659 NEW BEST:: SOT 10830016 SOS 5507583 HAS SOPS 4157161 HAS SOUS 3412824 HAS SOUPS 2509546 WITH SCORE 2515053.583
AT ITER 1663 NEW BEST:: SOT 10830016 SOS 5509373 HAS SOPS 4157161 HAS SOUS 3412824 HAS SOUPS 2508651 WITH SCORE 2514160.373
AT ITER 1665 NEW BEST:: SOT 10829866 SOS 5509373 HAS SOPS 4157161 HAS SOUS 3412674 HAS SOUPS 2508501 WITH SCORE 2514010.373
AT ITER 1670 NEW BEST:: SOT 10829970 SOS 5511587 HAS SOPS 4157265 HAS SOUS 3412882 HAS SOUPS 2507654 WITH SCORE 2513165.587
AT ITER 1696 NEW BEST:: SOT 10829568 SOS 5510783 HAS SOPS 4157265 HAS SOUS 3412480 HAS SOUPS 2507654 WITH SCORE 2513164.783
AT ITER 1703 NEW BEST:: SOT 10829339 SOS 5510554 HAS SOPS 4157036 HAS SOUS 3412022 HAS SOUPS 2507196 WITH SCORE 2512706.554
AT ITER 1709 NEW BEST:: SOT 10827861 SOS 5509921 HAS SOPS 4156403 HAS SOUS 3410602 HAS SOUPS 2505776 WITH SCORE 2511285.921
AT ITER 1712 NEW BEST:: SOT 10827663 SOS 5509327 HAS SOPS 4156205 HAS SOUS 3410404 HAS SOUPS 2505776 WITH SCORE 2511285.327
AT ITER 1725 NEW BEST:: SOT 10828241 SOS 5513043 HAS SOPS 4156783 HAS SOUS 3411560 HAS SOUPS 2505379 WITH SCORE 2510892.043
AT ITER 1728 NEW BEST:: SOT 10828241 SOS 5514094 HAS SOPS 4156783 HAS SOUS 3411560 HAS SOUPS 2504760 WITH SCORE 2510274.094
AT ITER 1730 NEW BEST:: SOT 10827888 SOS 5513738 HAS SOPS 4156430 HAS SOUS 3410851 HAS SOUPS 2504054 WITH SCORE 2509567.738
AT ITER 1750 NEW BEST:: SOT 10827888 SOS 5515334 HAS SOPS 4156430 HAS SOUS 3410851 HAS SOUPS 2503256 WITH SCORE 2508771.334
AT ITER 1755 NEW BEST:: SOT 10828105 SOS 5517861 HAS SOPS 4156647 HAS SOUS 3411285 HAS SOUPS 2502604 WITH SCORE 2508121.861
AT ITER 1775 NEW BEST:: SOT 10828105 SOS 5519407 HAS SOPS 4156647 HAS SOUS 3411285 HAS SOUPS 2501831 WITH SCORE 2507350.407
AT ITER 1795 NEW BEST:: SOT 10827918 SOS 5519220 HAS SOPS 4156460 HAS SOUS 3410911 HAS SOUPS 2501457 WITH SCORE 2506976.22
AT ITER 1796 NEW BEST:: SOT 10827786 SOS 5518956 HAS SOPS 4156460 HAS SOUS 3410779 HAS SOUPS 2501457 WITH SCORE 2506975.956
AT ITER 1798 NEW BEST:: SOT 10826380 SOS 5518372 HAS SOPS 4155876 HAS SOUS 3409575 HAS SOUPS 2500253 WITH SCORE 2505771.372
AT ITER 1799 NEW BEST:: SOT 10826380 SOS 5519672 HAS SOPS 4155876 HAS SOUS 3409575 HAS SOUPS 2499603 WITH SCORE 2505122.672
AT ITER 1800 NEW BEST:: SOT 10827024 SOS 5523307 HAS SOPS 4156520 HAS SOUS 3410863 HAS SOUPS 2499551 WITH SCORE 2505074.307
AT ITER 1801 NEW BEST:: SOT 10826503 SOS 5523307 HAS SOPS 4156666 HAS SOUS 3410342 HAS SOUPS 2499176 WITH SCORE 2504699.307
AT ITER 1803 NEW BEST:: SOT 10826149 SOS 5522599 HAS SOPS 4156666 HAS SOUS 3409988 HAS SOUPS 2499176 WITH SCORE 2504698.599
AT ITER 1804 NEW BEST:: SOT 10826149 SOS 5524809 HAS SOPS 4156666 HAS SOUS 3409988 HAS SOUPS 2498071 WITH SCORE 2503595.809
AT ITER 1806 NEW BEST:: SOT 10826149 SOS 5524955 HAS SOPS 4156593 HAS SOUS 3409915 HAS SOUPS 2497925 WITH SCORE 2503449.955
AT ITER 1812 NEW BEST:: SOT 10825319 SOS 5523295 HAS SOPS 4156593 HAS SOUS 3409085 HAS SOUPS 2497925 WITH SCORE 2503448.295
AT ITER 1820 NEW BEST:: SOT 10825319 SOS 5523228 HAS SOPS 4156593 HAS SOUS 3409085 HAS SOUPS 2497925 WITH SCORE 2503448.228
AT ITER 1821 NEW BEST:: SOT 10824186 SOS 5523028 HAS SOPS 4156393 HAS SOUS 3408700 HAS SOUPS 2497540 WITH SCORE 2503063.028
AT ITER 1823 NEW BEST:: SOT 10824186 SOS 5524982 HAS SOPS 4156393 HAS SOUS 3408700 HAS SOUPS 2496563 WITH SCORE 2502087.982
AT ITER 1826 NEW BEST:: SOT 10824024 SOS 5524820 HAS SOPS 4156069 HAS SOUS 3408376 HAS SOUPS 2496239 WITH SCORE 2501763.82
AT ITER 1840 NEW BEST:: SOT 10823727 SOS 5524523 HAS SOPS 4155772 HAS SOUS 3407782 HAS SOUPS 2495645 WITH SCORE 2501169.523
AT ITER 1843 NEW BEST:: SOT 10823080 SOS 5524523 HAS SOPS 4155772 HAS SOUS 3407135 HAS SOUPS 2494998 WITH SCORE 2500522.523
AT ITER 1844 NEW BEST:: SOT 10822334 SOS 5524523 HAS SOPS 4155772 HAS SOUS 3406389 HAS SOUPS 2494252 WITH SCORE 2499776.523
AT ITER 1846 NEW BEST:: SOT 10821560 SOS 5524523 HAS SOPS 4155772 HAS SOUS 3405615 HAS SOUPS 2493478 WITH SCORE 2499002.523
AT ITER 1847 NEW BEST:: SOT 10821560 SOS 5525909 HAS SOPS 4155772 HAS SOUS 3405615 HAS SOUPS 2492785 WITH SCORE 2498310.909
AT ITER 1848 NEW BEST:: SOT 10821542 SOS 5525891 HAS SOPS 4155754 HAS SOUS 3405579 HAS SOUPS 2492749 WITH SCORE 2498274.891
AT ITER 1852 NEW BEST:: SOT 10822197 SOS 5529646 HAS SOPS 4156409 HAS SOUS 3406889 HAS SOUPS 2492621 WITH SCORE 2498150.646
AT ITER 1858 NEW BEST:: SOT 10821799 SOS 5529646 HAS SOPS 4156409 HAS SOUS 3406491 HAS SOUPS 2492223 WITH SCORE 2497752.646
AT ITER 1864 NEW BEST:: SOT 10823016 SOS 5532410 HAS SOPS 4156727 HAS SOUS 3407702 HAS SOUPS 2492211 WITH SCORE 2497743.41
AT ITER 1866 NEW BEST:: SOT 10823288 SOS 5535070 HAS SOPS 4156999 HAS SOUS 3408246 HAS SOUPS 2491646 WITH SCORE 2497181.07
AT ITER 1867 NEW BEST:: SOT 10823288 SOS 5537072 HAS SOPS 4156999 HAS SOUS 3408246 HAS SOUPS 2490645 WITH SCORE 2496182.072
AT ITER 1868 NEW BEST:: SOT 10823288 SOS 5539112 HAS SOPS 4156999 HAS SOUS 3408246 HAS SOUPS 2489625 WITH SCORE 2495164.112
AT ITER 1873 NEW BEST:: SOT 10823140 SOS 5538668 HAS SOPS 4156851 HAS SOUS 3408098 HAS SOUPS 2489625 WITH SCORE 2495163.668
AT ITER 1877 NEW BEST:: SOT 10823140 SOS 5540736 HAS SOPS 4156851 HAS SOUS 3408098 HAS SOUPS 2488591 WITH SCORE 2494131.736
AT ITER 1882 NEW BEST:: SOT 10822848 SOS 5539860 HAS SOPS 4156559 HAS SOUS 3407806 HAS SOUPS 2488591 WITH SCORE 2494130.86
AT ITER 1893 NEW BEST:: SOT 10823257 SOS 5542853 HAS SOPS 4156968 HAS SOUS 3408624 HAS SOUPS 2488241 WITH SCORE 2493783.853
AT ITER 1894 NEW BEST:: SOT 10822660 SOS 5542853 HAS SOPS 4157156 HAS SOUS 3408027 HAS SOUPS 2487832 WITH SCORE 2493374.853
AT ITER 1919 NEW BEST:: SOT 10822499 SOS 5542692 HAS SOPS 4156995 HAS SOUS 3408021 HAS SOUPS 2487826 WITH SCORE 2493368.692
AT ITER 1924 NEW BEST:: SOT 10821918 SOS 5540949 HAS SOPS 4156414 HAS SOUS 3407440 HAS SOUPS 2487826 WITH SCORE 2493366.949
AT ITER 1927 NEW BEST:: SOT 10822409 SOS 5544054 HAS SOPS 4156905 HAS SOUS 3408422 HAS SOUPS 2487692 WITH SCORE 2493236.054
AT ITER 1953 NEW BEST:: SOT 10822409 SOS 5545520 HAS SOPS 4156905 HAS SOUS 3408422 HAS SOUPS 2487174 WITH SCORE 2492719.52
AT ITER 1954 NEW BEST:: SOT 10822409 SOS 5546240 HAS SOPS 4156905 HAS SOUS 3408422 HAS SOUPS 2486814 WITH SCORE 2492360.24
AT ITER 1957 NEW BEST:: SOT 10821486 SOS 5545726 HAS SOPS 4156391 HAS SOUS 3407499 HAS SOUPS 2485891 WITH SCORE 2491436.726
AT ITER 1964 NEW BEST:: SOT 10820296 SOS 5545153 HAS SOPS 4155818 HAS SOUS 3406309 HAS SOUPS 2484701 WITH SCORE 2490246.153
AT ITER 1966 NEW BEST:: SOT 10820296 SOS 5547697 HAS SOPS 4155818 HAS SOUS 3406309 HAS SOUPS 2483429 WITH SCORE 2488976.697
AT ITER 1971 NEW BEST:: SOT 10819587 SOS 5545570 HAS SOPS 4155109 HAS SOUS 3405600 HAS SOUPS 2483429 WITH SCORE 2488974.57
AT ITER 1973 NEW BEST:: SOT 10819587 SOS 5547768 HAS SOPS 4155109 HAS SOUS 3405600 HAS SOUPS 2482330 WITH SCORE 2487877.768
AT ITER 1981 NEW BEST:: SOT 10818961 SOS 5547142 HAS SOPS 4154483 HAS SOUS 3405100 HAS SOUPS 2481830 WITH SCORE 2487377.142
AT ITER 1983 NEW BEST:: SOT 10818841 SOS 5546902 HAS SOPS 4154483 HAS SOUS 3404980 HAS SOUPS 2481830 WITH SCORE 2487376.902
AT ITER 1984 NEW BEST:: SOT 10818491 SOS 5547089 HAS SOPS 4154670 HAS SOUS 3404817 HAS SOUPS 2481667 WITH SCORE 2487214.089
AT ITER 1987 NEW BEST:: SOT 10818491 SOS 5547343 HAS SOPS 4154670 HAS SOUS 3404817 HAS SOUPS 2481540 WITH SCORE 2487087.343
AT ITER 1988 NEW BEST:: SOT 10818491 SOS 5548709 HAS SOPS 4154670 HAS SOUS 3404817 HAS SOUPS 2480857 WITH SCORE 2486405.709
AT ITER 1992 NEW BEST:: SOT 10819579 SOS 5551062 HAS SOPS 4154402 HAS SOUS 3405905 HAS SOUPS 2480547 WITH SCORE 2486098.062
AT ITER 2001 NEW BEST:: SOT 10818084 SOS 5550286 HAS SOPS 4153626 HAS SOUS 3404434 HAS SOUPS 2479076 WITH SCORE 2484626.286
AT ITER 2004 NEW BEST:: SOT 10817915 SOS 5550286 HAS SOPS 4153626 HAS SOUS 3404265 HAS SOUPS 2478907 WITH SCORE 2484457.286
AT ITER 2013 NEW BEST:: SOT 10817165 SOS 5548036 HAS SOPS 4152876 HAS SOUS 3403515 HAS SOUPS 2478907 WITH SCORE 2484455.036
AT ITER 2021 NEW BEST:: SOT 10816641 SOS 5548036 HAS SOPS 4153338 HAS SOUS 3402991 HAS SOUPS 2478845 WITH SCORE 2484393.036
AT ITER 2024 NEW BEST:: SOT 10816197 SOS 5546704 HAS SOPS 4152894 HAS SOUS 3402547 HAS SOUPS 2478845 WITH SCORE 2484391.704
AT ITER 2036 NEW BEST:: SOT 10816577 SOS 5549625 HAS SOPS 4153274 HAS SOUS 3403307 HAS SOUPS 2478451 WITH SCORE 2484000.625
AT ITER 2037 NEW BEST:: SOT 10815947 SOS 5548995 HAS SOPS 4152644 HAS SOUS 3402677 HAS SOUPS 2477821 WITH SCORE 2483369.995
AT ITER 2043 NEW BEST:: SOT 10815579 SOS 5547891 HAS SOPS 4152276 HAS SOUS 3402309 HAS SOUPS 2477821 WITH SCORE 2483368.891
AT ITER 2050 NEW BEST:: SOT 10815417 SOS 5547729 HAS SOPS 4152114 HAS SOUS 3401985 HAS SOUPS 2477497 WITH SCORE 2483044.729
AT ITER 2053 NEW BEST:: SOT 10815549 SOS 5551139 HAS SOPS 4152246 HAS SOUS 3402249 HAS SOUPS 2476122 WITH SCORE 2481673.139
AT ITER 2057 NEW BEST:: SOT 10815884 SOS 5553840 HAS SOPS 4152581 HAS SOUS 3402919 HAS SOUPS 2475768 WITH SCORE 2481321.84
AT ITER 2059 NEW BEST:: SOT 10814953 SOS 5551047 HAS SOPS 4151650 HAS SOUS 3401988 HAS SOUPS 2475768 WITH SCORE 2481319.047
AT ITER 2063 NEW BEST:: SOT 10814915 SOS 5551009 HAS SOPS 4151574 HAS SOUS 3401874 HAS SOUPS 2475654 WITH SCORE 2481205.009
AT ITER 2074 NEW BEST:: SOT 10814654 SOS 5551009 HAS SOPS 4151574 HAS SOUS 3401613 HAS SOUPS 2475393 WITH SCORE 2480944.009
AT ITER 2075 NEW BEST:: SOT 10814319 SOS 5551009 HAS SOPS 4151574 HAS SOUS 3401278 HAS SOUPS 2475058 WITH SCORE 2480609.009
AT ITER 2080 NEW BEST:: SOT 10814100 SOS 5550591 HAS SOPS 4150627 HAS SOUS 3400840 HAS SOUPS 2474620 WITH SCORE 2480170.591
AT ITER 2081 NEW BEST:: SOT 10812785 SOS 5550252 HAS SOPS 4150288 HAS SOUS 3399909 HAS SOUPS 2473689 WITH SCORE 2479239.252
AT ITER 2107 NEW BEST:: SOT 10813254 SOS 5553391 HAS SOPS 4150757 HAS SOUS 3400847 HAS SOUPS 2473433 WITH SCORE 2478986.391
AT ITER 2109 NEW BEST:: SOT 10812445 SOS 5553391 HAS SOPS 4150757 HAS SOUS 3400038 HAS SOUPS 2472624 WITH SCORE 2478177.391
AT ITER 2135 NEW BEST:: SOT 10811760 SOS 5553391 HAS SOPS 4150757 HAS SOUS 3399353 HAS SOUPS 2471939 WITH SCORE 2477492.391
AT ITER 2137 NEW BEST:: SOT 10811325 SOS 5552956 HAS SOPS 4150322 HAS SOUS 3398535 HAS SOUPS 2471121 WITH SCORE 2476673.956
AT ITER 2138 NEW BEST:: SOT 10811080 SOS 5552956 HAS SOPS 4150322 HAS SOUS 3398290 HAS SOUPS 2470876 WITH SCORE 2476428.956
AT ITER 2146 NEW BEST:: SOT 10811080 SOS 5554762 HAS SOPS 4150322 HAS SOUS 3398290 HAS SOUPS 2469973 WITH SCORE 2475527.762
AT ITER 2148 NEW BEST:: SOT 10810562 SOS 5554762 HAS SOPS 4150322 HAS SOUS 3397772 HAS SOUPS 2469455 WITH SCORE 2475009.762
AT ITER 2154 NEW BEST:: SOT 10810015 SOS 5553121 HAS SOPS 4149775 HAS SOUS 3397225 HAS SOUPS 2469455 WITH SCORE 2475008.121
AT ITER 2168 NEW BEST:: SOT 10808659 SOS 5552530 HAS SOPS 4149184 HAS SOUS 3396171 HAS SOUPS 2468401 WITH SCORE 2473953.53
AT ITER 2177 NEW BEST:: SOT 10808630 SOS 5552501 HAS SOPS 4148712 HAS SOUS 3395670 HAS SOUPS 2467900 WITH SCORE 2473452.501
AT ITER 2183 NEW BEST:: SOT 10808630 SOS 5554757 HAS SOPS 4148712 HAS SOUS 3395670 HAS SOUPS 2466772 WITH SCORE 2472326.757
AT ITER 2190 NEW BEST:: SOT 10808630 SOS 5557597 HAS SOPS 4148712 HAS SOUS 3395670 HAS SOUPS 2465352 WITH SCORE 2470909.597
AT ITER 2192 NEW BEST:: SOT 10808182 SOS 5557597 HAS SOPS 4148712 HAS SOUS 3395222 HAS SOUPS 2464904 WITH SCORE 2470461.597
AT ITER 2193 NEW BEST:: SOT 10808182 SOS 5557577 HAS SOPS 4148712 HAS SOUS 3395222 HAS SOUPS 2464904 WITH SCORE 2470461.577
AT ITER 2199 NEW BEST:: SOT 10807930 SOS 5557325 HAS SOPS 4148460 HAS SOUS 3395181 HAS SOUPS 2464863 WITH SCORE 2470420.325
AT ITER 2205 NEW BEST:: SOT 10807498 SOS 5556029 HAS SOPS 4148028 HAS SOUS 3394749 HAS SOUPS 2464863 WITH SCORE 2470419.029
AT ITER 2209 NEW BEST:: SOT 10807851 SOS 5558694 HAS SOPS 4148381 HAS SOUS 3395455 HAS SOUPS 2464617 WITH SCORE 2470175.694
AT ITER 2211 NEW BEST:: SOT 10807359 SOS 5558202 HAS SOPS 4147889 HAS SOUS 3394471 HAS SOUPS 2463633 WITH SCORE 2469191.202
AT ITER 2219 NEW BEST:: SOT 10807259 SOS 5558202 HAS SOPS 4147889 HAS SOUS 3394371 HAS SOUPS 2463533 WITH SCORE 2469091.202
AT ITER 2220 NEW BEST:: SOT 10807259 SOS 5560806 HAS SOPS 4147889 HAS SOUS 3394371 HAS SOUPS 2462231 WITH SCORE 2467791.806
AT ITER 2223 NEW BEST:: SOT 10807259 SOS 5561327 HAS SOPS 4147889 HAS SOUS 3394371 HAS SOUPS 2462191 WITH SCORE 2467752.327
AT ITER 2224 NEW BEST:: SOT 10808434 SOS 5564598 HAS SOPS 4148260 HAS SOUS 3395271 HAS SOUPS 2461641 WITH SCORE 2467205.598
AT ITER 2225 NEW BEST:: SOT 10808204 SOS 5564368 HAS SOPS 4148030 HAS SOUS 3394811 HAS SOUPS 2461181 WITH SCORE 2466745.368
AT ITER 2226 NEW BEST:: SOT 10807729 SOS 5562943 HAS SOPS 4147555 HAS SOUS 3394336 HAS SOUPS 2461181 WITH SCORE 2466743.943
AT ITER 2230 NEW BEST:: SOT 10807963 SOS 5562943 HAS SOPS 4147183 HAS SOUS 3394570 HAS SOUPS 2461043 WITH SCORE 2466605.943
AT ITER 2233 NEW BEST:: SOT 10806899 SOS 5562530 HAS SOPS 4146770 HAS SOUS 3393506 HAS SOUPS 2459979 WITH SCORE 2465541.53
AT ITER 2236 NEW BEST:: SOT 10806200 SOS 5562530 HAS SOPS 4146770 HAS SOUS 3392807 HAS SOUPS 2459280 WITH SCORE 2464842.53
AT ITER 2243 NEW BEST:: SOT 10805428 SOS 5560214 HAS SOPS 4145998 HAS SOUS 3392035 HAS SOUPS 2459280 WITH SCORE 2464840.214
AT ITER 2244 NEW BEST:: SOT 10804670 SOS 5560674 HAS SOPS 4146726 HAS SOUS 3391737 HAS SOUPS 2459250 WITH SCORE 2464810.674
AT ITER 2252 NEW BEST:: SOT 10804459 SOS 5560463 HAS SOPS 4146515 HAS SOUS 3391315 HAS SOUPS 2458828 WITH SCORE 2464388.463
AT ITER 2253 NEW BEST:: SOT 10805411 SOS 5562697 HAS SOPS 4146571 HAS SOUS 3392130 HAS SOUPS 2458554 WITH SCORE 2464116.697
AT ITER 2260 NEW BEST:: SOT 10804949 SOS 5562697 HAS SOPS 4146571 HAS SOUS 3391668 HAS SOUPS 2458092 WITH SCORE 2463654.697
AT ITER 2268 NEW BEST:: SOT 10804949 SOS 5564445 HAS SOPS 4146571 HAS SOUS 3391668 HAS SOUPS 2457218 WITH SCORE 2462782.445
AT ITER 2273 NEW BEST:: SOT 10804465 SOS 5562993 HAS SOPS 4146087 HAS SOUS 3391184 HAS SOUPS 2457218 WITH SCORE 2462780.993
AT ITER 2277 NEW BEST:: SOT 10804823 SOS 5563998 HAS SOPS 4146407 HAS SOUS 3391175 HAS SOUPS 2456823 WITH SCORE 2462386.998
AT ITER 2280 NEW BEST:: SOT 10804810 SOS 5563972 HAS SOPS 4146381 HAS SOUS 3391136 HAS SOUPS 2456784 WITH SCORE 2462347.972
AT ITER 2283 NEW BEST:: SOT 10804852 SOS 5565408 HAS SOPS 4146423 HAS SOUS 3391220 HAS SOUPS 2456171 WITH SCORE 2461736.408
AT ITER 2284 NEW BEST:: SOT 10804852 SOS 5568102 HAS SOPS 4146423 HAS SOUS 3391220 HAS SOUPS 2454824 WITH SCORE 2460392.102
AT ITER 2290 NEW BEST:: SOT 10804463 SOS 5567324 HAS SOPS 4146423 HAS SOUS 3390831 HAS SOUPS 2454824 WITH SCORE 2460391.324
AT ITER 2291 NEW BEST:: SOT 10804204 SOS 5567065 HAS SOPS 4145905 HAS SOUS 3390313 HAS SOUPS 2454306 WITH SCORE 2459873.065
AT ITER 2295 NEW BEST:: SOT 10804810 SOS 5570701 HAS SOPS 4146511 HAS SOUS 3391525 HAS SOUPS 2454101 WITH SCORE 2459671.701
AT ITER 2299 NEW BEST:: SOT 10804769 SOS 5570701 HAS SOPS 4146511 HAS SOUS 3391484 HAS SOUPS 2454060 WITH SCORE 2459630.701
AT ITER 2301 NEW BEST:: SOT 10804966 SOS 5570701 HAS SOPS 4146195 HAS SOUS 3391681 HAS SOUPS 2453941 WITH SCORE 2459511.701
AT ITER 2304 NEW BEST:: SOT 10805275 SOS 5573618 HAS SOPS 4146504 HAS SOUS 3392299 HAS SOUPS 2453255 WITH SCORE 2458828.618
AT ITER 2328 NEW BEST:: SOT 10805275 SOS 5576006 HAS SOPS 4146504 HAS SOUS 3392299 HAS SOUPS 2452061 WITH SCORE 2457637.006
AT ITER 2354 NEW BEST:: SOT 10805102 SOS 5575833 HAS SOPS 4146331 HAS SOUS 3391953 HAS SOUPS 2451715 WITH SCORE 2457290.833
AT ITER 2355 NEW BEST:: SOT 10805102 SOS 5577967 HAS SOPS 4146331 HAS SOUS 3391953 HAS SOUPS 2450648 WITH SCORE 2456225.967
AT ITER 2358 NEW BEST:: SOT 10804876 SOS 5577534 HAS SOPS 4145423 HAS SOUS 3390819 HAS SOUPS 2449514 WITH SCORE 2455091.534
AT ITER 2360 NEW BEST:: SOT 10804228 SOS 5577534 HAS SOPS 4145597 HAS SOUS 3390171 HAS SOUPS 2449040 WITH SCORE 2454617.534
AT ITER 2377 NEW BEST:: SOT 10803684 SOS 5577142 HAS SOPS 4145205 HAS SOUS 3390061 HAS SOUPS 2448930 WITH SCORE 2454507.142
AT ITER 2379 NEW BEST:: SOT 10803208 SOS 5576666 HAS SOPS 4144729 HAS SOUS 3389109 HAS SOUPS 2447978 WITH SCORE 2453554.666
AT ITER 2383 NEW BEST:: SOT 10803208 SOS 5578254 HAS SOPS 4144729 HAS SOUS 3389109 HAS SOUPS 2447184 WITH SCORE 2452762.254
AT ITER 2386 NEW BEST:: SOT 10802443 SOS 5575959 HAS SOPS 4143964 HAS SOUS 3388344 HAS SOUPS 2447184 WITH SCORE 2452759.959
AT ITER 2387 NEW BEST:: SOT 10801368 SOS 5575823 HAS SOPS 4143828 HAS SOUS 3387462 HAS SOUPS 2446302 WITH SCORE 2451877.823
AT ITER 2403 NEW BEST:: SOT 10801933 SOS 5579196 HAS SOPS 4144393 HAS SOUS 3388592 HAS SOUPS 2446196 WITH SCORE 2451775.196
AT ITER 2405 NEW BEST:: SOT 10801403 SOS 5579196 HAS SOPS 4144643 HAS SOUS 3388062 HAS SOUPS 2445916 WITH SCORE 2451495.196
AT ITER 2410 NEW BEST:: SOT 10801403 SOS 5580122 HAS SOPS 4144643 HAS SOUS 3388062 HAS SOUPS 2445609 WITH SCORE 2451189.122
AT ITER 2424 NEW BEST:: SOT 10800590 SOS 5578089 HAS SOPS 4144236 HAS SOUS 3387249 HAS SOUPS 2445609 WITH SCORE 2451187.089
AT ITER 2425 NEW BEST:: SOT 10800293 SOS 5577793 HAS SOPS 4143940 HAS SOUS 3386599 HAS SOUPS 2444959 WITH SCORE 2450536.793
AT ITER 2445 NEW BEST:: SOT 10800405 SOS 5577906 HAS SOPS 4144053 HAS SOUS 3386477 HAS SOUPS 2444837 WITH SCORE 2450414.906
AT ITER 2448 NEW BEST:: SOT 10800363 SOS 5577864 HAS SOPS 4144011 HAS SOUS 3386393 HAS SOUPS 2444753 WITH SCORE 2450330.864
AT ITER 2470 NEW BEST:: SOT 10799570 SOS 5577864 HAS SOPS 4144295 HAS SOUS 3385600 HAS SOUPS 2444244 WITH SCORE 2449821.864
AT ITER 2477 NEW BEST:: SOT 10799570 SOS 5579008 HAS SOPS 4144295 HAS SOUS 3385600 HAS SOUPS 2443672 WITH SCORE 2449251.008
AT ITER 2479 NEW BEST:: SOT 10799570 SOS 5578254 HAS SOPS 4144295 HAS SOUS 3385600 HAS SOUPS 2443672 WITH SCORE 2449250.254
AT ITER 2483 NEW BEST:: SOT 10798930 SOS 5578254 HAS SOPS 4144351 HAS SOUS 3384960 HAS SOUPS 2443088 WITH SCORE 2448666.254
AT ITER 2499 NEW BEST:: SOT 10798930 SOS 5578102 HAS SOPS 4144199 HAS SOUS 3384608 HAS SOUPS 2442736 WITH SCORE 2448314.102
AT ITER 2502 NEW BEST:: SOT 10798326 SOS 5578102 HAS SOPS 4144199 HAS SOUS 3384004 HAS SOUPS 2442132 WITH SCORE 2447710.102
AT ITER 2512 NEW BEST:: SOT 10797334 SOS 5577694 HAS SOPS 4143791 HAS SOUS 3383221 HAS SOUPS 2441349 WITH SCORE 2446926.694
AT ITER 2514 NEW BEST:: SOT 10797870 SOS 5581838 HAS SOPS 4144327 HAS SOUS 3384293 HAS SOUPS 2440617 WITH SCORE 2446198.838
AT ITER 2529 NEW BEST:: SOT 10799006 SOS 5584199 HAS SOPS 4144283 HAS SOUS 3385429 HAS SOUPS 2440507 WITH SCORE 2446091.199
AT ITER 2530 NEW BEST:: SOT 10797869 SOS 5583693 HAS SOPS 4143777 HAS SOUS 3384482 HAS SOUPS 2439560 WITH SCORE 2445143.693
AT ITER 2538 NEW BEST:: SOT 10797120 SOS 5583693 HAS SOPS 4143903 HAS SOUS 3383733 HAS SOUPS 2438937 WITH SCORE 2444520.693
AT ITER 2543 NEW BEST:: SOT 10796760 SOS 5583333 HAS SOPS 4143543 HAS SOUS 3383373 HAS SOUPS 2438577 WITH SCORE 2444160.333
AT ITER 2558 NEW BEST:: SOT 10797479 SOS 5587252 HAS SOPS 4144262 HAS SOUS 3384811 HAS SOUPS 2438541 WITH SCORE 2444128.252
AT ITER 2575 NEW BEST:: SOT 10797544 SOS 5590461 HAS SOPS 4144327 HAS SOUS 3384941 HAS SOUPS 2437099 WITH SCORE 2442689.461
AT ITER 2576 NEW BEST:: SOT 10797035 SOS 5589952 HAS SOPS 4143818 HAS SOUS 3383923 HAS SOUPS 2436081 WITH SCORE 2441670.952
AT ITER 2578 NEW BEST:: SOT 10797700 SOS 5594037 HAS SOPS 4144483 HAS SOUS 3385423 HAS SOUPS 2435786 WITH SCORE 2441380.037
AT ITER 2590 NEW BEST:: SOT 10797766 SOS 5595685 HAS SOPS 4144549 HAS SOUS 3385555 HAS SOUPS 2435127 WITH SCORE 2440722.685
AT ITER 2598 NEW BEST:: SOT 10135680 SOS 5188946 HAS SOPS 3737810 HAS SOUS 2725104 HAS SOUPS 1774676 WITH SCORE 1779864.946
AT ITER 2618 NEW BEST:: SOT 10134586 SOS 5186044 HAS SOPS 3736716 HAS SOUS 2724010 HAS SOUPS 1774486 WITH SCORE 1779672.044
AT ITER 2620 NEW BEST:: SOT 10134586 SOS 5188744 HAS SOPS 3736716 HAS SOUS 2724010 HAS SOUPS 1773136 WITH SCORE 1778324.744
AT ITER 2625 NEW BEST:: SOT 10133948 SOS 5188744 HAS SOPS 3736716 HAS SOUS 2723372 HAS SOUPS 1772498 WITH SCORE 1777686.744
AT ITER 2630 NEW BEST:: SOT 10134549 SOS 5190468 HAS SOPS 3736564 HAS SOUS 2723636 HAS SOUPS 1771824 WITH SCORE 1777014.468
AT ITER 2633 NEW BEST:: SOT 10135038 SOS 5190957 HAS SOPS 3737053 HAS SOUS 2723629 HAS SOUPS 1771817 WITH SCORE 1777007.957
AT ITER 2637 NEW BEST:: SOT 10135164 SOS 5193268 HAS SOPS 3737179 HAS SOUS 2723881 HAS SOUPS 1771017 WITH SCORE 1776210.268
AT ITER 2644 NEW BEST:: SOT 10135801 SOS 5195092 HAS SOPS 3737381 HAS SOUS 2723970 HAS SOUPS 1770295 WITH SCORE 1775490.092
AT ITER 2649 NEW BEST:: SOT 10135724 SOS 5194938 HAS SOPS 3737227 HAS SOUS 2723739 HAS SOUPS 1770064 WITH SCORE 1775258.938
AT ITER 2654 NEW BEST:: SOT 10135485 SOS 5194699 HAS SOPS 3736988 HAS SOUS 2723500 HAS SOUPS 1769825 WITH SCORE 1775019.699
AT ITER 2659 NEW BEST:: SOT 10136265 SOS 5196653 HAS SOPS 3737460 HAS SOUS 2723888 HAS SOUPS 1769472 WITH SCORE 1774668.653
AT ITER 2672 NEW BEST:: SOT 10136265 SOS 5199487 HAS SOPS 3737460 HAS SOUS 2723888 HAS SOUPS 1768055 WITH SCORE 1773254.487
AT ITER 2703 NEW BEST:: SOT 10136458 SOS 5201386 HAS SOPS 3737653 HAS SOUS 2724274 HAS SOUPS 1767588 WITH SCORE 1772789.386
AT ITER 2705 NEW BEST:: SOT 10136902 SOS 5205530 HAS SOPS 3738097 HAS SOUS 2725364 HAS SOUPS 1766727 WITH SCORE 1771932.53
AT ITER 2707 NEW BEST:: SOT 10137143 SOS 5213271 HAS SOPS 3745838 HAS SOUS 2725091 HAS SOUPS 1766454 WITH SCORE 1771667.271
AT ITER 2723 NEW BEST:: SOT 10137143 SOS 5214093 HAS SOPS 3745838 HAS SOUS 2725091 HAS SOUPS 1766043 WITH SCORE 1771257.093
AT ITER 2726 NEW BEST:: SOT 10136565 SOS 5214093 HAS SOPS 3745838 HAS SOUS 2724513 HAS SOUPS 1765465 WITH SCORE 1770679.093
AT ITER 2732 NEW BEST:: SOT 10136843 SOS 5213974 HAS SOPS 3745396 HAS SOUS 2724672 HAS SOUPS 1765301 WITH SCORE 1770514.974
AT ITER 2740 NEW BEST:: SOT 10136843 SOS 5214586 HAS SOPS 3745396 HAS SOUS 2724672 HAS SOUPS 1764995 WITH SCORE 1770209.586
AT ITER 2743 NEW BEST:: SOT 10137435 SOS 5218050 HAS SOPS 3745988 HAS SOUS 2725856 HAS SOUPS 1764906 WITH SCORE 1770124.05
AT ITER 2752 NEW BEST:: SOT 10137334 SOS 5217949 HAS SOPS 3745887 HAS SOUS 2725654 HAS SOUPS 1764704 WITH SCORE 1769921.949
AT ITER 2770 NEW BEST:: SOT 10136992 SOS 5216923 HAS SOPS 3745545 HAS SOUS 2725312 HAS SOUPS 1764704 WITH SCORE 1769920.923
AT ITER 2771 NEW BEST:: SOT 10136983 SOS 5216914 HAS SOPS 3745536 HAS SOUS 2725294 HAS SOUPS 1764686 WITH SCORE 1769902.914
AT ITER 2775 NEW BEST:: SOT 10136529 SOS 5216914 HAS SOPS 3745536 HAS SOUS 2724840 HAS SOUPS 1764232 WITH SCORE 1769448.914
AT ITER 2797 NEW BEST:: SOT 10136916 SOS 5216893 HAS SOPS 3745515 HAS SOUS 2724765 HAS SOUPS 1764157 WITH SCORE 1769373.893
AT ITER 2813 NEW BEST:: SOT 10135903 SOS 5214144 HAS SOPS 3744502 HAS SOUS 2723752 HAS SOUPS 1764012 WITH SCORE 1769226.144
AT ITER 2816 NEW BEST:: SOT 10136357 SOS 5217416 HAS SOPS 3744956 HAS SOUS 2724660 HAS SOUPS 1763563 WITH SCORE 1768780.416
AT ITER 2819 NEW BEST:: SOT 10135915 SOS 5215698 HAS SOPS 3744514 HAS SOUS 2723776 HAS SOUPS 1763317 WITH SCORE 1768532.698
AT ITER 2821 NEW BEST:: SOT 10135710 SOS 5215493 HAS SOPS 3744309 HAS SOUS 2723678 HAS SOUPS 1763219 WITH SCORE 1768434.493
AT ITER 2829 NEW BEST:: SOT 10135588 SOS 5215127 HAS SOPS 3744187 HAS SOUS 2723556 HAS SOUPS 1763219 WITH SCORE 1768434.127
AT ITER 2836 NEW BEST:: SOT 10136240 SOS 5218784 HAS SOPS 3744839 HAS SOUS 2724860 HAS SOUPS 1763177 WITH SCORE 1768395.784
AT ITER 2838 NEW BEST:: SOT 10136194 SOS 5218738 HAS SOPS 3744793 HAS SOUS 2724768 HAS SOUPS 1763085 WITH SCORE 1768303.738
AT ITER 2843 NEW BEST:: SOT 10136194 SOS 5221072 HAS SOPS 3744793 HAS SOUS 2724768 HAS SOUPS 1761918 WITH SCORE 1767139.072
AT ITER 2856 NEW BEST:: SOT 10136194 SOS 5220831 HAS SOPS 3744793 HAS SOUS 2724768 HAS SOUPS 1761918 WITH SCORE 1767138.831
AT ITER 2857 NEW BEST:: SOT 10135491 SOS 5220907 HAS SOPS 3745439 HAS SOUS 2724141 HAS SOUPS 1761861 WITH SCORE 1767081.907
AT ITER 2860 NEW BEST:: SOT 10135184 SOS 5220600 HAS SOPS 3745132 HAS SOUS 2723834 HAS SOUPS 1761554 WITH SCORE 1766774.6
AT ITER 2876 NEW BEST:: SOT 10135184 SOS 5221038 HAS SOPS 3745132 HAS SOUS 2723834 HAS SOUPS 1761299 WITH SCORE 1766520.038
AT ITER 2880 NEW BEST:: SOT 10134859 SOS 5220713 HAS SOPS 3744807 HAS SOUS 2723596 HAS SOUPS 1761061 WITH SCORE 1766281.713
AT ITER 2885 NEW BEST:: SOT 10134282 SOS 5219559 HAS SOPS 3744807 HAS SOUS 2723019 HAS SOUPS 1761061 WITH SCORE 1766280.559
AT ITER 2891 NEW BEST:: SOT 10134266 SOS 5219511 HAS SOPS 3744791 HAS SOUS 2723003 HAS SOUPS 1761061 WITH SCORE 1766280.511
AT ITER 2893 NEW BEST:: SOT 10134662 SOS 5223713 HAS SOPS 3745187 HAS SOUS 2723795 HAS SOUPS 1759950 WITH SCORE 1765173.713
AT ITER 2900 NEW BEST:: SOT 10134212 SOS 5223263 HAS SOPS 3744737 HAS SOUS 2722895 HAS SOUPS 1759050 WITH SCORE 1764273.263
AT ITER 2901 NEW BEST:: SOT 10133387 SOS 5223319 HAS SOPS 3745129 HAS SOUS 2722126 HAS SOUPS 1758617 WITH SCORE 1763840.319
AT ITER 2913 NEW BEST:: SOT 10133737 SOS 5226358 HAS SOPS 3745479 HAS SOUS 2722826 HAS SOUPS 1757985 WITH SCORE 1763211.358
AT ITER 2919 NEW BEST:: SOT 10134537 SOS 5230662 HAS SOPS 3746279 HAS SOUS 2724426 HAS SOUPS 1757833 WITH SCORE 1763063.662
AT ITER 2927 NEW BEST:: SOT 10133994 SOS 5230662 HAS SOPS 3746569 HAS SOUS 2723883 HAS SOUPS 1757580 WITH SCORE 1762810.662
AT ITER 2929 NEW BEST:: SOT 10133254 SOS 5231028 HAS SOPS 3747286 HAS SOUS 2723509 HAS SOUPS 1757557 WITH SCORE 1762788.028
AT ITER 2931 NEW BEST:: SOT 10133019 SOS 5231193 HAS SOPS 3747451 HAS SOUS 2723439 HAS SOUPS 1757487 WITH SCORE 1762718.193
AT ITER 2934 NEW BEST:: SOT 10132311 SOS 5231193 HAS SOPS 3747451 HAS SOUS 2722731 HAS SOUPS 1756779 WITH SCORE 1762010.193
AT ITER 2940 NEW BEST:: SOT 10131461 SOS 5229491 HAS SOPS 3747165 HAS SOUS 2721881 HAS SOUPS 1756637 WITH SCORE 1761866.491
AT ITER 2941 NEW BEST:: SOT 10131461 SOS 5230177 HAS SOPS 3747165 HAS SOUS 2721881 HAS SOUPS 1756460 WITH SCORE 1761690.177
AT ITER 2943 NEW BEST:: SOT 10131461 SOS 5232939 HAS SOPS 3747165 HAS SOUS 2721881 HAS SOUPS 1755079 WITH SCORE 1760311.939
AT ITER 2944 NEW BEST:: SOT 10131434 SOS 5232939 HAS SOPS 3747165 HAS SOUS 2721854 HAS SOUPS 1755052 WITH SCORE 1760284.939
AT ITER 2956 NEW BEST:: SOT 10131277 SOS 5233004 HAS SOPS 3747230 HAS SOUS 2721762 HAS SOUPS 1754960 WITH SCORE 1760193.004
AT ITER 2967 NEW BEST:: SOT 10131245 SOS 5232972 HAS SOPS 3747198 HAS SOUS 2721698 HAS SOUPS 1754896 WITH SCORE 1760128.972
AT ITER 2971 NEW BEST:: SOT 10131712 SOS 5234107 HAS SOPS 3747581 HAS SOUS 2721966 HAS SOUPS 1754788 WITH SCORE 1760022.107
AT ITER 2975 NEW BEST:: SOT 10132085 SOS 5237025 HAS SOPS 3747954 HAS SOUS 2722712 HAS SOUPS 1754369 WITH SCORE 1759606.025
AT ITER 2979 NEW BEST:: SOT 10131392 SOS 5235639 HAS SOPS 3747954 HAS SOUS 2722019 HAS SOUPS 1754369 WITH SCORE 1759604.639
AT ITER 2980 NEW BEST:: SOT 10131299 SOS 5235546 HAS SOPS 3747861 HAS SOUS 2721926 HAS SOUPS 1754276 WITH SCORE 1759511.546
AT ITER 2987 NEW BEST:: SOT 10131115 SOS 5234994 HAS SOPS 3747677 HAS SOUS 2721742 HAS SOUPS 1754276 WITH SCORE 1759510.994
AT ITER 2998 NEW BEST:: SOT 10131328 SOS 5235497 HAS SOPS 3747754 HAS SOUS 2721880 HAS SOUPS 1754201 WITH SCORE 1759436.497
AT ITER 3000 NEW BEST:: SOT 10130690 SOS 5235644 HAS SOPS 3747901 HAS SOUS 2721415 HAS SOUPS 1753736 WITH SCORE 1758971.644
AT ITER 3002 NEW BEST:: SOT 10130481 SOS 5235644 HAS SOPS 3747901 HAS SOUS 2721206 HAS SOUPS 1753527 WITH SCORE 1758762.644
AT ITER 3007 NEW BEST:: SOT 10130546 SOS 5235709 HAS SOPS 3747966 HAS SOUS 2721187 HAS SOUPS 1753508 WITH SCORE 1758743.709
AT ITER 3015 NEW BEST:: SOT 10130402 SOS 5235565 HAS SOPS 3747822 HAS SOUS 2721043 HAS SOUPS 1753364 WITH SCORE 1758599.565
AT ITER 3018 NEW BEST:: SOT 10130903 SOS 5239078 HAS SOPS 3748323 HAS SOUS 2722045 HAS SOUPS 1752862 WITH SCORE 1758101.078
AT ITER 3024 NEW BEST:: SOT 10130994 SOS 5242365 HAS SOPS 3748414 HAS SOUS 2722227 HAS SOUPS 1751446 WITH SCORE 1756688.365
AT ITER 3025 NEW BEST:: SOT 10130994 SOS 5242661 HAS SOPS 3748414 HAS SOUS 2722227 HAS SOUPS 1751298 WITH SCORE 1756540.661
AT ITER 3026 NEW BEST:: SOT 10130886 SOS 5242730 HAS SOPS 3748483 HAS SOUS 2722188 HAS SOUPS 1751259 WITH SCORE 1756501.73
AT ITER 3032 NEW BEST:: SOT 10130886 SOS 5244168 HAS SOPS 3748483 HAS SOUS 2722188 HAS SOUPS 1750540 WITH SCORE 1755784.168
AT ITER 3040 NEW BEST:: SOT 10129389 SOS 5240378 HAS SOPS 3747575 HAS SOUS 2720691 HAS SOUPS 1750484 WITH SCORE 1755724.378
AT ITER 3045 NEW BEST:: SOT 10128808 SOS 5239799 HAS SOPS 3747071 HAS SOUS 2719606 HAS SOUPS 1749474 WITH SCORE 1754713.799
AT ITER 3049 NEW BEST:: SOT 10128445 SOS 5239436 HAS SOPS 3746708 HAS SOUS 2718880 HAS SOUPS 1748748 WITH SCORE 1753987.436
AT ITER 3059 NEW BEST:: SOT 10128137 SOS 5239436 HAS SOPS 3746708 HAS SOUS 2718572 HAS SOUPS 1748440 WITH SCORE 1753679.436
AT ITER 3064 NEW BEST:: SOT 10128039 SOS 5239240 HAS SOPS 3746610 HAS SOUS 2718474 HAS SOUPS 1748391 WITH SCORE 1753630.24
AT ITER 3066 NEW BEST:: SOT 10127396 SOS 5237954 HAS SOPS 3746610 HAS SOUS 2717831 HAS SOUPS 1748391 WITH SCORE 1753628.954
AT ITER 3088 NEW BEST:: SOT 10128195 SOS 5242351 HAS SOPS 3747409 HAS SOUS 2719429 HAS SOUPS 1748197 WITH SCORE 1753439.351
AT ITER 3090 NEW BEST:: SOT 10128195 SOS 5242429 HAS SOPS 3747370 HAS SOUS 2719390 HAS SOUPS 1748119 WITH SCORE 1753361.429
AT ITER 3098 NEW BEST:: SOT 10126877 SOS 5241914 HAS SOPS 3746855 HAS SOUS 2718072 HAS SOUPS 1746801 WITH SCORE 1752042.914
AT ITER 3105 NEW BEST:: SOT 10125551 SOS 5241563 HAS SOPS 3746504 HAS SOUS 2717108 HAS SOUPS 1745837 WITH SCORE 1751078.563
AT ITER 3111 NEW BEST:: SOT 10125425 SOS 5241167 HAS SOPS 3746378 HAS SOUS 2716856 HAS SOUPS 1745720 WITH SCORE 1750961.167
AT ITER 3126 NEW BEST:: SOT 10125221 SOS 5240963 HAS SOPS 3746174 HAS SOUS 2716448 HAS SOUPS 1745312 WITH SCORE 1750552.963
AT ITER 3136 NEW BEST:: SOT 10125221 SOS 5241619 HAS SOPS 3746174 HAS SOUS 2716448 HAS SOUPS 1745068 WITH SCORE 1750309.619
AT ITER 3137 NEW BEST:: SOT 10124661 SOS 5240499 HAS SOPS 3746174 HAS SOUS 2715888 HAS SOUPS 1745068 WITH SCORE 1750308.499
AT ITER 3143 NEW BEST:: SOT 10125101 SOS 5243412 HAS SOPS 3746614 HAS SOUS 2716768 HAS SOUPS 1744922 WITH SCORE 1750165.412
AT ITER 3150 NEW BEST:: SOT 10124350 SOS 5243590 HAS SOPS 3747215 HAS SOUS 2716195 HAS SOUPS 1744772 WITH SCORE 1750015.59
AT ITER 3152 NEW BEST:: SOT 10124626 SOS 5246195 HAS SOPS 3747491 HAS SOUS 2716747 HAS SOUPS 1744278 WITH SCORE 1749524.195
AT ITER 3180 NEW BEST:: SOT 10124969 SOS 5248946 HAS SOPS 3747834 HAS SOUS 2717433 HAS SOUPS 1743906 WITH SCORE 1749154.946
AT ITER 3185 NEW BEST:: SOT 10002838 SOS 6322953 HAS SOPS 4821876 HAS SOUS 2597972 HAS SOUPS 1624480 WITH SCORE 1630802.953
AT ITER 3186 NEW BEST:: SOT 10003382 SOS 6326328 HAS SOPS 4822420 HAS SOUS 2599060 HAS SOUPS 1624288 WITH SCORE 1630614.328
AT ITER 3188 NEW BEST:: SOT 10004082 SOS 6330214 HAS SOPS 4823120 HAS SOUS 2600460 HAS SOUPS 1624209 WITH SCORE 1630539.214
AT ITER 3189 NEW BEST:: SOT 10003763 SOS 6330214 HAS SOPS 4823120 HAS SOUS 2600141 HAS SOUPS 1623890 WITH SCORE 1630220.214
AT ITER 3199 NEW BEST:: SOT 10003354 SOS 6329805 HAS SOPS 4822711 HAS SOUS 2600141 HAS SOUPS 1623890 WITH SCORE 1630219.805
AT ITER 3205 NEW BEST:: SOT 10002636 SOS 6328369 HAS SOPS 4821993 HAS SOUS 2599423 HAS SOUPS 1623531 WITH SCORE 1629859.369
AT ITER 3214 NEW BEST:: SOT 10002371 SOS 6328369 HAS SOPS 4821993 HAS SOUS 2599158 HAS SOUPS 1623266 WITH SCORE 1629594.369
AT ITER 3229 NEW BEST:: SOT 10002170 SOS 6328369 HAS SOPS 4821993 HAS SOUS 2598957 HAS SOUPS 1623065 WITH SCORE 1629393.369
AT ITER 3233 NEW BEST:: SOT 10001562 SOS 6327761 HAS SOPS 4821385 HAS SOUS 2598349 HAS SOUPS 1622457 WITH SCORE 1628784.761
AT ITER 3235 NEW BEST:: SOT 10000072 SOS 6324781 HAS SOPS 4819895 HAS SOUS 2596859 HAS SOUPS 1621712 WITH SCORE 1628036.781
AT ITER 3236 NEW BEST:: SOT 9998035 SOS 6322744 HAS SOPS 4817858 HAS SOUS 2595648 HAS SOUPS 1620501 WITH SCORE 1626823.744
AT ITER 3244 NEW BEST:: SOT 9997559 SOS 6321792 HAS SOPS 4817382 HAS SOUS 2595172 HAS SOUPS 1620263 WITH SCORE 1626584.792
AT ITER 3248 NEW BEST:: SOT 9997559 SOS 6323868 HAS SOPS 4817382 HAS SOUS 2595172 HAS SOUPS 1619225 WITH SCORE 1625548.868
AT ITER 3249 NEW BEST:: SOT 9998012 SOS 6326898 HAS SOPS 4817835 HAS SOUS 2596078 HAS SOUPS 1619014 WITH SCORE 1625340.898
AT ITER 3250 NEW BEST:: SOT 9996972 SOS 6325858 HAS SOPS 4816795 HAS SOUS 2595038 HAS SOUPS 1617974 WITH SCORE 1624299.858
AT ITER 3255 NEW BEST:: SOT 9996940 SOS 6325858 HAS SOPS 4816795 HAS SOUS 2595006 HAS SOUPS 1617942 WITH SCORE 1624267.858
AT ITER 3256 NEW BEST:: SOT 9996621 SOS 6324533 HAS SOPS 4816476 HAS SOUS 2594368 HAS SOUPS 1617807 WITH SCORE 1624131.533
AT ITER 3266 NEW BEST:: SOT 9996429 SOS 6324341 HAS SOPS 4816284 HAS SOUS 2594176 HAS SOUPS 1617615 WITH SCORE 1623939.341
AT ITER 3267 NEW BEST:: SOT 9996400 SOS 6324312 HAS SOPS 4816255 HAS SOUS 2594118 HAS SOUPS 1617557 WITH SCORE 1623881.312
AT ITER 3276 NEW BEST:: SOT 9996400 SOS 6325030 HAS SOPS 4816255 HAS SOUS 2594118 HAS SOUPS 1617198 WITH SCORE 1623523.03
AT ITER 3281 NEW BEST:: SOT 9996208 SOS 6324838 HAS SOPS 4816063 HAS SOUS 2593734 HAS SOUPS 1616814 WITH SCORE 1623138.838
AT ITER 3287 NEW BEST:: SOT 9996208 SOS 6325262 HAS SOPS 4816063 HAS SOUS 2593734 HAS SOUPS 1616602 WITH SCORE 1622927.262
AT ITER 3289 NEW BEST:: SOT 9995324 SOS 6323494 HAS SOPS 4815179 HAS SOUS 2592850 HAS SOUPS 1616160 WITH SCORE 1622483.494
AT ITER 3290 NEW BEST:: SOT 9995378 SOS 6324818 HAS SOPS 4815233 HAS SOUS 2592998 HAS SOUPS 1615673 WITH SCORE 1621997.818
AT ITER 3314 NEW BEST:: SOT 9995179 SOS 6324818 HAS SOPS 4815233 HAS SOUS 2592799 HAS SOUPS 1615474 WITH SCORE 1621798.818
AT ITER 3321 NEW BEST:: SOT 9995179 SOS 6324810 HAS SOPS 4815225 HAS SOUS 2592799 HAS SOUPS 1615474 WITH SCORE 1621798.81
AT ITER 3326 NEW BEST:: SOT 9996567 SOS 6327710 HAS SOPS 4815363 HAS SOUS 2594187 HAS SOUPS 1615420 WITH SCORE 1621747.71
AT ITER 3328 NEW BEST:: SOT 9996326 SOS 6327710 HAS SOPS 4815363 HAS SOUS 2593946 HAS SOUPS 1615179 WITH SCORE 1621506.71
AT ITER 3329 NEW BEST:: SOT 9996326 SOS 6327635 HAS SOPS 4815363 HAS SOUS 2593871 HAS SOUPS 1615179 WITH SCORE 1621506.635
AT ITER 3337 NEW BEST:: SOT 9995274 SOS 6326583 HAS SOPS 4814311 HAS SOUS 2593489 HAS SOUPS 1614797 WITH SCORE 1621123.583
AT ITER 3348 NEW BEST:: SOT 9994538 SOS 6325111 HAS SOPS 4813575 HAS SOUS 2592753 HAS SOUPS 1614429 WITH SCORE 1620754.111
AT ITER 3356 NEW BEST:: SOT 9994441 SOS 6325111 HAS SOPS 4813575 HAS SOUS 2592656 HAS SOUPS 1614332 WITH SCORE 1620657.111
AT ITER 3368 NEW BEST:: SOT 9994548 SOS 6325218 HAS SOPS 4813682 HAS SOUS 2592582 HAS SOUPS 1614258 WITH SCORE 1620583.218
AT ITER 3374 NEW BEST:: SOT 9992341 SOS 6320287 HAS SOPS 4811475 HAS SOUS 2590375 HAS SOUPS 1613413 WITH SCORE 1619733.287
AT ITER 3375 NEW BEST:: SOT 9992069 SOS 6320474 HAS SOPS 4811662 HAS SOUS 2590290 HAS SOUPS 1613328 WITH SCORE 1619648.474
AT ITER 3379 NEW BEST:: SOT 9992135 SOS 6320325 HAS SOPS 4811513 HAS SOUS 2590033 HAS SOUPS 1613071 WITH SCORE 1619391.325
AT ITER 3383 NEW BEST:: SOT 9991830 SOS 6320493 HAS SOPS 4811681 HAS SOUS 2589896 HAS SOUPS 1612934 WITH SCORE 1619254.493
AT ITER 3384 NEW BEST:: SOT 9991830 SOS 6322435 HAS SOPS 4811681 HAS SOUS 2589896 HAS SOUPS 1611963 WITH SCORE 1618285.435
AT ITER 3386 NEW BEST:: SOT 9991121 SOS 6322435 HAS SOPS 4811681 HAS SOUS 2589187 HAS SOUPS 1611254 WITH SCORE 1617576.435
AT ITER 3389 NEW BEST:: SOT 9991689 SOS 6325806 HAS SOPS 4812249 HAS SOUS 2590323 HAS SOUPS 1611162 WITH SCORE 1617487.806
AT ITER 3392 NEW BEST:: SOT 9991646 SOS 6325720 HAS SOPS 4812206 HAS SOUS 2590237 HAS SOUPS 1611119 WITH SCORE 1617444.72
AT ITER 3395 NEW BEST:: SOT 9991980 SOS 6328543 HAS SOPS 4812540 HAS SOUS 2590905 HAS SOUPS 1610639 WITH SCORE 1616967.543
AT ITER 3404 NEW BEST:: SOT 9991979 SOS 6327673 HAS SOPS 4811670 HAS SOUS 2590904 HAS SOUPS 1610638 WITH SCORE 1616965.673
AT ITER 3406 NEW BEST:: SOT 9991979 SOS 6327905 HAS SOPS 4811670 HAS SOUS 2590904 HAS SOUPS 1610522 WITH SCORE 1616849.905
AT ITER 3409 NEW BEST:: SOT 9991912 SOS 6327838 HAS SOPS 4811603 HAS SOUS 2590771 HAS SOUPS 1610389 WITH SCORE 1616716.838
AT ITER 3414 NEW BEST:: SOT 9992340 SOS 6328709 HAS SOPS 4811249 HAS SOUS 2591037 HAS SOUPS 1610035 WITH SCORE 1616363.709
AT ITER 3429 NEW BEST:: SOT 9992340 SOS 6328778 HAS SOPS 4811055 HAS SOUS 2591009 HAS SOUPS 1609841 WITH SCORE 1616169.778
AT ITER 3431 NEW BEST:: SOT 9992790 SOS 6331700 HAS SOPS 4811505 HAS SOUS 2591909 HAS SOUPS 1609694 WITH SCORE 1616025.7
AT ITER 3432 NEW BEST:: SOT 9993363 SOS 6334943 HAS SOPS 4812078 HAS SOUS 2593055 HAS SOUPS 1609505 WITH SCORE 1615839.943
AT ITER 3433 NEW BEST:: SOT 9993645 SOS 6338803 HAS SOPS 4812360 HAS SOUS 2593619 HAS SOUPS 1608280 WITH SCORE 1614618.803
AT ITER 3440 NEW BEST:: SOT 9993645 SOS 6338803 HAS SOPS 4812360 HAS SOUS 2593427 HAS SOUPS 1608088 WITH SCORE 1614426.803
AT ITER 3443 NEW BEST:: SOT 9993400 SOS 6338558 HAS SOPS 4812115 HAS SOUS 2592937 HAS SOUPS 1607598 WITH SCORE 1613936.558
AT ITER 3446 NEW BEST:: SOT 9993400 SOS 6340776 HAS SOPS 4812115 HAS SOUS 2592937 HAS SOUPS 1606489 WITH SCORE 1612829.776
AT ITER 3447 NEW BEST:: SOT 9993989 SOS 6344673 HAS SOPS 4812704 HAS SOUS 2594115 HAS SOUPS 1606013 WITH SCORE 1612357.673
AT ITER 3455 NEW BEST:: SOT 9991804 SOS 6342488 HAS SOPS 4810519 HAS SOUS 2592518 HAS SOUPS 1604416 WITH SCORE 1610758.488
AT ITER 3458 NEW BEST:: SOT 9991672 SOS 6342356 HAS SOPS 4810387 HAS SOUS 2592254 HAS SOUPS 1604152 WITH SCORE 1610494.356
AT ITER 3463 NEW BEST:: SOT 9990290 SOS 6340283 HAS SOPS 4809005 HAS SOUS 2590872 HAS SOUPS 1603461 WITH SCORE 1609801.283
AT ITER 3468 NEW BEST:: SOT 9990290 SOS 6342513 HAS SOPS 4809005 HAS SOUS 2590872 HAS SOUPS 1602346 WITH SCORE 1608688.513
AT ITER 3470 NEW BEST:: SOT 9989352 SOS 6340637 HAS SOPS 4808067 HAS SOUS 2589934 HAS SOUPS 1601877 WITH SCORE 1608217.637
AT ITER 3475 NEW BEST:: SOT 9989351 SOS 6340493 HAS SOPS 4807923 HAS SOUS 2589933 HAS SOUPS 1601876 WITH SCORE 1608216.493
AT ITER 3477 NEW BEST:: SOT 9989351 SOS 6342439 HAS SOPS 4807923 HAS SOUS 2589933 HAS SOUPS 1600903 WITH SCORE 1607245.439
AT ITER 3479 NEW BEST:: SOT 9989350 SOS 6342364 HAS SOPS 4807848 HAS SOUS 2589932 HAS SOUPS 1600902 WITH SCORE 1607244.364
AT ITER 3486 NEW BEST:: SOT 9989073 SOS 6342087 HAS SOPS 4807571 HAS SOUS 2589378 HAS SOUPS 1600348 WITH SCORE 1606690.087
AT ITER 3488 NEW BEST:: SOT 9986898 SOS 6339912 HAS SOPS 4805396 HAS SOUS 2587203 HAS SOUPS 1598173 WITH SCORE 1604512.912
AT ITER 3490 NEW BEST:: SOT 9986898 SOS 6339780 HAS SOPS 4805396 HAS SOUS 2587071 HAS SOUPS 1598173 WITH SCORE 1604512.78
AT ITER 3491 NEW BEST:: SOT 9984581 SOS 6334305 HAS SOPS 4803079 HAS SOUS 2584826 HAS SOUPS 1597507 WITH SCORE 1603841.305
AT ITER 3493 NEW BEST:: SOT 9984264 SOS 6332856 HAS SOPS 4802762 HAS SOUS 2584192 HAS SOUPS 1597439 WITH SCORE 1603771.856
AT ITER 3496 NEW BEST:: SOT 9984023 SOS 6332615 HAS SOPS 4802521 HAS SOUS 2583951 HAS SOUPS 1597198 WITH SCORE 1603530.615
AT ITER 3503 NEW BEST:: SOT 9984150 SOS 6336187 HAS SOPS 4802648 HAS SOUS 2584405 HAS SOUPS 1595826 WITH SCORE 1602162.187
AT ITER 3518 NEW BEST:: SOT 9984049 SOS 6336086 HAS SOPS 4802547 HAS SOUS 2584203 HAS SOUPS 1595624 WITH SCORE 1601960.086
AT ITER 3519 NEW BEST:: SOT 9983470 SOS 6335476 HAS SOPS 4801937 HAS SOUS 2583046 HAS SOUPS 1594467 WITH SCORE 1600802.476
AT ITER 3528 NEW BEST:: SOT 9982786 SOS 6334792 HAS SOPS 4801253 HAS SOUS 2582481 HAS SOUPS 1593902 WITH SCORE 1600236.792
AT ITER 3533 NEW BEST:: SOT 9982556 SOS 6334840 HAS SOPS 4801301 HAS SOUS 2582299 HAS SOUPS 1593720 WITH SCORE 1600054.84
AT ITER 3535 NEW BEST:: SOT 9982556 SOS 6335056 HAS SOPS 4801193 HAS SOUS 2582191 HAS SOUPS 1593504 WITH SCORE 1599839.056
AT ITER 3547 NEW BEST:: SOT 9982677 SOS 6337381 HAS SOPS 4801314 HAS SOUS 2582433 HAS SOUPS 1592670 WITH SCORE 1599007.381
AT ITER 3553 NEW BEST:: SOT 9982677 SOS 6337959 HAS SOPS 4801314 HAS SOUS 2582433 HAS SOUPS 1592381 WITH SCORE 1598718.959
AT ITER 3557 NEW BEST:: SOT 9982589 SOS 6337959 HAS SOPS 4801314 HAS SOUS 2582345 HAS SOUPS 1592293 WITH SCORE 1598630.959
AT ITER 3570 NEW BEST:: SOT 9982589 SOS 6337906 HAS SOPS 4801261 HAS SOUS 2582345 HAS SOUPS 1592293 WITH SCORE 1598630.906
AT ITER 3590 NEW BEST:: SOT 9982107 SOS 6337424 HAS SOPS 4800779 HAS SOUS 2582345 HAS SOUPS 1592293 WITH SCORE 1598630.424
AT ITER 3600 NEW BEST:: SOT 9981933 SOS 6337076 HAS SOPS 4800605 HAS SOUS 2582171 HAS SOUPS 1592206 WITH SCORE 1598543.076
AT ITER 3602 NEW BEST:: SOT 9980569 SOS 6335820 HAS SOPS 4799492 HAS SOUS 2581897 HAS SOUPS 1592075 WITH SCORE 1598410.82
AT ITER 3603 NEW BEST:: SOT 9980568 SOS 6335370 HAS SOPS 4799042 HAS SOUS 2581896 HAS SOUPS 1592074 WITH SCORE 1598409.37
AT ITER 3609 NEW BEST:: SOT 9980568 SOS 6335324 HAS SOPS 4798996 HAS SOUS 2581850 HAS SOUPS 1592028 WITH SCORE 1598363.324
AT ITER 3614 NEW BEST:: SOT 9980724 SOS 6338240 HAS SOPS 4799152 HAS SOUS 2582162 HAS SOUPS 1590960 WITH SCORE 1597298.24
AT ITER 3623 NEW BEST:: SOT 9980462 SOS 6337716 HAS SOPS 4798890 HAS SOUS 2581900 HAS SOUPS 1590829 WITH SCORE 1597166.716
AT ITER 3626 NEW BEST:: SOT 9980462 SOS 6338162 HAS SOPS 4798890 HAS SOUS 2581900 HAS SOUPS 1590606 WITH SCORE 1596944.162
AT ITER 3629 NEW BEST:: SOT 9980158 SOS 6337858 HAS SOPS 4798586 HAS SOUS 2581292 HAS SOUPS 1589998 WITH SCORE 1596335.858
AT ITER 3635 NEW BEST:: SOT 9980157 SOS 6337757 HAS SOPS 4798485 HAS SOUS 2581291 HAS SOUPS 1589997 WITH SCORE 1596334.757
AT ITER 3648 NEW BEST:: SOT 9979799 SOS 6337399 HAS SOPS 4798127 HAS SOUS 2580933 HAS SOUPS 1589639 WITH SCORE 1595976.399
AT ITER 3655 NEW BEST:: SOT 9979184 SOS 6336784 HAS SOPS 4798013 HAS SOUS 2580431 HAS SOUPS 1589638 WITH SCORE 1595974.784
AT ITER 3672 NEW BEST:: SOT 9979741 SOS 6340323 HAS SOPS 4798570 HAS SOUS 2581545 HAS SOUPS 1589334 WITH SCORE 1595674.323
AT ITER 3678 NEW BEST:: SOT 9978386 SOS 6338968 HAS SOPS 4797215 HAS SOUS 2580253 HAS SOUPS 1588042 WITH SCORE 1594380.968
AT ITER 3686 NEW BEST:: SOT 9978386 SOS 6340064 HAS SOPS 4797215 HAS SOUS 2580253 HAS SOUPS 1587494 WITH SCORE 1593834.064
AT ITER 3691 NEW BEST:: SOT 9976557 SOS 6336786 HAS SOPS 4795386 HAS SOUS 2578424 HAS SOUPS 1586583 WITH SCORE 1592919.786
AT ITER 3704 NEW BEST:: SOT 9976557 SOS 6336784 HAS SOPS 4795386 HAS SOUS 2578424 HAS SOUPS 1586583 WITH SCORE 1592919.784
AT ITER 3723 NEW BEST:: SOT 9976384 SOS 6336611 HAS SOPS 4794931 HAS SOUS 2577796 HAS SOUPS 1585955 WITH SCORE 1592291.611
AT ITER 3738 NEW BEST:: SOT 9975892 SOS 6335738 HAS SOPS 4794058 HAS SOUS 2576955 HAS SOUPS 1585114 WITH SCORE 1591449.738
AT ITER 3746 NEW BEST:: SOT 9974036 SOS 6334734 HAS SOPS 4793054 HAS SOUS 2575499 HAS SOUPS 1583658 WITH SCORE 1589992.734
AT ITER 3761 NEW BEST:: SOT 9974114 SOS 6336914 HAS SOPS 4793132 HAS SOUS 2575655 HAS SOUPS 1582797 WITH SCORE 1589133.914
AT ITER 3763 NEW BEST:: SOT 9972552 SOS 6333790 HAS SOPS 4791570 HAS SOUS 2574093 HAS SOUPS 1582016 WITH SCORE 1588349.79
AT ITER 3766 NEW BEST:: SOT 9970943 SOS 6332181 HAS SOPS 4789961 HAS SOUS 2573430 HAS SOUPS 1581353 WITH SCORE 1587685.181
AT ITER 3769 NEW BEST:: SOT 9970847 SOS 6332085 HAS SOPS 4789865 HAS SOUS 2573238 HAS SOUPS 1581161 WITH SCORE 1587493.085
AT ITER 3787 NEW BEST:: SOT 9971320 SOS 6335404 HAS SOPS 4790338 HAS SOUS 2574184 HAS SOUPS 1580741 WITH SCORE 1587076.404
AT ITER 3788 NEW BEST:: SOT 9970631 SOS 6335404 HAS SOPS 4790338 HAS SOUS 2573495 HAS SOUPS 1580052 WITH SCORE 1586387.404
AT ITER 3794 NEW BEST:: SOT 9971067 SOS 6338561 HAS SOPS 4790774 HAS SOUS 2574367 HAS SOUPS 1579646 WITH SCORE 1585984.561
AT ITER 3798 NEW BEST:: SOT 9971067 SOS 6340745 HAS SOPS 4790774 HAS SOUS 2574367 HAS SOUPS 1578554 WITH SCORE 1584894.745
AT ITER 3810 NEW BEST:: SOT 9970229 SOS 6339907 HAS SOPS 4789936 HAS SOUS 2573529 HAS SOUPS 1577716 WITH SCORE 1584055.907
AT ITER 3821 NEW BEST:: SOT 9970229 SOS 6342057 HAS SOPS 4789936 HAS SOUS 2573529 HAS SOUPS 1576641 WITH SCORE 1582983.057
AT ITER 3843 NEW BEST:: SOT 9969577 SOS 6340753 HAS SOPS 4789936 HAS SOUS 2572877 HAS SOUPS 1576641 WITH SCORE 1582981.753
AT ITER 3850 NEW BEST:: SOT 9970054 SOS 6341106 HAS SOPS 4790289 HAS SOUS 2572751 HAS SOUPS 1576515 WITH SCORE 1582856.106
AT ITER 3855 NEW BEST:: SOT 9967680 SOS 6338732 HAS SOPS 4787915 HAS SOUS 2570621 HAS SOUPS 1574385 WITH SCORE 1580723.732
AT ITER 3858 NEW BEST:: SOT 9967617 SOS 6338669 HAS SOPS 4787852 HAS SOUS 2570495 HAS SOUPS 1574259 WITH SCORE 1580597.669
AT ITER 3869 NEW BEST:: SOT 9966993 SOS 6337854 HAS SOPS 4787037 HAS SOUS 2569248 HAS SOUPS 1573012 WITH SCORE 1579349.854
AT ITER 3873 NEW BEST:: SOT 9966362 SOS 6337854 HAS SOPS 4787037 HAS SOUS 2568617 HAS SOUPS 1572381 WITH SCORE 1578718.854
AT ITER 3875 NEW BEST:: SOT 9966362 SOS 6339390 HAS SOPS 4787037 HAS SOUS 2568617 HAS SOUPS 1571613 WITH SCORE 1577952.39
AT ITER 3885 NEW BEST:: SOT 9966362 SOS 6339588 HAS SOPS 4786938 HAS SOUS 2568518 HAS SOUPS 1571415 WITH SCORE 1577754.588
AT ITER 3893 NEW BEST:: SOT 9966362 SOS 6339352 HAS SOPS 4786702 HAS SOUS 2568282 HAS SOUPS 1571179 WITH SCORE 1577518.352
AT ITER 3911 NEW BEST:: SOT 9965217 SOS 6338207 HAS SOPS 4785557 HAS SOUS 2567137 HAS SOUPS 1570034 WITH SCORE 1576372.207
AT ITER 3918 NEW BEST:: SOT 9965024 SOS 6338014 HAS SOPS 4785364 HAS SOUS 2566751 HAS SOUPS 1569648 WITH SCORE 1575986.014
AT ITER 3919 NEW BEST:: SOT 9964887 SOS 6337877 HAS SOPS 4785227 HAS SOUS 2566477 HAS SOUPS 1569374 WITH SCORE 1575711.877
AT ITER 3927 NEW BEST:: SOT 9962981 SOS 6336094 HAS SOPS 4783602 HAS SOUS 2565552 HAS SOUPS 1568607 WITH SCORE 1574943.094
AT ITER 3950 NEW BEST:: SOT 9962980 SOS 6335923 HAS SOPS 4783431 HAS SOUS 2565551 HAS SOUPS 1568606 WITH SCORE 1574941.923
AT ITER 3951 NEW BEST:: SOT 9962429 SOS 6335923 HAS SOPS 4783971 HAS SOUS 2565000 HAS SOUPS 1568595 WITH SCORE 1574930.923
AT ITER 3956 NEW BEST:: SOT 9960475 SOS 6333969 HAS SOPS 4782017 HAS SOUS 2563068 HAS SOUPS 1566663 WITH SCORE 1572996.969
AT ITER 3975 NEW BEST:: SOT 9958189 SOS 6328463 HAS SOPS 4779731 HAS SOUS 2560885 HAS SOUPS 1566090 WITH SCORE 1572418.463
AT ITER 3983 NEW BEST:: SOT 9958164 SOS 6328438 HAS SOPS 4779706 HAS SOUS 2560835 HAS SOUPS 1566040 WITH SCORE 1572368.438
AT ITER 3991 NEW BEST:: SOT 9958416 SOS 6329578 HAS SOPS 4779958 HAS SOUS 2560895 HAS SOUPS 1565656 WITH SCORE 1571985.578
AT ITER 3992 NEW BEST:: SOT 9959135 SOS 6333475 HAS SOPS 4780677 HAS SOUS 2562333 HAS SOUPS 1565642 WITH SCORE 1571975.475
AT ITER 4003 NEW BEST:: SOT 9959340 SOS 6335896 HAS SOPS 4780882 HAS SOUS 2562743 HAS SOUPS 1565048 WITH SCORE 1571383.896
AT ITER 4013 NEW BEST:: SOT 9959514 SOS 6338097 HAS SOPS 4781056 HAS SOUS 2563091 HAS SOUPS 1564550 WITH SCORE 1570888.097
AT ITER 4023 NEW BEST:: SOT 9959514 SOS 6338087 HAS SOPS 4781046 HAS SOUS 2563081 HAS SOUPS 1564540 WITH SCORE 1570878.087
AT ITER 4027 NEW BEST:: SOT 9958643 SOS 6337216 HAS SOPS 4780710 HAS SOUS 2562244 HAS SOUPS 1564238 WITH SCORE 1570575.216
AT ITER 4046 NEW BEST:: SOT 9958715 SOS 6340446 HAS SOPS 4780782 HAS SOUS 2562388 HAS SOUPS 1562803 WITH SCORE 1569143.446
AT ITER 4050 NEW BEST:: SOT 9958671 SOS 6340314 HAS SOPS 4780738 HAS SOUS 2562344 HAS SOUPS 1562803 WITH SCORE 1569143.314
AT ITER 4056 NEW BEST:: SOT 9958364 SOS 6340463 HAS SOPS 4780887 HAS SOUS 2562186 HAS SOUPS 1562645 WITH SCORE 1568985.463
AT ITER 4077 NEW BEST:: SOT 9958364 SOS 6343475 HAS SOPS 4780887 HAS SOUS 2562186 HAS SOUPS 1561139 WITH SCORE 1567482.475
AT ITER 4091 NEW BEST:: SOT 9958363 SOS 6343357 HAS SOPS 4780769 HAS SOUS 2562185 HAS SOUPS 1561138 WITH SCORE 1567481.357
AT ITER 4095 NEW BEST:: SOT 9958247 SOS 6343241 HAS SOPS 4780653 HAS SOUS 2561953 HAS SOUPS 1560906 WITH SCORE 1567249.241
AT ITER 4105 NEW BEST:: SOT 9957646 SOS 6342640 HAS SOPS 4780052 HAS SOUS 2561839 HAS SOUPS 1560792 WITH SCORE 1567134.64
AT ITER 4106 NEW BEST:: SOT 9958125 SOS 6345771 HAS SOPS 4780531 HAS SOUS 2562797 HAS SOUPS 1560584 WITH SCORE 1566929.771
AT ITER 4120 NEW BEST:: SOT 9958025 SOS 6345671 HAS SOPS 4780431 HAS SOUS 2562697 HAS SOUPS 1560484 WITH SCORE 1566829.671
AT ITER 4127 NEW BEST:: SOT 9958024 SOS 6345606 HAS SOPS 4780366 HAS SOUS 2562696 HAS SOUPS 1560483 WITH SCORE 1566828.606
AT ITER 4129 NEW BEST:: SOT 9957318 SOS 6345790 HAS SOPS 4781060 HAS SOUS 2562174 HAS SOUPS 1560471 WITH SCORE 1566816.79
AT ITER 4131 NEW BEST:: SOT 9832479 SOS 6220951 HAS SOPS 4763915 HAS SOUS 2436869 HAS SOUPS 1542860 WITH SCORE 1549080.951
AT ITER 4134 NEW BEST:: SOT 9833053 SOS 6222193 HAS SOPS 4764189 HAS SOUS 2437351 HAS SOUPS 1542858 WITH SCORE 1549080.193
AT ITER 4138 NEW BEST:: SOT 9833692 SOS 6227636 HAS SOPS 4764828 HAS SOUS 2438739 HAS SOUPS 1542014 WITH SCORE 1548241.636
AT ITER 4141 NEW BEST:: SOT 9832258 SOS 6224768 HAS SOPS 4763394 HAS SOUS 2437305 HAS SOUPS 1541297 WITH SCORE 1547521.768
AT ITER 4153 NEW BEST:: SOT 9832258 SOS 6224820 HAS SOPS 4763394 HAS SOUS 2437305 HAS SOUPS 1541271 WITH SCORE 1547495.82
AT ITER 4156 NEW BEST:: SOT 9832563 SOS 6224713 HAS SOPS 4763287 HAS SOUS 2437045 HAS SOUPS 1541011 WITH SCORE 1547235.713
AT ITER 4164 NEW BEST:: SOT 9832674 SOS 6225608 HAS SOPS 4763398 HAS SOUS 2437267 HAS SOUPS 1540841 WITH SCORE 1547066.608
AT ITER 4166 NEW BEST:: SOT 9832215 SOS 6225149 HAS SOPS 4762939 HAS SOUS 2437155 HAS SOUPS 1540729 WITH SCORE 1546954.149
AT ITER 4174 NEW BEST:: SOT 9831956 SOS 6224890 HAS SOPS 4762680 HAS SOUS 2436637 HAS SOUPS 1540211 WITH SCORE 1546435.89
AT ITER 4178 NEW BEST:: SOT 9831599 SOS 6224533 HAS SOPS 4762323 HAS SOUS 2436280 HAS SOUPS 1539854 WITH SCORE 1546078.533
AT ITER 4187 NEW BEST:: SOT 9831598 SOS 6224524 HAS SOPS 4762314 HAS SOUS 2436279 HAS SOUPS 1539853 WITH SCORE 1546077.524
AT ITER 4195 NEW BEST:: SOT 9830878 SOS 6224524 HAS SOPS 4762750 HAS SOUS 2435559 HAS SOUPS 1539569 WITH SCORE 1545793.524
AT ITER 4199 NEW BEST:: SOT 9830878 SOS 6226500 HAS SOPS 4762750 HAS SOUS 2435559 HAS SOUPS 1538581 WITH SCORE 1544807.5
AT ITER 4228 NEW BEST:: SOT 9830877 SOS 6226400 HAS SOPS 4762650 HAS SOUS 2435558 HAS SOUPS 1538580 WITH SCORE 1544806.4
AT ITER 4230 NEW BEST:: SOT 9830750 SOS 6226019 HAS SOPS 4762523 HAS SOUS 2435304 HAS SOUPS 1538453 WITH SCORE 1544679.019
AT ITER 4244 NEW BEST:: SOT 9831324 SOS 6227094 HAS SOPS 4762171 HAS SOUS 2436386 HAS SOUPS 1538350 WITH SCORE 1544577.094
AT ITER 4245 NEW BEST:: SOT 9831324 SOS 6229330 HAS SOPS 4762171 HAS SOUS 2436386 HAS SOUPS 1537232 WITH SCORE 1543461.33
AT ITER 4252 NEW BEST:: SOT 9831566 SOS 6230552 HAS SOPS 4762413 HAS SOUS 2436870 HAS SOUPS 1537226 WITH SCORE 1543456.552
AT ITER 4271 NEW BEST:: SOT 9831259 SOS 6230245 HAS SOPS 4762106 HAS SOUS 2436563 HAS SOUPS 1536919 WITH SCORE 1543149.245
AT ITER 4276 NEW BEST:: SOT 9831242 SOS 6230243 HAS SOPS 4762087 HAS SOUS 2436561 HAS SOUPS 1536900 WITH SCORE 1543130.243
AT ITER 4279 NEW BEST:: SOT 9832162 SOS 6232386 HAS SOPS 4761481 HAS SOUS 2437481 HAS SOUPS 1536294 WITH SCORE 1542526.386
AT ITER 4283 NEW BEST:: SOT 9832161 SOS 6231914 HAS SOPS 4761009 HAS SOUS 2437480 HAS SOUPS 1536293 WITH SCORE 1542524.914
AT ITER 4290 NEW BEST:: SOT 9831669 SOS 6230930 HAS SOPS 4760517 HAS SOUS 2436988 HAS SOUPS 1536047 WITH SCORE 1542277.93
AT ITER 4291 NEW BEST:: SOT 9831669 SOS 6230862 HAS SOPS 4760517 HAS SOUS 2436988 HAS SOUPS 1536047 WITH SCORE 1542277.862
AT ITER 4315 NEW BEST:: SOT 9831413 SOS 6230606 HAS SOPS 4760261 HAS SOUS 2436476 HAS SOUPS 1535535 WITH SCORE 1541765.606
AT ITER 4318 NEW BEST:: SOT 9831385 SOS 6230578 HAS SOPS 4760233 HAS SOUS 2436448 HAS SOUPS 1535507 WITH SCORE 1541737.578
AT ITER 4328 NEW BEST:: SOT 9831384 SOS 6230401 HAS SOPS 4760056 HAS SOUS 2436447 HAS SOUPS 1535506 WITH SCORE 1541736.401
AT ITER 4330 NEW BEST:: SOT 9830322 SOS 6228277 HAS SOPS 4758994 HAS SOUS 2435385 HAS SOUPS 1534975 WITH SCORE 1541203.277
AT ITER 4344 NEW BEST:: SOT 9830322 SOS 6229045 HAS SOPS 4758994 HAS SOUS 2435385 HAS SOUPS 1534818 WITH SCORE 1541047.045
AT ITER 4348 NEW BEST:: SOT 9830196 SOS 6228919 HAS SOPS 4758868 HAS SOUS 2435259 HAS SOUPS 1534692 WITH SCORE 1540920.919
AT ITER 4358 NEW BEST:: SOT 9830281 SOS 6229004 HAS SOPS 4758953 HAS SOUS 2435045 HAS SOUPS 1534478 WITH SCORE 1540707.004
AT ITER 4365 NEW BEST:: SOT 9829895 SOS 6229004 HAS SOPS 4758953 HAS SOUS 2434659 HAS SOUPS 1534092 WITH SCORE 1540321.004
AT ITER 4369 NEW BEST:: SOT 9829159 SOS 6227532 HAS SOPS 4758217 HAS SOUS 2433923 HAS SOUPS 1533724 WITH SCORE 1539951.532
AT ITER 4379 NEW BEST:: SOT 9829828 SOS 6231251 HAS SOPS 4758886 HAS SOUS 2435261 HAS SOUPS 1533560 WITH SCORE 1539791.251
AT ITER 4382 NEW BEST:: SOT 9829776 SOS 6231199 HAS SOPS 4758834 HAS SOUS 2435209 HAS SOUPS 1533508 WITH SCORE 1539739.199
AT ITER 4402 NEW BEST:: SOT 9830306 SOS 6234755 HAS SOPS 4759364 HAS SOUS 2436269 HAS SOUPS 1533079 WITH SCORE 1539313.755
AT ITER 4404 NEW BEST:: SOT 9828989 SOS 6233438 HAS SOPS 4758047 HAS SOUS 2435859 HAS SOUPS 1532669 WITH SCORE 1538902.438
AT ITER 4408 NEW BEST:: SOT 9828538 SOS 6232987 HAS SOPS 4757145 HAS SOUS 2434506 HAS SOUPS 1531316 WITH SCORE 1537548.987
AT ITER 4417 NEW BEST:: SOT 9828538 SOS 6235317 HAS SOPS 4757145 HAS SOUS 2434506 HAS SOUPS 1530151 WITH SCORE 1536386.317
AT ITER 4428 NEW BEST:: SOT 9828318 SOS 6235097 HAS SOPS 4756925 HAS SOUS 2434116 HAS SOUPS 1529761 WITH SCORE 1535996.097
AT ITER 4429 NEW BEST:: SOT 9828318 SOS 6235049 HAS SOPS 4756925 HAS SOUS 2434068 HAS SOUPS 1529761 WITH SCORE 1535996.049
AT ITER 4430 NEW BEST:: SOT 9828318 SOS 6236581 HAS SOPS 4756925 HAS SOUS 2434068 HAS SOUPS 1528995 WITH SCORE 1535231.581
AT ITER 4434 NEW BEST:: SOT 9828088 SOS 6236351 HAS SOPS 4756695 HAS SOUS 2433838 HAS SOUPS 1528765 WITH SCORE 1535001.351
AT ITER 4437 NEW BEST:: SOT 9828088 SOS 6236500 HAS SOPS 4756695 HAS SOUS 2433838 HAS SOUPS 1528693 WITH SCORE 1534929.5
AT ITER 4438 NEW BEST:: SOT 9826702 SOS 6233728 HAS SOPS 4755309 HAS SOUS 2432452 HAS SOUPS 1528000 WITH SCORE 1534233.728
AT ITER 4439 NEW BEST:: SOT 9826650 SOS 6233588 HAS SOPS 4755257 HAS SOUS 2432348 HAS SOUPS 1527984 WITH SCORE 1534217.588
AT ITER 4452 NEW BEST:: SOT 9825192 SOS 6232130 HAS SOPS 4753799 HAS SOUS 2431406 HAS SOUPS 1527042 WITH SCORE 1533274.13
AT ITER 4457 NEW BEST:: SOT 9825192 SOS 6232039 HAS SOPS 4753708 HAS SOUS 2431315 HAS SOUPS 1526951 WITH SCORE 1533183.039
AT ITER 4465 NEW BEST:: SOT 9824202 SOS 6230471 HAS SOPS 4752718 HAS SOUS 2430325 HAS SOUPS 1526456 WITH SCORE 1532686.471
AT ITER 4470 NEW BEST:: SOT 9823789 SOS 6230791 HAS SOPS 4753038 HAS SOUS 2429499 HAS SOUPS 1525630 WITH SCORE 1531860.791
AT ITER 4474 NEW BEST:: SOT 9825043 SOS 6233526 HAS SOPS 4752836 HAS SOUS 2430753 HAS SOUPS 1525303 WITH SCORE 1531536.526
AT ITER 4497 NEW BEST:: SOT 9824416 SOS 6232899 HAS SOPS 4752209 HAS SOUS 2430753 HAS SOUPS 1525303 WITH SCORE 1531535.899
AT ITER 4507 NEW BEST:: SOT 9823862 SOS 6232899 HAS SOPS 4752209 HAS SOUS 2430199 HAS SOUPS 1524749 WITH SCORE 1530981.899
AT ITER 4511 NEW BEST:: SOT 9824364 SOS 6234574 HAS SOPS 4752538 HAS SOUS 2430032 HAS SOUPS 1523909 WITH SCORE 1530143.574
AT ITER 4512 NEW BEST:: SOT 9823853 SOS 6234574 HAS SOPS 4752538 HAS SOUS 2429521 HAS SOUPS 1523398 WITH SCORE 1529632.574
AT ITER 4525 NEW BEST:: SOT 9823853 SOS 6235705 HAS SOPS 4752538 HAS SOUS 2429521 HAS SOUPS 1522898 WITH SCORE 1529133.705
AT ITER 4534 NEW BEST:: SOT 9823853 SOS 6235250 HAS SOPS 4752538 HAS SOUS 2429521 HAS SOUPS 1522898 WITH SCORE 1529133.25
AT ITER 4542 NEW BEST:: SOT 9821861 SOS 6233258 HAS SOPS 4750546 HAS SOUS 2427529 HAS SOUPS 1520906 WITH SCORE 1527139.258
AT ITER 4544 NEW BEST:: SOT 9821325 SOS 6232186 HAS SOPS 4750010 HAS SOUS 2426993 HAS SOUPS 1520638 WITH SCORE 1526870.186
AT ITER 4560 NEW BEST:: SOT 9821614 SOS 6232915 HAS SOPS 4750299 HAS SOUS 2427131 HAS SOUPS 1520556 WITH SCORE 1526788.915
AT ITER 4563 NEW BEST:: SOT 9822622 SOS 6238327 HAS SOPS 4751307 HAS SOUS 2429469 HAS SOUPS 1520531 WITH SCORE 1526769.327
AT ITER 4567 NEW BEST:: SOT 9822621 SOS 6238207 HAS SOPS 4751187 HAS SOUS 2429468 HAS SOUPS 1520530 WITH SCORE 1526768.207
AT ITER 4575 NEW BEST:: SOT 9823018 SOS 6241338 HAS SOPS 4751584 HAS SOUS 2430262 HAS SOUPS 1519994 WITH SCORE 1526235.338
AT ITER 4587 NEW BEST:: SOT 9822650 SOS 6240602 HAS SOPS 4751216 HAS SOUS 2429894 HAS SOUPS 1519810 WITH SCORE 1526050.602
AT ITER 4602 NEW BEST:: SOT 9823009 SOS 6243307 HAS SOPS 4751575 HAS SOUS 2430612 HAS SOUPS 1519548 WITH SCORE 1525791.307
AT ITER 4612 NEW BEST:: SOT 9823008 SOS 6242615 HAS SOPS 4750883 HAS SOUS 2430611 HAS SOUPS 1519547 WITH SCORE 1525789.615
AT ITER 4615 NEW BEST:: SOT 9823008 SOS 6242434 HAS SOPS 4750615 HAS SOUS 2430430 HAS SOUPS 1519279 WITH SCORE 1525521.434
AT ITER 4623 NEW BEST:: SOT 9823008 SOS 6242654 HAS SOPS 4750615 HAS SOUS 2430430 HAS SOUPS 1519169 WITH SCORE 1525411.654
AT ITER 4625 NEW BEST:: SOT 9822826 SOS 6242654 HAS SOPS 4750615 HAS SOUS 2430248 HAS SOUPS 1518987 WITH SCORE 1525229.654
AT ITER 4632 NEW BEST:: SOT 9822577 SOS 6242405 HAS SOPS 4750458 HAS SOUS 2430137 HAS SOUPS 1518968 WITH SCORE 1525210.405
AT ITER 4636 NEW BEST:: SOT 9822528 SOS 6242356 HAS SOPS 4750259 HAS SOUS 2429889 HAS SOUPS 1518720 WITH SCORE 1524962.356
AT ITER 4650 NEW BEST:: SOT 9821998 SOS 6241826 HAS SOPS 4749729 HAS SOUS 2429359 HAS SOUPS 1518190 WITH SCORE 1524431.826
AT ITER 4664 NEW BEST:: SOT 9822158 SOS 6244203 HAS SOPS 4749889 HAS SOUS 2429679 HAS SOUPS 1517460 WITH SCORE 1523704.203
AT ITER 4701 NEW BEST:: SOT 9820148 SOS 6242193 HAS SOPS 4747879 HAS SOUS 2428160 HAS SOUPS 1515941 WITH SCORE 1522183.193
AT ITER 4702 NEW BEST:: SOT 9819866 SOS 6241629 HAS SOPS 4747597 HAS SOUS 2427878 HAS SOUPS 1515800 WITH SCORE 1522041.629
AT ITER 4704 NEW BEST:: SOT 9819492 SOS 6241629 HAS SOPS 4747597 HAS SOUS 2427504 HAS SOUPS 1515426 WITH SCORE 1521667.629
AT ITER 4707 NEW BEST:: SOT 9819356 SOS 6241493 HAS SOPS 4747461 HAS SOUS 2427368 HAS SOUPS 1515290 WITH SCORE 1521531.493
AT ITER 4710 NEW BEST:: SOT 9819356 SOS 6241408 HAS SOPS 4747376 HAS SOUS 2427283 HAS SOUPS 1515205 WITH SCORE 1521446.408
AT ITER 4713 NEW BEST:: SOT 9819457 SOS 6240738 HAS SOPS 4746270 HAS SOUS 2426714 HAS SOUPS 1514200 WITH SCORE 1520440.738
AT ITER 4727 NEW BEST:: SOT 9819457 SOS 6240914 HAS SOPS 4746270 HAS SOUS 2426714 HAS SOUPS 1514112 WITH SCORE 1520352.914
AT ITER 4734 NEW BEST:: SOT 9819457 SOS 6242916 HAS SOPS 4746270 HAS SOUS 2426714 HAS SOUPS 1513111 WITH SCORE 1519353.916
AT ITER 4736 NEW BEST:: SOT 9819457 SOS 6242796 HAS SOPS 4746270 HAS SOUS 2426714 HAS SOUPS 1513111 WITH SCORE 1519353.796
AT ITER 4741 NEW BEST:: SOT 9819278 SOS 6242617 HAS SOPS 4746219 HAS SOUS 2426535 HAS SOUPS 1513060 WITH SCORE 1519302.617
AT ITER 4746 NEW BEST:: SOT 9819251 SOS 6242299 HAS SOPS 4746192 HAS SOUS 2426469 HAS SOUPS 1513033 WITH SCORE 1519275.299
AT ITER 4752 NEW BEST:: SOT 9819137 SOS 6242185 HAS SOPS 4746078 HAS SOUS 2426355 HAS SOUPS 1512919 WITH SCORE 1519161.185
AT ITER 4768 NEW BEST:: SOT 9818559 SOS 6241029 HAS SOPS 4745500 HAS SOUS 2425777 HAS SOUPS 1512630 WITH SCORE 1518871.029
AT ITER 4770 NEW BEST:: SOT 9818559 SOS 6242209 HAS SOPS 4745500 HAS SOUS 2425777 HAS SOUPS 1512040 WITH SCORE 1518282.209
AT ITER 4774 NEW BEST:: SOT 9817841 SOS 6241491 HAS SOPS 4744357 HAS SOUS 2424766 HAS SOUPS 1511029 WITH SCORE 1517270.491
AT ITER 4778 NEW BEST:: SOT 9817709 SOS 6241359 HAS SOPS 4744225 HAS SOUS 2424502 HAS SOUPS 1510765 WITH SCORE 1517006.359
AT ITER 4779 NEW BEST:: SOT 9817620 SOS 6241270 HAS SOPS 4744136 HAS SOUS 2424324 HAS SOUPS 1510587 WITH SCORE 1516828.27
AT ITER 4788 NEW BEST:: SOT 9817043 SOS 6240693 HAS SOPS 4743983 HAS SOUS 2423477 HAS SOUPS 1510463 WITH SCORE 1516703.693
AT ITER 4793 NEW BEST:: SOT 9817129 SOS 6243357 HAS SOPS 4744069 HAS SOUS 2423649 HAS SOUPS 1509346 WITH SCORE 1515589.357
AT ITER 4802 NEW BEST:: SOT 9816788 SOS 6242675 HAS SOPS 4744069 HAS SOUS 2423308 HAS SOUPS 1509346 WITH SCORE 1515588.675
AT ITER 4823 NEW BEST:: SOT 9816855 SOS 6245890 HAS SOPS 4744136 HAS SOUS 2423442 HAS SOUPS 1507906 WITH SCORE 1514151.89
AT ITER 4843 NEW BEST:: SOT 9815742 SOS 6244129 HAS SOPS 4743023 HAS SOUS 2422358 HAS SOUPS 1507393 WITH SCORE 1513637.129
AT ITER 4846 NEW BEST:: SOT 9815980 SOS 6246747 HAS SOPS 4743261 HAS SOUS 2422834 HAS SOUPS 1506679 WITH SCORE 1512925.747
AT ITER 4857 NEW BEST:: SOT 9815897 SOS 6246664 HAS SOPS 4743178 HAS SOUS 2422830 HAS SOUPS 1506675 WITH SCORE 1512921.664
AT ITER 4858 NEW BEST:: SOT 9814450 SOS 6243768 HAS SOPS 4741810 HAS SOUS 2421383 HAS SOUPS 1505992 WITH SCORE 1512235.768
AT ITER 4859 NEW BEST:: SOT 9813770 SOS 6242408 HAS SOPS 4741130 HAS SOUS 2420703 HAS SOUPS 1505652 WITH SCORE 1511894.408
AT ITER 4879 NEW BEST:: SOT 9815366 SOS 6246071 HAS SOPS 4742445 HAS SOUS 2421830 HAS SOUPS 1505605 WITH SCORE 1511851.071
AT ITER 4882 NEW BEST:: SOT 9814760 SOS 6245465 HAS SOPS 4741839 HAS SOUS 2421224 HAS SOUPS 1504999 WITH SCORE 1511244.465
AT ITER 4884 NEW BEST:: SOT 9814424 SOS 6245465 HAS SOPS 4741999 HAS SOUS 2420888 HAS SOUPS 1504823 WITH SCORE 1511068.465
AT ITER 4887 NEW BEST:: SOT 9813785 SOS 6244826 HAS SOPS 4741360 HAS SOUS 2420888 HAS SOUPS 1504823 WITH SCORE 1511067.826
AT ITER 4898 NEW BEST:: SOT 9812727 SOS 6242710 HAS SOPS 4740302 HAS SOUS 2419830 HAS SOUPS 1504294 WITH SCORE 1510536.71
AT ITER 4918 NEW BEST:: SOT 9812442 SOS 6242425 HAS SOPS 4740275 HAS SOUS 2419552 HAS SOUPS 1504274 WITH SCORE 1510516.425
AT ITER 4936 NEW BEST:: SOT 9812077 SOS 6242060 HAS SOPS 4739545 HAS SOUS 2419187 HAS SOUPS 1503909 WITH SCORE 1510151.06
AT ITER 4937 NEW BEST:: SOT 9812077 SOS 6242998 HAS SOPS 4739545 HAS SOUS 2419187 HAS SOUPS 1503440 WITH SCORE 1509682.998
AT ITER 4940 NEW BEST:: SOT 9811886 SOS 6242616 HAS SOPS 4739545 HAS SOUS 2418996 HAS SOUPS 1503440 WITH SCORE 1509682.616
AT ITER 4942 NEW BEST:: SOT 9812130 SOS 6244658 HAS SOPS 4739789 HAS SOUS 2419484 HAS SOUPS 1503029 WITH SCORE 1509273.658
AT ITER 4943 NEW BEST:: SOT 9811858 SOS 6244386 HAS SOPS 4739650 HAS SOUS 2419212 HAS SOUPS 1502890 WITH SCORE 1509134.386
AT ITER 4944 NEW BEST:: SOT 9811693 SOS 6244221 HAS SOPS 4739485 HAS SOUS 2418882 HAS SOUPS 1502560 WITH SCORE 1508804.221
AT ITER 4950 NEW BEST:: SOT 9811987 SOS 6244038 HAS SOPS 4738951 HAS SOUS 2418993 HAS SOUPS 1502320 WITH SCORE 1508564.038
AT ITER 4956 NEW BEST:: SOT 9811896 SOS 6243947 HAS SOPS 4738860 HAS SOUS 2418811 HAS SOUPS 1502138 WITH SCORE 1508381.947
AT ITER 4958 NEW BEST:: SOT 9811728 SOS 6243611 HAS SOPS 4738860 HAS SOUS 2418643 HAS SOUPS 1502138 WITH SCORE 1508381.611
AT ITER 4961 NEW BEST:: SOT 9811728 SOS 6243611 HAS SOPS 4738840 HAS SOUS 2418643 HAS SOUPS 1502118 WITH SCORE 1508361.611
AT ITER 4963 NEW BEST:: SOT 9811300 SOS 6243183 HAS SOPS 4738412 HAS SOUS 2418643 HAS SOUPS 1502118 WITH SCORE 1508361.183
AT ITER 4975 NEW BEST:: SOT 9810731 SOS 6243183 HAS SOPS 4738412 HAS SOUS 2418074 HAS SOUPS 1501549 WITH SCORE 1507792.183
AT ITER 4981 NEW BEST:: SOT 9810550 SOS 6243002 HAS SOPS 4738231 HAS SOUS 2417712 HAS SOUPS 1501187 WITH SCORE 1507430.002
AT ITER 4984 NEW BEST:: SOT 9809721 SOS 6239141 HAS SOPS 4737402 HAS SOUS 2416054 HAS SOUPS 1501045 WITH SCORE 1507284.141
AT ITER 4989 NEW BEST:: SOT 9809412 SOS 6239360 HAS SOPS 4737621 HAS SOUS 2415964 HAS SOUPS 1500955 WITH SCORE 1507194.36
AT ITER 4997 NEW BEST:: SOT 9809411 SOS 6238911 HAS SOPS 4737172 HAS SOUS 2415963 HAS SOUPS 1500954 WITH SCORE 1507192.911
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-00 (AX( (AG( ( potential( ( 1 ) <= (tk(P8) + tk(P9)) ) | potential( (tk(P2015)) <= (tk(P2015)) ) )))))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-01 (AF(( (EG( potential( ( 2 ) <= (tk(P3)) ))) & potential( ( 1 ) <= (tk(P3519)) ) )))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-02 (AX( (EX( ( potential( ( 2 ) <= (tk(P1513) + tk(P1514) + tk(P1515) + tk(P1516) + tk(P1517) + tk(P1518) + tk(P1519) + tk(P1520) + tk(P1521) + tk(P1522) + tk(P1523) + tk(P1524) + tk(P1525) + tk(P1526) + tk(P1527) + tk(P1528) + tk(P1529) + tk(P1530) + tk(P1531) + tk(P1532) + tk(P1533) + tk(P1534) + tk(P1535) + tk(P1536) + tk(P1537) + tk(P1538) + tk(P1539) + tk(P1540) + tk(P1541) + tk(P1542) + tk(P1543) + tk(P1544) + tk(P1545) + tk(P1546) + tk(P1547) + tk(P1548) + tk(P1549) + tk(P1550) + tk(P1551) + tk(P1552) + tk(P1553) + tk(P1554) + tk(P1555) + tk(P1556) + tk(P1557) + tk(P1558) + tk(P1559) + tk(P1560) + tk(P1561) + tk(P1562) + tk(P1563) + tk(P1564) + tk(P1565) + tk(P1566) + tk(P1567) + tk(P1568) + tk(P1569) + tk(P1570) + tk(P1571) + tk(P1572) + tk(P1573) + tk(P1574) + tk(P1575) + tk(P1576) + tk(P1577) + tk(P1578) + tk(P1579) + tk(P1580) + tk(P1581) + tk(P1582) + tk(P1583) + tk(P1584) + tk(P1585) + tk(P1586) + tk(P1587) + tk(P1588) + tk(P1589) + tk(P1590) + tk(P1591) + tk(P1592) + tk(P1593) + tk(P1594) + tk(P1595) + tk(P1596) + tk(P1597) + tk(P1598) + tk(P1599) + tk(P1600) + tk(P1601) + tk(P1602) + tk(P1603) + tk(P1604) + tk(P1605) + tk(P1606) + tk(P1607) + tk(P1608) + tk(P1609) + tk(P1610) + tk(P1611) + tk(P1612) + tk(P1613) + tk(P1614) + tk(P1615) + tk(P1616) + tk(P1617) + tk(P1618) + tk(P1619) + tk(P1620) + tk(P1621) + tk(P1622) + tk(P1623) + tk(P1624) + tk(P1625) + tk(P1626) + tk(P1627) + tk(P1628) + tk(P1629) + tk(P1630) + tk(P1631) + tk(P1632) + tk(P1633) + tk(P1634) + tk(P1635) + tk(P1636) + tk(P1637) + tk(P1638) + tk(P1639) + tk(P1640) + tk(P1641) + tk(P1642) + tk(P1643) + tk(P1644) + tk(P1645) + tk(P1646) + tk(P1647) + tk(P1648) + tk(P1649) + tk(P1650) + tk(P1651) + tk(P1652) + tk(P1653) + tk(P1654) + tk(P1655) + tk(P1656) + tk(P1657) + tk(P1658) + tk(P1659) + tk(P1660) + tk(P1661) + tk(P1662) + tk(P1663) + tk(P1664) + tk(P1665) + tk(P1666) + tk(P1667) + tk(P1668) + tk(P1669) + tk(P1670) + tk(P1671) + tk(P1672) + tk(P1673) + tk(P1674) + tk(P1675) + tk(P1676) + tk(P1677) + tk(P1678) + tk(P1679) + tk(P1680) + tk(P1681) + tk(P1682) + tk(P1683) + tk(P1684) + tk(P1685) + tk(P1686) + tk(P1687) + tk(P1688) + tk(P1689) + tk(P1690) + tk(P1691) + tk(P1692) + tk(P1693) + tk(P1694) + tk(P1695) + tk(P1696) + tk(P1697) + tk(P1698) + tk(P1699) + tk(P1700) + tk(P1701) + tk(P1702) + tk(P1703) + tk(P1704) + tk(P1705) + tk(P1706) + tk(P1707) + tk(P1708) + tk(P1709) + tk(P1710) + tk(P1711) + tk(P1712) + tk(P1713) + tk(P1714) + tk(P1715) + tk(P1716) + tk(P1717) + tk(P1718) + tk(P1719) + tk(P1720) + tk(P1721) + tk(P1722) + tk(P1723) + tk(P1724) + tk(P1725) + tk(P1726) + tk(P1727) + tk(P1728) + tk(P1729) + tk(P1730) + tk(P1731) + tk(P1732) + tk(P1733) + tk(P1734) + tk(P1735) + tk(P1736) + tk(P1737) + tk(P1738) + tk(P1739) + tk(P1740) + tk(P1741) + tk(P1742) + tk(P1743) + tk(P1744) + tk(P1745) + tk(P1746) + tk(P1747) + tk(P1748) + tk(P1749) + tk(P1750) + tk(P1751) + tk(P1752) + tk(P1753) + tk(P1754) + tk(P1755) + tk(P1756) + tk(P1757) + tk(P1758) + tk(P1759) + tk(P1760) + tk(P1761) + tk(P1762) + tk(P1763) + tk(P1764) + tk(P1765) + tk(P1766) + tk(P1767) + tk(P1768) + tk(P1769) + tk(P1770) + tk(P1771) + tk(P1772) + tk(P1773) + tk(P1774) + tk(P1775) + tk(P1776) + tk(P1777) + tk(P1778) + tk(P1779) + tk(P1780) + tk(P1781) + tk(P1782) + tk(P1783) + tk(P1784) + tk(P1785) + tk(P1786) + tk(P1787) + tk(P1788) + tk(P1789) + tk(P1790) + tk(P1791) + tk(P1792) + tk(P1793) + tk(P1794) + tk(P1795) + tk(P1796) + tk(P1797) + tk(P1798) + tk(P1799) + tk(P1800) + tk(P1801) + tk(P1802) + tk(P1803) + tk(P1804) + tk(P1805) + tk(P1806) + tk(P1807) + tk(P1808) + tk(P1809) + tk(P1810) + tk(P1811) + tk(P1812) + tk(P1813) + tk(P1814) + tk(P1815) + tk(P1816) + tk(P1817) + tk(P1818) + tk(P1819) + tk(P1820) + tk(P1821) + tk(P1822) + tk(P1823) + tk(P1824) + tk(P1825) + tk(P1826) + tk(P1827) + tk(P1828) + tk(P1829) + tk(P1830) + tk(P1831) + tk(P1832) + tk(P1833) + tk(P1834) + tk(P1835) + tk(P1836) + tk(P1837) + tk(P1838) + tk(P1839) + tk(P1840) + tk(P1841) + tk(P1842) + tk(P1843) + tk(P1844) + tk(P1845) + tk(P1846) + tk(P1847) + tk(P1848) + tk(P1849) + tk(P1850) + tk(P1851) + tk(P1852) + tk(P1853) + tk(P1854) + tk(P1855) + tk(P1856) + tk(P1857) + tk(P1858) + tk(P1859) + tk(P1860) + tk(P1861) + tk(P1862) + tk(P1863) + tk(P1864) + tk(P1865) + tk(P1866) + tk(P1867) + tk(P1868) + tk(P1869) + tk(P1870) + tk(P1871) + tk(P1872) + tk(P1873) + tk(P1874) + tk(P1875) + tk(P1876) + tk(P1877) + tk(P1878) + tk(P1879) + tk(P1880) + tk(P1881) + tk(P1882) + tk(P1883) + tk(P1884) + tk(P1885) + tk(P1886) + tk(P1887) + tk(P1888) + tk(P1889) + tk(P1890) + tk(P1891) + tk(P1892) + tk(P1893) + tk(P1894) + tk(P1895) + tk(P1896) + tk(P1897) + tk(P1898) + tk(P1899) + tk(P1900) + tk(P1901) + tk(P1902) + tk(P1903) + tk(P1904) + tk(P1905) + tk(P1906) + tk(P1907) + tk(P1908) + tk(P1909) + tk(P1910) + tk(P1911) + tk(P1912) + tk(P1913) + tk(P1914) + tk(P1915) + tk(P1916) + tk(P1917) + tk(P1918) + tk(P1919) + tk(P1920) + tk(P1921) + tk(P1922) + tk(P1923) + tk(P1924) + tk(P1925) + tk(P1926) + tk(P1927) + tk(P1928) + tk(P1929) + tk(P1930) + tk(P1931) + tk(P1932) + tk(P1933) + tk(P1934) + tk(P1935) + tk(P1936) + tk(P1937) + tk(P1938) + tk(P1939) + tk(P1940) + tk(P1941) + tk(P1942) + tk(P1943) + tk(P1944) + tk(P1945) + tk(P1946) + tk(P1947) + tk(P1948) + tk(P1949) + tk(P1950) + tk(P1951) + tk(P1952) + tk(P1953) + tk(P1954) + tk(P1955) + tk(P1956) + tk(P1957) + tk(P1958) + tk(P1959) + tk(P1960) + tk(P1961) + tk(P1962) + tk(P1963) + tk(P1964) + tk(P1965) + tk(P1966) + tk(P1967) + tk(P1968) + tk(P1969) + tk(P1970) + tk(P1971) + tk(P1972) + tk(P1973) + tk(P1974) + tk(P1975) + tk(P1976) + tk(P1977) + tk(P1978) + tk(P1979) + tk(P1980) + tk(P1981) + tk(P1982) + tk(P1983) + tk(P1984) + tk(P1985) + tk(P1986) + tk(P1987) + tk(P1988) + tk(P1989) + tk(P1990) + tk(P1991) + tk(P1992) + tk(P1993) + tk(P1994) + tk(P1995) + tk(P1996) + tk(P1997) + tk(P1998) + tk(P1999) + tk(P2000) + tk(P2001) + tk(P2002) + tk(P2003) + tk(P2004) + tk(P2005) + tk(P2006) + tk(P2007) + tk(P2008) + tk(P2009) + tk(P2010) + tk(P2011) + tk(P2012)) ) & potential( (tk(P2017) + tk(P2018) + tk(P2019) + tk(P2020) + tk(P2021) + tk(P2022) + tk(P2023) + tk(P2024) + tk(P2025) + tk(P2026) + tk(P2027) + tk(P2028) + tk(P2029) + tk(P2030) + tk(P2031) + tk(P2032) + tk(P2033) + tk(P2034) + tk(P2035) + tk(P2036) + tk(P2037) + tk(P2038) + tk(P2039) + tk(P2040) + tk(P2041) + tk(P2042) + tk(P2043) + tk(P2044) + tk(P2045) + tk(P2046) + tk(P2047) + tk(P2048) + tk(P2049) + tk(P2050) + tk(P2051) + tk(P2052) + tk(P2053) + tk(P2054) + tk(P2055) + tk(P2056) + tk(P2057) + tk(P2058) + tk(P2059) + tk(P2060) + tk(P2061) + tk(P2062) + tk(P2063) + tk(P2064) + tk(P2065) + tk(P2066) + tk(P2067) + tk(P2068) + tk(P2069) + tk(P2070) + tk(P2071) + tk(P2072) + tk(P2073) + tk(P2074) + tk(P2075) + tk(P2076) + tk(P2077) + tk(P2078) + tk(P2079) + tk(P2080) + tk(P2081) + tk(P2082) + tk(P2083) + tk(P2084) + tk(P2085) + tk(P2086) + tk(P2087) + tk(P2088) + tk(P2089) + tk(P2090) + tk(P2091) + tk(P2092) + tk(P2093) + tk(P2094) + tk(P2095) + tk(P2096) + tk(P2097) + tk(P2098) + tk(P2099) + tk(P2100) + tk(P2101) + tk(P2102) + tk(P2103) + tk(P2104) + tk(P2105) + tk(P2106) + tk(P2107) + tk(P2108) + tk(P2109) + tk(P2110) + tk(P2111) + tk(P2112) + tk(P2113) + tk(P2114) + tk(P2115) + tk(P2116) + tk(P2117) + tk(P2118) + tk(P2119) + tk(P2120) + tk(P2121) + tk(P2122) + tk(P2123) + tk(P2124) + tk(P2125) + tk(P2126) + tk(P2127) + tk(P2128) + tk(P2129) + tk(P2130) + tk(P2131) + tk(P2132) + tk(P2133) + tk(P2134) + tk(P2135) + tk(P2136) + tk(P2137) + tk(P2138) + tk(P2139) + tk(P2140) + tk(P2141) + tk(P2142) + tk(P2143) + tk(P2144) + tk(P2145) + tk(P2146) + tk(P2147) + tk(P2148) + tk(P2149) + tk(P2150) + tk(P2151) + tk(P2152) + tk(P2153) + tk(P2154) + tk(P2155) + tk(P2156) + tk(P2157) + tk(P2158) + tk(P2159) + tk(P2160) + tk(P2161) + tk(P2162) + tk(P2163) + tk(P2164) + tk(P2165) + tk(P2166) + tk(P2167) + tk(P2168) + tk(P2169) + tk(P2170) + tk(P2171) + tk(P2172) + tk(P2173) + tk(P2174) + tk(P2175) + tk(P2176) + tk(P2177) + tk(P2178) + tk(P2179) + tk(P2180) + tk(P2181) + tk(P2182) + tk(P2183) + tk(P2184) + tk(P2185) + tk(P2186) + tk(P2187) + tk(P2188) + tk(P2189) + tk(P2190) + tk(P2191) + tk(P2192) + tk(P2193) + tk(P2194) + tk(P2195) + tk(P2196) + tk(P2197) + tk(P2198) + tk(P2199) + tk(P2200) + tk(P2201) + tk(P2202) + tk(P2203) + tk(P2204) + tk(P2205) + tk(P2206) + tk(P2207) + tk(P2208) + tk(P2209) + tk(P2210) + tk(P2211) + tk(P2212) + tk(P2213) + tk(P2214) + tk(P2215) + tk(P2216) + tk(P2217) + tk(P2218) + tk(P2219) + tk(P2220) + tk(P2221) + tk(P2222) + tk(P2223) + tk(P2224) + tk(P2225) + tk(P2226) + tk(P2227) + tk(P2228) + tk(P2229) + tk(P2230) + tk(P2231) + tk(P2232) + tk(P2233) + tk(P2234) + tk(P2235) + tk(P2236) + tk(P2237) + tk(P2238) + tk(P2239) + tk(P2240) + tk(P2241) + tk(P2242) + tk(P2243) + tk(P2244) + tk(P2245) + tk(P2246) + tk(P2247) + tk(P2248) + tk(P2249) + tk(P2250) + tk(P2251) + tk(P2252) + tk(P2253) + tk(P2254) + tk(P2255) + tk(P2256) + tk(P2257) + tk(P2258) + tk(P2259) + tk(P2260) + tk(P2261) + tk(P2262) + tk(P2263) + tk(P2264) + tk(P2265) + tk(P2266) + tk(P2267) + tk(P2268) + tk(P2269) + tk(P2270) + tk(P2271) + tk(P2272) + tk(P2273) + tk(P2274) + tk(P2275) + tk(P2276) + tk(P2277) + tk(P2278) + tk(P2279) + tk(P2280) + tk(P2281) + tk(P2282) + tk(P2283) + tk(P2284) + tk(P2285) + tk(P2286) + tk(P2287) + tk(P2288) + tk(P2289) + tk(P2290) + tk(P2291) + tk(P2292) + tk(P2293) + tk(P2294) + tk(P2295) + tk(P2296) + tk(P2297) + tk(P2298) + tk(P2299) + tk(P2300) + tk(P2301) + tk(P2302) + tk(P2303) + tk(P2304) + tk(P2305) + tk(P2306) + tk(P2307) + tk(P2308) + tk(P2309) + tk(P2310) + tk(P2311) + tk(P2312) + tk(P2313) + tk(P2314) + tk(P2315) + tk(P2316) + tk(P2317) + tk(P2318) + tk(P2319) + tk(P2320) + tk(P2321) + tk(P2322) + tk(P2323) + tk(P2324) + tk(P2325) + tk(P2326) + tk(P2327) + tk(P2328) + tk(P2329) + tk(P2330) + tk(P2331) + tk(P2332) + tk(P2333) + tk(P2334) + tk(P2335) + tk(P2336) + tk(P2337) + tk(P2338) + tk(P2339) + tk(P2340) + tk(P2341) + tk(P2342) + tk(P2343) + tk(P2344) + tk(P2345) + tk(P2346) + tk(P2347) + tk(P2348) + tk(P2349) + tk(P2350) + tk(P2351) + tk(P2352) + tk(P2353) + tk(P2354) + tk(P2355) + tk(P2356) + tk(P2357) + tk(P2358) + tk(P2359) + tk(P2360) + tk(P2361) + tk(P2362) + tk(P2363) + tk(P2364) + tk(P2365) + tk(P2366) + tk(P2367) + tk(P2368) + tk(P2369) + tk(P2370) + tk(P2371) + tk(P2372) + tk(P2373) + tk(P2374) + tk(P2375) + tk(P2376) + tk(P2377) + tk(P2378) + tk(P2379) + tk(P2380) + tk(P2381) + tk(P2382) + tk(P2383) + tk(P2384) + tk(P2385) + tk(P2386) + tk(P2387) + tk(P2388) + tk(P2389) + tk(P2390) + tk(P2391) + tk(P2392) + tk(P2393) + tk(P2394) + tk(P2395) + tk(P2396) + tk(P2397) + tk(P2398) + tk(P2399) + tk(P2400) + tk(P2401) + tk(P2402) + tk(P2403) + tk(P2404) + tk(P2405) + tk(P2406) + tk(P2407) + tk(P2408) + tk(P2409) + tk(P2410) + tk(P2411) + tk(P2412) + tk(P2413) + tk(P2414) + tk(P2415) + tk(P2416) + tk(P2417) + tk(P2418) + tk(P2419) + tk(P2420) + tk(P2421) + tk(P2422) + tk(P2423) + tk(P2424) + tk(P2425) + tk(P2426) + tk(P2427) + tk(P2428) + tk(P2429) + tk(P2430) + tk(P2431) + tk(P2432) + tk(P2433) + tk(P2434) + tk(P2435) + tk(P2436) + tk(P2437) + tk(P2438) + tk(P2439) + tk(P2440) + tk(P2441) + tk(P2442) + tk(P2443) + tk(P2444) + tk(P2445) + tk(P2446) + tk(P2447) + tk(P2448) + tk(P2449) + tk(P2450) + tk(P2451) + tk(P2452) + tk(P2453) + tk(P2454) + tk(P2455) + tk(P2456) + tk(P2457) + tk(P2458) + tk(P2459) + tk(P2460) + tk(P2461) + tk(P2462) + tk(P2463) + tk(P2464) + tk(P2465) + tk(P2466) + tk(P2467) + tk(P2468) + tk(P2469) + tk(P2470) + tk(P2471) + tk(P2472) + tk(P2473) + tk(P2474) + tk(P2475) + tk(P2476) + tk(P2477) + tk(P2478) + tk(P2479) + tk(P2480) + tk(P2481) + tk(P2482) + tk(P2483) + tk(P2484) + tk(P2485) + tk(P2486) + tk(P2487) + tk(P2488) + tk(P2489) + tk(P2490) + tk(P2491) + tk(P2492) + tk(P2493) + tk(P2494) + tk(P2495) + tk(P2496) + tk(P2497) + tk(P2498) + tk(P2499) + tk(P2500) + tk(P2501) + tk(P2502) + tk(P2503) + tk(P2504) + tk(P2505) + tk(P2506) + tk(P2507) + tk(P2508) + tk(P2509) + tk(P2510) + tk(P2511) + tk(P2512) + tk(P2513) + tk(P2514) + tk(P2515) + tk(P2516) + tk(P2517) + tk(P2518) + tk(P2519) + tk(P2520) + tk(P2521) + tk(P2522) + tk(P2523) + tk(P2524) + tk(P2525) + tk(P2526) + tk(P2527) + tk(P2528) + tk(P2529) + tk(P2530) + tk(P2531) + tk(P2532) + tk(P2533) + tk(P2534) + tk(P2535) + tk(P2536) + tk(P2537) + tk(P2538) + tk(P2539) + tk(P2540) + tk(P2541) + tk(P2542) + tk(P2543) + tk(P2544) + tk(P2545) + tk(P2546) + tk(P2547) + tk(P2548) + tk(P2549) + tk(P2550) + tk(P2551) + tk(P2552) + tk(P2553) + tk(P2554) + tk(P2555) + tk(P2556) + tk(P2557) + tk(P2558) + tk(P2559) + tk(P2560) + tk(P2561) + tk(P2562) + tk(P2563) + tk(P2564) + tk(P2565) + tk(P2566) + tk(P2567) + tk(P2568) + tk(P2569) + tk(P2570) + tk(P2571) + tk(P2572) + tk(P2573) + tk(P2574) + tk(P2575) + tk(P2576) + tk(P2577) + tk(P2578) + tk(P2579) + tk(P2580) + tk(P2581) + tk(P2582) + tk(P2583) + tk(P2584) + tk(P2585) + tk(P2586) + tk(P2587) + tk(P2588) + tk(P2589) + tk(P2590) + tk(P2591) + tk(P2592) + tk(P2593) + tk(P2594) + tk(P2595) + tk(P2596) + tk(P2597) + tk(P2598) + tk(P2599) + tk(P2600) + tk(P2601) + tk(P2602) + tk(P2603) + tk(P2604) + tk(P2605) + tk(P2606) + tk(P2607) + tk(P2608) + tk(P2609) + tk(P2610) + tk(P2611) + tk(P2612) + tk(P2613) + tk(P2614) + tk(P2615) + tk(P2616) + tk(P2617) + tk(P2618) + tk(P2619) + tk(P2620) + tk(P2621) + tk(P2622) + tk(P2623) + tk(P2624) + tk(P2625) + tk(P2626) + tk(P2627) + tk(P2628) + tk(P2629) + tk(P2630) + tk(P2631) + tk(P2632) + tk(P2633) + tk(P2634) + tk(P2635) + tk(P2636) + tk(P2637) + tk(P2638) + tk(P2639) + tk(P2640) + tk(P2641) + tk(P2642) + tk(P2643) + tk(P2644) + tk(P2645) + tk(P2646) + tk(P2647) + tk(P2648) + tk(P2649) + tk(P2650) + tk(P2651) + tk(P2652) + tk(P2653) + tk(P2654) + tk(P2655) + tk(P2656) + tk(P2657) + tk(P2658) + tk(P2659) + tk(P2660) + tk(P2661) + tk(P2662) + tk(P2663) + tk(P2664) + tk(P2665) + tk(P2666) + tk(P2667) + tk(P2668) + tk(P2669) + tk(P2670) + tk(P2671) + tk(P2672) + tk(P2673) + tk(P2674) + tk(P2675) + tk(P2676) + tk(P2677) + tk(P2678) + tk(P2679) + tk(P2680) + tk(P2681) + tk(P2682) + tk(P2683) + tk(P2684) + tk(P2685) + tk(P2686) + tk(P2687) + tk(P2688) + tk(P2689) + tk(P2690) + tk(P2691) + tk(P2692) + tk(P2693) + tk(P2694) + tk(P2695) + tk(P2696) + tk(P2697) + tk(P2698) + tk(P2699) + tk(P2700) + tk(P2701) + tk(P2702) + tk(P2703) + tk(P2704) + tk(P2705) + tk(P2706) + tk(P2707) + tk(P2708) + tk(P2709) + tk(P2710) + tk(P2711) + tk(P2712) + tk(P2713) + tk(P2714) + tk(P2715) + tk(P2716) + tk(P2717) + tk(P2718) + tk(P2719) + tk(P2720) + tk(P2721) + tk(P2722) + tk(P2723) + tk(P2724) + tk(P2725) + tk(P2726) + tk(P2727) + tk(P2728) + tk(P2729) + tk(P2730) + tk(P2731) + tk(P2732) + tk(P2733) + tk(P2734) + tk(P2735) + tk(P2736) + tk(P2737) + tk(P2738) + tk(P2739) + tk(P2740) + tk(P2741) + tk(P2742) + tk(P2743) + tk(P2744) + tk(P2745) + tk(P2746) + tk(P2747) + tk(P2748) + tk(P2749) + tk(P2750) + tk(P2751) + tk(P2752) + tk(P2753) + tk(P2754) + tk(P2755) + tk(P2756) + tk(P2757) + tk(P2758) + tk(P2759) + tk(P2760) + tk(P2761) + tk(P2762) + tk(P2763) + tk(P2764) + tk(P2765) + tk(P2766) + tk(P2767) + tk(P2768) + tk(P2769) + tk(P2770) + tk(P2771) + tk(P2772) + tk(P2773) + tk(P2774) + tk(P2775) + tk(P2776) + tk(P2777) + tk(P2778) + tk(P2779) + tk(P2780) + tk(P2781) + tk(P2782) + tk(P2783) + tk(P2784) + tk(P2785) + tk(P2786) + tk(P2787) + tk(P2788) + tk(P2789) + tk(P2790) + tk(P2791) + tk(P2792) + tk(P2793) + tk(P2794) + tk(P2795) + tk(P2796) + tk(P2797) + tk(P2798) + tk(P2799) + tk(P2800) + tk(P2801) + tk(P2802) + tk(P2803) + tk(P2804) + tk(P2805) + tk(P2806) + tk(P2807) + tk(P2808) + tk(P2809) + tk(P2810) + tk(P2811) + tk(P2812) + tk(P2813) + tk(P2814) + tk(P2815) + tk(P2816) + tk(P2817) + tk(P2818) + tk(P2819) + tk(P2820) + tk(P2821) + tk(P2822) + tk(P2823) + tk(P2824) + tk(P2825) + tk(P2826) + tk(P2827) + tk(P2828) + tk(P2829) + tk(P2830) + tk(P2831) + tk(P2832) + tk(P2833) + tk(P2834) + tk(P2835) + tk(P2836) + tk(P2837) + tk(P2838) + tk(P2839) + tk(P2840) + tk(P2841) + tk(P2842) + tk(P2843) + tk(P2844) + tk(P2845) + tk(P2846) + tk(P2847) + tk(P2848) + tk(P2849) + tk(P2850) + tk(P2851) + tk(P2852) + tk(P2853) + tk(P2854) + tk(P2855) + tk(P2856) + tk(P2857) + tk(P2858) + tk(P2859) + tk(P2860) + tk(P2861) + tk(P2862) + tk(P2863) + tk(P2864) + tk(P2865) + tk(P2866) + tk(P2867) + tk(P2868) + tk(P2869) + tk(P2870) + tk(P2871) + tk(P2872) + tk(P2873) + tk(P2874) + tk(P2875) + tk(P2876) + tk(P2877) + tk(P2878) + tk(P2879) + tk(P2880) + tk(P2881) + tk(P2882) + tk(P2883) + tk(P2884) + tk(P2885) + tk(P2886) + tk(P2887) + tk(P2888) + tk(P2889) + tk(P2890) + tk(P2891) + tk(P2892) + tk(P2893) + tk(P2894) + tk(P2895) + tk(P2896) + tk(P2897) + tk(P2898) + tk(P2899) + tk(P2900) + tk(P2901) + tk(P2902) + tk(P2903) + tk(P2904) + tk(P2905) + tk(P2906) + tk(P2907) + tk(P2908) + tk(P2909) + tk(P2910) + tk(P2911) + tk(P2912) + tk(P2913) + tk(P2914) + tk(P2915) + tk(P2916) + tk(P2917) + tk(P2918) + tk(P2919) + tk(P2920) + tk(P2921) + tk(P2922) + tk(P2923) + tk(P2924) + tk(P2925) + tk(P2926) + tk(P2927) + tk(P2928) + tk(P2929) + tk(P2930) + tk(P2931) + tk(P2932) + tk(P2933) + tk(P2934) + tk(P2935) + tk(P2936) + tk(P2937) + tk(P2938) + tk(P2939) + tk(P2940) + tk(P2941) + tk(P2942) + tk(P2943) + tk(P2944) + tk(P2945) + tk(P2946) + tk(P2947) + tk(P2948) + tk(P2949) + tk(P2950) + tk(P2951) + tk(P2952) + tk(P2953) + tk(P2954) + tk(P2955) + tk(P2956) + tk(P2957) + tk(P2958) + tk(P2959) + tk(P2960) + tk(P2961) + tk(P2962) + tk(P2963) + tk(P2964) + tk(P2965) + tk(P2966) + tk(P2967) + tk(P2968) + tk(P2969) + tk(P2970) + tk(P2971) + tk(P2972) + tk(P2973) + tk(P2974) + tk(P2975) + tk(P2976) + tk(P2977) + tk(P2978) + tk(P2979) + tk(P2980) + tk(P2981) + tk(P2982) + tk(P2983) + tk(P2984) + tk(P2985) + tk(P2986) + tk(P2987) + tk(P2988) + tk(P2989) + tk(P2990) + tk(P2991) + tk(P2992) + tk(P2993) + tk(P2994) + tk(P2995) + tk(P2996) + tk(P2997) + tk(P2998) + tk(P2999) + tk(P3000) + tk(P3001) + tk(P3002) + tk(P3003) + tk(P3004) + tk(P3005) + tk(P3006) + tk(P3007) + tk(P3008) + tk(P3009) + tk(P3010) + tk(P3011) + tk(P3012) + tk(P3013) + tk(P3014) + tk(P3015) + tk(P3016)) <= (tk(P1) + tk(P2)) ) )))))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-03 (EG( (AU( potential( ( 1 ) <= (tk(P1012) + tk(P1013) + tk(P1014) + tk(P1015) + tk(P1016) + tk(P1017) + tk(P1018) + tk(P1019) + tk(P1020) + tk(P1021) + tk(P1022) + tk(P1023) + tk(P1024) + tk(P1025) + tk(P1026) + tk(P1027) + tk(P1028) + tk(P1029) + tk(P1030) + tk(P1031) + tk(P1032) + tk(P1033) + tk(P1034) + tk(P1035) + tk(P1036) + tk(P1037) + tk(P1038) + tk(P1039) + tk(P1040) + tk(P1041) + tk(P1042) + tk(P1043) + tk(P1044) + tk(P1045) + tk(P1046) + tk(P1047) + tk(P1048) + tk(P1049) + tk(P1050) + tk(P1051) + tk(P1052) + tk(P1053) + tk(P1054) + tk(P1055) + tk(P1056) + tk(P1057) + tk(P1058) + tk(P1059) + tk(P1060) + tk(P1061) + tk(P1062) + tk(P1063) + tk(P1064) + tk(P1065) + tk(P1066) + tk(P1067) + tk(P1068) + tk(P1069) + tk(P1070) + tk(P1071) + tk(P1072) + tk(P1073) + tk(P1074) + tk(P1075) + tk(P1076) + tk(P1077) + tk(P1078) + tk(P1079) + tk(P1080) + tk(P1081) + tk(P1082) + tk(P1083) + tk(P1084) + tk(P1085) + tk(P1086) + tk(P1087) + tk(P1088) + tk(P1089) + tk(P1090) + tk(P1091) + tk(P1092) + tk(P1093) + tk(P1094) + tk(P1095) + tk(P1096) + tk(P1097) + tk(P1098) + tk(P1099) + tk(P1100) + tk(P1101) + tk(P1102) + tk(P1103) + tk(P1104) + tk(P1105) + tk(P1106) + tk(P1107) + tk(P1108) + tk(P1109) + tk(P1110) + tk(P1111) + tk(P1112) + tk(P1113) + tk(P1114) + tk(P1115) + tk(P1116) + tk(P1117) + tk(P1118) + tk(P1119) + tk(P1120) + tk(P1121) + tk(P1122) + tk(P1123) + tk(P1124) + tk(P1125) + tk(P1126) + tk(P1127) + tk(P1128) + tk(P1129) + tk(P1130) + tk(P1131) + tk(P1132) + tk(P1133) + tk(P1134) + tk(P1135) + tk(P1136) + tk(P1137) + tk(P1138) + tk(P1139) + tk(P1140) + tk(P1141) + tk(P1142) + tk(P1143) + tk(P1144) + tk(P1145) + tk(P1146) + tk(P1147) + tk(P1148) + tk(P1149) + tk(P1150) + tk(P1151) + tk(P1152) + tk(P1153) + tk(P1154) + tk(P1155) + tk(P1156) + tk(P1157) + tk(P1158) + tk(P1159) + tk(P1160) + tk(P1161) + tk(P1162) + tk(P1163) + tk(P1164) + tk(P1165) + tk(P1166) + tk(P1167) + tk(P1168) + tk(P1169) + tk(P1170) + tk(P1171) + tk(P1172) + tk(P1173) + tk(P1174) + tk(P1175) + tk(P1176) + tk(P1177) + tk(P1178) + tk(P1179) + tk(P1180) + tk(P1181) + tk(P1182) + tk(P1183) + tk(P1184) + tk(P1185) + tk(P1186) + tk(P1187) + tk(P1188) + tk(P1189) + tk(P1190) + tk(P1191) + tk(P1192) + tk(P1193) + tk(P1194) + tk(P1195) + tk(P1196) + tk(P1197) + tk(P1198) + tk(P1199) + tk(P1200) + tk(P1201) + tk(P1202) + tk(P1203) + tk(P1204) + tk(P1205) + tk(P1206) + tk(P1207) + tk(P1208) + tk(P1209) + tk(P1210) + tk(P1211) + tk(P1212) + tk(P1213) + tk(P1214) + tk(P1215) + tk(P1216) + tk(P1217) + tk(P1218) + tk(P1219) + tk(P1220) + tk(P1221) + tk(P1222) + tk(P1223) + tk(P1224) + tk(P1225) + tk(P1226) + tk(P1227) + tk(P1228) + tk(P1229) + tk(P1230) + tk(P1231) + tk(P1232) + tk(P1233) + tk(P1234) + tk(P1235) + tk(P1236) + tk(P1237) + tk(P1238) + tk(P1239) + tk(P1240) + tk(P1241) + tk(P1242) + tk(P1243) + tk(P1244) + tk(P1245) + tk(P1246) + tk(P1247) + tk(P1248) + tk(P1249) + tk(P1250) + tk(P1251) + tk(P1252) + tk(P1253) + tk(P1254) + tk(P1255) + tk(P1256) + tk(P1257) + tk(P1258) + tk(P1259) + tk(P1260) + tk(P1261) + tk(P1262) + tk(P1263) + tk(P1264) + tk(P1265) + tk(P1266) + tk(P1267) + tk(P1268) + tk(P1269) + tk(P1270) + tk(P1271) + tk(P1272) + tk(P1273) + tk(P1274) + tk(P1275) + tk(P1276) + tk(P1277) + tk(P1278) + tk(P1279) + tk(P1280) + tk(P1281) + tk(P1282) + tk(P1283) + tk(P1284) + tk(P1285) + tk(P1286) + tk(P1287) + tk(P1288) + tk(P1289) + tk(P1290) + tk(P1291) + tk(P1292) + tk(P1293) + tk(P1294) + tk(P1295) + tk(P1296) + tk(P1297) + tk(P1298) + tk(P1299) + tk(P1300) + tk(P1301) + tk(P1302) + tk(P1303) + tk(P1304) + tk(P1305) + tk(P1306) + tk(P1307) + tk(P1308) + tk(P1309) + tk(P1310) + tk(P1311) + tk(P1312) + tk(P1313) + tk(P1314) + tk(P1315) + tk(P1316) + tk(P1317) + tk(P1318) + tk(P1319) + tk(P1320) + tk(P1321) + tk(P1322) + tk(P1323) + tk(P1324) + tk(P1325) + tk(P1326) + tk(P1327) + tk(P1328) + tk(P1329) + tk(P1330) + tk(P1331) + tk(P1332) + tk(P1333) + tk(P1334) + tk(P1335) + tk(P1336) + tk(P1337) + tk(P1338) + tk(P1339) + tk(P1340) + tk(P1341) + tk(P1342) + tk(P1343) + tk(P1344) + tk(P1345) + tk(P1346) + tk(P1347) + tk(P1348) + tk(P1349) + tk(P1350) + tk(P1351) + tk(P1352) + tk(P1353) + tk(P1354) + tk(P1355) + tk(P1356) + tk(P1357) + tk(P1358) + tk(P1359) + tk(P1360) + tk(P1361) + tk(P1362) + tk(P1363) + tk(P1364) + tk(P1365) + tk(P1366) + tk(P1367) + tk(P1368) + tk(P1369) + tk(P1370) + tk(P1371) + tk(P1372) + tk(P1373) + tk(P1374) + tk(P1375) + tk(P1376) + tk(P1377) + tk(P1378) + tk(P1379) + tk(P1380) + tk(P1381) + tk(P1382) + tk(P1383) + tk(P1384) + tk(P1385) + tk(P1386) + tk(P1387) + tk(P1388) + tk(P1389) + tk(P1390) + tk(P1391) + tk(P1392) + tk(P1393) + tk(P1394) + tk(P1395) + tk(P1396) + tk(P1397) + tk(P1398) + tk(P1399) + tk(P1400) + tk(P1401) + tk(P1402) + tk(P1403) + tk(P1404) + tk(P1405) + tk(P1406) + tk(P1407) + tk(P1408) + tk(P1409) + tk(P1410) + tk(P1411) + tk(P1412) + tk(P1413) + tk(P1414) + tk(P1415) + tk(P1416) + tk(P1417) + tk(P1418) + tk(P1419) + tk(P1420) + tk(P1421) + tk(P1422) + tk(P1423) + tk(P1424) + tk(P1425) + tk(P1426) + tk(P1427) + tk(P1428) + tk(P1429) + tk(P1430) + tk(P1431) + tk(P1432) + tk(P1433) + tk(P1434) + tk(P1435) + tk(P1436) + tk(P1437) + tk(P1438) + tk(P1439) + tk(P1440) + tk(P1441) + tk(P1442) + tk(P1443) + tk(P1444) + tk(P1445) + tk(P1446) + tk(P1447) + tk(P1448) + tk(P1449) + tk(P1450) + tk(P1451) + tk(P1452) + tk(P1453) + tk(P1454) + tk(P1455) + tk(P1456) + tk(P1457) + tk(P1458) + tk(P1459) + tk(P1460) + tk(P1461) + tk(P1462) + tk(P1463) + tk(P1464) + tk(P1465) + tk(P1466) + tk(P1467) + tk(P1468) + tk(P1469) + tk(P1470) + tk(P1471) + tk(P1472) + tk(P1473) + tk(P1474) + tk(P1475) + tk(P1476) + tk(P1477) + tk(P1478) + tk(P1479) + tk(P1480) + tk(P1481) + tk(P1482) + tk(P1483) + tk(P1484) + tk(P1485) + tk(P1486) + tk(P1487) + tk(P1488) + tk(P1489) + tk(P1490) + tk(P1491) + tk(P1492) + tk(P1493) + tk(P1494) + tk(P1495) + tk(P1496) + tk(P1497) + tk(P1498) + tk(P1499) + tk(P1500) + tk(P1501) + tk(P1502) + tk(P1503) + tk(P1504) + tk(P1505) + tk(P1506) + tk(P1507) + tk(P1508) + tk(P1509) + tk(P1510) + tk(P1511)) ),potential( ( 1 ) <= (tk(P3)) ) ))))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-04 (EG( potential( ( 1 ) <= (tk(P2013) + tk(P2014)) )))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-05 (EF(potential( ( 2 ) <= (tk(P1512)) )))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-06 (AF((EX( potential( ( 2 ) <= (tk(P1012) + tk(P1013) + tk(P1014) + tk(P1015) + tk(P1016) + tk(P1017) + tk(P1018) + tk(P1019) + tk(P1020) + tk(P1021) + tk(P1022) + tk(P1023) + tk(P1024) + tk(P1025) + tk(P1026) + tk(P1027) + tk(P1028) + tk(P1029) + tk(P1030) + tk(P1031) + tk(P1032) + tk(P1033) + tk(P1034) + tk(P1035) + tk(P1036) + tk(P1037) + tk(P1038) + tk(P1039) + tk(P1040) + tk(P1041) + tk(P1042) + tk(P1043) + tk(P1044) + tk(P1045) + tk(P1046) + tk(P1047) + tk(P1048) + tk(P1049) + tk(P1050) + tk(P1051) + tk(P1052) + tk(P1053) + tk(P1054) + tk(P1055) + tk(P1056) + tk(P1057) + tk(P1058) + tk(P1059) + tk(P1060) + tk(P1061) + tk(P1062) + tk(P1063) + tk(P1064) + tk(P1065) + tk(P1066) + tk(P1067) + tk(P1068) + tk(P1069) + tk(P1070) + tk(P1071) + tk(P1072) + tk(P1073) + tk(P1074) + tk(P1075) + tk(P1076) + tk(P1077) + tk(P1078) + tk(P1079) + tk(P1080) + tk(P1081) + tk(P1082) + tk(P1083) + tk(P1084) + tk(P1085) + tk(P1086) + tk(P1087) + tk(P1088) + tk(P1089) + tk(P1090) + tk(P1091) + tk(P1092) + tk(P1093) + tk(P1094) + tk(P1095) + tk(P1096) + tk(P1097) + tk(P1098) + tk(P1099) + tk(P1100) + tk(P1101) + tk(P1102) + tk(P1103) + tk(P1104) + tk(P1105) + tk(P1106) + tk(P1107) + tk(P1108) + tk(P1109) + tk(P1110) + tk(P1111) + tk(P1112) + tk(P1113) + tk(P1114) + tk(P1115) + tk(P1116) + tk(P1117) + tk(P1118) + tk(P1119) + tk(P1120) + tk(P1121) + tk(P1122) + tk(P1123) + tk(P1124) + tk(P1125) + tk(P1126) + tk(P1127) + tk(P1128) + tk(P1129) + tk(P1130) + tk(P1131) + tk(P1132) + tk(P1133) + tk(P1134) + tk(P1135) + tk(P1136) + tk(P1137) + tk(P1138) + tk(P1139) + tk(P1140) + tk(P1141) + tk(P1142) + tk(P1143) + tk(P1144) + tk(P1145) + tk(P1146) + tk(P1147) + tk(P1148) + tk(P1149) + tk(P1150) + tk(P1151) + tk(P1152) + tk(P1153) + tk(P1154) + tk(P1155) + tk(P1156) + tk(P1157) + tk(P1158) + tk(P1159) + tk(P1160) + tk(P1161) + tk(P1162) + tk(P1163) + tk(P1164) + tk(P1165) + tk(P1166) + tk(P1167) + tk(P1168) + tk(P1169) + tk(P1170) + tk(P1171) + tk(P1172) + tk(P1173) + tk(P1174) + tk(P1175) + tk(P1176) + tk(P1177) + tk(P1178) + tk(P1179) + tk(P1180) + tk(P1181) + tk(P1182) + tk(P1183) + tk(P1184) + tk(P1185) + tk(P1186) + tk(P1187) + tk(P1188) + tk(P1189) + tk(P1190) + tk(P1191) + tk(P1192) + tk(P1193) + tk(P1194) + tk(P1195) + tk(P1196) + tk(P1197) + tk(P1198) + tk(P1199) + tk(P1200) + tk(P1201) + tk(P1202) + tk(P1203) + tk(P1204) + tk(P1205) + tk(P1206) + tk(P1207) + tk(P1208) + tk(P1209) + tk(P1210) + tk(P1211) + tk(P1212) + tk(P1213) + tk(P1214) + tk(P1215) + tk(P1216) + tk(P1217) + tk(P1218) + tk(P1219) + tk(P1220) + tk(P1221) + tk(P1222) + tk(P1223) + tk(P1224) + tk(P1225) + tk(P1226) + tk(P1227) + tk(P1228) + tk(P1229) + tk(P1230) + tk(P1231) + tk(P1232) + tk(P1233) + tk(P1234) + tk(P1235) + tk(P1236) + tk(P1237) + tk(P1238) + tk(P1239) + tk(P1240) + tk(P1241) + tk(P1242) + tk(P1243) + tk(P1244) + tk(P1245) + tk(P1246) + tk(P1247) + tk(P1248) + tk(P1249) + tk(P1250) + tk(P1251) + tk(P1252) + tk(P1253) + tk(P1254) + tk(P1255) + tk(P1256) + tk(P1257) + tk(P1258) + tk(P1259) + tk(P1260) + tk(P1261) + tk(P1262) + tk(P1263) + tk(P1264) + tk(P1265) + tk(P1266) + tk(P1267) + tk(P1268) + tk(P1269) + tk(P1270) + tk(P1271) + tk(P1272) + tk(P1273) + tk(P1274) + tk(P1275) + tk(P1276) + tk(P1277) + tk(P1278) + tk(P1279) + tk(P1280) + tk(P1281) + tk(P1282) + tk(P1283) + tk(P1284) + tk(P1285) + tk(P1286) + tk(P1287) + tk(P1288) + tk(P1289) + tk(P1290) + tk(P1291) + tk(P1292) + tk(P1293) + tk(P1294) + tk(P1295) + tk(P1296) + tk(P1297) + tk(P1298) + tk(P1299) + tk(P1300) + tk(P1301) + tk(P1302) + tk(P1303) + tk(P1304) + tk(P1305) + tk(P1306) + tk(P1307) + tk(P1308) + tk(P1309) + tk(P1310) + tk(P1311) + tk(P1312) + tk(P1313) + tk(P1314) + tk(P1315) + tk(P1316) + tk(P1317) + tk(P1318) + tk(P1319) + tk(P1320) + tk(P1321) + tk(P1322) + tk(P1323) + tk(P1324) + tk(P1325) + tk(P1326) + tk(P1327) + tk(P1328) + tk(P1329) + tk(P1330) + tk(P1331) + tk(P1332) + tk(P1333) + tk(P1334) + tk(P1335) + tk(P1336) + tk(P1337) + tk(P1338) + tk(P1339) + tk(P1340) + tk(P1341) + tk(P1342) + tk(P1343) + tk(P1344) + tk(P1345) + tk(P1346) + tk(P1347) + tk(P1348) + tk(P1349) + tk(P1350) + tk(P1351) + tk(P1352) + tk(P1353) + tk(P1354) + tk(P1355) + tk(P1356) + tk(P1357) + tk(P1358) + tk(P1359) + tk(P1360) + tk(P1361) + tk(P1362) + tk(P1363) + tk(P1364) + tk(P1365) + tk(P1366) + tk(P1367) + tk(P1368) + tk(P1369) + tk(P1370) + tk(P1371) + tk(P1372) + tk(P1373) + tk(P1374) + tk(P1375) + tk(P1376) + tk(P1377) + tk(P1378) + tk(P1379) + tk(P1380) + tk(P1381) + tk(P1382) + tk(P1383) + tk(P1384) + tk(P1385) + tk(P1386) + tk(P1387) + tk(P1388) + tk(P1389) + tk(P1390) + tk(P1391) + tk(P1392) + tk(P1393) + tk(P1394) + tk(P1395) + tk(P1396) + tk(P1397) + tk(P1398) + tk(P1399) + tk(P1400) + tk(P1401) + tk(P1402) + tk(P1403) + tk(P1404) + tk(P1405) + tk(P1406) + tk(P1407) + tk(P1408) + tk(P1409) + tk(P1410) + tk(P1411) + tk(P1412) + tk(P1413) + tk(P1414) + tk(P1415) + tk(P1416) + tk(P1417) + tk(P1418) + tk(P1419) + tk(P1420) + tk(P1421) + tk(P1422) + tk(P1423) + tk(P1424) + tk(P1425) + tk(P1426) + tk(P1427) + tk(P1428) + tk(P1429) + tk(P1430) + tk(P1431) + tk(P1432) + tk(P1433) + tk(P1434) + tk(P1435) + tk(P1436) + tk(P1437) + tk(P1438) + tk(P1439) + tk(P1440) + tk(P1441) + tk(P1442) + tk(P1443) + tk(P1444) + tk(P1445) + tk(P1446) + tk(P1447) + tk(P1448) + tk(P1449) + tk(P1450) + tk(P1451) + tk(P1452) + tk(P1453) + tk(P1454) + tk(P1455) + tk(P1456) + tk(P1457) + tk(P1458) + tk(P1459) + tk(P1460) + tk(P1461) + tk(P1462) + tk(P1463) + tk(P1464) + tk(P1465) + tk(P1466) + tk(P1467) + tk(P1468) + tk(P1469) + tk(P1470) + tk(P1471) + tk(P1472) + tk(P1473) + tk(P1474) + tk(P1475) + tk(P1476) + tk(P1477) + tk(P1478) + tk(P1479) + tk(P1480) + tk(P1481) + tk(P1482) + tk(P1483) + tk(P1484) + tk(P1485) + tk(P1486) + tk(P1487) + tk(P1488) + tk(P1489) + tk(P1490) + tk(P1491) + tk(P1492) + tk(P1493) + tk(P1494) + tk(P1495) + tk(P1496) + tk(P1497) + tk(P1498) + tk(P1499) + tk(P1500) + tk(P1501) + tk(P1502) + tk(P1503) + tk(P1504) + tk(P1505) + tk(P1506) + tk(P1507) + tk(P1508) + tk(P1509) + tk(P1510) + tk(P1511)) )))))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-07 (EU( (AG( potential( (tk(P1513) + tk(P1514) + tk(P1515) + tk(P1516) + tk(P1517) + tk(P1518) + tk(P1519) + tk(P1520) + tk(P1521) + tk(P1522) + tk(P1523) + tk(P1524) + tk(P1525) + tk(P1526) + tk(P1527) + tk(P1528) + tk(P1529) + tk(P1530) + tk(P1531) + tk(P1532) + tk(P1533) + tk(P1534) + tk(P1535) + tk(P1536) + tk(P1537) + tk(P1538) + tk(P1539) + tk(P1540) + tk(P1541) + tk(P1542) + tk(P1543) + tk(P1544) + tk(P1545) + tk(P1546) + tk(P1547) + tk(P1548) + tk(P1549) + tk(P1550) + tk(P1551) + tk(P1552) + tk(P1553) + tk(P1554) + tk(P1555) + tk(P1556) + tk(P1557) + tk(P1558) + tk(P1559) + tk(P1560) + tk(P1561) + tk(P1562) + tk(P1563) + tk(P1564) + tk(P1565) + tk(P1566) + tk(P1567) + tk(P1568) + tk(P1569) + tk(P1570) + tk(P1571) + tk(P1572) + tk(P1573) + tk(P1574) + tk(P1575) + tk(P1576) + tk(P1577) + tk(P1578) + tk(P1579) + tk(P1580) + tk(P1581) + tk(P1582) + tk(P1583) + tk(P1584) + tk(P1585) + tk(P1586) + tk(P1587) + tk(P1588) + tk(P1589) + tk(P1590) + tk(P1591) + tk(P1592) + tk(P1593) + tk(P1594) + tk(P1595) + tk(P1596) + tk(P1597) + tk(P1598) + tk(P1599) + tk(P1600) + tk(P1601) + tk(P1602) + tk(P1603) + tk(P1604) + tk(P1605) + tk(P1606) + tk(P1607) + tk(P1608) + tk(P1609) + tk(P1610) + tk(P1611) + tk(P1612) + tk(P1613) + tk(P1614) + tk(P1615) + tk(P1616) + tk(P1617) + tk(P1618) + tk(P1619) + tk(P1620) + tk(P1621) + tk(P1622) + tk(P1623) + tk(P1624) + tk(P1625) + tk(P1626) + tk(P1627) + tk(P1628) + tk(P1629) + tk(P1630) + tk(P1631) + tk(P1632) + tk(P1633) + tk(P1634) + tk(P1635) + tk(P1636) + tk(P1637) + tk(P1638) + tk(P1639) + tk(P1640) + tk(P1641) + tk(P1642) + tk(P1643) + tk(P1644) + tk(P1645) + tk(P1646) + tk(P1647) + tk(P1648) + tk(P1649) + tk(P1650) + tk(P1651) + tk(P1652) + tk(P1653) + tk(P1654) + tk(P1655) + tk(P1656) + tk(P1657) + tk(P1658) + tk(P1659) + tk(P1660) + tk(P1661) + tk(P1662) + tk(P1663) + tk(P1664) + tk(P1665) + tk(P1666) + tk(P1667) + tk(P1668) + tk(P1669) + tk(P1670) + tk(P1671) + tk(P1672) + tk(P1673) + tk(P1674) + tk(P1675) + tk(P1676) + tk(P1677) + tk(P1678) + tk(P1679) + tk(P1680) + tk(P1681) + tk(P1682) + tk(P1683) + tk(P1684) + tk(P1685) + tk(P1686) + tk(P1687) + tk(P1688) + tk(P1689) + tk(P1690) + tk(P1691) + tk(P1692) + tk(P1693) + tk(P1694) + tk(P1695) + tk(P1696) + tk(P1697) + tk(P1698) + tk(P1699) + tk(P1700) + tk(P1701) + tk(P1702) + tk(P1703) + tk(P1704) + tk(P1705) + tk(P1706) + tk(P1707) + tk(P1708) + tk(P1709) + tk(P1710) + tk(P1711) + tk(P1712) + tk(P1713) + tk(P1714) + tk(P1715) + tk(P1716) + tk(P1717) + tk(P1718) + tk(P1719) + tk(P1720) + tk(P1721) + tk(P1722) + tk(P1723) + tk(P1724) + tk(P1725) + tk(P1726) + tk(P1727) + tk(P1728) + tk(P1729) + tk(P1730) + tk(P1731) + tk(P1732) + tk(P1733) + tk(P1734) + tk(P1735) + tk(P1736) + tk(P1737) + tk(P1738) + tk(P1739) + tk(P1740) + tk(P1741) + tk(P1742) + tk(P1743) + tk(P1744) + tk(P1745) + tk(P1746) + tk(P1747) + tk(P1748) + tk(P1749) + tk(P1750) + tk(P1751) + tk(P1752) + tk(P1753) + tk(P1754) + tk(P1755) + tk(P1756) + tk(P1757) + tk(P1758) + tk(P1759) + tk(P1760) + tk(P1761) + tk(P1762) + tk(P1763) + tk(P1764) + tk(P1765) + tk(P1766) + tk(P1767) + tk(P1768) + tk(P1769) + tk(P1770) + tk(P1771) + tk(P1772) + tk(P1773) + tk(P1774) + tk(P1775) + tk(P1776) + tk(P1777) + tk(P1778) + tk(P1779) + tk(P1780) + tk(P1781) + tk(P1782) + tk(P1783) + tk(P1784) + tk(P1785) + tk(P1786) + tk(P1787) + tk(P1788) + tk(P1789) + tk(P1790) + tk(P1791) + tk(P1792) + tk(P1793) + tk(P1794) + tk(P1795) + tk(P1796) + tk(P1797) + tk(P1798) + tk(P1799) + tk(P1800) + tk(P1801) + tk(P1802) + tk(P1803) + tk(P1804) + tk(P1805) + tk(P1806) + tk(P1807) + tk(P1808) + tk(P1809) + tk(P1810) + tk(P1811) + tk(P1812) + tk(P1813) + tk(P1814) + tk(P1815) + tk(P1816) + tk(P1817) + tk(P1818) + tk(P1819) + tk(P1820) + tk(P1821) + tk(P1822) + tk(P1823) + tk(P1824) + tk(P1825) + tk(P1826) + tk(P1827) + tk(P1828) + tk(P1829) + tk(P1830) + tk(P1831) + tk(P1832) + tk(P1833) + tk(P1834) + tk(P1835) + tk(P1836) + tk(P1837) + tk(P1838) + tk(P1839) + tk(P1840) + tk(P1841) + tk(P1842) + tk(P1843) + tk(P1844) + tk(P1845) + tk(P1846) + tk(P1847) + tk(P1848) + tk(P1849) + tk(P1850) + tk(P1851) + tk(P1852) + tk(P1853) + tk(P1854) + tk(P1855) + tk(P1856) + tk(P1857) + tk(P1858) + tk(P1859) + tk(P1860) + tk(P1861) + tk(P1862) + tk(P1863) + tk(P1864) + tk(P1865) + tk(P1866) + tk(P1867) + tk(P1868) + tk(P1869) + tk(P1870) + tk(P1871) + tk(P1872) + tk(P1873) + tk(P1874) + tk(P1875) + tk(P1876) + tk(P1877) + tk(P1878) + tk(P1879) + tk(P1880) + tk(P1881) + tk(P1882) + tk(P1883) + tk(P1884) + tk(P1885) + tk(P1886) + tk(P1887) + tk(P1888) + tk(P1889) + tk(P1890) + tk(P1891) + tk(P1892) + tk(P1893) + tk(P1894) + tk(P1895) + tk(P1896) + tk(P1897) + tk(P1898) + tk(P1899) + tk(P1900) + tk(P1901) + tk(P1902) + tk(P1903) + tk(P1904) + tk(P1905) + tk(P1906) + tk(P1907) + tk(P1908) + tk(P1909) + tk(P1910) + tk(P1911) + tk(P1912) + tk(P1913) + tk(P1914) + tk(P1915) + tk(P1916) + tk(P1917) + tk(P1918) + tk(P1919) + tk(P1920) + tk(P1921) + tk(P1922) + tk(P1923) + tk(P1924) + tk(P1925) + tk(P1926) + tk(P1927) + tk(P1928) + tk(P1929) + tk(P1930) + tk(P1931) + tk(P1932) + tk(P1933) + tk(P1934) + tk(P1935) + tk(P1936) + tk(P1937) + tk(P1938) + tk(P1939) + tk(P1940) + tk(P1941) + tk(P1942) + tk(P1943) + tk(P1944) + tk(P1945) + tk(P1946) + tk(P1947) + tk(P1948) + tk(P1949) + tk(P1950) + tk(P1951) + tk(P1952) + tk(P1953) + tk(P1954) + tk(P1955) + tk(P1956) + tk(P1957) + tk(P1958) + tk(P1959) + tk(P1960) + tk(P1961) + tk(P1962) + tk(P1963) + tk(P1964) + tk(P1965) + tk(P1966) + tk(P1967) + tk(P1968) + tk(P1969) + tk(P1970) + tk(P1971) + tk(P1972) + tk(P1973) + tk(P1974) + tk(P1975) + tk(P1976) + tk(P1977) + tk(P1978) + tk(P1979) + tk(P1980) + tk(P1981) + tk(P1982) + tk(P1983) + tk(P1984) + tk(P1985) + tk(P1986) + tk(P1987) + tk(P1988) + tk(P1989) + tk(P1990) + tk(P1991) + tk(P1992) + tk(P1993) + tk(P1994) + tk(P1995) + tk(P1996) + tk(P1997) + tk(P1998) + tk(P1999) + tk(P2000) + tk(P2001) + tk(P2002) + tk(P2003) + tk(P2004) + tk(P2005) + tk(P2006) + tk(P2007) + tk(P2008) + tk(P2009) + tk(P2010) + tk(P2011) + tk(P2012)) <= (tk(P3017)) ))),(! ( potential( (tk(P3017)) <= (tk(P3)) ) & potential( ( 3 ) <= (tk(P2017) + tk(P2018) + tk(P2019) + tk(P2020) + tk(P2021) + tk(P2022) + tk(P2023) + tk(P2024) + tk(P2025) + tk(P2026) + tk(P2027) + tk(P2028) + tk(P2029) + tk(P2030) + tk(P2031) + tk(P2032) + tk(P2033) + tk(P2034) + tk(P2035) + tk(P2036) + tk(P2037) + tk(P2038) + tk(P2039) + tk(P2040) + tk(P2041) + tk(P2042) + tk(P2043) + tk(P2044) + tk(P2045) + tk(P2046) + tk(P2047) + tk(P2048) + tk(P2049) + tk(P2050) + tk(P2051) + tk(P2052) + tk(P2053) + tk(P2054) + tk(P2055) + tk(P2056) + tk(P2057) + tk(P2058) + tk(P2059) + tk(P2060) + tk(P2061) + tk(P2062) + tk(P2063) + tk(P2064) + tk(P2065) + tk(P2066) + tk(P2067) + tk(P2068) + tk(P2069) + tk(P2070) + tk(P2071) + tk(P2072) + tk(P2073) + tk(P2074) + tk(P2075) + tk(P2076) + tk(P2077) + tk(P2078) + tk(P2079) + tk(P2080) + tk(P2081) + tk(P2082) + tk(P2083) + tk(P2084) + tk(P2085) + tk(P2086) + tk(P2087) + tk(P2088) + tk(P2089) + tk(P2090) + tk(P2091) + tk(P2092) + tk(P2093) + tk(P2094) + tk(P2095) + tk(P2096) + tk(P2097) + tk(P2098) + tk(P2099) + tk(P2100) + tk(P2101) + tk(P2102) + tk(P2103) + tk(P2104) + tk(P2105) + tk(P2106) + tk(P2107) + tk(P2108) + tk(P2109) + tk(P2110) + tk(P2111) + tk(P2112) + tk(P2113) + tk(P2114) + tk(P2115) + tk(P2116) + tk(P2117) + tk(P2118) + tk(P2119) + tk(P2120) + tk(P2121) + tk(P2122) + tk(P2123) + tk(P2124) + tk(P2125) + tk(P2126) + tk(P2127) + tk(P2128) + tk(P2129) + tk(P2130) + tk(P2131) + tk(P2132) + tk(P2133) + tk(P2134) + tk(P2135) + tk(P2136) + tk(P2137) + tk(P2138) + tk(P2139) + tk(P2140) + tk(P2141) + tk(P2142) + tk(P2143) + tk(P2144) + tk(P2145) + tk(P2146) + tk(P2147) + tk(P2148) + tk(P2149) + tk(P2150) + tk(P2151) + tk(P2152) + tk(P2153) + tk(P2154) + tk(P2155) + tk(P2156) + tk(P2157) + tk(P2158) + tk(P2159) + tk(P2160) + tk(P2161) + tk(P2162) + tk(P2163) + tk(P2164) + tk(P2165) + tk(P2166) + tk(P2167) + tk(P2168) + tk(P2169) + tk(P2170) + tk(P2171) + tk(P2172) + tk(P2173) + tk(P2174) + tk(P2175) + tk(P2176) + tk(P2177) + tk(P2178) + tk(P2179) + tk(P2180) + tk(P2181) + tk(P2182) + tk(P2183) + tk(P2184) + tk(P2185) + tk(P2186) + tk(P2187) + tk(P2188) + tk(P2189) + tk(P2190) + tk(P2191) + tk(P2192) + tk(P2193) + tk(P2194) + tk(P2195) + tk(P2196) + tk(P2197) + tk(P2198) + tk(P2199) + tk(P2200) + tk(P2201) + tk(P2202) + tk(P2203) + tk(P2204) + tk(P2205) + tk(P2206) + tk(P2207) + tk(P2208) + tk(P2209) + tk(P2210) + tk(P2211) + tk(P2212) + tk(P2213) + tk(P2214) + tk(P2215) + tk(P2216) + tk(P2217) + tk(P2218) + tk(P2219) + tk(P2220) + tk(P2221) + tk(P2222) + tk(P2223) + tk(P2224) + tk(P2225) + tk(P2226) + tk(P2227) + tk(P2228) + tk(P2229) + tk(P2230) + tk(P2231) + tk(P2232) + tk(P2233) + tk(P2234) + tk(P2235) + tk(P2236) + tk(P2237) + tk(P2238) + tk(P2239) + tk(P2240) + tk(P2241) + tk(P2242) + tk(P2243) + tk(P2244) + tk(P2245) + tk(P2246) + tk(P2247) + tk(P2248) + tk(P2249) + tk(P2250) + tk(P2251) + tk(P2252) + tk(P2253) + tk(P2254) + tk(P2255) + tk(P2256) + tk(P2257) + tk(P2258) + tk(P2259) + tk(P2260) + tk(P2261) + tk(P2262) + tk(P2263) + tk(P2264) + tk(P2265) + tk(P2266) + tk(P2267) + tk(P2268) + tk(P2269) + tk(P2270) + tk(P2271) + tk(P2272) + tk(P2273) + tk(P2274) + tk(P2275) + tk(P2276) + tk(P2277) + tk(P2278) + tk(P2279) + tk(P2280) + tk(P2281) + tk(P2282) + tk(P2283) + tk(P2284) + tk(P2285) + tk(P2286) + tk(P2287) + tk(P2288) + tk(P2289) + tk(P2290) + tk(P2291) + tk(P2292) + tk(P2293) + tk(P2294) + tk(P2295) + tk(P2296) + tk(P2297) + tk(P2298) + tk(P2299) + tk(P2300) + tk(P2301) + tk(P2302) + tk(P2303) + tk(P2304) + tk(P2305) + tk(P2306) + tk(P2307) + tk(P2308) + tk(P2309) + tk(P2310) + tk(P2311) + tk(P2312) + tk(P2313) + tk(P2314) + tk(P2315) + tk(P2316) + tk(P2317) + tk(P2318) + tk(P2319) + tk(P2320) + tk(P2321) + tk(P2322) + tk(P2323) + tk(P2324) + tk(P2325) + tk(P2326) + tk(P2327) + tk(P2328) + tk(P2329) + tk(P2330) + tk(P2331) + tk(P2332) + tk(P2333) + tk(P2334) + tk(P2335) + tk(P2336) + tk(P2337) + tk(P2338) + tk(P2339) + tk(P2340) + tk(P2341) + tk(P2342) + tk(P2343) + tk(P2344) + tk(P2345) + tk(P2346) + tk(P2347) + tk(P2348) + tk(P2349) + tk(P2350) + tk(P2351) + tk(P2352) + tk(P2353) + tk(P2354) + tk(P2355) + tk(P2356) + tk(P2357) + tk(P2358) + tk(P2359) + tk(P2360) + tk(P2361) + tk(P2362) + tk(P2363) + tk(P2364) + tk(P2365) + tk(P2366) + tk(P2367) + tk(P2368) + tk(P2369) + tk(P2370) + tk(P2371) + tk(P2372) + tk(P2373) + tk(P2374) + tk(P2375) + tk(P2376) + tk(P2377) + tk(P2378) + tk(P2379) + tk(P2380) + tk(P2381) + tk(P2382) + tk(P2383) + tk(P2384) + tk(P2385) + tk(P2386) + tk(P2387) + tk(P2388) + tk(P2389) + tk(P2390) + tk(P2391) + tk(P2392) + tk(P2393) + tk(P2394) + tk(P2395) + tk(P2396) + tk(P2397) + tk(P2398) + tk(P2399) + tk(P2400) + tk(P2401) + tk(P2402) + tk(P2403) + tk(P2404) + tk(P2405) + tk(P2406) + tk(P2407) + tk(P2408) + tk(P2409) + tk(P2410) + tk(P2411) + tk(P2412) + tk(P2413) + tk(P2414) + tk(P2415) + tk(P2416) + tk(P2417) + tk(P2418) + tk(P2419) + tk(P2420) + tk(P2421) + tk(P2422) + tk(P2423) + tk(P2424) + tk(P2425) + tk(P2426) + tk(P2427) + tk(P2428) + tk(P2429) + tk(P2430) + tk(P2431) + tk(P2432) + tk(P2433) + tk(P2434) + tk(P2435) + tk(P2436) + tk(P2437) + tk(P2438) + tk(P2439) + tk(P2440) + tk(P2441) + tk(P2442) + tk(P2443) + tk(P2444) + tk(P2445) + tk(P2446) + tk(P2447) + tk(P2448) + tk(P2449) + tk(P2450) + tk(P2451) + tk(P2452) + tk(P2453) + tk(P2454) + tk(P2455) + tk(P2456) + tk(P2457) + tk(P2458) + tk(P2459) + tk(P2460) + tk(P2461) + tk(P2462) + tk(P2463) + tk(P2464) + tk(P2465) + tk(P2466) + tk(P2467) + tk(P2468) + tk(P2469) + tk(P2470) + tk(P2471) + tk(P2472) + tk(P2473) + tk(P2474) + tk(P2475) + tk(P2476) + tk(P2477) + tk(P2478) + tk(P2479) + tk(P2480) + tk(P2481) + tk(P2482) + tk(P2483) + tk(P2484) + tk(P2485) + tk(P2486) + tk(P2487) + tk(P2488) + tk(P2489) + tk(P2490) + tk(P2491) + tk(P2492) + tk(P2493) + tk(P2494) + tk(P2495) + tk(P2496) + tk(P2497) + tk(P2498) + tk(P2499) + tk(P2500) + tk(P2501) + tk(P2502) + tk(P2503) + tk(P2504) + tk(P2505) + tk(P2506) + tk(P2507) + tk(P2508) + tk(P2509) + tk(P2510) + tk(P2511) + tk(P2512) + tk(P2513) + tk(P2514) + tk(P2515) + tk(P2516) + tk(P2517) + tk(P2518) + tk(P2519) + tk(P2520) + tk(P2521) + tk(P2522) + tk(P2523) + tk(P2524) + tk(P2525) + tk(P2526) + tk(P2527) + tk(P2528) + tk(P2529) + tk(P2530) + tk(P2531) + tk(P2532) + tk(P2533) + tk(P2534) + tk(P2535) + tk(P2536) + tk(P2537) + tk(P2538) + tk(P2539) + tk(P2540) + tk(P2541) + tk(P2542) + tk(P2543) + tk(P2544) + tk(P2545) + tk(P2546) + tk(P2547) + tk(P2548) + tk(P2549) + tk(P2550) + tk(P2551) + tk(P2552) + tk(P2553) + tk(P2554) + tk(P2555) + tk(P2556) + tk(P2557) + tk(P2558) + tk(P2559) + tk(P2560) + tk(P2561) + tk(P2562) + tk(P2563) + tk(P2564) + tk(P2565) + tk(P2566) + tk(P2567) + tk(P2568) + tk(P2569) + tk(P2570) + tk(P2571) + tk(P2572) + tk(P2573) + tk(P2574) + tk(P2575) + tk(P2576) + tk(P2577) + tk(P2578) + tk(P2579) + tk(P2580) + tk(P2581) + tk(P2582) + tk(P2583) + tk(P2584) + tk(P2585) + tk(P2586) + tk(P2587) + tk(P2588) + tk(P2589) + tk(P2590) + tk(P2591) + tk(P2592) + tk(P2593) + tk(P2594) + tk(P2595) + tk(P2596) + tk(P2597) + tk(P2598) + tk(P2599) + tk(P2600) + tk(P2601) + tk(P2602) + tk(P2603) + tk(P2604) + tk(P2605) + tk(P2606) + tk(P2607) + tk(P2608) + tk(P2609) + tk(P2610) + tk(P2611) + tk(P2612) + tk(P2613) + tk(P2614) + tk(P2615) + tk(P2616) + tk(P2617) + tk(P2618) + tk(P2619) + tk(P2620) + tk(P2621) + tk(P2622) + tk(P2623) + tk(P2624) + tk(P2625) + tk(P2626) + tk(P2627) + tk(P2628) + tk(P2629) + tk(P2630) + tk(P2631) + tk(P2632) + tk(P2633) + tk(P2634) + tk(P2635) + tk(P2636) + tk(P2637) + tk(P2638) + tk(P2639) + tk(P2640) + tk(P2641) + tk(P2642) + tk(P2643) + tk(P2644) + tk(P2645) + tk(P2646) + tk(P2647) + tk(P2648) + tk(P2649) + tk(P2650) + tk(P2651) + tk(P2652) + tk(P2653) + tk(P2654) + tk(P2655) + tk(P2656) + tk(P2657) + tk(P2658) + tk(P2659) + tk(P2660) + tk(P2661) + tk(P2662) + tk(P2663) + tk(P2664) + tk(P2665) + tk(P2666) + tk(P2667) + tk(P2668) + tk(P2669) + tk(P2670) + tk(P2671) + tk(P2672) + tk(P2673) + tk(P2674) + tk(P2675) + tk(P2676) + tk(P2677) + tk(P2678) + tk(P2679) + tk(P2680) + tk(P2681) + tk(P2682) + tk(P2683) + tk(P2684) + tk(P2685) + tk(P2686) + tk(P2687) + tk(P2688) + tk(P2689) + tk(P2690) + tk(P2691) + tk(P2692) + tk(P2693) + tk(P2694) + tk(P2695) + tk(P2696) + tk(P2697) + tk(P2698) + tk(P2699) + tk(P2700) + tk(P2701) + tk(P2702) + tk(P2703) + tk(P2704) + tk(P2705) + tk(P2706) + tk(P2707) + tk(P2708) + tk(P2709) + tk(P2710) + tk(P2711) + tk(P2712) + tk(P2713) + tk(P2714) + tk(P2715) + tk(P2716) + tk(P2717) + tk(P2718) + tk(P2719) + tk(P2720) + tk(P2721) + tk(P2722) + tk(P2723) + tk(P2724) + tk(P2725) + tk(P2726) + tk(P2727) + tk(P2728) + tk(P2729) + tk(P2730) + tk(P2731) + tk(P2732) + tk(P2733) + tk(P2734) + tk(P2735) + tk(P2736) + tk(P2737) + tk(P2738) + tk(P2739) + tk(P2740) + tk(P2741) + tk(P2742) + tk(P2743) + tk(P2744) + tk(P2745) + tk(P2746) + tk(P2747) + tk(P2748) + tk(P2749) + tk(P2750) + tk(P2751) + tk(P2752) + tk(P2753) + tk(P2754) + tk(P2755) + tk(P2756) + tk(P2757) + tk(P2758) + tk(P2759) + tk(P2760) + tk(P2761) + tk(P2762) + tk(P2763) + tk(P2764) + tk(P2765) + tk(P2766) + tk(P2767) + tk(P2768) + tk(P2769) + tk(P2770) + tk(P2771) + tk(P2772) + tk(P2773) + tk(P2774) + tk(P2775) + tk(P2776) + tk(P2777) + tk(P2778) + tk(P2779) + tk(P2780) + tk(P2781) + tk(P2782) + tk(P2783) + tk(P2784) + tk(P2785) + tk(P2786) + tk(P2787) + tk(P2788) + tk(P2789) + tk(P2790) + tk(P2791) + tk(P2792) + tk(P2793) + tk(P2794) + tk(P2795) + tk(P2796) + tk(P2797) + tk(P2798) + tk(P2799) + tk(P2800) + tk(P2801) + tk(P2802) + tk(P2803) + tk(P2804) + tk(P2805) + tk(P2806) + tk(P2807) + tk(P2808) + tk(P2809) + tk(P2810) + tk(P2811) + tk(P2812) + tk(P2813) + tk(P2814) + tk(P2815) + tk(P2816) + tk(P2817) + tk(P2818) + tk(P2819) + tk(P2820) + tk(P2821) + tk(P2822) + tk(P2823) + tk(P2824) + tk(P2825) + tk(P2826) + tk(P2827) + tk(P2828) + tk(P2829) + tk(P2830) + tk(P2831) + tk(P2832) + tk(P2833) + tk(P2834) + tk(P2835) + tk(P2836) + tk(P2837) + tk(P2838) + tk(P2839) + tk(P2840) + tk(P2841) + tk(P2842) + tk(P2843) + tk(P2844) + tk(P2845) + tk(P2846) + tk(P2847) + tk(P2848) + tk(P2849) + tk(P2850) + tk(P2851) + tk(P2852) + tk(P2853) + tk(P2854) + tk(P2855) + tk(P2856) + tk(P2857) + tk(P2858) + tk(P2859) + tk(P2860) + tk(P2861) + tk(P2862) + tk(P2863) + tk(P2864) + tk(P2865) + tk(P2866) + tk(P2867) + tk(P2868) + tk(P2869) + tk(P2870) + tk(P2871) + tk(P2872) + tk(P2873) + tk(P2874) + tk(P2875) + tk(P2876) + tk(P2877) + tk(P2878) + tk(P2879) + tk(P2880) + tk(P2881) + tk(P2882) + tk(P2883) + tk(P2884) + tk(P2885) + tk(P2886) + tk(P2887) + tk(P2888) + tk(P2889) + tk(P2890) + tk(P2891) + tk(P2892) + tk(P2893) + tk(P2894) + tk(P2895) + tk(P2896) + tk(P2897) + tk(P2898) + tk(P2899) + tk(P2900) + tk(P2901) + tk(P2902) + tk(P2903) + tk(P2904) + tk(P2905) + tk(P2906) + tk(P2907) + tk(P2908) + tk(P2909) + tk(P2910) + tk(P2911) + tk(P2912) + tk(P2913) + tk(P2914) + tk(P2915) + tk(P2916) + tk(P2917) + tk(P2918) + tk(P2919) + tk(P2920) + tk(P2921) + tk(P2922) + tk(P2923) + tk(P2924) + tk(P2925) + tk(P2926) + tk(P2927) + tk(P2928) + tk(P2929) + tk(P2930) + tk(P2931) + tk(P2932) + tk(P2933) + tk(P2934) + tk(P2935) + tk(P2936) + tk(P2937) + tk(P2938) + tk(P2939) + tk(P2940) + tk(P2941) + tk(P2942) + tk(P2943) + tk(P2944) + tk(P2945) + tk(P2946) + tk(P2947) + tk(P2948) + tk(P2949) + tk(P2950) + tk(P2951) + tk(P2952) + tk(P2953) + tk(P2954) + tk(P2955) + tk(P2956) + tk(P2957) + tk(P2958) + tk(P2959) + tk(P2960) + tk(P2961) + tk(P2962) + tk(P2963) + tk(P2964) + tk(P2965) + tk(P2966) + tk(P2967) + tk(P2968) + tk(P2969) + tk(P2970) + tk(P2971) + tk(P2972) + tk(P2973) + tk(P2974) + tk(P2975) + tk(P2976) + tk(P2977) + tk(P2978) + tk(P2979) + tk(P2980) + tk(P2981) + tk(P2982) + tk(P2983) + tk(P2984) + tk(P2985) + tk(P2986) + tk(P2987) + tk(P2988) + tk(P2989) + tk(P2990) + tk(P2991) + tk(P2992) + tk(P2993) + tk(P2994) + tk(P2995) + tk(P2996) + tk(P2997) + tk(P2998) + tk(P2999) + tk(P3000) + tk(P3001) + tk(P3002) + tk(P3003) + tk(P3004) + tk(P3005) + tk(P3006) + tk(P3007) + tk(P3008) + tk(P3009) + tk(P3010) + tk(P3011) + tk(P3012) + tk(P3013) + tk(P3014) + tk(P3015) + tk(P3016)) ) )) ))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-08 (EF(( potential( ( 2 ) <= (tk(P2756)) ) & (! ( potential( ( 1 ) <= (tk(P1684)) ) | potential( ( 2 ) <= (tk(P2265)) ) )) )))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-09 (AX( ( ( (! potential( (tk(P2496)) <= (tk(P3119)) )) & potential( (tk(P3057)) <= (tk(P2199)) ) ) | ( (! potential( (tk(P1409)) <= (tk(P1642)) )) | ( potential( (tk(P1728)) <= (tk(P3077)) ) & potential( ( 1 ) <= (tk(P2560)) ) ) ) )))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-10 (! ( (! ( potential( (tk(P286)) <= (tk(P2947)) ) & (! potential( (tk(P2274)) <= (tk(P1152)) )) )) | (AF(( potential( ( 3 ) <= (tk(P1615)) ) | potential( (tk(P2417)) <= (tk(P1265)) ) ))) ))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-11 (AF(( (EF(potential( (tk(P2262)) <= (tk(P3218)) ))) & potential( ( 3 ) <= (tk(P2731)) ) )))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-12 (EF((EF((! potential( (tk(P2078)) <= (tk(P2299)) ))))))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-13 (AG( (EX( ( potential( (tk(P2268)) <= (tk(P893)) ) | potential( (tk(P1533)) <= (tk(P457)) ) )))))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-14 (EG( ( potential( (tk(P3045)) <= (tk(P3407)) ) | ( (! potential( (tk(P2999)) <= (tk(P1324)) )) & ( potential( (tk(P3025)) <= (tk(P1228)) ) | potential( (tk(P618)) <= (tk(P1068)) ) ) ) )))
PROPERTY: AirplaneLD-PT-0500-CTLCardinality-15 (AX( ( ( potential( (tk(P1138)) <= (tk(P1228)) ) | (! potential( (tk(P2975)) <= (tk(P434)) )) ) | ( potential( (tk(P3198)) <= (tk(P826)) ) & ( potential( (tk(P3319)) <= (tk(P2731)) ) & potential( (tk(P2142)) <= (tk(P2210)) ) ) ) )))
FORMULA AirplaneLD-PT-0500-CTLCardinality-00 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA AirplaneLD-PT-0500-CTLCardinality-01 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA AirplaneLD-PT-0500-CTLCardinality-02 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is AirplaneLD-PT-0500, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508300283"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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