Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472900784.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 DLCround-PT-13a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472900784
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.3K Feb 25 20:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 20:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 19:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 19:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 22:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 22:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 21:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 21:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 987K 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 1678264330561

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=DLCround-PT-13a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 13a
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: 463 places, 3847 transitions, 15089 arcs.
AT ITER 0 NEW BEST:: SOT 1098087 SOS 951716 HAS SOPS 579739 HAS SOUS 102156 HAS SOUPS 74420 WITH SCORE 75371.716
AT ITER 3 NEW BEST:: SOT 1100650 SOS 950536 HAS SOPS 579215 HAS SOUS 104447 HAS SOUPS 74238 WITH SCORE 75188.536
AT ITER 20 NEW BEST:: SOT 1100618 SOS 947592 HAS SOPS 576271 HAS SOUS 104447 HAS SOUPS 74238 WITH SCORE 75185.592
AT ITER 32 NEW BEST:: SOT 1100794 SOS 946266 HAS SOPS 576781 HAS SOUS 104303 HAS SOUPS 74202 WITH SCORE 75148.266
AT ITER 41 NEW BEST:: SOT 1102553 SOS 944851 HAS SOPS 576180 HAS SOUS 107383 HAS SOUPS 74116 WITH SCORE 75060.851
AT ITER 45 NEW BEST:: SOT 1102447 SOS 942837 HAS SOPS 575407 HAS SOUS 107291 HAS SOUPS 74097 WITH SCORE 75039.837
AT ITER 56 NEW BEST:: SOT 1104455 SOS 941807 HAS SOPS 574791 HAS SOUS 110703 HAS SOUPS 74027 WITH SCORE 74968.807
AT ITER 69 NEW BEST:: SOT 1103628 SOS 939418 HAS SOPS 574188 HAS SOUS 110619 HAS SOUPS 73970 WITH SCORE 74909.418
AT ITER 73 NEW BEST:: SOT 1103458 SOS 939078 HAS SOPS 574186 HAS SOUS 107746 HAS SOUPS 73955 WITH SCORE 74894.078
AT ITER 97 NEW BEST:: SOT 1105211 SOS 943727 HAS SOPS 578910 HAS SOUS 105574 HAS SOUPS 71601 WITH SCORE 72544.727
AT ITER 106 NEW BEST:: SOT 1105203 SOS 943711 HAS SOPS 578910 HAS SOUS 105566 HAS SOUPS 71601 WITH SCORE 72544.711
AT ITER 110 NEW BEST:: SOT 1106009 SOS 940161 HAS SOPS 578324 HAS SOUS 107545 HAS SOUPS 71472 WITH SCORE 72412.161
AT ITER 117 NEW BEST:: SOT 1104934 SOS 939277 HAS SOPS 576294 HAS SOUS 104450 HAS SOUPS 68341 WITH SCORE 69280.277
AT ITER 132 NEW BEST:: SOT 1104920 SOS 939256 HAS SOPS 576287 HAS SOUS 104436 HAS SOUPS 68334 WITH SCORE 69273.256
AT ITER 135 NEW BEST:: SOT 1104766 SOS 939179 HAS SOPS 576210 HAS SOUS 104359 HAS SOUPS 68257 WITH SCORE 69196.179
AT ITER 147 NEW BEST:: SOT 1104870 SOS 939283 HAS SOPS 575406 HAS SOUS 102520 HAS SOUPS 66213 WITH SCORE 67152.283
AT ITER 149 NEW BEST:: SOT 1104725 SOS 939138 HAS SOPS 575406 HAS SOUS 102520 HAS SOUPS 66213 WITH SCORE 67152.138
AT ITER 169 NEW BEST:: SOT 1104838 SOS 936220 HAS SOPS 574069 HAS SOUS 102386 HAS SOUPS 66172 WITH SCORE 67108.22
AT ITER 171 NEW BEST:: SOT 1104694 SOS 935932 HAS SOPS 574069 HAS SOUS 102242 HAS SOUPS 66172 WITH SCORE 67107.932
AT ITER 174 NEW BEST:: SOT 1104654 SOS 935852 HAS SOPS 574069 HAS SOUS 102202 HAS SOUPS 66172 WITH SCORE 67107.852
AT ITER 175 NEW BEST:: SOT 1104545 SOS 925239 HAS SOPS 565275 HAS SOUS 102084 HAS SOUPS 66161 WITH SCORE 67086.239
AT ITER 176 NEW BEST:: SOT 1104687 SOS 925263 HAS SOPS 565308 HAS SOUS 101970 HAS SOUPS 66096 WITH SCORE 67021.263
AT ITER 193 NEW BEST:: SOT 1104492 SOS 915550 HAS SOPS 557057 HAS SOUS 101763 HAS SOUPS 65975 WITH SCORE 66890.55
AT ITER 194 NEW BEST:: SOT 1104485 SOS 915653 HAS SOPS 557160 HAS SOUS 101750 HAS SOUPS 65962 WITH SCORE 66877.653
AT ITER 197 NEW BEST:: SOT 1104421 SOS 915597 HAS SOPS 557064 HAS SOUS 101590 HAS SOUPS 65802 WITH SCORE 66717.597
AT ITER 199 NEW BEST:: SOT 1104636 SOS 915992 HAS SOPS 556559 HAS SOUS 101405 HAS SOUPS 64917 WITH SCORE 65832.992
AT ITER 204 NEW BEST:: SOT 1104411 SOS 915767 HAS SOPS 556109 HAS SOUS 101405 HAS SOUPS 64917 WITH SCORE 65832.767
AT ITER 205 NEW BEST:: SOT 1104189 SOS 915545 HAS SOPS 555887 HAS SOUS 101405 HAS SOUPS 64917 WITH SCORE 65832.545
AT ITER 206 NEW BEST:: SOT 1106479 SOS 914663 HAS SOPS 555318 HAS SOUS 104841 HAS SOUPS 64756 WITH SCORE 65670.663
AT ITER 208 NEW BEST:: SOT 1106428 SOS 914561 HAS SOPS 555318 HAS SOUS 104790 HAS SOUPS 64756 WITH SCORE 65670.561
AT ITER 209 NEW BEST:: SOT 1106568 SOS 908133 HAS SOPS 549563 HAS SOUS 104789 HAS SOUPS 64755 WITH SCORE 65663.133
AT ITER 214 NEW BEST:: SOT 1106472 SOS 910244 HAS SOPS 551674 HAS SOUS 104719 HAS SOUPS 64685 WITH SCORE 65595.244
AT ITER 223 NEW BEST:: SOT 1106461 SOS 910233 HAS SOPS 551663 HAS SOUS 104726 HAS SOUPS 64684 WITH SCORE 65594.233
AT ITER 233 NEW BEST:: SOT 1106044 SOS 909677 HAS SOPS 551385 HAS SOUS 104587 HAS SOUPS 64684 WITH SCORE 65593.677
AT ITER 276 NEW BEST:: SOT 1105786 SOS 909290 HAS SOPS 551256 HAS SOUS 104329 HAS SOUPS 64555 WITH SCORE 65464.29
AT ITER 280 NEW BEST:: SOT 1105693 SOS 907132 HAS SOPS 550390 HAS SOUS 104219 HAS SOUPS 64521 WITH SCORE 65428.132
AT ITER 284 NEW BEST:: SOT 1105432 SOS 906784 HAS SOPS 550216 HAS SOUS 104132 HAS SOUPS 64521 WITH SCORE 65427.784
AT ITER 289 NEW BEST:: SOT 1105226 SOS 906578 HAS SOPS 550010 HAS SOUS 104132 HAS SOUPS 64521 WITH SCORE 65427.578
AT ITER 296 NEW BEST:: SOT 1105226 SOS 906479 HAS SOPS 550010 HAS SOUS 104033 HAS SOUPS 64521 WITH SCORE 65427.479
AT ITER 299 NEW BEST:: SOT 1105226 SOS 906375 HAS SOPS 549970 HAS SOUS 104017 HAS SOUPS 64513 WITH SCORE 65419.375
AT ITER 303 NEW BEST:: SOT 1105255 SOS 905389 HAS SOPS 549477 HAS SOUS 103959 HAS SOUPS 64484 WITH SCORE 65389.389
AT ITER 311 NEW BEST:: SOT 1105369 SOS 905520 HAS SOPS 549506 HAS SOUS 103870 HAS SOUPS 64395 WITH SCORE 65300.52
AT ITER 315 NEW BEST:: SOT 1105325 SOS 905432 HAS SOPS 549506 HAS SOUS 103826 HAS SOUPS 64395 WITH SCORE 65300.432
AT ITER 322 NEW BEST:: SOT 1105459 SOS 904360 HAS SOPS 549573 HAS SOUS 103759 HAS SOUPS 64395 WITH SCORE 65299.36
AT ITER 352 NEW BEST:: SOT 1105456 SOS 904303 HAS SOPS 549516 HAS SOUS 103755 HAS SOUPS 64391 WITH SCORE 65295.303
AT ITER 357 NEW BEST:: SOT 1105571 SOS 904724 HAS SOPS 549937 HAS SOUS 103572 HAS SOUPS 64208 WITH SCORE 65112.724
AT ITER 367 NEW BEST:: SOT 1105168 SOS 904352 HAS SOPS 549937 HAS SOUS 103073 HAS SOUPS 64206 WITH SCORE 65110.352
AT ITER 371 NEW BEST:: SOT 1104890 SOS 903935 HAS SOPS 549798 HAS SOUS 102795 HAS SOUPS 64067 WITH SCORE 64970.935
AT ITER 379 NEW BEST:: SOT 1104826 SOS 903855 HAS SOPS 549750 HAS SOUS 102763 HAS SOUPS 64051 WITH SCORE 64954.855
AT ITER 394 NEW BEST:: SOT 1104670 SOS 903711 HAS SOPS 549750 HAS SOUS 102565 HAS SOUPS 64047 WITH SCORE 64950.711
AT ITER 396 NEW BEST:: SOT 1104596 SOS 899166 HAS SOPS 545205 HAS SOUS 102534 HAS SOUPS 64016 WITH SCORE 64915.166
AT ITER 402 NEW BEST:: SOT 1104125 SOS 898538 HAS SOPS 544891 HAS SOUS 102359 HAS SOUPS 64006 WITH SCORE 64904.538
AT ITER 405 NEW BEST:: SOT 1104549 SOS 898750 HAS SOPS 545527 HAS SOUS 102192 HAS SOUPS 63884 WITH SCORE 64782.75
AT ITER 417 NEW BEST:: SOT 1104617 SOS 898855 HAS SOPS 545558 HAS SOUS 102229 HAS SOUPS 63872 WITH SCORE 64770.855
AT ITER 418 NEW BEST:: SOT 1108030 SOS 902521 HAS SOPS 549224 HAS SOUS 100586 HAS SOUPS 62229 WITH SCORE 63131.521
AT ITER 426 NEW BEST:: SOT 1107919 SOS 902620 HAS SOPS 548063 HAS SOUS 98618 HAS SOUPS 60049 WITH SCORE 60951.62
AT ITER 428 NEW BEST:: SOT 1107919 SOS 902620 HAS SOPS 548043 HAS SOUS 98606 HAS SOUPS 60037 WITH SCORE 60939.62
AT ITER 429 NEW BEST:: SOT 1107930 SOS 902806 HAS SOPS 548229 HAS SOUS 98605 HAS SOUPS 60036 WITH SCORE 60938.806
AT ITER 443 NEW BEST:: SOT 1109314 SOS 904190 HAS SOPS 549388 HAS SOUS 98468 HAS SOUPS 59899 WITH SCORE 60803.19
AT ITER 461 NEW BEST:: SOT 1109314 SOS 904190 HAS SOPS 549388 HAS SOUS 98460 HAS SOUPS 59891 WITH SCORE 60795.19
AT ITER 466 NEW BEST:: SOT 1109197 SOS 903956 HAS SOPS 549271 HAS SOUS 98226 HAS SOUPS 59774 WITH SCORE 60677.956
AT ITER 468 NEW BEST:: SOT 1109310 SOS 904029 HAS SOPS 549344 HAS SOUS 98203 HAS SOUPS 59751 WITH SCORE 60655.029
AT ITER 470 NEW BEST:: SOT 1108412 SOS 897575 HAS SOPS 545764 HAS SOUS 98384 HAS SOUPS 59718 WITH SCORE 60615.575
AT ITER 476 NEW BEST:: SOT 1108024 SOS 897345 HAS SOPS 545060 HAS SOUS 96479 HAS SOUPS 57944 WITH SCORE 58841.345
AT ITER 478 NEW BEST:: SOT 1107777 SOS 897117 HAS SOPS 545060 HAS SOUS 96175 HAS SOUPS 57944 WITH SCORE 58841.117
AT ITER 481 NEW BEST:: SOT 1107832 SOS 894072 HAS SOPS 543545 HAS SOUS 95920 HAS SOUPS 57779 WITH SCORE 58673.072
AT ITER 482 NEW BEST:: SOT 1107789 SOS 893920 HAS SOPS 543393 HAS SOUS 95817 HAS SOUPS 57676 WITH SCORE 58569.92
AT ITER 485 NEW BEST:: SOT 1107784 SOS 893915 HAS SOPS 543388 HAS SOUS 95812 HAS SOUPS 57671 WITH SCORE 58564.915
AT ITER 490 NEW BEST:: SOT 1107658 SOS 893665 HAS SOPS 543386 HAS SOUS 95677 HAS SOUPS 57664 WITH SCORE 58557.665
AT ITER 491 NEW BEST:: SOT 1107652 SOS 893653 HAS SOPS 543374 HAS SOUS 95668 HAS SOUPS 57655 WITH SCORE 58548.653
AT ITER 502 NEW BEST:: SOT 1107753 SOS 892912 HAS SOPS 542589 HAS SOUS 95621 HAS SOUPS 57608 WITH SCORE 58500.912
AT ITER 509 NEW BEST:: SOT 1107285 SOS 892444 HAS SOPS 542121 HAS SOUS 95621 HAS SOUPS 57608 WITH SCORE 58500.444
AT ITER 511 NEW BEST:: SOT 1107140 SOS 897321 HAS SOPS 544523 HAS SOUS 95545 HAS SOUPS 57532 WITH SCORE 58429.321
AT ITER 520 NEW BEST:: SOT 1107169 SOS 896335 HAS SOPS 544030 HAS SOUS 95487 HAS SOUPS 57503 WITH SCORE 58399.335
AT ITER 537 NEW BEST:: SOT 1106889 SOS 893505 HAS SOPS 543121 HAS SOUS 95261 HAS SOUPS 57390 WITH SCORE 58283.505
AT ITER 539 NEW BEST:: SOT 1106616 SOS 893323 HAS SOPS 542484 HAS SOUS 94625 HAS SOUPS 56430 WITH SCORE 57323.323
AT ITER 562 NEW BEST:: SOT 1106923 SOS 893630 HAS SOPS 542791 HAS SOUS 94614 HAS SOUPS 56419 WITH SCORE 57312.63
AT ITER 576 NEW BEST:: SOT 1107151 SOS 893858 HAS SOPS 542848 HAS SOUS 94158 HAS SOUPS 56020 WITH SCORE 56913.858
AT ITER 581 NEW BEST:: SOT 1107144 SOS 893956 HAS SOPS 542827 HAS SOUS 94151 HAS SOUPS 56006 WITH SCORE 56899.956
AT ITER 587 NEW BEST:: SOT 1107073 SOS 888963 HAS SOPS 540480 HAS SOUS 94080 HAS SOUPS 55998 WITH SCORE 56886.963
AT ITER 590 NEW BEST:: SOT 1107468 SOS 890193 HAS SOPS 540662 HAS SOUS 94025 HAS SOUPS 55943 WITH SCORE 56833.193
AT ITER 596 NEW BEST:: SOT 1107659 SOS 890384 HAS SOPS 540853 HAS SOUS 94012 HAS SOUPS 55930 WITH SCORE 56820.384
AT ITER 599 NEW BEST:: SOT 1107647 SOS 890288 HAS SOPS 540841 HAS SOUS 94000 HAS SOUPS 55924 WITH SCORE 56814.288
AT ITER 602 NEW BEST:: SOT 1107563 SOS 890204 HAS SOPS 540757 HAS SOUS 93991 HAS SOUPS 55923 WITH SCORE 56813.204
AT ITER 603 NEW BEST:: SOT 1106925 SOS 889647 HAS SOPS 539957 HAS SOUS 94133 HAS SOUPS 55915 WITH SCORE 56804.647
AT ITER 624 NEW BEST:: SOT 1107100 SOS 889851 HAS SOPS 539987 HAS SOUS 93989 HAS SOUPS 55771 WITH SCORE 56660.851
AT ITER 634 NEW BEST:: SOT 1107091 SOS 889554 HAS SOPS 539816 HAS SOUS 93980 HAS SOUPS 55762 WITH SCORE 56651.554
AT ITER 663 NEW BEST:: SOT 1107108 SOS 889820 HAS SOPS 540082 HAS SOUS 93957 HAS SOUPS 55739 WITH SCORE 56628.82
AT ITER 678 NEW BEST:: SOT 1106586 SOS 889192 HAS SOPS 539772 HAS SOUS 93324 HAS SOUPS 55400 WITH SCORE 56289.192
AT ITER 683 NEW BEST:: SOT 1107528 SOS 890572 HAS SOPS 539838 HAS SOUS 93185 HAS SOUPS 54837 WITH SCORE 55727.572
AT ITER 684 NEW BEST:: SOT 1107454 SOS 889166 HAS SOPS 539690 HAS SOUS 93071 HAS SOUPS 54797 WITH SCORE 55686.166
AT ITER 688 NEW BEST:: SOT 1107299 SOS 888856 HAS SOPS 539690 HAS SOUS 92916 HAS SOUPS 54797 WITH SCORE 55685.856
AT ITER 694 NEW BEST:: SOT 1105757 SOS 887314 HAS SOPS 537599 HAS SOUS 89541 HAS SOUPS 51605 WITH SCORE 52492.314
AT ITER 695 NEW BEST:: SOT 1106189 SOS 887846 HAS SOPS 537831 HAS SOUS 89423 HAS SOUPS 51487 WITH SCORE 52374.846
AT ITER 702 NEW BEST:: SOT 1106162 SOS 887826 HAS SOPS 537811 HAS SOUS 89376 HAS SOUPS 51440 WITH SCORE 52327.826
AT ITER 705 NEW BEST:: SOT 1106090 SOS 887736 HAS SOPS 537757 HAS SOUS 89340 HAS SOUPS 51422 WITH SCORE 52309.736
AT ITER 707 NEW BEST:: SOT 1106371 SOS 887917 HAS SOPS 538035 HAS SOUS 89284 HAS SOUPS 51418 WITH SCORE 52305.917
AT ITER 709 NEW BEST:: SOT 1106101 SOS 887647 HAS SOPS 537765 HAS SOUS 89014 HAS SOUPS 51148 WITH SCORE 52035.647
AT ITER 726 NEW BEST:: SOT 1106105 SOS 887667 HAS SOPS 537785 HAS SOUS 89004 HAS SOUPS 51138 WITH SCORE 52025.667
AT ITER 730 NEW BEST:: SOT 1106203 SOS 887844 HAS SOPS 537779 HAS SOUS 88991 HAS SOUPS 51089 WITH SCORE 51976.844
AT ITER 740 NEW BEST:: SOT 1105979 SOS 887564 HAS SOPS 537611 HAS SOUS 88879 HAS SOUPS 51033 WITH SCORE 51920.564
AT ITER 741 NEW BEST:: SOT 1106196 SOS 887791 HAS SOPS 537682 HAS SOUS 88596 HAS SOUPS 50802 WITH SCORE 51689.791
AT ITER 747 NEW BEST:: SOT 1106365 SOS 887960 HAS SOPS 537682 HAS SOUS 88587 HAS SOUPS 50797 WITH SCORE 51684.96
AT ITER 749 NEW BEST:: SOT 1106278 SOS 888301 HAS SOPS 538020 HAS SOUS 88550 HAS SOUPS 50760 WITH SCORE 51648.301
AT ITER 757 NEW BEST:: SOT 1106276 SOS 888265 HAS SOPS 537984 HAS SOUS 88548 HAS SOUPS 50758 WITH SCORE 51646.265
AT ITER 766 NEW BEST:: SOT 1106525 SOS 884437 HAS SOPS 537460 HAS SOUS 89788 HAS SOUPS 50566 WITH SCORE 51450.437
AT ITER 773 NEW BEST:: SOT 1107029 SOS 887225 HAS SOPS 538834 HAS SOUS 88494 HAS SOUPS 50553 WITH SCORE 51440.225
AT ITER 777 NEW BEST:: SOT 1106947 SOS 887061 HAS SOPS 538834 HAS SOUS 88403 HAS SOUPS 50548 WITH SCORE 51435.061
AT ITER 786 NEW BEST:: SOT 1106352 SOS 885191 HAS SOPS 538154 HAS SOUS 88573 HAS SOUPS 50463 WITH SCORE 51348.191
AT ITER 794 NEW BEST:: SOT 1106221 SOS 885060 HAS SOPS 537938 HAS SOUS 88527 HAS SOUPS 50417 WITH SCORE 51302.06
AT ITER 801 NEW BEST:: SOT 1105797 SOS 884530 HAS SOPS 537620 HAS SOUS 88315 HAS SOUPS 50311 WITH SCORE 51195.53
AT ITER 806 NEW BEST:: SOT 1106193 SOS 885032 HAS SOPS 537591 HAS SOUS 87153 HAS SOUPS 49326 WITH SCORE 50211.032
AT ITER 818 NEW BEST:: SOT 1106193 SOS 884954 HAS SOPS 537507 HAS SOUS 87145 HAS SOUPS 49318 WITH SCORE 50202.954
AT ITER 821 NEW BEST:: SOT 1106193 SOS 885226 HAS SOPS 537507 HAS SOUS 87145 HAS SOUPS 49302 WITH SCORE 50187.226
AT ITER 830 NEW BEST:: SOT 1106024 SOS 885057 HAS SOPS 537488 HAS SOUS 87126 HAS SOUPS 49283 WITH SCORE 50168.057
AT ITER 835 NEW BEST:: SOT 1106024 SOS 885057 HAS SOPS 537488 HAS SOUS 87081 HAS SOUPS 49258 WITH SCORE 50143.057
AT ITER 845 NEW BEST:: SOT 1105697 SOS 884613 HAS SOPS 537161 HAS SOUS 86955 HAS SOUPS 49207 WITH SCORE 50091.613
AT ITER 856 NEW BEST:: SOT 1105592 SOS 882788 HAS SOPS 537138 HAS SOUS 86927 HAS SOUPS 49179 WITH SCORE 50061.788
AT ITER 881 NEW BEST:: SOT 1105536 SOS 882676 HAS SOPS 537138 HAS SOUS 86871 HAS SOUPS 49179 WITH SCORE 50061.676
AT ITER 882 NEW BEST:: SOT 1105536 SOS 882676 HAS SOPS 537138 HAS SOUS 86827 HAS SOUPS 49147 WITH SCORE 50029.676
AT ITER 891 NEW BEST:: SOT 1105495 SOS 880843 HAS SOPS 535305 HAS SOUS 86786 HAS SOUPS 49106 WITH SCORE 49986.843
AT ITER 903 NEW BEST:: SOT 1105490 SOS 880833 HAS SOPS 535305 HAS SOUS 86781 HAS SOUPS 49106 WITH SCORE 49986.833
AT ITER 911 NEW BEST:: SOT 1105490 SOS 881262 HAS SOPS 535513 HAS SOUS 86781 HAS SOUPS 49093 WITH SCORE 49974.262
AT ITER 913 NEW BEST:: SOT 1105438 SOS 881197 HAS SOPS 535474 HAS SOUS 86755 HAS SOUPS 49080 WITH SCORE 49961.197
AT ITER 914 NEW BEST:: SOT 1105264 SOS 880853 HAS SOPS 535470 HAS SOUS 86581 HAS SOUPS 49076 WITH SCORE 49956.853
AT ITER 920 NEW BEST:: SOT 1105233 SOS 880285 HAS SOPS 535259 HAS SOUS 86540 HAS SOUPS 49056 WITH SCORE 49936.285
AT ITER 925 NEW BEST:: SOT 1105162 SOS 880143 HAS SOPS 535259 HAS SOUS 86469 HAS SOUPS 49056 WITH SCORE 49936.143
AT ITER 933 NEW BEST:: SOT 1105196 SOS 880475 HAS SOPS 535591 HAS SOUS 86458 HAS SOUPS 49045 WITH SCORE 49925.475
AT ITER 944 NEW BEST:: SOT 1105100 SOS 880348 HAS SOPS 535526 HAS SOUS 86424 HAS SOUPS 49042 WITH SCORE 49922.348
AT ITER 945 NEW BEST:: SOT 1105062 SOS 880272 HAS SOPS 535526 HAS SOUS 86386 HAS SOUPS 49042 WITH SCORE 49922.272
AT ITER 970 NEW BEST:: SOT 1104416 SOS 879544 HAS SOPS 534962 HAS SOUS 86350 HAS SOUPS 48989 WITH SCORE 49868.544
AT ITER 976 NEW BEST:: SOT 1104379 SOS 879470 HAS SOPS 534962 HAS SOUS 86313 HAS SOUPS 48989 WITH SCORE 49868.47
AT ITER 982 NEW BEST:: SOT 1104362 SOS 879436 HAS SOPS 534962 HAS SOUS 86296 HAS SOUPS 48989 WITH SCORE 49868.436
AT ITER 994 NEW BEST:: SOT 1104362 SOS 879164 HAS SOPS 534690 HAS SOUS 86280 HAS SOUPS 48973 WITH SCORE 49852.164
AT ITER 998 NEW BEST:: SOT 1104359 SOS 879040 HAS SOPS 534686 HAS SOUS 86155 HAS SOUPS 48969 WITH SCORE 49848.04
AT ITER 1002 NEW BEST:: SOT 1104220 SOS 876165 HAS SOPS 534097 HAS SOUS 85765 HAS SOUPS 48719 WITH SCORE 49595.165
AT ITER 1005 NEW BEST:: SOT 1104082 SOS 875889 HAS SOPS 534045 HAS SOUS 85601 HAS SOUPS 48641 WITH SCORE 49516.889
AT ITER 1021 NEW BEST:: SOT 1103037 SOS 871832 HAS SOPS 532349 HAS SOUS 86428 HAS SOUPS 48180 WITH SCORE 49051.832
AT ITER 1035 NEW BEST:: SOT 1103061 SOS 871908 HAS SOPS 532309 HAS SOUS 86434 HAS SOUPS 48178 WITH SCORE 49049.908
AT ITER 1038 NEW BEST:: SOT 1102995 SOS 871842 HAS SOPS 532243 HAS SOUS 86365 HAS SOUPS 48143 WITH SCORE 49014.842
AT ITER 1043 NEW BEST:: SOT 1102996 SOS 866465 HAS SOPS 527526 HAS SOUS 86302 HAS SOUPS 48080 WITH SCORE 48946.465
AT ITER 1046 NEW BEST:: SOT 1102956 SOS 866385 HAS SOPS 527526 HAS SOUS 86262 HAS SOUPS 48080 WITH SCORE 48946.385
AT ITER 1060 NEW BEST:: SOT 1102686 SOS 866115 HAS SOPS 527256 HAS SOUS 86172 HAS SOUPS 47990 WITH SCORE 48856.115
AT ITER 1063 NEW BEST:: SOT 1103496 SOS 866671 HAS SOPS 528062 HAS SOUS 85669 HAS SOUPS 47741 WITH SCORE 48607.671
AT ITER 1075 NEW BEST:: SOT 1103619 SOS 866794 HAS SOPS 528042 HAS SOUS 85649 HAS SOUPS 47721 WITH SCORE 48587.794
AT ITER 1089 NEW BEST:: SOT 1103199 SOS 866374 HAS SOPS 527622 HAS SOUS 85649 HAS SOUPS 47721 WITH SCORE 48587.374
AT ITER 1094 NEW BEST:: SOT 1103088 SOS 864931 HAS SOPS 526808 HAS SOUS 85575 HAS SOUPS 47684 WITH SCORE 48548.931
AT ITER 1111 NEW BEST:: SOT 1103088 SOS 864931 HAS SOPS 526808 HAS SOUS 85567 HAS SOUPS 47679 WITH SCORE 48543.931
AT ITER 1113 NEW BEST:: SOT 1103088 SOS 864928 HAS SOPS 526808 HAS SOUS 85564 HAS SOUPS 47679 WITH SCORE 48543.928
AT ITER 1126 NEW BEST:: SOT 1103234 SOS 865034 HAS SOPS 526914 HAS SOUS 85546 HAS SOUPS 47661 WITH SCORE 48526.034
AT ITER 1134 NEW BEST:: SOT 1103203 SOS 863150 HAS SOPS 526153 HAS SOUS 85341 HAS SOUPS 47533 WITH SCORE 48396.15
AT ITER 1135 NEW BEST:: SOT 1102875 SOS 862822 HAS SOPS 525740 HAS SOUS 85257 HAS SOUPS 47449 WITH SCORE 48311.822
AT ITER 1141 NEW BEST:: SOT 1102817 SOS 861482 HAS SOPS 525012 HAS SOUS 85177 HAS SOUPS 47405 WITH SCORE 48266.482
AT ITER 1142 NEW BEST:: SOT 1102757 SOS 861422 HAS SOPS 524952 HAS SOUS 85117 HAS SOUPS 47345 WITH SCORE 48206.422
AT ITER 1158 NEW BEST:: SOT 1102665 SOS 862713 HAS SOPS 525398 HAS SOUS 85113 HAS SOUPS 47341 WITH SCORE 48203.713
AT ITER 1171 NEW BEST:: SOT 1102707 SOS 862793 HAS SOPS 525397 HAS SOUS 85116 HAS SOUPS 47323 WITH SCORE 48185.793
AT ITER 1189 NEW BEST:: SOT 1103445 SOS 863415 HAS SOPS 526251 HAS SOUS 84990 HAS SOUPS 47313 WITH SCORE 48176.415
AT ITER 1221 NEW BEST:: SOT 1103413 SOS 861493 HAS SOPS 524329 HAS SOUS 84976 HAS SOUPS 47299 WITH SCORE 48160.493
AT ITER 1234 NEW BEST:: SOT 1103617 SOS 861697 HAS SOPS 524329 HAS SOUS 84805 HAS SOUPS 47204 WITH SCORE 48065.697
AT ITER 1243 NEW BEST:: SOT 1103926 SOS 862006 HAS SOPS 524638 HAS SOUS 84802 HAS SOUPS 47199 WITH SCORE 48061.006
AT ITER 1270 NEW BEST:: SOT 1103898 SOS 861820 HAS SOPS 524592 HAS SOUS 84784 HAS SOUPS 47191 WITH SCORE 48052.82
AT ITER 1291 NEW BEST:: SOT 1104242 SOS 862064 HAS SOPS 525036 HAS SOUS 84630 HAS SOUPS 47121 WITH SCORE 47983.064
AT ITER 1299 NEW BEST:: SOT 1104234 SOS 861808 HAS SOPS 524780 HAS SOUS 84592 HAS SOUPS 47083 WITH SCORE 47944.808
AT ITER 1305 NEW BEST:: SOT 1104168 SOS 859534 HAS SOPS 524291 HAS SOUS 84482 HAS SOUPS 47078 WITH SCORE 47937.534
AT ITER 1341 NEW BEST:: SOT 1104107 SOS 859412 HAS SOPS 524291 HAS SOUS 84421 HAS SOUPS 47078 WITH SCORE 47937.412
AT ITER 1342 NEW BEST:: SOT 1104101 SOS 861787 HAS SOPS 525364 HAS SOUS 84420 HAS SOUPS 47046 WITH SCORE 47907.787
AT ITER 1351 NEW BEST:: SOT 1104170 SOS 862826 HAS SOPS 526403 HAS SOUS 84413 HAS SOUPS 47039 WITH SCORE 47901.826
AT ITER 1381 NEW BEST:: SOT 1104140 SOS 862256 HAS SOPS 526309 HAS SOUS 84355 HAS SOUPS 47009 WITH SCORE 47871.256
AT ITER 1409 NEW BEST:: SOT 1104096 SOS 862110 HAS SOPS 526256 HAS SOUS 84298 HAS SOUPS 47005 WITH SCORE 47867.11
AT ITER 1411 NEW BEST:: SOT 1105198 SOS 863001 HAS SOPS 526291 HAS SOUS 83478 HAS SOUPS 46287 WITH SCORE 47150.001
AT ITER 1428 NEW BEST:: SOT 1105200 SOS 863003 HAS SOPS 526288 HAS SOUS 83475 HAS SOUPS 46284 WITH SCORE 47147.003
AT ITER 1481 NEW BEST:: SOT 1105127 SOS 862901 HAS SOPS 526215 HAS SOUS 83431 HAS SOUPS 46269 WITH SCORE 47131.901
AT ITER 1486 NEW BEST:: SOT 1105126 SOS 862900 HAS SOPS 526214 HAS SOUS 83430 HAS SOUPS 46268 WITH SCORE 47130.9
AT ITER 1490 NEW BEST:: SOT 1105167 SOS 855668 HAS SOPS 520189 HAS SOUS 83356 HAS SOUPS 46265 WITH SCORE 47120.668
AT ITER 1498 NEW BEST:: SOT 1105044 SOS 855520 HAS SOPS 520091 HAS SOUS 83322 HAS SOUPS 46231 WITH SCORE 47086.52
AT ITER 1509 NEW BEST:: SOT 1104935 SOS 855302 HAS SOPS 520091 HAS SOUS 83213 HAS SOUPS 46231 WITH SCORE 47086.302
AT ITER 1513 NEW BEST:: SOT 1104842 SOS 855147 HAS SOPS 520060 HAS SOUS 83182 HAS SOUPS 46231 WITH SCORE 47086.147
AT ITER 1525 NEW BEST:: SOT 1104750 SOS 855032 HAS SOPS 519991 HAS SOUS 83154 HAS SOUPS 46217 WITH SCORE 47072.032
AT ITER 1547 NEW BEST:: SOT 1103929 SOS 851378 HAS SOPS 518055 HAS SOUS 83074 HAS SOUPS 46153 WITH SCORE 47004.378
AT ITER 1552 NEW BEST:: SOT 1103780 SOS 851227 HAS SOPS 518055 HAS SOUS 82649 HAS SOUPS 45839 WITH SCORE 46690.227
AT ITER 1569 NEW BEST:: SOT 1103700 SOS 851127 HAS SOPS 517995 HAS SOUS 82609 HAS SOUPS 45819 WITH SCORE 46670.127
AT ITER 1572 NEW BEST:: SOT 1102830 SOS 850257 HAS SOPS 517125 HAS SOUS 82564 HAS SOUPS 45794 WITH SCORE 46644.257
AT ITER 1584 NEW BEST:: SOT 1102886 SOS 848834 HAS SOPS 516721 HAS SOUS 82480 HAS SOUPS 45768 WITH SCORE 46616.834
AT ITER 1588 NEW BEST:: SOT 1102594 SOS 850060 HAS SOPS 517203 HAS SOUS 82364 HAS SOUPS 45730 WITH SCORE 46580.06
AT ITER 1610 NEW BEST:: SOT 1102561 SOS 850027 HAS SOPS 517170 HAS SOUS 82342 HAS SOUPS 45708 WITH SCORE 46558.027
AT ITER 1637 NEW BEST:: SOT 1102501 SOS 849887 HAS SOPS 517090 HAS SOUS 82322 HAS SOUPS 45688 WITH SCORE 46537.887
AT ITER 1641 NEW BEST:: SOT 1102567 SOS 846670 HAS SOPS 513723 HAS SOUS 82307 HAS SOUPS 45673 WITH SCORE 46519.67
AT ITER 1649 NEW BEST:: SOT 1102560 SOS 846663 HAS SOPS 513716 HAS SOUS 82286 HAS SOUPS 45652 WITH SCORE 46498.663
AT ITER 1658 NEW BEST:: SOT 1102537 SOS 846226 HAS SOPS 513670 HAS SOUS 82263 HAS SOUPS 45652 WITH SCORE 46498.226
AT ITER 1676 NEW BEST:: SOT 1102501 SOS 846190 HAS SOPS 513634 HAS SOUS 82263 HAS SOUPS 45652 WITH SCORE 46498.19
AT ITER 1689 NEW BEST:: SOT 1102473 SOS 846127 HAS SOPS 513606 HAS SOUS 82200 HAS SOUPS 45624 WITH SCORE 46470.127
AT ITER 1690 NEW BEST:: SOT 1102710 SOS 846364 HAS SOPS 513715 HAS SOUS 82021 HAS SOUPS 45477 WITH SCORE 46323.364
AT ITER 1713 NEW BEST:: SOT 1102668 SOS 846364 HAS SOPS 513652 HAS SOUS 81999 HAS SOUPS 45455 WITH SCORE 46301.364
AT ITER 1738 NEW BEST:: SOT 1102668 SOS 845916 HAS SOPS 513680 HAS SOUS 81971 HAS SOUPS 45455 WITH SCORE 46300.916
AT ITER 1748 NEW BEST:: SOT 1102605 SOS 845832 HAS SOPS 513617 HAS SOUS 81943 HAS SOUPS 45448 WITH SCORE 46293.832
AT ITER 1753 NEW BEST:: SOT 1099415 SOS 842266 HAS SOPS 510051 HAS SOUS 81584 HAS SOUPS 45089 WITH SCORE 45931.266
AT ITER 1765 NEW BEST:: SOT 1099306 SOS 841580 HAS SOPS 509895 HAS SOUS 81467 HAS SOUPS 45011 WITH SCORE 45852.58
AT ITER 1768 NEW BEST:: SOT 1098550 SOS 840824 HAS SOPS 509139 HAS SOUS 81458 HAS SOUPS 45006 WITH SCORE 45846.824
AT ITER 1780 NEW BEST:: SOT 1098890 SOS 841093 HAS SOPS 509550 HAS SOUS 81410 HAS SOUPS 44992 WITH SCORE 45833.093
AT ITER 1786 NEW BEST:: SOT 1098881 SOS 841075 HAS SOPS 509550 HAS SOUS 81401 HAS SOUPS 44992 WITH SCORE 45833.075
AT ITER 1800 NEW BEST:: SOT 1098893 SOS 840814 HAS SOPS 509517 HAS SOUS 81350 HAS SOUPS 44959 WITH SCORE 45799.814
AT ITER 1843 NEW BEST:: SOT 1098597 SOS 840518 HAS SOPS 509069 HAS SOUS 81324 HAS SOUPS 44933 WITH SCORE 45773.518
AT ITER 1862 NEW BEST:: SOT 1098589 SOS 840506 HAS SOPS 509065 HAS SOUS 81316 HAS SOUPS 44929 WITH SCORE 45769.506
AT ITER 1873 NEW BEST:: SOT 1098544 SOS 839695 HAS SOPS 509002 HAS SOUS 81270 HAS SOUPS 44927 WITH SCORE 45766.695
AT ITER 1875 NEW BEST:: SOT 1098457 SOS 839608 HAS SOPS 508915 HAS SOUS 81183 HAS SOUPS 44840 WITH SCORE 45679.608
AT ITER 1890 NEW BEST:: SOT 1098345 SOS 839384 HAS SOPS 508915 HAS SOUS 81044 HAS SOUPS 44825 WITH SCORE 45664.384
AT ITER 1893 NEW BEST:: SOT 1098361 SOS 839400 HAS SOPS 508915 HAS SOUS 81026 HAS SOUPS 44815 WITH SCORE 45654.4
AT ITER 1894 NEW BEST:: SOT 1098553 SOS 839575 HAS SOPS 509124 HAS SOUS 80942 HAS SOUPS 44768 WITH SCORE 45607.575
AT ITER 1896 NEW BEST:: SOT 1099797 SOS 841217 HAS SOPS 509572 HAS SOUS 80102 HAS SOUPS 43876 WITH SCORE 44717.217
AT ITER 1901 NEW BEST:: SOT 1099706 SOS 841126 HAS SOPS 509572 HAS SOUS 80102 HAS SOUPS 43876 WITH SCORE 44717.126
AT ITER 1939 NEW BEST:: SOT 1099853 SOS 840520 HAS SOPS 508921 HAS SOUS 80081 HAS SOUPS 43855 WITH SCORE 44695.52
AT ITER 1944 NEW BEST:: SOT 1099849 SOS 840514 HAS SOPS 508919 HAS SOUS 80077 HAS SOUPS 43853 WITH SCORE 44693.514
AT ITER 1946 NEW BEST:: SOT 1099814 SOS 840444 HAS SOPS 508919 HAS SOUS 80042 HAS SOUPS 43853 WITH SCORE 44693.444
AT ITER 1963 NEW BEST:: SOT 1099787 SOS 835957 HAS SOPS 505112 HAS SOUS 79993 HAS SOUPS 43844 WITH SCORE 44679.957
AT ITER 1968 NEW BEST:: SOT 1099748 SOS 830918 HAS SOPS 501446 HAS SOUS 79856 HAS SOUPS 43784 WITH SCORE 44614.918
AT ITER 1973 NEW BEST:: SOT 1099704 SOS 830852 HAS SOPS 501446 HAS SOUS 79813 HAS SOUPS 43779 WITH SCORE 44609.852
AT ITER 1985 NEW BEST:: SOT 1099500 SOS 830520 HAS SOPS 501264 HAS SOUS 79579 HAS SOUPS 43651 WITH SCORE 44481.52
AT ITER 1986 NEW BEST:: SOT 1099463 SOS 829884 HAS SOPS 500628 HAS SOUS 79572 HAS SOUPS 43644 WITH SCORE 44473.884
AT ITER 1989 NEW BEST:: SOT 1099440 SOS 829673 HAS SOPS 500605 HAS SOUS 79361 HAS SOUPS 43621 WITH SCORE 44450.673
AT ITER 1994 NEW BEST:: SOT 1099793 SOS 829988 HAS SOPS 500768 HAS SOUS 79258 HAS SOUPS 43556 WITH SCORE 44385.988
AT ITER 2007 NEW BEST:: SOT 1099769 SOS 829964 HAS SOPS 500744 HAS SOUS 79258 HAS SOUPS 43556 WITH SCORE 44385.964
AT ITER 2018 NEW BEST:: SOT 1099542 SOS 829974 HAS SOPS 501092 HAS SOUS 78576 HAS SOUPS 43555 WITH SCORE 44384.974
AT ITER 2019 NEW BEST:: SOT 1099479 SOS 829195 HAS SOPS 501010 HAS SOUS 78473 HAS SOUPS 43493 WITH SCORE 44322.195
AT ITER 2021 NEW BEST:: SOT 1099716 SOS 829584 HAS SOPS 501483 HAS SOUS 78323 HAS SOUPS 43450 WITH SCORE 44279.584
AT ITER 2032 NEW BEST:: SOT 1099707 SOS 829583 HAS SOPS 501397 HAS SOUS 78324 HAS SOUPS 43446 WITH SCORE 44275.583
AT ITER 2034 NEW BEST:: SOT 1099182 SOS 828883 HAS SOPS 500872 HAS SOUS 78130 HAS SOUPS 43427 WITH SCORE 44255.883
AT ITER 2037 NEW BEST:: SOT 1099152 SOS 828734 HAS SOPS 500842 HAS SOUS 77981 HAS SOUPS 43397 WITH SCORE 44225.734
AT ITER 2044 NEW BEST:: SOT 1099187 SOS 830092 HAS SOPS 501808 HAS SOUS 76517 HAS SOUPS 43246 WITH SCORE 44076.092
AT ITER 2048 NEW BEST:: SOT 1099186 SOS 829936 HAS SOPS 501958 HAS SOUS 76495 HAS SOUPS 43242 WITH SCORE 44071.936
AT ITER 2050 NEW BEST:: SOT 1099186 SOS 829936 HAS SOPS 501958 HAS SOUS 76477 HAS SOUPS 43232 WITH SCORE 44061.936
AT ITER 2052 NEW BEST:: SOT 1099175 SOS 829925 HAS SOPS 501958 HAS SOUS 76455 HAS SOUPS 43210 WITH SCORE 44039.925
AT ITER 2055 NEW BEST:: SOT 1099170 SOS 829915 HAS SOPS 501958 HAS SOUS 76450 HAS SOUPS 43210 WITH SCORE 44039.915
AT ITER 2067 NEW BEST:: SOT 1099166 SOS 829669 HAS SOPS 501950 HAS SOUS 76428 HAS SOUPS 43202 WITH SCORE 44031.669
AT ITER 2070 NEW BEST:: SOT 1099113 SOS 829510 HAS SOPS 501895 HAS SOUS 76369 HAS SOUPS 43198 WITH SCORE 44027.51
AT ITER 2075 NEW BEST:: SOT 1098971 SOS 819818 HAS SOPS 493614 HAS SOUS 76181 HAS SOUPS 43093 WITH SCORE 43912.818
AT ITER 2076 NEW BEST:: SOT 1098039 SOS 816636 HAS SOPS 493089 HAS SOUS 76111 HAS SOUPS 43075 WITH SCORE 43891.636
AT ITER 2090 NEW BEST:: SOT 1098039 SOS 816522 HAS SOPS 493089 HAS SOUS 75997 HAS SOUPS 43075 WITH SCORE 43891.522
AT ITER 2106 NEW BEST:: SOT 1097896 SOS 814616 HAS SOPS 493976 HAS SOUS 75611 HAS SOUPS 42847 WITH SCORE 43661.616
AT ITER 2107 NEW BEST:: SOT 1097913 SOS 814974 HAS SOPS 494334 HAS SOUS 75576 HAS SOUPS 42812 WITH SCORE 43626.974
AT ITER 2118 NEW BEST:: SOT 1097852 SOS 814745 HAS SOPS 494272 HAS SOUS 75355 HAS SOUPS 42754 WITH SCORE 43568.745
AT ITER 2134 NEW BEST:: SOT 1097779 SOS 814672 HAS SOPS 494272 HAS SOUS 75355 HAS SOUPS 42754 WITH SCORE 43568.672
AT ITER 2160 NEW BEST:: SOT 1097938 SOS 814777 HAS SOPS 494485 HAS SOUS 75253 HAS SOUPS 42707 WITH SCORE 43521.777
AT ITER 2161 NEW BEST:: SOT 1097868 SOS 814717 HAS SOPS 494425 HAS SOUS 75247 HAS SOUPS 42701 WITH SCORE 43515.717
AT ITER 2169 NEW BEST:: SOT 1097752 SOS 814601 HAS SOPS 494338 HAS SOUS 75218 HAS SOUPS 42672 WITH SCORE 43486.601
AT ITER 2189 NEW BEST:: SOT 1097321 SOS 813414 HAS SOPS 494075 HAS SOUS 75165 HAS SOUPS 42661 WITH SCORE 43474.414
AT ITER 2210 NEW BEST:: SOT 1096349 SOS 811797 HAS SOPS 492737 HAS SOUS 75225 HAS SOUPS 42660 WITH SCORE 43471.797
AT ITER 2212 NEW BEST:: SOT 1096309 SOS 811747 HAS SOPS 492707 HAS SOUS 75205 HAS SOUPS 42650 WITH SCORE 43461.747
AT ITER 2215 NEW BEST:: SOT 1096255 SOS 808777 HAS SOPS 490196 HAS SOUS 75151 HAS SOUPS 42623 WITH SCORE 43431.777
AT ITER 2217 NEW BEST:: SOT 1096246 SOS 808759 HAS SOPS 490196 HAS SOUS 75142 HAS SOUPS 42623 WITH SCORE 43431.759
AT ITER 2314 NEW BEST:: SOT 1096234 SOS 808745 HAS SOPS 490188 HAS SOUS 75141 HAS SOUPS 42622 WITH SCORE 43430.745
AT ITER 2354 NEW BEST:: SOT 1095102 SOS 805619 HAS SOPS 489384 HAS SOUS 75051 HAS SOUPS 42532 WITH SCORE 43337.619
AT ITER 2383 NEW BEST:: SOT 1094975 SOS 805435 HAS SOPS 489384 HAS SOUS 74994 HAS SOUPS 42532 WITH SCORE 43337.435
AT ITER 2391 NEW BEST:: SOT 1094955 SOS 805395 HAS SOPS 489384 HAS SOUS 74974 HAS SOUPS 42532 WITH SCORE 43337.395
AT ITER 2393 NEW BEST:: SOT 1095509 SOS 805822 HAS SOPS 489842 HAS SOUS 74849 HAS SOUPS 42434 WITH SCORE 43239.822
AT ITER 2399 NEW BEST:: SOT 1095572 SOS 805758 HAS SOPS 489246 HAS SOUS 74874 HAS SOUPS 42421 WITH SCORE 43226.758
AT ITER 2402 NEW BEST:: SOT 1095511 SOS 805780 HAS SOPS 489160 HAS SOUS 74813 HAS SOUPS 42360 WITH SCORE 43165.78
AT ITER 2425 NEW BEST:: SOT 1095544 SOS 805164 HAS SOPS 488786 HAS SOUS 74802 HAS SOUPS 42349 WITH SCORE 43154.164
AT ITER 2426 NEW BEST:: SOT 1095612 SOS 805060 HAS SOPS 488778 HAS SOUS 74790 HAS SOUPS 42337 WITH SCORE 43142.06
AT ITER 2428 NEW BEST:: SOT 1094307 SOS 799978 HAS SOPS 486384 HAS SOUS 74606 HAS SOUPS 42238 WITH SCORE 43037.978
AT ITER 2430 NEW BEST:: SOT 1094333 SOS 799879 HAS SOPS 486570 HAS SOUS 74575 HAS SOUPS 42226 WITH SCORE 43025.879
AT ITER 2432 NEW BEST:: SOT 1093998 SOS 798991 HAS SOPS 485582 HAS SOUS 74581 HAS SOUPS 42177 WITH SCORE 42975.991
AT ITER 2446 NEW BEST:: SOT 1093282 SOS 797293 HAS SOPS 485018 HAS SOUS 74577 HAS SOUPS 42172 WITH SCORE 42969.293
AT ITER 2450 NEW BEST:: SOT 1093250 SOS 797245 HAS SOPS 485002 HAS SOUS 74545 HAS SOUPS 42156 WITH SCORE 42953.245
AT ITER 2458 NEW BEST:: SOT 1093969 SOS 797964 HAS SOPS 485346 HAS SOUS 74470 HAS SOUPS 42081 WITH SCORE 42878.964
AT ITER 2470 NEW BEST:: SOT 1094286 SOS 797950 HAS SOPS 484860 HAS SOUS 75396 HAS SOUPS 42072 WITH SCORE 42869.95
AT ITER 2490 NEW BEST:: SOT 1094290 SOS 797946 HAS SOPS 484856 HAS SOUS 75396 HAS SOUPS 42072 WITH SCORE 42869.946
AT ITER 2505 NEW BEST:: SOT 1094318 SOS 798065 HAS SOPS 484891 HAS SOUS 75347 HAS SOUPS 42051 WITH SCORE 42849.065
AT ITER 2525 NEW BEST:: SOT 1094255 SOS 797939 HAS SOPS 484891 HAS SOUS 75284 HAS SOUPS 42051 WITH SCORE 42848.939
AT ITER 2533 NEW BEST:: SOT 1095114 SOS 800294 HAS SOPS 485473 HAS SOUS 75132 HAS SOUPS 41948 WITH SCORE 42748.294
AT ITER 2534 NEW BEST:: SOT 1095108 SOS 800285 HAS SOPS 485470 HAS SOUS 75126 HAS SOUPS 41945 WITH SCORE 42745.285
AT ITER 2535 NEW BEST:: SOT 1095093 SOS 800110 HAS SOPS 485208 HAS SOUS 75130 HAS SOUPS 41936 WITH SCORE 42736.11
AT ITER 2549 NEW BEST:: SOT 1095082 SOS 800094 HAS SOPS 485207 HAS SOUS 75079 HAS SOUPS 41910 WITH SCORE 42710.094
AT ITER 2560 NEW BEST:: SOT 1095302 SOS 800346 HAS SOPS 485363 HAS SOUS 75028 HAS SOUPS 41891 WITH SCORE 42691.346
AT ITER 2575 NEW BEST:: SOT 1094309 SOS 798778 HAS SOPS 483795 HAS SOUS 74646 HAS SOUPS 41509 WITH SCORE 42307.778
AT ITER 2576 NEW BEST:: SOT 1094305 SOS 798774 HAS SOPS 483791 HAS SOUS 74646 HAS SOUPS 41509 WITH SCORE 42307.774
AT ITER 2606 NEW BEST:: SOT 1094283 SOS 799044 HAS SOPS 484004 HAS SOUS 74638 HAS SOUPS 41501 WITH SCORE 42300.044
AT ITER 2610 NEW BEST:: SOT 1094295 SOS 798968 HAS SOPS 484003 HAS SOUS 74632 HAS SOUPS 41500 WITH SCORE 42298.968
AT ITER 2620 NEW BEST:: SOT 1094283 SOS 798811 HAS SOPS 483846 HAS SOUS 74565 HAS SOUPS 41433 WITH SCORE 42231.811
AT ITER 2627 NEW BEST:: SOT 1094283 SOS 798811 HAS SOPS 483846 HAS SOUS 74555 HAS SOUPS 41423 WITH SCORE 42221.811
AT ITER 2668 NEW BEST:: SOT 1093888 SOS 798369 HAS SOPS 483541 HAS SOUS 74547 HAS SOUPS 41376 WITH SCORE 42174.369
AT ITER 2672 NEW BEST:: SOT 1093888 SOS 798369 HAS SOPS 483541 HAS SOUS 74543 HAS SOUPS 41372 WITH SCORE 42170.369
AT ITER 2678 NEW BEST:: SOT 1093883 SOS 798971 HAS SOPS 484143 HAS SOUS 74499 HAS SOUPS 41328 WITH SCORE 42126.971
AT ITER 2691 NEW BEST:: SOT 1093883 SOS 798971 HAS SOPS 484143 HAS SOUS 74400 HAS SOUPS 41273 WITH SCORE 42071.971
AT ITER 2695 NEW BEST:: SOT 1093922 SOS 798509 HAS SOPS 483813 HAS SOUS 74391 HAS SOUPS 41273 WITH SCORE 42071.509
AT ITER 2711 NEW BEST:: SOT 1093908 SOS 798481 HAS SOPS 483813 HAS SOUS 74377 HAS SOUPS 41273 WITH SCORE 42071.481
AT ITER 2713 NEW BEST:: SOT 1093890 SOS 798445 HAS SOPS 483813 HAS SOUS 74359 HAS SOUPS 41273 WITH SCORE 42071.445
AT ITER 2717 NEW BEST:: SOT 1093885 SOS 798435 HAS SOPS 483813 HAS SOUS 74354 HAS SOUPS 41273 WITH SCORE 42071.435
AT ITER 2741 NEW BEST:: SOT 1093565 SOS 797748 HAS SOPS 483665 HAS SOUS 74262 HAS SOUPS 41227 WITH SCORE 42024.748
AT ITER 2746 NEW BEST:: SOT 1093353 SOS 799884 HAS SOPS 485001 HAS SOUS 74258 HAS SOUPS 41223 WITH SCORE 42022.884
AT ITER 2765 NEW BEST:: SOT 1093353 SOS 799744 HAS SOPS 485001 HAS SOUS 74118 HAS SOUPS 41223 WITH SCORE 42022.744
AT ITER 2767 NEW BEST:: SOT 1091326 SOS 794351 HAS SOPS 483656 HAS SOUS 73928 HAS SOUPS 41217 WITH SCORE 42011.351
AT ITER 2780 NEW BEST:: SOT 1091301 SOS 794301 HAS SOPS 483656 HAS SOUS 73903 HAS SOUPS 41217 WITH SCORE 42011.301
AT ITER 2799 NEW BEST:: SOT 1091335 SOS 794539 HAS SOPS 483656 HAS SOUS 73903 HAS SOUPS 41200 WITH SCORE 41994.539
AT ITER 2812 NEW BEST:: SOT 1091279 SOS 793958 HAS SOPS 483348 HAS SOUS 73882 HAS SOUPS 41186 WITH SCORE 41979.958
AT ITER 2817 NEW BEST:: SOT 1091205 SOS 793852 HAS SOPS 483306 HAS SOUS 73828 HAS SOUPS 41164 WITH SCORE 41957.852
AT ITER 2834 NEW BEST:: SOT 1091165 SOS 793812 HAS SOPS 483306 HAS SOUS 73828 HAS SOUPS 41164 WITH SCORE 41957.812
AT ITER 2840 NEW BEST:: SOT 1091147 SOS 793788 HAS SOPS 483282 HAS SOUS 73828 HAS SOUPS 41164 WITH SCORE 41957.788
AT ITER 2886 NEW BEST:: SOT 1090666 SOS 792834 HAS SOPS 482911 HAS SOUS 73716 HAS SOUPS 41075 WITH SCORE 41867.834
AT ITER 2919 NEW BEST:: SOT 1090632 SOS 792800 HAS SOPS 482911 HAS SOUS 73716 HAS SOUPS 41075 WITH SCORE 41867.8
AT ITER 2920 NEW BEST:: SOT 1090631 SOS 792799 HAS SOPS 482911 HAS SOUS 73716 HAS SOUPS 41075 WITH SCORE 41867.799
AT ITER 2921 NEW BEST:: SOT 1090675 SOS 793568 HAS SOPS 484007 HAS SOUS 73580 HAS SOUPS 41042 WITH SCORE 41835.568
AT ITER 2929 NEW BEST:: SOT 1090755 SOS 793935 HAS SOPS 484376 HAS SOUS 73508 HAS SOUPS 40970 WITH SCORE 41763.935
AT ITER 2940 NEW BEST:: SOT 1090687 SOS 793867 HAS SOPS 484376 HAS SOUS 73508 HAS SOUPS 40970 WITH SCORE 41763.867
AT ITER 2971 NEW BEST:: SOT 1090651 SOS 793831 HAS SOPS 484376 HAS SOUS 73508 HAS SOUPS 40970 WITH SCORE 41763.831
AT ITER 2972 NEW BEST:: SOT 1090009 SOS 793189 HAS SOPS 483734 HAS SOUS 73508 HAS SOUPS 40970 WITH SCORE 41763.189
AT ITER 2981 NEW BEST:: SOT 1090013 SOS 793047 HAS SOPS 483626 HAS SOUS 73502 HAS SOUPS 40966 WITH SCORE 41759.047
AT ITER 2998 NEW BEST:: SOT 1089991 SOS 792699 HAS SOPS 482955 HAS SOUS 73518 HAS SOUPS 40963 WITH SCORE 41755.699
AT ITER 3003 NEW BEST:: SOT 1089654 SOS 792333 HAS SOPS 482647 HAS SOUS 73396 HAS SOUPS 40841 WITH SCORE 41633.333
AT ITER 3007 NEW BEST:: SOT 1089645 SOS 792315 HAS SOPS 482647 HAS SOUS 73387 HAS SOUPS 40841 WITH SCORE 41633.315
AT ITER 3014 NEW BEST:: SOT 1088541 SOS 791734 HAS SOPS 481880 HAS SOUS 73494 HAS SOUPS 40810 WITH SCORE 41601.734
AT ITER 3034 NEW BEST:: SOT 1088391 SOS 791564 HAS SOPS 481882 HAS SOUS 73466 HAS SOUPS 40802 WITH SCORE 41593.564
AT ITER 3076 NEW BEST:: SOT 1088157 SOS 791330 HAS SOPS 481648 HAS SOUS 73466 HAS SOUPS 40802 WITH SCORE 41593.33
AT ITER 3086 NEW BEST:: SOT 1088157 SOS 791330 HAS SOPS 481648 HAS SOUS 73452 HAS SOUPS 40788 WITH SCORE 41579.33
AT ITER 3087 NEW BEST:: SOT 1088173 SOS 790911 HAS SOPS 481325 HAS SOUS 73428 HAS SOUPS 40764 WITH SCORE 41554.911
AT ITER 3106 NEW BEST:: SOT 1088000 SOS 790738 HAS SOPS 481239 HAS SOUS 73342 HAS SOUPS 40678 WITH SCORE 41468.738
AT ITER 3111 NEW BEST:: SOT 1088018 SOS 790864 HAS SOPS 481263 HAS SOUS 73342 HAS SOUPS 40672 WITH SCORE 41462.864
AT ITER 3130 NEW BEST:: SOT 1085413 SOS 780761 HAS SOPS 476455 HAS SOUS 72996 HAS SOUPS 40528 WITH SCORE 41308.761
AT ITER 3131 NEW BEST:: SOT 1085044 SOS 779920 HAS SOPS 476182 HAS SOUS 72914 HAS SOUPS 40523 WITH SCORE 41302.92
AT ITER 3136 NEW BEST:: SOT 1085044 SOS 779760 HAS SOPS 476022 HAS SOUS 72914 HAS SOUPS 40523 WITH SCORE 41302.76
AT ITER 3137 NEW BEST:: SOT 1084994 SOS 777140 HAS SOPS 473792 HAS SOUS 72912 HAS SOUPS 40521 WITH SCORE 41298.14
AT ITER 3146 NEW BEST:: SOT 1085228 SOS 777374 HAS SOPS 474026 HAS SOUS 72909 HAS SOUPS 40519 WITH SCORE 41296.374
AT ITER 3155 NEW BEST:: SOT 1085251 SOS 777420 HAS SOPS 474026 HAS SOUS 72924 HAS SOUPS 40514 WITH SCORE 41291.42
AT ITER 3209 NEW BEST:: SOT 1085243 SOS 776976 HAS SOPS 473582 HAS SOUS 72920 HAS SOUPS 40510 WITH SCORE 41286.976
AT ITER 3258 NEW BEST:: SOT 1085171 SOS 777480 HAS SOPS 473546 HAS SOUS 72838 HAS SOUPS 40428 WITH SCORE 41205.48
AT ITER 3282 NEW BEST:: SOT 1085115 SOS 776920 HAS SOPS 473462 HAS SOUS 72773 HAS SOUPS 40391 WITH SCORE 41167.92
AT ITER 3283 NEW BEST:: SOT 1086129 SOS 777848 HAS SOPS 474046 HAS SOUS 72583 HAS SOUPS 40287 WITH SCORE 41064.848
AT ITER 3290 NEW BEST:: SOT 1086108 SOS 777841 HAS SOPS 474032 HAS SOUS 72561 HAS SOUPS 40269 WITH SCORE 41046.841
AT ITER 3297 NEW BEST:: SOT 1086548 SOS 779029 HAS SOPS 474340 HAS SOUS 72554 HAS SOUPS 40262 WITH SCORE 41041.029
AT ITER 3307 NEW BEST:: SOT 1086609 SOS 779217 HAS SOPS 474461 HAS SOUS 72557 HAS SOUPS 40254 WITH SCORE 41033.217
AT ITER 3311 NEW BEST:: SOT 1086884 SOS 779942 HAS SOPS 474636 HAS SOUS 72557 HAS SOUPS 40229 WITH SCORE 41008.942
AT ITER 3313 NEW BEST:: SOT 1086249 SOS 779551 HAS SOPS 474199 HAS SOUS 72619 HAS SOUPS 40219 WITH SCORE 40998.551
AT ITER 3359 NEW BEST:: SOT 1086347 SOS 779698 HAS SOPS 474199 HAS SOUS 72601 HAS SOUPS 40169 WITH SCORE 40948.698
AT ITER 3371 NEW BEST:: SOT 1086273 SOS 779550 HAS SOPS 474162 HAS SOUS 72564 HAS SOUPS 40169 WITH SCORE 40948.55
AT ITER 3381 NEW BEST:: SOT 1086259 SOS 779522 HAS SOPS 474162 HAS SOUS 72550 HAS SOUPS 40169 WITH SCORE 40948.522
AT ITER 3390 NEW BEST:: SOT 1086255 SOS 779514 HAS SOPS 474162 HAS SOUS 72546 HAS SOUPS 40169 WITH SCORE 40948.514
AT ITER 3406 NEW BEST:: SOT 1086051 SOS 779310 HAS SOPS 473958 HAS SOUS 72546 HAS SOUPS 40169 WITH SCORE 40948.31
AT ITER 3419 NEW BEST:: SOT 1086027 SOS 779208 HAS SOPS 473946 HAS SOUS 72540 HAS SOUPS 40163 WITH SCORE 40942.208
AT ITER 3431 NEW BEST:: SOT 1085813 SOS 779032 HAS SOPS 474162 HAS SOUS 71881 HAS SOUPS 40113 WITH SCORE 40892.032
AT ITER 3432 NEW BEST:: SOT 1085909 SOS 779128 HAS SOPS 474258 HAS SOUS 71878 HAS SOUPS 40111 WITH SCORE 40890.128
AT ITER 3437 NEW BEST:: SOT 1086137 SOS 779295 HAS SOPS 474486 HAS SOUS 71763 HAS SOUPS 40057 WITH SCORE 40836.295
AT ITER 3445 NEW BEST:: SOT 1086161 SOS 778500 HAS SOPS 473790 HAS SOUS 71763 HAS SOUPS 40057 WITH SCORE 40835.5
AT ITER 3448 NEW BEST:: SOT 1086561 SOS 778958 HAS SOPS 474058 HAS SOUS 71747 HAS SOUPS 40041 WITH SCORE 40819.958
AT ITER 3449 NEW BEST:: SOT 1086825 SOS 779222 HAS SOPS 474322 HAS SOUS 71744 HAS SOUPS 40039 WITH SCORE 40818.222
AT ITER 3454 NEW BEST:: SOT 1086961 SOS 778306 HAS SOPS 473626 HAS SOUS 71724 HAS SOUPS 40007 WITH SCORE 40785.306
AT ITER 3462 NEW BEST:: SOT 1086952 SOS 778288 HAS SOPS 473626 HAS SOUS 71715 HAS SOUPS 40007 WITH SCORE 40785.288
AT ITER 3469 NEW BEST:: SOT 1086919 SOS 778249 HAS SOPS 473602 HAS SOUS 71712 HAS SOUPS 40004 WITH SCORE 40782.249
AT ITER 3472 NEW BEST:: SOT 1086952 SOS 778315 HAS SOPS 473602 HAS SOUS 71689 HAS SOUPS 39969 WITH SCORE 40747.315
AT ITER 3486 NEW BEST:: SOT 1086805 SOS 778168 HAS SOPS 473476 HAS SOUS 71572 HAS SOUPS 39904 WITH SCORE 40682.168
AT ITER 3504 NEW BEST:: SOT 1085363 SOS 776300 HAS SOPS 472062 HAS SOUS 71574 HAS SOUPS 39794 WITH SCORE 40570.3
AT ITER 3522 NEW BEST:: SOT 1085273 SOS 776180 HAS SOPS 472002 HAS SOUS 71462 HAS SOUPS 39736 WITH SCORE 40512.18
AT ITER 3525 NEW BEST:: SOT 1085205 SOS 776044 HAS SOPS 472002 HAS SOUS 71394 HAS SOUPS 39736 WITH SCORE 40512.044
AT ITER 3535 NEW BEST:: SOT 1084653 SOS 775492 HAS SOPS 471450 HAS SOUS 71394 HAS SOUPS 39736 WITH SCORE 40511.492
AT ITER 3540 NEW BEST:: SOT 1084653 SOS 775364 HAS SOPS 471450 HAS SOUS 71266 HAS SOUPS 39736 WITH SCORE 40511.364
AT ITER 3541 NEW BEST:: SOT 1084653 SOS 775364 HAS SOPS 471450 HAS SOUS 71248 HAS SOUPS 39726 WITH SCORE 40501.364
AT ITER 3542 NEW BEST:: SOT 1083827 SOS 774870 HAS SOPS 471130 HAS SOUS 71346 HAS SOUPS 39694 WITH SCORE 40468.87
AT ITER 3560 NEW BEST:: SOT 1083605 SOS 775370 HAS SOPS 471838 HAS SOUS 70177 HAS SOUPS 39692 WITH SCORE 40467.37
AT ITER 3589 NEW BEST:: SOT 1082762 SOS 774545 HAS SOPS 471100 HAS SOUS 70167 HAS SOUPS 39656 WITH SCORE 40430.545
AT ITER 3591 NEW BEST:: SOT 1082954 SOS 775081 HAS SOPS 471218 HAS SOUS 70154 HAS SOUPS 39624 WITH SCORE 40399.081
AT ITER 3631 NEW BEST:: SOT 1082954 SOS 775081 HAS SOPS 471218 HAS SOUS 70145 HAS SOUPS 39619 WITH SCORE 40394.081
AT ITER 3640 NEW BEST:: SOT 1082514 SOS 773145 HAS SOPS 470162 HAS SOUS 70108 HAS SOUPS 39582 WITH SCORE 40355.145
AT ITER 3651 NEW BEST:: SOT 1082497 SOS 773281 HAS SOPS 470128 HAS SOUS 70111 HAS SOUPS 39575 WITH SCORE 40348.281
AT ITER 3663 NEW BEST:: SOT 1082177 SOS 772897 HAS SOPS 469904 HAS SOUS 70111 HAS SOUPS 39575 WITH SCORE 40347.897
AT ITER 3678 NEW BEST:: SOT 1082226 SOS 772995 HAS SOPS 470007 HAS SOUS 70102 HAS SOUPS 39566 WITH SCORE 40338.995
AT ITER 3709 NEW BEST:: SOT 1082360 SOS 773302 HAS SOPS 470087 HAS SOUS 70080 HAS SOUPS 39544 WITH SCORE 40317.302
AT ITER 3766 NEW BEST:: SOT 1082332 SOS 774774 HAS SOPS 471559 HAS SOUS 70064 HAS SOUPS 39528 WITH SCORE 40302.774
AT ITER 3851 NEW BEST:: SOT 1082320 SOS 774760 HAS SOPS 471551 HAS SOUS 70063 HAS SOUPS 39527 WITH SCORE 40301.76
AT ITER 3858 NEW BEST:: SOT 1082308 SOS 774736 HAS SOPS 471551 HAS SOUS 70051 HAS SOUPS 39527 WITH SCORE 40301.736
AT ITER 3865 NEW BEST:: SOT 1082746 SOS 776071 HAS SOPS 471853 HAS SOUS 69952 HAS SOUPS 39431 WITH SCORE 40207.071
AT ITER 3870 NEW BEST:: SOT 1082746 SOS 776071 HAS SOPS 471853 HAS SOUS 69907 HAS SOUPS 39406 WITH SCORE 40182.071
AT ITER 3901 NEW BEST:: SOT 1082746 SOS 776071 HAS SOPS 471853 HAS SOUS 69895 HAS SOUPS 39398 WITH SCORE 40174.071
AT ITER 3910 NEW BEST:: SOT 1082254 SOS 775497 HAS SOPS 471525 HAS SOUS 69841 HAS SOUPS 39344 WITH SCORE 40119.497
AT ITER 3912 NEW BEST:: SOT 1082218 SOS 775635 HAS SOPS 471535 HAS SOUS 69740 HAS SOUPS 39329 WITH SCORE 40104.635
AT ITER 3918 NEW BEST:: SOT 1082204 SOS 775607 HAS SOPS 471528 HAS SOUS 69733 HAS SOUPS 39329 WITH SCORE 40104.607
AT ITER 3951 NEW BEST:: SOT 1082136 SOS 775579 HAS SOPS 471504 HAS SOUS 69745 HAS SOUPS 39329 WITH SCORE 40104.579
AT ITER 3992 NEW BEST:: SOT 1081884 SOS 775176 HAS SOPS 471354 HAS SOUS 69634 HAS SOUPS 39263 WITH SCORE 40038.176
AT ITER 4001 NEW BEST:: SOT 1082940 SOS 778272 HAS SOPS 472092 HAS SOUS 69526 HAS SOUPS 39122 WITH SCORE 39900.272
AT ITER 4022 NEW BEST:: SOT 1082420 SOS 777691 HAS SOPS 471568 HAS SOUS 69583 HAS SOUPS 39119 WITH SCORE 39896.691
AT ITER 4043 NEW BEST:: SOT 1082409 SOS 777737 HAS SOPS 471614 HAS SOUS 69580 HAS SOUPS 39116 WITH SCORE 39893.737
AT ITER 4069 NEW BEST:: SOT 1080662 SOS 775045 HAS SOPS 469792 HAS SOUS 69528 HAS SOUPS 39064 WITH SCORE 39839.045
AT ITER 4093 NEW BEST:: SOT 1080682 SOS 775085 HAS SOPS 469832 HAS SOUS 69458 HAS SOUPS 38994 WITH SCORE 39769.085
AT ITER 4101 NEW BEST:: SOT 1080864 SOS 775267 HAS SOPS 469854 HAS SOUS 69480 HAS SOUPS 38992 WITH SCORE 39767.267
AT ITER 4103 NEW BEST:: SOT 1080864 SOS 775254 HAS SOPS 469854 HAS SOUS 69467 HAS SOUPS 38992 WITH SCORE 39767.254
AT ITER 4110 NEW BEST:: SOT 1080501 SOS 774864 HAS SOPS 469604 HAS SOUS 69441 HAS SOUPS 38966 WITH SCORE 39740.864
AT ITER 4116 NEW BEST:: SOT 1079212 SOS 771005 HAS SOPS 468461 HAS SOUS 69297 HAS SOUPS 38903 WITH SCORE 39674.005
AT ITER 4149 NEW BEST:: SOT 1078943 SOS 770581 HAS SOPS 468202 HAS SOUS 69101 HAS SOUPS 38819 WITH SCORE 39589.581
AT ITER 4161 NEW BEST:: SOT 1078869 SOS 770481 HAS SOPS 468130 HAS SOUS 69056 HAS SOUPS 38779 WITH SCORE 39549.481
AT ITER 4167 NEW BEST:: SOT 1078822 SOS 769705 HAS SOPS 467354 HAS SOUS 69014 HAS SOUPS 38737 WITH SCORE 39506.705
AT ITER 4202 NEW BEST:: SOT 1078975 SOS 770147 HAS SOPS 467456 HAS SOUS 68998 HAS SOUPS 38712 WITH SCORE 39482.147
AT ITER 4213 NEW BEST:: SOT 1078938 SOS 770110 HAS SOPS 467456 HAS SOUS 68998 HAS SOUPS 38712 WITH SCORE 39482.11
AT ITER 4228 NEW BEST:: SOT 1078293 SOS 769424 HAS SOPS 466852 HAS SOUS 68944 HAS SOUPS 38690 WITH SCORE 39459.424
AT ITER 4244 NEW BEST:: SOT 1078291 SOS 769420 HAS SOPS 466833 HAS SOUS 68944 HAS SOUPS 38689 WITH SCORE 39458.42
AT ITER 4251 NEW BEST:: SOT 1078279 SOS 769408 HAS SOPS 466833 HAS SOUS 68944 HAS SOUPS 38689 WITH SCORE 39458.408
AT ITER 4265 NEW BEST:: SOT 1078026 SOS 768741 HAS SOPS 466672 HAS SOUS 68914 HAS SOUPS 38682 WITH SCORE 39450.741
AT ITER 4270 NEW BEST:: SOT 1077994 SOS 768681 HAS SOPS 466656 HAS SOUS 68894 HAS SOUPS 38678 WITH SCORE 39446.681
AT ITER 4297 NEW BEST:: SOT 1078051 SOS 750511 HAS SOPS 451763 HAS SOUS 68634 HAS SOUPS 38602 WITH SCORE 39352.511
AT ITER 4313 NEW BEST:: SOT 1078037 SOS 750534 HAS SOPS 451751 HAS SOUS 68619 HAS SOUPS 38587 WITH SCORE 39337.534
AT ITER 4316 NEW BEST:: SOT 1078058 SOS 750548 HAS SOPS 451772 HAS SOUS 68605 HAS SOUPS 38580 WITH SCORE 39330.548
AT ITER 4317 NEW BEST:: SOT 1078058 SOS 750548 HAS SOPS 451772 HAS SOUS 68575 HAS SOUPS 38560 WITH SCORE 39310.548
AT ITER 4346 NEW BEST:: SOT 1078073 SOS 750781 HAS SOPS 451574 HAS SOUS 68593 HAS SOUPS 38553 WITH SCORE 39303.781
AT ITER 4351 NEW BEST:: SOT 1077816 SOS 749674 HAS SOPS 450992 HAS SOUS 68586 HAS SOUPS 38546 WITH SCORE 39295.674
AT ITER 4371 NEW BEST:: SOT 1077309 SOS 748961 HAS SOPS 450664 HAS SOUS 68621 HAS SOUPS 38535 WITH SCORE 39283.961
AT ITER 4378 NEW BEST:: SOT 1077229 SOS 748404 HAS SOPS 450256 HAS SOUS 68569 HAS SOUPS 38482 WITH SCORE 39230.404
AT ITER 4383 NEW BEST:: SOT 1077282 SOS 747372 HAS SOPS 449351 HAS SOUS 68556 HAS SOUPS 38458 WITH SCORE 39205.372
AT ITER 4397 NEW BEST:: SOT 1077261 SOS 747330 HAS SOPS 449351 HAS SOUS 68535 HAS SOUPS 38458 WITH SCORE 39205.33
AT ITER 4401 NEW BEST:: SOT 1077235 SOS 747304 HAS SOPS 449351 HAS SOUS 68535 HAS SOUPS 38458 WITH SCORE 39205.304
AT ITER 4418 NEW BEST:: SOT 1077235 SOS 747304 HAS SOPS 449351 HAS SOUS 68490 HAS SOUPS 38428 WITH SCORE 39175.304
AT ITER 4419 NEW BEST:: SOT 1076946 SOS 747230 HAS SOPS 446421 HAS SOUS 68580 HAS SOUPS 38350 WITH SCORE 39097.23
AT ITER 4426 NEW BEST:: SOT 1076802 SOS 747086 HAS SOPS 446277 HAS SOUS 68580 HAS SOUPS 38350 WITH SCORE 39097.086
AT ITER 4448 NEW BEST:: SOT 1076774 SOS 747044 HAS SOPS 446263 HAS SOUS 68552 HAS SOUPS 38336 WITH SCORE 39083.044
AT ITER 4450 NEW BEST:: SOT 1076750 SOS 748060 HAS SOPS 447279 HAS SOUS 68528 HAS SOUPS 38312 WITH SCORE 39060.06
AT ITER 4453 NEW BEST:: SOT 1076756 SOS 747926 HAS SOPS 447205 HAS SOUS 68524 HAS SOUPS 38308 WITH SCORE 39055.926
AT ITER 4461 NEW BEST:: SOT 1076726 SOS 747896 HAS SOPS 447205 HAS SOUS 68524 HAS SOUPS 38308 WITH SCORE 39055.896
AT ITER 4467 NEW BEST:: SOT 1076658 SOS 748384 HAS SOPS 447653 HAS SOUS 68506 HAS SOUPS 38290 WITH SCORE 39038.384
AT ITER 4473 NEW BEST:: SOT 1077078 SOS 748957 HAS SOPS 447731 HAS SOUS 68405 HAS SOUPS 38215 WITH SCORE 38963.957
AT ITER 4482 NEW BEST:: SOT 1077038 SOS 748917 HAS SOPS 447731 HAS SOUS 68405 HAS SOUPS 38215 WITH SCORE 38963.917
AT ITER 4494 NEW BEST:: SOT 1077080 SOS 748965 HAS SOPS 447759 HAS SOUS 68403 HAS SOUPS 38213 WITH SCORE 38961.965
AT ITER 4507 NEW BEST:: SOT 1077080 SOS 748900 HAS SOPS 447759 HAS SOUS 68338 HAS SOUPS 38213 WITH SCORE 38961.9
AT ITER 4509 NEW BEST:: SOT 1077080 SOS 748900 HAS SOPS 447759 HAS SOUS 68329 HAS SOUPS 38208 WITH SCORE 38956.9
AT ITER 4510 NEW BEST:: SOT 1077076 SOS 748894 HAS SOPS 447757 HAS SOUS 68325 HAS SOUPS 38204 WITH SCORE 38952.894
AT ITER 4522 NEW BEST:: SOT 1077045 SOS 748082 HAS SOPS 447295 HAS SOUS 68301 HAS SOUPS 38180 WITH SCORE 38928.082
AT ITER 4525 NEW BEST:: SOT 1077029 SOS 748066 HAS SOPS 447289 HAS SOUS 68296 HAS SOUPS 38179 WITH SCORE 38927.066
AT ITER 4537 NEW BEST:: SOT 1076989 SOS 747876 HAS SOPS 447069 HAS SOUS 68256 HAS SOUPS 38139 WITH SCORE 38886.876
AT ITER 4540 NEW BEST:: SOT 1075661 SOS 744035 HAS SOPS 446116 HAS SOUS 68104 HAS SOUPS 38070 WITH SCORE 38814.035
AT ITER 4549 NEW BEST:: SOT 1074348 SOS 742629 HAS SOPS 444898 HAS SOUS 68052 HAS SOUPS 38068 WITH SCORE 38810.629
AT ITER 4563 NEW BEST:: SOT 1074222 SOS 740907 HAS SOPS 443176 HAS SOUS 68010 HAS SOUPS 38026 WITH SCORE 38766.907
AT ITER 4593 NEW BEST:: SOT 1074150 SOS 740792 HAS SOPS 442600 HAS SOUS 68012 HAS SOUPS 37999 WITH SCORE 38739.792
AT ITER 4597 NEW BEST:: SOT 1074044 SOS 740686 HAS SOPS 442600 HAS SOUS 68012 HAS SOUPS 37999 WITH SCORE 38739.686
AT ITER 4633 NEW BEST:: SOT 1073835 SOS 740135 HAS SOPS 442467 HAS SOUS 67974 HAS SOUPS 37980 WITH SCORE 38720.135
AT ITER 4638 NEW BEST:: SOT 1073973 SOS 741227 HAS SOPS 443079 HAS SOUS 66990 HAS SOUPS 37776 WITH SCORE 38517.227
AT ITER 4642 NEW BEST:: SOT 1073944 SOS 741198 HAS SOPS 443079 HAS SOUS 66990 HAS SOUPS 37776 WITH SCORE 38517.198
AT ITER 4648 NEW BEST:: SOT 1073866 SOS 741120 HAS SOPS 443001 HAS SOUS 66957 HAS SOUPS 37759 WITH SCORE 38500.12
AT ITER 4669 NEW BEST:: SOT 1073070 SOS 740188 HAS SOPS 442477 HAS SOUS 66909 HAS SOUPS 37711 WITH SCORE 38451.188
AT ITER 4678 NEW BEST:: SOT 1073532 SOS 741560 HAS SOPS 442813 HAS SOUS 66755 HAS SOUPS 37599 WITH SCORE 38340.56
AT ITER 4685 NEW BEST:: SOT 1073512 SOS 739656 HAS SOPS 441221 HAS SOUS 66728 HAS SOUPS 37590 WITH SCORE 38329.656
AT ITER 4688 NEW BEST:: SOT 1073507 SOS 739651 HAS SOPS 441221 HAS SOUS 66728 HAS SOUPS 37590 WITH SCORE 38329.651
AT ITER 4724 NEW BEST:: SOT 1073505 SOS 739647 HAS SOPS 441221 HAS SOUS 66726 HAS SOUPS 37590 WITH SCORE 38329.647
AT ITER 4725 NEW BEST:: SOT 1073495 SOS 739594 HAS SOPS 441199 HAS SOUS 66672 HAS SOUPS 37579 WITH SCORE 38318.594
AT ITER 4747 NEW BEST:: SOT 1072536 SOS 735877 HAS SOPS 437852 HAS SOUS 66521 HAS SOUPS 37428 WITH SCORE 38163.877
AT ITER 4755 NEW BEST:: SOT 1072506 SOS 735847 HAS SOPS 437822 HAS SOUS 66521 HAS SOUPS 37428 WITH SCORE 38163.847
AT ITER 4787 NEW BEST:: SOT 1072331 SOS 734068 HAS SOPS 436378 HAS SOUS 66479 HAS SOUPS 37396 WITH SCORE 38130.068
AT ITER 4796 NEW BEST:: SOT 1071647 SOS 732940 HAS SOPS 435511 HAS SOUS 66462 HAS SOUPS 37354 WITH SCORE 38086.94
AT ITER 4833 NEW BEST:: SOT 1071647 SOS 732940 HAS SOPS 435511 HAS SOUS 66453 HAS SOUPS 37349 WITH SCORE 38081.94
AT ITER 4843 NEW BEST:: SOT 1071299 SOS 732556 HAS SOPS 435235 HAS SOUS 66457 HAS SOUPS 37320 WITH SCORE 38052.556
AT ITER 4844 NEW BEST:: SOT 1071203 SOS 732460 HAS SOPS 435139 HAS SOUS 66457 HAS SOUPS 37320 WITH SCORE 38052.46
AT ITER 4856 NEW BEST:: SOT 1070683 SOS 730637 HAS SOPS 434351 HAS SOUS 66403 HAS SOUPS 37311 WITH SCORE 38041.637
AT ITER 4869 NEW BEST:: SOT 1070621 SOS 730524 HAS SOPS 434340 HAS SOUS 66341 HAS SOUPS 37300 WITH SCORE 38030.524
AT ITER 4880 NEW BEST:: SOT 1070489 SOS 729972 HAS SOPS 434052 HAS SOUS 66329 HAS SOUPS 37300 WITH SCORE 38029.972
AT ITER 4886 NEW BEST:: SOT 1070474 SOS 729342 HAS SOPS 433492 HAS SOUS 66319 HAS SOUPS 37290 WITH SCORE 38019.342
AT ITER 4907 NEW BEST:: SOT 1070460 SOS 729122 HAS SOPS 433300 HAS SOUS 66317 HAS SOUPS 37284 WITH SCORE 38013.122
AT ITER 4910 NEW BEST:: SOT 1070451 SOS 729104 HAS SOPS 433300 HAS SOUS 66299 HAS SOUPS 37279 WITH SCORE 38008.104
AT ITER 4920 NEW BEST:: SOT 1070307 SOS 728765 HAS SOPS 433012 HAS SOUS 66290 HAS SOUPS 37270 WITH SCORE 37998.765
AT ITER 4933 NEW BEST:: SOT 1069770 SOS 727272 HAS SOPS 432661 HAS SOUS 66221 HAS SOUPS 37256 WITH SCORE 37983.272
AT ITER 4985 NEW BEST:: SOT 1069104 SOS 726606 HAS SOPS 431995 HAS SOUS 66221 HAS SOUPS 37256 WITH SCORE 37982.606
AT ITER 4992 NEW BEST:: SOT 1068909 SOS 726396 HAS SOPS 431860 HAS SOUS 66206 HAS SOUPS 37241 WITH SCORE 37967.396
AT ITER 4995 NEW BEST:: SOT 1070481 SOS 727968 HAS SOPS 433432 HAS SOUS 66197 HAS SOUPS 37235 WITH SCORE 37962.968
AT ITER 5003 NEW BEST:: SOT 1070497 SOS 728268 HAS SOPS 433580 HAS SOUS 66195 HAS SOUPS 37233 WITH SCORE 37961.268
AT ITER 5014 NEW BEST:: SOT 1070532 SOS 728992 HAS SOPS 434540 HAS SOUS 66125 HAS SOUPS 37192 WITH SCORE 37920.992
AT ITER 5020 NEW BEST:: SOT 1069868 SOS 726633 HAS SOPS 432550 HAS SOUS 66060 HAS SOUPS 37167 WITH SCORE 37893.633
AT ITER 5029 NEW BEST:: SOT 1069895 SOS 726690 HAS SOPS 432547 HAS SOUS 66087 HAS SOUPS 37164 WITH SCORE 37890.69
AT ITER 5046 NEW BEST:: SOT 1069885 SOS 726680 HAS SOPS 432547 HAS SOUS 66087 HAS SOUPS 37164 WITH SCORE 37890.68
AT ITER 5064 NEW BEST:: SOT 1070050 SOS 727309 HAS SOPS 432831 HAS SOUS 66073 HAS SOUPS 37153 WITH SCORE 37880.309
AT ITER 5099 NEW BEST:: SOT 1069918 SOS 727177 HAS SOPS 432699 HAS SOUS 66073 HAS SOUPS 37153 WITH SCORE 37880.177
AT ITER 5109 NEW BEST:: SOT 1069842 SOS 727025 HAS SOPS 432645 HAS SOUS 66006 HAS SOUPS 37109 WITH SCORE 37836.025
AT ITER 5145 NEW BEST:: SOT 1069651 SOS 726517 HAS SOPS 432519 HAS SOUS 65986 HAS SOUPS 37100 WITH SCORE 37826.517
AT ITER 5154 NEW BEST:: SOT 1069647 SOS 726513 HAS SOPS 432519 HAS SOUS 65986 HAS SOUPS 37100 WITH SCORE 37826.513
AT ITER 5179 NEW BEST:: SOT 1069377 SOS 726243 HAS SOPS 432249 HAS SOUS 65986 HAS SOUPS 37100 WITH SCORE 37826.243
AT ITER 5202 NEW BEST:: SOT 1069343 SOS 720027 HAS SOPS 426573 HAS SOUS 66193 HAS SOUPS 37090 WITH SCORE 37810.027
AT ITER 5240 NEW BEST:: SOT 1069007 SOS 719115 HAS SOPS 425523 HAS SOUS 66097 HAS SOUPS 36952 WITH SCORE 37671.115
AT ITER 5259 NEW BEST:: SOT 1068490 SOS 717395 HAS SOPS 423944 HAS SOUS 66135 HAS SOUPS 36939 WITH SCORE 37656.395
AT ITER 5277 NEW BEST:: SOT 1067748 SOS 715349 HAS SOPS 422199 HAS SOUS 66100 HAS SOUPS 36876 WITH SCORE 37591.349
AT ITER 5297 NEW BEST:: SOT 1067676 SOS 715277 HAS SOPS 422127 HAS SOUS 66100 HAS SOUPS 36876 WITH SCORE 37591.277
AT ITER 5301 NEW BEST:: SOT 1067390 SOS 714523 HAS SOPS 421945 HAS SOUS 66048 HAS SOUPS 36850 WITH SCORE 37564.523
AT ITER 5324 NEW BEST:: SOT 1067670 SOS 715291 HAS SOPS 422114 HAS SOUS 66065 HAS SOUPS 36838 WITH SCORE 37553.291
AT ITER 5350 NEW BEST:: SOT 1066876 SOS 715021 HAS SOPS 421687 HAS SOUS 66080 HAS SOUPS 36778 WITH SCORE 37493.021
AT ITER 5367 NEW BEST:: SOT 1066780 SOS 714840 HAS SOPS 421642 HAS SOUS 65999 HAS SOUPS 36745 WITH SCORE 37459.84
AT ITER 5374 NEW BEST:: SOT 1066747 SOS 714814 HAS SOPS 421642 HAS SOUS 65962 HAS SOUPS 36701 WITH SCORE 37415.814
AT ITER 5385 NEW BEST:: SOT 1066731 SOS 714798 HAS SOPS 421642 HAS SOUS 65962 HAS SOUPS 36701 WITH SCORE 37415.798
AT ITER 5391 NEW BEST:: SOT 1066649 SOS 714575 HAS SOPS 421589 HAS SOUS 65949 HAS SOUPS 36696 WITH SCORE 37410.575
AT ITER 5394 NEW BEST:: SOT 1066563 SOS 714772 HAS SOPS 421701 HAS SOUS 65947 HAS SOUPS 36694 WITH SCORE 37408.772
AT ITER 5412 NEW BEST:: SOT 1066447 SOS 714543 HAS SOPS 421596 HAS SOUS 65925 HAS SOUPS 36672 WITH SCORE 37386.543
AT ITER 5421 NEW BEST:: SOT 1065901 SOS 713955 HAS SOPS 421218 HAS SOUS 65865 HAS SOUPS 36620 WITH SCORE 37333.955
AT ITER 5455 NEW BEST:: SOT 1065914 SOS 713991 HAS SOPS 421184 HAS SOUS 65812 HAS SOUPS 36567 WITH SCORE 37280.991
AT ITER 5456 NEW BEST:: SOT 1065464 SOS 713541 HAS SOPS 420734 HAS SOUS 65812 HAS SOUPS 36567 WITH SCORE 37280.541
AT ITER 5489 NEW BEST:: SOT 1065453 SOS 713530 HAS SOPS 420734 HAS SOUS 65812 HAS SOUPS 36567 WITH SCORE 37280.53
AT ITER 5500 NEW BEST:: SOT 1065344 SOS 713232 HAS SOPS 420656 HAS SOUS 65795 HAS SOUPS 36560 WITH SCORE 37273.232
AT ITER 5536 NEW BEST:: SOT 1065342 SOS 713230 HAS SOPS 420656 HAS SOUS 65795 HAS SOUPS 36560 WITH SCORE 37273.23
AT ITER 5545 NEW BEST:: SOT 1065502 SOS 713390 HAS SOPS 420696 HAS SOUS 65755 HAS SOUPS 36520 WITH SCORE 37233.39
AT ITER 5559 NEW BEST:: SOT 1065495 SOS 713376 HAS SOPS 420696 HAS SOUS 65748 HAS SOUPS 36520 WITH SCORE 37233.376
AT ITER 5571 NEW BEST:: SOT 1065507 SOS 713388 HAS SOPS 420708 HAS SOUS 65745 HAS SOUPS 36518 WITH SCORE 37231.388
AT ITER 5575 NEW BEST:: SOT 1064219 SOS 712127 HAS SOPS 419471 HAS SOUS 65686 HAS SOUPS 36475 WITH SCORE 37187.127
AT ITER 5594 NEW BEST:: SOT 1064230 SOS 712008 HAS SOPS 419346 HAS SOUS 65682 HAS SOUPS 36471 WITH SCORE 37183.008
AT ITER 5613 NEW BEST:: SOT 1064190 SOS 711900 HAS SOPS 419318 HAS SOUS 65678 HAS SOUPS 36467 WITH SCORE 37178.9
AT ITER 5666 NEW BEST:: SOT 1063365 SOS 708450 HAS SOPS 417518 HAS SOUS 65603 HAS SOUPS 36467 WITH SCORE 37175.45
AT ITER 5677 NEW BEST:: SOT 1063423 SOS 708508 HAS SOPS 417536 HAS SOUS 65595 HAS SOUPS 36459 WITH SCORE 37167.508
AT ITER 5696 NEW BEST:: SOT 1063288 SOS 708264 HAS SOPS 417446 HAS SOUS 65443 HAS SOUPS 36388 WITH SCORE 37096.264
AT ITER 5714 NEW BEST:: SOT 1063756 SOS 708732 HAS SOPS 417914 HAS SOUS 65431 HAS SOUPS 36380 WITH SCORE 37088.732
AT ITER 5729 NEW BEST:: SOT 1063580 SOS 707223 HAS SOPS 417085 HAS SOUS 65405 HAS SOUPS 36354 WITH SCORE 37061.223
AT ITER 5736 NEW BEST:: SOT 1063576 SOS 707219 HAS SOPS 417085 HAS SOUS 65405 HAS SOUPS 36354 WITH SCORE 37061.219
AT ITER 5781 NEW BEST:: SOT 1063102 SOS 706745 HAS SOPS 416611 HAS SOUS 65405 HAS SOUPS 36354 WITH SCORE 37060.745
AT ITER 5823 NEW BEST:: SOT 1062930 SOS 706419 HAS SOPS 416506 HAS SOUS 65365 HAS SOUPS 36340 WITH SCORE 37046.419
AT ITER 5841 NEW BEST:: SOT 1063342 SOS 706927 HAS SOPS 416774 HAS SOUS 65297 HAS SOUPS 36272 WITH SCORE 36978.927
AT ITER 5861 NEW BEST:: SOT 1062671 SOS 705145 HAS SOPS 416346 HAS SOUS 65220 HAS SOUPS 36252 WITH SCORE 36957.145
AT ITER 5872 NEW BEST:: SOT 1062131 SOS 703795 HAS SOPS 416031 HAS SOUS 65139 HAS SOUPS 36216 WITH SCORE 36919.795
AT ITER 5886 NEW BEST:: SOT 1062298 SOS 704151 HAS SOPS 416135 HAS SOUS 65180 HAS SOUPS 36194 WITH SCORE 36898.151
AT ITER 5906 NEW BEST:: SOT 1062023 SOS 703401 HAS SOPS 415960 HAS SOUS 65155 HAS SOUPS 36194 WITH SCORE 36897.401
AT ITER 5931 NEW BEST:: SOT 1061967 SOS 703178 HAS SOPS 415840 HAS SOUS 65150 HAS SOUPS 36190 WITH SCORE 36893.178
AT ITER 5955 NEW BEST:: SOT 1062067 SOS 703478 HAS SOPS 415912 HAS SOUS 65149 HAS SOUPS 36189 WITH SCORE 36892.478
AT ITER 5971 NEW BEST:: SOT 1060900 SOS 700349 HAS SOPS 415181 HAS SOUS 64990 HAS SOUPS 36139 WITH SCORE 36839.349
AT ITER 5977 NEW BEST:: SOT 1060888 SOS 700329 HAS SOPS 415173 HAS SOUS 64990 HAS SOUPS 36139 WITH SCORE 36839.329
AT ITER 5979 NEW BEST:: SOT 1060874 SOS 700175 HAS SOPS 414900 HAS SOUS 64990 HAS SOUPS 36132 WITH SCORE 36832.175
AT ITER 5993 NEW BEST:: SOT 1060748 SOS 700049 HAS SOPS 414774 HAS SOUS 64990 HAS SOUPS 36132 WITH SCORE 36832.049
AT ITER 5996 NEW BEST:: SOT 1060594 SOS 699917 HAS SOPS 414906 HAS SOUS 64599 HAS SOUPS 36106 WITH SCORE 36805.917
AT ITER 6021 NEW BEST:: SOT 1060088 SOS 698121 HAS SOPS 413395 HAS SOUS 64540 HAS SOUPS 36047 WITH SCORE 36745.121
AT ITER 6107 NEW BEST:: SOT 1060032 SOS 698065 HAS SOPS 413395 HAS SOUS 64540 HAS SOUPS 36047 WITH SCORE 36745.065
AT ITER 6108 NEW BEST:: SOT 1060028 SOS 698041 HAS SOPS 413371 HAS SOUS 64538 HAS SOUPS 36045 WITH SCORE 36743.041
AT ITER 6123 NEW BEST:: SOT 1060254 SOS 698563 HAS SOPS 413494 HAS SOUS 64515 HAS SOUPS 36001 WITH SCORE 36699.563
AT ITER 6140 NEW BEST:: SOT 1060254 SOS 698563 HAS SOPS 413494 HAS SOUS 64512 HAS SOUPS 35999 WITH SCORE 36697.563
AT ITER 6181 NEW BEST:: SOT 1060213 SOS 700444 HAS SOPS 415001 HAS SOUS 64521 HAS SOUPS 35986 WITH SCORE 36686.444
AT ITER 6200 NEW BEST:: SOT 1059905 SOS 699632 HAS SOPS 414805 HAS SOUS 64476 HAS SOUPS 35969 WITH SCORE 36668.632
AT ITER 6217 NEW BEST:: SOT 1059889 SOS 699616 HAS SOPS 414805 HAS SOUS 64476 HAS SOUPS 35969 WITH SCORE 36668.616
AT ITER 6218 NEW BEST:: SOT 1059889 SOS 699616 HAS SOPS 414805 HAS SOUS 64323 HAS SOUPS 35884 WITH SCORE 36583.616
AT ITER 6224 NEW BEST:: SOT 1060016 SOS 699861 HAS SOPS 414888 HAS SOUS 64360 HAS SOUPS 35877 WITH SCORE 36576.861
AT ITER 6239 NEW BEST:: SOT 1059989 SOS 699783 HAS SOPS 414870 HAS SOUS 64357 HAS SOUPS 35877 WITH SCORE 36576.783
AT ITER 6263 NEW BEST:: SOT 1059949 SOS 699671 HAS SOPS 414846 HAS SOUS 64353 HAS SOUPS 35877 WITH SCORE 36576.671
AT ITER 6357 NEW BEST:: SOT 1059967 SOS 699698 HAS SOPS 414847 HAS SOUS 64345 HAS SOUPS 35869 WITH SCORE 36568.698
AT ITER 6358 NEW BEST:: SOT 1059877 SOS 699438 HAS SOPS 414627 HAS SOUS 64315 HAS SOUPS 35839 WITH SCORE 36538.438
AT ITER 6360 NEW BEST:: SOT 1059829 SOS 699390 HAS SOPS 414579 HAS SOUS 64291 HAS SOUPS 35823 WITH SCORE 36522.39
AT ITER 6397 NEW BEST:: SOT 1059961 SOS 699651 HAS SOPS 414667 HAS SOUS 64329 HAS SOUPS 35821 WITH SCORE 36520.651
AT ITER 6448 NEW BEST:: SOT 1059817 SOS 699507 HAS SOPS 414523 HAS SOUS 64329 HAS SOUPS 35821 WITH SCORE 36520.507
AT ITER 6489 NEW BEST:: SOT 1060191 SOS 700452 HAS SOPS 414742 HAS SOUS 64347 HAS SOUPS 35812 WITH SCORE 36512.452
AT ITER 6497 NEW BEST:: SOT 1060074 SOS 700218 HAS SOPS 414664 HAS SOUS 64308 HAS SOUPS 35812 WITH SCORE 36512.218
AT ITER 6528 NEW BEST:: SOT 1060042 SOS 700186 HAS SOPS 414632 HAS SOUS 64280 HAS SOUPS 35784 WITH SCORE 36484.186
AT ITER 6535 NEW BEST:: SOT 1059922 SOS 700066 HAS SOPS 414512 HAS SOUS 64280 HAS SOUPS 35784 WITH SCORE 36484.066
AT ITER 6554 NEW BEST:: SOT 1059875 SOS 699963 HAS SOPS 414399 HAS SOUS 64280 HAS SOUPS 35776 WITH SCORE 36475.963
AT ITER 6566 NEW BEST:: SOT 1059875 SOS 699963 HAS SOPS 414399 HAS SOUS 64253 HAS SOUPS 35761 WITH SCORE 36460.963
AT ITER 6571 NEW BEST:: SOT 1059765 SOS 699833 HAS SOPS 414319 HAS SOUS 64243 HAS SOUPS 35751 WITH SCORE 36450.833
AT ITER 6592 NEW BEST:: SOT 1059525 SOS 699593 HAS SOPS 414079 HAS SOUS 64243 HAS SOUPS 35751 WITH SCORE 36450.593
AT ITER 6632 NEW BEST:: SOT 1059620 SOS 699688 HAS SOPS 414079 HAS SOUS 64189 HAS SOUPS 35721 WITH SCORE 36420.688
AT ITER 6659 NEW BEST:: SOT 1059629 SOS 699727 HAS SOPS 414100 HAS SOUS 64208 HAS SOUPS 35710 WITH SCORE 36409.727
AT ITER 6666 NEW BEST:: SOT 1059766 SOS 699830 HAS SOPS 414271 HAS SOUS 64141 HAS SOUPS 35677 WITH SCORE 36376.83
AT ITER 6668 NEW BEST:: SOT 1059835 SOS 699899 HAS SOPS 414271 HAS SOUS 64042 HAS SOUPS 35622 WITH SCORE 36321.899
AT ITER 6687 NEW BEST:: SOT 1059185 SOS 699299 HAS SOPS 414271 HAS SOUS 63092 HAS SOUPS 35522 WITH SCORE 36221.299
AT ITER 6702 NEW BEST:: SOT 1059386 SOS 699470 HAS SOPS 414466 HAS SOUS 63061 HAS SOUPS 35521 WITH SCORE 36220.47
AT ITER 6708 NEW BEST:: SOT 1059376 SOS 699460 HAS SOPS 414466 HAS SOUS 63061 HAS SOUPS 35521 WITH SCORE 36220.46
AT ITER 6733 NEW BEST:: SOT 1059369 SOS 699453 HAS SOPS 414460 HAS SOUS 63061 HAS SOUPS 35521 WITH SCORE 36220.453
AT ITER 6735 NEW BEST:: SOT 1060388 SOS 702135 HAS SOPS 415122 HAS SOUS 63091 HAS SOUPS 35507 WITH SCORE 36209.135
AT ITER 6741 NEW BEST:: SOT 1060289 SOS 702018 HAS SOPS 415050 HAS SOUS 63082 HAS SOUPS 35498 WITH SCORE 36200.018
AT ITER 6751 NEW BEST:: SOT 1060364 SOS 702093 HAS SOPS 415050 HAS SOUS 62866 HAS SOUPS 35378 WITH SCORE 36080.093
AT ITER 6770 NEW BEST:: SOT 1060284 SOS 702013 HAS SOPS 415010 HAS SOUS 62858 HAS SOUPS 35370 WITH SCORE 36072.013
AT ITER 6790 NEW BEST:: SOT 1060604 SOS 703133 HAS SOPS 415930 HAS SOUS 62846 HAS SOUPS 35358 WITH SCORE 36061.133
AT ITER 6806 NEW BEST:: SOT 1060496 SOS 703025 HAS SOPS 415822 HAS SOUS 62846 HAS SOUPS 35358 WITH SCORE 36061.025
AT ITER 6864 NEW BEST:: SOT 1060502 SOS 703679 HAS SOPS 416368 HAS SOUS 62846 HAS SOUPS 35352 WITH SCORE 36055.679
AT ITER 6872 NEW BEST:: SOT 1060492 SOS 703659 HAS SOPS 416368 HAS SOUS 62836 HAS SOUPS 35352 WITH SCORE 36055.659
AT ITER 6879 NEW BEST:: SOT 1060472 SOS 703639 HAS SOPS 416368 HAS SOUS 62836 HAS SOUPS 35352 WITH SCORE 36055.639
AT ITER 6913 NEW BEST:: SOT 1060472 SOS 703639 HAS SOPS 416368 HAS SOUS 62806 HAS SOUPS 35332 WITH SCORE 36035.639
AT ITER 6971 NEW BEST:: SOT 1060304 SOS 703471 HAS SOPS 416200 HAS SOUS 62806 HAS SOUPS 35332 WITH SCORE 36035.471
AT ITER 6986 NEW BEST:: SOT 1060143 SOS 704101 HAS SOPS 416383 HAS SOUS 62738 HAS SOUPS 35296 WITH SCORE 36000.101
AT ITER 7003 NEW BEST:: SOT 1060125 SOS 704083 HAS SOPS 416383 HAS SOUS 62738 HAS SOUPS 35296 WITH SCORE 36000.083
AT ITER 7040 NEW BEST:: SOT 1060112 SOS 704070 HAS SOPS 416383 HAS SOUS 62738 HAS SOUPS 35296 WITH SCORE 36000.07
AT ITER 7043 NEW BEST:: SOT 1060216 SOS 704174 HAS SOPS 416383 HAS SOUS 62621 HAS SOUPS 35231 WITH SCORE 35935.174
AT ITER 7058 NEW BEST:: SOT 1060201 SOS 704150 HAS SOPS 416379 HAS SOUS 62617 HAS SOUPS 35227 WITH SCORE 35931.15
AT ITER 7061 NEW BEST:: SOT 1060143 SOS 704092 HAS SOPS 416379 HAS SOUS 62617 HAS SOUPS 35227 WITH SCORE 35931.092
AT ITER 7085 NEW BEST:: SOT 1060142 SOS 704090 HAS SOPS 416377 HAS SOUS 62616 HAS SOUPS 35226 WITH SCORE 35930.09
AT ITER 7099 NEW BEST:: SOT 1060133 SOS 703969 HAS SOPS 416302 HAS SOUS 62594 HAS SOUPS 35208 WITH SCORE 35911.969
AT ITER 7113 NEW BEST:: SOT 1060120 SOS 703815 HAS SOPS 416148 HAS SOUS 62581 HAS SOUPS 35195 WITH SCORE 35898.815
AT ITER 7131 NEW BEST:: SOT 1060110 SOS 703715 HAS SOPS 416133 HAS SOUS 62574 HAS SOUPS 35193 WITH SCORE 35896.715
AT ITER 7133 NEW BEST:: SOT 1060063 SOS 703803 HAS SOPS 416200 HAS SOUS 62555 HAS SOUPS 35174 WITH SCORE 35877.803
AT ITER 7135 NEW BEST:: SOT 1060027 SOS 703767 HAS SOPS 416164 HAS SOUS 62555 HAS SOUPS 35174 WITH SCORE 35877.767
AT ITER 7137 NEW BEST:: SOT 1060103 SOS 703843 HAS SOPS 416164 HAS SOUS 62537 HAS SOUPS 35164 WITH SCORE 35867.843
AT ITER 7149 NEW BEST:: SOT 1059727 SOS 703183 HAS SOPS 415900 HAS SOUS 62501 HAS SOUPS 35149 WITH SCORE 35852.183
AT ITER 7192 NEW BEST:: SOT 1059468 SOS 702363 HAS SOPS 415614 HAS SOUS 62455 HAS SOUPS 35144 WITH SCORE 35846.363
AT ITER 7253 NEW BEST:: SOT 1059461 SOS 702356 HAS SOPS 415614 HAS SOUS 62455 HAS SOUPS 35144 WITH SCORE 35846.356
AT ITER 7260 NEW BEST:: SOT 1059495 SOS 702385 HAS SOPS 415605 HAS SOUS 62449 HAS SOUPS 35139 WITH SCORE 35841.385
AT ITER 7262 NEW BEST:: SOT 1059297 SOS 700873 HAS SOPS 414507 HAS SOUS 62413 HAS SOUPS 35121 WITH SCORE 35821.873
AT ITER 7299 NEW BEST:: SOT 1058378 SOS 689053 HAS SOPS 404296 HAS SOUS 62257 HAS SOUPS 34983 WITH SCORE 35672.053
AT ITER 7317 NEW BEST:: SOT 1058536 SOS 689211 HAS SOPS 404296 HAS SOUS 62239 HAS SOUPS 34973 WITH SCORE 35662.211
AT ITER 7348 NEW BEST:: SOT 1058077 SOS 688377 HAS SOPS 403622 HAS SOUS 62218 HAS SOUPS 34952 WITH SCORE 35640.377
AT ITER 7359 NEW BEST:: SOT 1058095 SOS 688413 HAS SOPS 403622 HAS SOUS 62228 HAS SOUPS 34947 WITH SCORE 35635.413
AT ITER 7363 NEW BEST:: SOT 1058064 SOS 688382 HAS SOPS 403622 HAS SOUS 62228 HAS SOUPS 34947 WITH SCORE 35635.382
AT ITER 7372 NEW BEST:: SOT 1058020 SOS 688266 HAS SOPS 403594 HAS SOUS 62224 HAS SOUPS 34947 WITH SCORE 35635.266
AT ITER 7380 NEW BEST:: SOT 1057965 SOS 688201 HAS SOPS 403554 HAS SOUS 62219 HAS SOUPS 34942 WITH SCORE 35630.201
AT ITER 7387 NEW BEST:: SOT 1057975 SOS 687969 HAS SOPS 403358 HAS SOUS 62217 HAS SOUPS 34940 WITH SCORE 35627.969
AT ITER 7400 NEW BEST:: SOT 1058401 SOS 688395 HAS SOPS 403784 HAS SOUS 62208 HAS SOUPS 34934 WITH SCORE 35622.395
AT ITER 7425 NEW BEST:: SOT 1058401 SOS 688395 HAS SOPS 403784 HAS SOUS 62199 HAS SOUPS 34929 WITH SCORE 35617.395
AT ITER 7433 NEW BEST:: SOT 1057443 SOS 685313 HAS SOPS 401122 HAS SOUS 62140 HAS SOUPS 34870 WITH SCORE 35555.313
AT ITER 7468 NEW BEST:: SOT 1057520 SOS 685390 HAS SOPS 401199 HAS SOUS 62139 HAS SOUPS 34869 WITH SCORE 35554.39
AT ITER 7478 NEW BEST:: SOT 1057909 SOS 686174 HAS SOPS 401456 HAS SOUS 62257 HAS SOUPS 34863 WITH SCORE 35549.174
AT ITER 7496 NEW BEST:: SOT 1057688 SOS 685654 HAS SOPS 401014 HAS SOUS 62216 HAS SOUPS 34822 WITH SCORE 35507.654
AT ITER 7508 NEW BEST:: SOT 1057220 SOS 685186 HAS SOPS 400546 HAS SOUS 62216 HAS SOUPS 34822 WITH SCORE 35507.186
AT ITER 7528 NEW BEST:: SOT 1057208 SOS 685021 HAS SOPS 400508 HAS SOUS 62135 HAS SOUPS 34763 WITH SCORE 35448.021
AT ITER 7549 NEW BEST:: SOT 1057258 SOS 685071 HAS SOPS 400418 HAS SOUS 62089 HAS SOUPS 34717 WITH SCORE 35402.071
AT ITER 7551 NEW BEST:: SOT 1057258 SOS 685074 HAS SOPS 400418 HAS SOUS 62086 HAS SOUPS 34714 WITH SCORE 35399.074
AT ITER 7565 NEW BEST:: SOT 1057334 SOS 685213 HAS SOPS 400557 HAS SOUS 62063 HAS SOUPS 34691 WITH SCORE 35376.213
AT ITER 7584 NEW BEST:: SOT 1057327 SOS 685207 HAS SOPS 400563 HAS SOUS 62044 HAS SOUPS 34689 WITH SCORE 35374.207
AT ITER 7616 NEW BEST:: SOT 1057297 SOS 685177 HAS SOPS 400533 HAS SOUS 62044 HAS SOUPS 34689 WITH SCORE 35374.177
AT ITER 7646 NEW BEST:: SOT 1057589 SOS 685633 HAS SOPS 400672 HAS SOUS 62114 HAS SOUPS 34665 WITH SCORE 35350.633
AT ITER 7660 NEW BEST:: SOT 1057379 SOS 685453 HAS SOPS 400852 HAS SOUS 61544 HAS SOUPS 34605 WITH SCORE 35290.453
AT ITER 7662 NEW BEST:: SOT 1057355 SOS 685429 HAS SOPS 400828 HAS SOUS 61544 HAS SOUPS 34605 WITH SCORE 35290.429
AT ITER 7671 NEW BEST:: SOT 1057399 SOS 685473 HAS SOPS 400787 HAS SOUS 61435 HAS SOUPS 34496 WITH SCORE 35181.473
AT ITER 7731 NEW BEST:: SOT 1056724 SOS 683627 HAS SOPS 400305 HAS SOUS 61327 HAS SOUPS 34450 WITH SCORE 35133.627
AT ITER 7769 NEW BEST:: SOT 1056274 SOS 683177 HAS SOPS 399855 HAS SOUS 61321 HAS SOUPS 34446 WITH SCORE 35129.177
AT ITER 7783 NEW BEST:: SOT 1056280 SOS 683174 HAS SOPS 399937 HAS SOUS 61315 HAS SOUPS 34445 WITH SCORE 35128.174
AT ITER 7785 NEW BEST:: SOT 1056216 SOS 682990 HAS SOPS 399897 HAS SOUS 61315 HAS SOUPS 34445 WITH SCORE 35127.99
AT ITER 7819 NEW BEST:: SOT 1056253 SOS 683027 HAS SOPS 399897 HAS SOUS 61207 HAS SOUPS 34385 WITH SCORE 35068.027
AT ITER 7829 NEW BEST:: SOT 1055950 SOS 682658 HAS SOPS 399693 HAS SOUS 61153 HAS SOUPS 34367 WITH SCORE 35049.658
AT ITER 7851 NEW BEST:: SOT 1055853 SOS 682545 HAS SOPS 399625 HAS SOUS 61150 HAS SOUPS 34364 WITH SCORE 35046.545
AT ITER 7897 NEW BEST:: SOT 1055637 SOS 681649 HAS SOPS 399149 HAS SOUS 61134 HAS SOUPS 34348 WITH SCORE 35029.649
AT ITER 7931 NEW BEST:: SOT 1057763 SOS 683727 HAS SOPS 400873 HAS SOUS 61105 HAS SOUPS 34317 WITH SCORE 35000.727
AT ITER 7989 NEW BEST:: SOT 1057752 SOS 683620 HAS SOPS 400766 HAS SOUS 61100 HAS SOUPS 34312 WITH SCORE 34995.62
AT ITER 7998 NEW BEST:: SOT 1057734 SOS 683278 HAS SOPS 400424 HAS SOUS 61100 HAS SOUPS 34312 WITH SCORE 34995.278
AT ITER 8013 NEW BEST:: SOT 1057734 SOS 683278 HAS SOPS 400424 HAS SOUS 61076 HAS SOUPS 34296 WITH SCORE 34979.278
AT ITER 8032 NEW BEST:: SOT 1057704 SOS 683248 HAS SOPS 400424 HAS SOUS 61054 HAS SOUPS 34274 WITH SCORE 34957.248
AT ITER 8037 NEW BEST:: SOT 1057695 SOS 683239 HAS SOPS 400424 HAS SOUS 61054 HAS SOUPS 34274 WITH SCORE 34957.239
AT ITER 8068 NEW BEST:: SOT 1057677 SOS 683221 HAS SOPS 400406 HAS SOUS 61045 HAS SOUPS 34269 WITH SCORE 34952.221
AT ITER 8075 NEW BEST:: SOT 1057648 SOS 683192 HAS SOPS 400406 HAS SOUS 61045 HAS SOUPS 34269 WITH SCORE 34952.192
AT ITER 8077 NEW BEST:: SOT 1057647 SOS 683191 HAS SOPS 400406 HAS SOUS 61043 HAS SOUPS 34267 WITH SCORE 34950.191
AT ITER 8079 NEW BEST:: SOT 1057587 SOS 683027 HAS SOPS 400199 HAS SOUS 61045 HAS SOUPS 34256 WITH SCORE 34939.027
AT ITER 8105 NEW BEST:: SOT 1057587 SOS 683027 HAS SOPS 400199 HAS SOUS 61036 HAS SOUPS 34251 WITH SCORE 34934.027
AT ITER 8113 NEW BEST:: SOT 1057569 SOS 682271 HAS SOPS 399527 HAS SOUS 61024 HAS SOUPS 34239 WITH SCORE 34921.271
AT ITER 8118 NEW BEST:: SOT 1057193 SOS 681535 HAS SOPS 399271 HAS SOUS 60928 HAS SOUPS 34237 WITH SCORE 34918.535
AT ITER 8134 NEW BEST:: SOT 1057217 SOS 681672 HAS SOPS 399228 HAS SOUS 60931 HAS SOUPS 34228 WITH SCORE 34909.672
AT ITER 8135 NEW BEST:: SOT 1057271 SOS 681726 HAS SOPS 399216 HAS SOUS 60875 HAS SOUPS 34172 WITH SCORE 34853.726
AT ITER 8189 NEW BEST:: SOT 1057229 SOS 681642 HAS SOPS 399188 HAS SOUS 60861 HAS SOUPS 34172 WITH SCORE 34853.642
AT ITER 8202 NEW BEST:: SOT 1057267 SOS 681772 HAS SOPS 399220 HAS SOUS 60845 HAS SOUPS 34150 WITH SCORE 34831.772
AT ITER 8207 NEW BEST:: SOT 1057272 SOS 681729 HAS SOPS 399207 HAS SOUS 60844 HAS SOUPS 34149 WITH SCORE 34830.729
AT ITER 8245 NEW BEST:: SOT 1057335 SOS 681842 HAS SOPS 399220 HAS SOUS 60883 HAS SOUPS 34147 WITH SCORE 34828.842
AT ITER 8269 NEW BEST:: SOT 1057307 SOS 681687 HAS SOPS 399129 HAS SOUS 60878 HAS SOUPS 34142 WITH SCORE 34823.687
AT ITER 8286 NEW BEST:: SOT 1057271 SOS 681651 HAS SOPS 399093 HAS SOUS 60869 HAS SOUPS 34138 WITH SCORE 34819.651
AT ITER 8323 NEW BEST:: SOT 1057201 SOS 681643 HAS SOPS 398337 HAS SOUS 60902 HAS SOUPS 34127 WITH SCORE 34808.643
AT ITER 8359 NEW BEST:: SOT 1057159 SOS 681601 HAS SOPS 398337 HAS SOUS 60902 HAS SOUPS 34127 WITH SCORE 34808.601
AT ITER 8360 NEW BEST:: SOT 1057155 SOS 681597 HAS SOPS 398337 HAS SOUS 60902 HAS SOUPS 34127 WITH SCORE 34808.597
AT ITER 8385 NEW BEST:: SOT 1057205 SOS 681119 HAS SOPS 398143 HAS SOUS 60895 HAS SOUPS 34111 WITH SCORE 34792.119
AT ITER 8408 NEW BEST:: SOT 1057138 SOS 681052 HAS SOPS 398143 HAS SOUS 60895 HAS SOUPS 34111 WITH SCORE 34792.052
AT ITER 8410 NEW BEST:: SOT 1057528 SOS 681442 HAS SOPS 398533 HAS SOUS 60892 HAS SOUPS 34109 WITH SCORE 34790.442
AT ITER 8414 NEW BEST:: SOT 1057348 SOS 681262 HAS SOPS 398353 HAS SOUS 60847 HAS SOUPS 34084 WITH SCORE 34765.262
AT ITER 8440 NEW BEST:: SOT 1057318 SOS 681232 HAS SOPS 398353 HAS SOUS 60847 HAS SOUPS 34084 WITH SCORE 34765.232
AT ITER 8460 NEW BEST:: SOT 1057321 SOS 680885 HAS SOPS 398516 HAS SOUS 60802 HAS SOUPS 34069 WITH SCORE 34749.885
AT ITER 8468 NEW BEST:: SOT 1057321 SOS 680885 HAS SOPS 398516 HAS SOUS 60793 HAS SOUPS 34063 WITH SCORE 34743.885
AT ITER 8482 NEW BEST:: SOT 1057257 SOS 680784 HAS SOPS 398489 HAS SOUS 60729 HAS SOUPS 34036 WITH SCORE 34716.784
AT ITER 8511 NEW BEST:: SOT 1057206 SOS 680446 HAS SOPS 398423 HAS SOUS 60689 HAS SOUPS 34012 WITH SCORE 34692.446
AT ITER 8517 NEW BEST:: SOT 1057202 SOS 680438 HAS SOPS 398431 HAS SOUS 60686 HAS SOUPS 34009 WITH SCORE 34689.438
AT ITER 8548 NEW BEST:: SOT 1057202 SOS 680438 HAS SOPS 398431 HAS SOUS 60662 HAS SOUPS 33993 WITH SCORE 34673.438
AT ITER 8587 NEW BEST:: SOT 1057202 SOS 680438 HAS SOPS 398431 HAS SOUS 60626 HAS SOUPS 33973 WITH SCORE 34653.438
AT ITER 8631 NEW BEST:: SOT 1057193 SOS 679732 HAS SOPS 397733 HAS SOUS 60621 HAS SOUPS 33968 WITH SCORE 34647.732
AT ITER 8662 NEW BEST:: SOT 1056780 SOS 678452 HAS SOPS 397301 HAS SOUS 60588 HAS SOUPS 33964 WITH SCORE 34642.452
AT ITER 8672 NEW BEST:: SOT 1056778 SOS 678450 HAS SOPS 397301 HAS SOUS 60588 HAS SOUPS 33964 WITH SCORE 34642.45
AT ITER 8706 NEW BEST:: SOT 1056822 SOS 678504 HAS SOPS 397325 HAS SOUS 60577 HAS SOUPS 33953 WITH SCORE 34631.504
AT ITER 8757 NEW BEST:: SOT 1056798 SOS 678480 HAS SOPS 397301 HAS SOUS 60577 HAS SOUPS 33953 WITH SCORE 34631.48
AT ITER 8806 NEW BEST:: SOT 1056712 SOS 678215 HAS SOPS 397190 HAS SOUS 60516 HAS SOUPS 33935 WITH SCORE 34613.215
AT ITER 8868 NEW BEST:: SOT 1056698 SOS 678201 HAS SOPS 397190 HAS SOUS 60516 HAS SOUPS 33935 WITH SCORE 34613.201
AT ITER 8872 NEW BEST:: SOT 1056554 SOS 678057 HAS SOPS 397046 HAS SOUS 60516 HAS SOUPS 33935 WITH SCORE 34613.057
AT ITER 8892 NEW BEST:: SOT 1056530 SOS 678033 HAS SOPS 397046 HAS SOUS 60516 HAS SOUPS 33935 WITH SCORE 34613.033
AT ITER 8910 NEW BEST:: SOT 1056004 SOS 672914 HAS SOPS 392824 HAS SOUS 60408 HAS SOUPS 33866 WITH SCORE 34538.914
AT ITER 8920 NEW BEST:: SOT 1056011 SOS 672522 HAS SOPS 392780 HAS SOUS 60346 HAS SOUPS 33825 WITH SCORE 34497.522
AT ITER 8985 NEW BEST:: SOT 1056010 SOS 672521 HAS SOPS 392780 HAS SOUS 60346 HAS SOUPS 33825 WITH SCORE 34497.521
AT ITER 9079 NEW BEST:: SOT 1055921 SOS 672432 HAS SOPS 392780 HAS SOUS 60346 HAS SOUPS 33825 WITH SCORE 34497.432
AT ITER 9107 NEW BEST:: SOT 1055977 SOS 672615 HAS SOPS 392818 HAS SOUS 60349 HAS SOUPS 33824 WITH SCORE 34496.615
AT ITER 9135 NEW BEST:: SOT 1055882 SOS 672520 HAS SOPS 392818 HAS SOUS 60349 HAS SOUPS 33824 WITH SCORE 34496.52
AT ITER 9170 NEW BEST:: SOT 1055882 SOS 672494 HAS SOPS 392818 HAS SOUS 60323 HAS SOUPS 33824 WITH SCORE 34496.494
AT ITER 9254 NEW BEST:: SOT 1055846 SOS 672458 HAS SOPS 392782 HAS SOUS 60323 HAS SOUPS 33824 WITH SCORE 34496.458
AT ITER 9304 NEW BEST:: SOT 1055837 SOS 672202 HAS SOPS 392542 HAS SOUS 60323 HAS SOUPS 33824 WITH SCORE 34496.202
AT ITER 9326 NEW BEST:: SOT 1055860 SOS 671834 HAS SOPS 392174 HAS SOUS 60323 HAS SOUPS 33824 WITH SCORE 34495.834
AT ITER 9351 NEW BEST:: SOT 1055856 SOS 671672 HAS SOPS 392026 HAS SOUS 60315 HAS SOUPS 33818 WITH SCORE 34489.672
AT ITER 9443 NEW BEST:: SOT 1055855 SOS 671671 HAS SOPS 392025 HAS SOUS 60313 HAS SOUPS 33816 WITH SCORE 34487.671
AT ITER 9552 NEW BEST:: SOT 1055802 SOS 670664 HAS SOPS 391528 HAS SOUS 60237 HAS SOUPS 33770 WITH SCORE 34440.664
AT ITER 9556 NEW BEST:: SOT 1055703 SOS 670241 HAS SOPS 391303 HAS SOUS 60219 HAS SOUPS 33761 WITH SCORE 34431.241
AT ITER 9566 NEW BEST:: SOT 1055657 SOS 669758 HAS SOPS 391211 HAS SOUS 60191 HAS SOUPS 33756 WITH SCORE 34425.758
AT ITER 9581 NEW BEST:: SOT 1055536 SOS 669499 HAS SOPS 390960 HAS SOUS 60018 HAS SOUPS 33583 WITH SCORE 34252.499
AT ITER 9626 NEW BEST:: SOT 1055537 SOS 669331 HAS SOPS 390962 HAS SOUS 60006 HAS SOUPS 33579 WITH SCORE 34248.331
AT ITER 9646 NEW BEST:: SOT 1055878 SOS 670042 HAS SOPS 391199 HAS SOUS 60053 HAS SOUPS 33540 WITH SCORE 34210.042
AT ITER 9652 NEW BEST:: SOT 1055867 SOS 670031 HAS SOPS 391199 HAS SOUS 60053 HAS SOUPS 33540 WITH SCORE 34210.031
AT ITER 9654 NEW BEST:: SOT 1055865 SOS 669993 HAS SOPS 391195 HAS SOUS 60051 HAS SOUPS 33540 WITH SCORE 34209.993
AT ITER 9656 NEW BEST:: SOT 1055851 SOS 669979 HAS SOPS 391195 HAS SOUS 60051 HAS SOUPS 33540 WITH SCORE 34209.979
AT ITER 9665 NEW BEST:: SOT 1055490 SOS 669750 HAS SOPS 390939 HAS SOUS 60052 HAS SOUPS 33503 WITH SCORE 34172.75
AT ITER 9684 NEW BEST:: SOT 1054295 SOS 668332 HAS SOPS 389967 HAS SOUS 59987 HAS SOUPS 33503 WITH SCORE 34171.332
AT ITER 9700 NEW BEST:: SOT 1054284 SOS 668321 HAS SOPS 389956 HAS SOUS 59978 HAS SOUPS 33494 WITH SCORE 34162.321
AT ITER 9715 NEW BEST:: SOT 1053012 SOS 667049 HAS SOPS 388684 HAS SOUS 59978 HAS SOUPS 33494 WITH SCORE 34161.049
AT ITER 9758 NEW BEST:: SOT 1052981 SOS 667112 HAS SOPS 387909 HAS SOUS 60027 HAS SOUPS 33490 WITH SCORE 34157.112
AT ITER 9762 NEW BEST:: SOT 1052682 SOS 666866 HAS SOPS 388173 HAS SOUS 59211 HAS SOUPS 33402 WITH SCORE 34068.866
AT ITER 9811 NEW BEST:: SOT 1052580 SOS 666764 HAS SOPS 388071 HAS SOUS 59058 HAS SOUPS 33317 WITH SCORE 33983.764
AT ITER 9817 NEW BEST:: SOT 1052576 SOS 666760 HAS SOPS 388071 HAS SOUS 59058 HAS SOUPS 33317 WITH SCORE 33983.76
AT ITER 9829 NEW BEST:: SOT 1052460 SOS 666684 HAS SOPS 387845 HAS SOUS 59075 HAS SOUPS 33304 WITH SCORE 33970.684
AT ITER 9830 NEW BEST:: SOT 1052333 SOS 665213 HAS SOPS 386638 HAS SOUS 59059 HAS SOUPS 33300 WITH SCORE 33965.213
AT ITER 9847 NEW BEST:: SOT 1052319 SOS 665199 HAS SOPS 386624 HAS SOUS 59045 HAS SOUPS 33286 WITH SCORE 33951.199
AT ITER 9852 NEW BEST:: SOT 1052319 SOS 665199 HAS SOPS 386624 HAS SOUS 58973 HAS SOUPS 33246 WITH SCORE 33911.199
AT ITER 9907 NEW BEST:: SOT 1052127 SOS 665007 HAS SOPS 386432 HAS SOUS 58964 HAS SOUPS 33241 WITH SCORE 33906.007
AT ITER 9922 NEW BEST:: SOT 1052055 SOS 664953 HAS SOPS 386396 HAS SOUS 58970 HAS SOUPS 33238 WITH SCORE 33902.953
AT ITER 9924 NEW BEST:: SOT 1052055 SOS 664953 HAS SOPS 386396 HAS SOUS 58871 HAS SOUPS 33183 WITH SCORE 33847.953

BK_STOP 1678265788578

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 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="DLCround-PT-13a"
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 DLCround-PT-13a, 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 r099-tall-167814472900784"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13a.tgz
mv DLCround-PT-13a 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 ;