Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 15K Feb 25 23:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 23:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 62K Feb 25 23:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 274K Feb 25 23:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 18K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 33K Feb 25 23:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 216K Feb 25 23:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 25 23:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 126K Feb 25 23:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.7K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678813767594

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=PolyORBNT-PT-S05J30
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J30
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: 489 places, 1400 transitions, 9764 arcs.
AT ITER 0 NEW BEST:: SOT 485864 SOS 230113 HAS SOPS 230113 HAS SOUS 111990 HAS SOUPS 111990 WITH SCORE 112220.113
AT ITER 9 NEW BEST:: SOT 485864 SOS 230113 HAS SOPS 230113 HAS SOUS 111915 HAS SOUPS 111915 WITH SCORE 112145.113
AT ITER 16 NEW BEST:: SOT 485864 SOS 230113 HAS SOPS 230113 HAS SOUS 111760 HAS SOUPS 111760 WITH SCORE 111990.113
AT ITER 33 NEW BEST:: SOT 485782 SOS 229998 HAS SOPS 229998 HAS SOUS 111645 HAS SOUPS 111645 WITH SCORE 111874.998
AT ITER 34 NEW BEST:: SOT 485773 SOS 229989 HAS SOPS 229989 HAS SOUS 111636 HAS SOUPS 111636 WITH SCORE 111865.989
AT ITER 36 NEW BEST:: SOT 485551 SOS 229840 HAS SOPS 229840 HAS SOUS 111473 HAS SOUPS 111473 WITH SCORE 111702.84
AT ITER 45 NEW BEST:: SOT 485551 SOS 229840 HAS SOPS 229840 HAS SOUS 111388 HAS SOUPS 111388 WITH SCORE 111617.84
AT ITER 48 NEW BEST:: SOT 485479 SOS 229676 HAS SOPS 229676 HAS SOUS 110856 HAS SOUPS 110856 WITH SCORE 111085.676
AT ITER 49 NEW BEST:: SOT 485479 SOS 229676 HAS SOPS 229676 HAS SOUS 110755 HAS SOUPS 110755 WITH SCORE 110984.676
AT ITER 50 NEW BEST:: SOT 485379 SOS 229492 HAS SOPS 229492 HAS SOUS 110235 HAS SOUPS 110235 WITH SCORE 110464.492
AT ITER 57 NEW BEST:: SOT 485205 SOS 229318 HAS SOPS 229318 HAS SOUS 109881 HAS SOUPS 109881 WITH SCORE 110110.318
AT ITER 66 NEW BEST:: SOT 485219 SOS 229464 HAS SOPS 229464 HAS SOUS 109796 HAS SOUPS 109796 WITH SCORE 110025.464
AT ITER 75 NEW BEST:: SOT 485219 SOS 229464 HAS SOPS 229464 HAS SOUS 109706 HAS SOUPS 109706 WITH SCORE 109935.464
AT ITER 77 NEW BEST:: SOT 485193 SOS 229438 HAS SOPS 229438 HAS SOUS 109680 HAS SOUPS 109680 WITH SCORE 109909.438
AT ITER 82 NEW BEST:: SOT 485080 SOS 229233 HAS SOPS 229233 HAS SOUS 109107 HAS SOUPS 109107 WITH SCORE 109336.233
AT ITER 87 NEW BEST:: SOT 485391 SOS 229452 HAS SOPS 229452 HAS SOUS 109002 HAS SOUPS 109002 WITH SCORE 109231.452
AT ITER 92 NEW BEST:: SOT 485357 SOS 229454 HAS SOPS 229454 HAS SOUS 108984 HAS SOUPS 108984 WITH SCORE 109213.454
AT ITER 104 NEW BEST:: SOT 485285 SOS 229301 HAS SOPS 229301 HAS SOUS 108507 HAS SOUPS 108507 WITH SCORE 108736.301
AT ITER 106 NEW BEST:: SOT 485421 SOS 229389 HAS SOPS 229389 HAS SOUS 108478 HAS SOUPS 108478 WITH SCORE 108707.389
AT ITER 119 NEW BEST:: SOT 485421 SOS 229389 HAS SOPS 229389 HAS SOUS 108387 HAS SOUPS 108387 WITH SCORE 108616.389
AT ITER 134 NEW BEST:: SOT 485397 SOS 229384 HAS SOPS 229384 HAS SOUS 108379 HAS SOUPS 108379 WITH SCORE 108608.384
AT ITER 142 NEW BEST:: SOT 485411 SOS 229614 HAS SOPS 229614 HAS SOUS 108340 HAS SOUPS 108340 WITH SCORE 108569.614
AT ITER 152 NEW BEST:: SOT 485195 SOS 229337 HAS SOPS 229337 HAS SOUS 108063 HAS SOUPS 108063 WITH SCORE 108292.337
AT ITER 168 NEW BEST:: SOT 485188 SOS 229316 HAS SOPS 229316 HAS SOUS 107986 HAS SOUPS 107986 WITH SCORE 108215.316
AT ITER 174 NEW BEST:: SOT 485188 SOS 229306 HAS SOPS 229306 HAS SOUS 107608 HAS SOUPS 107608 WITH SCORE 107837.306
AT ITER 179 NEW BEST:: SOT 485210 SOS 229286 HAS SOPS 229286 HAS SOUS 107588 HAS SOUPS 107588 WITH SCORE 107817.286
AT ITER 185 NEW BEST:: SOT 485210 SOS 229286 HAS SOPS 229286 HAS SOUS 107411 HAS SOUPS 107411 WITH SCORE 107640.286
AT ITER 187 NEW BEST:: SOT 485210 SOS 229260 HAS SOPS 229260 HAS SOUS 107385 HAS SOUPS 107385 WITH SCORE 107614.26
AT ITER 191 NEW BEST:: SOT 485413 SOS 229371 HAS SOPS 229371 HAS SOUS 107158 HAS SOUPS 107158 WITH SCORE 107387.371
AT ITER 193 NEW BEST:: SOT 485427 SOS 229601 HAS SOPS 229601 HAS SOUS 107094 HAS SOUPS 107094 WITH SCORE 107323.601
AT ITER 201 NEW BEST:: SOT 485383 SOS 229733 HAS SOPS 229733 HAS SOUS 107072 HAS SOUPS 107072 WITH SCORE 107301.733
AT ITER 213 NEW BEST:: SOT 485465 SOS 229733 HAS SOPS 229733 HAS SOUS 106856 HAS SOUPS 106856 WITH SCORE 107085.733
AT ITER 232 NEW BEST:: SOT 485427 SOS 229760 HAS SOPS 229760 HAS SOUS 106846 HAS SOUPS 106846 WITH SCORE 107075.76
AT ITER 234 NEW BEST:: SOT 485392 SOS 229783 HAS SOPS 229783 HAS SOUS 106832 HAS SOUPS 106832 WITH SCORE 107061.783
AT ITER 238 NEW BEST:: SOT 485467 SOS 229858 HAS SOPS 229858 HAS SOUS 106706 HAS SOUPS 106706 WITH SCORE 106935.858
AT ITER 242 NEW BEST:: SOT 485467 SOS 229858 HAS SOPS 229858 HAS SOUS 106639 HAS SOUPS 106639 WITH SCORE 106868.858
AT ITER 248 NEW BEST:: SOT 485413 SOS 229804 HAS SOPS 229804 HAS SOUS 106585 HAS SOUPS 106585 WITH SCORE 106814.804
AT ITER 262 NEW BEST:: SOT 485327 SOS 229543 HAS SOPS 229543 HAS SOUS 106328 HAS SOUPS 106328 WITH SCORE 106557.543
AT ITER 265 NEW BEST:: SOT 485327 SOS 229543 HAS SOPS 229543 HAS SOUS 106316 HAS SOUPS 106316 WITH SCORE 106545.543
AT ITER 267 NEW BEST:: SOT 485295 SOS 229511 HAS SOPS 229511 HAS SOUS 106284 HAS SOUPS 106284 WITH SCORE 106513.511
AT ITER 283 NEW BEST:: SOT 485336 SOS 229460 HAS SOPS 229460 HAS SOUS 105877 HAS SOUPS 105877 WITH SCORE 106106.46
AT ITER 285 NEW BEST:: SOT 485280 SOS 229446 HAS SOPS 229446 HAS SOUS 105877 HAS SOUPS 105877 WITH SCORE 106106.446
AT ITER 286 NEW BEST:: SOT 485280 SOS 229437 HAS SOPS 229437 HAS SOUS 105832 HAS SOUPS 105832 WITH SCORE 106061.437
AT ITER 289 NEW BEST:: SOT 485170 SOS 229356 HAS SOPS 229356 HAS SOUS 105785 HAS SOUPS 105785 WITH SCORE 106014.356
AT ITER 291 NEW BEST:: SOT 475734 SOS 220713 HAS SOPS 220713 HAS SOUS 96218 HAS SOUPS 96218 WITH SCORE 96438.713
AT ITER 293 NEW BEST:: SOT 475722 SOS 220701 HAS SOPS 220701 HAS SOUS 96206 HAS SOUPS 96206 WITH SCORE 96426.701
AT ITER 294 NEW BEST:: SOT 475786 SOS 220798 HAS SOPS 220798 HAS SOUS 96123 HAS SOUPS 96123 WITH SCORE 96343.798
AT ITER 300 NEW BEST:: SOT 475786 SOS 220798 HAS SOPS 220798 HAS SOUS 95903 HAS SOUPS 95903 WITH SCORE 96123.798
AT ITER 307 NEW BEST:: SOT 475835 SOS 220812 HAS SOPS 220812 HAS SOUS 95824 HAS SOUPS 95824 WITH SCORE 96044.812
AT ITER 319 NEW BEST:: SOT 475743 SOS 220720 HAS SOPS 220720 HAS SOUS 95732 HAS SOUPS 95732 WITH SCORE 95952.72
AT ITER 324 NEW BEST:: SOT 472812 SOS 221575 HAS SOPS 221575 HAS SOUS 92800 HAS SOUPS 92800 WITH SCORE 93021.575
AT ITER 327 NEW BEST:: SOT 472796 SOS 221559 HAS SOPS 221559 HAS SOUS 92784 HAS SOUPS 92784 WITH SCORE 93005.559
AT ITER 337 NEW BEST:: SOT 472582 SOS 221284 HAS SOPS 221284 HAS SOUS 92110 HAS SOUPS 92110 WITH SCORE 92331.284
AT ITER 341 NEW BEST:: SOT 472744 SOS 221446 HAS SOPS 221446 HAS SOUS 92093 HAS SOUPS 92093 WITH SCORE 92314.446
AT ITER 342 NEW BEST:: SOT 472753 SOS 221489 HAS SOPS 221489 HAS SOUS 92077 HAS SOUPS 92077 WITH SCORE 92298.489
AT ITER 347 NEW BEST:: SOT 472690 SOS 221426 HAS SOPS 221426 HAS SOUS 92011 HAS SOUPS 92011 WITH SCORE 92232.426
AT ITER 348 NEW BEST:: SOT 472806 SOS 221542 HAS SOPS 221542 HAS SOUS 91994 HAS SOUPS 91994 WITH SCORE 92215.542
AT ITER 352 NEW BEST:: SOT 472560 SOS 221279 HAS SOPS 221279 HAS SOUS 91510 HAS SOUPS 91510 WITH SCORE 91731.279
AT ITER 356 NEW BEST:: SOT 472575 SOS 221255 HAS SOPS 221255 HAS SOUS 91416 HAS SOUPS 91416 WITH SCORE 91637.255
AT ITER 359 NEW BEST:: SOT 472605 SOS 221224 HAS SOPS 221224 HAS SOUS 90986 HAS SOUPS 90986 WITH SCORE 91207.224
AT ITER 362 NEW BEST:: SOT 472591 SOS 221210 HAS SOPS 221210 HAS SOUS 90972 HAS SOUPS 90972 WITH SCORE 91193.21
AT ITER 366 NEW BEST:: SOT 472560 SOS 221179 HAS SOPS 221179 HAS SOUS 90860 HAS SOUPS 90860 WITH SCORE 91081.179
AT ITER 369 NEW BEST:: SOT 453112 SOS 201773 HAS SOPS 201773 HAS SOUS 87582 HAS SOUPS 87582 WITH SCORE 87783.773
AT ITER 375 NEW BEST:: SOT 453040 SOS 201701 HAS SOPS 201701 HAS SOUS 87475 HAS SOUPS 87475 WITH SCORE 87676.701
AT ITER 381 NEW BEST:: SOT 453038 SOS 201699 HAS SOPS 201699 HAS SOUS 87473 HAS SOUPS 87473 WITH SCORE 87674.699
AT ITER 383 NEW BEST:: SOT 453349 SOS 201949 HAS SOPS 201949 HAS SOUS 87430 HAS SOUPS 87430 WITH SCORE 87631.949
AT ITER 385 NEW BEST:: SOT 453378 SOS 201949 HAS SOPS 201949 HAS SOUS 87314 HAS SOUPS 87314 WITH SCORE 87515.949
AT ITER 388 NEW BEST:: SOT 453252 SOS 201762 HAS SOPS 201762 HAS SOUS 86413 HAS SOUPS 86413 WITH SCORE 86614.762
AT ITER 393 NEW BEST:: SOT 453220 SOS 201730 HAS SOPS 201730 HAS SOUS 86381 HAS SOUPS 86381 WITH SCORE 86582.73
AT ITER 399 NEW BEST:: SOT 453189 SOS 201761 HAS SOPS 201761 HAS SOUS 86355 HAS SOUPS 86355 WITH SCORE 86556.761
AT ITER 411 NEW BEST:: SOT 453187 SOS 201759 HAS SOPS 201759 HAS SOUS 86353 HAS SOUPS 86353 WITH SCORE 86554.759
AT ITER 412 NEW BEST:: SOT 453371 SOS 201943 HAS SOPS 201943 HAS SOUS 86227 HAS SOUPS 86227 WITH SCORE 86428.943
AT ITER 422 NEW BEST:: SOT 453603 SOS 202162 HAS SOPS 202162 HAS SOUS 86165 HAS SOUPS 86165 WITH SCORE 86367.162
AT ITER 465 NEW BEST:: SOT 453551 SOS 202110 HAS SOPS 202110 HAS SOUS 86113 HAS SOUPS 86113 WITH SCORE 86315.11
AT ITER 516 NEW BEST:: SOT 453547 SOS 202106 HAS SOPS 202106 HAS SOUS 86109 HAS SOUPS 86109 WITH SCORE 86311.106
AT ITER 518 NEW BEST:: SOT 453534 SOS 202093 HAS SOPS 202093 HAS SOUS 86096 HAS SOUPS 86096 WITH SCORE 86298.093
AT ITER 519 NEW BEST:: SOT 453492 SOS 202051 HAS SOPS 202051 HAS SOUS 85729 HAS SOUPS 85729 WITH SCORE 85931.051
AT ITER 527 NEW BEST:: SOT 453409 SOS 201968 HAS SOPS 201968 HAS SOUS 85231 HAS SOUPS 85231 WITH SCORE 85432.968
AT ITER 529 NEW BEST:: SOT 453678 SOS 202171 HAS SOPS 202171 HAS SOUS 85183 HAS SOUPS 85183 WITH SCORE 85385.171
AT ITER 540 NEW BEST:: SOT 453674 SOS 202167 HAS SOPS 202167 HAS SOUS 85179 HAS SOUPS 85179 WITH SCORE 85381.167
AT ITER 544 NEW BEST:: SOT 453634 SOS 202127 HAS SOPS 202127 HAS SOUS 85139 HAS SOUPS 85139 WITH SCORE 85341.127
AT ITER 552 NEW BEST:: SOT 453870 SOS 202324 HAS SOPS 202324 HAS SOUS 84897 HAS SOUPS 84897 WITH SCORE 85099.324
AT ITER 556 NEW BEST:: SOT 453946 SOS 202359 HAS SOPS 202359 HAS SOUS 84633 HAS SOUPS 84633 WITH SCORE 84835.359
AT ITER 557 NEW BEST:: SOT 453778 SOS 202310 HAS SOPS 202310 HAS SOUS 84539 HAS SOUPS 84539 WITH SCORE 84741.31
AT ITER 567 NEW BEST:: SOT 454046 SOS 202517 HAS SOPS 202517 HAS SOUS 84526 HAS SOUPS 84526 WITH SCORE 84728.517
AT ITER 569 NEW BEST:: SOT 454141 SOS 202612 HAS SOPS 202612 HAS SOUS 84488 HAS SOUPS 84488 WITH SCORE 84690.612
AT ITER 572 NEW BEST:: SOT 454140 SOS 202554 HAS SOPS 202554 HAS SOUS 84349 HAS SOUPS 84349 WITH SCORE 84551.554
AT ITER 581 NEW BEST:: SOT 454050 SOS 202464 HAS SOPS 202464 HAS SOUS 83732 HAS SOUPS 83732 WITH SCORE 83934.464
AT ITER 605 NEW BEST:: SOT 454004 SOS 202451 HAS SOPS 202451 HAS SOUS 83706 HAS SOUPS 83706 WITH SCORE 83908.451
AT ITER 612 NEW BEST:: SOT 453994 SOS 202504 HAS SOPS 202504 HAS SOUS 83685 HAS SOUPS 83685 WITH SCORE 83887.504
AT ITER 624 NEW BEST:: SOT 453977 SOS 202487 HAS SOPS 202487 HAS SOUS 83515 HAS SOUPS 83515 WITH SCORE 83717.487
AT ITER 627 NEW BEST:: SOT 454041 SOS 202485 HAS SOPS 202485 HAS SOUS 83381 HAS SOUPS 83381 WITH SCORE 83583.485
AT ITER 642 NEW BEST:: SOT 453933 SOS 202377 HAS SOPS 202377 HAS SOUS 83228 HAS SOUPS 83228 WITH SCORE 83430.377
AT ITER 651 NEW BEST:: SOT 453854 SOS 202298 HAS SOPS 202298 HAS SOUS 83051 HAS SOUPS 83051 WITH SCORE 83253.298
AT ITER 658 NEW BEST:: SOT 453453 SOS 201897 HAS SOPS 201897 HAS SOUS 82650 HAS SOUPS 82650 WITH SCORE 82851.897
AT ITER 676 NEW BEST:: SOT 453443 SOS 201887 HAS SOPS 201887 HAS SOUS 82640 HAS SOUPS 82640 WITH SCORE 82841.887
AT ITER 686 NEW BEST:: SOT 453458 SOS 201902 HAS SOPS 201902 HAS SOUS 82595 HAS SOUPS 82595 WITH SCORE 82796.902
AT ITER 687 NEW BEST:: SOT 453223 SOS 201667 HAS SOPS 201667 HAS SOUS 82245 HAS SOUPS 82245 WITH SCORE 82446.667
AT ITER 695 NEW BEST:: SOT 453160 SOS 201606 HAS SOPS 201606 HAS SOUS 82031 HAS SOUPS 82031 WITH SCORE 82232.606
AT ITER 703 NEW BEST:: SOT 453146 SOS 201592 HAS SOPS 201592 HAS SOUS 82017 HAS SOUPS 82017 WITH SCORE 82218.592
AT ITER 705 NEW BEST:: SOT 453124 SOS 201570 HAS SOPS 201570 HAS SOUS 81995 HAS SOUPS 81995 WITH SCORE 82196.57
AT ITER 721 NEW BEST:: SOT 452867 SOS 201313 HAS SOPS 201313 HAS SOUS 81778 HAS SOUPS 81778 WITH SCORE 81979.313
AT ITER 729 NEW BEST:: SOT 452922 SOS 201368 HAS SOPS 201368 HAS SOUS 81553 HAS SOUPS 81553 WITH SCORE 81754.368
AT ITER 733 NEW BEST:: SOT 452952 SOS 201398 HAS SOPS 201398 HAS SOUS 81520 HAS SOUPS 81520 WITH SCORE 81721.398
AT ITER 734 NEW BEST:: SOT 452868 SOS 201314 HAS SOPS 201314 HAS SOUS 81502 HAS SOUPS 81502 WITH SCORE 81703.314
AT ITER 736 NEW BEST:: SOT 452777 SOS 201223 HAS SOPS 201223 HAS SOUS 81411 HAS SOUPS 81411 WITH SCORE 81612.223
AT ITER 739 NEW BEST:: SOT 452423 SOS 200775 HAS SOPS 200775 HAS SOUS 81054 HAS SOUPS 81054 WITH SCORE 81254.775
AT ITER 751 NEW BEST:: SOT 452373 SOS 200652 HAS SOPS 200652 HAS SOUS 80712 HAS SOUPS 80712 WITH SCORE 80912.652
AT ITER 752 NEW BEST:: SOT 452340 SOS 200576 HAS SOPS 200576 HAS SOUS 80646 HAS SOUPS 80646 WITH SCORE 80846.576
AT ITER 754 NEW BEST:: SOT 452331 SOS 200536 HAS SOPS 200536 HAS SOUS 80512 HAS SOUPS 80512 WITH SCORE 80712.536
AT ITER 757 NEW BEST:: SOT 452101 SOS 200306 HAS SOPS 200306 HAS SOUS 80151 HAS SOUPS 80151 WITH SCORE 80351.306
AT ITER 760 NEW BEST:: SOT 452101 SOS 200276 HAS SOPS 200276 HAS SOUS 80121 HAS SOUPS 80121 WITH SCORE 80321.276
AT ITER 776 NEW BEST:: SOT 452000 SOS 200175 HAS SOPS 200175 HAS SOUS 80053 HAS SOUPS 80053 WITH SCORE 80253.175
AT ITER 778 NEW BEST:: SOT 451919 SOS 200094 HAS SOPS 200094 HAS SOUS 79939 HAS SOUPS 79939 WITH SCORE 80139.094
AT ITER 794 NEW BEST:: SOT 451868 SOS 200213 HAS SOPS 200213 HAS SOUS 79904 HAS SOUPS 79904 WITH SCORE 80104.213
AT ITER 797 NEW BEST:: SOT 451758 SOS 200210 HAS SOPS 200210 HAS SOUS 79898 HAS SOUPS 79898 WITH SCORE 80098.21
AT ITER 799 NEW BEST:: SOT 451698 SOS 200153 HAS SOPS 200153 HAS SOUS 79845 HAS SOUPS 79845 WITH SCORE 80045.153
AT ITER 806 NEW BEST:: SOT 451523 SOS 199978 HAS SOPS 199978 HAS SOUS 79367 HAS SOUPS 79367 WITH SCORE 79566.978
AT ITER 825 NEW BEST:: SOT 451498 SOS 199953 HAS SOPS 199953 HAS SOUS 79342 HAS SOUPS 79342 WITH SCORE 79541.953
AT ITER 830 NEW BEST:: SOT 451498 SOS 199951 HAS SOPS 199951 HAS SOUS 79338 HAS SOUPS 79338 WITH SCORE 79537.951
AT ITER 849 NEW BEST:: SOT 451664 SOS 200117 HAS SOPS 200117 HAS SOUS 79324 HAS SOUPS 79324 WITH SCORE 79524.117
AT ITER 852 NEW BEST:: SOT 451694 SOS 200091 HAS SOPS 200091 HAS SOUS 79104 HAS SOUPS 79104 WITH SCORE 79304.091
AT ITER 857 NEW BEST:: SOT 451674 SOS 200071 HAS SOPS 200071 HAS SOUS 79084 HAS SOUPS 79084 WITH SCORE 79284.071
AT ITER 859 NEW BEST:: SOT 451604 SOS 199999 HAS SOPS 199999 HAS SOUS 78734 HAS SOUPS 78734 WITH SCORE 78933.999
AT ITER 873 NEW BEST:: SOT 451604 SOS 199895 HAS SOPS 199895 HAS SOUS 78058 HAS SOUPS 78058 WITH SCORE 78257.895
AT ITER 879 NEW BEST:: SOT 451508 SOS 199799 HAS SOPS 199799 HAS SOUS 77962 HAS SOUPS 77962 WITH SCORE 78161.799
AT ITER 886 NEW BEST:: SOT 451507 SOS 199798 HAS SOPS 199798 HAS SOUS 77814 HAS SOUPS 77814 WITH SCORE 78013.798
AT ITER 900 NEW BEST:: SOT 451484 SOS 199800 HAS SOPS 199800 HAS SOUS 77807 HAS SOUPS 77807 WITH SCORE 78006.8
AT ITER 905 NEW BEST:: SOT 451452 SOS 199762 HAS SOPS 199762 HAS SOUS 77745 HAS SOUPS 77745 WITH SCORE 77944.762
AT ITER 927 NEW BEST:: SOT 451415 SOS 199725 HAS SOPS 199725 HAS SOUS 77684 HAS SOUPS 77684 WITH SCORE 77883.725
AT ITER 944 NEW BEST:: SOT 451431 SOS 199693 HAS SOPS 199693 HAS SOUS 77501 HAS SOUPS 77501 WITH SCORE 77700.693
AT ITER 967 NEW BEST:: SOT 451369 SOS 199625 HAS SOPS 199625 HAS SOUS 77433 HAS SOUPS 77433 WITH SCORE 77632.625
AT ITER 976 NEW BEST:: SOT 451266 SOS 199536 HAS SOPS 199536 HAS SOUS 77372 HAS SOUPS 77372 WITH SCORE 77571.536
AT ITER 986 NEW BEST:: SOT 451325 SOS 199601 HAS SOPS 199601 HAS SOUS 77201 HAS SOUPS 77201 WITH SCORE 77400.601
AT ITER 990 NEW BEST:: SOT 451321 SOS 199597 HAS SOPS 199597 HAS SOUS 77196 HAS SOUPS 77196 WITH SCORE 77395.597
AT ITER 998 NEW BEST:: SOT 451169 SOS 199445 HAS SOPS 199445 HAS SOUS 77044 HAS SOUPS 77044 WITH SCORE 77243.445
AT ITER 1004 NEW BEST:: SOT 451150 SOS 199426 HAS SOPS 199426 HAS SOUS 77017 HAS SOUPS 77017 WITH SCORE 77216.426
AT ITER 1032 NEW BEST:: SOT 451150 SOS 199426 HAS SOPS 199426 HAS SOUS 77011 HAS SOUPS 77011 WITH SCORE 77210.426
AT ITER 1034 NEW BEST:: SOT 451108 SOS 199384 HAS SOPS 199384 HAS SOUS 76860 HAS SOUPS 76860 WITH SCORE 77059.384
AT ITER 1060 NEW BEST:: SOT 451058 SOS 199198 HAS SOPS 199198 HAS SOUS 76782 HAS SOUPS 76782 WITH SCORE 76981.198
AT ITER 1069 NEW BEST:: SOT 450776 SOS 198868 HAS SOPS 198868 HAS SOUS 76490 HAS SOUPS 76490 WITH SCORE 76688.868
AT ITER 1073 NEW BEST:: SOT 450746 SOS 198959 HAS SOPS 198959 HAS SOUS 76474 HAS SOUPS 76474 WITH SCORE 76672.959
AT ITER 1087 NEW BEST:: SOT 450734 SOS 198947 HAS SOPS 198947 HAS SOUS 76462 HAS SOUPS 76462 WITH SCORE 76660.947
AT ITER 1088 NEW BEST:: SOT 450728 SOS 198912 HAS SOPS 198912 HAS SOUS 76428 HAS SOUPS 76428 WITH SCORE 76626.912
AT ITER 1091 NEW BEST:: SOT 450702 SOS 198886 HAS SOPS 198886 HAS SOUS 76389 HAS SOUPS 76389 WITH SCORE 76587.886
AT ITER 1093 NEW BEST:: SOT 450702 SOS 198751 HAS SOPS 198751 HAS SOUS 76359 HAS SOUPS 76359 WITH SCORE 76557.751
AT ITER 1099 NEW BEST:: SOT 450698 SOS 198743 HAS SOPS 198743 HAS SOUS 76351 HAS SOUPS 76351 WITH SCORE 76549.743
AT ITER 1126 NEW BEST:: SOT 450674 SOS 198719 HAS SOPS 198719 HAS SOUS 76283 HAS SOUPS 76283 WITH SCORE 76481.719
AT ITER 1128 NEW BEST:: SOT 450664 SOS 198709 HAS SOPS 198709 HAS SOUS 76263 HAS SOUPS 76263 WITH SCORE 76461.709
AT ITER 1134 NEW BEST:: SOT 450567 SOS 198782 HAS SOPS 198782 HAS SOUS 76200 HAS SOUPS 76200 WITH SCORE 76398.782
AT ITER 1150 NEW BEST:: SOT 450703 SOS 198869 HAS SOPS 198869 HAS SOUS 76102 HAS SOUPS 76102 WITH SCORE 76300.869
AT ITER 1155 NEW BEST:: SOT 450638 SOS 198865 HAS SOPS 198865 HAS SOUS 76000 HAS SOUPS 76000 WITH SCORE 76198.865
AT ITER 1160 NEW BEST:: SOT 450643 SOS 198870 HAS SOPS 198870 HAS SOUS 75730 HAS SOUPS 75730 WITH SCORE 75928.87
AT ITER 1165 NEW BEST:: SOT 450568 SOS 198795 HAS SOPS 198795 HAS SOUS 75655 HAS SOUPS 75655 WITH SCORE 75853.795
AT ITER 1172 NEW BEST:: SOT 450568 SOS 198783 HAS SOPS 198783 HAS SOUS 75617 HAS SOUPS 75617 WITH SCORE 75815.783
AT ITER 1187 NEW BEST:: SOT 450577 SOS 198764 HAS SOPS 198764 HAS SOUS 75560 HAS SOUPS 75560 WITH SCORE 75758.764
AT ITER 1194 NEW BEST:: SOT 450569 SOS 198756 HAS SOPS 198756 HAS SOUS 75544 HAS SOUPS 75544 WITH SCORE 75742.756
AT ITER 1206 NEW BEST:: SOT 450554 SOS 198741 HAS SOPS 198741 HAS SOUS 75529 HAS SOUPS 75529 WITH SCORE 75727.741
AT ITER 1215 NEW BEST:: SOT 450615 SOS 198802 HAS SOPS 198802 HAS SOUS 75467 HAS SOUPS 75467 WITH SCORE 75665.802
AT ITER 1220 NEW BEST:: SOT 450607 SOS 198785 HAS SOPS 198785 HAS SOUS 75451 HAS SOUPS 75451 WITH SCORE 75649.785
AT ITER 1233 NEW BEST:: SOT 450606 SOS 198784 HAS SOPS 198784 HAS SOUS 75450 HAS SOUPS 75450 WITH SCORE 75648.784
AT ITER 1235 NEW BEST:: SOT 450628 SOS 198764 HAS SOPS 198764 HAS SOUS 75362 HAS SOUPS 75362 WITH SCORE 75560.764
AT ITER 1238 NEW BEST:: SOT 450553 SOS 198689 HAS SOPS 198689 HAS SOUS 75278 HAS SOUPS 75278 WITH SCORE 75476.689
AT ITER 1276 NEW BEST:: SOT 450547 SOS 198677 HAS SOPS 198677 HAS SOUS 75266 HAS SOUPS 75266 WITH SCORE 75464.677
AT ITER 1284 NEW BEST:: SOT 450547 SOS 198677 HAS SOPS 198677 HAS SOUS 75249 HAS SOUPS 75249 WITH SCORE 75447.677
AT ITER 1292 NEW BEST:: SOT 450547 SOS 198657 HAS SOPS 198657 HAS SOUS 75129 HAS SOUPS 75129 WITH SCORE 75327.657
AT ITER 1302 NEW BEST:: SOT 450531 SOS 198606 HAS SOPS 198606 HAS SOUS 75073 HAS SOUPS 75073 WITH SCORE 75271.606
AT ITER 1303 NEW BEST:: SOT 450531 SOS 198606 HAS SOPS 198606 HAS SOUS 75051 HAS SOUPS 75051 WITH SCORE 75249.606
AT ITER 1306 NEW BEST:: SOT 450551 SOS 198626 HAS SOPS 198626 HAS SOUS 75021 HAS SOUPS 75021 WITH SCORE 75219.626
AT ITER 1318 NEW BEST:: SOT 450500 SOS 198575 HAS SOPS 198575 HAS SOUS 74982 HAS SOUPS 74982 WITH SCORE 75180.575
AT ITER 1328 NEW BEST:: SOT 450492 SOS 198567 HAS SOPS 198567 HAS SOUS 74963 HAS SOUPS 74963 WITH SCORE 75161.567
AT ITER 1335 NEW BEST:: SOT 450456 SOS 198531 HAS SOPS 198531 HAS SOUS 74927 HAS SOUPS 74927 WITH SCORE 75125.531
AT ITER 1337 NEW BEST:: SOT 450456 SOS 198531 HAS SOPS 198531 HAS SOUS 74923 HAS SOUPS 74923 WITH SCORE 75121.531
AT ITER 1341 NEW BEST:: SOT 450713 SOS 198637 HAS SOPS 198637 HAS SOUS 74612 HAS SOUPS 74612 WITH SCORE 74810.637
AT ITER 1348 NEW BEST:: SOT 450571 SOS 198495 HAS SOPS 198495 HAS SOUS 74378 HAS SOUPS 74378 WITH SCORE 74576.495
AT ITER 1357 NEW BEST:: SOT 451011 SOS 198935 HAS SOPS 198935 HAS SOUS 74315 HAS SOUPS 74315 WITH SCORE 74513.935
AT ITER 1367 NEW BEST:: SOT 451027 SOS 198951 HAS SOPS 198951 HAS SOUS 74291 HAS SOUPS 74291 WITH SCORE 74489.951
AT ITER 1376 NEW BEST:: SOT 450953 SOS 198877 HAS SOPS 198877 HAS SOUS 74142 HAS SOUPS 74142 WITH SCORE 74340.877
AT ITER 1414 NEW BEST:: SOT 450945 SOS 198861 HAS SOPS 198861 HAS SOUS 74103 HAS SOUPS 74103 WITH SCORE 74301.861
AT ITER 1419 NEW BEST:: SOT 450951 SOS 198867 HAS SOPS 198867 HAS SOUS 73928 HAS SOUPS 73928 WITH SCORE 74126.867
AT ITER 1424 NEW BEST:: SOT 450920 SOS 198885 HAS SOPS 198885 HAS SOUS 73860 HAS SOUPS 73860 WITH SCORE 74058.885
AT ITER 1426 NEW BEST:: SOT 450962 SOS 198927 HAS SOPS 198927 HAS SOUS 73776 HAS SOUPS 73776 WITH SCORE 73974.927
AT ITER 1432 NEW BEST:: SOT 450893 SOS 198858 HAS SOPS 198858 HAS SOUS 73675 HAS SOUPS 73675 WITH SCORE 73873.858
AT ITER 1442 NEW BEST:: SOT 450898 SOS 198862 HAS SOPS 198862 HAS SOUS 73662 HAS SOUPS 73662 WITH SCORE 73860.862
AT ITER 1452 NEW BEST:: SOT 450845 SOS 198809 HAS SOPS 198809 HAS SOUS 73609 HAS SOUPS 73609 WITH SCORE 73807.809
AT ITER 1463 NEW BEST:: SOT 450717 SOS 198681 HAS SOPS 198681 HAS SOUS 73403 HAS SOUPS 73403 WITH SCORE 73601.681
AT ITER 1468 NEW BEST:: SOT 450668 SOS 198632 HAS SOPS 198632 HAS SOUS 73331 HAS SOUPS 73331 WITH SCORE 73529.632
AT ITER 1478 NEW BEST:: SOT 450608 SOS 198572 HAS SOPS 198572 HAS SOUS 73291 HAS SOUPS 73291 WITH SCORE 73489.572
AT ITER 1480 NEW BEST:: SOT 450576 SOS 198682 HAS SOPS 198682 HAS SOUS 73250 HAS SOUPS 73250 WITH SCORE 73448.682
AT ITER 1483 NEW BEST:: SOT 450472 SOS 198568 HAS SOPS 198568 HAS SOUS 73146 HAS SOUPS 73146 WITH SCORE 73344.568
AT ITER 1494 NEW BEST:: SOT 450435 SOS 198613 HAS SOPS 198613 HAS SOUS 73089 HAS SOUPS 73089 WITH SCORE 73287.613
AT ITER 1505 NEW BEST:: SOT 450301 SOS 198479 HAS SOPS 198479 HAS SOUS 72955 HAS SOUPS 72955 WITH SCORE 73153.479
AT ITER 1508 NEW BEST:: SOT 450303 SOS 198481 HAS SOPS 198481 HAS SOUS 72932 HAS SOUPS 72932 WITH SCORE 73130.481
AT ITER 1511 NEW BEST:: SOT 450279 SOS 198457 HAS SOPS 198457 HAS SOUS 72908 HAS SOUPS 72908 WITH SCORE 73106.457
AT ITER 1516 NEW BEST:: SOT 450334 SOS 198451 HAS SOPS 198451 HAS SOUS 72738 HAS SOUPS 72738 WITH SCORE 72936.451
AT ITER 1517 NEW BEST:: SOT 450374 SOS 198431 HAS SOPS 198431 HAS SOUS 72726 HAS SOUPS 72726 WITH SCORE 72924.431
AT ITER 1527 NEW BEST:: SOT 450374 SOS 198431 HAS SOPS 198431 HAS SOUS 72710 HAS SOUPS 72710 WITH SCORE 72908.431
AT ITER 1530 NEW BEST:: SOT 450352 SOS 198401 HAS SOPS 198401 HAS SOUS 72667 HAS SOUPS 72667 WITH SCORE 72865.401
AT ITER 1533 NEW BEST:: SOT 450263 SOS 198312 HAS SOPS 198312 HAS SOUS 72261 HAS SOUPS 72261 WITH SCORE 72459.312
AT ITER 1536 NEW BEST:: SOT 450191 SOS 198243 HAS SOPS 198243 HAS SOUS 72204 HAS SOUPS 72204 WITH SCORE 72402.243
AT ITER 1546 NEW BEST:: SOT 450127 SOS 198305 HAS SOPS 198305 HAS SOUS 72076 HAS SOUPS 72076 WITH SCORE 72274.305
AT ITER 1558 NEW BEST:: SOT 450112 SOS 198290 HAS SOPS 198290 HAS SOUS 72046 HAS SOUPS 72046 WITH SCORE 72244.29
AT ITER 1575 NEW BEST:: SOT 450070 SOS 198711 HAS SOPS 198711 HAS SOUS 71962 HAS SOUPS 71962 WITH SCORE 72160.711
AT ITER 1585 NEW BEST:: SOT 449881 SOS 198522 HAS SOPS 198522 HAS SOUS 71592 HAS SOUPS 71592 WITH SCORE 71790.522
AT ITER 1587 NEW BEST:: SOT 449863 SOS 198504 HAS SOPS 198504 HAS SOUS 71510 HAS SOUPS 71510 WITH SCORE 71708.504
AT ITER 1590 NEW BEST:: SOT 449863 SOS 198504 HAS SOPS 198504 HAS SOUS 71405 HAS SOUPS 71405 WITH SCORE 71603.504
AT ITER 1620 NEW BEST:: SOT 449991 SOS 198632 HAS SOPS 198632 HAS SOUS 71237 HAS SOUPS 71237 WITH SCORE 71435.632
AT ITER 1647 NEW BEST:: SOT 449884 SOS 198525 HAS SOPS 198525 HAS SOUS 71130 HAS SOUPS 71130 WITH SCORE 71328.525
AT ITER 1656 NEW BEST:: SOT 449791 SOS 198584 HAS SOPS 198584 HAS SOUS 70948 HAS SOUPS 70948 WITH SCORE 71146.584
AT ITER 1660 NEW BEST:: SOT 449860 SOS 198653 HAS SOPS 198653 HAS SOUS 70743 HAS SOUPS 70743 WITH SCORE 70941.653
AT ITER 1661 NEW BEST:: SOT 449837 SOS 198629 HAS SOPS 198629 HAS SOUS 70719 HAS SOUPS 70719 WITH SCORE 70917.629
AT ITER 1664 NEW BEST:: SOT 449838 SOS 198604 HAS SOPS 198604 HAS SOUS 70661 HAS SOUPS 70661 WITH SCORE 70859.604
AT ITER 1665 NEW BEST:: SOT 449808 SOS 198680 HAS SOPS 198680 HAS SOUS 70636 HAS SOUPS 70636 WITH SCORE 70834.68
AT ITER 1684 NEW BEST:: SOT 449834 SOS 198720 HAS SOPS 198720 HAS SOUS 70627 HAS SOUPS 70627 WITH SCORE 70825.72
AT ITER 1692 NEW BEST:: SOT 449726 SOS 198612 HAS SOPS 198612 HAS SOUS 70519 HAS SOUPS 70519 WITH SCORE 70717.612
AT ITER 1693 NEW BEST:: SOT 449707 SOS 198593 HAS SOPS 198593 HAS SOUS 70481 HAS SOUPS 70481 WITH SCORE 70679.593
AT ITER 1694 NEW BEST:: SOT 449722 SOS 198594 HAS SOPS 198594 HAS SOUS 70421 HAS SOUPS 70421 WITH SCORE 70619.594
AT ITER 1699 NEW BEST:: SOT 449626 SOS 198498 HAS SOPS 198498 HAS SOUS 70227 HAS SOUPS 70227 WITH SCORE 70425.498
AT ITER 1716 NEW BEST:: SOT 449605 SOS 198634 HAS SOPS 198634 HAS SOUS 70175 HAS SOUPS 70175 WITH SCORE 70373.634
AT ITER 1733 NEW BEST:: SOT 449590 SOS 198619 HAS SOPS 198619 HAS SOUS 70160 HAS SOUPS 70160 WITH SCORE 70358.619
AT ITER 1774 NEW BEST:: SOT 449558 SOS 198587 HAS SOPS 198587 HAS SOUS 70090 HAS SOUPS 70090 WITH SCORE 70288.587
AT ITER 1775 NEW BEST:: SOT 449504 SOS 198263 HAS SOPS 198263 HAS SOUS 69959 HAS SOUPS 69959 WITH SCORE 70157.263
AT ITER 1787 NEW BEST:: SOT 449450 SOS 198209 HAS SOPS 198209 HAS SOUS 69924 HAS SOUPS 69924 WITH SCORE 70122.209
AT ITER 1788 NEW BEST:: SOT 449414 SOS 198324 HAS SOPS 198324 HAS SOUS 69852 HAS SOUPS 69852 WITH SCORE 70050.324
AT ITER 1791 NEW BEST:: SOT 449544 SOS 198399 HAS SOPS 198399 HAS SOUS 69791 HAS SOUPS 69791 WITH SCORE 69989.399
AT ITER 1795 NEW BEST:: SOT 449540 SOS 198395 HAS SOPS 198395 HAS SOUS 69787 HAS SOUPS 69787 WITH SCORE 69985.395
AT ITER 1803 NEW BEST:: SOT 449512 SOS 198367 HAS SOPS 198367 HAS SOUS 69744 HAS SOUPS 69744 WITH SCORE 69942.367
AT ITER 1811 NEW BEST:: SOT 449481 SOS 198432 HAS SOPS 198432 HAS SOUS 69699 HAS SOUPS 69699 WITH SCORE 69897.432
AT ITER 1815 NEW BEST:: SOT 449424 SOS 198451 HAS SOPS 198451 HAS SOUS 69610 HAS SOUPS 69610 WITH SCORE 69808.451
AT ITER 1830 NEW BEST:: SOT 449342 SOS 198369 HAS SOPS 198369 HAS SOUS 69459 HAS SOUPS 69459 WITH SCORE 69657.369
AT ITER 1831 NEW BEST:: SOT 449462 SOS 198463 HAS SOPS 198463 HAS SOUS 69411 HAS SOUPS 69411 WITH SCORE 69609.463
AT ITER 1833 NEW BEST:: SOT 449490 SOS 198498 HAS SOPS 198498 HAS SOUS 69360 HAS SOUPS 69360 WITH SCORE 69558.498
AT ITER 1838 NEW BEST:: SOT 449490 SOS 198494 HAS SOPS 198494 HAS SOUS 69356 HAS SOUPS 69356 WITH SCORE 69554.494
AT ITER 1843 NEW BEST:: SOT 449667 SOS 198684 HAS SOPS 198684 HAS SOUS 69323 HAS SOUPS 69323 WITH SCORE 69521.684
AT ITER 1863 NEW BEST:: SOT 449604 SOS 198621 HAS SOPS 198621 HAS SOUS 69260 HAS SOUPS 69260 WITH SCORE 69458.621
AT ITER 1911 NEW BEST:: SOT 449566 SOS 198583 HAS SOPS 198583 HAS SOUS 69215 HAS SOUPS 69215 WITH SCORE 69413.583
AT ITER 1933 NEW BEST:: SOT 449535 SOS 198552 HAS SOPS 198552 HAS SOUS 69107 HAS SOUPS 69107 WITH SCORE 69305.552
AT ITER 1980 NEW BEST:: SOT 449535 SOS 198548 HAS SOPS 198548 HAS SOUS 69103 HAS SOUPS 69103 WITH SCORE 69301.548
AT ITER 1992 NEW BEST:: SOT 449540 SOS 198548 HAS SOPS 198548 HAS SOUS 69098 HAS SOUPS 69098 WITH SCORE 69296.548
AT ITER 2002 NEW BEST:: SOT 449339 SOS 198304 HAS SOPS 198304 HAS SOUS 69035 HAS SOUPS 69035 WITH SCORE 69233.304
AT ITER 2003 NEW BEST:: SOT 449361 SOS 198306 HAS SOPS 198306 HAS SOUS 69019 HAS SOUPS 69019 WITH SCORE 69217.306
AT ITER 2005 NEW BEST:: SOT 449316 SOS 198189 HAS SOPS 198189 HAS SOUS 68902 HAS SOUPS 68902 WITH SCORE 69100.189
AT ITER 2010 NEW BEST:: SOT 449353 SOS 198189 HAS SOPS 198189 HAS SOUS 68798 HAS SOUPS 68798 WITH SCORE 68996.189
AT ITER 2015 NEW BEST:: SOT 449353 SOS 198185 HAS SOPS 198185 HAS SOUS 68798 HAS SOUPS 68798 WITH SCORE 68996.185
AT ITER 2029 NEW BEST:: SOT 449385 SOS 198185 HAS SOPS 198185 HAS SOUS 68717 HAS SOUPS 68717 WITH SCORE 68915.185
AT ITER 2036 NEW BEST:: SOT 449203 SOS 198003 HAS SOPS 198003 HAS SOUS 68496 HAS SOUPS 68496 WITH SCORE 68694.003
AT ITER 2040 NEW BEST:: SOT 449141 SOS 197941 HAS SOPS 197941 HAS SOUS 68430 HAS SOUPS 68430 WITH SCORE 68627.941
AT ITER 2057 NEW BEST:: SOT 449147 SOS 197913 HAS SOPS 197913 HAS SOUS 68360 HAS SOUPS 68360 WITH SCORE 68557.913
AT ITER 2083 NEW BEST:: SOT 448401 SOS 197167 HAS SOPS 197167 HAS SOUS 67614 HAS SOUPS 67614 WITH SCORE 67811.167
AT ITER 2098 NEW BEST:: SOT 448400 SOS 197166 HAS SOPS 197166 HAS SOUS 67610 HAS SOUPS 67610 WITH SCORE 67807.166
AT ITER 2118 NEW BEST:: SOT 448415 SOS 197130 HAS SOPS 197130 HAS SOUS 67538 HAS SOUPS 67538 WITH SCORE 67735.13
AT ITER 2127 NEW BEST:: SOT 448381 SOS 196987 HAS SOPS 196987 HAS SOUS 67448 HAS SOUPS 67448 WITH SCORE 67644.987
AT ITER 2136 NEW BEST:: SOT 448375 SOS 196981 HAS SOPS 196981 HAS SOUS 67442 HAS SOUPS 67442 WITH SCORE 67638.981
AT ITER 2147 NEW BEST:: SOT 448352 SOS 196958 HAS SOPS 196958 HAS SOUS 67396 HAS SOUPS 67396 WITH SCORE 67592.958
AT ITER 2155 NEW BEST:: SOT 448352 SOS 196889 HAS SOPS 196889 HAS SOUS 67396 HAS SOUPS 67396 WITH SCORE 67592.889
AT ITER 2160 NEW BEST:: SOT 448409 SOS 196952 HAS SOPS 196952 HAS SOUS 67384 HAS SOUPS 67384 WITH SCORE 67580.952
AT ITER 2177 NEW BEST:: SOT 448343 SOS 196886 HAS SOPS 196886 HAS SOUS 67262 HAS SOUPS 67262 WITH SCORE 67458.886
AT ITER 2179 NEW BEST:: SOT 448309 SOS 196852 HAS SOPS 196852 HAS SOUS 67228 HAS SOUPS 67228 WITH SCORE 67424.852
AT ITER 2193 NEW BEST:: SOT 448274 SOS 196791 HAS SOPS 196791 HAS SOUS 67073 HAS SOUPS 67073 WITH SCORE 67269.791
AT ITER 2212 NEW BEST:: SOT 448247 SOS 196764 HAS SOPS 196764 HAS SOUS 67019 HAS SOUPS 67019 WITH SCORE 67215.764
AT ITER 2224 NEW BEST:: SOT 448132 SOS 196649 HAS SOPS 196649 HAS SOUS 66904 HAS SOUPS 66904 WITH SCORE 67100.649
AT ITER 2235 NEW BEST:: SOT 448108 SOS 196625 HAS SOPS 196625 HAS SOUS 66880 HAS SOUPS 66880 WITH SCORE 67076.625
AT ITER 2261 NEW BEST:: SOT 448117 SOS 196641 HAS SOPS 196641 HAS SOUS 66864 HAS SOUPS 66864 WITH SCORE 67060.641
AT ITER 2277 NEW BEST:: SOT 448117 SOS 196660 HAS SOPS 196660 HAS SOUS 66857 HAS SOUPS 66857 WITH SCORE 67053.66
AT ITER 2285 NEW BEST:: SOT 448111 SOS 196654 HAS SOPS 196654 HAS SOUS 66845 HAS SOUPS 66845 WITH SCORE 67041.654
AT ITER 2296 NEW BEST:: SOT 447697 SOS 196240 HAS SOPS 196240 HAS SOUS 66405 HAS SOUPS 66405 WITH SCORE 66601.24
AT ITER 2299 NEW BEST:: SOT 447697 SOS 196235 HAS SOPS 196235 HAS SOUS 66405 HAS SOUPS 66405 WITH SCORE 66601.235
AT ITER 2301 NEW BEST:: SOT 447678 SOS 196197 HAS SOPS 196197 HAS SOUS 66367 HAS SOUPS 66367 WITH SCORE 66563.197
AT ITER 2320 NEW BEST:: SOT 447629 SOS 196148 HAS SOPS 196148 HAS SOUS 66194 HAS SOUPS 66194 WITH SCORE 66390.148
AT ITER 2333 NEW BEST:: SOT 447582 SOS 196101 HAS SOPS 196101 HAS SOUS 66147 HAS SOUPS 66147 WITH SCORE 66343.101
AT ITER 2335 NEW BEST:: SOT 447582 SOS 196008 HAS SOPS 196008 HAS SOUS 66144 HAS SOUPS 66144 WITH SCORE 66340.008
AT ITER 2361 NEW BEST:: SOT 447269 SOS 195695 HAS SOPS 195695 HAS SOUS 65875 HAS SOUPS 65875 WITH SCORE 66070.695
AT ITER 2392 NEW BEST:: SOT 447228 SOS 195697 HAS SOPS 195697 HAS SOUS 65812 HAS SOUPS 65812 WITH SCORE 66007.697
AT ITER 2397 NEW BEST:: SOT 361283 SOS 112196 HAS SOPS 112196 HAS SOUS 54482 HAS SOUPS 54482 WITH SCORE 54594.196
AT ITER 2403 NEW BEST:: SOT 361274 SOS 112165 HAS SOPS 112163 HAS SOUS 54451 HAS SOUPS 54449 WITH SCORE 54561.165
AT ITER 2404 NEW BEST:: SOT 361267 SOS 112158 HAS SOPS 112156 HAS SOUS 54374 HAS SOUPS 54372 WITH SCORE 54484.158
AT ITER 2413 NEW BEST:: SOT 361318 SOS 112200 HAS SOPS 112198 HAS SOUS 54252 HAS SOUPS 54250 WITH SCORE 54362.2
AT ITER 2415 NEW BEST:: SOT 361307 SOS 112168 HAS SOPS 112166 HAS SOUS 54212 HAS SOUPS 54210 WITH SCORE 54322.168
AT ITER 2422 NEW BEST:: SOT 361328 SOS 112189 HAS SOPS 112187 HAS SOUS 54199 HAS SOUPS 54197 WITH SCORE 54309.189
AT ITER 2424 NEW BEST:: SOT 361280 SOS 112185 HAS SOPS 112183 HAS SOUS 54167 HAS SOUPS 54165 WITH SCORE 54277.185
AT ITER 2425 NEW BEST:: SOT 361270 SOS 112155 HAS SOPS 112153 HAS SOUS 54145 HAS SOUPS 54143 WITH SCORE 54255.155
AT ITER 2440 NEW BEST:: SOT 361270 SOS 112154 HAS SOPS 112152 HAS SOUS 54142 HAS SOUPS 54140 WITH SCORE 54252.154
AT ITER 2488 NEW BEST:: SOT 361254 SOS 112138 HAS SOPS 112136 HAS SOUS 54114 HAS SOUPS 54112 WITH SCORE 54224.138
AT ITER 2491 NEW BEST:: SOT 361168 SOS 112052 HAS SOPS 112050 HAS SOUS 54028 HAS SOUPS 54026 WITH SCORE 54138.052
AT ITER 2494 NEW BEST:: SOT 361004 SOS 115844 HAS SOPS 115842 HAS SOUS 53961 HAS SOUPS 53959 WITH SCORE 54074.844
AT ITER 2521 NEW BEST:: SOT 361022 SOS 115830 HAS SOPS 115828 HAS SOUS 53933 HAS SOUPS 53931 WITH SCORE 54046.83
AT ITER 2555 NEW BEST:: SOT 361006 SOS 115814 HAS SOPS 115812 HAS SOUS 53917 HAS SOUPS 53915 WITH SCORE 54030.814
AT ITER 2566 NEW BEST:: SOT 361006 SOS 115808 HAS SOPS 115806 HAS SOUS 53917 HAS SOUPS 53915 WITH SCORE 54030.808
AT ITER 2584 NEW BEST:: SOT 360998 SOS 115800 HAS SOPS 115798 HAS SOUS 53894 HAS SOUPS 53892 WITH SCORE 54007.8
AT ITER 2632 NEW BEST:: SOT 360976 SOS 115778 HAS SOPS 115776 HAS SOUS 53564 HAS SOUPS 53562 WITH SCORE 53677.778
AT ITER 2637 NEW BEST:: SOT 360524 SOS 115326 HAS SOPS 115324 HAS SOUS 52985 HAS SOUPS 52983 WITH SCORE 53098.326
AT ITER 2648 NEW BEST:: SOT 360658 SOS 115460 HAS SOPS 115458 HAS SOUS 52585 HAS SOUPS 52583 WITH SCORE 52698.46
AT ITER 2651 NEW BEST:: SOT 349583 SOS 141087 HAS SOPS 141085 HAS SOUS 52107 HAS SOUPS 52105 WITH SCORE 52246.087
AT ITER 2660 NEW BEST:: SOT 349562 SOS 141083 HAS SOPS 141081 HAS SOUS 52103 HAS SOUPS 52101 WITH SCORE 52242.083
AT ITER 2661 NEW BEST:: SOT 349450 SOS 140971 HAS SOPS 140969 HAS SOUS 51974 HAS SOUPS 51972 WITH SCORE 52112.971
AT ITER 2697 NEW BEST:: SOT 349450 SOS 140952 HAS SOPS 140950 HAS SOUS 51974 HAS SOUPS 51972 WITH SCORE 52112.952
AT ITER 2703 NEW BEST:: SOT 349287 SOS 140789 HAS SOPS 140787 HAS SOUS 51713 HAS SOUPS 51711 WITH SCORE 51851.789
AT ITER 2705 NEW BEST:: SOT 349383 SOS 140885 HAS SOPS 140883 HAS SOUS 51690 HAS SOUPS 51688 WITH SCORE 51828.885
AT ITER 2719 NEW BEST:: SOT 349394 SOS 140896 HAS SOPS 140894 HAS SOUS 51586 HAS SOUPS 51584 WITH SCORE 51724.896
AT ITER 2727 NEW BEST:: SOT 349371 SOS 140873 HAS SOPS 140871 HAS SOUS 51547 HAS SOUPS 51545 WITH SCORE 51685.873
AT ITER 2731 NEW BEST:: SOT 349182 SOS 140684 HAS SOPS 140682 HAS SOUS 51130 HAS SOUPS 51128 WITH SCORE 51268.684
AT ITER 2742 NEW BEST:: SOT 349096 SOS 140598 HAS SOPS 140596 HAS SOUS 51086 HAS SOUPS 51084 WITH SCORE 51224.598
AT ITER 2745 NEW BEST:: SOT 349112 SOS 140614 HAS SOPS 140612 HAS SOUS 51067 HAS SOUPS 51065 WITH SCORE 51205.614
AT ITER 2748 NEW BEST:: SOT 349106 SOS 140608 HAS SOPS 140606 HAS SOUS 51061 HAS SOUPS 51059 WITH SCORE 51199.608
AT ITER 2757 NEW BEST:: SOT 349099 SOS 140601 HAS SOPS 140599 HAS SOUS 51054 HAS SOUPS 51052 WITH SCORE 51192.601
AT ITER 2761 NEW BEST:: SOT 349087 SOS 140589 HAS SOPS 140587 HAS SOUS 50994 HAS SOUPS 50992 WITH SCORE 51132.589
AT ITER 2772 NEW BEST:: SOT 349072 SOS 140574 HAS SOPS 140572 HAS SOUS 50934 HAS SOUPS 50932 WITH SCORE 51072.574
AT ITER 2777 NEW BEST:: SOT 348935 SOS 140437 HAS SOPS 140435 HAS SOUS 50635 HAS SOUPS 50633 WITH SCORE 50773.437
AT ITER 2803 NEW BEST:: SOT 348953 SOS 140441 HAS SOPS 140439 HAS SOUS 50631 HAS SOUPS 50629 WITH SCORE 50769.441
AT ITER 2808 NEW BEST:: SOT 348936 SOS 140424 HAS SOPS 140422 HAS SOUS 50614 HAS SOUPS 50612 WITH SCORE 50752.424
AT ITER 2820 NEW BEST:: SOT 348946 SOS 140434 HAS SOPS 140432 HAS SOUS 50484 HAS SOUPS 50482 WITH SCORE 50622.434
AT ITER 2847 NEW BEST:: SOT 348894 SOS 127222 HAS SOPS 127220 HAS SOUS 50352 HAS SOUPS 50350 WITH SCORE 50477.222
AT ITER 2860 NEW BEST:: SOT 348898 SOS 127230 HAS SOPS 127228 HAS SOUS 50349 HAS SOUPS 50347 WITH SCORE 50474.23
AT ITER 2864 NEW BEST:: SOT 348922 SOS 127254 HAS SOPS 127252 HAS SOUS 50332 HAS SOUPS 50330 WITH SCORE 50457.254
AT ITER 2866 NEW BEST:: SOT 348886 SOS 127218 HAS SOPS 127216 HAS SOUS 50244 HAS SOUPS 50242 WITH SCORE 50369.218
AT ITER 2900 NEW BEST:: SOT 348838 SOS 127170 HAS SOPS 127168 HAS SOUS 50038 HAS SOUPS 50036 WITH SCORE 50163.17
AT ITER 2913 NEW BEST:: SOT 348858 SOS 127190 HAS SOPS 127188 HAS SOUS 49963 HAS SOUPS 49961 WITH SCORE 50088.19
AT ITER 2915 NEW BEST:: SOT 348858 SOS 127187 HAS SOPS 127185 HAS SOUS 49957 HAS SOUPS 49955 WITH SCORE 50082.187
AT ITER 2917 NEW BEST:: SOT 348802 SOS 127131 HAS SOPS 127129 HAS SOUS 49894 HAS SOUPS 49892 WITH SCORE 50019.131
AT ITER 2934 NEW BEST:: SOT 348788 SOS 127111 HAS SOPS 127109 HAS SOUS 49859 HAS SOUPS 49857 WITH SCORE 49984.111
AT ITER 2969 NEW BEST:: SOT 348545 SOS 126868 HAS SOPS 126866 HAS SOUS 49743 HAS SOUPS 49741 WITH SCORE 49867.868
AT ITER 2985 NEW BEST:: SOT 348558 SOS 126881 HAS SOPS 126879 HAS SOUS 49726 HAS SOUPS 49724 WITH SCORE 49850.881
AT ITER 2995 NEW BEST:: SOT 348550 SOS 126873 HAS SOPS 126871 HAS SOUS 49718 HAS SOUPS 49716 WITH SCORE 49842.873
AT ITER 3002 NEW BEST:: SOT 348547 SOS 126864 HAS SOPS 126862 HAS SOUS 49709 HAS SOUPS 49707 WITH SCORE 49833.864
AT ITER 3011 NEW BEST:: SOT 348530 SOS 127129 HAS SOPS 127127 HAS SOUS 49705 HAS SOUPS 49703 WITH SCORE 49830.129
AT ITER 3012 NEW BEST:: SOT 348529 SOS 127128 HAS SOPS 127126 HAS SOUS 49690 HAS SOUPS 49688 WITH SCORE 49815.128
AT ITER 3014 NEW BEST:: SOT 348468 SOS 127067 HAS SOPS 127065 HAS SOUS 49678 HAS SOUPS 49676 WITH SCORE 49803.067
AT ITER 3015 NEW BEST:: SOT 348466 SOS 127065 HAS SOPS 127063 HAS SOUS 49676 HAS SOUPS 49674 WITH SCORE 49801.065
AT ITER 3022 NEW BEST:: SOT 348422 SOS 127021 HAS SOPS 127019 HAS SOUS 49456 HAS SOUPS 49454 WITH SCORE 49581.021
AT ITER 3026 NEW BEST:: SOT 348375 SOS 126974 HAS SOPS 126972 HAS SOUS 49443 HAS SOUPS 49441 WITH SCORE 49567.974
AT ITER 3043 NEW BEST:: SOT 348358 SOS 126957 HAS SOPS 126955 HAS SOUS 49419 HAS SOUPS 49417 WITH SCORE 49543.957
AT ITER 3048 NEW BEST:: SOT 348356 SOS 126955 HAS SOPS 126953 HAS SOUS 49415 HAS SOUPS 49413 WITH SCORE 49539.955
AT ITER 3086 NEW BEST:: SOT 348337 SOS 126936 HAS SOPS 126934 HAS SOUS 49395 HAS SOUPS 49393 WITH SCORE 49519.936
AT ITER 3125 NEW BEST:: SOT 348337 SOS 126936 HAS SOPS 126934 HAS SOUS 49383 HAS SOUPS 49381 WITH SCORE 49507.936
AT ITER 3158 NEW BEST:: SOT 348323 SOS 126922 HAS SOPS 126920 HAS SOUS 49355 HAS SOUPS 49353 WITH SCORE 49479.922
AT ITER 3184 NEW BEST:: SOT 348323 SOS 126906 HAS SOPS 126904 HAS SOUS 49355 HAS SOUPS 49353 WITH SCORE 49479.906
AT ITER 3186 NEW BEST:: SOT 348316 SOS 126899 HAS SOPS 126897 HAS SOUS 49346 HAS SOUPS 49344 WITH SCORE 49470.899
AT ITER 3190 NEW BEST:: SOT 348253 SOS 126673 HAS SOPS 126671 HAS SOUS 49220 HAS SOUPS 49218 WITH SCORE 49344.673
AT ITER 3207 NEW BEST:: SOT 348238 SOS 126643 HAS SOPS 126641 HAS SOUS 49190 HAS SOUPS 49188 WITH SCORE 49314.643
AT ITER 3211 NEW BEST:: SOT 348234 SOS 126574 HAS SOPS 126572 HAS SOUS 49166 HAS SOUPS 49164 WITH SCORE 49290.574
AT ITER 3218 NEW BEST:: SOT 348234 SOS 126574 HAS SOPS 126572 HAS SOUS 49154 HAS SOUPS 49152 WITH SCORE 49278.574
AT ITER 3223 NEW BEST:: SOT 348314 SOS 126654 HAS SOPS 126652 HAS SOUS 49147 HAS SOUPS 49145 WITH SCORE 49271.654
AT ITER 3233 NEW BEST:: SOT 348307 SOS 126647 HAS SOPS 126645 HAS SOUS 49138 HAS SOUPS 49136 WITH SCORE 49262.647
AT ITER 3247 NEW BEST:: SOT 348305 SOS 126645 HAS SOPS 126643 HAS SOUS 49136 HAS SOUPS 49134 WITH SCORE 49260.645
AT ITER 3254 NEW BEST:: SOT 348405 SOS 126745 HAS SOPS 126743 HAS SOUS 48956 HAS SOUPS 48954 WITH SCORE 49080.745
AT ITER 3269 NEW BEST:: SOT 348403 SOS 126739 HAS SOPS 126737 HAS SOUS 48950 HAS SOUPS 48948 WITH SCORE 49074.739
AT ITER 3284 NEW BEST:: SOT 348470 SOS 126806 HAS SOPS 126804 HAS SOUS 48773 HAS SOUPS 48771 WITH SCORE 48897.806
AT ITER 3307 NEW BEST:: SOT 348459 SOS 126795 HAS SOPS 126793 HAS SOUS 48718 HAS SOUPS 48716 WITH SCORE 48842.795
AT ITER 3353 NEW BEST:: SOT 348393 SOS 126729 HAS SOPS 126727 HAS SOUS 48588 HAS SOUPS 48586 WITH SCORE 48712.729
AT ITER 3373 NEW BEST:: SOT 348387 SOS 126723 HAS SOPS 126721 HAS SOUS 48582 HAS SOUPS 48580 WITH SCORE 48706.723
AT ITER 3376 NEW BEST:: SOT 348387 SOS 126722 HAS SOPS 126720 HAS SOUS 48581 HAS SOUPS 48579 WITH SCORE 48705.722
AT ITER 3399 NEW BEST:: SOT 348371 SOS 126706 HAS SOPS 126704 HAS SOUS 48564 HAS SOUPS 48562 WITH SCORE 48688.706
AT ITER 3400 NEW BEST:: SOT 348370 SOS 126705 HAS SOPS 126703 HAS SOUS 48563 HAS SOUPS 48561 WITH SCORE 48687.705
AT ITER 3406 NEW BEST:: SOT 348366 SOS 126701 HAS SOPS 126699 HAS SOUS 48555 HAS SOUPS 48553 WITH SCORE 48679.701
AT ITER 3415 NEW BEST:: SOT 348314 SOS 126649 HAS SOPS 126647 HAS SOUS 48362 HAS SOUPS 48360 WITH SCORE 48486.649
AT ITER 3437 NEW BEST:: SOT 348315 SOS 126559 HAS SOPS 126557 HAS SOUS 48360 HAS SOUPS 48358 WITH SCORE 48484.559
AT ITER 3439 NEW BEST:: SOT 348371 SOS 126615 HAS SOPS 126613 HAS SOUS 48201 HAS SOUPS 48199 WITH SCORE 48325.615
AT ITER 3459 NEW BEST:: SOT 348367 SOS 126607 HAS SOPS 126605 HAS SOUS 48193 HAS SOUPS 48191 WITH SCORE 48317.607
AT ITER 3489 NEW BEST:: SOT 348243 SOS 126531 HAS SOPS 126529 HAS SOUS 48117 HAS SOUPS 48115 WITH SCORE 48241.531
AT ITER 3506 NEW BEST:: SOT 348221 SOS 126509 HAS SOPS 126507 HAS SOUS 48062 HAS SOUPS 48060 WITH SCORE 48186.509
AT ITER 3515 NEW BEST:: SOT 348221 SOS 126509 HAS SOPS 126507 HAS SOUS 48058 HAS SOUPS 48056 WITH SCORE 48182.509
AT ITER 3521 NEW BEST:: SOT 348218 SOS 126505 HAS SOPS 126503 HAS SOUS 48054 HAS SOUPS 48052 WITH SCORE 48178.505
AT ITER 3596 NEW BEST:: SOT 348218 SOS 126443 HAS SOPS 126441 HAS SOUS 48054 HAS SOUPS 48052 WITH SCORE 48178.443
AT ITER 3597 NEW BEST:: SOT 348206 SOS 126431 HAS SOPS 126429 HAS SOUS 48030 HAS SOUPS 48028 WITH SCORE 48154.431
AT ITER 3598 NEW BEST:: SOT 348203 SOS 126428 HAS SOPS 126426 HAS SOUS 48015 HAS SOUPS 48013 WITH SCORE 48139.428
AT ITER 3608 NEW BEST:: SOT 348206 SOS 126431 HAS SOPS 126429 HAS SOUS 48004 HAS SOUPS 48002 WITH SCORE 48128.431
AT ITER 3646 NEW BEST:: SOT 348171 SOS 126396 HAS SOPS 126394 HAS SOUS 47941 HAS SOUPS 47939 WITH SCORE 48065.396
AT ITER 3649 NEW BEST:: SOT 348029 SOS 126254 HAS SOPS 126252 HAS SOUS 47719 HAS SOUPS 47717 WITH SCORE 47843.254
AT ITER 3675 NEW BEST:: SOT 348005 SOS 126230 HAS SOPS 126228 HAS SOUS 47671 HAS SOUPS 47669 WITH SCORE 47795.23
AT ITER 3677 NEW BEST:: SOT 348072 SOS 126297 HAS SOPS 126295 HAS SOUS 47665 HAS SOUPS 47663 WITH SCORE 47789.297
AT ITER 3679 NEW BEST:: SOT 348100 SOS 126224 HAS SOPS 126222 HAS SOUS 47629 HAS SOUPS 47627 WITH SCORE 47753.224
AT ITER 3696 NEW BEST:: SOT 348050 SOS 126174 HAS SOPS 126172 HAS SOUS 47306 HAS SOUPS 47304 WITH SCORE 47430.174
AT ITER 3699 NEW BEST:: SOT 347984 SOS 126108 HAS SOPS 126106 HAS SOUS 47223 HAS SOUPS 47221 WITH SCORE 47347.108
AT ITER 3712 NEW BEST:: SOT 347971 SOS 126095 HAS SOPS 126093 HAS SOUS 47210 HAS SOUPS 47208 WITH SCORE 47334.095
AT ITER 3715 NEW BEST:: SOT 348026 SOS 126168 HAS SOPS 126166 HAS SOUS 47201 HAS SOUPS 47199 WITH SCORE 47325.168
AT ITER 3746 NEW BEST:: SOT 348093 SOS 126235 HAS SOPS 126233 HAS SOUS 47014 HAS SOUPS 47012 WITH SCORE 47138.235
AT ITER 3750 NEW BEST:: SOT 348088 SOS 126230 HAS SOPS 126228 HAS SOUS 46989 HAS SOUPS 46987 WITH SCORE 47113.23
AT ITER 3751 NEW BEST:: SOT 348071 SOS 126213 HAS SOPS 126211 HAS SOUS 46926 HAS SOUPS 46924 WITH SCORE 47050.213
AT ITER 3760 NEW BEST:: SOT 348064 SOS 126206 HAS SOPS 126204 HAS SOUS 46912 HAS SOUPS 46910 WITH SCORE 47036.206
AT ITER 3765 NEW BEST:: SOT 348064 SOS 126206 HAS SOPS 126204 HAS SOUS 46910 HAS SOUPS 46908 WITH SCORE 47034.206
AT ITER 3777 NEW BEST:: SOT 347981 SOS 126123 HAS SOPS 126121 HAS SOUS 46711 HAS SOUPS 46709 WITH SCORE 46835.123
AT ITER 3784 NEW BEST:: SOT 347944 SOS 126086 HAS SOPS 126084 HAS SOUS 46701 HAS SOUPS 46699 WITH SCORE 46825.086
AT ITER 3796 NEW BEST:: SOT 347940 SOS 126082 HAS SOPS 126080 HAS SOUS 46694 HAS SOUPS 46692 WITH SCORE 46818.082
AT ITER 3809 NEW BEST:: SOT 347938 SOS 126080 HAS SOPS 126078 HAS SOUS 46678 HAS SOUPS 46676 WITH SCORE 46802.08
AT ITER 3811 NEW BEST:: SOT 347862 SOS 126004 HAS SOPS 126002 HAS SOUS 46518 HAS SOUPS 46516 WITH SCORE 46642.004
AT ITER 3830 NEW BEST:: SOT 347863 SOS 126012 HAS SOPS 126010 HAS SOUS 46513 HAS SOUPS 46511 WITH SCORE 46637.012
AT ITER 3834 NEW BEST:: SOT 347794 SOS 126021 HAS SOPS 125909 HAS SOUS 46434 HAS SOUPS 46410 WITH SCORE 46536.021
AT ITER 3873 NEW BEST:: SOT 347767 SOS 125994 HAS SOPS 125882 HAS SOUS 46318 HAS SOUPS 46294 WITH SCORE 46419.994
AT ITER 3885 NEW BEST:: SOT 347755 SOS 125982 HAS SOPS 125870 HAS SOUS 46288 HAS SOUPS 46264 WITH SCORE 46389.982
AT ITER 3897 NEW BEST:: SOT 347755 SOS 125982 HAS SOPS 125870 HAS SOUS 46272 HAS SOUPS 46248 WITH SCORE 46373.982
AT ITER 3908 NEW BEST:: SOT 347766 SOS 125968 HAS SOPS 125856 HAS SOUS 46232 HAS SOUPS 46208 WITH SCORE 46333.968
AT ITER 3919 NEW BEST:: SOT 347742 SOS 125944 HAS SOPS 125832 HAS SOUS 46176 HAS SOUPS 46152 WITH SCORE 46277.944
AT ITER 3987 NEW BEST:: SOT 347715 SOS 125917 HAS SOPS 125805 HAS SOUS 46160 HAS SOUPS 46136 WITH SCORE 46261.917
AT ITER 3993 NEW BEST:: SOT 347715 SOS 125917 HAS SOPS 125805 HAS SOUS 46155 HAS SOUPS 46131 WITH SCORE 46256.917
AT ITER 4011 NEW BEST:: SOT 347677 SOS 125879 HAS SOPS 125767 HAS SOUS 46089 HAS SOUPS 46065 WITH SCORE 46190.879
AT ITER 4029 NEW BEST:: SOT 347658 SOS 125877 HAS SOPS 125765 HAS SOUS 46085 HAS SOUPS 46061 WITH SCORE 46186.877
AT ITER 4034 NEW BEST:: SOT 347610 SOS 125829 HAS SOPS 125717 HAS SOUS 45987 HAS SOUPS 45963 WITH SCORE 46088.829
AT ITER 4101 NEW BEST:: SOT 347540 SOS 125689 HAS SOPS 125577 HAS SOUS 45847 HAS SOUPS 45823 WITH SCORE 45948.689
AT ITER 4103 NEW BEST:: SOT 347540 SOS 125687 HAS SOPS 125575 HAS SOUS 45847 HAS SOUPS 45823 WITH SCORE 45948.687
AT ITER 4140 NEW BEST:: SOT 347531 SOS 125611 HAS SOPS 125499 HAS SOUS 45829 HAS SOUPS 45805 WITH SCORE 45930.611
AT ITER 4155 NEW BEST:: SOT 347473 SOS 125553 HAS SOPS 125441 HAS SOUS 45777 HAS SOUPS 45753 WITH SCORE 45878.553
AT ITER 4170 NEW BEST:: SOT 347456 SOS 125536 HAS SOPS 125424 HAS SOUS 45743 HAS SOUPS 45719 WITH SCORE 45844.536
AT ITER 4179 NEW BEST:: SOT 347373 SOS 125437 HAS SOPS 125325 HAS SOUS 45654 HAS SOUPS 45630 WITH SCORE 45755.437
AT ITER 4201 NEW BEST:: SOT 347364 SOS 125423 HAS SOPS 125311 HAS SOUS 45645 HAS SOUPS 45621 WITH SCORE 45746.423
AT ITER 4212 NEW BEST:: SOT 347346 SOS 124334 HAS SOPS 124222 HAS SOUS 45578 HAS SOUPS 45554 WITH SCORE 45678.334
AT ITER 4215 NEW BEST:: SOT 347471 SOS 124459 HAS SOPS 124347 HAS SOUS 45391 HAS SOUPS 45367 WITH SCORE 45491.459
AT ITER 4225 NEW BEST:: SOT 347466 SOS 124462 HAS SOPS 124350 HAS SOUS 45381 HAS SOUPS 45357 WITH SCORE 45481.462
AT ITER 4244 NEW BEST:: SOT 347462 SOS 124502 HAS SOPS 124390 HAS SOUS 45363 HAS SOUPS 45339 WITH SCORE 45463.502
AT ITER 4270 NEW BEST:: SOT 347335 SOS 124375 HAS SOPS 124263 HAS SOUS 45070 HAS SOUPS 45046 WITH SCORE 45170.375
AT ITER 4271 NEW BEST:: SOT 347323 SOS 124375 HAS SOPS 124263 HAS SOUS 45046 HAS SOUPS 45022 WITH SCORE 45146.375
AT ITER 4279 NEW BEST:: SOT 347315 SOS 124367 HAS SOPS 124255 HAS SOUS 45026 HAS SOUPS 45002 WITH SCORE 45126.367
AT ITER 4340 NEW BEST:: SOT 347319 SOS 124371 HAS SOPS 124259 HAS SOUS 45025 HAS SOUPS 45001 WITH SCORE 45125.371
AT ITER 4350 NEW BEST:: SOT 347271 SOS 124323 HAS SOPS 124211 HAS SOUS 44898 HAS SOUPS 44874 WITH SCORE 44998.323
AT ITER 4353 NEW BEST:: SOT 347198 SOS 124210 HAS SOPS 124098 HAS SOUS 44805 HAS SOUPS 44781 WITH SCORE 44905.21
AT ITER 4359 NEW BEST:: SOT 347190 SOS 124202 HAS SOPS 124090 HAS SOUS 44797 HAS SOUPS 44773 WITH SCORE 44897.202
AT ITER 4388 NEW BEST:: SOT 347133 SOS 124145 HAS SOPS 124033 HAS SOUS 44470 HAS SOUPS 44446 WITH SCORE 44570.145
AT ITER 4412 NEW BEST:: SOT 347072 SOS 124084 HAS SOPS 123972 HAS SOUS 44382 HAS SOUPS 44358 WITH SCORE 44482.084
AT ITER 4419 NEW BEST:: SOT 347068 SOS 124080 HAS SOPS 123968 HAS SOUS 44376 HAS SOUPS 44352 WITH SCORE 44476.08
AT ITER 4433 NEW BEST:: SOT 347058 SOS 124070 HAS SOPS 123958 HAS SOUS 44352 HAS SOUPS 44328 WITH SCORE 44452.07
AT ITER 4443 NEW BEST:: SOT 347006 SOS 124018 HAS SOPS 123906 HAS SOUS 44312 HAS SOUPS 44288 WITH SCORE 44412.018
AT ITER 4471 NEW BEST:: SOT 347011 SOS 124023 HAS SOPS 123911 HAS SOUS 44250 HAS SOUPS 44226 WITH SCORE 44350.023
AT ITER 4473 NEW BEST:: SOT 347011 SOS 124023 HAS SOPS 123911 HAS SOUS 44239 HAS SOUPS 44215 WITH SCORE 44339.023
AT ITER 4487 NEW BEST:: SOT 346975 SOS 123987 HAS SOPS 123875 HAS SOUS 44191 HAS SOUPS 44167 WITH SCORE 44290.987
AT ITER 4499 NEW BEST:: SOT 346955 SOS 123967 HAS SOPS 123855 HAS SOUS 44164 HAS SOUPS 44140 WITH SCORE 44263.967
AT ITER 4505 NEW BEST:: SOT 346962 SOS 123531 HAS SOPS 123419 HAS SOUS 44148 HAS SOUPS 44124 WITH SCORE 44247.531
AT ITER 4540 NEW BEST:: SOT 346962 SOS 123531 HAS SOPS 123419 HAS SOUS 44128 HAS SOUPS 44104 WITH SCORE 44227.531
AT ITER 4544 NEW BEST:: SOT 346950 SOS 123519 HAS SOPS 123407 HAS SOUS 44108 HAS SOUPS 44084 WITH SCORE 44207.519
AT ITER 4552 NEW BEST:: SOT 346882 SOS 123451 HAS SOPS 123339 HAS SOUS 44013 HAS SOUPS 43989 WITH SCORE 44112.451
AT ITER 4602 NEW BEST:: SOT 346907 SOS 123476 HAS SOPS 123364 HAS SOUS 43996 HAS SOUPS 43972 WITH SCORE 44095.476
AT ITER 4611 NEW BEST:: SOT 346887 SOS 123456 HAS SOPS 123344 HAS SOUS 43946 HAS SOUPS 43922 WITH SCORE 44045.456
AT ITER 4618 NEW BEST:: SOT 346860 SOS 123393 HAS SOPS 123281 HAS SOUS 43892 HAS SOUPS 43868 WITH SCORE 43991.393
AT ITER 4632 NEW BEST:: SOT 346787 SOS 123320 HAS SOPS 123208 HAS SOUS 43771 HAS SOUPS 43747 WITH SCORE 43870.32
AT ITER 4645 NEW BEST:: SOT 346766 SOS 123299 HAS SOPS 123187 HAS SOUS 43748 HAS SOUPS 43724 WITH SCORE 43847.299
AT ITER 4654 NEW BEST:: SOT 346776 SOS 123361 HAS SOPS 123249 HAS SOUS 43705 HAS SOUPS 43681 WITH SCORE 43804.361
AT ITER 4665 NEW BEST:: SOT 346776 SOS 123361 HAS SOPS 123249 HAS SOUS 43704 HAS SOUPS 43680 WITH SCORE 43803.361
AT ITER 4667 NEW BEST:: SOT 346798 SOS 123383 HAS SOPS 123271 HAS SOUS 43694 HAS SOUPS 43670 WITH SCORE 43793.383
AT ITER 4669 NEW BEST:: SOT 346748 SOS 123333 HAS SOPS 123221 HAS SOUS 43600 HAS SOUPS 43576 WITH SCORE 43699.333
AT ITER 4684 NEW BEST:: SOT 346717 SOS 123302 HAS SOPS 123190 HAS SOUS 43538 HAS SOUPS 43514 WITH SCORE 43637.302
AT ITER 4704 NEW BEST:: SOT 346700 SOS 123298 HAS SOPS 123186 HAS SOUS 43530 HAS SOUPS 43506 WITH SCORE 43629.298
AT ITER 4711 NEW BEST:: SOT 346685 SOS 123283 HAS SOPS 123171 HAS SOUS 43512 HAS SOUPS 43488 WITH SCORE 43611.283
AT ITER 4717 NEW BEST:: SOT 346741 SOS 123339 HAS SOPS 123227 HAS SOUS 43492 HAS SOUPS 43468 WITH SCORE 43591.339
AT ITER 4791 NEW BEST:: SOT 346731 SOS 123329 HAS SOPS 123217 HAS SOUS 43482 HAS SOUPS 43458 WITH SCORE 43581.329
AT ITER 4813 NEW BEST:: SOT 346799 SOS 123397 HAS SOPS 123285 HAS SOUS 43456 HAS SOUPS 43432 WITH SCORE 43555.397
AT ITER 4818 NEW BEST:: SOT 346744 SOS 123342 HAS SOPS 123230 HAS SOUS 43327 HAS SOUPS 43303 WITH SCORE 43426.342
AT ITER 4845 NEW BEST:: SOT 346743 SOS 123341 HAS SOPS 123229 HAS SOUS 43325 HAS SOUPS 43301 WITH SCORE 43424.341
AT ITER 4856 NEW BEST:: SOT 346743 SOS 123341 HAS SOPS 123229 HAS SOUS 43316 HAS SOUPS 43292 WITH SCORE 43415.341
AT ITER 4880 NEW BEST:: SOT 346742 SOS 123340 HAS SOPS 123228 HAS SOUS 43315 HAS SOUPS 43291 WITH SCORE 43414.34
AT ITER 4922 NEW BEST:: SOT 346708 SOS 123306 HAS SOPS 123194 HAS SOUS 43255 HAS SOUPS 43231 WITH SCORE 43354.306
AT ITER 4940 NEW BEST:: SOT 346336 SOS 121042 HAS SOPS 120952 HAS SOUS 43216 HAS SOUPS 43192 WITH SCORE 43313.042
AT ITER 4945 NEW BEST:: SOT 346356 SOS 121062 HAS SOPS 120972 HAS SOUS 43158 HAS SOUPS 43134 WITH SCORE 43255.062
AT ITER 4965 NEW BEST:: SOT 346339 SOS 121017 HAS SOPS 120927 HAS SOUS 43152 HAS SOUPS 43128 WITH SCORE 43249.017
AT ITER 4969 NEW BEST:: SOT 346293 SOS 120971 HAS SOPS 120881 HAS SOUS 43028 HAS SOUPS 43004 WITH SCORE 43124.971
AT ITER 4994 NEW BEST:: SOT 346223 SOS 120901 HAS SOPS 120811 HAS SOUS 42896 HAS SOUPS 42872 WITH SCORE 42992.901
AT ITER 5002 NEW BEST:: SOT 346223 SOS 120901 HAS SOPS 120811 HAS SOUS 42875 HAS SOUPS 42851 WITH SCORE 42971.901
AT ITER 5033 NEW BEST:: SOT 346198 SOS 109858 HAS SOPS 109768 HAS SOUS 42718 HAS SOUPS 42694 WITH SCORE 42803.858
AT ITER 5034 NEW BEST:: SOT 346092 SOS 109752 HAS SOPS 109662 HAS SOUS 42691 HAS SOUPS 42667 WITH SCORE 42776.752
AT ITER 5038 NEW BEST:: SOT 346092 SOS 109743 HAS SOPS 109653 HAS SOUS 42682 HAS SOUPS 42658 WITH SCORE 42767.743
AT ITER 5049 NEW BEST:: SOT 346122 SOS 109773 HAS SOPS 109683 HAS SOUS 42658 HAS SOUPS 42634 WITH SCORE 42743.773
AT ITER 5058 NEW BEST:: SOT 346123 SOS 109764 HAS SOPS 109674 HAS SOUS 42640 HAS SOUPS 42616 WITH SCORE 42725.764
AT ITER 5174 NEW BEST:: SOT 346122 SOS 109760 HAS SOPS 109671 HAS SOUS 42637 HAS SOUPS 42614 WITH SCORE 42723.76
AT ITER 5227 NEW BEST:: SOT 346122 SOS 109760 HAS SOPS 109671 HAS SOUS 42625 HAS SOUPS 42602 WITH SCORE 42711.76
AT ITER 5247 NEW BEST:: SOT 346122 SOS 109742 HAS SOPS 109653 HAS SOUS 42607 HAS SOUPS 42584 WITH SCORE 42693.742
AT ITER 5264 NEW BEST:: SOT 346162 SOS 109724 HAS SOPS 109635 HAS SOUS 42549 HAS SOUPS 42526 WITH SCORE 42635.724
AT ITER 5271 NEW BEST:: SOT 346131 SOS 109693 HAS SOPS 109604 HAS SOUS 42511 HAS SOUPS 42488 WITH SCORE 42597.693
AT ITER 5297 NEW BEST:: SOT 346133 SOS 109695 HAS SOPS 109606 HAS SOUS 42505 HAS SOUPS 42482 WITH SCORE 42591.695
AT ITER 5317 NEW BEST:: SOT 346133 SOS 109696 HAS SOPS 109607 HAS SOUS 42503 HAS SOUPS 42480 WITH SCORE 42589.696
AT ITER 5360 NEW BEST:: SOT 346130 SOS 109693 HAS SOPS 109604 HAS SOUS 42497 HAS SOUPS 42474 WITH SCORE 42583.693
AT ITER 5379 NEW BEST:: SOT 346105 SOS 109685 HAS SOPS 109596 HAS SOUS 42455 HAS SOUPS 42432 WITH SCORE 42541.685
AT ITER 5426 NEW BEST:: SOT 346109 SOS 109689 HAS SOPS 109600 HAS SOUS 42451 HAS SOUPS 42428 WITH SCORE 42537.689
AT ITER 5436 NEW BEST:: SOT 346103 SOS 109683 HAS SOPS 109594 HAS SOUS 42445 HAS SOUPS 42422 WITH SCORE 42531.683
AT ITER 5445 NEW BEST:: SOT 346118 SOS 109679 HAS SOPS 109590 HAS SOUS 42437 HAS SOUPS 42414 WITH SCORE 42523.679
AT ITER 5459 NEW BEST:: SOT 346110 SOS 109671 HAS SOPS 109582 HAS SOUS 42405 HAS SOUPS 42382 WITH SCORE 42491.671
AT ITER 5466 NEW BEST:: SOT 346104 SOS 109665 HAS SOPS 109576 HAS SOUS 42399 HAS SOUPS 42376 WITH SCORE 42485.665
AT ITER 5504 NEW BEST:: SOT 346092 SOS 109653 HAS SOPS 109564 HAS SOUS 42375 HAS SOUPS 42352 WITH SCORE 42461.653
AT ITER 5571 NEW BEST:: SOT 346149 SOS 109718 HAS SOPS 109629 HAS SOUS 42355 HAS SOUPS 42332 WITH SCORE 42441.718
AT ITER 5615 NEW BEST:: SOT 346141 SOS 109710 HAS SOPS 109621 HAS SOUS 42343 HAS SOUPS 42320 WITH SCORE 42429.71
AT ITER 5641 NEW BEST:: SOT 346090 SOS 109509 HAS SOPS 109420 HAS SOUS 42225 HAS SOUPS 42202 WITH SCORE 42311.509
AT ITER 5657 NEW BEST:: SOT 346090 SOS 109752 HAS SOPS 109413 HAS SOUS 42269 HAS SOUPS 42195 WITH SCORE 42304.752
AT ITER 5706 NEW BEST:: SOT 346087 SOS 109746 HAS SOPS 109407 HAS SOUS 42263 HAS SOUPS 42189 WITH SCORE 42298.746
AT ITER 5707 NEW BEST:: SOT 346063 SOS 109722 HAS SOPS 109383 HAS SOUS 42237 HAS SOUPS 42163 WITH SCORE 42272.722
AT ITER 5714 NEW BEST:: SOT 346051 SOS 109789 HAS SOPS 109450 HAS SOUS 42213 HAS SOUPS 42139 WITH SCORE 42248.789
AT ITER 5717 NEW BEST:: SOT 346067 SOS 109805 HAS SOPS 109466 HAS SOUS 42210 HAS SOUPS 42136 WITH SCORE 42245.805
AT ITER 5738 NEW BEST:: SOT 346070 SOS 106312 HAS SOPS 105965 HAS SOUS 42173 HAS SOUPS 42099 WITH SCORE 42205.312
AT ITER 5844 NEW BEST:: SOT 346065 SOS 106307 HAS SOPS 105960 HAS SOUS 42163 HAS SOUPS 42089 WITH SCORE 42195.307
AT ITER 5858 NEW BEST:: SOT 345977 SOS 106219 HAS SOPS 105872 HAS SOUS 42011 HAS SOUPS 41937 WITH SCORE 42043.219
AT ITER 5879 NEW BEST:: SOT 346939 SOS 106965 HAS SOPS 106618 HAS SOUS 41946 HAS SOUPS 41872 WITH SCORE 41978.965
AT ITER 5886 NEW BEST:: SOT 346900 SOS 106926 HAS SOPS 106579 HAS SOUS 41908 HAS SOUPS 41834 WITH SCORE 41940.926
AT ITER 5916 NEW BEST:: SOT 346716 SOS 106711 HAS SOPS 106364 HAS SOUS 41733 HAS SOUPS 41659 WITH SCORE 41765.711
AT ITER 5932 NEW BEST:: SOT 346714 SOS 106709 HAS SOPS 106362 HAS SOUS 41727 HAS SOUPS 41653 WITH SCORE 41759.709
AT ITER 5937 NEW BEST:: SOT 346743 SOS 106738 HAS SOPS 106391 HAS SOUS 41526 HAS SOUPS 41452 WITH SCORE 41558.738
AT ITER 5961 NEW BEST:: SOT 346713 SOS 106708 HAS SOPS 106361 HAS SOUS 41475 HAS SOUPS 41401 WITH SCORE 41507.708
AT ITER 5993 NEW BEST:: SOT 346672 SOS 106667 HAS SOPS 106320 HAS SOUS 41361 HAS SOUPS 41287 WITH SCORE 41393.667
AT ITER 6016 NEW BEST:: SOT 346656 SOS 106655 HAS SOPS 106308 HAS SOUS 41349 HAS SOUPS 41275 WITH SCORE 41381.655
AT ITER 6018 NEW BEST:: SOT 346664 SOS 106652 HAS SOPS 106305 HAS SOUS 41343 HAS SOUPS 41269 WITH SCORE 41375.652
AT ITER 6052 NEW BEST:: SOT 346664 SOS 106652 HAS SOPS 106305 HAS SOUS 41334 HAS SOUPS 41260 WITH SCORE 41366.652
AT ITER 6075 NEW BEST:: SOT 346668 SOS 106660 HAS SOPS 106313 HAS SOUS 41330 HAS SOUPS 41256 WITH SCORE 41362.66
AT ITER 6098 NEW BEST:: SOT 346692 SOS 106651 HAS SOPS 106304 HAS SOUS 41312 HAS SOUPS 41238 WITH SCORE 41344.651
AT ITER 6123 NEW BEST:: SOT 346670 SOS 106629 HAS SOPS 106282 HAS SOUS 41279 HAS SOUPS 41205 WITH SCORE 41311.629
AT ITER 6125 NEW BEST:: SOT 346667 SOS 106629 HAS SOPS 106282 HAS SOUS 41273 HAS SOUPS 41199 WITH SCORE 41305.629
AT ITER 6199 NEW BEST:: SOT 346634 SOS 106596 HAS SOPS 106249 HAS SOUS 41230 HAS SOUPS 41156 WITH SCORE 41262.596
AT ITER 6253 NEW BEST:: SOT 346621 SOS 106583 HAS SOPS 106236 HAS SOUS 41197 HAS SOUPS 41123 WITH SCORE 41229.583
AT ITER 6288 NEW BEST:: SOT 346620 SOS 106533 HAS SOPS 106186 HAS SOUS 41195 HAS SOUPS 41121 WITH SCORE 41227.533
AT ITER 6298 NEW BEST:: SOT 346509 SOS 106527 HAS SOPS 106180 HAS SOUS 41183 HAS SOUPS 41109 WITH SCORE 41215.527
AT ITER 6347 NEW BEST:: SOT 346502 SOS 106520 HAS SOPS 106173 HAS SOUS 41169 HAS SOUPS 41095 WITH SCORE 41201.52
AT ITER 6404 NEW BEST:: SOT 346495 SOS 106506 HAS SOPS 106159 HAS SOUS 41155 HAS SOUPS 41081 WITH SCORE 41187.506
AT ITER 6412 NEW BEST:: SOT 346484 SOS 106548 HAS SOPS 106201 HAS SOUS 41141 HAS SOUPS 41067 WITH SCORE 41173.548
AT ITER 6494 NEW BEST:: SOT 346483 SOS 106547 HAS SOPS 106200 HAS SOUS 41134 HAS SOUPS 41060 WITH SCORE 41166.547
AT ITER 6507 NEW BEST:: SOT 346498 SOS 106547 HAS SOPS 106200 HAS SOUS 41131 HAS SOUPS 41057 WITH SCORE 41163.547
AT ITER 6553 NEW BEST:: SOT 346498 SOS 106543 HAS SOPS 106196 HAS SOUS 41127 HAS SOUPS 41053 WITH SCORE 41159.543
AT ITER 6562 NEW BEST:: SOT 346487 SOS 106532 HAS SOPS 106185 HAS SOUS 41089 HAS SOUPS 41015 WITH SCORE 41121.532
AT ITER 6580 NEW BEST:: SOT 346476 SOS 106521 HAS SOPS 106174 HAS SOUS 41051 HAS SOUPS 40977 WITH SCORE 41083.521
AT ITER 6589 NEW BEST:: SOT 346465 SOS 106494 HAS SOPS 106147 HAS SOUS 41017 HAS SOUPS 40943 WITH SCORE 41049.494
AT ITER 6617 NEW BEST:: SOT 346461 SOS 106490 HAS SOPS 106143 HAS SOUS 41017 HAS SOUPS 40943 WITH SCORE 41049.49
AT ITER 6631 NEW BEST:: SOT 346461 SOS 106490 HAS SOPS 106143 HAS SOUS 41016 HAS SOUPS 40942 WITH SCORE 41048.49
AT ITER 6660 NEW BEST:: SOT 346455 SOS 106484 HAS SOPS 106137 HAS SOUS 41004 HAS SOUPS 40930 WITH SCORE 41036.484
AT ITER 6672 NEW BEST:: SOT 346433 SOS 106462 HAS SOPS 106115 HAS SOUS 40977 HAS SOUPS 40903 WITH SCORE 41009.462
AT ITER 6677 NEW BEST:: SOT 346313 SOS 106342 HAS SOPS 105995 HAS SOUS 40708 HAS SOUPS 40634 WITH SCORE 40740.342
AT ITER 6682 NEW BEST:: SOT 346311 SOS 106340 HAS SOPS 105993 HAS SOUS 40708 HAS SOUPS 40634 WITH SCORE 40740.34
AT ITER 6767 NEW BEST:: SOT 346305 SOS 106334 HAS SOPS 105987 HAS SOUS 40696 HAS SOUPS 40622 WITH SCORE 40728.334
AT ITER 6775 NEW BEST:: SOT 346293 SOS 106322 HAS SOPS 105975 HAS SOUS 40670 HAS SOUPS 40596 WITH SCORE 40702.322
AT ITER 6784 NEW BEST:: SOT 346278 SOS 106307 HAS SOPS 105960 HAS SOUS 40638 HAS SOUPS 40564 WITH SCORE 40670.307
AT ITER 6785 NEW BEST:: SOT 346212 SOS 106241 HAS SOPS 105894 HAS SOUS 40514 HAS SOUPS 40440 WITH SCORE 40546.241
AT ITER 6792 NEW BEST:: SOT 346212 SOS 106241 HAS SOPS 105894 HAS SOUS 40496 HAS SOUPS 40422 WITH SCORE 40528.241
AT ITER 6799 NEW BEST:: SOT 346206 SOS 106190 HAS SOPS 105843 HAS SOUS 40484 HAS SOUPS 40410 WITH SCORE 40516.19
AT ITER 6802 NEW BEST:: SOT 346206 SOS 106190 HAS SOPS 105843 HAS SOUS 40482 HAS SOUPS 40408 WITH SCORE 40514.19
AT ITER 6812 NEW BEST:: SOT 346206 SOS 106219 HAS SOPS 105862 HAS SOUS 40482 HAS SOUPS 40398 WITH SCORE 40504.219
AT ITER 6816 NEW BEST:: SOT 346224 SOS 106237 HAS SOPS 105880 HAS SOUS 40474 HAS SOUPS 40390 WITH SCORE 40496.237
AT ITER 6840 NEW BEST:: SOT 346210 SOS 106223 HAS SOPS 105866 HAS SOUS 40446 HAS SOUPS 40362 WITH SCORE 40468.223
AT ITER 6852 NEW BEST:: SOT 346196 SOS 106209 HAS SOPS 105852 HAS SOUS 40386 HAS SOUPS 40302 WITH SCORE 40408.209
AT ITER 6943 NEW BEST:: SOT 346181 SOS 106194 HAS SOPS 105837 HAS SOUS 40367 HAS SOUPS 40283 WITH SCORE 40389.194
AT ITER 6957 NEW BEST:: SOT 346158 SOS 106171 HAS SOPS 105814 HAS SOUS 40353 HAS SOUPS 40269 WITH SCORE 40375.171
AT ITER 6973 NEW BEST:: SOT 346152 SOS 106165 HAS SOPS 105808 HAS SOUS 40347 HAS SOUPS 40263 WITH SCORE 40369.165
AT ITER 6975 NEW BEST:: SOT 346150 SOS 106163 HAS SOPS 105806 HAS SOUS 40326 HAS SOUPS 40242 WITH SCORE 40348.163
AT ITER 6987 NEW BEST:: SOT 346147 SOS 106160 HAS SOPS 105803 HAS SOUS 40320 HAS SOUPS 40236 WITH SCORE 40342.16
AT ITER 7003 NEW BEST:: SOT 346076 SOS 107192 HAS SOPS 106835 HAS SOUS 40217 HAS SOUPS 40133 WITH SCORE 40240.192
AT ITER 7029 NEW BEST:: SOT 346050 SOS 107166 HAS SOPS 106809 HAS SOUS 40157 HAS SOUPS 40073 WITH SCORE 40180.166
AT ITER 7063 NEW BEST:: SOT 346042 SOS 107158 HAS SOPS 106801 HAS SOUS 40147 HAS SOUPS 40063 WITH SCORE 40170.158
AT ITER 7074 NEW BEST:: SOT 346032 SOS 107148 HAS SOPS 106791 HAS SOUS 40121 HAS SOUPS 40037 WITH SCORE 40144.148
AT ITER 7110 NEW BEST:: SOT 346032 SOS 107129 HAS SOPS 106772 HAS SOUS 40121 HAS SOUPS 40037 WITH SCORE 40144.129
AT ITER 7120 NEW BEST:: SOT 345999 SOS 107096 HAS SOPS 106739 HAS SOUS 40076 HAS SOUPS 39992 WITH SCORE 40099.096
AT ITER 7123 NEW BEST:: SOT 345989 SOS 107086 HAS SOPS 106729 HAS SOUS 40064 HAS SOUPS 39980 WITH SCORE 40087.086
AT ITER 7205 NEW BEST:: SOT 345989 SOS 107101 HAS SOPS 106744 HAS SOUS 40051 HAS SOUPS 39967 WITH SCORE 40074.101
AT ITER 7241 NEW BEST:: SOT 345955 SOS 107067 HAS SOPS 106710 HAS SOUS 39983 HAS SOUPS 39899 WITH SCORE 40006.067
AT ITER 7243 NEW BEST:: SOT 345917 SOS 107029 HAS SOPS 106672 HAS SOUS 39907 HAS SOUPS 39823 WITH SCORE 39930.029
AT ITER 7254 NEW BEST:: SOT 345905 SOS 107023 HAS SOPS 106666 HAS SOUS 39895 HAS SOUPS 39811 WITH SCORE 39918.023
AT ITER 7319 NEW BEST:: SOT 345903 SOS 107021 HAS SOPS 106664 HAS SOUS 39893 HAS SOUPS 39809 WITH SCORE 39916.021
AT ITER 7333 NEW BEST:: SOT 345878 SOS 106971 HAS SOPS 106614 HAS SOUS 39843 HAS SOUPS 39759 WITH SCORE 39865.971
AT ITER 7342 NEW BEST:: SOT 345872 SOS 106965 HAS SOPS 106608 HAS SOUS 39835 HAS SOUPS 39751 WITH SCORE 39857.965
AT ITER 7375 NEW BEST:: SOT 345872 SOS 106965 HAS SOPS 106608 HAS SOUS 39832 HAS SOUPS 39748 WITH SCORE 39854.965
AT ITER 7471 NEW BEST:: SOT 345844 SOS 106937 HAS SOPS 106580 HAS SOUS 39776 HAS SOUPS 39692 WITH SCORE 39798.937
AT ITER 7480 NEW BEST:: SOT 345825 SOS 106918 HAS SOPS 106561 HAS SOUS 39738 HAS SOUPS 39654 WITH SCORE 39760.918
AT ITER 7486 NEW BEST:: SOT 345823 SOS 106916 HAS SOPS 106559 HAS SOUS 39736 HAS SOUPS 39652 WITH SCORE 39758.916
AT ITER 7487 NEW BEST:: SOT 345837 SOS 100283 HAS SOPS 99910 HAS SOUS 39639 HAS SOUPS 39555 WITH SCORE 39655.283
AT ITER 7565 NEW BEST:: SOT 345835 SOS 100281 HAS SOPS 99908 HAS SOUS 39597 HAS SOUPS 39513 WITH SCORE 39613.281
AT ITER 7618 NEW BEST:: SOT 345835 SOS 100281 HAS SOPS 99908 HAS SOUS 39594 HAS SOUPS 39510 WITH SCORE 39610.281
AT ITER 7627 NEW BEST:: SOT 345813 SOS 100259 HAS SOPS 99886 HAS SOUS 39550 HAS SOUPS 39466 WITH SCORE 39566.259
AT ITER 7657 NEW BEST:: SOT 345801 SOS 100174 HAS SOPS 99801 HAS SOUS 39529 HAS SOUPS 39445 WITH SCORE 39545.174
AT ITER 7658 NEW BEST:: SOT 345800 SOS 100165 HAS SOPS 99792 HAS SOUS 39523 HAS SOUPS 39439 WITH SCORE 39539.165
AT ITER 7699 NEW BEST:: SOT 345794 SOS 100159 HAS SOPS 99786 HAS SOUS 39511 HAS SOUPS 39427 WITH SCORE 39527.159
AT ITER 7717 NEW BEST:: SOT 345762 SOS 100127 HAS SOPS 99754 HAS SOUS 39462 HAS SOUPS 39378 WITH SCORE 39478.127
AT ITER 7773 NEW BEST:: SOT 345696 SOS 100083 HAS SOPS 99710 HAS SOUS 39374 HAS SOUPS 39290 WITH SCORE 39390.083
AT ITER 7860 NEW BEST:: SOT 345682 SOS 99984 HAS SOPS 99611 HAS SOUS 39342 HAS SOUPS 39258 WITH SCORE 39357.984
AT ITER 7879 NEW BEST:: SOT 345672 SOS 99974 HAS SOPS 99601 HAS SOUS 39332 HAS SOUPS 39248 WITH SCORE 39347.974
AT ITER 7882 NEW BEST:: SOT 345667 SOS 99969 HAS SOPS 99596 HAS SOUS 39313 HAS SOUPS 39229 WITH SCORE 39328.969
AT ITER 7902 NEW BEST:: SOT 345609 SOS 99911 HAS SOPS 99538 HAS SOUS 39227 HAS SOUPS 39143 WITH SCORE 39242.911
AT ITER 7968 NEW BEST:: SOT 345592 SOS 99894 HAS SOPS 99521 HAS SOUS 39210 HAS SOUPS 39126 WITH SCORE 39225.894
AT ITER 7975 NEW BEST:: SOT 345609 SOS 99911 HAS SOPS 99538 HAS SOUS 39161 HAS SOUPS 39077 WITH SCORE 39176.911
AT ITER 7981 NEW BEST:: SOT 345613 SOS 99915 HAS SOPS 99542 HAS SOUS 39157 HAS SOUPS 39073 WITH SCORE 39172.915
AT ITER 7985 NEW BEST:: SOT 345615 SOS 99917 HAS SOPS 99544 HAS SOUS 39147 HAS SOUPS 39063 WITH SCORE 39162.917
AT ITER 7990 NEW BEST:: SOT 345613 SOS 99912 HAS SOPS 99539 HAS SOUS 39143 HAS SOUPS 39059 WITH SCORE 39158.912
AT ITER 7991 NEW BEST:: SOT 345609 SOS 99908 HAS SOPS 99535 HAS SOUS 39136 HAS SOUPS 39052 WITH SCORE 39151.908
AT ITER 8010 NEW BEST:: SOT 345595 SOS 99894 HAS SOPS 99521 HAS SOUS 39099 HAS SOUPS 39015 WITH SCORE 39114.894
AT ITER 8017 NEW BEST:: SOT 345595 SOS 99905 HAS SOPS 99532 HAS SOUS 39067 HAS SOUPS 38983 WITH SCORE 39082.905
AT ITER 8028 NEW BEST:: SOT 345567 SOS 99877 HAS SOPS 99504 HAS SOUS 39036 HAS SOUPS 38952 WITH SCORE 39051.877
AT ITER 8052 NEW BEST:: SOT 345547 SOS 99837 HAS SOPS 99464 HAS SOUS 38996 HAS SOUPS 38912 WITH SCORE 39011.837
AT ITER 8082 NEW BEST:: SOT 345488 SOS 99778 HAS SOPS 99405 HAS SOUS 38955 HAS SOUPS 38871 WITH SCORE 38970.778
AT ITER 8084 NEW BEST:: SOT 345480 SOS 99766 HAS SOPS 99393 HAS SOUS 38947 HAS SOUPS 38863 WITH SCORE 38962.766
AT ITER 8094 NEW BEST:: SOT 345480 SOS 99766 HAS SOPS 99393 HAS SOUS 38933 HAS SOUPS 38849 WITH SCORE 38948.766
AT ITER 8125 NEW BEST:: SOT 345477 SOS 99763 HAS SOPS 99390 HAS SOUS 38930 HAS SOUPS 38846 WITH SCORE 38945.763
AT ITER 8130 NEW BEST:: SOT 345492 SOS 99759 HAS SOPS 99386 HAS SOUS 38922 HAS SOUPS 38838 WITH SCORE 38937.759
AT ITER 8139 NEW BEST:: SOT 345475 SOS 99713 HAS SOPS 99340 HAS SOUS 38828 HAS SOUPS 38744 WITH SCORE 38843.713
AT ITER 8186 NEW BEST:: SOT 345506 SOS 99751 HAS SOPS 99378 HAS SOUS 38774 HAS SOUPS 38690 WITH SCORE 38789.751
AT ITER 8189 NEW BEST:: SOT 345550 SOS 99790 HAS SOPS 99417 HAS SOUS 38715 HAS SOUPS 38631 WITH SCORE 38730.79
AT ITER 8245 NEW BEST:: SOT 345544 SOS 99784 HAS SOPS 99411 HAS SOUS 38703 HAS SOUPS 38619 WITH SCORE 38718.784
AT ITER 8309 NEW BEST:: SOT 345532 SOS 99772 HAS SOPS 99399 HAS SOUS 38684 HAS SOUPS 38600 WITH SCORE 38699.772
AT ITER 8338 NEW BEST:: SOT 345531 SOS 99771 HAS SOPS 99398 HAS SOUS 38682 HAS SOUPS 38598 WITH SCORE 38697.771
AT ITER 8382 NEW BEST:: SOT 345497 SOS 99737 HAS SOPS 99364 HAS SOUS 38652 HAS SOUPS 38568 WITH SCORE 38667.737
AT ITER 8394 NEW BEST:: SOT 345493 SOS 99733 HAS SOPS 99360 HAS SOUS 38647 HAS SOUPS 38563 WITH SCORE 38662.733
AT ITER 8410 NEW BEST:: SOT 345493 SOS 99988 HAS SOPS 99615 HAS SOUS 38631 HAS SOUPS 38547 WITH SCORE 38646.988
AT ITER 8481 NEW BEST:: SOT 345481 SOS 99976 HAS SOPS 99603 HAS SOUS 38619 HAS SOUPS 38535 WITH SCORE 38634.976
AT ITER 8523 NEW BEST:: SOT 345463 SOS 99958 HAS SOPS 99585 HAS SOUS 38601 HAS SOUPS 38517 WITH SCORE 38616.958
AT ITER 8580 NEW BEST:: SOT 345455 SOS 99942 HAS SOPS 99569 HAS SOUS 38593 HAS SOUPS 38509 WITH SCORE 38608.942
AT ITER 8595 NEW BEST:: SOT 345453 SOS 99940 HAS SOPS 99567 HAS SOUS 38589 HAS SOUPS 38505 WITH SCORE 38604.94
AT ITER 8630 NEW BEST:: SOT 345456 SOS 99957 HAS SOPS 99584 HAS SOUS 38582 HAS SOUPS 38498 WITH SCORE 38597.957
AT ITER 8715 NEW BEST:: SOT 345443 SOS 99944 HAS SOPS 99571 HAS SOUS 38561 HAS SOUPS 38477 WITH SCORE 38576.944
AT ITER 8722 NEW BEST:: SOT 345418 SOS 99940 HAS SOPS 99567 HAS SOUS 38557 HAS SOUPS 38473 WITH SCORE 38572.94
AT ITER 8738 NEW BEST:: SOT 345361 SOS 99883 HAS SOPS 99510 HAS SOUS 38452 HAS SOUPS 38368 WITH SCORE 38467.883
AT ITER 8815 NEW BEST:: SOT 345430 SOS 99952 HAS SOPS 99579 HAS SOUS 38366 HAS SOUPS 38282 WITH SCORE 38381.952
AT ITER 8835 NEW BEST:: SOT 345427 SOS 99949 HAS SOPS 99576 HAS SOUS 38351 HAS SOUPS 38267 WITH SCORE 38366.949
AT ITER 8911 NEW BEST:: SOT 345452 SOS 99974 HAS SOPS 99601 HAS SOUS 38350 HAS SOUPS 38266 WITH SCORE 38365.974
AT ITER 8925 NEW BEST:: SOT 345450 SOS 99972 HAS SOPS 99599 HAS SOUS 38350 HAS SOUPS 38266 WITH SCORE 38365.972
AT ITER 8948 NEW BEST:: SOT 345468 SOS 99990 HAS SOPS 99617 HAS SOUS 38340 HAS SOUPS 38256 WITH SCORE 38355.99
AT ITER 9007 NEW BEST:: SOT 345468 SOS 99976 HAS SOPS 99603 HAS SOUS 38340 HAS SOUPS 38256 WITH SCORE 38355.976
AT ITER 9047 NEW BEST:: SOT 345463 SOS 99971 HAS SOPS 99598 HAS SOUS 38331 HAS SOUPS 38247 WITH SCORE 38346.971
AT ITER 9077 NEW BEST:: SOT 345446 SOS 99938 HAS SOPS 99565 HAS SOUS 38329 HAS SOUPS 38245 WITH SCORE 38344.938
AT ITER 9119 NEW BEST:: SOT 345435 SOS 100013 HAS SOPS 99640 HAS SOUS 38307 HAS SOUPS 38223 WITH SCORE 38323.013
AT ITER 9128 NEW BEST:: SOT 345430 SOS 100003 HAS SOPS 99630 HAS SOUS 38297 HAS SOUPS 38213 WITH SCORE 38313.003
AT ITER 9212 NEW BEST:: SOT 345429 SOS 100002 HAS SOPS 99629 HAS SOUS 38291 HAS SOUPS 38207 WITH SCORE 38307.002
AT ITER 9219 NEW BEST:: SOT 345377 SOS 99950 HAS SOPS 99577 HAS SOUS 38240 HAS SOUPS 38156 WITH SCORE 38255.95
AT ITER 9236 NEW BEST:: SOT 345346 SOS 99919 HAS SOPS 99546 HAS SOUS 38231 HAS SOUPS 38147 WITH SCORE 38246.919
AT ITER 9261 NEW BEST:: SOT 345345 SOS 99791 HAS SOPS 99418 HAS SOUS 38228 HAS SOUPS 38144 WITH SCORE 38243.791
AT ITER 9263 NEW BEST:: SOT 345319 SOS 99836 HAS SOPS 99463 HAS SOUS 38190 HAS SOUPS 38106 WITH SCORE 38205.836
AT ITER 9292 NEW BEST:: SOT 345290 SOS 99807 HAS SOPS 99434 HAS SOUS 38132 HAS SOUPS 38048 WITH SCORE 38147.807
AT ITER 9330 NEW BEST:: SOT 345288 SOS 99789 HAS SOPS 99416 HAS SOUS 38114 HAS SOUPS 38030 WITH SCORE 38129.789
AT ITER 9335 NEW BEST:: SOT 345115 SOS 99616 HAS SOPS 99243 HAS SOUS 37872 HAS SOUPS 37788 WITH SCORE 37887.616
AT ITER 9351 NEW BEST:: SOT 345073 SOS 99574 HAS SOPS 99201 HAS SOUS 37804 HAS SOUPS 37720 WITH SCORE 37819.574
AT ITER 9355 NEW BEST:: SOT 345053 SOS 99554 HAS SOPS 99181 HAS SOUS 37756 HAS SOUPS 37672 WITH SCORE 37771.554
AT ITER 9413 NEW BEST:: SOT 345092 SOS 99593 HAS SOPS 99220 HAS SOUS 37717 HAS SOUPS 37633 WITH SCORE 37732.593
AT ITER 9421 NEW BEST:: SOT 345118 SOS 99619 HAS SOPS 99246 HAS SOUS 37616 HAS SOUPS 37532 WITH SCORE 37631.619
AT ITER 9460 NEW BEST:: SOT 345115 SOS 99616 HAS SOPS 99243 HAS SOUS 37609 HAS SOUPS 37525 WITH SCORE 37624.616
AT ITER 9476 NEW BEST:: SOT 345126 SOS 99627 HAS SOPS 99254 HAS SOUS 37604 HAS SOUPS 37520 WITH SCORE 37619.627
AT ITER 9526 NEW BEST:: SOT 345118 SOS 99619 HAS SOPS 99246 HAS SOUS 37585 HAS SOUPS 37501 WITH SCORE 37600.619
AT ITER 9539 NEW BEST:: SOT 345052 SOS 99553 HAS SOPS 99180 HAS SOUS 37519 HAS SOUPS 37435 WITH SCORE 37534.553
AT ITER 9555 NEW BEST:: SOT 345050 SOS 99551 HAS SOPS 99178 HAS SOUS 37517 HAS SOUPS 37433 WITH SCORE 37532.551
AT ITER 9566 NEW BEST:: SOT 345050 SOS 99544 HAS SOPS 99171 HAS SOUS 37517 HAS SOUPS 37433 WITH SCORE 37532.544
AT ITER 9575 NEW BEST:: SOT 344985 SOS 99550 HAS SOPS 99177 HAS SOUS 37445 HAS SOUPS 37361 WITH SCORE 37460.55
AT ITER 9587 NEW BEST:: SOT 344977 SOS 99542 HAS SOPS 99169 HAS SOUS 37443 HAS SOUPS 37359 WITH SCORE 37458.542
AT ITER 9644 NEW BEST:: SOT 344961 SOS 99526 HAS SOPS 99153 HAS SOUS 37401 HAS SOUPS 37317 WITH SCORE 37416.526
AT ITER 9647 NEW BEST:: SOT 344939 SOS 99504 HAS SOPS 99131 HAS SOUS 37374 HAS SOUPS 37290 WITH SCORE 37389.504
AT ITER 9669 NEW BEST:: SOT 344939 SOS 99504 HAS SOPS 99131 HAS SOUS 37370 HAS SOUPS 37286 WITH SCORE 37385.504
AT ITER 9694 NEW BEST:: SOT 344952 SOS 99517 HAS SOPS 99144 HAS SOUS 37344 HAS SOUPS 37260 WITH SCORE 37359.517
AT ITER 9701 NEW BEST:: SOT 344926 SOS 99446 HAS SOPS 99073 HAS SOUS 37275 HAS SOUPS 37191 WITH SCORE 37290.446
AT ITER 9720 NEW BEST:: SOT 344882 SOS 99402 HAS SOPS 99029 HAS SOUS 37181 HAS SOUPS 37097 WITH SCORE 37196.402
AT ITER 9752 NEW BEST:: SOT 344878 SOS 99394 HAS SOPS 99021 HAS SOUS 37173 HAS SOUPS 37089 WITH SCORE 37188.394
AT ITER 9763 NEW BEST:: SOT 344874 SOS 99390 HAS SOPS 99017 HAS SOUS 37171 HAS SOUPS 37087 WITH SCORE 37186.39
AT ITER 9768 NEW BEST:: SOT 344848 SOS 99364 HAS SOPS 98991 HAS SOUS 37125 HAS SOUPS 37041 WITH SCORE 37140.364
AT ITER 9818 NEW BEST:: SOT 344850 SOS 99366 HAS SOPS 98993 HAS SOUS 37123 HAS SOUPS 37039 WITH SCORE 37138.366
AT ITER 9832 NEW BEST:: SOT 344850 SOS 99366 HAS SOPS 98993 HAS SOUS 37111 HAS SOUPS 37027 WITH SCORE 37126.366
AT ITER 9838 NEW BEST:: SOT 344820 SOS 99186 HAS SOPS 98963 HAS SOUS 37051 HAS SOUPS 36997 WITH SCORE 37096.186
AT ITER 9851 NEW BEST:: SOT 344829 SOS 99178 HAS SOPS 98955 HAS SOUS 37035 HAS SOUPS 36981 WITH SCORE 37080.178
AT ITER 9879 NEW BEST:: SOT 344831 SOS 99339 HAS SOPS 99116 HAS SOUS 37023 HAS SOUPS 36969 WITH SCORE 37068.339
AT ITER 9883 NEW BEST:: SOT 344811 SOS 99319 HAS SOPS 99096 HAS SOUS 36988 HAS SOUPS 36934 WITH SCORE 37033.319
AT ITER 9888 NEW BEST:: SOT 344809 SOS 99317 HAS SOPS 99094 HAS SOUS 36985 HAS SOUPS 36931 WITH SCORE 37030.317
AT ITER 9910 NEW BEST:: SOT 344767 SOS 99275 HAS SOPS 99052 HAS SOUS 36880 HAS SOUPS 36826 WITH SCORE 36925.275
AT ITER 9978 NEW BEST:: SOT 344709 SOS 99217 HAS SOPS 98994 HAS SOUS 36820 HAS SOUPS 36766 WITH SCORE 36865.217
AT ITER 9982 NEW BEST:: SOT 344696 SOS 99204 HAS SOPS 98981 HAS SOUS 36789 HAS SOUPS 36735 WITH SCORE 36834.204
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4559200 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152060 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="PolyORBNT-PT-S05J30"
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 PolyORBNT-PT-S05J30, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943300728"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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