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.r235-tall-167856422200744.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 smartxred
Input is Medical-PT-24, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422200744
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 14:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 18K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 14:35 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 1678688357133

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Medical-PT-24
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 06:19:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 06:19:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 06:19:18] [INFO ] Load time of PNML (sax parser for PT used): 245 ms
[2023-03-13 06:19:18] [INFO ] Transformed 312 places.
[2023-03-13 06:19:18] [INFO ] Transformed 5431 transitions.
[2023-03-13 06:19:19] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 466 ms.
[2023-03-13 06:19:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 57 ms.
Total runtime 551 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 24
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 4 NEW BEST:: SOT 1168414 SOS 636658 HAS SOPS 633616 HAS SOUS 248733 HAS SOUPS 245963 WITH SCORE 246599.658
AT ITER 17 NEW BEST:: SOT 1168414 SOS 636658 HAS SOPS 633616 HAS SOUS 248611 HAS SOUPS 245841 WITH SCORE 246477.658
AT ITER 19 NEW BEST:: SOT 1168298 SOS 638272 HAS SOPS 635230 HAS SOUS 248480 HAS SOUPS 245710 WITH SCORE 246348.272
AT ITER 20 NEW BEST:: SOT 1168434 SOS 638408 HAS SOPS 635366 HAS SOUS 247984 HAS SOUPS 245214 WITH SCORE 245852.408
AT ITER 21 NEW BEST:: SOT 1168427 SOS 638401 HAS SOPS 635359 HAS SOUS 247983 HAS SOUPS 245213 WITH SCORE 245851.401
AT ITER 22 NEW BEST:: SOT 1168382 SOS 638356 HAS SOPS 635314 HAS SOUS 247938 HAS SOUPS 245168 WITH SCORE 245806.356
AT ITER 23 NEW BEST:: SOT 1168357 SOS 638280 HAS SOPS 635289 HAS SOUS 245413 HAS SOUPS 242681 WITH SCORE 243319.28
AT ITER 27 NEW BEST:: SOT 1167855 SOS 643154 HAS SOPS 640163 HAS SOUS 245115 HAS SOUPS 242383 WITH SCORE 243026.154
AT ITER 31 NEW BEST:: SOT 1166853 SOS 646760 HAS SOPS 643769 HAS SOUS 244832 HAS SOUPS 242100 WITH SCORE 242746.76
AT ITER 43 NEW BEST:: SOT 1156449 SOS 729691 HAS SOPS 728045 HAS SOUS 233812 HAS SOUPS 232166 WITH SCORE 232895.691
AT ITER 51 NEW BEST:: SOT 1155000 SOS 728626 HAS SOPS 726980 HAS SOUS 233009 HAS SOUPS 231363 WITH SCORE 232091.626
AT ITER 53 NEW BEST:: SOT 1155707 SOS 729635 HAS SOPS 727989 HAS SOUS 232089 HAS SOUPS 230443 WITH SCORE 231172.635
AT ITER 60 NEW BEST:: SOT 1155707 SOS 730475 HAS SOPS 728829 HAS SOUS 231879 HAS SOUPS 230233 WITH SCORE 230963.475
AT ITER 64 NEW BEST:: SOT 1154719 SOS 722172 HAS SOPS 715573 HAS SOUS 231064 HAS SOUPS 229190 WITH SCORE 229912.172
AT ITER 70 NEW BEST:: SOT 1159502 SOS 738663 HAS SOPS 732700 HAS SOUS 226981 HAS SOUPS 225026 WITH SCORE 225764.663
AT ITER 72 NEW BEST:: SOT 1159855 SOS 741523 HAS SOPS 735603 HAS SOUS 224681 HAS SOUPS 222750 WITH SCORE 223491.523
AT ITER 77 NEW BEST:: SOT 1159173 SOS 740841 HAS SOPS 734921 HAS SOUS 224560 HAS SOUPS 222629 WITH SCORE 223369.841
AT ITER 78 NEW BEST:: SOT 1159173 SOS 741513 HAS SOPS 735593 HAS SOUS 224392 HAS SOUPS 222461 WITH SCORE 223202.513
AT ITER 79 NEW BEST:: SOT 1158090 SOS 740266 HAS SOPS 733890 HAS SOUS 222246 HAS SOUPS 220328 WITH SCORE 221068.266
AT ITER 80 NEW BEST:: SOT 1157812 SOS 740204 HAS SOPS 733828 HAS SOUS 220595 HAS SOUPS 218677 WITH SCORE 219417.204
AT ITER 84 NEW BEST:: SOT 1157812 SOS 741260 HAS SOPS 734884 HAS SOUS 220331 HAS SOUPS 218413 WITH SCORE 219154.26
AT ITER 86 NEW BEST:: SOT 1157513 SOS 743937 HAS SOPS 737561 HAS SOUS 217687 HAS SOUPS 215769 WITH SCORE 216512.937
AT ITER 87 NEW BEST:: SOT 1157513 SOS 743145 HAS SOPS 736769 HAS SOUS 217687 HAS SOUPS 215769 WITH SCORE 216512.145
AT ITER 89 NEW BEST:: SOT 1159146 SOS 744831 HAS SOPS 738586 HAS SOUS 217412 HAS SOUPS 215523 WITH SCORE 216267.831
AT ITER 92 NEW BEST:: SOT 1159139 SOS 744824 HAS SOPS 738579 HAS SOUS 217330 HAS SOUPS 215441 WITH SCORE 216185.824
AT ITER 95 NEW BEST:: SOT 1159139 SOS 744824 HAS SOPS 738579 HAS SOUS 217298 HAS SOUPS 215409 WITH SCORE 216153.824
AT ITER 99 NEW BEST:: SOT 1160872 SOS 747001 HAS SOPS 741040 HAS SOUS 216904 HAS SOUPS 215299 WITH SCORE 216046.001
AT ITER 101 NEW BEST:: SOT 1161202 SOS 747331 HAS SOPS 741370 HAS SOUS 216898 HAS SOUPS 215293 WITH SCORE 216040.331
AT ITER 103 NEW BEST:: SOT 1166854 SOS 753120 HAS SOPS 747210 HAS SOUS 214368 HAS SOUPS 212814 WITH SCORE 213567.12
AT ITER 118 NEW BEST:: SOT 1166854 SOS 753120 HAS SOPS 747210 HAS SOUS 214185 HAS SOUPS 212631 WITH SCORE 213384.12
AT ITER 124 NEW BEST:: SOT 1166370 SOS 752636 HAS SOPS 746726 HAS SOUS 213797 HAS SOUPS 212243 WITH SCORE 212995.636
AT ITER 128 NEW BEST:: SOT 1166117 SOS 756131 HAS SOPS 750221 HAS SOUS 213759 HAS SOUPS 212205 WITH SCORE 212961.131
AT ITER 132 NEW BEST:: SOT 1165137 SOS 757839 HAS SOPS 751929 HAS SOUS 213696 HAS SOUPS 212142 WITH SCORE 212899.839
AT ITER 139 NEW BEST:: SOT 1165137 SOS 758223 HAS SOPS 752313 HAS SOUS 213600 HAS SOUPS 212046 WITH SCORE 212804.223
AT ITER 141 NEW BEST:: SOT 1165198 SOS 762473 HAS SOPS 756563 HAS SOUS 211130 HAS SOUPS 209576 WITH SCORE 210338.473
AT ITER 142 NEW BEST:: SOT 1163382 SOS 767993 HAS SOPS 761738 HAS SOUS 210371 HAS SOUPS 208705 WITH SCORE 209472.993
AT ITER 145 NEW BEST:: SOT 1164086 SOS 768532 HAS SOPS 762442 HAS SOUS 209659 HAS SOUPS 208010 WITH SCORE 208778.532
AT ITER 147 NEW BEST:: SOT 1163943 SOS 768389 HAS SOPS 762299 HAS SOUS 209657 HAS SOUPS 208008 WITH SCORE 208776.389
AT ITER 152 NEW BEST:: SOT 1163668 SOS 768114 HAS SOPS 762024 HAS SOUS 209047 HAS SOUPS 207398 WITH SCORE 208166.114
AT ITER 155 NEW BEST:: SOT 1163379 SOS 767645 HAS SOPS 761375 HAS SOUS 208729 HAS SOUPS 206914 WITH SCORE 207681.645
AT ITER 159 NEW BEST:: SOT 1163379 SOS 767645 HAS SOPS 761375 HAS SOUS 208585 HAS SOUPS 206770 WITH SCORE 207537.645
AT ITER 160 NEW BEST:: SOT 1163379 SOS 778760 HAS SOPS 772015 HAS SOUS 208200 HAS SOUPS 206290 WITH SCORE 207068.76
AT ITER 164 NEW BEST:: SOT 1163789 SOS 779152 HAS SOPS 772425 HAS SOUS 207978 HAS SOUPS 206086 WITH SCORE 206865.152
AT ITER 166 NEW BEST:: SOT 1163832 SOS 779195 HAS SOPS 772468 HAS SOUS 207791 HAS SOUPS 205899 WITH SCORE 206678.195
AT ITER 169 NEW BEST:: SOT 1164460 SOS 779823 HAS SOPS 773096 HAS SOUS 207542 HAS SOUPS 205650 WITH SCORE 206429.823
AT ITER 170 NEW BEST:: SOT 1164460 SOS 778767 HAS SOPS 772084 HAS SOUS 207520 HAS SOUPS 205639 WITH SCORE 206417.767
AT ITER 173 NEW BEST:: SOT 1164498 SOS 779748 HAS SOPS 773065 HAS SOUS 207394 HAS SOUPS 205513 WITH SCORE 206292.748
AT ITER 174 NEW BEST:: SOT 1170982 SOS 791401 HAS SOPS 785165 HAS SOUS 204681 HAS SOUPS 203020 WITH SCORE 203811.401
AT ITER 175 NEW BEST:: SOT 1170982 SOS 791129 HAS SOPS 784653 HAS SOUS 204297 HAS SOUPS 202644 WITH SCORE 203435.129
AT ITER 183 NEW BEST:: SOT 1170784 SOS 790931 HAS SOPS 784455 HAS SOUS 203871 HAS SOUPS 202218 WITH SCORE 203008.931
AT ITER 185 NEW BEST:: SOT 1170799 SOS 792122 HAS SOPS 785646 HAS SOUS 203631 HAS SOUPS 201978 WITH SCORE 202770.122
AT ITER 189 NEW BEST:: SOT 1169818 SOS 790907 HAS SOPS 783817 HAS SOUS 200080 HAS SOUPS 198438 WITH SCORE 199228.907
AT ITER 201 NEW BEST:: SOT 1169316 SOS 789786 HAS SOPS 783315 HAS SOUS 198902 HAS SOUPS 197290 WITH SCORE 198079.786
AT ITER 206 NEW BEST:: SOT 1169316 SOS 788994 HAS SOPS 782523 HAS SOUS 198902 HAS SOUPS 197290 WITH SCORE 198078.994
AT ITER 208 NEW BEST:: SOT 1168859 SOS 788537 HAS SOPS 782066 HAS SOUS 198690 HAS SOUPS 197078 WITH SCORE 197866.537
AT ITER 221 NEW BEST:: SOT 1168856 SOS 788534 HAS SOPS 782063 HAS SOUS 198687 HAS SOUPS 197075 WITH SCORE 197863.534
AT ITER 222 NEW BEST:: SOT 1168715 SOS 788393 HAS SOPS 781922 HAS SOUS 197788 HAS SOUPS 196176 WITH SCORE 196964.393
AT ITER 224 NEW BEST:: SOT 1168732 SOS 788410 HAS SOPS 781939 HAS SOUS 197583 HAS SOUPS 195971 WITH SCORE 196759.41
AT ITER 229 NEW BEST:: SOT 1169054 SOS 791156 HAS SOPS 784685 HAS SOUS 195008 HAS SOUPS 193396 WITH SCORE 194187.156
AT ITER 231 NEW BEST:: SOT 1169054 SOS 772645 HAS SOPS 765961 HAS SOUS 194312 HAS SOUPS 192807 WITH SCORE 193579.645
AT ITER 238 NEW BEST:: SOT 1169050 SOS 772641 HAS SOPS 765957 HAS SOUS 194289 HAS SOUPS 192784 WITH SCORE 193556.641
AT ITER 243 NEW BEST:: SOT 1168624 SOS 775934 HAS SOPS 769250 HAS SOUS 191105 HAS SOUPS 189600 WITH SCORE 190375.934
AT ITER 247 NEW BEST:: SOT 1168624 SOS 775131 HAS SOPS 768464 HAS SOUS 191088 HAS SOUPS 189583 WITH SCORE 190358.131
AT ITER 254 NEW BEST:: SOT 1168344 SOS 774544 HAS SOPS 768184 HAS SOUS 189141 HAS SOUPS 187662 WITH SCORE 188436.544
AT ITER 260 NEW BEST:: SOT 1167873 SOS 775301 HAS SOPS 768941 HAS SOUS 187839 HAS SOUPS 186360 WITH SCORE 187135.301
AT ITER 262 NEW BEST:: SOT 1167891 SOS 776663 HAS SOPS 770303 HAS SOUS 187568 HAS SOUPS 186089 WITH SCORE 186865.663
AT ITER 267 NEW BEST:: SOT 1167887 SOS 776292 HAS SOPS 770299 HAS SOUS 185769 HAS SOUPS 184309 WITH SCORE 185085.292
AT ITER 273 NEW BEST:: SOT 1167832 SOS 796652 HAS SOPS 790659 HAS SOUS 185307 HAS SOUPS 183847 WITH SCORE 184643.652
AT ITER 284 NEW BEST:: SOT 1167409 SOS 796229 HAS SOPS 790236 HAS SOUS 184311 HAS SOUPS 182851 WITH SCORE 183647.229
AT ITER 286 NEW BEST:: SOT 1167247 SOS 796067 HAS SOPS 790074 HAS SOUS 184111 HAS SOUPS 182651 WITH SCORE 183447.067
AT ITER 289 NEW BEST:: SOT 1167235 SOS 796055 HAS SOPS 790062 HAS SOUS 183236 HAS SOUPS 181776 WITH SCORE 182572.055
AT ITER 295 NEW BEST:: SOT 1167244 SOS 796064 HAS SOPS 790071 HAS SOUS 182973 HAS SOUPS 181513 WITH SCORE 182309.064
AT ITER 297 NEW BEST:: SOT 1167244 SOS 796712 HAS SOPS 790719 HAS SOUS 182156 HAS SOUPS 180696 WITH SCORE 181492.712
AT ITER 306 NEW BEST:: SOT 1167232 SOS 796700 HAS SOPS 790707 HAS SOUS 181726 HAS SOUPS 180266 WITH SCORE 181062.7
AT ITER 314 NEW BEST:: SOT 1167401 SOS 796869 HAS SOPS 790876 HAS SOUS 181655 HAS SOUPS 180195 WITH SCORE 180991.869
AT ITER 317 NEW BEST:: SOT 1167481 SOS 796949 HAS SOPS 790956 HAS SOUS 181455 HAS SOUPS 179995 WITH SCORE 180791.949
AT ITER 330 NEW BEST:: SOT 1167481 SOS 802595 HAS SOPS 796181 HAS SOUS 181372 HAS SOUPS 179823 WITH SCORE 180625.595
AT ITER 336 NEW BEST:: SOT 1168291 SOS 803405 HAS SOPS 796991 HAS SOUS 179649 HAS SOUPS 178100 WITH SCORE 178903.405
AT ITER 337 NEW BEST:: SOT 1168291 SOS 804189 HAS SOPS 797775 HAS SOUS 179527 HAS SOUPS 177978 WITH SCORE 178782.189
AT ITER 338 NEW BEST:: SOT 1168253 SOS 804151 HAS SOPS 797737 HAS SOUS 179450 HAS SOUPS 177901 WITH SCORE 178705.151
AT ITER 341 NEW BEST:: SOT 1168224 SOS 804122 HAS SOPS 797708 HAS SOUS 178974 HAS SOUPS 177425 WITH SCORE 178229.122
AT ITER 343 NEW BEST:: SOT 1168124 SOS 804022 HAS SOPS 797608 HAS SOUS 178874 HAS SOUPS 177325 WITH SCORE 178129.022
AT ITER 349 NEW BEST:: SOT 1168104 SOS 804482 HAS SOPS 798068 HAS SOUS 178774 HAS SOUPS 177225 WITH SCORE 178029.482
AT ITER 356 NEW BEST:: SOT 1164644 SOS 800815 HAS SOPS 794228 HAS SOUS 178338 HAS SOUPS 176789 WITH SCORE 177589.815
AT ITER 359 NEW BEST:: SOT 1164027 SOS 800198 HAS SOPS 793611 HAS SOUS 176903 HAS SOUPS 175354 WITH SCORE 176154.198
AT ITER 361 NEW BEST:: SOT 1164766 SOS 800937 HAS SOPS 794350 HAS SOUS 176835 HAS SOUPS 175286 WITH SCORE 176086.937
AT ITER 363 NEW BEST:: SOT 1164553 SOS 800062 HAS SOPS 794137 HAS SOUS 175924 HAS SOUPS 174406 WITH SCORE 175206.062
AT ITER 365 NEW BEST:: SOT 1164466 SOS 799975 HAS SOPS 794050 HAS SOUS 175717 HAS SOUPS 174199 WITH SCORE 174998.975
AT ITER 367 NEW BEST:: SOT 1164466 SOS 799962 HAS SOPS 794038 HAS SOUS 175601 HAS SOUPS 174084 WITH SCORE 174883.962
AT ITER 369 NEW BEST:: SOT 1164471 SOS 799967 HAS SOPS 794043 HAS SOUS 175536 HAS SOUPS 174019 WITH SCORE 174818.967
AT ITER 374 NEW BEST:: SOT 1164869 SOS 800963 HAS SOPS 795039 HAS SOUS 175406 HAS SOUPS 173889 WITH SCORE 174689.963
AT ITER 375 NEW BEST:: SOT 1164316 SOS 796223 HAS SOPS 790408 HAS SOUS 174828 HAS SOUPS 173420 WITH SCORE 174216.223
AT ITER 378 NEW BEST:: SOT 1164181 SOS 798820 HAS SOPS 793005 HAS SOUS 172339 HAS SOUPS 170931 WITH SCORE 171729.82
AT ITER 380 NEW BEST:: SOT 1163812 SOS 798451 HAS SOPS 792636 HAS SOUS 171026 HAS SOUPS 169618 WITH SCORE 170416.451
AT ITER 383 NEW BEST:: SOT 1164521 SOS 799224 HAS SOPS 793409 HAS SOUS 170942 HAS SOUPS 169534 WITH SCORE 170333.224
AT ITER 385 NEW BEST:: SOT 1164521 SOS 798882 HAS SOPS 793067 HAS SOUS 170942 HAS SOUPS 169534 WITH SCORE 170332.882
AT ITER 388 NEW BEST:: SOT 1164936 SOS 800832 HAS SOPS 796041 HAS SOUS 169732 HAS SOUPS 169303 WITH SCORE 170103.832
AT ITER 389 NEW BEST:: SOT 1166607 SOS 802503 HAS SOPS 797712 HAS SOUS 168962 HAS SOUPS 168533 WITH SCORE 169335.503
AT ITER 410 NEW BEST:: SOT 1167385 SOS 803281 HAS SOPS 798490 HAS SOUS 168654 HAS SOUPS 168225 WITH SCORE 169028.281
AT ITER 415 NEW BEST:: SOT 1172380 SOS 808276 HAS SOPS 803485 HAS SOUS 164450 HAS SOUPS 164021 WITH SCORE 164829.276
AT ITER 416 NEW BEST:: SOT 1172399 SOS 808295 HAS SOPS 803504 HAS SOUS 164382 HAS SOUPS 163953 WITH SCORE 164761.295
AT ITER 426 NEW BEST:: SOT 1172489 SOS 809125 HAS SOPS 804334 HAS SOUS 163042 HAS SOUPS 162613 WITH SCORE 163422.125
AT ITER 428 NEW BEST:: SOT 1171645 SOS 808589 HAS SOPS 803798 HAS SOUS 161991 HAS SOUPS 161562 WITH SCORE 162370.589
AT ITER 435 NEW BEST:: SOT 1173480 SOS 812560 HAS SOPS 807769 HAS SOUS 161132 HAS SOUPS 160703 WITH SCORE 161515.56
AT ITER 436 NEW BEST:: SOT 1173480 SOS 812872 HAS SOPS 808057 HAS SOUS 160588 HAS SOUPS 160135 WITH SCORE 160947.872
AT ITER 439 NEW BEST:: SOT 1173480 SOS 811030 HAS SOPS 806215 HAS SOUS 160510 HAS SOUPS 160057 WITH SCORE 160868.03
AT ITER 447 NEW BEST:: SOT 1173491 SOS 811041 HAS SOPS 806226 HAS SOUS 160477 HAS SOUPS 160024 WITH SCORE 160835.041
AT ITER 460 NEW BEST:: SOT 1173491 SOS 809985 HAS SOPS 805170 HAS SOUS 160477 HAS SOUPS 160024 WITH SCORE 160833.985
AT ITER 461 NEW BEST:: SOT 1174758 SOS 813546 HAS SOPS 808662 HAS SOUS 160526 HAS SOUPS 160004 WITH SCORE 160817.546
AT ITER 463 NEW BEST:: SOT 1174770 SOS 792795 HAS SOPS 786508 HAS SOUS 160573 HAS SOUPS 159739 WITH SCORE 160531.795
AT ITER 464 NEW BEST:: SOT 1176841 SOS 794342 HAS SOPS 788579 HAS SOUS 159866 HAS SOUPS 159057 WITH SCORE 159851.342
AT ITER 469 NEW BEST:: SOT 1173455 SOS 893914 HAS SOPS 891780 HAS SOUS 153634 HAS SOUPS 153061 WITH SCORE 153954.914
AT ITER 483 NEW BEST:: SOT 1173455 SOS 893914 HAS SOPS 891780 HAS SOUS 153631 HAS SOUPS 153058 WITH SCORE 153951.914
AT ITER 496 NEW BEST:: SOT 1172107 SOS 892566 HAS SOPS 890432 HAS SOUS 153200 HAS SOUPS 152627 WITH SCORE 153519.566
AT ITER 497 NEW BEST:: SOT 1172107 SOS 892428 HAS SOPS 890294 HAS SOUS 153194 HAS SOUPS 152621 WITH SCORE 153513.428
AT ITER 500 NEW BEST:: SOT 1172107 SOS 892428 HAS SOPS 890294 HAS SOUS 153086 HAS SOUPS 152513 WITH SCORE 153405.428
AT ITER 507 NEW BEST:: SOT 1172107 SOS 892129 HAS SOPS 889995 HAS SOUS 153073 HAS SOUPS 152500 WITH SCORE 153392.129
AT ITER 510 NEW BEST:: SOT 1171176 SOS 891545 HAS SOPS 889499 HAS SOUS 152543 HAS SOUPS 152039 WITH SCORE 152930.545
AT ITER 513 NEW BEST:: SOT 1165621 SOS 885990 HAS SOPS 883944 HAS SOUS 150736 HAS SOUPS 150232 WITH SCORE 151117.99
AT ITER 527 NEW BEST:: SOT 1163505 SOS 883874 HAS SOPS 881828 HAS SOUS 149641 HAS SOUPS 149137 WITH SCORE 150020.874
AT ITER 531 NEW BEST:: SOT 1163486 SOS 883831 HAS SOPS 881809 HAS SOUS 149564 HAS SOUPS 149084 WITH SCORE 149967.831
AT ITER 537 NEW BEST:: SOT 1163494 SOS 883839 HAS SOPS 881817 HAS SOUS 149554 HAS SOUPS 149074 WITH SCORE 149957.839
AT ITER 538 NEW BEST:: SOT 1164716 SOS 885061 HAS SOPS 883039 HAS SOUS 148536 HAS SOUPS 148056 WITH SCORE 148941.061
AT ITER 539 NEW BEST:: SOT 1166563 SOS 886908 HAS SOPS 884886 HAS SOUS 147911 HAS SOUPS 147431 WITH SCORE 148317.908
AT ITER 564 NEW BEST:: SOT 1169366 SOS 891391 HAS SOPS 889369 HAS SOUS 146504 HAS SOUPS 146024 WITH SCORE 146915.391
AT ITER 575 NEW BEST:: SOT 1169610 SOS 891635 HAS SOPS 889613 HAS SOUS 146167 HAS SOUPS 145687 WITH SCORE 146578.635
AT ITER 589 NEW BEST:: SOT 1170455 SOS 892016 HAS SOPS 890030 HAS SOUS 144074 HAS SOUPS 143630 WITH SCORE 144522.016
AT ITER 596 NEW BEST:: SOT 1168765 SOS 890326 HAS SOPS 888340 HAS SOUS 143159 HAS SOUPS 142715 WITH SCORE 143605.326
AT ITER 597 NEW BEST:: SOT 1168765 SOS 885838 HAS SOPS 883846 HAS SOUS 143166 HAS SOUPS 142716 WITH SCORE 143601.838
AT ITER 608 NEW BEST:: SOT 1170609 SOS 887053 HAS SOPS 885056 HAS SOUS 142801 HAS SOUPS 142385 WITH SCORE 143272.053
AT ITER 617 NEW BEST:: SOT 1170609 SOS 887053 HAS SOPS 885056 HAS SOUS 142745 HAS SOUPS 142329 WITH SCORE 143216.053
AT ITER 618 NEW BEST:: SOT 1170432 SOS 886876 HAS SOPS 884879 HAS SOUS 142704 HAS SOUPS 142288 WITH SCORE 143174.876
AT ITER 626 NEW BEST:: SOT 1172481 SOS 883823 HAS SOPS 882032 HAS SOUS 142178 HAS SOUPS 141817 WITH SCORE 142700.823
AT ITER 627 NEW BEST:: SOT 1172481 SOS 883671 HAS SOPS 881880 HAS SOUS 142140 HAS SOUPS 141779 WITH SCORE 142662.671
AT ITER 633 NEW BEST:: SOT 1172443 SOS 883633 HAS SOPS 881842 HAS SOUS 142140 HAS SOUPS 141779 WITH SCORE 142662.633
AT ITER 636 NEW BEST:: SOT 1172778 SOS 883968 HAS SOPS 882177 HAS SOUS 140167 HAS SOUPS 139806 WITH SCORE 140689.968
AT ITER 643 NEW BEST:: SOT 1172797 SOS 883523 HAS SOPS 881732 HAS SOUS 138246 HAS SOUPS 137885 WITH SCORE 138768.523
AT ITER 644 NEW BEST:: SOT 1173600 SOS 884326 HAS SOPS 882535 HAS SOUS 137612 HAS SOUPS 137251 WITH SCORE 138135.326
AT ITER 645 NEW BEST:: SOT 1173785 SOS 884511 HAS SOPS 882720 HAS SOUS 137592 HAS SOUPS 137231 WITH SCORE 138115.511
AT ITER 650 NEW BEST:: SOT 1173778 SOS 884504 HAS SOPS 882713 HAS SOUS 137438 HAS SOUPS 137077 WITH SCORE 137961.504
AT ITER 652 NEW BEST:: SOT 1179613 SOS 890351 HAS SOPS 888548 HAS SOUS 136246 HAS SOUPS 135873 WITH SCORE 136763.351
AT ITER 665 NEW BEST:: SOT 1179613 SOS 891049 HAS SOPS 889246 HAS SOUS 136195 HAS SOUPS 135848 WITH SCORE 136739.049
AT ITER 677 NEW BEST:: SOT 1179606 SOS 891042 HAS SOPS 889239 HAS SOUS 136168 HAS SOUPS 135821 WITH SCORE 136712.042
AT ITER 693 NEW BEST:: SOT 1179608 SOS 891640 HAS SOPS 889832 HAS SOUS 136081 HAS SOUPS 135742 WITH SCORE 136633.64
AT ITER 697 NEW BEST:: SOT 1179608 SOS 891640 HAS SOPS 889832 HAS SOUS 136076 HAS SOUPS 135737 WITH SCORE 136628.64
AT ITER 709 NEW BEST:: SOT 1179550 SOS 889585 HAS SOPS 887958 HAS SOUS 135740 HAS SOUPS 135427 WITH SCORE 136316.585
AT ITER 710 NEW BEST:: SOT 1179550 SOS 889746 HAS SOPS 888119 HAS SOUS 135705 HAS SOUPS 135392 WITH SCORE 136281.746
AT ITER 725 NEW BEST:: SOT 1179781 SOS 889977 HAS SOPS 888350 HAS SOUS 135463 HAS SOUPS 135150 WITH SCORE 136039.977
AT ITER 726 NEW BEST:: SOT 1179781 SOS 889977 HAS SOPS 888350 HAS SOUS 135462 HAS SOUPS 135149 WITH SCORE 136038.977
AT ITER 730 NEW BEST:: SOT 1182839 SOS 893035 HAS SOPS 891408 HAS SOUS 135176 HAS SOUPS 134863 WITH SCORE 135756.035
AT ITER 735 NEW BEST:: SOT 1181985 SOS 892181 HAS SOPS 890554 HAS SOUS 133769 HAS SOUPS 133456 WITH SCORE 134348.181
AT ITER 742 NEW BEST:: SOT 1182347 SOS 892543 HAS SOPS 890916 HAS SOUS 133763 HAS SOUPS 133450 WITH SCORE 134342.543
AT ITER 745 NEW BEST:: SOT 1180516 SOS 892483 HAS SOPS 890856 HAS SOUS 133512 HAS SOUPS 133199 WITH SCORE 134091.483
AT ITER 754 NEW BEST:: SOT 1180546 SOS 893214 HAS SOPS 891581 HAS SOUS 133435 HAS SOUPS 133151 WITH SCORE 134044.214
AT ITER 760 NEW BEST:: SOT 1181802 SOS 894470 HAS SOPS 892837 HAS SOUS 133264 HAS SOUPS 132980 WITH SCORE 133874.47
AT ITER 779 NEW BEST:: SOT 1181666 SOS 894334 HAS SOPS 892701 HAS SOUS 132711 HAS SOUPS 132427 WITH SCORE 133321.334
AT ITER 800 NEW BEST:: SOT 1181666 SOS 896803 HAS SOPS 895170 HAS SOUS 131966 HAS SOUPS 131682 WITH SCORE 132578.803
AT ITER 806 NEW BEST:: SOT 1181670 SOS 896853 HAS SOPS 895174 HAS SOUS 131790 HAS SOUPS 131460 WITH SCORE 132356.853
AT ITER 821 NEW BEST:: SOT 1181670 SOS 896853 HAS SOPS 895174 HAS SOUS 131688 HAS SOUPS 131358 WITH SCORE 132254.853
AT ITER 822 NEW BEST:: SOT 1181399 SOS 896582 HAS SOPS 894903 HAS SOUS 131089 HAS SOUPS 130759 WITH SCORE 131655.582
AT ITER 826 NEW BEST:: SOT 1181379 SOS 901120 HAS SOPS 900113 HAS SOUS 130929 HAS SOUPS 130659 WITH SCORE 131560.12
AT ITER 837 NEW BEST:: SOT 1181357 SOS 901098 HAS SOPS 900091 HAS SOUS 130637 HAS SOUPS 130367 WITH SCORE 131268.098
AT ITER 841 NEW BEST:: SOT 1180690 SOS 902477 HAS SOPS 901470 HAS SOUS 130021 HAS SOUPS 129751 WITH SCORE 130653.477
AT ITER 848 NEW BEST:: SOT 1180690 SOS 901167 HAS SOPS 900214 HAS SOUS 129810 HAS SOUPS 129552 WITH SCORE 130453.167
AT ITER 849 NEW BEST:: SOT 1180690 SOS 901400 HAS SOPS 900406 HAS SOUS 129810 HAS SOUPS 129511 WITH SCORE 130412.4
AT ITER 853 NEW BEST:: SOT 1180646 SOS 901356 HAS SOPS 900362 HAS SOUS 129502 HAS SOUPS 129203 WITH SCORE 130104.356
AT ITER 872 NEW BEST:: SOT 1180712 SOS 901236 HAS SOPS 900242 HAS SOUS 129014 HAS SOUPS 128715 WITH SCORE 129616.236
AT ITER 876 NEW BEST:: SOT 1180550 SOS 901074 HAS SOPS 900080 HAS SOUS 128681 HAS SOUPS 128382 WITH SCORE 129283.074
AT ITER 897 NEW BEST:: SOT 1180550 SOS 901760 HAS SOPS 900778 HAS SOUS 128633 HAS SOUPS 128360 WITH SCORE 129261.76
AT ITER 904 NEW BEST:: SOT 1180480 SOS 901690 HAS SOPS 900708 HAS SOUS 128542 HAS SOUPS 128269 WITH SCORE 129170.69
AT ITER 906 NEW BEST:: SOT 1180782 SOS 901992 HAS SOPS 901010 HAS SOUS 128458 HAS SOUPS 128185 WITH SCORE 129086.992
AT ITER 908 NEW BEST:: SOT 1180782 SOS 903651 HAS SOPS 902669 HAS SOUS 128437 HAS SOUPS 128164 WITH SCORE 129067.651
AT ITER 910 NEW BEST:: SOT 1184039 SOS 909274 HAS SOPS 908298 HAS SOUS 127780 HAS SOUPS 127513 WITH SCORE 128422.274
AT ITER 926 NEW BEST:: SOT 1184039 SOS 909222 HAS SOPS 908246 HAS SOUS 127728 HAS SOUPS 127461 WITH SCORE 128370.222
AT ITER 927 NEW BEST:: SOT 1184039 SOS 906522 HAS SOPS 906123 HAS SOUS 126962 HAS SOUPS 126732 WITH SCORE 127638.522
AT ITER 929 NEW BEST:: SOT 1184039 SOS 907292 HAS SOPS 906893 HAS SOUS 126927 HAS SOUPS 126697 WITH SCORE 127604.292
AT ITER 934 NEW BEST:: SOT 1183549 SOS 906802 HAS SOPS 906403 HAS SOUS 126835 HAS SOUPS 126605 WITH SCORE 127511.802
AT ITER 941 NEW BEST:: SOT 1183537 SOS 906752 HAS SOPS 906353 HAS SOUS 126827 HAS SOUPS 126597 WITH SCORE 127503.752
AT ITER 945 NEW BEST:: SOT 1183253 SOS 906468 HAS SOPS 906069 HAS SOUS 125874 HAS SOUPS 125644 WITH SCORE 126550.468
AT ITER 951 NEW BEST:: SOT 1183497 SOS 907799 HAS SOPS 907400 HAS SOUS 123943 HAS SOUPS 123713 WITH SCORE 124620.799
AT ITER 955 NEW BEST:: SOT 1183497 SOS 906527 HAS SOPS 906128 HAS SOUS 123890 HAS SOUPS 123660 WITH SCORE 124566.527
AT ITER 969 NEW BEST:: SOT 1183385 SOS 906320 HAS SOPS 905921 HAS SOUS 123345 HAS SOUPS 123115 WITH SCORE 124021.32
AT ITER 975 NEW BEST:: SOT 1183385 SOS 906044 HAS SOPS 905655 HAS SOUS 123198 HAS SOUPS 122973 WITH SCORE 123879.044
AT ITER 987 NEW BEST:: SOT 1183385 SOS 906044 HAS SOPS 905655 HAS SOUS 123195 HAS SOUPS 122970 WITH SCORE 123876.044
AT ITER 997 NEW BEST:: SOT 1183235 SOS 906014 HAS SOPS 905625 HAS SOUS 123135 HAS SOUPS 122910 WITH SCORE 123816.014
AT ITER 1001 NEW BEST:: SOT 1183371 SOS 906246 HAS SOPS 905857 HAS SOUS 120229 HAS SOUPS 120004 WITH SCORE 120910.246
AT ITER 1004 NEW BEST:: SOT 1183371 SOS 903410 HAS SOPS 903156 HAS SOUS 120128 HAS SOUPS 119930 WITH SCORE 120833.41
AT ITER 1016 NEW BEST:: SOT 1183341 SOS 903380 HAS SOPS 903126 HAS SOUS 119838 HAS SOUPS 119640 WITH SCORE 120543.38
AT ITER 1018 NEW BEST:: SOT 1183355 SOS 903394 HAS SOPS 903140 HAS SOUS 119786 HAS SOUPS 119588 WITH SCORE 120491.394
AT ITER 1025 NEW BEST:: SOT 1183224 SOS 903263 HAS SOPS 903009 HAS SOUS 119650 HAS SOUPS 119452 WITH SCORE 120355.263
AT ITER 1028 NEW BEST:: SOT 1183179 SOS 903238 HAS SOPS 902984 HAS SOUS 119591 HAS SOUPS 119393 WITH SCORE 120296.238
AT ITER 1031 NEW BEST:: SOT 1182520 SOS 902579 HAS SOPS 902325 HAS SOUS 119368 HAS SOUPS 119170 WITH SCORE 120072.579
AT ITER 1036 NEW BEST:: SOT 1184542 SOS 904731 HAS SOPS 904477 HAS SOUS 118461 HAS SOUPS 118263 WITH SCORE 119167.731
AT ITER 1037 NEW BEST:: SOT 1188181 SOS 908370 HAS SOPS 908116 HAS SOUS 117415 HAS SOUPS 117217 WITH SCORE 118125.37
AT ITER 1041 NEW BEST:: SOT 1188067 SOS 908256 HAS SOPS 908002 HAS SOUS 116990 HAS SOUPS 116792 WITH SCORE 117700.256
AT ITER 1044 NEW BEST:: SOT 1188101 SOS 908145 HAS SOPS 907867 HAS SOUS 116999 HAS SOUPS 116777 WITH SCORE 117685.145
AT ITER 1049 NEW BEST:: SOT 1188142 SOS 908252 HAS SOPS 907974 HAS SOUS 116861 HAS SOUPS 116639 WITH SCORE 117547.252
AT ITER 1055 NEW BEST:: SOT 1186456 SOS 905822 HAS SOPS 905544 HAS SOUS 115592 HAS SOUPS 115370 WITH SCORE 116275.822
AT ITER 1057 NEW BEST:: SOT 1186740 SOS 906106 HAS SOPS 905828 HAS SOUS 114322 HAS SOUPS 114100 WITH SCORE 115006.106
AT ITER 1065 NEW BEST:: SOT 1187523 SOS 906889 HAS SOPS 906611 HAS SOUS 113970 HAS SOUPS 113748 WITH SCORE 114654.889
AT ITER 1069 NEW BEST:: SOT 1187526 SOS 907203 HAS SOPS 906925 HAS SOUS 113947 HAS SOUPS 113725 WITH SCORE 114632.203
AT ITER 1084 NEW BEST:: SOT 1187526 SOS 908096 HAS SOPS 907818 HAS SOUS 113928 HAS SOUPS 113706 WITH SCORE 114614.096
AT ITER 1093 NEW BEST:: SOT 1186152 SOS 906294 HAS SOPS 906016 HAS SOUS 112778 HAS SOUPS 112556 WITH SCORE 113462.294
AT ITER 1096 NEW BEST:: SOT 1188963 SOS 909885 HAS SOPS 909607 HAS SOUS 112051 HAS SOUPS 111829 WITH SCORE 112738.885
AT ITER 1105 NEW BEST:: SOT 1190475 SOS 910861 HAS SOPS 910591 HAS SOUS 111965 HAS SOUPS 111751 WITH SCORE 112661.861
AT ITER 1113 NEW BEST:: SOT 1190475 SOS 910717 HAS SOPS 910447 HAS SOUS 111965 HAS SOUPS 111751 WITH SCORE 112661.717
AT ITER 1114 NEW BEST:: SOT 1190451 SOS 910693 HAS SOPS 910423 HAS SOUS 111941 HAS SOUPS 111727 WITH SCORE 112637.693
AT ITER 1118 NEW BEST:: SOT 1190451 SOS 908629 HAS SOPS 908359 HAS SOUS 111941 HAS SOUPS 111727 WITH SCORE 112635.629
AT ITER 1128 NEW BEST:: SOT 1189951 SOS 908270 HAS SOPS 908000 HAS SOUS 111420 HAS SOUPS 111206 WITH SCORE 112114.27
AT ITER 1130 NEW BEST:: SOT 1189951 SOS 908196 HAS SOPS 907852 HAS SOUS 111311 HAS SOUPS 111023 WITH SCORE 111931.196
AT ITER 1143 NEW BEST:: SOT 1190805 SOS 909216 HAS SOPS 908872 HAS SOUS 110572 HAS SOUPS 110284 WITH SCORE 111193.216
AT ITER 1145 NEW BEST:: SOT 1190805 SOS 909216 HAS SOPS 908872 HAS SOUS 110566 HAS SOUPS 110278 WITH SCORE 111187.216
AT ITER 1151 NEW BEST:: SOT 1190817 SOS 909228 HAS SOPS 908884 HAS SOUS 110564 HAS SOUPS 110276 WITH SCORE 111185.228
AT ITER 1157 NEW BEST:: SOT 1190666 SOS 909209 HAS SOPS 908865 HAS SOUS 110325 HAS SOUPS 110037 WITH SCORE 110946.209
AT ITER 1161 NEW BEST:: SOT 1190666 SOS 909278 HAS SOPS 908931 HAS SOUS 110325 HAS SOUPS 110034 WITH SCORE 110943.278
AT ITER 1190 NEW BEST:: SOT 1190677 SOS 909988 HAS SOPS 909650 HAS SOUS 110251 HAS SOUPS 109969 WITH SCORE 110878.988
AT ITER 1206 NEW BEST:: SOT 1190775 SOS 910086 HAS SOPS 909748 HAS SOUS 110099 HAS SOUPS 109817 WITH SCORE 110727.086
AT ITER 1217 NEW BEST:: SOT 1190987 SOS 910298 HAS SOPS 909960 HAS SOUS 109857 HAS SOUPS 109575 WITH SCORE 110485.298
AT ITER 1224 NEW BEST:: SOT 1192835 SOS 911998 HAS SOPS 911640 HAS SOUS 109870 HAS SOUPS 109568 WITH SCORE 110479.998
AT ITER 1233 NEW BEST:: SOT 1190890 SOS 910053 HAS SOPS 909695 HAS SOUS 109196 HAS SOUPS 108894 WITH SCORE 109804.053
AT ITER 1244 NEW BEST:: SOT 1190890 SOS 910027 HAS SOPS 909669 HAS SOUS 109196 HAS SOUPS 108894 WITH SCORE 109804.027
AT ITER 1262 NEW BEST:: SOT 1190890 SOS 910027 HAS SOPS 909669 HAS SOUS 109072 HAS SOUPS 108770 WITH SCORE 109680.027
AT ITER 1291 NEW BEST:: SOT 1190890 SOS 909999 HAS SOPS 909641 HAS SOUS 109065 HAS SOUPS 108763 WITH SCORE 109672.999
AT ITER 1302 NEW BEST:: SOT 1190890 SOS 909921 HAS SOPS 909563 HAS SOUS 109065 HAS SOUPS 108763 WITH SCORE 109672.921
AT ITER 1320 NEW BEST:: SOT 1190890 SOS 909705 HAS SOPS 909347 HAS SOUS 109056 HAS SOUPS 108754 WITH SCORE 109663.705
AT ITER 1323 NEW BEST:: SOT 1188603 SOS 907566 HAS SOPS 907228 HAS SOUS 108966 HAS SOUPS 108684 WITH SCORE 109591.566
AT ITER 1332 NEW BEST:: SOT 1188603 SOS 907350 HAS SOPS 907012 HAS SOUS 108964 HAS SOUPS 108682 WITH SCORE 109589.35
AT ITER 1334 NEW BEST:: SOT 1188711 SOS 910114 HAS SOPS 909900 HAS SOUS 108817 HAS SOUPS 108659 WITH SCORE 109569.114
AT ITER 1344 NEW BEST:: SOT 1188552 SOS 909955 HAS SOPS 909741 HAS SOUS 108479 HAS SOUPS 108321 WITH SCORE 109230.955
AT ITER 1360 NEW BEST:: SOT 1188545 SOS 909780 HAS SOPS 909566 HAS SOUS 108479 HAS SOUPS 108321 WITH SCORE 109230.78
AT ITER 1361 NEW BEST:: SOT 1188545 SOS 908988 HAS SOPS 908774 HAS SOUS 108446 HAS SOUPS 108288 WITH SCORE 109196.988
AT ITER 1364 NEW BEST:: SOT 1188545 SOS 908724 HAS SOPS 908510 HAS SOUS 108446 HAS SOUPS 108288 WITH SCORE 109196.724
AT ITER 1422 NEW BEST:: SOT 1188493 SOS 908672 HAS SOPS 908458 HAS SOUS 108100 HAS SOUPS 107942 WITH SCORE 108850.672
AT ITER 1430 NEW BEST:: SOT 1188265 SOS 908444 HAS SOPS 908230 HAS SOUS 106759 HAS SOUPS 106601 WITH SCORE 107509.444
AT ITER 1445 NEW BEST:: SOT 1189893 SOS 910072 HAS SOPS 909858 HAS SOUS 106348 HAS SOUPS 106190 WITH SCORE 107100.072
AT ITER 1458 NEW BEST:: SOT 1189823 SOS 910002 HAS SOPS 909788 HAS SOUS 106241 HAS SOUPS 106083 WITH SCORE 106993.002
AT ITER 1459 NEW BEST:: SOT 1189823 SOS 909594 HAS SOPS 909380 HAS SOUS 106241 HAS SOUPS 106083 WITH SCORE 106992.594
AT ITER 1462 NEW BEST:: SOT 1189890 SOS 909661 HAS SOPS 909447 HAS SOUS 106081 HAS SOUPS 105923 WITH SCORE 106832.661
AT ITER 1495 NEW BEST:: SOT 1189295 SOS 909066 HAS SOPS 908852 HAS SOUS 105911 HAS SOUPS 105753 WITH SCORE 106662.066
AT ITER 1504 NEW BEST:: SOT 1189335 SOS 909106 HAS SOPS 908892 HAS SOUS 105900 HAS SOUPS 105742 WITH SCORE 106651.106
AT ITER 1510 NEW BEST:: SOT 1188985 SOS 908742 HAS SOPS 908528 HAS SOUS 105886 HAS SOUPS 105728 WITH SCORE 106636.742
AT ITER 1518 NEW BEST:: SOT 1189487 SOS 909244 HAS SOPS 909030 HAS SOUS 105585 HAS SOUPS 105427 WITH SCORE 106336.244
AT ITER 1525 NEW BEST:: SOT 1189487 SOS 909244 HAS SOPS 909030 HAS SOUS 105510 HAS SOUPS 105352 WITH SCORE 106261.244
AT ITER 1529 NEW BEST:: SOT 1188469 SOS 904173 HAS SOPS 903832 HAS SOUS 105496 HAS SOUPS 105211 WITH SCORE 106115.173
AT ITER 1531 NEW BEST:: SOT 1188469 SOS 904059 HAS SOPS 903718 HAS SOUS 105496 HAS SOUPS 105211 WITH SCORE 106115.059
AT ITER 1538 NEW BEST:: SOT 1191524 SOS 907114 HAS SOPS 906773 HAS SOUS 105287 HAS SOUPS 105002 WITH SCORE 105909.114
AT ITER 1548 NEW BEST:: SOT 1191213 SOS 906803 HAS SOPS 906462 HAS SOUS 104892 HAS SOUPS 104607 WITH SCORE 105513.803
AT ITER 1549 NEW BEST:: SOT 1191213 SOS 907771 HAS SOPS 907430 HAS SOUS 104870 HAS SOUPS 104585 WITH SCORE 105492.771
AT ITER 1550 NEW BEST:: SOT 1191213 SOS 907755 HAS SOPS 907414 HAS SOUS 104866 HAS SOUPS 104581 WITH SCORE 105488.755
AT ITER 1585 NEW BEST:: SOT 1193514 SOS 911328 HAS SOPS 911011 HAS SOUS 104821 HAS SOUPS 104560 WITH SCORE 105471.328
AT ITER 1588 NEW BEST:: SOT 1193024 SOS 910838 HAS SOPS 910521 HAS SOUS 104591 HAS SOUPS 104330 WITH SCORE 105240.838
AT ITER 1592 NEW BEST:: SOT 1192909 SOS 828301 HAS SOPS 827828 HAS SOUS 104631 HAS SOUPS 104331 WITH SCORE 105159.301
AT ITER 1594 NEW BEST:: SOT 1192909 SOS 828953 HAS SOPS 828450 HAS SOUS 104631 HAS SOUPS 104301 WITH SCORE 105129.953
AT ITER 1613 NEW BEST:: SOT 1192821 SOS 828865 HAS SOPS 828362 HAS SOUS 104594 HAS SOUPS 104264 WITH SCORE 105092.865
AT ITER 1615 NEW BEST:: SOT 1192816 SOS 828876 HAS SOPS 828373 HAS SOUS 104581 HAS SOUPS 104251 WITH SCORE 105079.876
AT ITER 1637 NEW BEST:: SOT 1192870 SOS 828930 HAS SOPS 828427 HAS SOUS 104512 HAS SOUPS 104182 WITH SCORE 105010.93
AT ITER 1638 NEW BEST:: SOT 1192870 SOS 828792 HAS SOPS 828295 HAS SOUS 104506 HAS SOUPS 104176 WITH SCORE 105004.792
AT ITER 1658 NEW BEST:: SOT 1192182 SOS 828104 HAS SOPS 827607 HAS SOUS 104373 HAS SOUPS 104043 WITH SCORE 104871.104
AT ITER 1661 NEW BEST:: SOT 1192521 SOS 828443 HAS SOPS 827946 HAS SOUS 103552 HAS SOUPS 103222 WITH SCORE 104050.443
AT ITER 1662 NEW BEST:: SOT 1192521 SOS 828512 HAS SOPS 828018 HAS SOUS 103534 HAS SOUPS 103207 WITH SCORE 104035.512
AT ITER 1666 NEW BEST:: SOT 1192521 SOS 827528 HAS SOPS 827034 HAS SOUS 103534 HAS SOUPS 103207 WITH SCORE 104034.528
AT ITER 1667 NEW BEST:: SOT 1192497 SOS 827504 HAS SOPS 827010 HAS SOUS 103526 HAS SOUPS 103199 WITH SCORE 104026.504
AT ITER 1682 NEW BEST:: SOT 1195571 SOS 830578 HAS SOPS 830084 HAS SOUS 103203 HAS SOUPS 102876 WITH SCORE 103706.578
AT ITER 1684 NEW BEST:: SOT 1195571 SOS 828922 HAS SOPS 828428 HAS SOUS 103203 HAS SOUPS 102876 WITH SCORE 103704.922
AT ITER 1724 NEW BEST:: SOT 1195591 SOS 832483 HAS SOPS 831989 HAS SOUS 103166 HAS SOUPS 102839 WITH SCORE 103671.483
AT ITER 1725 NEW BEST:: SOT 1196567 SOS 833459 HAS SOPS 832965 HAS SOUS 102911 HAS SOUPS 102584 WITH SCORE 103417.459
AT ITER 1730 NEW BEST:: SOT 1198194 SOS 838192 HAS SOPS 837604 HAS SOUS 102774 HAS SOUPS 102353 WITH SCORE 103191.192
AT ITER 1735 NEW BEST:: SOT 1199657 SOS 842750 HAS SOPS 842131 HAS SOUS 102797 HAS SOUPS 102345 WITH SCORE 103187.75
AT ITER 1739 NEW BEST:: SOT 1199446 SOS 844366 HAS SOPS 843747 HAS SOUS 102551 HAS SOUPS 102099 WITH SCORE 102943.366
AT ITER 1743 NEW BEST:: SOT 1199432 SOS 844352 HAS SOPS 843733 HAS SOUS 102523 HAS SOUPS 102071 WITH SCORE 102915.352
AT ITER 1751 NEW BEST:: SOT 1196910 SOS 838735 HAS SOPS 838147 HAS SOUS 102456 HAS SOUPS 102035 WITH SCORE 102873.735
AT ITER 1760 NEW BEST:: SOT 1196910 SOS 838471 HAS SOPS 837883 HAS SOUS 102456 HAS SOUPS 102035 WITH SCORE 102873.471
AT ITER 1763 NEW BEST:: SOT 1197230 SOS 839250 HAS SOPS 838662 HAS SOUS 102393 HAS SOUPS 101972 WITH SCORE 102811.25
AT ITER 1786 NEW BEST:: SOT 1196624 SOS 838644 HAS SOPS 838056 HAS SOUS 102035 HAS SOUPS 101614 WITH SCORE 102452.644
AT ITER 1787 NEW BEST:: SOT 1196624 SOS 838644 HAS SOPS 838056 HAS SOUS 102025 HAS SOUPS 101604 WITH SCORE 102442.644
AT ITER 1803 NEW BEST:: SOT 1196275 SOS 838295 HAS SOPS 837707 HAS SOUS 101942 HAS SOUPS 101521 WITH SCORE 102359.295
AT ITER 1807 NEW BEST:: SOT 1195930 SOS 837950 HAS SOPS 837362 HAS SOUS 101552 HAS SOUPS 101131 WITH SCORE 101968.95
AT ITER 1820 NEW BEST:: SOT 1196544 SOS 839304 HAS SOPS 838716 HAS SOUS 100855 HAS SOUPS 100434 WITH SCORE 101273.304
AT ITER 1847 NEW BEST:: SOT 1196493 SOS 839253 HAS SOPS 838665 HAS SOUS 100171 HAS SOUPS 99750 WITH SCORE 100589.253
AT ITER 1855 NEW BEST:: SOT 1196330 SOS 839090 HAS SOPS 838502 HAS SOUS 100098 HAS SOUPS 99677 WITH SCORE 100516.09
AT ITER 1858 NEW BEST:: SOT 1196383 SOS 838441 HAS SOPS 837891 HAS SOUS 100042 HAS SOUPS 99659 WITH SCORE 100497.441
AT ITER 1860 NEW BEST:: SOT 1196383 SOS 838393 HAS SOPS 837841 HAS SOUS 100042 HAS SOUPS 99657 WITH SCORE 100495.393
AT ITER 1866 NEW BEST:: SOT 1196383 SOS 838389 HAS SOPS 837837 HAS SOUS 99999 HAS SOUPS 99614 WITH SCORE 100452.389
AT ITER 1888 NEW BEST:: SOT 1196822 SOS 839611 HAS SOPS 839113 HAS SOUS 99940 HAS SOUPS 99609 WITH SCORE 100448.611
AT ITER 1900 NEW BEST:: SOT 1196591 SOS 839380 HAS SOPS 838882 HAS SOUS 99867 HAS SOUPS 99536 WITH SCORE 100375.38
AT ITER 1926 NEW BEST:: SOT 1196908 SOS 839697 HAS SOPS 839199 HAS SOUS 99721 HAS SOUPS 99390 WITH SCORE 100229.697
AT ITER 1927 NEW BEST:: SOT 1196840 SOS 839629 HAS SOPS 839131 HAS SOUS 99625 HAS SOUPS 99294 WITH SCORE 100133.629
AT ITER 1928 NEW BEST:: SOT 1196840 SOS 839591 HAS SOPS 839093 HAS SOUS 99606 HAS SOUPS 99275 WITH SCORE 100114.591
AT ITER 1931 NEW BEST:: SOT 1196876 SOS 839627 HAS SOPS 839129 HAS SOUS 99521 HAS SOUPS 99190 WITH SCORE 100029.627
AT ITER 1933 NEW BEST:: SOT 1196981 SOS 837822 HAS SOPS 837446 HAS SOUS 99341 HAS SOUPS 99132 WITH SCORE 99969.822
AT ITER 1934 NEW BEST:: SOT 1195137 SOS 835238 HAS SOPS 834862 HAS SOUS 99070 HAS SOUPS 98861 WITH SCORE 99696.238
AT ITER 1952 NEW BEST:: SOT 1195097 SOS 835168 HAS SOPS 834802 HAS SOUS 99060 HAS SOUPS 98861 WITH SCORE 99696.168
AT ITER 1955 NEW BEST:: SOT 1195097 SOS 833378 HAS SOPS 833012 HAS SOUS 99046 HAS SOUPS 98847 WITH SCORE 99680.378
AT ITER 1960 NEW BEST:: SOT 1195022 SOS 833303 HAS SOPS 832937 HAS SOUS 99005 HAS SOUPS 98806 WITH SCORE 99639.303
AT ITER 1969 NEW BEST:: SOT 1194964 SOS 833245 HAS SOPS 832879 HAS SOUS 98917 HAS SOUPS 98718 WITH SCORE 99551.245
AT ITER 1977 NEW BEST:: SOT 1195047 SOS 833976 HAS SOPS 833610 HAS SOUS 98770 HAS SOUPS 98571 WITH SCORE 99404.976
AT ITER 1980 NEW BEST:: SOT 1195841 SOS 834770 HAS SOPS 834404 HAS SOUS 98134 HAS SOUPS 97935 WITH SCORE 98769.77
AT ITER 1996 NEW BEST:: SOT 1197733 SOS 837310 HAS SOPS 836944 HAS SOUS 97664 HAS SOUPS 97465 WITH SCORE 98302.31
AT ITER 2004 NEW BEST:: SOT 1197733 SOS 839548 HAS SOPS 839198 HAS SOUS 97623 HAS SOUPS 97424 WITH SCORE 98263.548
AT ITER 2005 NEW BEST:: SOT 1197733 SOS 839548 HAS SOPS 839198 HAS SOUS 97619 HAS SOUPS 97420 WITH SCORE 98259.548
AT ITER 2012 NEW BEST:: SOT 1197719 SOS 839657 HAS SOPS 839307 HAS SOUS 97609 HAS SOUPS 97410 WITH SCORE 98249.657
AT ITER 2016 NEW BEST:: SOT 1197682 SOS 839620 HAS SOPS 839270 HAS SOUS 97609 HAS SOUPS 97410 WITH SCORE 98249.62
AT ITER 2020 NEW BEST:: SOT 1197200 SOS 839138 HAS SOPS 838788 HAS SOUS 97528 HAS SOUPS 97329 WITH SCORE 98168.138
AT ITER 2021 NEW BEST:: SOT 1197212 SOS 840522 HAS SOPS 840172 HAS SOUS 97278 HAS SOUPS 97079 WITH SCORE 97919.522
AT ITER 2028 NEW BEST:: SOT 1196972 SOS 840282 HAS SOPS 839932 HAS SOUS 97212 HAS SOUPS 97013 WITH SCORE 97853.282
AT ITER 2042 NEW BEST:: SOT 1196972 SOS 840498 HAS SOPS 840148 HAS SOUS 97203 HAS SOUPS 97004 WITH SCORE 97844.498
AT ITER 2062 NEW BEST:: SOT 1196929 SOS 841675 HAS SOPS 841325 HAS SOUS 97160 HAS SOUPS 96961 WITH SCORE 97802.675
AT ITER 2067 NEW BEST:: SOT 1196912 SOS 841658 HAS SOPS 841308 HAS SOUS 97105 HAS SOUPS 96906 WITH SCORE 97747.658
AT ITER 2078 NEW BEST:: SOT 1199242 SOS 843988 HAS SOPS 843638 HAS SOUS 96897 HAS SOUPS 96698 WITH SCORE 97541.988
AT ITER 2090 NEW BEST:: SOT 1199207 SOS 844399 HAS SOPS 844035 HAS SOUS 96579 HAS SOUPS 96366 WITH SCORE 97210.399
AT ITER 2097 NEW BEST:: SOT 1198741 SOS 843933 HAS SOPS 843569 HAS SOUS 94800 HAS SOUPS 94587 WITH SCORE 95430.933
AT ITER 2107 NEW BEST:: SOT 1198741 SOS 843624 HAS SOPS 843285 HAS SOUS 94731 HAS SOUPS 94524 WITH SCORE 95367.624
AT ITER 2116 NEW BEST:: SOT 1198869 SOS 843752 HAS SOPS 843413 HAS SOUS 94691 HAS SOUPS 94484 WITH SCORE 95327.752
AT ITER 2119 NEW BEST:: SOT 1198869 SOS 843588 HAS SOPS 843249 HAS SOUS 94609 HAS SOUPS 94402 WITH SCORE 95245.588
AT ITER 2127 NEW BEST:: SOT 1198844 SOS 843563 HAS SOPS 843224 HAS SOUS 94605 HAS SOUPS 94398 WITH SCORE 95241.563
AT ITER 2144 NEW BEST:: SOT 1198834 SOS 844725 HAS SOPS 844336 HAS SOUS 94547 HAS SOUPS 94290 WITH SCORE 95134.725
AT ITER 2146 NEW BEST:: SOT 1198666 SOS 844557 HAS SOPS 844168 HAS SOUS 94439 HAS SOUPS 94182 WITH SCORE 95026.557
AT ITER 2147 NEW BEST:: SOT 1198657 SOS 844548 HAS SOPS 844159 HAS SOUS 94430 HAS SOUPS 94173 WITH SCORE 95017.548
AT ITER 2160 NEW BEST:: SOT 1198026 SOS 843917 HAS SOPS 843528 HAS SOUS 93614 HAS SOUPS 93357 WITH SCORE 94200.917
AT ITER 2182 NEW BEST:: SOT 1198026 SOS 843756 HAS SOPS 843367 HAS SOUS 93614 HAS SOUPS 93357 WITH SCORE 94200.756
AT ITER 2197 NEW BEST:: SOT 1198026 SOS 842460 HAS SOPS 842071 HAS SOUS 93614 HAS SOUPS 93357 WITH SCORE 94199.46
AT ITER 2228 NEW BEST:: SOT 1198220 SOS 844118 HAS SOPS 843729 HAS SOUS 93419 HAS SOUPS 93162 WITH SCORE 94006.118
AT ITER 2249 NEW BEST:: SOT 1198220 SOS 843776 HAS SOPS 843387 HAS SOUS 93321 HAS SOUPS 93064 WITH SCORE 93907.776
AT ITER 2269 NEW BEST:: SOT 1198055 SOS 843611 HAS SOPS 843222 HAS SOUS 93313 HAS SOUPS 93056 WITH SCORE 93899.611
AT ITER 2270 NEW BEST:: SOT 1195444 SOS 841000 HAS SOPS 840611 HAS SOUS 92809 HAS SOUPS 92552 WITH SCORE 93393.0
AT ITER 2282 NEW BEST:: SOT 1194790 SOS 840346 HAS SOPS 839957 HAS SOUS 92166 HAS SOUPS 91909 WITH SCORE 92749.346
AT ITER 2288 NEW BEST:: SOT 1194794 SOS 840373 HAS SOPS 839984 HAS SOUS 92163 HAS SOUPS 91906 WITH SCORE 92746.373
AT ITER 2296 NEW BEST:: SOT 1194803 SOS 840454 HAS SOPS 840065 HAS SOUS 92102 HAS SOUPS 91845 WITH SCORE 92685.454
AT ITER 2299 NEW BEST:: SOT 1195182 SOS 840833 HAS SOPS 840444 HAS SOUS 91075 HAS SOUPS 90818 WITH SCORE 91658.833
AT ITER 2316 NEW BEST:: SOT 1194778 SOS 840429 HAS SOPS 840040 HAS SOUS 90625 HAS SOUPS 90368 WITH SCORE 91208.429
AT ITER 2325 NEW BEST:: SOT 1194736 SOS 840387 HAS SOPS 839998 HAS SOUS 90508 HAS SOUPS 90251 WITH SCORE 91091.387
AT ITER 2331 NEW BEST:: SOT 1194528 SOS 840179 HAS SOPS 839790 HAS SOUS 90472 HAS SOUPS 90215 WITH SCORE 91055.179
AT ITER 2377 NEW BEST:: SOT 1194521 SOS 840172 HAS SOPS 839783 HAS SOUS 90465 HAS SOUPS 90208 WITH SCORE 91048.172
AT ITER 2412 NEW BEST:: SOT 1193824 SOS 839475 HAS SOPS 839086 HAS SOUS 90138 HAS SOUPS 89881 WITH SCORE 90720.475
AT ITER 2422 NEW BEST:: SOT 1194118 SOS 836493 HAS SOPS 836260 HAS SOUS 89853 HAS SOUPS 89635 WITH SCORE 90471.493
AT ITER 2446 NEW BEST:: SOT 1191977 SOS 787738 HAS SOPS 787505 HAS SOUS 89870 HAS SOUPS 89652 WITH SCORE 90439.738
AT ITER 2452 NEW BEST:: SOT 1191900 SOS 787661 HAS SOPS 787428 HAS SOUS 89793 HAS SOUPS 89575 WITH SCORE 90362.661
AT ITER 2486 NEW BEST:: SOT 1191748 SOS 783511 HAS SOPS 783236 HAS SOUS 89793 HAS SOUPS 89573 WITH SCORE 90356.511
AT ITER 2496 NEW BEST:: SOT 1191748 SOS 783435 HAS SOPS 783160 HAS SOUS 89793 HAS SOUPS 89573 WITH SCORE 90356.435
AT ITER 2501 NEW BEST:: SOT 1192072 SOS 783759 HAS SOPS 783484 HAS SOUS 89726 HAS SOUPS 89506 WITH SCORE 90289.759
AT ITER 2519 NEW BEST:: SOT 1191952 SOS 783603 HAS SOPS 783328 HAS SOUS 89612 HAS SOUPS 89392 WITH SCORE 90175.603
AT ITER 2520 NEW BEST:: SOT 1191952 SOS 783603 HAS SOPS 783328 HAS SOUS 89564 HAS SOUPS 89344 WITH SCORE 90127.603
AT ITER 2548 NEW BEST:: SOT 1191959 SOS 783730 HAS SOPS 783455 HAS SOUS 89553 HAS SOUPS 89333 WITH SCORE 90116.73
AT ITER 2552 NEW BEST:: SOT 1191931 SOS 783702 HAS SOPS 783427 HAS SOUS 89501 HAS SOUPS 89281 WITH SCORE 90064.702
AT ITER 2588 NEW BEST:: SOT 1190785 SOS 782556 HAS SOPS 782281 HAS SOUS 88878 HAS SOUPS 88658 WITH SCORE 89440.556
AT ITER 2623 NEW BEST:: SOT 1190785 SOS 782461 HAS SOPS 782186 HAS SOUS 88877 HAS SOUPS 88657 WITH SCORE 89439.461
AT ITER 2690 NEW BEST:: SOT 1190785 SOS 782125 HAS SOPS 781850 HAS SOUS 88877 HAS SOUPS 88657 WITH SCORE 89439.125
AT ITER 2723 NEW BEST:: SOT 1190773 SOS 781531 HAS SOPS 781256 HAS SOUS 88876 HAS SOUPS 88656 WITH SCORE 89437.531
AT ITER 2728 NEW BEST:: SOT 1190667 SOS 781425 HAS SOPS 781150 HAS SOUS 88807 HAS SOUPS 88587 WITH SCORE 89368.425
AT ITER 2744 NEW BEST:: SOT 1190633 SOS 781391 HAS SOPS 781116 HAS SOUS 88778 HAS SOUPS 88558 WITH SCORE 89339.391
AT ITER 2754 NEW BEST:: SOT 1190633 SOS 781391 HAS SOPS 781116 HAS SOUS 88772 HAS SOUPS 88552 WITH SCORE 89333.391
AT ITER 2755 NEW BEST:: SOT 1190633 SOS 781367 HAS SOPS 781092 HAS SOUS 88772 HAS SOUPS 88552 WITH SCORE 89333.367
AT ITER 2765 NEW BEST:: SOT 1190633 SOS 780427 HAS SOPS 780152 HAS SOUS 88747 HAS SOUPS 88527 WITH SCORE 89307.427
AT ITER 2794 NEW BEST:: SOT 1190605 SOS 780399 HAS SOPS 780124 HAS SOUS 88567 HAS SOUPS 88347 WITH SCORE 89127.399
AT ITER 2799 NEW BEST:: SOT 1190583 SOS 780449 HAS SOPS 780174 HAS SOUS 88532 HAS SOUPS 88312 WITH SCORE 89092.449
AT ITER 2807 NEW BEST:: SOT 1190567 SOS 780385 HAS SOPS 780110 HAS SOUS 88520 HAS SOUPS 88300 WITH SCORE 89080.385
AT ITER 2819 NEW BEST:: SOT 1190567 SOS 779685 HAS SOPS 779438 HAS SOUS 88492 HAS SOUPS 88300 WITH SCORE 89079.685
AT ITER 2823 NEW BEST:: SOT 1190579 SOS 779697 HAS SOPS 779450 HAS SOUS 88465 HAS SOUPS 88273 WITH SCORE 89052.697
AT ITER 2826 NEW BEST:: SOT 1191932 SOS 781050 HAS SOPS 780803 HAS SOUS 88424 HAS SOUPS 88232 WITH SCORE 89013.05
AT ITER 2843 NEW BEST:: SOT 1191659 SOS 780777 HAS SOPS 780530 HAS SOUS 88387 HAS SOUPS 88195 WITH SCORE 88975.777
AT ITER 2848 NEW BEST:: SOT 1191681 SOS 780847 HAS SOPS 780600 HAS SOUS 88360 HAS SOUPS 88168 WITH SCORE 88948.847
AT ITER 2850 NEW BEST:: SOT 1192362 SOS 781528 HAS SOPS 781281 HAS SOUS 88302 HAS SOUPS 88110 WITH SCORE 88891.528
AT ITER 2863 NEW BEST:: SOT 1192330 SOS 781496 HAS SOPS 781249 HAS SOUS 88302 HAS SOUPS 88110 WITH SCORE 88891.496
AT ITER 2892 NEW BEST:: SOT 1194236 SOS 835308 HAS SOPS 835061 HAS SOUS 88191 HAS SOUPS 87999 WITH SCORE 88834.308
AT ITER 2905 NEW BEST:: SOT 1194140 SOS 835212 HAS SOPS 834965 HAS SOUS 87973 HAS SOUPS 87781 WITH SCORE 88616.212
AT ITER 2931 NEW BEST:: SOT 1194123 SOS 835195 HAS SOPS 834948 HAS SOUS 87934 HAS SOUPS 87742 WITH SCORE 88577.195
AT ITER 2932 NEW BEST:: SOT 1194123 SOS 835195 HAS SOPS 834948 HAS SOUS 87884 HAS SOUPS 87692 WITH SCORE 88527.195
AT ITER 2933 NEW BEST:: SOT 1193791 SOS 834863 HAS SOPS 834616 HAS SOUS 87763 HAS SOUPS 87571 WITH SCORE 88405.863
AT ITER 2949 NEW BEST:: SOT 1194831 SOS 835913 HAS SOPS 835666 HAS SOUS 87568 HAS SOUPS 87376 WITH SCORE 88211.913
AT ITER 2967 NEW BEST:: SOT 1194941 SOS 836023 HAS SOPS 835776 HAS SOUS 87549 HAS SOUPS 87357 WITH SCORE 88193.023
AT ITER 2974 NEW BEST:: SOT 1195278 SOS 836360 HAS SOPS 836113 HAS SOUS 87428 HAS SOUPS 87236 WITH SCORE 88072.36
AT ITER 2979 NEW BEST:: SOT 1195278 SOS 835568 HAS SOPS 835321 HAS SOUS 87428 HAS SOUPS 87236 WITH SCORE 88071.568
AT ITER 3016 NEW BEST:: SOT 1192660 SOS 832950 HAS SOPS 832703 HAS SOUS 86910 HAS SOUPS 86718 WITH SCORE 87550.95
AT ITER 3017 NEW BEST:: SOT 1192660 SOS 832086 HAS SOPS 831839 HAS SOUS 86910 HAS SOUPS 86718 WITH SCORE 87550.086
AT ITER 3048 NEW BEST:: SOT 1192664 SOS 832098 HAS SOPS 831851 HAS SOUS 86908 HAS SOUPS 86716 WITH SCORE 87548.098
AT ITER 3062 NEW BEST:: SOT 1192650 SOS 832084 HAS SOPS 831837 HAS SOUS 86880 HAS SOUPS 86688 WITH SCORE 87520.084
AT ITER 3063 NEW BEST:: SOT 1192033 SOS 831467 HAS SOPS 831220 HAS SOUS 86774 HAS SOUPS 86582 WITH SCORE 87413.467
AT ITER 3098 NEW BEST:: SOT 1191962 SOS 831396 HAS SOPS 831149 HAS SOUS 86765 HAS SOUPS 86573 WITH SCORE 87404.396
AT ITER 3119 NEW BEST:: SOT 1191906 SOS 831340 HAS SOPS 831093 HAS SOUS 86724 HAS SOUPS 86532 WITH SCORE 87363.34
AT ITER 3150 NEW BEST:: SOT 1191728 SOS 829132 HAS SOPS 828779 HAS SOUS 86603 HAS SOUPS 86305 WITH SCORE 87134.132
AT ITER 3162 NEW BEST:: SOT 1191728 SOS 832108 HAS SOPS 831797 HAS SOUS 86495 HAS SOUPS 86199 WITH SCORE 87031.108
AT ITER 3165 NEW BEST:: SOT 1192228 SOS 832608 HAS SOPS 832297 HAS SOUS 86255 HAS SOUPS 85959 WITH SCORE 86791.608
AT ITER 3177 NEW BEST:: SOT 1192228 SOS 833278 HAS SOPS 832967 HAS SOUS 86231 HAS SOUPS 85935 WITH SCORE 86768.278
AT ITER 3233 NEW BEST:: SOT 1191720 SOS 832770 HAS SOPS 832459 HAS SOUS 86145 HAS SOUPS 85849 WITH SCORE 86681.77
AT ITER 3240 NEW BEST:: SOT 1191582 SOS 832632 HAS SOPS 832321 HAS SOUS 86007 HAS SOUPS 85711 WITH SCORE 86543.632
AT ITER 3278 NEW BEST:: SOT 1191582 SOS 832645 HAS SOPS 832334 HAS SOUS 85994 HAS SOUPS 85698 WITH SCORE 86530.645
AT ITER 3299 NEW BEST:: SOT 1191582 SOS 831493 HAS SOPS 831182 HAS SOUS 85994 HAS SOUPS 85698 WITH SCORE 86529.493
AT ITER 3325 NEW BEST:: SOT 1191582 SOS 831391 HAS SOPS 831080 HAS SOUS 85984 HAS SOUPS 85688 WITH SCORE 86519.391
AT ITER 3338 NEW BEST:: SOT 1191582 SOS 831391 HAS SOPS 831080 HAS SOUS 85936 HAS SOUPS 85640 WITH SCORE 86471.391
AT ITER 3346 NEW BEST:: SOT 1191582 SOS 832111 HAS SOPS 831800 HAS SOUS 85906 HAS SOUPS 85610 WITH SCORE 86442.111
AT ITER 3366 NEW BEST:: SOT 1192672 SOS 833201 HAS SOPS 832890 HAS SOUS 85696 HAS SOUPS 85400 WITH SCORE 86233.201
AT ITER 3375 NEW BEST:: SOT 1191222 SOS 830767 HAS SOPS 830456 HAS SOUS 85567 HAS SOUPS 85271 WITH SCORE 86101.767
AT ITER 3379 NEW BEST:: SOT 1191232 SOS 830777 HAS SOPS 830466 HAS SOUS 85337 HAS SOUPS 85041 WITH SCORE 85871.777
AT ITER 3430 NEW BEST:: SOT 1191232 SOS 830249 HAS SOPS 829938 HAS SOUS 85337 HAS SOUPS 85041 WITH SCORE 85871.249
AT ITER 3435 NEW BEST:: SOT 1190965 SOS 829982 HAS SOPS 829671 HAS SOUS 84952 HAS SOUPS 84656 WITH SCORE 85485.982
AT ITER 3444 NEW BEST:: SOT 1190965 SOS 829934 HAS SOPS 829623 HAS SOUS 84952 HAS SOUPS 84656 WITH SCORE 85485.934
AT ITER 3449 NEW BEST:: SOT 1190965 SOS 829742 HAS SOPS 829431 HAS SOUS 84952 HAS SOUPS 84656 WITH SCORE 85485.742
AT ITER 3454 NEW BEST:: SOT 1190944 SOS 829985 HAS SOPS 829674 HAS SOUS 84947 HAS SOUPS 84651 WITH SCORE 85480.985
AT ITER 3468 NEW BEST:: SOT 1191046 SOS 830087 HAS SOPS 829776 HAS SOUS 84538 HAS SOUPS 84242 WITH SCORE 85072.087
AT ITER 3485 NEW BEST:: SOT 1192299 SOS 831340 HAS SOPS 831029 HAS SOUS 83738 HAS SOUPS 83442 WITH SCORE 84273.34
AT ITER 3494 NEW BEST:: SOT 1192375 SOS 829137 HAS SOPS 828921 HAS SOUS 83600 HAS SOUPS 83399 WITH SCORE 84228.137
AT ITER 3497 NEW BEST:: SOT 1193621 SOS 830383 HAS SOPS 830167 HAS SOUS 83575 HAS SOUPS 83374 WITH SCORE 84204.383
AT ITER 3520 NEW BEST:: SOT 1194337 SOS 831099 HAS SOPS 830883 HAS SOUS 81361 HAS SOUPS 81160 WITH SCORE 81991.099
AT ITER 3525 NEW BEST:: SOT 1194023 SOS 829890 HAS SOPS 829674 HAS SOUS 81332 HAS SOUPS 81131 WITH SCORE 81960.89
AT ITER 3537 NEW BEST:: SOT 1194125 SOS 830592 HAS SOPS 830376 HAS SOUS 80425 HAS SOUPS 80224 WITH SCORE 81054.592
AT ITER 3554 NEW BEST:: SOT 1194123 SOS 830590 HAS SOPS 830374 HAS SOUS 80423 HAS SOUPS 80222 WITH SCORE 81052.59
AT ITER 3564 NEW BEST:: SOT 1194196 SOS 830663 HAS SOPS 830447 HAS SOUS 80313 HAS SOUPS 80112 WITH SCORE 80942.663
AT ITER 3566 NEW BEST:: SOT 1194479 SOS 830365 HAS SOPS 830172 HAS SOUS 79678 HAS SOUPS 79500 WITH SCORE 80330.365
AT ITER 3576 NEW BEST:: SOT 1194483 SOS 829789 HAS SOPS 829616 HAS SOUS 79664 HAS SOUPS 79491 WITH SCORE 80320.789
AT ITER 3591 NEW BEST:: SOT 1196197 SOS 834754 HAS SOPS 834594 HAS SOUS 79582 HAS SOUPS 79422 WITH SCORE 80256.754
AT ITER 3630 NEW BEST:: SOT 1196197 SOS 836338 HAS SOPS 836178 HAS SOUS 79549 HAS SOUPS 79389 WITH SCORE 80225.338
AT ITER 3654 NEW BEST:: SOT 1195646 SOS 835787 HAS SOPS 835627 HAS SOUS 79156 HAS SOUPS 78996 WITH SCORE 79831.787
AT ITER 3658 NEW BEST:: SOT 1195646 SOS 836746 HAS SOPS 836587 HAS SOUS 79116 HAS SOUPS 78957 WITH SCORE 79793.746
AT ITER 3667 NEW BEST:: SOT 1195646 SOS 836650 HAS SOPS 836491 HAS SOUS 79116 HAS SOUPS 78957 WITH SCORE 79793.65
AT ITER 3689 NEW BEST:: SOT 1195657 SOS 828298 HAS SOPS 828139 HAS SOUS 79119 HAS SOUPS 78960 WITH SCORE 79788.298
AT ITER 3701 NEW BEST:: SOT 1195648 SOS 826168 HAS SOPS 826009 HAS SOUS 79098 HAS SOUPS 78939 WITH SCORE 79765.168
AT ITER 3703 NEW BEST:: SOT 1195648 SOS 826237 HAS SOPS 826078 HAS SOUS 79095 HAS SOUPS 78936 WITH SCORE 79762.237
AT ITER 3713 NEW BEST:: SOT 1195342 SOS 825931 HAS SOPS 825772 HAS SOUS 78948 HAS SOUPS 78789 WITH SCORE 79614.931
AT ITER 3720 NEW BEST:: SOT 1194382 SOS 824811 HAS SOPS 824652 HAS SOUS 78231 HAS SOUPS 78072 WITH SCORE 78896.811
AT ITER 3733 NEW BEST:: SOT 1194378 SOS 824807 HAS SOPS 824648 HAS SOUS 78204 HAS SOUPS 78045 WITH SCORE 78869.807
AT ITER 3736 NEW BEST:: SOT 1194378 SOS 825239 HAS SOPS 825080 HAS SOUS 78162 HAS SOUPS 78003 WITH SCORE 78828.239
AT ITER 3751 NEW BEST:: SOT 1194338 SOS 825199 HAS SOPS 825040 HAS SOUS 78143 HAS SOUPS 77984 WITH SCORE 78809.199
AT ITER 3769 NEW BEST:: SOT 1194338 SOS 825131 HAS SOPS 824972 HAS SOUS 78143 HAS SOUPS 77984 WITH SCORE 78809.131
AT ITER 3781 NEW BEST:: SOT 1194328 SOS 825121 HAS SOPS 824962 HAS SOUS 78126 HAS SOUPS 77967 WITH SCORE 78792.121
AT ITER 3794 NEW BEST:: SOT 1194328 SOS 824869 HAS SOPS 824710 HAS SOUS 78105 HAS SOUPS 77946 WITH SCORE 78770.869
AT ITER 3801 NEW BEST:: SOT 1194476 SOS 825017 HAS SOPS 824858 HAS SOUS 78070 HAS SOUPS 77911 WITH SCORE 78736.017
AT ITER 3805 NEW BEST:: SOT 1194410 SOS 824951 HAS SOPS 824792 HAS SOUS 78004 HAS SOUPS 77845 WITH SCORE 78669.951
AT ITER 3808 NEW BEST:: SOT 1193595 SOS 824100 HAS SOPS 823929 HAS SOUS 77938 HAS SOUPS 77767 WITH SCORE 78591.1
AT ITER 3871 NEW BEST:: SOT 1193917 SOS 824422 HAS SOPS 824251 HAS SOUS 77108 HAS SOUPS 76937 WITH SCORE 77761.422
AT ITER 3881 NEW BEST:: SOT 1193932 SOS 824437 HAS SOPS 824266 HAS SOUS 76938 HAS SOUPS 76767 WITH SCORE 77591.437
AT ITER 3895 NEW BEST:: SOT 1193935 SOS 821554 HAS SOPS 821383 HAS SOUS 76932 HAS SOUPS 76761 WITH SCORE 77582.554
AT ITER 3900 NEW BEST:: SOT 1193998 SOS 824641 HAS SOPS 824470 HAS SOUS 76854 HAS SOUPS 76683 WITH SCORE 77507.641
AT ITER 3920 NEW BEST:: SOT 1194473 SOS 825116 HAS SOPS 824945 HAS SOUS 76827 HAS SOUPS 76656 WITH SCORE 77481.116
AT ITER 3921 NEW BEST:: SOT 1194473 SOS 825020 HAS SOPS 824849 HAS SOUS 76827 HAS SOUPS 76656 WITH SCORE 77481.02
AT ITER 3928 NEW BEST:: SOT 1194473 SOS 824636 HAS SOPS 824465 HAS SOUS 76827 HAS SOUPS 76656 WITH SCORE 77480.636
AT ITER 3943 NEW BEST:: SOT 1193835 SOS 823998 HAS SOPS 823827 HAS SOUS 76739 HAS SOUPS 76568 WITH SCORE 77391.998
AT ITER 3950 NEW BEST:: SOT 1193446 SOS 823609 HAS SOPS 823438 HAS SOUS 76600 HAS SOUPS 76429 WITH SCORE 77252.609
AT ITER 3969 NEW BEST:: SOT 1195143 SOS 830496 HAS SOPS 830485 HAS SOUS 76320 HAS SOUPS 76309 WITH SCORE 77139.496
AT ITER 3981 NEW BEST:: SOT 1194898 SOS 830251 HAS SOPS 830240 HAS SOUS 76299 HAS SOUPS 76288 WITH SCORE 77118.251
AT ITER 3993 NEW BEST:: SOT 1194911 SOS 830264 HAS SOPS 830253 HAS SOUS 76294 HAS SOUPS 76283 WITH SCORE 77113.264
AT ITER 3995 NEW BEST:: SOT 1194911 SOS 829928 HAS SOPS 829917 HAS SOUS 76294 HAS SOUPS 76283 WITH SCORE 77112.928
AT ITER 4016 NEW BEST:: SOT 1194480 SOS 829497 HAS SOPS 829486 HAS SOUS 76058 HAS SOUPS 76047 WITH SCORE 76876.497
AT ITER 4031 NEW BEST:: SOT 1194585 SOS 829602 HAS SOPS 829591 HAS SOUS 76034 HAS SOUPS 76023 WITH SCORE 76852.602
AT ITER 4035 NEW BEST:: SOT 1194585 SOS 829746 HAS SOPS 829735 HAS SOUS 75855 HAS SOUPS 75844 WITH SCORE 76673.746
AT ITER 4080 NEW BEST:: SOT 1193155 SOS 825048 HAS SOPS 825041 HAS SOUS 75811 HAS SOUPS 75804 WITH SCORE 76629.048
AT ITER 4084 NEW BEST:: SOT 1193135 SOS 822834 HAS SOPS 822834 HAS SOUS 75805 HAS SOUPS 75805 WITH SCORE 76627.834
AT ITER 4087 NEW BEST:: SOT 1192823 SOS 822522 HAS SOPS 822522 HAS SOUS 75717 HAS SOUPS 75717 WITH SCORE 76539.522
AT ITER 4121 NEW BEST:: SOT 1192874 SOS 822573 HAS SOPS 822573 HAS SOUS 75705 HAS SOUPS 75705 WITH SCORE 76527.573
AT ITER 4136 NEW BEST:: SOT 1192877 SOS 822612 HAS SOPS 822612 HAS SOUS 75680 HAS SOUPS 75680 WITH SCORE 76502.612
AT ITER 4140 NEW BEST:: SOT 1193533 SOS 823268 HAS SOPS 823268 HAS SOUS 75468 HAS SOUPS 75468 WITH SCORE 76291.268
AT ITER 4142 NEW BEST:: SOT 1193533 SOS 823052 HAS SOPS 823052 HAS SOUS 75468 HAS SOUPS 75468 WITH SCORE 76291.052
AT ITER 4156 NEW BEST:: SOT 1192368 SOS 821887 HAS SOPS 821887 HAS SOUS 75200 HAS SOUPS 75200 WITH SCORE 76021.887
AT ITER 4209 NEW BEST:: SOT 1196009 SOS 825672 HAS SOPS 825672 HAS SOUS 75059 HAS SOUPS 75059 WITH SCORE 75884.672
AT ITER 4257 NEW BEST:: SOT 1196003 SOS 825666 HAS SOPS 825666 HAS SOUS 74933 HAS SOUPS 74933 WITH SCORE 75758.666
AT ITER 4273 NEW BEST:: SOT 1195972 SOS 822659 HAS SOPS 822659 HAS SOUS 74933 HAS SOUPS 74933 WITH SCORE 75755.659
AT ITER 4351 NEW BEST:: SOT 1195972 SOS 822659 HAS SOPS 822659 HAS SOUS 74923 HAS SOUPS 74923 WITH SCORE 75745.659
AT ITER 4367 NEW BEST:: SOT 1196915 SOS 823602 HAS SOPS 823602 HAS SOUS 74078 HAS SOUPS 74078 WITH SCORE 74901.602
AT ITER 4384 NEW BEST:: SOT 1196921 SOS 823752 HAS SOPS 823752 HAS SOUS 74072 HAS SOUPS 74072 WITH SCORE 74895.752
AT ITER 4397 NEW BEST:: SOT 1198633 SOS 825518 HAS SOPS 825518 HAS SOUS 73964 HAS SOUPS 73964 WITH SCORE 74789.518
AT ITER 4401 NEW BEST:: SOT 1198630 SOS 825515 HAS SOPS 825515 HAS SOUS 73964 HAS SOUPS 73964 WITH SCORE 74789.515
AT ITER 4412 NEW BEST:: SOT 1198630 SOS 826729 HAS SOPS 826729 HAS SOUS 73938 HAS SOUPS 73938 WITH SCORE 74764.729
AT ITER 4417 NEW BEST:: SOT 1198630 SOS 826729 HAS SOPS 826729 HAS SOUS 73936 HAS SOUPS 73936 WITH SCORE 74762.729
AT ITER 4425 NEW BEST:: SOT 1198630 SOS 827233 HAS SOPS 827233 HAS SOUS 73915 HAS SOUPS 73915 WITH SCORE 74742.233
AT ITER 4429 NEW BEST:: SOT 1198630 SOS 827231 HAS SOPS 827231 HAS SOUS 73903 HAS SOUPS 73903 WITH SCORE 74730.231
AT ITER 4461 NEW BEST:: SOT 1198108 SOS 826709 HAS SOPS 826709 HAS SOUS 73553 HAS SOUPS 73553 WITH SCORE 74379.709
AT ITER 4499 NEW BEST:: SOT 1198084 SOS 825533 HAS SOPS 825533 HAS SOUS 73529 HAS SOUPS 73529 WITH SCORE 74354.533
AT ITER 4504 NEW BEST:: SOT 1198071 SOS 825520 HAS SOPS 825520 HAS SOUS 73528 HAS SOUPS 73528 WITH SCORE 74353.52
AT ITER 4526 NEW BEST:: SOT 1198035 SOS 825484 HAS SOPS 825484 HAS SOUS 73334 HAS SOUPS 73334 WITH SCORE 74159.484
AT ITER 4531 NEW BEST:: SOT 1198796 SOS 826245 HAS SOPS 826245 HAS SOUS 73274 HAS SOUPS 73274 WITH SCORE 74100.245
AT ITER 4542 NEW BEST:: SOT 1199098 SOS 826547 HAS SOPS 826547 HAS SOUS 73157 HAS SOUPS 73157 WITH SCORE 73983.547
AT ITER 4543 NEW BEST:: SOT 1199149 SOS 826598 HAS SOPS 826598 HAS SOUS 73092 HAS SOUPS 73092 WITH SCORE 73918.598
AT ITER 4572 NEW BEST:: SOT 1197793 SOS 825242 HAS SOPS 825242 HAS SOUS 72886 HAS SOUPS 72886 WITH SCORE 73711.242
AT ITER 4589 NEW BEST:: SOT 1197775 SOS 825224 HAS SOPS 825224 HAS SOUS 72740 HAS SOUPS 72740 WITH SCORE 73565.224
AT ITER 4592 NEW BEST:: SOT 1197775 SOS 825926 HAS SOPS 825926 HAS SOUS 72725 HAS SOUPS 72725 WITH SCORE 73550.926
AT ITER 4598 NEW BEST:: SOT 1197765 SOS 825916 HAS SOPS 825916 HAS SOUS 72722 HAS SOUPS 72722 WITH SCORE 73547.916
AT ITER 4617 NEW BEST:: SOT 1197765 SOS 826060 HAS SOPS 826060 HAS SOUS 72719 HAS SOUPS 72719 WITH SCORE 73545.06
AT ITER 4691 NEW BEST:: SOT 1197765 SOS 825868 HAS SOPS 825868 HAS SOUS 72719 HAS SOUPS 72719 WITH SCORE 73544.868
AT ITER 4692 NEW BEST:: SOT 1200096 SOS 828199 HAS SOPS 828199 HAS SOUS 72509 HAS SOUPS 72509 WITH SCORE 73337.199
AT ITER 4718 NEW BEST:: SOT 1200096 SOS 828055 HAS SOPS 828055 HAS SOUS 72509 HAS SOUPS 72509 WITH SCORE 73337.055
AT ITER 4745 NEW BEST:: SOT 1200096 SOS 828055 HAS SOPS 828055 HAS SOUS 72491 HAS SOUPS 72491 WITH SCORE 73319.055
AT ITER 4748 NEW BEST:: SOT 1200096 SOS 828343 HAS SOPS 828343 HAS SOUS 72485 HAS SOUPS 72485 WITH SCORE 73313.343
AT ITER 4762 NEW BEST:: SOT 1200096 SOS 826183 HAS SOPS 826183 HAS SOUS 72485 HAS SOUPS 72485 WITH SCORE 73311.183
AT ITER 4790 NEW BEST:: SOT 1200089 SOS 826176 HAS SOPS 826176 HAS SOUS 72481 HAS SOUPS 72481 WITH SCORE 73307.176
AT ITER 4806 NEW BEST:: SOT 1199759 SOS 825846 HAS SOPS 825846 HAS SOUS 72130 HAS SOUPS 72130 WITH SCORE 72955.846
AT ITER 4839 NEW BEST:: SOT 1199786 SOS 826881 HAS SOPS 826881 HAS SOUS 71950 HAS SOUPS 71950 WITH SCORE 72776.881
AT ITER 4872 NEW BEST:: SOT 1199786 SOS 818469 HAS SOPS 818469 HAS SOUS 71936 HAS SOUPS 71936 WITH SCORE 72754.469
AT ITER 4902 NEW BEST:: SOT 1199786 SOS 818469 HAS SOPS 818469 HAS SOUS 71927 HAS SOUPS 71927 WITH SCORE 72745.469
AT ITER 4958 NEW BEST:: SOT 1199948 SOS 819087 HAS SOPS 819087 HAS SOUS 71831 HAS SOUPS 71831 WITH SCORE 72650.087
AT ITER 4965 NEW BEST:: SOT 1199632 SOS 818771 HAS SOPS 818771 HAS SOUS 71803 HAS SOUPS 71803 WITH SCORE 72621.771
AT ITER 5001 NEW BEST:: SOT 1199383 SOS 818522 HAS SOPS 818522 HAS SOUS 71585 HAS SOUPS 71585 WITH SCORE 72403.522
AT ITER 5013 NEW BEST:: SOT 1199479 SOS 818618 HAS SOPS 818618 HAS SOUS 71548 HAS SOUPS 71548 WITH SCORE 72366.618
AT ITER 5047 NEW BEST:: SOT 1199479 SOS 818570 HAS SOPS 818570 HAS SOUS 71548 HAS SOUPS 71548 WITH SCORE 72366.57
AT ITER 5068 NEW BEST:: SOT 1199504 SOS 818595 HAS SOPS 818595 HAS SOUS 71358 HAS SOUPS 71358 WITH SCORE 72176.595
AT ITER 5086 NEW BEST:: SOT 1199484 SOS 818575 HAS SOPS 818575 HAS SOUS 71351 HAS SOUPS 71351 WITH SCORE 72169.575
AT ITER 5157 NEW BEST:: SOT 1199534 SOS 818625 HAS SOPS 818625 HAS SOUS 71328 HAS SOUPS 71328 WITH SCORE 72146.625
AT ITER 5160 NEW BEST:: SOT 1199455 SOS 818546 HAS SOPS 818546 HAS SOUS 71250 HAS SOUPS 71250 WITH SCORE 72068.546
AT ITER 5181 NEW BEST:: SOT 1199455 SOS 817874 HAS SOPS 817874 HAS SOUS 71250 HAS SOUPS 71250 WITH SCORE 72067.874
AT ITER 5237 NEW BEST:: SOT 1199455 SOS 817631 HAS SOPS 817631 HAS SOUS 71235 HAS SOUPS 71235 WITH SCORE 72052.631
AT ITER 5238 NEW BEST:: SOT 1199455 SOS 817343 HAS SOPS 817343 HAS SOUS 71235 HAS SOUPS 71235 WITH SCORE 72052.343
AT ITER 5285 NEW BEST:: SOT 1199377 SOS 817265 HAS SOPS 817265 HAS SOUS 71167 HAS SOUPS 71167 WITH SCORE 71984.265
AT ITER 5321 NEW BEST:: SOT 1199381 SOS 817269 HAS SOPS 817269 HAS SOUS 71091 HAS SOUPS 71091 WITH SCORE 71908.269
AT ITER 5329 NEW BEST:: SOT 1199381 SOS 816985 HAS SOPS 816985 HAS SOUS 71091 HAS SOUPS 71091 WITH SCORE 71907.985
AT ITER 5335 NEW BEST:: SOT 1198355 SOS 815959 HAS SOPS 815959 HAS SOUS 71092 HAS SOUPS 71092 WITH SCORE 71907.959
AT ITER 5376 NEW BEST:: SOT 1198355 SOS 815959 HAS SOPS 815959 HAS SOUS 71088 HAS SOUPS 71088 WITH SCORE 71903.959
AT ITER 5397 NEW BEST:: SOT 1198355 SOS 815959 HAS SOPS 815959 HAS SOUS 71079 HAS SOUPS 71079 WITH SCORE 71894.959
AT ITER 5415 NEW BEST:: SOT 1197706 SOS 815310 HAS SOPS 815310 HAS SOUS 70665 HAS SOUPS 70665 WITH SCORE 71480.31
AT ITER 5417 NEW BEST:: SOT 1197481 SOS 815085 HAS SOPS 815085 HAS SOUS 70632 HAS SOUPS 70632 WITH SCORE 71447.085
AT ITER 5438 NEW BEST:: SOT 1197511 SOS 815115 HAS SOPS 815115 HAS SOUS 70586 HAS SOUPS 70586 WITH SCORE 71401.115
AT ITER 5441 NEW BEST:: SOT 1197511 SOS 814659 HAS SOPS 814659 HAS SOUS 70586 HAS SOUPS 70586 WITH SCORE 71400.659
AT ITER 5457 NEW BEST:: SOT 1197511 SOS 814323 HAS SOPS 814323 HAS SOUS 70586 HAS SOUPS 70586 WITH SCORE 71400.323
AT ITER 5493 NEW BEST:: SOT 1197468 SOS 814280 HAS SOPS 814280 HAS SOUS 70543 HAS SOUPS 70543 WITH SCORE 71357.28
AT ITER 5494 NEW BEST:: SOT 1197468 SOS 814232 HAS SOPS 814232 HAS SOUS 70543 HAS SOUPS 70543 WITH SCORE 71357.232
AT ITER 5499 NEW BEST:: SOT 1197473 SOS 814477 HAS SOPS 814477 HAS SOUS 70533 HAS SOUPS 70533 WITH SCORE 71347.477
AT ITER 5513 NEW BEST:: SOT 1197473 SOS 814357 HAS SOPS 814357 HAS SOUS 70533 HAS SOUPS 70533 WITH SCORE 71347.357
AT ITER 5525 NEW BEST:: SOT 1197769 SOS 814509 HAS SOPS 814509 HAS SOUS 70521 HAS SOUPS 70521 WITH SCORE 71335.509
AT ITER 5544 NEW BEST:: SOT 1197772 SOS 815040 HAS SOPS 815040 HAS SOUS 70491 HAS SOUPS 70491 WITH SCORE 71306.04
AT ITER 5548 NEW BEST:: SOT 1197442 SOS 814710 HAS SOPS 814710 HAS SOUS 70325 HAS SOUPS 70325 WITH SCORE 71139.71
AT ITER 5549 NEW BEST:: SOT 1197440 SOS 814708 HAS SOPS 814708 HAS SOUS 70325 HAS SOUPS 70325 WITH SCORE 71139.708
AT ITER 5553 NEW BEST:: SOT 1197441 SOS 814805 HAS SOPS 814805 HAS SOUS 70316 HAS SOUPS 70316 WITH SCORE 71130.805
AT ITER 5559 NEW BEST:: SOT 1197441 SOS 814805 HAS SOPS 814805 HAS SOUS 70282 HAS SOUPS 70282 WITH SCORE 71096.805
AT ITER 5563 NEW BEST:: SOT 1197199 SOS 814563 HAS SOPS 814563 HAS SOUS 70250 HAS SOUPS 70250 WITH SCORE 71064.563
AT ITER 5677 NEW BEST:: SOT 1196884 SOS 814248 HAS SOPS 814248 HAS SOUS 70215 HAS SOUPS 70215 WITH SCORE 71029.248
AT ITER 5678 NEW BEST:: SOT 1196884 SOS 814296 HAS SOPS 814296 HAS SOUS 70213 HAS SOUPS 70213 WITH SCORE 71027.296
AT ITER 5726 NEW BEST:: SOT 1197044 SOS 814456 HAS SOPS 814456 HAS SOUS 70183 HAS SOUPS 70183 WITH SCORE 70997.456
AT ITER 5735 NEW BEST:: SOT 1197732 SOS 819044 HAS SOPS 819044 HAS SOUS 70131 HAS SOUPS 70131 WITH SCORE 70950.044
AT ITER 5738 NEW BEST:: SOT 1197504 SOS 818816 HAS SOPS 818816 HAS SOUS 69753 HAS SOUPS 69753 WITH SCORE 70571.816
AT ITER 5747 NEW BEST:: SOT 1197508 SOS 818820 HAS SOPS 818820 HAS SOUS 69739 HAS SOUPS 69739 WITH SCORE 70557.82
AT ITER 5755 NEW BEST:: SOT 1197655 SOS 818967 HAS SOPS 818967 HAS SOUS 69498 HAS SOUPS 69498 WITH SCORE 70316.967
AT ITER 5756 NEW BEST:: SOT 1197655 SOS 819807 HAS SOPS 819807 HAS SOUS 69480 HAS SOUPS 69480 WITH SCORE 70299.807
AT ITER 5766 NEW BEST:: SOT 1197664 SOS 819816 HAS SOPS 819816 HAS SOUS 69472 HAS SOUPS 69472 WITH SCORE 70291.816
AT ITER 5819 NEW BEST:: SOT 1197778 SOS 819930 HAS SOPS 819930 HAS SOUS 69436 HAS SOUPS 69436 WITH SCORE 70255.93
AT ITER 5834 NEW BEST:: SOT 1197767 SOS 820333 HAS SOPS 820333 HAS SOUS 69434 HAS SOUPS 69434 WITH SCORE 70254.333
AT ITER 5841 NEW BEST:: SOT 1197790 SOS 820356 HAS SOPS 820356 HAS SOUS 69419 HAS SOUPS 69419 WITH SCORE 70239.356
AT ITER 5852 NEW BEST:: SOT 1197790 SOS 820476 HAS SOPS 820476 HAS SOUS 69414 HAS SOUPS 69414 WITH SCORE 70234.476
AT ITER 5867 NEW BEST:: SOT 1197790 SOS 819664 HAS SOPS 819664 HAS SOUS 69353 HAS SOUPS 69353 WITH SCORE 70172.664
AT ITER 5973 NEW BEST:: SOT 1197788 SOS 819662 HAS SOPS 819662 HAS SOUS 69351 HAS SOUPS 69351 WITH SCORE 70170.662
AT ITER 6017 NEW BEST:: SOT 1197788 SOS 819662 HAS SOPS 819662 HAS SOUS 69331 HAS SOUPS 69331 WITH SCORE 70150.662
AT ITER 6086 NEW BEST:: SOT 1197788 SOS 820976 HAS SOPS 820934 HAS SOUS 69331 HAS SOUPS 69289 WITH SCORE 70109.976
AT ITER 6101 NEW BEST:: SOT 1197375 SOS 820563 HAS SOPS 820521 HAS SOUS 69123 HAS SOUPS 69081 WITH SCORE 69901.563
AT ITER 6109 NEW BEST:: SOT 1197188 SOS 820376 HAS SOPS 820334 HAS SOUS 69071 HAS SOUPS 69029 WITH SCORE 69849.376
AT ITER 6110 NEW BEST:: SOT 1197150 SOS 820338 HAS SOPS 820296 HAS SOUS 69033 HAS SOUPS 68991 WITH SCORE 69811.338
AT ITER 6113 NEW BEST:: SOT 1197124 SOS 820312 HAS SOPS 820270 HAS SOUS 69020 HAS SOUPS 68978 WITH SCORE 69798.312
AT ITER 6151 NEW BEST:: SOT 1196661 SOS 819369 HAS SOPS 819327 HAS SOUS 69013 HAS SOUPS 68971 WITH SCORE 69790.369
AT ITER 6152 NEW BEST:: SOT 1196153 SOS 818861 HAS SOPS 818819 HAS SOUS 68932 HAS SOUPS 68890 WITH SCORE 69708.861
AT ITER 6159 NEW BEST:: SOT 1196162 SOS 818870 HAS SOPS 818828 HAS SOUS 68887 HAS SOUPS 68845 WITH SCORE 69663.87
AT ITER 6190 NEW BEST:: SOT 1196140 SOS 818848 HAS SOPS 818806 HAS SOUS 68865 HAS SOUPS 68823 WITH SCORE 69641.848
AT ITER 6232 NEW BEST:: SOT 1196090 SOS 818798 HAS SOPS 818756 HAS SOUS 68811 HAS SOUPS 68769 WITH SCORE 69587.798
AT ITER 6271 NEW BEST:: SOT 1196043 SOS 818751 HAS SOPS 818709 HAS SOUS 68742 HAS SOUPS 68700 WITH SCORE 69518.751
AT ITER 6277 NEW BEST:: SOT 1196434 SOS 819142 HAS SOPS 819100 HAS SOUS 68261 HAS SOUPS 68219 WITH SCORE 69038.142
AT ITER 6320 NEW BEST:: SOT 1195638 SOS 818362 HAS SOPS 818320 HAS SOUS 68257 HAS SOUPS 68215 WITH SCORE 69033.362
AT ITER 6350 NEW BEST:: SOT 1195638 SOS 818362 HAS SOPS 818320 HAS SOUS 68248 HAS SOUPS 68206 WITH SCORE 69024.362
AT ITER 6354 NEW BEST:: SOT 1195599 SOS 818345 HAS SOPS 818303 HAS SOUS 68235 HAS SOUPS 68193 WITH SCORE 69011.345
AT ITER 6357 NEW BEST:: SOT 1195768 SOS 818599 HAS SOPS 818557 HAS SOUS 67851 HAS SOUPS 67809 WITH SCORE 68627.599
AT ITER 6364 NEW BEST:: SOT 1195768 SOS 818599 HAS SOPS 818557 HAS SOUS 67831 HAS SOUPS 67789 WITH SCORE 68607.599
AT ITER 6383 NEW BEST:: SOT 1195768 SOS 818599 HAS SOPS 818557 HAS SOUS 67825 HAS SOUPS 67783 WITH SCORE 68601.599
AT ITER 6430 NEW BEST:: SOT 1195770 SOS 818601 HAS SOPS 818559 HAS SOUS 67781 HAS SOUPS 67739 WITH SCORE 68557.601
AT ITER 6440 NEW BEST:: SOT 1195778 SOS 818609 HAS SOPS 818567 HAS SOUS 67748 HAS SOUPS 67706 WITH SCORE 68524.609
AT ITER 6448 NEW BEST:: SOT 1195778 SOS 819092 HAS SOPS 819050 HAS SOUS 67727 HAS SOUPS 67685 WITH SCORE 68504.092
AT ITER 6453 NEW BEST:: SOT 1195778 SOS 819020 HAS SOPS 818978 HAS SOUS 67725 HAS SOUPS 67683 WITH SCORE 68502.02
AT ITER 6455 NEW BEST:: SOT 1195778 SOS 819018 HAS SOPS 818976 HAS SOUS 67723 HAS SOUPS 67681 WITH SCORE 68500.018
AT ITER 6523 NEW BEST:: SOT 1195730 SOS 855498 HAS SOPS 855456 HAS SOUS 67685 HAS SOUPS 67643 WITH SCORE 68498.498
AT ITER 6544 NEW BEST:: SOT 1195730 SOS 855642 HAS SOPS 855600 HAS SOUS 67682 HAS SOUPS 67640 WITH SCORE 68495.642
AT ITER 6548 NEW BEST:: SOT 1195735 SOS 898330 HAS SOPS 898301 HAS SOUS 67560 HAS SOUPS 67531 WITH SCORE 68429.33
AT ITER 6580 NEW BEST:: SOT 1195741 SOS 898624 HAS SOPS 898595 HAS SOUS 67544 HAS SOUPS 67515 WITH SCORE 68413.624
AT ITER 6601 NEW BEST:: SOT 1195755 SOS 907206 HAS SOPS 907177 HAS SOUS 67512 HAS SOUPS 67483 WITH SCORE 68390.206
AT ITER 6677 NEW BEST:: SOT 1192379 SOS 903105 HAS SOPS 903105 HAS SOUS 67368 HAS SOUPS 67368 WITH SCORE 68271.105
AT ITER 6678 NEW BEST:: SOT 1192379 SOS 902385 HAS SOPS 902385 HAS SOUS 67368 HAS SOUPS 67368 WITH SCORE 68270.385
AT ITER 6716 NEW BEST:: SOT 1192379 SOS 902385 HAS SOPS 902385 HAS SOUS 67354 HAS SOUPS 67354 WITH SCORE 68256.385
AT ITER 6723 NEW BEST:: SOT 1192378 SOS 902375 HAS SOPS 902375 HAS SOUS 67352 HAS SOUPS 67352 WITH SCORE 68254.375
AT ITER 6724 NEW BEST:: SOT 1192229 SOS 902226 HAS SOPS 902226 HAS SOUS 67302 HAS SOUPS 67302 WITH SCORE 68204.226
AT ITER 6811 NEW BEST:: SOT 1194698 SOS 904695 HAS SOPS 904695 HAS SOUS 67124 HAS SOUPS 67124 WITH SCORE 68028.695
AT ITER 6851 NEW BEST:: SOT 1194698 SOS 904575 HAS SOPS 904575 HAS SOUS 67124 HAS SOUPS 67124 WITH SCORE 68028.575
AT ITER 6894 NEW BEST:: SOT 1194698 SOS 903687 HAS SOPS 903687 HAS SOUS 67124 HAS SOUPS 67124 WITH SCORE 68027.687
AT ITER 6897 NEW BEST:: SOT 1194657 SOS 903646 HAS SOPS 903646 HAS SOUS 67033 HAS SOUPS 67033 WITH SCORE 67936.646
AT ITER 6923 NEW BEST:: SOT 1194657 SOS 904414 HAS SOPS 904414 HAS SOUS 67001 HAS SOUPS 67001 WITH SCORE 67905.414
AT ITER 6924 NEW BEST:: SOT 1194657 SOS 904414 HAS SOPS 904414 HAS SOUS 66983 HAS SOUPS 66983 WITH SCORE 67887.414
AT ITER 6929 NEW BEST:: SOT 1194657 SOS 890302 HAS SOPS 890302 HAS SOUS 66958 HAS SOUPS 66958 WITH SCORE 67848.302
AT ITER 6933 NEW BEST:: SOT 1194785 SOS 890478 HAS SOPS 890478 HAS SOUS 66942 HAS SOUPS 66942 WITH SCORE 67832.478
AT ITER 6990 NEW BEST:: SOT 1194785 SOS 888798 HAS SOPS 888798 HAS SOUS 66942 HAS SOUPS 66942 WITH SCORE 67830.798
AT ITER 7029 NEW BEST:: SOT 1195256 SOS 889269 HAS SOPS 889269 HAS SOUS 66782 HAS SOUPS 66782 WITH SCORE 67671.269
AT ITER 7057 NEW BEST:: SOT 1195256 SOS 889269 HAS SOPS 889269 HAS SOUS 66775 HAS SOUPS 66775 WITH SCORE 67664.269
AT ITER 7117 NEW BEST:: SOT 1195248 SOS 889021 HAS SOPS 889021 HAS SOUS 66769 HAS SOUPS 66769 WITH SCORE 67658.021
AT ITER 7135 NEW BEST:: SOT 1195248 SOS 890173 HAS SOPS 890173 HAS SOUS 66745 HAS SOUPS 66745 WITH SCORE 67635.173
AT ITER 7179 NEW BEST:: SOT 1195248 SOS 890173 HAS SOPS 890173 HAS SOUS 66691 HAS SOUPS 66691 WITH SCORE 67581.173
AT ITER 7186 NEW BEST:: SOT 1194976 SOS 889901 HAS SOPS 889901 HAS SOUS 66689 HAS SOUPS 66689 WITH SCORE 67578.901
AT ITER 7189 NEW BEST:: SOT 1194976 SOS 889901 HAS SOPS 889901 HAS SOUS 66685 HAS SOUPS 66685 WITH SCORE 67574.901
AT ITER 7253 NEW BEST:: SOT 1194976 SOS 889901 HAS SOPS 889901 HAS SOUS 66677 HAS SOUPS 66677 WITH SCORE 67566.901
AT ITER 7262 NEW BEST:: SOT 1195008 SOS 889933 HAS SOPS 889933 HAS SOUS 66673 HAS SOUPS 66673 WITH SCORE 67562.933
AT ITER 7313 NEW BEST:: SOT 1194974 SOS 889899 HAS SOPS 889899 HAS SOUS 66655 HAS SOUPS 66655 WITH SCORE 67544.899
AT ITER 7358 NEW BEST:: SOT 1194751 SOS 889676 HAS SOPS 889676 HAS SOUS 66418 HAS SOUPS 66418 WITH SCORE 67307.676
AT ITER 7480 NEW BEST:: SOT 1192951 SOS 887876 HAS SOPS 887876 HAS SOUS 66334 HAS SOUPS 66334 WITH SCORE 67221.876
AT ITER 7574 NEW BEST:: SOT 1192964 SOS 887889 HAS SOPS 887889 HAS SOUS 66331 HAS SOUPS 66331 WITH SCORE 67218.889
AT ITER 7578 NEW BEST:: SOT 1192980 SOS 887905 HAS SOPS 887905 HAS SOUS 66327 HAS SOUPS 66327 WITH SCORE 67214.905
AT ITER 7582 NEW BEST:: SOT 1192978 SOS 887903 HAS SOPS 887903 HAS SOUS 66325 HAS SOUPS 66325 WITH SCORE 67212.903
AT ITER 7598 NEW BEST:: SOT 1192978 SOS 888407 HAS SOPS 888407 HAS SOUS 66312 HAS SOUPS 66312 WITH SCORE 67200.407
AT ITER 7606 NEW BEST:: SOT 1192978 SOS 887975 HAS SOPS 887975 HAS SOUS 66312 HAS SOUPS 66312 WITH SCORE 67199.975
AT ITER 7650 NEW BEST:: SOT 1191612 SOS 886609 HAS SOPS 886609 HAS SOUS 66269 HAS SOUPS 66269 WITH SCORE 67155.609
AT ITER 7667 NEW BEST:: SOT 1191615 SOS 887116 HAS SOPS 887116 HAS SOUS 66263 HAS SOUPS 66263 WITH SCORE 67150.116
AT ITER 7708 NEW BEST:: SOT 1191615 SOS 886900 HAS SOPS 886900 HAS SOUS 66263 HAS SOUPS 66263 WITH SCORE 67149.9
AT ITER 7724 NEW BEST:: SOT 1191615 SOS 886948 HAS SOPS 886948 HAS SOUS 66261 HAS SOUPS 66261 WITH SCORE 67147.948
AT ITER 7725 NEW BEST:: SOT 1192056 SOS 887389 HAS SOPS 887389 HAS SOUS 66217 HAS SOUPS 66217 WITH SCORE 67104.389
AT ITER 7728 NEW BEST:: SOT 1191242 SOS 886575 HAS SOPS 886575 HAS SOUS 66191 HAS SOUPS 66191 WITH SCORE 67077.575
AT ITER 7747 NEW BEST:: SOT 1191242 SOS 885567 HAS SOPS 885567 HAS SOUS 66191 HAS SOUPS 66191 WITH SCORE 67076.567
AT ITER 7758 NEW BEST:: SOT 1191196 SOS 885521 HAS SOPS 885521 HAS SOUS 66143 HAS SOUPS 66143 WITH SCORE 67028.521
AT ITER 7798 NEW BEST:: SOT 1190038 SOS 884363 HAS SOPS 884363 HAS SOUS 66129 HAS SOUPS 66129 WITH SCORE 67013.363
AT ITER 7850 NEW BEST:: SOT 1190038 SOS 884459 HAS SOPS 884459 HAS SOUS 66125 HAS SOUPS 66125 WITH SCORE 67009.459
AT ITER 7874 NEW BEST:: SOT 1190038 SOS 884459 HAS SOPS 884459 HAS SOUS 66124 HAS SOUPS 66124 WITH SCORE 67008.459
AT ITER 7903 NEW BEST:: SOT 1190009 SOS 884430 HAS SOPS 884430 HAS SOUS 66116 HAS SOUPS 66116 WITH SCORE 67000.43
AT ITER 7931 NEW BEST:: SOT 1189354 SOS 883775 HAS SOPS 883775 HAS SOUS 65602 HAS SOUPS 65602 WITH SCORE 66485.775
AT ITER 7942 NEW BEST:: SOT 1189652 SOS 884073 HAS SOPS 884073 HAS SOUS 65541 HAS SOUPS 65541 WITH SCORE 66425.073
AT ITER 8001 NEW BEST:: SOT 1189652 SOS 884069 HAS SOPS 884069 HAS SOUS 65541 HAS SOUPS 65541 WITH SCORE 66425.069
AT ITER 8045 NEW BEST:: SOT 1189650 SOS 884067 HAS SOPS 884067 HAS SOUS 65541 HAS SOUPS 65541 WITH SCORE 66425.067
AT ITER 8087 NEW BEST:: SOT 1189650 SOS 883491 HAS SOPS 883491 HAS SOUS 65541 HAS SOUPS 65541 WITH SCORE 66424.491
AT ITER 8133 NEW BEST:: SOT 1189685 SOS 885494 HAS SOPS 885494 HAS SOUS 65487 HAS SOUPS 65487 WITH SCORE 66372.494
AT ITER 8183 NEW BEST:: SOT 1189685 SOS 885206 HAS SOPS 885206 HAS SOUS 65487 HAS SOUPS 65487 WITH SCORE 66372.206
AT ITER 8287 NEW BEST:: SOT 1189685 SOS 885062 HAS SOPS 885062 HAS SOUS 65477 HAS SOUPS 65477 WITH SCORE 66362.062
AT ITER 8301 NEW BEST:: SOT 1189601 SOS 884993 HAS SOPS 884993 HAS SOUS 65469 HAS SOUPS 65469 WITH SCORE 66353.993
AT ITER 8396 NEW BEST:: SOT 1189647 SOS 885039 HAS SOPS 885039 HAS SOUS 65380 HAS SOUPS 65380 WITH SCORE 66265.039
AT ITER 8412 NEW BEST:: SOT 1189647 SOS 885039 HAS SOPS 885039 HAS SOUS 65369 HAS SOUPS 65369 WITH SCORE 66254.039
AT ITER 8417 NEW BEST:: SOT 1189472 SOS 884864 HAS SOPS 884864 HAS SOUS 65354 HAS SOUPS 65354 WITH SCORE 66238.864
AT ITER 8444 NEW BEST:: SOT 1189234 SOS 884626 HAS SOPS 884626 HAS SOUS 65231 HAS SOUPS 65231 WITH SCORE 66115.626
AT ITER 8461 NEW BEST:: SOT 1189306 SOS 884698 HAS SOPS 884698 HAS SOUS 65228 HAS SOUPS 65228 WITH SCORE 66112.698
AT ITER 8474 NEW BEST:: SOT 1189248 SOS 884640 HAS SOPS 884640 HAS SOUS 65113 HAS SOUPS 65113 WITH SCORE 65997.64
AT ITER 8493 NEW BEST:: SOT 1189138 SOS 884530 HAS SOPS 884530 HAS SOUS 64978 HAS SOUPS 64978 WITH SCORE 65862.53
AT ITER 8501 NEW BEST:: SOT 1189838 SOS 885230 HAS SOPS 885230 HAS SOUS 64782 HAS SOUPS 64782 WITH SCORE 65667.23
AT ITER 8558 NEW BEST:: SOT 1189742 SOS 885134 HAS SOPS 885134 HAS SOUS 64774 HAS SOUPS 64774 WITH SCORE 65659.134
AT ITER 8580 NEW BEST:: SOT 1189742 SOS 818798 HAS SOPS 818798 HAS SOUS 64658 HAS SOUPS 64658 WITH SCORE 65476.798
AT ITER 8591 NEW BEST:: SOT 1188263 SOS 817319 HAS SOPS 817319 HAS SOUS 64091 HAS SOUPS 64091 WITH SCORE 64908.319
AT ITER 8614 NEW BEST:: SOT 1188257 SOS 817313 HAS SOPS 817313 HAS SOUS 64070 HAS SOUPS 64070 WITH SCORE 64887.313
AT ITER 8615 NEW BEST:: SOT 1188243 SOS 817299 HAS SOPS 817299 HAS SOUS 64031 HAS SOUPS 64031 WITH SCORE 64848.299
AT ITER 8643 NEW BEST:: SOT 1187951 SOS 817007 HAS SOPS 817007 HAS SOUS 63799 HAS SOUPS 63799 WITH SCORE 64616.007
AT ITER 8663 NEW BEST:: SOT 1187951 SOS 817784 HAS SOPS 817784 HAS SOUS 63766 HAS SOUPS 63766 WITH SCORE 64583.784
AT ITER 8700 NEW BEST:: SOT 1188032 SOS 818153 HAS SOPS 818153 HAS SOUS 63754 HAS SOUPS 63754 WITH SCORE 64572.153
AT ITER 8731 NEW BEST:: SOT 1187741 SOS 817862 HAS SOPS 817862 HAS SOUS 63147 HAS SOUPS 63147 WITH SCORE 63964.862
AT ITER 8768 NEW BEST:: SOT 1187511 SOS 817622 HAS SOPS 817622 HAS SOUS 63147 HAS SOUPS 63147 WITH SCORE 63964.622
AT ITER 8861 NEW BEST:: SOT 1187519 SOS 818218 HAS SOPS 818218 HAS SOUS 63142 HAS SOUPS 63142 WITH SCORE 63960.218
AT ITER 8867 NEW BEST:: SOT 1185526 SOS 816156 HAS SOPS 816156 HAS SOUS 63109 HAS SOUPS 63109 WITH SCORE 63925.156
AT ITER 8885 NEW BEST:: SOT 1185358 SOS 815988 HAS SOPS 815988 HAS SOUS 63102 HAS SOUPS 63102 WITH SCORE 63917.988
AT ITER 8920 NEW BEST:: SOT 1186176 SOS 816806 HAS SOPS 816806 HAS SOUS 63089 HAS SOUPS 63089 WITH SCORE 63905.806
AT ITER 8944 NEW BEST:: SOT 1186176 SOS 816854 HAS SOPS 816853 HAS SOUS 63089 HAS SOUPS 63088 WITH SCORE 63904.854
AT ITER 9005 NEW BEST:: SOT 1186176 SOS 816806 HAS SOPS 816805 HAS SOUS 63089 HAS SOUPS 63088 WITH SCORE 63904.806
AT ITER 9050 NEW BEST:: SOT 1186180 SOS 816810 HAS SOPS 816809 HAS SOUS 62993 HAS SOUPS 62992 WITH SCORE 63808.81
AT ITER 9100 NEW BEST:: SOT 1186149 SOS 816779 HAS SOPS 816778 HAS SOUS 62931 HAS SOUPS 62930 WITH SCORE 63746.779
AT ITER 9162 NEW BEST:: SOT 1186149 SOS 816779 HAS SOPS 816778 HAS SOUS 62926 HAS SOUPS 62925 WITH SCORE 63741.779
AT ITER 9169 NEW BEST:: SOT 1186622 SOS 817252 HAS SOPS 817251 HAS SOUS 61600 HAS SOUPS 61599 WITH SCORE 62416.252
AT ITER 9301 NEW BEST:: SOT 1186622 SOS 817156 HAS SOPS 817155 HAS SOUS 61600 HAS SOUPS 61599 WITH SCORE 62416.156
AT ITER 9323 NEW BEST:: SOT 1186622 SOS 816868 HAS SOPS 816867 HAS SOUS 61600 HAS SOUPS 61599 WITH SCORE 62415.868
AT ITER 9416 NEW BEST:: SOT 1186622 SOS 816652 HAS SOPS 816651 HAS SOUS 61600 HAS SOUPS 61599 WITH SCORE 62415.652
AT ITER 9503 NEW BEST:: SOT 1186622 SOS 816052 HAS SOPS 816051 HAS SOUS 61600 HAS SOUPS 61599 WITH SCORE 62415.052
AT ITER 9724 NEW BEST:: SOT 1186605 SOS 816036 HAS SOPS 816035 HAS SOUS 61551 HAS SOUPS 61550 WITH SCORE 62366.036
AT ITER 9787 NEW BEST:: SOT 1186605 SOS 816036 HAS SOPS 816035 HAS SOUS 61529 HAS SOUPS 61528 WITH SCORE 62344.036
AT ITER 9796 NEW BEST:: SOT 1186605 SOS 816036 HAS SOPS 816035 HAS SOUS 61526 HAS SOUPS 61525 WITH SCORE 62341.036
AT ITER 9814 NEW BEST:: SOT 1186610 SOS 820073 HAS SOPS 820072 HAS SOUS 61509 HAS SOUPS 61508 WITH SCORE 62328.073
AT ITER 9834 NEW BEST:: SOT 1186595 SOS 820058 HAS SOPS 820057 HAS SOUS 61478 HAS SOUPS 61477 WITH SCORE 62297.058
AT ITER 9851 NEW BEST:: SOT 1186590 SOS 820053 HAS SOPS 820052 HAS SOUS 61474 HAS SOUPS 61473 WITH SCORE 62293.053
AT ITER 9867 NEW BEST:: SOT 1186590 SOS 820055 HAS SOPS 820051 HAS SOUS 61471 HAS SOUPS 61467 WITH SCORE 62287.055
AT ITER 9873 NEW BEST:: SOT 1186590 SOS 820583 HAS SOPS 820579 HAS SOUS 61460 HAS SOUPS 61456 WITH SCORE 62276.583
AT ITER 9903 NEW BEST:: SOT 1186612 SOS 820605 HAS SOPS 820601 HAS SOUS 61458 HAS SOUPS 61454 WITH SCORE 62274.605

BK_STOP 1678690720864

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 489 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Medical-PT-24"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Medical-PT-24, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-tall-167856422200744"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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