Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 15K Feb 26 13:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 13:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Feb 26 13:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 128K Feb 26 13:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 42K Feb 26 13:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 235K Feb 26 13:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 63K Feb 26 13:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 346K Feb 26 13:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 717K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678796940134

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S02J04T08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T08
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: 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 4 NEW BEST:: SOT 463955 SOS 247251 HAS SOPS 242413 HAS SOUS 145343 HAS SOUPS 144902 WITH SCORE 145149.251
AT ITER 6 NEW BEST:: SOT 463947 SOS 247208 HAS SOPS 242370 HAS SOUS 145300 HAS SOUPS 144859 WITH SCORE 145106.208
AT ITER 7 NEW BEST:: SOT 463911 SOS 247136 HAS SOPS 242298 HAS SOUS 145228 HAS SOUPS 144787 WITH SCORE 145034.136
AT ITER 27 NEW BEST:: SOT 463911 SOS 247136 HAS SOPS 242298 HAS SOUS 145213 HAS SOUPS 144772 WITH SCORE 145019.136
AT ITER 33 NEW BEST:: SOT 463813 SOS 247047 HAS SOPS 242209 HAS SOUS 145211 HAS SOUPS 144770 WITH SCORE 145017.047
AT ITER 34 NEW BEST:: SOT 463756 SOS 247124 HAS SOPS 242285 HAS SOUS 145097 HAS SOUPS 144656 WITH SCORE 144903.124
AT ITER 58 NEW BEST:: SOT 463756 SOS 247124 HAS SOPS 242285 HAS SOUS 145095 HAS SOUPS 144654 WITH SCORE 144901.124
AT ITER 59 NEW BEST:: SOT 463628 SOS 247052 HAS SOPS 242361 HAS SOUS 145020 HAS SOUPS 144579 WITH SCORE 144826.052
AT ITER 74 NEW BEST:: SOT 463525 SOS 246850 HAS SOPS 242159 HAS SOUS 144907 HAS SOUPS 144466 WITH SCORE 144712.85
AT ITER 75 NEW BEST:: SOT 463000 SOS 246055 HAS SOPS 241364 HAS SOUS 144401 HAS SOUPS 143960 WITH SCORE 144206.055
AT ITER 80 NEW BEST:: SOT 462742 SOS 245293 HAS SOPS 240766 HAS SOUS 144112 HAS SOUPS 143681 WITH SCORE 143926.293
AT ITER 91 NEW BEST:: SOT 462679 SOS 245222 HAS SOPS 240695 HAS SOUS 144085 HAS SOUPS 143654 WITH SCORE 143899.222
AT ITER 94 NEW BEST:: SOT 462618 SOS 245114 HAS SOPS 240587 HAS SOUS 143858 HAS SOUPS 143427 WITH SCORE 143672.114
AT ITER 99 NEW BEST:: SOT 460812 SOS 242873 HAS SOPS 238346 HAS SOUS 142419 HAS SOUPS 141988 WITH SCORE 142230.873
AT ITER 104 NEW BEST:: SOT 460926 SOS 242940 HAS SOPS 238413 HAS SOUS 142401 HAS SOUPS 141970 WITH SCORE 142212.94
AT ITER 106 NEW BEST:: SOT 460815 SOS 242591 HAS SOPS 238064 HAS SOUS 142163 HAS SOUPS 141732 WITH SCORE 141974.591
AT ITER 108 NEW BEST:: SOT 460727 SOS 242558 HAS SOPS 238023 HAS SOUS 142120 HAS SOUPS 141686 WITH SCORE 141928.558
AT ITER 115 NEW BEST:: SOT 460535 SOS 242366 HAS SOPS 237831 HAS SOUS 141974 HAS SOUPS 141540 WITH SCORE 141782.366
AT ITER 124 NEW BEST:: SOT 457320 SOS 239266 HAS SOPS 234731 HAS SOUS 140714 HAS SOUPS 140280 WITH SCORE 140519.266
AT ITER 140 NEW BEST:: SOT 452253 SOS 236727 HAS SOPS 233644 HAS SOUS 136231 HAS SOUPS 135913 WITH SCORE 136149.727
AT ITER 150 NEW BEST:: SOT 448438 SOS 232957 HAS SOPS 229874 HAS SOUS 135629 HAS SOUPS 135311 WITH SCORE 135543.957
AT ITER 156 NEW BEST:: SOT 448106 SOS 232636 HAS SOPS 229553 HAS SOUS 135281 HAS SOUPS 134963 WITH SCORE 135195.636
AT ITER 163 NEW BEST:: SOT 447902 SOS 232432 HAS SOPS 229349 HAS SOUS 134489 HAS SOUPS 134171 WITH SCORE 134403.432
AT ITER 164 NEW BEST:: SOT 447621 SOS 231827 HAS SOPS 228744 HAS SOUS 134037 HAS SOUPS 133719 WITH SCORE 133950.827
AT ITER 172 NEW BEST:: SOT 447408 SOS 231601 HAS SOPS 228518 HAS SOUS 133817 HAS SOUPS 133499 WITH SCORE 133730.601
AT ITER 181 NEW BEST:: SOT 445417 SOS 232879 HAS SOPS 229796 HAS SOUS 133457 HAS SOUPS 133139 WITH SCORE 133371.879
AT ITER 185 NEW BEST:: SOT 445365 SOS 232759 HAS SOPS 229676 HAS SOUS 133337 HAS SOUPS 133019 WITH SCORE 133251.759
AT ITER 189 NEW BEST:: SOT 440943 SOS 231712 HAS SOPS 227187 HAS SOUS 129133 HAS SOUPS 128534 WITH SCORE 128765.712
AT ITER 202 NEW BEST:: SOT 440568 SOS 231450 HAS SOPS 226925 HAS SOUS 129052 HAS SOUPS 128453 WITH SCORE 128684.45
AT ITER 208 NEW BEST:: SOT 440568 SOS 231077 HAS SOPS 226552 HAS SOUS 129052 HAS SOUPS 128453 WITH SCORE 128684.077
AT ITER 216 NEW BEST:: SOT 440568 SOS 229221 HAS SOPS 224696 HAS SOUS 129052 HAS SOUPS 128453 WITH SCORE 128682.221
AT ITER 228 NEW BEST:: SOT 440198 SOS 229086 HAS SOPS 224605 HAS SOUS 127522 HAS SOUPS 126967 WITH SCORE 127196.086
AT ITER 231 NEW BEST:: SOT 440165 SOS 229053 HAS SOPS 224572 HAS SOUS 127459 HAS SOUPS 126904 WITH SCORE 127133.053
AT ITER 243 NEW BEST:: SOT 440165 SOS 228317 HAS SOPS 223836 HAS SOUS 127457 HAS SOUPS 126902 WITH SCORE 127130.317
AT ITER 253 NEW BEST:: SOT 440175 SOS 228327 HAS SOPS 223846 HAS SOUS 127449 HAS SOUPS 126894 WITH SCORE 127122.327
AT ITER 264 NEW BEST:: SOT 440133 SOS 228273 HAS SOPS 223792 HAS SOUS 127335 HAS SOUPS 126780 WITH SCORE 127008.273
AT ITER 269 NEW BEST:: SOT 440149 SOS 228201 HAS SOPS 223720 HAS SOUS 127266 HAS SOUPS 126711 WITH SCORE 126939.201
AT ITER 276 NEW BEST:: SOT 440077 SOS 229356 HAS SOPS 224875 HAS SOUS 127212 HAS SOUPS 126657 WITH SCORE 126886.356
AT ITER 281 NEW BEST:: SOT 439949 SOS 229316 HAS SOPS 224835 HAS SOUS 127212 HAS SOUPS 126657 WITH SCORE 126886.316
AT ITER 310 NEW BEST:: SOT 439901 SOS 229268 HAS SOPS 224787 HAS SOUS 127116 HAS SOUPS 126561 WITH SCORE 126790.268
AT ITER 314 NEW BEST:: SOT 439873 SOS 229714 HAS SOPS 225251 HAS SOUS 127037 HAS SOUPS 126482 WITH SCORE 126711.714
AT ITER 322 NEW BEST:: SOT 439799 SOS 229640 HAS SOPS 225177 HAS SOUS 127000 HAS SOUPS 126445 WITH SCORE 126674.64
AT ITER 340 NEW BEST:: SOT 434133 SOS 224554 HAS SOPS 220091 HAS SOUS 125010 HAS SOUPS 124455 WITH SCORE 124679.554
AT ITER 348 NEW BEST:: SOT 431791 SOS 222264 HAS SOPS 217801 HAS SOUS 123987 HAS SOUPS 123432 WITH SCORE 123654.264
AT ITER 353 NEW BEST:: SOT 431798 SOS 222271 HAS SOPS 217808 HAS SOUS 123949 HAS SOUPS 123394 WITH SCORE 123616.271
AT ITER 363 NEW BEST:: SOT 431639 SOS 221948 HAS SOPS 217485 HAS SOUS 123795 HAS SOUPS 123240 WITH SCORE 123461.948
AT ITER 369 NEW BEST:: SOT 427458 SOS 219374 HAS SOPS 214911 HAS SOUS 122918 HAS SOUPS 122363 WITH SCORE 122582.374
AT ITER 383 NEW BEST:: SOT 427577 SOS 219576 HAS SOPS 215196 HAS SOUS 122077 HAS SOUPS 121522 WITH SCORE 121741.576
AT ITER 384 NEW BEST:: SOT 427636 SOS 220387 HAS SOPS 216007 HAS SOUS 121991 HAS SOUPS 121436 WITH SCORE 121656.387
AT ITER 393 NEW BEST:: SOT 427573 SOS 220342 HAS SOPS 215962 HAS SOUS 121925 HAS SOUPS 121370 WITH SCORE 121590.342
AT ITER 401 NEW BEST:: SOT 427573 SOS 220330 HAS SOPS 215950 HAS SOUS 121913 HAS SOUPS 121358 WITH SCORE 121578.33
AT ITER 420 NEW BEST:: SOT 427544 SOS 220314 HAS SOPS 215934 HAS SOUS 121897 HAS SOUPS 121342 WITH SCORE 121562.314
AT ITER 431 NEW BEST:: SOT 427534 SOS 220304 HAS SOPS 215924 HAS SOUS 121887 HAS SOUPS 121332 WITH SCORE 121552.304
AT ITER 435 NEW BEST:: SOT 427130 SOS 220001 HAS SOPS 215621 HAS SOUS 121574 HAS SOUPS 121019 WITH SCORE 121239.001
AT ITER 439 NEW BEST:: SOT 427046 SOS 219833 HAS SOPS 215411 HAS SOUS 121406 HAS SOUPS 120851 WITH SCORE 121070.833
AT ITER 444 NEW BEST:: SOT 426794 SOS 219561 HAS SOPS 215139 HAS SOUS 121106 HAS SOUPS 120551 WITH SCORE 120770.561
AT ITER 454 NEW BEST:: SOT 426761 SOS 219390 HAS SOPS 214968 HAS SOUS 121046 HAS SOUPS 120491 WITH SCORE 120710.39
AT ITER 460 NEW BEST:: SOT 426907 SOS 219294 HAS SOPS 214842 HAS SOUS 121012 HAS SOUPS 120413 WITH SCORE 120632.294
AT ITER 467 NEW BEST:: SOT 425065 SOS 217475 HAS SOPS 213023 HAS SOUS 119188 HAS SOUPS 118589 WITH SCORE 118806.475
AT ITER 474 NEW BEST:: SOT 424927 SOS 217179 HAS SOPS 212727 HAS SOUS 119070 HAS SOUPS 118471 WITH SCORE 118688.179
AT ITER 478 NEW BEST:: SOT 424927 SOS 217166 HAS SOPS 212701 HAS SOUS 119070 HAS SOUPS 118471 WITH SCORE 118688.166
AT ITER 483 NEW BEST:: SOT 424816 SOS 217047 HAS SOPS 212582 HAS SOUS 118922 HAS SOUPS 118323 WITH SCORE 118540.047
AT ITER 484 NEW BEST:: SOT 424858 SOS 217355 HAS SOPS 212890 HAS SOUS 118919 HAS SOUPS 118320 WITH SCORE 118537.355
AT ITER 485 NEW BEST:: SOT 424754 SOS 217679 HAS SOPS 213237 HAS SOUS 118729 HAS SOUPS 118130 WITH SCORE 118347.679
AT ITER 494 NEW BEST:: SOT 424700 SOS 217625 HAS SOPS 213202 HAS SOUS 118706 HAS SOUPS 118107 WITH SCORE 118324.625
AT ITER 496 NEW BEST:: SOT 424574 SOS 217554 HAS SOPS 213131 HAS SOUS 118587 HAS SOUPS 117988 WITH SCORE 118205.554
AT ITER 506 NEW BEST:: SOT 424599 SOS 217554 HAS SOPS 213131 HAS SOUS 118562 HAS SOUPS 117963 WITH SCORE 118180.554
AT ITER 518 NEW BEST:: SOT 424599 SOS 218276 HAS SOPS 213853 HAS SOUS 118535 HAS SOUPS 117936 WITH SCORE 118154.276
AT ITER 523 NEW BEST:: SOT 424543 SOS 218194 HAS SOPS 213745 HAS SOUS 118471 HAS SOUPS 117872 WITH SCORE 118090.194
AT ITER 548 NEW BEST:: SOT 424514 SOS 218165 HAS SOPS 213716 HAS SOUS 118413 HAS SOUPS 117814 WITH SCORE 118032.165
AT ITER 555 NEW BEST:: SOT 424537 SOS 220101 HAS SOPS 215652 HAS SOUS 118333 HAS SOUPS 117734 WITH SCORE 117954.101
AT ITER 558 NEW BEST:: SOT 424559 SOS 220123 HAS SOPS 215674 HAS SOUS 118311 HAS SOUPS 117712 WITH SCORE 117932.123
AT ITER 570 NEW BEST:: SOT 424547 SOS 220099 HAS SOPS 215650 HAS SOUS 118311 HAS SOUPS 117712 WITH SCORE 117932.099
AT ITER 586 NEW BEST:: SOT 424532 SOS 220084 HAS SOPS 215635 HAS SOUS 118290 HAS SOUPS 117691 WITH SCORE 117911.084
AT ITER 594 NEW BEST:: SOT 424570 SOS 220301 HAS SOPS 215671 HAS SOUS 118206 HAS SOUPS 117607 WITH SCORE 117827.301
AT ITER 631 NEW BEST:: SOT 424531 SOS 220262 HAS SOPS 215632 HAS SOUS 118113 HAS SOUPS 117514 WITH SCORE 117734.262
AT ITER 641 NEW BEST:: SOT 424527 SOS 220258 HAS SOPS 215628 HAS SOUS 118107 HAS SOUPS 117508 WITH SCORE 117728.258
AT ITER 646 NEW BEST:: SOT 420724 SOS 220288 HAS SOPS 215658 HAS SOUS 117143 HAS SOUPS 116544 WITH SCORE 116764.288
AT ITER 654 NEW BEST:: SOT 420741 SOS 220406 HAS SOPS 215775 HAS SOUS 117076 HAS SOUPS 116477 WITH SCORE 116697.406
AT ITER 662 NEW BEST:: SOT 420799 SOS 220625 HAS SOPS 215994 HAS SOUS 116986 HAS SOUPS 116387 WITH SCORE 116607.625
AT ITER 675 NEW BEST:: SOT 420725 SOS 220551 HAS SOPS 215920 HAS SOUS 116881 HAS SOUPS 116282 WITH SCORE 116502.551
AT ITER 679 NEW BEST:: SOT 420715 SOS 220491 HAS SOPS 215860 HAS SOUS 116866 HAS SOUPS 116267 WITH SCORE 116487.491
AT ITER 686 NEW BEST:: SOT 420718 SOS 220494 HAS SOPS 215863 HAS SOUS 116740 HAS SOUPS 116141 WITH SCORE 116361.494
AT ITER 692 NEW BEST:: SOT 415094 SOS 215897 HAS SOPS 211266 HAS SOUS 114550 HAS SOUPS 113951 WITH SCORE 114166.897
AT ITER 731 NEW BEST:: SOT 414996 SOS 215734 HAS SOPS 211216 HAS SOUS 114448 HAS SOUPS 113849 WITH SCORE 114064.734
AT ITER 747 NEW BEST:: SOT 414936 SOS 215634 HAS SOPS 211116 HAS SOUS 114358 HAS SOUPS 113759 WITH SCORE 113974.634
AT ITER 749 NEW BEST:: SOT 413967 SOS 214682 HAS SOPS 210164 HAS SOUS 113902 HAS SOUPS 113303 WITH SCORE 113517.682
AT ITER 756 NEW BEST:: SOT 413043 SOS 213758 HAS SOPS 209240 HAS SOUS 113293 HAS SOUPS 112694 WITH SCORE 112907.758
AT ITER 760 NEW BEST:: SOT 412931 SOS 213534 HAS SOPS 209016 HAS SOUS 113125 HAS SOUPS 112526 WITH SCORE 112739.534
AT ITER 761 NEW BEST:: SOT 412931 SOS 212628 HAS SOPS 208110 HAS SOUS 113083 HAS SOUPS 112484 WITH SCORE 112696.628
AT ITER 764 NEW BEST:: SOT 412931 SOS 212628 HAS SOPS 208110 HAS SOUS 113073 HAS SOUPS 112474 WITH SCORE 112686.628
AT ITER 770 NEW BEST:: SOT 412925 SOS 212622 HAS SOPS 208104 HAS SOUS 113067 HAS SOUPS 112468 WITH SCORE 112680.622
AT ITER 774 NEW BEST:: SOT 412886 SOS 212859 HAS SOPS 208117 HAS SOUS 112971 HAS SOUPS 112372 WITH SCORE 112584.859
AT ITER 777 NEW BEST:: SOT 412862 SOS 212826 HAS SOPS 208084 HAS SOUS 112898 HAS SOUPS 112299 WITH SCORE 112511.826
AT ITER 786 NEW BEST:: SOT 412823 SOS 212798 HAS SOPS 208056 HAS SOUS 112632 HAS SOUPS 112033 WITH SCORE 112245.798
AT ITER 787 NEW BEST:: SOT 412847 SOS 212822 HAS SOPS 208080 HAS SOUS 112613 HAS SOUPS 112014 WITH SCORE 112226.822
AT ITER 807 NEW BEST:: SOT 412966 SOS 212941 HAS SOPS 208199 HAS SOUS 112609 HAS SOUPS 112010 WITH SCORE 112222.941
AT ITER 812 NEW BEST:: SOT 412958 SOS 212933 HAS SOPS 208191 HAS SOUS 112593 HAS SOUPS 111994 WITH SCORE 112206.933
AT ITER 830 NEW BEST:: SOT 412979 SOS 212833 HAS SOPS 208091 HAS SOUS 111443 HAS SOUPS 110844 WITH SCORE 111056.833
AT ITER 838 NEW BEST:: SOT 412910 SOS 212656 HAS SOPS 207914 HAS SOUS 111310 HAS SOUPS 110711 WITH SCORE 110923.656
AT ITER 854 NEW BEST:: SOT 412783 SOS 212569 HAS SOPS 207827 HAS SOUS 111139 HAS SOUPS 110540 WITH SCORE 110752.569
AT ITER 865 NEW BEST:: SOT 412715 SOS 212501 HAS SOPS 207759 HAS SOUS 111047 HAS SOUPS 110448 WITH SCORE 110660.501
AT ITER 870 NEW BEST:: SOT 412400 SOS 212086 HAS SOPS 207344 HAS SOUS 110623 HAS SOUPS 110024 WITH SCORE 110236.086
AT ITER 874 NEW BEST:: SOT 412388 SOS 212074 HAS SOPS 207332 HAS SOUS 110611 HAS SOUPS 110012 WITH SCORE 110224.074
AT ITER 888 NEW BEST:: SOT 412264 SOS 211943 HAS SOPS 207201 HAS SOUS 110341 HAS SOUPS 109742 WITH SCORE 109953.943
AT ITER 892 NEW BEST:: SOT 412204 SOS 211723 HAS SOPS 206981 HAS SOUS 110301 HAS SOUPS 109702 WITH SCORE 109913.723
AT ITER 901 NEW BEST:: SOT 410764 SOS 210235 HAS SOPS 205493 HAS SOUS 109533 HAS SOUPS 108934 WITH SCORE 109144.235
AT ITER 914 NEW BEST:: SOT 410764 SOS 212659 HAS SOPS 207917 HAS SOUS 109425 HAS SOUPS 108826 WITH SCORE 109038.659
AT ITER 918 NEW BEST:: SOT 410771 SOS 212666 HAS SOPS 207924 HAS SOUS 109196 HAS SOUPS 108597 WITH SCORE 108809.666
AT ITER 942 NEW BEST:: SOT 410767 SOS 212662 HAS SOPS 207920 HAS SOUS 109195 HAS SOUPS 108596 WITH SCORE 108808.662
AT ITER 943 NEW BEST:: SOT 410742 SOS 212637 HAS SOPS 207895 HAS SOUS 109195 HAS SOUPS 108596 WITH SCORE 108808.637
AT ITER 952 NEW BEST:: SOT 410742 SOS 212630 HAS SOPS 207888 HAS SOUS 109195 HAS SOUPS 108596 WITH SCORE 108808.63
AT ITER 954 NEW BEST:: SOT 409032 SOS 210925 HAS SOPS 206183 HAS SOUS 108357 HAS SOUPS 107758 WITH SCORE 107968.925
AT ITER 961 NEW BEST:: SOT 409007 SOS 210751 HAS SOPS 206009 HAS SOUS 108307 HAS SOUPS 107708 WITH SCORE 107918.751
AT ITER 977 NEW BEST:: SOT 409007 SOS 210772 HAS SOPS 206006 HAS SOUS 108304 HAS SOUPS 107702 WITH SCORE 107912.772
AT ITER 987 NEW BEST:: SOT 408968 SOS 210733 HAS SOPS 205967 HAS SOUS 108265 HAS SOUPS 107663 WITH SCORE 107873.733
AT ITER 1004 NEW BEST:: SOT 408963 SOS 210728 HAS SOPS 205962 HAS SOUS 108255 HAS SOUPS 107653 WITH SCORE 107863.728
AT ITER 1029 NEW BEST:: SOT 408895 SOS 210282 HAS SOPS 205804 HAS SOUS 108169 HAS SOUPS 107603 WITH SCORE 107813.282
AT ITER 1037 NEW BEST:: SOT 408785 SOS 210172 HAS SOPS 205694 HAS SOUS 108059 HAS SOUPS 107493 WITH SCORE 107703.172
AT ITER 1051 NEW BEST:: SOT 408750 SOS 210102 HAS SOPS 205624 HAS SOUS 108004 HAS SOUPS 107438 WITH SCORE 107648.102
AT ITER 1077 NEW BEST:: SOT 408666 SOS 209890 HAS SOPS 205412 HAS SOUS 107900 HAS SOUPS 107334 WITH SCORE 107543.89
AT ITER 1078 NEW BEST:: SOT 408641 SOS 209790 HAS SOPS 205312 HAS SOUS 107790 HAS SOUPS 107224 WITH SCORE 107433.79
AT ITER 1106 NEW BEST:: SOT 408351 SOS 209504 HAS SOPS 205016 HAS SOUS 107650 HAS SOUPS 107084 WITH SCORE 107293.504
AT ITER 1108 NEW BEST:: SOT 407178 SOS 208430 HAS SOPS 203942 HAS SOUS 107585 HAS SOUPS 107019 WITH SCORE 107227.43
AT ITER 1113 NEW BEST:: SOT 407127 SOS 208379 HAS SOPS 203891 HAS SOUS 107585 HAS SOUPS 107019 WITH SCORE 107227.379
AT ITER 1119 NEW BEST:: SOT 405404 SOS 206807 HAS SOPS 202319 HAS SOUS 107011 HAS SOUPS 106445 WITH SCORE 106651.807
AT ITER 1120 NEW BEST:: SOT 405403 SOS 206806 HAS SOPS 202317 HAS SOUS 107008 HAS SOUPS 106442 WITH SCORE 106648.806
AT ITER 1124 NEW BEST:: SOT 405297 SOS 206635 HAS SOPS 202146 HAS SOUS 106969 HAS SOUPS 106403 WITH SCORE 106609.635
AT ITER 1125 NEW BEST:: SOT 405289 SOS 206627 HAS SOPS 202142 HAS SOUS 106969 HAS SOUPS 106403 WITH SCORE 106609.627
AT ITER 1131 NEW BEST:: SOT 405336 SOS 206674 HAS SOPS 202189 HAS SOUS 106656 HAS SOUPS 106090 WITH SCORE 106296.674
AT ITER 1146 NEW BEST:: SOT 405279 SOS 206590 HAS SOPS 202105 HAS SOUS 106542 HAS SOUPS 105976 WITH SCORE 106182.59
AT ITER 1155 NEW BEST:: SOT 405279 SOS 206573 HAS SOPS 202088 HAS SOUS 106525 HAS SOUPS 105959 WITH SCORE 106165.573
AT ITER 1162 NEW BEST:: SOT 405066 SOS 206218 HAS SOPS 201733 HAS SOUS 106241 HAS SOUPS 105675 WITH SCORE 105881.218
AT ITER 1172 NEW BEST:: SOT 404748 SOS 205913 HAS SOPS 201428 HAS SOUS 105969 HAS SOUPS 105403 WITH SCORE 105608.913
AT ITER 1183 NEW BEST:: SOT 404725 SOS 205890 HAS SOPS 201405 HAS SOUS 105897 HAS SOUPS 105331 WITH SCORE 105536.89
AT ITER 1202 NEW BEST:: SOT 404691 SOS 205848 HAS SOPS 201363 HAS SOUS 105846 HAS SOUPS 105280 WITH SCORE 105485.848
AT ITER 1213 NEW BEST:: SOT 404741 SOS 205823 HAS SOPS 201338 HAS SOUS 105739 HAS SOUPS 105173 WITH SCORE 105378.823
AT ITER 1217 NEW BEST:: SOT 404712 SOS 205794 HAS SOPS 201249 HAS SOUS 105748 HAS SOUPS 105120 WITH SCORE 105325.794
AT ITER 1231 NEW BEST:: SOT 404712 SOS 205794 HAS SOPS 201249 HAS SOUS 105702 HAS SOUPS 105074 WITH SCORE 105279.794
AT ITER 1236 NEW BEST:: SOT 403516 SOS 204609 HAS SOPS 200064 HAS SOUS 104524 HAS SOUPS 103896 WITH SCORE 104100.609
AT ITER 1357 NEW BEST:: SOT 403417 SOS 204358 HAS SOPS 199813 HAS SOUS 104392 HAS SOUPS 103764 WITH SCORE 103968.358
AT ITER 1365 NEW BEST:: SOT 403361 SOS 204169 HAS SOPS 199624 HAS SOUS 104203 HAS SOUPS 103575 WITH SCORE 103779.169
AT ITER 1382 NEW BEST:: SOT 403268 SOS 204076 HAS SOPS 199531 HAS SOUS 103859 HAS SOUPS 103231 WITH SCORE 103435.076
AT ITER 1392 NEW BEST:: SOT 403268 SOS 204063 HAS SOPS 199518 HAS SOUS 103846 HAS SOUPS 103218 WITH SCORE 103422.063
AT ITER 1409 NEW BEST:: SOT 403286 SOS 203809 HAS SOPS 199264 HAS SOUS 103772 HAS SOUPS 103144 WITH SCORE 103347.809
AT ITER 1411 NEW BEST:: SOT 403286 SOS 203857 HAS SOPS 199438 HAS SOUS 103060 HAS SOUPS 102432 WITH SCORE 102635.857
AT ITER 1435 NEW BEST:: SOT 403279 SOS 203850 HAS SOPS 199431 HAS SOUS 103053 HAS SOUPS 102425 WITH SCORE 102628.85
AT ITER 1454 NEW BEST:: SOT 403810 SOS 204262 HAS SOPS 199843 HAS SOUS 102789 HAS SOUPS 102161 WITH SCORE 102365.262
AT ITER 1455 NEW BEST:: SOT 403734 SOS 204437 HAS SOPS 200118 HAS SOUS 102781 HAS SOUPS 102153 WITH SCORE 102357.437
AT ITER 1473 NEW BEST:: SOT 403741 SOS 204444 HAS SOPS 200125 HAS SOUS 102773 HAS SOUPS 102145 WITH SCORE 102349.444
AT ITER 1479 NEW BEST:: SOT 403738 SOS 204441 HAS SOPS 200122 HAS SOUS 102767 HAS SOUPS 102139 WITH SCORE 102343.441
AT ITER 1489 NEW BEST:: SOT 403698 SOS 204053 HAS SOPS 199734 HAS SOUS 102764 HAS SOUPS 102136 WITH SCORE 102340.053
AT ITER 1493 NEW BEST:: SOT 403702 SOS 204081 HAS SOPS 199762 HAS SOUS 102762 HAS SOUPS 102134 WITH SCORE 102338.081
AT ITER 1501 NEW BEST:: SOT 402503 SOS 202882 HAS SOPS 198563 HAS SOUS 102256 HAS SOUPS 101628 WITH SCORE 101830.882
AT ITER 1503 NEW BEST:: SOT 402503 SOS 202242 HAS SOPS 197923 HAS SOUS 102256 HAS SOUPS 101628 WITH SCORE 101830.242
AT ITER 1509 NEW BEST:: SOT 402350 SOS 202140 HAS SOPS 197821 HAS SOUS 102146 HAS SOUPS 101518 WITH SCORE 101720.14
AT ITER 1512 NEW BEST:: SOT 402350 SOS 202225 HAS SOPS 197906 HAS SOUS 102087 HAS SOUPS 101459 WITH SCORE 101661.225
AT ITER 1523 NEW BEST:: SOT 402306 SOS 202181 HAS SOPS 197862 HAS SOUS 101914 HAS SOUPS 101286 WITH SCORE 101488.181
AT ITER 1533 NEW BEST:: SOT 401893 SOS 201808 HAS SOPS 197489 HAS SOUS 101451 HAS SOUPS 100823 WITH SCORE 101024.808
AT ITER 1559 NEW BEST:: SOT 401302 SOS 202293 HAS SOPS 198028 HAS SOUS 101069 HAS SOUPS 100474 WITH SCORE 100676.293
AT ITER 1576 NEW BEST:: SOT 401157 SOS 202143 HAS SOPS 197878 HAS SOUS 100950 HAS SOUPS 100355 WITH SCORE 100557.143
AT ITER 1579 NEW BEST:: SOT 401056 SOS 202142 HAS SOPS 197877 HAS SOUS 100912 HAS SOUPS 100317 WITH SCORE 100519.142
AT ITER 1586 NEW BEST:: SOT 401012 SOS 202128 HAS SOPS 197863 HAS SOUS 100880 HAS SOUPS 100285 WITH SCORE 100487.128
AT ITER 1598 NEW BEST:: SOT 401012 SOS 202128 HAS SOPS 197863 HAS SOUS 100874 HAS SOUPS 100279 WITH SCORE 100481.128
AT ITER 1607 NEW BEST:: SOT 401094 SOS 202108 HAS SOPS 197757 HAS SOUS 100831 HAS SOUPS 100225 WITH SCORE 100427.108
AT ITER 1609 NEW BEST:: SOT 400864 SOS 201839 HAS SOPS 197488 HAS SOUS 100572 HAS SOUPS 99966 WITH SCORE 100167.839
AT ITER 1620 NEW BEST:: SOT 400811 SOS 201770 HAS SOPS 197419 HAS SOUS 100450 HAS SOUPS 99844 WITH SCORE 100045.77
AT ITER 1633 NEW BEST:: SOT 400703 SOS 201582 HAS SOPS 197231 HAS SOUS 100364 HAS SOUPS 99758 WITH SCORE 99959.582
AT ITER 1635 NEW BEST:: SOT 400644 SOS 201523 HAS SOPS 197172 HAS SOUS 100255 HAS SOUPS 99649 WITH SCORE 99850.523
AT ITER 1636 NEW BEST:: SOT 400383 SOS 201276 HAS SOPS 196925 HAS SOUS 99868 HAS SOUPS 99262 WITH SCORE 99463.276
AT ITER 1637 NEW BEST:: SOT 400362 SOS 201255 HAS SOPS 196904 HAS SOUS 99789 HAS SOUPS 99183 WITH SCORE 99384.255
AT ITER 1647 NEW BEST:: SOT 400271 SOS 201180 HAS SOPS 196829 HAS SOUS 99712 HAS SOUPS 99106 WITH SCORE 99307.18
AT ITER 1653 NEW BEST:: SOT 400251 SOS 201120 HAS SOPS 196769 HAS SOUS 99652 HAS SOUPS 99046 WITH SCORE 99247.12
AT ITER 1660 NEW BEST:: SOT 400260 SOS 201138 HAS SOPS 196787 HAS SOUS 99650 HAS SOUPS 99044 WITH SCORE 99245.138
AT ITER 1663 NEW BEST:: SOT 400286 SOS 201325 HAS SOPS 196997 HAS SOUS 99622 HAS SOUPS 99016 WITH SCORE 99217.325
AT ITER 1672 NEW BEST:: SOT 400146 SOS 201123 HAS SOPS 196795 HAS SOUS 99462 HAS SOUPS 98856 WITH SCORE 99057.123
AT ITER 1684 NEW BEST:: SOT 400129 SOS 201089 HAS SOPS 196761 HAS SOUS 99428 HAS SOUPS 98822 WITH SCORE 99023.089
AT ITER 1700 NEW BEST:: SOT 400129 SOS 201143 HAS SOPS 196815 HAS SOUS 99401 HAS SOUPS 98795 WITH SCORE 98996.143
AT ITER 1722 NEW BEST:: SOT 400133 SOS 201147 HAS SOPS 196819 HAS SOUS 99352 HAS SOUPS 98746 WITH SCORE 98947.147
AT ITER 1727 NEW BEST:: SOT 399141 SOS 200150 HAS SOPS 195822 HAS SOUS 99302 HAS SOUPS 98696 WITH SCORE 98896.15
AT ITER 1730 NEW BEST:: SOT 399109 SOS 200118 HAS SOPS 195790 HAS SOUS 99238 HAS SOUPS 98632 WITH SCORE 98832.118
AT ITER 1736 NEW BEST:: SOT 399109 SOS 200358 HAS SOPS 196030 HAS SOUS 99028 HAS SOUPS 98422 WITH SCORE 98622.358
AT ITER 1748 NEW BEST:: SOT 399081 SOS 200302 HAS SOPS 195974 HAS SOUS 98972 HAS SOUPS 98366 WITH SCORE 98566.302
AT ITER 1754 NEW BEST:: SOT 399068 SOS 200276 HAS SOPS 195948 HAS SOUS 98946 HAS SOUPS 98340 WITH SCORE 98540.276
AT ITER 1759 NEW BEST:: SOT 399046 SOS 200252 HAS SOPS 195922 HAS SOUS 98928 HAS SOUPS 98322 WITH SCORE 98522.252
AT ITER 1774 NEW BEST:: SOT 399028 SOS 200222 HAS SOPS 195892 HAS SOUS 98907 HAS SOUPS 98301 WITH SCORE 98501.222
AT ITER 1784 NEW BEST:: SOT 399008 SOS 200202 HAS SOPS 195872 HAS SOUS 98887 HAS SOUPS 98281 WITH SCORE 98481.202
AT ITER 1785 NEW BEST:: SOT 399008 SOS 200214 HAS SOPS 195884 HAS SOUS 98884 HAS SOUPS 98278 WITH SCORE 98478.214
AT ITER 1787 NEW BEST:: SOT 398836 SOS 199909 HAS SOPS 195569 HAS SOUS 98626 HAS SOUPS 98020 WITH SCORE 98219.909
AT ITER 1792 NEW BEST:: SOT 398836 SOS 199705 HAS SOPS 195365 HAS SOUS 98626 HAS SOUPS 98020 WITH SCORE 98219.705
AT ITER 1804 NEW BEST:: SOT 398732 SOS 199539 HAS SOPS 195199 HAS SOUS 98449 HAS SOUPS 97843 WITH SCORE 98042.539
AT ITER 1818 NEW BEST:: SOT 398732 SOS 199659 HAS SOPS 195319 HAS SOUS 98439 HAS SOUPS 97833 WITH SCORE 98032.659
AT ITER 1853 NEW BEST:: SOT 398761 SOS 199575 HAS SOPS 195235 HAS SOUS 98356 HAS SOUPS 97750 WITH SCORE 97949.575
AT ITER 1863 NEW BEST:: SOT 398424 SOS 199096 HAS SOPS 194756 HAS SOUS 97958 HAS SOUPS 97352 WITH SCORE 97551.096
AT ITER 1877 NEW BEST:: SOT 398395 SOS 199052 HAS SOPS 194712 HAS SOUS 97900 HAS SOUPS 97294 WITH SCORE 97493.052
AT ITER 1878 NEW BEST:: SOT 394128 SOS 195280 HAS SOPS 190940 HAS SOUS 96314 HAS SOUPS 95708 WITH SCORE 95903.28
AT ITER 1883 NEW BEST:: SOT 394103 SOS 195255 HAS SOPS 190915 HAS SOUS 96289 HAS SOUPS 95683 WITH SCORE 95878.255
AT ITER 1902 NEW BEST:: SOT 393921 SOS 194751 HAS SOPS 190411 HAS SOUS 96097 HAS SOUPS 95491 WITH SCORE 95685.751
AT ITER 1927 NEW BEST:: SOT 393921 SOS 194718 HAS SOPS 190378 HAS SOUS 96081 HAS SOUPS 95475 WITH SCORE 95669.718
AT ITER 1940 NEW BEST:: SOT 393738 SOS 194515 HAS SOPS 190175 HAS SOUS 95865 HAS SOUPS 95259 WITH SCORE 95453.515
AT ITER 1947 NEW BEST:: SOT 393467 SOS 194215 HAS SOPS 189875 HAS SOUS 95523 HAS SOUPS 94917 WITH SCORE 95111.215
AT ITER 1960 NEW BEST:: SOT 393434 SOS 194160 HAS SOPS 189820 HAS SOUS 95457 HAS SOUPS 94851 WITH SCORE 95045.16
AT ITER 1970 NEW BEST:: SOT 393818 SOS 194544 HAS SOPS 190204 HAS SOUS 95433 HAS SOUPS 94827 WITH SCORE 95021.544
AT ITER 2000 NEW BEST:: SOT 393819 SOS 194550 HAS SOPS 190210 HAS SOUS 95414 HAS SOUPS 94808 WITH SCORE 95002.55
AT ITER 2003 NEW BEST:: SOT 393817 SOS 194548 HAS SOPS 190208 HAS SOUS 95409 HAS SOUPS 94803 WITH SCORE 94997.548
AT ITER 2004 NEW BEST:: SOT 393679 SOS 193942 HAS SOPS 189602 HAS SOUS 95117 HAS SOUPS 94511 WITH SCORE 94704.942
AT ITER 2005 NEW BEST:: SOT 394419 SOS 194925 HAS SOPS 190585 HAS SOUS 95096 HAS SOUPS 94490 WITH SCORE 94684.925
AT ITER 2008 NEW BEST:: SOT 394527 SOS 195203 HAS SOPS 190863 HAS SOUS 95089 HAS SOUPS 94483 WITH SCORE 94678.203
AT ITER 2030 NEW BEST:: SOT 394710 SOS 195386 HAS SOPS 191046 HAS SOUS 94822 HAS SOUPS 94216 WITH SCORE 94411.386
AT ITER 2039 NEW BEST:: SOT 394635 SOS 195311 HAS SOPS 190971 HAS SOUS 94747 HAS SOUPS 94141 WITH SCORE 94336.311
AT ITER 2040 NEW BEST:: SOT 394633 SOS 195295 HAS SOPS 190955 HAS SOUS 94731 HAS SOUPS 94125 WITH SCORE 94320.295
AT ITER 2043 NEW BEST:: SOT 394248 SOS 194833 HAS SOPS 190493 HAS SOUS 94269 HAS SOUPS 93663 WITH SCORE 93857.833
AT ITER 2047 NEW BEST:: SOT 394151 SOS 194630 HAS SOPS 190290 HAS SOUS 94034 HAS SOUPS 93428 WITH SCORE 93622.63
AT ITER 2061 NEW BEST:: SOT 394117 SOS 194544 HAS SOPS 190222 HAS SOUS 93984 HAS SOUPS 93378 WITH SCORE 93572.544
AT ITER 2075 NEW BEST:: SOT 393942 SOS 194369 HAS SOPS 190047 HAS SOUS 93776 HAS SOUPS 93170 WITH SCORE 93364.369
AT ITER 2085 NEW BEST:: SOT 393942 SOS 194347 HAS SOPS 190025 HAS SOUS 93754 HAS SOUPS 93148 WITH SCORE 93342.347
AT ITER 2091 NEW BEST:: SOT 393935 SOS 194340 HAS SOPS 190018 HAS SOUS 93740 HAS SOUPS 93134 WITH SCORE 93328.34
AT ITER 2115 NEW BEST:: SOT 393905 SOS 194310 HAS SOPS 189988 HAS SOUS 93652 HAS SOUPS 93046 WITH SCORE 93240.31
AT ITER 2129 NEW BEST:: SOT 393820 SOS 194689 HAS SOPS 190384 HAS SOUS 93522 HAS SOUPS 92916 WITH SCORE 93110.689
AT ITER 2140 NEW BEST:: SOT 393478 SOS 194239 HAS SOPS 189934 HAS SOUS 92874 HAS SOUPS 92268 WITH SCORE 92462.239
AT ITER 2142 NEW BEST:: SOT 393503 SOS 193643 HAS SOPS 189320 HAS SOUS 92715 HAS SOUPS 92105 WITH SCORE 92298.643
AT ITER 2150 NEW BEST:: SOT 393501 SOS 193598 HAS SOPS 189275 HAS SOUS 92712 HAS SOUPS 92102 WITH SCORE 92295.598
AT ITER 2152 NEW BEST:: SOT 393488 SOS 193573 HAS SOPS 189250 HAS SOUS 92686 HAS SOUPS 92076 WITH SCORE 92269.573
AT ITER 2171 NEW BEST:: SOT 393452 SOS 193537 HAS SOPS 189214 HAS SOUS 92622 HAS SOUPS 92012 WITH SCORE 92205.537
AT ITER 2177 NEW BEST:: SOT 393443 SOS 193524 HAS SOPS 189201 HAS SOUS 92596 HAS SOUPS 91986 WITH SCORE 92179.524
AT ITER 2215 NEW BEST:: SOT 393425 SOS 193506 HAS SOPS 189183 HAS SOUS 92572 HAS SOUPS 91962 WITH SCORE 92155.506
AT ITER 2221 NEW BEST:: SOT 393343 SOS 193249 HAS SOPS 189055 HAS SOUS 92498 HAS SOUPS 91899 WITH SCORE 92092.249
AT ITER 2224 NEW BEST:: SOT 393352 SOS 193258 HAS SOPS 189064 HAS SOUS 92478 HAS SOUPS 91879 WITH SCORE 92072.258
AT ITER 2251 NEW BEST:: SOT 393315 SOS 193184 HAS SOPS 188990 HAS SOUS 92404 HAS SOUPS 91805 WITH SCORE 91998.184
AT ITER 2258 NEW BEST:: SOT 392587 SOS 192467 HAS SOPS 188273 HAS SOUS 91934 HAS SOUPS 91335 WITH SCORE 91527.467
AT ITER 2259 NEW BEST:: SOT 392587 SOS 192462 HAS SOPS 188268 HAS SOUS 91934 HAS SOUPS 91335 WITH SCORE 91527.462
AT ITER 2270 NEW BEST:: SOT 392569 SOS 192446 HAS SOPS 188252 HAS SOUS 91918 HAS SOUPS 91319 WITH SCORE 91511.446
AT ITER 2289 NEW BEST:: SOT 392094 SOS 191988 HAS SOPS 187794 HAS SOUS 91447 HAS SOUPS 90848 WITH SCORE 91039.988
AT ITER 2325 NEW BEST:: SOT 392056 SOS 191950 HAS SOPS 187794 HAS SOUS 91409 HAS SOUPS 90810 WITH SCORE 91001.95
AT ITER 2336 NEW BEST:: SOT 392054 SOS 191948 HAS SOPS 187792 HAS SOUS 91405 HAS SOUPS 90806 WITH SCORE 90997.948
AT ITER 2369 NEW BEST:: SOT 391990 SOS 191820 HAS SOPS 187664 HAS SOUS 91277 HAS SOUPS 90678 WITH SCORE 90869.82
AT ITER 2374 NEW BEST:: SOT 391976 SOS 191806 HAS SOPS 187650 HAS SOUS 91211 HAS SOUPS 90612 WITH SCORE 90803.806
AT ITER 2394 NEW BEST:: SOT 391916 SOS 191636 HAS SOPS 187370 HAS SOUS 90989 HAS SOUPS 90390 WITH SCORE 90581.636
AT ITER 2416 NEW BEST:: SOT 391876 SOS 191582 HAS SOPS 187316 HAS SOUS 90949 HAS SOUPS 90350 WITH SCORE 90541.582
AT ITER 2421 NEW BEST:: SOT 391723 SOS 190968 HAS SOPS 186702 HAS SOUS 90780 HAS SOUPS 90181 WITH SCORE 90371.968
AT ITER 2425 NEW BEST:: SOT 391739 SOS 190984 HAS SOPS 186718 HAS SOUS 90732 HAS SOUPS 90133 WITH SCORE 90323.984
AT ITER 2433 NEW BEST:: SOT 391705 SOS 190996 HAS SOPS 186707 HAS SOUS 90721 HAS SOUPS 90122 WITH SCORE 90312.996
AT ITER 2441 NEW BEST:: SOT 391671 SOS 190962 HAS SOPS 186673 HAS SOUS 90704 HAS SOUPS 90105 WITH SCORE 90295.962
AT ITER 2458 NEW BEST:: SOT 391669 SOS 190918 HAS SOPS 186629 HAS SOUS 90701 HAS SOUPS 90102 WITH SCORE 90292.918
AT ITER 2470 NEW BEST:: SOT 391571 SOS 190820 HAS SOPS 186556 HAS SOUS 90691 HAS SOUPS 90092 WITH SCORE 90282.82
AT ITER 2482 NEW BEST:: SOT 391515 SOS 190778 HAS SOPS 186514 HAS SOUS 90591 HAS SOUPS 89992 WITH SCORE 90182.778
AT ITER 2498 NEW BEST:: SOT 391420 SOS 190683 HAS SOPS 186419 HAS SOUS 90539 HAS SOUPS 89940 WITH SCORE 90130.683
AT ITER 2516 NEW BEST:: SOT 391172 SOS 190490 HAS SOPS 186226 HAS SOUS 90247 HAS SOUPS 89648 WITH SCORE 89838.49
AT ITER 2526 NEW BEST:: SOT 390977 SOS 190295 HAS SOPS 186031 HAS SOUS 90085 HAS SOUPS 89486 WITH SCORE 89676.295
AT ITER 2559 NEW BEST:: SOT 390968 SOS 190283 HAS SOPS 186019 HAS SOUS 90067 HAS SOUPS 89468 WITH SCORE 89658.283
AT ITER 2563 NEW BEST:: SOT 390985 SOS 192777 HAS SOPS 188513 HAS SOUS 90047 HAS SOUPS 89448 WITH SCORE 89640.777
AT ITER 2584 NEW BEST:: SOT 390962 SOS 192725 HAS SOPS 188461 HAS SOUS 90001 HAS SOUPS 89402 WITH SCORE 89594.725
AT ITER 2595 NEW BEST:: SOT 390962 SOS 192422 HAS SOPS 188158 HAS SOUS 90001 HAS SOUPS 89402 WITH SCORE 89594.422
AT ITER 2604 NEW BEST:: SOT 390971 SOS 192421 HAS SOPS 188157 HAS SOUS 89998 HAS SOUPS 89399 WITH SCORE 89591.421
AT ITER 2606 NEW BEST:: SOT 390969 SOS 192419 HAS SOPS 188155 HAS SOUS 89994 HAS SOUPS 89395 WITH SCORE 89587.419
AT ITER 2620 NEW BEST:: SOT 391407 SOS 192927 HAS SOPS 188663 HAS SOUS 89635 HAS SOUPS 89036 WITH SCORE 89228.927
AT ITER 2636 NEW BEST:: SOT 391339 SOS 192820 HAS SOPS 188574 HAS SOUS 89448 HAS SOUPS 88849 WITH SCORE 89041.82
AT ITER 2639 NEW BEST:: SOT 391324 SOS 192838 HAS SOPS 188593 HAS SOUS 89447 HAS SOUPS 88848 WITH SCORE 89040.838
AT ITER 2646 NEW BEST:: SOT 391297 SOS 192784 HAS SOPS 188539 HAS SOUS 89365 HAS SOUPS 88766 WITH SCORE 88958.784
AT ITER 2671 NEW BEST:: SOT 391283 SOS 192757 HAS SOPS 188512 HAS SOUS 89329 HAS SOUPS 88730 WITH SCORE 88922.757
AT ITER 2676 NEW BEST:: SOT 391172 SOS 192696 HAS SOPS 188451 HAS SOUS 89207 HAS SOUPS 88608 WITH SCORE 88800.696
AT ITER 2686 NEW BEST:: SOT 391139 SOS 191763 HAS SOPS 187518 HAS SOUS 89184 HAS SOUPS 88585 WITH SCORE 88776.763
AT ITER 2701 NEW BEST:: SOT 391125 SOS 191749 HAS SOPS 187504 HAS SOUS 89164 HAS SOUPS 88565 WITH SCORE 88756.749
AT ITER 2715 NEW BEST:: SOT 391111 SOS 191623 HAS SOPS 187378 HAS SOUS 89141 HAS SOUPS 88542 WITH SCORE 88733.623
AT ITER 2726 NEW BEST:: SOT 391111 SOS 191326 HAS SOPS 187081 HAS SOUS 89141 HAS SOUPS 88542 WITH SCORE 88733.326
AT ITER 2736 NEW BEST:: SOT 391050 SOS 191148 HAS SOPS 186935 HAS SOUS 88925 HAS SOUPS 88326 WITH SCORE 88517.148
AT ITER 2746 NEW BEST:: SOT 391045 SOS 191143 HAS SOPS 186930 HAS SOUS 88915 HAS SOUPS 88316 WITH SCORE 88507.143
AT ITER 2747 NEW BEST:: SOT 390889 SOS 191022 HAS SOPS 186809 HAS SOUS 88716 HAS SOUPS 88117 WITH SCORE 88308.022
AT ITER 2774 NEW BEST:: SOT 390889 SOS 191022 HAS SOPS 186809 HAS SOUS 88700 HAS SOUPS 88101 WITH SCORE 88292.022
AT ITER 2777 NEW BEST:: SOT 390887 SOS 191020 HAS SOPS 186807 HAS SOUS 88698 HAS SOUPS 88099 WITH SCORE 88290.02
AT ITER 2783 NEW BEST:: SOT 390820 SOS 190953 HAS SOPS 186740 HAS SOUS 88565 HAS SOUPS 87966 WITH SCORE 88156.953
AT ITER 2798 NEW BEST:: SOT 390807 SOS 190805 HAS SOPS 186592 HAS SOUS 88537 HAS SOUPS 87938 WITH SCORE 88128.805
AT ITER 2818 NEW BEST:: SOT 390807 SOS 190815 HAS SOPS 186602 HAS SOUS 88520 HAS SOUPS 87921 WITH SCORE 88111.815
AT ITER 2836 NEW BEST:: SOT 390807 SOS 190812 HAS SOPS 186599 HAS SOUS 88517 HAS SOUPS 87918 WITH SCORE 88108.812
AT ITER 2851 NEW BEST:: SOT 390753 SOS 190704 HAS SOPS 186491 HAS SOUS 88436 HAS SOUPS 87837 WITH SCORE 88027.704
AT ITER 2873 NEW BEST:: SOT 390622 SOS 190527 HAS SOPS 186314 HAS SOUS 88301 HAS SOUPS 87702 WITH SCORE 87892.527
AT ITER 2874 NEW BEST:: SOT 390642 SOS 190641 HAS SOPS 186475 HAS SOUS 88294 HAS SOUPS 87695 WITH SCORE 87885.641
AT ITER 2879 NEW BEST:: SOT 390606 SOS 190605 HAS SOPS 186439 HAS SOUS 88246 HAS SOUPS 87647 WITH SCORE 87837.605
AT ITER 2901 NEW BEST:: SOT 390513 SOS 190547 HAS SOPS 186381 HAS SOUS 88185 HAS SOUPS 87586 WITH SCORE 87776.547
AT ITER 2905 NEW BEST:: SOT 390443 SOS 190477 HAS SOPS 186311 HAS SOUS 88037 HAS SOUPS 87438 WITH SCORE 87628.477
AT ITER 2923 NEW BEST:: SOT 390443 SOS 190477 HAS SOPS 186311 HAS SOUS 88032 HAS SOUPS 87433 WITH SCORE 87623.477
AT ITER 2929 NEW BEST:: SOT 390443 SOS 190386 HAS SOPS 186220 HAS SOUS 87992 HAS SOUPS 87393 WITH SCORE 87583.386
AT ITER 2939 NEW BEST:: SOT 390428 SOS 190341 HAS SOPS 186160 HAS SOUS 87962 HAS SOUPS 87363 WITH SCORE 87553.341
AT ITER 2942 NEW BEST:: SOT 390399 SOS 190312 HAS SOPS 186131 HAS SOUS 87904 HAS SOUPS 87305 WITH SCORE 87495.312
AT ITER 2945 NEW BEST:: SOT 390311 SOS 189895 HAS SOPS 186090 HAS SOUS 87840 HAS SOUPS 87288 WITH SCORE 87477.895
AT ITER 2967 NEW BEST:: SOT 390272 SOS 189887 HAS SOPS 186082 HAS SOUS 87779 HAS SOUPS 87227 WITH SCORE 87416.887
AT ITER 2999 NEW BEST:: SOT 390269 SOS 189870 HAS SOPS 186065 HAS SOUS 87750 HAS SOUPS 87198 WITH SCORE 87387.87
AT ITER 3012 NEW BEST:: SOT 390248 SOS 189849 HAS SOPS 186044 HAS SOUS 87708 HAS SOUPS 87156 WITH SCORE 87345.849
AT ITER 3045 NEW BEST:: SOT 390231 SOS 190441 HAS SOPS 186636 HAS SOUS 87700 HAS SOUPS 87148 WITH SCORE 87338.441
AT ITER 3048 NEW BEST:: SOT 390131 SOS 190355 HAS SOPS 186551 HAS SOUS 87668 HAS SOUPS 87116 WITH SCORE 87306.355
AT ITER 3052 NEW BEST:: SOT 390074 SOS 190113 HAS SOPS 186352 HAS SOUS 87512 HAS SOUPS 86960 WITH SCORE 87150.113
AT ITER 3060 NEW BEST:: SOT 389881 SOS 189865 HAS SOPS 186104 HAS SOUS 87264 HAS SOUPS 86712 WITH SCORE 86901.865
AT ITER 3074 NEW BEST:: SOT 389879 SOS 189863 HAS SOPS 186102 HAS SOUS 87262 HAS SOUPS 86710 WITH SCORE 86899.863
AT ITER 3086 NEW BEST:: SOT 389879 SOS 190231 HAS SOPS 186470 HAS SOUS 87183 HAS SOUPS 86631 WITH SCORE 86821.231
AT ITER 3124 NEW BEST:: SOT 389845 SOS 190180 HAS SOPS 186419 HAS SOUS 87115 HAS SOUPS 86563 WITH SCORE 86753.18
AT ITER 3133 NEW BEST:: SOT 389847 SOS 190128 HAS SOPS 186367 HAS SOUS 87068 HAS SOUPS 86516 WITH SCORE 86706.128
AT ITER 3145 NEW BEST:: SOT 389601 SOS 189927 HAS SOPS 186166 HAS SOUS 86918 HAS SOUPS 86366 WITH SCORE 86555.927
AT ITER 3188 NEW BEST:: SOT 389588 SOS 189849 HAS SOPS 186088 HAS SOUS 86905 HAS SOUPS 86353 WITH SCORE 86542.849
AT ITER 3204 NEW BEST:: SOT 389516 SOS 189777 HAS SOPS 186016 HAS SOUS 86837 HAS SOUPS 86285 WITH SCORE 86474.777
AT ITER 3219 NEW BEST:: SOT 389471 SOS 189687 HAS SOPS 185926 HAS SOUS 86747 HAS SOUPS 86195 WITH SCORE 86384.687
AT ITER 3224 NEW BEST:: SOT 389468 SOS 189609 HAS SOPS 185848 HAS SOUS 86714 HAS SOUPS 86162 WITH SCORE 86351.609
AT ITER 3225 NEW BEST:: SOT 389411 SOS 189492 HAS SOPS 185731 HAS SOUS 86600 HAS SOUPS 86048 WITH SCORE 86237.492
AT ITER 3234 NEW BEST:: SOT 389207 SOS 187345 HAS SOPS 183584 HAS SOUS 86409 HAS SOUPS 85857 WITH SCORE 86044.345
AT ITER 3241 NEW BEST:: SOT 389196 SOS 187337 HAS SOPS 183576 HAS SOUS 86401 HAS SOUPS 85849 WITH SCORE 86036.337
AT ITER 3243 NEW BEST:: SOT 389186 SOS 187327 HAS SOPS 183566 HAS SOUS 86369 HAS SOUPS 85817 WITH SCORE 86004.327
AT ITER 3250 NEW BEST:: SOT 389187 SOS 187411 HAS SOPS 183650 HAS SOUS 86341 HAS SOUPS 85789 WITH SCORE 85976.411
AT ITER 3254 NEW BEST:: SOT 389182 SOS 187406 HAS SOPS 183645 HAS SOUS 86341 HAS SOUPS 85789 WITH SCORE 85976.406
AT ITER 3289 NEW BEST:: SOT 389167 SOS 187391 HAS SOPS 183630 HAS SOUS 86321 HAS SOUPS 85769 WITH SCORE 85956.391
AT ITER 3310 NEW BEST:: SOT 389167 SOS 187381 HAS SOPS 183620 HAS SOUS 86311 HAS SOUPS 85759 WITH SCORE 85946.381
AT ITER 3318 NEW BEST:: SOT 389167 SOS 187420 HAS SOPS 183659 HAS SOUS 86225 HAS SOUPS 85673 WITH SCORE 85860.42
AT ITER 3322 NEW BEST:: SOT 389187 SOS 187566 HAS SOPS 183805 HAS SOUS 86211 HAS SOUPS 85659 WITH SCORE 85846.566
AT ITER 3323 NEW BEST:: SOT 389164 SOS 187566 HAS SOPS 183805 HAS SOUS 86119 HAS SOUPS 85567 WITH SCORE 85754.566
AT ITER 3335 NEW BEST:: SOT 389162 SOS 187564 HAS SOPS 183803 HAS SOUS 86115 HAS SOUPS 85563 WITH SCORE 85750.564
AT ITER 3341 NEW BEST:: SOT 389146 SOS 188101 HAS SOPS 184340 HAS SOUS 85936 HAS SOUPS 85384 WITH SCORE 85572.101
AT ITER 3344 NEW BEST:: SOT 388997 SOS 187701 HAS SOPS 183940 HAS SOUS 85918 HAS SOUPS 85366 WITH SCORE 85553.701
AT ITER 3353 NEW BEST:: SOT 388931 SOS 187589 HAS SOPS 183828 HAS SOUS 85812 HAS SOUPS 85260 WITH SCORE 85447.589
AT ITER 3361 NEW BEST:: SOT 388892 SOS 187519 HAS SOPS 183758 HAS SOUS 85686 HAS SOUPS 85134 WITH SCORE 85321.519
AT ITER 3382 NEW BEST:: SOT 388630 SOS 187421 HAS SOPS 183660 HAS SOUS 85664 HAS SOUPS 85112 WITH SCORE 85299.421
AT ITER 3383 NEW BEST:: SOT 388678 SOS 187469 HAS SOPS 183687 HAS SOUS 85636 HAS SOUPS 85084 WITH SCORE 85271.469
AT ITER 3387 NEW BEST:: SOT 388450 SOS 186633 HAS SOPS 182851 HAS SOUS 85408 HAS SOUPS 84856 WITH SCORE 85042.633
AT ITER 3398 NEW BEST:: SOT 388447 SOS 186491 HAS SOPS 182751 HAS SOUS 85402 HAS SOUPS 84850 WITH SCORE 85036.491
AT ITER 3401 NEW BEST:: SOT 388384 SOS 187032 HAS SOPS 183291 HAS SOUS 85242 HAS SOUPS 84690 WITH SCORE 84877.032
AT ITER 3405 NEW BEST:: SOT 388377 SOS 187011 HAS SOPS 183270 HAS SOUS 85242 HAS SOUPS 84690 WITH SCORE 84877.011
AT ITER 3431 NEW BEST:: SOT 388322 SOS 186967 HAS SOPS 183226 HAS SOUS 85165 HAS SOUPS 84613 WITH SCORE 84799.967
AT ITER 3439 NEW BEST:: SOT 388272 SOS 186917 HAS SOPS 183176 HAS SOUS 85078 HAS SOUPS 84526 WITH SCORE 84712.917
AT ITER 3447 NEW BEST:: SOT 388218 SOS 186728 HAS SOPS 182987 HAS SOUS 84964 HAS SOUPS 84412 WITH SCORE 84598.728
AT ITER 3477 NEW BEST:: SOT 388207 SOS 186717 HAS SOPS 182976 HAS SOUS 84920 HAS SOUPS 84368 WITH SCORE 84554.717
AT ITER 3492 NEW BEST:: SOT 388172 SOS 186682 HAS SOPS 182941 HAS SOUS 84815 HAS SOUPS 84263 WITH SCORE 84449.682
AT ITER 3498 NEW BEST:: SOT 388160 SOS 186913 HAS SOPS 183146 HAS SOUS 84812 HAS SOUPS 84260 WITH SCORE 84446.913
AT ITER 3508 NEW BEST:: SOT 388192 SOS 186944 HAS SOPS 183163 HAS SOUS 84769 HAS SOUPS 84210 WITH SCORE 84396.944
AT ITER 3510 NEW BEST:: SOT 388229 SOS 187021 HAS SOPS 183240 HAS SOUS 84737 HAS SOUPS 84178 WITH SCORE 84365.021
AT ITER 3511 NEW BEST:: SOT 388204 SOS 186971 HAS SOPS 183190 HAS SOUS 84687 HAS SOUPS 84128 WITH SCORE 84314.971
AT ITER 3512 NEW BEST:: SOT 388203 SOS 187002 HAS SOPS 183224 HAS SOUS 84684 HAS SOUPS 84125 WITH SCORE 84312.002
AT ITER 3532 NEW BEST:: SOT 388152 SOS 186829 HAS SOPS 183051 HAS SOUS 84578 HAS SOUPS 84019 WITH SCORE 84205.829
AT ITER 3535 NEW BEST:: SOT 388078 SOS 186742 HAS SOPS 182997 HAS SOUS 84491 HAS SOUPS 83932 WITH SCORE 84118.742
AT ITER 3555 NEW BEST:: SOT 388054 SOS 186694 HAS SOPS 182949 HAS SOUS 84443 HAS SOUPS 83884 WITH SCORE 84070.694
AT ITER 3559 NEW BEST:: SOT 388062 SOS 186702 HAS SOPS 182922 HAS SOUS 84415 HAS SOUPS 83856 WITH SCORE 84042.702
AT ITER 3576 NEW BEST:: SOT 388035 SOS 186675 HAS SOPS 182895 HAS SOUS 84328 HAS SOUPS 83769 WITH SCORE 83955.675
AT ITER 3630 NEW BEST:: SOT 388028 SOS 186663 HAS SOPS 182883 HAS SOUS 84321 HAS SOUPS 83762 WITH SCORE 83948.663
AT ITER 3636 NEW BEST:: SOT 388022 SOS 186647 HAS SOPS 182867 HAS SOUS 84309 HAS SOUPS 83750 WITH SCORE 83936.647
AT ITER 3640 NEW BEST:: SOT 388041 SOS 186666 HAS SOPS 182886 HAS SOUS 84218 HAS SOUPS 83659 WITH SCORE 83845.666
AT ITER 3641 NEW BEST:: SOT 387983 SOS 186446 HAS SOPS 182666 HAS SOUS 83998 HAS SOUPS 83439 WITH SCORE 83625.446
AT ITER 3645 NEW BEST:: SOT 387983 SOS 186452 HAS SOPS 182672 HAS SOUS 83980 HAS SOUPS 83421 WITH SCORE 83607.452
AT ITER 3646 NEW BEST:: SOT 387981 SOS 186450 HAS SOPS 182670 HAS SOUS 83976 HAS SOUPS 83417 WITH SCORE 83603.45
AT ITER 3647 NEW BEST:: SOT 387981 SOS 186058 HAS SOPS 181990 HAS SOUS 83897 HAS SOUPS 83302 WITH SCORE 83488.058
AT ITER 3663 NEW BEST:: SOT 387902 SOS 186638 HAS SOPS 182470 HAS SOUS 83910 HAS SOUPS 83290 WITH SCORE 83476.638
AT ITER 3670 NEW BEST:: SOT 387898 SOS 186630 HAS SOPS 182462 HAS SOUS 83902 HAS SOUPS 83282 WITH SCORE 83468.63
AT ITER 3687 NEW BEST:: SOT 387856 SOS 186588 HAS SOPS 182420 HAS SOUS 83866 HAS SOUPS 83246 WITH SCORE 83432.588
AT ITER 3692 NEW BEST:: SOT 387739 SOS 186471 HAS SOPS 182303 HAS SOUS 83845 HAS SOUPS 83225 WITH SCORE 83411.471
AT ITER 3703 NEW BEST:: SOT 387745 SOS 186495 HAS SOPS 182327 HAS SOUS 83768 HAS SOUPS 83148 WITH SCORE 83334.495
AT ITER 3727 NEW BEST:: SOT 387735 SOS 186475 HAS SOPS 182302 HAS SOUS 83753 HAS SOUPS 83133 WITH SCORE 83319.475
AT ITER 3729 NEW BEST:: SOT 387628 SOS 186377 HAS SOPS 182204 HAS SOUS 83652 HAS SOUPS 83032 WITH SCORE 83218.377
AT ITER 3732 NEW BEST:: SOT 387628 SOS 186377 HAS SOPS 182204 HAS SOUS 83597 HAS SOUPS 82977 WITH SCORE 83163.377
AT ITER 3735 NEW BEST:: SOT 387180 SOS 185792 HAS SOPS 181619 HAS SOUS 82997 HAS SOUPS 82377 WITH SCORE 82562.792
AT ITER 3787 NEW BEST:: SOT 387142 SOS 185762 HAS SOPS 181589 HAS SOUS 82921 HAS SOUPS 82301 WITH SCORE 82486.762
AT ITER 3814 NEW BEST:: SOT 387142 SOS 185762 HAS SOPS 181589 HAS SOUS 82920 HAS SOUPS 82300 WITH SCORE 82485.762
AT ITER 3843 NEW BEST:: SOT 387112 SOS 185840 HAS SOPS 181652 HAS SOUS 82860 HAS SOUPS 82240 WITH SCORE 82425.84
AT ITER 3857 NEW BEST:: SOT 387102 SOS 185820 HAS SOPS 181632 HAS SOUS 82850 HAS SOUPS 82230 WITH SCORE 82415.82
AT ITER 3875 NEW BEST:: SOT 387101 SOS 185819 HAS SOPS 181631 HAS SOUS 82848 HAS SOUPS 82228 WITH SCORE 82413.819
AT ITER 3889 NEW BEST:: SOT 386990 SOS 185708 HAS SOPS 181520 HAS SOUS 82835 HAS SOUPS 82215 WITH SCORE 82400.708
AT ITER 3921 NEW BEST:: SOT 386856 SOS 185563 HAS SOPS 181375 HAS SOUS 82613 HAS SOUPS 81993 WITH SCORE 82178.563
AT ITER 3945 NEW BEST:: SOT 386856 SOS 185563 HAS SOPS 181375 HAS SOUS 82607 HAS SOUPS 81987 WITH SCORE 82172.563
AT ITER 3947 NEW BEST:: SOT 386777 SOS 185440 HAS SOPS 181252 HAS SOUS 82401 HAS SOUPS 81781 WITH SCORE 81966.44
AT ITER 3953 NEW BEST:: SOT 386822 SOS 185492 HAS SOPS 181304 HAS SOUS 82345 HAS SOUPS 81725 WITH SCORE 81910.492
AT ITER 3959 NEW BEST:: SOT 386777 SOS 185384 HAS SOPS 181196 HAS SOUS 82273 HAS SOUPS 81653 WITH SCORE 81838.384
AT ITER 3982 NEW BEST:: SOT 386777 SOS 185289 HAS SOPS 181101 HAS SOUS 82273 HAS SOUPS 81653 WITH SCORE 81838.289
AT ITER 3984 NEW BEST:: SOT 386612 SOS 184970 HAS SOPS 180782 HAS SOUS 82010 HAS SOUPS 81390 WITH SCORE 81574.97
AT ITER 3989 NEW BEST:: SOT 386362 SOS 181414 HAS SOPS 177226 HAS SOUS 81869 HAS SOUPS 81249 WITH SCORE 81430.414
AT ITER 4018 NEW BEST:: SOT 386295 SOS 181347 HAS SOPS 177159 HAS SOUS 81735 HAS SOUPS 81115 WITH SCORE 81296.347
AT ITER 4058 NEW BEST:: SOT 386257 SOS 181309 HAS SOPS 177121 HAS SOUS 81706 HAS SOUPS 81086 WITH SCORE 81267.309
AT ITER 4064 NEW BEST:: SOT 386230 SOS 181227 HAS SOPS 177039 HAS SOUS 81652 HAS SOUPS 81032 WITH SCORE 81213.227
AT ITER 4086 NEW BEST:: SOT 386147 SOS 180856 HAS SOPS 176668 HAS SOUS 81425 HAS SOUPS 80805 WITH SCORE 80985.856
AT ITER 4090 NEW BEST:: SOT 386053 SOS 180386 HAS SOPS 176198 HAS SOUS 81331 HAS SOUPS 80711 WITH SCORE 80891.386
AT ITER 4091 NEW BEST:: SOT 386042 SOS 180375 HAS SOPS 176187 HAS SOUS 81309 HAS SOUPS 80689 WITH SCORE 80869.375
AT ITER 4092 NEW BEST:: SOT 385986 SOS 180319 HAS SOPS 176131 HAS SOUS 81109 HAS SOUPS 80489 WITH SCORE 80669.319
AT ITER 4094 NEW BEST:: SOT 385784 SOS 179857 HAS SOPS 175669 HAS SOUS 80700 HAS SOUPS 80080 WITH SCORE 80259.857
AT ITER 4106 NEW BEST:: SOT 385712 SOS 179785 HAS SOPS 175657 HAS SOUS 80688 HAS SOUPS 80068 WITH SCORE 80247.785
AT ITER 4125 NEW BEST:: SOT 385605 SOS 179678 HAS SOPS 175550 HAS SOUS 80533 HAS SOUPS 79913 WITH SCORE 80092.678
AT ITER 4132 NEW BEST:: SOT 385572 SOS 179646 HAS SOPS 175518 HAS SOUS 80525 HAS SOUPS 79905 WITH SCORE 80084.646
AT ITER 4144 NEW BEST:: SOT 385574 SOS 179648 HAS SOPS 175520 HAS SOUS 80515 HAS SOUPS 79895 WITH SCORE 80074.648
AT ITER 4150 NEW BEST:: SOT 385506 SOS 180194 HAS SOPS 176066 HAS SOUS 80298 HAS SOUPS 79678 WITH SCORE 79858.194
AT ITER 4163 NEW BEST:: SOT 385542 SOS 180355 HAS SOPS 176119 HAS SOUS 80288 HAS SOUPS 79668 WITH SCORE 79848.355
AT ITER 4166 NEW BEST:: SOT 385481 SOS 180294 HAS SOPS 176058 HAS SOUS 80193 HAS SOUPS 79573 WITH SCORE 79753.294
AT ITER 4169 NEW BEST:: SOT 385480 SOS 180293 HAS SOPS 176057 HAS SOUS 80192 HAS SOUPS 79572 WITH SCORE 79752.293
AT ITER 4178 NEW BEST:: SOT 385657 SOS 180470 HAS SOPS 176234 HAS SOUS 80152 HAS SOUPS 79532 WITH SCORE 79712.47
AT ITER 4191 NEW BEST:: SOT 385359 SOS 177128 HAS SOPS 172892 HAS SOUS 79699 HAS SOUPS 79079 WITH SCORE 79256.128
AT ITER 4194 NEW BEST:: SOT 385305 SOS 177074 HAS SOPS 172838 HAS SOUS 79613 HAS SOUPS 78993 WITH SCORE 79170.074
AT ITER 4200 NEW BEST:: SOT 385310 SOS 177079 HAS SOPS 172843 HAS SOUS 79611 HAS SOUPS 78991 WITH SCORE 79168.079
AT ITER 4206 NEW BEST:: SOT 385299 SOS 177090 HAS SOPS 172854 HAS SOUS 79600 HAS SOUPS 78980 WITH SCORE 79157.09
AT ITER 4215 NEW BEST:: SOT 385248 SOS 177039 HAS SOPS 172803 HAS SOUS 79447 HAS SOUPS 78827 WITH SCORE 79004.039
AT ITER 4241 NEW BEST:: SOT 385125 SOS 176811 HAS SOPS 172574 HAS SOUS 79224 HAS SOUPS 78604 WITH SCORE 78780.811
AT ITER 4247 NEW BEST:: SOT 385081 SOS 176767 HAS SOPS 172530 HAS SOUS 79167 HAS SOUPS 78547 WITH SCORE 78723.767
AT ITER 4255 NEW BEST:: SOT 385078 SOS 176764 HAS SOPS 172527 HAS SOUS 79164 HAS SOUPS 78544 WITH SCORE 78720.764
AT ITER 4259 NEW BEST:: SOT 385116 SOS 176821 HAS SOPS 172584 HAS SOUS 78994 HAS SOUPS 78374 WITH SCORE 78550.821
AT ITER 4270 NEW BEST:: SOT 385015 SOS 176760 HAS SOPS 172523 HAS SOUS 78987 HAS SOUPS 78367 WITH SCORE 78543.76
AT ITER 4278 NEW BEST:: SOT 385015 SOS 176774 HAS SOPS 172520 HAS SOUS 78953 HAS SOUPS 78333 WITH SCORE 78509.774
AT ITER 4282 NEW BEST:: SOT 384994 SOS 176741 HAS SOPS 172487 HAS SOUS 78911 HAS SOUPS 78291 WITH SCORE 78467.741
AT ITER 4306 NEW BEST:: SOT 384981 SOS 176268 HAS SOPS 172014 HAS SOUS 78886 HAS SOUPS 78266 WITH SCORE 78442.268
AT ITER 4312 NEW BEST:: SOT 384917 SOS 176161 HAS SOPS 172014 HAS SOUS 78846 HAS SOUPS 78226 WITH SCORE 78402.161
AT ITER 4343 NEW BEST:: SOT 384934 SOS 176193 HAS SOPS 172046 HAS SOUS 78773 HAS SOUPS 78153 WITH SCORE 78329.193
AT ITER 4358 NEW BEST:: SOT 384931 SOS 176154 HAS SOPS 172007 HAS SOUS 78764 HAS SOUPS 78144 WITH SCORE 78320.154
AT ITER 4364 NEW BEST:: SOT 384897 SOS 175931 HAS SOPS 171784 HAS SOUS 78746 HAS SOUPS 78126 WITH SCORE 78301.931
AT ITER 4370 NEW BEST:: SOT 384522 SOS 175556 HAS SOPS 171409 HAS SOUS 78559 HAS SOUPS 77939 WITH SCORE 78114.556
AT ITER 4385 NEW BEST:: SOT 384294 SOS 175357 HAS SOPS 171210 HAS SOUS 78471 HAS SOUPS 77851 WITH SCORE 78026.357
AT ITER 4391 NEW BEST:: SOT 384294 SOS 175357 HAS SOPS 171210 HAS SOUS 78455 HAS SOUPS 77835 WITH SCORE 78010.357
AT ITER 4400 NEW BEST:: SOT 384294 SOS 175365 HAS SOPS 171222 HAS SOUS 78451 HAS SOUPS 77831 WITH SCORE 78006.365
AT ITER 4456 NEW BEST:: SOT 384294 SOS 175315 HAS SOPS 171172 HAS SOUS 78425 HAS SOUPS 77805 WITH SCORE 77980.315
AT ITER 4464 NEW BEST:: SOT 384293 SOS 175314 HAS SOPS 171171 HAS SOUS 78411 HAS SOUPS 77791 WITH SCORE 77966.314
AT ITER 4511 NEW BEST:: SOT 384256 SOS 175282 HAS SOPS 171139 HAS SOUS 78360 HAS SOUPS 77740 WITH SCORE 77915.282
AT ITER 4540 NEW BEST:: SOT 384331 SOS 175357 HAS SOPS 171214 HAS SOUS 78348 HAS SOUPS 77728 WITH SCORE 77903.357
AT ITER 4555 NEW BEST:: SOT 384324 SOS 175350 HAS SOPS 171207 HAS SOUS 78295 HAS SOUPS 77675 WITH SCORE 77850.35
AT ITER 4613 NEW BEST:: SOT 384324 SOS 175372 HAS SOPS 171229 HAS SOUS 78251 HAS SOUPS 77631 WITH SCORE 77806.372
AT ITER 4655 NEW BEST:: SOT 384229 SOS 175277 HAS SOPS 170944 HAS SOUS 78156 HAS SOUPS 77346 WITH SCORE 77521.277
AT ITER 4657 NEW BEST:: SOT 384135 SOS 175239 HAS SOPS 170906 HAS SOUS 78062 HAS SOUPS 77252 WITH SCORE 77427.239
AT ITER 4660 NEW BEST:: SOT 384135 SOS 175239 HAS SOPS 170906 HAS SOUS 78061 HAS SOUPS 77251 WITH SCORE 77426.239
AT ITER 4665 NEW BEST:: SOT 384135 SOS 175239 HAS SOPS 170906 HAS SOUS 78029 HAS SOUPS 77219 WITH SCORE 77394.239
AT ITER 4679 NEW BEST:: SOT 384157 SOS 175261 HAS SOPS 170928 HAS SOUS 78025 HAS SOUPS 77215 WITH SCORE 77390.261
AT ITER 4681 NEW BEST:: SOT 383970 SOS 174100 HAS SOPS 168039 HAS SOUS 77846 HAS SOUPS 76820 WITH SCORE 76994.1
AT ITER 4701 NEW BEST:: SOT 383799 SOS 173548 HAS SOPS 167487 HAS SOUS 77631 HAS SOUPS 76605 WITH SCORE 76778.548
AT ITER 4745 NEW BEST:: SOT 383785 SOS 173520 HAS SOPS 167459 HAS SOUS 77603 HAS SOUPS 76577 WITH SCORE 76750.52
AT ITER 4752 NEW BEST:: SOT 383781 SOS 173582 HAS SOPS 167521 HAS SOUS 77595 HAS SOUPS 76569 WITH SCORE 76742.582
AT ITER 4781 NEW BEST:: SOT 383666 SOS 173605 HAS SOPS 167544 HAS SOUS 77443 HAS SOUPS 76417 WITH SCORE 76590.605
AT ITER 4837 NEW BEST:: SOT 383680 SOS 173619 HAS SOPS 167558 HAS SOUS 77428 HAS SOUPS 76402 WITH SCORE 76575.619
AT ITER 4845 NEW BEST:: SOT 383638 SOS 173577 HAS SOPS 167516 HAS SOUS 77353 HAS SOUPS 76327 WITH SCORE 76500.577
AT ITER 4860 NEW BEST:: SOT 383638 SOS 173577 HAS SOPS 167516 HAS SOUS 77349 HAS SOUPS 76323 WITH SCORE 76496.577
AT ITER 4945 NEW BEST:: SOT 383638 SOS 173606 HAS SOPS 167516 HAS SOUS 77354 HAS SOUPS 76308 WITH SCORE 76481.606
AT ITER 4953 NEW BEST:: SOT 383609 SOS 173532 HAS SOPS 167424 HAS SOUS 77263 HAS SOUPS 76217 WITH SCORE 76390.532
AT ITER 4961 NEW BEST:: SOT 383482 SOS 173405 HAS SOPS 167297 HAS SOUS 77009 HAS SOUPS 75963 WITH SCORE 76136.405
AT ITER 4977 NEW BEST:: SOT 383456 SOS 173356 HAS SOPS 167248 HAS SOUS 76957 HAS SOUPS 75911 WITH SCORE 76084.356
AT ITER 5039 NEW BEST:: SOT 383476 SOS 173474 HAS SOPS 167356 HAS SOUS 76940 HAS SOUPS 75894 WITH SCORE 76067.474
AT ITER 5044 NEW BEST:: SOT 383397 SOS 173299 HAS SOPS 167181 HAS SOUS 76849 HAS SOUPS 75803 WITH SCORE 75976.299
AT ITER 5054 NEW BEST:: SOT 383414 SOS 174407 HAS SOPS 168289 HAS SOUS 76786 HAS SOUPS 75740 WITH SCORE 75914.407
AT ITER 5064 NEW BEST:: SOT 383358 SOS 174232 HAS SOPS 168114 HAS SOUS 76716 HAS SOUPS 75670 WITH SCORE 75844.232
AT ITER 5078 NEW BEST:: SOT 383333 SOS 174207 HAS SOPS 168089 HAS SOUS 76691 HAS SOUPS 75645 WITH SCORE 75819.207
AT ITER 5083 NEW BEST:: SOT 382784 SOS 173658 HAS SOPS 167540 HAS SOUS 76525 HAS SOUPS 75479 WITH SCORE 75652.658
AT ITER 5084 NEW BEST:: SOT 382404 SOS 173260 HAS SOPS 167142 HAS SOUS 76404 HAS SOUPS 75358 WITH SCORE 75531.26
AT ITER 5128 NEW BEST:: SOT 382393 SOS 173249 HAS SOPS 167115 HAS SOUS 76374 HAS SOUPS 75328 WITH SCORE 75501.249
AT ITER 5135 NEW BEST:: SOT 382387 SOS 173257 HAS SOPS 167123 HAS SOUS 76362 HAS SOUPS 75316 WITH SCORE 75489.257
AT ITER 5155 NEW BEST:: SOT 382378 SOS 173224 HAS SOPS 167090 HAS SOUS 76347 HAS SOUPS 75301 WITH SCORE 75474.224
AT ITER 5178 NEW BEST:: SOT 382324 SOS 173188 HAS SOPS 167054 HAS SOUS 76311 HAS SOUPS 75265 WITH SCORE 75438.188
AT ITER 5181 NEW BEST:: SOT 382290 SOS 173091 HAS SOPS 166957 HAS SOUS 76243 HAS SOUPS 75197 WITH SCORE 75370.091
AT ITER 5183 NEW BEST:: SOT 382294 SOS 173095 HAS SOPS 166961 HAS SOUS 76241 HAS SOUPS 75195 WITH SCORE 75368.095
AT ITER 5187 NEW BEST:: SOT 382265 SOS 173066 HAS SOPS 166932 HAS SOUS 76183 HAS SOUPS 75137 WITH SCORE 75310.066
AT ITER 5237 NEW BEST:: SOT 382290 SOS 173091 HAS SOPS 166957 HAS SOUS 76182 HAS SOUPS 75136 WITH SCORE 75309.091
AT ITER 5297 NEW BEST:: SOT 382109 SOS 172223 HAS SOPS 166089 HAS SOUS 76059 HAS SOUPS 75013 WITH SCORE 75185.223
AT ITER 5306 NEW BEST:: SOT 382093 SOS 172207 HAS SOPS 166057 HAS SOUS 76027 HAS SOUPS 74981 WITH SCORE 75153.207
AT ITER 5350 NEW BEST:: SOT 381736 SOS 171666 HAS SOPS 165608 HAS SOUS 75672 HAS SOUPS 74626 WITH SCORE 74797.666
AT ITER 5351 NEW BEST:: SOT 381732 SOS 171662 HAS SOPS 165604 HAS SOUS 75664 HAS SOUPS 74618 WITH SCORE 74789.662
AT ITER 5357 NEW BEST:: SOT 381585 SOS 171515 HAS SOPS 165457 HAS SOUS 75566 HAS SOUPS 74520 WITH SCORE 74691.515
AT ITER 5366 NEW BEST:: SOT 381576 SOS 171506 HAS SOPS 165431 HAS SOUS 75555 HAS SOUPS 74506 WITH SCORE 74677.506
AT ITER 5375 NEW BEST:: SOT 381561 SOS 171491 HAS SOPS 165416 HAS SOUS 75525 HAS SOUPS 74476 WITH SCORE 74647.491
AT ITER 5402 NEW BEST:: SOT 381523 SOS 171453 HAS SOPS 165378 HAS SOUS 75487 HAS SOUPS 74438 WITH SCORE 74609.453
AT ITER 5410 NEW BEST:: SOT 381501 SOS 171431 HAS SOPS 165356 HAS SOUS 75477 HAS SOUPS 74428 WITH SCORE 74599.431
AT ITER 5435 NEW BEST:: SOT 381502 SOS 171413 HAS SOPS 165338 HAS SOUS 75459 HAS SOUPS 74410 WITH SCORE 74581.413
AT ITER 5437 NEW BEST:: SOT 381511 SOS 171422 HAS SOPS 165347 HAS SOUS 75432 HAS SOUPS 74383 WITH SCORE 74554.422
AT ITER 5472 NEW BEST:: SOT 381481 SOS 171392 HAS SOPS 165317 HAS SOUS 75382 HAS SOUPS 74333 WITH SCORE 74504.392
AT ITER 5498 NEW BEST:: SOT 381468 SOS 171379 HAS SOPS 165304 HAS SOUS 75382 HAS SOUPS 74333 WITH SCORE 74504.379
AT ITER 5517 NEW BEST:: SOT 381468 SOS 171297 HAS SOPS 165222 HAS SOUS 75382 HAS SOUPS 74333 WITH SCORE 74504.297
AT ITER 5524 NEW BEST:: SOT 381455 SOS 171284 HAS SOPS 165209 HAS SOUS 75366 HAS SOUPS 74317 WITH SCORE 74488.284
AT ITER 5538 NEW BEST:: SOT 381432 SOS 171261 HAS SOPS 165186 HAS SOUS 75343 HAS SOUPS 74294 WITH SCORE 74465.261
AT ITER 5546 NEW BEST:: SOT 381444 SOS 171226 HAS SOPS 165151 HAS SOUS 75320 HAS SOUPS 74271 WITH SCORE 74442.226
AT ITER 5560 NEW BEST:: SOT 381357 SOS 171139 HAS SOPS 165064 HAS SOUS 75168 HAS SOUPS 74119 WITH SCORE 74290.139
AT ITER 5601 NEW BEST:: SOT 381339 SOS 171121 HAS SOPS 165046 HAS SOUS 75144 HAS SOUPS 74095 WITH SCORE 74266.121
AT ITER 5645 NEW BEST:: SOT 381363 SOS 171144 HAS SOPS 165069 HAS SOUS 75137 HAS SOUPS 74088 WITH SCORE 74259.144
AT ITER 5689 NEW BEST:: SOT 381363 SOS 171135 HAS SOPS 165060 HAS SOUS 75137 HAS SOUPS 74088 WITH SCORE 74259.135
AT ITER 5780 NEW BEST:: SOT 381359 SOS 171115 HAS SOPS 165040 HAS SOUS 75126 HAS SOUPS 74077 WITH SCORE 74248.115
AT ITER 5782 NEW BEST:: SOT 381357 SOS 171113 HAS SOPS 165037 HAS SOUS 75122 HAS SOUPS 74073 WITH SCORE 74244.113
AT ITER 5787 NEW BEST:: SOT 381354 SOS 171110 HAS SOPS 165034 HAS SOUS 75113 HAS SOUPS 74064 WITH SCORE 74235.11
AT ITER 5801 NEW BEST:: SOT 381348 SOS 171104 HAS SOPS 165028 HAS SOUS 75101 HAS SOUPS 74052 WITH SCORE 74223.104
AT ITER 5853 NEW BEST:: SOT 381346 SOS 171102 HAS SOPS 165026 HAS SOUS 75097 HAS SOUPS 74048 WITH SCORE 74219.102
AT ITER 5877 NEW BEST:: SOT 381345 SOS 171094 HAS SOPS 165018 HAS SOUS 75050 HAS SOUPS 74001 WITH SCORE 74172.094
AT ITER 5901 NEW BEST:: SOT 381284 SOS 171227 HAS SOPS 165151 HAS SOUS 74972 HAS SOUPS 73923 WITH SCORE 74094.227
AT ITER 5915 NEW BEST:: SOT 381274 SOS 171217 HAS SOPS 165141 HAS SOUS 74968 HAS SOUPS 73919 WITH SCORE 74090.217
AT ITER 5948 NEW BEST:: SOT 381274 SOS 171197 HAS SOPS 165121 HAS SOUS 74968 HAS SOUPS 73919 WITH SCORE 74090.197
AT ITER 5958 NEW BEST:: SOT 381274 SOS 171213 HAS SOPS 165121 HAS SOUS 74910 HAS SOUPS 73861 WITH SCORE 74032.213
AT ITER 5982 NEW BEST:: SOT 381272 SOS 171211 HAS SOPS 165119 HAS SOUS 74904 HAS SOUPS 73855 WITH SCORE 74026.211
AT ITER 6081 NEW BEST:: SOT 381249 SOS 171184 HAS SOPS 165092 HAS SOUS 74859 HAS SOUPS 73810 WITH SCORE 73981.184
AT ITER 6093 NEW BEST:: SOT 381211 SOS 171072 HAS SOPS 164980 HAS SOUS 74747 HAS SOUPS 73698 WITH SCORE 73869.072
AT ITER 6102 NEW BEST:: SOT 381102 SOS 170963 HAS SOPS 164871 HAS SOUS 74663 HAS SOUPS 73614 WITH SCORE 73784.963
AT ITER 6127 NEW BEST:: SOT 381102 SOS 170963 HAS SOPS 164871 HAS SOUS 74653 HAS SOUPS 73604 WITH SCORE 73774.963
AT ITER 6128 NEW BEST:: SOT 381091 SOS 170952 HAS SOPS 164860 HAS SOUS 74647 HAS SOUPS 73598 WITH SCORE 73768.952
AT ITER 6159 NEW BEST:: SOT 381072 SOS 170933 HAS SOPS 164841 HAS SOUS 74628 HAS SOUPS 73579 WITH SCORE 73749.933
AT ITER 6161 NEW BEST:: SOT 381068 SOS 170929 HAS SOPS 164841 HAS SOUS 74624 HAS SOUPS 73575 WITH SCORE 73745.929
AT ITER 6177 NEW BEST:: SOT 381113 SOS 170749 HAS SOPS 164661 HAS SOUS 74530 HAS SOUPS 73481 WITH SCORE 73651.749
AT ITER 6194 NEW BEST:: SOT 380968 SOS 170569 HAS SOPS 164481 HAS SOUS 74379 HAS SOUPS 73330 WITH SCORE 73500.569
AT ITER 6195 NEW BEST:: SOT 380949 SOS 170550 HAS SOPS 164462 HAS SOUS 74341 HAS SOUPS 73292 WITH SCORE 73462.55
AT ITER 6209 NEW BEST:: SOT 380949 SOS 170546 HAS SOPS 164458 HAS SOUS 74341 HAS SOUPS 73292 WITH SCORE 73462.546
AT ITER 6235 NEW BEST:: SOT 380938 SOS 170524 HAS SOPS 164436 HAS SOUS 74319 HAS SOUPS 73270 WITH SCORE 73440.524
AT ITER 6249 NEW BEST:: SOT 380935 SOS 170518 HAS SOPS 164430 HAS SOUS 74310 HAS SOUPS 73261 WITH SCORE 73431.518
AT ITER 6275 NEW BEST:: SOT 380902 SOS 170485 HAS SOPS 164397 HAS SOUS 74229 HAS SOUPS 73180 WITH SCORE 73350.485
AT ITER 6296 NEW BEST:: SOT 380896 SOS 170473 HAS SOPS 164385 HAS SOUS 74217 HAS SOUPS 73168 WITH SCORE 73338.473
AT ITER 6343 NEW BEST:: SOT 380870 SOS 170447 HAS SOPS 164350 HAS SOUS 74150 HAS SOUPS 73101 WITH SCORE 73271.447
AT ITER 6357 NEW BEST:: SOT 380812 SOS 170361 HAS SOPS 164264 HAS SOUS 74138 HAS SOUPS 73089 WITH SCORE 73259.361
AT ITER 6399 NEW BEST:: SOT 380428 SOS 169979 HAS SOPS 163882 HAS SOUS 73729 HAS SOUPS 72680 WITH SCORE 72849.979
AT ITER 6435 NEW BEST:: SOT 380355 SOS 169894 HAS SOPS 163797 HAS SOUS 73644 HAS SOUPS 72595 WITH SCORE 72764.894
AT ITER 6442 NEW BEST:: SOT 380347 SOS 169878 HAS SOPS 163781 HAS SOUS 73628 HAS SOUPS 72579 WITH SCORE 72748.878
AT ITER 6452 NEW BEST:: SOT 380575 SOS 170065 HAS SOPS 163968 HAS SOUS 73592 HAS SOUPS 72543 WITH SCORE 72713.065
AT ITER 6457 NEW BEST:: SOT 380533 SOS 169975 HAS SOPS 163878 HAS SOUS 73502 HAS SOUPS 72453 WITH SCORE 72622.975
AT ITER 6532 NEW BEST:: SOT 380533 SOS 169959 HAS SOPS 163862 HAS SOUS 73486 HAS SOUPS 72437 WITH SCORE 72606.959
AT ITER 6555 NEW BEST:: SOT 380528 SOS 169914 HAS SOPS 163817 HAS SOUS 73481 HAS SOUPS 72432 WITH SCORE 72601.914
AT ITER 6556 NEW BEST:: SOT 380520 SOS 169906 HAS SOPS 163809 HAS SOUS 73431 HAS SOUPS 72382 WITH SCORE 72551.906
AT ITER 6570 NEW BEST:: SOT 380486 SOS 169872 HAS SOPS 163775 HAS SOUS 73403 HAS SOUPS 72354 WITH SCORE 72523.872
AT ITER 6574 NEW BEST:: SOT 380396 SOS 169013 HAS SOPS 162972 HAS SOUS 73295 HAS SOUPS 72244 WITH SCORE 72413.013
AT ITER 6577 NEW BEST:: SOT 380383 SOS 169008 HAS SOPS 162967 HAS SOUS 73290 HAS SOUPS 72239 WITH SCORE 72408.008
AT ITER 6580 NEW BEST:: SOT 380383 SOS 168976 HAS SOPS 162935 HAS SOUS 73290 HAS SOUPS 72239 WITH SCORE 72407.976
AT ITER 6608 NEW BEST:: SOT 380381 SOS 168974 HAS SOPS 162933 HAS SOUS 73286 HAS SOUPS 72235 WITH SCORE 72403.974
AT ITER 6618 NEW BEST:: SOT 380387 SOS 168980 HAS SOPS 162923 HAS SOUS 73255 HAS SOUPS 72204 WITH SCORE 72372.98
AT ITER 6686 NEW BEST:: SOT 380343 SOS 168647 HAS SOPS 162590 HAS SOUS 73078 HAS SOUPS 72027 WITH SCORE 72195.647
AT ITER 6692 NEW BEST:: SOT 380341 SOS 168645 HAS SOPS 162588 HAS SOUS 73074 HAS SOUPS 72023 WITH SCORE 72191.645
AT ITER 6701 NEW BEST:: SOT 380341 SOS 168645 HAS SOPS 162588 HAS SOUS 73068 HAS SOUPS 72017 WITH SCORE 72185.645
AT ITER 6719 NEW BEST:: SOT 380387 SOS 168573 HAS SOPS 162579 HAS SOUS 73060 HAS SOUPS 72009 WITH SCORE 72177.573
AT ITER 6724 NEW BEST:: SOT 380586 SOS 168727 HAS SOPS 162733 HAS SOUS 73001 HAS SOUPS 71950 WITH SCORE 72118.727
AT ITER 6742 NEW BEST:: SOT 380582 SOS 168723 HAS SOPS 162729 HAS SOUS 72993 HAS SOUPS 71942 WITH SCORE 72110.723
AT ITER 6784 NEW BEST:: SOT 380479 SOS 168626 HAS SOPS 162632 HAS SOUS 72838 HAS SOUPS 71787 WITH SCORE 71955.626
AT ITER 6787 NEW BEST:: SOT 380479 SOS 168619 HAS SOPS 162625 HAS SOUS 72824 HAS SOUPS 71773 WITH SCORE 71941.619
AT ITER 6793 NEW BEST:: SOT 380452 SOS 168592 HAS SOPS 162598 HAS SOUS 72821 HAS SOUPS 71770 WITH SCORE 71938.592
AT ITER 6819 NEW BEST:: SOT 380457 SOS 168597 HAS SOPS 162603 HAS SOUS 72799 HAS SOUPS 71748 WITH SCORE 71916.597
AT ITER 6868 NEW BEST:: SOT 380696 SOS 168824 HAS SOPS 162830 HAS SOUS 72659 HAS SOUPS 71608 WITH SCORE 71776.824
AT ITER 6873 NEW BEST:: SOT 380682 SOS 168662 HAS SOPS 162668 HAS SOUS 72617 HAS SOUPS 71566 WITH SCORE 71734.662
AT ITER 6874 NEW BEST:: SOT 380681 SOS 168693 HAS SOPS 162699 HAS SOUS 72612 HAS SOUPS 71561 WITH SCORE 71729.693
AT ITER 6878 NEW BEST:: SOT 380663 SOS 168675 HAS SOPS 162681 HAS SOUS 72589 HAS SOUPS 71538 WITH SCORE 71706.675
AT ITER 6884 NEW BEST:: SOT 380598 SOS 168629 HAS SOPS 162654 HAS SOUS 72554 HAS SOUPS 71503 WITH SCORE 71671.629
AT ITER 6918 NEW BEST:: SOT 380543 SOS 168574 HAS SOPS 162599 HAS SOUS 72481 HAS SOUPS 71430 WITH SCORE 71598.574
AT ITER 6952 NEW BEST:: SOT 380522 SOS 168545 HAS SOPS 162570 HAS SOUS 72455 HAS SOUPS 71404 WITH SCORE 71572.545
AT ITER 6954 NEW BEST:: SOT 380416 SOS 168459 HAS SOPS 162484 HAS SOUS 72369 HAS SOUPS 71318 WITH SCORE 71486.459
AT ITER 6983 NEW BEST:: SOT 380400 SOS 168428 HAS SOPS 162418 HAS SOUS 72290 HAS SOUPS 71239 WITH SCORE 71407.428
AT ITER 7066 NEW BEST:: SOT 380392 SOS 168420 HAS SOPS 162410 HAS SOUS 72286 HAS SOUPS 71235 WITH SCORE 71403.42
AT ITER 7073 NEW BEST:: SOT 380381 SOS 168409 HAS SOPS 162410 HAS SOUS 72286 HAS SOUPS 71235 WITH SCORE 71403.409
AT ITER 7115 NEW BEST:: SOT 380303 SOS 168406 HAS SOPS 162407 HAS SOUS 72160 HAS SOUPS 71109 WITH SCORE 71277.406
AT ITER 7167 NEW BEST:: SOT 380303 SOS 168406 HAS SOPS 162407 HAS SOUS 72132 HAS SOUPS 71081 WITH SCORE 71249.406
AT ITER 7173 NEW BEST:: SOT 380243 SOS 168310 HAS SOPS 162311 HAS SOUS 72036 HAS SOUPS 70985 WITH SCORE 71153.31
AT ITER 7229 NEW BEST:: SOT 380241 SOS 168308 HAS SOPS 162309 HAS SOUS 72034 HAS SOUPS 70983 WITH SCORE 71151.308
AT ITER 7243 NEW BEST:: SOT 380274 SOS 168258 HAS SOPS 162259 HAS SOUS 72007 HAS SOUPS 70956 WITH SCORE 71124.258
AT ITER 7255 NEW BEST:: SOT 380003 SOS 168031 HAS SOPS 162032 HAS SOUS 71779 HAS SOUPS 70728 WITH SCORE 70896.031
AT ITER 7267 NEW BEST:: SOT 380001 SOS 168029 HAS SOPS 162030 HAS SOUS 71765 HAS SOUPS 70714 WITH SCORE 70882.029
AT ITER 7293 NEW BEST:: SOT 380001 SOS 168050 HAS SOPS 162051 HAS SOUS 71751 HAS SOUPS 70700 WITH SCORE 70868.05
AT ITER 7301 NEW BEST:: SOT 379978 SOS 168027 HAS SOPS 162028 HAS SOUS 71705 HAS SOUPS 70654 WITH SCORE 70822.027
AT ITER 7339 NEW BEST:: SOT 379957 SOS 168009 HAS SOPS 162010 HAS SOUS 71663 HAS SOUPS 70612 WITH SCORE 70780.009
AT ITER 7355 NEW BEST:: SOT 379946 SOS 167691 HAS SOPS 161692 HAS SOUS 71595 HAS SOUPS 70544 WITH SCORE 70711.691
AT ITER 7358 NEW BEST:: SOT 379942 SOS 167683 HAS SOPS 161684 HAS SOUS 71587 HAS SOUPS 70536 WITH SCORE 70703.683
AT ITER 7374 NEW BEST:: SOT 379931 SOS 167672 HAS SOPS 161673 HAS SOUS 71565 HAS SOUPS 70514 WITH SCORE 70681.672
AT ITER 7399 NEW BEST:: SOT 379931 SOS 167674 HAS SOPS 161675 HAS SOUS 71561 HAS SOUPS 70510 WITH SCORE 70677.674
AT ITER 7433 NEW BEST:: SOT 379933 SOS 167676 HAS SOPS 161677 HAS SOUS 71533 HAS SOUPS 70482 WITH SCORE 70649.676
AT ITER 7447 NEW BEST:: SOT 379908 SOS 167651 HAS SOPS 161652 HAS SOUS 71426 HAS SOUPS 70375 WITH SCORE 70542.651
AT ITER 7471 NEW BEST:: SOT 379891 SOS 167617 HAS SOPS 161618 HAS SOUS 71343 HAS SOUPS 70292 WITH SCORE 70459.617
AT ITER 7480 NEW BEST:: SOT 379806 SOS 167591 HAS SOPS 161592 HAS SOUS 71330 HAS SOUPS 70279 WITH SCORE 70446.591
AT ITER 7495 NEW BEST:: SOT 379687 SOS 167372 HAS SOPS 161373 HAS SOUS 71192 HAS SOUPS 70141 WITH SCORE 70308.372
AT ITER 7515 NEW BEST:: SOT 379429 SOS 167014 HAS SOPS 161015 HAS SOUS 71115 HAS SOUPS 70064 WITH SCORE 70231.014
AT ITER 7558 NEW BEST:: SOT 379399 SOS 166984 HAS SOPS 160985 HAS SOUS 71052 HAS SOUPS 70001 WITH SCORE 70167.984
AT ITER 7590 NEW BEST:: SOT 379383 SOS 166968 HAS SOPS 160969 HAS SOUS 71020 HAS SOUPS 69969 WITH SCORE 70135.968
AT ITER 7592 NEW BEST:: SOT 379358 SOS 166937 HAS SOPS 160938 HAS SOUS 70980 HAS SOUPS 69929 WITH SCORE 70095.937
AT ITER 7652 NEW BEST:: SOT 379381 SOS 166978 HAS SOPS 160979 HAS SOUS 70971 HAS SOUPS 69920 WITH SCORE 70086.978
AT ITER 7688 NEW BEST:: SOT 379323 SOS 166920 HAS SOPS 160921 HAS SOUS 70971 HAS SOUPS 69920 WITH SCORE 70086.92
AT ITER 7712 NEW BEST:: SOT 379447 SOS 163581 HAS SOPS 157582 HAS SOUS 70918 HAS SOUPS 69867 WITH SCORE 70030.581
AT ITER 7780 NEW BEST:: SOT 379438 SOS 163553 HAS SOPS 157557 HAS SOUS 70912 HAS SOUPS 69861 WITH SCORE 70024.553
AT ITER 7785 NEW BEST:: SOT 379433 SOS 163546 HAS SOPS 157550 HAS SOUS 70902 HAS SOUPS 69851 WITH SCORE 70014.546
AT ITER 7823 NEW BEST:: SOT 379427 SOS 163558 HAS SOPS 157562 HAS SOUS 70879 HAS SOUPS 69828 WITH SCORE 69991.558
AT ITER 7853 NEW BEST:: SOT 379364 SOS 163455 HAS SOPS 157459 HAS SOUS 70872 HAS SOUPS 69821 WITH SCORE 69984.455
AT ITER 7857 NEW BEST:: SOT 379302 SOS 163273 HAS SOPS 157277 HAS SOUS 70813 HAS SOUPS 69762 WITH SCORE 69925.273
AT ITER 7928 NEW BEST:: SOT 379303 SOS 163274 HAS SOPS 157278 HAS SOUS 70811 HAS SOUPS 69760 WITH SCORE 69923.274
AT ITER 7931 NEW BEST:: SOT 379270 SOS 163210 HAS SOPS 157214 HAS SOUS 70745 HAS SOUPS 69694 WITH SCORE 69857.21
AT ITER 8003 NEW BEST:: SOT 379260 SOS 163200 HAS SOPS 157204 HAS SOUS 70733 HAS SOUPS 69682 WITH SCORE 69845.2
AT ITER 8058 NEW BEST:: SOT 379259 SOS 163198 HAS SOPS 157202 HAS SOUS 70728 HAS SOUPS 69677 WITH SCORE 69840.198
AT ITER 8068 NEW BEST:: SOT 379233 SOS 163172 HAS SOPS 157176 HAS SOUS 70676 HAS SOUPS 69625 WITH SCORE 69788.172
AT ITER 8070 NEW BEST:: SOT 379233 SOS 163172 HAS SOPS 157176 HAS SOUS 70654 HAS SOUPS 69603 WITH SCORE 69766.172
AT ITER 8122 NEW BEST:: SOT 379190 SOS 163100 HAS SOPS 157104 HAS SOUS 70568 HAS SOUPS 69517 WITH SCORE 69680.1
AT ITER 8123 NEW BEST:: SOT 379177 SOS 162974 HAS SOPS 156978 HAS SOUS 70442 HAS SOUPS 69391 WITH SCORE 69553.974
AT ITER 8131 NEW BEST:: SOT 379130 SOS 162927 HAS SOPS 156931 HAS SOUS 70360 HAS SOUPS 69309 WITH SCORE 69471.927
AT ITER 8134 NEW BEST:: SOT 379142 SOS 162998 HAS SOPS 157002 HAS SOUS 70295 HAS SOUPS 69244 WITH SCORE 69406.998
AT ITER 8137 NEW BEST:: SOT 379128 SOS 162877 HAS SOPS 156881 HAS SOUS 70190 HAS SOUPS 69139 WITH SCORE 69301.877
AT ITER 8143 NEW BEST:: SOT 379073 SOS 162554 HAS SOPS 156637 HAS SOUS 70166 HAS SOUPS 69115 WITH SCORE 69277.554
AT ITER 8144 NEW BEST:: SOT 379005 SOS 162497 HAS SOPS 156580 HAS SOUS 70092 HAS SOUPS 69041 WITH SCORE 69203.497
AT ITER 8168 NEW BEST:: SOT 378980 SOS 162422 HAS SOPS 156505 HAS SOUS 70092 HAS SOUPS 69041 WITH SCORE 69203.422
AT ITER 8244 NEW BEST:: SOT 378980 SOS 162422 HAS SOPS 156505 HAS SOUS 70085 HAS SOUPS 69034 WITH SCORE 69196.422
AT ITER 8277 NEW BEST:: SOT 378977 SOS 162375 HAS SOPS 156458 HAS SOUS 70067 HAS SOUPS 69016 WITH SCORE 69178.375
AT ITER 8281 NEW BEST:: SOT 378975 SOS 162375 HAS SOPS 156458 HAS SOUS 70065 HAS SOUPS 69014 WITH SCORE 69176.375
AT ITER 8298 NEW BEST:: SOT 378957 SOS 162351 HAS SOPS 156434 HAS SOUS 70041 HAS SOUPS 68990 WITH SCORE 69152.351
AT ITER 8329 NEW BEST:: SOT 378950 SOS 162344 HAS SOPS 156427 HAS SOUS 70027 HAS SOUPS 68976 WITH SCORE 69138.344
AT ITER 8362 NEW BEST:: SOT 378941 SOS 162326 HAS SOPS 156409 HAS SOUS 70009 HAS SOUPS 68958 WITH SCORE 69120.326
AT ITER 8376 NEW BEST:: SOT 378931 SOS 162316 HAS SOPS 156399 HAS SOUS 69959 HAS SOUPS 68908 WITH SCORE 69070.316
AT ITER 8380 NEW BEST:: SOT 378910 SOS 162254 HAS SOPS 156337 HAS SOUS 69958 HAS SOUPS 68907 WITH SCORE 69069.254
AT ITER 8385 NEW BEST:: SOT 378898 SOS 162294 HAS SOPS 156377 HAS SOUS 69934 HAS SOUPS 68883 WITH SCORE 69045.294
AT ITER 8398 NEW BEST:: SOT 378896 SOS 162292 HAS SOPS 156375 HAS SOUS 69930 HAS SOUPS 68879 WITH SCORE 69041.292
AT ITER 8406 NEW BEST:: SOT 378884 SOS 162266 HAS SOPS 156349 HAS SOUS 69906 HAS SOUPS 68855 WITH SCORE 69017.266
AT ITER 8483 NEW BEST:: SOT 378854 SOS 162028 HAS SOPS 156111 HAS SOUS 69874 HAS SOUPS 68823 WITH SCORE 68985.028
AT ITER 8510 NEW BEST:: SOT 378854 SOS 162232 HAS SOPS 156315 HAS SOUS 69826 HAS SOUPS 68775 WITH SCORE 68937.232
AT ITER 8582 NEW BEST:: SOT 378841 SOS 162203 HAS SOPS 156286 HAS SOUS 69797 HAS SOUPS 68746 WITH SCORE 68908.203
AT ITER 8597 NEW BEST:: SOT 378820 SOS 162182 HAS SOPS 156265 HAS SOUS 69776 HAS SOUPS 68725 WITH SCORE 68887.182
AT ITER 8607 NEW BEST:: SOT 378787 SOS 162109 HAS SOPS 156192 HAS SOUS 69695 HAS SOUPS 68644 WITH SCORE 68806.109
AT ITER 8635 NEW BEST:: SOT 378763 SOS 162085 HAS SOPS 156168 HAS SOUS 69549 HAS SOUPS 68498 WITH SCORE 68660.085
AT ITER 8647 NEW BEST:: SOT 378733 SOS 162021 HAS SOPS 156104 HAS SOUS 69530 HAS SOUPS 68479 WITH SCORE 68641.021
AT ITER 8700 NEW BEST:: SOT 378703 SOS 161991 HAS SOPS 156074 HAS SOUS 69464 HAS SOUPS 68413 WITH SCORE 68574.991
AT ITER 8717 NEW BEST:: SOT 378682 SOS 161949 HAS SOPS 156032 HAS SOUS 69425 HAS SOUPS 68374 WITH SCORE 68535.949
AT ITER 8796 NEW BEST:: SOT 378607 SOS 161682 HAS SOPS 155765 HAS SOUS 69347 HAS SOUPS 68296 WITH SCORE 68457.682
AT ITER 8835 NEW BEST:: SOT 378582 SOS 161632 HAS SOPS 155715 HAS SOUS 69297 HAS SOUPS 68246 WITH SCORE 68407.632
AT ITER 8896 NEW BEST:: SOT 378515 SOS 161565 HAS SOPS 155648 HAS SOUS 69217 HAS SOUPS 68166 WITH SCORE 68327.565
AT ITER 8914 NEW BEST:: SOT 378477 SOS 161546 HAS SOPS 155629 HAS SOUS 69141 HAS SOUPS 68090 WITH SCORE 68251.546
AT ITER 8922 NEW BEST:: SOT 378458 SOS 161527 HAS SOPS 155610 HAS SOUS 69108 HAS SOUPS 68057 WITH SCORE 68218.527
AT ITER 8931 NEW BEST:: SOT 378458 SOS 161521 HAS SOPS 155604 HAS SOUS 69108 HAS SOUPS 68057 WITH SCORE 68218.521
AT ITER 8956 NEW BEST:: SOT 378626 SOS 161709 HAS SOPS 155812 HAS SOUS 69102 HAS SOUPS 68051 WITH SCORE 68212.709
AT ITER 8961 NEW BEST:: SOT 378649 SOS 161732 HAS SOPS 155835 HAS SOUS 69056 HAS SOUPS 68005 WITH SCORE 68166.732
AT ITER 9124 NEW BEST:: SOT 378629 SOS 161692 HAS SOPS 155795 HAS SOUS 69016 HAS SOUPS 67965 WITH SCORE 68126.692
AT ITER 9147 NEW BEST:: SOT 378601 SOS 161618 HAS SOPS 155720 HAS SOUS 68975 HAS SOUPS 67924 WITH SCORE 68085.618
AT ITER 9153 NEW BEST:: SOT 378574 SOS 160616 HAS SOPS 154718 HAS SOUS 68971 HAS SOUPS 67920 WITH SCORE 68080.616
AT ITER 9162 NEW BEST:: SOT 378533 SOS 160575 HAS SOPS 154677 HAS SOUS 68928 HAS SOUPS 67877 WITH SCORE 68037.575
AT ITER 9208 NEW BEST:: SOT 378437 SOS 160416 HAS SOPS 154518 HAS SOUS 68892 HAS SOUPS 67841 WITH SCORE 68001.416
AT ITER 9224 NEW BEST:: SOT 378430 SOS 160409 HAS SOPS 154511 HAS SOUS 68878 HAS SOUPS 67827 WITH SCORE 67987.409
AT ITER 9249 NEW BEST:: SOT 378412 SOS 160391 HAS SOPS 154493 HAS SOUS 68842 HAS SOUPS 67791 WITH SCORE 67951.391
AT ITER 9263 NEW BEST:: SOT 378396 SOS 160859 HAS SOPS 154961 HAS SOUS 68826 HAS SOUPS 67775 WITH SCORE 67935.859
AT ITER 9280 NEW BEST:: SOT 378302 SOS 160765 HAS SOPS 154867 HAS SOUS 68752 HAS SOUPS 67701 WITH SCORE 67861.765
AT ITER 9303 NEW BEST:: SOT 378302 SOS 160746 HAS SOPS 154848 HAS SOUS 68749 HAS SOUPS 67698 WITH SCORE 67858.746
AT ITER 9316 NEW BEST:: SOT 378311 SOS 160755 HAS SOPS 154857 HAS SOUS 68741 HAS SOUPS 67690 WITH SCORE 67850.755
AT ITER 9317 NEW BEST:: SOT 378311 SOS 164173 HAS SOPS 158275 HAS SOUS 68718 HAS SOUPS 67667 WITH SCORE 67831.173
AT ITER 9360 NEW BEST:: SOT 378311 SOS 164173 HAS SOPS 158275 HAS SOUS 68669 HAS SOUPS 67618 WITH SCORE 67782.173
AT ITER 9366 NEW BEST:: SOT 378245 SOS 164081 HAS SOPS 158183 HAS SOUS 68559 HAS SOUPS 67508 WITH SCORE 67672.081
AT ITER 9405 NEW BEST:: SOT 378234 SOS 164060 HAS SOPS 158162 HAS SOUS 68537 HAS SOUPS 67486 WITH SCORE 67650.06
AT ITER 9489 NEW BEST:: SOT 378210 SOS 164028 HAS SOPS 158130 HAS SOUS 68537 HAS SOUPS 67486 WITH SCORE 67650.028
AT ITER 9498 NEW BEST:: SOT 378209 SOS 164027 HAS SOPS 158129 HAS SOUS 68535 HAS SOUPS 67484 WITH SCORE 67648.027
AT ITER 9535 NEW BEST:: SOT 378220 SOS 163369 HAS SOPS 157682 HAS SOUS 68462 HAS SOUPS 67446 WITH SCORE 67609.369
AT ITER 9540 NEW BEST:: SOT 378236 SOS 163331 HAS SOPS 157644 HAS SOUS 68408 HAS SOUPS 67392 WITH SCORE 67555.331
AT ITER 9562 NEW BEST:: SOT 378198 SOS 163293 HAS SOPS 157606 HAS SOUS 68370 HAS SOUPS 67354 WITH SCORE 67517.293
AT ITER 9566 NEW BEST:: SOT 378151 SOS 163267 HAS SOPS 157559 HAS SOUS 68323 HAS SOUPS 67307 WITH SCORE 67470.267
AT ITER 9596 NEW BEST:: SOT 378254 SOS 163185 HAS SOPS 157477 HAS SOUS 68148 HAS SOUPS 67132 WITH SCORE 67295.185
AT ITER 9616 NEW BEST:: SOT 378261 SOS 163185 HAS SOPS 157477 HAS SOUS 68141 HAS SOUPS 67125 WITH SCORE 67288.185
AT ITER 9651 NEW BEST:: SOT 378267 SOS 163178 HAS SOPS 157470 HAS SOUS 68119 HAS SOUPS 67103 WITH SCORE 67266.178
AT ITER 9653 NEW BEST:: SOT 378254 SOS 163281 HAS SOPS 157573 HAS SOUS 68106 HAS SOUPS 67090 WITH SCORE 67253.281
AT ITER 9743 NEW BEST:: SOT 378175 SOS 163157 HAS SOPS 157465 HAS SOUS 67985 HAS SOUPS 66969 WITH SCORE 67132.157
AT ITER 9744 NEW BEST:: SOT 378159 SOS 163141 HAS SOPS 157449 HAS SOUS 67955 HAS SOUPS 66939 WITH SCORE 67102.141
AT ITER 9757 NEW BEST:: SOT 378134 SOS 163116 HAS SOPS 157424 HAS SOUS 67923 HAS SOUPS 66907 WITH SCORE 67070.116
AT ITER 9762 NEW BEST:: SOT 378125 SOS 163107 HAS SOPS 157415 HAS SOUS 67905 HAS SOUPS 66889 WITH SCORE 67052.107
AT ITER 9767 NEW BEST:: SOT 378111 SOS 163093 HAS SOPS 157401 HAS SOUS 67877 HAS SOUPS 66861 WITH SCORE 67024.093
AT ITER 9794 NEW BEST:: SOT 378108 SOS 163090 HAS SOPS 157352 HAS SOUS 67842 HAS SOUPS 66820 WITH SCORE 66983.09
AT ITER 9828 NEW BEST:: SOT 378117 SOS 163069 HAS SOPS 157331 HAS SOUS 67830 HAS SOUPS 66808 WITH SCORE 66971.069
AT ITER 9839 NEW BEST:: SOT 378176 SOS 163029 HAS SOPS 157215 HAS SOUS 67790 HAS SOUPS 66768 WITH SCORE 66931.029
AT ITER 9870 NEW BEST:: SOT 378174 SOS 163036 HAS SOPS 157222 HAS SOUS 67789 HAS SOUPS 66767 WITH SCORE 66930.036
AT ITER 9970 NEW BEST:: SOT 378089 SOS 162951 HAS SOPS 157137 HAS SOUS 67718 HAS SOUPS 66696 WITH SCORE 66858.951
AT ITER 9977 NEW BEST:: SOT 378081 SOS 162943 HAS SOPS 157129 HAS SOUS 67702 HAS SOUPS 66680 WITH SCORE 66842.943
AT ITER 9994 NEW BEST:: SOT 378056 SOS 162737 HAS SOPS 156923 HAS SOUS 67678 HAS SOUPS 66656 WITH SCORE 66818.737
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10182956 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16148920 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-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 r291-tall-167873943000504"
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 ;