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.r483-tall-167912696601160.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 UtilityControlRoom-PT-Z2T4N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696601160
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 19K Feb 26 14:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 26 14:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 26 14:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 26 14:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 48K Feb 26 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 235K Feb 26 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 77K Feb 26 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 320K Feb 26 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.4K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 116K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679190789688

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=UtilityControlRoom-PT-Z2T4N10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T4N10
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: 174 places, 270 transitions, 850 arcs.
AT ITER 0 NEW BEST:: SOT 38518 SOS 28536 HAS SOPS 28536 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18946.536
AT ITER 2 NEW BEST:: SOT 31992 SOS 22344 HAS SOPS 22344 HAS SOUS 15012 HAS SOUPS 15012 WITH SCORE 15034.344
AT ITER 8 NEW BEST:: SOT 31554 SOS 21932 HAS SOPS 21932 HAS SOUS 14600 HAS SOUPS 14600 WITH SCORE 14621.932
AT ITER 10 NEW BEST:: SOT 31174 SOS 21652 HAS SOPS 21652 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14344.652
AT ITER 12 NEW BEST:: SOT 31224 SOS 21702 HAS SOPS 21702 HAS SOUS 14321 HAS SOUPS 14321 WITH SCORE 14342.702
AT ITER 13 NEW BEST:: SOT 31249 SOS 21628 HAS SOPS 21628 HAS SOUS 14235 HAS SOUPS 14235 WITH SCORE 14256.628
AT ITER 14 NEW BEST:: SOT 31257 SOS 21662 HAS SOPS 21662 HAS SOUS 14221 HAS SOUPS 14221 WITH SCORE 14242.662
AT ITER 15 NEW BEST:: SOT 31242 SOS 21662 HAS SOPS 21662 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14212.662
AT ITER 21 NEW BEST:: SOT 31385 SOS 21802 HAS SOPS 21802 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14134.802
AT ITER 23 NEW BEST:: SOT 31366 SOS 21711 HAS SOPS 21711 HAS SOUS 14089 HAS SOUPS 14089 WITH SCORE 14110.711
AT ITER 25 NEW BEST:: SOT 31363 SOS 21674 HAS SOPS 21674 HAS SOUS 14072 HAS SOUPS 14072 WITH SCORE 14093.674
AT ITER 26 NEW BEST:: SOT 31363 SOS 21674 HAS SOPS 21674 HAS SOUS 14061 HAS SOUPS 14061 WITH SCORE 14082.674
AT ITER 27 NEW BEST:: SOT 31305 SOS 21584 HAS SOPS 21584 HAS SOUS 13904 HAS SOUPS 13904 WITH SCORE 13925.584
AT ITER 29 NEW BEST:: SOT 31235 SOS 21474 HAS SOPS 21474 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13802.474
AT ITER 30 NEW BEST:: SOT 31175 SOS 21320 HAS SOPS 21320 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13725.32
AT ITER 33 NEW BEST:: SOT 31144 SOS 21249 HAS SOPS 21249 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13671.249
AT ITER 34 NEW BEST:: SOT 31139 SOS 21194 HAS SOPS 21194 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13638.194
AT ITER 35 NEW BEST:: SOT 31137 SOS 21190 HAS SOPS 21190 HAS SOUS 13613 HAS SOUPS 13613 WITH SCORE 13634.19
AT ITER 36 NEW BEST:: SOT 31082 SOS 21129 HAS SOPS 21129 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13382.129
AT ITER 41 NEW BEST:: SOT 31050 SOS 20055 HAS SOPS 20055 HAS SOUS 13328 HAS SOUPS 13328 WITH SCORE 13348.055
AT ITER 50 NEW BEST:: SOT 31076 SOS 20015 HAS SOPS 20015 HAS SOUS 13240 HAS SOUPS 13240 WITH SCORE 13260.015
AT ITER 54 NEW BEST:: SOT 31074 SOS 20131 HAS SOPS 20131 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13196.131
AT ITER 55 NEW BEST:: SOT 31118 SOS 20173 HAS SOPS 20173 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13192.173
AT ITER 61 NEW BEST:: SOT 30473 SOS 22048 HAS SOPS 22048 HAS SOUS 12696 HAS SOUPS 12696 WITH SCORE 12718.048
AT ITER 62 NEW BEST:: SOT 30444 SOS 22019 HAS SOPS 22019 HAS SOUS 12667 HAS SOUPS 12667 WITH SCORE 12689.019
AT ITER 63 NEW BEST:: SOT 30345 SOS 21846 HAS SOPS 21846 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12685.846
AT ITER 64 NEW BEST:: SOT 30314 SOS 21815 HAS SOPS 21815 HAS SOUS 12633 HAS SOUPS 12633 WITH SCORE 12654.815
AT ITER 71 NEW BEST:: SOT 30306 SOS 21684 HAS SOPS 21684 HAS SOUS 12621 HAS SOUPS 12621 WITH SCORE 12642.684
AT ITER 73 NEW BEST:: SOT 30207 SOS 21529 HAS SOPS 21529 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12630.529
AT ITER 74 NEW BEST:: SOT 30236 SOS 21237 HAS SOPS 21237 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12580.237
AT ITER 76 NEW BEST:: SOT 30210 SOS 21234 HAS SOPS 21234 HAS SOUS 12510 HAS SOUPS 12510 WITH SCORE 12531.234
AT ITER 78 NEW BEST:: SOT 30137 SOS 21118 HAS SOPS 21118 HAS SOUS 12380 HAS SOUPS 12380 WITH SCORE 12401.118
AT ITER 83 NEW BEST:: SOT 30074 SOS 21064 HAS SOPS 21064 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12349.064
AT ITER 86 NEW BEST:: SOT 30026 SOS 20994 HAS SOPS 20994 HAS SOUS 12273 HAS SOUPS 12273 WITH SCORE 12293.994
AT ITER 89 NEW BEST:: SOT 30024 SOS 20992 HAS SOPS 20992 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12288.992
AT ITER 91 NEW BEST:: SOT 29950 SOS 20975 HAS SOPS 20975 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12214.975
AT ITER 92 NEW BEST:: SOT 29979 SOS 20974 HAS SOPS 20974 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12083.974
AT ITER 93 NEW BEST:: SOT 29982 SOS 20977 HAS SOPS 20977 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12081.977
AT ITER 96 NEW BEST:: SOT 29942 SOS 20909 HAS SOPS 20909 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12010.909
AT ITER 100 NEW BEST:: SOT 29930 SOS 20891 HAS SOPS 20891 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 11992.891
AT ITER 104 NEW BEST:: SOT 29967 SOS 20928 HAS SOPS 20928 HAS SOUS 11952 HAS SOUPS 11952 WITH SCORE 11972.928
AT ITER 105 NEW BEST:: SOT 29859 SOS 20862 HAS SOPS 20862 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11856.862
AT ITER 108 NEW BEST:: SOT 29786 SOS 20789 HAS SOPS 20789 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11739.789
AT ITER 117 NEW BEST:: SOT 29798 SOS 20753 HAS SOPS 20753 HAS SOUS 11687 HAS SOUPS 11687 WITH SCORE 11707.753
AT ITER 120 NEW BEST:: SOT 29827 SOS 20748 HAS SOPS 20748 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11646.748
AT ITER 121 NEW BEST:: SOT 29763 SOS 20570 HAS SOPS 20570 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11483.57
AT ITER 122 NEW BEST:: SOT 29688 SOS 20420 HAS SOPS 20420 HAS SOUS 11277 HAS SOUPS 11277 WITH SCORE 11297.42
AT ITER 126 NEW BEST:: SOT 29590 SOS 20342 HAS SOPS 20342 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11197.342
AT ITER 128 NEW BEST:: SOT 29522 SOS 20190 HAS SOPS 20190 HAS SOUS 11131 HAS SOUPS 11131 WITH SCORE 11151.19
AT ITER 129 NEW BEST:: SOT 29502 SOS 20170 HAS SOPS 20170 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11091.17
AT ITER 137 NEW BEST:: SOT 29502 SOS 20170 HAS SOPS 20170 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11072.17
AT ITER 140 NEW BEST:: SOT 29501 SOS 20169 HAS SOPS 20169 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11072.169
AT ITER 145 NEW BEST:: SOT 29495 SOS 20157 HAS SOPS 20157 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11064.157
AT ITER 147 NEW BEST:: SOT 29487 SOS 20125 HAS SOPS 20125 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11032.125
AT ITER 150 NEW BEST:: SOT 29383 SOS 19969 HAS SOPS 19969 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10977.969
AT ITER 152 NEW BEST:: SOT 29339 SOS 19912 HAS SOPS 19912 HAS SOUS 10883 HAS SOUPS 10883 WITH SCORE 10902.912
AT ITER 155 NEW BEST:: SOT 29337 SOS 19885 HAS SOPS 19885 HAS SOUS 10883 HAS SOUPS 10883 WITH SCORE 10902.885
AT ITER 156 NEW BEST:: SOT 29325 SOS 19874 HAS SOPS 19874 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10879.874
AT ITER 162 NEW BEST:: SOT 29325 SOS 19874 HAS SOPS 19874 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 10875.874
AT ITER 169 NEW BEST:: SOT 29256 SOS 19787 HAS SOPS 19787 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10849.787
AT ITER 181 NEW BEST:: SOT 29251 SOS 19777 HAS SOPS 19777 HAS SOUS 10815 HAS SOUPS 10815 WITH SCORE 10834.777
AT ITER 182 NEW BEST:: SOT 29140 SOS 19569 HAS SOPS 19569 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10704.569
AT ITER 187 NEW BEST:: SOT 29071 SOS 19500 HAS SOPS 19500 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10651.5
AT ITER 191 NEW BEST:: SOT 29182 SOS 19518 HAS SOPS 19518 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10576.518
AT ITER 192 NEW BEST:: SOT 29158 SOS 19486 HAS SOPS 19486 HAS SOUS 10523 HAS SOUPS 10523 WITH SCORE 10542.486
AT ITER 193 NEW BEST:: SOT 29172 SOS 19565 HAS SOPS 19565 HAS SOUS 10518 HAS SOUPS 10518 WITH SCORE 10537.565
AT ITER 195 NEW BEST:: SOT 29171 SOS 19564 HAS SOPS 19564 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10536.564
AT ITER 196 NEW BEST:: SOT 29157 SOS 19554 HAS SOPS 19554 HAS SOUS 10510 HAS SOUPS 10510 WITH SCORE 10529.554
AT ITER 198 NEW BEST:: SOT 29080 SOS 19252 HAS SOPS 19252 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10289.252
AT ITER 200 NEW BEST:: SOT 29067 SOS 19226 HAS SOPS 19226 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10263.226
AT ITER 201 NEW BEST:: SOT 29064 SOS 19223 HAS SOPS 19223 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10257.223
AT ITER 207 NEW BEST:: SOT 29135 SOS 19248 HAS SOPS 19248 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10201.248
AT ITER 214 NEW BEST:: SOT 29135 SOS 19224 HAS SOPS 19224 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10201.224
AT ITER 215 NEW BEST:: SOT 29050 SOS 19101 HAS SOPS 19101 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10069.101
AT ITER 218 NEW BEST:: SOT 29048 SOS 19099 HAS SOPS 19099 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10069.099
AT ITER 220 NEW BEST:: SOT 29042 SOS 19125 HAS SOPS 19125 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10057.125
AT ITER 221 NEW BEST:: SOT 29042 SOS 19119 HAS SOPS 19119 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10057.119
AT ITER 225 NEW BEST:: SOT 29040 SOS 19117 HAS SOPS 19117 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10055.117
AT ITER 233 NEW BEST:: SOT 29034 SOS 19103 HAS SOPS 19103 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10049.103
AT ITER 238 NEW BEST:: SOT 28974 SOS 19118 HAS SOPS 19118 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10047.118
AT ITER 243 NEW BEST:: SOT 28966 SOS 19118 HAS SOPS 19118 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10039.118
AT ITER 246 NEW BEST:: SOT 28966 SOS 19088 HAS SOPS 19088 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10024.088
AT ITER 255 NEW BEST:: SOT 28954 SOS 19076 HAS SOPS 19076 HAS SOUS 9991 HAS SOUPS 9991 WITH SCORE 10010.076
AT ITER 257 NEW BEST:: SOT 28926 SOS 19048 HAS SOPS 19048 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9982.048
AT ITER 260 NEW BEST:: SOT 28926 SOS 19048 HAS SOPS 19048 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9958.048
AT ITER 261 NEW BEST:: SOT 28861 SOS 18975 HAS SOPS 18975 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9953.975
AT ITER 267 NEW BEST:: SOT 28803 SOS 18883 HAS SOPS 18883 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9899.883
AT ITER 274 NEW BEST:: SOT 28803 SOS 18870 HAS SOPS 18870 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9899.87
AT ITER 276 NEW BEST:: SOT 28797 SOS 18863 HAS SOPS 18863 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9894.863
AT ITER 294 NEW BEST:: SOT 28752 SOS 18627 HAS SOPS 18627 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9807.627
AT ITER 296 NEW BEST:: SOT 28743 SOS 18603 HAS SOPS 18603 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9781.603
AT ITER 298 NEW BEST:: SOT 28717 SOS 18610 HAS SOPS 18610 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9741.61
AT ITER 303 NEW BEST:: SOT 28683 SOS 18385 HAS SOPS 18385 HAS SOUS 9721 HAS SOUPS 9721 WITH SCORE 9739.385
AT ITER 305 NEW BEST:: SOT 28631 SOS 18320 HAS SOPS 18320 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9687.32
AT ITER 306 NEW BEST:: SOT 28629 SOS 18317 HAS SOPS 18317 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9684.317
AT ITER 310 NEW BEST:: SOT 28583 SOS 18178 HAS SOPS 18178 HAS SOUS 9626 HAS SOUPS 9626 WITH SCORE 9644.178
AT ITER 317 NEW BEST:: SOT 28526 SOS 18064 HAS SOPS 18064 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9587.064
AT ITER 324 NEW BEST:: SOT 28484 SOS 17906 HAS SOPS 17906 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9543.906
AT ITER 333 NEW BEST:: SOT 28544 SOS 17873 HAS SOPS 17873 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9523.873
AT ITER 334 NEW BEST:: SOT 28765 SOS 18030 HAS SOPS 18030 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9479.03
AT ITER 336 NEW BEST:: SOT 28740 SOS 18038 HAS SOPS 18038 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9462.038
AT ITER 337 NEW BEST:: SOT 28701 SOS 17986 HAS SOPS 17986 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9396.986
AT ITER 342 NEW BEST:: SOT 28701 SOS 17986 HAS SOPS 17986 HAS SOUS 9377 HAS SOUPS 9377 WITH SCORE 9394.986
AT ITER 347 NEW BEST:: SOT 28690 SOS 18002 HAS SOPS 18002 HAS SOUS 9371 HAS SOUPS 9371 WITH SCORE 9389.002
AT ITER 350 NEW BEST:: SOT 28707 SOS 18036 HAS SOPS 18036 HAS SOUS 9364 HAS SOUPS 9364 WITH SCORE 9382.036
AT ITER 353 NEW BEST:: SOT 28643 SOS 17908 HAS SOPS 17908 HAS SOUS 9254 HAS SOUPS 9254 WITH SCORE 9271.908
AT ITER 355 NEW BEST:: SOT 28633 SOS 17896 HAS SOPS 17896 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9253.896
AT ITER 357 NEW BEST:: SOT 28525 SOS 17788 HAS SOPS 17788 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9201.788
AT ITER 363 NEW BEST:: SOT 28522 SOS 17782 HAS SOPS 17782 HAS SOUS 9181 HAS SOUPS 9181 WITH SCORE 9198.782
AT ITER 366 NEW BEST:: SOT 28522 SOS 17782 HAS SOPS 17782 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9189.782
AT ITER 371 NEW BEST:: SOT 28453 SOS 17713 HAS SOPS 17713 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9143.713
AT ITER 382 NEW BEST:: SOT 28390 SOS 17591 HAS SOPS 17591 HAS SOUS 9116 HAS SOUPS 9116 WITH SCORE 9133.591
AT ITER 385 NEW BEST:: SOT 28379 SOS 17575 HAS SOPS 17575 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9117.575
AT ITER 392 NEW BEST:: SOT 28318 SOS 17429 HAS SOPS 17429 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8939.429
AT ITER 395 NEW BEST:: SOT 28318 SOS 17429 HAS SOPS 17429 HAS SOUS 8896 HAS SOUPS 8896 WITH SCORE 8913.429
AT ITER 399 NEW BEST:: SOT 28298 SOS 17433 HAS SOPS 17433 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8896.433
AT ITER 417 NEW BEST:: SOT 28295 SOS 17356 HAS SOPS 17356 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8875.356
AT ITER 423 NEW BEST:: SOT 28269 SOS 17233 HAS SOPS 17233 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8744.233
AT ITER 431 NEW BEST:: SOT 28269 SOS 17257 HAS SOPS 17257 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8738.257
AT ITER 442 NEW BEST:: SOT 28266 SOS 17252 HAS SOPS 17252 HAS SOUS 8715 HAS SOUPS 8715 WITH SCORE 8732.252
AT ITER 449 NEW BEST:: SOT 28212 SOS 17198 HAS SOPS 17198 HAS SOUS 8661 HAS SOUPS 8661 WITH SCORE 8678.198
AT ITER 462 NEW BEST:: SOT 28187 SOS 17148 HAS SOPS 17148 HAS SOUS 8636 HAS SOUPS 8636 WITH SCORE 8653.148
AT ITER 464 NEW BEST:: SOT 28176 SOS 17143 HAS SOPS 17143 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8646.143
AT ITER 466 NEW BEST:: SOT 28172 SOS 17139 HAS SOPS 17139 HAS SOUS 8625 HAS SOUPS 8625 WITH SCORE 8642.139
AT ITER 469 NEW BEST:: SOT 28094 SOS 17061 HAS SOPS 17061 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8590.061
AT ITER 481 NEW BEST:: SOT 28095 SOS 17042 HAS SOPS 17042 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8585.042
AT ITER 482 NEW BEST:: SOT 28085 SOS 17027 HAS SOPS 17027 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8565.027
AT ITER 487 NEW BEST:: SOT 28083 SOS 17025 HAS SOPS 17025 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8517.025
AT ITER 490 NEW BEST:: SOT 28057 SOS 16927 HAS SOPS 16927 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8449.927
AT ITER 494 NEW BEST:: SOT 28042 SOS 16907 HAS SOPS 16907 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8426.907
AT ITER 510 NEW BEST:: SOT 28308 SOS 15134 HAS SOPS 15134 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8417.134
AT ITER 514 NEW BEST:: SOT 28303 SOS 15126 HAS SOPS 15126 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8413.126
AT ITER 516 NEW BEST:: SOT 28295 SOS 15122 HAS SOPS 15122 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8413.122
AT ITER 523 NEW BEST:: SOT 28299 SOS 15051 HAS SOPS 15051 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8410.051
AT ITER 527 NEW BEST:: SOT 28293 SOS 14437 HAS SOPS 14437 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8372.437
AT ITER 528 NEW BEST:: SOT 28291 SOS 14426 HAS SOPS 14426 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8363.426
AT ITER 529 NEW BEST:: SOT 28246 SOS 14731 HAS SOPS 14731 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8342.731
AT ITER 533 NEW BEST:: SOT 28257 SOS 14722 HAS SOPS 14722 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8331.722
AT ITER 535 NEW BEST:: SOT 28242 SOS 14707 HAS SOPS 14707 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8316.707
AT ITER 538 NEW BEST:: SOT 28211 SOS 14676 HAS SOPS 14676 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8312.676
AT ITER 545 NEW BEST:: SOT 28190 SOS 14656 HAS SOPS 14656 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8264.656
AT ITER 548 NEW BEST:: SOT 28187 SOS 14675 HAS SOPS 14675 HAS SOUS 8244 HAS SOUPS 8244 WITH SCORE 8258.675
AT ITER 555 NEW BEST:: SOT 28183 SOS 14591 HAS SOPS 14591 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8250.591
AT ITER 557 NEW BEST:: SOT 28183 SOS 14577 HAS SOPS 14577 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8236.577
AT ITER 564 NEW BEST:: SOT 28314 SOS 14620 HAS SOPS 14620 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8228.62
AT ITER 571 NEW BEST:: SOT 28298 SOS 14628 HAS SOPS 14628 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8212.628
AT ITER 576 NEW BEST:: SOT 28247 SOS 14554 HAS SOPS 14554 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8129.554
AT ITER 582 NEW BEST:: SOT 28177 SOS 14434 HAS SOPS 14434 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8052.434
AT ITER 583 NEW BEST:: SOT 28177 SOS 14434 HAS SOPS 14434 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8049.434
AT ITER 584 NEW BEST:: SOT 28178 SOS 14396 HAS SOPS 14396 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8041.396
AT ITER 597 NEW BEST:: SOT 28175 SOS 14415 HAS SOPS 14415 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8031.415
AT ITER 599 NEW BEST:: SOT 28130 SOS 14361 HAS SOPS 14361 HAS SOUS 7929 HAS SOUPS 7929 WITH SCORE 7943.361
AT ITER 600 NEW BEST:: SOT 28130 SOS 14361 HAS SOPS 14361 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7941.361
AT ITER 604 NEW BEST:: SOT 28063 SOS 14294 HAS SOPS 14294 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7865.294
AT ITER 605 NEW BEST:: SOT 28067 SOS 14296 HAS SOPS 14296 HAS SOUS 7847 HAS SOUPS 7847 WITH SCORE 7861.296
AT ITER 611 NEW BEST:: SOT 28048 SOS 14283 HAS SOPS 14283 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7839.283
AT ITER 613 NEW BEST:: SOT 28044 SOS 14275 HAS SOPS 14275 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7835.275
AT ITER 642 NEW BEST:: SOT 28109 SOS 14284 HAS SOPS 14284 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7823.284
AT ITER 645 NEW BEST:: SOT 28135 SOS 14345 HAS SOPS 14345 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7807.345
AT ITER 654 NEW BEST:: SOT 28099 SOS 14309 HAS SOPS 14309 HAS SOUS 7728 HAS SOUPS 7728 WITH SCORE 7742.309
AT ITER 672 NEW BEST:: SOT 28074 SOS 14285 HAS SOPS 14285 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7705.285
AT ITER 684 NEW BEST:: SOT 28070 SOS 14281 HAS SOPS 14281 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7695.281
AT ITER 692 NEW BEST:: SOT 28067 SOS 14281 HAS SOPS 14281 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7690.281
AT ITER 708 NEW BEST:: SOT 28067 SOS 14267 HAS SOPS 14267 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7683.267
AT ITER 712 NEW BEST:: SOT 28084 SOS 14245 HAS SOPS 14245 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7675.245
AT ITER 716 NEW BEST:: SOT 28084 SOS 14256 HAS SOPS 14256 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7663.256
AT ITER 717 NEW BEST:: SOT 28072 SOS 14244 HAS SOPS 14244 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7651.244
AT ITER 726 NEW BEST:: SOT 28019 SOS 14170 HAS SOPS 14170 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7588.17
AT ITER 728 NEW BEST:: SOT 27919 SOS 14066 HAS SOPS 14066 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7486.066
AT ITER 733 NEW BEST:: SOT 27919 SOS 14051 HAS SOPS 14051 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7476.051
AT ITER 746 NEW BEST:: SOT 27910 SOS 14023 HAS SOPS 14023 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7447.023
AT ITER 755 NEW BEST:: SOT 27913 SOS 14018 HAS SOPS 14018 HAS SOUS 7425 HAS SOUPS 7425 WITH SCORE 7439.018
AT ITER 765 NEW BEST:: SOT 27972 SOS 14024 HAS SOPS 14024 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7392.024
AT ITER 773 NEW BEST:: SOT 27968 SOS 13985 HAS SOPS 13985 HAS SOUS 7355 HAS SOUPS 7355 WITH SCORE 7368.985
AT ITER 780 NEW BEST:: SOT 27970 SOS 13987 HAS SOPS 13987 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7365.987
AT ITER 795 NEW BEST:: SOT 27959 SOS 13963 HAS SOPS 13963 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7354.963
AT ITER 801 NEW BEST:: SOT 27959 SOS 13970 HAS SOPS 13970 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7349.97
AT ITER 807 NEW BEST:: SOT 27965 SOS 13967 HAS SOPS 13967 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7341.967
AT ITER 808 NEW BEST:: SOT 27962 SOS 13961 HAS SOPS 13961 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7338.961
AT ITER 822 NEW BEST:: SOT 27961 SOS 13959 HAS SOPS 13959 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7335.959
AT ITER 839 NEW BEST:: SOT 27968 SOS 13969 HAS SOPS 13969 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7319.969
AT ITER 864 NEW BEST:: SOT 27950 SOS 13920 HAS SOPS 13920 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7316.92
AT ITER 870 NEW BEST:: SOT 27950 SOS 13920 HAS SOPS 13920 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7309.92
AT ITER 876 NEW BEST:: SOT 27972 SOS 13911 HAS SOPS 13911 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7308.911
AT ITER 878 NEW BEST:: SOT 27936 SOS 13917 HAS SOPS 13917 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7255.917
AT ITER 893 NEW BEST:: SOT 27936 SOS 13917 HAS SOPS 13917 HAS SOUS 7239 HAS SOUPS 7239 WITH SCORE 7252.917
AT ITER 899 NEW BEST:: SOT 27936 SOS 13895 HAS SOPS 13895 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7230.895
AT ITER 904 NEW BEST:: SOT 27936 SOS 13909 HAS SOPS 13909 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7229.909
AT ITER 913 NEW BEST:: SOT 27936 SOS 13892 HAS SOPS 13892 HAS SOUS 7189 HAS SOUPS 7189 WITH SCORE 7202.892
AT ITER 924 NEW BEST:: SOT 27934 SOS 13892 HAS SOPS 13892 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7200.892
AT ITER 926 NEW BEST:: SOT 27899 SOS 13839 HAS SOPS 13839 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7174.839
AT ITER 935 NEW BEST:: SOT 27904 SOS 13847 HAS SOPS 13847 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7163.847
AT ITER 939 NEW BEST:: SOT 27887 SOS 13830 HAS SOPS 13830 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7139.83
AT ITER 941 NEW BEST:: SOT 27869 SOS 13866 HAS SOPS 13866 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7074.866
AT ITER 954 NEW BEST:: SOT 27820 SOS 13968 HAS SOPS 13968 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7035.968
AT ITER 961 NEW BEST:: SOT 27824 SOS 13972 HAS SOPS 13972 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7031.972
AT ITER 967 NEW BEST:: SOT 27822 SOS 13970 HAS SOPS 13970 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7028.97
AT ITER 982 NEW BEST:: SOT 27765 SOS 13903 HAS SOPS 13903 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6942.903
AT ITER 985 NEW BEST:: SOT 27753 SOS 13905 HAS SOPS 13905 HAS SOUS 6905 HAS SOUPS 6905 WITH SCORE 6918.905
AT ITER 992 NEW BEST:: SOT 27754 SOS 13905 HAS SOPS 13905 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6917.905
AT ITER 1017 NEW BEST:: SOT 27786 SOS 13937 HAS SOPS 13937 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6903.937
AT ITER 1030 NEW BEST:: SOT 27780 SOS 13928 HAS SOPS 13928 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6896.928
AT ITER 1039 NEW BEST:: SOT 27786 SOS 13934 HAS SOPS 13934 HAS SOUS 6880 HAS SOUPS 6880 WITH SCORE 6893.934
AT ITER 1056 NEW BEST:: SOT 27779 SOS 13921 HAS SOPS 13921 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6880.921
AT ITER 1057 NEW BEST:: SOT 27778 SOS 13884 HAS SOPS 13884 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6877.884
AT ITER 1059 NEW BEST:: SOT 27772 SOS 13875 HAS SOPS 13875 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6865.875
AT ITER 1068 NEW BEST:: SOT 27728 SOS 13743 HAS SOPS 13743 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6772.743
AT ITER 1078 NEW BEST:: SOT 27728 SOS 13738 HAS SOPS 13738 HAS SOUS 6756 HAS SOUPS 6756 WITH SCORE 6769.738
AT ITER 1082 NEW BEST:: SOT 27712 SOS 13639 HAS SOPS 13639 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6736.639
AT ITER 1086 NEW BEST:: SOT 27709 SOS 13633 HAS SOPS 13633 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6721.633
AT ITER 1099 NEW BEST:: SOT 27673 SOS 13599 HAS SOPS 13599 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6667.599
AT ITER 1100 NEW BEST:: SOT 27646 SOS 13587 HAS SOPS 13587 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6666.587
AT ITER 1104 NEW BEST:: SOT 27630 SOS 13541 HAS SOPS 13541 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6650.541
AT ITER 1122 NEW BEST:: SOT 27598 SOS 13526 HAS SOPS 13526 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6624.526
AT ITER 1135 NEW BEST:: SOT 27592 SOS 13520 HAS SOPS 13520 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6624.52
AT ITER 1157 NEW BEST:: SOT 27580 SOS 13508 HAS SOPS 13508 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6612.508
AT ITER 1165 NEW BEST:: SOT 27502 SOS 13436 HAS SOPS 13436 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6589.436
AT ITER 1169 NEW BEST:: SOT 27477 SOS 13385 HAS SOPS 13385 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6578.385
AT ITER 1170 NEW BEST:: SOT 27478 SOS 13381 HAS SOPS 13381 HAS SOUS 6551 HAS SOUPS 6551 WITH SCORE 6564.381
AT ITER 1172 NEW BEST:: SOT 27497 SOS 13357 HAS SOPS 13357 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6559.357
AT ITER 1173 NEW BEST:: SOT 27466 SOS 13326 HAS SOPS 13326 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6550.326
AT ITER 1179 NEW BEST:: SOT 27456 SOS 13324 HAS SOPS 13324 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6549.324
AT ITER 1180 NEW BEST:: SOT 27446 SOS 13314 HAS SOPS 13314 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6544.314
AT ITER 1186 NEW BEST:: SOT 27421 SOS 13291 HAS SOPS 13291 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6494.291
AT ITER 1195 NEW BEST:: SOT 27454 SOS 13287 HAS SOPS 13287 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6494.287
AT ITER 1196 NEW BEST:: SOT 27468 SOS 13284 HAS SOPS 13284 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6491.284
AT ITER 1212 NEW BEST:: SOT 27461 SOS 13277 HAS SOPS 13277 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6477.277
AT ITER 1238 NEW BEST:: SOT 27288 SOS 13917 HAS SOPS 13917 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6404.917
AT ITER 1243 NEW BEST:: SOT 27326 SOS 13930 HAS SOPS 13930 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6386.93
AT ITER 1246 NEW BEST:: SOT 27334 SOS 13913 HAS SOPS 13913 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6373.913
AT ITER 1263 NEW BEST:: SOT 27333 SOS 13912 HAS SOPS 13912 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6372.912
AT ITER 1272 NEW BEST:: SOT 27317 SOS 13824 HAS SOPS 13824 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6319.824
AT ITER 1274 NEW BEST:: SOT 27313 SOS 13820 HAS SOPS 13820 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6315.82
AT ITER 1285 NEW BEST:: SOT 27286 SOS 13776 HAS SOPS 13776 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6280.776
AT ITER 1295 NEW BEST:: SOT 27260 SOS 13754 HAS SOPS 13754 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6255.754
AT ITER 1297 NEW BEST:: SOT 27260 SOS 13750 HAS SOPS 13750 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6255.75
AT ITER 1298 NEW BEST:: SOT 27213 SOS 13634 HAS SOPS 13634 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6215.634
AT ITER 1305 NEW BEST:: SOT 27208 SOS 13629 HAS SOPS 13629 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6210.629
AT ITER 1317 NEW BEST:: SOT 27181 SOS 13626 HAS SOPS 13626 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6207.626
AT ITER 1323 NEW BEST:: SOT 27179 SOS 13624 HAS SOPS 13624 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6204.624
AT ITER 1358 NEW BEST:: SOT 27166 SOS 13598 HAS SOPS 13598 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6191.598
AT ITER 1365 NEW BEST:: SOT 27132 SOS 13579 HAS SOPS 13579 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6146.579
AT ITER 1378 NEW BEST:: SOT 27126 SOS 13573 HAS SOPS 13573 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6140.573
AT ITER 1394 NEW BEST:: SOT 27129 SOS 13576 HAS SOPS 13576 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6121.576
AT ITER 1422 NEW BEST:: SOT 27126 SOS 13571 HAS SOPS 13571 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6116.571
AT ITER 1437 NEW BEST:: SOT 27115 SOS 13551 HAS SOPS 13551 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6113.551
AT ITER 1442 NEW BEST:: SOT 27114 SOS 13550 HAS SOPS 13550 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6113.55
AT ITER 1448 NEW BEST:: SOT 27115 SOS 13543 HAS SOPS 13543 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6089.543
AT ITER 1455 NEW BEST:: SOT 27115 SOS 13536 HAS SOPS 13536 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6089.536
AT ITER 1456 NEW BEST:: SOT 27154 SOS 13496 HAS SOPS 13496 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6058.496
AT ITER 1459 NEW BEST:: SOT 27178 SOS 13477 HAS SOPS 13477 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6028.477
AT ITER 1490 NEW BEST:: SOT 27172 SOS 13460 HAS SOPS 13460 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6022.46
AT ITER 1512 NEW BEST:: SOT 27170 SOS 13458 HAS SOPS 13458 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6018.458
AT ITER 1544 NEW BEST:: SOT 27170 SOS 13450 HAS SOPS 13450 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6012.45
AT ITER 1546 NEW BEST:: SOT 27225 SOS 13499 HAS SOPS 13499 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 6004.499
AT ITER 1553 NEW BEST:: SOT 27240 SOS 13487 HAS SOPS 13487 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5986.487
AT ITER 1580 NEW BEST:: SOT 27238 SOS 13481 HAS SOPS 13481 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5984.481
AT ITER 1590 NEW BEST:: SOT 27239 SOS 13471 HAS SOPS 13471 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5963.471
AT ITER 1594 NEW BEST:: SOT 27235 SOS 13461 HAS SOPS 13461 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5959.461
AT ITER 1602 NEW BEST:: SOT 27229 SOS 13437 HAS SOPS 13437 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5953.437
AT ITER 1607 NEW BEST:: SOT 27229 SOS 13421 HAS SOPS 13421 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5953.421
AT ITER 1621 NEW BEST:: SOT 27216 SOS 13403 HAS SOPS 13403 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5935.403
AT ITER 1670 NEW BEST:: SOT 27216 SOS 13403 HAS SOPS 13403 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5923.403
AT ITER 1675 NEW BEST:: SOT 27211 SOS 13393 HAS SOPS 13393 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5913.393
AT ITER 1676 NEW BEST:: SOT 27176 SOS 13358 HAS SOPS 13358 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5907.358
AT ITER 1684 NEW BEST:: SOT 27169 SOS 13304 HAS SOPS 13304 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5893.304
AT ITER 1688 NEW BEST:: SOT 27160 SOS 13295 HAS SOPS 13295 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5884.295
AT ITER 1698 NEW BEST:: SOT 27116 SOS 13251 HAS SOPS 13251 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5841.251
AT ITER 1703 NEW BEST:: SOT 27114 SOS 13249 HAS SOPS 13249 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5839.249
AT ITER 1707 NEW BEST:: SOT 27121 SOS 13267 HAS SOPS 13267 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5835.267
AT ITER 1742 NEW BEST:: SOT 27155 SOS 13303 HAS SOPS 13303 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5820.303
AT ITER 1770 NEW BEST:: SOT 27126 SOS 13279 HAS SOPS 13279 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5789.279
AT ITER 1775 NEW BEST:: SOT 27126 SOS 13279 HAS SOPS 13279 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5784.279
AT ITER 1780 NEW BEST:: SOT 27126 SOS 13253 HAS SOPS 13253 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5771.253
AT ITER 1797 NEW BEST:: SOT 27136 SOS 13250 HAS SOPS 13250 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5768.25
AT ITER 1807 NEW BEST:: SOT 27150 SOS 13293 HAS SOPS 13293 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5761.293
AT ITER 1810 NEW BEST:: SOT 27147 SOS 13290 HAS SOPS 13290 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5758.29
AT ITER 1816 NEW BEST:: SOT 27139 SOS 13249 HAS SOPS 13249 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5733.249
AT ITER 1835 NEW BEST:: SOT 27123 SOS 13256 HAS SOPS 13256 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5730.256
AT ITER 1837 NEW BEST:: SOT 27121 SOS 13254 HAS SOPS 13254 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5729.254
AT ITER 1840 NEW BEST:: SOT 27112 SOS 13245 HAS SOPS 13245 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5714.245
AT ITER 1862 NEW BEST:: SOT 27105 SOS 13231 HAS SOPS 13231 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5700.231
AT ITER 1865 NEW BEST:: SOT 27091 SOS 13192 HAS SOPS 13192 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5675.192
AT ITER 1869 NEW BEST:: SOT 27076 SOS 13183 HAS SOPS 13183 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5675.183
AT ITER 1879 NEW BEST:: SOT 27061 SOS 13153 HAS SOPS 13153 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5657.153
AT ITER 1888 NEW BEST:: SOT 27042 SOS 13135 HAS SOPS 13135 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5532.135
AT ITER 1913 NEW BEST:: SOT 27041 SOS 13129 HAS SOPS 13129 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5529.129
AT ITER 1916 NEW BEST:: SOT 27042 SOS 13127 HAS SOPS 13127 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5529.127
AT ITER 1944 NEW BEST:: SOT 27044 SOS 13124 HAS SOPS 13124 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5520.124
AT ITER 1976 NEW BEST:: SOT 27044 SOS 13127 HAS SOPS 13127 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5517.127
AT ITER 1983 NEW BEST:: SOT 27041 SOS 13117 HAS SOPS 13117 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5500.117
AT ITER 1989 NEW BEST:: SOT 27041 SOS 13117 HAS SOPS 13117 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5499.117
AT ITER 2029 NEW BEST:: SOT 27037 SOS 13113 HAS SOPS 13113 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5491.113
AT ITER 2040 NEW BEST:: SOT 27036 SOS 13112 HAS SOPS 13112 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5490.112
AT ITER 2063 NEW BEST:: SOT 27014 SOS 13066 HAS SOPS 13066 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5444.066
AT ITER 2075 NEW BEST:: SOT 26998 SOS 13069 HAS SOPS 13069 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5441.069
AT ITER 2077 NEW BEST:: SOT 26959 SOS 13031 HAS SOPS 13031 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5422.031
AT ITER 2081 NEW BEST:: SOT 26904 SOS 12976 HAS SOPS 12976 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5388.976
AT ITER 2107 NEW BEST:: SOT 26886 SOS 12924 HAS SOPS 12924 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5380.924
AT ITER 2124 NEW BEST:: SOT 26880 SOS 12918 HAS SOPS 12918 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5368.918
AT ITER 2131 NEW BEST:: SOT 26876 SOS 12902 HAS SOPS 12902 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5364.902
AT ITER 2142 NEW BEST:: SOT 26875 SOS 12901 HAS SOPS 12901 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5363.901
AT ITER 2143 NEW BEST:: SOT 26869 SOS 12901 HAS SOPS 12901 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5344.901
AT ITER 2162 NEW BEST:: SOT 26867 SOS 12901 HAS SOPS 12901 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5341.901
AT ITER 2164 NEW BEST:: SOT 26856 SOS 12928 HAS SOPS 12928 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5330.928
AT ITER 2173 NEW BEST:: SOT 26848 SOS 12920 HAS SOPS 12920 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5322.92
AT ITER 2225 NEW BEST:: SOT 26830 SOS 12900 HAS SOPS 12900 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5306.9
AT ITER 2226 NEW BEST:: SOT 26827 SOS 12902 HAS SOPS 12902 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5305.902
AT ITER 2242 NEW BEST:: SOT 26824 SOS 12902 HAS SOPS 12902 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5302.902
AT ITER 2272 NEW BEST:: SOT 26817 SOS 12839 HAS SOPS 12839 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5298.839
AT ITER 2280 NEW BEST:: SOT 26810 SOS 12839 HAS SOPS 12839 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5290.839
AT ITER 2338 NEW BEST:: SOT 26800 SOS 12828 HAS SOPS 12828 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5285.828
AT ITER 2343 NEW BEST:: SOT 26788 SOS 12780 HAS SOPS 12780 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5245.78
AT ITER 2378 NEW BEST:: SOT 26779 SOS 12783 HAS SOPS 12783 HAS SOUS 5230 HAS SOUPS 5230 WITH SCORE 5242.783
AT ITER 2385 NEW BEST:: SOT 26783 SOS 12777 HAS SOPS 12777 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5234.777
AT ITER 2406 NEW BEST:: SOT 26783 SOS 12758 HAS SOPS 12758 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5207.758
AT ITER 2416 NEW BEST:: SOT 26783 SOS 12728 HAS SOPS 12728 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5203.728
AT ITER 2418 NEW BEST:: SOT 26783 SOS 12726 HAS SOPS 12726 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5199.726
AT ITER 2441 NEW BEST:: SOT 26770 SOS 12665 HAS SOPS 12665 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5184.665
AT ITER 2445 NEW BEST:: SOT 26784 SOS 12668 HAS SOPS 12668 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5167.668
AT ITER 2474 NEW BEST:: SOT 26757 SOS 12644 HAS SOPS 12644 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5162.644
AT ITER 2524 NEW BEST:: SOT 26756 SOS 12642 HAS SOPS 12642 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5159.642
AT ITER 2534 NEW BEST:: SOT 26756 SOS 12646 HAS SOPS 12646 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5157.646
AT ITER 2547 NEW BEST:: SOT 26746 SOS 12636 HAS SOPS 12636 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5147.636
AT ITER 2553 NEW BEST:: SOT 26738 SOS 12616 HAS SOPS 12616 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5115.616
AT ITER 2607 NEW BEST:: SOT 26736 SOS 12614 HAS SOPS 12614 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5103.614
AT ITER 2611 NEW BEST:: SOT 26734 SOS 12609 HAS SOPS 12609 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5099.609
AT ITER 2628 NEW BEST:: SOT 26723 SOS 12599 HAS SOPS 12599 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5075.599
AT ITER 2663 NEW BEST:: SOT 26672 SOS 12548 HAS SOPS 12548 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5016.548
AT ITER 2675 NEW BEST:: SOT 26694 SOS 12570 HAS SOPS 12570 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5010.57
AT ITER 2686 NEW BEST:: SOT 26688 SOS 12564 HAS SOPS 12564 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4998.564
AT ITER 2689 NEW BEST:: SOT 26668 SOS 12549 HAS SOPS 12549 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4993.549
AT ITER 2697 NEW BEST:: SOT 26667 SOS 12543 HAS SOPS 12543 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4991.543
AT ITER 2701 NEW BEST:: SOT 26663 SOS 12523 HAS SOPS 12523 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4960.523
AT ITER 2716 NEW BEST:: SOT 26660 SOS 12529 HAS SOPS 12529 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4948.529
AT ITER 2718 NEW BEST:: SOT 26655 SOS 12527 HAS SOPS 12527 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4944.527
AT ITER 2726 NEW BEST:: SOT 26657 SOS 12531 HAS SOPS 12531 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4943.531
AT ITER 2727 NEW BEST:: SOT 26656 SOS 12530 HAS SOPS 12530 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4941.53
AT ITER 2745 NEW BEST:: SOT 26650 SOS 12524 HAS SOPS 12524 HAS SOUS 4920 HAS SOUPS 4920 WITH SCORE 4932.524
AT ITER 2815 NEW BEST:: SOT 26640 SOS 12501 HAS SOPS 12501 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4910.501
AT ITER 2816 NEW BEST:: SOT 26630 SOS 12491 HAS SOPS 12491 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4898.491
AT ITER 2838 NEW BEST:: SOT 26633 SOS 12488 HAS SOPS 12488 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4879.488
AT ITER 2884 NEW BEST:: SOT 26633 SOS 12486 HAS SOPS 12486 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4879.486
AT ITER 2894 NEW BEST:: SOT 26632 SOS 12484 HAS SOPS 12484 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4878.484
AT ITER 2919 NEW BEST:: SOT 26645 SOS 12479 HAS SOPS 12479 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4878.479
AT ITER 2922 NEW BEST:: SOT 26650 SOS 12454 HAS SOPS 12454 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4871.454
AT ITER 2929 NEW BEST:: SOT 26613 SOS 12613 HAS SOPS 12613 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4870.613
AT ITER 2981 NEW BEST:: SOT 26614 SOS 12579 HAS SOPS 12579 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4864.579
AT ITER 3019 NEW BEST:: SOT 26634 SOS 12568 HAS SOPS 12568 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4852.568
AT ITER 3020 NEW BEST:: SOT 26631 SOS 12554 HAS SOPS 12554 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4849.554
AT ITER 3071 NEW BEST:: SOT 26630 SOS 12554 HAS SOPS 12554 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4848.554
AT ITER 3106 NEW BEST:: SOT 26630 SOS 12552 HAS SOPS 12552 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4846.552
AT ITER 3172 NEW BEST:: SOT 26638 SOS 12568 HAS SOPS 12568 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4838.568
AT ITER 3204 NEW BEST:: SOT 26635 SOS 12565 HAS SOPS 12565 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4838.565
AT ITER 3206 NEW BEST:: SOT 26635 SOS 12564 HAS SOPS 12564 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4838.564
AT ITER 3258 NEW BEST:: SOT 26635 SOS 12559 HAS SOPS 12559 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4833.559
AT ITER 3273 NEW BEST:: SOT 26634 SOS 12558 HAS SOPS 12558 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4830.558
AT ITER 3284 NEW BEST:: SOT 26627 SOS 12599 HAS SOPS 12599 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4828.599
AT ITER 3328 NEW BEST:: SOT 26618 SOS 12590 HAS SOPS 12590 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4821.59
AT ITER 3338 NEW BEST:: SOT 26614 SOS 12588 HAS SOPS 12588 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4815.588
AT ITER 3340 NEW BEST:: SOT 26606 SOS 12580 HAS SOPS 12580 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4807.58
AT ITER 3372 NEW BEST:: SOT 26606 SOS 12579 HAS SOPS 12579 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4806.579
AT ITER 3387 NEW BEST:: SOT 26588 SOS 12536 HAS SOPS 12536 HAS SOUS 4790 HAS SOUPS 4790 WITH SCORE 4802.536
AT ITER 3445 NEW BEST:: SOT 26573 SOS 12518 HAS SOPS 12518 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4795.518
AT ITER 3477 NEW BEST:: SOT 26573 SOS 12518 HAS SOPS 12518 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4791.518
AT ITER 3482 NEW BEST:: SOT 26537 SOS 12486 HAS SOPS 12486 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4774.486
AT ITER 3483 NEW BEST:: SOT 26527 SOS 12481 HAS SOPS 12481 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4774.481
AT ITER 3520 NEW BEST:: SOT 26525 SOS 12480 HAS SOPS 12480 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4774.48
AT ITER 3595 NEW BEST:: SOT 26524 SOS 12478 HAS SOPS 12478 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4773.478
AT ITER 3643 NEW BEST:: SOT 26522 SOS 12470 HAS SOPS 12470 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4769.47
AT ITER 3661 NEW BEST:: SOT 26492 SOS 12389 HAS SOPS 12389 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4743.389
AT ITER 3699 NEW BEST:: SOT 26510 SOS 12393 HAS SOPS 12393 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4739.393
AT ITER 3720 NEW BEST:: SOT 26484 SOS 12329 HAS SOPS 12329 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4686.329
AT ITER 3741 NEW BEST:: SOT 26480 SOS 12325 HAS SOPS 12325 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4683.325
AT ITER 3760 NEW BEST:: SOT 26467 SOS 12299 HAS SOPS 12299 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4670.299
AT ITER 3798 NEW BEST:: SOT 26461 SOS 12306 HAS SOPS 12306 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4663.306
AT ITER 3799 NEW BEST:: SOT 26461 SOS 12286 HAS SOPS 12286 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4653.286
AT ITER 3835 NEW BEST:: SOT 26439 SOS 12264 HAS SOPS 12264 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4639.264
AT ITER 3865 NEW BEST:: SOT 26430 SOS 12255 HAS SOPS 12255 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4624.255
AT ITER 3895 NEW BEST:: SOT 26430 SOS 12255 HAS SOPS 12255 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4622.255
AT ITER 3923 NEW BEST:: SOT 26424 SOS 12249 HAS SOPS 12249 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4614.249
AT ITER 3955 NEW BEST:: SOT 26398 SOS 12209 HAS SOPS 12209 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4579.209
AT ITER 3980 NEW BEST:: SOT 26398 SOS 12197 HAS SOPS 12197 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4567.197
AT ITER 3999 NEW BEST:: SOT 26366 SOS 12165 HAS SOPS 12165 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4567.165
AT ITER 4034 NEW BEST:: SOT 26364 SOS 12163 HAS SOPS 12163 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4564.163
AT ITER 4052 NEW BEST:: SOT 26355 SOS 12157 HAS SOPS 12157 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4558.157
AT ITER 4060 NEW BEST:: SOT 26350 SOS 12150 HAS SOPS 12150 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4547.15
AT ITER 4078 NEW BEST:: SOT 26349 SOS 12150 HAS SOPS 12150 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4546.15
AT ITER 4102 NEW BEST:: SOT 26356 SOS 12151 HAS SOPS 12151 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4544.151
AT ITER 4103 NEW BEST:: SOT 26355 SOS 12149 HAS SOPS 12149 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4541.149
AT ITER 4132 NEW BEST:: SOT 26348 SOS 12146 HAS SOPS 12146 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4539.146
AT ITER 4137 NEW BEST:: SOT 26330 SOS 12121 HAS SOPS 12121 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4529.121
AT ITER 4148 NEW BEST:: SOT 26298 SOS 12073 HAS SOPS 12073 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4529.073
AT ITER 4172 NEW BEST:: SOT 26290 SOS 12065 HAS SOPS 12065 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4527.065
AT ITER 4176 NEW BEST:: SOT 26281 SOS 12175 HAS SOPS 12175 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4521.175
AT ITER 4190 NEW BEST:: SOT 26284 SOS 12169 HAS SOPS 12169 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4521.169
AT ITER 4195 NEW BEST:: SOT 26272 SOS 12150 HAS SOPS 12150 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4490.15
AT ITER 4205 NEW BEST:: SOT 26237 SOS 12124 HAS SOPS 12124 HAS SOUS 4436 HAS SOUPS 4436 WITH SCORE 4448.124
AT ITER 4251 NEW BEST:: SOT 26238 SOS 12120 HAS SOPS 12120 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4442.12
AT ITER 4255 NEW BEST:: SOT 26238 SOS 12120 HAS SOPS 12120 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4441.12
AT ITER 4276 NEW BEST:: SOT 26250 SOS 12132 HAS SOPS 12132 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4439.132
AT ITER 4298 NEW BEST:: SOT 26245 SOS 12132 HAS SOPS 12132 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4434.132
AT ITER 4304 NEW BEST:: SOT 26242 SOS 12125 HAS SOPS 12125 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4429.125
AT ITER 4333 NEW BEST:: SOT 26242 SOS 12124 HAS SOPS 12124 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4429.124
AT ITER 4353 NEW BEST:: SOT 26230 SOS 12108 HAS SOPS 12108 HAS SOUS 4409 HAS SOUPS 4409 WITH SCORE 4421.108
AT ITER 4370 NEW BEST:: SOT 26233 SOS 12104 HAS SOPS 12104 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4414.104
AT ITER 4374 NEW BEST:: SOT 26230 SOS 12101 HAS SOPS 12101 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4414.101
AT ITER 4375 NEW BEST:: SOT 26209 SOS 11988 HAS SOPS 11988 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4394.988
AT ITER 4376 NEW BEST:: SOT 26194 SOS 11949 HAS SOPS 11949 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4378.949
AT ITER 4377 NEW BEST:: SOT 26193 SOS 11947 HAS SOPS 11947 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4374.947
AT ITER 4395 NEW BEST:: SOT 26191 SOS 11943 HAS SOPS 11943 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4373.943
AT ITER 4417 NEW BEST:: SOT 26152 SOS 11928 HAS SOPS 11928 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4370.928
AT ITER 4422 NEW BEST:: SOT 26145 SOS 11919 HAS SOPS 11919 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4369.919
AT ITER 4427 NEW BEST:: SOT 26145 SOS 11915 HAS SOPS 11915 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4365.915
AT ITER 4466 NEW BEST:: SOT 26122 SOS 11902 HAS SOPS 11902 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4340.902
AT ITER 4468 NEW BEST:: SOT 26119 SOS 11893 HAS SOPS 11893 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4334.893
AT ITER 4492 NEW BEST:: SOT 26117 SOS 11885 HAS SOPS 11885 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4332.885
AT ITER 4498 NEW BEST:: SOT 26122 SOS 11891 HAS SOPS 11891 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4331.891
AT ITER 4502 NEW BEST:: SOT 26117 SOS 11895 HAS SOPS 11895 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4328.895
AT ITER 4505 NEW BEST:: SOT 26117 SOS 11895 HAS SOPS 11895 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4325.895
AT ITER 4540 NEW BEST:: SOT 26118 SOS 11825 HAS SOPS 11825 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4293.825
AT ITER 4542 NEW BEST:: SOT 26121 SOS 11817 HAS SOPS 11817 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4291.817
AT ITER 4549 NEW BEST:: SOT 26120 SOS 11816 HAS SOPS 11816 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4291.816
AT ITER 4571 NEW BEST:: SOT 26118 SOS 11812 HAS SOPS 11812 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4287.812
AT ITER 4579 NEW BEST:: SOT 26105 SOS 11798 HAS SOPS 11798 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4244.798
AT ITER 4674 NEW BEST:: SOT 26100 SOS 11783 HAS SOPS 11783 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4241.783
AT ITER 4680 NEW BEST:: SOT 26104 SOS 11777 HAS SOPS 11777 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4235.777
AT ITER 4695 NEW BEST:: SOT 26102 SOS 11783 HAS SOPS 11783 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4223.783
AT ITER 4700 NEW BEST:: SOT 26090 SOS 11771 HAS SOPS 11771 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4211.771
AT ITER 4721 NEW BEST:: SOT 26090 SOS 11771 HAS SOPS 11771 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4210.771
AT ITER 4735 NEW BEST:: SOT 26075 SOS 11721 HAS SOPS 11721 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4180.721
AT ITER 4879 NEW BEST:: SOT 26063 SOS 11707 HAS SOPS 11707 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4170.707
AT ITER 4982 NEW BEST:: SOT 26063 SOS 11707 HAS SOPS 11707 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4169.707
AT ITER 5011 NEW BEST:: SOT 26062 SOS 11704 HAS SOPS 11704 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4168.704
AT ITER 5054 NEW BEST:: SOT 26058 SOS 11688 HAS SOPS 11688 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4161.688
AT ITER 5065 NEW BEST:: SOT 26068 SOS 11693 HAS SOPS 11693 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4156.693
AT ITER 5066 NEW BEST:: SOT 26067 SOS 11692 HAS SOPS 11692 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4151.692
AT ITER 5079 NEW BEST:: SOT 26053 SOS 11669 HAS SOPS 11669 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4142.669
AT ITER 5112 NEW BEST:: SOT 26048 SOS 11665 HAS SOPS 11665 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4139.665
AT ITER 5118 NEW BEST:: SOT 26044 SOS 11692 HAS SOPS 11692 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4120.692
AT ITER 5138 NEW BEST:: SOT 26043 SOS 11699 HAS SOPS 11699 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4119.699
AT ITER 5262 NEW BEST:: SOT 26047 SOS 11703 HAS SOPS 11703 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4117.703
AT ITER 5287 NEW BEST:: SOT 26042 SOS 11683 HAS SOPS 11683 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4097.683
AT ITER 5442 NEW BEST:: SOT 26039 SOS 11681 HAS SOPS 11681 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4095.681
AT ITER 5444 NEW BEST:: SOT 26036 SOS 11685 HAS SOPS 11685 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4087.685
AT ITER 5450 NEW BEST:: SOT 26035 SOS 11682 HAS SOPS 11682 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4084.682
AT ITER 5476 NEW BEST:: SOT 26047 SOS 11687 HAS SOPS 11687 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4081.687
AT ITER 5500 NEW BEST:: SOT 26041 SOS 11681 HAS SOPS 11681 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4075.681
AT ITER 5504 NEW BEST:: SOT 26018 SOS 11637 HAS SOPS 11637 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4062.637
AT ITER 5521 NEW BEST:: SOT 26014 SOS 11634 HAS SOPS 11634 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4059.634
AT ITER 5571 NEW BEST:: SOT 26007 SOS 11620 HAS SOPS 11620 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4049.62
AT ITER 5636 NEW BEST:: SOT 26005 SOS 11616 HAS SOPS 11616 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4041.616
AT ITER 5676 NEW BEST:: SOT 26008 SOS 11616 HAS SOPS 11616 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4035.616
AT ITER 5773 NEW BEST:: SOT 26007 SOS 11615 HAS SOPS 11615 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4018.615
AT ITER 5814 NEW BEST:: SOT 26007 SOS 11605 HAS SOPS 11605 HAS SOUS 4002 HAS SOUPS 4002 WITH SCORE 4013.605
AT ITER 5821 NEW BEST:: SOT 26005 SOS 11597 HAS SOPS 11597 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4008.597
AT ITER 5901 NEW BEST:: SOT 26002 SOS 11606 HAS SOPS 11606 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 4004.606
AT ITER 5993 NEW BEST:: SOT 26000 SOS 11604 HAS SOPS 11604 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 4003.604
AT ITER 6013 NEW BEST:: SOT 25985 SOS 11603 HAS SOPS 11603 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3973.603
AT ITER 6033 NEW BEST:: SOT 25981 SOS 11599 HAS SOPS 11599 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3969.599
AT ITER 6088 NEW BEST:: SOT 25978 SOS 11600 HAS SOPS 11600 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3966.6
AT ITER 6197 NEW BEST:: SOT 25977 SOS 11598 HAS SOPS 11598 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3964.598
AT ITER 6208 NEW BEST:: SOT 25977 SOS 11598 HAS SOPS 11598 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3961.598
AT ITER 6317 NEW BEST:: SOT 25973 SOS 11594 HAS SOPS 11594 HAS SOUS 3946 HAS SOUPS 3946 WITH SCORE 3957.594
AT ITER 6407 NEW BEST:: SOT 25970 SOS 11591 HAS SOPS 11591 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3954.591
AT ITER 6418 NEW BEST:: SOT 25953 SOS 11621 HAS SOPS 11621 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3943.621
AT ITER 6455 NEW BEST:: SOT 25950 SOS 11615 HAS SOPS 11615 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3937.615
AT ITER 6481 NEW BEST:: SOT 25958 SOS 11613 HAS SOPS 11613 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3937.613
AT ITER 6519 NEW BEST:: SOT 25957 SOS 11612 HAS SOPS 11612 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3937.612
AT ITER 6524 NEW BEST:: SOT 25956 SOS 11602 HAS SOPS 11602 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3931.602
AT ITER 6574 NEW BEST:: SOT 25969 SOS 11608 HAS SOPS 11608 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3929.608
AT ITER 6586 NEW BEST:: SOT 25966 SOS 11604 HAS SOPS 11604 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3926.604
AT ITER 6615 NEW BEST:: SOT 25983 SOS 11612 HAS SOPS 11612 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3922.612
AT ITER 6618 NEW BEST:: SOT 25963 SOS 11594 HAS SOPS 11594 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3922.594
AT ITER 6641 NEW BEST:: SOT 25962 SOS 11593 HAS SOPS 11593 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3922.593
AT ITER 6649 NEW BEST:: SOT 25942 SOS 11568 HAS SOPS 11568 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3912.568
AT ITER 6681 NEW BEST:: SOT 25938 SOS 11560 HAS SOPS 11560 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3901.56
AT ITER 6712 NEW BEST:: SOT 25927 SOS 11546 HAS SOPS 11546 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3885.546
AT ITER 6729 NEW BEST:: SOT 25913 SOS 11532 HAS SOPS 11532 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3882.532
AT ITER 6806 NEW BEST:: SOT 25911 SOS 11538 HAS SOPS 11538 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3876.538
AT ITER 6840 NEW BEST:: SOT 25910 SOS 11536 HAS SOPS 11536 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3875.536
AT ITER 6865 NEW BEST:: SOT 25910 SOS 11521 HAS SOPS 11521 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3875.521
AT ITER 6912 NEW BEST:: SOT 25903 SOS 11520 HAS SOPS 11520 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3871.52
AT ITER 7006 NEW BEST:: SOT 25902 SOS 11518 HAS SOPS 11518 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3868.518
AT ITER 7012 NEW BEST:: SOT 25894 SOS 11510 HAS SOPS 11510 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3867.51
AT ITER 7017 NEW BEST:: SOT 25894 SOS 11478 HAS SOPS 11478 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3867.478
AT ITER 7034 NEW BEST:: SOT 25892 SOS 11474 HAS SOPS 11474 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3865.474
AT ITER 7090 NEW BEST:: SOT 25892 SOS 11462 HAS SOPS 11462 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3865.462
AT ITER 7128 NEW BEST:: SOT 25877 SOS 11447 HAS SOPS 11447 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3860.447
AT ITER 7167 NEW BEST:: SOT 25873 SOS 11445 HAS SOPS 11445 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3860.445
AT ITER 7236 NEW BEST:: SOT 25870 SOS 11441 HAS SOPS 11441 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3857.441
AT ITER 7301 NEW BEST:: SOT 25879 SOS 11449 HAS SOPS 11449 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3856.449
AT ITER 7322 NEW BEST:: SOT 25877 SOS 11445 HAS SOPS 11445 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3856.445
AT ITER 7470 NEW BEST:: SOT 25870 SOS 11426 HAS SOPS 11426 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3846.426
AT ITER 7563 NEW BEST:: SOT 25872 SOS 11422 HAS SOPS 11422 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3846.422
AT ITER 7623 NEW BEST:: SOT 25871 SOS 11402 HAS SOPS 11402 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3837.402
AT ITER 7631 NEW BEST:: SOT 25845 SOS 11376 HAS SOPS 11376 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3818.376
AT ITER 7673 NEW BEST:: SOT 25845 SOS 11372 HAS SOPS 11372 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3818.372
AT ITER 7818 NEW BEST:: SOT 25836 SOS 11365 HAS SOPS 11365 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3800.365
AT ITER 7843 NEW BEST:: SOT 25853 SOS 11389 HAS SOPS 11389 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3798.389
AT ITER 7915 NEW BEST:: SOT 25853 SOS 11385 HAS SOPS 11385 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3797.385
AT ITER 8005 NEW BEST:: SOT 25852 SOS 11383 HAS SOPS 11383 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3794.383
AT ITER 8068 NEW BEST:: SOT 25848 SOS 11375 HAS SOPS 11375 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3793.375
AT ITER 8080 NEW BEST:: SOT 25853 SOS 11380 HAS SOPS 11380 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3790.38
AT ITER 8130 NEW BEST:: SOT 25848 SOS 11380 HAS SOPS 11380 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3788.38
AT ITER 8169 NEW BEST:: SOT 25848 SOS 11368 HAS SOPS 11368 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3785.368
AT ITER 8222 NEW BEST:: SOT 25848 SOS 11364 HAS SOPS 11364 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3781.364
AT ITER 8238 NEW BEST:: SOT 25835 SOS 11351 HAS SOPS 11351 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3769.351
AT ITER 8411 NEW BEST:: SOT 25834 SOS 11350 HAS SOPS 11350 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3769.35
AT ITER 8454 NEW BEST:: SOT 25833 SOS 11345 HAS SOPS 11345 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3769.345
AT ITER 8514 NEW BEST:: SOT 25833 SOS 11343 HAS SOPS 11343 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3769.343
AT ITER 8524 NEW BEST:: SOT 25813 SOS 11384 HAS SOPS 11384 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3761.384
AT ITER 8752 NEW BEST:: SOT 25801 SOS 11366 HAS SOPS 11366 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3755.366
AT ITER 8903 NEW BEST:: SOT 25800 SOS 11364 HAS SOPS 11364 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3752.364
AT ITER 8909 NEW BEST:: SOT 25798 SOS 11357 HAS SOPS 11357 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3750.357
AT ITER 9006 NEW BEST:: SOT 25799 SOS 11354 HAS SOPS 11354 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3749.354
AT ITER 9191 NEW BEST:: SOT 25799 SOS 11348 HAS SOPS 11348 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3747.348
AT ITER 9221 NEW BEST:: SOT 25789 SOS 11344 HAS SOPS 11344 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3737.344
AT ITER 9267 NEW BEST:: SOT 25787 SOS 11344 HAS SOPS 11344 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3736.344
AT ITER 9303 NEW BEST:: SOT 25786 SOS 11344 HAS SOPS 11344 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3734.344
AT ITER 9418 NEW BEST:: SOT 25789 SOS 11346 HAS SOPS 11346 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3731.346
AT ITER 9465 NEW BEST:: SOT 25788 SOS 11350 HAS SOPS 11350 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3729.35
AT ITER 9527 NEW BEST:: SOT 25790 SOS 11356 HAS SOPS 11356 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3726.356
AT ITER 9605 NEW BEST:: SOT 25798 SOS 11376 HAS SOPS 11376 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3707.376
AT ITER 9748 NEW BEST:: SOT 25798 SOS 11366 HAS SOPS 11366 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3705.366
AT ITER 9785 NEW BEST:: SOT 25801 SOS 11366 HAS SOPS 11366 HAS SOUS 3691 HAS SOUPS 3691 WITH SCORE 3702.366
AT ITER 9795 NEW BEST:: SOT 25805 SOS 11362 HAS SOPS 11362 HAS SOUS 3691 HAS SOUPS 3691 WITH SCORE 3702.362
AT ITER 9817 NEW BEST:: SOT 25799 SOS 11357 HAS SOPS 11357 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3696.357
AT ITER 9838 NEW BEST:: SOT 25790 SOS 11345 HAS SOPS 11345 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3693.345
AT ITER 9897 NEW BEST:: SOT 25789 SOS 11344 HAS SOPS 11344 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3692.344
STATE_SPACE STATES 278780835102 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 36 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3862407258080 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679190895151

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

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="UtilityControlRoom-PT-Z2T4N10"
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 UtilityControlRoom-PT-Z2T4N10, 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 r483-tall-167912696601160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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