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

About the Execution of Smart for PolyORBLF-PT-S02J06T08

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6069.516 3600000.00 3600159.00 9.90 [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.r291-tall-167873943000528.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 PolyORBLF-PT-S02J06T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943000528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 21K Feb 26 14:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 26 14:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29K Feb 26 14:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 157K Feb 26 14:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 26 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 36K Feb 26 14:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 175K Feb 26 14:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 807K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678799364253

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=PolyORBLF-PT-S02J06T08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J06T08
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: 690 places, 1434 transitions, 6564 arcs.
AT ITER 0 NEW BEST:: SOT 601586 SOS 333538 HAS SOPS 328708 HAS SOUS 188834 HAS SOUPS 188398 WITH SCORE 188731.538
AT ITER 15 NEW BEST:: SOT 597706 SOS 329797 HAS SOPS 324967 HAS SOUS 187317 HAS SOUPS 186881 WITH SCORE 187210.797
AT ITER 29 NEW BEST:: SOT 597448 SOS 329303 HAS SOPS 324473 HAS SOUS 187049 HAS SOUPS 186613 WITH SCORE 186942.303
AT ITER 32 NEW BEST:: SOT 594492 SOS 326408 HAS SOPS 321578 HAS SOUS 184140 HAS SOUPS 183704 WITH SCORE 184030.408
AT ITER 35 NEW BEST:: SOT 594494 SOS 326379 HAS SOPS 321549 HAS SOUS 184111 HAS SOUPS 183675 WITH SCORE 184001.379
AT ITER 45 NEW BEST:: SOT 593981 SOS 325973 HAS SOPS 321143 HAS SOUS 183705 HAS SOUPS 183269 WITH SCORE 183594.973
AT ITER 52 NEW BEST:: SOT 593981 SOS 325894 HAS SOPS 321064 HAS SOUS 183705 HAS SOUPS 183269 WITH SCORE 183594.894
AT ITER 53 NEW BEST:: SOT 587056 SOS 322455 HAS SOPS 317625 HAS SOUS 181339 HAS SOUPS 180903 WITH SCORE 181225.455
AT ITER 68 NEW BEST:: SOT 587000 SOS 322343 HAS SOPS 317513 HAS SOUS 181255 HAS SOUPS 180819 WITH SCORE 181141.343
AT ITER 70 NEW BEST:: SOT 584326 SOS 318898 HAS SOPS 314068 HAS SOUS 180737 HAS SOUPS 180301 WITH SCORE 180619.898
AT ITER 73 NEW BEST:: SOT 584275 SOS 318796 HAS SOPS 313966 HAS SOUS 180635 HAS SOUPS 180199 WITH SCORE 180517.796
AT ITER 132 NEW BEST:: SOT 584119 SOS 318640 HAS SOPS 313810 HAS SOUS 180461 HAS SOUPS 180025 WITH SCORE 180343.64
AT ITER 138 NEW BEST:: SOT 584119 SOS 318632 HAS SOPS 313810 HAS SOUS 180457 HAS SOUPS 180021 WITH SCORE 180339.632
AT ITER 144 NEW BEST:: SOT 580690 SOS 316840 HAS SOPS 312018 HAS SOUS 179545 HAS SOUPS 179109 WITH SCORE 179425.84
AT ITER 150 NEW BEST:: SOT 580116 SOS 316408 HAS SOPS 311586 HAS SOUS 179191 HAS SOUPS 178755 WITH SCORE 179071.408
AT ITER 170 NEW BEST:: SOT 579591 SOS 315883 HAS SOPS 311061 HAS SOUS 178409 HAS SOUPS 177973 WITH SCORE 178288.883
AT ITER 191 NEW BEST:: SOT 579349 SOS 315641 HAS SOPS 310819 HAS SOUS 178159 HAS SOUPS 177723 WITH SCORE 178038.641
AT ITER 196 NEW BEST:: SOT 572808 SOS 320323 HAS SOPS 318632 HAS SOUS 172163 HAS SOUPS 171911 WITH SCORE 172231.323
AT ITER 214 NEW BEST:: SOT 572756 SOS 320402 HAS SOPS 318710 HAS SOUS 172059 HAS SOUPS 171807 WITH SCORE 172127.402
AT ITER 216 NEW BEST:: SOT 573768 SOS 321366 HAS SOPS 319674 HAS SOUS 171551 HAS SOUPS 171299 WITH SCORE 171620.366
AT ITER 239 NEW BEST:: SOT 574369 SOS 322298 HAS SOPS 320606 HAS SOUS 171040 HAS SOUPS 170788 WITH SCORE 171110.298
AT ITER 251 NEW BEST:: SOT 573676 SOS 321605 HAS SOPS 319913 HAS SOUS 170248 HAS SOUPS 169996 WITH SCORE 170317.605
AT ITER 253 NEW BEST:: SOT 569068 SOS 316929 HAS SOPS 315237 HAS SOUS 168904 HAS SOUPS 168652 WITH SCORE 168968.929
AT ITER 268 NEW BEST:: SOT 569031 SOS 316838 HAS SOPS 315146 HAS SOUS 168863 HAS SOUPS 168611 WITH SCORE 168927.838
AT ITER 273 NEW BEST:: SOT 569098 SOS 317098 HAS SOPS 315406 HAS SOUS 168583 HAS SOUPS 168331 WITH SCORE 168648.098
AT ITER 296 NEW BEST:: SOT 569090 SOS 317090 HAS SOPS 315398 HAS SOUS 168575 HAS SOUPS 168323 WITH SCORE 168640.09
AT ITER 298 NEW BEST:: SOT 568621 SOS 316735 HAS SOPS 315043 HAS SOUS 168199 HAS SOUPS 167947 WITH SCORE 168263.735
AT ITER 301 NEW BEST:: SOT 568617 SOS 316731 HAS SOPS 315035 HAS SOUS 168189 HAS SOUPS 167936 WITH SCORE 168252.731
AT ITER 302 NEW BEST:: SOT 568418 SOS 316499 HAS SOPS 314803 HAS SOUS 167933 HAS SOUPS 167680 WITH SCORE 167996.499
AT ITER 303 NEW BEST:: SOT 568418 SOS 316474 HAS SOPS 314778 HAS SOUS 167931 HAS SOUPS 167678 WITH SCORE 167994.474
AT ITER 308 NEW BEST:: SOT 568384 SOS 316515 HAS SOPS 314840 HAS SOUS 167910 HAS SOUPS 167657 WITH SCORE 167973.515
AT ITER 318 NEW BEST:: SOT 568345 SOS 316421 HAS SOPS 314746 HAS SOUS 167816 HAS SOUPS 167563 WITH SCORE 167879.421
AT ITER 322 NEW BEST:: SOT 565101 SOS 312307 HAS SOPS 310632 HAS SOUS 165979 HAS SOUPS 165726 WITH SCORE 166038.307
AT ITER 327 NEW BEST:: SOT 565101 SOS 315187 HAS SOPS 313512 HAS SOUS 165949 HAS SOUPS 165696 WITH SCORE 166011.187
AT ITER 330 NEW BEST:: SOT 565101 SOS 315088 HAS SOPS 313413 HAS SOUS 165949 HAS SOUPS 165696 WITH SCORE 166011.088
AT ITER 331 NEW BEST:: SOT 564768 SOS 314384 HAS SOPS 312709 HAS SOUS 165402 HAS SOUPS 165149 WITH SCORE 165463.384
AT ITER 339 NEW BEST:: SOT 559540 SOS 309278 HAS SOPS 307603 HAS SOUS 163440 HAS SOUPS 163187 WITH SCORE 163496.278
AT ITER 341 NEW BEST:: SOT 556315 SOS 306174 HAS SOPS 304499 HAS SOUS 162499 HAS SOUPS 162246 WITH SCORE 162552.174
AT ITER 347 NEW BEST:: SOT 556315 SOS 306174 HAS SOPS 304499 HAS SOUS 162478 HAS SOUPS 162225 WITH SCORE 162531.174
AT ITER 349 NEW BEST:: SOT 556304 SOS 305960 HAS SOPS 304285 HAS SOUS 162456 HAS SOUPS 162203 WITH SCORE 162508.96
AT ITER 356 NEW BEST:: SOT 556272 SOS 305928 HAS SOPS 304253 HAS SOUS 162392 HAS SOUPS 162139 WITH SCORE 162444.928
AT ITER 370 NEW BEST:: SOT 556104 SOS 307755 HAS SOPS 306080 HAS SOUS 162255 HAS SOUPS 162002 WITH SCORE 162309.755
AT ITER 374 NEW BEST:: SOT 554768 SOS 306297 HAS SOPS 304622 HAS SOUS 161530 HAS SOUPS 161277 WITH SCORE 161583.297
AT ITER 375 NEW BEST:: SOT 548589 SOS 300062 HAS SOPS 298387 HAS SOUS 161355 HAS SOUPS 161102 WITH SCORE 161402.062
AT ITER 386 NEW BEST:: SOT 548490 SOS 299996 HAS SOPS 298321 HAS SOUS 161286 HAS SOUPS 161033 WITH SCORE 161332.996
AT ITER 387 NEW BEST:: SOT 548490 SOS 298432 HAS SOPS 296757 HAS SOUS 161286 HAS SOUPS 161033 WITH SCORE 161331.432
AT ITER 394 NEW BEST:: SOT 548437 SOS 298326 HAS SOPS 296651 HAS SOUS 161180 HAS SOUPS 160927 WITH SCORE 161225.326
AT ITER 406 NEW BEST:: SOT 548124 SOS 297922 HAS SOPS 296144 HAS SOUS 160705 HAS SOUPS 160452 WITH SCORE 160749.922
AT ITER 408 NEW BEST:: SOT 548133 SOS 297931 HAS SOPS 296153 HAS SOUS 160704 HAS SOUPS 160451 WITH SCORE 160748.931
AT ITER 410 NEW BEST:: SOT 548021 SOS 290632 HAS SOPS 287855 HAS SOUS 160517 HAS SOUPS 160221 WITH SCORE 160511.632
AT ITER 422 NEW BEST:: SOT 547941 SOS 290496 HAS SOPS 287719 HAS SOUS 160280 HAS SOUPS 159984 WITH SCORE 160274.496
AT ITER 427 NEW BEST:: SOT 547930 SOS 290485 HAS SOPS 287708 HAS SOUS 160262 HAS SOUPS 159966 WITH SCORE 160256.485
AT ITER 429 NEW BEST:: SOT 547746 SOS 290306 HAS SOPS 287529 HAS SOUS 159618 HAS SOUPS 159322 WITH SCORE 159612.306
AT ITER 434 NEW BEST:: SOT 547534 SOS 290169 HAS SOPS 287392 HAS SOUS 159432 HAS SOUPS 159136 WITH SCORE 159426.169
AT ITER 445 NEW BEST:: SOT 547511 SOS 289985 HAS SOPS 287208 HAS SOUS 159386 HAS SOUPS 159090 WITH SCORE 159379.985
AT ITER 449 NEW BEST:: SOT 547289 SOS 285160 HAS SOPS 282383 HAS SOUS 159202 HAS SOUPS 158906 WITH SCORE 159191.16
AT ITER 451 NEW BEST:: SOT 546844 SOS 284898 HAS SOPS 282121 HAS SOUS 158830 HAS SOUPS 158534 WITH SCORE 158818.898
AT ITER 453 NEW BEST:: SOT 546844 SOS 284898 HAS SOPS 282121 HAS SOUS 158774 HAS SOUPS 158478 WITH SCORE 158762.898
AT ITER 469 NEW BEST:: SOT 546114 SOS 284168 HAS SOPS 281391 HAS SOUS 158555 HAS SOUPS 158259 WITH SCORE 158543.168
AT ITER 471 NEW BEST:: SOT 545519 SOS 283543 HAS SOPS 280766 HAS SOUS 157868 HAS SOUPS 157572 WITH SCORE 157855.543
AT ITER 477 NEW BEST:: SOT 545303 SOS 283327 HAS SOPS 280550 HAS SOUS 157652 HAS SOUPS 157356 WITH SCORE 157639.327
AT ITER 491 NEW BEST:: SOT 545261 SOS 282865 HAS SOPS 280088 HAS SOUS 157596 HAS SOUPS 157300 WITH SCORE 157582.865
AT ITER 497 NEW BEST:: SOT 545159 SOS 282754 HAS SOPS 279977 HAS SOUS 157381 HAS SOUPS 157085 WITH SCORE 157367.754
AT ITER 510 NEW BEST:: SOT 545129 SOS 282820 HAS SOPS 280043 HAS SOUS 156851 HAS SOUPS 156555 WITH SCORE 156837.82
AT ITER 514 NEW BEST:: SOT 545096 SOS 283382 HAS SOPS 280605 HAS SOUS 156714 HAS SOUPS 156418 WITH SCORE 156701.382
AT ITER 515 NEW BEST:: SOT 545097 SOS 283383 HAS SOPS 280606 HAS SOUS 156705 HAS SOUPS 156409 WITH SCORE 156692.383
AT ITER 529 NEW BEST:: SOT 543363 SOS 281742 HAS SOPS 278965 HAS SOUS 154964 HAS SOUPS 154668 WITH SCORE 154949.742
AT ITER 539 NEW BEST:: SOT 543322 SOS 281644 HAS SOPS 278867 HAS SOUS 154866 HAS SOUPS 154570 WITH SCORE 154851.644
AT ITER 542 NEW BEST:: SOT 546863 SOS 285364 HAS SOPS 282587 HAS SOUS 154437 HAS SOUPS 154141 WITH SCORE 154426.364
AT ITER 576 NEW BEST:: SOT 546863 SOS 285316 HAS SOPS 282539 HAS SOUS 154437 HAS SOUPS 154141 WITH SCORE 154426.316
AT ITER 577 NEW BEST:: SOT 546863 SOS 285096 HAS SOPS 282319 HAS SOUS 154379 HAS SOUPS 154083 WITH SCORE 154368.096
AT ITER 586 NEW BEST:: SOT 546863 SOS 284875 HAS SOPS 282098 HAS SOUS 154321 HAS SOUPS 154025 WITH SCORE 154309.875
AT ITER 591 NEW BEST:: SOT 546863 SOS 284880 HAS SOPS 282103 HAS SOUS 154311 HAS SOUPS 154015 WITH SCORE 154299.88
AT ITER 594 NEW BEST:: SOT 546839 SOS 284856 HAS SOPS 282079 HAS SOUS 154263 HAS SOUPS 153967 WITH SCORE 154251.856
AT ITER 600 NEW BEST:: SOT 546781 SOS 284744 HAS SOPS 281967 HAS SOUS 154245 HAS SOUPS 153949 WITH SCORE 154233.744
AT ITER 602 NEW BEST:: SOT 546027 SOS 284016 HAS SOPS 281239 HAS SOUS 153933 HAS SOUPS 153637 WITH SCORE 153921.016
AT ITER 605 NEW BEST:: SOT 545660 SOS 283114 HAS SOPS 280337 HAS SOUS 153723 HAS SOUPS 153427 WITH SCORE 153710.114
AT ITER 609 NEW BEST:: SOT 545516 SOS 282954 HAS SOPS 280177 HAS SOUS 153508 HAS SOUPS 153212 WITH SCORE 153494.954
AT ITER 617 NEW BEST:: SOT 545440 SOS 282879 HAS SOPS 280102 HAS SOUS 153447 HAS SOUPS 153151 WITH SCORE 153433.879
AT ITER 625 NEW BEST:: SOT 545388 SOS 282801 HAS SOPS 280024 HAS SOUS 153343 HAS SOUPS 153047 WITH SCORE 153329.801
AT ITER 639 NEW BEST:: SOT 545230 SOS 282669 HAS SOPS 279892 HAS SOUS 153221 HAS SOUPS 152925 WITH SCORE 153207.669
AT ITER 654 NEW BEST:: SOT 545236 SOS 282700 HAS SOPS 280019 HAS SOUS 153173 HAS SOUPS 152889 WITH SCORE 153171.7
AT ITER 658 NEW BEST:: SOT 545156 SOS 281866 HAS SOPS 279185 HAS SOUS 153057 HAS SOUPS 152773 WITH SCORE 153054.866
AT ITER 674 NEW BEST:: SOT 545134 SOS 281844 HAS SOPS 279163 HAS SOUS 153015 HAS SOUPS 152731 WITH SCORE 153012.844
AT ITER 678 NEW BEST:: SOT 545107 SOS 281817 HAS SOPS 279136 HAS SOUS 152988 HAS SOUPS 152704 WITH SCORE 152985.817
AT ITER 696 NEW BEST:: SOT 545050 SOS 281260 HAS SOPS 278579 HAS SOUS 152985 HAS SOUPS 152701 WITH SCORE 152982.26
AT ITER 711 NEW BEST:: SOT 544994 SOS 281046 HAS SOPS 278365 HAS SOUS 152975 HAS SOUPS 152691 WITH SCORE 152972.046
AT ITER 735 NEW BEST:: SOT 544741 SOS 280872 HAS SOPS 278191 HAS SOUS 152827 HAS SOUPS 152543 WITH SCORE 152823.872
AT ITER 736 NEW BEST:: SOT 544630 SOS 280761 HAS SOPS 278080 HAS SOUS 152716 HAS SOUPS 152432 WITH SCORE 152712.761
AT ITER 741 NEW BEST:: SOT 544432 SOS 280416 HAS SOPS 277735 HAS SOUS 152614 HAS SOUPS 152330 WITH SCORE 152610.416
AT ITER 755 NEW BEST:: SOT 544411 SOS 280402 HAS SOPS 277721 HAS SOUS 152600 HAS SOUPS 152316 WITH SCORE 152596.402
AT ITER 758 NEW BEST:: SOT 544369 SOS 280302 HAS SOPS 277621 HAS SOUS 152500 HAS SOUPS 152216 WITH SCORE 152496.302
AT ITER 763 NEW BEST:: SOT 544359 SOS 280297 HAS SOPS 277616 HAS SOUS 152482 HAS SOUPS 152198 WITH SCORE 152478.297
AT ITER 772 NEW BEST:: SOT 544188 SOS 278666 HAS SOPS 275985 HAS SOUS 152286 HAS SOUPS 152002 WITH SCORE 152280.666
AT ITER 780 NEW BEST:: SOT 543888 SOS 278402 HAS SOPS 275721 HAS SOUS 152016 HAS SOUPS 151732 WITH SCORE 152010.402
AT ITER 784 NEW BEST:: SOT 542106 SOS 276719 HAS SOPS 274038 HAS SOUS 150333 HAS SOUPS 150049 WITH SCORE 150325.719
AT ITER 789 NEW BEST:: SOT 542100 SOS 276713 HAS SOPS 274032 HAS SOUS 150327 HAS SOUPS 150043 WITH SCORE 150319.713
AT ITER 803 NEW BEST:: SOT 542082 SOS 276677 HAS SOPS 273996 HAS SOUS 150291 HAS SOUPS 150007 WITH SCORE 150283.677
AT ITER 809 NEW BEST:: SOT 542082 SOS 276677 HAS SOPS 273996 HAS SOUS 150231 HAS SOUPS 149947 WITH SCORE 150223.677
AT ITER 813 NEW BEST:: SOT 541011 SOS 275606 HAS SOPS 272925 HAS SOUS 149118 HAS SOUPS 148834 WITH SCORE 149109.606
AT ITER 816 NEW BEST:: SOT 540952 SOS 276776 HAS SOPS 274119 HAS SOUS 149090 HAS SOUPS 148806 WITH SCORE 149082.776
AT ITER 818 NEW BEST:: SOT 540965 SOS 276784 HAS SOPS 274127 HAS SOUS 149083 HAS SOUPS 148799 WITH SCORE 149075.784
AT ITER 823 NEW BEST:: SOT 541037 SOS 276856 HAS SOPS 274199 HAS SOUS 148849 HAS SOUPS 148565 WITH SCORE 148841.856
AT ITER 831 NEW BEST:: SOT 540738 SOS 276754 HAS SOPS 274097 HAS SOUS 148538 HAS SOUPS 148254 WITH SCORE 148530.754
AT ITER 854 NEW BEST:: SOT 540759 SOS 276775 HAS SOPS 274118 HAS SOUS 148470 HAS SOUPS 148186 WITH SCORE 148462.775
AT ITER 859 NEW BEST:: SOT 540525 SOS 276422 HAS SOPS 273765 HAS SOUS 148204 HAS SOUPS 147920 WITH SCORE 148196.422
AT ITER 870 NEW BEST:: SOT 538386 SOS 274251 HAS SOPS 271594 HAS SOUS 147986 HAS SOUPS 147702 WITH SCORE 147976.251
AT ITER 883 NEW BEST:: SOT 538022 SOS 273978 HAS SOPS 271321 HAS SOUS 147844 HAS SOUPS 147560 WITH SCORE 147833.978
AT ITER 893 NEW BEST:: SOT 537657 SOS 273175 HAS SOPS 270518 HAS SOUS 147141 HAS SOUPS 146857 WITH SCORE 147130.175
AT ITER 894 NEW BEST:: SOT 537539 SOS 273000 HAS SOPS 268919 HAS SOUS 147102 HAS SOUPS 146640 WITH SCORE 146913.0
AT ITER 904 NEW BEST:: SOT 537347 SOS 272838 HAS SOPS 268757 HAS SOUS 147074 HAS SOUPS 146612 WITH SCORE 146884.838
AT ITER 909 NEW BEST:: SOT 537203 SOS 272773 HAS SOPS 268692 HAS SOUS 147056 HAS SOUPS 146594 WITH SCORE 146866.773
AT ITER 910 NEW BEST:: SOT 531294 SOS 278798 HAS SOPS 272266 HAS SOUS 141640 HAS SOUPS 140814 WITH SCORE 141092.798
AT ITER 916 NEW BEST:: SOT 531295 SOS 278799 HAS SOPS 272267 HAS SOUS 141575 HAS SOUPS 140749 WITH SCORE 141027.799
AT ITER 929 NEW BEST:: SOT 531505 SOS 279009 HAS SOPS 272477 HAS SOUS 140794 HAS SOUPS 139968 WITH SCORE 140247.009
AT ITER 932 NEW BEST:: SOT 531505 SOS 279001 HAS SOPS 272469 HAS SOUS 140793 HAS SOUPS 139967 WITH SCORE 140246.001
AT ITER 935 NEW BEST:: SOT 531505 SOS 279802 HAS SOPS 273277 HAS SOUS 140791 HAS SOUPS 139965 WITH SCORE 140244.802
AT ITER 951 NEW BEST:: SOT 531566 SOS 279863 HAS SOPS 273338 HAS SOUS 140783 HAS SOUPS 139957 WITH SCORE 140236.863
AT ITER 965 NEW BEST:: SOT 531637 SOS 279878 HAS SOPS 273353 HAS SOUS 140753 HAS SOUPS 139927 WITH SCORE 140206.878
AT ITER 968 NEW BEST:: SOT 531555 SOS 279819 HAS SOPS 273294 HAS SOUS 140694 HAS SOUPS 139868 WITH SCORE 140147.819
AT ITER 971 NEW BEST:: SOT 531573 SOS 280342 HAS SOPS 273731 HAS SOUS 140633 HAS SOUPS 139807 WITH SCORE 140087.342
AT ITER 972 NEW BEST:: SOT 531555 SOS 280306 HAS SOPS 273695 HAS SOUS 140597 HAS SOUPS 139771 WITH SCORE 140051.306
AT ITER 974 NEW BEST:: SOT 531372 SOS 280011 HAS SOPS 273400 HAS SOUS 140461 HAS SOUPS 139635 WITH SCORE 139915.011
AT ITER 983 NEW BEST:: SOT 531327 SOS 279921 HAS SOPS 273310 HAS SOUS 140371 HAS SOUPS 139545 WITH SCORE 139824.921
AT ITER 987 NEW BEST:: SOT 529688 SOS 278405 HAS SOPS 271794 HAS SOUS 140020 HAS SOUPS 139194 WITH SCORE 139472.405
AT ITER 990 NEW BEST:: SOT 529645 SOS 278321 HAS SOPS 271710 HAS SOUS 139993 HAS SOUPS 139167 WITH SCORE 139445.321
AT ITER 991 NEW BEST:: SOT 529492 SOS 277748 HAS SOPS 271137 HAS SOUS 139596 HAS SOUPS 138770 WITH SCORE 139047.748
AT ITER 997 NEW BEST:: SOT 529387 SOS 277521 HAS SOPS 270910 HAS SOUS 139456 HAS SOUPS 138630 WITH SCORE 138907.521
AT ITER 1005 NEW BEST:: SOT 529365 SOS 277488 HAS SOPS 270877 HAS SOUS 139423 HAS SOUPS 138597 WITH SCORE 138874.488
AT ITER 1014 NEW BEST:: SOT 529396 SOS 277519 HAS SOPS 270908 HAS SOUS 139413 HAS SOUPS 138587 WITH SCORE 138864.519
AT ITER 1016 NEW BEST:: SOT 528748 SOS 276867 HAS SOPS 270256 HAS SOUS 138948 HAS SOUPS 138122 WITH SCORE 138398.867
AT ITER 1020 NEW BEST:: SOT 528730 SOS 276849 HAS SOPS 270238 HAS SOUS 138948 HAS SOUPS 138122 WITH SCORE 138398.849
AT ITER 1030 NEW BEST:: SOT 528466 SOS 276383 HAS SOPS 269772 HAS SOUS 138533 HAS SOUPS 137707 WITH SCORE 137983.383
AT ITER 1044 NEW BEST:: SOT 528433 SOS 276295 HAS SOPS 269684 HAS SOUS 138276 HAS SOUPS 137450 WITH SCORE 137726.295
AT ITER 1061 NEW BEST:: SOT 528357 SOS 276472 HAS SOPS 269954 HAS SOUS 138106 HAS SOUPS 137280 WITH SCORE 137556.472
AT ITER 1064 NEW BEST:: SOT 528357 SOS 276461 HAS SOPS 269943 HAS SOUS 138106 HAS SOUPS 137280 WITH SCORE 137556.461
AT ITER 1080 NEW BEST:: SOT 528290 SOS 276394 HAS SOPS 269876 HAS SOUS 137998 HAS SOUPS 137172 WITH SCORE 137448.394
AT ITER 1083 NEW BEST:: SOT 528074 SOS 276178 HAS SOPS 269660 HAS SOUS 137594 HAS SOUPS 136768 WITH SCORE 137044.178
AT ITER 1096 NEW BEST:: SOT 528059 SOS 276014 HAS SOPS 269496 HAS SOUS 137564 HAS SOUPS 136738 WITH SCORE 137014.014
AT ITER 1128 NEW BEST:: SOT 528059 SOS 276014 HAS SOPS 269496 HAS SOUS 137513 HAS SOUPS 136687 WITH SCORE 136963.014
AT ITER 1141 NEW BEST:: SOT 527937 SOS 275690 HAS SOPS 269172 HAS SOUS 137211 HAS SOUPS 136385 WITH SCORE 136660.69
AT ITER 1149 NEW BEST:: SOT 527937 SOS 275691 HAS SOPS 269180 HAS SOUS 137199 HAS SOUPS 136373 WITH SCORE 136648.691
AT ITER 1153 NEW BEST:: SOT 527999 SOS 275753 HAS SOPS 269242 HAS SOUS 137190 HAS SOUPS 136364 WITH SCORE 136639.753
AT ITER 1156 NEW BEST:: SOT 527937 SOS 275691 HAS SOPS 269044 HAS SOUS 137189 HAS SOUPS 136227 WITH SCORE 136502.691
AT ITER 1162 NEW BEST:: SOT 527896 SOS 275609 HAS SOPS 268962 HAS SOUS 137107 HAS SOUPS 136145 WITH SCORE 136420.609
AT ITER 1163 NEW BEST:: SOT 527895 SOS 275608 HAS SOPS 268961 HAS SOUS 137106 HAS SOUPS 136144 WITH SCORE 136419.608
AT ITER 1172 NEW BEST:: SOT 527898 SOS 275606 HAS SOPS 268959 HAS SOUS 137089 HAS SOUPS 136127 WITH SCORE 136402.606
AT ITER 1174 NEW BEST:: SOT 527785 SOS 275656 HAS SOPS 269009 HAS SOUS 136994 HAS SOUPS 136032 WITH SCORE 136307.656
AT ITER 1175 NEW BEST:: SOT 527768 SOS 275631 HAS SOPS 268984 HAS SOUS 136960 HAS SOUPS 135998 WITH SCORE 136273.631
AT ITER 1180 NEW BEST:: SOT 527723 SOS 275595 HAS SOPS 268948 HAS SOUS 136915 HAS SOUPS 135953 WITH SCORE 136228.595
AT ITER 1212 NEW BEST:: SOT 527642 SOS 275460 HAS SOPS 268813 HAS SOUS 136753 HAS SOUPS 135791 WITH SCORE 136066.46
AT ITER 1232 NEW BEST:: SOT 527560 SOS 275594 HAS SOPS 268974 HAS SOUS 136693 HAS SOUPS 135731 WITH SCORE 136006.594
AT ITER 1248 NEW BEST:: SOT 527477 SOS 275419 HAS SOPS 268799 HAS SOUS 136564 HAS SOUPS 135602 WITH SCORE 135877.419
AT ITER 1252 NEW BEST:: SOT 527468 SOS 275410 HAS SOPS 268790 HAS SOUS 136546 HAS SOUPS 135584 WITH SCORE 135859.41
AT ITER 1254 NEW BEST:: SOT 527369 SOS 275244 HAS SOPS 268624 HAS SOUS 135781 HAS SOUPS 134819 WITH SCORE 135094.244
AT ITER 1267 NEW BEST:: SOT 527369 SOS 274780 HAS SOPS 268160 HAS SOUS 135781 HAS SOUPS 134819 WITH SCORE 135093.78
AT ITER 1272 NEW BEST:: SOT 527688 SOS 275195 HAS SOPS 268575 HAS SOUS 135775 HAS SOUPS 134813 WITH SCORE 135088.195
AT ITER 1282 NEW BEST:: SOT 527669 SOS 276820 HAS SOPS 270200 HAS SOUS 135714 HAS SOUPS 134752 WITH SCORE 135028.82
AT ITER 1309 NEW BEST:: SOT 527663 SOS 276706 HAS SOPS 269975 HAS SOUS 135696 HAS SOUPS 134728 WITH SCORE 135004.706
AT ITER 1315 NEW BEST:: SOT 527454 SOS 276272 HAS SOPS 269541 HAS SOUS 135262 HAS SOUPS 134294 WITH SCORE 134570.272
AT ITER 1317 NEW BEST:: SOT 527403 SOS 276221 HAS SOPS 269490 HAS SOUS 135160 HAS SOUPS 134192 WITH SCORE 134468.221
AT ITER 1318 NEW BEST:: SOT 527381 SOS 276199 HAS SOPS 269468 HAS SOUS 135131 HAS SOUPS 134163 WITH SCORE 134439.199
AT ITER 1329 NEW BEST:: SOT 527343 SOS 276123 HAS SOPS 269392 HAS SOUS 135055 HAS SOUPS 134087 WITH SCORE 134363.123
AT ITER 1333 NEW BEST:: SOT 527047 SOS 275883 HAS SOPS 269152 HAS SOUS 134758 HAS SOUPS 133790 WITH SCORE 134065.883
AT ITER 1335 NEW BEST:: SOT 527003 SOS 275839 HAS SOPS 269108 HAS SOUS 134725 HAS SOUPS 133757 WITH SCORE 134032.839
AT ITER 1341 NEW BEST:: SOT 526732 SOS 275485 HAS SOPS 268742 HAS SOUS 134359 HAS SOUPS 133391 WITH SCORE 133666.485
AT ITER 1343 NEW BEST:: SOT 526732 SOS 275485 HAS SOPS 268742 HAS SOUS 134327 HAS SOUPS 133359 WITH SCORE 133634.485
AT ITER 1358 NEW BEST:: SOT 526708 SOS 275461 HAS SOPS 268718 HAS SOUS 134279 HAS SOUPS 133311 WITH SCORE 133586.461
AT ITER 1359 NEW BEST:: SOT 526708 SOS 275454 HAS SOPS 268711 HAS SOUS 134272 HAS SOUPS 133304 WITH SCORE 133579.454
AT ITER 1380 NEW BEST:: SOT 526663 SOS 275364 HAS SOPS 268621 HAS SOUS 134115 HAS SOUPS 133147 WITH SCORE 133422.364
AT ITER 1391 NEW BEST:: SOT 524562 SOS 273355 HAS SOPS 266612 HAS SOUS 133561 HAS SOUPS 132593 WITH SCORE 132866.355
AT ITER 1401 NEW BEST:: SOT 522605 SOS 271275 HAS SOPS 264532 HAS SOUS 131903 HAS SOUPS 130935 WITH SCORE 131206.275
AT ITER 1402 NEW BEST:: SOT 522581 SOS 271255 HAS SOPS 264512 HAS SOUS 131887 HAS SOUPS 130919 WITH SCORE 131190.255
AT ITER 1412 NEW BEST:: SOT 522395 SOS 270889 HAS SOPS 264146 HAS SOUS 131695 HAS SOUPS 130727 WITH SCORE 130997.889
AT ITER 1425 NEW BEST:: SOT 522395 SOS 270900 HAS SOPS 264157 HAS SOUS 131673 HAS SOUPS 130705 WITH SCORE 130975.9
AT ITER 1436 NEW BEST:: SOT 522364 SOS 270869 HAS SOPS 264126 HAS SOUS 131642 HAS SOUPS 130674 WITH SCORE 130944.869
AT ITER 1447 NEW BEST:: SOT 522134 SOS 270356 HAS SOPS 263613 HAS SOUS 131309 HAS SOUPS 130341 WITH SCORE 130611.356
AT ITER 1451 NEW BEST:: SOT 522077 SOS 270255 HAS SOPS 263512 HAS SOUS 131292 HAS SOUPS 130324 WITH SCORE 130594.255
AT ITER 1455 NEW BEST:: SOT 522021 SOS 270223 HAS SOPS 263480 HAS SOUS 131271 HAS SOUPS 130303 WITH SCORE 130573.223
AT ITER 1470 NEW BEST:: SOT 521907 SOS 270109 HAS SOPS 263366 HAS SOUS 130968 HAS SOUPS 130000 WITH SCORE 130270.109
AT ITER 1502 NEW BEST:: SOT 521907 SOS 270109 HAS SOPS 263366 HAS SOUS 130903 HAS SOUPS 129935 WITH SCORE 130205.109
AT ITER 1511 NEW BEST:: SOT 522004 SOS 270216 HAS SOPS 263473 HAS SOUS 130880 HAS SOUPS 129912 WITH SCORE 130182.216
AT ITER 1516 NEW BEST:: SOT 521786 SOS 269945 HAS SOPS 263202 HAS SOUS 130588 HAS SOUPS 129620 WITH SCORE 129889.945
AT ITER 1517 NEW BEST:: SOT 521734 SOS 269893 HAS SOPS 263150 HAS SOUS 130464 HAS SOUPS 129496 WITH SCORE 129765.893
AT ITER 1534 NEW BEST:: SOT 521734 SOS 269941 HAS SOPS 263198 HAS SOUS 130454 HAS SOUPS 129486 WITH SCORE 129755.941
AT ITER 1535 NEW BEST:: SOT 521743 SOS 269936 HAS SOPS 263193 HAS SOUS 130438 HAS SOUPS 129470 WITH SCORE 129739.936
AT ITER 1541 NEW BEST:: SOT 521225 SOS 268900 HAS SOPS 262157 HAS SOUS 130177 HAS SOUPS 129209 WITH SCORE 129477.9
AT ITER 1543 NEW BEST:: SOT 521099 SOS 268739 HAS SOPS 261996 HAS SOUS 130002 HAS SOUPS 129034 WITH SCORE 129302.739
AT ITER 1555 NEW BEST:: SOT 518657 SOS 266187 HAS SOPS 259444 HAS SOUS 128682 HAS SOUPS 127714 WITH SCORE 127980.187
AT ITER 1558 NEW BEST:: SOT 518592 SOS 266122 HAS SOPS 259379 HAS SOUS 128541 HAS SOUPS 127573 WITH SCORE 127839.122
AT ITER 1569 NEW BEST:: SOT 518490 SOS 265897 HAS SOPS 259154 HAS SOUS 128378 HAS SOUPS 127410 WITH SCORE 127675.897
AT ITER 1575 NEW BEST:: SOT 518536 SOS 265943 HAS SOPS 259200 HAS SOUS 128345 HAS SOUPS 127377 WITH SCORE 127642.943
AT ITER 1577 NEW BEST:: SOT 518525 SOS 265921 HAS SOPS 259178 HAS SOUS 128323 HAS SOUPS 127355 WITH SCORE 127620.921
AT ITER 1581 NEW BEST:: SOT 518413 SOS 265849 HAS SOPS 259106 HAS SOUS 128249 HAS SOUPS 127281 WITH SCORE 127546.849
AT ITER 1584 NEW BEST:: SOT 518332 SOS 265768 HAS SOPS 259025 HAS SOUS 128226 HAS SOUPS 127258 WITH SCORE 127523.768
AT ITER 1594 NEW BEST:: SOT 518282 SOS 265672 HAS SOPS 258929 HAS SOUS 128130 HAS SOUPS 127162 WITH SCORE 127427.672
AT ITER 1620 NEW BEST:: SOT 518238 SOS 265650 HAS SOPS 258907 HAS SOUS 128042 HAS SOUPS 127074 WITH SCORE 127339.65
AT ITER 1625 NEW BEST:: SOT 518222 SOS 265632 HAS SOPS 258889 HAS SOUS 128010 HAS SOUPS 127042 WITH SCORE 127307.632
AT ITER 1632 NEW BEST:: SOT 518105 SOS 265510 HAS SOPS 258767 HAS SOUS 127906 HAS SOUPS 126938 WITH SCORE 127203.51
AT ITER 1636 NEW BEST:: SOT 518059 SOS 265308 HAS SOPS 258565 HAS SOUS 127827 HAS SOUPS 126859 WITH SCORE 127124.308
AT ITER 1641 NEW BEST:: SOT 516816 SOS 264065 HAS SOPS 257322 HAS SOUS 127770 HAS SOUPS 126802 WITH SCORE 127066.065
AT ITER 1648 NEW BEST:: SOT 516777 SOS 264052 HAS SOPS 257309 HAS SOUS 127757 HAS SOUPS 126789 WITH SCORE 127053.052
AT ITER 1663 NEW BEST:: SOT 516458 SOS 263797 HAS SOPS 257054 HAS SOUS 127502 HAS SOUPS 126534 WITH SCORE 126797.797
AT ITER 1667 NEW BEST:: SOT 516424 SOS 263821 HAS SOPS 257078 HAS SOUS 127490 HAS SOUPS 126522 WITH SCORE 126785.821
AT ITER 1689 NEW BEST:: SOT 516400 SOS 263787 HAS SOPS 257044 HAS SOUS 127442 HAS SOUPS 126474 WITH SCORE 126737.787
AT ITER 1705 NEW BEST:: SOT 516400 SOS 263787 HAS SOPS 257044 HAS SOUS 127439 HAS SOUPS 126471 WITH SCORE 126734.787
AT ITER 1717 NEW BEST:: SOT 516499 SOS 263863 HAS SOPS 257120 HAS SOUS 127200 HAS SOUPS 126232 WITH SCORE 126495.863
AT ITER 1718 NEW BEST:: SOT 516478 SOS 262825 HAS SOPS 256082 HAS SOUS 127162 HAS SOUPS 126194 WITH SCORE 126456.825
AT ITER 1730 NEW BEST:: SOT 516478 SOS 262825 HAS SOPS 256082 HAS SOUS 127154 HAS SOUPS 126186 WITH SCORE 126448.825
AT ITER 1732 NEW BEST:: SOT 516465 SOS 262811 HAS SOPS 256068 HAS SOUS 127141 HAS SOUPS 126173 WITH SCORE 126435.811
AT ITER 1739 NEW BEST:: SOT 516457 SOS 262799 HAS SOPS 256056 HAS SOUS 127069 HAS SOUPS 126101 WITH SCORE 126363.799
AT ITER 1750 NEW BEST:: SOT 515394 SOS 261660 HAS SOPS 254917 HAS SOUS 126458 HAS SOUPS 125490 WITH SCORE 125751.66
AT ITER 1753 NEW BEST:: SOT 515405 SOS 261660 HAS SOPS 254917 HAS SOUS 126414 HAS SOUPS 125446 WITH SCORE 125707.66
AT ITER 1786 NEW BEST:: SOT 515405 SOS 261657 HAS SOPS 254914 HAS SOUS 126365 HAS SOUPS 125397 WITH SCORE 125658.657
AT ITER 1810 NEW BEST:: SOT 515349 SOS 261249 HAS SOPS 254506 HAS SOUS 126320 HAS SOUPS 125352 WITH SCORE 125613.249
AT ITER 1822 NEW BEST:: SOT 515349 SOS 261412 HAS SOPS 254669 HAS SOUS 126226 HAS SOUPS 125258 WITH SCORE 125519.412
AT ITER 1833 NEW BEST:: SOT 515340 SOS 261403 HAS SOPS 254660 HAS SOUS 126208 HAS SOUPS 125240 WITH SCORE 125501.403
AT ITER 1837 NEW BEST:: SOT 515298 SOS 261361 HAS SOPS 254618 HAS SOUS 126159 HAS SOUPS 125191 WITH SCORE 125452.361
AT ITER 1840 NEW BEST:: SOT 516353 SOS 262285 HAS SOPS 255542 HAS SOUS 126155 HAS SOUPS 125187 WITH SCORE 125449.285
AT ITER 1847 NEW BEST:: SOT 515391 SOS 261614 HAS SOPS 254871 HAS SOUS 125110 HAS SOUPS 124142 WITH SCORE 124403.614
AT ITER 1871 NEW BEST:: SOT 515468 SOS 261564 HAS SOPS 254821 HAS SOUS 125069 HAS SOUPS 124101 WITH SCORE 124362.564
AT ITER 1898 NEW BEST:: SOT 515404 SOS 261500 HAS SOPS 254757 HAS SOUS 124909 HAS SOUPS 123941 WITH SCORE 124202.5
AT ITER 1903 NEW BEST:: SOT 515329 SOS 261919 HAS SOPS 255202 HAS SOUS 124801 HAS SOUPS 123836 WITH SCORE 124097.919
AT ITER 1906 NEW BEST:: SOT 515288 SOS 261948 HAS SOPS 255231 HAS SOUS 124696 HAS SOUPS 123731 WITH SCORE 123992.948
AT ITER 1907 NEW BEST:: SOT 515228 SOS 261903 HAS SOPS 255186 HAS SOUS 124636 HAS SOUPS 123671 WITH SCORE 123932.903
AT ITER 1910 NEW BEST:: SOT 515211 SOS 261885 HAS SOPS 255168 HAS SOUS 124618 HAS SOUPS 123653 WITH SCORE 123914.885
AT ITER 1912 NEW BEST:: SOT 515170 SOS 261788 HAS SOPS 255071 HAS SOUS 124591 HAS SOUPS 123626 WITH SCORE 123887.788
AT ITER 1917 NEW BEST:: SOT 515142 SOS 261788 HAS SOPS 255071 HAS SOUS 124171 HAS SOUPS 123206 WITH SCORE 123467.788
AT ITER 1932 NEW BEST:: SOT 515048 SOS 261723 HAS SOPS 255006 HAS SOUS 123749 HAS SOUPS 122784 WITH SCORE 123045.723
AT ITER 1936 NEW BEST:: SOT 515022 SOS 261697 HAS SOPS 254980 HAS SOUS 123660 HAS SOUPS 122695 WITH SCORE 122956.697
AT ITER 1941 NEW BEST:: SOT 514854 SOS 261563 HAS SOPS 254846 HAS SOUS 123479 HAS SOUPS 122514 WITH SCORE 122775.563
AT ITER 1948 NEW BEST:: SOT 514866 SOS 261569 HAS SOPS 254852 HAS SOUS 123447 HAS SOUPS 122482 WITH SCORE 122743.569
AT ITER 1991 NEW BEST:: SOT 514866 SOS 261553 HAS SOPS 253892 HAS SOUS 123431 HAS SOUPS 122348 WITH SCORE 122609.553
AT ITER 1992 NEW BEST:: SOT 514812 SOS 260743 HAS SOPS 253082 HAS SOUS 123269 HAS SOUPS 122186 WITH SCORE 122446.743
AT ITER 1993 NEW BEST:: SOT 514780 SOS 260918 HAS SOPS 253257 HAS SOUS 123250 HAS SOUPS 122167 WITH SCORE 122427.918
AT ITER 2021 NEW BEST:: SOT 514778 SOS 260971 HAS SOPS 253309 HAS SOUS 123141 HAS SOUPS 122058 WITH SCORE 122318.971
AT ITER 2024 NEW BEST:: SOT 514778 SOS 260937 HAS SOPS 253275 HAS SOUS 123107 HAS SOUPS 122024 WITH SCORE 122284.937
AT ITER 2046 NEW BEST:: SOT 514692 SOS 260765 HAS SOPS 253060 HAS SOUS 122935 HAS SOUPS 121852 WITH SCORE 122112.765
AT ITER 2048 NEW BEST:: SOT 514689 SOS 260757 HAS SOPS 253052 HAS SOUS 122930 HAS SOUPS 121847 WITH SCORE 122107.757
AT ITER 2063 NEW BEST:: SOT 514623 SOS 260608 HAS SOPS 252903 HAS SOUS 122781 HAS SOUPS 121698 WITH SCORE 121958.608
AT ITER 2088 NEW BEST:: SOT 514499 SOS 260484 HAS SOPS 252779 HAS SOUS 122648 HAS SOUPS 121565 WITH SCORE 121825.484
AT ITER 2091 NEW BEST:: SOT 514412 SOS 260304 HAS SOPS 252694 HAS SOUS 122575 HAS SOUPS 121492 WITH SCORE 121752.304
AT ITER 2100 NEW BEST:: SOT 514366 SOS 260258 HAS SOPS 252648 HAS SOUS 122460 HAS SOUPS 121377 WITH SCORE 121637.258
AT ITER 2103 NEW BEST:: SOT 514359 SOS 260262 HAS SOPS 252652 HAS SOUS 122362 HAS SOUPS 121279 WITH SCORE 121539.262
AT ITER 2106 NEW BEST:: SOT 514295 SOS 259011 HAS SOPS 251401 HAS SOUS 122274 HAS SOUPS 121191 WITH SCORE 121450.011
AT ITER 2163 NEW BEST:: SOT 514291 SOS 259003 HAS SOPS 251393 HAS SOUS 122268 HAS SOUPS 121185 WITH SCORE 121444.003
AT ITER 2173 NEW BEST:: SOT 514101 SOS 258813 HAS SOPS 251203 HAS SOUS 121943 HAS SOUPS 120860 WITH SCORE 121118.813
AT ITER 2175 NEW BEST:: SOT 514172 SOS 258858 HAS SOPS 251248 HAS SOUS 121808 HAS SOUPS 120725 WITH SCORE 120983.858
AT ITER 2182 NEW BEST:: SOT 514192 SOS 257438 HAS SOPS 249828 HAS SOUS 121802 HAS SOUPS 120719 WITH SCORE 120976.438
AT ITER 2190 NEW BEST:: SOT 514097 SOS 257343 HAS SOPS 249733 HAS SOUS 121701 HAS SOUPS 120618 WITH SCORE 120875.343
AT ITER 2192 NEW BEST:: SOT 514049 SOS 257295 HAS SOPS 249685 HAS SOUS 121602 HAS SOUPS 120519 WITH SCORE 120776.295
AT ITER 2193 NEW BEST:: SOT 514037 SOS 257283 HAS SOPS 249673 HAS SOUS 121595 HAS SOUPS 120512 WITH SCORE 120769.283
AT ITER 2200 NEW BEST:: SOT 514037 SOS 257323 HAS SOPS 249713 HAS SOUS 121590 HAS SOUPS 120507 WITH SCORE 120764.323
AT ITER 2210 NEW BEST:: SOT 513986 SOS 257272 HAS SOPS 249624 HAS SOUS 121601 HAS SOUPS 120485 WITH SCORE 120742.272
AT ITER 2214 NEW BEST:: SOT 513983 SOS 257266 HAS SOPS 249618 HAS SOUS 121595 HAS SOUPS 120479 WITH SCORE 120736.266
AT ITER 2228 NEW BEST:: SOT 513983 SOS 257362 HAS SOPS 249714 HAS SOUS 121154 HAS SOUPS 120038 WITH SCORE 120295.362
AT ITER 2231 NEW BEST:: SOT 513976 SOS 257355 HAS SOPS 249707 HAS SOUS 121147 HAS SOUPS 120031 WITH SCORE 120288.355
AT ITER 2251 NEW BEST:: SOT 513967 SOS 257409 HAS SOPS 249761 HAS SOUS 121129 HAS SOUPS 120013 WITH SCORE 120270.409
AT ITER 2260 NEW BEST:: SOT 513900 SOS 257342 HAS SOPS 249694 HAS SOUS 121062 HAS SOUPS 119946 WITH SCORE 120203.342
AT ITER 2272 NEW BEST:: SOT 513882 SOS 257275 HAS SOPS 249597 HAS SOUS 120844 HAS SOUPS 119728 WITH SCORE 119985.275
AT ITER 2280 NEW BEST:: SOT 513854 SOS 257135 HAS SOPS 249457 HAS SOUS 120802 HAS SOUPS 119686 WITH SCORE 119943.135
AT ITER 2304 NEW BEST:: SOT 513854 SOS 257132 HAS SOPS 249454 HAS SOUS 120763 HAS SOUPS 119647 WITH SCORE 119904.132
AT ITER 2306 NEW BEST:: SOT 513837 SOS 257107 HAS SOPS 249429 HAS SOUS 120628 HAS SOUPS 119512 WITH SCORE 119769.107
AT ITER 2337 NEW BEST:: SOT 513884 SOS 257325 HAS SOPS 249647 HAS SOUS 120570 HAS SOUPS 119454 WITH SCORE 119711.325
AT ITER 2346 NEW BEST:: SOT 513894 SOS 257203 HAS SOPS 249594 HAS SOUS 120535 HAS SOUPS 119419 WITH SCORE 119676.203
AT ITER 2354 NEW BEST:: SOT 513824 SOS 257063 HAS SOPS 249454 HAS SOUS 120430 HAS SOUPS 119314 WITH SCORE 119571.063
AT ITER 2369 NEW BEST:: SOT 513722 SOS 256961 HAS SOPS 249352 HAS SOUS 120336 HAS SOUPS 119220 WITH SCORE 119476.961
AT ITER 2372 NEW BEST:: SOT 513644 SOS 256858 HAS SOPS 249249 HAS SOUS 120327 HAS SOUPS 119211 WITH SCORE 119467.858
AT ITER 2373 NEW BEST:: SOT 513572 SOS 256810 HAS SOPS 249201 HAS SOUS 120279 HAS SOUPS 119163 WITH SCORE 119419.81
AT ITER 2374 NEW BEST:: SOT 513554 SOS 256792 HAS SOPS 249183 HAS SOUS 120243 HAS SOUPS 119127 WITH SCORE 119383.792
AT ITER 2381 NEW BEST:: SOT 513552 SOS 256788 HAS SOPS 249179 HAS SOUS 120239 HAS SOUPS 119123 WITH SCORE 119379.788
AT ITER 2388 NEW BEST:: SOT 513545 SOS 256781 HAS SOPS 249172 HAS SOUS 120225 HAS SOUPS 119109 WITH SCORE 119365.781
AT ITER 2395 NEW BEST:: SOT 513545 SOS 256781 HAS SOPS 249172 HAS SOUS 120217 HAS SOUPS 119101 WITH SCORE 119357.781
AT ITER 2397 NEW BEST:: SOT 512732 SOS 255788 HAS SOPS 248179 HAS SOUS 119818 HAS SOUPS 118702 WITH SCORE 118957.788
AT ITER 2401 NEW BEST:: SOT 512557 SOS 255519 HAS SOPS 248014 HAS SOUS 119598 HAS SOUPS 118482 WITH SCORE 118737.519
AT ITER 2403 NEW BEST:: SOT 512557 SOS 255506 HAS SOPS 248001 HAS SOUS 119533 HAS SOUPS 118417 WITH SCORE 118672.506
AT ITER 2407 NEW BEST:: SOT 512416 SOS 255251 HAS SOPS 247746 HAS SOUS 119335 HAS SOUPS 118219 WITH SCORE 118474.251
AT ITER 2416 NEW BEST:: SOT 512398 SOS 255233 HAS SOPS 247728 HAS SOUS 119317 HAS SOUPS 118201 WITH SCORE 118456.233
AT ITER 2419 NEW BEST:: SOT 512387 SOS 255205 HAS SOPS 247759 HAS SOUS 119295 HAS SOUPS 118179 WITH SCORE 118434.205
AT ITER 2421 NEW BEST:: SOT 512376 SOS 255194 HAS SOPS 247748 HAS SOUS 119273 HAS SOUPS 118157 WITH SCORE 118412.194
AT ITER 2448 NEW BEST:: SOT 512288 SOS 255096 HAS SOPS 247650 HAS SOUS 119133 HAS SOUPS 118017 WITH SCORE 118272.096
AT ITER 2468 NEW BEST:: SOT 512215 SOS 255047 HAS SOPS 247601 HAS SOUS 119129 HAS SOUPS 118013 WITH SCORE 118268.047
AT ITER 2479 NEW BEST:: SOT 512177 SOS 254971 HAS SOPS 247525 HAS SOUS 119053 HAS SOUPS 117937 WITH SCORE 118191.971
AT ITER 2504 NEW BEST:: SOT 512197 SOS 254991 HAS SOPS 247545 HAS SOUS 119032 HAS SOUPS 117916 WITH SCORE 118170.991
AT ITER 2533 NEW BEST:: SOT 512174 SOS 254968 HAS SOPS 247522 HAS SOUS 119032 HAS SOUPS 117916 WITH SCORE 118170.968
AT ITER 2535 NEW BEST:: SOT 512126 SOS 254900 HAS SOPS 247454 HAS SOUS 118964 HAS SOUPS 117848 WITH SCORE 118102.9
AT ITER 2555 NEW BEST:: SOT 512124 SOS 254898 HAS SOPS 247450 HAS SOUS 118960 HAS SOUPS 117844 WITH SCORE 118098.898
AT ITER 2559 NEW BEST:: SOT 512103 SOS 254911 HAS SOPS 247524 HAS SOUS 118863 HAS SOUPS 117747 WITH SCORE 118001.911
AT ITER 2565 NEW BEST:: SOT 512171 SOS 255121 HAS SOPS 247734 HAS SOUS 118792 HAS SOUPS 117676 WITH SCORE 117931.121
AT ITER 2571 NEW BEST:: SOT 512111 SOS 255031 HAS SOPS 247644 HAS SOUS 118762 HAS SOUPS 117646 WITH SCORE 117901.031
AT ITER 2589 NEW BEST:: SOT 512113 SOS 255029 HAS SOPS 247642 HAS SOUS 118760 HAS SOUPS 117644 WITH SCORE 117899.029
AT ITER 2601 NEW BEST:: SOT 511958 SOS 254863 HAS SOPS 247476 HAS SOUS 118612 HAS SOUPS 117496 WITH SCORE 117750.863
AT ITER 2607 NEW BEST:: SOT 511954 SOS 254859 HAS SOPS 247472 HAS SOUS 118608 HAS SOUPS 117492 WITH SCORE 117746.859
AT ITER 2612 NEW BEST:: SOT 511992 SOS 254897 HAS SOPS 247494 HAS SOUS 118538 HAS SOUPS 117422 WITH SCORE 117676.897
AT ITER 2625 NEW BEST:: SOT 511843 SOS 254720 HAS SOPS 247288 HAS SOUS 118433 HAS SOUPS 117317 WITH SCORE 117571.72
AT ITER 2633 NEW BEST:: SOT 511783 SOS 254513 HAS SOPS 247081 HAS SOUS 118313 HAS SOUPS 117197 WITH SCORE 117451.513
AT ITER 2634 NEW BEST:: SOT 511799 SOS 254452 HAS SOPS 247020 HAS SOUS 118252 HAS SOUPS 117136 WITH SCORE 117390.452
AT ITER 2640 NEW BEST:: SOT 511568 SOS 254380 HAS SOPS 246948 HAS SOUS 118206 HAS SOUPS 117090 WITH SCORE 117344.38
AT ITER 2653 NEW BEST:: SOT 511478 SOS 254290 HAS SOPS 246858 HAS SOUS 118182 HAS SOUPS 117066 WITH SCORE 117320.29
AT ITER 2656 NEW BEST:: SOT 511456 SOS 254268 HAS SOPS 246836 HAS SOUS 118138 HAS SOUPS 117022 WITH SCORE 117276.268
AT ITER 2663 NEW BEST:: SOT 511329 SOS 254229 HAS SOPS 246797 HAS SOUS 118104 HAS SOUPS 116988 WITH SCORE 117242.229
AT ITER 2664 NEW BEST:: SOT 511001 SOS 254048 HAS SOPS 246616 HAS SOUS 117990 HAS SOUPS 116874 WITH SCORE 117128.048
AT ITER 2671 NEW BEST:: SOT 510893 SOS 253866 HAS SOPS 246434 HAS SOUS 117941 HAS SOUPS 116825 WITH SCORE 117078.866
AT ITER 2672 NEW BEST:: SOT 510889 SOS 253856 HAS SOPS 246424 HAS SOUS 117935 HAS SOUPS 116819 WITH SCORE 117072.856
AT ITER 2682 NEW BEST:: SOT 510586 SOS 253670 HAS SOPS 246238 HAS SOUS 117899 HAS SOUPS 116783 WITH SCORE 117036.67
AT ITER 2686 NEW BEST:: SOT 510581 SOS 253520 HAS SOPS 246117 HAS SOUS 117889 HAS SOUPS 116773 WITH SCORE 117026.52
AT ITER 2706 NEW BEST:: SOT 510558 SOS 253497 HAS SOPS 246094 HAS SOUS 117521 HAS SOUPS 116405 WITH SCORE 116658.497
AT ITER 2715 NEW BEST:: SOT 510514 SOS 253453 HAS SOPS 246050 HAS SOUS 117473 HAS SOUPS 116357 WITH SCORE 116610.453
AT ITER 2721 NEW BEST:: SOT 510456 SOS 253394 HAS SOPS 245991 HAS SOUS 117393 HAS SOUPS 116277 WITH SCORE 116530.394
AT ITER 2724 NEW BEST:: SOT 510501 SOS 253439 HAS SOPS 246020 HAS SOUS 117380 HAS SOUPS 116248 WITH SCORE 116501.439
AT ITER 2726 NEW BEST:: SOT 510627 SOS 253360 HAS SOPS 245941 HAS SOUS 117333 HAS SOUPS 116201 WITH SCORE 116454.36
AT ITER 2743 NEW BEST:: SOT 510738 SOS 253454 HAS SOPS 246035 HAS SOUS 117252 HAS SOUPS 116120 WITH SCORE 116373.454
AT ITER 2753 NEW BEST:: SOT 510684 SOS 253364 HAS SOPS 245945 HAS SOUS 117180 HAS SOUPS 116048 WITH SCORE 116301.364
AT ITER 2758 NEW BEST:: SOT 510642 SOS 253322 HAS SOPS 245903 HAS SOUS 117096 HAS SOUPS 115964 WITH SCORE 116217.322
AT ITER 2773 NEW BEST:: SOT 511566 SOS 254246 HAS SOPS 246827 HAS SOUS 116935 HAS SOUPS 115803 WITH SCORE 116057.246
AT ITER 2784 NEW BEST:: SOT 511568 SOS 254248 HAS SOPS 246829 HAS SOUS 116593 HAS SOUPS 115461 WITH SCORE 115715.248
AT ITER 2792 NEW BEST:: SOT 511579 SOS 254259 HAS SOPS 246840 HAS SOUS 116577 HAS SOUPS 115445 WITH SCORE 115699.259
AT ITER 2806 NEW BEST:: SOT 511576 SOS 254256 HAS SOPS 246837 HAS SOUS 116571 HAS SOUPS 115439 WITH SCORE 115693.256
AT ITER 2830 NEW BEST:: SOT 511563 SOS 253730 HAS SOPS 245714 HAS SOUS 116587 HAS SOUPS 115421 WITH SCORE 115674.73
AT ITER 2838 NEW BEST:: SOT 511583 SOS 253750 HAS SOPS 245723 HAS SOUS 116509 HAS SOUPS 115343 WITH SCORE 115596.75
AT ITER 2844 NEW BEST:: SOT 511551 SOS 253718 HAS SOPS 245691 HAS SOUS 116433 HAS SOUPS 115267 WITH SCORE 115520.718
AT ITER 2855 NEW BEST:: SOT 511570 SOS 253597 HAS SOPS 245570 HAS SOUS 116249 HAS SOUPS 115083 WITH SCORE 115336.597
AT ITER 2869 NEW BEST:: SOT 511552 SOS 253249 HAS SOPS 245222 HAS SOUS 116235 HAS SOUPS 115069 WITH SCORE 115322.249
AT ITER 2894 NEW BEST:: SOT 511488 SOS 253152 HAS SOPS 245125 HAS SOUS 116169 HAS SOUPS 115003 WITH SCORE 115256.152
AT ITER 2900 NEW BEST:: SOT 511446 SOS 253075 HAS SOPS 245048 HAS SOUS 116114 HAS SOUPS 114948 WITH SCORE 115201.075
AT ITER 2919 NEW BEST:: SOT 511446 SOS 252978 HAS SOPS 244951 HAS SOUS 116017 HAS SOUPS 114851 WITH SCORE 115103.978
AT ITER 2936 NEW BEST:: SOT 511276 SOS 252768 HAS SOPS 244741 HAS SOUS 115807 HAS SOUPS 114641 WITH SCORE 114893.768
AT ITER 2946 NEW BEST:: SOT 511255 SOS 252682 HAS SOPS 244655 HAS SOUS 115793 HAS SOUPS 114627 WITH SCORE 114879.682
AT ITER 2955 NEW BEST:: SOT 511244 SOS 252678 HAS SOPS 244651 HAS SOUS 115785 HAS SOUPS 114619 WITH SCORE 114871.678
AT ITER 2957 NEW BEST:: SOT 511037 SOS 252471 HAS SOPS 244444 HAS SOUS 115540 HAS SOUPS 114374 WITH SCORE 114626.471
AT ITER 2967 NEW BEST:: SOT 511037 SOS 251911 HAS SOPS 243884 HAS SOUS 115540 HAS SOUPS 114374 WITH SCORE 114625.911
AT ITER 2971 NEW BEST:: SOT 510921 SOS 251795 HAS SOPS 243768 HAS SOUS 115355 HAS SOUPS 114189 WITH SCORE 114440.795
AT ITER 3001 NEW BEST:: SOT 510915 SOS 251667 HAS SOPS 243640 HAS SOUS 115227 HAS SOUPS 114061 WITH SCORE 114312.667
AT ITER 3016 NEW BEST:: SOT 510890 SOS 251647 HAS SOPS 243620 HAS SOUS 115197 HAS SOUPS 114031 WITH SCORE 114282.647
AT ITER 3025 NEW BEST:: SOT 510696 SOS 251453 HAS SOPS 243426 HAS SOUS 114909 HAS SOUPS 113743 WITH SCORE 113994.453
AT ITER 3079 NEW BEST:: SOT 510647 SOS 251414 HAS SOPS 243387 HAS SOUS 114853 HAS SOUPS 113687 WITH SCORE 113938.414
AT ITER 3106 NEW BEST:: SOT 510530 SOS 251297 HAS SOPS 243270 HAS SOUS 114619 HAS SOUPS 113453 WITH SCORE 113704.297
AT ITER 3109 NEW BEST:: SOT 510504 SOS 251245 HAS SOPS 243218 HAS SOUS 114567 HAS SOUPS 113401 WITH SCORE 113652.245
AT ITER 3116 NEW BEST:: SOT 510045 SOS 250786 HAS SOPS 242759 HAS SOUS 114139 HAS SOUPS 112973 WITH SCORE 113223.786
AT ITER 3170 NEW BEST:: SOT 509937 SOS 250606 HAS SOPS 242579 HAS SOUS 113959 HAS SOUPS 112793 WITH SCORE 113043.606
AT ITER 3197 NEW BEST:: SOT 509933 SOS 250602 HAS SOPS 242575 HAS SOUS 113951 HAS SOUPS 112785 WITH SCORE 113035.602
AT ITER 3207 NEW BEST:: SOT 509838 SOS 250507 HAS SOPS 242480 HAS SOUS 113865 HAS SOUPS 112699 WITH SCORE 112949.507
AT ITER 3220 NEW BEST:: SOT 509720 SOS 250389 HAS SOPS 242362 HAS SOUS 113765 HAS SOUPS 112599 WITH SCORE 112849.389
AT ITER 3240 NEW BEST:: SOT 509681 SOS 250311 HAS SOPS 242284 HAS SOUS 113687 HAS SOUPS 112521 WITH SCORE 112771.311
AT ITER 3243 NEW BEST:: SOT 509576 SOS 250128 HAS SOPS 242226 HAS SOUS 113636 HAS SOUPS 112470 WITH SCORE 112720.128
AT ITER 3259 NEW BEST:: SOT 509485 SOS 250037 HAS SOPS 242135 HAS SOUS 113575 HAS SOUPS 112409 WITH SCORE 112659.037
AT ITER 3263 NEW BEST:: SOT 509424 SOS 249975 HAS SOPS 242185 HAS SOUS 113541 HAS SOUPS 112375 WITH SCORE 112624.975
AT ITER 3290 NEW BEST:: SOT 509421 SOS 249969 HAS SOPS 242179 HAS SOUS 113535 HAS SOUPS 112369 WITH SCORE 112618.969
AT ITER 3293 NEW BEST:: SOT 509385 SOS 249973 HAS SOPS 242183 HAS SOUS 113520 HAS SOUPS 112354 WITH SCORE 112603.973
AT ITER 3299 NEW BEST:: SOT 509220 SOS 249825 HAS SOPS 242035 HAS SOUS 113360 HAS SOUPS 112194 WITH SCORE 112443.825
AT ITER 3334 NEW BEST:: SOT 509220 SOS 249777 HAS SOPS 241987 HAS SOUS 113360 HAS SOUPS 112194 WITH SCORE 112443.777
AT ITER 3347 NEW BEST:: SOT 509220 SOS 249813 HAS SOPS 242023 HAS SOUS 113342 HAS SOUPS 112176 WITH SCORE 112425.813
AT ITER 3349 NEW BEST:: SOT 509224 SOS 249179 HAS SOPS 241389 HAS SOUS 113274 HAS SOUPS 112108 WITH SCORE 112357.179
AT ITER 3359 NEW BEST:: SOT 509225 SOS 249179 HAS SOPS 241389 HAS SOUS 113273 HAS SOUPS 112107 WITH SCORE 112356.179
AT ITER 3376 NEW BEST:: SOT 509220 SOS 249143 HAS SOPS 241353 HAS SOUS 113237 HAS SOUPS 112071 WITH SCORE 112320.143
AT ITER 3387 NEW BEST:: SOT 509167 SOS 249095 HAS SOPS 241305 HAS SOUS 113108 HAS SOUPS 111942 WITH SCORE 112191.095
AT ITER 3398 NEW BEST:: SOT 509083 SOS 248894 HAS SOPS 241104 HAS SOUS 113000 HAS SOUPS 111834 WITH SCORE 112082.894
AT ITER 3401 NEW BEST:: SOT 509126 SOS 248937 HAS SOPS 241147 HAS SOUS 112975 HAS SOUPS 111809 WITH SCORE 112057.937
AT ITER 3416 NEW BEST:: SOT 509110 SOS 248905 HAS SOPS 241115 HAS SOUS 112959 HAS SOUPS 111793 WITH SCORE 112041.905
AT ITER 3418 NEW BEST:: SOT 509070 SOS 248817 HAS SOPS 241027 HAS SOUS 112872 HAS SOUPS 111706 WITH SCORE 111954.817
AT ITER 3432 NEW BEST:: SOT 508990 SOS 248541 HAS SOPS 240751 HAS SOUS 112712 HAS SOUPS 111546 WITH SCORE 111794.541
AT ITER 3444 NEW BEST:: SOT 508976 SOS 248527 HAS SOPS 240737 HAS SOUS 112657 HAS SOUPS 111491 WITH SCORE 111739.527
AT ITER 3449 NEW BEST:: SOT 508976 SOS 248527 HAS SOPS 240733 HAS SOUS 112653 HAS SOUPS 111487 WITH SCORE 111735.527
AT ITER 3459 NEW BEST:: SOT 508976 SOS 248502 HAS SOPS 240708 HAS SOUS 112653 HAS SOUPS 111487 WITH SCORE 111735.502
AT ITER 3508 NEW BEST:: SOT 508976 SOS 248385 HAS SOPS 240591 HAS SOUS 112653 HAS SOUPS 111487 WITH SCORE 111735.385
AT ITER 3538 NEW BEST:: SOT 508976 SOS 248276 HAS SOPS 240482 HAS SOUS 112653 HAS SOUPS 111487 WITH SCORE 111735.276
AT ITER 3571 NEW BEST:: SOT 508926 SOS 248226 HAS SOPS 240432 HAS SOUS 112553 HAS SOUPS 111387 WITH SCORE 111635.226
AT ITER 3574 NEW BEST:: SOT 508907 SOS 248207 HAS SOPS 240413 HAS SOUS 112521 HAS SOUPS 111355 WITH SCORE 111603.207
AT ITER 3586 NEW BEST:: SOT 509062 SOS 248077 HAS SOPS 240283 HAS SOUS 112503 HAS SOUPS 111337 WITH SCORE 111585.077
AT ITER 3615 NEW BEST:: SOT 509051 SOS 248037 HAS SOPS 240301 HAS SOUS 112481 HAS SOUPS 111315 WITH SCORE 111563.037
AT ITER 3618 NEW BEST:: SOT 509011 SOS 247836 HAS SOPS 240100 HAS SOUS 112440 HAS SOUPS 111274 WITH SCORE 111521.836
AT ITER 3620 NEW BEST:: SOT 509078 SOS 247903 HAS SOPS 240167 HAS SOUS 112436 HAS SOUPS 111270 WITH SCORE 111517.903
AT ITER 3631 NEW BEST:: SOT 508986 SOS 247944 HAS SOPS 240157 HAS SOUS 112373 HAS SOUPS 111207 WITH SCORE 111454.944
AT ITER 3632 NEW BEST:: SOT 509020 SOS 247971 HAS SOPS 240184 HAS SOUS 112342 HAS SOUPS 111176 WITH SCORE 111423.971
AT ITER 3643 NEW BEST:: SOT 509020 SOS 247971 HAS SOPS 240184 HAS SOUS 112339 HAS SOUPS 111173 WITH SCORE 111420.971
AT ITER 3646 NEW BEST:: SOT 508893 SOS 247844 HAS SOPS 240003 HAS SOUS 112184 HAS SOUPS 111018 WITH SCORE 111265.844
AT ITER 3661 NEW BEST:: SOT 508893 SOS 247832 HAS SOPS 239991 HAS SOUS 112154 HAS SOUPS 110988 WITH SCORE 111235.832
AT ITER 3685 NEW BEST:: SOT 508873 SOS 247812 HAS SOPS 239971 HAS SOUS 112119 HAS SOUPS 110953 WITH SCORE 111200.812
AT ITER 3686 NEW BEST:: SOT 508849 SOS 247764 HAS SOPS 239923 HAS SOUS 112071 HAS SOUPS 110905 WITH SCORE 111152.764
AT ITER 3694 NEW BEST:: SOT 508805 SOS 248137 HAS SOPS 240316 HAS SOUS 112004 HAS SOUPS 110838 WITH SCORE 111086.137
AT ITER 3724 NEW BEST:: SOT 508649 SOS 247852 HAS SOPS 240083 HAS SOUS 111808 HAS SOUPS 110642 WITH SCORE 110889.852
AT ITER 3736 NEW BEST:: SOT 508520 SOS 247637 HAS SOPS 239868 HAS SOUS 111636 HAS SOUPS 110470 WITH SCORE 110717.637
AT ITER 3737 NEW BEST:: SOT 508386 SOS 247522 HAS SOPS 239863 HAS SOUS 111578 HAS SOUPS 110412 WITH SCORE 110659.522
AT ITER 3753 NEW BEST:: SOT 508352 SOS 247324 HAS SOPS 239665 HAS SOUS 111544 HAS SOUPS 110378 WITH SCORE 110625.324
AT ITER 3771 NEW BEST:: SOT 508302 SOS 247274 HAS SOPS 239615 HAS SOUS 111490 HAS SOUPS 110324 WITH SCORE 110571.274
AT ITER 3773 NEW BEST:: SOT 507668 SOS 246640 HAS SOPS 238981 HAS SOUS 111347 HAS SOUPS 110181 WITH SCORE 110427.64
AT ITER 3804 NEW BEST:: SOT 507664 SOS 246636 HAS SOPS 238977 HAS SOUS 111343 HAS SOUPS 110177 WITH SCORE 110423.636
AT ITER 3822 NEW BEST:: SOT 507709 SOS 246786 HAS SOPS 239127 HAS SOUS 111118 HAS SOUPS 109952 WITH SCORE 110198.786
AT ITER 3851 NEW BEST:: SOT 507517 SOS 246055 HAS SOPS 238396 HAS SOUS 110848 HAS SOUPS 109682 WITH SCORE 109928.055
AT ITER 3863 NEW BEST:: SOT 507508 SOS 246037 HAS SOPS 238378 HAS SOUS 110830 HAS SOUPS 109664 WITH SCORE 109910.037
AT ITER 3897 NEW BEST:: SOT 507501 SOS 245861 HAS SOPS 237974 HAS SOUS 110795 HAS SOUPS 109615 WITH SCORE 109860.861
AT ITER 3904 NEW BEST:: SOT 507477 SOS 245837 HAS SOPS 237950 HAS SOUS 110771 HAS SOUPS 109591 WITH SCORE 109836.837
AT ITER 3907 NEW BEST:: SOT 507425 SOS 245620 HAS SOPS 237713 HAS SOUS 110655 HAS SOUPS 109469 WITH SCORE 109714.62
AT ITER 3922 NEW BEST:: SOT 507427 SOS 245999 HAS SOPS 238092 HAS SOUS 110613 HAS SOUPS 109427 WITH SCORE 109672.999
AT ITER 3930 NEW BEST:: SOT 507401 SOS 245973 HAS SOPS 238066 HAS SOUS 110602 HAS SOUPS 109416 WITH SCORE 109661.973
AT ITER 3935 NEW BEST:: SOT 507718 SOS 246244 HAS SOPS 238337 HAS SOUS 110383 HAS SOUPS 109197 WITH SCORE 109443.244
AT ITER 3965 NEW BEST:: SOT 507614 SOS 246134 HAS SOPS 238227 HAS SOUS 110210 HAS SOUPS 109024 WITH SCORE 109270.134
AT ITER 3968 NEW BEST:: SOT 507440 SOS 245960 HAS SOPS 238053 HAS SOUS 109941 HAS SOUPS 108755 WITH SCORE 109000.96
AT ITER 3973 NEW BEST:: SOT 507097 SOS 245582 HAS SOPS 237675 HAS SOUS 109602 HAS SOUPS 108416 WITH SCORE 108661.582
AT ITER 3985 NEW BEST:: SOT 507112 SOS 245712 HAS SOPS 237805 HAS SOUS 109552 HAS SOUPS 108366 WITH SCORE 108611.712
AT ITER 3988 NEW BEST:: SOT 507112 SOS 244928 HAS SOPS 237021 HAS SOUS 109552 HAS SOUPS 108366 WITH SCORE 108610.928
AT ITER 4012 NEW BEST:: SOT 507036 SOS 244540 HAS SOPS 236647 HAS SOUS 109529 HAS SOUPS 108343 WITH SCORE 108587.54
AT ITER 4040 NEW BEST:: SOT 506876 SOS 244456 HAS SOPS 236563 HAS SOUS 109395 HAS SOUPS 108209 WITH SCORE 108453.456
AT ITER 4043 NEW BEST:: SOT 506872 SOS 244447 HAS SOPS 236554 HAS SOUS 109367 HAS SOUPS 108181 WITH SCORE 108425.447
AT ITER 4047 NEW BEST:: SOT 506823 SOS 244398 HAS SOPS 236505 HAS SOUS 109269 HAS SOUPS 108083 WITH SCORE 108327.398
AT ITER 4051 NEW BEST:: SOT 506612 SOS 244361 HAS SOPS 236469 HAS SOUS 109252 HAS SOUPS 108066 WITH SCORE 108310.361
AT ITER 4082 NEW BEST:: SOT 506418 SOS 244170 HAS SOPS 236278 HAS SOUS 109024 HAS SOUPS 107838 WITH SCORE 108082.17
AT ITER 4104 NEW BEST:: SOT 506428 SOS 244556 HAS SOPS 236664 HAS SOUS 109006 HAS SOUPS 107820 WITH SCORE 108064.556
AT ITER 4107 NEW BEST:: SOT 506425 SOS 244562 HAS SOPS 236670 HAS SOUS 109000 HAS SOUPS 107814 WITH SCORE 108058.562
AT ITER 4111 NEW BEST:: SOT 506383 SOS 244358 HAS SOPS 236466 HAS SOUS 108916 HAS SOUPS 107730 WITH SCORE 107974.358
AT ITER 4131 NEW BEST:: SOT 506409 SOS 244358 HAS SOPS 236466 HAS SOUS 108890 HAS SOUPS 107704 WITH SCORE 107948.358
AT ITER 4138 NEW BEST:: SOT 506372 SOS 244358 HAS SOPS 236466 HAS SOUS 108816 HAS SOUPS 107630 WITH SCORE 107874.358
AT ITER 4151 NEW BEST:: SOT 506372 SOS 244070 HAS SOPS 236178 HAS SOUS 108816 HAS SOUPS 107630 WITH SCORE 107874.07
AT ITER 4164 NEW BEST:: SOT 506423 SOS 244121 HAS SOPS 236229 HAS SOUS 108790 HAS SOUPS 107604 WITH SCORE 107848.121
AT ITER 4188 NEW BEST:: SOT 506390 SOS 244088 HAS SOPS 236196 HAS SOUS 108724 HAS SOUPS 107538 WITH SCORE 107782.088
AT ITER 4203 NEW BEST:: SOT 506401 SOS 244066 HAS SOPS 236174 HAS SOUS 108713 HAS SOUPS 107527 WITH SCORE 107771.066
AT ITER 4209 NEW BEST:: SOT 506365 SOS 244016 HAS SOPS 236124 HAS SOUS 108663 HAS SOUPS 107477 WITH SCORE 107721.016
AT ITER 4240 NEW BEST:: SOT 506216 SOS 243870 HAS SOPS 235979 HAS SOUS 108559 HAS SOUPS 107373 WITH SCORE 107616.87
AT ITER 4261 NEW BEST:: SOT 506202 SOS 243863 HAS SOPS 235972 HAS SOUS 108538 HAS SOUPS 107352 WITH SCORE 107595.863
AT ITER 4278 NEW BEST:: SOT 506205 SOS 243866 HAS SOPS 235975 HAS SOUS 108517 HAS SOUPS 107331 WITH SCORE 107574.866
AT ITER 4283 NEW BEST:: SOT 505634 SOS 243281 HAS SOPS 235390 HAS SOUS 107897 HAS SOUPS 106711 WITH SCORE 106954.281
AT ITER 4300 NEW BEST:: SOT 505626 SOS 243273 HAS SOPS 235382 HAS SOUS 107881 HAS SOUPS 106695 WITH SCORE 106938.273
AT ITER 4319 NEW BEST:: SOT 505626 SOS 243273 HAS SOPS 235382 HAS SOUS 107879 HAS SOUPS 106693 WITH SCORE 106936.273
AT ITER 4320 NEW BEST:: SOT 505244 SOS 242657 HAS SOPS 234766 HAS SOUS 107284 HAS SOUPS 106098 WITH SCORE 106340.657
AT ITER 4324 NEW BEST:: SOT 505242 SOS 242655 HAS SOPS 234764 HAS SOUS 107282 HAS SOUPS 106096 WITH SCORE 106338.655
AT ITER 4336 NEW BEST:: SOT 505219 SOS 241153 HAS SOPS 233262 HAS SOUS 107191 HAS SOUPS 106005 WITH SCORE 106246.153
AT ITER 4397 NEW BEST:: SOT 505209 SOS 241133 HAS SOPS 233242 HAS SOUS 107171 HAS SOUPS 105985 WITH SCORE 106226.133
AT ITER 4413 NEW BEST:: SOT 505176 SOS 241100 HAS SOPS 233209 HAS SOUS 107168 HAS SOUPS 105982 WITH SCORE 106223.1
AT ITER 4465 NEW BEST:: SOT 505166 SOS 241090 HAS SOPS 233199 HAS SOUS 107148 HAS SOUPS 105962 WITH SCORE 106203.09
AT ITER 4479 NEW BEST:: SOT 505147 SOS 240929 HAS SOPS 233038 HAS SOUS 107110 HAS SOUPS 105924 WITH SCORE 106164.929
AT ITER 4482 NEW BEST:: SOT 504972 SOS 240747 HAS SOPS 232856 HAS SOUS 106960 HAS SOUPS 105774 WITH SCORE 106014.747
AT ITER 4492 NEW BEST:: SOT 504840 SOS 240615 HAS SOPS 232724 HAS SOUS 106784 HAS SOUPS 105598 WITH SCORE 105838.615
AT ITER 4497 NEW BEST:: SOT 504793 SOS 240568 HAS SOPS 232677 HAS SOUS 106772 HAS SOUPS 105586 WITH SCORE 105826.568
AT ITER 4535 NEW BEST:: SOT 504787 SOS 240562 HAS SOPS 232671 HAS SOUS 106682 HAS SOUPS 105496 WITH SCORE 105736.562
AT ITER 4557 NEW BEST:: SOT 504696 SOS 240423 HAS SOPS 232509 HAS SOUS 106492 HAS SOUPS 105290 WITH SCORE 105530.423
AT ITER 4562 NEW BEST:: SOT 504609 SOS 240336 HAS SOPS 232422 HAS SOUS 106428 HAS SOUPS 105226 WITH SCORE 105466.336
AT ITER 4571 NEW BEST:: SOT 504269 SOS 239983 HAS SOPS 232069 HAS SOUS 106054 HAS SOUPS 104852 WITH SCORE 105091.983
AT ITER 4589 NEW BEST:: SOT 504279 SOS 239993 HAS SOPS 232079 HAS SOUS 105972 HAS SOUPS 104770 WITH SCORE 105009.993
AT ITER 4590 NEW BEST:: SOT 504279 SOS 239927 HAS SOPS 232013 HAS SOUS 105939 HAS SOUPS 104737 WITH SCORE 104976.927
AT ITER 4598 NEW BEST:: SOT 504243 SOS 239891 HAS SOPS 231977 HAS SOUS 105867 HAS SOUPS 104665 WITH SCORE 104904.891
AT ITER 4617 NEW BEST:: SOT 504211 SOS 239859 HAS SOPS 231945 HAS SOUS 105810 HAS SOUPS 104608 WITH SCORE 104847.859
AT ITER 4680 NEW BEST:: SOT 504193 SOS 239841 HAS SOPS 231927 HAS SOUS 105774 HAS SOUPS 104572 WITH SCORE 104811.841
AT ITER 4721 NEW BEST:: SOT 504170 SOS 239795 HAS SOPS 231881 HAS SOUS 105751 HAS SOUPS 104549 WITH SCORE 104788.795
AT ITER 4722 NEW BEST:: SOT 504146 SOS 239771 HAS SOPS 231857 HAS SOUS 105703 HAS SOUPS 104501 WITH SCORE 104740.771
AT ITER 4724 NEW BEST:: SOT 504098 SOS 239782 HAS SOPS 231868 HAS SOUS 105656 HAS SOUPS 104454 WITH SCORE 104693.782
AT ITER 4744 NEW BEST:: SOT 504013 SOS 239697 HAS SOPS 231783 HAS SOUS 105550 HAS SOUPS 104348 WITH SCORE 104587.697
AT ITER 4799 NEW BEST:: SOT 503992 SOS 239574 HAS SOPS 231660 HAS SOUS 105506 HAS SOUPS 104304 WITH SCORE 104543.574
AT ITER 4824 NEW BEST:: SOT 504098 SOS 239616 HAS SOPS 231513 HAS SOUS 105337 HAS SOUPS 104122 WITH SCORE 104361.616
AT ITER 4835 NEW BEST:: SOT 504108 SOS 240112 HAS SOPS 232009 HAS SOUS 105274 HAS SOUPS 104059 WITH SCORE 104299.112
AT ITER 4871 NEW BEST:: SOT 504107 SOS 240111 HAS SOPS 232008 HAS SOUS 105271 HAS SOUPS 104056 WITH SCORE 104296.111
AT ITER 4876 NEW BEST:: SOT 504099 SOS 240103 HAS SOPS 232000 HAS SOUS 105233 HAS SOUPS 104018 WITH SCORE 104258.103
AT ITER 4884 NEW BEST:: SOT 503958 SOS 239946 HAS SOPS 231843 HAS SOUS 105157 HAS SOUPS 103942 WITH SCORE 104181.946
AT ITER 4888 NEW BEST:: SOT 503908 SOS 239896 HAS SOPS 231793 HAS SOUS 105007 HAS SOUPS 103792 WITH SCORE 104031.896
AT ITER 4890 NEW BEST:: SOT 503907 SOS 239890 HAS SOPS 231787 HAS SOUS 105006 HAS SOUPS 103791 WITH SCORE 104030.89
AT ITER 4892 NEW BEST:: SOT 503860 SOS 239843 HAS SOPS 231740 HAS SOUS 104959 HAS SOUPS 103744 WITH SCORE 103983.843
AT ITER 4899 NEW BEST:: SOT 503877 SOS 239866 HAS SOPS 231763 HAS SOUS 104940 HAS SOUPS 103725 WITH SCORE 103964.866
AT ITER 4903 NEW BEST:: SOT 503808 SOS 239802 HAS SOPS 231699 HAS SOUS 104802 HAS SOUPS 103587 WITH SCORE 103826.802
AT ITER 4923 NEW BEST:: SOT 503628 SOS 239531 HAS SOPS 231428 HAS SOUS 104578 HAS SOUPS 103363 WITH SCORE 103602.531
AT ITER 4930 NEW BEST:: SOT 502660 SOS 238501 HAS SOPS 230398 HAS SOUS 104050 HAS SOUPS 102835 WITH SCORE 103073.501
AT ITER 4947 NEW BEST:: SOT 502671 SOS 238490 HAS SOPS 230387 HAS SOUS 104039 HAS SOUPS 102824 WITH SCORE 103062.49
AT ITER 4951 NEW BEST:: SOT 502651 SOS 238470 HAS SOPS 230367 HAS SOUS 103994 HAS SOUPS 102779 WITH SCORE 103017.47
AT ITER 4962 NEW BEST:: SOT 502651 SOS 238424 HAS SOPS 230311 HAS SOUS 103984 HAS SOUPS 102769 WITH SCORE 103007.424
AT ITER 4969 NEW BEST:: SOT 502644 SOS 238410 HAS SOPS 230297 HAS SOUS 103970 HAS SOUPS 102755 WITH SCORE 102993.41
AT ITER 4985 NEW BEST:: SOT 502610 SOS 238342 HAS SOPS 230212 HAS SOUS 103902 HAS SOUPS 102687 WITH SCORE 102925.342
AT ITER 4994 NEW BEST:: SOT 502437 SOS 238221 HAS SOPS 230091 HAS SOUS 103771 HAS SOUPS 102556 WITH SCORE 102794.221
AT ITER 5000 NEW BEST:: SOT 502443 SOS 238214 HAS SOPS 230084 HAS SOUS 103771 HAS SOUPS 102556 WITH SCORE 102794.214
AT ITER 5017 NEW BEST:: SOT 502456 SOS 238224 HAS SOPS 230094 HAS SOUS 103768 HAS SOUPS 102553 WITH SCORE 102791.224
AT ITER 5023 NEW BEST:: SOT 502453 SOS 238218 HAS SOPS 230088 HAS SOUS 103762 HAS SOUPS 102547 WITH SCORE 102785.218
AT ITER 5025 NEW BEST:: SOT 502476 SOS 238212 HAS SOPS 230081 HAS SOUS 103745 HAS SOUPS 102530 WITH SCORE 102768.212
AT ITER 5026 NEW BEST:: SOT 502446 SOS 238182 HAS SOPS 230051 HAS SOUS 103715 HAS SOUPS 102500 WITH SCORE 102738.182
AT ITER 5029 NEW BEST:: SOT 502430 SOS 238166 HAS SOPS 230019 HAS SOUS 103710 HAS SOUPS 102495 WITH SCORE 102733.166
AT ITER 5031 NEW BEST:: SOT 501914 SOS 237650 HAS SOPS 229503 HAS SOUS 103558 HAS SOUPS 102343 WITH SCORE 102580.65
AT ITER 5063 NEW BEST:: SOT 501906 SOS 237634 HAS SOPS 229487 HAS SOUS 103557 HAS SOUPS 102342 WITH SCORE 102579.634
AT ITER 5067 NEW BEST:: SOT 501825 SOS 237511 HAS SOPS 229364 HAS SOUS 103434 HAS SOUPS 102219 WITH SCORE 102456.511
AT ITER 5095 NEW BEST:: SOT 501834 SOS 237510 HAS SOPS 229363 HAS SOUS 103428 HAS SOUPS 102213 WITH SCORE 102450.51
AT ITER 5097 NEW BEST:: SOT 501792 SOS 237468 HAS SOPS 229321 HAS SOUS 103386 HAS SOUPS 102171 WITH SCORE 102408.468
AT ITER 5126 NEW BEST:: SOT 501768 SOS 237444 HAS SOPS 229297 HAS SOUS 103338 HAS SOUPS 102123 WITH SCORE 102360.444
AT ITER 5139 NEW BEST:: SOT 501709 SOS 237347 HAS SOPS 229200 HAS SOUS 103220 HAS SOUPS 102005 WITH SCORE 102242.347
AT ITER 5173 NEW BEST:: SOT 501730 SOS 237368 HAS SOPS 229207 HAS SOUS 103150 HAS SOUPS 101935 WITH SCORE 102172.368
AT ITER 5202 NEW BEST:: SOT 501717 SOS 237342 HAS SOPS 229181 HAS SOUS 103120 HAS SOUPS 101905 WITH SCORE 102142.342
AT ITER 5205 NEW BEST:: SOT 501642 SOS 237205 HAS SOPS 229044 HAS SOUS 102995 HAS SOUPS 101780 WITH SCORE 102017.205
AT ITER 5287 NEW BEST:: SOT 501628 SOS 237178 HAS SOPS 229017 HAS SOUS 102929 HAS SOUPS 101714 WITH SCORE 101951.178
AT ITER 5394 NEW BEST:: SOT 501509 SOS 237125 HAS SOPS 228964 HAS SOUS 102873 HAS SOUPS 101658 WITH SCORE 101895.125
AT ITER 5433 NEW BEST:: SOT 501503 SOS 237119 HAS SOPS 228958 HAS SOUS 102867 HAS SOUPS 101652 WITH SCORE 101889.119
AT ITER 5478 NEW BEST:: SOT 501503 SOS 237175 HAS SOPS 229014 HAS SOUS 102859 HAS SOUPS 101644 WITH SCORE 101881.175
AT ITER 5507 NEW BEST:: SOT 501476 SOS 237174 HAS SOPS 229013 HAS SOUS 102807 HAS SOUPS 101592 WITH SCORE 101829.174
AT ITER 5518 NEW BEST:: SOT 501443 SOS 237141 HAS SOPS 228980 HAS SOUS 102741 HAS SOUPS 101526 WITH SCORE 101763.141
AT ITER 5523 NEW BEST:: SOT 501416 SOS 237072 HAS SOPS 228911 HAS SOUS 102525 HAS SOUPS 101310 WITH SCORE 101547.072
AT ITER 5550 NEW BEST:: SOT 501447 SOS 237103 HAS SOPS 228942 HAS SOUS 102473 HAS SOUPS 101258 WITH SCORE 101495.103
AT ITER 5570 NEW BEST:: SOT 501352 SOS 237008 HAS SOPS 228847 HAS SOUS 102283 HAS SOUPS 101068 WITH SCORE 101305.008
AT ITER 5574 NEW BEST:: SOT 501340 SOS 236996 HAS SOPS 228835 HAS SOUS 102259 HAS SOUPS 101044 WITH SCORE 101280.996
AT ITER 5578 NEW BEST:: SOT 501302 SOS 236954 HAS SOPS 228738 HAS SOUS 102212 HAS SOUPS 100997 WITH SCORE 101233.954
AT ITER 5584 NEW BEST:: SOT 501230 SOS 236882 HAS SOPS 228666 HAS SOUS 102140 HAS SOUPS 100925 WITH SCORE 101161.882
AT ITER 5589 NEW BEST:: SOT 501223 SOS 236868 HAS SOPS 228652 HAS SOUS 102139 HAS SOUPS 100924 WITH SCORE 101160.868
AT ITER 5611 NEW BEST:: SOT 501203 SOS 236822 HAS SOPS 228606 HAS SOUS 102099 HAS SOUPS 100884 WITH SCORE 101120.822
AT ITER 5614 NEW BEST:: SOT 501198 SOS 236822 HAS SOPS 228606 HAS SOUS 102089 HAS SOUPS 100874 WITH SCORE 101110.822
AT ITER 5629 NEW BEST:: SOT 501202 SOS 237111 HAS SOPS 228895 HAS SOUS 102059 HAS SOUPS 100844 WITH SCORE 101081.111
AT ITER 5630 NEW BEST:: SOT 501074 SOS 236919 HAS SOPS 228703 HAS SOUS 101867 HAS SOUPS 100652 WITH SCORE 100888.919
AT ITER 5660 NEW BEST:: SOT 501042 SOS 236871 HAS SOPS 228655 HAS SOUS 101798 HAS SOUPS 100583 WITH SCORE 100819.871
AT ITER 5678 NEW BEST:: SOT 501039 SOS 236865 HAS SOPS 228649 HAS SOUS 101792 HAS SOUPS 100577 WITH SCORE 100813.865
AT ITER 5698 NEW BEST:: SOT 501028 SOS 236854 HAS SOPS 228638 HAS SOUS 101770 HAS SOUPS 100555 WITH SCORE 100791.854
AT ITER 5707 NEW BEST:: SOT 501028 SOS 237034 HAS SOPS 228818 HAS SOUS 101768 HAS SOUPS 100553 WITH SCORE 100790.034
AT ITER 5720 NEW BEST:: SOT 500948 SOS 236954 HAS SOPS 228693 HAS SOUS 101591 HAS SOUPS 100376 WITH SCORE 100612.954
AT ITER 5761 NEW BEST:: SOT 500936 SOS 236939 HAS SOPS 228678 HAS SOUS 101576 HAS SOUPS 100361 WITH SCORE 100597.939
AT ITER 5796 NEW BEST:: SOT 500810 SOS 236817 HAS SOPS 228556 HAS SOUS 101450 HAS SOUPS 100235 WITH SCORE 100471.817
AT ITER 5867 NEW BEST:: SOT 500831 SOS 236816 HAS SOPS 228555 HAS SOUS 101340 HAS SOUPS 100125 WITH SCORE 100361.816
AT ITER 5880 NEW BEST:: SOT 500831 SOS 236830 HAS SOPS 228569 HAS SOUS 101318 HAS SOUPS 100103 WITH SCORE 100339.83
AT ITER 5887 NEW BEST:: SOT 500812 SOS 236805 HAS SOPS 228544 HAS SOUS 101293 HAS SOUPS 100078 WITH SCORE 100314.805
AT ITER 5902 NEW BEST:: SOT 500759 SOS 236775 HAS SOPS 228514 HAS SOUS 101246 HAS SOUPS 100031 WITH SCORE 100267.775
AT ITER 5943 NEW BEST:: SOT 500753 SOS 236763 HAS SOPS 228502 HAS SOUS 101234 HAS SOUPS 100019 WITH SCORE 100255.763
AT ITER 5959 NEW BEST:: SOT 500753 SOS 236761 HAS SOPS 228500 HAS SOUS 101234 HAS SOUPS 100019 WITH SCORE 100255.761
AT ITER 5971 NEW BEST:: SOT 500647 SOS 236655 HAS SOPS 228394 HAS SOUS 101103 HAS SOUPS 99888 WITH SCORE 100124.655
AT ITER 5980 NEW BEST:: SOT 500643 SOS 236647 HAS SOPS 228386 HAS SOUS 101095 HAS SOUPS 99880 WITH SCORE 100116.647
AT ITER 6038 NEW BEST:: SOT 500599 SOS 236603 HAS SOPS 228342 HAS SOUS 101042 HAS SOUPS 99827 WITH SCORE 100063.603
AT ITER 6116 NEW BEST:: SOT 500594 SOS 237126 HAS SOPS 228865 HAS SOUS 101037 HAS SOUPS 99822 WITH SCORE 100059.126
AT ITER 6140 NEW BEST:: SOT 500228 SOS 236446 HAS SOPS 228185 HAS SOUS 100488 HAS SOUPS 99273 WITH SCORE 99509.446
AT ITER 6152 NEW BEST:: SOT 500130 SOS 235602 HAS SOPS 227341 HAS SOUS 100312 HAS SOUPS 99097 WITH SCORE 99332.602
AT ITER 6219 NEW BEST:: SOT 500020 SOS 235430 HAS SOPS 227169 HAS SOUS 100162 HAS SOUPS 98947 WITH SCORE 99182.43
AT ITER 6223 NEW BEST:: SOT 500012 SOS 235422 HAS SOPS 227161 HAS SOUS 100146 HAS SOUPS 98931 WITH SCORE 99166.422
AT ITER 6227 NEW BEST:: SOT 500018 SOS 235422 HAS SOPS 227161 HAS SOUS 100141 HAS SOUPS 98926 WITH SCORE 99161.422
AT ITER 6285 NEW BEST:: SOT 500176 SOS 235580 HAS SOPS 227319 HAS SOUS 100092 HAS SOUPS 98877 WITH SCORE 99112.58
AT ITER 6287 NEW BEST:: SOT 500093 SOS 235497 HAS SOPS 227236 HAS SOUS 99934 HAS SOUPS 98719 WITH SCORE 98954.497
AT ITER 6296 NEW BEST:: SOT 500093 SOS 235497 HAS SOPS 227236 HAS SOUS 99895 HAS SOUPS 98680 WITH SCORE 98915.497
AT ITER 6314 NEW BEST:: SOT 500225 SOS 235608 HAS SOPS 227347 HAS SOUS 99781 HAS SOUPS 98566 WITH SCORE 98801.608
AT ITER 6330 NEW BEST:: SOT 500215 SOS 235596 HAS SOPS 227335 HAS SOUS 99757 HAS SOUPS 98542 WITH SCORE 98777.596
AT ITER 6399 NEW BEST:: SOT 500203 SOS 235576 HAS SOPS 227315 HAS SOUS 99737 HAS SOUPS 98522 WITH SCORE 98757.576
AT ITER 6413 NEW BEST:: SOT 500236 SOS 235687 HAS SOPS 227426 HAS SOUS 99727 HAS SOUPS 98512 WITH SCORE 98747.687
AT ITER 6439 NEW BEST:: SOT 500217 SOS 235668 HAS SOPS 227407 HAS SOUS 99727 HAS SOUPS 98512 WITH SCORE 98747.668
AT ITER 6471 NEW BEST:: SOT 500202 SOS 235641 HAS SOPS 227380 HAS SOUS 99721 HAS SOUPS 98506 WITH SCORE 98741.641
AT ITER 6474 NEW BEST:: SOT 500197 SOS 235636 HAS SOPS 227370 HAS SOUS 99706 HAS SOUPS 98491 WITH SCORE 98726.636
AT ITER 6475 NEW BEST:: SOT 500185 SOS 235624 HAS SOPS 227358 HAS SOUS 99654 HAS SOUPS 98439 WITH SCORE 98674.624
AT ITER 6479 NEW BEST:: SOT 500158 SOS 235586 HAS SOPS 227320 HAS SOUS 99636 HAS SOUPS 98421 WITH SCORE 98656.586
AT ITER 6499 NEW BEST:: SOT 500142 SOS 235574 HAS SOPS 227328 HAS SOUS 99620 HAS SOUPS 98405 WITH SCORE 98640.574
AT ITER 6513 NEW BEST:: SOT 499623 SOS 235055 HAS SOPS 226809 HAS SOUS 99494 HAS SOUPS 98279 WITH SCORE 98514.055
AT ITER 6536 NEW BEST:: SOT 499624 SOS 235056 HAS SOPS 226810 HAS SOUS 99361 HAS SOUPS 98146 WITH SCORE 98381.056
AT ITER 6718 NEW BEST:: SOT 499601 SOS 235010 HAS SOPS 226764 HAS SOUS 99310 HAS SOUPS 98095 WITH SCORE 98330.01
AT ITER 6740 NEW BEST:: SOT 499546 SOS 234908 HAS SOPS 226662 HAS SOUS 99232 HAS SOUPS 98017 WITH SCORE 98251.908
AT ITER 6780 NEW BEST:: SOT 499630 SOS 235082 HAS SOPS 226782 HAS SOUS 99230 HAS SOUPS 98015 WITH SCORE 98250.082
AT ITER 6794 NEW BEST:: SOT 499591 SOS 235061 HAS SOPS 226761 HAS SOUS 99209 HAS SOUPS 97994 WITH SCORE 98229.061
AT ITER 6820 NEW BEST:: SOT 499506 SOS 234907 HAS SOPS 226607 HAS SOUS 98986 HAS SOUPS 97771 WITH SCORE 98005.907
AT ITER 6821 NEW BEST:: SOT 499504 SOS 234905 HAS SOPS 226605 HAS SOUS 98982 HAS SOUPS 97767 WITH SCORE 98001.905
AT ITER 6836 NEW BEST:: SOT 499504 SOS 234905 HAS SOPS 226582 HAS SOUS 98959 HAS SOUPS 97744 WITH SCORE 97978.905
AT ITER 6877 NEW BEST:: SOT 499466 SOS 234867 HAS SOPS 226544 HAS SOUS 98930 HAS SOUPS 97715 WITH SCORE 97949.867
AT ITER 6884 NEW BEST:: SOT 499499 SOS 234957 HAS SOPS 226627 HAS SOUS 98903 HAS SOUPS 97688 WITH SCORE 97922.957
AT ITER 6886 NEW BEST:: SOT 499602 SOS 235017 HAS SOPS 226687 HAS SOUS 98894 HAS SOUPS 97679 WITH SCORE 97914.017
AT ITER 6903 NEW BEST:: SOT 499616 SOS 234986 HAS SOPS 226656 HAS SOUS 98852 HAS SOUPS 97637 WITH SCORE 97871.986
AT ITER 6904 NEW BEST:: SOT 499609 SOS 234762 HAS SOPS 226432 HAS SOUS 98845 HAS SOUPS 97630 WITH SCORE 97864.762
AT ITER 6929 NEW BEST:: SOT 499562 SOS 231303 HAS SOPS 223397 HAS SOUS 98751 HAS SOUPS 97589 WITH SCORE 97820.303
AT ITER 6961 NEW BEST:: SOT 499649 SOS 231356 HAS SOPS 223450 HAS SOUS 98717 HAS SOUPS 97555 WITH SCORE 97786.356
AT ITER 6982 NEW BEST:: SOT 499647 SOS 231353 HAS SOPS 223447 HAS SOUS 98700 HAS SOUPS 97538 WITH SCORE 97769.353
AT ITER 7006 NEW BEST:: SOT 499636 SOS 231320 HAS SOPS 223414 HAS SOUS 98678 HAS SOUPS 97516 WITH SCORE 97747.32
AT ITER 7020 NEW BEST:: SOT 499675 SOS 231359 HAS SOPS 223453 HAS SOUS 98645 HAS SOUPS 97483 WITH SCORE 97714.359
AT ITER 7031 NEW BEST:: SOT 499666 SOS 231350 HAS SOPS 223444 HAS SOUS 98627 HAS SOUPS 97465 WITH SCORE 97696.35
AT ITER 7064 NEW BEST:: SOT 499566 SOS 231196 HAS SOPS 223290 HAS SOUS 98544 HAS SOUPS 97382 WITH SCORE 97613.196
AT ITER 7067 NEW BEST:: SOT 499564 SOS 231192 HAS SOPS 223286 HAS SOUS 98540 HAS SOUPS 97378 WITH SCORE 97609.192
AT ITER 7087 NEW BEST:: SOT 499543 SOS 231171 HAS SOPS 223265 HAS SOUS 98518 HAS SOUPS 97356 WITH SCORE 97587.171
AT ITER 7097 NEW BEST:: SOT 499623 SOS 231251 HAS SOPS 223345 HAS SOUS 97898 HAS SOUPS 96736 WITH SCORE 96967.251
AT ITER 7106 NEW BEST:: SOT 499614 SOS 231145 HAS SOPS 223206 HAS SOUS 97852 HAS SOUPS 96690 WITH SCORE 96921.145
AT ITER 7111 NEW BEST:: SOT 499931 SOS 231462 HAS SOPS 223523 HAS SOUS 97748 HAS SOUPS 96586 WITH SCORE 96817.462
AT ITER 7116 NEW BEST:: SOT 499798 SOS 231269 HAS SOPS 223330 HAS SOUS 97687 HAS SOUPS 96525 WITH SCORE 96756.269
AT ITER 7135 NEW BEST:: SOT 499785 SOS 231256 HAS SOPS 223317 HAS SOUS 97641 HAS SOUPS 96479 WITH SCORE 96710.256
AT ITER 7162 NEW BEST:: SOT 499696 SOS 231167 HAS SOPS 223228 HAS SOUS 97507 HAS SOUPS 96345 WITH SCORE 96576.167
AT ITER 7164 NEW BEST:: SOT 499951 SOS 231646 HAS SOPS 223707 HAS SOUS 97345 HAS SOUPS 96183 WITH SCORE 96414.646
AT ITER 7178 NEW BEST:: SOT 499901 SOS 231033 HAS SOPS 223470 HAS SOUS 97270 HAS SOUPS 96155 WITH SCORE 96386.033
AT ITER 7181 NEW BEST:: SOT 499788 SOS 230898 HAS SOPS 223335 HAS SOUS 97090 HAS SOUPS 95975 WITH SCORE 96205.898
AT ITER 7188 NEW BEST:: SOT 499788 SOS 230882 HAS SOPS 223319 HAS SOUS 97074 HAS SOUPS 95959 WITH SCORE 96189.882
AT ITER 7215 NEW BEST:: SOT 499731 SOS 230794 HAS SOPS 223231 HAS SOUS 96986 HAS SOUPS 95871 WITH SCORE 96101.794
AT ITER 7217 NEW BEST:: SOT 499727 SOS 230782 HAS SOPS 223219 HAS SOUS 96982 HAS SOUPS 95867 WITH SCORE 96097.782
AT ITER 7223 NEW BEST:: SOT 499724 SOS 230779 HAS SOPS 223216 HAS SOUS 96979 HAS SOUPS 95864 WITH SCORE 96094.779
AT ITER 7229 NEW BEST:: SOT 499693 SOS 230748 HAS SOPS 223185 HAS SOUS 96934 HAS SOUPS 95819 WITH SCORE 96049.748
AT ITER 7251 NEW BEST:: SOT 499575 SOS 230630 HAS SOPS 223067 HAS SOUS 96774 HAS SOUPS 95659 WITH SCORE 95889.63
AT ITER 7262 NEW BEST:: SOT 499537 SOS 230592 HAS SOPS 223029 HAS SOUS 96714 HAS SOUPS 95599 WITH SCORE 95829.592
AT ITER 7273 NEW BEST:: SOT 499378 SOS 230467 HAS SOPS 222904 HAS SOUS 96661 HAS SOUPS 95546 WITH SCORE 95776.467
AT ITER 7278 NEW BEST:: SOT 499367 SOS 230456 HAS SOPS 222882 HAS SOUS 96639 HAS SOUPS 95524 WITH SCORE 95754.456
AT ITER 7282 NEW BEST:: SOT 499400 SOS 230833 HAS SOPS 223259 HAS SOUS 96629 HAS SOUPS 95514 WITH SCORE 95744.833
AT ITER 7294 NEW BEST:: SOT 499401 SOS 230834 HAS SOPS 223260 HAS SOUS 96585 HAS SOUPS 95470 WITH SCORE 95700.834
AT ITER 7304 NEW BEST:: SOT 499392 SOS 230825 HAS SOPS 223251 HAS SOUS 96585 HAS SOUPS 95470 WITH SCORE 95700.825
AT ITER 7388 NEW BEST:: SOT 499375 SOS 230791 HAS SOPS 223217 HAS SOUS 96551 HAS SOUPS 95436 WITH SCORE 95666.791
AT ITER 7405 NEW BEST:: SOT 499367 SOS 230783 HAS SOPS 223213 HAS SOUS 96539 HAS SOUPS 95424 WITH SCORE 95654.783
AT ITER 7462 NEW BEST:: SOT 499359 SOS 230775 HAS SOPS 223205 HAS SOUS 96523 HAS SOUPS 95408 WITH SCORE 95638.775
AT ITER 7494 NEW BEST:: SOT 499385 SOS 230801 HAS SOPS 223231 HAS SOUS 96482 HAS SOUPS 95367 WITH SCORE 95597.801
AT ITER 7498 NEW BEST:: SOT 499385 SOS 230163 HAS SOPS 222593 HAS SOUS 96482 HAS SOUPS 95367 WITH SCORE 95597.163
AT ITER 7523 NEW BEST:: SOT 499370 SOS 230148 HAS SOPS 222578 HAS SOUS 96467 HAS SOUPS 95352 WITH SCORE 95582.148
AT ITER 7533 NEW BEST:: SOT 499314 SOS 230092 HAS SOPS 222522 HAS SOUS 96400 HAS SOUPS 95285 WITH SCORE 95515.092
AT ITER 7551 NEW BEST:: SOT 499304 SOS 230082 HAS SOPS 222512 HAS SOUS 96400 HAS SOUPS 95285 WITH SCORE 95515.082
AT ITER 7572 NEW BEST:: SOT 499394 SOS 230157 HAS SOPS 222587 HAS SOUS 96370 HAS SOUPS 95255 WITH SCORE 95485.157
AT ITER 7574 NEW BEST:: SOT 499354 SOS 230143 HAS SOPS 222573 HAS SOUS 96317 HAS SOUPS 95202 WITH SCORE 95432.143
AT ITER 7635 NEW BEST:: SOT 499178 SOS 229967 HAS SOPS 222397 HAS SOUS 96081 HAS SOUPS 94966 WITH SCORE 95195.967
AT ITER 7661 NEW BEST:: SOT 499160 SOS 229949 HAS SOPS 222379 HAS SOUS 96063 HAS SOUPS 94948 WITH SCORE 95177.949
AT ITER 7667 NEW BEST:: SOT 498915 SOS 229720 HAS SOPS 222150 HAS SOUS 95903 HAS SOUPS 94788 WITH SCORE 95017.72
AT ITER 7711 NEW BEST:: SOT 498912 SOS 229653 HAS SOPS 222083 HAS SOUS 95787 HAS SOUPS 94672 WITH SCORE 94901.653
AT ITER 7732 NEW BEST:: SOT 498916 SOS 229657 HAS SOPS 222087 HAS SOUS 95761 HAS SOUPS 94646 WITH SCORE 94875.657
AT ITER 7764 NEW BEST:: SOT 498962 SOS 229696 HAS SOPS 222126 HAS SOUS 95720 HAS SOUPS 94605 WITH SCORE 94834.696
AT ITER 7786 NEW BEST:: SOT 498828 SOS 229372 HAS SOPS 221802 HAS SOUS 95720 HAS SOUPS 94605 WITH SCORE 94834.372
AT ITER 7787 NEW BEST:: SOT 498803 SOS 229347 HAS SOPS 221777 HAS SOUS 95691 HAS SOUPS 94576 WITH SCORE 94805.347
AT ITER 7796 NEW BEST:: SOT 498818 SOS 229377 HAS SOPS 221776 HAS SOUS 95690 HAS SOUPS 94575 WITH SCORE 94804.377
AT ITER 7800 NEW BEST:: SOT 498762 SOS 229321 HAS SOPS 221720 HAS SOUS 95608 HAS SOUPS 94493 WITH SCORE 94722.321
AT ITER 7801 NEW BEST:: SOT 498759 SOS 229318 HAS SOPS 221717 HAS SOUS 95547 HAS SOUPS 94432 WITH SCORE 94661.318
AT ITER 7807 NEW BEST:: SOT 499023 SOS 229823 HAS SOPS 222222 HAS SOUS 95425 HAS SOUPS 94310 WITH SCORE 94539.823
AT ITER 7826 NEW BEST:: SOT 499023 SOS 229821 HAS SOPS 222220 HAS SOUS 95421 HAS SOUPS 94306 WITH SCORE 94535.821
AT ITER 7903 NEW BEST:: SOT 498998 SOS 229796 HAS SOPS 222195 HAS SOUS 95396 HAS SOUPS 94281 WITH SCORE 94510.796
AT ITER 7927 NEW BEST:: SOT 498996 SOS 229792 HAS SOPS 222191 HAS SOUS 95392 HAS SOUPS 94277 WITH SCORE 94506.792
AT ITER 7950 NEW BEST:: SOT 498956 SOS 229752 HAS SOPS 222151 HAS SOUS 95312 HAS SOUPS 94197 WITH SCORE 94426.752
AT ITER 7969 NEW BEST:: SOT 498953 SOS 229756 HAS SOPS 222148 HAS SOUS 95309 HAS SOUPS 94194 WITH SCORE 94423.756
AT ITER 8009 NEW BEST:: SOT 498944 SOS 229747 HAS SOPS 222139 HAS SOUS 95291 HAS SOUPS 94176 WITH SCORE 94405.747
AT ITER 8038 NEW BEST:: SOT 498921 SOS 229701 HAS SOPS 222093 HAS SOUS 95245 HAS SOUPS 94130 WITH SCORE 94359.701
AT ITER 8068 NEW BEST:: SOT 498909 SOS 229689 HAS SOPS 222081 HAS SOUS 95233 HAS SOUPS 94118 WITH SCORE 94347.689
AT ITER 8163 NEW BEST:: SOT 498498 SOS 229262 HAS SOPS 221654 HAS SOUS 95115 HAS SOUPS 94000 WITH SCORE 94229.262
AT ITER 8170 NEW BEST:: SOT 498470 SOS 229234 HAS SOPS 221626 HAS SOUS 95059 HAS SOUPS 93944 WITH SCORE 94173.234
AT ITER 8171 NEW BEST:: SOT 498536 SOS 229184 HAS SOPS 221576 HAS SOUS 95013 HAS SOUPS 93898 WITH SCORE 94127.184
AT ITER 8204 NEW BEST:: SOT 498562 SOS 229210 HAS SOPS 221602 HAS SOUS 94940 HAS SOUPS 93825 WITH SCORE 94054.21
AT ITER 8211 NEW BEST:: SOT 498509 SOS 229102 HAS SOPS 221494 HAS SOUS 94832 HAS SOUPS 93717 WITH SCORE 93946.102
AT ITER 8251 NEW BEST:: SOT 498509 SOS 229089 HAS SOPS 221481 HAS SOUS 94819 HAS SOUPS 93704 WITH SCORE 93933.089
AT ITER 8255 NEW BEST:: SOT 498501 SOS 226599 HAS SOPS 218991 HAS SOUS 94678 HAS SOUPS 93563 WITH SCORE 93789.599
AT ITER 8259 NEW BEST:: SOT 498472 SOS 226524 HAS SOPS 218916 HAS SOUS 94672 HAS SOUPS 93557 WITH SCORE 93783.524
AT ITER 8290 NEW BEST:: SOT 498450 SOS 226496 HAS SOPS 218888 HAS SOUS 94640 HAS SOUPS 93525 WITH SCORE 93751.496
AT ITER 8293 NEW BEST:: SOT 498517 SOS 226425 HAS SOPS 218817 HAS SOUS 94533 HAS SOUPS 93418 WITH SCORE 93644.425
AT ITER 8295 NEW BEST:: SOT 498517 SOS 226425 HAS SOPS 218817 HAS SOUS 94523 HAS SOUPS 93408 WITH SCORE 93634.425
AT ITER 8305 NEW BEST:: SOT 498529 SOS 226422 HAS SOPS 218814 HAS SOUS 94520 HAS SOUPS 93405 WITH SCORE 93631.422
AT ITER 8311 NEW BEST:: SOT 498588 SOS 226426 HAS SOPS 218818 HAS SOUS 94481 HAS SOUPS 93366 WITH SCORE 93592.426
AT ITER 8324 NEW BEST:: SOT 498588 SOS 226426 HAS SOPS 218818 HAS SOUS 94466 HAS SOUPS 93351 WITH SCORE 93577.426
AT ITER 8326 NEW BEST:: SOT 498521 SOS 226359 HAS SOPS 218751 HAS SOUS 94444 HAS SOUPS 93329 WITH SCORE 93555.359
AT ITER 8336 NEW BEST:: SOT 498547 SOS 226299 HAS SOPS 218691 HAS SOUS 94416 HAS SOUPS 93301 WITH SCORE 93527.299
AT ITER 8358 NEW BEST:: SOT 498537 SOS 225929 HAS SOPS 218657 HAS SOUS 94396 HAS SOUPS 93293 WITH SCORE 93518.929
AT ITER 8414 NEW BEST:: SOT 498530 SOS 225922 HAS SOPS 218650 HAS SOUS 94382 HAS SOUPS 93279 WITH SCORE 93504.922
AT ITER 8437 NEW BEST:: SOT 498507 SOS 225899 HAS SOPS 218641 HAS SOUS 94364 HAS SOUPS 93261 WITH SCORE 93486.899
AT ITER 8447 NEW BEST:: SOT 498453 SOS 225881 HAS SOPS 218643 HAS SOUS 94357 HAS SOUPS 93254 WITH SCORE 93479.881
AT ITER 8448 NEW BEST:: SOT 498484 SOS 225856 HAS SOPS 218618 HAS SOUS 94347 HAS SOUPS 93244 WITH SCORE 93469.856
AT ITER 8477 NEW BEST:: SOT 499569 SOS 226941 HAS SOPS 219703 HAS SOUS 94193 HAS SOUPS 93090 WITH SCORE 93316.941
AT ITER 8485 NEW BEST:: SOT 499507 SOS 226879 HAS SOPS 219641 HAS SOUS 93992 HAS SOUPS 92889 WITH SCORE 93115.879
AT ITER 8512 NEW BEST:: SOT 499133 SOS 226387 HAS SOPS 219149 HAS SOUS 93381 HAS SOUPS 92278 WITH SCORE 92504.387
AT ITER 8531 NEW BEST:: SOT 499107 SOS 226397 HAS SOPS 219159 HAS SOUS 93373 HAS SOUPS 92270 WITH SCORE 92496.397
AT ITER 8541 NEW BEST:: SOT 499090 SOS 226380 HAS SOPS 219142 HAS SOUS 93328 HAS SOUPS 92225 WITH SCORE 92451.38
AT ITER 8547 NEW BEST:: SOT 499093 SOS 226583 HAS SOPS 219345 HAS SOUS 93306 HAS SOUPS 92203 WITH SCORE 92429.583
AT ITER 8553 NEW BEST:: SOT 499117 SOS 226607 HAS SOPS 219369 HAS SOUS 93298 HAS SOUPS 92195 WITH SCORE 92421.607
AT ITER 8570 NEW BEST:: SOT 498980 SOS 227218 HAS SOPS 219919 HAS SOUS 93249 HAS SOUPS 92146 WITH SCORE 92373.218
AT ITER 8600 NEW BEST:: SOT 498978 SOS 227214 HAS SOPS 219915 HAS SOUS 93245 HAS SOUPS 92142 WITH SCORE 92369.214
AT ITER 8616 NEW BEST:: SOT 498961 SOS 227197 HAS SOPS 219898 HAS SOUS 93228 HAS SOUPS 92125 WITH SCORE 92352.197
AT ITER 8638 NEW BEST:: SOT 498916 SOS 227152 HAS SOPS 219853 HAS SOUS 93138 HAS SOUPS 92035 WITH SCORE 92262.152
AT ITER 8669 NEW BEST:: SOT 498759 SOS 226995 HAS SOPS 219696 HAS SOUS 92896 HAS SOUPS 91793 WITH SCORE 92019.995
AT ITER 8687 NEW BEST:: SOT 498754 SOS 226995 HAS SOPS 219696 HAS SOUS 92886 HAS SOUPS 91783 WITH SCORE 92009.995
AT ITER 8697 NEW BEST:: SOT 498749 SOS 226990 HAS SOPS 219691 HAS SOUS 92876 HAS SOUPS 91773 WITH SCORE 91999.99
AT ITER 8808 NEW BEST:: SOT 498737 SOS 226992 HAS SOPS 219693 HAS SOUS 92852 HAS SOUPS 91749 WITH SCORE 91975.992
AT ITER 8845 NEW BEST:: SOT 498544 SOS 226440 HAS SOPS 219141 HAS SOUS 92636 HAS SOUPS 91533 WITH SCORE 91759.44
AT ITER 8943 NEW BEST:: SOT 498422 SOS 226318 HAS SOPS 219019 HAS SOUS 92417 HAS SOUPS 91314 WITH SCORE 91540.318
AT ITER 8955 NEW BEST:: SOT 498392 SOS 226167 HAS SOPS 218868 HAS SOUS 92370 HAS SOUPS 91267 WITH SCORE 91493.167
AT ITER 8965 NEW BEST:: SOT 498392 SOS 225751 HAS SOPS 218452 HAS SOUS 92370 HAS SOUPS 91267 WITH SCORE 91492.751
AT ITER 8985 NEW BEST:: SOT 498256 SOS 225649 HAS SOPS 218350 HAS SOUS 92268 HAS SOUPS 91165 WITH SCORE 91390.649
AT ITER 9001 NEW BEST:: SOT 498253 SOS 225646 HAS SOPS 218347 HAS SOUS 92262 HAS SOUPS 91159 WITH SCORE 91384.646
AT ITER 9068 NEW BEST:: SOT 498269 SOS 226685 HAS SOPS 219386 HAS SOUS 92230 HAS SOUPS 91127 WITH SCORE 91353.685
AT ITER 9072 NEW BEST:: SOT 498270 SOS 226700 HAS SOPS 219401 HAS SOUS 92218 HAS SOUPS 91115 WITH SCORE 91341.7
AT ITER 9165 NEW BEST:: SOT 498270 SOS 228872 HAS SOPS 221573 HAS SOUS 92181 HAS SOUPS 91078 WITH SCORE 91306.872
AT ITER 9168 NEW BEST:: SOT 498026 SOS 228550 HAS SOPS 221251 HAS SOUS 91769 HAS SOUPS 90666 WITH SCORE 90894.55
AT ITER 9204 NEW BEST:: SOT 498026 SOS 228483 HAS SOPS 221136 HAS SOUS 91698 HAS SOUPS 90595 WITH SCORE 90823.483
AT ITER 9205 NEW BEST:: SOT 498014 SOS 228186 HAS SOPS 220839 HAS SOUS 91687 HAS SOUPS 90584 WITH SCORE 90812.186
AT ITER 9236 NEW BEST:: SOT 497983 SOS 228155 HAS SOPS 220808 HAS SOUS 91651 HAS SOUPS 90548 WITH SCORE 90776.155
AT ITER 9238 NEW BEST:: SOT 497963 SOS 228115 HAS SOPS 220768 HAS SOUS 91611 HAS SOUPS 90508 WITH SCORE 90736.115
AT ITER 9239 NEW BEST:: SOT 497791 SOS 227943 HAS SOPS 220596 HAS SOUS 91397 HAS SOUPS 90294 WITH SCORE 90521.943
AT ITER 9291 NEW BEST:: SOT 497791 SOS 227943 HAS SOPS 220596 HAS SOUS 91383 HAS SOUPS 90280 WITH SCORE 90507.943
AT ITER 9403 NEW BEST:: SOT 497783 SOS 227999 HAS SOPS 220652 HAS SOUS 91375 HAS SOUPS 90272 WITH SCORE 90499.999
AT ITER 9482 NEW BEST:: SOT 497711 SOS 227889 HAS SOPS 220584 HAS SOUS 91298 HAS SOUPS 90195 WITH SCORE 90422.889
AT ITER 9489 NEW BEST:: SOT 497694 SOS 227872 HAS SOPS 220567 HAS SOUS 91281 HAS SOUPS 90178 WITH SCORE 90405.872
AT ITER 9494 NEW BEST:: SOT 497687 SOS 227865 HAS SOPS 220560 HAS SOUS 91267 HAS SOUPS 90164 WITH SCORE 90391.865
AT ITER 9503 NEW BEST:: SOT 497678 SOS 227856 HAS SOPS 220522 HAS SOUS 91191 HAS SOUPS 90088 WITH SCORE 90315.856
AT ITER 9555 NEW BEST:: SOT 497660 SOS 227838 HAS SOPS 220504 HAS SOUS 91179 HAS SOUPS 90076 WITH SCORE 90303.838
AT ITER 9593 NEW BEST:: SOT 497643 SOS 227713 HAS SOPS 220384 HAS SOUS 91144 HAS SOUPS 90046 WITH SCORE 90273.713
AT ITER 9653 NEW BEST:: SOT 497523 SOS 227696 HAS SOPS 220366 HAS SOUS 91096 HAS SOUPS 89998 WITH SCORE 90225.696
AT ITER 9664 NEW BEST:: SOT 497520 SOS 227693 HAS SOPS 220363 HAS SOUS 91093 HAS SOUPS 89995 WITH SCORE 90222.693
AT ITER 9668 NEW BEST:: SOT 497429 SOS 227595 HAS SOPS 220265 HAS SOUS 91013 HAS SOUPS 89915 WITH SCORE 90142.595
AT ITER 9678 NEW BEST:: SOT 497426 SOS 227589 HAS SOPS 220259 HAS SOUS 90959 HAS SOUPS 89861 WITH SCORE 90088.589
AT ITER 9699 NEW BEST:: SOT 497426 SOS 227554 HAS SOPS 220224 HAS SOUS 90895 HAS SOUPS 89797 WITH SCORE 90024.554
AT ITER 9722 NEW BEST:: SOT 497469 SOS 227264 HAS SOPS 219946 HAS SOUS 90875 HAS SOUPS 89777 WITH SCORE 90004.264
AT ITER 9736 NEW BEST:: SOT 497467 SOS 227221 HAS SOPS 219903 HAS SOUS 90866 HAS SOUPS 89768 WITH SCORE 89995.221
AT ITER 9748 NEW BEST:: SOT 497444 SOS 227175 HAS SOPS 219857 HAS SOUS 90820 HAS SOUPS 89722 WITH SCORE 89949.175
AT ITER 9757 NEW BEST:: SOT 497383 SOS 227114 HAS SOPS 219796 HAS SOUS 90612 HAS SOUPS 89514 WITH SCORE 89741.114
AT ITER 9785 NEW BEST:: SOT 497201 SOS 226932 HAS SOPS 219614 HAS SOUS 90508 HAS SOUPS 89410 WITH SCORE 89636.932
AT ITER 9787 NEW BEST:: SOT 497261 SOS 226992 HAS SOPS 219674 HAS SOUS 90451 HAS SOUPS 89353 WITH SCORE 89579.992
AT ITER 9856 NEW BEST:: SOT 497233 SOS 226965 HAS SOPS 219647 HAS SOUS 90439 HAS SOUPS 89341 WITH SCORE 89567.965
AT ITER 9897 NEW BEST:: SOT 497090 SOS 226494 HAS SOPS 219176 HAS SOUS 90255 HAS SOUPS 89157 WITH SCORE 89383.494
AT ITER 9904 NEW BEST:: SOT 497117 SOS 226486 HAS SOPS 219168 HAS SOUS 90222 HAS SOUPS 89124 WITH SCORE 89350.486
AT ITER 9941 NEW BEST:: SOT 497115 SOS 226484 HAS SOPS 219166 HAS SOUS 90218 HAS SOUPS 89120 WITH SCORE 89346.484
AT ITER 9953 NEW BEST:: SOT 497082 SOS 226451 HAS SOPS 219133 HAS SOUS 90182 HAS SOUPS 89084 WITH SCORE 89310.451
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10124444 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150500 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="PolyORBLF-PT-S02J06T08"
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 PolyORBLF-PT-S02J06T08, 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 r291-tall-167873943000528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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