Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r227-tall-167856410800688.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Medical-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410800688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 14:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 25 14:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678622988459

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Medical-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1171486 SOS 639970 HAS SOPS 636874 HAS SOUS 256115 HAS SOUPS 253298 WITH SCORE 253937.97
AT ITER 2 NEW BEST:: SOT 1170193 SOS 638940 HAS SOPS 635883 HAS SOUS 255035 HAS SOUPS 252218 WITH SCORE 252856.94
AT ITER 4 NEW BEST:: SOT 1169825 SOS 638572 HAS SOPS 635515 HAS SOUS 254354 HAS SOUPS 251537 WITH SCORE 252175.572
AT ITER 8 NEW BEST:: SOT 1169823 SOS 638570 HAS SOPS 635513 HAS SOUS 254325 HAS SOUPS 251508 WITH SCORE 252146.57
AT ITER 9 NEW BEST:: SOT 1169823 SOS 638570 HAS SOPS 635513 HAS SOUS 254319 HAS SOUPS 251502 WITH SCORE 252140.57
AT ITER 21 NEW BEST:: SOT 1169823 SOS 638570 HAS SOPS 635513 HAS SOUS 254014 HAS SOUPS 251197 WITH SCORE 251835.57
AT ITER 25 NEW BEST:: SOT 1169013 SOS 626393 HAS SOPS 622731 HAS SOUS 253178 HAS SOUPS 250361 WITH SCORE 250987.393
AT ITER 31 NEW BEST:: SOT 1169229 SOS 629771 HAS SOPS 626118 HAS SOUS 251599 HAS SOUPS 248782 WITH SCORE 249411.771
AT ITER 33 NEW BEST:: SOT 1169229 SOS 629771 HAS SOPS 626118 HAS SOUS 251589 HAS SOUPS 248772 WITH SCORE 249401.771
AT ITER 36 NEW BEST:: SOT 1169027 SOS 629611 HAS SOPS 625958 HAS SOUS 251510 HAS SOUPS 248693 WITH SCORE 249322.611
AT ITER 37 NEW BEST:: SOT 1168769 SOS 629171 HAS SOPS 625280 HAS SOUS 251280 HAS SOUPS 248463 WITH SCORE 249092.171
AT ITER 42 NEW BEST:: SOT 1168465 SOS 628867 HAS SOPS 624976 HAS SOUS 250744 HAS SOUPS 247927 WITH SCORE 248555.867
AT ITER 47 NEW BEST:: SOT 1168427 SOS 628303 HAS SOPS 624523 HAS SOUS 246345 HAS SOUPS 243566 WITH SCORE 244194.303
AT ITER 50 NEW BEST:: SOT 1168381 SOS 639897 HAS SOPS 636117 HAS SOUS 246297 HAS SOUPS 243518 WITH SCORE 244157.897
AT ITER 54 NEW BEST:: SOT 1168341 SOS 639327 HAS SOPS 635651 HAS SOUS 243025 HAS SOUPS 240286 WITH SCORE 240925.327
AT ITER 56 NEW BEST:: SOT 1168341 SOS 641175 HAS SOPS 637499 HAS SOUS 241374 HAS SOUPS 238635 WITH SCORE 239276.175
AT ITER 57 NEW BEST:: SOT 1168341 SOS 641919 HAS SOPS 638243 HAS SOUS 241241 HAS SOUPS 238502 WITH SCORE 239143.919
AT ITER 61 NEW BEST:: SOT 1168341 SOS 641919 HAS SOPS 638243 HAS SOUS 241023 HAS SOUPS 238284 WITH SCORE 238925.919
AT ITER 62 NEW BEST:: SOT 1154160 SOS 627778 HAS SOPS 624102 HAS SOUS 226537 HAS SOUPS 223798 WITH SCORE 224425.778
AT ITER 67 NEW BEST:: SOT 1154152 SOS 627770 HAS SOPS 624094 HAS SOUS 226424 HAS SOUPS 223685 WITH SCORE 224312.77
AT ITER 70 NEW BEST:: SOT 1154152 SOS 628276 HAS SOPS 623608 HAS SOUS 226423 HAS SOUPS 222692 WITH SCORE 223320.276
AT ITER 71 NEW BEST:: SOT 1154152 SOS 627484 HAS SOPS 622816 HAS SOUS 226423 HAS SOUPS 222692 WITH SCORE 223319.484
AT ITER 78 NEW BEST:: SOT 1154061 SOS 632211 HAS SOPS 627566 HAS SOUS 225813 HAS SOUPS 222082 WITH SCORE 222714.211
AT ITER 84 NEW BEST:: SOT 1153911 SOS 631850 HAS SOPS 627421 HAS SOUS 224064 HAS SOUPS 220407 WITH SCORE 221038.85
AT ITER 96 NEW BEST:: SOT 1153661 SOS 631645 HAS SOPS 627216 HAS SOUS 223749 HAS SOUPS 220092 WITH SCORE 220723.645
AT ITER 104 NEW BEST:: SOT 1153598 SOS 631582 HAS SOPS 627153 HAS SOUS 223488 HAS SOUPS 219831 WITH SCORE 220462.582
AT ITER 113 NEW BEST:: SOT 1153748 SOS 631732 HAS SOPS 627303 HAS SOUS 223264 HAS SOUPS 219607 WITH SCORE 220238.732
AT ITER 125 NEW BEST:: SOT 1152723 SOS 630100 HAS SOPS 625773 HAS SOUS 221039 HAS SOUPS 217425 WITH SCORE 218055.1
AT ITER 140 NEW BEST:: SOT 1152723 SOS 630100 HAS SOPS 625820 HAS SOUS 220419 HAS SOUPS 216852 WITH SCORE 217482.1
AT ITER 146 NEW BEST:: SOT 1152782 SOS 633291 HAS SOPS 629011 HAS SOUS 218600 HAS SOUPS 215033 WITH SCORE 215666.291
AT ITER 147 NEW BEST:: SOT 1152698 SOS 633207 HAS SOPS 628927 HAS SOUS 218252 HAS SOUPS 214685 WITH SCORE 215318.207
AT ITER 148 NEW BEST:: SOT 1153279 SOS 633788 HAS SOPS 629508 HAS SOUS 218091 HAS SOUPS 214524 WITH SCORE 215157.788
AT ITER 152 NEW BEST:: SOT 1153032 SOS 633543 HAS SOPS 629261 HAS SOUS 218027 HAS SOUPS 214458 WITH SCORE 215091.543
AT ITER 156 NEW BEST:: SOT 1153015 SOS 632449 HAS SOPS 628272 HAS SOUS 215979 HAS SOUPS 212473 WITH SCORE 213105.449
AT ITER 167 NEW BEST:: SOT 1153662 SOS 633096 HAS SOPS 628919 HAS SOUS 215702 HAS SOUPS 212196 WITH SCORE 212829.096
AT ITER 168 NEW BEST:: SOT 1153287 SOS 632327 HAS SOPS 628204 HAS SOUS 214920 HAS SOUPS 211429 WITH SCORE 212061.327
AT ITER 172 NEW BEST:: SOT 1135485 SOS 667802 HAS SOPS 665058 HAS SOUS 197377 HAS SOUPS 194633 WITH SCORE 195300.802
AT ITER 182 NEW BEST:: SOT 1134385 SOS 668046 HAS SOPS 665302 HAS SOUS 196304 HAS SOUPS 193560 WITH SCORE 194228.046
AT ITER 195 NEW BEST:: SOT 1134385 SOS 668046 HAS SOPS 665302 HAS SOUS 195968 HAS SOUPS 193224 WITH SCORE 193892.046
AT ITER 204 NEW BEST:: SOT 1134941 SOS 668346 HAS SOPS 665602 HAS SOUS 193958 HAS SOUPS 191214 WITH SCORE 191882.346
AT ITER 205 NEW BEST:: SOT 1135050 SOS 668523 HAS SOPS 665779 HAS SOUS 193682 HAS SOUPS 190938 WITH SCORE 191606.523
AT ITER 207 NEW BEST:: SOT 1135050 SOS 668523 HAS SOPS 665779 HAS SOUS 193681 HAS SOUPS 190937 WITH SCORE 191605.523
AT ITER 209 NEW BEST:: SOT 1135050 SOS 735044 HAS SOPS 732350 HAS SOUS 193555 HAS SOUPS 190861 WITH SCORE 191596.044
AT ITER 211 NEW BEST:: SOT 1136087 SOS 736052 HAS SOPS 733387 HAS SOUS 192311 HAS SOUPS 189646 WITH SCORE 190382.052
AT ITER 212 NEW BEST:: SOT 1138867 SOS 738795 HAS SOPS 736167 HAS SOUS 191068 HAS SOUPS 188440 WITH SCORE 189178.795
AT ITER 216 NEW BEST:: SOT 1140071 SOS 740217 HAS SOPS 737589 HAS SOUS 190716 HAS SOUPS 188088 WITH SCORE 188828.217
AT ITER 228 NEW BEST:: SOT 1140695 SOS 740841 HAS SOPS 738213 HAS SOUS 190648 HAS SOUPS 188020 WITH SCORE 188760.841
AT ITER 241 NEW BEST:: SOT 1140577 SOS 742199 HAS SOPS 739617 HAS SOUS 190231 HAS SOUPS 187649 WITH SCORE 188391.199
AT ITER 253 NEW BEST:: SOT 1140577 SOS 742172 HAS SOPS 739641 HAS SOUS 189970 HAS SOUPS 187439 WITH SCORE 188181.172
AT ITER 260 NEW BEST:: SOT 1139360 SOS 745107 HAS SOPS 742576 HAS SOUS 189524 HAS SOUPS 186993 WITH SCORE 187738.107
AT ITER 265 NEW BEST:: SOT 1138512 SOS 744299 HAS SOPS 741808 HAS SOUS 188021 HAS SOUPS 185530 WITH SCORE 186274.299
AT ITER 288 NEW BEST:: SOT 1138344 SOS 744131 HAS SOPS 741640 HAS SOUS 187682 HAS SOUPS 185191 WITH SCORE 185935.131
AT ITER 295 NEW BEST:: SOT 1138323 SOS 744110 HAS SOPS 741619 HAS SOUS 187638 HAS SOUPS 185147 WITH SCORE 185891.11
AT ITER 297 NEW BEST:: SOT 1138323 SOS 744141 HAS SOPS 741650 HAS SOUS 187504 HAS SOUPS 185013 WITH SCORE 185757.141
AT ITER 301 NEW BEST:: SOT 1139801 SOS 745783 HAS SOPS 743292 HAS SOUS 186377 HAS SOUPS 183886 WITH SCORE 184631.783
AT ITER 317 NEW BEST:: SOT 1139801 SOS 746318 HAS SOPS 743844 HAS SOUS 186233 HAS SOUPS 183759 WITH SCORE 184505.318
AT ITER 318 NEW BEST:: SOT 1139793 SOS 746310 HAS SOPS 743836 HAS SOUS 186225 HAS SOUPS 183751 WITH SCORE 184497.31
AT ITER 319 NEW BEST:: SOT 1139793 SOS 746313 HAS SOPS 743884 HAS SOUS 184419 HAS SOUPS 181990 WITH SCORE 182736.313
AT ITER 325 NEW BEST:: SOT 1139793 SOS 741898 HAS SOPS 739260 HAS SOUS 184394 HAS SOUPS 181912 WITH SCORE 182653.898
AT ITER 327 NEW BEST:: SOT 1139793 SOS 742954 HAS SOPS 740316 HAS SOUS 184169 HAS SOUPS 181687 WITH SCORE 182429.954
AT ITER 329 NEW BEST:: SOT 1139631 SOS 742792 HAS SOPS 740154 HAS SOUS 182924 HAS SOUPS 180442 WITH SCORE 181184.792
AT ITER 330 NEW BEST:: SOT 1140147 SOS 743339 HAS SOPS 740701 HAS SOUS 182921 HAS SOUPS 180439 WITH SCORE 181182.339
AT ITER 334 NEW BEST:: SOT 1140147 SOS 743011 HAS SOPS 740393 HAS SOUS 182895 HAS SOUPS 180417 WITH SCORE 181160.011
AT ITER 335 NEW BEST:: SOT 1140147 SOS 767563 HAS SOPS 765017 HAS SOUS 181506 HAS SOUPS 179100 WITH SCORE 179867.563
AT ITER 338 NEW BEST:: SOT 1140084 SOS 767500 HAS SOPS 764954 HAS SOUS 181400 HAS SOUPS 178994 WITH SCORE 179761.5
AT ITER 342 NEW BEST:: SOT 1140084 SOS 767526 HAS SOPS 764954 HAS SOUS 181309 HAS SOUPS 178877 WITH SCORE 179644.526
AT ITER 350 NEW BEST:: SOT 1140072 SOS 767877 HAS SOPS 765305 HAS SOUS 181300 HAS SOUPS 178868 WITH SCORE 179635.877
AT ITER 364 NEW BEST:: SOT 1139846 SOS 767651 HAS SOPS 765079 HAS SOUS 181294 HAS SOUPS 178862 WITH SCORE 179629.651
AT ITER 365 NEW BEST:: SOT 1139846 SOS 767651 HAS SOPS 765079 HAS SOUS 181264 HAS SOUPS 178832 WITH SCORE 179599.651
AT ITER 377 NEW BEST:: SOT 1139846 SOS 767651 HAS SOPS 765079 HAS SOUS 180976 HAS SOUPS 178544 WITH SCORE 179311.651
AT ITER 379 NEW BEST:: SOT 1139846 SOS 767651 HAS SOPS 765039 HAS SOUS 180976 HAS SOUPS 178504 WITH SCORE 179271.651
AT ITER 383 NEW BEST:: SOT 1139846 SOS 766923 HAS SOPS 764351 HAS SOUS 180598 HAS SOUPS 178134 WITH SCORE 178900.923
AT ITER 385 NEW BEST:: SOT 1139962 SOS 766995 HAS SOPS 764423 HAS SOUS 180450 HAS SOUPS 177986 WITH SCORE 178752.995
AT ITER 386 NEW BEST:: SOT 1140539 SOS 789974 HAS SOPS 787402 HAS SOUS 179983 HAS SOUPS 177519 WITH SCORE 178308.974
AT ITER 390 NEW BEST:: SOT 1140539 SOS 790006 HAS SOPS 787402 HAS SOUS 179782 HAS SOUPS 177286 WITH SCORE 178076.006
AT ITER 396 NEW BEST:: SOT 1139729 SOS 791308 HAS SOPS 788704 HAS SOUS 179339 HAS SOUPS 176843 WITH SCORE 177634.308
AT ITER 400 NEW BEST:: SOT 1138675 SOS 790254 HAS SOPS 787650 HAS SOUS 178993 HAS SOUPS 176497 WITH SCORE 177287.254
AT ITER 404 NEW BEST:: SOT 1138701 SOS 790280 HAS SOPS 787676 HAS SOUS 178458 HAS SOUPS 175962 WITH SCORE 176752.28
AT ITER 406 NEW BEST:: SOT 1138701 SOS 790280 HAS SOPS 787667 HAS SOUS 178458 HAS SOUPS 175953 WITH SCORE 176743.28
AT ITER 407 NEW BEST:: SOT 1138701 SOS 790272 HAS SOPS 787659 HAS SOUS 178454 HAS SOUPS 175949 WITH SCORE 176739.272
AT ITER 414 NEW BEST:: SOT 1140685 SOS 792461 HAS SOPS 789919 HAS SOUS 178268 HAS SOUPS 175834 WITH SCORE 176626.461
AT ITER 418 NEW BEST:: SOT 1141518 SOS 793294 HAS SOPS 790752 HAS SOUS 177714 HAS SOUPS 175280 WITH SCORE 176073.294
AT ITER 420 NEW BEST:: SOT 1141208 SOS 792885 HAS SOPS 790322 HAS SOUS 177521 HAS SOUPS 175066 WITH SCORE 175858.885
AT ITER 421 NEW BEST:: SOT 1141208 SOS 792909 HAS SOPS 790346 HAS SOUS 177456 HAS SOUPS 175001 WITH SCORE 175793.909
AT ITER 431 NEW BEST:: SOT 1139166 SOS 790867 HAS SOPS 788304 HAS SOUS 177235 HAS SOUPS 174780 WITH SCORE 175570.867
AT ITER 446 NEW BEST:: SOT 1138337 SOS 790254 HAS SOPS 787691 HAS SOUS 176498 HAS SOUPS 174043 WITH SCORE 174833.254
AT ITER 448 NEW BEST:: SOT 1136615 SOS 788532 HAS SOPS 785969 HAS SOUS 176251 HAS SOUPS 173796 WITH SCORE 174584.532
AT ITER 456 NEW BEST:: SOT 1137221 SOS 789107 HAS SOPS 786575 HAS SOUS 175118 HAS SOUPS 172694 WITH SCORE 173483.107
AT ITER 460 NEW BEST:: SOT 1136644 SOS 790853 HAS SOPS 788088 HAS SOUS 175128 HAS SOUPS 172604 WITH SCORE 173394.853
AT ITER 463 NEW BEST:: SOT 1136653 SOS 790824 HAS SOPS 788097 HAS SOUS 174903 HAS SOUPS 172417 WITH SCORE 173207.824
AT ITER 472 NEW BEST:: SOT 1136653 SOS 790851 HAS SOPS 788124 HAS SOUS 174894 HAS SOUPS 172408 WITH SCORE 173198.851
AT ITER 473 NEW BEST:: SOT 1136613 SOS 772933 HAS SOPS 769967 HAS SOUS 174748 HAS SOUPS 172222 WITH SCORE 172994.933
AT ITER 474 NEW BEST:: SOT 1136509 SOS 772829 HAS SOPS 769863 HAS SOUS 174748 HAS SOUPS 172222 WITH SCORE 172994.829
AT ITER 488 NEW BEST:: SOT 1138236 SOS 774545 HAS SOPS 771590 HAS SOUS 173420 HAS SOUPS 170905 WITH SCORE 171679.545
AT ITER 500 NEW BEST:: SOT 1138236 SOS 774445 HAS SOPS 771490 HAS SOUS 173420 HAS SOUPS 170905 WITH SCORE 171679.445
AT ITER 504 NEW BEST:: SOT 1138978 SOS 775187 HAS SOPS 772232 HAS SOUS 173049 HAS SOUPS 170534 WITH SCORE 171309.187
AT ITER 508 NEW BEST:: SOT 1138978 SOS 775187 HAS SOPS 772232 HAS SOUS 172824 HAS SOUPS 170309 WITH SCORE 171084.187
AT ITER 514 NEW BEST:: SOT 1138954 SOS 775151 HAS SOPS 772176 HAS SOUS 172836 HAS SOUPS 170301 WITH SCORE 171076.151
AT ITER 517 NEW BEST:: SOT 1139031 SOS 775228 HAS SOPS 772253 HAS SOUS 172728 HAS SOUPS 170193 WITH SCORE 170968.228
AT ITER 523 NEW BEST:: SOT 1139031 SOS 775025 HAS SOPS 772079 HAS SOUS 172699 HAS SOUPS 170164 WITH SCORE 170939.025
AT ITER 524 NEW BEST:: SOT 1138866 SOS 774860 HAS SOPS 771914 HAS SOUS 172210 HAS SOUPS 169675 WITH SCORE 170449.86
AT ITER 539 NEW BEST:: SOT 1138666 SOS 776316 HAS SOPS 773370 HAS SOUS 171300 HAS SOUPS 168765 WITH SCORE 169541.316
AT ITER 544 NEW BEST:: SOT 1138765 SOS 776415 HAS SOPS 773469 HAS SOUS 171014 HAS SOUPS 168479 WITH SCORE 169255.415
AT ITER 553 NEW BEST:: SOT 1138765 SOS 776574 HAS SOPS 773628 HAS SOUS 171005 HAS SOUPS 168470 WITH SCORE 169246.574
AT ITER 568 NEW BEST:: SOT 1136226 SOS 774035 HAS SOPS 771089 HAS SOUS 170866 HAS SOUPS 168331 WITH SCORE 169105.035
AT ITER 576 NEW BEST:: SOT 1136941 SOS 774750 HAS SOPS 771804 HAS SOUS 170789 HAS SOUPS 168254 WITH SCORE 169028.75
AT ITER 577 NEW BEST:: SOT 1136941 SOS 774727 HAS SOPS 771781 HAS SOUS 170728 HAS SOUPS 168193 WITH SCORE 168967.727
AT ITER 587 NEW BEST:: SOT 1137037 SOS 774787 HAS SOPS 771877 HAS SOUS 168755 HAS SOUPS 166256 WITH SCORE 167030.787
AT ITER 597 NEW BEST:: SOT 1136972 SOS 774722 HAS SOPS 771812 HAS SOUS 168486 HAS SOUPS 165987 WITH SCORE 166761.722
AT ITER 602 NEW BEST:: SOT 1136986 SOS 774156 HAS SOPS 771274 HAS SOUS 167678 HAS SOUPS 165186 WITH SCORE 165960.156
AT ITER 605 NEW BEST:: SOT 1136986 SOS 774156 HAS SOPS 771274 HAS SOUS 167622 HAS SOUPS 165130 WITH SCORE 165904.156
AT ITER 614 NEW BEST:: SOT 1134872 SOS 771668 HAS SOPS 768696 HAS SOUS 166853 HAS SOUPS 164356 WITH SCORE 165127.668
AT ITER 616 NEW BEST:: SOT 1134939 SOS 771735 HAS SOPS 768763 HAS SOUS 166620 HAS SOUPS 164123 WITH SCORE 164894.735
AT ITER 635 NEW BEST:: SOT 1134946 SOS 771353 HAS SOPS 768400 HAS SOUS 166540 HAS SOUPS 164048 WITH SCORE 164819.353
AT ITER 638 NEW BEST:: SOT 1137350 SOS 773743 HAS SOPS 770804 HAS SOUS 165059 HAS SOUPS 162581 WITH SCORE 163354.743
AT ITER 643 NEW BEST:: SOT 1137350 SOS 776511 HAS SOPS 773593 HAS SOUS 165042 HAS SOUPS 162567 WITH SCORE 163343.511
AT ITER 649 NEW BEST:: SOT 1137350 SOS 776455 HAS SOPS 773537 HAS SOUS 165028 HAS SOUPS 162553 WITH SCORE 163329.455
AT ITER 654 NEW BEST:: SOT 1136246 SOS 775351 HAS SOPS 772433 HAS SOUS 164769 HAS SOUPS 162294 WITH SCORE 163069.351
AT ITER 656 NEW BEST:: SOT 1136261 SOS 775281 HAS SOPS 772408 HAS SOUS 164600 HAS SOUPS 162170 WITH SCORE 162945.281
AT ITER 658 NEW BEST:: SOT 1136276 SOS 775296 HAS SOPS 772423 HAS SOUS 164570 HAS SOUPS 162140 WITH SCORE 162915.296
AT ITER 668 NEW BEST:: SOT 1134549 SOS 774889 HAS SOPS 772016 HAS SOUS 164431 HAS SOUPS 162001 WITH SCORE 162775.889
AT ITER 671 NEW BEST:: SOT 1134900 SOS 775552 HAS SOPS 772679 HAS SOUS 163726 HAS SOUPS 161296 WITH SCORE 162071.552
AT ITER 678 NEW BEST:: SOT 1134900 SOS 775552 HAS SOPS 772679 HAS SOUS 163716 HAS SOUPS 161286 WITH SCORE 162061.552
AT ITER 681 NEW BEST:: SOT 1134338 SOS 774990 HAS SOPS 772117 HAS SOUS 162263 HAS SOUPS 159833 WITH SCORE 160607.99
AT ITER 697 NEW BEST:: SOT 1135402 SOS 776252 HAS SOPS 773453 HAS SOUS 161429 HAS SOUPS 159073 WITH SCORE 159849.252
AT ITER 701 NEW BEST:: SOT 1135402 SOS 776252 HAS SOPS 773453 HAS SOUS 161372 HAS SOUPS 159016 WITH SCORE 159792.252
AT ITER 708 NEW BEST:: SOT 1135430 SOS 776694 HAS SOPS 773895 HAS SOUS 161322 HAS SOUPS 158966 WITH SCORE 159742.694
AT ITER 712 NEW BEST:: SOT 1135430 SOS 776792 HAS SOPS 773993 HAS SOUS 160195 HAS SOUPS 157839 WITH SCORE 158615.792
AT ITER 713 NEW BEST:: SOT 1134217 SOS 775579 HAS SOPS 772780 HAS SOUS 160062 HAS SOUPS 157706 WITH SCORE 158481.579
AT ITER 722 NEW BEST:: SOT 1136066 SOS 777428 HAS SOPS 774629 HAS SOUS 158621 HAS SOUPS 156265 WITH SCORE 157042.428
AT ITER 727 NEW BEST:: SOT 1135649 SOS 777236 HAS SOPS 774437 HAS SOUS 158498 HAS SOUPS 156142 WITH SCORE 156919.236
AT ITER 738 NEW BEST:: SOT 1135587 SOS 777270 HAS SOPS 774471 HAS SOUS 157876 HAS SOUPS 155520 WITH SCORE 156297.27
AT ITER 749 NEW BEST:: SOT 1135581 SOS 777264 HAS SOPS 774465 HAS SOUS 157870 HAS SOUPS 155514 WITH SCORE 156291.264
AT ITER 764 NEW BEST:: SOT 1135639 SOS 775702 HAS SOPS 772913 HAS SOUS 157768 HAS SOUPS 155422 WITH SCORE 156197.702
AT ITER 766 NEW BEST:: SOT 1135639 SOS 775702 HAS SOPS 772913 HAS SOUS 157727 HAS SOUPS 155381 WITH SCORE 156156.702
AT ITER 775 NEW BEST:: SOT 1135639 SOS 775702 HAS SOPS 772913 HAS SOUS 157285 HAS SOUPS 154939 WITH SCORE 155714.702
AT ITER 798 NEW BEST:: SOT 1135643 SOS 775814 HAS SOPS 773061 HAS SOUS 157174 HAS SOUPS 154864 WITH SCORE 155639.814
AT ITER 806 NEW BEST:: SOT 1135262 SOS 775433 HAS SOPS 772680 HAS SOUS 156376 HAS SOUPS 154066 WITH SCORE 154841.433
AT ITER 826 NEW BEST:: SOT 1134836 SOS 778182 HAS SOPS 775429 HAS SOUS 155913 HAS SOUPS 153603 WITH SCORE 154381.182
AT ITER 827 NEW BEST:: SOT 1134410 SOS 779268 HAS SOPS 776515 HAS SOUS 155748 HAS SOUPS 153438 WITH SCORE 154217.268
AT ITER 830 NEW BEST:: SOT 1134098 SOS 778956 HAS SOPS 776203 HAS SOUS 155735 HAS SOUPS 153425 WITH SCORE 154203.956
AT ITER 834 NEW BEST:: SOT 1133963 SOS 781509 HAS SOPS 778756 HAS SOUS 155641 HAS SOUPS 153331 WITH SCORE 154112.509
AT ITER 836 NEW BEST:: SOT 1134061 SOS 781887 HAS SOPS 779134 HAS SOUS 155611 HAS SOUPS 153301 WITH SCORE 154082.887
AT ITER 840 NEW BEST:: SOT 1134041 SOS 781867 HAS SOPS 779114 HAS SOUS 155569 HAS SOUPS 153259 WITH SCORE 154040.867
AT ITER 855 NEW BEST:: SOT 1134006 SOS 782482 HAS SOPS 779729 HAS SOUS 155531 HAS SOUPS 153221 WITH SCORE 154003.482
AT ITER 857 NEW BEST:: SOT 1133907 SOS 782383 HAS SOPS 779630 HAS SOUS 155255 HAS SOUPS 152945 WITH SCORE 153727.383
AT ITER 860 NEW BEST:: SOT 1133907 SOS 782383 HAS SOPS 779630 HAS SOUS 155242 HAS SOUPS 152932 WITH SCORE 153714.383
AT ITER 865 NEW BEST:: SOT 1133907 SOS 780643 HAS SOPS 777890 HAS SOUS 155228 HAS SOUPS 152918 WITH SCORE 153698.643
AT ITER 867 NEW BEST:: SOT 1133775 SOS 780567 HAS SOPS 777814 HAS SOUS 154664 HAS SOUPS 152354 WITH SCORE 153134.567
AT ITER 872 NEW BEST:: SOT 1133786 SOS 780578 HAS SOPS 777825 HAS SOUS 154632 HAS SOUPS 152322 WITH SCORE 153102.578
AT ITER 873 NEW BEST:: SOT 1133794 SOS 780586 HAS SOPS 777833 HAS SOUS 154616 HAS SOUPS 152306 WITH SCORE 153086.586
AT ITER 878 NEW BEST:: SOT 1133815 SOS 780607 HAS SOPS 777854 HAS SOUS 154553 HAS SOUPS 152243 WITH SCORE 153023.607
AT ITER 882 NEW BEST:: SOT 1135210 SOS 782194 HAS SOPS 779441 HAS SOUS 153505 HAS SOUPS 151195 WITH SCORE 151977.194
AT ITER 887 NEW BEST:: SOT 1134637 SOS 779535 HAS SOPS 777008 HAS SOUS 153013 HAS SOUPS 150861 WITH SCORE 151640.535
AT ITER 890 NEW BEST:: SOT 1135119 SOS 780694 HAS SOPS 778304 HAS SOUS 152381 HAS SOUPS 150366 WITH SCORE 151146.694
AT ITER 896 NEW BEST:: SOT 1135119 SOS 780702 HAS SOPS 778312 HAS SOUS 152333 HAS SOUPS 150318 WITH SCORE 151098.702
AT ITER 903 NEW BEST:: SOT 1135170 SOS 780753 HAS SOPS 778363 HAS SOUS 152234 HAS SOUPS 150219 WITH SCORE 150999.753
AT ITER 907 NEW BEST:: SOT 1135439 SOS 780992 HAS SOPS 778632 HAS SOUS 151350 HAS SOUPS 149365 WITH SCORE 150145.992
AT ITER 909 NEW BEST:: SOT 1135122 SOS 780675 HAS SOPS 778315 HAS SOUS 151167 HAS SOUPS 149182 WITH SCORE 149962.675
AT ITER 915 NEW BEST:: SOT 1135018 SOS 780571 HAS SOPS 778619 HAS SOUS 150580 HAS SOUPS 149003 WITH SCORE 149783.571
AT ITER 919 NEW BEST:: SOT 1135102 SOS 780100 HAS SOPS 778275 HAS SOUS 150391 HAS SOUPS 148828 WITH SCORE 149608.1
AT ITER 926 NEW BEST:: SOT 1135321 SOS 780319 HAS SOPS 778494 HAS SOUS 150139 HAS SOUPS 148576 WITH SCORE 149356.319
AT ITER 929 NEW BEST:: SOT 1135741 SOS 780728 HAS SOPS 778914 HAS SOUS 149922 HAS SOUPS 148370 WITH SCORE 149150.728
AT ITER 933 NEW BEST:: SOT 1135569 SOS 780556 HAS SOPS 778742 HAS SOUS 149679 HAS SOUPS 148127 WITH SCORE 148907.556
AT ITER 937 NEW BEST:: SOT 1135569 SOS 780556 HAS SOPS 778742 HAS SOUS 149655 HAS SOUPS 148103 WITH SCORE 148883.556
AT ITER 942 NEW BEST:: SOT 1134304 SOS 779313 HAS SOPS 777499 HAS SOUS 149141 HAS SOUPS 147589 WITH SCORE 148368.313
AT ITER 946 NEW BEST:: SOT 1134304 SOS 758846 HAS SOPS 757032 HAS SOUS 149119 HAS SOUPS 147567 WITH SCORE 148325.846
AT ITER 954 NEW BEST:: SOT 1134304 SOS 758846 HAS SOPS 757032 HAS SOUS 149075 HAS SOUPS 147523 WITH SCORE 148281.846
AT ITER 960 NEW BEST:: SOT 1134283 SOS 758825 HAS SOPS 757011 HAS SOUS 148957 HAS SOUPS 147405 WITH SCORE 148163.825
AT ITER 965 NEW BEST:: SOT 1134541 SOS 759083 HAS SOPS 757269 HAS SOUS 148759 HAS SOUPS 147207 WITH SCORE 147966.083
AT ITER 966 NEW BEST:: SOT 1134541 SOS 759235 HAS SOPS 757421 HAS SOUS 148649 HAS SOUPS 147097 WITH SCORE 147856.235
AT ITER 968 NEW BEST:: SOT 1134659 SOS 759577 HAS SOPS 757763 HAS SOUS 148513 HAS SOUPS 146961 WITH SCORE 147720.577
AT ITER 982 NEW BEST:: SOT 1136434 SOS 764252 HAS SOPS 762322 HAS SOUS 148235 HAS SOUPS 146567 WITH SCORE 147331.252
AT ITER 984 NEW BEST:: SOT 1136899 SOS 764693 HAS SOPS 762787 HAS SOUS 148149 HAS SOUPS 146505 WITH SCORE 147269.693
AT ITER 993 NEW BEST:: SOT 1136291 SOS 764131 HAS SOPS 762225 HAS SOUS 147286 HAS SOUPS 145642 WITH SCORE 146406.131
AT ITER 995 NEW BEST:: SOT 1136384 SOS 764241 HAS SOPS 762318 HAS SOUS 146918 HAS SOUPS 145257 WITH SCORE 146021.241
AT ITER 996 NEW BEST:: SOT 1136384 SOS 763340 HAS SOPS 761506 HAS SOUS 146565 HAS SOUPS 144933 WITH SCORE 145696.34
AT ITER 1000 NEW BEST:: SOT 1136224 SOS 763180 HAS SOPS 761346 HAS SOUS 146301 HAS SOUPS 144669 WITH SCORE 145432.18
AT ITER 1011 NEW BEST:: SOT 1138507 SOS 769588 HAS SOPS 767977 HAS SOUS 145791 HAS SOUPS 144382 WITH SCORE 145151.588
AT ITER 1013 NEW BEST:: SOT 1138549 SOS 769966 HAS SOPS 768355 HAS SOUS 145784 HAS SOUPS 144375 WITH SCORE 145144.966
AT ITER 1014 NEW BEST:: SOT 1138495 SOS 749461 HAS SOPS 747850 HAS SOUS 145762 HAS SOUPS 144353 WITH SCORE 145102.461
AT ITER 1018 NEW BEST:: SOT 1138525 SOS 749631 HAS SOPS 748020 HAS SOUS 145748 HAS SOUPS 144339 WITH SCORE 145088.631
AT ITER 1026 NEW BEST:: SOT 1138525 SOS 749706 HAS SOPS 748098 HAS SOUS 145709 HAS SOUPS 144303 WITH SCORE 145052.706
AT ITER 1027 NEW BEST:: SOT 1138514 SOS 749695 HAS SOPS 748087 HAS SOUS 145698 HAS SOUPS 144292 WITH SCORE 145041.695
AT ITER 1029 NEW BEST:: SOT 1138226 SOS 753775 HAS SOPS 752167 HAS SOUS 143888 HAS SOUPS 142482 WITH SCORE 143235.775
AT ITER 1034 NEW BEST:: SOT 1138226 SOS 748693 HAS SOPS 747085 HAS SOUS 143878 HAS SOUPS 142472 WITH SCORE 143220.693
AT ITER 1037 NEW BEST:: SOT 1136774 SOS 747303 HAS SOPS 745695 HAS SOUS 141867 HAS SOUPS 140461 WITH SCORE 141208.303
AT ITER 1051 NEW BEST:: SOT 1134624 SOS 746348 HAS SOPS 744517 HAS SOUS 141742 HAS SOUPS 140113 WITH SCORE 140859.348
AT ITER 1062 NEW BEST:: SOT 1134654 SOS 746570 HAS SOPS 744739 HAS SOUS 141722 HAS SOUPS 140093 WITH SCORE 140839.57
AT ITER 1064 NEW BEST:: SOT 1134404 SOS 746320 HAS SOPS 744489 HAS SOUS 141480 HAS SOUPS 139851 WITH SCORE 140597.32
AT ITER 1074 NEW BEST:: SOT 1133744 SOS 745660 HAS SOPS 743829 HAS SOUS 140638 HAS SOUPS 139009 WITH SCORE 139754.66
AT ITER 1075 NEW BEST:: SOT 1133702 SOS 745618 HAS SOPS 743787 HAS SOUS 140554 HAS SOUPS 138925 WITH SCORE 139670.618
AT ITER 1082 NEW BEST:: SOT 1133429 SOS 748033 HAS SOPS 746202 HAS SOUS 140398 HAS SOUPS 138769 WITH SCORE 139517.033
AT ITER 1088 NEW BEST:: SOT 1133518 SOS 748122 HAS SOPS 746294 HAS SOUS 140182 HAS SOUPS 138558 WITH SCORE 139306.122
AT ITER 1089 NEW BEST:: SOT 1133915 SOS 748519 HAS SOPS 746691 HAS SOUS 139245 HAS SOUPS 137621 WITH SCORE 138369.519
AT ITER 1109 NEW BEST:: SOT 1134162 SOS 748766 HAS SOPS 746938 HAS SOUS 139085 HAS SOUPS 137461 WITH SCORE 138209.766
AT ITER 1111 NEW BEST:: SOT 1133784 SOS 748388 HAS SOPS 746560 HAS SOUS 138707 HAS SOUPS 137083 WITH SCORE 137831.388
AT ITER 1119 NEW BEST:: SOT 1133953 SOS 748469 HAS SOPS 746641 HAS SOUS 138686 HAS SOUPS 137062 WITH SCORE 137810.469
AT ITER 1120 NEW BEST:: SOT 1131295 SOS 745811 HAS SOPS 743983 HAS SOUS 136929 HAS SOUPS 135305 WITH SCORE 136050.811
AT ITER 1123 NEW BEST:: SOT 1131295 SOS 745587 HAS SOPS 743803 HAS SOUS 136761 HAS SOUPS 135181 WITH SCORE 135926.587
AT ITER 1127 NEW BEST:: SOT 1130577 SOS 744847 HAS SOPS 743063 HAS SOUS 136112 HAS SOUPS 134532 WITH SCORE 135276.847
AT ITER 1129 NEW BEST:: SOT 1130577 SOS 745927 HAS SOPS 744143 HAS SOUS 136099 HAS SOUPS 134519 WITH SCORE 135264.927
AT ITER 1134 NEW BEST:: SOT 1131111 SOS 746461 HAS SOPS 744677 HAS SOUS 136009 HAS SOUPS 134429 WITH SCORE 135175.461
AT ITER 1151 NEW BEST:: SOT 1131280 SOS 746630 HAS SOPS 744846 HAS SOUS 135853 HAS SOUPS 134273 WITH SCORE 135019.63
AT ITER 1166 NEW BEST:: SOT 1131235 SOS 746585 HAS SOPS 744801 HAS SOUS 135628 HAS SOUPS 134048 WITH SCORE 134794.585
AT ITER 1171 NEW BEST:: SOT 1129466 SOS 745824 HAS SOPS 744040 HAS SOUS 133981 HAS SOUPS 132401 WITH SCORE 133146.824
AT ITER 1181 NEW BEST:: SOT 1129466 SOS 745824 HAS SOPS 744040 HAS SOUS 133913 HAS SOUPS 132333 WITH SCORE 133078.824
AT ITER 1182 NEW BEST:: SOT 1128002 SOS 744328 HAS SOPS 742544 HAS SOUS 133284 HAS SOUPS 131704 WITH SCORE 132448.328
AT ITER 1198 NEW BEST:: SOT 1128002 SOS 744210 HAS SOPS 742426 HAS SOUS 133225 HAS SOUPS 131645 WITH SCORE 132389.21
AT ITER 1232 NEW BEST:: SOT 1128497 SOS 744705 HAS SOPS 742921 HAS SOUS 132882 HAS SOUPS 131302 WITH SCORE 132046.705
AT ITER 1240 NEW BEST:: SOT 1128276 SOS 741484 HAS SOPS 739700 HAS SOUS 131178 HAS SOUPS 129598 WITH SCORE 130339.484
AT ITER 1243 NEW BEST:: SOT 1128348 SOS 743390 HAS SOPS 741527 HAS SOUS 131160 HAS SOUPS 129501 WITH SCORE 130244.39
AT ITER 1249 NEW BEST:: SOT 1129281 SOS 744323 HAS SOPS 742460 HAS SOUS 129305 HAS SOUPS 127646 WITH SCORE 128390.323
AT ITER 1265 NEW BEST:: SOT 1129200 SOS 744242 HAS SOPS 742379 HAS SOUS 128535 HAS SOUPS 126876 WITH SCORE 127620.242
AT ITER 1275 NEW BEST:: SOT 1128690 SOS 743732 HAS SOPS 741869 HAS SOUS 127361 HAS SOUPS 125702 WITH SCORE 126445.732
AT ITER 1277 NEW BEST:: SOT 1128662 SOS 743704 HAS SOPS 741841 HAS SOUS 127357 HAS SOUPS 125698 WITH SCORE 126441.704
AT ITER 1280 NEW BEST:: SOT 1128678 SOS 743912 HAS SOPS 742049 HAS SOUS 127349 HAS SOUPS 125690 WITH SCORE 126433.912
AT ITER 1283 NEW BEST:: SOT 1128287 SOS 745633 HAS SOPS 743770 HAS SOUS 127128 HAS SOUPS 125469 WITH SCORE 126214.633
AT ITER 1296 NEW BEST:: SOT 1128480 SOS 745932 HAS SOPS 744069 HAS SOUS 126912 HAS SOUPS 125253 WITH SCORE 125998.932
AT ITER 1298 NEW BEST:: SOT 1128480 SOS 745468 HAS SOPS 743621 HAS SOUS 126838 HAS SOUPS 125183 WITH SCORE 125928.468
AT ITER 1303 NEW BEST:: SOT 1128480 SOS 747192 HAS SOPS 745345 HAS SOUS 126829 HAS SOUPS 125174 WITH SCORE 125921.192
AT ITER 1304 NEW BEST:: SOT 1125824 SOS 745424 HAS SOPS 743577 HAS SOUS 126467 HAS SOUPS 124812 WITH SCORE 125557.424
AT ITER 1311 NEW BEST:: SOT 1125908 SOS 746300 HAS SOPS 744453 HAS SOUS 126366 HAS SOUPS 124711 WITH SCORE 125457.3
AT ITER 1316 NEW BEST:: SOT 1126293 SOS 746685 HAS SOPS 744838 HAS SOUS 125795 HAS SOUPS 124140 WITH SCORE 124886.685
AT ITER 1325 NEW BEST:: SOT 1126293 SOS 746681 HAS SOPS 744834 HAS SOUS 125791 HAS SOUPS 124136 WITH SCORE 124882.681
AT ITER 1327 NEW BEST:: SOT 1126293 SOS 746661 HAS SOPS 744814 HAS SOUS 125778 HAS SOUPS 124123 WITH SCORE 124869.661
AT ITER 1353 NEW BEST:: SOT 1126293 SOS 746573 HAS SOPS 744726 HAS SOUS 125756 HAS SOUPS 124101 WITH SCORE 124847.573
AT ITER 1357 NEW BEST:: SOT 1128439 SOS 751944 HAS SOPS 749968 HAS SOUS 125800 HAS SOUPS 124016 WITH SCORE 124767.944
AT ITER 1361 NEW BEST:: SOT 1128443 SOS 751948 HAS SOPS 749972 HAS SOUS 125782 HAS SOUPS 123998 WITH SCORE 124749.948
AT ITER 1362 NEW BEST:: SOT 1128643 SOS 753780 HAS SOPS 751804 HAS SOUS 125513 HAS SOUPS 123729 WITH SCORE 124482.78
AT ITER 1371 NEW BEST:: SOT 1128638 SOS 753775 HAS SOPS 751799 HAS SOUS 125508 HAS SOUPS 123724 WITH SCORE 124477.775
AT ITER 1388 NEW BEST:: SOT 1128648 SOS 755081 HAS SOPS 753105 HAS SOUS 125498 HAS SOUPS 123714 WITH SCORE 124469.081
AT ITER 1393 NEW BEST:: SOT 1128648 SOS 755081 HAS SOPS 753105 HAS SOUS 125438 HAS SOUPS 123654 WITH SCORE 124409.081
AT ITER 1404 NEW BEST:: SOT 1128638 SOS 755071 HAS SOPS 753087 HAS SOUS 125426 HAS SOUPS 123634 WITH SCORE 124389.071
AT ITER 1412 NEW BEST:: SOT 1128638 SOS 754303 HAS SOPS 752319 HAS SOUS 125409 HAS SOUPS 123617 WITH SCORE 124371.303
AT ITER 1423 NEW BEST:: SOT 1128728 SOS 754393 HAS SOPS 752409 HAS SOUS 125362 HAS SOUPS 123570 WITH SCORE 124324.393
AT ITER 1426 NEW BEST:: SOT 1129864 SOS 755725 HAS SOPS 753741 HAS SOUS 125040 HAS SOUPS 123248 WITH SCORE 124003.725
AT ITER 1430 NEW BEST:: SOT 1129924 SOS 756425 HAS SOPS 754441 HAS SOUS 124981 HAS SOUPS 123189 WITH SCORE 123945.425
AT ITER 1433 NEW BEST:: SOT 1129924 SOS 756425 HAS SOPS 754441 HAS SOUS 124927 HAS SOUPS 123135 WITH SCORE 123891.425
AT ITER 1435 NEW BEST:: SOT 1129924 SOS 756425 HAS SOPS 754441 HAS SOUS 124909 HAS SOUPS 123117 WITH SCORE 123873.425
AT ITER 1438 NEW BEST:: SOT 1128549 SOS 710494 HAS SOPS 708476 HAS SOUS 124727 HAS SOUPS 122918 WITH SCORE 123628.494
AT ITER 1441 NEW BEST:: SOT 1128505 SOS 710450 HAS SOPS 708432 HAS SOUS 124637 HAS SOUPS 122828 WITH SCORE 123538.45
AT ITER 1461 NEW BEST:: SOT 1128472 SOS 710489 HAS SOPS 708471 HAS SOUS 124572 HAS SOUPS 122763 WITH SCORE 123473.489
AT ITER 1463 NEW BEST:: SOT 1128472 SOS 713004 HAS SOPS 711035 HAS SOUS 124389 HAS SOUPS 122629 WITH SCORE 123342.004
AT ITER 1473 NEW BEST:: SOT 1128184 SOS 712716 HAS SOPS 710747 HAS SOUS 124341 HAS SOUPS 122581 WITH SCORE 123293.716
AT ITER 1479 NEW BEST:: SOT 1128184 SOS 712684 HAS SOPS 710715 HAS SOUS 124325 HAS SOUPS 122565 WITH SCORE 123277.684
AT ITER 1480 NEW BEST:: SOT 1127912 SOS 712412 HAS SOPS 710443 HAS SOUS 124300 HAS SOUPS 122540 WITH SCORE 123252.412
AT ITER 1485 NEW BEST:: SOT 1127912 SOS 712412 HAS SOPS 710443 HAS SOUS 124229 HAS SOUPS 122469 WITH SCORE 123181.412
AT ITER 1494 NEW BEST:: SOT 1127991 SOS 713043 HAS SOPS 711074 HAS SOUS 123963 HAS SOUPS 122203 WITH SCORE 122916.043
AT ITER 1507 NEW BEST:: SOT 1127975 SOS 713027 HAS SOPS 711058 HAS SOUS 123885 HAS SOUPS 122125 WITH SCORE 122838.027
AT ITER 1513 NEW BEST:: SOT 1127961 SOS 711477 HAS SOPS 709508 HAS SOUS 123791 HAS SOUPS 122031 WITH SCORE 122742.477
AT ITER 1518 NEW BEST:: SOT 1128131 SOS 711647 HAS SOPS 709678 HAS SOUS 123772 HAS SOUPS 122012 WITH SCORE 122723.647
AT ITER 1525 NEW BEST:: SOT 1127290 SOS 710806 HAS SOPS 708837 HAS SOUS 122981 HAS SOUPS 121221 WITH SCORE 121931.806
AT ITER 1565 NEW BEST:: SOT 1127333 SOS 710849 HAS SOPS 708880 HAS SOUS 122974 HAS SOUPS 121214 WITH SCORE 121924.849
AT ITER 1567 NEW BEST:: SOT 1127045 SOS 710561 HAS SOPS 708592 HAS SOUS 122754 HAS SOUPS 120994 WITH SCORE 121704.561
AT ITER 1569 NEW BEST:: SOT 1125461 SOS 710025 HAS SOPS 708056 HAS SOUS 121032 HAS SOUPS 119272 WITH SCORE 119982.025
AT ITER 1596 NEW BEST:: SOT 1125601 SOS 710485 HAS SOPS 708516 HAS SOUS 120948 HAS SOUPS 119188 WITH SCORE 119898.485
AT ITER 1642 NEW BEST:: SOT 1125601 SOS 710470 HAS SOPS 708516 HAS SOUS 120923 HAS SOUPS 119178 WITH SCORE 119888.47
AT ITER 1652 NEW BEST:: SOT 1125367 SOS 713333 HAS SOPS 711624 HAS SOUS 120564 HAS SOUPS 119064 WITH SCORE 119777.333
AT ITER 1669 NEW BEST:: SOT 1125311 SOS 713277 HAS SOPS 711568 HAS SOUS 120444 HAS SOUPS 118944 WITH SCORE 119657.277
AT ITER 1679 NEW BEST:: SOT 1125333 SOS 715363 HAS SOPS 713654 HAS SOUS 120203 HAS SOUPS 118703 WITH SCORE 119418.363
AT ITER 1682 NEW BEST:: SOT 1121803 SOS 714048 HAS SOPS 712339 HAS SOUS 119178 HAS SOUPS 117678 WITH SCORE 118392.048
AT ITER 1699 NEW BEST:: SOT 1121062 SOS 713307 HAS SOPS 711598 HAS SOUS 117886 HAS SOUPS 116386 WITH SCORE 117099.307
AT ITER 1700 NEW BEST:: SOT 1120979 SOS 713224 HAS SOPS 711515 HAS SOUS 117706 HAS SOUPS 116206 WITH SCORE 116919.224
AT ITER 1703 NEW BEST:: SOT 1122548 SOS 717656 HAS SOPS 716140 HAS SOUS 117448 HAS SOUPS 116141 WITH SCORE 116858.656
AT ITER 1709 NEW BEST:: SOT 1122248 SOS 717356 HAS SOPS 715840 HAS SOUS 116919 HAS SOUPS 115612 WITH SCORE 116329.356
AT ITER 1728 NEW BEST:: SOT 1122231 SOS 717339 HAS SOPS 715823 HAS SOUS 116880 HAS SOUPS 115573 WITH SCORE 116290.339
AT ITER 1734 NEW BEST:: SOT 1122231 SOS 716163 HAS SOPS 714647 HAS SOUS 116880 HAS SOUPS 115573 WITH SCORE 116289.163
AT ITER 1739 NEW BEST:: SOT 1122231 SOS 715563 HAS SOPS 714047 HAS SOUS 116880 HAS SOUPS 115573 WITH SCORE 116288.563
AT ITER 1754 NEW BEST:: SOT 1121508 SOS 714840 HAS SOPS 713324 HAS SOUS 116482 HAS SOUPS 115175 WITH SCORE 115889.84
AT ITER 1756 NEW BEST:: SOT 1121508 SOS 714839 HAS SOPS 713324 HAS SOUS 116481 HAS SOUPS 115175 WITH SCORE 115889.839
AT ITER 1782 NEW BEST:: SOT 1121508 SOS 715103 HAS SOPS 713588 HAS SOUS 116470 HAS SOUPS 115164 WITH SCORE 115879.103
AT ITER 1793 NEW BEST:: SOT 1120580 SOS 713250 HAS SOPS 711769 HAS SOUS 114092 HAS SOUPS 112803 WITH SCORE 113516.25
AT ITER 1795 NEW BEST:: SOT 1119329 SOS 712005 HAS SOPS 710518 HAS SOUS 114029 HAS SOUPS 112734 WITH SCORE 113446.005
AT ITER 1821 NEW BEST:: SOT 1119314 SOS 711990 HAS SOPS 710503 HAS SOUS 114028 HAS SOUPS 112733 WITH SCORE 113444.99
AT ITER 1822 NEW BEST:: SOT 1119125 SOS 714993 HAS SOPS 713506 HAS SOUS 113218 HAS SOUPS 111923 WITH SCORE 112637.993
AT ITER 1834 NEW BEST:: SOT 1119025 SOS 714893 HAS SOPS 713406 HAS SOUS 113168 HAS SOUPS 111873 WITH SCORE 112587.893
AT ITER 1846 NEW BEST:: SOT 1119201 SOS 715069 HAS SOPS 713582 HAS SOUS 113025 HAS SOUPS 111730 WITH SCORE 112445.069
AT ITER 1850 NEW BEST:: SOT 1119201 SOS 715066 HAS SOPS 713536 HAS SOUS 113022 HAS SOUPS 111684 WITH SCORE 112399.066
AT ITER 1905 NEW BEST:: SOT 1118498 SOS 714555 HAS SOPS 713025 HAS SOUS 112219 HAS SOUPS 110881 WITH SCORE 111595.555
AT ITER 1916 NEW BEST:: SOT 1118498 SOS 691923 HAS SOPS 690393 HAS SOUS 112236 HAS SOUPS 110898 WITH SCORE 111589.923
AT ITER 1917 NEW BEST:: SOT 1117837 SOS 691262 HAS SOPS 689732 HAS SOUS 111842 HAS SOUPS 110504 WITH SCORE 111195.262
AT ITER 1925 NEW BEST:: SOT 1118108 SOS 691533 HAS SOPS 690003 HAS SOUS 111766 HAS SOUPS 110428 WITH SCORE 111119.533
AT ITER 1928 NEW BEST:: SOT 1119333 SOS 692758 HAS SOPS 691228 HAS SOUS 111412 HAS SOUPS 110074 WITH SCORE 110766.758
AT ITER 1944 NEW BEST:: SOT 1119145 SOS 694017 HAS SOPS 693671 HAS SOUS 110134 HAS SOUPS 109971 WITH SCORE 110665.017
AT ITER 1945 NEW BEST:: SOT 1120136 SOS 695029 HAS SOPS 694683 HAS SOUS 110006 HAS SOUPS 109843 WITH SCORE 110538.029
AT ITER 1956 NEW BEST:: SOT 1119683 SOS 694576 HAS SOPS 694230 HAS SOUS 109944 HAS SOUPS 109781 WITH SCORE 110475.576
AT ITER 1982 NEW BEST:: SOT 1117894 SOS 691803 HAS SOPS 691457 HAS SOUS 108304 HAS SOUPS 108141 WITH SCORE 108832.803
AT ITER 1983 NEW BEST:: SOT 1117894 SOS 691803 HAS SOPS 691457 HAS SOUS 108268 HAS SOUPS 108105 WITH SCORE 108796.803
AT ITER 2013 NEW BEST:: SOT 1118943 SOS 692852 HAS SOPS 692506 HAS SOUS 106611 HAS SOUPS 106448 WITH SCORE 107140.852
AT ITER 2020 NEW BEST:: SOT 1119229 SOS 693138 HAS SOPS 692792 HAS SOUS 106509 HAS SOUPS 106346 WITH SCORE 107039.138
AT ITER 2027 NEW BEST:: SOT 1119229 SOS 693189 HAS SOPS 692860 HAS SOUS 106475 HAS SOUPS 106329 WITH SCORE 107022.189
AT ITER 2028 NEW BEST:: SOT 1118536 SOS 694260 HAS SOPS 693931 HAS SOUS 106078 HAS SOUPS 105932 WITH SCORE 106626.26
AT ITER 2030 NEW BEST:: SOT 1116846 SOS 694370 HAS SOPS 694041 HAS SOUS 104349 HAS SOUPS 104203 WITH SCORE 104897.37
AT ITER 2031 NEW BEST:: SOT 1116948 SOS 694472 HAS SOPS 694143 HAS SOUS 104250 HAS SOUPS 104104 WITH SCORE 104798.472
AT ITER 2034 NEW BEST:: SOT 1116888 SOS 691232 HAS SOPS 690903 HAS SOUS 104184 HAS SOUPS 104038 WITH SCORE 104729.232
AT ITER 2042 NEW BEST:: SOT 1116469 SOS 690813 HAS SOPS 690484 HAS SOUS 103692 HAS SOUPS 103546 WITH SCORE 104236.813
AT ITER 2046 NEW BEST:: SOT 1118003 SOS 692347 HAS SOPS 692018 HAS SOUS 103676 HAS SOUPS 103530 WITH SCORE 104222.347
AT ITER 2050 NEW BEST:: SOT 1118003 SOS 691819 HAS SOPS 691490 HAS SOUS 103676 HAS SOUPS 103530 WITH SCORE 104221.819
AT ITER 2071 NEW BEST:: SOT 1118003 SOS 692107 HAS SOPS 691778 HAS SOUS 103664 HAS SOUPS 103518 WITH SCORE 104210.107
AT ITER 2078 NEW BEST:: SOT 1117449 SOS 691553 HAS SOPS 691224 HAS SOUS 103497 HAS SOUPS 103351 WITH SCORE 104042.553
AT ITER 2082 NEW BEST:: SOT 1117449 SOS 692825 HAS SOPS 692496 HAS SOUS 103484 HAS SOUPS 103338 WITH SCORE 104030.825
AT ITER 2087 NEW BEST:: SOT 1118899 SOS 811635 HAS SOPS 811306 HAS SOUS 102612 HAS SOUPS 102466 WITH SCORE 103277.635
AT ITER 2101 NEW BEST:: SOT 1118844 SOS 811580 HAS SOPS 811251 HAS SOUS 102553 HAS SOUPS 102407 WITH SCORE 103218.58
AT ITER 2102 NEW BEST:: SOT 1118330 SOS 811086 HAS SOPS 810757 HAS SOUS 102275 HAS SOUPS 102129 WITH SCORE 102940.086
AT ITER 2106 NEW BEST:: SOT 1118330 SOS 810918 HAS SOPS 810589 HAS SOUS 102275 HAS SOUPS 102129 WITH SCORE 102939.918
AT ITER 2118 NEW BEST:: SOT 1118302 SOS 804756 HAS SOPS 804175 HAS SOUS 102219 HAS SOUPS 102010 WITH SCORE 102814.756
AT ITER 2137 NEW BEST:: SOT 1118302 SOS 805836 HAS SOPS 805255 HAS SOUS 102203 HAS SOUPS 101994 WITH SCORE 102799.836
AT ITER 2152 NEW BEST:: SOT 1118448 SOS 805982 HAS SOPS 805401 HAS SOUS 102043 HAS SOUPS 101834 WITH SCORE 102639.982
AT ITER 2159 NEW BEST:: SOT 1118470 SOS 787092 HAS SOPS 786511 HAS SOUS 101941 HAS SOUPS 101732 WITH SCORE 102519.092
AT ITER 2172 NEW BEST:: SOT 1118777 SOS 787399 HAS SOPS 786818 HAS SOUS 101925 HAS SOUPS 101716 WITH SCORE 102503.399
AT ITER 2174 NEW BEST:: SOT 1118793 SOS 787431 HAS SOPS 786850 HAS SOUS 100840 HAS SOUPS 100631 WITH SCORE 101418.431
AT ITER 2176 NEW BEST:: SOT 1118792 SOS 786608 HAS SOPS 786049 HAS SOUS 100798 HAS SOUPS 100611 WITH SCORE 101397.608
AT ITER 2192 NEW BEST:: SOT 1118889 SOS 786705 HAS SOPS 786146 HAS SOUS 100492 HAS SOUPS 100305 WITH SCORE 101091.705
AT ITER 2215 NEW BEST:: SOT 1118874 SOS 786690 HAS SOPS 786131 HAS SOUS 100453 HAS SOUPS 100266 WITH SCORE 101052.69
AT ITER 2245 NEW BEST:: SOT 1118866 SOS 786538 HAS SOPS 785979 HAS SOUS 100424 HAS SOUPS 100237 WITH SCORE 101023.538
AT ITER 2247 NEW BEST:: SOT 1119985 SOS 785329 HAS SOPS 783338 HAS SOUS 101552 HAS SOUPS 100005 WITH SCORE 100790.329
AT ITER 2257 NEW BEST:: SOT 1119237 SOS 784581 HAS SOPS 782590 HAS SOUS 99936 HAS SOUPS 98389 WITH SCORE 99173.581
AT ITER 2259 NEW BEST:: SOT 1119237 SOS 783621 HAS SOPS 781630 HAS SOUS 99908 HAS SOUPS 98361 WITH SCORE 99144.621
AT ITER 2263 NEW BEST:: SOT 1119237 SOS 783501 HAS SOPS 781510 HAS SOUS 99892 HAS SOUPS 98345 WITH SCORE 99128.501
AT ITER 2278 NEW BEST:: SOT 1119237 SOS 783363 HAS SOPS 781382 HAS SOUS 99864 HAS SOUPS 98319 WITH SCORE 99102.363
AT ITER 2299 NEW BEST:: SOT 1118729 SOS 782855 HAS SOPS 780874 HAS SOUS 99182 HAS SOUPS 97637 WITH SCORE 98419.855
AT ITER 2323 NEW BEST:: SOT 1117609 SOS 781735 HAS SOPS 779754 HAS SOUS 98866 HAS SOUPS 97321 WITH SCORE 98102.735
AT ITER 2347 NEW BEST:: SOT 1117609 SOS 780586 HAS SOPS 778605 HAS SOUS 98831 HAS SOUPS 97286 WITH SCORE 98066.586
AT ITER 2375 NEW BEST:: SOT 1117609 SOS 780586 HAS SOPS 778605 HAS SOUS 98670 HAS SOUPS 97125 WITH SCORE 97905.586
AT ITER 2386 NEW BEST:: SOT 1118197 SOS 781582 HAS SOPS 779586 HAS SOUS 98598 HAS SOUPS 97038 WITH SCORE 97819.582
AT ITER 2407 NEW BEST:: SOT 1118197 SOS 781576 HAS SOPS 779580 HAS SOUS 98592 HAS SOUPS 97032 WITH SCORE 97813.576
AT ITER 2416 NEW BEST:: SOT 1118179 SOS 781558 HAS SOPS 779562 HAS SOUS 98574 HAS SOUPS 97014 WITH SCORE 97795.558
AT ITER 2430 NEW BEST:: SOT 1118263 SOS 781640 HAS SOPS 779646 HAS SOUS 98553 HAS SOUPS 96995 WITH SCORE 97776.64
AT ITER 2440 NEW BEST:: SOT 1116226 SOS 779603 HAS SOPS 777609 HAS SOUS 97394 HAS SOUPS 95836 WITH SCORE 96615.603
AT ITER 2442 NEW BEST:: SOT 1116226 SOS 779603 HAS SOPS 777609 HAS SOUS 97316 HAS SOUPS 95758 WITH SCORE 96537.603
AT ITER 2464 NEW BEST:: SOT 1116242 SOS 779883 HAS SOPS 777889 HAS SOUS 97277 HAS SOUPS 95719 WITH SCORE 96498.883
AT ITER 2484 NEW BEST:: SOT 1116242 SOS 780423 HAS SOPS 778449 HAS SOUS 97237 HAS SOUPS 95699 WITH SCORE 96479.423
AT ITER 2491 NEW BEST:: SOT 1115959 SOS 780140 HAS SOPS 778166 HAS SOUS 96917 HAS SOUPS 95379 WITH SCORE 96159.14
AT ITER 2492 NEW BEST:: SOT 1114988 SOS 779241 HAS SOPS 777267 HAS SOUS 96049 HAS SOUPS 94511 WITH SCORE 95290.241
AT ITER 2498 NEW BEST:: SOT 1114705 SOS 781040 HAS SOPS 780471 HAS SOUS 94668 HAS SOUPS 94471 WITH SCORE 95252.04
AT ITER 2513 NEW BEST:: SOT 1114367 SOS 780702 HAS SOPS 780133 HAS SOUS 94062 HAS SOUPS 93865 WITH SCORE 94645.702
AT ITER 2553 NEW BEST:: SOT 1114357 SOS 780314 HAS SOPS 778188 HAS SOUS 95071 HAS SOUPS 93381 WITH SCORE 94161.314
AT ITER 2561 NEW BEST:: SOT 1113548 SOS 779376 HAS SOPS 776959 HAS SOUS 95251 HAS SOUPS 93276 WITH SCORE 94055.376
AT ITER 2562 NEW BEST:: SOT 1113548 SOS 779389 HAS SOPS 776959 HAS SOUS 95251 HAS SOUPS 93263 WITH SCORE 94042.389
AT ITER 2564 NEW BEST:: SOT 1113492 SOS 779333 HAS SOPS 776903 HAS SOUS 95132 HAS SOUPS 93144 WITH SCORE 93923.333
AT ITER 2567 NEW BEST:: SOT 1113492 SOS 780595 HAS SOPS 778207 HAS SOUS 94960 HAS SOUPS 93014 WITH SCORE 93794.595
AT ITER 2581 NEW BEST:: SOT 1113487 SOS 783825 HAS SOPS 781437 HAS SOUS 94950 HAS SOUPS 93004 WITH SCORE 93787.825
AT ITER 2585 NEW BEST:: SOT 1113603 SOS 783709 HAS SOPS 781321 HAS SOUS 94802 HAS SOUPS 92856 WITH SCORE 93639.709
AT ITER 2599 NEW BEST:: SOT 1113603 SOS 783757 HAS SOPS 781369 HAS SOUS 94647 HAS SOUPS 92701 WITH SCORE 93484.757
AT ITER 2602 NEW BEST:: SOT 1113447 SOS 783601 HAS SOPS 781213 HAS SOUS 94315 HAS SOUPS 92369 WITH SCORE 93152.601
AT ITER 2611 NEW BEST:: SOT 1113447 SOS 782266 HAS SOPS 779975 HAS SOUS 94053 HAS SOUPS 92128 WITH SCORE 92910.266
AT ITER 2629 NEW BEST:: SOT 1113447 SOS 782293 HAS SOPS 780003 HAS SOUS 94051 HAS SOUPS 92127 WITH SCORE 92909.293
AT ITER 2636 NEW BEST:: SOT 1113434 SOS 782280 HAS SOPS 779990 HAS SOUS 94028 HAS SOUPS 92104 WITH SCORE 92886.28
AT ITER 2660 NEW BEST:: SOT 1112918 SOS 782460 HAS SOPS 780170 HAS SOUS 93853 HAS SOUPS 91929 WITH SCORE 92711.46
AT ITER 2674 NEW BEST:: SOT 1113204 SOS 782746 HAS SOPS 780456 HAS SOUS 93714 HAS SOUPS 91790 WITH SCORE 92572.746
AT ITER 2695 NEW BEST:: SOT 1113144 SOS 782686 HAS SOPS 780396 HAS SOUS 93680 HAS SOUPS 91756 WITH SCORE 92538.686
AT ITER 2701 NEW BEST:: SOT 1113122 SOS 782664 HAS SOPS 780374 HAS SOUS 93630 HAS SOUPS 91706 WITH SCORE 92488.664
AT ITER 2715 NEW BEST:: SOT 1112062 SOS 781604 HAS SOPS 779314 HAS SOUS 92603 HAS SOUPS 90679 WITH SCORE 91460.604
AT ITER 2726 NEW BEST:: SOT 1112062 SOS 782532 HAS SOPS 780202 HAS SOUS 92498 HAS SOUPS 90534 WITH SCORE 91316.532
AT ITER 2738 NEW BEST:: SOT 1112062 SOS 776850 HAS SOPS 774810 HAS SOUS 92259 HAS SOUPS 90353 WITH SCORE 91129.85
AT ITER 2739 NEW BEST:: SOT 1112062 SOS 776850 HAS SOPS 774810 HAS SOUS 92205 HAS SOUPS 90299 WITH SCORE 91075.85
AT ITER 2750 NEW BEST:: SOT 1111696 SOS 776491 HAS SOPS 774444 HAS SOUS 92169 HAS SOUPS 90256 WITH SCORE 91032.491
AT ITER 2767 NEW BEST:: SOT 1111696 SOS 776441 HAS SOPS 774394 HAS SOUS 92085 HAS SOUPS 90172 WITH SCORE 90948.441
AT ITER 2768 NEW BEST:: SOT 1109546 SOS 774387 HAS SOPS 772340 HAS SOUS 89503 HAS SOUPS 87590 WITH SCORE 88364.387
AT ITER 2778 NEW BEST:: SOT 1109544 SOS 774289 HAS SOPS 772242 HAS SOUS 89495 HAS SOUPS 87582 WITH SCORE 88356.289
AT ITER 2787 NEW BEST:: SOT 1108757 SOS 774468 HAS SOPS 772427 HAS SOUS 88579 HAS SOUPS 86666 WITH SCORE 87440.468
AT ITER 2790 NEW BEST:: SOT 1108606 SOS 774317 HAS SOPS 772276 HAS SOUS 88116 HAS SOUPS 86203 WITH SCORE 86977.317
AT ITER 2802 NEW BEST:: SOT 1108491 SOS 774202 HAS SOPS 772161 HAS SOUS 87633 HAS SOUPS 85720 WITH SCORE 86494.202
AT ITER 2843 NEW BEST:: SOT 1108491 SOS 774121 HAS SOPS 772053 HAS SOUS 87633 HAS SOUPS 85693 WITH SCORE 86467.121
AT ITER 2884 NEW BEST:: SOT 1109162 SOS 774792 HAS SOPS 772724 HAS SOUS 87327 HAS SOUPS 85387 WITH SCORE 86161.792
AT ITER 2926 NEW BEST:: SOT 1109162 SOS 774648 HAS SOPS 772580 HAS SOUS 87327 HAS SOUPS 85387 WITH SCORE 86161.648
AT ITER 2931 NEW BEST:: SOT 1109162 SOS 774672 HAS SOPS 772603 HAS SOUS 87327 HAS SOUPS 85386 WITH SCORE 86160.672
AT ITER 2939 NEW BEST:: SOT 1109134 SOS 774644 HAS SOPS 772575 HAS SOUS 86116 HAS SOUPS 84175 WITH SCORE 84949.644
AT ITER 2965 NEW BEST:: SOT 1108947 SOS 774457 HAS SOPS 772388 HAS SOUS 85920 HAS SOUPS 83979 WITH SCORE 84753.457
AT ITER 2975 NEW BEST:: SOT 1108947 SOS 773351 HAS SOPS 771282 HAS SOUS 85918 HAS SOUPS 83977 WITH SCORE 84750.351
AT ITER 2982 NEW BEST:: SOT 1108947 SOS 773098 HAS SOPS 771018 HAS SOUS 85918 HAS SOUPS 83966 WITH SCORE 84739.098
AT ITER 2992 NEW BEST:: SOT 1108947 SOS 773098 HAS SOPS 771018 HAS SOUS 85909 HAS SOUPS 83957 WITH SCORE 84730.098
AT ITER 3032 NEW BEST:: SOT 1108931 SOS 773050 HAS SOPS 770959 HAS SOUS 85909 HAS SOUPS 83946 WITH SCORE 84719.05
AT ITER 3033 NEW BEST:: SOT 1108931 SOS 773042 HAS SOPS 770951 HAS SOUS 85909 HAS SOUPS 83946 WITH SCORE 84719.042
AT ITER 3083 NEW BEST:: SOT 1108931 SOS 771545 HAS SOPS 769555 HAS SOUS 85745 HAS SOUPS 83807 WITH SCORE 84578.545
AT ITER 3090 NEW BEST:: SOT 1108605 SOS 771219 HAS SOPS 769229 HAS SOUS 85300 HAS SOUPS 83362 WITH SCORE 84133.219
AT ITER 3096 NEW BEST:: SOT 1108268 SOS 770882 HAS SOPS 768892 HAS SOUS 85244 HAS SOUPS 83306 WITH SCORE 84076.882
AT ITER 3117 NEW BEST:: SOT 1109833 SOS 772447 HAS SOPS 770457 HAS SOUS 85200 HAS SOUPS 83262 WITH SCORE 84034.447
AT ITER 3145 NEW BEST:: SOT 1109833 SOS 772464 HAS SOPS 770474 HAS SOUS 85198 HAS SOUPS 83260 WITH SCORE 84032.464
AT ITER 3153 NEW BEST:: SOT 1109833 SOS 772365 HAS SOPS 770342 HAS SOUS 85198 HAS SOUPS 83227 WITH SCORE 83999.365
AT ITER 3159 NEW BEST:: SOT 1110511 SOS 773043 HAS SOPS 771020 HAS SOUS 85061 HAS SOUPS 83090 WITH SCORE 83863.043
AT ITER 3175 NEW BEST:: SOT 1110511 SOS 772988 HAS SOPS 771036 HAS SOUS 84986 HAS SOUPS 83086 WITH SCORE 83858.988
AT ITER 3187 NEW BEST:: SOT 1110511 SOS 772988 HAS SOPS 771036 HAS SOUS 84938 HAS SOUPS 83038 WITH SCORE 83810.988
AT ITER 3190 NEW BEST:: SOT 1110508 SOS 772985 HAS SOPS 771033 HAS SOUS 84920 HAS SOUPS 83020 WITH SCORE 83792.985
AT ITER 3205 NEW BEST:: SOT 1110112 SOS 772769 HAS SOPS 770817 HAS SOUS 84784 HAS SOUPS 82884 WITH SCORE 83656.769
AT ITER 3206 NEW BEST:: SOT 1110178 SOS 772835 HAS SOPS 770883 HAS SOUS 84685 HAS SOUPS 82785 WITH SCORE 83557.835
AT ITER 3209 NEW BEST:: SOT 1110218 SOS 772875 HAS SOPS 770923 HAS SOUS 84677 HAS SOUPS 82777 WITH SCORE 83549.875
AT ITER 3226 NEW BEST:: SOT 1110248 SOS 772905 HAS SOPS 770953 HAS SOUS 83987 HAS SOUPS 82087 WITH SCORE 82859.905
AT ITER 3238 NEW BEST:: SOT 1110315 SOS 772972 HAS SOPS 771020 HAS SOUS 83733 HAS SOUPS 81833 WITH SCORE 82605.972
AT ITER 3246 NEW BEST:: SOT 1109786 SOS 772443 HAS SOPS 770491 HAS SOUS 83543 HAS SOUPS 81643 WITH SCORE 82415.443
AT ITER 3248 NEW BEST:: SOT 1109786 SOS 772743 HAS SOPS 770791 HAS SOUS 83528 HAS SOUPS 81628 WITH SCORE 82400.743
AT ITER 3252 NEW BEST:: SOT 1109719 SOS 772676 HAS SOPS 770724 HAS SOUS 83461 HAS SOUPS 81561 WITH SCORE 82333.676
AT ITER 3280 NEW BEST:: SOT 1109719 SOS 772676 HAS SOPS 770724 HAS SOUS 83294 HAS SOUPS 81394 WITH SCORE 82166.676
AT ITER 3308 NEW BEST:: SOT 1109468 SOS 772425 HAS SOPS 770428 HAS SOUS 83059 HAS SOUPS 81114 WITH SCORE 81886.425
AT ITER 3316 NEW BEST:: SOT 1108908 SOS 774241 HAS SOPS 772244 HAS SOUS 82749 HAS SOUPS 80804 WITH SCORE 81578.241
AT ITER 3328 NEW BEST:: SOT 1108133 SOS 773435 HAS SOPS 771438 HAS SOUS 82577 HAS SOUPS 80632 WITH SCORE 81405.435
AT ITER 3330 NEW BEST:: SOT 1108133 SOS 773426 HAS SOPS 771426 HAS SOUS 82577 HAS SOUPS 80629 WITH SCORE 81402.426
AT ITER 3356 NEW BEST:: SOT 1108133 SOS 773173 HAS SOPS 771162 HAS SOUS 82588 HAS SOUPS 80629 WITH SCORE 81402.173
AT ITER 3362 NEW BEST:: SOT 1107725 SOS 772765 HAS SOPS 770754 HAS SOUS 82474 HAS SOUPS 80515 WITH SCORE 81287.765
AT ITER 3377 NEW BEST:: SOT 1107708 SOS 774880 HAS SOPS 772873 HAS SOUS 82371 HAS SOUPS 80416 WITH SCORE 81190.88
AT ITER 3404 NEW BEST:: SOT 1107035 SOS 777063 HAS SOPS 775056 HAS SOUS 81741 HAS SOUPS 79786 WITH SCORE 80563.063
AT ITER 3406 NEW BEST:: SOT 1106988 SOS 777016 HAS SOPS 775009 HAS SOUS 81587 HAS SOUPS 79632 WITH SCORE 80409.016
AT ITER 3434 NEW BEST:: SOT 1106988 SOS 775714 HAS SOPS 773661 HAS SOUS 81632 HAS SOUPS 79631 WITH SCORE 80406.714
AT ITER 3435 NEW BEST:: SOT 1106988 SOS 774150 HAS SOPS 772097 HAS SOUS 81632 HAS SOUPS 79631 WITH SCORE 80405.15
AT ITER 3443 NEW BEST:: SOT 1106878 SOS 774040 HAS SOPS 771987 HAS SOUS 81417 HAS SOUPS 79416 WITH SCORE 80190.04
AT ITER 3479 NEW BEST:: SOT 1106915 SOS 774077 HAS SOPS 772024 HAS SOUS 81244 HAS SOUPS 79243 WITH SCORE 80017.077
AT ITER 3481 NEW BEST:: SOT 1106815 SOS 773977 HAS SOPS 771924 HAS SOUS 81144 HAS SOUPS 79143 WITH SCORE 79916.977
AT ITER 3484 NEW BEST:: SOT 1106815 SOS 774061 HAS SOPS 772004 HAS SOUS 81144 HAS SOUPS 79139 WITH SCORE 79913.061
AT ITER 3505 NEW BEST:: SOT 1106467 SOS 773713 HAS SOPS 771656 HAS SOUS 80424 HAS SOUPS 78419 WITH SCORE 79192.713
AT ITER 3522 NEW BEST:: SOT 1106467 SOS 773713 HAS SOPS 771656 HAS SOUS 80254 HAS SOUPS 78249 WITH SCORE 79022.713
AT ITER 3544 NEW BEST:: SOT 1106467 SOS 773713 HAS SOPS 771656 HAS SOUS 80158 HAS SOUPS 78153 WITH SCORE 78926.713
AT ITER 3546 NEW BEST:: SOT 1106529 SOS 773775 HAS SOPS 771718 HAS SOUS 80076 HAS SOUPS 78071 WITH SCORE 78844.775
AT ITER 3555 NEW BEST:: SOT 1106534 SOS 773780 HAS SOPS 771723 HAS SOUS 79961 HAS SOUPS 77956 WITH SCORE 78729.78
AT ITER 3556 NEW BEST:: SOT 1107594 SOS 774840 HAS SOPS 772783 HAS SOUS 78779 HAS SOUPS 76774 WITH SCORE 77548.84
AT ITER 3562 NEW BEST:: SOT 1107594 SOS 774830 HAS SOPS 772783 HAS SOUS 78769 HAS SOUPS 76774 WITH SCORE 77548.83
AT ITER 3581 NEW BEST:: SOT 1107594 SOS 773358 HAS SOPS 771287 HAS SOUS 78757 HAS SOUPS 76762 WITH SCORE 77535.358
AT ITER 3596 NEW BEST:: SOT 1107594 SOS 773233 HAS SOPS 771167 HAS SOUS 78752 HAS SOUPS 76762 WITH SCORE 77535.233
AT ITER 3620 NEW BEST:: SOT 1107594 SOS 772881 HAS SOPS 770815 HAS SOUS 78752 HAS SOUPS 76762 WITH SCORE 77534.881
AT ITER 3632 NEW BEST:: SOT 1107445 SOS 772732 HAS SOPS 770666 HAS SOUS 78440 HAS SOUPS 76450 WITH SCORE 77222.732
AT ITER 3638 NEW BEST:: SOT 1109231 SOS 777494 HAS SOPS 775428 HAS SOUS 78267 HAS SOUPS 76277 WITH SCORE 77054.494
AT ITER 3644 NEW BEST:: SOT 1108192 SOS 779839 HAS SOPS 777773 HAS SOUS 78224 HAS SOUPS 76234 WITH SCORE 77013.839
AT ITER 3653 NEW BEST:: SOT 1108152 SOS 779799 HAS SOPS 777709 HAS SOUS 78184 HAS SOUPS 76170 WITH SCORE 76949.799
AT ITER 3655 NEW BEST:: SOT 1108075 SOS 779722 HAS SOPS 777632 HAS SOUS 77850 HAS SOUPS 75836 WITH SCORE 76615.722
AT ITER 3665 NEW BEST:: SOT 1108096 SOS 779743 HAS SOPS 777653 HAS SOUS 77742 HAS SOUPS 75728 WITH SCORE 76507.743
AT ITER 3674 NEW BEST:: SOT 1108248 SOS 779895 HAS SOPS 777805 HAS SOUS 77703 HAS SOUPS 75689 WITH SCORE 76468.895
AT ITER 3681 NEW BEST:: SOT 1108248 SOS 779891 HAS SOPS 777801 HAS SOUS 77701 HAS SOUPS 75687 WITH SCORE 76466.891
AT ITER 3713 NEW BEST:: SOT 1108248 SOS 779839 HAS SOPS 777749 HAS SOUS 77701 HAS SOUPS 75687 WITH SCORE 76466.839
AT ITER 3730 NEW BEST:: SOT 1108784 SOS 780375 HAS SOPS 778285 HAS SOUS 76892 HAS SOUPS 74878 WITH SCORE 75658.375
AT ITER 3734 NEW BEST:: SOT 1108799 SOS 778994 HAS SOPS 776904 HAS SOUS 76892 HAS SOUPS 74878 WITH SCORE 75656.994
AT ITER 3767 NEW BEST:: SOT 1107682 SOS 778072 HAS SOPS 775938 HAS SOUS 76803 HAS SOUPS 74745 WITH SCORE 75523.072
AT ITER 3775 NEW BEST:: SOT 1108615 SOS 778769 HAS SOPS 776635 HAS SOUS 76567 HAS SOUPS 74509 WITH SCORE 75287.769
AT ITER 3834 NEW BEST:: SOT 1108605 SOS 778063 HAS SOPS 775929 HAS SOUS 76567 HAS SOUPS 74509 WITH SCORE 75287.063
AT ITER 3852 NEW BEST:: SOT 1107730 SOS 764052 HAS SOPS 761838 HAS SOUS 76336 HAS SOUPS 74258 WITH SCORE 75022.052
AT ITER 3856 NEW BEST:: SOT 1107753 SOS 762027 HAS SOPS 759885 HAS SOUS 76031 HAS SOUPS 73971 WITH SCORE 74733.027
AT ITER 3883 NEW BEST:: SOT 1107753 SOS 761067 HAS SOPS 758925 HAS SOUS 76031 HAS SOUPS 73971 WITH SCORE 74732.067
AT ITER 3896 NEW BEST:: SOT 1107747 SOS 761061 HAS SOPS 758919 HAS SOUS 75981 HAS SOUPS 73921 WITH SCORE 74682.061
AT ITER 3954 NEW BEST:: SOT 1106550 SOS 759864 HAS SOPS 757722 HAS SOUS 75463 HAS SOUPS 73403 WITH SCORE 74162.864
AT ITER 3963 NEW BEST:: SOT 1106807 SOS 760121 HAS SOPS 757979 HAS SOUS 75210 HAS SOUPS 73150 WITH SCORE 73910.121
AT ITER 3973 NEW BEST:: SOT 1106807 SOS 760121 HAS SOPS 757979 HAS SOUS 75201 HAS SOUPS 73141 WITH SCORE 73901.121
AT ITER 4034 NEW BEST:: SOT 1106807 SOS 760121 HAS SOPS 757979 HAS SOUS 75181 HAS SOUPS 73121 WITH SCORE 73881.121
AT ITER 4042 NEW BEST:: SOT 1106807 SOS 758561 HAS SOPS 756419 HAS SOUS 75181 HAS SOUPS 73121 WITH SCORE 73879.561
AT ITER 4043 NEW BEST:: SOT 1106998 SOS 758752 HAS SOPS 756710 HAS SOUS 74684 HAS SOUPS 72724 WITH SCORE 73482.752
AT ITER 4074 NEW BEST:: SOT 1106962 SOS 758716 HAS SOPS 756674 HAS SOUS 74630 HAS SOUPS 72670 WITH SCORE 73428.716
AT ITER 4130 NEW BEST:: SOT 1106940 SOS 758694 HAS SOPS 756652 HAS SOUS 74601 HAS SOUPS 72641 WITH SCORE 73399.694
AT ITER 4144 NEW BEST:: SOT 1106940 SOS 758550 HAS SOPS 756508 HAS SOUS 74601 HAS SOUPS 72641 WITH SCORE 73399.55
AT ITER 4165 NEW BEST:: SOT 1106940 SOS 759553 HAS SOPS 757458 HAS SOUS 74601 HAS SOUPS 72588 WITH SCORE 73347.553
AT ITER 4167 NEW BEST:: SOT 1106937 SOS 759550 HAS SOPS 757455 HAS SOUS 74598 HAS SOUPS 72585 WITH SCORE 73344.55
AT ITER 4192 NEW BEST:: SOT 1107055 SOS 759668 HAS SOPS 757573 HAS SOUS 74102 HAS SOUPS 72089 WITH SCORE 72848.668
AT ITER 4248 NEW BEST:: SOT 1106916 SOS 759529 HAS SOPS 757434 HAS SOUS 74060 HAS SOUPS 72047 WITH SCORE 72806.529
AT ITER 4284 NEW BEST:: SOT 1105059 SOS 757672 HAS SOPS 755577 HAS SOUS 73586 HAS SOUPS 71573 WITH SCORE 72330.672
AT ITER 4294 NEW BEST:: SOT 1105212 SOS 757825 HAS SOPS 755730 HAS SOUS 73475 HAS SOUPS 71462 WITH SCORE 72219.825
AT ITER 4300 NEW BEST:: SOT 1105212 SOS 758182 HAS SOPS 756070 HAS SOUS 73483 HAS SOUPS 71453 WITH SCORE 72211.182
AT ITER 4301 NEW BEST:: SOT 1105176 SOS 758146 HAS SOPS 755901 HAS SOUS 73550 HAS SOUPS 71387 WITH SCORE 72145.146
AT ITER 4303 NEW BEST:: SOT 1105176 SOS 757569 HAS SOPS 755323 HAS SOUS 73550 HAS SOUPS 71386 WITH SCORE 72143.569
AT ITER 4318 NEW BEST:: SOT 1104313 SOS 756706 HAS SOPS 754460 HAS SOUS 73537 HAS SOUPS 71373 WITH SCORE 72129.706
AT ITER 4333 NEW BEST:: SOT 1104280 SOS 756673 HAS SOPS 754427 HAS SOUS 73468 HAS SOUPS 71304 WITH SCORE 72060.673
AT ITER 4383 NEW BEST:: SOT 1104280 SOS 756601 HAS SOPS 754355 HAS SOUS 73443 HAS SOUPS 71279 WITH SCORE 72035.601
AT ITER 4384 NEW BEST:: SOT 1104270 SOS 756591 HAS SOPS 754345 HAS SOUS 73422 HAS SOUPS 71258 WITH SCORE 72014.591
AT ITER 4426 NEW BEST:: SOT 1104278 SOS 756599 HAS SOPS 754353 HAS SOUS 73398 HAS SOUPS 71234 WITH SCORE 71990.599
AT ITER 4431 NEW BEST:: SOT 1104227 SOS 756548 HAS SOPS 754302 HAS SOUS 73291 HAS SOUPS 71127 WITH SCORE 71883.548
AT ITER 4524 NEW BEST:: SOT 1105593 SOS 757914 HAS SOPS 755668 HAS SOUS 73197 HAS SOUPS 71033 WITH SCORE 71790.914
AT ITER 4561 NEW BEST:: SOT 1105593 SOS 756966 HAS SOPS 754796 HAS SOUS 72724 HAS SOUPS 70560 WITH SCORE 71316.966
AT ITER 4569 NEW BEST:: SOT 1105142 SOS 756515 HAS SOPS 754345 HAS SOUS 72690 HAS SOUPS 70526 WITH SCORE 71282.515
AT ITER 4591 NEW BEST:: SOT 1105078 SOS 756451 HAS SOPS 754281 HAS SOUS 72631 HAS SOUPS 70467 WITH SCORE 71223.451
AT ITER 4631 NEW BEST:: SOT 1105078 SOS 756635 HAS SOPS 754457 HAS SOUS 72631 HAS SOUPS 70459 WITH SCORE 71215.635
AT ITER 4644 NEW BEST:: SOT 1105078 SOS 756515 HAS SOPS 754337 HAS SOUS 72626 HAS SOUPS 70454 WITH SCORE 71210.515
AT ITER 4650 NEW BEST:: SOT 1105069 SOS 756506 HAS SOPS 754328 HAS SOUS 72590 HAS SOUPS 70418 WITH SCORE 71174.506
AT ITER 4661 NEW BEST:: SOT 1104681 SOS 756118 HAS SOPS 753940 HAS SOUS 72369 HAS SOUPS 70197 WITH SCORE 70953.118
AT ITER 4670 NEW BEST:: SOT 1104593 SOS 756030 HAS SOPS 753852 HAS SOUS 72230 HAS SOUPS 70058 WITH SCORE 70814.03
AT ITER 4673 NEW BEST:: SOT 1104397 SOS 755834 HAS SOPS 753656 HAS SOUS 72014 HAS SOUPS 69842 WITH SCORE 70597.834
AT ITER 4680 NEW BEST:: SOT 1104397 SOS 755086 HAS SOPS 752908 HAS SOUS 72014 HAS SOUPS 69842 WITH SCORE 70597.086
AT ITER 4705 NEW BEST:: SOT 1104397 SOS 755061 HAS SOPS 752908 HAS SOUS 71989 HAS SOUPS 69842 WITH SCORE 70597.061
AT ITER 4747 NEW BEST:: SOT 1104397 SOS 755061 HAS SOPS 752908 HAS SOUS 71814 HAS SOUPS 69667 WITH SCORE 70422.061
AT ITER 4761 NEW BEST:: SOT 1104397 SOS 755124 HAS SOPS 752968 HAS SOUS 71814 HAS SOUPS 69664 WITH SCORE 70419.124
AT ITER 4776 NEW BEST:: SOT 1105403 SOS 756130 HAS SOPS 753974 HAS SOUS 71776 HAS SOUPS 69626 WITH SCORE 70382.13
AT ITER 4777 NEW BEST:: SOT 1105402 SOS 756129 HAS SOPS 753973 HAS SOUS 71775 HAS SOUPS 69625 WITH SCORE 70381.129
AT ITER 4806 NEW BEST:: SOT 1105402 SOS 755600 HAS SOPS 753421 HAS SOUS 71798 HAS SOUPS 69625 WITH SCORE 70380.6
AT ITER 4821 NEW BEST:: SOT 1105105 SOS 755303 HAS SOPS 753124 HAS SOUS 71299 HAS SOUPS 69126 WITH SCORE 69881.303
AT ITER 4861 NEW BEST:: SOT 1104756 SOS 754954 HAS SOPS 752775 HAS SOUS 71075 HAS SOUPS 68902 WITH SCORE 69656.954
AT ITER 4904 NEW BEST:: SOT 1104572 SOS 754770 HAS SOPS 752591 HAS SOUS 70874 HAS SOUPS 68701 WITH SCORE 69455.77
AT ITER 4914 NEW BEST:: SOT 1104439 SOS 754617 HAS SOPS 752438 HAS SOUS 70601 HAS SOUPS 68428 WITH SCORE 69182.617
AT ITER 4927 NEW BEST:: SOT 1104929 SOS 755169 HAS SOPS 752990 HAS SOUS 70586 HAS SOUPS 68413 WITH SCORE 69168.169
AT ITER 4974 NEW BEST:: SOT 1104876 SOS 755116 HAS SOPS 752937 HAS SOUS 70493 HAS SOUPS 68320 WITH SCORE 69075.116
AT ITER 5001 NEW BEST:: SOT 1104870 SOS 755110 HAS SOPS 752931 HAS SOUS 70483 HAS SOUPS 68310 WITH SCORE 69065.11
AT ITER 5077 NEW BEST:: SOT 1104870 SOS 755110 HAS SOPS 752931 HAS SOUS 70472 HAS SOUPS 68299 WITH SCORE 69054.11
AT ITER 5084 NEW BEST:: SOT 1104870 SOS 754512 HAS SOPS 752307 HAS SOUS 70498 HAS SOUPS 68299 WITH SCORE 69053.512
AT ITER 5089 NEW BEST:: SOT 1104765 SOS 754407 HAS SOPS 752202 HAS SOUS 70282 HAS SOUPS 68083 WITH SCORE 68837.407
AT ITER 5096 NEW BEST:: SOT 1104765 SOS 754407 HAS SOPS 752202 HAS SOUS 70281 HAS SOUPS 68082 WITH SCORE 68836.407
AT ITER 5098 NEW BEST:: SOT 1105438 SOS 755080 HAS SOPS 752875 HAS SOUS 69999 HAS SOUPS 67800 WITH SCORE 68555.08
AT ITER 5110 NEW BEST:: SOT 1103030 SOS 749272 HAS SOPS 747067 HAS SOUS 69378 HAS SOUPS 67179 WITH SCORE 67928.272
AT ITER 5114 NEW BEST:: SOT 1103030 SOS 748463 HAS SOPS 746299 HAS SOUS 69337 HAS SOUPS 67179 WITH SCORE 67927.463
AT ITER 5131 NEW BEST:: SOT 1103030 SOS 748597 HAS SOPS 746433 HAS SOUS 69330 HAS SOUPS 67172 WITH SCORE 67920.597
AT ITER 5133 NEW BEST:: SOT 1102984 SOS 748551 HAS SOPS 746387 HAS SOUS 69205 HAS SOUPS 67047 WITH SCORE 67795.551
AT ITER 5142 NEW BEST:: SOT 1102969 SOS 748545 HAS SOPS 746381 HAS SOUS 69203 HAS SOUPS 67045 WITH SCORE 67793.545
AT ITER 5177 NEW BEST:: SOT 1103420 SOS 749146 HAS SOPS 747197 HAS SOUS 68965 HAS SOUPS 67022 WITH SCORE 67771.146
AT ITER 5180 NEW BEST:: SOT 1103420 SOS 749806 HAS SOPS 747857 HAS SOUS 68932 HAS SOUPS 66989 WITH SCORE 67738.806
AT ITER 5249 NEW BEST:: SOT 1103417 SOS 749719 HAS SOPS 747770 HAS SOUS 68908 HAS SOUPS 66965 WITH SCORE 67714.719
AT ITER 5273 NEW BEST:: SOT 1103597 SOS 749899 HAS SOPS 747950 HAS SOUS 68878 HAS SOUPS 66935 WITH SCORE 67684.899
AT ITER 5297 NEW BEST:: SOT 1103590 SOS 749892 HAS SOPS 747943 HAS SOUS 68862 HAS SOUPS 66919 WITH SCORE 67668.892
AT ITER 5301 NEW BEST:: SOT 1103566 SOS 749868 HAS SOPS 747919 HAS SOUS 68338 HAS SOUPS 66395 WITH SCORE 67144.868
AT ITER 5302 NEW BEST:: SOT 1105091 SOS 751393 HAS SOPS 749579 HAS SOUS 68159 HAS SOUPS 66351 WITH SCORE 67102.393
AT ITER 5308 NEW BEST:: SOT 1105091 SOS 751349 HAS SOPS 749557 HAS SOUS 68137 HAS SOUPS 66351 WITH SCORE 67102.349
AT ITER 5315 NEW BEST:: SOT 1104664 SOS 750922 HAS SOPS 749130 HAS SOUS 67371 HAS SOUPS 65585 WITH SCORE 66335.922
AT ITER 5346 NEW BEST:: SOT 1104650 SOS 750908 HAS SOPS 749116 HAS SOUS 67320 HAS SOUPS 65534 WITH SCORE 66284.908
AT ITER 5362 NEW BEST:: SOT 1104947 SOS 751205 HAS SOPS 749413 HAS SOUS 67247 HAS SOUPS 65461 WITH SCORE 66212.205
AT ITER 5368 NEW BEST:: SOT 1105352 SOS 751610 HAS SOPS 749818 HAS SOUS 67229 HAS SOUPS 65443 WITH SCORE 66194.61
AT ITER 5378 NEW BEST:: SOT 1105572 SOS 751830 HAS SOPS 750038 HAS SOUS 67196 HAS SOUPS 65410 WITH SCORE 66161.83
AT ITER 5386 NEW BEST:: SOT 1105572 SOS 751372 HAS SOPS 749580 HAS SOUS 67161 HAS SOUPS 65375 WITH SCORE 66126.372
AT ITER 5391 NEW BEST:: SOT 1105515 SOS 751315 HAS SOPS 749523 HAS SOUS 67160 HAS SOUPS 65374 WITH SCORE 66125.315
AT ITER 5397 NEW BEST:: SOT 1105473 SOS 751273 HAS SOPS 749481 HAS SOUS 67118 HAS SOUPS 65332 WITH SCORE 66083.273
AT ITER 5428 NEW BEST:: SOT 1105473 SOS 751261 HAS SOPS 749481 HAS SOUS 67106 HAS SOUPS 65332 WITH SCORE 66083.261
AT ITER 5455 NEW BEST:: SOT 1105473 SOS 750711 HAS SOPS 748953 HAS SOUS 67084 HAS SOUPS 65332 WITH SCORE 66082.711
AT ITER 5459 NEW BEST:: SOT 1105473 SOS 749967 HAS SOPS 748209 HAS SOUS 67053 HAS SOUPS 65301 WITH SCORE 66050.967
AT ITER 5515 NEW BEST:: SOT 1105434 SOS 749928 HAS SOPS 748170 HAS SOUS 66959 HAS SOUPS 65207 WITH SCORE 65956.928
AT ITER 5516 NEW BEST:: SOT 1104192 SOS 749430 HAS SOPS 747672 HAS SOUS 65678 HAS SOUPS 63926 WITH SCORE 64675.43
AT ITER 5523 NEW BEST:: SOT 1104192 SOS 749238 HAS SOPS 747480 HAS SOUS 65678 HAS SOUPS 63926 WITH SCORE 64675.238
AT ITER 5552 NEW BEST:: SOT 1104082 SOS 744888 HAS SOPS 743090 HAS SOUS 65624 HAS SOUPS 63862 WITH SCORE 64606.888
AT ITER 5609 NEW BEST:: SOT 1104082 SOS 744888 HAS SOPS 743090 HAS SOUS 65607 HAS SOUPS 63845 WITH SCORE 64589.888
AT ITER 5610 NEW BEST:: SOT 1102446 SOS 742980 HAS SOPS 741182 HAS SOUS 65427 HAS SOUPS 63665 WITH SCORE 64407.98
AT ITER 5620 NEW BEST:: SOT 1102446 SOS 744420 HAS SOPS 742592 HAS SOUS 65427 HAS SOUPS 63635 WITH SCORE 64379.42
AT ITER 5634 NEW BEST:: SOT 1102188 SOS 744162 HAS SOPS 742334 HAS SOUS 65169 HAS SOUPS 63377 WITH SCORE 64121.162
AT ITER 5640 NEW BEST:: SOT 1102188 SOS 744360 HAS SOPS 742532 HAS SOUS 65160 HAS SOUPS 63368 WITH SCORE 64112.36
AT ITER 5645 NEW BEST:: SOT 1102459 SOS 745031 HAS SOPS 743203 HAS SOUS 64720 HAS SOUPS 62928 WITH SCORE 63673.031
AT ITER 5650 NEW BEST:: SOT 1102553 SOS 745125 HAS SOPS 743297 HAS SOUS 64687 HAS SOUPS 62895 WITH SCORE 63640.125
AT ITER 5652 NEW BEST:: SOT 1102553 SOS 745191 HAS SOPS 743363 HAS SOUS 64684 HAS SOUPS 62892 WITH SCORE 63637.191
AT ITER 5764 NEW BEST:: SOT 1102552 SOS 745191 HAS SOPS 743363 HAS SOUS 64682 HAS SOUPS 62890 WITH SCORE 63635.191
AT ITER 5774 NEW BEST:: SOT 1102552 SOS 744723 HAS SOPS 742895 HAS SOUS 64682 HAS SOUPS 62890 WITH SCORE 63634.723
AT ITER 5780 NEW BEST:: SOT 1102552 SOS 745103 HAS SOPS 743275 HAS SOUS 64663 HAS SOUPS 62871 WITH SCORE 63616.103
AT ITER 5796 NEW BEST:: SOT 1102474 SOS 745025 HAS SOPS 743197 HAS SOUS 64526 HAS SOUPS 62734 WITH SCORE 63479.025
AT ITER 5805 NEW BEST:: SOT 1102474 SOS 744981 HAS SOPS 743153 HAS SOUS 64526 HAS SOUPS 62734 WITH SCORE 63478.981
AT ITER 5825 NEW BEST:: SOT 1102474 SOS 744909 HAS SOPS 743081 HAS SOUS 64526 HAS SOUPS 62734 WITH SCORE 63478.909
AT ITER 5829 NEW BEST:: SOT 1102474 SOS 744717 HAS SOPS 742889 HAS SOUS 64526 HAS SOUPS 62734 WITH SCORE 63478.717
AT ITER 5835 NEW BEST:: SOT 1102290 SOS 744533 HAS SOPS 742705 HAS SOUS 64524 HAS SOUPS 62732 WITH SCORE 63476.533
AT ITER 5840 NEW BEST:: SOT 1102290 SOS 743957 HAS SOPS 742129 HAS SOUS 64524 HAS SOUPS 62732 WITH SCORE 63475.957
AT ITER 5847 NEW BEST:: SOT 1102280 SOS 743943 HAS SOPS 742115 HAS SOUS 64510 HAS SOUPS 62718 WITH SCORE 63461.943
AT ITER 5854 NEW BEST:: SOT 1102545 SOS 744208 HAS SOPS 742380 HAS SOUS 64450 HAS SOUPS 62658 WITH SCORE 63402.208
AT ITER 5862 NEW BEST:: SOT 1102545 SOS 743752 HAS SOPS 741924 HAS SOUS 64450 HAS SOUPS 62658 WITH SCORE 63401.752
AT ITER 5893 NEW BEST:: SOT 1102545 SOS 742366 HAS SOPS 740414 HAS SOUS 64442 HAS SOUPS 62558 WITH SCORE 63300.366
AT ITER 5931 NEW BEST:: SOT 1102901 SOS 742722 HAS SOPS 740770 HAS SOUS 64227 HAS SOUPS 62343 WITH SCORE 63085.722
AT ITER 5958 NEW BEST:: SOT 1103126 SOS 743197 HAS SOPS 740895 HAS SOUS 64475 HAS SOUPS 62241 WITH SCORE 62984.197
AT ITER 5969 NEW BEST:: SOT 1103126 SOS 743496 HAS SOPS 741181 HAS SOUS 64475 HAS SOUPS 62228 WITH SCORE 62971.496
AT ITER 5974 NEW BEST:: SOT 1103126 SOS 743483 HAS SOPS 741181 HAS SOUS 64462 HAS SOUPS 62228 WITH SCORE 62971.483
AT ITER 5984 NEW BEST:: SOT 1103126 SOS 737723 HAS SOPS 735421 HAS SOUS 64465 HAS SOUPS 62231 WITH SCORE 62968.723
AT ITER 5986 NEW BEST:: SOT 1103126 SOS 737349 HAS SOPS 735047 HAS SOUS 64465 HAS SOUPS 62231 WITH SCORE 62968.349
AT ITER 6010 NEW BEST:: SOT 1103126 SOS 737050 HAS SOPS 734735 HAS SOUS 64478 HAS SOUPS 62231 WITH SCORE 62968.05
AT ITER 6027 NEW BEST:: SOT 1103061 SOS 737030 HAS SOPS 734715 HAS SOUS 64448 HAS SOUPS 62201 WITH SCORE 62938.03
AT ITER 6081 NEW BEST:: SOT 1103061 SOS 736133 HAS SOPS 733779 HAS SOUS 64487 HAS SOUPS 62201 WITH SCORE 62937.133
AT ITER 6087 NEW BEST:: SOT 1103061 SOS 736133 HAS SOPS 733779 HAS SOUS 64437 HAS SOUPS 62151 WITH SCORE 62887.133
AT ITER 6158 NEW BEST:: SOT 1103081 SOS 736161 HAS SOPS 733807 HAS SOUS 64324 HAS SOUPS 62038 WITH SCORE 62774.161
AT ITER 6160 NEW BEST:: SOT 1103081 SOS 735513 HAS SOPS 733159 HAS SOUS 64324 HAS SOUPS 62038 WITH SCORE 62773.513
AT ITER 6166 NEW BEST:: SOT 1103092 SOS 735524 HAS SOPS 733170 HAS SOUS 64105 HAS SOUPS 61819 WITH SCORE 62554.524
AT ITER 6176 NEW BEST:: SOT 1103092 SOS 735524 HAS SOPS 733170 HAS SOUS 63980 HAS SOUPS 61694 WITH SCORE 62429.524
AT ITER 6191 NEW BEST:: SOT 1103092 SOS 735524 HAS SOPS 733170 HAS SOUS 63966 HAS SOUPS 61680 WITH SCORE 62415.524
AT ITER 6213 NEW BEST:: SOT 1103092 SOS 735524 HAS SOPS 733170 HAS SOUS 63960 HAS SOUPS 61674 WITH SCORE 62409.524
AT ITER 6238 NEW BEST:: SOT 1103092 SOS 735332 HAS SOPS 732978 HAS SOUS 63960 HAS SOUPS 61674 WITH SCORE 62409.332
AT ITER 6250 NEW BEST:: SOT 1103082 SOS 735322 HAS SOPS 732968 HAS SOUS 63952 HAS SOUPS 61666 WITH SCORE 62401.322
AT ITER 6267 NEW BEST:: SOT 1103080 SOS 735320 HAS SOPS 732966 HAS SOUS 63950 HAS SOUPS 61664 WITH SCORE 62399.32
AT ITER 6290 NEW BEST:: SOT 1103080 SOS 735104 HAS SOPS 732750 HAS SOUS 63950 HAS SOUPS 61664 WITH SCORE 62399.104
AT ITER 6292 NEW BEST:: SOT 1103157 SOS 733869 HAS SOPS 731563 HAS SOUS 63867 HAS SOUPS 61593 WITH SCORE 62326.869
AT ITER 6294 NEW BEST:: SOT 1103157 SOS 733797 HAS SOPS 731499 HAS SOUS 63729 HAS SOUPS 61455 WITH SCORE 62188.797
AT ITER 6295 NEW BEST:: SOT 1103157 SOS 733785 HAS SOPS 731499 HAS SOUS 63717 HAS SOUPS 61455 WITH SCORE 62188.785
AT ITER 6313 NEW BEST:: SOT 1103157 SOS 730587 HAS SOPS 728301 HAS SOUS 63717 HAS SOUPS 61455 WITH SCORE 62185.587
AT ITER 6319 NEW BEST:: SOT 1103181 SOS 735939 HAS SOPS 733653 HAS SOUS 63663 HAS SOUPS 61401 WITH SCORE 62136.939
AT ITER 6364 NEW BEST:: SOT 1103191 SOS 653047 HAS SOPS 650626 HAS SOUS 63662 HAS SOUPS 61265 WITH SCORE 61918.047
AT ITER 6381 NEW BEST:: SOT 1103171 SOS 653027 HAS SOPS 650606 HAS SOUS 63642 HAS SOUPS 61245 WITH SCORE 61898.027
AT ITER 6393 NEW BEST:: SOT 1103171 SOS 653022 HAS SOPS 650601 HAS SOUS 63637 HAS SOUPS 61240 WITH SCORE 61893.022
AT ITER 6446 NEW BEST:: SOT 1103171 SOS 652953 HAS SOPS 650532 HAS SOUS 63631 HAS SOUPS 61234 WITH SCORE 61886.953
AT ITER 6483 NEW BEST:: SOT 1103154 SOS 652936 HAS SOPS 650515 HAS SOUS 63618 HAS SOUPS 61221 WITH SCORE 61873.936
AT ITER 6575 NEW BEST:: SOT 1102929 SOS 652675 HAS SOPS 650254 HAS SOUS 63609 HAS SOUPS 61212 WITH SCORE 61864.675
AT ITER 6591 NEW BEST:: SOT 1102929 SOS 651661 HAS SOPS 649240 HAS SOUS 63609 HAS SOUPS 61212 WITH SCORE 61863.661
AT ITER 6608 NEW BEST:: SOT 1102929 SOS 650933 HAS SOPS 648472 HAS SOUS 63647 HAS SOUPS 61210 WITH SCORE 61860.933
AT ITER 6649 NEW BEST:: SOT 1102929 SOS 651775 HAS SOPS 649314 HAS SOUS 63609 HAS SOUPS 61172 WITH SCORE 61823.775
AT ITER 6711 NEW BEST:: SOT 1102929 SOS 651775 HAS SOPS 649314 HAS SOUS 63595 HAS SOUPS 61158 WITH SCORE 61809.775
AT ITER 6746 NEW BEST:: SOT 1102929 SOS 651775 HAS SOPS 649314 HAS SOUS 63592 HAS SOUPS 61155 WITH SCORE 61806.775
AT ITER 6774 NEW BEST:: SOT 1102770 SOS 650992 HAS SOPS 648401 HAS SOUS 63679 HAS SOUPS 61112 WITH SCORE 61762.992
AT ITER 6819 NEW BEST:: SOT 1102770 SOS 650542 HAS SOPS 647969 HAS SOUS 63661 HAS SOUPS 61112 WITH SCORE 61762.542
AT ITER 6830 NEW BEST:: SOT 1102770 SOS 650510 HAS SOPS 647969 HAS SOUS 63629 HAS SOUPS 61112 WITH SCORE 61762.51
AT ITER 6858 NEW BEST:: SOT 1102770 SOS 650924 HAS SOPS 648383 HAS SOUS 63620 HAS SOUPS 61103 WITH SCORE 61753.924
AT ITER 6884 NEW BEST:: SOT 1102770 SOS 650924 HAS SOPS 648383 HAS SOUS 63574 HAS SOUPS 61057 WITH SCORE 61707.924
AT ITER 6917 NEW BEST:: SOT 1102774 SOS 650928 HAS SOPS 648387 HAS SOUS 63499 HAS SOUPS 60982 WITH SCORE 61632.928
AT ITER 6919 NEW BEST:: SOT 1102774 SOS 650629 HAS SOPS 648075 HAS SOUS 63512 HAS SOUPS 60982 WITH SCORE 61632.629
AT ITER 7014 NEW BEST:: SOT 1102774 SOS 650813 HAS SOPS 648251 HAS SOUS 63512 HAS SOUPS 60974 WITH SCORE 61624.813
AT ITER 7041 NEW BEST:: SOT 1102879 SOS 650798 HAS SOPS 648236 HAS SOUS 63492 HAS SOUPS 60954 WITH SCORE 61604.798
AT ITER 7087 NEW BEST:: SOT 1102599 SOS 650854 HAS SOPS 648292 HAS SOUS 63072 HAS SOUPS 60534 WITH SCORE 61184.854
AT ITER 7108 NEW BEST:: SOT 1102645 SOS 653978 HAS SOPS 651416 HAS SOUS 63049 HAS SOUPS 60511 WITH SCORE 61164.978
AT ITER 7115 NEW BEST:: SOT 1102645 SOS 653930 HAS SOPS 651368 HAS SOUS 63049 HAS SOUPS 60511 WITH SCORE 61164.93
AT ITER 7134 NEW BEST:: SOT 1102648 SOS 653638 HAS SOPS 651131 HAS SOUS 62956 HAS SOUPS 60473 WITH SCORE 61126.638
AT ITER 7153 NEW BEST:: SOT 1102410 SOS 653400 HAS SOPS 650893 HAS SOUS 62693 HAS SOUPS 60210 WITH SCORE 60863.4
AT ITER 7157 NEW BEST:: SOT 1102410 SOS 652828 HAS SOPS 650321 HAS SOUS 62693 HAS SOUPS 60210 WITH SCORE 60862.828
AT ITER 7190 NEW BEST:: SOT 1102331 SOS 652749 HAS SOPS 650242 HAS SOUS 62677 HAS SOUPS 60194 WITH SCORE 60846.749
AT ITER 7208 NEW BEST:: SOT 1102331 SOS 652629 HAS SOPS 650122 HAS SOUS 62677 HAS SOUPS 60194 WITH SCORE 60846.629
AT ITER 7227 NEW BEST:: SOT 1102331 SOS 651837 HAS SOPS 649330 HAS SOUS 62677 HAS SOUPS 60194 WITH SCORE 60845.837
AT ITER 7241 NEW BEST:: SOT 1102331 SOS 651813 HAS SOPS 649306 HAS SOUS 62677 HAS SOUPS 60194 WITH SCORE 60845.813
AT ITER 7267 NEW BEST:: SOT 1102331 SOS 651621 HAS SOPS 649114 HAS SOUS 62669 HAS SOUPS 60186 WITH SCORE 60837.621
AT ITER 7288 NEW BEST:: SOT 1102331 SOS 651621 HAS SOPS 649114 HAS SOUS 62668 HAS SOUPS 60185 WITH SCORE 60836.621
AT ITER 7294 NEW BEST:: SOT 1102331 SOS 651184 HAS SOPS 648658 HAS SOUS 62687 HAS SOUPS 60185 WITH SCORE 60836.184
AT ITER 7298 NEW BEST:: SOT 1102820 SOS 651673 HAS SOPS 649147 HAS SOUS 62502 HAS SOUPS 60000 WITH SCORE 60651.673
AT ITER 7301 NEW BEST:: SOT 1102815 SOS 651668 HAS SOPS 649142 HAS SOUS 62482 HAS SOUPS 59980 WITH SCORE 60631.668
AT ITER 7306 NEW BEST:: SOT 1103043 SOS 651944 HAS SOPS 649418 HAS SOUS 62444 HAS SOUPS 59942 WITH SCORE 60593.944
AT ITER 7395 NEW BEST:: SOT 1103043 SOS 651914 HAS SOPS 649418 HAS SOUS 62414 HAS SOUPS 59942 WITH SCORE 60593.914
AT ITER 7398 NEW BEST:: SOT 1103043 SOS 651434 HAS SOPS 648938 HAS SOUS 62414 HAS SOUPS 59942 WITH SCORE 60593.434
AT ITER 7525 NEW BEST:: SOT 1103208 SOS 651599 HAS SOPS 649103 HAS SOUS 62370 HAS SOUPS 59898 WITH SCORE 60549.599
AT ITER 7535 NEW BEST:: SOT 1103217 SOS 651608 HAS SOPS 649112 HAS SOUS 62367 HAS SOUPS 59895 WITH SCORE 60546.608
AT ITER 7543 NEW BEST:: SOT 1104630 SOS 654389 HAS SOPS 651988 HAS SOUS 62247 HAS SOUPS 59870 WITH SCORE 60524.389
AT ITER 7589 NEW BEST:: SOT 1104273 SOS 654032 HAS SOPS 651631 HAS SOUS 62167 HAS SOUPS 59790 WITH SCORE 60444.032
AT ITER 7611 NEW BEST:: SOT 1104351 SOS 654110 HAS SOPS 651709 HAS SOUS 61768 HAS SOUPS 59391 WITH SCORE 60045.11
AT ITER 7612 NEW BEST:: SOT 1104502 SOS 654261 HAS SOPS 651860 HAS SOUS 61633 HAS SOUPS 59256 WITH SCORE 59910.261
AT ITER 7620 NEW BEST:: SOT 1104502 SOS 654240 HAS SOPS 651860 HAS SOUS 61612 HAS SOUPS 59256 WITH SCORE 59910.24
AT ITER 7632 NEW BEST:: SOT 1104502 SOS 654096 HAS SOPS 651716 HAS SOUS 61603 HAS SOUPS 59247 WITH SCORE 59901.096
AT ITER 7644 NEW BEST:: SOT 1104458 SOS 654100 HAS SOPS 651720 HAS SOUS 61593 HAS SOUPS 59237 WITH SCORE 59891.1
AT ITER 7652 NEW BEST:: SOT 1104452 SOS 653868 HAS SOPS 651488 HAS SOUS 61581 HAS SOUPS 59225 WITH SCORE 59878.868
AT ITER 7684 NEW BEST:: SOT 1104452 SOS 653855 HAS SOPS 651488 HAS SOUS 61568 HAS SOUPS 59225 WITH SCORE 59878.855
AT ITER 7692 NEW BEST:: SOT 1104443 SOS 653842 HAS SOPS 651475 HAS SOUS 61564 HAS SOUPS 59221 WITH SCORE 59874.842
AT ITER 7703 NEW BEST:: SOT 1104467 SOS 653706 HAS SOPS 651339 HAS SOUS 61284 HAS SOUPS 58941 WITH SCORE 59594.706
AT ITER 7741 NEW BEST:: SOT 1104467 SOS 653656 HAS SOPS 651314 HAS SOUS 61259 HAS SOUPS 58941 WITH SCORE 59594.656
AT ITER 7789 NEW BEST:: SOT 1104467 SOS 653296 HAS SOPS 650954 HAS SOUS 61259 HAS SOUPS 58941 WITH SCORE 59594.296
AT ITER 7799 NEW BEST:: SOT 1104467 SOS 653248 HAS SOPS 650906 HAS SOUS 61259 HAS SOUPS 58941 WITH SCORE 59594.248
AT ITER 7813 NEW BEST:: SOT 1104380 SOS 653161 HAS SOPS 650819 HAS SOUS 61247 HAS SOUPS 58929 WITH SCORE 59582.161
AT ITER 7815 NEW BEST:: SOT 1104380 SOS 652985 HAS SOPS 650643 HAS SOUS 61247 HAS SOUPS 58929 WITH SCORE 59581.985
AT ITER 7835 NEW BEST:: SOT 1104380 SOS 652695 HAS SOPS 650331 HAS SOUS 61265 HAS SOUPS 58925 WITH SCORE 59577.695
AT ITER 7915 NEW BEST:: SOT 1104375 SOS 652690 HAS SOPS 650326 HAS SOUS 61260 HAS SOUPS 58920 WITH SCORE 59572.69
AT ITER 7916 NEW BEST:: SOT 1104375 SOS 653819 HAS SOPS 651404 HAS SOUS 61285 HAS SOUPS 58894 WITH SCORE 59547.819
AT ITER 7940 NEW BEST:: SOT 1104375 SOS 653819 HAS SOPS 651404 HAS SOUS 61281 HAS SOUPS 58890 WITH SCORE 59543.819
AT ITER 8049 NEW BEST:: SOT 1104375 SOS 652894 HAS SOPS 650516 HAS SOUS 61244 HAS SOUPS 58890 WITH SCORE 59542.894
AT ITER 8056 NEW BEST:: SOT 1104375 SOS 652873 HAS SOPS 650488 HAS SOUS 61244 HAS SOUPS 58883 WITH SCORE 59535.873
AT ITER 8109 NEW BEST:: SOT 1104394 SOS 652892 HAS SOPS 650540 HAS SOUS 61193 HAS SOUPS 58865 WITH SCORE 59517.892
AT ITER 8138 NEW BEST:: SOT 1104369 SOS 652867 HAS SOPS 650515 HAS SOUS 61191 HAS SOUPS 58863 WITH SCORE 59515.867
AT ITER 8156 NEW BEST:: SOT 1104303 SOS 652801 HAS SOPS 650449 HAS SOUS 61125 HAS SOUPS 58797 WITH SCORE 59449.801
AT ITER 8189 NEW BEST:: SOT 1104278 SOS 652776 HAS SOPS 650424 HAS SOUS 61122 HAS SOUPS 58794 WITH SCORE 59446.776
AT ITER 8232 NEW BEST:: SOT 1104278 SOS 652362 HAS SOPS 649992 HAS SOUS 61140 HAS SOUPS 58794 WITH SCORE 59446.362
AT ITER 8255 NEW BEST:: SOT 1104135 SOS 652219 HAS SOPS 649849 HAS SOUS 61111 HAS SOUPS 58765 WITH SCORE 59417.219
AT ITER 8262 NEW BEST:: SOT 1104156 SOS 652256 HAS SOPS 649886 HAS SOUS 61056 HAS SOUPS 58710 WITH SCORE 59362.256
AT ITER 8321 NEW BEST:: SOT 1104156 SOS 652252 HAS SOPS 649886 HAS SOUS 61052 HAS SOUPS 58710 WITH SCORE 59362.252
AT ITER 8513 NEW BEST:: SOT 1104156 SOS 651652 HAS SOPS 649286 HAS SOUS 61049 HAS SOUPS 58707 WITH SCORE 59358.652
AT ITER 8521 NEW BEST:: SOT 1104156 SOS 651642 HAS SOPS 649276 HAS SOUS 61049 HAS SOUPS 58707 WITH SCORE 59358.642
AT ITER 8533 NEW BEST:: SOT 1104156 SOS 651964 HAS SOPS 649584 HAS SOUS 61049 HAS SOUPS 58693 WITH SCORE 59344.964
AT ITER 8542 NEW BEST:: SOT 1104969 SOS 653689 HAS SOPS 651359 HAS SOUS 60950 HAS SOUPS 58644 WITH SCORE 59297.689
AT ITER 8558 NEW BEST:: SOT 1104967 SOS 653687 HAS SOPS 651357 HAS SOUS 60940 HAS SOUPS 58634 WITH SCORE 59287.687
AT ITER 8600 NEW BEST:: SOT 1104846 SOS 653550 HAS SOPS 651220 HAS SOUS 60887 HAS SOUPS 58581 WITH SCORE 59234.55
AT ITER 8670 NEW BEST:: SOT 1104945 SOS 653649 HAS SOPS 651319 HAS SOUS 60870 HAS SOUPS 58564 WITH SCORE 59217.649
AT ITER 8735 NEW BEST:: SOT 1104940 SOS 653644 HAS SOPS 651314 HAS SOUS 60865 HAS SOUPS 58559 WITH SCORE 59212.644
AT ITER 8743 NEW BEST:: SOT 1104940 SOS 653644 HAS SOPS 651314 HAS SOUS 60859 HAS SOUPS 58553 WITH SCORE 59206.644
AT ITER 8810 NEW BEST:: SOT 1104922 SOS 653626 HAS SOPS 651296 HAS SOUS 60841 HAS SOUPS 58535 WITH SCORE 59188.626
AT ITER 8835 NEW BEST:: SOT 1104922 SOS 654093 HAS SOPS 651742 HAS SOUS 60845 HAS SOUPS 58518 WITH SCORE 59172.093
AT ITER 8867 NEW BEST:: SOT 1104918 SOS 654498 HAS SOPS 652147 HAS SOUS 60840 HAS SOUPS 58513 WITH SCORE 59167.498
AT ITER 8879 NEW BEST:: SOT 1104918 SOS 654518 HAS SOPS 652167 HAS SOUS 60839 HAS SOUPS 58512 WITH SCORE 59166.518
AT ITER 8987 NEW BEST:: SOT 1104667 SOS 654271 HAS SOPS 651916 HAS SOUS 60828 HAS SOUPS 58497 WITH SCORE 59151.271
AT ITER 9003 NEW BEST:: SOT 1104134 SOS 653162 HAS SOPS 650757 HAS SOUS 60871 HAS SOUPS 58490 WITH SCORE 59143.162
AT ITER 9016 NEW BEST:: SOT 1104145 SOS 653173 HAS SOPS 650768 HAS SOUS 60866 HAS SOUPS 58485 WITH SCORE 59138.173
AT ITER 9020 NEW BEST:: SOT 1104145 SOS 653003 HAS SOPS 650598 HAS SOUS 60866 HAS SOUPS 58485 WITH SCORE 59138.003
AT ITER 9050 NEW BEST:: SOT 1104428 SOS 653286 HAS SOPS 650881 HAS SOUS 60861 HAS SOUPS 58480 WITH SCORE 59133.286
AT ITER 9111 NEW BEST:: SOT 1104428 SOS 653691 HAS SOPS 651281 HAS SOUS 60861 HAS SOUPS 58475 WITH SCORE 59128.691
AT ITER 9159 NEW BEST:: SOT 1104376 SOS 650459 HAS SOPS 648049 HAS SOUS 60863 HAS SOUPS 58477 WITH SCORE 59127.459
AT ITER 9258 NEW BEST:: SOT 1104376 SOS 650459 HAS SOPS 648049 HAS SOUS 60853 HAS SOUPS 58467 WITH SCORE 59117.459
AT ITER 9322 NEW BEST:: SOT 1104376 SOS 650459 HAS SOPS 648049 HAS SOUS 60733 HAS SOUPS 58347 WITH SCORE 58997.459
AT ITER 9404 NEW BEST:: SOT 1104370 SOS 650453 HAS SOPS 648043 HAS SOUS 60715 HAS SOUPS 58329 WITH SCORE 58979.453
AT ITER 9427 NEW BEST:: SOT 1104370 SOS 650775 HAS SOPS 648365 HAS SOUS 60708 HAS SOUPS 58322 WITH SCORE 58972.775
AT ITER 9453 NEW BEST:: SOT 1104386 SOS 650791 HAS SOPS 648381 HAS SOUS 60664 HAS SOUPS 58278 WITH SCORE 58928.791
AT ITER 9505 NEW BEST:: SOT 1104372 SOS 650777 HAS SOPS 648367 HAS SOUS 60580 HAS SOUPS 58194 WITH SCORE 58844.777
AT ITER 9528 NEW BEST:: SOT 1104372 SOS 652505 HAS SOPS 650095 HAS SOUS 60574 HAS SOUPS 58188 WITH SCORE 58840.505
AT ITER 9541 NEW BEST:: SOT 1104372 SOS 645647 HAS SOPS 643237 HAS SOUS 60566 HAS SOUPS 58180 WITH SCORE 58825.647
AT ITER 9606 NEW BEST:: SOT 1104357 SOS 645872 HAS SOPS 643462 HAS SOUS 60536 HAS SOUPS 58150 WITH SCORE 58795.872
AT ITER 9668 NEW BEST:: SOT 1104357 SOS 646497 HAS SOPS 644037 HAS SOUS 60561 HAS SOUPS 58125 WITH SCORE 58771.497
AT ITER 9669 NEW BEST:: SOT 1104357 SOS 646401 HAS SOPS 643941 HAS SOUS 60549 HAS SOUPS 58113 WITH SCORE 58759.401
AT ITER 9672 NEW BEST:: SOT 1104357 SOS 646353 HAS SOPS 643893 HAS SOUS 60549 HAS SOUPS 58113 WITH SCORE 58759.353
AT ITER 9682 NEW BEST:: SOT 1104367 SOS 646598 HAS SOPS 644143 HAS SOUS 60505 HAS SOUPS 58074 WITH SCORE 58720.598
AT ITER 9692 NEW BEST:: SOT 1104367 SOS 646588 HAS SOPS 644143 HAS SOUS 60495 HAS SOUPS 58074 WITH SCORE 58720.588
AT ITER 9716 NEW BEST:: SOT 1104367 SOS 646928 HAS SOPS 644483 HAS SOUS 60478 HAS SOUPS 58057 WITH SCORE 58703.928
AT ITER 9771 NEW BEST:: SOT 1104395 SOS 646956 HAS SOPS 644511 HAS SOUS 60433 HAS SOUPS 58012 WITH SCORE 58658.956
AT ITER 9807 NEW BEST:: SOT 1104386 SOS 646947 HAS SOPS 644521 HAS SOUS 60382 HAS SOUPS 57980 WITH SCORE 58626.947
AT ITER 9841 NEW BEST:: SOT 1104386 SOS 646322 HAS SOPS 643921 HAS SOUS 60357 HAS SOUPS 57980 WITH SCORE 58626.322
AT ITER 9865 NEW BEST:: SOT 1104375 SOS 646311 HAS SOPS 643910 HAS SOUS 60346 HAS SOUPS 57969 WITH SCORE 58615.311
AT ITER 9886 NEW BEST:: SOT 1104179 SOS 646071 HAS SOPS 643670 HAS SOUS 60298 HAS SOUPS 57921 WITH SCORE 58567.071
AT ITER 9918 NEW BEST:: SOT 1104179 SOS 645783 HAS SOPS 643382 HAS SOUS 60298 HAS SOUPS 57921 WITH SCORE 58566.783

BK_STOP 1678623855217

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 367 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Medical-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Medical-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410800688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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