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-159033469600524.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469600524
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-01
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-02
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-03
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-04
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-05
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-06
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-07
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-08
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-09
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-10
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-11
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-12
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-13
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-14
FORMULA_NAME ShieldPPPs-PT-040A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590446153214

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 040A
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: 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 1 NEW BEST:: SOT 836701 SOS 576898 HAS SOPS 576898 HAS SOUS 430049 HAS SOUPS 430049 WITH SCORE 430625.898
AT ITER 4 NEW BEST:: SOT 836564 SOS 576829 HAS SOPS 576829 HAS SOUS 429980 HAS SOUPS 429980 WITH SCORE 430556.829
AT ITER 5 NEW BEST:: SOT 836510 SOS 576775 HAS SOPS 576775 HAS SOUS 429926 HAS SOUPS 429926 WITH SCORE 430502.775
AT ITER 7 NEW BEST:: SOT 835990 SOS 576644 HAS SOPS 576644 HAS SOUS 429795 HAS SOUPS 429795 WITH SCORE 430371.644
AT ITER 13 NEW BEST:: SOT 835937 SOS 576591 HAS SOPS 576591 HAS SOUS 429742 HAS SOUPS 429742 WITH SCORE 430318.591
AT ITER 18 NEW BEST:: SOT 835248 SOS 576142 HAS SOPS 576142 HAS SOUS 429287 HAS SOUPS 429287 WITH SCORE 429863.142
AT ITER 52 NEW BEST:: SOT 834983 SOS 575876 HAS SOPS 575876 HAS SOUS 429021 HAS SOUPS 429021 WITH SCORE 429596.876
AT ITER 58 NEW BEST:: SOT 834970 SOS 575859 HAS SOPS 575859 HAS SOUS 428992 HAS SOUPS 428992 WITH SCORE 429567.859
AT ITER 60 NEW BEST:: SOT 834965 SOS 575854 HAS SOPS 575854 HAS SOUS 428987 HAS SOUPS 428987 WITH SCORE 429562.854
AT ITER 68 NEW BEST:: SOT 834964 SOS 575251 HAS SOPS 575251 HAS SOUS 428966 HAS SOUPS 428966 WITH SCORE 429541.251
AT ITER 79 NEW BEST:: SOT 834949 SOS 575231 HAS SOPS 575231 HAS SOUS 428932 HAS SOUPS 428932 WITH SCORE 429507.231
AT ITER 88 NEW BEST:: SOT 834937 SOS 575210 HAS SOPS 575210 HAS SOUS 428900 HAS SOUPS 428900 WITH SCORE 429475.21
AT ITER 90 NEW BEST:: SOT 834801 SOS 574530 HAS SOPS 574530 HAS SOUS 428899 HAS SOUPS 428899 WITH SCORE 429473.53
AT ITER 92 NEW BEST:: SOT 835700 SOS 572148 HAS SOPS 572148 HAS SOUS 428440 HAS SOUPS 428440 WITH SCORE 429012.148
AT ITER 95 NEW BEST:: SOT 835500 SOS 571946 HAS SOPS 571946 HAS SOUS 428238 HAS SOUPS 428238 WITH SCORE 428809.946
AT ITER 96 NEW BEST:: SOT 835338 SOS 571784 HAS SOPS 571784 HAS SOUS 428076 HAS SOUPS 428076 WITH SCORE 428647.784
AT ITER 99 NEW BEST:: SOT 835337 SOS 571226 HAS SOPS 571226 HAS SOUS 428067 HAS SOUPS 428067 WITH SCORE 428638.226
AT ITER 104 NEW BEST:: SOT 834853 SOS 570742 HAS SOPS 570742 HAS SOUS 427583 HAS SOUPS 427583 WITH SCORE 428153.742
AT ITER 108 NEW BEST:: SOT 834843 SOS 570006 HAS SOPS 570006 HAS SOUS 427472 HAS SOUPS 427472 WITH SCORE 428042.006
AT ITER 111 NEW BEST:: SOT 834834 SOS 569987 HAS SOPS 569987 HAS SOUS 427446 HAS SOUPS 427446 WITH SCORE 428015.987
AT ITER 126 NEW BEST:: SOT 834574 SOS 568722 HAS SOPS 568722 HAS SOUS 427411 HAS SOUPS 427411 WITH SCORE 427979.722
AT ITER 131 NEW BEST:: SOT 834167 SOS 566687 HAS SOPS 566687 HAS SOUS 427411 HAS SOUPS 427411 WITH SCORE 427977.687
AT ITER 135 NEW BEST:: SOT 834165 SOS 566248 HAS SOPS 566248 HAS SOUS 427255 HAS SOUPS 427255 WITH SCORE 427821.248
AT ITER 154 NEW BEST:: SOT 833664 SOS 565747 HAS SOPS 565747 HAS SOUS 426754 HAS SOUPS 426754 WITH SCORE 427319.747
AT ITER 163 NEW BEST:: SOT 833387 SOS 565467 HAS SOPS 565467 HAS SOUS 426474 HAS SOUPS 426474 WITH SCORE 427039.467
AT ITER 164 NEW BEST:: SOT 833203 SOS 565282 HAS SOPS 565282 HAS SOUS 426289 HAS SOUPS 426289 WITH SCORE 426854.282
AT ITER 171 NEW BEST:: SOT 833014 SOS 565092 HAS SOPS 565092 HAS SOUS 426099 HAS SOUPS 426099 WITH SCORE 426664.092
AT ITER 172 NEW BEST:: SOT 832761 SOS 564839 HAS SOPS 564839 HAS SOUS 425846 HAS SOUPS 425846 WITH SCORE 426410.839
AT ITER 175 NEW BEST:: SOT 832547 SOS 564625 HAS SOPS 564625 HAS SOUS 425632 HAS SOUPS 425632 WITH SCORE 426196.625
AT ITER 178 NEW BEST:: SOT 832547 SOS 564625 HAS SOPS 564625 HAS SOUS 425571 HAS SOUPS 425571 WITH SCORE 426135.625
AT ITER 180 NEW BEST:: SOT 832546 SOS 564294 HAS SOPS 564294 HAS SOUS 425550 HAS SOUPS 425550 WITH SCORE 426114.294
AT ITER 183 NEW BEST:: SOT 832277 SOS 564025 HAS SOPS 564025 HAS SOUS 425281 HAS SOUPS 425281 WITH SCORE 425845.025
AT ITER 185 NEW BEST:: SOT 832127 SOS 563847 HAS SOPS 563847 HAS SOUS 425103 HAS SOUPS 425103 WITH SCORE 425666.847
AT ITER 205 NEW BEST:: SOT 831828 SOS 562352 HAS SOPS 562352 HAS SOUS 425098 HAS SOUPS 425098 WITH SCORE 425660.352
AT ITER 211 NEW BEST:: SOT 831306 SOS 561959 HAS SOPS 561959 HAS SOUS 424641 HAS SOUPS 424641 WITH SCORE 425202.959
AT ITER 212 NEW BEST:: SOT 831009 SOS 562198 HAS SOPS 562198 HAS SOUS 424453 HAS SOUPS 424453 WITH SCORE 425015.198
AT ITER 214 NEW BEST:: SOT 831009 SOS 562175 HAS SOPS 562175 HAS SOUS 424443 HAS SOUPS 424443 WITH SCORE 425005.175
AT ITER 218 NEW BEST:: SOT 830967 SOS 561935 HAS SOPS 561935 HAS SOUS 424443 HAS SOUPS 424443 WITH SCORE 425004.935
AT ITER 221 NEW BEST:: SOT 830922 SOS 561890 HAS SOPS 561890 HAS SOUS 424398 HAS SOUPS 424398 WITH SCORE 424959.89
AT ITER 225 NEW BEST:: SOT 830451 SOS 561419 HAS SOPS 561419 HAS SOUS 423927 HAS SOUPS 423927 WITH SCORE 424488.419
AT ITER 234 NEW BEST:: SOT 830219 SOS 561174 HAS SOPS 561174 HAS SOUS 423682 HAS SOUPS 423682 WITH SCORE 424243.174
AT ITER 236 NEW BEST:: SOT 830218 SOS 559412 HAS SOPS 559412 HAS SOUS 423673 HAS SOUPS 423673 WITH SCORE 424232.412
AT ITER 239 NEW BEST:: SOT 830155 SOS 559349 HAS SOPS 559349 HAS SOUS 423610 HAS SOUPS 423610 WITH SCORE 424169.349
AT ITER 245 NEW BEST:: SOT 830125 SOS 559318 HAS SOPS 559318 HAS SOUS 423579 HAS SOUPS 423579 WITH SCORE 424138.318
AT ITER 248 NEW BEST:: SOT 829755 SOS 558948 HAS SOPS 558948 HAS SOUS 423209 HAS SOUPS 423209 WITH SCORE 423767.948
AT ITER 255 NEW BEST:: SOT 829537 SOS 558730 HAS SOPS 558730 HAS SOUS 422991 HAS SOUPS 422991 WITH SCORE 423549.73
AT ITER 268 NEW BEST:: SOT 829470 SOS 558568 HAS SOPS 558568 HAS SOUS 422769 HAS SOUPS 422769 WITH SCORE 423327.568
AT ITER 283 NEW BEST:: SOT 829321 SOS 558316 HAS SOPS 558316 HAS SOUS 422517 HAS SOUPS 422517 WITH SCORE 423075.316
AT ITER 292 NEW BEST:: SOT 828943 SOS 556426 HAS SOPS 556426 HAS SOUS 422517 HAS SOUPS 422517 WITH SCORE 423073.426
AT ITER 294 NEW BEST:: SOT 828774 SOS 554667 HAS SOPS 554667 HAS SOUS 421985 HAS SOUPS 421985 WITH SCORE 422539.667
AT ITER 297 NEW BEST:: SOT 828664 SOS 554556 HAS SOPS 554556 HAS SOUS 421874 HAS SOUPS 421874 WITH SCORE 422428.556
AT ITER 307 NEW BEST:: SOT 828472 SOS 554364 HAS SOPS 554364 HAS SOUS 421682 HAS SOUPS 421682 WITH SCORE 422236.364
AT ITER 312 NEW BEST:: SOT 828424 SOS 554268 HAS SOPS 554268 HAS SOUS 421586 HAS SOUPS 421586 WITH SCORE 422140.268
AT ITER 323 NEW BEST:: SOT 829277 SOS 552424 HAS SOPS 552424 HAS SOUS 421439 HAS SOUPS 421439 WITH SCORE 421991.424
AT ITER 328 NEW BEST:: SOT 828974 SOS 552119 HAS SOPS 552119 HAS SOUS 421134 HAS SOUPS 421134 WITH SCORE 421686.119
AT ITER 329 NEW BEST:: SOT 828628 SOS 551761 HAS SOPS 551761 HAS SOUS 420769 HAS SOUPS 420769 WITH SCORE 421320.761
AT ITER 330 NEW BEST:: SOT 828385 SOS 551506 HAS SOPS 551506 HAS SOUS 420514 HAS SOUPS 420514 WITH SCORE 421065.506
AT ITER 331 NEW BEST:: SOT 828600 SOS 549774 HAS SOPS 549774 HAS SOUS 419514 HAS SOUPS 419514 WITH SCORE 420063.774
AT ITER 343 NEW BEST:: SOT 829014 SOS 547371 HAS SOPS 547371 HAS SOUS 418958 HAS SOUPS 418958 WITH SCORE 419505.371
AT ITER 346 NEW BEST:: SOT 828932 SOS 547289 HAS SOPS 547289 HAS SOUS 418876 HAS SOUPS 418876 WITH SCORE 419423.289
AT ITER 348 NEW BEST:: SOT 828604 SOS 546961 HAS SOPS 546961 HAS SOUS 418548 HAS SOUPS 418548 WITH SCORE 419094.961
AT ITER 355 NEW BEST:: SOT 828174 SOS 546529 HAS SOPS 546529 HAS SOUS 418116 HAS SOUPS 418116 WITH SCORE 418662.529
AT ITER 367 NEW BEST:: SOT 827944 SOS 546299 HAS SOPS 546299 HAS SOUS 417886 HAS SOUPS 417886 WITH SCORE 418432.299
AT ITER 373 NEW BEST:: SOT 827787 SOS 546385 HAS SOPS 546385 HAS SOUS 417851 HAS SOUPS 417851 WITH SCORE 418397.385
AT ITER 384 NEW BEST:: SOT 827190 SOS 545788 HAS SOPS 545788 HAS SOUS 417254 HAS SOUPS 417254 WITH SCORE 417799.788
AT ITER 393 NEW BEST:: SOT 827189 SOS 545448 HAS SOPS 545448 HAS SOUS 417184 HAS SOUPS 417184 WITH SCORE 417729.448
AT ITER 396 NEW BEST:: SOT 826947 SOS 545206 HAS SOPS 545206 HAS SOUS 416942 HAS SOUPS 416942 WITH SCORE 417487.206
AT ITER 411 NEW BEST:: SOT 826595 SOS 544719 HAS SOPS 544719 HAS SOUS 416318 HAS SOUPS 416318 WITH SCORE 416862.719
AT ITER 414 NEW BEST:: SOT 826586 SOS 544708 HAS SOPS 544708 HAS SOUS 416307 HAS SOUPS 416307 WITH SCORE 416851.708
AT ITER 418 NEW BEST:: SOT 826432 SOS 544554 HAS SOPS 544554 HAS SOUS 416153 HAS SOUPS 416153 WITH SCORE 416697.554
AT ITER 421 NEW BEST:: SOT 826184 SOS 544304 HAS SOPS 544304 HAS SOUS 415903 HAS SOUPS 415903 WITH SCORE 416447.304
AT ITER 423 NEW BEST:: SOT 825590 SOS 543708 HAS SOPS 543708 HAS SOUS 415307 HAS SOUPS 415307 WITH SCORE 415850.708
AT ITER 425 NEW BEST:: SOT 825555 SOS 543673 HAS SOPS 543673 HAS SOUS 415272 HAS SOUPS 415272 WITH SCORE 415815.673
AT ITER 434 NEW BEST:: SOT 825231 SOS 543349 HAS SOPS 543349 HAS SOUS 414948 HAS SOUPS 414948 WITH SCORE 415491.349
AT ITER 436 NEW BEST:: SOT 824702 SOS 543043 HAS SOPS 543043 HAS SOUS 414531 HAS SOUPS 414531 WITH SCORE 415074.043
AT ITER 437 NEW BEST:: SOT 824702 SOS 543042 HAS SOPS 543042 HAS SOUS 414530 HAS SOUPS 414530 WITH SCORE 415073.042
AT ITER 440 NEW BEST:: SOT 824831 SOS 542910 HAS SOPS 542910 HAS SOUS 414366 HAS SOUPS 414366 WITH SCORE 414908.91
AT ITER 448 NEW BEST:: SOT 824684 SOS 542667 HAS SOPS 542667 HAS SOUS 414123 HAS SOUPS 414123 WITH SCORE 414665.667
AT ITER 451 NEW BEST:: SOT 824542 SOS 542383 HAS SOPS 542383 HAS SOUS 413839 HAS SOUPS 413839 WITH SCORE 414381.383
AT ITER 457 NEW BEST:: SOT 824315 SOS 542156 HAS SOPS 542156 HAS SOUS 413612 HAS SOUPS 413612 WITH SCORE 414154.156
AT ITER 462 NEW BEST:: SOT 823996 SOS 541837 HAS SOPS 541837 HAS SOUS 413293 HAS SOUPS 413293 WITH SCORE 413834.837
AT ITER 463 NEW BEST:: SOT 823939 SOS 541552 HAS SOPS 541552 HAS SOUS 413293 HAS SOUPS 413293 WITH SCORE 413834.552
AT ITER 473 NEW BEST:: SOT 823704 SOS 541317 HAS SOPS 541317 HAS SOUS 413058 HAS SOUPS 413058 WITH SCORE 413599.317
AT ITER 478 NEW BEST:: SOT 823374 SOS 540987 HAS SOPS 540987 HAS SOUS 412728 HAS SOUPS 412728 WITH SCORE 413268.987
AT ITER 491 NEW BEST:: SOT 823049 SOS 540893 HAS SOPS 540893 HAS SOUS 412518 HAS SOUPS 412518 WITH SCORE 413058.893
AT ITER 498 NEW BEST:: SOT 823049 SOS 540203 HAS SOPS 540203 HAS SOUS 412290 HAS SOUPS 412290 WITH SCORE 412830.203
AT ITER 504 NEW BEST:: SOT 822968 SOS 539885 HAS SOPS 539885 HAS SOUS 411985 HAS SOUPS 411985 WITH SCORE 412524.885
AT ITER 508 NEW BEST:: SOT 822967 SOS 539882 HAS SOPS 539882 HAS SOUS 411982 HAS SOUPS 411982 WITH SCORE 412521.882
AT ITER 511 NEW BEST:: SOT 822975 SOS 539878 HAS SOPS 539878 HAS SOUS 411978 HAS SOUPS 411978 WITH SCORE 412517.878
AT ITER 513 NEW BEST:: SOT 822691 SOS 539720 HAS SOPS 539720 HAS SOUS 411820 HAS SOUPS 411820 WITH SCORE 412359.72
AT ITER 516 NEW BEST:: SOT 822456 SOS 539622 HAS SOPS 539622 HAS SOUS 411654 HAS SOUPS 411654 WITH SCORE 412193.622
AT ITER 521 NEW BEST:: SOT 822452 SOS 539618 HAS SOPS 539618 HAS SOUS 411650 HAS SOUPS 411650 WITH SCORE 412189.618
AT ITER 530 NEW BEST:: SOT 822220 SOS 539635 HAS SOPS 539635 HAS SOUS 411543 HAS SOUPS 411543 WITH SCORE 412082.635
AT ITER 533 NEW BEST:: SOT 822130 SOS 538208 HAS SOPS 538208 HAS SOUS 410956 HAS SOUPS 410956 WITH SCORE 411494.208
AT ITER 545 NEW BEST:: SOT 822131 SOS 538208 HAS SOPS 538208 HAS SOUS 410954 HAS SOUPS 410954 WITH SCORE 411492.208
AT ITER 547 NEW BEST:: SOT 821897 SOS 537974 HAS SOPS 537974 HAS SOUS 410720 HAS SOUPS 410720 WITH SCORE 411257.974
AT ITER 554 NEW BEST:: SOT 821715 SOS 537792 HAS SOPS 537792 HAS SOUS 410538 HAS SOUPS 410538 WITH SCORE 411075.792
AT ITER 576 NEW BEST:: SOT 821461 SOS 536410 HAS SOPS 536410 HAS SOUS 410536 HAS SOUPS 410536 WITH SCORE 411072.41
AT ITER 579 NEW BEST:: SOT 821419 SOS 536373 HAS SOPS 536373 HAS SOUS 410498 HAS SOUPS 410498 WITH SCORE 411034.373
AT ITER 588 NEW BEST:: SOT 821280 SOS 536231 HAS SOPS 536231 HAS SOUS 410356 HAS SOUPS 410356 WITH SCORE 410892.231
AT ITER 589 NEW BEST:: SOT 820971 SOS 534686 HAS SOPS 534686 HAS SOUS 410355 HAS SOUPS 410355 WITH SCORE 410889.686
AT ITER 593 NEW BEST:: SOT 820538 SOS 532595 HAS SOPS 532595 HAS SOUS 410142 HAS SOUPS 410142 WITH SCORE 410674.595
AT ITER 594 NEW BEST:: SOT 820532 SOS 532575 HAS SOPS 532575 HAS SOUS 410118 HAS SOUPS 410118 WITH SCORE 410650.575
AT ITER 599 NEW BEST:: SOT 820354 SOS 532397 HAS SOPS 532397 HAS SOUS 409940 HAS SOUPS 409940 WITH SCORE 410472.397
AT ITER 605 NEW BEST:: SOT 820347 SOS 532390 HAS SOPS 532390 HAS SOUS 409933 HAS SOUPS 409933 WITH SCORE 410465.39
AT ITER 610 NEW BEST:: SOT 820623 SOS 530384 HAS SOPS 530384 HAS SOUS 409799 HAS SOUPS 409799 WITH SCORE 410329.384
AT ITER 611 NEW BEST:: SOT 820550 SOS 530220 HAS SOPS 530220 HAS SOUS 409558 HAS SOUPS 409558 WITH SCORE 410088.22
AT ITER 617 NEW BEST:: SOT 820716 SOS 528263 HAS SOPS 528263 HAS SOUS 409504 HAS SOUPS 409504 WITH SCORE 410032.263
AT ITER 641 NEW BEST:: SOT 820761 SOS 528292 HAS SOPS 528292 HAS SOUS 409492 HAS SOUPS 409492 WITH SCORE 410020.292
AT ITER 644 NEW BEST:: SOT 820593 SOS 528124 HAS SOPS 528124 HAS SOUS 409324 HAS SOUPS 409324 WITH SCORE 409852.124
AT ITER 645 NEW BEST:: SOT 820377 SOS 527908 HAS SOPS 527908 HAS SOUS 409108 HAS SOUPS 409108 WITH SCORE 409635.908
AT ITER 646 NEW BEST:: SOT 820511 SOS 527905 HAS SOPS 527905 HAS SOUS 409105 HAS SOUPS 409105 WITH SCORE 409632.905
AT ITER 647 NEW BEST:: SOT 820426 SOS 527739 HAS SOPS 527739 HAS SOUS 408939 HAS SOUPS 408939 WITH SCORE 409466.739
AT ITER 649 NEW BEST:: SOT 820573 SOS 525209 HAS SOPS 525209 HAS SOUS 408461 HAS SOUPS 408461 WITH SCORE 408986.209
AT ITER 666 NEW BEST:: SOT 820402 SOS 525038 HAS SOPS 525038 HAS SOUS 408290 HAS SOUPS 408290 WITH SCORE 408815.038
AT ITER 675 NEW BEST:: SOT 820172 SOS 524806 HAS SOPS 524806 HAS SOUS 408058 HAS SOUPS 408058 WITH SCORE 408582.806
AT ITER 678 NEW BEST:: SOT 820031 SOS 524665 HAS SOPS 524665 HAS SOUS 407917 HAS SOUPS 407917 WITH SCORE 408441.665
AT ITER 680 NEW BEST:: SOT 819792 SOS 524426 HAS SOPS 524426 HAS SOUS 407678 HAS SOUPS 407678 WITH SCORE 408202.426
AT ITER 689 NEW BEST:: SOT 819367 SOS 523885 HAS SOPS 523885 HAS SOUS 407137 HAS SOUPS 407137 WITH SCORE 407660.885
AT ITER 694 NEW BEST:: SOT 819317 SOS 523823 HAS SOPS 523823 HAS SOUS 407075 HAS SOUPS 407075 WITH SCORE 407598.823
AT ITER 696 NEW BEST:: SOT 819304 SOS 523758 HAS SOPS 523758 HAS SOUS 407075 HAS SOUPS 407075 WITH SCORE 407598.758
AT ITER 704 NEW BEST:: SOT 818886 SOS 520714 HAS SOPS 520714 HAS SOUS 405357 HAS SOUPS 405357 WITH SCORE 405877.714
AT ITER 710 NEW BEST:: SOT 818885 SOS 520711 HAS SOPS 520711 HAS SOUS 405354 HAS SOUPS 405354 WITH SCORE 405874.711
AT ITER 718 NEW BEST:: SOT 818877 SOS 520703 HAS SOPS 520703 HAS SOUS 405346 HAS SOUPS 405346 WITH SCORE 405866.703
AT ITER 719 NEW BEST:: SOT 818877 SOS 520700 HAS SOPS 520700 HAS SOUS 405340 HAS SOUPS 405340 WITH SCORE 405860.7
AT ITER 741 NEW BEST:: SOT 818583 SOS 520404 HAS SOPS 520404 HAS SOUS 405044 HAS SOUPS 405044 WITH SCORE 405564.404
AT ITER 745 NEW BEST:: SOT 818910 SOS 518232 HAS SOPS 518232 HAS SOUS 404813 HAS SOUPS 404813 WITH SCORE 405331.232
AT ITER 746 NEW BEST:: SOT 818910 SOS 518230 HAS SOPS 518230 HAS SOUS 404811 HAS SOUPS 404811 WITH SCORE 405329.23
AT ITER 754 NEW BEST:: SOT 818808 SOS 518037 HAS SOPS 518037 HAS SOUS 404618 HAS SOUPS 404618 WITH SCORE 405136.037
AT ITER 758 NEW BEST:: SOT 818727 SOS 517130 HAS SOPS 517130 HAS SOUS 404617 HAS SOUPS 404617 WITH SCORE 405134.13
AT ITER 766 NEW BEST:: SOT 818293 SOS 516694 HAS SOPS 516694 HAS SOUS 404181 HAS SOUPS 404181 WITH SCORE 404697.694
AT ITER 776 NEW BEST:: SOT 817951 SOS 516339 HAS SOPS 516339 HAS SOUS 403826 HAS SOUPS 403826 WITH SCORE 404342.339
AT ITER 779 NEW BEST:: SOT 817928 SOS 516316 HAS SOPS 516316 HAS SOUS 403803 HAS SOUPS 403803 WITH SCORE 404319.316
AT ITER 785 NEW BEST:: SOT 818326 SOS 516269 HAS SOPS 516269 HAS SOUS 403522 HAS SOUPS 403522 WITH SCORE 404038.269
AT ITER 791 NEW BEST:: SOT 818230 SOS 516173 HAS SOPS 516173 HAS SOUS 403426 HAS SOUPS 403426 WITH SCORE 403942.173
AT ITER 797 NEW BEST:: SOT 817897 SOS 516021 HAS SOPS 516021 HAS SOUS 403183 HAS SOUPS 403183 WITH SCORE 403699.021
AT ITER 798 NEW BEST:: SOT 817766 SOS 515366 HAS SOPS 515366 HAS SOUS 403183 HAS SOUPS 403183 WITH SCORE 403698.366
AT ITER 804 NEW BEST:: SOT 817629 SOS 515229 HAS SOPS 515229 HAS SOUS 403046 HAS SOUPS 403046 WITH SCORE 403561.229
AT ITER 806 NEW BEST:: SOT 817623 SOS 514943 HAS SOPS 514943 HAS SOUS 402760 HAS SOUPS 402760 WITH SCORE 403274.943
AT ITER 807 NEW BEST:: SOT 817461 SOS 514628 HAS SOPS 514628 HAS SOUS 402445 HAS SOUPS 402445 WITH SCORE 402959.628
AT ITER 814 NEW BEST:: SOT 817309 SOS 514476 HAS SOPS 514476 HAS SOUS 402293 HAS SOUPS 402293 WITH SCORE 402807.476
AT ITER 817 NEW BEST:: SOT 817011 SOS 514281 HAS SOPS 514281 HAS SOUS 402047 HAS SOUPS 402047 WITH SCORE 402561.281
AT ITER 818 NEW BEST:: SOT 816997 SOS 514098 HAS SOPS 514098 HAS SOUS 401864 HAS SOUPS 401864 WITH SCORE 402378.098
AT ITER 823 NEW BEST:: SOT 816786 SOS 513884 HAS SOPS 513884 HAS SOUS 401649 HAS SOUPS 401649 WITH SCORE 402162.884
AT ITER 824 NEW BEST:: SOT 816786 SOS 512533 HAS SOPS 512533 HAS SOUS 401644 HAS SOUPS 401644 WITH SCORE 402156.533
AT ITER 836 NEW BEST:: SOT 816718 SOS 512395 HAS SOPS 512395 HAS SOUS 401535 HAS SOUPS 401535 WITH SCORE 402047.395
AT ITER 839 NEW BEST:: SOT 816667 SOS 512140 HAS SOPS 512140 HAS SOUS 401535 HAS SOUPS 401535 WITH SCORE 402047.14
AT ITER 845 NEW BEST:: SOT 816653 SOS 512126 HAS SOPS 512126 HAS SOUS 401521 HAS SOUPS 401521 WITH SCORE 402033.126
AT ITER 847 NEW BEST:: SOT 816518 SOS 511992 HAS SOPS 511992 HAS SOUS 401387 HAS SOUPS 401387 WITH SCORE 401898.992
AT ITER 848 NEW BEST:: SOT 816269 SOS 511743 HAS SOPS 511743 HAS SOUS 401138 HAS SOUPS 401138 WITH SCORE 401649.743
AT ITER 850 NEW BEST:: SOT 816025 SOS 511499 HAS SOPS 511499 HAS SOUS 400894 HAS SOUPS 400894 WITH SCORE 401405.499
AT ITER 865 NEW BEST:: SOT 815915 SOS 511389 HAS SOPS 511389 HAS SOUS 400784 HAS SOUPS 400784 WITH SCORE 401295.389
AT ITER 866 NEW BEST:: SOT 815914 SOS 510930 HAS SOPS 510930 HAS SOUS 400773 HAS SOUPS 400773 WITH SCORE 401283.93
AT ITER 868 NEW BEST:: SOT 815832 SOS 510602 HAS SOPS 510602 HAS SOUS 400773 HAS SOUPS 400773 WITH SCORE 401283.602
AT ITER 900 NEW BEST:: SOT 815734 SOS 510504 HAS SOPS 510504 HAS SOUS 400675 HAS SOUPS 400675 WITH SCORE 401185.504
AT ITER 902 NEW BEST:: SOT 815386 SOS 510154 HAS SOPS 510154 HAS SOUS 400325 HAS SOUPS 400325 WITH SCORE 400835.154
AT ITER 904 NEW BEST:: SOT 815380 SOS 509554 HAS SOPS 509554 HAS SOUS 400192 HAS SOUPS 400192 WITH SCORE 400701.554
AT ITER 906 NEW BEST:: SOT 815246 SOS 509420 HAS SOPS 509420 HAS SOUS 400058 HAS SOUPS 400058 WITH SCORE 400567.42
AT ITER 920 NEW BEST:: SOT 815121 SOS 509201 HAS SOPS 509201 HAS SOUS 399719 HAS SOUPS 399719 WITH SCORE 400228.201
AT ITER 921 NEW BEST:: SOT 814838 SOS 508906 HAS SOPS 508906 HAS SOUS 399421 HAS SOUPS 399421 WITH SCORE 399929.906
AT ITER 922 NEW BEST:: SOT 814819 SOS 508887 HAS SOPS 508887 HAS SOUS 399402 HAS SOUPS 399402 WITH SCORE 399910.887
AT ITER 926 NEW BEST:: SOT 814819 SOS 507616 HAS SOPS 507616 HAS SOUS 399383 HAS SOUPS 399383 WITH SCORE 399890.616
AT ITER 929 NEW BEST:: SOT 814818 SOS 507615 HAS SOPS 507615 HAS SOUS 399382 HAS SOUPS 399382 WITH SCORE 399889.615
AT ITER 944 NEW BEST:: SOT 814818 SOS 507610 HAS SOPS 507610 HAS SOUS 399377 HAS SOUPS 399377 WITH SCORE 399884.61
AT ITER 953 NEW BEST:: SOT 814371 SOS 507163 HAS SOPS 507163 HAS SOUS 398930 HAS SOUPS 398930 WITH SCORE 399437.163
AT ITER 958 NEW BEST:: SOT 814106 SOS 506898 HAS SOPS 506898 HAS SOUS 398665 HAS SOUPS 398665 WITH SCORE 399171.898
AT ITER 961 NEW BEST:: SOT 813857 SOS 505653 HAS SOPS 505653 HAS SOUS 398665 HAS SOUPS 398665 WITH SCORE 399170.653
AT ITER 965 NEW BEST:: SOT 813741 SOS 505537 HAS SOPS 505537 HAS SOUS 398549 HAS SOUPS 398549 WITH SCORE 399054.537
AT ITER 968 NEW BEST:: SOT 813660 SOS 505456 HAS SOPS 505456 HAS SOUS 398468 HAS SOUPS 398468 WITH SCORE 398973.456
AT ITER 972 NEW BEST:: SOT 813659 SOS 504705 HAS SOPS 504705 HAS SOUS 398450 HAS SOUPS 398450 WITH SCORE 398954.705
AT ITER 973 NEW BEST:: SOT 813544 SOS 504475 HAS SOPS 504475 HAS SOUS 398220 HAS SOUPS 398220 WITH SCORE 398724.475
AT ITER 975 NEW BEST:: SOT 813508 SOS 504320 HAS SOPS 504320 HAS SOUS 398065 HAS SOUPS 398065 WITH SCORE 398569.32
AT ITER 979 NEW BEST:: SOT 813508 SOS 504318 HAS SOPS 504318 HAS SOUS 398063 HAS SOUPS 398063 WITH SCORE 398567.318
AT ITER 995 NEW BEST:: SOT 813502 SOS 504291 HAS SOPS 504291 HAS SOUS 398048 HAS SOUPS 398048 WITH SCORE 398552.291
AT ITER 1000 NEW BEST:: SOT 813697 SOS 503986 HAS SOPS 503986 HAS SOUS 397826 HAS SOUPS 397826 WITH SCORE 398329.986
AT ITER 1011 NEW BEST:: SOT 813620 SOS 503909 HAS SOPS 503909 HAS SOUS 397749 HAS SOUPS 397749 WITH SCORE 398252.909
AT ITER 1015 NEW BEST:: SOT 813616 SOS 503307 HAS SOPS 503307 HAS SOUS 397683 HAS SOUPS 397683 WITH SCORE 398186.307
AT ITER 1018 NEW BEST:: SOT 813621 SOS 502565 HAS SOPS 502565 HAS SOUS 397683 HAS SOUPS 397683 WITH SCORE 398185.565
AT ITER 1020 NEW BEST:: SOT 813547 SOS 502396 HAS SOPS 502396 HAS SOUS 397491 HAS SOUPS 397491 WITH SCORE 397993.396
AT ITER 1022 NEW BEST:: SOT 813296 SOS 501894 HAS SOPS 501894 HAS SOUS 396988 HAS SOUPS 396988 WITH SCORE 397489.894
AT ITER 1024 NEW BEST:: SOT 813258 SOS 501856 HAS SOPS 501856 HAS SOUS 396950 HAS SOUPS 396950 WITH SCORE 397451.856
AT ITER 1030 NEW BEST:: SOT 813258 SOS 501772 HAS SOPS 501772 HAS SOUS 396950 HAS SOUPS 396950 WITH SCORE 397451.772
AT ITER 1034 NEW BEST:: SOT 812900 SOS 501414 HAS SOPS 501414 HAS SOUS 396592 HAS SOUPS 396592 WITH SCORE 397093.414
AT ITER 1039 NEW BEST:: SOT 812739 SOS 501253 HAS SOPS 501253 HAS SOUS 396431 HAS SOUPS 396431 WITH SCORE 396932.253
AT ITER 1040 NEW BEST:: SOT 812865 SOS 500124 HAS SOPS 500124 HAS SOUS 395896 HAS SOUPS 395896 WITH SCORE 396396.124
AT ITER 1042 NEW BEST:: SOT 812659 SOS 499917 HAS SOPS 499917 HAS SOUS 395689 HAS SOUPS 395689 WITH SCORE 396188.917
AT ITER 1048 NEW BEST:: SOT 812390 SOS 499648 HAS SOPS 499648 HAS SOUS 395420 HAS SOUPS 395420 WITH SCORE 395919.648
AT ITER 1049 NEW BEST:: SOT 811950 SOS 498769 HAS SOPS 498769 HAS SOUS 394541 HAS SOUPS 394541 WITH SCORE 395039.769
AT ITER 1058 NEW BEST:: SOT 812051 SOS 498850 HAS SOPS 498850 HAS SOUS 394430 HAS SOUPS 394430 WITH SCORE 394928.85
AT ITER 1059 NEW BEST:: SOT 812041 SOS 498840 HAS SOPS 498840 HAS SOUS 394420 HAS SOUPS 394420 WITH SCORE 394918.84
AT ITER 1070 NEW BEST:: SOT 811909 SOS 498589 HAS SOPS 498589 HAS SOUS 394169 HAS SOUPS 394169 WITH SCORE 394667.589
AT ITER 1072 NEW BEST:: SOT 811909 SOS 497313 HAS SOPS 497313 HAS SOUS 394157 HAS SOUPS 394157 WITH SCORE 394654.313
AT ITER 1075 NEW BEST:: SOT 811881 SOS 497285 HAS SOPS 497285 HAS SOUS 394129 HAS SOUPS 394129 WITH SCORE 394626.285
AT ITER 1077 NEW BEST:: SOT 811803 SOS 497197 HAS SOPS 497197 HAS SOUS 394034 HAS SOUPS 394034 WITH SCORE 394531.197
AT ITER 1085 NEW BEST:: SOT 811698 SOS 497092 HAS SOPS 497092 HAS SOUS 393929 HAS SOUPS 393929 WITH SCORE 394426.092
AT ITER 1087 NEW BEST:: SOT 811408 SOS 496732 HAS SOPS 496732 HAS SOUS 393569 HAS SOUPS 393569 WITH SCORE 394065.732
AT ITER 1088 NEW BEST:: SOT 811381 SOS 496703 HAS SOPS 496703 HAS SOUS 393540 HAS SOUPS 393540 WITH SCORE 394036.703
AT ITER 1098 NEW BEST:: SOT 811750 SOS 496041 HAS SOPS 496041 HAS SOUS 393007 HAS SOUPS 393007 WITH SCORE 393503.041
AT ITER 1101 NEW BEST:: SOT 811311 SOS 495337 HAS SOPS 495337 HAS SOUS 392303 HAS SOUPS 392303 WITH SCORE 392798.337
AT ITER 1130 NEW BEST:: SOT 811131 SOS 495155 HAS SOPS 495155 HAS SOUS 392121 HAS SOUPS 392121 WITH SCORE 392616.155
AT ITER 1131 NEW BEST:: SOT 810915 SOS 494722 HAS SOPS 494722 HAS SOUS 391688 HAS SOUPS 391688 WITH SCORE 392182.722
AT ITER 1136 NEW BEST:: SOT 810893 SOS 494700 HAS SOPS 494700 HAS SOUS 391666 HAS SOUPS 391666 WITH SCORE 392160.7
AT ITER 1137 NEW BEST:: SOT 810863 SOS 494670 HAS SOPS 494670 HAS SOUS 391636 HAS SOUPS 391636 WITH SCORE 392130.67
AT ITER 1157 NEW BEST:: SOT 810863 SOS 493353 HAS SOPS 493353 HAS SOUS 391300 HAS SOUPS 391300 WITH SCORE 391793.353
AT ITER 1166 NEW BEST:: SOT 810737 SOS 492035 HAS SOPS 492035 HAS SOUS 389982 HAS SOUPS 389982 WITH SCORE 390474.035
AT ITER 1167 NEW BEST:: SOT 810737 SOS 492035 HAS SOPS 492035 HAS SOUS 389980 HAS SOUPS 389980 WITH SCORE 390472.035
AT ITER 1176 NEW BEST:: SOT 810689 SOS 491939 HAS SOPS 491939 HAS SOUS 389884 HAS SOUPS 389884 WITH SCORE 390375.939
AT ITER 1181 NEW BEST:: SOT 810664 SOS 491913 HAS SOPS 491913 HAS SOUS 389858 HAS SOUPS 389858 WITH SCORE 390349.913
AT ITER 1182 NEW BEST:: SOT 810658 SOS 491907 HAS SOPS 491907 HAS SOUS 389852 HAS SOUPS 389852 WITH SCORE 390343.907
AT ITER 1189 NEW BEST:: SOT 810308 SOS 490157 HAS SOPS 490157 HAS SOUS 389851 HAS SOUPS 389851 WITH SCORE 390341.157
AT ITER 1202 NEW BEST:: SOT 810194 SOS 490043 HAS SOPS 490043 HAS SOUS 389737 HAS SOUPS 389737 WITH SCORE 390227.043
AT ITER 1212 NEW BEST:: SOT 810121 SOS 489678 HAS SOPS 489678 HAS SOUS 389737 HAS SOUPS 389737 WITH SCORE 390226.678
AT ITER 1233 NEW BEST:: SOT 809914 SOS 488643 HAS SOPS 488643 HAS SOUS 389737 HAS SOUPS 389737 WITH SCORE 390225.643
AT ITER 1235 NEW BEST:: SOT 809830 SOS 488391 HAS SOPS 488391 HAS SOUS 389653 HAS SOUPS 389653 WITH SCORE 390141.391
AT ITER 1238 NEW BEST:: SOT 809762 SOS 488168 HAS SOPS 488168 HAS SOUS 389107 HAS SOUPS 389107 WITH SCORE 389595.168
AT ITER 1245 NEW BEST:: SOT 810159 SOS 488440 HAS SOPS 488440 HAS SOUS 388458 HAS SOUPS 388458 WITH SCORE 388946.44
AT ITER 1250 NEW BEST:: SOT 810402 SOS 488353 HAS SOPS 488353 HAS SOUS 388371 HAS SOUPS 388371 WITH SCORE 388859.353
AT ITER 1256 NEW BEST:: SOT 810401 SOS 488385 HAS SOPS 488385 HAS SOUS 388369 HAS SOUPS 388369 WITH SCORE 388857.385
AT ITER 1259 NEW BEST:: SOT 810342 SOS 488318 HAS SOPS 488318 HAS SOUS 388302 HAS SOUPS 388302 WITH SCORE 388790.318
AT ITER 1261 NEW BEST:: SOT 810288 SOS 489193 HAS SOPS 489193 HAS SOUS 388267 HAS SOUPS 388267 WITH SCORE 388756.193
AT ITER 1273 NEW BEST:: SOT 810285 SOS 489190 HAS SOPS 489190 HAS SOUS 388264 HAS SOUPS 388264 WITH SCORE 388753.19
AT ITER 1276 NEW BEST:: SOT 810187 SOS 489092 HAS SOPS 489092 HAS SOUS 388166 HAS SOUPS 388166 WITH SCORE 388655.092
AT ITER 1281 NEW BEST:: SOT 810132 SOS 489037 HAS SOPS 489037 HAS SOUS 388111 HAS SOUPS 388111 WITH SCORE 388600.037
AT ITER 1287 NEW BEST:: SOT 810131 SOS 488253 HAS SOPS 488253 HAS SOUS 388090 HAS SOUPS 388090 WITH SCORE 388578.253
AT ITER 1289 NEW BEST:: SOT 810129 SOS 488251 HAS SOPS 488251 HAS SOUS 388088 HAS SOUPS 388088 WITH SCORE 388576.251
AT ITER 1307 NEW BEST:: SOT 809755 SOS 487877 HAS SOPS 487877 HAS SOUS 387714 HAS SOUPS 387714 WITH SCORE 388201.877
AT ITER 1311 NEW BEST:: SOT 809751 SOS 487861 HAS SOPS 487861 HAS SOUS 387696 HAS SOUPS 387696 WITH SCORE 388183.861
AT ITER 1314 NEW BEST:: SOT 809751 SOS 486764 HAS SOPS 486764 HAS SOUS 387314 HAS SOUPS 387314 WITH SCORE 387800.764
AT ITER 1323 NEW BEST:: SOT 809703 SOS 486716 HAS SOPS 486716 HAS SOUS 387266 HAS SOUPS 387266 WITH SCORE 387752.716
AT ITER 1324 NEW BEST:: SOT 809507 SOS 486519 HAS SOPS 486519 HAS SOUS 387068 HAS SOUPS 387068 WITH SCORE 387554.519
AT ITER 1331 NEW BEST:: SOT 810001 SOS 486428 HAS SOPS 486428 HAS SOUS 386977 HAS SOUPS 386977 WITH SCORE 387463.428
AT ITER 1333 NEW BEST:: SOT 809367 SOS 485455 HAS SOPS 485455 HAS SOUS 386004 HAS SOUPS 386004 WITH SCORE 386489.455
AT ITER 1335 NEW BEST:: SOT 809365 SOS 485450 HAS SOPS 485450 HAS SOUS 385999 HAS SOUPS 385999 WITH SCORE 386484.45
AT ITER 1338 NEW BEST:: SOT 809040 SOS 484899 HAS SOPS 484899 HAS SOUS 385545 HAS SOUPS 385545 WITH SCORE 386029.899
AT ITER 1346 NEW BEST:: SOT 809043 SOS 484890 HAS SOPS 484890 HAS SOUS 385536 HAS SOUPS 385536 WITH SCORE 386020.89
AT ITER 1350 NEW BEST:: SOT 809043 SOS 484839 HAS SOPS 484839 HAS SOUS 385314 HAS SOUPS 385314 WITH SCORE 385798.839
AT ITER 1358 NEW BEST:: SOT 808671 SOS 484083 HAS SOPS 484083 HAS SOUS 384744 HAS SOUPS 384744 WITH SCORE 385228.083
AT ITER 1364 NEW BEST:: SOT 808041 SOS 483438 HAS SOPS 483438 HAS SOUS 384099 HAS SOUPS 384099 WITH SCORE 384582.438
AT ITER 1373 NEW BEST:: SOT 807895 SOS 483286 HAS SOPS 483286 HAS SOUS 383947 HAS SOUPS 383947 WITH SCORE 384430.286
AT ITER 1380 NEW BEST:: SOT 807603 SOS 482943 HAS SOPS 482943 HAS SOUS 383604 HAS SOUPS 383604 WITH SCORE 384086.943
AT ITER 1383 NEW BEST:: SOT 807603 SOS 482941 HAS SOPS 482941 HAS SOUS 383602 HAS SOUPS 383602 WITH SCORE 384084.941
AT ITER 1390 NEW BEST:: SOT 807515 SOS 482853 HAS SOPS 482853 HAS SOUS 383514 HAS SOUPS 383514 WITH SCORE 383996.853
AT ITER 1395 NEW BEST:: SOT 807514 SOS 482798 HAS SOPS 482798 HAS SOUS 383498 HAS SOUPS 383498 WITH SCORE 383980.798
AT ITER 1397 NEW BEST:: SOT 806958 SOS 482242 HAS SOPS 482242 HAS SOUS 382692 HAS SOUPS 382692 WITH SCORE 383174.242
AT ITER 1400 NEW BEST:: SOT 806957 SOS 482241 HAS SOPS 482241 HAS SOUS 382691 HAS SOUPS 382691 WITH SCORE 383173.241
AT ITER 1407 NEW BEST:: SOT 806935 SOS 482217 HAS SOPS 482217 HAS SOUS 382666 HAS SOUPS 382666 WITH SCORE 383148.217
AT ITER 1415 NEW BEST:: SOT 806400 SOS 481682 HAS SOPS 481682 HAS SOUS 382129 HAS SOUPS 382129 WITH SCORE 382610.682
AT ITER 1423 NEW BEST:: SOT 806398 SOS 481267 HAS SOPS 481267 HAS SOUS 382032 HAS SOUPS 382032 WITH SCORE 382513.267
AT ITER 1427 NEW BEST:: SOT 806398 SOS 481375 HAS SOPS 481375 HAS SOUS 381924 HAS SOUPS 381924 WITH SCORE 382405.375
AT ITER 1430 NEW BEST:: SOT 806287 SOS 481105 HAS SOPS 481105 HAS SOUS 381356 HAS SOUPS 381356 WITH SCORE 381837.105
AT ITER 1431 NEW BEST:: SOT 806287 SOS 480819 HAS SOPS 480819 HAS SOUS 381070 HAS SOUPS 381070 WITH SCORE 381550.819
AT ITER 1434 NEW BEST:: SOT 805276 SOS 479808 HAS SOPS 479808 HAS SOUS 380059 HAS SOUPS 380059 WITH SCORE 380538.808
AT ITER 1438 NEW BEST:: SOT 804636 SOS 477643 HAS SOPS 477643 HAS SOUS 378493 HAS SOUPS 378493 WITH SCORE 378970.643
AT ITER 1440 NEW BEST:: SOT 804635 SOS 477542 HAS SOPS 477542 HAS SOUS 378390 HAS SOUPS 378390 WITH SCORE 378867.542
AT ITER 1446 NEW BEST:: SOT 803842 SOS 476781 HAS SOPS 476781 HAS SOUS 376759 HAS SOUPS 376759 WITH SCORE 377235.781
AT ITER 1453 NEW BEST:: SOT 803710 SOS 476649 HAS SOPS 476649 HAS SOUS 376627 HAS SOUPS 376627 WITH SCORE 377103.649
AT ITER 1454 NEW BEST:: SOT 803709 SOS 476622 HAS SOPS 476622 HAS SOUS 376618 HAS SOUPS 376618 WITH SCORE 377094.622
AT ITER 1457 NEW BEST:: SOT 804175 SOS 476491 HAS SOPS 476491 HAS SOUS 376063 HAS SOUPS 376063 WITH SCORE 376539.491
AT ITER 1481 NEW BEST:: SOT 803492 SOS 475546 HAS SOPS 475546 HAS SOUS 375050 HAS SOUPS 375050 WITH SCORE 375525.546
AT ITER 1483 NEW BEST:: SOT 803303 SOS 474625 HAS SOPS 474625 HAS SOUS 374971 HAS SOUPS 374971 WITH SCORE 375445.625
AT ITER 1493 NEW BEST:: SOT 803271 SOS 474561 HAS SOPS 474561 HAS SOUS 374907 HAS SOUPS 374907 WITH SCORE 375381.561
AT ITER 1498 NEW BEST:: SOT 802846 SOS 473991 HAS SOPS 473991 HAS SOUS 374345 HAS SOUPS 374345 WITH SCORE 374818.991
AT ITER 1502 NEW BEST:: SOT 802332 SOS 470856 HAS SOPS 470856 HAS SOUS 372970 HAS SOUPS 372970 WITH SCORE 373440.856
AT ITER 1506 NEW BEST:: SOT 802279 SOS 470750 HAS SOPS 470750 HAS SOUS 372864 HAS SOUPS 372864 WITH SCORE 373334.75
AT ITER 1507 NEW BEST:: SOT 802028 SOS 469264 HAS SOPS 469264 HAS SOUS 372864 HAS SOUPS 372864 WITH SCORE 373333.264
AT ITER 1519 NEW BEST:: SOT 801648 SOS 468884 HAS SOPS 468884 HAS SOUS 372484 HAS SOUPS 372484 WITH SCORE 372952.884
AT ITER 1526 NEW BEST:: SOT 801571 SOS 468551 HAS SOPS 468551 HAS SOUS 371930 HAS SOUPS 371930 WITH SCORE 372398.551
AT ITER 1539 NEW BEST:: SOT 801557 SOS 468537 HAS SOPS 468537 HAS SOUS 371916 HAS SOUPS 371916 WITH SCORE 372384.537
AT ITER 1540 NEW BEST:: SOT 801523 SOS 467539 HAS SOPS 467539 HAS SOUS 371916 HAS SOUPS 371916 WITH SCORE 372383.539
AT ITER 1544 NEW BEST:: SOT 801141 SOS 466952 HAS SOPS 466952 HAS SOUS 371329 HAS SOUPS 371329 WITH SCORE 371795.952
AT ITER 1550 NEW BEST:: SOT 801087 SOS 466898 HAS SOPS 466898 HAS SOUS 371275 HAS SOUPS 371275 WITH SCORE 371741.898
AT ITER 1551 NEW BEST:: SOT 801044 SOS 466769 HAS SOPS 466769 HAS SOUS 371274 HAS SOUPS 371274 WITH SCORE 371740.769
AT ITER 1565 NEW BEST:: SOT 800856 SOS 466581 HAS SOPS 466581 HAS SOUS 371086 HAS SOUPS 371086 WITH SCORE 371552.581
AT ITER 1570 NEW BEST:: SOT 800177 SOS 466209 HAS SOPS 466209 HAS SOUS 370714 HAS SOUPS 370714 WITH SCORE 371180.209
AT ITER 1571 NEW BEST:: SOT 800026 SOS 466058 HAS SOPS 466058 HAS SOUS 370563 HAS SOUPS 370563 WITH SCORE 371029.058
AT ITER 1572 NEW BEST:: SOT 799946 SOS 465978 HAS SOPS 465978 HAS SOUS 370483 HAS SOUPS 370483 WITH SCORE 370948.978
AT ITER 1582 NEW BEST:: SOT 799922 SOS 465895 HAS SOPS 465895 HAS SOUS 370400 HAS SOUPS 370400 WITH SCORE 370865.895
AT ITER 1584 NEW BEST:: SOT 799868 SOS 465841 HAS SOPS 465841 HAS SOUS 370346 HAS SOUPS 370346 WITH SCORE 370811.841
AT ITER 1591 NEW BEST:: SOT 799771 SOS 465259 HAS SOPS 465259 HAS SOUS 370346 HAS SOUPS 370346 WITH SCORE 370811.259
AT ITER 1601 NEW BEST:: SOT 799764 SOS 465252 HAS SOPS 465252 HAS SOUS 370339 HAS SOUPS 370339 WITH SCORE 370804.252
AT ITER 1605 NEW BEST:: SOT 799706 SOS 465184 HAS SOPS 465184 HAS SOUS 370142 HAS SOUPS 370142 WITH SCORE 370607.184
AT ITER 1618 NEW BEST:: SOT 799603 SOS 465117 HAS SOPS 465117 HAS SOUS 370075 HAS SOUPS 370075 WITH SCORE 370540.117
AT ITER 1619 NEW BEST:: SOT 799779 SOS 465253 HAS SOPS 465253 HAS SOUS 369957 HAS SOUPS 369957 WITH SCORE 370422.253
AT ITER 1623 NEW BEST:: SOT 799643 SOS 461822 HAS SOPS 461822 HAS SOUS 368335 HAS SOUPS 368335 WITH SCORE 368796.822
AT ITER 1625 NEW BEST:: SOT 799631 SOS 461810 HAS SOPS 461810 HAS SOUS 368323 HAS SOUPS 368323 WITH SCORE 368784.81
AT ITER 1626 NEW BEST:: SOT 799618 SOS 461745 HAS SOPS 461745 HAS SOUS 368323 HAS SOUPS 368323 WITH SCORE 368784.745
AT ITER 1630 NEW BEST:: SOT 799128 SOS 460030 HAS SOPS 460030 HAS SOUS 367343 HAS SOUPS 367343 WITH SCORE 367803.03
AT ITER 1647 NEW BEST:: SOT 799048 SOS 458101 HAS SOPS 458101 HAS SOUS 366958 HAS SOUPS 366958 WITH SCORE 367416.101
AT ITER 1650 NEW BEST:: SOT 799047 SOS 457845 HAS SOPS 457845 HAS SOUS 366885 HAS SOUPS 366885 WITH SCORE 367342.845
AT ITER 1670 NEW BEST:: SOT 798581 SOS 455617 HAS SOPS 455617 HAS SOUS 365408 HAS SOUPS 365408 WITH SCORE 365863.617
AT ITER 1676 NEW BEST:: SOT 797904 SOS 454618 HAS SOPS 454618 HAS SOUS 364145 HAS SOUPS 364145 WITH SCORE 364599.618
AT ITER 1678 NEW BEST:: SOT 797688 SOS 454393 HAS SOPS 454393 HAS SOUS 363906 HAS SOUPS 363906 WITH SCORE 364360.393
AT ITER 1686 NEW BEST:: SOT 797687 SOS 454392 HAS SOPS 454392 HAS SOUS 363905 HAS SOUPS 363905 WITH SCORE 364359.392
AT ITER 1693 NEW BEST:: SOT 797654 SOS 454359 HAS SOPS 454359 HAS SOUS 363872 HAS SOUPS 363872 WITH SCORE 364326.359
AT ITER 1697 NEW BEST:: SOT 797471 SOS 454175 HAS SOPS 454175 HAS SOUS 363687 HAS SOUPS 363687 WITH SCORE 364141.175
AT ITER 1698 NEW BEST:: SOT 797471 SOS 454056 HAS SOPS 454056 HAS SOUS 363511 HAS SOUPS 363511 WITH SCORE 363965.056
AT ITER 1699 NEW BEST:: SOT 797415 SOS 454000 HAS SOPS 454000 HAS SOUS 363455 HAS SOUPS 363455 WITH SCORE 363909.0
AT ITER 1715 NEW BEST:: SOT 796975 SOS 453560 HAS SOPS 453560 HAS SOUS 363014 HAS SOUPS 363014 WITH SCORE 363467.56
AT ITER 1720 NEW BEST:: SOT 796678 SOS 453263 HAS SOPS 453263 HAS SOUS 362717 HAS SOUPS 362717 WITH SCORE 363170.263
AT ITER 1721 NEW BEST:: SOT 796676 SOS 451676 HAS SOPS 451676 HAS SOUS 362699 HAS SOUPS 362699 WITH SCORE 363150.676
AT ITER 1750 NEW BEST:: SOT 796319 SOS 451487 HAS SOPS 451487 HAS SOUS 362503 HAS SOUPS 362503 WITH SCORE 362954.487
AT ITER 1758 NEW BEST:: SOT 796319 SOS 449301 HAS SOPS 449301 HAS SOUS 361967 HAS SOUPS 361967 WITH SCORE 362416.301
AT ITER 1763 NEW BEST:: SOT 796318 SOS 449300 HAS SOPS 449300 HAS SOUS 361966 HAS SOUPS 361966 WITH SCORE 362415.3
AT ITER 1766 NEW BEST:: SOT 796231 SOS 449213 HAS SOPS 449213 HAS SOUS 361879 HAS SOUPS 361879 WITH SCORE 362328.213
AT ITER 1775 NEW BEST:: SOT 796230 SOS 449171 HAS SOPS 449171 HAS SOUS 361750 HAS SOUPS 361750 WITH SCORE 362199.171
AT ITER 1810 NEW BEST:: SOT 795952 SOS 448891 HAS SOPS 448891 HAS SOUS 361470 HAS SOUPS 361470 WITH SCORE 361918.891
AT ITER 1811 NEW BEST:: SOT 795731 SOS 448661 HAS SOPS 448661 HAS SOUS 361240 HAS SOUPS 361240 WITH SCORE 361688.661
AT ITER 1818 NEW BEST:: SOT 795803 SOS 448640 HAS SOPS 448640 HAS SOUS 361219 HAS SOUPS 361219 WITH SCORE 361667.64
AT ITER 1822 NEW BEST:: SOT 795834 SOS 448671 HAS SOPS 448671 HAS SOUS 360919 HAS SOUPS 360919 WITH SCORE 361367.671
AT ITER 1833 NEW BEST:: SOT 795837 SOS 448386 HAS SOPS 448386 HAS SOUS 360634 HAS SOUPS 360634 WITH SCORE 361082.386
AT ITER 1840 NEW BEST:: SOT 795834 SOS 448383 HAS SOPS 448383 HAS SOUS 360631 HAS SOUPS 360631 WITH SCORE 361079.383
AT ITER 1841 NEW BEST:: SOT 795896 SOS 447996 HAS SOPS 447996 HAS SOUS 360309 HAS SOUPS 360309 WITH SCORE 360756.996
AT ITER 1851 NEW BEST:: SOT 795894 SOS 447504 HAS SOPS 447504 HAS SOUS 360206 HAS SOUPS 360206 WITH SCORE 360653.504
AT ITER 1871 NEW BEST:: SOT 795831 SOS 447138 HAS SOPS 447138 HAS SOUS 360206 HAS SOUPS 360206 WITH SCORE 360653.138
AT ITER 1876 NEW BEST:: SOT 795757 SOS 446990 HAS SOPS 446990 HAS SOUS 360058 HAS SOUPS 360058 WITH SCORE 360504.99
AT ITER 1888 NEW BEST:: SOT 795625 SOS 446858 HAS SOPS 446858 HAS SOUS 359926 HAS SOUPS 359926 WITH SCORE 360372.858
AT ITER 1893 NEW BEST:: SOT 795391 SOS 445688 HAS SOPS 445688 HAS SOUS 359926 HAS SOUPS 359926 WITH SCORE 360371.688
AT ITER 1900 NEW BEST:: SOT 795245 SOS 445286 HAS SOPS 445286 HAS SOUS 359162 HAS SOUPS 359162 WITH SCORE 359607.286
AT ITER 1925 NEW BEST:: SOT 794223 SOS 444262 HAS SOPS 444262 HAS SOUS 358138 HAS SOUPS 358138 WITH SCORE 358582.262
AT ITER 1928 NEW BEST:: SOT 794874 SOS 442045 HAS SOPS 442045 HAS SOUS 357617 HAS SOUPS 357617 WITH SCORE 358059.045
AT ITER 1933 NEW BEST:: SOT 794552 SOS 441846 HAS SOPS 441846 HAS SOUS 357418 HAS SOUPS 357418 WITH SCORE 357859.846
AT ITER 1934 NEW BEST:: SOT 794552 SOS 441655 HAS SOPS 441655 HAS SOUS 356845 HAS SOUPS 356845 WITH SCORE 357286.655
AT ITER 1946 NEW BEST:: SOT 794434 SOS 441537 HAS SOPS 441537 HAS SOUS 356727 HAS SOUPS 356727 WITH SCORE 357168.537
AT ITER 1951 NEW BEST:: SOT 794020 SOS 441121 HAS SOPS 441121 HAS SOUS 356311 HAS SOUPS 356311 WITH SCORE 356752.121
AT ITER 1957 NEW BEST:: SOT 793945 SOS 441046 HAS SOPS 441046 HAS SOUS 356236 HAS SOUPS 356236 WITH SCORE 356677.046
AT ITER 1976 NEW BEST:: SOT 793681 SOS 440782 HAS SOPS 440782 HAS SOUS 356235 HAS SOUPS 356235 WITH SCORE 356675.782
AT ITER 1980 NEW BEST:: SOT 793472 SOS 440051 HAS SOPS 440051 HAS SOUS 355326 HAS SOUPS 355326 WITH SCORE 355766.051
AT ITER 1983 NEW BEST:: SOT 792975 SOS 439105 HAS SOPS 439105 HAS SOUS 354148 HAS SOUPS 354148 WITH SCORE 354587.105
AT ITER 1994 NEW BEST:: SOT 792792 SOS 438832 HAS SOPS 438832 HAS SOUS 353875 HAS SOUPS 353875 WITH SCORE 354313.832
AT ITER 1998 NEW BEST:: SOT 792207 SOS 438245 HAS SOPS 438245 HAS SOUS 353288 HAS SOUPS 353288 WITH SCORE 353726.245
AT ITER 2004 NEW BEST:: SOT 792203 SOS 438241 HAS SOPS 438241 HAS SOUS 353284 HAS SOUPS 353284 WITH SCORE 353722.241
AT ITER 2009 NEW BEST:: SOT 791988 SOS 438232 HAS SOPS 438232 HAS SOUS 353264 HAS SOUPS 353264 WITH SCORE 353702.232
AT ITER 2014 NEW BEST:: SOT 792013 SOS 438182 HAS SOPS 438182 HAS SOUS 353214 HAS SOUPS 353214 WITH SCORE 353652.182
AT ITER 2021 NEW BEST:: SOT 791886 SOS 438088 HAS SOPS 438088 HAS SOUS 353099 HAS SOUPS 353099 WITH SCORE 353537.088
AT ITER 2025 NEW BEST:: SOT 791471 SOS 437665 HAS SOPS 437665 HAS SOUS 352503 HAS SOUPS 352503 WITH SCORE 352940.665
AT ITER 2027 NEW BEST:: SOT 791413 SOS 437607 HAS SOPS 437607 HAS SOUS 352445 HAS SOUPS 352445 WITH SCORE 352882.607
AT ITER 2031 NEW BEST:: SOT 791410 SOS 437604 HAS SOPS 437604 HAS SOUS 352442 HAS SOUPS 352442 WITH SCORE 352879.604
AT ITER 2033 NEW BEST:: SOT 791020 SOS 437019 HAS SOPS 437019 HAS SOUS 351857 HAS SOUPS 351857 WITH SCORE 352294.019
AT ITER 2037 NEW BEST:: SOT 791020 SOS 436289 HAS SOPS 436289 HAS SOUS 351715 HAS SOUPS 351715 WITH SCORE 352151.289
AT ITER 2039 NEW BEST:: SOT 791020 SOS 436269 HAS SOPS 436269 HAS SOUS 351705 HAS SOUPS 351705 WITH SCORE 352141.269
AT ITER 2049 NEW BEST:: SOT 790727 SOS 434804 HAS SOPS 434804 HAS SOUS 350533 HAS SOUPS 350533 WITH SCORE 350967.804
AT ITER 2056 NEW BEST:: SOT 790720 SOS 434797 HAS SOPS 434797 HAS SOUS 350526 HAS SOUPS 350526 WITH SCORE 350960.797
AT ITER 2060 NEW BEST:: SOT 790659 SOS 434733 HAS SOPS 434733 HAS SOUS 350462 HAS SOUPS 350462 WITH SCORE 350896.733
AT ITER 2074 NEW BEST:: SOT 790257 SOS 434434 HAS SOPS 434434 HAS SOUS 350163 HAS SOUPS 350163 WITH SCORE 350597.434
AT ITER 2075 NEW BEST:: SOT 790452 SOS 432523 HAS SOPS 432523 HAS SOUS 349460 HAS SOUPS 349460 WITH SCORE 349892.523
AT ITER 2076 NEW BEST:: SOT 790452 SOS 432509 HAS SOPS 432509 HAS SOUS 349446 HAS SOUPS 349446 WITH SCORE 349878.509
AT ITER 2081 NEW BEST:: SOT 790198 SOS 432255 HAS SOPS 432255 HAS SOUS 349192 HAS SOUPS 349192 WITH SCORE 349624.255
AT ITER 2082 NEW BEST:: SOT 789870 SOS 431741 HAS SOPS 431741 HAS SOUS 348384 HAS SOUPS 348384 WITH SCORE 348815.741
AT ITER 2088 NEW BEST:: SOT 789869 SOS 430611 HAS SOPS 430611 HAS SOUS 348367 HAS SOUPS 348367 WITH SCORE 348797.611
AT ITER 2090 NEW BEST:: SOT 789657 SOS 429219 HAS SOPS 429219 HAS SOUS 348366 HAS SOUPS 348366 WITH SCORE 348795.219
AT ITER 2096 NEW BEST:: SOT 789363 SOS 428757 HAS SOPS 428757 HAS SOUS 347904 HAS SOUPS 347904 WITH SCORE 348332.757
AT ITER 2099 NEW BEST:: SOT 789199 SOS 428194 HAS SOPS 428194 HAS SOUS 347275 HAS SOUPS 347275 WITH SCORE 347703.194
AT ITER 2103 NEW BEST:: SOT 789230 SOS 428347 HAS SOPS 428347 HAS SOUS 347137 HAS SOUPS 347137 WITH SCORE 347565.347
AT ITER 2107 NEW BEST:: SOT 789038 SOS 427984 HAS SOPS 427984 HAS SOUS 347113 HAS SOUPS 347113 WITH SCORE 347540.984
AT ITER 2139 NEW BEST:: SOT 789029 SOS 427789 HAS SOPS 427789 HAS SOUS 346595 HAS SOUPS 346595 WITH SCORE 347022.789
AT ITER 2150 NEW BEST:: SOT 789025 SOS 427785 HAS SOPS 427785 HAS SOUS 346591 HAS SOUPS 346591 WITH SCORE 347018.785
AT ITER 2172 NEW BEST:: SOT 788880 SOS 427488 HAS SOPS 427488 HAS SOUS 346444 HAS SOUPS 346444 WITH SCORE 346871.488
AT ITER 2175 NEW BEST:: SOT 788908 SOS 427481 HAS SOPS 427481 HAS SOUS 346437 HAS SOUPS 346437 WITH SCORE 346864.481
AT ITER 2183 NEW BEST:: SOT 788684 SOS 427238 HAS SOPS 427238 HAS SOUS 346194 HAS SOUPS 346194 WITH SCORE 346621.238
AT ITER 2197 NEW BEST:: SOT 788683 SOS 427237 HAS SOPS 427237 HAS SOUS 346193 HAS SOUPS 346193 WITH SCORE 346620.237
AT ITER 2199 NEW BEST:: SOT 788458 SOS 425506 HAS SOPS 425506 HAS SOUS 345348 HAS SOUPS 345348 WITH SCORE 345773.506
AT ITER 2209 NEW BEST:: SOT 788390 SOS 425290 HAS SOPS 425290 HAS SOUS 345223 HAS SOUPS 345223 WITH SCORE 345648.29
AT ITER 2219 NEW BEST:: SOT 788081 SOS 424889 HAS SOPS 424889 HAS SOUS 344884 HAS SOUPS 344884 WITH SCORE 345308.889
AT ITER 2226 NEW BEST:: SOT 787829 SOS 424637 HAS SOPS 424637 HAS SOUS 344506 HAS SOUPS 344506 WITH SCORE 344930.637
AT ITER 2234 NEW BEST:: SOT 787535 SOS 424075 HAS SOPS 424075 HAS SOUS 344134 HAS SOUPS 344134 WITH SCORE 344558.075
AT ITER 2239 NEW BEST:: SOT 787390 SOS 423759 HAS SOPS 423759 HAS SOUS 344066 HAS SOUPS 344066 WITH SCORE 344489.759
AT ITER 2241 NEW BEST:: SOT 787088 SOS 423457 HAS SOPS 423457 HAS SOUS 343764 HAS SOUPS 343764 WITH SCORE 344187.457
AT ITER 2242 NEW BEST:: SOT 786708 SOS 423077 HAS SOPS 423077 HAS SOUS 343384 HAS SOUPS 343384 WITH SCORE 343807.077
AT ITER 2249 NEW BEST:: SOT 786781 SOS 422198 HAS SOPS 422198 HAS SOUS 342427 HAS SOUPS 342427 WITH SCORE 342849.198
AT ITER 2251 NEW BEST:: SOT 786779 SOS 421133 HAS SOPS 421133 HAS SOUS 342404 HAS SOUPS 342404 WITH SCORE 342825.133
AT ITER 2253 NEW BEST:: SOT 786731 SOS 421083 HAS SOPS 421083 HAS SOUS 342354 HAS SOUPS 342354 WITH SCORE 342775.083
AT ITER 2264 NEW BEST:: SOT 786723 SOS 421075 HAS SOPS 421075 HAS SOUS 342346 HAS SOUPS 342346 WITH SCORE 342767.075
AT ITER 2271 NEW BEST:: SOT 786669 SOS 419725 HAS SOPS 419725 HAS SOUS 342052 HAS SOUPS 342052 WITH SCORE 342471.725
AT ITER 2277 NEW BEST:: SOT 786305 SOS 419351 HAS SOPS 419351 HAS SOUS 341457 HAS SOUPS 341457 WITH SCORE 341876.351
AT ITER 2289 NEW BEST:: SOT 786236 SOS 419175 HAS SOPS 419175 HAS SOUS 341281 HAS SOUPS 341281 WITH SCORE 341700.175
AT ITER 2296 NEW BEST:: SOT 786227 SOS 419011 HAS SOPS 419011 HAS SOUS 341272 HAS SOUPS 341272 WITH SCORE 341691.011
AT ITER 2297 NEW BEST:: SOT 786243 SOS 418228 HAS SOPS 418228 HAS SOUS 341256 HAS SOUPS 341256 WITH SCORE 341674.228
AT ITER 2299 NEW BEST:: SOT 786164 SOS 418149 HAS SOPS 418149 HAS SOUS 341177 HAS SOUPS 341177 WITH SCORE 341595.149
AT ITER 2302 NEW BEST:: SOT 785427 SOS 417328 HAS SOPS 417328 HAS SOUS 340355 HAS SOUPS 340355 WITH SCORE 340772.328
AT ITER 2307 NEW BEST:: SOT 785331 SOS 417218 HAS SOPS 417218 HAS SOUS 340245 HAS SOUPS 340245 WITH SCORE 340662.218
AT ITER 2326 NEW BEST:: SOT 785326 SOS 417120 HAS SOPS 417120 HAS SOUS 340235 HAS SOUPS 340235 WITH SCORE 340652.12
AT ITER 2328 NEW BEST:: SOT 785310 SOS 417104 HAS SOPS 417104 HAS SOUS 340219 HAS SOUPS 340219 WITH SCORE 340636.104
AT ITER 2331 NEW BEST:: SOT 785108 SOS 416902 HAS SOPS 416902 HAS SOUS 339907 HAS SOUPS 339907 WITH SCORE 340323.902
AT ITER 2342 NEW BEST:: SOT 785107 SOS 416889 HAS SOPS 416889 HAS SOUS 339734 HAS SOUPS 339734 WITH SCORE 340150.889
AT ITER 2352 NEW BEST:: SOT 784783 SOS 416384 HAS SOPS 416384 HAS SOUS 339250 HAS SOUPS 339250 WITH SCORE 339666.384
AT ITER 2354 NEW BEST:: SOT 784761 SOS 416030 HAS SOPS 416030 HAS SOUS 339182 HAS SOUPS 339182 WITH SCORE 339598.03
AT ITER 2360 NEW BEST:: SOT 784761 SOS 416028 HAS SOPS 416028 HAS SOUS 339180 HAS SOUPS 339180 WITH SCORE 339596.028
AT ITER 2362 NEW BEST:: SOT 784363 SOS 415147 HAS SOPS 415147 HAS SOUS 338299 HAS SOUPS 338299 WITH SCORE 338714.147
AT ITER 2366 NEW BEST:: SOT 783955 SOS 414483 HAS SOPS 414483 HAS SOUS 337635 HAS SOUPS 337635 WITH SCORE 338049.483
AT ITER 2388 NEW BEST:: SOT 783955 SOS 414768 HAS SOPS 414768 HAS SOUS 337604 HAS SOUPS 337604 WITH SCORE 338018.768
AT ITER 2399 NEW BEST:: SOT 783929 SOS 414742 HAS SOPS 414742 HAS SOUS 337578 HAS SOUPS 337578 WITH SCORE 337992.742
AT ITER 2400 NEW BEST:: SOT 783718 SOS 413687 HAS SOPS 413687 HAS SOUS 337578 HAS SOUPS 337578 WITH SCORE 337991.687
AT ITER 2421 NEW BEST:: SOT 783707 SOS 413664 HAS SOPS 413664 HAS SOUS 337554 HAS SOUPS 337554 WITH SCORE 337967.664
AT ITER 2424 NEW BEST:: SOT 783748 SOS 413655 HAS SOPS 413655 HAS SOUS 337545 HAS SOUPS 337545 WITH SCORE 337958.655
AT ITER 2427 NEW BEST:: SOT 783466 SOS 413332 HAS SOPS 413332 HAS SOUS 337204 HAS SOUPS 337204 WITH SCORE 337617.332
AT ITER 2434 NEW BEST:: SOT 783466 SOS 411463 HAS SOPS 411463 HAS SOUS 336589 HAS SOUPS 336589 WITH SCORE 337000.463
AT ITER 2437 NEW BEST:: SOT 783452 SOS 411445 HAS SOPS 411445 HAS SOUS 336571 HAS SOUPS 336571 WITH SCORE 336982.445
AT ITER 2440 NEW BEST:: SOT 783315 SOS 411306 HAS SOPS 411306 HAS SOUS 336432 HAS SOUPS 336432 WITH SCORE 336843.306
AT ITER 2460 NEW BEST:: SOT 783314 SOS 411134 HAS SOPS 411134 HAS SOUS 336296 HAS SOUPS 336296 WITH SCORE 336707.134
AT ITER 2489 NEW BEST:: SOT 783362 SOS 411018 HAS SOPS 411018 HAS SOUS 336201 HAS SOUPS 336201 WITH SCORE 336612.018
AT ITER 2495 NEW BEST:: SOT 783327 SOS 410585 HAS SOPS 410585 HAS SOUS 335768 HAS SOUPS 335768 WITH SCORE 336178.585
AT ITER 2502 NEW BEST:: SOT 783528 SOS 410723 HAS SOPS 410723 HAS SOUS 335410 HAS SOUPS 335410 WITH SCORE 335820.723
AT ITER 2503 NEW BEST:: SOT 783808 SOS 411000 HAS SOPS 411000 HAS SOUS 335291 HAS SOUPS 335291 WITH SCORE 335702.0
AT ITER 2504 NEW BEST:: SOT 783658 SOS 410775 HAS SOPS 410775 HAS SOUS 335066 HAS SOUPS 335066 WITH SCORE 335476.775
AT ITER 2507 NEW BEST:: SOT 783640 SOS 410739 HAS SOPS 410739 HAS SOUS 335064 HAS SOUPS 335064 WITH SCORE 335474.739
AT ITER 2509 NEW BEST:: SOT 783970 SOS 410208 HAS SOPS 410208 HAS SOUS 334637 HAS SOUPS 334637 WITH SCORE 335047.208
AT ITER 2514 NEW BEST:: SOT 783970 SOS 410180 HAS SOPS 410180 HAS SOUS 334596 HAS SOUPS 334596 WITH SCORE 335006.18
AT ITER 2519 NEW BEST:: SOT 783846 SOS 409897 HAS SOPS 409897 HAS SOUS 334313 HAS SOUPS 334313 WITH SCORE 334722.897
AT ITER 2522 NEW BEST:: SOT 783700 SOS 409751 HAS SOPS 409751 HAS SOUS 334167 HAS SOUPS 334167 WITH SCORE 334576.751
AT ITER 2555 NEW BEST:: SOT 783338 SOS 409389 HAS SOPS 409389 HAS SOUS 333805 HAS SOUPS 333805 WITH SCORE 334214.389
AT ITER 2556 NEW BEST:: SOT 783279 SOS 409330 HAS SOPS 409330 HAS SOUS 333713 HAS SOUPS 333713 WITH SCORE 334122.33
AT ITER 2564 NEW BEST:: SOT 783245 SOS 409240 HAS SOPS 409240 HAS SOUS 333623 HAS SOUPS 333623 WITH SCORE 334032.24
AT ITER 2566 NEW BEST:: SOT 783245 SOS 409321 HAS SOPS 409321 HAS SOUS 333621 HAS SOUPS 333621 WITH SCORE 334030.321
AT ITER 2567 NEW BEST:: SOT 783089 SOS 408754 HAS SOPS 408754 HAS SOUS 333420 HAS SOUPS 333420 WITH SCORE 333828.754
AT ITER 2571 NEW BEST:: SOT 783087 SOS 408677 HAS SOPS 408677 HAS SOUS 333386 HAS SOUPS 333386 WITH SCORE 333794.677
AT ITER 2575 NEW BEST:: SOT 783006 SOS 408596 HAS SOPS 408596 HAS SOUS 333305 HAS SOUPS 333305 WITH SCORE 333713.596
AT ITER 2576 NEW BEST:: SOT 782864 SOS 408454 HAS SOPS 408454 HAS SOUS 333163 HAS SOUPS 333163 WITH SCORE 333571.454
AT ITER 2605 NEW BEST:: SOT 782938 SOS 408578 HAS SOPS 408578 HAS SOUS 332865 HAS SOUPS 332865 WITH SCORE 333273.578
AT ITER 2609 NEW BEST:: SOT 782730 SOS 408584 HAS SOPS 408584 HAS SOUS 332754 HAS SOUPS 332754 WITH SCORE 333162.584
AT ITER 2623 NEW BEST:: SOT 782666 SOS 408549 HAS SOPS 408549 HAS SOUS 332653 HAS SOUPS 332653 WITH SCORE 333061.549
AT ITER 2627 NEW BEST:: SOT 782579 SOS 408424 HAS SOPS 408424 HAS SOUS 332528 HAS SOUPS 332528 WITH SCORE 332936.424
AT ITER 2636 NEW BEST:: SOT 782221 SOS 408184 HAS SOPS 408184 HAS SOUS 332288 HAS SOUPS 332288 WITH SCORE 332696.184
AT ITER 2637 NEW BEST:: SOT 782221 SOS 408182 HAS SOPS 408182 HAS SOUS 332287 HAS SOUPS 332287 WITH SCORE 332695.182
AT ITER 2640 NEW BEST:: SOT 782235 SOS 407981 HAS SOPS 407981 HAS SOUS 332125 HAS SOUPS 332125 WITH SCORE 332532.981
AT ITER 2643 NEW BEST:: SOT 782356 SOS 407459 HAS SOPS 407459 HAS SOUS 331830 HAS SOUPS 331830 WITH SCORE 332237.459
AT ITER 2646 NEW BEST:: SOT 780745 SOS 402694 HAS SOPS 402694 HAS SOUS 328815 HAS SOUPS 328815 WITH SCORE 329217.694
AT ITER 2665 NEW BEST:: SOT 780409 SOS 402192 HAS SOPS 402192 HAS SOUS 328135 HAS SOUPS 328135 WITH SCORE 328537.192
AT ITER 2681 NEW BEST:: SOT 780130 SOS 401913 HAS SOPS 401913 HAS SOUS 327837 HAS SOUPS 327837 WITH SCORE 328238.913
AT ITER 2683 NEW BEST:: SOT 780269 SOS 401774 HAS SOPS 401774 HAS SOUS 327698 HAS SOUPS 327698 WITH SCORE 328099.774
AT ITER 2687 NEW BEST:: SOT 780547 SOS 400306 HAS SOPS 400306 HAS SOUS 327380 HAS SOUPS 327380 WITH SCORE 327780.306
AT ITER 2720 NEW BEST:: SOT 780215 SOS 399135 HAS SOPS 399135 HAS SOUS 327205 HAS SOUPS 327205 WITH SCORE 327604.135
AT ITER 2768 NEW BEST:: SOT 780188 SOS 398732 HAS SOPS 398732 HAS SOUS 326793 HAS SOUPS 326793 WITH SCORE 327191.732
AT ITER 2770 NEW BEST:: SOT 779786 SOS 398275 HAS SOPS 398275 HAS SOUS 326336 HAS SOUPS 326336 WITH SCORE 326734.275
AT ITER 2774 NEW BEST:: SOT 779481 SOS 397957 HAS SOPS 397957 HAS SOUS 326014 HAS SOUPS 326014 WITH SCORE 326411.957
AT ITER 2784 NEW BEST:: SOT 779458 SOS 397934 HAS SOPS 397934 HAS SOUS 325991 HAS SOUPS 325991 WITH SCORE 326388.934
AT ITER 2788 NEW BEST:: SOT 779951 SOS 396258 HAS SOPS 396258 HAS SOUS 325724 HAS SOUPS 325724 WITH SCORE 326120.258
AT ITER 2803 NEW BEST:: SOT 779593 SOS 395900 HAS SOPS 395900 HAS SOUS 325366 HAS SOUPS 325366 WITH SCORE 325761.9
AT ITER 2804 NEW BEST:: SOT 779611 SOS 395890 HAS SOPS 395890 HAS SOUS 325356 HAS SOUPS 325356 WITH SCORE 325751.89
AT ITER 2812 NEW BEST:: SOT 779610 SOS 395889 HAS SOPS 395889 HAS SOUS 325355 HAS SOUPS 325355 WITH SCORE 325750.889
AT ITER 2826 NEW BEST:: SOT 779594 SOS 395745 HAS SOPS 395745 HAS SOUS 325355 HAS SOUPS 325355 WITH SCORE 325750.745
AT ITER 2831 NEW BEST:: SOT 780032 SOS 395200 HAS SOPS 395200 HAS SOUS 325208 HAS SOUPS 325208 WITH SCORE 325603.2
AT ITER 2842 NEW BEST:: SOT 780089 SOS 395165 HAS SOPS 395165 HAS SOUS 325114 HAS SOUPS 325114 WITH SCORE 325509.165
AT ITER 2867 NEW BEST:: SOT 780013 SOS 395105 HAS SOPS 395105 HAS SOUS 324801 HAS SOUPS 324801 WITH SCORE 325196.105
AT ITER 2869 NEW BEST:: SOT 780013 SOS 394184 HAS SOPS 394184 HAS SOUS 324722 HAS SOUPS 324722 WITH SCORE 325116.184
AT ITER 2875 NEW BEST:: SOT 779999 SOS 394170 HAS SOPS 394170 HAS SOUS 324696 HAS SOUPS 324696 WITH SCORE 325090.17
AT ITER 2877 NEW BEST:: SOT 779935 SOS 394103 HAS SOPS 394103 HAS SOUS 324629 HAS SOUPS 324629 WITH SCORE 325023.103
AT ITER 2878 NEW BEST:: SOT 779941 SOS 393962 HAS SOPS 393962 HAS SOUS 324463 HAS SOUPS 324463 WITH SCORE 324856.962
AT ITER 2889 NEW BEST:: SOT 779844 SOS 393865 HAS SOPS 393865 HAS SOUS 324269 HAS SOUPS 324269 WITH SCORE 324662.865
AT ITER 2893 NEW BEST:: SOT 779839 SOS 393614 HAS SOPS 393614 HAS SOUS 324190 HAS SOUPS 324190 WITH SCORE 324583.614
AT ITER 2903 NEW BEST:: SOT 779772 SOS 393520 HAS SOPS 393520 HAS SOUS 323922 HAS SOUPS 323922 WITH SCORE 324315.52
AT ITER 2912 NEW BEST:: SOT 779772 SOS 392210 HAS SOPS 392210 HAS SOUS 323398 HAS SOUPS 323398 WITH SCORE 323790.21
AT ITER 2916 NEW BEST:: SOT 779771 SOS 392203 HAS SOPS 392203 HAS SOUS 323385 HAS SOUPS 323385 WITH SCORE 323777.203
AT ITER 2922 NEW BEST:: SOT 779730 SOS 392156 HAS SOPS 392156 HAS SOUS 323330 HAS SOUPS 323330 WITH SCORE 323722.156
AT ITER 2923 NEW BEST:: SOT 779296 SOS 390962 HAS SOPS 390962 HAS SOUS 322136 HAS SOUPS 322136 WITH SCORE 322526.962
AT ITER 2924 NEW BEST:: SOT 779265 SOS 390931 HAS SOPS 390931 HAS SOUS 322105 HAS SOUPS 322105 WITH SCORE 322495.931
AT ITER 2928 NEW BEST:: SOT 779141 SOS 390816 HAS SOPS 390816 HAS SOUS 321990 HAS SOUPS 321990 WITH SCORE 322380.816
AT ITER 2933 NEW BEST:: SOT 779040 SOS 390714 HAS SOPS 390714 HAS SOUS 321888 HAS SOUPS 321888 WITH SCORE 322278.714
AT ITER 2946 NEW BEST:: SOT 778854 SOS 390528 HAS SOPS 390528 HAS SOUS 321702 HAS SOUPS 321702 WITH SCORE 322092.528
AT ITER 2966 NEW BEST:: SOT 778610 SOS 390194 HAS SOPS 390194 HAS SOUS 321190 HAS SOUPS 321190 WITH SCORE 321580.194
AT ITER 2969 NEW BEST:: SOT 778547 SOS 390129 HAS SOPS 390129 HAS SOUS 321125 HAS SOUPS 321125 WITH SCORE 321515.129
AT ITER 2972 NEW BEST:: SOT 778554 SOS 390129 HAS SOPS 390129 HAS SOUS 321118 HAS SOUPS 321118 WITH SCORE 321508.129
AT ITER 2975 NEW BEST:: SOT 778351 SOS 389762 HAS SOPS 389762 HAS SOUS 320751 HAS SOUPS 320751 WITH SCORE 321140.762
AT ITER 2980 NEW BEST:: SOT 778351 SOS 389448 HAS SOPS 389448 HAS SOUS 320674 HAS SOUPS 320674 WITH SCORE 321063.448
AT ITER 2986 NEW BEST:: SOT 778289 SOS 389295 HAS SOPS 389295 HAS SOUS 320432 HAS SOUPS 320432 WITH SCORE 320821.295
AT ITER 2998 NEW BEST:: SOT 778164 SOS 389212 HAS SOPS 389212 HAS SOUS 320349 HAS SOUPS 320349 WITH SCORE 320738.212
AT ITER 3000 NEW BEST:: SOT 778133 SOS 389181 HAS SOPS 389181 HAS SOUS 320318 HAS SOUPS 320318 WITH SCORE 320707.181
AT ITER 3001 NEW BEST:: SOT 778133 SOS 388823 HAS SOPS 388823 HAS SOUS 320309 HAS SOUPS 320309 WITH SCORE 320697.823
AT ITER 3002 NEW BEST:: SOT 777982 SOS 388672 HAS SOPS 388672 HAS SOUS 320158 HAS SOUPS 320158 WITH SCORE 320546.672
AT ITER 3007 NEW BEST:: SOT 777884 SOS 388574 HAS SOPS 388574 HAS SOUS 320060 HAS SOUPS 320060 WITH SCORE 320448.574
AT ITER 3014 NEW BEST:: SOT 777879 SOS 388451 HAS SOPS 388451 HAS SOUS 319937 HAS SOUPS 319937 WITH SCORE 320325.451
AT ITER 3035 NEW BEST:: SOT 777597 SOS 388376 HAS SOPS 388376 HAS SOUS 319811 HAS SOUPS 319811 WITH SCORE 320199.376
AT ITER 3094 NEW BEST:: SOT 777548 SOS 388327 HAS SOPS 388327 HAS SOUS 319762 HAS SOUPS 319762 WITH SCORE 320150.327
AT ITER 3124 NEW BEST:: SOT 777548 SOS 388073 HAS SOPS 388073 HAS SOUS 319612 HAS SOUPS 319612 WITH SCORE 320000.073
AT ITER 3133 NEW BEST:: SOT 777414 SOS 387814 HAS SOPS 387814 HAS SOUS 319353 HAS SOUPS 319353 WITH SCORE 319740.814
AT ITER 3141 NEW BEST:: SOT 777383 SOS 387773 HAS SOPS 387773 HAS SOUS 319305 HAS SOUPS 319305 WITH SCORE 319692.773
AT ITER 3142 NEW BEST:: SOT 777062 SOS 387492 HAS SOPS 387492 HAS SOUS 318689 HAS SOUPS 318689 WITH SCORE 319076.492
AT ITER 3144 NEW BEST:: SOT 777056 SOS 387483 HAS SOPS 387483 HAS SOUS 318680 HAS SOUPS 318680 WITH SCORE 319067.483
AT ITER 3147 NEW BEST:: SOT 776885 SOS 387110 HAS SOPS 387110 HAS SOUS 318363 HAS SOUPS 318363 WITH SCORE 318750.11
AT ITER 3159 NEW BEST:: SOT 776885 SOS 387093 HAS SOPS 387093 HAS SOUS 318310 HAS SOUPS 318310 WITH SCORE 318697.093
AT ITER 3162 NEW BEST:: SOT 777168 SOS 387076 HAS SOPS 387076 HAS SOUS 318279 HAS SOUPS 318279 WITH SCORE 318666.076
AT ITER 3164 NEW BEST:: SOT 777196 SOS 387024 HAS SOPS 387024 HAS SOUS 317954 HAS SOUPS 317954 WITH SCORE 318341.024
AT ITER 3179 NEW BEST:: SOT 777190 SOS 387018 HAS SOPS 387018 HAS SOUS 317948 HAS SOUPS 317948 WITH SCORE 318335.018
AT ITER 3184 NEW BEST:: SOT 777190 SOS 386935 HAS SOPS 386935 HAS SOUS 317930 HAS SOUPS 317930 WITH SCORE 318316.935
AT ITER 3189 NEW BEST:: SOT 777150 SOS 386083 HAS SOPS 386083 HAS SOUS 317633 HAS SOUPS 317633 WITH SCORE 318019.083
AT ITER 3195 NEW BEST:: SOT 776980 SOS 385700 HAS SOPS 385700 HAS SOUS 317250 HAS SOUPS 317250 WITH SCORE 317635.7
AT ITER 3215 NEW BEST:: SOT 776850 SOS 385298 HAS SOPS 385298 HAS SOUS 316860 HAS SOUPS 316860 WITH SCORE 317245.298
AT ITER 3216 NEW BEST:: SOT 776800 SOS 385136 HAS SOPS 385136 HAS SOUS 316721 HAS SOUPS 316721 WITH SCORE 317106.136
AT ITER 3218 NEW BEST:: SOT 776778 SOS 385038 HAS SOPS 385038 HAS SOUS 316643 HAS SOUPS 316643 WITH SCORE 317028.038
AT ITER 3227 NEW BEST:: SOT 776741 SOS 384853 HAS SOPS 384853 HAS SOUS 316643 HAS SOUPS 316643 WITH SCORE 317027.853
AT ITER 3249 NEW BEST:: SOT 776741 SOS 384081 HAS SOPS 384081 HAS SOUS 316615 HAS SOUPS 316615 WITH SCORE 316999.081
AT ITER 3258 NEW BEST:: SOT 776683 SOS 383973 HAS SOPS 383973 HAS SOUS 316507 HAS SOUPS 316507 WITH SCORE 316890.973
AT ITER 3267 NEW BEST:: SOT 776777 SOS 383719 HAS SOPS 383719 HAS SOUS 316439 HAS SOUPS 316439 WITH SCORE 316822.719
AT ITER 3276 NEW BEST:: SOT 776274 SOS 383200 HAS SOPS 383200 HAS SOUS 315920 HAS SOUPS 315920 WITH SCORE 316303.2
AT ITER 3282 NEW BEST:: SOT 776148 SOS 383074 HAS SOPS 383074 HAS SOUS 315794 HAS SOUPS 315794 WITH SCORE 316177.074
AT ITER 3289 NEW BEST:: SOT 776124 SOS 383049 HAS SOPS 383049 HAS SOUS 315757 HAS SOUPS 315757 WITH SCORE 316140.049
AT ITER 3295 NEW BEST:: SOT 776142 SOS 382088 HAS SOPS 382088 HAS SOUS 315480 HAS SOUPS 315480 WITH SCORE 315862.088
AT ITER 3307 NEW BEST:: SOT 776142 SOS 382071 HAS SOPS 382071 HAS SOUS 315463 HAS SOUPS 315463 WITH SCORE 315845.071
AT ITER 3311 NEW BEST:: SOT 775876 SOS 381805 HAS SOPS 381805 HAS SOUS 315197 HAS SOUPS 315197 WITH SCORE 315578.805
AT ITER 3323 NEW BEST:: SOT 775699 SOS 381625 HAS SOPS 381625 HAS SOUS 315017 HAS SOUPS 315017 WITH SCORE 315398.625
AT ITER 3345 NEW BEST:: SOT 775465 SOS 381391 HAS SOPS 381391 HAS SOUS 314783 HAS SOUPS 314783 WITH SCORE 315164.391
AT ITER 3347 NEW BEST:: SOT 775463 SOS 381389 HAS SOPS 381389 HAS SOUS 314781 HAS SOUPS 314781 WITH SCORE 315162.389
AT ITER 3350 NEW BEST:: SOT 775206 SOS 381358 HAS SOPS 381358 HAS SOUS 314651 HAS SOUPS 314651 WITH SCORE 315032.358
AT ITER 3366 NEW BEST:: SOT 775092 SOS 381244 HAS SOPS 381244 HAS SOUS 314537 HAS SOUPS 314537 WITH SCORE 314918.244
AT ITER 3368 NEW BEST:: SOT 774986 SOS 381188 HAS SOPS 381188 HAS SOUS 314481 HAS SOUPS 314481 WITH SCORE 314862.188
AT ITER 3399 NEW BEST:: SOT 774986 SOS 380098 HAS SOPS 380098 HAS SOUS 314255 HAS SOUPS 314255 WITH SCORE 314635.098
AT ITER 3403 NEW BEST:: SOT 774249 SOS 378855 HAS SOPS 378855 HAS SOUS 312920 HAS SOUPS 312920 WITH SCORE 313298.855
AT ITER 3414 NEW BEST:: SOT 774340 SOS 378970 HAS SOPS 378970 HAS SOUS 312870 HAS SOUPS 312870 WITH SCORE 313248.97
AT ITER 3416 NEW BEST:: SOT 774706 SOS 377399 HAS SOPS 377399 HAS SOUS 312455 HAS SOUPS 312455 WITH SCORE 312832.399
AT ITER 3421 NEW BEST:: SOT 774600 SOS 377293 HAS SOPS 377293 HAS SOUS 312352 HAS SOUPS 312352 WITH SCORE 312729.293
AT ITER 3444 NEW BEST:: SOT 774600 SOS 377150 HAS SOPS 377150 HAS SOUS 312209 HAS SOUPS 312209 WITH SCORE 312586.15
AT ITER 3445 NEW BEST:: SOT 775101 SOS 378582 HAS SOPS 378582 HAS SOUS 312183 HAS SOUPS 312183 WITH SCORE 312561.582
AT ITER 3447 NEW BEST:: SOT 775079 SOS 378542 HAS SOPS 378542 HAS SOUS 312143 HAS SOUPS 312143 WITH SCORE 312521.542
AT ITER 3452 NEW BEST:: SOT 774026 SOS 377489 HAS SOPS 377489 HAS SOUS 310987 HAS SOUPS 310987 WITH SCORE 311364.489
AT ITER 3471 NEW BEST:: SOT 773746 SOS 376926 HAS SOPS 376926 HAS SOUS 310442 HAS SOUPS 310442 WITH SCORE 310818.926
AT ITER 3473 NEW BEST:: SOT 773932 SOS 376632 HAS SOPS 376632 HAS SOUS 310201 HAS SOUPS 310201 WITH SCORE 310577.632
AT ITER 3480 NEW BEST:: SOT 773923 SOS 376506 HAS SOPS 376506 HAS SOUS 310075 HAS SOUPS 310075 WITH SCORE 310451.506
AT ITER 3482 NEW BEST:: SOT 773816 SOS 376399 HAS SOPS 376399 HAS SOUS 309968 HAS SOUPS 309968 WITH SCORE 310344.399
AT ITER 3498 NEW BEST:: SOT 773777 SOS 376204 HAS SOPS 376204 HAS SOUS 309967 HAS SOUPS 309967 WITH SCORE 310343.204
AT ITER 3515 NEW BEST:: SOT 773776 SOS 376165 HAS SOPS 376165 HAS SOUS 309848 HAS SOUPS 309848 WITH SCORE 310224.165
AT ITER 3518 NEW BEST:: SOT 773673 SOS 376062 HAS SOPS 376062 HAS SOUS 309745 HAS SOUPS 309745 WITH SCORE 310121.062
AT ITER 3520 NEW BEST:: SOT 773874 SOS 374895 HAS SOPS 374895 HAS SOUS 309391 HAS SOUPS 309391 WITH SCORE 309765.895
AT ITER 3540 NEW BEST:: SOT 773714 SOS 374473 HAS SOPS 374473 HAS SOUS 308969 HAS SOUPS 308969 WITH SCORE 309343.473
AT ITER 3557 NEW BEST:: SOT 773670 SOS 374252 HAS SOPS 374252 HAS SOUS 308917 HAS SOUPS 308917 WITH SCORE 309291.252
AT ITER 3576 NEW BEST:: SOT 773539 SOS 374121 HAS SOPS 374121 HAS SOUS 308786 HAS SOUPS 308786 WITH SCORE 309160.121
AT ITER 3578 NEW BEST:: SOT 773510 SOS 374066 HAS SOPS 374066 HAS SOUS 308731 HAS SOUPS 308731 WITH SCORE 309105.066
AT ITER 3580 NEW BEST:: SOT 773422 SOS 373988 HAS SOPS 373988 HAS SOUS 308653 HAS SOUPS 308653 WITH SCORE 309026.988
AT ITER 3593 NEW BEST:: SOT 773351 SOS 373788 HAS SOPS 373788 HAS SOUS 308624 HAS SOUPS 308624 WITH SCORE 308997.788
AT ITER 3597 NEW BEST:: SOT 772665 SOS 373100 HAS SOPS 373100 HAS SOUS 307936 HAS SOUPS 307936 WITH SCORE 308309.1
AT ITER 3601 NEW BEST:: SOT 772403 SOS 372830 HAS SOPS 372830 HAS SOUS 307418 HAS SOUPS 307418 WITH SCORE 307790.83
AT ITER 3604 NEW BEST:: SOT 771679 SOS 369550 HAS SOPS 369550 HAS SOUS 305223 HAS SOUPS 305223 WITH SCORE 305592.55
AT ITER 3627 NEW BEST:: SOT 771746 SOS 369148 HAS SOPS 369148 HAS SOUS 305208 HAS SOUPS 305208 WITH SCORE 305577.148
AT ITER 3632 NEW BEST:: SOT 771728 SOS 369112 HAS SOPS 369112 HAS SOUS 305190 HAS SOUPS 305190 WITH SCORE 305559.112
AT ITER 3639 NEW BEST:: SOT 771535 SOS 368340 HAS SOPS 368340 HAS SOUS 304611 HAS SOUPS 304611 WITH SCORE 304979.34
AT ITER 3643 NEW BEST:: SOT 771530 SOS 368325 HAS SOPS 368325 HAS SOUS 304606 HAS SOUPS 304606 WITH SCORE 304974.325
AT ITER 3675 NEW BEST:: SOT 771337 SOS 368270 HAS SOPS 368270 HAS SOUS 304551 HAS SOUPS 304551 WITH SCORE 304919.27
AT ITER 3691 NEW BEST:: SOT 771302 SOS 366649 HAS SOPS 366649 HAS SOUS 304126 HAS SOUPS 304126 WITH SCORE 304492.649
AT ITER 3693 NEW BEST:: SOT 770978 SOS 366553 HAS SOPS 366553 HAS SOUS 303801 HAS SOUPS 303801 WITH SCORE 304167.553
AT ITER 3694 NEW BEST:: SOT 770937 SOS 365834 HAS SOPS 365834 HAS SOUS 303742 HAS SOUPS 303742 WITH SCORE 304107.834
AT ITER 3700 NEW BEST:: SOT 770905 SOS 365679 HAS SOPS 365679 HAS SOUS 303391 HAS SOUPS 303391 WITH SCORE 303756.679
AT ITER 3702 NEW BEST:: SOT 770889 SOS 365663 HAS SOPS 365663 HAS SOUS 303375 HAS SOUPS 303375 WITH SCORE 303740.663
AT ITER 3709 NEW BEST:: SOT 771116 SOS 365940 HAS SOPS 365940 HAS SOUS 303343 HAS SOUPS 303343 WITH SCORE 303708.94
AT ITER 3712 NEW BEST:: SOT 770628 SOS 364467 HAS SOPS 364467 HAS SOUS 302662 HAS SOUPS 302662 WITH SCORE 303026.467
AT ITER 3721 NEW BEST:: SOT 770676 SOS 364263 HAS SOPS 364263 HAS SOUS 302519 HAS SOUPS 302519 WITH SCORE 302883.263
AT ITER 3725 NEW BEST:: SOT 770696 SOS 364169 HAS SOPS 364169 HAS SOUS 302373 HAS SOUPS 302373 WITH SCORE 302737.169
AT ITER 3727 NEW BEST:: SOT 770690 SOS 364160 HAS SOPS 364160 HAS SOUS 302364 HAS SOUPS 302364 WITH SCORE 302728.16
AT ITER 3746 NEW BEST:: SOT 770629 SOS 363997 HAS SOPS 363997 HAS SOUS 302201 HAS SOUPS 302201 WITH SCORE 302564.997
AT ITER 3758 NEW BEST:: SOT 770629 SOS 363982 HAS SOPS 363982 HAS SOUS 302169 HAS SOUPS 302169 WITH SCORE 302532.982
AT ITER 3759 NEW BEST:: SOT 770514 SOS 363867 HAS SOPS 363867 HAS SOUS 302054 HAS SOUPS 302054 WITH SCORE 302417.867
AT ITER 3764 NEW BEST:: SOT 770735 SOS 363674 HAS SOPS 363674 HAS SOUS 301999 HAS SOUPS 301999 WITH SCORE 302362.674
AT ITER 3767 NEW BEST:: SOT 770602 SOS 363539 HAS SOPS 363539 HAS SOUS 301681 HAS SOUPS 301681 WITH SCORE 302044.539
AT ITER 3775 NEW BEST:: SOT 770221 SOS 362999 HAS SOPS 362999 HAS SOUS 301191 HAS SOUPS 301191 WITH SCORE 301553.999
AT ITER 3779 NEW BEST:: SOT 770195 SOS 362992 HAS SOPS 362992 HAS SOUS 301191 HAS SOUPS 301191 WITH SCORE 301553.992
AT ITER 3794 NEW BEST:: SOT 769954 SOS 362749 HAS SOPS 362749 HAS SOUS 301139 HAS SOUPS 301139 WITH SCORE 301501.749
AT ITER 3803 NEW BEST:: SOT 769802 SOS 362491 HAS SOPS 362491 HAS SOUS 300795 HAS SOUPS 300795 WITH SCORE 301157.491
AT ITER 3810 NEW BEST:: SOT 770412 SOS 362266 HAS SOPS 362266 HAS SOUS 300592 HAS SOUPS 300592 WITH SCORE 300954.266
AT ITER 3829 NEW BEST:: SOT 770499 SOS 362294 HAS SOPS 362294 HAS SOUS 300566 HAS SOUPS 300566 WITH SCORE 300928.294
AT ITER 3859 NEW BEST:: SOT 770499 SOS 362247 HAS SOPS 362247 HAS SOUS 300519 HAS SOUPS 300519 WITH SCORE 300881.247
AT ITER 3864 NEW BEST:: SOT 770382 SOS 362130 HAS SOPS 362130 HAS SOUS 300402 HAS SOUPS 300402 WITH SCORE 300764.13
AT ITER 3874 NEW BEST:: SOT 770478 SOS 362313 HAS SOPS 362313 HAS SOUS 300382 HAS SOUPS 300382 WITH SCORE 300744.313
AT ITER 3891 NEW BEST:: SOT 770477 SOS 362128 HAS SOPS 362128 HAS SOUS 300322 HAS SOUPS 300322 WITH SCORE 300684.128
AT ITER 3893 NEW BEST:: SOT 770470 SOS 361294 HAS SOPS 361294 HAS SOUS 299992 HAS SOUPS 299992 WITH SCORE 300353.294
AT ITER 3906 NEW BEST:: SOT 770470 SOS 361282 HAS SOPS 361282 HAS SOUS 299986 HAS SOUPS 299986 WITH SCORE 300347.282
AT ITER 3932 NEW BEST:: SOT 770443 SOS 361255 HAS SOPS 361255 HAS SOUS 299959 HAS SOUPS 299959 WITH SCORE 300320.255
AT ITER 3934 NEW BEST:: SOT 770443 SOS 361235 HAS SOPS 361235 HAS SOUS 299954 HAS SOUPS 299954 WITH SCORE 300315.235
AT ITER 3940 NEW BEST:: SOT 770107 SOS 360620 HAS SOPS 360620 HAS SOUS 299206 HAS SOUPS 299206 WITH SCORE 299566.62
AT ITER 3944 NEW BEST:: SOT 769947 SOS 360119 HAS SOPS 360119 HAS SOUS 298705 HAS SOUPS 298705 WITH SCORE 299065.119
AT ITER 3948 NEW BEST:: SOT 769981 SOS 360153 HAS SOPS 360153 HAS SOUS 298676 HAS SOUPS 298676 WITH SCORE 299036.153
AT ITER 3949 NEW BEST:: SOT 770071 SOS 359909 HAS SOPS 359909 HAS SOUS 298398 HAS SOUPS 298398 WITH SCORE 298757.909
AT ITER 3966 NEW BEST:: SOT 769944 SOS 359270 HAS SOPS 359270 HAS SOUS 298302 HAS SOUPS 298302 WITH SCORE 298661.27
AT ITER 3978 NEW BEST:: SOT 769922 SOS 359248 HAS SOPS 359248 HAS SOUS 298280 HAS SOUPS 298280 WITH SCORE 298639.248
AT ITER 4003 NEW BEST:: SOT 769591 SOS 358917 HAS SOPS 358917 HAS SOUS 297949 HAS SOUPS 297949 WITH SCORE 298307.917
AT ITER 4007 NEW BEST:: SOT 769353 SOS 358485 HAS SOPS 358485 HAS SOUS 297614 HAS SOUPS 297614 WITH SCORE 297972.485
AT ITER 4009 NEW BEST:: SOT 769326 SOS 358427 HAS SOPS 358427 HAS SOUS 297556 HAS SOUPS 297556 WITH SCORE 297914.427
AT ITER 4011 NEW BEST:: SOT 769276 SOS 358347 HAS SOPS 358347 HAS SOUS 297304 HAS SOUPS 297304 WITH SCORE 297662.347
AT ITER 4020 NEW BEST:: SOT 769120 SOS 359146 HAS SOPS 359146 HAS SOUS 297215 HAS SOUPS 297215 WITH SCORE 297574.146
AT ITER 4021 NEW BEST:: SOT 769163 SOS 359044 HAS SOPS 359044 HAS SOUS 297208 HAS SOUPS 297208 WITH SCORE 297567.044
AT ITER 4025 NEW BEST:: SOT 769092 SOS 358955 HAS SOPS 358955 HAS SOUS 297119 HAS SOUPS 297119 WITH SCORE 297477.955
AT ITER 4033 NEW BEST:: SOT 769057 SOS 358863 HAS SOPS 358863 HAS SOUS 297027 HAS SOUPS 297027 WITH SCORE 297385.863
AT ITER 4036 NEW BEST:: SOT 769009 SOS 358806 HAS SOPS 358806 HAS SOUS 296960 HAS SOUPS 296960 WITH SCORE 297318.806
AT ITER 4041 NEW BEST:: SOT 768919 SOS 358729 HAS SOPS 358729 HAS SOUS 296883 HAS SOUPS 296883 WITH SCORE 297241.729
AT ITER 4051 NEW BEST:: SOT 768919 SOS 358636 HAS SOPS 358636 HAS SOUS 296676 HAS SOUPS 296676 WITH SCORE 297034.636
AT ITER 4059 NEW BEST:: SOT 768379 SOS 357483 HAS SOPS 357483 HAS SOUS 295829 HAS SOUPS 295829 WITH SCORE 296186.483
AT ITER 4061 NEW BEST:: SOT 768295 SOS 357399 HAS SOPS 357399 HAS SOUS 295745 HAS SOUPS 295745 WITH SCORE 296102.399
AT ITER 4062 NEW BEST:: SOT 768295 SOS 357409 HAS SOPS 357409 HAS SOUS 295693 HAS SOUPS 295693 WITH SCORE 296050.409
AT ITER 4063 NEW BEST:: SOT 768277 SOS 357391 HAS SOPS 357391 HAS SOUS 295675 HAS SOUPS 295675 WITH SCORE 296032.391
AT ITER 4065 NEW BEST:: SOT 768230 SOS 357344 HAS SOPS 357344 HAS SOUS 295628 HAS SOUPS 295628 WITH SCORE 295985.344
AT ITER 4066 NEW BEST:: SOT 767843 SOS 355240 HAS SOPS 355240 HAS SOUS 295273 HAS SOUPS 295273 WITH SCORE 295628.24
AT ITER 4069 NEW BEST:: SOT 767929 SOS 355119 HAS SOPS 355119 HAS SOUS 295152 HAS SOUPS 295152 WITH SCORE 295507.119
AT ITER 4079 NEW BEST:: SOT 767879 SOS 354906 HAS SOPS 354906 HAS SOUS 294989 HAS SOUPS 294989 WITH SCORE 295343.906
AT ITER 4081 NEW BEST:: SOT 767793 SOS 354734 HAS SOPS 354734 HAS SOUS 294860 HAS SOUPS 294860 WITH SCORE 295214.734
AT ITER 4090 NEW BEST:: SOT 767481 SOS 354422 HAS SOPS 354422 HAS SOUS 294506 HAS SOUPS 294506 WITH SCORE 294860.422
AT ITER 4101 NEW BEST:: SOT 767479 SOS 354392 HAS SOPS 354392 HAS SOUS 294490 HAS SOUPS 294490 WITH SCORE 294844.392
AT ITER 4126 NEW BEST:: SOT 767378 SOS 354289 HAS SOPS 354289 HAS SOUS 294387 HAS SOUPS 294387 WITH SCORE 294741.289
AT ITER 4132 NEW BEST:: SOT 767278 SOS 354189 HAS SOPS 354189 HAS SOUS 294287 HAS SOUPS 294287 WITH SCORE 294641.189
AT ITER 4134 NEW BEST:: SOT 766986 SOS 353897 HAS SOPS 353897 HAS SOUS 293995 HAS SOUPS 293995 WITH SCORE 294348.897
AT ITER 4143 NEW BEST:: SOT 767179 SOS 353777 HAS SOPS 353777 HAS SOUS 293835 HAS SOUPS 293835 WITH SCORE 294188.777
AT ITER 4145 NEW BEST:: SOT 767413 SOS 354237 HAS SOPS 354237 HAS SOUS 293656 HAS SOUPS 293656 WITH SCORE 294010.237
AT ITER 4157 NEW BEST:: SOT 767374 SOS 354198 HAS SOPS 354198 HAS SOUS 293522 HAS SOUPS 293522 WITH SCORE 293876.198
AT ITER 4163 NEW BEST:: SOT 767374 SOS 354193 HAS SOPS 354193 HAS SOUS 293517 HAS SOUPS 293517 WITH SCORE 293871.193
AT ITER 4165 NEW BEST:: SOT 767180 SOS 353805 HAS SOPS 353805 HAS SOUS 293225 HAS SOUPS 293225 WITH SCORE 293578.805
AT ITER 4193 NEW BEST:: SOT 767388 SOS 353388 HAS SOPS 353388 HAS SOUS 293179 HAS SOUPS 293179 WITH SCORE 293532.388
AT ITER 4197 NEW BEST:: SOT 767388 SOS 353382 HAS SOPS 353382 HAS SOUS 293173 HAS SOUPS 293173 WITH SCORE 293526.382
AT ITER 4204 NEW BEST:: SOT 766386 SOS 351183 HAS SOPS 351183 HAS SOUS 291337 HAS SOUPS 291337 WITH SCORE 291688.183
AT ITER 4215 NEW BEST:: SOT 766322 SOS 349991 HAS SOPS 349991 HAS SOUS 290976 HAS SOUPS 290976 WITH SCORE 291325.991
AT ITER 4235 NEW BEST:: SOT 766017 SOS 348441 HAS SOPS 348441 HAS SOUS 290976 HAS SOUPS 290976 WITH SCORE 291324.441
AT ITER 4245 NEW BEST:: SOT 764765 SOS 347189 HAS SOPS 347189 HAS SOUS 289739 HAS SOUPS 289739 WITH SCORE 290086.189
AT ITER 4247 NEW BEST:: SOT 764765 SOS 346788 HAS SOPS 346788 HAS SOUS 289338 HAS SOUPS 289338 WITH SCORE 289684.788
AT ITER 4255 NEW BEST:: SOT 764761 SOS 346784 HAS SOPS 346784 HAS SOUS 289334 HAS SOUPS 289334 WITH SCORE 289680.784
AT ITER 4271 NEW BEST:: SOT 764761 SOS 346752 HAS SOPS 346752 HAS SOUS 289264 HAS SOUPS 289264 WITH SCORE 289610.752
AT ITER 4280 NEW BEST:: SOT 764541 SOS 346144 HAS SOPS 346144 HAS SOUS 288506 HAS SOUPS 288506 WITH SCORE 288852.144
AT ITER 4317 NEW BEST:: SOT 764517 SOS 346120 HAS SOPS 346120 HAS SOUS 288482 HAS SOUPS 288482 WITH SCORE 288828.12
AT ITER 4324 NEW BEST:: SOT 764515 SOS 346116 HAS SOPS 346116 HAS SOUS 288478 HAS SOUPS 288478 WITH SCORE 288824.116
AT ITER 4325 NEW BEST:: SOT 764515 SOS 346116 HAS SOPS 346116 HAS SOUS 288356 HAS SOUPS 288356 WITH SCORE 288702.116
AT ITER 4326 NEW BEST:: SOT 764263 SOS 345760 HAS SOPS 345760 HAS SOUS 288000 HAS SOUPS 288000 WITH SCORE 288345.76
AT ITER 4331 NEW BEST:: SOT 764539 SOS 345570 HAS SOPS 345570 HAS SOUS 287739 HAS SOUPS 287739 WITH SCORE 288084.57
AT ITER 4340 NEW BEST:: SOT 764539 SOS 345624 HAS SOPS 345624 HAS SOUS 287664 HAS SOUPS 287664 WITH SCORE 288009.624
AT ITER 4343 NEW BEST:: SOT 764278 SOS 345363 HAS SOPS 345363 HAS SOUS 287564 HAS SOUPS 287564 WITH SCORE 287909.363
AT ITER 4349 NEW BEST:: SOT 764105 SOS 344208 HAS SOPS 344208 HAS SOUS 287563 HAS SOUPS 287563 WITH SCORE 287907.208
AT ITER 4353 NEW BEST:: SOT 764060 SOS 344197 HAS SOPS 344197 HAS SOUS 287552 HAS SOUPS 287552 WITH SCORE 287896.197
AT ITER 4363 NEW BEST:: SOT 763992 SOS 344041 HAS SOPS 344041 HAS SOUS 287396 HAS SOUPS 287396 WITH SCORE 287740.041
AT ITER 4377 NEW BEST:: SOT 763978 SOS 343803 HAS SOPS 343803 HAS SOUS 287366 HAS SOUPS 287366 WITH SCORE 287709.803
AT ITER 4378 NEW BEST:: SOT 763920 SOS 343687 HAS SOPS 343687 HAS SOUS 287250 HAS SOUPS 287250 WITH SCORE 287593.687
AT ITER 4381 NEW BEST:: SOT 763736 SOS 343503 HAS SOPS 343503 HAS SOUS 287066 HAS SOUPS 287066 WITH SCORE 287409.503
AT ITER 4399 NEW BEST:: SOT 763736 SOS 343109 HAS SOPS 343109 HAS SOUS 287065 HAS SOUPS 287065 WITH SCORE 287408.109
AT ITER 4415 NEW BEST:: SOT 763734 SOS 343093 HAS SOPS 343093 HAS SOUS 287065 HAS SOUPS 287065 WITH SCORE 287408.093
AT ITER 4422 NEW BEST:: SOT 763734 SOS 342285 HAS SOPS 342285 HAS SOUS 286863 HAS SOUPS 286863 WITH SCORE 287205.285
AT ITER 4431 NEW BEST:: SOT 763734 SOS 341527 HAS SOPS 341527 HAS SOUS 286863 HAS SOUPS 286863 WITH SCORE 287204.527
AT ITER 4434 NEW BEST:: SOT 763673 SOS 341466 HAS SOPS 341466 HAS SOUS 286802 HAS SOUPS 286802 WITH SCORE 287143.466
AT ITER 4447 NEW BEST:: SOT 763521 SOS 341314 HAS SOPS 341314 HAS SOUS 286576 HAS SOUPS 286576 WITH SCORE 286917.314
AT ITER 4452 NEW BEST:: SOT 763240 SOS 340994 HAS SOPS 340994 HAS SOUS 286256 HAS SOUPS 286256 WITH SCORE 286596.994
AT ITER 4458 NEW BEST:: SOT 763100 SOS 340854 HAS SOPS 340854 HAS SOUS 286116 HAS SOUPS 286116 WITH SCORE 286456.854
AT ITER 4460 NEW BEST:: SOT 762775 SOS 340529 HAS SOPS 340529 HAS SOUS 285791 HAS SOUPS 285791 WITH SCORE 286131.529
AT ITER 4472 NEW BEST:: SOT 762560 SOS 340459 HAS SOPS 340459 HAS SOUS 285721 HAS SOUPS 285721 WITH SCORE 286061.459
AT ITER 4500 NEW BEST:: SOT 762041 SOS 339811 HAS SOPS 339811 HAS SOUS 285111 HAS SOUPS 285111 WITH SCORE 285450.811
AT ITER 4501 NEW BEST:: SOT 761844 SOS 339614 HAS SOPS 339614 HAS SOUS 284914 HAS SOUPS 284914 WITH SCORE 285253.614
AT ITER 4506 NEW BEST:: SOT 761569 SOS 339337 HAS SOPS 339337 HAS SOUS 284637 HAS SOUPS 284637 WITH SCORE 284976.337
AT ITER 4524 NEW BEST:: SOT 761530 SOS 339231 HAS SOPS 339231 HAS SOUS 284552 HAS SOUPS 284552 WITH SCORE 284891.231
AT ITER 4525 NEW BEST:: SOT 761530 SOS 338755 HAS SOPS 338755 HAS SOUS 284541 HAS SOUPS 284541 WITH SCORE 284879.755
AT ITER 4531 NEW BEST:: SOT 761623 SOS 338815 HAS SOPS 338815 HAS SOUS 284402 HAS SOUPS 284402 WITH SCORE 284740.815
AT ITER 4562 NEW BEST:: SOT 761744 SOS 339113 HAS SOPS 339113 HAS SOUS 284380 HAS SOUPS 284380 WITH SCORE 284719.113
AT ITER 4567 NEW BEST:: SOT 761692 SOS 339061 HAS SOPS 339061 HAS SOUS 284328 HAS SOUPS 284328 WITH SCORE 284667.061
AT ITER 4570 NEW BEST:: SOT 761566 SOS 338935 HAS SOPS 338935 HAS SOUS 284202 HAS SOUPS 284202 WITH SCORE 284540.935
AT ITER 4575 NEW BEST:: SOT 761472 SOS 338653 HAS SOPS 338653 HAS SOUS 284196 HAS SOUPS 284196 WITH SCORE 284534.653
AT ITER 4584 NEW BEST:: SOT 761405 SOS 338586 HAS SOPS 338586 HAS SOUS 284129 HAS SOUPS 284129 WITH SCORE 284467.586
AT ITER 4592 NEW BEST:: SOT 761405 SOS 338561 HAS SOPS 338561 HAS SOUS 284082 HAS SOUPS 284082 WITH SCORE 284420.561
AT ITER 4602 NEW BEST:: SOT 761403 SOS 338551 HAS SOPS 338551 HAS SOUS 284080 HAS SOUPS 284080 WITH SCORE 284418.551
AT ITER 4604 NEW BEST:: SOT 761306 SOS 338410 HAS SOPS 338410 HAS SOUS 283939 HAS SOUPS 283939 WITH SCORE 284277.41
AT ITER 4611 NEW BEST:: SOT 761306 SOS 338599 HAS SOPS 338599 HAS SOUS 283938 HAS SOUPS 283938 WITH SCORE 284276.599
AT ITER 4618 NEW BEST:: SOT 760834 SOS 338197 HAS SOPS 338197 HAS SOUS 283536 HAS SOUPS 283536 WITH SCORE 283874.197
AT ITER 4635 NEW BEST:: SOT 760741 SOS 337825 HAS SOPS 337825 HAS SOUS 283536 HAS SOUPS 283536 WITH SCORE 283873.825
AT ITER 4639 NEW BEST:: SOT 760589 SOS 337525 HAS SOPS 337525 HAS SOUS 283359 HAS SOUPS 283359 WITH SCORE 283696.525
AT ITER 4683 NEW BEST:: SOT 760437 SOS 337373 HAS SOPS 337373 HAS SOUS 283207 HAS SOUPS 283207 WITH SCORE 283544.373
AT ITER 4692 NEW BEST:: SOT 760352 SOS 337338 HAS SOPS 337338 HAS SOUS 283172 HAS SOUPS 283172 WITH SCORE 283509.338
AT ITER 4698 NEW BEST:: SOT 760280 SOS 337172 HAS SOPS 337172 HAS SOUS 283006 HAS SOUPS 283006 WITH SCORE 283343.172
AT ITER 4702 NEW BEST:: SOT 760131 SOS 336931 HAS SOPS 336931 HAS SOUS 282790 HAS SOUPS 282790 WITH SCORE 283126.931
AT ITER 4703 NEW BEST:: SOT 759980 SOS 336510 HAS SOPS 336510 HAS SOUS 282499 HAS SOUPS 282499 WITH SCORE 282835.51
AT ITER 4715 NEW BEST:: SOT 759848 SOS 336325 HAS SOPS 336325 HAS SOUS 282314 HAS SOUPS 282314 WITH SCORE 282650.325
AT ITER 4719 NEW BEST:: SOT 759805 SOS 336280 HAS SOPS 336280 HAS SOUS 282269 HAS SOUPS 282269 WITH SCORE 282605.28
AT ITER 4731 NEW BEST:: SOT 759737 SOS 336228 HAS SOPS 336228 HAS SOUS 282223 HAS SOUPS 282223 WITH SCORE 282559.228
AT ITER 4739 NEW BEST:: SOT 759895 SOS 336100 HAS SOPS 336100 HAS SOUS 282091 HAS SOUPS 282091 WITH SCORE 282427.1
AT ITER 4751 NEW BEST:: SOT 759856 SOS 336022 HAS SOPS 336022 HAS SOUS 282052 HAS SOUPS 282052 WITH SCORE 282388.022
AT ITER 4758 NEW BEST:: SOT 759759 SOS 335849 HAS SOPS 335849 HAS SOUS 281879 HAS SOUPS 281879 WITH SCORE 282214.849
AT ITER 4770 NEW BEST:: SOT 759709 SOS 335774 HAS SOPS 335774 HAS SOUS 281804 HAS SOUPS 281804 WITH SCORE 282139.774
AT ITER 4775 NEW BEST:: SOT 759709 SOS 335559 HAS SOPS 335559 HAS SOUS 281589 HAS SOUPS 281589 WITH SCORE 281924.559
AT ITER 4777 NEW BEST:: SOT 759863 SOS 335386 HAS SOPS 335386 HAS SOUS 281217 HAS SOUPS 281217 WITH SCORE 281552.386
AT ITER 4784 NEW BEST:: SOT 759175 SOS 331240 HAS SOPS 331240 HAS SOUS 279730 HAS SOUPS 279730 WITH SCORE 280061.24
AT ITER 4810 NEW BEST:: SOT 759109 SOS 331172 HAS SOPS 331172 HAS SOUS 279661 HAS SOUPS 279661 WITH SCORE 279992.172
AT ITER 4830 NEW BEST:: SOT 759109 SOS 331340 HAS SOPS 331340 HAS SOUS 279613 HAS SOUPS 279613 WITH SCORE 279944.34
AT ITER 4838 NEW BEST:: SOT 759084 SOS 331293 HAS SOPS 331293 HAS SOUS 279604 HAS SOUPS 279604 WITH SCORE 279935.293
AT ITER 4843 NEW BEST:: SOT 759084 SOS 331208 HAS SOPS 331208 HAS SOUS 279490 HAS SOUPS 279490 WITH SCORE 279821.208
AT ITER 4845 NEW BEST:: SOT 758675 SOS 330837 HAS SOPS 330837 HAS SOUS 279278 HAS SOUPS 279278 WITH SCORE 279608.837
AT ITER 4851 NEW BEST:: SOT 758602 SOS 330764 HAS SOPS 330764 HAS SOUS 279205 HAS SOUPS 279205 WITH SCORE 279535.764
AT ITER 4858 NEW BEST:: SOT 758271 SOS 329859 HAS SOPS 329859 HAS SOUS 278323 HAS SOUPS 278323 WITH SCORE 278652.859
AT ITER 4862 NEW BEST:: SOT 758246 SOS 329814 HAS SOPS 329814 HAS SOUS 278308 HAS SOUPS 278308 WITH SCORE 278637.814
AT ITER 4877 NEW BEST:: SOT 758235 SOS 329803 HAS SOPS 329803 HAS SOUS 278297 HAS SOUPS 278297 WITH SCORE 278626.803
AT ITER 4903 NEW BEST:: SOT 758233 SOS 329689 HAS SOPS 329689 HAS SOUS 278267 HAS SOUPS 278267 WITH SCORE 278596.689
AT ITER 4919 NEW BEST:: SOT 758233 SOS 330202 HAS SOPS 330202 HAS SOUS 278051 HAS SOUPS 278051 WITH SCORE 278381.202
AT ITER 4949 NEW BEST:: SOT 757950 SOS 329911 HAS SOPS 329911 HAS SOUS 277527 HAS SOUPS 277527 WITH SCORE 277856.911
AT ITER 4962 NEW BEST:: SOT 758136 SOS 330427 HAS SOPS 330427 HAS SOUS 277428 HAS SOUPS 277428 WITH SCORE 277758.427
AT ITER 4968 NEW BEST:: SOT 758432 SOS 331062 HAS SOPS 331062 HAS SOUS 277350 HAS SOUPS 277350 WITH SCORE 277681.062
AT ITER 4990 NEW BEST:: SOT 758356 SOS 330997 HAS SOPS 330997 HAS SOUS 277319 HAS SOUPS 277319 WITH SCORE 277649.997
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-00 (AU( (! ((potential((tk(P732)>=1) & (tk(P741)>=1))))) , (EU( ((potential((tk(P23)>=1)))) , ((potential((tk(P110)>=1) & (tk(P127)>=1)))) )) ))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-01 ( ( (! ( ((potential((tk(P571)>=1) & (tk(P573)>=1)))) | (EX( ((potential((tk(P1066)>=1) & (tk(P1076)>=1)))))) )) | ( (AF( ((potential((tk(P400)>=1)))))) & ((potential((tk(P267)>=1) & (tk(P278)>=1)))) ) ) & ( (AG( (EF( ((potential((tk(P829)>=1)))))))) & (AU( (! ((potential((tk(P639)>=1) & (tk(P650)>=1))))) , ( ((potential((tk(P122)>=1)))) | ((potential((tk(P825)>=1) & (tk(P836)>=1)))) ) )) ) )
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-02 (AG( (EU( (! ((potential((tk(P536)>=1) & (tk(P557)>=1))))) , ((potential((tk(P45)>=1) & (tk(P65)>=1)))) ))))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-03 ( (AF( (AG( ( ((potential((tk(P193)>=1) & (tk(P209)>=1)))) & ((potential((tk(P767)>=1)))) ))))) | ((potential((tk(P143)>=1) & (tk(P152)>=1)))) )
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-04 ( (AF( ( (EF( ((potential((tk(P843)>=1) & (tk(P862)>=1)))))) & (! ((potential((tk(P7)>=1) & (tk(P24)>=1))))) ))) & (! ( (! ( ( ((potential((tk(P314)>=1) & (tk(P341)>=1)))) | ((potential((tk(P141)>=1) & (tk(P158)>=1)))) ) | (! ((potential((tk(P107)>=1) & (tk(P127)>=1))))) )) & (EU( ((potential((tk(P389)>=1) & (tk(P404)>=1)))) , ((potential((tk(P159)>=1) & (tk(P186)>=1)))) )) )) )
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-05 (EG( (! (AX( ((potential((tk(P163)>=1) & (tk(P165)>=1)))))))))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-06 (EG( (! (EU( ((potential((tk(P1155)>=1) & (tk(P1157)>=1)))) , ((potential((tk(P973)>=1) & (tk(P983)>=1)))) )))))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-07 (AX( ( ( (AG( ((potential((tk(P1183)>=1) & (tk(P1204)>=1)))))) | ((potential((tk(P142)>=1) & (tk(P144)>=1)))) ) | ( (EX( ((potential((tk(P853)>=1) & (tk(P895)>=1)))))) | (AF( ((potential((tk(P389)>=1) & (tk(P406)>=1)))))) ) )))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-08 (EF( (EU( (! ((potential((tk(P142)>=1) & (tk(P144)>=1))))) , ((potential((tk(P1133)>=1) & (tk(P1148)>=1)))) ))))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-09 ( ( (AF( ( ( ((potential((tk(P548)>=1) & (tk(P569)>=1)))) & ((potential((tk(P725)>=1) & (tk(P737)>=1)))) ) | (! ((potential((tk(P887)>=1) & (tk(P898)>=1))))) ))) | ( ( ((potential((tk(P68)>=1) & (tk(P87)>=1)))) | ( ( ((potential((tk(P1101)>=1) & (tk(P1143)>=1)))) & ((potential((tk(P660)>=1) & (tk(P681)>=1)))) ) & ( ((potential((tk(P110)>=1) & (tk(P125)>=1)))) & ((potential((tk(P882)>=1) & (tk(P901)>=1)))) ) ) ) & ( ( ((potential((tk(P1194)>=1) & (tk(P1236)>=1)))) & ((potential((tk(P333)>=1)))) ) & ( ( ((potential((tk(P695)>=1) & (tk(P697)>=1)))) | ((potential((tk(P1154)>=1) & (tk(P1171)>=1)))) ) & ( ((potential((tk(P164)>=1) & (tk(P184)>=1)))) | ((potential((tk(P608)>=1) & (tk(P617)>=1)))) ) ) ) ) ) & (EF( (EG( ( ((potential((tk(P389)>=1) & (tk(P406)>=1)))) | ((potential((tk(P1217)>=1) & (tk(P1219)>=1)))) ))))) )
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-10 (AF( (! (! ( ( ((potential((tk(P546)>=1) & (tk(P555)>=1)))) | ((potential((tk(P43)>=1) & (tk(P53)>=1)))) ) | ( ((potential((tk(P572)>=1) & (tk(P591)>=1)))) | ((potential((tk(P283)>=1) & (tk(P310)>=1)))) ) )))))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-11 ( (! ( ( ( ( ((potential((tk(P656)>=1) & (tk(P677)>=1)))) | ((potential((tk(P79)>=1) & (tk(P96)>=1)))) ) & ( ((potential((tk(P1187)>=1) & (tk(P1207)>=1)))) & ((potential((tk(P362)>=1) & (tk(P383)>=1)))) ) ) | (! ((potential((tk(P257)>=1) & (tk(P278)>=1))))) ) & (EX( ( ((potential((tk(P234)>=1) & (tk(P251)>=1)))) & ((potential((tk(P854)>=1) & (tk(P869)>=1)))) ))) )) & (AU( ( (! ((potential((tk(P1037)>=1) & (tk(P1057)>=1))))) & (! ((potential((tk(P370)>=1))))) ) , ((potential((tk(P323)>=1) & (tk(P325)>=1)))) )) )
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-12 (! ( (! ( ( ( ((potential((tk(P14)>=1) & (tk(P33)>=1)))) | ((potential((tk(P1060)>=1) & (tk(P1079)>=1)))) ) & ( ((potential((tk(P408)>=1) & (tk(P429)>=1)))) | ((potential((tk(P1183)>=1) & (tk(P1204)>=1)))) ) ) & ((potential((tk(P415)>=1) & (tk(P427)>=1)))) )) & (EU( (! ((potential((tk(P266)>=1) & (tk(P268)>=1))))) , ((potential((tk(P751)>=1) & (tk(P767)>=1)))) )) ))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-13 (! (AU( (! ((potential((tk(P1086)>=1))))) , (AX( ((potential((tk(P1199)>=1) & (tk(P1220)>=1)))))) )))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-14 (EU( (! (AG( ((potential((tk(P401)>=1))))))) , (AF( ( ((potential((tk(P316)>=1) & (tk(P335)>=1)))) | ((potential((tk(P45)>=1) & (tk(P64)>=1)))) ))) ))
PROPERTY: ShieldPPPs-PT-040A-CTLFireability-15 (EG( (! ((potential((tk(P665)>=1) & (tk(P685)>=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="ShieldPPPs-PT-040A"
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 ShieldPPPs-PT-040A, 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 r207-tajo-159033469600524"
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 [ "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 ;