fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508300291
Last Updated
Jun 28, 2020

About the Execution of smart for AirplaneLD-PT-1000

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508300291.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-1000, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508300291
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 74K Mar 24 10:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 179K Mar 24 10:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 117K Mar 24 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 492K Mar 24 09:37 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 567K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.5M Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 170K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 692K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 347K Mar 24 08:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 777K Mar 24 08:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 257K Mar 24 06:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Mar 24 06:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 73K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 134K 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 7.8M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589105230106

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 1000
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: 7019 places, 8008 transitions, 30528 arcs.
AT ITER 0 NEW BEST:: SOT 43642094 SOS 22191012 HAS SOPS 18693505 HAS SOUS 15549622 HAS SOUPS 12052118 WITH SCORE 1.2074309012E7
AT ITER 3 NEW BEST:: SOT 43641400 SOS 22189624 HAS SOPS 18692811 HAS SOUS 15548234 HAS SOUPS 12051424 WITH SCORE 1.2073613624E7
AT ITER 8 NEW BEST:: SOT 43641400 SOS 22194389 HAS SOPS 18692811 HAS SOUS 15550902 HAS SOUPS 12051294 WITH SCORE 1.2073488389E7
AT ITER 9 NEW BEST:: SOT 43641400 SOS 22197869 HAS SOPS 18692811 HAS SOUS 15551959 HAS SOUPS 12050139 WITH SCORE 1.2072336869E7
AT ITER 10 NEW BEST:: SOT 43638556 SOS 22196448 HAS SOPS 18691390 HAS SOUS 15550079 HAS SOUPS 12048259 WITH SCORE 1.2070455448E7
AT ITER 13 NEW BEST:: SOT 43636976 SOS 22193288 HAS SOPS 18689810 HAS SOUS 15546919 HAS SOUPS 12046679 WITH SCORE 1.2068872288E7
AT ITER 14 NEW BEST:: SOT 43634355 SOS 22191778 HAS SOPS 18688300 HAS SOUS 15544298 HAS SOUPS 12044058 WITH SCORE 1.2066249778E7
AT ITER 15 NEW BEST:: SOT 43631424 SOS 22190353 HAS SOPS 18686875 HAS SOUS 15541519 HAS SOUPS 12041279 WITH SCORE 1.2063469353E7
AT ITER 20 NEW BEST:: SOT 43629548 SOS 22186601 HAS SOPS 18684999 HAS SOUS 15537767 HAS SOUPS 12039403 WITH SCORE 1.2061589601E7
AT ITER 22 NEW BEST:: SOT 43630443 SOS 22192407 HAS SOPS 18685894 HAS SOUS 15540257 HAS SOUPS 12039184 WITH SCORE 1.2061376407E7
AT ITER 25 NEW BEST:: SOT 40950649 SOS 20577568 HAS SOPS 17071055 HAS SOUS 12863417 HAS SOUPS 9362344 WITH SCORE 9382921.568
AT ITER 29 NEW BEST:: SOT 40950649 SOS 20580510 HAS SOPS 17071055 HAS SOUS 12863601 HAS SOUPS 9360965 WITH SCORE 9381545.51
AT ITER 34 NEW BEST:: SOT 40949149 SOS 20576510 HAS SOPS 17069555 HAS SOUS 12860601 HAS SOUPS 9360465 WITH SCORE 9381041.51
AT ITER 41 NEW BEST:: SOT 40949649 SOS 20581526 HAS SOPS 17070055 HAS SOUS 12862059 HAS SOUPS 9359456 WITH SCORE 9380037.526
AT ITER 43 NEW BEST:: SOT 40948502 SOS 20581526 HAS SOPS 17070695 HAS SOUS 12860912 HAS SOUPS 9358949 WITH SCORE 9379530.526
AT ITER 46 NEW BEST:: SOT 40946634 SOS 20577790 HAS SOPS 17068827 HAS SOUS 12857176 HAS SOUPS 9357081 WITH SCORE 9377658.79
AT ITER 49 NEW BEST:: SOT 40943835 SOS 20576232 HAS SOPS 17067269 HAS SOUS 12854377 HAS SOUPS 9354282 WITH SCORE 9374858.232
AT ITER 52 NEW BEST:: SOT 40942413 SOS 20572232 HAS SOPS 17065847 HAS SOUS 12851533 HAS SOUPS 9354016 WITH SCORE 9374588.232
AT ITER 58 NEW BEST:: SOT 40941364 SOS 20570134 HAS SOPS 17064798 HAS SOUS 12849435 HAS SOUPS 9352967 WITH SCORE 9373537.134
AT ITER 61 NEW BEST:: SOT 40939860 SOS 20567126 HAS SOPS 17063294 HAS SOUS 12846427 HAS SOUPS 9351463 WITH SCORE 9372030.126
AT ITER 62 NEW BEST:: SOT 40938898 SOS 20567126 HAS SOPS 17063294 HAS SOUS 12845465 HAS SOUPS 9350501 WITH SCORE 9371068.126
AT ITER 66 NEW BEST:: SOT 40938684 SOS 20566698 HAS SOPS 17063080 HAS SOUS 12845037 HAS SOUPS 9350287 WITH SCORE 9370853.698
AT ITER 76 NEW BEST:: SOT 40936803 SOS 20562698 HAS SOPS 17061199 HAS SOUS 12841275 HAS SOUPS 9348644 WITH SCORE 9369206.698
AT ITER 78 NEW BEST:: SOT 40933678 SOS 20560861 HAS SOPS 17059362 HAS SOUS 12838667 HAS SOUPS 9346036 WITH SCORE 9366596.861
AT ITER 79 NEW BEST:: SOT 40932224 SOS 20556861 HAS SOPS 17057908 HAS SOUS 12835759 HAS SOUPS 9345674 WITH SCORE 9366230.861
AT ITER 80 NEW BEST:: SOT 40930926 SOS 20556861 HAS SOPS 17058538 HAS SOUS 12834461 HAS SOUPS 9345006 WITH SCORE 9365562.861
AT ITER 85 NEW BEST:: SOT 40927959 SOS 20555286 HAS SOPS 17056963 HAS SOUS 12831494 HAS SOUPS 9342039 WITH SCORE 9362594.286
AT ITER 90 NEW BEST:: SOT 40926560 SOS 20552488 HAS SOPS 17055564 HAS SOUS 12828696 HAS SOUPS 9340640 WITH SCORE 9361192.488
AT ITER 102 NEW BEST:: SOT 40923938 SOS 20551657 HAS SOPS 17054733 HAS SOUS 12826998 HAS SOUPS 9338942 WITH SCORE 9359493.657
AT ITER 104 NEW BEST:: SOT 40921669 SOS 20547456 HAS SOPS 17052464 HAS SOUS 12822797 HAS SOUPS 9336673 WITH SCORE 9357220.456
AT ITER 114 NEW BEST:: SOT 40921669 SOS 20550993 HAS SOPS 17052464 HAS SOUS 12823494 HAS SOUPS 9335253 WITH SCORE 9355803.993
AT ITER 116 NEW BEST:: SOT 40920558 SOS 20550993 HAS SOPS 17052464 HAS SOUS 12822383 HAS SOUPS 9334142 WITH SCORE 9354692.993
AT ITER 118 NEW BEST:: SOT 40919105 SOS 20550993 HAS SOPS 17052558 HAS SOUS 12820930 HAS SOUPS 9332783 WITH SCORE 9353333.993
AT ITER 122 NEW BEST:: SOT 40918159 SOS 20549101 HAS SOPS 17051612 HAS SOUS 12819038 HAS SOUPS 9331837 WITH SCORE 9352386.101
AT ITER 123 NEW BEST:: SOT 40916478 SOS 20545101 HAS SOPS 17049931 HAS SOUS 12815676 HAS SOUPS 9330794 WITH SCORE 9351339.101
AT ITER 125 NEW BEST:: SOT 40914152 SOS 20543838 HAS SOPS 17048668 HAS SOUS 12813350 HAS SOUPS 9328468 WITH SCORE 9349011.838
AT ITER 126 NEW BEST:: SOT 40914573 SOS 20548696 HAS SOPS 17049089 HAS SOUS 12814319 HAS SOUPS 9327301 WITH SCORE 9347849.696
AT ITER 131 NEW BEST:: SOT 40913050 SOS 20545938 HAS SOPS 17047566 HAS SOUS 12811561 HAS SOUPS 9325778 WITH SCORE 9346323.938
AT ITER 132 NEW BEST:: SOT 40913050 SOS 20545810 HAS SOPS 17047566 HAS SOUS 12811561 HAS SOUPS 9325778 WITH SCORE 9346323.81
AT ITER 137 NEW BEST:: SOT 40913050 SOS 20549115 HAS SOPS 17047566 HAS SOUS 12812222 HAS SOUPS 9324456 WITH SCORE 9345005.115
AT ITER 138 NEW BEST:: SOT 40913050 SOS 20553065 HAS SOPS 17047566 HAS SOUS 12812254 HAS SOUPS 9322497 WITH SCORE 9343050.065
AT ITER 140 NEW BEST:: SOT 40913050 SOS 20557028 HAS SOPS 17047566 HAS SOUS 12812545 HAS SOUPS 9320661 WITH SCORE 9341218.028
AT ITER 141 NEW BEST:: SOT 40913863 SOS 20562670 HAS SOPS 17048379 HAS SOUS 12814400 HAS SOUPS 9320278 WITH SCORE 9340840.67
AT ITER 146 NEW BEST:: SOT 40913863 SOS 20565534 HAS SOPS 17048379 HAS SOUS 12814618 HAS SOUPS 9318955 WITH SCORE 9339520.534
AT ITER 149 NEW BEST:: SOT 40914574 SOS 20570972 HAS SOPS 17049090 HAS SOUS 12816557 HAS SOUPS 9318368 WITH SCORE 9338938.972
AT ITER 154 NEW BEST:: SOT 40914250 SOS 20570972 HAS SOPS 17049090 HAS SOUS 12816233 HAS SOUPS 9318044 WITH SCORE 9338614.972
AT ITER 155 NEW BEST:: SOT 40913209 SOS 20570972 HAS SOPS 17049090 HAS SOUS 12815192 HAS SOUPS 9317003 WITH SCORE 9337573.972
AT ITER 157 NEW BEST:: SOT 40913209 SOS 20575436 HAS SOPS 17049090 HAS SOUS 12815808 HAS SOUPS 9315079 WITH SCORE 9335654.436
AT ITER 159 NEW BEST:: SOT 40912672 SOS 20575436 HAS SOPS 17049090 HAS SOUS 12815271 HAS SOUPS 9314542 WITH SCORE 9335117.436
AT ITER 160 NEW BEST:: SOT 40910717 SOS 20571436 HAS SOPS 17047135 HAS SOUS 12811361 HAS SOUPS 9312677 WITH SCORE 9333248.436
AT ITER 167 NEW BEST:: SOT 40908781 SOS 20567564 HAS SOPS 17045199 HAS SOUS 12807489 HAS SOUPS 9310741 WITH SCORE 9331308.564
AT ITER 168 NEW BEST:: SOT 40907476 SOS 20567564 HAS SOPS 17045199 HAS SOUS 12806184 HAS SOUPS 9309436 WITH SCORE 9330003.564
AT ITER 169 NEW BEST:: SOT 40905842 SOS 20567978 HAS SOPS 17046152 HAS SOUS 12804964 HAS SOUPS 9308755 WITH SCORE 9329322.978
AT ITER 184 NEW BEST:: SOT 40904288 SOS 20563978 HAS SOPS 17044598 HAS SOUS 12801856 HAS SOUPS 9308093 WITH SCORE 9328656.978
AT ITER 199 NEW BEST:: SOT 40902062 SOS 20562832 HAS SOPS 17043452 HAS SOUS 12799630 HAS SOUPS 9305867 WITH SCORE 9326429.832
AT ITER 207 NEW BEST:: SOT 40899373 SOS 20561737 HAS SOPS 17042357 HAS SOUS 12796941 HAS SOUPS 9303178 WITH SCORE 9323739.737
AT ITER 214 NEW BEST:: SOT 40897854 SOS 20561737 HAS SOPS 17042357 HAS SOUS 12795422 HAS SOUPS 9301659 WITH SCORE 9322220.737
AT ITER 217 NEW BEST:: SOT 40896161 SOS 20557737 HAS SOPS 17040664 HAS SOUS 12792036 HAS SOUPS 9300580 WITH SCORE 9321137.737
AT ITER 220 NEW BEST:: SOT 40894902 SOS 20555241 HAS SOPS 17039405 HAS SOUS 12789540 HAS SOUPS 9299321 WITH SCORE 9319876.241
AT ITER 221 NEW BEST:: SOT 40894055 SOS 20555241 HAS SOPS 17039405 HAS SOUS 12788693 HAS SOUPS 9298474 WITH SCORE 9319029.241
AT ITER 223 NEW BEST:: SOT 40893700 SOS 20554531 HAS SOPS 17039050 HAS SOUS 12787983 HAS SOUPS 9298119 WITH SCORE 9318673.531
AT ITER 232 NEW BEST:: SOT 40893700 SOS 20558893 HAS SOPS 17039050 HAS SOUS 12788431 HAS SOUPS 9296162 WITH SCORE 9316720.893
AT ITER 235 NEW BEST:: SOT 40891989 SOS 20554893 HAS SOPS 17037339 HAS SOUS 12785009 HAS SOUPS 9295029 WITH SCORE 9315583.893
AT ITER 236 NEW BEST:: SOT 40891989 SOS 20557898 HAS SOPS 17037339 HAS SOUS 12785492 HAS SOUPS 9293768 WITH SCORE 9314325.898
AT ITER 237 NEW BEST:: SOT 40890184 SOS 20558152 HAS SOPS 17037645 HAS SOUS 12785091 HAS SOUPS 9293419 WITH SCORE 9313977.152
AT ITER 245 NEW BEST:: SOT 40890184 SOS 20561317 HAS SOPS 17037645 HAS SOUS 12785864 HAS SOUPS 9292223 WITH SCORE 9312784.317
AT ITER 247 NEW BEST:: SOT 40888581 SOS 20558111 HAS SOPS 17036042 HAS SOUS 12782658 HAS SOUPS 9290620 WITH SCORE 9311178.111
AT ITER 262 NEW BEST:: SOT 40888581 SOS 20560962 HAS SOPS 17036042 HAS SOUS 12783071 HAS SOUPS 9289401 WITH SCORE 9309961.962
AT ITER 270 NEW BEST:: SOT 40887774 SOS 20560962 HAS SOPS 17036042 HAS SOUS 12782264 HAS SOUPS 9288594 WITH SCORE 9309154.962
AT ITER 272 NEW BEST:: SOT 40887774 SOS 20565190 HAS SOPS 17036042 HAS SOUS 12783158 HAS SOUPS 9286927 WITH SCORE 9307492.19
AT ITER 279 NEW BEST:: SOT 40886271 SOS 20562184 HAS SOPS 17034539 HAS SOUS 12780152 HAS SOUPS 9285424 WITH SCORE 9305986.184
AT ITER 283 NEW BEST:: SOT 40885049 SOS 20562184 HAS SOPS 17035017 HAS SOUS 12778930 HAS SOUPS 9284680 WITH SCORE 9305242.184
AT ITER 286 NEW BEST:: SOT 40884603 SOS 20561738 HAS SOPS 17034571 HAS SOUS 12778038 HAS SOUPS 9283788 WITH SCORE 9304349.738
AT ITER 287 NEW BEST:: SOT 40883604 SOS 20561738 HAS SOPS 17034571 HAS SOUS 12777039 HAS SOUPS 9282789 WITH SCORE 9303350.738
AT ITER 289 NEW BEST:: SOT 40881068 SOS 20561079 HAS SOPS 17033912 HAS SOUS 12776137 HAS SOUPS 9281887 WITH SCORE 9302448.079
AT ITER 291 NEW BEST:: SOT 40879578 SOS 20558099 HAS SOPS 17032422 HAS SOUS 12773157 HAS SOUPS 9280397 WITH SCORE 9300955.099
AT ITER 294 NEW BEST:: SOT 40878082 SOS 20558099 HAS SOPS 17032422 HAS SOUS 12771661 HAS SOUPS 9278901 WITH SCORE 9299459.099
AT ITER 295 NEW BEST:: SOT 40876925 SOS 20555785 HAS SOPS 17031265 HAS SOUS 12769347 HAS SOUPS 9277744 WITH SCORE 9298299.785
AT ITER 301 NEW BEST:: SOT 40875141 SOS 20551785 HAS SOPS 17029481 HAS SOUS 12765779 HAS SOUPS 9276392 WITH SCORE 9296943.785
AT ITER 307 NEW BEST:: SOT 40872358 SOS 20550060 HAS SOPS 17027756 HAS SOUS 12762996 HAS SOUPS 9273609 WITH SCORE 9294159.06
AT ITER 311 NEW BEST:: SOT 40873118 SOS 20555596 HAS SOPS 17028516 HAS SOUS 12764603 HAS SOUPS 9273120 WITH SCORE 9293675.596
AT ITER 312 NEW BEST:: SOT 40871180 SOS 20551596 HAS SOPS 17026578 HAS SOUS 12760727 HAS SOUPS 9271306 WITH SCORE 9291857.596
AT ITER 314 NEW BEST:: SOT 40868591 SOS 20550302 HAS SOPS 17025284 HAS SOUS 12758138 HAS SOUPS 9268717 WITH SCORE 9289267.302
AT ITER 317 NEW BEST:: SOT 40867263 SOS 20547646 HAS SOPS 17023956 HAS SOUS 12755482 HAS SOUPS 9267389 WITH SCORE 9287936.646
AT ITER 321 NEW BEST:: SOT 40865890 SOS 20545054 HAS SOPS 17022583 HAS SOUS 12752890 HAS SOUPS 9266016 WITH SCORE 9286561.054
AT ITER 327 NEW BEST:: SOT 40865390 SOS 20544554 HAS SOPS 17022083 HAS SOUS 12751890 HAS SOUPS 9265016 WITH SCORE 9285560.554
AT ITER 329 NEW BEST:: SOT 40864036 SOS 20541846 HAS SOPS 17020729 HAS SOUS 12749182 HAS SOUPS 9263662 WITH SCORE 9284203.846
AT ITER 330 NEW BEST:: SOT 40863852 SOS 20541478 HAS SOPS 17020545 HAS SOUS 12748814 HAS SOUPS 9263478 WITH SCORE 9284019.478
AT ITER 335 NEW BEST:: SOT 40862217 SOS 20541674 HAS SOPS 17021387 HAS SOUS 12747375 HAS SOUPS 9262685 WITH SCORE 9283226.674
AT ITER 338 NEW BEST:: SOT 40862217 SOS 20545781 HAS SOPS 17021387 HAS SOUS 12748268 HAS SOUPS 9261078 WITH SCORE 9281623.781
AT ITER 340 NEW BEST:: SOT 40861460 SOS 20544267 HAS SOPS 17021387 HAS SOUS 12747511 HAS SOUPS 9261078 WITH SCORE 9281622.267
AT ITER 344 NEW BEST:: SOT 40860771 SOS 20543578 HAS SOPS 17020698 HAS SOUS 12746822 HAS SOUPS 9260389 WITH SCORE 9280932.578
AT ITER 352 NEW BEST:: SOT 40860771 SOS 20546397 HAS SOPS 17020698 HAS SOUS 12747559 HAS SOUPS 9259348 WITH SCORE 9279894.397
AT ITER 356 NEW BEST:: SOT 40860432 SOS 20545719 HAS SOPS 17020359 HAS SOUS 12746881 HAS SOUPS 9259009 WITH SCORE 9279554.719
AT ITER 363 NEW BEST:: SOT 40858933 SOS 20541719 HAS SOPS 17018860 HAS SOUS 12743883 HAS SOUPS 9258512 WITH SCORE 9279053.719
AT ITER 369 NEW BEST:: SOT 40858933 SOS 20544802 HAS SOPS 17018860 HAS SOUS 12744474 HAS SOUPS 9257266 WITH SCORE 9277810.802
AT ITER 372 NEW BEST:: SOT 40859876 SOS 20550704 HAS SOPS 17019803 HAS SOUS 12746939 HAS SOUPS 9257143 WITH SCORE 9277693.704
AT ITER 373 NEW BEST:: SOT 40858301 SOS 20546704 HAS SOPS 17018228 HAS SOUS 12743789 HAS SOUPS 9256418 WITH SCORE 9276964.704
AT ITER 376 NEW BEST:: SOT 40858890 SOS 20551898 HAS SOPS 17018817 HAS SOUS 12745466 HAS SOUPS 9255587 WITH SCORE 9276138.898
AT ITER 384 NEW BEST:: SOT 40855976 SOS 20550879 HAS SOPS 17017798 HAS SOUS 12742738 HAS SOUPS 9252859 WITH SCORE 9273409.879
AT ITER 386 NEW BEST:: SOT 40854251 SOS 20551205 HAS SOPS 17018168 HAS SOUS 12742577 HAS SOUPS 9252742 WITH SCORE 9273293.205
AT ITER 388 NEW BEST:: SOT 40852662 SOS 20551205 HAS SOPS 17018436 HAS SOUS 12740988 HAS SOUPS 9251421 WITH SCORE 9271972.205
AT ITER 389 NEW BEST:: SOT 40849876 SOS 20550046 HAS SOPS 17017277 HAS SOUS 12739128 HAS SOUPS 9249561 WITH SCORE 9270111.046
AT ITER 392 NEW BEST:: SOT 40848060 SOS 20546046 HAS SOPS 17015461 HAS SOUS 12735496 HAS SOUPS 9248113 WITH SCORE 9268659.046
AT ITER 394 NEW BEST:: SOT 40846485 SOS 20546046 HAS SOPS 17015461 HAS SOUS 12733921 HAS SOUPS 9246538 WITH SCORE 9267084.046
AT ITER 396 NEW BEST:: SOT 40846485 SOS 20550862 HAS SOPS 17015461 HAS SOUS 12734911 HAS SOUPS 9244625 WITH SCORE 9265175.862
AT ITER 398 NEW BEST:: SOT 40845481 SOS 20550862 HAS SOPS 17015461 HAS SOUS 12733907 HAS SOUPS 9243621 WITH SCORE 9264171.862
AT ITER 400 NEW BEST:: SOT 40844770 SOS 20550151 HAS SOPS 17014750 HAS SOUS 12732485 HAS SOUPS 9242199 WITH SCORE 9262749.151
AT ITER 405 NEW BEST:: SOT 40843311 SOS 20550241 HAS SOPS 17015891 HAS SOUS 12731116 HAS SOUPS 9241881 WITH SCORE 9262431.241
AT ITER 409 NEW BEST:: SOT 40841017 SOS 20549062 HAS SOPS 17014712 HAS SOUS 12728822 HAS SOUPS 9239587 WITH SCORE 9260136.062
AT ITER 418 NEW BEST:: SOT 40839388 SOS 20545804 HAS SOPS 17013083 HAS SOUS 12725564 HAS SOUPS 9237958 WITH SCORE 9258503.804
AT ITER 424 NEW BEST:: SOT 40837833 SOS 20546678 HAS SOPS 17014424 HAS SOUS 12724883 HAS SOUPS 9237744 WITH SCORE 9258290.678
AT ITER 427 NEW BEST:: SOT 40836114 SOS 20543367 HAS SOPS 17012705 HAS SOUS 12721572 HAS SOUPS 9236025 WITH SCORE 9256568.367
AT ITER 440 NEW BEST:: SOT 40835531 SOS 20542201 HAS SOPS 17012122 HAS SOUS 12720406 HAS SOUPS 9235442 WITH SCORE 9255984.201
AT ITER 442 NEW BEST:: SOT 40833657 SOS 20538201 HAS SOPS 17010248 HAS SOUS 12716658 HAS SOUPS 9233820 WITH SCORE 9254358.201
AT ITER 446 NEW BEST:: SOT 40832401 SOS 20535896 HAS SOPS 17008992 HAS SOUS 12714353 HAS SOUPS 9232564 WITH SCORE 9253099.896
AT ITER 447 NEW BEST:: SOT 40829927 SOS 20535210 HAS SOPS 17008306 HAS SOUS 12711879 HAS SOUPS 9230090 WITH SCORE 9250625.21
AT ITER 451 NEW BEST:: SOT 40828461 SOS 20531210 HAS SOPS 17006840 HAS SOUS 12708947 HAS SOUPS 9229692 WITH SCORE 9250223.21
AT ITER 452 NEW BEST:: SOT 40826853 SOS 20527994 HAS SOPS 17005232 HAS SOUS 12705731 HAS SOUPS 9228084 WITH SCORE 9248611.994
AT ITER 458 NEW BEST:: SOT 40823852 SOS 20526775 HAS SOPS 17004013 HAS SOUS 12702742 HAS SOUPS 9225095 WITH SCORE 9245621.775
AT ITER 459 NEW BEST:: SOT 40821272 SOS 20526138 HAS SOPS 17003376 HAS SOUS 12701016 HAS SOUPS 9223369 WITH SCORE 9243895.138
AT ITER 462 NEW BEST:: SOT 40819423 SOS 20522138 HAS SOPS 17001527 HAS SOUS 12697318 HAS SOUPS 9221822 WITH SCORE 9242344.138
AT ITER 464 NEW BEST:: SOT 40817567 SOS 20522309 HAS SOPS 17001698 HAS SOUS 12697032 HAS SOUPS 9221536 WITH SCORE 9242058.309
AT ITER 475 NEW BEST:: SOT 40818231 SOS 20528155 HAS SOPS 17002362 HAS SOUS 12700822 HAS SOUPS 9221504 WITH SCORE 9242032.155
AT ITER 480 NEW BEST:: SOT 40816553 SOS 20528155 HAS SOPS 17002362 HAS SOUS 12699144 HAS SOUPS 9219826 WITH SCORE 9240354.155
AT ITER 486 NEW BEST:: SOT 40814900 SOS 20524155 HAS SOPS 17000709 HAS SOUS 12695838 HAS SOUPS 9218867 WITH SCORE 9239391.155
AT ITER 489 NEW BEST:: SOT 40814325 SOS 20524155 HAS SOPS 17000709 HAS SOUS 12695263 HAS SOUPS 9218292 WITH SCORE 9238816.155
AT ITER 491 NEW BEST:: SOT 40812177 SOS 20520230 HAS SOPS 16998561 HAS SOUS 12691338 HAS SOUPS 9216144 WITH SCORE 9236664.23
AT ITER 493 NEW BEST:: SOT 40812177 SOS 20522744 HAS SOPS 16998561 HAS SOUS 12691386 HAS SOUPS 9214911 WITH SCORE 9235433.744
AT ITER 496 NEW BEST:: SOT 40811889 SOS 20522168 HAS SOPS 16998273 HAS SOUS 12690810 HAS SOUPS 9214623 WITH SCORE 9235145.168
AT ITER 497 NEW BEST:: SOT 40810416 SOS 20518168 HAS SOPS 16996800 HAS SOUS 12687864 HAS SOUPS 9214204 WITH SCORE 9234722.168
AT ITER 498 NEW BEST:: SOT 40809785 SOS 20516906 HAS SOPS 16996169 HAS SOUS 12686602 HAS SOUPS 9213573 WITH SCORE 9234089.906
AT ITER 502 NEW BEST:: SOT 40809785 SOS 20519208 HAS SOPS 16996169 HAS SOUS 12686882 HAS SOUPS 9212562 WITH SCORE 9233081.208
AT ITER 503 NEW BEST:: SOT 40809227 SOS 20519208 HAS SOPS 16996169 HAS SOUS 12686324 HAS SOUPS 9212004 WITH SCORE 9232523.208
AT ITER 507 NEW BEST:: SOT 40808687 SOS 20518128 HAS SOPS 16995629 HAS SOUS 12685244 HAS SOUPS 9211464 WITH SCORE 9231982.128
AT ITER 509 NEW BEST:: SOT 40807239 SOS 20518128 HAS SOPS 16996209 HAS SOUS 12683796 HAS SOUPS 9210596 WITH SCORE 9231114.128
AT ITER 510 NEW BEST:: SOT 40807239 SOS 20521985 HAS SOPS 16996209 HAS SOUS 12683997 HAS SOUPS 9208768 WITH SCORE 9229289.985
AT ITER 519 NEW BEST:: SOT 40804337 SOS 20520923 HAS SOPS 16995147 HAS SOUS 12681305 HAS SOUPS 9206076 WITH SCORE 9226596.923
AT ITER 520 NEW BEST:: SOT 40803954 SOS 20520157 HAS SOPS 16994764 HAS SOUS 12680539 HAS SOUPS 9205693 WITH SCORE 9226213.157
AT ITER 522 NEW BEST:: SOT 40804850 SOS 20525965 HAS SOPS 16995660 HAS SOUS 12682521 HAS SOUPS 9205476 WITH SCORE 9226001.965
AT ITER 525 NEW BEST:: SOT 40805770 SOS 20531821 HAS SOPS 16996580 HAS SOUS 12684909 HAS SOUPS 9205307 WITH SCORE 9225838.821
AT ITER 526 NEW BEST:: SOT 40802563 SOS 20529820 HAS SOPS 16994579 HAS SOUS 12681864 HAS SOUPS 9202262 WITH SCORE 9222791.82
AT ITER 527 NEW BEST:: SOT 40801412 SOS 20527614 HAS SOPS 16993428 HAS SOUS 12679658 HAS SOUPS 9201111 WITH SCORE 9221638.614
AT ITER 532 NEW BEST:: SOT 40799743 SOS 20527614 HAS SOPS 16993428 HAS SOUS 12677989 HAS SOUPS 9199442 WITH SCORE 9219969.614
AT ITER 534 NEW BEST:: SOT 40798285 SOS 20524698 HAS SOPS 16991970 HAS SOUS 12675073 HAS SOUPS 9197984 WITH SCORE 9218508.698
AT ITER 541 NEW BEST:: SOT 40795428 SOS 20523397 HAS SOPS 16990669 HAS SOUS 12672794 HAS SOUPS 9195705 WITH SCORE 9216228.397
AT ITER 543 NEW BEST:: SOT 40793988 SOS 20523397 HAS SOPS 16991063 HAS SOUS 12671354 HAS SOUPS 9194659 WITH SCORE 9215182.397
AT ITER 546 NEW BEST:: SOT 40792318 SOS 20524316 HAS SOPS 16991982 HAS SOUS 12671351 HAS SOUPS 9194656 WITH SCORE 9215180.316
AT ITER 549 NEW BEST:: SOT 40790649 SOS 20524378 HAS SOPS 16992689 HAS SOUS 12669744 HAS SOUPS 9193694 WITH SCORE 9214218.378
AT ITER 551 NEW BEST:: SOT 40788817 SOS 20524684 HAS SOPS 16993192 HAS SOUS 12668218 HAS SOUPS 9192365 WITH SCORE 9212889.684
AT ITER 566 NEW BEST:: SOT 40787404 SOS 20521982 HAS SOPS 16991779 HAS SOUS 12665516 HAS SOUPS 9190952 WITH SCORE 9211473.982
AT ITER 578 NEW BEST:: SOT 40787398 SOS 20521976 HAS SOPS 16991773 HAS SOUS 12665504 HAS SOUPS 9190940 WITH SCORE 9211461.976
AT ITER 589 NEW BEST:: SOT 40785663 SOS 20518586 HAS SOPS 16990038 HAS SOUS 12662114 HAS SOUPS 9189205 WITH SCORE 9209723.586
AT ITER 596 NEW BEST:: SOT 40784982 SOS 20517905 HAS SOPS 16989357 HAS SOUS 12662075 HAS SOUPS 9189166 WITH SCORE 9209683.905
AT ITER 597 NEW BEST:: SOT 40784031 SOS 20515545 HAS SOPS 16988406 HAS SOUS 12660173 HAS SOUPS 9188673 WITH SCORE 9209188.545
AT ITER 598 NEW BEST:: SOT 40782973 SOS 20515545 HAS SOPS 16988406 HAS SOUS 12659115 HAS SOUPS 9187615 WITH SCORE 9208130.545
AT ITER 607 NEW BEST:: SOT 40783453 SOS 20520521 HAS SOPS 16988886 HAS SOUS 12660275 HAS SOUPS 9186566 WITH SCORE 9207086.521
AT ITER 609 NEW BEST:: SOT 40782215 SOS 20520521 HAS SOPS 16988886 HAS SOUS 12659037 HAS SOUPS 9185328 WITH SCORE 9205848.521
AT ITER 613 NEW BEST:: SOT 40780455 SOS 20520569 HAS SOPS 16989404 HAS SOUS 12657325 HAS SOUPS 9184086 WITH SCORE 9204606.569
AT ITER 616 NEW BEST:: SOT 40779530 SOS 20520569 HAS SOPS 16989404 HAS SOUS 12656400 HAS SOUPS 9183161 WITH SCORE 9203681.569
AT ITER 621 NEW BEST:: SOT 40777294 SOS 20519442 HAS SOPS 16988277 HAS SOUS 12654164 HAS SOUPS 9180925 WITH SCORE 9201444.442
AT ITER 625 NEW BEST:: SOT 40777213 SOS 20519361 HAS SOPS 16988196 HAS SOUS 12654002 HAS SOUPS 9180763 WITH SCORE 9201282.361
AT ITER 628 NEW BEST:: SOT 40776629 SOS 20518777 HAS SOPS 16987612 HAS SOUS 12653417 HAS SOUPS 9180178 WITH SCORE 9200696.777
AT ITER 634 NEW BEST:: SOT 40774841 SOS 20518241 HAS SOPS 16987076 HAS SOUS 12651882 HAS SOUPS 9178643 WITH SCORE 9199161.241
AT ITER 636 NEW BEST:: SOT 40773069 SOS 20514241 HAS SOPS 16985304 HAS SOUS 12648338 HAS SOUPS 9177327 WITH SCORE 9197841.241
AT ITER 649 NEW BEST:: SOT 40772154 SOS 20514241 HAS SOPS 16985304 HAS SOUS 12647423 HAS SOUPS 9176412 WITH SCORE 9196926.241
AT ITER 651 NEW BEST:: SOT 40770820 SOS 20511573 HAS SOPS 16983970 HAS SOUS 12644755 HAS SOUPS 9175078 WITH SCORE 9195589.573
AT ITER 653 NEW BEST:: SOT 40769141 SOS 20507573 HAS SOPS 16982291 HAS SOUS 12641397 HAS SOUPS 9174041 WITH SCORE 9194548.573
AT ITER 661 NEW BEST:: SOT 40766916 SOS 20506537 HAS SOPS 16981255 HAS SOUS 12640285 HAS SOUPS 9172929 WITH SCORE 9193435.537
AT ITER 664 NEW BEST:: SOT 40766916 SOS 20510543 HAS SOPS 16981255 HAS SOUS 12640977 HAS SOUPS 9171272 WITH SCORE 9191782.543
AT ITER 668 NEW BEST:: SOT 40766562 SOS 20510543 HAS SOPS 16981255 HAS SOUS 12640623 HAS SOUPS 9170918 WITH SCORE 9191428.543
AT ITER 677 NEW BEST:: SOT 40764953 SOS 20510711 HAS SOPS 16982135 HAS SOUS 12639182 HAS SOUPS 9170189 WITH SCORE 9190699.711
AT ITER 682 NEW BEST:: SOT 40764194 SOS 20510711 HAS SOPS 16982135 HAS SOUS 12638423 HAS SOUPS 9169430 WITH SCORE 9189940.711
AT ITER 683 NEW BEST:: SOT 40761663 SOS 20509667 HAS SOPS 16981091 HAS SOUS 12635892 HAS SOUPS 9166899 WITH SCORE 9187408.667
AT ITER 684 NEW BEST:: SOT 40760938 SOS 20509667 HAS SOPS 16981091 HAS SOUS 12635167 HAS SOUPS 9166174 WITH SCORE 9186683.667
AT ITER 687 NEW BEST:: SOT 40760775 SOS 20509504 HAS SOPS 16980928 HAS SOUS 12634841 HAS SOUPS 9165848 WITH SCORE 9186357.504
AT ITER 692 NEW BEST:: SOT 40759680 SOS 20509504 HAS SOPS 16981120 HAS SOUS 12633746 HAS SOUPS 9164945 WITH SCORE 9185454.504
AT ITER 699 NEW BEST:: SOT 40761699 SOS 20513971 HAS SOPS 16981196 HAS SOUS 12635839 HAS SOUPS 9164592 WITH SCORE 9185105.971
AT ITER 700 NEW BEST:: SOT 40761777 SOS 20516888 HAS SOPS 16981274 HAS SOUS 12636036 HAS SOUPS 9162739 WITH SCORE 9183255.888
AT ITER 701 NEW BEST:: SOT 40760983 SOS 20516888 HAS SOPS 16981274 HAS SOUS 12635242 HAS SOUPS 9161945 WITH SCORE 9182461.888
AT ITER 704 NEW BEST:: SOT 40759744 SOS 20516888 HAS SOPS 16981274 HAS SOUS 12634003 HAS SOUPS 9160706 WITH SCORE 9181222.888
AT ITER 710 NEW BEST:: SOT 40758561 SOS 20514734 HAS SOPS 16980091 HAS SOUS 12631849 HAS SOUPS 9159523 WITH SCORE 9180037.734
AT ITER 712 NEW BEST:: SOT 40756802 SOS 20514698 HAS SOPS 16980055 HAS SOUS 12631225 HAS SOUPS 9158899 WITH SCORE 9179413.698
AT ITER 718 NEW BEST:: SOT 40756802 SOS 20519156 HAS SOPS 16980055 HAS SOUS 12631963 HAS SOUPS 9157039 WITH SCORE 9177558.156
AT ITER 719 NEW BEST:: SOT 40755684 SOS 20519156 HAS SOPS 16980055 HAS SOUS 12630845 HAS SOUPS 9155921 WITH SCORE 9176440.156
AT ITER 724 NEW BEST:: SOT 40754877 SOS 20519156 HAS SOPS 16980055 HAS SOUS 12630038 HAS SOUPS 9155114 WITH SCORE 9175633.156
AT ITER 732 NEW BEST:: SOT 40754877 SOS 20523904 HAS SOPS 16980055 HAS SOUS 12631036 HAS SOUPS 9153239 WITH SCORE 9173762.904
AT ITER 735 NEW BEST:: SOT 40753147 SOS 20524352 HAS SOPS 16980674 HAS SOUS 12630860 HAS SOUPS 9153234 WITH SCORE 9173758.352
AT ITER 740 NEW BEST:: SOT 40750194 SOS 20522823 HAS SOPS 16979145 HAS SOUS 12627907 HAS SOUPS 9150281 WITH SCORE 9170803.823
AT ITER 743 NEW BEST:: SOT 40747476 SOS 20521850 HAS SOPS 16978172 HAS SOUS 12625767 HAS SOUPS 9148141 WITH SCORE 9168662.85
AT ITER 744 NEW BEST:: SOT 40746875 SOS 20521850 HAS SOPS 16978172 HAS SOUS 12625166 HAS SOUPS 9147540 WITH SCORE 9168061.85
AT ITER 747 NEW BEST:: SOT 40745307 SOS 20521850 HAS SOPS 16978496 HAS SOUS 12623598 HAS SOUPS 9146296 WITH SCORE 9166817.85
AT ITER 764 NEW BEST:: SOT 40742270 SOS 20520189 HAS SOPS 16976835 HAS SOUS 12620591 HAS SOUPS 9143289 WITH SCORE 9163809.189
AT ITER 780 NEW BEST:: SOT 40742151 SOS 20520070 HAS SOPS 16976716 HAS SOUS 12620353 HAS SOUPS 9143051 WITH SCORE 9163571.07
AT ITER 786 NEW BEST:: SOT 40742983 SOS 20525750 HAS SOPS 16977548 HAS SOUS 12622362 HAS SOUPS 9142706 WITH SCORE 9163231.75
AT ITER 795 NEW BEST:: SOT 40742983 SOS 20526210 HAS SOPS 16977548 HAS SOUS 12622362 HAS SOUPS 9142476 WITH SCORE 9163002.21
AT ITER 797 NEW BEST:: SOT 40742983 SOS 20529101 HAS SOPS 16977548 HAS SOUS 12622663 HAS SOUPS 9141181 WITH SCORE 9161710.101
AT ITER 801 NEW BEST:: SOT 40742983 SOS 20532960 HAS SOPS 16977548 HAS SOUS 12623500 HAS SOUPS 9139670 WITH SCORE 9160202.96
AT ITER 803 NEW BEST:: SOT 40742591 SOS 20531902 HAS SOPS 16977156 HAS SOUS 12622716 HAS SOUPS 9139552 WITH SCORE 9160083.902
AT ITER 804 NEW BEST:: SOT 40742591 SOS 20535608 HAS SOPS 16977156 HAS SOUS 12623130 HAS SOUPS 9137906 WITH SCORE 9158441.608
AT ITER 806 NEW BEST:: SOT 40741144 SOS 20532714 HAS SOPS 16975709 HAS SOUS 12620236 HAS SOUPS 9136459 WITH SCORE 9156991.714
AT ITER 807 NEW BEST:: SOT 40742088 SOS 20538618 HAS SOPS 16976653 HAS SOUS 12622590 HAS SOUPS 9136338 WITH SCORE 9156876.618
AT ITER 812 NEW BEST:: SOT 40740409 SOS 20539210 HAS SOPS 16977245 HAS SOUS 12622560 HAS SOUPS 9136308 WITH SCORE 9156847.21
AT ITER 814 NEW BEST:: SOT 40740409 SOS 20543896 HAS SOPS 16977245 HAS SOUS 12623384 HAS SOUPS 9134377 WITH SCORE 9154920.896
AT ITER 817 NEW BEST:: SOT 40737274 SOS 20542009 HAS SOPS 16975358 HAS SOUS 12620249 HAS SOUPS 9131242 WITH SCORE 9151784.009
AT ITER 821 NEW BEST:: SOT 40736232 SOS 20539925 HAS SOPS 16974316 HAS SOUS 12618165 HAS SOUPS 9130200 WITH SCORE 9150739.925
AT ITER 826 NEW BEST:: SOT 40736232 SOS 20544132 HAS SOPS 16974316 HAS SOUS 12618800 HAS SOUPS 9128414 WITH SCORE 9148958.132
AT ITER 830 NEW BEST:: SOT 40734657 SOS 20541208 HAS SOPS 16972741 HAS SOUS 12615876 HAS SOUPS 9126839 WITH SCORE 9147380.208
AT ITER 836 NEW BEST:: SOT 40731615 SOS 20539537 HAS SOPS 16971070 HAS SOUS 12613292 HAS SOUPS 9124255 WITH SCORE 9144794.537
AT ITER 837 NEW BEST:: SOT 40730320 SOS 20537282 HAS SOPS 16969775 HAS SOUS 12611037 HAS SOUPS 9122960 WITH SCORE 9143497.282
AT ITER 864 NEW BEST:: SOT 40729262 SOS 20537282 HAS SOPS 16970795 HAS SOUS 12609979 HAS SOUPS 9122922 WITH SCORE 9143459.282
AT ITER 870 NEW BEST:: SOT 40727835 SOS 20534653 HAS SOPS 16969368 HAS SOUS 12607350 HAS SOUPS 9121495 WITH SCORE 9142029.653
AT ITER 875 NEW BEST:: SOT 40727835 SOS 20537682 HAS SOPS 16969368 HAS SOUS 12607969 HAS SOUPS 9120290 WITH SCORE 9140827.682
AT ITER 881 NEW BEST:: SOT 40728435 SOS 20542898 HAS SOPS 16969968 HAS SOUS 12609641 HAS SOUPS 9119481 WITH SCORE 9140023.898
AT ITER 891 NEW BEST:: SOT 40726891 SOS 20538898 HAS SOPS 16968424 HAS SOUS 12606553 HAS SOUPS 9118849 WITH SCORE 9139387.898
AT ITER 892 NEW BEST:: SOT 40724365 SOS 20537702 HAS SOPS 16967228 HAS SOUS 12604027 HAS SOUPS 9116323 WITH SCORE 9136860.702
AT ITER 895 NEW BEST:: SOT 40723990 SOS 20537702 HAS SOPS 16967228 HAS SOUS 12603652 HAS SOUPS 9115948 WITH SCORE 9136485.702
AT ITER 897 NEW BEST:: SOT 40722311 SOS 20537702 HAS SOPS 16967460 HAS SOUS 12601973 HAS SOUPS 9114501 WITH SCORE 9135038.702
AT ITER 901 NEW BEST:: SOT 40719808 SOS 20537109 HAS SOPS 16966867 HAS SOUS 12600820 HAS SOUPS 9113348 WITH SCORE 9133885.109
AT ITER 909 NEW BEST:: SOT 40720142 SOS 20539179 HAS SOPS 16967201 HAS SOUS 12601500 HAS SOUPS 9113154 WITH SCORE 9133693.179
AT ITER 918 NEW BEST:: SOT 40718585 SOS 20536065 HAS SOPS 16965644 HAS SOUS 12598386 HAS SOUPS 9111597 WITH SCORE 9132133.065
AT ITER 925 NEW BEST:: SOT 40716963 SOS 20536065 HAS SOPS 16965644 HAS SOUS 12596764 HAS SOUPS 9109975 WITH SCORE 9130511.065
AT ITER 931 NEW BEST:: SOT 40716963 SOS 20536065 HAS SOPS 16965420 HAS SOUS 12596764 HAS SOUPS 9109751 WITH SCORE 9130287.065
AT ITER 932 NEW BEST:: SOT 40715895 SOS 20533929 HAS SOPS 16964352 HAS SOUS 12594628 HAS SOUPS 9108683 WITH SCORE 9129216.929
AT ITER 935 NEW BEST:: SOT 40715366 SOS 20532623 HAS SOPS 16963823 HAS SOUS 12593681 HAS SOUPS 9108513 WITH SCORE 9129045.623
AT ITER 939 NEW BEST:: SOT 40714269 SOS 20532623 HAS SOPS 16963823 HAS SOUS 12592584 HAS SOUPS 9107416 WITH SCORE 9127948.623
AT ITER 943 NEW BEST:: SOT 40712325 SOS 20528735 HAS SOPS 16961879 HAS SOUS 12588696 HAS SOUPS 9105472 WITH SCORE 9126000.735
AT ITER 945 NEW BEST:: SOT 40711783 SOS 20527651 HAS SOPS 16961337 HAS SOUS 12587612 HAS SOUPS 9104930 WITH SCORE 9125457.651
AT ITER 948 NEW BEST:: SOT 40711783 SOS 20530253 HAS SOPS 16961337 HAS SOUS 12587924 HAS SOUPS 9103785 WITH SCORE 9124315.253
AT ITER 950 NEW BEST:: SOT 40711494 SOS 20529964 HAS SOPS 16961048 HAS SOUS 12587346 HAS SOUPS 9103207 WITH SCORE 9123736.964
AT ITER 952 NEW BEST:: SOT 40710337 SOS 20529964 HAS SOPS 16961048 HAS SOUS 12586189 HAS SOUPS 9102050 WITH SCORE 9122579.964
AT ITER 954 NEW BEST:: SOT 40708417 SOS 20526438 HAS SOPS 16959128 HAS SOUS 12582663 HAS SOUPS 9100130 WITH SCORE 9120656.438
AT ITER 959 NEW BEST:: SOT 40708417 SOS 20530057 HAS SOPS 16959128 HAS SOUS 12582942 HAS SOUPS 9098460 WITH SCORE 9118990.057
AT ITER 960 NEW BEST:: SOT 40705739 SOS 20528493 HAS SOPS 16957564 HAS SOUS 12580264 HAS SOUPS 9095782 WITH SCORE 9116310.493
AT ITER 964 NEW BEST:: SOT 40702692 SOS 20526812 HAS SOPS 16955883 HAS SOUS 12577625 HAS SOUPS 9093143 WITH SCORE 9113669.812
AT ITER 970 NEW BEST:: SOT 40702692 SOS 20530234 HAS SOPS 16955883 HAS SOUS 12578587 HAS SOUPS 9091913 WITH SCORE 9112443.234
AT ITER 974 NEW BEST:: SOT 40701525 SOS 20530234 HAS SOPS 16955883 HAS SOUS 12577420 HAS SOUPS 9090746 WITH SCORE 9111276.234
AT ITER 975 NEW BEST:: SOT 40700703 SOS 20530234 HAS SOPS 16955883 HAS SOUS 12576598 HAS SOUPS 9089924 WITH SCORE 9110454.234
AT ITER 978 NEW BEST:: SOT 40700703 SOS 20534066 HAS SOPS 16955883 HAS SOUS 12577144 HAS SOUPS 9088281 WITH SCORE 9108815.066
AT ITER 988 NEW BEST:: SOT 40699130 SOS 20530066 HAS SOPS 16954310 HAS SOUS 12573998 HAS SOUPS 9087562 WITH SCORE 9108092.066
AT ITER 993 NEW BEST:: SOT 40698685 SOS 20530066 HAS SOPS 16954310 HAS SOUS 12573553 HAS SOUPS 9087117 WITH SCORE 9107647.066
AT ITER 995 NEW BEST:: SOT 40696808 SOS 20526312 HAS SOPS 16952433 HAS SOUS 12569799 HAS SOUPS 9085240 WITH SCORE 9105766.312
AT ITER 996 NEW BEST:: SOT 40695538 SOS 20523839 HAS SOPS 16951163 HAS SOUS 12567326 HAS SOUPS 9083970 WITH SCORE 9104493.839
AT ITER 998 NEW BEST:: SOT 40695514 SOS 20523815 HAS SOPS 16951139 HAS SOUS 12567278 HAS SOUPS 9083922 WITH SCORE 9104445.815
AT ITER 1000 NEW BEST:: SOT 40694051 SOS 20520889 HAS SOPS 16949676 HAS SOUS 12564352 HAS SOUPS 9082459 WITH SCORE 9102979.889
AT ITER 1002 NEW BEST:: SOT 40692526 SOS 20521471 HAS SOPS 16950931 HAS SOUS 12563409 HAS SOUPS 9082189 WITH SCORE 9102710.471
AT ITER 1006 NEW BEST:: SOT 40692526 SOS 20524305 HAS SOPS 16950931 HAS SOUS 12563873 HAS SOUPS 9081004 WITH SCORE 9101528.305
AT ITER 1013 NEW BEST:: SOT 40691117 SOS 20524449 HAS SOPS 16952199 HAS SOUS 12562608 HAS SOUPS 9080863 WITH SCORE 9101387.449
AT ITER 1014 NEW BEST:: SOT 40690082 SOS 20524449 HAS SOPS 16952199 HAS SOUS 12561573 HAS SOUPS 9079828 WITH SCORE 9100352.449
AT ITER 1025 NEW BEST:: SOT 40689318 SOS 20524449 HAS SOPS 16952199 HAS SOUS 12560809 HAS SOUPS 9079064 WITH SCORE 9099588.449
AT ITER 1026 NEW BEST:: SOT 40687498 SOS 20524453 HAS SOPS 16952575 HAS SOUS 12558993 HAS SOUPS 9077620 WITH SCORE 9098144.453
AT ITER 1031 NEW BEST:: SOT 40686393 SOS 20524453 HAS SOPS 16952617 HAS SOUS 12557888 HAS SOUPS 9076557 WITH SCORE 9097081.453
AT ITER 1033 NEW BEST:: SOT 40686177 SOS 20524237 HAS SOPS 16952401 HAS SOUS 12557456 HAS SOUPS 9076125 WITH SCORE 9096649.237
AT ITER 1035 NEW BEST:: SOT 40686177 SOS 20527494 HAS SOPS 16952401 HAS SOUS 12557549 HAS SOUPS 9074543 WITH SCORE 9095070.494
AT ITER 1042 NEW BEST:: SOT 40684934 SOS 20525008 HAS SOPS 16951158 HAS SOUS 12555063 HAS SOUPS 9073300 WITH SCORE 9093825.008
AT ITER 1046 NEW BEST:: SOT 40683487 SOS 20521008 HAS SOPS 16949711 HAS SOUS 12552169 HAS SOUPS 9072959 WITH SCORE 9093480.008
AT ITER 1048 NEW BEST:: SOT 40680961 SOS 20519536 HAS SOPS 16948239 HAS SOUS 12549643 HAS SOUPS 9070433 WITH SCORE 9090952.536
AT ITER 1059 NEW BEST:: SOT 40679862 SOS 20519536 HAS SOPS 16948755 HAS SOUS 12548544 HAS SOUPS 9069850 WITH SCORE 9090369.536
AT ITER 1062 NEW BEST:: SOT 40677048 SOS 20518374 HAS SOPS 16947593 HAS SOUS 12545730 HAS SOUPS 9067036 WITH SCORE 9087554.374
AT ITER 1071 NEW BEST:: SOT 40676551 SOS 20517380 HAS SOPS 16947096 HAS SOUS 12544736 HAS SOUPS 9066539 WITH SCORE 9087056.38
AT ITER 1073 NEW BEST:: SOT 40676352 SOS 20517181 HAS SOPS 16946897 HAS SOUS 12544537 HAS SOUPS 9066340 WITH SCORE 9086857.181
AT ITER 1077 NEW BEST:: SOT 40675972 SOS 20516421 HAS SOPS 16946517 HAS SOUS 12543397 HAS SOUPS 9065580 WITH SCORE 9086096.421
AT ITER 1080 NEW BEST:: SOT 40675972 SOS 20520526 HAS SOPS 16946517 HAS SOUS 12544512 HAS SOUPS 9064085 WITH SCORE 9084605.526
AT ITER 1082 NEW BEST:: SOT 40675721 SOS 20520024 HAS SOPS 16946266 HAS SOUS 12544010 HAS SOUPS 9063834 WITH SCORE 9084354.024
AT ITER 1083 NEW BEST:: SOT 40675721 SOS 20519989 HAS SOPS 16946231 HAS SOUS 12543975 HAS SOUPS 9063799 WITH SCORE 9084318.989
AT ITER 1093 NEW BEST:: SOT 40674688 SOS 20519989 HAS SOPS 16946693 HAS SOUS 12542942 HAS SOUPS 9063228 WITH SCORE 9083747.989
AT ITER 1099 NEW BEST:: SOT 40674688 SOS 20519572 HAS SOPS 16946693 HAS SOUS 12542525 HAS SOUPS 9063228 WITH SCORE 9083747.572
AT ITER 1102 NEW BEST:: SOT 40675411 SOS 20525034 HAS SOPS 16947416 HAS SOUS 12543978 HAS SOUPS 9062665 WITH SCORE 9083190.034
AT ITER 1108 NEW BEST:: SOT 40675411 SOS 20528023 HAS SOPS 16947416 HAS SOUS 12544045 HAS SOUPS 9061204 WITH SCORE 9081732.023
AT ITER 1119 NEW BEST:: SOT 40675411 SOS 20530412 HAS SOPS 16947416 HAS SOUS 12544170 HAS SOUPS 9060072 WITH SCORE 9080602.412
AT ITER 1123 NEW BEST:: SOT 40674052 SOS 20530412 HAS SOPS 16948146 HAS SOUS 12542811 HAS SOUPS 9059443 WITH SCORE 9079973.412
AT ITER 1124 NEW BEST:: SOT 40673152 SOS 20530412 HAS SOPS 16948146 HAS SOUS 12541911 HAS SOUPS 9058543 WITH SCORE 9079073.412
AT ITER 1127 NEW BEST:: SOT 40673705 SOS 20535534 HAS SOPS 16948699 HAS SOUS 12543396 HAS SOUPS 9057640 WITH SCORE 9078175.534
AT ITER 1128 NEW BEST:: SOT 40671715 SOS 20531554 HAS SOPS 16946709 HAS SOUS 12539416 HAS SOUPS 9055650 WITH SCORE 9076181.554
AT ITER 1130 NEW BEST:: SOT 40671715 SOS 20532838 HAS SOPS 16946709 HAS SOUS 12539416 HAS SOUPS 9055152 WITH SCORE 9075684.838
AT ITER 1134 NEW BEST:: SOT 40668749 SOS 20531376 HAS SOPS 16945247 HAS SOUS 12536450 HAS SOUPS 9052186 WITH SCORE 9072717.376
AT ITER 1135 NEW BEST:: SOT 40666326 SOS 20530515 HAS SOPS 16944386 HAS SOUS 12534587 HAS SOUPS 9050323 WITH SCORE 9070853.515
AT ITER 1136 NEW BEST:: SOT 40664363 SOS 20526589 HAS SOPS 16942423 HAS SOUS 12530661 HAS SOUPS 9048360 WITH SCORE 9068886.589
AT ITER 1146 NEW BEST:: SOT 40661658 SOS 20525592 HAS SOPS 16941426 HAS SOUS 12529210 HAS SOUPS 9046909 WITH SCORE 9067434.592
AT ITER 1147 NEW BEST:: SOT 40661455 SOS 20525186 HAS SOPS 16941223 HAS SOUS 12528804 HAS SOUPS 9046706 WITH SCORE 9067231.186
AT ITER 1150 NEW BEST:: SOT 40661382 SOS 20525186 HAS SOPS 16941223 HAS SOUS 12528731 HAS SOUPS 9046633 WITH SCORE 9067158.186
AT ITER 1153 NEW BEST:: SOT 40658862 SOS 20524559 HAS SOPS 16940596 HAS SOUS 12527575 HAS SOUPS 9045477 WITH SCORE 9066001.559
AT ITER 1155 NEW BEST:: SOT 40658320 SOS 20524559 HAS SOPS 16940596 HAS SOUS 12527033 HAS SOUPS 9044935 WITH SCORE 9065459.559
AT ITER 1160 NEW BEST:: SOT 40657317 SOS 20524559 HAS SOPS 16940596 HAS SOUS 12526030 HAS SOUPS 9043932 WITH SCORE 9064456.559
AT ITER 1163 NEW BEST:: SOT 40655931 SOS 20524559 HAS SOPS 16940596 HAS SOUS 12524644 HAS SOUPS 9042546 WITH SCORE 9063070.559
AT ITER 1164 NEW BEST:: SOT 40655931 SOS 20524042 HAS SOPS 16940596 HAS SOUS 12524127 HAS SOUPS 9042546 WITH SCORE 9063070.042
AT ITER 1177 NEW BEST:: SOT 40653945 SOS 20520070 HAS SOPS 16938610 HAS SOUS 12520155 HAS SOUPS 9040560 WITH SCORE 9061080.07
AT ITER 1181 NEW BEST:: SOT 40653435 SOS 20519560 HAS SOPS 16938100 HAS SOUS 12519668 HAS SOUPS 9040073 WITH SCORE 9060592.56
AT ITER 1188 NEW BEST:: SOT 40653435 SOS 20518754 HAS SOPS 16938100 HAS SOUS 12518862 HAS SOUPS 9040073 WITH SCORE 9060591.754
AT ITER 1194 NEW BEST:: SOT 40652735 SOS 20518754 HAS SOPS 16938100 HAS SOUS 12518162 HAS SOUPS 9039373 WITH SCORE 9059891.754
AT ITER 1197 NEW BEST:: SOT 40652308 SOS 20517900 HAS SOPS 16937673 HAS SOUS 12517308 HAS SOUPS 9038946 WITH SCORE 9059463.9
AT ITER 1199 NEW BEST:: SOT 40652308 SOS 20521227 HAS SOPS 16937673 HAS SOUS 12518237 HAS SOUPS 9037747 WITH SCORE 9058268.227
AT ITER 1201 NEW BEST:: SOT 40649322 SOS 20519754 HAS SOPS 16936200 HAS SOUS 12515251 HAS SOUPS 9034761 WITH SCORE 9055280.754
AT ITER 1202 NEW BEST:: SOT 40648953 SOS 20519754 HAS SOPS 16936200 HAS SOUS 12514882 HAS SOUPS 9034392 WITH SCORE 9054911.754
AT ITER 1205 NEW BEST:: SOT 40649483 SOS 20524830 HAS SOPS 16936730 HAS SOUS 12516115 HAS SOUPS 9033443 WITH SCORE 9053967.83
AT ITER 1206 NEW BEST:: SOT 40648115 SOS 20521925 HAS SOPS 16935362 HAS SOUS 12513554 HAS SOUPS 9032419 WITH SCORE 9052940.925
AT ITER 1207 NEW BEST:: SOT 40648115 SOS 20521835 HAS SOPS 16935272 HAS SOUS 12513464 HAS SOUPS 9032329 WITH SCORE 9052850.835
AT ITER 1216 NEW BEST:: SOT 40647598 SOS 20520801 HAS SOPS 16934755 HAS SOUS 12512430 HAS SOUPS 9031812 WITH SCORE 9052332.801
AT ITER 1217 NEW BEST:: SOT 40647598 SOS 20524454 HAS SOPS 16934755 HAS SOUS 12513423 HAS SOUPS 9030482 WITH SCORE 9051006.454
AT ITER 1225 NEW BEST:: SOT 40646801 SOS 20524454 HAS SOPS 16934755 HAS SOUS 12512626 HAS SOUPS 9029685 WITH SCORE 9050209.454
AT ITER 1227 NEW BEST:: SOT 40646801 SOS 20528649 HAS SOPS 16934755 HAS SOUS 12513237 HAS SOUPS 9027893 WITH SCORE 9048421.649
AT ITER 1231 NEW BEST:: SOT 40644857 SOS 20524649 HAS SOPS 16932811 HAS SOUS 12509349 HAS SOUPS 9026061 WITH SCORE 9046585.649
AT ITER 1235 NEW BEST:: SOT 40645720 SOS 20530391 HAS SOPS 16933674 HAS SOUS 12511325 HAS SOUPS 9025778 WITH SCORE 9046308.391
AT ITER 1238 NEW BEST:: SOT 40648076 SOS 20226085 HAS SOPS 16538994 HAS SOUS 12423710 HAS SOUPS 8938163 WITH SCORE 8958389.085
AT ITER 1251 NEW BEST:: SOT 40648076 SOS 20229391 HAS SOPS 16538994 HAS SOUS 12423796 HAS SOUPS 8936553 WITH SCORE 8956782.391
AT ITER 1252 NEW BEST:: SOT 40647763 SOS 20229078 HAS SOPS 16538681 HAS SOUS 12423483 HAS SOUPS 8936240 WITH SCORE 8956469.078
AT ITER 1256 NEW BEST:: SOT 40647154 SOS 20229078 HAS SOPS 16538681 HAS SOUS 12422874 HAS SOUPS 8935631 WITH SCORE 8955860.078
AT ITER 1260 NEW BEST:: SOT 40647154 SOS 20232288 HAS SOPS 16538681 HAS SOUS 12422874 HAS SOUPS 8934026 WITH SCORE 8954258.288
AT ITER 1266 NEW BEST:: SOT 40646114 SOS 20230309 HAS SOPS 16537641 HAS SOUS 12420895 HAS SOUPS 8932986 WITH SCORE 8953216.309
AT ITER 1268 NEW BEST:: SOT 40646997 SOS 20236494 HAS SOPS 16538524 HAS SOUS 12422997 HAS SOUPS 8932340 WITH SCORE 8952576.494
AT ITER 1275 NEW BEST:: SOT 40646560 SOS 20236057 HAS SOPS 16538087 HAS SOUS 12422123 HAS SOUPS 8931466 WITH SCORE 8951702.057
AT ITER 1278 NEW BEST:: SOT 40646504 SOS 20240545 HAS SOPS 16538031 HAS SOUS 12422499 HAS SOUPS 8929326 WITH SCORE 8949566.545
AT ITER 1281 NEW BEST:: SOT 40643905 SOS 20239798 HAS SOPS 16537284 HAS SOUS 12420716 HAS SOUPS 8927543 WITH SCORE 8947782.798
AT ITER 1287 NEW BEST:: SOT 40642872 SOS 20239798 HAS SOPS 16537284 HAS SOUS 12419683 HAS SOUPS 8926510 WITH SCORE 8946749.798
AT ITER 1292 NEW BEST:: SOT 40642872 SOS 20243840 HAS SOPS 16537284 HAS SOUS 12420021 HAS SOUPS 8924658 WITH SCORE 8944901.84
AT ITER 1295 NEW BEST:: SOT 40640978 SOS 20243840 HAS SOPS 16537336 HAS SOUS 12418127 HAS SOUPS 8922816 WITH SCORE 8943059.84
AT ITER 1301 NEW BEST:: SOT 40640978 SOS 20245922 HAS SOPS 16537336 HAS SOUS 12418127 HAS SOUPS 8922167 WITH SCORE 8942412.922
AT ITER 1309 NEW BEST:: SOT 40640062 SOS 20244178 HAS SOPS 16536420 HAS SOUS 12416383 HAS SOUPS 8921251 WITH SCORE 8941495.178
AT ITER 1310 NEW BEST:: SOT 40639225 SOS 20244178 HAS SOPS 16536420 HAS SOUS 12415546 HAS SOUPS 8920414 WITH SCORE 8940658.178
AT ITER 1312 NEW BEST:: SOT 40639225 SOS 20246907 HAS SOPS 16536420 HAS SOUS 12415911 HAS SOUPS 8919232 WITH SCORE 8939478.907
AT ITER 1321 NEW BEST:: SOT 40637375 SOS 20246907 HAS SOPS 16536420 HAS SOUS 12414061 HAS SOUPS 8917382 WITH SCORE 8937628.907
AT ITER 1326 NEW BEST:: SOT 40638475 SOS 20253526 HAS SOPS 16537520 HAS SOUS 12416482 HAS SOUPS 8917170 WITH SCORE 8937423.526
AT ITER 1328 NEW BEST:: SOT 40638475 SOS 20258688 HAS SOPS 16537520 HAS SOUS 12416926 HAS SOUPS 8914811 WITH SCORE 8935069.688
AT ITER 1336 NEW BEST:: SOT 40637000 SOS 20255597 HAS SOPS 16536045 HAS SOUS 12414209 HAS SOUPS 8913523 WITH SCORE 8933778.597
AT ITER 1340 NEW BEST:: SOT 40636723 SOS 20258883 HAS SOPS 16535768 HAS SOUS 12413932 HAS SOUPS 8911251 WITH SCORE 8931509.883
AT ITER 1341 NEW BEST:: SOT 40637409 SOS 20264674 HAS SOPS 16536454 HAS SOUS 12415404 HAS SOUPS 8910211 WITH SCORE 8930475.674
AT ITER 1344 NEW BEST:: SOT 40636074 SOS 20262077 HAS SOPS 16535119 HAS SOUS 12412807 HAS SOUPS 8908876 WITH SCORE 8929138.077
AT ITER 1345 NEW BEST:: SOT 40636074 SOS 20266176 HAS SOPS 16535119 HAS SOUS 12413176 HAS SOUPS 8907011 WITH SCORE 8927277.176
AT ITER 1357 NEW BEST:: SOT 40634652 SOS 20266470 HAS SOPS 16536436 HAS SOUS 12412048 HAS SOUPS 8906906 WITH SCORE 8927172.47
AT ITER 1363 NEW BEST:: SOT 40633525 SOS 20266470 HAS SOPS 16536436 HAS SOUS 12410921 HAS SOUPS 8905779 WITH SCORE 8926045.47
AT ITER 1365 NEW BEST:: SOT 40631654 SOS 20265938 HAS SOPS 16535904 HAS SOUS 12410429 HAS SOUPS 8905287 WITH SCORE 8925552.938
AT ITER 1366 NEW BEST:: SOT 40628952 SOS 20264950 HAS SOPS 16534916 HAS SOUS 12408337 HAS SOUPS 8903195 WITH SCORE 8923459.95
AT ITER 1369 NEW BEST:: SOT 40627138 SOS 20264162 HAS SOPS 16534128 HAS SOUS 12406523 HAS SOUPS 8901381 WITH SCORE 8921645.162
AT ITER 1371 NEW BEST:: SOT 40627138 SOS 20268275 HAS SOPS 16534128 HAS SOUS 12406920 HAS SOUPS 8899523 WITH SCORE 8919791.275
AT ITER 1374 NEW BEST:: SOT 40627138 SOS 20271450 HAS SOPS 16534128 HAS SOUS 12406935 HAS SOUPS 8897943 WITH SCORE 8918214.45
AT ITER 1385 NEW BEST:: SOT 40628072 SOS 20277737 HAS SOPS 16535062 HAS SOUS 12408912 HAS SOUPS 8897399 WITH SCORE 8917676.737
AT ITER 1386 NEW BEST:: SOT 40626886 SOS 20277737 HAS SOPS 16535062 HAS SOUS 12407726 HAS SOUPS 8896213 WITH SCORE 8916490.737
AT ITER 1394 NEW BEST:: SOT 40625643 SOS 20275251 HAS SOPS 16533819 HAS SOUS 12405240 HAS SOUPS 8894970 WITH SCORE 8915245.251
AT ITER 1396 NEW BEST:: SOT 40623676 SOS 20271377 HAS SOPS 16531852 HAS SOUS 12401800 HAS SOUPS 8893220 WITH SCORE 8913491.377
AT ITER 1404 NEW BEST:: SOT 40622846 SOS 20271377 HAS SOPS 16531852 HAS SOUS 12400970 HAS SOUPS 8892390 WITH SCORE 8912661.377
AT ITER 1410 NEW BEST:: SOT 40621406 SOS 20271377 HAS SOPS 16531852 HAS SOUS 12399530 HAS SOUPS 8890950 WITH SCORE 8911221.377
AT ITER 1414 NEW BEST:: SOT 40622226 SOS 20277398 HAS SOPS 16532672 HAS SOUS 12401170 HAS SOUPS 8890216 WITH SCORE 8910493.398
AT ITER 1415 NEW BEST:: SOT 40621149 SOS 20277398 HAS SOPS 16532672 HAS SOUS 12400093 HAS SOUPS 8889139 WITH SCORE 8909416.398
AT ITER 1418 NEW BEST:: SOT 40621149 SOS 20277245 HAS SOPS 16532672 HAS SOUS 12399940 HAS SOUPS 8889139 WITH SCORE 8909416.245
AT ITER 1419 NEW BEST:: SOT 40621044 SOS 20277140 HAS SOPS 16532567 HAS SOUS 12399730 HAS SOUPS 8888929 WITH SCORE 8909206.14
AT ITER 1422 NEW BEST:: SOT 40620512 SOS 20276076 HAS SOPS 16532035 HAS SOUS 12398666 HAS SOUPS 8888397 WITH SCORE 8908673.076
AT ITER 1427 NEW BEST:: SOT 40620166 SOS 20276076 HAS SOPS 16532035 HAS SOUS 12398320 HAS SOUPS 8888051 WITH SCORE 8908327.076
AT ITER 1428 NEW BEST:: SOT 40619138 SOS 20276076 HAS SOPS 16533053 HAS SOUS 12397292 HAS SOUPS 8888041 WITH SCORE 8908317.076
AT ITER 1429 NEW BEST:: SOT 40619138 SOS 20276793 HAS SOPS 16533053 HAS SOUS 12397292 HAS SOUPS 8887818 WITH SCORE 8908094.793
AT ITER 1431 NEW BEST:: SOT 40620278 SOS 20283492 HAS SOPS 16534193 HAS SOUS 12399626 HAS SOUPS 8887686 WITH SCORE 8907969.492
AT ITER 1434 NEW BEST:: SOT 40619696 SOS 20282328 HAS SOPS 16533611 HAS SOUS 12398462 HAS SOUPS 8887104 WITH SCORE 8907386.328
AT ITER 1435 NEW BEST:: SOT 40619391 SOS 20281718 HAS SOPS 16533306 HAS SOUS 12397852 HAS SOUPS 8886799 WITH SCORE 8907080.718
AT ITER 1437 NEW BEST:: SOT 40616485 SOS 20280503 HAS SOPS 16532091 HAS SOUS 12395148 HAS SOUPS 8884095 WITH SCORE 8904375.503
AT ITER 1453 NEW BEST:: SOT 40615183 SOS 20280503 HAS SOPS 16532091 HAS SOUS 12393846 HAS SOUPS 8882793 WITH SCORE 8903073.503
AT ITER 1454 NEW BEST:: SOT 40613587 SOS 20280948 HAS SOPS 16532911 HAS SOUS 12393697 HAS SOUPS 8882644 WITH SCORE 8902924.948
AT ITER 1466 NEW BEST:: SOT 40611687 SOS 20281006 HAS SOPS 16533154 HAS SOUS 12391855 HAS SOUPS 8880987 WITH SCORE 8901268.006
AT ITER 1467 NEW BEST:: SOT 40612865 SOS 20287781 HAS SOPS 16534332 HAS SOUS 12394319 HAS SOUPS 8880931 WITH SCORE 8901218.781
AT ITER 1470 NEW BEST:: SOT 40611017 SOS 20283851 HAS SOPS 16532601 HAS SOUS 12390740 HAS SOUPS 8879317 WITH SCORE 8899600.851
AT ITER 1480 NEW BEST:: SOT 40608723 SOS 20282803 HAS SOPS 16531553 HAS SOUS 12388446 HAS SOUPS 8877023 WITH SCORE 8897305.803
AT ITER 1494 NEW BEST:: SOT 40607680 SOS 20282803 HAS SOPS 16531553 HAS SOUS 12387403 HAS SOUPS 8875980 WITH SCORE 8896262.803
AT ITER 1502 NEW BEST:: SOT 40607422 SOS 20282545 HAS SOPS 16531295 HAS SOUS 12387145 HAS SOUPS 8875722 WITH SCORE 8896004.545
AT ITER 1504 NEW BEST:: SOT 40605775 SOS 20278230 HAS SOPS 16530001 HAS SOUS 12384204 HAS SOUPS 8875096 WITH SCORE 8895374.23
AT ITER 1510 NEW BEST:: SOT 40603310 SOS 20277670 HAS SOPS 16529441 HAS SOUS 12381806 HAS SOUPS 8872698 WITH SCORE 8892975.67
AT ITER 1512 NEW BEST:: SOT 40601714 SOS 20274530 HAS SOPS 16527845 HAS SOUS 12378981 HAS SOUPS 8871417 WITH SCORE 8891691.53
AT ITER 1516 NEW BEST:: SOT 40599859 SOS 20274772 HAS SOPS 16528177 HAS SOUS 12378430 HAS SOUPS 8870956 WITH SCORE 8891230.772
AT ITER 1518 NEW BEST:: SOT 40598628 SOS 20274772 HAS SOPS 16528177 HAS SOUS 12377199 HAS SOUPS 8869725 WITH SCORE 8889999.772
AT ITER 1522 NEW BEST:: SOT 40595579 SOS 20268092 HAS SOPS 16526711 HAS SOUS 12373131 HAS SOUPS 8868883 WITH SCORE 8889151.092
AT ITER 1529 NEW BEST:: SOT 40593337 SOS 20267770 HAS SOPS 16526389 HAS SOUS 12372662 HAS SOUPS 8868414 WITH SCORE 8888681.77
AT ITER 1538 NEW BEST:: SOT 40592134 SOS 20267078 HAS SOPS 16525912 HAS SOUS 12372607 HAS SOUPS 8868359 WITH SCORE 8888626.078
AT ITER 1542 NEW BEST:: SOT 40592134 SOS 20270350 HAS SOPS 16525912 HAS SOUS 12372807 HAS SOUPS 8866823 WITH SCORE 8887093.35
AT ITER 1549 NEW BEST:: SOT 40592134 SOS 20274699 HAS SOPS 16525912 HAS SOUS 12372948 HAS SOUPS 8864719 WITH SCORE 8884993.699
AT ITER 1550 NEW BEST:: SOT 40590254 SOS 20274699 HAS SOPS 16525912 HAS SOUS 12371068 HAS SOUPS 8862839 WITH SCORE 8883113.699
AT ITER 1552 NEW BEST:: SOT 40588356 SOS 20270903 HAS SOPS 16524014 HAS SOUS 12367272 HAS SOUPS 8860941 WITH SCORE 8881211.903
AT ITER 1555 NEW BEST:: SOT 40587878 SOS 20269947 HAS SOPS 16523536 HAS SOUS 12366316 HAS SOUPS 8860463 WITH SCORE 8880732.947
AT ITER 1557 NEW BEST:: SOT 40587012 SOS 20269947 HAS SOPS 16523536 HAS SOUS 12365450 HAS SOUPS 8859597 WITH SCORE 8879866.947
AT ITER 1560 NEW BEST:: SOT 40585363 SOS 20266127 HAS SOPS 16522148 HAS SOUS 12362413 HAS SOUPS 8858470 WITH SCORE 8878736.127
AT ITER 1561 NEW BEST:: SOT 40583678 SOS 20263117 HAS SOPS 16520463 HAS SOUS 12359403 HAS SOUPS 8856785 WITH SCORE 8877048.117
AT ITER 1563 NEW BEST:: SOT 40581189 SOS 20262579 HAS SOPS 16519925 HAS SOUS 12357950 HAS SOUPS 8855332 WITH SCORE 8875594.579
AT ITER 1568 NEW BEST:: SOT 40582381 SOS 20269382 HAS SOPS 16521117 HAS SOUS 12360484 HAS SOUPS 8855304 WITH SCORE 8875573.382
AT ITER 1570 NEW BEST:: SOT 40580902 SOS 20269382 HAS SOPS 16521505 HAS SOUS 12359005 HAS SOUPS 8854213 WITH SCORE 8874482.382
AT ITER 1571 NEW BEST:: SOT 40580902 SOS 20273830 HAS SOPS 16521505 HAS SOUS 12359281 HAS SOUPS 8852127 WITH SCORE 8872400.83
AT ITER 1574 NEW BEST:: SOT 40583010 SOS 20278355 HAS SOPS 16520931 HAS SOUS 12361409 HAS SOUPS 8851552 WITH SCORE 8871830.355
AT ITER 1580 NEW BEST:: SOT 40582565 SOS 20278355 HAS SOPS 16520931 HAS SOUS 12360964 HAS SOUPS 8851107 WITH SCORE 8871385.355
AT ITER 1581 NEW BEST:: SOT 40581102 SOS 20278355 HAS SOPS 16521079 HAS SOUS 12359501 HAS SOUPS 8849792 WITH SCORE 8870070.355
AT ITER 1589 NEW BEST:: SOT 40580319 SOS 20276789 HAS SOPS 16520296 HAS SOUS 12357935 HAS SOUPS 8849009 WITH SCORE 8869285.789
AT ITER 1591 NEW BEST:: SOT 40580319 SOS 20279965 HAS SOPS 16520296 HAS SOUS 12357935 HAS SOUPS 8847421 WITH SCORE 8867700.965
AT ITER 1599 NEW BEST:: SOT 40579532 SOS 20278485 HAS SOPS 16519509 HAS SOUS 12356455 HAS SOUPS 8846634 WITH SCORE 8866912.485
AT ITER 1611 NEW BEST:: SOT 40580576 SOS 20284992 HAS SOPS 16520553 HAS SOUS 12359126 HAS SOUPS 8846310 WITH SCORE 8866594.992
AT ITER 1614 NEW BEST:: SOT 40578786 SOS 20281706 HAS SOPS 16518763 HAS SOUS 12355844 HAS SOUPS 8844522 WITH SCORE 8864803.706
AT ITER 1616 NEW BEST:: SOT 40575861 SOS 20280534 HAS SOPS 16517591 HAS SOUS 12352919 HAS SOUPS 8841597 WITH SCORE 8861877.534
AT ITER 1617 NEW BEST:: SOT 40574712 SOS 20278470 HAS SOPS 16516442 HAS SOUS 12350855 HAS SOUPS 8840448 WITH SCORE 8860726.47
AT ITER 1620 NEW BEST:: SOT 40572145 SOS 20276914 HAS SOPS 16514886 HAS SOUS 12348288 HAS SOUPS 8837881 WITH SCORE 8858157.914
AT ITER 1624 NEW BEST:: SOT 40571763 SOS 20276150 HAS SOPS 16514504 HAS SOUS 12347142 HAS SOUPS 8837117 WITH SCORE 8857393.15
AT ITER 1625 NEW BEST:: SOT 40572786 SOS 20283480 HAS SOPS 16515527 HAS SOUS 12350941 HAS SOUPS 8836886 WITH SCORE 8857169.48
AT ITER 1626 NEW BEST:: SOT 40572786 SOS 20283333 HAS SOPS 16514371 HAS SOUS 12350794 HAS SOUPS 8835730 WITH SCORE 8856013.333
AT ITER 1637 NEW BEST:: SOT 40571255 SOS 20283333 HAS SOPS 16514371 HAS SOUS 12349263 HAS SOUPS 8834199 WITH SCORE 8854482.333
AT ITER 1639 NEW BEST:: SOT 40571036 SOS 20283114 HAS SOPS 16514152 HAS SOUS 12348825 HAS SOUPS 8833761 WITH SCORE 8854044.114
AT ITER 1641 NEW BEST:: SOT 40570241 SOS 20283114 HAS SOPS 16514152 HAS SOUS 12348030 HAS SOUPS 8832966 WITH SCORE 8853249.114
AT ITER 1645 NEW BEST:: SOT 40568947 SOS 20283114 HAS SOPS 16514152 HAS SOUS 12346736 HAS SOUPS 8831672 WITH SCORE 8851955.114
AT ITER 1646 NEW BEST:: SOT 40567452 SOS 20283114 HAS SOPS 16514152 HAS SOUS 12345241 HAS SOUPS 8830177 WITH SCORE 8850460.114
AT ITER 1647 NEW BEST:: SOT 40567248 SOS 20282910 HAS SOPS 16513948 HAS SOUS 12344833 HAS SOUPS 8829769 WITH SCORE 8850051.91
AT ITER 1650 NEW BEST:: SOT 40565856 SOS 20282910 HAS SOPS 16513948 HAS SOUS 12343441 HAS SOUPS 8828377 WITH SCORE 8848659.91
AT ITER 1651 NEW BEST:: SOT 40564612 SOS 20280241 HAS SOPS 16512704 HAS SOUS 12341134 HAS SOUPS 8827314 WITH SCORE 8847594.241
AT ITER 1658 NEW BEST:: SOT 40563830 SOS 20280241 HAS SOPS 16512704 HAS SOUS 12340352 HAS SOUPS 8826532 WITH SCORE 8846812.241
AT ITER 1662 NEW BEST:: SOT 40560926 SOS 20279150 HAS SOPS 16511613 HAS SOUS 12337448 HAS SOUPS 8823628 WITH SCORE 8843907.15
AT ITER 1670 NEW BEST:: SOT 40559258 SOS 20275150 HAS SOPS 16510012 HAS SOUS 12334179 HAS SOUPS 8822691 WITH SCORE 8842966.15
AT ITER 1681 NEW BEST:: SOT 40557449 SOS 20275150 HAS SOPS 16510108 HAS SOUS 12332370 HAS SOUPS 8820978 WITH SCORE 8841253.15
AT ITER 1683 NEW BEST:: SOT 40557049 SOS 20275150 HAS SOPS 16510108 HAS SOUS 12331970 HAS SOUPS 8820578 WITH SCORE 8840853.15
AT ITER 1685 NEW BEST:: SOT 40555537 SOS 20275021 HAS SOPS 16509979 HAS SOUS 12331383 HAS SOUPS 8819991 WITH SCORE 8840266.021
AT ITER 1690 NEW BEST:: SOT 40555537 SOS 20275703 HAS SOPS 16509979 HAS SOUS 12331383 HAS SOUPS 8819650 WITH SCORE 8839925.703
AT ITER 1691 NEW BEST:: SOT 40553067 SOS 20274403 HAS SOPS 16508679 HAS SOUS 12328913 HAS SOUPS 8817180 WITH SCORE 8837454.403
AT ITER 1692 NEW BEST:: SOT 40551367 SOS 20270925 HAS SOPS 16506979 HAS SOUS 12325875 HAS SOUPS 8815700 WITH SCORE 8835970.925
AT ITER 1702 NEW BEST:: SOT 40549682 SOS 20271459 HAS SOPS 16507890 HAS SOUS 12324724 HAS SOUPS 8814926 WITH SCORE 8835197.459
AT ITER 1715 NEW BEST:: SOT 40548509 SOS 20271459 HAS SOPS 16507890 HAS SOUS 12323551 HAS SOUPS 8813753 WITH SCORE 8834024.459
AT ITER 1716 NEW BEST:: SOT 40548509 SOS 20271018 HAS SOPS 16507890 HAS SOUS 12323551 HAS SOUPS 8813753 WITH SCORE 8834024.018
AT ITER 1717 NEW BEST:: SOT 40547914 SOS 20269828 HAS SOPS 16507295 HAS SOUS 12322361 HAS SOUPS 8813158 WITH SCORE 8833427.828
AT ITER 1728 NEW BEST:: SOT 40550520 SOS 20275568 HAS SOPS 16506699 HAS SOUS 12325144 HAS SOUPS 8812510 WITH SCORE 8832785.568
AT ITER 1732 NEW BEST:: SOT 40548721 SOS 20275926 HAS SOPS 16507207 HAS SOUS 12324761 HAS SOUPS 8812277 WITH SCORE 8832552.926
AT ITER 1734 NEW BEST:: SOT 40548721 SOS 20279190 HAS SOPS 16507207 HAS SOUS 12324761 HAS SOUPS 8810645 WITH SCORE 8830924.19
AT ITER 1739 NEW BEST:: SOT 40547671 SOS 20279190 HAS SOPS 16507207 HAS SOUS 12323711 HAS SOUPS 8809595 WITH SCORE 8829874.19
AT ITER 1741 NEW BEST:: SOT 40547625 SOS 20279144 HAS SOPS 16507119 HAS SOUS 12323623 HAS SOUPS 8809507 WITH SCORE 8829786.144
AT ITER 1752 NEW BEST:: SOT 40546134 SOS 20279486 HAS SOPS 16508322 HAS SOUS 12322474 HAS SOUPS 8809219 WITH SCORE 8829498.486
AT ITER 1757 NEW BEST:: SOT 40546688 SOS 20284754 HAS SOPS 16508876 HAS SOUS 12323582 HAS SOUPS 8808174 WITH SCORE 8828458.754
AT ITER 1761 NEW BEST:: SOT 40546135 SOS 20283246 HAS SOPS 16508323 HAS SOUS 12322564 HAS SOUPS 8808023 WITH SCORE 8828306.246
AT ITER 1772 NEW BEST:: SOT 40545748 SOS 20283246 HAS SOPS 16508323 HAS SOUS 12322177 HAS SOUPS 8807636 WITH SCORE 8827919.246
AT ITER 1777 NEW BEST:: SOT 40545748 SOS 20286804 HAS SOPS 16508323 HAS SOUS 12322177 HAS SOUPS 8805857 WITH SCORE 8826143.804
AT ITER 1780 NEW BEST:: SOT 40546042 SOS 20291547 HAS SOPS 16508617 HAS SOUS 12322765 HAS SOUPS 8804297 WITH SCORE 8824588.547
AT ITER 1782 NEW BEST:: SOT 40545665 SOS 20291170 HAS SOPS 16508240 HAS SOUS 12322011 HAS SOUPS 8803543 WITH SCORE 8823834.17
AT ITER 1787 NEW BEST:: SOT 40545620 SOS 20291125 HAS SOPS 16508195 HAS SOUS 12321921 HAS SOUPS 8803453 WITH SCORE 8823744.125
AT ITER 1795 NEW BEST:: SOT 40543869 SOS 20287924 HAS SOPS 16506444 HAS SOUS 12318720 HAS SOUPS 8801702 WITH SCORE 8821989.924
AT ITER 1797 NEW BEST:: SOT 40542847 SOS 20287924 HAS SOPS 16506962 HAS SOUS 12317698 HAS SOUPS 8801198 WITH SCORE 8821485.924
AT ITER 1798 NEW BEST:: SOT 40541925 SOS 20287002 HAS SOPS 16506040 HAS SOUS 12315854 HAS SOUPS 8799354 WITH SCORE 8819641.002
AT ITER 1800 NEW BEST:: SOT 40539700 SOS 20285921 HAS SOPS 16504959 HAS SOUS 12313870 HAS SOUPS 8797370 WITH SCORE 8817655.921
AT ITER 1801 NEW BEST:: SOT 40539700 SOS 20290133 HAS SOPS 16504959 HAS SOUS 12314028 HAS SOUPS 8795343 WITH SCORE 8815633.133
AT ITER 1802 NEW BEST:: SOT 40539895 SOS 20294572 HAS SOPS 16505154 HAS SOUS 12314418 HAS SOUPS 8793691 WITH SCORE 8813985.572
AT ITER 1806 NEW BEST:: SOT 40539135 SOS 20293812 HAS SOPS 16504394 HAS SOUS 12312898 HAS SOUPS 8792171 WITH SCORE 8812464.812
AT ITER 1809 NEW BEST:: SOT 40537598 SOS 20294216 HAS SOPS 16505536 HAS SOUS 12311765 HAS SOUPS 8791776 WITH SCORE 8812070.216
AT ITER 1813 NEW BEST:: SOT 40537033 SOS 20294216 HAS SOPS 16505536 HAS SOUS 12311200 HAS SOUPS 8791211 WITH SCORE 8811505.216
AT ITER 1815 NEW BEST:: SOT 40536372 SOS 20294216 HAS SOPS 16505536 HAS SOUS 12310539 HAS SOUPS 8790550 WITH SCORE 8810844.216
AT ITER 1819 NEW BEST:: SOT 40535386 SOS 20292244 HAS SOPS 16505536 HAS SOUS 12309553 HAS SOUPS 8790550 WITH SCORE 8810842.244
AT ITER 1822 NEW BEST:: SOT 40535974 SOS 20297465 HAS SOPS 16506124 HAS SOUS 12310729 HAS SOUPS 8789688 WITH SCORE 8809985.465
AT ITER 1845 NEW BEST:: SOT 40534432 SOS 20298245 HAS SOPS 16507444 HAS SOUS 12309967 HAS SOUPS 8789466 WITH SCORE 8809764.245
AT ITER 1846 NEW BEST:: SOT 40533037 SOS 20295455 HAS SOPS 16506049 HAS SOUS 12307177 HAS SOUPS 8788071 WITH SCORE 8808366.455
AT ITER 1848 NEW BEST:: SOT 40530372 SOS 20293896 HAS SOPS 16504490 HAS SOUS 12304512 HAS SOUPS 8785406 WITH SCORE 8805699.896
AT ITER 1856 NEW BEST:: SOT 40528659 SOS 20289896 HAS SOPS 16502777 HAS SOUS 12301086 HAS SOUPS 8784267 WITH SCORE 8804556.896
AT ITER 1866 NEW BEST:: SOT 40528411 SOS 20289400 HAS SOPS 16502529 HAS SOUS 12300590 HAS SOUPS 8784019 WITH SCORE 8804308.4
AT ITER 1868 NEW BEST:: SOT 40527209 SOS 20289400 HAS SOPS 16502529 HAS SOUS 12299388 HAS SOUPS 8782817 WITH SCORE 8803106.4
AT ITER 1870 NEW BEST:: SOT 40526973 SOS 20288928 HAS SOPS 16502529 HAS SOUS 12299152 HAS SOUPS 8782817 WITH SCORE 8803105.928
AT ITER 1871 NEW BEST:: SOT 40526973 SOS 20292190 HAS SOPS 16502529 HAS SOUS 12299152 HAS SOUPS 8781186 WITH SCORE 8801478.19
AT ITER 1877 NEW BEST:: SOT 40525501 SOS 20289246 HAS SOPS 16501057 HAS SOUS 12296208 HAS SOUPS 8779714 WITH SCORE 8800003.246
AT ITER 1878 NEW BEST:: SOT 40524173 SOS 20286694 HAS SOPS 16499729 HAS SOUS 12293656 HAS SOUPS 8778386 WITH SCORE 8798672.694
AT ITER 1883 NEW BEST:: SOT 40521832 SOS 20285132 HAS SOPS 16498167 HAS SOUS 12291315 HAS SOUPS 8776045 WITH SCORE 8796330.132
AT ITER 1884 NEW BEST:: SOT 40520717 SOS 20285132 HAS SOPS 16498167 HAS SOUS 12290200 HAS SOUPS 8774930 WITH SCORE 8795215.132
AT ITER 1888 NEW BEST:: SOT 40518925 SOS 20281852 HAS SOPS 16496375 HAS SOUS 12286920 HAS SOUPS 8773138 WITH SCORE 8793419.852
AT ITER 1895 NEW BEST:: SOT 40516112 SOS 20280639 HAS SOPS 16495162 HAS SOUS 12285101 HAS SOUPS 8771319 WITH SCORE 8791599.639
AT ITER 1906 NEW BEST:: SOT 40516112 SOS 20283886 HAS SOPS 16495162 HAS SOUS 12285256 HAS SOUPS 8769773 WITH SCORE 8790056.886
AT ITER 1907 NEW BEST:: SOT 40513186 SOS 20282890 HAS SOPS 16494166 HAS SOUS 12282492 HAS SOUPS 8767009 WITH SCORE 8787291.89
AT ITER 1911 NEW BEST:: SOT 40511964 SOS 20281668 HAS SOPS 16492944 HAS SOUS 12281270 HAS SOUPS 8765787 WITH SCORE 8786068.668
AT ITER 1912 NEW BEST:: SOT 40510358 SOS 20281668 HAS SOPS 16493512 HAS SOUS 12279664 HAS SOUPS 8764749 WITH SCORE 8785030.668
AT ITER 1914 NEW BEST:: SOT 40511060 SOS 20288358 HAS SOPS 16494214 HAS SOUS 12282498 HAS SOUPS 8763874 WITH SCORE 8784162.358
AT ITER 1939 NEW BEST:: SOT 40511060 SOS 20293408 HAS SOPS 16494214 HAS SOUS 12282766 HAS SOUPS 8761483 WITH SCORE 8781776.408
AT ITER 1941 NEW BEST:: SOT 40509224 SOS 20293744 HAS SOPS 16494715 HAS SOUS 12282272 HAS SOUPS 8761154 WITH SCORE 8781447.744
AT ITER 1944 NEW BEST:: SOT 40509195 SOS 20292026 HAS SOPS 16494686 HAS SOUS 12280582 HAS SOUPS 8761121 WITH SCORE 8781413.026
AT ITER 1950 NEW BEST:: SOT 40506344 SOS 20290947 HAS SOPS 16493607 HAS SOUS 12278043 HAS SOUPS 8758582 WITH SCORE 8778872.947
AT ITER 1953 NEW BEST:: SOT 40505470 SOS 20289270 HAS SOPS 16492733 HAS SOUS 12276366 HAS SOUPS 8757708 WITH SCORE 8777997.27
AT ITER 1954 NEW BEST:: SOT 40505470 SOS 20291134 HAS SOPS 16492733 HAS SOUS 12276366 HAS SOUPS 8756776 WITH SCORE 8777067.134
AT ITER 1955 NEW BEST:: SOT 40504669 SOS 20291267 HAS SOPS 16493291 HAS SOUS 12275698 HAS SOUPS 8756533 WITH SCORE 8776824.267
AT ITER 1960 NEW BEST:: SOT 40502917 SOS 20287759 HAS SOPS 16491539 HAS SOUS 12272566 HAS SOUPS 8754969 WITH SCORE 8775256.759
AT ITER 1975 NEW BEST:: SOT 40499860 SOS 20286058 HAS SOPS 16489838 HAS SOUS 12269977 HAS SOUPS 8752380 WITH SCORE 8772666.058
AT ITER 1982 NEW BEST:: SOT 40499860 SOS 20286394 HAS SOPS 16489838 HAS SOUS 12269977 HAS SOUPS 8752044 WITH SCORE 8772330.394
AT ITER 1988 NEW BEST:: SOT 40497997 SOS 20286542 HAS SOPS 16490200 HAS SOUS 12268262 HAS SOUPS 8750543 WITH SCORE 8770829.542
AT ITER 1998 NEW BEST:: SOT 40496667 SOS 20286542 HAS SOPS 16491234 HAS SOUS 12266932 HAS SOUPS 8750247 WITH SCORE 8770533.542
AT ITER 2007 NEW BEST:: SOT 40496667 SOS 20289619 HAS SOPS 16491234 HAS SOUS 12266965 HAS SOUPS 8748725 WITH SCORE 8769014.619
AT ITER 2014 NEW BEST:: SOT 40496511 SOS 20289463 HAS SOPS 16491078 HAS SOUS 12266653 HAS SOUPS 8748413 WITH SCORE 8768702.463
AT ITER 2019 NEW BEST:: SOT 40496511 SOS 20291711 HAS SOPS 16491078 HAS SOUS 12266653 HAS SOUPS 8747289 WITH SCORE 8767580.711
AT ITER 2031 NEW BEST:: SOT 40495983 SOS 20290323 HAS SOPS 16490550 HAS SOUS 12265597 HAS SOUPS 8747093 WITH SCORE 8767383.323
AT ITER 2036 NEW BEST:: SOT 40494651 SOS 20286750 HAS SOPS 16489218 HAS SOUS 12262933 HAS SOUPS 8746670 WITH SCORE 8766956.75
AT ITER 2037 NEW BEST:: SOT 40492201 SOS 20285342 HAS SOPS 16487810 HAS SOUS 12260483 HAS SOUPS 8744220 WITH SCORE 8764505.342
AT ITER 2040 NEW BEST:: SOT 40489458 SOS 20284339 HAS SOPS 16486807 HAS SOUS 12258268 HAS SOUPS 8742005 WITH SCORE 8762289.339
AT ITER 2045 NEW BEST:: SOT 40487657 SOS 20284339 HAS SOPS 16487171 HAS SOUS 12256467 HAS SOUPS 8740568 WITH SCORE 8760852.339
AT ITER 2047 NEW BEST:: SOT 40488146 SOS 20290536 HAS SOPS 16487660 HAS SOUS 12258729 HAS SOUPS 8739334 WITH SCORE 8759624.536
AT ITER 2051 NEW BEST:: SOT 40487983 SOS 20290536 HAS SOPS 16487660 HAS SOUS 12258566 HAS SOUPS 8739171 WITH SCORE 8759461.536
AT ITER 2054 NEW BEST:: SOT 40486234 SOS 20286536 HAS SOPS 16486162 HAS SOUS 12255319 HAS SOUPS 8737946 WITH SCORE 8758232.536
AT ITER 2060 NEW BEST:: SOT 40485980 SOS 20286536 HAS SOPS 16486162 HAS SOUS 12255065 HAS SOUPS 8737692 WITH SCORE 8757978.536
AT ITER 2064 NEW BEST:: SOT 40484568 SOS 20286536 HAS SOPS 16486162 HAS SOUS 12253653 HAS SOUPS 8736280 WITH SCORE 8756566.536
AT ITER 2065 NEW BEST:: SOT 40484093 SOS 20285586 HAS SOPS 16485687 HAS SOUS 12252703 HAS SOUPS 8735805 WITH SCORE 8756090.586
AT ITER 2069 NEW BEST:: SOT 40482416 SOS 20281586 HAS SOPS 16484267 HAS SOUS 12249606 HAS SOUPS 8735031 WITH SCORE 8755312.586
AT ITER 2070 NEW BEST:: SOT 40481669 SOS 20280104 HAS SOPS 16483520 HAS SOUS 12248124 HAS SOUPS 8734284 WITH SCORE 8754564.104
AT ITER 2074 NEW BEST:: SOT 40480580 SOS 20280104 HAS SOPS 16483520 HAS SOUS 12247035 HAS SOUPS 8733195 WITH SCORE 8753475.104
AT ITER 2081 NEW BEST:: SOT 40479238 SOS 20280104 HAS SOPS 16483520 HAS SOUS 12245693 HAS SOUPS 8731853 WITH SCORE 8752133.104
AT ITER 2083 NEW BEST:: SOT 40478540 SOS 20278632 HAS SOPS 16482822 HAS SOUS 12244373 HAS SOUPS 8731231 WITH SCORE 8751509.632
AT ITER 2087 NEW BEST:: SOT 40477385 SOS 20278632 HAS SOPS 16482822 HAS SOUS 12243218 HAS SOUPS 8730076 WITH SCORE 8750354.632
AT ITER 2092 NEW BEST:: SOT 40477587 SOS 20278499 HAS SOPS 16482264 HAS SOUS 12243287 HAS SOUPS 8729720 WITH SCORE 8749998.499
AT ITER 2094 NEW BEST:: SOT 40477221 SOS 20278499 HAS SOPS 16482264 HAS SOUS 12242921 HAS SOUPS 8729354 WITH SCORE 8749632.499
AT ITER 2103 NEW BEST:: SOT 40478238 SOS 20284952 HAS SOPS 16483281 HAS SOUS 12245020 HAS SOUPS 8728976 WITH SCORE 8749260.952
AT ITER 2106 NEW BEST:: SOT 40476506 SOS 20281812 HAS SOPS 16481549 HAS SOUS 12241880 HAS SOUPS 8727244 WITH SCORE 8747525.812
AT ITER 2126 NEW BEST:: SOT 40473420 SOS 20280053 HAS SOPS 16479790 HAS SOUS 12239016 HAS SOUPS 8724380 WITH SCORE 8744660.053
AT ITER 2130 NEW BEST:: SOT 40473420 SOS 20280199 HAS SOPS 16479723 HAS SOUS 12238949 HAS SOUPS 8724167 WITH SCORE 8744447.199
AT ITER 2131 NEW BEST:: SOT 40472883 SOS 20280531 HAS SOPS 16480087 HAS SOUS 12238744 HAS SOUPS 8723994 WITH SCORE 8744274.531
AT ITER 2132 NEW BEST:: SOT 40473975 SOS 20287134 HAS SOPS 16481179 HAS SOUS 12240949 HAS SOUPS 8723766 WITH SCORE 8744053.134
AT ITER 2134 NEW BEST:: SOT 40472897 SOS 20285052 HAS SOPS 16480101 HAS SOUS 12238867 HAS SOUPS 8722688 WITH SCORE 8742973.052
AT ITER 2140 NEW BEST:: SOT 40472816 SOS 20284878 HAS SOPS 16480020 HAS SOUS 12238636 HAS SOUPS 8722538 WITH SCORE 8742822.878
AT ITER 2144 NEW BEST:: SOT 40472301 SOS 20284363 HAS SOPS 16479505 HAS SOUS 12236830 HAS SOUPS 8720732 WITH SCORE 8741016.363
AT ITER 2145 NEW BEST:: SOT 40472301 SOS 20288543 HAS SOPS 16479505 HAS SOUS 12237270 HAS SOUPS 8718862 WITH SCORE 8739150.543
AT ITER 2151 NEW BEST:: SOT 40470104 SOS 20284111 HAS SOPS 16477308 HAS SOUS 12233556 HAS SOUPS 8717024 WITH SCORE 8737308.111
AT ITER 2152 NEW BEST:: SOT 40469647 SOS 20283654 HAS SOPS 16476851 HAS SOUS 12233099 HAS SOUPS 8716567 WITH SCORE 8736850.654
AT ITER 2154 NEW BEST:: SOT 40470398 SOS 20289348 HAS SOPS 16477602 HAS SOUS 12234601 HAS SOUPS 8715884 WITH SCORE 8736173.348
AT ITER 2155 NEW BEST:: SOT 40468681 SOS 20285348 HAS SOPS 16475934 HAS SOUS 12231216 HAS SOUPS 8714782 WITH SCORE 8735067.348
AT ITER 2166 NEW BEST:: SOT 40468866 SOS 20284830 HAS SOPS 16475416 HAS SOUS 12230511 HAS SOUPS 8714077 WITH SCORE 8734361.83
AT ITER 2170 NEW BEST:: SOT 40469890 SOS 20289879 HAS SOPS 16476440 HAS SOUS 12232559 HAS SOUPS 8713980 WITH SCORE 8734269.879
AT ITER 2177 NEW BEST:: SOT 40471003 SOS 20296524 HAS SOPS 16477553 HAS SOUS 12235363 HAS SOUPS 8713794 WITH SCORE 8734090.524
AT ITER 2186 NEW BEST:: SOT 40469372 SOS 20292524 HAS SOPS 16475922 HAS SOUS 12232101 HAS SOUPS 8712901 WITH SCORE 8733193.524
AT ITER 2202 NEW BEST:: SOT 40470446 SOS 20299091 HAS SOPS 16476996 HAS SOUS 12234321 HAS SOUPS 8712637 WITH SCORE 8732936.091
AT ITER 2203 NEW BEST:: SOT 40470446 SOS 20302529 HAS SOPS 16476996 HAS SOUS 12234321 HAS SOUPS 8710918 WITH SCORE 8731220.529
AT ITER 2204 NEW BEST:: SOT 40470077 SOS 20302160 HAS SOPS 16476627 HAS SOUS 12233583 HAS SOUPS 8710180 WITH SCORE 8730482.16
AT ITER 2205 NEW BEST:: SOT 40470408 SOS 20307130 HAS SOPS 16476958 HAS SOUS 12234245 HAS SOUPS 8708541 WITH SCORE 8728848.13
AT ITER 2215 NEW BEST:: SOT 40470983 SOS 20312613 HAS SOPS 16477533 HAS SOUS 12235395 HAS SOUPS 8707365 WITH SCORE 8727677.613
AT ITER 2216 NEW BEST:: SOT 40469487 SOS 20308613 HAS SOPS 16476214 HAS SOUS 12232580 HAS SOUPS 8707054 WITH SCORE 8727362.613
AT ITER 2224 NEW BEST:: SOT 40469336 SOS 20308463 HAS SOPS 16476064 HAS SOUS 12231979 HAS SOUPS 8706453 WITH SCORE 8726761.463
AT ITER 2230 NEW BEST:: SOT 40469336 SOS 20308439 HAS SOPS 16476064 HAS SOUS 12231955 HAS SOUPS 8706453 WITH SCORE 8726761.439
AT ITER 2232 NEW BEST:: SOT 40467811 SOS 20305402 HAS SOPS 16474539 HAS SOUS 12229120 HAS SOUPS 8705029 WITH SCORE 8725334.402
AT ITER 2233 NEW BEST:: SOT 40466323 SOS 20305035 HAS SOPS 16474172 HAS SOUS 12228416 HAS SOUPS 8704325 WITH SCORE 8724630.035
AT ITER 2234 NEW BEST:: SOT 40465299 SOS 20305035 HAS SOPS 16474172 HAS SOUS 12227392 HAS SOUPS 8703301 WITH SCORE 8723606.035
AT ITER 2238 NEW BEST:: SOT 40464330 SOS 20303325 HAS SOPS 16473203 HAS SOUS 12225682 HAS SOUPS 8702332 WITH SCORE 8722635.325
AT ITER 2241 NEW BEST:: SOT 40464720 SOS 20308418 HAS SOPS 16473593 HAS SOUS 12226462 HAS SOUPS 8700806 WITH SCORE 8721114.418
AT ITER 2252 NEW BEST:: SOT 40464244 SOS 20307704 HAS SOPS 16473117 HAS SOUS 12225748 HAS SOUPS 8700330 WITH SCORE 8720637.704
AT ITER 2260 NEW BEST:: SOT 40462689 SOS 20304409 HAS SOPS 16471562 HAS SOUS 12222939 HAS SOUPS 8699018 WITH SCORE 8719322.409
AT ITER 2265 NEW BEST:: SOT 40463754 SOS 20310958 HAS SOPS 16472627 HAS SOUS 12225117 HAS SOUPS 8698736 WITH SCORE 8719046.958
AT ITER 2281 NEW BEST:: SOT 40464564 SOS 20312648 HAS SOPS 16472339 HAS SOUS 12225853 HAS SOUPS 8698448 WITH SCORE 8718760.648
AT ITER 2298 NEW BEST:: SOT 40463202 SOS 20312648 HAS SOPS 16473569 HAS SOUS 12224491 HAS SOUPS 8698316 WITH SCORE 8718628.648
AT ITER 2301 NEW BEST:: SOT 40463942 SOS 20319337 HAS SOPS 16474309 HAS SOUS 12227516 HAS SOUPS 8697594 WITH SCORE 8717913.337
AT ITER 2302 NEW BEST:: SOT 40463942 SOS 20324122 HAS SOPS 16474309 HAS SOUS 12227755 HAS SOUPS 8695321 WITH SCORE 8715645.122
AT ITER 2304 NEW BEST:: SOT 40463912 SOS 20324062 HAS SOPS 16474279 HAS SOUS 12227695 HAS SOUPS 8695291 WITH SCORE 8715615.062
AT ITER 2308 NEW BEST:: SOT 40463912 SOS 20328366 HAS SOPS 16474279 HAS SOUS 12227695 HAS SOUPS 8693139 WITH SCORE 8713467.366
AT ITER 2314 NEW BEST:: SOT 40463360 SOS 20328366 HAS SOPS 16474279 HAS SOUS 12227143 HAS SOUPS 8692587 WITH SCORE 8712915.366
AT ITER 2316 NEW BEST:: SOT 40463125 SOS 20327896 HAS SOPS 16474044 HAS SOUS 12226673 HAS SOUPS 8692352 WITH SCORE 8712679.896
AT ITER 2327 NEW BEST:: SOT 40463125 SOS 20330790 HAS SOPS 16474044 HAS SOUS 12226673 HAS SOUPS 8690905 WITH SCORE 8711235.79
AT ITER 2330 NEW BEST:: SOT 40461568 SOS 20326790 HAS SOPS 16472541 HAS SOUS 12223613 HAS SOUPS 8690288 WITH SCORE 8710614.79
AT ITER 2336 NEW BEST:: SOT 40461217 SOS 20326790 HAS SOPS 16472541 HAS SOUS 12223262 HAS SOUPS 8689937 WITH SCORE 8710263.79
AT ITER 2340 NEW BEST:: SOT 40461728 SOS 20332712 HAS SOPS 16473052 HAS SOUS 12225909 HAS SOUPS 8689066 WITH SCORE 8709398.712
AT ITER 2342 NEW BEST:: SOT 40461728 SOS 20337300 HAS SOPS 16473052 HAS SOUS 12225949 HAS SOUPS 8686792 WITH SCORE 8707129.3
AT ITER 2344 NEW BEST:: SOT 40460741 SOS 20337300 HAS SOPS 16473052 HAS SOUS 12224962 HAS SOUPS 8685805 WITH SCORE 8706142.3
AT ITER 2355 NEW BEST:: SOT 40459183 SOS 20334184 HAS SOPS 16471494 HAS SOUS 12221846 HAS SOUPS 8684247 WITH SCORE 8704581.184
AT ITER 2359 NEW BEST:: SOT 40458686 SOS 20333687 HAS SOPS 16470997 HAS SOUS 12220852 HAS SOUPS 8683253 WITH SCORE 8703586.687
AT ITER 2368 NEW BEST:: SOT 40455587 SOS 20331902 HAS SOPS 16469212 HAS SOUS 12217901 HAS SOUPS 8680302 WITH SCORE 8700633.902
AT ITER 2384 NEW BEST:: SOT 40454579 SOS 20329851 HAS SOPS 16468204 HAS SOUS 12215920 HAS SOUPS 8679329 WITH SCORE 8699658.851
AT ITER 2389 NEW BEST:: SOT 40452209 SOS 20325131 HAS SOPS 16465834 HAS SOUS 12211956 HAS SOUPS 8677337 WITH SCORE 8697662.131
AT ITER 2394 NEW BEST:: SOT 40452125 SOS 20325047 HAS SOPS 16465750 HAS SOUS 12211788 HAS SOUPS 8677169 WITH SCORE 8697494.047
AT ITER 2395 NEW BEST:: SOT 40450551 SOS 20325431 HAS SOPS 16466808 HAS SOUS 12210598 HAS SOUPS 8676653 WITH SCORE 8696978.431
AT ITER 2398 NEW BEST:: SOT 40450084 SOS 20324467 HAS SOPS 16466341 HAS SOUS 12209664 HAS SOUPS 8676216 WITH SCORE 8696540.467
AT ITER 2400 NEW BEST:: SOT 40449175 SOS 20323558 HAS SOPS 16465432 HAS SOUS 12208755 HAS SOUPS 8675307 WITH SCORE 8695630.558
AT ITER 2404 NEW BEST:: SOT 40448476 SOS 20323558 HAS SOPS 16465432 HAS SOUS 12208056 HAS SOUPS 8674608 WITH SCORE 8694931.558
AT ITER 2412 NEW BEST:: SOT 40449238 SOS 20330131 HAS SOPS 16466194 HAS SOUS 12211351 HAS SOUPS 8674112 WITH SCORE 8694442.131
AT ITER 2416 NEW BEST:: SOT 40448239 SOS 20328283 HAS SOPS 16465195 HAS SOUS 12209503 HAS SOUPS 8673113 WITH SCORE 8693441.283
AT ITER 2420 NEW BEST:: SOT 40448239 SOS 20332956 HAS SOPS 16465195 HAS SOUS 12209730 HAS SOUPS 8670890 WITH SCORE 8691222.956
AT ITER 2428 NEW BEST:: SOT 40447831 SOS 20332140 HAS SOPS 16464787 HAS SOUS 12208914 HAS SOUPS 8670482 WITH SCORE 8690814.14
AT ITER 2432 NEW BEST:: SOT 40447831 SOS 20332509 HAS SOPS 16464787 HAS SOUS 12208914 HAS SOUPS 8670309 WITH SCORE 8690641.509
AT ITER 2438 NEW BEST:: SOT 40447531 SOS 20332177 HAS SOPS 16464487 HAS SOUS 12208282 HAS SOUPS 8669709 WITH SCORE 8690041.177
AT ITER 2439 NEW BEST:: SOT 40446839 SOS 20332177 HAS SOPS 16464487 HAS SOUS 12207590 HAS SOUPS 8669017 WITH SCORE 8689349.177
AT ITER 2446 NEW BEST:: SOT 40443783 SOS 20330478 HAS SOPS 16462788 HAS SOUS 12204538 HAS SOUPS 8665965 WITH SCORE 8686295.478
AT ITER 2451 NEW BEST:: SOT 40441839 SOS 20326478 HAS SOPS 16460875 HAS SOUS 12200681 HAS SOUPS 8664164 WITH SCORE 8684490.478
AT ITER 2452 NEW BEST:: SOT 40441796 SOS 20326478 HAS SOPS 16460875 HAS SOUS 12200638 HAS SOUPS 8664121 WITH SCORE 8684447.478
AT ITER 2457 NEW BEST:: SOT 40439841 SOS 20324884 HAS SOPS 16459281 HAS SOUS 12198900 HAS SOUPS 8662383 WITH SCORE 8682707.884
AT ITER 2478 NEW BEST:: SOT 40436677 SOS 20322969 HAS SOPS 16457366 HAS SOUS 12196140 HAS SOUPS 8659623 WITH SCORE 8679945.969
AT ITER 2486 NEW BEST:: SOT 40436163 SOS 20322210 HAS SOPS 16456607 HAS SOUS 12195201 HAS SOUPS 8658684 WITH SCORE 8679006.21
AT ITER 2487 NEW BEST:: SOT 40435334 SOS 20322210 HAS SOPS 16456607 HAS SOUS 12194372 HAS SOUPS 8657855 WITH SCORE 8678177.21
AT ITER 2490 NEW BEST:: SOT 40436196 SOS 20328353 HAS SOPS 16457469 HAS SOUS 12196290 HAS SOUPS 8657167 WITH SCORE 8677495.353
AT ITER 2493 NEW BEST:: SOT 40435964 SOS 20327667 HAS SOPS 16457237 HAS SOUS 12196048 HAS SOUPS 8657157 WITH SCORE 8677484.667
AT ITER 2497 NEW BEST:: SOT 40435076 SOS 20327667 HAS SOPS 16457237 HAS SOUS 12195160 HAS SOUPS 8656269 WITH SCORE 8676596.667
AT ITER 2499 NEW BEST:: SOT 40433636 SOS 20324837 HAS SOPS 16455797 HAS SOUS 12192426 HAS SOUPS 8654877 WITH SCORE 8675201.837
AT ITER 2512 NEW BEST:: SOT 40432562 SOS 20322689 HAS SOPS 16455797 HAS SOUS 12191352 HAS SOUPS 8654877 WITH SCORE 8675199.689
AT ITER 2522 NEW BEST:: SOT 40431135 SOS 20323113 HAS SOPS 16457169 HAS SOUS 12190349 HAS SOUPS 8654822 WITH SCORE 8675145.113
AT ITER 2525 NEW BEST:: SOT 40429668 SOS 20320179 HAS SOPS 16455702 HAS SOUS 12187415 HAS SOUPS 8653355 WITH SCORE 8673675.179
AT ITER 2528 NEW BEST:: SOT 40428982 SOS 20320179 HAS SOPS 16455702 HAS SOUS 12186729 HAS SOUPS 8652669 WITH SCORE 8672989.179
AT ITER 2530 NEW BEST:: SOT 40427263 SOS 20316741 HAS SOPS 16453983 HAS SOUS 12183291 HAS SOUPS 8650950 WITH SCORE 8671266.741
AT ITER 2554 NEW BEST:: SOT 40427263 SOS 20320593 HAS SOPS 16453983 HAS SOUS 12183423 HAS SOUPS 8649090 WITH SCORE 8669410.593
AT ITER 2555 NEW BEST:: SOT 40427263 SOS 20324888 HAS SOPS 16453983 HAS SOUS 12183848 HAS SOUPS 8647155 WITH SCORE 8667479.888
AT ITER 2561 NEW BEST:: SOT 40426367 SOS 20322945 HAS SOPS 16453087 HAS SOUS 12181311 HAS SOUPS 8645514 WITH SCORE 8665836.945
AT ITER 2567 NEW BEST:: SOT 40423835 SOS 20322034 HAS SOPS 16452176 HAS SOUS 12178835 HAS SOUPS 8643038 WITH SCORE 8663360.034
AT ITER 2581 NEW BEST:: SOT 40423131 SOS 20321276 HAS SOPS 16451418 HAS SOUS 12177688 HAS SOUPS 8641891 WITH SCORE 8662212.276
AT ITER 2592 NEW BEST:: SOT 40423131 SOS 20325318 HAS SOPS 16451418 HAS SOUS 12177978 HAS SOUPS 8640015 WITH SCORE 8660340.318
AT ITER 2598 NEW BEST:: SOT 40423899 SOS 20331155 HAS SOPS 16452186 HAS SOUS 12179514 HAS SOUPS 8639257 WITH SCORE 8659588.155
AT ITER 2599 NEW BEST:: SOT 40422334 SOS 20331155 HAS SOPS 16452482 HAS SOUS 12177949 HAS SOUPS 8637988 WITH SCORE 8658319.155
AT ITER 2605 NEW BEST:: SOT 40421952 SOS 20331155 HAS SOPS 16452482 HAS SOUS 12177567 HAS SOUPS 8637606 WITH SCORE 8657937.155
AT ITER 2612 NEW BEST:: SOT 40420232 SOS 20329466 HAS SOPS 16450793 HAS SOUS 12176523 HAS SOUPS 8636562 WITH SCORE 8656891.466
AT ITER 2617 NEW BEST:: SOT 40420232 SOS 20333056 HAS SOPS 16450793 HAS SOUS 12176523 HAS SOUPS 8634767 WITH SCORE 8655100.056
AT ITER 2619 NEW BEST:: SOT 40420232 SOS 20338250 HAS SOPS 16450793 HAS SOUS 12177007 HAS SOUPS 8632412 WITH SCORE 8652750.25
AT ITER 2628 NEW BEST:: SOT 40418354 SOS 20334494 HAS SOPS 16448915 HAS SOUS 12173251 HAS SOUPS 8630534 WITH SCORE 8650868.494
AT ITER 2633 NEW BEST:: SOT 40418185 SOS 20338038 HAS SOPS 16448746 HAS SOUS 12173082 HAS SOUPS 8628245 WITH SCORE 8648583.038
AT ITER 2635 NEW BEST:: SOT 42351517 SOS 21168361 HAS SOPS 14204577 HAS SOUS 14109498 HAS SOUPS 7490169 WITH SCORE 7511337.361
AT ITER 2642 NEW BEST:: SOT 42352136 SOS 21170978 HAS SOPS 14202633 HAS SOUS 14110332 HAS SOUPS 7487819 WITH SCORE 7508989.978
AT ITER 2650 NEW BEST:: SOT 42350274 SOS 21167254 HAS SOPS 14200771 HAS SOUS 14106608 HAS SOUPS 7485957 WITH SCORE 7507124.254
AT ITER 2666 NEW BEST:: SOT 42349955 SOS 21166935 HAS SOPS 14200452 HAS SOUS 14106044 HAS SOUPS 7485393 WITH SCORE 7506559.935
AT ITER 2669 NEW BEST:: SOT 42349955 SOS 21166896 HAS SOPS 14200452 HAS SOUS 14105604 HAS SOUPS 7484953 WITH SCORE 7506119.896
AT ITER 2677 NEW BEST:: SOT 42350886 SOS 21169578 HAS SOPS 14199626 HAS SOUS 14107217 HAS SOUPS 7483876 WITH SCORE 7505045.578
AT ITER 2684 NEW BEST:: SOT 42352744 SOS 21174105 HAS SOPS 14198818 HAS SOUS 14110674 HAS SOUPS 7483198 WITH SCORE 7504372.105
AT ITER 2685 NEW BEST:: SOT 42353027 SOS 21174819 HAS SOPS 14197046 HAS SOUS 14109933 HAS SOUPS 7481141 WITH SCORE 7502315.819
AT ITER 2694 NEW BEST:: SOT 42351238 SOS 21170819 HAS SOPS 14195257 HAS SOUS 14106355 HAS SOUPS 7479774 WITH SCORE 7500944.819
AT ITER 2700 NEW BEST:: SOT 42351238 SOS 21170819 HAS SOPS 14195257 HAS SOUS 14106177 HAS SOUPS 7479596 WITH SCORE 7500766.819
AT ITER 2705 NEW BEST:: SOT 42353192 SOS 21175161 HAS SOPS 14195203 HAS SOUS 14109290 HAS SOUPS 7479184 WITH SCORE 7500359.161
AT ITER 2706 NEW BEST:: SOT 42353192 SOS 21173207 HAS SOPS 14195203 HAS SOUS 14109288 HAS SOUPS 7479184 WITH SCORE 7500357.207
AT ITER 2707 NEW BEST:: SOT 42353505 SOS 21173835 HAS SOPS 14193955 HAS SOUS 14109601 HAS SOUPS 7477621 WITH SCORE 7498794.835
AT ITER 2727 NEW BEST:: SOT 42352223 SOS 21171489 HAS SOPS 14192834 HAS SOUS 14107255 HAS SOUPS 7476500 WITH SCORE 7497671.489
AT ITER 2735 NEW BEST:: SOT 42353182 SOS 21173447 HAS SOPS 14191928 HAS SOUS 14107949 HAS SOUPS 7475188 WITH SCORE 7496361.447
AT ITER 2738 NEW BEST:: SOT 42353182 SOS 21173142 HAS SOPS 14191928 HAS SOUS 14107644 HAS SOUPS 7475188 WITH SCORE 7496361.142
AT ITER 2745 NEW BEST:: SOT 42351343 SOS 21169142 HAS SOPS 14190089 HAS SOUS 14103966 HAS SOUPS 7473671 WITH SCORE 7494840.142
AT ITER 2754 NEW BEST:: SOT 42351343 SOS 21167624 HAS SOPS 14190089 HAS SOUS 14103966 HAS SOUPS 7473671 WITH SCORE 7494838.624
AT ITER 2761 NEW BEST:: SOT 42351343 SOS 21167453 HAS SOPS 14190089 HAS SOUS 14103795 HAS SOUPS 7473671 WITH SCORE 7494838.453
AT ITER 2770 NEW BEST:: SOT 42351343 SOS 21167453 HAS SOPS 14189103 HAS SOUS 14103795 HAS SOUPS 7472685 WITH SCORE 7493852.453
AT ITER 2793 NEW BEST:: SOT 42351573 SOS 21167102 HAS SOPS 14185751 HAS SOUS 14103212 HAS SOUPS 7469101 WITH SCORE 7490268.102
AT ITER 2794 NEW BEST:: SOT 42351876 SOS 21167405 HAS SOPS 14185648 HAS SOUS 14103515 HAS SOUPS 7468998 WITH SCORE 7490165.405
AT ITER 2798 NEW BEST:: SOT 42351141 SOS 21166670 HAS SOPS 14184913 HAS SOUS 14103205 HAS SOUPS 7468688 WITH SCORE 7489854.67
AT ITER 2801 NEW BEST:: SOT 42349631 SOS 21163650 HAS SOPS 14183403 HAS SOUS 14100185 HAS SOUPS 7467178 WITH SCORE 7488341.65
AT ITER 2816 NEW BEST:: SOT 42349989 SOS 21165155 HAS SOPS 14182547 HAS SOUS 14100543 HAS SOUPS 7465962 WITH SCORE 7487127.155
AT ITER 2820 NEW BEST:: SOT 41974743 SOS 20790410 HAS SOPS 13932053 HAS SOUS 13725747 HAS SOUPS 7215417 WITH SCORE 7236207.41
AT ITER 2822 NEW BEST:: SOT 41975000 SOS 20791538 HAS SOPS 13931345 HAS SOUS 13726004 HAS SOUPS 7214450 WITH SCORE 7235241.538
AT ITER 2824 NEW BEST:: SOT 41975232 SOS 20791839 HAS SOPS 13931508 HAS SOUS 13725554 HAS SOUPS 7213862 WITH SCORE 7234653.839
AT ITER 2835 NEW BEST:: SOT 41973744 SOS 20788863 HAS SOPS 13930020 HAS SOUS 13722578 HAS SOUPS 7212374 WITH SCORE 7233162.863
AT ITER 2837 NEW BEST:: SOT 41973744 SOS 20788863 HAS SOPS 13929650 HAS SOUS 13722578 HAS SOUPS 7212004 WITH SCORE 7232792.863
AT ITER 2850 NEW BEST:: SOT 41973330 SOS 20788436 HAS SOPS 13929236 HAS SOUS 13721737 HAS SOUPS 7211176 WITH SCORE 7231964.436
AT ITER 2860 NEW BEST:: SOT 41973174 SOS 20787766 HAS SOPS 13929080 HAS SOUS 13720439 HAS SOUPS 7210192 WITH SCORE 7230979.766
AT ITER 2863 NEW BEST:: SOT 41973174 SOS 20787766 HAS SOPS 13927784 HAS SOUS 13720439 HAS SOUPS 7208896 WITH SCORE 7229683.766
AT ITER 2864 NEW BEST:: SOT 41973518 SOS 20788435 HAS SOPS 13927456 HAS SOUS 13721214 HAS SOUPS 7208674 WITH SCORE 7229462.435
AT ITER 2865 NEW BEST:: SOT 41974315 SOS 20790676 HAS SOPS 13926976 HAS SOUS 13722404 HAS SOUPS 7207788 WITH SCORE 7228578.676
AT ITER 2871 NEW BEST:: SOT 41974371 SOS 20793020 HAS SOPS 13922216 HAS SOUS 13722253 HAS SOUPS 7202970 WITH SCORE 7223763.02
AT ITER 2873 NEW BEST:: SOT 41974371 SOS 20792948 HAS SOPS 13922216 HAS SOUS 13722181 HAS SOUPS 7202970 WITH SCORE 7223762.948
AT ITER 2874 NEW BEST:: SOT 41973365 SOS 20790618 HAS SOPS 13921769 HAS SOUS 13719851 HAS SOUPS 7202523 WITH SCORE 7223313.618
AT ITER 2877 NEW BEST:: SOT 41973159 SOS 20790412 HAS SOPS 13921563 HAS SOUS 13719645 HAS SOUPS 7202317 WITH SCORE 7223107.412
AT ITER 2880 NEW BEST:: SOT 41973369 SOS 20791014 HAS SOPS 13920449 HAS SOUS 13719267 HAS SOUPS 7200991 WITH SCORE 7221782.014
AT ITER 2891 NEW BEST:: SOT 41972683 SOS 20789552 HAS SOPS 13919934 HAS SOUS 13717805 HAS SOUPS 7200476 WITH SCORE 7221265.552
AT ITER 2900 NEW BEST:: SOT 41973298 SOS 20791388 HAS SOPS 13919536 HAS SOUS 13718631 HAS SOUPS 7199672 WITH SCORE 7220463.388
AT ITER 2908 NEW BEST:: SOT 41973298 SOS 20791388 HAS SOPS 13917900 HAS SOUS 13718631 HAS SOUPS 7198036 WITH SCORE 7218827.388
AT ITER 2909 NEW BEST:: SOT 41972238 SOS 20788926 HAS SOPS 13917450 HAS SOUS 13716169 HAS SOUPS 7197586 WITH SCORE 7218374.926
AT ITER 2914 NEW BEST:: SOT 41971248 SOS 20786946 HAS SOPS 13916460 HAS SOUS 13714189 HAS SOUPS 7196596 WITH SCORE 7217382.946
AT ITER 2925 NEW BEST:: SOT 41972026 SOS 20788914 HAS SOPS 13916450 HAS SOUS 13715341 HAS SOUPS 7196180 WITH SCORE 7216968.914
AT ITER 2926 NEW BEST:: SOT 41972732 SOS 20791490 HAS SOPS 13914936 HAS SOUS 13716349 HAS SOUPS 7194260 WITH SCORE 7215051.49
AT ITER 2945 NEW BEST:: SOT 41973210 SOS 20792750 HAS SOPS 13914742 HAS SOUS 13717703 HAS SOUPS 7194066 WITH SCORE 7214858.75
AT ITER 2952 NEW BEST:: SOT 41973210 SOS 20792337 HAS SOPS 13914742 HAS SOUS 13716687 HAS SOUPS 7193394 WITH SCORE 7214186.337
AT ITER 2957 NEW BEST:: SOT 41973210 SOS 20791200 HAS SOPS 13914742 HAS SOUS 13716687 HAS SOUPS 7193394 WITH SCORE 7214185.2
AT ITER 2960 NEW BEST:: SOT 41972499 SOS 20789266 HAS SOPS 13914031 HAS SOUS 13715265 HAS SOUPS 7193195 WITH SCORE 7213984.266
AT ITER 2962 NEW BEST:: SOT 41972514 SOS 20789830 HAS SOPS 13914046 HAS SOUS 13715466 HAS SOUPS 7192847 WITH SCORE 7213636.83
AT ITER 2969 NEW BEST:: SOT 41972514 SOS 20789980 HAS SOPS 13914046 HAS SOUS 13715466 HAS SOUPS 7192697 WITH SCORE 7213486.98
AT ITER 2975 NEW BEST:: SOT 41972514 SOS 20789980 HAS SOPS 13912756 HAS SOUS 13715466 HAS SOUPS 7191407 WITH SCORE 7212196.98
AT ITER 2985 NEW BEST:: SOT 41972514 SOS 20789980 HAS SOPS 13911820 HAS SOUS 13715466 HAS SOUPS 7190471 WITH SCORE 7211260.98
AT ITER 2991 NEW BEST:: SOT 41972514 SOS 20789495 HAS SOPS 13911820 HAS SOUS 13715466 HAS SOUPS 7190471 WITH SCORE 7211260.495
AT ITER 2999 NEW BEST:: SOT 41973204 SOS 20792099 HAS SOPS 13910186 HAS SOUS 13716442 HAS SOUPS 7188431 WITH SCORE 7209223.099
AT ITER 3008 NEW BEST:: SOT 41973411 SOS 20792945 HAS SOPS 13909742 HAS SOUS 13716649 HAS SOUPS 7187778 WITH SCORE 7208570.945
AT ITER 3011 NEW BEST:: SOT 41973411 SOS 20792749 HAS SOPS 13909742 HAS SOUS 13716588 HAS SOUPS 7187717 WITH SCORE 7208509.749
AT ITER 3014 NEW BEST:: SOT 41973431 SOS 20793148 HAS SOPS 13909070 HAS SOUS 13716608 HAS SOUPS 7187023 WITH SCORE 7207816.148
AT ITER 3016 NEW BEST:: SOT 41973516 SOS 20793278 HAS SOPS 13909110 HAS SOUS 13716693 HAS SOUPS 7187018 WITH SCORE 7207811.278
AT ITER 3038 NEW BEST:: SOT 41971860 SOS 20789278 HAS SOPS 13907774 HAS SOUS 13713701 HAS SOUPS 7186370 WITH SCORE 7207159.278
AT ITER 3053 NEW BEST:: SOT 41972169 SOS 20791181 HAS SOPS 13905828 HAS SOUS 13714010 HAS SOUPS 7184113 WITH SCORE 7204904.181
AT ITER 3065 NEW BEST:: SOT 41972983 SOS 20794019 HAS SOPS 13904222 HAS SOUS 13715234 HAS SOUPS 7182101 WITH SCORE 7202895.019
AT ITER 3075 NEW BEST:: SOT 41971551 SOS 20791155 HAS SOPS 13902790 HAS SOUS 13712370 HAS SOUPS 7180669 WITH SCORE 7201460.155
AT ITER 3081 NEW BEST:: SOT 41970016 SOS 20787155 HAS SOPS 13901375 HAS SOUS 13709420 HAS SOUPS 7180184 WITH SCORE 7200971.155
AT ITER 3099 NEW BEST:: SOT 41970144 SOS 20787039 HAS SOPS 13900885 HAS SOUS 13709174 HAS SOUPS 7179564 WITH SCORE 7200351.039
AT ITER 3101 NEW BEST:: SOT 41969825 SOS 20786720 HAS SOPS 13900566 HAS SOUS 13708536 HAS SOUPS 7178926 WITH SCORE 7199712.72
AT ITER 3105 NEW BEST:: SOT 41969951 SOS 20786974 HAS SOPS 13900342 HAS SOUS 13708662 HAS SOUPS 7178574 WITH SCORE 7199360.974
AT ITER 3107 NEW BEST:: SOT 41968963 SOS 20785054 HAS SOPS 13899530 HAS SOUS 13706742 HAS SOUPS 7177762 WITH SCORE 7198547.054
AT ITER 3113 NEW BEST:: SOT 41968966 SOS 20785658 HAS SOPS 13898346 HAS SOUS 13706745 HAS SOUPS 7176573 WITH SCORE 7197358.658
AT ITER 3121 NEW BEST:: SOT 41969074 SOS 20785766 HAS SOPS 13897782 HAS SOUS 13707232 HAS SOUPS 7176009 WITH SCORE 7196794.766
AT ITER 3124 NEW BEST:: SOT 41969965 SOS 20787959 HAS SOPS 13897774 HAS SOUS 13708610 HAS SOUPS 7175595 WITH SCORE 7196382.959
AT ITER 3125 NEW BEST:: SOT 41969367 SOS 20786667 HAS SOPS 13897309 HAS SOUS 13707318 HAS SOUPS 7175130 WITH SCORE 7195916.667
AT ITER 3130 NEW BEST:: SOT 41970246 SOS 20789192 HAS SOPS 13896589 HAS SOUS 13708672 HAS SOUPS 7174004 WITH SCORE 7194793.192
AT ITER 3139 NEW BEST:: SOT 41969693 SOS 20788639 HAS SOPS 13896036 HAS SOUS 13707566 HAS SOUPS 7172898 WITH SCORE 7193686.639
AT ITER 3147 NEW BEST:: SOT 41969693 SOS 20788121 HAS SOPS 13896036 HAS SOUS 13707048 HAS SOUPS 7172898 WITH SCORE 7193686.121
AT ITER 3159 NEW BEST:: SOT 41969289 SOS 20787313 HAS SOPS 13895632 HAS SOUS 13706240 HAS SOUPS 7172494 WITH SCORE 7193281.313
AT ITER 3160 NEW BEST:: SOT 41969265 SOS 20789177 HAS SOPS 13895608 HAS SOUS 13706216 HAS SOUPS 7172470 WITH SCORE 7193259.177
AT ITER 3163 NEW BEST:: SOT 41969265 SOS 20789093 HAS SOPS 13895608 HAS SOUS 13706192 HAS SOUPS 7172446 WITH SCORE 7193235.093
AT ITER 3169 NEW BEST:: SOT 41969265 SOS 20791131 HAS SOPS 13892912 HAS SOUS 13706357 HAS SOUPS 7169345 WITH SCORE 7190136.131
AT ITER 3172 NEW BEST:: SOT 41969265 SOS 20791131 HAS SOPS 13891594 HAS SOUS 13706357 HAS SOUPS 7168027 WITH SCORE 7188818.131
AT ITER 3186 NEW BEST:: SOT 41969669 SOS 20793512 HAS SOPS 13889398 HAS SOUS 13706761 HAS SOUPS 7165191 WITH SCORE 7185984.512
AT ITER 3188 NEW BEST:: SOT 41967783 SOS 20789740 HAS SOPS 13887512 HAS SOUS 13702989 HAS SOUPS 7163305 WITH SCORE 7184094.74
AT ITER 3211 NEW BEST:: SOT 41966365 SOS 20786904 HAS SOPS 13886094 HAS SOUS 13700153 HAS SOUPS 7161887 WITH SCORE 7182673.904
AT ITER 3221 NEW BEST:: SOT 41965285 SOS 20784338 HAS SOPS 13885692 HAS SOUS 13697599 HAS SOUPS 7161491 WITH SCORE 7182275.338
AT ITER 3225 NEW BEST:: SOT 41963320 SOS 20780408 HAS SOPS 13883727 HAS SOUS 13693669 HAS SOUPS 7159526 WITH SCORE 7180306.408
AT ITER 3236 NEW BEST:: SOT 41963898 SOS 20782957 HAS SOPS 13881755 HAS SOUS 13694421 HAS SOUPS 7157148 WITH SCORE 7177930.957
AT ITER 3244 NEW BEST:: SOT 41963898 SOS 20783209 HAS SOPS 13881503 HAS SOUS 13694673 HAS SOUPS 7156896 WITH SCORE 7177679.209
AT ITER 3247 NEW BEST:: SOT 41963895 SOS 20783203 HAS SOPS 13881500 HAS SOUS 13694667 HAS SOUPS 7156893 WITH SCORE 7177676.203
AT ITER 3256 NEW BEST:: SOT 41962096 SOS 20779203 HAS SOPS 13879710 HAS SOUS 13691078 HAS SOUPS 7155505 WITH SCORE 7176284.203
AT ITER 3261 NEW BEST:: SOT 41962096 SOS 20778787 HAS SOPS 13879710 HAS SOUS 13690252 HAS SOUPS 7154833 WITH SCORE 7175611.787
AT ITER 3295 NEW BEST:: SOT 41962549 SOS 20779240 HAS SOPS 13880163 HAS SOUS 13690208 HAS SOUPS 7154789 WITH SCORE 7175568.24
AT ITER 3302 NEW BEST:: SOT 41962222 SOS 20778900 HAS SOPS 13879836 HAS SOUS 13689554 HAS SOUPS 7154135 WITH SCORE 7174913.9
AT ITER 3310 NEW BEST:: SOT 41962410 SOS 20779744 HAS SOPS 13879282 HAS SOUS 13689742 HAS SOUPS 7153391 WITH SCORE 7174170.744
AT ITER 3311 NEW BEST:: SOT 41962814 SOS 20779597 HAS SOPS 13879274 HAS SOUS 13689849 HAS SOUPS 7153383 WITH SCORE 7174162.597
AT ITER 3322 NEW BEST:: SOT 41962814 SOS 20779496 HAS SOPS 13879274 HAS SOUS 13689748 HAS SOUPS 7153383 WITH SCORE 7174162.496
AT ITER 3344 NEW BEST:: SOT 41961760 SOS 20777575 HAS SOPS 13878298 HAS SOUS 13687827 HAS SOUPS 7152407 WITH SCORE 7173184.575
AT ITER 3347 NEW BEST:: SOT 41961760 SOS 20777269 HAS SOPS 13878298 HAS SOUS 13687521 HAS SOUPS 7152407 WITH SCORE 7173184.269
AT ITER 3351 NEW BEST:: SOT 41962508 SOS 20779458 HAS SOPS 13877726 HAS SOUS 13688613 HAS SOUPS 7151429 WITH SCORE 7172208.458
AT ITER 3360 NEW BEST:: SOT 41962043 SOS 20778269 HAS SOPS 13877520 HAS SOUS 13687424 HAS SOUPS 7151223 WITH SCORE 7172001.269
AT ITER 3366 NEW BEST:: SOT 41962043 SOS 20779897 HAS SOPS 13874698 HAS SOUS 13687350 HAS SOUPS 7148207 WITH SCORE 7168986.897
AT ITER 3375 NEW BEST:: SOT 41961375 SOS 20778065 HAS SOPS 13874598 HAS SOUS 13685518 HAS SOUPS 7148107 WITH SCORE 7168885.065
AT ITER 3395 NEW BEST:: SOT 41962357 SOS 20778918 HAS SOPS 13873242 HAS SOUS 13685387 HAS SOUPS 7145767 WITH SCORE 7166545.918
AT ITER 3422 NEW BEST:: SOT 41962357 SOS 20778918 HAS SOPS 13870094 HAS SOUS 13685387 HAS SOUPS 7142619 WITH SCORE 7163397.918
AT ITER 3425 NEW BEST:: SOT 41962261 SOS 20778822 HAS SOPS 13869998 HAS SOUS 13685291 HAS SOUPS 7142523 WITH SCORE 7163301.822
AT ITER 3444 NEW BEST:: SOT 41962500 SOS 20779302 HAS SOPS 13868546 HAS SOUS 13685530 HAS SOUPS 7140830 WITH SCORE 7161609.302
AT ITER 3449 NEW BEST:: SOT 41961719 SOS 20776975 HAS SOPS 13867765 HAS SOUS 13683968 HAS SOUPS 7140814 WITH SCORE 7161590.975
AT ITER 3451 NEW BEST:: SOT 41961571 SOS 20776679 HAS SOPS 13867617 HAS SOUS 13683672 HAS SOUPS 7140666 WITH SCORE 7161442.679
AT ITER 3457 NEW BEST:: SOT 41962461 SOS 20779346 HAS SOPS 13866657 HAS SOUS 13685048 HAS SOUPS 7139300 WITH SCORE 7160079.346
AT ITER 3465 NEW BEST:: SOT 41962461 SOS 20779193 HAS SOPS 13866657 HAS SOUS 13684895 HAS SOUPS 7139300 WITH SCORE 7160079.193
AT ITER 3478 NEW BEST:: SOT 41962934 SOS 20780548 HAS SOPS 13866653 HAS SOUS 13685437 HAS SOUPS 7138890 WITH SCORE 7159670.548
AT ITER 3482 NEW BEST:: SOT 41962692 SOS 20780306 HAS SOPS 13866411 HAS SOUS 13685437 HAS SOUPS 7138890 WITH SCORE 7159670.306
AT ITER 3494 NEW BEST:: SOT 41961080 SOS 20776306 HAS SOPS 13864799 HAS SOUS 13682213 HAS SOUPS 7138054 WITH SCORE 7158830.306
AT ITER 3497 NEW BEST:: SOT 41961305 SOS 20777370 HAS SOPS 13864410 HAS SOUS 13683277 HAS SOUPS 7137665 WITH SCORE 7158442.37
AT ITER 3501 NEW BEST:: SOT 41960001 SOS 20774562 HAS SOPS 13863696 HAS SOUS 13680469 HAS SOUPS 7136951 WITH SCORE 7157725.562
AT ITER 3502 NEW BEST:: SOT 41960705 SOS 20777730 HAS SOPS 13860990 HAS SOUS 13681473 HAS SOUPS 7133839 WITH SCORE 7154616.73
AT ITER 3512 NEW BEST:: SOT 41959569 SOS 20775592 HAS SOPS 13860026 HAS SOUS 13679335 HAS SOUPS 7132875 WITH SCORE 7153650.592
AT ITER 3516 NEW BEST:: SOT 41959569 SOS 20775592 HAS SOPS 13858028 HAS SOUS 13679335 HAS SOUPS 7130877 WITH SCORE 7151652.592
AT ITER 3527 NEW BEST:: SOT 41959869 SOS 20776804 HAS SOPS 13857284 HAS SOUS 13679572 HAS SOUPS 7129831 WITH SCORE 7150607.804
AT ITER 3529 NEW BEST:: SOT 41958048 SOS 20773134 HAS SOPS 13855477 HAS SOUS 13675944 HAS SOUPS 7128038 WITH SCORE 7148811.134
AT ITER 3533 NEW BEST:: SOT 41957185 SOS 20771408 HAS SOPS 13854614 HAS SOUS 13674218 HAS SOUPS 7127175 WITH SCORE 7147946.408
AT ITER 3535 NEW BEST:: SOT 41957865 SOS 20772770 HAS SOPS 13852760 HAS SOUS 13674898 HAS SOUPS 7124639 WITH SCORE 7145411.77
AT ITER 3538 NEW BEST:: SOT 41957674 SOS 20772579 HAS SOPS 13852569 HAS SOUS 13674707 HAS SOUPS 7124448 WITH SCORE 7145220.579
AT ITER 3541 NEW BEST:: SOT 41958360 SOS 20775150 HAS SOPS 13850985 HAS SOUS 13675675 HAS SOUPS 7122458 WITH SCORE 7143233.15
AT ITER 3571 NEW BEST:: SOT 41958447 SOS 20775411 HAS SOPS 13850985 HAS SOUS 13675762 HAS SOUPS 7122371 WITH SCORE 7143146.411
AT ITER 3578 NEW BEST:: SOT 41958447 SOS 20777865 HAS SOPS 13847606 HAS SOUS 13676076 HAS SOUPS 7118587 WITH SCORE 7139364.865
AT ITER 3582 NEW BEST:: SOT 41956942 SOS 20774855 HAS SOPS 13846101 HAS SOUS 13673066 HAS SOUPS 7117082 WITH SCORE 7137856.855
AT ITER 3594 NEW BEST:: SOT 41956942 SOS 20774275 HAS SOPS 13846101 HAS SOUS 13672837 HAS SOUPS 7117082 WITH SCORE 7137856.275
AT ITER 3608 NEW BEST:: SOT 41958072 SOS 20778225 HAS SOPS 13843535 HAS SOUS 13674666 HAS SOUPS 7114110 WITH SCORE 7134888.225
AT ITER 3623 NEW BEST:: SOT 41958433 SOS 20779642 HAS SOPS 13842873 HAS SOUS 13675027 HAS SOUPS 7113085 WITH SCORE 7133864.642
AT ITER 3675 NEW BEST:: SOT 41958533 SOS 20779741 HAS SOPS 13842300 HAS SOUS 13676773 HAS SOUPS 7112513 WITH SCORE 7133292.741
AT ITER 3684 NEW BEST:: SOT 41958634 SOS 20780576 HAS SOPS 13841242 HAS SOUS 13676874 HAS SOUPS 7111352 WITH SCORE 7132132.576
AT ITER 3688 NEW BEST:: SOT 41958541 SOS 20780390 HAS SOPS 13841149 HAS SOUS 13676595 HAS SOUPS 7111166 WITH SCORE 7131946.39
AT ITER 3707 NEW BEST:: SOT 41958541 SOS 20780375 HAS SOPS 13841149 HAS SOUS 13676580 HAS SOUPS 7111166 WITH SCORE 7131946.375
AT ITER 3712 NEW BEST:: SOT 41958818 SOS 20781636 HAS SOPS 13840295 HAS SOUS 13676857 HAS SOUPS 7110033 WITH SCORE 7130814.636
AT ITER 3727 NEW BEST:: SOT 41959573 SOS 20784497 HAS SOPS 13838407 HAS SOUS 13677963 HAS SOUPS 7107739 WITH SCORE 7128523.497
AT ITER 3728 NEW BEST:: SOT 41959930 SOS 20785949 HAS SOPS 13837651 HAS SOUS 13678320 HAS SOUPS 7106624 WITH SCORE 7127409.949
AT ITER 3744 NEW BEST:: SOT 41960240 SOS 20786571 HAS SOPS 13837597 HAS SOUS 13678630 HAS SOUPS 7106258 WITH SCORE 7127044.571
AT ITER 3745 NEW BEST:: SOT 41958689 SOS 20783469 HAS SOPS 13836046 HAS SOUS 13675528 HAS SOUPS 7104707 WITH SCORE 7125490.469
AT ITER 3778 NEW BEST:: SOT 41958563 SOS 20783343 HAS SOPS 13835920 HAS SOUS 13675276 HAS SOUPS 7104455 WITH SCORE 7125238.343
AT ITER 3784 NEW BEST:: SOT 41958563 SOS 20783259 HAS SOPS 13833124 HAS SOUS 13675192 HAS SOUPS 7101659 WITH SCORE 7122442.259
AT ITER 3794 NEW BEST:: SOT 41959050 SOS 20784631 HAS SOPS 13831696 HAS SOUS 13675039 HAS SOUPS 7099825 WITH SCORE 7120609.631
AT ITER 3808 NEW BEST:: SOT 41957472 SOS 20781475 HAS SOPS 13830118 HAS SOUS 13671883 HAS SOUPS 7098247 WITH SCORE 7119028.475
AT ITER 3809 NEW BEST:: SOT 41957472 SOS 20784410 HAS SOPS 13825245 HAS SOUS 13671836 HAS SOUPS 7092969 WITH SCORE 7113753.41
AT ITER 3818 NEW BEST:: SOT 41957336 SOS 20785421 HAS SOPS 13824436 HAS SOUS 13673116 HAS SOUPS 7092161 WITH SCORE 7112946.421
AT ITER 3826 NEW BEST:: SOT 41957336 SOS 20785158 HAS SOPS 13824436 HAS SOUS 13673116 HAS SOUPS 7092161 WITH SCORE 7112946.158
AT ITER 3845 NEW BEST:: SOT 41955542 SOS 20781158 HAS SOPS 13822642 HAS SOUS 13669528 HAS SOUPS 7090779 WITH SCORE 7111560.158
AT ITER 3849 NEW BEST:: SOT 41955554 SOS 20781622 HAS SOPS 13821792 HAS SOUS 13669540 HAS SOUPS 7089915 WITH SCORE 7110696.622
AT ITER 3854 NEW BEST:: SOT 41956629 SOS 20784461 HAS SOPS 13821228 HAS SOUS 13671286 HAS SOUPS 7088945 WITH SCORE 7109729.461
AT ITER 3881 NEW BEST:: SOT 41956351 SOS 20783905 HAS SOPS 13820950 HAS SOUS 13670730 HAS SOUPS 7088667 WITH SCORE 7109450.905
AT ITER 3889 NEW BEST:: SOT 41956443 SOS 20787015 HAS SOPS 13816261 HAS SOUS 13671178 HAS SOUPS 7083573 WITH SCORE 7104360.015
AT ITER 3890 NEW BEST:: SOT 41956775 SOS 20788804 HAS SOPS 13814681 HAS SOUS 13671510 HAS SOUPS 7081659 WITH SCORE 7102447.804
AT ITER 3901 NEW BEST:: SOT 41957662 SOS 20791751 HAS SOPS 13813149 HAS SOUS 13672880 HAS SOUPS 7079721 WITH SCORE 7100512.751
AT ITER 3904 NEW BEST:: SOT 41957777 SOS 20791983 HAS SOPS 13811535 HAS SOUS 13672995 HAS SOUPS 7077990 WITH SCORE 7098781.983
AT ITER 3910 NEW BEST:: SOT 41957042 SOS 20790513 HAS SOPS 13810800 HAS SOUS 13671525 HAS SOUPS 7077255 WITH SCORE 7098045.513
AT ITER 3935 NEW BEST:: SOT 41956833 SOS 20790304 HAS SOPS 13810591 HAS SOUS 13670714 HAS SOUPS 7076444 WITH SCORE 7097234.304
AT ITER 3941 NEW BEST:: SOT 41957233 SOS 20790919 HAS SOPS 13810991 HAS SOUS 13670825 HAS SOUPS 7076340 WITH SCORE 7097130.919
AT ITER 3942 NEW BEST:: SOT 41958058 SOS 20792571 HAS SOPS 13806785 HAS SOUS 13671650 HAS SOUPS 7071307 WITH SCORE 7092099.571
AT ITER 3947 NEW BEST:: SOT 41958172 SOS 20794230 HAS SOPS 13806226 HAS SOUS 13673328 HAS SOUPS 7070749 WITH SCORE 7091543.23
AT ITER 3952 NEW BEST:: SOT 41958172 SOS 20796726 HAS SOPS 13802648 HAS SOUS 13673527 HAS SOUPS 7066766 WITH SCORE 7087562.726
AT ITER 3967 NEW BEST:: SOT 41958172 SOS 20796791 HAS SOPS 13802518 HAS SOUS 13673527 HAS SOUPS 7066636 WITH SCORE 7087432.791
AT ITER 3970 NEW BEST:: SOT 41957857 SOS 20796476 HAS SOPS 13802203 HAS SOUS 13672897 HAS SOUPS 7066006 WITH SCORE 7086802.476
AT ITER 3972 NEW BEST:: SOT 41955857 SOS 20791908 HAS SOPS 13801301 HAS SOUS 13669649 HAS SOUPS 7065672 WITH SCORE 7086463.908
AT ITER 3979 NEW BEST:: SOT 40121610 SOS 20163701 HAS SOPS 13171745 HAS SOUS 11837360 HAS SOUPS 5232034 WITH SCORE 5252197.701
AT ITER 3981 NEW BEST:: SOT 40117189 SOS 20156723 HAS SOPS 13167392 HAS SOUS 11831075 HAS SOUPS 5228238 WITH SCORE 5248394.723
AT ITER 3983 NEW BEST:: SOT 40116056 SOS 20155856 HAS SOPS 13165315 HAS SOUS 11831617 HAS SOUPS 5227570 WITH SCORE 5247725.856
AT ITER 3986 NEW BEST:: SOT 40114598 SOS 20152975 HAS SOPS 13163857 HAS SOUS 11830124 HAS SOUPS 5227500 WITH SCORE 5247652.975
AT ITER 3988 NEW BEST:: SOT 40113604 SOS 20151981 HAS SOPS 13162628 HAS SOUS 11829130 HAS SOUPS 5226271 WITH SCORE 5246422.981
AT ITER 3991 NEW BEST:: SOT 40110576 SOS 20147439 HAS SOPS 13159600 HAS SOUS 11824588 HAS SOUPS 5223243 WITH SCORE 5243390.439
AT ITER 4017 NEW BEST:: SOT 40111002 SOS 20148971 HAS SOPS 13159054 HAS SOUS 11825036 HAS SOUPS 5222291 WITH SCORE 5242439.971
AT ITER 4018 NEW BEST:: SOT 40107002 SOS 20142663 HAS SOPS 13155054 HAS SOUS 11819344 HAS SOUPS 5218907 WITH SCORE 5239049.663
AT ITER 4031 NEW BEST:: SOT 40107002 SOS 20142259 HAS SOPS 13154246 HAS SOUS 11818940 HAS SOUPS 5218099 WITH SCORE 5238241.259
AT ITER 4033 NEW BEST:: SOT 40103002 SOS 20135885 HAS SOPS 13150585 HAS SOUS 11813653 HAS SOUPS 5215186 WITH SCORE 5235321.885
AT ITER 4034 NEW BEST:: SOT 40103736 SOS 20139565 HAS SOPS 13146975 HAS SOUS 11814717 HAS SOUPS 5211170 WITH SCORE 5231309.565
AT ITER 4036 NEW BEST:: SOT 40103236 SOS 20139368 HAS SOPS 13145763 HAS SOUS 11814833 HAS SOUPS 5210168 WITH SCORE 5230307.368
AT ITER 4037 NEW BEST:: SOT 40098671 SOS 20131307 HAS SOPS 13141877 HAS SOUS 11808924 HAS SOUPS 5207078 WITH SCORE 5227209.307
AT ITER 4039 NEW BEST:: SOT 40094718 SOS 20125207 HAS SOPS 13138021 HAS SOUS 11803165 HAS SOUPS 5203369 WITH SCORE 5223494.207
AT ITER 4044 NEW BEST:: SOT 40091484 SOS 20120356 HAS SOPS 13134787 HAS SOUS 11798314 HAS SOUPS 5200135 WITH SCORE 5220255.356
AT ITER 4051 NEW BEST:: SOT 40091285 SOS 20120157 HAS SOPS 13134588 HAS SOUS 11798115 HAS SOUPS 5199936 WITH SCORE 5220056.157
AT ITER 4053 NEW BEST:: SOT 40091174 SOS 20120046 HAS SOPS 13134477 HAS SOUS 11797893 HAS SOUPS 5199714 WITH SCORE 5219834.046
AT ITER 4064 NEW BEST:: SOT 40091762 SOS 20122283 HAS SOPS 13133169 HAS SOUS 11798665 HAS SOUPS 5198000 WITH SCORE 5218122.283
AT ITER 4067 NEW BEST:: SOT 40090950 SOS 20121065 HAS SOPS 13132357 HAS SOUS 11797447 HAS SOUPS 5197188 WITH SCORE 5217309.065
AT ITER 4075 NEW BEST:: SOT 40090992 SOS 20121067 HAS SOPS 13132275 HAS SOUS 11797405 HAS SOUPS 5197062 WITH SCORE 5217183.067
AT ITER 4103 NEW BEST:: SOT 40090845 SOS 20120920 HAS SOPS 13132128 HAS SOUS 11797111 HAS SOUPS 5196768 WITH SCORE 5216888.92
AT ITER 4107 NEW BEST:: SOT 40093157 SOS 20126063 HAS SOPS 13131904 HAS SOUS 11800713 HAS SOUPS 5196138 WITH SCORE 5216264.063
AT ITER 4126 NEW BEST:: SOT 40092485 SOS 20125935 HAS SOPS 13130289 HAS SOUS 11800933 HAS SOUPS 5194794 WITH SCORE 5214919.935
AT ITER 4134 NEW BEST:: SOT 40091387 SOS 20124837 HAS SOPS 13128904 HAS SOUS 11799835 HAS SOUPS 5193409 WITH SCORE 5213533.837
AT ITER 4147 NEW BEST:: SOT 40091066 SOS 20124516 HAS SOPS 13128583 HAS SOUS 11799514 HAS SOUPS 5193088 WITH SCORE 5213212.516
AT ITER 4151 NEW BEST:: SOT 40090683 SOS 20123750 HAS SOPS 13128200 HAS SOUS 11799131 HAS SOUPS 5193088 WITH SCORE 5213211.75
AT ITER 4156 NEW BEST:: SOT 40090190 SOS 20123257 HAS SOPS 13127707 HAS SOUS 11798638 HAS SOUPS 5192595 WITH SCORE 5212718.257
AT ITER 4161 NEW BEST:: SOT 40089530 SOS 20122597 HAS SOPS 13126979 HAS SOUS 11797978 HAS SOUPS 5191867 WITH SCORE 5211989.597
AT ITER 4163 NEW BEST:: SOT 40088974 SOS 20121178 HAS SOPS 13126746 HAS SOUS 11796559 HAS SOUPS 5191634 WITH SCORE 5211755.178
AT ITER 4168 NEW BEST:: SOT 40088302 SOS 20121377 HAS SOPS 13125131 HAS SOUS 11797233 HAS SOUPS 5190290 WITH SCORE 5210411.377
AT ITER 4169 NEW BEST:: SOT 40087916 SOS 20120991 HAS SOPS 13124359 HAS SOUS 11796847 HAS SOUPS 5189518 WITH SCORE 5209638.991
AT ITER 4170 NEW BEST:: SOT 40088358 SOS 20122750 HAS SOPS 13123423 HAS SOUS 11797327 HAS SOUPS 5188176 WITH SCORE 5208298.75
AT ITER 4174 NEW BEST:: SOT 40087058 SOS 20119670 HAS SOPS 13122893 HAS SOUS 11794443 HAS SOUPS 5187744 WITH SCORE 5207863.67
AT ITER 4176 NEW BEST:: SOT 40083058 SOS 20113434 HAS SOPS 13118893 HAS SOUS 11788679 HAS SOUPS 5184216 WITH SCORE 5204329.434
AT ITER 4184 NEW BEST:: SOT 40083058 SOS 20113434 HAS SOPS 13118515 HAS SOUS 11788679 HAS SOUPS 5183838 WITH SCORE 5203951.434
AT ITER 4185 NEW BEST:: SOT 40082386 SOS 20113176 HAS SOPS 13116900 HAS SOUS 11788989 HAS SOUPS 5182494 WITH SCORE 5202607.176
AT ITER 4190 NEW BEST:: SOT 40082386 SOS 20109723 HAS SOPS 13116900 HAS SOUS 11787638 HAS SOUPS 5181822 WITH SCORE 5201931.723
AT ITER 4191 NEW BEST:: SOT 40081714 SOS 20109100 HAS SOPS 13115285 HAS SOUS 11788116 HAS SOUPS 5180478 WITH SCORE 5200587.1
AT ITER 4193 NEW BEST:: SOT 40082106 SOS 20109390 HAS SOPS 13115079 HAS SOUS 11788012 HAS SOUPS 5179878 WITH SCORE 5199987.39
AT ITER 4211 NEW BEST:: SOT 40081198 SOS 20108482 HAS SOPS 13113979 HAS SOUS 11787104 HAS SOUPS 5178778 WITH SCORE 5198886.482
AT ITER 4212 NEW BEST:: SOT 40081367 SOS 20109591 HAS SOPS 13112781 HAS SOUS 11787273 HAS SOUPS 5177409 WITH SCORE 5197518.591
AT ITER 4218 NEW BEST:: SOT 40081332 SOS 20109217 HAS SOPS 13112746 HAS SOUS 11787203 HAS SOUPS 5177339 WITH SCORE 5197448.217
AT ITER 4232 NEW BEST:: SOT 40081332 SOS 20109217 HAS SOPS 13112488 HAS SOUS 11787203 HAS SOUPS 5177081 WITH SCORE 5197190.217
AT ITER 4233 NEW BEST:: SOT 40081214 SOS 20109592 HAS SOPS 13111427 HAS SOUS 11788401 HAS SOUPS 5176843 WITH SCORE 5196952.592
AT ITER 4256 NEW BEST:: SOT 40081506 SOS 20110178 HAS SOPS 13111129 HAS SOUS 11788693 HAS SOUPS 5176251 WITH SCORE 5196361.178
AT ITER 4273 NEW BEST:: SOT 40079234 SOS 20109171 HAS SOPS 13107913 HAS SOUS 11788339 HAS SOUPS 5173307 WITH SCORE 5193416.171
AT ITER 4285 NEW BEST:: SOT 40079234 SOS 20109171 HAS SOPS 13107913 HAS SOUS 11788113 HAS SOUPS 5173081 WITH SCORE 5193190.171
AT ITER 4287 NEW BEST:: SOT 40079234 SOS 20108387 HAS SOPS 13107913 HAS SOUS 11787329 HAS SOUPS 5173081 WITH SCORE 5193189.387
AT ITER 4289 NEW BEST:: SOT 40076374 SOS 20104097 HAS SOPS 13105053 HAS SOUS 11783039 HAS SOUPS 5170221 WITH SCORE 5190325.097
AT ITER 4292 NEW BEST:: SOT 40073717 SOS 20099920 HAS SOPS 13102396 HAS SOUS 11779245 HAS SOUPS 5167947 WITH SCORE 5188046.92
AT ITER 4293 NEW BEST:: SOT 40073528 SOS 20100399 HAS SOPS 13101264 HAS SOUS 11780476 HAS SOUPS 5167567 WITH SCORE 5187667.399
AT ITER 4295 NEW BEST:: SOT 40070234 SOS 20095458 HAS SOPS 13097970 HAS SOUS 11775535 HAS SOUPS 5164273 WITH SCORE 5184368.458
AT ITER 4300 NEW BEST:: SOT 40071076 SOS 20099067 HAS SOPS 13094934 HAS SOUS 11776815 HAS SOUPS 5160831 WITH SCORE 5180930.067
AT ITER 4301 NEW BEST:: SOT 40070406 SOS 20098856 HAS SOPS 13093321 HAS SOUS 11777285 HAS SOUPS 5159489 WITH SCORE 5179587.856
AT ITER 4309 NEW BEST:: SOT 40069158 SOS 20096189 HAS SOPS 13092606 HAS SOUS 11774618 HAS SOUPS 5158774 WITH SCORE 5178870.189
AT ITER 4314 NEW BEST:: SOT 40068720 SOS 20095751 HAS SOPS 13092168 HAS SOUS 11774180 HAS SOUPS 5158336 WITH SCORE 5178431.751
AT ITER 4324 NEW BEST:: SOT 40068654 SOS 20097020 HAS SOPS 13092102 HAS SOUS 11774114 HAS SOUPS 5158270 WITH SCORE 5178367.02
AT ITER 4329 NEW BEST:: SOT 40067982 SOS 20096148 HAS SOPS 13090487 HAS SOUS 11775861 HAS SOUPS 5156926 WITH SCORE 5177022.148
AT ITER 4342 NEW BEST:: SOT 40068233 SOS 20096866 HAS SOPS 13090487 HAS SOUS 11776147 HAS SOUPS 5156710 WITH SCORE 5176806.866
AT ITER 4348 NEW BEST:: SOT 40067651 SOS 20095171 HAS SOPS 13089905 HAS SOUS 11773779 HAS SOUPS 5155455 WITH SCORE 5175550.171
AT ITER 4349 NEW BEST:: SOT 40068069 SOS 20096007 HAS SOPS 13090255 HAS SOUS 11774129 HAS SOUPS 5155387 WITH SCORE 5175483.007
AT ITER 4350 NEW BEST:: SOT 40064699 SOS 20090892 HAS SOPS 13086925 HAS SOUS 11769134 HAS SOUPS 5152097 WITH SCORE 5172187.892
AT ITER 4353 NEW BEST:: SOT 40065112 SOS 20092406 HAS SOPS 13086363 HAS SOUS 11769556 HAS SOUPS 5151129 WITH SCORE 5171221.406
AT ITER 4364 NEW BEST:: SOT 40064775 SOS 20092990 HAS SOPS 13085083 HAS SOUS 11770746 HAS SOUPS 5150455 WITH SCORE 5170547.99
AT ITER 4366 NEW BEST:: SOT 40060775 SOS 20086779 HAS SOPS 13081083 HAS SOUS 11764957 HAS SOUPS 5146877 WITH SCORE 5166963.779
AT ITER 4385 NEW BEST:: SOT 40060569 SOS 20086573 HAS SOPS 13080877 HAS SOUS 11764751 HAS SOUPS 5146671 WITH SCORE 5166757.573
AT ITER 4387 NEW BEST:: SOT 40060467 SOS 20086420 HAS SOPS 13080775 HAS SOUS 11764598 HAS SOUPS 5146569 WITH SCORE 5166655.42
AT ITER 4401 NEW BEST:: SOT 40060576 SOS 20086884 HAS SOPS 13080507 HAS SOUS 11764707 HAS SOUPS 5146190 WITH SCORE 5166276.884
AT ITER 4405 NEW BEST:: SOT 40060645 SOS 20088050 HAS SOPS 13078595 HAS SOUS 11764776 HAS SOUPS 5144207 WITH SCORE 5164295.05
AT ITER 4407 NEW BEST:: SOT 40058019 SOS 20084111 HAS SOPS 13075969 HAS SOUS 11760837 HAS SOUPS 5141581 WITH SCORE 5161665.111
AT ITER 4417 NEW BEST:: SOT 39709695 SOS 19735787 HAS SOPS 12726779 HAS SOUS 11411123 HAS SOUPS 4791001 WITH SCORE 4810736.787
AT ITER 4429 NEW BEST:: SOT 39707366 SOS 19731872 HAS SOPS 12725179 HAS SOUS 11407322 HAS SOUPS 4789458 WITH SCORE 4809189.872
AT ITER 4435 NEW BEST:: SOT 39706694 SOS 19731438 HAS SOPS 12723564 HAS SOUS 11407547 HAS SOUPS 4788114 WITH SCORE 4807845.438
AT ITER 4441 NEW BEST:: SOT 39702253 SOS 19724556 HAS SOPS 12719123 HAS SOUS 11401106 HAS SOUPS 4784114 WITH SCORE 4803838.556
AT ITER 4443 NEW BEST:: SOT 39704087 SOS 19728430 HAS SOPS 12719525 HAS SOUS 11403991 HAS SOUPS 4784110 WITH SCORE 4803838.43
AT ITER 4449 NEW BEST:: SOT 39703458 SOS 19728207 HAS SOPS 12717993 HAS SOUS 11404042 HAS SOUPS 4782852 WITH SCORE 4802580.207
AT ITER 4453 NEW BEST:: SOT 39703421 SOS 19728170 HAS SOPS 12717919 HAS SOUS 11404005 HAS SOUPS 4782778 WITH SCORE 4802506.17
AT ITER 4465 NEW BEST:: SOT 39703985 SOS 19728834 HAS SOPS 12713888 HAS SOUS 11403894 HAS SOUPS 4777972 WITH SCORE 4797700.834
AT ITER 4468 NEW BEST:: SOT 39703051 SOS 19727261 HAS SOPS 12712954 HAS SOUS 11402665 HAS SOUPS 4777382 WITH SCORE 4797109.261
AT ITER 4469 NEW BEST:: SOT 39702574 SOS 19727297 HAS SOPS 12711534 HAS SOUS 11403165 HAS SOUPS 4776426 WITH SCORE 4796153.297
AT ITER 4475 NEW BEST:: SOT 39702574 SOS 19727675 HAS SOPS 12710778 HAS SOUS 11403165 HAS SOUPS 4775670 WITH SCORE 4795397.675
AT ITER 4478 NEW BEST:: SOT 39698574 SOS 19721272 HAS SOPS 12706778 HAS SOUS 11397568 HAS SOUPS 4772476 WITH SCORE 4792197.272
AT ITER 4481 NEW BEST:: SOT 39697904 SOS 19721559 HAS SOPS 12705165 HAS SOUS 11398207 HAS SOUPS 4771134 WITH SCORE 4790855.559
AT ITER 4493 NEW BEST:: SOT 39694658 SOS 19716661 HAS SOPS 12701919 HAS SOUS 11393367 HAS SOUPS 4767946 WITH SCORE 4787662.661
AT ITER 4500 NEW BEST:: SOT 39694658 SOS 19716384 HAS SOPS 12701919 HAS SOUS 11393090 HAS SOUPS 4767946 WITH SCORE 4787662.384
AT ITER 4515 NEW BEST:: SOT 39694069 SOS 19715795 HAS SOPS 12700741 HAS SOUS 11392501 HAS SOUPS 4766768 WITH SCORE 4786483.795
AT ITER 4542 NEW BEST:: SOT 39694649 SOS 19716014 HAS SOPS 12699429 HAS SOUS 11392138 HAS SOUPS 4764874 WITH SCORE 4784590.014
AT ITER 4545 NEW BEST:: SOT 39692987 SOS 19713454 HAS SOPS 12697901 HAS SOUS 11389578 HAS SOUPS 4763346 WITH SCORE 4783059.454
AT ITER 4558 NEW BEST:: SOT 39691475 SOS 19710934 HAS SOPS 12696893 HAS SOUS 11387058 HAS SOUPS 4762338 WITH SCORE 4782048.934
AT ITER 4561 NEW BEST:: SOT 39686948 SOS 19703828 HAS SOPS 12692392 HAS SOUS 11380583 HAS SOUPS 4758416 WITH SCORE 4778119.828
AT ITER 4567 NEW BEST:: SOT 39685344 SOS 19700651 HAS SOPS 12691726 HAS SOUS 11377938 HAS SOUPS 4758016 WITH SCORE 4777716.651
AT ITER 4569 NEW BEST:: SOT 39682064 SOS 19695731 HAS SOPS 12688446 HAS SOUS 11373018 HAS SOUPS 4754736 WITH SCORE 4774431.731
AT ITER 4587 NEW BEST:: SOT 39682064 SOS 19695731 HAS SOPS 12688050 HAS SOUS 11372820 HAS SOUPS 4754340 WITH SCORE 4774035.731
AT ITER 4588 NEW BEST:: SOT 39682338 SOS 19696526 HAS SOPS 12687888 HAS SOUS 11372658 HAS SOUPS 4753742 WITH SCORE 4773438.526
AT ITER 4591 NEW BEST:: SOT 39681501 SOS 19695093 HAS SOPS 12687406 HAS SOUS 11371225 HAS SOUPS 4753260 WITH SCORE 4772955.093
AT ITER 4593 NEW BEST:: SOT 39681858 SOS 19695807 HAS SOPS 12687406 HAS SOUS 11371582 HAS SOUPS 4752903 WITH SCORE 4772598.807
AT ITER 4601 NEW BEST:: SOT 39681798 SOS 19696248 HAS SOPS 12687015 HAS SOUS 11372322 HAS SOUPS 4752783 WITH SCORE 4772479.248
AT ITER 4609 NEW BEST:: SOT 39681126 SOS 19695799 HAS SOPS 12685513 HAS SOUS 11372214 HAS SOUPS 4751439 WITH SCORE 4771134.799
AT ITER 4610 NEW BEST:: SOT 39681126 SOS 19695518 HAS SOPS 12685513 HAS SOUS 11372214 HAS SOUPS 4751439 WITH SCORE 4771134.518
AT ITER 4616 NEW BEST:: SOT 39681159 SOS 19695586 HAS SOPS 12684261 HAS SOUS 11372247 HAS SOUPS 4750152 WITH SCORE 4769847.586
AT ITER 4619 NEW BEST:: SOT 39680425 SOS 19694630 HAS SOPS 12684039 HAS SOUS 11371513 HAS SOUPS 4750152 WITH SCORE 4769846.63
AT ITER 4620 NEW BEST:: SOT 39681175 SOS 19696734 HAS SOPS 12683834 HAS SOUS 11372819 HAS SOUPS 4749548 WITH SCORE 4769244.734
AT ITER 4623 NEW BEST:: SOT 39679737 SOS 19694820 HAS SOPS 12682948 HAS SOUS 11370905 HAS SOUPS 4748662 WITH SCORE 4768356.82
AT ITER 4624 NEW BEST:: SOT 39679087 SOS 19694170 HAS SOPS 12681648 HAS SOUS 11370255 HAS SOUPS 4747362 WITH SCORE 4767056.17
AT ITER 4643 NEW BEST:: SOT 39676947 SOS 19690361 HAS SOPS 12680438 HAS SOUS 11366962 HAS SOUPS 4746410 WITH SCORE 4766100.361
AT ITER 4649 NEW BEST:: SOT 39675639 SOS 19688746 HAS SOPS 12679437 HAS SOUS 11366179 HAS SOUPS 4746241 WITH SCORE 4765929.746
AT ITER 4660 NEW BEST:: SOT 39675614 SOS 19690709 HAS SOPS 12679412 HAS SOUS 11366154 HAS SOUPS 4746216 WITH SCORE 4765906.709
AT ITER 4662 NEW BEST:: SOT 39675522 SOS 19690704 HAS SOPS 12679407 HAS SOUS 11365970 HAS SOUPS 4746032 WITH SCORE 4765722.704
AT ITER 4666 NEW BEST:: SOT 39675522 SOS 19689027 HAS SOPS 12679407 HAS SOUS 11365970 HAS SOUPS 4746032 WITH SCORE 4765721.027
AT ITER 4667 NEW BEST:: SOT 39675522 SOS 19688047 HAS SOPS 12679407 HAS SOUS 11364990 HAS SOUPS 4746032 WITH SCORE 4765720.047
AT ITER 4670 NEW BEST:: SOT 39675522 SOS 19688047 HAS SOPS 12678043 HAS SOUS 11364990 HAS SOUPS 4744668 WITH SCORE 4764356.047
AT ITER 4682 NEW BEST:: SOT 39675857 SOS 19688527 HAS SOPS 12677177 HAS SOUS 11365133 HAS SOUPS 4743465 WITH SCORE 4763153.527
AT ITER 4685 NEW BEST:: SOT 39673505 SOS 19684588 HAS SOPS 12675735 HAS SOUS 11361670 HAS SOUPS 4742261 WITH SCORE 4761945.588
AT ITER 4703 NEW BEST:: SOT 39673505 SOS 19684351 HAS SOPS 12675735 HAS SOUS 11360929 HAS SOUPS 4741589 WITH SCORE 4761273.351
AT ITER 4709 NEW BEST:: SOT 39672542 SOS 19680725 HAS SOPS 12673828 HAS SOUS 11359213 HAS SOUPS 4739873 WITH SCORE 4759553.725
AT ITER 4712 NEW BEST:: SOT 39672444 SOS 19681531 HAS SOPS 12672787 HAS SOUS 11360862 HAS SOUPS 4739675 WITH SCORE 4759356.531
AT ITER 4730 NEW BEST:: SOT 39671562 SOS 19682349 HAS SOPS 12670961 HAS SOUS 11362234 HAS SOUPS 4738121 WITH SCORE 4757803.349
AT ITER 4732 NEW BEST:: SOT 39668987 SOS 19677804 HAS SOPS 12668386 HAS SOUS 11359054 HAS SOUPS 4736911 WITH SCORE 4756588.804
AT ITER 4739 NEW BEST:: SOT 39668597 SOS 19678374 HAS SOPS 12667053 HAS SOUS 11360175 HAS SOUPS 4736129 WITH SCORE 4755807.374
AT ITER 4746 NEW BEST:: SOT 39666754 SOS 19675320 HAS SOPS 12665789 HAS SOUS 11357121 HAS SOUPS 4734865 WITH SCORE 4754540.32
AT ITER 4747 NEW BEST:: SOT 39666215 SOS 19675209 HAS SOPS 12664307 HAS SOUS 11357414 HAS SOUPS 4733787 WITH SCORE 4753462.209
AT ITER 4754 NEW BEST:: SOT 39665696 SOS 19675299 HAS SOPS 12662845 HAS SOUS 11357926 HAS SOUPS 4732747 WITH SCORE 4752422.299
AT ITER 4763 NEW BEST:: SOT 39666464 SOS 19677989 HAS SOPS 12661562 HAS SOUS 11359058 HAS SOUPS 4730847 WITH SCORE 4750524.989
AT ITER 4765 NEW BEST:: SOT 39665792 SOS 19677436 HAS SOPS 12659947 HAS SOUS 11359059 HAS SOUPS 4729503 WITH SCORE 4749180.436
AT ITER 4767 NEW BEST:: SOT 39668354 SOS 19682957 HAS SOPS 12659967 HAS SOUS 11363036 HAS SOUPS 4729117 WITH SCORE 4748799.957
AT ITER 4793 NEW BEST:: SOT 39668742 SOS 19684183 HAS SOPS 12659849 HAS SOUS 11363424 HAS SOUPS 4728609 WITH SCORE 4748293.183
AT ITER 4803 NEW BEST:: SOT 39667064 SOS 19682122 HAS SOPS 12658554 HAS SOUS 11362491 HAS SOUPS 4728442 WITH SCORE 4748124.122
AT ITER 4804 NEW BEST:: SOT 39666392 SOS 19681450 HAS SOPS 12657210 HAS SOUS 11362108 HAS SOUPS 4727098 WITH SCORE 4746779.45
AT ITER 4809 NEW BEST:: SOT 39666255 SOS 19681176 HAS SOPS 12657210 HAS SOUS 11361834 HAS SOUPS 4727098 WITH SCORE 4746779.176
AT ITER 4811 NEW BEST:: SOT 39665950 SOS 19680689 HAS SOPS 12656905 HAS SOUS 11361406 HAS SOUPS 4726852 WITH SCORE 4746532.689
AT ITER 4816 NEW BEST:: SOT 39665278 SOS 19680183 HAS SOPS 12655327 HAS SOUS 11361374 HAS SOUPS 4725508 WITH SCORE 4745188.183
AT ITER 4817 NEW BEST:: SOT 39661314 SOS 19673863 HAS SOPS 12651719 HAS SOUS 11356122 HAS SOUPS 4722576 WITH SCORE 4742249.863
AT ITER 4836 NEW BEST:: SOT 39661314 SOS 19673863 HAS SOPS 12651391 HAS SOUS 11356122 HAS SOUPS 4722248 WITH SCORE 4741921.863
AT ITER 4846 NEW BEST:: SOT 39657511 SOS 19668046 HAS SOPS 12647663 HAS SOUS 11350530 HAS SOUPS 4718595 WITH SCORE 4738263.046
AT ITER 4847 NEW BEST:: SOT 39656839 SOS 19667729 HAS SOPS 12646048 HAS SOUS 11350790 HAS SOUPS 4717251 WITH SCORE 4736918.729
AT ITER 4853 NEW BEST:: SOT 39653310 SOS 19662152 HAS SOPS 12642708 HAS SOUS 11345780 HAS SOUPS 4714100 WITH SCORE 4733762.152
AT ITER 4855 NEW BEST:: SOT 39653310 SOS 19662152 HAS SOPS 12641524 HAS SOUS 11345780 HAS SOUPS 4712916 WITH SCORE 4732578.152
AT ITER 4859 NEW BEST:: SOT 39651731 SOS 19659628 HAS SOPS 12640256 HAS SOUS 11343256 HAS SOUPS 4711648 WITH SCORE 4731307.628
AT ITER 4864 NEW BEST:: SOT 39651365 SOS 19659668 HAS SOPS 12639080 HAS SOUS 11343738 HAS SOUPS 4710914 WITH SCORE 4730573.668
AT ITER 4868 NEW BEST:: SOT 39649676 SOS 19656290 HAS SOPS 12637391 HAS SOUS 11342049 HAS SOUPS 4710914 WITH SCORE 4730570.29
AT ITER 4875 NEW BEST:: SOT 39649281 SOS 19660760 HAS SOPS 12636996 HAS SOUS 11343350 HAS SOUPS 4710519 WITH SCORE 4730179.76
AT ITER 4901 NEW BEST:: SOT 39649116 SOS 19660595 HAS SOPS 12636666 HAS SOUS 11343185 HAS SOUPS 4710189 WITH SCORE 4729849.595
AT ITER 4902 NEW BEST:: SOT 39649116 SOS 19659596 HAS SOPS 12636666 HAS SOUS 11343185 HAS SOUPS 4710189 WITH SCORE 4729848.596
AT ITER 4903 NEW BEST:: SOT 39648917 SOS 19659803 HAS SOPS 12635733 HAS SOUS 11343925 HAS SOUPS 4709789 WITH SCORE 4729448.803
AT ITER 4920 NEW BEST:: SOT 39647721 SOS 19658009 HAS SOPS 12634537 HAS SOUS 11342131 HAS SOUPS 4708593 WITH SCORE 4728251.009
AT ITER 4931 NEW BEST:: SOT 39647340 SOS 19657323 HAS SOPS 12634385 HAS SOUS 11341445 HAS SOUPS 4708441 WITH SCORE 4728098.323
AT ITER 4934 NEW BEST:: SOT 39647087 SOS 19657494 HAS SOPS 12633189 HAS SOUS 11342304 HAS SOUPS 4707933 WITH SCORE 4727590.494
AT ITER 4937 NEW BEST:: SOT 39647440 SOS 19659055 HAS SOPS 12632191 HAS SOUS 11342657 HAS SOUPS 4706580 WITH SCORE 4726239.055
AT ITER 4939 NEW BEST:: SOT 39646919 SOS 19658330 HAS SOPS 12632191 HAS SOUS 11341932 HAS SOUPS 4706580 WITH SCORE 4726238.33
AT ITER 4954 NEW BEST:: SOT 39646346 SOS 19659945 HAS SOPS 12630675 HAS SOUS 11343915 HAS SOUPS 4705432 WITH SCORE 4725091.945
AT ITER 4956 NEW BEST:: SOT 39646640 SOS 19661543 HAS SOPS 12629249 HAS SOUS 11344209 HAS SOUPS 4703710 WITH SCORE 4723371.543
AT ITER 4960 NEW BEST:: SOT 39642640 SOS 19654959 HAS SOPS 12625554 HAS SOUS 11339098 HAS SOUPS 4701183 WITH SCORE 4720837.959
AT ITER 4981 NEW BEST:: SOT 39642640 SOS 19654892 HAS SOPS 12625554 HAS SOUS 11339031 HAS SOUPS 4701183 WITH SCORE 4720837.892
AT ITER 4986 NEW BEST:: SOT 39642434 SOS 19656268 HAS SOPS 12625348 HAS SOUS 11338889 HAS SOUPS 4701041 WITH SCORE 4720697.268
AT ITER 4998 NEW BEST:: SOT 39642921 SOS 19657242 HAS SOPS 12625348 HAS SOUS 11339376 HAS SOUPS 4700554 WITH SCORE 4720211.242
AT ITER 4999 NEW BEST:: SOT 39642921 SOS 19657098 HAS SOPS 12625348 HAS SOUS 11339232 HAS SOUPS 4700554 WITH SCORE 4720211.098
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-00 (AG( (! (AG( potential( ( 2 ) <= (tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413) + tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P450) + tk(P451) + tk(P452) + tk(P453) + tk(P454) + tk(P455) + tk(P456) + tk(P457) + tk(P458) + tk(P459) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P472) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477) + tk(P478) + tk(P479) + tk(P480) + tk(P481) + tk(P482) + tk(P483) + tk(P484) + tk(P485) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P492) + tk(P493) + tk(P494) + tk(P495) + tk(P496) + tk(P497) + tk(P498) + tk(P499) + tk(P500) + tk(P501) + tk(P502) + tk(P503) + tk(P504) + tk(P505) + tk(P506) + tk(P507) + tk(P508) + tk(P509) + tk(P510) + tk(P511) + tk(P512) + tk(P513) + tk(P514) + tk(P515) + tk(P516) + tk(P517) + tk(P518) + tk(P519) + tk(P520) + tk(P521) + tk(P522) + tk(P523) + tk(P524) + tk(P525) + tk(P526) + tk(P527) + tk(P528) + tk(P529) + tk(P530) + tk(P531) + tk(P532) + tk(P533) + tk(P534) + tk(P535) + tk(P536) + tk(P537) + tk(P538) + tk(P539) + tk(P540) + tk(P541) + tk(P542) + tk(P543) + tk(P544) + tk(P545) + tk(P546) + tk(P547) + tk(P548) + tk(P549) + tk(P550) + tk(P551) + tk(P552) + tk(P553) + tk(P554) + tk(P555) + tk(P556) + tk(P557) + tk(P558) + tk(P559) + tk(P560) + tk(P561) + tk(P562) + tk(P563) + tk(P564) + tk(P565) + tk(P566) + tk(P567) + tk(P568) + tk(P569) + tk(P570) + tk(P571) + tk(P572) + tk(P573) + tk(P574) + tk(P575) + tk(P576) + tk(P577) + tk(P578) + tk(P579) + tk(P580) + tk(P581) + tk(P582) + tk(P583) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P592) + tk(P593) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P598) + tk(P599) + tk(P600) + tk(P601) + tk(P602) + tk(P603) + tk(P604) + tk(P605) + tk(P606) + tk(P607) + tk(P608) + tk(P609) + tk(P610) + tk(P611) + tk(P612) + tk(P613) + tk(P614) + tk(P615) + tk(P616) + tk(P617) + tk(P618) + tk(P619) + tk(P620) + tk(P621) + tk(P622) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P629) + tk(P630) + tk(P631) + tk(P632) + tk(P633) + tk(P634) + tk(P635) + tk(P636) + tk(P637) + tk(P638) + tk(P639) + tk(P640) + tk(P641) + tk(P642) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P653) + tk(P654) + tk(P655) + tk(P656) + tk(P657) + tk(P658) + tk(P659) + tk(P660) + tk(P661) + tk(P662) + tk(P663) + tk(P664) + tk(P665) + tk(P666) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P675) + tk(P676) + tk(P677) + tk(P678) + tk(P679) + tk(P680) + tk(P681) + tk(P682) + tk(P683) + tk(P684) + tk(P685) + tk(P686) + tk(P687) + tk(P688) + tk(P689) + tk(P690) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P697) + tk(P698) + tk(P699) + tk(P700) + tk(P701) + tk(P702) + tk(P703) + tk(P704) + tk(P705) + tk(P706) + tk(P707) + tk(P708) + tk(P709) + tk(P710) + tk(P711) + tk(P712) + tk(P713) + tk(P714) + tk(P715) + tk(P716) + tk(P717) + tk(P718) + tk(P719) + tk(P720) + tk(P721) + tk(P722) + tk(P723) + tk(P724) + tk(P725) + tk(P726) + tk(P727) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P738) + tk(P739) + tk(P740) + tk(P741) + tk(P742) + tk(P743) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P749) + tk(P750) + tk(P751) + tk(P752) + tk(P753) + tk(P754) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P761) + tk(P762) + tk(P763) + tk(P764) + tk(P765) + tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P770) + tk(P771) + tk(P772) + tk(P773) + tk(P774) + tk(P775) + tk(P776) + tk(P777) + tk(P778) + tk(P779) + tk(P780) + tk(P781) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P786) + tk(P787) + tk(P788) + tk(P789) + tk(P790) + tk(P791) + tk(P792) + tk(P793) + tk(P794) + tk(P795) + tk(P796) + tk(P797) + tk(P798) + tk(P799) + tk(P800) + tk(P801) + tk(P802) + tk(P803) + tk(P804) + tk(P805) + tk(P806) + tk(P807) + tk(P808) + tk(P809) + tk(P810) + tk(P811) + tk(P812) + tk(P813) + tk(P814) + tk(P815) + tk(P816) + tk(P817) + tk(P818) + tk(P819) + tk(P820) + tk(P821) + tk(P822) + tk(P823) + tk(P824) + tk(P825) + tk(P826) + tk(P827) + tk(P828) + tk(P829) + tk(P830) + tk(P831) + tk(P832) + tk(P833) + tk(P834) + tk(P835) + tk(P836) + tk(P837) + tk(P838) + tk(P839) + tk(P840) + tk(P841) + tk(P842) + tk(P843) + tk(P844) + tk(P845) + tk(P846) + tk(P847) + tk(P848) + tk(P849) + tk(P850) + tk(P851) + tk(P852) + tk(P853) + tk(P854) + tk(P855) + tk(P856) + tk(P857) + tk(P858) + tk(P859) + tk(P860) + tk(P861) + tk(P862) + tk(P863) + tk(P864) + tk(P865) + tk(P866) + tk(P867) + tk(P868) + tk(P869) + tk(P870) + tk(P871) + tk(P872) + tk(P873) + tk(P874) + tk(P875) + tk(P876) + tk(P877) + tk(P878) + tk(P879) + tk(P880) + tk(P881) + tk(P882) + tk(P883) + tk(P884) + tk(P885) + tk(P886) + tk(P887) + tk(P888) + tk(P889) + tk(P890) + tk(P891) + tk(P892) + tk(P893) + tk(P894) + tk(P895) + tk(P896) + tk(P897) + tk(P898) + tk(P899) + tk(P900) + tk(P901) + tk(P902) + tk(P903) + tk(P904) + tk(P905) + tk(P906) + tk(P907) + tk(P908) + tk(P909) + tk(P910) + tk(P911) + tk(P912) + tk(P913) + tk(P914) + tk(P915) + tk(P916) + tk(P917) + tk(P918) + tk(P919) + tk(P920) + tk(P921) + tk(P922) + tk(P923) + tk(P924) + tk(P925) + tk(P926) + tk(P927) + tk(P928) + tk(P929) + tk(P930) + tk(P931) + tk(P932) + tk(P933) + tk(P934) + tk(P935) + tk(P936) + tk(P937) + tk(P938) + tk(P939) + tk(P940) + tk(P941) + tk(P942) + tk(P943) + tk(P944) + tk(P945) + tk(P946) + tk(P947) + tk(P948) + tk(P949) + tk(P950) + tk(P951) + tk(P952) + tk(P953) + tk(P954) + tk(P955) + tk(P956) + tk(P957) + tk(P958) + tk(P959) + tk(P960) + tk(P961) + tk(P962) + tk(P963) + tk(P964) + tk(P965) + tk(P966) + tk(P967) + tk(P968) + tk(P969) + tk(P970) + tk(P971) + tk(P972) + tk(P973) + tk(P974) + tk(P975) + tk(P976) + tk(P977) + tk(P978) + tk(P979) + tk(P980) + tk(P981) + tk(P982) + tk(P983) + tk(P984) + tk(P985) + tk(P986) + tk(P987) + tk(P988) + tk(P989) + tk(P990) + tk(P991) + tk(P992) + tk(P993) + tk(P994) + tk(P995) + tk(P996) + tk(P997) + tk(P998) + tk(P999) + tk(P1000) + tk(P1001)) ))))))
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-01 ( ( (EF(( potential( ( 1 ) <= (tk(P7013)) ) & potential( (tk(P7016)) <= (tk(P7013)) ) ))) & (AF(( potential( ( 2 ) <= (tk(P7010) + tk(P7011)) ) | potential( (tk(P7017)) <= (tk(P2002)) ) ))) ) & (AX( potential( (tk(P7014) + tk(P7015)) <= (tk(P7013)) ))) )
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-02 ( (EF(potential( ( 1 ) <= (tk(P7010) + tk(P7011)) ))) & (EG( (EX( potential( ( 3 ) <= (tk(P1)) ))))) )
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-03 ( (AU( potential( (tk(P7014) + tk(P7015)) <= (tk(P7010) + tk(P7011)) ),( potential( (tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413) + tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P450) + tk(P451) + tk(P452) + tk(P453) + tk(P454) + tk(P455) + tk(P456) + tk(P457) + tk(P458) + tk(P459) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P472) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477) + tk(P478) + tk(P479) + tk(P480) + tk(P481) + tk(P482) + tk(P483) + tk(P484) + tk(P485) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P492) + tk(P493) + tk(P494) + tk(P495) + tk(P496) + tk(P497) + tk(P498) + tk(P499) + tk(P500) + tk(P501) + tk(P502) + tk(P503) + tk(P504) + tk(P505) + tk(P506) + tk(P507) + tk(P508) + tk(P509) + tk(P510) + tk(P511) + tk(P512) + tk(P513) + tk(P514) + tk(P515) + tk(P516) + tk(P517) + tk(P518) + tk(P519) + tk(P520) + tk(P521) + tk(P522) + tk(P523) + tk(P524) + tk(P525) + tk(P526) + tk(P527) + tk(P528) + tk(P529) + tk(P530) + tk(P531) + tk(P532) + tk(P533) + tk(P534) + tk(P535) + tk(P536) + tk(P537) + tk(P538) + tk(P539) + tk(P540) + tk(P541) + tk(P542) + tk(P543) + tk(P544) + tk(P545) + tk(P546) + tk(P547) + tk(P548) + tk(P549) + tk(P550) + tk(P551) + tk(P552) + tk(P553) + tk(P554) + tk(P555) + tk(P556) + tk(P557) + tk(P558) + tk(P559) + tk(P560) + tk(P561) + tk(P562) + tk(P563) + tk(P564) + tk(P565) + tk(P566) + tk(P567) + tk(P568) + tk(P569) + tk(P570) + tk(P571) + tk(P572) + tk(P573) + tk(P574) + tk(P575) + tk(P576) + tk(P577) + tk(P578) + tk(P579) + tk(P580) + tk(P581) + tk(P582) + tk(P583) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P592) + tk(P593) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P598) + tk(P599) + tk(P600) + tk(P601) + tk(P602) + tk(P603) + tk(P604) + tk(P605) + tk(P606) + tk(P607) + tk(P608) + tk(P609) + tk(P610) + tk(P611) + tk(P612) + tk(P613) + tk(P614) + tk(P615) + tk(P616) + tk(P617) + tk(P618) + tk(P619) + tk(P620) + tk(P621) + tk(P622) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P629) + tk(P630) + tk(P631) + tk(P632) + tk(P633) + tk(P634) + tk(P635) + tk(P636) + tk(P637) + tk(P638) + tk(P639) + tk(P640) + tk(P641) + tk(P642) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P653) + tk(P654) + tk(P655) + tk(P656) + tk(P657) + tk(P658) + tk(P659) + tk(P660) + tk(P661) + tk(P662) + tk(P663) + tk(P664) + tk(P665) + tk(P666) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P675) + tk(P676) + tk(P677) + tk(P678) + tk(P679) + tk(P680) + tk(P681) + tk(P682) + tk(P683) + tk(P684) + tk(P685) + tk(P686) + tk(P687) + tk(P688) + tk(P689) + tk(P690) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P697) + tk(P698) + tk(P699) + tk(P700) + tk(P701) + tk(P702) + tk(P703) + tk(P704) + tk(P705) + tk(P706) + tk(P707) + tk(P708) + tk(P709) + tk(P710) + tk(P711) + tk(P712) + tk(P713) + tk(P714) + tk(P715) + tk(P716) + tk(P717) + tk(P718) + tk(P719) + tk(P720) + tk(P721) + tk(P722) + tk(P723) + tk(P724) + tk(P725) + tk(P726) + tk(P727) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P738) + tk(P739) + tk(P740) + tk(P741) + tk(P742) + tk(P743) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P749) + tk(P750) + tk(P751) + tk(P752) + tk(P753) + tk(P754) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P761) + tk(P762) + tk(P763) + tk(P764) + tk(P765) + tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P770) + tk(P771) + tk(P772) + tk(P773) + tk(P774) + tk(P775) + tk(P776) + tk(P777) + tk(P778) + tk(P779) + tk(P780) + tk(P781) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P786) + tk(P787) + tk(P788) + tk(P789) + tk(P790) + tk(P791) + tk(P792) + tk(P793) + tk(P794) + tk(P795) + tk(P796) + tk(P797) + tk(P798) + tk(P799) + tk(P800) + tk(P801) + tk(P802) + tk(P803) + tk(P804) + tk(P805) + tk(P806) + tk(P807) + tk(P808) + tk(P809) + tk(P810) + tk(P811) + tk(P812) + tk(P813) + tk(P814) + tk(P815) + tk(P816) + tk(P817) + tk(P818) + tk(P819) + tk(P820) + tk(P821) + tk(P822) + tk(P823) + tk(P824) + tk(P825) + tk(P826) + tk(P827) + tk(P828) + tk(P829) + tk(P830) + tk(P831) + tk(P832) + tk(P833) + tk(P834) + tk(P835) + tk(P836) + tk(P837) + tk(P838) + tk(P839) + tk(P840) + tk(P841) + tk(P842) + tk(P843) + tk(P844) + tk(P845) + tk(P846) + tk(P847) + tk(P848) + tk(P849) + tk(P850) + tk(P851) + tk(P852) + tk(P853) + tk(P854) + tk(P855) + tk(P856) + tk(P857) + tk(P858) + tk(P859) + tk(P860) + tk(P861) + tk(P862) + tk(P863) + tk(P864) + tk(P865) + tk(P866) + tk(P867) + tk(P868) + tk(P869) + tk(P870) + tk(P871) + tk(P872) + tk(P873) + tk(P874) + tk(P875) + tk(P876) + tk(P877) + tk(P878) + tk(P879) + tk(P880) + tk(P881) + tk(P882) + tk(P883) + tk(P884) + tk(P885) + tk(P886) + tk(P887) + tk(P888) + tk(P889) + tk(P890) + tk(P891) + tk(P892) + tk(P893) + tk(P894) + tk(P895) + tk(P896) + tk(P897) + tk(P898) + tk(P899) + tk(P900) + tk(P901) + tk(P902) + tk(P903) + tk(P904) + tk(P905) + tk(P906) + tk(P907) + tk(P908) + tk(P909) + tk(P910) + tk(P911) + tk(P912) + tk(P913) + tk(P914) + tk(P915) + tk(P916) + tk(P917) + tk(P918) + tk(P919) + tk(P920) + tk(P921) + tk(P922) + tk(P923) + tk(P924) + tk(P925) + tk(P926) + tk(P927) + tk(P928) + tk(P929) + tk(P930) + tk(P931) + tk(P932) + tk(P933) + tk(P934) + tk(P935) + tk(P936) + tk(P937) + tk(P938) + tk(P939) + tk(P940) + tk(P941) + tk(P942) + tk(P943) + tk(P944) + tk(P945) + tk(P946) + tk(P947) + tk(P948) + tk(P949) + tk(P950) + tk(P951) + tk(P952) + tk(P953) + tk(P954) + tk(P955) + tk(P956) + tk(P957) + tk(P958) + tk(P959) + tk(P960) + tk(P961) + tk(P962) + tk(P963) + tk(P964) + tk(P965) + tk(P966) + tk(P967) + tk(P968) + tk(P969) + tk(P970) + tk(P971) + tk(P972) + tk(P973) + tk(P974) + tk(P975) + tk(P976) + tk(P977) + tk(P978) + tk(P979) + tk(P980) + tk(P981) + tk(P982) + tk(P983) + tk(P984) + tk(P985) + tk(P986) + tk(P987) + tk(P988) + tk(P989) + tk(P990) + tk(P991) + tk(P992) + tk(P993) + tk(P994) + tk(P995) + tk(P996) + tk(P997) + tk(P998) + tk(P999) + tk(P1000) + tk(P1001)) <= (tk(P2002)) ) & potential( ( 3 ) <= (tk(P7010) + tk(P7011)) ) ) )) | potential( ( 3 ) <= (tk(P7004)) ) )
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-04 (AF((EG( (! potential( (tk(P2002)) <= (tk(P2002)) ))))))
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-05 ( (EX( (AF(potential( ( 2 ) <= (tk(P7012)) ))))) | (! (! (EF(potential( (tk(P7005) + tk(P7006)) <= (tk(P7019)) ))))) )
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-06 (AF((EG( potential( ( 3 ) <= (tk(P1002) + tk(P1003) + tk(P1004) + tk(P1005) + tk(P1006) + tk(P1007) + tk(P1008) + tk(P1009) + tk(P1010) + tk(P1011) + 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) + tk(P1512) + 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)) )))))
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-07 (! (AG( (AG( potential( ( 2 ) <= (tk(P7005) + tk(P7006)) ))))))
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-08 (AU( (AX( potential( (tk(P6255)) <= (tk(P1222)) ))),(! ( potential( (tk(P5487)) <= (tk(P1377)) ) | potential( (tk(P453)) <= (tk(P6921)) ) )) ))
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-09 ( (AX( (! (! potential( ( 1 ) <= (tk(P1132)) ))))) | (EF(potential( ( 2 ) <= (tk(P5426)) ))) )
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-10 (AG( (EX( ( potential( ( 1 ) <= (tk(P623)) ) | potential( (tk(P2141)) <= (tk(P6531)) ) )))))
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-11 (AF((AX( potential( ( 1 ) <= (tk(P2836)) )))))
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-12 (EG( (! (! (! potential( ( 2 ) <= (tk(P3326)) ))))))
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-13 ( (EG( (EF(potential( (tk(P888)) <= (tk(P1730)) ))))) & (EU( potential( ( 1 ) <= (tk(P4985)) ),( potential( (tk(P915)) <= (tk(P1526)) ) & potential( ( 2 ) <= (tk(P1047)) ) ) )) )
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-14 (AF((! (! (! potential( (tk(P5617)) <= (tk(P3990)) ))))))
PROPERTY: AirplaneLD-PT-1000-CTLCardinality-15 (EU( ( ( potential( (tk(P5705)) <= (tk(P315)) ) | potential( ( 2 ) <= (tk(P547)) ) ) & ( potential( ( 1 ) <= (tk(P5897)) ) & potential( (tk(P1688)) <= (tk(P1958)) ) ) ),(AF(potential( ( 2 ) <= (tk(P43)) ))) ))

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

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