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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 14:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 14:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 25 14:42 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 1678624044608

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-20
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 20
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 7 NEW BEST:: SOT 1170373 SOS 641305 HAS SOPS 638209 HAS SOUS 255793 HAS SOUPS 252976 WITH SCORE 253617.305
AT ITER 10 NEW BEST:: SOT 1170373 SOS 641305 HAS SOPS 638209 HAS SOUS 255695 HAS SOUPS 252878 WITH SCORE 253519.305
AT ITER 13 NEW BEST:: SOT 1170391 SOS 641323 HAS SOPS 638227 HAS SOUS 255644 HAS SOUPS 252827 WITH SCORE 253468.323
AT ITER 16 NEW BEST:: SOT 1170432 SOS 641260 HAS SOPS 638268 HAS SOUS 250803 HAS SOUPS 248071 WITH SCORE 248712.26
AT ITER 32 NEW BEST:: SOT 1169590 SOS 628215 HAS SOPS 624507 HAS SOUS 249935 HAS SOUPS 247203 WITH SCORE 247831.215
AT ITER 34 NEW BEST:: SOT 1169590 SOS 628215 HAS SOPS 624507 HAS SOUS 249902 HAS SOUPS 247170 WITH SCORE 247798.215
AT ITER 36 NEW BEST:: SOT 1169590 SOS 629391 HAS SOPS 625683 HAS SOUS 249874 HAS SOUPS 247142 WITH SCORE 247771.391
AT ITER 38 NEW BEST:: SOT 1169584 SOS 629385 HAS SOPS 625677 HAS SOUS 249869 HAS SOUPS 247137 WITH SCORE 247766.385
AT ITER 43 NEW BEST:: SOT 1169752 SOS 629609 HAS SOPS 622973 HAS SOUS 249807 HAS SOUPS 246061 WITH SCORE 246690.609
AT ITER 45 NEW BEST:: SOT 1169627 SOS 629484 HAS SOPS 622848 HAS SOUS 249547 HAS SOUPS 245801 WITH SCORE 246430.484
AT ITER 46 NEW BEST:: SOT 1169627 SOS 628932 HAS SOPS 622296 HAS SOUS 249547 HAS SOUPS 245801 WITH SCORE 246429.932
AT ITER 58 NEW BEST:: SOT 1169398 SOS 631741 HAS SOPS 625130 HAS SOUS 248916 HAS SOUPS 245170 WITH SCORE 245801.741
AT ITER 76 NEW BEST:: SOT 1169411 SOS 631754 HAS SOPS 625143 HAS SOUS 248876 HAS SOUPS 245130 WITH SCORE 245761.754
AT ITER 77 NEW BEST:: SOT 1169476 SOS 631882 HAS SOPS 625271 HAS SOUS 248657 HAS SOUPS 244911 WITH SCORE 245542.882
AT ITER 81 NEW BEST:: SOT 1169332 SOS 633825 HAS SOPS 627214 HAS SOUS 248334 HAS SOUPS 244588 WITH SCORE 245221.825
AT ITER 82 NEW BEST:: SOT 1169332 SOS 634449 HAS SOPS 627838 HAS SOUS 248185 HAS SOUPS 244439 WITH SCORE 245073.449
AT ITER 83 NEW BEST:: SOT 1168492 SOS 632804 HAS SOPS 626309 HAS SOUS 246247 HAS SOUPS 242536 WITH SCORE 243168.804
AT ITER 84 NEW BEST:: SOT 1168492 SOS 632804 HAS SOPS 626309 HAS SOUS 246100 HAS SOUPS 242389 WITH SCORE 243021.804
AT ITER 102 NEW BEST:: SOT 1168115 SOS 631961 HAS SOPS 625527 HAS SOUS 245374 HAS SOUPS 241676 WITH SCORE 242307.961
AT ITER 109 NEW BEST:: SOT 1168110 SOS 631951 HAS SOPS 625522 HAS SOUS 242485 HAS SOUPS 238792 WITH SCORE 239423.951
AT ITER 114 NEW BEST:: SOT 1168110 SOS 631951 HAS SOPS 625522 HAS SOUS 242320 HAS SOUPS 238627 WITH SCORE 239258.951
AT ITER 118 NEW BEST:: SOT 1168142 SOS 631983 HAS SOPS 625554 HAS SOUS 241749 HAS SOUPS 238056 WITH SCORE 238687.983
AT ITER 119 NEW BEST:: SOT 1168283 SOS 632192 HAS SOPS 625763 HAS SOUS 241653 HAS SOUPS 237960 WITH SCORE 238592.192
AT ITER 144 NEW BEST:: SOT 1168331 SOS 631088 HAS SOPS 624840 HAS SOUS 236164 HAS SOUPS 232562 WITH SCORE 233193.088
AT ITER 149 NEW BEST:: SOT 1168331 SOS 632192 HAS SOPS 625944 HAS SOUS 235911 HAS SOUPS 232309 WITH SCORE 232941.192
AT ITER 152 NEW BEST:: SOT 1168331 SOS 632165 HAS SOPS 625977 HAS SOUS 235687 HAS SOUPS 232145 WITH SCORE 232777.165
AT ITER 166 NEW BEST:: SOT 1156476 SOS 620369 HAS SOPS 614181 HAS SOUS 223891 HAS SOUPS 220349 WITH SCORE 220969.369
AT ITER 175 NEW BEST:: SOT 1157030 SOS 621312 HAS SOPS 615139 HAS SOUS 221805 HAS SOUPS 218263 WITH SCORE 218884.312
AT ITER 177 NEW BEST:: SOT 1157030 SOS 622476 HAS SOPS 616339 HAS SOUS 221505 HAS SOUPS 217999 WITH SCORE 218621.476
AT ITER 182 NEW BEST:: SOT 1156559 SOS 627930 HAS SOPS 621847 HAS SOUS 221000 HAS SOUPS 217518 WITH SCORE 218145.93
AT ITER 184 NEW BEST:: SOT 1156543 SOS 631036 HAS SOPS 624953 HAS SOUS 220406 HAS SOUPS 216924 WITH SCORE 217555.036
AT ITER 185 NEW BEST:: SOT 1156543 SOS 629163 HAS SOPS 623225 HAS SOUS 220333 HAS SOUPS 216880 WITH SCORE 217509.163
AT ITER 186 NEW BEST:: SOT 1156554 SOS 629139 HAS SOPS 623204 HAS SOUS 218684 HAS SOUPS 215230 WITH SCORE 215859.139
AT ITER 187 NEW BEST:: SOT 1156554 SOS 629139 HAS SOPS 623204 HAS SOUS 218257 HAS SOUPS 214803 WITH SCORE 215432.139
AT ITER 189 NEW BEST:: SOT 1156554 SOS 629139 HAS SOPS 623204 HAS SOUS 216803 HAS SOUPS 213349 WITH SCORE 213978.139
AT ITER 195 NEW BEST:: SOT 1156554 SOS 629139 HAS SOPS 623204 HAS SOUS 216802 HAS SOUPS 213348 WITH SCORE 213977.139
AT ITER 199 NEW BEST:: SOT 1156172 SOS 634748 HAS SOPS 628836 HAS SOUS 214404 HAS SOUPS 210973 WITH SCORE 211607.748
AT ITER 200 NEW BEST:: SOT 1156172 SOS 636034 HAS SOPS 630148 HAS SOUS 214068 HAS SOUPS 210663 WITH SCORE 211299.034
AT ITER 215 NEW BEST:: SOT 1155679 SOS 634912 HAS SOPS 629093 HAS SOUS 213587 HAS SOUPS 210199 WITH SCORE 210833.912
AT ITER 216 NEW BEST:: SOT 1155193 SOS 634036 HAS SOPS 627885 HAS SOUS 212796 HAS SOUPS 209394 WITH SCORE 210028.036
AT ITER 220 NEW BEST:: SOT 1155193 SOS 634036 HAS SOPS 627885 HAS SOUS 212621 HAS SOUPS 209219 WITH SCORE 209853.036
AT ITER 231 NEW BEST:: SOT 1155308 SOS 634251 HAS SOPS 628100 HAS SOUS 212247 HAS SOUPS 208845 WITH SCORE 209479.251
AT ITER 234 NEW BEST:: SOT 1155287 SOS 634230 HAS SOPS 628079 HAS SOUS 212203 HAS SOUPS 208801 WITH SCORE 209435.23
AT ITER 235 NEW BEST:: SOT 1155492 SOS 634531 HAS SOPS 628380 HAS SOUS 212012 HAS SOUPS 208610 WITH SCORE 209244.531
AT ITER 240 NEW BEST:: SOT 1155492 SOS 635083 HAS SOPS 628932 HAS SOUS 211920 HAS SOUPS 208518 WITH SCORE 209153.083
AT ITER 242 NEW BEST:: SOT 1155492 SOS 635243 HAS SOPS 629076 HAS SOUS 211896 HAS SOUPS 208478 WITH SCORE 209113.243
AT ITER 245 NEW BEST:: SOT 1155492 SOS 635243 HAS SOPS 629096 HAS SOUS 211374 HAS SOUPS 207970 WITH SCORE 208605.243
AT ITER 260 NEW BEST:: SOT 1154990 SOS 641478 HAS SOPS 635365 HAS SOUS 208331 HAS SOUPS 204961 WITH SCORE 205602.478
AT ITER 261 NEW BEST:: SOT 1155578 SOS 642066 HAS SOPS 635953 HAS SOUS 208176 HAS SOUPS 204806 WITH SCORE 205448.066
AT ITER 266 NEW BEST:: SOT 1155731 SOS 641269 HAS SOPS 635291 HAS SOUS 205490 HAS SOUPS 202159 WITH SCORE 202800.269
AT ITER 270 NEW BEST:: SOT 1155731 SOS 641114 HAS SOPS 634647 HAS SOUS 205486 HAS SOUPS 201820 WITH SCORE 202461.114
AT ITER 282 NEW BEST:: SOT 1155731 SOS 640322 HAS SOPS 633855 HAS SOUS 205486 HAS SOUPS 201820 WITH SCORE 202460.322
AT ITER 284 NEW BEST:: SOT 1156041 SOS 641244 HAS SOPS 634972 HAS SOUS 204722 HAS SOUPS 201251 WITH SCORE 201892.244
AT ITER 287 NEW BEST:: SOT 1154547 SOS 638164 HAS SOPS 632080 HAS SOUS 199852 HAS SOUPS 196459 WITH SCORE 197097.164
AT ITER 289 NEW BEST:: SOT 1154564 SOS 638198 HAS SOPS 632114 HAS SOUS 199797 HAS SOUPS 196404 WITH SCORE 197042.198
AT ITER 294 NEW BEST:: SOT 1154564 SOS 638198 HAS SOPS 632114 HAS SOUS 199338 HAS SOUPS 195945 WITH SCORE 196583.198
AT ITER 308 NEW BEST:: SOT 1154250 SOS 637944 HAS SOPS 631877 HAS SOUS 199085 HAS SOUPS 195692 WITH SCORE 196329.944
AT ITER 310 NEW BEST:: SOT 1153655 SOS 637349 HAS SOPS 631282 HAS SOUS 198654 HAS SOUPS 195261 WITH SCORE 195898.349
AT ITER 316 NEW BEST:: SOT 1153662 SOS 631176 HAS SOPS 625109 HAS SOUS 198642 HAS SOUPS 195249 WITH SCORE 195880.176
AT ITER 329 NEW BEST:: SOT 1153662 SOS 631082 HAS SOPS 625041 HAS SOUS 198512 HAS SOUPS 195145 WITH SCORE 195776.082
AT ITER 334 NEW BEST:: SOT 1154474 SOS 631257 HAS SOPS 625318 HAS SOUS 195660 HAS SOUPS 192379 WITH SCORE 193010.257
AT ITER 364 NEW BEST:: SOT 1154474 SOS 630393 HAS SOPS 624454 HAS SOUS 195642 HAS SOUPS 192361 WITH SCORE 192991.393
AT ITER 365 NEW BEST:: SOT 1154453 SOS 630154 HAS SOPS 624310 HAS SOUS 194516 HAS SOUPS 191280 WITH SCORE 191910.154
AT ITER 367 NEW BEST:: SOT 1154389 SOS 630237 HAS SOPS 624393 HAS SOUS 194126 HAS SOUPS 190890 WITH SCORE 191520.237
AT ITER 369 NEW BEST:: SOT 1153984 SOS 631351 HAS SOPS 625516 HAS SOUS 193993 HAS SOUPS 190757 WITH SCORE 191388.351
AT ITER 375 NEW BEST:: SOT 1153864 SOS 631275 HAS SOPS 625440 HAS SOUS 193572 HAS SOUPS 190336 WITH SCORE 190967.275
AT ITER 376 NEW BEST:: SOT 1141171 SOS 618905 HAS SOPS 613383 HAS SOUS 180302 HAS SOUPS 177379 WITH SCORE 177997.905
AT ITER 396 NEW BEST:: SOT 1141171 SOS 616077 HAS SOPS 610811 HAS SOUS 180093 HAS SOUPS 177170 WITH SCORE 177786.077
AT ITER 399 NEW BEST:: SOT 1141081 SOS 615987 HAS SOPS 610721 HAS SOUS 179790 HAS SOUPS 176867 WITH SCORE 177482.987
AT ITER 412 NEW BEST:: SOT 1141081 SOS 614883 HAS SOPS 609617 HAS SOUS 179790 HAS SOUPS 176867 WITH SCORE 177481.883
AT ITER 414 NEW BEST:: SOT 1140714 SOS 617252 HAS SOPS 612018 HAS SOUS 177637 HAS SOUPS 174714 WITH SCORE 175331.252
AT ITER 418 NEW BEST:: SOT 1143288 SOS 625217 HAS SOPS 620202 HAS SOUS 177469 HAS SOUPS 174700 WITH SCORE 175325.217
AT ITER 422 NEW BEST:: SOT 1143288 SOS 624737 HAS SOPS 619722 HAS SOUS 177389 HAS SOUPS 174620 WITH SCORE 175244.737
AT ITER 423 NEW BEST:: SOT 1143288 SOS 624517 HAS SOPS 619502 HAS SOUS 177053 HAS SOUPS 174284 WITH SCORE 174908.517
AT ITER 426 NEW BEST:: SOT 1143288 SOS 624373 HAS SOPS 619358 HAS SOUS 177052 HAS SOUPS 174283 WITH SCORE 174907.373
AT ITER 433 NEW BEST:: SOT 1143118 SOS 621231 HAS SOPS 616216 HAS SOUS 176769 HAS SOUPS 174000 WITH SCORE 174621.231
AT ITER 434 NEW BEST:: SOT 1142455 SOS 624088 HAS SOPS 619073 HAS SOUS 176488 HAS SOUPS 173719 WITH SCORE 174343.088
AT ITER 450 NEW BEST:: SOT 1142455 SOS 622936 HAS SOPS 617921 HAS SOUS 176488 HAS SOUPS 173719 WITH SCORE 174341.936
AT ITER 458 NEW BEST:: SOT 1142455 SOS 622936 HAS SOPS 617921 HAS SOUS 176272 HAS SOUPS 173503 WITH SCORE 174125.936
AT ITER 469 NEW BEST:: SOT 1142455 SOS 622936 HAS SOPS 617921 HAS SOUS 176248 HAS SOUPS 173479 WITH SCORE 174101.936
AT ITER 482 NEW BEST:: SOT 1142287 SOS 625559 HAS SOPS 620564 HAS SOUS 174822 HAS SOUPS 172053 WITH SCORE 172678.559
AT ITER 503 NEW BEST:: SOT 1142287 SOS 627287 HAS SOPS 622292 HAS SOUS 173933 HAS SOUPS 171164 WITH SCORE 171791.287
AT ITER 505 NEW BEST:: SOT 1141980 SOS 626980 HAS SOPS 621985 HAS SOUS 173451 HAS SOUPS 170682 WITH SCORE 171308.98
AT ITER 511 NEW BEST:: SOT 1141980 SOS 627790 HAS SOPS 622837 HAS SOUS 173200 HAS SOUPS 170473 WITH SCORE 171100.79
AT ITER 525 NEW BEST:: SOT 1141980 SOS 628702 HAS SOPS 623749 HAS SOUS 173162 HAS SOUPS 170435 WITH SCORE 171063.702
AT ITER 530 NEW BEST:: SOT 1141044 SOS 617506 HAS SOPS 608563 HAS SOUS 172383 HAS SOUPS 169426 WITH SCORE 170043.506
AT ITER 535 NEW BEST:: SOT 1140639 SOS 621246 HAS SOPS 612342 HAS SOUS 171071 HAS SOUPS 168153 WITH SCORE 168774.246
AT ITER 547 NEW BEST:: SOT 1141230 SOS 621837 HAS SOPS 612933 HAS SOUS 170832 HAS SOUPS 167914 WITH SCORE 168535.837
AT ITER 548 NEW BEST:: SOT 1141223 SOS 618986 HAS SOPS 609981 HAS SOUS 170814 HAS SOUPS 167839 WITH SCORE 168457.986
AT ITER 551 NEW BEST:: SOT 1141193 SOS 618956 HAS SOPS 609951 HAS SOUS 170766 HAS SOUPS 167791 WITH SCORE 168409.956
AT ITER 571 NEW BEST:: SOT 1141199 SOS 622340 HAS SOPS 613335 HAS SOUS 170546 HAS SOUPS 167571 WITH SCORE 168193.34
AT ITER 572 NEW BEST:: SOT 1141199 SOS 622963 HAS SOPS 613875 HAS SOUS 170486 HAS SOUPS 167428 WITH SCORE 168050.963
AT ITER 574 NEW BEST:: SOT 1141199 SOS 621955 HAS SOPS 612867 HAS SOUS 170486 HAS SOUPS 167428 WITH SCORE 168049.955
AT ITER 579 NEW BEST:: SOT 1141373 SOS 621442 HAS SOPS 612981 HAS SOUS 168979 HAS SOUPS 165947 WITH SCORE 166568.442
AT ITER 587 NEW BEST:: SOT 1141373 SOS 622018 HAS SOPS 613557 HAS SOUS 168892 HAS SOUPS 165860 WITH SCORE 166482.018
AT ITER 595 NEW BEST:: SOT 1142195 SOS 621392 HAS SOPS 612975 HAS SOUS 168212 HAS SOUPS 165208 WITH SCORE 165829.392
AT ITER 596 NEW BEST:: SOT 1143450 SOS 620430 HAS SOPS 612903 HAS SOUS 165021 HAS SOUPS 162080 WITH SCORE 162700.43
AT ITER 607 NEW BEST:: SOT 1143705 SOS 617274 HAS SOPS 609747 HAS SOUS 164840 HAS SOUPS 161899 WITH SCORE 162516.274
AT ITER 609 NEW BEST:: SOT 1143904 SOS 617473 HAS SOPS 609946 HAS SOUS 164767 HAS SOUPS 161826 WITH SCORE 162443.473
AT ITER 611 NEW BEST:: SOT 1143904 SOS 617407 HAS SOPS 609890 HAS SOUS 164745 HAS SOUPS 161814 WITH SCORE 162431.407
AT ITER 615 NEW BEST:: SOT 1143879 SOS 623306 HAS SOPS 615912 HAS SOUS 164497 HAS SOUPS 161594 WITH SCORE 162217.306
AT ITER 616 NEW BEST:: SOT 1143759 SOS 622923 HAS SOPS 615500 HAS SOUS 163988 HAS SOUPS 161090 WITH SCORE 161712.923
AT ITER 617 NEW BEST:: SOT 1142775 SOS 620083 HAS SOPS 613175 HAS SOUS 161670 HAS SOUPS 158833 WITH SCORE 159453.083
AT ITER 618 NEW BEST:: SOT 1141067 SOS 618375 HAS SOPS 611467 HAS SOUS 161357 HAS SOUPS 158520 WITH SCORE 159138.375
AT ITER 623 NEW BEST:: SOT 1141067 SOS 614455 HAS SOPS 607915 HAS SOUS 161258 HAS SOUPS 158498 WITH SCORE 159112.455
AT ITER 634 NEW BEST:: SOT 1141058 SOS 614854 HAS SOPS 608170 HAS SOUS 161266 HAS SOUPS 158362 WITH SCORE 158976.854
AT ITER 643 NEW BEST:: SOT 1141058 SOS 616767 HAS SOPS 610128 HAS SOUS 160390 HAS SOUPS 157495 WITH SCORE 158111.767
AT ITER 644 NEW BEST:: SOT 1141240 SOS 616949 HAS SOPS 610310 HAS SOUS 160223 HAS SOUPS 157328 WITH SCORE 157944.949
AT ITER 647 NEW BEST:: SOT 1142190 SOS 617564 HAS SOPS 610964 HAS SOUS 159558 HAS SOUPS 156702 WITH SCORE 157319.564
AT ITER 648 NEW BEST:: SOT 1142843 SOS 618902 HAS SOPS 612302 HAS SOUS 159544 HAS SOUPS 156688 WITH SCORE 157306.902
AT ITER 653 NEW BEST:: SOT 1144400 SOS 624037 HAS SOPS 617480 HAS SOUS 158967 HAS SOUPS 156151 WITH SCORE 156775.037
AT ITER 654 NEW BEST:: SOT 1143953 SOS 624555 HAS SOPS 618009 HAS SOUS 158625 HAS SOUPS 155820 WITH SCORE 156444.555
AT ITER 659 NEW BEST:: SOT 1143438 SOS 628090 HAS SOPS 621551 HAS SOUS 155760 HAS SOUPS 152962 WITH SCORE 153590.09
AT ITER 662 NEW BEST:: SOT 1143438 SOS 625002 HAS SOPS 618639 HAS SOUS 155528 HAS SOUPS 152754 WITH SCORE 153379.002
AT ITER 664 NEW BEST:: SOT 1142716 SOS 762951 HAS SOPS 757021 HAS SOUS 155066 HAS SOUPS 152417 WITH SCORE 153179.951
AT ITER 666 NEW BEST:: SOT 1142644 SOS 762879 HAS SOPS 756949 HAS SOUS 154913 HAS SOUPS 152264 WITH SCORE 153026.879
AT ITER 671 NEW BEST:: SOT 1142644 SOS 762567 HAS SOPS 756637 HAS SOUS 154913 HAS SOUPS 152264 WITH SCORE 153026.567
AT ITER 683 NEW BEST:: SOT 1142644 SOS 762848 HAS SOPS 756929 HAS SOUS 154886 HAS SOUPS 152248 WITH SCORE 153010.848
AT ITER 690 NEW BEST:: SOT 1142295 SOS 763561 HAS SOPS 757684 HAS SOUS 153091 HAS SOUPS 150495 WITH SCORE 151258.561
AT ITER 691 NEW BEST:: SOT 1141621 SOS 764039 HAS SOPS 758162 HAS SOUS 152685 HAS SOUPS 150089 WITH SCORE 150853.039
AT ITER 696 NEW BEST:: SOT 1141583 SOS 764786 HAS SOPS 758919 HAS SOUS 152518 HAS SOUPS 149932 WITH SCORE 150696.786
AT ITER 701 NEW BEST:: SOT 1141583 SOS 764498 HAS SOPS 758711 HAS SOUS 151831 HAS SOUPS 149261 WITH SCORE 150025.498
AT ITER 702 NEW BEST:: SOT 1138465 SOS 760278 HAS SOPS 754477 HAS SOUS 151451 HAS SOUPS 148881 WITH SCORE 149641.278
AT ITER 705 NEW BEST:: SOT 1140264 SOS 783671 HAS SOPS 777428 HAS SOUS 151353 HAS SOUPS 148632 WITH SCORE 149415.671
AT ITER 713 NEW BEST:: SOT 1140433 SOS 783912 HAS SOPS 777669 HAS SOUS 151297 HAS SOUPS 148576 WITH SCORE 149359.912
AT ITER 715 NEW BEST:: SOT 1140478 SOS 784133 HAS SOPS 777890 HAS SOUS 150403 HAS SOUPS 147682 WITH SCORE 148466.133
AT ITER 718 NEW BEST:: SOT 1140478 SOS 784331 HAS SOPS 778088 HAS SOUS 150394 HAS SOUPS 147673 WITH SCORE 148457.331
AT ITER 727 NEW BEST:: SOT 1140478 SOS 783011 HAS SOPS 776768 HAS SOUS 150394 HAS SOUPS 147673 WITH SCORE 148456.011
AT ITER 733 NEW BEST:: SOT 1140478 SOS 783011 HAS SOPS 776768 HAS SOUS 150366 HAS SOUPS 147645 WITH SCORE 148428.011
AT ITER 735 NEW BEST:: SOT 1140335 SOS 814662 HAS SOPS 808419 HAS SOUS 150080 HAS SOUPS 147359 WITH SCORE 148173.662
AT ITER 738 NEW BEST:: SOT 1140228 SOS 814448 HAS SOPS 808312 HAS SOUS 148582 HAS SOUPS 145882 WITH SCORE 146696.448
AT ITER 751 NEW BEST:: SOT 1140228 SOS 814664 HAS SOPS 808528 HAS SOUS 148555 HAS SOUPS 145855 WITH SCORE 146669.664
AT ITER 757 NEW BEST:: SOT 1140046 SOS 814554 HAS SOPS 808418 HAS SOUS 148054 HAS SOUPS 145354 WITH SCORE 146168.554
AT ITER 766 NEW BEST:: SOT 1139777 SOS 814285 HAS SOPS 808149 HAS SOUS 147789 HAS SOUPS 145089 WITH SCORE 145903.285
AT ITER 777 NEW BEST:: SOT 1139777 SOS 814269 HAS SOPS 808133 HAS SOUS 147789 HAS SOUPS 145089 WITH SCORE 145903.269
AT ITER 780 NEW BEST:: SOT 1139777 SOS 803959 HAS SOPS 796868 HAS SOUS 147662 HAS SOUPS 144435 WITH SCORE 145238.959
AT ITER 784 NEW BEST:: SOT 1139782 SOS 803964 HAS SOPS 796873 HAS SOUS 147622 HAS SOUPS 144395 WITH SCORE 145198.964
AT ITER 785 NEW BEST:: SOT 1139000 SOS 803182 HAS SOPS 796091 HAS SOUS 147377 HAS SOUPS 144150 WITH SCORE 144953.182
AT ITER 786 NEW BEST:: SOT 1139761 SOS 803293 HAS SOPS 796252 HAS SOUS 146455 HAS SOUPS 143278 WITH SCORE 144081.293
AT ITER 789 NEW BEST:: SOT 1139704 SOS 803236 HAS SOPS 796195 HAS SOUS 146323 HAS SOUPS 143146 WITH SCORE 143949.236
AT ITER 801 NEW BEST:: SOT 1139704 SOS 811816 HAS SOPS 804791 HAS SOUS 146268 HAS SOUPS 143107 WITH SCORE 143918.816
AT ITER 814 NEW BEST:: SOT 1139734 SOS 811846 HAS SOPS 804821 HAS SOUS 146247 HAS SOUPS 143086 WITH SCORE 143897.846
AT ITER 835 NEW BEST:: SOT 1139467 SOS 811579 HAS SOPS 804554 HAS SOUS 146109 HAS SOUPS 142948 WITH SCORE 143759.579
AT ITER 841 NEW BEST:: SOT 1139371 SOS 811447 HAS SOPS 804418 HAS SOUS 145969 HAS SOUPS 142808 WITH SCORE 143619.447
AT ITER 844 NEW BEST:: SOT 1139371 SOS 806455 HAS SOPS 799666 HAS SOUS 145873 HAS SOUPS 142760 WITH SCORE 143566.455
AT ITER 855 NEW BEST:: SOT 1139858 SOS 806946 HAS SOPS 800289 HAS SOUS 145337 HAS SOUPS 142313 WITH SCORE 143119.946
AT ITER 860 NEW BEST:: SOT 1137172 SOS 806180 HAS SOPS 799523 HAS SOUS 143097 HAS SOUPS 140073 WITH SCORE 140879.18
AT ITER 870 NEW BEST:: SOT 1136908 SOS 805916 HAS SOPS 799883 HAS SOUS 141649 HAS SOUPS 139249 WITH SCORE 140054.916
AT ITER 880 NEW BEST:: SOT 1137568 SOS 806576 HAS SOPS 800543 HAS SOUS 141201 HAS SOUPS 138801 WITH SCORE 139607.576
AT ITER 913 NEW BEST:: SOT 1137568 SOS 806459 HAS SOPS 800451 HAS SOUS 140969 HAS SOUPS 138574 WITH SCORE 139380.459
AT ITER 925 NEW BEST:: SOT 1137568 SOS 805254 HAS SOPS 799263 HAS SOUS 140952 HAS SOUPS 138574 WITH SCORE 139379.254
AT ITER 937 NEW BEST:: SOT 1134835 SOS 802521 HAS SOPS 796530 HAS SOUS 140547 HAS SOUPS 138169 WITH SCORE 138971.521
AT ITER 947 NEW BEST:: SOT 1135891 SOS 803988 HAS SOPS 798066 HAS SOUS 139968 HAS SOUPS 137617 WITH SCORE 138420.988
AT ITER 948 NEW BEST:: SOT 1134433 SOS 804906 HAS SOPS 798984 HAS SOUS 138321 HAS SOUPS 135970 WITH SCORE 136774.906
AT ITER 949 NEW BEST:: SOT 1134355 SOS 804762 HAS SOPS 798834 HAS SOUS 137864 HAS SOUPS 135513 WITH SCORE 136317.762
AT ITER 950 NEW BEST:: SOT 1134356 SOS 804763 HAS SOPS 798835 HAS SOUS 137834 HAS SOUPS 135483 WITH SCORE 136287.763
AT ITER 968 NEW BEST:: SOT 1134356 SOS 804222 HAS SOPS 797851 HAS SOUS 137846 HAS SOUPS 135276 WITH SCORE 136080.222
AT ITER 977 NEW BEST:: SOT 1134356 SOS 804054 HAS SOPS 797683 HAS SOUS 137846 HAS SOUPS 135276 WITH SCORE 136080.054
AT ITER 978 NEW BEST:: SOT 1134346 SOS 804044 HAS SOPS 797673 HAS SOUS 137825 HAS SOUPS 135255 WITH SCORE 136059.044
AT ITER 980 NEW BEST:: SOT 1132062 SOS 801760 HAS SOPS 795389 HAS SOUS 137553 HAS SOUPS 134983 WITH SCORE 135784.76
AT ITER 984 NEW BEST:: SOT 1132060 SOS 801814 HAS SOPS 795443 HAS SOUS 137551 HAS SOUPS 134981 WITH SCORE 135782.814
AT ITER 994 NEW BEST:: SOT 1131995 SOS 801749 HAS SOPS 795378 HAS SOUS 136015 HAS SOUPS 133445 WITH SCORE 134246.749
AT ITER 997 NEW BEST:: SOT 1131995 SOS 801636 HAS SOPS 795270 HAS SOUS 136014 HAS SOUPS 133445 WITH SCORE 134246.636
AT ITER 999 NEW BEST:: SOT 1131816 SOS 783090 HAS SOPS 776895 HAS SOUS 135050 HAS SOUPS 132648 WITH SCORE 133431.09
AT ITER 1010 NEW BEST:: SOT 1131816 SOS 782976 HAS SOPS 776791 HAS SOUS 135040 HAS SOUPS 132640 WITH SCORE 133422.976
AT ITER 1013 NEW BEST:: SOT 1131816 SOS 782880 HAS SOPS 776695 HAS SOUS 135040 HAS SOUPS 132640 WITH SCORE 133422.88
AT ITER 1025 NEW BEST:: SOT 1131824 SOS 782888 HAS SOPS 776703 HAS SOUS 134848 HAS SOUPS 132448 WITH SCORE 133230.888
AT ITER 1034 NEW BEST:: SOT 1131824 SOS 782784 HAS SOPS 776599 HAS SOUS 134822 HAS SOUPS 132422 WITH SCORE 133204.784
AT ITER 1048 NEW BEST:: SOT 1131824 SOS 782592 HAS SOPS 776423 HAS SOUS 134712 HAS SOUPS 132328 WITH SCORE 133110.592
AT ITER 1049 NEW BEST:: SOT 1131824 SOS 781414 HAS SOPS 775245 HAS SOUS 134606 HAS SOUPS 132222 WITH SCORE 133003.414
AT ITER 1051 NEW BEST:: SOT 1131824 SOS 780340 HAS SOPS 774261 HAS SOUS 134420 HAS SOUPS 132054 WITH SCORE 132834.34
AT ITER 1061 NEW BEST:: SOT 1131824 SOS 780391 HAS SOPS 774363 HAS SOUS 134366 HAS SOUPS 132051 WITH SCORE 132831.391
AT ITER 1082 NEW BEST:: SOT 1131668 SOS 780235 HAS SOPS 774207 HAS SOUS 134045 HAS SOUPS 131730 WITH SCORE 132510.235
AT ITER 1092 NEW BEST:: SOT 1130108 SOS 778675 HAS SOPS 772647 HAS SOUS 133623 HAS SOUPS 131308 WITH SCORE 132086.675
AT ITER 1104 NEW BEST:: SOT 1130108 SOS 778843 HAS SOPS 772827 HAS SOUS 133588 HAS SOUPS 131285 WITH SCORE 132063.843
AT ITER 1109 NEW BEST:: SOT 1128671 SOS 776865 HAS SOPS 770786 HAS SOUS 132973 HAS SOUPS 130691 WITH SCORE 131467.865
AT ITER 1111 NEW BEST:: SOT 1128287 SOS 776481 HAS SOPS 770402 HAS SOUS 132366 HAS SOUPS 130084 WITH SCORE 130860.481
AT ITER 1114 NEW BEST:: SOT 1128294 SOS 776488 HAS SOPS 770409 HAS SOUS 132356 HAS SOUPS 130074 WITH SCORE 130850.488
AT ITER 1132 NEW BEST:: SOT 1127692 SOS 776340 HAS SOPS 770339 HAS SOUS 132040 HAS SOUPS 129758 WITH SCORE 130534.34
AT ITER 1144 NEW BEST:: SOT 1127692 SOS 776200 HAS SOPS 770199 HAS SOUS 132005 HAS SOUPS 129723 WITH SCORE 130499.2
AT ITER 1148 NEW BEST:: SOT 1127692 SOS 776104 HAS SOPS 770103 HAS SOUS 131975 HAS SOUPS 129693 WITH SCORE 130469.104
AT ITER 1153 NEW BEST:: SOT 1127692 SOS 773800 HAS SOPS 767799 HAS SOUS 131975 HAS SOUPS 129693 WITH SCORE 130466.8
AT ITER 1168 NEW BEST:: SOT 1127652 SOS 773780 HAS SOPS 767779 HAS SOUS 131748 HAS SOUPS 129466 WITH SCORE 130239.78
AT ITER 1172 NEW BEST:: SOT 1127705 SOS 773814 HAS SOPS 768072 HAS SOUS 131598 HAS SOUPS 129326 WITH SCORE 130099.814
AT ITER 1178 NEW BEST:: SOT 1129542 SOS 775651 HAS SOPS 769909 HAS SOUS 131428 HAS SOUPS 129156 WITH SCORE 129931.651
AT ITER 1179 NEW BEST:: SOT 1129709 SOS 775876 HAS SOPS 770134 HAS SOUS 131401 HAS SOUPS 129129 WITH SCORE 129904.876
AT ITER 1196 NEW BEST:: SOT 1129709 SOS 775876 HAS SOPS 770134 HAS SOUS 131341 HAS SOUPS 129069 WITH SCORE 129844.876
AT ITER 1205 NEW BEST:: SOT 1129694 SOS 775861 HAS SOPS 770119 HAS SOUS 131310 HAS SOUPS 129038 WITH SCORE 129813.861
AT ITER 1242 NEW BEST:: SOT 1129694 SOS 776003 HAS SOPS 770275 HAS SOUS 131285 HAS SOUPS 129027 WITH SCORE 129803.003
AT ITER 1252 NEW BEST:: SOT 1131000 SOS 777139 HAS SOPS 771411 HAS SOUS 130400 HAS SOUPS 128142 WITH SCORE 128919.139
AT ITER 1254 NEW BEST:: SOT 1131000 SOS 776995 HAS SOPS 771267 HAS SOUS 130376 HAS SOUPS 128118 WITH SCORE 128894.995
AT ITER 1259 NEW BEST:: SOT 1130659 SOS 776654 HAS SOPS 770926 HAS SOUS 129672 HAS SOUPS 127414 WITH SCORE 128190.654
AT ITER 1281 NEW BEST:: SOT 1130659 SOS 776126 HAS SOPS 770398 HAS SOUS 129672 HAS SOUPS 127414 WITH SCORE 128190.126
AT ITER 1286 NEW BEST:: SOT 1131047 SOS 776514 HAS SOPS 770786 HAS SOUS 129666 HAS SOUPS 127408 WITH SCORE 128184.514
AT ITER 1300 NEW BEST:: SOT 1131827 SOS 776142 HAS SOPS 770414 HAS SOUS 129201 HAS SOUPS 126943 WITH SCORE 127719.142
AT ITER 1304 NEW BEST:: SOT 1131827 SOS 801572 HAS SOPS 795844 HAS SOUS 129138 HAS SOUPS 126880 WITH SCORE 127681.572
AT ITER 1329 NEW BEST:: SOT 1131665 SOS 801410 HAS SOPS 795682 HAS SOUS 128864 HAS SOUPS 126606 WITH SCORE 127407.41
AT ITER 1333 NEW BEST:: SOT 1131665 SOS 801240 HAS SOPS 795522 HAS SOUS 128844 HAS SOUPS 126588 WITH SCORE 127389.24
AT ITER 1357 NEW BEST:: SOT 1131665 SOS 812640 HAS SOPS 806922 HAS SOUS 128813 HAS SOUPS 126557 WITH SCORE 127369.64
AT ITER 1368 NEW BEST:: SOT 1131667 SOS 812715 HAS SOPS 807020 HAS SOUS 128538 HAS SOUPS 126305 WITH SCORE 127117.715
AT ITER 1371 NEW BEST:: SOT 1131657 SOS 812705 HAS SOPS 807010 HAS SOUS 128528 HAS SOUPS 126295 WITH SCORE 127107.705
AT ITER 1400 NEW BEST:: SOT 1133647 SOS 814695 HAS SOPS 809000 HAS SOUS 128442 HAS SOUPS 126209 WITH SCORE 127023.695
AT ITER 1409 NEW BEST:: SOT 1133647 SOS 814425 HAS SOPS 808748 HAS SOUS 128379 HAS SOUPS 126164 WITH SCORE 126978.425
AT ITER 1426 NEW BEST:: SOT 1133647 SOS 814425 HAS SOPS 808748 HAS SOUS 128303 HAS SOUPS 126088 WITH SCORE 126902.425
AT ITER 1432 NEW BEST:: SOT 1133546 SOS 814324 HAS SOPS 808647 HAS SOUS 127664 HAS SOUPS 125449 WITH SCORE 126263.324
AT ITER 1436 NEW BEST:: SOT 1133546 SOS 814232 HAS SOPS 808551 HAS SOUS 127660 HAS SOUPS 125445 WITH SCORE 126259.232
AT ITER 1441 NEW BEST:: SOT 1133546 SOS 814232 HAS SOPS 808551 HAS SOUS 127654 HAS SOUPS 125439 WITH SCORE 126253.232
AT ITER 1452 NEW BEST:: SOT 1133048 SOS 814130 HAS SOPS 808449 HAS SOUS 127337 HAS SOUPS 125122 WITH SCORE 125936.13
AT ITER 1463 NEW BEST:: SOT 1132850 SOS 813932 HAS SOPS 808251 HAS SOUS 127007 HAS SOUPS 124792 WITH SCORE 125605.932
AT ITER 1476 NEW BEST:: SOT 1132850 SOS 813932 HAS SOPS 808251 HAS SOUS 127004 HAS SOUPS 124789 WITH SCORE 125602.932
AT ITER 1477 NEW BEST:: SOT 1132850 SOS 813960 HAS SOPS 808156 HAS SOUS 127056 HAS SOUPS 124718 WITH SCORE 125531.96
AT ITER 1483 NEW BEST:: SOT 1132811 SOS 813504 HAS SOPS 807697 HAS SOUS 126802 HAS SOUPS 124461 WITH SCORE 125274.504
AT ITER 1488 NEW BEST:: SOT 1132890 SOS 813583 HAS SOPS 807776 HAS SOUS 125431 HAS SOUPS 123090 WITH SCORE 123903.583
AT ITER 1491 NEW BEST:: SOT 1132890 SOS 813464 HAS SOPS 807664 HAS SOUS 125410 HAS SOUPS 123076 WITH SCORE 123889.464
AT ITER 1494 NEW BEST:: SOT 1132890 SOS 811156 HAS SOPS 805492 HAS SOUS 125057 HAS SOUPS 122753 WITH SCORE 123564.156
AT ITER 1497 NEW BEST:: SOT 1132382 SOS 810648 HAS SOPS 804984 HAS SOUS 124714 HAS SOUPS 122410 WITH SCORE 123220.648
AT ITER 1499 NEW BEST:: SOT 1132382 SOS 810452 HAS SOPS 804788 HAS SOUS 124665 HAS SOUPS 122361 WITH SCORE 123171.452
AT ITER 1553 NEW BEST:: SOT 1132733 SOS 810873 HAS SOPS 805209 HAS SOUS 124273 HAS SOUPS 121969 WITH SCORE 122779.873
AT ITER 1573 NEW BEST:: SOT 1133044 SOS 811184 HAS SOPS 805520 HAS SOUS 124181 HAS SOUPS 121877 WITH SCORE 122688.184
AT ITER 1576 NEW BEST:: SOT 1133320 SOS 811346 HAS SOPS 805682 HAS SOUS 124176 HAS SOUPS 121872 WITH SCORE 122683.346
AT ITER 1583 NEW BEST:: SOT 1133316 SOS 811346 HAS SOPS 805682 HAS SOUS 124130 HAS SOUPS 121826 WITH SCORE 122637.346
AT ITER 1618 NEW BEST:: SOT 1133316 SOS 811333 HAS SOPS 805682 HAS SOUS 124117 HAS SOUPS 121826 WITH SCORE 122637.333
AT ITER 1619 NEW BEST:: SOT 1133312 SOS 811442 HAS SOPS 805820 HAS SOUS 123627 HAS SOUPS 121358 WITH SCORE 122169.442
AT ITER 1621 NEW BEST:: SOT 1133584 SOS 810754 HAS SOPS 804876 HAS SOUS 123477 HAS SOUPS 121224 WITH SCORE 122034.754
AT ITER 1624 NEW BEST:: SOT 1133679 SOS 810849 HAS SOPS 804971 HAS SOUS 121944 HAS SOUPS 119691 WITH SCORE 120501.849
AT ITER 1625 NEW BEST:: SOT 1133679 SOS 810873 HAS SOPS 804995 HAS SOUS 121941 HAS SOUPS 119688 WITH SCORE 120498.873
AT ITER 1634 NEW BEST:: SOT 1133612 SOS 810664 HAS SOPS 804960 HAS SOUS 121819 HAS SOUPS 119574 WITH SCORE 120384.664
AT ITER 1635 NEW BEST:: SOT 1137445 SOS 813680 HAS SOPS 808793 HAS SOUS 121255 HAS SOUPS 119048 WITH SCORE 119861.68
AT ITER 1636 NEW BEST:: SOT 1135941 SOS 811901 HAS SOPS 806932 HAS SOUS 121181 HAS SOUPS 118946 WITH SCORE 119757.901
AT ITER 1639 NEW BEST:: SOT 1135941 SOS 834613 HAS SOPS 829644 HAS SOUS 121056 HAS SOUPS 118821 WITH SCORE 119655.613
AT ITER 1644 NEW BEST:: SOT 1135936 SOS 834608 HAS SOPS 829639 HAS SOUS 120943 HAS SOUPS 118708 WITH SCORE 119542.608
AT ITER 1646 NEW BEST:: SOT 1136464 SOS 835136 HAS SOPS 830167 HAS SOUS 120941 HAS SOUPS 118706 WITH SCORE 119541.136
AT ITER 1647 NEW BEST:: SOT 1136328 SOS 835000 HAS SOPS 830031 HAS SOUS 120936 HAS SOUPS 118701 WITH SCORE 119536.0
AT ITER 1657 NEW BEST:: SOT 1136328 SOS 835000 HAS SOPS 830031 HAS SOUS 120224 HAS SOUPS 117989 WITH SCORE 118824.0
AT ITER 1663 NEW BEST:: SOT 1136328 SOS 834988 HAS SOPS 830019 HAS SOUS 120218 HAS SOUPS 117983 WITH SCORE 118817.988
AT ITER 1666 NEW BEST:: SOT 1136839 SOS 835585 HAS SOPS 830616 HAS SOUS 119890 HAS SOUPS 117655 WITH SCORE 118490.585
AT ITER 1678 NEW BEST:: SOT 1138723 SOS 836792 HAS SOPS 831840 HAS SOUS 119549 HAS SOUPS 117331 WITH SCORE 118167.792
AT ITER 1717 NEW BEST:: SOT 1138665 SOS 836734 HAS SOPS 831782 HAS SOUS 119396 HAS SOUPS 117178 WITH SCORE 118014.734
AT ITER 1736 NEW BEST:: SOT 1138665 SOS 835736 HAS SOPS 830902 HAS SOUS 118665 HAS SOUPS 116473 WITH SCORE 117308.736
AT ITER 1743 NEW BEST:: SOT 1138665 SOS 835148 HAS SOPS 830342 HAS SOUS 118644 HAS SOUPS 116452 WITH SCORE 117287.148
AT ITER 1751 NEW BEST:: SOT 1138939 SOS 835422 HAS SOPS 830616 HAS SOUS 118505 HAS SOUPS 116313 WITH SCORE 117148.422
AT ITER 1761 NEW BEST:: SOT 1138939 SOS 835421 HAS SOPS 830615 HAS SOUS 118504 HAS SOUPS 116312 WITH SCORE 117147.421
AT ITER 1762 NEW BEST:: SOT 1138939 SOS 835397 HAS SOPS 830591 HAS SOUS 118504 HAS SOUPS 116312 WITH SCORE 117147.397
AT ITER 1764 NEW BEST:: SOT 1138939 SOS 836517 HAS SOPS 831671 HAS SOUS 118265 HAS SOUPS 116065 WITH SCORE 116901.517
AT ITER 1777 NEW BEST:: SOT 1139359 SOS 836827 HAS SOPS 832091 HAS SOUS 117427 HAS SOUPS 115251 WITH SCORE 116087.827
AT ITER 1864 NEW BEST:: SOT 1139359 SOS 836183 HAS SOPS 831482 HAS SOUS 117378 HAS SOUPS 115237 WITH SCORE 116073.183
AT ITER 1865 NEW BEST:: SOT 1140702 SOS 837607 HAS SOPS 833109 HAS SOUS 116964 HAS SOUPS 115026 WITH SCORE 115863.607
AT ITER 1871 NEW BEST:: SOT 1140702 SOS 838105 HAS SOPS 833607 HAS SOUS 116934 HAS SOUPS 114996 WITH SCORE 115834.105
AT ITER 1877 NEW BEST:: SOT 1140702 SOS 837937 HAS SOPS 833439 HAS SOUS 116934 HAS SOUPS 114996 WITH SCORE 115833.937
AT ITER 1879 NEW BEST:: SOT 1140502 SOS 837737 HAS SOPS 833239 HAS SOUS 116888 HAS SOUPS 114950 WITH SCORE 115787.737
AT ITER 1886 NEW BEST:: SOT 1139909 SOS 837144 HAS SOPS 832646 HAS SOUS 116592 HAS SOUPS 114654 WITH SCORE 115491.144
AT ITER 1887 NEW BEST:: SOT 1139735 SOS 837010 HAS SOPS 832512 HAS SOUS 116454 HAS SOUPS 114516 WITH SCORE 115353.01
AT ITER 1896 NEW BEST:: SOT 1139679 SOS 849453 HAS SOPS 846085 HAS SOUS 116314 HAS SOUPS 114478 WITH SCORE 115327.453
AT ITER 1929 NEW BEST:: SOT 1139720 SOS 849494 HAS SOPS 846126 HAS SOUS 116121 HAS SOUPS 114285 WITH SCORE 115134.494
AT ITER 1932 NEW BEST:: SOT 1139720 SOS 816209 HAS SOPS 812841 HAS SOUS 116139 HAS SOUPS 114303 WITH SCORE 115119.209
AT ITER 1982 NEW BEST:: SOT 1139282 SOS 816783 HAS SOPS 813507 HAS SOUS 115175 HAS SOUPS 113431 WITH SCORE 114247.783
AT ITER 1996 NEW BEST:: SOT 1138693 SOS 816194 HAS SOPS 812918 HAS SOUS 114874 HAS SOUPS 113130 WITH SCORE 113946.194
AT ITER 2008 NEW BEST:: SOT 1138693 SOS 813110 HAS SOPS 809982 HAS SOUS 114757 HAS SOUPS 113013 WITH SCORE 113826.11
AT ITER 2012 NEW BEST:: SOT 1138693 SOS 812966 HAS SOPS 809847 HAS SOUS 114739 HAS SOUPS 113004 WITH SCORE 113816.966
AT ITER 2016 NEW BEST:: SOT 1138693 SOS 812987 HAS SOPS 809871 HAS SOUS 114730 HAS SOUPS 112998 WITH SCORE 113810.987
AT ITER 2025 NEW BEST:: SOT 1138464 SOS 812758 HAS SOPS 809642 HAS SOUS 114391 HAS SOUPS 112659 WITH SCORE 113471.758
AT ITER 2048 NEW BEST:: SOT 1138443 SOS 812737 HAS SOPS 809621 HAS SOUS 114320 HAS SOUPS 112588 WITH SCORE 113400.737
AT ITER 2050 NEW BEST:: SOT 1138443 SOS 812808 HAS SOPS 809709 HAS SOUS 114286 HAS SOUPS 112571 WITH SCORE 113383.808
AT ITER 2051 NEW BEST:: SOT 1138443 SOS 812808 HAS SOPS 809709 HAS SOUS 113950 HAS SOUPS 112235 WITH SCORE 113047.808
AT ITER 2068 NEW BEST:: SOT 1138443 SOS 811098 HAS SOPS 808149 HAS SOUS 113620 HAS SOUPS 111935 WITH SCORE 112746.098
AT ITER 2076 NEW BEST:: SOT 1138443 SOS 811098 HAS SOPS 808149 HAS SOUS 112649 HAS SOUPS 110964 WITH SCORE 111775.098
AT ITER 2078 NEW BEST:: SOT 1138443 SOS 804882 HAS SOPS 801933 HAS SOUS 112639 HAS SOUPS 110954 WITH SCORE 111758.882
AT ITER 2079 NEW BEST:: SOT 1138443 SOS 804882 HAS SOPS 801933 HAS SOUS 112604 HAS SOUPS 110919 WITH SCORE 111723.882
AT ITER 2084 NEW BEST:: SOT 1137195 SOS 804135 HAS SOPS 801294 HAS SOUS 111352 HAS SOUPS 109667 WITH SCORE 110471.135
AT ITER 2106 NEW BEST:: SOT 1137195 SOS 804119 HAS SOPS 801278 HAS SOUS 111344 HAS SOUPS 109659 WITH SCORE 110463.119
AT ITER 2109 NEW BEST:: SOT 1136986 SOS 803910 HAS SOPS 801069 HAS SOUS 110881 HAS SOUPS 109196 WITH SCORE 109999.91
AT ITER 2114 NEW BEST:: SOT 1136901 SOS 803825 HAS SOPS 800984 HAS SOUS 110706 HAS SOUPS 109021 WITH SCORE 109824.825
AT ITER 2137 NEW BEST:: SOT 1136901 SOS 803561 HAS SOPS 800720 HAS SOUS 110706 HAS SOUPS 109021 WITH SCORE 109824.561
AT ITER 2141 NEW BEST:: SOT 1136196 SOS 802910 HAS SOPS 800069 HAS SOUS 110625 HAS SOUPS 108940 WITH SCORE 109742.91
AT ITER 2145 NEW BEST:: SOT 1136686 SOS 803136 HAS SOPS 800295 HAS SOUS 109873 HAS SOUPS 108188 WITH SCORE 108991.136
AT ITER 2148 NEW BEST:: SOT 1136686 SOS 804309 HAS SOPS 801468 HAS SOUS 109822 HAS SOUPS 108137 WITH SCORE 108941.309
AT ITER 2157 NEW BEST:: SOT 1136893 SOS 804516 HAS SOPS 801675 HAS SOUS 109754 HAS SOUPS 108069 WITH SCORE 108873.516
AT ITER 2171 NEW BEST:: SOT 1136893 SOS 804433 HAS SOPS 801563 HAS SOUS 109782 HAS SOUPS 108068 WITH SCORE 108872.433
AT ITER 2175 NEW BEST:: SOT 1136995 SOS 804663 HAS SOPS 801793 HAS SOUS 108967 HAS SOUPS 107253 WITH SCORE 108057.663
AT ITER 2181 NEW BEST:: SOT 1136995 SOS 804608 HAS SOPS 801727 HAS SOUS 108978 HAS SOUPS 107253 WITH SCORE 108057.608
AT ITER 2198 NEW BEST:: SOT 1135722 SOS 803335 HAS SOPS 800454 HAS SOUS 108392 HAS SOUPS 106667 WITH SCORE 107470.335
AT ITER 2203 NEW BEST:: SOT 1135750 SOS 803363 HAS SOPS 800482 HAS SOUS 107748 HAS SOUPS 106023 WITH SCORE 106826.363
AT ITER 2206 NEW BEST:: SOT 1135750 SOS 803353 HAS SOPS 800472 HAS SOUS 107743 HAS SOUPS 106018 WITH SCORE 106821.353
AT ITER 2207 NEW BEST:: SOT 1133240 SOS 786485 HAS SOPS 783538 HAS SOUS 107613 HAS SOUPS 105822 WITH SCORE 106608.485
AT ITER 2211 NEW BEST:: SOT 1133240 SOS 785781 HAS SOPS 782834 HAS SOUS 107613 HAS SOUPS 105822 WITH SCORE 106607.781
AT ITER 2212 NEW BEST:: SOT 1132646 SOS 785136 HAS SOPS 782192 HAS SOUS 107582 HAS SOUPS 105794 WITH SCORE 106579.136
AT ITER 2243 NEW BEST:: SOT 1132683 SOS 785173 HAS SOPS 782229 HAS SOUS 107349 HAS SOUPS 105561 WITH SCORE 106346.173
AT ITER 2248 NEW BEST:: SOT 1132650 SOS 785140 HAS SOPS 782196 HAS SOUS 107234 HAS SOUPS 105446 WITH SCORE 106231.14
AT ITER 2267 NEW BEST:: SOT 1132584 SOS 785074 HAS SOPS 782130 HAS SOUS 107046 HAS SOUPS 105258 WITH SCORE 106043.074
AT ITER 2268 NEW BEST:: SOT 1132584 SOS 791332 HAS SOPS 788388 HAS SOUS 107038 HAS SOUPS 105250 WITH SCORE 106041.332
AT ITER 2278 NEW BEST:: SOT 1132584 SOS 791020 HAS SOPS 788076 HAS SOUS 107038 HAS SOUPS 105250 WITH SCORE 106041.02
AT ITER 2303 NEW BEST:: SOT 1132530 SOS 790976 HAS SOPS 788032 HAS SOUS 106879 HAS SOUPS 105091 WITH SCORE 105881.976
AT ITER 2308 NEW BEST:: SOT 1132746 SOS 791170 HAS SOPS 788248 HAS SOUS 105938 HAS SOUPS 104172 WITH SCORE 104963.17
AT ITER 2333 NEW BEST:: SOT 1132746 SOS 791383 HAS SOPS 788524 HAS SOUS 105816 HAS SOUPS 104113 WITH SCORE 104904.383
AT ITER 2354 NEW BEST:: SOT 1133071 SOS 791816 HAS SOPS 788957 HAS SOUS 105567 HAS SOUPS 103864 WITH SCORE 104655.816
AT ITER 2378 NEW BEST:: SOT 1133071 SOS 791576 HAS SOPS 788717 HAS SOUS 105514 HAS SOUPS 103811 WITH SCORE 104602.576
AT ITER 2398 NEW BEST:: SOT 1132927 SOS 791396 HAS SOPS 788537 HAS SOUS 105364 HAS SOUPS 103661 WITH SCORE 104452.396
AT ITER 2411 NEW BEST:: SOT 1132927 SOS 790688 HAS SOPS 787867 HAS SOUS 105313 HAS SOUPS 103648 WITH SCORE 104438.688
AT ITER 2419 NEW BEST:: SOT 1132927 SOS 790530 HAS SOPS 787709 HAS SOUS 105313 HAS SOUPS 103648 WITH SCORE 104438.53
AT ITER 2433 NEW BEST:: SOT 1132314 SOS 789889 HAS SOPS 787068 HAS SOUS 104875 HAS SOUPS 103210 WITH SCORE 103999.889
AT ITER 2436 NEW BEST:: SOT 1132598 SOS 790187 HAS SOPS 787366 HAS SOUS 104765 HAS SOUPS 103100 WITH SCORE 103890.187
AT ITER 2440 NEW BEST:: SOT 1132598 SOS 790624 HAS SOPS 787803 HAS SOUS 104746 HAS SOUPS 103081 WITH SCORE 103871.624
AT ITER 2443 NEW BEST:: SOT 1132565 SOS 790591 HAS SOPS 787770 HAS SOUS 104678 HAS SOUPS 103013 WITH SCORE 103803.591
AT ITER 2444 NEW BEST:: SOT 1129743 SOS 787677 HAS SOPS 784664 HAS SOUS 104517 HAS SOUPS 102660 WITH SCORE 103447.677
AT ITER 2472 NEW BEST:: SOT 1132474 SOS 790622 HAS SOPS 787635 HAS SOUS 103459 HAS SOUPS 101628 WITH SCORE 102418.622
AT ITER 2481 NEW BEST:: SOT 1132252 SOS 790400 HAS SOPS 787413 HAS SOUS 103308 HAS SOUPS 101477 WITH SCORE 102267.4
AT ITER 2508 NEW BEST:: SOT 1132234 SOS 790382 HAS SOPS 787395 HAS SOUS 103245 HAS SOUPS 101414 WITH SCORE 102204.382
AT ITER 2527 NEW BEST:: SOT 1132695 SOS 790843 HAS SOPS 787856 HAS SOUS 102827 HAS SOUPS 100996 WITH SCORE 101786.843
AT ITER 2533 NEW BEST:: SOT 1132695 SOS 790783 HAS SOPS 787796 HAS SOUS 102824 HAS SOUPS 100993 WITH SCORE 101783.783
AT ITER 2534 NEW BEST:: SOT 1132695 SOS 790654 HAS SOPS 787688 HAS SOUS 102782 HAS SOUPS 100972 WITH SCORE 101762.654
AT ITER 2564 NEW BEST:: SOT 1133504 SOS 791589 HAS SOPS 788623 HAS SOUS 102654 HAS SOUPS 100844 WITH SCORE 101635.589
AT ITER 2578 NEW BEST:: SOT 1133504 SOS 790968 HAS SOPS 788075 HAS SOUS 102514 HAS SOUPS 100777 WITH SCORE 101567.968
AT ITER 2584 NEW BEST:: SOT 1134721 SOS 791107 HAS SOPS 788379 HAS SOUS 101580 HAS SOUPS 100008 WITH SCORE 100799.107
AT ITER 2589 NEW BEST:: SOT 1134721 SOS 791323 HAS SOPS 788595 HAS SOUS 101562 HAS SOUPS 99990 WITH SCORE 100781.323
AT ITER 2595 NEW BEST:: SOT 1134721 SOS 785246 HAS SOPS 782791 HAS SOUS 101369 HAS SOUPS 99797 WITH SCORE 100582.246
AT ITER 2597 NEW BEST:: SOT 1134421 SOS 784946 HAS SOPS 782491 HAS SOUS 101291 HAS SOUPS 99719 WITH SCORE 100503.946
AT ITER 2601 NEW BEST:: SOT 1135440 SOS 785965 HAS SOPS 783510 HAS SOUS 101059 HAS SOUPS 99487 WITH SCORE 100272.965
AT ITER 2603 NEW BEST:: SOT 1135440 SOS 785953 HAS SOPS 783498 HAS SOUS 101029 HAS SOUPS 99457 WITH SCORE 100242.953
AT ITER 2606 NEW BEST:: SOT 1134878 SOS 785615 HAS SOPS 783160 HAS SOUS 100446 HAS SOUPS 98874 WITH SCORE 99659.615
AT ITER 2609 NEW BEST:: SOT 1134647 SOS 785372 HAS SOPS 782917 HAS SOUS 100209 HAS SOUPS 98637 WITH SCORE 99422.372
AT ITER 2612 NEW BEST:: SOT 1134968 SOS 785877 HAS SOPS 783422 HAS SOUS 99722 HAS SOUPS 98150 WITH SCORE 98935.877
AT ITER 2629 NEW BEST:: SOT 1132796 SOS 783705 HAS SOPS 781250 HAS SOUS 99243 HAS SOUPS 97671 WITH SCORE 98454.705
AT ITER 2636 NEW BEST:: SOT 1132796 SOS 783705 HAS SOPS 781250 HAS SOUS 98739 HAS SOUPS 97167 WITH SCORE 97950.705
AT ITER 2643 NEW BEST:: SOT 1132484 SOS 783393 HAS SOPS 780938 HAS SOUS 98597 HAS SOUPS 97025 WITH SCORE 97808.393
AT ITER 2713 NEW BEST:: SOT 1132484 SOS 782505 HAS SOPS 780050 HAS SOUS 98548 HAS SOUPS 96976 WITH SCORE 97758.505
AT ITER 2718 NEW BEST:: SOT 1131341 SOS 613974 HAS SOPS 611512 HAS SOUS 97264 HAS SOUPS 95692 WITH SCORE 96305.974
AT ITER 2723 NEW BEST:: SOT 1131341 SOS 613955 HAS SOPS 611512 HAS SOUS 97244 HAS SOUPS 95691 WITH SCORE 96304.955
AT ITER 2728 NEW BEST:: SOT 1131341 SOS 612796 HAS SOPS 610428 HAS SOUS 97185 HAS SOUPS 95647 WITH SCORE 96259.796
AT ITER 2736 NEW BEST:: SOT 1131341 SOS 614640 HAS SOPS 612272 HAS SOUS 97140 HAS SOUPS 95602 WITH SCORE 96216.64
AT ITER 2742 NEW BEST:: SOT 1131194 SOS 614421 HAS SOPS 612053 HAS SOUS 96821 HAS SOUPS 95283 WITH SCORE 95897.421
AT ITER 2764 NEW BEST:: SOT 1131599 SOS 614826 HAS SOPS 612458 HAS SOUS 96500 HAS SOUPS 94962 WITH SCORE 95576.826
AT ITER 2766 NEW BEST:: SOT 1129705 SOS 612932 HAS SOPS 610564 HAS SOUS 95852 HAS SOUPS 94314 WITH SCORE 94926.932
AT ITER 2768 NEW BEST:: SOT 1129705 SOS 610325 HAS SOPS 608192 HAS SOUS 95038 HAS SOUPS 93547 WITH SCORE 94157.325
AT ITER 2772 NEW BEST:: SOT 1129671 SOS 610291 HAS SOPS 608158 HAS SOUS 95004 HAS SOUPS 93513 WITH SCORE 94123.291
AT ITER 2785 NEW BEST:: SOT 1129671 SOS 609876 HAS SOPS 607716 HAS SOUS 95004 HAS SOUPS 93486 WITH SCORE 94095.876
AT ITER 2786 NEW BEST:: SOT 1129507 SOS 609712 HAS SOPS 607552 HAS SOUS 94801 HAS SOUPS 93283 WITH SCORE 93892.712
AT ITER 2796 NEW BEST:: SOT 1129515 SOS 602962 HAS SOPS 600802 HAS SOUS 94795 HAS SOUPS 93277 WITH SCORE 93879.962
AT ITER 2800 NEW BEST:: SOT 1130172 SOS 603641 HAS SOPS 601503 HAS SOUS 94181 HAS SOUPS 92685 WITH SCORE 93288.641
AT ITER 2823 NEW BEST:: SOT 1130173 SOS 603616 HAS SOPS 601478 HAS SOUS 94179 HAS SOUPS 92683 WITH SCORE 93286.616
AT ITER 2880 NEW BEST:: SOT 1130195 SOS 603638 HAS SOPS 601500 HAS SOUS 93717 HAS SOUPS 92221 WITH SCORE 92824.638
AT ITER 2889 NEW BEST:: SOT 1129808 SOS 603775 HAS SOPS 601590 HAS SOUS 93637 HAS SOUPS 92094 WITH SCORE 92697.775
AT ITER 2890 NEW BEST:: SOT 1128681 SOS 607925 HAS SOPS 605740 HAS SOUS 93412 HAS SOUPS 91869 WITH SCORE 92476.925
AT ITER 2907 NEW BEST:: SOT 1128760 SOS 606835 HAS SOPS 604775 HAS SOUS 92805 HAS SOUPS 91287 WITH SCORE 91893.835
AT ITER 2918 NEW BEST:: SOT 1130165 SOS 610828 HAS SOPS 608768 HAS SOUS 92522 HAS SOUPS 91004 WITH SCORE 91614.828
AT ITER 2925 NEW BEST:: SOT 1130188 SOS 610875 HAS SOPS 608815 HAS SOUS 92270 HAS SOUPS 90752 WITH SCORE 91362.875
AT ITER 2930 NEW BEST:: SOT 1130188 SOS 610872 HAS SOPS 608811 HAS SOUS 92270 HAS SOUPS 90751 WITH SCORE 91361.872
AT ITER 2945 NEW BEST:: SOT 1130188 SOS 610869 HAS SOPS 608811 HAS SOUS 92267 HAS SOUPS 90751 WITH SCORE 91361.869
AT ITER 2962 NEW BEST:: SOT 1130188 SOS 610331 HAS SOPS 608241 HAS SOUS 92264 HAS SOUPS 90716 WITH SCORE 91326.331
AT ITER 2984 NEW BEST:: SOT 1132543 SOS 616362 HAS SOPS 614272 HAS SOUS 92128 HAS SOUPS 90580 WITH SCORE 91196.362
AT ITER 2999 NEW BEST:: SOT 1132397 SOS 616216 HAS SOPS 614126 HAS SOUS 92034 HAS SOUPS 90486 WITH SCORE 91102.216
AT ITER 3010 NEW BEST:: SOT 1131849 SOS 615508 HAS SOPS 613443 HAS SOUS 89424 HAS SOUPS 87894 WITH SCORE 88509.508
AT ITER 3029 NEW BEST:: SOT 1131808 SOS 615467 HAS SOPS 613402 HAS SOUS 89376 HAS SOUPS 87846 WITH SCORE 88461.467
AT ITER 3044 NEW BEST:: SOT 1131537 SOS 615196 HAS SOPS 613131 HAS SOUS 89259 HAS SOUPS 87729 WITH SCORE 88344.196
AT ITER 3050 NEW BEST:: SOT 1131284 SOS 614943 HAS SOPS 612878 HAS SOUS 89200 HAS SOUPS 87670 WITH SCORE 88284.943
AT ITER 3057 NEW BEST:: SOT 1131365 SOS 615034 HAS SOPS 612969 HAS SOUS 89161 HAS SOUPS 87631 WITH SCORE 88246.034
AT ITER 3066 NEW BEST:: SOT 1131320 SOS 614989 HAS SOPS 612924 HAS SOUS 89116 HAS SOUPS 87586 WITH SCORE 88200.989
AT ITER 3078 NEW BEST:: SOT 1131320 SOS 614992 HAS SOPS 612924 HAS SOUS 89116 HAS SOUPS 87583 WITH SCORE 88197.992
AT ITER 3111 NEW BEST:: SOT 1131430 SOS 612872 HAS SOPS 610916 HAS SOUS 88463 HAS SOUPS 86958 WITH SCORE 87570.872
AT ITER 3124 NEW BEST:: SOT 1131430 SOS 612656 HAS SOPS 610700 HAS SOUS 88463 HAS SOUPS 86958 WITH SCORE 87570.656
AT ITER 3153 NEW BEST:: SOT 1131433 SOS 612659 HAS SOPS 610703 HAS SOUS 88396 HAS SOUPS 86891 WITH SCORE 87503.659
AT ITER 3154 NEW BEST:: SOT 1131433 SOS 612637 HAS SOPS 610703 HAS SOUS 88374 HAS SOUPS 86891 WITH SCORE 87503.637
AT ITER 3177 NEW BEST:: SOT 1131433 SOS 612589 HAS SOPS 610655 HAS SOUS 88374 HAS SOUPS 86891 WITH SCORE 87503.589
AT ITER 3196 NEW BEST:: SOT 1130018 SOS 614904 HAS SOPS 612838 HAS SOUS 88256 HAS SOUPS 86641 WITH SCORE 87255.904
AT ITER 3213 NEW BEST:: SOT 1130018 SOS 614852 HAS SOPS 612786 HAS SOUS 88243 HAS SOUPS 86628 WITH SCORE 87242.852
AT ITER 3219 NEW BEST:: SOT 1129286 SOS 614120 HAS SOPS 612054 HAS SOUS 88193 HAS SOUPS 86578 WITH SCORE 87192.12
AT ITER 3223 NEW BEST:: SOT 1129286 SOS 613306 HAS SOPS 611240 HAS SOUS 88193 HAS SOUPS 86578 WITH SCORE 87191.306
AT ITER 3244 NEW BEST:: SOT 1128926 SOS 612946 HAS SOPS 610880 HAS SOUS 88153 HAS SOUPS 86538 WITH SCORE 87150.946
AT ITER 3250 NEW BEST:: SOT 1128926 SOS 612946 HAS SOPS 610880 HAS SOUS 88129 HAS SOUPS 86514 WITH SCORE 87126.946
AT ITER 3254 NEW BEST:: SOT 1128894 SOS 613058 HAS SOPS 610992 HAS SOUS 88116 HAS SOUPS 86501 WITH SCORE 87114.058
AT ITER 3262 NEW BEST:: SOT 1128894 SOS 613098 HAS SOPS 611032 HAS SOUS 88112 HAS SOUPS 86497 WITH SCORE 87110.098
AT ITER 3271 NEW BEST:: SOT 1127710 SOS 611914 HAS SOPS 609848 HAS SOUS 88109 HAS SOUPS 86494 WITH SCORE 87105.914
AT ITER 3273 NEW BEST:: SOT 1127710 SOS 611914 HAS SOPS 609848 HAS SOUS 88071 HAS SOUPS 86456 WITH SCORE 87067.914
AT ITER 3277 NEW BEST:: SOT 1125137 SOS 609341 HAS SOPS 607275 HAS SOUS 88019 HAS SOUPS 86404 WITH SCORE 87013.341
AT ITER 3291 NEW BEST:: SOT 1124912 SOS 609116 HAS SOPS 607050 HAS SOUS 87794 HAS SOUPS 86179 WITH SCORE 86788.116
AT ITER 3324 NEW BEST:: SOT 1124862 SOS 609066 HAS SOPS 607000 HAS SOUS 87729 HAS SOUPS 86114 WITH SCORE 86723.066
AT ITER 3329 NEW BEST:: SOT 1124862 SOS 608898 HAS SOPS 606832 HAS SOUS 87729 HAS SOUPS 86114 WITH SCORE 86722.898
AT ITER 3339 NEW BEST:: SOT 1124862 SOS 607964 HAS SOPS 605848 HAS SOUS 87770 HAS SOUPS 86105 WITH SCORE 86712.964
AT ITER 3377 NEW BEST:: SOT 1124859 SOS 607961 HAS SOPS 605845 HAS SOUS 87666 HAS SOUPS 86001 WITH SCORE 86608.961
AT ITER 3385 NEW BEST:: SOT 1124859 SOS 607961 HAS SOPS 605845 HAS SOUS 87643 HAS SOUPS 85978 WITH SCORE 86585.961
AT ITER 3388 NEW BEST:: SOT 1124878 SOS 607978 HAS SOPS 605864 HAS SOUS 87550 HAS SOUPS 85887 WITH SCORE 86494.978
AT ITER 3428 NEW BEST:: SOT 1124778 SOS 607878 HAS SOPS 605764 HAS SOUS 87538 HAS SOUPS 85875 WITH SCORE 86482.878
AT ITER 3432 NEW BEST:: SOT 1124108 SOS 607208 HAS SOPS 605094 HAS SOUS 87260 HAS SOUPS 85597 WITH SCORE 86204.208
AT ITER 3456 NEW BEST:: SOT 1124108 SOS 607626 HAS SOPS 605512 HAS SOUS 87229 HAS SOUPS 85566 WITH SCORE 86173.626
AT ITER 3512 NEW BEST:: SOT 1122626 SOS 607776 HAS SOPS 605662 HAS SOUS 87165 HAS SOUPS 85502 WITH SCORE 86109.776
AT ITER 3530 NEW BEST:: SOT 1121469 SOS 606619 HAS SOPS 604505 HAS SOUS 86827 HAS SOUPS 85164 WITH SCORE 85770.619
AT ITER 3560 NEW BEST:: SOT 1121548 SOS 606790 HAS SOPS 604676 HAS SOUS 86475 HAS SOUPS 84812 WITH SCORE 85418.79
AT ITER 3570 NEW BEST:: SOT 1121548 SOS 606691 HAS SOPS 604536 HAS SOUS 86475 HAS SOUPS 84771 WITH SCORE 85377.691
AT ITER 3625 NEW BEST:: SOT 1123236 SOS 603367 HAS SOPS 601212 HAS SOUS 86183 HAS SOUPS 84479 WITH SCORE 85082.367
AT ITER 3638 NEW BEST:: SOT 1123560 SOS 612923 HAS SOPS 610768 HAS SOUS 85979 HAS SOUPS 84275 WITH SCORE 84887.923
AT ITER 3670 NEW BEST:: SOT 1123560 SOS 612875 HAS SOPS 610720 HAS SOUS 85979 HAS SOUPS 84275 WITH SCORE 84887.875
AT ITER 3731 NEW BEST:: SOT 1123560 SOS 612860 HAS SOPS 610720 HAS SOUS 85964 HAS SOUPS 84275 WITH SCORE 84887.86
AT ITER 3762 NEW BEST:: SOT 1123556 SOS 612880 HAS SOPS 610740 HAS SOUS 85940 HAS SOUPS 84251 WITH SCORE 84863.88
AT ITER 3773 NEW BEST:: SOT 1123434 SOS 612758 HAS SOPS 610618 HAS SOUS 85926 HAS SOUPS 84237 WITH SCORE 84849.758
AT ITER 3810 NEW BEST:: SOT 1123425 SOS 612749 HAS SOPS 610609 HAS SOUS 85917 HAS SOUPS 84228 WITH SCORE 84840.749
AT ITER 3848 NEW BEST:: SOT 1123465 SOS 612749 HAS SOPS 610609 HAS SOUS 85911 HAS SOUPS 84222 WITH SCORE 84834.749
AT ITER 3867 NEW BEST:: SOT 1123465 SOS 612956 HAS SOPS 610807 HAS SOUS 85911 HAS SOUPS 84213 WITH SCORE 84825.956
AT ITER 3886 NEW BEST:: SOT 1123465 SOS 612454 HAS SOPS 610279 HAS SOUS 85936 HAS SOUPS 84212 WITH SCORE 84824.454
AT ITER 3924 NEW BEST:: SOT 1123649 SOS 612638 HAS SOPS 610463 HAS SOUS 85891 HAS SOUPS 84167 WITH SCORE 84779.638
AT ITER 3959 NEW BEST:: SOT 1123649 SOS 613814 HAS SOPS 611611 HAS SOUS 85898 HAS SOUPS 84146 WITH SCORE 84759.814
AT ITER 3980 NEW BEST:: SOT 1123649 SOS 615062 HAS SOPS 612799 HAS SOUS 85898 HAS SOUPS 84086 WITH SCORE 84701.062
AT ITER 4028 NEW BEST:: SOT 1123649 SOS 615398 HAS SOPS 613111 HAS SOUS 85898 HAS SOUPS 84062 WITH SCORE 84677.398
AT ITER 4045 NEW BEST:: SOT 1123599 SOS 615348 HAS SOPS 613061 HAS SOUS 85891 HAS SOUPS 84055 WITH SCORE 84670.348
AT ITER 4065 NEW BEST:: SOT 1123590 SOS 615347 HAS SOPS 613060 HAS SOUS 85836 HAS SOUPS 84000 WITH SCORE 84615.347
AT ITER 4072 NEW BEST:: SOT 1123590 SOS 615995 HAS SOPS 613681 HAS SOUS 85836 HAS SOUPS 83973 WITH SCORE 84588.995
AT ITER 4092 NEW BEST:: SOT 1123645 SOS 616314 HAS SOPS 614000 HAS SOUS 85786 HAS SOUPS 83923 WITH SCORE 84539.314
AT ITER 4096 NEW BEST:: SOT 1123645 SOS 610673 HAS SOPS 608668 HAS SOUS 85723 HAS SOUPS 83922 WITH SCORE 84532.673
AT ITER 4106 NEW BEST:: SOT 1123645 SOS 612303 HAS SOPS 610298 HAS SOUS 85689 HAS SOUPS 83888 WITH SCORE 84500.303
AT ITER 4185 NEW BEST:: SOT 1123764 SOS 612422 HAS SOPS 610417 HAS SOUS 85615 HAS SOUPS 83814 WITH SCORE 84426.422
AT ITER 4186 NEW BEST:: SOT 1123759 SOS 612417 HAS SOPS 610412 HAS SOUS 85609 HAS SOUPS 83808 WITH SCORE 84420.417
AT ITER 4193 NEW BEST:: SOT 1123759 SOS 612105 HAS SOPS 610100 HAS SOUS 85609 HAS SOUPS 83808 WITH SCORE 84420.105
AT ITER 4207 NEW BEST:: SOT 1123759 SOS 612609 HAS SOPS 610583 HAS SOUS 85609 HAS SOUPS 83787 WITH SCORE 84399.609
AT ITER 4212 NEW BEST:: SOT 1123711 SOS 612561 HAS SOPS 610535 HAS SOUS 85568 HAS SOUPS 83746 WITH SCORE 84358.561
AT ITER 4219 NEW BEST:: SOT 1123711 SOS 612093 HAS SOPS 610067 HAS SOUS 85550 HAS SOUPS 83728 WITH SCORE 84340.093
AT ITER 4261 NEW BEST:: SOT 1123733 SOS 612117 HAS SOPS 610091 HAS SOUS 85549 HAS SOUPS 83727 WITH SCORE 84339.117
AT ITER 4281 NEW BEST:: SOT 1123710 SOS 611105 HAS SOPS 609079 HAS SOUS 85543 HAS SOUPS 83721 WITH SCORE 84332.105
AT ITER 4287 NEW BEST:: SOT 1123090 SOS 610246 HAS SOPS 608219 HAS SOUS 85523 HAS SOUPS 83700 WITH SCORE 84310.246
AT ITER 4297 NEW BEST:: SOT 1123090 SOS 610246 HAS SOPS 608219 HAS SOUS 85502 HAS SOUPS 83679 WITH SCORE 84289.246
AT ITER 4342 NEW BEST:: SOT 1123090 SOS 610822 HAS SOPS 608795 HAS SOUS 85490 HAS SOUPS 83667 WITH SCORE 84277.822
AT ITER 4366 NEW BEST:: SOT 1123624 SOS 612028 HAS SOPS 610073 HAS SOUS 84717 HAS SOUPS 82912 WITH SCORE 83524.028
AT ITER 4384 NEW BEST:: SOT 1123597 SOS 612001 HAS SOPS 610046 HAS SOUS 84717 HAS SOUPS 82912 WITH SCORE 83524.001
AT ITER 4446 NEW BEST:: SOT 1123597 SOS 611891 HAS SOPS 609936 HAS SOUS 84717 HAS SOUPS 82912 WITH SCORE 83523.891
AT ITER 4454 NEW BEST:: SOT 1124297 SOS 613119 HAS SOPS 611164 HAS SOUS 84626 HAS SOUPS 82821 WITH SCORE 83434.119
AT ITER 4491 NEW BEST:: SOT 1124297 SOS 613111 HAS SOPS 611160 HAS SOUS 84622 HAS SOUPS 82821 WITH SCORE 83434.111
AT ITER 4507 NEW BEST:: SOT 1124297 SOS 613110 HAS SOPS 611160 HAS SOUS 84621 HAS SOUPS 82821 WITH SCORE 83434.11
AT ITER 4527 NEW BEST:: SOT 1124320 SOS 613301 HAS SOPS 611351 HAS SOUS 84323 HAS SOUPS 82523 WITH SCORE 83136.301
AT ITER 4535 NEW BEST:: SOT 1122904 SOS 592230 HAS SOPS 590244 HAS SOUS 84276 HAS SOUPS 82467 WITH SCORE 83059.23
AT ITER 4561 NEW BEST:: SOT 1122904 SOS 592194 HAS SOPS 590208 HAS SOUS 84267 HAS SOUPS 82458 WITH SCORE 83050.194
AT ITER 4597 NEW BEST:: SOT 1123398 SOS 592688 HAS SOPS 590702 HAS SOUS 83948 HAS SOUPS 82139 WITH SCORE 82731.688
AT ITER 4639 NEW BEST:: SOT 1123398 SOS 592300 HAS SOPS 590314 HAS SOUS 83898 HAS SOUPS 82089 WITH SCORE 82681.3
AT ITER 4653 NEW BEST:: SOT 1123255 SOS 592257 HAS SOPS 590271 HAS SOUS 83225 HAS SOUPS 81416 WITH SCORE 82008.257
AT ITER 4655 NEW BEST:: SOT 1123255 SOS 592237 HAS SOPS 590251 HAS SOUS 83225 HAS SOUPS 81416 WITH SCORE 82008.237
AT ITER 4668 NEW BEST:: SOT 1123255 SOS 592232 HAS SOPS 590251 HAS SOUS 83220 HAS SOUPS 81416 WITH SCORE 82008.232
AT ITER 4669 NEW BEST:: SOT 1123337 SOS 592314 HAS SOPS 590333 HAS SOUS 82924 HAS SOUPS 81120 WITH SCORE 81712.314
AT ITER 4690 NEW BEST:: SOT 1123337 SOS 592110 HAS SOPS 590141 HAS SOUS 82904 HAS SOUPS 81103 WITH SCORE 81695.11
AT ITER 4731 NEW BEST:: SOT 1122741 SOS 591514 HAS SOPS 589545 HAS SOUS 82902 HAS SOUPS 81101 WITH SCORE 81692.514
AT ITER 4751 NEW BEST:: SOT 1122722 SOS 604003 HAS SOPS 602222 HAS SOUS 82834 HAS SOUPS 81080 WITH SCORE 81684.003
AT ITER 4754 NEW BEST:: SOT 1122491 SOS 603772 HAS SOPS 601991 HAS SOUS 82638 HAS SOUPS 80884 WITH SCORE 81487.772
AT ITER 4760 NEW BEST:: SOT 1122413 SOS 603694 HAS SOPS 601913 HAS SOUS 82636 HAS SOUPS 80882 WITH SCORE 81485.694
AT ITER 4792 NEW BEST:: SOT 1122465 SOS 603746 HAS SOPS 601965 HAS SOUS 82628 HAS SOUPS 80874 WITH SCORE 81477.746
AT ITER 4793 NEW BEST:: SOT 1122465 SOS 603410 HAS SOPS 601629 HAS SOUS 82628 HAS SOUPS 80874 WITH SCORE 81477.41
AT ITER 4798 NEW BEST:: SOT 1122465 SOS 603410 HAS SOPS 601629 HAS SOUS 82624 HAS SOUPS 80870 WITH SCORE 81473.41
AT ITER 4810 NEW BEST:: SOT 1122465 SOS 603801 HAS SOPS 602003 HAS SOUS 82624 HAS SOUPS 80853 WITH SCORE 81456.801
AT ITER 4820 NEW BEST:: SOT 1122465 SOS 604505 HAS SOPS 602707 HAS SOUS 82456 HAS SOUPS 80685 WITH SCORE 81289.505
AT ITER 4881 NEW BEST:: SOT 1122292 SOS 603720 HAS SOPS 601958 HAS SOUS 82122 HAS SOUPS 80360 WITH SCORE 80963.72
AT ITER 4885 NEW BEST:: SOT 1122174 SOS 603986 HAS SOPS 602224 HAS SOUS 82025 HAS SOUPS 80263 WITH SCORE 80866.986
AT ITER 4890 NEW BEST:: SOT 1122174 SOS 604331 HAS SOPS 602554 HAS SOUS 82025 HAS SOUPS 80248 WITH SCORE 80852.331
AT ITER 4894 NEW BEST:: SOT 1122164 SOS 604321 HAS SOPS 602544 HAS SOUS 82017 HAS SOUPS 80240 WITH SCORE 80844.321
AT ITER 4901 NEW BEST:: SOT 1122164 SOS 604585 HAS SOPS 602797 HAS SOUS 82017 HAS SOUPS 80229 WITH SCORE 80833.585
AT ITER 4905 NEW BEST:: SOT 1122379 SOS 604800 HAS SOPS 603012 HAS SOUS 81352 HAS SOUPS 79564 WITH SCORE 80168.8
AT ITER 4927 NEW BEST:: SOT 1122379 SOS 604800 HAS SOPS 603012 HAS SOUS 81346 HAS SOUPS 79558 WITH SCORE 80162.8
AT ITER 4934 NEW BEST:: SOT 1122353 SOS 604774 HAS SOPS 602986 HAS SOUS 81333 HAS SOUPS 79545 WITH SCORE 80149.774
AT ITER 4969 NEW BEST:: SOT 1122062 SOS 604953 HAS SOPS 603276 HAS SOUS 81118 HAS SOUPS 79441 WITH SCORE 80045.953
AT ITER 4977 NEW BEST:: SOT 1120585 SOS 603476 HAS SOPS 601799 HAS SOUS 80403 HAS SOUPS 78726 WITH SCORE 79329.476
AT ITER 5009 NEW BEST:: SOT 1120582 SOS 603473 HAS SOPS 601796 HAS SOUS 80397 HAS SOUPS 78720 WITH SCORE 79323.473
AT ITER 5016 NEW BEST:: SOT 1120474 SOS 603365 HAS SOPS 601688 HAS SOUS 80170 HAS SOUPS 78493 WITH SCORE 79096.365
AT ITER 5025 NEW BEST:: SOT 1120474 SOS 603457 HAS SOPS 601780 HAS SOUS 80168 HAS SOUPS 78491 WITH SCORE 79094.457
AT ITER 5080 NEW BEST:: SOT 1120833 SOS 603816 HAS SOPS 602139 HAS SOUS 80018 HAS SOUPS 78341 WITH SCORE 78944.816
AT ITER 5108 NEW BEST:: SOT 1120761 SOS 603744 HAS SOPS 602067 HAS SOUS 80015 HAS SOUPS 78338 WITH SCORE 78941.744
AT ITER 5163 NEW BEST:: SOT 1120761 SOS 603729 HAS SOPS 602067 HAS SOUS 80000 HAS SOUPS 78338 WITH SCORE 78941.729
AT ITER 5172 NEW BEST:: SOT 1120761 SOS 624441 HAS SOPS 622779 HAS SOUS 79972 HAS SOUPS 78310 WITH SCORE 78934.441
AT ITER 5208 NEW BEST:: SOT 1120761 SOS 624197 HAS SOPS 622419 HAS SOUS 79980 HAS SOUPS 78218 WITH SCORE 78842.197
AT ITER 5242 NEW BEST:: SOT 1120678 SOS 624114 HAS SOPS 622336 HAS SOUS 79835 HAS SOUPS 78073 WITH SCORE 78697.114
AT ITER 5266 NEW BEST:: SOT 1121568 SOS 625004 HAS SOPS 623226 HAS SOUS 79674 HAS SOUPS 77912 WITH SCORE 78537.004
AT ITER 5321 NEW BEST:: SOT 1121721 SOS 625157 HAS SOPS 623379 HAS SOUS 79542 HAS SOUPS 77780 WITH SCORE 78405.157
AT ITER 5338 NEW BEST:: SOT 1121721 SOS 624169 HAS SOPS 622435 HAS SOUS 79469 HAS SOUPS 77751 WITH SCORE 78375.169
AT ITER 5422 NEW BEST:: SOT 1120907 SOS 623401 HAS SOPS 621516 HAS SOUS 79603 HAS SOUPS 77734 WITH SCORE 78357.401
AT ITER 5439 NEW BEST:: SOT 1120561 SOS 623055 HAS SOPS 621170 HAS SOUS 79598 HAS SOUPS 77729 WITH SCORE 78352.055
AT ITER 5467 NEW BEST:: SOT 1120561 SOS 623319 HAS SOPS 621423 HAS SOUS 79598 HAS SOUPS 77718 WITH SCORE 78341.319
AT ITER 5479 NEW BEST:: SOT 1120522 SOS 623280 HAS SOPS 621384 HAS SOUS 79561 HAS SOUPS 77681 WITH SCORE 78304.28
AT ITER 5486 NEW BEST:: SOT 1120366 SOS 623124 HAS SOPS 621228 HAS SOUS 79332 HAS SOUPS 77452 WITH SCORE 78075.124
AT ITER 5519 NEW BEST:: SOT 1120278 SOS 623588 HAS SOPS 621692 HAS SOUS 78980 HAS SOUPS 77100 WITH SCORE 77723.588
AT ITER 5555 NEW BEST:: SOT 1120278 SOS 623558 HAS SOPS 621692 HAS SOUS 78950 HAS SOUPS 77100 WITH SCORE 77723.558
AT ITER 5570 NEW BEST:: SOT 1119960 SOS 623656 HAS SOPS 621790 HAS SOUS 78680 HAS SOUPS 76830 WITH SCORE 77453.656
AT ITER 5585 NEW BEST:: SOT 1119378 SOS 623074 HAS SOPS 621208 HAS SOUS 78304 HAS SOUPS 76454 WITH SCORE 77077.074
AT ITER 5619 NEW BEST:: SOT 1119343 SOS 623039 HAS SOPS 621173 HAS SOUS 78248 HAS SOUPS 76398 WITH SCORE 77021.039
AT ITER 5620 NEW BEST:: SOT 1119168 SOS 622744 HAS SOPS 620878 HAS SOUS 78185 HAS SOUPS 76335 WITH SCORE 76957.744
AT ITER 5631 NEW BEST:: SOT 1118607 SOS 622183 HAS SOPS 620317 HAS SOUS 77904 HAS SOUPS 76054 WITH SCORE 76676.183
AT ITER 5636 NEW BEST:: SOT 1118621 SOS 622197 HAS SOPS 620331 HAS SOUS 77869 HAS SOUPS 76019 WITH SCORE 76641.197
AT ITER 5655 NEW BEST:: SOT 1119021 SOS 623077 HAS SOPS 621211 HAS SOUS 77809 HAS SOUPS 75959 WITH SCORE 76582.077
AT ITER 5671 NEW BEST:: SOT 1119128 SOS 623020 HAS SOPS 621154 HAS SOUS 77647 HAS SOUPS 75797 WITH SCORE 76420.02
AT ITER 5684 NEW BEST:: SOT 1118952 SOS 622844 HAS SOPS 620978 HAS SOUS 77372 HAS SOUPS 75522 WITH SCORE 76144.844
AT ITER 5690 NEW BEST:: SOT 1118952 SOS 622844 HAS SOPS 620978 HAS SOUS 77353 HAS SOUPS 75503 WITH SCORE 76125.844
AT ITER 5762 NEW BEST:: SOT 1119179 SOS 623331 HAS SOPS 621465 HAS SOUS 76926 HAS SOUPS 75076 WITH SCORE 75699.331
AT ITER 5763 NEW BEST:: SOT 1119209 SOS 623361 HAS SOPS 621495 HAS SOUS 76267 HAS SOUPS 74417 WITH SCORE 75040.361
AT ITER 5782 NEW BEST:: SOT 1118822 SOS 622932 HAS SOPS 621066 HAS SOUS 75823 HAS SOUPS 73973 WITH SCORE 74595.932
AT ITER 5794 NEW BEST:: SOT 1118258 SOS 610023 HAS SOPS 607950 HAS SOUS 75269 HAS SOUPS 73411 WITH SCORE 74021.023
AT ITER 5808 NEW BEST:: SOT 1118258 SOS 609867 HAS SOPS 607794 HAS SOUS 75269 HAS SOUPS 73411 WITH SCORE 74020.867
AT ITER 5826 NEW BEST:: SOT 1118144 SOS 611289 HAS SOPS 609216 HAS SOUS 75059 HAS SOUPS 73201 WITH SCORE 73812.289
AT ITER 5841 NEW BEST:: SOT 1118144 SOS 611289 HAS SOPS 609216 HAS SOUS 75035 HAS SOUPS 73177 WITH SCORE 73788.289
AT ITER 5849 NEW BEST:: SOT 1118144 SOS 611274 HAS SOPS 609216 HAS SOUS 75020 HAS SOUPS 73177 WITH SCORE 73788.274
AT ITER 5857 NEW BEST:: SOT 1118144 SOS 612570 HAS SOPS 610512 HAS SOUS 74993 HAS SOUPS 73150 WITH SCORE 73762.57
AT ITER 5889 NEW BEST:: SOT 1117412 SOS 615331 HAS SOPS 613273 HAS SOUS 74584 HAS SOUPS 72741 WITH SCORE 73356.331
AT ITER 5954 NEW BEST:: SOT 1117412 SOS 615091 HAS SOPS 613033 HAS SOUS 74584 HAS SOUPS 72741 WITH SCORE 73356.091
AT ITER 6028 NEW BEST:: SOT 1117412 SOS 615509 HAS SOPS 613451 HAS SOUS 74565 HAS SOUPS 72722 WITH SCORE 73337.509
AT ITER 6092 NEW BEST:: SOT 1117412 SOS 615605 HAS SOPS 613539 HAS SOUS 74565 HAS SOUPS 72714 WITH SCORE 73329.605
AT ITER 6097 NEW BEST:: SOT 1117412 SOS 612197 HAS SOPS 610131 HAS SOUS 74561 HAS SOUPS 72710 WITH SCORE 73322.197
AT ITER 6164 NEW BEST:: SOT 1117412 SOS 612053 HAS SOPS 609987 HAS SOUS 74555 HAS SOUPS 72704 WITH SCORE 73316.053
AT ITER 6181 NEW BEST:: SOT 1117412 SOS 611237 HAS SOPS 609171 HAS SOUS 74555 HAS SOUPS 72704 WITH SCORE 73315.237
AT ITER 6203 NEW BEST:: SOT 1117412 SOS 610757 HAS SOPS 608691 HAS SOUS 74555 HAS SOUPS 72704 WITH SCORE 73314.757
AT ITER 6218 NEW BEST:: SOT 1117412 SOS 610157 HAS SOPS 608091 HAS SOUS 74555 HAS SOUPS 72704 WITH SCORE 73314.157
AT ITER 6275 NEW BEST:: SOT 1117172 SOS 609677 HAS SOPS 607611 HAS SOUS 74521 HAS SOUPS 72670 WITH SCORE 73279.677
AT ITER 6276 NEW BEST:: SOT 1117172 SOS 609634 HAS SOPS 607575 HAS SOUS 74465 HAS SOUPS 72617 WITH SCORE 73226.634
AT ITER 6294 NEW BEST:: SOT 1117310 SOS 609780 HAS SOPS 607929 HAS SOUS 73813 HAS SOUPS 71974 WITH SCORE 72583.78
AT ITER 6351 NEW BEST:: SOT 1116132 SOS 611908 HAS SOPS 610057 HAS SOUS 73809 HAS SOUPS 71970 WITH SCORE 72581.908
AT ITER 6361 NEW BEST:: SOT 1116607 SOS 612383 HAS SOPS 610532 HAS SOUS 73785 HAS SOUPS 71946 WITH SCORE 72558.383
AT ITER 6404 NEW BEST:: SOT 1116427 SOS 612203 HAS SOPS 610352 HAS SOUS 73677 HAS SOUPS 71838 WITH SCORE 72450.203
AT ITER 6482 NEW BEST:: SOT 1116416 SOS 612162 HAS SOPS 610311 HAS SOUS 73651 HAS SOUPS 71812 WITH SCORE 72424.162
AT ITER 6504 NEW BEST:: SOT 1116304 SOS 612881 HAS SOPS 611030 HAS SOUS 73588 HAS SOUPS 71749 WITH SCORE 72361.881
AT ITER 6505 NEW BEST:: SOT 1116364 SOS 612941 HAS SOPS 610634 HAS SOUS 73997 HAS SOUPS 71702 WITH SCORE 72314.941
AT ITER 6516 NEW BEST:: SOT 1116530 SOS 613107 HAS SOPS 610800 HAS SOUS 73818 HAS SOUPS 71523 WITH SCORE 72136.107
AT ITER 6524 NEW BEST:: SOT 1116325 SOS 612902 HAS SOPS 610595 HAS SOUS 73715 HAS SOUPS 71420 WITH SCORE 72032.902
AT ITER 6545 NEW BEST:: SOT 1116222 SOS 612799 HAS SOPS 610492 HAS SOUS 73485 HAS SOUPS 71190 WITH SCORE 71802.799
AT ITER 6590 NEW BEST:: SOT 1116222 SOS 596472 HAS SOPS 594124 HAS SOUS 73532 HAS SOUPS 71196 WITH SCORE 71792.472
AT ITER 6614 NEW BEST:: SOT 1115799 SOS 596049 HAS SOPS 593701 HAS SOUS 73478 HAS SOUPS 71142 WITH SCORE 71738.049
AT ITER 6619 NEW BEST:: SOT 1115751 SOS 596001 HAS SOPS 593653 HAS SOUS 73379 HAS SOUPS 71043 WITH SCORE 71639.001
AT ITER 6624 NEW BEST:: SOT 1115747 SOS 595997 HAS SOPS 593649 HAS SOUS 73369 HAS SOUPS 71033 WITH SCORE 71628.997
AT ITER 6626 NEW BEST:: SOT 1114927 SOS 599185 HAS SOPS 596837 HAS SOUS 72707 HAS SOUPS 70371 WITH SCORE 70970.185
AT ITER 6642 NEW BEST:: SOT 1114927 SOS 599065 HAS SOPS 596717 HAS SOUS 72707 HAS SOUPS 70371 WITH SCORE 70970.065
AT ITER 6643 NEW BEST:: SOT 1114927 SOS 597181 HAS SOPS 594833 HAS SOUS 72703 HAS SOUPS 70367 WITH SCORE 70964.181
AT ITER 6650 NEW BEST:: SOT 1114927 SOS 596941 HAS SOPS 594593 HAS SOUS 72703 HAS SOUPS 70367 WITH SCORE 70963.941
AT ITER 6763 NEW BEST:: SOT 1114927 SOS 597148 HAS SOPS 594789 HAS SOUS 72703 HAS SOUPS 70356 WITH SCORE 70953.148
AT ITER 6771 NEW BEST:: SOT 1115058 SOS 597279 HAS SOPS 594920 HAS SOUS 72559 HAS SOUPS 70212 WITH SCORE 70809.279
AT ITER 6801 NEW BEST:: SOT 1114441 SOS 596736 HAS SOPS 594377 HAS SOUS 72538 HAS SOUPS 70191 WITH SCORE 70787.736
AT ITER 6809 NEW BEST:: SOT 1114441 SOS 597048 HAS SOPS 594689 HAS SOUS 72322 HAS SOUPS 69975 WITH SCORE 70572.048
AT ITER 6821 NEW BEST:: SOT 1114441 SOS 597040 HAS SOPS 594689 HAS SOUS 72314 HAS SOUPS 69975 WITH SCORE 70572.04
AT ITER 6826 NEW BEST:: SOT 1114078 SOS 596709 HAS SOPS 594358 HAS SOUS 71929 HAS SOUPS 69590 WITH SCORE 70186.709
AT ITER 6828 NEW BEST:: SOT 1114078 SOS 596709 HAS SOPS 594358 HAS SOUS 71880 HAS SOUPS 69541 WITH SCORE 70137.709
AT ITER 6859 NEW BEST:: SOT 1114078 SOS 596469 HAS SOPS 594118 HAS SOUS 71880 HAS SOUPS 69541 WITH SCORE 70137.469
AT ITER 6860 NEW BEST:: SOT 1114078 SOS 596463 HAS SOPS 594110 HAS SOUS 71880 HAS SOUPS 69539 WITH SCORE 70135.463
AT ITER 6894 NEW BEST:: SOT 1114078 SOS 596703 HAS SOPS 594345 HAS SOUS 71880 HAS SOUPS 69534 WITH SCORE 70130.703
AT ITER 6931 NEW BEST:: SOT 1114078 SOS 596703 HAS SOPS 594345 HAS SOUS 71877 HAS SOUPS 69531 WITH SCORE 70127.703
AT ITER 6947 NEW BEST:: SOT 1114078 SOS 596541 HAS SOPS 594192 HAS SOUS 71868 HAS SOUPS 69531 WITH SCORE 70127.541
AT ITER 6964 NEW BEST:: SOT 1113928 SOS 596391 HAS SOPS 594042 HAS SOUS 71856 HAS SOUPS 69519 WITH SCORE 70115.391
AT ITER 6977 NEW BEST:: SOT 1113846 SOS 596281 HAS SOPS 593932 HAS SOUS 71832 HAS SOUPS 69495 WITH SCORE 70091.281
AT ITER 6981 NEW BEST:: SOT 1113846 SOS 596170 HAS SOPS 593840 HAS SOUS 71629 HAS SOUPS 69299 WITH SCORE 69895.17
AT ITER 7008 NEW BEST:: SOT 1113882 SOS 596218 HAS SOPS 593888 HAS SOUS 71602 HAS SOUPS 69272 WITH SCORE 69868.218
AT ITER 7035 NEW BEST:: SOT 1113882 SOS 596195 HAS SOPS 593864 HAS SOUS 71603 HAS SOUPS 69272 WITH SCORE 69868.195
AT ITER 7153 NEW BEST:: SOT 1113882 SOS 596027 HAS SOPS 593696 HAS SOUS 71603 HAS SOUPS 69272 WITH SCORE 69868.027
AT ITER 7161 NEW BEST:: SOT 1113866 SOS 596011 HAS SOPS 593680 HAS SOUS 71587 HAS SOUPS 69256 WITH SCORE 69852.011
AT ITER 7162 NEW BEST:: SOT 1114242 SOS 596499 HAS SOPS 594168 HAS SOUS 71474 HAS SOUPS 69143 WITH SCORE 69739.499
AT ITER 7165 NEW BEST:: SOT 1114242 SOS 596421 HAS SOPS 594090 HAS SOUS 71471 HAS SOUPS 69140 WITH SCORE 69736.421
AT ITER 7246 NEW BEST:: SOT 1114184 SOS 596363 HAS SOPS 594032 HAS SOUS 71357 HAS SOUPS 69026 WITH SCORE 69622.363
AT ITER 7258 NEW BEST:: SOT 1114184 SOS 596285 HAS SOPS 593960 HAS SOUS 71351 HAS SOUPS 69026 WITH SCORE 69622.285
AT ITER 7260 NEW BEST:: SOT 1114168 SOS 596269 HAS SOPS 593944 HAS SOUS 71318 HAS SOUPS 68993 WITH SCORE 69589.269
AT ITER 7334 NEW BEST:: SOT 1114168 SOS 600205 HAS SOPS 597880 HAS SOUS 71303 HAS SOUPS 68978 WITH SCORE 69578.205
AT ITER 7350 NEW BEST:: SOT 1114152 SOS 600189 HAS SOPS 597864 HAS SOUS 71228 HAS SOUPS 68903 WITH SCORE 69503.189
AT ITER 7389 NEW BEST:: SOT 1112440 SOS 602029 HAS SOPS 599670 HAS SOUS 70620 HAS SOUPS 68261 WITH SCORE 68863.029
AT ITER 7418 NEW BEST:: SOT 1112440 SOS 602001 HAS SOPS 599642 HAS SOUS 70620 HAS SOUPS 68261 WITH SCORE 68863.001
AT ITER 7419 NEW BEST:: SOT 1112440 SOS 601265 HAS SOPS 598874 HAS SOUS 70652 HAS SOUPS 68261 WITH SCORE 68862.265
AT ITER 7423 NEW BEST:: SOT 1112409 SOS 601234 HAS SOPS 598843 HAS SOUS 70648 HAS SOUPS 68257 WITH SCORE 68858.234
AT ITER 7447 NEW BEST:: SOT 1112409 SOS 601114 HAS SOPS 598723 HAS SOUS 70648 HAS SOUPS 68257 WITH SCORE 68858.114
AT ITER 7452 NEW BEST:: SOT 1112409 SOS 600835 HAS SOPS 598459 HAS SOUS 70633 HAS SOUPS 68257 WITH SCORE 68857.835
AT ITER 7460 NEW BEST:: SOT 1112409 SOS 600835 HAS SOPS 598459 HAS SOUS 70600 HAS SOUPS 68224 WITH SCORE 68824.835
AT ITER 7477 NEW BEST:: SOT 1112414 SOS 600840 HAS SOPS 598464 HAS SOUS 70504 HAS SOUPS 68128 WITH SCORE 68728.84
AT ITER 7483 NEW BEST:: SOT 1111905 SOS 599707 HAS SOPS 597331 HAS SOUS 70497 HAS SOUPS 68121 WITH SCORE 68720.707
AT ITER 7498 NEW BEST:: SOT 1111905 SOS 599701 HAS SOPS 597331 HAS SOUS 70491 HAS SOUPS 68121 WITH SCORE 68720.701
AT ITER 7520 NEW BEST:: SOT 1111439 SOS 599287 HAS SOPS 596917 HAS SOUS 70056 HAS SOUPS 67686 WITH SCORE 68285.287
AT ITER 7531 NEW BEST:: SOT 1111439 SOS 599287 HAS SOPS 596917 HAS SOUS 69958 HAS SOUPS 67588 WITH SCORE 68187.287
AT ITER 7571 NEW BEST:: SOT 1111431 SOS 599652 HAS SOPS 597282 HAS SOUS 69952 HAS SOUPS 67582 WITH SCORE 68181.652
AT ITER 7593 NEW BEST:: SOT 1109559 SOS 594996 HAS SOPS 592626 HAS SOUS 69899 HAS SOUPS 67529 WITH SCORE 68123.996
AT ITER 7633 NEW BEST:: SOT 1109559 SOS 593602 HAS SOPS 591186 HAS SOUS 69938 HAS SOUPS 67522 WITH SCORE 68115.602
AT ITER 7683 NEW BEST:: SOT 1109564 SOS 593612 HAS SOPS 591176 HAS SOUS 69948 HAS SOUPS 67512 WITH SCORE 68105.612
AT ITER 7686 NEW BEST:: SOT 1109564 SOS 592812 HAS SOPS 590408 HAS SOUS 69916 HAS SOUPS 67512 WITH SCORE 68104.812
AT ITER 7751 NEW BEST:: SOT 1109284 SOS 592532 HAS SOPS 590128 HAS SOUS 69669 HAS SOUPS 67265 WITH SCORE 67857.532
AT ITER 7752 NEW BEST:: SOT 1109284 SOS 592532 HAS SOPS 590128 HAS SOUS 69666 HAS SOUPS 67262 WITH SCORE 67854.532
AT ITER 7771 NEW BEST:: SOT 1109276 SOS 592464 HAS SOPS 590060 HAS SOUS 69650 HAS SOUPS 67246 WITH SCORE 67838.464
AT ITER 7780 NEW BEST:: SOT 1109276 SOS 592267 HAS SOPS 589862 HAS SOUS 69650 HAS SOUPS 67245 WITH SCORE 67837.267
AT ITER 7785 NEW BEST:: SOT 1109254 SOS 598640 HAS SOPS 596235 HAS SOUS 69627 HAS SOUPS 67222 WITH SCORE 67820.64
AT ITER 7797 NEW BEST:: SOT 1109254 SOS 597964 HAS SOPS 595559 HAS SOUS 69623 HAS SOUPS 67218 WITH SCORE 67815.964
AT ITER 7809 NEW BEST:: SOT 1109254 SOS 597964 HAS SOPS 595559 HAS SOUS 69618 HAS SOUPS 67213 WITH SCORE 67810.964
AT ITER 7837 NEW BEST:: SOT 1109254 SOS 597964 HAS SOPS 595559 HAS SOUS 69614 HAS SOUPS 67209 WITH SCORE 67806.964
AT ITER 7864 NEW BEST:: SOT 1109258 SOS 597968 HAS SOPS 595563 HAS SOUS 69518 HAS SOUPS 67113 WITH SCORE 67710.968
AT ITER 7933 NEW BEST:: SOT 1109258 SOS 597957 HAS SOPS 595563 HAS SOUS 69507 HAS SOUPS 67113 WITH SCORE 67710.957
AT ITER 7952 NEW BEST:: SOT 1109258 SOS 598001 HAS SOPS 595607 HAS SOUS 69506 HAS SOUPS 67112 WITH SCORE 67710.001
AT ITER 7994 NEW BEST:: SOT 1109273 SOS 598016 HAS SOPS 595622 HAS SOUS 69504 HAS SOUPS 67110 WITH SCORE 67708.016
AT ITER 8072 NEW BEST:: SOT 1109273 SOS 598016 HAS SOPS 595622 HAS SOUS 69499 HAS SOUPS 67105 WITH SCORE 67703.016
AT ITER 8082 NEW BEST:: SOT 1109273 SOS 598390 HAS SOPS 595996 HAS SOUS 69488 HAS SOUPS 67094 WITH SCORE 67692.39
AT ITER 8085 NEW BEST:: SOT 1107943 SOS 602268 HAS SOPS 599874 HAS SOUS 69339 HAS SOUPS 66945 WITH SCORE 67547.268
AT ITER 8127 NEW BEST:: SOT 1107614 SOS 594283 HAS SOPS 591889 HAS SOUS 69316 HAS SOUPS 66922 WITH SCORE 67516.283
AT ITER 8128 NEW BEST:: SOT 1107614 SOS 594283 HAS SOPS 591889 HAS SOUS 69268 HAS SOUPS 66874 WITH SCORE 67468.283
AT ITER 8150 NEW BEST:: SOT 1107598 SOS 594245 HAS SOPS 591851 HAS SOUS 69252 HAS SOUPS 66858 WITH SCORE 67452.245
AT ITER 8169 NEW BEST:: SOT 1107111 SOS 595486 HAS SOPS 593067 HAS SOUS 68669 HAS SOUPS 66250 WITH SCORE 66845.486
AT ITER 8197 NEW BEST:: SOT 1107141 SOS 595406 HAS SOPS 592987 HAS SOUS 68664 HAS SOUPS 66245 WITH SCORE 66840.406
AT ITER 8215 NEW BEST:: SOT 1107230 SOS 595509 HAS SOPS 593090 HAS SOUS 68627 HAS SOUPS 66208 WITH SCORE 66803.509
AT ITER 8258 NEW BEST:: SOT 1107230 SOS 595490 HAS SOPS 593090 HAS SOUS 68608 HAS SOUPS 66208 WITH SCORE 66803.49
AT ITER 8276 NEW BEST:: SOT 1107158 SOS 595418 HAS SOPS 593018 HAS SOUS 68597 HAS SOUPS 66197 WITH SCORE 66792.418
AT ITER 8281 NEW BEST:: SOT 1107059 SOS 593876 HAS SOPS 591476 HAS SOUS 68588 HAS SOUPS 66188 WITH SCORE 66781.876
AT ITER 8310 NEW BEST:: SOT 1106981 SOS 593798 HAS SOPS 591398 HAS SOUS 68396 HAS SOUPS 65996 WITH SCORE 66589.798
AT ITER 8399 NEW BEST:: SOT 1107101 SOS 594062 HAS SOPS 591662 HAS SOUS 68378 HAS SOUPS 65978 WITH SCORE 66572.062
AT ITER 8406 NEW BEST:: SOT 1107101 SOS 594062 HAS SOPS 591662 HAS SOUS 68367 HAS SOUPS 65967 WITH SCORE 66561.062
AT ITER 8411 NEW BEST:: SOT 1107101 SOS 593534 HAS SOPS 591134 HAS SOUS 68367 HAS SOUPS 65967 WITH SCORE 66560.534
AT ITER 8424 NEW BEST:: SOT 1107101 SOS 593517 HAS SOPS 591134 HAS SOUS 68350 HAS SOUPS 65967 WITH SCORE 66560.517
AT ITER 8490 NEW BEST:: SOT 1107101 SOS 593486 HAS SOPS 591158 HAS SOUS 68295 HAS SOUPS 65967 WITH SCORE 66560.486
AT ITER 8494 NEW BEST:: SOT 1107101 SOS 593402 HAS SOPS 591074 HAS SOUS 68295 HAS SOUPS 65967 WITH SCORE 66560.402
AT ITER 8504 NEW BEST:: SOT 1106476 SOS 592177 HAS SOPS 589849 HAS SOUS 68270 HAS SOUPS 65942 WITH SCORE 66534.177
AT ITER 8506 NEW BEST:: SOT 1106476 SOS 592177 HAS SOPS 589849 HAS SOUS 68246 HAS SOUPS 65918 WITH SCORE 66510.177
AT ITER 8517 NEW BEST:: SOT 1106395 SOS 592328 HAS SOPS 590000 HAS SOUS 68196 HAS SOUPS 65868 WITH SCORE 66460.328
AT ITER 8533 NEW BEST:: SOT 1106396 SOS 591992 HAS SOPS 589664 HAS SOUS 68196 HAS SOUPS 65868 WITH SCORE 66459.992
AT ITER 8548 NEW BEST:: SOT 1106396 SOS 591992 HAS SOPS 589664 HAS SOUS 68128 HAS SOUPS 65800 WITH SCORE 66391.992
AT ITER 8600 NEW BEST:: SOT 1106396 SOS 591833 HAS SOPS 589496 HAS SOUS 68137 HAS SOUPS 65800 WITH SCORE 66391.833
AT ITER 8614 NEW BEST:: SOT 1106378 SOS 591815 HAS SOPS 589478 HAS SOUS 68119 HAS SOUPS 65782 WITH SCORE 66373.815
AT ITER 8662 NEW BEST:: SOT 1106028 SOS 588273 HAS SOPS 585936 HAS SOUS 67779 HAS SOUPS 65442 WITH SCORE 66030.273
AT ITER 8721 NEW BEST:: SOT 1106137 SOS 588382 HAS SOPS 586045 HAS SOUS 67763 HAS SOUPS 65426 WITH SCORE 66014.382
AT ITER 8780 NEW BEST:: SOT 1106137 SOS 588382 HAS SOPS 586045 HAS SOUS 67715 HAS SOUPS 65378 WITH SCORE 65966.382
AT ITER 8839 NEW BEST:: SOT 1106153 SOS 588175 HAS SOPS 585838 HAS SOUS 67695 HAS SOUPS 65358 WITH SCORE 65946.175
AT ITER 8882 NEW BEST:: SOT 1106096 SOS 588118 HAS SOPS 585781 HAS SOUS 67681 HAS SOUPS 65344 WITH SCORE 65932.118
AT ITER 8892 NEW BEST:: SOT 1105886 SOS 587908 HAS SOPS 585571 HAS SOUS 67432 HAS SOUPS 65095 WITH SCORE 65682.908
AT ITER 8899 NEW BEST:: SOT 1106081 SOS 588103 HAS SOPS 585766 HAS SOUS 67313 HAS SOUPS 64976 WITH SCORE 65564.103
AT ITER 8941 NEW BEST:: SOT 1106066 SOS 588088 HAS SOPS 585799 HAS SOUS 67259 HAS SOUPS 64970 WITH SCORE 65558.088
AT ITER 8983 NEW BEST:: SOT 1106066 SOS 588086 HAS SOPS 585797 HAS SOUS 67259 HAS SOUPS 64970 WITH SCORE 65558.086
AT ITER 9002 NEW BEST:: SOT 1105812 SOS 587832 HAS SOPS 585543 HAS SOUS 67138 HAS SOUPS 64849 WITH SCORE 65436.832
AT ITER 9009 NEW BEST:: SOT 1105337 SOS 587211 HAS SOPS 584922 HAS SOUS 67090 HAS SOUPS 64801 WITH SCORE 65388.211
AT ITER 9035 NEW BEST:: SOT 1105605 SOS 587479 HAS SOPS 585190 HAS SOUS 67081 HAS SOUPS 64792 WITH SCORE 65379.479
AT ITER 9135 NEW BEST:: SOT 1105618 SOS 587492 HAS SOPS 585203 HAS SOUS 67041 HAS SOUPS 64752 WITH SCORE 65339.492
AT ITER 9196 NEW BEST:: SOT 1105618 SOS 587418 HAS SOPS 585083 HAS SOUS 67087 HAS SOUPS 64752 WITH SCORE 65339.418
AT ITER 9244 NEW BEST:: SOT 1105618 SOS 586818 HAS SOPS 584483 HAS SOUS 67087 HAS SOUPS 64752 WITH SCORE 65338.818
AT ITER 9276 NEW BEST:: SOT 1105399 SOS 586599 HAS SOPS 584264 HAS SOUS 66848 HAS SOUPS 64513 WITH SCORE 65099.599
AT ITER 9351 NEW BEST:: SOT 1105409 SOS 586629 HAS SOPS 584294 HAS SOUS 66800 HAS SOUPS 64465 WITH SCORE 65051.629
AT ITER 9388 NEW BEST:: SOT 1105589 SOS 587025 HAS SOPS 584690 HAS SOUS 66764 HAS SOUPS 64429 WITH SCORE 65016.025
AT ITER 9396 NEW BEST:: SOT 1105830 SOS 586422 HAS SOPS 584087 HAS SOUS 66716 HAS SOUPS 64381 WITH SCORE 64967.422
AT ITER 9432 NEW BEST:: SOT 1105696 SOS 586288 HAS SOPS 583953 HAS SOUS 66473 HAS SOUPS 64138 WITH SCORE 64724.288
AT ITER 9453 NEW BEST:: SOT 1105781 SOS 586383 HAS SOPS 584048 HAS SOUS 66433 HAS SOUPS 64098 WITH SCORE 64684.383
AT ITER 9484 NEW BEST:: SOT 1105781 SOS 586258 HAS SOPS 583928 HAS SOUS 66428 HAS SOUPS 64098 WITH SCORE 64684.258
AT ITER 9569 NEW BEST:: SOT 1106306 SOS 587599 HAS SOPS 585269 HAS SOUS 66415 HAS SOUPS 64085 WITH SCORE 64672.599
AT ITER 9588 NEW BEST:: SOT 1106306 SOS 587346 HAS SOPS 585005 HAS SOUS 66426 HAS SOUPS 64085 WITH SCORE 64672.346
AT ITER 9652 NEW BEST:: SOT 1105502 SOS 590452 HAS SOPS 588111 HAS SOUS 65435 HAS SOUPS 63094 WITH SCORE 63684.452
AT ITER 9653 NEW BEST:: SOT 1104539 SOS 589489 HAS SOPS 587148 HAS SOUS 65091 HAS SOUPS 62750 WITH SCORE 63339.489
AT ITER 9771 NEW BEST:: SOT 1104539 SOS 589513 HAS SOPS 587172 HAS SOUS 65065 HAS SOUPS 62724 WITH SCORE 63313.513
AT ITER 9897 NEW BEST:: SOT 1104539 SOS 589345 HAS SOPS 587004 HAS SOUS 65065 HAS SOUPS 62724 WITH SCORE 63313.345
AT ITER 9924 NEW BEST:: SOT 1104329 SOS 589071 HAS SOPS 586730 HAS SOUS 65030 HAS SOUPS 62689 WITH SCORE 63278.071
AT ITER 9934 NEW BEST:: SOT 1103504 SOS 587454 HAS SOPS 585113 HAS SOUS 64996 HAS SOUPS 62655 WITH SCORE 63242.454

BK_STOP 1678625480689

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

ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 34559
double free or corruption (out)
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 370 Aborted ${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-20"
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-20, 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-167856410900728"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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