fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538700387
Last Updated
Jun 28, 2020

About the Execution of smart for Sudoku-PT-AN10

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

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700387.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700387
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 4.2K Jun 3 09:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Jun 3 09:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jun 3 09:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 158K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 532K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 518K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.9M May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K Jun 3 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Jun 3 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jun 3 09:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 522K 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 Sudoku-PT-AN10-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN10-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336622874

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

GOT IT HERE. BS
Petri model created: 1300 places, 1000 transitions, 4000 arcs.
AT ITER 0 NEW BEST:: SOT 1020253 SOS 513895 HAS SOPS 513895 HAS SOUS 513895 HAS SOUPS 513895 WITH SCORE 514408.895
AT ITER 6 NEW BEST:: SOT 1019638 SOS 519098 HAS SOPS 519098 HAS SOUS 513410 HAS SOUPS 513410 WITH SCORE 513929.098
AT ITER 7 NEW BEST:: SOT 1019069 SOS 520017 HAS SOPS 520017 HAS SOUS 512889 HAS SOUPS 512889 WITH SCORE 513409.017
AT ITER 8 NEW BEST:: SOT 1019109 SOS 520009 HAS SOPS 520009 HAS SOUS 512800 HAS SOUPS 512800 WITH SCORE 513320.009
AT ITER 24 NEW BEST:: SOT 1018605 SOS 519628 HAS SOPS 519628 HAS SOUS 512374 HAS SOUPS 512374 WITH SCORE 512893.628
AT ITER 30 NEW BEST:: SOT 1017900 SOS 522525 HAS SOPS 522525 HAS SOUS 511806 HAS SOUPS 511806 WITH SCORE 512328.525
AT ITER 34 NEW BEST:: SOT 1017934 SOS 522503 HAS SOPS 522503 HAS SOUS 511766 HAS SOUPS 511766 WITH SCORE 512288.503
AT ITER 38 NEW BEST:: SOT 1017992 SOS 522515 HAS SOPS 522515 HAS SOUS 511715 HAS SOUPS 511715 WITH SCORE 512237.515
AT ITER 41 NEW BEST:: SOT 1018040 SOS 522524 HAS SOPS 522524 HAS SOUS 511616 HAS SOUPS 511616 WITH SCORE 512138.524
AT ITER 46 NEW BEST:: SOT 1018040 SOS 522355 HAS SOPS 522355 HAS SOUS 511447 HAS SOUPS 511447 WITH SCORE 511969.355
AT ITER 51 NEW BEST:: SOT 1017021 SOS 523549 HAS SOPS 523549 HAS SOUS 510526 HAS SOUPS 510526 WITH SCORE 511049.549
AT ITER 54 NEW BEST:: SOT 1017021 SOS 523427 HAS SOPS 523427 HAS SOUS 510187 HAS SOUPS 510187 WITH SCORE 510710.427
AT ITER 55 NEW BEST:: SOT 1016595 SOS 523001 HAS SOPS 523001 HAS SOUS 509761 HAS SOUPS 509761 WITH SCORE 510284.001
AT ITER 59 NEW BEST:: SOT 1016244 SOS 522717 HAS SOPS 522717 HAS SOUS 509410 HAS SOUPS 509410 WITH SCORE 509932.717
AT ITER 60 NEW BEST:: SOT 1016244 SOS 522684 HAS SOPS 522684 HAS SOUS 509410 HAS SOUPS 509410 WITH SCORE 509932.684
AT ITER 77 NEW BEST:: SOT 1015776 SOS 522351 HAS SOPS 522351 HAS SOUS 509023 HAS SOUPS 509023 WITH SCORE 509545.351
AT ITER 87 NEW BEST:: SOT 1015488 SOS 522063 HAS SOPS 522063 HAS SOUS 508703 HAS SOUPS 508703 WITH SCORE 509225.063
AT ITER 103 NEW BEST:: SOT 1014471 SOS 521198 HAS SOPS 521198 HAS SOUS 507766 HAS SOUPS 507766 WITH SCORE 508287.198
AT ITER 107 NEW BEST:: SOT 1013735 SOS 520851 HAS SOPS 520851 HAS SOUS 507176 HAS SOUPS 507176 WITH SCORE 507696.851
AT ITER 109 NEW BEST:: SOT 1013254 SOS 520370 HAS SOPS 520370 HAS SOUS 506641 HAS SOUPS 506641 WITH SCORE 507161.37
AT ITER 123 NEW BEST:: SOT 1013254 SOS 519443 HAS SOPS 519443 HAS SOUS 506641 HAS SOUPS 506641 WITH SCORE 507160.443
AT ITER 125 NEW BEST:: SOT 1012858 SOS 519156 HAS SOPS 519156 HAS SOUS 506426 HAS SOUPS 506426 WITH SCORE 506945.156
AT ITER 158 NEW BEST:: SOT 1012381 SOS 518795 HAS SOPS 518795 HAS SOUS 506002 HAS SOUPS 506002 WITH SCORE 506520.795
AT ITER 159 NEW BEST:: SOT 1012381 SOS 518518 HAS SOPS 518518 HAS SOUS 506002 HAS SOUPS 506002 WITH SCORE 506520.518
AT ITER 161 NEW BEST:: SOT 1012291 SOS 518410 HAS SOPS 518410 HAS SOUS 505894 HAS SOUPS 505894 WITH SCORE 506412.41
AT ITER 165 NEW BEST:: SOT 1012291 SOS 518395 HAS SOPS 518395 HAS SOUS 505894 HAS SOUPS 505894 WITH SCORE 506412.395
AT ITER 168 NEW BEST:: SOT 1011870 SOS 519420 HAS SOPS 519420 HAS SOUS 505569 HAS SOUPS 505569 WITH SCORE 506088.42
AT ITER 169 NEW BEST:: SOT 1011522 SOS 519183 HAS SOPS 519183 HAS SOUS 505221 HAS SOUPS 505221 WITH SCORE 505740.183
AT ITER 174 NEW BEST:: SOT 1011620 SOS 518921 HAS SOPS 518921 HAS SOUS 504914 HAS SOUPS 504914 WITH SCORE 505432.921
AT ITER 176 NEW BEST:: SOT 1010976 SOS 521360 HAS SOPS 521360 HAS SOUS 504392 HAS SOUPS 504392 WITH SCORE 504913.36
AT ITER 178 NEW BEST:: SOT 1010976 SOS 521251 HAS SOPS 521251 HAS SOUS 504392 HAS SOUPS 504392 WITH SCORE 504913.251
AT ITER 184 NEW BEST:: SOT 1010787 SOS 521198 HAS SOPS 521198 HAS SOUS 504249 HAS SOUPS 504249 WITH SCORE 504770.198
AT ITER 186 NEW BEST:: SOT 1010160 SOS 520571 HAS SOPS 520571 HAS SOUS 503622 HAS SOUPS 503622 WITH SCORE 504142.571
AT ITER 194 NEW BEST:: SOT 1008997 SOS 522338 HAS SOPS 522338 HAS SOUS 502572 HAS SOUPS 502572 WITH SCORE 503094.338
AT ITER 201 NEW BEST:: SOT 1009055 SOS 522355 HAS SOPS 522355 HAS SOUS 502490 HAS SOUPS 502490 WITH SCORE 503012.355
AT ITER 209 NEW BEST:: SOT 1008718 SOS 523356 HAS SOPS 523356 HAS SOUS 502240 HAS SOUPS 502240 WITH SCORE 502763.356
AT ITER 211 NEW BEST:: SOT 1007904 SOS 524662 HAS SOPS 524662 HAS SOUS 501644 HAS SOUPS 501644 WITH SCORE 502168.662
AT ITER 216 NEW BEST:: SOT 1007634 SOS 525731 HAS SOPS 525731 HAS SOUS 501375 HAS SOUPS 501375 WITH SCORE 501900.731
AT ITER 230 NEW BEST:: SOT 1007593 SOS 525690 HAS SOPS 525690 HAS SOUS 501334 HAS SOUPS 501334 WITH SCORE 501859.69
AT ITER 232 NEW BEST:: SOT 1007701 SOS 525853 HAS SOPS 525853 HAS SOUS 501110 HAS SOUPS 501110 WITH SCORE 501635.853
AT ITER 233 NEW BEST:: SOT 1007701 SOS 525784 HAS SOPS 525784 HAS SOUS 501110 HAS SOUPS 501110 WITH SCORE 501635.784
AT ITER 244 NEW BEST:: SOT 1007701 SOS 525627 HAS SOPS 525627 HAS SOUS 501110 HAS SOUPS 501110 WITH SCORE 501635.627
AT ITER 260 NEW BEST:: SOT 1007023 SOS 524949 HAS SOPS 524949 HAS SOUS 500432 HAS SOUPS 500432 WITH SCORE 500956.949
AT ITER 264 NEW BEST:: SOT 1007023 SOS 524718 HAS SOPS 524718 HAS SOUS 500432 HAS SOUPS 500432 WITH SCORE 500956.718
AT ITER 265 NEW BEST:: SOT 1007023 SOS 524617 HAS SOPS 524617 HAS SOUS 500331 HAS SOUPS 500331 WITH SCORE 500855.617
AT ITER 276 NEW BEST:: SOT 1006459 SOS 524935 HAS SOPS 524935 HAS SOUS 499974 HAS SOUPS 499974 WITH SCORE 500498.935
AT ITER 278 NEW BEST:: SOT 1006459 SOS 524668 HAS SOPS 524668 HAS SOUS 499974 HAS SOUPS 499974 WITH SCORE 500498.668
AT ITER 284 NEW BEST:: SOT 1006459 SOS 523223 HAS SOPS 523223 HAS SOUS 499974 HAS SOUPS 499974 WITH SCORE 500497.223
AT ITER 285 NEW BEST:: SOT 1006459 SOS 522958 HAS SOPS 522958 HAS SOUS 499709 HAS SOUPS 499709 WITH SCORE 500231.958
AT ITER 286 NEW BEST:: SOT 1005717 SOS 522581 HAS SOPS 522581 HAS SOUS 499089 HAS SOUPS 499089 WITH SCORE 499611.581
AT ITER 287 NEW BEST:: SOT 1005717 SOS 522533 HAS SOPS 522533 HAS SOUS 499089 HAS SOUPS 499089 WITH SCORE 499611.533
AT ITER 291 NEW BEST:: SOT 1005293 SOS 522385 HAS SOPS 522385 HAS SOUS 498665 HAS SOUPS 498665 WITH SCORE 499187.385
AT ITER 303 NEW BEST:: SOT 1004858 SOS 523499 HAS SOPS 523499 HAS SOUS 498437 HAS SOUPS 498437 WITH SCORE 498960.499
AT ITER 311 NEW BEST:: SOT 1004858 SOS 523093 HAS SOPS 523093 HAS SOUS 498437 HAS SOUPS 498437 WITH SCORE 498960.093
AT ITER 318 NEW BEST:: SOT 1004601 SOS 523455 HAS SOPS 523455 HAS SOUS 498274 HAS SOUPS 498274 WITH SCORE 498797.455
AT ITER 320 NEW BEST:: SOT 1004583 SOS 523419 HAS SOPS 523419 HAS SOUS 498256 HAS SOUPS 498256 WITH SCORE 498779.419
AT ITER 322 NEW BEST:: SOT 1004583 SOS 523336 HAS SOPS 523336 HAS SOUS 498256 HAS SOUPS 498256 WITH SCORE 498779.336
AT ITER 327 NEW BEST:: SOT 1004371 SOS 523025 HAS SOPS 523025 HAS SOUS 497983 HAS SOUPS 497983 WITH SCORE 498506.025
AT ITER 328 NEW BEST:: SOT 1004050 SOS 524690 HAS SOPS 524690 HAS SOUS 497749 HAS SOUPS 497749 WITH SCORE 498273.69
AT ITER 329 NEW BEST:: SOT 1004050 SOS 524619 HAS SOPS 524619 HAS SOUS 497749 HAS SOUPS 497749 WITH SCORE 498273.619
AT ITER 331 NEW BEST:: SOT 1003978 SOS 525288 HAS SOPS 525288 HAS SOUS 497677 HAS SOUPS 497677 WITH SCORE 498202.288
AT ITER 340 NEW BEST:: SOT 1003093 SOS 526897 HAS SOPS 526897 HAS SOUS 497323 HAS SOUPS 497323 WITH SCORE 497849.897
AT ITER 341 NEW BEST:: SOT 1003093 SOS 526529 HAS SOPS 526529 HAS SOUS 497323 HAS SOUPS 497323 WITH SCORE 497849.529
AT ITER 345 NEW BEST:: SOT 1002913 SOS 526517 HAS SOPS 526517 HAS SOUS 497311 HAS SOUPS 497311 WITH SCORE 497837.517
AT ITER 346 NEW BEST:: SOT 1002868 SOS 526472 HAS SOPS 526472 HAS SOUS 497266 HAS SOUPS 497266 WITH SCORE 497792.472
AT ITER 351 NEW BEST:: SOT 1002892 SOS 526523 HAS SOPS 526523 HAS SOUS 497263 HAS SOUPS 497263 WITH SCORE 497789.523
AT ITER 352 NEW BEST:: SOT 1002892 SOS 526476 HAS SOPS 526476 HAS SOUS 497263 HAS SOUPS 497263 WITH SCORE 497789.476
AT ITER 353 NEW BEST:: SOT 1001745 SOS 526553 HAS SOPS 526553 HAS SOUS 496272 HAS SOUPS 496272 WITH SCORE 496798.553
AT ITER 355 NEW BEST:: SOT 1001829 SOS 526232 HAS SOPS 526232 HAS SOUS 495816 HAS SOUPS 495816 WITH SCORE 496342.232
AT ITER 371 NEW BEST:: SOT 1001765 SOS 526168 HAS SOPS 526168 HAS SOUS 495801 HAS SOUPS 495801 WITH SCORE 496327.168
AT ITER 380 NEW BEST:: SOT 1001454 SOS 525946 HAS SOPS 525946 HAS SOUS 495534 HAS SOUPS 495534 WITH SCORE 496059.946
AT ITER 386 NEW BEST:: SOT 1001454 SOS 525895 HAS SOPS 525895 HAS SOUS 495534 HAS SOUPS 495534 WITH SCORE 496059.895
AT ITER 388 NEW BEST:: SOT 1001454 SOS 525679 HAS SOPS 525679 HAS SOUS 495492 HAS SOUPS 495492 WITH SCORE 496017.679
AT ITER 392 NEW BEST:: SOT 1001454 SOS 525581 HAS SOPS 525581 HAS SOUS 495492 HAS SOUPS 495492 WITH SCORE 496017.581
AT ITER 393 NEW BEST:: SOT 1001103 SOS 525441 HAS SOPS 525441 HAS SOUS 495235 HAS SOUPS 495235 WITH SCORE 495760.441
AT ITER 395 NEW BEST:: SOT 999947 SOS 530444 HAS SOPS 530444 HAS SOUS 494946 HAS SOUPS 494946 WITH SCORE 495476.444
AT ITER 404 NEW BEST:: SOT 999736 SOS 532136 HAS SOPS 532136 HAS SOUS 494894 HAS SOUPS 494894 WITH SCORE 495426.136
AT ITER 405 NEW BEST:: SOT 999736 SOS 532133 HAS SOPS 532133 HAS SOUS 494894 HAS SOUPS 494894 WITH SCORE 495426.133
AT ITER 414 NEW BEST:: SOT 999012 SOS 531560 HAS SOPS 531560 HAS SOUS 494258 HAS SOUPS 494258 WITH SCORE 494789.56
AT ITER 425 NEW BEST:: SOT 998967 SOS 531929 HAS SOPS 531929 HAS SOUS 494231 HAS SOUPS 494231 WITH SCORE 494762.929
AT ITER 428 NEW BEST:: SOT 998967 SOS 531962 HAS SOPS 531962 HAS SOUS 494224 HAS SOUPS 494224 WITH SCORE 494755.962
AT ITER 436 NEW BEST:: SOT 998770 SOS 531765 HAS SOPS 531765 HAS SOUS 494028 HAS SOUPS 494028 WITH SCORE 494559.765
AT ITER 437 NEW BEST:: SOT 998171 SOS 531834 HAS SOPS 531834 HAS SOUS 493695 HAS SOUPS 493695 WITH SCORE 494226.834
AT ITER 440 NEW BEST:: SOT 998171 SOS 531709 HAS SOPS 531709 HAS SOUS 493695 HAS SOUPS 493695 WITH SCORE 494226.709
AT ITER 444 NEW BEST:: SOT 998171 SOS 531568 HAS SOPS 531568 HAS SOUS 493590 HAS SOUPS 493590 WITH SCORE 494121.568
AT ITER 451 NEW BEST:: SOT 998171 SOS 531568 HAS SOPS 531568 HAS SOUS 493585 HAS SOUPS 493585 WITH SCORE 494116.568
AT ITER 453 NEW BEST:: SOT 997156 SOS 534319 HAS SOPS 534319 HAS SOUS 493321 HAS SOUPS 493321 WITH SCORE 493855.319
AT ITER 456 NEW BEST:: SOT 997156 SOS 534197 HAS SOPS 534197 HAS SOUS 493321 HAS SOUPS 493321 WITH SCORE 493855.197
AT ITER 460 NEW BEST:: SOT 997127 SOS 534115 HAS SOPS 534115 HAS SOUS 493275 HAS SOUPS 493275 WITH SCORE 493809.115
AT ITER 464 NEW BEST:: SOT 997127 SOS 534133 HAS SOPS 534133 HAS SOUS 493248 HAS SOUPS 493248 WITH SCORE 493782.133
AT ITER 478 NEW BEST:: SOT 997127 SOS 528585 HAS SOPS 528585 HAS SOUS 492954 HAS SOUPS 492954 WITH SCORE 493482.585
AT ITER 490 NEW BEST:: SOT 996839 SOS 528297 HAS SOPS 528297 HAS SOUS 492666 HAS SOUPS 492666 WITH SCORE 493194.297
AT ITER 495 NEW BEST:: SOT 996839 SOS 528119 HAS SOPS 528119 HAS SOUS 492666 HAS SOUPS 492666 WITH SCORE 493194.119
AT ITER 498 NEW BEST:: SOT 996758 SOS 528069 HAS SOPS 528069 HAS SOUS 492585 HAS SOUPS 492585 WITH SCORE 493113.069
AT ITER 509 NEW BEST:: SOT 996758 SOS 527943 HAS SOPS 527943 HAS SOUS 492585 HAS SOUPS 492585 WITH SCORE 493112.943
AT ITER 514 NEW BEST:: SOT 996683 SOS 527832 HAS SOPS 527832 HAS SOUS 492546 HAS SOUPS 492546 WITH SCORE 493073.832
AT ITER 516 NEW BEST:: SOT 996484 SOS 527737 HAS SOPS 527737 HAS SOUS 492377 HAS SOUPS 492377 WITH SCORE 492904.737
AT ITER 518 NEW BEST:: SOT 996223 SOS 528840 HAS SOPS 528840 HAS SOUS 492167 HAS SOUPS 492167 WITH SCORE 492695.84
AT ITER 519 NEW BEST:: SOT 995344 SOS 529116 HAS SOPS 529116 HAS SOUS 491462 HAS SOUPS 491462 WITH SCORE 491991.116
AT ITER 524 NEW BEST:: SOT 995344 SOS 528889 HAS SOPS 528889 HAS SOUS 491462 HAS SOUPS 491462 WITH SCORE 491990.889
AT ITER 525 NEW BEST:: SOT 995344 SOS 526358 HAS SOPS 526358 HAS SOUS 491462 HAS SOUPS 491462 WITH SCORE 491988.358
AT ITER 531 NEW BEST:: SOT 995344 SOS 526200 HAS SOPS 526200 HAS SOUS 491462 HAS SOUPS 491462 WITH SCORE 491988.2
AT ITER 532 NEW BEST:: SOT 995344 SOS 525745 HAS SOPS 525745 HAS SOUS 491462 HAS SOUPS 491462 WITH SCORE 491987.745
AT ITER 534 NEW BEST:: SOT 995161 SOS 526557 HAS SOPS 526557 HAS SOUS 491353 HAS SOUPS 491353 WITH SCORE 491879.557
AT ITER 539 NEW BEST:: SOT 995161 SOS 526314 HAS SOPS 526314 HAS SOUS 491353 HAS SOUPS 491353 WITH SCORE 491879.314
AT ITER 552 NEW BEST:: SOT 994297 SOS 527685 HAS SOPS 527685 HAS SOUS 491079 HAS SOUPS 491079 WITH SCORE 491606.685
AT ITER 560 NEW BEST:: SOT 994297 SOS 527307 HAS SOPS 527307 HAS SOUS 491079 HAS SOUPS 491079 WITH SCORE 491606.307
AT ITER 563 NEW BEST:: SOT 993569 SOS 531507 HAS SOPS 531507 HAS SOUS 490640 HAS SOUPS 490640 WITH SCORE 491171.507
AT ITER 570 NEW BEST:: SOT 993117 SOS 531119 HAS SOPS 531119 HAS SOUS 490216 HAS SOUPS 490216 WITH SCORE 490747.119
AT ITER 578 NEW BEST:: SOT 993117 SOS 530878 HAS SOPS 530878 HAS SOUS 490216 HAS SOUPS 490216 WITH SCORE 490746.878
AT ITER 584 NEW BEST:: SOT 993117 SOS 530828 HAS SOPS 530828 HAS SOUS 490216 HAS SOUPS 490216 WITH SCORE 490746.828
AT ITER 590 NEW BEST:: SOT 993117 SOS 530746 HAS SOPS 530746 HAS SOUS 490216 HAS SOUPS 490216 WITH SCORE 490746.746
AT ITER 591 NEW BEST:: SOT 992554 SOS 532006 HAS SOPS 532006 HAS SOUS 489849 HAS SOUPS 489849 WITH SCORE 490381.006
AT ITER 596 NEW BEST:: SOT 992554 SOS 531828 HAS SOPS 531828 HAS SOUS 489748 HAS SOUPS 489748 WITH SCORE 490279.828
AT ITER 598 NEW BEST:: SOT 991736 SOS 533962 HAS SOPS 533962 HAS SOUS 489336 HAS SOUPS 489336 WITH SCORE 489869.962
AT ITER 601 NEW BEST:: SOT 991101 SOS 536539 HAS SOPS 536539 HAS SOUS 488903 HAS SOUPS 488903 WITH SCORE 489439.539
AT ITER 607 NEW BEST:: SOT 991101 SOS 536495 HAS SOPS 536495 HAS SOUS 488903 HAS SOUPS 488903 WITH SCORE 489439.495
AT ITER 614 NEW BEST:: SOT 991101 SOS 536379 HAS SOPS 536379 HAS SOUS 488903 HAS SOUPS 488903 WITH SCORE 489439.379
AT ITER 617 NEW BEST:: SOT 990912 SOS 536190 HAS SOPS 536190 HAS SOUS 488714 HAS SOUPS 488714 WITH SCORE 489250.19
AT ITER 618 NEW BEST:: SOT 990912 SOS 535887 HAS SOPS 535887 HAS SOUS 488620 HAS SOUPS 488620 WITH SCORE 489155.887
AT ITER 619 NEW BEST:: SOT 990845 SOS 535385 HAS SOPS 535385 HAS SOUS 488432 HAS SOUPS 488432 WITH SCORE 488967.385
AT ITER 623 NEW BEST:: SOT 989999 SOS 534539 HAS SOPS 534539 HAS SOUS 487586 HAS SOUPS 487586 WITH SCORE 488120.539
AT ITER 630 NEW BEST:: SOT 989999 SOS 534513 HAS SOPS 534513 HAS SOUS 487539 HAS SOUPS 487539 WITH SCORE 488073.513
AT ITER 632 NEW BEST:: SOT 989626 SOS 534451 HAS SOPS 534451 HAS SOUS 487279 HAS SOUPS 487279 WITH SCORE 487813.451
AT ITER 634 NEW BEST:: SOT 989626 SOS 534409 HAS SOPS 534409 HAS SOUS 487279 HAS SOUPS 487279 WITH SCORE 487813.409
AT ITER 640 NEW BEST:: SOT 989626 SOS 534369 HAS SOPS 534369 HAS SOUS 487279 HAS SOUPS 487279 WITH SCORE 487813.369
AT ITER 645 NEW BEST:: SOT 989626 SOS 534367 HAS SOPS 534367 HAS SOUS 487279 HAS SOUPS 487279 WITH SCORE 487813.367
AT ITER 647 NEW BEST:: SOT 989626 SOS 534141 HAS SOPS 534141 HAS SOUS 487279 HAS SOUPS 487279 WITH SCORE 487813.141
AT ITER 650 NEW BEST:: SOT 989626 SOS 533887 HAS SOPS 533887 HAS SOUS 487279 HAS SOUPS 487279 WITH SCORE 487812.887
AT ITER 654 NEW BEST:: SOT 989626 SOS 533819 HAS SOPS 533819 HAS SOUS 487279 HAS SOUPS 487279 WITH SCORE 487812.819
AT ITER 662 NEW BEST:: SOT 989626 SOS 533602 HAS SOPS 533602 HAS SOUS 487279 HAS SOUPS 487279 WITH SCORE 487812.602
AT ITER 667 NEW BEST:: SOT 988792 SOS 536283 HAS SOPS 536283 HAS SOUS 486978 HAS SOUPS 486978 WITH SCORE 487514.283
AT ITER 680 NEW BEST:: SOT 988792 SOS 536210 HAS SOPS 536210 HAS SOUS 486978 HAS SOUPS 486978 WITH SCORE 487514.21
AT ITER 685 NEW BEST:: SOT 987517 SOS 535501 HAS SOPS 535501 HAS SOUS 485780 HAS SOUPS 485780 WITH SCORE 486315.501
AT ITER 692 NEW BEST:: SOT 987517 SOS 535289 HAS SOPS 535289 HAS SOUS 485780 HAS SOUPS 485780 WITH SCORE 486315.289
AT ITER 696 NEW BEST:: SOT 987517 SOS 535246 HAS SOPS 535246 HAS SOUS 485780 HAS SOUPS 485780 WITH SCORE 486315.246
AT ITER 699 NEW BEST:: SOT 987709 SOS 535378 HAS SOPS 535378 HAS SOUS 485457 HAS SOUPS 485457 WITH SCORE 485992.378
AT ITER 712 NEW BEST:: SOT 987709 SOS 535243 HAS SOPS 535243 HAS SOUS 485457 HAS SOUPS 485457 WITH SCORE 485992.243
AT ITER 719 NEW BEST:: SOT 987538 SOS 535155 HAS SOPS 535155 HAS SOUS 485286 HAS SOUPS 485286 WITH SCORE 485821.155
AT ITER 720 NEW BEST:: SOT 987538 SOS 535028 HAS SOPS 535028 HAS SOUS 485286 HAS SOUPS 485286 WITH SCORE 485821.028
AT ITER 721 NEW BEST:: SOT 987538 SOS 534977 HAS SOPS 534977 HAS SOUS 485286 HAS SOUPS 485286 WITH SCORE 485820.977
AT ITER 722 NEW BEST:: SOT 986069 SOS 534492 HAS SOPS 534492 HAS SOUS 483889 HAS SOUPS 483889 WITH SCORE 484423.492
AT ITER 727 NEW BEST:: SOT 985818 SOS 534921 HAS SOPS 534921 HAS SOUS 483790 HAS SOUPS 483790 WITH SCORE 484324.921
AT ITER 731 NEW BEST:: SOT 985617 SOS 534651 HAS SOPS 534651 HAS SOUS 483693 HAS SOUPS 483693 WITH SCORE 484227.651
AT ITER 733 NEW BEST:: SOT 985617 SOS 534310 HAS SOPS 534310 HAS SOUS 483693 HAS SOUPS 483693 WITH SCORE 484227.31
AT ITER 740 NEW BEST:: SOT 985617 SOS 534304 HAS SOPS 534304 HAS SOUS 483693 HAS SOUPS 483693 WITH SCORE 484227.304
AT ITER 742 NEW BEST:: SOT 985174 SOS 535547 HAS SOPS 535547 HAS SOUS 483231 HAS SOUPS 483231 WITH SCORE 483766.547
AT ITER 745 NEW BEST:: SOT 985032 SOS 535653 HAS SOPS 535653 HAS SOUS 483145 HAS SOUPS 483145 WITH SCORE 483680.653
AT ITER 747 NEW BEST:: SOT 984783 SOS 535473 HAS SOPS 535473 HAS SOUS 483016 HAS SOUPS 483016 WITH SCORE 483551.473
AT ITER 749 NEW BEST:: SOT 984783 SOS 535521 HAS SOPS 535521 HAS SOUS 482967 HAS SOUPS 482967 WITH SCORE 483502.521
AT ITER 754 NEW BEST:: SOT 983925 SOS 535888 HAS SOPS 535888 HAS SOUS 482872 HAS SOUPS 482872 WITH SCORE 483407.888
AT ITER 755 NEW BEST:: SOT 983691 SOS 535654 HAS SOPS 535654 HAS SOUS 482584 HAS SOUPS 482584 WITH SCORE 483119.654
AT ITER 761 NEW BEST:: SOT 983691 SOS 535154 HAS SOPS 535154 HAS SOUS 482354 HAS SOUPS 482354 WITH SCORE 482889.154
AT ITER 766 NEW BEST:: SOT 983691 SOS 534960 HAS SOPS 534960 HAS SOUS 482354 HAS SOUPS 482354 WITH SCORE 482888.96
AT ITER 767 NEW BEST:: SOT 983112 SOS 534808 HAS SOPS 534808 HAS SOUS 481862 HAS SOUPS 481862 WITH SCORE 482396.808
AT ITER 770 NEW BEST:: SOT 983107 SOS 534803 HAS SOPS 534803 HAS SOUS 481533 HAS SOUPS 481533 WITH SCORE 482067.803
AT ITER 776 NEW BEST:: SOT 983025 SOS 534496 HAS SOPS 534496 HAS SOUS 481366 HAS SOUPS 481366 WITH SCORE 481900.496
AT ITER 797 NEW BEST:: SOT 983226 SOS 534291 HAS SOPS 534291 HAS SOUS 481355 HAS SOUPS 481355 WITH SCORE 481889.291
AT ITER 799 NEW BEST:: SOT 983226 SOS 533988 HAS SOPS 533988 HAS SOUS 481355 HAS SOUPS 481355 WITH SCORE 481888.988
AT ITER 814 NEW BEST:: SOT 983226 SOS 533942 HAS SOPS 533942 HAS SOUS 481354 HAS SOUPS 481354 WITH SCORE 481887.942
AT ITER 818 NEW BEST:: SOT 983226 SOS 533912 HAS SOPS 533912 HAS SOUS 481354 HAS SOUPS 481354 WITH SCORE 481887.912
AT ITER 823 NEW BEST:: SOT 983226 SOS 532137 HAS SOPS 532137 HAS SOUS 481354 HAS SOUPS 481354 WITH SCORE 481886.137
AT ITER 825 NEW BEST:: SOT 983507 SOS 532418 HAS SOPS 532418 HAS SOUS 481257 HAS SOUPS 481257 WITH SCORE 481789.418
AT ITER 827 NEW BEST:: SOT 983489 SOS 532335 HAS SOPS 532335 HAS SOUS 481183 HAS SOUPS 481183 WITH SCORE 481715.335
AT ITER 828 NEW BEST:: SOT 983489 SOS 532212 HAS SOPS 532212 HAS SOUS 481183 HAS SOUPS 481183 WITH SCORE 481715.212
AT ITER 831 NEW BEST:: SOT 982738 SOS 531775 HAS SOPS 531775 HAS SOUS 480857 HAS SOUPS 480857 WITH SCORE 481388.775
AT ITER 833 NEW BEST:: SOT 982738 SOS 530567 HAS SOPS 530567 HAS SOUS 480857 HAS SOUPS 480857 WITH SCORE 481387.567
AT ITER 834 NEW BEST:: SOT 982539 SOS 531666 HAS SOPS 531666 HAS SOUS 480810 HAS SOUPS 480810 WITH SCORE 481341.666
AT ITER 838 NEW BEST:: SOT 982071 SOS 531588 HAS SOPS 531588 HAS SOUS 480554 HAS SOUPS 480554 WITH SCORE 481085.588
AT ITER 853 NEW BEST:: SOT 981459 SOS 532219 HAS SOPS 532219 HAS SOUS 480507 HAS SOUPS 480507 WITH SCORE 481039.219
AT ITER 854 NEW BEST:: SOT 981459 SOS 531949 HAS SOPS 531949 HAS SOUS 480507 HAS SOUPS 480507 WITH SCORE 481038.949
AT ITER 866 NEW BEST:: SOT 981459 SOS 531754 HAS SOPS 531754 HAS SOUS 480507 HAS SOUPS 480507 WITH SCORE 481038.754
AT ITER 872 NEW BEST:: SOT 981459 SOS 531565 HAS SOPS 531565 HAS SOUS 480507 HAS SOUPS 480507 WITH SCORE 481038.565
AT ITER 873 NEW BEST:: SOT 981743 SOS 530454 HAS SOPS 530454 HAS SOUS 480037 HAS SOUPS 480037 WITH SCORE 480567.454
AT ITER 878 NEW BEST:: SOT 981600 SOS 530740 HAS SOPS 530740 HAS SOUS 479894 HAS SOUPS 479894 WITH SCORE 480424.74
AT ITER 882 NEW BEST:: SOT 981571 SOS 530314 HAS SOPS 530314 HAS SOUS 479809 HAS SOUPS 479809 WITH SCORE 480339.314
AT ITER 886 NEW BEST:: SOT 980473 SOS 529629 HAS SOPS 529629 HAS SOUS 478873 HAS SOUPS 478873 WITH SCORE 479402.629
AT ITER 893 NEW BEST:: SOT 980459 SOS 529601 HAS SOPS 529601 HAS SOUS 478859 HAS SOUPS 478859 WITH SCORE 479388.601
AT ITER 909 NEW BEST:: SOT 980131 SOS 529365 HAS SOPS 529365 HAS SOUS 478600 HAS SOUPS 478600 WITH SCORE 479129.365
AT ITER 911 NEW BEST:: SOT 979775 SOS 529897 HAS SOPS 529897 HAS SOUS 478410 HAS SOUPS 478410 WITH SCORE 478939.897
AT ITER 913 NEW BEST:: SOT 979769 SOS 530063 HAS SOPS 530063 HAS SOUS 478404 HAS SOUPS 478404 WITH SCORE 478934.063
AT ITER 914 NEW BEST:: SOT 979715 SOS 530434 HAS SOPS 530434 HAS SOUS 478294 HAS SOUPS 478294 WITH SCORE 478824.434
AT ITER 919 NEW BEST:: SOT 979105 SOS 532039 HAS SOPS 532039 HAS SOUS 478172 HAS SOUPS 478172 WITH SCORE 478704.039
AT ITER 920 NEW BEST:: SOT 978382 SOS 533453 HAS SOPS 533453 HAS SOUS 477612 HAS SOUPS 477612 WITH SCORE 478145.453
AT ITER 924 NEW BEST:: SOT 978670 SOS 533506 HAS SOPS 533506 HAS SOUS 477589 HAS SOUPS 477589 WITH SCORE 478122.506
AT ITER 925 NEW BEST:: SOT 978402 SOS 533238 HAS SOPS 533238 HAS SOUS 477321 HAS SOUPS 477321 WITH SCORE 477854.238
AT ITER 930 NEW BEST:: SOT 977856 SOS 533414 HAS SOPS 533414 HAS SOUS 477273 HAS SOUPS 477273 WITH SCORE 477806.414
AT ITER 931 NEW BEST:: SOT 977854 SOS 532834 HAS SOPS 532834 HAS SOUS 477206 HAS SOUPS 477206 WITH SCORE 477738.834
AT ITER 934 NEW BEST:: SOT 977009 SOS 533344 HAS SOPS 533344 HAS SOUS 476598 HAS SOUPS 476598 WITH SCORE 477131.344
AT ITER 938 NEW BEST:: SOT 977009 SOS 532841 HAS SOPS 532841 HAS SOUS 476598 HAS SOUPS 476598 WITH SCORE 477130.841
AT ITER 951 NEW BEST:: SOT 976938 SOS 532509 HAS SOPS 532509 HAS SOUS 476311 HAS SOUPS 476311 WITH SCORE 476843.509
AT ITER 953 NEW BEST:: SOT 976938 SOS 532428 HAS SOPS 532428 HAS SOUS 476211 HAS SOUPS 476211 WITH SCORE 476743.428
AT ITER 961 NEW BEST:: SOT 976899 SOS 532389 HAS SOPS 532389 HAS SOUS 476170 HAS SOUPS 476170 WITH SCORE 476702.389
AT ITER 967 NEW BEST:: SOT 976448 SOS 532194 HAS SOPS 532194 HAS SOUS 476013 HAS SOUPS 476013 WITH SCORE 476545.194
AT ITER 970 NEW BEST:: SOT 975954 SOS 532094 HAS SOPS 532094 HAS SOUS 475959 HAS SOUPS 475959 WITH SCORE 476491.094
AT ITER 971 NEW BEST:: SOT 975696 SOS 531836 HAS SOPS 531836 HAS SOUS 475701 HAS SOUPS 475701 WITH SCORE 476232.836
AT ITER 972 NEW BEST:: SOT 975451 SOS 533446 HAS SOPS 533446 HAS SOUS 475696 HAS SOUPS 475696 WITH SCORE 476229.446
AT ITER 975 NEW BEST:: SOT 975451 SOS 533402 HAS SOPS 533402 HAS SOUS 475687 HAS SOUPS 475687 WITH SCORE 476220.402
AT ITER 976 NEW BEST:: SOT 975451 SOS 533381 HAS SOPS 533381 HAS SOUS 475687 HAS SOUPS 475687 WITH SCORE 476220.381
AT ITER 978 NEW BEST:: SOT 974868 SOS 532942 HAS SOPS 532942 HAS SOUS 475311 HAS SOUPS 475311 WITH SCORE 475843.942
AT ITER 986 NEW BEST:: SOT 974848 SOS 532531 HAS SOPS 532531 HAS SOUS 475208 HAS SOUPS 475208 WITH SCORE 475740.531
AT ITER 991 NEW BEST:: SOT 974848 SOS 532531 HAS SOPS 532531 HAS SOUS 475080 HAS SOUPS 475080 WITH SCORE 475612.531
AT ITER 992 NEW BEST:: SOT 974919 SOS 532572 HAS SOPS 532572 HAS SOUS 475022 HAS SOUPS 475022 WITH SCORE 475554.572
AT ITER 993 NEW BEST:: SOT 973857 SOS 531960 HAS SOPS 531960 HAS SOUS 474138 HAS SOUPS 474138 WITH SCORE 474669.96
AT ITER 994 NEW BEST:: SOT 973902 SOS 531810 HAS SOPS 531810 HAS SOUS 473917 HAS SOUPS 473917 WITH SCORE 474448.81
AT ITER 998 NEW BEST:: SOT 973195 SOS 532661 HAS SOPS 532661 HAS SOUS 473620 HAS SOUPS 473620 WITH SCORE 474152.661
AT ITER 1003 NEW BEST:: SOT 973046 SOS 533403 HAS SOPS 533403 HAS SOUS 473504 HAS SOUPS 473504 WITH SCORE 474037.403
AT ITER 1006 NEW BEST:: SOT 973046 SOS 534298 HAS SOPS 534298 HAS SOUS 473352 HAS SOUPS 473352 WITH SCORE 473886.298
AT ITER 1008 NEW BEST:: SOT 973046 SOS 534423 HAS SOPS 534423 HAS SOUS 473243 HAS SOUPS 473243 WITH SCORE 473777.423
AT ITER 1011 NEW BEST:: SOT 973046 SOS 534343 HAS SOPS 534343 HAS SOUS 473243 HAS SOUPS 473243 WITH SCORE 473777.343
AT ITER 1013 NEW BEST:: SOT 973046 SOS 534256 HAS SOPS 534256 HAS SOUS 473243 HAS SOUPS 473243 WITH SCORE 473777.256
AT ITER 1025 NEW BEST:: SOT 972569 SOS 534110 HAS SOPS 534110 HAS SOUS 472766 HAS SOUPS 472766 WITH SCORE 473300.11
AT ITER 1027 NEW BEST:: SOT 972569 SOS 533907 HAS SOPS 533907 HAS SOUS 472766 HAS SOUPS 472766 WITH SCORE 473299.907
AT ITER 1028 NEW BEST:: SOT 972569 SOS 533896 HAS SOPS 533896 HAS SOUS 472766 HAS SOUPS 472766 WITH SCORE 473299.896
AT ITER 1032 NEW BEST:: SOT 972380 SOS 533707 HAS SOPS 533707 HAS SOUS 472645 HAS SOUPS 472645 WITH SCORE 473178.707
AT ITER 1035 NEW BEST:: SOT 972380 SOS 533621 HAS SOPS 533621 HAS SOUS 472645 HAS SOUPS 472645 WITH SCORE 473178.621
AT ITER 1038 NEW BEST:: SOT 972358 SOS 533599 HAS SOPS 533599 HAS SOUS 472623 HAS SOUPS 472623 WITH SCORE 473156.599
AT ITER 1039 NEW BEST:: SOT 972358 SOS 533497 HAS SOPS 533497 HAS SOUS 472623 HAS SOUPS 472623 WITH SCORE 473156.497
AT ITER 1047 NEW BEST:: SOT 972358 SOS 533418 HAS SOPS 533418 HAS SOUS 472623 HAS SOUPS 472623 WITH SCORE 473156.418
AT ITER 1049 NEW BEST:: SOT 971873 SOS 534148 HAS SOPS 534148 HAS SOUS 472253 HAS SOUPS 472253 WITH SCORE 472787.148
AT ITER 1050 NEW BEST:: SOT 971065 SOS 533689 HAS SOPS 533689 HAS SOUS 471754 HAS SOUPS 471754 WITH SCORE 472287.689
AT ITER 1051 NEW BEST:: SOT 971066 SOS 533677 HAS SOPS 533677 HAS SOUS 471611 HAS SOUPS 471611 WITH SCORE 472144.677
AT ITER 1053 NEW BEST:: SOT 971066 SOS 533609 HAS SOPS 533609 HAS SOUS 471611 HAS SOUPS 471611 WITH SCORE 472144.609
AT ITER 1059 NEW BEST:: SOT 971066 SOS 533557 HAS SOPS 533557 HAS SOUS 471611 HAS SOUPS 471611 WITH SCORE 472144.557
AT ITER 1060 NEW BEST:: SOT 970837 SOS 535027 HAS SOPS 535027 HAS SOUS 471383 HAS SOUPS 471383 WITH SCORE 471918.027
AT ITER 1063 NEW BEST:: SOT 970837 SOS 534829 HAS SOPS 534829 HAS SOUS 471383 HAS SOUPS 471383 WITH SCORE 471917.829
AT ITER 1067 NEW BEST:: SOT 970837 SOS 534699 HAS SOPS 534699 HAS SOUS 471383 HAS SOUPS 471383 WITH SCORE 471917.699
AT ITER 1079 NEW BEST:: SOT 969775 SOS 534998 HAS SOPS 534998 HAS SOUS 471382 HAS SOUPS 471382 WITH SCORE 471916.998
AT ITER 1084 NEW BEST:: SOT 968814 SOS 537908 HAS SOPS 537908 HAS SOUS 470951 HAS SOUPS 470951 WITH SCORE 471488.908
AT ITER 1092 NEW BEST:: SOT 968814 SOS 535998 HAS SOPS 535998 HAS SOUS 470951 HAS SOUPS 470951 WITH SCORE 471486.998
AT ITER 1097 NEW BEST:: SOT 967864 SOS 535505 HAS SOPS 535505 HAS SOUS 470177 HAS SOUPS 470177 WITH SCORE 470712.505
AT ITER 1102 NEW BEST:: SOT 967980 SOS 534750 HAS SOPS 534750 HAS SOUS 469677 HAS SOUPS 469677 WITH SCORE 470211.75
AT ITER 1112 NEW BEST:: SOT 967980 SOS 534548 HAS SOPS 534548 HAS SOUS 469677 HAS SOUPS 469677 WITH SCORE 470211.548
AT ITER 1122 NEW BEST:: SOT 968020 SOS 534588 HAS SOPS 534588 HAS SOUS 469592 HAS SOUPS 469592 WITH SCORE 470126.588
AT ITER 1123 NEW BEST:: SOT 968020 SOS 534569 HAS SOPS 534569 HAS SOUS 469573 HAS SOUPS 469573 WITH SCORE 470107.569
AT ITER 1127 NEW BEST:: SOT 967969 SOS 534230 HAS SOPS 534230 HAS SOUS 469426 HAS SOUPS 469426 WITH SCORE 469960.23
AT ITER 1132 NEW BEST:: SOT 967785 SOS 534616 HAS SOPS 534616 HAS SOUS 469299 HAS SOUPS 469299 WITH SCORE 469833.616
AT ITER 1133 NEW BEST:: SOT 967629 SOS 534986 HAS SOPS 534986 HAS SOUS 469277 HAS SOUPS 469277 WITH SCORE 469811.986
AT ITER 1134 NEW BEST:: SOT 967434 SOS 534791 HAS SOPS 534791 HAS SOUS 469129 HAS SOUPS 469129 WITH SCORE 469663.791
AT ITER 1142 NEW BEST:: SOT 967147 SOS 534565 HAS SOPS 534565 HAS SOUS 468900 HAS SOUPS 468900 WITH SCORE 469434.565
AT ITER 1147 NEW BEST:: SOT 966544 SOS 534412 HAS SOPS 534412 HAS SOUS 468807 HAS SOUPS 468807 WITH SCORE 469341.412
AT ITER 1154 NEW BEST:: SOT 965670 SOS 534066 HAS SOPS 534066 HAS SOUS 468129 HAS SOUPS 468129 WITH SCORE 468663.066
AT ITER 1160 NEW BEST:: SOT 965153 SOS 533796 HAS SOPS 533796 HAS SOUS 467745 HAS SOUPS 467745 WITH SCORE 468278.796
AT ITER 1172 NEW BEST:: SOT 965153 SOS 533444 HAS SOPS 533444 HAS SOUS 467745 HAS SOUPS 467745 WITH SCORE 468278.444
AT ITER 1175 NEW BEST:: SOT 964519 SOS 534905 HAS SOPS 534905 HAS SOUS 467609 HAS SOUPS 467609 WITH SCORE 468143.905
AT ITER 1177 NEW BEST:: SOT 964259 SOS 533595 HAS SOPS 533595 HAS SOUS 467322 HAS SOUPS 467322 WITH SCORE 467855.595
AT ITER 1179 NEW BEST:: SOT 964259 SOS 530926 HAS SOPS 530926 HAS SOUS 467322 HAS SOUPS 467322 WITH SCORE 467852.926
AT ITER 1183 NEW BEST:: SOT 964259 SOS 530760 HAS SOPS 530760 HAS SOUS 467322 HAS SOUPS 467322 WITH SCORE 467852.76
AT ITER 1184 NEW BEST:: SOT 963978 SOS 531288 HAS SOPS 531288 HAS SOUS 467139 HAS SOUPS 467139 WITH SCORE 467670.288
AT ITER 1187 NEW BEST:: SOT 963508 SOS 531146 HAS SOPS 531146 HAS SOUS 466833 HAS SOUPS 466833 WITH SCORE 467364.146
AT ITER 1189 NEW BEST:: SOT 963508 SOS 531136 HAS SOPS 531136 HAS SOUS 466833 HAS SOUPS 466833 WITH SCORE 467364.136
AT ITER 1191 NEW BEST:: SOT 963508 SOS 531075 HAS SOPS 531075 HAS SOUS 466833 HAS SOUPS 466833 WITH SCORE 467364.075
AT ITER 1208 NEW BEST:: SOT 963451 SOS 530979 HAS SOPS 530979 HAS SOUS 466780 HAS SOUPS 466780 WITH SCORE 467310.979
AT ITER 1222 NEW BEST:: SOT 963624 SOS 531212 HAS SOPS 531212 HAS SOUS 466761 HAS SOUPS 466761 WITH SCORE 467292.212
AT ITER 1231 NEW BEST:: SOT 962848 SOS 533751 HAS SOPS 533751 HAS SOUS 466318 HAS SOUPS 466318 WITH SCORE 466851.751
AT ITER 1234 NEW BEST:: SOT 962848 SOS 533578 HAS SOPS 533578 HAS SOUS 466318 HAS SOUPS 466318 WITH SCORE 466851.578
AT ITER 1239 NEW BEST:: SOT 962848 SOS 533520 HAS SOPS 533520 HAS SOUS 466318 HAS SOUPS 466318 WITH SCORE 466851.52
AT ITER 1247 NEW BEST:: SOT 962619 SOS 532625 HAS SOPS 532625 HAS SOUS 466292 HAS SOUPS 466292 WITH SCORE 466824.625
AT ITER 1249 NEW BEST:: SOT 962619 SOS 532585 HAS SOPS 532585 HAS SOUS 466292 HAS SOUPS 466292 WITH SCORE 466824.585
AT ITER 1251 NEW BEST:: SOT 962619 SOS 532325 HAS SOPS 532325 HAS SOUS 466154 HAS SOUPS 466154 WITH SCORE 466686.325
AT ITER 1253 NEW BEST:: SOT 961946 SOS 537019 HAS SOPS 537019 HAS SOUS 465969 HAS SOUPS 465969 WITH SCORE 466506.019
AT ITER 1258 NEW BEST:: SOT 961919 SOS 536983 HAS SOPS 536983 HAS SOUS 465915 HAS SOUPS 465915 WITH SCORE 466451.983
AT ITER 1267 NEW BEST:: SOT 962105 SOS 537400 HAS SOPS 537400 HAS SOUS 465813 HAS SOUPS 465813 WITH SCORE 466350.4
AT ITER 1268 NEW BEST:: SOT 962105 SOS 537019 HAS SOPS 537019 HAS SOUS 465813 HAS SOUPS 465813 WITH SCORE 466350.019
AT ITER 1269 NEW BEST:: SOT 961605 SOS 537401 HAS SOPS 537401 HAS SOUS 465432 HAS SOUPS 465432 WITH SCORE 465969.401
AT ITER 1279 NEW BEST:: SOT 961574 SOS 537767 HAS SOPS 537767 HAS SOUS 465401 HAS SOUPS 465401 WITH SCORE 465938.767
AT ITER 1281 NEW BEST:: SOT 961627 SOS 537632 HAS SOPS 537632 HAS SOUS 465300 HAS SOUPS 465300 WITH SCORE 465837.632
AT ITER 1284 NEW BEST:: SOT 961606 SOS 537611 HAS SOPS 537611 HAS SOUS 465279 HAS SOUPS 465279 WITH SCORE 465816.611
AT ITER 1289 NEW BEST:: SOT 961255 SOS 537466 HAS SOPS 537466 HAS SOUS 465226 HAS SOUPS 465226 WITH SCORE 465763.466
AT ITER 1291 NEW BEST:: SOT 961255 SOS 536989 HAS SOPS 536989 HAS SOUS 465226 HAS SOUPS 465226 WITH SCORE 465762.989
AT ITER 1293 NEW BEST:: SOT 961255 SOS 536816 HAS SOPS 536816 HAS SOUS 465226 HAS SOUPS 465226 WITH SCORE 465762.816
AT ITER 1294 NEW BEST:: SOT 961255 SOS 536764 HAS SOPS 536764 HAS SOUS 465226 HAS SOUPS 465226 WITH SCORE 465762.764
AT ITER 1295 NEW BEST:: SOT 961255 SOS 536699 HAS SOPS 536699 HAS SOUS 465226 HAS SOUPS 465226 WITH SCORE 465762.699
AT ITER 1311 NEW BEST:: SOT 960079 SOS 536076 HAS SOPS 536076 HAS SOUS 464350 HAS SOUPS 464350 WITH SCORE 464886.076
AT ITER 1319 NEW BEST:: SOT 960079 SOS 535953 HAS SOPS 535953 HAS SOUS 464350 HAS SOUPS 464350 WITH SCORE 464885.953
AT ITER 1324 NEW BEST:: SOT 960079 SOS 536418 HAS SOPS 536418 HAS SOUS 464333 HAS SOUPS 464333 WITH SCORE 464869.418
AT ITER 1325 NEW BEST:: SOT 960102 SOS 536408 HAS SOPS 536408 HAS SOUS 464267 HAS SOUPS 464267 WITH SCORE 464803.408
AT ITER 1327 NEW BEST:: SOT 960102 SOS 535073 HAS SOPS 535073 HAS SOUS 464267 HAS SOUPS 464267 WITH SCORE 464802.073
AT ITER 1331 NEW BEST:: SOT 959289 SOS 537820 HAS SOPS 537820 HAS SOUS 464221 HAS SOUPS 464221 WITH SCORE 464758.82
AT ITER 1332 NEW BEST:: SOT 959257 SOS 537527 HAS SOPS 537527 HAS SOUS 464138 HAS SOUPS 464138 WITH SCORE 464675.527
AT ITER 1337 NEW BEST:: SOT 958667 SOS 537564 HAS SOPS 537564 HAS SOUS 464099 HAS SOUPS 464099 WITH SCORE 464636.564
AT ITER 1350 NEW BEST:: SOT 958270 SOS 537933 HAS SOPS 537933 HAS SOUS 463924 HAS SOUPS 463924 WITH SCORE 464461.933
AT ITER 1352 NEW BEST:: SOT 957572 SOS 537422 HAS SOPS 537422 HAS SOUS 463302 HAS SOUPS 463302 WITH SCORE 463839.422
AT ITER 1355 NEW BEST:: SOT 957572 SOS 537422 HAS SOPS 537422 HAS SOUS 463276 HAS SOUPS 463276 WITH SCORE 463813.422
AT ITER 1358 NEW BEST:: SOT 956794 SOS 536870 HAS SOPS 536870 HAS SOUS 462744 HAS SOUPS 462744 WITH SCORE 463280.87
AT ITER 1362 NEW BEST:: SOT 956081 SOS 536795 HAS SOPS 536795 HAS SOUS 462500 HAS SOUPS 462500 WITH SCORE 463036.795
AT ITER 1375 NEW BEST:: SOT 956081 SOS 536188 HAS SOPS 536188 HAS SOUS 461955 HAS SOUPS 461955 WITH SCORE 462491.188
AT ITER 1377 NEW BEST:: SOT 956081 SOS 536098 HAS SOPS 536098 HAS SOUS 461910 HAS SOUPS 461910 WITH SCORE 462446.098
AT ITER 1378 NEW BEST:: SOT 956016 SOS 535639 HAS SOPS 535639 HAS SOUS 461686 HAS SOUPS 461686 WITH SCORE 462221.639
AT ITER 1384 NEW BEST:: SOT 955630 SOS 535803 HAS SOPS 535803 HAS SOUS 461322 HAS SOUPS 461322 WITH SCORE 461857.803
AT ITER 1385 NEW BEST:: SOT 953597 SOS 534217 HAS SOPS 534217 HAS SOUS 459656 HAS SOUPS 459656 WITH SCORE 460190.217
AT ITER 1404 NEW BEST:: SOT 953597 SOS 534128 HAS SOPS 534128 HAS SOUS 459656 HAS SOUPS 459656 WITH SCORE 460190.128
AT ITER 1410 NEW BEST:: SOT 953597 SOS 534059 HAS SOPS 534059 HAS SOUS 459656 HAS SOUPS 459656 WITH SCORE 460190.059
AT ITER 1411 NEW BEST:: SOT 953597 SOS 531455 HAS SOPS 531455 HAS SOUS 459473 HAS SOUPS 459473 WITH SCORE 460004.455
AT ITER 1412 NEW BEST:: SOT 952583 SOS 533590 HAS SOPS 533590 HAS SOUS 459038 HAS SOUPS 459038 WITH SCORE 459571.59
AT ITER 1420 NEW BEST:: SOT 952234 SOS 534260 HAS SOPS 534260 HAS SOUS 458889 HAS SOUPS 458889 WITH SCORE 459423.26
AT ITER 1432 NEW BEST:: SOT 952234 SOS 533873 HAS SOPS 533873 HAS SOUS 458571 HAS SOUPS 458571 WITH SCORE 459104.873
AT ITER 1434 NEW BEST:: SOT 952234 SOS 533567 HAS SOPS 533567 HAS SOUS 458571 HAS SOUPS 458571 WITH SCORE 459104.567
AT ITER 1444 NEW BEST:: SOT 952234 SOS 533451 HAS SOPS 533451 HAS SOUS 458571 HAS SOUPS 458571 WITH SCORE 459104.451
AT ITER 1452 NEW BEST:: SOT 952147 SOS 533577 HAS SOPS 533577 HAS SOUS 458551 HAS SOUPS 458551 WITH SCORE 459084.577
AT ITER 1459 NEW BEST:: SOT 952147 SOS 533401 HAS SOPS 533401 HAS SOUS 458478 HAS SOUPS 458478 WITH SCORE 459011.401
AT ITER 1462 NEW BEST:: SOT 952165 SOS 533392 HAS SOPS 533392 HAS SOUS 458469 HAS SOUPS 458469 WITH SCORE 459002.392
AT ITER 1464 NEW BEST:: SOT 951635 SOS 533229 HAS SOPS 533229 HAS SOUS 458153 HAS SOUPS 458153 WITH SCORE 458686.229
AT ITER 1474 NEW BEST:: SOT 951635 SOS 532646 HAS SOPS 532646 HAS SOUS 458153 HAS SOUPS 458153 WITH SCORE 458685.646
AT ITER 1478 NEW BEST:: SOT 951635 SOS 532633 HAS SOPS 532633 HAS SOUS 457953 HAS SOUPS 457953 WITH SCORE 458485.633
AT ITER 1479 NEW BEST:: SOT 950778 SOS 532055 HAS SOPS 532055 HAS SOUS 457492 HAS SOUPS 457492 WITH SCORE 458024.055
AT ITER 1482 NEW BEST:: SOT 950373 SOS 533048 HAS SOPS 533048 HAS SOUS 457208 HAS SOUPS 457208 WITH SCORE 457741.048
AT ITER 1487 NEW BEST:: SOT 950373 SOS 533083 HAS SOPS 533083 HAS SOUS 457136 HAS SOUPS 457136 WITH SCORE 457669.083
AT ITER 1494 NEW BEST:: SOT 950506 SOS 532703 HAS SOPS 532703 HAS SOUS 457098 HAS SOUPS 457098 WITH SCORE 457630.703
AT ITER 1501 NEW BEST:: SOT 950497 SOS 532694 HAS SOPS 532694 HAS SOUS 457085 HAS SOUPS 457085 WITH SCORE 457617.694
AT ITER 1508 NEW BEST:: SOT 950497 SOS 532496 HAS SOPS 532496 HAS SOUS 457085 HAS SOUPS 457085 WITH SCORE 457617.496
AT ITER 1511 NEW BEST:: SOT 950495 SOS 532494 HAS SOPS 532494 HAS SOUS 457083 HAS SOUPS 457083 WITH SCORE 457615.494
AT ITER 1515 NEW BEST:: SOT 950495 SOS 532324 HAS SOPS 532324 HAS SOUS 457070 HAS SOUPS 457070 WITH SCORE 457602.324
AT ITER 1531 NEW BEST:: SOT 950257 SOS 532120 HAS SOPS 532120 HAS SOUS 456866 HAS SOUPS 456866 WITH SCORE 457398.12
AT ITER 1534 NEW BEST:: SOT 950257 SOS 531891 HAS SOPS 531891 HAS SOUS 456866 HAS SOUPS 456866 WITH SCORE 457397.891
AT ITER 1539 NEW BEST:: SOT 950209 SOS 532204 HAS SOPS 532204 HAS SOUS 456859 HAS SOUPS 456859 WITH SCORE 457391.204
AT ITER 1543 NEW BEST:: SOT 950187 SOS 532182 HAS SOPS 532182 HAS SOUS 456820 HAS SOUPS 456820 WITH SCORE 457352.182
AT ITER 1548 NEW BEST:: SOT 950150 SOS 532088 HAS SOPS 532088 HAS SOUS 456813 HAS SOUPS 456813 WITH SCORE 457345.088
AT ITER 1553 NEW BEST:: SOT 950188 SOS 531410 HAS SOPS 531410 HAS SOUS 456736 HAS SOUPS 456736 WITH SCORE 457267.41
AT ITER 1559 NEW BEST:: SOT 949162 SOS 532021 HAS SOPS 532021 HAS SOUS 456453 HAS SOUPS 456453 WITH SCORE 456985.021
AT ITER 1563 NEW BEST:: SOT 948984 SOS 532810 HAS SOPS 532810 HAS SOUS 456441 HAS SOUPS 456441 WITH SCORE 456973.81
AT ITER 1574 NEW BEST:: SOT 948973 SOS 532591 HAS SOPS 532591 HAS SOUS 456338 HAS SOUPS 456338 WITH SCORE 456870.591
AT ITER 1580 NEW BEST:: SOT 948589 SOS 532255 HAS SOPS 532255 HAS SOUS 455957 HAS SOUPS 455957 WITH SCORE 456489.255
AT ITER 1589 NEW BEST:: SOT 948589 SOS 532137 HAS SOPS 532137 HAS SOUS 455913 HAS SOUPS 455913 WITH SCORE 456445.137
AT ITER 1594 NEW BEST:: SOT 947419 SOS 534269 HAS SOPS 534269 HAS SOUS 455465 HAS SOUPS 455465 WITH SCORE 455999.269
AT ITER 1603 NEW BEST:: SOT 947854 SOS 531511 HAS SOPS 531511 HAS SOUS 455316 HAS SOUPS 455316 WITH SCORE 455847.511
AT ITER 1610 NEW BEST:: SOT 947605 SOS 531475 HAS SOPS 531475 HAS SOUS 455280 HAS SOUPS 455280 WITH SCORE 455811.475
AT ITER 1613 NEW BEST:: SOT 947784 SOS 531179 HAS SOPS 531179 HAS SOUS 454947 HAS SOUPS 454947 WITH SCORE 455478.179
AT ITER 1619 NEW BEST:: SOT 947784 SOS 531146 HAS SOPS 531146 HAS SOUS 454947 HAS SOUPS 454947 WITH SCORE 455478.146
AT ITER 1621 NEW BEST:: SOT 947784 SOS 530915 HAS SOPS 530915 HAS SOUS 454917 HAS SOUPS 454917 WITH SCORE 455447.915
AT ITER 1624 NEW BEST:: SOT 947784 SOS 530832 HAS SOPS 530832 HAS SOUS 454917 HAS SOUPS 454917 WITH SCORE 455447.832
AT ITER 1629 NEW BEST:: SOT 947490 SOS 530644 HAS SOPS 530644 HAS SOUS 454671 HAS SOUPS 454671 WITH SCORE 455201.644
AT ITER 1632 NEW BEST:: SOT 946838 SOS 530542 HAS SOPS 530542 HAS SOUS 454474 HAS SOUPS 454474 WITH SCORE 455004.542
AT ITER 1634 NEW BEST:: SOT 946559 SOS 530366 HAS SOPS 530366 HAS SOUS 454298 HAS SOUPS 454298 WITH SCORE 454828.366
AT ITER 1645 NEW BEST:: SOT 946559 SOS 530349 HAS SOPS 530349 HAS SOUS 454298 HAS SOUPS 454298 WITH SCORE 454828.349
AT ITER 1646 NEW BEST:: SOT 946559 SOS 530295 HAS SOPS 530295 HAS SOUS 454298 HAS SOUPS 454298 WITH SCORE 454828.295
AT ITER 1652 NEW BEST:: SOT 946559 SOS 528050 HAS SOPS 528050 HAS SOUS 454298 HAS SOUPS 454298 WITH SCORE 454826.05
AT ITER 1653 NEW BEST:: SOT 946344 SOS 528282 HAS SOPS 528282 HAS SOUS 454281 HAS SOUPS 454281 WITH SCORE 454809.282
AT ITER 1657 NEW BEST:: SOT 946344 SOS 528177 HAS SOPS 528177 HAS SOUS 454281 HAS SOUPS 454281 WITH SCORE 454809.177
AT ITER 1658 NEW BEST:: SOT 946108 SOS 527994 HAS SOPS 527994 HAS SOUS 454203 HAS SOUPS 454203 WITH SCORE 454730.994
AT ITER 1659 NEW BEST:: SOT 946108 SOS 527971 HAS SOPS 527971 HAS SOUS 454094 HAS SOUPS 454094 WITH SCORE 454621.971
AT ITER 1664 NEW BEST:: SOT 946108 SOS 527924 HAS SOPS 527924 HAS SOUS 454094 HAS SOUPS 454094 WITH SCORE 454621.924
AT ITER 1670 NEW BEST:: SOT 945973 SOS 527813 HAS SOPS 527813 HAS SOUS 453983 HAS SOUPS 453983 WITH SCORE 454510.813
AT ITER 1672 NEW BEST:: SOT 945837 SOS 527722 HAS SOPS 527722 HAS SOUS 453892 HAS SOUPS 453892 WITH SCORE 454419.722
AT ITER 1680 NEW BEST:: SOT 945991 SOS 527727 HAS SOPS 527727 HAS SOUS 453717 HAS SOUPS 453717 WITH SCORE 454244.727
AT ITER 1690 NEW BEST:: SOT 945528 SOS 527628 HAS SOPS 527628 HAS SOUS 453496 HAS SOUPS 453496 WITH SCORE 454023.628
AT ITER 1692 NEW BEST:: SOT 945373 SOS 527285 HAS SOPS 527285 HAS SOUS 453407 HAS SOUPS 453407 WITH SCORE 453934.285
AT ITER 1701 NEW BEST:: SOT 946439 SOS 526475 HAS SOPS 526475 HAS SOUS 453337 HAS SOUPS 453337 WITH SCORE 453863.475
AT ITER 1702 NEW BEST:: SOT 946439 SOS 526360 HAS SOPS 526360 HAS SOUS 453337 HAS SOUPS 453337 WITH SCORE 453863.36
AT ITER 1706 NEW BEST:: SOT 946341 SOS 526324 HAS SOPS 526324 HAS SOUS 453301 HAS SOUPS 453301 WITH SCORE 453827.324
AT ITER 1710 NEW BEST:: SOT 945260 SOS 525847 HAS SOPS 525847 HAS SOUS 452606 HAS SOUPS 452606 WITH SCORE 453131.847
AT ITER 1711 NEW BEST:: SOT 945328 SOS 524198 HAS SOPS 524198 HAS SOUS 452549 HAS SOUPS 452549 WITH SCORE 453073.198
AT ITER 1715 NEW BEST:: SOT 944979 SOS 524668 HAS SOPS 524668 HAS SOUS 452527 HAS SOUPS 452527 WITH SCORE 453051.668
AT ITER 1724 NEW BEST:: SOT 944979 SOS 524705 HAS SOPS 524705 HAS SOUS 452512 HAS SOUPS 452512 WITH SCORE 453036.705
AT ITER 1729 NEW BEST:: SOT 944979 SOS 524483 HAS SOPS 524483 HAS SOUS 452512 HAS SOUPS 452512 WITH SCORE 453036.483
AT ITER 1730 NEW BEST:: SOT 944696 SOS 523236 HAS SOPS 523236 HAS SOUS 452446 HAS SOUPS 452446 WITH SCORE 452969.236
AT ITER 1735 NEW BEST:: SOT 944422 SOS 522962 HAS SOPS 522962 HAS SOUS 452016 HAS SOUPS 452016 WITH SCORE 452538.962
AT ITER 1738 NEW BEST:: SOT 944422 SOS 522988 HAS SOPS 522988 HAS SOUS 452000 HAS SOUPS 452000 WITH SCORE 452522.988
AT ITER 1740 NEW BEST:: SOT 944153 SOS 522789 HAS SOPS 522789 HAS SOUS 451845 HAS SOUPS 451845 WITH SCORE 452367.789
AT ITER 1746 NEW BEST:: SOT 944153 SOS 522277 HAS SOPS 522277 HAS SOUS 451601 HAS SOUPS 451601 WITH SCORE 452123.277
AT ITER 1757 NEW BEST:: SOT 942817 SOS 522864 HAS SOPS 522864 HAS SOUS 451295 HAS SOUPS 451295 WITH SCORE 451817.864
AT ITER 1771 NEW BEST:: SOT 942817 SOS 522582 HAS SOPS 522582 HAS SOUS 451295 HAS SOUPS 451295 WITH SCORE 451817.582
AT ITER 1775 NEW BEST:: SOT 942080 SOS 523020 HAS SOPS 523020 HAS SOUS 451070 HAS SOUPS 451070 WITH SCORE 451593.02
AT ITER 1783 NEW BEST:: SOT 942046 SOS 522986 HAS SOPS 522986 HAS SOUS 451057 HAS SOUPS 451057 WITH SCORE 451579.986
AT ITER 1793 NEW BEST:: SOT 941984 SOS 522795 HAS SOPS 522795 HAS SOUS 450936 HAS SOUPS 450936 WITH SCORE 451458.795
AT ITER 1795 NEW BEST:: SOT 941984 SOS 522745 HAS SOPS 522745 HAS SOUS 450936 HAS SOUPS 450936 WITH SCORE 451458.745
AT ITER 1796 NEW BEST:: SOT 940478 SOS 523658 HAS SOPS 523658 HAS SOUS 450711 HAS SOUPS 450711 WITH SCORE 451234.658
AT ITER 1802 NEW BEST:: SOT 940478 SOS 523281 HAS SOPS 523281 HAS SOUS 450605 HAS SOUPS 450605 WITH SCORE 451128.281
AT ITER 1803 NEW BEST:: SOT 940327 SOS 523085 HAS SOPS 523085 HAS SOUS 450303 HAS SOUPS 450303 WITH SCORE 450826.085
AT ITER 1807 NEW BEST:: SOT 939448 SOS 523848 HAS SOPS 523848 HAS SOUS 450167 HAS SOUPS 450167 WITH SCORE 450690.848
AT ITER 1810 NEW BEST:: SOT 939448 SOS 523662 HAS SOPS 523662 HAS SOUS 450061 HAS SOUPS 450061 WITH SCORE 450584.662
AT ITER 1812 NEW BEST:: SOT 939753 SOS 523260 HAS SOPS 523260 HAS SOUS 449832 HAS SOUPS 449832 WITH SCORE 450355.26
AT ITER 1815 NEW BEST:: SOT 939779 SOS 523286 HAS SOPS 523286 HAS SOUS 449764 HAS SOUPS 449764 WITH SCORE 450287.286
AT ITER 1819 NEW BEST:: SOT 939779 SOS 523185 HAS SOPS 523185 HAS SOUS 449764 HAS SOUPS 449764 WITH SCORE 450287.185
AT ITER 1821 NEW BEST:: SOT 939733 SOS 522915 HAS SOPS 522915 HAS SOUS 449753 HAS SOUPS 449753 WITH SCORE 450275.915
AT ITER 1825 NEW BEST:: SOT 938937 SOS 522548 HAS SOPS 522548 HAS SOUS 449418 HAS SOUPS 449418 WITH SCORE 449940.548
AT ITER 1832 NEW BEST:: SOT 938284 SOS 524182 HAS SOPS 524182 HAS SOUS 448931 HAS SOUPS 448931 WITH SCORE 449455.182
AT ITER 1837 NEW BEST:: SOT 937335 SOS 522623 HAS SOPS 522623 HAS SOUS 448108 HAS SOUPS 448108 WITH SCORE 448630.623
AT ITER 1843 NEW BEST:: SOT 937211 SOS 522499 HAS SOPS 522499 HAS SOUS 447984 HAS SOUPS 447984 WITH SCORE 448506.499
AT ITER 1860 NEW BEST:: SOT 936959 SOS 522510 HAS SOPS 522510 HAS SOUS 447917 HAS SOUPS 447917 WITH SCORE 448439.51
AT ITER 1866 NEW BEST:: SOT 936959 SOS 522424 HAS SOPS 522424 HAS SOUS 447917 HAS SOUPS 447917 WITH SCORE 448439.424
AT ITER 1871 NEW BEST:: SOT 937126 SOS 521981 HAS SOPS 521981 HAS SOUS 447689 HAS SOUPS 447689 WITH SCORE 448210.981
AT ITER 1883 NEW BEST:: SOT 937126 SOS 521957 HAS SOPS 521957 HAS SOUS 447689 HAS SOUPS 447689 WITH SCORE 448210.957
AT ITER 1893 NEW BEST:: SOT 937126 SOS 521860 HAS SOPS 521860 HAS SOUS 447689 HAS SOUPS 447689 WITH SCORE 448210.86
AT ITER 1901 NEW BEST:: SOT 936979 SOS 521713 HAS SOPS 521713 HAS SOUS 447542 HAS SOUPS 447542 WITH SCORE 448063.713
AT ITER 1905 NEW BEST:: SOT 936827 SOS 521544 HAS SOPS 521544 HAS SOUS 447113 HAS SOUPS 447113 WITH SCORE 447634.544
AT ITER 1912 NEW BEST:: SOT 936308 SOS 521256 HAS SOPS 521256 HAS SOUS 447105 HAS SOUPS 447105 WITH SCORE 447626.256
AT ITER 1915 NEW BEST:: SOT 936308 SOS 521256 HAS SOPS 521256 HAS SOUS 447071 HAS SOUPS 447071 WITH SCORE 447592.256
AT ITER 1929 NEW BEST:: SOT 936308 SOS 521256 HAS SOPS 521256 HAS SOUS 446797 HAS SOUPS 446797 WITH SCORE 447318.256
AT ITER 1934 NEW BEST:: SOT 935440 SOS 521840 HAS SOPS 521840 HAS SOUS 446413 HAS SOUPS 446413 WITH SCORE 446934.84
AT ITER 1947 NEW BEST:: SOT 935318 SOS 521779 HAS SOPS 521779 HAS SOUS 446352 HAS SOUPS 446352 WITH SCORE 446873.779
AT ITER 1948 NEW BEST:: SOT 934999 SOS 521608 HAS SOPS 521608 HAS SOUS 446033 HAS SOUPS 446033 WITH SCORE 446554.608
AT ITER 1949 NEW BEST:: SOT 934742 SOS 521440 HAS SOPS 521440 HAS SOUS 445776 HAS SOUPS 445776 WITH SCORE 446297.44
AT ITER 1961 NEW BEST:: SOT 934742 SOS 521437 HAS SOPS 521437 HAS SOUS 445776 HAS SOUPS 445776 WITH SCORE 446297.437
AT ITER 1963 NEW BEST:: SOT 934850 SOS 521635 HAS SOPS 521635 HAS SOUS 445770 HAS SOUPS 445770 WITH SCORE 446291.635
AT ITER 1965 NEW BEST:: SOT 934741 SOS 521526 HAS SOPS 521526 HAS SOUS 445701 HAS SOUPS 445701 WITH SCORE 446222.526
AT ITER 1974 NEW BEST:: SOT 934040 SOS 521355 HAS SOPS 521355 HAS SOUS 445656 HAS SOUPS 445656 WITH SCORE 446177.355
AT ITER 1977 NEW BEST:: SOT 933977 SOS 521162 HAS SOPS 521162 HAS SOUS 445441 HAS SOUPS 445441 WITH SCORE 445962.162
AT ITER 1982 NEW BEST:: SOT 933977 SOS 521034 HAS SOPS 521034 HAS SOUS 445441 HAS SOUPS 445441 WITH SCORE 445962.034
AT ITER 1984 NEW BEST:: SOT 933136 SOS 520739 HAS SOPS 520739 HAS SOUS 445351 HAS SOUPS 445351 WITH SCORE 445871.739
AT ITER 1986 NEW BEST:: SOT 933136 SOS 520592 HAS SOPS 520592 HAS SOUS 445351 HAS SOUPS 445351 WITH SCORE 445871.592
AT ITER 1994 NEW BEST:: SOT 933136 SOS 520290 HAS SOPS 520290 HAS SOUS 445350 HAS SOUPS 445350 WITH SCORE 445870.29
AT ITER 2005 NEW BEST:: SOT 933134 SOS 520288 HAS SOPS 520288 HAS SOUS 445348 HAS SOUPS 445348 WITH SCORE 445868.288
AT ITER 2018 NEW BEST:: SOT 932739 SOS 519893 HAS SOPS 519893 HAS SOUS 444958 HAS SOUPS 444958 WITH SCORE 445477.893
AT ITER 2020 NEW BEST:: SOT 932850 SOS 519846 HAS SOPS 519846 HAS SOUS 444911 HAS SOUPS 444911 WITH SCORE 445430.846
AT ITER 2025 NEW BEST:: SOT 932850 SOS 519765 HAS SOPS 519765 HAS SOUS 444911 HAS SOUPS 444911 WITH SCORE 445430.765
AT ITER 2027 NEW BEST:: SOT 932850 SOS 519711 HAS SOPS 519711 HAS SOUS 444868 HAS SOUPS 444868 WITH SCORE 445387.711
AT ITER 2035 NEW BEST:: SOT 932850 SOS 519633 HAS SOPS 519633 HAS SOUS 444868 HAS SOUPS 444868 WITH SCORE 445387.633
AT ITER 2048 NEW BEST:: SOT 932923 SOS 519498 HAS SOPS 519498 HAS SOUS 444566 HAS SOUPS 444566 WITH SCORE 445085.498
AT ITER 2051 NEW BEST:: SOT 932884 SOS 519485 HAS SOPS 519485 HAS SOUS 444540 HAS SOUPS 444540 WITH SCORE 445059.485
AT ITER 2057 NEW BEST:: SOT 933038 SOS 519464 HAS SOPS 519464 HAS SOUS 444407 HAS SOUPS 444407 WITH SCORE 444926.464
AT ITER 2058 NEW BEST:: SOT 932700 SOS 518875 HAS SOPS 518875 HAS SOUS 443936 HAS SOUPS 443936 WITH SCORE 444454.875
AT ITER 2059 NEW BEST:: SOT 933174 SOS 518656 HAS SOPS 518656 HAS SOUS 443515 HAS SOUPS 443515 WITH SCORE 444033.656
AT ITER 2060 NEW BEST:: SOT 933174 SOS 518579 HAS SOPS 518579 HAS SOUS 443515 HAS SOUPS 443515 WITH SCORE 444033.579
AT ITER 2078 NEW BEST:: SOT 932102 SOS 517800 HAS SOPS 517800 HAS SOUS 442617 HAS SOUPS 442617 WITH SCORE 443134.8
AT ITER 2089 NEW BEST:: SOT 932102 SOS 517800 HAS SOPS 517800 HAS SOUS 442611 HAS SOUPS 442611 WITH SCORE 443128.8
AT ITER 2090 NEW BEST:: SOT 930840 SOS 519252 HAS SOPS 519252 HAS SOUS 441785 HAS SOUPS 441785 WITH SCORE 442304.252
AT ITER 2094 NEW BEST:: SOT 930818 SOS 519385 HAS SOPS 519385 HAS SOUS 441777 HAS SOUPS 441777 WITH SCORE 442296.385
AT ITER 2100 NEW BEST:: SOT 930787 SOS 519489 HAS SOPS 519489 HAS SOUS 441732 HAS SOUPS 441732 WITH SCORE 442251.489
AT ITER 2117 NEW BEST:: SOT 930787 SOS 519473 HAS SOPS 519473 HAS SOUS 441732 HAS SOUPS 441732 WITH SCORE 442251.473
AT ITER 2127 NEW BEST:: SOT 930787 SOS 518993 HAS SOPS 518993 HAS SOUS 441729 HAS SOUPS 441729 WITH SCORE 442247.993
AT ITER 2128 NEW BEST:: SOT 931026 SOS 517934 HAS SOPS 517934 HAS SOUS 441723 HAS SOUPS 441723 WITH SCORE 442240.934
AT ITER 2136 NEW BEST:: SOT 931026 SOS 517866 HAS SOPS 517866 HAS SOUS 441682 HAS SOUPS 441682 WITH SCORE 442199.866
AT ITER 2145 NEW BEST:: SOT 930961 SOS 519270 HAS SOPS 519270 HAS SOUS 441521 HAS SOUPS 441521 WITH SCORE 442040.27
AT ITER 2156 NEW BEST:: SOT 930961 SOS 517694 HAS SOPS 517694 HAS SOUS 441502 HAS SOUPS 441502 WITH SCORE 442019.694
AT ITER 2162 NEW BEST:: SOT 930083 SOS 517738 HAS SOPS 517738 HAS SOUS 440943 HAS SOUPS 440943 WITH SCORE 441460.738
AT ITER 2184 NEW BEST:: SOT 930083 SOS 517305 HAS SOPS 517305 HAS SOUS 440695 HAS SOUPS 440695 WITH SCORE 441212.305
AT ITER 2189 NEW BEST:: SOT 930083 SOS 517580 HAS SOPS 517580 HAS SOUS 440691 HAS SOUPS 440691 WITH SCORE 441208.58
AT ITER 2195 NEW BEST:: SOT 930083 SOS 516668 HAS SOPS 516668 HAS SOUS 440474 HAS SOUPS 440474 WITH SCORE 440990.668
AT ITER 2212 NEW BEST:: SOT 929829 SOS 516508 HAS SOPS 516508 HAS SOUS 440432 HAS SOUPS 440432 WITH SCORE 440948.508
AT ITER 2215 NEW BEST:: SOT 929829 SOS 516500 HAS SOPS 516500 HAS SOUS 440432 HAS SOUPS 440432 WITH SCORE 440948.5
AT ITER 2220 NEW BEST:: SOT 929829 SOS 516500 HAS SOPS 516500 HAS SOUS 440424 HAS SOUPS 440424 WITH SCORE 440940.5
AT ITER 2224 NEW BEST:: SOT 929810 SOS 516481 HAS SOPS 516481 HAS SOUS 440413 HAS SOUPS 440413 WITH SCORE 440929.481
AT ITER 2225 NEW BEST:: SOT 929810 SOS 516332 HAS SOPS 516332 HAS SOUS 440245 HAS SOUPS 440245 WITH SCORE 440761.332
AT ITER 2227 NEW BEST:: SOT 929810 SOS 514968 HAS SOPS 514968 HAS SOUS 440245 HAS SOUPS 440245 WITH SCORE 440759.968
AT ITER 2237 NEW BEST:: SOT 929598 SOS 514862 HAS SOPS 514862 HAS SOUS 440086 HAS SOUPS 440086 WITH SCORE 440600.862
AT ITER 2239 NEW BEST:: SOT 929598 SOS 513496 HAS SOPS 513496 HAS SOUS 440086 HAS SOUPS 440086 WITH SCORE 440599.496
AT ITER 2240 NEW BEST:: SOT 929598 SOS 513364 HAS SOPS 513364 HAS SOUS 440086 HAS SOUPS 440086 WITH SCORE 440599.364
AT ITER 2257 NEW BEST:: SOT 929594 SOS 513356 HAS SOPS 513356 HAS SOUS 440077 HAS SOUPS 440077 WITH SCORE 440590.356
AT ITER 2258 NEW BEST:: SOT 929395 SOS 512860 HAS SOPS 512860 HAS SOUS 439627 HAS SOUPS 439627 WITH SCORE 440139.86
AT ITER 2262 NEW BEST:: SOT 929395 SOS 512860 HAS SOPS 512860 HAS SOUS 439539 HAS SOUPS 439539 WITH SCORE 440051.86
AT ITER 2264 NEW BEST:: SOT 929326 SOS 512561 HAS SOPS 512561 HAS SOUS 439461 HAS SOUPS 439461 WITH SCORE 439973.561
AT ITER 2270 NEW BEST:: SOT 929326 SOS 512508 HAS SOPS 512508 HAS SOUS 439461 HAS SOUPS 439461 WITH SCORE 439973.508
AT ITER 2282 NEW BEST:: SOT 928819 SOS 512464 HAS SOPS 512464 HAS SOUS 439266 HAS SOUPS 439266 WITH SCORE 439778.464
AT ITER 2284 NEW BEST:: SOT 928500 SOS 512230 HAS SOPS 512230 HAS SOUS 439090 HAS SOUPS 439090 WITH SCORE 439602.23
AT ITER 2290 NEW BEST:: SOT 928391 SOS 512121 HAS SOPS 512121 HAS SOUS 438981 HAS SOUPS 438981 WITH SCORE 439493.121
AT ITER 2294 NEW BEST:: SOT 928391 SOS 512081 HAS SOPS 512081 HAS SOUS 438981 HAS SOUPS 438981 WITH SCORE 439493.081
AT ITER 2299 NEW BEST:: SOT 928391 SOS 511997 HAS SOPS 511997 HAS SOUS 438981 HAS SOUPS 438981 WITH SCORE 439492.997
AT ITER 2302 NEW BEST:: SOT 928337 SOS 512068 HAS SOPS 512068 HAS SOUS 438838 HAS SOUPS 438838 WITH SCORE 439350.068
AT ITER 2303 NEW BEST:: SOT 928337 SOS 512057 HAS SOPS 512057 HAS SOUS 438838 HAS SOUPS 438838 WITH SCORE 439350.057
AT ITER 2312 NEW BEST:: SOT 927032 SOS 511011 HAS SOPS 511011 HAS SOUS 437684 HAS SOUPS 437684 WITH SCORE 438195.011
AT ITER 2314 NEW BEST:: SOT 926318 SOS 511919 HAS SOPS 511919 HAS SOUS 437231 HAS SOUPS 437231 WITH SCORE 437742.919
AT ITER 2318 NEW BEST:: SOT 926274 SOS 511555 HAS SOPS 511555 HAS SOUS 437138 HAS SOUPS 437138 WITH SCORE 437649.555
AT ITER 2322 NEW BEST:: SOT 925916 SOS 511279 HAS SOPS 511279 HAS SOUS 436918 HAS SOUPS 436918 WITH SCORE 437429.279
AT ITER 2330 NEW BEST:: SOT 925735 SOS 511098 HAS SOPS 511098 HAS SOUS 436800 HAS SOUPS 436800 WITH SCORE 437311.098
AT ITER 2331 NEW BEST:: SOT 926075 SOS 511234 HAS SOPS 511234 HAS SOUS 436769 HAS SOUPS 436769 WITH SCORE 437280.234
AT ITER 2338 NEW BEST:: SOT 926023 SOS 511182 HAS SOPS 511182 HAS SOUS 436717 HAS SOUPS 436717 WITH SCORE 437228.182
AT ITER 2341 NEW BEST:: SOT 926023 SOS 511130 HAS SOPS 511130 HAS SOUS 436717 HAS SOUPS 436717 WITH SCORE 437228.13
AT ITER 2343 NEW BEST:: SOT 926023 SOS 509605 HAS SOPS 509605 HAS SOUS 436717 HAS SOUPS 436717 WITH SCORE 437226.605
AT ITER 2348 NEW BEST:: SOT 926725 SOS 509609 HAS SOPS 509609 HAS SOUS 436654 HAS SOUPS 436654 WITH SCORE 437163.609
AT ITER 2377 NEW BEST:: SOT 926314 SOS 509700 HAS SOPS 509700 HAS SOUS 436494 HAS SOUPS 436494 WITH SCORE 437003.7
AT ITER 2380 NEW BEST:: SOT 926314 SOS 509548 HAS SOPS 509548 HAS SOUS 436494 HAS SOUPS 436494 WITH SCORE 437003.548
AT ITER 2381 NEW BEST:: SOT 924813 SOS 508761 HAS SOPS 508761 HAS SOUS 436052 HAS SOUPS 436052 WITH SCORE 436560.761
AT ITER 2383 NEW BEST:: SOT 924674 SOS 508638 HAS SOPS 508638 HAS SOUS 435789 HAS SOUPS 435789 WITH SCORE 436297.638
AT ITER 2396 NEW BEST:: SOT 924549 SOS 508627 HAS SOPS 508627 HAS SOUS 435778 HAS SOUPS 435778 WITH SCORE 436286.627
AT ITER 2404 NEW BEST:: SOT 924549 SOS 508575 HAS SOPS 508575 HAS SOUS 435778 HAS SOUPS 435778 WITH SCORE 436286.575
AT ITER 2410 NEW BEST:: SOT 924549 SOS 508486 HAS SOPS 508486 HAS SOUS 435689 HAS SOUPS 435689 WITH SCORE 436197.486
AT ITER 2424 NEW BEST:: SOT 924549 SOS 508476 HAS SOPS 508476 HAS SOUS 435689 HAS SOUPS 435689 WITH SCORE 436197.476
AT ITER 2429 NEW BEST:: SOT 924549 SOS 508277 HAS SOPS 508277 HAS SOUS 435689 HAS SOUPS 435689 WITH SCORE 436197.277
AT ITER 2434 NEW BEST:: SOT 923320 SOS 507609 HAS SOPS 507609 HAS SOUS 435395 HAS SOUPS 435395 WITH SCORE 435902.609
AT ITER 2437 NEW BEST:: SOT 923354 SOS 505772 HAS SOPS 505772 HAS SOUS 435335 HAS SOUPS 435335 WITH SCORE 435840.772
AT ITER 2438 NEW BEST:: SOT 923354 SOS 505698 HAS SOPS 505698 HAS SOUS 435335 HAS SOUPS 435335 WITH SCORE 435840.698
AT ITER 2446 NEW BEST:: SOT 923354 SOS 505650 HAS SOPS 505650 HAS SOUS 435335 HAS SOUPS 435335 WITH SCORE 435840.65
AT ITER 2451 NEW BEST:: SOT 923354 SOS 505612 HAS SOPS 505612 HAS SOUS 435335 HAS SOUPS 435335 WITH SCORE 435840.612
AT ITER 2455 NEW BEST:: SOT 923354 SOS 505575 HAS SOPS 505575 HAS SOUS 435335 HAS SOUPS 435335 WITH SCORE 435840.575
AT ITER 2468 NEW BEST:: SOT 923291 SOS 505512 HAS SOPS 505512 HAS SOUS 435224 HAS SOUPS 435224 WITH SCORE 435729.512
AT ITER 2471 NEW BEST:: SOT 923291 SOS 505293 HAS SOPS 505293 HAS SOUS 435172 HAS SOUPS 435172 WITH SCORE 435677.293
AT ITER 2473 NEW BEST:: SOT 922761 SOS 505358 HAS SOPS 505358 HAS SOUS 434989 HAS SOUPS 434989 WITH SCORE 435494.358
AT ITER 2479 NEW BEST:: SOT 922761 SOS 505341 HAS SOPS 505341 HAS SOUS 434989 HAS SOUPS 434989 WITH SCORE 435494.341
AT ITER 2486 NEW BEST:: SOT 922417 SOS 505005 HAS SOPS 505005 HAS SOUS 434358 HAS SOUPS 434358 WITH SCORE 434863.005
AT ITER 2510 NEW BEST:: SOT 922417 SOS 504956 HAS SOPS 504956 HAS SOUS 434358 HAS SOUPS 434358 WITH SCORE 434862.956
AT ITER 2515 NEW BEST:: SOT 922360 SOS 504774 HAS SOPS 504774 HAS SOUS 434230 HAS SOUPS 434230 WITH SCORE 434734.774
AT ITER 2518 NEW BEST:: SOT 922371 SOS 504715 HAS SOPS 504715 HAS SOUS 434213 HAS SOUPS 434213 WITH SCORE 434717.715
AT ITER 2522 NEW BEST:: SOT 922239 SOS 504635 HAS SOPS 504635 HAS SOUS 434081 HAS SOUPS 434081 WITH SCORE 434585.635
AT ITER 2524 NEW BEST:: SOT 922239 SOS 504570 HAS SOPS 504570 HAS SOUS 434081 HAS SOUPS 434081 WITH SCORE 434585.57
AT ITER 2529 NEW BEST:: SOT 922239 SOS 504561 HAS SOPS 504561 HAS SOUS 434081 HAS SOUPS 434081 WITH SCORE 434585.561
AT ITER 2531 NEW BEST:: SOT 922239 SOS 504214 HAS SOPS 504214 HAS SOUS 433690 HAS SOUPS 433690 WITH SCORE 434194.214
AT ITER 2533 NEW BEST:: SOT 922239 SOS 504580 HAS SOPS 504580 HAS SOUS 433687 HAS SOUPS 433687 WITH SCORE 434191.58
AT ITER 2544 NEW BEST:: SOT 921457 SOS 503815 HAS SOPS 503815 HAS SOUS 433074 HAS SOUPS 433074 WITH SCORE 433577.815
AT ITER 2545 NEW BEST:: SOT 921073 SOS 503585 HAS SOPS 503585 HAS SOUS 432853 HAS SOUPS 432853 WITH SCORE 433356.585
AT ITER 2555 NEW BEST:: SOT 921073 SOS 503504 HAS SOPS 503504 HAS SOUS 432853 HAS SOUPS 432853 WITH SCORE 433356.504
AT ITER 2566 NEW BEST:: SOT 921363 SOS 503309 HAS SOPS 503309 HAS SOUS 432853 HAS SOUPS 432853 WITH SCORE 433356.309
AT ITER 2570 NEW BEST:: SOT 920403 SOS 502678 HAS SOPS 502678 HAS SOUS 432223 HAS SOUPS 432223 WITH SCORE 432725.678
AT ITER 2577 NEW BEST:: SOT 920395 SOS 502674 HAS SOPS 502674 HAS SOUS 432219 HAS SOUPS 432219 WITH SCORE 432721.674
AT ITER 2578 NEW BEST:: SOT 920599 SOS 502643 HAS SOPS 502643 HAS SOUS 432072 HAS SOUPS 432072 WITH SCORE 432574.643
AT ITER 2588 NEW BEST:: SOT 920138 SOS 501740 HAS SOPS 501740 HAS SOUS 431147 HAS SOUPS 431147 WITH SCORE 431648.74
AT ITER 2594 NEW BEST:: SOT 920132 SOS 501666 HAS SOPS 501666 HAS SOUS 430989 HAS SOUPS 430989 WITH SCORE 431490.666
AT ITER 2597 NEW BEST:: SOT 919851 SOS 502060 HAS SOPS 502060 HAS SOUS 430817 HAS SOUPS 430817 WITH SCORE 431319.06
AT ITER 2601 NEW BEST:: SOT 919747 SOS 502372 HAS SOPS 502372 HAS SOUS 430713 HAS SOUPS 430713 WITH SCORE 431215.372
AT ITER 2615 NEW BEST:: SOT 919736 SOS 502379 HAS SOPS 502379 HAS SOUS 430702 HAS SOUPS 430702 WITH SCORE 431204.379
AT ITER 2626 NEW BEST:: SOT 919338 SOS 502108 HAS SOPS 502108 HAS SOUS 430431 HAS SOUPS 430431 WITH SCORE 430933.108
AT ITER 2635 NEW BEST:: SOT 919338 SOS 502088 HAS SOPS 502088 HAS SOUS 430431 HAS SOUPS 430431 WITH SCORE 430933.088
AT ITER 2636 NEW BEST:: SOT 919338 SOS 501939 HAS SOPS 501939 HAS SOUS 430431 HAS SOUPS 430431 WITH SCORE 430932.939
AT ITER 2648 NEW BEST:: SOT 919236 SOS 502152 HAS SOPS 502152 HAS SOUS 430371 HAS SOUPS 430371 WITH SCORE 430873.152
AT ITER 2650 NEW BEST:: SOT 919185 SOS 502031 HAS SOPS 502031 HAS SOUS 430238 HAS SOUPS 430238 WITH SCORE 430740.031
AT ITER 2651 NEW BEST:: SOT 919175 SOS 502021 HAS SOPS 502021 HAS SOUS 430190 HAS SOUPS 430190 WITH SCORE 430692.021
AT ITER 2658 NEW BEST:: SOT 919175 SOS 501971 HAS SOPS 501971 HAS SOUS 430190 HAS SOUPS 430190 WITH SCORE 430691.971
AT ITER 2660 NEW BEST:: SOT 919175 SOS 501940 HAS SOPS 501940 HAS SOUS 430173 HAS SOUPS 430173 WITH SCORE 430674.94
AT ITER 2665 NEW BEST:: SOT 919132 SOS 501897 HAS SOPS 501897 HAS SOUS 430139 HAS SOUPS 430139 WITH SCORE 430640.897
AT ITER 2668 NEW BEST:: SOT 919261 SOS 501976 HAS SOPS 501976 HAS SOUS 430125 HAS SOUPS 430125 WITH SCORE 430626.976
AT ITER 2671 NEW BEST:: SOT 919203 SOS 501778 HAS SOPS 501778 HAS SOUS 430038 HAS SOUPS 430038 WITH SCORE 430539.778
AT ITER 2684 NEW BEST:: SOT 919201 SOS 501481 HAS SOPS 501481 HAS SOUS 430004 HAS SOUPS 430004 WITH SCORE 430505.481
AT ITER 2691 NEW BEST:: SOT 918869 SOS 501658 HAS SOPS 501658 HAS SOUS 429994 HAS SOUPS 429994 WITH SCORE 430495.658
AT ITER 2703 NEW BEST:: SOT 918869 SOS 501647 HAS SOPS 501647 HAS SOUS 429994 HAS SOUPS 429994 WITH SCORE 430495.647
AT ITER 2706 NEW BEST:: SOT 918820 SOS 501598 HAS SOPS 501598 HAS SOUS 429945 HAS SOUPS 429945 WITH SCORE 430446.598
AT ITER 2707 NEW BEST:: SOT 918316 SOS 501271 HAS SOPS 501271 HAS SOUS 429618 HAS SOUPS 429618 WITH SCORE 430119.271
AT ITER 2716 NEW BEST:: SOT 918247 SOS 501225 HAS SOPS 501225 HAS SOUS 429445 HAS SOUPS 429445 WITH SCORE 429946.225
AT ITER 2719 NEW BEST:: SOT 918247 SOS 501062 HAS SOPS 501062 HAS SOUS 429282 HAS SOUPS 429282 WITH SCORE 429783.062
AT ITER 2726 NEW BEST:: SOT 918247 SOS 500981 HAS SOPS 500981 HAS SOUS 429282 HAS SOUPS 429282 WITH SCORE 429782.981
AT ITER 2733 NEW BEST:: SOT 918247 SOS 500853 HAS SOPS 500853 HAS SOUS 429282 HAS SOUPS 429282 WITH SCORE 429782.853
AT ITER 2740 NEW BEST:: SOT 918247 SOS 500783 HAS SOPS 500783 HAS SOUS 429183 HAS SOUPS 429183 WITH SCORE 429683.783
AT ITER 2755 NEW BEST:: SOT 918067 SOS 500693 HAS SOPS 500693 HAS SOUS 429128 HAS SOUPS 429128 WITH SCORE 429628.693
AT ITER 2756 NEW BEST:: SOT 917984 SOS 500425 HAS SOPS 500425 HAS SOUS 428830 HAS SOUPS 428830 WITH SCORE 429330.425
AT ITER 2758 NEW BEST:: SOT 917905 SOS 500348 HAS SOPS 500348 HAS SOUS 428663 HAS SOUPS 428663 WITH SCORE 429163.348
AT ITER 2760 NEW BEST:: SOT 917583 SOS 501273 HAS SOPS 501273 HAS SOUS 428625 HAS SOUPS 428625 WITH SCORE 429126.273
AT ITER 2766 NEW BEST:: SOT 917583 SOS 501200 HAS SOPS 501200 HAS SOUS 428625 HAS SOUPS 428625 WITH SCORE 429126.2
AT ITER 2769 NEW BEST:: SOT 917583 SOS 501186 HAS SOPS 501186 HAS SOUS 428625 HAS SOUPS 428625 WITH SCORE 429126.186
AT ITER 2773 NEW BEST:: SOT 917519 SOS 501242 HAS SOPS 501242 HAS SOUS 428462 HAS SOUPS 428462 WITH SCORE 428963.242
AT ITER 2777 NEW BEST:: SOT 917519 SOS 501133 HAS SOPS 501133 HAS SOUS 428461 HAS SOUPS 428461 WITH SCORE 428962.133
AT ITER 2780 NEW BEST:: SOT 917267 SOS 501052 HAS SOPS 501052 HAS SOUS 428380 HAS SOUPS 428380 WITH SCORE 428881.052
AT ITER 2783 NEW BEST:: SOT 917251 SOS 501104 HAS SOPS 501104 HAS SOUS 428337 HAS SOUPS 428337 WITH SCORE 428838.104
AT ITER 2787 NEW BEST:: SOT 917246 SOS 500608 HAS SOPS 500608 HAS SOUS 428331 HAS SOUPS 428331 WITH SCORE 428831.608
AT ITER 2794 NEW BEST:: SOT 917051 SOS 501211 HAS SOPS 501211 HAS SOUS 428262 HAS SOUPS 428262 WITH SCORE 428763.211
AT ITER 2806 NEW BEST:: SOT 917051 SOS 501153 HAS SOPS 501153 HAS SOUS 428262 HAS SOUPS 428262 WITH SCORE 428763.153
AT ITER 2820 NEW BEST:: SOT 916960 SOS 501075 HAS SOPS 501075 HAS SOUS 428251 HAS SOUPS 428251 WITH SCORE 428752.075
AT ITER 2828 NEW BEST:: SOT 916960 SOS 500897 HAS SOPS 500897 HAS SOUS 428251 HAS SOUPS 428251 WITH SCORE 428751.897
AT ITER 2832 NEW BEST:: SOT 916943 SOS 500880 HAS SOPS 500880 HAS SOUS 428234 HAS SOUPS 428234 WITH SCORE 428734.88
AT ITER 2847 NEW BEST:: SOT 916846 SOS 500906 HAS SOPS 500906 HAS SOUS 428137 HAS SOUPS 428137 WITH SCORE 428637.906
AT ITER 2852 NEW BEST:: SOT 915176 SOS 502163 HAS SOPS 502163 HAS SOUS 427791 HAS SOUPS 427791 WITH SCORE 428293.163
AT ITER 2867 NEW BEST:: SOT 915154 SOS 502141 HAS SOPS 502141 HAS SOUS 427767 HAS SOUPS 427767 WITH SCORE 428269.141
AT ITER 2871 NEW BEST:: SOT 914867 SOS 502099 HAS SOPS 502099 HAS SOUS 427725 HAS SOUPS 427725 WITH SCORE 428227.099
AT ITER 2872 NEW BEST:: SOT 914731 SOS 502031 HAS SOPS 502031 HAS SOUS 427725 HAS SOUPS 427725 WITH SCORE 428227.031
AT ITER 2874 NEW BEST:: SOT 914731 SOS 502030 HAS SOPS 502030 HAS SOUS 427725 HAS SOUPS 427725 WITH SCORE 428227.03
AT ITER 2885 NEW BEST:: SOT 914731 SOS 501898 HAS SOPS 501898 HAS SOUS 427725 HAS SOUPS 427725 WITH SCORE 428226.898
AT ITER 2896 NEW BEST:: SOT 913886 SOS 501778 HAS SOPS 501778 HAS SOUS 427142 HAS SOUPS 427142 WITH SCORE 427643.778
AT ITER 2901 NEW BEST:: SOT 913886 SOS 501730 HAS SOPS 501730 HAS SOUS 427142 HAS SOUPS 427142 WITH SCORE 427643.73
AT ITER 2910 NEW BEST:: SOT 913886 SOS 501718 HAS SOPS 501718 HAS SOUS 427142 HAS SOUPS 427142 WITH SCORE 427643.718
AT ITER 2920 NEW BEST:: SOT 913866 SOS 501698 HAS SOPS 501698 HAS SOUS 427106 HAS SOUPS 427106 WITH SCORE 427607.698
AT ITER 2921 NEW BEST:: SOT 913866 SOS 501448 HAS SOPS 501448 HAS SOUS 427106 HAS SOUPS 427106 WITH SCORE 427607.448
AT ITER 2923 NEW BEST:: SOT 913650 SOS 501273 HAS SOPS 501273 HAS SOUS 426931 HAS SOUPS 426931 WITH SCORE 427432.273
AT ITER 2930 NEW BEST:: SOT 913650 SOS 500662 HAS SOPS 500662 HAS SOUS 426902 HAS SOUPS 426902 WITH SCORE 427402.662
AT ITER 2938 NEW BEST:: SOT 912653 SOS 501077 HAS SOPS 501077 HAS SOUS 426637 HAS SOUPS 426637 WITH SCORE 427138.077
AT ITER 2942 NEW BEST:: SOT 912637 SOS 501061 HAS SOPS 501061 HAS SOUS 426621 HAS SOUPS 426621 WITH SCORE 427122.061
AT ITER 2943 NEW BEST:: SOT 912630 SOS 500882 HAS SOPS 500882 HAS SOUS 426570 HAS SOUPS 426570 WITH SCORE 427070.882
AT ITER 2955 NEW BEST:: SOT 912630 SOS 500735 HAS SOPS 500735 HAS SOUS 426542 HAS SOUPS 426542 WITH SCORE 427042.735
AT ITER 2958 NEW BEST:: SOT 912368 SOS 500564 HAS SOPS 500564 HAS SOUS 426390 HAS SOUPS 426390 WITH SCORE 426890.564
AT ITER 2972 NEW BEST:: SOT 912368 SOS 498301 HAS SOPS 498301 HAS SOUS 426138 HAS SOUPS 426138 WITH SCORE 426636.301
AT ITER 2974 NEW BEST:: SOT 912164 SOS 498097 HAS SOPS 498097 HAS SOUS 425934 HAS SOUPS 425934 WITH SCORE 426432.097
AT ITER 2976 NEW BEST:: SOT 912164 SOS 497989 HAS SOPS 497989 HAS SOUS 425934 HAS SOUPS 425934 WITH SCORE 426431.989
AT ITER 2991 NEW BEST:: SOT 911907 SOS 497858 HAS SOPS 497858 HAS SOUS 425808 HAS SOUPS 425808 WITH SCORE 426305.858
AT ITER 2994 NEW BEST:: SOT 910319 SOS 499508 HAS SOPS 499508 HAS SOUS 425702 HAS SOUPS 425702 WITH SCORE 426201.508
AT ITER 2995 NEW BEST:: SOT 910299 SOS 499488 HAS SOPS 499488 HAS SOUS 425682 HAS SOUPS 425682 WITH SCORE 426181.488
AT ITER 2998 NEW BEST:: SOT 910243 SOS 499446 HAS SOPS 499446 HAS SOUS 425640 HAS SOUPS 425640 WITH SCORE 426139.446
AT ITER 3011 NEW BEST:: SOT 910154 SOS 499803 HAS SOPS 499803 HAS SOUS 425551 HAS SOUPS 425551 WITH SCORE 426050.803
AT ITER 3023 NEW BEST:: SOT 910154 SOS 499787 HAS SOPS 499787 HAS SOUS 425503 HAS SOUPS 425503 WITH SCORE 426002.787
AT ITER 3025 NEW BEST:: SOT 910154 SOS 499659 HAS SOPS 499659 HAS SOUS 425503 HAS SOUPS 425503 WITH SCORE 426002.659
AT ITER 3026 NEW BEST:: SOT 910196 SOS 499648 HAS SOPS 499648 HAS SOUS 425444 HAS SOUPS 425444 WITH SCORE 425943.648
AT ITER 3037 NEW BEST:: SOT 910243 SOS 499538 HAS SOPS 499538 HAS SOUS 425339 HAS SOUPS 425339 WITH SCORE 425838.538
AT ITER 3040 NEW BEST:: SOT 910243 SOS 499508 HAS SOPS 499508 HAS SOUS 425309 HAS SOUPS 425309 WITH SCORE 425808.508
AT ITER 3042 NEW BEST:: SOT 910243 SOS 499431 HAS SOPS 499431 HAS SOUS 425309 HAS SOUPS 425309 WITH SCORE 425808.431
AT ITER 3050 NEW BEST:: SOT 910243 SOS 499336 HAS SOPS 499336 HAS SOUS 425214 HAS SOUPS 425214 WITH SCORE 425713.336
AT ITER 3053 NEW BEST:: SOT 910287 SOS 499380 HAS SOPS 499380 HAS SOUS 425141 HAS SOUPS 425141 WITH SCORE 425640.38
AT ITER 3057 NEW BEST:: SOT 909708 SOS 498956 HAS SOPS 498956 HAS SOUS 424792 HAS SOUPS 424792 WITH SCORE 425290.956
AT ITER 3058 NEW BEST:: SOT 909363 SOS 499230 HAS SOPS 499230 HAS SOUS 424746 HAS SOUPS 424746 WITH SCORE 425245.23
AT ITER 3063 NEW BEST:: SOT 909363 SOS 499210 HAS SOPS 499210 HAS SOUS 424743 HAS SOUPS 424743 WITH SCORE 425242.21
AT ITER 3065 NEW BEST:: SOT 909363 SOS 499060 HAS SOPS 499060 HAS SOUS 424743 HAS SOUPS 424743 WITH SCORE 425242.06
AT ITER 3067 NEW BEST:: SOT 909098 SOS 498991 HAS SOPS 498991 HAS SOUS 424673 HAS SOUPS 424673 WITH SCORE 425171.991
AT ITER 3068 NEW BEST:: SOT 909255 SOS 499368 HAS SOPS 499368 HAS SOUS 424666 HAS SOUPS 424666 WITH SCORE 425165.368
AT ITER 3071 NEW BEST:: SOT 908727 SOS 499910 HAS SOPS 499910 HAS SOUS 424384 HAS SOUPS 424384 WITH SCORE 424883.91
AT ITER 3077 NEW BEST:: SOT 908604 SOS 499787 HAS SOPS 499787 HAS SOUS 424200 HAS SOUPS 424200 WITH SCORE 424699.787
AT ITER 3079 NEW BEST:: SOT 908601 SOS 499552 HAS SOPS 499552 HAS SOUS 424174 HAS SOUPS 424174 WITH SCORE 424673.552
AT ITER 3089 NEW BEST:: SOT 908186 SOS 499266 HAS SOPS 499266 HAS SOUS 423783 HAS SOUPS 423783 WITH SCORE 424282.266
AT ITER 3093 NEW BEST:: SOT 907902 SOS 499193 HAS SOPS 499193 HAS SOUS 423710 HAS SOUPS 423710 WITH SCORE 424209.193
AT ITER 3098 NEW BEST:: SOT 907898 SOS 499189 HAS SOPS 499189 HAS SOUS 423676 HAS SOUPS 423676 WITH SCORE 424175.189
AT ITER 3104 NEW BEST:: SOT 907527 SOS 498980 HAS SOPS 498980 HAS SOUS 423592 HAS SOUPS 423592 WITH SCORE 424090.98
AT ITER 3113 NEW BEST:: SOT 906922 SOS 498446 HAS SOPS 498446 HAS SOUS 422784 HAS SOUPS 422784 WITH SCORE 423282.446
AT ITER 3116 NEW BEST:: SOT 906704 SOS 498264 HAS SOPS 498264 HAS SOUS 422646 HAS SOUPS 422646 WITH SCORE 423144.264
AT ITER 3118 NEW BEST:: SOT 906535 SOS 498010 HAS SOPS 498010 HAS SOUS 422464 HAS SOUPS 422464 WITH SCORE 422962.01
AT ITER 3119 NEW BEST:: SOT 906436 SOS 498330 HAS SOPS 498330 HAS SOUS 422422 HAS SOUPS 422422 WITH SCORE 422920.33
AT ITER 3123 NEW BEST:: SOT 906483 SOS 498297 HAS SOPS 498297 HAS SOUS 422388 HAS SOUPS 422388 WITH SCORE 422886.297
AT ITER 3126 NEW BEST:: SOT 906483 SOS 498195 HAS SOPS 498195 HAS SOUS 422287 HAS SOUPS 422287 WITH SCORE 422785.195
AT ITER 3128 NEW BEST:: SOT 906496 SOS 498107 HAS SOPS 498107 HAS SOUS 422253 HAS SOUPS 422253 WITH SCORE 422751.107
AT ITER 3133 NEW BEST:: SOT 906468 SOS 498079 HAS SOPS 498079 HAS SOUS 422225 HAS SOUPS 422225 WITH SCORE 422723.079
AT ITER 3137 NEW BEST:: SOT 906420 SOS 497999 HAS SOPS 497999 HAS SOUS 422161 HAS SOUPS 422161 WITH SCORE 422658.999
AT ITER 3139 NEW BEST:: SOT 906400 SOS 497993 HAS SOPS 497993 HAS SOUS 422155 HAS SOUPS 422155 WITH SCORE 422652.993
AT ITER 3154 NEW BEST:: SOT 906163 SOS 497569 HAS SOPS 497569 HAS SOUS 421998 HAS SOUPS 421998 WITH SCORE 422495.569
AT ITER 3161 NEW BEST:: SOT 906088 SOS 497468 HAS SOPS 497468 HAS SOUS 421858 HAS SOUPS 421858 WITH SCORE 422355.468
AT ITER 3170 NEW BEST:: SOT 906063 SOS 497443 HAS SOPS 497443 HAS SOUS 421833 HAS SOUPS 421833 WITH SCORE 422330.443
AT ITER 3182 NEW BEST:: SOT 906158 SOS 496091 HAS SOPS 496091 HAS SOUS 421703 HAS SOUPS 421703 WITH SCORE 422199.091
AT ITER 3187 NEW BEST:: SOT 906116 SOS 496049 HAS SOPS 496049 HAS SOUS 421661 HAS SOUPS 421661 WITH SCORE 422157.049
AT ITER 3207 NEW BEST:: SOT 906090 SOS 496023 HAS SOPS 496023 HAS SOUS 421616 HAS SOUPS 421616 WITH SCORE 422112.023
AT ITER 3208 NEW BEST:: SOT 906124 SOS 495428 HAS SOPS 495428 HAS SOUS 421467 HAS SOUPS 421467 WITH SCORE 421962.428
AT ITER 3210 NEW BEST:: SOT 905878 SOS 495051 HAS SOPS 495051 HAS SOUS 421124 HAS SOUPS 421124 WITH SCORE 421619.051
AT ITER 3213 NEW BEST:: SOT 905873 SOS 494838 HAS SOPS 494838 HAS SOUS 420808 HAS SOUPS 420808 WITH SCORE 421302.838
AT ITER 3223 NEW BEST:: SOT 905789 SOS 494754 HAS SOPS 494754 HAS SOUS 420724 HAS SOUPS 420724 WITH SCORE 421218.754
AT ITER 3225 NEW BEST:: SOT 905789 SOS 494554 HAS SOPS 494554 HAS SOUS 420699 HAS SOUPS 420699 WITH SCORE 421193.554
AT ITER 3231 NEW BEST:: SOT 905789 SOS 494842 HAS SOPS 494842 HAS SOUS 420184 HAS SOUPS 420184 WITH SCORE 420678.842
AT ITER 3276 NEW BEST:: SOT 905789 SOS 494638 HAS SOPS 494638 HAS SOUS 419899 HAS SOUPS 419899 WITH SCORE 420393.638
AT ITER 3288 NEW BEST:: SOT 905789 SOS 494612 HAS SOPS 494612 HAS SOUS 419777 HAS SOUPS 419777 WITH SCORE 420271.612
AT ITER 3293 NEW BEST:: SOT 905789 SOS 494492 HAS SOPS 494492 HAS SOUS 419777 HAS SOUPS 419777 WITH SCORE 420271.492
AT ITER 3331 NEW BEST:: SOT 905439 SOS 494499 HAS SOPS 494499 HAS SOUS 419596 HAS SOUPS 419596 WITH SCORE 420090.499
AT ITER 3336 NEW BEST:: SOT 905245 SOS 494357 HAS SOPS 494357 HAS SOUS 419486 HAS SOUPS 419486 WITH SCORE 419980.357
AT ITER 3340 NEW BEST:: SOT 905165 SOS 494774 HAS SOPS 494774 HAS SOUS 419324 HAS SOUPS 419324 WITH SCORE 419818.774
AT ITER 3341 NEW BEST:: SOT 905162 SOS 494957 HAS SOPS 494957 HAS SOUS 419321 HAS SOUPS 419321 WITH SCORE 419815.957
AT ITER 3344 NEW BEST:: SOT 905162 SOS 494923 HAS SOPS 494923 HAS SOUS 419321 HAS SOUPS 419321 WITH SCORE 419815.923
AT ITER 3361 NEW BEST:: SOT 905162 SOS 495245 HAS SOPS 495245 HAS SOUS 419296 HAS SOUPS 419296 WITH SCORE 419791.245
AT ITER 3362 NEW BEST:: SOT 904945 SOS 497029 HAS SOPS 497029 HAS SOUS 419216 HAS SOUPS 419216 WITH SCORE 419713.029
AT ITER 3364 NEW BEST:: SOT 904794 SOS 497108 HAS SOPS 497108 HAS SOUS 418902 HAS SOUPS 418902 WITH SCORE 419399.108
AT ITER 3370 NEW BEST:: SOT 904636 SOS 496950 HAS SOPS 496950 HAS SOUS 418732 HAS SOUPS 418732 WITH SCORE 419228.95
AT ITER 3375 NEW BEST:: SOT 904636 SOS 496948 HAS SOPS 496948 HAS SOUS 418732 HAS SOUPS 418732 WITH SCORE 419228.948
AT ITER 3383 NEW BEST:: SOT 903623 SOS 497803 HAS SOPS 497803 HAS SOUS 418151 HAS SOUPS 418151 WITH SCORE 418648.803
AT ITER 3389 NEW BEST:: SOT 903623 SOS 497677 HAS SOPS 497677 HAS SOUS 418151 HAS SOUPS 418151 WITH SCORE 418648.677
AT ITER 3398 NEW BEST:: SOT 903634 SOS 497756 HAS SOPS 497756 HAS SOUS 418132 HAS SOUPS 418132 WITH SCORE 418629.756
AT ITER 3407 NEW BEST:: SOT 903634 SOS 497680 HAS SOPS 497680 HAS SOUS 418132 HAS SOUPS 418132 WITH SCORE 418629.68
AT ITER 3416 NEW BEST:: SOT 903616 SOS 497662 HAS SOPS 497662 HAS SOUS 418074 HAS SOUPS 418074 WITH SCORE 418571.662
AT ITER 3439 NEW BEST:: SOT 903616 SOS 497646 HAS SOPS 497646 HAS SOUS 418074 HAS SOUPS 418074 WITH SCORE 418571.646
AT ITER 3455 NEW BEST:: SOT 903530 SOS 497531 HAS SOPS 497531 HAS SOUS 417934 HAS SOUPS 417934 WITH SCORE 418431.531
AT ITER 3460 NEW BEST:: SOT 903760 SOS 497757 HAS SOPS 497757 HAS SOUS 417873 HAS SOUPS 417873 WITH SCORE 418370.757
AT ITER 3475 NEW BEST:: SOT 903760 SOS 497583 HAS SOPS 497583 HAS SOUS 417873 HAS SOUPS 417873 WITH SCORE 418370.583
AT ITER 3480 NEW BEST:: SOT 903760 SOS 497402 HAS SOPS 497402 HAS SOUS 417834 HAS SOUPS 417834 WITH SCORE 418331.402
AT ITER 3482 NEW BEST:: SOT 903710 SOS 497363 HAS SOPS 497363 HAS SOUS 417713 HAS SOUPS 417713 WITH SCORE 418210.363
AT ITER 3484 NEW BEST:: SOT 903605 SOS 497258 HAS SOPS 497258 HAS SOUS 417608 HAS SOUPS 417608 WITH SCORE 418105.258
AT ITER 3485 NEW BEST:: SOT 903605 SOS 496944 HAS SOPS 496944 HAS SOUS 417608 HAS SOUPS 417608 WITH SCORE 418104.944
AT ITER 3489 NEW BEST:: SOT 902110 SOS 496362 HAS SOPS 496362 HAS SOUS 416715 HAS SOUPS 416715 WITH SCORE 417211.362
AT ITER 3494 NEW BEST:: SOT 901893 SOS 496216 HAS SOPS 496216 HAS SOUS 416690 HAS SOUPS 416690 WITH SCORE 417186.216
AT ITER 3497 NEW BEST:: SOT 901197 SOS 495629 HAS SOPS 495629 HAS SOUS 416068 HAS SOUPS 416068 WITH SCORE 416563.629
AT ITER 3498 NEW BEST:: SOT 901197 SOS 494156 HAS SOPS 494156 HAS SOUS 415723 HAS SOUPS 415723 WITH SCORE 416217.156
AT ITER 3508 NEW BEST:: SOT 901197 SOS 494102 HAS SOPS 494102 HAS SOUS 415723 HAS SOUPS 415723 WITH SCORE 416217.102
AT ITER 3514 NEW BEST:: SOT 901197 SOS 494046 HAS SOPS 494046 HAS SOUS 415723 HAS SOUPS 415723 WITH SCORE 416217.046
AT ITER 3516 NEW BEST:: SOT 900294 SOS 496077 HAS SOPS 496077 HAS SOUS 415594 HAS SOUPS 415594 WITH SCORE 416090.077
AT ITER 3519 NEW BEST:: SOT 900294 SOS 496022 HAS SOPS 496022 HAS SOUS 415594 HAS SOUPS 415594 WITH SCORE 416090.022
AT ITER 3536 NEW BEST:: SOT 900294 SOS 495914 HAS SOPS 495914 HAS SOUS 415594 HAS SOUPS 415594 WITH SCORE 416089.914
AT ITER 3539 NEW BEST:: SOT 900270 SOS 495890 HAS SOPS 495890 HAS SOUS 415555 HAS SOUPS 415555 WITH SCORE 416050.89
AT ITER 3556 NEW BEST:: SOT 900332 SOS 495900 HAS SOPS 495900 HAS SOUS 415508 HAS SOUPS 415508 WITH SCORE 416003.9
AT ITER 3557 NEW BEST:: SOT 900332 SOS 495900 HAS SOPS 495900 HAS SOUS 415504 HAS SOUPS 415504 WITH SCORE 415999.9
AT ITER 3563 NEW BEST:: SOT 900286 SOS 495711 HAS SOPS 495711 HAS SOUS 415414 HAS SOUPS 415414 WITH SCORE 415909.711
AT ITER 3569 NEW BEST:: SOT 900286 SOS 495620 HAS SOPS 495620 HAS SOUS 415414 HAS SOUPS 415414 WITH SCORE 415909.62
AT ITER 3570 NEW BEST:: SOT 900286 SOS 495542 HAS SOPS 495542 HAS SOUS 415414 HAS SOUPS 415414 WITH SCORE 415909.542
AT ITER 3574 NEW BEST:: SOT 900239 SOS 495376 HAS SOPS 495376 HAS SOUS 415203 HAS SOUPS 415203 WITH SCORE 415698.376
AT ITER 3595 NEW BEST:: SOT 900734 SOS 495004 HAS SOPS 495004 HAS SOUS 414663 HAS SOUPS 414663 WITH SCORE 415158.004
AT ITER 3602 NEW BEST:: SOT 900734 SOS 494939 HAS SOPS 494939 HAS SOUS 414663 HAS SOUPS 414663 WITH SCORE 415157.939
AT ITER 3608 NEW BEST:: SOT 899746 SOS 494177 HAS SOPS 494177 HAS SOUS 413901 HAS SOUPS 413901 WITH SCORE 414395.177
AT ITER 3609 NEW BEST:: SOT 899713 SOS 494144 HAS SOPS 494144 HAS SOUS 413709 HAS SOUPS 413709 WITH SCORE 414203.144
AT ITER 3612 NEW BEST:: SOT 899050 SOS 493627 HAS SOPS 493627 HAS SOUS 413200 HAS SOUPS 413200 WITH SCORE 413693.627
AT ITER 3616 NEW BEST:: SOT 899050 SOS 493627 HAS SOPS 493627 HAS SOUS 413176 HAS SOUPS 413176 WITH SCORE 413669.627
AT ITER 3622 NEW BEST:: SOT 898966 SOS 493935 HAS SOPS 493935 HAS SOUS 413127 HAS SOUPS 413127 WITH SCORE 413620.935
AT ITER 3633 NEW BEST:: SOT 898906 SOS 493875 HAS SOPS 493875 HAS SOUS 413084 HAS SOUPS 413084 WITH SCORE 413577.875
AT ITER 3639 NEW BEST:: SOT 898906 SOS 493612 HAS SOPS 493612 HAS SOUS 413004 HAS SOUPS 413004 WITH SCORE 413497.612
AT ITER 3641 NEW BEST:: SOT 898906 SOS 493581 HAS SOPS 493581 HAS SOUS 413004 HAS SOUPS 413004 WITH SCORE 413497.581
AT ITER 3648 NEW BEST:: SOT 898906 SOS 493521 HAS SOPS 493521 HAS SOUS 413004 HAS SOUPS 413004 WITH SCORE 413497.521
AT ITER 3652 NEW BEST:: SOT 898906 SOS 493521 HAS SOPS 493521 HAS SOUS 412955 HAS SOUPS 412955 WITH SCORE 413448.521
AT ITER 3656 NEW BEST:: SOT 898900 SOS 493515 HAS SOPS 493515 HAS SOUS 412949 HAS SOUPS 412949 WITH SCORE 413442.515
AT ITER 3658 NEW BEST:: SOT 898014 SOS 495168 HAS SOPS 495168 HAS SOUS 412765 HAS SOUPS 412765 WITH SCORE 413260.168
AT ITER 3669 NEW BEST:: SOT 898014 SOS 494953 HAS SOPS 494953 HAS SOUS 412765 HAS SOUPS 412765 WITH SCORE 413259.953
AT ITER 3670 NEW BEST:: SOT 898058 SOS 494997 HAS SOPS 494997 HAS SOUS 412724 HAS SOUPS 412724 WITH SCORE 413218.997
AT ITER 3690 NEW BEST:: SOT 898050 SOS 494993 HAS SOPS 494993 HAS SOUS 412724 HAS SOUPS 412724 WITH SCORE 413218.993
AT ITER 3693 NEW BEST:: SOT 897939 SOS 494805 HAS SOPS 494805 HAS SOUS 412493 HAS SOUPS 412493 WITH SCORE 412987.805
AT ITER 3697 NEW BEST:: SOT 897943 SOS 494658 HAS SOPS 494658 HAS SOUS 412346 HAS SOUPS 412346 WITH SCORE 412840.658
AT ITER 3701 NEW BEST:: SOT 897152 SOS 496896 HAS SOPS 496896 HAS SOUS 411957 HAS SOUPS 411957 WITH SCORE 412453.896
AT ITER 3711 NEW BEST:: SOT 897152 SOS 496828 HAS SOPS 496828 HAS SOUS 411957 HAS SOUPS 411957 WITH SCORE 412453.828
AT ITER 3715 NEW BEST:: SOT 897174 SOS 496536 HAS SOPS 496536 HAS SOUS 411922 HAS SOUPS 411922 WITH SCORE 412418.536
AT ITER 3718 NEW BEST:: SOT 896393 SOS 499286 HAS SOPS 499286 HAS SOUS 411776 HAS SOUPS 411776 WITH SCORE 412275.286
AT ITER 3720 NEW BEST:: SOT 896015 SOS 499153 HAS SOPS 499153 HAS SOUS 411755 HAS SOUPS 411755 WITH SCORE 412254.153
AT ITER 3726 NEW BEST:: SOT 895965 SOS 499103 HAS SOPS 499103 HAS SOUS 411692 HAS SOUPS 411692 WITH SCORE 412191.103
AT ITER 3728 NEW BEST:: SOT 895965 SOS 498990 HAS SOPS 498990 HAS SOUS 411692 HAS SOUPS 411692 WITH SCORE 412190.99
AT ITER 3738 NEW BEST:: SOT 895906 SOS 498931 HAS SOPS 498931 HAS SOUS 411633 HAS SOUPS 411633 WITH SCORE 412131.931
AT ITER 3747 NEW BEST:: SOT 895906 SOS 498912 HAS SOPS 498912 HAS SOUS 411619 HAS SOUPS 411619 WITH SCORE 412117.912
AT ITER 3753 NEW BEST:: SOT 895901 SOS 498918 HAS SOPS 498918 HAS SOUS 411614 HAS SOUPS 411614 WITH SCORE 412112.918
AT ITER 3760 NEW BEST:: SOT 895901 SOS 498825 HAS SOPS 498825 HAS SOUS 411614 HAS SOUPS 411614 WITH SCORE 412112.825
AT ITER 3763 NEW BEST:: SOT 896279 SOS 498792 HAS SOPS 498792 HAS SOUS 411205 HAS SOUPS 411205 WITH SCORE 411703.792
AT ITER 3765 NEW BEST:: SOT 896279 SOS 498768 HAS SOPS 498768 HAS SOUS 411192 HAS SOUPS 411192 WITH SCORE 411690.768
AT ITER 3774 NEW BEST:: SOT 896279 SOS 498323 HAS SOPS 498323 HAS SOUS 411112 HAS SOUPS 411112 WITH SCORE 411610.323
AT ITER 3783 NEW BEST:: SOT 896252 SOS 498314 HAS SOPS 498314 HAS SOUS 411103 HAS SOUPS 411103 WITH SCORE 411601.314
AT ITER 3784 NEW BEST:: SOT 896195 SOS 498200 HAS SOPS 498200 HAS SOUS 410989 HAS SOUPS 410989 WITH SCORE 411487.2
AT ITER 3798 NEW BEST:: SOT 896084 SOS 498089 HAS SOPS 498089 HAS SOUS 410878 HAS SOUPS 410878 WITH SCORE 411376.089
AT ITER 3799 NEW BEST:: SOT 895939 SOS 497808 HAS SOPS 497808 HAS SOUS 410578 HAS SOUPS 410578 WITH SCORE 411075.808
AT ITER 3804 NEW BEST:: SOT 895925 SOS 497794 HAS SOPS 497794 HAS SOUS 410564 HAS SOUPS 410564 WITH SCORE 411061.794
AT ITER 3818 NEW BEST:: SOT 895737 SOS 497436 HAS SOPS 497436 HAS SOUS 410197 HAS SOUPS 410197 WITH SCORE 410694.436
AT ITER 3827 NEW BEST:: SOT 895737 SOS 497559 HAS SOPS 497559 HAS SOUS 410182 HAS SOUPS 410182 WITH SCORE 410679.559
AT ITER 3829 NEW BEST:: SOT 895756 SOS 498018 HAS SOPS 498018 HAS SOUS 410173 HAS SOUPS 410173 WITH SCORE 410671.018
AT ITER 3831 NEW BEST:: SOT 895756 SOS 497898 HAS SOPS 497898 HAS SOUS 410173 HAS SOUPS 410173 WITH SCORE 410670.898
AT ITER 3832 NEW BEST:: SOT 894112 SOS 498986 HAS SOPS 498986 HAS SOUS 409443 HAS SOUPS 409443 WITH SCORE 409941.986
AT ITER 3835 NEW BEST:: SOT 894112 SOS 498826 HAS SOPS 498826 HAS SOUS 409257 HAS SOUPS 409257 WITH SCORE 409755.826
AT ITER 3838 NEW BEST:: SOT 894108 SOS 498822 HAS SOPS 498822 HAS SOUS 409253 HAS SOUPS 409253 WITH SCORE 409751.822
AT ITER 3840 NEW BEST:: SOT 893913 SOS 498652 HAS SOPS 498652 HAS SOUS 409071 HAS SOUPS 409071 WITH SCORE 409569.652
AT ITER 3842 NEW BEST:: SOT 893913 SOS 498573 HAS SOPS 498573 HAS SOUS 409071 HAS SOUPS 409071 WITH SCORE 409569.573
AT ITER 3846 NEW BEST:: SOT 893928 SOS 497740 HAS SOPS 497740 HAS SOUS 408833 HAS SOUPS 408833 WITH SCORE 409330.74
AT ITER 3850 NEW BEST:: SOT 892691 SOS 497941 HAS SOPS 497941 HAS SOUS 408432 HAS SOUPS 408432 WITH SCORE 408929.941
AT ITER 3863 NEW BEST:: SOT 892603 SOS 497687 HAS SOPS 497687 HAS SOUS 408186 HAS SOUPS 408186 WITH SCORE 408683.687
AT ITER 3872 NEW BEST:: SOT 892603 SOS 497479 HAS SOPS 497479 HAS SOUS 408186 HAS SOUPS 408186 WITH SCORE 408683.479
AT ITER 3876 NEW BEST:: SOT 892603 SOS 497421 HAS SOPS 497421 HAS SOUS 408135 HAS SOUPS 408135 WITH SCORE 408632.421
AT ITER 3895 NEW BEST:: SOT 891815 SOS 496775 HAS SOPS 496775 HAS SOUS 407571 HAS SOUPS 407571 WITH SCORE 408067.775
AT ITER 3902 NEW BEST:: SOT 891815 SOS 496677 HAS SOPS 496677 HAS SOUS 407549 HAS SOUPS 407549 WITH SCORE 408045.677
AT ITER 3914 NEW BEST:: SOT 891716 SOS 496578 HAS SOPS 496578 HAS SOUS 407474 HAS SOUPS 407474 WITH SCORE 407970.578
AT ITER 3921 NEW BEST:: SOT 891716 SOS 496557 HAS SOPS 496557 HAS SOUS 407474 HAS SOUPS 407474 WITH SCORE 407970.557
AT ITER 3926 NEW BEST:: SOT 891716 SOS 496450 HAS SOPS 496450 HAS SOUS 407474 HAS SOUPS 407474 WITH SCORE 407970.45
AT ITER 3937 NEW BEST:: SOT 891716 SOS 496425 HAS SOPS 496425 HAS SOUS 407051 HAS SOUPS 407051 WITH SCORE 407547.425
AT ITER 3942 NEW BEST:: SOT 891716 SOS 496271 HAS SOPS 496271 HAS SOUS 406901 HAS SOUPS 406901 WITH SCORE 407397.271
AT ITER 3944 NEW BEST:: SOT 891716 SOS 496086 HAS SOPS 496086 HAS SOUS 406901 HAS SOUPS 406901 WITH SCORE 407397.086
AT ITER 3948 NEW BEST:: SOT 891712 SOS 496082 HAS SOPS 496082 HAS SOUS 406897 HAS SOUPS 406897 WITH SCORE 407393.082
AT ITER 3949 NEW BEST:: SOT 891712 SOS 495814 HAS SOPS 495814 HAS SOUS 406897 HAS SOUPS 406897 WITH SCORE 407392.814
AT ITER 3956 NEW BEST:: SOT 891567 SOS 495755 HAS SOPS 495755 HAS SOUS 406838 HAS SOUPS 406838 WITH SCORE 407333.755
AT ITER 3978 NEW BEST:: SOT 891555 SOS 495743 HAS SOPS 495743 HAS SOUS 406826 HAS SOUPS 406826 WITH SCORE 407321.743
AT ITER 3980 NEW BEST:: SOT 891717 SOS 495905 HAS SOPS 495905 HAS SOUS 406818 HAS SOUPS 406818 WITH SCORE 407313.905
AT ITER 3993 NEW BEST:: SOT 891626 SOS 495814 HAS SOPS 495814 HAS SOUS 406661 HAS SOUPS 406661 WITH SCORE 407156.814
AT ITER 3999 NEW BEST:: SOT 891524 SOS 496023 HAS SOPS 496023 HAS SOUS 406404 HAS SOUPS 406404 WITH SCORE 406900.023
AT ITER 4000 NEW BEST:: SOT 891452 SOS 495951 HAS SOPS 495951 HAS SOUS 406332 HAS SOUPS 406332 WITH SCORE 406827.951
AT ITER 4015 NEW BEST:: SOT 891089 SOS 496588 HAS SOPS 496588 HAS SOUS 406330 HAS SOUPS 406330 WITH SCORE 406826.588
AT ITER 4031 NEW BEST:: SOT 890400 SOS 496289 HAS SOPS 496289 HAS SOUS 406099 HAS SOUPS 406099 WITH SCORE 406595.289
AT ITER 4037 NEW BEST:: SOT 890496 SOS 496205 HAS SOPS 496205 HAS SOUS 406019 HAS SOUPS 406019 WITH SCORE 406515.205
AT ITER 4038 NEW BEST:: SOT 890496 SOS 496205 HAS SOPS 496205 HAS SOUS 405970 HAS SOUPS 405970 WITH SCORE 406466.205
AT ITER 4046 NEW BEST:: SOT 890496 SOS 496205 HAS SOPS 496205 HAS SOUS 405849 HAS SOUPS 405849 WITH SCORE 406345.205
AT ITER 4049 NEW BEST:: SOT 890488 SOS 496055 HAS SOPS 496055 HAS SOUS 405840 HAS SOUPS 405840 WITH SCORE 406336.055
AT ITER 4054 NEW BEST:: SOT 890488 SOS 495904 HAS SOPS 495904 HAS SOUS 405820 HAS SOUPS 405820 WITH SCORE 406315.904
AT ITER 4064 NEW BEST:: SOT 889706 SOS 495995 HAS SOPS 495995 HAS SOUS 405277 HAS SOUPS 405277 WITH SCORE 405772.995
AT ITER 4065 NEW BEST:: SOT 889706 SOS 495313 HAS SOPS 495313 HAS SOUS 405277 HAS SOUPS 405277 WITH SCORE 405772.313
AT ITER 4071 NEW BEST:: SOT 889539 SOS 495255 HAS SOPS 495255 HAS SOUS 405219 HAS SOUPS 405219 WITH SCORE 405714.255
AT ITER 4079 NEW BEST:: SOT 889392 SOS 495108 HAS SOPS 495108 HAS SOUS 404777 HAS SOUPS 404777 WITH SCORE 405272.108
AT ITER 4087 NEW BEST:: SOT 889392 SOS 495127 HAS SOPS 495127 HAS SOUS 404771 HAS SOUPS 404771 WITH SCORE 405266.127
AT ITER 4090 NEW BEST:: SOT 889392 SOS 495099 HAS SOPS 495099 HAS SOUS 404771 HAS SOUPS 404771 WITH SCORE 405266.099
AT ITER 4094 NEW BEST:: SOT 889392 SOS 495096 HAS SOPS 495096 HAS SOUS 404771 HAS SOUPS 404771 WITH SCORE 405266.096
AT ITER 4095 NEW BEST:: SOT 889352 SOS 494680 HAS SOPS 494680 HAS SOUS 404709 HAS SOUPS 404709 WITH SCORE 405203.68
AT ITER 4099 NEW BEST:: SOT 889352 SOS 494657 HAS SOPS 494657 HAS SOUS 404709 HAS SOUPS 404709 WITH SCORE 405203.657
AT ITER 4108 NEW BEST:: SOT 889352 SOS 494261 HAS SOPS 494261 HAS SOUS 404709 HAS SOUPS 404709 WITH SCORE 405203.261
AT ITER 4113 NEW BEST:: SOT 888970 SOS 494190 HAS SOPS 494190 HAS SOUS 404327 HAS SOUPS 404327 WITH SCORE 404821.19
AT ITER 4122 NEW BEST:: SOT 888957 SOS 494177 HAS SOPS 494177 HAS SOUS 404202 HAS SOUPS 404202 WITH SCORE 404696.177
AT ITER 4159 NEW BEST:: SOT 888871 SOS 494029 HAS SOPS 494029 HAS SOUS 404140 HAS SOUPS 404140 WITH SCORE 404634.029
AT ITER 4161 NEW BEST:: SOT 888827 SOS 494005 HAS SOPS 494005 HAS SOUS 404048 HAS SOUPS 404048 WITH SCORE 404542.005
AT ITER 4164 NEW BEST:: SOT 888972 SOS 494062 HAS SOPS 494062 HAS SOUS 404003 HAS SOUPS 404003 WITH SCORE 404497.062
AT ITER 4167 NEW BEST:: SOT 889225 SOS 493993 HAS SOPS 493993 HAS SOUS 403953 HAS SOUPS 403953 WITH SCORE 404446.993
AT ITER 4173 NEW BEST:: SOT 888879 SOS 493795 HAS SOPS 493795 HAS SOUS 403755 HAS SOUPS 403755 WITH SCORE 404248.795
AT ITER 4186 NEW BEST:: SOT 888879 SOS 493773 HAS SOPS 493773 HAS SOUS 403733 HAS SOUPS 403733 WITH SCORE 404226.773
AT ITER 4198 NEW BEST:: SOT 888858 SOS 493605 HAS SOPS 493605 HAS SOUS 403565 HAS SOUPS 403565 WITH SCORE 404058.605
AT ITER 4200 NEW BEST:: SOT 888784 SOS 493531 HAS SOPS 493531 HAS SOUS 403437 HAS SOUPS 403437 WITH SCORE 403930.531
AT ITER 4205 NEW BEST:: SOT 888784 SOS 493531 HAS SOPS 493531 HAS SOUS 403345 HAS SOUPS 403345 WITH SCORE 403838.531
AT ITER 4206 NEW BEST:: SOT 888696 SOS 494437 HAS SOPS 494437 HAS SOUS 403310 HAS SOUPS 403310 WITH SCORE 403804.437
AT ITER 4211 NEW BEST:: SOT 888734 SOS 493884 HAS SOPS 493884 HAS SOUS 403237 HAS SOUPS 403237 WITH SCORE 403730.884
AT ITER 4215 NEW BEST:: SOT 888597 SOS 494757 HAS SOPS 494757 HAS SOUS 403207 HAS SOUPS 403207 WITH SCORE 403701.757
AT ITER 4218 NEW BEST:: SOT 888459 SOS 494922 HAS SOPS 494922 HAS SOUS 403176 HAS SOUPS 403176 WITH SCORE 403670.922
AT ITER 4232 NEW BEST:: SOT 888423 SOS 494886 HAS SOPS 494886 HAS SOUS 403140 HAS SOUPS 403140 WITH SCORE 403634.886
AT ITER 4238 NEW BEST:: SOT 888397 SOS 494803 HAS SOPS 494803 HAS SOUS 403078 HAS SOUPS 403078 WITH SCORE 403572.803
AT ITER 4243 NEW BEST:: SOT 888229 SOS 495019 HAS SOPS 495019 HAS SOUS 403051 HAS SOUPS 403051 WITH SCORE 403546.019
AT ITER 4244 NEW BEST:: SOT 888229 SOS 494906 HAS SOPS 494906 HAS SOUS 402999 HAS SOUPS 402999 WITH SCORE 403493.906
AT ITER 4247 NEW BEST:: SOT 887634 SOS 494454 HAS SOPS 494454 HAS SOUS 402475 HAS SOUPS 402475 WITH SCORE 402969.454
AT ITER 4248 NEW BEST:: SOT 887587 SOS 493888 HAS SOPS 493888 HAS SOUS 402020 HAS SOUPS 402020 WITH SCORE 402513.888
AT ITER 4251 NEW BEST:: SOT 887511 SOS 493812 HAS SOPS 493812 HAS SOUS 401944 HAS SOUPS 401944 WITH SCORE 402437.812
AT ITER 4283 NEW BEST:: SOT 887511 SOS 493445 HAS SOPS 493445 HAS SOUS 401856 HAS SOUPS 401856 WITH SCORE 402349.445
AT ITER 4284 NEW BEST:: SOT 887384 SOS 493404 HAS SOPS 493404 HAS SOUS 401835 HAS SOUPS 401835 WITH SCORE 402328.404
AT ITER 4286 NEW BEST:: SOT 887653 SOS 492857 HAS SOPS 492857 HAS SOUS 401580 HAS SOUPS 401580 WITH SCORE 402072.857
AT ITER 4290 NEW BEST:: SOT 887646 SOS 492850 HAS SOPS 492850 HAS SOUS 401573 HAS SOUPS 401573 WITH SCORE 402065.85
AT ITER 4308 NEW BEST:: SOT 887646 SOS 492381 HAS SOPS 492381 HAS SOUS 401551 HAS SOUPS 401551 WITH SCORE 402043.381
AT ITER 4313 NEW BEST:: SOT 887646 SOS 492381 HAS SOPS 492381 HAS SOUS 401449 HAS SOUPS 401449 WITH SCORE 401941.381
AT ITER 4316 NEW BEST:: SOT 887575 SOS 492310 HAS SOPS 492310 HAS SOUS 401307 HAS SOUPS 401307 WITH SCORE 401799.31
AT ITER 4323 NEW BEST:: SOT 887571 SOS 492306 HAS SOPS 492306 HAS SOUS 401303 HAS SOUPS 401303 WITH SCORE 401795.306
AT ITER 4326 NEW BEST:: SOT 886971 SOS 492047 HAS SOPS 492047 HAS SOUS 401115 HAS SOUPS 401115 WITH SCORE 401607.047
AT ITER 4333 NEW BEST:: SOT 886835 SOS 491911 HAS SOPS 491911 HAS SOUS 400718 HAS SOUPS 400718 WITH SCORE 401209.911
AT ITER 4345 NEW BEST:: SOT 886835 SOS 491894 HAS SOPS 491894 HAS SOUS 400701 HAS SOUPS 400701 WITH SCORE 401192.894
AT ITER 4355 NEW BEST:: SOT 886737 SOS 491796 HAS SOPS 491796 HAS SOUS 400603 HAS SOUPS 400603 WITH SCORE 401094.796
AT ITER 4374 NEW BEST:: SOT 886737 SOS 491781 HAS SOPS 491781 HAS SOUS 400579 HAS SOUPS 400579 WITH SCORE 401070.781
AT ITER 4379 NEW BEST:: SOT 886318 SOS 491533 HAS SOPS 491533 HAS SOUS 400346 HAS SOUPS 400346 WITH SCORE 400837.533
AT ITER 4398 NEW BEST:: SOT 886394 SOS 491609 HAS SOPS 491609 HAS SOUS 400341 HAS SOUPS 400341 WITH SCORE 400832.609
AT ITER 4404 NEW BEST:: SOT 886383 SOS 491420 HAS SOPS 491420 HAS SOUS 400283 HAS SOUPS 400283 WITH SCORE 400774.42
AT ITER 4405 NEW BEST:: SOT 886581 SOS 491321 HAS SOPS 491321 HAS SOUS 400207 HAS SOUPS 400207 WITH SCORE 400698.321
AT ITER 4409 NEW BEST:: SOT 886485 SOS 491037 HAS SOPS 491037 HAS SOUS 399986 HAS SOUPS 399986 WITH SCORE 400477.037
AT ITER 4421 NEW BEST:: SOT 886485 SOS 490938 HAS SOPS 490938 HAS SOUS 399935 HAS SOUPS 399935 WITH SCORE 400425.938
AT ITER 4424 NEW BEST:: SOT 886485 SOS 490830 HAS SOPS 490830 HAS SOUS 399935 HAS SOUPS 399935 WITH SCORE 400425.83
AT ITER 4426 NEW BEST:: SOT 886422 SOS 490767 HAS SOPS 490767 HAS SOUS 399930 HAS SOUPS 399930 WITH SCORE 400420.767
AT ITER 4428 NEW BEST:: SOT 885600 SOS 493444 HAS SOPS 493444 HAS SOUS 399667 HAS SOUPS 399667 WITH SCORE 400160.444
AT ITER 4434 NEW BEST:: SOT 885558 SOS 493408 HAS SOPS 493408 HAS SOUS 399637 HAS SOUPS 399637 WITH SCORE 400130.408
AT ITER 4435 NEW BEST:: SOT 885502 SOS 493366 HAS SOPS 493366 HAS SOUS 399618 HAS SOUPS 399618 WITH SCORE 400111.366
AT ITER 4439 NEW BEST:: SOT 885461 SOS 493113 HAS SOPS 493113 HAS SOUS 399377 HAS SOUPS 399377 WITH SCORE 399870.113
AT ITER 4445 NEW BEST:: SOT 885461 SOS 493095 HAS SOPS 493095 HAS SOUS 399364 HAS SOUPS 399364 WITH SCORE 399857.095
AT ITER 4454 NEW BEST:: SOT 885436 SOS 493070 HAS SOPS 493070 HAS SOUS 399339 HAS SOUPS 399339 WITH SCORE 399832.07
AT ITER 4457 NEW BEST:: SOT 885125 SOS 492833 HAS SOPS 492833 HAS SOUS 399028 HAS SOUPS 399028 WITH SCORE 399520.833
AT ITER 4461 NEW BEST:: SOT 885161 SOS 492828 HAS SOPS 492828 HAS SOUS 399020 HAS SOUPS 399020 WITH SCORE 399512.828
AT ITER 4464 NEW BEST:: SOT 884735 SOS 492682 HAS SOPS 492682 HAS SOUS 398874 HAS SOUPS 398874 WITH SCORE 399366.682
AT ITER 4473 NEW BEST:: SOT 884692 SOS 492678 HAS SOPS 492678 HAS SOUS 398818 HAS SOUPS 398818 WITH SCORE 399310.678
AT ITER 4476 NEW BEST:: SOT 884629 SOS 492220 HAS SOPS 492220 HAS SOUS 398610 HAS SOUPS 398610 WITH SCORE 399102.22
AT ITER 4478 NEW BEST:: SOT 884350 SOS 492029 HAS SOPS 492029 HAS SOUS 398460 HAS SOUPS 398460 WITH SCORE 398952.029
AT ITER 4486 NEW BEST:: SOT 884350 SOS 491907 HAS SOPS 491907 HAS SOUS 398330 HAS SOUPS 398330 WITH SCORE 398821.907
AT ITER 4502 NEW BEST:: SOT 884370 SOS 491864 HAS SOPS 491864 HAS SOUS 398329 HAS SOUPS 398329 WITH SCORE 398820.864
AT ITER 4531 NEW BEST:: SOT 884370 SOS 491973 HAS SOPS 491973 HAS SOUS 398193 HAS SOUPS 398193 WITH SCORE 398684.973
AT ITER 4537 NEW BEST:: SOT 884346 SOS 491949 HAS SOPS 491949 HAS SOUS 398169 HAS SOUPS 398169 WITH SCORE 398660.949
AT ITER 4548 NEW BEST:: SOT 884346 SOS 491851 HAS SOPS 491851 HAS SOUS 398169 HAS SOUPS 398169 WITH SCORE 398660.851
AT ITER 4559 NEW BEST:: SOT 884346 SOS 491835 HAS SOPS 491835 HAS SOUS 398165 HAS SOUPS 398165 WITH SCORE 398656.835
AT ITER 4565 NEW BEST:: SOT 884346 SOS 491794 HAS SOPS 491794 HAS SOUS 398165 HAS SOUPS 398165 WITH SCORE 398656.794
AT ITER 4569 NEW BEST:: SOT 884271 SOS 491742 HAS SOPS 491742 HAS SOUS 397933 HAS SOUPS 397933 WITH SCORE 398424.742
AT ITER 4571 NEW BEST:: SOT 884199 SOS 491670 HAS SOPS 491670 HAS SOUS 397861 HAS SOUPS 397861 WITH SCORE 398352.67
AT ITER 4574 NEW BEST:: SOT 884199 SOS 491622 HAS SOPS 491622 HAS SOUS 397861 HAS SOUPS 397861 WITH SCORE 398352.622
AT ITER 4587 NEW BEST:: SOT 884175 SOS 491598 HAS SOPS 491598 HAS SOUS 397787 HAS SOUPS 397787 WITH SCORE 398278.598
AT ITER 4590 NEW BEST:: SOT 884175 SOS 491596 HAS SOPS 491596 HAS SOUS 397787 HAS SOUPS 397787 WITH SCORE 398278.596
AT ITER 4600 NEW BEST:: SOT 884175 SOS 491516 HAS SOPS 491516 HAS SOUS 397787 HAS SOUPS 397787 WITH SCORE 398278.516
AT ITER 4608 NEW BEST:: SOT 884054 SOS 491541 HAS SOPS 491541 HAS SOUS 397551 HAS SOUPS 397551 WITH SCORE 398042.541
AT ITER 4612 NEW BEST:: SOT 884054 SOS 491522 HAS SOPS 491522 HAS SOUS 397551 HAS SOUPS 397551 WITH SCORE 398042.522
AT ITER 4618 NEW BEST:: SOT 884021 SOS 491495 HAS SOPS 491495 HAS SOUS 397306 HAS SOUPS 397306 WITH SCORE 397797.495
AT ITER 4620 NEW BEST:: SOT 884000 SOS 491347 HAS SOPS 491347 HAS SOUS 397293 HAS SOUPS 397293 WITH SCORE 397784.347
AT ITER 4644 NEW BEST:: SOT 883837 SOS 491226 HAS SOPS 491226 HAS SOUS 397257 HAS SOUPS 397257 WITH SCORE 397748.226
AT ITER 4653 NEW BEST:: SOT 883217 SOS 490744 HAS SOPS 490744 HAS SOUS 396775 HAS SOUPS 396775 WITH SCORE 397265.744
AT ITER 4660 NEW BEST:: SOT 883217 SOS 490485 HAS SOPS 490485 HAS SOUS 396775 HAS SOUPS 396775 WITH SCORE 397265.485
AT ITER 4662 NEW BEST:: SOT 883174 SOS 490477 HAS SOPS 490477 HAS SOUS 396743 HAS SOUPS 396743 WITH SCORE 397233.477
AT ITER 4664 NEW BEST:: SOT 883182 SOS 490225 HAS SOPS 490225 HAS SOUS 396621 HAS SOUPS 396621 WITH SCORE 397111.225
AT ITER 4668 NEW BEST:: SOT 882806 SOS 490551 HAS SOPS 490551 HAS SOUS 396512 HAS SOUPS 396512 WITH SCORE 397002.551
AT ITER 4685 NEW BEST:: SOT 882792 SOS 490664 HAS SOPS 490664 HAS SOUS 396442 HAS SOUPS 396442 WITH SCORE 396932.664
AT ITER 4697 NEW BEST:: SOT 882792 SOS 490664 HAS SOPS 490664 HAS SOUS 396431 HAS SOUPS 396431 WITH SCORE 396921.664
AT ITER 4708 NEW BEST:: SOT 882749 SOS 490054 HAS SOPS 490054 HAS SOUS 396336 HAS SOUPS 396336 WITH SCORE 396826.054
AT ITER 4730 NEW BEST:: SOT 882483 SOS 489924 HAS SOPS 489924 HAS SOUS 396138 HAS SOUPS 396138 WITH SCORE 396627.924
AT ITER 4739 NEW BEST:: SOT 882434 SOS 489808 HAS SOPS 489808 HAS SOUS 395992 HAS SOUPS 395992 WITH SCORE 396481.808
AT ITER 4743 NEW BEST:: SOT 882434 SOS 490272 HAS SOPS 490272 HAS SOUS 395938 HAS SOUPS 395938 WITH SCORE 396428.272
AT ITER 4747 NEW BEST:: SOT 882337 SOS 490225 HAS SOPS 490225 HAS SOUS 395883 HAS SOUPS 395883 WITH SCORE 396373.225
AT ITER 4754 NEW BEST:: SOT 882337 SOS 490099 HAS SOPS 490099 HAS SOUS 395883 HAS SOUPS 395883 WITH SCORE 396373.099
AT ITER 4758 NEW BEST:: SOT 882337 SOS 489827 HAS SOPS 489827 HAS SOUS 395883 HAS SOUPS 395883 WITH SCORE 396372.827
AT ITER 4765 NEW BEST:: SOT 882333 SOS 489823 HAS SOPS 489823 HAS SOUS 395879 HAS SOUPS 395879 WITH SCORE 396368.823
AT ITER 4771 NEW BEST:: SOT 882307 SOS 489797 HAS SOPS 489797 HAS SOUS 395853 HAS SOUPS 395853 WITH SCORE 396342.797
AT ITER 4772 NEW BEST:: SOT 882307 SOS 489736 HAS SOPS 489736 HAS SOUS 395853 HAS SOUPS 395853 WITH SCORE 396342.736
AT ITER 4780 NEW BEST:: SOT 882307 SOS 489610 HAS SOPS 489610 HAS SOUS 395853 HAS SOUPS 395853 WITH SCORE 396342.61
AT ITER 4785 NEW BEST:: SOT 882273 SOS 489608 HAS SOPS 489608 HAS SOUS 395851 HAS SOUPS 395851 WITH SCORE 396340.608
AT ITER 4802 NEW BEST:: SOT 882273 SOS 489603 HAS SOPS 489603 HAS SOUS 395851 HAS SOUPS 395851 WITH SCORE 396340.603
AT ITER 4822 NEW BEST:: SOT 882441 SOS 489842 HAS SOPS 489842 HAS SOUS 395822 HAS SOUPS 395822 WITH SCORE 396311.842
AT ITER 4831 NEW BEST:: SOT 882576 SOS 489348 HAS SOPS 489348 HAS SOUS 395813 HAS SOUPS 395813 WITH SCORE 396302.348
AT ITER 4839 NEW BEST:: SOT 882378 SOS 490429 HAS SOPS 490429 HAS SOUS 395698 HAS SOUPS 395698 WITH SCORE 396188.429
AT ITER 4845 NEW BEST:: SOT 882378 SOS 490106 HAS SOPS 490106 HAS SOUS 395698 HAS SOUPS 395698 WITH SCORE 396188.106
AT ITER 4861 NEW BEST:: SOT 882341 SOS 490069 HAS SOPS 490069 HAS SOUS 395661 HAS SOUPS 395661 WITH SCORE 396151.069
AT ITER 4864 NEW BEST:: SOT 882328 SOS 489918 HAS SOPS 489918 HAS SOUS 395613 HAS SOUPS 395613 WITH SCORE 396102.918
AT ITER 4871 NEW BEST:: SOT 881555 SOS 488373 HAS SOPS 488373 HAS SOUS 394932 HAS SOUPS 394932 WITH SCORE 395420.373
AT ITER 4875 NEW BEST:: SOT 881434 SOS 488087 HAS SOPS 488087 HAS SOUS 394827 HAS SOUPS 394827 WITH SCORE 395315.087
AT ITER 4903 NEW BEST:: SOT 881401 SOS 488054 HAS SOPS 488054 HAS SOUS 394794 HAS SOUPS 394794 WITH SCORE 395282.054
AT ITER 4911 NEW BEST:: SOT 881390 SOS 488043 HAS SOPS 488043 HAS SOUS 394783 HAS SOUPS 394783 WITH SCORE 395271.043
AT ITER 4912 NEW BEST:: SOT 881390 SOS 487818 HAS SOPS 487818 HAS SOUS 394783 HAS SOUPS 394783 WITH SCORE 395270.818
AT ITER 4916 NEW BEST:: SOT 881288 SOS 487509 HAS SOPS 487509 HAS SOUS 394652 HAS SOUPS 394652 WITH SCORE 395139.509
AT ITER 4928 NEW BEST:: SOT 881288 SOS 487380 HAS SOPS 487380 HAS SOUS 394652 HAS SOUPS 394652 WITH SCORE 395139.38
AT ITER 4937 NEW BEST:: SOT 881354 SOS 487438 HAS SOPS 487438 HAS SOUS 394638 HAS SOUPS 394638 WITH SCORE 395125.438
AT ITER 4942 NEW BEST:: SOT 880966 SOS 487146 HAS SOPS 487146 HAS SOUS 394438 HAS SOUPS 394438 WITH SCORE 394925.146
AT ITER 4943 NEW BEST:: SOT 880710 SOS 486868 HAS SOPS 486868 HAS SOUS 394191 HAS SOUPS 394191 WITH SCORE 394677.868
AT ITER 4950 NEW BEST:: SOT 880570 SOS 486756 HAS SOPS 486756 HAS SOUS 394079 HAS SOUPS 394079 WITH SCORE 394565.756
AT ITER 4959 NEW BEST:: SOT 880552 SOS 486738 HAS SOPS 486738 HAS SOUS 394047 HAS SOUPS 394047 WITH SCORE 394533.738
AT ITER 4974 NEW BEST:: SOT 880521 SOS 486707 HAS SOPS 486707 HAS SOUS 394016 HAS SOUPS 394016 WITH SCORE 394502.707
AT ITER 4977 NEW BEST:: SOT 880521 SOS 486719 HAS SOPS 486719 HAS SOUS 393873 HAS SOUPS 393873 WITH SCORE 394359.719
AT ITER 4986 NEW BEST:: SOT 880350 SOS 486612 HAS SOPS 486612 HAS SOUS 393702 HAS SOUPS 393702 WITH SCORE 394188.612
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN10-CTLCardinality-00 ( potential( (tk(P696)) <= (tk(P232)) ) & (AU( potential( (tk(P253)) <= (tk(P1144)) ),( potential( ( 1 ) <= (tk(P564)) ) & potential( (tk(P226)) <= (tk(P292)) ) ) )) )
PROPERTY: Sudoku-PT-AN10-CTLCardinality-01 ( potential( (tk(P251)) <= (tk(P1281)) ) & ( (! (EF(potential( ( 2 ) <= (tk(P1184)) )))) & (EX( (! potential( (tk(P739)) <= (tk(P506)) )))) ) )
PROPERTY: Sudoku-PT-AN10-CTLCardinality-02 (AF((AF(potential( ( 1 ) <= (tk(P350)) )))))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-03 (! (AX( (EF(potential( (tk(P854)) <= (tk(P506)) ))))))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-04 (EG( (AF(( potential( (tk(P403)) <= (tk(P834)) ) & potential( (tk(P542)) <= (tk(P153)) ) )))))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-05 (AF(potential( ( 3 ) <= (tk(P188)) )))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-06 (AG( ( ( ( potential( (tk(P917)) <= (tk(P625)) ) & potential( (tk(P793)) <= (tk(P326)) ) ) | (! potential( ( 3 ) <= (tk(P995)) )) ) | (! potential( (tk(P205)) <= (tk(P182)) )) )))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-07 (EU( ( (! potential( (tk(P575)) <= (tk(P1098)) )) | ( potential( (tk(P748)) <= (tk(P1293)) ) | potential( ( 3 ) <= (tk(P1115)) ) ) ),( ( potential( ( 2 ) <= (tk(P579)) ) & potential( ( 1 ) <= (tk(P873)) ) ) & ( potential( (tk(P770)) <= (tk(P1178)) ) | potential( (tk(P296)) <= (tk(P353)) ) ) ) ))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-08 (AG( (! (AX( potential( (tk(P360)) <= (tk(P272)) ))))))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-09 (! (AG( (EF(potential( (tk(P745)) <= (tk(P451)) ))))))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-10 ( (! ( ( ( potential( (tk(P426)) <= (tk(P251)) ) | potential( (tk(P658)) <= (tk(P739)) ) ) & ( potential( (tk(P214)) <= (tk(P765)) ) & potential( (tk(P232)) <= (tk(P468)) ) ) ) | (AG( potential( ( 3 ) <= (tk(P431)) ))) )) | ( (AG( (! potential( ( 3 ) <= (tk(P823)) )))) & (! potential( ( 2 ) <= (tk(P1111)) )) ) )
PROPERTY: Sudoku-PT-AN10-CTLCardinality-11 (EG( ( ( potential( (tk(P890)) <= (tk(P673)) ) | ( potential( (tk(P302)) <= (tk(P116)) ) | potential( (tk(P579)) <= (tk(P920)) ) ) ) & (EX( potential( (tk(P36)) <= (tk(P182)) ))) )))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-12 ( (EG( potential( (tk(P185)) <= (tk(P1222)) ))) | (! (! ( ( potential( ( 3 ) <= (tk(P675)) ) & potential( (tk(P134)) <= (tk(P219)) ) ) & ( potential( (tk(P393)) <= (tk(P1001)) ) & potential( ( 3 ) <= (tk(P516)) ) ) ))) )
PROPERTY: Sudoku-PT-AN10-CTLCardinality-13 (EF(( (EG( potential( ( 1 ) <= (tk(P986)) ))) & potential( (tk(P936)) <= (tk(P173)) ) )))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-14 (EG( ( (AF(potential( ( 2 ) <= (tk(P932)) ))) | ( ( potential( (tk(P963)) <= (tk(P285)) ) | potential( (tk(P849)) <= (tk(P1293)) ) ) & ( potential( (tk(P41)) <= (tk(P1199)) ) | potential( (tk(P670)) <= (tk(P20)) ) ) ) )))
PROPERTY: Sudoku-PT-AN10-CTLCardinality-15 (AF(( potential( ( 1 ) <= (tk(P634)) ) | ( (! potential( (tk(P355)) <= (tk(P521)) )) | potential( ( 1 ) <= (tk(P1089)) ) ) )))

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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