About the Execution of smart for AirplaneLD-PT-0200
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15763.000 | 3600000.00 | 3600020.00 | 0.00 | T??????????????? | normal |
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-158897508300275.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-0200, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508300275
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 75K Mar 24 10:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 186K Mar 24 10:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 44K Mar 24 09:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 193K Mar 24 09:25 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 120K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 330K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 188K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Mar 24 07:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Mar 24 07:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 28K Mar 24 06:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 115K Mar 24 06:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 17K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 31K 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 1.6M 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-0200-CTLCardinality-00
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-01
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-02
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-03
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-04
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-05
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-06
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-07
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-08
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-09
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-10
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-11
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-12
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-13
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-14
FORMULA_NAME AirplaneLD-PT-0200-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589097924066
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0200
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: 1419 places, 1608 transitions, 6128 arcs.
AT ITER 0 NEW BEST:: SOT 1768494 SOS 904867 HAS SOPS 765360 HAS SOUS 630067 HAS SOUPS 490563 WITH SCORE 491467.867
AT ITER 6 NEW BEST:: SOT 1768416 SOS 904711 HAS SOPS 765282 HAS SOUS 629911 HAS SOUPS 490485 WITH SCORE 491389.711
AT ITER 8 NEW BEST:: SOT 1768313 SOS 904505 HAS SOPS 765179 HAS SOUS 629705 HAS SOUPS 490382 WITH SCORE 491286.505
AT ITER 11 NEW BEST:: SOT 1768313 SOS 905079 HAS SOPS 765179 HAS SOUS 630003 HAS SOUPS 490370 WITH SCORE 491275.079
AT ITER 14 NEW BEST:: SOT 1768125 SOS 904703 HAS SOPS 764991 HAS SOUS 629627 HAS SOUPS 490182 WITH SCORE 491086.703
AT ITER 18 NEW BEST:: SOT 1767865 SOS 904703 HAS SOPS 765185 HAS SOUS 629367 HAS SOUPS 490116 WITH SCORE 491020.703
AT ITER 25 NEW BEST:: SOT 1768026 SOS 905841 HAS SOPS 765346 HAS SOUS 629781 HAS SOUPS 490029 WITH SCORE 490934.841
AT ITER 34 NEW BEST:: SOT 1767753 SOS 905295 HAS SOPS 765073 HAS SOUS 629235 HAS SOUPS 489756 WITH SCORE 490661.295
AT ITER 36 NEW BEST:: SOT 1767395 SOS 904495 HAS SOPS 764715 HAS SOUS 628519 HAS SOUPS 489482 WITH SCORE 490386.495
AT ITER 40 NEW BEST:: SOT 1767168 SOS 904495 HAS SOPS 764767 HAS SOUS 628292 HAS SOUPS 489307 WITH SCORE 490211.495
AT ITER 42 NEW BEST:: SOT 1766868 SOS 904593 HAS SOPS 765030 HAS SOUS 628090 HAS SOUPS 489270 WITH SCORE 490174.593
AT ITER 46 NEW BEST:: SOT 1766868 SOS 905159 HAS SOPS 765030 HAS SOUS 628148 HAS SOUPS 489019 WITH SCORE 489924.159
AT ITER 48 NEW BEST:: SOT 1767038 SOS 906315 HAS SOPS 765200 HAS SOUS 628524 HAS SOUPS 488950 WITH SCORE 489856.315
AT ITER 54 NEW BEST:: SOT 1767172 SOS 907399 HAS SOPS 765334 HAS SOUS 628869 HAS SOUPS 488809 WITH SCORE 489716.399
AT ITER 61 NEW BEST:: SOT 1766781 SOS 906617 HAS SOPS 764943 HAS SOUS 628087 HAS SOUPS 488418 WITH SCORE 489324.617
AT ITER 77 NEW BEST:: SOT 1766781 SOS 907420 HAS SOPS 764943 HAS SOUS 628092 HAS SOUPS 488019 WITH SCORE 488926.42
AT ITER 79 NEW BEST:: SOT 1766781 SOS 907927 HAS SOPS 764943 HAS SOUS 628154 HAS SOUPS 487799 WITH SCORE 488706.927
AT ITER 87 NEW BEST:: SOT 1766781 SOS 908531 HAS SOPS 764943 HAS SOUS 628425 HAS SOUPS 487686 WITH SCORE 488594.531
AT ITER 89 NEW BEST:: SOT 1766392 SOS 907753 HAS SOPS 764554 HAS SOUS 627647 HAS SOUPS 487297 WITH SCORE 488204.753
AT ITER 94 NEW BEST:: SOT 1766392 SOS 908453 HAS SOPS 764554 HAS SOUS 627883 HAS SOUPS 487083 WITH SCORE 487991.453
AT ITER 96 NEW BEST:: SOT 1766160 SOS 908453 HAS SOPS 764558 HAS SOUS 627651 HAS SOUPS 486855 WITH SCORE 487763.453
AT ITER 98 NEW BEST:: SOT 1765967 SOS 908067 HAS SOPS 764365 HAS SOUS 627265 HAS SOUPS 486662 WITH SCORE 487570.067
AT ITER 100 NEW BEST:: SOT 1765724 SOS 908067 HAS SOPS 764365 HAS SOUS 627022 HAS SOUPS 486419 WITH SCORE 487327.067
AT ITER 107 NEW BEST:: SOT 1765724 SOS 908658 HAS SOPS 764365 HAS SOUS 627107 HAS SOUPS 486166 WITH SCORE 487074.658
AT ITER 111 NEW BEST:: SOT 1765351 SOS 907912 HAS SOPS 763992 HAS SOUS 626361 HAS SOUPS 485793 WITH SCORE 486700.912
AT ITER 113 NEW BEST:: SOT 1765181 SOS 907912 HAS SOPS 763992 HAS SOUS 626191 HAS SOUPS 485623 WITH SCORE 486530.912
AT ITER 116 NEW BEST:: SOT 1764737 SOS 907687 HAS SOPS 763767 HAS SOUS 625770 HAS SOUPS 485202 WITH SCORE 486109.687
AT ITER 117 NEW BEST:: SOT 1764737 SOS 907889 HAS SOPS 763139 HAS SOUS 626082 HAS SOUPS 484686 WITH SCORE 485593.889
AT ITER 125 NEW BEST:: SOT 1764737 SOS 908549 HAS SOPS 763139 HAS SOUS 626254 HAS SOUPS 484442 WITH SCORE 485350.549
AT ITER 129 NEW BEST:: SOT 1764198 SOS 908308 HAS SOPS 762898 HAS SOUS 625731 HAS SOUPS 483919 WITH SCORE 484827.308
AT ITER 130 NEW BEST:: SOT 1764198 SOS 909212 HAS SOPS 762898 HAS SOUS 625843 HAS SOUPS 483523 WITH SCORE 484432.212
AT ITER 134 NEW BEST:: SOT 1764007 SOS 908830 HAS SOPS 762707 HAS SOUS 625461 HAS SOUPS 483332 WITH SCORE 484240.83
AT ITER 135 NEW BEST:: SOT 1763623 SOS 908062 HAS SOPS 762323 HAS SOUS 624693 HAS SOUPS 482948 WITH SCORE 483856.062
AT ITER 137 NEW BEST:: SOT 1763668 SOS 908062 HAS SOPS 762271 HAS SOUS 624738 HAS SOUPS 482941 WITH SCORE 483849.062
AT ITER 138 NEW BEST:: SOT 1763398 SOS 908062 HAS SOPS 762355 HAS SOUS 624468 HAS SOUPS 482755 WITH SCORE 483663.062
AT ITER 141 NEW BEST:: SOT 1762916 SOS 907984 HAS SOPS 762277 HAS SOUS 624236 HAS SOUPS 482523 WITH SCORE 483430.984
AT ITER 147 NEW BEST:: SOT 1762916 SOS 907941 HAS SOPS 762277 HAS SOUS 624236 HAS SOUPS 482523 WITH SCORE 483430.941
AT ITER 148 NEW BEST:: SOT 1763083 SOS 909091 HAS SOPS 762444 HAS SOUS 624618 HAS SOUPS 482448 WITH SCORE 483357.091
AT ITER 152 NEW BEST:: SOT 1762991 SOS 909091 HAS SOPS 762444 HAS SOUS 624526 HAS SOUPS 482356 WITH SCORE 483265.091
AT ITER 159 NEW BEST:: SOT 1762686 SOS 909091 HAS SOPS 762444 HAS SOUS 624221 HAS SOUPS 482051 WITH SCORE 482960.091
AT ITER 166 NEW BEST:: SOT 1762686 SOS 909034 HAS SOPS 762444 HAS SOUS 624164 HAS SOUPS 482051 WITH SCORE 482960.034
AT ITER 174 NEW BEST:: SOT 1762471 SOS 909034 HAS SOPS 762536 HAS SOUS 623949 HAS SOUPS 481928 WITH SCORE 482837.034
AT ITER 189 NEW BEST:: SOT 1762471 SOS 909723 HAS SOPS 762536 HAS SOUS 623996 HAS SOUPS 481607 WITH SCORE 482516.723
AT ITER 194 NEW BEST:: SOT 1761999 SOS 909458 HAS SOPS 762271 HAS SOUS 623548 HAS SOUPS 481159 WITH SCORE 482068.458
AT ITER 197 NEW BEST:: SOT 1761979 SOS 909458 HAS SOPS 762289 HAS SOUS 623528 HAS SOUPS 481157 WITH SCORE 482066.458
AT ITER 200 NEW BEST:: SOT 1761979 SOS 910115 HAS SOPS 762289 HAS SOUS 623555 HAS SOUPS 480842 WITH SCORE 481752.115
AT ITER 204 NEW BEST:: SOT 1761979 SOS 911019 HAS SOPS 762289 HAS SOUS 623663 HAS SOUPS 480444 WITH SCORE 481355.019
AT ITER 206 NEW BEST:: SOT 1761979 SOS 910841 HAS SOPS 762111 HAS SOUS 623663 HAS SOUPS 480444 WITH SCORE 481354.841
AT ITER 213 NEW BEST:: SOT 1761682 SOS 910247 HAS SOPS 761814 HAS SOUS 623069 HAS SOUPS 480147 WITH SCORE 481057.247
AT ITER 216 NEW BEST:: SOT 1761379 SOS 910247 HAS SOPS 761814 HAS SOUS 622766 HAS SOUPS 479844 WITH SCORE 480754.247
AT ITER 223 NEW BEST:: SOT 1761271 SOS 910031 HAS SOPS 761706 HAS SOUS 622550 HAS SOUPS 479736 WITH SCORE 480646.031
AT ITER 237 NEW BEST:: SOT 1761093 SOS 909675 HAS SOPS 761528 HAS SOUS 622194 HAS SOUPS 479558 WITH SCORE 480467.675
AT ITER 238 NEW BEST:: SOT 1760831 SOS 909151 HAS SOPS 761266 HAS SOUS 621670 HAS SOUPS 479296 WITH SCORE 480205.151
AT ITER 239 NEW BEST:: SOT 1760683 SOS 909151 HAS SOPS 761266 HAS SOUS 621522 HAS SOUPS 479148 WITH SCORE 480057.151
AT ITER 249 NEW BEST:: SOT 1760872 SOS 910345 HAS SOPS 761455 HAS SOUS 622009 HAS SOUPS 479117 WITH SCORE 480027.345
AT ITER 253 NEW BEST:: SOT 1760872 SOS 911230 HAS SOPS 761455 HAS SOUS 622140 HAS SOUPS 478740 WITH SCORE 479651.23
AT ITER 257 NEW BEST:: SOT 1760524 SOS 910430 HAS SOPS 761107 HAS SOUS 621444 HAS SOUPS 478496 WITH SCORE 479406.43
AT ITER 259 NEW BEST:: SOT 1760290 SOS 910430 HAS SOPS 761137 HAS SOUS 621210 HAS SOUPS 478292 WITH SCORE 479202.43
AT ITER 263 NEW BEST:: SOT 1760191 SOS 910165 HAS SOPS 761038 HAS SOUS 621012 HAS SOUPS 478260 WITH SCORE 479170.165
AT ITER 267 NEW BEST:: SOT 1759587 SOS 909863 HAS SOPS 760736 HAS SOUS 620445 HAS SOUPS 477693 WITH SCORE 478602.863
AT ITER 270 NEW BEST:: SOT 1759578 SOS 909840 HAS SOPS 760727 HAS SOUS 620427 HAS SOUPS 477689 WITH SCORE 478598.84
AT ITER 272 NEW BEST:: SOT 1759461 SOS 909840 HAS SOPS 760727 HAS SOUS 620310 HAS SOUPS 477572 WITH SCORE 478481.84
AT ITER 275 NEW BEST:: SOT 1759175 SOS 909840 HAS SOPS 760939 HAS SOUS 620024 HAS SOUPS 477498 WITH SCORE 478407.84
AT ITER 279 NEW BEST:: SOT 1758850 SOS 909970 HAS SOPS 761168 HAS SOUS 619829 HAS SOUPS 477402 WITH SCORE 478311.97
AT ITER 294 NEW BEST:: SOT 1758787 SOS 909907 HAS SOPS 761105 HAS SOUS 619703 HAS SOUPS 477276 WITH SCORE 478185.907
AT ITER 295 NEW BEST:: SOT 1758787 SOS 910610 HAS SOPS 761105 HAS SOUS 619846 HAS SOUPS 476996 WITH SCORE 477906.61
AT ITER 298 NEW BEST:: SOT 1758787 SOS 910527 HAS SOPS 761022 HAS SOUS 619846 HAS SOUPS 476996 WITH SCORE 477906.527
AT ITER 303 NEW BEST:: SOT 1758508 SOS 910248 HAS SOPS 760743 HAS SOUS 619598 HAS SOUPS 476748 WITH SCORE 477658.248
AT ITER 312 NEW BEST:: SOT 1757966 SOS 909972 HAS SOPS 760467 HAS SOUS 619056 HAS SOUPS 476206 WITH SCORE 477115.972
AT ITER 322 NEW BEST:: SOT 1757823 SOS 909972 HAS SOPS 760467 HAS SOUS 618913 HAS SOUPS 476063 WITH SCORE 476972.972
AT ITER 323 NEW BEST:: SOT 1757225 SOS 909766 HAS SOPS 760261 HAS SOUS 618315 HAS SOUPS 475465 WITH SCORE 476374.766
AT ITER 331 NEW BEST:: SOT 1756923 SOS 909766 HAS SOPS 760261 HAS SOUS 618013 HAS SOUPS 475163 WITH SCORE 476072.766
AT ITER 332 NEW BEST:: SOT 1756766 SOS 909371 HAS SOPS 760104 HAS SOUS 617699 HAS SOUPS 475087 WITH SCORE 475996.371
AT ITER 334 NEW BEST:: SOT 1756394 SOS 909371 HAS SOPS 760160 HAS SOUS 617327 HAS SOUPS 474771 WITH SCORE 475680.371
AT ITER 335 NEW BEST:: SOT 1756096 SOS 909371 HAS SOPS 760364 HAS SOUS 617029 HAS SOUPS 474677 WITH SCORE 475586.371
AT ITER 339 NEW BEST:: SOT 1756003 SOS 909371 HAS SOPS 760364 HAS SOUS 616936 HAS SOUPS 474584 WITH SCORE 475493.371
AT ITER 341 NEW BEST:: SOT 1755446 SOS 909084 HAS SOPS 760077 HAS SOUS 616483 HAS SOUPS 474131 WITH SCORE 475040.084
AT ITER 342 NEW BEST:: SOT 1755446 SOS 909521 HAS SOPS 760077 HAS SOUS 616483 HAS SOUPS 473975 WITH SCORE 474884.521
AT ITER 347 NEW BEST:: SOT 1755300 SOS 909521 HAS SOPS 760077 HAS SOUS 616337 HAS SOUPS 473829 WITH SCORE 474738.521
AT ITER 349 NEW BEST:: SOT 1755300 SOS 909575 HAS SOPS 760077 HAS SOUS 616337 HAS SOUPS 473775 WITH SCORE 474684.575
AT ITER 354 NEW BEST:: SOT 1755300 SOS 909468 HAS SOPS 759970 HAS SOUS 616337 HAS SOUPS 473775 WITH SCORE 474684.468
AT ITER 357 NEW BEST:: SOT 1755132 SOS 909468 HAS SOPS 759970 HAS SOUS 616169 HAS SOUPS 473607 WITH SCORE 474516.468
AT ITER 358 NEW BEST:: SOT 1755073 SOS 909350 HAS SOPS 759911 HAS SOUS 616051 HAS SOUPS 473548 WITH SCORE 474457.35
AT ITER 361 NEW BEST:: SOT 1754776 SOS 909426 HAS SOPS 760169 HAS SOUS 615830 HAS SOUPS 473509 WITH SCORE 474418.426
AT ITER 367 NEW BEST:: SOT 1754462 SOS 909432 HAS SOPS 760358 HAS SOUS 615522 HAS SOUPS 473384 WITH SCORE 474293.432
AT ITER 369 NEW BEST:: SOT 1692353 SOS 895308 HAS SOPS 746834 HAS SOUS 553448 HAS SOUPS 411910 WITH SCORE 412805.308
AT ITER 373 NEW BEST:: SOT 1692156 SOS 895111 HAS SOPS 746637 HAS SOUS 553380 HAS SOUPS 411842 WITH SCORE 412737.111
AT ITER 374 NEW BEST:: SOT 1691475 SOS 893960 HAS SOPS 745956 HAS SOUS 552369 HAS SOUPS 411301 WITH SCORE 412194.96
AT ITER 377 NEW BEST:: SOT 1690899 SOS 893714 HAS SOPS 745710 HAS SOUS 551793 HAS SOUPS 410725 WITH SCORE 411618.714
AT ITER 378 NEW BEST:: SOT 1690700 SOS 893515 HAS SOPS 745511 HAS SOUS 551594 HAS SOUPS 410526 WITH SCORE 411419.515
AT ITER 383 NEW BEST:: SOT 1690171 SOS 893336 HAS SOPS 745332 HAS SOUS 551090 HAS SOUPS 410022 WITH SCORE 410915.336
AT ITER 389 NEW BEST:: SOT 1690171 SOS 894297 HAS SOPS 745332 HAS SOUS 551281 HAS SOUPS 409637 WITH SCORE 410531.297
AT ITER 390 NEW BEST:: SOT 1690171 SOS 895002 HAS SOPS 745332 HAS SOUS 551432 HAS SOUPS 409360 WITH SCORE 410255.002
AT ITER 393 NEW BEST:: SOT 1690171 SOS 895646 HAS SOPS 745332 HAS SOUS 551466 HAS SOUPS 409055 WITH SCORE 409950.646
AT ITER 399 NEW BEST:: SOT 1689665 SOS 895775 HAS SOPS 745461 HAS SOUS 551435 HAS SOUPS 409024 WITH SCORE 409919.775
AT ITER 407 NEW BEST:: SOT 1689665 SOS 896570 HAS SOPS 745461 HAS SOUS 551530 HAS SOUPS 408674 WITH SCORE 409570.57
AT ITER 417 NEW BEST:: SOT 1689367 SOS 896077 HAS SOPS 745163 HAS SOUS 551129 HAS SOUPS 408468 WITH SCORE 409364.077
AT ITER 422 NEW BEST:: SOT 1689202 SOS 895912 HAS SOPS 744998 HAS SOUS 550964 HAS SOUPS 408303 WITH SCORE 409198.912
AT ITER 423 NEW BEST:: SOT 1688937 SOS 895912 HAS SOPS 744998 HAS SOUS 550699 HAS SOUPS 408038 WITH SCORE 408933.912
AT ITER 424 NEW BEST:: SOT 1689024 SOS 896902 HAS SOPS 745085 HAS SOUS 550881 HAS SOUPS 407803 WITH SCORE 408699.902
AT ITER 427 NEW BEST:: SOT 1688636 SOS 896514 HAS SOPS 744697 HAS SOUS 550819 HAS SOUPS 407741 WITH SCORE 408637.514
AT ITER 429 NEW BEST:: SOT 1688586 SOS 896464 HAS SOPS 744647 HAS SOUS 550719 HAS SOUPS 407641 WITH SCORE 408537.464
AT ITER 431 NEW BEST:: SOT 1688358 SOS 896464 HAS SOPS 744647 HAS SOUS 550491 HAS SOUPS 407413 WITH SCORE 408309.464
AT ITER 437 NEW BEST:: SOT 1688271 SOS 896377 HAS SOPS 744560 HAS SOUS 550317 HAS SOUPS 407239 WITH SCORE 408135.377
AT ITER 442 NEW BEST:: SOT 1688052 SOS 896377 HAS SOPS 744766 HAS SOUS 550098 HAS SOUPS 407226 WITH SCORE 408122.377
AT ITER 456 NEW BEST:: SOT 1687566 SOS 895891 HAS SOPS 744280 HAS SOUS 549519 HAS SOUPS 406647 WITH SCORE 407542.891
AT ITER 472 NEW BEST:: SOT 1687041 SOS 895062 HAS SOPS 743755 HAS SOUS 548690 HAS SOUPS 406122 WITH SCORE 407017.062
AT ITER 475 NEW BEST:: SOT 1686604 SOS 894908 HAS SOPS 743601 HAS SOUS 548380 HAS SOUPS 405812 WITH SCORE 406706.908
AT ITER 476 NEW BEST:: SOT 1685835 SOS 893581 HAS SOPS 743383 HAS SOUS 547492 HAS SOUPS 405756 WITH SCORE 406649.581
AT ITER 479 NEW BEST:: SOT 1685882 SOS 894491 HAS SOPS 743430 HAS SOUS 547621 HAS SOUPS 405441 WITH SCORE 406335.491
AT ITER 482 NEW BEST:: SOT 1685698 SOS 894123 HAS SOPS 743062 HAS SOUS 547253 HAS SOUPS 405073 WITH SCORE 405967.123
AT ITER 493 NEW BEST:: SOT 1685698 SOS 894737 HAS SOPS 743062 HAS SOUS 547329 HAS SOUPS 404804 WITH SCORE 405698.737
AT ITER 495 NEW BEST:: SOT 1685546 SOS 894433 HAS SOPS 742910 HAS SOUS 547025 HAS SOUPS 404652 WITH SCORE 405546.433
AT ITER 497 NEW BEST:: SOT 1685463 SOS 894433 HAS SOPS 742910 HAS SOUS 546942 HAS SOUPS 404569 WITH SCORE 405463.433
AT ITER 504 NEW BEST:: SOT 1684848 SOS 893473 HAS SOPS 742295 HAS SOUS 545982 HAS SOUPS 403954 WITH SCORE 404847.473
AT ITER 511 NEW BEST:: SOT 1684221 SOS 892385 HAS SOPS 741668 HAS SOUS 545016 HAS SOUPS 403449 WITH SCORE 404341.385
AT ITER 518 NEW BEST:: SOT 1684011 SOS 892385 HAS SOPS 741668 HAS SOUS 544806 HAS SOUPS 403239 WITH SCORE 404131.385
AT ITER 519 NEW BEST:: SOT 1683870 SOS 892385 HAS SOPS 741668 HAS SOUS 544665 HAS SOUPS 403098 WITH SCORE 403990.385
AT ITER 520 NEW BEST:: SOT 1683178 SOS 891169 HAS SOPS 740976 HAS SOUS 543696 HAS SOUPS 402653 WITH SCORE 403544.169
AT ITER 521 NEW BEST:: SOT 1682965 SOS 890743 HAS SOPS 740763 HAS SOUS 543270 HAS SOUPS 402440 WITH SCORE 403330.743
AT ITER 544 NEW BEST:: SOT 1682965 SOS 890794 HAS SOPS 740763 HAS SOUS 543270 HAS SOUPS 402389 WITH SCORE 403279.794
AT ITER 549 NEW BEST:: SOT 1682449 SOS 890437 HAS SOPS 740406 HAS SOUS 543227 HAS SOUPS 402346 WITH SCORE 403236.437
AT ITER 552 NEW BEST:: SOT 1682246 SOS 890234 HAS SOPS 740203 HAS SOUS 543024 HAS SOUPS 402143 WITH SCORE 403033.234
AT ITER 553 NEW BEST:: SOT 1681639 SOS 890026 HAS SOPS 739995 HAS SOUS 542626 HAS SOUPS 401745 WITH SCORE 402635.026
AT ITER 555 NEW BEST:: SOT 1681028 SOS 889840 HAS SOPS 739809 HAS SOUS 542542 HAS SOUPS 401661 WITH SCORE 402550.84
AT ITER 559 NEW BEST:: SOT 1680950 SOS 889840 HAS SOPS 739809 HAS SOUS 542464 HAS SOUPS 401583 WITH SCORE 402472.84
AT ITER 562 NEW BEST:: SOT 1680371 SOS 889663 HAS SOPS 739632 HAS SOUS 541941 HAS SOUPS 401060 WITH SCORE 401949.663
AT ITER 566 NEW BEST:: SOT 1679704 SOS 888641 HAS SOPS 738965 HAS SOUS 540919 HAS SOUPS 400393 WITH SCORE 401281.641
AT ITER 567 NEW BEST:: SOT 1679459 SOS 888732 HAS SOPS 739056 HAS SOUS 540819 HAS SOUPS 400293 WITH SCORE 401181.732
AT ITER 568 NEW BEST:: SOT 1678852 SOS 888418 HAS SOPS 738742 HAS SOUS 540273 HAS SOUPS 399747 WITH SCORE 400635.418
AT ITER 569 NEW BEST:: SOT 1678291 SOS 887857 HAS SOPS 738181 HAS SOUS 540045 HAS SOUPS 399519 WITH SCORE 400406.857
AT ITER 581 NEW BEST:: SOT 1678017 SOS 887309 HAS SOPS 737907 HAS SOUS 539497 HAS SOUPS 399245 WITH SCORE 400132.309
AT ITER 591 NEW BEST:: SOT 1677900 SOS 887192 HAS SOPS 737790 HAS SOUS 539380 HAS SOUPS 399128 WITH SCORE 400015.192
AT ITER 596 NEW BEST:: SOT 1677764 SOS 886964 HAS SOPS 737562 HAS SOUS 538996 HAS SOUPS 398744 WITH SCORE 399630.964
AT ITER 606 NEW BEST:: SOT 1677818 SOS 887888 HAS SOPS 737616 HAS SOUS 539123 HAS SOUPS 398443 WITH SCORE 399330.888
AT ITER 611 NEW BEST:: SOT 1677730 SOS 887712 HAS SOPS 737528 HAS SOUS 538947 HAS SOUPS 398355 WITH SCORE 399242.712
AT ITER 613 NEW BEST:: SOT 1677528 SOS 887510 HAS SOPS 737326 HAS SOUS 538745 HAS SOUPS 398153 WITH SCORE 399040.51
AT ITER 616 NEW BEST:: SOT 1677622 SOS 888514 HAS SOPS 737420 HAS SOUS 539017 HAS SOUPS 397932 WITH SCORE 398820.514
AT ITER 618 NEW BEST:: SOT 1677543 SOS 888356 HAS SOPS 737341 HAS SOUS 538938 HAS SOUPS 397932 WITH SCORE 398820.356
AT ITER 623 NEW BEST:: SOT 1677702 SOS 889490 HAS SOPS 737500 HAS SOUS 539354 HAS SOUPS 397841 WITH SCORE 398730.49
AT ITER 629 NEW BEST:: SOT 1677445 SOS 889233 HAS SOPS 737243 HAS SOUS 539105 HAS SOUPS 397592 WITH SCORE 398481.233
AT ITER 634 NEW BEST:: SOT 1677043 SOS 889254 HAS SOPS 737295 HAS SOUS 538724 HAS SOUPS 397242 WITH SCORE 398131.254
AT ITER 638 NEW BEST:: SOT 1677218 SOS 890420 HAS SOPS 737470 HAS SOUS 539085 HAS SOUPS 397183 WITH SCORE 398073.42
AT ITER 641 NEW BEST:: SOT 1677160 SOS 890362 HAS SOPS 737412 HAS SOUS 538969 HAS SOUPS 397067 WITH SCORE 397957.362
AT ITER 649 NEW BEST:: SOT 1676708 SOS 889910 HAS SOPS 736960 HAS SOUS 538676 HAS SOUPS 396774 WITH SCORE 397663.91
AT ITER 650 NEW BEST:: SOT 1675960 SOS 889707 HAS SOPS 736757 HAS SOUS 538464 HAS SOUPS 396562 WITH SCORE 397451.707
AT ITER 657 NEW BEST:: SOT 1675932 SOS 889679 HAS SOPS 736729 HAS SOUS 538436 HAS SOUPS 396534 WITH SCORE 397423.679
AT ITER 661 NEW BEST:: SOT 1675651 SOS 889398 HAS SOPS 736448 HAS SOUS 538155 HAS SOUPS 396253 WITH SCORE 397142.398
AT ITER 662 NEW BEST:: SOT 1675651 SOS 889670 HAS SOPS 736448 HAS SOUS 538197 HAS SOUPS 396138 WITH SCORE 397027.67
AT ITER 664 NEW BEST:: SOT 1675514 SOS 889533 HAS SOPS 736311 HAS SOUS 537923 HAS SOUPS 395864 WITH SCORE 396753.533
AT ITER 667 NEW BEST:: SOT 1675254 SOS 889533 HAS SOPS 736311 HAS SOUS 537663 HAS SOUPS 395604 WITH SCORE 396493.533
AT ITER 668 NEW BEST:: SOT 1675411 SOS 890046 HAS SOPS 736468 HAS SOUS 537988 HAS SOUPS 395573 WITH SCORE 396463.046
AT ITER 671 NEW BEST:: SOT 1674775 SOS 888887 HAS SOPS 735832 HAS SOUS 537075 HAS SOUPS 395183 WITH SCORE 396071.887
AT ITER 673 NEW BEST:: SOT 1674375 SOS 888960 HAS SOPS 735905 HAS SOUS 536929 HAS SOUPS 395037 WITH SCORE 395925.96
AT ITER 675 NEW BEST:: SOT 1630890 SOS 845475 HAS SOPS 692290 HAS SOUS 493314 HAS SOUPS 351292 WITH SCORE 352137.475
AT ITER 676 NEW BEST:: SOT 1630678 SOS 845051 HAS SOPS 692290 HAS SOUS 493102 HAS SOUPS 351292 WITH SCORE 352137.051
AT ITER 693 NEW BEST:: SOT 1630428 SOS 844524 HAS SOPS 692070 HAS SOUS 492634 HAS SOUPS 351099 WITH SCORE 351943.524
AT ITER 695 NEW BEST:: SOT 1629821 SOS 843224 HAS SOPS 691886 HAS SOUS 491837 HAS SOUPS 351001 WITH SCORE 351844.224
AT ITER 711 NEW BEST:: SOT 1629634 SOS 843037 HAS SOPS 691699 HAS SOUS 491650 HAS SOUPS 350814 WITH SCORE 351657.037
AT ITER 712 NEW BEST:: SOT 1629049 SOS 842452 HAS SOPS 691114 HAS SOUS 491125 HAS SOUPS 350289 WITH SCORE 351131.452
AT ITER 715 NEW BEST:: SOT 1628786 SOS 841926 HAS SOPS 690851 HAS SOUS 490599 HAS SOUPS 350026 WITH SCORE 350867.926
AT ITER 717 NEW BEST:: SOT 1628786 SOS 842743 HAS SOPS 690851 HAS SOUS 490784 HAS SOUPS 349710 WITH SCORE 350552.743
AT ITER 721 NEW BEST:: SOT 1628657 SOS 842743 HAS SOPS 690851 HAS SOUS 490655 HAS SOUPS 349581 WITH SCORE 350423.743
AT ITER 732 NEW BEST:: SOT 1628750 SOS 843171 HAS SOPS 690944 HAS SOUS 490863 HAS SOUPS 349454 WITH SCORE 350297.171
AT ITER 735 NEW BEST:: SOT 1628750 SOS 844064 HAS SOPS 690944 HAS SOUS 490990 HAS SOUPS 349071 WITH SCORE 349915.064
AT ITER 736 NEW BEST:: SOT 1628700 SOS 844014 HAS SOPS 690894 HAS SOUS 490890 HAS SOUPS 348971 WITH SCORE 349815.014
AT ITER 741 NEW BEST:: SOT 1628141 SOS 843858 HAS SOPS 690738 HAS SOUS 490701 HAS SOUPS 348782 WITH SCORE 349625.858
AT ITER 742 NEW BEST:: SOT 1628065 SOS 843706 HAS SOPS 690662 HAS SOUS 490549 HAS SOUPS 348706 WITH SCORE 349549.706
AT ITER 743 NEW BEST:: SOT 1628065 SOS 843625 HAS SOPS 690662 HAS SOUS 490468 HAS SOUPS 348706 WITH SCORE 349549.625
AT ITER 762 NEW BEST:: SOT 1627964 SOS 843524 HAS SOPS 690561 HAS SOUS 490367 HAS SOUPS 348605 WITH SCORE 349448.524
AT ITER 766 NEW BEST:: SOT 1627638 SOS 843600 HAS SOPS 690761 HAS SOUS 490117 HAS SOUPS 348479 WITH SCORE 349322.6
AT ITER 767 NEW BEST:: SOT 1627638 SOS 844262 HAS SOPS 690761 HAS SOUS 490287 HAS SOUPS 348233 WITH SCORE 349077.262
AT ITER 769 NEW BEST:: SOT 1627342 SOS 844288 HAS SOPS 690996 HAS SOUS 490017 HAS SOUPS 348172 WITH SCORE 349016.288
AT ITER 772 NEW BEST:: SOT 1627235 SOS 844074 HAS SOPS 690889 HAS SOUS 489803 HAS SOUPS 348065 WITH SCORE 348909.074
AT ITER 778 NEW BEST:: SOT 1627235 SOS 844792 HAS SOPS 690889 HAS SOUS 489995 HAS SOUPS 347802 WITH SCORE 348646.792
AT ITER 784 NEW BEST:: SOT 1627235 SOS 844602 HAS SOPS 690889 HAS SOUS 489805 HAS SOUPS 347802 WITH SCORE 348646.602
AT ITER 786 NEW BEST:: SOT 1627202 SOS 844569 HAS SOPS 690856 HAS SOUS 489795 HAS SOUPS 347792 WITH SCORE 348636.569
AT ITER 788 NEW BEST:: SOT 1627396 SOS 845773 HAS SOPS 691050 HAS SOUS 490288 HAS SOUPS 347771 WITH SCORE 348616.773
AT ITER 791 NEW BEST:: SOT 1627347 SOS 845724 HAS SOPS 691001 HAS SOUS 490190 HAS SOUPS 347673 WITH SCORE 348518.724
AT ITER 796 NEW BEST:: SOT 1627143 SOS 845316 HAS SOPS 690797 HAS SOUS 489782 HAS SOUPS 347469 WITH SCORE 348314.316
AT ITER 805 NEW BEST:: SOT 1626856 SOS 844742 HAS SOPS 690510 HAS SOUS 489208 HAS SOUPS 347182 WITH SCORE 348026.742
AT ITER 812 NEW BEST:: SOT 1626652 SOS 844538 HAS SOPS 690306 HAS SOUS 489004 HAS SOUPS 346978 WITH SCORE 347822.538
AT ITER 820 NEW BEST:: SOT 1626426 SOS 844538 HAS SOPS 690306 HAS SOUS 488778 HAS SOUPS 346752 WITH SCORE 347596.538
AT ITER 822 NEW BEST:: SOT 1626551 SOS 845604 HAS SOPS 690431 HAS SOUS 489031 HAS SOUPS 346593 WITH SCORE 347438.604
AT ITER 825 NEW BEST:: SOT 1626477 SOS 845604 HAS SOPS 690431 HAS SOUS 488957 HAS SOUPS 346519 WITH SCORE 347364.604
AT ITER 829 NEW BEST:: SOT 1626477 SOS 845549 HAS SOPS 690431 HAS SOUS 488902 HAS SOUPS 346519 WITH SCORE 347364.549
AT ITER 832 NEW BEST:: SOT 1625873 SOS 845347 HAS SOPS 690492 HAS SOUS 488872 HAS SOUPS 346489 WITH SCORE 347334.347
AT ITER 840 NEW BEST:: SOT 1625873 SOS 846028 HAS SOPS 690492 HAS SOUS 489035 HAS SOUPS 346230 WITH SCORE 347076.028
AT ITER 844 NEW BEST:: SOT 1625736 SOS 845891 HAS SOPS 690355 HAS SOUS 488995 HAS SOUPS 346190 WITH SCORE 347035.891
AT ITER 847 NEW BEST:: SOT 1625723 SOS 845865 HAS SOPS 690355 HAS SOUS 488982 HAS SOUPS 346190 WITH SCORE 347035.865
AT ITER 855 NEW BEST:: SOT 1625097 SOS 844857 HAS SOPS 689729 HAS SOUS 487974 HAS SOUPS 345564 WITH SCORE 346408.857
AT ITER 857 NEW BEST:: SOT 1624973 SOS 844733 HAS SOPS 689605 HAS SOUS 487726 HAS SOUPS 345316 WITH SCORE 346160.733
AT ITER 858 NEW BEST:: SOT 1624769 SOS 844733 HAS SOPS 689605 HAS SOUS 487522 HAS SOUPS 345112 WITH SCORE 345956.733
AT ITER 863 NEW BEST:: SOT 1624737 SOS 844621 HAS SOPS 689493 HAS SOUS 487264 HAS SOUPS 344854 WITH SCORE 345698.621
AT ITER 866 NEW BEST:: SOT 1624558 SOS 844263 HAS SOPS 689314 HAS SOUS 486906 HAS SOUPS 344675 WITH SCORE 345519.263
AT ITER 868 NEW BEST:: SOT 1623776 SOS 843090 HAS SOPS 688532 HAS SOUS 485733 HAS SOUPS 343893 WITH SCORE 344736.09
AT ITER 870 NEW BEST:: SOT 1623776 SOS 843936 HAS SOPS 688532 HAS SOUS 485861 HAS SOUPS 343534 WITH SCORE 344377.936
AT ITER 880 NEW BEST:: SOT 1623660 SOS 843820 HAS SOPS 688416 HAS SOUS 485745 HAS SOUPS 343418 WITH SCORE 344261.82
AT ITER 881 NEW BEST:: SOT 1623369 SOS 843820 HAS SOPS 688454 HAS SOUS 485454 HAS SOUPS 343165 WITH SCORE 344008.82
AT ITER 888 NEW BEST:: SOT 1623116 SOS 843427 HAS SOPS 688201 HAS SOUS 485088 HAS SOUPS 342939 WITH SCORE 343782.427
AT ITER 890 NEW BEST:: SOT 1622754 SOS 843065 HAS SOPS 687839 HAS SOUS 484699 HAS SOUPS 342550 WITH SCORE 343393.065
AT ITER 901 NEW BEST:: SOT 1621999 SOS 841892 HAS SOPS 687084 HAS SOUS 483544 HAS SOUPS 341813 WITH SCORE 342654.892
AT ITER 924 NEW BEST:: SOT 1621999 SOS 842726 HAS SOPS 687084 HAS SOUS 483688 HAS SOUPS 341468 WITH SCORE 342310.726
AT ITER 935 NEW BEST:: SOT 1621999 SOS 843280 HAS SOPS 687084 HAS SOUS 483886 HAS SOUPS 341290 WITH SCORE 342133.28
AT ITER 939 NEW BEST:: SOT 1621452 SOS 843101 HAS SOPS 686905 HAS SOUS 483400 HAS SOUPS 340804 WITH SCORE 341647.101
AT ITER 940 NEW BEST:: SOT 1621452 SOS 843527 HAS SOPS 686905 HAS SOUS 483540 HAS SOUPS 340661 WITH SCORE 341504.527
AT ITER 941 NEW BEST:: SOT 1621373 SOS 873070 HAS SOPS 716448 HAS SOUS 483462 HAS SOUPS 340583 WITH SCORE 341456.07
AT ITER 947 NEW BEST:: SOT 1621357 SOS 873038 HAS SOPS 716432 HAS SOUS 483430 HAS SOUPS 340567 WITH SCORE 341440.038
AT ITER 948 NEW BEST:: SOT 1621116 SOS 872556 HAS SOPS 716432 HAS SOUS 483189 HAS SOUPS 340567 WITH SCORE 341439.556
AT ITER 952 NEW BEST:: SOT 1620521 SOS 872195 HAS SOPS 716071 HAS SOUS 482618 HAS SOUPS 339996 WITH SCORE 340868.195
AT ITER 953 NEW BEST:: SOT 1620408 SOS 872082 HAS SOPS 715958 HAS SOUS 482505 HAS SOUPS 339883 WITH SCORE 340755.082
AT ITER 955 NEW BEST:: SOT 1620354 SOS 872419 HAS SOPS 715904 HAS SOUS 482451 HAS SOUPS 339505 WITH SCORE 340377.419
AT ITER 965 NEW BEST:: SOT 1620193 SOS 872258 HAS SOPS 715743 HAS SOUS 482129 HAS SOUPS 339183 WITH SCORE 340055.258
AT ITER 966 NEW BEST:: SOT 1619861 SOS 872143 HAS SOPS 715628 HAS SOUS 481797 HAS SOUPS 338851 WITH SCORE 339723.143
AT ITER 970 NEW BEST:: SOT 1619299 SOS 871260 HAS SOPS 715066 HAS SOUS 480914 HAS SOUPS 338289 WITH SCORE 339160.26
AT ITER 971 NEW BEST:: SOT 1619299 SOS 871929 HAS SOPS 715066 HAS SOUS 480939 HAS SOUPS 337967 WITH SCORE 338838.929
AT ITER 975 NEW BEST:: SOT 1619299 SOS 871989 HAS SOPS 715066 HAS SOUS 480939 HAS SOUPS 337937 WITH SCORE 338808.989
AT ITER 977 NEW BEST:: SOT 1619288 SOS 871978 HAS SOPS 715055 HAS SOUS 480917 HAS SOUPS 337915 WITH SCORE 338786.978
AT ITER 988 NEW BEST:: SOT 1619288 SOS 872874 HAS SOPS 715055 HAS SOUS 481207 HAS SOUPS 337612 WITH SCORE 338484.874
AT ITER 992 NEW BEST:: SOT 1619402 SOS 873918 HAS SOPS 715169 HAS SOUS 481493 HAS SOUPS 337431 WITH SCORE 338304.918
AT ITER 994 NEW BEST:: SOT 1619147 SOS 873663 HAS SOPS 714914 HAS SOUS 481238 HAS SOUPS 337176 WITH SCORE 338049.663
AT ITER 1005 NEW BEST:: SOT 1619105 SOS 873621 HAS SOPS 714872 HAS SOUS 481154 HAS SOUPS 337092 WITH SCORE 337965.621
AT ITER 1006 NEW BEST:: SOT 1618624 SOS 872803 HAS SOPS 714391 HAS SOUS 480499 HAS SOUPS 336774 WITH SCORE 337646.803
AT ITER 1008 NEW BEST:: SOT 1618051 SOS 871866 HAS SOPS 713818 HAS SOUS 479717 HAS SOUPS 336356 WITH SCORE 337227.866
AT ITER 1018 NEW BEST:: SOT 1617742 SOS 871557 HAS SOPS 713509 HAS SOUS 479501 HAS SOUPS 336140 WITH SCORE 337011.557
AT ITER 1023 NEW BEST:: SOT 1617401 SOS 871426 HAS SOPS 713378 HAS SOUS 479440 HAS SOUPS 336079 WITH SCORE 336950.426
AT ITER 1024 NEW BEST:: SOT 1617214 SOS 871239 HAS SOPS 713191 HAS SOUS 479317 HAS SOUPS 335956 WITH SCORE 336827.239
AT ITER 1026 NEW BEST:: SOT 1616983 SOS 871008 HAS SOPS 712960 HAS SOUS 479193 HAS SOUPS 335832 WITH SCORE 336703.008
AT ITER 1029 NEW BEST:: SOT 1617076 SOS 871510 HAS SOPS 712418 HAS SOUS 479060 HAS SOUPS 335287 WITH SCORE 336158.51
AT ITER 1035 NEW BEST:: SOT 1616886 SOS 871320 HAS SOPS 712228 HAS SOUS 478870 HAS SOUPS 335097 WITH SCORE 335968.32
AT ITER 1040 NEW BEST:: SOT 1616893 SOS 872150 HAS SOPS 712235 HAS SOUS 478886 HAS SOUPS 334702 WITH SCORE 335574.15
AT ITER 1044 NEW BEST:: SOT 1616342 SOS 871870 HAS SOPS 711955 HAS SOUS 478335 HAS SOUPS 334151 WITH SCORE 335022.87
AT ITER 1046 NEW BEST:: SOT 1616197 SOS 871580 HAS SOPS 711955 HAS SOUS 478190 HAS SOUPS 334151 WITH SCORE 335022.58
AT ITER 1057 NEW BEST:: SOT 1616147 SOS 871480 HAS SOPS 711905 HAS SOUS 478090 HAS SOUPS 334101 WITH SCORE 334972.48
AT ITER 1075 NEW BEST:: SOT 1616244 SOS 871870 HAS SOPS 712002 HAS SOUS 478161 HAS SOUPS 334001 WITH SCORE 334872.87
AT ITER 1076 NEW BEST:: SOT 1619070 SOS 854080 HAS SOPS 676210 HAS SOUS 481089 HAS SOUPS 318927 WITH SCORE 319781.08
AT ITER 1078 NEW BEST:: SOT 1619011 SOS 854080 HAS SOPS 676210 HAS SOUS 481030 HAS SOUPS 318868 WITH SCORE 319722.08
AT ITER 1087 NEW BEST:: SOT 1618817 SOS 853162 HAS SOPS 676016 HAS SOUS 480537 HAS SOUPS 318784 WITH SCORE 319637.162
AT ITER 1091 NEW BEST:: SOT 1618817 SOS 853894 HAS SOPS 676016 HAS SOUS 480608 HAS SOUPS 318480 WITH SCORE 319333.894
AT ITER 1097 NEW BEST:: SOT 1618766 SOS 853894 HAS SOPS 676016 HAS SOUS 480557 HAS SOUPS 318429 WITH SCORE 319282.894
AT ITER 1099 NEW BEST:: SOT 1618766 SOS 854066 HAS SOPS 675672 HAS SOUS 480385 HAS SOUPS 318085 WITH SCORE 318939.066
AT ITER 1100 NEW BEST:: SOT 1618628 SOS 853928 HAS SOPS 675534 HAS SOUS 480373 HAS SOUPS 318073 WITH SCORE 318926.928
AT ITER 1102 NEW BEST:: SOT 1618599 SOS 853899 HAS SOPS 675505 HAS SOUS 480315 HAS SOUPS 318015 WITH SCORE 318868.899
AT ITER 1105 NEW BEST:: SOT 1618220 SOS 853520 HAS SOPS 675126 HAS SOUS 479943 HAS SOUPS 317643 WITH SCORE 318496.52
AT ITER 1126 NEW BEST:: SOT 1618513 SOS 853584 HAS SOPS 674815 HAS SOUS 480187 HAS SOUPS 317512 WITH SCORE 318365.584
AT ITER 1131 NEW BEST:: SOT 1618370 SOS 853441 HAS SOPS 674672 HAS SOUS 480044 HAS SOUPS 317369 WITH SCORE 318222.441
AT ITER 1132 NEW BEST:: SOT 1618199 SOS 853099 HAS SOPS 674501 HAS SOUS 479702 HAS SOUPS 317198 WITH SCORE 318051.099
AT ITER 1135 NEW BEST:: SOT 1618065 SOS 852360 HAS SOPS 674367 HAS SOUS 479357 HAS SOUPS 317194 WITH SCORE 318046.36
AT ITER 1139 NEW BEST:: SOT 1618025 SOS 852320 HAS SOPS 674327 HAS SOUS 479317 HAS SOUPS 317154 WITH SCORE 318006.32
AT ITER 1141 NEW BEST:: SOT 1618217 SOS 852332 HAS SOPS 673935 HAS SOUS 479471 HAS SOUPS 316904 WITH SCORE 317756.332
AT ITER 1142 NEW BEST:: SOT 1617786 SOS 852116 HAS SOPS 673719 HAS SOUS 479040 HAS SOUPS 316473 WITH SCORE 317325.116
AT ITER 1144 NEW BEST:: SOT 1618236 SOS 853176 HAS SOPS 673727 HAS SOUS 479564 HAS SOUPS 316380 WITH SCORE 317233.176
AT ITER 1146 NEW BEST:: SOT 1617850 SOS 852370 HAS SOPS 673341 HAS SOUS 478792 HAS SOUPS 316028 WITH SCORE 316880.37
AT ITER 1148 NEW BEST:: SOT 1617755 SOS 852373 HAS SOPS 673427 HAS SOUS 478700 HAS SOUPS 316019 WITH SCORE 316871.373
AT ITER 1150 NEW BEST:: SOT 1617779 SOS 853181 HAS SOPS 673451 HAS SOUS 478761 HAS SOUPS 315763 WITH SCORE 316616.181
AT ITER 1154 NEW BEST:: SOT 1617343 SOS 852956 HAS SOPS 673226 HAS SOUS 478325 HAS SOUPS 315327 WITH SCORE 316179.956
AT ITER 1158 NEW BEST:: SOT 1617343 SOS 853078 HAS SOPS 673226 HAS SOUS 478325 HAS SOUPS 315266 WITH SCORE 316119.078
AT ITER 1160 NEW BEST:: SOT 1617135 SOS 852662 HAS SOPS 673018 HAS SOUS 478117 HAS SOUPS 315266 WITH SCORE 316118.662
AT ITER 1165 NEW BEST:: SOT 1617079 SOS 852606 HAS SOPS 672962 HAS SOUS 478073 HAS SOUPS 315222 WITH SCORE 316074.606
AT ITER 1166 NEW BEST:: SOT 1617052 SOS 852550 HAS SOPS 672935 HAS SOUS 478019 HAS SOUPS 315197 WITH SCORE 316049.55
AT ITER 1170 NEW BEST:: SOT 1616825 SOS 852503 HAS SOPS 673038 HAS SOUS 477792 HAS SOUPS 315120 WITH SCORE 315972.503
AT ITER 1172 NEW BEST:: SOT 1616825 SOS 852517 HAS SOPS 673010 HAS SOUS 477792 HAS SOUPS 315092 WITH SCORE 315944.517
AT ITER 1184 NEW BEST:: SOT 1616845 SOS 853125 HAS SOPS 673030 HAS SOUS 477832 HAS SOUPS 314971 WITH SCORE 315824.125
AT ITER 1186 NEW BEST:: SOT 1616768 SOS 853048 HAS SOPS 672953 HAS SOUS 477755 HAS SOUPS 314894 WITH SCORE 315747.048
AT ITER 1191 NEW BEST:: SOT 1616639 SOS 853026 HAS SOPS 672931 HAS SOUS 477626 HAS SOUPS 314765 WITH SCORE 315618.026
AT ITER 1193 NEW BEST:: SOT 1616443 SOS 852830 HAS SOPS 672735 HAS SOUS 477430 HAS SOUPS 314569 WITH SCORE 315421.83
AT ITER 1197 NEW BEST:: SOT 1616017 SOS 852609 HAS SOPS 672514 HAS SOUS 477004 HAS SOUPS 314143 WITH SCORE 314995.609
AT ITER 1201 NEW BEST:: SOT 1533228 SOS 886951 HAS SOPS 706856 HAS SOUS 394680 HAS SOUPS 231819 WITH SCORE 232705.951
AT ITER 1221 NEW BEST:: SOT 1532757 SOS 885946 HAS SOPS 706385 HAS SOUS 394146 HAS SOUPS 231819 WITH SCORE 232704.946
AT ITER 1225 NEW BEST:: SOT 1532167 SOS 885702 HAS SOPS 706141 HAS SOUS 394091 HAS SOUPS 231764 WITH SCORE 232649.702
AT ITER 1237 NEW BEST:: SOT 1532099 SOS 885634 HAS SOPS 706073 HAS SOUS 393955 HAS SOUPS 231628 WITH SCORE 232513.634
AT ITER 1238 NEW BEST:: SOT 1531491 SOS 884722 HAS SOPS 705465 HAS SOUS 393043 HAS SOUPS 231020 WITH SCORE 231904.722
AT ITER 1240 NEW BEST:: SOT 1530684 SOS 883915 HAS SOPS 704658 HAS SOUS 392236 HAS SOUPS 230213 WITH SCORE 231096.915
AT ITER 1241 NEW BEST:: SOT 1530434 SOS 883665 HAS SOPS 704408 HAS SOUS 392236 HAS SOUPS 230213 WITH SCORE 231096.665
AT ITER 1244 NEW BEST:: SOT 1529732 SOS 881987 HAS SOPS 703735 HAS SOUS 391526 HAS SOUPS 230195 WITH SCORE 231076.987
AT ITER 1246 NEW BEST:: SOT 1529728 SOS 881983 HAS SOPS 703731 HAS SOUS 391514 HAS SOUPS 230183 WITH SCORE 231064.983
AT ITER 1253 NEW BEST:: SOT 1529741 SOS 881996 HAS SOPS 703744 HAS SOUS 391498 HAS SOUPS 230167 WITH SCORE 231048.996
AT ITER 1255 NEW BEST:: SOT 1529888 SOS 883124 HAS SOPS 703891 HAS SOUS 391933 HAS SOUPS 230157 WITH SCORE 231040.124
AT ITER 1268 NEW BEST:: SOT 1529435 SOS 882671 HAS SOPS 703438 HAS SOUS 391787 HAS SOUPS 230011 WITH SCORE 230893.671
AT ITER 1269 NEW BEST:: SOT 1529435 SOS 882541 HAS SOPS 703438 HAS SOUS 391657 HAS SOUPS 230011 WITH SCORE 230893.541
AT ITER 1270 NEW BEST:: SOT 1529435 SOS 882394 HAS SOPS 703291 HAS SOUS 391657 HAS SOUPS 230011 WITH SCORE 230893.394
AT ITER 1271 NEW BEST:: SOT 1529459 SOS 882418 HAS SOPS 703315 HAS SOUS 391594 HAS SOUPS 229948 WITH SCORE 230830.418
AT ITER 1273 NEW BEST:: SOT 1529459 SOS 883157 HAS SOPS 703315 HAS SOUS 391656 HAS SOUPS 229644 WITH SCORE 230527.157
AT ITER 1289 NEW BEST:: SOT 1529459 SOS 883111 HAS SOPS 703315 HAS SOUS 391610 HAS SOUPS 229644 WITH SCORE 230527.111
AT ITER 1293 NEW BEST:: SOT 1529073 SOS 882360 HAS SOPS 702929 HAS SOUS 391203 HAS SOUPS 229602 WITH SCORE 230484.36
AT ITER 1298 NEW BEST:: SOT 1529073 SOS 883011 HAS SOPS 702929 HAS SOUS 391240 HAS SOUPS 229298 WITH SCORE 230181.011
AT ITER 1309 NEW BEST:: SOT 1529103 SOS 883147 HAS SOPS 702486 HAS SOUS 391062 HAS SOUPS 228779 WITH SCORE 229662.147
AT ITER 1313 NEW BEST:: SOT 1529039 SOS 883171 HAS SOPS 702422 HAS SOUS 391022 HAS SOUPS 228651 WITH SCORE 229534.171
AT ITER 1315 NEW BEST:: SOT 1529030 SOS 883162 HAS SOPS 702413 HAS SOUS 391013 HAS SOUPS 228642 WITH SCORE 229525.162
AT ITER 1322 NEW BEST:: SOT 1528779 SOS 882911 HAS SOPS 702162 HAS SOUS 390975 HAS SOUPS 228604 WITH SCORE 229486.911
AT ITER 1323 NEW BEST:: SOT 1528654 SOS 882786 HAS SOPS 702037 HAS SOUS 390725 HAS SOUPS 228354 WITH SCORE 229236.786
AT ITER 1329 NEW BEST:: SOT 1527997 SOS 882129 HAS SOPS 701380 HAS SOUS 390582 HAS SOUPS 228211 WITH SCORE 229093.129
AT ITER 1337 NEW BEST:: SOT 1527937 SOS 882069 HAS SOPS 701320 HAS SOUS 390462 HAS SOUPS 228091 WITH SCORE 228973.069
AT ITER 1339 NEW BEST:: SOT 1527912 SOS 882019 HAS SOPS 701295 HAS SOUS 390437 HAS SOUPS 228091 WITH SCORE 228973.019
AT ITER 1344 NEW BEST:: SOT 1527815 SOS 881922 HAS SOPS 701198 HAS SOUS 390243 HAS SOUPS 227897 WITH SCORE 228778.922
AT ITER 1345 NEW BEST:: SOT 1527225 SOS 881037 HAS SOPS 700608 HAS SOUS 389358 HAS SOUPS 227307 WITH SCORE 228188.037
AT ITER 1347 NEW BEST:: SOT 1527222 SOS 881034 HAS SOPS 700605 HAS SOUS 389352 HAS SOUPS 227301 WITH SCORE 228182.034
AT ITER 1350 NEW BEST:: SOT 1527125 SOS 881035 HAS SOPS 700508 HAS SOUS 389256 HAS SOUPS 227107 WITH SCORE 227988.035
AT ITER 1355 NEW BEST:: SOT 1526544 SOS 880067 HAS SOPS 699927 HAS SOUS 388444 HAS SOUPS 226682 WITH SCORE 227562.067
AT ITER 1358 NEW BEST:: SOT 1526544 SOS 880556 HAS SOPS 699927 HAS SOUS 388487 HAS SOUPS 226459 WITH SCORE 227339.556
AT ITER 1360 NEW BEST:: SOT 1526006 SOS 879672 HAS SOPS 699043 HAS SOUS 387595 HAS SOUPS 225567 WITH SCORE 226446.672
AT ITER 1369 NEW BEST:: SOT 1526006 SOS 879786 HAS SOPS 699043 HAS SOUS 387595 HAS SOUPS 225550 WITH SCORE 226429.786
AT ITER 1372 NEW BEST:: SOT 1525640 SOS 879420 HAS SOPS 698677 HAS SOUS 387229 HAS SOUPS 225184 WITH SCORE 226063.42
AT ITER 1381 NEW BEST:: SOT 1525472 SOS 879252 HAS SOPS 698509 HAS SOUS 387229 HAS SOUPS 225184 WITH SCORE 226063.252
AT ITER 1382 NEW BEST:: SOT 1524743 SOS 878639 HAS SOPS 698027 HAS SOUS 387058 HAS SOUPS 225144 WITH SCORE 226022.639
AT ITER 1383 NEW BEST:: SOT 1523886 SOS 877787 HAS SOPS 697175 HAS SOUS 386380 HAS SOUPS 224466 WITH SCORE 225343.787
AT ITER 1391 NEW BEST:: SOT 1523697 SOS 877598 HAS SOPS 696986 HAS SOUS 386121 HAS SOUPS 224207 WITH SCORE 225084.598
AT ITER 1394 NEW BEST:: SOT 1523697 SOS 877604 HAS SOPS 696974 HAS SOUS 386121 HAS SOUPS 224195 WITH SCORE 225072.604
AT ITER 1401 NEW BEST:: SOT 1523326 SOS 876977 HAS SOPS 696603 HAS SOUS 385628 HAS SOUPS 223958 WITH SCORE 224834.977
AT ITER 1409 NEW BEST:: SOT 1523192 SOS 876488 HAS SOPS 696469 HAS SOUS 385005 HAS SOUPS 223690 WITH SCORE 224566.488
AT ITER 1420 NEW BEST:: SOT 1522779 SOS 875726 HAS SOPS 696056 HAS SOUS 384496 HAS SOUPS 223530 WITH SCORE 224405.726
AT ITER 1423 NEW BEST:: SOT 1522719 SOS 875636 HAS SOPS 695996 HAS SOUS 384406 HAS SOUPS 223470 WITH SCORE 224345.636
AT ITER 1429 NEW BEST:: SOT 1522721 SOS 876352 HAS SOPS 695998 HAS SOUS 384832 HAS SOUPS 223328 WITH SCORE 224204.352
AT ITER 1440 NEW BEST:: SOT 1522645 SOS 876267 HAS SOPS 695922 HAS SOUS 384671 HAS SOUPS 223176 WITH SCORE 224052.267
AT ITER 1443 NEW BEST:: SOT 1522645 SOS 877083 HAS SOPS 695922 HAS SOUS 384818 HAS SOUPS 222872 WITH SCORE 223749.083
AT ITER 1446 NEW BEST:: SOT 1522606 SOS 877044 HAS SOPS 695883 HAS SOUS 384740 HAS SOUPS 222794 WITH SCORE 223671.044
AT ITER 1451 NEW BEST:: SOT 1521771 SOS 876209 HAS SOPS 695048 HAS SOUS 383905 HAS SOUPS 221959 WITH SCORE 222835.209
AT ITER 1452 NEW BEST:: SOT 1521771 SOS 877258 HAS SOPS 695048 HAS SOUS 384134 HAS SOUPS 221655 WITH SCORE 222532.258
AT ITER 1453 NEW BEST:: SOT 1521374 SOS 876861 HAS SOPS 694651 HAS SOUS 384127 HAS SOUPS 221648 WITH SCORE 222524.861
AT ITER 1455 NEW BEST:: SOT 1520925 SOS 876412 HAS SOPS 694202 HAS SOUS 383807 HAS SOUPS 221328 WITH SCORE 222204.412
AT ITER 1459 NEW BEST:: SOT 1520323 SOS 875810 HAS SOPS 693600 HAS SOUS 383522 HAS SOUPS 221043 WITH SCORE 221918.81
AT ITER 1461 NEW BEST:: SOT 1520097 SOS 875471 HAS SOPS 693374 HAS SOUS 383183 HAS SOUPS 220817 WITH SCORE 221692.471
AT ITER 1466 NEW BEST:: SOT 1520097 SOS 875840 HAS SOPS 693374 HAS SOUS 383183 HAS SOUPS 220733 WITH SCORE 221608.84
AT ITER 1472 NEW BEST:: SOT 1519851 SOS 875471 HAS SOPS 693128 HAS SOUS 382814 HAS SOUPS 220487 WITH SCORE 221362.471
AT ITER 1479 NEW BEST:: SOT 1519949 SOS 875569 HAS SOPS 693226 HAS SOUS 382798 HAS SOUPS 220471 WITH SCORE 221346.569
AT ITER 1481 NEW BEST:: SOT 1519783 SOS 875403 HAS SOPS 693060 HAS SOUS 382466 HAS SOUPS 220139 WITH SCORE 221014.403
AT ITER 1487 NEW BEST:: SOT 1519445 SOS 875065 HAS SOPS 692722 HAS SOUS 382128 HAS SOUPS 219801 WITH SCORE 220676.065
AT ITER 1496 NEW BEST:: SOT 1519364 SOS 874984 HAS SOPS 692641 HAS SOUS 382029 HAS SOUPS 219702 WITH SCORE 220576.984
AT ITER 1499 NEW BEST:: SOT 1519422 SOS 875963 HAS SOPS 692699 HAS SOUS 382261 HAS SOUPS 219514 WITH SCORE 220389.963
AT ITER 1521 NEW BEST:: SOT 1518909 SOS 875450 HAS SOPS 692186 HAS SOUS 381855 HAS SOUPS 219108 WITH SCORE 219983.45
AT ITER 1527 NEW BEST:: SOT 1518892 SOS 875544 HAS SOPS 692280 HAS SOUS 381818 HAS SOUPS 219071 WITH SCORE 219946.544
AT ITER 1531 NEW BEST:: SOT 1518892 SOS 875440 HAS SOPS 692280 HAS SOUS 381714 HAS SOUPS 219071 WITH SCORE 219946.44
AT ITER 1534 NEW BEST:: SOT 1518828 SOS 875376 HAS SOPS 692216 HAS SOUS 381586 HAS SOUPS 218943 WITH SCORE 219818.376
AT ITER 1535 NEW BEST:: SOT 1516099 SOS 1004265 HAS SOPS 821382 HAS SOUS 379607 HAS SOUPS 217241 WITH SCORE 218245.265
AT ITER 1537 NEW BEST:: SOT 1516099 SOS 1004224 HAS SOPS 821296 HAS SOUS 379521 HAS SOUPS 217125 WITH SCORE 218129.224
AT ITER 1538 NEW BEST:: SOT 1516055 SOS 1004180 HAS SOPS 821252 HAS SOUS 379433 HAS SOUPS 217037 WITH SCORE 218041.18
AT ITER 1542 NEW BEST:: SOT 1515821 SOS 1003749 HAS SOPS 821018 HAS SOUS 379162 HAS SOUPS 216963 WITH SCORE 217966.749
AT ITER 1544 NEW BEST:: SOT 1515129 SOS 1002711 HAS SOPS 820326 HAS SOUS 378124 HAS SOUPS 216271 WITH SCORE 217273.711
AT ITER 1556 NEW BEST:: SOT 1514697 SOS 1001845 HAS SOPS 819894 HAS SOUS 377550 HAS SOUPS 215985 WITH SCORE 216986.845
AT ITER 1560 NEW BEST:: SOT 1514697 SOS 1001935 HAS SOPS 819894 HAS SOUS 377460 HAS SOUPS 215805 WITH SCORE 216806.935
AT ITER 1561 NEW BEST:: SOT 1514249 SOS 1001241 HAS SOPS 819446 HAS SOUS 376810 HAS SOUPS 215401 WITH SCORE 216402.241
AT ITER 1565 NEW BEST:: SOT 1514246 SOS 1001235 HAS SOPS 819443 HAS SOUS 376807 HAS SOUPS 215401 WITH SCORE 216402.235
AT ITER 1568 NEW BEST:: SOT 1514246 SOS 1001913 HAS SOPS 819443 HAS SOUS 376827 HAS SOUPS 215097 WITH SCORE 216098.913
AT ITER 1573 NEW BEST:: SOT 1514109 SOS 1001776 HAS SOPS 819306 HAS SOUS 376604 HAS SOUPS 214874 WITH SCORE 215875.776
AT ITER 1585 NEW BEST:: SOT 1513495 SOS 1001162 HAS SOPS 818692 HAS SOUS 376454 HAS SOUPS 214724 WITH SCORE 215725.162
AT ITER 1590 NEW BEST:: SOT 1513495 SOS 1001073 HAS SOPS 818692 HAS SOUS 376365 HAS SOUPS 214724 WITH SCORE 215725.073
AT ITER 1598 NEW BEST:: SOT 1513290 SOS 1000717 HAS SOPS 818487 HAS SOUS 376106 HAS SOUPS 214616 WITH SCORE 215616.717
AT ITER 1613 NEW BEST:: SOT 1513290 SOS 1000625 HAS SOPS 818487 HAS SOUS 376106 HAS SOUPS 214616 WITH SCORE 215616.625
AT ITER 1615 NEW BEST:: SOT 1513018 SOS 1000151 HAS SOPS 818215 HAS SOUS 375764 HAS SOUPS 214476 WITH SCORE 215476.151
AT ITER 1616 NEW BEST:: SOT 1513105 SOS 1000233 HAS SOPS 818297 HAS SOUS 375637 HAS SOUPS 214349 WITH SCORE 215349.233
AT ITER 1624 NEW BEST:: SOT 1512795 SOS 999699 HAS SOPS 817987 HAS SOUS 375241 HAS SOUPS 214177 WITH SCORE 215176.699
AT ITER 1631 NEW BEST:: SOT 1512609 SOS 999331 HAS SOPS 817801 HAS SOUS 375051 HAS SOUPS 214169 WITH SCORE 215168.331
AT ITER 1636 NEW BEST:: SOT 1512159 SOS 998627 HAS SOPS 817351 HAS SOUS 374405 HAS SOUPS 213777 WITH SCORE 214775.627
AT ITER 1656 NEW BEST:: SOT 1512159 SOS 998447 HAS SOPS 817351 HAS SOUS 374225 HAS SOUPS 213777 WITH SCORE 214775.447
AT ITER 1657 NEW BEST:: SOT 1512159 SOS 998374 HAS SOPS 817351 HAS SOUS 374152 HAS SOUPS 213777 WITH SCORE 214775.374
AT ITER 1660 NEW BEST:: SOT 1511651 SOS 997929 HAS SOPS 817110 HAS SOUS 373948 HAS SOUPS 213777 WITH SCORE 214774.929
AT ITER 1661 NEW BEST:: SOT 1511041 SOS 996570 HAS SOPS 816510 HAS SOUS 373186 HAS SOUPS 213471 WITH SCORE 214467.57
AT ITER 1662 NEW BEST:: SOT 1510541 SOS 995804 HAS SOPS 816010 HAS SOUS 372452 HAS SOUPS 213003 WITH SCORE 213998.804
AT ITER 1665 NEW BEST:: SOT 1510097 SOS 995056 HAS SOPS 815566 HAS SOUS 371868 HAS SOUPS 212723 WITH SCORE 213718.056
AT ITER 1670 NEW BEST:: SOT 1509489 SOS 993991 HAS SOPS 814958 HAS SOUS 371109 HAS SOUPS 212421 WITH SCORE 213414.991
AT ITER 1674 NEW BEST:: SOT 1509489 SOS 994470 HAS SOPS 814958 HAS SOUS 371150 HAS SOUPS 212202 WITH SCORE 213196.47
AT ITER 1679 NEW BEST:: SOT 1509413 SOS 994356 HAS SOPS 814882 HAS SOUS 371036 HAS SOUPS 212126 WITH SCORE 213120.356
AT ITER 1686 NEW BEST:: SOT 1509307 SOS 994250 HAS SOPS 814776 HAS SOUS 370944 HAS SOUPS 212034 WITH SCORE 213028.25
AT ITER 1702 NEW BEST:: SOT 1508772 SOS 993715 HAS SOPS 814241 HAS SOUS 370508 HAS SOUPS 211598 WITH SCORE 212591.715
AT ITER 1703 NEW BEST:: SOT 1508010 SOS 992522 HAS SOPS 813479 HAS SOUS 369415 HAS SOUPS 210936 WITH SCORE 211928.522
AT ITER 1706 NEW BEST:: SOT 1508010 SOS 993255 HAS SOPS 813479 HAS SOUS 369454 HAS SOUPS 210632 WITH SCORE 211625.255
AT ITER 1712 NEW BEST:: SOT 1507580 SOS 992610 HAS SOPS 813049 HAS SOUS 368809 HAS SOUPS 210202 WITH SCORE 211194.61
AT ITER 1720 NEW BEST:: SOT 1507568 SOS 992598 HAS SOPS 813037 HAS SOUS 368785 HAS SOUPS 210178 WITH SCORE 211170.598
AT ITER 1731 NEW BEST:: SOT 1507672 SOS 992691 HAS SOPS 812950 HAS SOUS 368889 HAS SOUPS 210102 WITH SCORE 211094.691
AT ITER 1736 NEW BEST:: SOT 1506828 SOS 991156 HAS SOPS 812352 HAS SOUS 367891 HAS SOUPS 209795 WITH SCORE 210786.156
AT ITER 1747 NEW BEST:: SOT 1506814 SOS 991135 HAS SOPS 812338 HAS SOUS 367870 HAS SOUPS 209781 WITH SCORE 210772.135
AT ITER 1748 NEW BEST:: SOT 1506808 SOS 991129 HAS SOPS 812332 HAS SOUS 367858 HAS SOUPS 209769 WITH SCORE 210760.129
AT ITER 1757 NEW BEST:: SOT 1506639 SOS 990836 HAS SOPS 812163 HAS SOUS 367644 HAS SOUPS 209679 WITH SCORE 210669.836
AT ITER 1761 NEW BEST:: SOT 1506715 SOS 991699 HAS SOPS 812239 HAS SOUS 367820 HAS SOUPS 209527 WITH SCORE 210518.699
AT ITER 1765 NEW BEST:: SOT 1505824 SOS 990808 HAS SOPS 811430 HAS SOUS 367107 HAS SOUPS 208814 WITH SCORE 209804.808
AT ITER 1773 NEW BEST:: SOT 1505571 SOS 990735 HAS SOPS 811575 HAS SOUS 366854 HAS SOUPS 208779 WITH SCORE 209769.735
AT ITER 1785 NEW BEST:: SOT 1505393 SOS 990557 HAS SOPS 811397 HAS SOUS 366676 HAS SOUPS 208601 WITH SCORE 209591.557
AT ITER 1787 NEW BEST:: SOT 1505209 SOS 990553 HAS SOPS 811447 HAS SOUS 366492 HAS SOUPS 208471 WITH SCORE 209461.553
AT ITER 1791 NEW BEST:: SOT 1504802 SOS 989885 HAS SOPS 811040 HAS SOUS 365939 HAS SOUPS 208179 WITH SCORE 209168.885
AT ITER 1797 NEW BEST:: SOT 1504800 SOS 989881 HAS SOPS 811038 HAS SOUS 365937 HAS SOUPS 208179 WITH SCORE 209168.881
AT ITER 1801 NEW BEST:: SOT 1504535 SOS 989796 HAS SOPS 811199 HAS SOUS 365672 HAS SOUPS 208160 WITH SCORE 209149.796
AT ITER 1809 NEW BEST:: SOT 1503646 SOS 988907 HAS SOPS 810310 HAS SOUS 364872 HAS SOUPS 207360 WITH SCORE 208348.907
AT ITER 1827 NEW BEST:: SOT 1503303 SOS 988564 HAS SOPS 809967 HAS SOUS 364186 HAS SOUPS 206674 WITH SCORE 207662.564
AT ITER 1830 NEW BEST:: SOT 1503177 SOS 988593 HAS SOPS 809996 HAS SOUS 364089 HAS SOUPS 206577 WITH SCORE 207565.593
AT ITER 1834 NEW BEST:: SOT 1503177 SOS 988933 HAS SOPS 809996 HAS SOUS 364089 HAS SOUPS 206417 WITH SCORE 207405.933
AT ITER 1848 NEW BEST:: SOT 1503067 SOS 988823 HAS SOPS 809966 HAS SOUS 363909 HAS SOUPS 206237 WITH SCORE 207225.823
AT ITER 1850 NEW BEST:: SOT 1502681 SOS 988064 HAS SOPS 809580 HAS SOUS 363510 HAS SOUPS 206211 WITH SCORE 207199.064
AT ITER 1852 NEW BEST:: SOT 1502515 SOS 987815 HAS SOPS 809414 HAS SOUS 363261 HAS SOUPS 206045 WITH SCORE 207032.815
AT ITER 1858 NEW BEST:: SOT 1502251 SOS 987287 HAS SOPS 809150 HAS SOUS 362997 HAS SOUPS 206045 WITH SCORE 207032.287
AT ITER 1860 NEW BEST:: SOT 1502002 SOS 860972 HAS SOPS 682993 HAS SOUS 362341 HAS SOUPS 205547 WITH SCORE 206407.972
AT ITER 1876 NEW BEST:: SOT 1502002 SOS 860853 HAS SOPS 682993 HAS SOUS 362222 HAS SOUPS 205547 WITH SCORE 206407.853
AT ITER 1878 NEW BEST:: SOT 1501961 SOS 860812 HAS SOPS 682952 HAS SOUS 362140 HAS SOUPS 205465 WITH SCORE 206325.812
AT ITER 1879 NEW BEST:: SOT 1501920 SOS 860771 HAS SOPS 682911 HAS SOUS 362058 HAS SOUPS 205383 WITH SCORE 206243.771
AT ITER 1880 NEW BEST:: SOT 1501371 SOS 859920 HAS SOPS 682362 HAS SOUS 361262 HAS SOUPS 204889 WITH SCORE 205748.92
AT ITER 1881 NEW BEST:: SOT 1501047 SOS 859327 HAS SOPS 682038 HAS SOUS 360883 HAS SOUPS 204779 WITH SCORE 205638.327
AT ITER 1885 NEW BEST:: SOT 1500935 SOS 859324 HAS SOPS 682035 HAS SOUS 360771 HAS SOUPS 204667 WITH SCORE 205526.324
AT ITER 1898 NEW BEST:: SOT 1500546 SOS 858546 HAS SOPS 681646 HAS SOUS 360382 HAS SOUPS 204667 WITH SCORE 205525.546
AT ITER 1899 NEW BEST:: SOT 1499948 SOS 857948 HAS SOPS 681048 HAS SOUS 359784 HAS SOUPS 204069 WITH SCORE 204926.948
AT ITER 1907 NEW BEST:: SOT 1499871 SOS 857555 HAS SOPS 680971 HAS SOUS 359630 HAS SOUPS 204004 WITH SCORE 204861.555
AT ITER 1909 NEW BEST:: SOT 1499780 SOS 857867 HAS SOPS 680880 HAS SOUS 359835 HAS SOUPS 203814 WITH SCORE 204671.867
AT ITER 1914 NEW BEST:: SOT 1499615 SOS 857702 HAS SOPS 680715 HAS SOUS 359835 HAS SOUPS 203814 WITH SCORE 204671.702
AT ITER 1930 NEW BEST:: SOT 1499419 SOS 857232 HAS SOPS 680519 HAS SOUS 359443 HAS SOUPS 203422 WITH SCORE 204279.232
AT ITER 1947 NEW BEST:: SOT 1499406 SOS 857219 HAS SOPS 680506 HAS SOUS 359417 HAS SOUPS 203396 WITH SCORE 204253.219
AT ITER 1952 NEW BEST:: SOT 1499285 SOS 857098 HAS SOPS 680385 HAS SOUS 359175 HAS SOUPS 203154 WITH SCORE 204011.098
AT ITER 1959 NEW BEST:: SOT 1499285 SOS 857677 HAS SOPS 680385 HAS SOUS 359250 HAS SOUPS 202902 WITH SCORE 203759.677
AT ITER 1965 NEW BEST:: SOT 1499273 SOS 857665 HAS SOPS 680373 HAS SOUS 359226 HAS SOUPS 202878 WITH SCORE 203735.665
AT ITER 1967 NEW BEST:: SOT 1499273 SOS 857662 HAS SOPS 680373 HAS SOUS 359223 HAS SOUPS 202878 WITH SCORE 203735.662
AT ITER 1968 NEW BEST:: SOT 1498537 SOS 856558 HAS SOPS 679637 HAS SOUS 358119 HAS SOUPS 202142 WITH SCORE 202998.558
AT ITER 1980 NEW BEST:: SOT 1498352 SOS 856373 HAS SOPS 679452 HAS SOUS 357749 HAS SOUPS 201772 WITH SCORE 202628.373
AT ITER 1984 NEW BEST:: SOT 1498304 SOS 856301 HAS SOPS 679404 HAS SOUS 357677 HAS SOUPS 201724 WITH SCORE 202580.301
AT ITER 1995 NEW BEST:: SOT 1498198 SOS 856195 HAS SOPS 679298 HAS SOUS 357677 HAS SOUPS 201724 WITH SCORE 202580.195
AT ITER 1998 NEW BEST:: SOT 1498167 SOS 856164 HAS SOPS 679267 HAS SOUS 357615 HAS SOUPS 201662 WITH SCORE 202518.164
AT ITER 2004 NEW BEST:: SOT 1497622 SOS 855305 HAS SOPS 678722 HAS SOUS 356839 HAS SOUPS 201200 WITH SCORE 202055.305
AT ITER 2006 NEW BEST:: SOT 1497667 SOS 855477 HAS SOPS 678558 HAS SOUS 356884 HAS SOUPS 201036 WITH SCORE 201891.477
AT ITER 2012 NEW BEST:: SOT 1496772 SOS 854762 HAS SOPS 678151 HAS SOUS 356585 HAS SOUPS 200739 WITH SCORE 201593.762
AT ITER 2022 NEW BEST:: SOT 1496006 SOS 854216 HAS SOPS 677880 HAS SOUS 356197 HAS SOUPS 200351 WITH SCORE 201205.216
AT ITER 2031 NEW BEST:: SOT 1495574 SOS 853784 HAS SOPS 677448 HAS SOUS 355765 HAS SOUPS 199919 WITH SCORE 200772.784
AT ITER 2039 NEW BEST:: SOT 1495636 SOS 854819 HAS SOPS 677510 HAS SOUS 356158 HAS SOUPS 199739 WITH SCORE 200593.819
AT ITER 2052 NEW BEST:: SOT 1495411 SOS 854493 HAS SOPS 677424 HAS SOUS 355933 HAS SOUPS 199739 WITH SCORE 200593.493
AT ITER 2055 NEW BEST:: SOT 1495383 SOS 854465 HAS SOPS 677396 HAS SOUS 355877 HAS SOUPS 199683 WITH SCORE 200537.465
AT ITER 2057 NEW BEST:: SOT 1495604 SOS 854506 HAS SOPS 677129 HAS SOUS 355792 HAS SOUPS 199596 WITH SCORE 200450.506
AT ITER 2060 NEW BEST:: SOT 1495543 SOS 854445 HAS SOPS 677068 HAS SOUS 355792 HAS SOUPS 199596 WITH SCORE 200450.445
AT ITER 2064 NEW BEST:: SOT 1495543 SOS 854445 HAS SOPS 677014 HAS SOUS 355765 HAS SOUPS 199542 WITH SCORE 200396.445
AT ITER 2081 NEW BEST:: SOT 1494607 SOS 852614 HAS SOPS 676679 HAS SOUS 354732 HAS SOUPS 199349 WITH SCORE 200201.614
AT ITER 2099 NEW BEST:: SOT 1494107 SOS 851864 HAS SOPS 676179 HAS SOUS 353982 HAS SOUPS 198849 WITH SCORE 199700.864
AT ITER 2104 NEW BEST:: SOT 1494054 SOS 851864 HAS SOPS 676179 HAS SOUS 353876 HAS SOUPS 198743 WITH SCORE 199594.864
AT ITER 2107 NEW BEST:: SOT 1493994 SOS 851466 HAS SOPS 676119 HAS SOUS 353418 HAS SOUPS 198623 WITH SCORE 199474.466
AT ITER 2108 NEW BEST:: SOT 1494320 SOS 852378 HAS SOPS 675893 HAS SOUS 353716 HAS SOUPS 198273 WITH SCORE 199125.378
AT ITER 2114 NEW BEST:: SOT 1494320 SOS 852326 HAS SOPS 675841 HAS SOUS 353716 HAS SOUPS 198273 WITH SCORE 199125.326
AT ITER 2129 NEW BEST:: SOT 1494399 SOS 852511 HAS SOPS 675787 HAS SOUS 353795 HAS SOUPS 198219 WITH SCORE 199071.511
AT ITER 2136 NEW BEST:: SOT 1494266 SOS 852378 HAS SOPS 675654 HAS SOUS 353775 HAS SOUPS 198199 WITH SCORE 199051.378
AT ITER 2140 NEW BEST:: SOT 1494151 SOS 852263 HAS SOPS 675539 HAS SOUS 353545 HAS SOUPS 197969 WITH SCORE 198821.263
AT ITER 2154 NEW BEST:: SOT 1493719 SOS 851615 HAS SOPS 675107 HAS SOUS 352897 HAS SOUPS 197537 WITH SCORE 198388.615
AT ITER 2166 NEW BEST:: SOT 1493105 SOS 851031 HAS SOPS 674608 HAS SOUS 352534 HAS SOUPS 197259 WITH SCORE 198110.031
AT ITER 2167 NEW BEST:: SOT 1492993 SOS 850863 HAS SOPS 674496 HAS SOUS 352366 HAS SOUPS 197147 WITH SCORE 197997.863
AT ITER 2168 NEW BEST:: SOT 1492992 SOS 850862 HAS SOPS 674495 HAS SOUS 352364 HAS SOUPS 197145 WITH SCORE 197995.862
AT ITER 2172 NEW BEST:: SOT 1492240 SOS 850110 HAS SOPS 673743 HAS SOUS 351612 HAS SOUPS 196393 WITH SCORE 197243.11
AT ITER 2173 NEW BEST:: SOT 1492075 SOS 849730 HAS SOPS 673693 HAS SOUS 351447 HAS SOUPS 196393 WITH SCORE 197242.73
AT ITER 2174 NEW BEST:: SOT 1491835 SOS 849490 HAS SOPS 673453 HAS SOUS 351361 HAS SOUPS 196307 WITH SCORE 197156.49
AT ITER 2176 NEW BEST:: SOT 1492154 SOS 850227 HAS SOPS 673421 HAS SOUS 351637 HAS SOUPS 196220 WITH SCORE 197070.227
AT ITER 2206 NEW BEST:: SOT 1491350 SOS 849580 HAS SOPS 672986 HAS SOUS 351060 HAS SOUPS 195643 WITH SCORE 196492.58
AT ITER 2208 NEW BEST:: SOT 1491212 SOS 849442 HAS SOPS 672710 HAS SOUS 350760 HAS SOUPS 195367 WITH SCORE 196216.442
AT ITER 2225 NEW BEST:: SOT 1490584 SOS 849267 HAS SOPS 672535 HAS SOUS 350587 HAS SOUPS 195194 WITH SCORE 196043.267
AT ITER 2227 NEW BEST:: SOT 1490315 SOS 848998 HAS SOPS 672266 HAS SOUS 350070 HAS SOUPS 194677 WITH SCORE 195525.998
AT ITER 2229 NEW BEST:: SOT 1490283 SOS 848966 HAS SOPS 672234 HAS SOUS 350006 HAS SOUPS 194613 WITH SCORE 195461.966
AT ITER 2234 NEW BEST:: SOT 1490275 SOS 848958 HAS SOPS 672218 HAS SOUS 349998 HAS SOUPS 194597 WITH SCORE 195445.958
AT ITER 2246 NEW BEST:: SOT 1490426 SOS 849109 HAS SOPS 672369 HAS SOUS 349826 HAS SOUPS 194425 WITH SCORE 195274.109
AT ITER 2249 NEW BEST:: SOT 1490150 SOS 848695 HAS SOPS 672093 HAS SOUS 349412 HAS SOUPS 194149 WITH SCORE 194997.695
AT ITER 2252 NEW BEST:: SOT 1489937 SOS 848482 HAS SOPS 671880 HAS SOUS 348986 HAS SOUPS 193723 WITH SCORE 194571.482
AT ITER 2261 NEW BEST:: SOT 1489663 SOS 848208 HAS SOPS 671606 HAS SOUS 348438 HAS SOUPS 193175 WITH SCORE 194023.208
AT ITER 2265 NEW BEST:: SOT 1489502 SOS 847886 HAS SOPS 671445 HAS SOUS 348277 HAS SOUPS 193175 WITH SCORE 194022.886
AT ITER 2266 NEW BEST:: SOT 1489297 SOS 847423 HAS SOPS 671240 HAS SOUS 348072 HAS SOUPS 193173 WITH SCORE 194020.423
AT ITER 2290 NEW BEST:: SOT 1488621 SOS 846747 HAS SOPS 670564 HAS SOUS 347396 HAS SOUPS 192497 WITH SCORE 193343.747
AT ITER 2291 NEW BEST:: SOT 1488763 SOS 848028 HAS SOPS 670706 HAS SOUS 348059 HAS SOUPS 192477 WITH SCORE 193325.028
AT ITER 2295 NEW BEST:: SOT 1488246 SOS 847617 HAS SOPS 670390 HAS SOUS 347742 HAS SOUPS 192255 WITH SCORE 193102.617
AT ITER 2303 NEW BEST:: SOT 1487506 SOS 846877 HAS SOPS 669659 HAS SOUS 347220 HAS SOUPS 191733 WITH SCORE 192579.877
AT ITER 2306 NEW BEST:: SOT 1486749 SOS 846563 HAS SOPS 669345 HAS SOUS 346766 HAS SOUPS 191279 WITH SCORE 192125.563
AT ITER 2308 NEW BEST:: SOT 1486168 SOS 845629 HAS SOPS 668764 HAS SOUS 345957 HAS SOUPS 190823 WITH SCORE 191668.629
AT ITER 2319 NEW BEST:: SOT 1485945 SOS 845183 HAS SOPS 668541 HAS SOUS 345734 HAS SOUPS 190823 WITH SCORE 191668.183
AT ITER 2322 NEW BEST:: SOT 1485938 SOS 845169 HAS SOPS 668534 HAS SOUS 345727 HAS SOUPS 190823 WITH SCORE 191668.169
AT ITER 2333 NEW BEST:: SOT 1485679 SOS 844660 HAS SOPS 668275 HAS SOUS 345459 HAS SOUPS 190805 WITH SCORE 191649.66
AT ITER 2338 NEW BEST:: SOT 1484888 SOS 844071 HAS SOPS 667943 HAS SOUS 345077 HAS SOUPS 190423 WITH SCORE 191267.071
AT ITER 2346 NEW BEST:: SOT 1484981 SOS 844604 HAS SOPS 668036 HAS SOUS 345331 HAS SOUPS 190383 WITH SCORE 191227.604
AT ITER 2349 NEW BEST:: SOT 1484969 SOS 844592 HAS SOPS 668024 HAS SOUS 345307 HAS SOUPS 190359 WITH SCORE 191203.592
AT ITER 2362 NEW BEST:: SOT 1484917 SOS 844488 HAS SOPS 667972 HAS SOUS 345255 HAS SOUPS 190359 WITH SCORE 191203.488
AT ITER 2365 NEW BEST:: SOT 1484917 SOS 844478 HAS SOPS 667962 HAS SOUS 345255 HAS SOUPS 190359 WITH SCORE 191203.478
AT ITER 2380 NEW BEST:: SOT 1484978 SOS 844539 HAS SOPS 668023 HAS SOUS 345125 HAS SOUPS 190229 WITH SCORE 191073.539
AT ITER 2388 NEW BEST:: SOT 1484924 SOS 844485 HAS SOPS 667969 HAS SOUS 345017 HAS SOUPS 190121 WITH SCORE 190965.485
AT ITER 2403 NEW BEST:: SOT 1484700 SOS 844315 HAS SOPS 667799 HAS SOUS 344793 HAS SOUPS 189897 WITH SCORE 190741.315
AT ITER 2406 NEW BEST:: SOT 1484176 SOS 843920 HAS SOPS 667404 HAS SOUS 344754 HAS SOUPS 189858 WITH SCORE 190701.92
AT ITER 2410 NEW BEST:: SOT 1484166 SOS 843910 HAS SOPS 667394 HAS SOUS 344734 HAS SOUPS 189838 WITH SCORE 190681.91
AT ITER 2411 NEW BEST:: SOT 1483461 SOS 843481 HAS SOPS 667350 HAS SOUS 344595 HAS SOUPS 189753 WITH SCORE 190596.481
AT ITER 2415 NEW BEST:: SOT 1483220 SOS 843420 HAS SOPS 667379 HAS SOUS 344354 HAS SOUPS 189602 WITH SCORE 190445.42
AT ITER 2417 NEW BEST:: SOT 1483018 SOS 844131 HAS SOPS 667177 HAS SOUS 344353 HAS SOUPS 188943 WITH SCORE 189787.131
AT ITER 2427 NEW BEST:: SOT 1482929 SOS 844042 HAS SOPS 667088 HAS SOUS 344175 HAS SOUPS 188765 WITH SCORE 189609.042
AT ITER 2430 NEW BEST:: SOT 1482929 SOS 843811 HAS SOPS 667088 HAS SOUS 344175 HAS SOUPS 188765 WITH SCORE 189608.811
AT ITER 2438 NEW BEST:: SOT 1482762 SOS 843644 HAS SOPS 666921 HAS SOUS 343841 HAS SOUPS 188431 WITH SCORE 189274.644
AT ITER 2448 NEW BEST:: SOT 1482656 SOS 843538 HAS SOPS 666815 HAS SOUS 343668 HAS SOUPS 188258 WITH SCORE 189101.538
AT ITER 2459 NEW BEST:: SOT 1482242 SOS 843538 HAS SOPS 666401 HAS SOUS 343254 HAS SOUPS 187430 WITH SCORE 188273.538
AT ITER 2463 NEW BEST:: SOT 1481428 SOS 842724 HAS SOPS 665587 HAS SOUS 342888 HAS SOUPS 187064 WITH SCORE 187906.724
AT ITER 2469 NEW BEST:: SOT 1481773 SOS 843697 HAS SOPS 665717 HAS SOUS 343139 HAS SOUPS 186878 WITH SCORE 187721.697
AT ITER 2476 NEW BEST:: SOT 1481606 SOS 843530 HAS SOPS 665550 HAS SOUS 342805 HAS SOUPS 186544 WITH SCORE 187387.53
AT ITER 2478 NEW BEST:: SOT 1481605 SOS 843529 HAS SOPS 665549 HAS SOUS 342803 HAS SOUPS 186542 WITH SCORE 187385.529
AT ITER 2481 NEW BEST:: SOT 1481338 SOS 843126 HAS SOPS 665282 HAS SOUS 342405 HAS SOUPS 186280 WITH SCORE 187123.126
AT ITER 2494 NEW BEST:: SOT 1480663 SOS 842695 HAS SOPS 665150 HAS SOUS 342095 HAS SOUPS 185970 WITH SCORE 186812.695
AT ITER 2501 NEW BEST:: SOT 1480405 SOS 842437 HAS SOPS 664892 HAS SOUS 342095 HAS SOUPS 185970 WITH SCORE 186812.437
AT ITER 2504 NEW BEST:: SOT 1480359 SOS 842391 HAS SOPS 664846 HAS SOUS 342003 HAS SOUPS 185878 WITH SCORE 186720.391
AT ITER 2505 NEW BEST:: SOT 1480359 SOS 842391 HAS SOPS 664694 HAS SOUS 341927 HAS SOUPS 185726 WITH SCORE 186568.391
AT ITER 2512 NEW BEST:: SOT 1480199 SOS 842700 HAS SOPS 664534 HAS SOUS 341844 HAS SOUPS 185290 WITH SCORE 186132.7
AT ITER 2518 NEW BEST:: SOT 1479824 SOS 842123 HAS SOPS 664159 HAS SOUS 341296 HAS SOUPS 184944 WITH SCORE 185786.123
AT ITER 2519 NEW BEST:: SOT 1479988 SOS 842513 HAS SOPS 664323 HAS SOUS 341398 HAS SOUPS 184820 WITH SCORE 185662.513
AT ITER 2521 NEW BEST:: SOT 1479969 SOS 842494 HAS SOPS 664304 HAS SOUS 341385 HAS SOUPS 184807 WITH SCORE 185649.494
AT ITER 2524 NEW BEST:: SOT 1479507 SOS 841356 HAS SOPS 663855 HAS SOUS 340845 HAS SOUPS 184651 WITH SCORE 185492.356
AT ITER 2525 NEW BEST:: SOT 1479402 SOS 841284 HAS SOPS 663878 HAS SOUS 340540 HAS SOUPS 184441 WITH SCORE 185282.284
AT ITER 2527 NEW BEST:: SOT 1479145 SOS 841027 HAS SOPS 663621 HAS SOUS 340348 HAS SOUPS 184249 WITH SCORE 185090.027
AT ITER 2528 NEW BEST:: SOT 1478647 SOS 840529 HAS SOPS 663123 HAS SOUS 340269 HAS SOUPS 184170 WITH SCORE 185010.529
AT ITER 2531 NEW BEST:: SOT 1478615 SOS 840960 HAS SOPS 663091 HAS SOUS 340542 HAS SOUPS 184043 WITH SCORE 184883.96
AT ITER 2541 NEW BEST:: SOT 1477717 SOS 840062 HAS SOPS 662193 HAS SOUS 339644 HAS SOUPS 183145 WITH SCORE 183985.062
AT ITER 2545 NEW BEST:: SOT 1477342 SOS 839312 HAS SOPS 661818 HAS SOUS 339269 HAS SOUPS 183145 WITH SCORE 183984.312
AT ITER 2558 NEW BEST:: SOT 1477179 SOS 839149 HAS SOPS 661655 HAS SOUS 339269 HAS SOUPS 183145 WITH SCORE 183984.149
AT ITER 2566 NEW BEST:: SOT 1477113 SOS 839050 HAS SOPS 661589 HAS SOUS 339170 HAS SOUPS 183079 WITH SCORE 183918.05
AT ITER 2568 NEW BEST:: SOT 1476936 SOS 838873 HAS SOPS 661412 HAS SOUS 339076 HAS SOUPS 182985 WITH SCORE 183823.873
AT ITER 2580 NEW BEST:: SOT 1476936 SOS 838716 HAS SOPS 661412 HAS SOUS 338919 HAS SOUPS 182985 WITH SCORE 183823.716
AT ITER 2582 NEW BEST:: SOT 1477047 SOS 839934 HAS SOPS 661523 HAS SOUS 339672 HAS SOUPS 182919 WITH SCORE 183758.934
AT ITER 2588 NEW BEST:: SOT 1476967 SOS 839694 HAS SOPS 661443 HAS SOUS 339592 HAS SOUPS 182919 WITH SCORE 183758.694
AT ITER 2603 NEW BEST:: SOT 1477002 SOS 840396 HAS SOPS 661478 HAS SOUS 339669 HAS SOUPS 182685 WITH SCORE 183525.396
AT ITER 2613 NEW BEST:: SOT 1477096 SOS 841232 HAS SOPS 661572 HAS SOUS 339857 HAS SOUPS 182632 WITH SCORE 183473.232
AT ITER 2614 NEW BEST:: SOT 1477360 SOS 842098 HAS SOPS 661834 HAS SOUS 340074 HAS SOUPS 182540 WITH SCORE 183382.098
AT ITER 2617 NEW BEST:: SOT 1477360 SOS 841749 HAS SOPS 661834 HAS SOUS 339725 HAS SOUPS 182540 WITH SCORE 183381.749
AT ITER 2627 NEW BEST:: SOT 1476878 SOS 841267 HAS SOPS 661352 HAS SOUS 339529 HAS SOUPS 182344 WITH SCORE 183185.267
AT ITER 2630 NEW BEST:: SOT 1476958 SOS 841267 HAS SOPS 661112 HAS SOUS 339609 HAS SOUPS 182184 WITH SCORE 183025.267
AT ITER 2631 NEW BEST:: SOT 1476979 SOS 841172 HAS SOPS 660886 HAS SOUS 339525 HAS SOUPS 181969 WITH SCORE 182810.172
AT ITER 2655 NEW BEST:: SOT 1476951 SOS 841144 HAS SOPS 660858 HAS SOUS 339469 HAS SOUPS 181913 WITH SCORE 182754.144
AT ITER 2672 NEW BEST:: SOT 1476726 SOS 840919 HAS SOPS 660633 HAS SOUS 339469 HAS SOUPS 181913 WITH SCORE 182753.919
AT ITER 2675 NEW BEST:: SOT 1476726 SOS 840871 HAS SOPS 660585 HAS SOUS 339469 HAS SOUPS 181913 WITH SCORE 182753.871
AT ITER 2676 NEW BEST:: SOT 1476493 SOS 840638 HAS SOPS 660352 HAS SOUS 339347 HAS SOUPS 181791 WITH SCORE 182631.638
AT ITER 2698 NEW BEST:: SOT 1476275 SOS 840103 HAS SOPS 660134 HAS SOUS 338594 HAS SOUPS 181355 WITH SCORE 182195.103
AT ITER 2702 NEW BEST:: SOT 1476208 SOS 840036 HAS SOPS 660067 HAS SOUS 338460 HAS SOUPS 181221 WITH SCORE 182061.036
AT ITER 2707 NEW BEST:: SOT 1475654 SOS 839493 HAS SOPS 659678 HAS SOUS 337906 HAS SOUPS 180821 WITH SCORE 181660.493
AT ITER 2713 NEW BEST:: SOT 1475616 SOS 839455 HAS SOPS 659640 HAS SOUS 337830 HAS SOUPS 180745 WITH SCORE 181584.455
AT ITER 2716 NEW BEST:: SOT 1475616 SOS 839455 HAS SOPS 659270 HAS SOUS 337830 HAS SOUPS 180375 WITH SCORE 181214.455
AT ITER 2724 NEW BEST:: SOT 1475616 SOS 839442 HAS SOPS 659270 HAS SOUS 337817 HAS SOUPS 180375 WITH SCORE 181214.442
AT ITER 2726 NEW BEST:: SOT 1475616 SOS 839434 HAS SOPS 659262 HAS SOUS 337817 HAS SOUPS 180375 WITH SCORE 181214.434
AT ITER 2743 NEW BEST:: SOT 1475496 SOS 839314 HAS SOPS 659142 HAS SOUS 337739 HAS SOUPS 180297 WITH SCORE 181136.314
AT ITER 2744 NEW BEST:: SOT 1475496 SOS 839271 HAS SOPS 659099 HAS SOUS 337739 HAS SOUPS 180297 WITH SCORE 181136.271
AT ITER 2751 NEW BEST:: SOT 1475286 SOS 838956 HAS SOPS 658889 HAS SOUS 337424 HAS SOUPS 180087 WITH SCORE 180925.956
AT ITER 2771 NEW BEST:: SOT 1475286 SOS 838934 HAS SOPS 658852 HAS SOUS 337439 HAS SOUPS 180087 WITH SCORE 180925.934
AT ITER 2775 NEW BEST:: SOT 1475149 SOS 839055 HAS SOPS 658715 HAS SOUS 337423 HAS SOUPS 179813 WITH SCORE 180652.055
AT ITER 2787 NEW BEST:: SOT 1475074 SOS 838947 HAS SOPS 658532 HAS SOUS 337273 HAS SOUPS 179663 WITH SCORE 180501.947
AT ITER 2789 NEW BEST:: SOT 1475074 SOS 838903 HAS SOPS 658532 HAS SOUS 337229 HAS SOUPS 179663 WITH SCORE 180501.903
AT ITER 2796 NEW BEST:: SOT 1475178 SOS 839922 HAS SOPS 658636 HAS SOUS 337571 HAS SOUPS 179567 WITH SCORE 180406.922
AT ITER 2808 NEW BEST:: SOT 1475044 SOS 839788 HAS SOPS 658502 HAS SOUS 337303 HAS SOUPS 179299 WITH SCORE 180138.788
AT ITER 2809 NEW BEST:: SOT 1475012 SOS 839756 HAS SOPS 658482 HAS SOUS 337236 HAS SOUPS 179232 WITH SCORE 180071.756
AT ITER 2813 NEW BEST:: SOT 1474768 SOS 839512 HAS SOPS 658238 HAS SOUS 336748 HAS SOUPS 178744 WITH SCORE 179583.512
AT ITER 2835 NEW BEST:: SOT 1474756 SOS 839500 HAS SOPS 658226 HAS SOUS 336724 HAS SOUPS 178720 WITH SCORE 179559.5
AT ITER 2848 NEW BEST:: SOT 1474756 SOS 839994 HAS SOPS 658226 HAS SOUS 336724 HAS SOUPS 178538 WITH SCORE 179377.994
AT ITER 2851 NEW BEST:: SOT 1474756 SOS 839938 HAS SOPS 658226 HAS SOUS 336724 HAS SOUPS 178538 WITH SCORE 179377.938
AT ITER 2868 NEW BEST:: SOT 1474752 SOS 839934 HAS SOPS 658222 HAS SOUS 336720 HAS SOUPS 178534 WITH SCORE 179373.934
AT ITER 2875 NEW BEST:: SOT 1474696 SOS 839850 HAS SOPS 658166 HAS SOUS 336636 HAS SOUPS 178478 WITH SCORE 179317.85
AT ITER 2879 NEW BEST:: SOT 1474782 SOS 839842 HAS SOPS 658047 HAS SOUS 336639 HAS SOUPS 178370 WITH SCORE 179209.842
AT ITER 2885 NEW BEST:: SOT 1474282 SOS 838916 HAS SOPS 657547 HAS SOUS 336065 HAS SOUPS 178222 WITH SCORE 179060.916
AT ITER 2892 NEW BEST:: SOT 1474023 SOS 838657 HAS SOPS 657288 HAS SOUS 335547 HAS SOUPS 177704 WITH SCORE 178542.657
AT ITER 2911 NEW BEST:: SOT 1474009 SOS 838636 HAS SOPS 657274 HAS SOUS 335526 HAS SOUPS 177690 WITH SCORE 178528.636
AT ITER 2929 NEW BEST:: SOT 1473979 SOS 838591 HAS SOPS 657244 HAS SOUS 335481 HAS SOUPS 177660 WITH SCORE 178498.591
AT ITER 2930 NEW BEST:: SOT 1473746 SOS 838358 HAS SOPS 657011 HAS SOUS 335481 HAS SOUPS 177660 WITH SCORE 178498.358
AT ITER 2935 NEW BEST:: SOT 1472912 SOS 837018 HAS SOPS 656177 HAS SOUS 334319 HAS SOUPS 177004 WITH SCORE 177841.018
AT ITER 2948 NEW BEST:: SOT 1472835 SOS 836941 HAS SOPS 656100 HAS SOUS 334165 HAS SOUPS 176850 WITH SCORE 177686.941
AT ITER 2949 NEW BEST:: SOT 1472696 SOS 836696 HAS SOPS 655961 HAS SOUS 333993 HAS SOUPS 176784 WITH SCORE 177620.696
AT ITER 2950 NEW BEST:: SOT 1472597 SOS 836597 HAS SOPS 655862 HAS SOUS 333795 HAS SOUPS 176586 WITH SCORE 177422.597
AT ITER 2977 NEW BEST:: SOT 1472597 SOS 836550 HAS SOPS 655815 HAS SOUS 333795 HAS SOUPS 176586 WITH SCORE 177422.55
AT ITER 2978 NEW BEST:: SOT 1472514 SOS 836467 HAS SOPS 655732 HAS SOUS 333629 HAS SOUPS 176420 WITH SCORE 177256.467
AT ITER 2981 NEW BEST:: SOT 1472467 SOS 836420 HAS SOPS 655685 HAS SOUS 333332 HAS SOUPS 176123 WITH SCORE 176959.42
AT ITER 2986 NEW BEST:: SOT 1472410 SOS 836363 HAS SOPS 655571 HAS SOUS 333218 HAS SOUPS 176009 WITH SCORE 176845.363
AT ITER 2988 NEW BEST:: SOT 1472389 SOS 836342 HAS SOPS 655550 HAS SOUS 333176 HAS SOUPS 175967 WITH SCORE 176803.342
AT ITER 3020 NEW BEST:: SOT 1472665 SOS 836618 HAS SOPS 655826 HAS SOUS 333163 HAS SOUPS 175954 WITH SCORE 176790.618
AT ITER 3037 NEW BEST:: SOT 1472665 SOS 837449 HAS SOPS 655826 HAS SOUS 333299 HAS SOUPS 175650 WITH SCORE 176487.449
AT ITER 3043 NEW BEST:: SOT 1472655 SOS 837449 HAS SOPS 655826 HAS SOUS 333289 HAS SOUPS 175640 WITH SCORE 176477.449
AT ITER 3049 NEW BEST:: SOT 1472630 SOS 837424 HAS SOPS 655801 HAS SOUS 333239 HAS SOUPS 175590 WITH SCORE 176427.424
AT ITER 3051 NEW BEST:: SOT 1472630 SOS 837420 HAS SOPS 655797 HAS SOUS 333239 HAS SOUPS 175590 WITH SCORE 176427.42
AT ITER 3070 NEW BEST:: SOT 1472049 SOS 836839 HAS SOPS 655216 HAS SOUS 332898 HAS SOUPS 175249 WITH SCORE 176085.839
AT ITER 3073 NEW BEST:: SOT 1472599 SOS 838143 HAS SOPS 655154 HAS SOUS 333556 HAS SOUPS 175061 WITH SCORE 175899.143
AT ITER 3097 NEW BEST:: SOT 1472584 SOS 838320 HAS SOPS 655139 HAS SOUS 333718 HAS SOUPS 175031 WITH SCORE 175869.32
AT ITER 3102 NEW BEST:: SOT 1472202 SOS 837556 HAS SOPS 654757 HAS SOUS 333336 HAS SOUPS 175031 WITH SCORE 175868.556
AT ITER 3103 NEW BEST:: SOT 1471956 SOS 837187 HAS SOPS 654511 HAS SOUS 332967 HAS SOUPS 174785 WITH SCORE 175622.187
AT ITER 3129 NEW BEST:: SOT 1471999 SOS 837230 HAS SOPS 654554 HAS SOUS 332875 HAS SOUPS 174693 WITH SCORE 175530.23
AT ITER 3139 NEW BEST:: SOT 1472005 SOS 837786 HAS SOPS 654560 HAS SOUS 332957 HAS SOUPS 174465 WITH SCORE 175302.786
AT ITER 3146 NEW BEST:: SOT 1471918 SOS 837612 HAS SOPS 654473 HAS SOUS 332870 HAS SOUPS 174465 WITH SCORE 175302.612
AT ITER 3158 NEW BEST:: SOT 1471918 SOS 837574 HAS SOPS 654295 HAS SOUS 332832 HAS SOUPS 174287 WITH SCORE 175124.574
AT ITER 3159 NEW BEST:: SOT 1471938 SOS 837574 HAS SOPS 654049 HAS SOUS 332852 HAS SOUPS 174061 WITH SCORE 174898.574
AT ITER 3164 NEW BEST:: SOT 1471938 SOS 837573 HAS SOPS 654049 HAS SOUS 332851 HAS SOUPS 174061 WITH SCORE 174898.573
AT ITER 3175 NEW BEST:: SOT 1471891 SOS 837526 HAS SOPS 654002 HAS SOUS 332757 HAS SOUPS 173967 WITH SCORE 174804.526
AT ITER 3176 NEW BEST:: SOT 1471848 SOS 837440 HAS SOPS 654002 HAS SOUS 332714 HAS SOUPS 173967 WITH SCORE 174804.44
AT ITER 3180 NEW BEST:: SOT 1471627 SOS 837219 HAS SOPS 653781 HAS SOUS 332714 HAS SOUPS 173967 WITH SCORE 174804.219
AT ITER 3182 NEW BEST:: SOT 1471627 SOS 837212 HAS SOPS 653781 HAS SOUS 332707 HAS SOUPS 173967 WITH SCORE 174804.212
AT ITER 3188 NEW BEST:: SOT 1471721 SOS 837306 HAS SOPS 653875 HAS SOUS 332582 HAS SOUPS 173842 WITH SCORE 174679.306
AT ITER 3189 NEW BEST:: SOT 1471721 SOS 837268 HAS SOPS 653875 HAS SOUS 332544 HAS SOUPS 173842 WITH SCORE 174679.268
AT ITER 3197 NEW BEST:: SOT 1471610 SOS 837123 HAS SOPS 653764 HAS SOUS 332288 HAS SOUPS 173620 WITH SCORE 174457.123
AT ITER 3200 NEW BEST:: SOT 1459997 SOS 866416 HAS SOPS 683095 HAS SOUS 320826 HAS SOUPS 162196 WITH SCORE 163062.416
AT ITER 3203 NEW BEST:: SOT 1459048 SOS 865471 HAS SOPS 682192 HAS SOUS 320085 HAS SOUPS 161497 WITH SCORE 162362.471
AT ITER 3214 NEW BEST:: SOT 1458904 SOS 865327 HAS SOPS 682048 HAS SOUS 319797 HAS SOUPS 161209 WITH SCORE 162074.327
AT ITER 3217 NEW BEST:: SOT 1458842 SOS 865265 HAS SOPS 681986 HAS SOUS 319673 HAS SOUPS 161085 WITH SCORE 161950.265
AT ITER 3224 NEW BEST:: SOT 1458847 SOS 865381 HAS SOPS 681448 HAS SOUS 319379 HAS SOUPS 160486 WITH SCORE 161351.381
AT ITER 3230 NEW BEST:: SOT 1458686 SOS 865220 HAS SOPS 681287 HAS SOUS 319057 HAS SOUPS 160164 WITH SCORE 161029.22
AT ITER 3236 NEW BEST:: SOT 1458686 SOS 865220 HAS SOPS 681287 HAS SOUS 319040 HAS SOUPS 160147 WITH SCORE 161012.22
AT ITER 3238 NEW BEST:: SOT 1458498 SOS 864844 HAS SOPS 681099 HAS SOUS 318852 HAS SOUPS 160147 WITH SCORE 161011.844
AT ITER 3246 NEW BEST:: SOT 1458251 SOS 864597 HAS SOPS 680949 HAS SOUS 318702 HAS SOUPS 159997 WITH SCORE 160861.597
AT ITER 3256 NEW BEST:: SOT 1458251 SOS 864594 HAS SOPS 680949 HAS SOUS 318699 HAS SOUPS 159997 WITH SCORE 160861.594
AT ITER 3276 NEW BEST:: SOT 1458194 SOS 864683 HAS SOPS 680892 HAS SOUS 318731 HAS SOUPS 159883 WITH SCORE 160747.683
AT ITER 3291 NEW BEST:: SOT 1457591 SOS 864080 HAS SOPS 680297 HAS SOUS 318718 HAS SOUPS 159878 WITH SCORE 160742.08
AT ITER 3294 NEW BEST:: SOT 1457591 SOS 863988 HAS SOPS 680297 HAS SOUS 318626 HAS SOUPS 159878 WITH SCORE 160741.988
AT ITER 3306 NEW BEST:: SOT 1457200 SOS 863206 HAS SOPS 679906 HAS SOUS 318235 HAS SOUPS 159878 WITH SCORE 160741.206
AT ITER 3309 NEW BEST:: SOT 1456844 SOS 862672 HAS SOPS 679550 HAS SOUS 317701 HAS SOUPS 159522 WITH SCORE 160384.672
AT ITER 3315 NEW BEST:: SOT 1456844 SOS 862633 HAS SOPS 679550 HAS SOUS 317701 HAS SOUPS 159522 WITH SCORE 160384.633
AT ITER 3322 NEW BEST:: SOT 1456844 SOS 862703 HAS SOPS 679506 HAS SOUS 317701 HAS SOUPS 159446 WITH SCORE 160308.703
AT ITER 3335 NEW BEST:: SOT 1456748 SOS 862607 HAS SOPS 679410 HAS SOUS 317605 HAS SOUPS 159350 WITH SCORE 160212.607
AT ITER 3341 NEW BEST:: SOT 1456706 SOS 862523 HAS SOPS 679368 HAS SOUS 317563 HAS SOUPS 159350 WITH SCORE 160212.523
AT ITER 3363 NEW BEST:: SOT 1456717 SOS 863456 HAS SOPS 679379 HAS SOUS 317867 HAS SOUPS 159068 WITH SCORE 159931.456
AT ITER 3381 NEW BEST:: SOT 1456792 SOS 864302 HAS SOPS 679454 HAS SOUS 318334 HAS SOUPS 158991 WITH SCORE 159855.302
AT ITER 3390 NEW BEST:: SOT 1456300 SOS 863772 HAS SOPS 679018 HAS SOUS 318079 HAS SOUPS 158830 WITH SCORE 159693.772
AT ITER 3391 NEW BEST:: SOT 1456264 SOS 863638 HAS SOPS 678982 HAS SOUS 317909 HAS SOUPS 158758 WITH SCORE 159621.638
AT ITER 3393 NEW BEST:: SOT 1456243 SOS 863596 HAS SOPS 678961 HAS SOUS 317888 HAS SOUPS 158758 WITH SCORE 159621.596
AT ITER 3400 NEW BEST:: SOT 1456216 SOS 863569 HAS SOPS 678934 HAS SOUS 317834 HAS SOUPS 158704 WITH SCORE 159567.569
AT ITER 3405 NEW BEST:: SOT 1456557 SOS 863910 HAS SOPS 679275 HAS SOUS 317822 HAS SOUPS 158692 WITH SCORE 159555.91
AT ITER 3423 NEW BEST:: SOT 1456669 SOS 864022 HAS SOPS 679387 HAS SOUS 317815 HAS SOUPS 158685 WITH SCORE 159549.022
AT ITER 3432 NEW BEST:: SOT 1456267 SOS 863419 HAS SOPS 678985 HAS SOUS 317212 HAS SOUPS 158283 WITH SCORE 159146.419
AT ITER 3442 NEW BEST:: SOT 1456267 SOS 863390 HAS SOPS 678985 HAS SOUS 317212 HAS SOUPS 158283 WITH SCORE 159146.39
AT ITER 3448 NEW BEST:: SOT 1455222 SOS 862542 HAS SOPS 678372 HAS SOUS 316404 HAS SOUPS 157710 WITH SCORE 158572.542
AT ITER 3462 NEW BEST:: SOT 1454865 SOS 862185 HAS SOPS 678015 HAS SOUS 316404 HAS SOUPS 157710 WITH SCORE 158572.185
AT ITER 3472 NEW BEST:: SOT 1454283 SOS 860651 HAS SOPS 677433 HAS SOUS 314954 HAS SOUPS 156850 WITH SCORE 157710.651
AT ITER 3483 NEW BEST:: SOT 1454523 SOS 860891 HAS SOPS 677673 HAS SOUS 314626 HAS SOUPS 156522 WITH SCORE 157382.891
AT ITER 3485 NEW BEST:: SOT 1454523 SOS 860674 HAS SOPS 677673 HAS SOUS 314626 HAS SOUPS 156522 WITH SCORE 157382.674
AT ITER 3488 NEW BEST:: SOT 1454399 SOS 860550 HAS SOPS 677549 HAS SOUS 314561 HAS SOUPS 156457 WITH SCORE 157317.55
AT ITER 3492 NEW BEST:: SOT 1454399 SOS 860807 HAS SOPS 677549 HAS SOUS 314561 HAS SOUPS 156423 WITH SCORE 157283.807
AT ITER 3498 NEW BEST:: SOT 1454388 SOS 860796 HAS SOPS 677538 HAS SOUS 314539 HAS SOUPS 156401 WITH SCORE 157261.796
AT ITER 3502 NEW BEST:: SOT 1454275 SOS 860457 HAS SOPS 677425 HAS SOUS 314426 HAS SOUPS 156401 WITH SCORE 157261.457
AT ITER 3517 NEW BEST:: SOT 1454988 SOS 861913 HAS SOPS 677477 HAS SOUS 315138 HAS SOUPS 156398 WITH SCORE 157259.913
AT ITER 3524 NEW BEST:: SOT 1454939 SOS 861864 HAS SOPS 677428 HAS SOUS 315040 HAS SOUPS 156300 WITH SCORE 157161.864
AT ITER 3529 NEW BEST:: SOT 1454897 SOS 861822 HAS SOPS 677386 HAS SOUS 314956 HAS SOUPS 156216 WITH SCORE 157077.822
AT ITER 3535 NEW BEST:: SOT 1454449 SOS 861105 HAS SOPS 676938 HAS SOUS 314329 HAS SOUPS 155858 WITH SCORE 156719.105
AT ITER 3539 NEW BEST:: SOT 1454387 SOS 861043 HAS SOPS 676876 HAS SOUS 314205 HAS SOUPS 155734 WITH SCORE 156595.043
AT ITER 3548 NEW BEST:: SOT 1437189 SOS 1023028 HAS SOPS 839131 HAS SOUS 297563 HAS SOUPS 139362 WITH SCORE 140385.028
AT ITER 3557 NEW BEST:: SOT 1437189 SOS 1023045 HAS SOPS 838964 HAS SOUS 297563 HAS SOUPS 139178 WITH SCORE 140201.045
AT ITER 3558 NEW BEST:: SOT 1437123 SOS 1022900 HAS SOPS 838898 HAS SOUS 297352 HAS SOUPS 139046 WITH SCORE 140068.9
AT ITER 3562 NEW BEST:: SOT 1436962 SOS 1022739 HAS SOPS 838737 HAS SOUS 297318 HAS SOUPS 139012 WITH SCORE 140034.739
AT ITER 3573 NEW BEST:: SOT 1436845 SOS 1022622 HAS SOPS 838620 HAS SOUS 297296 HAS SOUPS 138990 WITH SCORE 140012.622
AT ITER 3592 NEW BEST:: SOT 1436845 SOS 1023005 HAS SOPS 838620 HAS SOUS 297296 HAS SOUPS 138898 WITH SCORE 139921.005
AT ITER 3593 NEW BEST:: SOT 1436772 SOS 1022932 HAS SOPS 838547 HAS SOUS 297296 HAS SOUPS 138898 WITH SCORE 139920.932
AT ITER 3595 NEW BEST:: SOT 1436772 SOS 1023090 HAS SOPS 838389 HAS SOUS 297296 HAS SOUPS 138582 WITH SCORE 139605.09
AT ITER 3631 NEW BEST:: SOT 1436771 SOS 1023023 HAS SOPS 838322 HAS SOUS 297088 HAS SOUPS 138374 WITH SCORE 139397.023
AT ITER 3652 NEW BEST:: SOT 1436771 SOS 1022960 HAS SOPS 838322 HAS SOUS 297088 HAS SOUPS 138374 WITH SCORE 139396.96
AT ITER 3667 NEW BEST:: SOT 1436761 SOS 1022950 HAS SOPS 838312 HAS SOUS 297068 HAS SOUPS 138354 WITH SCORE 139376.95
AT ITER 3676 NEW BEST:: SOT 1436524 SOS 1021857 HAS SOPS 838075 HAS SOUS 296528 HAS SOUPS 138184 WITH SCORE 139205.857
AT ITER 3687 NEW BEST:: SOT 1436435 SOS 1021768 HAS SOPS 837986 HAS SOUS 296464 HAS SOUPS 138120 WITH SCORE 139141.768
AT ITER 3696 NEW BEST:: SOT 1435884 SOS 1020723 HAS SOPS 837435 HAS SOUS 295856 HAS SOUPS 137891 WITH SCORE 138911.723
AT ITER 3700 NEW BEST:: SOT 1435780 SOS 1020619 HAS SOPS 837331 HAS SOUS 295774 HAS SOUPS 137809 WITH SCORE 138829.619
AT ITER 3707 NEW BEST:: SOT 1435158 SOS 1019972 HAS SOPS 836839 HAS SOUS 295604 HAS SOUPS 137794 WITH SCORE 138813.972
AT ITER 3742 NEW BEST:: SOT 1435143 SOS 1019957 HAS SOPS 836824 HAS SOUS 295574 HAS SOUPS 137764 WITH SCORE 138783.957
AT ITER 3748 NEW BEST:: SOT 1434841 SOS 1019655 HAS SOPS 836751 HAS SOUS 295566 HAS SOUPS 137756 WITH SCORE 138775.655
AT ITER 3761 NEW BEST:: SOT 1434829 SOS 1019643 HAS SOPS 836739 HAS SOUS 295542 HAS SOUPS 137732 WITH SCORE 138751.643
AT ITER 3764 NEW BEST:: SOT 1434906 SOS 1020296 HAS SOPS 836605 HAS SOUS 295619 HAS SOUPS 137310 WITH SCORE 138330.296
AT ITER 3782 NEW BEST:: SOT 1434559 SOS 1019672 HAS SOPS 836258 HAS SOUS 295202 HAS SOUPS 137170 WITH SCORE 138189.672
AT ITER 3809 NEW BEST:: SOT 1434410 SOS 1019149 HAS SOPS 836109 HAS SOUS 294530 HAS SOUPS 136872 WITH SCORE 137891.149
AT ITER 3817 NEW BEST:: SOT 1434289 SOS 1019028 HAS SOPS 835988 HAS SOUS 294288 HAS SOUPS 136630 WITH SCORE 137649.028
AT ITER 3828 NEW BEST:: SOT 1434229 SOS 1018968 HAS SOPS 835928 HAS SOUS 294228 HAS SOUPS 136570 WITH SCORE 137588.968
AT ITER 3836 NEW BEST:: SOT 1434018 SOS 1018757 HAS SOPS 835717 HAS SOUS 294228 HAS SOUPS 136570 WITH SCORE 137588.757
AT ITER 3848 NEW BEST:: SOT 1433942 SOS 1018681 HAS SOPS 835641 HAS SOUS 294182 HAS SOUPS 136524 WITH SCORE 137542.681
AT ITER 3850 NEW BEST:: SOT 1433788 SOS 1018373 HAS SOPS 835487 HAS SOUS 294028 HAS SOUPS 136447 WITH SCORE 137465.373
AT ITER 3862 NEW BEST:: SOT 1433698 SOS 1018238 HAS SOPS 835397 HAS SOUS 293893 HAS SOUPS 136357 WITH SCORE 137375.238
AT ITER 3879 NEW BEST:: SOT 1433710 SOS 1018250 HAS SOPS 835409 HAS SOUS 293753 HAS SOUPS 136217 WITH SCORE 137235.25
AT ITER 3891 NEW BEST:: SOT 1433704 SOS 1018232 HAS SOPS 835403 HAS SOUS 293747 HAS SOUPS 136217 WITH SCORE 137235.232
AT ITER 3895 NEW BEST:: SOT 1433686 SOS 1018214 HAS SOPS 835385 HAS SOUS 293711 HAS SOUPS 136181 WITH SCORE 137199.214
AT ITER 3898 NEW BEST:: SOT 1433627 SOS 1018155 HAS SOPS 835326 HAS SOUS 293593 HAS SOUPS 136063 WITH SCORE 137081.155
AT ITER 3912 NEW BEST:: SOT 1433585 SOS 1018155 HAS SOPS 835284 HAS SOUS 293551 HAS SOUPS 135979 WITH SCORE 136997.155
AT ITER 3914 NEW BEST:: SOT 1433356 SOS 1017926 HAS SOPS 834863 HAS SOUS 293285 HAS SOUPS 135713 WITH SCORE 136730.926
AT ITER 3919 NEW BEST:: SOT 1433356 SOS 1017924 HAS SOPS 834863 HAS SOUS 293285 HAS SOUPS 135713 WITH SCORE 136730.924
AT ITER 3922 NEW BEST:: SOT 1433241 SOS 1017809 HAS SOPS 834748 HAS SOUS 293285 HAS SOUPS 135713 WITH SCORE 136730.809
AT ITER 3927 NEW BEST:: SOT 1433241 SOS 1018045 HAS SOPS 834748 HAS SOUS 293285 HAS SOUPS 135697 WITH SCORE 136715.045
AT ITER 3940 NEW BEST:: SOT 1432420 SOS 1016398 HAS SOPS 834321 HAS SOUS 292500 HAS SOUPS 135612 WITH SCORE 136628.398
AT ITER 3944 NEW BEST:: SOT 1432390 SOS 1016368 HAS SOPS 834291 HAS SOUS 292470 HAS SOUPS 135582 WITH SCORE 136598.368
AT ITER 3949 NEW BEST:: SOT 1432387 SOS 1016365 HAS SOPS 834288 HAS SOUS 292464 HAS SOUPS 135576 WITH SCORE 136592.365
AT ITER 3952 NEW BEST:: SOT 1432149 SOS 1016127 HAS SOPS 834050 HAS SOUS 292294 HAS SOUPS 135406 WITH SCORE 136422.127
AT ITER 3957 NEW BEST:: SOT 1432149 SOS 1016297 HAS SOPS 834050 HAS SOUS 292294 HAS SOUPS 135401 WITH SCORE 136417.297
AT ITER 3960 NEW BEST:: SOT 1432149 SOS 1016241 HAS SOPS 834050 HAS SOUS 292294 HAS SOUPS 135401 WITH SCORE 136417.241
AT ITER 3972 NEW BEST:: SOT 1431951 SOS 1016043 HAS SOPS 833852 HAS SOUS 292264 HAS SOUPS 135371 WITH SCORE 136387.043
AT ITER 4000 NEW BEST:: SOT 1431936 SOS 1016028 HAS SOPS 833837 HAS SOUS 292234 HAS SOUPS 135341 WITH SCORE 136357.028
AT ITER 4003 NEW BEST:: SOT 1431863 SOS 1015955 HAS SOPS 833764 HAS SOUS 292100 HAS SOUPS 135207 WITH SCORE 136222.955
AT ITER 4007 NEW BEST:: SOT 1431885 SOS 1016030 HAS SOPS 833733 HAS SOUS 292093 HAS SOUPS 135094 WITH SCORE 136110.03
AT ITER 4008 NEW BEST:: SOT 1431778 SOS 1015923 HAS SOPS 833626 HAS SOUS 292045 HAS SOUPS 135046 WITH SCORE 136061.923
AT ITER 4012 NEW BEST:: SOT 1431988 SOS 1016133 HAS SOPS 833754 HAS SOUS 291988 HAS SOUPS 134989 WITH SCORE 136005.133
AT ITER 4015 NEW BEST:: SOT 1431618 SOS 1015159 HAS SOPS 833411 HAS SOUS 291618 HAS SOUPS 134948 WITH SCORE 135963.159
AT ITER 4020 NEW BEST:: SOT 1430629 SOS 1013254 HAS SOPS 832422 HAS SOUS 290556 HAS SOUPS 134583 WITH SCORE 135596.254
AT ITER 4021 NEW BEST:: SOT 1430629 SOS 1013230 HAS SOPS 832422 HAS SOUS 290556 HAS SOUPS 134583 WITH SCORE 135596.23
AT ITER 4026 NEW BEST:: SOT 1430210 SOS 1012409 HAS SOPS 832113 HAS SOUS 290065 HAS SOUPS 134384 WITH SCORE 135396.409
AT ITER 4038 NEW BEST:: SOT 1429957 SOS 1011448 HAS SOPS 831860 HAS SOUS 289327 HAS SOUPS 134116 WITH SCORE 135127.448
AT ITER 4045 NEW BEST:: SOT 1429957 SOS 1011433 HAS SOPS 831860 HAS SOUS 289312 HAS SOUPS 134116 WITH SCORE 135127.433
AT ITER 4055 NEW BEST:: SOT 1429811 SOS 1011287 HAS SOPS 831714 HAS SOUS 289020 HAS SOUPS 133824 WITH SCORE 134835.287
AT ITER 4068 NEW BEST:: SOT 1431272 SOS 1004502 HAS SOPS 821390 HAS SOUS 286874 HAS SOUPS 131678 WITH SCORE 132682.502
AT ITER 4069 NEW BEST:: SOT 1431298 SOS 1004754 HAS SOPS 821416 HAS SOUS 286926 HAS SOUPS 131652 WITH SCORE 132656.754
AT ITER 4072 NEW BEST:: SOT 1431447 SOS 1005100 HAS SOPS 821565 HAS SOUS 287027 HAS SOUPS 131556 WITH SCORE 132561.1
AT ITER 4074 NEW BEST:: SOT 1431407 SOS 1005060 HAS SOPS 821525 HAS SOUS 286947 HAS SOUPS 131476 WITH SCORE 132481.06
AT ITER 4085 NEW BEST:: SOT 1431179 SOS 1004832 HAS SOPS 821297 HAS SOUS 286491 HAS SOUPS 131020 WITH SCORE 132024.832
AT ITER 4099 NEW BEST:: SOT 1431103 SOS 1004756 HAS SOPS 821183 HAS SOUS 286377 HAS SOUPS 130906 WITH SCORE 131910.756
AT ITER 4101 NEW BEST:: SOT 1431103 SOS 1004713 HAS SOPS 821183 HAS SOUS 286334 HAS SOUPS 130906 WITH SCORE 131910.713
AT ITER 4108 NEW BEST:: SOT 1430929 SOS 1004389 HAS SOPS 821009 HAS SOUS 286136 HAS SOUPS 130858 WITH SCORE 131862.389
AT ITER 4124 NEW BEST:: SOT 1430601 SOS 1003733 HAS SOPS 820681 HAS SOUS 285808 HAS SOUPS 130858 WITH SCORE 131861.733
AT ITER 4131 NEW BEST:: SOT 1430598 SOS 1003730 HAS SOPS 820678 HAS SOUS 285802 HAS SOUPS 130852 WITH SCORE 131855.73
AT ITER 4142 NEW BEST:: SOT 1430599 SOS 1003853 HAS SOPS 820557 HAS SOUS 285802 HAS SOUPS 130608 WITH SCORE 131611.853
AT ITER 4151 NEW BEST:: SOT 1430442 SOS 1003696 HAS SOPS 820400 HAS SOUS 285802 HAS SOUPS 130608 WITH SCORE 131611.696
AT ITER 4155 NEW BEST:: SOT 1430346 SOS 1003527 HAS SOPS 820304 HAS SOUS 285683 HAS SOUPS 130562 WITH SCORE 131565.527
AT ITER 4166 NEW BEST:: SOT 1430474 SOS 1004727 HAS SOPS 820432 HAS SOUS 285961 HAS SOUPS 130446 WITH SCORE 131450.727
AT ITER 4181 NEW BEST:: SOT 1430471 SOS 1004724 HAS SOPS 820429 HAS SOUS 285955 HAS SOUPS 130440 WITH SCORE 131444.724
AT ITER 4197 NEW BEST:: SOT 1430227 SOS 1004305 HAS SOPS 820010 HAS SOUS 285536 HAS SOUPS 130021 WITH SCORE 131025.305
AT ITER 4232 NEW BEST:: SOT 1430203 SOS 1004281 HAS SOPS 819986 HAS SOUS 285488 HAS SOUPS 129973 WITH SCORE 130977.281
AT ITER 4239 NEW BEST:: SOT 1430007 SOS 1003948 HAS SOPS 819790 HAS SOUS 285233 HAS SOUPS 129855 WITH SCORE 130858.948
AT ITER 4247 NEW BEST:: SOT 1430007 SOS 1003916 HAS SOPS 819790 HAS SOUS 285233 HAS SOUPS 129855 WITH SCORE 130858.916
AT ITER 4256 NEW BEST:: SOT 1429205 SOS 1003257 HAS SOPS 819332 HAS SOUS 284993 HAS SOUPS 129816 WITH SCORE 130819.257
AT ITER 4264 NEW BEST:: SOT 1429186 SOS 1003238 HAS SOPS 819313 HAS SOUS 284955 HAS SOUPS 129778 WITH SCORE 130781.238
AT ITER 4283 NEW BEST:: SOT 1429111 SOS 1003163 HAS SOPS 819238 HAS SOUS 284880 HAS SOUPS 129703 WITH SCORE 130706.163
AT ITER 4291 NEW BEST:: SOT 1429049 SOS 1003039 HAS SOPS 819176 HAS SOUS 284818 HAS SOUPS 129703 WITH SCORE 130706.039
AT ITER 4296 NEW BEST:: SOT 1429245 SOS 1003859 HAS SOPS 819248 HAS SOUS 285014 HAS SOUPS 129463 WITH SCORE 130466.859
AT ITER 4304 NEW BEST:: SOT 1429192 SOS 1003806 HAS SOPS 819195 HAS SOUS 284961 HAS SOUPS 129410 WITH SCORE 130413.806
AT ITER 4314 NEW BEST:: SOT 1429181 SOS 1003795 HAS SOPS 819184 HAS SOUS 284950 HAS SOUPS 129399 WITH SCORE 130402.795
AT ITER 4336 NEW BEST:: SOT 1429154 SOS 1003768 HAS SOPS 819118 HAS SOUS 284896 HAS SOUPS 129345 WITH SCORE 130348.768
AT ITER 4357 NEW BEST:: SOT 1429013 SOS 1003627 HAS SOPS 818977 HAS SOUS 284823 HAS SOUPS 129272 WITH SCORE 130275.627
AT ITER 4376 NEW BEST:: SOT 1428755 SOS 1003369 HAS SOPS 818720 HAS SOUS 284625 HAS SOUPS 129074 WITH SCORE 130077.369
AT ITER 4383 NEW BEST:: SOT 1428755 SOS 1003411 HAS SOPS 818678 HAS SOUS 284625 HAS SOUPS 128990 WITH SCORE 129993.411
AT ITER 4390 NEW BEST:: SOT 1428639 SOS 1003208 HAS SOPS 818562 HAS SOUS 284480 HAS SOUPS 128932 WITH SCORE 129935.208
AT ITER 4397 NEW BEST:: SOT 1428605 SOS 1003140 HAS SOPS 818528 HAS SOUS 284446 HAS SOUPS 128932 WITH SCORE 129935.14
AT ITER 4408 NEW BEST:: SOT 1428478 SOS 1002625 HAS SOPS 818401 HAS SOUS 284192 HAS SOUPS 128824 WITH SCORE 129826.625
AT ITER 4411 NEW BEST:: SOT 1428443 SOS 1002590 HAS SOPS 818366 HAS SOUS 284157 HAS SOUPS 128789 WITH SCORE 129791.59
AT ITER 4412 NEW BEST:: SOT 1428290 SOS 1002437 HAS SOPS 818213 HAS SOUS 284157 HAS SOUPS 128789 WITH SCORE 129791.437
AT ITER 4425 NEW BEST:: SOT 1427908 SOS 1001685 HAS SOPS 817831 HAS SOUS 283763 HAS SOUPS 128765 WITH SCORE 129766.685
AT ITER 4426 NEW BEST:: SOT 1428054 SOS 1002561 HAS SOPS 817977 HAS SOUS 284126 HAS SOUPS 128685 WITH SCORE 129687.561
AT ITER 4437 NEW BEST:: SOT 1428046 SOS 1002553 HAS SOPS 817969 HAS SOUS 284118 HAS SOUPS 128677 WITH SCORE 129679.553
AT ITER 4438 NEW BEST:: SOT 1428046 SOS 1002551 HAS SOPS 817969 HAS SOUS 284116 HAS SOUPS 128677 WITH SCORE 129679.551
AT ITER 4465 NEW BEST:: SOT 1427730 SOS 1002235 HAS SOPS 817653 HAS SOUS 283956 HAS SOUPS 128517 WITH SCORE 129519.235
AT ITER 4489 NEW BEST:: SOT 1427869 SOS 1002374 HAS SOPS 817792 HAS SOUS 283932 HAS SOUPS 128493 WITH SCORE 129495.374
AT ITER 4492 NEW BEST:: SOT 1427869 SOS 1002374 HAS SOPS 817792 HAS SOUS 283924 HAS SOUPS 128485 WITH SCORE 129487.374
AT ITER 4551 NEW BEST:: SOT 1427869 SOS 1002466 HAS SOPS 817746 HAS SOUS 283924 HAS SOUPS 128393 WITH SCORE 129395.466
AT ITER 4552 NEW BEST:: SOT 1427629 SOS 1002106 HAS SOPS 817506 HAS SOUS 283564 HAS SOUPS 128153 WITH SCORE 129155.106
AT ITER 4564 NEW BEST:: SOT 1427608 SOS 1002085 HAS SOPS 817485 HAS SOUS 283522 HAS SOUPS 128111 WITH SCORE 129113.085
AT ITER 4572 NEW BEST:: SOT 1427726 SOS 1003100 HAS SOPS 817603 HAS SOUS 283772 HAS SOUPS 127975 WITH SCORE 128978.1
AT ITER 4574 NEW BEST:: SOT 1427813 SOS 1003187 HAS SOPS 817690 HAS SOUS 283731 HAS SOUPS 127934 WITH SCORE 128937.187
AT ITER 4575 NEW BEST:: SOT 1427675 SOS 1003049 HAS SOPS 817552 HAS SOUS 283455 HAS SOUPS 127658 WITH SCORE 128661.049
AT ITER 4578 NEW BEST:: SOT 1427643 SOS 1003017 HAS SOPS 817520 HAS SOUS 283391 HAS SOUPS 127594 WITH SCORE 128597.017
AT ITER 4596 NEW BEST:: SOT 1427561 SOS 1002935 HAS SOPS 817397 HAS SOUS 283268 HAS SOUPS 127471 WITH SCORE 128473.935
AT ITER 4600 NEW BEST:: SOT 1427561 SOS 1002793 HAS SOPS 817397 HAS SOUS 283268 HAS SOUPS 127471 WITH SCORE 128473.793
AT ITER 4610 NEW BEST:: SOT 1427537 SOS 1002768 HAS SOPS 817373 HAS SOUS 283219 HAS SOUPS 127423 WITH SCORE 128425.768
AT ITER 4611 NEW BEST:: SOT 1427532 SOS 1002758 HAS SOPS 817368 HAS SOUS 283214 HAS SOUPS 127423 WITH SCORE 128425.758
AT ITER 4625 NEW BEST:: SOT 1427665 SOS 1003598 HAS SOPS 817501 HAS SOUS 283480 HAS SOUPS 127341 WITH SCORE 128344.598
AT ITER 4649 NEW BEST:: SOT 1427623 SOS 1003556 HAS SOPS 817459 HAS SOUS 283396 HAS SOUPS 127257 WITH SCORE 128260.556
AT ITER 4654 NEW BEST:: SOT 1427530 SOS 1003463 HAS SOPS 817366 HAS SOUS 283210 HAS SOUPS 127071 WITH SCORE 128074.463
AT ITER 4667 NEW BEST:: SOT 1427547 SOS 1003480 HAS SOPS 817383 HAS SOUS 283094 HAS SOUPS 126955 WITH SCORE 127958.48
AT ITER 4673 NEW BEST:: SOT 1427522 SOS 1003455 HAS SOPS 817358 HAS SOUS 283044 HAS SOUPS 126905 WITH SCORE 127908.455
AT ITER 4697 NEW BEST:: SOT 1427398 SOS 1003331 HAS SOPS 817234 HAS SOUS 283040 HAS SOUPS 126901 WITH SCORE 127904.331
AT ITER 4706 NEW BEST:: SOT 1426976 SOS 1001692 HAS SOPS 816812 HAS SOUS 281804 HAS SOUPS 126429 WITH SCORE 127430.692
AT ITER 4733 NEW BEST:: SOT 1426622 SOS 1001338 HAS SOPS 816161 HAS SOUS 281270 HAS SOUPS 125895 WITH SCORE 126896.338
AT ITER 4736 NEW BEST:: SOT 1426622 SOS 1001408 HAS SOPS 816071 HAS SOUS 281250 HAS SOUPS 125715 WITH SCORE 126716.408
AT ITER 4744 NEW BEST:: SOT 1426532 SOS 1001318 HAS SOPS 815901 HAS SOUS 281150 HAS SOUPS 125615 WITH SCORE 126616.318
AT ITER 4751 NEW BEST:: SOT 1426226 SOS 1000859 HAS SOPS 815442 HAS SOUS 280691 HAS SOUPS 125156 WITH SCORE 126156.859
AT ITER 4759 NEW BEST:: SOT 1426209 SOS 1000842 HAS SOPS 815425 HAS SOUS 280657 HAS SOUPS 125122 WITH SCORE 126122.842
AT ITER 4767 NEW BEST:: SOT 1426300 SOS 1001725 HAS SOPS 815516 HAS SOUS 280839 HAS SOUPS 124948 WITH SCORE 125949.725
AT ITER 4781 NEW BEST:: SOT 1426291 SOS 1001716 HAS SOPS 815507 HAS SOUS 280830 HAS SOUPS 124939 WITH SCORE 125940.716
AT ITER 4792 NEW BEST:: SOT 1426032 SOS 1001053 HAS SOPS 815248 HAS SOUS 280571 HAS SOUPS 124882 WITH SCORE 125883.053
AT ITER 4822 NEW BEST:: SOT 1425954 SOS 1000975 HAS SOPS 815170 HAS SOUS 280559 HAS SOUPS 124870 WITH SCORE 125870.975
AT ITER 4827 NEW BEST:: SOT 1425719 SOS 1000740 HAS SOPS 814784 HAS SOUS 280173 HAS SOUPS 124484 WITH SCORE 125484.74
AT ITER 4832 NEW BEST:: SOT 1425697 SOS 1000718 HAS SOPS 814762 HAS SOUS 280129 HAS SOUPS 124440 WITH SCORE 125440.718
AT ITER 4858 NEW BEST:: SOT 1425542 SOS 1000563 HAS SOPS 814607 HAS SOUS 279819 HAS SOUPS 124130 WITH SCORE 125130.563
AT ITER 4898 NEW BEST:: SOT 1425540 SOS 1000346 HAS SOPS 814605 HAS SOUS 279600 HAS SOUPS 124126 WITH SCORE 125126.346
AT ITER 4904 NEW BEST:: SOT 1425540 SOS 861505 HAS SOPS 675471 HAS SOUS 279557 HAS SOUPS 123790 WITH SCORE 124651.505
AT ITER 4905 NEW BEST:: SOT 1425730 SOS 861992 HAS SOPS 675661 HAS SOUS 279640 HAS SOUPS 123576 WITH SCORE 124437.992
AT ITER 4920 NEW BEST:: SOT 1425702 SOS 861964 HAS SOPS 675633 HAS SOUS 279584 HAS SOUPS 123520 WITH SCORE 124381.964
AT ITER 4926 NEW BEST:: SOT 1425689 SOS 861951 HAS SOPS 675620 HAS SOUS 279571 HAS SOUPS 123507 WITH SCORE 124368.951
AT ITER 4931 NEW BEST:: SOT 1425689 SOS 861917 HAS SOPS 675620 HAS SOUS 279537 HAS SOUPS 123507 WITH SCORE 124368.917
AT ITER 4932 NEW BEST:: SOT 1425729 SOS 861957 HAS SOPS 675343 HAS SOUS 279177 HAS SOUPS 123147 WITH SCORE 124008.957
AT ITER 4934 NEW BEST:: SOT 1425612 SOS 861712 HAS SOPS 675271 HAS SOUS 279071 HAS SOUPS 123124 WITH SCORE 123985.712
AT ITER 4954 NEW BEST:: SOT 1425655 SOS 861793 HAS SOPS 675138 HAS SOUS 279114 HAS SOUPS 122953 WITH SCORE 123814.793
AT ITER 4970 NEW BEST:: SOT 1425614 SOS 861752 HAS SOPS 675097 HAS SOUS 279073 HAS SOUPS 122912 WITH SCORE 123773.752
AT ITER 4973 NEW BEST:: SOT 1425591 SOS 861729 HAS SOPS 675074 HAS SOUS 279027 HAS SOUPS 122866 WITH SCORE 123727.729
AT ITER 4990 NEW BEST:: SOT 1425166 SOS 861304 HAS SOPS 674649 HAS SOUS 278602 HAS SOUPS 122441 WITH SCORE 123302.304
AT ITER 4995 NEW BEST:: SOT 1425250 SOS 861388 HAS SOPS 674733 HAS SOUS 278528 HAS SOUPS 122367 WITH SCORE 123228.388
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-00 (! ( potential( ( 3 ) <= (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)) ) | ( (EF(potential( ( 3 ) <= (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)) ))) | ( ( potential( ( 3 ) <= (tk(P10)) ) & potential( (tk(P612)) <= (tk(P4)) ) ) | ( potential( ( 1 ) <= (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)) ) & potential( ( 3 ) <= (tk(P3)) ) ) ) ) ))
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-01 ( potential( ( 3 ) <= (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)) ) & ( ( (AF(potential( ( 1 ) <= (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)) ))) & (EX( potential( (tk(P411)) <= (tk(P1418)) ))) ) | (AG( ( potential( ( 1 ) <= (tk(P816)) ) & potential( ( 1 ) <= (tk(P1) + tk(P2)) ) ))) ) )
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-02 (AG( ( (EG( potential( (tk(P813) + tk(P814)) <= (tk(P813) + tk(P814)) ))) | (! ( potential( ( 2 ) <= (tk(P1) + tk(P2)) ) & potential( (tk(P10)) <= (tk(P612)) ) )) )))
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-03 ( (EX( (AX( potential( (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(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(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)) ))))) & (EX( ( (! potential( ( 3 ) <= (tk(P7)) )) & (! potential( ( 3 ) <= (tk(P816)) )) ))) )
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-04 (EG( ( potential( (tk(P1) + tk(P2)) <= (tk(P8) + tk(P9)) ) | ( potential( ( 2 ) <= (tk(P411)) ) & ( potential( ( 1 ) <= (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)) ) & potential( (tk(P1217)) <= (tk(P815)) ) ) ) )))
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-05 (EF(potential( ( 2 ) <= (tk(P816)) )))
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-06 ( ( potential( ( 2 ) <= (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)) ) & ( (EG( potential( (tk(P1419)) <= (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)) ))) | potential( (tk(P4)) <= (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)) ) ) ) & ( (AF(potential( ( 2 ) <= (tk(P1) + tk(P2)) ))) | (AG( potential( (tk(P612)) <= (tk(P8) + tk(P9)) ))) ) )
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-07 (EF((! (! potential( ( 3 ) <= (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)) )))))
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-08 ( (! (! (EX( potential( ( 1 ) <= (tk(P541)) ))))) & (! (EU( potential( (tk(P414)) <= (tk(P74)) ),potential( ( 2 ) <= (tk(P529)) ) ))) )
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-09 (AG( (AF(( potential( (tk(P1241)) <= (tk(P1353)) ) | potential( (tk(P771)) <= (tk(P1154)) ) )))))
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-10 ( ( (! ( ( potential( ( 2 ) <= (tk(P807)) ) & potential( (tk(P877)) <= (tk(P1143)) ) ) | ( potential( ( 1 ) <= (tk(P196)) ) | potential( ( 3 ) <= (tk(P967)) ) ) )) | ( (EF(potential( ( 3 ) <= (tk(P95)) ))) | (! ( potential( (tk(P673)) <= (tk(P1331)) ) & potential( (tk(P598)) <= (tk(P420)) ) )) ) ) & (EF((AX( potential( ( 1 ) <= (tk(P127)) ))))) )
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-11 ( ( ( potential( ( 2 ) <= (tk(P1055)) ) & (EX( potential( (tk(P1237)) <= (tk(P1133)) ))) ) & (AF(potential( (tk(P1004)) <= (tk(P381)) ))) ) | (AG( (EF(potential( ( 3 ) <= (tk(P1221)) ))))) )
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-12 (AF(( potential( ( 3 ) <= (tk(P162)) ) & (EG( potential( (tk(P823)) <= (tk(P166)) ))) )))
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-13 ( ( ( (AF(potential( ( 2 ) <= (tk(P589)) ))) | (AX( potential( ( 1 ) <= (tk(P65)) ))) ) | potential( ( 3 ) <= (tk(P487)) ) ) | potential( ( 3 ) <= (tk(P168)) ) )
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-14 (EF((EF((! potential( (tk(P254)) <= (tk(P1110)) ))))))
PROPERTY: AirplaneLD-PT-0200-CTLCardinality-15 ( ( ( (! ( potential( ( 1 ) <= (tk(P89)) ) | potential( ( 2 ) <= (tk(P1250)) ) )) | ( (! potential( ( 2 ) <= (tk(P935)) )) & (! potential( ( 3 ) <= (tk(P366)) )) ) ) & potential( ( 1 ) <= (tk(P204)) ) ) | (AF((! potential( (tk(P55)) <= (tk(P1286)) )))) )
FORMULA AirplaneLD-PT-0200-CTLCardinality-00 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-PT-0200"
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-0200, 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-158897508300275"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0200.tgz
mv AirplaneLD-PT-0200 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 '
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 ;