Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873942400048.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PhaseVariation-PT-D10CS100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942400048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 8.3K Feb 26 15:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 15:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 15:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 15:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 15:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 26 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 26 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 2.9M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678775528770

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PhaseVariation-PT-D10CS100
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhaseVariation (PT), instance D10CS100
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 302 places, 3137 transitions, 21755 arcs.
AT ITER 0 NEW BEST:: SOT 919740 SOS 653923 HAS SOPS 584195 HAS SOUS 529501 HAS SOUPS 517736 WITH SCORE 518389.923
AT ITER 1 NEW BEST:: SOT 919740 SOS 654057 HAS SOPS 584195 HAS SOUS 529467 HAS SOUPS 517652 WITH SCORE 518306.057
AT ITER 2 NEW BEST:: SOT 919740 SOS 653771 HAS SOPS 582503 HAS SOUS 528865 HAS SOUPS 515802 WITH SCORE 516455.771
AT ITER 7 NEW BEST:: SOT 919740 SOS 655436 HAS SOPS 582581 HAS SOUS 529770 HAS SOUPS 515500 WITH SCORE 516155.436
AT ITER 8 NEW BEST:: SOT 919740 SOS 655581 HAS SOPS 581789 HAS SOUS 528769 HAS SOUPS 513784 WITH SCORE 514439.581
AT ITER 9 NEW BEST:: SOT 919740 SOS 656785 HAS SOPS 581867 HAS SOUS 528038 HAS SOUPS 512689 WITH SCORE 513345.785
AT ITER 10 NEW BEST:: SOT 919740 SOS 657137 HAS SOPS 582155 HAS SOUS 525413 HAS SOUPS 510049 WITH SCORE 510706.137
AT ITER 11 NEW BEST:: SOT 919740 SOS 657945 HAS SOPS 582053 HAS SOUS 524565 HAS SOUPS 508889 WITH SCORE 509546.945
AT ITER 13 NEW BEST:: SOT 919740 SOS 658137 HAS SOPS 582053 HAS SOUS 524393 HAS SOUPS 508707 WITH SCORE 509365.137
AT ITER 15 NEW BEST:: SOT 919740 SOS 657882 HAS SOPS 581747 HAS SOUS 524002 HAS SOUPS 508333 WITH SCORE 508990.882
AT ITER 17 NEW BEST:: SOT 919740 SOS 658065 HAS SOPS 581765 HAS SOUS 522473 HAS SOUPS 506598 WITH SCORE 507256.065
AT ITER 18 NEW BEST:: SOT 919740 SOS 658577 HAS SOPS 581765 HAS SOUS 522097 HAS SOUPS 506154 WITH SCORE 506812.577
AT ITER 19 NEW BEST:: SOT 919740 SOS 660269 HAS SOPS 581789 HAS SOUS 518453 HAS SOUPS 502818 WITH SCORE 503478.269
AT ITER 20 NEW BEST:: SOT 919740 SOS 659727 HAS SOPS 580457 HAS SOUS 516183 HAS SOUPS 500622 WITH SCORE 501281.727
AT ITER 21 NEW BEST:: SOT 919740 SOS 659957 HAS SOPS 580457 HAS SOUS 515953 HAS SOUPS 500392 WITH SCORE 501051.957
AT ITER 22 NEW BEST:: SOT 919740 SOS 659932 HAS SOPS 580229 HAS SOUS 515772 HAS SOUPS 500086 WITH SCORE 500745.932
AT ITER 24 NEW BEST:: SOT 919740 SOS 661054 HAS SOPS 580997 HAS SOUS 512139 HAS SOUPS 496384 WITH SCORE 497045.054
AT ITER 25 NEW BEST:: SOT 919740 SOS 661263 HAS SOPS 582791 HAS SOUS 511359 HAS SOUPS 495697 WITH SCORE 496358.263
AT ITER 26 NEW BEST:: SOT 919740 SOS 660967 HAS SOPS 581999 HAS SOUS 509983 HAS SOUPS 494365 WITH SCORE 495025.967
AT ITER 27 NEW BEST:: SOT 919740 SOS 662791 HAS SOPS 581003 HAS SOUS 508864 HAS SOUPS 492639 WITH SCORE 493301.791
AT ITER 28 NEW BEST:: SOT 919740 SOS 663726 HAS SOPS 583979 HAS SOUS 504412 HAS SOUPS 488428 WITH SCORE 489091.726
AT ITER 29 NEW BEST:: SOT 919740 SOS 664226 HAS SOPS 584447 HAS SOUS 504399 HAS SOUPS 488415 WITH SCORE 489079.226
AT ITER 30 NEW BEST:: SOT 919740 SOS 665459 HAS SOPS 584561 HAS SOUS 502666 HAS SOUPS 486599 WITH SCORE 487264.459
AT ITER 32 NEW BEST:: SOT 919740 SOS 664072 HAS SOPS 582887 HAS SOUS 500519 HAS SOUPS 484545 WITH SCORE 485209.072
AT ITER 33 NEW BEST:: SOT 919740 SOS 664796 HAS SOPS 582713 HAS SOUS 499014 HAS SOUPS 483017 WITH SCORE 483681.796
AT ITER 35 NEW BEST:: SOT 919740 SOS 664861 HAS SOPS 582377 HAS SOUS 499222 HAS SOUPS 482937 WITH SCORE 483601.861
AT ITER 36 NEW BEST:: SOT 919740 SOS 665834 HAS SOPS 583367 HAS SOUS 496198 HAS SOUPS 479463 WITH SCORE 480128.834
AT ITER 39 NEW BEST:: SOT 919740 SOS 666047 HAS SOPS 585737 HAS SOUS 491440 HAS SOUPS 474902 WITH SCORE 475568.047
AT ITER 40 NEW BEST:: SOT 919740 SOS 666240 HAS SOPS 585089 HAS SOUS 490670 HAS SOUPS 474132 WITH SCORE 474798.24
AT ITER 41 NEW BEST:: SOT 919740 SOS 664372 HAS SOPS 585233 HAS SOUS 490440 HAS SOUPS 474024 WITH SCORE 474688.372
AT ITER 44 NEW BEST:: SOT 919740 SOS 664510 HAS SOPS 585647 HAS SOUS 488236 HAS SOUPS 471913 WITH SCORE 472577.51
AT ITER 45 NEW BEST:: SOT 919740 SOS 664559 HAS SOPS 585847 HAS SOUS 487784 HAS SOUPS 471540 WITH SCORE 472204.559
AT ITER 47 NEW BEST:: SOT 919740 SOS 664745 HAS SOPS 587875 HAS SOUS 487042 HAS SOUPS 470936 WITH SCORE 471600.745
AT ITER 48 NEW BEST:: SOT 919740 SOS 665060 HAS SOPS 589795 HAS SOUS 484353 HAS SOUPS 468398 WITH SCORE 469063.06
AT ITER 50 NEW BEST:: SOT 919740 SOS 664700 HAS SOPS 589093 HAS SOUS 484113 HAS SOUPS 468158 WITH SCORE 468822.7
AT ITER 52 NEW BEST:: SOT 919740 SOS 664874 HAS SOPS 588361 HAS SOUS 482821 HAS SOUPS 466842 WITH SCORE 467506.874
AT ITER 53 NEW BEST:: SOT 919740 SOS 664871 HAS SOPS 588349 HAS SOUS 481875 HAS SOUPS 465900 WITH SCORE 466564.871
AT ITER 55 NEW BEST:: SOT 919740 SOS 666798 HAS SOPS 588799 HAS SOUS 480864 HAS SOUPS 464804 WITH SCORE 465470.798
AT ITER 56 NEW BEST:: SOT 919740 SOS 666703 HAS SOPS 589573 HAS SOUS 479051 HAS SOUPS 463130 WITH SCORE 463796.703
AT ITER 57 NEW BEST:: SOT 919740 SOS 666302 HAS SOPS 588655 HAS SOUS 477527 HAS SOUPS 461657 WITH SCORE 462323.302
AT ITER 59 NEW BEST:: SOT 919740 SOS 665490 HAS SOPS 588679 HAS SOUS 477215 HAS SOUPS 461345 WITH SCORE 462010.49
AT ITER 60 NEW BEST:: SOT 919740 SOS 666202 HAS SOPS 588883 HAS SOUS 475060 HAS SOUPS 459137 WITH SCORE 459803.202
AT ITER 62 NEW BEST:: SOT 919740 SOS 665703 HAS SOPS 588925 HAS SOUS 473445 HAS SOUPS 457618 WITH SCORE 458283.703
AT ITER 63 NEW BEST:: SOT 919740 SOS 667412 HAS SOPS 589441 HAS SOUS 471426 HAS SOUPS 455494 WITH SCORE 456161.412
AT ITER 66 NEW BEST:: SOT 919740 SOS 667286 HAS SOPS 589117 HAS SOUS 471238 HAS SOUPS 455278 WITH SCORE 455945.286
AT ITER 67 NEW BEST:: SOT 919740 SOS 668410 HAS SOPS 589117 HAS SOUS 470129 HAS SOUPS 454169 WITH SCORE 454837.41
AT ITER 68 NEW BEST:: SOT 919740 SOS 668581 HAS SOPS 589171 HAS SOUS 467350 HAS SOUPS 451503 WITH SCORE 452171.581
AT ITER 73 NEW BEST:: SOT 919740 SOS 668997 HAS SOPS 590185 HAS SOUS 463691 HAS SOUPS 447969 WITH SCORE 448637.997
AT ITER 75 NEW BEST:: SOT 919740 SOS 669821 HAS SOPS 592021 HAS SOUS 460363 HAS SOUPS 445058 WITH SCORE 445727.821
AT ITER 76 NEW BEST:: SOT 919740 SOS 670111 HAS SOPS 592189 HAS SOUS 459967 HAS SOUPS 444662 WITH SCORE 445332.111
AT ITER 78 NEW BEST:: SOT 919740 SOS 670111 HAS SOPS 592189 HAS SOUS 459343 HAS SOUPS 444038 WITH SCORE 444708.111
AT ITER 79 NEW BEST:: SOT 919740 SOS 670746 HAS SOPS 593197 HAS SOUS 456255 HAS SOUPS 441103 WITH SCORE 441773.746
AT ITER 80 NEW BEST:: SOT 919740 SOS 672045 HAS SOPS 593269 HAS SOUS 456565 HAS SOUPS 440836 WITH SCORE 441508.045
AT ITER 81 NEW BEST:: SOT 919740 SOS 672101 HAS SOPS 595033 HAS SOUS 455029 HAS SOUPS 439287 WITH SCORE 439959.101
AT ITER 83 NEW BEST:: SOT 919740 SOS 672992 HAS SOPS 594903 HAS SOUS 452501 HAS SOUPS 436664 WITH SCORE 437336.992
AT ITER 84 NEW BEST:: SOT 919740 SOS 673603 HAS SOPS 595371 HAS SOUS 451471 HAS SOUPS 435633 WITH SCORE 436306.603
AT ITER 85 NEW BEST:: SOT 919740 SOS 673591 HAS SOPS 595551 HAS SOUS 451181 HAS SOUPS 435338 WITH SCORE 436011.591
AT ITER 86 NEW BEST:: SOT 919740 SOS 675114 HAS SOPS 597531 HAS SOUS 447763 HAS SOUPS 432044 WITH SCORE 432719.114
AT ITER 87 NEW BEST:: SOT 919740 SOS 675219 HAS SOPS 597795 HAS SOUS 446783 HAS SOUPS 431113 WITH SCORE 431788.219
AT ITER 88 NEW BEST:: SOT 919740 SOS 675510 HAS SOPS 598455 HAS SOUS 446109 HAS SOUPS 430472 WITH SCORE 431147.51
AT ITER 91 NEW BEST:: SOT 919740 SOS 675486 HAS SOPS 598419 HAS SOUS 446061 HAS SOUPS 430424 WITH SCORE 431099.486
AT ITER 92 NEW BEST:: SOT 919740 SOS 674858 HAS SOPS 597447 HAS SOUS 444638 HAS SOUPS 429055 WITH SCORE 429729.858
AT ITER 93 NEW BEST:: SOT 919740 SOS 673679 HAS SOPS 596571 HAS SOUS 443919 HAS SOUPS 428409 WITH SCORE 429082.679
AT ITER 94 NEW BEST:: SOT 919740 SOS 674551 HAS SOPS 596769 HAS SOUS 442224 HAS SOUPS 426662 WITH SCORE 427336.551
AT ITER 95 NEW BEST:: SOT 919740 SOS 674322 HAS SOPS 596103 HAS SOUS 441898 HAS SOUPS 426336 WITH SCORE 427010.322
AT ITER 99 NEW BEST:: SOT 919740 SOS 674678 HAS SOPS 596427 HAS SOUS 439383 HAS SOUPS 423930 WITH SCORE 424604.678
AT ITER 101 NEW BEST:: SOT 919740 SOS 674635 HAS SOPS 595815 HAS SOUS 438670 HAS SOUPS 423213 WITH SCORE 423887.635
AT ITER 103 NEW BEST:: SOT 919740 SOS 675790 HAS SOPS 596481 HAS SOUS 438188 HAS SOUPS 422731 WITH SCORE 423406.79
AT ITER 104 NEW BEST:: SOT 919740 SOS 675526 HAS SOPS 595887 HAS SOUS 437943 HAS SOUPS 422368 WITH SCORE 423043.526
AT ITER 106 NEW BEST:: SOT 919740 SOS 675265 HAS SOPS 595383 HAS SOUS 437838 HAS SOUPS 422274 WITH SCORE 422949.265
AT ITER 107 NEW BEST:: SOT 919740 SOS 675510 HAS SOPS 595365 HAS SOUS 437694 HAS SOUPS 421737 WITH SCORE 422412.51
AT ITER 108 NEW BEST:: SOT 919740 SOS 676397 HAS SOPS 595365 HAS SOUS 436791 HAS SOUPS 420834 WITH SCORE 421510.397
AT ITER 110 NEW BEST:: SOT 919740 SOS 676385 HAS SOPS 596649 HAS SOUS 436258 HAS SOUPS 420403 WITH SCORE 421079.385
AT ITER 111 NEW BEST:: SOT 919740 SOS 675148 HAS SOPS 594939 HAS SOUS 435095 HAS SOUPS 419174 WITH SCORE 419849.148
AT ITER 112 NEW BEST:: SOT 919740 SOS 675106 HAS SOPS 594939 HAS SOUS 434897 HAS SOUPS 418976 WITH SCORE 419651.106
AT ITER 115 NEW BEST:: SOT 919740 SOS 673912 HAS SOPS 593301 HAS SOUS 432657 HAS SOUPS 416803 WITH SCORE 417476.912
AT ITER 116 NEW BEST:: SOT 919740 SOS 672925 HAS SOPS 592107 HAS SOUS 432488 HAS SOUPS 416634 WITH SCORE 417306.925
AT ITER 118 NEW BEST:: SOT 919832 SOS 674299 HAS SOPS 592139 HAS SOUS 430769 HAS SOUPS 414816 WITH SCORE 415490.299
AT ITER 120 NEW BEST:: SOT 919832 SOS 674158 HAS SOPS 592991 HAS SOUS 430096 HAS SOUPS 414214 WITH SCORE 414888.158
AT ITER 123 NEW BEST:: SOT 919832 SOS 674460 HAS SOPS 594575 HAS SOUS 429020 HAS SOUPS 413247 WITH SCORE 413921.46
AT ITER 124 NEW BEST:: SOT 919832 SOS 674418 HAS SOPS 596219 HAS SOUS 427062 HAS SOUPS 411520 WITH SCORE 412194.418
AT ITER 125 NEW BEST:: SOT 919832 SOS 674665 HAS SOPS 598217 HAS SOUS 425814 HAS SOUPS 410341 WITH SCORE 411015.665
AT ITER 127 NEW BEST:: SOT 919832 SOS 674637 HAS SOPS 597839 HAS SOUS 425453 HAS SOUPS 409980 WITH SCORE 410654.637
AT ITER 128 NEW BEST:: SOT 919832 SOS 674314 HAS SOPS 597635 HAS SOUS 425135 HAS SOUPS 409646 WITH SCORE 410320.314
AT ITER 134 NEW BEST:: SOT 919832 SOS 674398 HAS SOPS 596183 HAS SOUS 424171 HAS SOUPS 408902 WITH SCORE 409576.398
AT ITER 135 NEW BEST:: SOT 919832 SOS 676449 HAS SOPS 601487 HAS SOUS 422406 HAS SOUPS 407552 WITH SCORE 408228.449
AT ITER 138 NEW BEST:: SOT 919832 SOS 676516 HAS SOPS 601553 HAS SOUS 422203 HAS SOUPS 407360 WITH SCORE 408036.516
AT ITER 139 NEW BEST:: SOT 919832 SOS 676503 HAS SOPS 601553 HAS SOUS 422109 HAS SOUPS 407272 WITH SCORE 407948.503
AT ITER 141 NEW BEST:: SOT 919832 SOS 676622 HAS SOPS 600911 HAS SOUS 419262 HAS SOUPS 404384 WITH SCORE 405060.622
AT ITER 143 NEW BEST:: SOT 919832 SOS 675968 HAS SOPS 600515 HAS SOUS 418266 HAS SOUPS 403454 WITH SCORE 404129.968
AT ITER 144 NEW BEST:: SOT 919832 SOS 675361 HAS SOPS 598823 HAS SOUS 418094 HAS SOUPS 403282 WITH SCORE 403957.361
AT ITER 150 NEW BEST:: SOT 919832 SOS 675414 HAS SOPS 599225 HAS SOUS 418077 HAS SOUPS 403236 WITH SCORE 403911.414
AT ITER 151 NEW BEST:: SOT 919832 SOS 675497 HAS SOPS 599225 HAS SOUS 417972 HAS SOUPS 403131 WITH SCORE 403806.497
AT ITER 153 NEW BEST:: SOT 919832 SOS 675991 HAS SOPS 599921 HAS SOUS 417246 HAS SOUPS 402463 WITH SCORE 403138.991
AT ITER 157 NEW BEST:: SOT 919832 SOS 676050 HAS SOPS 600173 HAS SOUS 416499 HAS SOUPS 401909 WITH SCORE 402585.05
AT ITER 158 NEW BEST:: SOT 919832 SOS 675747 HAS SOPS 599939 HAS SOUS 415930 HAS SOUPS 401373 WITH SCORE 402048.747
AT ITER 159 NEW BEST:: SOT 919832 SOS 675571 HAS SOPS 599921 HAS SOUS 415555 HAS SOUPS 401028 WITH SCORE 401703.571
AT ITER 161 NEW BEST:: SOT 919832 SOS 675317 HAS SOPS 600893 HAS SOUS 414850 HAS SOUPS 400401 WITH SCORE 401076.317
AT ITER 162 NEW BEST:: SOT 919832 SOS 675315 HAS SOPS 600893 HAS SOUS 414814 HAS SOUPS 400367 WITH SCORE 401042.315
AT ITER 164 NEW BEST:: SOT 919832 SOS 676092 HAS SOPS 603485 HAS SOUS 414184 HAS SOUPS 399816 WITH SCORE 400492.092
AT ITER 166 NEW BEST:: SOT 919832 SOS 676119 HAS SOPS 603389 HAS SOUS 413435 HAS SOUPS 398772 WITH SCORE 399448.119
AT ITER 168 NEW BEST:: SOT 919832 SOS 681690 HAS SOPS 602848 HAS SOUS 412060 HAS SOUPS 397366 WITH SCORE 398047.69
AT ITER 169 NEW BEST:: SOT 919832 SOS 680270 HAS SOPS 602020 HAS SOUS 411099 HAS SOUPS 396489 WITH SCORE 397169.27
AT ITER 171 NEW BEST:: SOT 919832 SOS 680939 HAS SOPS 602806 HAS SOUS 408756 HAS SOUPS 394023 WITH SCORE 394703.939
AT ITER 172 NEW BEST:: SOT 919832 SOS 681259 HAS SOPS 604906 HAS SOUS 406265 HAS SOUPS 391814 WITH SCORE 392495.259
AT ITER 173 NEW BEST:: SOT 919832 SOS 681214 HAS SOPS 606742 HAS SOUS 405031 HAS SOUPS 390756 WITH SCORE 391437.214
AT ITER 175 NEW BEST:: SOT 920075 SOS 680887 HAS SOPS 606467 HAS SOUS 401293 HAS SOUPS 386980 WITH SCORE 387660.887
AT ITER 176 NEW BEST:: SOT 920075 SOS 680335 HAS SOPS 606161 HAS SOUS 400974 HAS SOUPS 386671 WITH SCORE 387351.335
AT ITER 181 NEW BEST:: SOT 920075 SOS 680335 HAS SOPS 606101 HAS SOUS 400974 HAS SOUPS 386651 WITH SCORE 387331.335
AT ITER 188 NEW BEST:: SOT 920075 SOS 680941 HAS SOPS 607535 HAS SOUS 400585 HAS SOUPS 386310 WITH SCORE 386990.941
AT ITER 189 NEW BEST:: SOT 920187 SOS 682086 HAS SOPS 609333 HAS SOUS 399197 HAS SOUPS 384786 WITH SCORE 385468.086
AT ITER 190 NEW BEST:: SOT 920187 SOS 681738 HAS SOPS 609333 HAS SOUS 398228 HAS SOUPS 383889 WITH SCORE 384570.738
AT ITER 191 NEW BEST:: SOT 920187 SOS 681925 HAS SOPS 609333 HAS SOUS 397571 HAS SOUPS 383188 WITH SCORE 383869.925
AT ITER 193 NEW BEST:: SOT 920187 SOS 681925 HAS SOPS 609333 HAS SOUS 397425 HAS SOUPS 383042 WITH SCORE 383723.925
AT ITER 197 NEW BEST:: SOT 920187 SOS 681388 HAS SOPS 609333 HAS SOUS 396578 HAS SOUPS 382327 WITH SCORE 383008.388
AT ITER 198 NEW BEST:: SOT 920187 SOS 682169 HAS SOPS 612537 HAS SOUS 395745 HAS SOUPS 381642 WITH SCORE 382324.169
AT ITER 199 NEW BEST:: SOT 920187 SOS 681990 HAS SOPS 612087 HAS SOUS 395664 HAS SOUPS 381561 WITH SCORE 382242.99
AT ITER 200 NEW BEST:: SOT 920187 SOS 681945 HAS SOPS 612033 HAS SOUS 395652 HAS SOUPS 381549 WITH SCORE 382230.945
AT ITER 202 NEW BEST:: SOT 920187 SOS 746321 HAS SOPS 612159 HAS SOUS 393627 HAS SOUPS 379468 WITH SCORE 380214.321
AT ITER 213 NEW BEST:: SOT 920187 SOS 745734 HAS SOPS 610317 HAS SOUS 392407 HAS SOUPS 378248 WITH SCORE 378993.734
AT ITER 214 NEW BEST:: SOT 920187 SOS 745734 HAS SOPS 609369 HAS SOUS 392397 HAS SOUPS 377823 WITH SCORE 378568.734
AT ITER 215 NEW BEST:: SOT 920187 SOS 745734 HAS SOPS 608415 HAS SOUS 392319 HAS SOUPS 377745 WITH SCORE 378490.734
AT ITER 216 NEW BEST:: SOT 920187 SOS 745734 HAS SOPS 608535 HAS SOUS 392186 HAS SOUPS 377612 WITH SCORE 378357.734
AT ITER 217 NEW BEST:: SOT 920187 SOS 745761 HAS SOPS 609075 HAS SOUS 391256 HAS SOUPS 376773 WITH SCORE 377518.761
AT ITER 220 NEW BEST:: SOT 920187 SOS 745761 HAS SOPS 608715 HAS SOUS 390756 HAS SOUPS 376293 WITH SCORE 377038.761
AT ITER 223 NEW BEST:: SOT 920235 SOS 745809 HAS SOPS 603273 HAS SOUS 390993 HAS SOUPS 375938 WITH SCORE 376683.809
AT ITER 226 NEW BEST:: SOT 920235 SOS 745809 HAS SOPS 604839 HAS SOUS 389523 HAS SOUPS 374569 WITH SCORE 375314.809
AT ITER 229 NEW BEST:: SOT 920235 SOS 745809 HAS SOPS 605253 HAS SOUS 389132 HAS SOUPS 374165 WITH SCORE 374910.809
AT ITER 231 NEW BEST:: SOT 920235 SOS 746822 HAS SOPS 608745 HAS SOUS 388098 HAS SOUPS 373294 WITH SCORE 374040.822
AT ITER 232 NEW BEST:: SOT 920235 SOS 746822 HAS SOPS 609549 HAS SOUS 386010 HAS SOUPS 371325 WITH SCORE 372071.822
AT ITER 235 NEW BEST:: SOT 920235 SOS 746822 HAS SOPS 610539 HAS SOUS 385071 HAS SOUPS 370373 WITH SCORE 371119.822
AT ITER 236 NEW BEST:: SOT 920235 SOS 747444 HAS SOPS 611751 HAS SOUS 382518 HAS SOUPS 367822 WITH SCORE 368569.444
AT ITER 238 NEW BEST:: SOT 920235 SOS 747444 HAS SOPS 611823 HAS SOUS 381276 HAS SOUPS 366609 WITH SCORE 367356.444
AT ITER 240 NEW BEST:: SOT 920235 SOS 747444 HAS SOPS 611517 HAS SOUS 380722 HAS SOUPS 366037 WITH SCORE 366784.444
AT ITER 241 NEW BEST:: SOT 920235 SOS 747444 HAS SOPS 611709 HAS SOUS 380522 HAS SOUPS 365812 WITH SCORE 366559.444
AT ITER 242 NEW BEST:: SOT 920235 SOS 747245 HAS SOPS 610161 HAS SOUS 380274 HAS SOUPS 365552 WITH SCORE 366299.245
AT ITER 243 NEW BEST:: SOT 920235 SOS 747823 HAS SOPS 613221 HAS SOUS 379423 HAS SOUPS 364858 WITH SCORE 365605.823
AT ITER 244 NEW BEST:: SOT 920235 SOS 747644 HAS SOPS 612899 HAS SOUS 379365 HAS SOUPS 364800 WITH SCORE 365547.644
AT ITER 247 NEW BEST:: SOT 920235 SOS 748045 HAS SOPS 613601 HAS SOUS 379103 HAS SOUPS 364563 WITH SCORE 365311.045
AT ITER 249 NEW BEST:: SOT 920235 SOS 748045 HAS SOPS 613601 HAS SOUS 378747 HAS SOUPS 364230 WITH SCORE 364978.045
AT ITER 255 NEW BEST:: SOT 920235 SOS 748045 HAS SOPS 613817 HAS SOUS 378716 HAS SOUPS 364212 WITH SCORE 364960.045
AT ITER 256 NEW BEST:: SOT 920235 SOS 748025 HAS SOPS 612557 HAS SOUS 378456 HAS SOUPS 363952 WITH SCORE 364700.025
AT ITER 257 NEW BEST:: SOT 920235 SOS 748306 HAS SOPS 613799 HAS SOUS 378058 HAS SOUPS 363623 WITH SCORE 364371.306
AT ITER 258 NEW BEST:: SOT 920235 SOS 748298 HAS SOPS 613787 HAS SOUS 377988 HAS SOUPS 363553 WITH SCORE 364301.298
AT ITER 260 NEW BEST:: SOT 920235 SOS 748298 HAS SOPS 613787 HAS SOUS 377714 HAS SOUPS 363279 WITH SCORE 364027.298
AT ITER 263 NEW BEST:: SOT 920187 SOS 748250 HAS SOPS 613739 HAS SOUS 377666 HAS SOUPS 363231 WITH SCORE 363979.25
AT ITER 264 NEW BEST:: SOT 920187 SOS 748250 HAS SOPS 613739 HAS SOUS 377561 HAS SOUPS 363147 WITH SCORE 363895.25
AT ITER 267 NEW BEST:: SOT 920187 SOS 748684 HAS SOPS 614117 HAS SOUS 377491 HAS SOUPS 363077 WITH SCORE 363825.684
AT ITER 272 NEW BEST:: SOT 920187 SOS 748684 HAS SOPS 614657 HAS SOUS 377381 HAS SOUPS 362982 WITH SCORE 363730.684
AT ITER 273 NEW BEST:: SOT 920187 SOS 749211 HAS SOPS 615035 HAS SOUS 377002 HAS SOUPS 362746 WITH SCORE 363495.211
AT ITER 274 NEW BEST:: SOT 920187 SOS 749211 HAS SOPS 616511 HAS SOUS 376227 HAS SOUPS 362122 WITH SCORE 362871.211
AT ITER 283 NEW BEST:: SOT 722597 SOS 551621 HAS SOPS 440685 HAS SOUS 178637 HAS SOUPS 170223 WITH SCORE 170774.621
AT ITER 286 NEW BEST:: SOT 723478 SOS 552732 HAS SOPS 442794 HAS SOUS 177247 HAS SOUPS 168959 WITH SCORE 169511.732
AT ITER 287 NEW BEST:: SOT 723835 SOS 553089 HAS SOPS 443979 HAS SOUS 176906 HAS SOUPS 168687 WITH SCORE 169240.089
AT ITER 289 NEW BEST:: SOT 723751 SOS 553005 HAS SOPS 443895 HAS SOUS 176766 HAS SOUPS 168547 WITH SCORE 169100.005
AT ITER 291 NEW BEST:: SOT 723751 SOS 553005 HAS SOPS 443895 HAS SOUS 176730 HAS SOUPS 168511 WITH SCORE 169064.005
AT ITER 293 NEW BEST:: SOT 723268 SOS 552522 HAS SOPS 443412 HAS SOUS 175598 HAS SOUPS 167379 WITH SCORE 167931.522
AT ITER 294 NEW BEST:: SOT 723268 SOS 552522 HAS SOPS 443412 HAS SOUS 175060 HAS SOUPS 166890 WITH SCORE 167442.522
AT ITER 298 NEW BEST:: SOT 723268 SOS 552522 HAS SOPS 443436 HAS SOUS 174704 HAS SOUPS 166587 WITH SCORE 167139.522
AT ITER 299 NEW BEST:: SOT 724448 SOS 553702 HAS SOPS 444928 HAS SOUS 174459 HAS SOUPS 166335 WITH SCORE 166888.702
AT ITER 303 NEW BEST:: SOT 724448 SOS 553702 HAS SOPS 445432 HAS SOUS 173797 HAS SOUPS 165708 WITH SCORE 166261.702
AT ITER 304 NEW BEST:: SOT 724448 SOS 553598 HAS SOPS 445924 HAS SOUS 173162 HAS SOUPS 165126 WITH SCORE 165679.598
AT ITER 305 NEW BEST:: SOT 724448 SOS 553636 HAS SOPS 445924 HAS SOUS 173135 HAS SOUPS 165099 WITH SCORE 165652.636
AT ITER 307 NEW BEST:: SOT 724448 SOS 553636 HAS SOPS 445924 HAS SOUS 173098 HAS SOUPS 165062 WITH SCORE 165615.636
AT ITER 308 NEW BEST:: SOT 724448 SOS 553636 HAS SOPS 445924 HAS SOUS 173086 HAS SOUPS 165050 WITH SCORE 165603.636
AT ITER 309 NEW BEST:: SOT 724416 SOS 553604 HAS SOPS 445496 HAS SOUS 173067 HAS SOUPS 165016 WITH SCORE 165569.604
AT ITER 310 NEW BEST:: SOT 724416 SOS 553604 HAS SOPS 446216 HAS SOUS 172222 HAS SOUPS 164220 WITH SCORE 164773.604
AT ITER 315 NEW BEST:: SOT 724023 SOS 553211 HAS SOPS 445823 HAS SOUS 171902 HAS SOUPS 163900 WITH SCORE 164453.211
AT ITER 316 NEW BEST:: SOT 724023 SOS 553340 HAS SOPS 445967 HAS SOUS 171901 HAS SOUPS 163899 WITH SCORE 164452.34
AT ITER 317 NEW BEST:: SOT 723703 SOS 553020 HAS SOPS 445647 HAS SOUS 171842 HAS SOUPS 163840 WITH SCORE 164393.02
AT ITER 327 NEW BEST:: SOT 724529 SOS 553668 HAS SOPS 447745 HAS SOUS 171254 HAS SOUPS 163367 WITH SCORE 163920.668
AT ITER 332 NEW BEST:: SOT 724440 SOS 553267 HAS SOPS 446072 HAS SOUS 170820 HAS SOUPS 162933 WITH SCORE 163486.267
AT ITER 339 NEW BEST:: SOT 725720 SOS 553845 HAS SOPS 446170 HAS SOUS 170675 HAS SOUPS 162768 WITH SCORE 163321.845
AT ITER 340 NEW BEST:: SOT 725816 SOS 553387 HAS SOPS 444682 HAS SOUS 169799 HAS SOUPS 161892 WITH SCORE 162445.387
AT ITER 343 NEW BEST:: SOT 725816 SOS 553387 HAS SOPS 446104 HAS SOUS 169496 HAS SOUPS 161609 WITH SCORE 162162.387
AT ITER 344 NEW BEST:: SOT 727034 SOS 554141 HAS SOPS 448282 HAS SOUS 166809 HAS SOUPS 159082 WITH SCORE 159636.141
AT ITER 346 NEW BEST:: SOT 726601 SOS 553708 HAS SOPS 447849 HAS SOUS 166634 HAS SOUPS 158907 WITH SCORE 159460.708
AT ITER 348 NEW BEST:: SOT 725807 SOS 552914 HAS SOPS 446227 HAS SOUS 166420 HAS SOUPS 158670 WITH SCORE 159222.914
AT ITER 351 NEW BEST:: SOT 725780 SOS 552870 HAS SOPS 446224 HAS SOUS 166330 HAS SOUPS 158580 WITH SCORE 159132.87
AT ITER 352 NEW BEST:: SOT 724404 SOS 551494 HAS SOPS 444848 HAS SOUS 164891 HAS SOUPS 157141 WITH SCORE 157692.494
AT ITER 355 NEW BEST:: SOT 724404 SOS 551494 HAS SOPS 444920 HAS SOUS 164864 HAS SOUPS 157117 WITH SCORE 157668.494
AT ITER 358 NEW BEST:: SOT 724617 SOS 551707 HAS SOPS 444989 HAS SOUS 164507 HAS SOUPS 156739 WITH SCORE 157290.707
AT ITER 365 NEW BEST:: SOT 724617 SOS 551091 HAS SOPS 443201 HAS SOUS 164219 HAS SOUPS 156451 WITH SCORE 157002.091
AT ITER 367 NEW BEST:: SOT 724583 SOS 551057 HAS SOPS 443167 HAS SOUS 164206 HAS SOUPS 156438 WITH SCORE 156989.057
AT ITER 368 NEW BEST:: SOT 724583 SOS 550980 HAS SOPS 442969 HAS SOUS 164217 HAS SOUPS 156438 WITH SCORE 156988.98
AT ITER 369 NEW BEST:: SOT 724739 SOS 550869 HAS SOPS 443161 HAS SOUS 163394 HAS SOUPS 155594 WITH SCORE 156144.869
AT ITER 372 NEW BEST:: SOT 724321 SOS 549873 HAS SOPS 440743 HAS SOUS 163156 HAS SOUPS 155418 WITH SCORE 155967.873
AT ITER 375 NEW BEST:: SOT 726143 SOS 551695 HAS SOPS 443117 HAS SOUS 162871 HAS SOUPS 155156 WITH SCORE 155707.695
AT ITER 380 NEW BEST:: SOT 725047 SOS 550599 HAS SOPS 442021 HAS SOUS 162701 HAS SOUPS 154986 WITH SCORE 155536.599
AT ITER 382 NEW BEST:: SOT 726307 SOS 551803 HAS SOPS 444235 HAS SOUS 160310 HAS SOUPS 152700 WITH SCORE 153251.803
AT ITER 385 NEW BEST:: SOT 726307 SOS 551752 HAS SOPS 444649 HAS SOUS 160267 HAS SOUPS 152681 WITH SCORE 153232.752
AT ITER 390 NEW BEST:: SOT 725947 SOS 551392 HAS SOPS 444289 HAS SOUS 158756 HAS SOUPS 151170 WITH SCORE 151721.392
AT ITER 391 NEW BEST:: SOT 725947 SOS 551392 HAS SOPS 444289 HAS SOUS 158717 HAS SOUPS 151144 WITH SCORE 151695.392
AT ITER 394 NEW BEST:: SOT 726271 SOS 551716 HAS SOPS 446317 HAS SOUS 157109 HAS SOUPS 149663 WITH SCORE 150214.716
AT ITER 395 NEW BEST:: SOT 726271 SOS 551944 HAS SOPS 446773 HAS SOUS 156881 HAS SOUPS 149473 WITH SCORE 150024.944
AT ITER 401 NEW BEST:: SOT 727653 SOS 553231 HAS SOPS 449475 HAS SOUS 156588 HAS SOUPS 149273 WITH SCORE 149826.231
AT ITER 405 NEW BEST:: SOT 727404 SOS 552982 HAS SOPS 448638 HAS SOUS 156009 HAS SOUPS 148706 WITH SCORE 149258.982
AT ITER 406 NEW BEST:: SOT 727404 SOS 552982 HAS SOPS 448638 HAS SOUS 155903 HAS SOUPS 148600 WITH SCORE 149152.982
AT ITER 409 NEW BEST:: SOT 727404 SOS 553054 HAS SOPS 448878 HAS SOUS 155843 HAS SOUPS 148555 WITH SCORE 149108.054
AT ITER 411 NEW BEST:: SOT 727230 SOS 552880 HAS SOPS 448704 HAS SOUS 155777 HAS SOUPS 148489 WITH SCORE 149041.88
AT ITER 415 NEW BEST:: SOT 727230 SOS 552886 HAS SOPS 448704 HAS SOUS 155774 HAS SOUPS 148486 WITH SCORE 149038.886
AT ITER 421 NEW BEST:: SOT 726777 SOS 552433 HAS SOPS 447939 HAS SOUS 155832 HAS SOUPS 148470 WITH SCORE 149022.433
AT ITER 423 NEW BEST:: SOT 726777 SOS 552433 HAS SOPS 447111 HAS SOUS 155680 HAS SOUPS 148318 WITH SCORE 148870.433
AT ITER 424 NEW BEST:: SOT 726493 SOS 552149 HAS SOPS 446827 HAS SOUS 155327 HAS SOUPS 147965 WITH SCORE 148517.149
AT ITER 427 NEW BEST:: SOT 726063 SOS 551719 HAS SOPS 446109 HAS SOUS 155072 HAS SOUPS 147710 WITH SCORE 148261.719
AT ITER 429 NEW BEST:: SOT 726265 SOS 552212 HAS SOPS 450235 HAS SOUS 153743 HAS SOUPS 146559 WITH SCORE 147111.212
AT ITER 431 NEW BEST:: SOT 726265 SOS 552741 HAS SOPS 451045 HAS SOUS 153267 HAS SOUPS 146137 WITH SCORE 146689.741
AT ITER 432 NEW BEST:: SOT 726265 SOS 553362 HAS SOPS 453061 HAS SOUS 152757 HAS SOUPS 145731 WITH SCORE 146284.362
AT ITER 434 NEW BEST:: SOT 727615 SOS 554712 HAS SOPS 454411 HAS SOUS 151738 HAS SOUPS 144724 WITH SCORE 145278.712
AT ITER 436 NEW BEST:: SOT 727615 SOS 554712 HAS SOPS 454285 HAS SOUS 151718 HAS SOUPS 144704 WITH SCORE 145258.712
AT ITER 438 NEW BEST:: SOT 727705 SOS 555701 HAS SOPS 457871 HAS SOUS 150407 HAS SOUPS 143514 WITH SCORE 144069.701
AT ITER 441 NEW BEST:: SOT 729079 SOS 557075 HAS SOPS 460805 HAS SOUS 150223 HAS SOUPS 143494 WITH SCORE 144051.075
AT ITER 447 NEW BEST:: SOT 729079 SOS 557376 HAS SOPS 462155 HAS SOUS 150067 HAS SOUPS 143406 WITH SCORE 143963.376
AT ITER 450 NEW BEST:: SOT 729295 SOS 557592 HAS SOPS 462803 HAS SOUS 149845 HAS SOUPS 143164 WITH SCORE 143721.592
AT ITER 451 NEW BEST:: SOT 728859 SOS 557156 HAS SOPS 462367 HAS SOUS 149391 HAS SOUPS 142710 WITH SCORE 143267.156
AT ITER 453 NEW BEST:: SOT 728859 SOS 557148 HAS SOPS 462271 HAS SOUS 149399 HAS SOUPS 142710 WITH SCORE 143267.148
AT ITER 459 NEW BEST:: SOT 728859 SOS 557964 HAS SOPS 464323 HAS SOUS 148814 HAS SOUPS 142234 WITH SCORE 142791.964
AT ITER 464 NEW BEST:: SOT 705987 SOS 535092 HAS SOPS 517327 HAS SOUS 125247 HAS SOUPS 123831 WITH SCORE 124366.092
AT ITER 469 NEW BEST:: SOT 706302 SOS 535407 HAS SOPS 517642 HAS SOUS 124883 HAS SOUPS 123467 WITH SCORE 124002.407
AT ITER 472 NEW BEST:: SOT 706210 SOS 535315 HAS SOPS 517550 HAS SOUS 124821 HAS SOUPS 123405 WITH SCORE 123940.315
AT ITER 475 NEW BEST:: SOT 706210 SOS 535329 HAS SOPS 517550 HAS SOUS 124814 HAS SOUPS 123398 WITH SCORE 123933.329
AT ITER 484 NEW BEST:: SOT 707110 SOS 536229 HAS SOPS 518450 HAS SOUS 124670 HAS SOUPS 123254 WITH SCORE 123790.229
AT ITER 486 NEW BEST:: SOT 707251 SOS 536370 HAS SOPS 518591 HAS SOUS 124210 HAS SOUPS 122794 WITH SCORE 123330.37
AT ITER 491 NEW BEST:: SOT 707417 SOS 536536 HAS SOPS 518757 HAS SOUS 123948 HAS SOUPS 122532 WITH SCORE 123068.536
AT ITER 496 NEW BEST:: SOT 707425 SOS 536544 HAS SOPS 518765 HAS SOUS 123946 HAS SOUPS 122530 WITH SCORE 123066.544
AT ITER 497 NEW BEST:: SOT 707243 SOS 536362 HAS SOPS 518583 HAS SOUS 123943 HAS SOUPS 122527 WITH SCORE 123063.362
AT ITER 498 NEW BEST:: SOT 707243 SOS 536450 HAS SOPS 518687 HAS SOUS 123935 HAS SOUPS 122519 WITH SCORE 123055.45
AT ITER 504 NEW BEST:: SOT 707356 SOS 536563 HAS SOPS 518800 HAS SOUS 123807 HAS SOUPS 122391 WITH SCORE 122927.563
AT ITER 505 NEW BEST:: SOT 707616 SOS 536823 HAS SOPS 519060 HAS SOUS 123596 HAS SOUPS 122180 WITH SCORE 122716.823
AT ITER 508 NEW BEST:: SOT 705865 SOS 535072 HAS SOPS 517309 HAS SOUS 123068 HAS SOUPS 121652 WITH SCORE 122187.072
AT ITER 510 NEW BEST:: SOT 705785 SOS 534992 HAS SOPS 517229 HAS SOUS 123031 HAS SOUPS 121615 WITH SCORE 122149.992
AT ITER 511 NEW BEST:: SOT 706324 SOS 535516 HAS SOPS 518692 HAS SOUS 122403 HAS SOUPS 121073 WITH SCORE 121608.516
AT ITER 519 NEW BEST:: SOT 706294 SOS 535486 HAS SOPS 518662 HAS SOUS 122397 HAS SOUPS 121067 WITH SCORE 121602.486
AT ITER 522 NEW BEST:: SOT 706414 SOS 535606 HAS SOPS 518782 HAS SOUS 122335 HAS SOUPS 121005 WITH SCORE 121540.606
AT ITER 526 NEW BEST:: SOT 706414 SOS 536164 HAS SOPS 519430 HAS SOUS 122173 HAS SOUPS 120861 WITH SCORE 121397.164
AT ITER 529 NEW BEST:: SOT 705778 SOS 535528 HAS SOPS 518794 HAS SOUS 121677 HAS SOUPS 120365 WITH SCORE 120900.528
AT ITER 534 NEW BEST:: SOT 703193 SOS 532943 HAS SOPS 516209 HAS SOUS 119320 HAS SOUPS 118008 WITH SCORE 118540.943
AT ITER 536 NEW BEST:: SOT 703193 SOS 532863 HAS SOPS 516113 HAS SOUS 119312 HAS SOUPS 118000 WITH SCORE 118532.863
AT ITER 539 NEW BEST:: SOT 703193 SOS 532295 HAS SOPS 515801 HAS SOUS 119104 HAS SOUPS 117818 WITH SCORE 118350.295
AT ITER 540 NEW BEST:: SOT 702899 SOS 532001 HAS SOPS 515507 HAS SOUS 118964 HAS SOUPS 117678 WITH SCORE 118210.001
AT ITER 543 NEW BEST:: SOT 702671 SOS 531773 HAS SOPS 515279 HAS SOUS 118795 HAS SOUPS 117509 WITH SCORE 118040.773
AT ITER 548 NEW BEST:: SOT 701791 SOS 530893 HAS SOPS 514399 HAS SOUS 118409 HAS SOUPS 117123 WITH SCORE 117653.893
AT ITER 550 NEW BEST:: SOT 701453 SOS 530555 HAS SOPS 514061 HAS SOUS 118130 HAS SOUPS 116844 WITH SCORE 117374.555
AT ITER 555 NEW BEST:: SOT 702797 SOS 531899 HAS SOPS 515405 HAS SOUS 117936 HAS SOUPS 116650 WITH SCORE 117181.899
AT ITER 567 NEW BEST:: SOT 700915 SOS 530574 HAS SOPS 513065 HAS SOUS 117622 HAS SOUPS 116277 WITH SCORE 116807.574
AT ITER 568 NEW BEST:: SOT 700829 SOS 530488 HAS SOPS 512979 HAS SOUS 117448 HAS SOUPS 116103 WITH SCORE 116633.488
AT ITER 571 NEW BEST:: SOT 700917 SOS 530576 HAS SOPS 513067 HAS SOUS 117273 HAS SOUPS 115928 WITH SCORE 116458.576
AT ITER 576 NEW BEST:: SOT 701028 SOS 530687 HAS SOPS 513232 HAS SOUS 116967 HAS SOUPS 115625 WITH SCORE 116155.687
AT ITER 577 NEW BEST:: SOT 701028 SOS 530827 HAS SOPS 513352 HAS SOUS 116957 HAS SOUPS 115615 WITH SCORE 116145.827
AT ITER 578 NEW BEST:: SOT 701186 SOS 531191 HAS SOPS 514464 HAS SOUS 116411 HAS SOUPS 115122 WITH SCORE 115653.191
AT ITER 580 NEW BEST:: SOT 701186 SOS 531259 HAS SOPS 514464 HAS SOUS 116337 HAS SOUPS 115048 WITH SCORE 115579.259
AT ITER 585 NEW BEST:: SOT 699596 SOS 529561 HAS SOPS 512874 HAS SOUS 115857 HAS SOUPS 114568 WITH SCORE 115097.561
AT ITER 589 NEW BEST:: SOT 699596 SOS 529561 HAS SOPS 512874 HAS SOUS 115851 HAS SOUPS 114562 WITH SCORE 115091.561
AT ITER 590 NEW BEST:: SOT 699796 SOS 529756 HAS SOPS 513254 HAS SOUS 115611 HAS SOUPS 114332 WITH SCORE 114861.756
AT ITER 592 NEW BEST:: SOT 699772 SOS 529732 HAS SOPS 513230 HAS SOUS 115555 HAS SOUPS 114276 WITH SCORE 114805.732
AT ITER 598 NEW BEST:: SOT 699715 SOS 531059 HAS SOPS 515729 HAS SOUS 115148 HAS SOUPS 113973 WITH SCORE 114504.059
AT ITER 606 NEW BEST:: SOT 698650 SOS 529994 HAS SOPS 514664 HAS SOUS 115041 HAS SOUPS 113866 WITH SCORE 114395.994
AT ITER 615 NEW BEST:: SOT 698051 SOS 529395 HAS SOPS 514065 HAS SOUS 114893 HAS SOUPS 113718 WITH SCORE 114247.395
AT ITER 621 NEW BEST:: SOT 698057 SOS 529401 HAS SOPS 514071 HAS SOUS 114808 HAS SOUPS 113633 WITH SCORE 114162.401
AT ITER 627 NEW BEST:: SOT 698323 SOS 529081 HAS SOPS 513941 HAS SOUS 114269 HAS SOUPS 113094 WITH SCORE 113623.081
AT ITER 638 NEW BEST:: SOT 698323 SOS 529157 HAS SOPS 514013 HAS SOUS 114265 HAS SOUPS 113090 WITH SCORE 113619.157
AT ITER 645 NEW BEST:: SOT 698323 SOS 566526 HAS SOPS 513571 HAS SOUS 114219 HAS SOUPS 113018 WITH SCORE 113584.526
AT ITER 648 NEW BEST:: SOT 698027 SOS 566312 HAS SOPS 513275 HAS SOUS 113499 HAS SOUPS 112298 WITH SCORE 112864.312
AT ITER 650 NEW BEST:: SOT 697921 SOS 566206 HAS SOPS 513151 HAS SOUS 113239 HAS SOUPS 112038 WITH SCORE 112604.206
AT ITER 652 NEW BEST:: SOT 697922 SOS 566207 HAS SOPS 513152 HAS SOUS 113151 HAS SOUPS 111950 WITH SCORE 112516.207
AT ITER 663 NEW BEST:: SOT 697818 SOS 566103 HAS SOPS 513048 HAS SOUS 112759 HAS SOUPS 111558 WITH SCORE 112124.103
AT ITER 673 NEW BEST:: SOT 697612 SOS 565897 HAS SOPS 512842 HAS SOUS 112422 HAS SOUPS 111221 WITH SCORE 111786.897
AT ITER 679 NEW BEST:: SOT 697282 SOS 565567 HAS SOPS 512512 HAS SOUS 112312 HAS SOUPS 111111 WITH SCORE 111676.567
AT ITER 684 NEW BEST:: SOT 696751 SOS 565036 HAS SOPS 511981 HAS SOUS 112022 HAS SOUPS 110821 WITH SCORE 111386.036
AT ITER 688 NEW BEST:: SOT 695638 SOS 563923 HAS SOPS 509932 HAS SOUS 111166 HAS SOUPS 109939 WITH SCORE 110502.923
AT ITER 691 NEW BEST:: SOT 695638 SOS 564167 HAS SOPS 510172 HAS SOUS 111164 HAS SOUPS 109937 WITH SCORE 110501.167
AT ITER 694 NEW BEST:: SOT 695406 SOS 563935 HAS SOPS 509940 HAS SOUS 110685 HAS SOUPS 109458 WITH SCORE 110021.935
AT ITER 703 NEW BEST:: SOT 695676 SOS 564586 HAS SOPS 511776 HAS SOUS 110036 HAS SOUPS 108891 WITH SCORE 109455.586
AT ITER 707 NEW BEST:: SOT 695676 SOS 564382 HAS SOPS 511572 HAS SOUS 110036 HAS SOUPS 108891 WITH SCORE 109455.382
AT ITER 712 NEW BEST:: SOT 695676 SOS 564379 HAS SOPS 511578 HAS SOUS 110029 HAS SOUPS 108885 WITH SCORE 109449.379
AT ITER 717 NEW BEST:: SOT 694642 SOS 563345 HAS SOPS 510544 HAS SOUS 109998 HAS SOUPS 108854 WITH SCORE 109417.345
AT ITER 718 NEW BEST:: SOT 694653 SOS 563536 HAS SOPS 511365 HAS SOUS 109647 HAS SOUPS 108503 WITH SCORE 109066.536
AT ITER 719 NEW BEST:: SOT 694653 SOS 563743 HAS SOPS 511561 HAS SOUS 109646 HAS SOUPS 108502 WITH SCORE 109065.743
AT ITER 727 NEW BEST:: SOT 694476 SOS 563828 HAS SOPS 511006 HAS SOUS 109406 HAS SOUPS 108262 WITH SCORE 108825.828
AT ITER 729 NEW BEST:: SOT 694443 SOS 563795 HAS SOPS 510973 HAS SOUS 109371 HAS SOUPS 108227 WITH SCORE 108790.795
AT ITER 739 NEW BEST:: SOT 694424 SOS 563776 HAS SOPS 510954 HAS SOUS 109016 HAS SOUPS 107872 WITH SCORE 108435.776
AT ITER 742 NEW BEST:: SOT 693654 SOS 563006 HAS SOPS 510184 HAS SOUS 108851 HAS SOUPS 107707 WITH SCORE 108270.006
AT ITER 744 NEW BEST:: SOT 693658 SOS 563010 HAS SOPS 510188 HAS SOUS 108799 HAS SOUPS 107655 WITH SCORE 108218.01
AT ITER 749 NEW BEST:: SOT 691712 SOS 560495 HAS SOPS 506850 HAS SOUS 107991 HAS SOUPS 106789 WITH SCORE 107349.495
AT ITER 756 NEW BEST:: SOT 691690 SOS 560473 HAS SOPS 506828 HAS SOUS 107765 HAS SOUPS 106563 WITH SCORE 107123.473
AT ITER 760 NEW BEST:: SOT 691710 SOS 560493 HAS SOPS 506848 HAS SOUS 107533 HAS SOUPS 106331 WITH SCORE 106891.493
AT ITER 762 NEW BEST:: SOT 691694 SOS 560477 HAS SOPS 506832 HAS SOUS 107509 HAS SOUPS 106307 WITH SCORE 106867.477
AT ITER 774 NEW BEST:: SOT 691652 SOS 560435 HAS SOPS 507150 HAS SOUS 107468 HAS SOUPS 106296 WITH SCORE 106856.435
AT ITER 775 NEW BEST:: SOT 691593 SOS 560240 HAS SOPS 507131 HAS SOUS 106665 HAS SOUPS 105548 WITH SCORE 106108.24
AT ITER 780 NEW BEST:: SOT 691132 SOS 559779 HAS SOPS 506670 HAS SOUS 106499 HAS SOUPS 105382 WITH SCORE 105941.779
AT ITER 784 NEW BEST:: SOT 691140 SOS 560442 HAS SOPS 509072 HAS SOUS 106322 HAS SOUPS 105281 WITH SCORE 105841.442
AT ITER 786 NEW BEST:: SOT 690910 SOS 560212 HAS SOPS 508842 HAS SOUS 105836 HAS SOUPS 104795 WITH SCORE 105355.212
AT ITER 793 NEW BEST:: SOT 690539 SOS 560177 HAS SOPS 508951 HAS SOUS 105554 HAS SOUPS 104475 WITH SCORE 105035.177
AT ITER 794 NEW BEST:: SOT 691357 SOS 560995 HAS SOPS 509769 HAS SOUS 105299 HAS SOUPS 104220 WITH SCORE 104780.995
AT ITER 797 NEW BEST:: SOT 691237 SOS 560875 HAS SOPS 509649 HAS SOUS 105203 HAS SOUPS 104124 WITH SCORE 104684.875
AT ITER 804 NEW BEST:: SOT 691237 SOS 560665 HAS SOPS 509637 HAS SOUS 105158 HAS SOUPS 104101 WITH SCORE 104661.665
AT ITER 812 NEW BEST:: SOT 690585 SOS 560013 HAS SOPS 508985 HAS SOUS 104736 HAS SOUPS 103679 WITH SCORE 104239.013
AT ITER 830 NEW BEST:: SOT 690652 SOS 560080 HAS SOPS 509052 HAS SOUS 104560 HAS SOUPS 103503 WITH SCORE 104063.08
AT ITER 831 NEW BEST:: SOT 690652 SOS 560080 HAS SOPS 509052 HAS SOUS 104547 HAS SOUPS 103490 WITH SCORE 104050.08
AT ITER 838 NEW BEST:: SOT 690640 SOS 560068 HAS SOPS 508860 HAS SOUS 104536 HAS SOUPS 103474 WITH SCORE 104034.068
AT ITER 840 NEW BEST:: SOT 688558 SOS 557911 HAS SOPS 505998 HAS SOUS 103974 HAS SOUPS 102866 WITH SCORE 103423.911
AT ITER 851 NEW BEST:: SOT 686759 SOS 556115 HAS SOPS 503725 HAS SOUS 103895 HAS SOUPS 102753 WITH SCORE 103309.115
AT ITER 866 NEW BEST:: SOT 686403 SOS 555759 HAS SOPS 503369 HAS SOUS 103549 HAS SOUPS 102407 WITH SCORE 102962.759
AT ITER 871 NEW BEST:: SOT 686587 SOS 555943 HAS SOPS 503553 HAS SOUS 103343 HAS SOUPS 102201 WITH SCORE 102756.943
AT ITER 877 NEW BEST:: SOT 686587 SOS 555943 HAS SOPS 503751 HAS SOUS 103299 HAS SOUPS 102157 WITH SCORE 102712.943
AT ITER 879 NEW BEST:: SOT 686758 SOS 556114 HAS SOPS 503922 HAS SOUS 103223 HAS SOUPS 102081 WITH SCORE 102637.114
AT ITER 894 NEW BEST:: SOT 686791 SOS 556147 HAS SOPS 504891 HAS SOUS 103196 HAS SOUPS 102080 WITH SCORE 102636.147
AT ITER 898 NEW BEST:: SOT 686767 SOS 556123 HAS SOPS 504867 HAS SOUS 103184 HAS SOUPS 102068 WITH SCORE 102624.123
AT ITER 902 NEW BEST:: SOT 686411 SOS 555767 HAS SOPS 504511 HAS SOUS 103141 HAS SOUPS 102025 WITH SCORE 102580.767
AT ITER 907 NEW BEST:: SOT 685065 SOS 554421 HAS SOPS 502805 HAS SOUS 102960 HAS SOUPS 101834 WITH SCORE 102388.421
AT ITER 909 NEW BEST:: SOT 684855 SOS 554211 HAS SOPS 502595 HAS SOUS 102821 HAS SOUPS 101695 WITH SCORE 102249.211
AT ITER 911 NEW BEST:: SOT 684721 SOS 554077 HAS SOPS 502461 HAS SOUS 102227 HAS SOUPS 101101 WITH SCORE 101655.077
AT ITER 914 NEW BEST:: SOT 684348 SOS 553704 HAS SOPS 502088 HAS SOUS 101921 HAS SOUPS 100795 WITH SCORE 101348.704
AT ITER 920 NEW BEST:: SOT 684136 SOS 553492 HAS SOPS 501876 HAS SOUS 101861 HAS SOUPS 100735 WITH SCORE 101288.492
AT ITER 921 NEW BEST:: SOT 684136 SOS 553414 HAS SOPS 501876 HAS SOUS 101614 HAS SOUPS 100509 WITH SCORE 101062.414
AT ITER 933 NEW BEST:: SOT 681448 SOS 550726 HAS SOPS 498936 HAS SOUS 101489 HAS SOUPS 100377 WITH SCORE 100927.726
AT ITER 936 NEW BEST:: SOT 681024 SOS 550302 HAS SOPS 498512 HAS SOUS 101262 HAS SOUPS 100150 WITH SCORE 100700.302
AT ITER 948 NEW BEST:: SOT 681146 SOS 550424 HAS SOPS 498634 HAS SOUS 101188 HAS SOUPS 100076 WITH SCORE 100626.424
AT ITER 949 NEW BEST:: SOT 680460 SOS 549362 HAS SOPS 496328 HAS SOUS 101117 HAS SOUPS 99960 WITH SCORE 100509.362
AT ITER 950 NEW BEST:: SOT 680460 SOS 549700 HAS SOPS 496868 HAS SOUS 101072 HAS SOUPS 99930 WITH SCORE 100479.7
AT ITER 952 NEW BEST:: SOT 679861 SOS 549101 HAS SOPS 496269 HAS SOUS 100716 HAS SOUPS 99574 WITH SCORE 100123.101
AT ITER 953 NEW BEST:: SOT 679937 SOS 549177 HAS SOPS 496345 HAS SOUS 100659 HAS SOUPS 99517 WITH SCORE 100066.177
AT ITER 962 NEW BEST:: SOT 680008 SOS 549398 HAS SOPS 496650 HAS SOUS 100466 HAS SOUPS 99324 WITH SCORE 99873.398
AT ITER 965 NEW BEST:: SOT 680008 SOS 549777 HAS SOPS 496994 HAS SOUS 100431 HAS SOUPS 99289 WITH SCORE 99838.777
AT ITER 967 NEW BEST:: SOT 680008 SOS 549777 HAS SOPS 497222 HAS SOUS 100385 HAS SOUPS 99243 WITH SCORE 99792.777
AT ITER 969 NEW BEST:: SOT 678695 SOS 548464 HAS SOPS 495909 HAS SOUS 100359 HAS SOUPS 99217 WITH SCORE 99765.464
AT ITER 971 NEW BEST:: SOT 678714 SOS 548513 HAS SOPS 496090 HAS SOUS 99919 HAS SOUPS 98813 WITH SCORE 99361.513
AT ITER 972 NEW BEST:: SOT 678750 SOS 548574 HAS SOPS 497764 HAS SOUS 99734 HAS SOUPS 98687 WITH SCORE 99235.574
AT ITER 980 NEW BEST:: SOT 678184 SOS 548008 HAS SOPS 497198 HAS SOUS 99313 HAS SOUPS 98266 WITH SCORE 98814.008
AT ITER 984 NEW BEST:: SOT 678304 SOS 548128 HAS SOPS 497318 HAS SOUS 99273 HAS SOUPS 98226 WITH SCORE 98774.128
AT ITER 986 NEW BEST:: SOT 677173 SOS 546997 HAS SOPS 496187 HAS SOUS 98707 HAS SOUPS 97660 WITH SCORE 98206.997
AT ITER 999 NEW BEST:: SOT 678384 SOS 548208 HAS SOPS 497722 HAS SOUS 98549 HAS SOUPS 97511 WITH SCORE 98059.208
AT ITER 1003 NEW BEST:: SOT 677672 SOS 547300 HAS SOPS 496728 HAS SOUS 98440 HAS SOUPS 97402 WITH SCORE 97949.3
AT ITER 1005 NEW BEST:: SOT 677025 SOS 546653 HAS SOPS 496081 HAS SOUS 98354 HAS SOUPS 97316 WITH SCORE 97862.653
AT ITER 1008 NEW BEST:: SOT 677513 SOS 547723 HAS SOPS 498321 HAS SOUS 97645 HAS SOUPS 96665 WITH SCORE 97212.723
AT ITER 1015 NEW BEST:: SOT 677409 SOS 547137 HAS SOPS 496093 HAS SOUS 97681 HAS SOUPS 96642 WITH SCORE 97189.137
AT ITER 1034 NEW BEST:: SOT 677567 SOS 547295 HAS SOPS 496251 HAS SOUS 97644 HAS SOUPS 96605 WITH SCORE 97152.295
AT ITER 1043 NEW BEST:: SOT 677567 SOS 546111 HAS SOPS 493787 HAS SOUS 97718 HAS SOUPS 96606 WITH SCORE 97152.111
AT ITER 1044 NEW BEST:: SOT 676663 SOS 545207 HAS SOPS 492883 HAS SOUS 96226 HAS SOUPS 95114 WITH SCORE 95659.207
AT ITER 1049 NEW BEST:: SOT 676663 SOS 545207 HAS SOPS 492883 HAS SOUS 96142 HAS SOUPS 95030 WITH SCORE 95575.207
AT ITER 1050 NEW BEST:: SOT 676663 SOS 545255 HAS SOPS 492883 HAS SOUS 96118 HAS SOUPS 95006 WITH SCORE 95551.255
AT ITER 1070 NEW BEST:: SOT 676663 SOS 545147 HAS SOPS 492793 HAS SOUS 96107 HAS SOUPS 94995 WITH SCORE 95540.147
AT ITER 1077 NEW BEST:: SOT 676333 SOS 544817 HAS SOPS 492463 HAS SOUS 95602 HAS SOUPS 94490 WITH SCORE 95034.817
AT ITER 1081 NEW BEST:: SOT 676119 SOS 544603 HAS SOPS 492249 HAS SOUS 95267 HAS SOUPS 94155 WITH SCORE 94699.603
AT ITER 1083 NEW BEST:: SOT 677341 SOS 545825 HAS SOPS 493471 HAS SOUS 94859 HAS SOUPS 93747 WITH SCORE 94292.825
AT ITER 1084 NEW BEST:: SOT 677341 SOS 545658 HAS SOPS 492907 HAS SOUS 94660 HAS SOUPS 93548 WITH SCORE 94093.658
AT ITER 1091 NEW BEST:: SOT 677337 SOS 545654 HAS SOPS 492903 HAS SOUS 94658 HAS SOUPS 93546 WITH SCORE 94091.654
AT ITER 1092 NEW BEST:: SOT 675830 SOS 543465 HAS SOPS 489308 HAS SOUS 94383 HAS SOUPS 93213 WITH SCORE 93756.465
AT ITER 1097 NEW BEST:: SOT 675965 SOS 543600 HAS SOPS 489443 HAS SOUS 94304 HAS SOUPS 93134 WITH SCORE 93677.6
AT ITER 1104 NEW BEST:: SOT 675965 SOS 544469 HAS SOPS 491595 HAS SOUS 94165 HAS SOUPS 93059 WITH SCORE 93603.469
AT ITER 1105 NEW BEST:: SOT 675965 SOS 544897 HAS SOPS 493287 HAS SOUS 93968 HAS SOUPS 92927 WITH SCORE 93471.897
AT ITER 1106 NEW BEST:: SOT 675702 SOS 544634 HAS SOPS 493024 HAS SOUS 93943 HAS SOUPS 92902 WITH SCORE 93446.634
AT ITER 1114 NEW BEST:: SOT 675700 SOS 544632 HAS SOPS 493022 HAS SOUS 93922 HAS SOUPS 92881 WITH SCORE 93425.632
AT ITER 1124 NEW BEST:: SOT 675650 SOS 544582 HAS SOPS 493080 HAS SOUS 93589 HAS SOUPS 92566 WITH SCORE 93110.582
AT ITER 1125 NEW BEST:: SOT 675528 SOS 544460 HAS SOPS 492958 HAS SOUS 93418 HAS SOUPS 92395 WITH SCORE 92939.46
AT ITER 1132 NEW BEST:: SOT 675337 SOS 544269 HAS SOPS 492767 HAS SOUS 93256 HAS SOUPS 92233 WITH SCORE 92777.269
AT ITER 1136 NEW BEST:: SOT 675302 SOS 544234 HAS SOPS 492732 HAS SOUS 93242 HAS SOUPS 92219 WITH SCORE 92763.234
AT ITER 1146 NEW BEST:: SOT 675124 SOS 544056 HAS SOPS 492842 HAS SOUS 93196 HAS SOUPS 92173 WITH SCORE 92717.056
AT ITER 1147 NEW BEST:: SOT 673966 SOS 542858 HAS SOPS 491684 HAS SOUS 93039 HAS SOUPS 92016 WITH SCORE 92558.858
AT ITER 1157 NEW BEST:: SOT 673309 SOS 542635 HAS SOPS 491927 HAS SOUS 92894 HAS SOUPS 91871 WITH SCORE 92413.635
AT ITER 1159 NEW BEST:: SOT 673425 SOS 542751 HAS SOPS 492043 HAS SOUS 92795 HAS SOUPS 91772 WITH SCORE 92314.751
AT ITER 1166 NEW BEST:: SOT 673327 SOS 542653 HAS SOPS 491945 HAS SOUS 92762 HAS SOUPS 91739 WITH SCORE 92281.653
AT ITER 1170 NEW BEST:: SOT 673327 SOS 542975 HAS SOPS 492485 HAS SOUS 92717 HAS SOUPS 91694 WITH SCORE 92236.975
AT ITER 1171 NEW BEST:: SOT 673327 SOS 542975 HAS SOPS 492701 HAS SOUS 92702 HAS SOUPS 91685 WITH SCORE 92227.975
AT ITER 1178 NEW BEST:: SOT 673325 SOS 542973 HAS SOPS 492699 HAS SOUS 92684 HAS SOUPS 91667 WITH SCORE 92209.973
AT ITER 1179 NEW BEST:: SOT 673325 SOS 542957 HAS SOPS 492699 HAS SOUS 92681 HAS SOUPS 91664 WITH SCORE 92206.957
AT ITER 1181 NEW BEST:: SOT 672625 SOS 542257 HAS SOPS 491999 HAS SOUS 92578 HAS SOUPS 91561 WITH SCORE 92103.257
AT ITER 1182 NEW BEST:: SOT 672625 SOS 542145 HAS SOPS 491999 HAS SOUS 92532 HAS SOUPS 91515 WITH SCORE 92057.145
AT ITER 1204 NEW BEST:: SOT 672625 SOS 542145 HAS SOPS 491999 HAS SOUS 92530 HAS SOUPS 91513 WITH SCORE 92055.145
AT ITER 1208 NEW BEST:: SOT 672306 SOS 541826 HAS SOPS 491680 HAS SOUS 92401 HAS SOUPS 91384 WITH SCORE 91925.826
AT ITER 1211 NEW BEST:: SOT 672915 SOS 542435 HAS SOPS 492289 HAS SOUS 92237 HAS SOUPS 91220 WITH SCORE 91762.435
AT ITER 1212 NEW BEST:: SOT 672669 SOS 542189 HAS SOPS 492043 HAS SOUS 91300 HAS SOUPS 90283 WITH SCORE 90825.189
AT ITER 1214 NEW BEST:: SOT 672687 SOS 542207 HAS SOPS 492061 HAS SOUS 91289 HAS SOUPS 90272 WITH SCORE 90814.207
AT ITER 1218 NEW BEST:: SOT 672619 SOS 542139 HAS SOPS 491993 HAS SOUS 91241 HAS SOUPS 90224 WITH SCORE 90766.139
AT ITER 1221 NEW BEST:: SOT 672619 SOS 542139 HAS SOPS 491993 HAS SOUS 91207 HAS SOUPS 90190 WITH SCORE 90732.139
AT ITER 1231 NEW BEST:: SOT 672209 SOS 541729 HAS SOPS 491583 HAS SOUS 91135 HAS SOUPS 90118 WITH SCORE 90659.729
AT ITER 1232 NEW BEST:: SOT 672187 SOS 542283 HAS SOPS 493541 HAS SOUS 90605 HAS SOUPS 89643 WITH SCORE 90185.283
AT ITER 1240 NEW BEST:: SOT 672200 SOS 542296 HAS SOPS 494274 HAS SOUS 90446 HAS SOUPS 89504 WITH SCORE 90046.296
AT ITER 1250 NEW BEST:: SOT 672302 SOS 542401 HAS SOPS 494850 HAS SOUS 90131 HAS SOUPS 89223 WITH SCORE 89765.401
AT ITER 1272 NEW BEST:: SOT 672256 SOS 542355 HAS SOPS 494012 HAS SOUS 90105 HAS SOUPS 89175 WITH SCORE 89717.355
AT ITER 1273 NEW BEST:: SOT 670460 SOS 540559 HAS SOPS 492216 HAS SOUS 90075 HAS SOUPS 89145 WITH SCORE 89685.559
AT ITER 1277 NEW BEST:: SOT 670481 SOS 540580 HAS SOPS 493209 HAS SOUS 89744 HAS SOUPS 88841 WITH SCORE 89381.58
AT ITER 1278 NEW BEST:: SOT 670503 SOS 540602 HAS SOPS 493231 HAS SOUS 89724 HAS SOUPS 88821 WITH SCORE 89361.602
AT ITER 1285 NEW BEST:: SOT 670162 SOS 540261 HAS SOPS 492890 HAS SOUS 89498 HAS SOUPS 88595 WITH SCORE 89135.261
AT ITER 1286 NEW BEST:: SOT 670680 SOS 540779 HAS SOPS 493408 HAS SOUS 89385 HAS SOUPS 88482 WITH SCORE 89022.779
AT ITER 1288 NEW BEST:: SOT 669850 SOS 539949 HAS SOPS 492578 HAS SOUS 89015 HAS SOUPS 88112 WITH SCORE 88651.949
AT ITER 1290 NEW BEST:: SOT 670116 SOS 540215 HAS SOPS 493420 HAS SOUS 88727 HAS SOUPS 87840 WITH SCORE 88380.215
AT ITER 1298 NEW BEST:: SOT 670153 SOS 540252 HAS SOPS 493457 HAS SOUS 88495 HAS SOUPS 87608 WITH SCORE 88148.252
AT ITER 1303 NEW BEST:: SOT 669749 SOS 539848 HAS SOPS 493053 HAS SOUS 88348 HAS SOUPS 87461 WITH SCORE 88000.848
AT ITER 1309 NEW BEST:: SOT 669598 SOS 539697 HAS SOPS 492902 HAS SOUS 88272 HAS SOUPS 87385 WITH SCORE 87924.697
AT ITER 1314 NEW BEST:: SOT 670525 SOS 540624 HAS SOPS 494105 HAS SOUS 88213 HAS SOUPS 87354 WITH SCORE 87894.624
AT ITER 1316 NEW BEST:: SOT 670517 SOS 540616 HAS SOPS 493377 HAS SOUS 88237 HAS SOUPS 87336 WITH SCORE 87876.616
AT ITER 1321 NEW BEST:: SOT 670587 SOS 540686 HAS SOPS 493447 HAS SOUS 88152 HAS SOUPS 87251 WITH SCORE 87791.686
AT ITER 1331 NEW BEST:: SOT 669845 SOS 539944 HAS SOPS 492705 HAS SOUS 87504 HAS SOUPS 86603 WITH SCORE 87142.944
AT ITER 1338 NEW BEST:: SOT 669845 SOS 540787 HAS SOPS 493713 HAS SOUS 87501 HAS SOUPS 86600 WITH SCORE 87140.787
AT ITER 1340 NEW BEST:: SOT 669765 SOS 540707 HAS SOPS 493633 HAS SOUS 87463 HAS SOUPS 86562 WITH SCORE 87102.707
AT ITER 1347 NEW BEST:: SOT 669753 SOS 540695 HAS SOPS 493621 HAS SOUS 87463 HAS SOUPS 86562 WITH SCORE 87102.695
AT ITER 1360 NEW BEST:: SOT 669753 SOS 540551 HAS SOPS 493477 HAS SOUS 87463 HAS SOUPS 86562 WITH SCORE 87102.551
AT ITER 1365 NEW BEST:: SOT 668892 SOS 539690 HAS SOPS 492616 HAS SOUS 86728 HAS SOUPS 85827 WITH SCORE 86366.69
AT ITER 1375 NEW BEST:: SOT 668481 SOS 539279 HAS SOPS 492205 HAS SOUS 86495 HAS SOUPS 85594 WITH SCORE 86133.279
AT ITER 1391 NEW BEST:: SOT 668481 SOS 539015 HAS SOPS 491941 HAS SOUS 86495 HAS SOUPS 85594 WITH SCORE 86133.015
AT ITER 1400 NEW BEST:: SOT 667897 SOS 538431 HAS SOPS 491357 HAS SOUS 86289 HAS SOUPS 85388 WITH SCORE 85926.431
AT ITER 1409 NEW BEST:: SOT 667949 SOS 538483 HAS SOPS 491409 HAS SOUS 86269 HAS SOUPS 85368 WITH SCORE 85906.483
AT ITER 1413 NEW BEST:: SOT 667943 SOS 537825 HAS SOPS 489939 HAS SOUS 86231 HAS SOUPS 85330 WITH SCORE 85867.825
AT ITER 1427 NEW BEST:: SOT 667916 SOS 537798 HAS SOPS 489912 HAS SOUS 86216 HAS SOUPS 85315 WITH SCORE 85852.798
AT ITER 1435 NEW BEST:: SOT 668028 SOS 537910 HAS SOPS 490024 HAS SOUS 85949 HAS SOUPS 85048 WITH SCORE 85585.91
AT ITER 1446 NEW BEST:: SOT 668050 SOS 537932 HAS SOPS 490046 HAS SOUS 85846 HAS SOUPS 84945 WITH SCORE 85482.932
AT ITER 1448 NEW BEST:: SOT 668038 SOS 537920 HAS SOPS 490034 HAS SOUS 85831 HAS SOUPS 84930 WITH SCORE 85467.92
AT ITER 1454 NEW BEST:: SOT 667436 SOS 537318 HAS SOPS 489432 HAS SOUS 85339 HAS SOUPS 84438 WITH SCORE 84975.318
AT ITER 1455 NEW BEST:: SOT 667901 SOS 537783 HAS SOPS 489897 HAS SOUS 85164 HAS SOUPS 84263 WITH SCORE 84800.783
AT ITER 1456 NEW BEST:: SOT 667901 SOS 538017 HAS SOPS 490809 HAS SOUS 84980 HAS SOUPS 84117 WITH SCORE 84655.017
AT ITER 1461 NEW BEST:: SOT 667901 SOS 537963 HAS SOPS 490737 HAS SOUS 84971 HAS SOUPS 84108 WITH SCORE 84645.963
AT ITER 1463 NEW BEST:: SOT 667632 SOS 537694 HAS SOPS 490468 HAS SOUS 84832 HAS SOUPS 83969 WITH SCORE 84506.694
AT ITER 1470 NEW BEST:: SOT 667830 SOS 537892 HAS SOPS 490666 HAS SOUS 84781 HAS SOUPS 83918 WITH SCORE 84455.892
AT ITER 1474 NEW BEST:: SOT 667830 SOS 537892 HAS SOPS 490666 HAS SOUS 84637 HAS SOUPS 83774 WITH SCORE 84311.892
AT ITER 1481 NEW BEST:: SOT 667556 SOS 537618 HAS SOPS 490392 HAS SOUS 84598 HAS SOUPS 83735 WITH SCORE 84272.618
AT ITER 1494 NEW BEST:: SOT 667393 SOS 537455 HAS SOPS 490229 HAS SOUS 84171 HAS SOUPS 83308 WITH SCORE 83845.455
AT ITER 1506 NEW BEST:: SOT 667393 SOS 537003 HAS SOPS 489425 HAS SOUS 84083 HAS SOUPS 83220 WITH SCORE 83757.003
AT ITER 1510 NEW BEST:: SOT 667407 SOS 537017 HAS SOPS 489439 HAS SOUS 84034 HAS SOUPS 83171 WITH SCORE 83708.017
AT ITER 1512 NEW BEST:: SOT 667914 SOS 537524 HAS SOPS 490162 HAS SOUS 83903 HAS SOUPS 83047 WITH SCORE 83584.524
AT ITER 1513 NEW BEST:: SOT 667834 SOS 537444 HAS SOPS 490082 HAS SOUS 83810 HAS SOUPS 82954 WITH SCORE 83491.444
AT ITER 1515 NEW BEST:: SOT 667834 SOS 537646 HAS SOPS 491066 HAS SOUS 83698 HAS SOUPS 82883 WITH SCORE 83420.646
AT ITER 1518 NEW BEST:: SOT 667834 SOS 589952 HAS SOPS 490445 HAS SOUS 83663 HAS SOUPS 82821 WITH SCORE 83410.952
AT ITER 1532 NEW BEST:: SOT 667372 SOS 589490 HAS SOPS 489983 HAS SOUS 83580 HAS SOUPS 82738 WITH SCORE 83327.49
AT ITER 1539 NEW BEST:: SOT 667341 SOS 589459 HAS SOPS 489952 HAS SOUS 83536 HAS SOUPS 82694 WITH SCORE 83283.459
AT ITER 1556 NEW BEST:: SOT 667264 SOS 589382 HAS SOPS 489239 HAS SOUS 83377 HAS SOUPS 82535 WITH SCORE 83124.382
AT ITER 1558 NEW BEST:: SOT 667264 SOS 589154 HAS SOPS 488723 HAS SOUS 83377 HAS SOUPS 82535 WITH SCORE 83124.154
AT ITER 1565 NEW BEST:: SOT 667264 SOS 589154 HAS SOPS 488183 HAS SOUS 83324 HAS SOUPS 82482 WITH SCORE 83071.154
AT ITER 1575 NEW BEST:: SOT 666984 SOS 588874 HAS SOPS 487903 HAS SOUS 83135 HAS SOUPS 82293 WITH SCORE 82881.874
AT ITER 1585 NEW BEST:: SOT 667262 SOS 589180 HAS SOPS 490305 HAS SOUS 82954 HAS SOUPS 82171 WITH SCORE 82760.18
AT ITER 1600 NEW BEST:: SOT 667816 SOS 589734 HAS SOPS 490859 HAS SOUS 82920 HAS SOUPS 82137 WITH SCORE 82726.734
AT ITER 1602 NEW BEST:: SOT 666527 SOS 602626 HAS SOPS 602486 HAS SOUS 81192 HAS SOUPS 81168 WITH SCORE 81770.626
AT ITER 1621 NEW BEST:: SOT 666827 SOS 602926 HAS SOPS 602786 HAS SOUS 81180 HAS SOUPS 81156 WITH SCORE 81758.926
AT ITER 1644 NEW BEST:: SOT 666831 SOS 602930 HAS SOPS 602790 HAS SOUS 81132 HAS SOUPS 81108 WITH SCORE 81710.93
AT ITER 1653 NEW BEST:: SOT 666853 SOS 602952 HAS SOPS 602812 HAS SOUS 81100 HAS SOUPS 81076 WITH SCORE 81678.952
AT ITER 1654 NEW BEST:: SOT 666666 SOS 602765 HAS SOPS 602625 HAS SOUS 80684 HAS SOUPS 80660 WITH SCORE 81262.765
AT ITER 1665 NEW BEST:: SOT 664614 SOS 600713 HAS SOPS 600573 HAS SOUS 80403 HAS SOUPS 80379 WITH SCORE 80979.713
AT ITER 1671 NEW BEST:: SOT 663853 SOS 599952 HAS SOPS 599812 HAS SOUS 80358 HAS SOUPS 80334 WITH SCORE 80933.952
AT ITER 1672 NEW BEST:: SOT 663853 SOS 599952 HAS SOPS 599812 HAS SOUS 80342 HAS SOUPS 80318 WITH SCORE 80917.952
AT ITER 1679 NEW BEST:: SOT 663853 SOS 600078 HAS SOPS 600036 HAS SOUS 80277 HAS SOUPS 80267 WITH SCORE 80867.078
AT ITER 1684 NEW BEST:: SOT 663106 SOS 599331 HAS SOPS 599289 HAS SOUS 80086 HAS SOUPS 80076 WITH SCORE 80675.331
AT ITER 1699 NEW BEST:: SOT 663007 SOS 599232 HAS SOPS 599190 HAS SOUS 79997 HAS SOUPS 79987 WITH SCORE 80586.232
AT ITER 1700 NEW BEST:: SOT 663021 SOS 599246 HAS SOPS 599204 HAS SOUS 79989 HAS SOUPS 79979 WITH SCORE 80578.246
AT ITER 1701 NEW BEST:: SOT 662177 SOS 598402 HAS SOPS 598360 HAS SOUS 79803 HAS SOUPS 79793 WITH SCORE 80391.402
AT ITER 1709 NEW BEST:: SOT 662036 SOS 598261 HAS SOPS 598219 HAS SOUS 79684 HAS SOUPS 79674 WITH SCORE 80272.261
AT ITER 1719 NEW BEST:: SOT 661964 SOS 598189 HAS SOPS 598147 HAS SOUS 79654 HAS SOUPS 79644 WITH SCORE 80242.189
AT ITER 1725 NEW BEST:: SOT 661609 SOS 597834 HAS SOPS 597792 HAS SOUS 79467 HAS SOUPS 79457 WITH SCORE 80054.834
AT ITER 1726 NEW BEST:: SOT 661483 SOS 597708 HAS SOPS 597666 HAS SOUS 79330 HAS SOUPS 79320 WITH SCORE 79917.708
AT ITER 1732 NEW BEST:: SOT 661531 SOS 597756 HAS SOPS 597714 HAS SOUS 79191 HAS SOUPS 79181 WITH SCORE 79778.756
AT ITER 1736 NEW BEST:: SOT 660638 SOS 596863 HAS SOPS 596821 HAS SOUS 79094 HAS SOUPS 79084 WITH SCORE 79680.863
AT ITER 1744 NEW BEST:: SOT 660516 SOS 596741 HAS SOPS 596699 HAS SOUS 79034 HAS SOUPS 79024 WITH SCORE 79620.741
AT ITER 1745 NEW BEST:: SOT 660271 SOS 596496 HAS SOPS 596454 HAS SOUS 79016 HAS SOUPS 79006 WITH SCORE 79602.496
AT ITER 1761 NEW BEST:: SOT 660181 SOS 596406 HAS SOPS 596364 HAS SOUS 78971 HAS SOUPS 78961 WITH SCORE 79557.406
AT ITER 1766 NEW BEST:: SOT 660161 SOS 596386 HAS SOPS 596344 HAS SOUS 78961 HAS SOUPS 78951 WITH SCORE 79547.386
AT ITER 1781 NEW BEST:: SOT 660079 SOS 596304 HAS SOPS 596262 HAS SOUS 78746 HAS SOUPS 78736 WITH SCORE 79332.304
AT ITER 1784 NEW BEST:: SOT 660031 SOS 596256 HAS SOPS 596214 HAS SOUS 78345 HAS SOUPS 78335 WITH SCORE 78931.256
AT ITER 1791 NEW BEST:: SOT 660024 SOS 596249 HAS SOPS 596207 HAS SOUS 78326 HAS SOUPS 78316 WITH SCORE 78912.249
AT ITER 1799 NEW BEST:: SOT 660024 SOS 596249 HAS SOPS 596207 HAS SOUS 78319 HAS SOUPS 78309 WITH SCORE 78905.249
AT ITER 1801 NEW BEST:: SOT 660179 SOS 596404 HAS SOPS 596362 HAS SOUS 78235 HAS SOUPS 78225 WITH SCORE 78821.404
AT ITER 1822 NEW BEST:: SOT 660029 SOS 596254 HAS SOPS 596212 HAS SOUS 78025 HAS SOUPS 78015 WITH SCORE 78611.254
AT ITER 1823 NEW BEST:: SOT 660067 SOS 596292 HAS SOPS 596250 HAS SOUS 77837 HAS SOUPS 77827 WITH SCORE 78423.292
AT ITER 1829 NEW BEST:: SOT 659727 SOS 595952 HAS SOPS 595910 HAS SOUS 77821 HAS SOUPS 77811 WITH SCORE 78406.952
AT ITER 1834 NEW BEST:: SOT 659573 SOS 595798 HAS SOPS 595756 HAS SOUS 77620 HAS SOUPS 77610 WITH SCORE 78205.798
AT ITER 1837 NEW BEST:: SOT 659421 SOS 595646 HAS SOPS 595604 HAS SOUS 77351 HAS SOUPS 77341 WITH SCORE 77936.646
AT ITER 1839 NEW BEST:: SOT 659421 SOS 595646 HAS SOPS 595604 HAS SOUS 77241 HAS SOUPS 77231 WITH SCORE 77826.646
AT ITER 1840 NEW BEST:: SOT 659133 SOS 595358 HAS SOPS 595316 HAS SOUS 77130 HAS SOUPS 77120 WITH SCORE 77715.358
AT ITER 1847 NEW BEST:: SOT 659133 SOS 595358 HAS SOPS 595316 HAS SOUS 77022 HAS SOUPS 77012 WITH SCORE 77607.358
AT ITER 1848 NEW BEST:: SOT 659109 SOS 595334 HAS SOPS 595292 HAS SOUS 76970 HAS SOUPS 76960 WITH SCORE 77555.334
AT ITER 1851 NEW BEST:: SOT 659109 SOS 595334 HAS SOPS 595292 HAS SOUS 76832 HAS SOUPS 76822 WITH SCORE 77417.334
AT ITER 1857 NEW BEST:: SOT 659037 SOS 595262 HAS SOPS 595220 HAS SOUS 76765 HAS SOUPS 76755 WITH SCORE 77350.262
AT ITER 1872 NEW BEST:: SOT 658927 SOS 595152 HAS SOPS 595110 HAS SOUS 76764 HAS SOUPS 76754 WITH SCORE 77349.152
AT ITER 1873 NEW BEST:: SOT 658560 SOS 594785 HAS SOPS 594743 HAS SOUS 76635 HAS SOUPS 76625 WITH SCORE 77219.785
AT ITER 1880 NEW BEST:: SOT 658525 SOS 594750 HAS SOPS 594708 HAS SOUS 76622 HAS SOUPS 76612 WITH SCORE 77206.75
AT ITER 1884 NEW BEST:: SOT 658770 SOS 594995 HAS SOPS 594953 HAS SOUS 76570 HAS SOUPS 76560 WITH SCORE 77154.995
AT ITER 1889 NEW BEST:: SOT 658689 SOS 594914 HAS SOPS 594872 HAS SOUS 76562 HAS SOUPS 76552 WITH SCORE 77146.914
AT ITER 1937 NEW BEST:: SOT 658838 SOS 595063 HAS SOPS 595021 HAS SOUS 76185 HAS SOUPS 76175 WITH SCORE 76770.063
AT ITER 1955 NEW BEST:: SOT 658838 SOS 587872 HAS SOPS 587809 HAS SOUS 76185 HAS SOUPS 76175 WITH SCORE 76762.872
AT ITER 1959 NEW BEST:: SOT 659094 SOS 588128 HAS SOPS 588065 HAS SOUS 76169 HAS SOUPS 76159 WITH SCORE 76747.128
AT ITER 1977 NEW BEST:: SOT 658944 SOS 587978 HAS SOPS 587915 HAS SOUS 76160 HAS SOUPS 76150 WITH SCORE 76737.978
AT ITER 1998 NEW BEST:: SOT 659178 SOS 588212 HAS SOPS 588149 HAS SOUS 76090 HAS SOUPS 76080 WITH SCORE 76668.212
AT ITER 1999 NEW BEST:: SOT 659118 SOS 588152 HAS SOPS 588089 HAS SOUS 76071 HAS SOUPS 76061 WITH SCORE 76649.152
AT ITER 2014 NEW BEST:: SOT 658972 SOS 588006 HAS SOPS 587943 HAS SOUS 75999 HAS SOUPS 75989 WITH SCORE 76577.006
AT ITER 2026 NEW BEST:: SOT 658952 SOS 587986 HAS SOPS 587923 HAS SOUS 75999 HAS SOUPS 75989 WITH SCORE 76576.986
AT ITER 2040 NEW BEST:: SOT 658874 SOS 587908 HAS SOPS 587845 HAS SOUS 75958 HAS SOUPS 75948 WITH SCORE 76535.908
AT ITER 2066 NEW BEST:: SOT 658732 SOS 587766 HAS SOPS 587703 HAS SOUS 75923 HAS SOUPS 75913 WITH SCORE 76500.766
AT ITER 2077 NEW BEST:: SOT 658292 SOS 587326 HAS SOPS 587263 HAS SOUS 75923 HAS SOUPS 75913 WITH SCORE 76500.326
AT ITER 2081 NEW BEST:: SOT 658292 SOS 587278 HAS SOPS 587215 HAS SOUS 75739 HAS SOUPS 75729 WITH SCORE 76316.278
AT ITER 2090 NEW BEST:: SOT 658297 SOS 587283 HAS SOPS 587220 HAS SOUS 75733 HAS SOUPS 75723 WITH SCORE 76310.283
AT ITER 2096 NEW BEST:: SOT 658297 SOS 587283 HAS SOPS 587220 HAS SOUS 75708 HAS SOUPS 75698 WITH SCORE 76285.283
AT ITER 2101 NEW BEST:: SOT 658209 SOS 587195 HAS SOPS 587132 HAS SOUS 75694 HAS SOUPS 75684 WITH SCORE 76271.195
AT ITER 2116 NEW BEST:: SOT 658196 SOS 587182 HAS SOPS 587119 HAS SOUS 75687 HAS SOUPS 75677 WITH SCORE 76264.182
AT ITER 2131 NEW BEST:: SOT 658196 SOS 587182 HAS SOPS 587119 HAS SOUS 75651 HAS SOUPS 75641 WITH SCORE 76228.182
AT ITER 2136 NEW BEST:: SOT 658182 SOS 587168 HAS SOPS 587105 HAS SOUS 75596 HAS SOUPS 75586 WITH SCORE 76173.168
AT ITER 2165 NEW BEST:: SOT 657860 SOS 586846 HAS SOPS 586783 HAS SOUS 75274 HAS SOUPS 75264 WITH SCORE 75850.846
AT ITER 2198 NEW BEST:: SOT 657855 SOS 586841 HAS SOPS 586778 HAS SOUS 75233 HAS SOUPS 75223 WITH SCORE 75809.841
AT ITER 2200 NEW BEST:: SOT 658243 SOS 587229 HAS SOPS 587166 HAS SOUS 74795 HAS SOUPS 74785 WITH SCORE 75372.229
AT ITER 2201 NEW BEST:: SOT 658243 SOS 587229 HAS SOPS 587166 HAS SOUS 74770 HAS SOUPS 74760 WITH SCORE 75347.229
AT ITER 2230 NEW BEST:: SOT 658181 SOS 587167 HAS SOPS 587104 HAS SOUS 74658 HAS SOUPS 74648 WITH SCORE 75235.167
AT ITER 2243 NEW BEST:: SOT 658181 SOS 587167 HAS SOPS 587104 HAS SOUS 74261 HAS SOUPS 74251 WITH SCORE 74838.167
AT ITER 2246 NEW BEST:: SOT 657933 SOS 586919 HAS SOPS 586856 HAS SOUS 73977 HAS SOUPS 73967 WITH SCORE 74553.919
AT ITER 2249 NEW BEST:: SOT 658014 SOS 587000 HAS SOPS 586937 HAS SOUS 73975 HAS SOUPS 73965 WITH SCORE 74552.0
AT ITER 2278 NEW BEST:: SOT 658103 SOS 587089 HAS SOPS 587026 HAS SOUS 73891 HAS SOUPS 73881 WITH SCORE 74468.089
AT ITER 2326 NEW BEST:: SOT 658053 SOS 587039 HAS SOPS 586976 HAS SOUS 73792 HAS SOUPS 73782 WITH SCORE 74369.039
AT ITER 2328 NEW BEST:: SOT 657953 SOS 586939 HAS SOPS 586876 HAS SOUS 73740 HAS SOUPS 73730 WITH SCORE 74316.939
AT ITER 2336 NEW BEST:: SOT 657953 SOS 586711 HAS SOPS 586648 HAS SOUS 73740 HAS SOUPS 73730 WITH SCORE 74316.711
AT ITER 2352 NEW BEST:: SOT 657955 SOS 586788 HAS SOPS 586722 HAS SOUS 73734 HAS SOUPS 73724 WITH SCORE 74310.788
AT ITER 2357 NEW BEST:: SOT 657546 SOS 586379 HAS SOPS 586313 HAS SOUS 73641 HAS SOUPS 73631 WITH SCORE 74217.379
AT ITER 2368 NEW BEST:: SOT 657354 SOS 586187 HAS SOPS 586121 HAS SOUS 73420 HAS SOUPS 73410 WITH SCORE 73996.187
AT ITER 2378 NEW BEST:: SOT 657368 SOS 586201 HAS SOPS 586135 HAS SOUS 73405 HAS SOUPS 73395 WITH SCORE 73981.201
AT ITER 2380 NEW BEST:: SOT 657287 SOS 586120 HAS SOPS 586054 HAS SOUS 73387 HAS SOUPS 73377 WITH SCORE 73963.12
AT ITER 2405 NEW BEST:: SOT 657233 SOS 586066 HAS SOPS 586000 HAS SOUS 73377 HAS SOUPS 73367 WITH SCORE 73953.066
AT ITER 2407 NEW BEST:: SOT 657047 SOS 585880 HAS SOPS 585814 HAS SOUS 73090 HAS SOUPS 73080 WITH SCORE 73665.88
AT ITER 2419 NEW BEST:: SOT 657093 SOS 585926 HAS SOPS 585860 HAS SOUS 73024 HAS SOUPS 73014 WITH SCORE 73599.926
AT ITER 2436 NEW BEST:: SOT 657055 SOS 585888 HAS SOPS 585822 HAS SOUS 72968 HAS SOUPS 72958 WITH SCORE 73543.888
AT ITER 2447 NEW BEST:: SOT 657048 SOS 585881 HAS SOPS 585815 HAS SOUS 72959 HAS SOUPS 72949 WITH SCORE 73534.881
AT ITER 2473 NEW BEST:: SOT 657493 SOS 586326 HAS SOPS 586260 HAS SOUS 72789 HAS SOUPS 72779 WITH SCORE 73365.326
AT ITER 2506 NEW BEST:: SOT 657493 SOS 586326 HAS SOPS 586260 HAS SOUS 72650 HAS SOUPS 72640 WITH SCORE 73226.326
AT ITER 2519 NEW BEST:: SOT 657479 SOS 586312 HAS SOPS 586246 HAS SOUS 72637 HAS SOUPS 72627 WITH SCORE 73213.312
AT ITER 2538 NEW BEST:: SOT 657358 SOS 586191 HAS SOPS 586125 HAS SOUS 72572 HAS SOUPS 72562 WITH SCORE 73148.191
AT ITER 2545 NEW BEST:: SOT 657021 SOS 585854 HAS SOPS 585788 HAS SOUS 72454 HAS SOUPS 72444 WITH SCORE 73029.854
AT ITER 2553 NEW BEST:: SOT 656927 SOS 585760 HAS SOPS 585694 HAS SOUS 72435 HAS SOUPS 72425 WITH SCORE 73010.76
AT ITER 2571 NEW BEST:: SOT 657372 SOS 586205 HAS SOPS 586139 HAS SOUS 72342 HAS SOUPS 72332 WITH SCORE 72918.205
AT ITER 2592 NEW BEST:: SOT 657172 SOS 586005 HAS SOPS 585939 HAS SOUS 72229 HAS SOUPS 72219 WITH SCORE 72805.005
AT ITER 2593 NEW BEST:: SOT 657149 SOS 585982 HAS SOPS 585916 HAS SOUS 72182 HAS SOUPS 72172 WITH SCORE 72757.982
AT ITER 2596 NEW BEST:: SOT 657101 SOS 585934 HAS SOPS 585868 HAS SOUS 72182 HAS SOUPS 72172 WITH SCORE 72757.934
AT ITER 2626 NEW BEST:: SOT 656731 SOS 585564 HAS SOPS 585498 HAS SOUS 71904 HAS SOUPS 71894 WITH SCORE 72479.564
AT ITER 2639 NEW BEST:: SOT 656757 SOS 585590 HAS SOPS 585524 HAS SOUS 71901 HAS SOUPS 71891 WITH SCORE 72476.59
AT ITER 2641 NEW BEST:: SOT 656671 SOS 585504 HAS SOPS 585438 HAS SOUS 71872 HAS SOUPS 71862 WITH SCORE 72447.504
AT ITER 2659 NEW BEST:: SOT 656643 SOS 585476 HAS SOPS 585410 HAS SOUS 71851 HAS SOUPS 71841 WITH SCORE 72426.476
AT ITER 2669 NEW BEST:: SOT 656082 SOS 584915 HAS SOPS 584849 HAS SOUS 71786 HAS SOUPS 71776 WITH SCORE 72360.915
AT ITER 2678 NEW BEST:: SOT 656229 SOS 585062 HAS SOPS 584996 HAS SOUS 71765 HAS SOUPS 71755 WITH SCORE 72340.062
AT ITER 2686 NEW BEST:: SOT 656319 SOS 585152 HAS SOPS 585086 HAS SOUS 71758 HAS SOUPS 71748 WITH SCORE 72333.152
AT ITER 2689 NEW BEST:: SOT 656764 SOS 585597 HAS SOPS 585531 HAS SOUS 71721 HAS SOUPS 71711 WITH SCORE 72296.597
AT ITER 2695 NEW BEST:: SOT 656765 SOS 578674 HAS SOPS 576304 HAS SOUS 71720 HAS SOUPS 71708 WITH SCORE 72286.674
AT ITER 2703 NEW BEST:: SOT 656699 SOS 578608 HAS SOPS 576238 HAS SOUS 71705 HAS SOUPS 71693 WITH SCORE 72271.608
AT ITER 2709 NEW BEST:: SOT 656899 SOS 578808 HAS SOPS 576438 HAS SOUS 71662 HAS SOUPS 71650 WITH SCORE 72228.808
AT ITER 2710 NEW BEST:: SOT 655837 SOS 577746 HAS SOPS 575376 HAS SOUS 71144 HAS SOUPS 71132 WITH SCORE 71709.746
AT ITER 2728 NEW BEST:: SOT 655811 SOS 577720 HAS SOPS 575350 HAS SOUS 71100 HAS SOUPS 71088 WITH SCORE 71665.72
AT ITER 2730 NEW BEST:: SOT 655557 SOS 577466 HAS SOPS 575096 HAS SOUS 70965 HAS SOUPS 70953 WITH SCORE 71530.466
AT ITER 2733 NEW BEST:: SOT 655538 SOS 577447 HAS SOPS 575077 HAS SOUS 70965 HAS SOUPS 70953 WITH SCORE 71530.447
AT ITER 2742 NEW BEST:: SOT 655538 SOS 577447 HAS SOPS 575077 HAS SOUS 70907 HAS SOUPS 70895 WITH SCORE 71472.447
AT ITER 2752 NEW BEST:: SOT 655256 SOS 577165 HAS SOPS 574795 HAS SOUS 70678 HAS SOUPS 70666 WITH SCORE 71243.165
AT ITER 2769 NEW BEST:: SOT 655244 SOS 577153 HAS SOPS 574783 HAS SOUS 70677 HAS SOUPS 70665 WITH SCORE 71242.153
AT ITER 2779 NEW BEST:: SOT 654763 SOS 576672 HAS SOPS 574302 HAS SOUS 70520 HAS SOUPS 70508 WITH SCORE 71084.672
AT ITER 2782 NEW BEST:: SOT 654785 SOS 576694 HAS SOPS 574324 HAS SOUS 70509 HAS SOUPS 70497 WITH SCORE 71073.694
AT ITER 2795 NEW BEST:: SOT 654389 SOS 576298 HAS SOPS 573928 HAS SOUS 70233 HAS SOUPS 70221 WITH SCORE 70797.298
AT ITER 2819 NEW BEST:: SOT 654393 SOS 576302 HAS SOPS 573932 HAS SOUS 70224 HAS SOUPS 70212 WITH SCORE 70788.302
AT ITER 2825 NEW BEST:: SOT 654435 SOS 576344 HAS SOPS 573974 HAS SOUS 70215 HAS SOUPS 70203 WITH SCORE 70779.344
AT ITER 2837 NEW BEST:: SOT 654206 SOS 576115 HAS SOPS 573745 HAS SOUS 70118 HAS SOUPS 70106 WITH SCORE 70682.115
AT ITER 2839 NEW BEST:: SOT 653900 SOS 575809 HAS SOPS 573439 HAS SOUS 69695 HAS SOUPS 69683 WITH SCORE 70258.809
AT ITER 2852 NEW BEST:: SOT 654436 SOS 576345 HAS SOPS 573975 HAS SOUS 69511 HAS SOUPS 69499 WITH SCORE 70075.345
AT ITER 2858 NEW BEST:: SOT 654399 SOS 576308 HAS SOPS 573938 HAS SOUS 69479 HAS SOUPS 69467 WITH SCORE 70043.308
AT ITER 2860 NEW BEST:: SOT 654294 SOS 576203 HAS SOPS 573833 HAS SOUS 69383 HAS SOUPS 69371 WITH SCORE 69947.203
AT ITER 2862 NEW BEST:: SOT 654300 SOS 576209 HAS SOPS 573839 HAS SOUS 69364 HAS SOUPS 69352 WITH SCORE 69928.209
AT ITER 2909 NEW BEST:: SOT 654294 SOS 576203 HAS SOPS 573833 HAS SOUS 69314 HAS SOUPS 69302 WITH SCORE 69878.203
AT ITER 2934 NEW BEST:: SOT 654284 SOS 576193 HAS SOPS 573823 HAS SOUS 69314 HAS SOUPS 69302 WITH SCORE 69878.193
AT ITER 2940 NEW BEST:: SOT 655177 SOS 577086 HAS SOPS 574716 HAS SOUS 69150 HAS SOUPS 69138 WITH SCORE 69715.086
AT ITER 2948 NEW BEST:: SOT 655245 SOS 577154 HAS SOPS 574784 HAS SOUS 69069 HAS SOUPS 69057 WITH SCORE 69634.154
AT ITER 2994 NEW BEST:: SOT 654712 SOS 576621 HAS SOPS 574251 HAS SOUS 68511 HAS SOUPS 68499 WITH SCORE 69075.621
AT ITER 3032 NEW BEST:: SOT 654732 SOS 576641 HAS SOPS 574271 HAS SOUS 68479 HAS SOUPS 68467 WITH SCORE 69043.641
AT ITER 3050 NEW BEST:: SOT 654505 SOS 576414 HAS SOPS 574044 HAS SOUS 68267 HAS SOUPS 68255 WITH SCORE 68831.414
AT ITER 3062 NEW BEST:: SOT 654601 SOS 576510 HAS SOPS 574140 HAS SOUS 68256 HAS SOUPS 68244 WITH SCORE 68820.51
AT ITER 3076 NEW BEST:: SOT 654573 SOS 576482 HAS SOPS 574112 HAS SOUS 68251 HAS SOUPS 68239 WITH SCORE 68815.482
AT ITER 3088 NEW BEST:: SOT 654588 SOS 576497 HAS SOPS 574127 HAS SOUS 68200 HAS SOUPS 68188 WITH SCORE 68764.497
AT ITER 3090 NEW BEST:: SOT 654588 SOS 576497 HAS SOPS 574127 HAS SOUS 68136 HAS SOUPS 68124 WITH SCORE 68700.497
AT ITER 3093 NEW BEST:: SOT 654689 SOS 576598 HAS SOPS 574228 HAS SOUS 68129 HAS SOUPS 68117 WITH SCORE 68693.598
AT ITER 3118 NEW BEST:: SOT 654709 SOS 576618 HAS SOPS 574248 HAS SOUS 68119 HAS SOUPS 68107 WITH SCORE 68683.618
AT ITER 3142 NEW BEST:: SOT 654701 SOS 576610 HAS SOPS 574240 HAS SOUS 68107 HAS SOUPS 68095 WITH SCORE 68671.61
AT ITER 3158 NEW BEST:: SOT 654581 SOS 576490 HAS SOPS 574120 HAS SOUS 68013 HAS SOUPS 68001 WITH SCORE 68577.49
AT ITER 3175 NEW BEST:: SOT 654421 SOS 576330 HAS SOPS 573960 HAS SOUS 67837 HAS SOUPS 67825 WITH SCORE 68401.33
AT ITER 3181 NEW BEST:: SOT 654357 SOS 576266 HAS SOPS 573896 HAS SOUS 67743 HAS SOUPS 67731 WITH SCORE 68307.266
AT ITER 3187 NEW BEST:: SOT 654139 SOS 576048 HAS SOPS 573678 HAS SOUS 67525 HAS SOUPS 67513 WITH SCORE 68089.048
AT ITER 3191 NEW BEST:: SOT 654055 SOS 575964 HAS SOPS 573594 HAS SOUS 67515 HAS SOUPS 67503 WITH SCORE 68078.964
AT ITER 3215 NEW BEST:: SOT 654015 SOS 575924 HAS SOPS 573554 HAS SOUS 67515 HAS SOUPS 67503 WITH SCORE 68078.924
AT ITER 3263 NEW BEST:: SOT 654003 SOS 575912 HAS SOPS 573542 HAS SOUS 67478 HAS SOUPS 67466 WITH SCORE 68041.912
AT ITER 3266 NEW BEST:: SOT 654003 SOS 575684 HAS SOPS 573314 HAS SOUS 67478 HAS SOUPS 67466 WITH SCORE 68041.684
AT ITER 3281 NEW BEST:: SOT 653881 SOS 575562 HAS SOPS 573192 HAS SOUS 67461 HAS SOUPS 67449 WITH SCORE 68024.562
AT ITER 3292 NEW BEST:: SOT 653915 SOS 575596 HAS SOPS 573226 HAS SOUS 67398 HAS SOUPS 67386 WITH SCORE 67961.596
AT ITER 3334 NEW BEST:: SOT 653983 SOS 575664 HAS SOPS 573294 HAS SOUS 67313 HAS SOUPS 67301 WITH SCORE 67876.664
AT ITER 3353 NEW BEST:: SOT 653400 SOS 575081 HAS SOPS 572711 HAS SOUS 67308 HAS SOUPS 67296 WITH SCORE 67871.081
AT ITER 3359 NEW BEST:: SOT 653382 SOS 575063 HAS SOPS 572693 HAS SOUS 67305 HAS SOUPS 67293 WITH SCORE 67868.063
AT ITER 3372 NEW BEST:: SOT 653394 SOS 575075 HAS SOPS 572705 HAS SOUS 67296 HAS SOUPS 67284 WITH SCORE 67859.075
AT ITER 3375 NEW BEST:: SOT 653310 SOS 574991 HAS SOPS 572621 HAS SOUS 66778 HAS SOUPS 66766 WITH SCORE 67340.991
AT ITER 3382 NEW BEST:: SOT 653232 SOS 574913 HAS SOPS 572543 HAS SOUS 66754 HAS SOUPS 66742 WITH SCORE 67316.913
AT ITER 3404 NEW BEST:: SOT 653123 SOS 574804 HAS SOPS 572434 HAS SOUS 66331 HAS SOUPS 66319 WITH SCORE 66893.804
AT ITER 3422 NEW BEST:: SOT 653038 SOS 574719 HAS SOPS 572349 HAS SOUS 66294 HAS SOUPS 66282 WITH SCORE 66856.719
AT ITER 3423 NEW BEST:: SOT 652704 SOS 574385 HAS SOPS 572015 HAS SOUS 66283 HAS SOUPS 66271 WITH SCORE 66845.385
AT ITER 3435 NEW BEST:: SOT 652576 SOS 574257 HAS SOPS 571887 HAS SOUS 66209 HAS SOUPS 66197 WITH SCORE 66771.257
AT ITER 3471 NEW BEST:: SOT 652806 SOS 574487 HAS SOPS 572117 HAS SOUS 66076 HAS SOUPS 66064 WITH SCORE 66638.487
AT ITER 3484 NEW BEST:: SOT 653029 SOS 574710 HAS SOPS 572340 HAS SOUS 66042 HAS SOUPS 66030 WITH SCORE 66604.71
AT ITER 3492 NEW BEST:: SOT 652967 SOS 574648 HAS SOPS 572278 HAS SOUS 66022 HAS SOUPS 66010 WITH SCORE 66584.648
AT ITER 3525 NEW BEST:: SOT 653331 SOS 575012 HAS SOPS 572642 HAS SOUS 65851 HAS SOUPS 65839 WITH SCORE 66414.012
AT ITER 3547 NEW BEST:: SOT 653315 SOS 574996 HAS SOPS 572626 HAS SOUS 65847 HAS SOUPS 65835 WITH SCORE 66409.996
AT ITER 3554 NEW BEST:: SOT 654097 SOS 575778 HAS SOPS 573408 HAS SOUS 65754 HAS SOUPS 65742 WITH SCORE 66317.778
AT ITER 3576 NEW BEST:: SOT 654073 SOS 575754 HAS SOPS 573384 HAS SOUS 65739 HAS SOUPS 65727 WITH SCORE 66302.754
AT ITER 3590 NEW BEST:: SOT 654057 SOS 575738 HAS SOPS 573368 HAS SOUS 65722 HAS SOUPS 65710 WITH SCORE 66285.738
AT ITER 3649 NEW BEST:: SOT 654074 SOS 575755 HAS SOPS 573385 HAS SOUS 65653 HAS SOUPS 65641 WITH SCORE 66216.755
AT ITER 3671 NEW BEST:: SOT 654074 SOS 575683 HAS SOPS 573301 HAS SOUS 65653 HAS SOUPS 65641 WITH SCORE 66216.683
AT ITER 3692 NEW BEST:: SOT 653998 SOS 575607 HAS SOPS 573225 HAS SOUS 65644 HAS SOUPS 65632 WITH SCORE 66207.607
AT ITER 3703 NEW BEST:: SOT 653998 SOS 575519 HAS SOPS 573137 HAS SOUS 65644 HAS SOUPS 65632 WITH SCORE 66207.519
AT ITER 3714 NEW BEST:: SOT 653745 SOS 575266 HAS SOPS 572884 HAS SOUS 65502 HAS SOUPS 65490 WITH SCORE 66065.266
AT ITER 3718 NEW BEST:: SOT 653778 SOS 575299 HAS SOPS 572917 HAS SOUS 65465 HAS SOUPS 65453 WITH SCORE 66028.299
AT ITER 3731 NEW BEST:: SOT 653778 SOS 575299 HAS SOPS 572917 HAS SOUS 65381 HAS SOUPS 65369 WITH SCORE 65944.299
AT ITER 3738 NEW BEST:: SOT 653580 SOS 575053 HAS SOPS 572663 HAS SOUS 65218 HAS SOUPS 65206 WITH SCORE 65781.053
AT ITER 3750 NEW BEST:: SOT 653485 SOS 574958 HAS SOPS 572568 HAS SOUS 65213 HAS SOUPS 65201 WITH SCORE 65775.958
AT ITER 3772 NEW BEST:: SOT 653199 SOS 574672 HAS SOPS 572282 HAS SOUS 64712 HAS SOUPS 64700 WITH SCORE 65274.672
AT ITER 3783 NEW BEST:: SOT 653187 SOS 574660 HAS SOPS 572270 HAS SOUS 64712 HAS SOUPS 64700 WITH SCORE 65274.66
AT ITER 3785 NEW BEST:: SOT 652018 SOS 573491 HAS SOPS 571101 HAS SOUS 64251 HAS SOUPS 64239 WITH SCORE 64812.491
AT ITER 3788 NEW BEST:: SOT 652039 SOS 573512 HAS SOPS 571122 HAS SOUS 64233 HAS SOUPS 64221 WITH SCORE 64794.512
AT ITER 3803 NEW BEST:: SOT 652083 SOS 573556 HAS SOPS 571166 HAS SOUS 64137 HAS SOUPS 64125 WITH SCORE 64698.556
AT ITER 3816 NEW BEST:: SOT 652083 SOS 573576 HAS SOPS 571166 HAS SOUS 64089 HAS SOUPS 64077 WITH SCORE 64650.576
AT ITER 3818 NEW BEST:: SOT 652172 SOS 573665 HAS SOPS 571255 HAS SOUS 64081 HAS SOUPS 64069 WITH SCORE 64642.665
AT ITER 3832 NEW BEST:: SOT 651650 SOS 573143 HAS SOPS 570733 HAS SOUS 63862 HAS SOUPS 63850 WITH SCORE 64423.143
AT ITER 3837 NEW BEST:: SOT 651509 SOS 573002 HAS SOPS 570592 HAS SOUS 63852 HAS SOUPS 63840 WITH SCORE 64413.002
AT ITER 3907 NEW BEST:: SOT 651392 SOS 572885 HAS SOPS 570475 HAS SOUS 63776 HAS SOUPS 63764 WITH SCORE 64336.885
AT ITER 3912 NEW BEST:: SOT 651274 SOS 572767 HAS SOPS 570357 HAS SOUS 63756 HAS SOUPS 63744 WITH SCORE 64316.767
AT ITER 3954 NEW BEST:: SOT 651274 SOS 572707 HAS SOPS 570297 HAS SOUS 63756 HAS SOUPS 63744 WITH SCORE 64316.707
AT ITER 3965 NEW BEST:: SOT 651274 SOS 572707 HAS SOPS 570297 HAS SOUS 63640 HAS SOUPS 63628 WITH SCORE 64200.707
AT ITER 4028 NEW BEST:: SOT 651274 SOS 572587 HAS SOPS 570177 HAS SOUS 63640 HAS SOUPS 63628 WITH SCORE 64200.587
AT ITER 4068 NEW BEST:: SOT 651106 SOS 572419 HAS SOPS 570009 HAS SOUS 63628 HAS SOUPS 63616 WITH SCORE 64188.419
AT ITER 4072 NEW BEST:: SOT 651098 SOS 572411 HAS SOPS 570001 HAS SOUS 63617 HAS SOUPS 63605 WITH SCORE 64177.411
AT ITER 4073 NEW BEST:: SOT 650687 SOS 572000 HAS SOPS 569590 HAS SOUS 63500 HAS SOUPS 63488 WITH SCORE 64060.0
AT ITER 4078 NEW BEST:: SOT 650675 SOS 571988 HAS SOPS 569578 HAS SOUS 63490 HAS SOUPS 63478 WITH SCORE 64049.988
AT ITER 4098 NEW BEST:: SOT 650663 SOS 571976 HAS SOPS 569566 HAS SOUS 63450 HAS SOUPS 63438 WITH SCORE 64009.976
AT ITER 4116 NEW BEST:: SOT 650687 SOS 572130 HAS SOPS 569854 HAS SOUS 63420 HAS SOUPS 63419 WITH SCORE 63991.13
AT ITER 4119 NEW BEST:: SOT 650708 SOS 572151 HAS SOPS 569875 HAS SOUS 63418 HAS SOUPS 63417 WITH SCORE 63989.151
AT ITER 4122 NEW BEST:: SOT 650675 SOS 572118 HAS SOPS 569842 HAS SOUS 63400 HAS SOUPS 63399 WITH SCORE 63971.118
AT ITER 4143 NEW BEST:: SOT 650675 SOS 572046 HAS SOPS 569758 HAS SOUS 63400 HAS SOUPS 63399 WITH SCORE 63971.046
AT ITER 4168 NEW BEST:: SOT 650671 SOS 572042 HAS SOPS 569754 HAS SOUS 63398 HAS SOUPS 63397 WITH SCORE 63969.042
AT ITER 4208 NEW BEST:: SOT 650619 SOS 571990 HAS SOPS 569702 HAS SOUS 63352 HAS SOUPS 63351 WITH SCORE 63922.99
AT ITER 4223 NEW BEST:: SOT 650733 SOS 572104 HAS SOPS 569816 HAS SOUS 63335 HAS SOUPS 63334 WITH SCORE 63906.104
AT ITER 4235 NEW BEST:: SOT 650793 SOS 572164 HAS SOPS 569876 HAS SOUS 63252 HAS SOUPS 63251 WITH SCORE 63823.164
AT ITER 4251 NEW BEST:: SOT 650537 SOS 571908 HAS SOPS 569620 HAS SOUS 63203 HAS SOUPS 63202 WITH SCORE 63773.908
AT ITER 4264 NEW BEST:: SOT 650537 SOS 571632 HAS SOPS 569332 HAS SOUS 63203 HAS SOUPS 63202 WITH SCORE 63773.632
AT ITER 4274 NEW BEST:: SOT 650483 SOS 571578 HAS SOPS 569278 HAS SOUS 63171 HAS SOUPS 63170 WITH SCORE 63741.578
AT ITER 4292 NEW BEST:: SOT 649932 SOS 571027 HAS SOPS 568727 HAS SOUS 62906 HAS SOUPS 62905 WITH SCORE 63476.027
AT ITER 4313 NEW BEST:: SOT 649913 SOS 571008 HAS SOPS 568708 HAS SOUS 62887 HAS SOUPS 62886 WITH SCORE 63457.008
AT ITER 4358 NEW BEST:: SOT 649805 SOS 570900 HAS SOPS 568600 HAS SOUS 62877 HAS SOUPS 62876 WITH SCORE 63446.9
AT ITER 4359 NEW BEST:: SOT 648520 SOS 569547 HAS SOPS 566883 HAS SOUS 62785 HAS SOUPS 62760 WITH SCORE 63329.547
AT ITER 4370 NEW BEST:: SOT 648398 SOS 569425 HAS SOPS 566761 HAS SOUS 62658 HAS SOUPS 62633 WITH SCORE 63202.425
AT ITER 4379 NEW BEST:: SOT 648414 SOS 569726 HAS SOPS 567065 HAS SOUS 62642 HAS SOUPS 62617 WITH SCORE 63186.726
AT ITER 4384 NEW BEST:: SOT 648322 SOS 569634 HAS SOPS 566973 HAS SOUS 62624 HAS SOUPS 62599 WITH SCORE 63168.634
AT ITER 4389 NEW BEST:: SOT 648547 SOS 569859 HAS SOPS 567198 HAS SOUS 62615 HAS SOUPS 62590 WITH SCORE 63159.859
AT ITER 4393 NEW BEST:: SOT 648556 SOS 569868 HAS SOPS 567207 HAS SOUS 62592 HAS SOUPS 62567 WITH SCORE 63136.868
AT ITER 4406 NEW BEST:: SOT 648452 SOS 569764 HAS SOPS 567103 HAS SOUS 62508 HAS SOUPS 62483 WITH SCORE 63052.764
AT ITER 4437 NEW BEST:: SOT 648418 SOS 569730 HAS SOPS 567069 HAS SOUS 62494 HAS SOUPS 62469 WITH SCORE 63038.73
AT ITER 4444 NEW BEST:: SOT 648302 SOS 569614 HAS SOPS 566953 HAS SOUS 62490 HAS SOUPS 62465 WITH SCORE 63034.614
AT ITER 4461 NEW BEST:: SOT 648288 SOS 569600 HAS SOPS 566939 HAS SOUS 62465 HAS SOUPS 62440 WITH SCORE 63009.6
AT ITER 4509 NEW BEST:: SOT 648156 SOS 569468 HAS SOPS 566807 HAS SOUS 62330 HAS SOUPS 62305 WITH SCORE 62874.468
AT ITER 4515 NEW BEST:: SOT 648023 SOS 569335 HAS SOPS 566674 HAS SOUS 62319 HAS SOUPS 62294 WITH SCORE 62863.335
AT ITER 4520 NEW BEST:: SOT 647678 SOS 568990 HAS SOPS 566329 HAS SOUS 62183 HAS SOUPS 62158 WITH SCORE 62726.99
AT ITER 4532 NEW BEST:: SOT 647602 SOS 568914 HAS SOPS 566253 HAS SOUS 62159 HAS SOUPS 62134 WITH SCORE 62702.914
AT ITER 4538 NEW BEST:: SOT 647520 SOS 568832 HAS SOPS 566171 HAS SOUS 62064 HAS SOUPS 62039 WITH SCORE 62607.832
AT ITER 4581 NEW BEST:: SOT 647511 SOS 568823 HAS SOPS 566162 HAS SOUS 62058 HAS SOUPS 62033 WITH SCORE 62601.823
AT ITER 4601 NEW BEST:: SOT 647268 SOS 568580 HAS SOPS 565919 HAS SOUS 61853 HAS SOUPS 61828 WITH SCORE 62396.58
AT ITER 4624 NEW BEST:: SOT 647262 SOS 568334 HAS SOPS 565769 HAS SOUS 61827 HAS SOUPS 61802 WITH SCORE 62370.334
AT ITER 4625 NEW BEST:: SOT 647455 SOS 568527 HAS SOPS 565962 HAS SOUS 61764 HAS SOUPS 61739 WITH SCORE 62307.527
AT ITER 4640 NEW BEST:: SOT 647353 SOS 568425 HAS SOPS 565860 HAS SOUS 61747 HAS SOUPS 61722 WITH SCORE 62290.425
AT ITER 4643 NEW BEST:: SOT 646807 SOS 567879 HAS SOPS 565314 HAS SOUS 61606 HAS SOUPS 61581 WITH SCORE 62148.879
AT ITER 4657 NEW BEST:: SOT 646819 SOS 567891 HAS SOPS 565326 HAS SOUS 61570 HAS SOUPS 61545 WITH SCORE 62112.891
AT ITER 4675 NEW BEST:: SOT 646287 SOS 567359 HAS SOPS 564794 HAS SOUS 61562 HAS SOUPS 61537 WITH SCORE 62104.359
AT ITER 4686 NEW BEST:: SOT 646279 SOS 567351 HAS SOPS 564786 HAS SOUS 61554 HAS SOUPS 61529 WITH SCORE 62096.351
AT ITER 4696 NEW BEST:: SOT 646261 SOS 567333 HAS SOPS 564768 HAS SOUS 61546 HAS SOUPS 61521 WITH SCORE 62088.333
AT ITER 4721 NEW BEST:: SOT 646234 SOS 567306 HAS SOPS 564741 HAS SOUS 61527 HAS SOUPS 61502 WITH SCORE 62069.306
AT ITER 4727 NEW BEST:: SOT 646234 SOS 567306 HAS SOPS 564741 HAS SOUS 61458 HAS SOUPS 61433 WITH SCORE 62000.306
AT ITER 4748 NEW BEST:: SOT 646234 SOS 566806 HAS SOPS 564221 HAS SOUS 61458 HAS SOUPS 61433 WITH SCORE 61999.806
AT ITER 4758 NEW BEST:: SOT 646234 SOS 566782 HAS SOPS 564197 HAS SOUS 61458 HAS SOUPS 61433 WITH SCORE 61999.782
AT ITER 4769 NEW BEST:: SOT 645879 SOS 566427 HAS SOPS 563842 HAS SOUS 61361 HAS SOUPS 61336 WITH SCORE 61902.427
AT ITER 4845 NEW BEST:: SOT 645915 SOS 566486 HAS SOPS 564166 HAS SOUS 61309 HAS SOUPS 61308 WITH SCORE 61874.486
AT ITER 4847 NEW BEST:: SOT 645920 SOS 566491 HAS SOPS 564171 HAS SOUS 61304 HAS SOUPS 61303 WITH SCORE 61869.491
AT ITER 4872 NEW BEST:: SOT 645920 SOS 566479 HAS SOPS 564147 HAS SOUS 61304 HAS SOUPS 61303 WITH SCORE 61869.479
AT ITER 4877 NEW BEST:: SOT 646056 SOS 566615 HAS SOPS 564283 HAS SOUS 61294 HAS SOUPS 61293 WITH SCORE 61859.615
AT ITER 4896 NEW BEST:: SOT 646143 SOS 566702 HAS SOPS 564370 HAS SOUS 61141 HAS SOUPS 61140 WITH SCORE 61706.702
AT ITER 4904 NEW BEST:: SOT 646148 SOS 566707 HAS SOPS 564375 HAS SOUS 61110 HAS SOUPS 61109 WITH SCORE 61675.707
AT ITER 4912 NEW BEST:: SOT 646127 SOS 566686 HAS SOPS 564354 HAS SOUS 61101 HAS SOUPS 61100 WITH SCORE 61666.686
AT ITER 4918 NEW BEST:: SOT 646127 SOS 566686 HAS SOPS 564354 HAS SOUS 61084 HAS SOUPS 61083 WITH SCORE 61649.686
AT ITER 4987 NEW BEST:: SOT 646081 SOS 566640 HAS SOPS 564308 HAS SOUS 61080 HAS SOUPS 61079 WITH SCORE 61645.64
AT ITER 4989 NEW BEST:: SOT 645847 SOS 566406 HAS SOPS 564074 HAS SOUS 60836 HAS SOUPS 60835 WITH SCORE 61401.406
AT ITER 4996 NEW BEST:: SOT 645745 SOS 566304 HAS SOPS 563972 HAS SOUS 60833 HAS SOUPS 60832 WITH SCORE 61398.304
AT ITER 5083 NEW BEST:: SOT 645703 SOS 566262 HAS SOPS 563930 HAS SOUS 60817 HAS SOUPS 60816 WITH SCORE 61382.262
AT ITER 5107 NEW BEST:: SOT 646042 SOS 566601 HAS SOPS 564269 HAS SOUS 60809 HAS SOUPS 60808 WITH SCORE 61374.601
AT ITER 5198 NEW BEST:: SOT 646027 SOS 566586 HAS SOPS 564254 HAS SOUS 60796 HAS SOUPS 60795 WITH SCORE 61361.586
AT ITER 5289 NEW BEST:: SOT 646126 SOS 566685 HAS SOPS 564353 HAS SOUS 60715 HAS SOUPS 60714 WITH SCORE 61280.685
AT ITER 5349 NEW BEST:: SOT 646116 SOS 566675 HAS SOPS 564343 HAS SOUS 60603 HAS SOUPS 60602 WITH SCORE 61168.675
AT ITER 5355 NEW BEST:: SOT 646116 SOS 566579 HAS SOPS 564247 HAS SOUS 60603 HAS SOUPS 60602 WITH SCORE 61168.579
AT ITER 5360 NEW BEST:: SOT 646116 SOS 566579 HAS SOPS 564247 HAS SOUS 60581 HAS SOUPS 60580 WITH SCORE 61146.579
AT ITER 5367 NEW BEST:: SOT 646106 SOS 566569 HAS SOPS 564237 HAS SOUS 60566 HAS SOUPS 60565 WITH SCORE 61131.569
AT ITER 5391 NEW BEST:: SOT 645946 SOS 566409 HAS SOPS 564077 HAS SOUS 60377 HAS SOUPS 60376 WITH SCORE 60942.409
AT ITER 5409 NEW BEST:: SOT 645934 SOS 566397 HAS SOPS 564065 HAS SOUS 60377 HAS SOUPS 60376 WITH SCORE 60942.397
AT ITER 5411 NEW BEST:: SOT 646003 SOS 566466 HAS SOPS 564134 HAS SOUS 60375 HAS SOUPS 60374 WITH SCORE 60940.466
AT ITER 5487 NEW BEST:: SOT 645874 SOS 566337 HAS SOPS 564005 HAS SOUS 60351 HAS SOUPS 60350 WITH SCORE 60916.337
AT ITER 5500 NEW BEST:: SOT 645841 SOS 566304 HAS SOPS 563972 HAS SOUS 60333 HAS SOUPS 60332 WITH SCORE 60898.304
AT ITER 5522 NEW BEST:: SOT 645379 SOS 565842 HAS SOPS 563510 HAS SOUS 60078 HAS SOUPS 60077 WITH SCORE 60642.842
AT ITER 5542 NEW BEST:: SOT 645372 SOS 565835 HAS SOPS 563503 HAS SOUS 60075 HAS SOUPS 60074 WITH SCORE 60639.835
AT ITER 5560 NEW BEST:: SOT 645368 SOS 565831 HAS SOPS 563499 HAS SOUS 60059 HAS SOUPS 60058 WITH SCORE 60623.831
AT ITER 5575 NEW BEST:: SOT 645316 SOS 565779 HAS SOPS 563447 HAS SOUS 60022 HAS SOUPS 60021 WITH SCORE 60586.779
AT ITER 5589 NEW BEST:: SOT 645284 SOS 565747 HAS SOPS 563415 HAS SOUS 60002 HAS SOUPS 60001 WITH SCORE 60566.747
AT ITER 5594 NEW BEST:: SOT 645224 SOS 565687 HAS SOPS 563355 HAS SOUS 59784 HAS SOUPS 59783 WITH SCORE 60348.687
AT ITER 5620 NEW BEST:: SOT 645476 SOS 565939 HAS SOPS 563607 HAS SOUS 59649 HAS SOUPS 59648 WITH SCORE 60213.939
AT ITER 5623 NEW BEST:: SOT 645476 SOS 565879 HAS SOPS 563535 HAS SOUS 59649 HAS SOUPS 59648 WITH SCORE 60213.879
AT ITER 5647 NEW BEST:: SOT 645398 SOS 565801 HAS SOPS 563457 HAS SOUS 59641 HAS SOUPS 59640 WITH SCORE 60205.801
AT ITER 5691 NEW BEST:: SOT 645562 SOS 565965 HAS SOPS 563621 HAS SOUS 59583 HAS SOUPS 59582 WITH SCORE 60147.965
AT ITER 5694 NEW BEST:: SOT 644898 SOS 565301 HAS SOPS 562957 HAS SOUS 59557 HAS SOUPS 59556 WITH SCORE 60121.301
AT ITER 5700 NEW BEST:: SOT 644820 SOS 565223 HAS SOPS 562879 HAS SOUS 59484 HAS SOUPS 59483 WITH SCORE 60048.223
AT ITER 5729 NEW BEST:: SOT 644792 SOS 565195 HAS SOPS 562851 HAS SOUS 59442 HAS SOUPS 59441 WITH SCORE 60006.195
AT ITER 5741 NEW BEST:: SOT 644745 SOS 565148 HAS SOPS 562804 HAS SOUS 59265 HAS SOUPS 59264 WITH SCORE 59829.148
AT ITER 5773 NEW BEST:: SOT 644815 SOS 565218 HAS SOPS 562874 HAS SOUS 59153 HAS SOUPS 59152 WITH SCORE 59717.218
AT ITER 5786 NEW BEST:: SOT 644697 SOS 565100 HAS SOPS 562756 HAS SOUS 59151 HAS SOUPS 59150 WITH SCORE 59715.1
AT ITER 5810 NEW BEST:: SOT 643242 SOS 563645 HAS SOPS 561301 HAS SOUS 59136 HAS SOUPS 59135 WITH SCORE 59698.645
AT ITER 5836 NEW BEST:: SOT 643381 SOS 563784 HAS SOPS 561440 HAS SOUS 59130 HAS SOUPS 59129 WITH SCORE 59692.784
AT ITER 5845 NEW BEST:: SOT 643390 SOS 563793 HAS SOPS 561449 HAS SOUS 59118 HAS SOUPS 59117 WITH SCORE 59680.793
AT ITER 5860 NEW BEST:: SOT 643360 SOS 563763 HAS SOPS 561419 HAS SOUS 59103 HAS SOUPS 59102 WITH SCORE 59665.763
AT ITER 5868 NEW BEST:: SOT 643332 SOS 563735 HAS SOPS 561391 HAS SOUS 59056 HAS SOUPS 59055 WITH SCORE 59618.735
AT ITER 5875 NEW BEST:: SOT 643298 SOS 563701 HAS SOPS 561357 HAS SOUS 59048 HAS SOUPS 59047 WITH SCORE 59610.701
AT ITER 5968 NEW BEST:: SOT 643332 SOS 563735 HAS SOPS 561391 HAS SOUS 58952 HAS SOUPS 58951 WITH SCORE 59514.735
AT ITER 5972 NEW BEST:: SOT 643283 SOS 563686 HAS SOPS 561342 HAS SOUS 58931 HAS SOUPS 58930 WITH SCORE 59493.686
AT ITER 6004 NEW BEST:: SOT 643237 SOS 563640 HAS SOPS 561296 HAS SOUS 58920 HAS SOUPS 58919 WITH SCORE 59482.64
AT ITER 6005 NEW BEST:: SOT 643237 SOS 563460 HAS SOPS 561104 HAS SOUS 58920 HAS SOUPS 58919 WITH SCORE 59482.46
AT ITER 6014 NEW BEST:: SOT 643237 SOS 563428 HAS SOPS 561072 HAS SOUS 58920 HAS SOUPS 58919 WITH SCORE 59482.428
AT ITER 6016 NEW BEST:: SOT 643006 SOS 563197 HAS SOPS 560841 HAS SOUS 58875 HAS SOUPS 58874 WITH SCORE 59437.197
AT ITER 6055 NEW BEST:: SOT 643006 SOS 563197 HAS SOPS 560841 HAS SOUS 58863 HAS SOUPS 58862 WITH SCORE 59425.197
AT ITER 6079 NEW BEST:: SOT 643006 SOS 563173 HAS SOPS 560817 HAS SOUS 58863 HAS SOUPS 58862 WITH SCORE 59425.173
AT ITER 6091 NEW BEST:: SOT 642599 SOS 562766 HAS SOPS 560410 HAS SOUS 58807 HAS SOUPS 58806 WITH SCORE 59368.766
AT ITER 6103 NEW BEST:: SOT 642599 SOS 562946 HAS SOPS 560602 HAS SOUS 58711 HAS SOUPS 58710 WITH SCORE 59272.946
AT ITER 6119 NEW BEST:: SOT 642723 SOS 563070 HAS SOPS 560726 HAS SOUS 58633 HAS SOUPS 58632 WITH SCORE 59195.07
AT ITER 6160 NEW BEST:: SOT 641309 SOS 561656 HAS SOPS 559312 HAS SOUS 58514 HAS SOUPS 58513 WITH SCORE 59074.656
AT ITER 6168 NEW BEST:: SOT 641149 SOS 561496 HAS SOPS 559152 HAS SOUS 58500 HAS SOUPS 58499 WITH SCORE 59060.496
AT ITER 6217 NEW BEST:: SOT 641027 SOS 561374 HAS SOPS 559030 HAS SOUS 58402 HAS SOUPS 58401 WITH SCORE 58962.374
AT ITER 6231 NEW BEST:: SOT 641069 SOS 561416 HAS SOPS 559072 HAS SOUS 58381 HAS SOUPS 58380 WITH SCORE 58941.416
AT ITER 6234 NEW BEST:: SOT 641051 SOS 561398 HAS SOPS 559054 HAS SOUS 58368 HAS SOUPS 58367 WITH SCORE 58928.398
AT ITER 6247 NEW BEST:: SOT 641311 SOS 561658 HAS SOPS 559314 HAS SOUS 58328 HAS SOUPS 58327 WITH SCORE 58888.658
AT ITER 6258 NEW BEST:: SOT 641321 SOS 561668 HAS SOPS 559324 HAS SOUS 58298 HAS SOUPS 58297 WITH SCORE 58858.668
AT ITER 6265 NEW BEST:: SOT 641321 SOS 561668 HAS SOPS 559324 HAS SOUS 58293 HAS SOUPS 58292 WITH SCORE 58853.668
AT ITER 6287 NEW BEST:: SOT 641429 SOS 561776 HAS SOPS 559432 HAS SOUS 58212 HAS SOUPS 58211 WITH SCORE 58772.776
AT ITER 6323 NEW BEST:: SOT 641499 SOS 561846 HAS SOPS 559502 HAS SOUS 58197 HAS SOUPS 58196 WITH SCORE 58757.846
AT ITER 6360 NEW BEST:: SOT 641524 SOS 561871 HAS SOPS 559527 HAS SOUS 58190 HAS SOUPS 58189 WITH SCORE 58750.871
AT ITER 6361 NEW BEST:: SOT 641714 SOS 562061 HAS SOPS 559717 HAS SOUS 58049 HAS SOUPS 58048 WITH SCORE 58610.061
AT ITER 6423 NEW BEST:: SOT 641784 SOS 562131 HAS SOPS 559787 HAS SOUS 58010 HAS SOUPS 58009 WITH SCORE 58571.131
AT ITER 6426 NEW BEST:: SOT 641790 SOS 562137 HAS SOPS 559793 HAS SOUS 57997 HAS SOUPS 57996 WITH SCORE 58558.137
AT ITER 6434 NEW BEST:: SOT 641878 SOS 562225 HAS SOPS 559881 HAS SOUS 57960 HAS SOUPS 57959 WITH SCORE 58521.225
AT ITER 6479 NEW BEST:: SOT 641980 SOS 562327 HAS SOPS 559983 HAS SOUS 57908 HAS SOUPS 57907 WITH SCORE 58469.327
AT ITER 6498 NEW BEST:: SOT 641980 SOS 562327 HAS SOPS 559983 HAS SOUS 57892 HAS SOUPS 57891 WITH SCORE 58453.327
AT ITER 6513 NEW BEST:: SOT 641731 SOS 562078 HAS SOPS 559734 HAS SOUS 57863 HAS SOUPS 57862 WITH SCORE 58424.078
AT ITER 6543 NEW BEST:: SOT 642303 SOS 562650 HAS SOPS 560306 HAS SOUS 57624 HAS SOUPS 57623 WITH SCORE 58185.65
AT ITER 6557 NEW BEST:: SOT 642278 SOS 562625 HAS SOPS 560281 HAS SOUS 57619 HAS SOUPS 57618 WITH SCORE 58180.625
AT ITER 6565 NEW BEST:: SOT 642290 SOS 562637 HAS SOPS 560293 HAS SOUS 57617 HAS SOUPS 57616 WITH SCORE 58178.637
AT ITER 6623 NEW BEST:: SOT 642290 SOS 562637 HAS SOPS 560293 HAS SOUS 57613 HAS SOUPS 57612 WITH SCORE 58174.637
AT ITER 6672 NEW BEST:: SOT 642341 SOS 562688 HAS SOPS 560344 HAS SOUS 57586 HAS SOUPS 57585 WITH SCORE 58147.688
AT ITER 6724 NEW BEST:: SOT 642656 SOS 563003 HAS SOPS 560659 HAS SOUS 57513 HAS SOUPS 57512 WITH SCORE 58075.003
AT ITER 6753 NEW BEST:: SOT 642656 SOS 562979 HAS SOPS 560635 HAS SOUS 57513 HAS SOUPS 57512 WITH SCORE 58074.979
AT ITER 6768 NEW BEST:: SOT 642656 SOS 562819 HAS SOPS 560467 HAS SOUS 57513 HAS SOUPS 57512 WITH SCORE 58074.819
AT ITER 6785 NEW BEST:: SOT 642898 SOS 563061 HAS SOPS 560709 HAS SOUS 57507 HAS SOUPS 57506 WITH SCORE 58069.061
AT ITER 6814 NEW BEST:: SOT 642774 SOS 562937 HAS SOPS 560585 HAS SOUS 57446 HAS SOUPS 57445 WITH SCORE 58007.937
AT ITER 6850 NEW BEST:: SOT 642877 SOS 563040 HAS SOPS 560688 HAS SOUS 57215 HAS SOUPS 57214 WITH SCORE 57777.04
AT ITER 6870 NEW BEST:: SOT 642877 SOS 563040 HAS SOPS 560688 HAS SOUS 57207 HAS SOUPS 57206 WITH SCORE 57769.04
AT ITER 6882 NEW BEST:: SOT 642882 SOS 563045 HAS SOPS 560693 HAS SOUS 57206 HAS SOUPS 57205 WITH SCORE 57768.045
AT ITER 6884 NEW BEST:: SOT 642876 SOS 563039 HAS SOPS 560687 HAS SOUS 57170 HAS SOUPS 57169 WITH SCORE 57732.039
AT ITER 6888 NEW BEST:: SOT 642700 SOS 562863 HAS SOPS 560511 HAS SOUS 57038 HAS SOUPS 57037 WITH SCORE 57599.863
AT ITER 6894 NEW BEST:: SOT 642658 SOS 562821 HAS SOPS 560469 HAS SOUS 56975 HAS SOUPS 56974 WITH SCORE 57536.821
AT ITER 6897 NEW BEST:: SOT 642650 SOS 562813 HAS SOPS 560461 HAS SOUS 56969 HAS SOUPS 56968 WITH SCORE 57530.813
AT ITER 6906 NEW BEST:: SOT 642696 SOS 562859 HAS SOPS 560507 HAS SOUS 56965 HAS SOUPS 56964 WITH SCORE 57526.859
AT ITER 6919 NEW BEST:: SOT 642672 SOS 562835 HAS SOPS 560483 HAS SOUS 56951 HAS SOUPS 56950 WITH SCORE 57512.835
AT ITER 6935 NEW BEST:: SOT 642672 SOS 562715 HAS SOPS 560363 HAS SOUS 56951 HAS SOUPS 56950 WITH SCORE 57512.715
AT ITER 6939 NEW BEST:: SOT 642672 SOS 562715 HAS SOPS 560363 HAS SOUS 56915 HAS SOUPS 56914 WITH SCORE 57476.715
AT ITER 6952 NEW BEST:: SOT 642514 SOS 562557 HAS SOPS 560205 HAS SOUS 56903 HAS SOUPS 56902 WITH SCORE 57464.557
AT ITER 6994 NEW BEST:: SOT 642162 SOS 562205 HAS SOPS 559853 HAS SOUS 56748 HAS SOUPS 56747 WITH SCORE 57309.205
AT ITER 7002 NEW BEST:: SOT 642162 SOS 562205 HAS SOPS 559853 HAS SOUS 56518 HAS SOUPS 56517 WITH SCORE 57079.205
AT ITER 7010 NEW BEST:: SOT 642241 SOS 562284 HAS SOPS 559932 HAS SOUS 56505 HAS SOUPS 56504 WITH SCORE 57066.284
AT ITER 7029 NEW BEST:: SOT 642381 SOS 562424 HAS SOPS 560072 HAS SOUS 56457 HAS SOUPS 56456 WITH SCORE 57018.424
AT ITER 7076 NEW BEST:: SOT 642381 SOS 562424 HAS SOPS 560072 HAS SOUS 56443 HAS SOUPS 56442 WITH SCORE 57004.424
AT ITER 7086 NEW BEST:: SOT 642381 SOS 562208 HAS SOPS 559844 HAS SOUS 56443 HAS SOUPS 56442 WITH SCORE 57004.208
AT ITER 7088 NEW BEST:: SOT 642351 SOS 562178 HAS SOPS 559814 HAS SOUS 56310 HAS SOUPS 56309 WITH SCORE 56871.178
AT ITER 7100 NEW BEST:: SOT 642265 SOS 562092 HAS SOPS 559728 HAS SOUS 56289 HAS SOUPS 56288 WITH SCORE 56850.092
AT ITER 7141 NEW BEST:: SOT 642140 SOS 561967 HAS SOPS 559603 HAS SOUS 56196 HAS SOUPS 56195 WITH SCORE 56756.967
AT ITER 7149 NEW BEST:: SOT 642052 SOS 561879 HAS SOPS 559515 HAS SOUS 56152 HAS SOUPS 56151 WITH SCORE 56712.879
AT ITER 7267 NEW BEST:: SOT 641962 SOS 561789 HAS SOPS 559425 HAS SOUS 56144 HAS SOUPS 56143 WITH SCORE 56704.789
AT ITER 7303 NEW BEST:: SOT 641928 SOS 561755 HAS SOPS 559391 HAS SOUS 56129 HAS SOUPS 56128 WITH SCORE 56689.755
AT ITER 7314 NEW BEST:: SOT 641904 SOS 561731 HAS SOPS 559367 HAS SOUS 56102 HAS SOUPS 56101 WITH SCORE 56662.731
AT ITER 7325 NEW BEST:: SOT 641904 SOS 561731 HAS SOPS 559367 HAS SOUS 55986 HAS SOUPS 55985 WITH SCORE 56546.731
AT ITER 7347 NEW BEST:: SOT 641501 SOS 561328 HAS SOPS 558964 HAS SOUS 55827 HAS SOUPS 55826 WITH SCORE 56387.328
AT ITER 7391 NEW BEST:: SOT 641479 SOS 561306 HAS SOPS 558942 HAS SOUS 55815 HAS SOUPS 55814 WITH SCORE 56375.306
AT ITER 7456 NEW BEST:: SOT 641477 SOS 561304 HAS SOPS 558940 HAS SOUS 55809 HAS SOUPS 55808 WITH SCORE 56369.304
AT ITER 7470 NEW BEST:: SOT 641249 SOS 561076 HAS SOPS 558712 HAS SOUS 55638 HAS SOUPS 55637 WITH SCORE 56198.076
AT ITER 7513 NEW BEST:: SOT 641167 SOS 560994 HAS SOPS 558630 HAS SOUS 55552 HAS SOUPS 55551 WITH SCORE 56111.994
AT ITER 7549 NEW BEST:: SOT 641167 SOS 560994 HAS SOPS 558630 HAS SOUS 55549 HAS SOUPS 55548 WITH SCORE 56108.994
AT ITER 7561 NEW BEST:: SOT 641161 SOS 560988 HAS SOPS 558624 HAS SOUS 55530 HAS SOUPS 55529 WITH SCORE 56089.988
AT ITER 7569 NEW BEST:: SOT 641181 SOS 561008 HAS SOPS 558644 HAS SOUS 55480 HAS SOUPS 55479 WITH SCORE 56040.008
AT ITER 7601 NEW BEST:: SOT 641112 SOS 560939 HAS SOPS 558575 HAS SOUS 55393 HAS SOUPS 55392 WITH SCORE 55952.939
AT ITER 7607 NEW BEST:: SOT 641107 SOS 560934 HAS SOPS 558570 HAS SOUS 55392 HAS SOUPS 55391 WITH SCORE 55951.934
AT ITER 7618 NEW BEST:: SOT 641007 SOS 560834 HAS SOPS 558470 HAS SOUS 55358 HAS SOUPS 55357 WITH SCORE 55917.834
AT ITER 7688 NEW BEST:: SOT 640586 SOS 560413 HAS SOPS 558049 HAS SOUS 54964 HAS SOUPS 54963 WITH SCORE 55523.413
AT ITER 7701 NEW BEST:: SOT 640394 SOS 560221 HAS SOPS 557857 HAS SOUS 54837 HAS SOUPS 54836 WITH SCORE 55396.221
AT ITER 7704 NEW BEST:: SOT 640206 SOS 560033 HAS SOPS 557669 HAS SOUS 54475 HAS SOUPS 54474 WITH SCORE 55034.033
AT ITER 7719 NEW BEST:: SOT 640191 SOS 560018 HAS SOPS 557654 HAS SOUS 54474 HAS SOUPS 54473 WITH SCORE 55033.018
AT ITER 7746 NEW BEST:: SOT 640145 SOS 559972 HAS SOPS 557608 HAS SOUS 54462 HAS SOUPS 54461 WITH SCORE 55020.972
AT ITER 7747 NEW BEST:: SOT 640145 SOS 559948 HAS SOPS 557572 HAS SOUS 54462 HAS SOUPS 54461 WITH SCORE 55020.948
AT ITER 7822 NEW BEST:: SOT 639955 SOS 559758 HAS SOPS 557382 HAS SOUS 54339 HAS SOUPS 54338 WITH SCORE 54897.758
AT ITER 7849 NEW BEST:: SOT 639919 SOS 559722 HAS SOPS 557346 HAS SOUS 54305 HAS SOUPS 54304 WITH SCORE 54863.722
AT ITER 7874 NEW BEST:: SOT 639904 SOS 559707 HAS SOPS 557331 HAS SOUS 54297 HAS SOUPS 54296 WITH SCORE 54855.707
AT ITER 7928 NEW BEST:: SOT 639888 SOS 559691 HAS SOPS 557315 HAS SOUS 54293 HAS SOUPS 54292 WITH SCORE 54851.691
AT ITER 7968 NEW BEST:: SOT 639897 SOS 559700 HAS SOPS 557324 HAS SOUS 54290 HAS SOUPS 54289 WITH SCORE 54848.7
AT ITER 7990 NEW BEST:: SOT 639459 SOS 559262 HAS SOPS 556886 HAS SOUS 54282 HAS SOUPS 54281 WITH SCORE 54840.262
AT ITER 7997 NEW BEST:: SOT 639475 SOS 559278 HAS SOPS 556902 HAS SOUS 54258 HAS SOUPS 54257 WITH SCORE 54816.278
AT ITER 8023 NEW BEST:: SOT 640102 SOS 559905 HAS SOPS 557529 HAS SOUS 54157 HAS SOUPS 54156 WITH SCORE 54715.905
AT ITER 8064 NEW BEST:: SOT 639958 SOS 559761 HAS SOPS 557385 HAS SOUS 54136 HAS SOUPS 54135 WITH SCORE 54694.761
AT ITER 8115 NEW BEST:: SOT 639614 SOS 559417 HAS SOPS 557041 HAS SOUS 54087 HAS SOUPS 54086 WITH SCORE 54645.417
AT ITER 8127 NEW BEST:: SOT 639614 SOS 559417 HAS SOPS 557041 HAS SOUS 54079 HAS SOUPS 54078 WITH SCORE 54637.417
AT ITER 8138 NEW BEST:: SOT 639654 SOS 559457 HAS SOPS 557081 HAS SOUS 54055 HAS SOUPS 54054 WITH SCORE 54613.457
AT ITER 8201 NEW BEST:: SOT 639642 SOS 559445 HAS SOPS 557069 HAS SOUS 54042 HAS SOUPS 54041 WITH SCORE 54600.445
AT ITER 8263 NEW BEST:: SOT 639485 SOS 559288 HAS SOPS 556912 HAS SOUS 53780 HAS SOUPS 53779 WITH SCORE 54338.288
AT ITER 8278 NEW BEST:: SOT 639185 SOS 558988 HAS SOPS 556612 HAS SOUS 53725 HAS SOUPS 53724 WITH SCORE 54282.988
AT ITER 8293 NEW BEST:: SOT 639048 SOS 558851 HAS SOPS 556475 HAS SOUS 53706 HAS SOUPS 53705 WITH SCORE 54263.851
AT ITER 8326 NEW BEST:: SOT 639009 SOS 558812 HAS SOPS 556436 HAS SOUS 53698 HAS SOUPS 53697 WITH SCORE 54255.812
AT ITER 8345 NEW BEST:: SOT 638969 SOS 558772 HAS SOPS 556396 HAS SOUS 53688 HAS SOUPS 53687 WITH SCORE 54245.772
AT ITER 8357 NEW BEST:: SOT 638533 SOS 558336 HAS SOPS 555960 HAS SOUS 53652 HAS SOUPS 53651 WITH SCORE 54209.336
AT ITER 8370 NEW BEST:: SOT 638293 SOS 558096 HAS SOPS 555720 HAS SOUS 53641 HAS SOUPS 53640 WITH SCORE 54198.096
AT ITER 8395 NEW BEST:: SOT 638265 SOS 558068 HAS SOPS 555692 HAS SOUS 53640 HAS SOUPS 53639 WITH SCORE 54197.068
AT ITER 8452 NEW BEST:: SOT 638211 SOS 558014 HAS SOPS 555638 HAS SOUS 53638 HAS SOUPS 53637 WITH SCORE 54195.014
AT ITER 8478 NEW BEST:: SOT 638211 SOS 558014 HAS SOPS 555638 HAS SOUS 53458 HAS SOUPS 53457 WITH SCORE 54015.014
AT ITER 8480 NEW BEST:: SOT 638143 SOS 557946 HAS SOPS 555570 HAS SOUS 53448 HAS SOUPS 53447 WITH SCORE 54004.946
AT ITER 8562 NEW BEST:: SOT 638218 SOS 558021 HAS SOPS 555645 HAS SOUS 53407 HAS SOUPS 53406 WITH SCORE 53964.021
AT ITER 8620 NEW BEST:: SOT 637807 SOS 557610 HAS SOPS 555234 HAS SOUS 53376 HAS SOUPS 53375 WITH SCORE 53932.61
AT ITER 8639 NEW BEST:: SOT 637719 SOS 557474 HAS SOPS 555086 HAS SOUS 53161 HAS SOUPS 53160 WITH SCORE 53717.474
AT ITER 8651 NEW BEST:: SOT 637553 SOS 557308 HAS SOPS 554920 HAS SOUS 53122 HAS SOUPS 53121 WITH SCORE 53678.308
AT ITER 8660 NEW BEST:: SOT 637596 SOS 557351 HAS SOPS 554963 HAS SOUS 53119 HAS SOUPS 53118 WITH SCORE 53675.351
AT ITER 8745 NEW BEST:: SOT 637566 SOS 557321 HAS SOPS 554933 HAS SOUS 53110 HAS SOUPS 53109 WITH SCORE 53666.321
AT ITER 8804 NEW BEST:: SOT 637446 SOS 557201 HAS SOPS 554813 HAS SOUS 53086 HAS SOUPS 53085 WITH SCORE 53642.201
AT ITER 8809 NEW BEST:: SOT 637338 SOS 557093 HAS SOPS 554705 HAS SOUS 53013 HAS SOUPS 53012 WITH SCORE 53569.093
AT ITER 8826 NEW BEST:: SOT 637338 SOS 557093 HAS SOPS 554705 HAS SOUS 53012 HAS SOUPS 53011 WITH SCORE 53568.093
AT ITER 8834 NEW BEST:: SOT 637310 SOS 557065 HAS SOPS 554677 HAS SOUS 52969 HAS SOUPS 52968 WITH SCORE 53525.065
AT ITER 8837 NEW BEST:: SOT 637098 SOS 556853 HAS SOPS 554465 HAS SOUS 52874 HAS SOUPS 52873 WITH SCORE 53429.853
AT ITER 8852 NEW BEST:: SOT 637098 SOS 556853 HAS SOPS 554465 HAS SOUS 52862 HAS SOUPS 52861 WITH SCORE 53417.853
AT ITER 8866 NEW BEST:: SOT 637069 SOS 556824 HAS SOPS 554436 HAS SOUS 52862 HAS SOUPS 52861 WITH SCORE 53417.824
AT ITER 8867 NEW BEST:: SOT 637069 SOS 556764 HAS SOPS 554376 HAS SOUS 52862 HAS SOUPS 52861 WITH SCORE 53417.764
AT ITER 8898 NEW BEST:: SOT 636882 SOS 556577 HAS SOPS 554189 HAS SOUS 52841 HAS SOUPS 52840 WITH SCORE 53396.577
AT ITER 8930 NEW BEST:: SOT 636856 SOS 556551 HAS SOPS 554163 HAS SOUS 52839 HAS SOUPS 52838 WITH SCORE 53394.551
AT ITER 8935 NEW BEST:: SOT 636843 SOS 556538 HAS SOPS 554150 HAS SOUS 52839 HAS SOUPS 52838 WITH SCORE 53394.538
AT ITER 9008 NEW BEST:: SOT 636732 SOS 556427 HAS SOPS 554039 HAS SOUS 52784 HAS SOUPS 52783 WITH SCORE 53339.427
AT ITER 9063 NEW BEST:: SOT 636632 SOS 556327 HAS SOPS 553939 HAS SOUS 52672 HAS SOUPS 52671 WITH SCORE 53227.327
AT ITER 9077 NEW BEST:: SOT 636673 SOS 556368 HAS SOPS 553980 HAS SOUS 52653 HAS SOUPS 52652 WITH SCORE 53208.368
AT ITER 9085 NEW BEST:: SOT 636543 SOS 556238 HAS SOPS 553850 HAS SOUS 52526 HAS SOUPS 52525 WITH SCORE 53081.238
AT ITER 9095 NEW BEST:: SOT 636201 SOS 555896 HAS SOPS 553508 HAS SOUS 52463 HAS SOUPS 52462 WITH SCORE 53017.896
AT ITER 9096 NEW BEST:: SOT 636031 SOS 555726 HAS SOPS 553338 HAS SOUS 52373 HAS SOUPS 52372 WITH SCORE 52927.726
AT ITER 9136 NEW BEST:: SOT 635817 SOS 555512 HAS SOPS 553124 HAS SOUS 52288 HAS SOUPS 52287 WITH SCORE 52842.512
AT ITER 9163 NEW BEST:: SOT 635804 SOS 555499 HAS SOPS 553111 HAS SOUS 52266 HAS SOUPS 52265 WITH SCORE 52820.499
AT ITER 9175 NEW BEST:: SOT 635744 SOS 555439 HAS SOPS 553051 HAS SOUS 52252 HAS SOUPS 52251 WITH SCORE 52806.439
AT ITER 9240 NEW BEST:: SOT 635653 SOS 555348 HAS SOPS 552960 HAS SOUS 52239 HAS SOUPS 52238 WITH SCORE 52793.348
AT ITER 9249 NEW BEST:: SOT 635658 SOS 555353 HAS SOPS 552965 HAS SOUS 52219 HAS SOUPS 52218 WITH SCORE 52773.353
AT ITER 9266 NEW BEST:: SOT 635650 SOS 555345 HAS SOPS 552957 HAS SOUS 52204 HAS SOUPS 52203 WITH SCORE 52758.345
AT ITER 9270 NEW BEST:: SOT 635606 SOS 555301 HAS SOPS 552913 HAS SOUS 52194 HAS SOUPS 52193 WITH SCORE 52748.301
AT ITER 9283 NEW BEST:: SOT 635468 SOS 555163 HAS SOPS 552775 HAS SOUS 52166 HAS SOUPS 52165 WITH SCORE 52720.163
AT ITER 9284 NEW BEST:: SOT 635498 SOS 555193 HAS SOPS 552805 HAS SOUS 52158 HAS SOUPS 52157 WITH SCORE 52712.193
AT ITER 9302 NEW BEST:: SOT 635479 SOS 555174 HAS SOPS 552786 HAS SOUS 52079 HAS SOUPS 52078 WITH SCORE 52633.174
AT ITER 9315 NEW BEST:: SOT 635452 SOS 555147 HAS SOPS 552759 HAS SOUS 52070 HAS SOUPS 52069 WITH SCORE 52624.147
AT ITER 9350 NEW BEST:: SOT 634982 SOS 554677 HAS SOPS 552289 HAS SOUS 52012 HAS SOUPS 52011 WITH SCORE 52565.677
AT ITER 9355 NEW BEST:: SOT 635004 SOS 554699 HAS SOPS 552311 HAS SOUS 52007 HAS SOUPS 52006 WITH SCORE 52560.699
AT ITER 9420 NEW BEST:: SOT 634940 SOS 554635 HAS SOPS 552247 HAS SOUS 51975 HAS SOUPS 51974 WITH SCORE 52528.635
AT ITER 9427 NEW BEST:: SOT 634858 SOS 554553 HAS SOPS 552165 HAS SOUS 51967 HAS SOUPS 51966 WITH SCORE 52520.553
AT ITER 9448 NEW BEST:: SOT 634757 SOS 554452 HAS SOPS 552064 HAS SOUS 51833 HAS SOUPS 51832 WITH SCORE 52386.452
AT ITER 9524 NEW BEST:: SOT 634741 SOS 554436 HAS SOPS 552048 HAS SOUS 51790 HAS SOUPS 51789 WITH SCORE 52343.436
AT ITER 9561 NEW BEST:: SOT 634552 SOS 554247 HAS SOPS 551859 HAS SOUS 51710 HAS SOUPS 51709 WITH SCORE 52263.247
AT ITER 9601 NEW BEST:: SOT 634342 SOS 554037 HAS SOPS 551649 HAS SOUS 51510 HAS SOUPS 51509 WITH SCORE 52063.037
AT ITER 9614 NEW BEST:: SOT 633865 SOS 553560 HAS SOPS 551172 HAS SOUS 51333 HAS SOUPS 51332 WITH SCORE 51885.56
AT ITER 9630 NEW BEST:: SOT 633898 SOS 553593 HAS SOPS 551205 HAS SOUS 51327 HAS SOUPS 51326 WITH SCORE 51879.593
AT ITER 9674 NEW BEST:: SOT 633595 SOS 553290 HAS SOPS 550902 HAS SOUS 51209 HAS SOUPS 51208 WITH SCORE 51761.29
AT ITER 9718 NEW BEST:: SOT 633205 SOS 552900 HAS SOPS 550512 HAS SOUS 51036 HAS SOUPS 51035 WITH SCORE 51587.9
AT ITER 9763 NEW BEST:: SOT 632885 SOS 552580 HAS SOPS 550192 HAS SOUS 50730 HAS SOUPS 50729 WITH SCORE 51281.58
AT ITER 9780 NEW BEST:: SOT 632714 SOS 552409 HAS SOPS 550021 HAS SOUS 50615 HAS SOUPS 50614 WITH SCORE 51166.409
AT ITER 9808 NEW BEST:: SOT 632774 SOS 552469 HAS SOPS 550081 HAS SOUS 50220 HAS SOUPS 50219 WITH SCORE 50771.469
AT ITER 9819 NEW BEST:: SOT 632880 SOS 552575 HAS SOPS 550187 HAS SOUS 50209 HAS SOUPS 50208 WITH SCORE 50760.575
AT ITER 9833 NEW BEST:: SOT 632902 SOS 552597 HAS SOPS 550209 HAS SOUS 50176 HAS SOUPS 50175 WITH SCORE 50727.597
AT ITER 9842 NEW BEST:: SOT 632808 SOS 552503 HAS SOPS 550115 HAS SOUS 50114 HAS SOUPS 50113 WITH SCORE 50665.503
AT ITER 9853 NEW BEST:: SOT 632732 SOS 552427 HAS SOPS 550039 HAS SOUS 50109 HAS SOUPS 50108 WITH SCORE 50660.427
AT ITER 9880 NEW BEST:: SOT 632753 SOS 552448 HAS SOPS 550060 HAS SOUS 50008 HAS SOUPS 50007 WITH SCORE 50559.448
AT ITER 9910 NEW BEST:: SOT 632746 SOS 552441 HAS SOPS 550053 HAS SOUS 49993 HAS SOUPS 49992 WITH SCORE 50544.441
AT ITER 9996 NEW BEST:: SOT 632491 SOS 552186 HAS SOPS 549798 HAS SOUS 49849 HAS SOUPS 49848 WITH SCORE 50400.186

BK_STOP 1678778391635

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 369 Killed ${SMART}/smart ${INPUT_SM}

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="PhaseVariation-PT-D10CS100"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is PhaseVariation-PT-D10CS100, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873942400048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PhaseVariation-PT-D10CS100.tgz
mv PhaseVariation-PT-D10CS100 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;