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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 9.4K Feb 25 14:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 14:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 14:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 14:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678622411589

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-08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 08
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 3 NEW BEST:: SOT 1171495 SOS 639979 HAS SOPS 636883 HAS SOUS 255991 HAS SOUPS 253174 WITH SCORE 253813.979
AT ITER 13 NEW BEST:: SOT 1155280 SOS 712150 HAS SOPS 709054 HAS SOUS 240145 HAS SOUPS 237328 WITH SCORE 238040.15
AT ITER 19 NEW BEST:: SOT 1155272 SOS 712226 HAS SOPS 709130 HAS SOUS 240137 HAS SOUPS 237320 WITH SCORE 238032.226
AT ITER 23 NEW BEST:: SOT 1155262 SOS 712216 HAS SOPS 709120 HAS SOUS 240102 HAS SOUPS 237285 WITH SCORE 237997.216
AT ITER 24 NEW BEST:: SOT 1155262 SOS 712216 HAS SOPS 709120 HAS SOUS 240076 HAS SOUPS 237259 WITH SCORE 237971.216
AT ITER 32 NEW BEST:: SOT 1155202 SOS 714861 HAS SOPS 711765 HAS SOUS 238038 HAS SOUPS 235221 WITH SCORE 235935.861
AT ITER 34 NEW BEST:: SOT 1155312 SOS 714971 HAS SOPS 711875 HAS SOUS 237620 HAS SOUPS 234803 WITH SCORE 235517.971
AT ITER 40 NEW BEST:: SOT 1141779 SOS 796656 HAS SOPS 794990 HAS SOUS 223510 HAS SOUPS 221844 WITH SCORE 222640.656
AT ITER 41 NEW BEST:: SOT 1142403 SOS 797258 HAS SOPS 795614 HAS SOUS 222040 HAS SOUPS 220396 WITH SCORE 221193.258
AT ITER 44 NEW BEST:: SOT 1142849 SOS 798288 HAS SOPS 796644 HAS SOUS 220725 HAS SOUPS 219081 WITH SCORE 219879.288
AT ITER 47 NEW BEST:: SOT 1143908 SOS 799319 HAS SOPS 797703 HAS SOUS 220558 HAS SOUPS 218942 WITH SCORE 219741.319
AT ITER 49 NEW BEST:: SOT 1144365 SOS 846104 HAS SOPS 843835 HAS SOUS 221068 HAS SOUPS 218799 WITH SCORE 219645.104
AT ITER 50 NEW BEST:: SOT 1143941 SOS 846427 HAS SOPS 844158 HAS SOUS 220268 HAS SOUPS 217999 WITH SCORE 218845.427
AT ITER 54 NEW BEST:: SOT 1143941 SOS 846427 HAS SOPS 844158 HAS SOUS 220196 HAS SOUPS 217927 WITH SCORE 218773.427
AT ITER 55 NEW BEST:: SOT 1143851 SOS 846337 HAS SOPS 844068 HAS SOUS 218968 HAS SOUPS 216699 WITH SCORE 217545.337
AT ITER 59 NEW BEST:: SOT 1143737 SOS 846223 HAS SOPS 843954 HAS SOUS 218746 HAS SOUPS 216477 WITH SCORE 217323.223
AT ITER 60 NEW BEST:: SOT 1143737 SOS 846194 HAS SOPS 843954 HAS SOUS 218308 HAS SOUPS 216068 WITH SCORE 216914.194
AT ITER 63 NEW BEST:: SOT 1143358 SOS 849437 HAS SOPS 847197 HAS SOUS 216923 HAS SOUPS 214683 WITH SCORE 215532.437
AT ITER 68 NEW BEST:: SOT 1143358 SOS 849458 HAS SOPS 847197 HAS SOUS 216921 HAS SOUPS 214660 WITH SCORE 215509.458
AT ITER 73 NEW BEST:: SOT 1147941 SOS 855303 HAS SOPS 853100 HAS SOUS 216692 HAS SOUPS 214489 WITH SCORE 215344.303
AT ITER 85 NEW BEST:: SOT 1150028 SOS 857330 HAS SOPS 855187 HAS SOUS 213508 HAS SOUPS 211365 WITH SCORE 212222.33
AT ITER 93 NEW BEST:: SOT 1150028 SOS 858865 HAS SOPS 856747 HAS SOUS 213118 HAS SOUPS 211000 WITH SCORE 211858.865
AT ITER 105 NEW BEST:: SOT 1150028 SOS 860226 HAS SOPS 858139 HAS SOUS 212770 HAS SOUPS 210683 WITH SCORE 211543.226
AT ITER 114 NEW BEST:: SOT 1150140 SOS 860338 HAS SOPS 858251 HAS SOUS 212721 HAS SOUPS 210634 WITH SCORE 211494.338
AT ITER 115 NEW BEST:: SOT 1152208 SOS 863451 HAS SOPS 861327 HAS SOUS 212649 HAS SOUPS 210553 WITH SCORE 211416.451
AT ITER 120 NEW BEST:: SOT 1152758 SOS 863797 HAS SOPS 861673 HAS SOUS 212154 HAS SOUPS 210058 WITH SCORE 210921.797
AT ITER 122 NEW BEST:: SOT 1152796 SOS 863835 HAS SOPS 861711 HAS SOUS 211378 HAS SOUPS 209282 WITH SCORE 210145.835
AT ITER 123 NEW BEST:: SOT 1152600 SOS 863639 HAS SOPS 861515 HAS SOUS 210972 HAS SOUPS 208876 WITH SCORE 209739.639
AT ITER 127 NEW BEST:: SOT 1152600 SOS 863639 HAS SOPS 861515 HAS SOUS 210354 HAS SOUPS 208258 WITH SCORE 209121.639
AT ITER 129 NEW BEST:: SOT 1152845 SOS 863904 HAS SOPS 861760 HAS SOUS 209761 HAS SOUPS 207665 WITH SCORE 208528.904
AT ITER 135 NEW BEST:: SOT 1156180 SOS 867322 HAS SOPS 865237 HAS SOUS 208980 HAS SOUPS 206943 WITH SCORE 207810.322
AT ITER 140 NEW BEST:: SOT 1157107 SOS 868663 HAS SOPS 866922 HAS SOUS 208276 HAS SOUPS 206583 WITH SCORE 207451.663
AT ITER 141 NEW BEST:: SOT 1153121 SOS 864677 HAS SOPS 862936 HAS SOUS 203465 HAS SOUPS 201772 WITH SCORE 202636.677
AT ITER 142 NEW BEST:: SOT 1153202 SOS 864758 HAS SOPS 863017 HAS SOUS 203132 HAS SOUPS 201439 WITH SCORE 202303.758
AT ITER 169 NEW BEST:: SOT 1153202 SOS 861578 HAS SOPS 859837 HAS SOUS 203072 HAS SOUPS 201379 WITH SCORE 202240.578
AT ITER 171 NEW BEST:: SOT 1152919 SOS 863186 HAS SOPS 862283 HAS SOUS 201027 HAS SOUPS 200172 WITH SCORE 201035.186
AT ITER 172 NEW BEST:: SOT 1152919 SOS 865234 HAS SOPS 864360 HAS SOUS 200661 HAS SOUPS 199835 WITH SCORE 200700.234
AT ITER 185 NEW BEST:: SOT 1152890 SOS 865184 HAS SOPS 864331 HAS SOUS 199702 HAS SOUPS 198897 WITH SCORE 199762.184
AT ITER 186 NEW BEST:: SOT 1152961 SOS 865255 HAS SOPS 864402 HAS SOUS 199480 HAS SOUPS 198675 WITH SCORE 199540.255
AT ITER 188 NEW BEST:: SOT 1152886 SOS 865180 HAS SOPS 864327 HAS SOUS 199310 HAS SOUPS 198505 WITH SCORE 199370.18
AT ITER 190 NEW BEST:: SOT 1152671 SOS 864965 HAS SOPS 864112 HAS SOUS 198801 HAS SOUPS 197996 WITH SCORE 198860.965
AT ITER 198 NEW BEST:: SOT 1155650 SOS 867925 HAS SOPS 867091 HAS SOUS 197401 HAS SOUPS 196615 WITH SCORE 197482.925
AT ITER 206 NEW BEST:: SOT 1155647 SOS 872914 HAS SOPS 872128 HAS SOUS 197000 HAS SOUPS 196262 WITH SCORE 197134.914
AT ITER 208 NEW BEST:: SOT 1155504 SOS 873127 HAS SOPS 872341 HAS SOUS 196855 HAS SOUPS 196117 WITH SCORE 196990.127
AT ITER 209 NEW BEST:: SOT 1156517 SOS 873672 HAS SOPS 872886 HAS SOUS 196725 HAS SOUPS 195987 WITH SCORE 196860.672
AT ITER 211 NEW BEST:: SOT 1155627 SOS 875134 HAS SOPS 874348 HAS SOUS 196607 HAS SOUPS 195869 WITH SCORE 196744.134
AT ITER 214 NEW BEST:: SOT 1155627 SOS 874744 HAS SOPS 873958 HAS SOUS 196607 HAS SOUPS 195869 WITH SCORE 196743.744
AT ITER 215 NEW BEST:: SOT 1154971 SOS 874088 HAS SOPS 873302 HAS SOUS 196462 HAS SOUPS 195724 WITH SCORE 196598.088
AT ITER 222 NEW BEST:: SOT 1152905 SOS 872022 HAS SOPS 871236 HAS SOUS 196405 HAS SOUPS 195667 WITH SCORE 196539.022
AT ITER 234 NEW BEST:: SOT 1152662 SOS 871779 HAS SOPS 870993 HAS SOUS 196313 HAS SOUPS 195575 WITH SCORE 196446.779
AT ITER 235 NEW BEST:: SOT 1154624 SOS 873741 HAS SOPS 872955 HAS SOUS 196152 HAS SOUPS 195414 WITH SCORE 196287.741
AT ITER 236 NEW BEST:: SOT 1163287 SOS 882404 HAS SOPS 881618 HAS SOUS 195799 HAS SOUPS 195061 WITH SCORE 195943.404
AT ITER 241 NEW BEST:: SOT 1162875 SOS 884584 HAS SOPS 883798 HAS SOUS 195779 HAS SOUPS 195041 WITH SCORE 195925.584
AT ITER 242 NEW BEST:: SOT 1162092 SOS 883117 HAS SOPS 882381 HAS SOUS 193058 HAS SOUPS 192342 WITH SCORE 193225.117
AT ITER 248 NEW BEST:: SOT 1162092 SOS 883096 HAS SOPS 882381 HAS SOUS 192656 HAS SOUPS 191961 WITH SCORE 192844.096
AT ITER 252 NEW BEST:: SOT 1162155 SOS 883159 HAS SOPS 882444 HAS SOUS 192511 HAS SOUPS 191816 WITH SCORE 192699.159
AT ITER 254 NEW BEST:: SOT 1169692 SOS 892392 HAS SOPS 891697 HAS SOUS 190327 HAS SOUPS 189632 WITH SCORE 190524.392
AT ITER 255 NEW BEST:: SOT 1169849 SOS 894447 HAS SOPS 893774 HAS SOUS 190028 HAS SOUPS 189355 WITH SCORE 190249.447
AT ITER 257 NEW BEST:: SOT 1169841 SOS 894439 HAS SOPS 893766 HAS SOUS 189785 HAS SOUPS 189112 WITH SCORE 190006.439
AT ITER 258 NEW BEST:: SOT 1169841 SOS 894456 HAS SOPS 893766 HAS SOUS 189735 HAS SOUPS 189045 WITH SCORE 189939.456
AT ITER 264 NEW BEST:: SOT 1169841 SOS 894048 HAS SOPS 893358 HAS SOUS 189735 HAS SOUPS 189045 WITH SCORE 189939.048
AT ITER 269 NEW BEST:: SOT 1169796 SOS 894003 HAS SOPS 893313 HAS SOUS 189516 HAS SOUPS 188826 WITH SCORE 189720.003
AT ITER 295 NEW BEST:: SOT 1169264 SOS 893661 HAS SOPS 892985 HAS SOUS 186875 HAS SOUPS 186199 WITH SCORE 187092.661
AT ITER 297 NEW BEST:: SOT 1172276 SOS 897405 HAS SOPS 896789 HAS SOUS 186791 HAS SOUPS 186175 WITH SCORE 187072.405
AT ITER 301 NEW BEST:: SOT 1172276 SOS 897405 HAS SOPS 896789 HAS SOUS 186777 HAS SOUPS 186161 WITH SCORE 187058.405
AT ITER 305 NEW BEST:: SOT 1172591 SOS 899172 HAS SOPS 898556 HAS SOUS 185447 HAS SOUPS 184831 WITH SCORE 185730.172
AT ITER 309 NEW BEST:: SOT 1172796 SOS 900131 HAS SOPS 899593 HAS SOUS 183896 HAS SOUPS 183358 WITH SCORE 184258.131
AT ITER 312 NEW BEST:: SOT 1172562 SOS 899897 HAS SOPS 899359 HAS SOUS 183347 HAS SOUPS 182809 WITH SCORE 183708.897
AT ITER 313 NEW BEST:: SOT 1172562 SOS 867377 HAS SOPS 866839 HAS SOUS 183347 HAS SOUPS 182809 WITH SCORE 183676.377
AT ITER 316 NEW BEST:: SOT 1173672 SOS 872021 HAS SOPS 871572 HAS SOUS 182635 HAS SOUPS 182186 WITH SCORE 183058.021
AT ITER 317 NEW BEST:: SOT 1173838 SOS 872187 HAS SOPS 871738 HAS SOUS 182085 HAS SOUPS 181636 WITH SCORE 182508.187
AT ITER 318 NEW BEST:: SOT 1173927 SOS 872286 HAS SOPS 871827 HAS SOUS 182079 HAS SOUPS 181620 WITH SCORE 182492.286
AT ITER 327 NEW BEST:: SOT 1173494 SOS 871853 HAS SOPS 871394 HAS SOUS 181561 HAS SOUPS 181102 WITH SCORE 181973.853
AT ITER 329 NEW BEST:: SOT 1173601 SOS 871960 HAS SOPS 871501 HAS SOUS 181537 HAS SOUPS 181078 WITH SCORE 181949.96
AT ITER 334 NEW BEST:: SOT 1173238 SOS 871597 HAS SOPS 871138 HAS SOUS 179631 HAS SOUPS 179172 WITH SCORE 180043.597
AT ITER 341 NEW BEST:: SOT 1173390 SOS 871749 HAS SOPS 871290 HAS SOUS 177546 HAS SOUPS 177087 WITH SCORE 177958.749
AT ITER 344 NEW BEST:: SOT 1173379 SOS 871738 HAS SOPS 871279 HAS SOUS 177497 HAS SOUPS 177038 WITH SCORE 177909.738
AT ITER 350 NEW BEST:: SOT 1173395 SOS 938564 HAS SOPS 938105 HAS SOUS 177393 HAS SOUPS 176934 WITH SCORE 177872.564
AT ITER 356 NEW BEST:: SOT 1173395 SOS 938564 HAS SOPS 938105 HAS SOUS 176404 HAS SOUPS 175945 WITH SCORE 176883.564
AT ITER 358 NEW BEST:: SOT 1175041 SOS 940210 HAS SOPS 939751 HAS SOUS 176265 HAS SOUPS 175806 WITH SCORE 176746.21
AT ITER 359 NEW BEST:: SOT 1175156 SOS 940325 HAS SOPS 939866 HAS SOUS 172781 HAS SOUPS 172322 WITH SCORE 173262.325
AT ITER 360 NEW BEST:: SOT 1173719 SOS 938888 HAS SOPS 938429 HAS SOUS 171895 HAS SOUPS 171436 WITH SCORE 172374.888
AT ITER 361 NEW BEST:: SOT 1173719 SOS 938600 HAS SOPS 938141 HAS SOUS 171895 HAS SOUPS 171436 WITH SCORE 172374.6
AT ITER 380 NEW BEST:: SOT 1173719 SOS 938600 HAS SOPS 938141 HAS SOUS 171807 HAS SOUPS 171348 WITH SCORE 172286.6
AT ITER 384 NEW BEST:: SOT 1174282 SOS 939163 HAS SOPS 938704 HAS SOUS 171743 HAS SOUPS 171284 WITH SCORE 172223.163
AT ITER 386 NEW BEST:: SOT 1171392 SOS 936273 HAS SOPS 935814 HAS SOUS 169354 HAS SOUPS 168895 WITH SCORE 169831.273
AT ITER 388 NEW BEST:: SOT 1171392 SOS 936715 HAS SOPS 936256 HAS SOUS 169252 HAS SOUPS 168793 WITH SCORE 169729.715
AT ITER 390 NEW BEST:: SOT 1171392 SOS 937579 HAS SOPS 937120 HAS SOUS 169145 HAS SOUPS 168686 WITH SCORE 169623.579
AT ITER 392 NEW BEST:: SOT 1171392 SOS 938108 HAS SOPS 938095 HAS SOUS 168440 HAS SOUPS 168427 WITH SCORE 169365.108
AT ITER 396 NEW BEST:: SOT 1171392 SOS 938108 HAS SOPS 938095 HAS SOUS 168416 HAS SOUPS 168403 WITH SCORE 169341.108
AT ITER 403 NEW BEST:: SOT 1173386 SOS 940102 HAS SOPS 940089 HAS SOUS 166723 HAS SOUPS 166710 WITH SCORE 167650.102
AT ITER 407 NEW BEST:: SOT 1173386 SOS 940102 HAS SOPS 940089 HAS SOUS 166305 HAS SOUPS 166292 WITH SCORE 167232.102
AT ITER 417 NEW BEST:: SOT 1173253 SOS 939969 HAS SOPS 939956 HAS SOUS 166160 HAS SOUPS 166147 WITH SCORE 167086.969
AT ITER 419 NEW BEST:: SOT 1173268 SOS 939940 HAS SOPS 939927 HAS SOUS 166130 HAS SOUPS 166117 WITH SCORE 167056.94
AT ITER 422 NEW BEST:: SOT 1174647 SOS 941319 HAS SOPS 941306 HAS SOUS 165696 HAS SOUPS 165683 WITH SCORE 166624.319
AT ITER 423 NEW BEST:: SOT 1174579 SOS 941251 HAS SOPS 941238 HAS SOUS 164520 HAS SOUPS 164507 WITH SCORE 165448.251
AT ITER 425 NEW BEST:: SOT 1174423 SOS 941095 HAS SOPS 941082 HAS SOUS 164062 HAS SOUPS 164049 WITH SCORE 164990.095
AT ITER 426 NEW BEST:: SOT 1174355 SOS 941027 HAS SOPS 941014 HAS SOUS 163994 HAS SOUPS 163981 WITH SCORE 164922.027
AT ITER 433 NEW BEST:: SOT 1176401 SOS 943701 HAS SOPS 943688 HAS SOUS 163778 HAS SOUPS 163765 WITH SCORE 164708.701
AT ITER 434 NEW BEST:: SOT 1176137 SOS 943437 HAS SOPS 943424 HAS SOUS 163271 HAS SOUPS 163258 WITH SCORE 164201.437
AT ITER 444 NEW BEST:: SOT 1175995 SOS 943295 HAS SOPS 943282 HAS SOUS 163016 HAS SOUPS 163003 WITH SCORE 163946.295
AT ITER 450 NEW BEST:: SOT 1174487 SOS 941787 HAS SOPS 941774 HAS SOUS 162154 HAS SOUPS 162141 WITH SCORE 163082.787
AT ITER 453 NEW BEST:: SOT 1175726 SOS 943026 HAS SOPS 943013 HAS SOUS 161165 HAS SOUPS 161152 WITH SCORE 162095.026
AT ITER 456 NEW BEST:: SOT 1175864 SOS 943164 HAS SOPS 943151 HAS SOUS 161092 HAS SOUPS 161079 WITH SCORE 162022.164
AT ITER 457 NEW BEST:: SOT 1175864 SOS 943405 HAS SOPS 943392 HAS SOUS 161088 HAS SOUPS 161075 WITH SCORE 162018.405
AT ITER 464 NEW BEST:: SOT 1178114 SOS 945655 HAS SOPS 945642 HAS SOUS 159910 HAS SOUPS 159897 WITH SCORE 160842.655
AT ITER 467 NEW BEST:: SOT 1180249 SOS 947943 HAS SOPS 947921 HAS SOUS 159616 HAS SOUPS 159594 WITH SCORE 160541.943
AT ITER 468 NEW BEST:: SOT 1180231 SOS 947925 HAS SOPS 947903 HAS SOUS 159116 HAS SOUPS 159094 WITH SCORE 160041.925
AT ITER 472 NEW BEST:: SOT 1180231 SOS 901591 HAS SOPS 899871 HAS SOUS 159525 HAS SOUPS 159084 WITH SCORE 159985.591
AT ITER 473 NEW BEST:: SOT 1180002 SOS 901122 HAS SOPS 899402 HAS SOUS 158270 HAS SOUPS 157829 WITH SCORE 158730.122
AT ITER 474 NEW BEST:: SOT 1179480 SOS 900600 HAS SOPS 898880 HAS SOUS 158257 HAS SOUPS 157816 WITH SCORE 158716.6
AT ITER 477 NEW BEST:: SOT 1179484 SOS 898441 HAS SOPS 897088 HAS SOUS 156803 HAS SOUPS 156453 WITH SCORE 157351.441
AT ITER 478 NEW BEST:: SOT 1179521 SOS 899582 HAS SOPS 898229 HAS SOUS 156663 HAS SOUPS 156313 WITH SCORE 157212.582
AT ITER 480 NEW BEST:: SOT 1179532 SOS 903081 HAS SOPS 901728 HAS SOUS 155906 HAS SOUPS 155556 WITH SCORE 156459.081
AT ITER 500 NEW BEST:: SOT 1179495 SOS 903044 HAS SOPS 901691 HAS SOUS 155906 HAS SOUPS 155556 WITH SCORE 156459.044
AT ITER 505 NEW BEST:: SOT 1179495 SOS 901532 HAS SOPS 900179 HAS SOUS 155810 HAS SOUPS 155460 WITH SCORE 156361.532
AT ITER 510 NEW BEST:: SOT 1179495 SOS 901488 HAS SOPS 900135 HAS SOUS 155799 HAS SOUPS 155449 WITH SCORE 156350.488
AT ITER 515 NEW BEST:: SOT 1179478 SOS 901471 HAS SOPS 900118 HAS SOUS 155782 HAS SOUPS 155432 WITH SCORE 156333.471
AT ITER 520 NEW BEST:: SOT 1181531 SOS 903524 HAS SOPS 902171 HAS SOUS 154364 HAS SOUPS 154014 WITH SCORE 154917.524
AT ITER 522 NEW BEST:: SOT 1181531 SOS 903459 HAS SOPS 902106 HAS SOUS 154351 HAS SOUPS 154001 WITH SCORE 154904.459
AT ITER 527 NEW BEST:: SOT 1181350 SOS 903278 HAS SOPS 901925 HAS SOUS 153822 HAS SOUPS 153472 WITH SCORE 154375.278
AT ITER 528 NEW BEST:: SOT 1181350 SOS 903454 HAS SOPS 902101 HAS SOUS 153726 HAS SOUPS 153376 WITH SCORE 154279.454
AT ITER 536 NEW BEST:: SOT 1181001 SOS 903105 HAS SOPS 901752 HAS SOUS 153266 HAS SOUPS 152916 WITH SCORE 153819.105
AT ITER 537 NEW BEST:: SOT 1181001 SOS 903589 HAS SOPS 902236 HAS SOUS 153110 HAS SOUPS 152760 WITH SCORE 153663.589
AT ITER 539 NEW BEST:: SOT 1181001 SOS 904409 HAS SOPS 902316 HAS SOUS 152892 HAS SOUPS 151936 WITH SCORE 152840.409
AT ITER 542 NEW BEST:: SOT 1178693 SOS 902101 HAS SOPS 900008 HAS SOUS 152717 HAS SOUPS 151761 WITH SCORE 152663.101
AT ITER 544 NEW BEST:: SOT 1178290 SOS 901698 HAS SOPS 899605 HAS SOUS 152325 HAS SOUPS 151369 WITH SCORE 152270.698
AT ITER 545 NEW BEST:: SOT 1177245 SOS 900653 HAS SOPS 898560 HAS SOUS 151904 HAS SOUPS 150948 WITH SCORE 151848.653
AT ITER 549 NEW BEST:: SOT 1177229 SOS 900637 HAS SOPS 898544 HAS SOUS 151880 HAS SOUPS 150924 WITH SCORE 151824.637
AT ITER 551 NEW BEST:: SOT 1177229 SOS 901424 HAS SOPS 899392 HAS SOUS 151607 HAS SOUPS 150712 WITH SCORE 151613.424
AT ITER 553 NEW BEST:: SOT 1175785 SOS 899980 HAS SOPS 897948 HAS SOUS 151230 HAS SOUPS 150335 WITH SCORE 151234.98
AT ITER 556 NEW BEST:: SOT 1175785 SOS 899860 HAS SOPS 897828 HAS SOUS 151160 HAS SOUPS 150265 WITH SCORE 151164.86
AT ITER 561 NEW BEST:: SOT 1175785 SOS 899605 HAS SOPS 897618 HAS SOUS 150965 HAS SOUPS 150115 WITH SCORE 151014.605
AT ITER 568 NEW BEST:: SOT 1175643 SOS 899463 HAS SOPS 897476 HAS SOUS 150781 HAS SOUPS 149931 WITH SCORE 150830.463
AT ITER 604 NEW BEST:: SOT 1178532 SOS 902352 HAS SOPS 900365 HAS SOUS 149884 HAS SOUPS 149034 WITH SCORE 149936.352
AT ITER 616 NEW BEST:: SOT 1180887 SOS 904707 HAS SOPS 902720 HAS SOUS 147733 HAS SOUPS 146883 WITH SCORE 147787.707
AT ITER 625 NEW BEST:: SOT 1180897 SOS 904597 HAS SOPS 902610 HAS SOUS 147706 HAS SOUPS 146856 WITH SCORE 147760.597
AT ITER 628 NEW BEST:: SOT 1182379 SOS 905848 HAS SOPS 903888 HAS SOUS 147273 HAS SOUPS 146450 WITH SCORE 147355.848
AT ITER 629 NEW BEST:: SOT 1183062 SOS 906531 HAS SOPS 904571 HAS SOUS 147168 HAS SOUPS 146345 WITH SCORE 147251.531
AT ITER 638 NEW BEST:: SOT 1182975 SOS 992347 HAS SOPS 990808 HAS SOUS 145736 HAS SOUPS 145006 WITH SCORE 145998.347
AT ITER 643 NEW BEST:: SOT 1182975 SOS 990575 HAS SOPS 989036 HAS SOUS 145666 HAS SOUPS 144936 WITH SCORE 145926.575
AT ITER 644 NEW BEST:: SOT 1182891 SOS 990491 HAS SOPS 988952 HAS SOUS 145517 HAS SOUPS 144787 WITH SCORE 145777.491
AT ITER 646 NEW BEST:: SOT 1182542 SOS 991296 HAS SOPS 989757 HAS SOUS 145132 HAS SOUPS 144402 WITH SCORE 145393.296
AT ITER 650 NEW BEST:: SOT 1182513 SOS 991534 HAS SOPS 990028 HAS SOUS 144999 HAS SOUPS 144302 WITH SCORE 145293.534
AT ITER 654 NEW BEST:: SOT 1182513 SOS 990700 HAS SOPS 989194 HAS SOUS 144932 HAS SOUPS 144235 WITH SCORE 145225.7
AT ITER 655 NEW BEST:: SOT 1182681 SOS 990874 HAS SOPS 989368 HAS SOUS 143295 HAS SOUPS 142598 WITH SCORE 143588.874
AT ITER 656 NEW BEST:: SOT 1182681 SOS 990874 HAS SOPS 989368 HAS SOUS 143293 HAS SOUPS 142596 WITH SCORE 143586.874
AT ITER 657 NEW BEST:: SOT 1187540 SOS 995733 HAS SOPS 994227 HAS SOUS 142719 HAS SOUPS 142022 WITH SCORE 143017.733
AT ITER 669 NEW BEST:: SOT 1189985 SOS 998281 HAS SOPS 996768 HAS SOUS 142566 HAS SOUPS 141862 WITH SCORE 142860.281
AT ITER 684 NEW BEST:: SOT 1190151 SOS 998447 HAS SOPS 996934 HAS SOUS 142513 HAS SOUPS 141809 WITH SCORE 142807.447
AT ITER 688 NEW BEST:: SOT 1190990 SOS 999233 HAS SOPS 997733 HAS SOUS 141969 HAS SOUPS 141278 WITH SCORE 142277.233
AT ITER 690 NEW BEST:: SOT 1189445 SOS 997688 HAS SOPS 996188 HAS SOUS 141386 HAS SOUPS 140695 WITH SCORE 141692.688
AT ITER 691 NEW BEST:: SOT 1189604 SOS 997847 HAS SOPS 996347 HAS SOUS 140450 HAS SOUPS 139759 WITH SCORE 140756.847
AT ITER 694 NEW BEST:: SOT 1191757 SOS 999950 HAS SOPS 998452 HAS SOUS 140167 HAS SOUPS 139478 WITH SCORE 140477.95
AT ITER 700 NEW BEST:: SOT 1191757 SOS 1000125 HAS SOPS 998627 HAS SOUS 140119 HAS SOUPS 139430 WITH SCORE 140430.125
AT ITER 704 NEW BEST:: SOT 1191792 SOS 1000160 HAS SOPS 998662 HAS SOUS 139349 HAS SOUPS 138660 WITH SCORE 139660.16
AT ITER 705 NEW BEST:: SOT 1191781 SOS 1000149 HAS SOPS 998651 HAS SOUS 139338 HAS SOUPS 138649 WITH SCORE 139649.149
AT ITER 706 NEW BEST:: SOT 1191768 SOS 1008501 HAS SOPS 1007003 HAS SOUS 139303 HAS SOUPS 138614 WITH SCORE 139622.501
AT ITER 707 NEW BEST:: SOT 1191192 SOS 894627 HAS SOPS 893248 HAS SOUS 139055 HAS SOUPS 138485 WITH SCORE 139379.627
AT ITER 713 NEW BEST:: SOT 1191192 SOS 893017 HAS SOPS 891800 HAS SOUS 138459 HAS SOUPS 137929 WITH SCORE 138822.017
AT ITER 721 NEW BEST:: SOT 1191074 SOS 892899 HAS SOPS 891682 HAS SOUS 138258 HAS SOUPS 137728 WITH SCORE 138620.899
AT ITER 735 NEW BEST:: SOT 1191057 SOS 892882 HAS SOPS 891665 HAS SOUS 138223 HAS SOUPS 137693 WITH SCORE 138585.882
AT ITER 738 NEW BEST:: SOT 1191050 SOS 892875 HAS SOPS 891658 HAS SOUS 138041 HAS SOUPS 137511 WITH SCORE 138403.875
AT ITER 762 NEW BEST:: SOT 1191050 SOS 893379 HAS SOPS 892162 HAS SOUS 138037 HAS SOUPS 137507 WITH SCORE 138400.379
AT ITER 773 NEW BEST:: SOT 1190928 SOS 901478 HAS SOPS 900824 HAS SOUS 137679 HAS SOUPS 137403 WITH SCORE 138304.478
AT ITER 783 NEW BEST:: SOT 1193399 SOS 907058 HAS SOPS 906459 HAS SOUS 137402 HAS SOUPS 137181 WITH SCORE 138088.058
AT ITER 790 NEW BEST:: SOT 1192235 SOS 903854 HAS SOPS 903255 HAS SOUS 136209 HAS SOUPS 135988 WITH SCORE 136891.854
AT ITER 807 NEW BEST:: SOT 1192235 SOS 903701 HAS SOPS 903111 HAS SOUS 136150 HAS SOUPS 135938 WITH SCORE 136841.701
AT ITER 811 NEW BEST:: SOT 1192442 SOS 903908 HAS SOPS 903318 HAS SOUS 136101 HAS SOUPS 135889 WITH SCORE 136792.908
AT ITER 819 NEW BEST:: SOT 1192554 SOS 905244 HAS SOPS 904654 HAS SOUS 134189 HAS SOUPS 133977 WITH SCORE 134882.244
AT ITER 825 NEW BEST:: SOT 1192554 SOS 903348 HAS SOPS 902758 HAS SOUS 134189 HAS SOUPS 133977 WITH SCORE 134880.348
AT ITER 830 NEW BEST:: SOT 1193494 SOS 904288 HAS SOPS 903698 HAS SOUS 134114 HAS SOUPS 133902 WITH SCORE 134806.288
AT ITER 832 NEW BEST:: SOT 1193494 SOS 904228 HAS SOPS 903638 HAS SOUS 134114 HAS SOUPS 133902 WITH SCORE 134806.228
AT ITER 837 NEW BEST:: SOT 1193486 SOS 904220 HAS SOPS 903630 HAS SOUS 133906 HAS SOUPS 133694 WITH SCORE 134598.22
AT ITER 843 NEW BEST:: SOT 1194070 SOS 906605 HAS SOPS 906015 HAS SOUS 133212 HAS SOUPS 133000 WITH SCORE 133906.605
AT ITER 857 NEW BEST:: SOT 1194070 SOS 905885 HAS SOPS 905295 HAS SOUS 133182 HAS SOUPS 132970 WITH SCORE 133875.885
AT ITER 858 NEW BEST:: SOT 1194058 SOS 905873 HAS SOPS 905283 HAS SOUS 132463 HAS SOUPS 132251 WITH SCORE 133156.873
AT ITER 859 NEW BEST:: SOT 1194063 SOS 905657 HAS SOPS 905080 HAS SOUS 132319 HAS SOUPS 132120 WITH SCORE 133025.657
AT ITER 863 NEW BEST:: SOT 1194455 SOS 906049 HAS SOPS 905472 HAS SOUS 132103 HAS SOUPS 131904 WITH SCORE 132810.049
AT ITER 865 NEW BEST:: SOT 1195095 SOS 963395 HAS SOPS 962818 HAS SOUS 131813 HAS SOUPS 131614 WITH SCORE 132577.395
AT ITER 874 NEW BEST:: SOT 1196728 SOS 965028 HAS SOPS 964451 HAS SOUS 131701 HAS SOUPS 131502 WITH SCORE 132467.028
AT ITER 886 NEW BEST:: SOT 1195884 SOS 964081 HAS SOPS 963511 HAS SOUS 131349 HAS SOUPS 131157 WITH SCORE 132121.081
AT ITER 896 NEW BEST:: SOT 1195884 SOS 963479 HAS SOPS 962909 HAS SOUS 131233 HAS SOUPS 131041 WITH SCORE 132004.479
AT ITER 932 NEW BEST:: SOT 1194745 SOS 920508 HAS SOPS 919938 HAS SOUS 130421 HAS SOUPS 130229 WITH SCORE 131149.508
AT ITER 936 NEW BEST:: SOT 1194617 SOS 920380 HAS SOPS 919810 HAS SOUS 130293 HAS SOUPS 130101 WITH SCORE 131021.38
AT ITER 966 NEW BEST:: SOT 1194617 SOS 920353 HAS SOPS 919783 HAS SOUS 130293 HAS SOUPS 130101 WITH SCORE 131021.353
AT ITER 974 NEW BEST:: SOT 1194112 SOS 919997 HAS SOPS 919422 HAS SOUS 129829 HAS SOUPS 129632 WITH SCORE 130551.997
AT ITER 975 NEW BEST:: SOT 1193147 SOS 919032 HAS SOPS 918457 HAS SOUS 128825 HAS SOUPS 128628 WITH SCORE 129547.032
AT ITER 979 NEW BEST:: SOT 1193139 SOS 919024 HAS SOPS 918449 HAS SOUS 128824 HAS SOUPS 128627 WITH SCORE 129546.024
AT ITER 980 NEW BEST:: SOT 1193002 SOS 918887 HAS SOPS 918312 HAS SOUS 128122 HAS SOUPS 127925 WITH SCORE 128843.887
AT ITER 983 NEW BEST:: SOT 1193002 SOS 918887 HAS SOPS 918312 HAS SOUS 128113 HAS SOUPS 127916 WITH SCORE 128834.887
AT ITER 987 NEW BEST:: SOT 1193002 SOS 917711 HAS SOPS 917136 HAS SOUS 127997 HAS SOUPS 127800 WITH SCORE 128717.711
AT ITER 1004 NEW BEST:: SOT 1197104 SOS 921908 HAS SOPS 921333 HAS SOUS 127757 HAS SOUPS 127560 WITH SCORE 128481.908
AT ITER 1016 NEW BEST:: SOT 1195537 SOS 920341 HAS SOPS 919766 HAS SOUS 127514 HAS SOUPS 127317 WITH SCORE 128237.341
AT ITER 1024 NEW BEST:: SOT 1194838 SOS 919642 HAS SOPS 919067 HAS SOUS 126671 HAS SOUPS 126474 WITH SCORE 127393.642
AT ITER 1034 NEW BEST:: SOT 1194801 SOS 920816 HAS SOPS 920241 HAS SOUS 126618 HAS SOUPS 126421 WITH SCORE 127341.816
AT ITER 1037 NEW BEST:: SOT 1196034 SOS 922049 HAS SOPS 921474 HAS SOUS 126520 HAS SOUPS 126323 WITH SCORE 127245.049
AT ITER 1039 NEW BEST:: SOT 1196034 SOS 922459 HAS SOPS 921884 HAS SOUS 126490 HAS SOUPS 126293 WITH SCORE 127215.459
AT ITER 1044 NEW BEST:: SOT 1196034 SOS 922459 HAS SOPS 921884 HAS SOUS 126278 HAS SOUPS 126081 WITH SCORE 127003.459
AT ITER 1048 NEW BEST:: SOT 1196028 SOS 922453 HAS SOPS 921878 HAS SOUS 126272 HAS SOUPS 126075 WITH SCORE 126997.453
AT ITER 1065 NEW BEST:: SOT 1195884 SOS 922309 HAS SOPS 921734 HAS SOUS 126208 HAS SOUPS 126011 WITH SCORE 126933.309
AT ITER 1066 NEW BEST:: SOT 1195884 SOS 907693 HAS SOPS 907118 HAS SOUS 126222 HAS SOUPS 126025 WITH SCORE 126932.693
AT ITER 1068 NEW BEST:: SOT 1196029 SOS 907838 HAS SOPS 907263 HAS SOUS 126199 HAS SOUPS 126002 WITH SCORE 126909.838
AT ITER 1080 NEW BEST:: SOT 1198256 SOS 912119 HAS SOPS 911530 HAS SOUS 125836 HAS SOUPS 125625 WITH SCORE 126537.119
AT ITER 1085 NEW BEST:: SOT 1198256 SOS 911567 HAS SOPS 910956 HAS SOUS 125853 HAS SOUPS 125620 WITH SCORE 126531.567
AT ITER 1100 NEW BEST:: SOT 1197222 SOS 910533 HAS SOPS 909922 HAS SOUS 125798 HAS SOUPS 125565 WITH SCORE 126475.533
AT ITER 1104 NEW BEST:: SOT 1197243 SOS 910578 HAS SOPS 909967 HAS SOUS 125781 HAS SOUPS 125548 WITH SCORE 126458.578
AT ITER 1108 NEW BEST:: SOT 1197178 SOS 910513 HAS SOPS 909902 HAS SOUS 125571 HAS SOUPS 125338 WITH SCORE 126248.513
AT ITER 1111 NEW BEST:: SOT 1195946 SOS 909281 HAS SOPS 908670 HAS SOUS 124968 HAS SOUPS 124735 WITH SCORE 125644.281
AT ITER 1118 NEW BEST:: SOT 1195946 SOS 907457 HAS SOPS 906846 HAS SOUS 124892 HAS SOUPS 124659 WITH SCORE 125566.457
AT ITER 1126 NEW BEST:: SOT 1195942 SOS 907882 HAS SOPS 907304 HAS SOUS 124787 HAS SOUPS 124587 WITH SCORE 125494.882
AT ITER 1144 NEW BEST:: SOT 1195942 SOS 908103 HAS SOPS 907512 HAS SOUS 124782 HAS SOUPS 124569 WITH SCORE 125477.103
AT ITER 1145 NEW BEST:: SOT 1195942 SOS 905614 HAS SOPS 905252 HAS SOUS 124083 HAS SOUPS 123916 WITH SCORE 124821.614
AT ITER 1146 NEW BEST:: SOT 1196809 SOS 906489 HAS SOPS 906127 HAS SOUS 123590 HAS SOUPS 123423 WITH SCORE 124329.489
AT ITER 1152 NEW BEST:: SOT 1197521 SOS 907201 HAS SOPS 906839 HAS SOUS 123312 HAS SOUPS 123145 WITH SCORE 124052.201
AT ITER 1160 NEW BEST:: SOT 1198476 SOS 908156 HAS SOPS 907794 HAS SOUS 122508 HAS SOUPS 122341 WITH SCORE 123249.156
AT ITER 1163 NEW BEST:: SOT 1198476 SOS 908156 HAS SOPS 907794 HAS SOUS 122486 HAS SOUPS 122319 WITH SCORE 123227.156
AT ITER 1167 NEW BEST:: SOT 1200722 SOS 912378 HAS SOPS 911984 HAS SOUS 122053 HAS SOUPS 121854 WITH SCORE 122766.378
AT ITER 1182 NEW BEST:: SOT 1200735 SOS 913132 HAS SOPS 912777 HAS SOUS 121921 HAS SOUPS 121761 WITH SCORE 122674.132
AT ITER 1191 NEW BEST:: SOT 1200559 SOS 912956 HAS SOPS 912601 HAS SOUS 120066 HAS SOUPS 119906 WITH SCORE 120818.956
AT ITER 1196 NEW BEST:: SOT 1200559 SOS 911319 HAS SOPS 910964 HAS SOUS 120061 HAS SOUPS 119901 WITH SCORE 120812.319
AT ITER 1197 NEW BEST:: SOT 1200559 SOS 911283 HAS SOPS 910928 HAS SOUS 120061 HAS SOUPS 119901 WITH SCORE 120812.283
AT ITER 1207 NEW BEST:: SOT 1200754 SOS 913277 HAS SOPS 912922 HAS SOUS 119501 HAS SOUPS 119341 WITH SCORE 120254.277
AT ITER 1209 NEW BEST:: SOT 1200609 SOS 912646 HAS SOPS 912291 HAS SOUS 119299 HAS SOUPS 119139 WITH SCORE 120051.646
AT ITER 1212 NEW BEST:: SOT 1200606 SOS 913672 HAS SOPS 913317 HAS SOUS 119131 HAS SOUPS 118971 WITH SCORE 119884.672
AT ITER 1223 NEW BEST:: SOT 1200983 SOS 914049 HAS SOPS 913694 HAS SOUS 118537 HAS SOUPS 118377 WITH SCORE 119291.049
AT ITER 1245 NEW BEST:: SOT 1200983 SOS 914115 HAS SOPS 913782 HAS SOUS 118493 HAS SOUPS 118355 WITH SCORE 119269.115
AT ITER 1262 NEW BEST:: SOT 1204121 SOS 917253 HAS SOPS 916920 HAS SOUS 117691 HAS SOUPS 117553 WITH SCORE 118470.253
AT ITER 1285 NEW BEST:: SOT 1204424 SOS 917556 HAS SOPS 917223 HAS SOUS 117253 HAS SOUPS 117115 WITH SCORE 118032.556
AT ITER 1300 NEW BEST:: SOT 1204435 SOS 893627 HAS SOPS 893294 HAS SOUS 117256 HAS SOUPS 117118 WITH SCORE 118011.627
AT ITER 1302 NEW BEST:: SOT 1204434 SOS 910155 HAS SOPS 909822 HAS SOUS 116852 HAS SOUPS 116714 WITH SCORE 117624.155
AT ITER 1305 NEW BEST:: SOT 1204437 SOS 910158 HAS SOPS 909825 HAS SOUS 116813 HAS SOUPS 116675 WITH SCORE 117585.158
AT ITER 1310 NEW BEST:: SOT 1204418 SOS 910139 HAS SOPS 909806 HAS SOUS 115893 HAS SOUPS 115755 WITH SCORE 116665.139
AT ITER 1311 NEW BEST:: SOT 1204418 SOS 909131 HAS SOPS 908798 HAS SOUS 115809 HAS SOUPS 115671 WITH SCORE 116580.131
AT ITER 1315 NEW BEST:: SOT 1204345 SOS 909058 HAS SOPS 908725 HAS SOUS 115770 HAS SOUPS 115632 WITH SCORE 116541.058
AT ITER 1320 NEW BEST:: SOT 1206459 SOS 912792 HAS SOPS 912459 HAS SOUS 115502 HAS SOUPS 115364 WITH SCORE 116276.792
AT ITER 1329 NEW BEST:: SOT 1205714 SOS 913943 HAS SOPS 913610 HAS SOUS 114091 HAS SOUPS 113953 WITH SCORE 114866.943
AT ITER 1335 NEW BEST:: SOT 1205693 SOS 913922 HAS SOPS 913589 HAS SOUS 114016 HAS SOUPS 113878 WITH SCORE 114791.922
AT ITER 1363 NEW BEST:: SOT 1205480 SOS 913709 HAS SOPS 913376 HAS SOUS 114001 HAS SOUPS 113863 WITH SCORE 114776.709
AT ITER 1374 NEW BEST:: SOT 1205251 SOS 913480 HAS SOPS 913147 HAS SOUS 113895 HAS SOUPS 113757 WITH SCORE 114670.48
AT ITER 1384 NEW BEST:: SOT 1206104 SOS 914333 HAS SOPS 914000 HAS SOUS 113894 HAS SOUPS 113756 WITH SCORE 114670.333
AT ITER 1385 NEW BEST:: SOT 1206104 SOS 914789 HAS SOPS 914456 HAS SOUS 113735 HAS SOUPS 113597 WITH SCORE 114511.789
AT ITER 1394 NEW BEST:: SOT 1206104 SOS 914709 HAS SOPS 914380 HAS SOUS 113731 HAS SOUPS 113597 WITH SCORE 114511.709
AT ITER 1409 NEW BEST:: SOT 1205909 SOS 914514 HAS SOPS 914185 HAS SOUS 113327 HAS SOUPS 113193 WITH SCORE 114107.514
AT ITER 1410 NEW BEST:: SOT 1205771 SOS 914376 HAS SOPS 914047 HAS SOUS 112646 HAS SOUPS 112512 WITH SCORE 113426.376
AT ITER 1414 NEW BEST:: SOT 1205771 SOS 914372 HAS SOPS 914043 HAS SOUS 112588 HAS SOUPS 112454 WITH SCORE 113368.372
AT ITER 1425 NEW BEST:: SOT 1206620 SOS 914777 HAS SOPS 914452 HAS SOUS 111431 HAS SOUPS 111301 WITH SCORE 112215.777
AT ITER 1433 NEW BEST:: SOT 1206620 SOS 914729 HAS SOPS 914404 HAS SOUS 111431 HAS SOUPS 111301 WITH SCORE 112215.729
AT ITER 1441 NEW BEST:: SOT 1206612 SOS 914721 HAS SOPS 914396 HAS SOUS 111423 HAS SOUPS 111293 WITH SCORE 112207.721
AT ITER 1443 NEW BEST:: SOT 1204628 SOS 911517 HAS SOPS 911192 HAS SOUS 109462 HAS SOUPS 109332 WITH SCORE 110243.517
AT ITER 1448 NEW BEST:: SOT 1204628 SOS 911757 HAS SOPS 911406 HAS SOUS 109462 HAS SOUPS 109306 WITH SCORE 110217.757
AT ITER 1449 NEW BEST:: SOT 1204635 SOS 911752 HAS SOPS 911400 HAS SOUS 109462 HAS SOUPS 109306 WITH SCORE 110217.752
AT ITER 1457 NEW BEST:: SOT 1204625 SOS 911743 HAS SOPS 911390 HAS SOUS 109470 HAS SOUPS 109295 WITH SCORE 110206.743
AT ITER 1465 NEW BEST:: SOT 1204625 SOS 911743 HAS SOPS 911390 HAS SOUS 109460 HAS SOUPS 109285 WITH SCORE 110196.743
AT ITER 1473 NEW BEST:: SOT 1204625 SOS 907548 HAS SOPS 907422 HAS SOUS 109230 HAS SOUPS 109104 WITH SCORE 110011.548
AT ITER 1514 NEW BEST:: SOT 1204625 SOS 906744 HAS SOPS 906618 HAS SOUS 109230 HAS SOUPS 109104 WITH SCORE 110010.744
AT ITER 1518 NEW BEST:: SOT 1204976 SOS 907111 HAS SOPS 907017 HAS SOUS 109042 HAS SOUPS 108948 WITH SCORE 109855.111
AT ITER 1519 NEW BEST:: SOT 1205391 SOS 907526 HAS SOPS 907432 HAS SOUS 108682 HAS SOUPS 108588 WITH SCORE 109495.526
AT ITER 1521 NEW BEST:: SOT 1205390 SOS 907525 HAS SOPS 907431 HAS SOUS 108483 HAS SOUPS 108389 WITH SCORE 109296.525
AT ITER 1548 NEW BEST:: SOT 1204627 SOS 906726 HAS SOPS 906632 HAS SOUS 108428 HAS SOUPS 108334 WITH SCORE 109240.726
AT ITER 1555 NEW BEST:: SOT 1205884 SOS 907983 HAS SOPS 907889 HAS SOUS 106925 HAS SOUPS 106831 WITH SCORE 107738.983
AT ITER 1567 NEW BEST:: SOT 1205378 SOS 907477 HAS SOPS 907383 HAS SOUS 106737 HAS SOUPS 106643 WITH SCORE 107550.477
AT ITER 1571 NEW BEST:: SOT 1202731 SOS 903246 HAS SOPS 903152 HAS SOUS 106733 HAS SOUPS 106639 WITH SCORE 107542.246
AT ITER 1583 NEW BEST:: SOT 1202731 SOS 903246 HAS SOPS 903152 HAS SOUS 106706 HAS SOUPS 106612 WITH SCORE 107515.246
AT ITER 1586 NEW BEST:: SOT 1202731 SOS 903246 HAS SOPS 903152 HAS SOUS 106566 HAS SOUPS 106472 WITH SCORE 107375.246
AT ITER 1608 NEW BEST:: SOT 1202742 SOS 895649 HAS SOPS 895555 HAS SOUS 106572 HAS SOUPS 106478 WITH SCORE 107373.649
AT ITER 1613 NEW BEST:: SOT 1201277 SOS 894184 HAS SOPS 894090 HAS SOUS 106269 HAS SOUPS 106175 WITH SCORE 107069.184
AT ITER 1614 NEW BEST:: SOT 1201277 SOS 894208 HAS SOPS 894114 HAS SOUS 106249 HAS SOUPS 106155 WITH SCORE 107049.208
AT ITER 1621 NEW BEST:: SOT 1201277 SOS 894362 HAS SOPS 894268 HAS SOUS 106242 HAS SOUPS 106148 WITH SCORE 107042.362
AT ITER 1626 NEW BEST:: SOT 1201277 SOS 894056 HAS SOPS 893962 HAS SOUS 106242 HAS SOUPS 106148 WITH SCORE 107042.056
AT ITER 1631 NEW BEST:: SOT 1201303 SOS 893866 HAS SOPS 893772 HAS SOUS 106202 HAS SOUPS 106108 WITH SCORE 107001.866
AT ITER 1640 NEW BEST:: SOT 1201303 SOS 893866 HAS SOPS 893772 HAS SOUS 106172 HAS SOUPS 106078 WITH SCORE 106971.866
AT ITER 1644 NEW BEST:: SOT 1201298 SOS 893861 HAS SOPS 893767 HAS SOUS 106167 HAS SOUPS 106073 WITH SCORE 106966.861
AT ITER 1647 NEW BEST:: SOT 1202087 SOS 894650 HAS SOPS 894556 HAS SOUS 104953 HAS SOUPS 104859 WITH SCORE 105753.65
AT ITER 1655 NEW BEST:: SOT 1201754 SOS 894317 HAS SOPS 894223 HAS SOUS 104895 HAS SOUPS 104801 WITH SCORE 105695.317
AT ITER 1666 NEW BEST:: SOT 1201754 SOS 894029 HAS SOPS 893935 HAS SOUS 104895 HAS SOUPS 104801 WITH SCORE 105695.029
AT ITER 1669 NEW BEST:: SOT 1200339 SOS 892614 HAS SOPS 892520 HAS SOUS 104340 HAS SOUPS 104246 WITH SCORE 105138.614
AT ITER 1675 NEW BEST:: SOT 1200339 SOS 892564 HAS SOPS 892470 HAS SOUS 104340 HAS SOUPS 104246 WITH SCORE 105138.564
AT ITER 1676 NEW BEST:: SOT 1200339 SOS 891940 HAS SOPS 891833 HAS SOUS 104327 HAS SOUPS 104220 WITH SCORE 105111.94
AT ITER 1678 NEW BEST:: SOT 1200241 SOS 891842 HAS SOPS 891735 HAS SOUS 104124 HAS SOUPS 104017 WITH SCORE 104908.842
AT ITER 1696 NEW BEST:: SOT 1201624 SOS 969057 HAS SOPS 968950 HAS SOUS 103815 HAS SOUPS 103708 WITH SCORE 104677.057
AT ITER 1702 NEW BEST:: SOT 1201723 SOS 969156 HAS SOPS 969049 HAS SOUS 103803 HAS SOUPS 103696 WITH SCORE 104665.156
AT ITER 1706 NEW BEST:: SOT 1202756 SOS 970453 HAS SOPS 970346 HAS SOUS 103370 HAS SOUPS 103263 WITH SCORE 104233.453
AT ITER 1720 NEW BEST:: SOT 1202756 SOS 970405 HAS SOPS 970298 HAS SOUS 103370 HAS SOUPS 103263 WITH SCORE 104233.405
AT ITER 1732 NEW BEST:: SOT 1203010 SOS 970672 HAS SOPS 970565 HAS SOUS 103312 HAS SOUPS 103205 WITH SCORE 104175.672
AT ITER 1741 NEW BEST:: SOT 1203010 SOS 970864 HAS SOPS 970757 HAS SOUS 103274 HAS SOUPS 103167 WITH SCORE 104137.864
AT ITER 1750 NEW BEST:: SOT 1202948 SOS 973328 HAS SOPS 973221 HAS SOUS 103233 HAS SOUPS 103126 WITH SCORE 104099.328
AT ITER 1753 NEW BEST:: SOT 1202870 SOS 973250 HAS SOPS 973143 HAS SOUS 103097 HAS SOUPS 102990 WITH SCORE 103963.25
AT ITER 1781 NEW BEST:: SOT 1202870 SOS 972700 HAS SOPS 972593 HAS SOUS 103097 HAS SOUPS 102990 WITH SCORE 103962.7
AT ITER 1795 NEW BEST:: SOT 1203276 SOS 973106 HAS SOPS 972999 HAS SOUS 103091 HAS SOUPS 102984 WITH SCORE 103957.106
AT ITER 1797 NEW BEST:: SOT 1203272 SOS 972692 HAS SOPS 972585 HAS SOUS 102909 HAS SOUPS 102802 WITH SCORE 103774.692
AT ITER 1807 NEW BEST:: SOT 1203272 SOS 973028 HAS SOPS 972921 HAS SOUS 102898 HAS SOUPS 102791 WITH SCORE 103764.028
AT ITER 1822 NEW BEST:: SOT 1203272 SOS 973863 HAS SOPS 973756 HAS SOUS 102861 HAS SOUPS 102754 WITH SCORE 103727.863
AT ITER 1850 NEW BEST:: SOT 1203291 SOS 973882 HAS SOPS 973775 HAS SOUS 102838 HAS SOUPS 102731 WITH SCORE 103704.882
AT ITER 1874 NEW BEST:: SOT 1204431 SOS 975022 HAS SOPS 974915 HAS SOUS 102739 HAS SOUPS 102632 WITH SCORE 103607.022
AT ITER 1875 NEW BEST:: SOT 1204431 SOS 974590 HAS SOPS 974483 HAS SOUS 102739 HAS SOUPS 102632 WITH SCORE 103606.59
AT ITER 1882 NEW BEST:: SOT 1206911 SOS 978834 HAS SOPS 978691 HAS SOUS 102418 HAS SOUPS 102275 WITH SCORE 103253.834
AT ITER 1916 NEW BEST:: SOT 1206971 SOS 978894 HAS SOPS 978751 HAS SOUS 102349 HAS SOUPS 102206 WITH SCORE 103184.894
AT ITER 1919 NEW BEST:: SOT 1206971 SOS 979038 HAS SOPS 978895 HAS SOUS 102328 HAS SOUPS 102185 WITH SCORE 103164.038
AT ITER 1921 NEW BEST:: SOT 1206971 SOS 978726 HAS SOPS 978583 HAS SOUS 102328 HAS SOUPS 102185 WITH SCORE 103163.726
AT ITER 1931 NEW BEST:: SOT 1207134 SOS 978889 HAS SOPS 978746 HAS SOUS 102207 HAS SOUPS 102064 WITH SCORE 103042.889
AT ITER 1938 NEW BEST:: SOT 1207633 SOS 979388 HAS SOPS 979245 HAS SOUS 101887 HAS SOUPS 101744 WITH SCORE 102723.388
AT ITER 1941 NEW BEST:: SOT 1207633 SOS 979276 HAS SOPS 979133 HAS SOUS 101887 HAS SOUPS 101744 WITH SCORE 102723.276
AT ITER 1946 NEW BEST:: SOT 1207297 SOS 978966 HAS SOPS 978823 HAS SOUS 101139 HAS SOUPS 100996 WITH SCORE 101974.966
AT ITER 1952 NEW BEST:: SOT 1210230 SOS 981899 HAS SOPS 981756 HAS SOUS 101043 HAS SOUPS 100900 WITH SCORE 101881.899
AT ITER 1955 NEW BEST:: SOT 1210225 SOS 981894 HAS SOPS 981751 HAS SOUS 101038 HAS SOUPS 100895 WITH SCORE 101876.894
AT ITER 1958 NEW BEST:: SOT 1210181 SOS 981850 HAS SOPS 981707 HAS SOUS 100994 HAS SOUPS 100851 WITH SCORE 101832.85
AT ITER 1962 NEW BEST:: SOT 1210098 SOS 1005443 HAS SOPS 1005322 HAS SOUS 100942 HAS SOUPS 100821 WITH SCORE 101826.443
AT ITER 1978 NEW BEST:: SOT 1211435 SOS 1006780 HAS SOPS 1006659 HAS SOUS 100638 HAS SOUPS 100517 WITH SCORE 101523.78
AT ITER 1980 NEW BEST:: SOT 1211435 SOS 1006906 HAS SOPS 1006785 HAS SOUS 100632 HAS SOUPS 100511 WITH SCORE 101517.906
AT ITER 1985 NEW BEST:: SOT 1211429 SOS 1006900 HAS SOPS 1006779 HAS SOUS 100358 HAS SOUPS 100237 WITH SCORE 101243.9
AT ITER 1986 NEW BEST:: SOT 1210401 SOS 1005848 HAS SOPS 1005727 HAS SOUS 100142 HAS SOUPS 100021 WITH SCORE 101026.848
AT ITER 1991 NEW BEST:: SOT 1210401 SOS 1005848 HAS SOPS 1005727 HAS SOUS 100067 HAS SOUPS 99946 WITH SCORE 100951.848
AT ITER 2010 NEW BEST:: SOT 1210058 SOS 1005505 HAS SOPS 1005384 HAS SOUS 99315 HAS SOUPS 99194 WITH SCORE 100199.505
AT ITER 2015 NEW BEST:: SOT 1209151 SOS 1004598 HAS SOPS 1004477 HAS SOUS 99235 HAS SOUPS 99114 WITH SCORE 100118.598
AT ITER 2042 NEW BEST:: SOT 1209151 SOS 1003726 HAS SOPS 1003605 HAS SOUS 99170 HAS SOUPS 99049 WITH SCORE 100052.726
AT ITER 2070 NEW BEST:: SOT 1209289 SOS 1003864 HAS SOPS 1003743 HAS SOUS 99028 HAS SOUPS 98907 WITH SCORE 99910.864
AT ITER 2075 NEW BEST:: SOT 1209289 SOS 1004128 HAS SOPS 1004007 HAS SOUS 98984 HAS SOUPS 98863 WITH SCORE 99867.128
AT ITER 2079 NEW BEST:: SOT 1211414 SOS 1006253 HAS SOPS 1006132 HAS SOUS 97882 HAS SOUPS 97761 WITH SCORE 98767.253
AT ITER 2080 NEW BEST:: SOT 1213162 SOS 1008001 HAS SOPS 1007880 HAS SOUS 97751 HAS SOUPS 97630 WITH SCORE 98638.001
AT ITER 2100 NEW BEST:: SOT 1213144 SOS 1007983 HAS SOPS 1007862 HAS SOUS 97674 HAS SOUPS 97553 WITH SCORE 98560.983
AT ITER 2107 NEW BEST:: SOT 1213221 SOS 1008060 HAS SOPS 1007939 HAS SOUS 97658 HAS SOUPS 97537 WITH SCORE 98545.06
AT ITER 2116 NEW BEST:: SOT 1213202 SOS 1008041 HAS SOPS 1007920 HAS SOUS 97641 HAS SOUPS 97520 WITH SCORE 98528.041
AT ITER 2127 NEW BEST:: SOT 1213198 SOS 1008037 HAS SOPS 1007916 HAS SOUS 97627 HAS SOUPS 97506 WITH SCORE 98514.037
AT ITER 2128 NEW BEST:: SOT 1215875 SOS 1010401 HAS SOPS 1010305 HAS SOUS 97579 HAS SOUPS 97483 WITH SCORE 98493.401
AT ITER 2135 NEW BEST:: SOT 1215675 SOS 1010201 HAS SOPS 1010105 HAS SOUS 97372 HAS SOUPS 97276 WITH SCORE 98286.201
AT ITER 2145 NEW BEST:: SOT 1215708 SOS 1010234 HAS SOPS 1010138 HAS SOUS 97158 HAS SOUPS 97062 WITH SCORE 98072.234
AT ITER 2148 NEW BEST:: SOT 1216819 SOS 1011345 HAS SOPS 1011249 HAS SOUS 95954 HAS SOUPS 95858 WITH SCORE 96869.345
AT ITER 2150 NEW BEST:: SOT 1218058 SOS 1012584 HAS SOPS 1012488 HAS SOUS 94457 HAS SOUPS 94361 WITH SCORE 95373.584
AT ITER 2151 NEW BEST:: SOT 1218079 SOS 1012605 HAS SOPS 1012509 HAS SOUS 94342 HAS SOUPS 94246 WITH SCORE 95258.605
AT ITER 2167 NEW BEST:: SOT 1218079 SOS 1014005 HAS SOPS 1013909 HAS SOUS 94148 HAS SOUPS 94052 WITH SCORE 95066.005
AT ITER 2169 NEW BEST:: SOT 1218035 SOS 1013961 HAS SOPS 1013865 HAS SOUS 94126 HAS SOUPS 94030 WITH SCORE 95043.961
AT ITER 2182 NEW BEST:: SOT 1216671 SOS 1012597 HAS SOPS 1012501 HAS SOUS 93451 HAS SOUPS 93355 WITH SCORE 94367.597
AT ITER 2196 NEW BEST:: SOT 1216608 SOS 1012534 HAS SOPS 1012438 HAS SOUS 93403 HAS SOUPS 93307 WITH SCORE 94319.534
AT ITER 2203 NEW BEST:: SOT 1216724 SOS 1012650 HAS SOPS 1012554 HAS SOUS 93231 HAS SOUPS 93135 WITH SCORE 94147.65
AT ITER 2216 NEW BEST:: SOT 1216378 SOS 1012304 HAS SOPS 1012208 HAS SOUS 93072 HAS SOUPS 92976 WITH SCORE 93988.304
AT ITER 2220 NEW BEST:: SOT 1216378 SOS 1011745 HAS SOPS 1011692 HAS SOUS 93029 HAS SOUPS 92976 WITH SCORE 93987.745
AT ITER 2228 NEW BEST:: SOT 1219068 SOS 1014435 HAS SOPS 1014382 HAS SOUS 92885 HAS SOUPS 92832 WITH SCORE 93846.435
AT ITER 2235 NEW BEST:: SOT 1219061 SOS 1014528 HAS SOPS 1014471 HAS SOUS 92878 HAS SOUPS 92821 WITH SCORE 93835.528
AT ITER 2249 NEW BEST:: SOT 1217842 SOS 1013309 HAS SOPS 1013252 HAS SOUS 92729 HAS SOUPS 92672 WITH SCORE 93685.309
AT ITER 2272 NEW BEST:: SOT 1217842 SOS 1013309 HAS SOPS 1013252 HAS SOUS 92725 HAS SOUPS 92668 WITH SCORE 93681.309
AT ITER 2296 NEW BEST:: SOT 1217543 SOS 1013010 HAS SOPS 1012953 HAS SOUS 92638 HAS SOUPS 92581 WITH SCORE 93594.01
AT ITER 2303 NEW BEST:: SOT 1219304 SOS 1015521 HAS SOPS 1015434 HAS SOUS 92172 HAS SOUPS 92085 WITH SCORE 93100.521
AT ITER 2319 NEW BEST:: SOT 1219270 SOS 1015487 HAS SOPS 1015400 HAS SOUS 92126 HAS SOUPS 92039 WITH SCORE 93054.487
AT ITER 2322 NEW BEST:: SOT 1218471 SOS 1014688 HAS SOPS 1014601 HAS SOUS 91547 HAS SOUPS 91460 WITH SCORE 92474.688
AT ITER 2328 NEW BEST:: SOT 1218471 SOS 1014568 HAS SOPS 1014481 HAS SOUS 91547 HAS SOUPS 91460 WITH SCORE 92474.568
AT ITER 2339 NEW BEST:: SOT 1220091 SOS 1016188 HAS SOPS 1016101 HAS SOUS 91395 HAS SOUPS 91308 WITH SCORE 92324.188
AT ITER 2350 NEW BEST:: SOT 1220091 SOS 1016188 HAS SOPS 1016101 HAS SOUS 91394 HAS SOUPS 91307 WITH SCORE 92323.188
AT ITER 2372 NEW BEST:: SOT 1219987 SOS 1016084 HAS SOPS 1015997 HAS SOUS 91239 HAS SOUPS 91152 WITH SCORE 92168.084
AT ITER 2376 NEW BEST:: SOT 1219985 SOS 1016082 HAS SOPS 1015995 HAS SOUS 91237 HAS SOUPS 91150 WITH SCORE 92166.082
AT ITER 2377 NEW BEST:: SOT 1220457 SOS 1016554 HAS SOPS 1016467 HAS SOUS 91056 HAS SOUPS 90969 WITH SCORE 91985.554
AT ITER 2380 NEW BEST:: SOT 1220478 SOS 1016575 HAS SOPS 1016488 HAS SOUS 90905 HAS SOUPS 90818 WITH SCORE 91834.575
AT ITER 2385 NEW BEST:: SOT 1220478 SOS 988858 HAS SOPS 988771 HAS SOUS 90905 HAS SOUPS 90818 WITH SCORE 91806.858
AT ITER 2394 NEW BEST:: SOT 1220478 SOS 989768 HAS SOPS 989662 HAS SOUS 90905 HAS SOUPS 90799 WITH SCORE 91788.768
AT ITER 2396 NEW BEST:: SOT 1220478 SOS 989720 HAS SOPS 989614 HAS SOUS 90872 HAS SOUPS 90766 WITH SCORE 91755.72
AT ITER 2397 NEW BEST:: SOT 1220432 SOS 989007 HAS SOPS 988920 HAS SOUS 90745 HAS SOUPS 90658 WITH SCORE 91647.007
AT ITER 2416 NEW BEST:: SOT 1220462 SOS 999531 HAS SOPS 999444 HAS SOUS 90715 HAS SOUPS 90628 WITH SCORE 91627.531
AT ITER 2420 NEW BEST:: SOT 1220462 SOS 993342 HAS SOPS 993223 HAS SOUS 90696 HAS SOUPS 90577 WITH SCORE 91570.342
AT ITER 2432 NEW BEST:: SOT 1220459 SOS 993339 HAS SOPS 993220 HAS SOUS 90693 HAS SOUPS 90574 WITH SCORE 91567.339
AT ITER 2438 NEW BEST:: SOT 1219003 SOS 992680 HAS SOPS 992508 HAS SOUS 90457 HAS SOUPS 90285 WITH SCORE 91277.68
AT ITER 2467 NEW BEST:: SOT 1218821 SOS 992498 HAS SOPS 992326 HAS SOUS 90410 HAS SOUPS 90238 WITH SCORE 91230.498
AT ITER 2468 NEW BEST:: SOT 1218821 SOS 992290 HAS SOPS 992118 HAS SOUS 90410 HAS SOUPS 90238 WITH SCORE 91230.29
AT ITER 2476 NEW BEST:: SOT 1218541 SOS 992010 HAS SOPS 991838 HAS SOUS 90108 HAS SOUPS 89936 WITH SCORE 90928.01
AT ITER 2481 NEW BEST:: SOT 1218550 SOS 991938 HAS SOPS 991766 HAS SOUS 90099 HAS SOUPS 89927 WITH SCORE 90918.938
AT ITER 2551 NEW BEST:: SOT 1218546 SOS 991934 HAS SOPS 991762 HAS SOUS 90095 HAS SOUPS 89923 WITH SCORE 90914.934
AT ITER 2565 NEW BEST:: SOT 1218760 SOS 992148 HAS SOPS 991976 HAS SOUS 89661 HAS SOUPS 89489 WITH SCORE 90481.148
AT ITER 2593 NEW BEST:: SOT 1218052 SOS 991440 HAS SOPS 991268 HAS SOUS 89556 HAS SOUPS 89384 WITH SCORE 90375.44
AT ITER 2611 NEW BEST:: SOT 1217945 SOS 991328 HAS SOPS 991161 HAS SOUS 89315 HAS SOUPS 89148 WITH SCORE 90139.328
AT ITER 2612 NEW BEST:: SOT 1217945 SOS 991328 HAS SOPS 991161 HAS SOUS 89313 HAS SOUPS 89146 WITH SCORE 90137.328
AT ITER 2621 NEW BEST:: SOT 1217960 SOS 991343 HAS SOPS 991176 HAS SOUS 89231 HAS SOUPS 89064 WITH SCORE 90055.343
AT ITER 2682 NEW BEST:: SOT 1217929 SOS 991312 HAS SOPS 991145 HAS SOUS 89200 HAS SOUPS 89033 WITH SCORE 90024.312
AT ITER 2708 NEW BEST:: SOT 1217959 SOS 991342 HAS SOPS 991175 HAS SOUS 89180 HAS SOUPS 89013 WITH SCORE 90004.342
AT ITER 2718 NEW BEST:: SOT 1217959 SOS 991318 HAS SOPS 991151 HAS SOUS 89180 HAS SOUPS 89013 WITH SCORE 90004.318
AT ITER 2727 NEW BEST:: SOT 1217567 SOS 990926 HAS SOPS 990759 HAS SOUS 88935 HAS SOUPS 88768 WITH SCORE 89758.926
AT ITER 2753 NEW BEST:: SOT 1217561 SOS 992034 HAS SOPS 991867 HAS SOUS 88929 HAS SOUPS 88762 WITH SCORE 89754.034
AT ITER 2769 NEW BEST:: SOT 1217384 SOS 991857 HAS SOPS 991690 HAS SOUS 88868 HAS SOUPS 88701 WITH SCORE 89692.857
AT ITER 2788 NEW BEST:: SOT 1216369 SOS 990842 HAS SOPS 990675 HAS SOUS 88729 HAS SOUPS 88562 WITH SCORE 89552.842
AT ITER 2790 NEW BEST:: SOT 1218178 SOS 992651 HAS SOPS 992484 HAS SOUS 88502 HAS SOUPS 88335 WITH SCORE 89327.651
AT ITER 2801 NEW BEST:: SOT 1218178 SOS 992651 HAS SOPS 992484 HAS SOUS 88499 HAS SOUPS 88332 WITH SCORE 89324.651
AT ITER 2823 NEW BEST:: SOT 1217682 SOS 992125 HAS SOPS 991958 HAS SOUS 88497 HAS SOUPS 88330 WITH SCORE 89322.125
AT ITER 2831 NEW BEST:: SOT 1217682 SOS 992125 HAS SOPS 991958 HAS SOUS 88407 HAS SOUPS 88240 WITH SCORE 89232.125
AT ITER 2836 NEW BEST:: SOT 1217697 SOS 991580 HAS SOPS 991413 HAS SOUS 88378 HAS SOUPS 88211 WITH SCORE 89202.58
AT ITER 2839 NEW BEST:: SOT 1217779 SOS 992154 HAS SOPS 991987 HAS SOUS 88316 HAS SOUPS 88149 WITH SCORE 89141.154
AT ITER 2840 NEW BEST:: SOT 1217743 SOS 992118 HAS SOPS 991951 HAS SOUS 88304 HAS SOUPS 88137 WITH SCORE 89129.118
AT ITER 2847 NEW BEST:: SOT 1217594 SOS 991969 HAS SOPS 991802 HAS SOUS 87426 HAS SOUPS 87259 WITH SCORE 88250.969
AT ITER 2851 NEW BEST:: SOT 1217566 SOS 991941 HAS SOPS 991774 HAS SOUS 87345 HAS SOUPS 87178 WITH SCORE 88169.941
AT ITER 2870 NEW BEST:: SOT 1217460 SOS 991835 HAS SOPS 991668 HAS SOUS 87165 HAS SOUPS 86998 WITH SCORE 87989.835
AT ITER 2872 NEW BEST:: SOT 1217455 SOS 991830 HAS SOPS 991663 HAS SOUS 87160 HAS SOUPS 86993 WITH SCORE 87984.83
AT ITER 2876 NEW BEST:: SOT 1217875 SOS 992250 HAS SOPS 992083 HAS SOUS 86745 HAS SOUPS 86578 WITH SCORE 87570.25
AT ITER 2890 NEW BEST:: SOT 1217875 SOS 992278 HAS SOPS 992111 HAS SOUS 86735 HAS SOUPS 86568 WITH SCORE 87560.278
AT ITER 2910 NEW BEST:: SOT 1219510 SOS 993913 HAS SOPS 993746 HAS SOUS 86545 HAS SOUPS 86378 WITH SCORE 87371.913
AT ITER 2917 NEW BEST:: SOT 1219559 SOS 994036 HAS SOPS 993869 HAS SOUS 86505 HAS SOUPS 86338 WITH SCORE 87332.036
AT ITER 2926 NEW BEST:: SOT 1219559 SOS 993828 HAS SOPS 993661 HAS SOUS 86505 HAS SOUPS 86338 WITH SCORE 87331.828
AT ITER 2940 NEW BEST:: SOT 1219559 SOS 993732 HAS SOPS 993565 HAS SOUS 86505 HAS SOUPS 86338 WITH SCORE 87331.732
AT ITER 2957 NEW BEST:: SOT 1218298 SOS 992471 HAS SOPS 992304 HAS SOUS 86240 HAS SOUPS 86073 WITH SCORE 87065.471
AT ITER 2980 NEW BEST:: SOT 1218361 SOS 992534 HAS SOPS 992367 HAS SOUS 85884 HAS SOUPS 85717 WITH SCORE 86709.534
AT ITER 2988 NEW BEST:: SOT 1218263 SOS 992436 HAS SOPS 992269 HAS SOUS 85453 HAS SOUPS 85286 WITH SCORE 86278.436
AT ITER 2990 NEW BEST:: SOT 1217915 SOS 992088 HAS SOPS 991921 HAS SOUS 84880 HAS SOUPS 84713 WITH SCORE 85705.088
AT ITER 2992 NEW BEST:: SOT 1218296 SOS 992469 HAS SOPS 992302 HAS SOUS 84765 HAS SOUPS 84598 WITH SCORE 85590.469
AT ITER 3001 NEW BEST:: SOT 1218245 SOS 992418 HAS SOPS 992251 HAS SOUS 84713 HAS SOUPS 84546 WITH SCORE 85538.418
AT ITER 3002 NEW BEST:: SOT 1218245 SOS 992418 HAS SOPS 992251 HAS SOUS 84712 HAS SOUPS 84545 WITH SCORE 85537.418
AT ITER 3037 NEW BEST:: SOT 1218145 SOS 992318 HAS SOPS 992151 HAS SOUS 84618 HAS SOUPS 84451 WITH SCORE 85443.318
AT ITER 3050 NEW BEST:: SOT 1216646 SOS 990819 HAS SOPS 990652 HAS SOUS 84322 HAS SOUPS 84155 WITH SCORE 85145.819
AT ITER 3053 NEW BEST:: SOT 1216646 SOS 991444 HAS SOPS 991252 HAS SOUS 84322 HAS SOUPS 84130 WITH SCORE 85121.444
AT ITER 3061 NEW BEST:: SOT 1216646 SOS 990292 HAS SOPS 990100 HAS SOUS 84320 HAS SOUPS 84128 WITH SCORE 85118.292
AT ITER 3069 NEW BEST:: SOT 1216642 SOS 990288 HAS SOPS 990096 HAS SOUS 84318 HAS SOUPS 84126 WITH SCORE 85116.288
AT ITER 3090 NEW BEST:: SOT 1216642 SOS 987189 HAS SOPS 986997 HAS SOUS 84318 HAS SOUPS 84126 WITH SCORE 85113.189
AT ITER 3117 NEW BEST:: SOT 1216564 SOS 987111 HAS SOPS 986919 HAS SOUS 84255 HAS SOUPS 84063 WITH SCORE 85050.111
AT ITER 3125 NEW BEST:: SOT 1216560 SOS 987107 HAS SOPS 986915 HAS SOUS 84247 HAS SOUPS 84055 WITH SCORE 85042.107
AT ITER 3135 NEW BEST:: SOT 1216560 SOS 987539 HAS SOPS 987347 HAS SOUS 84197 HAS SOUPS 84005 WITH SCORE 84992.539
AT ITER 3139 NEW BEST:: SOT 1216558 SOS 987537 HAS SOPS 987345 HAS SOUS 84191 HAS SOUPS 83999 WITH SCORE 84986.537
AT ITER 3156 NEW BEST:: SOT 1214848 SOS 986471 HAS SOPS 986259 HAS SOUS 84161 HAS SOUPS 83949 WITH SCORE 84935.471
AT ITER 3180 NEW BEST:: SOT 1214848 SOS 986446 HAS SOPS 986235 HAS SOUS 84160 HAS SOUPS 83949 WITH SCORE 84935.446
AT ITER 3193 NEW BEST:: SOT 1216073 SOS 987671 HAS SOPS 987460 HAS SOUS 84037 HAS SOUPS 83826 WITH SCORE 84813.671
AT ITER 3212 NEW BEST:: SOT 1216249 SOS 987846 HAS SOPS 987660 HAS SOUS 83965 HAS SOUPS 83779 WITH SCORE 84766.846
AT ITER 3241 NEW BEST:: SOT 1216344 SOS 987941 HAS SOPS 987755 HAS SOUS 83646 HAS SOUPS 83460 WITH SCORE 84447.941
AT ITER 3278 NEW BEST:: SOT 1216369 SOS 987966 HAS SOPS 987780 HAS SOUS 83365 HAS SOUPS 83179 WITH SCORE 84166.966
AT ITER 3279 NEW BEST:: SOT 1214269 SOS 985781 HAS SOPS 985595 HAS SOUS 83305 HAS SOUPS 83119 WITH SCORE 84104.781
AT ITER 3300 NEW BEST:: SOT 1214269 SOS 985469 HAS SOPS 985283 HAS SOUS 83305 HAS SOUPS 83119 WITH SCORE 84104.469
AT ITER 3301 NEW BEST:: SOT 1214269 SOS 985119 HAS SOPS 984947 HAS SOUS 83291 HAS SOUPS 83119 WITH SCORE 84104.119
AT ITER 3321 NEW BEST:: SOT 1214269 SOS 985047 HAS SOPS 984875 HAS SOUS 83291 HAS SOUPS 83119 WITH SCORE 84104.047
AT ITER 3325 NEW BEST:: SOT 1214361 SOS 985118 HAS SOPS 984932 HAS SOUS 83289 HAS SOUPS 83103 WITH SCORE 84088.118
AT ITER 3326 NEW BEST:: SOT 1214365 SOS 985568 HAS SOPS 985382 HAS SOUS 83267 HAS SOUPS 83081 WITH SCORE 84066.568
AT ITER 3335 NEW BEST:: SOT 1214349 SOS 985552 HAS SOPS 985366 HAS SOUS 83197 HAS SOUPS 83011 WITH SCORE 83996.552
AT ITER 3348 NEW BEST:: SOT 1213978 SOS 985181 HAS SOPS 984995 HAS SOUS 83116 HAS SOUPS 82930 WITH SCORE 83915.181
AT ITER 3357 NEW BEST:: SOT 1213978 SOS 985085 HAS SOPS 984899 HAS SOUS 83116 HAS SOUPS 82930 WITH SCORE 83915.085
AT ITER 3418 NEW BEST:: SOT 1214255 SOS 985362 HAS SOPS 985176 HAS SOUS 83076 HAS SOUPS 82890 WITH SCORE 83875.362
AT ITER 3466 NEW BEST:: SOT 1214385 SOS 985492 HAS SOPS 985306 HAS SOUS 82990 HAS SOUPS 82804 WITH SCORE 83789.492
AT ITER 3467 NEW BEST:: SOT 1214385 SOS 985396 HAS SOPS 985210 HAS SOUS 82990 HAS SOUPS 82804 WITH SCORE 83789.396
AT ITER 3469 NEW BEST:: SOT 1214829 SOS 985840 HAS SOPS 985654 HAS SOUS 82890 HAS SOUPS 82704 WITH SCORE 83689.84
AT ITER 3488 NEW BEST:: SOT 1214829 SOS 985216 HAS SOPS 985030 HAS SOUS 82890 HAS SOUPS 82704 WITH SCORE 83689.216
AT ITER 3496 NEW BEST:: SOT 1214889 SOS 985276 HAS SOPS 985090 HAS SOUS 82775 HAS SOUPS 82589 WITH SCORE 83574.276
AT ITER 3515 NEW BEST:: SOT 1214484 SOS 984871 HAS SOPS 984685 HAS SOUS 82384 HAS SOUPS 82198 WITH SCORE 83182.871
AT ITER 3520 NEW BEST:: SOT 1214616 SOS 985003 HAS SOPS 984817 HAS SOUS 82321 HAS SOUPS 82135 WITH SCORE 83120.003
AT ITER 3528 NEW BEST:: SOT 1214616 SOS 983971 HAS SOPS 983785 HAS SOUS 82320 HAS SOUPS 82134 WITH SCORE 83117.971
AT ITER 3549 NEW BEST:: SOT 1214616 SOS 983077 HAS SOPS 982891 HAS SOUS 82320 HAS SOUPS 82134 WITH SCORE 83117.077
AT ITER 3567 NEW BEST:: SOT 1215661 SOS 984122 HAS SOPS 983936 HAS SOUS 82182 HAS SOUPS 81996 WITH SCORE 82980.122
AT ITER 3570 NEW BEST:: SOT 1215661 SOS 984242 HAS SOPS 984056 HAS SOUS 82163 HAS SOUPS 81977 WITH SCORE 82961.242
AT ITER 3576 NEW BEST:: SOT 1215661 SOS 984232 HAS SOPS 984046 HAS SOUS 82163 HAS SOUPS 81977 WITH SCORE 82961.232
AT ITER 3584 NEW BEST:: SOT 1215661 SOS 984208 HAS SOPS 984022 HAS SOUS 82163 HAS SOUPS 81977 WITH SCORE 82961.208
AT ITER 3593 NEW BEST:: SOT 1215661 SOS 984208 HAS SOPS 984022 HAS SOUS 81896 HAS SOUPS 81710 WITH SCORE 82694.208
AT ITER 3607 NEW BEST:: SOT 1215668 SOS 984215 HAS SOPS 984029 HAS SOUS 81893 HAS SOUPS 81707 WITH SCORE 82691.215
AT ITER 3626 NEW BEST:: SOT 1215259 SOS 983506 HAS SOPS 983332 HAS SOUS 81797 HAS SOUPS 81623 WITH SCORE 82606.506
AT ITER 3633 NEW BEST:: SOT 1215255 SOS 983502 HAS SOPS 983328 HAS SOUS 81710 HAS SOUPS 81536 WITH SCORE 82519.502
AT ITER 3688 NEW BEST:: SOT 1215255 SOS 983310 HAS SOPS 983136 HAS SOUS 81710 HAS SOUPS 81536 WITH SCORE 82519.31
AT ITER 3718 NEW BEST:: SOT 1216124 SOS 984179 HAS SOPS 984005 HAS SOUS 81135 HAS SOUPS 80961 WITH SCORE 81945.179
AT ITER 3725 NEW BEST:: SOT 1216124 SOS 983959 HAS SOPS 983799 HAS SOUS 81121 HAS SOUPS 80961 WITH SCORE 81944.959
AT ITER 3736 NEW BEST:: SOT 1216124 SOS 983947 HAS SOPS 983775 HAS SOUS 81107 HAS SOUPS 80935 WITH SCORE 81918.947
AT ITER 3774 NEW BEST:: SOT 1216117 SOS 984440 HAS SOPS 984248 HAS SOUS 81122 HAS SOUPS 80930 WITH SCORE 81914.44
AT ITER 3792 NEW BEST:: SOT 1214662 SOS 983411 HAS SOPS 983201 HAS SOUS 80739 HAS SOUPS 80529 WITH SCORE 81512.411
AT ITER 3839 NEW BEST:: SOT 1217318 SOS 986191 HAS SOPS 985977 HAS SOUS 80552 HAS SOUPS 80338 WITH SCORE 81324.191
AT ITER 3841 NEW BEST:: SOT 1217318 SOS 985865 HAS SOPS 985665 HAS SOUS 80535 HAS SOUPS 80335 WITH SCORE 81320.865
AT ITER 3859 NEW BEST:: SOT 1217318 SOS 985865 HAS SOPS 985665 HAS SOUS 80513 HAS SOUPS 80313 WITH SCORE 81298.865
AT ITER 3886 NEW BEST:: SOT 1217318 SOS 984953 HAS SOPS 984753 HAS SOUS 80438 HAS SOUPS 80238 WITH SCORE 81222.953
AT ITER 3893 NEW BEST:: SOT 1217318 SOS 984951 HAS SOPS 984751 HAS SOUS 80437 HAS SOUPS 80237 WITH SCORE 81221.951
AT ITER 3907 NEW BEST:: SOT 1217248 SOS 984881 HAS SOPS 984681 HAS SOUS 80388 HAS SOUPS 80188 WITH SCORE 81172.881
AT ITER 3915 NEW BEST:: SOT 1217248 SOS 985065 HAS SOPS 984865 HAS SOUS 80380 HAS SOUPS 80180 WITH SCORE 81165.065
AT ITER 3936 NEW BEST:: SOT 1217184 SOS 985001 HAS SOPS 984801 HAS SOUS 80362 HAS SOUPS 80162 WITH SCORE 81147.001
AT ITER 3941 NEW BEST:: SOT 1217708 SOS 985525 HAS SOPS 985325 HAS SOUS 80246 HAS SOUPS 80046 WITH SCORE 81031.525
AT ITER 3958 NEW BEST:: SOT 1218273 SOS 986090 HAS SOPS 985890 HAS SOUS 79985 HAS SOUPS 79785 WITH SCORE 80771.09
AT ITER 3985 NEW BEST:: SOT 1218563 SOS 986380 HAS SOPS 986180 HAS SOUS 79931 HAS SOUPS 79731 WITH SCORE 80717.38
AT ITER 3987 NEW BEST:: SOT 1218563 SOS 986352 HAS SOPS 986152 HAS SOUS 79931 HAS SOUPS 79731 WITH SCORE 80717.352
AT ITER 4023 NEW BEST:: SOT 1218683 SOS 986472 HAS SOPS 986272 HAS SOUS 79543 HAS SOUPS 79343 WITH SCORE 80329.472
AT ITER 4030 NEW BEST:: SOT 1218381 SOS 986180 HAS SOPS 985946 HAS SOUS 79507 HAS SOUPS 79273 WITH SCORE 80259.18
AT ITER 4061 NEW BEST:: SOT 1218244 SOS 986043 HAS SOPS 985809 HAS SOUS 79420 HAS SOUPS 79186 WITH SCORE 80172.043
AT ITER 4080 NEW BEST:: SOT 1218332 SOS 986131 HAS SOPS 985897 HAS SOUS 78345 HAS SOUPS 78111 WITH SCORE 79097.131
AT ITER 4091 NEW BEST:: SOT 1218332 SOS 986131 HAS SOPS 985897 HAS SOUS 78285 HAS SOUPS 78051 WITH SCORE 79037.131
AT ITER 4094 NEW BEST:: SOT 1218354 SOS 986161 HAS SOPS 985927 HAS SOUS 78138 HAS SOUPS 77904 WITH SCORE 78890.161
AT ITER 4124 NEW BEST:: SOT 1218287 SOS 986094 HAS SOPS 985860 HAS SOUS 78071 HAS SOUPS 77837 WITH SCORE 78823.094
AT ITER 4166 NEW BEST:: SOT 1218206 SOS 986013 HAS SOPS 985779 HAS SOUS 78059 HAS SOUPS 77825 WITH SCORE 78811.013
AT ITER 4169 NEW BEST:: SOT 1218174 SOS 985814 HAS SOPS 985633 HAS SOUS 77995 HAS SOUPS 77814 WITH SCORE 78799.814
AT ITER 4179 NEW BEST:: SOT 1218174 SOS 986150 HAS SOPS 985969 HAS SOUS 77990 HAS SOUPS 77809 WITH SCORE 78795.15
AT ITER 4195 NEW BEST:: SOT 1218212 SOS 986188 HAS SOPS 986007 HAS SOUS 77727 HAS SOUPS 77546 WITH SCORE 78532.188
AT ITER 4198 NEW BEST:: SOT 1218205 SOS 986181 HAS SOPS 986000 HAS SOUS 77719 HAS SOUPS 77538 WITH SCORE 78524.181
AT ITER 4255 NEW BEST:: SOT 1218106 SOS 986082 HAS SOPS 985901 HAS SOUS 77692 HAS SOUPS 77511 WITH SCORE 78497.082
AT ITER 4259 NEW BEST:: SOT 1218069 SOS 986045 HAS SOPS 985864 HAS SOUS 77668 HAS SOUPS 77487 WITH SCORE 78473.045
AT ITER 4277 NEW BEST:: SOT 1217984 SOS 985960 HAS SOPS 985779 HAS SOUS 77577 HAS SOUPS 77396 WITH SCORE 78381.96
AT ITER 4282 NEW BEST:: SOT 1217984 SOS 985744 HAS SOPS 985563 HAS SOUS 77551 HAS SOUPS 77370 WITH SCORE 78355.744
AT ITER 4292 NEW BEST:: SOT 1217984 SOS 985734 HAS SOPS 985553 HAS SOUS 77551 HAS SOUPS 77370 WITH SCORE 78355.734
AT ITER 4314 NEW BEST:: SOT 1217988 SOS 985738 HAS SOPS 985557 HAS SOUS 77527 HAS SOUPS 77346 WITH SCORE 78331.738
AT ITER 4355 NEW BEST:: SOT 1217988 SOS 996526 HAS SOPS 996345 HAS SOUS 77506 HAS SOUPS 77325 WITH SCORE 78321.526
AT ITER 4376 NEW BEST:: SOT 1217988 SOS 996766 HAS SOPS 996566 HAS SOUS 77516 HAS SOUPS 77316 WITH SCORE 78312.766
AT ITER 4377 NEW BEST:: SOT 1217988 SOS 996766 HAS SOPS 996566 HAS SOUS 77498 HAS SOUPS 77298 WITH SCORE 78294.766
AT ITER 4399 NEW BEST:: SOT 1217184 SOS 995962 HAS SOPS 995762 HAS SOUS 77466 HAS SOUPS 77266 WITH SCORE 78261.962
AT ITER 4402 NEW BEST:: SOT 1216987 SOS 995765 HAS SOPS 995565 HAS SOUS 77441 HAS SOUPS 77241 WITH SCORE 78236.765
AT ITER 4404 NEW BEST:: SOT 1216987 SOS 995375 HAS SOPS 995205 HAS SOUS 77411 HAS SOUPS 77241 WITH SCORE 78236.375
AT ITER 4410 NEW BEST:: SOT 1215284 SOS 993672 HAS SOPS 993502 HAS SOUS 77374 HAS SOUPS 77204 WITH SCORE 78197.672
AT ITER 4413 NEW BEST:: SOT 1215515 SOS 993903 HAS SOPS 993733 HAS SOUS 77280 HAS SOUPS 77110 WITH SCORE 78103.903
AT ITER 4478 NEW BEST:: SOT 1215515 SOS 993783 HAS SOPS 993613 HAS SOUS 77280 HAS SOUPS 77110 WITH SCORE 78103.783
AT ITER 4479 NEW BEST:: SOT 1215515 SOS 993915 HAS SOPS 993745 HAS SOUS 77274 HAS SOUPS 77104 WITH SCORE 78097.915
AT ITER 4512 NEW BEST:: SOT 1215515 SOS 993875 HAS SOPS 993705 HAS SOUS 77274 HAS SOUPS 77104 WITH SCORE 78097.875
AT ITER 4513 NEW BEST:: SOT 1215515 SOS 994187 HAS SOPS 994017 HAS SOUS 77254 HAS SOUPS 77084 WITH SCORE 78078.187
AT ITER 4522 NEW BEST:: SOT 1215655 SOS 994327 HAS SOPS 994157 HAS SOUS 77148 HAS SOUPS 76978 WITH SCORE 77972.327
AT ITER 4543 NEW BEST:: SOT 1217999 SOS 996671 HAS SOPS 996501 HAS SOUS 76873 HAS SOUPS 76703 WITH SCORE 77699.671
AT ITER 4550 NEW BEST:: SOT 1218408 SOS 997080 HAS SOPS 996910 HAS SOUS 76796 HAS SOUPS 76626 WITH SCORE 77623.08
AT ITER 4573 NEW BEST:: SOT 1218408 SOS 996936 HAS SOPS 996766 HAS SOUS 76796 HAS SOUPS 76626 WITH SCORE 77622.936
AT ITER 4581 NEW BEST:: SOT 1218412 SOS 993010 HAS SOPS 992840 HAS SOUS 76790 HAS SOUPS 76620 WITH SCORE 77613.01
AT ITER 4599 NEW BEST:: SOT 1218412 SOS 993106 HAS SOPS 992936 HAS SOUS 76772 HAS SOUPS 76602 WITH SCORE 77595.106
AT ITER 4601 NEW BEST:: SOT 1218410 SOS 993104 HAS SOPS 992934 HAS SOUS 76766 HAS SOUPS 76596 WITH SCORE 77589.104
AT ITER 4613 NEW BEST:: SOT 1218387 SOS 993081 HAS SOPS 992911 HAS SOUS 76743 HAS SOUPS 76573 WITH SCORE 77566.081
AT ITER 4631 NEW BEST:: SOT 1218990 SOS 994778 HAS SOPS 994608 HAS SOUS 76459 HAS SOUPS 76289 WITH SCORE 77283.778
AT ITER 4707 NEW BEST:: SOT 1218828 SOS 1014321 HAS SOPS 1014151 HAS SOUS 76332 HAS SOUPS 76162 WITH SCORE 77176.321
AT ITER 4711 NEW BEST:: SOT 1218826 SOS 1014319 HAS SOPS 1014149 HAS SOUS 76330 HAS SOUPS 76160 WITH SCORE 77174.319
AT ITER 4735 NEW BEST:: SOT 1218682 SOS 1014175 HAS SOPS 1014005 HAS SOUS 76046 HAS SOUPS 75876 WITH SCORE 76890.175
AT ITER 4765 NEW BEST:: SOT 1218672 SOS 1013300 HAS SOPS 1013107 HAS SOUS 76051 HAS SOUPS 75858 WITH SCORE 76871.3
AT ITER 4770 NEW BEST:: SOT 1218690 SOS 1013318 HAS SOPS 1013125 HAS SOUS 76045 HAS SOUPS 75852 WITH SCORE 76865.318
AT ITER 4771 NEW BEST:: SOT 1218745 SOS 1013373 HAS SOPS 1013180 HAS SOUS 76013 HAS SOUPS 75820 WITH SCORE 76833.373
AT ITER 4776 NEW BEST:: SOT 1218895 SOS 1014478 HAS SOPS 1014338 HAS SOUS 75944 HAS SOUPS 75804 WITH SCORE 76818.478
AT ITER 4778 NEW BEST:: SOT 1219321 SOS 1014904 HAS SOPS 1014764 HAS SOUS 75910 HAS SOUPS 75770 WITH SCORE 76784.904
AT ITER 4784 NEW BEST:: SOT 1218363 SOS 1013946 HAS SOPS 1013806 HAS SOUS 75864 HAS SOUPS 75724 WITH SCORE 76737.946
AT ITER 4802 NEW BEST:: SOT 1218363 SOS 1013946 HAS SOPS 1013806 HAS SOUS 75862 HAS SOUPS 75722 WITH SCORE 76735.946
AT ITER 4807 NEW BEST:: SOT 1218336 SOS 1013919 HAS SOPS 1013779 HAS SOUS 75805 HAS SOUPS 75665 WITH SCORE 76678.919
AT ITER 4823 NEW BEST:: SOT 1218288 SOS 1013871 HAS SOPS 1013731 HAS SOUS 75706 HAS SOUPS 75566 WITH SCORE 76579.871
AT ITER 4847 NEW BEST:: SOT 1218233 SOS 1013816 HAS SOPS 1013676 HAS SOUS 75701 HAS SOUPS 75561 WITH SCORE 76574.816
AT ITER 4850 NEW BEST:: SOT 1217873 SOS 1013456 HAS SOPS 1013316 HAS SOUS 75688 HAS SOUPS 75548 WITH SCORE 76561.456
AT ITER 4854 NEW BEST:: SOT 1218103 SOS 1013686 HAS SOPS 1013546 HAS SOUS 75668 HAS SOUPS 75528 WITH SCORE 76541.686
AT ITER 4859 NEW BEST:: SOT 1218073 SOS 1013656 HAS SOPS 1013516 HAS SOUS 75606 HAS SOUPS 75466 WITH SCORE 76479.656
AT ITER 4862 NEW BEST:: SOT 1217711 SOS 1013294 HAS SOPS 1013154 HAS SOUS 75469 HAS SOUPS 75329 WITH SCORE 76342.294
AT ITER 4883 NEW BEST:: SOT 1217711 SOS 1013294 HAS SOPS 1013154 HAS SOUS 75453 HAS SOUPS 75313 WITH SCORE 76326.294
AT ITER 4884 NEW BEST:: SOT 1217711 SOS 1013317 HAS SOPS 1013177 HAS SOUS 75452 HAS SOUPS 75312 WITH SCORE 76325.317
AT ITER 4905 NEW BEST:: SOT 1217711 SOS 1012999 HAS SOPS 1012817 HAS SOUS 75494 HAS SOUPS 75312 WITH SCORE 76324.999
AT ITER 4950 NEW BEST:: SOT 1217769 SOS 1013057 HAS SOPS 1012875 HAS SOUS 75485 HAS SOUPS 75303 WITH SCORE 76316.057
AT ITER 4963 NEW BEST:: SOT 1217767 SOS 1013055 HAS SOPS 1012873 HAS SOUS 75481 HAS SOUPS 75299 WITH SCORE 76312.055
AT ITER 4965 NEW BEST:: SOT 1217767 SOS 1012971 HAS SOPS 1012781 HAS SOUS 75477 HAS SOUPS 75287 WITH SCORE 76299.971
AT ITER 4967 NEW BEST:: SOT 1217767 SOS 1013919 HAS SOPS 1013729 HAS SOUS 75469 HAS SOUPS 75279 WITH SCORE 76292.919
AT ITER 4981 NEW BEST:: SOT 1217779 SOS 1013931 HAS SOPS 1013741 HAS SOUS 75371 HAS SOUPS 75181 WITH SCORE 76194.931
AT ITER 4991 NEW BEST:: SOT 1217807 SOS 1013959 HAS SOPS 1013769 HAS SOUS 75323 HAS SOUPS 75133 WITH SCORE 76146.959
AT ITER 4995 NEW BEST:: SOT 1217671 SOS 1013823 HAS SOPS 1013633 HAS SOUS 75167 HAS SOUPS 74977 WITH SCORE 75990.823
AT ITER 5039 NEW BEST:: SOT 1217997 SOS 1014149 HAS SOPS 1013959 HAS SOUS 75156 HAS SOUPS 74966 WITH SCORE 75980.149
AT ITER 5119 NEW BEST:: SOT 1217124 SOS 1013276 HAS SOPS 1013086 HAS SOUS 74838 HAS SOUPS 74648 WITH SCORE 75661.276
AT ITER 5130 NEW BEST:: SOT 1217130 SOS 1013282 HAS SOPS 1013092 HAS SOUS 74832 HAS SOUPS 74642 WITH SCORE 75655.282
AT ITER 5205 NEW BEST:: SOT 1217199 SOS 1013858 HAS SOPS 1013689 HAS SOUS 74711 HAS SOUPS 74542 WITH SCORE 75555.858
AT ITER 5207 NEW BEST:: SOT 1217224 SOS 1014127 HAS SOPS 1013958 HAS SOUS 74706 HAS SOUPS 74537 WITH SCORE 75551.127
AT ITER 5236 NEW BEST:: SOT 1217224 SOS 1015068 HAS SOPS 1014966 HAS SOUS 74637 HAS SOUPS 74535 WITH SCORE 75550.068
AT ITER 5266 NEW BEST:: SOT 1216725 SOS 1014569 HAS SOPS 1014467 HAS SOUS 74600 HAS SOUPS 74498 WITH SCORE 75512.569
AT ITER 5269 NEW BEST:: SOT 1216725 SOS 1014569 HAS SOPS 1014467 HAS SOUS 74596 HAS SOUPS 74494 WITH SCORE 75508.569
AT ITER 5278 NEW BEST:: SOT 1216725 SOS 1013945 HAS SOPS 1013843 HAS SOUS 74596 HAS SOUPS 74494 WITH SCORE 75507.945
AT ITER 5303 NEW BEST:: SOT 1216725 SOS 1013945 HAS SOPS 1013843 HAS SOUS 74550 HAS SOUPS 74448 WITH SCORE 75461.945
AT ITER 5308 NEW BEST:: SOT 1216439 SOS 1013659 HAS SOPS 1013557 HAS SOUS 74361 HAS SOUPS 74259 WITH SCORE 75272.659
AT ITER 5316 NEW BEST:: SOT 1216443 SOS 1013657 HAS SOPS 1013557 HAS SOUS 74357 HAS SOUPS 74257 WITH SCORE 75270.657
AT ITER 5429 NEW BEST:: SOT 1215659 SOS 1012873 HAS SOPS 1012773 HAS SOUS 73998 HAS SOUPS 73898 WITH SCORE 74910.873
AT ITER 5433 NEW BEST:: SOT 1216510 SOS 1013724 HAS SOPS 1013624 HAS SOUS 73917 HAS SOUPS 73817 WITH SCORE 74830.724
AT ITER 5447 NEW BEST:: SOT 1216435 SOS 1013649 HAS SOPS 1013549 HAS SOUS 73842 HAS SOUPS 73742 WITH SCORE 74755.649
AT ITER 5485 NEW BEST:: SOT 1215818 SOS 1013032 HAS SOPS 1012932 HAS SOUS 73832 HAS SOUPS 73732 WITH SCORE 74745.032
AT ITER 5501 NEW BEST:: SOT 1215807 SOS 1013021 HAS SOPS 1012921 HAS SOUS 73821 HAS SOUPS 73721 WITH SCORE 74734.021
AT ITER 5508 NEW BEST:: SOT 1214702 SOS 1011916 HAS SOPS 1011816 HAS SOUS 73557 HAS SOUPS 73457 WITH SCORE 74468.916
AT ITER 5533 NEW BEST:: SOT 1214702 SOS 1011916 HAS SOPS 1011816 HAS SOUS 73534 HAS SOUPS 73434 WITH SCORE 74445.916
AT ITER 5535 NEW BEST:: SOT 1215407 SOS 1012621 HAS SOPS 1012521 HAS SOUS 73446 HAS SOUPS 73346 WITH SCORE 74358.621
AT ITER 5547 NEW BEST:: SOT 1215396 SOS 1012610 HAS SOPS 1012510 HAS SOUS 73413 HAS SOUPS 73313 WITH SCORE 74325.61
AT ITER 5557 NEW BEST:: SOT 1215440 SOS 1012654 HAS SOPS 1012554 HAS SOUS 73238 HAS SOUPS 73138 WITH SCORE 74150.654
AT ITER 5578 NEW BEST:: SOT 1215440 SOS 1012650 HAS SOPS 1012550 HAS SOUS 73238 HAS SOUPS 73138 WITH SCORE 74150.65
AT ITER 5583 NEW BEST:: SOT 1215440 SOS 1012650 HAS SOPS 1012550 HAS SOUS 73225 HAS SOUPS 73125 WITH SCORE 74137.65
AT ITER 5613 NEW BEST:: SOT 1214563 SOS 1011773 HAS SOPS 1011673 HAS SOUS 72592 HAS SOUPS 72492 WITH SCORE 73503.773
AT ITER 5624 NEW BEST:: SOT 1214851 SOS 1012061 HAS SOPS 1011961 HAS SOUS 72534 HAS SOUPS 72434 WITH SCORE 73446.061
AT ITER 5655 NEW BEST:: SOT 1214851 SOS 1012061 HAS SOPS 1011961 HAS SOUS 72525 HAS SOUPS 72425 WITH SCORE 73437.061
AT ITER 5660 NEW BEST:: SOT 1214913 SOS 1012123 HAS SOPS 1012023 HAS SOUS 72395 HAS SOUPS 72295 WITH SCORE 73307.123
AT ITER 5707 NEW BEST:: SOT 1214838 SOS 1012048 HAS SOPS 1011948 HAS SOUS 72314 HAS SOUPS 72214 WITH SCORE 73226.048
AT ITER 5708 NEW BEST:: SOT 1214814 SOS 1012176 HAS SOPS 1012092 HAS SOUS 72290 HAS SOUPS 72206 WITH SCORE 73218.176
AT ITER 5747 NEW BEST:: SOT 1214814 SOS 1012080 HAS SOPS 1011996 HAS SOUS 72290 HAS SOUPS 72206 WITH SCORE 73218.08
AT ITER 5768 NEW BEST:: SOT 1214735 SOS 1012001 HAS SOPS 1011917 HAS SOUS 72283 HAS SOUPS 72199 WITH SCORE 73211.001
AT ITER 5789 NEW BEST:: SOT 1214476 SOS 1011742 HAS SOPS 1011658 HAS SOUS 72250 HAS SOUPS 72166 WITH SCORE 73177.742
AT ITER 5793 NEW BEST:: SOT 1214457 SOS 1011723 HAS SOPS 1011639 HAS SOUS 72199 HAS SOUPS 72115 WITH SCORE 73126.723
AT ITER 5816 NEW BEST:: SOT 1214457 SOS 1011729 HAS SOPS 1011645 HAS SOUS 72198 HAS SOUPS 72114 WITH SCORE 73125.729
AT ITER 5835 NEW BEST:: SOT 1214444 SOS 1011716 HAS SOPS 1011632 HAS SOUS 72185 HAS SOUPS 72101 WITH SCORE 73112.716
AT ITER 5869 NEW BEST:: SOT 1213938 SOS 1011210 HAS SOPS 1011126 HAS SOUS 71954 HAS SOUPS 71870 WITH SCORE 72881.21
AT ITER 5969 NEW BEST:: SOT 1213789 SOS 1011061 HAS SOPS 1010977 HAS SOUS 71884 HAS SOUPS 71800 WITH SCORE 72811.061
AT ITER 6002 NEW BEST:: SOT 1213396 SOS 1010668 HAS SOPS 1010584 HAS SOUS 71569 HAS SOUPS 71485 WITH SCORE 72495.668
AT ITER 6007 NEW BEST:: SOT 1212937 SOS 1010209 HAS SOPS 1010125 HAS SOUS 71338 HAS SOUPS 71254 WITH SCORE 72264.209
AT ITER 6024 NEW BEST:: SOT 1213300 SOS 1010572 HAS SOPS 1010488 HAS SOUS 71293 HAS SOUPS 71209 WITH SCORE 72219.572
AT ITER 6049 NEW BEST:: SOT 1213364 SOS 1010636 HAS SOPS 1010552 HAS SOUS 71256 HAS SOUPS 71172 WITH SCORE 72182.636
AT ITER 6073 NEW BEST:: SOT 1213358 SOS 1010630 HAS SOPS 1010546 HAS SOUS 71244 HAS SOUPS 71160 WITH SCORE 72170.63
AT ITER 6081 NEW BEST:: SOT 1213322 SOS 1011249 HAS SOPS 1011165 HAS SOUS 71229 HAS SOUPS 71145 WITH SCORE 72156.249
AT ITER 6089 NEW BEST:: SOT 1213128 SOS 1011055 HAS SOPS 1010971 HAS SOUS 71137 HAS SOUPS 71053 WITH SCORE 72064.055
AT ITER 6092 NEW BEST:: SOT 1212928 SOS 1010855 HAS SOPS 1010771 HAS SOUS 71008 HAS SOUPS 70924 WITH SCORE 71934.855
AT ITER 6095 NEW BEST:: SOT 1212904 SOS 1010831 HAS SOPS 1010747 HAS SOUS 71007 HAS SOUPS 70923 WITH SCORE 71933.831
AT ITER 6099 NEW BEST:: SOT 1212858 SOS 1010331 HAS SOPS 1010247 HAS SOUS 70994 HAS SOUPS 70910 WITH SCORE 71920.331
AT ITER 6115 NEW BEST:: SOT 1212839 SOS 1010312 HAS SOPS 1010228 HAS SOUS 70993 HAS SOUPS 70909 WITH SCORE 71919.312
AT ITER 6120 NEW BEST:: SOT 1212839 SOS 1010312 HAS SOPS 1010228 HAS SOUS 70983 HAS SOUPS 70899 WITH SCORE 71909.312
AT ITER 6145 NEW BEST:: SOT 1212839 SOS 1009472 HAS SOPS 1009388 HAS SOUS 70956 HAS SOUPS 70872 WITH SCORE 71881.472
AT ITER 6176 NEW BEST:: SOT 1212839 SOS 1009256 HAS SOPS 1009172 HAS SOUS 70956 HAS SOUPS 70872 WITH SCORE 71881.256
AT ITER 6217 NEW BEST:: SOT 1212839 SOS 1009256 HAS SOPS 1009172 HAS SOUS 70952 HAS SOUPS 70868 WITH SCORE 71877.256
AT ITER 6222 NEW BEST:: SOT 1214398 SOS 1010821 HAS SOPS 1010731 HAS SOUS 70918 HAS SOUPS 70828 WITH SCORE 71838.821
AT ITER 6279 NEW BEST:: SOT 1214410 SOS 1010833 HAS SOPS 1010743 HAS SOUS 70864 HAS SOUPS 70774 WITH SCORE 71784.833
AT ITER 6296 NEW BEST:: SOT 1214335 SOS 1010758 HAS SOPS 1010668 HAS SOUS 70836 HAS SOUPS 70746 WITH SCORE 71756.758
AT ITER 6300 NEW BEST:: SOT 1214235 SOS 1010658 HAS SOPS 1010568 HAS SOUS 70825 HAS SOUPS 70735 WITH SCORE 71745.658
AT ITER 6350 NEW BEST:: SOT 1214189 SOS 1010612 HAS SOPS 1010522 HAS SOUS 70729 HAS SOUPS 70639 WITH SCORE 71649.612
AT ITER 6369 NEW BEST:: SOT 1213908 SOS 1010331 HAS SOPS 1010241 HAS SOUS 69740 HAS SOUPS 69650 WITH SCORE 70660.331
AT ITER 6385 NEW BEST:: SOT 1213908 SOS 1010331 HAS SOPS 1010241 HAS SOUS 69688 HAS SOUPS 69598 WITH SCORE 70608.331
AT ITER 6418 NEW BEST:: SOT 1213908 SOS 1010331 HAS SOPS 1010241 HAS SOUS 69669 HAS SOUPS 69579 WITH SCORE 70589.331
AT ITER 6440 NEW BEST:: SOT 1213860 SOS 1010283 HAS SOPS 1010193 HAS SOUS 69621 HAS SOUPS 69531 WITH SCORE 70541.283
AT ITER 6488 NEW BEST:: SOT 1214178 SOS 1010601 HAS SOPS 1010511 HAS SOUS 69595 HAS SOUPS 69505 WITH SCORE 70515.601
AT ITER 6523 NEW BEST:: SOT 1213661 SOS 1010084 HAS SOPS 1009994 HAS SOUS 69460 HAS SOUPS 69370 WITH SCORE 70380.084
AT ITER 6609 NEW BEST:: SOT 1213575 SOS 1009998 HAS SOPS 1009908 HAS SOUS 69409 HAS SOUPS 69319 WITH SCORE 70328.998
AT ITER 6614 NEW BEST:: SOT 1213579 SOS 996480 HAS SOPS 996390 HAS SOUS 69403 HAS SOUPS 69313 WITH SCORE 70309.48
AT ITER 6636 NEW BEST:: SOT 1213747 SOS 996648 HAS SOPS 996558 HAS SOUS 69287 HAS SOUPS 69197 WITH SCORE 70193.648
AT ITER 6651 NEW BEST:: SOT 1213747 SOS 997212 HAS SOPS 997122 HAS SOUS 69273 HAS SOUPS 69183 WITH SCORE 70180.212
AT ITER 6668 NEW BEST:: SOT 1212934 SOS 996399 HAS SOPS 996309 HAS SOUS 68972 HAS SOUPS 68882 WITH SCORE 69878.399
AT ITER 6711 NEW BEST:: SOT 1212934 SOS 996385 HAS SOPS 996309 HAS SOUS 68958 HAS SOUPS 68882 WITH SCORE 69878.385
AT ITER 6721 NEW BEST:: SOT 1212913 SOS 996364 HAS SOPS 996288 HAS SOUS 68916 HAS SOUPS 68840 WITH SCORE 69836.364
AT ITER 6803 NEW BEST:: SOT 1212895 SOS 996346 HAS SOPS 996270 HAS SOUS 68816 HAS SOUPS 68740 WITH SCORE 69736.346
AT ITER 6829 NEW BEST:: SOT 1212729 SOS 996180 HAS SOPS 996104 HAS SOUS 68539 HAS SOUPS 68463 WITH SCORE 69459.18
AT ITER 6858 NEW BEST:: SOT 1212826 SOS 996277 HAS SOPS 996201 HAS SOUS 68298 HAS SOUPS 68222 WITH SCORE 69218.277
AT ITER 6884 NEW BEST:: SOT 1212826 SOS 996335 HAS SOPS 996249 HAS SOUS 68298 HAS SOUPS 68212 WITH SCORE 69208.335
AT ITER 6902 NEW BEST:: SOT 1212826 SOS 996335 HAS SOPS 996249 HAS SOUS 68138 HAS SOUPS 68052 WITH SCORE 69048.335
AT ITER 6953 NEW BEST:: SOT 1212826 SOS 996973 HAS SOPS 996897 HAS SOUS 68109 HAS SOUPS 68033 WITH SCORE 69029.973
AT ITER 6990 NEW BEST:: SOT 1212826 SOS 996872 HAS SOPS 996753 HAS SOUS 68152 HAS SOUPS 68033 WITH SCORE 69029.872
AT ITER 6992 NEW BEST:: SOT 1212826 SOS 996584 HAS SOPS 996465 HAS SOUS 68140 HAS SOUPS 68021 WITH SCORE 69017.584
AT ITER 7012 NEW BEST:: SOT 1212826 SOS 996584 HAS SOPS 996465 HAS SOUS 68122 HAS SOUPS 68003 WITH SCORE 68999.584
AT ITER 7038 NEW BEST:: SOT 1212946 SOS 996704 HAS SOPS 996585 HAS SOUS 68098 HAS SOUPS 67979 WITH SCORE 68975.704
AT ITER 7059 NEW BEST:: SOT 1212924 SOS 996682 HAS SOPS 996563 HAS SOUS 68076 HAS SOUPS 67957 WITH SCORE 68953.682
AT ITER 7064 NEW BEST:: SOT 1212926 SOS 996684 HAS SOPS 996565 HAS SOUS 68028 HAS SOUPS 67909 WITH SCORE 68905.684
AT ITER 7109 NEW BEST:: SOT 1212926 SOS 996684 HAS SOPS 996565 HAS SOUS 67972 HAS SOUPS 67853 WITH SCORE 68849.684
AT ITER 7116 NEW BEST:: SOT 1212926 SOS 996501 HAS SOPS 996382 HAS SOUS 67972 HAS SOUPS 67853 WITH SCORE 68849.501
AT ITER 7117 NEW BEST:: SOT 1212926 SOS 996487 HAS SOPS 996382 HAS SOUS 67958 HAS SOUPS 67853 WITH SCORE 68849.487
AT ITER 7250 NEW BEST:: SOT 1212926 SOS 996494 HAS SOPS 996389 HAS SOUS 67955 HAS SOUPS 67850 WITH SCORE 68846.494
AT ITER 7262 NEW BEST:: SOT 1212926 SOS 996422 HAS SOPS 996317 HAS SOUS 67955 HAS SOUPS 67850 WITH SCORE 68846.422
AT ITER 7278 NEW BEST:: SOT 1213930 SOS 997426 HAS SOPS 997321 HAS SOUS 67939 HAS SOUPS 67834 WITH SCORE 68831.426
AT ITER 7288 NEW BEST:: SOT 1213938 SOS 997434 HAS SOPS 997329 HAS SOUS 67931 HAS SOUPS 67826 WITH SCORE 68823.434
AT ITER 7308 NEW BEST:: SOT 1213984 SOS 997480 HAS SOPS 997375 HAS SOUS 67905 HAS SOUPS 67800 WITH SCORE 68797.48
AT ITER 7319 NEW BEST:: SOT 1213983 SOS 997479 HAS SOPS 997374 HAS SOUS 67892 HAS SOUPS 67787 WITH SCORE 68784.479
AT ITER 7393 NEW BEST:: SOT 1213943 SOS 997439 HAS SOPS 997334 HAS SOUS 67820 HAS SOUPS 67715 WITH SCORE 68712.439
AT ITER 7394 NEW BEST:: SOT 1213357 SOS 996853 HAS SOPS 996748 HAS SOUS 67728 HAS SOUPS 67623 WITH SCORE 68619.853
AT ITER 7418 NEW BEST:: SOT 1213357 SOS 996838 HAS SOPS 996722 HAS SOUS 67721 HAS SOUPS 67605 WITH SCORE 68601.838
AT ITER 7527 NEW BEST:: SOT 1213357 SOS 996847 HAS SOPS 996722 HAS SOUS 67721 HAS SOUPS 67596 WITH SCORE 68592.847
AT ITER 7606 NEW BEST:: SOT 1213319 SOS 996809 HAS SOPS 996684 HAS SOUS 67643 HAS SOUPS 67518 WITH SCORE 68514.809
AT ITER 7642 NEW BEST:: SOT 1213255 SOS 996745 HAS SOPS 996620 HAS SOUS 67631 HAS SOUPS 67506 WITH SCORE 68502.745
AT ITER 7654 NEW BEST:: SOT 1213279 SOS 996769 HAS SOPS 996644 HAS SOUS 67616 HAS SOUPS 67491 WITH SCORE 68487.769
AT ITER 7752 NEW BEST:: SOT 1213078 SOS 996568 HAS SOPS 996443 HAS SOUS 67449 HAS SOUPS 67324 WITH SCORE 68320.568
AT ITER 7785 NEW BEST:: SOT 1212941 SOS 996431 HAS SOPS 996306 HAS SOUS 67412 HAS SOUPS 67287 WITH SCORE 68283.431
AT ITER 7820 NEW BEST:: SOT 1212941 SOS 996599 HAS SOPS 996467 HAS SOUS 67412 HAS SOUPS 67280 WITH SCORE 68276.599
AT ITER 7847 NEW BEST:: SOT 1212789 SOS 996447 HAS SOPS 996315 HAS SOUS 67391 HAS SOUPS 67259 WITH SCORE 68255.447
AT ITER 7865 NEW BEST:: SOT 1212789 SOS 996447 HAS SOPS 996315 HAS SOUS 67385 HAS SOUPS 67253 WITH SCORE 68249.447
AT ITER 7888 NEW BEST:: SOT 1212789 SOS 996417 HAS SOPS 996285 HAS SOUS 67385 HAS SOUPS 67253 WITH SCORE 68249.417
AT ITER 7934 NEW BEST:: SOT 1212745 SOS 996373 HAS SOPS 996241 HAS SOUS 67341 HAS SOUPS 67209 WITH SCORE 68205.373
AT ITER 8011 NEW BEST:: SOT 1212674 SOS 996302 HAS SOPS 996170 HAS SOUS 67222 HAS SOUPS 67090 WITH SCORE 68086.302
AT ITER 8034 NEW BEST:: SOT 1212673 SOS 996301 HAS SOPS 996169 HAS SOUS 67222 HAS SOUPS 67090 WITH SCORE 68086.301
AT ITER 8061 NEW BEST:: SOT 1212999 SOS 996627 HAS SOPS 996495 HAS SOUS 67201 HAS SOUPS 67069 WITH SCORE 68065.627
AT ITER 8115 NEW BEST:: SOT 1212999 SOS 996627 HAS SOPS 996495 HAS SOUS 67175 HAS SOUPS 67043 WITH SCORE 68039.627
AT ITER 8162 NEW BEST:: SOT 1213153 SOS 996781 HAS SOPS 996649 HAS SOUS 67065 HAS SOUPS 66933 WITH SCORE 67929.781
AT ITER 8189 NEW BEST:: SOT 1213153 SOS 996781 HAS SOPS 996649 HAS SOUS 66981 HAS SOUPS 66849 WITH SCORE 67845.781
AT ITER 8232 NEW BEST:: SOT 1213153 SOS 996498 HAS SOPS 996361 HAS SOUS 66981 HAS SOUPS 66844 WITH SCORE 67840.498
AT ITER 8272 NEW BEST:: SOT 1213197 SOS 996548 HAS SOPS 996411 HAS SOUS 66916 HAS SOUPS 66779 WITH SCORE 67775.548
AT ITER 8367 NEW BEST:: SOT 1213221 SOS 996572 HAS SOPS 996435 HAS SOUS 66904 HAS SOUPS 66767 WITH SCORE 67763.572
AT ITER 8403 NEW BEST:: SOT 1214240 SOS 997591 HAS SOPS 997454 HAS SOUS 66798 HAS SOUPS 66661 WITH SCORE 67658.591
AT ITER 8429 NEW BEST:: SOT 1214480 SOS 997831 HAS SOPS 997694 HAS SOUS 66765 HAS SOUPS 66628 WITH SCORE 67625.831
AT ITER 8504 NEW BEST:: SOT 1214867 SOS 998218 HAS SOPS 998081 HAS SOUS 66699 HAS SOUPS 66562 WITH SCORE 67560.218
AT ITER 8535 NEW BEST:: SOT 1215005 SOS 998356 HAS SOPS 998219 HAS SOUS 66600 HAS SOUPS 66463 WITH SCORE 67461.356
AT ITER 8555 NEW BEST:: SOT 1215142 SOS 1007085 HAS SOPS 1006948 HAS SOUS 66529 HAS SOUPS 66392 WITH SCORE 67399.085
AT ITER 8556 NEW BEST:: SOT 1215444 SOS 1007387 HAS SOPS 1007250 HAS SOUS 66227 HAS SOUPS 66090 WITH SCORE 67097.387
AT ITER 8558 NEW BEST:: SOT 1215224 SOS 1007167 HAS SOPS 1007030 HAS SOUS 66196 HAS SOUPS 66059 WITH SCORE 67066.167
AT ITER 8628 NEW BEST:: SOT 1215154 SOS 1007097 HAS SOPS 1006960 HAS SOUS 66051 HAS SOUPS 65914 WITH SCORE 66921.097
AT ITER 8665 NEW BEST:: SOT 1215011 SOS 1006954 HAS SOPS 1006817 HAS SOUS 66049 HAS SOUPS 65912 WITH SCORE 66918.954
AT ITER 8713 NEW BEST:: SOT 1215012 SOS 1006955 HAS SOPS 1006818 HAS SOUS 66026 HAS SOUPS 65889 WITH SCORE 66895.955
AT ITER 8761 NEW BEST:: SOT 1215019 SOS 1003338 HAS SOPS 1003201 HAS SOUS 66029 HAS SOUPS 65892 WITH SCORE 66895.338
AT ITER 8763 NEW BEST:: SOT 1215027 SOS 1003346 HAS SOPS 1003209 HAS SOUS 65861 HAS SOUPS 65724 WITH SCORE 66727.346
AT ITER 8790 NEW BEST:: SOT 1215272 SOS 1004502 HAS SOPS 1004414 HAS SOUS 65727 HAS SOUPS 65639 WITH SCORE 66643.502
AT ITER 8805 NEW BEST:: SOT 1215272 SOS 1004514 HAS SOPS 1004414 HAS SOUS 65727 HAS SOUPS 65627 WITH SCORE 66631.514
AT ITER 8808 NEW BEST:: SOT 1215267 SOS 1004509 HAS SOPS 1004409 HAS SOUS 65717 HAS SOUPS 65617 WITH SCORE 66621.509
AT ITER 8827 NEW BEST:: SOT 1215267 SOS 1004269 HAS SOPS 1004169 HAS SOUS 65717 HAS SOUPS 65617 WITH SCORE 66621.269
AT ITER 8885 NEW BEST:: SOT 1215267 SOS 1003933 HAS SOPS 1003833 HAS SOUS 65717 HAS SOUPS 65617 WITH SCORE 66620.933
AT ITER 8963 NEW BEST:: SOT 1215267 SOS 1003933 HAS SOPS 1003833 HAS SOUS 65714 HAS SOUPS 65614 WITH SCORE 66617.933
AT ITER 9094 NEW BEST:: SOT 1215267 SOS 1003525 HAS SOPS 1003425 HAS SOUS 65714 HAS SOUPS 65614 WITH SCORE 66617.525
AT ITER 9097 NEW BEST:: SOT 1215253 SOS 1003511 HAS SOPS 1003411 HAS SOUS 65705 HAS SOUPS 65605 WITH SCORE 66608.511
AT ITER 9161 NEW BEST:: SOT 1215506 SOS 1003764 HAS SOPS 1003664 HAS SOUS 65541 HAS SOUPS 65441 WITH SCORE 66444.764
AT ITER 9169 NEW BEST:: SOT 1215506 SOS 1003916 HAS SOPS 1003816 HAS SOUS 65518 HAS SOUPS 65418 WITH SCORE 66421.916
AT ITER 9178 NEW BEST:: SOT 1215506 SOS 1003586 HAS SOPS 1003504 HAS SOUS 65488 HAS SOUPS 65406 WITH SCORE 66409.586
AT ITER 9203 NEW BEST:: SOT 1215506 SOS 1003586 HAS SOPS 1003504 HAS SOUS 65485 HAS SOUPS 65403 WITH SCORE 66406.586
AT ITER 9209 NEW BEST:: SOT 1215481 SOS 1003561 HAS SOPS 1003479 HAS SOUS 65465 HAS SOUPS 65383 WITH SCORE 66386.561
AT ITER 9218 NEW BEST:: SOT 1215478 SOS 1004590 HAS SOPS 1004508 HAS SOUS 65460 HAS SOUPS 65378 WITH SCORE 66382.59
AT ITER 9220 NEW BEST:: SOT 1214917 SOS 1004029 HAS SOPS 1003947 HAS SOUS 65310 HAS SOUPS 65228 WITH SCORE 66232.029
AT ITER 9278 NEW BEST:: SOT 1214917 SOS 1004022 HAS SOPS 1003940 HAS SOUS 65310 HAS SOUPS 65228 WITH SCORE 66232.022
AT ITER 9303 NEW BEST:: SOT 1214919 SOS 1004024 HAS SOPS 1003942 HAS SOUS 65308 HAS SOUPS 65226 WITH SCORE 66230.024
AT ITER 9320 NEW BEST:: SOT 1214919 SOS 1003883 HAS SOPS 1003788 HAS SOUS 65318 HAS SOUPS 65223 WITH SCORE 66226.883
AT ITER 9335 NEW BEST:: SOT 1214919 SOS 1003883 HAS SOPS 1003788 HAS SOUS 65301 HAS SOUPS 65206 WITH SCORE 66209.883
AT ITER 9339 NEW BEST:: SOT 1214175 SOS 1003139 HAS SOPS 1003044 HAS SOUS 65270 HAS SOUPS 65175 WITH SCORE 66178.139
AT ITER 9340 NEW BEST:: SOT 1214175 SOS 1003139 HAS SOPS 1003044 HAS SOUS 65258 HAS SOUPS 65163 WITH SCORE 66166.139
AT ITER 9354 NEW BEST:: SOT 1214120 SOS 1003084 HAS SOPS 1002989 HAS SOUS 65196 HAS SOUPS 65101 WITH SCORE 66104.084
AT ITER 9463 NEW BEST:: SOT 1214120 SOS 1002895 HAS SOPS 1002797 HAS SOUS 65196 HAS SOUPS 65098 WITH SCORE 66100.895
AT ITER 9499 NEW BEST:: SOT 1214013 SOS 1002788 HAS SOPS 1002690 HAS SOUS 65159 HAS SOUPS 65061 WITH SCORE 66063.788
AT ITER 9501 NEW BEST:: SOT 1213632 SOS 1002407 HAS SOPS 1002309 HAS SOUS 65108 HAS SOUPS 65010 WITH SCORE 66012.407
AT ITER 9568 NEW BEST:: SOT 1213651 SOS 1002426 HAS SOPS 1002328 HAS SOUS 65062 HAS SOUPS 64964 WITH SCORE 65966.426
AT ITER 9607 NEW BEST:: SOT 1213651 SOS 1002042 HAS SOPS 1001944 HAS SOUS 65062 HAS SOUPS 64964 WITH SCORE 65966.042
AT ITER 9608 NEW BEST:: SOT 1213651 SOS 1000926 HAS SOPS 1000828 HAS SOUS 65060 HAS SOUPS 64962 WITH SCORE 65962.926
AT ITER 9663 NEW BEST:: SOT 1214009 SOS 1001284 HAS SOPS 1001186 HAS SOUS 65058 HAS SOUPS 64960 WITH SCORE 65961.284
AT ITER 9685 NEW BEST:: SOT 1214019 SOS 1001294 HAS SOPS 1001196 HAS SOUS 65028 HAS SOUPS 64930 WITH SCORE 65931.294
AT ITER 9722 NEW BEST:: SOT 1213885 SOS 1001160 HAS SOPS 1001062 HAS SOUS 64675 HAS SOUPS 64577 WITH SCORE 65578.16
AT ITER 9731 NEW BEST:: SOT 1213885 SOS 1000848 HAS SOPS 1000750 HAS SOUS 64675 HAS SOUPS 64577 WITH SCORE 65577.848
AT ITER 9735 NEW BEST:: SOT 1213857 SOS 1000820 HAS SOPS 1000722 HAS SOUS 64657 HAS SOUPS 64559 WITH SCORE 65559.82
AT ITER 9740 NEW BEST:: SOT 1213842 SOS 1000805 HAS SOPS 1000707 HAS SOUS 64643 HAS SOUPS 64545 WITH SCORE 65545.805
AT ITER 9861 NEW BEST:: SOT 1213842 SOS 997157 HAS SOPS 997059 HAS SOUS 64639 HAS SOUPS 64541 WITH SCORE 65538.157
AT ITER 9886 NEW BEST:: SOT 1213848 SOS 997231 HAS SOPS 997139 HAS SOUS 64627 HAS SOUPS 64535 WITH SCORE 65532.231
AT ITER 9960 NEW BEST:: SOT 1213866 SOS 997249 HAS SOPS 997157 HAS SOUS 64613 HAS SOUPS 64521 WITH SCORE 65518.249

BK_STOP 1678623304015

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 367 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Medical-PT-08"
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-08, 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-167856410800680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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