fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r227-tall-167856410800656
Last Updated
May 14, 2023

About the Execution of Smart for Medical-PT-02

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9535.327 3600000.00 3600130.00 30.00 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 12K Feb 25 14:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 25 14:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 14:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 14:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678621346601

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-02
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 02
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 1171486 SOS 641554 HAS SOPS 638458 HAS SOUS 255907 HAS SOUPS 253090 WITH SCORE 253731.554
AT ITER 5 NEW BEST:: SOT 1171164 SOS 641232 HAS SOPS 638136 HAS SOUS 255272 HAS SOUPS 252455 WITH SCORE 253096.232
AT ITER 17 NEW BEST:: SOT 1148292 SOS 824979 HAS SOPS 823248 HAS SOUS 233057 HAS SOUPS 231326 WITH SCORE 232150.979
AT ITER 31 NEW BEST:: SOT 1131888 SOS 808655 HAS SOPS 806946 HAS SOUS 210368 HAS SOUPS 208659 WITH SCORE 209467.655
AT ITER 34 NEW BEST:: SOT 1131888 SOS 808655 HAS SOPS 806946 HAS SOUS 209793 HAS SOUPS 208084 WITH SCORE 208892.655
AT ITER 36 NEW BEST:: SOT 1131038 SOS 807788 HAS SOPS 806096 HAS SOUS 208146 HAS SOUPS 206454 WITH SCORE 207261.788
AT ITER 49 NEW BEST:: SOT 1130043 SOS 808021 HAS SOPS 806329 HAS SOUS 208017 HAS SOUPS 206325 WITH SCORE 207133.021
AT ITER 56 NEW BEST:: SOT 1129822 SOS 807800 HAS SOPS 806108 HAS SOUS 207760 HAS SOUPS 206068 WITH SCORE 206875.8
AT ITER 57 NEW BEST:: SOT 1132031 SOS 814195 HAS SOPS 812349 HAS SOUS 207806 HAS SOUPS 205960 WITH SCORE 206774.195
AT ITER 58 NEW BEST:: SOT 1134789 SOS 816937 HAS SOPS 815107 HAS SOUS 204557 HAS SOUPS 202727 WITH SCORE 203543.937
AT ITER 59 NEW BEST:: SOT 1134789 SOS 817645 HAS SOPS 814663 HAS SOUS 204568 HAS SOUPS 201586 WITH SCORE 202403.645
AT ITER 60 NEW BEST:: SOT 1133889 SOS 816745 HAS SOPS 813763 HAS SOUS 204137 HAS SOUPS 201155 WITH SCORE 201971.745
AT ITER 69 NEW BEST:: SOT 1133889 SOS 816756 HAS SOPS 813763 HAS SOUS 204137 HAS SOUPS 201144 WITH SCORE 201960.756
AT ITER 70 NEW BEST:: SOT 1133889 SOS 816772 HAS SOPS 813763 HAS SOUS 204009 HAS SOUPS 201000 WITH SCORE 201816.772
AT ITER 78 NEW BEST:: SOT 1133889 SOS 816772 HAS SOPS 813763 HAS SOUS 204007 HAS SOUPS 200998 WITH SCORE 201814.772
AT ITER 79 NEW BEST:: SOT 1133883 SOS 816719 HAS SOPS 813757 HAS SOUS 203211 HAS SOUPS 200249 WITH SCORE 201065.719
AT ITER 89 NEW BEST:: SOT 1134127 SOS 816963 HAS SOPS 814001 HAS SOUS 202503 HAS SOUPS 199541 WITH SCORE 200357.963
AT ITER 91 NEW BEST:: SOT 1134101 SOS 816931 HAS SOPS 813969 HAS SOUS 202477 HAS SOUPS 199515 WITH SCORE 200331.931
AT ITER 93 NEW BEST:: SOT 1133642 SOS 816425 HAS SOPS 813448 HAS SOUS 201310 HAS SOUPS 198348 WITH SCORE 199164.425
AT ITER 97 NEW BEST:: SOT 1133048 SOS 815783 HAS SOPS 812806 HAS SOUS 201196 HAS SOUPS 198234 WITH SCORE 199049.783
AT ITER 100 NEW BEST:: SOT 1133048 SOS 816983 HAS SOPS 814006 HAS SOUS 200900 HAS SOUPS 197938 WITH SCORE 198754.983
AT ITER 108 NEW BEST:: SOT 1133048 SOS 817489 HAS SOPS 814534 HAS SOUS 200785 HAS SOUPS 197845 WITH SCORE 198662.489
AT ITER 111 NEW BEST:: SOT 1130724 SOS 815165 HAS SOPS 812210 HAS SOUS 200625 HAS SOUPS 197685 WITH SCORE 198500.165
AT ITER 115 NEW BEST:: SOT 1130724 SOS 815786 HAS SOPS 812858 HAS SOUS 200479 HAS SOUPS 197566 WITH SCORE 198381.786
AT ITER 120 NEW BEST:: SOT 1130724 SOS 831026 HAS SOPS 828062 HAS SOUS 200479 HAS SOUPS 197530 WITH SCORE 198361.026
AT ITER 127 NEW BEST:: SOT 1130724 SOS 828794 HAS SOPS 825830 HAS SOUS 200479 HAS SOUPS 197530 WITH SCORE 198358.794
AT ITER 128 NEW BEST:: SOT 1131693 SOS 827603 HAS SOPS 824639 HAS SOUS 198812 HAS SOUPS 195863 WITH SCORE 196690.603
AT ITER 137 NEW BEST:: SOT 1132743 SOS 828704 HAS SOPS 825740 HAS SOUS 198361 HAS SOUPS 195412 WITH SCORE 196240.704
AT ITER 143 NEW BEST:: SOT 1133682 SOS 829628 HAS SOPS 826679 HAS SOUS 197837 HAS SOUPS 194903 WITH SCORE 195732.628
AT ITER 145 NEW BEST:: SOT 1132236 SOS 829430 HAS SOPS 826471 HAS SOUS 197803 HAS SOUPS 194859 WITH SCORE 195688.43
AT ITER 146 NEW BEST:: SOT 1132311 SOS 829505 HAS SOPS 826546 HAS SOUS 197529 HAS SOUPS 194585 WITH SCORE 195414.505
AT ITER 147 NEW BEST:: SOT 1132311 SOS 823289 HAS SOPS 820192 HAS SOUS 197571 HAS SOUPS 194584 WITH SCORE 195407.289
AT ITER 154 NEW BEST:: SOT 1132325 SOS 823303 HAS SOPS 820206 HAS SOUS 197489 HAS SOUPS 194502 WITH SCORE 195325.303
AT ITER 155 NEW BEST:: SOT 1132359 SOS 825089 HAS SOPS 821992 HAS SOUS 197093 HAS SOUPS 194106 WITH SCORE 194931.089
AT ITER 159 NEW BEST:: SOT 1135676 SOS 829013 HAS SOPS 826284 HAS SOUS 196608 HAS SOUPS 193989 WITH SCORE 194818.013
AT ITER 166 NEW BEST:: SOT 1135856 SOS 829281 HAS SOPS 826552 HAS SOUS 196407 HAS SOUPS 193788 WITH SCORE 194617.281
AT ITER 167 NEW BEST:: SOT 1134692 SOS 830563 HAS SOPS 827834 HAS SOUS 196026 HAS SOUPS 193407 WITH SCORE 194237.563
AT ITER 168 NEW BEST:: SOT 1132054 SOS 827925 HAS SOPS 825196 HAS SOUS 195054 HAS SOUPS 192435 WITH SCORE 193262.925
AT ITER 176 NEW BEST:: SOT 1131979 SOS 827850 HAS SOPS 825121 HAS SOUS 195007 HAS SOUPS 192388 WITH SCORE 193215.85
AT ITER 177 NEW BEST:: SOT 1131175 SOS 827778 HAS SOPS 825049 HAS SOUS 194454 HAS SOUPS 191835 WITH SCORE 192662.778
AT ITER 185 NEW BEST:: SOT 1131208 SOS 827811 HAS SOPS 825082 HAS SOUS 193756 HAS SOUPS 191137 WITH SCORE 191964.811
AT ITER 187 NEW BEST:: SOT 1131162 SOS 827757 HAS SOPS 825036 HAS SOUS 193540 HAS SOUPS 190929 WITH SCORE 191756.757
AT ITER 196 NEW BEST:: SOT 1133457 SOS 830143 HAS SOPS 827483 HAS SOUS 192541 HAS SOUPS 189991 WITH SCORE 190821.143
AT ITER 201 NEW BEST:: SOT 1133334 SOS 796066 HAS SOPS 793406 HAS SOUS 192358 HAS SOUPS 189808 WITH SCORE 190604.066
AT ITER 208 NEW BEST:: SOT 1133334 SOS 762938 HAS SOPS 760278 HAS SOUS 192278 HAS SOUPS 189728 WITH SCORE 190490.938
AT ITER 213 NEW BEST:: SOT 1133334 SOS 763076 HAS SOPS 760416 HAS SOUS 192162 HAS SOUPS 189612 WITH SCORE 190375.076
AT ITER 216 NEW BEST:: SOT 1133334 SOS 763028 HAS SOPS 760368 HAS SOUS 192160 HAS SOUPS 189610 WITH SCORE 190373.028
AT ITER 219 NEW BEST:: SOT 1135772 SOS 765448 HAS SOPS 762806 HAS SOUS 188606 HAS SOUPS 186074 WITH SCORE 186839.448
AT ITER 223 NEW BEST:: SOT 1134125 SOS 762033 HAS SOPS 759391 HAS SOUS 188592 HAS SOUPS 186060 WITH SCORE 186822.033
AT ITER 228 NEW BEST:: SOT 1134010 SOS 762482 HAS SOPS 759884 HAS SOUS 188536 HAS SOUPS 186048 WITH SCORE 186810.482
AT ITER 231 NEW BEST:: SOT 1133963 SOS 762455 HAS SOPS 759742 HAS SOUS 188496 HAS SOUPS 185893 WITH SCORE 186655.455
AT ITER 237 NEW BEST:: SOT 1133870 SOS 762362 HAS SOPS 759649 HAS SOUS 188309 HAS SOUPS 185706 WITH SCORE 186468.362
AT ITER 241 NEW BEST:: SOT 1133870 SOS 763949 HAS SOPS 761305 HAS SOUS 187082 HAS SOUPS 184548 WITH SCORE 185311.949
AT ITER 248 NEW BEST:: SOT 1133964 SOS 764043 HAS SOPS 761399 HAS SOUS 186965 HAS SOUPS 184431 WITH SCORE 185195.043
AT ITER 249 NEW BEST:: SOT 1133772 SOS 763851 HAS SOPS 761207 HAS SOUS 186563 HAS SOUPS 184029 WITH SCORE 184792.851
AT ITER 251 NEW BEST:: SOT 1133772 SOS 764529 HAS SOPS 761885 HAS SOUS 186515 HAS SOUPS 183981 WITH SCORE 184745.529
AT ITER 253 NEW BEST:: SOT 1134306 SOS 763866 HAS SOPS 761222 HAS SOUS 184505 HAS SOUPS 181971 WITH SCORE 182734.866
AT ITER 258 NEW BEST:: SOT 1134306 SOS 764175 HAS SOPS 761567 HAS SOUS 184379 HAS SOUPS 181881 WITH SCORE 182645.175
AT ITER 260 NEW BEST:: SOT 1134636 SOS 765889 HAS SOPS 763325 HAS SOUS 181762 HAS SOUPS 179308 WITH SCORE 180073.889
AT ITER 261 NEW BEST:: SOT 1133549 SOS 764814 HAS SOPS 762250 HAS SOUS 181242 HAS SOUPS 178788 WITH SCORE 179552.814
AT ITER 265 NEW BEST:: SOT 1133568 SOS 764707 HAS SOPS 762129 HAS SOUS 180235 HAS SOUPS 177781 WITH SCORE 178545.707
AT ITER 269 NEW BEST:: SOT 1133568 SOS 764242 HAS SOPS 761706 HAS SOUS 180143 HAS SOUPS 177695 WITH SCORE 178459.242
AT ITER 276 NEW BEST:: SOT 1133640 SOS 764812 HAS SOPS 762290 HAS SOUS 179918 HAS SOUPS 177470 WITH SCORE 178234.812
AT ITER 282 NEW BEST:: SOT 1133686 SOS 765419 HAS SOPS 762858 HAS SOUS 178289 HAS SOUPS 175841 WITH SCORE 176606.419
AT ITER 288 NEW BEST:: SOT 1133691 SOS 765424 HAS SOPS 762863 HAS SOUS 178174 HAS SOUPS 175726 WITH SCORE 176491.424
AT ITER 289 NEW BEST:: SOT 1132234 SOS 764087 HAS SOPS 761526 HAS SOUS 177176 HAS SOUPS 174728 WITH SCORE 175492.087
AT ITER 294 NEW BEST:: SOT 1132640 SOS 764408 HAS SOPS 761886 HAS SOUS 174859 HAS SOUPS 172411 WITH SCORE 173175.408
AT ITER 295 NEW BEST:: SOT 1135167 SOS 767487 HAS SOPS 764965 HAS SOUS 173245 HAS SOUPS 170797 WITH SCORE 171564.487
AT ITER 296 NEW BEST:: SOT 1134807 SOS 769095 HAS SOPS 766573 HAS SOUS 171819 HAS SOUPS 169371 WITH SCORE 170140.095
AT ITER 310 NEW BEST:: SOT 1134182 SOS 768470 HAS SOPS 765948 HAS SOUS 171601 HAS SOUPS 169153 WITH SCORE 169921.47
AT ITER 311 NEW BEST:: SOT 1134182 SOS 768708 HAS SOPS 766186 HAS SOUS 171527 HAS SOUPS 169079 WITH SCORE 169847.708
AT ITER 317 NEW BEST:: SOT 1134182 SOS 770220 HAS SOPS 767746 HAS SOUS 171383 HAS SOUPS 168983 WITH SCORE 169753.22
AT ITER 318 NEW BEST:: SOT 1134138 SOS 770170 HAS SOPS 767702 HAS SOUS 171285 HAS SOUPS 168891 WITH SCORE 169661.17
AT ITER 333 NEW BEST:: SOT 1133847 SOS 769867 HAS SOPS 767411 HAS SOUS 170736 HAS SOUPS 168354 WITH SCORE 169123.867
AT ITER 347 NEW BEST:: SOT 1133847 SOS 769819 HAS SOPS 767363 HAS SOUS 170734 HAS SOUPS 168352 WITH SCORE 169121.819
AT ITER 352 NEW BEST:: SOT 1135041 SOS 770897 HAS SOPS 768441 HAS SOUS 170397 HAS SOUPS 168015 WITH SCORE 168785.897
AT ITER 353 NEW BEST:: SOT 1136603 SOS 772439 HAS SOPS 770003 HAS SOUS 169674 HAS SOUPS 167312 WITH SCORE 168084.439
AT ITER 357 NEW BEST:: SOT 1134156 SOS 769992 HAS SOPS 767556 HAS SOUS 169289 HAS SOUPS 166927 WITH SCORE 167696.992
AT ITER 363 NEW BEST:: SOT 1134050 SOS 792074 HAS SOPS 789725 HAS SOUS 168819 HAS SOUPS 166544 WITH SCORE 167336.074
AT ITER 372 NEW BEST:: SOT 1134046 SOS 792070 HAS SOPS 789721 HAS SOUS 168813 HAS SOUPS 166538 WITH SCORE 167330.07
AT ITER 376 NEW BEST:: SOT 1133564 SOS 791588 HAS SOPS 789239 HAS SOUS 168648 HAS SOUPS 166373 WITH SCORE 167164.588
AT ITER 377 NEW BEST:: SOT 1133852 SOS 791876 HAS SOPS 789527 HAS SOUS 168288 HAS SOUPS 166013 WITH SCORE 166804.876
AT ITER 382 NEW BEST:: SOT 1134597 SOS 792621 HAS SOPS 790272 HAS SOUS 167987 HAS SOUPS 165712 WITH SCORE 166504.621
AT ITER 383 NEW BEST:: SOT 1134138 SOS 792162 HAS SOPS 789813 HAS SOUS 166146 HAS SOUPS 163871 WITH SCORE 164663.162
AT ITER 387 NEW BEST:: SOT 1132379 SOS 790403 HAS SOPS 788054 HAS SOUS 165911 HAS SOUPS 163636 WITH SCORE 164426.403
AT ITER 395 NEW BEST:: SOT 1132377 SOS 790401 HAS SOPS 788052 HAS SOUS 165882 HAS SOUPS 163607 WITH SCORE 164397.401
AT ITER 396 NEW BEST:: SOT 1132398 SOS 790422 HAS SOPS 788073 HAS SOUS 165553 HAS SOUPS 163278 WITH SCORE 164068.422
AT ITER 397 NEW BEST:: SOT 1131703 SOS 789199 HAS SOPS 786820 HAS SOUS 164864 HAS SOUPS 162559 WITH SCORE 163348.199
AT ITER 405 NEW BEST:: SOT 1131703 SOS 789098 HAS SOPS 786788 HAS SOUS 164323 HAS SOUPS 162079 WITH SCORE 162868.098
AT ITER 412 NEW BEST:: SOT 1131286 SOS 788698 HAS SOPS 786371 HAS SOUS 164173 HAS SOUPS 161912 WITH SCORE 162700.698
AT ITER 422 NEW BEST:: SOT 1131153 SOS 788565 HAS SOPS 786238 HAS SOUS 163900 HAS SOUPS 161639 WITH SCORE 162427.565
AT ITER 429 NEW BEST:: SOT 1130984 SOS 788414 HAS SOPS 786089 HAS SOUS 163355 HAS SOUPS 161096 WITH SCORE 161884.414
AT ITER 448 NEW BEST:: SOT 1130984 SOS 788630 HAS SOPS 786322 HAS SOUS 163221 HAS SOUPS 160979 WITH SCORE 161767.63
AT ITER 449 NEW BEST:: SOT 1130997 SOS 788643 HAS SOPS 786335 HAS SOUS 163041 HAS SOUPS 160799 WITH SCORE 161587.643
AT ITER 455 NEW BEST:: SOT 1130997 SOS 788822 HAS SOPS 786560 HAS SOUS 162819 HAS SOUPS 160623 WITH SCORE 161411.822
AT ITER 456 NEW BEST:: SOT 1130997 SOS 789662 HAS SOPS 787400 HAS SOUS 162808 HAS SOUPS 160612 WITH SCORE 161401.662
AT ITER 460 NEW BEST:: SOT 1130040 SOS 790169 HAS SOPS 787907 HAS SOUS 162001 HAS SOUPS 159805 WITH SCORE 160595.169
AT ITER 470 NEW BEST:: SOT 1130040 SOS 790743 HAS SOPS 788481 HAS SOUS 161951 HAS SOUPS 159755 WITH SCORE 160545.743
AT ITER 472 NEW BEST:: SOT 1130040 SOS 792519 HAS SOPS 790257 HAS SOUS 161920 HAS SOUPS 159724 WITH SCORE 160516.519
AT ITER 476 NEW BEST:: SOT 1132761 SOS 795888 HAS SOPS 793626 HAS SOUS 160554 HAS SOUPS 158358 WITH SCORE 159153.888
AT ITER 480 NEW BEST:: SOT 1132730 SOS 795857 HAS SOPS 793756 HAS SOUS 160393 HAS SOUPS 158358 WITH SCORE 159153.857
AT ITER 487 NEW BEST:: SOT 1132331 SOS 796922 HAS SOPS 794821 HAS SOUS 159174 HAS SOUPS 157139 WITH SCORE 157935.922
AT ITER 491 NEW BEST:: SOT 1132540 SOS 797131 HAS SOPS 795030 HAS SOUS 158975 HAS SOUPS 156940 WITH SCORE 157737.131
AT ITER 498 NEW BEST:: SOT 1130195 SOS 794786 HAS SOPS 792685 HAS SOUS 158080 HAS SOUPS 156045 WITH SCORE 156839.786
AT ITER 500 NEW BEST:: SOT 1130119 SOS 811438 HAS SOPS 809337 HAS SOUS 157926 HAS SOUPS 155891 WITH SCORE 156702.438
AT ITER 503 NEW BEST:: SOT 1130137 SOS 811456 HAS SOPS 809355 HAS SOUS 157532 HAS SOUPS 155497 WITH SCORE 156308.456
AT ITER 511 NEW BEST:: SOT 1130091 SOS 811410 HAS SOPS 809309 HAS SOUS 157390 HAS SOUPS 155355 WITH SCORE 156166.41
AT ITER 512 NEW BEST:: SOT 1130091 SOS 811290 HAS SOPS 809189 HAS SOUS 157346 HAS SOUPS 155311 WITH SCORE 156122.29
AT ITER 524 NEW BEST:: SOT 1129308 SOS 810507 HAS SOPS 808406 HAS SOUS 156442 HAS SOUPS 154407 WITH SCORE 155217.507
AT ITER 533 NEW BEST:: SOT 1129388 SOS 809776 HAS SOPS 807542 HAS SOUS 155989 HAS SOUPS 153906 WITH SCORE 154715.776
AT ITER 534 NEW BEST:: SOT 1129388 SOS 809776 HAS SOPS 807542 HAS SOUS 155941 HAS SOUPS 153858 WITH SCORE 154667.776
AT ITER 535 NEW BEST:: SOT 1126554 SOS 808718 HAS SOPS 806484 HAS SOUS 153724 HAS SOUPS 151641 WITH SCORE 152449.718
AT ITER 537 NEW BEST:: SOT 1126030 SOS 811098 HAS SOPS 808864 HAS SOUS 153423 HAS SOUPS 151340 WITH SCORE 152151.098
AT ITER 539 NEW BEST:: SOT 1126059 SOS 811127 HAS SOPS 808893 HAS SOUS 153278 HAS SOUPS 151195 WITH SCORE 152006.127
AT ITER 549 NEW BEST:: SOT 1125903 SOS 810971 HAS SOPS 808737 HAS SOUS 153112 HAS SOUPS 151029 WITH SCORE 151839.971
AT ITER 577 NEW BEST:: SOT 1125676 SOS 810744 HAS SOPS 808510 HAS SOUS 152830 HAS SOUPS 150747 WITH SCORE 151557.744
AT ITER 578 NEW BEST:: SOT 1125675 SOS 810743 HAS SOPS 808509 HAS SOUS 152646 HAS SOUPS 150563 WITH SCORE 151373.743
AT ITER 600 NEW BEST:: SOT 1125377 SOS 810445 HAS SOPS 808211 HAS SOUS 151534 HAS SOUPS 149451 WITH SCORE 150261.445
AT ITER 601 NEW BEST:: SOT 1125331 SOS 819033 HAS SOPS 816799 HAS SOUS 151458 HAS SOUPS 149375 WITH SCORE 150194.033
AT ITER 602 NEW BEST:: SOT 1125369 SOS 819527 HAS SOPS 817293 HAS SOUS 151401 HAS SOUPS 149318 WITH SCORE 150137.527
AT ITER 613 NEW BEST:: SOT 1125369 SOS 819523 HAS SOPS 817289 HAS SOUS 151399 HAS SOUPS 149316 WITH SCORE 150135.523
AT ITER 616 NEW BEST:: SOT 1124891 SOS 819381 HAS SOPS 817147 HAS SOUS 151303 HAS SOUPS 149220 WITH SCORE 150039.381
AT ITER 619 NEW BEST:: SOT 1124891 SOS 819359 HAS SOPS 817147 HAS SOUS 151133 HAS SOUPS 149072 WITH SCORE 149891.359
AT ITER 625 NEW BEST:: SOT 1124868 SOS 819336 HAS SOPS 817124 HAS SOUS 150995 HAS SOUPS 148934 WITH SCORE 149753.336
AT ITER 626 NEW BEST:: SOT 1124844 SOS 819312 HAS SOPS 817100 HAS SOUS 150995 HAS SOUPS 148934 WITH SCORE 149753.312
AT ITER 627 NEW BEST:: SOT 1123444 SOS 705760 HAS SOPS 703548 HAS SOUS 149092 HAS SOUPS 147031 WITH SCORE 147736.76
AT ITER 646 NEW BEST:: SOT 1123399 SOS 705715 HAS SOPS 703503 HAS SOUS 149062 HAS SOUPS 147001 WITH SCORE 147706.715
AT ITER 660 NEW BEST:: SOT 1123399 SOS 705715 HAS SOPS 703503 HAS SOUS 149033 HAS SOUPS 146972 WITH SCORE 147677.715
AT ITER 662 NEW BEST:: SOT 1123399 SOS 705875 HAS SOPS 702883 HAS SOUS 149073 HAS SOUPS 146232 WITH SCORE 146937.875
AT ITER 670 NEW BEST:: SOT 1123399 SOS 706162 HAS SOPS 703195 HAS SOUS 149023 HAS SOUPS 146207 WITH SCORE 146913.162
AT ITER 672 NEW BEST:: SOT 1123399 SOS 708850 HAS SOPS 705931 HAS SOUS 148753 HAS SOUPS 145985 WITH SCORE 146693.85
AT ITER 677 NEW BEST:: SOT 1123421 SOS 708872 HAS SOPS 705953 HAS SOUS 148693 HAS SOUPS 145925 WITH SCORE 146633.872
AT ITER 690 NEW BEST:: SOT 1124817 SOS 707942 HAS SOPS 705023 HAS SOUS 147480 HAS SOUPS 144712 WITH SCORE 145419.942
AT ITER 698 NEW BEST:: SOT 1125301 SOS 708486 HAS SOPS 705567 HAS SOUS 147102 HAS SOUPS 144334 WITH SCORE 145042.486
AT ITER 710 NEW BEST:: SOT 1126343 SOS 709514 HAS SOPS 706654 HAS SOUS 146550 HAS SOUPS 143841 WITH SCORE 144550.514
AT ITER 726 NEW BEST:: SOT 1126351 SOS 709678 HAS SOPS 706818 HAS SOUS 146178 HAS SOUPS 143469 WITH SCORE 144178.678
AT ITER 754 NEW BEST:: SOT 1126351 SOS 709678 HAS SOPS 706818 HAS SOUS 145992 HAS SOUPS 143283 WITH SCORE 143992.678
AT ITER 756 NEW BEST:: SOT 1125280 SOS 708667 HAS SOPS 705757 HAS SOUS 144855 HAS SOUPS 142096 WITH SCORE 142804.667
AT ITER 766 NEW BEST:: SOT 1125371 SOS 708924 HAS SOPS 706014 HAS SOUS 144693 HAS SOUPS 141934 WITH SCORE 142642.924
AT ITER 770 NEW BEST:: SOT 1125371 SOS 708788 HAS SOPS 705878 HAS SOUS 144659 HAS SOUPS 141900 WITH SCORE 142608.788
AT ITER 773 NEW BEST:: SOT 1125319 SOS 708736 HAS SOPS 705826 HAS SOUS 144571 HAS SOUPS 141812 WITH SCORE 142520.736
AT ITER 778 NEW BEST:: SOT 1124572 SOS 707989 HAS SOPS 705079 HAS SOUS 144559 HAS SOUPS 141800 WITH SCORE 142507.989
AT ITER 782 NEW BEST:: SOT 1124572 SOS 707982 HAS SOPS 705079 HAS SOUS 144534 HAS SOUPS 141782 WITH SCORE 142489.982
AT ITER 796 NEW BEST:: SOT 1124476 SOS 707886 HAS SOPS 704983 HAS SOUS 144486 HAS SOUPS 141734 WITH SCORE 142441.886
AT ITER 803 NEW BEST:: SOT 1124476 SOS 707771 HAS SOPS 704868 HAS SOUS 144486 HAS SOUPS 141734 WITH SCORE 142441.771
AT ITER 827 NEW BEST:: SOT 1127823 SOS 711099 HAS SOPS 708215 HAS SOUS 144113 HAS SOUPS 141380 WITH SCORE 142091.099
AT ITER 829 NEW BEST:: SOT 1127671 SOS 710947 HAS SOPS 708063 HAS SOUS 143983 HAS SOUPS 141250 WITH SCORE 141960.947
AT ITER 830 NEW BEST:: SOT 1128702 SOS 711978 HAS SOPS 709094 HAS SOUS 143857 HAS SOUPS 141124 WITH SCORE 141835.978
AT ITER 838 NEW BEST:: SOT 1128693 SOS 712176 HAS SOPS 709301 HAS SOUS 143823 HAS SOUPS 141099 WITH SCORE 141811.176
AT ITER 839 NEW BEST:: SOT 1128671 SOS 712154 HAS SOPS 709279 HAS SOUS 143801 HAS SOUPS 141077 WITH SCORE 141789.154
AT ITER 847 NEW BEST:: SOT 1128530 SOS 712013 HAS SOPS 709138 HAS SOUS 143781 HAS SOUPS 141057 WITH SCORE 141769.013
AT ITER 883 NEW BEST:: SOT 1128530 SOS 712541 HAS SOPS 709666 HAS SOUS 143770 HAS SOUPS 141046 WITH SCORE 141758.541
AT ITER 884 NEW BEST:: SOT 1128530 SOS 712429 HAS SOPS 709554 HAS SOUS 143691 HAS SOUPS 140967 WITH SCORE 141679.429
AT ITER 893 NEW BEST:: SOT 1128815 SOS 713244 HAS SOPS 710434 HAS SOUS 143202 HAS SOUPS 140543 WITH SCORE 141256.244
AT ITER 897 NEW BEST:: SOT 1128503 SOS 712740 HAS SOPS 709930 HAS SOUS 142877 HAS SOUPS 140218 WITH SCORE 140930.74
AT ITER 898 NEW BEST:: SOT 1128644 SOS 715257 HAS SOPS 712447 HAS SOUS 141579 HAS SOUPS 138920 WITH SCORE 139635.257
AT ITER 917 NEW BEST:: SOT 1128644 SOS 716169 HAS SOPS 713359 HAS SOUS 141405 HAS SOUPS 138746 WITH SCORE 139462.169
AT ITER 927 NEW BEST:: SOT 1129619 SOS 717144 HAS SOPS 714334 HAS SOUS 139871 HAS SOUPS 137212 WITH SCORE 137929.144
AT ITER 930 NEW BEST:: SOT 1129616 SOS 717141 HAS SOPS 714331 HAS SOUS 139834 HAS SOUPS 137175 WITH SCORE 137892.141
AT ITER 939 NEW BEST:: SOT 1129557 SOS 717082 HAS SOPS 714272 HAS SOUS 139582 HAS SOUPS 136923 WITH SCORE 137640.082
AT ITER 961 NEW BEST:: SOT 1129311 SOS 716836 HAS SOPS 714026 HAS SOUS 139484 HAS SOUPS 136825 WITH SCORE 137541.836
AT ITER 963 NEW BEST:: SOT 1129342 SOS 716867 HAS SOPS 714057 HAS SOUS 139162 HAS SOUPS 136503 WITH SCORE 137219.867
AT ITER 965 NEW BEST:: SOT 1129192 SOS 716717 HAS SOPS 713907 HAS SOUS 138762 HAS SOUPS 136103 WITH SCORE 136819.717
AT ITER 999 NEW BEST:: SOT 1129248 SOS 703115 HAS SOPS 700271 HAS SOUS 138811 HAS SOUPS 136116 WITH SCORE 136819.115
AT ITER 1003 NEW BEST:: SOT 1129178 SOS 703045 HAS SOPS 700201 HAS SOUS 138563 HAS SOUPS 135868 WITH SCORE 136571.045
AT ITER 1005 NEW BEST:: SOT 1128943 SOS 704658 HAS SOPS 701814 HAS SOUS 138186 HAS SOUPS 135491 WITH SCORE 136195.658
AT ITER 1014 NEW BEST:: SOT 1130531 SOS 706246 HAS SOPS 703402 HAS SOUS 137827 HAS SOUPS 135132 WITH SCORE 135838.246
AT ITER 1020 NEW BEST:: SOT 1130531 SOS 707168 HAS SOPS 704354 HAS SOUS 137413 HAS SOUPS 134748 WITH SCORE 135455.168
AT ITER 1024 NEW BEST:: SOT 1130531 SOS 707168 HAS SOPS 704354 HAS SOUS 137406 HAS SOUPS 134741 WITH SCORE 135448.168
AT ITER 1025 NEW BEST:: SOT 1130264 SOS 706901 HAS SOPS 704087 HAS SOUS 137265 HAS SOUPS 134600 WITH SCORE 135306.901
AT ITER 1030 NEW BEST:: SOT 1130264 SOS 707453 HAS SOPS 704639 HAS SOUS 137149 HAS SOUPS 134484 WITH SCORE 135191.453
AT ITER 1049 NEW BEST:: SOT 1129706 SOS 706788 HAS SOPS 703987 HAS SOUS 136876 HAS SOUPS 134211 WITH SCORE 134917.788
AT ITER 1054 NEW BEST:: SOT 1129706 SOS 711117 HAS SOPS 708403 HAS SOUS 135842 HAS SOUPS 133264 WITH SCORE 133975.117
AT ITER 1055 NEW BEST:: SOT 1131893 SOS 713297 HAS SOPS 710590 HAS SOUS 134605 HAS SOUPS 132034 WITH SCORE 132747.297
AT ITER 1059 NEW BEST:: SOT 1131309 SOS 712713 HAS SOPS 710006 HAS SOUS 134569 HAS SOUPS 131998 WITH SCORE 132710.713
AT ITER 1065 NEW BEST:: SOT 1131945 SOS 713349 HAS SOPS 710642 HAS SOUS 134564 HAS SOUPS 131993 WITH SCORE 132706.349
AT ITER 1069 NEW BEST:: SOT 1131835 SOS 713212 HAS SOPS 710532 HAS SOUS 134332 HAS SOUPS 131788 WITH SCORE 132501.212
AT ITER 1071 NEW BEST:: SOT 1129902 SOS 711279 HAS SOPS 708599 HAS SOUS 134058 HAS SOUPS 131514 WITH SCORE 132225.279
AT ITER 1083 NEW BEST:: SOT 1129902 SOS 712031 HAS SOPS 709351 HAS SOUS 134038 HAS SOUPS 131494 WITH SCORE 132206.031
AT ITER 1094 NEW BEST:: SOT 1129638 SOS 711767 HAS SOPS 709087 HAS SOUS 133830 HAS SOUPS 131286 WITH SCORE 131997.767
AT ITER 1103 NEW BEST:: SOT 1129638 SOS 712214 HAS SOPS 709543 HAS SOUS 133791 HAS SOUPS 131256 WITH SCORE 131968.214
AT ITER 1109 NEW BEST:: SOT 1129417 SOS 711993 HAS SOPS 709322 HAS SOUS 133336 HAS SOUPS 130801 WITH SCORE 131512.993
AT ITER 1120 NEW BEST:: SOT 1129660 SOS 712232 HAS SOPS 709565 HAS SOUS 133183 HAS SOUPS 130652 WITH SCORE 131364.232
AT ITER 1128 NEW BEST:: SOT 1129457 SOS 712075 HAS SOPS 709408 HAS SOUS 132839 HAS SOUPS 130308 WITH SCORE 131020.075
AT ITER 1130 NEW BEST:: SOT 1129116 SOS 711706 HAS SOPS 709039 HAS SOUS 132470 HAS SOUPS 129939 WITH SCORE 130650.706
AT ITER 1141 NEW BEST:: SOT 1129113 SOS 711703 HAS SOPS 709036 HAS SOUS 132458 HAS SOUPS 129927 WITH SCORE 130638.703
AT ITER 1143 NEW BEST:: SOT 1129113 SOS 711703 HAS SOPS 709036 HAS SOUS 132457 HAS SOUPS 129926 WITH SCORE 130637.703
AT ITER 1152 NEW BEST:: SOT 1128166 SOS 710756 HAS SOPS 708089 HAS SOUS 132168 HAS SOUPS 129637 WITH SCORE 130347.756
AT ITER 1156 NEW BEST:: SOT 1128166 SOS 710816 HAS SOPS 708149 HAS SOUS 132096 HAS SOUPS 129565 WITH SCORE 130275.816
AT ITER 1227 NEW BEST:: SOT 1130536 SOS 715442 HAS SOPS 712775 HAS SOUS 131987 HAS SOUPS 129456 WITH SCORE 130171.442
AT ITER 1231 NEW BEST:: SOT 1130536 SOS 715353 HAS SOPS 712655 HAS SOUS 131994 HAS SOUPS 129432 WITH SCORE 130147.353
AT ITER 1248 NEW BEST:: SOT 1131187 SOS 716676 HAS SOPS 713978 HAS SOUS 131807 HAS SOUPS 129245 WITH SCORE 129961.676
AT ITER 1251 NEW BEST:: SOT 1130994 SOS 716483 HAS SOPS 713785 HAS SOUS 131710 HAS SOUPS 129148 WITH SCORE 129864.483
AT ITER 1256 NEW BEST:: SOT 1130994 SOS 716483 HAS SOPS 713785 HAS SOUS 131326 HAS SOUPS 128764 WITH SCORE 129480.483
AT ITER 1273 NEW BEST:: SOT 1130120 SOS 843101 HAS SOPS 840322 HAS SOUS 130964 HAS SOUPS 128321 WITH SCORE 129164.101
AT ITER 1311 NEW BEST:: SOT 1130120 SOS 843101 HAS SOPS 840323 HAS SOUS 130961 HAS SOUPS 128319 WITH SCORE 129162.101
AT ITER 1316 NEW BEST:: SOT 1130495 SOS 843476 HAS SOPS 840698 HAS SOUS 130356 HAS SOUPS 127714 WITH SCORE 128557.476
AT ITER 1331 NEW BEST:: SOT 1129250 SOS 843935 HAS SOPS 841157 HAS SOUS 129441 HAS SOUPS 126799 WITH SCORE 127642.935
AT ITER 1336 NEW BEST:: SOT 1129252 SOS 842399 HAS SOPS 839620 HAS SOUS 129441 HAS SOUPS 126799 WITH SCORE 127641.399
AT ITER 1344 NEW BEST:: SOT 1129252 SOS 849873 HAS SOPS 847094 HAS SOUS 129412 HAS SOUPS 126770 WITH SCORE 127619.873
AT ITER 1361 NEW BEST:: SOT 1128823 SOS 849468 HAS SOPS 846689 HAS SOUS 129197 HAS SOUPS 126555 WITH SCORE 127404.468
AT ITER 1368 NEW BEST:: SOT 1128793 SOS 824022 HAS SOPS 821243 HAS SOUS 129113 HAS SOUPS 126471 WITH SCORE 127295.022
AT ITER 1371 NEW BEST:: SOT 1128674 SOS 823895 HAS SOPS 821124 HAS SOUS 128803 HAS SOUPS 126169 WITH SCORE 126992.895
AT ITER 1378 NEW BEST:: SOT 1128674 SOS 823846 HAS SOPS 821061 HAS SOUS 128796 HAS SOUPS 126148 WITH SCORE 126971.846
AT ITER 1384 NEW BEST:: SOT 1128674 SOS 823829 HAS SOPS 821061 HAS SOUS 128766 HAS SOUPS 126135 WITH SCORE 126958.829
AT ITER 1386 NEW BEST:: SOT 1129684 SOS 824839 HAS SOPS 822111 HAS SOUS 128122 HAS SOUPS 125531 WITH SCORE 126355.839
AT ITER 1402 NEW BEST:: SOT 1129497 SOS 824652 HAS SOPS 821924 HAS SOUS 127763 HAS SOUPS 125172 WITH SCORE 125996.652
AT ITER 1403 NEW BEST:: SOT 1129186 SOS 824341 HAS SOPS 821613 HAS SOUS 127742 HAS SOUPS 125151 WITH SCORE 125975.341
AT ITER 1404 NEW BEST:: SOT 1128898 SOS 824053 HAS SOPS 821325 HAS SOUS 127620 HAS SOUPS 125029 WITH SCORE 125853.053
AT ITER 1407 NEW BEST:: SOT 1128898 SOS 824461 HAS SOPS 821733 HAS SOUS 127514 HAS SOUPS 124923 WITH SCORE 125747.461
AT ITER 1426 NEW BEST:: SOT 1126530 SOS 719060 HAS SOPS 716321 HAS SOUS 127408 HAS SOUPS 124806 WITH SCORE 125525.06
AT ITER 1429 NEW BEST:: SOT 1126530 SOS 719180 HAS SOPS 716441 HAS SOUS 127373 HAS SOUPS 124771 WITH SCORE 125490.18
AT ITER 1436 NEW BEST:: SOT 1123393 SOS 716883 HAS SOPS 714144 HAS SOUS 125249 HAS SOUPS 122647 WITH SCORE 123363.883
AT ITER 1452 NEW BEST:: SOT 1123397 SOS 716887 HAS SOPS 714076 HAS SOUS 125253 HAS SOUPS 122579 WITH SCORE 123295.887
AT ITER 1462 NEW BEST:: SOT 1123397 SOS 717487 HAS SOPS 714676 HAS SOUS 125191 HAS SOUPS 122517 WITH SCORE 123234.487
AT ITER 1489 NEW BEST:: SOT 1123397 SOS 717097 HAS SOPS 714286 HAS SOUS 125191 HAS SOUPS 122517 WITH SCORE 123234.097
AT ITER 1492 NEW BEST:: SOT 1123094 SOS 715936 HAS SOPS 713063 HAS SOUS 124847 HAS SOUPS 122111 WITH SCORE 122826.936
AT ITER 1500 NEW BEST:: SOT 1124178 SOS 717082 HAS SOPS 714266 HAS SOUS 124673 HAS SOUPS 121994 WITH SCORE 122711.082
AT ITER 1508 NEW BEST:: SOT 1124178 SOS 717082 HAS SOPS 714266 HAS SOUS 124672 HAS SOUPS 121993 WITH SCORE 122710.082
AT ITER 1517 NEW BEST:: SOT 1124178 SOS 683363 HAS SOPS 680147 HAS SOUS 124596 HAS SOUPS 121917 WITH SCORE 122600.363
AT ITER 1525 NEW BEST:: SOT 1124178 SOS 681634 HAS SOPS 678583 HAS SOUS 124211 HAS SOUPS 121565 WITH SCORE 122246.634
AT ITER 1536 NEW BEST:: SOT 1124178 SOS 681959 HAS SOPS 678895 HAS SOUS 124223 HAS SOUPS 121564 WITH SCORE 122245.959
AT ITER 1540 NEW BEST:: SOT 1123961 SOS 681742 HAS SOPS 678678 HAS SOUS 124197 HAS SOUPS 121538 WITH SCORE 122219.742
AT ITER 1548 NEW BEST:: SOT 1123103 SOS 680884 HAS SOPS 677820 HAS SOUS 124049 HAS SOUPS 121390 WITH SCORE 122070.884
AT ITER 1550 NEW BEST:: SOT 1123052 SOS 680833 HAS SOPS 677769 HAS SOUS 123941 HAS SOUPS 121282 WITH SCORE 121962.833
AT ITER 1562 NEW BEST:: SOT 1123052 SOS 680833 HAS SOPS 677769 HAS SOUS 123437 HAS SOUPS 120778 WITH SCORE 121458.833
AT ITER 1580 NEW BEST:: SOT 1123030 SOS 680811 HAS SOPS 677747 HAS SOUS 123415 HAS SOUPS 120756 WITH SCORE 121436.811
AT ITER 1583 NEW BEST:: SOT 1124631 SOS 682412 HAS SOPS 679348 HAS SOUS 122501 HAS SOUPS 119842 WITH SCORE 120524.412
AT ITER 1586 NEW BEST:: SOT 1123894 SOS 683307 HAS SOPS 680243 HAS SOUS 121359 HAS SOUPS 118700 WITH SCORE 119383.307
AT ITER 1595 NEW BEST:: SOT 1123894 SOS 677081 HAS SOPS 674017 HAS SOUS 121219 HAS SOUPS 118560 WITH SCORE 119237.081
AT ITER 1611 NEW BEST:: SOT 1123570 SOS 676757 HAS SOPS 673693 HAS SOUS 120544 HAS SOUPS 117885 WITH SCORE 118561.757
AT ITER 1613 NEW BEST:: SOT 1123570 SOS 675725 HAS SOPS 672713 HAS SOUS 120470 HAS SOUPS 117863 WITH SCORE 118538.725
AT ITER 1631 NEW BEST:: SOT 1124510 SOS 676665 HAS SOPS 673653 HAS SOUS 120401 HAS SOUPS 117794 WITH SCORE 118470.665
AT ITER 1640 NEW BEST:: SOT 1124510 SOS 675718 HAS SOPS 672706 HAS SOUS 120363 HAS SOUPS 117756 WITH SCORE 118431.718
AT ITER 1655 NEW BEST:: SOT 1123430 SOS 674338 HAS SOPS 671326 HAS SOUS 120331 HAS SOUPS 117724 WITH SCORE 118398.338
AT ITER 1663 NEW BEST:: SOT 1123364 SOS 674272 HAS SOPS 671260 HAS SOUS 120230 HAS SOUPS 117623 WITH SCORE 118297.272
AT ITER 1677 NEW BEST:: SOT 1123364 SOS 674824 HAS SOPS 671812 HAS SOUS 120207 HAS SOUPS 117600 WITH SCORE 118274.824
AT ITER 1701 NEW BEST:: SOT 1123364 SOS 675472 HAS SOPS 672460 HAS SOUS 120180 HAS SOUPS 117573 WITH SCORE 118248.472
AT ITER 1711 NEW BEST:: SOT 1123364 SOS 675472 HAS SOPS 672460 HAS SOUS 120107 HAS SOUPS 117500 WITH SCORE 118175.472
AT ITER 1723 NEW BEST:: SOT 1123448 SOS 675556 HAS SOPS 672544 HAS SOUS 119952 HAS SOUPS 117345 WITH SCORE 118020.556
AT ITER 1739 NEW BEST:: SOT 1123457 SOS 671149 HAS SOPS 668137 HAS SOUS 119952 HAS SOUPS 117345 WITH SCORE 118016.149
AT ITER 1763 NEW BEST:: SOT 1123457 SOS 671149 HAS SOPS 668137 HAS SOUS 119902 HAS SOUPS 117295 WITH SCORE 117966.149
AT ITER 1770 NEW BEST:: SOT 1123717 SOS 671409 HAS SOPS 668397 HAS SOUS 119378 HAS SOUPS 116771 WITH SCORE 117442.409
AT ITER 1776 NEW BEST:: SOT 1124195 SOS 671887 HAS SOPS 668875 HAS SOUS 119215 HAS SOUPS 116608 WITH SCORE 117279.887
AT ITER 1777 NEW BEST:: SOT 1124184 SOS 671612 HAS SOPS 668600 HAS SOUS 119204 HAS SOUPS 116597 WITH SCORE 117268.612
AT ITER 1789 NEW BEST:: SOT 1124222 SOS 672725 HAS SOPS 669829 HAS SOUS 118819 HAS SOUPS 116217 WITH SCORE 116889.725
AT ITER 1802 NEW BEST:: SOT 1124364 SOS 672867 HAS SOPS 669971 HAS SOUS 118806 HAS SOUPS 116204 WITH SCORE 116876.867
AT ITER 1809 NEW BEST:: SOT 1124401 SOS 672980 HAS SOPS 670089 HAS SOUS 118777 HAS SOUPS 116180 WITH SCORE 116852.98
AT ITER 1814 NEW BEST:: SOT 1124401 SOS 672352 HAS SOPS 669465 HAS SOUS 118725 HAS SOUPS 116132 WITH SCORE 116804.352
AT ITER 1822 NEW BEST:: SOT 1124401 SOS 672892 HAS SOPS 670005 HAS SOUS 118698 HAS SOUPS 116105 WITH SCORE 116777.892
AT ITER 1832 NEW BEST:: SOT 1126665 SOS 675636 HAS SOPS 672749 HAS SOUS 118284 HAS SOUPS 115691 WITH SCORE 116366.636
AT ITER 1850 NEW BEST:: SOT 1126665 SOS 675636 HAS SOPS 672749 HAS SOUS 118238 HAS SOUPS 115645 WITH SCORE 116320.636
AT ITER 1851 NEW BEST:: SOT 1126124 SOS 675095 HAS SOPS 672208 HAS SOUS 118195 HAS SOUPS 115602 WITH SCORE 116277.095
AT ITER 1887 NEW BEST:: SOT 1126111 SOS 675082 HAS SOPS 672195 HAS SOUS 118050 HAS SOUPS 115457 WITH SCORE 116132.082
AT ITER 1893 NEW BEST:: SOT 1125967 SOS 674938 HAS SOPS 672051 HAS SOUS 118027 HAS SOUPS 115434 WITH SCORE 116108.938
AT ITER 1931 NEW BEST:: SOT 1125824 SOS 674795 HAS SOPS 671908 HAS SOUS 117853 HAS SOUPS 115260 WITH SCORE 115934.795
AT ITER 1932 NEW BEST:: SOT 1124796 SOS 673767 HAS SOPS 670880 HAS SOUS 117373 HAS SOUPS 114780 WITH SCORE 115453.767
AT ITER 1957 NEW BEST:: SOT 1123458 SOS 676787 HAS SOPS 673878 HAS SOUS 117071 HAS SOUPS 114456 WITH SCORE 115132.787
AT ITER 1958 NEW BEST:: SOT 1126649 SOS 683026 HAS SOPS 680117 HAS SOUS 116265 HAS SOUPS 113650 WITH SCORE 114333.026
AT ITER 1964 NEW BEST:: SOT 1127278 SOS 683655 HAS SOPS 680746 HAS SOUS 116191 HAS SOUPS 113576 WITH SCORE 114259.655
AT ITER 1969 NEW BEST:: SOT 1127243 SOS 683620 HAS SOPS 680711 HAS SOUS 116156 HAS SOUPS 113541 WITH SCORE 114224.62
AT ITER 1973 NEW BEST:: SOT 1127300 SOS 683755 HAS SOPS 680846 HAS SOUS 114845 HAS SOUPS 112230 WITH SCORE 112913.755
AT ITER 1977 NEW BEST:: SOT 1127300 SOS 682339 HAS SOPS 679430 HAS SOUS 114845 HAS SOUPS 112230 WITH SCORE 112912.339
AT ITER 1994 NEW BEST:: SOT 1126059 SOS 681098 HAS SOPS 678189 HAS SOUS 113122 HAS SOUPS 110507 WITH SCORE 111188.098
AT ITER 2001 NEW BEST:: SOT 1125596 SOS 681091 HAS SOPS 678182 HAS SOUS 113112 HAS SOUPS 110497 WITH SCORE 111178.091
AT ITER 2008 NEW BEST:: SOT 1125596 SOS 680419 HAS SOPS 677510 HAS SOUS 113112 HAS SOUPS 110497 WITH SCORE 111177.419
AT ITER 2015 NEW BEST:: SOT 1125597 SOS 682602 HAS SOPS 679748 HAS SOUS 112979 HAS SOUPS 110419 WITH SCORE 111101.602
AT ITER 2036 NEW BEST:: SOT 1125109 SOS 682114 HAS SOPS 679260 HAS SOUS 112890 HAS SOUPS 110330 WITH SCORE 111012.114
AT ITER 2037 NEW BEST:: SOT 1125079 SOS 682084 HAS SOPS 679230 HAS SOUS 112404 HAS SOUPS 109844 WITH SCORE 110526.084
AT ITER 2073 NEW BEST:: SOT 1125079 SOS 681460 HAS SOPS 678606 HAS SOUS 112404 HAS SOUPS 109844 WITH SCORE 110525.46
AT ITER 2082 NEW BEST:: SOT 1125060 SOS 681441 HAS SOPS 678587 HAS SOUS 112365 HAS SOUPS 109805 WITH SCORE 110486.441
AT ITER 2086 NEW BEST:: SOT 1125058 SOS 681439 HAS SOPS 678585 HAS SOUS 112166 HAS SOUPS 109606 WITH SCORE 110287.439
AT ITER 2089 NEW BEST:: SOT 1126315 SOS 682687 HAS SOPS 679842 HAS SOUS 111665 HAS SOUPS 109114 WITH SCORE 109796.687
AT ITER 2121 NEW BEST:: SOT 1126315 SOS 682671 HAS SOPS 679826 HAS SOUS 111657 HAS SOUPS 109106 WITH SCORE 109788.671
AT ITER 2126 NEW BEST:: SOT 1126315 SOS 682673 HAS SOPS 679826 HAS SOUS 111657 HAS SOUPS 109104 WITH SCORE 109786.673
AT ITER 2130 NEW BEST:: SOT 1126976 SOS 683334 HAS SOPS 680487 HAS SOUS 111394 HAS SOUPS 108841 WITH SCORE 109524.334
AT ITER 2143 NEW BEST:: SOT 1126976 SOS 681419 HAS SOPS 678572 HAS SOUS 111354 HAS SOUPS 108801 WITH SCORE 109482.419
AT ITER 2147 NEW BEST:: SOT 1127669 SOS 682178 HAS SOPS 679331 HAS SOUS 111311 HAS SOUPS 108758 WITH SCORE 109440.178
AT ITER 2149 NEW BEST:: SOT 1128364 SOS 682873 HAS SOPS 680026 HAS SOUS 111056 HAS SOUPS 108503 WITH SCORE 109185.873
AT ITER 2178 NEW BEST:: SOT 1128332 SOS 682841 HAS SOPS 679994 HAS SOUS 111040 HAS SOUPS 108487 WITH SCORE 109169.841
AT ITER 2187 NEW BEST:: SOT 1128459 SOS 682968 HAS SOPS 680121 HAS SOUS 110864 HAS SOUPS 108311 WITH SCORE 108993.968
AT ITER 2206 NEW BEST:: SOT 1128319 SOS 682816 HAS SOPS 679965 HAS SOUS 110736 HAS SOUPS 108179 WITH SCORE 108861.816
AT ITER 2223 NEW BEST:: SOT 1128319 SOS 678101 HAS SOPS 675250 HAS SOUS 110725 HAS SOUPS 108168 WITH SCORE 108846.101
AT ITER 2236 NEW BEST:: SOT 1128356 SOS 678138 HAS SOPS 675287 HAS SOUS 110606 HAS SOUPS 108049 WITH SCORE 108727.138
AT ITER 2242 NEW BEST:: SOT 1128189 SOS 677971 HAS SOPS 675120 HAS SOUS 110439 HAS SOUPS 107882 WITH SCORE 108559.971
AT ITER 2267 NEW BEST:: SOT 1128189 SOS 677949 HAS SOPS 675148 HAS SOUS 110382 HAS SOUPS 107875 WITH SCORE 108552.949
AT ITER 2271 NEW BEST:: SOT 1128189 SOS 677949 HAS SOPS 675148 HAS SOUS 110099 HAS SOUPS 107592 WITH SCORE 108269.949
AT ITER 2277 NEW BEST:: SOT 1128189 SOS 677949 HAS SOPS 675148 HAS SOUS 110087 HAS SOUPS 107580 WITH SCORE 108257.949
AT ITER 2289 NEW BEST:: SOT 1129177 SOS 678937 HAS SOPS 676136 HAS SOUS 109896 HAS SOUPS 107389 WITH SCORE 108067.937
AT ITER 2304 NEW BEST:: SOT 1129236 SOS 680562 HAS SOPS 677671 HAS SOUS 109808 HAS SOUPS 107283 WITH SCORE 107963.562
AT ITER 2309 NEW BEST:: SOT 1129268 SOS 680164 HAS SOPS 677307 HAS SOUS 109761 HAS SOUPS 107244 WITH SCORE 107924.164
AT ITER 2312 NEW BEST:: SOT 1129268 SOS 678388 HAS SOPS 675651 HAS SOUS 109402 HAS SOUPS 106885 WITH SCORE 107563.388
AT ITER 2320 NEW BEST:: SOT 1129268 SOS 678843 HAS SOPS 676085 HAS SOUS 109409 HAS SOUPS 106871 WITH SCORE 107549.843
AT ITER 2328 NEW BEST:: SOT 1128746 SOS 678321 HAS SOPS 675563 HAS SOUS 109385 HAS SOUPS 106847 WITH SCORE 107525.321
AT ITER 2334 NEW BEST:: SOT 1128760 SOS 678335 HAS SOPS 675577 HAS SOUS 109063 HAS SOUPS 106525 WITH SCORE 107203.335
AT ITER 2338 NEW BEST:: SOT 1128441 SOS 678016 HAS SOPS 675258 HAS SOUS 108733 HAS SOUPS 106195 WITH SCORE 106873.016
AT ITER 2348 NEW BEST:: SOT 1128441 SOS 679028 HAS SOPS 676270 HAS SOUS 108687 HAS SOUPS 106149 WITH SCORE 106828.028
AT ITER 2354 NEW BEST:: SOT 1128463 SOS 679050 HAS SOPS 676292 HAS SOUS 108161 HAS SOUPS 105623 WITH SCORE 106302.05
AT ITER 2365 NEW BEST:: SOT 1128463 SOS 678978 HAS SOPS 676220 HAS SOUS 108161 HAS SOUPS 105623 WITH SCORE 106301.978
AT ITER 2415 NEW BEST:: SOT 1128463 SOS 679017 HAS SOPS 676272 HAS SOUS 108135 HAS SOUPS 105610 WITH SCORE 106289.017
AT ITER 2424 NEW BEST:: SOT 1128463 SOS 678765 HAS SOPS 676044 HAS SOUS 108111 HAS SOUPS 105610 WITH SCORE 106288.765
AT ITER 2428 NEW BEST:: SOT 1128463 SOS 680099 HAS SOPS 677378 HAS SOUS 108082 HAS SOUPS 105581 WITH SCORE 106261.099
AT ITER 2465 NEW BEST:: SOT 1128567 SOS 680483 HAS SOPS 677762 HAS SOUS 108059 HAS SOUPS 105558 WITH SCORE 106238.483
AT ITER 2466 NEW BEST:: SOT 1128111 SOS 680027 HAS SOPS 677306 HAS SOUS 107584 HAS SOUPS 105083 WITH SCORE 105763.027
AT ITER 2474 NEW BEST:: SOT 1128473 SOS 680893 HAS SOPS 678172 HAS SOUS 107274 HAS SOUPS 104773 WITH SCORE 105453.893
AT ITER 2476 NEW BEST:: SOT 1128500 SOS 681466 HAS SOPS 678719 HAS SOUS 107249 HAS SOUPS 104722 WITH SCORE 105403.466
AT ITER 2479 NEW BEST:: SOT 1127337 SOS 680303 HAS SOPS 677511 HAS SOUS 105955 HAS SOUPS 103383 WITH SCORE 104063.303
AT ITER 2495 NEW BEST:: SOT 1127337 SOS 680063 HAS SOPS 677271 HAS SOUS 105955 HAS SOUPS 103383 WITH SCORE 104063.063
AT ITER 2521 NEW BEST:: SOT 1127307 SOS 680033 HAS SOPS 677241 HAS SOUS 105953 HAS SOUPS 103381 WITH SCORE 104061.033
AT ITER 2533 NEW BEST:: SOT 1127329 SOS 679627 HAS SOPS 676875 HAS SOUS 105542 HAS SOUPS 102970 WITH SCORE 103649.627
AT ITER 2546 NEW BEST:: SOT 1126871 SOS 679169 HAS SOPS 676417 HAS SOUS 105058 HAS SOUPS 102486 WITH SCORE 103165.169
AT ITER 2556 NEW BEST:: SOT 1126155 SOS 678379 HAS SOPS 675627 HAS SOUS 104310 HAS SOUPS 101738 WITH SCORE 102416.379
AT ITER 2565 NEW BEST:: SOT 1126155 SOS 677875 HAS SOPS 675123 HAS SOUS 104310 HAS SOUPS 101738 WITH SCORE 102415.875
AT ITER 2566 NEW BEST:: SOT 1126151 SOS 677871 HAS SOPS 675119 HAS SOUS 104306 HAS SOUPS 101734 WITH SCORE 102411.871
AT ITER 2594 NEW BEST:: SOT 1126172 SOS 678241 HAS SOPS 675455 HAS SOUS 104285 HAS SOUPS 101679 WITH SCORE 102357.241
AT ITER 2601 NEW BEST:: SOT 1125378 SOS 677447 HAS SOPS 674661 HAS SOUS 103597 HAS SOUPS 100991 WITH SCORE 101668.447
AT ITER 2603 NEW BEST:: SOT 1125015 SOS 677084 HAS SOPS 674298 HAS SOUS 103555 HAS SOUPS 100949 WITH SCORE 101626.084
AT ITER 2623 NEW BEST:: SOT 1125022 SOS 677427 HAS SOPS 674641 HAS SOUS 103441 HAS SOUPS 100835 WITH SCORE 101512.427
AT ITER 2640 NEW BEST:: SOT 1125022 SOS 676611 HAS SOPS 673825 HAS SOUS 103441 HAS SOUPS 100835 WITH SCORE 101511.611
AT ITER 2674 NEW BEST:: SOT 1125011 SOS 681881 HAS SOPS 679095 HAS SOUS 103431 HAS SOUPS 100825 WITH SCORE 101506.881
AT ITER 2681 NEW BEST:: SOT 1124988 SOS 681858 HAS SOPS 679072 HAS SOUS 103386 HAS SOUPS 100780 WITH SCORE 101461.858
AT ITER 2693 NEW BEST:: SOT 1125026 SOS 681896 HAS SOPS 679110 HAS SOUS 103289 HAS SOUPS 100683 WITH SCORE 101364.896
AT ITER 2705 NEW BEST:: SOT 1125026 SOS 680696 HAS SOPS 677910 HAS SOUS 103289 HAS SOUPS 100683 WITH SCORE 101363.696
AT ITER 2709 NEW BEST:: SOT 1125004 SOS 680674 HAS SOPS 677888 HAS SOUS 102766 HAS SOUPS 100160 WITH SCORE 100840.674
AT ITER 2715 NEW BEST:: SOT 1124946 SOS 680616 HAS SOPS 677830 HAS SOUS 102729 HAS SOUPS 100123 WITH SCORE 100803.616
AT ITER 2718 NEW BEST:: SOT 1123638 SOS 679308 HAS SOPS 676504 HAS SOUS 102599 HAS SOUPS 99975 WITH SCORE 100654.308
AT ITER 2763 NEW BEST:: SOT 1123494 SOS 675238 HAS SOPS 672434 HAS SOUS 102443 HAS SOUPS 99819 WITH SCORE 100494.238
AT ITER 2807 NEW BEST:: SOT 1124224 SOS 676876 HAS SOPS 674072 HAS SOUS 102306 HAS SOUPS 99682 WITH SCORE 100358.876
AT ITER 2808 NEW BEST:: SOT 1123699 SOS 676120 HAS SOPS 673295 HAS SOUS 102285 HAS SOUPS 99640 WITH SCORE 100316.12
AT ITER 2811 NEW BEST:: SOT 1122640 SOS 677501 HAS SOPS 674676 HAS SOUS 102258 HAS SOUPS 99613 WITH SCORE 100290.501
AT ITER 2815 NEW BEST:: SOT 1122623 SOS 677484 HAS SOPS 674665 HAS SOUS 102241 HAS SOUPS 99602 WITH SCORE 100279.484
AT ITER 2816 NEW BEST:: SOT 1122766 SOS 677627 HAS SOPS 674808 HAS SOUS 102173 HAS SOUPS 99534 WITH SCORE 100211.627
AT ITER 2828 NEW BEST:: SOT 1122733 SOS 677594 HAS SOPS 674775 HAS SOUS 102128 HAS SOUPS 99489 WITH SCORE 100166.594
AT ITER 2838 NEW BEST:: SOT 1122802 SOS 677663 HAS SOPS 674844 HAS SOUS 102043 HAS SOUPS 99404 WITH SCORE 100081.663
AT ITER 2839 NEW BEST:: SOT 1122802 SOS 676871 HAS SOPS 674052 HAS SOUS 102043 HAS SOUPS 99404 WITH SCORE 100080.871
AT ITER 2846 NEW BEST:: SOT 1122802 SOS 676589 HAS SOPS 673770 HAS SOUS 102043 HAS SOUPS 99404 WITH SCORE 100080.589
AT ITER 2847 NEW BEST:: SOT 1122802 SOS 676229 HAS SOPS 673410 HAS SOUS 102043 HAS SOUPS 99404 WITH SCORE 100080.229
AT ITER 2856 NEW BEST:: SOT 1121886 SOS 675313 HAS SOPS 672494 HAS SOUS 101697 HAS SOUPS 99058 WITH SCORE 99733.313
AT ITER 2889 NEW BEST:: SOT 1121894 SOS 675321 HAS SOPS 672522 HAS SOUS 101443 HAS SOUPS 98824 WITH SCORE 99499.321
AT ITER 2917 NEW BEST:: SOT 1120344 SOS 675639 HAS SOPS 672840 HAS SOUS 100770 HAS SOUPS 98151 WITH SCORE 98826.639
AT ITER 2940 NEW BEST:: SOT 1120445 SOS 675740 HAS SOPS 672941 HAS SOUS 100757 HAS SOUPS 98138 WITH SCORE 98813.74
AT ITER 2946 NEW BEST:: SOT 1120576 SOS 675871 HAS SOPS 673072 HAS SOUS 100680 HAS SOUPS 98061 WITH SCORE 98736.871
AT ITER 2949 NEW BEST:: SOT 1120576 SOS 675367 HAS SOPS 672568 HAS SOUS 100680 HAS SOUPS 98061 WITH SCORE 98736.367
AT ITER 2958 NEW BEST:: SOT 1120576 SOS 675965 HAS SOPS 673166 HAS SOUS 100667 HAS SOUPS 98048 WITH SCORE 98723.965
AT ITER 2959 NEW BEST:: SOT 1121112 SOS 676501 HAS SOPS 673702 HAS SOUS 100478 HAS SOUPS 97859 WITH SCORE 98535.501
AT ITER 2961 NEW BEST:: SOT 1121112 SOS 676054 HAS SOPS 673237 HAS SOUS 100486 HAS SOUPS 97849 WITH SCORE 98525.054
AT ITER 2979 NEW BEST:: SOT 1121112 SOS 676917 HAS SOPS 674061 HAS SOUS 100512 HAS SOUPS 97836 WITH SCORE 98512.917
AT ITER 2992 NEW BEST:: SOT 1121545 SOS 677350 HAS SOPS 674494 HAS SOUS 100025 HAS SOUPS 97349 WITH SCORE 98026.35
AT ITER 2998 NEW BEST:: SOT 1121560 SOS 677365 HAS SOPS 674509 HAS SOUS 99696 HAS SOUPS 97020 WITH SCORE 97697.365
AT ITER 3017 NEW BEST:: SOT 1121560 SOS 676923 HAS SOPS 674067 HAS SOUS 99679 HAS SOUPS 97003 WITH SCORE 97679.923
AT ITER 3023 NEW BEST:: SOT 1121410 SOS 676773 HAS SOPS 673917 HAS SOUS 99529 HAS SOUPS 96853 WITH SCORE 97529.773
AT ITER 3027 NEW BEST:: SOT 1121195 SOS 676558 HAS SOPS 673702 HAS SOUS 99482 HAS SOUPS 96806 WITH SCORE 97482.558
AT ITER 3053 NEW BEST:: SOT 1119563 SOS 674410 HAS SOPS 671558 HAS SOUS 97784 HAS SOUPS 95112 WITH SCORE 95786.41
AT ITER 3054 NEW BEST:: SOT 1118983 SOS 673326 HAS SOPS 670474 HAS SOUS 97423 HAS SOUPS 94751 WITH SCORE 95424.326
AT ITER 3057 NEW BEST:: SOT 1118954 SOS 673261 HAS SOPS 670405 HAS SOUS 97325 HAS SOUPS 94649 WITH SCORE 95322.261
AT ITER 3062 NEW BEST:: SOT 1119403 SOS 673710 HAS SOPS 670854 HAS SOUS 97258 HAS SOUPS 94582 WITH SCORE 95255.71
AT ITER 3064 NEW BEST:: SOT 1119670 SOS 673977 HAS SOPS 671121 HAS SOUS 96972 HAS SOUPS 94296 WITH SCORE 94969.977
AT ITER 3081 NEW BEST:: SOT 1119690 SOS 673997 HAS SOPS 671141 HAS SOUS 96872 HAS SOUPS 94196 WITH SCORE 94869.997
AT ITER 3085 NEW BEST:: SOT 1119742 SOS 674057 HAS SOPS 671201 HAS SOUS 96817 HAS SOUPS 94141 WITH SCORE 94815.057
AT ITER 3118 NEW BEST:: SOT 1119742 SOS 674033 HAS SOPS 671177 HAS SOUS 96811 HAS SOUPS 94135 WITH SCORE 94809.033
AT ITER 3129 NEW BEST:: SOT 1119742 SOS 673858 HAS SOPS 671009 HAS SOUS 96804 HAS SOUPS 94135 WITH SCORE 94808.858
AT ITER 3134 NEW BEST:: SOT 1119447 SOS 673563 HAS SOPS 670714 HAS SOUS 95539 HAS SOUPS 92870 WITH SCORE 93543.563
AT ITER 3149 NEW BEST:: SOT 1119476 SOS 673708 HAS SOPS 670859 HAS SOUS 95459 HAS SOUPS 92790 WITH SCORE 93463.708
AT ITER 3156 NEW BEST:: SOT 1119476 SOS 673866 HAS SOPS 671003 HAS SOUS 95459 HAS SOUPS 92776 WITH SCORE 93449.866
AT ITER 3200 NEW BEST:: SOT 1119476 SOS 673722 HAS SOPS 670862 HAS SOUS 95456 HAS SOUPS 92776 WITH SCORE 93449.722
AT ITER 3202 NEW BEST:: SOT 1119476 SOS 673386 HAS SOPS 670526 HAS SOUS 95456 HAS SOUPS 92776 WITH SCORE 93449.386
AT ITER 3204 NEW BEST:: SOT 1119278 SOS 673188 HAS SOPS 670328 HAS SOUS 95151 HAS SOUPS 92471 WITH SCORE 93144.188
AT ITER 3205 NEW BEST:: SOT 1119278 SOS 673188 HAS SOPS 670328 HAS SOUS 95135 HAS SOUPS 92455 WITH SCORE 93128.188
AT ITER 3211 NEW BEST:: SOT 1117954 SOS 671923 HAS SOPS 669036 HAS SOUS 95151 HAS SOUPS 92444 WITH SCORE 93115.923
AT ITER 3214 NEW BEST:: SOT 1117813 SOS 671886 HAS SOPS 668999 HAS SOUS 95036 HAS SOUPS 92329 WITH SCORE 93000.886
AT ITER 3216 NEW BEST:: SOT 1118181 SOS 672261 HAS SOPS 669374 HAS SOUS 95020 HAS SOUPS 92313 WITH SCORE 92985.261
AT ITER 3234 NEW BEST:: SOT 1117905 SOS 671985 HAS SOPS 669098 HAS SOUS 94594 HAS SOUPS 91887 WITH SCORE 92558.985
AT ITER 3237 NEW BEST:: SOT 1117905 SOS 671985 HAS SOPS 669098 HAS SOUS 94591 HAS SOUPS 91884 WITH SCORE 92555.985
AT ITER 3243 NEW BEST:: SOT 1117881 SOS 671961 HAS SOPS 669074 HAS SOUS 94572 HAS SOUPS 91865 WITH SCORE 92536.961
AT ITER 3248 NEW BEST:: SOT 1117881 SOS 672537 HAS SOPS 669650 HAS SOUS 94561 HAS SOUPS 91854 WITH SCORE 92526.537
AT ITER 3251 NEW BEST:: SOT 1117881 SOS 672535 HAS SOPS 669648 HAS SOUS 94560 HAS SOUPS 91853 WITH SCORE 92525.535
AT ITER 3259 NEW BEST:: SOT 1117840 SOS 672494 HAS SOPS 669607 HAS SOUS 94558 HAS SOUPS 91851 WITH SCORE 92523.494
AT ITER 3286 NEW BEST:: SOT 1117840 SOS 671946 HAS SOPS 669083 HAS SOUS 94521 HAS SOUPS 91838 WITH SCORE 92509.946
AT ITER 3307 NEW BEST:: SOT 1117457 SOS 671563 HAS SOPS 668700 HAS SOUS 94477 HAS SOUPS 91794 WITH SCORE 92465.563
AT ITER 3310 NEW BEST:: SOT 1117411 SOS 671517 HAS SOPS 668654 HAS SOUS 94431 HAS SOUPS 91748 WITH SCORE 92419.517
AT ITER 3317 NEW BEST:: SOT 1117411 SOS 671517 HAS SOPS 668654 HAS SOUS 94391 HAS SOUPS 91708 WITH SCORE 92379.517
AT ITER 3319 NEW BEST:: SOT 1117342 SOS 671448 HAS SOPS 668585 HAS SOUS 94301 HAS SOUPS 91618 WITH SCORE 92289.448
AT ITER 3342 NEW BEST:: SOT 1117378 SOS 671690 HAS SOPS 668787 HAS SOUS 94287 HAS SOUPS 91564 WITH SCORE 92235.69
AT ITER 3360 NEW BEST:: SOT 1116736 SOS 671048 HAS SOPS 668145 HAS SOUS 94192 HAS SOUPS 91469 WITH SCORE 92140.048
AT ITER 3386 NEW BEST:: SOT 1116708 SOS 671020 HAS SOPS 668117 HAS SOUS 94134 HAS SOUPS 91411 WITH SCORE 92082.02
AT ITER 3408 NEW BEST:: SOT 1118535 SOS 672847 HAS SOPS 669944 HAS SOUS 93860 HAS SOUPS 91137 WITH SCORE 91809.847
AT ITER 3409 NEW BEST:: SOT 1118719 SOS 673061 HAS SOPS 670158 HAS SOUS 93847 HAS SOUPS 91124 WITH SCORE 91797.061
AT ITER 3424 NEW BEST:: SOT 1117131 SOS 671473 HAS SOPS 668570 HAS SOUS 93296 HAS SOUPS 90573 WITH SCORE 91244.473
AT ITER 3436 NEW BEST:: SOT 1117131 SOS 671689 HAS SOPS 668786 HAS SOUS 93221 HAS SOUPS 90498 WITH SCORE 91169.689
AT ITER 3479 NEW BEST:: SOT 1116820 SOS 671378 HAS SOPS 668469 HAS SOUS 93159 HAS SOUPS 90430 WITH SCORE 91101.378
AT ITER 3481 NEW BEST:: SOT 1117512 SOS 672098 HAS SOPS 669189 HAS SOUS 92509 HAS SOUPS 89780 WITH SCORE 90452.098
AT ITER 3485 NEW BEST:: SOT 1116856 SOS 671966 HAS SOPS 669057 HAS SOUS 91941 HAS SOUPS 89212 WITH SCORE 89883.966
AT ITER 3488 NEW BEST:: SOT 1116622 SOS 671732 HAS SOPS 668823 HAS SOUS 91481 HAS SOUPS 88752 WITH SCORE 89423.732
AT ITER 3512 NEW BEST:: SOT 1116115 SOS 671561 HAS SOPS 668652 HAS SOUS 91318 HAS SOUPS 88589 WITH SCORE 89260.561
AT ITER 3513 NEW BEST:: SOT 1116400 SOS 672802 HAS SOPS 669893 HAS SOUS 91290 HAS SOUPS 88561 WITH SCORE 89233.802
AT ITER 3514 NEW BEST:: SOT 1116536 SOS 673158 HAS SOPS 670249 HAS SOUS 90190 HAS SOUPS 87461 WITH SCORE 88134.158
AT ITER 3517 NEW BEST:: SOT 1116536 SOS 673102 HAS SOPS 670193 HAS SOUS 90188 HAS SOUPS 87459 WITH SCORE 88132.102
AT ITER 3520 NEW BEST:: SOT 1116491 SOS 673113 HAS SOPS 670204 HAS SOUS 89767 HAS SOUPS 87038 WITH SCORE 87711.113
AT ITER 3524 NEW BEST:: SOT 1116491 SOS 672979 HAS SOPS 670070 HAS SOUS 89767 HAS SOUPS 87038 WITH SCORE 87710.979
AT ITER 3537 NEW BEST:: SOT 1116491 SOS 672229 HAS SOPS 669320 HAS SOUS 89461 HAS SOUPS 86732 WITH SCORE 87404.229
AT ITER 3539 NEW BEST:: SOT 1116353 SOS 672091 HAS SOPS 669182 HAS SOUS 89455 HAS SOUPS 86726 WITH SCORE 87398.091
AT ITER 3548 NEW BEST:: SOT 1116905 SOS 674964 HAS SOPS 671977 HAS SOUS 89218 HAS SOUPS 86411 WITH SCORE 87085.964
AT ITER 3575 NEW BEST:: SOT 1116869 SOS 674928 HAS SOPS 671941 HAS SOUS 88788 HAS SOUPS 85981 WITH SCORE 86655.928
AT ITER 3576 NEW BEST:: SOT 1116320 SOS 670925 HAS SOPS 667938 HAS SOUS 88313 HAS SOUPS 85506 WITH SCORE 86176.925
AT ITER 3589 NEW BEST:: SOT 1116320 SOS 670829 HAS SOPS 667842 HAS SOUS 88309 HAS SOUPS 85502 WITH SCORE 86172.829
AT ITER 3597 NEW BEST:: SOT 1116320 SOS 670829 HAS SOPS 667842 HAS SOUS 88303 HAS SOUPS 85496 WITH SCORE 86166.829
AT ITER 3600 NEW BEST:: SOT 1116320 SOS 670829 HAS SOPS 667842 HAS SOUS 88282 HAS SOUPS 85475 WITH SCORE 86145.829
AT ITER 3620 NEW BEST:: SOT 1117464 SOS 668231 HAS SOPS 665244 HAS SOUS 88254 HAS SOUPS 85447 WITH SCORE 86115.231
AT ITER 3625 NEW BEST:: SOT 1114737 SOS 666962 HAS SOPS 663975 HAS SOUS 88016 HAS SOUPS 85209 WITH SCORE 85875.962
AT ITER 3635 NEW BEST:: SOT 1114775 SOS 667069 HAS SOPS 664082 HAS SOUS 87807 HAS SOUPS 85000 WITH SCORE 85667.069
AT ITER 3643 NEW BEST:: SOT 1114012 SOS 666306 HAS SOPS 663319 HAS SOUS 87695 HAS SOUPS 84888 WITH SCORE 85554.306
AT ITER 3646 NEW BEST:: SOT 1114012 SOS 666603 HAS SOPS 663627 HAS SOUS 87673 HAS SOUPS 84877 WITH SCORE 85543.603
AT ITER 3651 NEW BEST:: SOT 1114012 SOS 666603 HAS SOPS 663627 HAS SOUS 87666 HAS SOUPS 84870 WITH SCORE 85536.603
AT ITER 3652 NEW BEST:: SOT 1114012 SOS 666603 HAS SOPS 663627 HAS SOUS 87575 HAS SOUPS 84779 WITH SCORE 85445.603
AT ITER 3688 NEW BEST:: SOT 1114077 SOS 666648 HAS SOPS 663790 HAS SOUS 85630 HAS SOUPS 82952 WITH SCORE 83618.648
AT ITER 3690 NEW BEST:: SOT 1113919 SOS 666490 HAS SOPS 663632 HAS SOUS 85622 HAS SOUPS 82944 WITH SCORE 83610.49
AT ITER 3714 NEW BEST:: SOT 1114032 SOS 666819 HAS SOPS 663961 HAS SOUS 85451 HAS SOUPS 82773 WITH SCORE 83439.819
AT ITER 3720 NEW BEST:: SOT 1114032 SOS 666243 HAS SOPS 663385 HAS SOUS 85451 HAS SOUPS 82773 WITH SCORE 83439.243
AT ITER 3728 NEW BEST:: SOT 1114032 SOS 664803 HAS SOPS 661945 HAS SOUS 85451 HAS SOUPS 82773 WITH SCORE 83437.803
AT ITER 3729 NEW BEST:: SOT 1113900 SOS 664671 HAS SOPS 661813 HAS SOUS 85450 HAS SOUPS 82772 WITH SCORE 83436.671
AT ITER 3733 NEW BEST:: SOT 1113914 SOS 664685 HAS SOPS 661827 HAS SOUS 85404 HAS SOUPS 82726 WITH SCORE 83390.685
AT ITER 3740 NEW BEST:: SOT 1113914 SOS 663629 HAS SOPS 660771 HAS SOUS 85382 HAS SOUPS 82704 WITH SCORE 83367.629
AT ITER 3752 NEW BEST:: SOT 1113914 SOS 663629 HAS SOPS 660771 HAS SOUS 85378 HAS SOUPS 82700 WITH SCORE 83363.629
AT ITER 3753 NEW BEST:: SOT 1113914 SOS 662617 HAS SOPS 659759 HAS SOUS 85378 HAS SOUPS 82700 WITH SCORE 83362.617
AT ITER 3770 NEW BEST:: SOT 1113914 SOS 662683 HAS SOPS 659792 HAS SOUS 85395 HAS SOUPS 82684 WITH SCORE 83346.683
AT ITER 3780 NEW BEST:: SOT 1113432 SOS 662641 HAS SOPS 659750 HAS SOUS 84831 HAS SOUPS 82120 WITH SCORE 82782.641
AT ITER 3784 NEW BEST:: SOT 1113432 SOS 662689 HAS SOPS 659818 HAS SOUS 84794 HAS SOUPS 82103 WITH SCORE 82765.689
AT ITER 3786 NEW BEST:: SOT 1113349 SOS 662606 HAS SOPS 659735 HAS SOUS 84719 HAS SOUPS 82028 WITH SCORE 82690.606
AT ITER 3816 NEW BEST:: SOT 1113349 SOS 663110 HAS SOPS 660215 HAS SOUS 84719 HAS SOUPS 82004 WITH SCORE 82667.11
AT ITER 3842 NEW BEST:: SOT 1113350 SOS 663893 HAS SOPS 661001 HAS SOUS 84584 HAS SOUPS 81872 WITH SCORE 82535.893
AT ITER 3856 NEW BEST:: SOT 1113621 SOS 664408 HAS SOPS 661516 HAS SOUS 84316 HAS SOUPS 81604 WITH SCORE 82268.408
AT ITER 3860 NEW BEST:: SOT 1112463 SOS 663122 HAS SOPS 660230 HAS SOUS 84046 HAS SOUPS 81334 WITH SCORE 81997.122
AT ITER 3865 NEW BEST:: SOT 1112438 SOS 663097 HAS SOPS 660205 HAS SOUS 84045 HAS SOUPS 81333 WITH SCORE 81996.097
AT ITER 3874 NEW BEST:: SOT 1112438 SOS 662837 HAS SOPS 659961 HAS SOUS 84005 HAS SOUPS 81309 WITH SCORE 81971.837
AT ITER 3877 NEW BEST:: SOT 1112283 SOS 662924 HAS SOPS 660048 HAS SOUS 83861 HAS SOUPS 81165 WITH SCORE 81827.924
AT ITER 3907 NEW BEST:: SOT 1111969 SOS 662514 HAS SOPS 659558 HAS SOUS 83531 HAS SOUPS 80755 WITH SCORE 81417.514
AT ITER 3920 NEW BEST:: SOT 1111938 SOS 662483 HAS SOPS 659527 HAS SOUS 83448 HAS SOUPS 80672 WITH SCORE 81334.483
AT ITER 3950 NEW BEST:: SOT 1111938 SOS 661211 HAS SOPS 658255 HAS SOUS 83448 HAS SOUPS 80672 WITH SCORE 81333.211
AT ITER 3956 NEW BEST:: SOT 1111938 SOS 661211 HAS SOPS 658255 HAS SOUS 83436 HAS SOUPS 80660 WITH SCORE 81321.211
AT ITER 3994 NEW BEST:: SOT 1111938 SOS 661195 HAS SOPS 658255 HAS SOUS 83420 HAS SOUPS 80660 WITH SCORE 81321.195
AT ITER 4002 NEW BEST:: SOT 1111932 SOS 661213 HAS SOPS 658273 HAS SOUS 83400 HAS SOUPS 80640 WITH SCORE 81301.213
AT ITER 4009 NEW BEST:: SOT 1111487 SOS 660768 HAS SOPS 657828 HAS SOUS 83327 HAS SOUPS 80567 WITH SCORE 81227.768
AT ITER 4058 NEW BEST:: SOT 1110935 SOS 660216 HAS SOPS 657276 HAS SOUS 83327 HAS SOUPS 80567 WITH SCORE 81227.216
AT ITER 4059 NEW BEST:: SOT 1110951 SOS 660232 HAS SOPS 657292 HAS SOUS 83295 HAS SOUPS 80535 WITH SCORE 81195.232
AT ITER 4078 NEW BEST:: SOT 1110652 SOS 654629 HAS SOPS 651689 HAS SOUS 82987 HAS SOUPS 80227 WITH SCORE 80881.629
AT ITER 4097 NEW BEST:: SOT 1110668 SOS 654872 HAS SOPS 651925 HAS SOUS 82936 HAS SOUPS 80169 WITH SCORE 80823.872
AT ITER 4114 NEW BEST:: SOT 1111245 SOS 655449 HAS SOPS 652502 HAS SOUS 82449 HAS SOUPS 79682 WITH SCORE 80337.449
AT ITER 4118 NEW BEST:: SOT 1111170 SOS 655371 HAS SOPS 652424 HAS SOUS 82446 HAS SOUPS 79679 WITH SCORE 80334.371
AT ITER 4120 NEW BEST:: SOT 1111806 SOS 656155 HAS SOPS 653208 HAS SOUS 82442 HAS SOUPS 79675 WITH SCORE 80331.155
AT ITER 4133 NEW BEST:: SOT 1112057 SOS 656550 HAS SOPS 653603 HAS SOUS 82260 HAS SOUPS 79493 WITH SCORE 80149.55
AT ITER 4140 NEW BEST:: SOT 1111338 SOS 656639 HAS SOPS 653692 HAS SOUS 81879 HAS SOUPS 79112 WITH SCORE 79768.639
AT ITER 4155 NEW BEST:: SOT 1111338 SOS 655974 HAS SOPS 653056 HAS SOUS 81835 HAS SOUPS 79097 WITH SCORE 79752.974
AT ITER 4156 NEW BEST:: SOT 1111322 SOS 655958 HAS SOPS 653040 HAS SOUS 81802 HAS SOUPS 79064 WITH SCORE 79719.958
AT ITER 4194 NEW BEST:: SOT 1111523 SOS 656247 HAS SOPS 653329 HAS SOUS 81575 HAS SOUPS 78837 WITH SCORE 79493.247
AT ITER 4196 NEW BEST:: SOT 1110851 SOS 657735 HAS SOPS 654817 HAS SOUS 81028 HAS SOUPS 78290 WITH SCORE 78947.735
AT ITER 4199 NEW BEST:: SOT 1110835 SOS 657718 HAS SOPS 654801 HAS SOUS 80985 HAS SOUPS 78248 WITH SCORE 78905.718
AT ITER 4200 NEW BEST:: SOT 1110835 SOS 657694 HAS SOPS 654777 HAS SOUS 80985 HAS SOUPS 78248 WITH SCORE 78905.694
AT ITER 4218 NEW BEST:: SOT 1110492 SOS 657351 HAS SOPS 654434 HAS SOUS 80653 HAS SOUPS 77916 WITH SCORE 78573.351
AT ITER 4248 NEW BEST:: SOT 1110475 SOS 657374 HAS SOPS 654457 HAS SOUS 80252 HAS SOUPS 77515 WITH SCORE 78172.374
AT ITER 4251 NEW BEST:: SOT 1110475 SOS 656562 HAS SOPS 653645 HAS SOUS 80252 HAS SOUPS 77515 WITH SCORE 78171.562
AT ITER 4255 NEW BEST:: SOT 1110334 SOS 656421 HAS SOPS 653504 HAS SOUS 79873 HAS SOUPS 77136 WITH SCORE 77792.421
AT ITER 4256 NEW BEST:: SOT 1109925 SOS 656012 HAS SOPS 653095 HAS SOUS 79827 HAS SOUPS 77090 WITH SCORE 77746.012
AT ITER 4267 NEW BEST:: SOT 1108598 SOS 658477 HAS SOPS 655560 HAS SOUS 79372 HAS SOUPS 76635 WITH SCORE 77293.477
AT ITER 4295 NEW BEST:: SOT 1109127 SOS 659006 HAS SOPS 656089 HAS SOUS 79217 HAS SOUPS 76480 WITH SCORE 77139.006
AT ITER 4301 NEW BEST:: SOT 1109127 SOS 659006 HAS SOPS 656089 HAS SOUS 79088 HAS SOUPS 76351 WITH SCORE 77010.006
AT ITER 4319 NEW BEST:: SOT 1109127 SOS 658964 HAS SOPS 656041 HAS SOUS 79094 HAS SOUPS 76351 WITH SCORE 77009.964
AT ITER 4324 NEW BEST:: SOT 1108351 SOS 660698 HAS SOPS 657775 HAS SOUS 78361 HAS SOUPS 75618 WITH SCORE 76278.698
AT ITER 4334 NEW BEST:: SOT 1107562 SOS 659813 HAS SOPS 656890 HAS SOUS 78340 HAS SOUPS 75597 WITH SCORE 76256.813
AT ITER 4336 NEW BEST:: SOT 1107562 SOS 659309 HAS SOPS 656386 HAS SOUS 78340 HAS SOUPS 75597 WITH SCORE 76256.309
AT ITER 4340 NEW BEST:: SOT 1107482 SOS 659273 HAS SOPS 656350 HAS SOUS 78110 HAS SOUPS 75367 WITH SCORE 76026.273
AT ITER 4358 NEW BEST:: SOT 1107482 SOS 659273 HAS SOPS 656350 HAS SOUS 78100 HAS SOUPS 75357 WITH SCORE 76016.273
AT ITER 4365 NEW BEST:: SOT 1107107 SOS 658898 HAS SOPS 655975 HAS SOUS 78085 HAS SOUPS 75342 WITH SCORE 76000.898
AT ITER 4376 NEW BEST:: SOT 1107121 SOS 658912 HAS SOPS 655989 HAS SOUS 78080 HAS SOUPS 75337 WITH SCORE 75995.912
AT ITER 4379 NEW BEST:: SOT 1107121 SOS 659366 HAS SOPS 656461 HAS SOUS 78052 HAS SOUPS 75327 WITH SCORE 75986.366
AT ITER 4391 NEW BEST:: SOT 1107121 SOS 659366 HAS SOPS 656461 HAS SOUS 78051 HAS SOUPS 75326 WITH SCORE 75985.366
AT ITER 4438 NEW BEST:: SOT 1107121 SOS 659384 HAS SOPS 656485 HAS SOUS 78039 HAS SOUPS 75320 WITH SCORE 75979.384
AT ITER 4439 NEW BEST:: SOT 1107133 SOS 659780 HAS SOPS 656881 HAS SOUS 77979 HAS SOUPS 75260 WITH SCORE 75919.78
AT ITER 4459 NEW BEST:: SOT 1107413 SOS 660060 HAS SOPS 657161 HAS SOUS 77971 HAS SOUPS 75252 WITH SCORE 75912.06
AT ITER 4463 NEW BEST:: SOT 1106897 SOS 659544 HAS SOPS 656645 HAS SOUS 77916 HAS SOUPS 75197 WITH SCORE 75856.544
AT ITER 4466 NEW BEST:: SOT 1106897 SOS 659832 HAS SOPS 656933 HAS SOUS 77915 HAS SOUPS 75196 WITH SCORE 75855.832
AT ITER 4500 NEW BEST:: SOT 1106008 SOS 658391 HAS SOPS 655492 HAS SOUS 77914 HAS SOUPS 75195 WITH SCORE 75853.391
AT ITER 4521 NEW BEST:: SOT 1106407 SOS 658790 HAS SOPS 655891 HAS SOUS 77577 HAS SOUPS 74858 WITH SCORE 75516.79
AT ITER 4524 NEW BEST:: SOT 1106340 SOS 658729 HAS SOPS 655830 HAS SOUS 77544 HAS SOUPS 74825 WITH SCORE 75483.729
AT ITER 4547 NEW BEST:: SOT 1106333 SOS 658998 HAS SOPS 656099 HAS SOUS 77541 HAS SOUPS 74822 WITH SCORE 75480.998
AT ITER 4599 NEW BEST:: SOT 1106521 SOS 659186 HAS SOPS 656287 HAS SOUS 77435 HAS SOUPS 74716 WITH SCORE 75375.186
AT ITER 4681 NEW BEST:: SOT 1106373 SOS 659038 HAS SOPS 656139 HAS SOUS 77352 HAS SOUPS 74633 WITH SCORE 75292.038
AT ITER 4697 NEW BEST:: SOT 1106253 SOS 658918 HAS SOPS 656019 HAS SOUS 77169 HAS SOUPS 74450 WITH SCORE 75108.918
AT ITER 4725 NEW BEST:: SOT 1105809 SOS 658474 HAS SOPS 655575 HAS SOUS 77139 HAS SOUPS 74420 WITH SCORE 75078.474
AT ITER 4819 NEW BEST:: SOT 1104401 SOS 656964 HAS SOPS 654065 HAS SOUS 76284 HAS SOUPS 73565 WITH SCORE 74221.964
AT ITER 4821 NEW BEST:: SOT 1104554 SOS 657117 HAS SOPS 654218 HAS SOUS 76208 HAS SOUPS 73489 WITH SCORE 74146.117
AT ITER 4848 NEW BEST:: SOT 1104766 SOS 657329 HAS SOPS 654480 HAS SOUS 75977 HAS SOUPS 73308 WITH SCORE 73965.329
AT ITER 4859 NEW BEST:: SOT 1104766 SOS 656489 HAS SOPS 653640 HAS SOUS 75977 HAS SOUPS 73308 WITH SCORE 73964.489
AT ITER 4880 NEW BEST:: SOT 1103808 SOS 656539 HAS SOPS 653690 HAS SOUS 75887 HAS SOUPS 73218 WITH SCORE 73874.539
AT ITER 4894 NEW BEST:: SOT 1103588 SOS 656319 HAS SOPS 653470 HAS SOUS 75873 HAS SOUPS 73204 WITH SCORE 73860.319
AT ITER 4919 NEW BEST:: SOT 1103588 SOS 658987 HAS SOPS 656186 HAS SOUS 75797 HAS SOUPS 73128 WITH SCORE 73786.987
AT ITER 4963 NEW BEST:: SOT 1103543 SOS 658954 HAS SOPS 656153 HAS SOUS 75708 HAS SOUPS 73039 WITH SCORE 73697.954
AT ITER 4981 NEW BEST:: SOT 1103489 SOS 658900 HAS SOPS 656099 HAS SOUS 75646 HAS SOUPS 72977 WITH SCORE 73635.9
AT ITER 4993 NEW BEST:: SOT 1102367 SOS 662242 HAS SOPS 659441 HAS SOUS 75630 HAS SOUPS 72961 WITH SCORE 73623.242
AT ITER 5023 NEW BEST:: SOT 1102367 SOS 662313 HAS SOPS 659513 HAS SOUS 75624 HAS SOUPS 72956 WITH SCORE 73618.313
AT ITER 5029 NEW BEST:: SOT 1102473 SOS 662419 HAS SOPS 659619 HAS SOUS 75153 HAS SOUPS 72485 WITH SCORE 73147.419
AT ITER 5044 NEW BEST:: SOT 1102987 SOS 663015 HAS SOPS 660215 HAS SOUS 74997 HAS SOUPS 72329 WITH SCORE 72992.015
AT ITER 5048 NEW BEST:: SOT 1102987 SOS 662855 HAS SOPS 659991 HAS SOUS 75021 HAS SOUPS 72289 WITH SCORE 72951.855
AT ITER 5059 NEW BEST:: SOT 1102987 SOS 662615 HAS SOPS 659751 HAS SOUS 75021 HAS SOUPS 72289 WITH SCORE 72951.615
AT ITER 5087 NEW BEST:: SOT 1102812 SOS 662440 HAS SOPS 659576 HAS SOUS 75007 HAS SOUPS 72275 WITH SCORE 72937.44
AT ITER 5103 NEW BEST:: SOT 1102859 SOS 663127 HAS SOPS 660263 HAS SOUS 74855 HAS SOUPS 72123 WITH SCORE 72786.127
AT ITER 5108 NEW BEST:: SOT 1102878 SOS 663146 HAS SOPS 660282 HAS SOUS 74778 HAS SOUPS 72046 WITH SCORE 72709.146
AT ITER 5138 NEW BEST:: SOT 1102837 SOS 663105 HAS SOPS 660241 HAS SOUS 74744 HAS SOUPS 72012 WITH SCORE 72675.105
AT ITER 5151 NEW BEST:: SOT 1102525 SOS 664521 HAS SOPS 661657 HAS SOUS 74485 HAS SOUPS 71753 WITH SCORE 72417.521
AT ITER 5157 NEW BEST:: SOT 1102118 SOS 664032 HAS SOPS 661168 HAS SOUS 74472 HAS SOUPS 71740 WITH SCORE 72404.032
AT ITER 5162 NEW BEST:: SOT 1102135 SOS 664049 HAS SOPS 661185 HAS SOUS 74449 HAS SOUPS 71717 WITH SCORE 72381.049
AT ITER 5164 NEW BEST:: SOT 1102135 SOS 664023 HAS SOPS 661159 HAS SOUS 74436 HAS SOUPS 71704 WITH SCORE 72368.023
AT ITER 5167 NEW BEST:: SOT 1101427 SOS 663315 HAS SOPS 660451 HAS SOUS 74107 HAS SOUPS 71375 WITH SCORE 72038.315
AT ITER 5206 NEW BEST:: SOT 1101044 SOS 665764 HAS SOPS 662900 HAS SOUS 73815 HAS SOUPS 71083 WITH SCORE 71748.764
AT ITER 5212 NEW BEST:: SOT 1099681 SOS 668265 HAS SOPS 665368 HAS SOUS 73586 HAS SOUPS 70821 WITH SCORE 71489.265
AT ITER 5217 NEW BEST:: SOT 1099681 SOS 667857 HAS SOPS 664960 HAS SOUS 73586 HAS SOUPS 70821 WITH SCORE 71488.857
AT ITER 5273 NEW BEST:: SOT 1099673 SOS 667849 HAS SOPS 664952 HAS SOUS 73578 HAS SOUPS 70813 WITH SCORE 71480.849
AT ITER 5326 NEW BEST:: SOT 1099673 SOS 667849 HAS SOPS 664952 HAS SOUS 73552 HAS SOUPS 70787 WITH SCORE 71454.849
AT ITER 5327 NEW BEST:: SOT 1099641 SOS 667817 HAS SOPS 664920 HAS SOUS 73525 HAS SOUPS 70760 WITH SCORE 71427.817
AT ITER 5328 NEW BEST:: SOT 1099495 SOS 663391 HAS SOPS 660494 HAS SOUS 73363 HAS SOUPS 70598 WITH SCORE 71261.391
AT ITER 5390 NEW BEST:: SOT 1099373 SOS 663269 HAS SOPS 660372 HAS SOUS 73213 HAS SOUPS 70448 WITH SCORE 71111.269
AT ITER 5400 NEW BEST:: SOT 1099365 SOS 647145 HAS SOPS 644138 HAS SOUS 73253 HAS SOUPS 70450 WITH SCORE 71097.145
AT ITER 5441 NEW BEST:: SOT 1099786 SOS 647566 HAS SOPS 644559 HAS SOUS 73096 HAS SOUPS 70293 WITH SCORE 70940.566
AT ITER 5462 NEW BEST:: SOT 1099786 SOS 647566 HAS SOPS 644559 HAS SOUS 73095 HAS SOUPS 70292 WITH SCORE 70939.566
AT ITER 5463 NEW BEST:: SOT 1099191 SOS 646467 HAS SOPS 643460 HAS SOUS 72901 HAS SOUPS 70098 WITH SCORE 70744.467
AT ITER 5464 NEW BEST:: SOT 1099253 SOS 646529 HAS SOPS 643522 HAS SOUS 72876 HAS SOUPS 70073 WITH SCORE 70719.529
AT ITER 5468 NEW BEST:: SOT 1099253 SOS 647031 HAS SOPS 644024 HAS SOUS 72839 HAS SOUPS 70036 WITH SCORE 70683.031
AT ITER 5476 NEW BEST:: SOT 1098989 SOS 646767 HAS SOPS 643760 HAS SOUS 72787 HAS SOUPS 69984 WITH SCORE 70630.767
AT ITER 5477 NEW BEST:: SOT 1098989 SOS 646613 HAS SOPS 643616 HAS SOUS 72777 HAS SOUPS 69984 WITH SCORE 70630.613
AT ITER 5485 NEW BEST:: SOT 1099501 SOS 668500 HAS SOPS 665503 HAS SOUS 72287 HAS SOUPS 69494 WITH SCORE 70162.5
AT ITER 5492 NEW BEST:: SOT 1099429 SOS 668428 HAS SOPS 665431 HAS SOUS 72138 HAS SOUPS 69345 WITH SCORE 70013.428
AT ITER 5537 NEW BEST:: SOT 1098785 SOS 672330 HAS SOPS 669333 HAS SOUS 71640 HAS SOUPS 68847 WITH SCORE 69519.33
AT ITER 5587 NEW BEST:: SOT 1098785 SOS 671477 HAS SOPS 668447 HAS SOUS 71661 HAS SOUPS 68835 WITH SCORE 69506.477
AT ITER 5617 NEW BEST:: SOT 1098779 SOS 671471 HAS SOPS 668441 HAS SOUS 71611 HAS SOUPS 68785 WITH SCORE 69456.471
AT ITER 5652 NEW BEST:: SOT 1098908 SOS 671628 HAS SOPS 668598 HAS SOUS 71364 HAS SOUPS 68538 WITH SCORE 69209.628
AT ITER 5747 NEW BEST:: SOT 1099028 SOS 671748 HAS SOPS 668718 HAS SOUS 71319 HAS SOUPS 68493 WITH SCORE 69164.748
AT ITER 5751 NEW BEST:: SOT 1099019 SOS 671775 HAS SOPS 668745 HAS SOUS 71094 HAS SOUPS 68268 WITH SCORE 68939.775
AT ITER 5758 NEW BEST:: SOT 1098848 SOS 669300 HAS SOPS 666270 HAS SOUS 70600 HAS SOUPS 67774 WITH SCORE 68443.3
AT ITER 5771 NEW BEST:: SOT 1098285 SOS 670071 HAS SOPS 667041 HAS SOUS 70099 HAS SOUPS 67273 WITH SCORE 67943.071
AT ITER 5785 NEW BEST:: SOT 1098285 SOS 670023 HAS SOPS 666993 HAS SOUS 70099 HAS SOUPS 67273 WITH SCORE 67943.023
AT ITER 5795 NEW BEST:: SOT 1098285 SOS 669903 HAS SOPS 666873 HAS SOUS 70099 HAS SOUPS 67273 WITH SCORE 67942.903
AT ITER 5850 NEW BEST:: SOT 1098338 SOS 669956 HAS SOPS 666931 HAS SOUS 69966 HAS SOUPS 67145 WITH SCORE 67814.956
AT ITER 5874 NEW BEST:: SOT 1098806 SOS 670474 HAS SOPS 667449 HAS SOUS 69941 HAS SOUPS 67120 WITH SCORE 67790.474
AT ITER 5885 NEW BEST:: SOT 1098761 SOS 670429 HAS SOPS 667404 HAS SOUS 69845 HAS SOUPS 67024 WITH SCORE 67694.429
AT ITER 5906 NEW BEST:: SOT 1098761 SOS 670429 HAS SOPS 667404 HAS SOUS 69697 HAS SOUPS 66876 WITH SCORE 67546.429
AT ITER 5917 NEW BEST:: SOT 1098762 SOS 670430 HAS SOPS 667405 HAS SOUS 69674 HAS SOUPS 66853 WITH SCORE 67523.43
AT ITER 5964 NEW BEST:: SOT 1098749 SOS 670409 HAS SOPS 667392 HAS SOUS 69666 HAS SOUPS 66853 WITH SCORE 67523.409
AT ITER 5992 NEW BEST:: SOT 1098749 SOS 670352 HAS SOPS 667338 HAS SOUS 69663 HAS SOUPS 66853 WITH SCORE 67523.352
AT ITER 6004 NEW BEST:: SOT 1098749 SOS 670352 HAS SOPS 667338 HAS SOUS 69649 HAS SOUPS 66839 WITH SCORE 67509.352
AT ITER 6035 NEW BEST:: SOT 1098749 SOS 669248 HAS SOPS 666234 HAS SOUS 69649 HAS SOUPS 66839 WITH SCORE 67508.248
AT ITER 6052 NEW BEST:: SOT 1098752 SOS 669695 HAS SOPS 666681 HAS SOUS 69644 HAS SOUPS 66834 WITH SCORE 67503.695
AT ITER 6068 NEW BEST:: SOT 1098752 SOS 670623 HAS SOPS 667561 HAS SOUS 69664 HAS SOUPS 66806 WITH SCORE 67476.623
AT ITER 6071 NEW BEST:: SOT 1097692 SOS 669563 HAS SOPS 666501 HAS SOUS 69473 HAS SOUPS 66615 WITH SCORE 67284.563
AT ITER 6088 NEW BEST:: SOT 1097684 SOS 669555 HAS SOPS 666493 HAS SOUS 69465 HAS SOUPS 66607 WITH SCORE 67276.555
AT ITER 6116 NEW BEST:: SOT 1097579 SOS 669450 HAS SOPS 666388 HAS SOUS 69445 HAS SOUPS 66587 WITH SCORE 67256.45
AT ITER 6125 NEW BEST:: SOT 1097579 SOS 669440 HAS SOPS 666370 HAS SOUS 69445 HAS SOUPS 66579 WITH SCORE 67248.44
AT ITER 6129 NEW BEST:: SOT 1097579 SOS 669690 HAS SOPS 666610 HAS SOUS 69279 HAS SOUPS 66403 WITH SCORE 67072.69
AT ITER 6132 NEW BEST:: SOT 1097538 SOS 669649 HAS SOPS 666569 HAS SOUS 69195 HAS SOUPS 66319 WITH SCORE 66988.649
AT ITER 6148 NEW BEST:: SOT 1097704 SOS 669492 HAS SOPS 666404 HAS SOUS 69154 HAS SOUPS 66270 WITH SCORE 66939.492
AT ITER 6150 NEW BEST:: SOT 1097704 SOS 669204 HAS SOPS 666116 HAS SOUS 69154 HAS SOUPS 66270 WITH SCORE 66939.204
AT ITER 6194 NEW BEST:: SOT 1097704 SOS 667836 HAS SOPS 664748 HAS SOUS 69154 HAS SOUPS 66270 WITH SCORE 66937.836
AT ITER 6207 NEW BEST:: SOT 1097704 SOS 666520 HAS SOPS 663600 HAS SOUS 68880 HAS SOUPS 66032 WITH SCORE 66698.52
AT ITER 6218 NEW BEST:: SOT 1097256 SOS 666932 HAS SOPS 664012 HAS SOUS 68638 HAS SOUPS 65790 WITH SCORE 66456.932
AT ITER 6226 NEW BEST:: SOT 1097391 SOS 667095 HAS SOPS 664175 HAS SOUS 68615 HAS SOUPS 65767 WITH SCORE 66434.095
AT ITER 6249 NEW BEST:: SOT 1097391 SOS 666927 HAS SOPS 664007 HAS SOUS 68615 HAS SOUPS 65767 WITH SCORE 66433.927
AT ITER 6275 NEW BEST:: SOT 1097391 SOS 666567 HAS SOPS 663647 HAS SOUS 68615 HAS SOUPS 65767 WITH SCORE 66433.567
AT ITER 6277 NEW BEST:: SOT 1097183 SOS 666359 HAS SOPS 663439 HAS SOUS 68558 HAS SOUPS 65710 WITH SCORE 66376.359
AT ITER 6283 NEW BEST:: SOT 1097183 SOS 666359 HAS SOPS 663439 HAS SOUS 68551 HAS SOUPS 65703 WITH SCORE 66369.359
AT ITER 6291 NEW BEST:: SOT 1097277 SOS 666453 HAS SOPS 663533 HAS SOUS 68441 HAS SOUPS 65593 WITH SCORE 66259.453
AT ITER 6299 NEW BEST:: SOT 1097263 SOS 666178 HAS SOPS 663260 HAS SOUS 68334 HAS SOUPS 65488 WITH SCORE 66154.178
AT ITER 6305 NEW BEST:: SOT 1097161 SOS 666388 HAS SOPS 663470 HAS SOUS 68236 HAS SOUPS 65390 WITH SCORE 66056.388
AT ITER 6310 NEW BEST:: SOT 1097171 SOS 666398 HAS SOPS 663480 HAS SOUS 68004 HAS SOUPS 65158 WITH SCORE 65824.398
AT ITER 6316 NEW BEST:: SOT 1097077 SOS 666304 HAS SOPS 663386 HAS SOUS 67792 HAS SOUPS 64946 WITH SCORE 65612.304
AT ITER 6329 NEW BEST:: SOT 1097006 SOS 666230 HAS SOPS 663312 HAS SOUS 67718 HAS SOUPS 64872 WITH SCORE 65538.23
AT ITER 6342 NEW BEST:: SOT 1097006 SOS 667176 HAS SOPS 664258 HAS SOUS 67675 HAS SOUPS 64829 WITH SCORE 65496.176
AT ITER 6348 NEW BEST:: SOT 1096692 SOS 665070 HAS SOPS 662216 HAS SOUS 67281 HAS SOUPS 64451 WITH SCORE 65116.07
AT ITER 6460 NEW BEST:: SOT 1096692 SOS 664720 HAS SOPS 661880 HAS SOUS 67267 HAS SOUPS 64451 WITH SCORE 65115.72
AT ITER 6512 NEW BEST:: SOT 1096692 SOS 663453 HAS SOPS 660560 HAS SOUS 67320 HAS SOUPS 64451 WITH SCORE 65114.453
AT ITER 6521 NEW BEST:: SOT 1096719 SOS 635895 HAS SOPS 633002 HAS SOUS 67315 HAS SOUPS 64446 WITH SCORE 65081.895
AT ITER 6575 NEW BEST:: SOT 1096550 SOS 636266 HAS SOPS 633373 HAS SOUS 67217 HAS SOUPS 64348 WITH SCORE 64984.266
AT ITER 6616 NEW BEST:: SOT 1096550 SOS 635645 HAS SOPS 632725 HAS SOUS 67217 HAS SOUPS 64321 WITH SCORE 64956.645
AT ITER 6670 NEW BEST:: SOT 1096544 SOS 635639 HAS SOPS 632719 HAS SOUS 67211 HAS SOUPS 64315 WITH SCORE 64950.639
AT ITER 6703 NEW BEST:: SOT 1096295 SOS 635734 HAS SOPS 632814 HAS SOUS 66872 HAS SOUPS 63976 WITH SCORE 64611.734
AT ITER 6742 NEW BEST:: SOT 1096557 SOS 635996 HAS SOPS 633076 HAS SOUS 66870 HAS SOUPS 63974 WITH SCORE 64609.996
AT ITER 6853 NEW BEST:: SOT 1096670 SOS 636109 HAS SOPS 633189 HAS SOUS 66815 HAS SOUPS 63919 WITH SCORE 64555.109
AT ITER 6893 NEW BEST:: SOT 1096670 SOS 638117 HAS SOPS 635277 HAS SOUS 66731 HAS SOUPS 63915 WITH SCORE 64553.117
AT ITER 6908 NEW BEST:: SOT 1096670 SOS 638089 HAS SOPS 635249 HAS SOUS 66717 HAS SOUPS 63901 WITH SCORE 64539.089
AT ITER 6945 NEW BEST:: SOT 1096670 SOS 637753 HAS SOPS 634913 HAS SOUS 66717 HAS SOUPS 63901 WITH SCORE 64538.753
AT ITER 6954 NEW BEST:: SOT 1096660 SOS 637581 HAS SOPS 634741 HAS SOUS 66615 HAS SOUPS 63799 WITH SCORE 64436.581
AT ITER 6955 NEW BEST:: SOT 1096635 SOS 637556 HAS SOPS 634716 HAS SOUS 66590 HAS SOUPS 63774 WITH SCORE 64411.556
AT ITER 6958 NEW BEST:: SOT 1097169 SOS 638090 HAS SOPS 635250 HAS SOUS 66494 HAS SOUPS 63678 WITH SCORE 64316.09
AT ITER 6969 NEW BEST:: SOT 1097169 SOS 637255 HAS SOPS 634386 HAS SOUS 66498 HAS SOUPS 63653 WITH SCORE 64290.255
AT ITER 6970 NEW BEST:: SOT 1097330 SOS 637416 HAS SOPS 634547 HAS SOUS 66391 HAS SOUPS 63546 WITH SCORE 64183.416
AT ITER 6988 NEW BEST:: SOT 1097306 SOS 637392 HAS SOPS 634523 HAS SOUS 66367 HAS SOUPS 63522 WITH SCORE 64159.392
AT ITER 7005 NEW BEST:: SOT 1097306 SOS 634812 HAS SOPS 631925 HAS SOUS 66350 HAS SOUPS 63515 WITH SCORE 64149.812
AT ITER 7101 NEW BEST:: SOT 1097306 SOS 634536 HAS SOPS 631649 HAS SOUS 66350 HAS SOUPS 63515 WITH SCORE 64149.536
AT ITER 7124 NEW BEST:: SOT 1097306 SOS 633888 HAS SOPS 631001 HAS SOUS 66350 HAS SOUPS 63515 WITH SCORE 64148.888
AT ITER 7178 NEW BEST:: SOT 1097085 SOS 633135 HAS SOPS 630268 HAS SOUS 66290 HAS SOUPS 63460 WITH SCORE 64093.135
AT ITER 7185 NEW BEST:: SOT 1097095 SOS 633145 HAS SOPS 630278 HAS SOUS 66264 HAS SOUPS 63434 WITH SCORE 64067.145
AT ITER 7200 NEW BEST:: SOT 1097095 SOS 633145 HAS SOPS 630278 HAS SOUS 66251 HAS SOUPS 63421 WITH SCORE 64054.145
AT ITER 7239 NEW BEST:: SOT 1097398 SOS 633448 HAS SOPS 630581 HAS SOUS 66209 HAS SOUPS 63379 WITH SCORE 64012.448
AT ITER 7281 NEW BEST:: SOT 1095780 SOS 630846 HAS SOPS 627979 HAS SOUS 66128 HAS SOUPS 63298 WITH SCORE 63928.846
AT ITER 7282 NEW BEST:: SOT 1095732 SOS 630798 HAS SOPS 627931 HAS SOUS 66128 HAS SOUPS 63298 WITH SCORE 63928.798
AT ITER 7283 NEW BEST:: SOT 1095732 SOS 628982 HAS SOPS 626115 HAS SOUS 65907 HAS SOUPS 63077 WITH SCORE 63705.982
AT ITER 7284 NEW BEST:: SOT 1095732 SOS 628862 HAS SOPS 625995 HAS SOUS 65907 HAS SOUPS 63077 WITH SCORE 63705.862
AT ITER 7287 NEW BEST:: SOT 1095732 SOS 628718 HAS SOPS 625851 HAS SOUS 65907 HAS SOUPS 63077 WITH SCORE 63705.718
AT ITER 7292 NEW BEST:: SOT 1095726 SOS 626270 HAS SOPS 623403 HAS SOUS 65895 HAS SOUPS 63065 WITH SCORE 63691.27
AT ITER 7294 NEW BEST:: SOT 1095726 SOS 625670 HAS SOPS 622803 HAS SOUS 65895 HAS SOUPS 63065 WITH SCORE 63690.67
AT ITER 7394 NEW BEST:: SOT 1095192 SOS 627552 HAS SOPS 624685 HAS SOUS 65701 HAS SOUPS 62871 WITH SCORE 63498.552
AT ITER 7412 NEW BEST:: SOT 1095192 SOS 627552 HAS SOPS 624685 HAS SOUS 65700 HAS SOUPS 62870 WITH SCORE 63497.552
AT ITER 7422 NEW BEST:: SOT 1095943 SOS 628303 HAS SOPS 625436 HAS SOUS 65575 HAS SOUPS 62745 WITH SCORE 63373.303
AT ITER 7460 NEW BEST:: SOT 1096475 SOS 628835 HAS SOPS 625968 HAS SOUS 65529 HAS SOUPS 62699 WITH SCORE 63327.835
AT ITER 7508 NEW BEST:: SOT 1095664 SOS 628024 HAS SOPS 625157 HAS SOUS 65288 HAS SOUPS 62458 WITH SCORE 63086.024
AT ITER 7515 NEW BEST:: SOT 1094388 SOS 630516 HAS SOPS 627649 HAS SOUS 65122 HAS SOUPS 62292 WITH SCORE 62922.516
AT ITER 7609 NEW BEST:: SOT 1094388 SOS 630746 HAS SOPS 627869 HAS SOUS 65122 HAS SOUPS 62282 WITH SCORE 62912.746
AT ITER 7651 NEW BEST:: SOT 1094383 SOS 630730 HAS SOPS 627853 HAS SOUS 65060 HAS SOUPS 62220 WITH SCORE 62850.73
AT ITER 7652 NEW BEST:: SOT 1094248 SOS 630595 HAS SOPS 627718 HAS SOUS 64849 HAS SOUPS 62009 WITH SCORE 62639.595
AT ITER 7673 NEW BEST:: SOT 1094248 SOS 630273 HAS SOPS 627382 HAS SOUS 64863 HAS SOUPS 62009 WITH SCORE 62639.273
AT ITER 7701 NEW BEST:: SOT 1094204 SOS 630229 HAS SOPS 627338 HAS SOUS 64819 HAS SOUPS 61965 WITH SCORE 62595.229
AT ITER 7710 NEW BEST:: SOT 1094204 SOS 630896 HAS SOPS 627976 HAS SOUS 64819 HAS SOUPS 61936 WITH SCORE 62566.896
AT ITER 7721 NEW BEST:: SOT 1094204 SOS 631996 HAS SOPS 629076 HAS SOUS 64794 HAS SOUPS 61911 WITH SCORE 62542.996
AT ITER 7737 NEW BEST:: SOT 1094184 SOS 631976 HAS SOPS 629056 HAS SOUS 64753 HAS SOUPS 61870 WITH SCORE 62501.976
AT ITER 7754 NEW BEST:: SOT 1094184 SOS 631969 HAS SOPS 629056 HAS SOUS 64746 HAS SOUPS 61870 WITH SCORE 62501.969
AT ITER 7793 NEW BEST:: SOT 1094184 SOS 631944 HAS SOPS 629056 HAS SOUS 64721 HAS SOUPS 61870 WITH SCORE 62501.944
AT ITER 7821 NEW BEST:: SOT 1094211 SOS 631971 HAS SOPS 629083 HAS SOUS 64691 HAS SOUPS 61840 WITH SCORE 62471.971
AT ITER 7840 NEW BEST:: SOT 1094207 SOS 632043 HAS SOPS 629155 HAS SOUS 64690 HAS SOUPS 61839 WITH SCORE 62471.043
AT ITER 7875 NEW BEST:: SOT 1094079 SOS 628651 HAS SOPS 625763 HAS SOUS 64685 HAS SOUPS 61834 WITH SCORE 62462.651
AT ITER 7881 NEW BEST:: SOT 1094076 SOS 628648 HAS SOPS 625760 HAS SOUS 64678 HAS SOUPS 61827 WITH SCORE 62455.648
AT ITER 7915 NEW BEST:: SOT 1094007 SOS 627259 HAS SOPS 624359 HAS SOUS 64681 HAS SOUPS 61827 WITH SCORE 62454.259
AT ITER 7928 NEW BEST:: SOT 1094007 SOS 627187 HAS SOPS 624287 HAS SOUS 64681 HAS SOUPS 61827 WITH SCORE 62454.187
AT ITER 7936 NEW BEST:: SOT 1094007 SOS 626687 HAS SOPS 623787 HAS SOUS 64681 HAS SOUPS 61827 WITH SCORE 62453.687
AT ITER 7944 NEW BEST:: SOT 1093572 SOS 626210 HAS SOPS 623310 HAS SOUS 64487 HAS SOUPS 61633 WITH SCORE 62259.21
AT ITER 7957 NEW BEST:: SOT 1093627 SOS 626285 HAS SOPS 623385 HAS SOUS 64422 HAS SOUPS 61568 WITH SCORE 62194.285
AT ITER 7959 NEW BEST:: SOT 1096387 SOS 630653 HAS SOPS 627753 HAS SOUS 64328 HAS SOUPS 61474 WITH SCORE 62104.653
AT ITER 8049 NEW BEST:: SOT 1095853 SOS 634199 HAS SOPS 631299 HAS SOUS 64088 HAS SOUPS 61234 WITH SCORE 61868.199
AT ITER 8065 NEW BEST:: SOT 1095853 SOS 634149 HAS SOPS 631259 HAS SOUS 64064 HAS SOUPS 61212 WITH SCORE 61846.149
AT ITER 8073 NEW BEST:: SOT 1095054 SOS 632798 HAS SOPS 629903 HAS SOUS 64024 HAS SOUPS 61167 WITH SCORE 61799.798
AT ITER 8115 NEW BEST:: SOT 1095054 SOS 632798 HAS SOPS 629903 HAS SOUS 64019 HAS SOUPS 61162 WITH SCORE 61794.798
AT ITER 8156 NEW BEST:: SOT 1095657 SOS 633401 HAS SOPS 630506 HAS SOUS 63793 HAS SOUPS 60936 WITH SCORE 61569.401
AT ITER 8201 NEW BEST:: SOT 1095657 SOS 633332 HAS SOPS 630434 HAS SOUS 63796 HAS SOUPS 60936 WITH SCORE 61569.332
AT ITER 8224 NEW BEST:: SOT 1095657 SOS 633212 HAS SOPS 630314 HAS SOUS 63796 HAS SOUPS 60936 WITH SCORE 61569.212
AT ITER 8228 NEW BEST:: SOT 1095657 SOS 633085 HAS SOPS 630182 HAS SOUS 63799 HAS SOUPS 60934 WITH SCORE 61567.085
AT ITER 8262 NEW BEST:: SOT 1095711 SOS 633183 HAS SOPS 630280 HAS SOUS 63793 HAS SOUPS 60928 WITH SCORE 61561.183
AT ITER 8309 NEW BEST:: SOT 1095711 SOS 632963 HAS SOPS 630028 HAS SOUS 63802 HAS SOUPS 60905 WITH SCORE 61537.963
AT ITER 8314 NEW BEST:: SOT 1095711 SOS 632915 HAS SOPS 629980 HAS SOUS 63802 HAS SOUPS 60905 WITH SCORE 61537.915
AT ITER 8315 NEW BEST:: SOT 1095702 SOS 632906 HAS SOPS 629971 HAS SOUS 63783 HAS SOUPS 60886 WITH SCORE 61518.906
AT ITER 8352 NEW BEST:: SOT 1095702 SOS 633290 HAS SOPS 630355 HAS SOUS 63767 HAS SOUPS 60870 WITH SCORE 61503.29
AT ITER 8375 NEW BEST:: SOT 1095702 SOS 633395 HAS SOPS 630455 HAS SOUS 63767 HAS SOUPS 60865 WITH SCORE 61498.395
AT ITER 8389 NEW BEST:: SOT 1095706 SOS 633927 HAS SOPS 631047 HAS SOUS 63411 HAS SOUPS 60569 WITH SCORE 61202.927
AT ITER 8420 NEW BEST:: SOT 1095706 SOS 633927 HAS SOPS 631047 HAS SOUS 63390 HAS SOUPS 60548 WITH SCORE 61181.927
AT ITER 8447 NEW BEST:: SOT 1095706 SOS 633927 HAS SOPS 631047 HAS SOUS 63362 HAS SOUPS 60520 WITH SCORE 61153.927
AT ITER 8475 NEW BEST:: SOT 1095706 SOS 633939 HAS SOPS 631059 HAS SOUS 63326 HAS SOUPS 60484 WITH SCORE 61117.939
AT ITER 8492 NEW BEST:: SOT 1095706 SOS 633819 HAS SOPS 630939 HAS SOUS 63326 HAS SOUPS 60484 WITH SCORE 61117.819
AT ITER 8537 NEW BEST:: SOT 1094241 SOS 630914 HAS SOPS 628034 HAS SOUS 63288 HAS SOUPS 60446 WITH SCORE 61076.914
AT ITER 8587 NEW BEST:: SOT 1094241 SOS 631314 HAS SOPS 628434 HAS SOUS 63268 HAS SOUPS 60426 WITH SCORE 61057.314
AT ITER 8669 NEW BEST:: SOT 1094241 SOS 631314 HAS SOPS 628434 HAS SOUS 63260 HAS SOUPS 60418 WITH SCORE 61049.314
AT ITER 8709 NEW BEST:: SOT 1094219 SOS 631292 HAS SOPS 628412 HAS SOUS 63238 HAS SOUPS 60396 WITH SCORE 61027.292
AT ITER 8710 NEW BEST:: SOT 1094219 SOS 631284 HAS SOPS 628412 HAS SOUS 63230 HAS SOUPS 60396 WITH SCORE 61027.284
AT ITER 8720 NEW BEST:: SOT 1094219 SOS 631236 HAS SOPS 628364 HAS SOUS 63230 HAS SOUPS 60396 WITH SCORE 61027.236
AT ITER 8771 NEW BEST:: SOT 1093459 SOS 633010 HAS SOPS 630138 HAS SOUS 62573 HAS SOUPS 59739 WITH SCORE 60372.01
AT ITER 8786 NEW BEST:: SOT 1093257 SOS 632496 HAS SOPS 629791 HAS SOUS 62358 HAS SOUPS 59691 WITH SCORE 60323.496
AT ITER 8866 NEW BEST:: SOT 1095000 SOS 634791 HAS SOPS 632086 HAS SOUS 62352 HAS SOUPS 59685 WITH SCORE 60319.791
AT ITER 8931 NEW BEST:: SOT 1094895 SOS 634686 HAS SOPS 631981 HAS SOUS 62316 HAS SOUPS 59649 WITH SCORE 60283.686
AT ITER 8938 NEW BEST:: SOT 1095135 SOS 634926 HAS SOPS 632221 HAS SOUS 62022 HAS SOUPS 59355 WITH SCORE 59989.926
AT ITER 8954 NEW BEST:: SOT 1094641 SOS 634432 HAS SOPS 631727 HAS SOUS 61878 HAS SOUPS 59211 WITH SCORE 59845.432
AT ITER 8988 NEW BEST:: SOT 1094641 SOS 634317 HAS SOPS 631591 HAS SOUS 61886 HAS SOUPS 59198 WITH SCORE 59832.317
AT ITER 9007 NEW BEST:: SOT 1094641 SOS 633641 HAS SOPS 630941 HAS SOUS 61860 HAS SOUPS 59198 WITH SCORE 59831.641
AT ITER 9018 NEW BEST:: SOT 1094641 SOS 633881 HAS SOPS 631181 HAS SOUS 61848 HAS SOUPS 59186 WITH SCORE 59819.881
AT ITER 9100 NEW BEST:: SOT 1094641 SOS 633870 HAS SOPS 631181 HAS SOUS 61837 HAS SOUPS 59186 WITH SCORE 59819.87
AT ITER 9136 NEW BEST:: SOT 1094641 SOS 632910 HAS SOPS 630221 HAS SOUS 61837 HAS SOUPS 59186 WITH SCORE 59818.91
AT ITER 9179 NEW BEST:: SOT 1094641 SOS 632742 HAS SOPS 630053 HAS SOUS 61837 HAS SOUPS 59186 WITH SCORE 59818.742
AT ITER 9187 NEW BEST:: SOT 1094141 SOS 632186 HAS SOPS 629489 HAS SOUS 61809 HAS SOUPS 59150 WITH SCORE 59782.186
AT ITER 9216 NEW BEST:: SOT 1093991 SOS 631892 HAS SOPS 629195 HAS SOUS 61797 HAS SOUPS 59138 WITH SCORE 59769.892
AT ITER 9237 NEW BEST:: SOT 1094317 SOS 632218 HAS SOPS 629521 HAS SOUS 61541 HAS SOUPS 58882 WITH SCORE 59514.218
AT ITER 9241 NEW BEST:: SOT 1094317 SOS 632182 HAS SOPS 629521 HAS SOUS 61505 HAS SOUPS 58882 WITH SCORE 59514.182
AT ITER 9243 NEW BEST:: SOT 1094794 SOS 632659 HAS SOPS 629998 HAS SOUS 61487 HAS SOUPS 58864 WITH SCORE 59496.659
AT ITER 9245 NEW BEST:: SOT 1094794 SOS 632599 HAS SOPS 629938 HAS SOUS 61487 HAS SOUPS 58864 WITH SCORE 59496.599
AT ITER 9259 NEW BEST:: SOT 1094708 SOS 632495 HAS SOPS 629834 HAS SOUS 61451 HAS SOUPS 58828 WITH SCORE 59460.495
AT ITER 9266 NEW BEST:: SOT 1094708 SOS 632495 HAS SOPS 629834 HAS SOUS 61437 HAS SOUPS 58814 WITH SCORE 59446.495
AT ITER 9335 NEW BEST:: SOT 1094708 SOS 632495 HAS SOPS 629834 HAS SOUS 61426 HAS SOUPS 58803 WITH SCORE 59435.495
AT ITER 9341 NEW BEST:: SOT 1094708 SOS 632393 HAS SOPS 629732 HAS SOUS 61375 HAS SOUPS 58752 WITH SCORE 59384.393
AT ITER 9415 NEW BEST:: SOT 1094708 SOS 632393 HAS SOPS 629732 HAS SOUS 61374 HAS SOUPS 58751 WITH SCORE 59383.393
AT ITER 9464 NEW BEST:: SOT 1094747 SOS 632432 HAS SOPS 629771 HAS SOUS 61240 HAS SOUPS 58617 WITH SCORE 59249.432
AT ITER 9495 NEW BEST:: SOT 1094747 SOS 632248 HAS SOPS 629579 HAS SOUS 61248 HAS SOUPS 58617 WITH SCORE 59249.248
AT ITER 9497 NEW BEST:: SOT 1094726 SOS 632227 HAS SOPS 629558 HAS SOUS 61109 HAS SOUPS 58478 WITH SCORE 59110.227
AT ITER 9512 NEW BEST:: SOT 1094726 SOS 632131 HAS SOPS 629462 HAS SOUS 61109 HAS SOUPS 58478 WITH SCORE 59110.131
AT ITER 9546 NEW BEST:: SOT 1095308 SOS 632801 HAS SOPS 630132 HAS SOUS 61010 HAS SOUPS 58379 WITH SCORE 59011.801
AT ITER 9575 NEW BEST:: SOT 1095308 SOS 632791 HAS SOPS 630132 HAS SOUS 61000 HAS SOUPS 58379 WITH SCORE 59011.791
AT ITER 9578 NEW BEST:: SOT 1095248 SOS 632731 HAS SOPS 630072 HAS SOUS 60842 HAS SOUPS 58221 WITH SCORE 58853.731
AT ITER 9585 NEW BEST:: SOT 1095243 SOS 632726 HAS SOPS 630067 HAS SOUS 60837 HAS SOUPS 58216 WITH SCORE 58848.726
AT ITER 9600 NEW BEST:: SOT 1095065 SOS 632548 HAS SOPS 629889 HAS SOUS 60752 HAS SOUPS 58131 WITH SCORE 58763.548
AT ITER 9605 NEW BEST:: SOT 1094837 SOS 632280 HAS SOPS 629621 HAS SOUS 60695 HAS SOUPS 58074 WITH SCORE 58706.28
AT ITER 9660 NEW BEST:: SOT 1094837 SOS 631753 HAS SOPS 629094 HAS SOUS 60695 HAS SOUPS 58074 WITH SCORE 58705.753
AT ITER 9693 NEW BEST:: SOT 1094586 SOS 631502 HAS SOPS 628843 HAS SOUS 60527 HAS SOUPS 57906 WITH SCORE 58537.502
AT ITER 9715 NEW BEST:: SOT 1094586 SOS 631502 HAS SOPS 628843 HAS SOUS 60525 HAS SOUPS 57904 WITH SCORE 58535.502
AT ITER 9780 NEW BEST:: SOT 1094577 SOS 631493 HAS SOPS 628834 HAS SOUS 60420 HAS SOUPS 57799 WITH SCORE 58430.493
AT ITER 9789 NEW BEST:: SOT 1094584 SOS 631500 HAS SOPS 628841 HAS SOUS 60266 HAS SOUPS 57645 WITH SCORE 58276.5
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6656260 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149460 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

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