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.r227-tall-167856410900736.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 Medical-PT-22, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410900736
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 5.5K Feb 25 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 25 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 14:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 14:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M 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 1678624547146

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=Medical-PT-22
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 22
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: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1171486 SOS 639970 HAS SOPS 636874 HAS SOUS 256115 HAS SOUPS 253298 WITH SCORE 253937.97
AT ITER 2 NEW BEST:: SOT 1171036 SOS 639492 HAS SOPS 636424 HAS SOUS 255187 HAS SOUPS 252388 WITH SCORE 253027.492
AT ITER 12 NEW BEST:: SOT 1171036 SOS 639492 HAS SOPS 636424 HAS SOUS 255176 HAS SOUPS 252377 WITH SCORE 253016.492
AT ITER 28 NEW BEST:: SOT 1169318 SOS 641357 HAS SOPS 634814 HAS SOUS 255963 HAS SOUPS 251970 WITH SCORE 252611.357
AT ITER 29 NEW BEST:: SOT 1146758 SOS 619163 HAS SOPS 613382 HAS SOUS 232457 HAS SOUPS 229226 WITH SCORE 229845.163
AT ITER 30 NEW BEST:: SOT 1145727 SOS 622784 HAS SOPS 615743 HAS SOUS 232027 HAS SOUPS 227805 WITH SCORE 228427.784
AT ITER 31 NEW BEST:: SOT 1144838 SOS 621841 HAS SOPS 614854 HAS SOUS 230032 HAS SOUPS 225846 WITH SCORE 226467.841
AT ITER 33 NEW BEST:: SOT 1144789 SOS 621748 HAS SOPS 614805 HAS SOUS 228117 HAS SOUPS 223962 WITH SCORE 224583.748
AT ITER 36 NEW BEST:: SOT 1144789 SOS 621449 HAS SOPS 614506 HAS SOUS 228104 HAS SOUPS 223949 WITH SCORE 224570.449
AT ITER 43 NEW BEST:: SOT 1143965 SOS 620607 HAS SOPS 613766 HAS SOUS 224935 HAS SOUPS 220819 WITH SCORE 221439.607
AT ITER 47 NEW BEST:: SOT 1143591 SOS 620233 HAS SOPS 613392 HAS SOUS 224906 HAS SOUPS 220790 WITH SCORE 221410.233
AT ITER 50 NEW BEST:: SOT 1143183 SOS 619825 HAS SOPS 612984 HAS SOUS 223918 HAS SOUPS 219802 WITH SCORE 220421.825
AT ITER 60 NEW BEST:: SOT 1143413 SOS 622889 HAS SOPS 616048 HAS SOUS 222426 HAS SOUPS 218310 WITH SCORE 218932.889
AT ITER 74 NEW BEST:: SOT 1142688 SOS 622111 HAS SOPS 615323 HAS SOUS 221471 HAS SOUPS 217384 WITH SCORE 218006.111
AT ITER 75 NEW BEST:: SOT 1142088 SOS 621478 HAS SOPS 614723 HAS SOUS 220094 HAS SOUPS 216032 WITH SCORE 216653.478
AT ITER 77 NEW BEST:: SOT 1142768 SOS 622158 HAS SOPS 615403 HAS SOUS 219903 HAS SOUPS 215841 WITH SCORE 216463.158
AT ITER 82 NEW BEST:: SOT 1142768 SOS 622096 HAS SOPS 615341 HAS SOUS 219903 HAS SOUPS 215841 WITH SCORE 216463.096
AT ITER 85 NEW BEST:: SOT 1142753 SOS 622075 HAS SOPS 615326 HAS SOUS 219843 HAS SOUPS 215784 WITH SCORE 216406.075
AT ITER 86 NEW BEST:: SOT 1141967 SOS 621305 HAS SOPS 614556 HAS SOUS 218397 HAS SOUPS 214338 WITH SCORE 214959.305
AT ITER 90 NEW BEST:: SOT 1141066 SOS 620404 HAS SOPS 613655 HAS SOUS 218104 HAS SOUPS 214045 WITH SCORE 214665.404
AT ITER 94 NEW BEST:: SOT 1141130 SOS 622004 HAS SOPS 615255 HAS SOUS 217920 HAS SOUPS 213861 WITH SCORE 214483.004
AT ITER 111 NEW BEST:: SOT 1139182 SOS 620616 HAS SOPS 614291 HAS SOUS 214675 HAS SOUPS 210900 WITH SCORE 211520.616
AT ITER 112 NEW BEST:: SOT 1139148 SOS 620634 HAS SOPS 614309 HAS SOUS 214624 HAS SOUPS 210849 WITH SCORE 211469.634
AT ITER 121 NEW BEST:: SOT 1138604 SOS 620090 HAS SOPS 613765 HAS SOUS 213394 HAS SOUPS 209619 WITH SCORE 210239.09
AT ITER 122 NEW BEST:: SOT 1139275 SOS 620761 HAS SOPS 614436 HAS SOUS 213353 HAS SOUPS 209578 WITH SCORE 210198.761
AT ITER 126 NEW BEST:: SOT 1138405 SOS 620024 HAS SOPS 613642 HAS SOUS 212466 HAS SOUPS 208691 WITH SCORE 209311.024
AT ITER 130 NEW BEST:: SOT 1138393 SOS 620012 HAS SOPS 613630 HAS SOUS 212454 HAS SOUPS 208679 WITH SCORE 209299.012
AT ITER 135 NEW BEST:: SOT 1138434 SOS 620060 HAS SOPS 613671 HAS SOUS 210315 HAS SOUPS 206547 WITH SCORE 207167.06
AT ITER 138 NEW BEST:: SOT 1139703 SOS 621320 HAS SOPS 614940 HAS SOUS 209249 HAS SOUPS 205490 WITH SCORE 206111.32
AT ITER 139 NEW BEST:: SOT 1139703 SOS 621320 HAS SOPS 614940 HAS SOUS 209104 HAS SOUPS 205345 WITH SCORE 205966.32
AT ITER 143 NEW BEST:: SOT 1139721 SOS 621338 HAS SOPS 614958 HAS SOUS 208995 HAS SOUPS 205236 WITH SCORE 205857.338
AT ITER 148 NEW BEST:: SOT 1139640 SOS 621248 HAS SOPS 614868 HAS SOUS 208751 HAS SOUPS 204992 WITH SCORE 205613.248
AT ITER 152 NEW BEST:: SOT 1139577 SOS 621185 HAS SOPS 614805 HAS SOUS 208645 HAS SOUPS 204886 WITH SCORE 205507.185
AT ITER 178 NEW BEST:: SOT 1138956 SOS 620564 HAS SOPS 614184 HAS SOUS 207431 HAS SOUPS 203672 WITH SCORE 204292.564
AT ITER 185 NEW BEST:: SOT 1138864 SOS 620472 HAS SOPS 614092 HAS SOUS 207244 HAS SOUPS 203485 WITH SCORE 204105.472
AT ITER 188 NEW BEST:: SOT 1138766 SOS 620374 HAS SOPS 613994 HAS SOUS 205738 HAS SOUPS 201979 WITH SCORE 202599.374
AT ITER 193 NEW BEST:: SOT 1138372 SOS 619980 HAS SOPS 613600 HAS SOUS 205178 HAS SOUPS 201419 WITH SCORE 202038.98
AT ITER 196 NEW BEST:: SOT 1138000 SOS 619608 HAS SOPS 613228 HAS SOUS 204283 HAS SOUPS 200524 WITH SCORE 201143.608
AT ITER 198 NEW BEST:: SOT 1137880 SOS 619472 HAS SOPS 613092 HAS SOUS 204177 HAS SOUPS 200418 WITH SCORE 201037.472
AT ITER 202 NEW BEST:: SOT 1137457 SOS 619049 HAS SOPS 612669 HAS SOUS 203697 HAS SOUPS 199938 WITH SCORE 200557.049
AT ITER 206 NEW BEST:: SOT 1137623 SOS 619215 HAS SOPS 612835 HAS SOUS 203567 HAS SOUPS 199808 WITH SCORE 200427.215
AT ITER 207 NEW BEST:: SOT 1137623 SOS 619527 HAS SOPS 613134 HAS SOUS 203554 HAS SOUPS 199795 WITH SCORE 200414.527
AT ITER 208 NEW BEST:: SOT 1137159 SOS 619037 HAS SOPS 612670 HAS SOUS 199954 HAS SOUPS 196208 WITH SCORE 196827.037
AT ITER 214 NEW BEST:: SOT 1137218 SOS 619096 HAS SOPS 612729 HAS SOUS 199784 HAS SOUPS 196038 WITH SCORE 196657.096
AT ITER 219 NEW BEST:: SOT 1137218 SOS 618935 HAS SOPS 612575 HAS SOUS 199777 HAS SOUPS 196038 WITH SCORE 196656.935
AT ITER 224 NEW BEST:: SOT 1137261 SOS 618978 HAS SOPS 612618 HAS SOUS 199153 HAS SOUPS 195414 WITH SCORE 196032.978
AT ITER 240 NEW BEST:: SOT 1137800 SOS 619517 HAS SOPS 613157 HAS SOUS 198806 HAS SOUPS 195067 WITH SCORE 195686.517
AT ITER 243 NEW BEST:: SOT 1137767 SOS 619484 HAS SOPS 613124 HAS SOUS 198737 HAS SOUPS 194998 WITH SCORE 195617.484
AT ITER 250 NEW BEST:: SOT 1137513 SOS 621774 HAS SOPS 615414 HAS SOUS 196362 HAS SOUPS 192623 WITH SCORE 193244.774
AT ITER 255 NEW BEST:: SOT 1137513 SOS 621862 HAS SOPS 615852 HAS SOUS 196215 HAS SOUPS 192546 WITH SCORE 193167.862
AT ITER 259 NEW BEST:: SOT 1137549 SOS 622726 HAS SOPS 616716 HAS SOUS 196041 HAS SOUPS 192372 WITH SCORE 192994.726
AT ITER 260 NEW BEST:: SOT 1137549 SOS 617749 HAS SOPS 611739 HAS SOUS 196041 HAS SOUPS 192372 WITH SCORE 192989.749
AT ITER 264 NEW BEST:: SOT 1137235 SOS 617398 HAS SOPS 611388 HAS SOUS 195500 HAS SOUPS 191831 WITH SCORE 192448.398
AT ITER 267 NEW BEST:: SOT 1136727 SOS 616519 HAS SOPS 610276 HAS SOUS 195012 HAS SOUPS 191185 WITH SCORE 191801.519
AT ITER 274 NEW BEST:: SOT 1137742 SOS 617534 HAS SOPS 611291 HAS SOUS 194985 HAS SOUPS 191158 WITH SCORE 191775.534
AT ITER 301 NEW BEST:: SOT 1137889 SOS 617659 HAS SOPS 611438 HAS SOUS 194937 HAS SOUPS 191121 WITH SCORE 191738.659
AT ITER 305 NEW BEST:: SOT 1137966 SOS 617886 HAS SOPS 611665 HAS SOUS 193893 HAS SOUPS 190077 WITH SCORE 190694.886
AT ITER 307 NEW BEST:: SOT 1137966 SOS 618294 HAS SOPS 612056 HAS SOUS 193893 HAS SOUPS 190060 WITH SCORE 190678.294
AT ITER 311 NEW BEST:: SOT 1137978 SOS 618306 HAS SOPS 612068 HAS SOUS 193864 HAS SOUPS 190031 WITH SCORE 190649.306
AT ITER 312 NEW BEST:: SOT 1137578 SOS 617999 HAS SOPS 611762 HAS SOUS 192313 HAS SOUPS 188481 WITH SCORE 189098.999
AT ITER 329 NEW BEST:: SOT 1137007 SOS 617428 HAS SOPS 611191 HAS SOUS 191018 HAS SOUPS 187186 WITH SCORE 187803.428
AT ITER 330 NEW BEST:: SOT 1137058 SOS 618091 HAS SOPS 611854 HAS SOUS 190732 HAS SOUPS 186900 WITH SCORE 187518.091
AT ITER 343 NEW BEST:: SOT 1137083 SOS 618116 HAS SOPS 611904 HAS SOUS 190603 HAS SOUPS 186796 WITH SCORE 187414.116
AT ITER 354 NEW BEST:: SOT 1135169 SOS 602182 HAS SOPS 590362 HAS SOUS 189624 HAS SOUPS 184997 WITH SCORE 185599.182
AT ITER 359 NEW BEST:: SOT 1135121 SOS 602044 HAS SOPS 590146 HAS SOUS 189554 HAS SOUPS 184931 WITH SCORE 185533.044
AT ITER 362 NEW BEST:: SOT 1135121 SOS 601154 HAS SOPS 589506 HAS SOUS 188514 HAS SOUPS 183941 WITH SCORE 184542.154
AT ITER 366 NEW BEST:: SOT 1135110 SOS 601193 HAS SOPS 589545 HAS SOUS 188506 HAS SOUPS 183933 WITH SCORE 184534.193
AT ITER 368 NEW BEST:: SOT 1134948 SOS 601031 HAS SOPS 589383 HAS SOUS 188112 HAS SOUPS 183539 WITH SCORE 184140.031
AT ITER 369 NEW BEST:: SOT 1134948 SOS 600501 HAS SOPS 588943 HAS SOUS 187749 HAS SOUPS 183266 WITH SCORE 183866.501
AT ITER 372 NEW BEST:: SOT 1134494 SOS 599994 HAS SOPS 588417 HAS SOUS 186383 HAS SOUPS 181900 WITH SCORE 182499.994
AT ITER 381 NEW BEST:: SOT 1133823 SOS 595488 HAS SOPS 583454 HAS SOUS 184292 HAS SOUPS 179867 WITH SCORE 180462.488
AT ITER 385 NEW BEST:: SOT 1133823 SOS 596710 HAS SOPS 584749 HAS SOUS 183964 HAS SOUPS 179612 WITH SCORE 180208.71
AT ITER 389 NEW BEST:: SOT 1133721 SOS 596608 HAS SOPS 584647 HAS SOUS 183754 HAS SOUPS 179402 WITH SCORE 179998.608
AT ITER 403 NEW BEST:: SOT 1133721 SOS 596523 HAS SOPS 584567 HAS SOUS 183750 HAS SOUPS 179399 WITH SCORE 179995.523
AT ITER 409 NEW BEST:: SOT 1133450 SOS 595860 HAS SOPS 584372 HAS SOUS 182973 HAS SOUPS 178641 WITH SCORE 179236.86
AT ITER 410 NEW BEST:: SOT 1133434 SOS 595861 HAS SOPS 584373 HAS SOUS 182952 HAS SOUPS 178620 WITH SCORE 179215.861
AT ITER 417 NEW BEST:: SOT 1133434 SOS 596751 HAS SOPS 585317 HAS SOUS 182662 HAS SOUPS 178384 WITH SCORE 178980.751
AT ITER 439 NEW BEST:: SOT 1133629 SOS 596798 HAS SOPS 585772 HAS SOUS 182474 HAS SOUPS 178212 WITH SCORE 178808.798
AT ITER 442 NEW BEST:: SOT 1133629 SOS 597036 HAS SOPS 586027 HAS SOUS 182406 HAS SOUPS 178161 WITH SCORE 178758.036
AT ITER 446 NEW BEST:: SOT 1133661 SOS 597836 HAS SOPS 586827 HAS SOUS 182230 HAS SOUPS 177985 WITH SCORE 178582.836
AT ITER 448 NEW BEST:: SOT 1133039 SOS 599422 HAS SOPS 588450 HAS SOUS 181891 HAS SOUPS 177646 WITH SCORE 178245.422
AT ITER 476 NEW BEST:: SOT 1133039 SOS 600018 HAS SOPS 589086 HAS SOUS 181692 HAS SOUPS 177487 WITH SCORE 178087.018
AT ITER 477 NEW BEST:: SOT 1133260 SOS 595808 HAS SOPS 585087 HAS SOUS 181638 HAS SOUPS 177479 WITH SCORE 178074.808
AT ITER 479 NEW BEST:: SOT 1132489 SOS 595037 HAS SOPS 584316 HAS SOUS 180880 HAS SOUPS 176721 WITH SCORE 177316.037
AT ITER 487 NEW BEST:: SOT 1134769 SOS 597184 HAS SOPS 586596 HAS SOUS 180017 HAS SOUPS 175936 WITH SCORE 176533.184
AT ITER 491 NEW BEST:: SOT 1134769 SOS 677956 HAS SOPS 667512 HAS SOUS 179891 HAS SOUPS 175845 WITH SCORE 176522.956
AT ITER 495 NEW BEST:: SOT 1134769 SOS 677956 HAS SOPS 667512 HAS SOUS 179819 HAS SOUPS 175773 WITH SCORE 176450.956
AT ITER 507 NEW BEST:: SOT 1134769 SOS 677956 HAS SOPS 667512 HAS SOUS 179771 HAS SOUPS 175725 WITH SCORE 176402.956
AT ITER 514 NEW BEST:: SOT 1134786 SOS 677111 HAS SOPS 664929 HAS SOUS 179075 HAS SOUPS 175075 WITH SCORE 175752.111
AT ITER 525 NEW BEST:: SOT 1134099 SOS 678632 HAS SOPS 666450 HAS SOUS 178481 HAS SOUPS 174481 WITH SCORE 175159.632
AT ITER 527 NEW BEST:: SOT 1134149 SOS 678679 HAS SOPS 666503 HAS SOUS 178457 HAS SOUPS 174463 WITH SCORE 175141.679
AT ITER 528 NEW BEST:: SOT 1135107 SOS 679328 HAS SOPS 667461 HAS SOUS 177766 HAS SOUPS 173795 WITH SCORE 174474.328
AT ITER 554 NEW BEST:: SOT 1133039 SOS 715113 HAS SOPS 709885 HAS SOUS 176086 HAS SOUPS 172729 WITH SCORE 173444.113
AT ITER 572 NEW BEST:: SOT 1132981 SOS 715055 HAS SOPS 709827 HAS SOUS 175713 HAS SOUPS 172356 WITH SCORE 173071.055
AT ITER 576 NEW BEST:: SOT 1134298 SOS 716323 HAS SOPS 711144 HAS SOUS 175281 HAS SOUPS 171952 WITH SCORE 172668.323
AT ITER 587 NEW BEST:: SOT 1134263 SOS 693754 HAS SOPS 688575 HAS SOUS 175181 HAS SOUPS 171852 WITH SCORE 172545.754
AT ITER 589 NEW BEST:: SOT 1136518 SOS 695976 HAS SOPS 690830 HAS SOUS 172944 HAS SOUPS 169648 WITH SCORE 170343.976
AT ITER 606 NEW BEST:: SOT 1136564 SOS 697006 HAS SOPS 691860 HAS SOUS 172608 HAS SOUPS 169312 WITH SCORE 170009.006
AT ITER 619 NEW BEST:: SOT 1136564 SOS 696635 HAS SOPS 691560 HAS SOUS 172259 HAS SOUPS 169034 WITH SCORE 169730.635
AT ITER 628 NEW BEST:: SOT 1136592 SOS 709513 HAS SOPS 704438 HAS SOUS 171985 HAS SOUPS 168760 WITH SCORE 169469.513
AT ITER 631 NEW BEST:: SOT 1136604 SOS 709547 HAS SOPS 704472 HAS SOUS 171723 HAS SOUPS 168498 WITH SCORE 169207.547
AT ITER 640 NEW BEST:: SOT 1136414 SOS 709357 HAS SOPS 704282 HAS SOUS 171278 HAS SOUPS 168053 WITH SCORE 168762.357
AT ITER 650 NEW BEST:: SOT 1136459 SOS 709546 HAS SOPS 704471 HAS SOUS 171010 HAS SOUPS 167785 WITH SCORE 168494.546
AT ITER 661 NEW BEST:: SOT 1136459 SOS 706947 HAS SOPS 702047 HAS SOUS 170700 HAS SOUPS 167510 WITH SCORE 168216.947
AT ITER 686 NEW BEST:: SOT 1137245 SOS 707680 HAS SOPS 702833 HAS SOUS 169165 HAS SOUPS 166014 WITH SCORE 166721.68
AT ITER 705 NEW BEST:: SOT 1137245 SOS 707239 HAS SOPS 702469 HAS SOUS 168818 HAS SOUPS 165744 WITH SCORE 166451.239
AT ITER 744 NEW BEST:: SOT 1136922 SOS 706916 HAS SOPS 702146 HAS SOUS 168106 HAS SOUPS 165032 WITH SCORE 165738.916
AT ITER 758 NEW BEST:: SOT 1134276 SOS 705254 HAS SOPS 700398 HAS SOUS 165873 HAS SOUPS 162713 WITH SCORE 163418.254
AT ITER 762 NEW BEST:: SOT 1136378 SOS 707356 HAS SOPS 702500 HAS SOUS 165812 HAS SOUPS 162652 WITH SCORE 163359.356
AT ITER 766 NEW BEST:: SOT 1136165 SOS 707713 HAS SOPS 703031 HAS SOUS 165218 HAS SOUPS 162167 WITH SCORE 162874.713
AT ITER 777 NEW BEST:: SOT 1136127 SOS 707675 HAS SOPS 702993 HAS SOUS 165174 HAS SOUPS 162123 WITH SCORE 162830.675
AT ITER 778 NEW BEST:: SOT 1136527 SOS 708075 HAS SOPS 703393 HAS SOUS 165103 HAS SOUPS 162052 WITH SCORE 162760.075
AT ITER 782 NEW BEST:: SOT 1136545 SOS 709533 HAS SOPS 704851 HAS SOUS 164831 HAS SOUPS 161780 WITH SCORE 162489.533
AT ITER 784 NEW BEST:: SOT 1136545 SOS 710205 HAS SOPS 705523 HAS SOUS 164762 HAS SOUPS 161711 WITH SCORE 162421.205
AT ITER 808 NEW BEST:: SOT 1135338 SOS 711182 HAS SOPS 706500 HAS SOUS 163570 HAS SOUPS 160519 WITH SCORE 161230.182
AT ITER 812 NEW BEST:: SOT 1135231 SOS 711131 HAS SOPS 706449 HAS SOUS 163111 HAS SOUPS 160060 WITH SCORE 160771.131
AT ITER 829 NEW BEST:: SOT 1135231 SOS 711115 HAS SOPS 706433 HAS SOUS 162436 HAS SOUPS 159385 WITH SCORE 160096.115
AT ITER 831 NEW BEST:: SOT 1135827 SOS 711711 HAS SOPS 707029 HAS SOUS 160767 HAS SOUPS 157716 WITH SCORE 158427.711
AT ITER 833 NEW BEST:: SOT 1135943 SOS 711867 HAS SOPS 707185 HAS SOUS 160642 HAS SOUPS 157591 WITH SCORE 158302.867
AT ITER 858 NEW BEST:: SOT 1136249 SOS 712653 HAS SOPS 707971 HAS SOUS 160034 HAS SOUPS 156983 WITH SCORE 157695.653
AT ITER 867 NEW BEST:: SOT 1136232 SOS 712636 HAS SOPS 707954 HAS SOUS 159998 HAS SOUPS 156947 WITH SCORE 157659.636
AT ITER 868 NEW BEST:: SOT 1135466 SOS 714138 HAS SOPS 709456 HAS SOUS 159523 HAS SOUPS 156472 WITH SCORE 157186.138
AT ITER 870 NEW BEST:: SOT 1135466 SOS 714112 HAS SOPS 709432 HAS SOUS 159515 HAS SOUPS 156466 WITH SCORE 157180.112
AT ITER 873 NEW BEST:: SOT 1135466 SOS 710883 HAS SOPS 706528 HAS SOUS 158460 HAS SOUPS 155476 WITH SCORE 156186.883
AT ITER 875 NEW BEST:: SOT 1135513 SOS 712442 HAS SOPS 708087 HAS SOUS 158215 HAS SOUPS 155231 WITH SCORE 155943.442
AT ITER 878 NEW BEST:: SOT 1135513 SOS 712357 HAS SOPS 708007 HAS SOUS 158200 HAS SOUPS 155221 WITH SCORE 155933.357
AT ITER 879 NEW BEST:: SOT 1135398 SOS 712454 HAS SOPS 708104 HAS SOUS 158067 HAS SOUPS 155088 WITH SCORE 155800.454
AT ITER 902 NEW BEST:: SOT 1134830 SOS 711886 HAS SOPS 707536 HAS SOUS 157859 HAS SOUPS 154880 WITH SCORE 155591.886
AT ITER 905 NEW BEST:: SOT 1134425 SOS 711557 HAS SOPS 707207 HAS SOUS 157044 HAS SOUPS 154065 WITH SCORE 154776.557
AT ITER 911 NEW BEST:: SOT 1135518 SOS 712733 HAS SOPS 708388 HAS SOUS 156967 HAS SOUPS 153993 WITH SCORE 154705.733
AT ITER 912 NEW BEST:: SOT 1135737 SOS 712952 HAS SOPS 708607 HAS SOUS 155047 HAS SOUPS 152073 WITH SCORE 152785.952
AT ITER 917 NEW BEST:: SOT 1135691 SOS 712906 HAS SOPS 708561 HAS SOUS 154975 HAS SOUPS 152001 WITH SCORE 152713.906
AT ITER 929 NEW BEST:: SOT 1136191 SOS 713406 HAS SOPS 709061 HAS SOUS 154254 HAS SOUPS 151280 WITH SCORE 151993.406
AT ITER 933 NEW BEST:: SOT 1136204 SOS 713923 HAS SOPS 709578 HAS SOUS 154141 HAS SOUPS 151167 WITH SCORE 151880.923
AT ITER 943 NEW BEST:: SOT 1135733 SOS 715447 HAS SOPS 711123 HAS SOUS 153810 HAS SOUPS 150857 WITH SCORE 151572.447
AT ITER 947 NEW BEST:: SOT 1135171 SOS 714004 HAS SOPS 709777 HAS SOUS 153665 HAS SOUPS 150809 WITH SCORE 151523.004
AT ITER 951 NEW BEST:: SOT 1135132 SOS 713965 HAS SOPS 709738 HAS SOUS 153588 HAS SOUPS 150732 WITH SCORE 151445.965
AT ITER 966 NEW BEST:: SOT 1135132 SOS 714082 HAS SOPS 709850 HAS SOUS 153586 HAS SOUPS 150729 WITH SCORE 151443.082
AT ITER 971 NEW BEST:: SOT 1135176 SOS 714822 HAS SOPS 710590 HAS SOUS 152631 HAS SOUPS 149774 WITH SCORE 150488.822
AT ITER 994 NEW BEST:: SOT 1134920 SOS 711911 HAS SOPS 707679 HAS SOUS 152372 HAS SOUPS 149515 WITH SCORE 150226.911
AT ITER 997 NEW BEST:: SOT 1134920 SOS 711775 HAS SOPS 707551 HAS SOUS 152348 HAS SOUPS 149499 WITH SCORE 150210.775
AT ITER 999 NEW BEST:: SOT 1134829 SOS 711684 HAS SOPS 707460 HAS SOUS 152159 HAS SOUPS 149310 WITH SCORE 150021.684
AT ITER 1000 NEW BEST:: SOT 1134829 SOS 711624 HAS SOPS 707400 HAS SOUS 152084 HAS SOUPS 149235 WITH SCORE 149946.624
AT ITER 1016 NEW BEST:: SOT 1134826 SOS 711621 HAS SOPS 707397 HAS SOUS 152081 HAS SOUPS 149232 WITH SCORE 149943.621
AT ITER 1030 NEW BEST:: SOT 1134792 SOS 712067 HAS SOPS 707699 HAS SOUS 152068 HAS SOUPS 149075 WITH SCORE 149787.067
AT ITER 1044 NEW BEST:: SOT 1134380 SOS 705009 HAS SOPS 700606 HAS SOUS 151682 HAS SOUPS 148664 WITH SCORE 149369.009
AT ITER 1048 NEW BEST:: SOT 1134839 SOS 707436 HAS SOPS 703033 HAS SOUS 149350 HAS SOUPS 146332 WITH SCORE 147039.436
AT ITER 1078 NEW BEST:: SOT 1135994 SOS 708712 HAS SOPS 704312 HAS SOUS 148989 HAS SOUPS 145971 WITH SCORE 146679.712
AT ITER 1079 NEW BEST:: SOT 1135843 SOS 708585 HAS SOPS 704185 HAS SOUS 148609 HAS SOUPS 145591 WITH SCORE 146299.585
AT ITER 1088 NEW BEST:: SOT 1135845 SOS 708971 HAS SOPS 704571 HAS SOUS 148438 HAS SOUPS 145420 WITH SCORE 146128.971
AT ITER 1094 NEW BEST:: SOT 1136410 SOS 709536 HAS SOPS 705136 HAS SOUS 148040 HAS SOUPS 145022 WITH SCORE 145731.536
AT ITER 1104 NEW BEST:: SOT 1135867 SOS 710793 HAS SOPS 706393 HAS SOUS 147714 HAS SOUPS 144696 WITH SCORE 145406.793
AT ITER 1109 NEW BEST:: SOT 1136215 SOS 710803 HAS SOPS 706485 HAS SOUS 147081 HAS SOUPS 144145 WITH SCORE 144855.803
AT ITER 1118 NEW BEST:: SOT 1136268 SOS 711779 HAS SOPS 707418 HAS SOUS 147042 HAS SOUPS 144063 WITH SCORE 144774.779
AT ITER 1123 NEW BEST:: SOT 1136272 SOS 711783 HAS SOPS 707422 HAS SOUS 147026 HAS SOUPS 144047 WITH SCORE 144758.783
AT ITER 1124 NEW BEST:: SOT 1136272 SOS 711783 HAS SOPS 707422 HAS SOUS 147008 HAS SOUPS 144029 WITH SCORE 144740.783
AT ITER 1126 NEW BEST:: SOT 1136272 SOS 711649 HAS SOPS 707310 HAS SOUS 146799 HAS SOUPS 143842 WITH SCORE 144553.649
AT ITER 1132 NEW BEST:: SOT 1136309 SOS 711686 HAS SOPS 707347 HAS SOUS 146618 HAS SOUPS 143661 WITH SCORE 144372.686
AT ITER 1134 NEW BEST:: SOT 1136309 SOS 709830 HAS SOPS 705579 HAS SOUS 146554 HAS SOUPS 143597 WITH SCORE 144306.83
AT ITER 1139 NEW BEST:: SOT 1136873 SOS 762811 HAS SOPS 758598 HAS SOUS 146194 HAS SOUPS 143275 WITH SCORE 144037.811
AT ITER 1140 NEW BEST:: SOT 1136873 SOS 762811 HAS SOPS 758598 HAS SOUS 146146 HAS SOUPS 143227 WITH SCORE 143989.811
AT ITER 1142 NEW BEST:: SOT 1135799 SOS 761737 HAS SOPS 757524 HAS SOUS 144361 HAS SOUPS 141442 WITH SCORE 142203.737
AT ITER 1161 NEW BEST:: SOT 1135799 SOS 762160 HAS SOPS 757984 HAS SOUS 144266 HAS SOUPS 141384 WITH SCORE 142146.16
AT ITER 1163 NEW BEST:: SOT 1135745 SOS 759012 HAS SOPS 755106 HAS SOUS 143701 HAS SOUPS 140880 WITH SCORE 141639.012
AT ITER 1190 NEW BEST:: SOT 1135745 SOS 758516 HAS SOPS 754650 HAS SOUS 143574 HAS SOUPS 140793 WITH SCORE 141551.516
AT ITER 1194 NEW BEST:: SOT 1136082 SOS 759061 HAS SOPS 755195 HAS SOUS 142446 HAS SOUPS 139665 WITH SCORE 140424.061
AT ITER 1209 NEW BEST:: SOT 1137822 SOS 761263 HAS SOPS 757315 HAS SOUS 142185 HAS SOUPS 139322 WITH SCORE 140083.263
AT ITER 1217 NEW BEST:: SOT 1137814 SOS 761063 HAS SOPS 757115 HAS SOUS 142169 HAS SOUPS 139306 WITH SCORE 140067.063
AT ITER 1232 NEW BEST:: SOT 1137662 SOS 761403 HAS SOPS 757455 HAS SOUS 141972 HAS SOUPS 139109 WITH SCORE 139870.403
AT ITER 1233 NEW BEST:: SOT 1137594 SOS 761335 HAS SOPS 757387 HAS SOUS 141932 HAS SOUPS 139069 WITH SCORE 139830.335
AT ITER 1244 NEW BEST:: SOT 1137608 SOS 762543 HAS SOPS 758595 HAS SOUS 140714 HAS SOUPS 137851 WITH SCORE 138613.543
AT ITER 1262 NEW BEST:: SOT 1137563 SOS 762498 HAS SOPS 758550 HAS SOUS 140689 HAS SOUPS 137826 WITH SCORE 138588.498
AT ITER 1284 NEW BEST:: SOT 1137540 SOS 761587 HAS SOPS 757639 HAS SOUS 140675 HAS SOUPS 137812 WITH SCORE 138573.587
AT ITER 1286 NEW BEST:: SOT 1137540 SOS 761515 HAS SOPS 757567 HAS SOUS 140669 HAS SOUPS 137806 WITH SCORE 138567.515
AT ITER 1287 NEW BEST:: SOT 1139602 SOS 763577 HAS SOPS 759708 HAS SOUS 140401 HAS SOUPS 137617 WITH SCORE 138380.577
AT ITER 1293 NEW BEST:: SOT 1139622 SOS 764077 HAS SOPS 760208 HAS SOUS 140327 HAS SOUPS 137543 WITH SCORE 138307.077
AT ITER 1307 NEW BEST:: SOT 1139622 SOS 764077 HAS SOPS 760208 HAS SOUS 140207 HAS SOUPS 137423 WITH SCORE 138187.077
AT ITER 1310 NEW BEST:: SOT 1139158 SOS 763613 HAS SOPS 759384 HAS SOUS 140415 HAS SOUPS 137271 WITH SCORE 138034.613
AT ITER 1312 NEW BEST:: SOT 1136787 SOS 761242 HAS SOPS 757013 HAS SOUS 138301 HAS SOUPS 135157 WITH SCORE 135918.242
AT ITER 1318 NEW BEST:: SOT 1137120 SOS 761623 HAS SOPS 757394 HAS SOUS 138098 HAS SOUPS 134954 WITH SCORE 135715.623
AT ITER 1320 NEW BEST:: SOT 1136806 SOS 761309 HAS SOPS 757080 HAS SOUS 137784 HAS SOUPS 134640 WITH SCORE 135401.309
AT ITER 1324 NEW BEST:: SOT 1139159 SOS 763662 HAS SOPS 759433 HAS SOUS 137606 HAS SOUPS 134462 WITH SCORE 135225.662
AT ITER 1326 NEW BEST:: SOT 1139060 SOS 763602 HAS SOPS 759373 HAS SOUS 137553 HAS SOUPS 134409 WITH SCORE 135172.602
AT ITER 1345 NEW BEST:: SOT 1138935 SOS 763999 HAS SOPS 759770 HAS SOUS 136756 HAS SOUPS 133612 WITH SCORE 134375.999
AT ITER 1358 NEW BEST:: SOT 1142011 SOS 766932 HAS SOPS 762722 HAS SOUS 135724 HAS SOUPS 132593 WITH SCORE 133359.932
AT ITER 1360 NEW BEST:: SOT 1142228 SOS 767149 HAS SOPS 762939 HAS SOUS 135603 HAS SOUPS 132472 WITH SCORE 133239.149
AT ITER 1363 NEW BEST:: SOT 1142208 SOS 767129 HAS SOPS 762919 HAS SOUS 135578 HAS SOUPS 132447 WITH SCORE 133214.129
AT ITER 1369 NEW BEST:: SOT 1142186 SOS 767087 HAS SOPS 762878 HAS SOUS 135538 HAS SOUPS 132408 WITH SCORE 133175.087
AT ITER 1371 NEW BEST:: SOT 1142419 SOS 767320 HAS SOPS 763111 HAS SOUS 135495 HAS SOUPS 132365 WITH SCORE 133132.32
AT ITER 1373 NEW BEST:: SOT 1141377 SOS 766278 HAS SOPS 762069 HAS SOUS 135381 HAS SOUPS 132251 WITH SCORE 133017.278
AT ITER 1383 NEW BEST:: SOT 1141176 SOS 766077 HAS SOPS 761868 HAS SOUS 134873 HAS SOUPS 131743 WITH SCORE 132509.077
AT ITER 1405 NEW BEST:: SOT 1141173 SOS 766155 HAS SOPS 761946 HAS SOUS 134546 HAS SOUPS 131416 WITH SCORE 132182.155
AT ITER 1408 NEW BEST:: SOT 1140811 SOS 769178 HAS SOPS 765056 HAS SOUS 134345 HAS SOUPS 131302 WITH SCORE 132071.178
AT ITER 1431 NEW BEST:: SOT 1141117 SOS 764928 HAS SOPS 761122 HAS SOUS 133911 HAS SOUPS 130868 WITH SCORE 131632.928
AT ITER 1432 NEW BEST:: SOT 1141098 SOS 764909 HAS SOPS 761103 HAS SOUS 133763 HAS SOUPS 130720 WITH SCORE 131484.909
AT ITER 1433 NEW BEST:: SOT 1143347 SOS 767269 HAS SOPS 763392 HAS SOUS 133505 HAS SOUPS 130391 WITH SCORE 131158.269
AT ITER 1450 NEW BEST:: SOT 1143347 SOS 767615 HAS SOPS 763738 HAS SOUS 132693 HAS SOUPS 129579 WITH SCORE 130346.615
AT ITER 1457 NEW BEST:: SOT 1142482 SOS 766750 HAS SOPS 762873 HAS SOUS 131828 HAS SOUPS 128714 WITH SCORE 129480.75
AT ITER 1465 NEW BEST:: SOT 1142482 SOS 766750 HAS SOPS 762873 HAS SOUS 131561 HAS SOUPS 128447 WITH SCORE 129213.75
AT ITER 1479 NEW BEST:: SOT 1141880 SOS 765942 HAS SOPS 762084 HAS SOUS 128548 HAS SOUPS 125449 WITH SCORE 126214.942
AT ITER 1483 NEW BEST:: SOT 1140392 SOS 764454 HAS SOPS 760596 HAS SOUS 128257 HAS SOUPS 125158 WITH SCORE 125922.454
AT ITER 1485 NEW BEST:: SOT 1140392 SOS 764634 HAS SOPS 760776 HAS SOUS 128041 HAS SOUPS 124942 WITH SCORE 125706.634
AT ITER 1490 NEW BEST:: SOT 1139374 SOS 763616 HAS SOPS 759758 HAS SOUS 127341 HAS SOUPS 124242 WITH SCORE 125005.616
AT ITER 1506 NEW BEST:: SOT 1138824 SOS 765082 HAS SOPS 761224 HAS SOUS 127054 HAS SOUPS 123955 WITH SCORE 124720.082
AT ITER 1512 NEW BEST:: SOT 1138774 SOS 765032 HAS SOPS 761174 HAS SOUS 126648 HAS SOUPS 123549 WITH SCORE 124314.032
AT ITER 1514 NEW BEST:: SOT 1138817 SOS 766260 HAS SOPS 762402 HAS SOUS 126548 HAS SOUPS 123449 WITH SCORE 124215.26
AT ITER 1523 NEW BEST:: SOT 1138442 SOS 764762 HAS SOPS 760947 HAS SOUS 126499 HAS SOUPS 123443 WITH SCORE 124207.762
AT ITER 1528 NEW BEST:: SOT 1138442 SOS 764464 HAS SOPS 760671 HAS SOUS 126436 HAS SOUPS 123402 WITH SCORE 124166.464
AT ITER 1544 NEW BEST:: SOT 1138442 SOS 764164 HAS SOPS 760371 HAS SOUS 126405 HAS SOUPS 123371 WITH SCORE 124135.164
AT ITER 1546 NEW BEST:: SOT 1138923 SOS 764645 HAS SOPS 760852 HAS SOUS 126163 HAS SOUPS 123129 WITH SCORE 123893.645
AT ITER 1557 NEW BEST:: SOT 1138782 SOS 764504 HAS SOPS 760711 HAS SOUS 125824 HAS SOUPS 122790 WITH SCORE 123554.504
AT ITER 1560 NEW BEST:: SOT 1138719 SOS 764441 HAS SOPS 760648 HAS SOUS 125812 HAS SOUPS 122778 WITH SCORE 123542.441
AT ITER 1562 NEW BEST:: SOT 1138339 SOS 764061 HAS SOPS 760268 HAS SOUS 125805 HAS SOUPS 122771 WITH SCORE 123535.061
AT ITER 1564 NEW BEST:: SOT 1138339 SOS 764061 HAS SOPS 760268 HAS SOUS 125757 HAS SOUPS 122723 WITH SCORE 123487.061
AT ITER 1568 NEW BEST:: SOT 1138339 SOS 763701 HAS SOPS 759908 HAS SOUS 125748 HAS SOUPS 122714 WITH SCORE 123477.701
AT ITER 1579 NEW BEST:: SOT 1138312 SOS 763674 HAS SOPS 759881 HAS SOUS 125681 HAS SOUPS 122647 WITH SCORE 123410.674
AT ITER 1596 NEW BEST:: SOT 1138312 SOS 764706 HAS SOPS 760914 HAS SOUS 125608 HAS SOUPS 122575 WITH SCORE 123339.706
AT ITER 1607 NEW BEST:: SOT 1138310 SOS 764712 HAS SOPS 760920 HAS SOUS 125564 HAS SOUPS 122531 WITH SCORE 123295.712
AT ITER 1615 NEW BEST:: SOT 1137396 SOS 765262 HAS SOPS 761470 HAS SOUS 124447 HAS SOUPS 121414 WITH SCORE 122179.262
AT ITER 1620 NEW BEST:: SOT 1138237 SOS 766103 HAS SOPS 762311 HAS SOUS 123738 HAS SOUPS 120705 WITH SCORE 121471.103
AT ITER 1622 NEW BEST:: SOT 1140242 SOS 768108 HAS SOPS 764316 HAS SOUS 122622 HAS SOUPS 119589 WITH SCORE 120357.108
AT ITER 1630 NEW BEST:: SOT 1139100 SOS 766966 HAS SOPS 763174 HAS SOUS 122547 HAS SOUPS 119514 WITH SCORE 120280.966
AT ITER 1650 NEW BEST:: SOT 1138617 SOS 766005 HAS SOPS 762187 HAS SOUS 122547 HAS SOUPS 119488 WITH SCORE 120254.005
AT ITER 1668 NEW BEST:: SOT 1138560 SOS 765948 HAS SOPS 762130 HAS SOUS 122451 HAS SOUPS 119392 WITH SCORE 120157.948
AT ITER 1680 NEW BEST:: SOT 1138643 SOS 766031 HAS SOPS 762213 HAS SOUS 121931 HAS SOUPS 118872 WITH SCORE 119638.031
AT ITER 1690 NEW BEST:: SOT 1138643 SOS 780125 HAS SOPS 776307 HAS SOUS 121831 HAS SOUPS 118772 WITH SCORE 119552.125
AT ITER 1696 NEW BEST:: SOT 1138508 SOS 779990 HAS SOPS 776172 HAS SOUS 121553 HAS SOUPS 118494 WITH SCORE 119273.99
AT ITER 1711 NEW BEST:: SOT 1138508 SOS 780398 HAS SOPS 776628 HAS SOUS 121487 HAS SOUPS 118476 WITH SCORE 119256.398
AT ITER 1719 NEW BEST:: SOT 1138412 SOS 780302 HAS SOPS 776532 HAS SOUS 121382 HAS SOUPS 118371 WITH SCORE 119151.302
AT ITER 1742 NEW BEST:: SOT 1138448 SOS 780338 HAS SOPS 776568 HAS SOUS 121340 HAS SOUPS 118329 WITH SCORE 119109.338
AT ITER 1751 NEW BEST:: SOT 1138448 SOS 780338 HAS SOPS 776568 HAS SOUS 121224 HAS SOUPS 118213 WITH SCORE 118993.338
AT ITER 1753 NEW BEST:: SOT 1138354 SOS 780244 HAS SOPS 776474 HAS SOUS 121025 HAS SOUPS 118014 WITH SCORE 118794.244
AT ITER 1758 NEW BEST:: SOT 1138350 SOS 780240 HAS SOPS 776470 HAS SOUS 121021 HAS SOUPS 118010 WITH SCORE 118790.24
AT ITER 1770 NEW BEST:: SOT 1136810 SOS 778700 HAS SOPS 774930 HAS SOUS 120006 HAS SOUPS 116995 WITH SCORE 117773.7
AT ITER 1772 NEW BEST:: SOT 1136830 SOS 778720 HAS SOPS 774950 HAS SOUS 120002 HAS SOUPS 116991 WITH SCORE 117769.72
AT ITER 1774 NEW BEST:: SOT 1137744 SOS 779010 HAS SOPS 775296 HAS SOUS 119513 HAS SOUPS 116558 WITH SCORE 117337.01
AT ITER 1808 NEW BEST:: SOT 1136867 SOS 780277 HAS SOPS 776563 HAS SOUS 118766 HAS SOUPS 115811 WITH SCORE 116591.277
AT ITER 1809 NEW BEST:: SOT 1136431 SOS 779721 HAS SOPS 776007 HAS SOUS 118762 HAS SOUPS 115807 WITH SCORE 116586.721
AT ITER 1818 NEW BEST:: SOT 1136429 SOS 779719 HAS SOPS 776005 HAS SOUS 118751 HAS SOUPS 115796 WITH SCORE 116575.719
AT ITER 1819 NEW BEST:: SOT 1136429 SOS 779719 HAS SOPS 776005 HAS SOUS 118713 HAS SOUPS 115758 WITH SCORE 116537.719
AT ITER 1847 NEW BEST:: SOT 1136429 SOS 779719 HAS SOPS 776005 HAS SOUS 118545 HAS SOUPS 115590 WITH SCORE 116369.719
AT ITER 1851 NEW BEST:: SOT 1136396 SOS 779686 HAS SOPS 775972 HAS SOUS 118486 HAS SOUPS 115531 WITH SCORE 116310.686
AT ITER 1867 NEW BEST:: SOT 1138048 SOS 781320 HAS SOPS 777624 HAS SOUS 116957 HAS SOUPS 114020 WITH SCORE 114801.32
AT ITER 1870 NEW BEST:: SOT 1138048 SOS 780098 HAS SOPS 776364 HAS SOUS 116980 HAS SOUPS 114005 WITH SCORE 114785.098
AT ITER 1873 NEW BEST:: SOT 1138084 SOS 780134 HAS SOPS 776400 HAS SOUS 116514 HAS SOUPS 113539 WITH SCORE 114319.134
AT ITER 1877 NEW BEST:: SOT 1138084 SOS 780174 HAS SOPS 776436 HAS SOUS 116509 HAS SOUPS 113530 WITH SCORE 114310.174
AT ITER 1882 NEW BEST:: SOT 1138042 SOS 780132 HAS SOPS 776394 HAS SOUS 116444 HAS SOUPS 113465 WITH SCORE 114245.132
AT ITER 1888 NEW BEST:: SOT 1138042 SOS 780132 HAS SOPS 776394 HAS SOUS 116389 HAS SOUPS 113410 WITH SCORE 114190.132
AT ITER 1889 NEW BEST:: SOT 1139336 SOS 781418 HAS SOPS 777688 HAS SOUS 114842 HAS SOUPS 111871 WITH SCORE 112652.418
AT ITER 1893 NEW BEST:: SOT 1139336 SOS 779951 HAS SOPS 776221 HAS SOUS 114839 HAS SOUPS 111868 WITH SCORE 112647.951
AT ITER 1895 NEW BEST:: SOT 1138408 SOS 781735 HAS SOPS 778003 HAS SOUS 114034 HAS SOUPS 111061 WITH SCORE 111842.735
AT ITER 1905 NEW BEST:: SOT 1138481 SOS 782144 HAS SOPS 778412 HAS SOUS 113813 HAS SOUPS 110840 WITH SCORE 111622.144
AT ITER 1918 NEW BEST:: SOT 1138550 SOS 782237 HAS SOPS 778505 HAS SOUS 113767 HAS SOUPS 110794 WITH SCORE 111576.237
AT ITER 1921 NEW BEST:: SOT 1140121 SOS 782647 HAS SOPS 779175 HAS SOUS 113440 HAS SOUPS 110531 WITH SCORE 111313.647
AT ITER 1922 NEW BEST:: SOT 1140121 SOS 782503 HAS SOPS 779031 HAS SOUS 113434 HAS SOUPS 110525 WITH SCORE 111307.503
AT ITER 1938 NEW BEST:: SOT 1140067 SOS 782449 HAS SOPS 778977 HAS SOUS 113350 HAS SOUPS 110441 WITH SCORE 111223.449
AT ITER 1940 NEW BEST:: SOT 1139719 SOS 782101 HAS SOPS 778629 HAS SOUS 113033 HAS SOUPS 110124 WITH SCORE 110906.101
AT ITER 1947 NEW BEST:: SOT 1139713 SOS 782095 HAS SOPS 778623 HAS SOUS 112991 HAS SOUPS 110082 WITH SCORE 110864.095
AT ITER 1950 NEW BEST:: SOT 1138465 SOS 781855 HAS SOPS 778383 HAS SOUS 112441 HAS SOUPS 109532 WITH SCORE 110313.855
AT ITER 1977 NEW BEST:: SOT 1138465 SOS 781711 HAS SOPS 778239 HAS SOUS 112441 HAS SOUPS 109532 WITH SCORE 110313.711
AT ITER 1993 NEW BEST:: SOT 1138538 SOS 781784 HAS SOPS 778312 HAS SOUS 112417 HAS SOUPS 109508 WITH SCORE 110289.784
AT ITER 1996 NEW BEST:: SOT 1138675 SOS 781424 HAS SOPS 777328 HAS SOUS 112820 HAS SOUPS 109287 WITH SCORE 110068.424
AT ITER 2007 NEW BEST:: SOT 1138675 SOS 782000 HAS SOPS 777904 HAS SOUS 112797 HAS SOUPS 109264 WITH SCORE 110046.0
AT ITER 2011 NEW BEST:: SOT 1138605 SOS 781930 HAS SOPS 777834 HAS SOUS 112727 HAS SOUPS 109194 WITH SCORE 109975.93
AT ITER 2012 NEW BEST:: SOT 1138128 SOS 784241 HAS SOPS 780056 HAS SOUS 112527 HAS SOUPS 108905 WITH SCORE 109689.241
AT ITER 2035 NEW BEST:: SOT 1136490 SOS 783898 HAS SOPS 779607 HAS SOUS 112291 HAS SOUPS 108563 WITH SCORE 109346.898
AT ITER 2036 NEW BEST:: SOT 1136695 SOS 784103 HAS SOPS 779812 HAS SOUS 112170 HAS SOUPS 108442 WITH SCORE 109226.103
AT ITER 2064 NEW BEST:: SOT 1136442 SOS 783850 HAS SOPS 779559 HAS SOUS 111649 HAS SOUPS 107921 WITH SCORE 108704.85
AT ITER 2086 NEW BEST:: SOT 1136442 SOS 783826 HAS SOPS 779559 HAS SOUS 111581 HAS SOUPS 107877 WITH SCORE 108660.826
AT ITER 2094 NEW BEST:: SOT 1137422 SOS 784738 HAS SOPS 780471 HAS SOUS 111112 HAS SOUPS 107408 WITH SCORE 108192.738
AT ITER 2106 NEW BEST:: SOT 1137422 SOS 784474 HAS SOPS 780207 HAS SOUS 111112 HAS SOUPS 107408 WITH SCORE 108192.474
AT ITER 2108 NEW BEST:: SOT 1136814 SOS 783145 HAS SOPS 778959 HAS SOUS 110802 HAS SOUPS 107179 WITH SCORE 107962.145
AT ITER 2125 NEW BEST:: SOT 1136814 SOS 783105 HAS SOPS 778959 HAS SOUS 110189 HAS SOUPS 106606 WITH SCORE 107389.105
AT ITER 2126 NEW BEST:: SOT 1136361 SOS 785146 HAS SOPS 781086 HAS SOUS 108523 HAS SOUPS 105026 WITH SCORE 105811.146
AT ITER 2133 NEW BEST:: SOT 1136331 SOS 785092 HAS SOPS 781032 HAS SOUS 108488 HAS SOUPS 104991 WITH SCORE 105776.092
AT ITER 2137 NEW BEST:: SOT 1136328 SOS 785089 HAS SOPS 781029 HAS SOUS 108485 HAS SOUPS 104988 WITH SCORE 105773.089
AT ITER 2146 NEW BEST:: SOT 1133835 SOS 782596 HAS SOPS 778536 HAS SOUS 108456 HAS SOUPS 104959 WITH SCORE 105741.596
AT ITER 2152 NEW BEST:: SOT 1133977 SOS 782754 HAS SOPS 778694 HAS SOUS 108319 HAS SOUPS 104822 WITH SCORE 105604.754
AT ITER 2160 NEW BEST:: SOT 1133977 SOS 782754 HAS SOPS 778694 HAS SOUS 108315 HAS SOUPS 104818 WITH SCORE 105600.754
AT ITER 2162 NEW BEST:: SOT 1133977 SOS 765832 HAS SOPS 761772 HAS SOUS 108315 HAS SOUPS 104818 WITH SCORE 105583.832
AT ITER 2164 NEW BEST:: SOT 1134010 SOS 765876 HAS SOPS 761805 HAS SOUS 108292 HAS SOUPS 104784 WITH SCORE 105549.876
AT ITER 2168 NEW BEST:: SOT 1133960 SOS 765826 HAS SOPS 761755 HAS SOUS 108129 HAS SOUPS 104621 WITH SCORE 105386.826
AT ITER 2169 NEW BEST:: SOT 1133982 SOS 765848 HAS SOPS 761777 HAS SOUS 108028 HAS SOUPS 104520 WITH SCORE 105285.848
AT ITER 2173 NEW BEST:: SOT 1133982 SOS 766308 HAS SOPS 762257 HAS SOUS 107951 HAS SOUPS 104463 WITH SCORE 105229.308
AT ITER 2185 NEW BEST:: SOT 1133683 SOS 766009 HAS SOPS 761958 HAS SOUS 107695 HAS SOUPS 104207 WITH SCORE 104973.009
AT ITER 2198 NEW BEST:: SOT 1133683 SOS 764413 HAS SOPS 760362 HAS SOUS 107671 HAS SOUPS 104183 WITH SCORE 104947.413
AT ITER 2199 NEW BEST:: SOT 1133670 SOS 764400 HAS SOPS 760349 HAS SOUS 107643 HAS SOUPS 104155 WITH SCORE 104919.4
AT ITER 2202 NEW BEST:: SOT 1133128 SOS 764530 HAS SOPS 760479 HAS SOUS 107125 HAS SOUPS 103637 WITH SCORE 104401.53
AT ITER 2211 NEW BEST:: SOT 1133128 SOS 764530 HAS SOPS 760479 HAS SOUS 107122 HAS SOUPS 103634 WITH SCORE 104398.53
AT ITER 2228 NEW BEST:: SOT 1133209 SOS 782384 HAS SOPS 779154 HAS SOUS 106651 HAS SOUPS 103589 WITH SCORE 104371.384
AT ITER 2254 NEW BEST:: SOT 1133209 SOS 782242 HAS SOPS 779012 HAS SOUS 106580 HAS SOUPS 103518 WITH SCORE 104300.242
AT ITER 2264 NEW BEST:: SOT 1132512 SOS 782053 HAS SOPS 778823 HAS SOUS 106121 HAS SOUPS 103059 WITH SCORE 103841.053
AT ITER 2269 NEW BEST:: SOT 1132512 SOS 782053 HAS SOPS 778823 HAS SOUS 106117 HAS SOUPS 103055 WITH SCORE 103837.053
AT ITER 2300 NEW BEST:: SOT 1132524 SOS 782067 HAS SOPS 778837 HAS SOUS 105176 HAS SOUPS 102114 WITH SCORE 102896.067
AT ITER 2308 NEW BEST:: SOT 1132690 SOS 782233 HAS SOPS 779003 HAS SOUS 104517 HAS SOUPS 101455 WITH SCORE 102237.233
AT ITER 2310 NEW BEST:: SOT 1135015 SOS 787342 HAS SOPS 784112 HAS SOUS 104230 HAS SOUPS 101168 WITH SCORE 101955.342
AT ITER 2320 NEW BEST:: SOT 1135015 SOS 786334 HAS SOPS 783104 HAS SOUS 104226 HAS SOUPS 101164 WITH SCORE 101950.334
AT ITER 2323 NEW BEST:: SOT 1135122 SOS 786441 HAS SOPS 783211 HAS SOUS 103328 HAS SOUPS 100266 WITH SCORE 101052.441
AT ITER 2347 NEW BEST:: SOT 1135122 SOS 782971 HAS SOPS 779951 HAS SOUS 103145 HAS SOUPS 100125 WITH SCORE 100907.971
AT ITER 2360 NEW BEST:: SOT 1134925 SOS 783254 HAS SOPS 780234 HAS SOUS 102640 HAS SOUPS 99620 WITH SCORE 100403.254
AT ITER 2368 NEW BEST:: SOT 1134925 SOS 783350 HAS SOPS 780330 HAS SOUS 102616 HAS SOUPS 99596 WITH SCORE 100379.35
AT ITER 2369 NEW BEST:: SOT 1134780 SOS 783181 HAS SOPS 780161 HAS SOUS 102459 HAS SOUPS 99439 WITH SCORE 100222.181
AT ITER 2371 NEW BEST:: SOT 1137065 SOS 789630 HAS SOPS 787045 HAS SOUS 101893 HAS SOUPS 99308 WITH SCORE 100097.63
AT ITER 2394 NEW BEST:: SOT 1137065 SOS 789678 HAS SOPS 787093 HAS SOUS 101875 HAS SOUPS 99290 WITH SCORE 100079.678
AT ITER 2407 NEW BEST:: SOT 1136345 SOS 788958 HAS SOPS 786373 HAS SOUS 101211 HAS SOUPS 98626 WITH SCORE 99414.958
AT ITER 2438 NEW BEST:: SOT 1136345 SOS 788682 HAS SOPS 786097 HAS SOUS 101211 HAS SOUPS 98626 WITH SCORE 99414.682
AT ITER 2439 NEW BEST:: SOT 1136346 SOS 788646 HAS SOPS 786098 HAS SOUS 101171 HAS SOUPS 98623 WITH SCORE 99411.646
AT ITER 2460 NEW BEST:: SOT 1136346 SOS 777235 HAS SOPS 774563 HAS SOUS 101188 HAS SOUPS 98568 WITH SCORE 99345.235
AT ITER 2477 NEW BEST:: SOT 1136346 SOS 776710 HAS SOPS 774059 HAS SOUS 101167 HAS SOUPS 98568 WITH SCORE 99344.71
AT ITER 2483 NEW BEST:: SOT 1136040 SOS 776326 HAS SOPS 773649 HAS SOUS 100843 HAS SOUPS 98218 WITH SCORE 98994.326
AT ITER 2513 NEW BEST:: SOT 1136040 SOS 776326 HAS SOPS 773649 HAS SOUS 100657 HAS SOUPS 98032 WITH SCORE 98808.326
AT ITER 2525 NEW BEST:: SOT 1135503 SOS 775829 HAS SOPS 773164 HAS SOUS 99452 HAS SOUPS 96839 WITH SCORE 97614.829
AT ITER 2528 NEW BEST:: SOT 1135503 SOS 775829 HAS SOPS 773164 HAS SOUS 99164 HAS SOUPS 96551 WITH SCORE 97326.829
AT ITER 2532 NEW BEST:: SOT 1135380 SOS 775706 HAS SOPS 773041 HAS SOUS 99161 HAS SOUPS 96548 WITH SCORE 97323.706
AT ITER 2537 NEW BEST:: SOT 1135380 SOS 775664 HAS SOPS 773041 HAS SOUS 99084 HAS SOUPS 96513 WITH SCORE 97288.664
AT ITER 2540 NEW BEST:: SOT 1135352 SOS 776811 HAS SOPS 774261 HAS SOUS 98982 HAS SOUPS 96484 WITH SCORE 97260.811
AT ITER 2542 NEW BEST:: SOT 1135352 SOS 776822 HAS SOPS 774261 HAS SOUS 98925 HAS SOUPS 96416 WITH SCORE 97192.822
AT ITER 2573 NEW BEST:: SOT 1135352 SOS 776780 HAS SOPS 774213 HAS SOUS 98931 HAS SOUPS 96416 WITH SCORE 97192.78
AT ITER 2576 NEW BEST:: SOT 1136149 SOS 777577 HAS SOPS 775010 HAS SOUS 98459 HAS SOUPS 95944 WITH SCORE 96721.577
AT ITER 2581 NEW BEST:: SOT 1135971 SOS 777399 HAS SOPS 774832 HAS SOUS 98268 HAS SOUPS 95753 WITH SCORE 96530.399
AT ITER 2582 NEW BEST:: SOT 1136002 SOS 777430 HAS SOPS 774863 HAS SOUS 98266 HAS SOUPS 95751 WITH SCORE 96528.43
AT ITER 2591 NEW BEST:: SOT 1135976 SOS 777404 HAS SOPS 774837 HAS SOUS 98168 HAS SOUPS 95653 WITH SCORE 96430.404
AT ITER 2595 NEW BEST:: SOT 1135976 SOS 777406 HAS SOPS 774837 HAS SOUS 98162 HAS SOUPS 95645 WITH SCORE 96422.406
AT ITER 2603 NEW BEST:: SOT 1135969 SOS 777406 HAS SOPS 774830 HAS SOUS 98011 HAS SOUPS 95487 WITH SCORE 96264.406
AT ITER 2623 NEW BEST:: SOT 1135959 SOS 777396 HAS SOPS 774820 HAS SOUS 98011 HAS SOUPS 95487 WITH SCORE 96264.396
AT ITER 2632 NEW BEST:: SOT 1135768 SOS 777205 HAS SOPS 774629 HAS SOUS 97816 HAS SOUPS 95292 WITH SCORE 96069.205
AT ITER 2638 NEW BEST:: SOT 1135206 SOS 778107 HAS SOPS 775531 HAS SOUS 97472 HAS SOUPS 94948 WITH SCORE 95726.107
AT ITER 2640 NEW BEST:: SOT 1135118 SOS 778019 HAS SOPS 775443 HAS SOUS 96918 HAS SOUPS 94394 WITH SCORE 95172.019
AT ITER 2651 NEW BEST:: SOT 1135275 SOS 778176 HAS SOPS 775600 HAS SOUS 96908 HAS SOUPS 94384 WITH SCORE 95162.176
AT ITER 2665 NEW BEST:: SOT 1135164 SOS 778092 HAS SOPS 775621 HAS SOUS 96645 HAS SOUPS 94226 WITH SCORE 95004.092
AT ITER 2669 NEW BEST:: SOT 1135116 SOS 778702 HAS SOPS 776231 HAS SOUS 96597 HAS SOUPS 94178 WITH SCORE 94956.702
AT ITER 2691 NEW BEST:: SOT 1135146 SOS 779077 HAS SOPS 776621 HAS SOUS 96176 HAS SOUPS 93772 WITH SCORE 94551.077
AT ITER 2694 NEW BEST:: SOT 1135146 SOS 779179 HAS SOPS 776653 HAS SOUS 96211 HAS SOUPS 93737 WITH SCORE 94516.179
AT ITER 2700 NEW BEST:: SOT 1135123 SOS 779156 HAS SOPS 776630 HAS SOUS 96142 HAS SOUPS 93668 WITH SCORE 94447.156
AT ITER 2718 NEW BEST:: SOT 1135141 SOS 779174 HAS SOPS 776648 HAS SOUS 95898 HAS SOUPS 93424 WITH SCORE 94203.174
AT ITER 2728 NEW BEST:: SOT 1135141 SOS 779063 HAS SOPS 776542 HAS SOUS 95896 HAS SOUPS 93423 WITH SCORE 94202.063
AT ITER 2740 NEW BEST:: SOT 1135645 SOS 779567 HAS SOPS 777046 HAS SOUS 95784 HAS SOUPS 93311 WITH SCORE 94090.567
AT ITER 2748 NEW BEST:: SOT 1135645 SOS 779567 HAS SOPS 777046 HAS SOUS 95765 HAS SOUPS 93292 WITH SCORE 94071.567
AT ITER 2752 NEW BEST:: SOT 1135670 SOS 779592 HAS SOPS 777071 HAS SOUS 95757 HAS SOUPS 93284 WITH SCORE 94063.592
AT ITER 2766 NEW BEST:: SOT 1135670 SOS 779424 HAS SOPS 776903 HAS SOUS 95754 HAS SOUPS 93281 WITH SCORE 94060.424
AT ITER 2769 NEW BEST:: SOT 1134053 SOS 777807 HAS SOPS 775286 HAS SOUS 95663 HAS SOUPS 93190 WITH SCORE 93967.807
AT ITER 2775 NEW BEST:: SOT 1133482 SOS 779156 HAS SOPS 776635 HAS SOUS 95360 HAS SOUPS 92887 WITH SCORE 93666.156
AT ITER 2776 NEW BEST:: SOT 1133542 SOS 779216 HAS SOPS 776695 HAS SOUS 95146 HAS SOUPS 92673 WITH SCORE 93452.216
AT ITER 2789 NEW BEST:: SOT 1133332 SOS 779006 HAS SOPS 776485 HAS SOUS 94691 HAS SOUPS 92218 WITH SCORE 92997.006
AT ITER 2790 NEW BEST:: SOT 1133254 SOS 778928 HAS SOPS 776407 HAS SOUS 94659 HAS SOUPS 92186 WITH SCORE 92964.928
AT ITER 2800 NEW BEST:: SOT 1133339 SOS 779013 HAS SOPS 776492 HAS SOUS 94555 HAS SOUPS 92082 WITH SCORE 92861.013
AT ITER 2801 NEW BEST:: SOT 1133339 SOS 778069 HAS SOPS 775608 HAS SOUS 94525 HAS SOUPS 92064 WITH SCORE 92842.069
AT ITER 2811 NEW BEST:: SOT 1133339 SOS 777049 HAS SOPS 774588 HAS SOUS 94525 HAS SOUPS 92064 WITH SCORE 92841.049
AT ITER 2817 NEW BEST:: SOT 1133339 SOS 775425 HAS SOPS 772964 HAS SOUS 94467 HAS SOUPS 92006 WITH SCORE 92781.425
AT ITER 2821 NEW BEST:: SOT 1133317 SOS 775403 HAS SOPS 772942 HAS SOUS 94388 HAS SOUPS 91927 WITH SCORE 92702.403
AT ITER 2826 NEW BEST:: SOT 1133317 SOS 775475 HAS SOPS 772994 HAS SOUS 94388 HAS SOUPS 91907 WITH SCORE 92682.475
AT ITER 2844 NEW BEST:: SOT 1133317 SOS 775283 HAS SOPS 772802 HAS SOUS 94380 HAS SOUPS 91899 WITH SCORE 92674.283
AT ITER 2858 NEW BEST:: SOT 1133317 SOS 775030 HAS SOPS 772538 HAS SOUS 94391 HAS SOUPS 91899 WITH SCORE 92674.03
AT ITER 2878 NEW BEST:: SOT 1133317 SOS 775030 HAS SOPS 772538 HAS SOUS 94319 HAS SOUPS 91827 WITH SCORE 92602.03
AT ITER 2883 NEW BEST:: SOT 1133673 SOS 775386 HAS SOPS 772894 HAS SOUS 93925 HAS SOUPS 91433 WITH SCORE 92208.386
AT ITER 2895 NEW BEST:: SOT 1133172 SOS 775337 HAS SOPS 772845 HAS SOUS 93796 HAS SOUPS 91304 WITH SCORE 92079.337
AT ITER 2897 NEW BEST:: SOT 1133160 SOS 775325 HAS SOPS 772833 HAS SOUS 93782 HAS SOUPS 91290 WITH SCORE 92065.325
AT ITER 2904 NEW BEST:: SOT 1133160 SOS 774899 HAS SOPS 772407 HAS SOUS 93782 HAS SOUPS 91290 WITH SCORE 92064.899
AT ITER 2921 NEW BEST:: SOT 1133106 SOS 774845 HAS SOPS 772353 HAS SOUS 93671 HAS SOUPS 91179 WITH SCORE 91953.845
AT ITER 2928 NEW BEST:: SOT 1133525 SOS 775264 HAS SOPS 772772 HAS SOUS 93657 HAS SOUPS 91165 WITH SCORE 91940.264
AT ITER 2941 NEW BEST:: SOT 1133514 SOS 775253 HAS SOPS 772761 HAS SOUS 93642 HAS SOUPS 91150 WITH SCORE 91925.253
AT ITER 2950 NEW BEST:: SOT 1133514 SOS 770634 HAS SOPS 768142 HAS SOUS 93642 HAS SOUPS 91150 WITH SCORE 91920.634
AT ITER 2951 NEW BEST:: SOT 1133514 SOS 770632 HAS SOPS 768142 HAS SOUS 93640 HAS SOUPS 91150 WITH SCORE 91920.632
AT ITER 2953 NEW BEST:: SOT 1133654 SOS 770862 HAS SOPS 768372 HAS SOUS 93588 HAS SOUPS 91098 WITH SCORE 91868.862
AT ITER 2970 NEW BEST:: SOT 1132663 SOS 769871 HAS SOPS 767381 HAS SOUS 93197 HAS SOUPS 90707 WITH SCORE 91476.871
AT ITER 2985 NEW BEST:: SOT 1131123 SOS 771739 HAS SOPS 769249 HAS SOUS 92014 HAS SOUPS 89524 WITH SCORE 90295.739
AT ITER 2992 NEW BEST:: SOT 1130379 SOS 770995 HAS SOPS 768505 HAS SOUS 91903 HAS SOUPS 89413 WITH SCORE 90183.995
AT ITER 2995 NEW BEST:: SOT 1129163 SOS 769801 HAS SOPS 767289 HAS SOUS 91858 HAS SOUPS 89346 WITH SCORE 90115.801
AT ITER 3015 NEW BEST:: SOT 1129957 SOS 770595 HAS SOPS 768083 HAS SOUS 91540 HAS SOUPS 89028 WITH SCORE 89798.595
AT ITER 3021 NEW BEST:: SOT 1129950 SOS 769569 HAS SOPS 767020 HAS SOUS 91560 HAS SOUPS 89011 WITH SCORE 89780.569
AT ITER 3024 NEW BEST:: SOT 1130051 SOS 769670 HAS SOPS 767121 HAS SOUS 91396 HAS SOUPS 88847 WITH SCORE 89616.67
AT ITER 3030 NEW BEST:: SOT 1130047 SOS 769662 HAS SOPS 767113 HAS SOUS 91387 HAS SOUPS 88838 WITH SCORE 89607.662
AT ITER 3052 NEW BEST:: SOT 1130047 SOS 769846 HAS SOPS 767297 HAS SOUS 91363 HAS SOUPS 88814 WITH SCORE 89583.846
AT ITER 3060 NEW BEST:: SOT 1130047 SOS 769838 HAS SOPS 767289 HAS SOUS 91355 HAS SOUPS 88806 WITH SCORE 89575.838
AT ITER 3062 NEW BEST:: SOT 1129878 SOS 769761 HAS SOPS 767212 HAS SOUS 91038 HAS SOUPS 88489 WITH SCORE 89258.761
AT ITER 3094 NEW BEST:: SOT 1129878 SOS 769761 HAS SOPS 767212 HAS SOUS 91014 HAS SOUPS 88465 WITH SCORE 89234.761
AT ITER 3099 NEW BEST:: SOT 1129878 SOS 769740 HAS SOPS 767212 HAS SOUS 90962 HAS SOUPS 88434 WITH SCORE 89203.74
AT ITER 3101 NEW BEST:: SOT 1129660 SOS 771370 HAS SOPS 768842 HAS SOUS 89940 HAS SOUPS 87412 WITH SCORE 88183.37
AT ITER 3102 NEW BEST:: SOT 1129660 SOS 771370 HAS SOPS 768842 HAS SOUS 89910 HAS SOUPS 87382 WITH SCORE 88153.37
AT ITER 3113 NEW BEST:: SOT 1129660 SOS 770496 HAS SOPS 767930 HAS SOUS 89937 HAS SOUPS 87371 WITH SCORE 88141.496
AT ITER 3116 NEW BEST:: SOT 1129665 SOS 904942 HAS SOPS 901970 HAS SOUS 90026 HAS SOUPS 87054 WITH SCORE 87958.942
AT ITER 3123 NEW BEST:: SOT 1129386 SOS 906415 HAS SOPS 903443 HAS SOUS 89980 HAS SOUPS 87008 WITH SCORE 87914.415
AT ITER 3135 NEW BEST:: SOT 1129386 SOS 906415 HAS SOPS 903443 HAS SOUS 89976 HAS SOUPS 87004 WITH SCORE 87910.415
AT ITER 3146 NEW BEST:: SOT 1129386 SOS 906583 HAS SOPS 903611 HAS SOUS 89966 HAS SOUPS 86994 WITH SCORE 87900.583
AT ITER 3161 NEW BEST:: SOT 1129386 SOS 906598 HAS SOPS 903611 HAS SOUS 89966 HAS SOUPS 86979 WITH SCORE 87885.598
AT ITER 3169 NEW BEST:: SOT 1131292 SOS 909093 HAS SOPS 905944 HAS SOUS 89481 HAS SOUPS 86551 WITH SCORE 87460.093
AT ITER 3170 NEW BEST:: SOT 1131315 SOS 753222 HAS SOPS 749908 HAS SOUS 89621 HAS SOUPS 86526 WITH SCORE 87279.222
AT ITER 3192 NEW BEST:: SOT 1131315 SOS 753213 HAS SOPS 749899 HAS SOUS 89612 HAS SOUPS 86517 WITH SCORE 87270.213
AT ITER 3193 NEW BEST:: SOT 1131315 SOS 752193 HAS SOPS 748843 HAS SOUS 89644 HAS SOUPS 86513 WITH SCORE 87265.193
AT ITER 3212 NEW BEST:: SOT 1131315 SOS 751467 HAS SOPS 748117 HAS SOUS 89644 HAS SOUPS 86513 WITH SCORE 87264.467
AT ITER 3217 NEW BEST:: SOT 1131315 SOS 752115 HAS SOPS 748765 HAS SOUS 89617 HAS SOUPS 86487 WITH SCORE 87239.115
AT ITER 3227 NEW BEST:: SOT 1131315 SOS 752235 HAS SOPS 748833 HAS SOUS 89619 HAS SOUPS 86437 WITH SCORE 87189.235
AT ITER 3228 NEW BEST:: SOT 1129546 SOS 680928 HAS SOPS 677526 HAS SOUS 87589 HAS SOUPS 84407 WITH SCORE 85087.928
AT ITER 3243 NEW BEST:: SOT 1131547 SOS 682929 HAS SOPS 679527 HAS SOUS 87104 HAS SOUPS 83922 WITH SCORE 84604.929
AT ITER 3246 NEW BEST:: SOT 1131547 SOS 682893 HAS SOPS 679491 HAS SOUS 87104 HAS SOUPS 83922 WITH SCORE 84604.893
AT ITER 3252 NEW BEST:: SOT 1131547 SOS 683017 HAS SOPS 679616 HAS SOUS 86992 HAS SOUPS 83811 WITH SCORE 84494.017
AT ITER 3254 NEW BEST:: SOT 1131530 SOS 682862 HAS SOPS 679461 HAS SOUS 86986 HAS SOUPS 83805 WITH SCORE 84487.862
AT ITER 3276 NEW BEST:: SOT 1131477 SOS 682809 HAS SOPS 679408 HAS SOUS 86933 HAS SOUPS 83752 WITH SCORE 84434.809
AT ITER 3288 NEW BEST:: SOT 1132084 SOS 683416 HAS SOPS 680015 HAS SOUS 86925 HAS SOUPS 83744 WITH SCORE 84427.416
AT ITER 3295 NEW BEST:: SOT 1132084 SOS 682936 HAS SOPS 679535 HAS SOUS 86925 HAS SOUPS 83744 WITH SCORE 84426.936
AT ITER 3305 NEW BEST:: SOT 1132031 SOS 682883 HAS SOPS 679482 HAS SOUS 86815 HAS SOUPS 83634 WITH SCORE 84316.883
AT ITER 3309 NEW BEST:: SOT 1131806 SOS 682658 HAS SOPS 679257 HAS SOUS 86706 HAS SOUPS 83525 WITH SCORE 84207.658
AT ITER 3321 NEW BEST:: SOT 1131806 SOS 682650 HAS SOPS 679257 HAS SOUS 86598 HAS SOUPS 83425 WITH SCORE 84107.65
AT ITER 3331 NEW BEST:: SOT 1131806 SOS 682097 HAS SOPS 678679 HAS SOUS 86622 HAS SOUPS 83424 WITH SCORE 84106.097
AT ITER 3339 NEW BEST:: SOT 1131806 SOS 681857 HAS SOPS 678439 HAS SOUS 86622 HAS SOUPS 83424 WITH SCORE 84105.857
AT ITER 3343 NEW BEST:: SOT 1132119 SOS 682160 HAS SOPS 678752 HAS SOUS 86290 HAS SOUPS 83102 WITH SCORE 83784.16
AT ITER 3357 NEW BEST:: SOT 1132115 SOS 682156 HAS SOPS 678748 HAS SOUS 86282 HAS SOUPS 83094 WITH SCORE 83776.156
AT ITER 3376 NEW BEST:: SOT 1132054 SOS 718161 HAS SOPS 715035 HAS SOUS 86120 HAS SOUPS 82994 WITH SCORE 83712.161
AT ITER 3404 NEW BEST:: SOT 1132072 SOS 718179 HAS SOPS 715053 HAS SOUS 86037 HAS SOUPS 82911 WITH SCORE 83629.179
AT ITER 3411 NEW BEST:: SOT 1132072 SOS 718002 HAS SOPS 714837 HAS SOUS 86076 HAS SOUPS 82911 WITH SCORE 83629.002
AT ITER 3419 NEW BEST:: SOT 1132059 SOS 712559 HAS SOPS 709394 HAS SOUS 86068 HAS SOUPS 82903 WITH SCORE 83615.559
AT ITER 3439 NEW BEST:: SOT 1132021 SOS 713481 HAS SOPS 710316 HAS SOUS 85861 HAS SOUPS 82696 WITH SCORE 83409.481
AT ITER 3469 NEW BEST:: SOT 1131777 SOS 713237 HAS SOPS 710072 HAS SOUS 85380 HAS SOUPS 82215 WITH SCORE 82928.237
AT ITER 3533 NEW BEST:: SOT 1131839 SOS 713299 HAS SOPS 710134 HAS SOUS 85283 HAS SOUPS 82118 WITH SCORE 82831.299
AT ITER 3536 NEW BEST:: SOT 1131845 SOS 713353 HAS SOPS 710188 HAS SOUS 85189 HAS SOUPS 82024 WITH SCORE 82737.353
AT ITER 3551 NEW BEST:: SOT 1131845 SOS 713171 HAS SOPS 709972 HAS SOUS 85223 HAS SOUPS 82024 WITH SCORE 82737.171
AT ITER 3553 NEW BEST:: SOT 1131845 SOS 713171 HAS SOPS 709972 HAS SOUS 84925 HAS SOUPS 81726 WITH SCORE 82439.171
AT ITER 3563 NEW BEST:: SOT 1131845 SOS 712596 HAS SOPS 709372 HAS SOUS 84936 HAS SOUPS 81712 WITH SCORE 82424.596
AT ITER 3576 NEW BEST:: SOT 1131845 SOS 712481 HAS SOPS 709252 HAS SOUS 84936 HAS SOUPS 81707 WITH SCORE 82419.481
AT ITER 3586 NEW BEST:: SOT 1132614 SOS 713250 HAS SOPS 710021 HAS SOUS 84568 HAS SOUPS 81339 WITH SCORE 82052.25
AT ITER 3591 NEW BEST:: SOT 1131874 SOS 716849 HAS SOPS 713649 HAS SOUS 83315 HAS SOUPS 80115 WITH SCORE 80831.849
AT ITER 3621 NEW BEST:: SOT 1131226 SOS 716888 HAS SOPS 713685 HAS SOUS 83012 HAS SOUPS 79809 WITH SCORE 80525.888
AT ITER 3625 NEW BEST:: SOT 1131226 SOS 716819 HAS SOPS 713613 HAS SOUS 83014 HAS SOUPS 79808 WITH SCORE 80524.819
AT ITER 3655 NEW BEST:: SOT 1131226 SOS 692989 HAS SOPS 689783 HAS SOUS 82958 HAS SOUPS 79752 WITH SCORE 80444.989
AT ITER 3669 NEW BEST:: SOT 1131226 SOS 692869 HAS SOPS 689663 HAS SOUS 82953 HAS SOUPS 79747 WITH SCORE 80439.869
AT ITER 3690 NEW BEST:: SOT 1130653 SOS 692282 HAS SOPS 689062 HAS SOUS 82926 HAS SOUPS 79706 WITH SCORE 80398.282
AT ITER 3694 NEW BEST:: SOT 1130653 SOS 691476 HAS SOPS 688318 HAS SOUS 82864 HAS SOUPS 79706 WITH SCORE 80397.476
AT ITER 3705 NEW BEST:: SOT 1130907 SOS 691730 HAS SOPS 688572 HAS SOUS 82563 HAS SOUPS 79405 WITH SCORE 80096.73
AT ITER 3728 NEW BEST:: SOT 1130891 SOS 691714 HAS SOPS 688556 HAS SOUS 82547 HAS SOUPS 79389 WITH SCORE 80080.714
AT ITER 3731 NEW BEST:: SOT 1130666 SOS 691106 HAS SOPS 687949 HAS SOUS 82322 HAS SOUPS 79165 WITH SCORE 79856.106
AT ITER 3734 NEW BEST:: SOT 1130668 SOS 691108 HAS SOPS 687951 HAS SOUS 82318 HAS SOUPS 79161 WITH SCORE 79852.108
AT ITER 3740 NEW BEST:: SOT 1130672 SOS 691112 HAS SOPS 687955 HAS SOUS 82207 HAS SOUPS 79050 WITH SCORE 79741.112
AT ITER 3747 NEW BEST:: SOT 1130672 SOS 676113 HAS SOPS 672913 HAS SOUS 82207 HAS SOUPS 79007 WITH SCORE 79683.113
AT ITER 3755 NEW BEST:: SOT 1130672 SOS 676129 HAS SOPS 672929 HAS SOUS 82015 HAS SOUPS 78815 WITH SCORE 79491.129
AT ITER 3756 NEW BEST:: SOT 1130672 SOS 676136 HAS SOPS 672936 HAS SOUS 82002 HAS SOUPS 78802 WITH SCORE 79478.136
AT ITER 3765 NEW BEST:: SOT 1130672 SOS 669992 HAS SOPS 666777 HAS SOUS 82002 HAS SOUPS 78787 WITH SCORE 79456.992
AT ITER 3785 NEW BEST:: SOT 1130407 SOS 669691 HAS SOPS 666476 HAS SOUS 81737 HAS SOUPS 78522 WITH SCORE 79191.691
AT ITER 3791 NEW BEST:: SOT 1129615 SOS 668898 HAS SOPS 665683 HAS SOUS 81726 HAS SOUPS 78511 WITH SCORE 79179.898
AT ITER 3794 NEW BEST:: SOT 1129615 SOS 668826 HAS SOPS 665611 HAS SOUS 81726 HAS SOUPS 78511 WITH SCORE 79179.826
AT ITER 3807 NEW BEST:: SOT 1129688 SOS 669331 HAS SOPS 666116 HAS SOUS 81413 HAS SOUPS 78198 WITH SCORE 78867.331
AT ITER 3813 NEW BEST:: SOT 1129688 SOS 669330 HAS SOPS 666116 HAS SOUS 81412 HAS SOUPS 78198 WITH SCORE 78867.33
AT ITER 3822 NEW BEST:: SOT 1129688 SOS 669376 HAS SOPS 666162 HAS SOUS 81410 HAS SOUPS 78196 WITH SCORE 78865.376
AT ITER 3831 NEW BEST:: SOT 1129688 SOS 669336 HAS SOPS 666122 HAS SOUS 81410 HAS SOUPS 78196 WITH SCORE 78865.336
AT ITER 3834 NEW BEST:: SOT 1129688 SOS 669023 HAS SOPS 665858 HAS SOUS 81361 HAS SOUPS 78196 WITH SCORE 78865.023
AT ITER 3839 NEW BEST:: SOT 1129708 SOS 669043 HAS SOPS 665878 HAS SOUS 81357 HAS SOUPS 78192 WITH SCORE 78861.043
AT ITER 3850 NEW BEST:: SOT 1129703 SOS 650537 HAS SOPS 647329 HAS SOUS 81230 HAS SOUPS 78030 WITH SCORE 78680.537
AT ITER 3859 NEW BEST:: SOT 1129703 SOS 650519 HAS SOPS 647311 HAS SOUS 81221 HAS SOUPS 78021 WITH SCORE 78671.519
AT ITER 3860 NEW BEST:: SOT 1129703 SOS 650502 HAS SOPS 647311 HAS SOUS 80785 HAS SOUPS 77602 WITH SCORE 78252.502
AT ITER 3909 NEW BEST:: SOT 1129703 SOS 650479 HAS SOPS 647287 HAS SOUS 80785 HAS SOUPS 77601 WITH SCORE 78251.479
AT ITER 3914 NEW BEST:: SOT 1129703 SOS 650359 HAS SOPS 647167 HAS SOUS 80785 HAS SOUPS 77601 WITH SCORE 78251.359
AT ITER 3918 NEW BEST:: SOT 1129643 SOS 650299 HAS SOPS 647035 HAS SOUS 80785 HAS SOUPS 77529 WITH SCORE 78179.299
AT ITER 3920 NEW BEST:: SOT 1129643 SOS 648757 HAS SOPS 645493 HAS SOUS 80784 HAS SOUPS 77528 WITH SCORE 78176.757
AT ITER 3959 NEW BEST:: SOT 1129643 SOS 649669 HAS SOPS 646381 HAS SOUS 80794 HAS SOUPS 77514 WITH SCORE 78163.669
AT ITER 3984 NEW BEST:: SOT 1129643 SOS 650413 HAS SOPS 647077 HAS SOUS 80836 HAS SOUPS 77508 WITH SCORE 78158.413
AT ITER 3987 NEW BEST:: SOT 1129643 SOS 648505 HAS SOPS 645169 HAS SOUS 80836 HAS SOUPS 77508 WITH SCORE 78156.505
AT ITER 4003 NEW BEST:: SOT 1129643 SOS 648496 HAS SOPS 645169 HAS SOUS 80827 HAS SOUPS 77508 WITH SCORE 78156.496
AT ITER 4019 NEW BEST:: SOT 1129644 SOS 648497 HAS SOPS 645170 HAS SOUS 80804 HAS SOUPS 77485 WITH SCORE 78133.497
AT ITER 4039 NEW BEST:: SOT 1129644 SOS 648106 HAS SOPS 644762 HAS SOUS 80821 HAS SOUPS 77485 WITH SCORE 78133.106
AT ITER 4056 NEW BEST:: SOT 1129644 SOS 648298 HAS SOPS 644923 HAS SOUS 80821 HAS SOUPS 77454 WITH SCORE 78102.298
AT ITER 4097 NEW BEST:: SOT 1129644 SOS 647353 HAS SOPS 643939 HAS SOUS 80860 HAS SOUPS 77454 WITH SCORE 78101.353
AT ITER 4112 NEW BEST:: SOT 1129644 SOS 646879 HAS SOPS 643465 HAS SOUS 80860 HAS SOUPS 77454 WITH SCORE 78100.879
AT ITER 4120 NEW BEST:: SOT 1129644 SOS 646807 HAS SOPS 643393 HAS SOUS 80818 HAS SOUPS 77412 WITH SCORE 78058.807
AT ITER 4126 NEW BEST:: SOT 1130039 SOS 647202 HAS SOPS 643788 HAS SOUS 80737 HAS SOUPS 77331 WITH SCORE 77978.202
AT ITER 4134 NEW BEST:: SOT 1130039 SOS 649698 HAS SOPS 646284 HAS SOUS 80733 HAS SOUPS 77327 WITH SCORE 77976.698
AT ITER 4191 NEW BEST:: SOT 1130039 SOS 650094 HAS SOPS 646680 HAS SOUS 80730 HAS SOUPS 77324 WITH SCORE 77974.094
AT ITER 4196 NEW BEST:: SOT 1130059 SOS 650977 HAS SOPS 647756 HAS SOUS 80481 HAS SOUPS 77268 WITH SCORE 77918.977
AT ITER 4202 NEW BEST:: SOT 1130119 SOS 651037 HAS SOPS 647816 HAS SOUS 80475 HAS SOUPS 77262 WITH SCORE 77913.037
AT ITER 4218 NEW BEST:: SOT 1129371 SOS 650289 HAS SOPS 647068 HAS SOUS 79939 HAS SOUPS 76726 WITH SCORE 77376.289
AT ITER 4227 NEW BEST:: SOT 1129371 SOS 649593 HAS SOPS 646372 HAS SOUS 79939 HAS SOUPS 76726 WITH SCORE 77375.593
AT ITER 4231 NEW BEST:: SOT 1129371 SOS 649593 HAS SOPS 646384 HAS SOUS 79919 HAS SOUPS 76718 WITH SCORE 77367.593
AT ITER 4259 NEW BEST:: SOT 1129343 SOS 662425 HAS SOPS 659216 HAS SOUS 79881 HAS SOUPS 76680 WITH SCORE 77342.425
AT ITER 4275 NEW BEST:: SOT 1128059 SOS 661141 HAS SOPS 657911 HAS SOUS 79894 HAS SOUPS 76672 WITH SCORE 77333.141
AT ITER 4285 NEW BEST:: SOT 1128059 SOS 660985 HAS SOPS 657755 HAS SOUS 79894 HAS SOUPS 76672 WITH SCORE 77332.985
AT ITER 4302 NEW BEST:: SOT 1128059 SOS 660841 HAS SOPS 657611 HAS SOUS 79894 HAS SOUPS 76672 WITH SCORE 77332.841
AT ITER 4315 NEW BEST:: SOT 1127984 SOS 660766 HAS SOPS 657536 HAS SOUS 79755 HAS SOUPS 76533 WITH SCORE 77193.766
AT ITER 4342 NEW BEST:: SOT 1127936 SOS 660718 HAS SOPS 657488 HAS SOUS 79656 HAS SOUPS 76434 WITH SCORE 77094.718
AT ITER 4349 NEW BEST:: SOT 1127943 SOS 660530 HAS SOPS 657385 HAS SOUS 79522 HAS SOUPS 76377 WITH SCORE 77037.53
AT ITER 4354 NEW BEST:: SOT 1127847 SOS 657514 HAS SOPS 654369 HAS SOUS 79359 HAS SOUPS 76214 WITH SCORE 76871.514
AT ITER 4404 NEW BEST:: SOT 1127847 SOS 657340 HAS SOPS 654195 HAS SOUS 79322 HAS SOUPS 76177 WITH SCORE 76834.34
AT ITER 4407 NEW BEST:: SOT 1127847 SOS 657300 HAS SOPS 654147 HAS SOUS 79330 HAS SOUPS 76177 WITH SCORE 76834.3
AT ITER 4414 NEW BEST:: SOT 1127847 SOS 657288 HAS SOPS 654135 HAS SOUS 79330 HAS SOUPS 76177 WITH SCORE 76834.288
AT ITER 4415 NEW BEST:: SOT 1127847 SOS 659880 HAS SOPS 656727 HAS SOUS 79226 HAS SOUPS 76073 WITH SCORE 76732.88
AT ITER 4417 NEW BEST:: SOT 1127973 SOS 660013 HAS SOPS 656867 HAS SOUS 79216 HAS SOUPS 76070 WITH SCORE 76730.013
AT ITER 4418 NEW BEST:: SOT 1127957 SOS 659997 HAS SOPS 656851 HAS SOUS 79199 HAS SOUPS 76053 WITH SCORE 76712.997
AT ITER 4432 NEW BEST:: SOT 1128060 SOS 660100 HAS SOPS 656954 HAS SOUS 79140 HAS SOUPS 75994 WITH SCORE 76654.1
AT ITER 4453 NEW BEST:: SOT 1128058 SOS 657582 HAS SOPS 654436 HAS SOUS 79138 HAS SOUPS 75992 WITH SCORE 76649.582
AT ITER 4459 NEW BEST:: SOT 1128060 SOS 657586 HAS SOPS 654440 HAS SOUS 78941 HAS SOUPS 75795 WITH SCORE 76452.586
AT ITER 4487 NEW BEST:: SOT 1127983 SOS 657677 HAS SOPS 654531 HAS SOUS 78906 HAS SOUPS 75760 WITH SCORE 76417.677
AT ITER 4538 NEW BEST:: SOT 1127971 SOS 657665 HAS SOPS 654519 HAS SOUS 78887 HAS SOUPS 75741 WITH SCORE 76398.665
AT ITER 4557 NEW BEST:: SOT 1127899 SOS 657593 HAS SOPS 654447 HAS SOUS 78730 HAS SOUPS 75584 WITH SCORE 76241.593
AT ITER 4560 NEW BEST:: SOT 1127419 SOS 647609 HAS SOPS 644463 HAS SOUS 78730 HAS SOUPS 75584 WITH SCORE 76231.609
AT ITER 4566 NEW BEST:: SOT 1127419 SOS 647593 HAS SOPS 644463 HAS SOUS 78714 HAS SOUPS 75584 WITH SCORE 76231.593
AT ITER 4577 NEW BEST:: SOT 1127418 SOS 647592 HAS SOPS 644462 HAS SOUS 78713 HAS SOUPS 75583 WITH SCORE 76230.592
AT ITER 4619 NEW BEST:: SOT 1127440 SOS 647614 HAS SOPS 644484 HAS SOUS 78622 HAS SOUPS 75492 WITH SCORE 76139.614
AT ITER 4655 NEW BEST:: SOT 1127440 SOS 647590 HAS SOPS 644484 HAS SOUS 78598 HAS SOUPS 75492 WITH SCORE 76139.59
AT ITER 4678 NEW BEST:: SOT 1127440 SOS 647483 HAS SOPS 644388 HAS SOUS 78587 HAS SOUPS 75492 WITH SCORE 76139.483
AT ITER 4702 NEW BEST:: SOT 1127440 SOS 648059 HAS SOPS 644964 HAS SOUS 78579 HAS SOUPS 75484 WITH SCORE 76132.059
AT ITER 4715 NEW BEST:: SOT 1127701 SOS 648320 HAS SOPS 645225 HAS SOUS 78561 HAS SOUPS 75466 WITH SCORE 76114.32
AT ITER 4717 NEW BEST:: SOT 1127701 SOS 647536 HAS SOPS 644441 HAS SOUS 78560 HAS SOUPS 75465 WITH SCORE 76112.536
AT ITER 4720 NEW BEST:: SOT 1127701 SOS 646478 HAS SOPS 643337 HAS SOUS 78606 HAS SOUPS 75465 WITH SCORE 76111.478
AT ITER 4732 NEW BEST:: SOT 1127428 SOS 646239 HAS SOPS 643098 HAS SOUS 78052 HAS SOUPS 74911 WITH SCORE 75557.239
AT ITER 4739 NEW BEST:: SOT 1127428 SOS 646170 HAS SOPS 643006 HAS SOUS 78052 HAS SOUPS 74888 WITH SCORE 75534.17
AT ITER 4781 NEW BEST:: SOT 1127338 SOS 646080 HAS SOPS 642916 HAS SOUS 77912 HAS SOUPS 74748 WITH SCORE 75394.08
AT ITER 4787 NEW BEST:: SOT 1127338 SOS 645873 HAS SOPS 642700 HAS SOUS 77912 HAS SOUPS 74739 WITH SCORE 75384.873
AT ITER 4794 NEW BEST:: SOT 1127338 SOS 645714 HAS SOPS 642532 HAS SOUS 77903 HAS SOUPS 74721 WITH SCORE 75366.714
AT ITER 4801 NEW BEST:: SOT 1127338 SOS 645307 HAS SOPS 642100 HAS SOUS 77892 HAS SOUPS 74685 WITH SCORE 75330.307
AT ITER 4805 NEW BEST:: SOT 1127324 SOS 645302 HAS SOPS 642095 HAS SOUS 77864 HAS SOUPS 74657 WITH SCORE 75302.302
AT ITER 4811 NEW BEST:: SOT 1127324 SOS 645398 HAS SOPS 642187 HAS SOUS 77864 HAS SOUPS 74653 WITH SCORE 75298.398
AT ITER 4813 NEW BEST:: SOT 1127268 SOS 645342 HAS SOPS 642131 HAS SOUS 77779 HAS SOUPS 74568 WITH SCORE 75213.342
AT ITER 4814 NEW BEST:: SOT 1126980 SOS 646518 HAS SOPS 643307 HAS SOUS 77700 HAS SOUPS 74489 WITH SCORE 75135.518
AT ITER 4822 NEW BEST:: SOT 1126945 SOS 646479 HAS SOPS 643268 HAS SOUS 77676 HAS SOUPS 74465 WITH SCORE 75111.479
AT ITER 4842 NEW BEST:: SOT 1127403 SOS 646937 HAS SOPS 643726 HAS SOUS 77616 HAS SOUPS 74405 WITH SCORE 75051.937
AT ITER 4887 NEW BEST:: SOT 1127341 SOS 646875 HAS SOPS 643664 HAS SOUS 77405 HAS SOUPS 74194 WITH SCORE 74840.875
AT ITER 4895 NEW BEST:: SOT 1127360 SOS 646894 HAS SOPS 643683 HAS SOUS 77404 HAS SOUPS 74193 WITH SCORE 74839.894
AT ITER 4907 NEW BEST:: SOT 1127360 SOS 646918 HAS SOPS 643707 HAS SOUS 77373 HAS SOUPS 74162 WITH SCORE 74808.918
AT ITER 4908 NEW BEST:: SOT 1127360 SOS 646966 HAS SOPS 643751 HAS SOUS 77373 HAS SOUPS 74158 WITH SCORE 74804.966
AT ITER 4911 NEW BEST:: SOT 1127360 SOS 646966 HAS SOPS 643751 HAS SOUS 77369 HAS SOUPS 74154 WITH SCORE 74800.966
AT ITER 4966 NEW BEST:: SOT 1127360 SOS 646966 HAS SOPS 643751 HAS SOUS 77368 HAS SOUPS 74153 WITH SCORE 74799.966
AT ITER 4968 NEW BEST:: SOT 1127360 SOS 646366 HAS SOPS 643151 HAS SOUS 77368 HAS SOUPS 74153 WITH SCORE 74799.366
AT ITER 4976 NEW BEST:: SOT 1127297 SOS 646303 HAS SOPS 643088 HAS SOUS 77259 HAS SOUPS 74044 WITH SCORE 74690.303
AT ITER 4981 NEW BEST:: SOT 1126291 SOS 646857 HAS SOPS 643642 HAS SOUS 76318 HAS SOUPS 73103 WITH SCORE 73749.857
AT ITER 5009 NEW BEST:: SOT 1126291 SOS 649689 HAS SOPS 646474 HAS SOUS 76314 HAS SOUPS 73099 WITH SCORE 73748.689
AT ITER 5065 NEW BEST:: SOT 1126291 SOS 649689 HAS SOPS 646424 HAS SOUS 76314 HAS SOUPS 73049 WITH SCORE 73698.689
AT ITER 5072 NEW BEST:: SOT 1126291 SOS 649689 HAS SOPS 646424 HAS SOUS 76235 HAS SOUPS 72970 WITH SCORE 73619.689
AT ITER 5077 NEW BEST:: SOT 1126291 SOS 649521 HAS SOPS 646256 HAS SOUS 76235 HAS SOUPS 72970 WITH SCORE 73619.521
AT ITER 5097 NEW BEST:: SOT 1126318 SOS 650015 HAS SOPS 646931 HAS SOUS 76033 HAS SOUPS 72949 WITH SCORE 73599.015
AT ITER 5170 NEW BEST:: SOT 1126318 SOS 649846 HAS SOPS 646762 HAS SOUS 76027 HAS SOUPS 72943 WITH SCORE 73592.846
AT ITER 5205 NEW BEST:: SOT 1126246 SOS 649774 HAS SOPS 646690 HAS SOUS 75979 HAS SOUPS 72895 WITH SCORE 73544.774
AT ITER 5218 NEW BEST:: SOT 1126246 SOS 648946 HAS SOPS 645826 HAS SOUS 76015 HAS SOUPS 72895 WITH SCORE 73543.946
AT ITER 5220 NEW BEST:: SOT 1126279 SOS 649555 HAS SOPS 646435 HAS SOUS 75982 HAS SOUPS 72862 WITH SCORE 73511.555
AT ITER 5240 NEW BEST:: SOT 1126426 SOS 649702 HAS SOPS 646582 HAS SOUS 75753 HAS SOUPS 72633 WITH SCORE 73282.702
AT ITER 5246 NEW BEST:: SOT 1126426 SOS 649486 HAS SOPS 646366 HAS SOUS 75744 HAS SOUPS 72624 WITH SCORE 73273.486
AT ITER 5250 NEW BEST:: SOT 1126365 SOS 648022 HAS SOPS 644902 HAS SOUS 75683 HAS SOUPS 72563 WITH SCORE 73211.022
AT ITER 5277 NEW BEST:: SOT 1126364 SOS 647974 HAS SOPS 644854 HAS SOUS 75682 HAS SOUPS 72562 WITH SCORE 73209.974
AT ITER 5288 NEW BEST:: SOT 1126001 SOS 647601 HAS SOPS 644481 HAS SOUS 75568 HAS SOUPS 72448 WITH SCORE 73095.601
AT ITER 5360 NEW BEST:: SOT 1126001 SOS 647598 HAS SOPS 644481 HAS SOUS 75565 HAS SOUPS 72448 WITH SCORE 73095.598
AT ITER 5375 NEW BEST:: SOT 1126001 SOS 647562 HAS SOPS 644445 HAS SOUS 75563 HAS SOUPS 72446 WITH SCORE 73093.562
AT ITER 5383 NEW BEST:: SOT 1125992 SOS 647553 HAS SOPS 644436 HAS SOUS 75492 HAS SOUPS 72375 WITH SCORE 73022.553
AT ITER 5413 NEW BEST:: SOT 1125992 SOS 629409 HAS SOPS 626292 HAS SOUS 75474 HAS SOUPS 72357 WITH SCORE 72986.409
AT ITER 5418 NEW BEST:: SOT 1125992 SOS 630201 HAS SOPS 627084 HAS SOUS 75454 HAS SOUPS 72337 WITH SCORE 72967.201
AT ITER 5421 NEW BEST:: SOT 1125355 SOS 629564 HAS SOPS 626447 HAS SOUS 75327 HAS SOUPS 72210 WITH SCORE 72839.564
AT ITER 5428 NEW BEST:: SOT 1125355 SOS 629113 HAS SOPS 625996 HAS SOUS 75326 HAS SOUPS 72209 WITH SCORE 72838.113
AT ITER 5503 NEW BEST:: SOT 1124899 SOS 631945 HAS SOPS 628828 HAS SOUS 75099 HAS SOUPS 71982 WITH SCORE 72613.945
AT ITER 5512 NEW BEST:: SOT 1124899 SOS 631945 HAS SOPS 628828 HAS SOUS 75095 HAS SOUPS 71978 WITH SCORE 72609.945
AT ITER 5520 NEW BEST:: SOT 1124881 SOS 631927 HAS SOPS 628810 HAS SOUS 75077 HAS SOUPS 71960 WITH SCORE 72591.927
AT ITER 5530 NEW BEST:: SOT 1124881 SOS 632101 HAS SOPS 628954 HAS SOUS 75102 HAS SOUPS 71955 WITH SCORE 72587.101
AT ITER 5591 NEW BEST:: SOT 1124908 SOS 632128 HAS SOPS 628981 HAS SOUS 74967 HAS SOUPS 71820 WITH SCORE 72452.128
AT ITER 5594 NEW BEST:: SOT 1124908 SOS 631473 HAS SOPS 628309 HAS SOUS 74964 HAS SOUPS 71800 WITH SCORE 72431.473
AT ITER 5646 NEW BEST:: SOT 1124908 SOS 631459 HAS SOPS 628309 HAS SOUS 74950 HAS SOUPS 71800 WITH SCORE 72431.459
AT ITER 5704 NEW BEST:: SOT 1124783 SOS 631482 HAS SOPS 628332 HAS SOUS 74017 HAS SOUPS 70867 WITH SCORE 71498.482
AT ITER 5706 NEW BEST:: SOT 1124783 SOS 631482 HAS SOPS 628332 HAS SOUS 73965 HAS SOUPS 70815 WITH SCORE 71446.482
AT ITER 5722 NEW BEST:: SOT 1124783 SOS 631493 HAS SOPS 628332 HAS SOUS 73954 HAS SOUPS 70793 WITH SCORE 71424.493
AT ITER 5758 NEW BEST:: SOT 1124783 SOS 631437 HAS SOPS 628276 HAS SOUS 73940 HAS SOUPS 70779 WITH SCORE 71410.437
AT ITER 5761 NEW BEST:: SOT 1124783 SOS 631437 HAS SOPS 628276 HAS SOUS 73939 HAS SOUPS 70778 WITH SCORE 71409.437
AT ITER 5796 NEW BEST:: SOT 1124783 SOS 631245 HAS SOPS 628084 HAS SOUS 73939 HAS SOUPS 70778 WITH SCORE 71409.245
AT ITER 5933 NEW BEST:: SOT 1124675 SOS 631137 HAS SOPS 627976 HAS SOUS 73715 HAS SOUPS 70554 WITH SCORE 71185.137
AT ITER 5966 NEW BEST:: SOT 1124633 SOS 631095 HAS SOPS 627934 HAS SOUS 73673 HAS SOUPS 70512 WITH SCORE 71143.095
AT ITER 5991 NEW BEST:: SOT 1125019 SOS 631481 HAS SOPS 628320 HAS SOUS 73501 HAS SOUPS 70340 WITH SCORE 70971.481
AT ITER 5995 NEW BEST:: SOT 1125004 SOS 631466 HAS SOPS 628305 HAS SOUS 73390 HAS SOUPS 70229 WITH SCORE 70860.466
AT ITER 6004 NEW BEST:: SOT 1125232 SOS 636515 HAS SOPS 633357 HAS SOUS 73351 HAS SOUPS 70193 WITH SCORE 70829.515
AT ITER 6014 NEW BEST:: SOT 1125240 SOS 636081 HAS SOPS 632923 HAS SOUS 73350 HAS SOUPS 70192 WITH SCORE 70828.081
AT ITER 6019 NEW BEST:: SOT 1125240 SOS 635601 HAS SOPS 632443 HAS SOUS 73347 HAS SOUPS 70189 WITH SCORE 70824.601
AT ITER 6041 NEW BEST:: SOT 1125223 SOS 635584 HAS SOPS 632426 HAS SOUS 73330 HAS SOUPS 70172 WITH SCORE 70807.584
AT ITER 6072 NEW BEST:: SOT 1125203 SOS 635564 HAS SOPS 632406 HAS SOUS 73289 HAS SOUPS 70131 WITH SCORE 70766.564
AT ITER 6089 NEW BEST:: SOT 1125207 SOS 635568 HAS SOPS 632410 HAS SOUS 73269 HAS SOUPS 70111 WITH SCORE 70746.568
AT ITER 6138 NEW BEST:: SOT 1125074 SOS 635435 HAS SOPS 632277 HAS SOUS 73198 HAS SOUPS 70040 WITH SCORE 70675.435
AT ITER 6156 NEW BEST:: SOT 1125106 SOS 615670 HAS SOPS 612509 HAS SOUS 73219 HAS SOUPS 70058 WITH SCORE 70673.67
AT ITER 6162 NEW BEST:: SOT 1125040 SOS 615556 HAS SOPS 612395 HAS SOUS 73195 HAS SOUPS 70034 WITH SCORE 70649.556
AT ITER 6164 NEW BEST:: SOT 1125061 SOS 615577 HAS SOPS 612416 HAS SOUS 73179 HAS SOUPS 70018 WITH SCORE 70633.577
AT ITER 6191 NEW BEST:: SOT 1125013 SOS 615529 HAS SOPS 612368 HAS SOUS 73154 HAS SOUPS 69993 WITH SCORE 70608.529
AT ITER 6209 NEW BEST:: SOT 1124731 SOS 615195 HAS SOPS 612034 HAS SOUS 73021 HAS SOUPS 69860 WITH SCORE 70475.195
AT ITER 6220 NEW BEST:: SOT 1124304 SOS 614696 HAS SOPS 611535 HAS SOUS 72992 HAS SOUPS 69831 WITH SCORE 70445.696
AT ITER 6249 NEW BEST:: SOT 1124304 SOS 614689 HAS SOPS 611535 HAS SOUS 72985 HAS SOUPS 69831 WITH SCORE 70445.689
AT ITER 6264 NEW BEST:: SOT 1124137 SOS 614522 HAS SOPS 611368 HAS SOUS 72931 HAS SOUPS 69777 WITH SCORE 70391.522
AT ITER 6295 NEW BEST:: SOT 1124645 SOS 615030 HAS SOPS 611876 HAS SOUS 72739 HAS SOUPS 69585 WITH SCORE 70200.03
AT ITER 6300 NEW BEST:: SOT 1124865 SOS 615250 HAS SOPS 612096 HAS SOUS 72722 HAS SOUPS 69568 WITH SCORE 70183.25
AT ITER 6349 NEW BEST:: SOT 1124877 SOS 615670 HAS SOPS 612516 HAS SOUS 72619 HAS SOUPS 69465 WITH SCORE 70080.67
AT ITER 6356 NEW BEST:: SOT 1124877 SOS 615550 HAS SOPS 612396 HAS SOUS 72619 HAS SOUPS 69465 WITH SCORE 70080.55
AT ITER 6369 NEW BEST:: SOT 1124877 SOS 614422 HAS SOPS 611268 HAS SOUS 72615 HAS SOUPS 69461 WITH SCORE 70075.422
AT ITER 6377 NEW BEST:: SOT 1124877 SOS 614062 HAS SOPS 610908 HAS SOUS 72615 HAS SOUPS 69461 WITH SCORE 70075.062
AT ITER 6391 NEW BEST:: SOT 1124877 SOS 614041 HAS SOPS 610908 HAS SOUS 72594 HAS SOUPS 69461 WITH SCORE 70075.041
AT ITER 6445 NEW BEST:: SOT 1124393 SOS 613619 HAS SOPS 610486 HAS SOUS 71664 HAS SOUPS 68531 WITH SCORE 69144.619
AT ITER 6460 NEW BEST:: SOT 1124543 SOS 613769 HAS SOPS 610636 HAS SOUS 71645 HAS SOUPS 68512 WITH SCORE 69125.769
AT ITER 6497 NEW BEST:: SOT 1124543 SOS 614489 HAS SOPS 611356 HAS SOUS 71637 HAS SOUPS 68504 WITH SCORE 69118.489
AT ITER 6549 NEW BEST:: SOT 1125081 SOS 615027 HAS SOPS 611894 HAS SOUS 71605 HAS SOUPS 68472 WITH SCORE 69087.027
AT ITER 6603 NEW BEST:: SOT 1125108 SOS 615102 HAS SOPS 611969 HAS SOUS 71555 HAS SOUPS 68422 WITH SCORE 69037.102
AT ITER 6629 NEW BEST:: SOT 1125108 SOS 615094 HAS SOPS 611961 HAS SOUS 71555 HAS SOUPS 68422 WITH SCORE 69037.094
AT ITER 6677 NEW BEST:: SOT 1125108 SOS 614841 HAS SOPS 611697 HAS SOUS 71544 HAS SOUPS 68400 WITH SCORE 69014.841
AT ITER 6689 NEW BEST:: SOT 1125635 SOS 615368 HAS SOPS 612224 HAS SOUS 71241 HAS SOUPS 68097 WITH SCORE 68712.368
AT ITER 6697 NEW BEST:: SOT 1125581 SOS 615340 HAS SOPS 612196 HAS SOUS 71143 HAS SOUPS 67999 WITH SCORE 68614.34
AT ITER 6699 NEW BEST:: SOT 1125281 SOS 614872 HAS SOPS 611728 HAS SOUS 71056 HAS SOUPS 67912 WITH SCORE 68526.872
AT ITER 6708 NEW BEST:: SOT 1125281 SOS 614853 HAS SOPS 611704 HAS SOUS 71056 HAS SOUPS 67907 WITH SCORE 68521.853
AT ITER 6725 NEW BEST:: SOT 1125251 SOS 614799 HAS SOPS 611650 HAS SOUS 71046 HAS SOUPS 67897 WITH SCORE 68511.799
AT ITER 6733 NEW BEST:: SOT 1125251 SOS 614724 HAS SOPS 611575 HAS SOUS 71046 HAS SOUPS 67897 WITH SCORE 68511.724
AT ITER 6749 NEW BEST:: SOT 1125251 SOS 608485 HAS SOPS 605336 HAS SOUS 70831 HAS SOUPS 67682 WITH SCORE 68290.485
AT ITER 6752 NEW BEST:: SOT 1126510 SOS 609744 HAS SOPS 606595 HAS SOUS 70673 HAS SOUPS 67524 WITH SCORE 68133.744
AT ITER 6757 NEW BEST:: SOT 1126510 SOS 609742 HAS SOPS 606595 HAS SOUS 70671 HAS SOUPS 67524 WITH SCORE 68133.742
AT ITER 6800 NEW BEST:: SOT 1126445 SOS 609674 HAS SOPS 606530 HAS SOUS 70592 HAS SOUPS 67448 WITH SCORE 68057.674
AT ITER 6846 NEW BEST:: SOT 1126415 SOS 609644 HAS SOPS 606500 HAS SOUS 70528 HAS SOUPS 67384 WITH SCORE 67993.644
AT ITER 6850 NEW BEST:: SOT 1126415 SOS 609437 HAS SOPS 606284 HAS SOUS 70537 HAS SOUPS 67384 WITH SCORE 67993.437
AT ITER 6884 NEW BEST:: SOT 1126415 SOS 609430 HAS SOPS 606284 HAS SOUS 70530 HAS SOUPS 67384 WITH SCORE 67993.43
AT ITER 6894 NEW BEST:: SOT 1126286 SOS 609301 HAS SOPS 606155 HAS SOUS 70431 HAS SOUPS 67285 WITH SCORE 67894.301
AT ITER 6903 NEW BEST:: SOT 1126267 SOS 609282 HAS SOPS 606136 HAS SOUS 70316 HAS SOUPS 67170 WITH SCORE 67779.282
AT ITER 6930 NEW BEST:: SOT 1126267 SOS 609275 HAS SOPS 606136 HAS SOUS 70309 HAS SOUPS 67170 WITH SCORE 67779.275
AT ITER 6932 NEW BEST:: SOT 1125780 SOS 608788 HAS SOPS 605649 HAS SOUS 69973 HAS SOUPS 66834 WITH SCORE 67442.788
AT ITER 7051 NEW BEST:: SOT 1125780 SOS 608788 HAS SOPS 605649 HAS SOUS 69967 HAS SOUPS 66828 WITH SCORE 67436.788
AT ITER 7087 NEW BEST:: SOT 1125780 SOS 608788 HAS SOPS 605649 HAS SOUS 69960 HAS SOUPS 66821 WITH SCORE 67429.788
AT ITER 7088 NEW BEST:: SOT 1125780 SOS 608778 HAS SOPS 605649 HAS SOUS 69950 HAS SOUPS 66821 WITH SCORE 67429.778
AT ITER 7091 NEW BEST:: SOT 1125756 SOS 608754 HAS SOPS 605625 HAS SOUS 69908 HAS SOUPS 66779 WITH SCORE 67387.754
AT ITER 7120 NEW BEST:: SOT 1125444 SOS 608442 HAS SOPS 605313 HAS SOUS 69583 HAS SOUPS 66454 WITH SCORE 67062.442
AT ITER 7122 NEW BEST:: SOT 1125444 SOS 608442 HAS SOPS 605313 HAS SOUS 69571 HAS SOUPS 66442 WITH SCORE 67050.442
AT ITER 7124 NEW BEST:: SOT 1125446 SOS 608444 HAS SOPS 605315 HAS SOUS 69494 HAS SOUPS 66365 WITH SCORE 66973.444
AT ITER 7129 NEW BEST:: SOT 1125446 SOS 608372 HAS SOPS 605243 HAS SOUS 69494 HAS SOUPS 66365 WITH SCORE 66973.372
AT ITER 7173 NEW BEST:: SOT 1125473 SOS 609239 HAS SOPS 606110 HAS SOUS 69226 HAS SOUPS 66097 WITH SCORE 66706.239
AT ITER 7261 NEW BEST:: SOT 1125365 SOS 606638 HAS SOPS 603509 HAS SOUS 69026 HAS SOUPS 65897 WITH SCORE 66503.638
AT ITER 7276 NEW BEST:: SOT 1125365 SOS 607550 HAS SOPS 604379 HAS SOUS 69026 HAS SOUPS 65855 WITH SCORE 66462.55
AT ITER 7282 NEW BEST:: SOT 1123381 SOS 605476 HAS SOPS 602275 HAS SOUS 68917 HAS SOUPS 65716 WITH SCORE 66321.476
AT ITER 7313 NEW BEST:: SOT 1123039 SOS 605218 HAS SOPS 602017 HAS SOUS 68852 HAS SOUPS 65651 WITH SCORE 66256.218
AT ITER 7316 NEW BEST:: SOT 1123039 SOS 603970 HAS SOPS 600766 HAS SOUS 68852 HAS SOUPS 65648 WITH SCORE 66251.97
AT ITER 7341 NEW BEST:: SOT 1123039 SOS 606130 HAS SOPS 602911 HAS SOUS 68846 HAS SOUPS 65627 WITH SCORE 66233.13
AT ITER 7347 NEW BEST:: SOT 1122735 SOS 605826 HAS SOPS 602607 HAS SOUS 68238 HAS SOUPS 65019 WITH SCORE 65624.826
AT ITER 7402 NEW BEST:: SOT 1122735 SOS 605298 HAS SOPS 602079 HAS SOUS 68238 HAS SOUPS 65019 WITH SCORE 65624.298
AT ITER 7476 NEW BEST:: SOT 1122735 SOS 605250 HAS SOPS 602031 HAS SOUS 68238 HAS SOUPS 65019 WITH SCORE 65624.25
AT ITER 7479 NEW BEST:: SOT 1122391 SOS 604842 HAS SOPS 601623 HAS SOUS 68150 HAS SOUPS 64931 WITH SCORE 65535.842
AT ITER 7482 NEW BEST:: SOT 1122421 SOS 604872 HAS SOPS 601653 HAS SOUS 68148 HAS SOUPS 64929 WITH SCORE 65533.872
AT ITER 7545 NEW BEST:: SOT 1122421 SOS 604872 HAS SOPS 601653 HAS SOUS 68131 HAS SOUPS 64912 WITH SCORE 65516.872
AT ITER 7552 NEW BEST:: SOT 1122441 SOS 603932 HAS SOPS 600765 HAS SOUS 67958 HAS SOUPS 64791 WITH SCORE 65394.932
AT ITER 7563 NEW BEST:: SOT 1122441 SOS 603932 HAS SOPS 600765 HAS SOUS 67920 HAS SOUPS 64753 WITH SCORE 65356.932
AT ITER 7581 NEW BEST:: SOT 1122475 SOS 604446 HAS SOPS 601279 HAS SOUS 67460 HAS SOUPS 64293 WITH SCORE 64897.446
AT ITER 7612 NEW BEST:: SOT 1122475 SOS 603192 HAS SOPS 600025 HAS SOUS 67453 HAS SOUPS 64286 WITH SCORE 64889.192
AT ITER 7787 NEW BEST:: SOT 1122476 SOS 603193 HAS SOPS 600026 HAS SOUS 67440 HAS SOUPS 64273 WITH SCORE 64876.193
AT ITER 7813 NEW BEST:: SOT 1122386 SOS 603103 HAS SOPS 599871 HAS SOUS 67430 HAS SOUPS 64198 WITH SCORE 64801.103
AT ITER 7856 NEW BEST:: SOT 1122361 SOS 603078 HAS SOPS 599846 HAS SOUS 67400 HAS SOUPS 64168 WITH SCORE 64771.078
AT ITER 7901 NEW BEST:: SOT 1122361 SOS 602480 HAS SOPS 599222 HAS SOUS 67426 HAS SOUPS 64168 WITH SCORE 64770.48
AT ITER 7909 NEW BEST:: SOT 1122411 SOS 602530 HAS SOPS 599272 HAS SOUS 67277 HAS SOUPS 64019 WITH SCORE 64621.53
AT ITER 7918 NEW BEST:: SOT 1122437 SOS 602322 HAS SOPS 599226 HAS SOUS 67063 HAS SOUPS 63967 WITH SCORE 64569.322
AT ITER 7960 NEW BEST:: SOT 1122425 SOS 609954 HAS SOPS 606834 HAS SOUS 67061 HAS SOUPS 63941 WITH SCORE 64550.954
AT ITER 7977 NEW BEST:: SOT 1122646 SOS 610209 HAS SOPS 607089 HAS SOUS 67016 HAS SOUPS 63896 WITH SCORE 64506.209
AT ITER 8011 NEW BEST:: SOT 1122559 SOS 610122 HAS SOPS 607002 HAS SOUS 66929 HAS SOUPS 63809 WITH SCORE 64419.122
AT ITER 8019 NEW BEST:: SOT 1122559 SOS 610115 HAS SOPS 607002 HAS SOUS 66922 HAS SOUPS 63809 WITH SCORE 64419.115
AT ITER 8054 NEW BEST:: SOT 1122527 SOS 610083 HAS SOPS 606970 HAS SOUS 66890 HAS SOUPS 63777 WITH SCORE 64387.083
AT ITER 8057 NEW BEST:: SOT 1122527 SOS 608583 HAS SOPS 605470 HAS SOUS 66879 HAS SOUPS 63766 WITH SCORE 64374.583
AT ITER 8120 NEW BEST:: SOT 1122822 SOS 608878 HAS SOPS 605765 HAS SOUS 66481 HAS SOUPS 63368 WITH SCORE 63976.878
AT ITER 8159 NEW BEST:: SOT 1122822 SOS 608878 HAS SOPS 605765 HAS SOUS 66480 HAS SOUPS 63367 WITH SCORE 63975.878
AT ITER 8174 NEW BEST:: SOT 1122841 SOS 608057 HAS SOPS 604944 HAS SOUS 66449 HAS SOUPS 63336 WITH SCORE 63944.057
AT ITER 8199 NEW BEST:: SOT 1122827 SOS 608043 HAS SOPS 604930 HAS SOUS 66435 HAS SOUPS 63322 WITH SCORE 63930.043
AT ITER 8201 NEW BEST:: SOT 1122827 SOS 608018 HAS SOPS 604930 HAS SOUS 66410 HAS SOUPS 63322 WITH SCORE 63930.018
AT ITER 8239 NEW BEST:: SOT 1122888 SOS 608079 HAS SOPS 604991 HAS SOUS 66200 HAS SOUPS 63112 WITH SCORE 63720.079
AT ITER 8254 NEW BEST:: SOT 1122888 SOS 607983 HAS SOPS 604895 HAS SOUS 66200 HAS SOUPS 63112 WITH SCORE 63719.983
AT ITER 8269 NEW BEST:: SOT 1122888 SOS 608463 HAS SOPS 605375 HAS SOUS 66180 HAS SOUPS 63092 WITH SCORE 63700.463
AT ITER 8293 NEW BEST:: SOT 1122888 SOS 608573 HAS SOPS 605485 HAS SOUS 66170 HAS SOUPS 63082 WITH SCORE 63690.573
AT ITER 8340 NEW BEST:: SOT 1122869 SOS 608554 HAS SOPS 605466 HAS SOUS 66146 HAS SOUPS 63058 WITH SCORE 63666.554
AT ITER 8381 NEW BEST:: SOT 1122565 SOS 608250 HAS SOPS 605162 HAS SOUS 65897 HAS SOUPS 62809 WITH SCORE 63417.25
AT ITER 8429 NEW BEST:: SOT 1122565 SOS 608233 HAS SOPS 605162 HAS SOUS 65880 HAS SOUPS 62809 WITH SCORE 63417.233
AT ITER 8440 NEW BEST:: SOT 1122466 SOS 608014 HAS SOPS 604943 HAS SOUS 65799 HAS SOUPS 62728 WITH SCORE 63336.014
AT ITER 8480 NEW BEST:: SOT 1121927 SOS 607211 HAS SOPS 604140 HAS SOUS 65456 HAS SOUPS 62385 WITH SCORE 62992.211
AT ITER 8503 NEW BEST:: SOT 1121924 SOS 607139 HAS SOPS 604068 HAS SOUS 65456 HAS SOUPS 62385 WITH SCORE 62992.139
AT ITER 8519 NEW BEST:: SOT 1121924 SOS 607289 HAS SOPS 604212 HAS SOUS 65456 HAS SOUPS 62379 WITH SCORE 62986.289
AT ITER 8543 NEW BEST:: SOT 1122126 SOS 608475 HAS SOPS 605398 HAS SOUS 65323 HAS SOUPS 62246 WITH SCORE 62854.475
AT ITER 8596 NEW BEST:: SOT 1122126 SOS 608474 HAS SOPS 605397 HAS SOUS 65323 HAS SOUPS 62246 WITH SCORE 62854.474
AT ITER 8625 NEW BEST:: SOT 1122509 SOS 608857 HAS SOPS 605780 HAS SOUS 64948 HAS SOUPS 61871 WITH SCORE 62479.857
AT ITER 8660 NEW BEST:: SOT 1122500 SOS 608848 HAS SOPS 605771 HAS SOUS 64942 HAS SOUPS 61865 WITH SCORE 62473.848
AT ITER 8697 NEW BEST:: SOT 1122467 SOS 608815 HAS SOPS 605738 HAS SOUS 64833 HAS SOUPS 61756 WITH SCORE 62364.815
AT ITER 8707 NEW BEST:: SOT 1122298 SOS 608646 HAS SOPS 605569 HAS SOUS 64713 HAS SOUPS 61636 WITH SCORE 62244.646
AT ITER 8751 NEW BEST:: SOT 1122306 SOS 608654 HAS SOPS 605577 HAS SOUS 64701 HAS SOUPS 61624 WITH SCORE 62232.654
AT ITER 8789 NEW BEST:: SOT 1122306 SOS 608647 HAS SOPS 605577 HAS SOUS 64694 HAS SOUPS 61624 WITH SCORE 62232.647
AT ITER 8794 NEW BEST:: SOT 1122306 SOS 608647 HAS SOPS 605577 HAS SOUS 64692 HAS SOUPS 61622 WITH SCORE 62230.647
AT ITER 8813 NEW BEST:: SOT 1122306 SOS 607975 HAS SOPS 604905 HAS SOUS 64692 HAS SOUPS 61622 WITH SCORE 62229.975
AT ITER 8871 NEW BEST:: SOT 1122294 SOS 607963 HAS SOPS 604893 HAS SOUS 64653 HAS SOUPS 61583 WITH SCORE 62190.963
AT ITER 8895 NEW BEST:: SOT 1122286 SOS 607995 HAS SOPS 604925 HAS SOUS 64649 HAS SOUPS 61579 WITH SCORE 62186.995
AT ITER 8989 NEW BEST:: SOT 1122286 SOS 607991 HAS SOPS 604921 HAS SOUS 64647 HAS SOUPS 61577 WITH SCORE 62184.991
AT ITER 9092 NEW BEST:: SOT 1122269 SOS 607974 HAS SOPS 604904 HAS SOUS 64597 HAS SOUPS 61527 WITH SCORE 62134.974
AT ITER 9103 NEW BEST:: SOT 1122269 SOS 606963 HAS SOPS 603893 HAS SOUS 64594 HAS SOUPS 61524 WITH SCORE 62130.963
AT ITER 9120 NEW BEST:: SOT 1121813 SOS 606507 HAS SOPS 603437 HAS SOUS 64075 HAS SOUPS 61005 WITH SCORE 61611.507
AT ITER 9127 NEW BEST:: SOT 1121813 SOS 606481 HAS SOPS 603411 HAS SOUS 64075 HAS SOUPS 61005 WITH SCORE 61611.481
AT ITER 9145 NEW BEST:: SOT 1121956 SOS 605640 HAS SOPS 602570 HAS SOUS 63929 HAS SOUPS 60859 WITH SCORE 61464.64
AT ITER 9172 NEW BEST:: SOT 1119709 SOS 604521 HAS SOPS 601451 HAS SOUS 63752 HAS SOUPS 60682 WITH SCORE 61286.521
AT ITER 9199 NEW BEST:: SOT 1119620 SOS 604384 HAS SOPS 601314 HAS SOUS 63710 HAS SOUPS 60640 WITH SCORE 61244.384
AT ITER 9209 NEW BEST:: SOT 1119466 SOS 604288 HAS SOPS 601218 HAS SOUS 63104 HAS SOUPS 60034 WITH SCORE 60638.288
AT ITER 9270 NEW BEST:: SOT 1119466 SOS 604288 HAS SOPS 601218 HAS SOUS 63102 HAS SOUPS 60032 WITH SCORE 60636.288
AT ITER 9271 NEW BEST:: SOT 1119466 SOS 604288 HAS SOPS 601218 HAS SOUS 63101 HAS SOUPS 60031 WITH SCORE 60635.288
AT ITER 9346 NEW BEST:: SOT 1119466 SOS 604278 HAS SOPS 601218 HAS SOUS 63091 HAS SOUPS 60031 WITH SCORE 60635.278
AT ITER 9375 NEW BEST:: SOT 1119466 SOS 604326 HAS SOPS 601266 HAS SOUS 63090 HAS SOUPS 60030 WITH SCORE 60634.326
AT ITER 9440 NEW BEST:: SOT 1119415 SOS 604275 HAS SOPS 601215 HAS SOUS 63012 HAS SOUPS 59952 WITH SCORE 60556.275
AT ITER 9457 NEW BEST:: SOT 1119337 SOS 604194 HAS SOPS 601134 HAS SOUS 62851 HAS SOUPS 59791 WITH SCORE 60395.194
AT ITER 9481 NEW BEST:: SOT 1119294 SOS 603358 HAS SOPS 600298 HAS SOUS 62815 HAS SOUPS 59755 WITH SCORE 60358.358
AT ITER 9503 NEW BEST:: SOT 1119294 SOS 603305 HAS SOPS 600298 HAS SOUS 62762 HAS SOUPS 59755 WITH SCORE 60358.305
AT ITER 9571 NEW BEST:: SOT 1119294 SOS 603305 HAS SOPS 600298 HAS SOUS 62666 HAS SOUPS 59659 WITH SCORE 60262.305
AT ITER 9637 NEW BEST:: SOT 1119314 SOS 603349 HAS SOPS 600342 HAS SOUS 62662 HAS SOUPS 59655 WITH SCORE 60258.349
AT ITER 9669 NEW BEST:: SOT 1119314 SOS 603085 HAS SOPS 600078 HAS SOUS 62662 HAS SOUPS 59655 WITH SCORE 60258.085
AT ITER 9679 NEW BEST:: SOT 1119314 SOS 601933 HAS SOPS 598926 HAS SOUS 62663 HAS SOUPS 59656 WITH SCORE 60257.933
AT ITER 9681 NEW BEST:: SOT 1119314 SOS 600949 HAS SOPS 597942 HAS SOUS 62660 HAS SOUPS 59653 WITH SCORE 60253.949
AT ITER 9770 NEW BEST:: SOT 1119316 SOS 600951 HAS SOPS 597944 HAS SOUS 62659 HAS SOUPS 59652 WITH SCORE 60252.951
AT ITER 9799 NEW BEST:: SOT 1118622 SOS 599561 HAS SOPS 596552 HAS SOUS 62661 HAS SOUPS 59652 WITH SCORE 60251.561
AT ITER 9814 NEW BEST:: SOT 1118622 SOS 599548 HAS SOPS 596552 HAS SOUS 62648 HAS SOUPS 59652 WITH SCORE 60251.548
AT ITER 9861 NEW BEST:: SOT 1118622 SOS 599546 HAS SOPS 596552 HAS SOUS 62646 HAS SOUPS 59652 WITH SCORE 60251.546
AT ITER 9884 NEW BEST:: SOT 1118622 SOS 599530 HAS SOPS 596536 HAS SOUS 62630 HAS SOUPS 59636 WITH SCORE 60235.53
AT ITER 9939 NEW BEST:: SOT 1118390 SOS 599298 HAS SOPS 596304 HAS SOUS 62557 HAS SOUPS 59563 WITH SCORE 60162.298
AT ITER 9965 NEW BEST:: SOT 1118390 SOS 599289 HAS SOPS 596304 HAS SOUS 62548 HAS SOUPS 59563 WITH SCORE 60162.289
AT ITER 9975 NEW BEST:: SOT 1118390 SOS 598617 HAS SOPS 595632 HAS SOUS 62548 HAS SOUPS 59563 WITH SCORE 60161.617
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12944208 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149532 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="Medical-PT-22"
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 Medical-PT-22, 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 r227-tall-167856410900736"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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