Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354700424.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S02J04T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354700424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 8.1K Apr 12 05:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 12 05:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 11 04:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Apr 11 04:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.7K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Apr 10 12:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 10 12:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 9 17:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Apr 9 17:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.1K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 24 05:37 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 1589642542189

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 614 places, 1242 transitions, 5732 arcs.
AT ITER 0 NEW BEST:: SOT 464001 SOS 247297 HAS SOPS 242467 HAS SOUS 145397 HAS SOUPS 144960 WITH SCORE 145207.297
AT ITER 3 NEW BEST:: SOT 464001 SOS 247297 HAS SOPS 242467 HAS SOUS 145391 HAS SOUPS 144954 WITH SCORE 145201.297
AT ITER 8 NEW BEST:: SOT 463709 SOS 247052 HAS SOPS 242222 HAS SOUS 145138 HAS SOUPS 144701 WITH SCORE 144948.052
AT ITER 15 NEW BEST:: SOT 457353 SOS 249456 HAS SOPS 247766 HAS SOUS 139574 HAS SOUPS 139322 WITH SCORE 139571.456
AT ITER 17 NEW BEST:: SOT 457255 SOS 249331 HAS SOPS 247641 HAS SOUS 139458 HAS SOUPS 139206 WITH SCORE 139455.331
AT ITER 20 NEW BEST:: SOT 457224 SOS 249269 HAS SOPS 247579 HAS SOUS 139434 HAS SOUPS 139182 WITH SCORE 139431.269
AT ITER 35 NEW BEST:: SOT 456797 SOS 248960 HAS SOPS 247270 HAS SOUS 139250 HAS SOUPS 138998 WITH SCORE 139246.96
AT ITER 38 NEW BEST:: SOT 456774 SOS 248937 HAS SOPS 247247 HAS SOUS 139204 HAS SOUPS 138952 WITH SCORE 139200.937
AT ITER 42 NEW BEST:: SOT 456683 SOS 248812 HAS SOPS 247122 HAS SOUS 138916 HAS SOUPS 138664 WITH SCORE 138912.812
AT ITER 45 NEW BEST:: SOT 456683 SOS 248634 HAS SOPS 246944 HAS SOUS 138827 HAS SOUPS 138575 WITH SCORE 138823.634
AT ITER 63 NEW BEST:: SOT 456497 SOS 245095 HAS SOPS 243405 HAS SOUS 138678 HAS SOUPS 138426 WITH SCORE 138671.095
AT ITER 66 NEW BEST:: SOT 454738 SOS 243519 HAS SOPS 241829 HAS SOUS 137932 HAS SOUPS 137680 WITH SCORE 137923.519
AT ITER 69 NEW BEST:: SOT 454697 SOS 243421 HAS SOPS 241731 HAS SOUS 137834 HAS SOUPS 137582 WITH SCORE 137825.421
AT ITER 70 NEW BEST:: SOT 454657 SOS 243049 HAS SOPS 241359 HAS SOUS 137827 HAS SOUPS 137575 WITH SCORE 137818.049
AT ITER 72 NEW BEST:: SOT 454407 SOS 242869 HAS SOPS 241179 HAS SOUS 137587 HAS SOUPS 137335 WITH SCORE 137577.869
AT ITER 99 NEW BEST:: SOT 454486 SOS 242948 HAS SOPS 241258 HAS SOUS 137561 HAS SOUPS 137309 WITH SCORE 137551.948
AT ITER 108 NEW BEST:: SOT 454476 SOS 242928 HAS SOPS 241238 HAS SOUS 137541 HAS SOUPS 137289 WITH SCORE 137531.928
AT ITER 112 NEW BEST:: SOT 454436 SOS 242640 HAS SOPS 240950 HAS SOUS 137513 HAS SOUPS 137261 WITH SCORE 137503.64
AT ITER 114 NEW BEST:: SOT 453026 SOS 241214 HAS SOPS 239524 HAS SOUS 136886 HAS SOUPS 136634 WITH SCORE 136875.214
AT ITER 136 NEW BEST:: SOT 453026 SOS 241176 HAS SOPS 239486 HAS SOUS 136693 HAS SOUPS 136441 WITH SCORE 136682.176
AT ITER 140 NEW BEST:: SOT 452749 SOS 240668 HAS SOPS 238978 HAS SOUS 136244 HAS SOUPS 135992 WITH SCORE 136232.668
AT ITER 154 NEW BEST:: SOT 452729 SOS 240648 HAS SOPS 238958 HAS SOUS 136227 HAS SOUPS 135975 WITH SCORE 136215.648
AT ITER 167 NEW BEST:: SOT 452411 SOS 240388 HAS SOPS 238698 HAS SOUS 135918 HAS SOUPS 135666 WITH SCORE 135906.388
AT ITER 186 NEW BEST:: SOT 452847 SOS 241225 HAS SOPS 239535 HAS SOUS 135608 HAS SOUPS 135356 WITH SCORE 135597.225
AT ITER 198 NEW BEST:: SOT 449914 SOS 238351 HAS SOPS 236661 HAS SOUS 134460 HAS SOUPS 134208 WITH SCORE 134446.351
AT ITER 201 NEW BEST:: SOT 449750 SOS 237865 HAS SOPS 236175 HAS SOUS 134025 HAS SOUPS 133773 WITH SCORE 134010.865
AT ITER 213 NEW BEST:: SOT 449645 SOS 237724 HAS SOPS 236034 HAS SOUS 133703 HAS SOUPS 133451 WITH SCORE 133688.724
AT ITER 214 NEW BEST:: SOT 449517 SOS 230794 HAS SOPS 226388 HAS SOUS 133375 HAS SOUPS 132979 WITH SCORE 133209.794
AT ITER 216 NEW BEST:: SOT 449543 SOS 230820 HAS SOPS 226414 HAS SOUS 133269 HAS SOUPS 132873 WITH SCORE 133103.82
AT ITER 234 NEW BEST:: SOT 449663 SOS 231262 HAS SOPS 226856 HAS SOUS 132456 HAS SOUPS 132060 WITH SCORE 132291.262
AT ITER 240 NEW BEST:: SOT 449654 SOS 231244 HAS SOPS 226838 HAS SOUS 132438 HAS SOUPS 132042 WITH SCORE 132273.244
AT ITER 245 NEW BEST:: SOT 442892 SOS 225872 HAS SOPS 221466 HAS SOUS 129850 HAS SOUPS 129454 WITH SCORE 129679.872
AT ITER 249 NEW BEST:: SOT 442776 SOS 225756 HAS SOPS 221350 HAS SOUS 129734 HAS SOUPS 129338 WITH SCORE 129563.756
AT ITER 260 NEW BEST:: SOT 442758 SOS 225730 HAS SOPS 221324 HAS SOUS 129698 HAS SOUPS 129302 WITH SCORE 129527.73
AT ITER 263 NEW BEST:: SOT 442654 SOS 225673 HAS SOPS 221267 HAS SOUS 129646 HAS SOUPS 129250 WITH SCORE 129475.673
AT ITER 266 NEW BEST:: SOT 442654 SOS 225667 HAS SOPS 221261 HAS SOUS 129646 HAS SOUPS 129250 WITH SCORE 129475.667
AT ITER 267 NEW BEST:: SOT 438422 SOS 228824 HAS SOPS 222870 HAS SOUS 125930 HAS SOUPS 125237 WITH SCORE 125465.824
AT ITER 268 NEW BEST:: SOT 438407 SOS 228809 HAS SOPS 222855 HAS SOUS 125915 HAS SOUPS 125222 WITH SCORE 125450.809
AT ITER 277 NEW BEST:: SOT 438303 SOS 228731 HAS SOPS 222777 HAS SOUS 125837 HAS SOUPS 125144 WITH SCORE 125372.731
AT ITER 280 NEW BEST:: SOT 438296 SOS 228724 HAS SOPS 222770 HAS SOUS 125830 HAS SOUPS 125137 WITH SCORE 125365.724
AT ITER 287 NEW BEST:: SOT 438265 SOS 228662 HAS SOPS 222708 HAS SOUS 125719 HAS SOUPS 125026 WITH SCORE 125254.662
AT ITER 290 NEW BEST:: SOT 436276 SOS 226839 HAS SOPS 220885 HAS SOUS 125441 HAS SOUPS 124748 WITH SCORE 124974.839
AT ITER 294 NEW BEST:: SOT 436276 SOS 226440 HAS SOPS 220486 HAS SOUS 125441 HAS SOUPS 124748 WITH SCORE 124974.44
AT ITER 301 NEW BEST:: SOT 436068 SOS 226225 HAS SOPS 220271 HAS SOUS 125226 HAS SOUPS 124533 WITH SCORE 124759.225
AT ITER 304 NEW BEST:: SOT 435949 SOS 226106 HAS SOPS 220152 HAS SOUS 124623 HAS SOUPS 123930 WITH SCORE 124156.106
AT ITER 307 NEW BEST:: SOT 435828 SOS 225938 HAS SOPS 219984 HAS SOUS 124543 HAS SOUPS 123850 WITH SCORE 124075.938
AT ITER 310 NEW BEST:: SOT 435757 SOS 226105 HAS SOPS 220296 HAS SOUS 124430 HAS SOUPS 123737 WITH SCORE 123963.105
AT ITER 312 NEW BEST:: SOT 435734 SOS 226059 HAS SOPS 220250 HAS SOUS 124400 HAS SOUPS 123707 WITH SCORE 123933.059
AT ITER 319 NEW BEST:: SOT 435704 SOS 225999 HAS SOPS 220190 HAS SOUS 124395 HAS SOUPS 123702 WITH SCORE 123927.999
AT ITER 320 NEW BEST:: SOT 435695 SOS 225981 HAS SOPS 220172 HAS SOUS 124377 HAS SOUPS 123684 WITH SCORE 123909.981
AT ITER 321 NEW BEST:: SOT 435641 SOS 225927 HAS SOPS 220118 HAS SOUS 124336 HAS SOUPS 123643 WITH SCORE 123868.927
AT ITER 326 NEW BEST:: SOT 435290 SOS 225712 HAS SOPS 219903 HAS SOUS 124220 HAS SOUPS 123527 WITH SCORE 123752.712
AT ITER 333 NEW BEST:: SOT 435109 SOS 225350 HAS SOPS 219541 HAS SOUS 123858 HAS SOUPS 123165 WITH SCORE 123390.35
AT ITER 341 NEW BEST:: SOT 435089 SOS 225310 HAS SOPS 219501 HAS SOUS 123813 HAS SOUPS 123120 WITH SCORE 123345.31
AT ITER 343 NEW BEST:: SOT 434914 SOS 225190 HAS SOPS 219381 HAS SOUS 123715 HAS SOUPS 123022 WITH SCORE 123247.19
AT ITER 354 NEW BEST:: SOT 434877 SOS 225145 HAS SOPS 219336 HAS SOUS 123641 HAS SOUPS 122948 WITH SCORE 123173.145
AT ITER 358 NEW BEST:: SOT 434773 SOS 225074 HAS SOPS 219265 HAS SOUS 123586 HAS SOUPS 122893 WITH SCORE 123118.074
AT ITER 360 NEW BEST:: SOT 434687 SOS 224862 HAS SOPS 219053 HAS SOUS 123456 HAS SOUPS 122763 WITH SCORE 122987.862
AT ITER 364 NEW BEST:: SOT 434710 SOS 224885 HAS SOPS 219076 HAS SOUS 123432 HAS SOUPS 122739 WITH SCORE 122963.885
AT ITER 367 NEW BEST:: SOT 434663 SOS 224857 HAS SOPS 218882 HAS SOUS 123421 HAS SOUPS 122562 WITH SCORE 122786.857
AT ITER 373 NEW BEST:: SOT 434574 SOS 224736 HAS SOPS 218761 HAS SOUS 123318 HAS SOUPS 122459 WITH SCORE 122683.736
AT ITER 391 NEW BEST:: SOT 434296 SOS 224577 HAS SOPS 218602 HAS SOUS 122976 HAS SOUPS 122117 WITH SCORE 122341.577
AT ITER 402 NEW BEST:: SOT 434136 SOS 224310 HAS SOPS 218411 HAS SOUS 122925 HAS SOUPS 122066 WITH SCORE 122290.31
AT ITER 406 NEW BEST:: SOT 429223 SOS 219388 HAS SOPS 213489 HAS SOUS 121045 HAS SOUPS 120186 WITH SCORE 120405.388
AT ITER 410 NEW BEST:: SOT 429223 SOS 219416 HAS SOPS 213517 HAS SOUS 121039 HAS SOUPS 120180 WITH SCORE 120399.416
AT ITER 412 NEW BEST:: SOT 429088 SOS 219236 HAS SOPS 213337 HAS SOUS 120229 HAS SOUPS 119370 WITH SCORE 119589.236
AT ITER 435 NEW BEST:: SOT 428642 SOS 218898 HAS SOPS 212999 HAS SOUS 119894 HAS SOUPS 119035 WITH SCORE 119253.898
AT ITER 440 NEW BEST:: SOT 428624 SOS 218862 HAS SOPS 212963 HAS SOUS 119840 HAS SOUPS 118981 WITH SCORE 119199.862
AT ITER 467 NEW BEST:: SOT 428655 SOS 218817 HAS SOPS 212918 HAS SOUS 119795 HAS SOUPS 118936 WITH SCORE 119154.817
AT ITER 478 NEW BEST:: SOT 428527 SOS 218605 HAS SOPS 212706 HAS SOUS 119598 HAS SOUPS 118739 WITH SCORE 118957.605
AT ITER 484 NEW BEST:: SOT 427515 SOS 217544 HAS SOPS 211645 HAS SOUS 119469 HAS SOUPS 118610 WITH SCORE 118827.544
AT ITER 494 NEW BEST:: SOT 427285 SOS 217413 HAS SOPS 211514 HAS SOUS 119338 HAS SOUPS 118479 WITH SCORE 118696.413
AT ITER 497 NEW BEST:: SOT 427285 SOS 217413 HAS SOPS 211514 HAS SOUS 119310 HAS SOUPS 118451 WITH SCORE 118668.413
AT ITER 498 NEW BEST:: SOT 427283 SOS 217409 HAS SOPS 211510 HAS SOUS 119304 HAS SOUPS 118445 WITH SCORE 118662.409
AT ITER 508 NEW BEST:: SOT 427163 SOS 217289 HAS SOPS 211390 HAS SOUS 119184 HAS SOUPS 118325 WITH SCORE 118542.289
AT ITER 529 NEW BEST:: SOT 427082 SOS 217181 HAS SOPS 211282 HAS SOUS 119076 HAS SOUPS 118217 WITH SCORE 118434.181
AT ITER 531 NEW BEST:: SOT 427010 SOS 217080 HAS SOPS 211181 HAS SOUS 118946 HAS SOUPS 118087 WITH SCORE 118304.08
AT ITER 543 NEW BEST:: SOT 426860 SOS 216930 HAS SOPS 211031 HAS SOUS 118670 HAS SOUPS 117811 WITH SCORE 118027.93
AT ITER 550 NEW BEST:: SOT 426869 SOS 216958 HAS SOPS 211059 HAS SOUS 118623 HAS SOUPS 117764 WITH SCORE 117980.958
AT ITER 558 NEW BEST:: SOT 426869 SOS 216944 HAS SOPS 211045 HAS SOUS 118623 HAS SOUPS 117764 WITH SCORE 117980.944
AT ITER 561 NEW BEST:: SOT 426866 SOS 216938 HAS SOPS 211039 HAS SOUS 118557 HAS SOUPS 117698 WITH SCORE 117914.938
AT ITER 562 NEW BEST:: SOT 426947 SOS 217019 HAS SOPS 211120 HAS SOUS 118530 HAS SOUPS 117671 WITH SCORE 117888.019
AT ITER 579 NEW BEST:: SOT 426861 SOS 216510 HAS SOPS 210611 HAS SOUS 118483 HAS SOUPS 117624 WITH SCORE 117840.51
AT ITER 585 NEW BEST:: SOT 426847 SOS 216496 HAS SOPS 210597 HAS SOUS 118455 HAS SOUPS 117596 WITH SCORE 117812.496
AT ITER 591 NEW BEST:: SOT 427456 SOS 216999 HAS SOPS 211100 HAS SOUS 118403 HAS SOUPS 117544 WITH SCORE 117760.999
AT ITER 593 NEW BEST:: SOT 427428 SOS 216971 HAS SOPS 211072 HAS SOUS 118362 HAS SOUPS 117503 WITH SCORE 117719.971
AT ITER 599 NEW BEST:: SOT 427407 SOS 216950 HAS SOPS 211051 HAS SOUS 118004 HAS SOUPS 117145 WITH SCORE 117361.95
AT ITER 607 NEW BEST:: SOT 427384 SOS 216927 HAS SOPS 211028 HAS SOUS 117981 HAS SOUPS 117122 WITH SCORE 117338.927
AT ITER 613 NEW BEST:: SOT 427341 SOS 216826 HAS SOPS 211070 HAS SOUS 117965 HAS SOUPS 117106 WITH SCORE 117322.826
AT ITER 618 NEW BEST:: SOT 427183 SOS 216456 HAS SOPS 210700 HAS SOUS 117768 HAS SOUPS 116909 WITH SCORE 117125.456
AT ITER 620 NEW BEST:: SOT 427232 SOS 216460 HAS SOPS 210704 HAS SOUS 117747 HAS SOUPS 116888 WITH SCORE 117104.46
AT ITER 622 NEW BEST:: SOT 427218 SOS 216446 HAS SOPS 210704 HAS SOUS 117733 HAS SOUPS 116874 WITH SCORE 117090.446
AT ITER 624 NEW BEST:: SOT 426797 SOS 216165 HAS SOPS 210423 HAS SOUS 117400 HAS SOUPS 116541 WITH SCORE 116757.165
AT ITER 627 NEW BEST:: SOT 426518 SOS 215942 HAS SOPS 210200 HAS SOUS 117105 HAS SOUPS 116246 WITH SCORE 116461.942
AT ITER 631 NEW BEST:: SOT 425590 SOS 215046 HAS SOPS 209304 HAS SOUS 116721 HAS SOUPS 115862 WITH SCORE 116077.046
AT ITER 640 NEW BEST:: SOT 425597 SOS 215033 HAS SOPS 209291 HAS SOUS 116650 HAS SOUPS 115791 WITH SCORE 116006.033
AT ITER 643 NEW BEST:: SOT 425581 SOS 215017 HAS SOPS 209275 HAS SOUS 116634 HAS SOUPS 115775 WITH SCORE 115990.017
AT ITER 649 NEW BEST:: SOT 425163 SOS 214726 HAS SOPS 208984 HAS SOUS 116341 HAS SOUPS 115482 WITH SCORE 115696.726
AT ITER 666 NEW BEST:: SOT 425157 SOS 214718 HAS SOPS 208976 HAS SOUS 116333 HAS SOUPS 115474 WITH SCORE 115688.718
AT ITER 676 NEW BEST:: SOT 425184 SOS 214969 HAS SOPS 209227 HAS SOUS 115891 HAS SOUPS 115032 WITH SCORE 115246.969
AT ITER 677 NEW BEST:: SOT 423554 SOS 213786 HAS SOPS 208044 HAS SOUS 115595 HAS SOUPS 114736 WITH SCORE 114949.786
AT ITER 679 NEW BEST:: SOT 423478 SOS 213710 HAS SOPS 207968 HAS SOUS 115540 HAS SOUPS 114681 WITH SCORE 114894.71
AT ITER 681 NEW BEST:: SOT 423426 SOS 213658 HAS SOPS 207916 HAS SOUS 115450 HAS SOUPS 114591 WITH SCORE 114804.658
AT ITER 690 NEW BEST:: SOT 423425 SOS 213657 HAS SOPS 207915 HAS SOUS 115447 HAS SOUPS 114588 WITH SCORE 114801.657
AT ITER 692 NEW BEST:: SOT 423276 SOS 213579 HAS SOPS 207837 HAS SOUS 115368 HAS SOUPS 114509 WITH SCORE 114722.579
AT ITER 700 NEW BEST:: SOT 423237 SOS 213501 HAS SOPS 207759 HAS SOUS 115290 HAS SOUPS 114431 WITH SCORE 114644.501
AT ITER 730 NEW BEST:: SOT 422902 SOS 213099 HAS SOPS 207357 HAS SOUS 114888 HAS SOUPS 114029 WITH SCORE 114242.099
AT ITER 746 NEW BEST:: SOT 422536 SOS 212602 HAS SOPS 206860 HAS SOUS 114797 HAS SOUPS 113938 WITH SCORE 114150.602
AT ITER 747 NEW BEST:: SOT 422536 SOS 212602 HAS SOPS 206860 HAS SOUS 114795 HAS SOUPS 113936 WITH SCORE 114148.602
AT ITER 758 NEW BEST:: SOT 422536 SOS 212602 HAS SOPS 206860 HAS SOUS 114793 HAS SOUPS 113934 WITH SCORE 114146.602
AT ITER 760 NEW BEST:: SOT 422499 SOS 212624 HAS SOPS 206882 HAS SOUS 114533 HAS SOUPS 113674 WITH SCORE 113886.624
AT ITER 766 NEW BEST:: SOT 422499 SOS 212566 HAS SOPS 206824 HAS SOUS 114475 HAS SOUPS 113616 WITH SCORE 113828.566
AT ITER 769 NEW BEST:: SOT 422259 SOS 212034 HAS SOPS 206292 HAS SOUS 114161 HAS SOUPS 113302 WITH SCORE 113514.034
AT ITER 770 NEW BEST:: SOT 421947 SOS 211845 HAS SOPS 206103 HAS SOUS 113955 HAS SOUPS 113096 WITH SCORE 113307.845
AT ITER 777 NEW BEST:: SOT 421855 SOS 212237 HAS SOPS 206486 HAS SOUS 113822 HAS SOUPS 112963 WITH SCORE 113175.237
AT ITER 778 NEW BEST:: SOT 421795 SOS 212132 HAS SOPS 206381 HAS SOUS 113702 HAS SOUPS 112843 WITH SCORE 113055.132
AT ITER 782 NEW BEST:: SOT 421712 SOS 211953 HAS SOPS 206154 HAS SOUS 113536 HAS SOUPS 112677 WITH SCORE 112888.953
AT ITER 786 NEW BEST:: SOT 421708 SOS 212195 HAS SOPS 206396 HAS SOUS 113381 HAS SOUPS 112522 WITH SCORE 112734.195
AT ITER 787 NEW BEST:: SOT 421697 SOS 212178 HAS SOPS 206380 HAS SOUS 113361 HAS SOUPS 112503 WITH SCORE 112715.178
AT ITER 792 NEW BEST:: SOT 421655 SOS 212136 HAS SOPS 206347 HAS SOUS 113337 HAS SOUPS 112479 WITH SCORE 112691.136
AT ITER 798 NEW BEST:: SOT 420426 SOS 210940 HAS SOPS 205151 HAS SOUS 112491 HAS SOUPS 111633 WITH SCORE 111843.94
AT ITER 801 NEW BEST:: SOT 420407 SOS 210803 HAS SOPS 205014 HAS SOUS 112453 HAS SOUPS 111595 WITH SCORE 111805.803
AT ITER 840 NEW BEST:: SOT 419698 SOS 210034 HAS SOPS 204245 HAS SOUS 111720 HAS SOUPS 110862 WITH SCORE 111072.034
AT ITER 855 NEW BEST:: SOT 415616 SOS 206109 HAS SOPS 200320 HAS SOUS 110307 HAS SOUPS 109449 WITH SCORE 109655.109
AT ITER 857 NEW BEST:: SOT 415624 SOS 205999 HAS SOPS 200257 HAS SOUS 110244 HAS SOUPS 109386 WITH SCORE 109591.999
AT ITER 861 NEW BEST:: SOT 415595 SOS 205975 HAS SOPS 200366 HAS SOUS 110182 HAS SOUPS 109324 WITH SCORE 109529.975
AT ITER 868 NEW BEST:: SOT 415605 SOS 205976 HAS SOPS 200367 HAS SOUS 110156 HAS SOUPS 109298 WITH SCORE 109503.976
AT ITER 878 NEW BEST:: SOT 415436 SOS 205621 HAS SOPS 200000 HAS SOUS 109836 HAS SOUPS 108978 WITH SCORE 109183.621
AT ITER 893 NEW BEST:: SOT 415380 SOS 205565 HAS SOPS 199944 HAS SOUS 109732 HAS SOUPS 108874 WITH SCORE 109079.565
AT ITER 895 NEW BEST:: SOT 415685 SOS 205830 HAS SOPS 200209 HAS SOUS 109524 HAS SOUPS 108666 WITH SCORE 108871.83
AT ITER 916 NEW BEST:: SOT 415681 SOS 205826 HAS SOPS 200205 HAS SOUS 109516 HAS SOUPS 108658 WITH SCORE 108863.826
AT ITER 919 NEW BEST:: SOT 415311 SOS 205456 HAS SOPS 199835 HAS SOUS 109386 HAS SOUPS 108528 WITH SCORE 108733.456
AT ITER 923 NEW BEST:: SOT 415377 SOS 205655 HAS SOPS 200034 HAS SOUS 109306 HAS SOUPS 108448 WITH SCORE 108653.655
AT ITER 925 NEW BEST:: SOT 415279 SOS 205445 HAS SOPS 199824 HAS SOUS 109133 HAS SOUPS 108275 WITH SCORE 108480.445
AT ITER 926 NEW BEST:: SOT 415276 SOS 205442 HAS SOPS 199821 HAS SOUS 109130 HAS SOUPS 108272 WITH SCORE 108477.442
AT ITER 929 NEW BEST:: SOT 415347 SOS 205513 HAS SOPS 199892 HAS SOUS 109073 HAS SOUPS 108215 WITH SCORE 108420.513
AT ITER 931 NEW BEST:: SOT 415348 SOS 205514 HAS SOPS 199893 HAS SOUS 109066 HAS SOUPS 108208 WITH SCORE 108413.514
AT ITER 936 NEW BEST:: SOT 415341 SOS 205507 HAS SOPS 199886 HAS SOUS 109052 HAS SOUPS 108194 WITH SCORE 108399.507
AT ITER 938 NEW BEST:: SOT 415341 SOS 205507 HAS SOPS 199886 HAS SOUS 108956 HAS SOUPS 108098 WITH SCORE 108303.507
AT ITER 952 NEW BEST:: SOT 415262 SOS 205428 HAS SOPS 199807 HAS SOUS 108898 HAS SOUPS 108040 WITH SCORE 108245.428
AT ITER 954 NEW BEST:: SOT 415245 SOS 205411 HAS SOPS 199790 HAS SOUS 108864 HAS SOUPS 108006 WITH SCORE 108211.411
AT ITER 960 NEW BEST:: SOT 415178 SOS 205379 HAS SOPS 199758 HAS SOUS 108778 HAS SOUPS 107920 WITH SCORE 108125.379
AT ITER 970 NEW BEST:: SOT 415178 SOS 205376 HAS SOPS 199755 HAS SOUS 108775 HAS SOUPS 107917 WITH SCORE 108122.376
AT ITER 984 NEW BEST:: SOT 415128 SOS 205276 HAS SOPS 199655 HAS SOUS 108675 HAS SOUPS 107817 WITH SCORE 108022.276
AT ITER 990 NEW BEST:: SOT 415102 SOS 205250 HAS SOPS 199629 HAS SOUS 108623 HAS SOUPS 107765 WITH SCORE 107970.25
AT ITER 993 NEW BEST:: SOT 415077 SOS 205253 HAS SOPS 199632 HAS SOUS 108505 HAS SOUPS 107647 WITH SCORE 107852.253
AT ITER 1007 NEW BEST:: SOT 412004 SOS 202286 HAS SOPS 196665 HAS SOUS 107234 HAS SOUPS 106376 WITH SCORE 106578.286
AT ITER 1012 NEW BEST:: SOT 411831 SOS 202113 HAS SOPS 196492 HAS SOUS 106251 HAS SOUPS 105393 WITH SCORE 105595.113
AT ITER 1017 NEW BEST:: SOT 411918 SOS 202215 HAS SOPS 196594 HAS SOUS 105880 HAS SOUPS 105022 WITH SCORE 105224.215
AT ITER 1042 NEW BEST:: SOT 411628 SOS 202012 HAS SOPS 196391 HAS SOUS 105811 HAS SOUPS 104953 WITH SCORE 105155.012
AT ITER 1043 NEW BEST:: SOT 411612 SOS 201980 HAS SOPS 196359 HAS SOUS 105779 HAS SOUPS 104921 WITH SCORE 105122.98
AT ITER 1074 NEW BEST:: SOT 411392 SOS 200703 HAS SOPS 195082 HAS SOUS 105590 HAS SOUPS 104732 WITH SCORE 104932.703
AT ITER 1087 NEW BEST:: SOT 411402 SOS 200723 HAS SOPS 195102 HAS SOUS 105560 HAS SOUPS 104702 WITH SCORE 104902.723
AT ITER 1098 NEW BEST:: SOT 411369 SOS 200916 HAS SOPS 195272 HAS SOUS 105496 HAS SOUPS 104638 WITH SCORE 104838.916
AT ITER 1104 NEW BEST:: SOT 411331 SOS 200840 HAS SOPS 195196 HAS SOUS 105420 HAS SOUPS 104562 WITH SCORE 104762.84
AT ITER 1107 NEW BEST:: SOT 411328 SOS 200837 HAS SOPS 195193 HAS SOUS 105414 HAS SOUPS 104556 WITH SCORE 104756.837
AT ITER 1132 NEW BEST:: SOT 410980 SOS 200501 HAS SOPS 194857 HAS SOUS 105269 HAS SOUPS 104411 WITH SCORE 104611.501
AT ITER 1144 NEW BEST:: SOT 410804 SOS 200393 HAS SOPS 194749 HAS SOUS 105023 HAS SOUPS 104165 WITH SCORE 104365.393
AT ITER 1150 NEW BEST:: SOT 408918 SOS 198931 HAS SOPS 193287 HAS SOUS 104734 HAS SOUPS 103876 WITH SCORE 104074.931
AT ITER 1153 NEW BEST:: SOT 408925 SOS 199532 HAS SOPS 193781 HAS SOUS 104686 HAS SOUPS 103831 WITH SCORE 104030.532
AT ITER 1164 NEW BEST:: SOT 408911 SOS 199493 HAS SOPS 193742 HAS SOUS 104647 HAS SOUPS 103792 WITH SCORE 103991.493
AT ITER 1180 NEW BEST:: SOT 408797 SOS 199438 HAS SOPS 193687 HAS SOUS 104613 HAS SOUPS 103758 WITH SCORE 103957.438
AT ITER 1206 NEW BEST:: SOT 408734 SOS 199294 HAS SOPS 193543 HAS SOUS 104363 HAS SOUPS 103508 WITH SCORE 103707.294
AT ITER 1210 NEW BEST:: SOT 408715 SOS 199322 HAS SOPS 193571 HAS SOUS 104362 HAS SOUPS 103507 WITH SCORE 103706.322
AT ITER 1231 NEW BEST:: SOT 408695 SOS 199302 HAS SOPS 193551 HAS SOUS 104322 HAS SOUPS 103467 WITH SCORE 103666.302
AT ITER 1234 NEW BEST:: SOT 408643 SOS 199198 HAS SOPS 193421 HAS SOUS 104218 HAS SOUPS 103363 WITH SCORE 103562.198
AT ITER 1235 NEW BEST:: SOT 408643 SOS 198998 HAS SOPS 193253 HAS SOUS 104214 HAS SOUPS 103363 WITH SCORE 103561.998
AT ITER 1242 NEW BEST:: SOT 408635 SOS 198990 HAS SOPS 193245 HAS SOUS 104198 HAS SOUPS 103347 WITH SCORE 103545.99
AT ITER 1246 NEW BEST:: SOT 408606 SOS 198410 HAS SOPS 192665 HAS SOUS 104051 HAS SOUPS 103200 WITH SCORE 103398.41
AT ITER 1253 NEW BEST:: SOT 408274 SOS 198078 HAS SOPS 192333 HAS SOUS 103712 HAS SOUPS 102861 WITH SCORE 103059.078
AT ITER 1265 NEW BEST:: SOT 408314 SOS 198462 HAS SOPS 192717 HAS SOUS 103689 HAS SOUPS 102838 WITH SCORE 103036.462
AT ITER 1266 NEW BEST:: SOT 408227 SOS 198392 HAS SOPS 192647 HAS SOUS 103391 HAS SOUPS 102540 WITH SCORE 102738.392
AT ITER 1275 NEW BEST:: SOT 408126 SOS 198356 HAS SOPS 192756 HAS SOUS 103366 HAS SOUPS 102515 WITH SCORE 102713.356
AT ITER 1289 NEW BEST:: SOT 407981 SOS 198095 HAS SOPS 192495 HAS SOUS 103095 HAS SOUPS 102244 WITH SCORE 102442.095
AT ITER 1290 NEW BEST:: SOT 407783 SOS 198106 HAS SOPS 192506 HAS SOUS 102999 HAS SOUPS 102148 WITH SCORE 102346.106
AT ITER 1291 NEW BEST:: SOT 407743 SOS 198026 HAS SOPS 192426 HAS SOUS 102974 HAS SOUPS 102123 WITH SCORE 102321.026
AT ITER 1297 NEW BEST:: SOT 407627 SOS 197846 HAS SOPS 192246 HAS SOUS 102794 HAS SOUPS 101943 WITH SCORE 102140.846
AT ITER 1305 NEW BEST:: SOT 407742 SOS 198079 HAS SOPS 192479 HAS SOUS 102720 HAS SOUPS 101869 WITH SCORE 102067.079
AT ITER 1336 NEW BEST:: SOT 407648 SOS 198368 HAS SOPS 192789 HAS SOUS 102612 HAS SOUPS 101761 WITH SCORE 101959.368
AT ITER 1337 NEW BEST:: SOT 407679 SOS 198430 HAS SOPS 192851 HAS SOUS 102560 HAS SOUPS 101709 WITH SCORE 101907.43
AT ITER 1338 NEW BEST:: SOT 407703 SOS 198428 HAS SOPS 192849 HAS SOUS 102558 HAS SOUPS 101707 WITH SCORE 101905.428
AT ITER 1339 NEW BEST:: SOT 407687 SOS 198412 HAS SOPS 192833 HAS SOUS 102556 HAS SOUPS 101705 WITH SCORE 101903.412
AT ITER 1340 NEW BEST:: SOT 407650 SOS 198380 HAS SOPS 192950 HAS SOUS 102482 HAS SOUPS 101631 WITH SCORE 101829.38
AT ITER 1352 NEW BEST:: SOT 407548 SOS 198404 HAS SOPS 192747 HAS SOUS 102143 HAS SOUPS 101292 WITH SCORE 101490.404
AT ITER 1362 NEW BEST:: SOT 407548 SOS 198399 HAS SOPS 192742 HAS SOUS 102143 HAS SOUPS 101292 WITH SCORE 101490.399
AT ITER 1400 NEW BEST:: SOT 407438 SOS 198134 HAS SOPS 192470 HAS SOUS 101971 HAS SOUPS 101120 WITH SCORE 101318.134
AT ITER 1405 NEW BEST:: SOT 407408 SOS 198116 HAS SOPS 192452 HAS SOUS 101926 HAS SOUPS 101075 WITH SCORE 101273.116
AT ITER 1409 NEW BEST:: SOT 407408 SOS 197476 HAS SOPS 191812 HAS SOUS 101924 HAS SOUPS 101073 WITH SCORE 101270.476
AT ITER 1426 NEW BEST:: SOT 407409 SOS 197462 HAS SOPS 191798 HAS SOUS 101905 HAS SOUPS 101054 WITH SCORE 101251.462
AT ITER 1427 NEW BEST:: SOT 407409 SOS 197442 HAS SOPS 191778 HAS SOUS 101905 HAS SOUPS 101054 WITH SCORE 101251.442
AT ITER 1442 NEW BEST:: SOT 407359 SOS 197520 HAS SOPS 191802 HAS SOUS 101918 HAS SOUPS 101049 WITH SCORE 101246.52
AT ITER 1443 NEW BEST:: SOT 407359 SOS 197514 HAS SOPS 191796 HAS SOUS 101912 HAS SOUPS 101043 WITH SCORE 101240.514
AT ITER 1452 NEW BEST:: SOT 407409 SOS 197591 HAS SOPS 191873 HAS SOUS 101881 HAS SOUPS 101012 WITH SCORE 101209.591
AT ITER 1465 NEW BEST:: SOT 407370 SOS 197513 HAS SOPS 191835 HAS SOUS 101843 HAS SOUPS 100974 WITH SCORE 101171.513
AT ITER 1480 NEW BEST:: SOT 407306 SOS 197369 HAS SOPS 191435 HAS SOUS 101836 HAS SOUPS 100935 WITH SCORE 101132.369
AT ITER 1485 NEW BEST:: SOT 407205 SOS 197167 HAS SOPS 191233 HAS SOUS 101733 HAS SOUPS 100832 WITH SCORE 101029.167
AT ITER 1488 NEW BEST:: SOT 407199 SOS 197051 HAS SOPS 191117 HAS SOUS 101617 HAS SOUPS 100716 WITH SCORE 100913.051
AT ITER 1489 NEW BEST:: SOT 407199 SOS 197016 HAS SOPS 191082 HAS SOUS 101582 HAS SOUPS 100681 WITH SCORE 100878.016
AT ITER 1492 NEW BEST:: SOT 407253 SOS 197089 HAS SOPS 191022 HAS SOUS 101546 HAS SOUPS 100645 WITH SCORE 100842.089
AT ITER 1520 NEW BEST:: SOT 407049 SOS 196707 HAS SOPS 190640 HAS SOUS 101163 HAS SOUPS 100262 WITH SCORE 100458.707
AT ITER 1550 NEW BEST:: SOT 407049 SOS 196486 HAS SOPS 190419 HAS SOUS 101163 HAS SOUPS 100262 WITH SCORE 100458.486
AT ITER 1551 NEW BEST:: SOT 406910 SOS 196347 HAS SOPS 190280 HAS SOUS 100945 HAS SOUPS 100044 WITH SCORE 100240.347
AT ITER 1555 NEW BEST:: SOT 406906 SOS 196343 HAS SOPS 190276 HAS SOUS 100937 HAS SOUPS 100036 WITH SCORE 100232.343
AT ITER 1576 NEW BEST:: SOT 406866 SOS 196283 HAS SOPS 190216 HAS SOUS 100857 HAS SOUPS 99956 WITH SCORE 100152.283
AT ITER 1588 NEW BEST:: SOT 406832 SOS 196247 HAS SOPS 190180 HAS SOUS 100827 HAS SOUPS 99926 WITH SCORE 100122.247
AT ITER 1598 NEW BEST:: SOT 406757 SOS 196197 HAS SOPS 190130 HAS SOUS 100777 HAS SOUPS 99876 WITH SCORE 100072.197
AT ITER 1650 NEW BEST:: SOT 406736 SOS 196176 HAS SOPS 190089 HAS SOUS 100716 HAS SOUPS 99815 WITH SCORE 100011.176
AT ITER 1670 NEW BEST:: SOT 406680 SOS 196489 HAS SOPS 190273 HAS SOUS 100699 HAS SOUPS 99790 WITH SCORE 99986.489
AT ITER 1697 NEW BEST:: SOT 406643 SOS 195305 HAS SOPS 189089 HAS SOUS 100699 HAS SOUPS 99790 WITH SCORE 99985.305
AT ITER 1700 NEW BEST:: SOT 406643 SOS 195158 HAS SOPS 188942 HAS SOUS 100699 HAS SOUPS 99790 WITH SCORE 99985.158
AT ITER 1714 NEW BEST:: SOT 406597 SOS 194908 HAS SOPS 188692 HAS SOUS 100689 HAS SOUPS 99780 WITH SCORE 99974.908
AT ITER 1722 NEW BEST:: SOT 406835 SOS 195146 HAS SOPS 188930 HAS SOUS 100553 HAS SOUPS 99644 WITH SCORE 99839.146
AT ITER 1728 NEW BEST:: SOT 406835 SOS 194944 HAS SOPS 188728 HAS SOUS 100553 HAS SOUPS 99644 WITH SCORE 99838.944
AT ITER 1730 NEW BEST:: SOT 406835 SOS 194944 HAS SOPS 188728 HAS SOUS 100548 HAS SOUPS 99639 WITH SCORE 99833.944
AT ITER 1741 NEW BEST:: SOT 406813 SOS 194900 HAS SOPS 188684 HAS SOUS 100504 HAS SOUPS 99595 WITH SCORE 99789.9
AT ITER 1748 NEW BEST:: SOT 406781 SOS 194868 HAS SOPS 188652 HAS SOUS 100440 HAS SOUPS 99531 WITH SCORE 99725.868
AT ITER 1756 NEW BEST:: SOT 406628 SOS 194519 HAS SOPS 188303 HAS SOUS 100222 HAS SOUPS 99313 WITH SCORE 99507.519
AT ITER 1777 NEW BEST:: SOT 406587 SOS 194447 HAS SOPS 188231 HAS SOUS 100150 HAS SOUPS 99241 WITH SCORE 99435.447
AT ITER 1800 NEW BEST:: SOT 406518 SOS 194339 HAS SOPS 188123 HAS SOUS 100042 HAS SOUPS 99133 WITH SCORE 99327.339
AT ITER 1812 NEW BEST:: SOT 406686 SOS 194272 HAS SOPS 188056 HAS SOUS 99925 HAS SOUPS 99016 WITH SCORE 99210.272
AT ITER 1815 NEW BEST:: SOT 406722 SOS 194206 HAS SOPS 187990 HAS SOUS 99694 HAS SOUPS 98785 WITH SCORE 98979.206
AT ITER 1816 NEW BEST:: SOT 406615 SOS 193944 HAS SOPS 187760 HAS SOUS 99480 HAS SOUPS 98571 WITH SCORE 98764.944
AT ITER 1819 NEW BEST:: SOT 406538 SOS 193867 HAS SOPS 187683 HAS SOUS 99263 HAS SOUPS 98354 WITH SCORE 98547.867
AT ITER 1824 NEW BEST:: SOT 406538 SOS 193867 HAS SOPS 187683 HAS SOUS 99254 HAS SOUPS 98345 WITH SCORE 98538.867
AT ITER 1837 NEW BEST:: SOT 406528 SOS 193857 HAS SOPS 187673 HAS SOUS 99251 HAS SOUPS 98342 WITH SCORE 98535.857
AT ITER 1845 NEW BEST:: SOT 406477 SOS 193806 HAS SOPS 187622 HAS SOUS 99203 HAS SOUPS 98294 WITH SCORE 98487.806
AT ITER 1879 NEW BEST:: SOT 406452 SOS 193781 HAS SOPS 187597 HAS SOUS 99153 HAS SOUPS 98244 WITH SCORE 98437.781
AT ITER 1891 NEW BEST:: SOT 406366 SOS 193695 HAS SOPS 187511 HAS SOUS 99130 HAS SOUPS 98221 WITH SCORE 98414.695
AT ITER 1899 NEW BEST:: SOT 406290 SOS 193650 HAS SOPS 187390 HAS SOUS 99047 HAS SOUPS 98138 WITH SCORE 98331.65
AT ITER 1903 NEW BEST:: SOT 406074 SOS 193114 HAS SOPS 186854 HAS SOUS 97746 HAS SOUPS 96837 WITH SCORE 97030.114
AT ITER 1915 NEW BEST:: SOT 405077 SOS 192124 HAS SOPS 185864 HAS SOUS 96993 HAS SOUPS 96084 WITH SCORE 96276.124
AT ITER 1921 NEW BEST:: SOT 405060 SOS 192090 HAS SOPS 185847 HAS SOUS 96993 HAS SOUPS 96084 WITH SCORE 96276.09
AT ITER 1941 NEW BEST:: SOT 404964 SOS 191959 HAS SOPS 185716 HAS SOUS 96893 HAS SOUPS 95984 WITH SCORE 96175.959
AT ITER 1944 NEW BEST:: SOT 404985 SOS 192001 HAS SOPS 185758 HAS SOUS 96890 HAS SOUPS 95981 WITH SCORE 96173.001
AT ITER 1951 NEW BEST:: SOT 404961 SOS 191882 HAS SOPS 185489 HAS SOUS 96817 HAS SOUPS 95908 WITH SCORE 96099.882
AT ITER 1956 NEW BEST:: SOT 404960 SOS 191881 HAS SOPS 185488 HAS SOUS 96815 HAS SOUPS 95906 WITH SCORE 96097.881
AT ITER 1968 NEW BEST:: SOT 404915 SOS 191836 HAS SOPS 185443 HAS SOUS 96779 HAS SOUPS 95870 WITH SCORE 96061.836
AT ITER 1970 NEW BEST:: SOT 400837 SOS 188741 HAS SOPS 182348 HAS SOUS 96492 HAS SOUPS 95583 WITH SCORE 95771.741
AT ITER 1971 NEW BEST:: SOT 400422 SOS 188313 HAS SOPS 181920 HAS SOUS 96270 HAS SOUPS 95361 WITH SCORE 95549.313
AT ITER 1983 NEW BEST:: SOT 400421 SOS 188312 HAS SOPS 181919 HAS SOUS 96268 HAS SOUPS 95359 WITH SCORE 95547.312
AT ITER 1988 NEW BEST:: SOT 401382 SOS 189596 HAS SOPS 183203 HAS SOUS 96055 HAS SOUPS 95146 WITH SCORE 95335.596
AT ITER 1999 NEW BEST:: SOT 401351 SOS 189557 HAS SOPS 183164 HAS SOUS 95993 HAS SOUPS 95084 WITH SCORE 95273.557
AT ITER 2001 NEW BEST:: SOT 401211 SOS 189417 HAS SOPS 183024 HAS SOUS 95958 HAS SOUPS 95049 WITH SCORE 95238.417
AT ITER 2010 NEW BEST:: SOT 401179 SOS 189390 HAS SOPS 182986 HAS SOUS 95869 HAS SOUPS 94960 WITH SCORE 95149.39
AT ITER 2027 NEW BEST:: SOT 401171 SOS 189382 HAS SOPS 182978 HAS SOUS 95851 HAS SOUPS 94942 WITH SCORE 95131.382
AT ITER 2029 NEW BEST:: SOT 401182 SOS 189393 HAS SOPS 182989 HAS SOUS 95846 HAS SOUPS 94937 WITH SCORE 95126.393
AT ITER 2057 NEW BEST:: SOT 401202 SOS 189411 HAS SOPS 183007 HAS SOUS 95800 HAS SOUPS 94891 WITH SCORE 95080.411
AT ITER 2068 NEW BEST:: SOT 401166 SOS 189375 HAS SOPS 182971 HAS SOUS 95764 HAS SOUPS 94855 WITH SCORE 95044.375
AT ITER 2087 NEW BEST:: SOT 401133 SOS 189303 HAS SOPS 182899 HAS SOUS 95704 HAS SOUPS 94795 WITH SCORE 94984.303
AT ITER 2097 NEW BEST:: SOT 401100 SOS 189249 HAS SOPS 182845 HAS SOUS 95653 HAS SOUPS 94744 WITH SCORE 94933.249
AT ITER 2128 NEW BEST:: SOT 401128 SOS 189277 HAS SOPS 182873 HAS SOUS 95637 HAS SOUPS 94728 WITH SCORE 94917.277
AT ITER 2143 NEW BEST:: SOT 401147 SOS 189168 HAS SOPS 182764 HAS SOUS 95629 HAS SOUPS 94720 WITH SCORE 94909.168
AT ITER 2146 NEW BEST:: SOT 401135 SOS 189156 HAS SOPS 182752 HAS SOUS 95617 HAS SOUPS 94708 WITH SCORE 94897.156
AT ITER 2153 NEW BEST:: SOT 401117 SOS 189138 HAS SOPS 182734 HAS SOUS 95599 HAS SOUPS 94690 WITH SCORE 94879.138
AT ITER 2155 NEW BEST:: SOT 401123 SOS 189144 HAS SOPS 182740 HAS SOUS 95578 HAS SOUPS 94669 WITH SCORE 94858.144
AT ITER 2200 NEW BEST:: SOT 401111 SOS 189132 HAS SOPS 182720 HAS SOUS 95558 HAS SOUPS 94649 WITH SCORE 94838.132
AT ITER 2201 NEW BEST:: SOT 401076 SOS 189097 HAS SOPS 182685 HAS SOUS 95550 HAS SOUPS 94641 WITH SCORE 94830.097
AT ITER 2210 NEW BEST:: SOT 400899 SOS 188802 HAS SOPS 182390 HAS SOUS 95255 HAS SOUPS 94346 WITH SCORE 94534.802
AT ITER 2249 NEW BEST:: SOT 400895 SOS 188794 HAS SOPS 182382 HAS SOUS 95247 HAS SOUPS 94338 WITH SCORE 94526.794
AT ITER 2250 NEW BEST:: SOT 400785 SOS 188494 HAS SOPS 181957 HAS SOUS 94917 HAS SOUPS 94008 WITH SCORE 94196.494
AT ITER 2265 NEW BEST:: SOT 400849 SOS 188526 HAS SOPS 181989 HAS SOUS 94597 HAS SOUPS 93688 WITH SCORE 93876.526
AT ITER 2310 NEW BEST:: SOT 400849 SOS 188036 HAS SOPS 181499 HAS SOUS 94597 HAS SOUPS 93688 WITH SCORE 93876.036
AT ITER 2365 NEW BEST:: SOT 400849 SOS 188030 HAS SOPS 181493 HAS SOUS 94597 HAS SOUPS 93688 WITH SCORE 93876.03
AT ITER 2372 NEW BEST:: SOT 400834 SOS 188015 HAS SOPS 181478 HAS SOUS 94522 HAS SOUPS 93613 WITH SCORE 93801.015
AT ITER 2376 NEW BEST:: SOT 400810 SOS 187983 HAS SOPS 181446 HAS SOUS 94490 HAS SOUPS 93581 WITH SCORE 93768.983
AT ITER 2398 NEW BEST:: SOT 400790 SOS 187828 HAS SOPS 181291 HAS SOUS 94445 HAS SOUPS 93536 WITH SCORE 93723.828
AT ITER 2424 NEW BEST:: SOT 400734 SOS 187772 HAS SOPS 181235 HAS SOUS 94333 HAS SOUPS 93424 WITH SCORE 93611.772
AT ITER 2445 NEW BEST:: SOT 400591 SOS 187497 HAS SOPS 180960 HAS SOUS 94083 HAS SOUPS 93174 WITH SCORE 93361.497
AT ITER 2454 NEW BEST:: SOT 400312 SOS 187167 HAS SOPS 180630 HAS SOUS 93750 HAS SOUPS 92841 WITH SCORE 93028.167
AT ITER 2457 NEW BEST:: SOT 400131 SOS 187021 HAS SOPS 180484 HAS SOUS 93594 HAS SOUPS 92685 WITH SCORE 92872.021
AT ITER 2475 NEW BEST:: SOT 399953 SOS 186627 HAS SOPS 180090 HAS SOUS 93454 HAS SOUPS 92545 WITH SCORE 92731.627
AT ITER 2494 NEW BEST:: SOT 399957 SOS 186631 HAS SOPS 180094 HAS SOUS 93256 HAS SOUPS 92347 WITH SCORE 92533.631
AT ITER 2501 NEW BEST:: SOT 399957 SOS 186631 HAS SOPS 180094 HAS SOUS 93246 HAS SOUPS 92337 WITH SCORE 92523.631
AT ITER 2504 NEW BEST:: SOT 399957 SOS 185875 HAS SOPS 179338 HAS SOUS 93172 HAS SOUPS 92263 WITH SCORE 92448.875
AT ITER 2525 NEW BEST:: SOT 399947 SOS 185865 HAS SOPS 179328 HAS SOUS 93162 HAS SOUPS 92253 WITH SCORE 92438.865
AT ITER 2547 NEW BEST:: SOT 399950 SOS 186074 HAS SOPS 179537 HAS SOUS 93149 HAS SOUPS 92240 WITH SCORE 92426.074
AT ITER 2553 NEW BEST:: SOT 399945 SOS 186069 HAS SOPS 179532 HAS SOUS 93139 HAS SOUPS 92230 WITH SCORE 92416.069
AT ITER 2558 NEW BEST:: SOT 400033 SOS 186313 HAS SOPS 179776 HAS SOUS 93119 HAS SOUPS 92210 WITH SCORE 92396.313
AT ITER 2560 NEW BEST:: SOT 399951 SOS 186208 HAS SOPS 179671 HAS SOUS 93047 HAS SOUPS 92138 WITH SCORE 92324.208
AT ITER 2566 NEW BEST:: SOT 399933 SOS 186224 HAS SOPS 179687 HAS SOUS 93002 HAS SOUPS 92093 WITH SCORE 92279.224
AT ITER 2571 NEW BEST:: SOT 399938 SOS 186221 HAS SOPS 179684 HAS SOUS 93001 HAS SOUPS 92092 WITH SCORE 92278.221
AT ITER 2573 NEW BEST:: SOT 399904 SOS 186127 HAS SOPS 179590 HAS SOUS 92761 HAS SOUPS 91852 WITH SCORE 92038.127
AT ITER 2586 NEW BEST:: SOT 399874 SOS 186097 HAS SOPS 179560 HAS SOUS 92701 HAS SOUPS 91792 WITH SCORE 91978.097
AT ITER 2617 NEW BEST:: SOT 399874 SOS 186027 HAS SOPS 179490 HAS SOUS 92701 HAS SOUPS 91792 WITH SCORE 91978.027
AT ITER 2618 NEW BEST:: SOT 399377 SOS 185530 HAS SOPS 178993 HAS SOUS 92675 HAS SOUPS 91766 WITH SCORE 91951.53
AT ITER 2630 NEW BEST:: SOT 399377 SOS 185504 HAS SOPS 178967 HAS SOUS 92675 HAS SOUPS 91766 WITH SCORE 91951.504
AT ITER 2641 NEW BEST:: SOT 399233 SOS 185332 HAS SOPS 178795 HAS SOUS 92530 HAS SOUPS 91621 WITH SCORE 91806.332
AT ITER 2650 NEW BEST:: SOT 398858 SOS 184957 HAS SOPS 178420 HAS SOUS 92455 HAS SOUPS 91546 WITH SCORE 91730.957
AT ITER 2701 NEW BEST:: SOT 398837 SOS 184907 HAS SOPS 178370 HAS SOUS 92405 HAS SOUPS 91496 WITH SCORE 91680.907
AT ITER 2717 NEW BEST:: SOT 398827 SOS 184989 HAS SOPS 178333 HAS SOUS 92291 HAS SOUPS 91382 WITH SCORE 91566.989
AT ITER 2750 NEW BEST:: SOT 398811 SOS 184973 HAS SOPS 178286 HAS SOUS 92273 HAS SOUPS 91360 WITH SCORE 91544.973
AT ITER 2752 NEW BEST:: SOT 398763 SOS 184909 HAS SOPS 178222 HAS SOUS 92200 HAS SOUPS 91287 WITH SCORE 91471.909
AT ITER 2766 NEW BEST:: SOT 398754 SOS 185032 HAS SOPS 178345 HAS SOUS 92152 HAS SOUPS 91239 WITH SCORE 91424.032
AT ITER 2803 NEW BEST:: SOT 398600 SOS 184885 HAS SOPS 178198 HAS SOUS 91987 HAS SOUPS 91074 WITH SCORE 91258.885
AT ITER 2807 NEW BEST:: SOT 398699 SOS 184907 HAS SOPS 178141 HAS SOUS 91871 HAS SOUPS 90958 WITH SCORE 91142.907
AT ITER 2821 NEW BEST:: SOT 398686 SOS 184871 HAS SOPS 178104 HAS SOUS 91859 HAS SOUPS 90945 WITH SCORE 91129.871
AT ITER 2868 NEW BEST:: SOT 398616 SOS 184776 HAS SOPS 178009 HAS SOUS 91734 HAS SOUPS 90820 WITH SCORE 91004.776
AT ITER 2881 NEW BEST:: SOT 398619 SOS 184779 HAS SOPS 177978 HAS SOUS 91666 HAS SOUPS 90752 WITH SCORE 90936.779
AT ITER 2885 NEW BEST:: SOT 398630 SOS 184755 HAS SOPS 177954 HAS SOUS 91606 HAS SOUPS 90692 WITH SCORE 90876.755
AT ITER 2988 NEW BEST:: SOT 398614 SOS 184723 HAS SOPS 177922 HAS SOUS 91574 HAS SOUPS 90660 WITH SCORE 90844.723
AT ITER 2991 NEW BEST:: SOT 398586 SOS 184678 HAS SOPS 177877 HAS SOUS 91549 HAS SOUPS 90635 WITH SCORE 90819.678
AT ITER 3060 NEW BEST:: SOT 398580 SOS 184540 HAS SOPS 177799 HAS SOUS 91543 HAS SOUPS 90635 WITH SCORE 90819.54
AT ITER 3072 NEW BEST:: SOT 398402 SOS 184433 HAS SOPS 177692 HAS SOUS 91416 HAS SOUPS 90508 WITH SCORE 90692.433
AT ITER 3096 NEW BEST:: SOT 398282 SOS 184369 HAS SOPS 177557 HAS SOUS 91286 HAS SOUPS 90378 WITH SCORE 90562.369
AT ITER 3110 NEW BEST:: SOT 398242 SOS 184309 HAS SOPS 177497 HAS SOUS 91246 HAS SOUPS 90338 WITH SCORE 90522.309
AT ITER 3129 NEW BEST:: SOT 396720 SOS 182888 HAS SOPS 176076 HAS SOUS 90105 HAS SOUPS 89197 WITH SCORE 89379.888
AT ITER 3132 NEW BEST:: SOT 396593 SOS 182592 HAS SOPS 175780 HAS SOUS 89951 HAS SOUPS 89043 WITH SCORE 89225.592
AT ITER 3156 NEW BEST:: SOT 396593 SOS 182591 HAS SOPS 175779 HAS SOUS 89950 HAS SOUPS 89042 WITH SCORE 89224.591
AT ITER 3159 NEW BEST:: SOT 396593 SOS 182588 HAS SOPS 175776 HAS SOUS 89941 HAS SOUPS 89033 WITH SCORE 89215.588
AT ITER 3171 NEW BEST:: SOT 396583 SOS 182578 HAS SOPS 175735 HAS SOUS 89884 HAS SOUPS 88976 WITH SCORE 89158.578
AT ITER 3173 NEW BEST:: SOT 396583 SOS 182578 HAS SOPS 175730 HAS SOUS 89878 HAS SOUPS 88970 WITH SCORE 89152.578
AT ITER 3194 NEW BEST:: SOT 396573 SOS 182568 HAS SOPS 175715 HAS SOUS 89858 HAS SOUPS 88950 WITH SCORE 89132.568
AT ITER 3206 NEW BEST:: SOT 397122 SOS 183030 HAS SOPS 176177 HAS SOUS 89831 HAS SOUPS 88923 WITH SCORE 89106.03
AT ITER 3211 NEW BEST:: SOT 397144 SOS 183052 HAS SOPS 176173 HAS SOUS 89824 HAS SOUPS 88905 WITH SCORE 89088.052
AT ITER 3246 NEW BEST:: SOT 397143 SOS 183051 HAS SOPS 176171 HAS SOUS 89822 HAS SOUPS 88903 WITH SCORE 89086.051
AT ITER 3275 NEW BEST:: SOT 397125 SOS 183033 HAS SOPS 176153 HAS SOUS 89786 HAS SOUPS 88867 WITH SCORE 89050.033
AT ITER 3276 NEW BEST:: SOT 397099 SOS 183018 HAS SOPS 176138 HAS SOUS 89702 HAS SOUPS 88783 WITH SCORE 88966.018
AT ITER 3281 NEW BEST:: SOT 397083 SOS 183001 HAS SOPS 176121 HAS SOUS 89678 HAS SOUPS 88759 WITH SCORE 88942.001
AT ITER 3293 NEW BEST:: SOT 397117 SOS 183109 HAS SOPS 176229 HAS SOUS 89672 HAS SOUPS 88753 WITH SCORE 88936.109
AT ITER 3298 NEW BEST:: SOT 397103 SOS 183021 HAS SOPS 175725 HAS SOUS 89633 HAS SOUPS 88662 WITH SCORE 88845.021
AT ITER 3359 NEW BEST:: SOT 397103 SOS 183006 HAS SOPS 175710 HAS SOUS 89618 HAS SOUPS 88647 WITH SCORE 88830.006
AT ITER 3374 NEW BEST:: SOT 396938 SOS 182761 HAS SOPS 175465 HAS SOUS 89399 HAS SOUPS 88428 WITH SCORE 88610.761
AT ITER 3408 NEW BEST:: SOT 396877 SOS 182355 HAS SOPS 175069 HAS SOUS 89256 HAS SOUPS 88285 WITH SCORE 88467.355
AT ITER 3411 NEW BEST:: SOT 396853 SOS 182350 HAS SOPS 175064 HAS SOUS 89208 HAS SOUPS 88237 WITH SCORE 88419.35
AT ITER 3428 NEW BEST:: SOT 396768 SOS 182154 HAS SOPS 174879 HAS SOUS 89038 HAS SOUPS 88067 WITH SCORE 88249.154
AT ITER 3433 NEW BEST:: SOT 396900 SOS 182257 HAS SOPS 174982 HAS SOUS 88925 HAS SOUPS 87954 WITH SCORE 88136.257
AT ITER 3445 NEW BEST:: SOT 396859 SOS 182204 HAS SOPS 174912 HAS SOUS 88820 HAS SOUPS 87849 WITH SCORE 88031.204
AT ITER 3484 NEW BEST:: SOT 396871 SOS 182275 HAS SOPS 174983 HAS SOUS 88804 HAS SOUPS 87833 WITH SCORE 88015.275
AT ITER 3486 NEW BEST:: SOT 396870 SOS 182274 HAS SOPS 174982 HAS SOUS 88802 HAS SOUPS 87831 WITH SCORE 88013.274
AT ITER 3492 NEW BEST:: SOT 396681 SOS 182232 HAS SOPS 175088 HAS SOUS 88736 HAS SOUPS 87765 WITH SCORE 87947.232
AT ITER 3512 NEW BEST:: SOT 396657 SOS 182208 HAS SOPS 175064 HAS SOUS 88703 HAS SOUPS 87732 WITH SCORE 87914.208
AT ITER 3514 NEW BEST:: SOT 396652 SOS 182203 HAS SOPS 175054 HAS SOUS 88703 HAS SOUPS 87732 WITH SCORE 87914.203
AT ITER 3515 NEW BEST:: SOT 396573 SOS 183030 HAS SOPS 175827 HAS SOUS 88729 HAS SOUPS 87714 WITH SCORE 87897.03
AT ITER 3518 NEW BEST:: SOT 396623 SOS 183095 HAS SOPS 175892 HAS SOUS 88626 HAS SOUPS 87611 WITH SCORE 87794.095
AT ITER 3524 NEW BEST:: SOT 396528 SOS 183020 HAS SOPS 175817 HAS SOUS 88496 HAS SOUPS 87481 WITH SCORE 87664.02
AT ITER 3560 NEW BEST:: SOT 396513 SOS 183000 HAS SOPS 175797 HAS SOUS 88471 HAS SOUPS 87456 WITH SCORE 87639.0
AT ITER 3592 NEW BEST:: SOT 396505 SOS 182992 HAS SOPS 175789 HAS SOUS 88455 HAS SOUPS 87440 WITH SCORE 87622.992
AT ITER 3606 NEW BEST:: SOT 396505 SOS 182894 HAS SOPS 175691 HAS SOUS 88455 HAS SOUPS 87440 WITH SCORE 87622.894
AT ITER 3614 NEW BEST:: SOT 396520 SOS 182909 HAS SOPS 175706 HAS SOUS 88410 HAS SOUPS 87395 WITH SCORE 87577.909
AT ITER 3622 NEW BEST:: SOT 396520 SOS 182909 HAS SOPS 175706 HAS SOUS 88409 HAS SOUPS 87394 WITH SCORE 87576.909
AT ITER 3630 NEW BEST:: SOT 396516 SOS 182911 HAS SOPS 175708 HAS SOUS 88401 HAS SOUPS 87386 WITH SCORE 87568.911
AT ITER 3638 NEW BEST:: SOT 396510 SOS 182893 HAS SOPS 175690 HAS SOUS 88383 HAS SOUPS 87368 WITH SCORE 87550.893
AT ITER 3663 NEW BEST:: SOT 396118 SOS 182369 HAS SOPS 175166 HAS SOUS 87837 HAS SOUPS 86822 WITH SCORE 87004.369
AT ITER 3665 NEW BEST:: SOT 396118 SOS 182344 HAS SOPS 175141 HAS SOUS 87597 HAS SOUPS 86582 WITH SCORE 86764.344
AT ITER 3681 NEW BEST:: SOT 396097 SOS 182247 HAS SOPS 174924 HAS SOUS 87555 HAS SOUPS 86540 WITH SCORE 86722.247
AT ITER 3687 NEW BEST:: SOT 396077 SOS 182212 HAS SOPS 174889 HAS SOUS 87520 HAS SOUPS 86505 WITH SCORE 86687.212
AT ITER 3701 NEW BEST:: SOT 396076 SOS 182252 HAS SOPS 174887 HAS SOUS 87518 HAS SOUPS 86503 WITH SCORE 86685.252
AT ITER 3708 NEW BEST:: SOT 396076 SOS 182138 HAS SOPS 174773 HAS SOUS 87518 HAS SOUPS 86503 WITH SCORE 86685.138
AT ITER 3716 NEW BEST:: SOT 396070 SOS 182130 HAS SOPS 174765 HAS SOUS 87510 HAS SOUPS 86495 WITH SCORE 86677.13
AT ITER 3721 NEW BEST:: SOT 396067 SOS 182095 HAS SOPS 174730 HAS SOUS 87499 HAS SOUPS 86484 WITH SCORE 86666.095
AT ITER 3725 NEW BEST:: SOT 395967 SOS 181979 HAS SOPS 173494 HAS SOUS 87423 HAS SOUPS 86268 WITH SCORE 86449.979
AT ITER 3737 NEW BEST:: SOT 395930 SOS 181855 HAS SOPS 173370 HAS SOUS 87378 HAS SOUPS 86223 WITH SCORE 86404.855
AT ITER 3771 NEW BEST:: SOT 395902 SOS 181820 HAS SOPS 173335 HAS SOUS 87336 HAS SOUPS 86181 WITH SCORE 86362.82
AT ITER 3778 NEW BEST:: SOT 395899 SOS 181817 HAS SOPS 173332 HAS SOUS 87333 HAS SOUPS 86178 WITH SCORE 86359.817
AT ITER 3782 NEW BEST:: SOT 395881 SOS 181783 HAS SOPS 173298 HAS SOUS 87299 HAS SOUPS 86144 WITH SCORE 86325.783
AT ITER 3797 NEW BEST:: SOT 395902 SOS 181804 HAS SOPS 173319 HAS SOUS 87187 HAS SOUPS 86032 WITH SCORE 86213.804
AT ITER 3827 NEW BEST:: SOT 396065 SOS 181992 HAS SOPS 173507 HAS SOUS 87111 HAS SOUPS 85956 WITH SCORE 86137.992
AT ITER 3838 NEW BEST:: SOT 396047 SOS 181980 HAS SOPS 173495 HAS SOUS 87015 HAS SOUPS 85860 WITH SCORE 86041.98
AT ITER 3853 NEW BEST:: SOT 395716 SOS 181713 HAS SOPS 173228 HAS SOUS 86648 HAS SOUPS 85493 WITH SCORE 85674.713
AT ITER 3863 NEW BEST:: SOT 395633 SOS 181674 HAS SOPS 173189 HAS SOUS 86636 HAS SOUPS 85481 WITH SCORE 85662.674
AT ITER 3894 NEW BEST:: SOT 395576 SOS 181617 HAS SOPS 173094 HAS SOUS 86554 HAS SOUPS 85361 WITH SCORE 85542.617
AT ITER 3942 NEW BEST:: SOT 395550 SOS 181591 HAS SOPS 173068 HAS SOUS 86554 HAS SOUPS 85361 WITH SCORE 85542.591
AT ITER 3946 NEW BEST:: SOT 395550 SOS 181586 HAS SOPS 173063 HAS SOUS 86554 HAS SOUPS 85361 WITH SCORE 85542.586
AT ITER 3956 NEW BEST:: SOT 395528 SOS 181581 HAS SOPS 173058 HAS SOUS 86510 HAS SOUPS 85317 WITH SCORE 85498.581
AT ITER 3963 NEW BEST:: SOT 395481 SOS 182104 HAS SOPS 173581 HAS SOUS 86485 HAS SOUPS 85292 WITH SCORE 85474.104
AT ITER 3964 NEW BEST:: SOT 395468 SOS 182054 HAS SOPS 173553 HAS SOUS 86470 HAS SOUPS 85277 WITH SCORE 85459.054
AT ITER 3990 NEW BEST:: SOT 395436 SOS 182430 HAS SOPS 173837 HAS SOUS 86355 HAS SOUPS 85162 WITH SCORE 85344.43
AT ITER 3992 NEW BEST:: SOT 395390 SOS 182360 HAS SOPS 173767 HAS SOUS 86287 HAS SOUPS 85094 WITH SCORE 85276.36
AT ITER 4036 NEW BEST:: SOT 395202 SOS 182367 HAS SOPS 173921 HAS SOUS 86129 HAS SOUPS 84936 WITH SCORE 85118.367
AT ITER 4069 NEW BEST:: SOT 395025 SOS 182168 HAS SOPS 173722 HAS SOUS 85905 HAS SOUPS 84712 WITH SCORE 84894.168
AT ITER 4088 NEW BEST:: SOT 394919 SOS 181859 HAS SOPS 173413 HAS SOUS 85596 HAS SOUPS 84403 WITH SCORE 84584.859
AT ITER 4090 NEW BEST:: SOT 394679 SOS 181619 HAS SOPS 173173 HAS SOUS 85582 HAS SOUPS 84389 WITH SCORE 84570.619
AT ITER 4121 NEW BEST:: SOT 394682 SOS 181575 HAS SOPS 173129 HAS SOUS 85494 HAS SOUPS 84301 WITH SCORE 84482.575
AT ITER 4124 NEW BEST:: SOT 394652 SOS 181526 HAS SOPS 173080 HAS SOUS 85434 HAS SOUPS 84241 WITH SCORE 84422.526
AT ITER 4146 NEW BEST:: SOT 394598 SOS 181855 HAS SOPS 173409 HAS SOUS 85415 HAS SOUPS 84222 WITH SCORE 84403.855
AT ITER 4154 NEW BEST:: SOT 394619 SOS 181876 HAS SOPS 173430 HAS SOUS 85369 HAS SOUPS 84176 WITH SCORE 84357.876
AT ITER 4174 NEW BEST:: SOT 394619 SOS 181876 HAS SOPS 173430 HAS SOUS 85356 HAS SOUPS 84163 WITH SCORE 84344.876
AT ITER 4190 NEW BEST:: SOT 394478 SOS 181735 HAS SOPS 173289 HAS SOUS 85305 HAS SOUPS 84112 WITH SCORE 84293.735
AT ITER 4200 NEW BEST:: SOT 394459 SOS 181716 HAS SOPS 173270 HAS SOUS 85159 HAS SOUPS 83966 WITH SCORE 84147.716
AT ITER 4203 NEW BEST:: SOT 394015 SOS 181272 HAS SOPS 172826 HAS SOUS 84993 HAS SOUPS 83800 WITH SCORE 83981.272
AT ITER 4233 NEW BEST:: SOT 393993 SOS 181250 HAS SOPS 172804 HAS SOUS 84987 HAS SOUPS 83794 WITH SCORE 83975.25
AT ITER 4245 NEW BEST:: SOT 393983 SOS 181240 HAS SOPS 172794 HAS SOUS 84977 HAS SOUPS 83784 WITH SCORE 83965.24
AT ITER 4260 NEW BEST:: SOT 393996 SOS 181078 HAS SOPS 172695 HAS SOUS 84905 HAS SOUPS 83712 WITH SCORE 83893.078
AT ITER 4262 NEW BEST:: SOT 393928 SOS 180962 HAS SOPS 172579 HAS SOUS 84789 HAS SOUPS 83596 WITH SCORE 83776.962
AT ITER 4263 NEW BEST:: SOT 393928 SOS 180962 HAS SOPS 172579 HAS SOUS 84784 HAS SOUPS 83591 WITH SCORE 83771.962
AT ITER 4271 NEW BEST:: SOT 393905 SOS 180939 HAS SOPS 172556 HAS SOUS 84728 HAS SOUPS 83535 WITH SCORE 83715.939
AT ITER 4278 NEW BEST:: SOT 393905 SOS 180925 HAS SOPS 172542 HAS SOUS 84728 HAS SOUPS 83535 WITH SCORE 83715.925
AT ITER 4292 NEW BEST:: SOT 393854 SOS 180874 HAS SOPS 172491 HAS SOUS 84692 HAS SOUPS 83499 WITH SCORE 83679.874
AT ITER 4299 NEW BEST:: SOT 393787 SOS 181021 HAS SOPS 172600 HAS SOUS 84568 HAS SOUPS 83375 WITH SCORE 83556.021
AT ITER 4329 NEW BEST:: SOT 393781 SOS 181015 HAS SOPS 172594 HAS SOUS 84556 HAS SOUPS 83363 WITH SCORE 83544.015
AT ITER 4341 NEW BEST:: SOT 393769 SOS 181021 HAS SOPS 172588 HAS SOUS 84544 HAS SOUPS 83351 WITH SCORE 83532.021
AT ITER 4342 NEW BEST:: SOT 393670 SOS 180922 HAS SOPS 172489 HAS SOUS 84419 HAS SOUPS 83226 WITH SCORE 83406.922
AT ITER 4343 NEW BEST:: SOT 393626 SOS 180834 HAS SOPS 172401 HAS SOUS 84331 HAS SOUPS 83138 WITH SCORE 83318.834
AT ITER 4355 NEW BEST:: SOT 393785 SOS 180948 HAS SOPS 172515 HAS SOUS 84109 HAS SOUPS 82916 WITH SCORE 83096.948
AT ITER 4377 NEW BEST:: SOT 393785 SOS 180948 HAS SOPS 172515 HAS SOUS 84093 HAS SOUPS 82900 WITH SCORE 83080.948
AT ITER 4382 NEW BEST:: SOT 393785 SOS 180948 HAS SOPS 172515 HAS SOUS 84085 HAS SOUPS 82892 WITH SCORE 83072.948
AT ITER 4387 NEW BEST:: SOT 393641 SOS 180804 HAS SOPS 172371 HAS SOUS 83917 HAS SOUPS 82724 WITH SCORE 82904.804
AT ITER 4409 NEW BEST:: SOT 393592 SOS 180726 HAS SOPS 172293 HAS SOUS 83830 HAS SOUPS 82637 WITH SCORE 82817.726
AT ITER 4410 NEW BEST:: SOT 393509 SOS 180647 HAS SOPS 172214 HAS SOUS 83778 HAS SOUPS 82585 WITH SCORE 82765.647
AT ITER 4411 NEW BEST:: SOT 393509 SOS 180647 HAS SOPS 172214 HAS SOUS 83774 HAS SOUPS 82581 WITH SCORE 82761.647
AT ITER 4412 NEW BEST:: SOT 393605 SOS 180743 HAS SOPS 172310 HAS SOUS 83756 HAS SOUPS 82563 WITH SCORE 82743.743
AT ITER 4423 NEW BEST:: SOT 393621 SOS 180691 HAS SOPS 172250 HAS SOUS 83744 HAS SOUPS 82555 WITH SCORE 82735.691
AT ITER 4426 NEW BEST:: SOT 393549 SOS 180565 HAS SOPS 172124 HAS SOUS 83636 HAS SOUPS 82447 WITH SCORE 82627.565
AT ITER 4440 NEW BEST:: SOT 393631 SOS 180676 HAS SOPS 172235 HAS SOUS 83602 HAS SOUPS 82413 WITH SCORE 82593.676
AT ITER 4449 NEW BEST:: SOT 393594 SOS 180639 HAS SOPS 172198 HAS SOUS 83565 HAS SOUPS 82376 WITH SCORE 82556.639
AT ITER 4455 NEW BEST:: SOT 393537 SOS 180552 HAS SOPS 172111 HAS SOUS 83058 HAS SOUPS 81869 WITH SCORE 82049.552
AT ITER 4456 NEW BEST:: SOT 393537 SOS 180463 HAS SOPS 172022 HAS SOUS 83051 HAS SOUPS 81862 WITH SCORE 82042.463
AT ITER 4486 NEW BEST:: SOT 393553 SOS 180500 HAS SOPS 172059 HAS SOUS 83036 HAS SOUPS 81847 WITH SCORE 82027.5
AT ITER 4487 NEW BEST:: SOT 393553 SOS 180493 HAS SOPS 172052 HAS SOUS 83022 HAS SOUPS 81833 WITH SCORE 82013.493
AT ITER 4540 NEW BEST:: SOT 393555 SOS 180495 HAS SOPS 172054 HAS SOUS 83010 HAS SOUPS 81821 WITH SCORE 82001.495
AT ITER 4541 NEW BEST:: SOT 393591 SOS 180531 HAS SOPS 172090 HAS SOUS 82975 HAS SOUPS 81786 WITH SCORE 81966.531
AT ITER 4548 NEW BEST:: SOT 393506 SOS 180367 HAS SOPS 171926 HAS SOUS 82945 HAS SOUPS 81756 WITH SCORE 81936.367
AT ITER 4551 NEW BEST:: SOT 393485 SOS 180322 HAS SOPS 171881 HAS SOUS 82903 HAS SOUPS 81714 WITH SCORE 81894.322
AT ITER 4566 NEW BEST:: SOT 393915 SOS 180702 HAS SOPS 172261 HAS SOUS 82851 HAS SOUPS 81662 WITH SCORE 81842.702
AT ITER 4570 NEW BEST:: SOT 393872 SOS 180684 HAS SOPS 172243 HAS SOUS 82843 HAS SOUPS 81654 WITH SCORE 81834.684
AT ITER 4579 NEW BEST:: SOT 393852 SOS 180664 HAS SOPS 172185 HAS SOUS 82820 HAS SOUPS 81631 WITH SCORE 81811.664
AT ITER 4602 NEW BEST:: SOT 393832 SOS 180644 HAS SOPS 172165 HAS SOUS 82780 HAS SOUPS 81591 WITH SCORE 81771.644
AT ITER 4623 NEW BEST:: SOT 393809 SOS 180594 HAS SOPS 172115 HAS SOUS 82646 HAS SOUPS 81457 WITH SCORE 81637.594
AT ITER 4627 NEW BEST:: SOT 393810 SOS 180592 HAS SOPS 172113 HAS SOUS 82644 HAS SOUPS 81455 WITH SCORE 81635.592
AT ITER 4658 NEW BEST:: SOT 393610 SOS 180537 HAS SOPS 172058 HAS SOUS 82572 HAS SOUPS 81383 WITH SCORE 81563.537
AT ITER 4660 NEW BEST:: SOT 393426 SOS 179956 HAS SOPS 171477 HAS SOUS 82170 HAS SOUPS 80981 WITH SCORE 81160.956
AT ITER 4673 NEW BEST:: SOT 393423 SOS 179950 HAS SOPS 171465 HAS SOUS 82158 HAS SOUPS 80969 WITH SCORE 81148.95
AT ITER 4674 NEW BEST:: SOT 393409 SOS 179914 HAS SOPS 171429 HAS SOUS 82108 HAS SOUPS 80919 WITH SCORE 81098.914
AT ITER 4689 NEW BEST:: SOT 393390 SOS 179881 HAS SOPS 171396 HAS SOUS 82056 HAS SOUPS 80867 WITH SCORE 81046.881
AT ITER 4690 NEW BEST:: SOT 393386 SOS 179877 HAS SOPS 171392 HAS SOUS 82056 HAS SOUPS 80867 WITH SCORE 81046.877
AT ITER 4709 NEW BEST:: SOT 393386 SOS 179884 HAS SOPS 171399 HAS SOUS 82042 HAS SOUPS 80853 WITH SCORE 81032.884
AT ITER 4720 NEW BEST:: SOT 393336 SOS 180078 HAS SOPS 171608 HAS SOUS 82018 HAS SOUPS 80829 WITH SCORE 81009.078
AT ITER 4731 NEW BEST:: SOT 393344 SOS 180086 HAS SOPS 171616 HAS SOUS 81935 HAS SOUPS 80746 WITH SCORE 80926.086
AT ITER 4770 NEW BEST:: SOT 393296 SOS 180038 HAS SOPS 171568 HAS SOUS 81839 HAS SOUPS 80650 WITH SCORE 80830.038
AT ITER 4782 NEW BEST:: SOT 392930 SOS 179672 HAS SOPS 171202 HAS SOUS 81738 HAS SOUPS 80549 WITH SCORE 80728.672
AT ITER 4784 NEW BEST:: SOT 392906 SOS 179648 HAS SOPS 171178 HAS SOUS 81706 HAS SOUPS 80517 WITH SCORE 80696.648
AT ITER 4859 NEW BEST:: SOT 392937 SOS 179649 HAS SOPS 171179 HAS SOUS 81679 HAS SOUPS 80490 WITH SCORE 80669.649
AT ITER 4887 NEW BEST:: SOT 392897 SOS 179575 HAS SOPS 171105 HAS SOUS 81605 HAS SOUPS 80416 WITH SCORE 80595.575
AT ITER 4894 NEW BEST:: SOT 392888 SOS 179566 HAS SOPS 171096 HAS SOUS 81578 HAS SOUPS 80389 WITH SCORE 80568.566
AT ITER 4955 NEW BEST:: SOT 392998 SOS 179588 HAS SOPS 171118 HAS SOUS 81577 HAS SOUPS 80388 WITH SCORE 80567.588
AT ITER 4968 NEW BEST:: SOT 392995 SOS 179549 HAS SOPS 171079 HAS SOUS 81524 HAS SOUPS 80335 WITH SCORE 80514.549
AT ITER 4973 NEW BEST:: SOT 392990 SOS 179531 HAS SOPS 171061 HAS SOUS 81504 HAS SOUPS 80315 WITH SCORE 80494.531
AT ITER 4990 NEW BEST:: SOT 392990 SOS 179506 HAS SOPS 171036 HAS SOUS 81482 HAS SOUPS 80293 WITH SCORE 80472.506
AT ITER 4993 NEW BEST:: SOT 392987 SOS 179503 HAS SOPS 171033 HAS SOUS 81476 HAS SOUPS 80287 WITH SCORE 80466.503
AT ITER 4996 NEW BEST:: SOT 392987 SOS 179536 HAS SOPS 171033 HAS SOUS 81443 HAS SOUPS 80254 WITH SCORE 80433.536
AT ITER 5008 NEW BEST:: SOT 392987 SOS 179534 HAS SOPS 171009 HAS SOUS 81427 HAS SOUPS 80238 WITH SCORE 80417.534
AT ITER 5009 NEW BEST:: SOT 391529 SOS 178170 HAS SOPS 169645 HAS SOUS 81021 HAS SOUPS 79832 WITH SCORE 80010.17
AT ITER 5024 NEW BEST:: SOT 391472 SOS 178086 HAS SOPS 169561 HAS SOUS 80953 HAS SOUPS 79764 WITH SCORE 79942.086
AT ITER 5028 NEW BEST:: SOT 391449 SOS 178048 HAS SOPS 169523 HAS SOUS 80896 HAS SOUPS 79707 WITH SCORE 79885.048
AT ITER 5045 NEW BEST:: SOT 391264 SOS 177776 HAS SOPS 169251 HAS SOUS 80619 HAS SOUPS 79430 WITH SCORE 79607.776
AT ITER 5051 NEW BEST:: SOT 391226 SOS 177681 HAS SOPS 169156 HAS SOUS 80562 HAS SOUPS 79373 WITH SCORE 79550.681
AT ITER 5061 NEW BEST:: SOT 390579 SOS 181290 HAS SOPS 172765 HAS SOUS 80544 HAS SOUPS 79355 WITH SCORE 79536.29
AT ITER 5068 NEW BEST:: SOT 390579 SOS 181786 HAS SOPS 173261 HAS SOUS 80512 HAS SOUPS 79323 WITH SCORE 79504.786
AT ITER 5077 NEW BEST:: SOT 390566 SOS 181773 HAS SOPS 173104 HAS SOUS 80499 HAS SOUPS 79292 WITH SCORE 79473.773
AT ITER 5082 NEW BEST:: SOT 390563 SOS 181764 HAS SOPS 173095 HAS SOUS 80490 HAS SOUPS 79283 WITH SCORE 79464.764
AT ITER 5093 NEW BEST:: SOT 390563 SOS 181759 HAS SOPS 173090 HAS SOUS 80490 HAS SOUPS 79283 WITH SCORE 79464.759
AT ITER 5095 NEW BEST:: SOT 390560 SOS 181742 HAS SOPS 173073 HAS SOUS 80473 HAS SOUPS 79266 WITH SCORE 79447.742
AT ITER 5096 NEW BEST:: SOT 390555 SOS 182029 HAS SOPS 173360 HAS SOUS 80412 HAS SOUPS 79205 WITH SCORE 79387.029
AT ITER 5162 NEW BEST:: SOT 390408 SOS 181925 HAS SOPS 173256 HAS SOUS 80307 HAS SOUPS 79100 WITH SCORE 79281.925
AT ITER 5173 NEW BEST:: SOT 390401 SOS 181918 HAS SOPS 173249 HAS SOUS 80272 HAS SOUPS 79065 WITH SCORE 79246.918
AT ITER 5193 NEW BEST:: SOT 390391 SOS 181891 HAS SOPS 173222 HAS SOUS 80269 HAS SOUPS 79062 WITH SCORE 79243.891
AT ITER 5220 NEW BEST:: SOT 390369 SOS 181869 HAS SOPS 173205 HAS SOUS 80247 HAS SOUPS 79045 WITH SCORE 79226.869
AT ITER 5279 NEW BEST:: SOT 390365 SOS 181863 HAS SOPS 173199 HAS SOUS 80239 HAS SOUPS 79037 WITH SCORE 79218.863
AT ITER 5290 NEW BEST:: SOT 390356 SOS 181854 HAS SOPS 173203 HAS SOUS 80225 HAS SOUPS 79023 WITH SCORE 79204.854
AT ITER 5307 NEW BEST:: SOT 390354 SOS 181849 HAS SOPS 173193 HAS SOUS 80225 HAS SOUPS 79023 WITH SCORE 79204.849
AT ITER 5316 NEW BEST:: SOT 390220 SOS 181704 HAS SOPS 173048 HAS SOUS 80016 HAS SOUPS 78814 WITH SCORE 78995.704
AT ITER 5346 NEW BEST:: SOT 390192 SOS 181676 HAS SOPS 173020 HAS SOUS 79969 HAS SOUPS 78767 WITH SCORE 78948.676
AT ITER 5354 NEW BEST:: SOT 390170 SOS 181654 HAS SOPS 172998 HAS SOUS 79948 HAS SOUPS 78746 WITH SCORE 78927.654
AT ITER 5377 NEW BEST:: SOT 390159 SOS 181643 HAS SOPS 172942 HAS SOUS 79902 HAS SOUPS 78700 WITH SCORE 78881.643
AT ITER 5387 NEW BEST:: SOT 390171 SOS 181655 HAS SOPS 172954 HAS SOUS 79854 HAS SOUPS 78652 WITH SCORE 78833.655
AT ITER 5395 NEW BEST:: SOT 390135 SOS 181603 HAS SOPS 172902 HAS SOUS 79776 HAS SOUPS 78574 WITH SCORE 78755.603
AT ITER 5396 NEW BEST:: SOT 390139 SOS 181272 HAS SOPS 172571 HAS SOUS 79774 HAS SOUPS 78572 WITH SCORE 78753.272
AT ITER 5400 NEW BEST:: SOT 390102 SOS 181235 HAS SOPS 172534 HAS SOUS 79760 HAS SOUPS 78558 WITH SCORE 78739.235
AT ITER 5401 NEW BEST:: SOT 390096 SOS 181229 HAS SOPS 172528 HAS SOUS 79748 HAS SOUPS 78546 WITH SCORE 78727.229
AT ITER 5412 NEW BEST:: SOT 390053 SOS 180969 HAS SOPS 172426 HAS SOUS 79662 HAS SOUPS 78460 WITH SCORE 78640.969
AT ITER 5463 NEW BEST:: SOT 390074 SOS 180941 HAS SOPS 172398 HAS SOUS 79656 HAS SOUPS 78454 WITH SCORE 78634.941
AT ITER 5465 NEW BEST:: SOT 390056 SOS 180932 HAS SOPS 172389 HAS SOUS 79656 HAS SOUPS 78454 WITH SCORE 78634.932
AT ITER 5476 NEW BEST:: SOT 389943 SOS 180727 HAS SOPS 172184 HAS SOUS 79582 HAS SOUPS 78380 WITH SCORE 78560.727
AT ITER 5480 NEW BEST:: SOT 389833 SOS 180617 HAS SOPS 172074 HAS SOUS 79271 HAS SOUPS 78069 WITH SCORE 78249.617
AT ITER 5492 NEW BEST:: SOT 389859 SOS 180631 HAS SOPS 172088 HAS SOUS 79269 HAS SOUPS 78067 WITH SCORE 78247.631
AT ITER 5497 NEW BEST:: SOT 389858 SOS 180630 HAS SOPS 172087 HAS SOUS 79268 HAS SOUPS 78066 WITH SCORE 78246.63
AT ITER 5502 NEW BEST:: SOT 389820 SOS 180554 HAS SOPS 172011 HAS SOUS 79192 HAS SOUPS 77990 WITH SCORE 78170.554
AT ITER 5506 NEW BEST:: SOT 389790 SOS 180524 HAS SOPS 171981 HAS SOUS 79175 HAS SOUPS 77973 WITH SCORE 78153.524
AT ITER 5517 NEW BEST:: SOT 389778 SOS 180512 HAS SOPS 171969 HAS SOUS 79151 HAS SOUPS 77949 WITH SCORE 78129.512
AT ITER 5518 NEW BEST:: SOT 389776 SOS 180508 HAS SOPS 171965 HAS SOUS 79147 HAS SOUPS 77945 WITH SCORE 78125.508
AT ITER 5527 NEW BEST:: SOT 389640 SOS 180064 HAS SOPS 171521 HAS SOUS 78956 HAS SOUPS 77754 WITH SCORE 77934.064
AT ITER 5532 NEW BEST:: SOT 389611 SOS 180015 HAS SOPS 171472 HAS SOUS 78898 HAS SOUPS 77696 WITH SCORE 77876.015
AT ITER 5557 NEW BEST:: SOT 389605 SOS 180006 HAS SOPS 171463 HAS SOUS 78886 HAS SOUPS 77684 WITH SCORE 77864.006
AT ITER 5582 NEW BEST:: SOT 389567 SOS 179968 HAS SOPS 171425 HAS SOUS 78810 HAS SOUPS 77608 WITH SCORE 77787.968
AT ITER 5610 NEW BEST:: SOT 389547 SOS 180008 HAS SOPS 171395 HAS SOUS 78798 HAS SOUPS 77596 WITH SCORE 77776.008
AT ITER 5631 NEW BEST:: SOT 389549 SOS 180010 HAS SOPS 171397 HAS SOUS 78797 HAS SOUPS 77595 WITH SCORE 77775.01
AT ITER 5632 NEW BEST:: SOT 389527 SOS 179656 HAS SOPS 171043 HAS SOUS 78745 HAS SOUPS 77543 WITH SCORE 77722.656
AT ITER 5651 NEW BEST:: SOT 389526 SOS 179622 HAS SOPS 171036 HAS SOUS 78743 HAS SOUPS 77542 WITH SCORE 77721.622
AT ITER 5657 NEW BEST:: SOT 389526 SOS 179462 HAS SOPS 171036 HAS SOUS 78723 HAS SOUPS 77542 WITH SCORE 77721.462
AT ITER 5670 NEW BEST:: SOT 389526 SOS 179450 HAS SOPS 171024 HAS SOUS 78711 HAS SOUPS 77530 WITH SCORE 77709.45
AT ITER 5713 NEW BEST:: SOT 389526 SOS 179441 HAS SOPS 171015 HAS SOUS 78670 HAS SOUPS 77489 WITH SCORE 77668.441
AT ITER 5723 NEW BEST:: SOT 389498 SOS 179413 HAS SOPS 170987 HAS SOUS 78642 HAS SOUPS 77461 WITH SCORE 77640.413
AT ITER 5725 NEW BEST:: SOT 389471 SOS 179330 HAS SOPS 170904 HAS SOUS 78608 HAS SOUPS 77427 WITH SCORE 77606.33
AT ITER 5731 NEW BEST:: SOT 389484 SOS 179317 HAS SOPS 170891 HAS SOUS 78608 HAS SOUPS 77427 WITH SCORE 77606.317
AT ITER 5771 NEW BEST:: SOT 389499 SOS 179300 HAS SOPS 170861 HAS SOUS 78595 HAS SOUPS 77414 WITH SCORE 77593.3
AT ITER 5810 NEW BEST:: SOT 389498 SOS 179299 HAS SOPS 170860 HAS SOUS 78593 HAS SOUPS 77412 WITH SCORE 77591.299
AT ITER 5820 NEW BEST:: SOT 389454 SOS 179252 HAS SOPS 170813 HAS SOUS 78521 HAS SOUPS 77340 WITH SCORE 77519.252
AT ITER 5839 NEW BEST:: SOT 389646 SOS 179391 HAS SOPS 170952 HAS SOUS 78387 HAS SOUPS 77206 WITH SCORE 77385.391
AT ITER 5841 NEW BEST:: SOT 389648 SOS 179393 HAS SOPS 170893 HAS SOUS 78281 HAS SOUPS 77100 WITH SCORE 77279.393
AT ITER 5905 NEW BEST:: SOT 389668 SOS 179362 HAS SOPS 170862 HAS SOUS 78250 HAS SOUPS 77069 WITH SCORE 77248.362
AT ITER 5948 NEW BEST:: SOT 389748 SOS 179442 HAS SOPS 170942 HAS SOUS 78248 HAS SOUPS 77067 WITH SCORE 77246.442
AT ITER 5950 NEW BEST:: SOT 389729 SOS 179412 HAS SOPS 170912 HAS SOUS 78168 HAS SOUPS 76987 WITH SCORE 77166.412
AT ITER 5961 NEW BEST:: SOT 389592 SOS 179318 HAS SOPS 170818 HAS SOUS 78023 HAS SOUPS 76842 WITH SCORE 77021.318
AT ITER 5973 NEW BEST:: SOT 389590 SOS 179316 HAS SOPS 170816 HAS SOUS 78021 HAS SOUPS 76840 WITH SCORE 77019.316
AT ITER 5987 NEW BEST:: SOT 389538 SOS 179251 HAS SOPS 170751 HAS SOUS 77969 HAS SOUPS 76788 WITH SCORE 76967.251
AT ITER 6032 NEW BEST:: SOT 389497 SOS 179169 HAS SOPS 170669 HAS SOUS 77887 HAS SOUPS 76706 WITH SCORE 76885.169
AT ITER 6039 NEW BEST:: SOT 389659 SOS 179331 HAS SOPS 170831 HAS SOUS 77561 HAS SOUPS 76380 WITH SCORE 76559.331
AT ITER 6050 NEW BEST:: SOT 389448 SOS 179328 HAS SOPS 170828 HAS SOUS 77479 HAS SOUPS 76298 WITH SCORE 76477.328
AT ITER 6052 NEW BEST:: SOT 389428 SOS 179304 HAS SOPS 170804 HAS SOUS 77457 HAS SOUPS 76276 WITH SCORE 76455.304
AT ITER 6103 NEW BEST:: SOT 389407 SOS 178977 HAS SOPS 170477 HAS SOUS 77402 HAS SOUPS 76221 WITH SCORE 76399.977
AT ITER 6162 NEW BEST:: SOT 389404 SOS 179115 HAS SOPS 170615 HAS SOUS 77388 HAS SOUPS 76207 WITH SCORE 76386.115
AT ITER 6199 NEW BEST:: SOT 389379 SOS 179084 HAS SOPS 170584 HAS SOUS 77385 HAS SOUPS 76204 WITH SCORE 76383.084
AT ITER 6221 NEW BEST:: SOT 389383 SOS 179088 HAS SOPS 170588 HAS SOUS 77377 HAS SOUPS 76196 WITH SCORE 76375.088
AT ITER 6244 NEW BEST:: SOT 389373 SOS 179078 HAS SOPS 170578 HAS SOUS 77352 HAS SOUPS 76171 WITH SCORE 76350.078
AT ITER 6254 NEW BEST:: SOT 389292 SOS 178997 HAS SOPS 170497 HAS SOUS 77166 HAS SOUPS 75985 WITH SCORE 76163.997
AT ITER 6258 NEW BEST:: SOT 388808 SOS 178513 HAS SOPS 170013 HAS SOUS 77035 HAS SOUPS 75854 WITH SCORE 76032.513
AT ITER 6261 NEW BEST:: SOT 388799 SOS 178504 HAS SOPS 170004 HAS SOUS 77017 HAS SOUPS 75836 WITH SCORE 76014.504
AT ITER 6270 NEW BEST:: SOT 388832 SOS 178591 HAS SOPS 170091 HAS SOUS 77013 HAS SOUPS 75832 WITH SCORE 76010.591
AT ITER 6302 NEW BEST:: SOT 388791 SOS 178591 HAS SOPS 170091 HAS SOUS 76972 HAS SOUPS 75791 WITH SCORE 75969.591
AT ITER 6304 NEW BEST:: SOT 388757 SOS 178529 HAS SOPS 170029 HAS SOUS 76932 HAS SOUPS 75751 WITH SCORE 75929.529
AT ITER 6310 NEW BEST:: SOT 388782 SOS 178554 HAS SOPS 170054 HAS SOUS 76928 HAS SOUPS 75747 WITH SCORE 75925.554
AT ITER 6318 NEW BEST:: SOT 388761 SOS 178533 HAS SOPS 170033 HAS SOUS 76886 HAS SOUPS 75705 WITH SCORE 75883.533
AT ITER 6370 NEW BEST:: SOT 388759 SOS 178527 HAS SOPS 170027 HAS SOUS 76880 HAS SOUPS 75699 WITH SCORE 75877.527
AT ITER 6380 NEW BEST:: SOT 388749 SOS 178517 HAS SOPS 170017 HAS SOUS 76870 HAS SOUPS 75689 WITH SCORE 75867.517
AT ITER 6382 NEW BEST:: SOT 388721 SOS 178489 HAS SOPS 169989 HAS SOUS 76839 HAS SOUPS 75658 WITH SCORE 75836.489
AT ITER 6403 NEW BEST:: SOT 388721 SOS 178357 HAS SOPS 169881 HAS SOUS 76820 HAS SOUPS 75643 WITH SCORE 75821.357
AT ITER 6442 NEW BEST:: SOT 388631 SOS 178297 HAS SOPS 169821 HAS SOUS 76790 HAS SOUPS 75613 WITH SCORE 75791.297
AT ITER 6471 NEW BEST:: SOT 388618 SOS 178313 HAS SOPS 169837 HAS SOUS 76785 HAS SOUPS 75608 WITH SCORE 75786.313
AT ITER 6493 NEW BEST:: SOT 388574 SOS 178256 HAS SOPS 169780 HAS SOUS 76697 HAS SOUPS 75520 WITH SCORE 75698.256
AT ITER 6502 NEW BEST:: SOT 388464 SOS 178159 HAS SOPS 169683 HAS SOUS 76633 HAS SOUPS 75456 WITH SCORE 75634.159
AT ITER 6514 NEW BEST:: SOT 388470 SOS 178165 HAS SOPS 169679 HAS SOUS 76631 HAS SOUPS 75448 WITH SCORE 75626.165
AT ITER 6536 NEW BEST:: SOT 388458 SOS 178141 HAS SOPS 169655 HAS SOUS 76607 HAS SOUPS 75424 WITH SCORE 75602.141
AT ITER 6575 NEW BEST:: SOT 388451 SOS 178134 HAS SOPS 169648 HAS SOUS 76593 HAS SOUPS 75410 WITH SCORE 75588.134
AT ITER 6584 NEW BEST:: SOT 388431 SOS 178094 HAS SOPS 169608 HAS SOUS 76587 HAS SOUPS 75404 WITH SCORE 75582.094
AT ITER 6609 NEW BEST:: SOT 388610 SOS 178221 HAS SOPS 169735 HAS SOUS 76351 HAS SOUPS 75168 WITH SCORE 75346.221
AT ITER 6615 NEW BEST:: SOT 388608 SOS 178226 HAS SOPS 169740 HAS SOUS 76348 HAS SOUPS 75165 WITH SCORE 75343.226
AT ITER 6626 NEW BEST:: SOT 388608 SOS 178212 HAS SOPS 169726 HAS SOUS 76341 HAS SOUPS 75158 WITH SCORE 75336.212
AT ITER 6629 NEW BEST:: SOT 388680 SOS 178212 HAS SOPS 169693 HAS SOUS 76317 HAS SOUPS 75131 WITH SCORE 75309.212
AT ITER 6669 NEW BEST:: SOT 388648 SOS 178108 HAS SOPS 169589 HAS SOUS 76266 HAS SOUPS 75080 WITH SCORE 75258.108
AT ITER 6676 NEW BEST:: SOT 388619 SOS 178079 HAS SOPS 169520 HAS SOUS 76208 HAS SOUPS 75022 WITH SCORE 75200.079
AT ITER 6678 NEW BEST:: SOT 388660 SOS 178120 HAS SOPS 169561 HAS SOUS 76184 HAS SOUPS 74998 WITH SCORE 75176.12
AT ITER 6698 NEW BEST:: SOT 388650 SOS 178110 HAS SOPS 169551 HAS SOUS 76169 HAS SOUPS 74983 WITH SCORE 75161.11
AT ITER 6727 NEW BEST:: SOT 388659 SOS 178971 HAS SOPS 170298 HAS SOUS 76154 HAS SOUPS 74968 WITH SCORE 75146.971
AT ITER 6922 NEW BEST:: SOT 388642 SOS 178837 HAS SOPS 170187 HAS SOUS 76059 HAS SOUPS 74873 WITH SCORE 75051.837
AT ITER 6988 NEW BEST:: SOT 388546 SOS 178593 HAS SOPS 169943 HAS SOUS 75958 HAS SOUPS 74772 WITH SCORE 74950.593
AT ITER 6992 NEW BEST:: SOT 388539 SOS 178579 HAS SOPS 169929 HAS SOUS 75944 HAS SOUPS 74758 WITH SCORE 74936.579
AT ITER 7020 NEW BEST:: SOT 388499 SOS 178577 HAS SOPS 169927 HAS SOUS 75942 HAS SOUPS 74756 WITH SCORE 74934.577
AT ITER 7022 NEW BEST:: SOT 388499 SOS 178122 HAS SOPS 169472 HAS SOUS 75933 HAS SOUPS 74747 WITH SCORE 74925.122
AT ITER 7082 NEW BEST:: SOT 388383 SOS 178006 HAS SOPS 169356 HAS SOUS 75870 HAS SOUPS 74684 WITH SCORE 74862.006
AT ITER 7103 NEW BEST:: SOT 387986 SOS 177552 HAS SOPS 168902 HAS SOUS 75633 HAS SOUPS 74447 WITH SCORE 74624.552
AT ITER 7120 NEW BEST:: SOT 387958 SOS 177553 HAS SOPS 168948 HAS SOUS 75549 HAS SOUPS 74363 WITH SCORE 74540.553
AT ITER 7126 NEW BEST:: SOT 387954 SOS 177549 HAS SOPS 168944 HAS SOUS 75545 HAS SOUPS 74359 WITH SCORE 74536.549
AT ITER 7162 NEW BEST:: SOT 387903 SOS 177541 HAS SOPS 168936 HAS SOUS 75529 HAS SOUPS 74343 WITH SCORE 74520.541
AT ITER 7165 NEW BEST:: SOT 387851 SOS 177489 HAS SOPS 168884 HAS SOUS 75425 HAS SOUPS 74239 WITH SCORE 74416.489
AT ITER 7190 NEW BEST:: SOT 386867 SOS 176505 HAS SOPS 167900 HAS SOUS 75349 HAS SOUPS 74163 WITH SCORE 74339.505
AT ITER 7194 NEW BEST:: SOT 386799 SOS 176437 HAS SOPS 167832 HAS SOUS 75281 HAS SOUPS 74095 WITH SCORE 74271.437
AT ITER 7228 NEW BEST:: SOT 386765 SOS 176188 HAS SOPS 167583 HAS SOUS 75256 HAS SOUPS 74070 WITH SCORE 74246.188
AT ITER 7229 NEW BEST:: SOT 386763 SOS 176186 HAS SOPS 167581 HAS SOUS 75252 HAS SOUPS 74066 WITH SCORE 74242.186
AT ITER 7289 NEW BEST:: SOT 386790 SOS 176186 HAS SOPS 167581 HAS SOUS 75144 HAS SOUPS 73958 WITH SCORE 74134.186
AT ITER 7322 NEW BEST:: SOT 386745 SOS 176095 HAS SOPS 167490 HAS SOUS 75054 HAS SOUPS 73868 WITH SCORE 74044.095
AT ITER 7332 NEW BEST:: SOT 386727 SOS 176060 HAS SOPS 167455 HAS SOUS 75010 HAS SOUPS 73824 WITH SCORE 74000.06
AT ITER 7352 NEW BEST:: SOT 386659 SOS 175992 HAS SOPS 167387 HAS SOUS 74940 HAS SOUPS 73754 WITH SCORE 73929.992
AT ITER 7361 NEW BEST:: SOT 386649 SOS 175966 HAS SOPS 167361 HAS SOUS 74921 HAS SOUPS 73735 WITH SCORE 73910.966
AT ITER 7372 NEW BEST:: SOT 386581 SOS 175905 HAS SOPS 167300 HAS SOUS 74848 HAS SOUPS 73662 WITH SCORE 73837.905
AT ITER 7402 NEW BEST:: SOT 386444 SOS 176182 HAS SOPS 167995 HAS SOUS 74794 HAS SOUPS 73644 WITH SCORE 73820.182
AT ITER 7418 NEW BEST:: SOT 386335 SOS 175901 HAS SOPS 167714 HAS SOUS 74550 HAS SOUPS 73400 WITH SCORE 73575.901
AT ITER 7472 NEW BEST:: SOT 386348 SOS 175914 HAS SOPS 167727 HAS SOUS 74508 HAS SOUPS 73358 WITH SCORE 73533.914
AT ITER 7491 NEW BEST:: SOT 386329 SOS 175841 HAS SOPS 167654 HAS SOUS 74494 HAS SOUPS 73344 WITH SCORE 73519.841
AT ITER 7494 NEW BEST:: SOT 386302 SOS 175778 HAS SOPS 167591 HAS SOUS 74449 HAS SOUPS 73299 WITH SCORE 73474.778
AT ITER 7512 NEW BEST:: SOT 386220 SOS 175708 HAS SOPS 167521 HAS SOUS 74336 HAS SOUPS 73186 WITH SCORE 73361.708
AT ITER 7522 NEW BEST:: SOT 386220 SOS 175079 HAS SOPS 166996 HAS SOUS 74323 HAS SOUPS 73186 WITH SCORE 73361.079
AT ITER 7568 NEW BEST:: SOT 386291 SOS 175150 HAS SOPS 167067 HAS SOUS 74301 HAS SOUPS 73164 WITH SCORE 73339.15
AT ITER 7576 NEW BEST:: SOT 386210 SOS 175042 HAS SOPS 166959 HAS SOUS 74166 HAS SOUPS 73029 WITH SCORE 73204.042
AT ITER 7588 NEW BEST:: SOT 386157 SOS 174969 HAS SOPS 166886 HAS SOUS 74093 HAS SOUPS 72956 WITH SCORE 73130.969
AT ITER 7592 NEW BEST:: SOT 386037 SOS 174849 HAS SOPS 166766 HAS SOUS 73918 HAS SOUPS 72781 WITH SCORE 72955.849
AT ITER 7602 NEW BEST:: SOT 386025 SOS 174837 HAS SOPS 166754 HAS SOUS 73887 HAS SOUPS 72750 WITH SCORE 72924.837
AT ITER 7626 NEW BEST:: SOT 385870 SOS 174682 HAS SOPS 166599 HAS SOUS 73452 HAS SOUPS 72315 WITH SCORE 72489.682
AT ITER 7725 NEW BEST:: SOT 385830 SOS 174546 HAS SOPS 166463 HAS SOUS 73450 HAS SOUPS 72313 WITH SCORE 72487.546
AT ITER 7738 NEW BEST:: SOT 385797 SOS 174514 HAS SOPS 166431 HAS SOUS 73388 HAS SOUPS 72251 WITH SCORE 72425.514
AT ITER 7752 NEW BEST:: SOT 385458 SOS 174175 HAS SOPS 166092 HAS SOUS 73105 HAS SOUPS 71968 WITH SCORE 72142.175
AT ITER 7775 NEW BEST:: SOT 385312 SOS 173947 HAS SOPS 165864 HAS SOUS 73011 HAS SOUPS 71874 WITH SCORE 72047.947
AT ITER 7813 NEW BEST:: SOT 385307 SOS 173937 HAS SOPS 165854 HAS SOUS 73001 HAS SOUPS 71864 WITH SCORE 72037.937
AT ITER 7929 NEW BEST:: SOT 385215 SOS 173699 HAS SOPS 165616 HAS SOUS 72963 HAS SOUPS 71826 WITH SCORE 71999.699
AT ITER 7986 NEW BEST:: SOT 385212 SOS 173791 HAS SOPS 165708 HAS SOUS 72938 HAS SOUPS 71801 WITH SCORE 71974.791
AT ITER 8030 NEW BEST:: SOT 385171 SOS 173817 HAS SOPS 165734 HAS SOUS 72930 HAS SOUPS 71793 WITH SCORE 71966.817
AT ITER 8036 NEW BEST:: SOT 385192 SOS 173851 HAS SOPS 165768 HAS SOUS 72914 HAS SOUPS 71777 WITH SCORE 71950.851
AT ITER 8071 NEW BEST:: SOT 385143 SOS 173802 HAS SOPS 165719 HAS SOUS 72867 HAS SOUPS 71730 WITH SCORE 71903.802
AT ITER 8076 NEW BEST:: SOT 385178 SOS 173824 HAS SOPS 165741 HAS SOUS 72856 HAS SOUPS 71719 WITH SCORE 71892.824
AT ITER 8101 NEW BEST:: SOT 385189 SOS 173737 HAS SOPS 165654 HAS SOUS 72813 HAS SOUPS 71676 WITH SCORE 71849.737
AT ITER 8106 NEW BEST:: SOT 385203 SOS 173621 HAS SOPS 165538 HAS SOUS 72720 HAS SOUPS 71583 WITH SCORE 71756.621
AT ITER 8260 NEW BEST:: SOT 385157 SOS 173575 HAS SOPS 165492 HAS SOUS 72652 HAS SOUPS 71515 WITH SCORE 71688.575
AT ITER 8312 NEW BEST:: SOT 385153 SOS 173569 HAS SOPS 165486 HAS SOUS 72646 HAS SOUPS 71509 WITH SCORE 71682.569
AT ITER 8330 NEW BEST:: SOT 385069 SOS 173359 HAS SOPS 165276 HAS SOUS 72520 HAS SOUPS 71383 WITH SCORE 71556.359
AT ITER 8365 NEW BEST:: SOT 385032 SOS 173285 HAS SOPS 165258 HAS SOUS 72502 HAS SOUPS 71365 WITH SCORE 71538.285
AT ITER 8392 NEW BEST:: SOT 385030 SOS 173295 HAS SOPS 165268 HAS SOUS 72448 HAS SOUPS 71311 WITH SCORE 71484.295
AT ITER 8487 NEW BEST:: SOT 384894 SOS 173321 HAS SOPS 165446 HAS SOUS 72243 HAS SOUPS 71106 WITH SCORE 71279.321
AT ITER 8490 NEW BEST:: SOT 384752 SOS 173179 HAS SOPS 165304 HAS SOUS 72166 HAS SOUPS 71029 WITH SCORE 71202.179
AT ITER 8497 NEW BEST:: SOT 384743 SOS 173170 HAS SOPS 165295 HAS SOUS 72150 HAS SOUPS 71013 WITH SCORE 71186.17
AT ITER 8505 NEW BEST:: SOT 384704 SOS 173131 HAS SOPS 165256 HAS SOUS 72111 HAS SOUPS 70974 WITH SCORE 71147.131
AT ITER 8510 NEW BEST:: SOT 384554 SOS 172981 HAS SOPS 165106 HAS SOUS 71890 HAS SOUPS 70753 WITH SCORE 70925.981
AT ITER 8512 NEW BEST:: SOT 384535 SOS 172962 HAS SOPS 165087 HAS SOUS 71852 HAS SOUPS 70715 WITH SCORE 70887.962
AT ITER 8529 NEW BEST:: SOT 384535 SOS 172974 HAS SOPS 165099 HAS SOUS 71828 HAS SOUPS 70691 WITH SCORE 70863.974
AT ITER 8552 NEW BEST:: SOT 384476 SOS 172856 HAS SOPS 164981 HAS SOUS 71704 HAS SOUPS 70567 WITH SCORE 70739.856
AT ITER 8562 NEW BEST:: SOT 384383 SOS 172698 HAS SOPS 164823 HAS SOUS 71534 HAS SOUPS 70397 WITH SCORE 70569.698
AT ITER 8564 NEW BEST:: SOT 384364 SOS 172679 HAS SOPS 164804 HAS SOUS 71496 HAS SOUPS 70359 WITH SCORE 70531.679
AT ITER 8578 NEW BEST:: SOT 384355 SOS 172673 HAS SOPS 164798 HAS SOUS 71446 HAS SOUPS 70309 WITH SCORE 70481.673
AT ITER 8646 NEW BEST:: SOT 384355 SOS 172559 HAS SOPS 164684 HAS SOUS 71446 HAS SOUPS 70309 WITH SCORE 70481.559
AT ITER 8683 NEW BEST:: SOT 384349 SOS 172535 HAS SOPS 164660 HAS SOUS 71433 HAS SOUPS 70296 WITH SCORE 70468.535
AT ITER 8714 NEW BEST:: SOT 384340 SOS 172529 HAS SOPS 164654 HAS SOUS 71421 HAS SOUPS 70284 WITH SCORE 70456.529
AT ITER 8720 NEW BEST:: SOT 384239 SOS 172428 HAS SOPS 164553 HAS SOUS 71386 HAS SOUPS 70249 WITH SCORE 70421.428
AT ITER 8753 NEW BEST:: SOT 384210 SOS 172254 HAS SOPS 164379 HAS SOUS 71090 HAS SOUPS 69953 WITH SCORE 70125.254
AT ITER 8767 NEW BEST:: SOT 384179 SOS 172223 HAS SOPS 164348 HAS SOUS 71045 HAS SOUPS 69908 WITH SCORE 70080.223
AT ITER 8831 NEW BEST:: SOT 384135 SOS 172135 HAS SOPS 164260 HAS SOUS 71023 HAS SOUPS 69886 WITH SCORE 70058.135
AT ITER 8843 NEW BEST:: SOT 384136 SOS 172155 HAS SOPS 164261 HAS SOUS 70987 HAS SOUPS 69850 WITH SCORE 70022.155
AT ITER 8954 NEW BEST:: SOT 384129 SOS 172148 HAS SOPS 164242 HAS SOUS 70968 HAS SOUPS 69831 WITH SCORE 70003.148
AT ITER 8962 NEW BEST:: SOT 384023 SOS 171931 HAS SOPS 164025 HAS SOUS 70901 HAS SOUPS 69764 WITH SCORE 69935.931
AT ITER 9044 NEW BEST:: SOT 383968 SOS 171876 HAS SOPS 163967 HAS SOUS 70871 HAS SOUPS 69734 WITH SCORE 69905.876
AT ITER 9071 NEW BEST:: SOT 383669 SOS 171577 HAS SOPS 163668 HAS SOUS 70855 HAS SOUPS 69718 WITH SCORE 69889.577
AT ITER 9073 NEW BEST:: SOT 383578 SOS 171486 HAS SOPS 163577 HAS SOUS 70765 HAS SOUPS 69628 WITH SCORE 69799.486
AT ITER 9076 NEW BEST:: SOT 383563 SOS 171471 HAS SOPS 163562 HAS SOUS 70749 HAS SOUPS 69612 WITH SCORE 69783.471
AT ITER 9082 NEW BEST:: SOT 383537 SOS 171430 HAS SOPS 163521 HAS SOUS 70513 HAS SOUPS 69376 WITH SCORE 69547.43
AT ITER 9146 NEW BEST:: SOT 383465 SOS 171147 HAS SOPS 163238 HAS SOUS 70397 HAS SOUPS 69260 WITH SCORE 69431.147
AT ITER 9152 NEW BEST:: SOT 383444 SOS 171119 HAS SOPS 163210 HAS SOUS 70361 HAS SOUPS 69224 WITH SCORE 69395.119
AT ITER 9156 NEW BEST:: SOT 383433 SOS 171037 HAS SOPS 163128 HAS SOUS 70349 HAS SOUPS 69212 WITH SCORE 69383.037
AT ITER 9171 NEW BEST:: SOT 383426 SOS 170715 HAS SOPS 162869 HAS SOUS 70279 HAS SOUPS 69151 WITH SCORE 69321.715
AT ITER 9176 NEW BEST:: SOT 383426 SOS 170715 HAS SOPS 162869 HAS SOUS 70257 HAS SOUPS 69129 WITH SCORE 69299.715
AT ITER 9187 NEW BEST:: SOT 383389 SOS 170678 HAS SOPS 162832 HAS SOUS 70220 HAS SOUPS 69092 WITH SCORE 69262.678
AT ITER 9215 NEW BEST:: SOT 383390 SOS 170653 HAS SOPS 162807 HAS SOUS 70208 HAS SOUPS 69080 WITH SCORE 69250.653
AT ITER 9269 NEW BEST:: SOT 383314 SOS 170463 HAS SOPS 162617 HAS SOUS 70094 HAS SOUPS 68966 WITH SCORE 69136.463
AT ITER 9361 NEW BEST:: SOT 383315 SOS 170466 HAS SOPS 162620 HAS SOUS 70093 HAS SOUPS 68965 WITH SCORE 69135.466
AT ITER 9374 NEW BEST:: SOT 383315 SOS 170801 HAS SOPS 162955 HAS SOUS 70062 HAS SOUPS 68934 WITH SCORE 69104.801
AT ITER 9375 NEW BEST:: SOT 383240 SOS 170676 HAS SOPS 162830 HAS SOUS 69951 HAS SOUPS 68823 WITH SCORE 68993.676
AT ITER 9383 NEW BEST:: SOT 383181 SOS 170617 HAS SOPS 162771 HAS SOUS 69903 HAS SOUPS 68775 WITH SCORE 68945.617
AT ITER 9397 NEW BEST:: SOT 383168 SOS 170604 HAS SOPS 162758 HAS SOUS 69890 HAS SOUPS 68762 WITH SCORE 68932.604
AT ITER 9398 NEW BEST:: SOT 383155 SOS 170357 HAS SOPS 162511 HAS SOUS 69851 HAS SOUPS 68723 WITH SCORE 68893.357
AT ITER 9415 NEW BEST:: SOT 383150 SOS 170352 HAS SOPS 162506 HAS SOUS 69740 HAS SOUPS 68612 WITH SCORE 68782.352
AT ITER 9429 NEW BEST:: SOT 383052 SOS 170269 HAS SOPS 162423 HAS SOUS 69708 HAS SOUPS 68580 WITH SCORE 68750.269
AT ITER 9439 NEW BEST:: SOT 383039 SOS 170256 HAS SOPS 162410 HAS SOUS 69686 HAS SOUPS 68558 WITH SCORE 68728.256
AT ITER 9455 NEW BEST:: SOT 383039 SOS 170198 HAS SOPS 162352 HAS SOUS 69628 HAS SOUPS 68500 WITH SCORE 68670.198
AT ITER 9456 NEW BEST:: SOT 383038 SOS 170193 HAS SOPS 162347 HAS SOUS 69570 HAS SOUPS 68442 WITH SCORE 68612.193
AT ITER 9465 NEW BEST:: SOT 383029 SOS 170166 HAS SOPS 162320 HAS SOUS 69570 HAS SOUPS 68442 WITH SCORE 68612.166
AT ITER 9476 NEW BEST:: SOT 383027 SOS 170177 HAS SOPS 162331 HAS SOUS 69566 HAS SOUPS 68438 WITH SCORE 68608.177
AT ITER 9514 NEW BEST:: SOT 382937 SOS 170110 HAS SOPS 162264 HAS SOUS 69531 HAS SOUPS 68403 WITH SCORE 68573.11
AT ITER 9547 NEW BEST:: SOT 382877 SOS 170050 HAS SOPS 162204 HAS SOUS 69520 HAS SOUPS 68392 WITH SCORE 68562.05
AT ITER 9554 NEW BEST:: SOT 382921 SOS 170018 HAS SOPS 162172 HAS SOUS 69465 HAS SOUPS 68337 WITH SCORE 68507.018
AT ITER 9566 NEW BEST:: SOT 382914 SOS 170011 HAS SOPS 162165 HAS SOUS 69458 HAS SOUPS 68330 WITH SCORE 68500.011
AT ITER 9579 NEW BEST:: SOT 382910 SOS 170005 HAS SOPS 162159 HAS SOUS 69450 HAS SOUPS 68322 WITH SCORE 68492.005
AT ITER 9593 NEW BEST:: SOT 382910 SOS 170121 HAS SOPS 162275 HAS SOUS 69446 HAS SOUPS 68318 WITH SCORE 68488.121
AT ITER 9606 NEW BEST:: SOT 382899 SOS 170110 HAS SOPS 162264 HAS SOUS 69424 HAS SOUPS 68296 WITH SCORE 68466.11
AT ITER 9639 NEW BEST:: SOT 382885 SOS 170086 HAS SOPS 162240 HAS SOUS 69410 HAS SOUPS 68282 WITH SCORE 68452.086
AT ITER 9663 NEW BEST:: SOT 382897 SOS 170098 HAS SOPS 162252 HAS SOUS 69181 HAS SOUPS 68053 WITH SCORE 68223.098
AT ITER 9719 NEW BEST:: SOT 382916 SOS 170106 HAS SOPS 162280 HAS SOUS 69164 HAS SOUPS 68036 WITH SCORE 68206.106
AT ITER 9735 NEW BEST:: SOT 382870 SOS 170060 HAS SOPS 162234 HAS SOUS 69072 HAS SOUPS 67944 WITH SCORE 68114.06
AT ITER 9754 NEW BEST:: SOT 382814 SOS 169969 HAS SOPS 162135 HAS SOUS 68951 HAS SOUPS 67823 WITH SCORE 67992.969
AT ITER 9772 NEW BEST:: SOT 382800 SOS 169941 HAS SOPS 162107 HAS SOUS 68923 HAS SOUPS 67795 WITH SCORE 67964.941
AT ITER 9773 NEW BEST:: SOT 382796 SOS 169937 HAS SOPS 162103 HAS SOUS 68910 HAS SOUPS 67782 WITH SCORE 67951.937
AT ITER 9790 NEW BEST:: SOT 382724 SOS 169865 HAS SOPS 162031 HAS SOUS 68829 HAS SOUPS 67701 WITH SCORE 67870.865
AT ITER 9794 NEW BEST:: SOT 382714 SOS 169855 HAS SOPS 162011 HAS SOUS 68820 HAS SOUPS 67688 WITH SCORE 67857.855
AT ITER 9804 NEW BEST:: SOT 382714 SOS 169852 HAS SOPS 162008 HAS SOUS 68811 HAS SOUPS 67679 WITH SCORE 67848.852
AT ITER 9890 NEW BEST:: SOT 382712 SOS 169850 HAS SOPS 162006 HAS SOUS 68808 HAS SOUPS 67676 WITH SCORE 67845.85
AT ITER 9892 NEW BEST:: SOT 382712 SOS 169844 HAS SOPS 162000 HAS SOUS 68804 HAS SOUPS 67672 WITH SCORE 67841.844
AT ITER 9918 NEW BEST:: SOT 382710 SOS 169847 HAS SOPS 161996 HAS SOUS 68802 HAS SOUPS 67670 WITH SCORE 67839.847
AT ITER 9939 NEW BEST:: SOT 382702 SOS 169831 HAS SOPS 161980 HAS SOUS 68786 HAS SOUPS 67654 WITH SCORE 67823.831
AT ITER 9956 NEW BEST:: SOT 382688 SOS 169831 HAS SOPS 161980 HAS SOUS 68758 HAS SOUPS 67626 WITH SCORE 67795.831
AT ITER 9981 NEW BEST:: SOT 382701 SOS 169684 HAS SOPS 161833 HAS SOUS 68751 HAS SOUPS 67619 WITH SCORE 67788.684
AT ITER 9992 NEW BEST:: SOT 382060 SOS 169043 HAS SOPS 161192 HAS SOUS 68589 HAS SOUPS 67457 WITH SCORE 67626.043
AT ITER 9996 NEW BEST:: SOT 382060 SOS 169040 HAS SOPS 161189 HAS SOUS 68586 HAS SOUPS 67454 WITH SCORE 67623.04

BK_TIME_CONFINEMENT_REACHED

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

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-S02J04T08"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S02J04T08, 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 r123-tajo-158961354700424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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