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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 5.1K Feb 25 14:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Feb 25 14:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 14:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 14:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:22 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 1678621544562

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-04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 04
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 1171369 SOS 641400 HAS SOPS 638304 HAS SOUS 256010 HAS SOUPS 253193 WITH SCORE 253834.4
AT ITER 20 NEW BEST:: SOT 1144652 SOS 615187 HAS SOPS 613267 HAS SOUS 228087 HAS SOUPS 226356 WITH SCORE 226971.187
AT ITER 21 NEW BEST:: SOT 1144652 SOS 614587 HAS SOPS 612667 HAS SOUS 228087 HAS SOUPS 226356 WITH SCORE 226970.587
AT ITER 25 NEW BEST:: SOT 1144652 SOS 614587 HAS SOPS 612667 HAS SOUS 227975 HAS SOUPS 226244 WITH SCORE 226858.587
AT ITER 26 NEW BEST:: SOT 1145796 SOS 615716 HAS SOPS 613811 HAS SOUS 226902 HAS SOUPS 225181 WITH SCORE 225796.716
AT ITER 30 NEW BEST:: SOT 1143980 SOS 616348 HAS SOPS 614443 HAS SOUS 225670 HAS SOUPS 223949 WITH SCORE 224565.348
AT ITER 41 NEW BEST:: SOT 1143980 SOS 617956 HAS SOPS 616051 HAS SOUS 225564 HAS SOUPS 223843 WITH SCORE 224460.956
AT ITER 59 NEW BEST:: SOT 1143980 SOS 618484 HAS SOPS 616579 HAS SOUS 225432 HAS SOUPS 223711 WITH SCORE 224329.484
AT ITER 69 NEW BEST:: SOT 1142805 SOS 617309 HAS SOPS 615404 HAS SOUS 222032 HAS SOUPS 220311 WITH SCORE 220928.309
AT ITER 72 NEW BEST:: SOT 1142805 SOS 618605 HAS SOPS 616700 HAS SOUS 221699 HAS SOUPS 219978 WITH SCORE 220596.605
AT ITER 75 NEW BEST:: SOT 1142805 SOS 618605 HAS SOPS 616700 HAS SOUS 221698 HAS SOUPS 219977 WITH SCORE 220595.605
AT ITER 76 NEW BEST:: SOT 1143331 SOS 619131 HAS SOPS 617226 HAS SOUS 221342 HAS SOUPS 219621 WITH SCORE 220240.131
AT ITER 77 NEW BEST:: SOT 1142750 SOS 621694 HAS SOPS 619789 HAS SOUS 221318 HAS SOUPS 219597 WITH SCORE 220218.694
AT ITER 85 NEW BEST:: SOT 1141401 SOS 624617 HAS SOPS 622712 HAS SOUS 220573 HAS SOUPS 218852 WITH SCORE 219476.617
AT ITER 88 NEW BEST:: SOT 1141401 SOS 624257 HAS SOPS 622352 HAS SOUS 220573 HAS SOUPS 218852 WITH SCORE 219476.257
AT ITER 89 NEW BEST:: SOT 1140884 SOS 626144 HAS SOPS 624239 HAS SOUS 220229 HAS SOUPS 218508 WITH SCORE 219134.144
AT ITER 95 NEW BEST:: SOT 1140430 SOS 625690 HAS SOPS 623785 HAS SOUS 219151 HAS SOUPS 217430 WITH SCORE 218055.69
AT ITER 100 NEW BEST:: SOT 1140430 SOS 619755 HAS SOPS 616621 HAS SOUS 219130 HAS SOUPS 216896 WITH SCORE 217515.755
AT ITER 103 NEW BEST:: SOT 1139138 SOS 622783 HAS SOPS 619649 HAS SOUS 218359 HAS SOUPS 216125 WITH SCORE 216747.783
AT ITER 105 NEW BEST:: SOT 1138195 SOS 622704 HAS SOPS 619570 HAS SOUS 217483 HAS SOUPS 215249 WITH SCORE 215871.704
AT ITER 107 NEW BEST:: SOT 1138195 SOS 622695 HAS SOPS 619726 HAS SOUS 216008 HAS SOUPS 213807 WITH SCORE 214429.695
AT ITER 111 NEW BEST:: SOT 1138195 SOS 623586 HAS SOPS 620630 HAS SOUS 215797 HAS SOUPS 213609 WITH SCORE 214232.586
AT ITER 116 NEW BEST:: SOT 1136949 SOS 612904 HAS SOPS 600612 HAS SOUS 214936 HAS SOUPS 211994 WITH SCORE 212606.904
AT ITER 117 NEW BEST:: SOT 1136138 SOS 613581 HAS SOPS 601289 HAS SOUS 214322 HAS SOUPS 211380 WITH SCORE 211993.581
AT ITER 119 NEW BEST:: SOT 1138184 SOS 616515 HAS SOPS 604323 HAS SOUS 214134 HAS SOUPS 211292 WITH SCORE 211908.515
AT ITER 122 NEW BEST:: SOT 1136903 SOS 615234 HAS SOPS 603042 HAS SOUS 213818 HAS SOUPS 210976 WITH SCORE 211591.234
AT ITER 130 NEW BEST:: SOT 1136903 SOS 613049 HAS SOPS 601042 HAS SOUS 212356 HAS SOUPS 209551 WITH SCORE 210164.049
AT ITER 141 NEW BEST:: SOT 1136205 SOS 613503 HAS SOPS 601496 HAS SOUS 211600 HAS SOUPS 208795 WITH SCORE 209408.503
AT ITER 143 NEW BEST:: SOT 1137139 SOS 614617 HAS SOPS 602670 HAS SOUS 210186 HAS SOUPS 207386 WITH SCORE 208000.617
AT ITER 147 NEW BEST:: SOT 1136008 SOS 612656 HAS SOPS 598507 HAS SOUS 207116 HAS SOUPS 204358 WITH SCORE 204970.656
AT ITER 155 NEW BEST:: SOT 1136569 SOS 613217 HAS SOPS 599068 HAS SOUS 207083 HAS SOUPS 204325 WITH SCORE 204938.217
AT ITER 156 NEW BEST:: SOT 1136044 SOS 618493 HAS SOPS 604363 HAS SOUS 206793 HAS SOUPS 204054 WITH SCORE 204672.493
AT ITER 157 NEW BEST:: SOT 1135718 SOS 620903 HAS SOPS 606773 HAS SOUS 206052 HAS SOUPS 203313 WITH SCORE 203933.903
AT ITER 160 NEW BEST:: SOT 1135718 SOS 621563 HAS SOPS 607433 HAS SOUS 205722 HAS SOUPS 202983 WITH SCORE 203604.563
AT ITER 168 NEW BEST:: SOT 1134877 SOS 619847 HAS SOPS 603372 HAS SOUS 202258 HAS SOUPS 199556 WITH SCORE 200175.847
AT ITER 170 NEW BEST:: SOT 1136024 SOS 620682 HAS SOPS 604207 HAS SOUS 200733 HAS SOUPS 198031 WITH SCORE 198651.682
AT ITER 171 NEW BEST:: SOT 1135959 SOS 620617 HAS SOPS 604142 HAS SOUS 200686 HAS SOUPS 197984 WITH SCORE 198604.617
AT ITER 174 NEW BEST:: SOT 1134300 SOS 624754 HAS SOPS 608088 HAS SOUS 199854 HAS SOUPS 197082 WITH SCORE 197706.754
AT ITER 177 NEW BEST:: SOT 1136673 SOS 630907 HAS SOPS 614253 HAS SOUS 199616 HAS SOUPS 196856 WITH SCORE 197486.907
AT ITER 184 NEW BEST:: SOT 1136876 SOS 631110 HAS SOPS 614456 HAS SOUS 199579 HAS SOUPS 196819 WITH SCORE 197450.11
AT ITER 188 NEW BEST:: SOT 1138770 SOS 637395 HAS SOPS 621043 HAS SOUS 198875 HAS SOUPS 196417 WITH SCORE 197054.395
AT ITER 200 NEW BEST:: SOT 1138941 SOS 637663 HAS SOPS 621311 HAS SOUS 198156 HAS SOUPS 195698 WITH SCORE 196335.663
AT ITER 204 NEW BEST:: SOT 1138725 SOS 637322 HAS SOPS 621095 HAS SOUS 197503 HAS SOUPS 195061 WITH SCORE 195698.322
AT ITER 209 NEW BEST:: SOT 1138719 SOS 637164 HAS SOPS 621089 HAS SOUS 197506 HAS SOUPS 195061 WITH SCORE 195698.164
AT ITER 211 NEW BEST:: SOT 1138723 SOS 637168 HAS SOPS 621093 HAS SOUS 197478 HAS SOUPS 195033 WITH SCORE 195670.168
AT ITER 212 NEW BEST:: SOT 1138723 SOS 638318 HAS SOPS 622266 HAS SOUS 197317 HAS SOUPS 194895 WITH SCORE 195533.318
AT ITER 213 NEW BEST:: SOT 1138604 SOS 638199 HAS SOPS 622147 HAS SOUS 197198 HAS SOUPS 194776 WITH SCORE 195414.199
AT ITER 214 NEW BEST:: SOT 1140455 SOS 643921 HAS SOPS 627894 HAS SOUS 196839 HAS SOUPS 194442 WITH SCORE 195085.921
AT ITER 216 NEW BEST:: SOT 1139159 SOS 641836 HAS SOPS 625736 HAS SOUS 195242 HAS SOUPS 192748 WITH SCORE 193389.836
AT ITER 219 NEW BEST:: SOT 1139172 SOS 642460 HAS SOPS 626360 HAS SOUS 195190 HAS SOUPS 192696 WITH SCORE 193338.46
AT ITER 221 NEW BEST:: SOT 1137809 SOS 641097 HAS SOPS 624997 HAS SOUS 195123 HAS SOUPS 192629 WITH SCORE 193270.097
AT ITER 224 NEW BEST:: SOT 1137820 SOS 641372 HAS SOPS 625272 HAS SOUS 195057 HAS SOUPS 192563 WITH SCORE 193204.372
AT ITER 232 NEW BEST:: SOT 1136913 SOS 640026 HAS SOPS 624365 HAS SOUS 191000 HAS SOUPS 188565 WITH SCORE 189205.026
AT ITER 240 NEW BEST:: SOT 1137025 SOS 639884 HAS SOPS 624573 HAS SOUS 190851 HAS SOUPS 188428 WITH SCORE 189067.884
AT ITER 251 NEW BEST:: SOT 1137555 SOS 641134 HAS SOPS 625823 HAS SOUS 189717 HAS SOUPS 187294 WITH SCORE 187935.134
AT ITER 259 NEW BEST:: SOT 1137468 SOS 638100 HAS SOPS 622964 HAS SOUS 188736 HAS SOUPS 186348 WITH SCORE 186986.1
AT ITER 270 NEW BEST:: SOT 1137389 SOS 637685 HAS SOPS 622565 HAS SOUS 188653 HAS SOUPS 186281 WITH SCORE 186918.685
AT ITER 273 NEW BEST:: SOT 1136586 SOS 639274 HAS SOPS 624154 HAS SOUS 188424 HAS SOUPS 186052 WITH SCORE 186691.274
AT ITER 277 NEW BEST:: SOT 1136447 SOS 639183 HAS SOPS 624063 HAS SOUS 188061 HAS SOUPS 185689 WITH SCORE 186328.183
AT ITER 286 NEW BEST:: SOT 1136119 SOS 641543 HAS SOPS 626423 HAS SOUS 187017 HAS SOUPS 184645 WITH SCORE 185286.543
AT ITER 292 NEW BEST:: SOT 1135662 SOS 641799 HAS SOPS 626679 HAS SOUS 186698 HAS SOUPS 184326 WITH SCORE 184967.799
AT ITER 296 NEW BEST:: SOT 1135155 SOS 641292 HAS SOPS 626172 HAS SOUS 185746 HAS SOUPS 183374 WITH SCORE 184015.292
AT ITER 298 NEW BEST:: SOT 1135162 SOS 636439 HAS SOPS 621123 HAS SOUS 185735 HAS SOUPS 183242 WITH SCORE 183878.439
AT ITER 304 NEW BEST:: SOT 1135260 SOS 638021 HAS SOPS 622731 HAS SOUS 182274 HAS SOUPS 179807 WITH SCORE 180445.021
AT ITER 308 NEW BEST:: SOT 1135260 SOS 637805 HAS SOPS 622515 HAS SOUS 182274 HAS SOUPS 179807 WITH SCORE 180444.805
AT ITER 309 NEW BEST:: SOT 1134995 SOS 637540 HAS SOPS 622250 HAS SOUS 181477 HAS SOUPS 179010 WITH SCORE 179647.54
AT ITER 314 NEW BEST:: SOT 1134531 SOS 638037 HAS SOPS 622771 HAS SOUS 180978 HAS SOUPS 178535 WITH SCORE 179173.037
AT ITER 317 NEW BEST:: SOT 1134622 SOS 639400 HAS SOPS 624086 HAS SOUS 180273 HAS SOUPS 177782 WITH SCORE 178421.4
AT ITER 324 NEW BEST:: SOT 1134654 SOS 640273 HAS SOPS 624823 HAS SOUS 180324 HAS SOUPS 177710 WITH SCORE 178350.273
AT ITER 325 NEW BEST:: SOT 1135176 SOS 672362 HAS SOPS 657001 HAS SOUS 179709 HAS SOUPS 177095 WITH SCORE 177767.362
AT ITER 336 NEW BEST:: SOT 1135246 SOS 672812 HAS SOPS 657451 HAS SOUS 178599 HAS SOUPS 175985 WITH SCORE 176657.812
AT ITER 339 NEW BEST:: SOT 1135292 SOS 672840 HAS SOPS 657479 HAS SOUS 178429 HAS SOUPS 175815 WITH SCORE 176487.84
AT ITER 355 NEW BEST:: SOT 1133018 SOS 682224 HAS SOPS 679812 HAS SOUS 169913 HAS SOUPS 168006 WITH SCORE 168688.224
AT ITER 374 NEW BEST:: SOT 1133122 SOS 682328 HAS SOPS 679916 HAS SOUS 169805 HAS SOUPS 167898 WITH SCORE 168580.328
AT ITER 376 NEW BEST:: SOT 1137338 SOS 686528 HAS SOPS 684132 HAS SOUS 169667 HAS SOUPS 167776 WITH SCORE 168462.528
AT ITER 380 NEW BEST:: SOT 1137153 SOS 686343 HAS SOPS 683947 HAS SOUS 169298 HAS SOUPS 167407 WITH SCORE 168093.343
AT ITER 382 NEW BEST:: SOT 1137087 SOS 686277 HAS SOPS 683881 HAS SOUS 169090 HAS SOUPS 167199 WITH SCORE 167885.277
AT ITER 384 NEW BEST:: SOT 1137141 SOS 685519 HAS SOPS 683191 HAS SOUS 169013 HAS SOUPS 167139 WITH SCORE 167824.519
AT ITER 386 NEW BEST:: SOT 1137141 SOS 685013 HAS SOPS 682685 HAS SOUS 168991 HAS SOUPS 167117 WITH SCORE 167802.013
AT ITER 389 NEW BEST:: SOT 1136269 SOS 685485 HAS SOPS 683185 HAS SOUS 168133 HAS SOUPS 166259 WITH SCORE 166944.485
AT ITER 390 NEW BEST:: SOT 1138141 SOS 707062 HAS SOPS 703929 HAS SOUS 168243 HAS SOUPS 166235 WITH SCORE 166942.062
AT ITER 405 NEW BEST:: SOT 1136659 SOS 712970 HAS SOPS 709528 HAS SOUS 168165 HAS SOUPS 166049 WITH SCORE 166761.97
AT ITER 419 NEW BEST:: SOT 1135010 SOS 713846 HAS SOPS 710404 HAS SOUS 168142 HAS SOUPS 166026 WITH SCORE 166739.846
AT ITER 423 NEW BEST:: SOT 1135010 SOS 713801 HAS SOPS 710296 HAS SOUS 167720 HAS SOUPS 165604 WITH SCORE 166317.801
AT ITER 425 NEW BEST:: SOT 1136409 SOS 714407 HAS SOPS 710935 HAS SOUS 167169 HAS SOUPS 165086 WITH SCORE 165800.407
AT ITER 427 NEW BEST:: SOT 1136409 SOS 708005 HAS SOPS 703851 HAS SOUS 167057 HAS SOUPS 164624 WITH SCORE 165332.005
AT ITER 430 NEW BEST:: SOT 1136505 SOS 708117 HAS SOPS 703963 HAS SOUS 166973 HAS SOUPS 164540 WITH SCORE 165248.117
AT ITER 434 NEW BEST:: SOT 1136505 SOS 708124 HAS SOPS 703970 HAS SOUS 166840 HAS SOUPS 164407 WITH SCORE 165115.124
AT ITER 437 NEW BEST:: SOT 1136181 SOS 707800 HAS SOPS 703646 HAS SOUS 166792 HAS SOUPS 164359 WITH SCORE 165066.8
AT ITER 439 NEW BEST:: SOT 1136669 SOS 708288 HAS SOPS 704136 HAS SOUS 165737 HAS SOUPS 163306 WITH SCORE 164014.288
AT ITER 443 NEW BEST:: SOT 1136737 SOS 709104 HAS SOPS 704952 HAS SOUS 165646 HAS SOUPS 163215 WITH SCORE 163924.104
AT ITER 444 NEW BEST:: SOT 1136737 SOS 707625 HAS SOPS 703473 HAS SOUS 165595 HAS SOUPS 163164 WITH SCORE 163871.625
AT ITER 450 NEW BEST:: SOT 1136737 SOS 707730 HAS SOPS 703578 HAS SOUS 165580 HAS SOUPS 163149 WITH SCORE 163856.73
AT ITER 454 NEW BEST:: SOT 1136349 SOS 707342 HAS SOPS 703190 HAS SOUS 164769 HAS SOUPS 162338 WITH SCORE 163045.342
AT ITER 459 NEW BEST:: SOT 1136271 SOS 707264 HAS SOPS 703112 HAS SOUS 164651 HAS SOUPS 162220 WITH SCORE 162927.264
AT ITER 463 NEW BEST:: SOT 1137119 SOS 708112 HAS SOPS 703960 HAS SOUS 164319 HAS SOUPS 161888 WITH SCORE 162596.112
AT ITER 465 NEW BEST:: SOT 1137405 SOS 708999 HAS SOPS 704922 HAS SOUS 162561 HAS SOUPS 160205 WITH SCORE 160913.999
AT ITER 485 NEW BEST:: SOT 1137156 SOS 708743 HAS SOPS 704729 HAS SOUS 162417 HAS SOUPS 160061 WITH SCORE 160769.743
AT ITER 487 NEW BEST:: SOT 1138265 SOS 709834 HAS SOPS 705838 HAS SOUS 161504 HAS SOUPS 159166 WITH SCORE 159875.834
AT ITER 497 NEW BEST:: SOT 1138477 SOS 710064 HAS SOPS 706050 HAS SOUS 161309 HAS SOUPS 158953 WITH SCORE 159663.064
AT ITER 504 NEW BEST:: SOT 1139515 SOS 711102 HAS SOPS 707088 HAS SOUS 160716 HAS SOUPS 158360 WITH SCORE 159071.102
AT ITER 524 NEW BEST:: SOT 1139515 SOS 709739 HAS SOPS 705725 HAS SOUS 160615 HAS SOUPS 158259 WITH SCORE 158968.739
AT ITER 525 NEW BEST:: SOT 1139515 SOS 709877 HAS SOPS 705909 HAS SOUS 160523 HAS SOUPS 158213 WITH SCORE 158922.877
AT ITER 539 NEW BEST:: SOT 1139527 SOS 709887 HAS SOPS 705921 HAS SOUS 160489 HAS SOUPS 158179 WITH SCORE 158888.887
AT ITER 541 NEW BEST:: SOT 1139565 SOS 709925 HAS SOPS 705959 HAS SOUS 160423 HAS SOUPS 158113 WITH SCORE 158822.925
AT ITER 543 NEW BEST:: SOT 1138740 SOS 711082 HAS SOPS 707116 HAS SOUS 160052 HAS SOUPS 157742 WITH SCORE 158453.082
AT ITER 563 NEW BEST:: SOT 1139022 SOS 711364 HAS SOPS 707398 HAS SOUS 158532 HAS SOUPS 156222 WITH SCORE 156933.364
AT ITER 567 NEW BEST:: SOT 1138431 SOS 710773 HAS SOPS 706807 HAS SOUS 158194 HAS SOUPS 155884 WITH SCORE 156594.773
AT ITER 568 NEW BEST:: SOT 1138567 SOS 710900 HAS SOPS 706943 HAS SOUS 156676 HAS SOUPS 154375 WITH SCORE 155085.9
AT ITER 570 NEW BEST:: SOT 1136456 SOS 708789 HAS SOPS 704832 HAS SOUS 156468 HAS SOUPS 154167 WITH SCORE 154875.789
AT ITER 575 NEW BEST:: SOT 1136456 SOS 708525 HAS SOPS 704580 HAS SOUS 156468 HAS SOUPS 154167 WITH SCORE 154875.525
AT ITER 577 NEW BEST:: SOT 1136456 SOS 707997 HAS SOPS 704052 HAS SOUS 156468 HAS SOUPS 154167 WITH SCORE 154874.997
AT ITER 578 NEW BEST:: SOT 1136456 SOS 707997 HAS SOPS 704052 HAS SOUS 156462 HAS SOUPS 154161 WITH SCORE 154868.997
AT ITER 587 NEW BEST:: SOT 1136180 SOS 708533 HAS SOPS 704588 HAS SOUS 156366 HAS SOUPS 154065 WITH SCORE 154773.533
AT ITER 593 NEW BEST:: SOT 1136180 SOS 708490 HAS SOPS 704545 HAS SOUS 156260 HAS SOUPS 153959 WITH SCORE 154667.49
AT ITER 601 NEW BEST:: SOT 1135656 SOS 709646 HAS SOPS 705701 HAS SOUS 156154 HAS SOUPS 153853 WITH SCORE 154562.646
AT ITER 612 NEW BEST:: SOT 1135265 SOS 709108 HAS SOPS 705050 HAS SOUS 155746 HAS SOUPS 153332 WITH SCORE 154041.108
AT ITER 628 NEW BEST:: SOT 1135546 SOS 709389 HAS SOPS 705331 HAS SOUS 155081 HAS SOUPS 152667 WITH SCORE 153376.389
AT ITER 636 NEW BEST:: SOT 1135473 SOS 712076 HAS SOPS 708075 HAS SOUS 154796 HAS SOUPS 152382 WITH SCORE 153094.076
AT ITER 638 NEW BEST:: SOT 1135473 SOS 711233 HAS SOPS 707317 HAS SOUS 154603 HAS SOUPS 152206 WITH SCORE 152917.233
AT ITER 640 NEW BEST:: SOT 1135473 SOS 710465 HAS SOPS 706549 HAS SOUS 154603 HAS SOUPS 152206 WITH SCORE 152916.465
AT ITER 649 NEW BEST:: SOT 1136554 SOS 714314 HAS SOPS 710422 HAS SOUS 152713 HAS SOUPS 150340 WITH SCORE 151054.314
AT ITER 651 NEW BEST:: SOT 1135308 SOS 713068 HAS SOPS 709176 HAS SOUS 151804 HAS SOUPS 149431 WITH SCORE 150144.068
AT ITER 655 NEW BEST:: SOT 1138408 SOS 720179 HAS SOPS 716360 HAS SOUS 151473 HAS SOUPS 149173 WITH SCORE 149893.179
AT ITER 666 NEW BEST:: SOT 1138077 SOS 719848 HAS SOPS 716029 HAS SOUS 151411 HAS SOUPS 149111 WITH SCORE 149830.848
AT ITER 671 NEW BEST:: SOT 1138055 SOS 719826 HAS SOPS 716007 HAS SOUS 151328 HAS SOUPS 149028 WITH SCORE 149747.826
AT ITER 678 NEW BEST:: SOT 1138826 SOS 720597 HAS SOPS 716778 HAS SOUS 150680 HAS SOUPS 148380 WITH SCORE 149100.597
AT ITER 697 NEW BEST:: SOT 1138854 SOS 720933 HAS SOPS 717114 HAS SOUS 150652 HAS SOUPS 148352 WITH SCORE 149072.933
AT ITER 705 NEW BEST:: SOT 1140077 SOS 722156 HAS SOPS 718337 HAS SOUS 149881 HAS SOUPS 147581 WITH SCORE 148303.156
AT ITER 716 NEW BEST:: SOT 1140265 SOS 723268 HAS SOPS 719449 HAS SOUS 148638 HAS SOUPS 146338 WITH SCORE 147061.268
AT ITER 719 NEW BEST:: SOT 1140153 SOS 723124 HAS SOPS 719305 HAS SOUS 148383 HAS SOUPS 146083 WITH SCORE 146806.124
AT ITER 721 NEW BEST:: SOT 1141174 SOS 724145 HAS SOPS 720326 HAS SOUS 147142 HAS SOUPS 144842 WITH SCORE 145566.145
AT ITER 732 NEW BEST:: SOT 1140637 SOS 723608 HAS SOPS 719789 HAS SOUS 146968 HAS SOUPS 144668 WITH SCORE 145391.608
AT ITER 742 NEW BEST:: SOT 1140637 SOS 723673 HAS SOPS 719927 HAS SOUS 145297 HAS SOUPS 143070 WITH SCORE 143793.673
AT ITER 743 NEW BEST:: SOT 1140644 SOS 723855 HAS SOPS 720109 HAS SOUS 145269 HAS SOUPS 143042 WITH SCORE 143765.855
AT ITER 748 NEW BEST:: SOT 1144282 SOS 730421 HAS SOPS 726675 HAS SOUS 144496 HAS SOUPS 142269 WITH SCORE 142999.421
AT ITER 752 NEW BEST:: SOT 1148055 SOS 736810 HAS SOPS 733064 HAS SOUS 143837 HAS SOUPS 141610 WITH SCORE 142346.81
AT ITER 755 NEW BEST:: SOT 1149473 SOS 738228 HAS SOPS 734482 HAS SOUS 143182 HAS SOUPS 140955 WITH SCORE 141693.228
AT ITER 761 NEW BEST:: SOT 1148284 SOS 737325 HAS SOPS 733579 HAS SOUS 142181 HAS SOUPS 139954 WITH SCORE 140691.325
AT ITER 769 NEW BEST:: SOT 1150227 SOS 739268 HAS SOPS 735522 HAS SOUS 141260 HAS SOUPS 139033 WITH SCORE 139772.268
AT ITER 770 NEW BEST:: SOT 1152162 SOS 741548 HAS SOPS 737837 HAS SOUS 139901 HAS SOUPS 137709 WITH SCORE 138450.548
AT ITER 772 NEW BEST:: SOT 1150765 SOS 740151 HAS SOPS 736440 HAS SOUS 139007 HAS SOUPS 136815 WITH SCORE 137555.151
AT ITER 777 NEW BEST:: SOT 1150270 SOS 739704 HAS SOPS 735993 HAS SOUS 138579 HAS SOUPS 136387 WITH SCORE 137126.704
AT ITER 782 NEW BEST:: SOT 1150270 SOS 739762 HAS SOPS 736051 HAS SOUS 138521 HAS SOUPS 136329 WITH SCORE 137068.762
AT ITER 787 NEW BEST:: SOT 1150207 SOS 739699 HAS SOPS 735988 HAS SOUS 137757 HAS SOUPS 135565 WITH SCORE 136304.699
AT ITER 798 NEW BEST:: SOT 1150285 SOS 741571 HAS SOPS 737860 HAS SOUS 137662 HAS SOUPS 135470 WITH SCORE 136211.571
AT ITER 817 NEW BEST:: SOT 1153990 SOS 747631 HAS SOPS 743948 HAS SOUS 137192 HAS SOUPS 135028 WITH SCORE 135775.631
AT ITER 837 NEW BEST:: SOT 1152945 SOS 746586 HAS SOPS 742903 HAS SOUS 136754 HAS SOUPS 134590 WITH SCORE 135336.586
AT ITER 842 NEW BEST:: SOT 1152889 SOS 746530 HAS SOPS 742847 HAS SOUS 136638 HAS SOUPS 134474 WITH SCORE 135220.53
AT ITER 843 NEW BEST:: SOT 1154767 SOS 750431 HAS SOPS 747062 HAS SOUS 135872 HAS SOUPS 134022 WITH SCORE 134772.431
AT ITER 847 NEW BEST:: SOT 1156865 SOS 752529 HAS SOPS 749160 HAS SOUS 135447 HAS SOUPS 133597 WITH SCORE 134349.529
AT ITER 854 NEW BEST:: SOT 1158533 SOS 754197 HAS SOPS 750828 HAS SOUS 134860 HAS SOUPS 133010 WITH SCORE 133764.197
AT ITER 857 NEW BEST:: SOT 1157248 SOS 752851 HAS SOPS 749457 HAS SOUS 134179 HAS SOUPS 132304 WITH SCORE 133056.851
AT ITER 862 NEW BEST:: SOT 1157248 SOS 748776 HAS SOPS 745642 HAS SOUS 133944 HAS SOUPS 132121 WITH SCORE 132869.776
AT ITER 867 NEW BEST:: SOT 1157248 SOS 748050 HAS SOPS 744916 HAS SOUS 133878 HAS SOUPS 132055 WITH SCORE 132803.05
AT ITER 870 NEW BEST:: SOT 1157248 SOS 748050 HAS SOPS 744916 HAS SOUS 133872 HAS SOUPS 132049 WITH SCORE 132797.05
AT ITER 871 NEW BEST:: SOT 1156456 SOS 747233 HAS SOPS 744124 HAS SOUS 133278 HAS SOUPS 131480 WITH SCORE 132227.233
AT ITER 874 NEW BEST:: SOT 1157009 SOS 747129 HAS SOPS 744285 HAS SOUS 132818 HAS SOUPS 131285 WITH SCORE 132032.129
AT ITER 887 NEW BEST:: SOT 1157009 SOS 747129 HAS SOPS 744285 HAS SOUS 132789 HAS SOUPS 131256 WITH SCORE 132003.129
AT ITER 890 NEW BEST:: SOT 1156718 SOS 746838 HAS SOPS 743994 HAS SOUS 132275 HAS SOUPS 130742 WITH SCORE 131488.838
AT ITER 916 NEW BEST:: SOT 1156718 SOS 750454 HAS SOPS 747610 HAS SOUS 132178 HAS SOUPS 130645 WITH SCORE 131395.454
AT ITER 919 NEW BEST:: SOT 1156797 SOS 750581 HAS SOPS 747737 HAS SOUS 132046 HAS SOUPS 130513 WITH SCORE 131263.581
AT ITER 925 NEW BEST:: SOT 1156772 SOS 750556 HAS SOPS 747712 HAS SOUS 132011 HAS SOUPS 130478 WITH SCORE 131228.556
AT ITER 927 NEW BEST:: SOT 1156644 SOS 749036 HAS SOPS 746192 HAS SOUS 131748 HAS SOUPS 130215 WITH SCORE 130964.036
AT ITER 932 NEW BEST:: SOT 1156619 SOS 749011 HAS SOPS 746167 HAS SOUS 131698 HAS SOUPS 130165 WITH SCORE 130914.011
AT ITER 933 NEW BEST:: SOT 1156785 SOS 749177 HAS SOPS 746333 HAS SOUS 131342 HAS SOUPS 129809 WITH SCORE 130558.177
AT ITER 939 NEW BEST:: SOT 1156785 SOS 749162 HAS SOPS 746318 HAS SOUS 131342 HAS SOUPS 129809 WITH SCORE 130558.162
AT ITER 940 NEW BEST:: SOT 1156438 SOS 748815 HAS SOPS 745971 HAS SOUS 131016 HAS SOUPS 129483 WITH SCORE 130231.815
AT ITER 961 NEW BEST:: SOT 1155988 SOS 748365 HAS SOPS 745521 HAS SOUS 130949 HAS SOUPS 129416 WITH SCORE 130164.365
AT ITER 967 NEW BEST:: SOT 1155474 SOS 747851 HAS SOPS 745007 HAS SOUS 130736 HAS SOUPS 129203 WITH SCORE 129950.851
AT ITER 973 NEW BEST:: SOT 1155660 SOS 744954 HAS SOPS 742250 HAS SOUS 130551 HAS SOUPS 129053 WITH SCORE 129797.954
AT ITER 979 NEW BEST:: SOT 1155660 SOS 744954 HAS SOPS 742250 HAS SOUS 130533 HAS SOUPS 129035 WITH SCORE 129779.954
AT ITER 1002 NEW BEST:: SOT 1155444 SOS 744738 HAS SOPS 742034 HAS SOUS 130302 HAS SOUPS 128804 WITH SCORE 129548.738
AT ITER 1014 NEW BEST:: SOT 1155450 SOS 744744 HAS SOPS 742040 HAS SOUS 130163 HAS SOUPS 128665 WITH SCORE 129409.744
AT ITER 1033 NEW BEST:: SOT 1155450 SOS 744744 HAS SOPS 742040 HAS SOUS 130137 HAS SOUPS 128639 WITH SCORE 129383.744
AT ITER 1038 NEW BEST:: SOT 1154899 SOS 744193 HAS SOPS 741489 HAS SOUS 129311 HAS SOUPS 127813 WITH SCORE 128557.193
AT ITER 1049 NEW BEST:: SOT 1155166 SOS 744460 HAS SOPS 741756 HAS SOUS 129002 HAS SOUPS 127504 WITH SCORE 128248.46
AT ITER 1068 NEW BEST:: SOT 1153821 SOS 725543 HAS SOPS 719680 HAS SOUS 128572 HAS SOUPS 126742 WITH SCORE 127467.543
AT ITER 1089 NEW BEST:: SOT 1153821 SOS 725543 HAS SOPS 719680 HAS SOUS 128559 HAS SOUPS 126729 WITH SCORE 127454.543
AT ITER 1122 NEW BEST:: SOT 1152069 SOS 721475 HAS SOPS 715606 HAS SOUS 128554 HAS SOUPS 126718 WITH SCORE 127439.475
AT ITER 1130 NEW BEST:: SOT 1152012 SOS 721475 HAS SOPS 715606 HAS SOUS 128251 HAS SOUPS 126415 WITH SCORE 127136.475
AT ITER 1131 NEW BEST:: SOT 1152332 SOS 721795 HAS SOPS 715926 HAS SOUS 128105 HAS SOUPS 126269 WITH SCORE 126990.795
AT ITER 1155 NEW BEST:: SOT 1153616 SOS 720863 HAS SOPS 714994 HAS SOUS 127841 HAS SOUPS 126005 WITH SCORE 126725.863
AT ITER 1156 NEW BEST:: SOT 1152741 SOS 719434 HAS SOPS 713459 HAS SOUS 127565 HAS SOUPS 125729 WITH SCORE 126448.434
AT ITER 1166 NEW BEST:: SOT 1152741 SOS 719338 HAS SOPS 713363 HAS SOUS 127565 HAS SOUPS 125729 WITH SCORE 126448.338
AT ITER 1170 NEW BEST:: SOT 1152741 SOS 717671 HAS SOPS 711696 HAS SOUS 127456 HAS SOUPS 125620 WITH SCORE 126337.671
AT ITER 1171 NEW BEST:: SOT 1152767 SOS 717697 HAS SOPS 711722 HAS SOUS 126970 HAS SOUPS 125134 WITH SCORE 125851.697
AT ITER 1172 NEW BEST:: SOT 1152800 SOS 717379 HAS SOPS 711420 HAS SOUS 126945 HAS SOUPS 125113 WITH SCORE 125830.379
AT ITER 1174 NEW BEST:: SOT 1152800 SOS 716222 HAS SOPS 710328 HAS SOUS 126932 HAS SOUPS 125113 WITH SCORE 125829.222
AT ITER 1175 NEW BEST:: SOT 1152915 SOS 718137 HAS SOPS 713203 HAS SOUS 126886 HAS SOUPS 125037 WITH SCORE 125755.137
AT ITER 1176 NEW BEST:: SOT 1152603 SOS 717596 HAS SOPS 712651 HAS SOUS 126549 HAS SOUPS 124700 WITH SCORE 125417.596
AT ITER 1182 NEW BEST:: SOT 1152603 SOS 715620 HAS SOPS 710795 HAS SOUS 126323 HAS SOUPS 124474 WITH SCORE 125189.62
AT ITER 1190 NEW BEST:: SOT 1152603 SOS 714524 HAS SOPS 709699 HAS SOUS 126281 HAS SOUPS 124432 WITH SCORE 125146.524
AT ITER 1196 NEW BEST:: SOT 1153286 SOS 716801 HAS SOPS 711906 HAS SOUS 125866 HAS SOUPS 123947 WITH SCORE 124663.801
AT ITER 1199 NEW BEST:: SOT 1153856 SOS 717371 HAS SOPS 712476 HAS SOUS 125587 HAS SOUPS 123668 WITH SCORE 124385.371
AT ITER 1212 NEW BEST:: SOT 1157412 SOS 719970 HAS SOPS 716032 HAS SOUS 125197 HAS SOUPS 123329 WITH SCORE 124048.97
AT ITER 1215 NEW BEST:: SOT 1157412 SOS 736745 HAS SOPS 732987 HAS SOUS 125142 HAS SOUPS 123278 WITH SCORE 124014.745
AT ITER 1216 NEW BEST:: SOT 1156782 SOS 737435 HAS SOPS 733677 HAS SOUS 124666 HAS SOUPS 122802 WITH SCORE 123539.435
AT ITER 1225 NEW BEST:: SOT 1156782 SOS 736955 HAS SOPS 733197 HAS SOUS 124666 HAS SOUPS 122802 WITH SCORE 123538.955
AT ITER 1228 NEW BEST:: SOT 1156710 SOS 736883 HAS SOPS 733125 HAS SOUS 124516 HAS SOUPS 122652 WITH SCORE 123388.883
AT ITER 1239 NEW BEST:: SOT 1156710 SOS 736948 HAS SOPS 733185 HAS SOUS 124508 HAS SOUPS 122639 WITH SCORE 123375.948
AT ITER 1243 NEW BEST:: SOT 1156677 SOS 736915 HAS SOPS 733152 HAS SOUS 124489 HAS SOUPS 122620 WITH SCORE 123356.915
AT ITER 1250 NEW BEST:: SOT 1156682 SOS 736920 HAS SOPS 733157 HAS SOUS 124480 HAS SOUPS 122611 WITH SCORE 123347.92
AT ITER 1251 NEW BEST:: SOT 1156655 SOS 736893 HAS SOPS 733130 HAS SOUS 124423 HAS SOUPS 122554 WITH SCORE 123290.893
AT ITER 1252 NEW BEST:: SOT 1156774 SOS 737848 HAS SOPS 734085 HAS SOUS 124135 HAS SOUPS 122266 WITH SCORE 123003.848
AT ITER 1257 NEW BEST:: SOT 1156762 SOS 737836 HAS SOPS 734073 HAS SOUS 124123 HAS SOUPS 122254 WITH SCORE 122991.836
AT ITER 1260 NEW BEST:: SOT 1156888 SOS 737962 HAS SOPS 734199 HAS SOUS 123904 HAS SOUPS 122035 WITH SCORE 122772.962
AT ITER 1273 NEW BEST:: SOT 1157160 SOS 737497 HAS SOPS 733687 HAS SOUS 123635 HAS SOUPS 121766 WITH SCORE 122503.497
AT ITER 1283 NEW BEST:: SOT 1157031 SOS 737368 HAS SOPS 733558 HAS SOUS 123600 HAS SOUPS 121731 WITH SCORE 122468.368
AT ITER 1289 NEW BEST:: SOT 1157117 SOS 737079 HAS SOPS 733135 HAS SOUS 123717 HAS SOUPS 121714 WITH SCORE 122451.079
AT ITER 1292 NEW BEST:: SOT 1159499 SOS 739408 HAS SOPS 735657 HAS SOUS 123573 HAS SOUPS 121580 WITH SCORE 122319.408
AT ITER 1309 NEW BEST:: SOT 1159257 SOS 740106 HAS SOPS 736355 HAS SOUS 123228 HAS SOUPS 121235 WITH SCORE 121975.106
AT ITER 1316 NEW BEST:: SOT 1159524 SOS 740373 HAS SOPS 736622 HAS SOUS 123126 HAS SOUPS 121133 WITH SCORE 121873.373
AT ITER 1320 NEW BEST:: SOT 1159551 SOS 729867 HAS SOPS 725787 HAS SOUS 123059 HAS SOUPS 121045 WITH SCORE 121774.867
AT ITER 1321 NEW BEST:: SOT 1159551 SOS 729823 HAS SOPS 725765 HAS SOUS 123037 HAS SOUPS 121023 WITH SCORE 121752.823
AT ITER 1324 NEW BEST:: SOT 1159827 SOS 730059 HAS SOPS 726041 HAS SOUS 120400 HAS SOUPS 118426 WITH SCORE 119156.059
AT ITER 1333 NEW BEST:: SOT 1159827 SOS 723183 HAS SOPS 719137 HAS SOUS 120399 HAS SOUPS 118419 WITH SCORE 119142.183
AT ITER 1340 NEW BEST:: SOT 1160362 SOS 705027 HAS SOPS 700932 HAS SOUS 119953 HAS SOUPS 118170 WITH SCORE 118875.027
AT ITER 1342 NEW BEST:: SOT 1159487 SOS 704152 HAS SOPS 700057 HAS SOUS 119810 HAS SOUPS 118027 WITH SCORE 118731.152
AT ITER 1346 NEW BEST:: SOT 1159567 SOS 704232 HAS SOPS 700137 HAS SOUS 119790 HAS SOUPS 118007 WITH SCORE 118711.232
AT ITER 1351 NEW BEST:: SOT 1158549 SOS 706949 HAS SOPS 702724 HAS SOUS 118744 HAS SOUPS 116833 WITH SCORE 117539.949
AT ITER 1352 NEW BEST:: SOT 1158525 SOS 706925 HAS SOPS 702700 HAS SOUS 118720 HAS SOUPS 116809 WITH SCORE 117515.925
AT ITER 1402 NEW BEST:: SOT 1157877 SOS 706156 HAS SOPS 701912 HAS SOUS 118502 HAS SOUPS 116591 WITH SCORE 117297.156
AT ITER 1410 NEW BEST:: SOT 1157877 SOS 706432 HAS SOPS 702198 HAS SOUS 118337 HAS SOUPS 116436 WITH SCORE 117142.432
AT ITER 1413 NEW BEST:: SOT 1157877 SOS 706598 HAS SOPS 702378 HAS SOUS 118258 HAS SOUPS 116367 WITH SCORE 117073.598
AT ITER 1421 NEW BEST:: SOT 1158077 SOS 708280 HAS SOPS 704060 HAS SOUS 117984 HAS SOUPS 116093 WITH SCORE 116801.28
AT ITER 1433 NEW BEST:: SOT 1157502 SOS 707705 HAS SOPS 703485 HAS SOUS 117785 HAS SOUPS 115894 WITH SCORE 116601.705
AT ITER 1435 NEW BEST:: SOT 1157502 SOS 707688 HAS SOPS 703468 HAS SOUS 117768 HAS SOUPS 115877 WITH SCORE 116584.688
AT ITER 1439 NEW BEST:: SOT 1156467 SOS 707786 HAS SOPS 703566 HAS SOUS 116974 HAS SOUPS 115083 WITH SCORE 115790.786
AT ITER 1458 NEW BEST:: SOT 1156413 SOS 707732 HAS SOPS 703512 HAS SOUS 116645 HAS SOUPS 114754 WITH SCORE 115461.732
AT ITER 1461 NEW BEST:: SOT 1157257 SOS 709173 HAS SOPS 705344 HAS SOUS 116052 HAS SOUPS 114161 WITH SCORE 114870.173
AT ITER 1468 NEW BEST:: SOT 1157257 SOS 708069 HAS SOPS 704240 HAS SOUS 116052 HAS SOUPS 114161 WITH SCORE 114869.069
AT ITER 1474 NEW BEST:: SOT 1158528 SOS 709852 HAS SOPS 706039 HAS SOUS 115178 HAS SOUPS 113303 WITH SCORE 114012.852
AT ITER 1491 NEW BEST:: SOT 1158528 SOS 709852 HAS SOPS 706039 HAS SOUS 115171 HAS SOUPS 113296 WITH SCORE 114005.852
AT ITER 1494 NEW BEST:: SOT 1156544 SOS 707868 HAS SOPS 704055 HAS SOUS 114544 HAS SOUPS 112669 WITH SCORE 113376.868
AT ITER 1496 NEW BEST:: SOT 1156523 SOS 706465 HAS SOPS 702751 HAS SOUS 114366 HAS SOUPS 112511 WITH SCORE 113217.465
AT ITER 1498 NEW BEST:: SOT 1156809 SOS 706912 HAS SOPS 703237 HAS SOUS 114201 HAS SOUPS 112385 WITH SCORE 113091.912
AT ITER 1502 NEW BEST:: SOT 1158913 SOS 710198 HAS SOPS 706523 HAS SOUS 114034 HAS SOUPS 112218 WITH SCORE 112928.198
AT ITER 1511 NEW BEST:: SOT 1158849 SOS 710118 HAS SOPS 706443 HAS SOUS 113892 HAS SOUPS 112076 WITH SCORE 112786.118
AT ITER 1536 NEW BEST:: SOT 1158849 SOS 710118 HAS SOPS 706443 HAS SOUS 113870 HAS SOUPS 112054 WITH SCORE 112764.118
AT ITER 1539 NEW BEST:: SOT 1159149 SOS 710270 HAS SOPS 706688 HAS SOUS 113198 HAS SOUPS 111414 WITH SCORE 112124.27
AT ITER 1551 NEW BEST:: SOT 1158979 SOS 710100 HAS SOPS 706518 HAS SOUS 113143 HAS SOUPS 111359 WITH SCORE 112069.1
AT ITER 1559 NEW BEST:: SOT 1162310 SOS 831656 HAS SOPS 829758 HAS SOUS 112693 HAS SOUPS 111162 WITH SCORE 111993.656
AT ITER 1569 NEW BEST:: SOT 1162605 SOS 831979 HAS SOPS 830081 HAS SOUS 112158 HAS SOUPS 110627 WITH SCORE 111458.979
AT ITER 1604 NEW BEST:: SOT 1162603 SOS 832073 HAS SOPS 830199 HAS SOUS 111919 HAS SOUPS 110412 WITH SCORE 111244.073
AT ITER 1627 NEW BEST:: SOT 1162620 SOS 832090 HAS SOPS 830216 HAS SOUS 111596 HAS SOUPS 110089 WITH SCORE 110921.09
AT ITER 1646 NEW BEST:: SOT 1162268 SOS 831182 HAS SOPS 829292 HAS SOUS 111029 HAS SOUPS 109506 WITH SCORE 110337.182
AT ITER 1648 NEW BEST:: SOT 1162268 SOS 847214 HAS SOPS 845322 HAS SOUS 110999 HAS SOUPS 109482 WITH SCORE 110329.214
AT ITER 1656 NEW BEST:: SOT 1162268 SOS 845560 HAS SOPS 843766 HAS SOUS 110903 HAS SOUPS 109406 WITH SCORE 110251.56
AT ITER 1665 NEW BEST:: SOT 1164344 SOS 850727 HAS SOPS 849342 HAS SOUS 110340 HAS SOUPS 109252 WITH SCORE 110102.727
AT ITER 1666 NEW BEST:: SOT 1164305 SOS 850688 HAS SOPS 849303 HAS SOUS 109549 HAS SOUPS 108461 WITH SCORE 109311.688
AT ITER 1690 NEW BEST:: SOT 1163791 SOS 850174 HAS SOPS 848787 HAS SOUS 109155 HAS SOUPS 108065 WITH SCORE 108915.174
AT ITER 1693 NEW BEST:: SOT 1163791 SOS 850381 HAS SOPS 848994 HAS SOUS 109146 HAS SOUPS 108056 WITH SCORE 108906.381
AT ITER 1705 NEW BEST:: SOT 1163791 SOS 849919 HAS SOPS 848406 HAS SOUS 109111 HAS SOUPS 108035 WITH SCORE 108884.919
AT ITER 1709 NEW BEST:: SOT 1163487 SOS 849615 HAS SOPS 848102 HAS SOUS 108892 HAS SOUPS 107816 WITH SCORE 108665.615
AT ITER 1756 NEW BEST:: SOT 1163438 SOS 849574 HAS SOPS 848061 HAS SOUS 108483 HAS SOUPS 107407 WITH SCORE 108256.574
AT ITER 1764 NEW BEST:: SOT 1163298 SOS 849434 HAS SOPS 847921 HAS SOUS 108430 HAS SOUPS 107354 WITH SCORE 108203.434
AT ITER 1765 NEW BEST:: SOT 1163298 SOS 848320 HAS SOPS 846807 HAS SOUS 108380 HAS SOUPS 107304 WITH SCORE 108152.32
AT ITER 1780 NEW BEST:: SOT 1161866 SOS 847876 HAS SOPS 846363 HAS SOUS 108067 HAS SOUPS 106991 WITH SCORE 107838.876
AT ITER 1792 NEW BEST:: SOT 1161866 SOS 847860 HAS SOPS 846363 HAS SOUS 108051 HAS SOUPS 106991 WITH SCORE 107838.86
AT ITER 1795 NEW BEST:: SOT 1161911 SOS 849032 HAS SOPS 847535 HAS SOUS 107554 HAS SOUPS 106494 WITH SCORE 107343.032
AT ITER 1817 NEW BEST:: SOT 1161143 SOS 848392 HAS SOPS 846895 HAS SOUS 107522 HAS SOUPS 106462 WITH SCORE 107310.392
AT ITER 1822 NEW BEST:: SOT 1161143 SOS 848486 HAS SOPS 846989 HAS SOUS 107512 HAS SOUPS 106452 WITH SCORE 107300.486
AT ITER 1842 NEW BEST:: SOT 1161015 SOS 848358 HAS SOPS 846861 HAS SOUS 107313 HAS SOUPS 106253 WITH SCORE 107101.358
AT ITER 1850 NEW BEST:: SOT 1161015 SOS 848632 HAS SOPS 847139 HAS SOUS 107251 HAS SOUPS 106195 WITH SCORE 107043.632
AT ITER 1862 NEW BEST:: SOT 1161021 SOS 848638 HAS SOPS 847145 HAS SOUS 107234 HAS SOUPS 106178 WITH SCORE 107026.638
AT ITER 1870 NEW BEST:: SOT 1161021 SOS 848135 HAS SOPS 846642 HAS SOUS 107213 HAS SOUPS 106157 WITH SCORE 107005.135
AT ITER 1873 NEW BEST:: SOT 1161033 SOS 846440 HAS SOPS 844870 HAS SOUS 107242 HAS SOUPS 106144 WITH SCORE 106990.44
AT ITER 1891 NEW BEST:: SOT 1161008 SOS 846415 HAS SOPS 844845 HAS SOUS 107193 HAS SOUPS 106095 WITH SCORE 106941.415
AT ITER 1900 NEW BEST:: SOT 1162223 SOS 847630 HAS SOPS 846060 HAS SOUS 107162 HAS SOUPS 106064 WITH SCORE 106911.63
AT ITER 1906 NEW BEST:: SOT 1162223 SOS 847556 HAS SOPS 845986 HAS SOUS 107162 HAS SOUPS 106064 WITH SCORE 106911.556
AT ITER 1911 NEW BEST:: SOT 1162404 SOS 847752 HAS SOPS 846182 HAS SOUS 106858 HAS SOUPS 105760 WITH SCORE 106607.752
AT ITER 1915 NEW BEST:: SOT 1165268 SOS 853322 HAS SOPS 851806 HAS SOUS 106599 HAS SOUPS 105555 WITH SCORE 106408.322
AT ITER 1921 NEW BEST:: SOT 1167052 SOS 855538 HAS SOPS 854022 HAS SOUS 106295 HAS SOUPS 105251 WITH SCORE 106106.538
AT ITER 1941 NEW BEST:: SOT 1166760 SOS 855246 HAS SOPS 853730 HAS SOUS 104997 HAS SOUPS 103953 WITH SCORE 104808.246
AT ITER 1952 NEW BEST:: SOT 1166549 SOS 855035 HAS SOPS 853519 HAS SOUS 104870 HAS SOUPS 103826 WITH SCORE 104681.035
AT ITER 1956 NEW BEST:: SOT 1166549 SOS 854885 HAS SOPS 853375 HAS SOUS 104864 HAS SOUPS 103826 WITH SCORE 104680.885
AT ITER 1960 NEW BEST:: SOT 1166193 SOS 851876 HAS SOPS 850187 HAS SOUS 105044 HAS SOUPS 103827 WITH SCORE 104678.876
AT ITER 1964 NEW BEST:: SOT 1166095 SOS 851778 HAS SOPS 850089 HAS SOUS 104874 HAS SOUPS 103657 WITH SCORE 104508.778
AT ITER 1965 NEW BEST:: SOT 1165878 SOS 851561 HAS SOPS 849872 HAS SOUS 104394 HAS SOUPS 103177 WITH SCORE 104028.561
AT ITER 1967 NEW BEST:: SOT 1161923 SOS 847427 HAS SOPS 845917 HAS SOUS 103854 HAS SOUPS 102816 WITH SCORE 103663.427
AT ITER 1968 NEW BEST:: SOT 1163304 SOS 848005 HAS SOPS 846526 HAS SOUS 103352 HAS SOUPS 102356 WITH SCORE 103204.005
AT ITER 1973 NEW BEST:: SOT 1164127 SOS 848828 HAS SOPS 847349 HAS SOUS 103236 HAS SOUPS 102240 WITH SCORE 103088.828
AT ITER 1974 NEW BEST:: SOT 1162437 SOS 838379 HAS SOPS 836893 HAS SOUS 102419 HAS SOUPS 101416 WITH SCORE 102254.379
AT ITER 1982 NEW BEST:: SOT 1160895 SOS 833610 HAS SOPS 831846 HAS SOUS 102537 HAS SOUPS 101256 WITH SCORE 102089.61
AT ITER 1983 NEW BEST:: SOT 1160947 SOS 835900 HAS SOPS 834169 HAS SOUS 101983 HAS SOUPS 100711 WITH SCORE 101546.9
AT ITER 1991 NEW BEST:: SOT 1158037 SOS 726801 HAS SOPS 724619 HAS SOUS 101386 HAS SOUPS 100093 WITH SCORE 100819.801
AT ITER 1994 NEW BEST:: SOT 1158052 SOS 726816 HAS SOPS 724634 HAS SOUS 101290 HAS SOUPS 99997 WITH SCORE 100723.816
AT ITER 1997 NEW BEST:: SOT 1157867 SOS 726631 HAS SOPS 724449 HAS SOUS 101097 HAS SOUPS 99804 WITH SCORE 100530.631
AT ITER 1998 NEW BEST:: SOT 1157706 SOS 726484 HAS SOPS 724302 HAS SOUS 100940 HAS SOUPS 99647 WITH SCORE 100373.484
AT ITER 2014 NEW BEST:: SOT 1157718 SOS 726520 HAS SOPS 724338 HAS SOUS 100938 HAS SOUPS 99645 WITH SCORE 100371.52
AT ITER 2026 NEW BEST:: SOT 1157718 SOS 726806 HAS SOPS 724624 HAS SOUS 100885 HAS SOUPS 99592 WITH SCORE 100318.806
AT ITER 2063 NEW BEST:: SOT 1160107 SOS 729195 HAS SOPS 727013 HAS SOUS 100413 HAS SOUPS 99120 WITH SCORE 99849.195
AT ITER 2073 NEW BEST:: SOT 1160176 SOS 729264 HAS SOPS 727082 HAS SOUS 100385 HAS SOUPS 99092 WITH SCORE 99821.264
AT ITER 2076 NEW BEST:: SOT 1160176 SOS 729264 HAS SOPS 727082 HAS SOUS 100328 HAS SOUPS 99035 WITH SCORE 99764.264
AT ITER 2077 NEW BEST:: SOT 1160176 SOS 729939 HAS SOPS 727757 HAS SOUS 100318 HAS SOUPS 99025 WITH SCORE 99754.939
AT ITER 2078 NEW BEST:: SOT 1160176 SOS 729927 HAS SOPS 727745 HAS SOUS 100318 HAS SOUPS 99025 WITH SCORE 99754.927
AT ITER 2080 NEW BEST:: SOT 1160176 SOS 729925 HAS SOPS 727743 HAS SOUS 100317 HAS SOUPS 99024 WITH SCORE 99753.925
AT ITER 2090 NEW BEST:: SOT 1160096 SOS 729845 HAS SOPS 727663 HAS SOUS 100237 HAS SOUPS 98944 WITH SCORE 99673.845
AT ITER 2122 NEW BEST:: SOT 1160111 SOS 730205 HAS SOPS 728023 HAS SOUS 100222 HAS SOUPS 98929 WITH SCORE 99659.205
AT ITER 2128 NEW BEST:: SOT 1159916 SOS 730010 HAS SOPS 727828 HAS SOUS 99573 HAS SOUPS 98280 WITH SCORE 99010.01
AT ITER 2145 NEW BEST:: SOT 1159981 SOS 729835 HAS SOPS 727641 HAS SOUS 99477 HAS SOUPS 98184 WITH SCORE 98913.835
AT ITER 2147 NEW BEST:: SOT 1159981 SOS 729831 HAS SOPS 727641 HAS SOUS 99473 HAS SOUPS 98184 WITH SCORE 98913.831
AT ITER 2161 NEW BEST:: SOT 1159937 SOS 730238 HAS SOPS 728048 HAS SOUS 99463 HAS SOUPS 98174 WITH SCORE 98904.238
AT ITER 2166 NEW BEST:: SOT 1160091 SOS 730392 HAS SOPS 728202 HAS SOUS 99280 HAS SOUPS 97991 WITH SCORE 98721.392
AT ITER 2168 NEW BEST:: SOT 1159348 SOS 729563 HAS SOPS 727373 HAS SOUS 99187 HAS SOUPS 97898 WITH SCORE 98627.563
AT ITER 2180 NEW BEST:: SOT 1159348 SOS 729563 HAS SOPS 727373 HAS SOUS 99057 HAS SOUPS 97768 WITH SCORE 98497.563
AT ITER 2215 NEW BEST:: SOT 1159348 SOS 728051 HAS SOPS 725861 HAS SOUS 99057 HAS SOUPS 97768 WITH SCORE 98496.051
AT ITER 2219 NEW BEST:: SOT 1159348 SOS 727941 HAS SOPS 725751 HAS SOUS 99057 HAS SOUPS 97768 WITH SCORE 98495.941
AT ITER 2228 NEW BEST:: SOT 1159336 SOS 727929 HAS SOPS 725739 HAS SOUS 99051 HAS SOUPS 97762 WITH SCORE 98489.929
AT ITER 2248 NEW BEST:: SOT 1159697 SOS 728182 HAS SOPS 725992 HAS SOUS 98795 HAS SOUPS 97506 WITH SCORE 98234.182
AT ITER 2250 NEW BEST:: SOT 1160556 SOS 729237 HAS SOPS 727047 HAS SOUS 98514 HAS SOUPS 97225 WITH SCORE 97954.237
AT ITER 2267 NEW BEST:: SOT 1160496 SOS 729177 HAS SOPS 726987 HAS SOUS 98494 HAS SOUPS 97205 WITH SCORE 97934.177
AT ITER 2280 NEW BEST:: SOT 1161998 SOS 730679 HAS SOPS 728489 HAS SOUS 97160 HAS SOUPS 95871 WITH SCORE 96601.679
AT ITER 2286 NEW BEST:: SOT 1161998 SOS 730529 HAS SOPS 728339 HAS SOUS 97160 HAS SOUPS 95871 WITH SCORE 96601.529
AT ITER 2289 NEW BEST:: SOT 1160613 SOS 728408 HAS SOPS 726187 HAS SOUS 97027 HAS SOUPS 95707 WITH SCORE 96435.408
AT ITER 2298 NEW BEST:: SOT 1159330 SOS 726691 HAS SOPS 724904 HAS SOUS 94045 HAS SOUPS 92744 WITH SCORE 93470.691
AT ITER 2305 NEW BEST:: SOT 1159239 SOS 726528 HAS SOPS 724741 HAS SOUS 93918 HAS SOUPS 92617 WITH SCORE 93343.528
AT ITER 2310 NEW BEST:: SOT 1158130 SOS 724890 HAS SOPS 723080 HAS SOUS 93671 HAS SOUPS 92347 WITH SCORE 93071.89
AT ITER 2321 NEW BEST:: SOT 1158132 SOS 724892 HAS SOPS 723082 HAS SOUS 93669 HAS SOUPS 92345 WITH SCORE 93069.892
AT ITER 2340 NEW BEST:: SOT 1156159 SOS 721462 HAS SOPS 719652 HAS SOUS 91927 HAS SOUPS 90603 WITH SCORE 91324.462
AT ITER 2353 NEW BEST:: SOT 1156137 SOS 721440 HAS SOPS 719630 HAS SOUS 91905 HAS SOUPS 90581 WITH SCORE 91302.44
AT ITER 2357 NEW BEST:: SOT 1156105 SOS 721408 HAS SOPS 719598 HAS SOUS 91863 HAS SOUPS 90539 WITH SCORE 91260.408
AT ITER 2373 NEW BEST:: SOT 1156105 SOS 694289 HAS SOPS 692431 HAS SOUS 91851 HAS SOUPS 90527 WITH SCORE 91221.289
AT ITER 2374 NEW BEST:: SOT 1156105 SOS 694013 HAS SOPS 692079 HAS SOUS 91835 HAS SOUPS 90519 WITH SCORE 91213.013
AT ITER 2382 NEW BEST:: SOT 1155673 SOS 693581 HAS SOPS 691647 HAS SOUS 91403 HAS SOUPS 90087 WITH SCORE 90780.581
AT ITER 2387 NEW BEST:: SOT 1155851 SOS 693759 HAS SOPS 691825 HAS SOUS 91276 HAS SOUPS 89960 WITH SCORE 90653.759
AT ITER 2416 NEW BEST:: SOT 1155559 SOS 805410 HAS SOPS 803512 HAS SOUS 90957 HAS SOUPS 89650 WITH SCORE 90455.41
AT ITER 2459 NEW BEST:: SOT 1154586 SOS 784295 HAS SOPS 782397 HAS SOUS 89913 HAS SOUPS 88606 WITH SCORE 89390.295
AT ITER 2460 NEW BEST:: SOT 1154586 SOS 784312 HAS SOPS 782414 HAS SOUS 89896 HAS SOUPS 88589 WITH SCORE 89373.312
AT ITER 2474 NEW BEST:: SOT 1154435 SOS 784161 HAS SOPS 782263 HAS SOUS 89634 HAS SOUPS 88327 WITH SCORE 89111.161
AT ITER 2482 NEW BEST:: SOT 1154435 SOS 784153 HAS SOPS 782255 HAS SOUS 89634 HAS SOUPS 88327 WITH SCORE 89111.153
AT ITER 2483 NEW BEST:: SOT 1154435 SOS 784249 HAS SOPS 782347 HAS SOUS 89630 HAS SOUPS 88323 WITH SCORE 89107.249
AT ITER 2507 NEW BEST:: SOT 1154393 SOS 784207 HAS SOPS 782305 HAS SOUS 89579 HAS SOUPS 88272 WITH SCORE 89056.207
AT ITER 2524 NEW BEST:: SOT 1154221 SOS 784035 HAS SOPS 782133 HAS SOUS 89487 HAS SOUPS 88180 WITH SCORE 88964.035
AT ITER 2572 NEW BEST:: SOT 1155522 SOS 788569 HAS SOPS 787062 HAS SOUS 88978 HAS SOUPS 88066 WITH SCORE 88854.569
AT ITER 2575 NEW BEST:: SOT 1155523 SOS 788583 HAS SOPS 787076 HAS SOUS 88964 HAS SOUPS 88052 WITH SCORE 88840.583
AT ITER 2593 NEW BEST:: SOT 1153987 SOS 787047 HAS SOPS 785540 HAS SOUS 88880 HAS SOUPS 87968 WITH SCORE 88755.047
AT ITER 2595 NEW BEST:: SOT 1153954 SOS 788026 HAS SOPS 786519 HAS SOUS 88818 HAS SOUPS 87906 WITH SCORE 88694.026
AT ITER 2614 NEW BEST:: SOT 1153907 SOS 787979 HAS SOPS 786472 HAS SOUS 88815 HAS SOUPS 87903 WITH SCORE 88690.979
AT ITER 2653 NEW BEST:: SOT 1153930 SOS 788002 HAS SOPS 786495 HAS SOUS 88544 HAS SOUPS 87632 WITH SCORE 88420.002
AT ITER 2656 NEW BEST:: SOT 1152585 SOS 793058 HAS SOPS 791551 HAS SOUS 87328 HAS SOUPS 86416 WITH SCORE 87209.058
AT ITER 2669 NEW BEST:: SOT 1152585 SOS 793058 HAS SOPS 791551 HAS SOUS 87319 HAS SOUPS 86407 WITH SCORE 87200.058
AT ITER 2672 NEW BEST:: SOT 1152413 SOS 796510 HAS SOPS 795003 HAS SOUS 86740 HAS SOUPS 85828 WITH SCORE 86624.51
AT ITER 2677 NEW BEST:: SOT 1152413 SOS 796318 HAS SOPS 794811 HAS SOUS 86740 HAS SOUPS 85828 WITH SCORE 86624.318
AT ITER 2680 NEW BEST:: SOT 1152768 SOS 801231 HAS SOPS 799729 HAS SOUS 86626 HAS SOUPS 85719 WITH SCORE 86520.231
AT ITER 2687 NEW BEST:: SOT 1152986 SOS 801449 HAS SOPS 799947 HAS SOUS 85592 HAS SOUPS 84685 WITH SCORE 85486.449
AT ITER 2699 NEW BEST:: SOT 1154500 SOS 802963 HAS SOPS 801461 HAS SOUS 85458 HAS SOUPS 84551 WITH SCORE 85353.963
AT ITER 2731 NEW BEST:: SOT 1154094 SOS 802557 HAS SOPS 801055 HAS SOUS 85416 HAS SOUPS 84509 WITH SCORE 85311.557
AT ITER 2736 NEW BEST:: SOT 1153423 SOS 804133 HAS SOPS 802631 HAS SOUS 85259 HAS SOUPS 84352 WITH SCORE 85156.133
AT ITER 2738 NEW BEST:: SOT 1153423 SOS 802042 HAS SOPS 800540 HAS SOUS 85225 HAS SOUPS 84318 WITH SCORE 85120.042
AT ITER 2764 NEW BEST:: SOT 1153173 SOS 801792 HAS SOPS 800290 HAS SOUS 84994 HAS SOUPS 84087 WITH SCORE 84888.792
AT ITER 2774 NEW BEST:: SOT 1153077 SOS 801792 HAS SOPS 800290 HAS SOUS 84987 HAS SOUPS 84080 WITH SCORE 84881.792
AT ITER 2799 NEW BEST:: SOT 1153085 SOS 799967 HAS SOPS 798965 HAS SOUS 84666 HAS SOUPS 83807 WITH SCORE 84606.967
AT ITER 2831 NEW BEST:: SOT 1153084 SOS 799966 HAS SOPS 798964 HAS SOUS 84665 HAS SOUPS 83806 WITH SCORE 84605.966
AT ITER 2859 NEW BEST:: SOT 1153084 SOS 799966 HAS SOPS 798964 HAS SOUS 84604 HAS SOUPS 83745 WITH SCORE 84544.966
AT ITER 2864 NEW BEST:: SOT 1152793 SOS 799675 HAS SOPS 798673 HAS SOUS 84257 HAS SOUPS 83398 WITH SCORE 84197.675
AT ITER 2875 NEW BEST:: SOT 1152793 SOS 799658 HAS SOPS 798656 HAS SOUS 84257 HAS SOUPS 83398 WITH SCORE 84197.658
AT ITER 2876 NEW BEST:: SOT 1152060 SOS 799669 HAS SOPS 798667 HAS SOUS 84055 HAS SOUPS 83196 WITH SCORE 83995.669
AT ITER 2877 NEW BEST:: SOT 1150976 SOS 798585 HAS SOPS 797583 HAS SOUS 83881 HAS SOUPS 83022 WITH SCORE 83820.585
AT ITER 2893 NEW BEST:: SOT 1151574 SOS 798363 HAS SOPS 797361 HAS SOUS 83675 HAS SOUPS 82816 WITH SCORE 83614.363
AT ITER 2895 NEW BEST:: SOT 1151574 SOS 795723 HAS SOPS 794716 HAS SOUS 83675 HAS SOUPS 82811 WITH SCORE 83606.723
AT ITER 2936 NEW BEST:: SOT 1151550 SOS 795699 HAS SOPS 794692 HAS SOUS 83661 HAS SOUPS 82797 WITH SCORE 83592.699
AT ITER 2941 NEW BEST:: SOT 1151550 SOS 795679 HAS SOPS 794672 HAS SOUS 83656 HAS SOUPS 82792 WITH SCORE 83587.679
AT ITER 2949 NEW BEST:: SOT 1151082 SOS 794991 HAS SOPS 793984 HAS SOUS 83158 HAS SOUPS 82294 WITH SCORE 83088.991
AT ITER 2970 NEW BEST:: SOT 1150582 SOS 794011 HAS SOPS 793004 HAS SOUS 83138 HAS SOUPS 82274 WITH SCORE 83068.011
AT ITER 2980 NEW BEST:: SOT 1150586 SOS 794111 HAS SOPS 793104 HAS SOUS 83130 HAS SOUPS 82266 WITH SCORE 83060.111
AT ITER 2991 NEW BEST:: SOT 1150618 SOS 792639 HAS SOPS 791700 HAS SOUS 83035 HAS SOUPS 82187 WITH SCORE 82979.639
AT ITER 3033 NEW BEST:: SOT 1150618 SOS 792543 HAS SOPS 791604 HAS SOUS 83035 HAS SOUPS 82187 WITH SCORE 82979.543
AT ITER 3037 NEW BEST:: SOT 1150613 SOS 792538 HAS SOPS 791599 HAS SOUS 82984 HAS SOUPS 82136 WITH SCORE 82928.538
AT ITER 3047 NEW BEST:: SOT 1150404 SOS 792809 HAS SOPS 791870 HAS SOUS 82205 HAS SOUPS 81357 WITH SCORE 82149.809
AT ITER 3071 NEW BEST:: SOT 1150155 SOS 792560 HAS SOPS 791621 HAS SOUS 81956 HAS SOUPS 81108 WITH SCORE 81900.56
AT ITER 3072 NEW BEST:: SOT 1150140 SOS 792479 HAS SOPS 791540 HAS SOUS 81941 HAS SOUPS 81093 WITH SCORE 81885.479
AT ITER 3096 NEW BEST:: SOT 1150140 SOS 793843 HAS SOPS 792904 HAS SOUS 81879 HAS SOUPS 81031 WITH SCORE 81824.843
AT ITER 3112 NEW BEST:: SOT 1150140 SOS 794465 HAS SOPS 793526 HAS SOUS 81852 HAS SOUPS 81004 WITH SCORE 81798.465
AT ITER 3119 NEW BEST:: SOT 1150092 SOS 794410 HAS SOPS 793478 HAS SOUS 81804 HAS SOUPS 80963 WITH SCORE 81757.41
AT ITER 3125 NEW BEST:: SOT 1150094 SOS 794426 HAS SOPS 793494 HAS SOUS 81797 HAS SOUPS 80956 WITH SCORE 81750.426
AT ITER 3127 NEW BEST:: SOT 1150312 SOS 794644 HAS SOPS 793712 HAS SOUS 81037 HAS SOUPS 80196 WITH SCORE 80990.644
AT ITER 3131 NEW BEST:: SOT 1150312 SOS 794644 HAS SOPS 793712 HAS SOUS 81011 HAS SOUPS 80170 WITH SCORE 80964.644
AT ITER 3141 NEW BEST:: SOT 1150312 SOS 821761 HAS SOPS 820877 HAS SOUS 80978 HAS SOUPS 80137 WITH SCORE 80958.761
AT ITER 3143 NEW BEST:: SOT 1150037 SOS 821486 HAS SOPS 820602 HAS SOUS 80962 HAS SOUPS 80121 WITH SCORE 80942.486
AT ITER 3174 NEW BEST:: SOT 1148924 SOS 819533 HAS SOPS 818649 HAS SOUS 80575 HAS SOUPS 79734 WITH SCORE 80553.533
AT ITER 3186 NEW BEST:: SOT 1147869 SOS 818478 HAS SOPS 817594 HAS SOUS 80276 HAS SOUPS 79435 WITH SCORE 80253.478
AT ITER 3189 NEW BEST:: SOT 1147869 SOS 818457 HAS SOPS 817572 HAS SOUS 80277 HAS SOUPS 79435 WITH SCORE 80253.457
AT ITER 3197 NEW BEST:: SOT 1148226 SOS 818878 HAS SOPS 817993 HAS SOUS 80057 HAS SOUPS 79215 WITH SCORE 80033.878
AT ITER 3202 NEW BEST:: SOT 1148172 SOS 818824 HAS SOPS 817939 HAS SOUS 79966 HAS SOUPS 79124 WITH SCORE 79942.824
AT ITER 3206 NEW BEST:: SOT 1148118 SOS 818770 HAS SOPS 817885 HAS SOUS 79912 HAS SOUPS 79070 WITH SCORE 79888.77
AT ITER 3222 NEW BEST:: SOT 1148179 SOS 818831 HAS SOPS 817946 HAS SOUS 79886 HAS SOUPS 79044 WITH SCORE 79862.831
AT ITER 3286 NEW BEST:: SOT 1147286 SOS 817938 HAS SOPS 817053 HAS SOUS 79778 HAS SOUPS 78936 WITH SCORE 79753.938
AT ITER 3292 NEW BEST:: SOT 1146469 SOS 816851 HAS SOPS 816020 HAS SOUS 79644 HAS SOUPS 78856 WITH SCORE 79672.851
AT ITER 3293 NEW BEST:: SOT 1146797 SOS 817179 HAS SOPS 816348 HAS SOUS 79620 HAS SOUPS 78832 WITH SCORE 79649.179
AT ITER 3308 NEW BEST:: SOT 1148317 SOS 821229 HAS SOPS 820472 HAS SOUS 79371 HAS SOUPS 78657 WITH SCORE 79478.229
AT ITER 3340 NEW BEST:: SOT 1148317 SOS 821019 HAS SOPS 820256 HAS SOUS 79367 HAS SOUPS 78647 WITH SCORE 79468.019
AT ITER 3361 NEW BEST:: SOT 1148407 SOS 820359 HAS SOPS 819248 HAS SOUS 79425 HAS SOUPS 78357 WITH SCORE 79177.359
AT ITER 3378 NEW BEST:: SOT 1151997 SOS 827669 HAS SOPS 826558 HAS SOUS 79218 HAS SOUPS 78150 WITH SCORE 78977.669
AT ITER 3382 NEW BEST:: SOT 1151997 SOS 827353 HAS SOPS 826250 HAS SOUS 79195 HAS SOUPS 78127 WITH SCORE 78954.353
AT ITER 3422 NEW BEST:: SOT 1152747 SOS 828311 HAS SOPS 827216 HAS SOUS 79154 HAS SOUPS 78094 WITH SCORE 78922.311
AT ITER 3430 NEW BEST:: SOT 1152730 SOS 827478 HAS SOPS 826383 HAS SOUS 79120 HAS SOUPS 78060 WITH SCORE 78887.478
AT ITER 3448 NEW BEST:: SOT 1152715 SOS 827463 HAS SOPS 826368 HAS SOUS 79102 HAS SOUPS 78042 WITH SCORE 78869.463
AT ITER 3458 NEW BEST:: SOT 1152715 SOS 827463 HAS SOPS 826368 HAS SOUS 79068 HAS SOUPS 78008 WITH SCORE 78835.463
AT ITER 3470 NEW BEST:: SOT 1152458 SOS 827206 HAS SOPS 826111 HAS SOUS 79034 HAS SOUPS 77974 WITH SCORE 78801.206
AT ITER 3489 NEW BEST:: SOT 1153091 SOS 827839 HAS SOPS 826744 HAS SOUS 78829 HAS SOUPS 77769 WITH SCORE 78596.839
AT ITER 3495 NEW BEST:: SOT 1153091 SOS 811521 HAS SOPS 810426 HAS SOUS 78829 HAS SOUPS 77769 WITH SCORE 78580.521
AT ITER 3510 NEW BEST:: SOT 1153091 SOS 811281 HAS SOPS 810186 HAS SOUS 78829 HAS SOUPS 77769 WITH SCORE 78580.281
AT ITER 3511 NEW BEST:: SOT 1153090 SOS 811256 HAS SOPS 810161 HAS SOUS 78827 HAS SOUPS 77767 WITH SCORE 78578.256
AT ITER 3514 NEW BEST:: SOT 1151814 SOS 809986 HAS SOPS 808863 HAS SOUS 78727 HAS SOUPS 77639 WITH SCORE 78448.986
AT ITER 3538 NEW BEST:: SOT 1151751 SOS 809923 HAS SOPS 808800 HAS SOUS 78444 HAS SOUPS 77356 WITH SCORE 78165.923
AT ITER 3565 NEW BEST:: SOT 1151468 SOS 809640 HAS SOPS 808517 HAS SOUS 78402 HAS SOUPS 77314 WITH SCORE 78123.64
AT ITER 3584 NEW BEST:: SOT 1151974 SOS 810146 HAS SOPS 809023 HAS SOUS 78329 HAS SOUPS 77241 WITH SCORE 78051.146
AT ITER 3594 NEW BEST:: SOT 1151974 SOS 810140 HAS SOPS 809017 HAS SOUS 78273 HAS SOUPS 77185 WITH SCORE 77995.14
AT ITER 3613 NEW BEST:: SOT 1151949 SOS 810091 HAS SOPS 808968 HAS SOUS 78271 HAS SOUPS 77183 WITH SCORE 77993.091
AT ITER 3632 NEW BEST:: SOT 1154396 SOS 816732 HAS SOPS 815615 HAS SOUS 78201 HAS SOUPS 77119 WITH SCORE 77935.732
AT ITER 3714 NEW BEST:: SOT 1154396 SOS 816636 HAS SOPS 815519 HAS SOUS 78197 HAS SOUPS 77115 WITH SCORE 77931.636
AT ITER 3759 NEW BEST:: SOT 1154396 SOS 816468 HAS SOPS 815351 HAS SOUS 78197 HAS SOUPS 77115 WITH SCORE 77931.468
AT ITER 3821 NEW BEST:: SOT 1154396 SOS 816468 HAS SOPS 815351 HAS SOUS 78191 HAS SOUPS 77109 WITH SCORE 77925.468
AT ITER 3842 NEW BEST:: SOT 1154509 SOS 820557 HAS SOPS 819440 HAS SOUS 78034 HAS SOUPS 76952 WITH SCORE 77772.557
AT ITER 3853 NEW BEST:: SOT 1154529 SOS 820577 HAS SOPS 819460 HAS SOUS 78013 HAS SOUPS 76931 WITH SCORE 77751.577
AT ITER 3861 NEW BEST:: SOT 1154289 SOS 820097 HAS SOPS 818980 HAS SOUS 78003 HAS SOUPS 76921 WITH SCORE 77741.097
AT ITER 3873 NEW BEST:: SOT 1154284 SOS 820095 HAS SOPS 818978 HAS SOUS 78001 HAS SOUPS 76919 WITH SCORE 77739.095
AT ITER 3877 NEW BEST:: SOT 1154198 SOS 820003 HAS SOPS 818892 HAS SOUS 77835 HAS SOUPS 76759 WITH SCORE 77579.003
AT ITER 3900 NEW BEST:: SOT 1154174 SOS 819979 HAS SOPS 818868 HAS SOUS 77834 HAS SOUPS 76758 WITH SCORE 77577.979
AT ITER 3918 NEW BEST:: SOT 1154099 SOS 819904 HAS SOPS 818793 HAS SOUS 77819 HAS SOUPS 76743 WITH SCORE 77562.904
AT ITER 3925 NEW BEST:: SOT 1154099 SOS 819923 HAS SOPS 818804 HAS SOUS 77824 HAS SOUPS 76740 WITH SCORE 77559.923
AT ITER 3937 NEW BEST:: SOT 1154099 SOS 821250 HAS SOPS 820103 HAS SOUS 77841 HAS SOUPS 76729 WITH SCORE 77550.25
AT ITER 3948 NEW BEST:: SOT 1153704 SOS 820855 HAS SOPS 819708 HAS SOUS 77576 HAS SOUPS 76464 WITH SCORE 77284.855
AT ITER 3949 NEW BEST:: SOT 1153417 SOS 820568 HAS SOPS 819421 HAS SOUS 77509 HAS SOUPS 76397 WITH SCORE 77217.568
AT ITER 4002 NEW BEST:: SOT 1153891 SOS 821042 HAS SOPS 819895 HAS SOUS 77455 HAS SOUPS 76343 WITH SCORE 77164.042
AT ITER 4011 NEW BEST:: SOT 1154178 SOS 821329 HAS SOPS 820182 HAS SOUS 77284 HAS SOUPS 76172 WITH SCORE 76993.329
AT ITER 4024 NEW BEST:: SOT 1154178 SOS 820945 HAS SOPS 819798 HAS SOUS 77284 HAS SOUPS 76172 WITH SCORE 76992.945
AT ITER 4076 NEW BEST:: SOT 1154130 SOS 820897 HAS SOPS 819750 HAS SOUS 77262 HAS SOUPS 76150 WITH SCORE 76970.897
AT ITER 4079 NEW BEST:: SOT 1154130 SOS 820897 HAS SOPS 819750 HAS SOUS 77240 HAS SOUPS 76128 WITH SCORE 76948.897
AT ITER 4087 NEW BEST:: SOT 1153025 SOS 819792 HAS SOPS 818645 HAS SOUS 76984 HAS SOUPS 75872 WITH SCORE 76691.792
AT ITER 4115 NEW BEST:: SOT 1156854 SOS 827943 HAS SOPS 826868 HAS SOUS 76874 HAS SOUPS 75834 WITH SCORE 76661.943
AT ITER 4117 NEW BEST:: SOT 1156854 SOS 821896 HAS SOPS 820701 HAS SOUS 76868 HAS SOUPS 75828 WITH SCORE 76649.896
AT ITER 4120 NEW BEST:: SOT 1156662 SOS 821704 HAS SOPS 820509 HAS SOUS 76727 HAS SOUPS 75687 WITH SCORE 76508.704
AT ITER 4129 NEW BEST:: SOT 1155895 SOS 820409 HAS SOPS 819214 HAS SOUS 76704 HAS SOUPS 75664 WITH SCORE 76484.409
AT ITER 4134 NEW BEST:: SOT 1155895 SOS 820409 HAS SOPS 819214 HAS SOUS 76621 HAS SOUPS 75581 WITH SCORE 76401.409
AT ITER 4138 NEW BEST:: SOT 1155781 SOS 820295 HAS SOPS 819100 HAS SOUS 76507 HAS SOUPS 75467 WITH SCORE 76287.295
AT ITER 4164 NEW BEST:: SOT 1155903 SOS 820417 HAS SOPS 819222 HAS SOUS 76452 HAS SOUPS 75412 WITH SCORE 76232.417
AT ITER 4188 NEW BEST:: SOT 1155481 SOS 819995 HAS SOPS 818800 HAS SOUS 76341 HAS SOUPS 75301 WITH SCORE 76120.995
AT ITER 4218 NEW BEST:: SOT 1155481 SOS 819997 HAS SOPS 818802 HAS SOUS 76339 HAS SOUPS 75299 WITH SCORE 76118.997
AT ITER 4222 NEW BEST:: SOT 1155346 SOS 819862 HAS SOPS 818667 HAS SOUS 76184 HAS SOUPS 75144 WITH SCORE 75963.862
AT ITER 4245 NEW BEST:: SOT 1154639 SOS 819809 HAS SOPS 818614 HAS SOUS 75473 HAS SOUPS 74433 WITH SCORE 75252.809
AT ITER 4247 NEW BEST:: SOT 1154614 SOS 820552 HAS SOPS 819357 HAS SOUS 75112 HAS SOUPS 74072 WITH SCORE 74892.552
AT ITER 4271 NEW BEST:: SOT 1154608 SOS 820546 HAS SOPS 819351 HAS SOUS 75100 HAS SOUPS 74060 WITH SCORE 74880.546
AT ITER 4290 NEW BEST:: SOT 1154608 SOS 820548 HAS SOPS 819353 HAS SOUS 75098 HAS SOUPS 74058 WITH SCORE 74878.548
AT ITER 4302 NEW BEST:: SOT 1154805 SOS 820685 HAS SOPS 819550 HAS SOUS 74838 HAS SOUPS 73858 WITH SCORE 74678.685
AT ITER 4317 NEW BEST:: SOT 1154805 SOS 820773 HAS SOPS 819638 HAS SOUS 74834 HAS SOUPS 73854 WITH SCORE 74674.773
AT ITER 4322 NEW BEST:: SOT 1154805 SOS 808717 HAS SOPS 807546 HAS SOUS 74845 HAS SOUPS 73865 WITH SCORE 74673.717
AT ITER 4337 NEW BEST:: SOT 1154469 SOS 808381 HAS SOPS 807210 HAS SOUS 74833 HAS SOUPS 73853 WITH SCORE 74661.381
AT ITER 4342 NEW BEST:: SOT 1154507 SOS 837699 HAS SOPS 836755 HAS SOUS 73629 HAS SOUPS 72693 WITH SCORE 73530.699
AT ITER 4416 NEW BEST:: SOT 1154497 SOS 837700 HAS SOPS 836756 HAS SOUS 73571 HAS SOUPS 72635 WITH SCORE 73472.7
AT ITER 4433 NEW BEST:: SOT 1153578 SOS 836781 HAS SOPS 835837 HAS SOUS 73537 HAS SOUPS 72601 WITH SCORE 73437.781
AT ITER 4435 NEW BEST:: SOT 1153578 SOS 836781 HAS SOPS 835837 HAS SOUS 73512 HAS SOUPS 72576 WITH SCORE 73412.781
AT ITER 4457 NEW BEST:: SOT 1153519 SOS 836722 HAS SOPS 835778 HAS SOUS 73463 HAS SOUPS 72527 WITH SCORE 73363.722
AT ITER 4487 NEW BEST:: SOT 1153519 SOS 836794 HAS SOPS 835850 HAS SOUS 73391 HAS SOUPS 72455 WITH SCORE 73291.794
AT ITER 4512 NEW BEST:: SOT 1153519 SOS 836434 HAS SOPS 835490 HAS SOUS 73391 HAS SOUPS 72455 WITH SCORE 73291.434
AT ITER 4547 NEW BEST:: SOT 1153539 SOS 836454 HAS SOPS 835510 HAS SOUS 73381 HAS SOUPS 72445 WITH SCORE 73281.454
AT ITER 4552 NEW BEST:: SOT 1153527 SOS 836442 HAS SOPS 835498 HAS SOUS 73369 HAS SOUPS 72433 WITH SCORE 73269.442
AT ITER 4560 NEW BEST:: SOT 1153470 SOS 834267 HAS SOPS 833340 HAS SOUS 73332 HAS SOUPS 72413 WITH SCORE 73247.267
AT ITER 4564 NEW BEST:: SOT 1153000 SOS 833797 HAS SOPS 832870 HAS SOUS 73081 HAS SOUPS 72162 WITH SCORE 72995.797
AT ITER 4566 NEW BEST:: SOT 1151850 SOS 832503 HAS SOPS 831576 HAS SOUS 73035 HAS SOUPS 72116 WITH SCORE 72948.503
AT ITER 4569 NEW BEST:: SOT 1151850 SOS 832723 HAS SOPS 831796 HAS SOUS 73025 HAS SOUPS 72106 WITH SCORE 72938.723
AT ITER 4575 NEW BEST:: SOT 1151844 SOS 832717 HAS SOPS 831790 HAS SOUS 73013 HAS SOUPS 72094 WITH SCORE 72926.717
AT ITER 4591 NEW BEST:: SOT 1151844 SOS 832549 HAS SOPS 831622 HAS SOUS 73013 HAS SOUPS 72094 WITH SCORE 72926.549
AT ITER 4593 NEW BEST:: SOT 1151844 SOS 832981 HAS SOPS 832054 HAS SOUS 73004 HAS SOUPS 72085 WITH SCORE 72917.981
AT ITER 4596 NEW BEST:: SOT 1149199 SOS 827146 HAS SOPS 825906 HAS SOUS 73218 HAS SOUPS 71986 WITH SCORE 72813.146
AT ITER 4599 NEW BEST:: SOT 1149211 SOS 827158 HAS SOPS 825918 HAS SOUS 73190 HAS SOUPS 71958 WITH SCORE 72785.158
AT ITER 4614 NEW BEST:: SOT 1149223 SOS 827290 HAS SOPS 826050 HAS SOUS 72914 HAS SOUPS 71682 WITH SCORE 72509.29
AT ITER 4621 NEW BEST:: SOT 1149223 SOS 827384 HAS SOPS 826144 HAS SOUS 72912 HAS SOUPS 71680 WITH SCORE 72507.384
AT ITER 4634 NEW BEST:: SOT 1149129 SOS 827290 HAS SOPS 826050 HAS SOUS 72793 HAS SOUPS 71561 WITH SCORE 72388.29
AT ITER 4645 NEW BEST:: SOT 1149129 SOS 827074 HAS SOPS 825834 HAS SOUS 72793 HAS SOUPS 71561 WITH SCORE 72388.074
AT ITER 4652 NEW BEST:: SOT 1149101 SOS 827046 HAS SOPS 825806 HAS SOUS 72765 HAS SOUPS 71533 WITH SCORE 72360.046
AT ITER 4653 NEW BEST:: SOT 1149101 SOS 827690 HAS SOPS 826450 HAS SOUS 72737 HAS SOUPS 71505 WITH SCORE 72332.69
AT ITER 4655 NEW BEST:: SOT 1148960 SOS 827549 HAS SOPS 826309 HAS SOUS 72309 HAS SOUPS 71077 WITH SCORE 71904.549
AT ITER 4659 NEW BEST:: SOT 1148960 SOS 827549 HAS SOPS 826309 HAS SOUS 72277 HAS SOUPS 71045 WITH SCORE 71872.549
AT ITER 4670 NEW BEST:: SOT 1147813 SOS 826466 HAS SOPS 825226 HAS SOUS 72193 HAS SOUPS 70961 WITH SCORE 71787.466
AT ITER 4694 NEW BEST:: SOT 1147813 SOS 826066 HAS SOPS 824826 HAS SOUS 72193 HAS SOUPS 70961 WITH SCORE 71787.066
AT ITER 4696 NEW BEST:: SOT 1147117 SOS 823638 HAS SOPS 822398 HAS SOUS 71506 HAS SOUPS 70274 WITH SCORE 71097.638
AT ITER 4719 NEW BEST:: SOT 1147117 SOS 823968 HAS SOPS 822728 HAS SOUS 71491 HAS SOUPS 70259 WITH SCORE 71082.968
AT ITER 4722 NEW BEST:: SOT 1147117 SOS 823953 HAS SOPS 822713 HAS SOUS 71476 HAS SOUPS 70244 WITH SCORE 71067.953
AT ITER 4740 NEW BEST:: SOT 1147117 SOS 823761 HAS SOPS 822521 HAS SOUS 71476 HAS SOUPS 70244 WITH SCORE 71067.761
AT ITER 4742 NEW BEST:: SOT 1146941 SOS 823585 HAS SOPS 822345 HAS SOUS 71380 HAS SOUPS 70148 WITH SCORE 70971.585
AT ITER 4765 NEW BEST:: SOT 1146964 SOS 823608 HAS SOPS 822368 HAS SOUS 71371 HAS SOUPS 70139 WITH SCORE 70962.608
AT ITER 4807 NEW BEST:: SOT 1146964 SOS 823454 HAS SOPS 822214 HAS SOUS 71371 HAS SOUPS 70139 WITH SCORE 70962.454
AT ITER 4833 NEW BEST:: SOT 1146964 SOS 823612 HAS SOPS 822365 HAS SOUS 71356 HAS SOUPS 70124 WITH SCORE 70947.612
AT ITER 4835 NEW BEST:: SOT 1146964 SOS 823463 HAS SOPS 821925 HAS SOUS 71322 HAS SOUPS 69799 WITH SCORE 70622.463
AT ITER 4844 NEW BEST:: SOT 1146947 SOS 823446 HAS SOPS 821908 HAS SOUS 71287 HAS SOUPS 69764 WITH SCORE 70587.446
AT ITER 4860 NEW BEST:: SOT 1146947 SOS 823038 HAS SOPS 821500 HAS SOUS 71287 HAS SOUPS 69764 WITH SCORE 70587.038
AT ITER 4862 NEW BEST:: SOT 1146917 SOS 823008 HAS SOPS 821470 HAS SOUS 71257 HAS SOUPS 69734 WITH SCORE 70557.008
AT ITER 4867 NEW BEST:: SOT 1146917 SOS 822768 HAS SOPS 821230 HAS SOUS 71257 HAS SOUPS 69734 WITH SCORE 70556.768
AT ITER 4905 NEW BEST:: SOT 1146701 SOS 822552 HAS SOPS 821014 HAS SOUS 71248 HAS SOUPS 69725 WITH SCORE 70547.552
AT ITER 4914 NEW BEST:: SOT 1146697 SOS 822538 HAS SOPS 821001 HAS SOUS 71209 HAS SOUPS 69687 WITH SCORE 70509.538
AT ITER 4941 NEW BEST:: SOT 1142871 SOS 814707 HAS SOPS 813084 HAS SOUS 71236 HAS SOUPS 69628 WITH SCORE 70442.707
AT ITER 4970 NEW BEST:: SOT 1142871 SOS 814695 HAS SOPS 813072 HAS SOUS 71236 HAS SOUPS 69628 WITH SCORE 70442.695
AT ITER 4974 NEW BEST:: SOT 1143291 SOS 815307 HAS SOPS 813684 HAS SOUS 71173 HAS SOUPS 69565 WITH SCORE 70380.307
AT ITER 4981 NEW BEST:: SOT 1143291 SOS 815273 HAS SOPS 813650 HAS SOUS 71156 HAS SOUPS 69548 WITH SCORE 70363.273
AT ITER 4996 NEW BEST:: SOT 1143291 SOS 815266 HAS SOPS 813643 HAS SOUS 71127 HAS SOUPS 69519 WITH SCORE 70334.266
AT ITER 5029 NEW BEST:: SOT 1143291 SOS 815794 HAS SOPS 814171 HAS SOUS 71116 HAS SOUPS 69508 WITH SCORE 70323.794
AT ITER 5035 NEW BEST:: SOT 1143329 SOS 815832 HAS SOPS 814209 HAS SOUS 71106 HAS SOUPS 69498 WITH SCORE 70313.832
AT ITER 5037 NEW BEST:: SOT 1143329 SOS 815664 HAS SOPS 814041 HAS SOUS 71106 HAS SOUPS 69498 WITH SCORE 70313.664
AT ITER 5057 NEW BEST:: SOT 1143316 SOS 815651 HAS SOPS 814028 HAS SOUS 71080 HAS SOUPS 69472 WITH SCORE 70287.651
AT ITER 5103 NEW BEST:: SOT 1143316 SOS 815536 HAS SOPS 813918 HAS SOUS 71080 HAS SOUPS 69472 WITH SCORE 70287.536
AT ITER 5105 NEW BEST:: SOT 1143307 SOS 815566 HAS SOPS 813948 HAS SOUS 71074 HAS SOUPS 69466 WITH SCORE 70281.566
AT ITER 5116 NEW BEST:: SOT 1143300 SOS 815559 HAS SOPS 813941 HAS SOUS 71067 HAS SOUPS 69459 WITH SCORE 70274.559
AT ITER 5122 NEW BEST:: SOT 1143300 SOS 815199 HAS SOPS 813581 HAS SOUS 71067 HAS SOUPS 69459 WITH SCORE 70274.199
AT ITER 5141 NEW BEST:: SOT 1143300 SOS 815199 HAS SOPS 813581 HAS SOUS 71028 HAS SOUPS 69420 WITH SCORE 70235.199
AT ITER 5163 NEW BEST:: SOT 1143300 SOS 815183 HAS SOPS 813565 HAS SOUS 71020 HAS SOUPS 69412 WITH SCORE 70227.183
AT ITER 5201 NEW BEST:: SOT 1144501 SOS 816219 HAS SOPS 814636 HAS SOUS 70885 HAS SOUPS 69312 WITH SCORE 70128.219
AT ITER 5230 NEW BEST:: SOT 1144501 SOS 816512 HAS SOPS 814929 HAS SOUS 70837 HAS SOUPS 69264 WITH SCORE 70080.512
AT ITER 5246 NEW BEST:: SOT 1144501 SOS 815648 HAS SOPS 814065 HAS SOUS 70837 HAS SOUPS 69264 WITH SCORE 70079.648
AT ITER 5249 NEW BEST:: SOT 1144501 SOS 815271 HAS SOPS 813688 HAS SOUS 70822 HAS SOUPS 69249 WITH SCORE 70064.271
AT ITER 5266 NEW BEST:: SOT 1144501 SOS 815367 HAS SOPS 813784 HAS SOUS 70820 HAS SOUPS 69247 WITH SCORE 70062.367
AT ITER 5292 NEW BEST:: SOT 1144503 SOS 815372 HAS SOPS 813786 HAS SOUS 70819 HAS SOUPS 69246 WITH SCORE 70061.372
AT ITER 5302 NEW BEST:: SOT 1144503 SOS 815372 HAS SOPS 813786 HAS SOUS 70779 HAS SOUPS 69206 WITH SCORE 70021.372
AT ITER 5307 NEW BEST:: SOT 1144508 SOS 815377 HAS SOPS 813791 HAS SOUS 70700 HAS SOUPS 69127 WITH SCORE 69942.377
AT ITER 5313 NEW BEST:: SOT 1144478 SOS 815347 HAS SOPS 813761 HAS SOUS 70670 HAS SOUPS 69097 WITH SCORE 69912.347
AT ITER 5324 NEW BEST:: SOT 1144478 SOS 816193 HAS SOPS 814607 HAS SOUS 70652 HAS SOUPS 69079 WITH SCORE 69895.193
AT ITER 5358 NEW BEST:: SOT 1144478 SOS 816533 HAS SOPS 814947 HAS SOUS 70635 HAS SOUPS 69062 WITH SCORE 69878.533
AT ITER 5374 NEW BEST:: SOT 1144478 SOS 808181 HAS SOPS 806595 HAS SOUS 70637 HAS SOUPS 69064 WITH SCORE 69872.181
AT ITER 5392 NEW BEST:: SOT 1143506 SOS 807226 HAS SOPS 805623 HAS SOUS 70438 HAS SOUPS 68848 WITH SCORE 69655.226
AT ITER 5412 NEW BEST:: SOT 1143493 SOS 807213 HAS SOPS 805610 HAS SOUS 70409 HAS SOUPS 68819 WITH SCORE 69626.213
AT ITER 5421 NEW BEST:: SOT 1143484 SOS 807210 HAS SOPS 805607 HAS SOUS 70403 HAS SOUPS 68813 WITH SCORE 69620.21
AT ITER 5462 NEW BEST:: SOT 1143484 SOS 807165 HAS SOPS 805564 HAS SOUS 70402 HAS SOUPS 68812 WITH SCORE 69619.165
AT ITER 5490 NEW BEST:: SOT 1143441 SOS 807122 HAS SOPS 805521 HAS SOUS 70303 HAS SOUPS 68713 WITH SCORE 69520.122
AT ITER 5505 NEW BEST:: SOT 1143395 SOS 807076 HAS SOPS 805475 HAS SOUS 70198 HAS SOUPS 68608 WITH SCORE 69415.076
AT ITER 5508 NEW BEST:: SOT 1143395 SOS 807076 HAS SOPS 805475 HAS SOUS 70196 HAS SOUPS 68606 WITH SCORE 69413.076
AT ITER 5561 NEW BEST:: SOT 1142026 SOS 805707 HAS SOPS 804106 HAS SOUS 70091 HAS SOUPS 68501 WITH SCORE 69306.707
AT ITER 5564 NEW BEST:: SOT 1142026 SOS 805227 HAS SOPS 803626 HAS SOUS 70091 HAS SOUPS 68501 WITH SCORE 69306.227
AT ITER 5578 NEW BEST:: SOT 1142026 SOS 801959 HAS SOPS 800323 HAS SOUS 70085 HAS SOUPS 68460 WITH SCORE 69261.959
AT ITER 5593 NEW BEST:: SOT 1143146 SOS 803079 HAS SOPS 801443 HAS SOUS 69927 HAS SOUPS 68302 WITH SCORE 69105.079
AT ITER 5610 NEW BEST:: SOT 1143144 SOS 803029 HAS SOPS 801393 HAS SOUS 69923 HAS SOUPS 68298 WITH SCORE 69101.029
AT ITER 5615 NEW BEST:: SOT 1143144 SOS 802213 HAS SOPS 800577 HAS SOUS 69923 HAS SOUPS 68298 WITH SCORE 69100.213
AT ITER 5616 NEW BEST:: SOT 1143144 SOS 802021 HAS SOPS 800385 HAS SOUS 69923 HAS SOUPS 68298 WITH SCORE 69100.021
AT ITER 5629 NEW BEST:: SOT 1143019 SOS 801896 HAS SOPS 800260 HAS SOUS 69788 HAS SOUPS 68163 WITH SCORE 68964.896
AT ITER 5633 NEW BEST:: SOT 1143004 SOS 801878 HAS SOPS 800245 HAS SOUS 69776 HAS SOUPS 68151 WITH SCORE 68952.878
AT ITER 5652 NEW BEST:: SOT 1143000 SOS 801874 HAS SOPS 800241 HAS SOUS 69749 HAS SOUPS 68124 WITH SCORE 68925.874
AT ITER 5660 NEW BEST:: SOT 1143000 SOS 794970 HAS SOPS 793281 HAS SOUS 69720 HAS SOUPS 68095 WITH SCORE 68889.97
AT ITER 5690 NEW BEST:: SOT 1142250 SOS 794220 HAS SOPS 792531 HAS SOUS 69720 HAS SOUPS 68095 WITH SCORE 68889.22
AT ITER 5702 NEW BEST:: SOT 1142250 SOS 794256 HAS SOPS 792567 HAS SOUS 69714 HAS SOUPS 68089 WITH SCORE 68883.256
AT ITER 5704 NEW BEST:: SOT 1142190 SOS 794196 HAS SOPS 792363 HAS SOUS 69805 HAS SOUPS 68036 WITH SCORE 68830.196
AT ITER 5722 NEW BEST:: SOT 1141490 SOS 793496 HAS SOPS 791663 HAS SOUS 69724 HAS SOUPS 67955 WITH SCORE 68748.496
AT ITER 5723 NEW BEST:: SOT 1141322 SOS 793328 HAS SOPS 791495 HAS SOUS 69605 HAS SOUPS 67836 WITH SCORE 68629.328
AT ITER 5730 NEW BEST:: SOT 1141326 SOS 793332 HAS SOPS 791499 HAS SOUS 69584 HAS SOUPS 67815 WITH SCORE 68608.332
AT ITER 5751 NEW BEST:: SOT 1141326 SOS 793878 HAS SOPS 792045 HAS SOUS 69575 HAS SOUPS 67806 WITH SCORE 68599.878
AT ITER 5788 NEW BEST:: SOT 1141326 SOS 793774 HAS SOPS 791941 HAS SOUS 69575 HAS SOUPS 67806 WITH SCORE 68599.774
AT ITER 5821 NEW BEST:: SOT 1141326 SOS 793774 HAS SOPS 791941 HAS SOUS 69375 HAS SOUPS 67606 WITH SCORE 68399.774
AT ITER 5839 NEW BEST:: SOT 1141014 SOS 793462 HAS SOPS 791629 HAS SOUS 69156 HAS SOUPS 67387 WITH SCORE 68180.462
AT ITER 5870 NEW BEST:: SOT 1141014 SOS 793814 HAS SOPS 791981 HAS SOUS 69140 HAS SOUPS 67371 WITH SCORE 68164.814
AT ITER 5877 NEW BEST:: SOT 1141014 SOS 793814 HAS SOPS 791981 HAS SOUS 69105 HAS SOUPS 67336 WITH SCORE 68129.814
AT ITER 5943 NEW BEST:: SOT 1140947 SOS 793747 HAS SOPS 791914 HAS SOUS 69067 HAS SOUPS 67298 WITH SCORE 68091.747
AT ITER 5952 NEW BEST:: SOT 1140961 SOS 793761 HAS SOPS 791928 HAS SOUS 69006 HAS SOUPS 67237 WITH SCORE 68030.761
AT ITER 5971 NEW BEST:: SOT 1140945 SOS 793745 HAS SOPS 791912 HAS SOUS 68974 HAS SOUPS 67205 WITH SCORE 67998.745
AT ITER 6001 NEW BEST:: SOT 1140945 SOS 793721 HAS SOPS 791888 HAS SOUS 68974 HAS SOUPS 67205 WITH SCORE 67998.721
AT ITER 6017 NEW BEST:: SOT 1140966 SOS 793742 HAS SOPS 791909 HAS SOUS 68947 HAS SOUPS 67178 WITH SCORE 67971.742
AT ITER 6018 NEW BEST:: SOT 1140972 SOS 793748 HAS SOPS 791915 HAS SOUS 68907 HAS SOUPS 67138 WITH SCORE 67931.748
AT ITER 6065 NEW BEST:: SOT 1140972 SOS 792598 HAS SOPS 790835 HAS SOUS 68849 HAS SOUPS 67094 WITH SCORE 67886.598
AT ITER 6084 NEW BEST:: SOT 1139697 SOS 796800 HAS SOPS 795037 HAS SOUS 68781 HAS SOUPS 67026 WITH SCORE 67822.8
AT ITER 6120 NEW BEST:: SOT 1139719 SOS 797950 HAS SOPS 796187 HAS SOUS 68430 HAS SOUPS 66675 WITH SCORE 67472.95
AT ITER 6226 NEW BEST:: SOT 1139719 SOS 797926 HAS SOPS 796163 HAS SOUS 68430 HAS SOUPS 66675 WITH SCORE 67472.926
AT ITER 6253 NEW BEST:: SOT 1139983 SOS 798190 HAS SOPS 796427 HAS SOUS 68288 HAS SOUPS 66533 WITH SCORE 67331.19
AT ITER 6259 NEW BEST:: SOT 1139983 SOS 798784 HAS SOPS 797021 HAS SOUS 68261 HAS SOUPS 66506 WITH SCORE 67304.784
AT ITER 6272 NEW BEST:: SOT 1139983 SOS 798279 HAS SOPS 796516 HAS SOUS 68260 HAS SOUPS 66505 WITH SCORE 67303.279
AT ITER 6295 NEW BEST:: SOT 1139985 SOS 798318 HAS SOPS 796556 HAS SOUS 68219 HAS SOUPS 66465 WITH SCORE 67263.318
AT ITER 6324 NEW BEST:: SOT 1139906 SOS 798239 HAS SOPS 796477 HAS SOUS 68184 HAS SOUPS 66430 WITH SCORE 67228.239
AT ITER 6350 NEW BEST:: SOT 1139881 SOS 798214 HAS SOPS 796452 HAS SOUS 68129 HAS SOUPS 66375 WITH SCORE 67173.214
AT ITER 6356 NEW BEST:: SOT 1139863 SOS 798196 HAS SOPS 796434 HAS SOUS 68111 HAS SOUPS 66357 WITH SCORE 67155.196
AT ITER 6365 NEW BEST:: SOT 1139863 SOS 797944 HAS SOPS 796182 HAS SOUS 68111 HAS SOUPS 66357 WITH SCORE 67154.944
AT ITER 6368 NEW BEST:: SOT 1139359 SOS 797272 HAS SOPS 795510 HAS SOUS 68111 HAS SOUPS 66357 WITH SCORE 67154.272
AT ITER 6438 NEW BEST:: SOT 1139359 SOS 797290 HAS SOPS 795528 HAS SOUS 68108 HAS SOUPS 66354 WITH SCORE 67151.29
AT ITER 6461 NEW BEST:: SOT 1139151 SOS 797170 HAS SOPS 795408 HAS SOUS 67724 HAS SOUPS 65970 WITH SCORE 66767.17
AT ITER 6464 NEW BEST:: SOT 1139149 SOS 797168 HAS SOPS 795406 HAS SOUS 67724 HAS SOUPS 65970 WITH SCORE 66767.168
AT ITER 6497 NEW BEST:: SOT 1139124 SOS 797143 HAS SOPS 795381 HAS SOUS 67716 HAS SOUPS 65962 WITH SCORE 66759.143
AT ITER 6504 NEW BEST:: SOT 1137993 SOS 797029 HAS SOPS 795267 HAS SOUS 66701 HAS SOUPS 64947 WITH SCORE 65744.029
AT ITER 6517 NEW BEST:: SOT 1137993 SOS 796669 HAS SOPS 794907 HAS SOUS 66701 HAS SOUPS 64947 WITH SCORE 65743.669
AT ITER 6540 NEW BEST:: SOT 1138004 SOS 796680 HAS SOPS 794918 HAS SOUS 66693 HAS SOUPS 64939 WITH SCORE 65735.68
AT ITER 6549 NEW BEST:: SOT 1137137 SOS 795813 HAS SOPS 794051 HAS SOUS 66576 HAS SOUPS 64822 WITH SCORE 65617.813
AT ITER 6564 NEW BEST:: SOT 1137112 SOS 795788 HAS SOPS 794026 HAS SOUS 66576 HAS SOUPS 64822 WITH SCORE 65617.788
AT ITER 6565 NEW BEST:: SOT 1137094 SOS 795770 HAS SOPS 794008 HAS SOUS 66566 HAS SOUPS 64812 WITH SCORE 65607.77
AT ITER 6590 NEW BEST:: SOT 1137097 SOS 796325 HAS SOPS 794568 HAS SOUS 66258 HAS SOUPS 64509 WITH SCORE 65305.325
AT ITER 6619 NEW BEST:: SOT 1137096 SOS 796324 HAS SOPS 794567 HAS SOUS 66257 HAS SOUPS 64508 WITH SCORE 65304.324
AT ITER 6623 NEW BEST:: SOT 1136288 SOS 795492 HAS SOPS 793735 HAS SOUS 66241 HAS SOUPS 64492 WITH SCORE 65287.492
AT ITER 6651 NEW BEST:: SOT 1136288 SOS 796356 HAS SOPS 794599 HAS SOUS 66187 HAS SOUPS 64438 WITH SCORE 65234.356
AT ITER 6693 NEW BEST:: SOT 1136288 SOS 795684 HAS SOPS 793927 HAS SOUS 66187 HAS SOUPS 64438 WITH SCORE 65233.684
AT ITER 6732 NEW BEST:: SOT 1136288 SOS 796236 HAS SOPS 794479 HAS SOUS 66164 HAS SOUPS 64415 WITH SCORE 65211.236
AT ITER 6742 NEW BEST:: SOT 1136161 SOS 796109 HAS SOPS 794352 HAS SOUS 66102 HAS SOUPS 64353 WITH SCORE 65149.109
AT ITER 6744 NEW BEST:: SOT 1136579 SOS 796641 HAS SOPS 794884 HAS SOUS 66064 HAS SOUPS 64315 WITH SCORE 65111.641
AT ITER 6766 NEW BEST:: SOT 1136761 SOS 796823 HAS SOPS 795066 HAS SOUS 65871 HAS SOUPS 64122 WITH SCORE 64918.823
AT ITER 6853 NEW BEST:: SOT 1136761 SOS 797303 HAS SOPS 795546 HAS SOUS 65861 HAS SOUPS 64112 WITH SCORE 64909.303
AT ITER 6923 NEW BEST:: SOT 1136761 SOS 797825 HAS SOPS 796068 HAS SOUS 65850 HAS SOUPS 64101 WITH SCORE 64898.825
AT ITER 6966 NEW BEST:: SOT 1136761 SOS 794507 HAS SOPS 792750 HAS SOUS 65844 HAS SOUPS 64095 WITH SCORE 64889.507
AT ITER 7003 NEW BEST:: SOT 1136761 SOS 792406 HAS SOPS 790645 HAS SOUS 65844 HAS SOUPS 64091 WITH SCORE 64883.406
AT ITER 7016 NEW BEST:: SOT 1136761 SOS 792406 HAS SOPS 790645 HAS SOUS 65708 HAS SOUPS 63955 WITH SCORE 64747.406
AT ITER 7017 NEW BEST:: SOT 1136761 SOS 792550 HAS SOPS 790789 HAS SOUS 65705 HAS SOUPS 63952 WITH SCORE 64744.55
AT ITER 7034 NEW BEST:: SOT 1136947 SOS 792736 HAS SOPS 790975 HAS SOUS 65677 HAS SOUPS 63924 WITH SCORE 64716.736
AT ITER 7056 NEW BEST:: SOT 1136131 SOS 791104 HAS SOPS 789343 HAS SOUS 65677 HAS SOUPS 63924 WITH SCORE 64715.104
AT ITER 7131 NEW BEST:: SOT 1136188 SOS 791161 HAS SOPS 789400 HAS SOUS 65665 HAS SOUPS 63912 WITH SCORE 64703.161
AT ITER 7136 NEW BEST:: SOT 1136169 SOS 791142 HAS SOPS 789381 HAS SOUS 65626 HAS SOUPS 63873 WITH SCORE 64664.142
AT ITER 7155 NEW BEST:: SOT 1136166 SOS 791139 HAS SOPS 789378 HAS SOUS 65619 HAS SOUPS 63866 WITH SCORE 64657.139
AT ITER 7227 NEW BEST:: SOT 1136166 SOS 791667 HAS SOPS 789906 HAS SOUS 65608 HAS SOUPS 63855 WITH SCORE 64646.667
AT ITER 7240 NEW BEST:: SOT 1136144 SOS 791645 HAS SOPS 789884 HAS SOUS 65586 HAS SOUPS 63833 WITH SCORE 64624.645
AT ITER 7243 NEW BEST:: SOT 1136144 SOS 791237 HAS SOPS 789476 HAS SOUS 65586 HAS SOUPS 63833 WITH SCORE 64624.237
AT ITER 7248 NEW BEST:: SOT 1136096 SOS 791189 HAS SOPS 789428 HAS SOUS 65556 HAS SOUPS 63803 WITH SCORE 64594.189
AT ITER 7273 NEW BEST:: SOT 1136096 SOS 789530 HAS SOPS 787769 HAS SOUS 65553 HAS SOUPS 63800 WITH SCORE 64589.53
AT ITER 7364 NEW BEST:: SOT 1135518 SOS 790728 HAS SOPS 788967 HAS SOUS 65238 HAS SOUPS 63485 WITH SCORE 64275.728
AT ITER 7368 NEW BEST:: SOT 1135514 SOS 790724 HAS SOPS 788963 HAS SOUS 65234 HAS SOUPS 63481 WITH SCORE 64271.724
AT ITER 7393 NEW BEST:: SOT 1135358 SOS 790568 HAS SOPS 788807 HAS SOUS 65207 HAS SOUPS 63454 WITH SCORE 64244.568
AT ITER 7401 NEW BEST:: SOT 1135358 SOS 790352 HAS SOPS 788591 HAS SOUS 65207 HAS SOUPS 63454 WITH SCORE 64244.352
AT ITER 7413 NEW BEST:: SOT 1135600 SOS 790594 HAS SOPS 788833 HAS SOUS 65025 HAS SOUPS 63272 WITH SCORE 64062.594
AT ITER 7461 NEW BEST:: SOT 1135600 SOS 790594 HAS SOPS 788833 HAS SOUS 65013 HAS SOUPS 63260 WITH SCORE 64050.594
AT ITER 7464 NEW BEST:: SOT 1135600 SOS 790591 HAS SOPS 788830 HAS SOUS 65013 HAS SOUPS 63260 WITH SCORE 64050.591
AT ITER 7474 NEW BEST:: SOT 1135586 SOS 790577 HAS SOPS 788816 HAS SOUS 64969 HAS SOUPS 63216 WITH SCORE 64006.577
AT ITER 7498 NEW BEST:: SOT 1135573 SOS 790564 HAS SOPS 788803 HAS SOUS 64956 HAS SOUPS 63203 WITH SCORE 63993.564
AT ITER 7499 NEW BEST:: SOT 1135364 SOS 790355 HAS SOPS 788594 HAS SOUS 64934 HAS SOUPS 63181 WITH SCORE 63971.355
AT ITER 7502 NEW BEST:: SOT 1135364 SOS 791091 HAS SOPS 789330 HAS SOUS 64902 HAS SOUPS 63149 WITH SCORE 63940.091
AT ITER 7544 NEW BEST:: SOT 1135028 SOS 790742 HAS SOPS 788981 HAS SOUS 64513 HAS SOUPS 62760 WITH SCORE 63550.742
AT ITER 7553 NEW BEST:: SOT 1135028 SOS 790694 HAS SOPS 788933 HAS SOUS 64513 HAS SOUPS 62760 WITH SCORE 63550.694
AT ITER 7555 NEW BEST:: SOT 1135028 SOS 790714 HAS SOPS 788953 HAS SOUS 64510 HAS SOUPS 62757 WITH SCORE 63547.714
AT ITER 7557 NEW BEST:: SOT 1134403 SOS 789921 HAS SOPS 788160 HAS SOUS 64460 HAS SOUPS 62707 WITH SCORE 63496.921
AT ITER 7613 NEW BEST:: SOT 1134288 SOS 789806 HAS SOPS 788045 HAS SOUS 64379 HAS SOUPS 62626 WITH SCORE 63415.806
AT ITER 7631 NEW BEST:: SOT 1133813 SOS 789331 HAS SOPS 787570 HAS SOUS 64310 HAS SOUPS 62557 WITH SCORE 63346.331
AT ITER 7666 NEW BEST:: SOT 1133813 SOS 789456 HAS SOPS 787695 HAS SOUS 64305 HAS SOUPS 62552 WITH SCORE 63341.456
AT ITER 7686 NEW BEST:: SOT 1133808 SOS 789451 HAS SOPS 787690 HAS SOUS 64303 HAS SOUPS 62550 WITH SCORE 63339.451
AT ITER 7751 NEW BEST:: SOT 1133808 SOS 789451 HAS SOPS 787690 HAS SOUS 64297 HAS SOUPS 62544 WITH SCORE 63333.451
AT ITER 7759 NEW BEST:: SOT 1133808 SOS 774879 HAS SOPS 773118 HAS SOUS 64307 HAS SOUPS 62554 WITH SCORE 63328.879
AT ITER 7770 NEW BEST:: SOT 1133808 SOS 772950 HAS SOPS 771178 HAS SOUS 64314 HAS SOUPS 62550 WITH SCORE 63322.95
AT ITER 7832 NEW BEST:: SOT 1133808 SOS 772086 HAS SOPS 770314 HAS SOUS 64314 HAS SOUPS 62550 WITH SCORE 63322.086
AT ITER 7976 NEW BEST:: SOT 1133806 SOS 772084 HAS SOPS 770312 HAS SOUS 64314 HAS SOUPS 62550 WITH SCORE 63322.084
AT ITER 8029 NEW BEST:: SOT 1133740 SOS 772072 HAS SOPS 770300 HAS SOUS 64248 HAS SOUPS 62484 WITH SCORE 63256.072
AT ITER 8051 NEW BEST:: SOT 1133740 SOS 772048 HAS SOPS 770276 HAS SOUS 64248 HAS SOUPS 62484 WITH SCORE 63256.048
AT ITER 8052 NEW BEST:: SOT 1133740 SOS 770824 HAS SOPS 769052 HAS SOUS 64248 HAS SOUPS 62484 WITH SCORE 63254.824
AT ITER 8095 NEW BEST:: SOT 1133740 SOS 770824 HAS SOPS 769052 HAS SOUS 64241 HAS SOUPS 62477 WITH SCORE 63247.824
AT ITER 8097 NEW BEST:: SOT 1133603 SOS 770687 HAS SOPS 768915 HAS SOUS 64086 HAS SOUPS 62322 WITH SCORE 63092.687
AT ITER 8145 NEW BEST:: SOT 1133603 SOS 771785 HAS SOPS 770013 HAS SOUS 64039 HAS SOUPS 62275 WITH SCORE 63046.785
AT ITER 8147 NEW BEST:: SOT 1133963 SOS 772409 HAS SOPS 770637 HAS SOUS 63985 HAS SOUPS 62221 WITH SCORE 62993.409
AT ITER 8166 NEW BEST:: SOT 1133963 SOS 772849 HAS SOPS 771077 HAS SOUS 63965 HAS SOUPS 62201 WITH SCORE 62973.849
AT ITER 8168 NEW BEST:: SOT 1134004 SOS 772890 HAS SOPS 771118 HAS SOUS 63956 HAS SOUPS 62192 WITH SCORE 62964.89
AT ITER 8178 NEW BEST:: SOT 1134004 SOS 772746 HAS SOPS 770974 HAS SOUS 63956 HAS SOUPS 62192 WITH SCORE 62964.746
AT ITER 8205 NEW BEST:: SOT 1137248 SOS 779216 HAS SOPS 777482 HAS SOUS 63854 HAS SOUPS 62128 WITH SCORE 62907.216
AT ITER 8248 NEW BEST:: SOT 1137214 SOS 779182 HAS SOPS 777448 HAS SOUS 63826 HAS SOUPS 62100 WITH SCORE 62879.182
AT ITER 8290 NEW BEST:: SOT 1137586 SOS 779554 HAS SOPS 777820 HAS SOUS 63820 HAS SOUPS 62094 WITH SCORE 62873.554
AT ITER 8303 NEW BEST:: SOT 1137713 SOS 779613 HAS SOPS 777902 HAS SOUS 63389 HAS SOUPS 61678 WITH SCORE 62457.613
AT ITER 8316 NEW BEST:: SOT 1137713 SOS 779943 HAS SOPS 778232 HAS SOUS 63374 HAS SOUPS 61663 WITH SCORE 62442.943
AT ITER 8353 NEW BEST:: SOT 1136474 SOS 778704 HAS SOPS 776993 HAS SOUS 63008 HAS SOUPS 61297 WITH SCORE 62075.704
AT ITER 8356 NEW BEST:: SOT 1136474 SOS 778704 HAS SOPS 776993 HAS SOUS 63004 HAS SOUPS 61293 WITH SCORE 62071.704
AT ITER 8360 NEW BEST:: SOT 1136474 SOS 777000 HAS SOPS 775289 HAS SOUS 63004 HAS SOUPS 61293 WITH SCORE 62070.0
AT ITER 8362 NEW BEST:: SOT 1136078 SOS 776604 HAS SOPS 774893 HAS SOUS 63003 HAS SOUPS 61292 WITH SCORE 62068.604
AT ITER 8364 NEW BEST:: SOT 1136210 SOS 776736 HAS SOPS 775025 HAS SOUS 62764 HAS SOUPS 61053 WITH SCORE 61829.736
AT ITER 8388 NEW BEST:: SOT 1135732 SOS 776258 HAS SOPS 774547 HAS SOUS 62644 HAS SOUPS 60933 WITH SCORE 61709.258
AT ITER 8453 NEW BEST:: SOT 1135732 SOS 776074 HAS SOPS 774363 HAS SOUS 62644 HAS SOUPS 60933 WITH SCORE 61709.074
AT ITER 8454 NEW BEST:: SOT 1135732 SOS 774826 HAS SOPS 773115 HAS SOUS 62642 HAS SOUPS 60931 WITH SCORE 61705.826
AT ITER 8463 NEW BEST:: SOT 1134916 SOS 775318 HAS SOPS 773607 HAS SOUS 62153 HAS SOUPS 60442 WITH SCORE 61217.318
AT ITER 8469 NEW BEST:: SOT 1134916 SOS 775150 HAS SOPS 773439 HAS SOUS 62153 HAS SOUPS 60442 WITH SCORE 61217.15
AT ITER 8470 NEW BEST:: SOT 1134721 SOS 774955 HAS SOPS 773244 HAS SOUS 62143 HAS SOUPS 60432 WITH SCORE 61206.955
AT ITER 8518 NEW BEST:: SOT 1134726 SOS 775198 HAS SOPS 773487 HAS SOUS 62128 HAS SOUPS 60417 WITH SCORE 61192.198
AT ITER 8541 NEW BEST:: SOT 1135073 SOS 775545 HAS SOPS 773834 HAS SOUS 61634 HAS SOUPS 59923 WITH SCORE 60698.545
AT ITER 8567 NEW BEST:: SOT 1135073 SOS 775401 HAS SOPS 773690 HAS SOUS 61634 HAS SOUPS 59923 WITH SCORE 60698.401
AT ITER 8577 NEW BEST:: SOT 1135073 SOS 775479 HAS SOPS 773768 HAS SOUS 61628 HAS SOUPS 59917 WITH SCORE 60692.479
AT ITER 8624 NEW BEST:: SOT 1134975 SOS 775381 HAS SOPS 773670 HAS SOUS 61628 HAS SOUPS 59917 WITH SCORE 60692.381
AT ITER 8652 NEW BEST:: SOT 1134926 SOS 775332 HAS SOPS 773621 HAS SOUS 61545 HAS SOUPS 59834 WITH SCORE 60609.332
AT ITER 8711 NEW BEST:: SOT 1134926 SOS 774828 HAS SOPS 773117 HAS SOUS 61545 HAS SOUPS 59834 WITH SCORE 60608.828
AT ITER 8743 NEW BEST:: SOT 1134926 SOS 774828 HAS SOPS 773117 HAS SOUS 61521 HAS SOUPS 59810 WITH SCORE 60584.828
AT ITER 8768 NEW BEST:: SOT 1134924 SOS 774826 HAS SOPS 773115 HAS SOUS 61519 HAS SOUPS 59808 WITH SCORE 60582.826
AT ITER 9038 NEW BEST:: SOT 1134924 SOS 774829 HAS SOPS 773115 HAS SOUS 61519 HAS SOUPS 59805 WITH SCORE 60579.829
AT ITER 9077 NEW BEST:: SOT 1134924 SOS 775021 HAS SOPS 773307 HAS SOUS 61515 HAS SOUPS 59801 WITH SCORE 60576.021
AT ITER 9122 NEW BEST:: SOT 1134947 SOS 775044 HAS SOPS 773330 HAS SOUS 61440 HAS SOUPS 59726 WITH SCORE 60501.044
AT ITER 9187 NEW BEST:: SOT 1134970 SOS 775067 HAS SOPS 773353 HAS SOUS 61438 HAS SOUPS 59724 WITH SCORE 60499.067
AT ITER 9215 NEW BEST:: SOT 1134970 SOS 776075 HAS SOPS 774361 HAS SOUS 61408 HAS SOUPS 59694 WITH SCORE 60470.075
AT ITER 9224 NEW BEST:: SOT 1136193 SOS 778522 HAS SOPS 776913 HAS SOUS 61263 HAS SOUPS 59654 WITH SCORE 60432.522
AT ITER 9292 NEW BEST:: SOT 1136193 SOS 770058 HAS SOPS 768449 HAS SOUS 61247 HAS SOUPS 59638 WITH SCORE 60408.058
AT ITER 9298 NEW BEST:: SOT 1136171 SOS 770036 HAS SOPS 768427 HAS SOUS 61198 HAS SOUPS 59589 WITH SCORE 60359.036
AT ITER 9446 NEW BEST:: SOT 1136171 SOS 769268 HAS SOPS 767659 HAS SOUS 61198 HAS SOUPS 59589 WITH SCORE 60358.268
AT ITER 9455 NEW BEST:: SOT 1135486 SOS 767839 HAS SOPS 766125 HAS SOUS 61257 HAS SOUPS 59543 WITH SCORE 60310.839
AT ITER 9461 NEW BEST:: SOT 1135486 SOS 767839 HAS SOPS 766125 HAS SOUS 61233 HAS SOUPS 59519 WITH SCORE 60286.839
AT ITER 9487 NEW BEST:: SOT 1135486 SOS 767799 HAS SOPS 766085 HAS SOUS 61233 HAS SOUPS 59519 WITH SCORE 60286.799
AT ITER 9511 NEW BEST:: SOT 1135471 SOS 767784 HAS SOPS 766070 HAS SOUS 61214 HAS SOUPS 59500 WITH SCORE 60267.784
AT ITER 9519 NEW BEST:: SOT 1135631 SOS 767944 HAS SOPS 766230 HAS SOUS 61212 HAS SOUPS 59498 WITH SCORE 60265.944
AT ITER 9535 NEW BEST:: SOT 1136220 SOS 768533 HAS SOPS 766819 HAS SOUS 61074 HAS SOUPS 59360 WITH SCORE 60128.533
AT ITER 9630 NEW BEST:: SOT 1137079 SOS 769440 HAS SOPS 767726 HAS SOUS 61069 HAS SOUPS 59355 WITH SCORE 60124.44
AT ITER 9654 NEW BEST:: SOT 1137079 SOS 769440 HAS SOPS 767726 HAS SOUS 61041 HAS SOUPS 59327 WITH SCORE 60096.44
AT ITER 9788 NEW BEST:: SOT 1137079 SOS 769243 HAS SOPS 767529 HAS SOUS 61041 HAS SOUPS 59327 WITH SCORE 60096.243
AT ITER 9793 NEW BEST:: SOT 1137314 SOS 769718 HAS SOPS 768004 HAS SOUS 61037 HAS SOUPS 59323 WITH SCORE 60092.718
AT ITER 9810 NEW BEST:: SOT 1137314 SOS 769718 HAS SOPS 768004 HAS SOUS 61029 HAS SOUPS 59315 WITH SCORE 60084.718
AT ITER 9898 NEW BEST:: SOT 1137114 SOS 769470 HAS SOPS 767756 HAS SOUS 61021 HAS SOUPS 59307 WITH SCORE 60076.47
AT ITER 9928 NEW BEST:: SOT 1137103 SOS 769459 HAS SOPS 767745 HAS SOUS 60998 HAS SOUPS 59284 WITH SCORE 60053.459
AT ITER 9951 NEW BEST:: SOT 1137103 SOS 769453 HAS SOPS 767739 HAS SOUS 60998 HAS SOUPS 59284 WITH SCORE 60053.453
AT ITER 9960 NEW BEST:: SOT 1137103 SOS 769189 HAS SOPS 767475 HAS SOUS 60998 HAS SOUPS 59284 WITH SCORE 60053.189
AT ITER 9967 NEW BEST:: SOT 1137170 SOS 769256 HAS SOPS 767542 HAS SOUS 60943 HAS SOUPS 59229 WITH SCORE 59998.256
AT ITER 9980 NEW BEST:: SOT 1137188 SOS 769274 HAS SOPS 767560 HAS SOUS 60939 HAS SOUPS 59225 WITH SCORE 59994.274
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13325764 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149888 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-04"
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-04, 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-167856410800664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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