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-167856409900064.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 HypertorusGrid-PT-d4k3p2b08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856409900064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 8.9K Feb 26 11:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 11:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 11:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 11:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 12:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 12:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 12:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 12:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 2.8M 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 1678602430114

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=HypertorusGrid-PT-d4k3p2b08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d4k3p2b08
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: 2025 places, 5184 transitions, 20736 arcs.
AT ITER 0 NEW BEST:: SOT 6318764 SOS 2283860 HAS SOPS 2283860 HAS SOUS 951985 HAS SOUPS 951985 WITH SCORE 954268.86
AT ITER 6 NEW BEST:: SOT 6318588 SOS 2282452 HAS SOPS 2282452 HAS SOUS 951633 HAS SOUPS 951633 WITH SCORE 953915.452
AT ITER 7 NEW BEST:: SOT 6317902 SOS 2281766 HAS SOPS 2281766 HAS SOUS 950947 HAS SOUPS 950947 WITH SCORE 953228.766
AT ITER 15 NEW BEST:: SOT 6317814 SOS 2281062 HAS SOPS 2281062 HAS SOUS 950771 HAS SOUPS 950771 WITH SCORE 953052.062
AT ITER 17 NEW BEST:: SOT 6317565 SOS 2279070 HAS SOPS 2279070 HAS SOUS 950273 HAS SOUPS 950273 WITH SCORE 952552.07
AT ITER 23 NEW BEST:: SOT 6317403 SOS 2278908 HAS SOPS 2278908 HAS SOUS 950111 HAS SOUPS 950111 WITH SCORE 952389.908
AT ITER 44 NEW BEST:: SOT 6317238 SOS 2278578 HAS SOPS 2278578 HAS SOUS 949781 HAS SOUPS 949781 WITH SCORE 952059.578
AT ITER 59 NEW BEST:: SOT 6317238 SOS 2277266 HAS SOPS 2277266 HAS SOUS 949453 HAS SOUPS 949453 WITH SCORE 951730.266
AT ITER 64 NEW BEST:: SOT 6317229 SOS 2277257 HAS SOPS 2277257 HAS SOUS 949453 HAS SOUPS 949453 WITH SCORE 951730.257
AT ITER 66 NEW BEST:: SOT 6316773 SOS 2276801 HAS SOPS 2276801 HAS SOUS 948997 HAS SOUPS 948997 WITH SCORE 951273.801
AT ITER 78 NEW BEST:: SOT 6315226 SOS 2275033 HAS SOPS 2275033 HAS SOUS 947031 HAS SOUPS 947031 WITH SCORE 949306.033
AT ITER 87 NEW BEST:: SOT 6315118 SOS 2274061 HAS SOPS 2274061 HAS SOUS 946707 HAS SOUPS 946707 WITH SCORE 948981.061
AT ITER 90 NEW BEST:: SOT 6313501 SOS 2272213 HAS SOPS 2272213 HAS SOUS 944866 HAS SOUPS 944866 WITH SCORE 947138.213
AT ITER 91 NEW BEST:: SOT 6313501 SOS 2272074 HAS SOPS 2272074 HAS SOUS 944529 HAS SOUPS 944529 WITH SCORE 946801.074
AT ITER 106 NEW BEST:: SOT 6313501 SOS 2272074 HAS SOPS 2272074 HAS SOUS 944520 HAS SOUPS 944520 WITH SCORE 946792.074
AT ITER 107 NEW BEST:: SOT 6313501 SOS 2271838 HAS SOPS 2271838 HAS SOUS 944284 HAS SOUPS 944284 WITH SCORE 946555.838
AT ITER 118 NEW BEST:: SOT 6313239 SOS 2269480 HAS SOPS 2269480 HAS SOUS 943498 HAS SOUPS 943498 WITH SCORE 945767.48
AT ITER 129 NEW BEST:: SOT 6313049 SOS 2267960 HAS SOPS 2267960 HAS SOUS 943118 HAS SOUPS 943118 WITH SCORE 945385.96
AT ITER 141 NEW BEST:: SOT 6313409 SOS 2268680 HAS SOPS 2268680 HAS SOUS 942740 HAS SOUPS 942740 WITH SCORE 945008.68
AT ITER 147 NEW BEST:: SOT 6313168 SOS 2266752 HAS SOPS 2266752 HAS SOUS 942258 HAS SOUPS 942258 WITH SCORE 944524.752
AT ITER 169 NEW BEST:: SOT 6313086 SOS 2266588 HAS SOPS 2266588 HAS SOUS 942094 HAS SOUPS 942094 WITH SCORE 944360.588
AT ITER 173 NEW BEST:: SOT 6313086 SOS 2264733 HAS SOPS 2264733 HAS SOUS 941829 HAS SOUPS 941829 WITH SCORE 944093.733
AT ITER 175 NEW BEST:: SOT 6313086 SOS 2264733 HAS SOPS 2264733 HAS SOUS 941349 HAS SOUPS 941349 WITH SCORE 943613.733
AT ITER 176 NEW BEST:: SOT 6312978 SOS 2263705 HAS SOPS 2263705 HAS SOUS 940969 HAS SOUPS 940969 WITH SCORE 943232.705
AT ITER 179 NEW BEST:: SOT 6312672 SOS 2263399 HAS SOPS 2263399 HAS SOUS 940663 HAS SOUPS 940663 WITH SCORE 942926.399
AT ITER 180 NEW BEST:: SOT 6312672 SOS 2263295 HAS SOPS 2263295 HAS SOUS 940637 HAS SOUPS 940637 WITH SCORE 942900.295
AT ITER 188 NEW BEST:: SOT 6312367 SOS 2263049 HAS SOPS 2263049 HAS SOUS 940636 HAS SOUPS 940636 WITH SCORE 942899.049
AT ITER 191 NEW BEST:: SOT 6311879 SOS 2262622 HAS SOPS 2262622 HAS SOUS 940281 HAS SOUPS 940281 WITH SCORE 942543.622
AT ITER 195 NEW BEST:: SOT 6311879 SOS 2262622 HAS SOPS 2262622 HAS SOUS 940232 HAS SOUPS 940232 WITH SCORE 942494.622
AT ITER 200 NEW BEST:: SOT 6311711 SOS 2261677 HAS SOPS 2261677 HAS SOUS 939809 HAS SOUPS 939809 WITH SCORE 942070.677
AT ITER 204 NEW BEST:: SOT 6309945 SOS 2258595 HAS SOPS 2258595 HAS SOUS 937855 HAS SOUPS 937855 WITH SCORE 940113.595
AT ITER 213 NEW BEST:: SOT 6309331 SOS 2258030 HAS SOPS 2258030 HAS SOUS 937465 HAS SOUPS 937465 WITH SCORE 939723.03
AT ITER 229 NEW BEST:: SOT 6309331 SOS 2258030 HAS SOPS 2258030 HAS SOUS 937317 HAS SOUPS 937317 WITH SCORE 939575.03
AT ITER 230 NEW BEST:: SOT 6309331 SOS 2257454 HAS SOPS 2257454 HAS SOUS 937173 HAS SOUPS 937173 WITH SCORE 939430.454
AT ITER 239 NEW BEST:: SOT 6309477 SOS 2257600 HAS SOPS 2257600 HAS SOUS 937131 HAS SOUPS 937131 WITH SCORE 939388.6
AT ITER 247 NEW BEST:: SOT 6309326 SOS 2257298 HAS SOPS 2257298 HAS SOUS 936331 HAS SOUPS 936331 WITH SCORE 938588.298
AT ITER 252 NEW BEST:: SOT 6309326 SOS 2257139 HAS SOPS 2257139 HAS SOUS 935552 HAS SOUPS 935552 WITH SCORE 937809.139
AT ITER 278 NEW BEST:: SOT 6309326 SOS 2255019 HAS SOPS 2255019 HAS SOUS 935022 HAS SOUPS 935022 WITH SCORE 937277.019
AT ITER 285 NEW BEST:: SOT 6308409 SOS 2252357 HAS SOPS 2252357 HAS SOUS 934166 HAS SOUPS 934166 WITH SCORE 936418.357
AT ITER 293 NEW BEST:: SOT 6308409 SOS 2251101 HAS SOPS 2251101 HAS SOUS 933852 HAS SOUPS 933852 WITH SCORE 936103.101
AT ITER 302 NEW BEST:: SOT 6308409 SOS 2251101 HAS SOPS 2251101 HAS SOUS 933684 HAS SOUPS 933684 WITH SCORE 935935.101
AT ITER 311 NEW BEST:: SOT 6308386 SOS 2251078 HAS SOPS 2251078 HAS SOUS 933684 HAS SOUPS 933684 WITH SCORE 935935.078
AT ITER 320 NEW BEST:: SOT 6308386 SOS 2251036 HAS SOPS 2251036 HAS SOUS 933684 HAS SOUPS 933684 WITH SCORE 935935.036
AT ITER 348 NEW BEST:: SOT 6308225 SOS 2251242 HAS SOPS 2251242 HAS SOUS 933344 HAS SOUPS 933344 WITH SCORE 935595.242
AT ITER 355 NEW BEST:: SOT 6308313 SOS 2251330 HAS SOPS 2251330 HAS SOUS 933156 HAS SOUPS 933156 WITH SCORE 935407.33
AT ITER 362 NEW BEST:: SOT 6308125 SOS 2249638 HAS SOPS 2249638 HAS SOUS 932592 HAS SOUPS 932592 WITH SCORE 934841.638
AT ITER 368 NEW BEST:: SOT 6307166 SOS 2247772 HAS SOPS 2247772 HAS SOUS 932472 HAS SOUPS 932472 WITH SCORE 934719.772
AT ITER 378 NEW BEST:: SOT 6307020 SOS 2246458 HAS SOPS 2246458 HAS SOUS 932034 HAS SOUPS 932034 WITH SCORE 934280.458
AT ITER 395 NEW BEST:: SOT 6305130 SOS 2242421 HAS SOPS 2242421 HAS SOUS 929617 HAS SOUPS 929617 WITH SCORE 931859.421
AT ITER 397 NEW BEST:: SOT 6303240 SOS 2238480 HAS SOPS 2238480 HAS SOUS 927374 HAS SOUPS 927374 WITH SCORE 929612.48
AT ITER 402 NEW BEST:: SOT 6303240 SOS 2238480 HAS SOPS 2238480 HAS SOUS 927189 HAS SOUPS 927189 WITH SCORE 929427.48
AT ITER 406 NEW BEST:: SOT 6303028 SOS 2236784 HAS SOPS 2236784 HAS SOUS 926765 HAS SOUPS 926765 WITH SCORE 929001.784
AT ITER 414 NEW BEST:: SOT 6302237 SOS 2235089 HAS SOPS 2235089 HAS SOUS 925748 HAS SOUPS 925748 WITH SCORE 927983.089
AT ITER 431 NEW BEST:: SOT 6302741 SOS 2236001 HAS SOPS 2236001 HAS SOUS 925244 HAS SOUPS 925244 WITH SCORE 927480.001
AT ITER 445 NEW BEST:: SOT 6302682 SOS 2235529 HAS SOPS 2235529 HAS SOUS 925126 HAS SOUPS 925126 WITH SCORE 927361.529
AT ITER 470 NEW BEST:: SOT 6301814 SOS 2234537 HAS SOPS 2234537 HAS SOUS 924134 HAS SOUPS 924134 WITH SCORE 926368.537
AT ITER 490 NEW BEST:: SOT 6300729 SOS 2233297 HAS SOPS 2233297 HAS SOUS 921964 HAS SOUPS 921964 WITH SCORE 924197.297
AT ITER 492 NEW BEST:: SOT 6300513 SOS 2233081 HAS SOPS 2233081 HAS SOUS 921748 HAS SOUPS 921748 WITH SCORE 923981.081
AT ITER 495 NEW BEST:: SOT 6300431 SOS 2232425 HAS SOPS 2232425 HAS SOUS 921584 HAS SOUPS 921584 WITH SCORE 923816.425
AT ITER 514 NEW BEST:: SOT 6300431 SOS 2232355 HAS SOPS 2232355 HAS SOUS 921514 HAS SOUPS 921514 WITH SCORE 923746.355
AT ITER 517 NEW BEST:: SOT 6300168 SOS 2230485 HAS SOPS 2230485 HAS SOUS 920790 HAS SOUPS 920790 WITH SCORE 923020.485
AT ITER 534 NEW BEST:: SOT 6300661 SOS 2231471 HAS SOPS 2231471 HAS SOUS 920216 HAS SOUPS 920216 WITH SCORE 922447.471
AT ITER 541 NEW BEST:: SOT 6300661 SOS 2230751 HAS SOPS 2230751 HAS SOUS 920036 HAS SOUPS 920036 WITH SCORE 922266.751
AT ITER 556 NEW BEST:: SOT 6300661 SOS 2228839 HAS SOPS 2228839 HAS SOUS 919558 HAS SOUPS 919558 WITH SCORE 921786.839
AT ITER 593 NEW BEST:: SOT 6300271 SOS 2228449 HAS SOPS 2228449 HAS SOUS 919168 HAS SOUPS 919168 WITH SCORE 921396.449
AT ITER 617 NEW BEST:: SOT 6298381 SOS 2226289 HAS SOPS 2226289 HAS SOUS 915202 HAS SOUPS 915202 WITH SCORE 917428.289
AT ITER 620 NEW BEST:: SOT 6297571 SOS 2225479 HAS SOPS 2225479 HAS SOUS 914392 HAS SOUPS 914392 WITH SCORE 916617.479
AT ITER 627 NEW BEST:: SOT 6297571 SOS 2225303 HAS SOPS 2225303 HAS SOUS 914348 HAS SOUPS 914348 WITH SCORE 916573.303
AT ITER 628 NEW BEST:: SOT 6297571 SOS 2225303 HAS SOPS 2225303 HAS SOUS 914319 HAS SOUPS 914319 WITH SCORE 916544.303
AT ITER 631 NEW BEST:: SOT 6297459 SOS 2223707 HAS SOPS 2223707 HAS SOUS 914305 HAS SOUPS 914305 WITH SCORE 916528.707
AT ITER 643 NEW BEST:: SOT 6297117 SOS 2223365 HAS SOPS 2223365 HAS SOUS 913963 HAS SOUPS 913963 WITH SCORE 916186.365
AT ITER 650 NEW BEST:: SOT 6297090 SOS 2223122 HAS SOPS 2223122 HAS SOUS 913882 HAS SOUPS 913882 WITH SCORE 916105.122
AT ITER 651 NEW BEST:: SOT 6296922 SOS 2221995 HAS SOPS 2221995 HAS SOUS 913433 HAS SOUPS 913433 WITH SCORE 915654.995
AT ITER 658 NEW BEST:: SOT 6296901 SOS 2220438 HAS SOPS 2220438 HAS SOUS 913190 HAS SOUPS 913190 WITH SCORE 915410.438
AT ITER 671 NEW BEST:: SOT 6296901 SOS 2219619 HAS SOPS 2219619 HAS SOUS 913073 HAS SOUPS 913073 WITH SCORE 915292.619
AT ITER 676 NEW BEST:: SOT 6296699 SOS 2218825 HAS SOPS 2218825 HAS SOUS 912861 HAS SOUPS 912861 WITH SCORE 915079.825
AT ITER 688 NEW BEST:: SOT 6296735 SOS 2217259 HAS SOPS 2217259 HAS SOUS 912699 HAS SOUPS 912699 WITH SCORE 914916.259
AT ITER 693 NEW BEST:: SOT 6296435 SOS 2216959 HAS SOPS 2216959 HAS SOUS 912399 HAS SOUPS 912399 WITH SCORE 914615.959
AT ITER 695 NEW BEST:: SOT 6296627 SOS 2217343 HAS SOPS 2217343 HAS SOUS 911865 HAS SOUPS 911865 WITH SCORE 914082.343
AT ITER 696 NEW BEST:: SOT 6296627 SOS 2216247 HAS SOPS 2216247 HAS SOUS 911591 HAS SOUPS 911591 WITH SCORE 913807.247
AT ITER 698 NEW BEST:: SOT 6296532 SOS 2215487 HAS SOPS 2215487 HAS SOUS 911401 HAS SOUPS 911401 WITH SCORE 913616.487
AT ITER 714 NEW BEST:: SOT 6296484 SOS 2215103 HAS SOPS 2215103 HAS SOUS 911305 HAS SOUPS 911305 WITH SCORE 913520.103
AT ITER 728 NEW BEST:: SOT 6295567 SOS 2213269 HAS SOPS 2213269 HAS SOUS 910257 HAS SOUPS 910257 WITH SCORE 912470.269
AT ITER 732 NEW BEST:: SOT 6296158 SOS 2214451 HAS SOPS 2214451 HAS SOUS 910143 HAS SOUPS 910143 WITH SCORE 912357.451
AT ITER 742 NEW BEST:: SOT 6295206 SOS 2212411 HAS SOPS 2212411 HAS SOUS 908919 HAS SOUPS 908919 WITH SCORE 911131.411
AT ITER 750 NEW BEST:: SOT 6295201 SOS 2212785 HAS SOPS 2212785 HAS SOUS 908693 HAS SOUPS 908693 WITH SCORE 910905.785
AT ITER 759 NEW BEST:: SOT 6295137 SOS 2212721 HAS SOPS 2212721 HAS SOUS 908629 HAS SOUPS 908629 WITH SCORE 910841.721
AT ITER 773 NEW BEST:: SOT 6295042 SOS 2212531 HAS SOPS 2212531 HAS SOUS 908289 HAS SOUPS 908289 WITH SCORE 910501.531
AT ITER 796 NEW BEST:: SOT 6293761 SOS 2209969 HAS SOPS 2209969 HAS SOUS 906825 HAS SOUPS 906825 WITH SCORE 909034.969
AT ITER 843 NEW BEST:: SOT 6292662 SOS 2208713 HAS SOPS 2208713 HAS SOUS 905833 HAS SOUPS 905833 WITH SCORE 908041.713
AT ITER 853 NEW BEST:: SOT 6292662 SOS 2208713 HAS SOPS 2208713 HAS SOUS 905729 HAS SOUPS 905729 WITH SCORE 907937.713
AT ITER 893 NEW BEST:: SOT 6292821 SOS 2208904 HAS SOPS 2208904 HAS SOUS 905550 HAS SOUPS 905550 WITH SCORE 907758.904
AT ITER 906 NEW BEST:: SOT 6291729 SOS 2206564 HAS SOPS 2206564 HAS SOUS 904146 HAS SOUPS 904146 WITH SCORE 906352.564
AT ITER 909 NEW BEST:: SOT 6291729 SOS 2206556 HAS SOPS 2206556 HAS SOUS 904138 HAS SOUPS 904138 WITH SCORE 906344.556
AT ITER 913 NEW BEST:: SOT 6291729 SOS 2206556 HAS SOPS 2206556 HAS SOUS 903688 HAS SOUPS 903688 WITH SCORE 905894.556
AT ITER 924 NEW BEST:: SOT 6291479 SOS 2206056 HAS SOPS 2206056 HAS SOUS 902758 HAS SOUPS 902758 WITH SCORE 904964.056
AT ITER 928 NEW BEST:: SOT 6289722 SOS 2202291 HAS SOPS 2202291 HAS SOUS 900499 HAS SOUPS 900499 WITH SCORE 902701.291
AT ITER 956 NEW BEST:: SOT 6289722 SOS 2202291 HAS SOPS 2202291 HAS SOUS 900464 HAS SOUPS 900464 WITH SCORE 902666.291
AT ITER 970 NEW BEST:: SOT 6289621 SOS 2202190 HAS SOPS 2202190 HAS SOUS 900363 HAS SOUPS 900363 WITH SCORE 902565.19
AT ITER 998 NEW BEST:: SOT 6287990 SOS 2198928 HAS SOPS 2198928 HAS SOUS 898499 HAS SOUPS 898499 WITH SCORE 900697.928
AT ITER 1000 NEW BEST:: SOT 6288028 SOS 2198966 HAS SOPS 2198966 HAS SOUS 898423 HAS SOUPS 898423 WITH SCORE 900621.966
AT ITER 1001 NEW BEST:: SOT 6288028 SOS 2198810 HAS SOPS 2198810 HAS SOUS 897423 HAS SOUPS 897423 WITH SCORE 899621.81
AT ITER 1011 NEW BEST:: SOT 6287698 SOS 2198480 HAS SOPS 2198480 HAS SOUS 897093 HAS SOUPS 897093 WITH SCORE 899291.48
AT ITER 1014 NEW BEST:: SOT 6287390 SOS 2197820 HAS SOPS 2197820 HAS SOUS 896697 HAS SOUPS 896697 WITH SCORE 898894.82
AT ITER 1024 NEW BEST:: SOT 6287352 SOS 2197782 HAS SOPS 2197782 HAS SOUS 896697 HAS SOUPS 896697 WITH SCORE 898894.782
AT ITER 1030 NEW BEST:: SOT 6287352 SOS 2198034 HAS SOPS 2198034 HAS SOUS 896577 HAS SOUPS 896577 WITH SCORE 898775.034
AT ITER 1061 NEW BEST:: SOT 6287352 SOS 2198559 HAS SOPS 2198559 HAS SOUS 896127 HAS SOUPS 896127 WITH SCORE 898325.559
AT ITER 1078 NEW BEST:: SOT 6287352 SOS 2197951 HAS SOPS 2197951 HAS SOUS 895975 HAS SOUPS 895975 WITH SCORE 898172.951
AT ITER 1097 NEW BEST:: SOT 6286260 SOS 2195539 HAS SOPS 2195539 HAS SOUS 894727 HAS SOUPS 894727 WITH SCORE 896922.539
AT ITER 1103 NEW BEST:: SOT 6286260 SOS 2194747 HAS SOPS 2194747 HAS SOUS 894529 HAS SOUPS 894529 WITH SCORE 896723.747
AT ITER 1130 NEW BEST:: SOT 6286108 SOS 2193531 HAS SOPS 2193531 HAS SOUS 894225 HAS SOUPS 894225 WITH SCORE 896418.531
AT ITER 1156 NEW BEST:: SOT 6286050 SOS 2193009 HAS SOPS 2193009 HAS SOUS 894051 HAS SOUPS 894051 WITH SCORE 896244.009
AT ITER 1175 NEW BEST:: SOT 6286050 SOS 2191273 HAS SOPS 2191273 HAS SOUS 893803 HAS SOUPS 893803 WITH SCORE 895994.273
AT ITER 1191 NEW BEST:: SOT 6285864 SOS 2191087 HAS SOPS 2191087 HAS SOUS 893803 HAS SOUPS 893803 WITH SCORE 895994.087
AT ITER 1202 NEW BEST:: SOT 6285864 SOS 2190972 HAS SOPS 2190972 HAS SOUS 893162 HAS SOUPS 893162 WITH SCORE 895352.972
AT ITER 1206 NEW BEST:: SOT 6285864 SOS 2190972 HAS SOPS 2190972 HAS SOUS 893130 HAS SOUPS 893130 WITH SCORE 895320.972
AT ITER 1231 NEW BEST:: SOT 6285864 SOS 2190939 HAS SOPS 2190939 HAS SOUS 892971 HAS SOUPS 892971 WITH SCORE 895161.939
AT ITER 1238 NEW BEST:: SOT 6285770 SOS 2190845 HAS SOPS 2190845 HAS SOUS 892933 HAS SOUPS 892933 WITH SCORE 895123.845
AT ITER 1258 NEW BEST:: SOT 6285770 SOS 2191145 HAS SOPS 2191145 HAS SOUS 892789 HAS SOUPS 892789 WITH SCORE 894980.145
AT ITER 1291 NEW BEST:: SOT 6285540 SOS 2189305 HAS SOPS 2189305 HAS SOUS 892329 HAS SOUPS 892329 WITH SCORE 894518.305
AT ITER 1307 NEW BEST:: SOT 6283800 SOS 2185825 HAS SOPS 2185825 HAS SOUS 891369 HAS SOUPS 891369 WITH SCORE 893554.825
AT ITER 1326 NEW BEST:: SOT 6283644 SOS 2186110 HAS SOPS 2186110 HAS SOUS 891276 HAS SOUPS 891276 WITH SCORE 893462.11
AT ITER 1341 NEW BEST:: SOT 6282594 SOS 2183545 HAS SOPS 2183545 HAS SOUS 890182 HAS SOUPS 890182 WITH SCORE 892365.545
AT ITER 1352 NEW BEST:: SOT 6282594 SOS 2183513 HAS SOPS 2183513 HAS SOUS 890174 HAS SOUPS 890174 WITH SCORE 892357.513
AT ITER 1365 NEW BEST:: SOT 6282594 SOS 2183376 HAS SOPS 2183376 HAS SOUS 890037 HAS SOUPS 890037 WITH SCORE 892220.376
AT ITER 1378 NEW BEST:: SOT 6281803 SOS 2182472 HAS SOPS 2182472 HAS SOUS 889598 HAS SOUPS 889598 WITH SCORE 891780.472
AT ITER 1386 NEW BEST:: SOT 6281803 SOS 2182560 HAS SOPS 2182560 HAS SOUS 889584 HAS SOUPS 889584 WITH SCORE 891766.56
AT ITER 1388 NEW BEST:: SOT 6281772 SOS 2182529 HAS SOPS 2182529 HAS SOUS 889584 HAS SOUPS 889584 WITH SCORE 891766.529
AT ITER 1392 NEW BEST:: SOT 6281604 SOS 2181542 HAS SOPS 2181542 HAS SOUS 889155 HAS SOUPS 889155 WITH SCORE 891336.542
AT ITER 1397 NEW BEST:: SOT 6282265 SOS 2182864 HAS SOPS 2182864 HAS SOUS 888717 HAS SOUPS 888717 WITH SCORE 890899.864
AT ITER 1423 NEW BEST:: SOT 6282104 SOS 2182703 HAS SOPS 2182703 HAS SOUS 888556 HAS SOUPS 888556 WITH SCORE 890738.703
AT ITER 1432 NEW BEST:: SOT 6282083 SOS 2182682 HAS SOPS 2182682 HAS SOUS 888556 HAS SOUPS 888556 WITH SCORE 890738.682
AT ITER 1439 NEW BEST:: SOT 6281813 SOS 2180399 HAS SOPS 2180399 HAS SOUS 887767 HAS SOUPS 887767 WITH SCORE 889947.399
AT ITER 1456 NEW BEST:: SOT 6281813 SOS 2180616 HAS SOPS 2180616 HAS SOUS 887585 HAS SOUPS 887585 WITH SCORE 889765.616
AT ITER 1458 NEW BEST:: SOT 6281813 SOS 2180616 HAS SOPS 2180616 HAS SOUS 887495 HAS SOUPS 887495 WITH SCORE 889675.616
AT ITER 1460 NEW BEST:: SOT 6281787 SOS 2180590 HAS SOPS 2180590 HAS SOUS 887443 HAS SOUPS 887443 WITH SCORE 889623.59
AT ITER 1469 NEW BEST:: SOT 6281787 SOS 2180590 HAS SOPS 2180590 HAS SOUS 887383 HAS SOUPS 887383 WITH SCORE 889563.59
AT ITER 1508 NEW BEST:: SOT 6281871 SOS 2180602 HAS SOPS 2180602 HAS SOUS 887039 HAS SOUPS 887039 WITH SCORE 889219.602
AT ITER 1527 NEW BEST:: SOT 6281129 SOS 2179860 HAS SOPS 2179860 HAS SOUS 886297 HAS SOUPS 886297 WITH SCORE 888476.86
AT ITER 1531 NEW BEST:: SOT 6279512 SOS 2176395 HAS SOPS 2176395 HAS SOUS 884218 HAS SOUPS 884218 WITH SCORE 886394.395
AT ITER 1534 NEW BEST:: SOT 6279385 SOS 2176172 HAS SOPS 2176172 HAS SOUS 884067 HAS SOUPS 884067 WITH SCORE 886243.172
AT ITER 1536 NEW BEST:: SOT 6279385 SOS 2176158 HAS SOPS 2176158 HAS SOUS 884053 HAS SOUPS 884053 WITH SCORE 886229.158
AT ITER 1542 NEW BEST:: SOT 6279206 SOS 2175379 HAS SOPS 2175379 HAS SOUS 883724 HAS SOUPS 883724 WITH SCORE 885899.379
AT ITER 1545 NEW BEST:: SOT 6279308 SOS 2174312 HAS SOPS 2174312 HAS SOUS 883665 HAS SOUPS 883665 WITH SCORE 885839.312
AT ITER 1558 NEW BEST:: SOT 6279181 SOS 2173296 HAS SOPS 2173296 HAS SOUS 883411 HAS SOUPS 883411 WITH SCORE 885584.296
AT ITER 1569 NEW BEST:: SOT 6278474 SOS 2171805 HAS SOPS 2171805 HAS SOUS 882592 HAS SOUPS 882592 WITH SCORE 884763.805
AT ITER 1579 NEW BEST:: SOT 6278474 SOS 2172333 HAS SOPS 2172333 HAS SOUS 882064 HAS SOUPS 882064 WITH SCORE 884236.333
AT ITER 1580 NEW BEST:: SOT 6276584 SOS 2168297 HAS SOPS 2168297 HAS SOUS 879746 HAS SOUPS 879746 WITH SCORE 881914.297
AT ITER 1629 NEW BEST:: SOT 6276584 SOS 2168176 HAS SOPS 2168176 HAS SOUS 879625 HAS SOUPS 879625 WITH SCORE 881793.176
AT ITER 1635 NEW BEST:: SOT 6276584 SOS 2168267 HAS SOPS 2168267 HAS SOUS 879547 HAS SOUPS 879547 WITH SCORE 881715.267
AT ITER 1639 NEW BEST:: SOT 6276314 SOS 2166110 HAS SOPS 2166110 HAS SOUS 878776 HAS SOUPS 878776 WITH SCORE 880942.11
AT ITER 1682 NEW BEST:: SOT 6276158 SOS 2164862 HAS SOPS 2164862 HAS SOUS 878464 HAS SOUPS 878464 WITH SCORE 880628.862
AT ITER 1690 NEW BEST:: SOT 6275983 SOS 2164662 HAS SOPS 2164662 HAS SOUS 878132 HAS SOUPS 878132 WITH SCORE 880296.662
AT ITER 1698 NEW BEST:: SOT 6275778 SOS 2162817 HAS SOPS 2162817 HAS SOUS 877517 HAS SOUPS 877517 WITH SCORE 879679.817
AT ITER 1731 NEW BEST:: SOT 6275778 SOS 2162817 HAS SOPS 2162817 HAS SOUS 877504 HAS SOUPS 877504 WITH SCORE 879666.817
AT ITER 1751 NEW BEST:: SOT 6275756 SOS 2162795 HAS SOPS 2162795 HAS SOUS 877482 HAS SOUPS 877482 WITH SCORE 879644.795
AT ITER 1780 NEW BEST:: SOT 6275486 SOS 2163708 HAS SOPS 2163708 HAS SOUS 877381 HAS SOUPS 877381 WITH SCORE 879544.708
AT ITER 1785 NEW BEST:: SOT 6275477 SOS 2163699 HAS SOPS 2163699 HAS SOUS 877372 HAS SOUPS 877372 WITH SCORE 879535.699
AT ITER 1796 NEW BEST:: SOT 6275431 SOS 2163607 HAS SOPS 2163607 HAS SOUS 877280 HAS SOUPS 877280 WITH SCORE 879443.607
AT ITER 1800 NEW BEST:: SOT 6275316 SOS 2163180 HAS SOPS 2163180 HAS SOUS 877087 HAS SOUPS 877087 WITH SCORE 879250.18
AT ITER 1813 NEW BEST:: SOT 6275196 SOS 2162540 HAS SOPS 2162540 HAS SOUS 876837 HAS SOUPS 876837 WITH SCORE 878999.54
AT ITER 1881 NEW BEST:: SOT 6273306 SOS 2158056 HAS SOPS 2158056 HAS SOUS 874779 HAS SOUPS 874779 WITH SCORE 876937.056
AT ITER 1891 NEW BEST:: SOT 6273269 SOS 2158117 HAS SOPS 2158117 HAS SOUS 874756 HAS SOUPS 874756 WITH SCORE 876914.117
AT ITER 1904 NEW BEST:: SOT 6273269 SOS 2158117 HAS SOPS 2158117 HAS SOUS 874369 HAS SOUPS 874369 WITH SCORE 876527.117
AT ITER 1907 NEW BEST:: SOT 6273157 SOS 2157221 HAS SOPS 2157221 HAS SOUS 874145 HAS SOUPS 874145 WITH SCORE 876302.221
AT ITER 1913 NEW BEST:: SOT 6273147 SOS 2157211 HAS SOPS 2157211 HAS SOUS 874145 HAS SOUPS 874145 WITH SCORE 876302.211
AT ITER 1925 NEW BEST:: SOT 6273081 SOS 2157145 HAS SOPS 2157145 HAS SOUS 874079 HAS SOUPS 874079 WITH SCORE 876236.145
AT ITER 1927 NEW BEST:: SOT 6272811 SOS 2154653 HAS SOPS 2154653 HAS SOUS 873207 HAS SOUPS 873207 WITH SCORE 875361.653
AT ITER 1944 NEW BEST:: SOT 6272716 SOS 2153798 HAS SOPS 2153798 HAS SOUS 872922 HAS SOUPS 872922 WITH SCORE 875075.798
AT ITER 1947 NEW BEST:: SOT 6272716 SOS 2153550 HAS SOPS 2153550 HAS SOUS 872860 HAS SOUPS 872860 WITH SCORE 875013.55
AT ITER 1949 NEW BEST:: SOT 6272716 SOS 2152550 HAS SOPS 2152550 HAS SOUS 872610 HAS SOUPS 872610 WITH SCORE 874762.55
AT ITER 1972 NEW BEST:: SOT 6272716 SOS 2152550 HAS SOPS 2152550 HAS SOUS 872315 HAS SOUPS 872315 WITH SCORE 874467.55
AT ITER 1988 NEW BEST:: SOT 6273746 SOS 2154460 HAS SOPS 2154460 HAS SOUS 872014 HAS SOUPS 872014 WITH SCORE 874168.46
AT ITER 1990 NEW BEST:: SOT 6272549 SOS 2152066 HAS SOPS 2152066 HAS SOUS 870646 HAS SOUPS 870646 WITH SCORE 872798.066
AT ITER 1992 NEW BEST:: SOT 6271751 SOS 2150073 HAS SOPS 2150073 HAS SOUS 869589 HAS SOUPS 869589 WITH SCORE 871739.073
AT ITER 2002 NEW BEST:: SOT 6271487 SOS 2149809 HAS SOPS 2149809 HAS SOUS 869325 HAS SOUPS 869325 WITH SCORE 871474.809
AT ITER 2049 NEW BEST:: SOT 6271487 SOS 2149750 HAS SOPS 2149750 HAS SOUS 869266 HAS SOUPS 869266 WITH SCORE 871415.75
AT ITER 2056 NEW BEST:: SOT 6271487 SOS 2149678 HAS SOPS 2149678 HAS SOUS 869248 HAS SOUPS 869248 WITH SCORE 871397.678
AT ITER 2071 NEW BEST:: SOT 6271516 SOS 2148847 HAS SOPS 2148847 HAS SOUS 869179 HAS SOUPS 869179 WITH SCORE 871327.847
AT ITER 2093 NEW BEST:: SOT 6271324 SOS 2147255 HAS SOPS 2147255 HAS SOUS 868637 HAS SOUPS 868637 WITH SCORE 870784.255
AT ITER 2101 NEW BEST:: SOT 6271193 SOS 2146076 HAS SOPS 2146076 HAS SOUS 868244 HAS SOUPS 868244 WITH SCORE 870390.076
AT ITER 2131 NEW BEST:: SOT 6270724 SOS 2145607 HAS SOPS 2145607 HAS SOUS 867775 HAS SOUPS 867775 WITH SCORE 869920.607
AT ITER 2135 NEW BEST:: SOT 6270724 SOS 2145575 HAS SOPS 2145575 HAS SOUS 867767 HAS SOUPS 867767 WITH SCORE 869912.575
AT ITER 2141 NEW BEST:: SOT 6269282 SOS 2144133 HAS SOPS 2144133 HAS SOUS 866325 HAS SOUPS 866325 WITH SCORE 868469.133
AT ITER 2155 NEW BEST:: SOT 6269188 SOS 2143381 HAS SOPS 2143381 HAS SOUS 866137 HAS SOUPS 866137 WITH SCORE 868280.381
AT ITER 2184 NEW BEST:: SOT 6269042 SOS 2142213 HAS SOPS 2142213 HAS SOUS 865845 HAS SOUPS 865845 WITH SCORE 867987.213
AT ITER 2193 NEW BEST:: SOT 6269168 SOS 2141408 HAS SOPS 2141408 HAS SOUS 865838 HAS SOUPS 865838 WITH SCORE 867979.408
AT ITER 2203 NEW BEST:: SOT 6268685 SOS 2140856 HAS SOPS 2140856 HAS SOUS 865286 HAS SOUPS 865286 WITH SCORE 867426.856
AT ITER 2219 NEW BEST:: SOT 6268685 SOS 2141168 HAS SOPS 2141168 HAS SOUS 864934 HAS SOUPS 864934 WITH SCORE 867075.168
AT ITER 2257 NEW BEST:: SOT 6268685 SOS 2141168 HAS SOPS 2141168 HAS SOUS 864912 HAS SOUPS 864912 WITH SCORE 867053.168
AT ITER 2282 NEW BEST:: SOT 6268466 SOS 2139197 HAS SOPS 2139197 HAS SOUS 864255 HAS SOUPS 864255 WITH SCORE 866394.197
AT ITER 2294 NEW BEST:: SOT 6266856 SOS 2135747 HAS SOPS 2135747 HAS SOUS 862185 HAS SOUPS 862185 WITH SCORE 864320.747
AT ITER 2298 NEW BEST:: SOT 6266856 SOS 2135629 HAS SOPS 2135629 HAS SOUS 861755 HAS SOUPS 861755 WITH SCORE 863890.629
AT ITER 2315 NEW BEST:: SOT 6266796 SOS 2135089 HAS SOPS 2135089 HAS SOUS 861575 HAS SOUPS 861575 WITH SCORE 863710.089
AT ITER 2319 NEW BEST:: SOT 6266640 SOS 2133853 HAS SOPS 2133853 HAS SOUS 861131 HAS SOUPS 861131 WITH SCORE 863264.853
AT ITER 2328 NEW BEST:: SOT 6265849 SOS 2132158 HAS SOPS 2132158 HAS SOUS 860114 HAS SOUPS 860114 WITH SCORE 862246.158
AT ITER 2331 NEW BEST:: SOT 6265849 SOS 2132071 HAS SOPS 2132071 HAS SOUS 860027 HAS SOUPS 860027 WITH SCORE 862159.071
AT ITER 2336 NEW BEST:: SOT 6265849 SOS 2131287 HAS SOPS 2131287 HAS SOUS 859831 HAS SOUPS 859831 WITH SCORE 861962.287
AT ITER 2352 NEW BEST:: SOT 6265839 SOS 2131277 HAS SOPS 2131277 HAS SOUS 859821 HAS SOUPS 859821 WITH SCORE 861952.277
AT ITER 2379 NEW BEST:: SOT 6266231 SOS 2131725 HAS SOPS 2131725 HAS SOUS 859287 HAS SOUPS 859287 WITH SCORE 861418.725
AT ITER 2434 NEW BEST:: SOT 6267498 SOS 2134344 HAS SOPS 2134344 HAS SOUS 859179 HAS SOUPS 859179 WITH SCORE 861313.344
AT ITER 2465 NEW BEST:: SOT 6266770 SOS 2133512 HAS SOPS 2133512 HAS SOUS 857829 HAS SOUPS 857829 WITH SCORE 859962.512
AT ITER 2479 NEW BEST:: SOT 6266770 SOS 2132456 HAS SOPS 2132456 HAS SOUS 857565 HAS SOUPS 857565 WITH SCORE 859697.456
AT ITER 2486 NEW BEST:: SOT 6266770 SOS 2132456 HAS SOPS 2132456 HAS SOUS 857552 HAS SOUPS 857552 WITH SCORE 859684.456
AT ITER 2488 NEW BEST:: SOT 6266770 SOS 2132647 HAS SOPS 2132647 HAS SOUS 857389 HAS SOUPS 857389 WITH SCORE 859521.647
AT ITER 2522 NEW BEST:: SOT 6264941 SOS 2128715 HAS SOPS 2128715 HAS SOUS 855419 HAS SOUPS 855419 WITH SCORE 857547.715
AT ITER 2532 NEW BEST:: SOT 6264819 SOS 2128471 HAS SOPS 2128471 HAS SOUS 854627 HAS SOUPS 854627 WITH SCORE 856755.471
AT ITER 2586 NEW BEST:: SOT 6264154 SOS 2127141 HAS SOPS 2127141 HAS SOUS 853867 HAS SOUPS 853867 WITH SCORE 855994.141
AT ITER 2664 NEW BEST:: SOT 6263888 SOS 2126045 HAS SOPS 2126045 HAS SOUS 853731 HAS SOUPS 853731 WITH SCORE 855857.045
AT ITER 2668 NEW BEST:: SOT 6263888 SOS 2125445 HAS SOPS 2125445 HAS SOUS 853581 HAS SOUPS 853581 WITH SCORE 855706.445
AT ITER 2674 NEW BEST:: SOT 6264015 SOS 2125572 HAS SOPS 2125572 HAS SOUS 853469 HAS SOUPS 853469 WITH SCORE 855594.572
AT ITER 2683 NEW BEST:: SOT 6264015 SOS 2125436 HAS SOPS 2125436 HAS SOUS 853435 HAS SOUPS 853435 WITH SCORE 855560.436
AT ITER 2684 NEW BEST:: SOT 6263440 SOS 2124769 HAS SOPS 2124769 HAS SOUS 852234 HAS SOUPS 852234 WITH SCORE 854358.769
AT ITER 2696 NEW BEST:: SOT 6263283 SOS 2124612 HAS SOPS 2124612 HAS SOUS 852234 HAS SOUPS 852234 WITH SCORE 854358.612
AT ITER 2704 NEW BEST:: SOT 6262926 SOS 2123847 HAS SOPS 2123847 HAS SOUS 851775 HAS SOUPS 851775 WITH SCORE 853898.847
AT ITER 2714 NEW BEST:: SOT 6261036 SOS 2119223 HAS SOPS 2119223 HAS SOUS 849837 HAS SOUPS 849837 WITH SCORE 851956.223
AT ITER 2728 NEW BEST:: SOT 6261096 SOS 2119443 HAS SOPS 2119443 HAS SOUS 849810 HAS SOUPS 849810 WITH SCORE 851929.443
AT ITER 2750 NEW BEST:: SOT 6260516 SOS 2117519 HAS SOPS 2117519 HAS SOUS 848894 HAS SOUPS 848894 WITH SCORE 851011.519
AT ITER 2759 NEW BEST:: SOT 6259340 SOS 2115026 HAS SOPS 2115026 HAS SOUS 847409 HAS SOUPS 847409 WITH SCORE 849524.026
AT ITER 2761 NEW BEST:: SOT 6259100 SOS 2114786 HAS SOPS 2114786 HAS SOUS 847169 HAS SOUPS 847169 WITH SCORE 849283.786
AT ITER 2796 NEW BEST:: SOT 6258988 SOS 2113134 HAS SOPS 2113134 HAS SOUS 847159 HAS SOUPS 847159 WITH SCORE 849272.134
AT ITER 2807 NEW BEST:: SOT 6258911 SOS 2113057 HAS SOPS 2113057 HAS SOUS 847159 HAS SOUPS 847159 WITH SCORE 849272.057
AT ITER 2810 NEW BEST:: SOT 6258911 SOS 2112751 HAS SOPS 2112751 HAS SOUS 847159 HAS SOUPS 847159 WITH SCORE 849271.751
AT ITER 2822 NEW BEST:: SOT 6258911 SOS 2113404 HAS SOPS 2113404 HAS SOUS 847158 HAS SOUPS 847158 WITH SCORE 849271.404
AT ITER 2835 NEW BEST:: SOT 6258829 SOS 2112748 HAS SOPS 2112748 HAS SOUS 846969 HAS SOUPS 846969 WITH SCORE 849081.748
AT ITER 2843 NEW BEST:: SOT 6258829 SOS 2112748 HAS SOPS 2112748 HAS SOUS 846801 HAS SOUPS 846801 WITH SCORE 848913.748
AT ITER 2854 NEW BEST:: SOT 6258204 SOS 2112024 HAS SOPS 2112024 HAS SOUS 846077 HAS SOUPS 846077 WITH SCORE 848189.024
AT ITER 2855 NEW BEST:: SOT 6257742 SOS 2109623 HAS SOPS 2109623 HAS SOUS 845524 HAS SOUPS 845524 WITH SCORE 847633.623
AT ITER 2860 NEW BEST:: SOT 6257742 SOS 2109503 HAS SOPS 2109503 HAS SOUS 845494 HAS SOUPS 845494 WITH SCORE 847603.503
AT ITER 2862 NEW BEST:: SOT 6257742 SOS 2109391 HAS SOPS 2109391 HAS SOUS 845466 HAS SOUPS 845466 WITH SCORE 847575.391
AT ITER 2869 NEW BEST:: SOT 6258307 SOS 2110152 HAS SOPS 2110152 HAS SOUS 844876 HAS SOUPS 844876 WITH SCORE 846986.152
AT ITER 2872 NEW BEST:: SOT 6258299 SOS 2110088 HAS SOPS 2110088 HAS SOUS 844860 HAS SOUPS 844860 WITH SCORE 846970.088
AT ITER 2883 NEW BEST:: SOT 6258092 SOS 2109674 HAS SOPS 2109674 HAS SOUS 843342 HAS SOUPS 843342 WITH SCORE 845451.674
AT ITER 2928 NEW BEST:: SOT 6257949 SOS 2108530 HAS SOPS 2108530 HAS SOUS 843056 HAS SOUPS 843056 WITH SCORE 845164.53
AT ITER 2936 NEW BEST:: SOT 6257949 SOS 2107562 HAS SOPS 2107562 HAS SOUS 842814 HAS SOUPS 842814 WITH SCORE 844921.562
AT ITER 2976 NEW BEST:: SOT 6257949 SOS 2107370 HAS SOPS 2107370 HAS SOUS 842766 HAS SOUPS 842766 WITH SCORE 844873.37
AT ITER 3000 NEW BEST:: SOT 6256091 SOS 2103654 HAS SOPS 2103654 HAS SOUS 840862 HAS SOUPS 840862 WITH SCORE 842965.654
AT ITER 3001 NEW BEST:: SOT 6254224 SOS 2099290 HAS SOPS 2099290 HAS SOUS 839578 HAS SOUPS 839578 WITH SCORE 841677.29
AT ITER 3006 NEW BEST:: SOT 6254448 SOS 2099420 HAS SOPS 2099420 HAS SOUS 839540 HAS SOUPS 839540 WITH SCORE 841639.42
AT ITER 3038 NEW BEST:: SOT 6254448 SOS 2099350 HAS SOPS 2099350 HAS SOUS 839470 HAS SOUPS 839470 WITH SCORE 841569.35
AT ITER 3061 NEW BEST:: SOT 6254370 SOS 2099272 HAS SOPS 2099272 HAS SOUS 839392 HAS SOUPS 839392 WITH SCORE 841491.272
AT ITER 3072 NEW BEST:: SOT 6254277 SOS 2099068 HAS SOPS 2099068 HAS SOUS 839188 HAS SOUPS 839188 WITH SCORE 841287.068
AT ITER 3073 NEW BEST:: SOT 6254277 SOS 2098236 HAS SOPS 2098236 HAS SOUS 838980 HAS SOUPS 838980 WITH SCORE 841078.236
AT ITER 3081 NEW BEST:: SOT 6254277 SOS 2098148 HAS SOPS 2098148 HAS SOUS 838958 HAS SOUPS 838958 WITH SCORE 841056.148
AT ITER 3087 NEW BEST:: SOT 6254256 SOS 2098127 HAS SOPS 2098127 HAS SOUS 838937 HAS SOUPS 838937 WITH SCORE 841035.127
AT ITER 3096 NEW BEST:: SOT 6254256 SOS 2098967 HAS SOPS 2098967 HAS SOUS 838245 HAS SOUPS 838245 WITH SCORE 840343.967
AT ITER 3098 NEW BEST:: SOT 6254101 SOS 2097496 HAS SOPS 2097496 HAS SOUS 838219 HAS SOUPS 838219 WITH SCORE 840316.496
AT ITER 3099 NEW BEST:: SOT 6254076 SOS 2097271 HAS SOPS 2097271 HAS SOUS 838144 HAS SOUPS 838144 WITH SCORE 840241.271
AT ITER 3100 NEW BEST:: SOT 6254076 SOS 2097162 HAS SOPS 2097162 HAS SOUS 838035 HAS SOUPS 838035 WITH SCORE 840132.162
AT ITER 3111 NEW BEST:: SOT 6254012 SOS 2097098 HAS SOPS 2097098 HAS SOUS 837971 HAS SOUPS 837971 WITH SCORE 840068.098
AT ITER 3120 NEW BEST:: SOT 6253710 SOS 2096869 HAS SOPS 2096869 HAS SOUS 837971 HAS SOUPS 837971 WITH SCORE 840067.869
AT ITER 3127 NEW BEST:: SOT 6253629 SOS 2096913 HAS SOPS 2096913 HAS SOUS 837853 HAS SOUPS 837853 WITH SCORE 839949.913
AT ITER 3161 NEW BEST:: SOT 6253608 SOS 2097075 HAS SOPS 2097075 HAS SOUS 837481 HAS SOUPS 837481 WITH SCORE 839578.075
AT ITER 3175 NEW BEST:: SOT 6253514 SOS 2096981 HAS SOPS 2096981 HAS SOUS 837481 HAS SOUPS 837481 WITH SCORE 839577.981
AT ITER 3181 NEW BEST:: SOT 6253514 SOS 2097044 HAS SOPS 2097044 HAS SOUS 837432 HAS SOUPS 837432 WITH SCORE 839529.044
AT ITER 3186 NEW BEST:: SOT 6253422 SOS 2097223 HAS SOPS 2097223 HAS SOUS 837209 HAS SOUPS 837209 WITH SCORE 839306.223
AT ITER 3187 NEW BEST:: SOT 6252848 SOS 2095993 HAS SOPS 2095993 HAS SOUS 836471 HAS SOUPS 836471 WITH SCORE 838566.993
AT ITER 3191 NEW BEST:: SOT 6252808 SOS 2095953 HAS SOPS 2095953 HAS SOUS 836431 HAS SOUPS 836431 WITH SCORE 838526.953
AT ITER 3230 NEW BEST:: SOT 6252896 SOS 2096129 HAS SOPS 2096129 HAS SOUS 836323 HAS SOUPS 836323 WITH SCORE 838419.129
AT ITER 3238 NEW BEST:: SOT 6251984 SOS 2095217 HAS SOPS 2095217 HAS SOUS 835411 HAS SOUPS 835411 WITH SCORE 837506.217
AT ITER 3250 NEW BEST:: SOT 6251704 SOS 2094657 HAS SOPS 2094657 HAS SOUS 835091 HAS SOUPS 835091 WITH SCORE 837185.657
AT ITER 3260 NEW BEST:: SOT 6251585 SOS 2094521 HAS SOPS 2094521 HAS SOUS 834955 HAS SOUPS 834955 WITH SCORE 837049.521
AT ITER 3263 NEW BEST:: SOT 6250626 SOS 2092270 HAS SOPS 2092270 HAS SOUS 834076 HAS SOUPS 834076 WITH SCORE 836168.27
AT ITER 3277 NEW BEST:: SOT 6250562 SOS 2092934 HAS SOPS 2092934 HAS SOUS 832899 HAS SOUPS 832899 WITH SCORE 834991.934
AT ITER 3289 NEW BEST:: SOT 6250435 SOS 2091918 HAS SOPS 2091918 HAS SOUS 832645 HAS SOUPS 832645 WITH SCORE 834736.918
AT ITER 3299 NEW BEST:: SOT 6248587 SOS 2089806 HAS SOPS 2089806 HAS SOUS 830533 HAS SOUPS 830533 WITH SCORE 832622.806
AT ITER 3303 NEW BEST:: SOT 6248496 SOS 2090182 HAS SOPS 2090182 HAS SOUS 829913 HAS SOUPS 829913 WITH SCORE 832003.182
AT ITER 3305 NEW BEST:: SOT 6248496 SOS 2090182 HAS SOPS 2090182 HAS SOUS 829763 HAS SOUPS 829763 WITH SCORE 831853.182
AT ITER 3331 NEW BEST:: SOT 6248496 SOS 2090006 HAS SOPS 2090006 HAS SOUS 829719 HAS SOUPS 829719 WITH SCORE 831809.006
AT ITER 3348 NEW BEST:: SOT 6248446 SOS 2089956 HAS SOPS 2089956 HAS SOUS 829719 HAS SOUPS 829719 WITH SCORE 831808.956
AT ITER 3353 NEW BEST:: SOT 6248446 SOS 2088924 HAS SOPS 2088924 HAS SOUS 829461 HAS SOUPS 829461 WITH SCORE 831549.924
AT ITER 3362 NEW BEST:: SOT 6248082 SOS 2087962 HAS SOPS 2087962 HAS SOUS 829149 HAS SOUPS 829149 WITH SCORE 831236.962
AT ITER 3378 NEW BEST:: SOT 6248055 SOS 2087935 HAS SOPS 2087935 HAS SOUS 829122 HAS SOUPS 829122 WITH SCORE 831209.935
AT ITER 3379 NEW BEST:: SOT 6248006 SOS 2087886 HAS SOPS 2087886 HAS SOUS 829073 HAS SOUPS 829073 WITH SCORE 831160.886
AT ITER 3400 NEW BEST:: SOT 6248006 SOS 2087886 HAS SOPS 2087886 HAS SOUS 829068 HAS SOUPS 829068 WITH SCORE 831155.886
AT ITER 3406 NEW BEST:: SOT 6248006 SOS 2087886 HAS SOPS 2087886 HAS SOUS 828738 HAS SOUPS 828738 WITH SCORE 830825.886
AT ITER 3458 NEW BEST:: SOT 6247733 SOS 2087340 HAS SOPS 2087340 HAS SOUS 828426 HAS SOUPS 828426 WITH SCORE 830513.34
AT ITER 3473 NEW BEST:: SOT 6247733 SOS 2087340 HAS SOPS 2087340 HAS SOUS 828401 HAS SOUPS 828401 WITH SCORE 830488.34
AT ITER 3487 NEW BEST:: SOT 6247390 SOS 2086997 HAS SOPS 2086997 HAS SOUS 828058 HAS SOUPS 828058 WITH SCORE 830144.997
AT ITER 3510 NEW BEST:: SOT 6247308 SOS 2086259 HAS SOPS 2086259 HAS SOUS 827812 HAS SOUPS 827812 WITH SCORE 829898.259
AT ITER 3525 NEW BEST:: SOT 6247323 SOS 2086274 HAS SOPS 2086274 HAS SOUS 827782 HAS SOUPS 827782 WITH SCORE 829868.274
AT ITER 3570 NEW BEST:: SOT 6247323 SOS 2086146 HAS SOPS 2086146 HAS SOUS 827750 HAS SOUPS 827750 WITH SCORE 829836.146
AT ITER 3590 NEW BEST:: SOT 6247323 SOS 2086146 HAS SOPS 2086146 HAS SOUS 827542 HAS SOUPS 827542 WITH SCORE 829628.146
AT ITER 3627 NEW BEST:: SOT 6247280 SOS 2086103 HAS SOPS 2086103 HAS SOUS 827499 HAS SOUPS 827499 WITH SCORE 829585.103
AT ITER 3633 NEW BEST:: SOT 6247280 SOS 2085924 HAS SOPS 2085924 HAS SOUS 827320 HAS SOUPS 827320 WITH SCORE 829405.924
AT ITER 3637 NEW BEST:: SOT 6247211 SOS 2085855 HAS SOPS 2085855 HAS SOUS 827320 HAS SOUPS 827320 WITH SCORE 829405.855
AT ITER 3639 NEW BEST:: SOT 6246737 SOS 2085381 HAS SOPS 2085381 HAS SOUS 826846 HAS SOUPS 826846 WITH SCORE 828931.381
AT ITER 3645 NEW BEST:: SOT 6246737 SOS 2085381 HAS SOPS 2085381 HAS SOUS 826678 HAS SOUPS 826678 WITH SCORE 828763.381
AT ITER 3691 NEW BEST:: SOT 6246737 SOS 2084693 HAS SOPS 2084693 HAS SOUS 826506 HAS SOUPS 826506 WITH SCORE 828590.693
AT ITER 3695 NEW BEST:: SOT 6246713 SOS 2084501 HAS SOPS 2084501 HAS SOUS 826458 HAS SOUPS 826458 WITH SCORE 828542.501
AT ITER 3707 NEW BEST:: SOT 6246713 SOS 2085012 HAS SOPS 2085012 HAS SOUS 826105 HAS SOUPS 826105 WITH SCORE 828190.012
AT ITER 3717 NEW BEST:: SOT 6246599 SOS 2084898 HAS SOPS 2084898 HAS SOUS 825991 HAS SOUPS 825991 WITH SCORE 828075.898
AT ITER 3725 NEW BEST:: SOT 6246488 SOS 2084790 HAS SOPS 2084790 HAS SOUS 825883 HAS SOUPS 825883 WITH SCORE 827967.79
AT ITER 3740 NEW BEST:: SOT 6246450 SOS 2084714 HAS SOPS 2084714 HAS SOUS 825579 HAS SOUPS 825579 WITH SCORE 827663.714
AT ITER 3742 NEW BEST:: SOT 6246256 SOS 2083328 HAS SOPS 2083328 HAS SOUS 825087 HAS SOUPS 825087 WITH SCORE 827170.328
AT ITER 3745 NEW BEST:: SOT 6246311 SOS 2083383 HAS SOPS 2083383 HAS SOUS 825002 HAS SOUPS 825002 WITH SCORE 827085.383
AT ITER 3755 NEW BEST:: SOT 6246281 SOS 2083353 HAS SOPS 2083353 HAS SOUS 824972 HAS SOUPS 824972 WITH SCORE 827055.353
AT ITER 3776 NEW BEST:: SOT 6245518 SOS 2081827 HAS SOPS 2081827 HAS SOUS 824100 HAS SOUPS 824100 WITH SCORE 826181.827
AT ITER 3788 NEW BEST:: SOT 6245910 SOS 2082275 HAS SOPS 2082275 HAS SOUS 822765 HAS SOUPS 822765 WITH SCORE 824847.275
AT ITER 3795 NEW BEST:: SOT 6245686 SOS 2081795 HAS SOPS 2081795 HAS SOUS 822477 HAS SOUPS 822477 WITH SCORE 824558.795
AT ITER 3796 NEW BEST:: SOT 6245663 SOS 2081611 HAS SOPS 2081611 HAS SOUS 822431 HAS SOUPS 822431 WITH SCORE 824512.611
AT ITER 3797 NEW BEST:: SOT 6245663 SOS 2082027 HAS SOPS 2082027 HAS SOUS 821859 HAS SOUPS 821859 WITH SCORE 823941.027
AT ITER 3825 NEW BEST:: SOT 6245222 SOS 2081523 HAS SOPS 2081523 HAS SOUS 821355 HAS SOUPS 821355 WITH SCORE 823436.523
AT ITER 3834 NEW BEST:: SOT 6245086 SOS 2081059 HAS SOPS 2081059 HAS SOUS 821137 HAS SOUPS 821137 WITH SCORE 823218.059
AT ITER 3842 NEW BEST:: SOT 6245086 SOS 2081059 HAS SOPS 2081059 HAS SOUS 821031 HAS SOUPS 821031 WITH SCORE 823112.059
AT ITER 3845 NEW BEST:: SOT 6245086 SOS 2081059 HAS SOPS 2081059 HAS SOUS 820690 HAS SOUPS 820690 WITH SCORE 822771.059
AT ITER 3846 NEW BEST:: SOT 6244020 SOS 2078927 HAS SOPS 2078927 HAS SOUS 819650 HAS SOUPS 819650 WITH SCORE 821728.927
AT ITER 3855 NEW BEST:: SOT 6243979 SOS 2078845 HAS SOPS 2078845 HAS SOUS 819568 HAS SOUPS 819568 WITH SCORE 821646.845
AT ITER 3870 NEW BEST:: SOT 6243444 SOS 2078371 HAS SOPS 2078371 HAS SOUS 819521 HAS SOUPS 819521 WITH SCORE 821599.371
AT ITER 3938 NEW BEST:: SOT 6243430 SOS 2078259 HAS SOPS 2078259 HAS SOUS 819493 HAS SOUPS 819493 WITH SCORE 821571.259
AT ITER 3951 NEW BEST:: SOT 6243274 SOS 2078103 HAS SOPS 2078103 HAS SOUS 819034 HAS SOUPS 819034 WITH SCORE 821112.103
AT ITER 3991 NEW BEST:: SOT 6242524 SOS 2076291 HAS SOPS 2076291 HAS SOUS 819016 HAS SOUPS 819016 WITH SCORE 821092.291
AT ITER 4004 NEW BEST:: SOT 6241964 SOS 2075651 HAS SOPS 2075651 HAS SOUS 817734 HAS SOUPS 817734 WITH SCORE 819809.651
AT ITER 4006 NEW BEST:: SOT 6241964 SOS 2075651 HAS SOPS 2075651 HAS SOUS 817656 HAS SOUPS 817656 WITH SCORE 819731.651
AT ITER 4017 NEW BEST:: SOT 6242967 SOS 2077438 HAS SOPS 2077438 HAS SOUS 817110 HAS SOUPS 817110 WITH SCORE 819187.438
AT ITER 4021 NEW BEST:: SOT 6242899 SOS 2077370 HAS SOPS 2077370 HAS SOUS 816942 HAS SOUPS 816942 WITH SCORE 819019.37
AT ITER 4024 NEW BEST:: SOT 6242724 SOS 2077170 HAS SOPS 2077170 HAS SOUS 816592 HAS SOUPS 816592 WITH SCORE 818669.17
AT ITER 4037 NEW BEST:: SOT 6242724 SOS 2076917 HAS SOPS 2076917 HAS SOUS 815781 HAS SOUPS 815781 WITH SCORE 817857.917
AT ITER 4049 NEW BEST:: SOT 6242556 SOS 2075923 HAS SOPS 2075923 HAS SOUS 815351 HAS SOUPS 815351 WITH SCORE 817426.923
AT ITER 4089 NEW BEST:: SOT 6242556 SOS 2075283 HAS SOPS 2075283 HAS SOUS 815191 HAS SOUPS 815191 WITH SCORE 817266.283
AT ITER 4164 NEW BEST:: SOT 6241234 SOS 2072645 HAS SOPS 2072645 HAS SOUS 813681 HAS SOUPS 813681 WITH SCORE 815753.645
AT ITER 4165 NEW BEST:: SOT 6241198 SOS 2072275 HAS SOPS 2072275 HAS SOUS 813527 HAS SOUPS 813527 WITH SCORE 815599.275
AT ITER 4207 NEW BEST:: SOT 6240085 SOS 2069912 HAS SOPS 2069912 HAS SOUS 812786 HAS SOUPS 812786 WITH SCORE 814855.912
AT ITER 4215 NEW BEST:: SOT 6240085 SOS 2069912 HAS SOPS 2069912 HAS SOUS 812773 HAS SOUPS 812773 WITH SCORE 814842.912
AT ITER 4236 NEW BEST:: SOT 6240004 SOS 2069831 HAS SOPS 2069831 HAS SOUS 812692 HAS SOUPS 812692 WITH SCORE 814761.831
AT ITER 4242 NEW BEST:: SOT 6239644 SOS 2068273 HAS SOPS 2068273 HAS SOUS 812640 HAS SOUPS 812640 WITH SCORE 814708.273
AT ITER 4269 NEW BEST:: SOT 6239532 SOS 2068049 HAS SOPS 2068049 HAS SOUS 812512 HAS SOUPS 812512 WITH SCORE 814580.049
AT ITER 4332 NEW BEST:: SOT 6238993 SOS 2067541 HAS SOPS 2067541 HAS SOUS 812064 HAS SOUPS 812064 WITH SCORE 814131.541
AT ITER 4337 NEW BEST:: SOT 6238852 SOS 2066272 HAS SOPS 2066272 HAS SOUS 811641 HAS SOUPS 811641 WITH SCORE 813707.272
AT ITER 4340 NEW BEST:: SOT 6238852 SOS 2066269 HAS SOPS 2066269 HAS SOUS 811638 HAS SOUPS 811638 WITH SCORE 813704.269
AT ITER 4357 NEW BEST:: SOT 6238863 SOS 2064478 HAS SOPS 2064478 HAS SOUS 811401 HAS SOUPS 811401 WITH SCORE 813465.478
AT ITER 4386 NEW BEST:: SOT 6238863 SOS 2064452 HAS SOPS 2064452 HAS SOUS 811375 HAS SOUPS 811375 WITH SCORE 813439.452
AT ITER 4391 NEW BEST:: SOT 6238662 SOS 2064251 HAS SOPS 2064251 HAS SOUS 811174 HAS SOUPS 811174 WITH SCORE 813238.251
AT ITER 4400 NEW BEST:: SOT 6238662 SOS 2064251 HAS SOPS 2064251 HAS SOUS 810900 HAS SOUPS 810900 WITH SCORE 812964.251
AT ITER 4407 NEW BEST:: SOT 6238560 SOS 2063435 HAS SOPS 2063435 HAS SOUS 810696 HAS SOUPS 810696 WITH SCORE 812759.435
AT ITER 4459 NEW BEST:: SOT 6238560 SOS 2062459 HAS SOPS 2062459 HAS SOUS 810452 HAS SOUPS 810452 WITH SCORE 812514.459
AT ITER 4469 NEW BEST:: SOT 6239057 SOS 2064798 HAS SOPS 2064798 HAS SOUS 810427 HAS SOUPS 810427 WITH SCORE 812491.798
AT ITER 4490 NEW BEST:: SOT 6238943 SOS 2064684 HAS SOPS 2064684 HAS SOUS 810313 HAS SOUPS 810313 WITH SCORE 812377.684
AT ITER 4523 NEW BEST:: SOT 6238909 SOS 2064650 HAS SOPS 2064650 HAS SOUS 810279 HAS SOUPS 810279 WITH SCORE 812343.65
AT ITER 4531 NEW BEST:: SOT 6237733 SOS 2063526 HAS SOPS 2063526 HAS SOUS 809519 HAS SOUPS 809519 WITH SCORE 811582.526
AT ITER 4544 NEW BEST:: SOT 6237733 SOS 2063526 HAS SOPS 2063526 HAS SOUS 809491 HAS SOUPS 809491 WITH SCORE 811554.526
AT ITER 4553 NEW BEST:: SOT 6237733 SOS 2063526 HAS SOPS 2063526 HAS SOUS 809419 HAS SOUPS 809419 WITH SCORE 811482.526
AT ITER 4572 NEW BEST:: SOT 6237727 SOS 2063478 HAS SOPS 2063478 HAS SOUS 809407 HAS SOUPS 809407 WITH SCORE 811470.478
AT ITER 4581 NEW BEST:: SOT 6239143 SOS 2065685 HAS SOPS 2065685 HAS SOUS 809288 HAS SOUPS 809288 WITH SCORE 811353.685
AT ITER 4615 NEW BEST:: SOT 6239143 SOS 2065685 HAS SOPS 2065685 HAS SOUS 809168 HAS SOUPS 809168 WITH SCORE 811233.685
AT ITER 4687 NEW BEST:: SOT 6238716 SOS 2064842 HAS SOPS 2064842 HAS SOUS 808637 HAS SOUPS 808637 WITH SCORE 810701.842
AT ITER 4700 NEW BEST:: SOT 6238716 SOS 2064783 HAS SOPS 2064783 HAS SOUS 808184 HAS SOUPS 808184 WITH SCORE 810248.783
AT ITER 4701 NEW BEST:: SOT 6238568 SOS 2063911 HAS SOPS 2063911 HAS SOUS 808120 HAS SOUPS 808120 WITH SCORE 810183.911
AT ITER 4702 NEW BEST:: SOT 6238568 SOS 2064079 HAS SOPS 2064079 HAS SOUS 807976 HAS SOUPS 807976 WITH SCORE 810040.079
AT ITER 4709 NEW BEST:: SOT 6238477 SOS 2063975 HAS SOPS 2063975 HAS SOUS 807898 HAS SOUPS 807898 WITH SCORE 809961.975
AT ITER 4721 NEW BEST:: SOT 6238304 SOS 2063802 HAS SOPS 2063802 HAS SOUS 807725 HAS SOUPS 807725 WITH SCORE 809788.802
AT ITER 4735 NEW BEST:: SOT 6238304 SOS 2063722 HAS SOPS 2063722 HAS SOUS 807705 HAS SOUPS 807705 WITH SCORE 809768.722
AT ITER 4746 NEW BEST:: SOT 6238124 SOS 2063542 HAS SOPS 2063542 HAS SOUS 807525 HAS SOUPS 807525 WITH SCORE 809588.542
AT ITER 4748 NEW BEST:: SOT 6238076 SOS 2063494 HAS SOPS 2063494 HAS SOUS 807477 HAS SOUPS 807477 WITH SCORE 809540.494
AT ITER 4783 NEW BEST:: SOT 6238076 SOS 2062318 HAS SOPS 2062318 HAS SOUS 807183 HAS SOUPS 807183 WITH SCORE 809245.318
AT ITER 4785 NEW BEST:: SOT 6238024 SOS 2062214 HAS SOPS 2062214 HAS SOUS 807079 HAS SOUPS 807079 WITH SCORE 809141.214
AT ITER 4799 NEW BEST:: SOT 6238129 SOS 2062334 HAS SOPS 2062334 HAS SOUS 806137 HAS SOUPS 806137 WITH SCORE 808199.334
AT ITER 4814 NEW BEST:: SOT 6237471 SOS 2061582 HAS SOPS 2061582 HAS SOUS 805385 HAS SOUPS 805385 WITH SCORE 807446.582
AT ITER 4815 NEW BEST:: SOT 6237471 SOS 2060750 HAS SOPS 2060750 HAS SOUS 805177 HAS SOUPS 805177 WITH SCORE 807237.75
AT ITER 4860 NEW BEST:: SOT 6237582 SOS 2060861 HAS SOPS 2060861 HAS SOUS 805085 HAS SOUPS 805085 WITH SCORE 807145.861
AT ITER 4877 NEW BEST:: SOT 6237582 SOS 2061722 HAS SOPS 2061722 HAS SOUS 804950 HAS SOUPS 804950 WITH SCORE 807011.722
AT ITER 4894 NEW BEST:: SOT 6237925 SOS 2062084 HAS SOPS 2062084 HAS SOUS 804412 HAS SOUPS 804412 WITH SCORE 806474.084
AT ITER 4914 NEW BEST:: SOT 6237925 SOS 2062378 HAS SOPS 2062378 HAS SOUS 804376 HAS SOUPS 804376 WITH SCORE 806438.378
AT ITER 4917 NEW BEST:: SOT 6237753 SOS 2062034 HAS SOPS 2062034 HAS SOUS 803292 HAS SOUPS 803292 WITH SCORE 805354.034
AT ITER 4919 NEW BEST:: SOT 6237015 SOS 2061296 HAS SOPS 2061296 HAS SOUS 802554 HAS SOUPS 802554 WITH SCORE 804615.296
AT ITER 4920 NEW BEST:: SOT 6237015 SOS 2061296 HAS SOPS 2061296 HAS SOUS 802536 HAS SOUPS 802536 WITH SCORE 804597.296
AT ITER 4931 NEW BEST:: SOT 6237015 SOS 2061296 HAS SOPS 2061296 HAS SOUS 802524 HAS SOUPS 802524 WITH SCORE 804585.296
AT ITER 4936 NEW BEST:: SOT 6237015 SOS 2062208 HAS SOPS 2062208 HAS SOUS 801460 HAS SOUPS 801460 WITH SCORE 803522.208
AT ITER 4937 NEW BEST:: SOT 6237015 SOS 2061032 HAS SOPS 2061032 HAS SOUS 801166 HAS SOUPS 801166 WITH SCORE 803227.032
AT ITER 4943 NEW BEST:: SOT 6237015 SOS 2061032 HAS SOPS 2061032 HAS SOUS 801004 HAS SOUPS 801004 WITH SCORE 803065.032
AT ITER 4946 NEW BEST:: SOT 6236941 SOS 2060366 HAS SOPS 2060366 HAS SOUS 800782 HAS SOUPS 800782 WITH SCORE 802842.366
AT ITER 5011 NEW BEST:: SOT 6236941 SOS 2059422 HAS SOPS 2059422 HAS SOUS 800546 HAS SOUPS 800546 WITH SCORE 802605.422
AT ITER 5031 NEW BEST:: SOT 6236941 SOS 2059350 HAS SOPS 2059350 HAS SOUS 800528 HAS SOUPS 800528 WITH SCORE 802587.35
AT ITER 5059 NEW BEST:: SOT 6236941 SOS 2059506 HAS SOPS 2059506 HAS SOUS 800372 HAS SOUPS 800372 WITH SCORE 802431.506
AT ITER 5077 NEW BEST:: SOT 6237207 SOS 2061441 HAS SOPS 2061441 HAS SOUS 800363 HAS SOUPS 800363 WITH SCORE 802424.441
AT ITER 5088 NEW BEST:: SOT 6237370 SOS 2061827 HAS SOPS 2061827 HAS SOUS 799389 HAS SOUPS 799389 WITH SCORE 801450.827
AT ITER 5089 NEW BEST:: SOT 6237370 SOS 2061780 HAS SOPS 2061780 HAS SOUS 799342 HAS SOUPS 799342 WITH SCORE 801403.78
AT ITER 5091 NEW BEST:: SOT 6237356 SOS 2061635 HAS SOPS 2061635 HAS SOUS 799041 HAS SOUPS 799041 WITH SCORE 801102.635
AT ITER 5102 NEW BEST:: SOT 6237281 SOS 2060771 HAS SOPS 2060771 HAS SOUS 798627 HAS SOUPS 798627 WITH SCORE 800687.771
AT ITER 5123 NEW BEST:: SOT 6236519 SOS 2060009 HAS SOPS 2060009 HAS SOUS 797865 HAS SOUPS 797865 WITH SCORE 799925.009
AT ITER 5130 NEW BEST:: SOT 6236429 SOS 2059919 HAS SOPS 2059919 HAS SOUS 797775 HAS SOUPS 797775 WITH SCORE 799834.919
AT ITER 5171 NEW BEST:: SOT 6236429 SOS 2059919 HAS SOPS 2059919 HAS SOUS 797765 HAS SOUPS 797765 WITH SCORE 799824.919
AT ITER 5178 NEW BEST:: SOT 6236388 SOS 2059878 HAS SOPS 2059878 HAS SOUS 797765 HAS SOUPS 797765 WITH SCORE 799824.878
AT ITER 5180 NEW BEST:: SOT 6236388 SOS 2059878 HAS SOPS 2059878 HAS SOUS 797729 HAS SOUPS 797729 WITH SCORE 799788.878
AT ITER 5184 NEW BEST:: SOT 6236248 SOS 2058758 HAS SOPS 2058758 HAS SOUS 797449 HAS SOUPS 797449 WITH SCORE 799507.758
AT ITER 5211 NEW BEST:: SOT 6236028 SOS 2056998 HAS SOPS 2056998 HAS SOUS 797009 HAS SOUPS 797009 WITH SCORE 799065.998
AT ITER 5214 NEW BEST:: SOT 6236028 SOS 2056933 HAS SOPS 2056933 HAS SOUS 796554 HAS SOUPS 796554 WITH SCORE 798610.933
AT ITER 5220 NEW BEST:: SOT 6235062 SOS 2055967 HAS SOPS 2055967 HAS SOUS 795588 HAS SOUPS 795588 WITH SCORE 797643.967
AT ITER 5281 NEW BEST:: SOT 6235062 SOS 2055967 HAS SOPS 2055967 HAS SOUS 795582 HAS SOUPS 795582 WITH SCORE 797637.967
AT ITER 5301 NEW BEST:: SOT 6235022 SOS 2055647 HAS SOPS 2055647 HAS SOUS 795502 HAS SOUPS 795502 WITH SCORE 797557.647
AT ITER 5320 NEW BEST:: SOT 6234469 SOS 2055015 HAS SOPS 2055015 HAS SOUS 794624 HAS SOUPS 794624 WITH SCORE 796679.015
AT ITER 5321 NEW BEST:: SOT 6234311 SOS 2055235 HAS SOPS 2055235 HAS SOUS 794520 HAS SOUPS 794520 WITH SCORE 796575.235
AT ITER 5338 NEW BEST:: SOT 6234193 SOS 2053301 HAS SOPS 2053301 HAS SOUS 793948 HAS SOUPS 793948 WITH SCORE 796001.301
AT ITER 5345 NEW BEST:: SOT 6234193 SOS 2053835 HAS SOPS 2053835 HAS SOUS 793414 HAS SOUPS 793414 WITH SCORE 795467.835
AT ITER 5351 NEW BEST:: SOT 6234193 SOS 2053506 HAS SOPS 2053506 HAS SOUS 793367 HAS SOUPS 793367 WITH SCORE 795420.506
AT ITER 5396 NEW BEST:: SOT 6234150 SOS 2053119 HAS SOPS 2053119 HAS SOUS 793238 HAS SOUPS 793238 WITH SCORE 795291.119
AT ITER 5402 NEW BEST:: SOT 6234150 SOS 2052071 HAS SOPS 2052071 HAS SOUS 792976 HAS SOUPS 792976 WITH SCORE 795028.071
AT ITER 5416 NEW BEST:: SOT 6233370 SOS 2051291 HAS SOPS 2051291 HAS SOUS 792196 HAS SOUPS 792196 WITH SCORE 794247.291
AT ITER 5436 NEW BEST:: SOT 6232920 SOS 2050841 HAS SOPS 2050841 HAS SOUS 791746 HAS SOUPS 791746 WITH SCORE 793796.841
AT ITER 5444 NEW BEST:: SOT 6232920 SOS 2050841 HAS SOPS 2050841 HAS SOUS 791654 HAS SOUPS 791654 WITH SCORE 793704.841
AT ITER 5498 NEW BEST:: SOT 6232759 SOS 2050062 HAS SOPS 2050062 HAS SOUS 791385 HAS SOUPS 791385 WITH SCORE 793435.062
AT ITER 5506 NEW BEST:: SOT 6233172 SOS 2050677 HAS SOPS 2050677 HAS SOUS 790974 HAS SOUPS 790974 WITH SCORE 793024.677
AT ITER 5524 NEW BEST:: SOT 6234479 SOS 2053453 HAS SOPS 2053453 HAS SOUS 790878 HAS SOUPS 790878 WITH SCORE 792931.453
AT ITER 5534 NEW BEST:: SOT 6233919 SOS 2052573 HAS SOPS 2052573 HAS SOUS 790238 HAS SOUPS 790238 WITH SCORE 792290.573
AT ITER 5550 NEW BEST:: SOT 6233451 SOS 2052105 HAS SOPS 2052105 HAS SOUS 789770 HAS SOUPS 789770 WITH SCORE 791822.105
AT ITER 5573 NEW BEST:: SOT 6233451 SOS 2052009 HAS SOPS 2052009 HAS SOUS 789770 HAS SOUPS 789770 WITH SCORE 791822.009
AT ITER 5596 NEW BEST:: SOT 6233451 SOS 2052282 HAS SOPS 2052282 HAS SOUS 789551 HAS SOUPS 789551 WITH SCORE 791603.282
AT ITER 5599 NEW BEST:: SOT 6233451 SOS 2051602 HAS SOPS 2051602 HAS SOUS 789381 HAS SOUPS 789381 WITH SCORE 791432.602
AT ITER 5605 NEW BEST:: SOT 6233498 SOS 2052356 HAS SOPS 2052356 HAS SOUS 788737 HAS SOUPS 788737 WITH SCORE 790789.356
AT ITER 5614 NEW BEST:: SOT 6234012 SOS 2053054 HAS SOPS 2053054 HAS SOUS 788251 HAS SOUPS 788251 WITH SCORE 790304.054
AT ITER 5646 NEW BEST:: SOT 6232836 SOS 2051072 HAS SOPS 2051072 HAS SOUS 787447 HAS SOUPS 787447 WITH SCORE 789498.072
AT ITER 5672 NEW BEST:: SOT 6232942 SOS 2051293 HAS SOPS 2051293 HAS SOUS 786838 HAS SOUPS 786838 WITH SCORE 788889.293
AT ITER 5695 NEW BEST:: SOT 6232942 SOS 2051575 HAS SOPS 2051575 HAS SOUS 786509 HAS SOUPS 786509 WITH SCORE 788560.575
AT ITER 5701 NEW BEST:: SOT 6232942 SOS 2050623 HAS SOPS 2050623 HAS SOUS 786373 HAS SOUPS 786373 WITH SCORE 788423.623
AT ITER 5706 NEW BEST:: SOT 6232914 SOS 2050595 HAS SOPS 2050595 HAS SOUS 786345 HAS SOUPS 786345 WITH SCORE 788395.595
AT ITER 5710 NEW BEST:: SOT 6232914 SOS 2050575 HAS SOPS 2050575 HAS SOUS 786325 HAS SOUPS 786325 WITH SCORE 788375.575
AT ITER 5760 NEW BEST:: SOT 6233740 SOS 2051681 HAS SOPS 2051681 HAS SOUS 785659 HAS SOUPS 785659 WITH SCORE 787710.681
AT ITER 5794 NEW BEST:: SOT 6233306 SOS 2051247 HAS SOPS 2051247 HAS SOUS 785225 HAS SOUPS 785225 WITH SCORE 787276.247
AT ITER 5796 NEW BEST:: SOT 6231436 SOS 2047537 HAS SOPS 2047537 HAS SOUS 783210 HAS SOUPS 783210 WITH SCORE 785257.537
AT ITER 5818 NEW BEST:: SOT 6231276 SOS 2046097 HAS SOPS 2046097 HAS SOUS 782730 HAS SOUPS 782730 WITH SCORE 784776.097
AT ITER 5822 NEW BEST:: SOT 6231267 SOS 2046088 HAS SOPS 2046088 HAS SOUS 782724 HAS SOUPS 782724 WITH SCORE 784770.088
AT ITER 5828 NEW BEST:: SOT 6231970 SOS 2046960 HAS SOPS 2046960 HAS SOUS 782252 HAS SOUPS 782252 WITH SCORE 784298.96
AT ITER 5862 NEW BEST:: SOT 6231863 SOS 2046853 HAS SOPS 2046853 HAS SOUS 782247 HAS SOUPS 782247 WITH SCORE 784293.853
AT ITER 5875 NEW BEST:: SOT 6230717 SOS 2045707 HAS SOPS 2045707 HAS SOUS 781101 HAS SOUPS 781101 WITH SCORE 783146.707
AT ITER 5897 NEW BEST:: SOT 6230717 SOS 2046265 HAS SOPS 2046265 HAS SOUS 781023 HAS SOUPS 781023 WITH SCORE 783069.265
AT ITER 5902 NEW BEST:: SOT 6230717 SOS 2045145 HAS SOPS 2045145 HAS SOUS 780863 HAS SOUPS 780863 WITH SCORE 782908.145
AT ITER 5906 NEW BEST:: SOT 6230500 SOS 2044939 HAS SOPS 2044939 HAS SOUS 780735 HAS SOUPS 780735 WITH SCORE 782779.939
AT ITER 5920 NEW BEST:: SOT 6229471 SOS 2042734 HAS SOPS 2042734 HAS SOUS 779412 HAS SOUPS 779412 WITH SCORE 781454.734
AT ITER 5930 NEW BEST:: SOT 6229325 SOS 2041532 HAS SOPS 2041532 HAS SOUS 779002 HAS SOUPS 779002 WITH SCORE 781043.532
AT ITER 5940 NEW BEST:: SOT 6229269 SOS 2041476 HAS SOPS 2041476 HAS SOUS 779002 HAS SOUPS 779002 WITH SCORE 781043.476
AT ITER 5942 NEW BEST:: SOT 6229113 SOS 2040228 HAS SOPS 2040228 HAS SOUS 778690 HAS SOUPS 778690 WITH SCORE 780730.228
AT ITER 5954 NEW BEST:: SOT 6229425 SOS 2040558 HAS SOPS 2040558 HAS SOUS 778258 HAS SOUPS 778258 WITH SCORE 780298.558
AT ITER 5956 NEW BEST:: SOT 6229371 SOS 2040858 HAS SOPS 2040858 HAS SOUS 777418 HAS SOUPS 777418 WITH SCORE 779458.858
AT ITER 5972 NEW BEST:: SOT 6229371 SOS 2040858 HAS SOPS 2040858 HAS SOUS 777353 HAS SOUPS 777353 WITH SCORE 779393.858
AT ITER 5986 NEW BEST:: SOT 6229371 SOS 2040858 HAS SOPS 2040858 HAS SOUS 777267 HAS SOUPS 777267 WITH SCORE 779307.858
AT ITER 5994 NEW BEST:: SOT 6229371 SOS 2039162 HAS SOPS 2039162 HAS SOUS 776843 HAS SOUPS 776843 WITH SCORE 778882.162
AT ITER 6012 NEW BEST:: SOT 6229112 SOS 2038866 HAS SOPS 2038866 HAS SOUS 776325 HAS SOUPS 776325 WITH SCORE 778363.866
AT ITER 6038 NEW BEST:: SOT 6229112 SOS 2038818 HAS SOPS 2038818 HAS SOUS 776313 HAS SOUPS 776313 WITH SCORE 778351.818
AT ITER 6046 NEW BEST:: SOT 6228300 SOS 2037890 HAS SOPS 2037890 HAS SOUS 775188 HAS SOUPS 775188 WITH SCORE 777225.89
AT ITER 6054 NEW BEST:: SOT 6228146 SOS 2036504 HAS SOPS 2036504 HAS SOUS 774726 HAS SOUPS 774726 WITH SCORE 776762.504
AT ITER 6066 NEW BEST:: SOT 6228130 SOS 2036472 HAS SOPS 2036472 HAS SOUS 774598 HAS SOUPS 774598 WITH SCORE 776634.472
AT ITER 6082 NEW BEST:: SOT 6228046 SOS 2036376 HAS SOPS 2036376 HAS SOUS 774418 HAS SOUPS 774418 WITH SCORE 776454.376
AT ITER 6097 NEW BEST:: SOT 6228046 SOS 2036296 HAS SOPS 2036296 HAS SOUS 774398 HAS SOUPS 774398 WITH SCORE 776434.296
AT ITER 6098 NEW BEST:: SOT 6228045 SOS 2036181 HAS SOPS 2036181 HAS SOUS 774289 HAS SOUPS 774289 WITH SCORE 776325.181
AT ITER 6137 NEW BEST:: SOT 6226392 SOS 2033180 HAS SOPS 2033180 HAS SOUS 772382 HAS SOUPS 772382 WITH SCORE 774415.18
AT ITER 6150 NEW BEST:: SOT 6225916 SOS 2032636 HAS SOPS 2032636 HAS SOUS 771838 HAS SOUPS 771838 WITH SCORE 773870.636
AT ITER 6212 NEW BEST:: SOT 6225832 SOS 2032468 HAS SOPS 2032468 HAS SOUS 771490 HAS SOUPS 771490 WITH SCORE 773522.468
AT ITER 6216 NEW BEST:: SOT 6225772 SOS 2032248 HAS SOPS 2032248 HAS SOUS 771470 HAS SOUPS 771470 WITH SCORE 773502.248
AT ITER 6217 NEW BEST:: SOT 6225754 SOS 2032230 HAS SOPS 2032230 HAS SOUS 771452 HAS SOUPS 771452 WITH SCORE 773484.23
AT ITER 6235 NEW BEST:: SOT 6225754 SOS 2031606 HAS SOPS 2031606 HAS SOUS 771296 HAS SOUPS 771296 WITH SCORE 773327.606
AT ITER 6246 NEW BEST:: SOT 6225702 SOS 2031554 HAS SOPS 2031554 HAS SOUS 771296 HAS SOUPS 771296 WITH SCORE 773327.554
AT ITER 6258 NEW BEST:: SOT 6225652 SOS 2031154 HAS SOPS 2031154 HAS SOUS 771196 HAS SOUPS 771196 WITH SCORE 773227.154
AT ITER 6268 NEW BEST:: SOT 6225652 SOS 2031144 HAS SOPS 2031144 HAS SOUS 771186 HAS SOUPS 771186 WITH SCORE 773217.144
AT ITER 6275 NEW BEST:: SOT 6225460 SOS 2029994 HAS SOPS 2029994 HAS SOUS 770690 HAS SOUPS 770690 WITH SCORE 772719.994
AT ITER 6284 NEW BEST:: SOT 6225423 SOS 2029920 HAS SOPS 2029920 HAS SOUS 770616 HAS SOUPS 770616 WITH SCORE 772645.92
AT ITER 6285 NEW BEST:: SOT 6225357 SOS 2029832 HAS SOPS 2029832 HAS SOUS 770572 HAS SOUPS 770572 WITH SCORE 772601.832
AT ITER 6292 NEW BEST:: SOT 6225357 SOS 2029972 HAS SOPS 2029972 HAS SOUS 770472 HAS SOUPS 770472 WITH SCORE 772501.972
AT ITER 6306 NEW BEST:: SOT 6225203 SOS 2029818 HAS SOPS 2029818 HAS SOUS 770318 HAS SOUPS 770318 WITH SCORE 772347.818
AT ITER 6332 NEW BEST:: SOT 6225203 SOS 2030310 HAS SOPS 2030310 HAS SOUS 769826 HAS SOUPS 769826 WITH SCORE 771856.31
AT ITER 6343 NEW BEST:: SOT 6222734 SOS 2026657 HAS SOPS 2026657 HAS SOUS 768315 HAS SOUPS 768315 WITH SCORE 770341.657
AT ITER 6361 NEW BEST:: SOT 6222734 SOS 2026657 HAS SOPS 2026657 HAS SOUS 768310 HAS SOUPS 768310 WITH SCORE 770336.657
AT ITER 6373 NEW BEST:: SOT 6222723 SOS 2026646 HAS SOPS 2026646 HAS SOUS 768299 HAS SOUPS 768299 WITH SCORE 770325.646
AT ITER 6376 NEW BEST:: SOT 6221097 SOS 2024276 HAS SOPS 2024276 HAS SOUS 767375 HAS SOUPS 767375 WITH SCORE 769399.276
AT ITER 6406 NEW BEST:: SOT 6221142 SOS 2022775 HAS SOPS 2022775 HAS SOUS 767236 HAS SOUPS 767236 WITH SCORE 769258.775
AT ITER 6426 NEW BEST:: SOT 6221285 SOS 2022886 HAS SOPS 2022886 HAS SOUS 767155 HAS SOUPS 767155 WITH SCORE 769177.886
AT ITER 6454 NEW BEST:: SOT 6221279 SOS 2022838 HAS SOPS 2022838 HAS SOUS 767143 HAS SOUPS 767143 WITH SCORE 769165.838
AT ITER 6459 NEW BEST:: SOT 6221279 SOS 2023258 HAS SOPS 2023258 HAS SOUS 766723 HAS SOUPS 766723 WITH SCORE 768746.258
AT ITER 6465 NEW BEST:: SOT 6220859 SOS 2022078 HAS SOPS 2022078 HAS SOUS 766143 HAS SOUPS 766143 WITH SCORE 768165.078
AT ITER 6480 NEW BEST:: SOT 6220694 SOS 2020593 HAS SOPS 2020593 HAS SOUS 765648 HAS SOUPS 765648 WITH SCORE 767668.593
AT ITER 6490 NEW BEST:: SOT 6220694 SOS 2020593 HAS SOPS 2020593 HAS SOUS 765571 HAS SOUPS 765571 WITH SCORE 767591.593
AT ITER 6509 NEW BEST:: SOT 6220694 SOS 2020467 HAS SOPS 2020467 HAS SOUS 765571 HAS SOUPS 765571 WITH SCORE 767591.467
AT ITER 6568 NEW BEST:: SOT 6220480 SOS 2018755 HAS SOPS 2018755 HAS SOUS 765143 HAS SOUPS 765143 WITH SCORE 767161.755
AT ITER 6569 NEW BEST:: SOT 6220465 SOS 2018740 HAS SOPS 2018740 HAS SOUS 765143 HAS SOUPS 765143 WITH SCORE 767161.74
AT ITER 6584 NEW BEST:: SOT 6220429 SOS 2018317 HAS SOPS 2018317 HAS SOUS 764936 HAS SOUPS 764936 WITH SCORE 766954.317
AT ITER 6586 NEW BEST:: SOT 6220475 SOS 2018685 HAS SOPS 2018685 HAS SOUS 764904 HAS SOUPS 764904 WITH SCORE 766922.685
AT ITER 6599 NEW BEST:: SOT 6219614 SOS 2016963 HAS SOPS 2016963 HAS SOUS 763920 HAS SOUPS 763920 WITH SCORE 765936.963
AT ITER 6613 NEW BEST:: SOT 6219614 SOS 2016691 HAS SOPS 2016691 HAS SOUS 763852 HAS SOUPS 763852 WITH SCORE 765868.691
AT ITER 6635 NEW BEST:: SOT 6219458 SOS 2015443 HAS SOPS 2015443 HAS SOUS 763540 HAS SOUPS 763540 WITH SCORE 765555.443
AT ITER 6667 NEW BEST:: SOT 6219458 SOS 2015443 HAS SOPS 2015443 HAS SOUS 763330 HAS SOUPS 763330 WITH SCORE 765345.443
AT ITER 6686 NEW BEST:: SOT 6219458 SOS 2015315 HAS SOPS 2015315 HAS SOUS 763298 HAS SOUPS 763298 WITH SCORE 765313.315
AT ITER 6709 NEW BEST:: SOT 6219155 SOS 2014634 HAS SOPS 2014634 HAS SOUS 763057 HAS SOUPS 763057 WITH SCORE 765071.634
AT ITER 6710 NEW BEST:: SOT 6219155 SOS 2014634 HAS SOPS 2014634 HAS SOUS 763027 HAS SOUPS 763027 WITH SCORE 765041.634
AT ITER 6729 NEW BEST:: SOT 6219155 SOS 2014449 HAS SOPS 2014449 HAS SOUS 762842 HAS SOUPS 762842 WITH SCORE 764856.449
AT ITER 6737 NEW BEST:: SOT 6218056 SOS 2011905 HAS SOPS 2011905 HAS SOUS 761564 HAS SOUPS 761564 WITH SCORE 763575.905
AT ITER 6744 NEW BEST:: SOT 6218056 SOS 2011373 HAS SOPS 2011373 HAS SOUS 761488 HAS SOUPS 761488 WITH SCORE 763499.373
AT ITER 6759 NEW BEST:: SOT 6218056 SOS 2011278 HAS SOPS 2011278 HAS SOUS 761393 HAS SOUPS 761393 WITH SCORE 763404.278
AT ITER 6802 NEW BEST:: SOT 6218056 SOS 2011260 HAS SOPS 2011260 HAS SOUS 761393 HAS SOUPS 761393 WITH SCORE 763404.26
AT ITER 6804 NEW BEST:: SOT 6218066 SOS 2011270 HAS SOPS 2011270 HAS SOUS 761373 HAS SOUPS 761373 WITH SCORE 763384.27
AT ITER 6816 NEW BEST:: SOT 6218311 SOS 2011477 HAS SOPS 2011477 HAS SOUS 761352 HAS SOUPS 761352 WITH SCORE 763363.477
AT ITER 6850 NEW BEST:: SOT 6219581 SOS 2014017 HAS SOPS 2014017 HAS SOUS 760778 HAS SOUPS 760778 WITH SCORE 762792.017
AT ITER 6875 NEW BEST:: SOT 6218321 SOS 2012577 HAS SOPS 2012577 HAS SOUS 759380 HAS SOUPS 759380 WITH SCORE 761392.577
AT ITER 6882 NEW BEST:: SOT 6217961 SOS 2011215 HAS SOPS 2011215 HAS SOUS 759372 HAS SOUPS 759372 WITH SCORE 761383.215
AT ITER 6884 NEW BEST:: SOT 6217961 SOS 2011479 HAS SOPS 2011479 HAS SOUS 759108 HAS SOUPS 759108 WITH SCORE 761119.479
AT ITER 6885 NEW BEST:: SOT 6217888 SOS 2011406 HAS SOPS 2011406 HAS SOUS 759015 HAS SOUPS 759015 WITH SCORE 761026.406
AT ITER 6898 NEW BEST:: SOT 6217454 SOS 2010676 HAS SOPS 2010676 HAS SOUS 758507 HAS SOUPS 758507 WITH SCORE 760517.676
AT ITER 6908 NEW BEST:: SOT 6217179 SOS 2008641 HAS SOPS 2008641 HAS SOUS 758397 HAS SOUPS 758397 WITH SCORE 760405.641
AT ITER 6909 NEW BEST:: SOT 6217179 SOS 2008641 HAS SOPS 2008641 HAS SOUS 758277 HAS SOUPS 758277 WITH SCORE 760285.641
AT ITER 6921 NEW BEST:: SOT 6217157 SOS 2008619 HAS SOPS 2008619 HAS SOUS 758277 HAS SOUPS 758277 WITH SCORE 760285.619
AT ITER 6929 NEW BEST:: SOT 6217297 SOS 2008751 HAS SOPS 2008751 HAS SOUS 758181 HAS SOUPS 758181 WITH SCORE 760189.751
AT ITER 6951 NEW BEST:: SOT 6216817 SOS 2008271 HAS SOPS 2008271 HAS SOUS 757701 HAS SOUPS 757701 WITH SCORE 759709.271
AT ITER 6981 NEW BEST:: SOT 6216817 SOS 2008271 HAS SOPS 2008271 HAS SOUS 757688 HAS SOUPS 757688 WITH SCORE 759696.271
AT ITER 7002 NEW BEST:: SOT 6216761 SOS 2007823 HAS SOPS 2007823 HAS SOUS 757576 HAS SOUPS 757576 WITH SCORE 759583.823
AT ITER 7036 NEW BEST:: SOT 6216651 SOS 2007577 HAS SOPS 2007577 HAS SOUS 757432 HAS SOUPS 757432 WITH SCORE 759439.577
AT ITER 7056 NEW BEST:: SOT 6216426 SOS 2007037 HAS SOPS 2007037 HAS SOUS 757357 HAS SOUPS 757357 WITH SCORE 759364.037
AT ITER 7084 NEW BEST:: SOT 6216293 SOS 2006904 HAS SOPS 2006904 HAS SOUS 757344 HAS SOUPS 757344 WITH SCORE 759350.904
AT ITER 7091 NEW BEST:: SOT 6216263 SOS 2006874 HAS SOPS 2006874 HAS SOUS 757314 HAS SOUPS 757314 WITH SCORE 759320.874
AT ITER 7117 NEW BEST:: SOT 6216257 SOS 2006826 HAS SOPS 2006826 HAS SOUS 757302 HAS SOUPS 757302 WITH SCORE 759308.826
AT ITER 7151 NEW BEST:: SOT 6216248 SOS 2006817 HAS SOPS 2006817 HAS SOUS 757302 HAS SOUPS 757302 WITH SCORE 759308.817
AT ITER 7171 NEW BEST:: SOT 6216248 SOS 2006817 HAS SOPS 2006817 HAS SOUS 757272 HAS SOUPS 757272 WITH SCORE 759278.817
AT ITER 7199 NEW BEST:: SOT 6216451 SOS 2007323 HAS SOPS 2007323 HAS SOUS 757178 HAS SOUPS 757178 WITH SCORE 759185.323
AT ITER 7263 NEW BEST:: SOT 6215380 SOS 2005028 HAS SOPS 2005028 HAS SOUS 755801 HAS SOUPS 755801 WITH SCORE 757806.028
AT ITER 7264 NEW BEST:: SOT 6215380 SOS 2006081 HAS SOPS 2006081 HAS SOUS 755720 HAS SOUPS 755720 WITH SCORE 757726.081
AT ITER 7271 NEW BEST:: SOT 6215292 SOS 2005465 HAS SOPS 2005465 HAS SOUS 755676 HAS SOUPS 755676 WITH SCORE 757681.465
AT ITER 7336 NEW BEST:: SOT 6215446 SOS 2005881 HAS SOPS 2005881 HAS SOUS 754958 HAS SOUPS 754958 WITH SCORE 756963.881
AT ITER 7367 NEW BEST:: SOT 6215401 SOS 2005905 HAS SOPS 2005905 HAS SOUS 754484 HAS SOUPS 754484 WITH SCORE 756489.905
AT ITER 7382 NEW BEST:: SOT 6215439 SOS 2005943 HAS SOPS 2005943 HAS SOUS 754427 HAS SOUPS 754427 WITH SCORE 756432.943
AT ITER 7394 NEW BEST:: SOT 6215432 SOS 2005928 HAS SOPS 2005928 HAS SOUS 754418 HAS SOUPS 754418 WITH SCORE 756423.928
AT ITER 7404 NEW BEST:: SOT 6215379 SOS 2005875 HAS SOPS 2005875 HAS SOUS 754365 HAS SOUPS 754365 WITH SCORE 756370.875
AT ITER 7423 NEW BEST:: SOT 6215379 SOS 2005875 HAS SOPS 2005875 HAS SOUS 754355 HAS SOUPS 754355 WITH SCORE 756360.875
AT ITER 7433 NEW BEST:: SOT 6214323 SOS 2004819 HAS SOPS 2004819 HAS SOUS 753299 HAS SOUPS 753299 WITH SCORE 755303.819
AT ITER 7444 NEW BEST:: SOT 6214757 SOS 2010285 HAS SOPS 2010285 HAS SOUS 752757 HAS SOUPS 752757 WITH SCORE 754767.285
AT ITER 7456 NEW BEST:: SOT 6214757 SOS 2010285 HAS SOPS 2010285 HAS SOUS 752564 HAS SOUPS 752564 WITH SCORE 754574.285
AT ITER 7467 NEW BEST:: SOT 6214828 SOS 2010356 HAS SOPS 2010356 HAS SOUS 752467 HAS SOUPS 752467 WITH SCORE 754477.356
AT ITER 7478 NEW BEST:: SOT 6214706 SOS 2010090 HAS SOPS 2010090 HAS SOUS 752309 HAS SOUPS 752309 WITH SCORE 754319.09
AT ITER 7481 NEW BEST:: SOT 6214706 SOS 2010090 HAS SOPS 2010090 HAS SOUS 752073 HAS SOUPS 752073 WITH SCORE 754083.09
AT ITER 7520 NEW BEST:: SOT 6214510 SOS 2009670 HAS SOPS 2009670 HAS SOUS 751821 HAS SOUPS 751821 WITH SCORE 753830.67
AT ITER 7522 NEW BEST:: SOT 6213495 SOS 2007495 HAS SOPS 2007495 HAS SOUS 750516 HAS SOUPS 750516 WITH SCORE 752523.495
AT ITER 7573 NEW BEST:: SOT 6213082 SOS 2007082 HAS SOPS 2007082 HAS SOUS 750103 HAS SOUPS 750103 WITH SCORE 752110.082
AT ITER 7587 NEW BEST:: SOT 6212948 SOS 2005876 HAS SOPS 2005876 HAS SOUS 749701 HAS SOUPS 749701 WITH SCORE 751706.876
AT ITER 7598 NEW BEST:: SOT 6212462 SOS 2005450 HAS SOPS 2005450 HAS SOUS 749323 HAS SOUPS 749323 WITH SCORE 751328.45
AT ITER 7658 NEW BEST:: SOT 6212378 SOS 2005270 HAS SOPS 2005270 HAS SOUS 749215 HAS SOUPS 749215 WITH SCORE 751220.27
AT ITER 7682 NEW BEST:: SOT 6212332 SOS 2005224 HAS SOPS 2005224 HAS SOUS 749215 HAS SOUPS 749215 WITH SCORE 751220.224
AT ITER 7704 NEW BEST:: SOT 6212332 SOS 2005206 HAS SOPS 2005206 HAS SOUS 749215 HAS SOUPS 749215 WITH SCORE 751220.206
AT ITER 7712 NEW BEST:: SOT 6211893 SOS 2004784 HAS SOPS 2004784 HAS SOUS 748943 HAS SOUPS 748943 WITH SCORE 750947.784
AT ITER 7717 NEW BEST:: SOT 6211893 SOS 2003792 HAS SOPS 2003792 HAS SOUS 748695 HAS SOUPS 748695 WITH SCORE 750698.792
AT ITER 7732 NEW BEST:: SOT 6211893 SOS 2003568 HAS SOPS 2003568 HAS SOUS 748639 HAS SOUPS 748639 WITH SCORE 750642.568
AT ITER 7742 NEW BEST:: SOT 6211894 SOS 2003569 HAS SOPS 2003569 HAS SOUS 748340 HAS SOUPS 748340 WITH SCORE 750343.569
AT ITER 7814 NEW BEST:: SOT 6211820 SOS 2003495 HAS SOPS 2003495 HAS SOUS 748284 HAS SOUPS 748284 WITH SCORE 750287.495
AT ITER 7824 NEW BEST:: SOT 6211820 SOS 2003495 HAS SOPS 2003495 HAS SOUS 748256 HAS SOUPS 748256 WITH SCORE 750259.495
AT ITER 7867 NEW BEST:: SOT 6211425 SOS 2003167 HAS SOPS 2003167 HAS SOUS 748102 HAS SOUPS 748102 WITH SCORE 750105.167
AT ITER 7879 NEW BEST:: SOT 6211376 SOS 2003141 HAS SOPS 2003141 HAS SOUS 748076 HAS SOUPS 748076 WITH SCORE 750079.141
AT ITER 7884 NEW BEST:: SOT 6211330 SOS 2002773 HAS SOPS 2002773 HAS SOUS 747984 HAS SOUPS 747984 WITH SCORE 749986.773
AT ITER 7895 NEW BEST:: SOT 6211366 SOS 2002809 HAS SOPS 2002809 HAS SOUS 747948 HAS SOUPS 747948 WITH SCORE 749950.809
AT ITER 7918 NEW BEST:: SOT 6211366 SOS 2002809 HAS SOPS 2002809 HAS SOUS 747916 HAS SOUPS 747916 WITH SCORE 749918.809
AT ITER 7925 NEW BEST:: SOT 6211366 SOS 2002449 HAS SOPS 2002449 HAS SOUS 747826 HAS SOUPS 747826 WITH SCORE 749828.449
AT ITER 8015 NEW BEST:: SOT 6211377 SOS 2002460 HAS SOPS 2002460 HAS SOUS 747793 HAS SOUPS 747793 WITH SCORE 749795.46
AT ITER 8016 NEW BEST:: SOT 6211342 SOS 2002385 HAS SOPS 2002385 HAS SOUS 747783 HAS SOUPS 747783 WITH SCORE 749785.385
AT ITER 8032 NEW BEST:: SOT 6212230 SOS 2003135 HAS SOPS 2003135 HAS SOUS 747567 HAS SOUPS 747567 WITH SCORE 749570.135
AT ITER 8041 NEW BEST:: SOT 6212230 SOS 2003135 HAS SOPS 2003135 HAS SOUS 747449 HAS SOUPS 747449 WITH SCORE 749452.135
AT ITER 8070 NEW BEST:: SOT 6212230 SOS 2003669 HAS SOPS 2003669 HAS SOUS 747143 HAS SOUPS 747143 WITH SCORE 749146.669
AT ITER 8074 NEW BEST:: SOT 6212148 SOS 2003655 HAS SOPS 2003655 HAS SOUS 746781 HAS SOUPS 746781 WITH SCORE 748784.655
AT ITER 8093 NEW BEST:: SOT 6211579 SOS 2003351 HAS SOPS 2003351 HAS SOUS 746477 HAS SOUPS 746477 WITH SCORE 748480.351
AT ITER 8096 NEW BEST:: SOT 6210957 SOS 2002701 HAS SOPS 2002701 HAS SOUS 745851 HAS SOUPS 745851 WITH SCORE 747853.701
AT ITER 8174 NEW BEST:: SOT 6211174 SOS 2003610 HAS SOPS 2003610 HAS SOUS 745652 HAS SOUPS 745652 WITH SCORE 747655.61
AT ITER 8207 NEW BEST:: SOT 6211235 SOS 2003671 HAS SOPS 2003671 HAS SOUS 745550 HAS SOUPS 745550 WITH SCORE 747553.671
AT ITER 8235 NEW BEST:: SOT 6211235 SOS 2004100 HAS SOPS 2004100 HAS SOUS 745445 HAS SOUPS 745445 WITH SCORE 747449.1
AT ITER 8236 NEW BEST:: SOT 6211187 SOS 2003716 HAS SOPS 2003716 HAS SOUS 745349 HAS SOUPS 745349 WITH SCORE 747352.716
AT ITER 8237 NEW BEST:: SOT 6210718 SOS 2002322 HAS SOPS 2002322 HAS SOUS 745269 HAS SOUPS 745269 WITH SCORE 747271.322
AT ITER 8253 NEW BEST:: SOT 6209759 SOS 2001363 HAS SOPS 2001363 HAS SOUS 744310 HAS SOUPS 744310 WITH SCORE 746311.363
AT ITER 8256 NEW BEST:: SOT 6209759 SOS 2001363 HAS SOPS 2001363 HAS SOUS 744220 HAS SOUPS 744220 WITH SCORE 746221.363
AT ITER 8264 NEW BEST:: SOT 6209759 SOS 2001243 HAS SOPS 2001243 HAS SOUS 744220 HAS SOUPS 744220 WITH SCORE 746221.243
AT ITER 8269 NEW BEST:: SOT 6209514 SOS 2000963 HAS SOPS 2000963 HAS SOUS 743796 HAS SOUPS 743796 WITH SCORE 745796.963
AT ITER 8329 NEW BEST:: SOT 6209514 SOS 2000963 HAS SOPS 2000963 HAS SOUS 743782 HAS SOUPS 743782 WITH SCORE 745782.963
AT ITER 8336 NEW BEST:: SOT 6209514 SOS 2001125 HAS SOPS 2001125 HAS SOUS 743620 HAS SOUPS 743620 WITH SCORE 745621.125
AT ITER 8348 NEW BEST:: SOT 6209514 SOS 2001125 HAS SOPS 2001125 HAS SOUS 743605 HAS SOUPS 743605 WITH SCORE 745606.125
AT ITER 8351 NEW BEST:: SOT 6209213 SOS 2000781 HAS SOPS 2000781 HAS SOUS 743261 HAS SOUPS 743261 WITH SCORE 745261.781
AT ITER 8363 NEW BEST:: SOT 6209213 SOS 2000613 HAS SOPS 2000613 HAS SOUS 743219 HAS SOUPS 743219 WITH SCORE 745219.613
AT ITER 8375 NEW BEST:: SOT 6208786 SOS 1999698 HAS SOPS 1999698 HAS SOUS 742670 HAS SOUPS 742670 WITH SCORE 744669.698
AT ITER 8379 NEW BEST:: SOT 6208786 SOS 1999698 HAS SOPS 1999698 HAS SOUS 742650 HAS SOUPS 742650 WITH SCORE 744649.698
AT ITER 8386 NEW BEST:: SOT 6207309 SOS 1998221 HAS SOPS 1998221 HAS SOUS 741173 HAS SOUPS 741173 WITH SCORE 743171.221
AT ITER 8388 NEW BEST:: SOT 6207302 SOS 1998165 HAS SOPS 1998165 HAS SOUS 741159 HAS SOUPS 741159 WITH SCORE 743157.165
AT ITER 8405 NEW BEST:: SOT 6207302 SOS 1998165 HAS SOPS 1998165 HAS SOUS 740831 HAS SOUPS 740831 WITH SCORE 742829.165
AT ITER 8434 NEW BEST:: SOT 6207234 SOS 1998097 HAS SOPS 1998097 HAS SOUS 740556 HAS SOUPS 740556 WITH SCORE 742554.097
AT ITER 8443 NEW BEST:: SOT 6207192 SOS 1998049 HAS SOPS 1998049 HAS SOUS 740466 HAS SOUPS 740466 WITH SCORE 742464.049
AT ITER 8463 NEW BEST:: SOT 6207192 SOS 1998049 HAS SOPS 1998049 HAS SOUS 740365 HAS SOUPS 740365 WITH SCORE 742363.049
AT ITER 8484 NEW BEST:: SOT 6207121 SOS 1997978 HAS SOPS 1997978 HAS SOUS 739966 HAS SOUPS 739966 WITH SCORE 741963.978
AT ITER 8510 NEW BEST:: SOT 6206442 SOS 1997202 HAS SOPS 1997202 HAS SOUS 738511 HAS SOUPS 738511 WITH SCORE 740508.202
AT ITER 8539 NEW BEST:: SOT 6206344 SOS 1996274 HAS SOPS 1996274 HAS SOUS 738171 HAS SOUPS 738171 WITH SCORE 740167.274
AT ITER 8587 NEW BEST:: SOT 6206344 SOS 1995509 HAS SOPS 1995509 HAS SOUS 738102 HAS SOUPS 738102 WITH SCORE 740097.509
AT ITER 8593 NEW BEST:: SOT 6206344 SOS 1995670 HAS SOPS 1995670 HAS SOUS 737985 HAS SOUPS 737985 WITH SCORE 739980.67
AT ITER 8596 NEW BEST:: SOT 6205763 SOS 1994425 HAS SOPS 1994425 HAS SOUS 737238 HAS SOUPS 737238 WITH SCORE 739232.425
AT ITER 8598 NEW BEST:: SOT 6205385 SOS 1994047 HAS SOPS 1994047 HAS SOUS 736860 HAS SOUPS 736860 WITH SCORE 738854.047
AT ITER 8599 NEW BEST:: SOT 6205385 SOS 1994047 HAS SOPS 1994047 HAS SOUS 736819 HAS SOUPS 736819 WITH SCORE 738813.047
AT ITER 8609 NEW BEST:: SOT 6204993 SOS 1993431 HAS SOPS 1993431 HAS SOUS 736395 HAS SOUPS 736395 WITH SCORE 738388.431
AT ITER 8615 NEW BEST:: SOT 6204825 SOS 1993438 HAS SOPS 1993438 HAS SOUS 736252 HAS SOUPS 736252 WITH SCORE 738245.438
AT ITER 8621 NEW BEST:: SOT 6204825 SOS 1992270 HAS SOPS 1992270 HAS SOUS 736092 HAS SOUPS 736092 WITH SCORE 738084.27
AT ITER 8631 NEW BEST:: SOT 6204790 SOS 1992230 HAS SOPS 1992230 HAS SOUS 736052 HAS SOUPS 736052 WITH SCORE 738044.23
AT ITER 8637 NEW BEST:: SOT 6204790 SOS 1992230 HAS SOPS 1992230 HAS SOUS 735996 HAS SOUPS 735996 WITH SCORE 737988.23
AT ITER 8641 NEW BEST:: SOT 6204790 SOS 1992370 HAS SOPS 1992370 HAS SOUS 735876 HAS SOUPS 735876 WITH SCORE 737868.37
AT ITER 8653 NEW BEST:: SOT 6204790 SOS 1992279 HAS SOPS 1992279 HAS SOUS 735863 HAS SOUPS 735863 WITH SCORE 737855.279
AT ITER 8692 NEW BEST:: SOT 6203636 SOS 1991195 HAS SOPS 1991195 HAS SOUS 735268 HAS SOUPS 735268 WITH SCORE 737259.195
AT ITER 8735 NEW BEST:: SOT 6203509 SOS 1991068 HAS SOPS 1991068 HAS SOUS 734389 HAS SOUPS 734389 WITH SCORE 736380.068
AT ITER 8749 NEW BEST:: SOT 6203586 SOS 1991597 HAS SOPS 1991597 HAS SOUS 734176 HAS SOUPS 734176 WITH SCORE 736167.597
AT ITER 8764 NEW BEST:: SOT 6203586 SOS 1991381 HAS SOPS 1991381 HAS SOUS 734176 HAS SOUPS 734176 WITH SCORE 736167.381
AT ITER 8790 NEW BEST:: SOT 6203586 SOS 1991381 HAS SOPS 1991381 HAS SOUS 734132 HAS SOUPS 734132 WITH SCORE 736123.381
AT ITER 8795 NEW BEST:: SOT 6204139 SOS 1993237 HAS SOPS 1993237 HAS SOUS 734049 HAS SOUPS 734049 WITH SCORE 736042.237
AT ITER 8803 NEW BEST:: SOT 6204139 SOS 1993237 HAS SOPS 1993237 HAS SOUS 733893 HAS SOUPS 733893 WITH SCORE 735886.237
AT ITER 8813 NEW BEST:: SOT 6204155 SOS 1992780 HAS SOPS 1992780 HAS SOUS 733892 HAS SOUPS 733892 WITH SCORE 735884.78
AT ITER 8826 NEW BEST:: SOT 6204083 SOS 1992136 HAS SOPS 1992136 HAS SOUS 733870 HAS SOUPS 733870 WITH SCORE 735862.136
AT ITER 8844 NEW BEST:: SOT 6204062 SOS 1992112 HAS SOPS 1992112 HAS SOUS 733828 HAS SOUPS 733828 WITH SCORE 735820.112
AT ITER 8912 NEW BEST:: SOT 6204062 SOS 1991664 HAS SOPS 1991664 HAS SOUS 733764 HAS SOUPS 733764 WITH SCORE 735755.664
AT ITER 8936 NEW BEST:: SOT 6204062 SOS 1990488 HAS SOPS 1990488 HAS SOUS 733470 HAS SOUPS 733470 WITH SCORE 735460.488
AT ITER 8982 NEW BEST:: SOT 6204062 SOS 1990488 HAS SOPS 1990488 HAS SOUS 733458 HAS SOUPS 733458 WITH SCORE 735448.488
AT ITER 8994 NEW BEST:: SOT 6204019 SOS 1990445 HAS SOPS 1990445 HAS SOUS 733438 HAS SOUPS 733438 WITH SCORE 735428.445
AT ITER 8998 NEW BEST:: SOT 6204019 SOS 1990900 HAS SOPS 1990900 HAS SOUS 733113 HAS SOUPS 733113 WITH SCORE 735103.9
AT ITER 9002 NEW BEST:: SOT 6204019 SOS 1990628 HAS SOPS 1990628 HAS SOUS 733045 HAS SOUPS 733045 WITH SCORE 735035.628
AT ITER 9007 NEW BEST:: SOT 6204019 SOS 1990628 HAS SOPS 1990628 HAS SOUS 733023 HAS SOUPS 733023 WITH SCORE 735013.628
AT ITER 9008 NEW BEST:: SOT 6204019 SOS 1990874 HAS SOPS 1990874 HAS SOUS 732736 HAS SOUPS 732736 WITH SCORE 734726.874
AT ITER 9080 NEW BEST:: SOT 6204019 SOS 1990090 HAS SOPS 1990090 HAS SOUS 732540 HAS SOUPS 732540 WITH SCORE 734530.09
AT ITER 9122 NEW BEST:: SOT 6204297 SOS 1990368 HAS SOPS 1990368 HAS SOUS 732531 HAS SOUPS 732531 WITH SCORE 734521.368
AT ITER 9139 NEW BEST:: SOT 6204206 SOS 1990264 HAS SOPS 1990264 HAS SOUS 732336 HAS SOUPS 732336 WITH SCORE 734326.264
AT ITER 9140 NEW BEST:: SOT 6204127 SOS 1990185 HAS SOPS 1990185 HAS SOUS 732336 HAS SOUPS 732336 WITH SCORE 734326.185
AT ITER 9154 NEW BEST:: SOT 6203854 SOS 1989555 HAS SOPS 1989555 HAS SOUS 732122 HAS SOUPS 732122 WITH SCORE 734111.555
AT ITER 9183 NEW BEST:: SOT 6203854 SOS 1989315 HAS SOPS 1989315 HAS SOUS 732062 HAS SOUPS 732062 WITH SCORE 734051.315
AT ITER 9185 NEW BEST:: SOT 6203844 SOS 1989295 HAS SOPS 1989295 HAS SOUS 732042 HAS SOUPS 732042 WITH SCORE 734031.295
AT ITER 9191 NEW BEST:: SOT 6203844 SOS 1989400 HAS SOPS 1989400 HAS SOUS 732012 HAS SOUPS 732012 WITH SCORE 734001.4
AT ITER 9209 NEW BEST:: SOT 6203510 SOS 1988255 HAS SOPS 1988255 HAS SOUS 731678 HAS SOUPS 731678 WITH SCORE 733666.255
AT ITER 9216 NEW BEST:: SOT 6203650 SOS 1989294 HAS SOPS 1989294 HAS SOUS 731515 HAS SOUPS 731515 WITH SCORE 733504.294
AT ITER 9247 NEW BEST:: SOT 6203650 SOS 1989456 HAS SOPS 1989456 HAS SOUS 731353 HAS SOUPS 731353 WITH SCORE 733342.456
AT ITER 9270 NEW BEST:: SOT 6203442 SOS 1989094 HAS SOPS 1989094 HAS SOUS 731123 HAS SOUPS 731123 WITH SCORE 733112.094
AT ITER 9271 NEW BEST:: SOT 6203239 SOS 1988898 HAS SOPS 1988898 HAS SOUS 730779 HAS SOUPS 730779 WITH SCORE 732767.898
AT ITER 9273 NEW BEST:: SOT 6203163 SOS 1988822 HAS SOPS 1988822 HAS SOUS 730703 HAS SOUPS 730703 WITH SCORE 732691.822
AT ITER 9287 NEW BEST:: SOT 6203163 SOS 1987128 HAS SOPS 1987128 HAS SOUS 730484 HAS SOUPS 730484 WITH SCORE 732471.128
AT ITER 9344 NEW BEST:: SOT 6203099 SOS 1987064 HAS SOPS 1987064 HAS SOUS 730399 HAS SOUPS 730399 WITH SCORE 732386.064
AT ITER 9370 NEW BEST:: SOT 6202133 SOS 1985722 HAS SOPS 1985722 HAS SOUS 729339 HAS SOUPS 729339 WITH SCORE 731324.722
AT ITER 9404 NEW BEST:: SOT 6202133 SOS 1985722 HAS SOPS 1985722 HAS SOUS 728979 HAS SOUPS 728979 WITH SCORE 730964.722
AT ITER 9429 NEW BEST:: SOT 6202133 SOS 1985764 HAS SOPS 1985764 HAS SOUS 728943 HAS SOUPS 728943 WITH SCORE 730928.764
AT ITER 9479 NEW BEST:: SOT 6202113 SOS 1985744 HAS SOPS 1985744 HAS SOUS 728943 HAS SOUPS 728943 WITH SCORE 730928.744
AT ITER 9522 NEW BEST:: SOT 6202113 SOS 1985704 HAS SOPS 1985704 HAS SOUS 728933 HAS SOUPS 728933 WITH SCORE 730918.704
AT ITER 9551 NEW BEST:: SOT 6202620 SOS 1988002 HAS SOPS 1988002 HAS SOUS 727782 HAS SOUPS 727782 WITH SCORE 729770.002
AT ITER 9556 NEW BEST:: SOT 6202620 SOS 1988272 HAS SOPS 1988272 HAS SOUS 727698 HAS SOUPS 727698 WITH SCORE 729686.272
AT ITER 9560 NEW BEST:: SOT 6202543 SOS 1988045 HAS SOPS 1988045 HAS SOUS 727600 HAS SOUPS 727600 WITH SCORE 729588.045
AT ITER 9605 NEW BEST:: SOT 6202130 SOS 1987521 HAS SOPS 1987521 HAS SOUS 727226 HAS SOUPS 727226 WITH SCORE 729213.521
AT ITER 9653 NEW BEST:: SOT 6202121 SOS 1988205 HAS SOPS 1988205 HAS SOUS 726326 HAS SOUPS 726326 WITH SCORE 728314.205
AT ITER 9690 NEW BEST:: SOT 6202081 SOS 1988095 HAS SOPS 1988095 HAS SOUS 726326 HAS SOUPS 726326 WITH SCORE 728314.095
AT ITER 9695 NEW BEST:: SOT 6201183 SOS 1986155 HAS SOPS 1986155 HAS SOUS 725436 HAS SOUPS 725436 WITH SCORE 727422.155
AT ITER 9706 NEW BEST:: SOT 6201170 SOS 1986142 HAS SOPS 1986142 HAS SOUS 725436 HAS SOUPS 725436 WITH SCORE 727422.142
AT ITER 9714 NEW BEST:: SOT 6201170 SOS 1986054 HAS SOPS 1986054 HAS SOUS 725414 HAS SOUPS 725414 WITH SCORE 727400.054
AT ITER 9715 NEW BEST:: SOT 6201143 SOS 1984963 HAS SOPS 1984963 HAS SOUS 725251 HAS SOUPS 725251 WITH SCORE 727235.963
AT ITER 9791 NEW BEST:: SOT 6201026 SOS 1984086 HAS SOPS 1984086 HAS SOUS 724944 HAS SOUPS 724944 WITH SCORE 726928.086
AT ITER 9808 NEW BEST:: SOT 6201026 SOS 1984086 HAS SOPS 1984086 HAS SOUS 724842 HAS SOUPS 724842 WITH SCORE 726826.086
AT ITER 9848 NEW BEST:: SOT 6200536 SOS 1982866 HAS SOPS 1982866 HAS SOUS 724562 HAS SOUPS 724562 WITH SCORE 726544.866
AT ITER 9872 NEW BEST:: SOT 6200458 SOS 1982788 HAS SOPS 1982788 HAS SOUS 724484 HAS SOUPS 724484 WITH SCORE 726466.788
AT ITER 9874 NEW BEST:: SOT 6200254 SOS 1982599 HAS SOPS 1982599 HAS SOUS 724313 HAS SOUPS 724313 WITH SCORE 726295.599
AT ITER 9884 NEW BEST:: SOT 6200251 SOS 1982596 HAS SOPS 1982596 HAS SOUS 724310 HAS SOUPS 724310 WITH SCORE 726292.596
AT ITER 9911 NEW BEST:: SOT 6200221 SOS 1982356 HAS SOPS 1982356 HAS SOUS 724250 HAS SOUPS 724250 WITH SCORE 726232.356
AT ITER 9931 NEW BEST:: SOT 6200150 SOS 1982285 HAS SOPS 1982285 HAS SOUS 724179 HAS SOUPS 724179 WITH SCORE 726161.285
AT ITER 9986 NEW BEST:: SOT 6200070 SOS 1981645 HAS SOPS 1981645 HAS SOUS 724019 HAS SOUPS 724019 WITH SCORE 726000.645
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2332812 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149824 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="HypertorusGrid-PT-d4k3p2b08"
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 HypertorusGrid-PT-d4k3p2b08, 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-167856409900064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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