Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 3.8K May 14 01:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 01:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 19:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 19:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 13:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 08:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 13 08:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 355K May 12 20:42 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 ShieldPPPs-PT-040A-CTLCardinality-00
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-01
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-02
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-03
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-04
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-05
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-06
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-07
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-08
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-09
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-10
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-11
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-12
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-13
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-14
FORMULA_NAME ShieldPPPs-PT-040A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590446114238

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

GOT IT HERE. BS
Petri model created: 1243 places, 1043 transitions, 4006 arcs.
AT ITER 0 NEW BEST:: SOT 836831 SOS 577011 HAS SOPS 577011 HAS SOUS 430162 HAS SOUPS 430162 WITH SCORE 430739.011
AT ITER 3 NEW BEST:: SOT 836830 SOS 575594 HAS SOPS 575594 HAS SOUS 430137 HAS SOUPS 430137 WITH SCORE 430712.594
AT ITER 14 NEW BEST:: SOT 836869 SOS 572829 HAS SOPS 572829 HAS SOUS 429940 HAS SOUPS 429940 WITH SCORE 430512.829
AT ITER 18 NEW BEST:: SOT 836690 SOS 572684 HAS SOPS 572684 HAS SOUS 429795 HAS SOUPS 429795 WITH SCORE 430367.684
AT ITER 22 NEW BEST:: SOT 836183 SOS 572634 HAS SOPS 572634 HAS SOUS 429745 HAS SOUPS 429745 WITH SCORE 430317.634
AT ITER 25 NEW BEST:: SOT 835986 SOS 571649 HAS SOPS 571649 HAS SOUS 429745 HAS SOUPS 429745 WITH SCORE 430316.649
AT ITER 32 NEW BEST:: SOT 835977 SOS 571640 HAS SOPS 571640 HAS SOUS 429736 HAS SOUPS 429736 WITH SCORE 430307.64
AT ITER 47 NEW BEST:: SOT 835924 SOS 571585 HAS SOPS 571585 HAS SOUS 429681 HAS SOUPS 429681 WITH SCORE 430252.585
AT ITER 56 NEW BEST:: SOT 835668 SOS 571329 HAS SOPS 571329 HAS SOUS 429425 HAS SOUPS 429425 WITH SCORE 429996.329
AT ITER 64 NEW BEST:: SOT 835500 SOS 571161 HAS SOPS 571161 HAS SOUS 429257 HAS SOUPS 429257 WITH SCORE 429828.161
AT ITER 76 NEW BEST:: SOT 835496 SOS 571157 HAS SOPS 571157 HAS SOUS 429253 HAS SOUPS 429253 WITH SCORE 429824.157
AT ITER 89 NEW BEST:: SOT 835255 SOS 571181 HAS SOPS 571181 HAS SOUS 429145 HAS SOUPS 429145 WITH SCORE 429716.181
AT ITER 91 NEW BEST:: SOT 835188 SOS 570846 HAS SOPS 570846 HAS SOUS 429144 HAS SOUPS 429144 WITH SCORE 429714.846
AT ITER 95 NEW BEST:: SOT 835187 SOS 570845 HAS SOPS 570845 HAS SOUS 429143 HAS SOUPS 429143 WITH SCORE 429713.845
AT ITER 96 NEW BEST:: SOT 835042 SOS 570867 HAS SOPS 570867 HAS SOUS 429081 HAS SOUPS 429081 WITH SCORE 429651.867
AT ITER 98 NEW BEST:: SOT 834815 SOS 570640 HAS SOPS 570640 HAS SOUS 428854 HAS SOUPS 428854 WITH SCORE 429424.64
AT ITER 115 NEW BEST:: SOT 834439 SOS 570262 HAS SOPS 570262 HAS SOUS 428476 HAS SOUPS 428476 WITH SCORE 429046.262
AT ITER 121 NEW BEST:: SOT 834095 SOS 569917 HAS SOPS 569917 HAS SOUS 428131 HAS SOUPS 428131 WITH SCORE 428700.917
AT ITER 128 NEW BEST:: SOT 834094 SOS 568542 HAS SOPS 568542 HAS SOUS 428120 HAS SOUPS 428120 WITH SCORE 428688.542
AT ITER 139 NEW BEST:: SOT 834093 SOS 567614 HAS SOPS 567614 HAS SOUS 427933 HAS SOUPS 427933 WITH SCORE 428500.614
AT ITER 142 NEW BEST:: SOT 834089 SOS 567598 HAS SOPS 567598 HAS SOUS 427915 HAS SOUPS 427915 WITH SCORE 428482.598
AT ITER 146 NEW BEST:: SOT 833774 SOS 567281 HAS SOPS 567281 HAS SOUS 427598 HAS SOUPS 427598 WITH SCORE 428165.281
AT ITER 152 NEW BEST:: SOT 833618 SOS 566501 HAS SOPS 566501 HAS SOUS 427596 HAS SOUPS 427596 WITH SCORE 428162.501
AT ITER 175 NEW BEST:: SOT 833342 SOS 566285 HAS SOPS 566285 HAS SOUS 427380 HAS SOUPS 427380 WITH SCORE 427946.285
AT ITER 179 NEW BEST:: SOT 833200 SOS 566143 HAS SOPS 566143 HAS SOUS 427238 HAS SOUPS 427238 WITH SCORE 427804.143
AT ITER 182 NEW BEST:: SOT 833129 SOS 566072 HAS SOPS 566072 HAS SOUS 427167 HAS SOUPS 427167 WITH SCORE 427733.072
AT ITER 189 NEW BEST:: SOT 833096 SOS 566037 HAS SOPS 566037 HAS SOUS 427132 HAS SOUPS 427132 WITH SCORE 427698.037
AT ITER 190 NEW BEST:: SOT 832442 SOS 565538 HAS SOPS 565538 HAS SOUS 426633 HAS SOUPS 426633 WITH SCORE 427198.538
AT ITER 197 NEW BEST:: SOT 832133 SOS 565564 HAS SOPS 565564 HAS SOUS 426491 HAS SOUPS 426491 WITH SCORE 427056.564
AT ITER 203 NEW BEST:: SOT 832026 SOS 565029 HAS SOPS 565029 HAS SOUS 426490 HAS SOUPS 426490 WITH SCORE 427055.029
AT ITER 208 NEW BEST:: SOT 831992 SOS 564961 HAS SOPS 564961 HAS SOUS 426435 HAS SOUPS 426435 WITH SCORE 426999.961
AT ITER 211 NEW BEST:: SOT 831898 SOS 564867 HAS SOPS 564867 HAS SOUS 426341 HAS SOUPS 426341 WITH SCORE 426905.867
AT ITER 218 NEW BEST:: SOT 831737 SOS 564711 HAS SOPS 564711 HAS SOUS 426185 HAS SOUPS 426185 WITH SCORE 426749.711
AT ITER 220 NEW BEST:: SOT 831696 SOS 564668 HAS SOPS 564668 HAS SOUS 426142 HAS SOUPS 426142 WITH SCORE 426706.668
AT ITER 239 NEW BEST:: SOT 831657 SOS 564627 HAS SOPS 564627 HAS SOUS 426101 HAS SOUPS 426101 WITH SCORE 426665.627
AT ITER 248 NEW BEST:: SOT 831361 SOS 564331 HAS SOPS 564331 HAS SOUS 425805 HAS SOUPS 425805 WITH SCORE 426369.331
AT ITER 258 NEW BEST:: SOT 831088 SOS 564134 HAS SOPS 564134 HAS SOUS 425554 HAS SOUPS 425554 WITH SCORE 426118.134
AT ITER 264 NEW BEST:: SOT 830804 SOS 563585 HAS SOPS 563585 HAS SOUS 425137 HAS SOUPS 425137 WITH SCORE 425700.585
AT ITER 275 NEW BEST:: SOT 830799 SOS 563568 HAS SOPS 563568 HAS SOUS 425117 HAS SOUPS 425117 WITH SCORE 425680.568
AT ITER 283 NEW BEST:: SOT 830430 SOS 563199 HAS SOPS 563199 HAS SOUS 424748 HAS SOUPS 424748 WITH SCORE 425311.199
AT ITER 287 NEW BEST:: SOT 830420 SOS 563178 HAS SOPS 563178 HAS SOUS 424720 HAS SOUPS 424720 WITH SCORE 425283.178
AT ITER 290 NEW BEST:: SOT 830420 SOS 563177 HAS SOPS 563177 HAS SOUS 424719 HAS SOUPS 424719 WITH SCORE 425282.177
AT ITER 295 NEW BEST:: SOT 830418 SOS 563175 HAS SOPS 563175 HAS SOUS 424717 HAS SOUPS 424717 WITH SCORE 425280.175
AT ITER 296 NEW BEST:: SOT 830218 SOS 562966 HAS SOPS 562966 HAS SOUS 424501 HAS SOUPS 424501 WITH SCORE 425063.966
AT ITER 304 NEW BEST:: SOT 829956 SOS 562704 HAS SOPS 562704 HAS SOUS 424239 HAS SOUPS 424239 WITH SCORE 424801.704
AT ITER 305 NEW BEST:: SOT 829579 SOS 562327 HAS SOPS 562327 HAS SOUS 423862 HAS SOUPS 423862 WITH SCORE 424424.327
AT ITER 307 NEW BEST:: SOT 829772 SOS 559426 HAS SOPS 559426 HAS SOUS 422881 HAS SOUPS 422881 WITH SCORE 423440.426
AT ITER 315 NEW BEST:: SOT 829555 SOS 559209 HAS SOPS 559209 HAS SOUS 422471 HAS SOUPS 422471 WITH SCORE 423030.209
AT ITER 324 NEW BEST:: SOT 829172 SOS 558825 HAS SOPS 558825 HAS SOUS 422087 HAS SOUPS 422087 WITH SCORE 422645.825
AT ITER 325 NEW BEST:: SOT 829160 SOS 558805 HAS SOPS 558805 HAS SOUS 422056 HAS SOUPS 422056 WITH SCORE 422614.805
AT ITER 329 NEW BEST:: SOT 829158 SOS 556101 HAS SOPS 556101 HAS SOUS 422036 HAS SOUPS 422036 WITH SCORE 422592.101
AT ITER 334 NEW BEST:: SOT 828856 SOS 554591 HAS SOPS 554591 HAS SOUS 422034 HAS SOUPS 422034 WITH SCORE 422588.591
AT ITER 335 NEW BEST:: SOT 828776 SOS 554511 HAS SOPS 554511 HAS SOUS 421954 HAS SOUPS 421954 WITH SCORE 422508.511
AT ITER 337 NEW BEST:: SOT 828681 SOS 554416 HAS SOPS 554416 HAS SOUS 421859 HAS SOUPS 421859 WITH SCORE 422413.416
AT ITER 338 NEW BEST:: SOT 828649 SOS 554353 HAS SOPS 554353 HAS SOUS 421652 HAS SOUPS 421652 WITH SCORE 422206.353
AT ITER 340 NEW BEST:: SOT 827607 SOS 553298 HAS SOPS 553298 HAS SOUS 420597 HAS SOUPS 420597 WITH SCORE 421150.298
AT ITER 346 NEW BEST:: SOT 827300 SOS 552989 HAS SOPS 552989 HAS SOUS 420288 HAS SOUPS 420288 WITH SCORE 420840.989
AT ITER 350 NEW BEST:: SOT 827164 SOS 552309 HAS SOPS 552309 HAS SOUS 420288 HAS SOUPS 420288 WITH SCORE 420840.309
AT ITER 359 NEW BEST:: SOT 827151 SOS 552288 HAS SOPS 552288 HAS SOUS 420255 HAS SOUPS 420255 WITH SCORE 420807.288
AT ITER 368 NEW BEST:: SOT 826826 SOS 551963 HAS SOPS 551963 HAS SOUS 419930 HAS SOUPS 419930 WITH SCORE 420481.963
AT ITER 369 NEW BEST:: SOT 826682 SOS 551819 HAS SOPS 551819 HAS SOUS 419786 HAS SOUPS 419786 WITH SCORE 420337.819
AT ITER 375 NEW BEST:: SOT 826628 SOS 551763 HAS SOPS 551763 HAS SOUS 419730 HAS SOUPS 419730 WITH SCORE 420281.763
AT ITER 378 NEW BEST:: SOT 826468 SOS 551601 HAS SOPS 551601 HAS SOUS 419567 HAS SOUPS 419567 WITH SCORE 420118.601
AT ITER 379 NEW BEST:: SOT 826038 SOS 551169 HAS SOPS 551169 HAS SOUS 419135 HAS SOUPS 419135 WITH SCORE 419686.169
AT ITER 382 NEW BEST:: SOT 825881 SOS 551008 HAS SOPS 551008 HAS SOUS 418961 HAS SOUPS 418961 WITH SCORE 419512.008
AT ITER 389 NEW BEST:: SOT 825867 SOS 550985 HAS SOPS 550985 HAS SOUS 418926 HAS SOUPS 418926 WITH SCORE 419476.985
AT ITER 407 NEW BEST:: SOT 825857 SOS 550973 HAS SOPS 550973 HAS SOUS 418914 HAS SOUPS 418914 WITH SCORE 419464.973
AT ITER 422 NEW BEST:: SOT 825857 SOS 549228 HAS SOPS 549228 HAS SOUS 418898 HAS SOUPS 418898 WITH SCORE 419447.228
AT ITER 423 NEW BEST:: SOT 825856 SOS 549227 HAS SOPS 549227 HAS SOUS 418897 HAS SOUPS 418897 WITH SCORE 419446.227
AT ITER 425 NEW BEST:: SOT 825831 SOS 549202 HAS SOPS 549202 HAS SOUS 418872 HAS SOUPS 418872 WITH SCORE 419421.202
AT ITER 428 NEW BEST:: SOT 825792 SOS 549163 HAS SOPS 549163 HAS SOUS 418833 HAS SOUPS 418833 WITH SCORE 419382.163
AT ITER 434 NEW BEST:: SOT 825447 SOS 547089 HAS SOPS 547089 HAS SOUS 418680 HAS SOUPS 418680 WITH SCORE 419227.089
AT ITER 449 NEW BEST:: SOT 825186 SOS 545784 HAS SOPS 545784 HAS SOUS 418680 HAS SOUPS 418680 WITH SCORE 419225.784
AT ITER 453 NEW BEST:: SOT 824812 SOS 545483 HAS SOPS 545483 HAS SOUS 418349 HAS SOUPS 418349 WITH SCORE 418894.483
AT ITER 455 NEW BEST:: SOT 824572 SOS 545238 HAS SOPS 545238 HAS SOUS 418104 HAS SOUPS 418104 WITH SCORE 418649.238
AT ITER 457 NEW BEST:: SOT 823843 SOS 544507 HAS SOPS 544507 HAS SOUS 417373 HAS SOUPS 417373 WITH SCORE 417917.507
AT ITER 462 NEW BEST:: SOT 822771 SOS 540877 HAS SOPS 540877 HAS SOUS 415569 HAS SOUPS 415569 WITH SCORE 416109.877
AT ITER 464 NEW BEST:: SOT 822608 SOS 540030 HAS SOPS 540030 HAS SOUS 415181 HAS SOUPS 415181 WITH SCORE 415721.03
AT ITER 470 NEW BEST:: SOT 822378 SOS 539800 HAS SOPS 539800 HAS SOUS 414951 HAS SOUPS 414951 WITH SCORE 415490.8
AT ITER 479 NEW BEST:: SOT 822364 SOS 539778 HAS SOPS 539778 HAS SOUS 414916 HAS SOUPS 414916 WITH SCORE 415455.778
AT ITER 495 NEW BEST:: SOT 822052 SOS 539466 HAS SOPS 539466 HAS SOUS 414604 HAS SOUPS 414604 WITH SCORE 415143.466
AT ITER 501 NEW BEST:: SOT 821944 SOS 539188 HAS SOPS 539188 HAS SOUS 413053 HAS SOUPS 413053 WITH SCORE 413592.188
AT ITER 514 NEW BEST:: SOT 821935 SOS 539167 HAS SOPS 539167 HAS SOUS 413025 HAS SOUPS 413025 WITH SCORE 413564.167
AT ITER 516 NEW BEST:: SOT 821840 SOS 539072 HAS SOPS 539072 HAS SOUS 412930 HAS SOUPS 412930 WITH SCORE 413469.072
AT ITER 528 NEW BEST:: SOT 821504 SOS 538470 HAS SOPS 538470 HAS SOUS 412328 HAS SOUPS 412328 WITH SCORE 412866.47
AT ITER 536 NEW BEST:: SOT 821502 SOS 538468 HAS SOPS 538468 HAS SOUS 412326 HAS SOUPS 412326 WITH SCORE 412864.468
AT ITER 537 NEW BEST:: SOT 821188 SOS 537834 HAS SOPS 537834 HAS SOUS 411677 HAS SOUPS 411677 WITH SCORE 412214.834
AT ITER 546 NEW BEST:: SOT 821053 SOS 537159 HAS SOPS 537159 HAS SOUS 411677 HAS SOUPS 411677 WITH SCORE 412214.159
AT ITER 556 NEW BEST:: SOT 820811 SOS 536916 HAS SOPS 536916 HAS SOUS 411434 HAS SOUPS 411434 WITH SCORE 411970.916
AT ITER 567 NEW BEST:: SOT 821409 SOS 535765 HAS SOPS 535765 HAS SOUS 411422 HAS SOUPS 411422 WITH SCORE 411957.765
AT ITER 588 NEW BEST:: SOT 820706 SOS 535109 HAS SOPS 535109 HAS SOUS 410766 HAS SOUPS 410766 WITH SCORE 411301.109
AT ITER 624 NEW BEST:: SOT 820542 SOS 535141 HAS SOPS 535141 HAS SOUS 410699 HAS SOUPS 410699 WITH SCORE 411234.141
AT ITER 636 NEW BEST:: SOT 820162 SOS 534808 HAS SOPS 534808 HAS SOUS 410336 HAS SOUPS 410336 WITH SCORE 410870.808
AT ITER 641 NEW BEST:: SOT 819857 SOS 534503 HAS SOPS 534503 HAS SOUS 410031 HAS SOUPS 410031 WITH SCORE 410565.503
AT ITER 646 NEW BEST:: SOT 819620 SOS 534030 HAS SOPS 534030 HAS SOUS 409558 HAS SOUPS 409558 WITH SCORE 410092.03
AT ITER 649 NEW BEST:: SOT 819346 SOS 533825 HAS SOPS 533825 HAS SOUS 409383 HAS SOUPS 409383 WITH SCORE 409916.825
AT ITER 652 NEW BEST:: SOT 818815 SOS 533294 HAS SOPS 533294 HAS SOUS 408852 HAS SOUPS 408852 WITH SCORE 409385.294
AT ITER 653 NEW BEST:: SOT 818458 SOS 532760 HAS SOPS 532760 HAS SOUS 408318 HAS SOUPS 408318 WITH SCORE 408850.76
AT ITER 657 NEW BEST:: SOT 818453 SOS 532755 HAS SOPS 532755 HAS SOUS 408300 HAS SOUPS 408300 WITH SCORE 408832.755
AT ITER 672 NEW BEST:: SOT 818471 SOS 531765 HAS SOPS 531765 HAS SOUS 407985 HAS SOUPS 407985 WITH SCORE 408516.765
AT ITER 676 NEW BEST:: SOT 818266 SOS 531523 HAS SOPS 531523 HAS SOUS 407743 HAS SOUPS 407743 WITH SCORE 408274.523
AT ITER 680 NEW BEST:: SOT 818257 SOS 529818 HAS SOPS 529818 HAS SOUS 407495 HAS SOUPS 407495 WITH SCORE 408024.818
AT ITER 691 NEW BEST:: SOT 817807 SOS 529122 HAS SOPS 529122 HAS SOUS 406814 HAS SOUPS 406814 WITH SCORE 407343.122
AT ITER 692 NEW BEST:: SOT 817418 SOS 526781 HAS SOPS 526781 HAS SOUS 406814 HAS SOUPS 406814 WITH SCORE 407340.781
AT ITER 698 NEW BEST:: SOT 817222 SOS 525770 HAS SOPS 525770 HAS SOUS 406812 HAS SOUPS 406812 WITH SCORE 407337.77
AT ITER 704 NEW BEST:: SOT 817200 SOS 525748 HAS SOPS 525748 HAS SOUS 406777 HAS SOUPS 406777 WITH SCORE 407302.748
AT ITER 706 NEW BEST:: SOT 817196 SOS 525733 HAS SOPS 525733 HAS SOUS 406760 HAS SOUPS 406760 WITH SCORE 407285.733
AT ITER 710 NEW BEST:: SOT 817007 SOS 524788 HAS SOPS 524788 HAS SOUS 406759 HAS SOUPS 406759 WITH SCORE 407283.788
AT ITER 715 NEW BEST:: SOT 816889 SOS 524198 HAS SOPS 524198 HAS SOUS 406641 HAS SOUPS 406641 WITH SCORE 407165.198
AT ITER 731 NEW BEST:: SOT 816931 SOS 521898 HAS SOPS 521898 HAS SOUS 405245 HAS SOUPS 405245 WITH SCORE 405766.898
AT ITER 733 NEW BEST:: SOT 817173 SOS 521828 HAS SOPS 521828 HAS SOUS 405045 HAS SOUPS 405045 WITH SCORE 405566.828
AT ITER 747 NEW BEST:: SOT 817339 SOS 521438 HAS SOPS 521438 HAS SOUS 404655 HAS SOUPS 404655 WITH SCORE 405176.438
AT ITER 748 NEW BEST:: SOT 817339 SOS 521278 HAS SOPS 521278 HAS SOUS 404655 HAS SOUPS 404655 WITH SCORE 405176.278
AT ITER 751 NEW BEST:: SOT 816904 SOS 521112 HAS SOPS 521112 HAS SOUS 404489 HAS SOUPS 404489 WITH SCORE 405010.112
AT ITER 758 NEW BEST:: SOT 816866 SOS 520603 HAS SOPS 520603 HAS SOUS 403980 HAS SOUPS 403980 WITH SCORE 404500.603
AT ITER 759 NEW BEST:: SOT 816828 SOS 520563 HAS SOPS 520563 HAS SOUS 403940 HAS SOUPS 403940 WITH SCORE 404460.563
AT ITER 766 NEW BEST:: SOT 816617 SOS 520351 HAS SOPS 520351 HAS SOUS 403728 HAS SOUPS 403728 WITH SCORE 404248.351
AT ITER 769 NEW BEST:: SOT 816180 SOS 519909 HAS SOPS 519909 HAS SOUS 403286 HAS SOUPS 403286 WITH SCORE 403805.909
AT ITER 772 NEW BEST:: SOT 816152 SOS 519867 HAS SOPS 519867 HAS SOUS 403244 HAS SOUPS 403244 WITH SCORE 403763.867
AT ITER 774 NEW BEST:: SOT 815888 SOS 518284 HAS SOPS 518284 HAS SOUS 402981 HAS SOUPS 402981 WITH SCORE 403499.284
AT ITER 776 NEW BEST:: SOT 815673 SOS 518194 HAS SOPS 518194 HAS SOUS 402835 HAS SOUPS 402835 WITH SCORE 403353.194
AT ITER 778 NEW BEST:: SOT 815380 SOS 517901 HAS SOPS 517901 HAS SOUS 402542 HAS SOUPS 402542 WITH SCORE 403059.901
AT ITER 780 NEW BEST:: SOT 815380 SOS 517671 HAS SOPS 517671 HAS SOUS 402312 HAS SOUPS 402312 WITH SCORE 402829.671
AT ITER 786 NEW BEST:: SOT 815478 SOS 517446 HAS SOPS 517446 HAS SOUS 402087 HAS SOUPS 402087 WITH SCORE 402604.446
AT ITER 787 NEW BEST:: SOT 815477 SOS 517443 HAS SOPS 517443 HAS SOUS 402084 HAS SOUPS 402084 WITH SCORE 402601.443
AT ITER 799 NEW BEST:: SOT 815071 SOS 515869 HAS SOPS 515869 HAS SOUS 401447 HAS SOUPS 401447 WITH SCORE 401962.869
AT ITER 806 NEW BEST:: SOT 814584 SOS 513434 HAS SOPS 513434 HAS SOUS 401446 HAS SOUPS 401446 WITH SCORE 401959.434
AT ITER 809 NEW BEST:: SOT 814265 SOS 513115 HAS SOPS 513115 HAS SOUS 401127 HAS SOUPS 401127 WITH SCORE 401640.115
AT ITER 817 NEW BEST:: SOT 813969 SOS 512819 HAS SOPS 512819 HAS SOUS 400831 HAS SOUPS 400831 WITH SCORE 401343.819
AT ITER 822 NEW BEST:: SOT 813450 SOS 512335 HAS SOPS 512335 HAS SOUS 400330 HAS SOUPS 400330 WITH SCORE 400842.335
AT ITER 825 NEW BEST:: SOT 813051 SOS 511936 HAS SOPS 511936 HAS SOUS 399931 HAS SOUPS 399931 WITH SCORE 400442.936
AT ITER 834 NEW BEST:: SOT 812389 SOS 511274 HAS SOPS 511274 HAS SOUS 399269 HAS SOUPS 399269 WITH SCORE 399780.274
AT ITER 853 NEW BEST:: SOT 812962 SOS 509058 HAS SOPS 509058 HAS SOUS 398900 HAS SOUPS 398900 WITH SCORE 399409.058
AT ITER 857 NEW BEST:: SOT 812962 SOS 508429 HAS SOPS 508429 HAS SOUS 398873 HAS SOUPS 398873 WITH SCORE 399381.429
AT ITER 862 NEW BEST:: SOT 812783 SOS 507537 HAS SOPS 507537 HAS SOUS 398772 HAS SOUPS 398772 WITH SCORE 399279.537
AT ITER 871 NEW BEST:: SOT 812760 SOS 507422 HAS SOPS 507422 HAS SOUS 398772 HAS SOUPS 398772 WITH SCORE 399279.422
AT ITER 873 NEW BEST:: SOT 812925 SOS 507225 HAS SOPS 507225 HAS SOUS 398771 HAS SOUPS 398771 WITH SCORE 399278.225
AT ITER 879 NEW BEST:: SOT 812925 SOS 507485 HAS SOPS 507485 HAS SOUS 398768 HAS SOUPS 398768 WITH SCORE 399275.485
AT ITER 882 NEW BEST:: SOT 812914 SOS 507474 HAS SOPS 507474 HAS SOUS 398757 HAS SOUPS 398757 WITH SCORE 399264.474
AT ITER 891 NEW BEST:: SOT 812702 SOS 506042 HAS SOPS 506042 HAS SOUS 397372 HAS SOUPS 397372 WITH SCORE 397878.042
AT ITER 893 NEW BEST:: SOT 812702 SOS 506041 HAS SOPS 506041 HAS SOUS 397371 HAS SOUPS 397371 WITH SCORE 397877.041
AT ITER 900 NEW BEST:: SOT 811848 SOS 505184 HAS SOPS 505184 HAS SOUS 396514 HAS SOUPS 396514 WITH SCORE 397019.184
AT ITER 905 NEW BEST:: SOT 811209 SOS 504545 HAS SOPS 504545 HAS SOUS 395874 HAS SOUPS 395874 WITH SCORE 396378.545
AT ITER 911 NEW BEST:: SOT 811209 SOS 503612 HAS SOPS 503612 HAS SOUS 395862 HAS SOUPS 395862 WITH SCORE 396365.612
AT ITER 914 NEW BEST:: SOT 811008 SOS 502607 HAS SOPS 502607 HAS SOUS 395862 HAS SOUPS 395862 WITH SCORE 396364.607
AT ITER 918 NEW BEST:: SOT 810922 SOS 502435 HAS SOPS 502435 HAS SOUS 395858 HAS SOUPS 395858 WITH SCORE 396360.435
AT ITER 919 NEW BEST:: SOT 811935 SOS 502196 HAS SOPS 502196 HAS SOUS 395677 HAS SOUPS 395677 WITH SCORE 396179.196
AT ITER 920 NEW BEST:: SOT 811839 SOS 502258 HAS SOPS 502258 HAS SOUS 395392 HAS SOUPS 395392 WITH SCORE 395894.258
AT ITER 940 NEW BEST:: SOT 811746 SOS 502154 HAS SOPS 502154 HAS SOUS 395281 HAS SOUPS 395281 WITH SCORE 395783.154
AT ITER 942 NEW BEST:: SOT 811713 SOS 502121 HAS SOPS 502121 HAS SOUS 395248 HAS SOUPS 395248 WITH SCORE 395750.121
AT ITER 951 NEW BEST:: SOT 811423 SOS 501831 HAS SOPS 501831 HAS SOUS 394958 HAS SOUPS 394958 WITH SCORE 395459.831
AT ITER 952 NEW BEST:: SOT 811423 SOS 501486 HAS SOPS 501486 HAS SOUS 394842 HAS SOUPS 394842 WITH SCORE 395343.486
AT ITER 953 NEW BEST:: SOT 810699 SOS 498067 HAS SOPS 498067 HAS SOUS 392963 HAS SOUPS 392963 WITH SCORE 393461.067
AT ITER 955 NEW BEST:: SOT 810577 SOS 497952 HAS SOPS 497952 HAS SOUS 392848 HAS SOUPS 392848 WITH SCORE 393345.952
AT ITER 956 NEW BEST:: SOT 810299 SOS 497107 HAS SOPS 497107 HAS SOUS 392281 HAS SOUPS 392281 WITH SCORE 392778.107
AT ITER 958 NEW BEST:: SOT 810267 SOS 497075 HAS SOPS 497075 HAS SOUS 392249 HAS SOUPS 392249 WITH SCORE 392746.075
AT ITER 966 NEW BEST:: SOT 809991 SOS 496638 HAS SOPS 496638 HAS SOUS 391726 HAS SOUPS 391726 WITH SCORE 392222.638
AT ITER 967 NEW BEST:: SOT 809729 SOS 496374 HAS SOPS 496374 HAS SOUS 391462 HAS SOUPS 391462 WITH SCORE 391958.374
AT ITER 977 NEW BEST:: SOT 809642 SOS 496055 HAS SOPS 496055 HAS SOUS 391143 HAS SOUPS 391143 WITH SCORE 391639.055
AT ITER 987 NEW BEST:: SOT 809436 SOS 495644 HAS SOPS 495644 HAS SOUS 390732 HAS SOUPS 390732 WITH SCORE 391227.644
AT ITER 989 NEW BEST:: SOT 809436 SOS 495592 HAS SOPS 495592 HAS SOUS 390732 HAS SOUPS 390732 WITH SCORE 391227.592
AT ITER 991 NEW BEST:: SOT 809119 SOS 495479 HAS SOPS 495479 HAS SOUS 390619 HAS SOUPS 390619 WITH SCORE 391114.479
AT ITER 1001 NEW BEST:: SOT 809267 SOS 493194 HAS SOPS 493194 HAS SOUS 390351 HAS SOUPS 390351 WITH SCORE 390844.194
AT ITER 1003 NEW BEST:: SOT 809267 SOS 493178 HAS SOPS 493178 HAS SOUS 390335 HAS SOUPS 390335 WITH SCORE 390828.178
AT ITER 1009 NEW BEST:: SOT 808972 SOS 492882 HAS SOPS 492882 HAS SOUS 390039 HAS SOUPS 390039 WITH SCORE 390531.882
AT ITER 1047 NEW BEST:: SOT 808971 SOS 491652 HAS SOPS 491652 HAS SOUS 389898 HAS SOUPS 389898 WITH SCORE 390389.652
AT ITER 1050 NEW BEST:: SOT 808650 SOS 491333 HAS SOPS 491333 HAS SOUS 389579 HAS SOUPS 389579 WITH SCORE 390070.333
AT ITER 1058 NEW BEST:: SOT 808452 SOS 491134 HAS SOPS 491134 HAS SOUS 389380 HAS SOUPS 389380 WITH SCORE 389871.134
AT ITER 1061 NEW BEST:: SOT 808399 SOS 490956 HAS SOPS 490956 HAS SOUS 389258 HAS SOUPS 389258 WITH SCORE 389748.956
AT ITER 1066 NEW BEST:: SOT 808360 SOS 490917 HAS SOPS 490917 HAS SOUS 389219 HAS SOUPS 389219 WITH SCORE 389709.917
AT ITER 1073 NEW BEST:: SOT 807732 SOS 490280 HAS SOPS 490280 HAS SOUS 388582 HAS SOUPS 388582 WITH SCORE 389072.28
AT ITER 1076 NEW BEST:: SOT 807583 SOS 489535 HAS SOPS 489535 HAS SOUS 388516 HAS SOUPS 388516 WITH SCORE 389005.535
AT ITER 1079 NEW BEST:: SOT 807884 SOS 489521 HAS SOPS 489521 HAS SOUS 388502 HAS SOUPS 388502 WITH SCORE 388991.521
AT ITER 1080 NEW BEST:: SOT 807759 SOS 489257 HAS SOPS 489257 HAS SOUS 388238 HAS SOUPS 388238 WITH SCORE 388727.257
AT ITER 1086 NEW BEST:: SOT 807280 SOS 488060 HAS SOPS 488060 HAS SOUS 386737 HAS SOUPS 386737 WITH SCORE 387225.06
AT ITER 1088 NEW BEST:: SOT 806707 SOS 487776 HAS SOPS 487776 HAS SOUS 386453 HAS SOUPS 386453 WITH SCORE 386940.776
AT ITER 1095 NEW BEST:: SOT 806704 SOS 487773 HAS SOPS 487773 HAS SOUS 386450 HAS SOUPS 386450 WITH SCORE 386937.773
AT ITER 1098 NEW BEST:: SOT 806148 SOS 487217 HAS SOPS 487217 HAS SOUS 385894 HAS SOUPS 385894 WITH SCORE 386381.217
AT ITER 1114 NEW BEST:: SOT 806067 SOS 486365 HAS SOPS 486365 HAS SOUS 385696 HAS SOUPS 385696 WITH SCORE 386182.365
AT ITER 1119 NEW BEST:: SOT 805662 SOS 485958 HAS SOPS 485958 HAS SOUS 385289 HAS SOUPS 385289 WITH SCORE 385774.958
AT ITER 1146 NEW BEST:: SOT 805020 SOS 485017 HAS SOPS 485017 HAS SOUS 384264 HAS SOUPS 384264 WITH SCORE 384749.017
AT ITER 1158 NEW BEST:: SOT 804761 SOS 484758 HAS SOPS 484758 HAS SOUS 384005 HAS SOUPS 384005 WITH SCORE 384489.758
AT ITER 1181 NEW BEST:: SOT 804589 SOS 484586 HAS SOPS 484586 HAS SOUS 383833 HAS SOUPS 383833 WITH SCORE 384317.586
AT ITER 1189 NEW BEST:: SOT 804206 SOS 484203 HAS SOPS 484203 HAS SOUS 383450 HAS SOUPS 383450 WITH SCORE 383934.203
AT ITER 1197 NEW BEST:: SOT 803840 SOS 483563 HAS SOPS 483563 HAS SOUS 382811 HAS SOUPS 382811 WITH SCORE 383294.563
AT ITER 1200 NEW BEST:: SOT 803840 SOS 483357 HAS SOPS 483357 HAS SOUS 382617 HAS SOUPS 382617 WITH SCORE 383100.357
AT ITER 1202 NEW BEST:: SOT 803816 SOS 483333 HAS SOPS 483333 HAS SOUS 382593 HAS SOUPS 382593 WITH SCORE 383076.333
AT ITER 1213 NEW BEST:: SOT 803750 SOS 483265 HAS SOPS 483265 HAS SOUS 382525 HAS SOUPS 382525 WITH SCORE 383008.265
AT ITER 1218 NEW BEST:: SOT 803750 SOS 482683 HAS SOPS 482683 HAS SOUS 382515 HAS SOUPS 382515 WITH SCORE 382997.683
AT ITER 1224 NEW BEST:: SOT 803234 SOS 482167 HAS SOPS 482167 HAS SOUS 381999 HAS SOUPS 381999 WITH SCORE 382481.167
AT ITER 1225 NEW BEST:: SOT 802857 SOS 481788 HAS SOPS 481788 HAS SOUS 381620 HAS SOUPS 381620 WITH SCORE 382101.788
AT ITER 1229 NEW BEST:: SOT 802569 SOS 481640 HAS SOPS 481640 HAS SOUS 381472 HAS SOUPS 381472 WITH SCORE 381953.64
AT ITER 1248 NEW BEST:: SOT 802308 SOS 481378 HAS SOPS 481378 HAS SOUS 381210 HAS SOUPS 381210 WITH SCORE 381691.378
AT ITER 1255 NEW BEST:: SOT 802182 SOS 481282 HAS SOPS 481282 HAS SOUS 381191 HAS SOUPS 381191 WITH SCORE 381672.282
AT ITER 1263 NEW BEST:: SOT 802852 SOS 481680 HAS SOPS 481680 HAS SOUS 381188 HAS SOUPS 381188 WITH SCORE 381669.68
AT ITER 1276 NEW BEST:: SOT 802734 SOS 480836 HAS SOPS 480836 HAS SOUS 381186 HAS SOUPS 381186 WITH SCORE 381666.836
AT ITER 1278 NEW BEST:: SOT 802664 SOS 480766 HAS SOPS 480766 HAS SOUS 381116 HAS SOUPS 381116 WITH SCORE 381596.766
AT ITER 1291 NEW BEST:: SOT 802663 SOS 480763 HAS SOPS 480763 HAS SOUS 381113 HAS SOUPS 381113 WITH SCORE 381593.763
AT ITER 1293 NEW BEST:: SOT 803175 SOS 479173 HAS SOPS 479173 HAS SOUS 380269 HAS SOUPS 380269 WITH SCORE 380748.173
AT ITER 1294 NEW BEST:: SOT 802926 SOS 478924 HAS SOPS 478924 HAS SOUS 380020 HAS SOUPS 380020 WITH SCORE 380498.924
AT ITER 1298 NEW BEST:: SOT 802896 SOS 478583 HAS SOPS 478583 HAS SOUS 379679 HAS SOUPS 379679 WITH SCORE 380157.583
AT ITER 1307 NEW BEST:: SOT 802879 SOS 478566 HAS SOPS 478566 HAS SOUS 379662 HAS SOUPS 379662 WITH SCORE 380140.566
AT ITER 1311 NEW BEST:: SOT 802793 SOS 477652 HAS SOPS 477652 HAS SOUS 379662 HAS SOUPS 379662 WITH SCORE 380139.652
AT ITER 1319 NEW BEST:: SOT 802793 SOS 477587 HAS SOPS 477587 HAS SOUS 379597 HAS SOUPS 379597 WITH SCORE 380074.587
AT ITER 1320 NEW BEST:: SOT 802684 SOS 477476 HAS SOPS 477476 HAS SOUS 379486 HAS SOUPS 379486 WITH SCORE 379963.476
AT ITER 1322 NEW BEST:: SOT 802683 SOS 477472 HAS SOPS 477472 HAS SOUS 379482 HAS SOUPS 379482 WITH SCORE 379959.472
AT ITER 1323 NEW BEST:: SOT 802975 SOS 477437 HAS SOPS 477437 HAS SOUS 379447 HAS SOUPS 379447 WITH SCORE 379924.437
AT ITER 1325 NEW BEST:: SOT 802561 SOS 477022 HAS SOPS 477022 HAS SOUS 379032 HAS SOUPS 379032 WITH SCORE 379509.022
AT ITER 1327 NEW BEST:: SOT 802131 SOS 475040 HAS SOPS 475040 HAS SOUS 378010 HAS SOUPS 378010 WITH SCORE 378485.04
AT ITER 1328 NEW BEST:: SOT 801514 SOS 474423 HAS SOPS 474423 HAS SOUS 377393 HAS SOUPS 377393 WITH SCORE 377867.423
AT ITER 1331 NEW BEST:: SOT 801502 SOS 474411 HAS SOPS 474411 HAS SOUS 377381 HAS SOUPS 377381 WITH SCORE 377855.411
AT ITER 1332 NEW BEST:: SOT 801203 SOS 473514 HAS SOPS 473514 HAS SOUS 377380 HAS SOUPS 377380 WITH SCORE 377853.514
AT ITER 1341 NEW BEST:: SOT 801609 SOS 471887 HAS SOPS 471887 HAS SOUS 376911 HAS SOUPS 376911 WITH SCORE 377382.887
AT ITER 1345 NEW BEST:: SOT 801609 SOS 471167 HAS SOPS 471167 HAS SOUS 376772 HAS SOUPS 376772 WITH SCORE 377243.167
AT ITER 1346 NEW BEST:: SOT 801449 SOS 471007 HAS SOPS 471007 HAS SOUS 376612 HAS SOUPS 376612 WITH SCORE 377083.007
AT ITER 1354 NEW BEST:: SOT 801226 SOS 470784 HAS SOPS 470784 HAS SOUS 376389 HAS SOUPS 376389 WITH SCORE 376859.784
AT ITER 1364 NEW BEST:: SOT 801200 SOS 470745 HAS SOPS 470745 HAS SOUS 376350 HAS SOUPS 376350 WITH SCORE 376820.745
AT ITER 1368 NEW BEST:: SOT 801186 SOS 470720 HAS SOPS 470720 HAS SOUS 376310 HAS SOUPS 376310 WITH SCORE 376780.72
AT ITER 1373 NEW BEST:: SOT 801185 SOS 470719 HAS SOPS 470719 HAS SOUS 376309 HAS SOUPS 376309 WITH SCORE 376779.719
AT ITER 1374 NEW BEST:: SOT 801496 SOS 468059 HAS SOPS 468059 HAS SOUS 375559 HAS SOUPS 375559 WITH SCORE 376027.059
AT ITER 1375 NEW BEST:: SOT 800884 SOS 467496 HAS SOPS 467496 HAS SOUS 374996 HAS SOUPS 374996 WITH SCORE 375463.496
AT ITER 1390 NEW BEST:: SOT 800457 SOS 467067 HAS SOPS 467067 HAS SOUS 374567 HAS SOUPS 374567 WITH SCORE 375034.067
AT ITER 1400 NEW BEST:: SOT 800451 SOS 467055 HAS SOPS 467055 HAS SOUS 374557 HAS SOUPS 374557 WITH SCORE 375024.055
AT ITER 1406 NEW BEST:: SOT 800439 SOS 467034 HAS SOPS 467034 HAS SOUS 374536 HAS SOUPS 374536 WITH SCORE 375003.034
AT ITER 1413 NEW BEST:: SOT 800435 SOS 467019 HAS SOPS 467019 HAS SOUS 374519 HAS SOUPS 374519 WITH SCORE 374986.019
AT ITER 1418 NEW BEST:: SOT 800366 SOS 466950 HAS SOPS 466950 HAS SOUS 374450 HAS SOUPS 374450 WITH SCORE 374916.95
AT ITER 1424 NEW BEST:: SOT 800479 SOS 466362 HAS SOPS 466362 HAS SOUS 374378 HAS SOUPS 374378 WITH SCORE 374844.362
AT ITER 1445 NEW BEST:: SOT 800244 SOS 466105 HAS SOPS 466105 HAS SOUS 374021 HAS SOUPS 374021 WITH SCORE 374487.105
AT ITER 1449 NEW BEST:: SOT 800174 SOS 466035 HAS SOPS 466035 HAS SOUS 373916 HAS SOUPS 373916 WITH SCORE 374382.035
AT ITER 1453 NEW BEST:: SOT 800172 SOS 465821 HAS SOPS 465821 HAS SOUS 373898 HAS SOUPS 373898 WITH SCORE 374363.821
AT ITER 1454 NEW BEST:: SOT 800156 SOS 465639 HAS SOPS 465639 HAS SOUS 373715 HAS SOUPS 373715 WITH SCORE 374180.639
AT ITER 1462 NEW BEST:: SOT 800162 SOS 465631 HAS SOPS 465631 HAS SOUS 373707 HAS SOUPS 373707 WITH SCORE 374172.631
AT ITER 1469 NEW BEST:: SOT 800120 SOS 465349 HAS SOPS 465349 HAS SOUS 373707 HAS SOUPS 373707 WITH SCORE 374172.349
AT ITER 1476 NEW BEST:: SOT 799663 SOS 464932 HAS SOPS 464932 HAS SOUS 373339 HAS SOUPS 373339 WITH SCORE 373803.932
AT ITER 1479 NEW BEST:: SOT 799220 SOS 464405 HAS SOPS 464405 HAS SOUS 373337 HAS SOUPS 373337 WITH SCORE 373801.405
AT ITER 1488 NEW BEST:: SOT 799220 SOS 463948 HAS SOPS 463948 HAS SOUS 373195 HAS SOUPS 373195 WITH SCORE 373658.948
AT ITER 1498 NEW BEST:: SOT 799149 SOS 463877 HAS SOPS 463877 HAS SOUS 373124 HAS SOUPS 373124 WITH SCORE 373587.877
AT ITER 1509 NEW BEST:: SOT 799148 SOS 463808 HAS SOPS 463808 HAS SOUS 372987 HAS SOUPS 372987 WITH SCORE 373450.808
AT ITER 1510 NEW BEST:: SOT 798770 SOS 464662 HAS SOPS 464662 HAS SOUS 372799 HAS SOUPS 372799 WITH SCORE 373263.662
AT ITER 1511 NEW BEST:: SOT 798770 SOS 464640 HAS SOPS 464640 HAS SOUS 372781 HAS SOUPS 372781 WITH SCORE 373245.64
AT ITER 1517 NEW BEST:: SOT 798770 SOS 464595 HAS SOPS 464595 HAS SOUS 372736 HAS SOUPS 372736 WITH SCORE 373200.595
AT ITER 1521 NEW BEST:: SOT 798650 SOS 464473 HAS SOPS 464473 HAS SOUS 372614 HAS SOUPS 372614 WITH SCORE 373078.473
AT ITER 1524 NEW BEST:: SOT 798606 SOS 464429 HAS SOPS 464429 HAS SOUS 372570 HAS SOUPS 372570 WITH SCORE 373034.429
AT ITER 1526 NEW BEST:: SOT 798256 SOS 464079 HAS SOPS 464079 HAS SOUS 372220 HAS SOUPS 372220 WITH SCORE 372684.079
AT ITER 1531 NEW BEST:: SOT 798246 SOS 464057 HAS SOPS 464057 HAS SOUS 372198 HAS SOUPS 372198 WITH SCORE 372662.057
AT ITER 1532 NEW BEST:: SOT 798829 SOS 464193 HAS SOPS 464193 HAS SOUS 371895 HAS SOUPS 371895 WITH SCORE 372359.193
AT ITER 1538 NEW BEST:: SOT 798829 SOS 464192 HAS SOPS 464192 HAS SOUS 371895 HAS SOUPS 371895 WITH SCORE 372359.192
AT ITER 1553 NEW BEST:: SOT 798742 SOS 464053 HAS SOPS 464053 HAS SOUS 371808 HAS SOUPS 371808 WITH SCORE 372272.053
AT ITER 1563 NEW BEST:: SOT 798534 SOS 463949 HAS SOPS 463949 HAS SOUS 371704 HAS SOUPS 371704 WITH SCORE 372167.949
AT ITER 1566 NEW BEST:: SOT 798534 SOS 463789 HAS SOPS 463789 HAS SOUS 371704 HAS SOUPS 371704 WITH SCORE 372167.789
AT ITER 1577 NEW BEST:: SOT 798763 SOS 462383 HAS SOPS 462383 HAS SOUS 371001 HAS SOUPS 371001 WITH SCORE 371463.383
AT ITER 1579 NEW BEST:: SOT 798618 SOS 462236 HAS SOPS 462236 HAS SOUS 370939 HAS SOUPS 370939 WITH SCORE 371401.236
AT ITER 1596 NEW BEST:: SOT 798499 SOS 462238 HAS SOPS 462238 HAS SOUS 370881 HAS SOUPS 370881 WITH SCORE 371343.238
AT ITER 1597 NEW BEST:: SOT 798082 SOS 461989 HAS SOPS 461989 HAS SOUS 370721 HAS SOUPS 370721 WITH SCORE 371182.989
AT ITER 1601 NEW BEST:: SOT 797875 SOS 462212 HAS SOPS 462212 HAS SOUS 370665 HAS SOUPS 370665 WITH SCORE 371127.212
AT ITER 1602 NEW BEST:: SOT 797801 SOS 462138 HAS SOPS 462138 HAS SOUS 370591 HAS SOUPS 370591 WITH SCORE 371053.138
AT ITER 1604 NEW BEST:: SOT 797604 SOS 461996 HAS SOPS 461996 HAS SOUS 370449 HAS SOUPS 370449 WITH SCORE 370910.996
AT ITER 1619 NEW BEST:: SOT 797598 SOS 461959 HAS SOPS 461959 HAS SOUS 370412 HAS SOUPS 370412 WITH SCORE 370873.959
AT ITER 1621 NEW BEST:: SOT 797598 SOS 460320 HAS SOPS 460320 HAS SOUS 369875 HAS SOUPS 369875 WITH SCORE 370335.32
AT ITER 1630 NEW BEST:: SOT 797196 SOS 459784 HAS SOPS 459784 HAS SOUS 369339 HAS SOUPS 369339 WITH SCORE 369798.784
AT ITER 1632 NEW BEST:: SOT 796938 SOS 459405 HAS SOPS 459405 HAS SOUS 368960 HAS SOUPS 368960 WITH SCORE 369419.405
AT ITER 1635 NEW BEST:: SOT 796937 SOS 458546 HAS SOPS 458546 HAS SOUS 368956 HAS SOUPS 368956 WITH SCORE 369414.546
AT ITER 1638 NEW BEST:: SOT 797031 SOS 458687 HAS SOPS 458687 HAS SOUS 368826 HAS SOUPS 368826 WITH SCORE 369284.687
AT ITER 1640 NEW BEST:: SOT 796697 SOS 458268 HAS SOPS 458268 HAS SOUS 368325 HAS SOUPS 368325 WITH SCORE 368783.268
AT ITER 1644 NEW BEST:: SOT 796535 SOS 457296 HAS SOPS 457296 HAS SOUS 367839 HAS SOUPS 367839 WITH SCORE 368296.296
AT ITER 1648 NEW BEST:: SOT 796534 SOS 457235 HAS SOPS 457235 HAS SOUS 367830 HAS SOUPS 367830 WITH SCORE 368287.235
AT ITER 1653 NEW BEST:: SOT 796254 SOS 456954 HAS SOPS 456954 HAS SOUS 367549 HAS SOUPS 367549 WITH SCORE 368005.954
AT ITER 1654 NEW BEST:: SOT 796007 SOS 455916 HAS SOPS 455916 HAS SOUS 367351 HAS SOUPS 367351 WITH SCORE 367806.916
AT ITER 1655 NEW BEST:: SOT 796007 SOS 455730 HAS SOPS 455730 HAS SOUS 367165 HAS SOUPS 367165 WITH SCORE 367620.73
AT ITER 1664 NEW BEST:: SOT 796039 SOS 455630 HAS SOPS 455630 HAS SOUS 367065 HAS SOUPS 367065 WITH SCORE 367520.63
AT ITER 1680 NEW BEST:: SOT 796103 SOS 455364 HAS SOPS 455364 HAS SOUS 366799 HAS SOUPS 366799 WITH SCORE 367254.364
AT ITER 1682 NEW BEST:: SOT 795945 SOS 455127 HAS SOPS 455127 HAS SOUS 366562 HAS SOUPS 366562 WITH SCORE 367017.127
AT ITER 1686 NEW BEST:: SOT 795937 SOS 455039 HAS SOPS 455039 HAS SOUS 366556 HAS SOUPS 366556 WITH SCORE 367011.039
AT ITER 1701 NEW BEST:: SOT 795787 SOS 454888 HAS SOPS 454888 HAS SOUS 366405 HAS SOUPS 366405 WITH SCORE 366859.888
AT ITER 1703 NEW BEST:: SOT 795786 SOS 454887 HAS SOPS 454887 HAS SOUS 366404 HAS SOUPS 366404 WITH SCORE 366858.887
AT ITER 1704 NEW BEST:: SOT 795684 SOS 454581 HAS SOPS 454581 HAS SOUS 366404 HAS SOUPS 366404 WITH SCORE 366858.581
AT ITER 1705 NEW BEST:: SOT 795666 SOS 454563 HAS SOPS 454563 HAS SOUS 366386 HAS SOUPS 366386 WITH SCORE 366840.563
AT ITER 1711 NEW BEST:: SOT 795666 SOS 454452 HAS SOPS 454452 HAS SOUS 366349 HAS SOUPS 366349 WITH SCORE 366803.452
AT ITER 1712 NEW BEST:: SOT 795662 SOS 454314 HAS SOPS 454314 HAS SOUS 366211 HAS SOUPS 366211 WITH SCORE 366665.314
AT ITER 1714 NEW BEST:: SOT 795662 SOS 454214 HAS SOPS 454214 HAS SOUS 366111 HAS SOUPS 366111 WITH SCORE 366565.214
AT ITER 1721 NEW BEST:: SOT 795662 SOS 453497 HAS SOPS 453497 HAS SOUS 365927 HAS SOUPS 365927 WITH SCORE 366380.497
AT ITER 1722 NEW BEST:: SOT 795195 SOS 453034 HAS SOPS 453034 HAS SOUS 365464 HAS SOUPS 365464 WITH SCORE 365917.034
AT ITER 1741 NEW BEST:: SOT 795192 SOS 452871 HAS SOPS 452871 HAS SOUS 365301 HAS SOUPS 365301 WITH SCORE 365753.871
AT ITER 1742 NEW BEST:: SOT 794728 SOS 452406 HAS SOPS 452406 HAS SOUS 364836 HAS SOUPS 364836 WITH SCORE 365288.406
AT ITER 1755 NEW BEST:: SOT 794038 SOS 451709 HAS SOPS 451709 HAS SOUS 363986 HAS SOUPS 363986 WITH SCORE 364437.709
AT ITER 1761 NEW BEST:: SOT 794088 SOS 451724 HAS SOPS 451724 HAS SOUS 363949 HAS SOUPS 363949 WITH SCORE 364400.724
AT ITER 1767 NEW BEST:: SOT 793875 SOS 451119 HAS SOPS 451119 HAS SOUS 363520 HAS SOUPS 363520 WITH SCORE 363971.119
AT ITER 1803 NEW BEST:: SOT 793875 SOS 450781 HAS SOPS 450781 HAS SOUS 363502 HAS SOUPS 363502 WITH SCORE 363952.781
AT ITER 1807 NEW BEST:: SOT 793649 SOS 450554 HAS SOPS 450554 HAS SOUS 363275 HAS SOUPS 363275 WITH SCORE 363725.554
AT ITER 1808 NEW BEST:: SOT 793649 SOS 450541 HAS SOPS 450541 HAS SOUS 363262 HAS SOUPS 363262 WITH SCORE 363712.541
AT ITER 1810 NEW BEST:: SOT 793169 SOS 449903 HAS SOPS 449903 HAS SOUS 362624 HAS SOUPS 362624 WITH SCORE 363073.903
AT ITER 1816 NEW BEST:: SOT 792999 SOS 449053 HAS SOPS 449053 HAS SOUS 362454 HAS SOUPS 362454 WITH SCORE 362903.053
AT ITER 1825 NEW BEST:: SOT 793160 SOS 448877 HAS SOPS 448877 HAS SOUS 361945 HAS SOUPS 361945 WITH SCORE 362393.877
AT ITER 1827 NEW BEST:: SOT 793185 SOS 448867 HAS SOPS 448867 HAS SOUS 361935 HAS SOUPS 361935 WITH SCORE 362383.867
AT ITER 1828 NEW BEST:: SOT 792995 SOS 448677 HAS SOPS 448677 HAS SOUS 361745 HAS SOUPS 361745 WITH SCORE 362193.677
AT ITER 1836 NEW BEST:: SOT 792816 SOS 447738 HAS SOPS 447738 HAS SOUS 361745 HAS SOUPS 361745 WITH SCORE 362192.738
AT ITER 1857 NEW BEST:: SOT 792816 SOS 446530 HAS SOPS 446530 HAS SOUS 361745 HAS SOUPS 361745 WITH SCORE 362191.53
AT ITER 1861 NEW BEST:: SOT 792798 SOS 446511 HAS SOPS 446511 HAS SOUS 361726 HAS SOUPS 361726 WITH SCORE 362172.511
AT ITER 1863 NEW BEST:: SOT 792841 SOS 446545 HAS SOPS 446545 HAS SOUS 361707 HAS SOUPS 361707 WITH SCORE 362153.545
AT ITER 1865 NEW BEST:: SOT 792664 SOS 446368 HAS SOPS 446368 HAS SOUS 361530 HAS SOUPS 361530 WITH SCORE 361976.368
AT ITER 1868 NEW BEST:: SOT 792651 SOS 446355 HAS SOPS 446355 HAS SOUS 361517 HAS SOUPS 361517 WITH SCORE 361963.355
AT ITER 1875 NEW BEST:: SOT 792268 SOS 444440 HAS SOPS 444440 HAS SOUS 361516 HAS SOUPS 361516 WITH SCORE 361960.44
AT ITER 1887 NEW BEST:: SOT 792066 SOS 444017 HAS SOPS 444017 HAS SOUS 361093 HAS SOUPS 361093 WITH SCORE 361537.017
AT ITER 1888 NEW BEST:: SOT 792065 SOS 443932 HAS SOPS 443932 HAS SOUS 361080 HAS SOUPS 361080 WITH SCORE 361523.932
AT ITER 1889 NEW BEST:: SOT 791822 SOS 443345 HAS SOPS 443345 HAS SOUS 360747 HAS SOUPS 360747 WITH SCORE 361190.345
AT ITER 1893 NEW BEST:: SOT 791898 SOS 443157 HAS SOPS 443157 HAS SOUS 360559 HAS SOUPS 360559 WITH SCORE 361002.157
AT ITER 1896 NEW BEST:: SOT 791831 SOS 443154 HAS SOPS 443154 HAS SOUS 360556 HAS SOUPS 360556 WITH SCORE 360999.154
AT ITER 1903 NEW BEST:: SOT 791831 SOS 443153 HAS SOPS 443153 HAS SOUS 360556 HAS SOUPS 360556 WITH SCORE 360999.153
AT ITER 1910 NEW BEST:: SOT 792035 SOS 442923 HAS SOPS 442923 HAS SOUS 360555 HAS SOUPS 360555 WITH SCORE 360997.923
AT ITER 1915 NEW BEST:: SOT 791883 SOS 442414 HAS SOPS 442414 HAS SOUS 360046 HAS SOUPS 360046 WITH SCORE 360488.414
AT ITER 1918 NEW BEST:: SOT 791872 SOS 442403 HAS SOPS 442403 HAS SOUS 360035 HAS SOUPS 360035 WITH SCORE 360477.403
AT ITER 1919 NEW BEST:: SOT 791517 SOS 442048 HAS SOPS 442048 HAS SOUS 359680 HAS SOUPS 359680 WITH SCORE 360122.048
AT ITER 1938 NEW BEST:: SOT 791312 SOS 441843 HAS SOPS 441843 HAS SOUS 359475 HAS SOUPS 359475 WITH SCORE 359916.843
AT ITER 1941 NEW BEST:: SOT 791312 SOS 442155 HAS SOPS 442155 HAS SOUS 359461 HAS SOUPS 359461 WITH SCORE 359903.155
AT ITER 1947 NEW BEST:: SOT 790981 SOS 441833 HAS SOPS 441833 HAS SOUS 359139 HAS SOUPS 359139 WITH SCORE 359580.833
AT ITER 1948 NEW BEST:: SOT 790854 SOS 441803 HAS SOPS 441803 HAS SOUS 358996 HAS SOUPS 358996 WITH SCORE 359437.803
AT ITER 1954 NEW BEST:: SOT 790994 SOS 441719 HAS SOPS 441719 HAS SOUS 358912 HAS SOUPS 358912 WITH SCORE 359353.719
AT ITER 1961 NEW BEST:: SOT 790565 SOS 441290 HAS SOPS 441290 HAS SOUS 358483 HAS SOUPS 358483 WITH SCORE 358924.29
AT ITER 1963 NEW BEST:: SOT 790536 SOS 441126 HAS SOPS 441126 HAS SOUS 358483 HAS SOUPS 358483 WITH SCORE 358924.126
AT ITER 1980 NEW BEST:: SOT 790536 SOS 441126 HAS SOPS 441126 HAS SOUS 358476 HAS SOUPS 358476 WITH SCORE 358917.126
AT ITER 1997 NEW BEST:: SOT 790544 SOS 441124 HAS SOPS 441124 HAS SOUS 358468 HAS SOUPS 358468 WITH SCORE 358909.124
AT ITER 2006 NEW BEST:: SOT 790091 SOS 440671 HAS SOPS 440671 HAS SOUS 358015 HAS SOUPS 358015 WITH SCORE 358455.671
AT ITER 2009 NEW BEST:: SOT 790552 SOS 440404 HAS SOPS 440404 HAS SOUS 357864 HAS SOUPS 357864 WITH SCORE 358304.404
AT ITER 2010 NEW BEST:: SOT 790496 SOS 440292 HAS SOPS 440292 HAS SOUS 357752 HAS SOUPS 357752 WITH SCORE 358192.292
AT ITER 2019 NEW BEST:: SOT 790495 SOS 440178 HAS SOPS 440178 HAS SOUS 357751 HAS SOUPS 357751 WITH SCORE 358191.178
AT ITER 2024 NEW BEST:: SOT 790435 SOS 440143 HAS SOPS 440143 HAS SOUS 357716 HAS SOUPS 357716 WITH SCORE 358156.143
AT ITER 2031 NEW BEST:: SOT 790491 SOS 440136 HAS SOPS 440136 HAS SOUS 357709 HAS SOUPS 357709 WITH SCORE 358149.136
AT ITER 2036 NEW BEST:: SOT 790457 SOS 439126 HAS SOPS 439126 HAS SOUS 357330 HAS SOUPS 357330 WITH SCORE 357769.126
AT ITER 2037 NEW BEST:: SOT 790231 SOS 438900 HAS SOPS 438900 HAS SOUS 357104 HAS SOUPS 357104 WITH SCORE 357542.9
AT ITER 2039 NEW BEST:: SOT 790329 SOS 439049 HAS SOPS 439049 HAS SOUS 356763 HAS SOUPS 356763 WITH SCORE 357202.049
AT ITER 2043 NEW BEST:: SOT 790300 SOS 439020 HAS SOPS 439020 HAS SOUS 356734 HAS SOUPS 356734 WITH SCORE 357173.02
AT ITER 2064 NEW BEST:: SOT 790269 SOS 438794 HAS SOPS 438794 HAS SOUS 356718 HAS SOUPS 356718 WITH SCORE 357156.794
AT ITER 2066 NEW BEST:: SOT 790267 SOS 438702 HAS SOPS 438702 HAS SOUS 356671 HAS SOUPS 356671 WITH SCORE 357109.702
AT ITER 2067 NEW BEST:: SOT 790153 SOS 438520 HAS SOPS 438520 HAS SOUS 356489 HAS SOUPS 356489 WITH SCORE 356927.52
AT ITER 2079 NEW BEST:: SOT 790227 SOS 438591 HAS SOPS 438591 HAS SOUS 356354 HAS SOUPS 356354 WITH SCORE 356792.591
AT ITER 2084 NEW BEST:: SOT 790157 SOS 438241 HAS SOPS 438241 HAS SOUS 356353 HAS SOUPS 356353 WITH SCORE 356791.241
AT ITER 2086 NEW BEST:: SOT 790567 SOS 438237 HAS SOPS 438237 HAS SOUS 356347 HAS SOUPS 356347 WITH SCORE 356785.237
AT ITER 2090 NEW BEST:: SOT 790448 SOS 438118 HAS SOPS 438118 HAS SOUS 356206 HAS SOUPS 356206 WITH SCORE 356644.118
AT ITER 2098 NEW BEST:: SOT 790144 SOS 437812 HAS SOPS 437812 HAS SOUS 355900 HAS SOUPS 355900 WITH SCORE 356337.812
AT ITER 2100 NEW BEST:: SOT 790215 SOS 437155 HAS SOPS 437155 HAS SOUS 355746 HAS SOUPS 355746 WITH SCORE 356183.155
AT ITER 2112 NEW BEST:: SOT 790194 SOS 437134 HAS SOPS 437134 HAS SOUS 355725 HAS SOUPS 355725 WITH SCORE 356162.134
AT ITER 2123 NEW BEST:: SOT 789799 SOS 435159 HAS SOPS 435159 HAS SOUS 355725 HAS SOUPS 355725 WITH SCORE 356160.159
AT ITER 2130 NEW BEST:: SOT 789677 SOS 434391 HAS SOPS 434391 HAS SOUS 355725 HAS SOUPS 355725 WITH SCORE 356159.391
AT ITER 2133 NEW BEST:: SOT 789945 SOS 433324 HAS SOPS 433324 HAS SOUS 355094 HAS SOUPS 355094 WITH SCORE 355527.324
AT ITER 2141 NEW BEST:: SOT 789662 SOS 432542 HAS SOPS 432542 HAS SOUS 354187 HAS SOUPS 354187 WITH SCORE 354619.542
AT ITER 2144 NEW BEST:: SOT 789552 SOS 432375 HAS SOPS 432375 HAS SOUS 353827 HAS SOUPS 353827 WITH SCORE 354259.375
AT ITER 2159 NEW BEST:: SOT 789294 SOS 431988 HAS SOPS 431988 HAS SOUS 353470 HAS SOUPS 353470 WITH SCORE 353901.988
AT ITER 2160 NEW BEST:: SOT 788923 SOS 431480 HAS SOPS 431480 HAS SOUS 352962 HAS SOUPS 352962 WITH SCORE 353393.48
AT ITER 2161 NEW BEST:: SOT 788923 SOS 430924 HAS SOPS 430924 HAS SOUS 352962 HAS SOUPS 352962 WITH SCORE 353392.924
AT ITER 2164 NEW BEST:: SOT 789145 SOS 431073 HAS SOPS 431073 HAS SOUS 352939 HAS SOUPS 352939 WITH SCORE 353370.073
AT ITER 2168 NEW BEST:: SOT 789142 SOS 431070 HAS SOPS 431070 HAS SOUS 352936 HAS SOUPS 352936 WITH SCORE 353367.07
AT ITER 2169 NEW BEST:: SOT 789370 SOS 429013 HAS SOPS 429013 HAS SOUS 352606 HAS SOUPS 352606 WITH SCORE 353035.013
AT ITER 2177 NEW BEST:: SOT 789368 SOS 428922 HAS SOPS 428922 HAS SOUS 352575 HAS SOUPS 352575 WITH SCORE 353003.922
AT ITER 2185 NEW BEST:: SOT 788402 SOS 426427 HAS SOPS 426427 HAS SOUS 350581 HAS SOUPS 350581 WITH SCORE 351007.427
AT ITER 2186 NEW BEST:: SOT 787604 SOS 425099 HAS SOPS 425099 HAS SOUS 349433 HAS SOUPS 349433 WITH SCORE 349858.099
AT ITER 2189 NEW BEST:: SOT 787604 SOS 425056 HAS SOPS 425056 HAS SOUS 349389 HAS SOUPS 349389 WITH SCORE 349814.056
AT ITER 2197 NEW BEST:: SOT 786967 SOS 423793 HAS SOPS 423793 HAS SOUS 348126 HAS SOUPS 348126 WITH SCORE 348549.793
AT ITER 2199 NEW BEST:: SOT 787258 SOS 423851 HAS SOPS 423851 HAS SOUS 348116 HAS SOUPS 348116 WITH SCORE 348539.851
AT ITER 2201 NEW BEST:: SOT 787374 SOS 423954 HAS SOPS 423954 HAS SOUS 347985 HAS SOUPS 347985 WITH SCORE 348408.954
AT ITER 2208 NEW BEST:: SOT 787346 SOS 423924 HAS SOPS 423924 HAS SOUS 347955 HAS SOUPS 347955 WITH SCORE 348378.924
AT ITER 2209 NEW BEST:: SOT 787033 SOS 423627 HAS SOPS 423627 HAS SOUS 347658 HAS SOUPS 347658 WITH SCORE 348081.627
AT ITER 2212 NEW BEST:: SOT 786573 SOS 423167 HAS SOPS 423167 HAS SOUS 347198 HAS SOUPS 347198 WITH SCORE 347621.167
AT ITER 2217 NEW BEST:: SOT 786638 SOS 423080 HAS SOPS 423080 HAS SOUS 347157 HAS SOUPS 347157 WITH SCORE 347580.08
AT ITER 2222 NEW BEST:: SOT 786638 SOS 423037 HAS SOPS 423037 HAS SOUS 347114 HAS SOUPS 347114 WITH SCORE 347537.037
AT ITER 2223 NEW BEST:: SOT 786610 SOS 423090 HAS SOPS 423090 HAS SOUS 347062 HAS SOUPS 347062 WITH SCORE 347485.09
AT ITER 2228 NEW BEST:: SOT 786608 SOS 423052 HAS SOPS 423052 HAS SOUS 347048 HAS SOUPS 347048 WITH SCORE 347471.052
AT ITER 2233 NEW BEST:: SOT 786475 SOS 422904 HAS SOPS 422904 HAS SOUS 346900 HAS SOUPS 346900 WITH SCORE 347322.904
AT ITER 2237 NEW BEST:: SOT 786332 SOS 422761 HAS SOPS 422761 HAS SOUS 346757 HAS SOUPS 346757 WITH SCORE 347179.761
AT ITER 2252 NEW BEST:: SOT 785951 SOS 422378 HAS SOPS 422378 HAS SOUS 346374 HAS SOUPS 346374 WITH SCORE 346796.378
AT ITER 2261 NEW BEST:: SOT 785753 SOS 422081 HAS SOPS 422081 HAS SOUS 346077 HAS SOUPS 346077 WITH SCORE 346499.081
AT ITER 2262 NEW BEST:: SOT 785596 SOS 422079 HAS SOPS 422079 HAS SOUS 346015 HAS SOUPS 346015 WITH SCORE 346437.079
AT ITER 2272 NEW BEST:: SOT 785594 SOS 421146 HAS SOPS 421146 HAS SOUS 345778 HAS SOUPS 345778 WITH SCORE 346199.146
AT ITER 2275 NEW BEST:: SOT 785594 SOS 421053 HAS SOPS 421053 HAS SOUS 345750 HAS SOUPS 345750 WITH SCORE 346171.053
AT ITER 2284 NEW BEST:: SOT 785512 SOS 420971 HAS SOPS 420971 HAS SOUS 345668 HAS SOUPS 345668 WITH SCORE 346088.971
AT ITER 2290 NEW BEST:: SOT 785352 SOS 420810 HAS SOPS 420810 HAS SOUS 345507 HAS SOUPS 345507 WITH SCORE 345927.81
AT ITER 2300 NEW BEST:: SOT 785347 SOS 420793 HAS SOPS 420793 HAS SOUS 345490 HAS SOUPS 345490 WITH SCORE 345910.793
AT ITER 2303 NEW BEST:: SOT 785245 SOS 420691 HAS SOPS 420691 HAS SOUS 345388 HAS SOUPS 345388 WITH SCORE 345808.691
AT ITER 2308 NEW BEST:: SOT 785119 SOS 420643 HAS SOPS 420643 HAS SOUS 345340 HAS SOUPS 345340 WITH SCORE 345760.643
AT ITER 2324 NEW BEST:: SOT 785111 SOS 420635 HAS SOPS 420635 HAS SOUS 345332 HAS SOUPS 345332 WITH SCORE 345752.635
AT ITER 2328 NEW BEST:: SOT 784703 SOS 420350 HAS SOPS 420350 HAS SOUS 345040 HAS SOUPS 345040 WITH SCORE 345460.35
AT ITER 2329 NEW BEST:: SOT 784284 SOS 420276 HAS SOPS 420276 HAS SOUS 344809 HAS SOUPS 344809 WITH SCORE 345229.276
AT ITER 2331 NEW BEST:: SOT 784209 SOS 420201 HAS SOPS 420201 HAS SOUS 344734 HAS SOUPS 344734 WITH SCORE 345154.201
AT ITER 2336 NEW BEST:: SOT 784089 SOS 419952 HAS SOPS 419952 HAS SOUS 344734 HAS SOUPS 344734 WITH SCORE 345153.952
AT ITER 2341 NEW BEST:: SOT 784082 SOS 419945 HAS SOPS 419945 HAS SOUS 344731 HAS SOUPS 344731 WITH SCORE 345150.945
AT ITER 2344 NEW BEST:: SOT 784000 SOS 418580 HAS SOPS 418580 HAS SOUS 343792 HAS SOUPS 343792 WITH SCORE 344210.58
AT ITER 2345 NEW BEST:: SOT 783934 SOS 418514 HAS SOPS 418514 HAS SOUS 343726 HAS SOUPS 343726 WITH SCORE 344144.514
AT ITER 2357 NEW BEST:: SOT 784016 SOS 416680 HAS SOPS 416680 HAS SOUS 343339 HAS SOUPS 343339 WITH SCORE 343755.68
AT ITER 2364 NEW BEST:: SOT 783701 SOS 416017 HAS SOPS 416017 HAS SOUS 342832 HAS SOUPS 342832 WITH SCORE 343248.017
AT ITER 2365 NEW BEST:: SOT 783691 SOS 415883 HAS SOPS 415883 HAS SOUS 342510 HAS SOUPS 342510 WITH SCORE 342925.883
AT ITER 2368 NEW BEST:: SOT 783402 SOS 415594 HAS SOPS 415594 HAS SOUS 342221 HAS SOUPS 342221 WITH SCORE 342636.594
AT ITER 2376 NEW BEST:: SOT 783376 SOS 415537 HAS SOPS 415537 HAS SOUS 342018 HAS SOUPS 342018 WITH SCORE 342433.537
AT ITER 2380 NEW BEST:: SOT 783376 SOS 414786 HAS SOPS 414786 HAS SOUS 342018 HAS SOUPS 342018 WITH SCORE 342432.786
AT ITER 2391 NEW BEST:: SOT 783376 SOS 414773 HAS SOPS 414773 HAS SOUS 342005 HAS SOUPS 342005 WITH SCORE 342419.773
AT ITER 2408 NEW BEST:: SOT 783905 SOS 414719 HAS SOPS 414719 HAS SOUS 341951 HAS SOUPS 341951 WITH SCORE 342365.719
AT ITER 2413 NEW BEST:: SOT 783584 SOS 413621 HAS SOPS 413621 HAS SOUS 340764 HAS SOUPS 340764 WITH SCORE 341177.621
AT ITER 2425 NEW BEST:: SOT 783557 SOS 413594 HAS SOPS 413594 HAS SOUS 340737 HAS SOUPS 340737 WITH SCORE 341150.594
AT ITER 2426 NEW BEST:: SOT 783412 SOS 413449 HAS SOPS 413449 HAS SOUS 340592 HAS SOUPS 340592 WITH SCORE 341005.449
AT ITER 2428 NEW BEST:: SOT 783250 SOS 412512 HAS SOPS 412512 HAS SOUS 339249 HAS SOUPS 339249 WITH SCORE 339661.512
AT ITER 2441 NEW BEST:: SOT 783147 SOS 412573 HAS SOPS 412573 HAS SOUS 339212 HAS SOUPS 339212 WITH SCORE 339624.573
AT ITER 2452 NEW BEST:: SOT 783144 SOS 412570 HAS SOPS 412570 HAS SOUS 339209 HAS SOUPS 339209 WITH SCORE 339621.57
AT ITER 2457 NEW BEST:: SOT 783144 SOS 412214 HAS SOPS 412214 HAS SOUS 339209 HAS SOUPS 339209 WITH SCORE 339621.214
AT ITER 2504 NEW BEST:: SOT 783398 SOS 411402 HAS SOPS 411402 HAS SOUS 339162 HAS SOUPS 339162 WITH SCORE 339573.402
AT ITER 2511 NEW BEST:: SOT 783005 SOS 410803 HAS SOPS 410803 HAS SOUS 338563 HAS SOUPS 338563 WITH SCORE 338973.803
AT ITER 2514 NEW BEST:: SOT 782721 SOS 410519 HAS SOPS 410519 HAS SOUS 338279 HAS SOUPS 338279 WITH SCORE 338689.519
AT ITER 2518 NEW BEST:: SOT 782498 SOS 409869 HAS SOPS 409869 HAS SOUS 337349 HAS SOUPS 337349 WITH SCORE 337758.869
AT ITER 2527 NEW BEST:: SOT 782364 SOS 409867 HAS SOPS 409867 HAS SOUS 337347 HAS SOUPS 337347 WITH SCORE 337756.867
AT ITER 2540 NEW BEST:: SOT 782362 SOS 409865 HAS SOPS 409865 HAS SOUS 337345 HAS SOUPS 337345 WITH SCORE 337754.865
AT ITER 2548 NEW BEST:: SOT 782332 SOS 409835 HAS SOPS 409835 HAS SOUS 337315 HAS SOUPS 337315 WITH SCORE 337724.835
AT ITER 2549 NEW BEST:: SOT 782478 SOS 407347 HAS SOPS 407347 HAS SOUS 336497 HAS SOUPS 336497 WITH SCORE 336904.347
AT ITER 2552 NEW BEST:: SOT 782482 SOS 407189 HAS SOPS 407189 HAS SOUS 336350 HAS SOUPS 336350 WITH SCORE 336757.189
AT ITER 2555 NEW BEST:: SOT 782482 SOS 407181 HAS SOPS 407181 HAS SOUS 336342 HAS SOUPS 336342 WITH SCORE 336749.181
AT ITER 2556 NEW BEST:: SOT 782482 SOS 407171 HAS SOPS 407171 HAS SOUS 336337 HAS SOUPS 336337 WITH SCORE 336744.171
AT ITER 2569 NEW BEST:: SOT 782281 SOS 406970 HAS SOPS 406970 HAS SOUS 336135 HAS SOUPS 336135 WITH SCORE 336541.97
AT ITER 2578 NEW BEST:: SOT 782119 SOS 406848 HAS SOPS 406848 HAS SOUS 336038 HAS SOUPS 336038 WITH SCORE 336444.848
AT ITER 2585 NEW BEST:: SOT 782119 SOS 406864 HAS SOPS 406864 HAS SOUS 336022 HAS SOUPS 336022 WITH SCORE 336428.864
AT ITER 2597 NEW BEST:: SOT 782097 SOS 406831 HAS SOPS 406831 HAS SOUS 335989 HAS SOUPS 335989 WITH SCORE 336395.831
AT ITER 2603 NEW BEST:: SOT 782149 SOS 406976 HAS SOPS 406976 HAS SOUS 335978 HAS SOUPS 335978 WITH SCORE 336384.976
AT ITER 2604 NEW BEST:: SOT 782144 SOS 406923 HAS SOPS 406923 HAS SOUS 335877 HAS SOUPS 335877 WITH SCORE 336283.923
AT ITER 2607 NEW BEST:: SOT 781918 SOS 405567 HAS SOPS 405567 HAS SOUS 335875 HAS SOUPS 335875 WITH SCORE 336280.567
AT ITER 2613 NEW BEST:: SOT 781817 SOS 405209 HAS SOPS 405209 HAS SOUS 335213 HAS SOUPS 335213 WITH SCORE 335618.209
AT ITER 2616 NEW BEST:: SOT 781828 SOS 405210 HAS SOPS 405210 HAS SOUS 335208 HAS SOUPS 335208 WITH SCORE 335613.21
AT ITER 2624 NEW BEST:: SOT 781817 SOS 404868 HAS SOPS 404868 HAS SOUS 334864 HAS SOUPS 334864 WITH SCORE 335268.868
AT ITER 2631 NEW BEST:: SOT 781633 SOS 404698 HAS SOPS 404698 HAS SOUS 334607 HAS SOUPS 334607 WITH SCORE 335011.698
AT ITER 2647 NEW BEST:: SOT 781551 SOS 404647 HAS SOPS 404647 HAS SOUS 334508 HAS SOUPS 334508 WITH SCORE 334912.647
AT ITER 2661 NEW BEST:: SOT 781544 SOS 404640 HAS SOPS 404640 HAS SOUS 334501 HAS SOUPS 334501 WITH SCORE 334905.64
AT ITER 2663 NEW BEST:: SOT 781543 SOS 404639 HAS SOPS 404639 HAS SOUS 334500 HAS SOUPS 334500 WITH SCORE 334904.639
AT ITER 2666 NEW BEST:: SOT 781375 SOS 404135 HAS SOPS 404135 HAS SOUS 334164 HAS SOUPS 334164 WITH SCORE 334568.135
AT ITER 2675 NEW BEST:: SOT 781375 SOS 404110 HAS SOPS 404110 HAS SOUS 334156 HAS SOUPS 334156 WITH SCORE 334560.11
AT ITER 2686 NEW BEST:: SOT 781074 SOS 403809 HAS SOPS 403809 HAS SOUS 333855 HAS SOUPS 333855 WITH SCORE 334258.809
AT ITER 2690 NEW BEST:: SOT 781084 SOS 403779 HAS SOPS 403779 HAS SOUS 333771 HAS SOUPS 333771 WITH SCORE 334174.779
AT ITER 2694 NEW BEST:: SOT 781067 SOS 403762 HAS SOPS 403762 HAS SOUS 333754 HAS SOUPS 333754 WITH SCORE 334157.762
AT ITER 2720 NEW BEST:: SOT 780602 SOS 403297 HAS SOPS 403297 HAS SOUS 333289 HAS SOUPS 333289 WITH SCORE 333692.297
AT ITER 2724 NEW BEST:: SOT 780621 SOS 402780 HAS SOPS 402780 HAS SOUS 332341 HAS SOUPS 332341 WITH SCORE 332743.78
AT ITER 2730 NEW BEST:: SOT 780621 SOS 402762 HAS SOPS 402762 HAS SOUS 332335 HAS SOUPS 332335 WITH SCORE 332737.762
AT ITER 2732 NEW BEST:: SOT 780449 SOS 402673 HAS SOPS 402673 HAS SOUS 332246 HAS SOUPS 332246 WITH SCORE 332648.673
AT ITER 2739 NEW BEST:: SOT 780404 SOS 402628 HAS SOPS 402628 HAS SOUS 332201 HAS SOUPS 332201 WITH SCORE 332603.628
AT ITER 2745 NEW BEST:: SOT 780278 SOS 402502 HAS SOPS 402502 HAS SOUS 332075 HAS SOUPS 332075 WITH SCORE 332477.502
AT ITER 2747 NEW BEST:: SOT 780462 SOS 402404 HAS SOPS 402404 HAS SOUS 331916 HAS SOUPS 331916 WITH SCORE 332318.404
AT ITER 2751 NEW BEST:: SOT 780462 SOS 401764 HAS SOPS 401764 HAS SOUS 331907 HAS SOUPS 331907 WITH SCORE 332308.764
AT ITER 2753 NEW BEST:: SOT 780355 SOS 401654 HAS SOPS 401654 HAS SOUS 331797 HAS SOUPS 331797 WITH SCORE 332198.654
AT ITER 2755 NEW BEST:: SOT 780108 SOS 401407 HAS SOPS 401407 HAS SOUS 331550 HAS SOUPS 331550 WITH SCORE 331951.407
AT ITER 2761 NEW BEST:: SOT 779851 SOS 401150 HAS SOPS 401150 HAS SOUS 331293 HAS SOUPS 331293 WITH SCORE 331694.15
AT ITER 2786 NEW BEST:: SOT 779676 SOS 400975 HAS SOPS 400975 HAS SOUS 331118 HAS SOUPS 331118 WITH SCORE 331518.975
AT ITER 2791 NEW BEST:: SOT 779690 SOS 400984 HAS SOPS 400984 HAS SOUS 331113 HAS SOUPS 331113 WITH SCORE 331513.984
AT ITER 2798 NEW BEST:: SOT 779602 SOS 400896 HAS SOPS 400896 HAS SOUS 331025 HAS SOUPS 331025 WITH SCORE 331425.896
AT ITER 2817 NEW BEST:: SOT 779601 SOS 400903 HAS SOPS 400903 HAS SOUS 331020 HAS SOUPS 331020 WITH SCORE 331420.903
AT ITER 2818 NEW BEST:: SOT 779632 SOS 400636 HAS SOPS 400636 HAS SOUS 330753 HAS SOUPS 330753 WITH SCORE 331153.636
AT ITER 2820 NEW BEST:: SOT 779752 SOS 400532 HAS SOPS 400532 HAS SOUS 330649 HAS SOUPS 330649 WITH SCORE 331049.532
AT ITER 2836 NEW BEST:: SOT 779872 SOS 400494 HAS SOPS 400494 HAS SOUS 330644 HAS SOUPS 330644 WITH SCORE 331044.494
AT ITER 2847 NEW BEST:: SOT 779724 SOS 400348 HAS SOPS 400348 HAS SOUS 330611 HAS SOUPS 330611 WITH SCORE 331011.348
AT ITER 2849 NEW BEST:: SOT 779544 SOS 400009 HAS SOPS 400009 HAS SOUS 330272 HAS SOUPS 330272 WITH SCORE 330672.009
AT ITER 2853 NEW BEST:: SOT 779593 SOS 400158 HAS SOPS 400158 HAS SOUS 330203 HAS SOUPS 330203 WITH SCORE 330603.158
AT ITER 2858 NEW BEST:: SOT 779564 SOS 400129 HAS SOPS 400129 HAS SOUS 330152 HAS SOUPS 330152 WITH SCORE 330552.129
AT ITER 2867 NEW BEST:: SOT 779563 SOS 400128 HAS SOPS 400128 HAS SOUS 330151 HAS SOUPS 330151 WITH SCORE 330551.128
AT ITER 2874 NEW BEST:: SOT 779601 SOS 400115 HAS SOPS 400115 HAS SOUS 330138 HAS SOUPS 330138 WITH SCORE 330538.115
AT ITER 2880 NEW BEST:: SOT 779459 SOS 399954 HAS SOPS 399954 HAS SOUS 329977 HAS SOUPS 329977 WITH SCORE 330376.954
AT ITER 2886 NEW BEST:: SOT 779327 SOS 399822 HAS SOPS 399822 HAS SOUS 329812 HAS SOUPS 329812 WITH SCORE 330211.822
AT ITER 2888 NEW BEST:: SOT 779169 SOS 399664 HAS SOPS 399664 HAS SOUS 329654 HAS SOUPS 329654 WITH SCORE 330053.664
AT ITER 2890 NEW BEST:: SOT 779108 SOS 399603 HAS SOPS 399603 HAS SOUS 329593 HAS SOUPS 329593 WITH SCORE 329992.603
AT ITER 2892 NEW BEST:: SOT 779109 SOS 399551 HAS SOPS 399551 HAS SOUS 329541 HAS SOUPS 329541 WITH SCORE 329940.551
AT ITER 2898 NEW BEST:: SOT 779085 SOS 399527 HAS SOPS 399527 HAS SOUS 329517 HAS SOUPS 329517 WITH SCORE 329916.527
AT ITER 2914 NEW BEST:: SOT 779105 SOS 399378 HAS SOPS 399378 HAS SOUS 329368 HAS SOUPS 329368 WITH SCORE 329767.378
AT ITER 2924 NEW BEST:: SOT 778956 SOS 399025 HAS SOPS 399025 HAS SOUS 329030 HAS SOUPS 329030 WITH SCORE 329429.025
AT ITER 2936 NEW BEST:: SOT 778683 SOS 398976 HAS SOPS 398976 HAS SOUS 328981 HAS SOUPS 328981 WITH SCORE 329379.976
AT ITER 2946 NEW BEST:: SOT 778698 SOS 398855 HAS SOPS 398855 HAS SOUS 328588 HAS SOUPS 328588 WITH SCORE 328986.855
AT ITER 2951 NEW BEST:: SOT 778440 SOS 398597 HAS SOPS 398597 HAS SOUS 328330 HAS SOUPS 328330 WITH SCORE 328728.597
AT ITER 2958 NEW BEST:: SOT 778357 SOS 398514 HAS SOPS 398514 HAS SOUS 328247 HAS SOUPS 328247 WITH SCORE 328645.514
AT ITER 2960 NEW BEST:: SOT 778289 SOS 398446 HAS SOPS 398446 HAS SOUS 328179 HAS SOUPS 328179 WITH SCORE 328577.446
AT ITER 2965 NEW BEST:: SOT 778183 SOS 398202 HAS SOPS 398202 HAS SOUS 328133 HAS SOUPS 328133 WITH SCORE 328531.202
AT ITER 2977 NEW BEST:: SOT 778183 SOS 398202 HAS SOPS 398202 HAS SOUS 327714 HAS SOUPS 327714 WITH SCORE 328112.202
AT ITER 2979 NEW BEST:: SOT 778183 SOS 397920 HAS SOPS 397920 HAS SOUS 327432 HAS SOUPS 327432 WITH SCORE 327829.92
AT ITER 2988 NEW BEST:: SOT 777990 SOS 397725 HAS SOPS 397725 HAS SOUS 327236 HAS SOUPS 327236 WITH SCORE 327633.725
AT ITER 2990 NEW BEST:: SOT 777970 SOS 397632 HAS SOPS 397632 HAS SOUS 327083 HAS SOUPS 327083 WITH SCORE 327480.632
AT ITER 2993 NEW BEST:: SOT 777580 SOS 397446 HAS SOPS 397446 HAS SOUS 326981 HAS SOUPS 326981 WITH SCORE 327378.446
AT ITER 2994 NEW BEST:: SOT 777536 SOS 397104 HAS SOPS 397104 HAS SOUS 326981 HAS SOUPS 326981 WITH SCORE 327378.104
AT ITER 2999 NEW BEST:: SOT 777446 SOS 396864 HAS SOPS 396864 HAS SOUS 326831 HAS SOUPS 326831 WITH SCORE 327227.864
AT ITER 3005 NEW BEST:: SOT 777441 SOS 396849 HAS SOPS 396849 HAS SOUS 326828 HAS SOUPS 326828 WITH SCORE 327224.849
AT ITER 3017 NEW BEST:: SOT 777763 SOS 396853 HAS SOPS 396853 HAS SOUS 326212 HAS SOUPS 326212 WITH SCORE 326608.853
AT ITER 3020 NEW BEST:: SOT 777530 SOS 396494 HAS SOPS 396494 HAS SOUS 325853 HAS SOUPS 325853 WITH SCORE 326249.494
AT ITER 3025 NEW BEST:: SOT 777529 SOS 396372 HAS SOPS 396372 HAS SOUS 325777 HAS SOUPS 325777 WITH SCORE 326173.372
AT ITER 3031 NEW BEST:: SOT 777605 SOS 396448 HAS SOPS 396448 HAS SOUS 325508 HAS SOUPS 325508 WITH SCORE 325904.448
AT ITER 3036 NEW BEST:: SOT 777077 SOS 395863 HAS SOPS 395863 HAS SOUS 324923 HAS SOUPS 324923 WITH SCORE 325318.863
AT ITER 3047 NEW BEST:: SOT 776904 SOS 395805 HAS SOPS 395805 HAS SOUS 324895 HAS SOUPS 324895 WITH SCORE 325290.805
AT ITER 3064 NEW BEST:: SOT 776472 SOS 394971 HAS SOPS 394971 HAS SOUS 324277 HAS SOUPS 324277 WITH SCORE 324671.971
AT ITER 3065 NEW BEST:: SOT 776393 SOS 394687 HAS SOPS 394687 HAS SOUS 324026 HAS SOUPS 324026 WITH SCORE 324420.687
AT ITER 3070 NEW BEST:: SOT 776393 SOS 394687 HAS SOPS 394687 HAS SOUS 323966 HAS SOUPS 323966 WITH SCORE 324360.687
AT ITER 3071 NEW BEST:: SOT 776393 SOS 394606 HAS SOPS 394606 HAS SOUS 323966 HAS SOUPS 323966 WITH SCORE 324360.606
AT ITER 3080 NEW BEST:: SOT 776395 SOS 394624 HAS SOPS 394624 HAS SOUS 323902 HAS SOUPS 323902 WITH SCORE 324296.624
AT ITER 3114 NEW BEST:: SOT 776333 SOS 394562 HAS SOPS 394562 HAS SOUS 323840 HAS SOUPS 323840 WITH SCORE 324234.562
AT ITER 3116 NEW BEST:: SOT 776155 SOS 394332 HAS SOPS 394332 HAS SOUS 323774 HAS SOUPS 323774 WITH SCORE 324168.332
AT ITER 3118 NEW BEST:: SOT 775763 SOS 393482 HAS SOPS 393482 HAS SOUS 323083 HAS SOUPS 323083 WITH SCORE 323476.482
AT ITER 3121 NEW BEST:: SOT 775763 SOS 393478 HAS SOPS 393478 HAS SOUS 323065 HAS SOUPS 323065 WITH SCORE 323458.478
AT ITER 3122 NEW BEST:: SOT 775631 SOS 393346 HAS SOPS 393346 HAS SOUS 322933 HAS SOUPS 322933 WITH SCORE 323326.346
AT ITER 3125 NEW BEST:: SOT 775831 SOS 391453 HAS SOPS 391453 HAS SOUS 322629 HAS SOUPS 322629 WITH SCORE 323020.453
AT ITER 3130 NEW BEST:: SOT 775767 SOS 391297 HAS SOPS 391297 HAS SOUS 322552 HAS SOUPS 322552 WITH SCORE 322943.297
AT ITER 3138 NEW BEST:: SOT 775741 SOS 391193 HAS SOPS 391193 HAS SOUS 322550 HAS SOUPS 322550 WITH SCORE 322941.193
AT ITER 3148 NEW BEST:: SOT 775787 SOS 390944 HAS SOPS 390944 HAS SOUS 322301 HAS SOUPS 322301 WITH SCORE 322691.944
AT ITER 3149 NEW BEST:: SOT 775902 SOS 390738 HAS SOPS 390738 HAS SOUS 322183 HAS SOUPS 322183 WITH SCORE 322573.738
AT ITER 3159 NEW BEST:: SOT 775901 SOS 390128 HAS SOPS 390128 HAS SOUS 322174 HAS SOUPS 322174 WITH SCORE 322564.128
AT ITER 3169 NEW BEST:: SOT 775937 SOS 389917 HAS SOPS 389917 HAS SOUS 321970 HAS SOUPS 321970 WITH SCORE 322359.917
AT ITER 3201 NEW BEST:: SOT 775703 SOS 389683 HAS SOPS 389683 HAS SOUS 321736 HAS SOUPS 321736 WITH SCORE 322125.683
AT ITER 3217 NEW BEST:: SOT 775512 SOS 389467 HAS SOPS 389467 HAS SOUS 321520 HAS SOUPS 321520 WITH SCORE 321909.467
AT ITER 3224 NEW BEST:: SOT 775512 SOS 389585 HAS SOPS 389585 HAS SOUS 321509 HAS SOUPS 321509 WITH SCORE 321898.585
AT ITER 3228 NEW BEST:: SOT 775455 SOS 389452 HAS SOPS 389452 HAS SOUS 321345 HAS SOUPS 321345 WITH SCORE 321734.452
AT ITER 3246 NEW BEST:: SOT 775495 SOS 389439 HAS SOPS 389439 HAS SOUS 321332 HAS SOUPS 321332 WITH SCORE 321721.439
AT ITER 3247 NEW BEST:: SOT 775491 SOS 389414 HAS SOPS 389414 HAS SOUS 321307 HAS SOUPS 321307 WITH SCORE 321696.414
AT ITER 3249 NEW BEST:: SOT 775188 SOS 388891 HAS SOPS 388891 HAS SOUS 320784 HAS SOUPS 320784 WITH SCORE 321172.891
AT ITER 3285 NEW BEST:: SOT 774934 SOS 388540 HAS SOPS 388540 HAS SOUS 320433 HAS SOUPS 320433 WITH SCORE 320821.54
AT ITER 3290 NEW BEST:: SOT 774850 SOS 388414 HAS SOPS 388414 HAS SOUS 320307 HAS SOUPS 320307 WITH SCORE 320695.414
AT ITER 3291 NEW BEST:: SOT 774814 SOS 388378 HAS SOPS 388378 HAS SOUS 320271 HAS SOUPS 320271 WITH SCORE 320659.378
AT ITER 3301 NEW BEST:: SOT 774683 SOS 388288 HAS SOPS 388288 HAS SOUS 320249 HAS SOUPS 320249 WITH SCORE 320637.288
AT ITER 3303 NEW BEST:: SOT 774487 SOS 387808 HAS SOPS 387808 HAS SOUS 319731 HAS SOUPS 319731 WITH SCORE 320118.808
AT ITER 3304 NEW BEST:: SOT 774480 SOS 387801 HAS SOPS 387801 HAS SOUS 319724 HAS SOUPS 319724 WITH SCORE 320111.801
AT ITER 3307 NEW BEST:: SOT 774480 SOS 387790 HAS SOPS 387790 HAS SOUS 319722 HAS SOUPS 319722 WITH SCORE 320109.79
AT ITER 3309 NEW BEST:: SOT 774426 SOS 387736 HAS SOPS 387736 HAS SOUS 319668 HAS SOUPS 319668 WITH SCORE 320055.736
AT ITER 3317 NEW BEST:: SOT 774426 SOS 387736 HAS SOPS 387736 HAS SOUS 319661 HAS SOUPS 319661 WITH SCORE 320048.736
AT ITER 3327 NEW BEST:: SOT 773809 SOS 387227 HAS SOPS 387227 HAS SOUS 319313 HAS SOUPS 319313 WITH SCORE 319700.227
AT ITER 3329 NEW BEST:: SOT 773755 SOS 387166 HAS SOPS 387166 HAS SOUS 319252 HAS SOUPS 319252 WITH SCORE 319639.166
AT ITER 3342 NEW BEST:: SOT 773774 SOS 387365 HAS SOPS 387365 HAS SOUS 319129 HAS SOUPS 319129 WITH SCORE 319516.365
AT ITER 3353 NEW BEST:: SOT 773766 SOS 387357 HAS SOPS 387357 HAS SOUS 319121 HAS SOUPS 319121 WITH SCORE 319508.357
AT ITER 3360 NEW BEST:: SOT 773630 SOS 387221 HAS SOPS 387221 HAS SOUS 318985 HAS SOUPS 318985 WITH SCORE 319372.221
AT ITER 3395 NEW BEST:: SOT 773387 SOS 386835 HAS SOPS 386835 HAS SOUS 318634 HAS SOUPS 318634 WITH SCORE 319020.835
AT ITER 3408 NEW BEST:: SOT 773332 SOS 386728 HAS SOPS 386728 HAS SOUS 318527 HAS SOUPS 318527 WITH SCORE 318913.728
AT ITER 3415 NEW BEST:: SOT 773225 SOS 386515 HAS SOPS 386515 HAS SOUS 318314 HAS SOUPS 318314 WITH SCORE 318700.515
AT ITER 3416 NEW BEST:: SOT 773104 SOS 386394 HAS SOPS 386394 HAS SOUS 318193 HAS SOUPS 318193 WITH SCORE 318579.394
AT ITER 3422 NEW BEST:: SOT 773150 SOS 386310 HAS SOPS 386310 HAS SOUS 318109 HAS SOUPS 318109 WITH SCORE 318495.31
AT ITER 3431 NEW BEST:: SOT 773097 SOS 386257 HAS SOPS 386257 HAS SOUS 318056 HAS SOUPS 318056 WITH SCORE 318442.257
AT ITER 3452 NEW BEST:: SOT 773049 SOS 386184 HAS SOPS 386184 HAS SOUS 317984 HAS SOUPS 317984 WITH SCORE 318370.184
AT ITER 3457 NEW BEST:: SOT 773012 SOS 386147 HAS SOPS 386147 HAS SOUS 317947 HAS SOUPS 317947 WITH SCORE 318333.147
AT ITER 3471 NEW BEST:: SOT 772963 SOS 386118 HAS SOPS 386118 HAS SOUS 317918 HAS SOUPS 317918 WITH SCORE 318304.118
AT ITER 3478 NEW BEST:: SOT 772963 SOS 386106 HAS SOPS 386106 HAS SOUS 317844 HAS SOUPS 317844 WITH SCORE 318230.106
AT ITER 3499 NEW BEST:: SOT 772973 SOS 386168 HAS SOPS 386168 HAS SOUS 317783 HAS SOUPS 317783 WITH SCORE 318169.168
AT ITER 3505 NEW BEST:: SOT 772973 SOS 386134 HAS SOPS 386134 HAS SOUS 317749 HAS SOUPS 317749 WITH SCORE 318135.134
AT ITER 3507 NEW BEST:: SOT 772844 SOS 385750 HAS SOPS 385750 HAS SOUS 317293 HAS SOUPS 317293 WITH SCORE 317678.75
AT ITER 3523 NEW BEST:: SOT 772604 SOS 385510 HAS SOPS 385510 HAS SOUS 317053 HAS SOUPS 317053 WITH SCORE 317438.51
AT ITER 3528 NEW BEST:: SOT 772544 SOS 385471 HAS SOPS 385471 HAS SOUS 317014 HAS SOUPS 317014 WITH SCORE 317399.471
AT ITER 3534 NEW BEST:: SOT 772535 SOS 385433 HAS SOPS 385433 HAS SOUS 316978 HAS SOUPS 316978 WITH SCORE 317363.433
AT ITER 3536 NEW BEST:: SOT 772396 SOS 385294 HAS SOPS 385294 HAS SOUS 316839 HAS SOUPS 316839 WITH SCORE 317224.294
AT ITER 3561 NEW BEST:: SOT 772313 SOS 385211 HAS SOPS 385211 HAS SOUS 316756 HAS SOUPS 316756 WITH SCORE 317141.211
AT ITER 3566 NEW BEST:: SOT 772390 SOS 384171 HAS SOPS 384171 HAS SOUS 316749 HAS SOUPS 316749 WITH SCORE 317133.171
AT ITER 3567 NEW BEST:: SOT 771708 SOS 384247 HAS SOPS 384247 HAS SOUS 316274 HAS SOUPS 316274 WITH SCORE 316658.247
AT ITER 3606 NEW BEST:: SOT 771642 SOS 383486 HAS SOPS 383486 HAS SOUS 316227 HAS SOUPS 316227 WITH SCORE 316610.486
AT ITER 3607 NEW BEST:: SOT 771249 SOS 383093 HAS SOPS 383093 HAS SOUS 315824 HAS SOUPS 315824 WITH SCORE 316207.093
AT ITER 3609 NEW BEST:: SOT 770999 SOS 382843 HAS SOPS 382843 HAS SOUS 315574 HAS SOUPS 315574 WITH SCORE 315956.843
AT ITER 3641 NEW BEST:: SOT 770955 SOS 382799 HAS SOPS 382799 HAS SOUS 315530 HAS SOUPS 315530 WITH SCORE 315912.799
AT ITER 3645 NEW BEST:: SOT 771014 SOS 381737 HAS SOPS 381737 HAS SOUS 314607 HAS SOUPS 314607 WITH SCORE 314988.737
AT ITER 3646 NEW BEST:: SOT 771006 SOS 381713 HAS SOPS 381713 HAS SOUS 314607 HAS SOUPS 314607 WITH SCORE 314988.713
AT ITER 3653 NEW BEST:: SOT 770995 SOS 381702 HAS SOPS 381702 HAS SOUS 314606 HAS SOUPS 314606 WITH SCORE 314987.702
AT ITER 3654 NEW BEST:: SOT 771058 SOS 381614 HAS SOPS 381614 HAS SOUS 314518 HAS SOUPS 314518 WITH SCORE 314899.614
AT ITER 3664 NEW BEST:: SOT 771015 SOS 381571 HAS SOPS 381571 HAS SOUS 314475 HAS SOUPS 314475 WITH SCORE 314856.571
AT ITER 3665 NEW BEST:: SOT 770998 SOS 381332 HAS SOPS 381332 HAS SOUS 314475 HAS SOUPS 314475 WITH SCORE 314856.332
AT ITER 3669 NEW BEST:: SOT 770796 SOS 380898 HAS SOPS 380898 HAS SOUS 314447 HAS SOUPS 314447 WITH SCORE 314827.898
AT ITER 3671 NEW BEST:: SOT 770588 SOS 380560 HAS SOPS 380560 HAS SOUS 314109 HAS SOUPS 314109 WITH SCORE 314489.56
AT ITER 3680 NEW BEST:: SOT 770792 SOS 380836 HAS SOPS 380836 HAS SOUS 313769 HAS SOUPS 313769 WITH SCORE 314149.836
AT ITER 3689 NEW BEST:: SOT 770674 SOS 380718 HAS SOPS 380718 HAS SOUS 313651 HAS SOUPS 313651 WITH SCORE 314031.718
AT ITER 3693 NEW BEST:: SOT 770486 SOS 380139 HAS SOPS 380139 HAS SOUS 313312 HAS SOUPS 313312 WITH SCORE 313692.139
AT ITER 3698 NEW BEST:: SOT 770485 SOS 379215 HAS SOPS 379215 HAS SOUS 313021 HAS SOUPS 313021 WITH SCORE 313400.215
AT ITER 3726 NEW BEST:: SOT 770427 SOS 379186 HAS SOPS 379186 HAS SOUS 312992 HAS SOUPS 312992 WITH SCORE 313371.186
AT ITER 3729 NEW BEST:: SOT 770373 SOS 379132 HAS SOPS 379132 HAS SOUS 312700 HAS SOUPS 312700 WITH SCORE 313079.132
AT ITER 3731 NEW BEST:: SOT 770371 SOS 378318 HAS SOPS 378318 HAS SOUS 312417 HAS SOUPS 312417 WITH SCORE 312795.318
AT ITER 3732 NEW BEST:: SOT 770371 SOS 378318 HAS SOPS 378318 HAS SOUS 312416 HAS SOUPS 312416 WITH SCORE 312794.318
AT ITER 3733 NEW BEST:: SOT 770110 SOS 378057 HAS SOPS 378057 HAS SOUS 312155 HAS SOUPS 312155 WITH SCORE 312533.057
AT ITER 3747 NEW BEST:: SOT 770057 SOS 377938 HAS SOPS 377938 HAS SOUS 311951 HAS SOUPS 311951 WITH SCORE 312328.938
AT ITER 3755 NEW BEST:: SOT 770108 SOS 377846 HAS SOPS 377846 HAS SOUS 311838 HAS SOUPS 311838 WITH SCORE 312215.846
AT ITER 3776 NEW BEST:: SOT 769947 SOS 377685 HAS SOPS 377685 HAS SOUS 311677 HAS SOUPS 311677 WITH SCORE 312054.685
AT ITER 3793 NEW BEST:: SOT 770565 SOS 377932 HAS SOPS 377932 HAS SOUS 311517 HAS SOUPS 311517 WITH SCORE 311894.932
AT ITER 3803 NEW BEST:: SOT 770272 SOS 377479 HAS SOPS 377479 HAS SOUS 311088 HAS SOUPS 311088 WITH SCORE 311465.479
AT ITER 3804 NEW BEST:: SOT 770142 SOS 377362 HAS SOPS 377362 HAS SOUS 310807 HAS SOUPS 310807 WITH SCORE 311184.362
AT ITER 3808 NEW BEST:: SOT 770203 SOS 377423 HAS SOPS 377423 HAS SOUS 310779 HAS SOUPS 310779 WITH SCORE 311156.423
AT ITER 3841 NEW BEST:: SOT 770247 SOS 377409 HAS SOPS 377409 HAS SOUS 310744 HAS SOUPS 310744 WITH SCORE 311121.409
AT ITER 3846 NEW BEST:: SOT 770135 SOS 376577 HAS SOPS 376577 HAS SOUS 310526 HAS SOUPS 310526 WITH SCORE 310902.577
AT ITER 3859 NEW BEST:: SOT 770293 SOS 376368 HAS SOPS 376368 HAS SOUS 310348 HAS SOUPS 310348 WITH SCORE 310724.368
AT ITER 3875 NEW BEST:: SOT 770243 SOS 376318 HAS SOPS 376318 HAS SOUS 310298 HAS SOUPS 310298 WITH SCORE 310674.318
AT ITER 3876 NEW BEST:: SOT 770243 SOS 376318 HAS SOPS 376318 HAS SOUS 310295 HAS SOUPS 310295 WITH SCORE 310671.318
AT ITER 3877 NEW BEST:: SOT 770243 SOS 376222 HAS SOPS 376222 HAS SOUS 310295 HAS SOUPS 310295 WITH SCORE 310671.222
AT ITER 3880 NEW BEST:: SOT 770227 SOS 376122 HAS SOPS 376122 HAS SOUS 310263 HAS SOUPS 310263 WITH SCORE 310639.122
AT ITER 3885 NEW BEST:: SOT 770067 SOS 375962 HAS SOPS 375962 HAS SOUS 310103 HAS SOUPS 310103 WITH SCORE 310478.962
AT ITER 3889 NEW BEST:: SOT 770053 SOS 375946 HAS SOPS 375946 HAS SOUS 310087 HAS SOUPS 310087 WITH SCORE 310462.946
AT ITER 3892 NEW BEST:: SOT 769910 SOS 375803 HAS SOPS 375803 HAS SOUS 309944 HAS SOUPS 309944 WITH SCORE 310319.803
AT ITER 3894 NEW BEST:: SOT 769894 SOS 375704 HAS SOPS 375704 HAS SOUS 309845 HAS SOUPS 309845 WITH SCORE 310220.704
AT ITER 3911 NEW BEST:: SOT 769820 SOS 375525 HAS SOPS 375525 HAS SOUS 309368 HAS SOUPS 309368 WITH SCORE 309743.525
AT ITER 3922 NEW BEST:: SOT 769761 SOS 375350 HAS SOPS 375350 HAS SOUS 309193 HAS SOUPS 309193 WITH SCORE 309568.35
AT ITER 3941 NEW BEST:: SOT 769851 SOS 375383 HAS SOPS 375383 HAS SOUS 308987 HAS SOUPS 308987 WITH SCORE 309362.383
AT ITER 3950 NEW BEST:: SOT 769625 SOS 375157 HAS SOPS 375157 HAS SOUS 308761 HAS SOUPS 308761 WITH SCORE 309136.157
AT ITER 3952 NEW BEST:: SOT 769513 SOS 375045 HAS SOPS 375045 HAS SOUS 308649 HAS SOUPS 308649 WITH SCORE 309024.045
AT ITER 3955 NEW BEST:: SOT 769491 SOS 375001 HAS SOPS 375001 HAS SOUS 308605 HAS SOUPS 308605 WITH SCORE 308980.001
AT ITER 3956 NEW BEST:: SOT 769557 SOS 374884 HAS SOPS 374884 HAS SOUS 308551 HAS SOUPS 308551 WITH SCORE 308925.884
AT ITER 3963 NEW BEST:: SOT 769580 SOS 374903 HAS SOPS 374903 HAS SOUS 308545 HAS SOUPS 308545 WITH SCORE 308919.903
AT ITER 3972 NEW BEST:: SOT 768964 SOS 373979 HAS SOPS 373979 HAS SOUS 307621 HAS SOUPS 307621 WITH SCORE 307994.979
AT ITER 3996 NEW BEST:: SOT 768845 SOS 373860 HAS SOPS 373860 HAS SOUS 307502 HAS SOUPS 307502 WITH SCORE 307875.86
AT ITER 3997 NEW BEST:: SOT 768897 SOS 373044 HAS SOPS 373044 HAS SOUS 306916 HAS SOUPS 306916 WITH SCORE 307289.044
AT ITER 4004 NEW BEST:: SOT 768896 SOS 372901 HAS SOPS 372901 HAS SOUS 306834 HAS SOUPS 306834 WITH SCORE 307206.901
AT ITER 4012 NEW BEST:: SOT 768806 SOS 372811 HAS SOPS 372811 HAS SOUS 306744 HAS SOUPS 306744 WITH SCORE 307116.811
AT ITER 4014 NEW BEST:: SOT 768893 SOS 372777 HAS SOPS 372777 HAS SOUS 306710 HAS SOUPS 306710 WITH SCORE 307082.777
AT ITER 4020 NEW BEST:: SOT 768883 SOS 372795 HAS SOPS 372795 HAS SOUS 306506 HAS SOUPS 306506 WITH SCORE 306878.795
AT ITER 4023 NEW BEST:: SOT 768882 SOS 372764 HAS SOPS 372764 HAS SOUS 306485 HAS SOUPS 306485 WITH SCORE 306857.764
AT ITER 4024 NEW BEST:: SOT 768841 SOS 371875 HAS SOPS 371875 HAS SOUS 306341 HAS SOUPS 306341 WITH SCORE 306712.875
AT ITER 4030 NEW BEST:: SOT 768892 SOS 371877 HAS SOPS 371877 HAS SOUS 305615 HAS SOUPS 305615 WITH SCORE 305986.877
AT ITER 4033 NEW BEST:: SOT 768662 SOS 371647 HAS SOPS 371647 HAS SOUS 305385 HAS SOUPS 305385 WITH SCORE 305756.647
AT ITER 4034 NEW BEST:: SOT 768600 SOS 371585 HAS SOPS 371585 HAS SOUS 305323 HAS SOUPS 305323 WITH SCORE 305694.585
AT ITER 4038 NEW BEST:: SOT 768356 SOS 371463 HAS SOPS 371463 HAS SOUS 305201 HAS SOUPS 305201 WITH SCORE 305572.463
AT ITER 4056 NEW BEST:: SOT 768329 SOS 371328 HAS SOPS 371328 HAS SOUS 305174 HAS SOUPS 305174 WITH SCORE 305545.328
AT ITER 4059 NEW BEST:: SOT 768249 SOS 371279 HAS SOPS 371279 HAS SOUS 305054 HAS SOUPS 305054 WITH SCORE 305425.279
AT ITER 4070 NEW BEST:: SOT 768228 SOS 371066 HAS SOPS 371066 HAS SOUS 304817 HAS SOUPS 304817 WITH SCORE 305188.066
AT ITER 4078 NEW BEST:: SOT 768153 SOS 370940 HAS SOPS 370940 HAS SOUS 304691 HAS SOUPS 304691 WITH SCORE 305061.94
AT ITER 4079 NEW BEST:: SOT 768029 SOS 370668 HAS SOPS 370668 HAS SOUS 304419 HAS SOUPS 304419 WITH SCORE 304789.668
AT ITER 4081 NEW BEST:: SOT 767941 SOS 370578 HAS SOPS 370578 HAS SOUS 304329 HAS SOUPS 304329 WITH SCORE 304699.578
AT ITER 4083 NEW BEST:: SOT 767937 SOS 370574 HAS SOPS 370574 HAS SOUS 304325 HAS SOUPS 304325 WITH SCORE 304695.574
AT ITER 4093 NEW BEST:: SOT 767932 SOS 370569 HAS SOPS 370569 HAS SOUS 304320 HAS SOUPS 304320 WITH SCORE 304690.569
AT ITER 4105 NEW BEST:: SOT 767853 SOS 370490 HAS SOPS 370490 HAS SOUS 304241 HAS SOUPS 304241 WITH SCORE 304611.49
AT ITER 4112 NEW BEST:: SOT 767853 SOS 370438 HAS SOPS 370438 HAS SOUS 304189 HAS SOUPS 304189 WITH SCORE 304559.438
AT ITER 4132 NEW BEST:: SOT 767851 SOS 370436 HAS SOPS 370436 HAS SOUS 304187 HAS SOUPS 304187 WITH SCORE 304557.436
AT ITER 4138 NEW BEST:: SOT 767620 SOS 369884 HAS SOPS 369884 HAS SOUS 303635 HAS SOUPS 303635 WITH SCORE 304004.884
AT ITER 4157 NEW BEST:: SOT 767620 SOS 369602 HAS SOPS 369602 HAS SOUS 303428 HAS SOUPS 303428 WITH SCORE 303797.602
AT ITER 4180 NEW BEST:: SOT 767726 SOS 369349 HAS SOPS 369349 HAS SOUS 303175 HAS SOUPS 303175 WITH SCORE 303544.349
AT ITER 4181 NEW BEST:: SOT 767425 SOS 369048 HAS SOPS 369048 HAS SOUS 302874 HAS SOUPS 302874 WITH SCORE 303243.048
AT ITER 4183 NEW BEST:: SOT 767418 SOS 369041 HAS SOPS 369041 HAS SOUS 302867 HAS SOUPS 302867 WITH SCORE 303236.041
AT ITER 4186 NEW BEST:: SOT 767418 SOS 368918 HAS SOPS 368918 HAS SOUS 302744 HAS SOUPS 302744 WITH SCORE 303112.918
AT ITER 4191 NEW BEST:: SOT 767355 SOS 369069 HAS SOPS 369069 HAS SOUS 302636 HAS SOUPS 302636 WITH SCORE 303005.069
AT ITER 4206 NEW BEST:: SOT 767331 SOS 368925 HAS SOPS 368925 HAS SOUS 302634 HAS SOUPS 302634 WITH SCORE 303002.925
AT ITER 4252 NEW BEST:: SOT 767277 SOS 368574 HAS SOPS 368574 HAS SOUS 302523 HAS SOUPS 302523 WITH SCORE 302891.574
AT ITER 4253 NEW BEST:: SOT 766913 SOS 367482 HAS SOPS 367482 HAS SOUS 301977 HAS SOUPS 301977 WITH SCORE 302344.482
AT ITER 4255 NEW BEST:: SOT 766490 SOS 366446 HAS SOPS 366446 HAS SOUS 301221 HAS SOUPS 301221 WITH SCORE 301587.446
AT ITER 4266 NEW BEST:: SOT 766490 SOS 366420 HAS SOPS 366420 HAS SOUS 301221 HAS SOUPS 301221 WITH SCORE 301587.42
AT ITER 4268 NEW BEST:: SOT 766467 SOS 366380 HAS SOPS 366380 HAS SOUS 301196 HAS SOUPS 301196 WITH SCORE 301562.38
AT ITER 4273 NEW BEST:: SOT 766284 SOS 366197 HAS SOPS 366197 HAS SOUS 301013 HAS SOUPS 301013 WITH SCORE 301379.197
AT ITER 4274 NEW BEST:: SOT 766282 SOS 366144 HAS SOPS 366144 HAS SOUS 300940 HAS SOUPS 300940 WITH SCORE 301306.144
AT ITER 4280 NEW BEST:: SOT 766016 SOS 364892 HAS SOPS 364892 HAS SOUS 300298 HAS SOUPS 300298 WITH SCORE 300662.892
AT ITER 4290 NEW BEST:: SOT 766015 SOS 364891 HAS SOPS 364891 HAS SOUS 300297 HAS SOUPS 300297 WITH SCORE 300661.891
AT ITER 4292 NEW BEST:: SOT 766015 SOS 364665 HAS SOPS 364665 HAS SOUS 300282 HAS SOUPS 300282 WITH SCORE 300646.665
AT ITER 4296 NEW BEST:: SOT 765972 SOS 364630 HAS SOPS 364630 HAS SOUS 300247 HAS SOUPS 300247 WITH SCORE 300611.63
AT ITER 4309 NEW BEST:: SOT 765972 SOS 364618 HAS SOPS 364618 HAS SOUS 300235 HAS SOUPS 300235 WITH SCORE 300599.618
AT ITER 4314 NEW BEST:: SOT 765980 SOS 364614 HAS SOPS 364614 HAS SOUS 300231 HAS SOUPS 300231 WITH SCORE 300595.614
AT ITER 4335 NEW BEST:: SOT 765944 SOS 364578 HAS SOPS 364578 HAS SOUS 300227 HAS SOUPS 300227 WITH SCORE 300591.578
AT ITER 4336 NEW BEST:: SOT 765620 SOS 364288 HAS SOPS 364288 HAS SOUS 299787 HAS SOUPS 299787 WITH SCORE 300151.288
AT ITER 4342 NEW BEST:: SOT 765509 SOS 363562 HAS SOPS 363562 HAS SOUS 299430 HAS SOUPS 299430 WITH SCORE 299793.562
AT ITER 4353 NEW BEST:: SOT 765527 SOS 363525 HAS SOPS 363525 HAS SOUS 299374 HAS SOUPS 299374 WITH SCORE 299737.525
AT ITER 4357 NEW BEST:: SOT 765399 SOS 363069 HAS SOPS 363069 HAS SOUS 298904 HAS SOUPS 298904 WITH SCORE 299267.069
AT ITER 4364 NEW BEST:: SOT 765408 SOS 362378 HAS SOPS 362378 HAS SOUS 298303 HAS SOUPS 298303 WITH SCORE 298665.378
AT ITER 4365 NEW BEST:: SOT 765225 SOS 362193 HAS SOPS 362193 HAS SOUS 298118 HAS SOUPS 298118 WITH SCORE 298480.193
AT ITER 4368 NEW BEST:: SOT 765220 SOS 361398 HAS SOPS 361398 HAS SOUS 297797 HAS SOUPS 297797 WITH SCORE 298158.398
AT ITER 4376 NEW BEST:: SOT 765336 SOS 361715 HAS SOPS 361715 HAS SOUS 297766 HAS SOUPS 297766 WITH SCORE 298127.715
AT ITER 4384 NEW BEST:: SOT 765365 SOS 361805 HAS SOPS 361805 HAS SOUS 297745 HAS SOUPS 297745 WITH SCORE 298106.805
AT ITER 4386 NEW BEST:: SOT 765362 SOS 361799 HAS SOPS 361799 HAS SOUS 297739 HAS SOUPS 297739 WITH SCORE 298100.799
AT ITER 4405 NEW BEST:: SOT 765317 SOS 361754 HAS SOPS 361754 HAS SOUS 297649 HAS SOUPS 297649 WITH SCORE 298010.754
AT ITER 4406 NEW BEST:: SOT 765253 SOS 361690 HAS SOPS 361690 HAS SOUS 297502 HAS SOUPS 297502 WITH SCORE 297863.69
AT ITER 4417 NEW BEST:: SOT 765231 SOS 361692 HAS SOPS 361692 HAS SOUS 297403 HAS SOUPS 297403 WITH SCORE 297764.692
AT ITER 4419 NEW BEST:: SOT 765175 SOS 361372 HAS SOPS 361372 HAS SOUS 297362 HAS SOUPS 297362 WITH SCORE 297723.372
AT ITER 4440 NEW BEST:: SOT 765150 SOS 361472 HAS SOPS 361472 HAS SOUS 297359 HAS SOUPS 297359 WITH SCORE 297720.472
AT ITER 4441 NEW BEST:: SOT 765026 SOS 361313 HAS SOPS 361313 HAS SOUS 297200 HAS SOUPS 297200 WITH SCORE 297561.313
AT ITER 4442 NEW BEST:: SOT 764870 SOS 361157 HAS SOPS 361157 HAS SOUS 297044 HAS SOUPS 297044 WITH SCORE 297405.157
AT ITER 4449 NEW BEST:: SOT 764869 SOS 361026 HAS SOPS 361026 HAS SOUS 297021 HAS SOUPS 297021 WITH SCORE 297382.026
AT ITER 4456 NEW BEST:: SOT 764869 SOS 360540 HAS SOPS 360540 HAS SOUS 296938 HAS SOUPS 296938 WITH SCORE 297298.54
AT ITER 4462 NEW BEST:: SOT 764158 SOS 359640 HAS SOPS 359640 HAS SOUS 296038 HAS SOUPS 296038 WITH SCORE 296397.64
AT ITER 4463 NEW BEST:: SOT 764122 SOS 359618 HAS SOPS 359618 HAS SOUS 295770 HAS SOUPS 295770 WITH SCORE 296129.618
AT ITER 4479 NEW BEST:: SOT 764110 SOS 359418 HAS SOPS 359418 HAS SOUS 295741 HAS SOUPS 295741 WITH SCORE 296100.418
AT ITER 4484 NEW BEST:: SOT 764110 SOS 359416 HAS SOPS 359416 HAS SOUS 295741 HAS SOUPS 295741 WITH SCORE 296100.416
AT ITER 4488 NEW BEST:: SOT 764110 SOS 359416 HAS SOPS 359416 HAS SOUS 295725 HAS SOUPS 295725 WITH SCORE 296084.416
AT ITER 4495 NEW BEST:: SOT 764092 SOS 359398 HAS SOPS 359398 HAS SOUS 295707 HAS SOUPS 295707 WITH SCORE 296066.398
AT ITER 4522 NEW BEST:: SOT 764082 SOS 359383 HAS SOPS 359383 HAS SOUS 295692 HAS SOUPS 295692 WITH SCORE 296051.383
AT ITER 4539 NEW BEST:: SOT 764082 SOS 359332 HAS SOPS 359332 HAS SOUS 295641 HAS SOUPS 295641 WITH SCORE 296000.332
AT ITER 4547 NEW BEST:: SOT 764255 SOS 359538 HAS SOPS 359538 HAS SOUS 295593 HAS SOUPS 295593 WITH SCORE 295952.538
AT ITER 4570 NEW BEST:: SOT 764255 SOS 359446 HAS SOPS 359446 HAS SOUS 295547 HAS SOUPS 295547 WITH SCORE 295906.446
AT ITER 4585 NEW BEST:: SOT 763961 SOS 359152 HAS SOPS 359152 HAS SOUS 295253 HAS SOUPS 295253 WITH SCORE 295612.152
AT ITER 4591 NEW BEST:: SOT 763836 SOS 358902 HAS SOPS 358902 HAS SOUS 295003 HAS SOUPS 295003 WITH SCORE 295361.902
AT ITER 4595 NEW BEST:: SOT 763638 SOS 357967 HAS SOPS 357967 HAS SOUS 294567 HAS SOUPS 294567 WITH SCORE 294924.967
AT ITER 4624 NEW BEST:: SOT 763690 SOS 358019 HAS SOPS 358019 HAS SOUS 294477 HAS SOUPS 294477 WITH SCORE 294835.019
AT ITER 4629 NEW BEST:: SOT 763736 SOS 357612 HAS SOPS 357612 HAS SOUS 294443 HAS SOUPS 294443 WITH SCORE 294800.612
AT ITER 4634 NEW BEST:: SOT 763705 SOS 357533 HAS SOPS 357533 HAS SOUS 294299 HAS SOUPS 294299 WITH SCORE 294656.533
AT ITER 4640 NEW BEST:: SOT 763621 SOS 357449 HAS SOPS 357449 HAS SOUS 294117 HAS SOUPS 294117 WITH SCORE 294474.449
AT ITER 4645 NEW BEST:: SOT 763531 SOS 357372 HAS SOPS 357372 HAS SOUS 294040 HAS SOUPS 294040 WITH SCORE 294397.372
AT ITER 4649 NEW BEST:: SOT 763531 SOS 357308 HAS SOPS 357308 HAS SOUS 293976 HAS SOUPS 293976 WITH SCORE 294333.308
AT ITER 4667 NEW BEST:: SOT 763606 SOS 357099 HAS SOPS 357099 HAS SOUS 293818 HAS SOUPS 293818 WITH SCORE 294175.099
AT ITER 4674 NEW BEST:: SOT 763463 SOS 356956 HAS SOPS 356956 HAS SOUS 293675 HAS SOUPS 293675 WITH SCORE 294031.956
AT ITER 4694 NEW BEST:: SOT 763546 SOS 356978 HAS SOPS 356978 HAS SOUS 293575 HAS SOUPS 293575 WITH SCORE 293931.978
AT ITER 4709 NEW BEST:: SOT 763597 SOS 357159 HAS SOPS 357159 HAS SOUS 293570 HAS SOUPS 293570 WITH SCORE 293927.159
AT ITER 4749 NEW BEST:: SOT 763674 SOS 354317 HAS SOPS 354317 HAS SOUS 293275 HAS SOUPS 293275 WITH SCORE 293629.317
AT ITER 4753 NEW BEST:: SOT 763650 SOS 354293 HAS SOPS 354293 HAS SOUS 293251 HAS SOUPS 293251 WITH SCORE 293605.293
AT ITER 4765 NEW BEST:: SOT 763777 SOS 354177 HAS SOPS 354177 HAS SOUS 293140 HAS SOUPS 293140 WITH SCORE 293494.177
AT ITER 4768 NEW BEST:: SOT 763851 SOS 353740 HAS SOPS 353740 HAS SOUS 292938 HAS SOUPS 292938 WITH SCORE 293291.74
AT ITER 4776 NEW BEST:: SOT 763323 SOS 353193 HAS SOPS 353193 HAS SOUS 292277 HAS SOUPS 292277 WITH SCORE 292630.193
AT ITER 4784 NEW BEST:: SOT 763006 SOS 352672 HAS SOPS 352672 HAS SOUS 291756 HAS SOUPS 291756 WITH SCORE 292108.672
AT ITER 4797 NEW BEST:: SOT 763075 SOS 352563 HAS SOPS 352563 HAS SOUS 291716 HAS SOUPS 291716 WITH SCORE 292068.563
AT ITER 4805 NEW BEST:: SOT 763028 SOS 352375 HAS SOPS 352375 HAS SOUS 291622 HAS SOUPS 291622 WITH SCORE 291974.375
AT ITER 4812 NEW BEST:: SOT 762923 SOS 352270 HAS SOPS 352270 HAS SOUS 291517 HAS SOUPS 291517 WITH SCORE 291869.27
AT ITER 4821 NEW BEST:: SOT 762838 SOS 352180 HAS SOPS 352180 HAS SOUS 291341 HAS SOUPS 291341 WITH SCORE 291693.18
AT ITER 4835 NEW BEST:: SOT 763017 SOS 351983 HAS SOPS 351983 HAS SOUS 291207 HAS SOUPS 291207 WITH SCORE 291558.983
AT ITER 4839 NEW BEST:: SOT 763047 SOS 351955 HAS SOPS 351955 HAS SOUS 291179 HAS SOUPS 291179 WITH SCORE 291530.955
AT ITER 4851 NEW BEST:: SOT 762823 SOS 351570 HAS SOPS 351570 HAS SOUS 290640 HAS SOUPS 290640 WITH SCORE 290991.57
AT ITER 4857 NEW BEST:: SOT 762805 SOS 351534 HAS SOPS 351534 HAS SOUS 290613 HAS SOUPS 290613 WITH SCORE 290964.534
AT ITER 4884 NEW BEST:: SOT 762619 SOS 351304 HAS SOPS 351304 HAS SOUS 290383 HAS SOUPS 290383 WITH SCORE 290734.304
AT ITER 4887 NEW BEST:: SOT 762619 SOS 351303 HAS SOPS 351303 HAS SOUS 290382 HAS SOUPS 290382 WITH SCORE 290733.303
AT ITER 4903 NEW BEST:: SOT 762213 SOS 349467 HAS SOPS 349467 HAS SOUS 289693 HAS SOUPS 289693 WITH SCORE 290042.467
AT ITER 4911 NEW BEST:: SOT 761898 SOS 348837 HAS SOPS 348837 HAS SOUS 289063 HAS SOUPS 289063 WITH SCORE 289411.837
AT ITER 4933 NEW BEST:: SOT 762336 SOS 347453 HAS SOPS 347453 HAS SOUS 288484 HAS SOUPS 288484 WITH SCORE 288831.453
AT ITER 4940 NEW BEST:: SOT 762266 SOS 347383 HAS SOPS 347383 HAS SOUS 288414 HAS SOUPS 288414 WITH SCORE 288761.383
AT ITER 4947 NEW BEST:: SOT 762250 SOS 347231 HAS SOPS 347231 HAS SOUS 288292 HAS SOUPS 288292 WITH SCORE 288639.231
AT ITER 4949 NEW BEST:: SOT 762100 SOS 347093 HAS SOPS 347093 HAS SOUS 288181 HAS SOUPS 288181 WITH SCORE 288528.093
AT ITER 4954 NEW BEST:: SOT 762057 SOS 347019 HAS SOPS 347019 HAS SOUS 288107 HAS SOUPS 288107 WITH SCORE 288454.019
AT ITER 4980 NEW BEST:: SOT 762019 SOS 346943 HAS SOPS 346943 HAS SOUS 288031 HAS SOUPS 288031 WITH SCORE 288377.943
AT ITER 4982 NEW BEST:: SOT 761679 SOS 346021 HAS SOPS 346021 HAS SOUS 287109 HAS SOUPS 287109 WITH SCORE 287455.021
AT ITER 4993 NEW BEST:: SOT 761679 SOS 345980 HAS SOPS 345980 HAS SOUS 287068 HAS SOUPS 287068 WITH SCORE 287413.98
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-00 ( ( (EU( potential( (tk(P1242)) <= (tk(P888)) ),potential( ( 3 ) <= (tk(P691)) ) )) & (EF(( potential( ( 1 ) <= (tk(P859)) ) | potential( ( 3 ) <= (tk(P1163)) ) ))) ) | (AG( ( ( potential( ( 3 ) <= (tk(P1101)) ) & potential( (tk(P507)) <= (tk(P1159)) ) ) & ( potential( ( 2 ) <= (tk(P136)) ) | potential( ( 1 ) <= (tk(P637)) ) ) ))) )
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-01 (! (EG( (AF(potential( ( 3 ) <= (tk(P641)) ))))))
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-02 (! (EG( (AX( potential( ( 1 ) <= (tk(P724)) ))))))
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-03 (AF(( ( (! potential( (tk(P734)) <= (tk(P1178)) )) | potential( ( 2 ) <= (tk(P589)) ) ) & ( potential( (tk(P1240)) <= (tk(P314)) ) | ( potential( (tk(P1064)) <= (tk(P954)) ) & potential( ( 1 ) <= (tk(P721)) ) ) ) )))
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-04 ( ( (! ( ( potential( ( 1 ) <= (tk(P506)) ) & potential( (tk(P718)) <= (tk(P736)) ) ) | (! potential( ( 2 ) <= (tk(P1206)) )) )) | ( (AG( potential( (tk(P869)) <= (tk(P1040)) ))) & potential( (tk(P1031)) <= (tk(P930)) ) ) ) | (! potential( (tk(P583)) <= (tk(P498)) )) )
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-05 ( (AG( (AG( potential( (tk(P125)) <= (tk(P1216)) ))))) | potential( ( 2 ) <= (tk(P526)) ) )
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-06 ( (EF((EG( potential( ( 2 ) <= (tk(P467)) ))))) & (EF((EG( potential( ( 2 ) <= (tk(P242)) ))))) )
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-07 (EG( (AU( potential( (tk(P126)) <= (tk(P230)) ),potential( (tk(P964)) <= (tk(P942)) ) ))))
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-08 ( (EG( (AX( potential( (tk(P465)) <= (tk(P724)) ))))) & (! ( ( ( potential( ( 3 ) <= (tk(P906)) ) | potential( (tk(P864)) <= (tk(P528)) ) ) & ( potential( (tk(P787)) <= (tk(P1069)) ) & potential( ( 2 ) <= (tk(P312)) ) ) ) | ( potential( ( 3 ) <= (tk(P236)) ) | ( potential( (tk(P418)) <= (tk(P1027)) ) & potential( ( 3 ) <= (tk(P245)) ) ) ) )) )
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-09 (AG( (EF(( potential( (tk(P348)) <= (tk(P973)) ) & potential( ( 1 ) <= (tk(P121)) ) )))))
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-10 ( ( ( potential( (tk(P102)) <= (tk(P601)) ) & ( ( potential( ( 2 ) <= (tk(P1125)) ) & potential( (tk(P239)) <= (tk(P1093)) ) ) & ( potential( ( 2 ) <= (tk(P455)) ) | potential( ( 3 ) <= (tk(P206)) ) ) ) ) & (EU( potential( ( 3 ) <= (tk(P75)) ),potential( (tk(P671)) <= (tk(P349)) ) )) ) | (! (EF((! potential( (tk(P217)) <= (tk(P1223)) ))))) )
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-11 ( ( (EU( potential( (tk(P1204)) <= (tk(P989)) ),potential( ( 3 ) <= (tk(P280)) ) )) | (! (AF(potential( ( 1 ) <= (tk(P741)) )))) ) | (! potential( (tk(P509)) <= (tk(P953)) )) )
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-12 (AF(( (AX( potential( ( 3 ) <= (tk(P213)) ))) | (EG( potential( ( 3 ) <= (tk(P129)) ))) )))
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-13 (EX( (AG( potential( (tk(P13)) <= (tk(P630)) )))))
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-14 (EF((! (AF(potential( ( 2 ) <= (tk(P342)) ))))))
PROPERTY: ShieldPPPs-PT-040A-CTLCardinality-15 (AF(( potential( (tk(P972)) <= (tk(P1239)) ) & (! ( potential( (tk(P880)) <= (tk(P682)) ) & potential( (tk(P952)) <= (tk(P162)) ) )) )))

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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