About the Execution of Smart for BusinessProcesses-PT-11
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
776.111 | 3600000.00 | 3600039.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688300536.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688300536
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 7.6K Feb 25 16:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 16:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 16:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 141K Mar 5 18:22 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 1678469960274
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=BusinessProcesses-PT-11
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 11
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: 567 places, 508 transitions, 1512 arcs.
AT ITER 0 NEW BEST:: SOT 183845 SOS 71447 HAS SOPS 71447 HAS SOUS 69467 HAS SOUPS 69467 WITH SCORE 69538.447
AT ITER 10 NEW BEST:: SOT 183842 SOS 71444 HAS SOPS 71444 HAS SOUS 69464 HAS SOUPS 69464 WITH SCORE 69535.444
AT ITER 12 NEW BEST:: SOT 183842 SOS 71350 HAS SOPS 71350 HAS SOUS 69458 HAS SOUPS 69458 WITH SCORE 69529.35
AT ITER 15 NEW BEST:: SOT 183963 SOS 71310 HAS SOPS 71310 HAS SOUS 69418 HAS SOUPS 69418 WITH SCORE 69489.31
AT ITER 24 NEW BEST:: SOT 183936 SOS 71283 HAS SOPS 71283 HAS SOUS 69391 HAS SOUPS 69391 WITH SCORE 69462.283
AT ITER 25 NEW BEST:: SOT 183782 SOS 71129 HAS SOPS 71129 HAS SOUS 69237 HAS SOUPS 69237 WITH SCORE 69308.129
AT ITER 31 NEW BEST:: SOT 183774 SOS 71126 HAS SOPS 71126 HAS SOUS 69234 HAS SOUPS 69234 WITH SCORE 69305.126
AT ITER 39 NEW BEST:: SOT 183774 SOS 71106 HAS SOPS 71106 HAS SOUS 69214 HAS SOUPS 69214 WITH SCORE 69285.106
AT ITER 40 NEW BEST:: SOT 183774 SOS 71088 HAS SOPS 71088 HAS SOUS 69196 HAS SOUPS 69196 WITH SCORE 69267.088
AT ITER 43 NEW BEST:: SOT 183773 SOS 71082 HAS SOPS 71082 HAS SOUS 69190 HAS SOUPS 69190 WITH SCORE 69261.082
AT ITER 63 NEW BEST:: SOT 183674 SOS 70862 HAS SOPS 70862 HAS SOUS 68970 HAS SOUPS 68970 WITH SCORE 69040.862
AT ITER 65 NEW BEST:: SOT 183674 SOS 70562 HAS SOPS 70562 HAS SOUS 68918 HAS SOUPS 68918 WITH SCORE 68988.562
AT ITER 67 NEW BEST:: SOT 183674 SOS 70532 HAS SOPS 70532 HAS SOUS 68888 HAS SOUPS 68888 WITH SCORE 68958.532
AT ITER 81 NEW BEST:: SOT 183745 SOS 70490 HAS SOPS 70490 HAS SOUS 68846 HAS SOUPS 68846 WITH SCORE 68916.49
AT ITER 84 NEW BEST:: SOT 183745 SOS 70416 HAS SOPS 70416 HAS SOUS 68772 HAS SOUPS 68772 WITH SCORE 68842.416
AT ITER 92 NEW BEST:: SOT 183606 SOS 70254 HAS SOPS 70254 HAS SOUS 68610 HAS SOUPS 68610 WITH SCORE 68680.254
AT ITER 120 NEW BEST:: SOT 183501 SOS 70135 HAS SOPS 70135 HAS SOUS 68491 HAS SOUPS 68491 WITH SCORE 68561.135
AT ITER 126 NEW BEST:: SOT 183466 SOS 70099 HAS SOPS 70099 HAS SOUS 68455 HAS SOUPS 68455 WITH SCORE 68525.099
AT ITER 135 NEW BEST:: SOT 183364 SOS 70023 HAS SOPS 70023 HAS SOUS 68379 HAS SOUPS 68379 WITH SCORE 68449.023
AT ITER 153 NEW BEST:: SOT 183409 SOS 69977 HAS SOPS 69977 HAS SOUS 68333 HAS SOUPS 68333 WITH SCORE 68402.977
AT ITER 158 NEW BEST:: SOT 183359 SOS 69927 HAS SOPS 69927 HAS SOUS 68283 HAS SOUPS 68283 WITH SCORE 68352.927
AT ITER 168 NEW BEST:: SOT 181904 SOS 68569 HAS SOPS 68569 HAS SOUS 66828 HAS SOUPS 66828 WITH SCORE 66896.569
AT ITER 171 NEW BEST:: SOT 181904 SOS 68557 HAS SOPS 68557 HAS SOUS 66816 HAS SOUPS 66816 WITH SCORE 66884.557
AT ITER 185 NEW BEST:: SOT 181902 SOS 68344 HAS SOPS 68344 HAS SOUS 66603 HAS SOUPS 66603 WITH SCORE 66671.344
AT ITER 188 NEW BEST:: SOT 181710 SOS 68062 HAS SOPS 68062 HAS SOUS 66399 HAS SOUPS 66399 WITH SCORE 66467.062
AT ITER 192 NEW BEST:: SOT 181755 SOS 67989 HAS SOPS 67989 HAS SOUS 66326 HAS SOUPS 66326 WITH SCORE 66393.989
AT ITER 198 NEW BEST:: SOT 181693 SOS 67896 HAS SOPS 67896 HAS SOUS 66233 HAS SOUPS 66233 WITH SCORE 66300.896
AT ITER 202 NEW BEST:: SOT 181860 SOS 68054 HAS SOPS 68054 HAS SOUS 66227 HAS SOUPS 66227 WITH SCORE 66295.054
AT ITER 204 NEW BEST:: SOT 181859 SOS 67985 HAS SOPS 67985 HAS SOUS 66158 HAS SOUPS 66158 WITH SCORE 66225.985
AT ITER 208 NEW BEST:: SOT 181843 SOS 67965 HAS SOPS 67965 HAS SOUS 66138 HAS SOUPS 66138 WITH SCORE 66205.965
AT ITER 209 NEW BEST:: SOT 181796 SOS 67930 HAS SOPS 67930 HAS SOUS 66103 HAS SOUPS 66103 WITH SCORE 66170.93
AT ITER 212 NEW BEST:: SOT 181715 SOS 67852 HAS SOPS 67852 HAS SOUS 66025 HAS SOUPS 66025 WITH SCORE 66092.852
AT ITER 221 NEW BEST:: SOT 181660 SOS 67792 HAS SOPS 67792 HAS SOUS 65965 HAS SOUPS 65965 WITH SCORE 66032.792
AT ITER 230 NEW BEST:: SOT 181660 SOS 67705 HAS SOPS 67705 HAS SOUS 65878 HAS SOUPS 65878 WITH SCORE 65945.705
AT ITER 234 NEW BEST:: SOT 181694 SOS 67691 HAS SOPS 67691 HAS SOUS 65864 HAS SOUPS 65864 WITH SCORE 65931.691
AT ITER 241 NEW BEST:: SOT 181694 SOS 67577 HAS SOPS 67577 HAS SOUS 65750 HAS SOUPS 65750 WITH SCORE 65817.577
AT ITER 264 NEW BEST:: SOT 181684 SOS 67547 HAS SOPS 67547 HAS SOUS 65720 HAS SOUPS 65720 WITH SCORE 65787.547
AT ITER 269 NEW BEST:: SOT 181610 SOS 67510 HAS SOPS 67510 HAS SOUS 65683 HAS SOUPS 65683 WITH SCORE 65750.51
AT ITER 273 NEW BEST:: SOT 181610 SOS 67382 HAS SOPS 67382 HAS SOUS 65555 HAS SOUPS 65555 WITH SCORE 65622.382
AT ITER 274 NEW BEST:: SOT 181581 SOS 67352 HAS SOPS 67352 HAS SOUS 65525 HAS SOUPS 65525 WITH SCORE 65592.352
AT ITER 279 NEW BEST:: SOT 181667 SOS 67318 HAS SOPS 67318 HAS SOUS 65491 HAS SOUPS 65491 WITH SCORE 65558.318
AT ITER 294 NEW BEST:: SOT 181632 SOS 67221 HAS SOPS 67221 HAS SOUS 65394 HAS SOUPS 65394 WITH SCORE 65461.221
AT ITER 296 NEW BEST:: SOT 181629 SOS 67218 HAS SOPS 67218 HAS SOUS 65391 HAS SOUPS 65391 WITH SCORE 65458.218
AT ITER 297 NEW BEST:: SOT 181598 SOS 67189 HAS SOPS 67189 HAS SOUS 65362 HAS SOUPS 65362 WITH SCORE 65429.189
AT ITER 299 NEW BEST:: SOT 181569 SOS 67158 HAS SOPS 67158 HAS SOUS 65331 HAS SOUPS 65331 WITH SCORE 65398.158
AT ITER 309 NEW BEST:: SOT 181536 SOS 67114 HAS SOPS 67114 HAS SOUS 65292 HAS SOUPS 65292 WITH SCORE 65359.114
AT ITER 312 NEW BEST:: SOT 181464 SOS 67115 HAS SOPS 67115 HAS SOUS 65220 HAS SOUPS 65220 WITH SCORE 65287.115
AT ITER 315 NEW BEST:: SOT 181464 SOS 67101 HAS SOPS 67101 HAS SOUS 65206 HAS SOUPS 65206 WITH SCORE 65273.101
AT ITER 323 NEW BEST:: SOT 181511 SOS 67077 HAS SOPS 67077 HAS SOUS 65182 HAS SOUPS 65182 WITH SCORE 65249.077
AT ITER 329 NEW BEST:: SOT 181417 SOS 66841 HAS SOPS 66841 HAS SOUS 64946 HAS SOUPS 64946 WITH SCORE 65012.841
AT ITER 331 NEW BEST:: SOT 181417 SOS 66833 HAS SOPS 66833 HAS SOUS 64938 HAS SOUPS 64938 WITH SCORE 65004.833
AT ITER 332 NEW BEST:: SOT 181418 SOS 66829 HAS SOPS 66829 HAS SOUS 64901 HAS SOUPS 64901 WITH SCORE 64967.829
AT ITER 336 NEW BEST:: SOT 181321 SOS 66732 HAS SOPS 66732 HAS SOUS 64804 HAS SOUPS 64804 WITH SCORE 64870.732
AT ITER 343 NEW BEST:: SOT 181321 SOS 66579 HAS SOPS 66579 HAS SOUS 64724 HAS SOUPS 64724 WITH SCORE 64790.579
AT ITER 357 NEW BEST:: SOT 181321 SOS 66579 HAS SOPS 66579 HAS SOUS 64723 HAS SOUPS 64723 WITH SCORE 64789.579
AT ITER 359 NEW BEST:: SOT 181249 SOS 66528 HAS SOPS 66528 HAS SOUS 64672 HAS SOUPS 64672 WITH SCORE 64738.528
AT ITER 363 NEW BEST:: SOT 181249 SOS 66523 HAS SOPS 66523 HAS SOUS 64667 HAS SOUPS 64667 WITH SCORE 64733.523
AT ITER 364 NEW BEST:: SOT 181082 SOS 66395 HAS SOPS 66395 HAS SOUS 64539 HAS SOUPS 64539 WITH SCORE 64605.395
AT ITER 391 NEW BEST:: SOT 180913 SOS 66226 HAS SOPS 66226 HAS SOUS 64370 HAS SOUPS 64370 WITH SCORE 64436.226
AT ITER 394 NEW BEST:: SOT 180702 SOS 66036 HAS SOPS 66036 HAS SOUS 64180 HAS SOUPS 64180 WITH SCORE 64246.036
AT ITER 397 NEW BEST:: SOT 180709 SOS 66034 HAS SOPS 66034 HAS SOUS 64178 HAS SOUPS 64178 WITH SCORE 64244.034
AT ITER 404 NEW BEST:: SOT 180635 SOS 65886 HAS SOPS 65886 HAS SOUS 64030 HAS SOUPS 64030 WITH SCORE 64095.886
AT ITER 409 NEW BEST:: SOT 180635 SOS 65871 HAS SOPS 65871 HAS SOUS 64015 HAS SOUPS 64015 WITH SCORE 64080.871
AT ITER 420 NEW BEST:: SOT 180652 SOS 65841 HAS SOPS 65841 HAS SOUS 63985 HAS SOUPS 63985 WITH SCORE 64050.841
AT ITER 423 NEW BEST:: SOT 180650 SOS 65839 HAS SOPS 65839 HAS SOUS 63983 HAS SOUPS 63983 WITH SCORE 64048.839
AT ITER 425 NEW BEST:: SOT 177459 SOS 63157 HAS SOPS 63157 HAS SOUS 61001 HAS SOUPS 61001 WITH SCORE 61064.157
AT ITER 434 NEW BEST:: SOT 177415 SOS 63025 HAS SOPS 63025 HAS SOUS 60869 HAS SOUPS 60869 WITH SCORE 60932.025
AT ITER 439 NEW BEST:: SOT 175434 SOS 61072 HAS SOPS 61072 HAS SOUS 58916 HAS SOUPS 58916 WITH SCORE 58977.072
AT ITER 456 NEW BEST:: SOT 175434 SOS 61040 HAS SOPS 61040 HAS SOUS 58884 HAS SOUPS 58884 WITH SCORE 58945.04
AT ITER 461 NEW BEST:: SOT 175472 SOS 61039 HAS SOPS 61039 HAS SOUS 58883 HAS SOUPS 58883 WITH SCORE 58944.039
AT ITER 463 NEW BEST:: SOT 175444 SOS 61029 HAS SOPS 61029 HAS SOUS 58873 HAS SOUPS 58873 WITH SCORE 58934.029
AT ITER 472 NEW BEST:: SOT 175410 SOS 60953 HAS SOPS 60953 HAS SOUS 58814 HAS SOUPS 58814 WITH SCORE 58874.953
AT ITER 479 NEW BEST:: SOT 172199 SOS 72932 HAS SOPS 72932 HAS SOUS 56015 HAS SOUPS 56015 WITH SCORE 56087.932
AT ITER 487 NEW BEST:: SOT 172044 SOS 72622 HAS SOPS 72622 HAS SOUS 55837 HAS SOUPS 55837 WITH SCORE 55909.622
AT ITER 495 NEW BEST:: SOT 171761 SOS 71990 HAS SOPS 71990 HAS SOUS 55672 HAS SOUPS 55672 WITH SCORE 55743.99
AT ITER 503 NEW BEST:: SOT 171742 SOS 71996 HAS SOPS 71996 HAS SOUS 55653 HAS SOUPS 55653 WITH SCORE 55724.996
AT ITER 504 NEW BEST:: SOT 171550 SOS 71527 HAS SOPS 71527 HAS SOUS 55447 HAS SOUPS 55447 WITH SCORE 55518.527
AT ITER 529 NEW BEST:: SOT 171439 SOS 71367 HAS SOPS 71367 HAS SOUS 55287 HAS SOUPS 55287 WITH SCORE 55358.367
AT ITER 540 NEW BEST:: SOT 171245 SOS 70987 HAS SOPS 70987 HAS SOUS 55172 HAS SOUPS 55172 WITH SCORE 55242.987
AT ITER 543 NEW BEST:: SOT 171169 SOS 70835 HAS SOPS 70835 HAS SOUS 55063 HAS SOUPS 55063 WITH SCORE 55133.835
AT ITER 557 NEW BEST:: SOT 171092 SOS 70681 HAS SOPS 70681 HAS SOUS 55043 HAS SOUPS 55043 WITH SCORE 55113.681
AT ITER 559 NEW BEST:: SOT 171039 SOS 70673 HAS SOPS 70673 HAS SOUS 55035 HAS SOUPS 55035 WITH SCORE 55105.673
AT ITER 566 NEW BEST:: SOT 171038 SOS 70665 HAS SOPS 70665 HAS SOUS 55027 HAS SOUPS 55027 WITH SCORE 55097.665
AT ITER 573 NEW BEST:: SOT 171038 SOS 70662 HAS SOPS 70662 HAS SOUS 55025 HAS SOUPS 55025 WITH SCORE 55095.662
AT ITER 575 NEW BEST:: SOT 171038 SOS 70778 HAS SOPS 70778 HAS SOUS 55024 HAS SOUPS 55024 WITH SCORE 55094.778
AT ITER 580 NEW BEST:: SOT 171038 SOS 70778 HAS SOPS 70778 HAS SOUS 54992 HAS SOUPS 54992 WITH SCORE 55062.778
AT ITER 588 NEW BEST:: SOT 171038 SOS 70778 HAS SOPS 70778 HAS SOUS 54914 HAS SOUPS 54914 WITH SCORE 54984.778
AT ITER 598 NEW BEST:: SOT 171023 SOS 70763 HAS SOPS 70763 HAS SOUS 54899 HAS SOUPS 54899 WITH SCORE 54969.763
AT ITER 602 NEW BEST:: SOT 171043 SOS 70783 HAS SOPS 70783 HAS SOUS 54880 HAS SOUPS 54880 WITH SCORE 54950.783
AT ITER 604 NEW BEST:: SOT 171038 SOS 70777 HAS SOPS 70777 HAS SOUS 54878 HAS SOUPS 54878 WITH SCORE 54948.777
AT ITER 612 NEW BEST:: SOT 170874 SOS 70613 HAS SOPS 70613 HAS SOUS 54878 HAS SOUPS 54878 WITH SCORE 54948.613
AT ITER 616 NEW BEST:: SOT 170870 SOS 70609 HAS SOPS 70609 HAS SOUS 54874 HAS SOUPS 54874 WITH SCORE 54944.609
AT ITER 622 NEW BEST:: SOT 170864 SOS 70602 HAS SOPS 70602 HAS SOUS 54867 HAS SOUPS 54867 WITH SCORE 54937.602
AT ITER 644 NEW BEST:: SOT 169958 SOS 69780 HAS SOPS 69780 HAS SOUS 54104 HAS SOUPS 54104 WITH SCORE 54173.78
AT ITER 650 NEW BEST:: SOT 169918 SOS 69740 HAS SOPS 69740 HAS SOUS 54084 HAS SOUPS 54084 WITH SCORE 54153.74
AT ITER 661 NEW BEST:: SOT 169897 SOS 69677 HAS SOPS 69677 HAS SOUS 54042 HAS SOUPS 54042 WITH SCORE 54111.677
AT ITER 669 NEW BEST:: SOT 169897 SOS 69672 HAS SOPS 69672 HAS SOUS 54037 HAS SOUPS 54037 WITH SCORE 54106.672
AT ITER 681 NEW BEST:: SOT 169733 SOS 69533 HAS SOPS 69533 HAS SOUS 53898 HAS SOUPS 53898 WITH SCORE 53967.533
AT ITER 690 NEW BEST:: SOT 169712 SOS 69512 HAS SOPS 69512 HAS SOUS 53877 HAS SOUPS 53877 WITH SCORE 53946.512
AT ITER 696 NEW BEST:: SOT 169663 SOS 69292 HAS SOPS 69292 HAS SOUS 53657 HAS SOUPS 53657 WITH SCORE 53726.292
AT ITER 705 NEW BEST:: SOT 169570 SOS 69038 HAS SOPS 69038 HAS SOUS 53540 HAS SOUPS 53540 WITH SCORE 53609.038
AT ITER 723 NEW BEST:: SOT 169570 SOS 69038 HAS SOPS 69038 HAS SOUS 53538 HAS SOUPS 53538 WITH SCORE 53607.038
AT ITER 738 NEW BEST:: SOT 169618 SOS 69036 HAS SOPS 69036 HAS SOUS 53536 HAS SOUPS 53536 WITH SCORE 53605.036
AT ITER 742 NEW BEST:: SOT 169519 SOS 68904 HAS SOPS 68904 HAS SOUS 53437 HAS SOUPS 53437 WITH SCORE 53505.904
AT ITER 745 NEW BEST:: SOT 169490 SOS 68854 HAS SOPS 68854 HAS SOUS 53387 HAS SOUPS 53387 WITH SCORE 53455.854
AT ITER 750 NEW BEST:: SOT 169490 SOS 68851 HAS SOPS 68851 HAS SOUS 53384 HAS SOUPS 53384 WITH SCORE 53452.851
AT ITER 753 NEW BEST:: SOT 169489 SOS 68695 HAS SOPS 68695 HAS SOUS 53263 HAS SOUPS 53263 WITH SCORE 53331.695
AT ITER 764 NEW BEST:: SOT 169434 SOS 68457 HAS SOPS 68457 HAS SOUS 53054 HAS SOUPS 53054 WITH SCORE 53122.457
AT ITER 769 NEW BEST:: SOT 169399 SOS 68473 HAS SOPS 68473 HAS SOUS 52977 HAS SOUPS 52977 WITH SCORE 53045.473
AT ITER 770 NEW BEST:: SOT 169398 SOS 68471 HAS SOPS 68471 HAS SOUS 52975 HAS SOUPS 52975 WITH SCORE 53043.471
AT ITER 771 NEW BEST:: SOT 169397 SOS 68307 HAS SOPS 68307 HAS SOUS 52852 HAS SOUPS 52852 WITH SCORE 52920.307
AT ITER 776 NEW BEST:: SOT 169397 SOS 68101 HAS SOPS 68101 HAS SOUS 52757 HAS SOUPS 52757 WITH SCORE 52825.101
AT ITER 777 NEW BEST:: SOT 169321 SOS 68030 HAS SOPS 68030 HAS SOUS 52686 HAS SOUPS 52686 WITH SCORE 52754.03
AT ITER 782 NEW BEST:: SOT 169287 SOS 67881 HAS SOPS 67881 HAS SOUS 52583 HAS SOUPS 52583 WITH SCORE 52650.881
AT ITER 801 NEW BEST:: SOT 169258 SOS 67825 HAS SOPS 67825 HAS SOUS 52527 HAS SOUPS 52527 WITH SCORE 52594.825
AT ITER 810 NEW BEST:: SOT 169223 SOS 67755 HAS SOPS 67755 HAS SOUS 52524 HAS SOUPS 52524 WITH SCORE 52591.755
AT ITER 824 NEW BEST:: SOT 169223 SOS 67676 HAS SOPS 67676 HAS SOUS 52456 HAS SOUPS 52456 WITH SCORE 52523.676
AT ITER 836 NEW BEST:: SOT 169223 SOS 67629 HAS SOPS 67629 HAS SOUS 52409 HAS SOUPS 52409 WITH SCORE 52476.629
AT ITER 842 NEW BEST:: SOT 169181 SOS 67532 HAS SOPS 67532 HAS SOUS 52387 HAS SOUPS 52387 WITH SCORE 52454.532
AT ITER 845 NEW BEST:: SOT 169014 SOS 67198 HAS SOPS 67198 HAS SOUS 52053 HAS SOUPS 52053 WITH SCORE 52120.198
AT ITER 852 NEW BEST:: SOT 168997 SOS 67181 HAS SOPS 67181 HAS SOUS 52036 HAS SOUPS 52036 WITH SCORE 52103.181
AT ITER 859 NEW BEST:: SOT 168871 SOS 67076 HAS SOPS 67076 HAS SOUS 52026 HAS SOUPS 52026 WITH SCORE 52093.076
AT ITER 862 NEW BEST:: SOT 168783 SOS 66900 HAS SOPS 66900 HAS SOUS 51850 HAS SOUPS 51850 WITH SCORE 51916.9
AT ITER 880 NEW BEST:: SOT 168783 SOS 66849 HAS SOPS 66849 HAS SOUS 51748 HAS SOUPS 51748 WITH SCORE 51814.849
AT ITER 899 NEW BEST:: SOT 168762 SOS 66740 HAS SOPS 66740 HAS SOUS 51688 HAS SOUPS 51688 WITH SCORE 51754.74
AT ITER 902 NEW BEST:: SOT 168791 SOS 66769 HAS SOPS 66769 HAS SOUS 51651 HAS SOUPS 51651 WITH SCORE 51717.769
AT ITER 905 NEW BEST:: SOT 168711 SOS 66649 HAS SOPS 66649 HAS SOUS 51571 HAS SOUPS 51571 WITH SCORE 51637.649
AT ITER 920 NEW BEST:: SOT 168757 SOS 66657 HAS SOPS 66657 HAS SOUS 51495 HAS SOUPS 51495 WITH SCORE 51561.657
AT ITER 924 NEW BEST:: SOT 168731 SOS 66612 HAS SOPS 66612 HAS SOUS 51450 HAS SOUPS 51450 WITH SCORE 51516.612
AT ITER 941 NEW BEST:: SOT 168690 SOS 66570 HAS SOPS 66570 HAS SOUS 51408 HAS SOUPS 51408 WITH SCORE 51474.57
AT ITER 945 NEW BEST:: SOT 168683 SOS 66563 HAS SOPS 66563 HAS SOUS 51407 HAS SOUPS 51407 WITH SCORE 51473.563
AT ITER 950 NEW BEST:: SOT 168807 SOS 66378 HAS SOPS 66378 HAS SOUS 51385 HAS SOUPS 51385 WITH SCORE 51451.378
AT ITER 952 NEW BEST:: SOT 168759 SOS 66156 HAS SOPS 66156 HAS SOUS 51163 HAS SOUPS 51163 WITH SCORE 51229.156
AT ITER 962 NEW BEST:: SOT 168800 SOS 66104 HAS SOPS 66104 HAS SOUS 51111 HAS SOUPS 51111 WITH SCORE 51177.104
AT ITER 968 NEW BEST:: SOT 168800 SOS 66102 HAS SOPS 66102 HAS SOUS 51109 HAS SOUPS 51109 WITH SCORE 51175.102
AT ITER 972 NEW BEST:: SOT 166499 SOS 63783 HAS SOPS 63783 HAS SOUS 48995 HAS SOUPS 48995 WITH SCORE 49058.783
AT ITER 980 NEW BEST:: SOT 166499 SOS 63665 HAS SOPS 63665 HAS SOUS 48940 HAS SOUPS 48940 WITH SCORE 49003.665
AT ITER 981 NEW BEST:: SOT 166593 SOS 63679 HAS SOPS 63679 HAS SOUS 48860 HAS SOUPS 48860 WITH SCORE 48923.679
AT ITER 1003 NEW BEST:: SOT 166387 SOS 63497 HAS SOPS 63497 HAS SOUS 48678 HAS SOUPS 48678 WITH SCORE 48741.497
AT ITER 1016 NEW BEST:: SOT 166407 SOS 63477 HAS SOPS 63477 HAS SOUS 48658 HAS SOUPS 48658 WITH SCORE 48721.477
AT ITER 1022 NEW BEST:: SOT 166295 SOS 63271 HAS SOPS 63271 HAS SOUS 48452 HAS SOUPS 48452 WITH SCORE 48515.271
AT ITER 1023 NEW BEST:: SOT 166312 SOS 63270 HAS SOPS 63270 HAS SOUS 48451 HAS SOUPS 48451 WITH SCORE 48514.27
AT ITER 1025 NEW BEST:: SOT 166230 SOS 63126 HAS SOPS 63126 HAS SOUS 48423 HAS SOUPS 48423 WITH SCORE 48486.126
AT ITER 1035 NEW BEST:: SOT 166229 SOS 63124 HAS SOPS 63124 HAS SOUS 48421 HAS SOUPS 48421 WITH SCORE 48484.124
AT ITER 1042 NEW BEST:: SOT 166196 SOS 63124 HAS SOPS 63124 HAS SOUS 48388 HAS SOUPS 48388 WITH SCORE 48451.124
AT ITER 1048 NEW BEST:: SOT 166132 SOS 63002 HAS SOPS 63002 HAS SOUS 48380 HAS SOUPS 48380 WITH SCORE 48443.002
AT ITER 1055 NEW BEST:: SOT 166161 SOS 62973 HAS SOPS 62973 HAS SOUS 48351 HAS SOUPS 48351 WITH SCORE 48413.973
AT ITER 1064 NEW BEST:: SOT 165410 SOS 62473 HAS SOPS 62473 HAS SOUS 47956 HAS SOUPS 47956 WITH SCORE 48018.473
AT ITER 1071 NEW BEST:: SOT 165487 SOS 62550 HAS SOPS 62550 HAS SOUS 47915 HAS SOUPS 47915 WITH SCORE 47977.55
AT ITER 1073 NEW BEST:: SOT 165486 SOS 62549 HAS SOPS 62549 HAS SOUS 47914 HAS SOUPS 47914 WITH SCORE 47976.549
AT ITER 1074 NEW BEST:: SOT 165368 SOS 62313 HAS SOPS 62313 HAS SOUS 47768 HAS SOUPS 47768 WITH SCORE 47830.313
AT ITER 1077 NEW BEST:: SOT 165368 SOS 62009 HAS SOPS 62009 HAS SOUS 47768 HAS SOUPS 47768 WITH SCORE 47830.009
AT ITER 1093 NEW BEST:: SOT 164616 SOS 62282 HAS SOPS 62282 HAS SOUS 47262 HAS SOUPS 47262 WITH SCORE 47324.282
AT ITER 1095 NEW BEST:: SOT 164544 SOS 62238 HAS SOPS 62238 HAS SOUS 47218 HAS SOUPS 47218 WITH SCORE 47280.238
AT ITER 1118 NEW BEST:: SOT 164457 SOS 61730 HAS SOPS 61730 HAS SOUS 46804 HAS SOUPS 46804 WITH SCORE 46865.73
AT ITER 1122 NEW BEST:: SOT 164377 SOS 61690 HAS SOPS 61690 HAS SOUS 46709 HAS SOUPS 46709 WITH SCORE 46770.69
AT ITER 1129 NEW BEST:: SOT 164250 SOS 61554 HAS SOPS 61554 HAS SOUS 46692 HAS SOUPS 46692 WITH SCORE 46753.554
AT ITER 1134 NEW BEST:: SOT 164149 SOS 61220 HAS SOPS 61220 HAS SOUS 46685 HAS SOUPS 46685 WITH SCORE 46746.22
AT ITER 1138 NEW BEST:: SOT 164146 SOS 61217 HAS SOPS 61217 HAS SOUS 46682 HAS SOUPS 46682 WITH SCORE 46743.217
AT ITER 1140 NEW BEST:: SOT 164143 SOS 61246 HAS SOPS 61246 HAS SOUS 46678 HAS SOUPS 46678 WITH SCORE 46739.246
AT ITER 1143 NEW BEST:: SOT 164105 SOS 61125 HAS SOPS 61125 HAS SOUS 46557 HAS SOUPS 46557 WITH SCORE 46618.125
AT ITER 1146 NEW BEST:: SOT 164003 SOS 60910 HAS SOPS 60910 HAS SOUS 46454 HAS SOUPS 46454 WITH SCORE 46514.91
AT ITER 1157 NEW BEST:: SOT 163937 SOS 60844 HAS SOPS 60844 HAS SOUS 46310 HAS SOUPS 46310 WITH SCORE 46370.844
AT ITER 1159 NEW BEST:: SOT 163927 SOS 60767 HAS SOPS 60767 HAS SOUS 46290 HAS SOUPS 46290 WITH SCORE 46350.767
AT ITER 1163 NEW BEST:: SOT 163821 SOS 60661 HAS SOPS 60661 HAS SOUS 46184 HAS SOUPS 46184 WITH SCORE 46244.661
AT ITER 1164 NEW BEST:: SOT 163822 SOS 60651 HAS SOPS 60651 HAS SOUS 46174 HAS SOUPS 46174 WITH SCORE 46234.651
AT ITER 1165 NEW BEST:: SOT 163764 SOS 60542 HAS SOPS 60542 HAS SOUS 46065 HAS SOUPS 46065 WITH SCORE 46125.542
AT ITER 1166 NEW BEST:: SOT 163734 SOS 60482 HAS SOPS 60482 HAS SOUS 46005 HAS SOUPS 46005 WITH SCORE 46065.482
AT ITER 1167 NEW BEST:: SOT 163713 SOS 60460 HAS SOPS 60460 HAS SOUS 45983 HAS SOUPS 45983 WITH SCORE 46043.46
AT ITER 1175 NEW BEST:: SOT 163663 SOS 60438 HAS SOPS 60438 HAS SOUS 45976 HAS SOUPS 45976 WITH SCORE 46036.438
AT ITER 1181 NEW BEST:: SOT 163763 SOS 60464 HAS SOPS 60464 HAS SOUS 45936 HAS SOUPS 45936 WITH SCORE 45996.464
AT ITER 1185 NEW BEST:: SOT 163720 SOS 60376 HAS SOPS 60376 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 45980.376
AT ITER 1206 NEW BEST:: SOT 163720 SOS 60354 HAS SOPS 60354 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 45980.354
AT ITER 1219 NEW BEST:: SOT 163749 SOS 60347 HAS SOPS 60347 HAS SOUS 45913 HAS SOUPS 45913 WITH SCORE 45973.347
AT ITER 1251 NEW BEST:: SOT 163739 SOS 60340 HAS SOPS 60340 HAS SOUS 45906 HAS SOUPS 45906 WITH SCORE 45966.34
AT ITER 1268 NEW BEST:: SOT 163784 SOS 60346 HAS SOPS 60346 HAS SOUS 45890 HAS SOUPS 45890 WITH SCORE 45950.346
AT ITER 1286 NEW BEST:: SOT 163751 SOS 60334 HAS SOPS 60334 HAS SOUS 45878 HAS SOUPS 45878 WITH SCORE 45938.334
AT ITER 1302 NEW BEST:: SOT 163741 SOS 60314 HAS SOPS 60314 HAS SOUS 45858 HAS SOUPS 45858 WITH SCORE 45918.314
AT ITER 1313 NEW BEST:: SOT 163611 SOS 60127 HAS SOPS 60127 HAS SOUS 45671 HAS SOUPS 45671 WITH SCORE 45731.127
AT ITER 1315 NEW BEST:: SOT 163611 SOS 60125 HAS SOPS 60125 HAS SOUS 45660 HAS SOUPS 45660 WITH SCORE 45720.125
AT ITER 1316 NEW BEST:: SOT 163611 SOS 60116 HAS SOPS 60116 HAS SOUS 45660 HAS SOUPS 45660 WITH SCORE 45720.116
AT ITER 1325 NEW BEST:: SOT 163594 SOS 60099 HAS SOPS 60099 HAS SOUS 45643 HAS SOUPS 45643 WITH SCORE 45703.099
AT ITER 1330 NEW BEST:: SOT 163592 SOS 60093 HAS SOPS 60093 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45697.093
AT ITER 1345 NEW BEST:: SOT 163580 SOS 60069 HAS SOPS 60069 HAS SOUS 45625 HAS SOUPS 45625 WITH SCORE 45685.069
AT ITER 1349 NEW BEST:: SOT 163580 SOS 60069 HAS SOPS 60069 HAS SOUS 45599 HAS SOUPS 45599 WITH SCORE 45659.069
AT ITER 1362 NEW BEST:: SOT 163510 SOS 59912 HAS SOPS 59912 HAS SOUS 45496 HAS SOUPS 45496 WITH SCORE 45555.912
AT ITER 1365 NEW BEST:: SOT 163480 SOS 59872 HAS SOPS 59872 HAS SOUS 45466 HAS SOUPS 45466 WITH SCORE 45525.872
AT ITER 1371 NEW BEST:: SOT 163382 SOS 59590 HAS SOPS 59590 HAS SOUS 45184 HAS SOUPS 45184 WITH SCORE 45243.59
AT ITER 1375 NEW BEST:: SOT 163319 SOS 59449 HAS SOPS 59449 HAS SOUS 45121 HAS SOUPS 45121 WITH SCORE 45180.449
AT ITER 1381 NEW BEST:: SOT 163230 SOS 59271 HAS SOPS 59271 HAS SOUS 44943 HAS SOUPS 44943 WITH SCORE 45002.271
AT ITER 1384 NEW BEST:: SOT 163222 SOS 59263 HAS SOPS 59263 HAS SOUS 44935 HAS SOUPS 44935 WITH SCORE 44994.263
AT ITER 1385 NEW BEST:: SOT 163222 SOS 59254 HAS SOPS 59254 HAS SOUS 44926 HAS SOUPS 44926 WITH SCORE 44985.254
AT ITER 1391 NEW BEST:: SOT 163180 SOS 59218 HAS SOPS 59218 HAS SOUS 44890 HAS SOUPS 44890 WITH SCORE 44949.218
AT ITER 1405 NEW BEST:: SOT 163178 SOS 59213 HAS SOPS 59213 HAS SOUS 44885 HAS SOUPS 44885 WITH SCORE 44944.213
AT ITER 1410 NEW BEST:: SOT 163154 SOS 59165 HAS SOPS 59165 HAS SOUS 44837 HAS SOUPS 44837 WITH SCORE 44896.165
AT ITER 1426 NEW BEST:: SOT 163149 SOS 59160 HAS SOPS 59160 HAS SOUS 44832 HAS SOUPS 44832 WITH SCORE 44891.16
AT ITER 1441 NEW BEST:: SOT 163093 SOS 59060 HAS SOPS 59060 HAS SOUS 44745 HAS SOUPS 44745 WITH SCORE 44804.06
AT ITER 1443 NEW BEST:: SOT 163078 SOS 59027 HAS SOPS 59027 HAS SOUS 44712 HAS SOUPS 44712 WITH SCORE 44771.027
AT ITER 1467 NEW BEST:: SOT 163078 SOS 58973 HAS SOPS 58973 HAS SOUS 44706 HAS SOUPS 44706 WITH SCORE 44764.973
AT ITER 1468 NEW BEST:: SOT 162948 SOS 58688 HAS SOPS 58688 HAS SOUS 44563 HAS SOUPS 44563 WITH SCORE 44621.688
AT ITER 1478 NEW BEST:: SOT 162948 SOS 58684 HAS SOPS 58684 HAS SOUS 44559 HAS SOUPS 44559 WITH SCORE 44617.684
AT ITER 1486 NEW BEST:: SOT 162894 SOS 58587 HAS SOPS 58587 HAS SOUS 44462 HAS SOUPS 44462 WITH SCORE 44520.587
AT ITER 1493 NEW BEST:: SOT 162951 SOS 58641 HAS SOPS 58641 HAS SOUS 44459 HAS SOUPS 44459 WITH SCORE 44517.641
AT ITER 1495 NEW BEST:: SOT 162944 SOS 58627 HAS SOPS 58627 HAS SOUS 44445 HAS SOUPS 44445 WITH SCORE 44503.627
AT ITER 1496 NEW BEST:: SOT 162931 SOS 58562 HAS SOPS 58562 HAS SOUS 44380 HAS SOUPS 44380 WITH SCORE 44438.562
AT ITER 1502 NEW BEST:: SOT 162928 SOS 58548 HAS SOPS 58548 HAS SOUS 44366 HAS SOUPS 44366 WITH SCORE 44424.548
AT ITER 1505 NEW BEST:: SOT 162905 SOS 58525 HAS SOPS 58525 HAS SOUS 44366 HAS SOUPS 44366 WITH SCORE 44424.525
AT ITER 1512 NEW BEST:: SOT 162905 SOS 58525 HAS SOPS 58525 HAS SOUS 44351 HAS SOUPS 44351 WITH SCORE 44409.525
AT ITER 1545 NEW BEST:: SOT 162876 SOS 58476 HAS SOPS 58476 HAS SOUS 44302 HAS SOUPS 44302 WITH SCORE 44360.476
AT ITER 1547 NEW BEST:: SOT 162873 SOS 58473 HAS SOPS 58473 HAS SOUS 44299 HAS SOUPS 44299 WITH SCORE 44357.473
AT ITER 1553 NEW BEST:: SOT 162895 SOS 58470 HAS SOPS 58470 HAS SOUS 44297 HAS SOUPS 44297 WITH SCORE 44355.47
AT ITER 1558 NEW BEST:: SOT 162895 SOS 58411 HAS SOPS 58411 HAS SOUS 44238 HAS SOUPS 44238 WITH SCORE 44296.411
AT ITER 1570 NEW BEST:: SOT 162867 SOS 58355 HAS SOPS 58355 HAS SOUS 44212 HAS SOUPS 44212 WITH SCORE 44270.355
AT ITER 1589 NEW BEST:: SOT 162818 SOS 58299 HAS SOPS 58299 HAS SOUS 44125 HAS SOUPS 44125 WITH SCORE 44183.299
AT ITER 1592 NEW BEST:: SOT 162818 SOS 58284 HAS SOPS 58284 HAS SOUS 44110 HAS SOUPS 44110 WITH SCORE 44168.284
AT ITER 1605 NEW BEST:: SOT 162770 SOS 58188 HAS SOPS 58188 HAS SOUS 44014 HAS SOUPS 44014 WITH SCORE 44072.188
AT ITER 1607 NEW BEST:: SOT 162623 SOS 57897 HAS SOPS 57897 HAS SOUS 43870 HAS SOUPS 43870 WITH SCORE 43927.897
AT ITER 1618 NEW BEST:: SOT 162580 SOS 57811 HAS SOPS 57811 HAS SOUS 43784 HAS SOUPS 43784 WITH SCORE 43841.811
AT ITER 1619 NEW BEST:: SOT 162540 SOS 57731 HAS SOPS 57731 HAS SOUS 43740 HAS SOUPS 43740 WITH SCORE 43797.731
AT ITER 1622 NEW BEST:: SOT 162458 SOS 57649 HAS SOPS 57649 HAS SOUS 43658 HAS SOUPS 43658 WITH SCORE 43715.649
AT ITER 1633 NEW BEST:: SOT 162464 SOS 57668 HAS SOPS 57668 HAS SOUS 43657 HAS SOUPS 43657 WITH SCORE 43714.668
AT ITER 1639 NEW BEST:: SOT 162405 SOS 57549 HAS SOPS 57549 HAS SOUS 43538 HAS SOUPS 43538 WITH SCORE 43595.549
AT ITER 1642 NEW BEST:: SOT 162257 SOS 57346 HAS SOPS 57346 HAS SOUS 43409 HAS SOUPS 43409 WITH SCORE 43466.346
AT ITER 1649 NEW BEST:: SOT 162327 SOS 57416 HAS SOPS 57416 HAS SOUS 43405 HAS SOUPS 43405 WITH SCORE 43462.416
AT ITER 1654 NEW BEST:: SOT 162325 SOS 57410 HAS SOPS 57410 HAS SOUS 43399 HAS SOUPS 43399 WITH SCORE 43456.41
AT ITER 1679 NEW BEST:: SOT 162532 SOS 57480 HAS SOPS 57480 HAS SOUS 43300 HAS SOUPS 43300 WITH SCORE 43357.48
AT ITER 1680 NEW BEST:: SOT 162318 SOS 57100 HAS SOPS 57100 HAS SOUS 42920 HAS SOUPS 42920 WITH SCORE 42977.1
AT ITER 1690 NEW BEST:: SOT 162149 SOS 56852 HAS SOPS 56852 HAS SOUS 42672 HAS SOUPS 42672 WITH SCORE 42728.852
AT ITER 1698 NEW BEST:: SOT 162125 SOS 56804 HAS SOPS 56804 HAS SOUS 42640 HAS SOUPS 42640 WITH SCORE 42696.804
AT ITER 1701 NEW BEST:: SOT 162120 SOS 56794 HAS SOPS 56794 HAS SOUS 42630 HAS SOUPS 42630 WITH SCORE 42686.794
AT ITER 1705 NEW BEST:: SOT 162107 SOS 56781 HAS SOPS 56781 HAS SOUS 42630 HAS SOUPS 42630 WITH SCORE 42686.781
AT ITER 1706 NEW BEST:: SOT 162085 SOS 56811 HAS SOPS 56811 HAS SOUS 42621 HAS SOUPS 42621 WITH SCORE 42677.811
AT ITER 1724 NEW BEST:: SOT 162085 SOS 56788 HAS SOPS 56788 HAS SOUS 42598 HAS SOUPS 42598 WITH SCORE 42654.788
AT ITER 1730 NEW BEST:: SOT 161977 SOS 56706 HAS SOPS 56706 HAS SOUS 42577 HAS SOUPS 42577 WITH SCORE 42633.706
AT ITER 1734 NEW BEST:: SOT 161944 SOS 56640 HAS SOPS 56640 HAS SOUS 42393 HAS SOUPS 42393 WITH SCORE 42449.64
AT ITER 1743 NEW BEST:: SOT 161779 SOS 56310 HAS SOPS 56310 HAS SOUS 42315 HAS SOUPS 42315 WITH SCORE 42371.31
AT ITER 1759 NEW BEST:: SOT 161778 SOS 56308 HAS SOPS 56308 HAS SOUS 42313 HAS SOUPS 42313 WITH SCORE 42369.308
AT ITER 1765 NEW BEST:: SOT 161778 SOS 56300 HAS SOPS 56300 HAS SOUS 42305 HAS SOUPS 42305 WITH SCORE 42361.3
AT ITER 1783 NEW BEST:: SOT 161776 SOS 56152 HAS SOPS 56152 HAS SOUS 42157 HAS SOUPS 42157 WITH SCORE 42213.152
AT ITER 1787 NEW BEST:: SOT 161647 SOS 55825 HAS SOPS 55825 HAS SOUS 41830 HAS SOUPS 41830 WITH SCORE 41885.825
AT ITER 1792 NEW BEST:: SOT 161624 SOS 55802 HAS SOPS 55802 HAS SOUS 41807 HAS SOUPS 41807 WITH SCORE 41862.802
AT ITER 1796 NEW BEST:: SOT 161605 SOS 55783 HAS SOPS 55783 HAS SOUS 41788 HAS SOUPS 41788 WITH SCORE 41843.783
AT ITER 1798 NEW BEST:: SOT 161564 SOS 55722 HAS SOPS 55722 HAS SOUS 41727 HAS SOUPS 41727 WITH SCORE 41782.722
AT ITER 1828 NEW BEST:: SOT 161553 SOS 55700 HAS SOPS 55700 HAS SOUS 41705 HAS SOUPS 41705 WITH SCORE 41760.7
AT ITER 1860 NEW BEST:: SOT 161553 SOS 55680 HAS SOPS 55680 HAS SOUS 41705 HAS SOUPS 41705 WITH SCORE 41760.68
AT ITER 1866 NEW BEST:: SOT 161527 SOS 55654 HAS SOPS 55654 HAS SOUS 41688 HAS SOUPS 41688 WITH SCORE 41743.654
AT ITER 1879 NEW BEST:: SOT 161629 SOS 55576 HAS SOPS 55576 HAS SOUS 41616 HAS SOUPS 41616 WITH SCORE 41671.576
AT ITER 1881 NEW BEST:: SOT 161599 SOS 55502 HAS SOPS 55502 HAS SOUS 41542 HAS SOUPS 41542 WITH SCORE 41597.502
AT ITER 1883 NEW BEST:: SOT 161597 SOS 55498 HAS SOPS 55498 HAS SOUS 41540 HAS SOUPS 41540 WITH SCORE 41595.498
AT ITER 1885 NEW BEST:: SOT 161609 SOS 55467 HAS SOPS 55467 HAS SOUS 41509 HAS SOUPS 41509 WITH SCORE 41564.467
AT ITER 1890 NEW BEST:: SOT 161523 SOS 55325 HAS SOPS 55325 HAS SOUS 41452 HAS SOUPS 41452 WITH SCORE 41507.325
AT ITER 1901 NEW BEST:: SOT 161475 SOS 55229 HAS SOPS 55229 HAS SOUS 41356 HAS SOUPS 41356 WITH SCORE 41411.229
AT ITER 1902 NEW BEST:: SOT 161410 SOS 55251 HAS SOPS 55251 HAS SOUS 41197 HAS SOUPS 41197 WITH SCORE 41252.251
AT ITER 1940 NEW BEST:: SOT 161370 SOS 55249 HAS SOPS 55249 HAS SOUS 41195 HAS SOUPS 41195 WITH SCORE 41250.249
AT ITER 1942 NEW BEST:: SOT 161282 SOS 55145 HAS SOPS 55145 HAS SOUS 41091 HAS SOUPS 41091 WITH SCORE 41146.145
AT ITER 1993 NEW BEST:: SOT 161330 SOS 55139 HAS SOPS 55139 HAS SOUS 41085 HAS SOUPS 41085 WITH SCORE 41140.139
AT ITER 2015 NEW BEST:: SOT 161272 SOS 55019 HAS SOPS 55019 HAS SOUS 40965 HAS SOUPS 40965 WITH SCORE 41020.019
AT ITER 2025 NEW BEST:: SOT 161191 SOS 54938 HAS SOPS 54938 HAS SOUS 40927 HAS SOUPS 40927 WITH SCORE 40981.938
AT ITER 2030 NEW BEST:: SOT 161191 SOS 54937 HAS SOPS 54937 HAS SOUS 40926 HAS SOUPS 40926 WITH SCORE 40980.937
AT ITER 2034 NEW BEST:: SOT 161179 SOS 54925 HAS SOPS 54925 HAS SOUS 40926 HAS SOUPS 40926 WITH SCORE 40980.925
AT ITER 2042 NEW BEST:: SOT 161179 SOS 54924 HAS SOPS 54924 HAS SOUS 40924 HAS SOUPS 40924 WITH SCORE 40978.924
AT ITER 2054 NEW BEST:: SOT 161081 SOS 54804 HAS SOPS 54804 HAS SOUS 40916 HAS SOUPS 40916 WITH SCORE 40970.804
AT ITER 2064 NEW BEST:: SOT 161053 SOS 54768 HAS SOPS 54768 HAS SOUS 40880 HAS SOUPS 40880 WITH SCORE 40934.768
AT ITER 2065 NEW BEST:: SOT 161053 SOS 54768 HAS SOPS 54768 HAS SOUS 40867 HAS SOUPS 40867 WITH SCORE 40921.768
AT ITER 2067 NEW BEST:: SOT 161050 SOS 54762 HAS SOPS 54762 HAS SOUS 40861 HAS SOUPS 40861 WITH SCORE 40915.762
AT ITER 2083 NEW BEST:: SOT 161050 SOS 54686 HAS SOPS 54686 HAS SOUS 40816 HAS SOUPS 40816 WITH SCORE 40870.686
AT ITER 2085 NEW BEST:: SOT 161033 SOS 54781 HAS SOPS 54781 HAS SOUS 40782 HAS SOUPS 40782 WITH SCORE 40836.781
AT ITER 2091 NEW BEST:: SOT 161017 SOS 54765 HAS SOPS 54765 HAS SOUS 40766 HAS SOUPS 40766 WITH SCORE 40820.765
AT ITER 2105 NEW BEST:: SOT 161030 SOS 54720 HAS SOPS 54720 HAS SOUS 40758 HAS SOUPS 40758 WITH SCORE 40812.72
AT ITER 2106 NEW BEST:: SOT 160845 SOS 54478 HAS SOPS 54478 HAS SOUS 40733 HAS SOUPS 40733 WITH SCORE 40787.478
AT ITER 2112 NEW BEST:: SOT 160849 SOS 54482 HAS SOPS 54482 HAS SOUS 40728 HAS SOUPS 40728 WITH SCORE 40782.482
AT ITER 2125 NEW BEST:: SOT 160934 SOS 54398 HAS SOPS 54398 HAS SOUS 40717 HAS SOUPS 40717 WITH SCORE 40771.398
AT ITER 2127 NEW BEST:: SOT 160911 SOS 54346 HAS SOPS 54346 HAS SOUS 40665 HAS SOUPS 40665 WITH SCORE 40719.346
AT ITER 2128 NEW BEST:: SOT 160887 SOS 54298 HAS SOPS 54298 HAS SOUS 40641 HAS SOUPS 40641 WITH SCORE 40695.298
AT ITER 2137 NEW BEST:: SOT 160866 SOS 54250 HAS SOPS 54250 HAS SOUS 40593 HAS SOUPS 40593 WITH SCORE 40647.25
AT ITER 2142 NEW BEST:: SOT 160821 SOS 54195 HAS SOPS 54195 HAS SOUS 40538 HAS SOUPS 40538 WITH SCORE 40592.195
AT ITER 2144 NEW BEST:: SOT 160789 SOS 54100 HAS SOPS 54100 HAS SOUS 40459 HAS SOUPS 40459 WITH SCORE 40513.1
AT ITER 2177 NEW BEST:: SOT 160790 SOS 54028 HAS SOPS 54028 HAS SOUS 40424 HAS SOUPS 40424 WITH SCORE 40478.028
AT ITER 2183 NEW BEST:: SOT 160864 SOS 54112 HAS SOPS 54112 HAS SOUS 40380 HAS SOUPS 40380 WITH SCORE 40434.112
AT ITER 2210 NEW BEST:: SOT 160873 SOS 54110 HAS SOPS 54110 HAS SOUS 40378 HAS SOUPS 40378 WITH SCORE 40432.11
AT ITER 2213 NEW BEST:: SOT 160873 SOS 54024 HAS SOPS 54024 HAS SOUS 40292 HAS SOUPS 40292 WITH SCORE 40346.024
AT ITER 2235 NEW BEST:: SOT 160798 SOS 53917 HAS SOPS 53917 HAS SOUS 40185 HAS SOUPS 40185 WITH SCORE 40238.917
AT ITER 2242 NEW BEST:: SOT 160702 SOS 53792 HAS SOPS 53792 HAS SOUS 40127 HAS SOUPS 40127 WITH SCORE 40180.792
AT ITER 2246 NEW BEST:: SOT 160699 SOS 53783 HAS SOPS 53783 HAS SOUS 40121 HAS SOUPS 40121 WITH SCORE 40174.783
AT ITER 2247 NEW BEST:: SOT 160689 SOS 53733 HAS SOPS 53733 HAS SOUS 40071 HAS SOUPS 40071 WITH SCORE 40124.733
AT ITER 2257 NEW BEST:: SOT 160686 SOS 53730 HAS SOPS 53730 HAS SOUS 40068 HAS SOUPS 40068 WITH SCORE 40121.73
AT ITER 2271 NEW BEST:: SOT 160740 SOS 53787 HAS SOPS 53787 HAS SOUS 40064 HAS SOUPS 40064 WITH SCORE 40117.787
AT ITER 2292 NEW BEST:: SOT 160625 SOS 53394 HAS SOPS 53394 HAS SOUS 39764 HAS SOUPS 39764 WITH SCORE 39817.394
AT ITER 2296 NEW BEST:: SOT 160620 SOS 53384 HAS SOPS 53384 HAS SOUS 39754 HAS SOUPS 39754 WITH SCORE 39807.384
AT ITER 2300 NEW BEST:: SOT 160620 SOS 53383 HAS SOPS 53383 HAS SOUS 39753 HAS SOUPS 39753 WITH SCORE 39806.383
AT ITER 2308 NEW BEST:: SOT 160543 SOS 53229 HAS SOPS 53229 HAS SOUS 39640 HAS SOUPS 39640 WITH SCORE 39693.229
AT ITER 2312 NEW BEST:: SOT 160554 SOS 53240 HAS SOPS 53240 HAS SOUS 39638 HAS SOUPS 39638 WITH SCORE 39691.24
AT ITER 2323 NEW BEST:: SOT 160554 SOS 53237 HAS SOPS 53237 HAS SOUS 39635 HAS SOUPS 39635 WITH SCORE 39688.237
AT ITER 2332 NEW BEST:: SOT 160554 SOS 53222 HAS SOPS 53222 HAS SOUS 39620 HAS SOUPS 39620 WITH SCORE 39673.222
AT ITER 2337 NEW BEST:: SOT 160554 SOS 53215 HAS SOPS 53215 HAS SOUS 39620 HAS SOUPS 39620 WITH SCORE 39673.215
AT ITER 2340 NEW BEST:: SOT 160556 SOS 53217 HAS SOPS 53217 HAS SOUS 39602 HAS SOUPS 39602 WITH SCORE 39655.217
AT ITER 2354 NEW BEST:: SOT 160551 SOS 53059 HAS SOPS 53059 HAS SOUS 39543 HAS SOUPS 39543 WITH SCORE 39596.059
AT ITER 2364 NEW BEST:: SOT 160542 SOS 53032 HAS SOPS 53032 HAS SOUS 39516 HAS SOUPS 39516 WITH SCORE 39569.032
AT ITER 2391 NEW BEST:: SOT 160542 SOS 53219 HAS SOPS 53219 HAS SOUS 39515 HAS SOUPS 39515 WITH SCORE 39568.219
AT ITER 2396 NEW BEST:: SOT 160540 SOS 53215 HAS SOPS 53215 HAS SOUS 39511 HAS SOUPS 39511 WITH SCORE 39564.215
AT ITER 2403 NEW BEST:: SOT 160539 SOS 53202 HAS SOPS 53202 HAS SOUS 39498 HAS SOUPS 39498 WITH SCORE 39551.202
AT ITER 2411 NEW BEST:: SOT 160582 SOS 53190 HAS SOPS 53190 HAS SOUS 39486 HAS SOUPS 39486 WITH SCORE 39539.19
AT ITER 2432 NEW BEST:: SOT 160550 SOS 53173 HAS SOPS 53173 HAS SOUS 39437 HAS SOUPS 39437 WITH SCORE 39490.173
AT ITER 2458 NEW BEST:: SOT 160550 SOS 53156 HAS SOPS 53156 HAS SOUS 39420 HAS SOUPS 39420 WITH SCORE 39473.156
AT ITER 2461 NEW BEST:: SOT 160387 SOS 52994 HAS SOPS 52994 HAS SOUS 39386 HAS SOUPS 39386 WITH SCORE 39438.994
AT ITER 2471 NEW BEST:: SOT 160329 SOS 52933 HAS SOPS 52933 HAS SOUS 39325 HAS SOUPS 39325 WITH SCORE 39377.933
AT ITER 2485 NEW BEST:: SOT 160287 SOS 52891 HAS SOPS 52891 HAS SOUS 39325 HAS SOUPS 39325 WITH SCORE 39377.891
AT ITER 2490 NEW BEST:: SOT 160271 SOS 52878 HAS SOPS 52878 HAS SOUS 39312 HAS SOUPS 39312 WITH SCORE 39364.878
AT ITER 2492 NEW BEST:: SOT 160244 SOS 52851 HAS SOPS 52851 HAS SOUS 39302 HAS SOUPS 39302 WITH SCORE 39354.851
AT ITER 2495 NEW BEST:: SOT 160241 SOS 52848 HAS SOPS 52848 HAS SOUS 39299 HAS SOUPS 39299 WITH SCORE 39351.848
AT ITER 2525 NEW BEST:: SOT 160237 SOS 52840 HAS SOPS 52840 HAS SOUS 39295 HAS SOUPS 39295 WITH SCORE 39347.84
AT ITER 2548 NEW BEST:: SOT 160270 SOS 52840 HAS SOPS 52840 HAS SOUS 39230 HAS SOUPS 39230 WITH SCORE 39282.84
AT ITER 2551 NEW BEST:: SOT 160261 SOS 52822 HAS SOPS 52822 HAS SOUS 39221 HAS SOUPS 39221 WITH SCORE 39273.822
AT ITER 2554 NEW BEST:: SOT 160255 SOS 52816 HAS SOPS 52816 HAS SOUS 39215 HAS SOUPS 39215 WITH SCORE 39267.816
AT ITER 2564 NEW BEST:: SOT 160245 SOS 52786 HAS SOPS 52786 HAS SOUS 39185 HAS SOUPS 39185 WITH SCORE 39237.786
AT ITER 2586 NEW BEST:: SOT 160074 SOS 52615 HAS SOPS 52615 HAS SOUS 39185 HAS SOUPS 39185 WITH SCORE 39237.615
AT ITER 2601 NEW BEST:: SOT 160027 SOS 52527 HAS SOPS 52527 HAS SOUS 39097 HAS SOUPS 39097 WITH SCORE 39149.527
AT ITER 2610 NEW BEST:: SOT 159977 SOS 52477 HAS SOPS 52477 HAS SOUS 39047 HAS SOUPS 39047 WITH SCORE 39099.477
AT ITER 2617 NEW BEST:: SOT 159977 SOS 52450 HAS SOPS 52450 HAS SOUS 39047 HAS SOUPS 39047 WITH SCORE 39099.45
AT ITER 2644 NEW BEST:: SOT 159943 SOS 52416 HAS SOPS 52416 HAS SOUS 39013 HAS SOUPS 39013 WITH SCORE 39065.416
AT ITER 2716 NEW BEST:: SOT 159778 SOS 52251 HAS SOPS 52251 HAS SOUS 38697 HAS SOUPS 38697 WITH SCORE 38749.251
AT ITER 2722 NEW BEST:: SOT 159756 SOS 52229 HAS SOPS 52229 HAS SOUS 38697 HAS SOUPS 38697 WITH SCORE 38749.229
AT ITER 2798 NEW BEST:: SOT 159756 SOS 52193 HAS SOPS 52193 HAS SOUS 38697 HAS SOUPS 38697 WITH SCORE 38749.193
AT ITER 2806 NEW BEST:: SOT 159543 SOS 52145 HAS SOPS 52145 HAS SOUS 38649 HAS SOUPS 38649 WITH SCORE 38701.145
AT ITER 2815 NEW BEST:: SOT 159563 SOS 52143 HAS SOPS 52143 HAS SOUS 38614 HAS SOUPS 38614 WITH SCORE 38666.143
AT ITER 2827 NEW BEST:: SOT 159405 SOS 51922 HAS SOPS 51922 HAS SOUS 38441 HAS SOUPS 38441 WITH SCORE 38492.922
AT ITER 2836 NEW BEST:: SOT 159292 SOS 51908 HAS SOPS 51908 HAS SOUS 38407 HAS SOUPS 38407 WITH SCORE 38458.908
AT ITER 2847 NEW BEST:: SOT 159264 SOS 51880 HAS SOPS 51880 HAS SOUS 38379 HAS SOUPS 38379 WITH SCORE 38430.88
AT ITER 2876 NEW BEST:: SOT 159241 SOS 51873 HAS SOPS 51873 HAS SOUS 38363 HAS SOUPS 38363 WITH SCORE 38414.873
AT ITER 2890 NEW BEST:: SOT 159210 SOS 51905 HAS SOPS 51905 HAS SOUS 38276 HAS SOUPS 38276 WITH SCORE 38327.905
AT ITER 2895 NEW BEST:: SOT 159209 SOS 51903 HAS SOPS 51903 HAS SOUS 38274 HAS SOUPS 38274 WITH SCORE 38325.903
AT ITER 2928 NEW BEST:: SOT 159209 SOS 51897 HAS SOPS 51897 HAS SOUS 38268 HAS SOUPS 38268 WITH SCORE 38319.897
AT ITER 2940 NEW BEST:: SOT 159209 SOS 51888 HAS SOPS 51888 HAS SOUS 38250 HAS SOUPS 38250 WITH SCORE 38301.888
AT ITER 2943 NEW BEST:: SOT 159197 SOS 51876 HAS SOPS 51876 HAS SOUS 38238 HAS SOUPS 38238 WITH SCORE 38289.876
AT ITER 2946 NEW BEST:: SOT 159178 SOS 51838 HAS SOPS 51838 HAS SOUS 38200 HAS SOUPS 38200 WITH SCORE 38251.838
AT ITER 2953 NEW BEST:: SOT 159178 SOS 51838 HAS SOPS 51838 HAS SOUS 38173 HAS SOUPS 38173 WITH SCORE 38224.838
AT ITER 3033 NEW BEST:: SOT 159142 SOS 51766 HAS SOPS 51766 HAS SOUS 38101 HAS SOUPS 38101 WITH SCORE 38152.766
AT ITER 3065 NEW BEST:: SOT 159133 SOS 51748 HAS SOPS 51748 HAS SOUS 38083 HAS SOUPS 38083 WITH SCORE 38134.748
AT ITER 3084 NEW BEST:: SOT 159329 SOS 51744 HAS SOPS 51744 HAS SOUS 38079 HAS SOUPS 38079 WITH SCORE 38130.744
AT ITER 3107 NEW BEST:: SOT 159356 SOS 51771 HAS SOPS 51771 HAS SOUS 38076 HAS SOUPS 38076 WITH SCORE 38127.771
AT ITER 3127 NEW BEST:: SOT 159457 SOS 51854 HAS SOPS 51854 HAS SOUS 38040 HAS SOUPS 38040 WITH SCORE 38091.854
AT ITER 3152 NEW BEST:: SOT 159391 SOS 51788 HAS SOPS 51788 HAS SOUS 37974 HAS SOUPS 37974 WITH SCORE 38025.788
AT ITER 3178 NEW BEST:: SOT 159351 SOS 51685 HAS SOPS 51685 HAS SOUS 37871 HAS SOUPS 37871 WITH SCORE 37922.685
AT ITER 3196 NEW BEST:: SOT 159356 SOS 51658 HAS SOPS 51658 HAS SOUS 37844 HAS SOUPS 37844 WITH SCORE 37895.658
AT ITER 3213 NEW BEST:: SOT 159356 SOS 51658 HAS SOPS 51658 HAS SOUS 37820 HAS SOUPS 37820 WITH SCORE 37871.658
AT ITER 3220 NEW BEST:: SOT 159356 SOS 51638 HAS SOPS 51638 HAS SOUS 37800 HAS SOUPS 37800 WITH SCORE 37851.638
AT ITER 3237 NEW BEST:: SOT 159356 SOS 51637 HAS SOPS 51637 HAS SOUS 37799 HAS SOUPS 37799 WITH SCORE 37850.637
AT ITER 3297 NEW BEST:: SOT 159262 SOS 51590 HAS SOPS 51590 HAS SOUS 37705 HAS SOUPS 37705 WITH SCORE 37756.59
AT ITER 3316 NEW BEST:: SOT 159308 SOS 51577 HAS SOPS 51577 HAS SOUS 37658 HAS SOUPS 37658 WITH SCORE 37709.577
AT ITER 3320 NEW BEST:: SOT 159247 SOS 51736 HAS SOPS 51736 HAS SOUS 37618 HAS SOUPS 37618 WITH SCORE 37669.736
AT ITER 3334 NEW BEST:: SOT 159206 SOS 51695 HAS SOPS 51695 HAS SOUS 37577 HAS SOUPS 37577 WITH SCORE 37628.695
AT ITER 3336 NEW BEST:: SOT 159199 SOS 51688 HAS SOPS 51688 HAS SOUS 37570 HAS SOUPS 37570 WITH SCORE 37621.688
AT ITER 3348 NEW BEST:: SOT 159203 SOS 51663 HAS SOPS 51663 HAS SOUS 37545 HAS SOUPS 37545 WITH SCORE 37596.663
AT ITER 3352 NEW BEST:: SOT 159179 SOS 51615 HAS SOPS 51615 HAS SOUS 37497 HAS SOUPS 37497 WITH SCORE 37548.615
AT ITER 3366 NEW BEST:: SOT 159192 SOS 51628 HAS SOPS 51628 HAS SOUS 37496 HAS SOUPS 37496 WITH SCORE 37547.628
AT ITER 3368 NEW BEST:: SOT 159190 SOS 51626 HAS SOPS 51626 HAS SOUS 37492 HAS SOUPS 37492 WITH SCORE 37543.626
AT ITER 3388 NEW BEST:: SOT 159187 SOS 51620 HAS SOPS 51620 HAS SOUS 37486 HAS SOUPS 37486 WITH SCORE 37537.62
AT ITER 3411 NEW BEST:: SOT 159186 SOS 51618 HAS SOPS 51618 HAS SOUS 37484 HAS SOUPS 37484 WITH SCORE 37535.618
AT ITER 3427 NEW BEST:: SOT 159185 SOS 51616 HAS SOPS 51616 HAS SOUS 37482 HAS SOUPS 37482 WITH SCORE 37533.616
AT ITER 3438 NEW BEST:: SOT 159185 SOS 51380 HAS SOPS 51380 HAS SOUS 37246 HAS SOUPS 37246 WITH SCORE 37297.38
AT ITER 3443 NEW BEST:: SOT 159129 SOS 51240 HAS SOPS 51240 HAS SOUS 37162 HAS SOUPS 37162 WITH SCORE 37213.24
AT ITER 3450 NEW BEST:: SOT 159119 SOS 51200 HAS SOPS 51200 HAS SOUS 37142 HAS SOUPS 37142 WITH SCORE 37193.2
AT ITER 3476 NEW BEST:: SOT 159107 SOS 51188 HAS SOPS 51188 HAS SOUS 37130 HAS SOUPS 37130 WITH SCORE 37181.188
AT ITER 3482 NEW BEST:: SOT 159081 SOS 51083 HAS SOPS 51083 HAS SOUS 37070 HAS SOUPS 37070 WITH SCORE 37121.083
AT ITER 3545 NEW BEST:: SOT 159052 SOS 50996 HAS SOPS 50996 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37033.996
AT ITER 3554 NEW BEST:: SOT 159022 SOS 50930 HAS SOPS 50930 HAS SOUS 36964 HAS SOUPS 36964 WITH SCORE 37014.93
AT ITER 3567 NEW BEST:: SOT 159136 SOS 51044 HAS SOPS 51044 HAS SOUS 36937 HAS SOUPS 36937 WITH SCORE 36988.044
AT ITER 3591 NEW BEST:: SOT 159093 SOS 51015 HAS SOPS 51015 HAS SOUS 36908 HAS SOUPS 36908 WITH SCORE 36959.015
AT ITER 3603 NEW BEST:: SOT 159071 SOS 50993 HAS SOPS 50993 HAS SOUS 36864 HAS SOUPS 36864 WITH SCORE 36914.993
AT ITER 3608 NEW BEST:: SOT 159071 SOS 50947 HAS SOPS 50947 HAS SOUS 36818 HAS SOUPS 36818 WITH SCORE 36868.947
AT ITER 3614 NEW BEST:: SOT 159081 SOS 50947 HAS SOPS 50947 HAS SOUS 36808 HAS SOUPS 36808 WITH SCORE 36858.947
AT ITER 3648 NEW BEST:: SOT 159052 SOS 50889 HAS SOPS 50889 HAS SOUS 36751 HAS SOUPS 36751 WITH SCORE 36801.889
AT ITER 3691 NEW BEST:: SOT 159029 SOS 50832 HAS SOPS 50832 HAS SOUS 36694 HAS SOUPS 36694 WITH SCORE 36744.832
AT ITER 3697 NEW BEST:: SOT 159029 SOS 50826 HAS SOPS 50826 HAS SOUS 36691 HAS SOUPS 36691 WITH SCORE 36741.826
AT ITER 3733 NEW BEST:: SOT 159073 SOS 50805 HAS SOPS 50805 HAS SOUS 36672 HAS SOUPS 36672 WITH SCORE 36722.805
AT ITER 3743 NEW BEST:: SOT 159061 SOS 50787 HAS SOPS 50787 HAS SOUS 36660 HAS SOUPS 36660 WITH SCORE 36710.787
AT ITER 3757 NEW BEST:: SOT 159170 SOS 50835 HAS SOPS 50835 HAS SOUS 36627 HAS SOUPS 36627 WITH SCORE 36677.835
AT ITER 3778 NEW BEST:: SOT 159144 SOS 50702 HAS SOPS 50702 HAS SOUS 36618 HAS SOUPS 36618 WITH SCORE 36668.702
AT ITER 3802 NEW BEST:: SOT 159134 SOS 50695 HAS SOPS 50695 HAS SOUS 36608 HAS SOUPS 36608 WITH SCORE 36658.695
AT ITER 3809 NEW BEST:: SOT 159045 SOS 50606 HAS SOPS 50606 HAS SOUS 36608 HAS SOUPS 36608 WITH SCORE 36658.606
AT ITER 3835 NEW BEST:: SOT 159035 SOS 50603 HAS SOPS 50603 HAS SOUS 36605 HAS SOUPS 36605 WITH SCORE 36655.603
AT ITER 3844 NEW BEST:: SOT 159095 SOS 50595 HAS SOPS 50595 HAS SOUS 36597 HAS SOUPS 36597 WITH SCORE 36647.595
AT ITER 3846 NEW BEST:: SOT 159088 SOS 50581 HAS SOPS 50581 HAS SOUS 36512 HAS SOUPS 36512 WITH SCORE 36562.581
AT ITER 3886 NEW BEST:: SOT 159079 SOS 50573 HAS SOPS 50573 HAS SOUS 36495 HAS SOUPS 36495 WITH SCORE 36545.573
AT ITER 3890 NEW BEST:: SOT 159077 SOS 50558 HAS SOPS 50558 HAS SOUS 36492 HAS SOUPS 36492 WITH SCORE 36542.558
AT ITER 3894 NEW BEST:: SOT 159034 SOS 50529 HAS SOPS 50529 HAS SOUS 36463 HAS SOUPS 36463 WITH SCORE 36513.529
AT ITER 3895 NEW BEST:: SOT 158999 SOS 50457 HAS SOPS 50457 HAS SOUS 36391 HAS SOUPS 36391 WITH SCORE 36441.457
AT ITER 3921 NEW BEST:: SOT 158999 SOS 50457 HAS SOPS 50457 HAS SOUS 36389 HAS SOUPS 36389 WITH SCORE 36439.457
AT ITER 3925 NEW BEST:: SOT 158999 SOS 50333 HAS SOPS 50333 HAS SOUS 36388 HAS SOUPS 36388 WITH SCORE 36438.333
AT ITER 3930 NEW BEST:: SOT 159106 SOS 50719 HAS SOPS 50719 HAS SOUS 36349 HAS SOUPS 36349 WITH SCORE 36399.719
AT ITER 3936 NEW BEST:: SOT 159049 SOS 50605 HAS SOPS 50605 HAS SOUS 36220 HAS SOUPS 36220 WITH SCORE 36270.605
AT ITER 3957 NEW BEST:: SOT 159030 SOS 50516 HAS SOPS 50516 HAS SOUS 36131 HAS SOUPS 36131 WITH SCORE 36181.516
AT ITER 4014 NEW BEST:: SOT 159009 SOS 50453 HAS SOPS 50453 HAS SOUS 36068 HAS SOUPS 36068 WITH SCORE 36118.453
AT ITER 4017 NEW BEST:: SOT 158989 SOS 50413 HAS SOPS 50413 HAS SOUS 36048 HAS SOUPS 36048 WITH SCORE 36098.413
AT ITER 4041 NEW BEST:: SOT 158986 SOS 50368 HAS SOPS 50368 HAS SOUS 36003 HAS SOUPS 36003 WITH SCORE 36053.368
AT ITER 4072 NEW BEST:: SOT 158921 SOS 50345 HAS SOPS 50345 HAS SOUS 35980 HAS SOUPS 35980 WITH SCORE 36030.345
AT ITER 4089 NEW BEST:: SOT 158941 SOS 50345 HAS SOPS 50345 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36005.345
AT ITER 4090 NEW BEST:: SOT 158901 SOS 50305 HAS SOPS 50305 HAS SOUS 35915 HAS SOUPS 35915 WITH SCORE 35965.305
AT ITER 4100 NEW BEST:: SOT 158828 SOS 50240 HAS SOPS 50240 HAS SOUS 35850 HAS SOUPS 35850 WITH SCORE 35900.24
AT ITER 4110 NEW BEST:: SOT 158870 SOS 50245 HAS SOPS 50245 HAS SOUS 35845 HAS SOUPS 35845 WITH SCORE 35895.245
AT ITER 4132 NEW BEST:: SOT 158825 SOS 50114 HAS SOPS 50114 HAS SOUS 35783 HAS SOUPS 35783 WITH SCORE 35833.114
AT ITER 4140 NEW BEST:: SOT 158833 SOS 50092 HAS SOPS 50092 HAS SOUS 35753 HAS SOUPS 35753 WITH SCORE 35803.092
AT ITER 4141 NEW BEST:: SOT 158822 SOS 50037 HAS SOPS 50037 HAS SOUS 35731 HAS SOUPS 35731 WITH SCORE 35781.037
AT ITER 4175 NEW BEST:: SOT 158692 SOS 49907 HAS SOPS 49907 HAS SOUS 35731 HAS SOUPS 35731 WITH SCORE 35780.907
AT ITER 4219 NEW BEST:: SOT 158726 SOS 49911 HAS SOPS 49911 HAS SOUS 35730 HAS SOUPS 35730 WITH SCORE 35779.911
AT ITER 4231 NEW BEST:: SOT 158726 SOS 49898 HAS SOPS 49898 HAS SOUS 35717 HAS SOUPS 35717 WITH SCORE 35766.898
AT ITER 4239 NEW BEST:: SOT 158682 SOS 49854 HAS SOPS 49854 HAS SOUS 35673 HAS SOUPS 35673 WITH SCORE 35722.854
AT ITER 4240 NEW BEST:: SOT 158662 SOS 49853 HAS SOPS 49853 HAS SOUS 35672 HAS SOUPS 35672 WITH SCORE 35721.853
AT ITER 4245 NEW BEST:: SOT 158657 SOS 49843 HAS SOPS 49843 HAS SOUS 35667 HAS SOUPS 35667 WITH SCORE 35716.843
AT ITER 4248 NEW BEST:: SOT 158650 SOS 49843 HAS SOPS 49843 HAS SOUS 35661 HAS SOUPS 35661 WITH SCORE 35710.843
AT ITER 4261 NEW BEST:: SOT 158647 SOS 49840 HAS SOPS 49840 HAS SOUS 35658 HAS SOUPS 35658 WITH SCORE 35707.84
AT ITER 4271 NEW BEST:: SOT 158638 SOS 49822 HAS SOPS 49822 HAS SOUS 35640 HAS SOUPS 35640 WITH SCORE 35689.822
AT ITER 4272 NEW BEST:: SOT 158637 SOS 49820 HAS SOPS 49820 HAS SOUS 35638 HAS SOUPS 35638 WITH SCORE 35687.82
AT ITER 4279 NEW BEST:: SOT 158612 SOS 49786 HAS SOPS 49786 HAS SOUS 35613 HAS SOUPS 35613 WITH SCORE 35662.786
AT ITER 4297 NEW BEST:: SOT 158603 SOS 49768 HAS SOPS 49768 HAS SOUS 35595 HAS SOUPS 35595 WITH SCORE 35644.768
AT ITER 4302 NEW BEST:: SOT 158522 SOS 49714 HAS SOPS 49714 HAS SOUS 35541 HAS SOUPS 35541 WITH SCORE 35590.714
AT ITER 4313 NEW BEST:: SOT 158518 SOS 49879 HAS SOPS 49879 HAS SOUS 35538 HAS SOUPS 35538 WITH SCORE 35587.879
AT ITER 4335 NEW BEST:: SOT 158576 SOS 49725 HAS SOPS 49725 HAS SOUS 35384 HAS SOUPS 35384 WITH SCORE 35433.725
AT ITER 4358 NEW BEST:: SOT 158576 SOS 49651 HAS SOPS 49651 HAS SOUS 35310 HAS SOUPS 35310 WITH SCORE 35359.651
AT ITER 4388 NEW BEST:: SOT 158480 SOS 49677 HAS SOPS 49677 HAS SOUS 35299 HAS SOUPS 35299 WITH SCORE 35348.677
AT ITER 4434 NEW BEST:: SOT 158480 SOS 49629 HAS SOPS 49629 HAS SOUS 35299 HAS SOUPS 35299 WITH SCORE 35348.629
AT ITER 4452 NEW BEST:: SOT 158484 SOS 49620 HAS SOPS 49620 HAS SOUS 35290 HAS SOUPS 35290 WITH SCORE 35339.62
AT ITER 4464 NEW BEST:: SOT 158455 SOS 49562 HAS SOPS 49562 HAS SOUS 35232 HAS SOUPS 35232 WITH SCORE 35281.562
AT ITER 4469 NEW BEST:: SOT 158472 SOS 49569 HAS SOPS 49569 HAS SOUS 35225 HAS SOUPS 35225 WITH SCORE 35274.569
AT ITER 4490 NEW BEST:: SOT 158459 SOS 49556 HAS SOPS 49556 HAS SOUS 35212 HAS SOUPS 35212 WITH SCORE 35261.556
AT ITER 4507 NEW BEST:: SOT 158514 SOS 49492 HAS SOPS 49492 HAS SOUS 35148 HAS SOUPS 35148 WITH SCORE 35197.492
AT ITER 4520 NEW BEST:: SOT 158492 SOS 49450 HAS SOPS 49450 HAS SOUS 35106 HAS SOUPS 35106 WITH SCORE 35155.45
AT ITER 4521 NEW BEST:: SOT 158471 SOS 49438 HAS SOPS 49438 HAS SOUS 35087 HAS SOUPS 35087 WITH SCORE 35136.438
AT ITER 4563 NEW BEST:: SOT 158471 SOS 49438 HAS SOPS 49438 HAS SOUS 35083 HAS SOUPS 35083 WITH SCORE 35132.438
AT ITER 4669 NEW BEST:: SOT 158381 SOS 49258 HAS SOPS 49258 HAS SOUS 34903 HAS SOUPS 34903 WITH SCORE 34952.258
AT ITER 4718 NEW BEST:: SOT 158377 SOS 49250 HAS SOPS 49250 HAS SOUS 34899 HAS SOUPS 34899 WITH SCORE 34948.25
AT ITER 4742 NEW BEST:: SOT 158321 SOS 49121 HAS SOPS 49121 HAS SOUS 34826 HAS SOUPS 34826 WITH SCORE 34875.121
AT ITER 4753 NEW BEST:: SOT 158306 SOS 49118 HAS SOPS 49118 HAS SOUS 34826 HAS SOUPS 34826 WITH SCORE 34875.118
AT ITER 4809 NEW BEST:: SOT 158295 SOS 49107 HAS SOPS 49107 HAS SOUS 34815 HAS SOUPS 34815 WITH SCORE 34864.107
AT ITER 4865 NEW BEST:: SOT 158287 SOS 49093 HAS SOPS 49093 HAS SOUS 34809 HAS SOUPS 34809 WITH SCORE 34858.093
AT ITER 4892 NEW BEST:: SOT 158359 SOS 49184 HAS SOPS 49184 HAS SOUS 34777 HAS SOUPS 34777 WITH SCORE 34826.184
AT ITER 4928 NEW BEST:: SOT 158372 SOS 49165 HAS SOPS 49165 HAS SOUS 34758 HAS SOUPS 34758 WITH SCORE 34807.165
AT ITER 4929 NEW BEST:: SOT 158359 SOS 49152 HAS SOPS 49152 HAS SOUS 34745 HAS SOUPS 34745 WITH SCORE 34794.152
AT ITER 4939 NEW BEST:: SOT 158514 SOS 48520 HAS SOPS 48520 HAS SOUS 34716 HAS SOUPS 34716 WITH SCORE 34764.52
AT ITER 5013 NEW BEST:: SOT 158514 SOS 48520 HAS SOPS 48520 HAS SOUS 34715 HAS SOUPS 34715 WITH SCORE 34763.52
AT ITER 5028 NEW BEST:: SOT 158528 SOS 48498 HAS SOPS 48498 HAS SOUS 34693 HAS SOUPS 34693 WITH SCORE 34741.498
AT ITER 5055 NEW BEST:: SOT 158519 SOS 48480 HAS SOPS 48480 HAS SOUS 34675 HAS SOUPS 34675 WITH SCORE 34723.48
AT ITER 5085 NEW BEST:: SOT 158528 SOS 48469 HAS SOPS 48469 HAS SOUS 34664 HAS SOUPS 34664 WITH SCORE 34712.469
AT ITER 5127 NEW BEST:: SOT 158512 SOS 48453 HAS SOPS 48453 HAS SOUS 34648 HAS SOUPS 34648 WITH SCORE 34696.453
AT ITER 5143 NEW BEST:: SOT 158370 SOS 48249 HAS SOPS 48249 HAS SOUS 34524 HAS SOUPS 34524 WITH SCORE 34572.249
AT ITER 5147 NEW BEST:: SOT 158369 SOS 48103 HAS SOPS 48103 HAS SOUS 34476 HAS SOUPS 34476 WITH SCORE 34524.103
AT ITER 5155 NEW BEST:: SOT 158352 SOS 48086 HAS SOPS 48086 HAS SOUS 34459 HAS SOUPS 34459 WITH SCORE 34507.086
AT ITER 5191 NEW BEST:: SOT 158350 SOS 48084 HAS SOPS 48084 HAS SOUS 34457 HAS SOUPS 34457 WITH SCORE 34505.084
AT ITER 5207 NEW BEST:: SOT 158342 SOS 48076 HAS SOPS 48076 HAS SOUS 34449 HAS SOUPS 34449 WITH SCORE 34497.076
AT ITER 5210 NEW BEST:: SOT 158343 SOS 48059 HAS SOPS 48059 HAS SOUS 34418 HAS SOUPS 34418 WITH SCORE 34466.059
AT ITER 5238 NEW BEST:: SOT 158362 SOS 48025 HAS SOPS 48025 HAS SOUS 34394 HAS SOUPS 34394 WITH SCORE 34442.025
AT ITER 5240 NEW BEST:: SOT 158348 SOS 48011 HAS SOPS 48011 HAS SOUS 34380 HAS SOUPS 34380 WITH SCORE 34428.011
AT ITER 5251 NEW BEST:: SOT 158348 SOS 48011 HAS SOPS 48011 HAS SOUS 34359 HAS SOUPS 34359 WITH SCORE 34407.011
AT ITER 5252 NEW BEST:: SOT 158347 SOS 47933 HAS SOPS 47933 HAS SOUS 34357 HAS SOUPS 34357 WITH SCORE 34404.933
AT ITER 5287 NEW BEST:: SOT 158384 SOS 47897 HAS SOPS 47897 HAS SOUS 34321 HAS SOUPS 34321 WITH SCORE 34368.897
AT ITER 5296 NEW BEST:: SOT 158375 SOS 47879 HAS SOPS 47879 HAS SOUS 34303 HAS SOUPS 34303 WITH SCORE 34350.879
AT ITER 5298 NEW BEST:: SOT 158370 SOS 47874 HAS SOPS 47874 HAS SOUS 34298 HAS SOUPS 34298 WITH SCORE 34345.874
AT ITER 5315 NEW BEST:: SOT 158322 SOS 47839 HAS SOPS 47839 HAS SOUS 34285 HAS SOUPS 34285 WITH SCORE 34332.839
AT ITER 5322 NEW BEST:: SOT 158299 SOS 47816 HAS SOPS 47816 HAS SOUS 34262 HAS SOUPS 34262 WITH SCORE 34309.816
AT ITER 5323 NEW BEST:: SOT 158297 SOS 47813 HAS SOPS 47813 HAS SOUS 34260 HAS SOUPS 34260 WITH SCORE 34307.813
AT ITER 5326 NEW BEST:: SOT 158297 SOS 47813 HAS SOPS 47813 HAS SOUS 34253 HAS SOUPS 34253 WITH SCORE 34300.813
AT ITER 5345 NEW BEST:: SOT 158291 SOS 47801 HAS SOPS 47801 HAS SOUS 34241 HAS SOUPS 34241 WITH SCORE 34288.801
AT ITER 5362 NEW BEST:: SOT 158179 SOS 47638 HAS SOPS 47638 HAS SOUS 34149 HAS SOUPS 34149 WITH SCORE 34196.638
AT ITER 5364 NEW BEST:: SOT 158161 SOS 47560 HAS SOPS 47560 HAS SOUS 34110 HAS SOUPS 34110 WITH SCORE 34157.56
AT ITER 5402 NEW BEST:: SOT 158161 SOS 47560 HAS SOPS 47560 HAS SOUS 34105 HAS SOUPS 34105 WITH SCORE 34152.56
AT ITER 5424 NEW BEST:: SOT 158184 SOS 47624 HAS SOPS 47624 HAS SOUS 34100 HAS SOUPS 34100 WITH SCORE 34147.624
AT ITER 5456 NEW BEST:: SOT 158183 SOS 47659 HAS SOPS 47659 HAS SOUS 34098 HAS SOUPS 34098 WITH SCORE 34145.659
AT ITER 5471 NEW BEST:: SOT 158183 SOS 47675 HAS SOPS 47675 HAS SOUS 34085 HAS SOUPS 34085 WITH SCORE 34132.675
AT ITER 5480 NEW BEST:: SOT 158232 SOS 47671 HAS SOPS 47671 HAS SOUS 34081 HAS SOUPS 34081 WITH SCORE 34128.671
AT ITER 5529 NEW BEST:: SOT 158294 SOS 47665 HAS SOPS 47665 HAS SOUS 34075 HAS SOUPS 34075 WITH SCORE 34122.665
AT ITER 5557 NEW BEST:: SOT 158284 SOS 47655 HAS SOPS 47655 HAS SOUS 34065 HAS SOUPS 34065 WITH SCORE 34112.655
AT ITER 5588 NEW BEST:: SOT 158264 SOS 47615 HAS SOPS 47615 HAS SOUS 34025 HAS SOUPS 34025 WITH SCORE 34072.615
AT ITER 5600 NEW BEST:: SOT 158263 SOS 47620 HAS SOPS 47620 HAS SOUS 34000 HAS SOUPS 34000 WITH SCORE 34047.62
AT ITER 5601 NEW BEST:: SOT 158213 SOS 47569 HAS SOPS 47569 HAS SOUS 33998 HAS SOUPS 33998 WITH SCORE 34045.569
AT ITER 5610 NEW BEST:: SOT 158198 SOS 47554 HAS SOPS 47554 HAS SOUS 33998 HAS SOUPS 33998 WITH SCORE 34045.554
AT ITER 5619 NEW BEST:: SOT 158256 SOS 47518 HAS SOPS 47518 HAS SOUS 33962 HAS SOUPS 33962 WITH SCORE 34009.518
AT ITER 5627 NEW BEST:: SOT 158227 SOS 47489 HAS SOPS 47489 HAS SOUS 33904 HAS SOUPS 33904 WITH SCORE 33951.489
AT ITER 5654 NEW BEST:: SOT 158205 SOS 47465 HAS SOPS 47465 HAS SOUS 33870 HAS SOUPS 33870 WITH SCORE 33917.465
AT ITER 5665 NEW BEST:: SOT 158169 SOS 47411 HAS SOPS 47411 HAS SOUS 33816 HAS SOUPS 33816 WITH SCORE 33863.411
AT ITER 5695 NEW BEST:: SOT 158161 SOS 47395 HAS SOPS 47395 HAS SOUS 33800 HAS SOUPS 33800 WITH SCORE 33847.395
AT ITER 5699 NEW BEST:: SOT 158070 SOS 47304 HAS SOPS 47304 HAS SOUS 33800 HAS SOUPS 33800 WITH SCORE 33847.304
AT ITER 5700 NEW BEST:: SOT 157851 SOS 47057 HAS SOPS 47057 HAS SOUS 33666 HAS SOUPS 33666 WITH SCORE 33713.057
AT ITER 5730 NEW BEST:: SOT 157878 SOS 47068 HAS SOPS 47068 HAS SOUS 33662 HAS SOUPS 33662 WITH SCORE 33709.068
AT ITER 5733 NEW BEST:: SOT 157873 SOS 47063 HAS SOPS 47063 HAS SOUS 33657 HAS SOUPS 33657 WITH SCORE 33704.063
AT ITER 5755 NEW BEST:: SOT 157884 SOS 47062 HAS SOPS 47062 HAS SOUS 33656 HAS SOUPS 33656 WITH SCORE 33703.062
AT ITER 5782 NEW BEST:: SOT 157847 SOS 47025 HAS SOPS 47025 HAS SOUS 33619 HAS SOUPS 33619 WITH SCORE 33666.025
AT ITER 5784 NEW BEST:: SOT 157842 SOS 47020 HAS SOPS 47020 HAS SOUS 33614 HAS SOUPS 33614 WITH SCORE 33661.02
AT ITER 5785 NEW BEST:: SOT 157840 SOS 47016 HAS SOPS 47016 HAS SOUS 33610 HAS SOUPS 33610 WITH SCORE 33657.016
AT ITER 5840 NEW BEST:: SOT 157840 SOS 47016 HAS SOPS 47016 HAS SOUS 33580 HAS SOUPS 33580 WITH SCORE 33627.016
AT ITER 5845 NEW BEST:: SOT 157820 SOS 46976 HAS SOPS 46976 HAS SOUS 33540 HAS SOUPS 33540 WITH SCORE 33586.976
AT ITER 5847 NEW BEST:: SOT 157679 SOS 46788 HAS SOPS 46788 HAS SOUS 33446 HAS SOUPS 33446 WITH SCORE 33492.788
AT ITER 5870 NEW BEST:: SOT 157630 SOS 46696 HAS SOPS 46696 HAS SOUS 33354 HAS SOUPS 33354 WITH SCORE 33400.696
AT ITER 5882 NEW BEST:: SOT 157626 SOS 46688 HAS SOPS 46688 HAS SOUS 33346 HAS SOUPS 33346 WITH SCORE 33392.688
AT ITER 5892 NEW BEST:: SOT 157606 SOS 46678 HAS SOPS 46678 HAS SOUS 33336 HAS SOUPS 33336 WITH SCORE 33382.678
AT ITER 5916 NEW BEST:: SOT 157610 SOS 46686 HAS SOPS 46686 HAS SOUS 33329 HAS SOUPS 33329 WITH SCORE 33375.686
AT ITER 5918 NEW BEST:: SOT 157582 SOS 46630 HAS SOPS 46630 HAS SOUS 33273 HAS SOUPS 33273 WITH SCORE 33319.63
AT ITER 5929 NEW BEST:: SOT 157582 SOS 46600 HAS SOPS 46600 HAS SOUS 33273 HAS SOUPS 33273 WITH SCORE 33319.6
AT ITER 5940 NEW BEST:: SOT 157539 SOS 46557 HAS SOPS 46557 HAS SOUS 33230 HAS SOUPS 33230 WITH SCORE 33276.557
AT ITER 6025 NEW BEST:: SOT 157536 SOS 46551 HAS SOPS 46551 HAS SOUS 33224 HAS SOUPS 33224 WITH SCORE 33270.551
AT ITER 6059 NEW BEST:: SOT 157527 SOS 46533 HAS SOPS 46533 HAS SOUS 33206 HAS SOUPS 33206 WITH SCORE 33252.533
AT ITER 6066 NEW BEST:: SOT 157520 SOS 46519 HAS SOPS 46519 HAS SOUS 33192 HAS SOUPS 33192 WITH SCORE 33238.519
AT ITER 6074 NEW BEST:: SOT 157579 SOS 46502 HAS SOPS 46502 HAS SOUS 33170 HAS SOUPS 33170 WITH SCORE 33216.502
AT ITER 6076 NEW BEST:: SOT 157565 SOS 46474 HAS SOPS 46474 HAS SOUS 33142 HAS SOUPS 33142 WITH SCORE 33188.474
AT ITER 6077 NEW BEST:: SOT 157529 SOS 46430 HAS SOPS 46430 HAS SOUS 33108 HAS SOUPS 33108 WITH SCORE 33154.43
AT ITER 6085 NEW BEST:: SOT 157528 SOS 46429 HAS SOPS 46429 HAS SOUS 33107 HAS SOUPS 33107 WITH SCORE 33153.429
AT ITER 6130 NEW BEST:: SOT 157516 SOS 46425 HAS SOPS 46425 HAS SOUS 33103 HAS SOUPS 33103 WITH SCORE 33149.425
AT ITER 6140 NEW BEST:: SOT 157514 SOS 46423 HAS SOPS 46423 HAS SOUS 33101 HAS SOUPS 33101 WITH SCORE 33147.423
AT ITER 6157 NEW BEST:: SOT 157477 SOS 46349 HAS SOPS 46349 HAS SOUS 33027 HAS SOUPS 33027 WITH SCORE 33073.349
AT ITER 6167 NEW BEST:: SOT 157477 SOS 46326 HAS SOPS 46326 HAS SOUS 33004 HAS SOUPS 33004 WITH SCORE 33050.326
AT ITER 6172 NEW BEST:: SOT 157477 SOS 46117 HAS SOPS 46117 HAS SOUS 32832 HAS SOUPS 32832 WITH SCORE 32878.117
AT ITER 6197 NEW BEST:: SOT 157468 SOS 46115 HAS SOPS 46115 HAS SOUS 32830 HAS SOUPS 32830 WITH SCORE 32876.115
AT ITER 6210 NEW BEST:: SOT 157466 SOS 46105 HAS SOPS 46105 HAS SOUS 32826 HAS SOUPS 32826 WITH SCORE 32872.105
AT ITER 6213 NEW BEST:: SOT 157551 SOS 46165 HAS SOPS 46165 HAS SOUS 32776 HAS SOUPS 32776 WITH SCORE 32822.165
AT ITER 6221 NEW BEST:: SOT 157534 SOS 46148 HAS SOPS 46148 HAS SOUS 32759 HAS SOUPS 32759 WITH SCORE 32805.148
AT ITER 6269 NEW BEST:: SOT 157538 SOS 45952 HAS SOPS 45952 HAS SOUS 32733 HAS SOUPS 32733 WITH SCORE 32778.952
AT ITER 6293 NEW BEST:: SOT 157522 SOS 45889 HAS SOPS 45889 HAS SOUS 32706 HAS SOUPS 32706 WITH SCORE 32751.889
AT ITER 6342 NEW BEST:: SOT 157525 SOS 45851 HAS SOPS 45851 HAS SOUS 32668 HAS SOUPS 32668 WITH SCORE 32713.851
AT ITER 6366 NEW BEST:: SOT 157527 SOS 45845 HAS SOPS 45845 HAS SOUS 32662 HAS SOUPS 32662 WITH SCORE 32707.845
AT ITER 6369 NEW BEST:: SOT 157527 SOS 45826 HAS SOPS 45826 HAS SOUS 32662 HAS SOUPS 32662 WITH SCORE 32707.826
AT ITER 6370 NEW BEST:: SOT 157491 SOS 45822 HAS SOPS 45822 HAS SOUS 32613 HAS SOUPS 32613 WITH SCORE 32658.822
AT ITER 6384 NEW BEST:: SOT 157481 SOS 45805 HAS SOPS 45805 HAS SOUS 32596 HAS SOUPS 32596 WITH SCORE 32641.805
AT ITER 6415 NEW BEST:: SOT 157489 SOS 45796 HAS SOPS 45796 HAS SOUS 32587 HAS SOUPS 32587 WITH SCORE 32632.796
AT ITER 6442 NEW BEST:: SOT 157458 SOS 45808 HAS SOPS 45808 HAS SOUS 32580 HAS SOUPS 32580 WITH SCORE 32625.808
AT ITER 6443 NEW BEST:: SOT 157454 SOS 45802 HAS SOPS 45802 HAS SOUS 32574 HAS SOUPS 32574 WITH SCORE 32619.802
AT ITER 6445 NEW BEST:: SOT 157443 SOS 45791 HAS SOPS 45791 HAS SOUS 32563 HAS SOUPS 32563 WITH SCORE 32608.791
AT ITER 6452 NEW BEST:: SOT 157405 SOS 45765 HAS SOPS 45765 HAS SOUS 32537 HAS SOUPS 32537 WITH SCORE 32582.765
AT ITER 6463 NEW BEST:: SOT 157402 SOS 45760 HAS SOPS 45760 HAS SOUS 32532 HAS SOUPS 32532 WITH SCORE 32577.76
AT ITER 6503 NEW BEST:: SOT 157397 SOS 45755 HAS SOPS 45755 HAS SOUS 32527 HAS SOUPS 32527 WITH SCORE 32572.755
AT ITER 6527 NEW BEST:: SOT 157368 SOS 45726 HAS SOPS 45726 HAS SOUS 32527 HAS SOUPS 32527 WITH SCORE 32572.726
AT ITER 6733 NEW BEST:: SOT 157381 SOS 45724 HAS SOPS 45724 HAS SOUS 32525 HAS SOUPS 32525 WITH SCORE 32570.724
AT ITER 6753 NEW BEST:: SOT 157427 SOS 45773 HAS SOPS 45773 HAS SOUS 32508 HAS SOUPS 32508 WITH SCORE 32553.773
AT ITER 6754 NEW BEST:: SOT 157414 SOS 45760 HAS SOPS 45760 HAS SOUS 32508 HAS SOUPS 32508 WITH SCORE 32553.76
AT ITER 6764 NEW BEST:: SOT 157414 SOS 45757 HAS SOPS 45757 HAS SOUS 32505 HAS SOUPS 32505 WITH SCORE 32550.757
AT ITER 6800 NEW BEST:: SOT 157403 SOS 45746 HAS SOPS 45746 HAS SOUS 32494 HAS SOUPS 32494 WITH SCORE 32539.746
AT ITER 6805 NEW BEST:: SOT 157403 SOS 45702 HAS SOPS 45702 HAS SOUS 32450 HAS SOUPS 32450 WITH SCORE 32495.702
AT ITER 6810 NEW BEST:: SOT 157364 SOS 45678 HAS SOPS 45678 HAS SOUS 32449 HAS SOUPS 32449 WITH SCORE 32494.678
AT ITER 6842 NEW BEST:: SOT 157373 SOS 45668 HAS SOPS 45668 HAS SOUS 32439 HAS SOUPS 32439 WITH SCORE 32484.668
AT ITER 6865 NEW BEST:: SOT 157168 SOS 45503 HAS SOPS 45503 HAS SOUS 32389 HAS SOUPS 32389 WITH SCORE 32434.503
AT ITER 6895 NEW BEST:: SOT 157159 SOS 45502 HAS SOPS 45502 HAS SOUS 32388 HAS SOUPS 32388 WITH SCORE 32433.502
AT ITER 6902 NEW BEST:: SOT 157131 SOS 45474 HAS SOPS 45474 HAS SOUS 32360 HAS SOUPS 32360 WITH SCORE 32405.474
AT ITER 6911 NEW BEST:: SOT 157131 SOS 45468 HAS SOPS 45468 HAS SOUS 32357 HAS SOUPS 32357 WITH SCORE 32402.468
AT ITER 6920 NEW BEST:: SOT 157130 SOS 45466 HAS SOPS 45466 HAS SOUS 32355 HAS SOUPS 32355 WITH SCORE 32400.466
AT ITER 6924 NEW BEST:: SOT 157220 SOS 45520 HAS SOPS 45520 HAS SOUS 32346 HAS SOUPS 32346 WITH SCORE 32391.52
AT ITER 6929 NEW BEST:: SOT 157219 SOS 45518 HAS SOPS 45518 HAS SOUS 32344 HAS SOUPS 32344 WITH SCORE 32389.518
AT ITER 6930 NEW BEST:: SOT 157191 SOS 45490 HAS SOPS 45490 HAS SOUS 32316 HAS SOUPS 32316 WITH SCORE 32361.49
AT ITER 6932 NEW BEST:: SOT 157213 SOS 45476 HAS SOPS 45476 HAS SOUS 32302 HAS SOUPS 32302 WITH SCORE 32347.476
AT ITER 6957 NEW BEST:: SOT 157212 SOS 45475 HAS SOPS 45475 HAS SOUS 32301 HAS SOUPS 32301 WITH SCORE 32346.475
AT ITER 7043 NEW BEST:: SOT 157202 SOS 45455 HAS SOPS 45455 HAS SOUS 32281 HAS SOUPS 32281 WITH SCORE 32326.455
AT ITER 7065 NEW BEST:: SOT 157175 SOS 45440 HAS SOPS 45440 HAS SOUS 32266 HAS SOUPS 32266 WITH SCORE 32311.44
AT ITER 7090 NEW BEST:: SOT 157163 SOS 45433 HAS SOPS 45433 HAS SOUS 32259 HAS SOUPS 32259 WITH SCORE 32304.433
AT ITER 7128 NEW BEST:: SOT 157108 SOS 45363 HAS SOPS 45363 HAS SOUS 32229 HAS SOUPS 32229 WITH SCORE 32274.363
AT ITER 7133 NEW BEST:: SOT 157105 SOS 45357 HAS SOPS 45357 HAS SOUS 32223 HAS SOUPS 32223 WITH SCORE 32268.357
AT ITER 7134 NEW BEST:: SOT 157213 SOS 45448 HAS SOPS 45448 HAS SOUS 32189 HAS SOUPS 32189 WITH SCORE 32234.448
AT ITER 7171 NEW BEST:: SOT 157284 SOS 45447 HAS SOPS 45447 HAS SOUS 32188 HAS SOUPS 32188 WITH SCORE 32233.447
AT ITER 7179 NEW BEST:: SOT 157267 SOS 45446 HAS SOPS 45446 HAS SOUS 32187 HAS SOUPS 32187 WITH SCORE 32232.446
AT ITER 7196 NEW BEST:: SOT 157267 SOS 45441 HAS SOPS 45441 HAS SOUS 32182 HAS SOUPS 32182 WITH SCORE 32227.441
AT ITER 7210 NEW BEST:: SOT 157274 SOS 45416 HAS SOPS 45416 HAS SOUS 32157 HAS SOUPS 32157 WITH SCORE 32202.416
AT ITER 7235 NEW BEST:: SOT 157270 SOS 45412 HAS SOPS 45412 HAS SOUS 32153 HAS SOUPS 32153 WITH SCORE 32198.412
AT ITER 7254 NEW BEST:: SOT 157237 SOS 45379 HAS SOPS 45379 HAS SOUS 32120 HAS SOUPS 32120 WITH SCORE 32165.379
AT ITER 7353 NEW BEST:: SOT 157144 SOS 45286 HAS SOPS 45286 HAS SOUS 32108 HAS SOUPS 32108 WITH SCORE 32153.286
AT ITER 7360 NEW BEST:: SOT 157119 SOS 45250 HAS SOPS 45250 HAS SOUS 32086 HAS SOUPS 32086 WITH SCORE 32131.25
AT ITER 7362 NEW BEST:: SOT 157136 SOS 45109 HAS SOPS 45109 HAS SOUS 32036 HAS SOUPS 32036 WITH SCORE 32081.109
AT ITER 7415 NEW BEST:: SOT 157126 SOS 45106 HAS SOPS 45106 HAS SOUS 32033 HAS SOUPS 32033 WITH SCORE 32078.106
AT ITER 7462 NEW BEST:: SOT 157126 SOS 45102 HAS SOPS 45102 HAS SOUS 32029 HAS SOUPS 32029 WITH SCORE 32074.102
AT ITER 7499 NEW BEST:: SOT 157114 SOS 45090 HAS SOPS 45090 HAS SOUS 32017 HAS SOUPS 32017 WITH SCORE 32062.09
AT ITER 7521 NEW BEST:: SOT 157114 SOS 45089 HAS SOPS 45089 HAS SOUS 32016 HAS SOUPS 32016 WITH SCORE 32061.089
AT ITER 7534 NEW BEST:: SOT 157114 SOS 45081 HAS SOPS 45081 HAS SOUS 32008 HAS SOUPS 32008 WITH SCORE 32053.081
AT ITER 7549 NEW BEST:: SOT 157113 SOS 45080 HAS SOPS 45080 HAS SOUS 32007 HAS SOUPS 32007 WITH SCORE 32052.08
AT ITER 7553 NEW BEST:: SOT 157099 SOS 45066 HAS SOPS 45066 HAS SOUS 31993 HAS SOUPS 31993 WITH SCORE 32038.066
AT ITER 7579 NEW BEST:: SOT 157075 SOS 45043 HAS SOPS 45043 HAS SOUS 31970 HAS SOUPS 31970 WITH SCORE 32015.043
AT ITER 7591 NEW BEST:: SOT 157066 SOS 45025 HAS SOPS 45025 HAS SOUS 31952 HAS SOUPS 31952 WITH SCORE 31997.025
AT ITER 7628 NEW BEST:: SOT 157065 SOS 45023 HAS SOPS 45023 HAS SOUS 31951 HAS SOUPS 31951 WITH SCORE 31996.023
AT ITER 7677 NEW BEST:: SOT 157050 SOS 44993 HAS SOPS 44993 HAS SOUS 31921 HAS SOUPS 31921 WITH SCORE 31965.993
AT ITER 7737 NEW BEST:: SOT 157022 SOS 44965 HAS SOPS 44965 HAS SOUS 31893 HAS SOUPS 31893 WITH SCORE 31937.965
AT ITER 7797 NEW BEST:: SOT 157016 SOS 44953 HAS SOPS 44953 HAS SOUS 31881 HAS SOUPS 31881 WITH SCORE 31925.953
AT ITER 7855 NEW BEST:: SOT 157008 SOS 44929 HAS SOPS 44929 HAS SOUS 31865 HAS SOUPS 31865 WITH SCORE 31909.929
AT ITER 7858 NEW BEST:: SOT 157008 SOS 44940 HAS SOPS 44940 HAS SOUS 31863 HAS SOUPS 31863 WITH SCORE 31907.94
AT ITER 7867 NEW BEST:: SOT 157008 SOS 44925 HAS SOPS 44925 HAS SOUS 31848 HAS SOUPS 31848 WITH SCORE 31892.925
AT ITER 7880 NEW BEST:: SOT 157005 SOS 44919 HAS SOPS 44919 HAS SOUS 31845 HAS SOUPS 31845 WITH SCORE 31889.919
AT ITER 7888 NEW BEST:: SOT 157000 SOS 44914 HAS SOPS 44914 HAS SOUS 31840 HAS SOUPS 31840 WITH SCORE 31884.914
AT ITER 7896 NEW BEST:: SOT 156985 SOS 44901 HAS SOPS 44901 HAS SOUS 31827 HAS SOUPS 31827 WITH SCORE 31871.901
AT ITER 7900 NEW BEST:: SOT 156972 SOS 44875 HAS SOPS 44875 HAS SOUS 31814 HAS SOUPS 31814 WITH SCORE 31858.875
AT ITER 7916 NEW BEST:: SOT 156972 SOS 44833 HAS SOPS 44833 HAS SOUS 31772 HAS SOUPS 31772 WITH SCORE 31816.833
AT ITER 7930 NEW BEST:: SOT 156968 SOS 44829 HAS SOPS 44829 HAS SOUS 31768 HAS SOUPS 31768 WITH SCORE 31812.829
AT ITER 7958 NEW BEST:: SOT 156964 SOS 44821 HAS SOPS 44821 HAS SOUS 31760 HAS SOUPS 31760 WITH SCORE 31804.821
AT ITER 8038 NEW BEST:: SOT 156954 SOS 44811 HAS SOPS 44811 HAS SOUS 31750 HAS SOUPS 31750 WITH SCORE 31794.811
AT ITER 8059 NEW BEST:: SOT 156939 SOS 44855 HAS SOPS 44855 HAS SOUS 31749 HAS SOUPS 31749 WITH SCORE 31793.855
AT ITER 8086 NEW BEST:: SOT 156884 SOS 44791 HAS SOPS 44791 HAS SOUS 31731 HAS SOUPS 31731 WITH SCORE 31775.791
AT ITER 8088 NEW BEST:: SOT 156951 SOS 44855 HAS SOPS 44855 HAS SOUS 31725 HAS SOUPS 31725 WITH SCORE 31769.855
AT ITER 8139 NEW BEST:: SOT 156951 SOS 44842 HAS SOPS 44842 HAS SOUS 31712 HAS SOUPS 31712 WITH SCORE 31756.842
AT ITER 8211 NEW BEST:: SOT 156951 SOS 44838 HAS SOPS 44838 HAS SOUS 31708 HAS SOUPS 31708 WITH SCORE 31752.838
AT ITER 8272 NEW BEST:: SOT 156959 SOS 44842 HAS SOPS 44842 HAS SOUS 31705 HAS SOUPS 31705 WITH SCORE 31749.842
AT ITER 8296 NEW BEST:: SOT 156956 SOS 44839 HAS SOPS 44839 HAS SOUS 31702 HAS SOUPS 31702 WITH SCORE 31746.839
AT ITER 8307 NEW BEST:: SOT 156924 SOS 44807 HAS SOPS 44807 HAS SOUS 31670 HAS SOUPS 31670 WITH SCORE 31714.807
AT ITER 8339 NEW BEST:: SOT 156809 SOS 44792 HAS SOPS 44792 HAS SOUS 31598 HAS SOUPS 31598 WITH SCORE 31642.792
AT ITER 8352 NEW BEST:: SOT 156799 SOS 44789 HAS SOPS 44789 HAS SOUS 31595 HAS SOUPS 31595 WITH SCORE 31639.789
AT ITER 8368 NEW BEST:: SOT 156813 SOS 44788 HAS SOPS 44788 HAS SOUS 31594 HAS SOUPS 31594 WITH SCORE 31638.788
AT ITER 8390 NEW BEST:: SOT 156813 SOS 44788 HAS SOPS 44788 HAS SOUS 31581 HAS SOUPS 31581 WITH SCORE 31625.788
AT ITER 8399 NEW BEST:: SOT 156733 SOS 44708 HAS SOPS 44708 HAS SOUS 31543 HAS SOUPS 31543 WITH SCORE 31587.708
AT ITER 8412 NEW BEST:: SOT 156772 SOS 44739 HAS SOPS 44739 HAS SOUS 31527 HAS SOUPS 31527 WITH SCORE 31571.739
AT ITER 8421 NEW BEST:: SOT 156772 SOS 44738 HAS SOPS 44738 HAS SOUS 31526 HAS SOUPS 31526 WITH SCORE 31570.738
AT ITER 8451 NEW BEST:: SOT 156771 SOS 44737 HAS SOPS 44737 HAS SOUS 31526 HAS SOUPS 31526 WITH SCORE 31570.737
AT ITER 8497 NEW BEST:: SOT 156761 SOS 44727 HAS SOPS 44727 HAS SOUS 31516 HAS SOUPS 31516 WITH SCORE 31560.727
AT ITER 8569 NEW BEST:: SOT 156754 SOS 44721 HAS SOPS 44721 HAS SOUS 31510 HAS SOUPS 31510 WITH SCORE 31554.721
AT ITER 8604 NEW BEST:: SOT 156699 SOS 44693 HAS SOPS 44693 HAS SOUS 31482 HAS SOUPS 31482 WITH SCORE 31526.693
AT ITER 8674 NEW BEST:: SOT 156690 SOS 44684 HAS SOPS 44684 HAS SOUS 31464 HAS SOUPS 31464 WITH SCORE 31508.684
AT ITER 8710 NEW BEST:: SOT 156690 SOS 44679 HAS SOPS 44679 HAS SOUS 31459 HAS SOUPS 31459 WITH SCORE 31503.679
AT ITER 8717 NEW BEST:: SOT 156749 SOS 44641 HAS SOPS 44641 HAS SOUS 31454 HAS SOUPS 31454 WITH SCORE 31498.641
AT ITER 8737 NEW BEST:: SOT 156702 SOS 44616 HAS SOPS 44616 HAS SOUS 31429 HAS SOUPS 31429 WITH SCORE 31473.616
AT ITER 8812 NEW BEST:: SOT 156702 SOS 44607 HAS SOPS 44607 HAS SOUS 31429 HAS SOUPS 31429 WITH SCORE 31473.607
AT ITER 8867 NEW BEST:: SOT 156702 SOS 44601 HAS SOPS 44601 HAS SOUS 31423 HAS SOUPS 31423 WITH SCORE 31467.601
AT ITER 8870 NEW BEST:: SOT 156720 SOS 44573 HAS SOPS 44573 HAS SOUS 31395 HAS SOUPS 31395 WITH SCORE 31439.573
AT ITER 8873 NEW BEST:: SOT 156663 SOS 44566 HAS SOPS 44566 HAS SOUS 31372 HAS SOUPS 31372 WITH SCORE 31416.566
AT ITER 8876 NEW BEST:: SOT 156663 SOS 44554 HAS SOPS 44554 HAS SOUS 31360 HAS SOUPS 31360 WITH SCORE 31404.554
AT ITER 8880 NEW BEST:: SOT 156606 SOS 44497 HAS SOPS 44497 HAS SOUS 31360 HAS SOUPS 31360 WITH SCORE 31404.497
AT ITER 8908 NEW BEST:: SOT 156631 SOS 44475 HAS SOPS 44475 HAS SOUS 31338 HAS SOUPS 31338 WITH SCORE 31382.475
AT ITER 8921 NEW BEST:: SOT 156627 SOS 44473 HAS SOPS 44473 HAS SOUS 31336 HAS SOUPS 31336 WITH SCORE 31380.473
AT ITER 8968 NEW BEST:: SOT 156606 SOS 44431 HAS SOPS 44431 HAS SOUS 31294 HAS SOUPS 31294 WITH SCORE 31338.431
AT ITER 8982 NEW BEST:: SOT 156611 SOS 44441 HAS SOPS 44441 HAS SOUS 31290 HAS SOUPS 31290 WITH SCORE 31334.441
AT ITER 9031 NEW BEST:: SOT 156702 SOS 44491 HAS SOPS 44491 HAS SOUS 31271 HAS SOUPS 31271 WITH SCORE 31315.491
AT ITER 9046 NEW BEST:: SOT 156714 SOS 44472 HAS SOPS 44472 HAS SOUS 31252 HAS SOUPS 31252 WITH SCORE 31296.472
AT ITER 9119 NEW BEST:: SOT 156725 SOS 44462 HAS SOPS 44462 HAS SOUS 31231 HAS SOUPS 31231 WITH SCORE 31275.462
AT ITER 9171 NEW BEST:: SOT 156779 SOS 44570 HAS SOPS 44570 HAS SOUS 31223 HAS SOUPS 31223 WITH SCORE 31267.57
AT ITER 9194 NEW BEST:: SOT 156743 SOS 44516 HAS SOPS 44516 HAS SOUS 31187 HAS SOUPS 31187 WITH SCORE 31231.516
AT ITER 9209 NEW BEST:: SOT 156743 SOS 44516 HAS SOPS 44516 HAS SOUS 31151 HAS SOUPS 31151 WITH SCORE 31195.516
AT ITER 9303 NEW BEST:: SOT 156755 SOS 44540 HAS SOPS 44540 HAS SOUS 31127 HAS SOUPS 31127 WITH SCORE 31171.54
AT ITER 9313 NEW BEST:: SOT 156755 SOS 44526 HAS SOPS 44526 HAS SOUS 31113 HAS SOUPS 31113 WITH SCORE 31157.526
AT ITER 9346 NEW BEST:: SOT 156564 SOS 44273 HAS SOPS 44273 HAS SOUS 30982 HAS SOUPS 30982 WITH SCORE 31026.273
AT ITER 9369 NEW BEST:: SOT 156582 SOS 44255 HAS SOPS 44255 HAS SOUS 30964 HAS SOUPS 30964 WITH SCORE 31008.255
AT ITER 9392 NEW BEST:: SOT 156491 SOS 44148 HAS SOPS 44148 HAS SOUS 30932 HAS SOUPS 30932 WITH SCORE 30976.148
AT ITER 9395 NEW BEST:: SOT 156456 SOS 44113 HAS SOPS 44113 HAS SOUS 30904 HAS SOUPS 30904 WITH SCORE 30948.113
AT ITER 9417 NEW BEST:: SOT 156447 SOS 44095 HAS SOPS 44095 HAS SOUS 30895 HAS SOUPS 30895 WITH SCORE 30939.095
AT ITER 9419 NEW BEST:: SOT 156447 SOS 44089 HAS SOPS 44089 HAS SOUS 30883 HAS SOUPS 30883 WITH SCORE 30927.089
AT ITER 9431 NEW BEST:: SOT 156404 SOS 44003 HAS SOPS 44003 HAS SOUS 30840 HAS SOUPS 30840 WITH SCORE 30884.003
AT ITER 9448 NEW BEST:: SOT 156404 SOS 43968 HAS SOPS 43968 HAS SOUS 30805 HAS SOUPS 30805 WITH SCORE 30848.968
AT ITER 9503 NEW BEST:: SOT 156403 SOS 43967 HAS SOPS 43967 HAS SOUS 30804 HAS SOUPS 30804 WITH SCORE 30847.967
AT ITER 9527 NEW BEST:: SOT 156400 SOS 43964 HAS SOPS 43964 HAS SOUS 30804 HAS SOUPS 30804 WITH SCORE 30847.964
AT ITER 9533 NEW BEST:: SOT 156368 SOS 43900 HAS SOPS 43900 HAS SOUS 30749 HAS SOUPS 30749 WITH SCORE 30792.9
AT ITER 9534 NEW BEST:: SOT 156368 SOS 43890 HAS SOPS 43890 HAS SOUS 30749 HAS SOUPS 30749 WITH SCORE 30792.89
AT ITER 9580 NEW BEST:: SOT 156318 SOS 43840 HAS SOPS 43840 HAS SOUS 30699 HAS SOUPS 30699 WITH SCORE 30742.84
AT ITER 9626 NEW BEST:: SOT 156292 SOS 43829 HAS SOPS 43829 HAS SOUS 30688 HAS SOUPS 30688 WITH SCORE 30731.829
AT ITER 9628 NEW BEST:: SOT 156303 SOS 43851 HAS SOPS 43851 HAS SOUS 30680 HAS SOUPS 30680 WITH SCORE 30723.851
AT ITER 9790 NEW BEST:: SOT 156287 SOS 43819 HAS SOPS 43819 HAS SOUS 30648 HAS SOUPS 30648 WITH SCORE 30691.819
AT ITER 9809 NEW BEST:: SOT 156282 SOS 43814 HAS SOPS 43814 HAS SOUS 30643 HAS SOUPS 30643 WITH SCORE 30686.814
AT ITER 9835 NEW BEST:: SOT 156268 SOS 43820 HAS SOPS 43820 HAS SOUS 30629 HAS SOUPS 30629 WITH SCORE 30672.82
AT ITER 9876 NEW BEST:: SOT 156267 SOS 43818 HAS SOPS 43818 HAS SOUS 30627 HAS SOUPS 30627 WITH SCORE 30670.818
AT ITER 9898 NEW BEST:: SOT 156219 SOS 43757 HAS SOPS 43757 HAS SOUS 30601 HAS SOUPS 30601 WITH SCORE 30644.757
AT ITER 9903 NEW BEST:: SOT 156168 SOS 43699 HAS SOPS 43699 HAS SOUS 30587 HAS SOUPS 30587 WITH SCORE 30630.699
AT ITER 9911 NEW BEST:: SOT 156189 SOS 43630 HAS SOPS 43630 HAS SOUS 30564 HAS SOUPS 30564 WITH SCORE 30607.63
AT ITER 9951 NEW BEST:: SOT 156185 SOS 43625 HAS SOPS 43625 HAS SOUS 30559 HAS SOUPS 30559 WITH SCORE 30602.625
AT ITER 9967 NEW BEST:: SOT 156182 SOS 43621 HAS SOPS 43621 HAS SOUS 30555 HAS SOUPS 30555 WITH SCORE 30598.621
AT ITER 9970 NEW BEST:: SOT 156174 SOS 43605 HAS SOPS 43605 HAS SOUS 30547 HAS SOUPS 30547 WITH SCORE 30590.605
AT ITER 9972 NEW BEST:: SOT 156154 SOS 43663 HAS SOPS 43663 HAS SOUS 30527 HAS SOUPS 30527 WITH SCORE 30570.663
AT ITER 9988 NEW BEST:: SOT 156154 SOS 43651 HAS SOPS 43651 HAS SOUS 30515 HAS SOUPS 30515 WITH SCORE 30558.651
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 15423164 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16156220 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
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="BusinessProcesses-PT-11"
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 BusinessProcesses-PT-11, 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 r035-tajo-167813688300536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-11.tgz
mv BusinessProcesses-PT-11 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 '
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 ;