Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250700556.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Parking-PT-864, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250700556
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 3.1K Apr 12 00:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 00:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 10 23:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 10 23:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 9 12:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 9 12:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 427K 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 Parking-PT-864-CTLFireability-00
FORMULA_NAME Parking-PT-864-CTLFireability-01
FORMULA_NAME Parking-PT-864-CTLFireability-02
FORMULA_NAME Parking-PT-864-CTLFireability-03
FORMULA_NAME Parking-PT-864-CTLFireability-04
FORMULA_NAME Parking-PT-864-CTLFireability-05
FORMULA_NAME Parking-PT-864-CTLFireability-06
FORMULA_NAME Parking-PT-864-CTLFireability-07
FORMULA_NAME Parking-PT-864-CTLFireability-08
FORMULA_NAME Parking-PT-864-CTLFireability-09
FORMULA_NAME Parking-PT-864-CTLFireability-10
FORMULA_NAME Parking-PT-864-CTLFireability-11
FORMULA_NAME Parking-PT-864-CTLFireability-12
FORMULA_NAME Parking-PT-864-CTLFireability-13
FORMULA_NAME Parking-PT-864-CTLFireability-14
FORMULA_NAME Parking-PT-864-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589645145424

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

GOT IT HERE. BS
Petri model created: 1185 places, 1697 transitions, 5073 arcs.
AT ITER 0 NEW BEST:: SOT 1204467 SOS 861792 HAS SOPS 861792 HAS SOUS 569923 HAS SOUPS 569923 WITH SCORE 570784.792
AT ITER 3 NEW BEST:: SOT 1203531 SOS 861007 HAS SOPS 861007 HAS SOUS 569386 HAS SOUPS 569386 WITH SCORE 570247.007
AT ITER 4 NEW BEST:: SOT 1201559 SOS 857980 HAS SOPS 857755 HAS SOUS 567579 HAS SOUPS 567354 WITH SCORE 568211.98
AT ITER 12 NEW BEST:: SOT 1200027 SOS 856505 HAS SOPS 856222 HAS SOUS 566511 HAS SOUPS 566228 WITH SCORE 567084.505
AT ITER 14 NEW BEST:: SOT 1199007 SOS 855485 HAS SOPS 855202 HAS SOUS 565667 HAS SOUPS 565384 WITH SCORE 566239.485
AT ITER 15 NEW BEST:: SOT 1199007 SOS 854174 HAS SOPS 853891 HAS SOUS 564846 HAS SOUPS 564563 WITH SCORE 565417.174
AT ITER 16 NEW BEST:: SOT 1197405 SOS 852840 HAS SOPS 852289 HAS SOUS 563982 HAS SOUPS 563431 WITH SCORE 564283.84
AT ITER 18 NEW BEST:: SOT 1197405 SOS 852839 HAS SOPS 852288 HAS SOUS 563981 HAS SOUPS 563430 WITH SCORE 564282.839
AT ITER 20 NEW BEST:: SOT 1197404 SOS 851845 HAS SOPS 851294 HAS SOUS 563390 HAS SOUPS 562839 WITH SCORE 563690.845
AT ITER 22 NEW BEST:: SOT 1197404 SOS 851845 HAS SOPS 851294 HAS SOUS 563380 HAS SOUPS 562829 WITH SCORE 563680.845
AT ITER 28 NEW BEST:: SOT 1196459 SOS 850900 HAS SOPS 850349 HAS SOUS 562725 HAS SOUPS 562174 WITH SCORE 563024.9
AT ITER 31 NEW BEST:: SOT 1196459 SOS 850798 HAS SOPS 850247 HAS SOUS 562691 HAS SOUPS 562140 WITH SCORE 562990.798
AT ITER 33 NEW BEST:: SOT 1196459 SOS 849475 HAS SOPS 848924 HAS SOUS 562670 HAS SOUPS 562119 WITH SCORE 562968.475
AT ITER 34 NEW BEST:: SOT 1196459 SOS 848134 HAS SOPS 847583 HAS SOUS 562319 HAS SOUPS 561768 WITH SCORE 562616.134
AT ITER 35 NEW BEST:: SOT 1196459 SOS 848133 HAS SOPS 847582 HAS SOUS 562318 HAS SOUPS 561767 WITH SCORE 562615.133
AT ITER 46 NEW BEST:: SOT 1186317 SOS 837990 HAS SOPS 837439 HAS SOUS 555157 HAS SOUPS 554606 WITH SCORE 555443.99
AT ITER 48 NEW BEST:: SOT 1186317 SOS 825036 HAS SOPS 824485 HAS SOUS 554332 HAS SOUPS 553781 WITH SCORE 554606.036
AT ITER 49 NEW BEST:: SOT 1183994 SOS 822285 HAS SOPS 821571 HAS SOUS 552337 HAS SOUPS 551704 WITH SCORE 552526.285
AT ITER 50 NEW BEST:: SOT 1183994 SOS 822284 HAS SOPS 821570 HAS SOUS 552336 HAS SOUPS 551703 WITH SCORE 552525.284
AT ITER 51 NEW BEST:: SOT 1183994 SOS 821804 HAS SOPS 821090 HAS SOUS 552016 HAS SOUPS 551383 WITH SCORE 552204.804
AT ITER 52 NEW BEST:: SOT 1181626 SOS 817756 HAS SOPS 817042 HAS SOUS 549264 HAS SOUPS 548631 WITH SCORE 549448.756
AT ITER 56 NEW BEST:: SOT 1181626 SOS 817756 HAS SOPS 817042 HAS SOUS 549052 HAS SOUPS 548419 WITH SCORE 549236.756
AT ITER 58 NEW BEST:: SOT 1181464 SOS 817594 HAS SOPS 816880 HAS SOUS 548944 HAS SOUPS 548311 WITH SCORE 549128.594
AT ITER 59 NEW BEST:: SOT 1181378 SOS 817507 HAS SOPS 816793 HAS SOUS 548857 HAS SOUPS 548224 WITH SCORE 549041.507
AT ITER 60 NEW BEST:: SOT 1181378 SOS 816677 HAS SOPS 815963 HAS SOUS 548490 HAS SOUPS 547857 WITH SCORE 548673.677
AT ITER 61 NEW BEST:: SOT 1181378 SOS 816044 HAS SOPS 815330 HAS SOUS 548490 HAS SOUPS 547857 WITH SCORE 548673.044
AT ITER 62 NEW BEST:: SOT 1180841 SOS 815907 HAS SOPS 814520 HAS SOUS 548353 HAS SOUPS 547047 WITH SCORE 547862.907
AT ITER 63 NEW BEST:: SOT 1188739 SOS 823706 HAS SOPS 822070 HAS SOUS 548022 HAS SOUPS 546591 WITH SCORE 547414.706
AT ITER 65 NEW BEST:: SOT 1187386 SOS 821685 HAS SOPS 820049 HAS SOUS 546669 HAS SOUPS 545238 WITH SCORE 546059.685
AT ITER 66 NEW BEST:: SOT 1187386 SOS 820905 HAS SOPS 819269 HAS SOUS 546149 HAS SOUPS 544718 WITH SCORE 545538.905
AT ITER 70 NEW BEST:: SOT 1187304 SOS 820651 HAS SOPS 818254 HAS SOUS 546433 HAS SOUPS 544241 WITH SCORE 545061.651
AT ITER 72 NEW BEST:: SOT 1185405 SOS 817755 HAS SOPS 814828 HAS SOUS 544743 HAS SOUPS 542021 WITH SCORE 542838.755
AT ITER 73 NEW BEST:: SOT 1184090 SOS 816517 HAS SOPS 813513 HAS SOUS 543891 HAS SOUPS 541092 WITH SCORE 541908.517
AT ITER 77 NEW BEST:: SOT 1184090 SOS 815617 HAS SOPS 812613 HAS SOUS 543491 HAS SOUPS 540692 WITH SCORE 541507.617
AT ITER 78 NEW BEST:: SOT 1184090 SOS 813723 HAS SOPS 810719 HAS SOUS 542246 HAS SOUPS 539447 WITH SCORE 540260.723
AT ITER 82 NEW BEST:: SOT 1183430 SOS 813063 HAS SOPS 810059 HAS SOUS 541718 HAS SOUPS 538919 WITH SCORE 539732.063
AT ITER 84 NEW BEST:: SOT 1182889 SOS 812578 HAS SOPS 808973 HAS SOUS 541709 HAS SOUPS 538309 WITH SCORE 539121.578
AT ITER 85 NEW BEST:: SOT 1181999 SOS 811687 HAS SOPS 808082 HAS SOUS 541077 HAS SOUPS 537677 WITH SCORE 538488.687
AT ITER 86 NEW BEST:: SOT 1181566 SOS 811675 HAS SOPS 807663 HAS SOUS 541051 HAS SOUPS 537244 WITH SCORE 538055.675
AT ITER 87 NEW BEST:: SOT 1179252 SOS 808008 HAS SOPS 803574 HAS SOUS 538786 HAS SOUPS 534557 WITH SCORE 535365.008
AT ITER 90 NEW BEST:: SOT 1178083 SOS 806585 HAS SOPS 802151 HAS SOUS 537111 HAS SOUPS 532882 WITH SCORE 533688.585
AT ITER 92 NEW BEST:: SOT 1176209 SOS 804844 HAS SOPS 800277 HAS SOUS 535970 HAS SOUPS 531608 WITH SCORE 532412.844
AT ITER 93 NEW BEST:: SOT 1176209 SOS 804592 HAS SOPS 800025 HAS SOUS 535809 HAS SOUPS 531447 WITH SCORE 532251.592
AT ITER 95 NEW BEST:: SOT 1174578 SOS 802961 HAS SOPS 798394 HAS SOUS 534515 HAS SOUPS 530153 WITH SCORE 530955.961
AT ITER 98 NEW BEST:: SOT 1173759 SOS 802141 HAS SOPS 797574 HAS SOUS 533968 HAS SOUPS 529606 WITH SCORE 530408.141
AT ITER 99 NEW BEST:: SOT 1172434 SOS 800443 HAS SOPS 795876 HAS SOUS 532642 HAS SOUPS 528280 WITH SCORE 529080.443
AT ITER 105 NEW BEST:: SOT 1171960 SOS 799969 HAS SOPS 795402 HAS SOUS 532374 HAS SOUPS 528012 WITH SCORE 528811.969
AT ITER 106 NEW BEST:: SOT 1170939 SOS 799175 HAS SOPS 794381 HAS SOUS 531804 HAS SOUPS 527215 WITH SCORE 528014.175
AT ITER 107 NEW BEST:: SOT 1170080 SOS 798043 HAS SOPS 793249 HAS SOUS 531026 HAS SOUPS 526437 WITH SCORE 527235.043
AT ITER 108 NEW BEST:: SOT 1168602 SOS 795471 HAS SOPS 790098 HAS SOUS 529736 HAS SOUPS 524568 WITH SCORE 525363.471
AT ITER 109 NEW BEST:: SOT 1167455 SOS 793915 HAS SOPS 788542 HAS SOUS 528766 HAS SOUPS 523598 WITH SCORE 524391.915
AT ITER 110 NEW BEST:: SOT 1165711 SOS 791341 HAS SOPS 785604 HAS SOUS 527491 HAS SOUPS 521959 WITH SCORE 522750.341
AT ITER 113 NEW BEST:: SOT 1165711 SOS 790374 HAS SOPS 784637 HAS SOUS 527276 HAS SOUPS 521744 WITH SCORE 522534.374
AT ITER 115 NEW BEST:: SOT 1165711 SOS 789714 HAS SOPS 783977 HAS SOUS 526946 HAS SOUPS 521414 WITH SCORE 522203.714
AT ITER 116 NEW BEST:: SOT 1165492 SOS 789494 HAS SOPS 783757 HAS SOUS 526726 HAS SOUPS 521194 WITH SCORE 521983.494
AT ITER 118 NEW BEST:: SOT 1164371 SOS 788373 HAS SOPS 782636 HAS SOUS 525907 HAS SOUPS 520375 WITH SCORE 521163.373
AT ITER 119 NEW BEST:: SOT 1164175 SOS 787589 HAS SOPS 781852 HAS SOUS 525515 HAS SOUPS 519983 WITH SCORE 520770.589
AT ITER 120 NEW BEST:: SOT 1164175 SOS 787012 HAS SOPS 781275 HAS SOUS 525223 HAS SOUPS 519691 WITH SCORE 520478.012
AT ITER 122 NEW BEST:: SOT 1162355 SOS 784118 HAS SOPS 777745 HAS SOUS 523749 HAS SOUPS 517581 WITH SCORE 518365.118
AT ITER 123 NEW BEST:: SOT 1162354 SOS 784116 HAS SOPS 777743 HAS SOUS 523747 HAS SOUPS 517579 WITH SCORE 518363.116
AT ITER 126 NEW BEST:: SOT 1161985 SOS 783746 HAS SOPS 777373 HAS SOUS 523377 HAS SOUPS 517209 WITH SCORE 517992.746
AT ITER 130 NEW BEST:: SOT 1161985 SOS 783746 HAS SOPS 777373 HAS SOUS 523352 HAS SOUPS 517184 WITH SCORE 517967.746
AT ITER 136 NEW BEST:: SOT 1160132 SOS 782054 HAS SOPS 775520 HAS SOUS 522189 HAS SOUPS 515860 WITH SCORE 516642.054
AT ITER 137 NEW BEST:: SOT 1159363 SOS 781439 HAS SOPS 774751 HAS SOUS 521668 HAS SOUPS 515185 WITH SCORE 515966.439
AT ITER 138 NEW BEST:: SOT 1158675 SOS 781015 HAS SOPS 774063 HAS SOUS 521404 HAS SOUPS 514657 WITH SCORE 515438.015
AT ITER 139 NEW BEST:: SOT 1157935 SOS 780259 HAS SOPS 773307 HAS SOUS 520855 HAS SOUPS 514108 WITH SCORE 514888.259
AT ITER 140 NEW BEST:: SOT 1156951 SOS 779275 HAS SOPS 772323 HAS SOUS 520249 HAS SOUPS 513502 WITH SCORE 514281.275
AT ITER 141 NEW BEST:: SOT 1156015 SOS 778339 HAS SOPS 771387 HAS SOUS 519522 HAS SOUPS 512775 WITH SCORE 513553.339
AT ITER 146 NEW BEST:: SOT 1154640 SOS 776964 HAS SOPS 770012 HAS SOUS 518219 HAS SOUPS 511472 WITH SCORE 512248.964
AT ITER 148 NEW BEST:: SOT 1154476 SOS 776715 HAS SOPS 769602 HAS SOUS 518134 HAS SOUPS 511226 WITH SCORE 512002.715
AT ITER 149 NEW BEST:: SOT 1154476 SOS 776304 HAS SOPS 769191 HAS SOUS 517860 HAS SOUPS 510952 WITH SCORE 511728.304
AT ITER 150 NEW BEST:: SOT 1153639 SOS 775467 HAS SOPS 768354 HAS SOUS 517302 HAS SOUPS 510394 WITH SCORE 511169.467
AT ITER 156 NEW BEST:: SOT 1153639 SOS 775413 HAS SOPS 768300 HAS SOUS 517248 HAS SOUPS 510340 WITH SCORE 511115.413
AT ITER 158 NEW BEST:: SOT 1153616 SOS 775385 HAS SOPS 767899 HAS SOUS 517472 HAS SOUPS 510191 WITH SCORE 510966.385
AT ITER 161 NEW BEST:: SOT 1151681 SOS 774494 HAS SOPS 766426 HAS SOUS 516204 HAS SOUPS 508341 WITH SCORE 509115.494
AT ITER 166 NEW BEST:: SOT 1151433 SOS 774246 HAS SOPS 766178 HAS SOUS 515956 HAS SOUPS 508093 WITH SCORE 508867.246
AT ITER 168 NEW BEST:: SOT 1150880 SOS 773881 HAS SOPS 765316 HAS SOUS 515797 HAS SOUPS 507437 WITH SCORE 508210.881
AT ITER 169 NEW BEST:: SOT 1149202 SOS 772301 HAS SOPS 763638 HAS SOUS 514682 HAS SOUPS 506224 WITH SCORE 506996.301
AT ITER 170 NEW BEST:: SOT 1149202 SOS 771107 HAS SOPS 762444 HAS SOUS 514353 HAS SOUPS 505895 WITH SCORE 506666.107
AT ITER 171 NEW BEST:: SOT 1148618 SOS 770608 HAS SOPS 761219 HAS SOUS 514812 HAS SOUPS 505628 WITH SCORE 506398.608
AT ITER 172 NEW BEST:: SOT 1148618 SOS 770063 HAS SOPS 760674 HAS SOUS 514811 HAS SOUPS 505627 WITH SCORE 506397.063
AT ITER 173 NEW BEST:: SOT 1148480 SOS 769925 HAS SOPS 760536 HAS SOUS 514811 HAS SOUPS 505627 WITH SCORE 506396.925
AT ITER 176 NEW BEST:: SOT 1145549 SOS 765429 HAS SOPS 756040 HAS SOUS 511631 HAS SOUPS 502447 WITH SCORE 503212.429
AT ITER 188 NEW BEST:: SOT 1145549 SOS 765327 HAS SOPS 755938 HAS SOUS 511580 HAS SOUPS 502396 WITH SCORE 503161.327
AT ITER 194 NEW BEST:: SOT 1140845 SOS 760622 HAS SOPS 751233 HAS SOUS 511187 HAS SOUPS 502003 WITH SCORE 502763.622
AT ITER 195 NEW BEST:: SOT 1139923 SOS 759717 HAS SOPS 750311 HAS SOUS 510565 HAS SOUPS 501364 WITH SCORE 502123.717
AT ITER 199 NEW BEST:: SOT 1139750 SOS 758654 HAS SOPS 749248 HAS SOUS 509865 HAS SOUPS 500664 WITH SCORE 501422.654
AT ITER 201 NEW BEST:: SOT 1138297 SOS 757201 HAS SOPS 747795 HAS SOUS 508796 HAS SOUPS 499595 WITH SCORE 500352.201
AT ITER 202 NEW BEST:: SOT 1136479 SOS 754279 HAS SOPS 744425 HAS SOUS 507152 HAS SOUPS 497503 WITH SCORE 498257.279
AT ITER 204 NEW BEST:: SOT 1136479 SOS 753798 HAS SOPS 743944 HAS SOUS 507151 HAS SOUPS 497502 WITH SCORE 498255.798
AT ITER 206 NEW BEST:: SOT 1136479 SOS 753565 HAS SOPS 743711 HAS SOUS 507034 HAS SOUPS 497385 WITH SCORE 498138.565
AT ITER 208 NEW BEST:: SOT 1135774 SOS 752797 HAS SOPS 742770 HAS SOUS 506501 HAS SOUPS 496679 WITH SCORE 497431.797
AT ITER 213 NEW BEST:: SOT 1134396 SOS 751419 HAS SOPS 741392 HAS SOUS 505556 HAS SOUPS 495734 WITH SCORE 496485.419
AT ITER 215 NEW BEST:: SOT 1133246 SOS 750285 HAS SOPS 740242 HAS SOUS 504787 HAS SOUPS 494949 WITH SCORE 495699.285
AT ITER 216 NEW BEST:: SOT 1133007 SOS 750046 HAS SOPS 740003 HAS SOUS 504545 HAS SOUPS 494707 WITH SCORE 495457.046
AT ITER 218 NEW BEST:: SOT 1133007 SOS 749040 HAS SOPS 738997 HAS SOUS 503993 HAS SOUPS 494155 WITH SCORE 494904.04
AT ITER 220 NEW BEST:: SOT 1132687 SOS 748720 HAS SOPS 738517 HAS SOUS 503833 HAS SOUPS 493835 WITH SCORE 494583.72
AT ITER 221 NEW BEST:: SOT 1131780 SOS 747026 HAS SOPS 736434 HAS SOUS 502923 HAS SOUPS 492536 WITH SCORE 493283.026
AT ITER 225 NEW BEST:: SOT 1131780 SOS 746468 HAS SOPS 735876 HAS SOUS 502551 HAS SOUPS 492164 WITH SCORE 492910.468
AT ITER 228 NEW BEST:: SOT 1131539 SOS 746227 HAS SOPS 735635 HAS SOUS 502303 HAS SOUPS 491916 WITH SCORE 492662.227
AT ITER 231 NEW BEST:: SOT 1131152 SOS 745969 HAS SOPS 735248 HAS SOUS 502162 HAS SOUPS 491646 WITH SCORE 492391.969
AT ITER 233 NEW BEST:: SOT 1131152 SOS 745969 HAS SOPS 735248 HAS SOUS 502065 HAS SOUPS 491549 WITH SCORE 492294.969
AT ITER 235 NEW BEST:: SOT 1131152 SOS 745949 HAS SOPS 735228 HAS SOUS 502060 HAS SOUPS 491544 WITH SCORE 492289.949
AT ITER 244 NEW BEST:: SOT 1131076 SOS 745785 HAS SOPS 734928 HAS SOUS 502160 HAS SOUPS 491508 WITH SCORE 492253.785
AT ITER 245 NEW BEST:: SOT 1129276 SOS 742567 HAS SOPS 731418 HAS SOUS 500218 HAS SOUPS 489274 WITH SCORE 490016.567
AT ITER 247 NEW BEST:: SOT 1129253 SOS 742544 HAS SOPS 731395 HAS SOUS 500195 HAS SOUPS 489251 WITH SCORE 489993.544
AT ITER 251 NEW BEST:: SOT 1129274 SOS 742627 HAS SOPS 731478 HAS SOUS 499941 HAS SOUPS 488997 WITH SCORE 489739.627
AT ITER 252 NEW BEST:: SOT 1128851 SOS 742128 HAS SOPS 730939 HAS SOUS 499442 HAS SOUPS 488458 WITH SCORE 489200.128
AT ITER 255 NEW BEST:: SOT 1127130 SOS 739256 HAS SOPS 727717 HAS SOUS 497736 HAS SOUPS 486402 WITH SCORE 487141.256
AT ITER 256 NEW BEST:: SOT 1127370 SOS 739050 HAS SOPS 727471 HAS SOUS 497557 HAS SOUPS 486183 WITH SCORE 486922.05
AT ITER 257 NEW BEST:: SOT 1127370 SOS 738237 HAS SOPS 726658 HAS SOUS 497310 HAS SOUPS 485936 WITH SCORE 486674.237
AT ITER 262 NEW BEST:: SOT 1127370 SOS 737802 HAS SOPS 726223 HAS SOUS 497165 HAS SOUPS 485791 WITH SCORE 486528.802
AT ITER 264 NEW BEST:: SOT 1127062 SOS 737494 HAS SOPS 725718 HAS SOUS 496857 HAS SOUPS 485286 WITH SCORE 486023.494
AT ITER 266 NEW BEST:: SOT 1127061 SOS 737493 HAS SOPS 725659 HAS SOUS 496798 HAS SOUPS 485169 WITH SCORE 485906.493
AT ITER 272 NEW BEST:: SOT 1127151 SOS 738194 HAS SOPS 726027 HAS SOUS 496471 HAS SOUPS 484509 WITH SCORE 485247.194
AT ITER 275 NEW BEST:: SOT 1127151 SOS 729743 HAS SOPS 717576 HAS SOUS 496365 HAS SOUPS 484403 WITH SCORE 485132.743
AT ITER 277 NEW BEST:: SOT 1127151 SOS 729713 HAS SOPS 717546 HAS SOUS 496353 HAS SOUPS 484391 WITH SCORE 485120.713
AT ITER 278 NEW BEST:: SOT 1126212 SOS 729033 HAS SOPS 716607 HAS SOUS 496201 HAS SOUPS 483980 WITH SCORE 484709.033
AT ITER 281 NEW BEST:: SOT 1125962 SOS 729154 HAS SOPS 716728 HAS SOUS 496075 HAS SOUPS 483854 WITH SCORE 484583.154
AT ITER 282 NEW BEST:: SOT 1120419 SOS 723611 HAS SOPS 711185 HAS SOUS 492697 HAS SOUPS 480476 WITH SCORE 481199.611
AT ITER 284 NEW BEST:: SOT 1120419 SOS 722589 HAS SOPS 710163 HAS SOUS 492047 HAS SOUPS 479826 WITH SCORE 480548.589
AT ITER 285 NEW BEST:: SOT 1119738 SOS 721524 HAS SOPS 708669 HAS SOUS 491660 HAS SOUPS 479010 WITH SCORE 479731.524
AT ITER 287 NEW BEST:: SOT 1119239 SOS 719296 HAS SOPS 706441 HAS SOUS 490854 HAS SOUPS 478204 WITH SCORE 478923.296
AT ITER 290 NEW BEST:: SOT 1119224 SOS 719331 HAS SOPS 706187 HAS SOUS 490889 HAS SOUPS 477950 WITH SCORE 478669.331
AT ITER 291 NEW BEST:: SOT 1119476 SOS 719583 HAS SOPS 706439 HAS SOUS 490888 HAS SOUPS 477949 WITH SCORE 478668.583
AT ITER 293 NEW BEST:: SOT 1119266 SOS 719372 HAS SOPS 706228 HAS SOUS 490747 HAS SOUPS 477808 WITH SCORE 478527.372
AT ITER 299 NEW BEST:: SOT 1119106 SOS 716839 HAS SOPS 703695 HAS SOUS 490745 HAS SOUPS 477806 WITH SCORE 478522.839
AT ITER 304 NEW BEST:: SOT 1119106 SOS 716455 HAS SOPS 703311 HAS SOUS 490745 HAS SOUPS 477806 WITH SCORE 478522.455
AT ITER 305 NEW BEST:: SOT 1118906 SOS 716255 HAS SOPS 703111 HAS SOUS 490679 HAS SOUPS 477740 WITH SCORE 478456.255
AT ITER 314 NEW BEST:: SOT 1118464 SOS 715813 HAS SOPS 702668 HAS SOUS 490455 HAS SOUPS 477515 WITH SCORE 478230.813
AT ITER 315 NEW BEST:: SOT 1118464 SOS 715033 HAS SOPS 701888 HAS SOUS 490195 HAS SOUPS 477255 WITH SCORE 477970.033
AT ITER 321 NEW BEST:: SOT 1118249 SOS 714818 HAS SOPS 701673 HAS SOUS 489980 HAS SOUPS 477040 WITH SCORE 477754.818
AT ITER 322 NEW BEST:: SOT 1105717 SOS 695384 HAS SOPS 681854 HAS SOUS 480768 HAS SOUPS 467728 WITH SCORE 468423.384
AT ITER 328 NEW BEST:: SOT 1105675 SOS 695584 HAS SOPS 681583 HAS SOUS 480666 HAS SOUPS 467155 WITH SCORE 467850.584
AT ITER 329 NEW BEST:: SOT 1105459 SOS 695480 HAS SOPS 681479 HAS SOUS 480562 HAS SOUPS 467051 WITH SCORE 467746.48
AT ITER 334 NEW BEST:: SOT 1105098 SOS 695242 HAS SOPS 681118 HAS SOUS 480519 HAS SOUPS 466885 WITH SCORE 467580.242
AT ITER 335 NEW BEST:: SOT 1104557 SOS 694650 HAS SOPS 680444 HAS SOUS 480083 HAS SOUPS 466367 WITH SCORE 467061.65
AT ITER 336 NEW BEST:: SOT 1104557 SOS 694649 HAS SOPS 680443 HAS SOUS 480082 HAS SOUPS 466366 WITH SCORE 467060.649
AT ITER 345 NEW BEST:: SOT 1104320 SOS 693015 HAS SOPS 678809 HAS SOUS 479034 HAS SOUPS 465318 WITH SCORE 466011.015
AT ITER 348 NEW BEST:: SOT 1104103 SOS 691598 HAS SOPS 677872 HAS SOUS 478314 HAS SOUPS 465078 WITH SCORE 465769.598
AT ITER 349 NEW BEST:: SOT 1103770 SOS 691265 HAS SOPS 677539 HAS SOUS 478110 HAS SOUPS 464874 WITH SCORE 465565.265
AT ITER 350 NEW BEST:: SOT 1103785 SOS 690593 HAS SOPS 676867 HAS SOUS 477807 HAS SOUPS 464571 WITH SCORE 465261.593
AT ITER 352 NEW BEST:: SOT 1102527 SOS 689146 HAS SOPS 675330 HAS SOUS 476800 HAS SOUPS 463474 WITH SCORE 464163.146
AT ITER 354 NEW BEST:: SOT 1102125 SOS 688744 HAS SOPS 674928 HAS SOUS 476398 HAS SOUPS 463072 WITH SCORE 463760.744
AT ITER 355 NEW BEST:: SOT 1101972 SOS 687311 HAS SOPS 673495 HAS SOUS 475605 HAS SOUPS 462279 WITH SCORE 462966.311
AT ITER 358 NEW BEST:: SOT 1100887 SOS 685692 HAS SOPS 671876 HAS SOUS 474520 HAS SOUPS 461194 WITH SCORE 461879.692
AT ITER 369 NEW BEST:: SOT 1100887 SOS 678729 HAS SOPS 664913 HAS SOUS 474335 HAS SOUPS 461009 WITH SCORE 461687.729
AT ITER 370 NEW BEST:: SOT 1100886 SOS 678618 HAS SOPS 664802 HAS SOUS 474279 HAS SOUPS 460953 WITH SCORE 461631.618
AT ITER 371 NEW BEST:: SOT 1099622 SOS 676725 HAS SOPS 662651 HAS SOUS 473190 HAS SOUPS 459606 WITH SCORE 460282.725
AT ITER 374 NEW BEST:: SOT 1099622 SOS 676725 HAS SOPS 662651 HAS SOUS 472976 HAS SOUPS 459392 WITH SCORE 460068.725
AT ITER 383 NEW BEST:: SOT 1099556 SOS 676113 HAS SOPS 662039 HAS SOUS 472546 HAS SOUPS 458962 WITH SCORE 459638.113
AT ITER 385 NEW BEST:: SOT 1098379 SOS 674936 HAS SOPS 660862 HAS SOUS 471620 HAS SOUPS 458036 WITH SCORE 458710.936
AT ITER 387 NEW BEST:: SOT 1098081 SOS 673744 HAS SOPS 659670 HAS SOUS 470726 HAS SOUPS 457142 WITH SCORE 457815.744
AT ITER 388 NEW BEST:: SOT 1096460 SOS 672123 HAS SOPS 658049 HAS SOUS 469521 HAS SOUPS 455937 WITH SCORE 456609.123
AT ITER 390 NEW BEST:: SOT 1095090 SOS 670753 HAS SOPS 656679 HAS SOUS 468625 HAS SOUPS 455041 WITH SCORE 455711.753
AT ITER 396 NEW BEST:: SOT 1094830 SOS 670427 HAS SOPS 656353 HAS SOUS 468364 HAS SOUPS 454780 WITH SCORE 455450.427
AT ITER 397 NEW BEST:: SOT 1093328 SOS 669051 HAS SOPS 654851 HAS SOUS 467544 HAS SOUPS 453834 WITH SCORE 454503.051
AT ITER 400 NEW BEST:: SOT 1093152 SOS 668683 HAS SOPS 654483 HAS SOUS 467512 HAS SOUPS 453802 WITH SCORE 454470.683
AT ITER 404 NEW BEST:: SOT 1092865 SOS 668435 HAS SOPS 654195 HAS SOUS 467461 HAS SOUPS 453711 WITH SCORE 454379.435
AT ITER 409 NEW BEST:: SOT 1092557 SOS 667651 HAS SOPS 653411 HAS SOUS 467405 HAS SOUPS 453655 WITH SCORE 454322.651
AT ITER 410 NEW BEST:: SOT 1092137 SOS 667231 HAS SOPS 652991 HAS SOUS 467125 HAS SOUPS 453375 WITH SCORE 454042.231
AT ITER 413 NEW BEST:: SOT 1092137 SOS 666284 HAS SOPS 652044 HAS SOUS 466964 HAS SOUPS 453214 WITH SCORE 453880.284
AT ITER 419 NEW BEST:: SOT 1092376 SOS 665483 HAS SOPS 651243 HAS SOUS 466873 HAS SOUPS 453123 WITH SCORE 453788.483
AT ITER 423 NEW BEST:: SOT 1090406 SOS 662555 HAS SOPS 648315 HAS SOUS 465015 HAS SOUPS 451265 WITH SCORE 451927.555
AT ITER 424 NEW BEST:: SOT 1090406 SOS 661603 HAS SOPS 647363 HAS SOUS 464737 HAS SOUPS 450987 WITH SCORE 451648.603
AT ITER 425 NEW BEST:: SOT 1090406 SOS 661602 HAS SOPS 647362 HAS SOUS 464655 HAS SOUPS 450905 WITH SCORE 451566.602
AT ITER 427 NEW BEST:: SOT 1090178 SOS 661374 HAS SOPS 647020 HAS SOUS 464541 HAS SOUPS 450677 WITH SCORE 451338.374
AT ITER 428 NEW BEST:: SOT 1089054 SOS 660114 HAS SOPS 645760 HAS SOUS 463417 HAS SOUPS 449553 WITH SCORE 450213.114
AT ITER 429 NEW BEST:: SOT 1088843 SOS 659903 HAS SOPS 645548 HAS SOUS 463311 HAS SOUPS 449446 WITH SCORE 450105.903
AT ITER 430 NEW BEST:: SOT 1088843 SOS 651215 HAS SOPS 636860 HAS SOUS 462736 HAS SOUPS 448871 WITH SCORE 449522.215
AT ITER 431 NEW BEST:: SOT 1088795 SOS 651214 HAS SOPS 636811 HAS SOUS 462782 HAS SOUPS 448869 WITH SCORE 449520.214
AT ITER 435 NEW BEST:: SOT 1088750 SOS 651169 HAS SOPS 636766 HAS SOUS 462741 HAS SOUPS 448828 WITH SCORE 449479.169
AT ITER 436 NEW BEST:: SOT 1089812 SOS 653615 HAS SOPS 638636 HAS SOUS 462848 HAS SOUPS 448791 WITH SCORE 449444.615
AT ITER 439 NEW BEST:: SOT 1089828 SOS 653527 HAS SOPS 638548 HAS SOUS 462778 HAS SOUPS 448721 WITH SCORE 449374.527
AT ITER 442 NEW BEST:: SOT 1089763 SOS 653202 HAS SOPS 638223 HAS SOUS 462713 HAS SOUPS 448656 WITH SCORE 449309.202
AT ITER 450 NEW BEST:: SOT 1088275 SOS 651714 HAS SOPS 636735 HAS SOUS 461331 HAS SOUPS 447274 WITH SCORE 447925.714
AT ITER 454 NEW BEST:: SOT 1088215 SOS 651654 HAS SOPS 636675 HAS SOUS 461271 HAS SOUPS 447214 WITH SCORE 447865.654
AT ITER 455 NEW BEST:: SOT 1088215 SOS 651688 HAS SOPS 636709 HAS SOUS 461270 HAS SOUPS 447213 WITH SCORE 447864.688
AT ITER 457 NEW BEST:: SOT 1087987 SOS 651460 HAS SOPS 636481 HAS SOUS 461099 HAS SOUPS 447042 WITH SCORE 447693.46
AT ITER 458 NEW BEST:: SOT 1087040 SOS 650721 HAS SOPS 635533 HAS SOUS 460878 HAS SOUPS 446612 WITH SCORE 447262.721
AT ITER 459 NEW BEST:: SOT 1087040 SOS 650445 HAS SOPS 635257 HAS SOUS 460878 HAS SOUPS 446612 WITH SCORE 447262.445
AT ITER 460 NEW BEST:: SOT 1087000 SOS 650000 HAS SOPS 634812 HAS SOUS 460703 HAS SOUPS 446437 WITH SCORE 447087.0
AT ITER 465 NEW BEST:: SOT 1087000 SOS 649694 HAS SOPS 634506 HAS SOUS 460499 HAS SOUPS 446233 WITH SCORE 446882.694
AT ITER 466 NEW BEST:: SOT 1086239 SOS 648946 HAS SOPS 633539 HAS SOUS 459957 HAS SOUPS 445472 WITH SCORE 446120.946
AT ITER 467 NEW BEST:: SOT 1086440 SOS 649099 HAS SOPS 633692 HAS SOUS 459773 HAS SOUPS 445288 WITH SCORE 445937.099
AT ITER 468 NEW BEST:: SOT 1086266 SOS 649098 HAS SOPS 633691 HAS SOUS 459685 HAS SOUPS 445200 WITH SCORE 445849.098
AT ITER 471 NEW BEST:: SOT 1085869 SOS 648436 HAS SOPS 633003 HAS SOUS 459023 HAS SOUPS 444512 WITH SCORE 445160.436
AT ITER 476 NEW BEST:: SOT 1085594 SOS 648161 HAS SOPS 632727 HAS SOUS 458885 HAS SOUPS 444373 WITH SCORE 445021.161
AT ITER 478 NEW BEST:: SOT 1084083 SOS 645441 HAS SOPS 629686 HAS SOUS 457387 HAS SOUPS 442554 WITH SCORE 443199.441
AT ITER 481 NEW BEST:: SOT 1084083 SOS 644731 HAS SOPS 628976 HAS SOUS 457186 HAS SOUPS 442353 WITH SCORE 442997.731
AT ITER 483 NEW BEST:: SOT 1084083 SOS 644679 HAS SOPS 628924 HAS SOUS 457134 HAS SOUPS 442301 WITH SCORE 442945.679
AT ITER 486 NEW BEST:: SOT 1084249 SOS 644732 HAS SOPS 628977 HAS SOUS 457049 HAS SOUPS 442216 WITH SCORE 442860.732
AT ITER 495 NEW BEST:: SOT 1084249 SOS 644731 HAS SOPS 628976 HAS SOUS 457048 HAS SOUPS 442215 WITH SCORE 442859.731
AT ITER 498 NEW BEST:: SOT 1083897 SOS 644756 HAS SOPS 628852 HAS SOUS 457069 HAS SOUPS 442087 WITH SCORE 442731.756
AT ITER 501 NEW BEST:: SOT 1082119 SOS 642978 HAS SOPS 627074 HAS SOUS 455293 HAS SOUPS 440311 WITH SCORE 440953.978
AT ITER 502 NEW BEST:: SOT 1081392 SOS 641691 HAS SOPS 625669 HAS SOUS 454458 HAS SOUPS 439358 WITH SCORE 439999.691
AT ITER 505 NEW BEST:: SOT 1083008 SOS 642444 HAS SOPS 626371 HAS SOUS 453596 HAS SOUPS 438445 WITH SCORE 439087.444
AT ITER 507 NEW BEST:: SOT 1082867 SOS 641563 HAS SOPS 625490 HAS SOUS 453085 HAS SOUPS 437934 WITH SCORE 438575.563
AT ITER 510 NEW BEST:: SOT 1082035 SOS 640741 HAS SOPS 624658 HAS SOUS 452701 HAS SOUPS 437540 WITH SCORE 438180.741
AT ITER 512 NEW BEST:: SOT 1080654 SOS 640345 HAS SOPS 623580 HAS SOUS 452898 HAS SOUPS 437055 WITH SCORE 437695.345
AT ITER 515 NEW BEST:: SOT 1079015 SOS 638030 HAS SOPS 619987 HAS SOUS 452007 HAS SOUPS 435344 WITH SCORE 435982.03
AT ITER 518 NEW BEST:: SOT 1077663 SOS 636678 HAS SOPS 618635 HAS SOUS 451239 HAS SOUPS 434576 WITH SCORE 435212.678
AT ITER 521 NEW BEST:: SOT 1077593 SOS 636646 HAS SOPS 618603 HAS SOUS 450679 HAS SOUPS 434016 WITH SCORE 434652.646
AT ITER 523 NEW BEST:: SOT 1075772 SOS 636785 HAS SOPS 618158 HAS SOUS 450470 HAS SOUPS 433560 WITH SCORE 434196.785
AT ITER 524 NEW BEST:: SOT 1075700 SOS 636713 HAS SOPS 618086 HAS SOUS 450398 HAS SOUPS 433488 WITH SCORE 434124.713
AT ITER 527 NEW BEST:: SOT 1075124 SOS 636137 HAS SOPS 617510 HAS SOUS 449821 HAS SOUPS 432911 WITH SCORE 433547.137
AT ITER 533 NEW BEST:: SOT 1074889 SOS 635902 HAS SOPS 617275 HAS SOUS 449586 HAS SOUPS 432676 WITH SCORE 433311.902
AT ITER 539 NEW BEST:: SOT 1074810 SOS 635754 HAS SOPS 617127 HAS SOUS 449438 HAS SOUPS 432528 WITH SCORE 433163.754
AT ITER 540 NEW BEST:: SOT 1074758 SOS 635521 HAS SOPS 616997 HAS SOUS 449257 HAS SOUPS 432450 WITH SCORE 433085.521
AT ITER 543 NEW BEST:: SOT 1074758 SOS 634951 HAS SOPS 616427 HAS SOUS 448877 HAS SOUPS 432070 WITH SCORE 432704.951
AT ITER 544 NEW BEST:: SOT 1075279 SOS 634759 HAS SOPS 616235 HAS SOUS 448551 HAS SOUPS 431744 WITH SCORE 432378.759
AT ITER 553 NEW BEST:: SOT 1075279 SOS 634378 HAS SOPS 615854 HAS SOUS 448297 HAS SOUPS 431490 WITH SCORE 432124.378
AT ITER 560 NEW BEST:: SOT 1074894 SOS 633993 HAS SOPS 615469 HAS SOUS 448056 HAS SOUPS 431249 WITH SCORE 431882.993
AT ITER 561 NEW BEST:: SOT 1074412 SOS 633699 HAS SOPS 614986 HAS SOUS 447983 HAS SOUPS 430987 WITH SCORE 431620.699
AT ITER 568 NEW BEST:: SOT 1074412 SOS 633279 HAS SOPS 614566 HAS SOUS 447983 HAS SOUPS 430987 WITH SCORE 431620.279
AT ITER 569 NEW BEST:: SOT 1074412 SOS 632717 HAS SOPS 614004 HAS SOUS 447982 HAS SOUPS 430986 WITH SCORE 431618.717
AT ITER 570 NEW BEST:: SOT 1074288 SOS 630746 HAS SOPS 612033 HAS SOUS 447980 HAS SOUPS 430984 WITH SCORE 431614.746
AT ITER 576 NEW BEST:: SOT 1073904 SOS 630266 HAS SOPS 611553 HAS SOUS 447596 HAS SOUPS 430600 WITH SCORE 431230.266
AT ITER 579 NEW BEST:: SOT 1073873 SOS 630111 HAS SOPS 611429 HAS SOUS 447503 HAS SOUPS 430538 WITH SCORE 431168.111
AT ITER 584 NEW BEST:: SOT 1073752 SOS 629748 HAS SOPS 611187 HAS SOUS 447140 HAS SOUPS 430296 WITH SCORE 430925.748
AT ITER 590 NEW BEST:: SOT 1073752 SOS 629595 HAS SOPS 611034 HAS SOUS 446987 HAS SOUPS 430143 WITH SCORE 430772.595
AT ITER 594 NEW BEST:: SOT 1073607 SOS 629450 HAS SOPS 610889 HAS SOUS 446912 HAS SOUPS 430068 WITH SCORE 430697.45
AT ITER 596 NEW BEST:: SOT 1072566 SOS 628571 HAS SOPS 609848 HAS SOUS 446516 HAS SOUPS 429510 WITH SCORE 430138.571
AT ITER 604 NEW BEST:: SOT 1071713 SOS 627521 HAS SOPS 608735 HAS SOUS 445911 HAS SOUPS 428842 WITH SCORE 429469.521
AT ITER 606 NEW BEST:: SOT 1071094 SOS 627207 HAS SOPS 608112 HAS SOUS 445662 HAS SOUPS 428284 WITH SCORE 428911.207
AT ITER 609 NEW BEST:: SOT 1069446 SOS 623699 HAS SOPS 604604 HAS SOUS 443078 HAS SOUPS 425700 WITH SCORE 426323.699
AT ITER 618 NEW BEST:: SOT 1066881 SOS 621134 HAS SOPS 602039 HAS SOUS 441072 HAS SOUPS 423694 WITH SCORE 424315.134
AT ITER 622 NEW BEST:: SOT 1066286 SOS 620684 HAS SOPS 601444 HAS SOUS 441013 HAS SOUPS 423490 WITH SCORE 424110.684
AT ITER 626 NEW BEST:: SOT 1066286 SOS 619952 HAS SOPS 600712 HAS SOUS 440769 HAS SOUPS 423246 WITH SCORE 423865.952
AT ITER 628 NEW BEST:: SOT 1066286 SOS 619951 HAS SOPS 600711 HAS SOUS 440768 HAS SOUPS 423245 WITH SCORE 423864.951
AT ITER 629 NEW BEST:: SOT 1065906 SOS 619125 HAS SOPS 599951 HAS SOUS 440322 HAS SOUPS 422865 WITH SCORE 423484.125
AT ITER 630 NEW BEST:: SOT 1065905 SOS 618079 HAS SOPS 599561 HAS SOUS 439664 HAS SOUPS 422863 WITH SCORE 423481.079
AT ITER 633 NEW BEST:: SOT 1065560 SOS 617848 HAS SOPS 599215 HAS SOUS 439548 HAS SOUPS 422632 WITH SCORE 423249.848
AT ITER 636 NEW BEST:: SOT 1065560 SOS 616640 HAS SOPS 598007 HAS SOUS 439548 HAS SOUPS 422632 WITH SCORE 423248.64
AT ITER 642 NEW BEST:: SOT 1064982 SOS 616062 HAS SOPS 597429 HAS SOUS 439344 HAS SOUPS 422428 WITH SCORE 423044.062
AT ITER 643 NEW BEST:: SOT 1064570 SOS 615650 HAS SOPS 597056 HAS SOUS 439156 HAS SOUPS 422279 WITH SCORE 422894.65
AT ITER 645 NEW BEST:: SOT 1064493 SOS 615572 HAS SOPS 596978 HAS SOUS 439002 HAS SOUPS 422125 WITH SCORE 422740.572
AT ITER 648 NEW BEST:: SOT 1064439 SOS 614741 HAS SOPS 596147 HAS SOUS 438448 HAS SOUPS 421571 WITH SCORE 422185.741
AT ITER 652 NEW BEST:: SOT 1064261 SOS 614563 HAS SOPS 595741 HAS SOUS 438270 HAS SOUPS 421165 WITH SCORE 421779.563
AT ITER 654 NEW BEST:: SOT 1061941 SOS 612452 HAS SOPS 593421 HAS SOUS 436832 HAS SOUPS 419518 WITH SCORE 420130.452
AT ITER 655 NEW BEST:: SOT 1061941 SOS 612452 HAS SOPS 593421 HAS SOUS 436706 HAS SOUPS 419392 WITH SCORE 420004.452
AT ITER 658 NEW BEST:: SOT 1061807 SOS 612183 HAS SOPS 593152 HAS SOUS 436571 HAS SOUPS 419257 WITH SCORE 419869.183
AT ITER 663 NEW BEST:: SOT 1061566 SOS 611917 HAS SOPS 592886 HAS SOUS 436262 HAS SOUPS 418948 WITH SCORE 419559.917
AT ITER 667 NEW BEST:: SOT 1060539 SOS 611447 HAS SOPS 591858 HAS SOUS 436365 HAS SOUPS 418493 WITH SCORE 419104.447
AT ITER 671 NEW BEST:: SOT 1060072 SOS 611305 HAS SOPS 591716 HAS SOUS 436198 HAS SOUPS 418326 WITH SCORE 418937.305
AT ITER 678 NEW BEST:: SOT 1059907 SOS 610975 HAS SOPS 591450 HAS SOUS 436079 HAS SOUPS 418271 WITH SCORE 418881.975
AT ITER 680 NEW BEST:: SOT 1059763 SOS 610831 HAS SOPS 591306 HAS SOUS 436079 HAS SOUPS 418271 WITH SCORE 418881.831
AT ITER 681 NEW BEST:: SOT 1059871 SOS 611291 HAS SOPS 591386 HAS SOUS 436431 HAS SOUPS 418243 WITH SCORE 418854.291
AT ITER 682 NEW BEST:: SOT 1060472 SOS 611770 HAS SOPS 591865 HAS SOUS 436323 HAS SOUPS 418135 WITH SCORE 418746.77
AT ITER 691 NEW BEST:: SOT 1060221 SOS 611519 HAS SOPS 591614 HAS SOUS 436038 HAS SOUPS 417850 WITH SCORE 418461.519
AT ITER 693 NEW BEST:: SOT 1060220 SOS 610844 HAS SOPS 590939 HAS SOUS 435684 HAS SOUPS 417496 WITH SCORE 418106.844
AT ITER 695 NEW BEST:: SOT 1059051 SOS 609212 HAS SOPS 589307 HAS SOUS 434515 HAS SOUPS 416327 WITH SCORE 416936.212
AT ITER 696 NEW BEST:: SOT 1059035 SOS 609196 HAS SOPS 589291 HAS SOUS 434470 HAS SOUPS 416282 WITH SCORE 416891.196
AT ITER 706 NEW BEST:: SOT 1059123 SOS 608926 HAS SOPS 589021 HAS SOUS 434379 HAS SOUPS 416191 WITH SCORE 416799.926
AT ITER 710 NEW BEST:: SOT 1058966 SOS 607157 HAS SOPS 587917 HAS SOUS 433299 HAS SOUPS 415776 WITH SCORE 416383.157
AT ITER 713 NEW BEST:: SOT 1058402 SOS 607791 HAS SOPS 588404 HAS SOUS 432722 HAS SOUPS 415052 WITH SCORE 415659.791
AT ITER 715 NEW BEST:: SOT 1057498 SOS 606886 HAS SOPS 587499 HAS SOUS 431817 HAS SOUPS 414147 WITH SCORE 414753.886
AT ITER 720 NEW BEST:: SOT 1055998 SOS 605709 HAS SOPS 585411 HAS SOUS 431228 HAS SOUPS 412647 WITH SCORE 413252.709
AT ITER 722 NEW BEST:: SOT 1055591 SOS 605759 HAS SOPS 585356 HAS SOUS 430965 HAS SOUPS 412279 WITH SCORE 412884.759
AT ITER 726 NEW BEST:: SOT 1055590 SOS 605758 HAS SOPS 585354 HAS SOUS 430964 HAS SOUPS 412277 WITH SCORE 412882.758
AT ITER 728 NEW BEST:: SOT 1055483 SOS 605684 HAS SOPS 585280 HAS SOUS 430890 HAS SOUPS 412203 WITH SCORE 412808.684
AT ITER 733 NEW BEST:: SOT 1055419 SOS 605620 HAS SOPS 585216 HAS SOUS 430762 HAS SOUPS 412075 WITH SCORE 412680.62
AT ITER 737 NEW BEST:: SOT 1055418 SOS 605041 HAS SOPS 584925 HAS SOUS 430472 HAS SOUPS 412073 WITH SCORE 412678.041
AT ITER 738 NEW BEST:: SOT 1055335 SOS 604925 HAS SOPS 584809 HAS SOUS 430356 HAS SOUPS 411957 WITH SCORE 412561.925
AT ITER 742 NEW BEST:: SOT 1055031 SOS 604855 HAS SOPS 584739 HAS SOUS 430130 HAS SOUPS 411731 WITH SCORE 412335.855
AT ITER 747 NEW BEST:: SOT 1054614 SOS 604542 HAS SOPS 584160 HAS SOUS 430083 HAS SOUPS 411418 WITH SCORE 412022.542
AT ITER 751 NEW BEST:: SOT 1053623 SOS 603551 HAS SOPS 583169 HAS SOUS 429347 HAS SOUPS 410682 WITH SCORE 411285.551
AT ITER 753 NEW BEST:: SOT 1053545 SOS 603473 HAS SOPS 583091 HAS SOUS 429269 HAS SOUPS 410604 WITH SCORE 411207.473
AT ITER 755 NEW BEST:: SOT 1052600 SOS 601821 HAS SOPS 581754 HAS SOUS 428562 HAS SOUPS 410212 WITH SCORE 410813.821
AT ITER 759 NEW BEST:: SOT 1052366 SOS 601586 HAS SOPS 581519 HAS SOUS 428405 HAS SOUPS 410055 WITH SCORE 410656.586
AT ITER 764 NEW BEST:: SOT 1052366 SOS 601351 HAS SOPS 581284 HAS SOUS 428170 HAS SOUPS 409820 WITH SCORE 410421.351
AT ITER 765 NEW BEST:: SOT 1052366 SOS 601327 HAS SOPS 581260 HAS SOUS 428158 HAS SOUPS 409808 WITH SCORE 410409.327
AT ITER 769 NEW BEST:: SOT 1051181 SOS 599668 HAS SOPS 579601 HAS SOUS 426973 HAS SOUPS 408623 WITH SCORE 409222.668
AT ITER 771 NEW BEST:: SOT 1051180 SOS 599373 HAS SOPS 579369 HAS SOUS 426908 HAS SOUPS 408621 WITH SCORE 409220.373
AT ITER 773 NEW BEST:: SOT 1050934 SOS 598029 HAS SOPS 578025 HAS SOUS 425930 HAS SOUPS 407643 WITH SCORE 408241.029
AT ITER 775 NEW BEST:: SOT 1050223 SOS 597456 HAS SOPS 577175 HAS SOUS 425651 HAS SOUPS 407087 WITH SCORE 407684.456
AT ITER 779 NEW BEST:: SOT 1049905 SOS 596874 HAS SOPS 576380 HAS SOUS 425387 HAS SOUPS 406610 WITH SCORE 407206.874
AT ITER 783 NEW BEST:: SOT 1055836 SOS 608704 HAS SOPS 586647 HAS SOUS 425510 HAS SOUPS 406264 WITH SCORE 406872.704
AT ITER 785 NEW BEST:: SOT 1055836 SOS 608386 HAS SOPS 586329 HAS SOUS 425351 HAS SOUPS 406105 WITH SCORE 406713.386
AT ITER 792 NEW BEST:: SOT 1055564 SOS 608080 HAS SOPS 586023 HAS SOUS 425045 HAS SOUPS 405799 WITH SCORE 406407.08
AT ITER 797 NEW BEST:: SOT 1055572 SOS 607846 HAS SOPS 585789 HAS SOUS 424930 HAS SOUPS 405684 WITH SCORE 406291.846
AT ITER 802 NEW BEST:: SOT 1055263 SOS 607054 HAS SOPS 584997 HAS SOUS 424138 HAS SOUPS 404892 WITH SCORE 405499.054
AT ITER 806 NEW BEST:: SOT 1055263 SOS 606468 HAS SOPS 584411 HAS SOUS 423945 HAS SOUPS 404699 WITH SCORE 405305.468
AT ITER 807 NEW BEST:: SOT 1055322 SOS 606467 HAS SOPS 584410 HAS SOUS 423896 HAS SOUPS 404650 WITH SCORE 405256.467
AT ITER 808 NEW BEST:: SOT 1055148 SOS 607114 HAS SOPS 584653 HAS SOUS 424149 HAS SOUPS 404499 WITH SCORE 405106.114
AT ITER 809 NEW BEST:: SOT 1055046 SOS 606546 HAS SOPS 584046 HAS SOUS 424180 HAS SOUPS 404491 WITH SCORE 405097.546
AT ITER 813 NEW BEST:: SOT 1055046 SOS 604299 HAS SOPS 581799 HAS SOUS 424180 HAS SOUPS 404491 WITH SCORE 405095.299
AT ITER 814 NEW BEST:: SOT 1054749 SOS 604002 HAS SOPS 581396 HAS SOUS 423883 HAS SOUPS 404088 WITH SCORE 404692.002
AT ITER 817 NEW BEST:: SOT 1053408 SOS 602964 HAS SOPS 579971 HAS SOUS 422960 HAS SOUPS 402778 WITH SCORE 403380.964
AT ITER 820 NEW BEST:: SOT 1052865 SOS 601856 HAS SOPS 578134 HAS SOUS 422348 HAS SOUPS 401437 WITH SCORE 402038.856
AT ITER 822 NEW BEST:: SOT 1052397 SOS 601388 HAS SOPS 577666 HAS SOUS 421880 HAS SOUPS 400969 WITH SCORE 401570.388
AT ITER 824 NEW BEST:: SOT 1052508 SOS 601723 HAS SOPS 578001 HAS SOUS 421756 HAS SOUPS 400845 WITH SCORE 401446.723
AT ITER 832 NEW BEST:: SOT 1052452 SOS 601666 HAS SOPS 577944 HAS SOUS 421699 HAS SOUPS 400788 WITH SCORE 401389.666
AT ITER 839 NEW BEST:: SOT 1052452 SOS 601665 HAS SOPS 577943 HAS SOUS 421698 HAS SOUPS 400787 WITH SCORE 401388.665
AT ITER 842 NEW BEST:: SOT 1052206 SOS 601392 HAS SOPS 577670 HAS SOUS 421425 HAS SOUPS 400514 WITH SCORE 401115.392
AT ITER 844 NEW BEST:: SOT 1051874 SOS 600733 HAS SOPS 577011 HAS SOUS 421052 HAS SOUPS 400141 WITH SCORE 400741.733
AT ITER 845 NEW BEST:: SOT 1052006 SOS 601063 HAS SOPS 576989 HAS SOUS 421250 HAS SOUPS 399987 WITH SCORE 400588.063
AT ITER 846 NEW BEST:: SOT 1051244 SOS 600301 HAS SOPS 576227 HAS SOUS 420440 HAS SOUPS 399177 WITH SCORE 399777.301
AT ITER 847 NEW BEST:: SOT 1051038 SOS 600567 HAS SOPS 576493 HAS SOUS 420106 HAS SOUPS 398843 WITH SCORE 399443.567
AT ITER 848 NEW BEST:: SOT 1050752 SOS 598914 HAS SOPS 574840 HAS SOUS 419069 HAS SOUPS 397806 WITH SCORE 398404.914
AT ITER 849 NEW BEST:: SOT 1050315 SOS 598500 HAS SOPS 574403 HAS SOUS 418768 HAS SOUPS 397482 WITH SCORE 398080.5
AT ITER 850 NEW BEST:: SOT 1050315 SOS 598469 HAS SOPS 574372 HAS SOUS 418737 HAS SOUPS 397451 WITH SCORE 398049.469
AT ITER 853 NEW BEST:: SOT 1050394 SOS 598612 HAS SOPS 574340 HAS SOUS 418878 HAS SOUPS 397417 WITH SCORE 398015.612
AT ITER 855 NEW BEST:: SOT 1050848 SOS 599004 HAS SOPS 574732 HAS SOUS 418816 HAS SOUPS 397355 WITH SCORE 397954.004
AT ITER 856 NEW BEST:: SOT 1050081 SOS 597720 HAS SOPS 573448 HAS SOUS 417770 HAS SOUPS 396309 WITH SCORE 396906.72
AT ITER 859 NEW BEST:: SOT 1050080 SOS 597011 HAS SOPS 572739 HAS SOUS 417617 HAS SOUPS 396156 WITH SCORE 396753.011
AT ITER 860 NEW BEST:: SOT 1050080 SOS 596704 HAS SOPS 572432 HAS SOUS 417578 HAS SOUPS 396117 WITH SCORE 396713.704
AT ITER 863 NEW BEST:: SOT 1049805 SOS 596429 HAS SOPS 572157 HAS SOUS 417372 HAS SOUPS 395911 WITH SCORE 396507.429
AT ITER 864 NEW BEST:: SOT 1049804 SOS 596262 HAS SOPS 571990 HAS SOUS 417288 HAS SOUPS 395827 WITH SCORE 396423.262
AT ITER 868 NEW BEST:: SOT 1049804 SOS 596262 HAS SOPS 571990 HAS SOUS 417265 HAS SOUPS 395804 WITH SCORE 396400.262
AT ITER 873 NEW BEST:: SOT 1049622 SOS 596187 HAS SOPS 571808 HAS SOUS 417190 HAS SOUPS 395622 WITH SCORE 396218.187
AT ITER 876 NEW BEST:: SOT 1049553 SOS 595311 HAS SOPS 570932 HAS SOUS 417033 HAS SOUPS 395465 WITH SCORE 396060.311
AT ITER 878 NEW BEST:: SOT 1049487 SOS 595113 HAS SOPS 570734 HAS SOUS 416967 HAS SOUPS 395399 WITH SCORE 395994.113
AT ITER 887 NEW BEST:: SOT 1049361 SOS 594945 HAS SOPS 570566 HAS SOUS 416841 HAS SOUPS 395273 WITH SCORE 395867.945
AT ITER 889 NEW BEST:: SOT 1048970 SOS 593358 HAS SOPS 568979 HAS SOUS 416224 HAS SOUPS 394656 WITH SCORE 395249.358
AT ITER 891 NEW BEST:: SOT 1048603 SOS 592905 HAS SOPS 568273 HAS SOUS 415771 HAS SOUPS 393950 WITH SCORE 394542.905
AT ITER 896 NEW BEST:: SOT 1048603 SOS 592904 HAS SOPS 568272 HAS SOUS 415770 HAS SOUPS 393949 WITH SCORE 394541.904
AT ITER 908 NEW BEST:: SOT 1046382 SOS 590254 HAS SOPS 565622 HAS SOUS 413864 HAS SOUPS 392043 WITH SCORE 392633.254
AT ITER 909 NEW BEST:: SOT 1046276 SOS 590148 HAS SOPS 565516 HAS SOUS 413758 HAS SOUPS 391937 WITH SCORE 392527.148
AT ITER 919 NEW BEST:: SOT 1046276 SOS 589885 HAS SOPS 565253 HAS SOUS 413655 HAS SOUPS 391834 WITH SCORE 392423.885
AT ITER 922 NEW BEST:: SOT 1046276 SOS 589809 HAS SOPS 565177 HAS SOUS 413579 HAS SOUPS 391758 WITH SCORE 392347.809
AT ITER 932 NEW BEST:: SOT 1046112 SOS 589645 HAS SOPS 565012 HAS SOUS 413502 HAS SOUPS 391680 WITH SCORE 392269.645
AT ITER 936 NEW BEST:: SOT 1045931 SOS 589562 HAS SOPS 564929 HAS SOUS 413150 HAS SOUPS 391328 WITH SCORE 391917.562
AT ITER 938 NEW BEST:: SOT 1045931 SOS 589418 HAS SOPS 564785 HAS SOUS 413078 HAS SOUPS 391256 WITH SCORE 391845.418
AT ITER 940 NEW BEST:: SOT 1045796 SOS 589148 HAS SOPS 564515 HAS SOUS 412943 HAS SOUPS 391121 WITH SCORE 391710.148
AT ITER 943 NEW BEST:: SOT 1045134 SOS 588415 HAS SOPS 563782 HAS SOUS 412598 HAS SOUPS 390776 WITH SCORE 391364.415
AT ITER 949 NEW BEST:: SOT 1044435 SOS 587805 HAS SOPS 563083 HAS SOUS 411995 HAS SOUPS 390084 WITH SCORE 390671.805
AT ITER 953 NEW BEST:: SOT 1044435 SOS 587723 HAS SOPS 563001 HAS SOUS 411913 HAS SOUPS 390002 WITH SCORE 390589.723
AT ITER 963 NEW BEST:: SOT 1044424 SOS 587711 HAS SOPS 562989 HAS SOUS 411912 HAS SOUPS 390001 WITH SCORE 390588.711
AT ITER 965 NEW BEST:: SOT 1044157 SOS 586626 HAS SOPS 561943 HAS SOUS 411250 HAS SOUPS 389378 WITH SCORE 389964.626
AT ITER 966 NEW BEST:: SOT 1044088 SOS 586503 HAS SOPS 561820 HAS SOUS 411181 HAS SOUPS 389309 WITH SCORE 389895.503
AT ITER 970 NEW BEST:: SOT 1043223 SOS 585672 HAS SOPS 560722 HAS SOUS 410817 HAS SOUPS 388678 WITH SCORE 389263.672
AT ITER 971 NEW BEST:: SOT 1042702 SOS 585208 HAS SOPS 560189 HAS SOUS 410361 HAS SOUPS 388153 WITH SCORE 388738.208
AT ITER 974 NEW BEST:: SOT 1042547 SOS 585136 HAS SOPS 560117 HAS SOUS 410261 HAS SOUPS 388053 WITH SCORE 388638.136
AT ITER 975 NEW BEST:: SOT 1040633 SOS 583222 HAS SOPS 558203 HAS SOUS 408889 HAS SOUPS 386681 WITH SCORE 387264.222
AT ITER 980 NEW BEST:: SOT 1040025 SOS 582614 HAS SOPS 557490 HAS SOUS 408548 HAS SOUPS 386235 WITH SCORE 386817.614
AT ITER 988 NEW BEST:: SOT 1039871 SOS 582460 HAS SOPS 557336 HAS SOUS 408467 HAS SOUPS 386154 WITH SCORE 386736.46
AT ITER 989 NEW BEST:: SOT 1039187 SOS 581122 HAS SOPS 555998 HAS SOUS 407565 HAS SOUPS 385252 WITH SCORE 385833.122
AT ITER 993 NEW BEST:: SOT 1038997 SOS 580932 HAS SOPS 555808 HAS SOUS 407375 HAS SOUPS 385062 WITH SCORE 385642.932
AT ITER 994 NEW BEST:: SOT 1038997 SOS 579866 HAS SOPS 554742 HAS SOUS 407287 HAS SOUPS 384974 WITH SCORE 385553.866
AT ITER 1001 NEW BEST:: SOT 1038981 SOS 579818 HAS SOPS 554694 HAS SOUS 407255 HAS SOUPS 384942 WITH SCORE 385521.818
AT ITER 1002 NEW BEST:: SOT 1038981 SOS 579620 HAS SOPS 554496 HAS SOUS 407189 HAS SOUPS 384876 WITH SCORE 385455.62
AT ITER 1004 NEW BEST:: SOT 1037967 SOS 577759 HAS SOPS 552635 HAS SOUS 406004 HAS SOUPS 383691 WITH SCORE 384268.759
AT ITER 1005 NEW BEST:: SOT 1037368 SOS 577159 HAS SOPS 552035 HAS SOUS 405590 HAS SOUPS 383277 WITH SCORE 383854.159
AT ITER 1007 NEW BEST:: SOT 1037141 SOS 576633 HAS SOPS 551509 HAS SOUS 404926 HAS SOUPS 382613 WITH SCORE 383189.633
AT ITER 1012 NEW BEST:: SOT 1037056 SOS 575924 HAS SOPS 551037 HAS SOUS 404316 HAS SOUPS 382240 WITH SCORE 382815.924
AT ITER 1013 NEW BEST:: SOT 1037056 SOS 575887 HAS SOPS 551000 HAS SOUS 404297 HAS SOUPS 382221 WITH SCORE 382796.887
AT ITER 1019 NEW BEST:: SOT 1037056 SOS 576198 HAS SOPS 550764 HAS SOUS 404608 HAS SOUPS 381985 WITH SCORE 382561.198
AT ITER 1025 NEW BEST:: SOT 1036582 SOS 575920 HAS SOPS 550486 HAS SOUS 404291 HAS SOUPS 381668 WITH SCORE 382243.92
AT ITER 1031 NEW BEST:: SOT 1036315 SOS 576420 HAS SOPS 550070 HAS SOUS 405041 HAS SOUPS 381502 WITH SCORE 382078.42
AT ITER 1035 NEW BEST:: SOT 1035411 SOS 575823 HAS SOPS 549105 HAS SOUS 404835 HAS SOUPS 380928 WITH SCORE 381503.823
AT ITER 1037 NEW BEST:: SOT 1035336 SOS 575748 HAS SOPS 549030 HAS SOUS 404753 HAS SOUPS 380846 WITH SCORE 381421.748
AT ITER 1042 NEW BEST:: SOT 1035639 SOS 574340 HAS SOPS 547785 HAS SOUS 404269 HAS SOUPS 380444 WITH SCORE 381018.34
AT ITER 1044 NEW BEST:: SOT 1035639 SOS 574325 HAS SOPS 547564 HAS SOUS 404254 HAS SOUPS 380223 WITH SCORE 380797.325
AT ITER 1046 NEW BEST:: SOT 1035556 SOS 573284 HAS SOPS 546523 HAS SOUS 403938 HAS SOUPS 379907 WITH SCORE 380480.284
AT ITER 1053 NEW BEST:: SOT 1035526 SOS 573253 HAS SOPS 546492 HAS SOUS 403936 HAS SOUPS 379905 WITH SCORE 380478.253
AT ITER 1054 NEW BEST:: SOT 1035674 SOS 573860 HAS SOPS 546625 HAS SOUS 404203 HAS SOUPS 379890 WITH SCORE 380463.86
AT ITER 1060 NEW BEST:: SOT 1035619 SOS 573133 HAS SOPS 545898 HAS SOUS 403896 HAS SOUPS 379583 WITH SCORE 380156.133
AT ITER 1062 NEW BEST:: SOT 1035456 SOS 572970 HAS SOPS 545735 HAS SOUS 403733 HAS SOUPS 379420 WITH SCORE 379992.97
AT ITER 1070 NEW BEST:: SOT 1035416 SOS 572930 HAS SOPS 545655 HAS SOUS 403693 HAS SOUPS 379340 WITH SCORE 379912.93
AT ITER 1077 NEW BEST:: SOT 1035394 SOS 572842 HAS SOPS 545589 HAS SOUS 403671 HAS SOUPS 379318 WITH SCORE 379890.842
AT ITER 1082 NEW BEST:: SOT 1035207 SOS 572655 HAS SOPS 545402 HAS SOUS 403484 HAS SOUPS 379131 WITH SCORE 379703.655
AT ITER 1087 NEW BEST:: SOT 1035163 SOS 572511 HAS SOPS 545258 HAS SOUS 403387 HAS SOUPS 379034 WITH SCORE 379606.511
AT ITER 1088 NEW BEST:: SOT 1035174 SOS 571937 HAS SOPS 545085 HAS SOUS 402802 HAS SOUPS 378850 WITH SCORE 379421.937
AT ITER 1089 NEW BEST:: SOT 1035165 SOS 571858 HAS SOPS 545006 HAS SOUS 402727 HAS SOUPS 378775 WITH SCORE 379346.858
AT ITER 1092 NEW BEST:: SOT 1035165 SOS 571749 HAS SOPS 544694 HAS SOUS 402618 HAS SOUPS 378463 WITH SCORE 379034.749
AT ITER 1097 NEW BEST:: SOT 1036405 SOS 575810 HAS SOPS 547527 HAS SOUS 401248 HAS SOUPS 376665 WITH SCORE 377240.81
AT ITER 1102 NEW BEST:: SOT 1036178 SOS 575014 HAS SOPS 546958 HAS SOUS 400452 HAS SOUPS 376096 WITH SCORE 376671.014
AT ITER 1107 NEW BEST:: SOT 1035455 SOS 574773 HAS SOPS 546717 HAS SOUS 399949 HAS SOUPS 375593 WITH SCORE 376167.773
AT ITER 1112 NEW BEST:: SOT 1035128 SOS 574349 HAS SOPS 546293 HAS SOUS 399241 HAS SOUPS 374885 WITH SCORE 375459.349
AT ITER 1116 NEW BEST:: SOT 1034428 SOS 573649 HAS SOPS 545593 HAS SOUS 398824 HAS SOUPS 374468 WITH SCORE 375041.649
AT ITER 1129 NEW BEST:: SOT 1034323 SOS 573570 HAS SOPS 545514 HAS SOUS 398689 HAS SOUPS 374333 WITH SCORE 374906.57
AT ITER 1131 NEW BEST:: SOT 1034172 SOS 571863 HAS SOPS 543807 HAS SOUS 398319 HAS SOUPS 373963 WITH SCORE 374534.863
AT ITER 1132 NEW BEST:: SOT 1033767 SOS 571401 HAS SOPS 543345 HAS SOUS 397579 HAS SOUPS 373223 WITH SCORE 373794.401
AT ITER 1133 NEW BEST:: SOT 1032893 SOS 571036 HAS SOPS 542528 HAS SOUS 397873 HAS SOUPS 373065 WITH SCORE 373636.036
AT ITER 1134 NEW BEST:: SOT 1032835 SOS 570891 HAS SOPS 542383 HAS SOUS 397815 HAS SOUPS 373007 WITH SCORE 373577.891
AT ITER 1141 NEW BEST:: SOT 1032835 SOS 565080 HAS SOPS 536572 HAS SOUS 397603 HAS SOUPS 372795 WITH SCORE 373360.08
AT ITER 1143 NEW BEST:: SOT 1032760 SOS 564779 HAS SOPS 536271 HAS SOUS 397302 HAS SOUPS 372494 WITH SCORE 373058.779
AT ITER 1144 NEW BEST:: SOT 1032420 SOS 564244 HAS SOPS 535931 HAS SOUS 396767 HAS SOUPS 372154 WITH SCORE 372718.244
AT ITER 1146 NEW BEST:: SOT 1031772 SOS 563596 HAS SOPS 535067 HAS SOUS 396119 HAS SOUPS 371290 WITH SCORE 371853.596
AT ITER 1151 NEW BEST:: SOT 1031638 SOS 563260 HAS SOPS 534865 HAS SOUS 396050 HAS SOUPS 371288 WITH SCORE 371851.26
AT ITER 1153 NEW BEST:: SOT 1031502 SOS 562979 HAS SOPS 534584 HAS SOUS 395914 HAS SOUPS 371152 WITH SCORE 371714.979
AT ITER 1154 NEW BEST:: SOT 1031035 SOS 562511 HAS SOPS 534116 HAS SOUS 395560 HAS SOUPS 370798 WITH SCORE 371360.511
AT ITER 1157 NEW BEST:: SOT 1031035 SOS 562399 HAS SOPS 534004 HAS SOUS 395542 HAS SOUPS 370780 WITH SCORE 371342.399
AT ITER 1166 NEW BEST:: SOT 1027782 SOS 561488 HAS SOPS 532365 HAS SOUS 393031 HAS SOUPS 367920 WITH SCORE 368481.488
AT ITER 1169 NEW BEST:: SOT 1028012 SOS 560907 HAS SOPS 531784 HAS SOUS 392683 HAS SOUPS 367572 WITH SCORE 368132.907
AT ITER 1174 NEW BEST:: SOT 1027777 SOS 560686 HAS SOPS 531603 HAS SOUS 392462 HAS SOUPS 367391 WITH SCORE 367951.686
AT ITER 1178 NEW BEST:: SOT 1027674 SOS 560583 HAS SOPS 531500 HAS SOUS 392461 HAS SOUPS 367390 WITH SCORE 367950.583
AT ITER 1180 NEW BEST:: SOT 1027563 SOS 560472 HAS SOPS 531342 HAS SOUS 392286 HAS SOUPS 367168 WITH SCORE 367728.472
AT ITER 1184 NEW BEST:: SOT 1027543 SOS 560392 HAS SOPS 531282 HAS SOUS 392226 HAS SOUPS 367128 WITH SCORE 367688.392
AT ITER 1189 NEW BEST:: SOT 1027363 SOS 560006 HAS SOPS 530896 HAS SOUS 391917 HAS SOUPS 366819 WITH SCORE 367379.006
AT ITER 1192 NEW BEST:: SOT 1027329 SOS 559971 HAS SOPS 530861 HAS SOUS 391882 HAS SOUPS 366784 WITH SCORE 367343.971
AT ITER 1197 NEW BEST:: SOT 1027277 SOS 559815 HAS SOPS 530705 HAS SOUS 391778 HAS SOUPS 366680 WITH SCORE 367239.815
AT ITER 1198 NEW BEST:: SOT 1025744 SOS 558282 HAS SOPS 529172 HAS SOUS 390762 HAS SOUPS 365664 WITH SCORE 366222.282
AT ITER 1203 NEW BEST:: SOT 1025744 SOS 557845 HAS SOPS 528880 HAS SOUS 390617 HAS SOUPS 365664 WITH SCORE 366221.845
AT ITER 1206 NEW BEST:: SOT 1025615 SOS 557716 HAS SOPS 528751 HAS SOUS 390488 HAS SOUPS 365535 WITH SCORE 366092.716
AT ITER 1208 NEW BEST:: SOT 1025421 SOS 557058 HAS SOPS 528557 HAS SOUS 389830 HAS SOUPS 365341 WITH SCORE 365898.058
AT ITER 1210 NEW BEST:: SOT 1025537 SOS 557057 HAS SOPS 528556 HAS SOUS 389713 HAS SOUPS 365224 WITH SCORE 365781.057
AT ITER 1212 NEW BEST:: SOT 1025236 SOS 557358 HAS SOPS 528857 HAS SOUS 389689 HAS SOUPS 365200 WITH SCORE 365757.358
AT ITER 1214 NEW BEST:: SOT 1025075 SOS 556693 HAS SOPS 528192 HAS SOUS 389243 HAS SOUPS 364754 WITH SCORE 365310.693
AT ITER 1218 NEW BEST:: SOT 1025074 SOS 556576 HAS SOPS 528075 HAS SOUS 389196 HAS SOUPS 364707 WITH SCORE 365263.576
AT ITER 1223 NEW BEST:: SOT 1024916 SOS 556418 HAS SOPS 527917 HAS SOUS 389196 HAS SOUPS 364707 WITH SCORE 365263.418
AT ITER 1225 NEW BEST:: SOT 1024425 SOS 556311 HAS SOPS 527312 HAS SOUS 389407 HAS SOUPS 364420 WITH SCORE 364976.311
AT ITER 1227 NEW BEST:: SOT 1024567 SOS 556376 HAS SOPS 527157 HAS SOUS 389472 HAS SOUPS 364265 WITH SCORE 364821.376
AT ITER 1229 NEW BEST:: SOT 1023648 SOS 555457 HAS SOPS 526238 HAS SOUS 388886 HAS SOUPS 363679 WITH SCORE 364234.457
AT ITER 1236 NEW BEST:: SOT 1023596 SOS 555405 HAS SOPS 526186 HAS SOUS 388834 HAS SOUPS 363627 WITH SCORE 364182.405
AT ITER 1237 NEW BEST:: SOT 1022968 SOS 554965 HAS SOPS 525746 HAS SOUS 388486 HAS SOUPS 363279 WITH SCORE 363833.965
AT ITER 1238 NEW BEST:: SOT 1022980 SOS 554523 HAS SOPS 525304 HAS SOUS 388447 HAS SOUPS 363240 WITH SCORE 363794.523
AT ITER 1239 NEW BEST:: SOT 1023395 SOS 554647 HAS SOPS 525428 HAS SOUS 388376 HAS SOUPS 363169 WITH SCORE 363723.647
AT ITER 1243 NEW BEST:: SOT 1023015 SOS 554416 HAS SOPS 525048 HAS SOUS 388145 HAS SOUPS 362789 WITH SCORE 363343.416
AT ITER 1246 NEW BEST:: SOT 1022748 SOS 553888 HAS SOPS 524514 HAS SOUS 387878 HAS SOUPS 362516 WITH SCORE 363069.888
AT ITER 1248 NEW BEST:: SOT 1022721 SOS 553860 HAS SOPS 524486 HAS SOUS 387850 HAS SOUPS 362488 WITH SCORE 363041.86
AT ITER 1249 NEW BEST:: SOT 1020850 SOS 553228 HAS SOPS 523446 HAS SOUS 387484 HAS SOUPS 361714 WITH SCORE 362267.228
AT ITER 1250 NEW BEST:: SOT 1020824 SOS 552734 HAS SOPS 522952 HAS SOUS 387386 HAS SOUPS 361616 WITH SCORE 362168.734
AT ITER 1251 NEW BEST:: SOT 1018504 SOS 550640 HAS SOPS 520858 HAS SOUS 387380 HAS SOUPS 361610 WITH SCORE 362160.64
AT ITER 1253 NEW BEST:: SOT 1018355 SOS 550491 HAS SOPS 520709 HAS SOUS 387231 HAS SOUPS 361461 WITH SCORE 362011.491
AT ITER 1256 NEW BEST:: SOT 1018043 SOS 550348 HAS SOPS 520488 HAS SOUS 387221 HAS SOUPS 361373 WITH SCORE 361923.348
AT ITER 1265 NEW BEST:: SOT 1017739 SOS 549258 HAS SOPS 519534 HAS SOUS 386756 HAS SOUPS 361044 WITH SCORE 361593.258
AT ITER 1266 NEW BEST:: SOT 1015938 SOS 547440 HAS SOPS 517716 HAS SOUS 385521 HAS SOUPS 359809 WITH SCORE 360356.44
AT ITER 1269 NEW BEST:: SOT 1015284 SOS 546771 HAS SOPS 517047 HAS SOUS 384547 HAS SOUPS 358835 WITH SCORE 359381.771
AT ITER 1272 NEW BEST:: SOT 1014667 SOS 546154 HAS SOPS 516430 HAS SOUS 384300 HAS SOUPS 358588 WITH SCORE 359134.154
AT ITER 1277 NEW BEST:: SOT 1014667 SOS 545179 HAS SOPS 515455 HAS SOUS 384150 HAS SOUPS 358438 WITH SCORE 358983.179
AT ITER 1286 NEW BEST:: SOT 1014667 SOS 544603 HAS SOPS 514879 HAS SOUS 384052 HAS SOUPS 358340 WITH SCORE 358884.603
AT ITER 1292 NEW BEST:: SOT 1014553 SOS 544489 HAS SOPS 514708 HAS SOUS 383938 HAS SOUPS 358169 WITH SCORE 358713.489
AT ITER 1296 NEW BEST:: SOT 1014553 SOS 544221 HAS SOPS 514708 HAS SOUS 383670 HAS SOUPS 358169 WITH SCORE 358713.221
AT ITER 1298 NEW BEST:: SOT 1014549 SOS 544028 HAS SOPS 514515 HAS SOUS 383477 HAS SOUPS 357976 WITH SCORE 358520.028
AT ITER 1305 NEW BEST:: SOT 1014419 SOS 544789 HAS SOPS 514570 HAS SOUS 384151 HAS SOUPS 357944 WITH SCORE 358488.789
AT ITER 1308 NEW BEST:: SOT 1014419 SOS 544724 HAS SOPS 514505 HAS SOUS 384086 HAS SOUPS 357879 WITH SCORE 358423.724
AT ITER 1312 NEW BEST:: SOT 1014315 SOS 544620 HAS SOPS 514401 HAS SOUS 383916 HAS SOUPS 357709 WITH SCORE 358253.62
AT ITER 1323 NEW BEST:: SOT 1014125 SOS 544217 HAS SOPS 514082 HAS SOUS 383597 HAS SOUPS 357390 WITH SCORE 357934.217
AT ITER 1325 NEW BEST:: SOT 1013235 SOS 543327 HAS SOPS 513192 HAS SOUS 383192 HAS SOUPS 356985 WITH SCORE 357528.327
AT ITER 1329 NEW BEST:: SOT 1013110 SOS 542222 HAS SOPS 512087 HAS SOUS 382763 HAS SOUPS 356556 WITH SCORE 357098.222
AT ITER 1331 NEW BEST:: SOT 1013108 SOS 542113 HAS SOPS 512082 HAS SOUS 382656 HAS SOUPS 356553 WITH SCORE 357095.113
AT ITER 1332 NEW BEST:: SOT 1013107 SOS 541982 HAS SOPS 512015 HAS SOUS 382590 HAS SOUPS 356551 WITH SCORE 357092.982
AT ITER 1335 NEW BEST:: SOT 1014245 SOS 541840 HAS SOPS 511873 HAS SOUS 382348 HAS SOUPS 356309 WITH SCORE 356850.84
AT ITER 1339 NEW BEST:: SOT 1014245 SOS 541969 HAS SOPS 512002 HAS SOUS 382333 HAS SOUPS 356294 WITH SCORE 356835.969
AT ITER 1346 NEW BEST:: SOT 1014239 SOS 541963 HAS SOPS 511996 HAS SOUS 382327 HAS SOUPS 356288 WITH SCORE 356829.963
AT ITER 1351 NEW BEST:: SOT 1013899 SOS 541485 HAS SOPS 511518 HAS SOUS 381941 HAS SOUPS 355902 WITH SCORE 356443.485
AT ITER 1354 NEW BEST:: SOT 1013851 SOS 540993 HAS SOPS 511026 HAS SOUS 381769 HAS SOUPS 355730 WITH SCORE 356270.993
AT ITER 1357 NEW BEST:: SOT 1013857 SOS 540936 HAS SOPS 510957 HAS SOUS 381706 HAS SOUPS 355661 WITH SCORE 356201.936
AT ITER 1362 NEW BEST:: SOT 1013740 SOS 539918 HAS SOPS 509939 HAS SOUS 381221 HAS SOUPS 355176 WITH SCORE 355715.918
AT ITER 1367 NEW BEST:: SOT 1013740 SOS 539859 HAS SOPS 509880 HAS SOUS 381221 HAS SOUPS 355176 WITH SCORE 355715.859
AT ITER 1368 NEW BEST:: SOT 1013514 SOS 539823 HAS SOPS 509844 HAS SOUS 381185 HAS SOUPS 355140 WITH SCORE 355679.823
AT ITER 1375 NEW BEST:: SOT 1013130 SOS 539912 HAS SOPS 509933 HAS SOUS 380798 HAS SOUPS 354753 WITH SCORE 355292.912
AT ITER 1386 NEW BEST:: SOT 1012484 SOS 539397 HAS SOPS 509152 HAS SOUS 380418 HAS SOUPS 354107 WITH SCORE 354646.397
AT ITER 1392 NEW BEST:: SOT 1012469 SOS 539372 HAS SOPS 509127 HAS SOUS 380403 HAS SOUPS 354092 WITH SCORE 354631.372
AT ITER 1393 NEW BEST:: SOT 1012333 SOS 539230 HAS SOPS 508985 HAS SOUS 380329 HAS SOUPS 354018 WITH SCORE 354557.23
AT ITER 1398 NEW BEST:: SOT 1012171 SOS 538955 HAS SOPS 508710 HAS SOUS 380274 HAS SOUPS 353963 WITH SCORE 354501.955
AT ITER 1399 NEW BEST:: SOT 1011847 SOS 538631 HAS SOPS 508386 HAS SOUS 379950 HAS SOUPS 353639 WITH SCORE 354177.631
AT ITER 1400 NEW BEST:: SOT 1011847 SOS 538419 HAS SOPS 508174 HAS SOUS 379844 HAS SOUPS 353533 WITH SCORE 354071.419
AT ITER 1407 NEW BEST:: SOT 1011590 SOS 539176 HAS SOPS 508616 HAS SOUS 379943 HAS SOUPS 353317 WITH SCORE 353856.176
AT ITER 1414 NEW BEST:: SOT 1010635 SOS 538392 HAS SOPS 507502 HAS SOUS 378931 HAS SOUPS 351975 WITH SCORE 352513.392
AT ITER 1424 NEW BEST:: SOT 1011335 SOS 539146 HAS SOPS 507651 HAS SOUS 378973 HAS SOUPS 351519 WITH SCORE 352058.146
AT ITER 1431 NEW BEST:: SOT 1010780 SOS 537508 HAS SOPS 506361 HAS SOUS 377874 HAS SOUPS 350768 WITH SCORE 351305.508
AT ITER 1432 NEW BEST:: SOT 1010374 SOS 537102 HAS SOPS 505955 HAS SOUS 377671 HAS SOUPS 350565 WITH SCORE 351102.102
AT ITER 1440 NEW BEST:: SOT 1010173 SOS 536415 HAS SOPS 505268 HAS SOUS 376818 HAS SOUPS 349712 WITH SCORE 350248.415
AT ITER 1442 NEW BEST:: SOT 1009823 SOS 536298 HAS SOPS 504874 HAS SOUS 376774 HAS SOUPS 349391 WITH SCORE 349927.298
AT ITER 1446 NEW BEST:: SOT 1010041 SOS 536516 HAS SOPS 504874 HAS SOUS 376556 HAS SOUPS 349173 WITH SCORE 349709.516
AT ITER 1453 NEW BEST:: SOT 1010012 SOS 536487 HAS SOPS 504845 HAS SOUS 376527 HAS SOUPS 349144 WITH SCORE 349680.487
AT ITER 1456 NEW BEST:: SOT 1009904 SOS 536457 HAS SOPS 504815 HAS SOUS 376445 HAS SOUPS 349062 WITH SCORE 349598.457
AT ITER 1461 NEW BEST:: SOT 1009904 SOS 536889 HAS SOPS 505247 HAS SOUS 376329 HAS SOUPS 348946 WITH SCORE 349482.889
AT ITER 1467 NEW BEST:: SOT 1009416 SOS 536346 HAS SOPS 504527 HAS SOUS 376018 HAS SOUPS 348458 WITH SCORE 348994.346
AT ITER 1470 NEW BEST:: SOT 1008900 SOS 535137 HAS SOPS 503495 HAS SOUS 375325 HAS SOUPS 347942 WITH SCORE 348477.137
AT ITER 1474 NEW BEST:: SOT 1008400 SOS 534387 HAS SOPS 502745 HAS SOUS 374825 HAS SOUPS 347442 WITH SCORE 347976.387
AT ITER 1475 NEW BEST:: SOT 1008328 SOS 533655 HAS SOPS 502172 HAS SOUS 374438 HAS SOUPS 347100 WITH SCORE 347633.655
AT ITER 1478 NEW BEST:: SOT 1008328 SOS 532977 HAS SOPS 501654 HAS SOUS 374398 HAS SOUPS 347100 WITH SCORE 347632.977
AT ITER 1482 NEW BEST:: SOT 1008138 SOS 532787 HAS SOPS 501464 HAS SOUS 374303 HAS SOUPS 347005 WITH SCORE 347537.787
AT ITER 1493 NEW BEST:: SOT 1007484 SOS 531326 HAS SOPS 500003 HAS SOUS 373496 HAS SOUPS 346198 WITH SCORE 346729.326
AT ITER 1494 NEW BEST:: SOT 1007188 SOS 532396 HAS SOPS 500993 HAS SOUS 373494 HAS SOUPS 346116 WITH SCORE 346648.396
AT ITER 1496 NEW BEST:: SOT 1007188 SOS 532159 HAS SOPS 500848 HAS SOUS 373349 HAS SOUPS 346063 WITH SCORE 346595.159
AT ITER 1498 NEW BEST:: SOT 1007188 SOS 532105 HAS SOPS 500794 HAS SOUS 373295 HAS SOUPS 346009 WITH SCORE 346541.105
AT ITER 1502 NEW BEST:: SOT 1007369 SOS 532286 HAS SOPS 500975 HAS SOUS 373279 HAS SOUPS 345993 WITH SCORE 346525.286
AT ITER 1504 NEW BEST:: SOT 1007197 SOS 531126 HAS SOPS 499898 HAS SOUS 372479 HAS SOUPS 345276 WITH SCORE 345807.126
AT ITER 1506 NEW BEST:: SOT 1007278 SOS 531173 HAS SOPS 499945 HAS SOUS 372428 HAS SOUPS 345225 WITH SCORE 345756.173
AT ITER 1508 NEW BEST:: SOT 1007278 SOS 530667 HAS SOPS 499439 HAS SOUS 372110 HAS SOUPS 344907 WITH SCORE 345437.667
AT ITER 1515 NEW BEST:: SOT 1007154 SOS 530125 HAS SOPS 498897 HAS SOUS 371777 HAS SOUPS 344574 WITH SCORE 345104.125
AT ITER 1535 NEW BEST:: SOT 1007132 SOS 530132 HAS SOPS 498873 HAS SOUS 371775 HAS SOUPS 344541 WITH SCORE 345071.132
AT ITER 1547 NEW BEST:: SOT 1007018 SOS 529013 HAS SOPS 498051 HAS SOUS 371475 HAS SOUPS 344241 WITH SCORE 344770.013
AT ITER 1548 NEW BEST:: SOT 1007070 SOS 528983 HAS SOPS 498021 HAS SOUS 371352 HAS SOUPS 344118 WITH SCORE 344646.983
AT ITER 1558 NEW BEST:: SOT 1007070 SOS 528854 HAS SOPS 497935 HAS SOUS 371266 HAS SOUPS 344075 WITH SCORE 344603.854
AT ITER 1561 NEW BEST:: SOT 1006568 SOS 528682 HAS SOPS 497763 HAS SOUS 371029 HAS SOUPS 343838 WITH SCORE 344366.682
AT ITER 1572 NEW BEST:: SOT 1006053 SOS 528167 HAS SOPS 497248 HAS SOUS 370689 HAS SOUPS 343498 WITH SCORE 344026.167
AT ITER 1574 NEW BEST:: SOT 1006025 SOS 528110 HAS SOPS 497191 HAS SOUS 370660 HAS SOUPS 343469 WITH SCORE 343997.11
AT ITER 1577 NEW BEST:: SOT 1005967 SOS 528052 HAS SOPS 497133 HAS SOUS 370602 HAS SOUPS 343411 WITH SCORE 343939.052
AT ITER 1580 NEW BEST:: SOT 1006157 SOS 528498 HAS SOPS 496869 HAS SOUS 370594 HAS SOUPS 343147 WITH SCORE 343675.498
AT ITER 1587 NEW BEST:: SOT 1006157 SOS 528374 HAS SOPS 496869 HAS SOUS 370470 HAS SOUPS 343147 WITH SCORE 343675.374
AT ITER 1588 NEW BEST:: SOT 1004995 SOS 526323 HAS SOPS 494808 HAS SOUS 368843 HAS SOUPS 341510 WITH SCORE 342036.323
AT ITER 1591 NEW BEST:: SOT 1004995 SOS 526319 HAS SOPS 494804 HAS SOUS 368839 HAS SOUPS 341506 WITH SCORE 342032.319
AT ITER 1592 NEW BEST:: SOT 1005303 SOS 525463 HAS SOPS 494579 HAS SOUS 368140 HAS SOUPS 341438 WITH SCORE 341963.463
AT ITER 1596 NEW BEST:: SOT 1005185 SOS 525049 HAS SOPS 494165 HAS SOUS 368138 HAS SOUPS 341436 WITH SCORE 341961.049
AT ITER 1598 NEW BEST:: SOT 1005103 SOS 524967 HAS SOPS 494083 HAS SOUS 368097 HAS SOUPS 341395 WITH SCORE 341919.967
AT ITER 1600 NEW BEST:: SOT 1005099 SOS 524961 HAS SOPS 494077 HAS SOUS 368091 HAS SOUPS 341389 WITH SCORE 341913.961
AT ITER 1605 NEW BEST:: SOT 1005088 SOS 524906 HAS SOPS 494033 HAS SOUS 368047 HAS SOUPS 341356 WITH SCORE 341880.906
AT ITER 1619 NEW BEST:: SOT 1005087 SOS 525028 HAS SOPS 494155 HAS SOUS 368046 HAS SOUPS 341355 WITH SCORE 341880.028
AT ITER 1635 NEW BEST:: SOT 1004988 SOS 524399 HAS SOPS 493696 HAS SOUS 367628 HAS SOUPS 341107 WITH SCORE 341631.399
AT ITER 1643 NEW BEST:: SOT 1004732 SOS 524459 HAS SOPS 493756 HAS SOUS 367431 HAS SOUPS 340910 WITH SCORE 341434.459
AT ITER 1644 NEW BEST:: SOT 1004732 SOS 523893 HAS SOPS 493190 HAS SOUS 367431 HAS SOUPS 340910 WITH SCORE 341433.893
AT ITER 1646 NEW BEST:: SOT 1004732 SOS 523882 HAS SOPS 493179 HAS SOUS 367431 HAS SOUPS 340910 WITH SCORE 341433.882
AT ITER 1648 NEW BEST:: SOT 1004732 SOS 523874 HAS SOPS 493171 HAS SOUS 367431 HAS SOUPS 340910 WITH SCORE 341433.874
AT ITER 1654 NEW BEST:: SOT 1004677 SOS 523471 HAS SOPS 493116 HAS SOUS 367064 HAS SOUPS 340891 WITH SCORE 341414.471
AT ITER 1659 NEW BEST:: SOT 1004943 SOS 523313 HAS SOPS 492958 HAS SOUS 366953 HAS SOUPS 340780 WITH SCORE 341303.313
AT ITER 1663 NEW BEST:: SOT 1004927 SOS 523265 HAS SOPS 492926 HAS SOUS 366921 HAS SOUPS 340764 WITH SCORE 341287.265
AT ITER 1664 NEW BEST:: SOT 1004635 SOS 522790 HAS SOPS 492451 HAS SOUS 366568 HAS SOUPS 340411 WITH SCORE 340933.79
AT ITER 1666 NEW BEST:: SOT 1003872 SOS 522317 HAS SOPS 491688 HAS SOUS 366385 HAS SOUPS 339938 WITH SCORE 340460.317
AT ITER 1675 NEW BEST:: SOT 1003514 SOS 521467 HAS SOPS 490838 HAS SOUS 365863 HAS SOUPS 339416 WITH SCORE 339937.467
AT ITER 1676 NEW BEST:: SOT 1001453 SOS 518294 HAS SOPS 487410 HAS SOUS 364078 HAS SOUPS 337376 WITH SCORE 337894.294
AT ITER 1678 NEW BEST:: SOT 1001421 SOS 518262 HAS SOPS 487378 HAS SOUS 364001 HAS SOUPS 337299 WITH SCORE 337817.262
AT ITER 1686 NEW BEST:: SOT 1001421 SOS 517816 HAS SOPS 487155 HAS SOUS 364001 HAS SOUPS 337299 WITH SCORE 337816.816
AT ITER 1690 NEW BEST:: SOT 1001418 SOS 517813 HAS SOPS 487152 HAS SOUS 363998 HAS SOUPS 337296 WITH SCORE 337813.813
AT ITER 1693 NEW BEST:: SOT 1001446 SOS 517445 HAS SOPS 486784 HAS SOUS 363894 HAS SOUPS 337192 WITH SCORE 337709.445
AT ITER 1697 NEW BEST:: SOT 999628 SOS 515749 HAS SOPS 485088 HAS SOUS 363822 HAS SOUPS 337120 WITH SCORE 337635.749
AT ITER 1702 NEW BEST:: SOT 999576 SOS 515709 HAS SOPS 485003 HAS SOUS 363789 HAS SOUPS 337042 WITH SCORE 337557.709
AT ITER 1703 NEW BEST:: SOT 999395 SOS 515528 HAS SOPS 484822 HAS SOUS 363608 HAS SOUPS 336861 WITH SCORE 337376.528
AT ITER 1705 NEW BEST:: SOT 999396 SOS 515529 HAS SOPS 484823 HAS SOUS 363491 HAS SOUPS 336744 WITH SCORE 337259.529
AT ITER 1710 NEW BEST:: SOT 999396 SOS 515501 HAS SOPS 484795 HAS SOUS 363477 HAS SOUPS 336730 WITH SCORE 337245.501
AT ITER 1715 NEW BEST:: SOT 999396 SOS 514949 HAS SOPS 484243 HAS SOUS 363162 HAS SOUPS 336415 WITH SCORE 336929.949
AT ITER 1719 NEW BEST:: SOT 999396 SOS 514877 HAS SOPS 484171 HAS SOUS 363162 HAS SOUPS 336415 WITH SCORE 336929.877
AT ITER 1737 NEW BEST:: SOT 999147 SOS 514453 HAS SOPS 483747 HAS SOUS 362770 HAS SOUPS 336023 WITH SCORE 336537.453
AT ITER 1739 NEW BEST:: SOT 999030 SOS 514723 HAS SOPS 483752 HAS SOUS 362554 HAS SOUPS 335807 WITH SCORE 336321.723
AT ITER 1743 NEW BEST:: SOT 1002317 SOS 517700 HAS SOPS 486729 HAS SOUS 362244 HAS SOUPS 335497 WITH SCORE 336014.7
AT ITER 1748 NEW BEST:: SOT 1002307 SOS 517555 HAS SOPS 486584 HAS SOUS 362099 HAS SOUPS 335352 WITH SCORE 335869.555
AT ITER 1753 NEW BEST:: SOT 1002034 SOS 517111 HAS SOPS 486238 HAS SOUS 361867 HAS SOUPS 335120 WITH SCORE 335637.111
AT ITER 1755 NEW BEST:: SOT 999675 SOS 514752 HAS SOPS 483879 HAS SOUS 360856 HAS SOUPS 334109 WITH SCORE 334623.752
AT ITER 1765 NEW BEST:: SOT 999546 SOS 514443 HAS SOPS 483570 HAS SOUS 360643 HAS SOUPS 333896 WITH SCORE 334410.443
AT ITER 1769 NEW BEST:: SOT 999274 SOS 514749 HAS SOPS 483876 HAS SOUS 360441 HAS SOUPS 333694 WITH SCORE 334208.749
AT ITER 1773 NEW BEST:: SOT 998854 SOS 514549 HAS SOPS 483716 HAS SOUS 360006 HAS SOUPS 333299 WITH SCORE 333813.549
AT ITER 1777 NEW BEST:: SOT 998814 SOS 514484 HAS SOPS 483651 HAS SOUS 359981 HAS SOUPS 333274 WITH SCORE 333788.484
AT ITER 1778 NEW BEST:: SOT 998498 SOS 514147 HAS SOPS 483743 HAS SOUS 359879 HAS SOUPS 333172 WITH SCORE 333686.147
AT ITER 1794 NEW BEST:: SOT 998241 SOS 513890 HAS SOPS 483229 HAS SOUS 359622 HAS SOUPS 332658 WITH SCORE 333171.89
AT ITER 1797 NEW BEST:: SOT 998055 SOS 513704 HAS SOPS 482981 HAS SOUS 359560 HAS SOUPS 332534 WITH SCORE 333047.704
AT ITER 1800 NEW BEST:: SOT 997943 SOS 513702 HAS SOPS 482979 HAS SOUS 359558 HAS SOUPS 332532 WITH SCORE 333045.702
AT ITER 1808 NEW BEST:: SOT 997995 SOS 513763 HAS SOPS 482558 HAS SOUS 359662 HAS SOUPS 332154 WITH SCORE 332667.763
AT ITER 1811 NEW BEST:: SOT 997995 SOS 513561 HAS SOPS 482457 HAS SOUS 359561 HAS SOUPS 332154 WITH SCORE 332667.561
AT ITER 1813 NEW BEST:: SOT 997952 SOS 513709 HAS SOPS 482444 HAS SOUS 359684 HAS SOUPS 332116 WITH SCORE 332629.709
AT ITER 1817 NEW BEST:: SOT 997718 SOS 513250 HAS SOPS 482093 HAS SOUS 359450 HAS SOUPS 331882 WITH SCORE 332395.25
AT ITER 1822 NEW BEST:: SOT 997668 SOS 513175 HAS SOPS 482018 HAS SOUS 359400 HAS SOUPS 331832 WITH SCORE 332345.175
AT ITER 1826 NEW BEST:: SOT 997613 SOS 513120 HAS SOPS 481963 HAS SOUS 359345 HAS SOUPS 331777 WITH SCORE 332290.12
AT ITER 1830 NEW BEST:: SOT 997641 SOS 513005 HAS SOPS 481848 HAS SOUS 359230 HAS SOUPS 331662 WITH SCORE 332175.005
AT ITER 1836 NEW BEST:: SOT 997579 SOS 512943 HAS SOPS 481786 HAS SOUS 359168 HAS SOUPS 331600 WITH SCORE 332112.943
AT ITER 1855 NEW BEST:: SOT 997042 SOS 512406 HAS SOPS 481249 HAS SOUS 358810 HAS SOUPS 331242 WITH SCORE 331754.406
AT ITER 1873 NEW BEST:: SOT 996811 SOS 512175 HAS SOPS 480725 HAS SOUS 358487 HAS SOUPS 330718 WITH SCORE 331230.175
AT ITER 1880 NEW BEST:: SOT 996790 SOS 512154 HAS SOPS 480704 HAS SOUS 358487 HAS SOUPS 330718 WITH SCORE 331230.154
AT ITER 1883 NEW BEST:: SOT 996559 SOS 511922 HAS SOPS 480165 HAS SOUS 358438 HAS SOUPS 330362 WITH SCORE 330873.922
AT ITER 1893 NEW BEST:: SOT 996559 SOS 511848 HAS SOPS 480091 HAS SOUS 358401 HAS SOUPS 330325 WITH SCORE 330836.848
AT ITER 1909 NEW BEST:: SOT 996559 SOS 511878 HAS SOPS 480121 HAS SOUS 358371 HAS SOUPS 330295 WITH SCORE 330806.878
AT ITER 1918 NEW BEST:: SOT 996390 SOS 511863 HAS SOPS 480106 HAS SOUS 358356 HAS SOUPS 330280 WITH SCORE 330791.863
AT ITER 1929 NEW BEST:: SOT 996216 SOS 511314 HAS SOPS 479810 HAS SOUS 358095 HAS SOUPS 330158 WITH SCORE 330669.314
AT ITER 1931 NEW BEST:: SOT 996175 SOS 511232 HAS SOPS 479728 HAS SOUS 358054 HAS SOUPS 330117 WITH SCORE 330628.232
AT ITER 1939 NEW BEST:: SOT 996173 SOS 511230 HAS SOPS 479726 HAS SOUS 358052 HAS SOUPS 330115 WITH SCORE 330626.23
AT ITER 1941 NEW BEST:: SOT 996364 SOS 511201 HAS SOPS 479917 HAS SOUS 357803 HAS SOUPS 330086 WITH SCORE 330597.201
AT ITER 1942 NEW BEST:: SOT 996364 SOS 511068 HAS SOPS 479866 HAS SOUS 357752 HAS SOUPS 330076 WITH SCORE 330587.068
AT ITER 1945 NEW BEST:: SOT 995956 SOS 510659 HAS SOPS 479457 HAS SOUS 357516 HAS SOUPS 329840 WITH SCORE 330350.659
AT ITER 1955 NEW BEST:: SOT 995956 SOS 510645 HAS SOPS 479400 HAS SOUS 357502 HAS SOUPS 329783 WITH SCORE 330293.645
AT ITER 1956 NEW BEST:: SOT 995604 SOS 510281 HAS SOPS 479036 HAS SOUS 357138 HAS SOUPS 329419 WITH SCORE 329929.281
AT ITER 1970 NEW BEST:: SOT 994868 SOS 509545 HAS SOPS 478300 HAS SOUS 356547 HAS SOUPS 328828 WITH SCORE 329337.545
AT ITER 1974 NEW BEST:: SOT 994771 SOS 509216 HAS SOPS 478067 HAS SOUS 356353 HAS SOUPS 328730 WITH SCORE 329239.216
AT ITER 1982 NEW BEST:: SOT 994754 SOS 509199 HAS SOPS 478050 HAS SOUS 356336 HAS SOUPS 328713 WITH SCORE 329222.199
AT ITER 1983 NEW BEST:: SOT 994624 SOS 509069 HAS SOPS 477920 HAS SOUS 356271 HAS SOUPS 328648 WITH SCORE 329157.069
AT ITER 1998 NEW BEST:: SOT 994613 SOS 509058 HAS SOPS 477909 HAS SOUS 356260 HAS SOUPS 328637 WITH SCORE 329146.058
AT ITER 2004 NEW BEST:: SOT 994613 SOS 509010 HAS SOPS 477861 HAS SOUS 356236 HAS SOUPS 328613 WITH SCORE 329122.01
AT ITER 2007 NEW BEST:: SOT 994613 SOS 509010 HAS SOPS 477861 HAS SOUS 356059 HAS SOUPS 328436 WITH SCORE 328945.01
AT ITER 2011 NEW BEST:: SOT 994423 SOS 508734 HAS SOPS 477386 HAS SOUS 355973 HAS SOUPS 328151 WITH SCORE 328659.734
AT ITER 2019 NEW BEST:: SOT 994159 SOS 508411 HAS SOPS 476858 HAS SOUS 355914 HAS SOUPS 327887 WITH SCORE 328395.411
AT ITER 2024 NEW BEST:: SOT 994159 SOS 508226 HAS SOPS 476673 HAS SOUS 355914 HAS SOUPS 327887 WITH SCORE 328395.226
AT ITER 2028 NEW BEST:: SOT 994033 SOS 507848 HAS SOPS 476295 HAS SOUS 355872 HAS SOUPS 327845 WITH SCORE 328352.848
AT ITER 2031 NEW BEST:: SOT 993579 SOS 506940 HAS SOPS 475160 HAS SOUS 355418 HAS SOUPS 327164 WITH SCORE 327670.94
AT ITER 2032 NEW BEST:: SOT 993457 SOS 506655 HAS SOPS 474936 HAS SOUS 355255 HAS SOUPS 327062 WITH SCORE 327568.655
AT ITER 2052 NEW BEST:: SOT 993408 SOS 506321 HAS SOPS 474743 HAS SOUS 354970 HAS SOUPS 326918 WITH SCORE 327424.321
AT ITER 2055 NEW BEST:: SOT 993374 SOS 506005 HAS SOPS 474581 HAS SOUS 354688 HAS SOUPS 326790 WITH SCORE 327296.005
AT ITER 2057 NEW BEST:: SOT 993374 SOS 506005 HAS SOPS 474532 HAS SOUS 354688 HAS SOUPS 326741 WITH SCORE 327247.005
AT ITER 2059 NEW BEST:: SOT 993320 SOS 505633 HAS SOPS 474160 HAS SOUS 354580 HAS SOUPS 326633 WITH SCORE 327138.633
AT ITER 2073 NEW BEST:: SOT 993287 SOS 505485 HAS SOPS 473784 HAS SOUS 354432 HAS SOUPS 326257 WITH SCORE 326762.485
AT ITER 2077 NEW BEST:: SOT 992997 SOS 504886 HAS SOPS 473204 HAS SOUS 354058 HAS SOUPS 325883 WITH SCORE 326387.886
AT ITER 2090 NEW BEST:: SOT 992834 SOS 504904 HAS SOPS 473222 HAS SOUS 353792 HAS SOUPS 325617 WITH SCORE 326121.904
AT ITER 2093 NEW BEST:: SOT 992832 SOS 504899 HAS SOPS 473217 HAS SOUS 353789 HAS SOUPS 325614 WITH SCORE 326118.899
AT ITER 2105 NEW BEST:: SOT 992805 SOS 504904 HAS SOPS 473138 HAS SOUS 353762 HAS SOUPS 325503 WITH SCORE 326007.904
AT ITER 2106 NEW BEST:: SOT 992744 SOS 504767 HAS SOPS 473001 HAS SOUS 353597 HAS SOUPS 325338 WITH SCORE 325842.767
AT ITER 2110 NEW BEST:: SOT 992330 SOS 504273 HAS SOPS 472507 HAS SOUS 353202 HAS SOUPS 324943 WITH SCORE 325447.273
AT ITER 2111 NEW BEST:: SOT 991448 SOS 503389 HAS SOPS 471623 HAS SOUS 352723 HAS SOUPS 324464 WITH SCORE 324967.389
AT ITER 2125 NEW BEST:: SOT 991639 SOS 498349 HAS SOPS 466583 HAS SOUS 352401 HAS SOUPS 324142 WITH SCORE 324640.349
AT ITER 2126 NEW BEST:: SOT 991589 SOS 498249 HAS SOPS 466533 HAS SOUS 352301 HAS SOUPS 324092 WITH SCORE 324590.249
AT ITER 2131 NEW BEST:: SOT 991764 SOS 498554 HAS SOPS 466838 HAS SOUS 352283 HAS SOUPS 324074 WITH SCORE 324572.554
AT ITER 2135 NEW BEST:: SOT 991225 SOS 498278 HAS SOPS 466338 HAS SOUS 352205 HAS SOUPS 323772 WITH SCORE 324270.278
AT ITER 2160 NEW BEST:: SOT 991175 SOS 498228 HAS SOPS 466288 HAS SOUS 352055 HAS SOUPS 323622 WITH SCORE 324120.228
AT ITER 2163 NEW BEST:: SOT 991025 SOS 497955 HAS SOPS 466015 HAS SOUS 351932 HAS SOUPS 323499 WITH SCORE 323996.955
AT ITER 2167 NEW BEST:: SOT 990947 SOS 497877 HAS SOPS 465937 HAS SOUS 351854 HAS SOUPS 323421 WITH SCORE 323918.877
AT ITER 2186 NEW BEST:: SOT 986606 SOS 493354 HAS SOPS 461414 HAS SOUS 349633 HAS SOUPS 321200 WITH SCORE 321693.354
AT ITER 2188 NEW BEST:: SOT 986575 SOS 493258 HAS SOPS 461483 HAS SOUS 349437 HAS SOUPS 321169 WITH SCORE 321662.258
AT ITER 2194 NEW BEST:: SOT 986221 SOS 492872 HAS SOPS 461097 HAS SOUS 349083 HAS SOUPS 320815 WITH SCORE 321307.872
AT ITER 2199 NEW BEST:: SOT 986206 SOS 492676 HAS SOPS 461066 HAS SOUS 348887 HAS SOUPS 320784 WITH SCORE 321276.676
AT ITER 2207 NEW BEST:: SOT 986084 SOS 492630 HAS SOPS 460894 HAS SOUS 348815 HAS SOUPS 320586 WITH SCORE 321078.63
AT ITER 2213 NEW BEST:: SOT 986000 SOS 492546 HAS SOPS 460768 HAS SOUS 348773 HAS SOUPS 320502 WITH SCORE 320994.546
AT ITER 2221 NEW BEST:: SOT 985748 SOS 492617 HAS SOPS 460839 HAS SOUS 348521 HAS SOUPS 320250 WITH SCORE 320742.617
AT ITER 2242 NEW BEST:: SOT 985748 SOS 491749 HAS SOPS 460111 HAS SOUS 348479 HAS SOUPS 320243 WITH SCORE 320734.749
AT ITER 2250 NEW BEST:: SOT 986218 SOS 492162 HAS SOPS 460284 HAS SOUS 348587 HAS SOUPS 320111 WITH SCORE 320603.162
AT ITER 2251 NEW BEST:: SOT 985882 SOS 491826 HAS SOPS 459948 HAS SOUS 348502 HAS SOUPS 320026 WITH SCORE 320517.826
AT ITER 2254 NEW BEST:: SOT 985882 SOS 491826 HAS SOPS 459948 HAS SOUS 348482 HAS SOUPS 320006 WITH SCORE 320497.826
AT ITER 2262 NEW BEST:: SOT 985778 SOS 491890 HAS SOPS 459383 HAS SOUS 348869 HAS SOUPS 319764 WITH SCORE 320255.89
AT ITER 2263 NEW BEST:: SOT 985743 SOS 491855 HAS SOPS 459313 HAS SOUS 348834 HAS SOUPS 319694 WITH SCORE 320185.855
AT ITER 2267 NEW BEST:: SOT 985447 SOS 491115 HAS SOPS 458721 HAS SOUS 348390 HAS SOUPS 319398 WITH SCORE 319889.115
AT ITER 2270 NEW BEST:: SOT 985255 SOS 491150 HAS SOPS 458756 HAS SOUS 348233 HAS SOUPS 319241 WITH SCORE 319732.15
AT ITER 2274 NEW BEST:: SOT 985255 SOS 490596 HAS SOPS 458354 HAS SOUS 347831 HAS SOUPS 318991 WITH SCORE 319481.596
AT ITER 2281 NEW BEST:: SOT 985009 SOS 490311 HAS SOPS 458069 HAS SOUS 347669 HAS SOUPS 318829 WITH SCORE 319319.311
AT ITER 2285 NEW BEST:: SOT 984755 SOS 490175 HAS SOPS 457799 HAS SOUS 347399 HAS SOUPS 318559 WITH SCORE 319049.175
AT ITER 2289 NEW BEST:: SOT 984665 SOS 489950 HAS SOPS 457574 HAS SOUS 347264 HAS SOUPS 318424 WITH SCORE 318913.95
AT ITER 2301 NEW BEST:: SOT 984665 SOS 489929 HAS SOPS 457560 HAS SOUS 347250 HAS SOUPS 318417 WITH SCORE 318906.929
AT ITER 2315 NEW BEST:: SOT 984587 SOS 489695 HAS SOPS 457365 HAS SOUS 347133 HAS SOUPS 318339 WITH SCORE 318828.695
AT ITER 2325 NEW BEST:: SOT 982871 SOS 487682 HAS SOPS 454920 HAS SOUS 346290 HAS SOUPS 317716 WITH SCORE 318203.682
AT ITER 2329 NEW BEST:: SOT 981576 SOS 485497 HAS SOPS 452735 HAS SOUS 344983 HAS SOUPS 316409 WITH SCORE 316894.497
AT ITER 2332 NEW BEST:: SOT 981470 SOS 485015 HAS SOPS 452253 HAS SOUS 344368 HAS SOUPS 315794 WITH SCORE 316279.015
AT ITER 2335 NEW BEST:: SOT 981171 SOS 484302 HAS SOPS 451540 HAS SOUS 344017 HAS SOUPS 315443 WITH SCORE 315927.302
AT ITER 2336 NEW BEST:: SOT 979915 SOS 483100 HAS SOPS 450338 HAS SOUS 343024 HAS SOUPS 314450 WITH SCORE 314933.1
AT ITER 2347 NEW BEST:: SOT 980100 SOS 482620 HAS SOPS 449858 HAS SOUS 342897 HAS SOUPS 314323 WITH SCORE 314805.62
AT ITER 2358 NEW BEST:: SOT 980084 SOS 482598 HAS SOPS 449836 HAS SOUS 342881 HAS SOUPS 314307 WITH SCORE 314789.598
AT ITER 2361 NEW BEST:: SOT 980084 SOS 482587 HAS SOPS 449825 HAS SOUS 342879 HAS SOUPS 314305 WITH SCORE 314787.587
AT ITER 2368 NEW BEST:: SOT 979922 SOS 482170 HAS SOPS 449632 HAS SOUS 342727 HAS SOUPS 314265 WITH SCORE 314747.17
AT ITER 2369 NEW BEST:: SOT 979922 SOS 482050 HAS SOPS 449512 HAS SOUS 342727 HAS SOUPS 314265 WITH SCORE 314747.05
AT ITER 2370 NEW BEST:: SOT 979756 SOS 481781 HAS SOPS 449544 HAS SOUS 342348 HAS SOUPS 314187 WITH SCORE 314668.781
AT ITER 2373 NEW BEST:: SOT 979614 SOS 481743 HAS SOPS 449506 HAS SOUS 342193 HAS SOUPS 314032 WITH SCORE 314513.743
AT ITER 2375 NEW BEST:: SOT 979349 SOS 481478 HAS SOPS 449241 HAS SOUS 342104 HAS SOUPS 313943 WITH SCORE 314424.478
AT ITER 2378 NEW BEST:: SOT 979349 SOS 481477 HAS SOPS 449240 HAS SOUS 342103 HAS SOUPS 313942 WITH SCORE 314423.477
AT ITER 2379 NEW BEST:: SOT 979349 SOS 481496 HAS SOPS 449221 HAS SOUS 342122 HAS SOUPS 313923 WITH SCORE 314404.496
AT ITER 2382 NEW BEST:: SOT 978996 SOS 481055 HAS SOPS 448780 HAS SOUS 341681 HAS SOUPS 313482 WITH SCORE 313963.055
AT ITER 2383 NEW BEST:: SOT 978996 SOS 480848 HAS SOPS 448573 HAS SOUS 341562 HAS SOUPS 313363 WITH SCORE 313843.848
AT ITER 2387 NEW BEST:: SOT 978996 SOS 480863 HAS SOPS 448588 HAS SOUS 341492 HAS SOUPS 313293 WITH SCORE 313773.863
AT ITER 2390 NEW BEST:: SOT 979146 SOS 481013 HAS SOPS 448738 HAS SOUS 341380 HAS SOUPS 313181 WITH SCORE 313662.013
AT ITER 2391 NEW BEST:: SOT 979090 SOS 480903 HAS SOPS 448628 HAS SOUS 341373 HAS SOUPS 313174 WITH SCORE 313654.903
AT ITER 2398 NEW BEST:: SOT 978911 SOS 480724 HAS SOPS 448449 HAS SOUS 341245 HAS SOUPS 313046 WITH SCORE 313526.724
AT ITER 2404 NEW BEST:: SOT 978440 SOS 479227 HAS SOPS 447869 HAS SOUS 339938 HAS SOUPS 312656 WITH SCORE 313135.227
AT ITER 2407 NEW BEST:: SOT 978329 SOS 479196 HAS SOPS 447838 HAS SOUS 339907 HAS SOUPS 312625 WITH SCORE 313104.196
AT ITER 2412 NEW BEST:: SOT 978329 SOS 479142 HAS SOPS 447784 HAS SOUS 339907 HAS SOUPS 312625 WITH SCORE 313104.142
AT ITER 2415 NEW BEST:: SOT 978321 SOS 479063 HAS SOPS 447705 HAS SOUS 339898 HAS SOUPS 312616 WITH SCORE 313095.063
AT ITER 2418 NEW BEST:: SOT 978321 SOS 478767 HAS SOPS 447409 HAS SOUS 339898 HAS SOUPS 312616 WITH SCORE 313094.767
AT ITER 2419 NEW BEST:: SOT 978281 SOS 478727 HAS SOPS 447392 HAS SOUS 339816 HAS SOUPS 312557 WITH SCORE 313035.727
AT ITER 2425 NEW BEST:: SOT 978281 SOS 478156 HAS SOPS 446821 HAS SOUS 339442 HAS SOUPS 312183 WITH SCORE 312661.156
AT ITER 2439 NEW BEST:: SOT 978150 SOS 478025 HAS SOPS 446690 HAS SOUS 339311 HAS SOUPS 312052 WITH SCORE 312530.025
AT ITER 2440 NEW BEST:: SOT 978131 SOS 477982 HAS SOPS 446652 HAS SOUS 339273 HAS SOUPS 312014 WITH SCORE 312491.982
AT ITER 2444 NEW BEST:: SOT 978083 SOS 478130 HAS SOPS 446696 HAS SOUS 339305 HAS SOUPS 311942 WITH SCORE 312420.13
AT ITER 2448 NEW BEST:: SOT 978054 SOS 478100 HAS SOPS 446256 HAS SOUS 339680 HAS SOUPS 311907 WITH SCORE 312385.1
AT ITER 2450 NEW BEST:: SOT 978018 SOS 478029 HAS SOPS 446185 HAS SOUS 339574 HAS SOUPS 311801 WITH SCORE 312279.029
AT ITER 2451 NEW BEST:: SOT 978018 SOS 477922 HAS SOPS 446078 HAS SOUS 339507 HAS SOUPS 311734 WITH SCORE 312211.922
AT ITER 2453 NEW BEST:: SOT 978166 SOS 477558 HAS SOPS 445714 HAS SOUS 339497 HAS SOUPS 311724 WITH SCORE 312201.558
AT ITER 2458 NEW BEST:: SOT 977709 SOS 476005 HAS SOPS 444161 HAS SOUS 338556 HAS SOUPS 310783 WITH SCORE 311259.005
AT ITER 2469 NEW BEST:: SOT 977509 SOS 476335 HAS SOPS 444237 HAS SOUS 338585 HAS SOUPS 310740 WITH SCORE 311216.335
AT ITER 2470 NEW BEST:: SOT 977484 SOS 476310 HAS SOPS 444211 HAS SOUS 338572 HAS SOUPS 310726 WITH SCORE 311202.31
AT ITER 2475 NEW BEST:: SOT 976904 SOS 475567 HAS SOPS 443468 HAS SOUS 337829 HAS SOUPS 309983 WITH SCORE 310458.567
AT ITER 2477 NEW BEST:: SOT 976891 SOS 475567 HAS SOPS 443455 HAS SOUS 337829 HAS SOUPS 309970 WITH SCORE 310445.567
AT ITER 2480 NEW BEST:: SOT 976547 SOS 475083 HAS SOPS 442971 HAS SOUS 337398 HAS SOUPS 309539 WITH SCORE 310014.083
AT ITER 2483 NEW BEST:: SOT 976497 SOS 475058 HAS SOPS 442896 HAS SOUS 337398 HAS SOUPS 309489 WITH SCORE 309964.058
AT ITER 2484 NEW BEST:: SOT 976449 SOS 475048 HAS SOPS 442886 HAS SOUS 337388 HAS SOUPS 309479 WITH SCORE 309954.048
AT ITER 2486 NEW BEST:: SOT 976049 SOS 475245 HAS SOPS 443058 HAS SOUS 337208 HAS SOUPS 309286 WITH SCORE 309761.245
AT ITER 2490 NEW BEST:: SOT 975738 SOS 475196 HAS SOPS 443009 HAS SOUS 336786 HAS SOUPS 308864 WITH SCORE 309339.196
AT ITER 2493 NEW BEST:: SOT 975618 SOS 474956 HAS SOPS 442769 HAS SOUS 336666 HAS SOUPS 308744 WITH SCORE 309218.956
AT ITER 2496 NEW BEST:: SOT 975618 SOS 474836 HAS SOPS 442769 HAS SOUS 336666 HAS SOUPS 308744 WITH SCORE 309218.836
AT ITER 2507 NEW BEST:: SOT 975617 SOS 473748 HAS SOPS 442438 HAS SOUS 335907 HAS SOUPS 308742 WITH SCORE 309215.748
AT ITER 2508 NEW BEST:: SOT 975593 SOS 473777 HAS SOPS 442378 HAS SOUS 335960 HAS SOUPS 308706 WITH SCORE 309179.777
AT ITER 2511 NEW BEST:: SOT 975514 SOS 473148 HAS SOPS 441749 HAS SOUS 335798 HAS SOUPS 308544 WITH SCORE 309017.148
AT ITER 2512 NEW BEST:: SOT 975708 SOS 472301 HAS SOPS 441463 HAS SOUS 335237 HAS SOUPS 308544 WITH SCORE 309016.301
AT ITER 2521 NEW BEST:: SOT 969434 SOS 470297 HAS SOPS 438477 HAS SOUS 333137 HAS SOUPS 305684 WITH SCORE 306154.297
AT ITER 2529 NEW BEST:: SOT 969120 SOS 469983 HAS SOPS 438163 HAS SOUS 333027 HAS SOUPS 305574 WITH SCORE 306043.983
AT ITER 2542 NEW BEST:: SOT 969085 SOS 470238 HAS SOPS 438418 HAS SOUS 332946 HAS SOUPS 305493 WITH SCORE 305963.238
AT ITER 2544 NEW BEST:: SOT 969094 SOS 469902 HAS SOPS 438327 HAS SOUS 332465 HAS SOUPS 305257 WITH SCORE 305726.902
AT ITER 2557 NEW BEST:: SOT 968593 SOS 469847 HAS SOPS 437941 HAS SOUS 332405 HAS SOUPS 304866 WITH SCORE 305335.847
AT ITER 2571 NEW BEST:: SOT 968593 SOS 469678 HAS SOPS 437772 HAS SOUS 332236 HAS SOUPS 304697 WITH SCORE 305166.678
AT ITER 2577 NEW BEST:: SOT 968587 SOS 469440 HAS SOPS 437534 HAS SOUS 332111 HAS SOUPS 304572 WITH SCORE 305041.44
AT ITER 2584 NEW BEST:: SOT 968068 SOS 468921 HAS SOPS 437015 HAS SOUS 332036 HAS SOUPS 304497 WITH SCORE 304965.921
AT ITER 2590 NEW BEST:: SOT 967948 SOS 468741 HAS SOPS 436835 HAS SOUS 331916 HAS SOUPS 304377 WITH SCORE 304845.741
AT ITER 2594 NEW BEST:: SOT 967810 SOS 468072 HAS SOPS 436166 HAS SOUS 331562 HAS SOUPS 304023 WITH SCORE 304491.072
AT ITER 2601 NEW BEST:: SOT 967810 SOS 467710 HAS SOPS 436041 HAS SOUS 331200 HAS SOUPS 303898 WITH SCORE 304365.71
AT ITER 2608 NEW BEST:: SOT 968066 SOS 467966 HAS SOPS 436298 HAS SOUS 331168 HAS SOUPS 303867 WITH SCORE 304334.966
AT ITER 2611 NEW BEST:: SOT 968040 SOS 467914 HAS SOPS 436246 HAS SOUS 331129 HAS SOUPS 303828 WITH SCORE 304295.914
AT ITER 2614 NEW BEST:: SOT 967973 SOS 467780 HAS SOPS 436112 HAS SOUS 331062 HAS SOUPS 303761 WITH SCORE 304228.78
AT ITER 2625 NEW BEST:: SOT 967731 SOS 467252 HAS SOPS 435584 HAS SOUS 331018 HAS SOUPS 303717 WITH SCORE 304184.252
AT ITER 2639 NEW BEST:: SOT 967705 SOS 467225 HAS SOPS 435545 HAS SOUS 331004 HAS SOUPS 303691 WITH SCORE 304158.225
AT ITER 2643 NEW BEST:: SOT 967140 SOS 466660 HAS SOPS 435091 HAS SOUS 330608 HAS SOUPS 303406 WITH SCORE 303872.66
AT ITER 2646 NEW BEST:: SOT 967094 SOS 466614 HAS SOPS 435400 HAS SOUS 330212 HAS SOUPS 303365 WITH SCORE 303831.614
AT ITER 2650 NEW BEST:: SOT 964716 SOS 464236 HAS SOPS 433022 HAS SOUS 329472 HAS SOUPS 302625 WITH SCORE 303089.236
AT ITER 2651 NEW BEST:: SOT 964686 SOS 464206 HAS SOPS 432992 HAS SOUS 329442 HAS SOUPS 302595 WITH SCORE 303059.206
AT ITER 2665 NEW BEST:: SOT 964504 SOS 464024 HAS SOPS 432524 HAS SOUS 329260 HAS SOUPS 302127 WITH SCORE 302591.024
AT ITER 2670 NEW BEST:: SOT 964437 SOS 463957 HAS SOPS 432457 HAS SOUS 329193 HAS SOUPS 302060 WITH SCORE 302523.957
AT ITER 2676 NEW BEST:: SOT 964384 SOS 463904 HAS SOPS 432404 HAS SOUS 329145 HAS SOUPS 302012 WITH SCORE 302475.904
AT ITER 2684 NEW BEST:: SOT 964050 SOS 463580 HAS SOPS 432080 HAS SOUS 328582 HAS SOUPS 301449 WITH SCORE 301912.58
AT ITER 2685 NEW BEST:: SOT 963973 SOS 463321 HAS SOPS 431849 HAS SOUS 328561 HAS SOUPS 301435 WITH SCORE 301898.321
AT ITER 2686 NEW BEST:: SOT 963964 SOS 463453 HAS SOPS 431910 HAS SOUS 328628 HAS SOUPS 301431 WITH SCORE 301894.453
AT ITER 2688 NEW BEST:: SOT 963928 SOS 463417 HAS SOPS 431874 HAS SOUS 328628 HAS SOUPS 301431 WITH SCORE 301894.417
AT ITER 2692 NEW BEST:: SOT 963945 SOS 463406 HAS SOPS 431724 HAS SOUS 328703 HAS SOUPS 301367 WITH SCORE 301830.406
AT ITER 2707 NEW BEST:: SOT 963657 SOS 462542 HAS SOPS 431004 HAS SOUS 328271 HAS SOUPS 301079 WITH SCORE 301541.542
AT ITER 2713 NEW BEST:: SOT 963651 SOS 462532 HAS SOPS 430994 HAS SOUS 328263 HAS SOUPS 301071 WITH SCORE 301533.532
AT ITER 2725 NEW BEST:: SOT 963241 SOS 461985 HAS SOPS 430413 HAS SOUS 327908 HAS SOUPS 300682 WITH SCORE 301143.985
AT ITER 2728 NEW BEST:: SOT 963111 SOS 461855 HAS SOPS 430283 HAS SOUS 327593 HAS SOUPS 300367 WITH SCORE 300828.855
AT ITER 2730 NEW BEST:: SOT 962648 SOS 461640 HAS SOPS 429820 HAS SOUS 327626 HAS SOUPS 300152 WITH SCORE 300613.64
AT ITER 2734 NEW BEST:: SOT 962544 SOS 461588 HAS SOPS 429768 HAS SOUS 327574 HAS SOUPS 300100 WITH SCORE 300561.588
AT ITER 2754 NEW BEST:: SOT 962424 SOS 461537 HAS SOPS 429579 HAS SOUS 327643 HAS SOUPS 300031 WITH SCORE 300492.537
AT ITER 2759 NEW BEST:: SOT 962749 SOS 461903 HAS SOPS 429945 HAS SOUS 327260 HAS SOUPS 299648 WITH SCORE 300109.903
AT ITER 2761 NEW BEST:: SOT 962704 SOS 461836 HAS SOPS 429878 HAS SOUS 327238 HAS SOUPS 299626 WITH SCORE 300087.836
AT ITER 2766 NEW BEST:: SOT 962663 SOS 461665 HAS SOPS 429707 HAS SOUS 327176 HAS SOUPS 299564 WITH SCORE 300025.665
AT ITER 2769 NEW BEST:: SOT 962663 SOS 461690 HAS SOPS 429661 HAS SOUS 327201 HAS SOUPS 299518 WITH SCORE 299979.69
AT ITER 2776 NEW BEST:: SOT 962572 SOS 461589 HAS SOPS 429560 HAS SOUS 327170 HAS SOUPS 299487 WITH SCORE 299948.589
AT ITER 2780 NEW BEST:: SOT 962546 SOS 461563 HAS SOPS 429508 HAS SOUS 327118 HAS SOUPS 299435 WITH SCORE 299896.563
AT ITER 2781 NEW BEST:: SOT 961513 SOS 460530 HAS SOPS 428475 HAS SOUS 327009 HAS SOUPS 299326 WITH SCORE 299786.53
AT ITER 2783 NEW BEST:: SOT 960957 SOS 459609 HAS SOPS 427265 HAS SOUS 326650 HAS SOUPS 298678 WITH SCORE 299137.609
AT ITER 2798 NEW BEST:: SOT 960973 SOS 459567 HAS SOPS 427223 HAS SOUS 326640 HAS SOUPS 298668 WITH SCORE 299127.567
AT ITER 2799 NEW BEST:: SOT 960973 SOS 459408 HAS SOPS 427064 HAS SOUS 326640 HAS SOUPS 298668 WITH SCORE 299127.408
AT ITER 2801 NEW BEST:: SOT 960972 SOS 459407 HAS SOPS 427062 HAS SOUS 326639 HAS SOUPS 298666 WITH SCORE 299125.407
AT ITER 2802 NEW BEST:: SOT 960924 SOS 459359 HAS SOPS 427014 HAS SOUS 326615 HAS SOUPS 298642 WITH SCORE 299101.359
AT ITER 2804 NEW BEST:: SOT 960751 SOS 458818 HAS SOPS 426473 HAS SOUS 326258 HAS SOUPS 298285 WITH SCORE 298743.818
AT ITER 2818 NEW BEST:: SOT 960626 SOS 458814 HAS SOPS 426402 HAS SOUS 326254 HAS SOUPS 298214 WITH SCORE 298672.814
AT ITER 2821 NEW BEST:: SOT 960434 SOS 458622 HAS SOPS 426210 HAS SOUS 326168 HAS SOUPS 298128 WITH SCORE 298586.622
AT ITER 2830 NEW BEST:: SOT 960200 SOS 458388 HAS SOPS 425976 HAS SOUS 325934 HAS SOUPS 297894 WITH SCORE 298352.388
AT ITER 2831 NEW BEST:: SOT 960200 SOS 458364 HAS SOPS 425952 HAS SOUS 325934 HAS SOUPS 297894 WITH SCORE 298352.364
AT ITER 2832 NEW BEST:: SOT 967936 SOS 465607 HAS SOPS 432990 HAS SOUS 325332 HAS SOUPS 297189 WITH SCORE 297654.607
AT ITER 2834 NEW BEST:: SOT 967810 SOS 465418 HAS SOPS 432801 HAS SOUS 325206 HAS SOUPS 297063 WITH SCORE 297528.418
AT ITER 2847 NEW BEST:: SOT 967654 SOS 465278 HAS SOPS 432661 HAS SOUS 325154 HAS SOUPS 297011 WITH SCORE 297476.278
AT ITER 2850 NEW BEST:: SOT 967486 SOS 465108 HAS SOPS 432491 HAS SOUS 325040 HAS SOUPS 296897 WITH SCORE 297362.108
AT ITER 2852 NEW BEST:: SOT 967769 SOS 465303 HAS SOPS 432686 HAS SOUS 324952 HAS SOUPS 296809 WITH SCORE 297274.303
AT ITER 2854 NEW BEST:: SOT 967985 SOS 465370 HAS SOPS 432753 HAS SOUS 324870 HAS SOUPS 296727 WITH SCORE 297192.37
AT ITER 2861 NEW BEST:: SOT 967735 SOS 465120 HAS SOPS 432503 HAS SOUS 324459 HAS SOUPS 296316 WITH SCORE 296781.12
AT ITER 2879 NEW BEST:: SOT 967735 SOS 464912 HAS SOPS 432295 HAS SOUS 324251 HAS SOUPS 296108 WITH SCORE 296572.912
AT ITER 2882 NEW BEST:: SOT 967735 SOS 464912 HAS SOPS 432295 HAS SOUS 324211 HAS SOUPS 296068 WITH SCORE 296532.912
AT ITER 2900 NEW BEST:: SOT 976615 SOS 473625 HAS SOPS 440025 HAS SOUS 325043 HAS SOUPS 295917 WITH SCORE 296390.625
AT ITER 2901 NEW BEST:: SOT 976567 SOS 473577 HAS SOPS 439977 HAS SOUS 324921 HAS SOUPS 295795 WITH SCORE 296268.577
AT ITER 2907 NEW BEST:: SOT 976293 SOS 473166 HAS SOPS 439566 HAS SOUS 324751 HAS SOUPS 295625 WITH SCORE 296098.166
AT ITER 2924 NEW BEST:: SOT 976207 SOS 472332 HAS SOPS 438732 HAS SOUS 324361 HAS SOUPS 295235 WITH SCORE 295707.332
AT ITER 2942 NEW BEST:: SOT 975960 SOS 472085 HAS SOPS 438485 HAS SOUS 324114 HAS SOUPS 294988 WITH SCORE 295460.085
AT ITER 2944 NEW BEST:: SOT 975759 SOS 471907 HAS SOPS 438307 HAS SOUS 324105 HAS SOUPS 294979 WITH SCORE 295450.907
AT ITER 2958 NEW BEST:: SOT 975737 SOS 471650 HAS SOPS 438050 HAS SOUS 323838 HAS SOUPS 294712 WITH SCORE 295183.65
AT ITER 2965 NEW BEST:: SOT 975580 SOS 471271 HAS SOPS 437671 HAS SOUS 323607 HAS SOUPS 294481 WITH SCORE 294952.271
AT ITER 2966 NEW BEST:: SOT 975316 SOS 470493 HAS SOPS 437011 HAS SOUS 323343 HAS SOUPS 294217 WITH SCORE 294687.493
AT ITER 2973 NEW BEST:: SOT 975215 SOS 470392 HAS SOPS 436910 HAS SOUS 323242 HAS SOUPS 294116 WITH SCORE 294586.392
AT ITER 2982 NEW BEST:: SOT 975541 SOS 470467 HAS SOPS 436985 HAS SOUS 322824 HAS SOUPS 293698 WITH SCORE 294168.467
AT ITER 2988 NEW BEST:: SOT 975446 SOS 470873 HAS SOPS 437391 HAS SOUS 322807 HAS SOUPS 293681 WITH SCORE 294151.873
AT ITER 3011 NEW BEST:: SOT 975363 SOS 470500 HAS SOPS 436717 HAS SOUS 322434 HAS SOUPS 293007 WITH SCORE 293477.5
AT ITER 3014 NEW BEST:: SOT 975294 SOS 470563 HAS SOPS 436780 HAS SOUS 322303 HAS SOUPS 292876 WITH SCORE 293346.563
AT ITER 3020 NEW BEST:: SOT 978442 SOS 472640 HAS SOPS 439176 HAS SOUS 322115 HAS SOUPS 292820 WITH SCORE 293292.64
AT ITER 3021 NEW BEST:: SOT 978255 SOS 472644 HAS SOPS 439180 HAS SOUS 322069 HAS SOUPS 292774 WITH SCORE 293246.644
AT ITER 3024 NEW BEST:: SOT 978161 SOS 472456 HAS SOPS 438992 HAS SOUS 321975 HAS SOUPS 292680 WITH SCORE 293152.456
AT ITER 3030 NEW BEST:: SOT 978108 SOS 472403 HAS SOPS 438968 HAS SOUS 321922 HAS SOUPS 292656 WITH SCORE 293128.403
AT ITER 3031 NEW BEST:: SOT 977997 SOS 472028 HAS SOPS 438675 HAS SOUS 321679 HAS SOUPS 292495 WITH SCORE 292967.028
AT ITER 3032 NEW BEST:: SOT 977810 SOS 471841 HAS SOPS 438488 HAS SOUS 321305 HAS SOUPS 292121 WITH SCORE 292592.841
AT ITER 3035 NEW BEST:: SOT 977662 SOS 471511 HAS SOPS 438158 HAS SOUS 321157 HAS SOUPS 291973 WITH SCORE 292444.511
AT ITER 3053 NEW BEST:: SOT 977650 SOS 471499 HAS SOPS 438146 HAS SOUS 321133 HAS SOUPS 291949 WITH SCORE 292420.499
AT ITER 3054 NEW BEST:: SOT 977652 SOS 471282 HAS SOPS 438077 HAS SOUS 320914 HAS SOUPS 291878 WITH SCORE 292349.282
AT ITER 3055 NEW BEST:: SOT 977582 SOS 471211 HAS SOPS 438006 HAS SOUS 320843 HAS SOUPS 291807 WITH SCORE 292278.211
AT ITER 3059 NEW BEST:: SOT 977389 SOS 471018 HAS SOPS 437458 HAS SOUS 320812 HAS SOUPS 291421 WITH SCORE 291892.018
AT ITER 3064 NEW BEST:: SOT 977155 SOS 470627 HAS SOPS 437067 HAS SOUS 320589 HAS SOUPS 291198 WITH SCORE 291668.627
AT ITER 3065 NEW BEST:: SOT 977101 SOS 470569 HAS SOPS 437009 HAS SOUS 320531 HAS SOUPS 291140 WITH SCORE 291610.569
AT ITER 3073 NEW BEST:: SOT 977101 SOS 470552 HAS SOPS 437009 HAS SOUS 320514 HAS SOUPS 291140 WITH SCORE 291610.552
AT ITER 3077 NEW BEST:: SOT 977068 SOS 470420 HAS SOPS 436877 HAS SOUS 320415 HAS SOUPS 291041 WITH SCORE 291511.42
AT ITER 3083 NEW BEST:: SOT 978087 SOS 470997 HAS SOPS 436922 HAS SOUS 320872 HAS SOUPS 290966 WITH SCORE 291436.997
AT ITER 3093 NEW BEST:: SOT 978005 SOS 470867 HAS SOPS 436758 HAS SOUS 320838 HAS SOUPS 290898 WITH SCORE 291368.867
AT ITER 3099 NEW BEST:: SOT 978431 SOS 470016 HAS SOPS 436538 HAS SOUS 320193 HAS SOUPS 290884 WITH SCORE 291354.016
AT ITER 3110 NEW BEST:: SOT 977784 SOS 469819 HAS SOPS 436341 HAS SOUS 319788 HAS SOUPS 290479 WITH SCORE 290948.819
AT ITER 3111 NEW BEST:: SOT 977750 SOS 469836 HAS SOPS 436358 HAS SOUS 319754 HAS SOUPS 290445 WITH SCORE 290914.836
AT ITER 3116 NEW BEST:: SOT 977435 SOS 470181 HAS SOPS 436268 HAS SOUS 319874 HAS SOUPS 290130 WITH SCORE 290600.181
AT ITER 3118 NEW BEST:: SOT 977318 SOS 470064 HAS SOPS 436268 HAS SOUS 319757 HAS SOUPS 290130 WITH SCORE 290600.064
AT ITER 3128 NEW BEST:: SOT 977637 SOS 470128 HAS SOPS 436332 HAS SOUS 319749 HAS SOUPS 290122 WITH SCORE 290592.128
AT ITER 3130 NEW BEST:: SOT 977637 SOS 470212 HAS SOPS 436317 HAS SOUS 319833 HAS SOUPS 290107 WITH SCORE 290577.212
AT ITER 3138 NEW BEST:: SOT 977240 SOS 469815 HAS SOPS 435673 HAS SOUS 319235 HAS SOUPS 289463 WITH SCORE 289932.815
AT ITER 3149 NEW BEST:: SOT 977108 SOS 469551 HAS SOPS 435409 HAS SOUS 319037 HAS SOUPS 289265 WITH SCORE 289734.551
AT ITER 3156 NEW BEST:: SOT 977085 SOS 469528 HAS SOPS 435407 HAS SOUS 319014 HAS SOUPS 289263 WITH SCORE 289732.528
AT ITER 3161 NEW BEST:: SOT 974264 SOS 466596 HAS SOPS 432258 HAS SOUS 318469 HAS SOUPS 288501 WITH SCORE 288967.596
AT ITER 3168 NEW BEST:: SOT 974108 SOS 466362 HAS SOPS 432024 HAS SOUS 318391 HAS SOUPS 288423 WITH SCORE 288889.362
AT ITER 3169 NEW BEST:: SOT 974108 SOS 466243 HAS SOPS 431905 HAS SOUS 318272 HAS SOUPS 288304 WITH SCORE 288770.243
AT ITER 3173 NEW BEST:: SOT 973512 SOS 466173 HAS SOPS 431226 HAS SOUS 318285 HAS SOUPS 287708 WITH SCORE 288174.173
AT ITER 3181 NEW BEST:: SOT 973458 SOS 466119 HAS SOPS 431172 HAS SOUS 318231 HAS SOUPS 287654 WITH SCORE 288120.119
AT ITER 3183 NEW BEST:: SOT 973411 SOS 466121 HAS SOPS 431127 HAS SOUS 318184 HAS SOUPS 287560 WITH SCORE 288026.121
AT ITER 3188 NEW BEST:: SOT 973246 SOS 465942 HAS SOPS 430948 HAS SOUS 318032 HAS SOUPS 287408 WITH SCORE 287873.942
AT ITER 3194 NEW BEST:: SOT 973262 SOS 465958 HAS SOPS 430964 HAS SOUS 317994 HAS SOUPS 287370 WITH SCORE 287835.958
AT ITER 3208 NEW BEST:: SOT 973215 SOS 465742 HAS SOPS 430748 HAS SOUS 317825 HAS SOUPS 287201 WITH SCORE 287666.742
AT ITER 3212 NEW BEST:: SOT 973287 SOS 465814 HAS SOPS 430892 HAS SOUS 317752 HAS SOUPS 287200 WITH SCORE 287665.814
AT ITER 3216 NEW BEST:: SOT 972951 SOS 465749 HAS SOPS 430827 HAS SOUS 317709 HAS SOUPS 287157 WITH SCORE 287622.749
AT ITER 3236 NEW BEST:: SOT 972939 SOS 465731 HAS SOPS 430803 HAS SOUS 317703 HAS SOUPS 287145 WITH SCORE 287610.731
AT ITER 3267 NEW BEST:: SOT 972927 SOS 465707 HAS SOPS 430779 HAS SOUS 317691 HAS SOUPS 287133 WITH SCORE 287598.707
AT ITER 3270 NEW BEST:: SOT 972839 SOS 465700 HAS SOPS 430513 HAS SOUS 317684 HAS SOUPS 286867 WITH SCORE 287332.7
AT ITER 3282 NEW BEST:: SOT 972781 SOS 465642 HAS SOPS 430455 HAS SOUS 317655 HAS SOUPS 286838 WITH SCORE 287303.642
AT ITER 3291 NEW BEST:: SOT 972833 SOS 465550 HAS SOPS 430363 HAS SOUS 317601 HAS SOUPS 286784 WITH SCORE 287249.55
AT ITER 3309 NEW BEST:: SOT 972536 SOS 465168 HAS SOPS 429981 HAS SOUS 317547 HAS SOUPS 286730 WITH SCORE 287195.168
AT ITER 3323 NEW BEST:: SOT 972536 SOS 465090 HAS SOPS 429903 HAS SOUS 317469 HAS SOUPS 286652 WITH SCORE 287117.09
AT ITER 3331 NEW BEST:: SOT 972492 SOS 464976 HAS SOPS 429789 HAS SOUS 317383 HAS SOUPS 286566 WITH SCORE 287030.976
AT ITER 3333 NEW BEST:: SOT 972503 SOS 464964 HAS SOPS 429735 HAS SOUS 317317 HAS SOUPS 286458 WITH SCORE 286922.964
AT ITER 3350 NEW BEST:: SOT 972749 SOS 464951 HAS SOPS 429722 HAS SOUS 317208 HAS SOUPS 286349 WITH SCORE 286813.951
AT ITER 3372 NEW BEST:: SOT 973062 SOS 464793 HAS SOPS 429564 HAS SOUS 317207 HAS SOUPS 286348 WITH SCORE 286812.793
AT ITER 3377 NEW BEST:: SOT 973916 SOS 465367 HAS SOPS 430138 HAS SOUS 316500 HAS SOUPS 285641 WITH SCORE 286106.367
AT ITER 3379 NEW BEST:: SOT 973936 SOS 465387 HAS SOPS 430183 HAS SOUS 316467 HAS SOUPS 285633 WITH SCORE 286098.387
AT ITER 3388 NEW BEST:: SOT 973865 SOS 465389 HAS SOPS 430185 HAS SOUS 316386 HAS SOUPS 285552 WITH SCORE 286017.389
AT ITER 3396 NEW BEST:: SOT 973865 SOS 465365 HAS SOPS 430173 HAS SOUS 316374 HAS SOUPS 285552 WITH SCORE 286017.365
AT ITER 3397 NEW BEST:: SOT 973499 SOS 464999 HAS SOPS 429807 HAS SOUS 316249 HAS SOUPS 285427 WITH SCORE 285891.999
AT ITER 3400 NEW BEST:: SOT 973499 SOS 464999 HAS SOPS 429792 HAS SOUS 316249 HAS SOUPS 285412 WITH SCORE 285876.999
AT ITER 3401 NEW BEST:: SOT 973368 SOS 464830 HAS SOPS 429623 HAS SOUS 316155 HAS SOUPS 285318 WITH SCORE 285782.83
AT ITER 3405 NEW BEST:: SOT 973131 SOS 464472 HAS SOPS 429235 HAS SOUS 315883 HAS SOUPS 285016 WITH SCORE 285480.472
AT ITER 3406 NEW BEST:: SOT 972883 SOS 464568 HAS SOPS 429196 HAS SOUS 315883 HAS SOUPS 284881 WITH SCORE 285345.568
AT ITER 3428 NEW BEST:: SOT 972751 SOS 464453 HAS SOPS 428998 HAS SOUS 315834 HAS SOUPS 284749 WITH SCORE 285213.453
AT ITER 3439 NEW BEST:: SOT 972751 SOS 464492 HAS SOPS 428998 HAS SOUS 315685 HAS SOUPS 284561 WITH SCORE 285025.492
AT ITER 3449 NEW BEST:: SOT 972751 SOS 464448 HAS SOPS 428998 HAS SOUS 315641 HAS SOUPS 284561 WITH SCORE 285025.448
AT ITER 3453 NEW BEST:: SOT 972741 SOS 464423 HAS SOPS 428973 HAS SOUS 315626 HAS SOUPS 284546 WITH SCORE 285010.423
AT ITER 3458 NEW BEST:: SOT 972741 SOS 464397 HAS SOPS 428947 HAS SOUS 315600 HAS SOUPS 284520 WITH SCORE 284984.397
AT ITER 3465 NEW BEST:: SOT 972950 SOS 464268 HAS SOPS 428818 HAS SOUS 315471 HAS SOUPS 284391 WITH SCORE 284855.268
AT ITER 3474 NEW BEST:: SOT 972950 SOS 464102 HAS SOPS 428652 HAS SOUS 315471 HAS SOUPS 284391 WITH SCORE 284855.102
AT ITER 3479 NEW BEST:: SOT 972641 SOS 463789 HAS SOPS 428247 HAS SOUS 315222 HAS SOUPS 284050 WITH SCORE 284513.789
AT ITER 3486 NEW BEST:: SOT 972615 SOS 463548 HAS SOPS 428006 HAS SOUS 315141 HAS SOUPS 283969 WITH SCORE 284432.548
AT ITER 3488 NEW BEST:: SOT 972615 SOS 463513 HAS SOPS 427971 HAS SOUS 315106 HAS SOUPS 283934 WITH SCORE 284397.513
AT ITER 3489 NEW BEST:: SOT 971853 SOS 462824 HAS SOPS 427282 HAS SOUS 315042 HAS SOUPS 283870 WITH SCORE 284332.824
AT ITER 3493 NEW BEST:: SOT 971853 SOS 462455 HAS SOPS 426913 HAS SOUS 314919 HAS SOUPS 283747 WITH SCORE 284209.455
AT ITER 3498 NEW BEST:: SOT 971784 SOS 462386 HAS SOPS 426844 HAS SOUS 314850 HAS SOUPS 283678 WITH SCORE 284140.386
AT ITER 3503 NEW BEST:: SOT 971833 SOS 462013 HAS SOPS 426471 HAS SOUS 314777 HAS SOUPS 283605 WITH SCORE 284067.013
AT ITER 3510 NEW BEST:: SOT 971891 SOS 460043 HAS SOPS 424991 HAS SOUS 313729 HAS SOUPS 283047 WITH SCORE 283507.043
AT ITER 3515 NEW BEST:: SOT 971891 SOS 460017 HAS SOPS 424978 HAS SOUS 313716 HAS SOUPS 283047 WITH SCORE 283507.017
AT ITER 3518 NEW BEST:: SOT 971864 SOS 459882 HAS SOPS 424870 HAS SOUS 313635 HAS SOUPS 282993 WITH SCORE 283452.882
AT ITER 3535 NEW BEST:: SOT 971384 SOS 459531 HAS SOPS 424390 HAS SOUS 313548 HAS SOUPS 282777 WITH SCORE 283236.531
AT ITER 3536 NEW BEST:: SOT 971383 SOS 459782 HAS SOPS 424388 HAS SOUS 313799 HAS SOUPS 282775 WITH SCORE 283234.782
AT ITER 3540 NEW BEST:: SOT 971241 SOS 457579 HAS SOPS 422185 HAS SOUS 313797 HAS SOUPS 282773 WITH SCORE 283230.579
AT ITER 3543 NEW BEST:: SOT 971097 SOS 457554 HAS SOPS 422160 HAS SOUS 313760 HAS SOUPS 282736 WITH SCORE 283193.554
AT ITER 3557 NEW BEST:: SOT 970787 SOS 457063 HAS SOPS 421824 HAS SOUS 313579 HAS SOUPS 282555 WITH SCORE 283012.063
AT ITER 3563 NEW BEST:: SOT 970666 SOS 456712 HAS SOPS 421473 HAS SOUS 313458 HAS SOUPS 282434 WITH SCORE 282890.712
AT ITER 3564 NEW BEST:: SOT 970997 SOS 456975 HAS SOPS 421804 HAS SOUS 313379 HAS SOUPS 282423 WITH SCORE 282879.975
AT ITER 3573 NEW BEST:: SOT 970368 SOS 456182 HAS SOPS 420837 HAS SOUS 312868 HAS SOUPS 281738 WITH SCORE 282194.182
AT ITER 3581 NEW BEST:: SOT 970345 SOS 456219 HAS SOPS 420874 HAS SOUS 312845 HAS SOUPS 281715 WITH SCORE 282171.219
AT ITER 3584 NEW BEST:: SOT 968136 SOS 453808 HAS SOPS 418664 HAS SOUS 312407 HAS SOUPS 281478 WITH SCORE 281931.808
AT ITER 3585 NEW BEST:: SOT 968115 SOS 453787 HAS SOPS 418643 HAS SOUS 312393 HAS SOUPS 281464 WITH SCORE 281917.787
AT ITER 3592 NEW BEST:: SOT 968211 SOS 453882 HAS SOPS 418738 HAS SOUS 312392 HAS SOUPS 281463 WITH SCORE 281916.882
AT ITER 3605 NEW BEST:: SOT 968124 SOS 454075 HAS SOPS 418844 HAS SOUS 312445 HAS SOUPS 281429 WITH SCORE 281883.075
AT ITER 3618 NEW BEST:: SOT 968110 SOS 454061 HAS SOPS 418830 HAS SOUS 312416 HAS SOUPS 281400 WITH SCORE 281854.061
AT ITER 3624 NEW BEST:: SOT 968106 SOS 454057 HAS SOPS 418826 HAS SOUS 312414 HAS SOUPS 281398 WITH SCORE 281852.057
AT ITER 3644 NEW BEST:: SOT 967851 SOS 453802 HAS SOPS 418316 HAS SOUS 312159 HAS SOUPS 280888 WITH SCORE 281341.802
AT ITER 3647 NEW BEST:: SOT 967767 SOS 452962 HAS SOPS 417476 HAS SOUS 312033 HAS SOUPS 280762 WITH SCORE 281214.962
AT ITER 3651 NEW BEST:: SOT 967623 SOS 452674 HAS SOPS 417116 HAS SOUS 311889 HAS SOUPS 280546 WITH SCORE 280998.674
AT ITER 3674 NEW BEST:: SOT 967561 SOS 452536 HAS SOPS 416818 HAS SOUS 311751 HAS SOUPS 280248 WITH SCORE 280700.536
AT ITER 3676 NEW BEST:: SOT 967431 SOS 452153 HAS SOPS 416435 HAS SOUS 311498 HAS SOUPS 279995 WITH SCORE 280447.153
AT ITER 3684 NEW BEST:: SOT 967367 SOS 452025 HAS SOPS 416371 HAS SOUS 311370 HAS SOUPS 279931 WITH SCORE 280383.025
AT ITER 3702 NEW BEST:: SOT 967304 SOS 451899 HAS SOPS 416245 HAS SOUS 311181 HAS SOUPS 279742 WITH SCORE 280193.899
AT ITER 3707 NEW BEST:: SOT 967239 SOS 451834 HAS SOPS 416180 HAS SOUS 311116 HAS SOUPS 279677 WITH SCORE 280128.834
AT ITER 3710 NEW BEST:: SOT 966751 SOS 451148 HAS SOPS 415494 HAS SOUS 310562 HAS SOUPS 279123 WITH SCORE 279574.148
AT ITER 3721 NEW BEST:: SOT 966634 SOS 451011 HAS SOPS 415319 HAS SOUS 310461 HAS SOUPS 278984 WITH SCORE 279435.011
AT ITER 3729 NEW BEST:: SOT 966588 SOS 450983 HAS SOPS 415273 HAS SOUS 310465 HAS SOUPS 278970 WITH SCORE 279420.983
AT ITER 3731 NEW BEST:: SOT 966588 SOS 451845 HAS SOPS 415673 HAS SOUS 310865 HAS SOUPS 278908 WITH SCORE 279359.845
AT ITER 3750 NEW BEST:: SOT 966665 SOS 451691 HAS SOPS 415519 HAS SOUS 310865 HAS SOUPS 278908 WITH SCORE 279359.691
AT ITER 3751 NEW BEST:: SOT 966258 SOS 450826 HAS SOPS 414654 HAS SOUS 310791 HAS SOUPS 278834 WITH SCORE 279284.826
AT ITER 3755 NEW BEST:: SOT 966025 SOS 450564 HAS SOPS 414392 HAS SOUS 310399 HAS SOUPS 278442 WITH SCORE 278892.564
AT ITER 3770 NEW BEST:: SOT 965754 SOS 450745 HAS SOPS 414573 HAS SOUS 310262 HAS SOUPS 278305 WITH SCORE 278755.745
AT ITER 3789 NEW BEST:: SOT 965441 SOS 450034 HAS SOPS 413862 HAS SOUS 309817 HAS SOUPS 277860 WITH SCORE 278310.034
AT ITER 3791 NEW BEST:: SOT 965440 SOS 450033 HAS SOPS 413861 HAS SOUS 309816 HAS SOUPS 277859 WITH SCORE 278309.033
AT ITER 3794 NEW BEST:: SOT 964860 SOS 448583 HAS SOPS 412411 HAS SOUS 308946 HAS SOUPS 276989 WITH SCORE 277437.583
AT ITER 3800 NEW BEST:: SOT 964800 SOS 448527 HAS SOPS 412355 HAS SOUS 308903 HAS SOUPS 276946 WITH SCORE 277394.527
AT ITER 3816 NEW BEST:: SOT 964693 SOS 448376 HAS SOPS 412204 HAS SOUS 308752 HAS SOUPS 276795 WITH SCORE 277243.376
AT ITER 3829 NEW BEST:: SOT 964655 SOS 447437 HAS SOPS 411948 HAS SOUS 307772 HAS SOUPS 276498 WITH SCORE 276945.437
AT ITER 3840 NEW BEST:: SOT 964983 SOS 447388 HAS SOPS 411899 HAS SOUS 307762 HAS SOUPS 276488 WITH SCORE 276935.388
AT ITER 3858 NEW BEST:: SOT 964983 SOS 447328 HAS SOPS 411898 HAS SOUS 307702 HAS SOUPS 276487 WITH SCORE 276934.328
AT ITER 3875 NEW BEST:: SOT 964967 SOS 447312 HAS SOPS 411882 HAS SOUS 307702 HAS SOUPS 276487 WITH SCORE 276934.312
AT ITER 3884 NEW BEST:: SOT 964891 SOS 447236 HAS SOPS 411806 HAS SOUS 307626 HAS SOUPS 276411 WITH SCORE 276858.236
AT ITER 3888 NEW BEST:: SOT 965158 SOS 447168 HAS SOPS 411738 HAS SOUS 307625 HAS SOUPS 276410 WITH SCORE 276857.168
AT ITER 3893 NEW BEST:: SOT 965154 SOS 447164 HAS SOPS 411734 HAS SOUS 307621 HAS SOUPS 276406 WITH SCORE 276853.164
AT ITER 3896 NEW BEST:: SOT 964813 SOS 446728 HAS SOPS 411298 HAS SOUS 307254 HAS SOUPS 276039 WITH SCORE 276485.728
AT ITER 3902 NEW BEST:: SOT 964813 SOS 446668 HAS SOPS 411238 HAS SOUS 307194 HAS SOUPS 275979 WITH SCORE 276425.668
AT ITER 3920 NEW BEST:: SOT 964620 SOS 446183 HAS SOPS 410753 HAS SOUS 306709 HAS SOUPS 275494 WITH SCORE 275940.183
AT ITER 3925 NEW BEST:: SOT 964546 SOS 445961 HAS SOPS 410605 HAS SOUS 306561 HAS SOUPS 275420 WITH SCORE 275865.961
AT ITER 3930 NEW BEST:: SOT 964531 SOS 445946 HAS SOPS 410285 HAS SOUS 306531 HAS SOUPS 275085 WITH SCORE 275530.946
AT ITER 3933 NEW BEST:: SOT 964329 SOS 446320 HAS SOPS 410659 HAS SOUS 306469 HAS SOUPS 275023 WITH SCORE 275469.32
AT ITER 3936 NEW BEST:: SOT 964249 SOS 446259 HAS SOPS 410499 HAS SOUS 306389 HAS SOUPS 274844 WITH SCORE 275290.259
AT ITER 3947 NEW BEST:: SOT 966591 SOS 447973 HAS SOPS 412473 HAS SOUS 306373 HAS SOUPS 274828 WITH SCORE 275275.973
AT ITER 3955 NEW BEST:: SOT 966556 SOS 447974 HAS SOPS 412403 HAS SOUS 306409 HAS SOUPS 274793 WITH SCORE 275240.974
AT ITER 3962 NEW BEST:: SOT 966496 SOS 447973 HAS SOPS 412402 HAS SOUS 306336 HAS SOUPS 274720 WITH SCORE 275167.973
AT ITER 3963 NEW BEST:: SOT 966496 SOS 447881 HAS SOPS 412310 HAS SOUS 306244 HAS SOUPS 274628 WITH SCORE 275075.881
AT ITER 3967 NEW BEST:: SOT 966496 SOS 447870 HAS SOPS 412299 HAS SOUS 306244 HAS SOUPS 274628 WITH SCORE 275075.87
AT ITER 3973 NEW BEST:: SOT 966677 SOS 447779 HAS SOPS 412359 HAS SOUS 306095 HAS SOUPS 274603 WITH SCORE 275050.779
AT ITER 3980 NEW BEST:: SOT 966303 SOS 446448 HAS SOPS 411401 HAS SOUS 305138 HAS SOUPS 274019 WITH SCORE 274465.448
AT ITER 3982 NEW BEST:: SOT 964766 SOS 445201 HAS SOPS 410154 HAS SOUS 304487 HAS SOUPS 273368 WITH SCORE 273813.201
AT ITER 3990 NEW BEST:: SOT 964500 SOS 444857 HAS SOPS 409810 HAS SOUS 304143 HAS SOUPS 273024 WITH SCORE 273468.857
AT ITER 3998 NEW BEST:: SOT 964767 SOS 444761 HAS SOPS 409714 HAS SOUS 304061 HAS SOUPS 272942 WITH SCORE 273386.761
AT ITER 4020 NEW BEST:: SOT 964767 SOS 444760 HAS SOPS 409713 HAS SOUS 304061 HAS SOUPS 272942 WITH SCORE 273386.76
AT ITER 4023 NEW BEST:: SOT 964503 SOS 444307 HAS SOPS 409260 HAS SOUS 303748 HAS SOUPS 272629 WITH SCORE 273073.307
AT ITER 4026 NEW BEST:: SOT 964373 SOS 444177 HAS SOPS 409108 HAS SOUS 303726 HAS SOUPS 272585 WITH SCORE 273029.177
AT ITER 4027 NEW BEST:: SOT 964224 SOS 444028 HAS SOPS 408959 HAS SOUS 303381 HAS SOUPS 272240 WITH SCORE 272684.028
AT ITER 4043 NEW BEST:: SOT 964186 SOS 444335 HAS SOPS 409134 HAS SOUS 303462 HAS SOUPS 272189 WITH SCORE 272633.335
AT ITER 4044 NEW BEST:: SOT 968611 SOS 447873 HAS SOPS 412799 HAS SOUS 302934 HAS SOUPS 271788 WITH SCORE 272235.873
AT ITER 4072 NEW BEST:: SOT 968590 SOS 447852 HAS SOPS 412778 HAS SOUS 302923 HAS SOUPS 271777 WITH SCORE 272224.852
AT ITER 4083 NEW BEST:: SOT 968585 SOS 447857 HAS SOPS 412783 HAS SOUS 302918 HAS SOUPS 271772 WITH SCORE 272219.857
AT ITER 4088 NEW BEST:: SOT 968513 SOS 447677 HAS SOPS 412603 HAS SOUS 302810 HAS SOUPS 271664 WITH SCORE 272111.677
AT ITER 4090 NEW BEST:: SOT 968533 SOS 447687 HAS SOPS 412613 HAS SOUS 302800 HAS SOUPS 271654 WITH SCORE 272101.687
AT ITER 4105 NEW BEST:: SOT 968532 SOS 447686 HAS SOPS 412611 HAS SOUS 302799 HAS SOUPS 271652 WITH SCORE 272099.686
AT ITER 4108 NEW BEST:: SOT 968532 SOS 447409 HAS SOPS 412334 HAS SOUS 302622 HAS SOUPS 271475 WITH SCORE 271922.409
AT ITER 4115 NEW BEST:: SOT 968273 SOS 447091 HAS SOPS 412016 HAS SOUS 302526 HAS SOUPS 271379 WITH SCORE 271826.091
AT ITER 4125 NEW BEST:: SOT 968251 SOS 446831 HAS SOPS 411892 HAS SOUS 302288 HAS SOUPS 271277 WITH SCORE 271723.831
AT ITER 4128 NEW BEST:: SOT 968240 SOS 446430 HAS SOPS 411655 HAS SOUS 302113 HAS SOUPS 271266 WITH SCORE 271712.43
AT ITER 4140 NEW BEST:: SOT 968132 SOS 446392 HAS SOPS 411617 HAS SOUS 302067 HAS SOUPS 271220 WITH SCORE 271666.392
AT ITER 4148 NEW BEST:: SOT 968115 SOS 446541 HAS SOPS 411766 HAS SOUS 302050 HAS SOUPS 271203 WITH SCORE 271649.541
AT ITER 4152 NEW BEST:: SOT 968175 SOS 446225 HAS SOPS 411450 HAS SOUS 301907 HAS SOUPS 271060 WITH SCORE 271506.225
AT ITER 4157 NEW BEST:: SOT 967967 SOS 446170 HAS SOPS 411395 HAS SOUS 301874 HAS SOUPS 271027 WITH SCORE 271473.17
AT ITER 4175 NEW BEST:: SOT 967853 SOS 446048 HAS SOPS 411273 HAS SOUS 301866 HAS SOUPS 271019 WITH SCORE 271465.048
AT ITER 4176 NEW BEST:: SOT 967667 SOS 445955 HAS SOPS 411087 HAS SOUS 301773 HAS SOUPS 270833 WITH SCORE 271278.955
AT ITER 4177 NEW BEST:: SOT 967458 SOS 445670 HAS SOPS 410802 HAS SOUS 301292 HAS SOUPS 270352 WITH SCORE 270797.67
AT ITER 4178 NEW BEST:: SOT 967131 SOS 445163 HAS SOPS 410295 HAS SOUS 300965 HAS SOUPS 270025 WITH SCORE 270470.163
AT ITER 4179 NEW BEST:: SOT 967095 SOS 445218 HAS SOPS 410348 HAS SOUS 300931 HAS SOUPS 269989 WITH SCORE 270434.218
AT ITER 4180 NEW BEST:: SOT 966875 SOS 444870 HAS SOPS 409989 HAS SOUS 300681 HAS SOUPS 269728 WITH SCORE 270172.87
AT ITER 4197 NEW BEST:: SOT 966822 SOS 444683 HAS SOPS 409883 HAS SOUS 300561 HAS SOUPS 269689 WITH SCORE 270133.683
AT ITER 4211 NEW BEST:: SOT 965992 SOS 443853 HAS SOPS 409053 HAS SOUS 299949 HAS SOUPS 269077 WITH SCORE 269520.853
AT ITER 4212 NEW BEST:: SOT 965977 SOS 443838 HAS SOPS 409038 HAS SOUS 299934 HAS SOUPS 269062 WITH SCORE 269505.838
AT ITER 4220 NEW BEST:: SOT 965911 SOS 443759 HAS SOPS 408828 HAS SOUS 299933 HAS SOUPS 268930 WITH SCORE 269373.759
AT ITER 4231 NEW BEST:: SOT 965900 SOS 443711 HAS SOPS 408806 HAS SOUS 299885 HAS SOUPS 268908 WITH SCORE 269351.711
AT ITER 4233 NEW BEST:: SOT 965840 SOS 443651 HAS SOPS 408746 HAS SOUS 299759 HAS SOUPS 268782 WITH SCORE 269225.651
AT ITER 4261 NEW BEST:: SOT 965692 SOS 443428 HAS SOPS 408523 HAS SOUS 299757 HAS SOUPS 268780 WITH SCORE 269223.428
AT ITER 4274 NEW BEST:: SOT 965586 SOS 442868 HAS SOPS 407963 HAS SOUS 299422 HAS SOUPS 268445 WITH SCORE 268887.868
AT ITER 4281 NEW BEST:: SOT 965472 SOS 442664 HAS SOPS 407759 HAS SOUS 299308 HAS SOUPS 268331 WITH SCORE 268773.664
AT ITER 4285 NEW BEST:: SOT 965437 SOS 442629 HAS SOPS 407615 HAS SOUS 299273 HAS SOUPS 268187 WITH SCORE 268629.629
AT ITER 4286 NEW BEST:: SOT 965162 SOS 442327 HAS SOPS 407313 HAS SOUS 299080 HAS SOUPS 267994 WITH SCORE 268436.327
AT ITER 4288 NEW BEST:: SOT 964835 SOS 441940 HAS SOPS 406926 HAS SOUS 298693 HAS SOUPS 267607 WITH SCORE 268048.94
AT ITER 4290 NEW BEST:: SOT 964832 SOS 441931 HAS SOPS 406917 HAS SOUS 298689 HAS SOUPS 267603 WITH SCORE 268044.931
AT ITER 4310 NEW BEST:: SOT 964225 SOS 440431 HAS SOPS 405417 HAS SOUS 298011 HAS SOUPS 266925 WITH SCORE 267365.431
AT ITER 4313 NEW BEST:: SOT 964206 SOS 440374 HAS SOPS 405360 HAS SOUS 297973 HAS SOUPS 266887 WITH SCORE 267327.374
AT ITER 4314 NEW BEST:: SOT 964115 SOS 440215 HAS SOPS 405263 HAS SOUS 297944 HAS SOUPS 266858 WITH SCORE 267298.215
AT ITER 4316 NEW BEST:: SOT 964509 SOS 440425 HAS SOPS 405460 HAS SOUS 297550 HAS SOUPS 266464 WITH SCORE 266904.425
AT ITER 4319 NEW BEST:: SOT 964278 SOS 440047 HAS SOPS 405082 HAS SOUS 297487 HAS SOUPS 266401 WITH SCORE 266841.047
AT ITER 4321 NEW BEST:: SOT 964277 SOS 440046 HAS SOPS 405081 HAS SOUS 297486 HAS SOUPS 266400 WITH SCORE 266840.046
AT ITER 4324 NEW BEST:: SOT 964204 SOS 440018 HAS SOPS 404980 HAS SOUS 297533 HAS SOUPS 266374 WITH SCORE 266814.018
AT ITER 4337 NEW BEST:: SOT 963992 SOS 439594 HAS SOPS 404768 HAS SOUS 297321 HAS SOUPS 266374 WITH SCORE 266813.594
AT ITER 4344 NEW BEST:: SOT 963992 SOS 439571 HAS SOPS 404718 HAS SOUS 297298 HAS SOUPS 266324 WITH SCORE 266763.571
AT ITER 4346 NEW BEST:: SOT 964328 SOS 436682 HAS SOPS 401829 HAS SOUS 296872 HAS SOUPS 265898 WITH SCORE 266334.682
AT ITER 4349 NEW BEST:: SOT 964298 SOS 436652 HAS SOPS 401779 HAS SOUS 296852 HAS SOUPS 265858 WITH SCORE 266294.652
AT ITER 4361 NEW BEST:: SOT 964303 SOS 436624 HAS SOPS 401750 HAS SOUS 296830 HAS SOUPS 265835 WITH SCORE 266271.624
AT ITER 4366 NEW BEST:: SOT 964303 SOS 436604 HAS SOPS 401740 HAS SOUS 296810 HAS SOUPS 265815 WITH SCORE 266251.604
AT ITER 4389 NEW BEST:: SOT 964351 SOS 436215 HAS SOPS 401351 HAS SOUS 296705 HAS SOUPS 265710 WITH SCORE 266146.215
AT ITER 4396 NEW BEST:: SOT 964084 SOS 435948 HAS SOPS 401084 HAS SOUS 296438 HAS SOUPS 265443 WITH SCORE 265878.948
AT ITER 4398 NEW BEST:: SOT 963643 SOS 435897 HAS SOPS 401033 HAS SOUS 295905 HAS SOUPS 264910 WITH SCORE 265345.897
AT ITER 4401 NEW BEST:: SOT 964218 SOS 436058 HAS SOPS 401191 HAS SOUS 295615 HAS SOUPS 264617 WITH SCORE 265053.058
AT ITER 4407 NEW BEST:: SOT 964104 SOS 435524 HAS SOPS 400657 HAS SOUS 295361 HAS SOUPS 264363 WITH SCORE 264798.524
AT ITER 4410 NEW BEST:: SOT 963659 SOS 435006 HAS SOPS 400139 HAS SOUS 294916 HAS SOUPS 263918 WITH SCORE 264353.006
AT ITER 4414 NEW BEST:: SOT 963631 SOS 434977 HAS SOPS 400110 HAS SOUS 294887 HAS SOUPS 263889 WITH SCORE 264323.977
AT ITER 4419 NEW BEST:: SOT 963199 SOS 434575 HAS SOPS 399708 HAS SOUS 294625 HAS SOUPS 263627 WITH SCORE 264061.575
AT ITER 4435 NEW BEST:: SOT 968074 SOS 438062 HAS SOPS 403195 HAS SOUS 294319 HAS SOUPS 263321 WITH SCORE 263759.062
AT ITER 4439 NEW BEST:: SOT 968074 SOS 438027 HAS SOPS 403160 HAS SOUS 294284 HAS SOUPS 263286 WITH SCORE 263724.027
AT ITER 4445 NEW BEST:: SOT 968074 SOS 437956 HAS SOPS 403160 HAS SOUS 294284 HAS SOUPS 263286 WITH SCORE 263723.956
AT ITER 4458 NEW BEST:: SOT 968019 SOS 437781 HAS SOPS 402985 HAS SOUS 294137 HAS SOUPS 263139 WITH SCORE 263576.781
AT ITER 4479 NEW BEST:: SOT 967907 SOS 437201 HAS SOPS 402405 HAS SOUS 293981 HAS SOUPS 262983 WITH SCORE 263420.201
AT ITER 4485 NEW BEST:: SOT 967907 SOS 437689 HAS SOPS 402449 HAS SOUS 294247 HAS SOUPS 262805 WITH SCORE 263242.689
AT ITER 4492 NEW BEST:: SOT 967962 SOS 437584 HAS SOPS 402344 HAS SOUS 294142 HAS SOUPS 262700 WITH SCORE 263137.584
AT ITER 4493 NEW BEST:: SOT 967997 SOS 437645 HAS SOPS 402405 HAS SOUS 294128 HAS SOUPS 262686 WITH SCORE 263123.645
AT ITER 4495 NEW BEST:: SOT 967643 SOS 437437 HAS SOPS 401900 HAS SOUS 294123 HAS SOUPS 262384 WITH SCORE 262821.437
AT ITER 4498 NEW BEST:: SOT 967603 SOS 437409 HAS SOPS 401820 HAS SOUS 294152 HAS SOUPS 262361 WITH SCORE 262798.409
AT ITER 4502 NEW BEST:: SOT 967490 SOS 437194 HAS SOPS 401605 HAS SOUS 294039 HAS SOUPS 262248 WITH SCORE 262685.194
AT ITER 4504 NEW BEST:: SOT 967346 SOS 437050 HAS SOPS 401461 HAS SOUS 294039 HAS SOUPS 262248 WITH SCORE 262685.05
AT ITER 4508 NEW BEST:: SOT 966824 SOS 436131 HAS SOPS 400542 HAS SOUS 293642 HAS SOUPS 261851 WITH SCORE 262287.131
AT ITER 4513 NEW BEST:: SOT 966818 SOS 436177 HAS SOPS 400546 HAS SOUS 293678 HAS SOUPS 261845 WITH SCORE 262281.177
AT ITER 4516 NEW BEST:: SOT 966710 SOS 435454 HAS SOPS 400138 HAS SOUS 293255 HAS SOUPS 261737 WITH SCORE 262172.454
AT ITER 4547 NEW BEST:: SOT 966949 SOS 434982 HAS SOPS 399666 HAS SOUS 293022 HAS SOUPS 261504 WITH SCORE 261938.982
AT ITER 4555 NEW BEST:: SOT 966925 SOS 434958 HAS SOPS 399642 HAS SOUS 292998 HAS SOUPS 261480 WITH SCORE 261914.958
AT ITER 4567 NEW BEST:: SOT 966865 SOS 434838 HAS SOPS 399522 HAS SOUS 292998 HAS SOUPS 261480 WITH SCORE 261914.838
AT ITER 4568 NEW BEST:: SOT 966692 SOS 434665 HAS SOPS 399349 HAS SOUS 292825 HAS SOUPS 261307 WITH SCORE 261741.665
AT ITER 4578 NEW BEST:: SOT 966486 SOS 434377 HAS SOPS 398855 HAS SOUS 292619 HAS SOUPS 260895 WITH SCORE 261329.377
AT ITER 4586 NEW BEST:: SOT 965912 SOS 434033 HAS SOPS 398511 HAS SOUS 292485 HAS SOUPS 260761 WITH SCORE 261195.033
AT ITER 4587 NEW BEST:: SOT 965862 SOS 433723 HAS SOPS 398201 HAS SOUS 292332 HAS SOUPS 260608 WITH SCORE 261041.723
AT ITER 4596 NEW BEST:: SOT 965860 SOS 433721 HAS SOPS 398199 HAS SOUS 292332 HAS SOUPS 260608 WITH SCORE 261041.721
AT ITER 4603 NEW BEST:: SOT 965860 SOS 433523 HAS SOPS 398072 HAS SOUS 292205 HAS SOUPS 260552 WITH SCORE 260985.523
AT ITER 4604 NEW BEST:: SOT 965819 SOS 433363 HAS SOPS 397785 HAS SOUS 292250 HAS SOUPS 260470 WITH SCORE 260903.363
AT ITER 4612 NEW BEST:: SOT 966570 SOS 433290 HAS SOPS 397712 HAS SOUS 292212 HAS SOUPS 260432 WITH SCORE 260865.29
AT ITER 4613 NEW BEST:: SOT 966532 SOS 433252 HAS SOPS 397673 HAS SOUS 292174 HAS SOUPS 260393 WITH SCORE 260826.252
AT ITER 4620 NEW BEST:: SOT 966532 SOS 433240 HAS SOPS 397673 HAS SOUS 292162 HAS SOUPS 260393 WITH SCORE 260826.24
AT ITER 4642 NEW BEST:: SOT 966603 SOS 432359 HAS SOPS 397259 HAS SOUS 291606 HAS SOUPS 260304 WITH SCORE 260736.359
AT ITER 4643 NEW BEST:: SOT 966642 SOS 432398 HAS SOPS 397298 HAS SOUS 291604 HAS SOUPS 260302 WITH SCORE 260734.398
AT ITER 4648 NEW BEST:: SOT 966555 SOS 432227 HAS SOPS 397127 HAS SOUS 291433 HAS SOUPS 260131 WITH SCORE 260563.227
AT ITER 4649 NEW BEST:: SOT 966399 SOS 432071 HAS SOPS 396971 HAS SOUS 291277 HAS SOUPS 259975 WITH SCORE 260407.071
AT ITER 4678 NEW BEST:: SOT 966399 SOS 432027 HAS SOPS 396949 HAS SOUS 291255 HAS SOUPS 259975 WITH SCORE 260407.027
AT ITER 4680 NEW BEST:: SOT 966399 SOS 431869 HAS SOPS 396869 HAS SOUS 291176 HAS SOUPS 259974 WITH SCORE 260405.869
AT ITER 4683 NEW BEST:: SOT 965872 SOS 431134 HAS SOPS 396288 HAS SOUS 291286 HAS SOUPS 259866 WITH SCORE 260297.134
AT ITER 4691 NEW BEST:: SOT 965930 SOS 431000 HAS SOPS 396154 HAS SOUS 291105 HAS SOUPS 259685 WITH SCORE 260116.0
AT ITER 4692 NEW BEST:: SOT 965362 SOS 430040 HAS SOPS 395194 HAS SOUS 290834 HAS SOUPS 259414 WITH SCORE 259844.04
AT ITER 4699 NEW BEST:: SOT 964949 SOS 429927 HAS SOPS 394760 HAS SOUS 290421 HAS SOUPS 258680 WITH SCORE 259109.927
AT ITER 4704 NEW BEST:: SOT 964923 SOS 429693 HAS SOPS 394526 HAS SOUS 290265 HAS SOUPS 258524 WITH SCORE 258953.693
AT ITER 4711 NEW BEST:: SOT 964803 SOS 429573 HAS SOPS 394406 HAS SOUS 290253 HAS SOUPS 258512 WITH SCORE 258941.573
AT ITER 4717 NEW BEST:: SOT 964532 SOS 429182 HAS SOPS 394015 HAS SOUS 289982 HAS SOUPS 258241 WITH SCORE 258670.182
AT ITER 4718 NEW BEST:: SOT 964528 SOS 429278 HAS SOPS 394011 HAS SOUS 290078 HAS SOUPS 258237 WITH SCORE 258666.278
AT ITER 4728 NEW BEST:: SOT 964501 SOS 429519 HAS SOPS 394202 HAS SOUS 290101 HAS SOUPS 258210 WITH SCORE 258639.519
AT ITER 4750 NEW BEST:: SOT 964501 SOS 429511 HAS SOPS 394194 HAS SOUS 290101 HAS SOUPS 258210 WITH SCORE 258639.511
AT ITER 4762 NEW BEST:: SOT 964519 SOS 429350 HAS SOPS 394050 HAS SOUS 290021 HAS SOUPS 258147 WITH SCORE 258576.35
AT ITER 4768 NEW BEST:: SOT 964211 SOS 428734 HAS SOPS 393434 HAS SOUS 289965 HAS SOUPS 258091 WITH SCORE 258519.734
AT ITER 4771 NEW BEST:: SOT 964172 SOS 428766 HAS SOPS 393425 HAS SOUS 289967 HAS SOUPS 258052 WITH SCORE 258480.766
AT ITER 4776 NEW BEST:: SOT 964077 SOS 428671 HAS SOPS 393329 HAS SOUS 289966 HAS SOUPS 258050 WITH SCORE 258478.671
AT ITER 4777 NEW BEST:: SOT 964068 SOS 428662 HAS SOPS 393320 HAS SOUS 289962 HAS SOUPS 258046 WITH SCORE 258474.662
AT ITER 4806 NEW BEST:: SOT 963788 SOS 427962 HAS SOPS 392795 HAS SOUS 289542 HAS SOUPS 257801 WITH SCORE 258228.962
AT ITER 4819 NEW BEST:: SOT 963203 SOS 427357 HAS SOPS 392190 HAS SOUS 289324 HAS SOUPS 257583 WITH SCORE 258010.357
AT ITER 4830 NEW BEST:: SOT 963164 SOS 427088 HAS SOPS 391975 HAS SOUS 289159 HAS SOUPS 257472 WITH SCORE 257899.088
AT ITER 4834 NEW BEST:: SOT 963164 SOS 427084 HAS SOPS 391973 HAS SOUS 289157 HAS SOUPS 257472 WITH SCORE 257899.084
AT ITER 4848 NEW BEST:: SOT 962902 SOS 426691 HAS SOPS 391580 HAS SOUS 288895 HAS SOUPS 257210 WITH SCORE 257636.691
AT ITER 4855 NEW BEST:: SOT 962886 SOS 426669 HAS SOPS 391558 HAS SOUS 288881 HAS SOUPS 257196 WITH SCORE 257622.669
AT ITER 4865 NEW BEST:: SOT 962886 SOS 426464 HAS SOPS 391353 HAS SOUS 288840 HAS SOUPS 257155 WITH SCORE 257581.464
AT ITER 4874 NEW BEST:: SOT 962841 SOS 426245 HAS SOPS 391176 HAS SOUS 288708 HAS SOUPS 257065 WITH SCORE 257491.245
AT ITER 4891 NEW BEST:: SOT 962873 SOS 426043 HAS SOPS 390974 HAS SOUS 288584 HAS SOUPS 256941 WITH SCORE 257367.043
AT ITER 4898 NEW BEST:: SOT 962887 SOS 426151 HAS SOPS 390915 HAS SOUS 288678 HAS SOUPS 256868 WITH SCORE 257294.151
AT ITER 4901 NEW BEST:: SOT 962562 SOS 425826 HAS SOPS 390564 HAS SOUS 288521 HAS SOUPS 256685 WITH SCORE 257110.826
AT ITER 4910 NEW BEST:: SOT 962657 SOS 425674 HAS SOPS 390204 HAS SOUS 288369 HAS SOUPS 256325 WITH SCORE 256750.674
AT ITER 4920 NEW BEST:: SOT 962617 SOS 425674 HAS SOPS 390204 HAS SOUS 288315 HAS SOUPS 256271 WITH SCORE 256696.674
AT ITER 4927 NEW BEST:: SOT 962479 SOS 425398 HAS SOPS 389928 HAS SOUS 288108 HAS SOUPS 256064 WITH SCORE 256489.398
AT ITER 4932 NEW BEST:: SOT 962525 SOS 425328 HAS SOPS 389858 HAS SOUS 287992 HAS SOUPS 255948 WITH SCORE 256373.328
AT ITER 4933 NEW BEST:: SOT 962574 SOS 425261 HAS SOPS 389791 HAS SOUS 287983 HAS SOUPS 255939 WITH SCORE 256364.261
AT ITER 4963 NEW BEST:: SOT 962489 SOS 425682 HAS SOPS 390127 HAS SOUS 287990 HAS SOUPS 255861 WITH SCORE 256286.682
AT ITER 4972 NEW BEST:: SOT 962467 SOS 425660 HAS SOPS 390105 HAS SOUS 287990 HAS SOUPS 255861 WITH SCORE 256286.66
AT ITER 4973 NEW BEST:: SOT 962327 SOS 425466 HAS SOPS 389911 HAS SOUS 287936 HAS SOUPS 255807 WITH SCORE 256232.466
AT ITER 4978 NEW BEST:: SOT 961949 SOS 424586 HAS SOPS 389031 HAS SOUS 287592 HAS SOUPS 255463 WITH SCORE 255887.586
AT ITER 4979 NEW BEST:: SOT 961697 SOS 424334 HAS SOPS 388779 HAS SOUS 287340 HAS SOUPS 255211 WITH SCORE 255635.334
AT ITER 4995 NEW BEST:: SOT 961662 SOS 424285 HAS SOPS 388730 HAS SOUS 287326 HAS SOUPS 255197 WITH SCORE 255621.285
Bounds file is: CTLFireability.xml
PROPERTY: Parking-PT-864-CTLFireability-00 ( (EX( (EU( ((potential((tk(P399)>=1)))) , ((potential((tk(P547)>=1) & (tk(P627)>=1)))) )))) | (AG( (AF( (! ((potential((tk(P1135)>=1))))))))) )
PROPERTY: Parking-PT-864-CTLFireability-01 (EF( (! (EF( (! ((potential((tk(P733)>=1))))))))))
PROPERTY: Parking-PT-864-CTLFireability-02 (EF( (AG( ((potential((tk(P331)>=1))))))))
PROPERTY: Parking-PT-864-CTLFireability-03 (AU( (AF( ( ((potential((tk(P969)>=1)))) | ((potential((tk(P797)>=1)))) ))) , (AG( (! ((potential((tk(P1121)>=1) & (tk(P1184)>=1))))))) ))
PROPERTY: Parking-PT-864-CTLFireability-04 (EX( (AF( (! (! ((potential((tk(P441)>=1))))))))))
PROPERTY: Parking-PT-864-CTLFireability-05 ( (! ( ( ( (! ((potential((tk(P679)>=1))))) | ((potential((tk(P829)>=1) & (tk(P916)>=1)))) ) & ( ((potential((tk(P49)>=1)))) | (! ((potential((tk(P340)>=1))))) ) ) & (EG( (! ((potential((tk(P860)>=1) & (tk(P917)>=1))))))) )) & (EU( (EF( ((potential((tk(P876)>=1)))))) , (EG( ((potential((tk(P259)>=1)))))) )) )
PROPERTY: Parking-PT-864-CTLFireability-06 ( (EF( (! ( ((potential((tk(P843)>=1)))) | (! ((potential((tk(P116)>=1) & (tk(P152)>=1))))) )))) | ((potential((tk(P317)>=1) & (tk(P380)>=1)))) )
PROPERTY: Parking-PT-864-CTLFireability-07 (EF( ( (! (! ( ((potential((tk(P441)>=1)))) | ((potential((tk(P1183)>=1)))) ))) | (! ( ( ((potential((tk(P525)>=1)))) & ((potential((tk(P674)>=1) & (tk(P775)>=1)))) ) | (! ((potential((tk(P441)>=1))))) )) )))
PROPERTY: Parking-PT-864-CTLFireability-08 ( ( ((potential((tk(P533)>=1)))) | ( (EX( (! ((potential((tk(P655)>=1))))))) | ( (! ((potential((tk(P165)>=1))))) & ( ( ((potential((tk(P949)>=1) & (tk(P1029)>=1)))) | ((potential((tk(P646)>=1)))) ) | ( ((potential((tk(P599)>=1)))) | ((potential((tk(P930)>=1) & (tk(P1040)>=1)))) ) ) ) ) ) | ( (EG( ((potential((tk(P465)>=1)))))) | (! (AF( ((potential((tk(P473)>=1))))))) ) )
PROPERTY: Parking-PT-864-CTLFireability-09 (AG( (! ( (! ( ((potential((tk(P819)>=1)))) | ((potential((tk(P417)>=1)))) )) & ( ((potential((tk(P1009)>=1)))) & ( ((potential((tk(P149)>=1)))) & ((potential((tk(P269)>=1)))) ) ) ))))
PROPERTY: Parking-PT-864-CTLFireability-10 ( (! (EG( (! ( ((potential((tk(P1051)>=1) & (tk(P971)>=1)))) & ((potential((tk(P709)>=1)))) ))))) & (AG( ( (EF( ((potential((tk(P1182)>=1)))))) | ((potential((tk(P158)>=1) & (tk(P247)>=1)))) ))) )
PROPERTY: Parking-PT-864-CTLFireability-11 ( ( (! (! ((potential((tk(P986)>=1) & (tk(P1051)>=1)))))) & (AG( (AX( ((potential((tk(P299)>=1)))))))) ) | (! ( (AF( ((potential((tk(P38)>=1) & (tk(P898)>=1)))))) | ((potential((tk(P323)>=1)))) )) )
PROPERTY: Parking-PT-864-CTLFireability-12 ( (EF( ( ((potential((tk(P665)>=1) & (tk(P757)>=1)))) & ( ((potential((tk(P953)>=1)))) & ( ((potential((tk(P911)>=1) & (tk(P912)>=1)))) | ((potential((tk(P183)>=1) & (tk(P246)>=1)))) ) ) ))) | (EF( (AX( ( ((potential((tk(P795)>=1)))) & ((potential((tk(P575)>=1)))) ))))) )
PROPERTY: Parking-PT-864-CTLFireability-13 (EF( (EF( (AF( ((potential((tk(P939)>=1) & (tk(P991)>=1))))))))))
PROPERTY: Parking-PT-864-CTLFireability-14 (! ( (AF( ( ( ((potential((tk(P719)>=1) & (tk(P782)>=1)))) & ((potential((tk(P264)>=1) & (tk(P371)>=1)))) ) & ( ((potential((tk(P729)>=1) & (tk(P778)>=1)))) | ((potential((tk(P680)>=1) & (tk(P744)>=1)))) ) ))) | (AF( ((potential((tk(P112)>=1) & (tk(P1036)>=1)))))) ))
PROPERTY: Parking-PT-864-CTLFireability-15 (AG( (AF( (AX( ((potential((tk(P136)>=1) & (tk(P192)>=1))))))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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