Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r235-tall-167856421200064.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 smartxred
Input is HypertorusGrid-PT-d4k3p2b08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421200064
=====================================================================

--------------------
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 1678630119848

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypertorusGrid-PT-d4k3p2b08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 14:08:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 14:08:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 14:08:41] [INFO ] Load time of PNML (sax parser for PT used): 199 ms
[2023-03-12 14:08:41] [INFO ] Transformed 2025 places.
[2023-03-12 14:08:41] [INFO ] Transformed 5184 transitions.
[2023-03-12 14:08:41] [INFO ] Parsed PT model containing 2025 places and 5184 transitions and 20736 arcs in 288 ms.
[2023-03-12 14:08:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2025 places, 5184 transitions and 20736 arcs took 54 ms.
Total runtime 369 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d4k3p2b08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 2025 places, 5184 transitions, 20736 arcs.
AT ITER 0 NEW BEST:: SOT 6318661 SOS 2285031 HAS SOPS 2285031 HAS SOUS 958365 HAS SOUPS 958365 WITH SCORE 960650.031
AT ITER 3 NEW BEST:: SOT 6318654 SOS 2285017 HAS SOPS 2285017 HAS SOUS 958303 HAS SOUPS 958303 WITH SCORE 960588.017
AT ITER 61 NEW BEST:: SOT 6318813 SOS 2285176 HAS SOPS 2285176 HAS SOUS 958154 HAS SOUPS 958154 WITH SCORE 960439.176
AT ITER 64 NEW BEST:: SOT 6318813 SOS 2285176 HAS SOPS 2285176 HAS SOUS 958122 HAS SOUPS 958122 WITH SCORE 960407.176
AT ITER 65 NEW BEST:: SOT 6316272 SOS 2282272 HAS SOPS 2282272 HAS SOUS 954972 HAS SOUPS 954972 WITH SCORE 957254.272
AT ITER 71 NEW BEST:: SOT 6315698 SOS 2281122 HAS SOPS 2281122 HAS SOUS 954254 HAS SOUPS 954254 WITH SCORE 956535.122
AT ITER 86 NEW BEST:: SOT 6315488 SOS 2280702 HAS SOPS 2280702 HAS SOUS 954014 HAS SOUPS 954014 WITH SCORE 956294.702
AT ITER 89 NEW BEST:: SOT 6314676 SOS 2279314 HAS SOPS 2279314 HAS SOUS 953058 HAS SOUPS 953058 WITH SCORE 955337.314
AT ITER 91 NEW BEST:: SOT 6314659 SOS 2279280 HAS SOPS 2279280 HAS SOUS 951061 HAS SOUPS 951061 WITH SCORE 953340.28
AT ITER 113 NEW BEST:: SOT 6313660 SOS 2277840 HAS SOPS 2277840 HAS SOUS 949999 HAS SOUPS 949999 WITH SCORE 952276.84
AT ITER 123 NEW BEST:: SOT 6310993 SOS 2272162 HAS SOPS 2272162 HAS SOUS 946829 HAS SOUPS 946829 WITH SCORE 949101.162
AT ITER 135 NEW BEST:: SOT 6308400 SOS 2266976 HAS SOPS 2266976 HAS SOUS 944447 HAS SOUPS 944447 WITH SCORE 946713.976
AT ITER 149 NEW BEST:: SOT 6307721 SOS 2265618 HAS SOPS 2265618 HAS SOUS 943671 HAS SOUPS 943671 WITH SCORE 945936.618
AT ITER 163 NEW BEST:: SOT 6307721 SOS 2265618 HAS SOPS 2265618 HAS SOUS 943608 HAS SOUPS 943608 WITH SCORE 945873.618
AT ITER 164 NEW BEST:: SOT 6307721 SOS 2265516 HAS SOPS 2265516 HAS SOUS 943608 HAS SOUPS 943608 WITH SCORE 945873.516
AT ITER 166 NEW BEST:: SOT 6306213 SOS 2262500 HAS SOPS 2262500 HAS SOUS 942056 HAS SOUPS 942056 WITH SCORE 944318.5
AT ITER 188 NEW BEST:: SOT 6305951 SOS 2261350 HAS SOPS 2261350 HAS SOUS 941572 HAS SOUPS 941572 WITH SCORE 943833.35
AT ITER 205 NEW BEST:: SOT 6304117 SOS 2258628 HAS SOPS 2258628 HAS SOUS 939516 HAS SOUPS 939516 WITH SCORE 941774.628
AT ITER 258 NEW BEST:: SOT 6303340 SOS 2257740 HAS SOPS 2257740 HAS SOUS 938628 HAS SOUPS 938628 WITH SCORE 940885.74
AT ITER 279 NEW BEST:: SOT 6303186 SOS 2257586 HAS SOPS 2257586 HAS SOUS 938474 HAS SOUPS 938474 WITH SCORE 940731.586
AT ITER 301 NEW BEST:: SOT 6303050 SOS 2256562 HAS SOPS 2256562 HAS SOUS 938116 HAS SOUPS 938116 WITH SCORE 940372.562
AT ITER 302 NEW BEST:: SOT 6303050 SOS 2253944 HAS SOPS 2253944 HAS SOUS 937742 HAS SOUPS 937742 WITH SCORE 939995.944
AT ITER 308 NEW BEST:: SOT 6303050 SOS 2253426 HAS SOPS 2253426 HAS SOUS 937668 HAS SOUPS 937668 WITH SCORE 939921.426
AT ITER 310 NEW BEST:: SOT 6303050 SOS 2253426 HAS SOPS 2253426 HAS SOUS 937659 HAS SOUPS 937659 WITH SCORE 939912.426
AT ITER 336 NEW BEST:: SOT 6303050 SOS 2253366 HAS SOPS 2253366 HAS SOUS 937599 HAS SOUPS 937599 WITH SCORE 939852.366
AT ITER 359 NEW BEST:: SOT 6300698 SOS 2250678 HAS SOPS 2250678 HAS SOUS 934665 HAS SOUPS 934665 WITH SCORE 936915.678
AT ITER 363 NEW BEST:: SOT 6300061 SOS 2249313 HAS SOPS 2249313 HAS SOUS 933846 HAS SOUPS 933846 WITH SCORE 936095.313
AT ITER 365 NEW BEST:: SOT 6299841 SOS 2247333 HAS SOPS 2247333 HAS SOUS 933186 HAS SOUPS 933186 WITH SCORE 935433.333
AT ITER 366 NEW BEST:: SOT 6298310 SOS 2244271 HAS SOPS 2244271 HAS SOUS 931450 HAS SOUPS 931450 WITH SCORE 933694.271
AT ITER 376 NEW BEST:: SOT 6295825 SOS 2238946 HAS SOPS 2238946 HAS SOUS 928255 HAS SOUPS 928255 WITH SCORE 930493.946
AT ITER 378 NEW BEST:: SOT 6295048 SOS 2238058 HAS SOPS 2238058 HAS SOUS 926701 HAS SOUPS 926701 WITH SCORE 928939.058
AT ITER 390 NEW BEST:: SOT 6295048 SOS 2238058 HAS SOPS 2238058 HAS SOUS 926611 HAS SOUPS 926611 WITH SCORE 928849.058
AT ITER 436 NEW BEST:: SOT 6294271 SOS 2234993 HAS SOPS 2234993 HAS SOUS 926527 HAS SOUPS 926527 WITH SCORE 928761.993
AT ITER 437 NEW BEST:: SOT 6294271 SOS 2234417 HAS SOPS 2234417 HAS SOUS 926383 HAS SOUPS 926383 WITH SCORE 928617.417
AT ITER 442 NEW BEST:: SOT 6294271 SOS 2233841 HAS SOPS 2233841 HAS SOUS 926239 HAS SOUPS 926239 WITH SCORE 928472.841
AT ITER 448 NEW BEST:: SOT 6294271 SOS 2235696 HAS SOPS 2235696 HAS SOUS 925159 HAS SOUPS 925159 WITH SCORE 927394.696
AT ITER 449 NEW BEST:: SOT 6293927 SOS 2232944 HAS SOPS 2232944 HAS SOUS 924471 HAS SOUPS 924471 WITH SCORE 926703.944
AT ITER 471 NEW BEST:: SOT 6293834 SOS 2232275 HAS SOPS 2232275 HAS SOUS 924234 HAS SOUPS 924234 WITH SCORE 926466.275
AT ITER 485 NEW BEST:: SOT 6293834 SOS 2232244 HAS SOPS 2232244 HAS SOUS 924203 HAS SOUPS 924203 WITH SCORE 926435.244
AT ITER 503 NEW BEST:: SOT 6293393 SOS 2231152 HAS SOPS 2231152 HAS SOUS 923909 HAS SOUPS 923909 WITH SCORE 926140.152
AT ITER 524 NEW BEST:: SOT 6293393 SOS 2230800 HAS SOPS 2230800 HAS SOUS 923821 HAS SOUPS 923821 WITH SCORE 926051.8
AT ITER 547 NEW BEST:: SOT 6293393 SOS 2231549 HAS SOPS 2231549 HAS SOUS 923181 HAS SOUPS 923181 WITH SCORE 925412.549
AT ITER 549 NEW BEST:: SOT 6293352 SOS 2231508 HAS SOPS 2231508 HAS SOUS 923140 HAS SOUPS 923140 WITH SCORE 925371.508
AT ITER 562 NEW BEST:: SOT 6293301 SOS 2231406 HAS SOPS 2231406 HAS SOUS 923038 HAS SOUPS 923038 WITH SCORE 925269.406
AT ITER 577 NEW BEST:: SOT 6293275 SOS 2231380 HAS SOPS 2231380 HAS SOUS 922986 HAS SOUPS 922986 WITH SCORE 925217.38
AT ITER 583 NEW BEST:: SOT 6293400 SOS 2231505 HAS SOPS 2231505 HAS SOUS 922736 HAS SOUPS 922736 WITH SCORE 924967.505
AT ITER 591 NEW BEST:: SOT 6293245 SOS 2234753 HAS SOPS 2234753 HAS SOUS 922516 HAS SOUPS 922516 WITH SCORE 924750.753
AT ITER 614 NEW BEST:: SOT 6293243 SOS 2234737 HAS SOPS 2234737 HAS SOUS 922512 HAS SOUPS 922512 WITH SCORE 924746.737
AT ITER 615 NEW BEST:: SOT 6293243 SOS 2234737 HAS SOPS 2234737 HAS SOUS 922371 HAS SOUPS 922371 WITH SCORE 924605.737
AT ITER 632 NEW BEST:: SOT 6293162 SOS 2234575 HAS SOPS 2234575 HAS SOUS 922209 HAS SOUPS 922209 WITH SCORE 924443.575
AT ITER 644 NEW BEST:: SOT 6293051 SOS 2235271 HAS SOPS 2235271 HAS SOUS 921885 HAS SOUPS 921885 WITH SCORE 924120.271
AT ITER 653 NEW BEST:: SOT 6293051 SOS 2235271 HAS SOPS 2235271 HAS SOUS 921825 HAS SOUPS 921825 WITH SCORE 924060.271
AT ITER 682 NEW BEST:: SOT 6293037 SOS 2235257 HAS SOPS 2235257 HAS SOUS 921811 HAS SOUPS 921811 WITH SCORE 924046.257
AT ITER 693 NEW BEST:: SOT 6293037 SOS 2233654 HAS SOPS 2233654 HAS SOUS 921582 HAS SOUPS 921582 WITH SCORE 923815.654
AT ITER 722 NEW BEST:: SOT 6293037 SOS 2233654 HAS SOPS 2233654 HAS SOUS 921402 HAS SOUPS 921402 WITH SCORE 923635.654
AT ITER 729 NEW BEST:: SOT 6293083 SOS 2232923 HAS SOPS 2232923 HAS SOUS 921337 HAS SOUPS 921337 WITH SCORE 923569.923
AT ITER 741 NEW BEST:: SOT 6293083 SOS 2232805 HAS SOPS 2232805 HAS SOUS 921219 HAS SOUPS 921219 WITH SCORE 923451.805
AT ITER 752 NEW BEST:: SOT 6293083 SOS 2232654 HAS SOPS 2232654 HAS SOUS 921068 HAS SOUPS 921068 WITH SCORE 923300.654
AT ITER 771 NEW BEST:: SOT 6293017 SOS 2232588 HAS SOPS 2232588 HAS SOUS 920967 HAS SOUPS 920967 WITH SCORE 923199.588
AT ITER 775 NEW BEST:: SOT 6292207 SOS 2231778 HAS SOPS 2231778 HAS SOUS 920157 HAS SOUPS 920157 WITH SCORE 922388.778
AT ITER 806 NEW BEST:: SOT 6291749 SOS 2231368 HAS SOPS 2231368 HAS SOUS 920083 HAS SOUPS 920083 WITH SCORE 922314.368
AT ITER 810 NEW BEST:: SOT 6291536 SOS 2230942 HAS SOPS 2230942 HAS SOUS 918937 HAS SOUPS 918937 WITH SCORE 921167.942
AT ITER 812 NEW BEST:: SOT 6291536 SOS 2230942 HAS SOPS 2230942 HAS SOUS 918905 HAS SOUPS 918905 WITH SCORE 921135.942
AT ITER 817 NEW BEST:: SOT 6291977 SOS 2231647 HAS SOPS 2231647 HAS SOUS 918269 HAS SOUPS 918269 WITH SCORE 920500.647
AT ITER 819 NEW BEST:: SOT 6291737 SOS 2231589 HAS SOPS 2231589 HAS SOUS 918055 HAS SOUPS 918055 WITH SCORE 920286.589
AT ITER 822 NEW BEST:: SOT 6291622 SOS 2230738 HAS SOPS 2230738 HAS SOUS 918055 HAS SOUPS 918055 WITH SCORE 920285.738
AT ITER 824 NEW BEST:: SOT 6291432 SOS 2229332 HAS SOPS 2229332 HAS SOUS 917979 HAS SOUPS 917979 WITH SCORE 920208.332
AT ITER 835 NEW BEST:: SOT 6291496 SOS 2228892 HAS SOPS 2228892 HAS SOUS 917971 HAS SOUPS 917971 WITH SCORE 920199.892
AT ITER 845 NEW BEST:: SOT 6291346 SOS 2228742 HAS SOPS 2228742 HAS SOUS 917821 HAS SOUPS 917821 WITH SCORE 920049.742
AT ITER 850 NEW BEST:: SOT 6291255 SOS 2228651 HAS SOPS 2228651 HAS SOUS 917730 HAS SOUPS 917730 WITH SCORE 919958.651
AT ITER 858 NEW BEST:: SOT 6289735 SOS 2225611 HAS SOPS 2225611 HAS SOUS 916082 HAS SOUPS 916082 WITH SCORE 918307.611
AT ITER 888 NEW BEST:: SOT 6289735 SOS 2223691 HAS SOPS 2223691 HAS SOUS 915602 HAS SOUPS 915602 WITH SCORE 917825.691
AT ITER 904 NEW BEST:: SOT 6288279 SOS 2221659 HAS SOPS 2221659 HAS SOUS 914002 HAS SOUPS 914002 WITH SCORE 916223.659
AT ITER 930 NEW BEST:: SOT 6287859 SOS 2221179 HAS SOPS 2221179 HAS SOUS 913540 HAS SOUPS 913540 WITH SCORE 915761.179
AT ITER 950 NEW BEST:: SOT 6287859 SOS 2221179 HAS SOPS 2221179 HAS SOUS 913490 HAS SOUPS 913490 WITH SCORE 915711.179
AT ITER 963 NEW BEST:: SOT 6287748 SOS 2221785 HAS SOPS 2221785 HAS SOUS 912302 HAS SOUPS 912302 WITH SCORE 914523.785
AT ITER 971 NEW BEST:: SOT 6287748 SOS 2221785 HAS SOPS 2221785 HAS SOUS 912212 HAS SOUPS 912212 WITH SCORE 914433.785
AT ITER 974 NEW BEST:: SOT 6286839 SOS 2220435 HAS SOPS 2220435 HAS SOUS 911240 HAS SOUPS 911240 WITH SCORE 913460.435
AT ITER 988 NEW BEST:: SOT 6286839 SOS 2220139 HAS SOPS 2220139 HAS SOUS 911166 HAS SOUPS 911166 WITH SCORE 913386.139
AT ITER 1018 NEW BEST:: SOT 6285831 SOS 2218627 HAS SOPS 2218627 HAS SOUS 910086 HAS SOUPS 910086 WITH SCORE 912304.627
AT ITER 1031 NEW BEST:: SOT 6285817 SOS 2218515 HAS SOPS 2218515 HAS SOUS 910058 HAS SOUPS 910058 WITH SCORE 912276.515
AT ITER 1035 NEW BEST:: SOT 6284543 SOS 2216353 HAS SOPS 2216353 HAS SOUS 908562 HAS SOUPS 908562 WITH SCORE 910778.353
AT ITER 1049 NEW BEST:: SOT 6282876 SOS 2213019 HAS SOPS 2213019 HAS SOUS 906759 HAS SOUPS 906759 WITH SCORE 908972.019
AT ITER 1056 NEW BEST:: SOT 6282294 SOS 2212437 HAS SOPS 2212437 HAS SOUS 906177 HAS SOUPS 906177 WITH SCORE 908389.437
AT ITER 1058 NEW BEST:: SOT 6282294 SOS 2210749 HAS SOPS 2210749 HAS SOUS 905755 HAS SOUPS 905755 WITH SCORE 907965.749
AT ITER 1079 NEW BEST:: SOT 6280285 SOS 2206444 HAS SOPS 2206444 HAS SOUS 903172 HAS SOUPS 903172 WITH SCORE 905378.444
AT ITER 1086 NEW BEST:: SOT 6280285 SOS 2206444 HAS SOPS 2206444 HAS SOUS 903141 HAS SOUPS 903141 WITH SCORE 905347.444
AT ITER 1114 NEW BEST:: SOT 6280285 SOS 2206444 HAS SOPS 2206444 HAS SOUS 902788 HAS SOUPS 902788 WITH SCORE 904994.444
AT ITER 1122 NEW BEST:: SOT 6280285 SOS 2205852 HAS SOPS 2205852 HAS SOUS 902712 HAS SOUPS 902712 WITH SCORE 904917.852
AT ITER 1127 NEW BEST:: SOT 6280285 SOS 2204124 HAS SOPS 2204124 HAS SOUS 902280 HAS SOUPS 902280 WITH SCORE 904484.124
AT ITER 1138 NEW BEST:: SOT 6280285 SOS 2204019 HAS SOPS 2204019 HAS SOUS 901977 HAS SOUPS 901977 WITH SCORE 904181.019
AT ITER 1142 NEW BEST:: SOT 6280236 SOS 2203921 HAS SOPS 2203921 HAS SOUS 901879 HAS SOUPS 901879 WITH SCORE 904082.921
AT ITER 1150 NEW BEST:: SOT 6280212 SOS 2203897 HAS SOPS 2203897 HAS SOUS 901855 HAS SOUPS 901855 WITH SCORE 904058.897
AT ITER 1159 NEW BEST:: SOT 6280321 SOS 2203229 HAS SOPS 2203229 HAS SOUS 901853 HAS SOUPS 901853 WITH SCORE 904056.229
AT ITER 1163 NEW BEST:: SOT 6280247 SOS 2202746 HAS SOPS 2202746 HAS SOUS 901394 HAS SOUPS 901394 WITH SCORE 903596.746
AT ITER 1176 NEW BEST:: SOT 6277599 SOS 2197456 HAS SOPS 2197456 HAS SOUS 898510 HAS SOUPS 898510 WITH SCORE 900707.456
AT ITER 1181 NEW BEST:: SOT 6276822 SOS 2196568 HAS SOPS 2196568 HAS SOUS 897001 HAS SOUPS 897001 WITH SCORE 899197.568
AT ITER 1182 NEW BEST:: SOT 6276822 SOS 2196568 HAS SOPS 2196568 HAS SOUS 896968 HAS SOUPS 896968 WITH SCORE 899164.568
AT ITER 1183 NEW BEST:: SOT 6275996 SOS 2195624 HAS SOPS 2195624 HAS SOUS 895670 HAS SOUPS 895670 WITH SCORE 897865.624
AT ITER 1186 NEW BEST:: SOT 6275996 SOS 2195624 HAS SOPS 2195624 HAS SOUS 895520 HAS SOUPS 895520 WITH SCORE 897715.624
AT ITER 1206 NEW BEST:: SOT 6275965 SOS 2195593 HAS SOPS 2195593 HAS SOUS 895489 HAS SOUPS 895489 WITH SCORE 897684.593
AT ITER 1208 NEW BEST:: SOT 6275898 SOS 2195022 HAS SOPS 2195022 HAS SOUS 895296 HAS SOUPS 895296 WITH SCORE 897491.022
AT ITER 1238 NEW BEST:: SOT 6273239 SOS 2189704 HAS SOPS 2189704 HAS SOUS 892320 HAS SOUPS 892320 WITH SCORE 894509.704
AT ITER 1248 NEW BEST:: SOT 6272231 SOS 2187688 HAS SOPS 2187688 HAS SOUS 891168 HAS SOUPS 891168 WITH SCORE 893355.688
AT ITER 1256 NEW BEST:: SOT 6272231 SOS 2185406 HAS SOPS 2185406 HAS SOUS 890842 HAS SOUPS 890842 WITH SCORE 893027.406
AT ITER 1282 NEW BEST:: SOT 6272120 SOS 2184518 HAS SOPS 2184518 HAS SOUS 890620 HAS SOUPS 890620 WITH SCORE 892804.518
AT ITER 1311 NEW BEST:: SOT 6272120 SOS 2184362 HAS SOPS 2184362 HAS SOUS 890620 HAS SOUPS 890620 WITH SCORE 892804.362
AT ITER 1318 NEW BEST:: SOT 6272120 SOS 2183617 HAS SOPS 2183617 HAS SOUS 890541 HAS SOUPS 890541 WITH SCORE 892724.617
AT ITER 1320 NEW BEST:: SOT 6272120 SOS 2181426 HAS SOPS 2181426 HAS SOUS 890228 HAS SOUPS 890228 WITH SCORE 892409.426
AT ITER 1343 NEW BEST:: SOT 6272120 SOS 2181426 HAS SOPS 2181426 HAS SOUS 890215 HAS SOUPS 890215 WITH SCORE 892396.426
AT ITER 1347 NEW BEST:: SOT 6272120 SOS 2181426 HAS SOPS 2181426 HAS SOUS 890129 HAS SOUPS 890129 WITH SCORE 892310.426
AT ITER 1364 NEW BEST:: SOT 6271269 SOS 2180596 HAS SOPS 2180596 HAS SOUS 889446 HAS SOUPS 889446 WITH SCORE 891626.596
AT ITER 1368 NEW BEST:: SOT 6271137 SOS 2180464 HAS SOPS 2180464 HAS SOUS 889314 HAS SOUPS 889314 WITH SCORE 891494.464
AT ITER 1376 NEW BEST:: SOT 6268995 SOS 2177434 HAS SOPS 2177434 HAS SOUS 886950 HAS SOUPS 886950 WITH SCORE 889127.434
AT ITER 1395 NEW BEST:: SOT 6268932 SOS 2177299 HAS SOPS 2177299 HAS SOUS 886932 HAS SOUPS 886932 WITH SCORE 889109.299
AT ITER 1396 NEW BEST:: SOT 6268260 SOS 2176627 HAS SOPS 2176627 HAS SOUS 886260 HAS SOUPS 886260 WITH SCORE 888436.627
AT ITER 1411 NEW BEST:: SOT 6268248 SOS 2176615 HAS SOPS 2176615 HAS SOUS 886248 HAS SOUPS 886248 WITH SCORE 888424.615
AT ITER 1439 NEW BEST:: SOT 6267702 SOS 2175991 HAS SOPS 2175991 HAS SOUS 885624 HAS SOUPS 885624 WITH SCORE 887799.991
AT ITER 1464 NEW BEST:: SOT 6267375 SOS 2173375 HAS SOPS 2173375 HAS SOUS 884970 HAS SOUPS 884970 WITH SCORE 887143.375
AT ITER 1467 NEW BEST:: SOT 6267375 SOS 2173375 HAS SOPS 2173375 HAS SOUS 884757 HAS SOUPS 884757 WITH SCORE 886930.375
AT ITER 1472 NEW BEST:: SOT 6267004 SOS 2173004 HAS SOPS 2173004 HAS SOUS 884386 HAS SOUPS 884386 WITH SCORE 886559.004
AT ITER 1481 NEW BEST:: SOT 6266806 SOS 2171222 HAS SOPS 2171222 HAS SOUS 883792 HAS SOUPS 883792 WITH SCORE 885963.222
AT ITER 1503 NEW BEST:: SOT 6266734 SOS 2170646 HAS SOPS 2170646 HAS SOUS 883648 HAS SOUPS 883648 WITH SCORE 885818.646
AT ITER 1522 NEW BEST:: SOT 6266734 SOS 2171281 HAS SOPS 2171281 HAS SOUS 882861 HAS SOUPS 882861 WITH SCORE 885032.281
AT ITER 1523 NEW BEST:: SOT 6266734 SOS 2170705 HAS SOPS 2170705 HAS SOUS 882717 HAS SOUPS 882717 WITH SCORE 884887.705
AT ITER 1529 NEW BEST:: SOT 6266671 SOS 2170089 HAS SOPS 2170089 HAS SOUS 882479 HAS SOUPS 882479 WITH SCORE 884649.089
AT ITER 1537 NEW BEST:: SOT 6266671 SOS 2170089 HAS SOPS 2170089 HAS SOUS 882380 HAS SOUPS 882380 WITH SCORE 884550.089
AT ITER 1540 NEW BEST:: SOT 6266671 SOS 2169809 HAS SOPS 2169809 HAS SOUS 882340 HAS SOUPS 882340 WITH SCORE 884509.809
AT ITER 1554 NEW BEST:: SOT 6266660 SOS 2171149 HAS SOPS 2171149 HAS SOUS 881612 HAS SOUPS 881612 WITH SCORE 883783.149
AT ITER 1572 NEW BEST:: SOT 6266660 SOS 2171149 HAS SOPS 2171149 HAS SOUS 881516 HAS SOUPS 881516 WITH SCORE 883687.149
AT ITER 1581 NEW BEST:: SOT 6266565 SOS 2171054 HAS SOPS 2171054 HAS SOUS 881443 HAS SOUPS 881443 WITH SCORE 883614.054
AT ITER 1591 NEW BEST:: SOT 6266565 SOS 2173166 HAS SOPS 2173166 HAS SOUS 881341 HAS SOUPS 881341 WITH SCORE 883514.166
AT ITER 1598 NEW BEST:: SOT 6265998 SOS 2172599 HAS SOPS 2172599 HAS SOUS 880774 HAS SOUPS 880774 WITH SCORE 882946.599
AT ITER 1613 NEW BEST:: SOT 6265956 SOS 2172551 HAS SOPS 2172551 HAS SOUS 880726 HAS SOUPS 880726 WITH SCORE 882898.551
AT ITER 1624 NEW BEST:: SOT 6265179 SOS 2170181 HAS SOPS 2170181 HAS SOUS 880438 HAS SOUPS 880438 WITH SCORE 882608.181
AT ITER 1651 NEW BEST:: SOT 6265149 SOS 2170151 HAS SOPS 2170151 HAS SOUS 880288 HAS SOUPS 880288 WITH SCORE 882458.151
AT ITER 1655 NEW BEST:: SOT 6265149 SOS 2170823 HAS SOPS 2170823 HAS SOUS 879712 HAS SOUPS 879712 WITH SCORE 881882.823
AT ITER 1700 NEW BEST:: SOT 6265149 SOS 2171101 HAS SOPS 2171101 HAS SOUS 878900 HAS SOUPS 878900 WITH SCORE 881071.101
AT ITER 1704 NEW BEST:: SOT 6265208 SOS 2171160 HAS SOPS 2171160 HAS SOUS 878782 HAS SOUPS 878782 WITH SCORE 880953.16
AT ITER 1716 NEW BEST:: SOT 6265104 SOS 2171030 HAS SOPS 2171030 HAS SOUS 878652 HAS SOUPS 878652 WITH SCORE 880823.03
AT ITER 1718 NEW BEST:: SOT 6265043 SOS 2170542 HAS SOPS 2170542 HAS SOUS 878530 HAS SOUPS 878530 WITH SCORE 880700.542
AT ITER 1745 NEW BEST:: SOT 6265323 SOS 2170711 HAS SOPS 2170711 HAS SOUS 878033 HAS SOUPS 878033 WITH SCORE 880203.711
AT ITER 1749 NEW BEST:: SOT 6265251 SOS 2170135 HAS SOPS 2170135 HAS SOUS 877889 HAS SOUPS 877889 WITH SCORE 880059.135
AT ITER 1772 NEW BEST:: SOT 6265251 SOS 2170135 HAS SOPS 2170135 HAS SOUS 877798 HAS SOUPS 877798 WITH SCORE 879968.135
AT ITER 1774 NEW BEST:: SOT 6265186 SOS 2169615 HAS SOPS 2169615 HAS SOUS 877668 HAS SOUPS 877668 WITH SCORE 879837.615
AT ITER 1798 NEW BEST:: SOT 6264983 SOS 2169383 HAS SOPS 2169383 HAS SOUS 877233 HAS SOUPS 877233 WITH SCORE 879402.383
AT ITER 1815 NEW BEST:: SOT 6264983 SOS 2169383 HAS SOPS 2169383 HAS SOUS 877152 HAS SOUPS 877152 WITH SCORE 879321.383
AT ITER 1847 NEW BEST:: SOT 6264668 SOS 2169023 HAS SOPS 2169023 HAS SOUS 876792 HAS SOUPS 876792 WITH SCORE 878961.023
AT ITER 1873 NEW BEST:: SOT 6264423 SOS 2168533 HAS SOPS 2168533 HAS SOUS 876512 HAS SOUPS 876512 WITH SCORE 878680.533
AT ITER 1877 NEW BEST:: SOT 6264021 SOS 2168131 HAS SOPS 2168131 HAS SOUS 876110 HAS SOUPS 876110 WITH SCORE 878278.131
AT ITER 1878 NEW BEST:: SOT 6263797 SOS 2167683 HAS SOPS 2167683 HAS SOUS 875854 HAS SOUPS 875854 WITH SCORE 878021.683
AT ITER 1900 NEW BEST:: SOT 6262295 SOS 2164679 HAS SOPS 2164679 HAS SOUS 874350 HAS SOUPS 874350 WITH SCORE 876514.679
AT ITER 1910 NEW BEST:: SOT 6262184 SOS 2163791 HAS SOPS 2163791 HAS SOUS 874128 HAS SOUPS 874128 WITH SCORE 876291.791
AT ITER 1912 NEW BEST:: SOT 6261484 SOS 2162391 HAS SOPS 2162391 HAS SOUS 873328 HAS SOUPS 873328 WITH SCORE 875490.391
AT ITER 1923 NEW BEST:: SOT 6261484 SOS 2162391 HAS SOPS 2162391 HAS SOUS 873236 HAS SOUPS 873236 WITH SCORE 875398.391
AT ITER 1934 NEW BEST:: SOT 6261484 SOS 2162199 HAS SOPS 2162199 HAS SOUS 873188 HAS SOUPS 873188 WITH SCORE 875350.199
AT ITER 1945 NEW BEST:: SOT 6261484 SOS 2160647 HAS SOPS 2160647 HAS SOUS 872800 HAS SOUPS 872800 WITH SCORE 874960.647
AT ITER 1951 NEW BEST:: SOT 6261103 SOS 2157561 HAS SOPS 2157561 HAS SOUS 871706 HAS SOUPS 871706 WITH SCORE 873863.561
AT ITER 1976 NEW BEST:: SOT 6261041 SOS 2158079 HAS SOPS 2158079 HAS SOUS 870513 HAS SOUPS 870513 WITH SCORE 872671.079
AT ITER 1977 NEW BEST:: SOT 6261041 SOS 2157113 HAS SOPS 2157113 HAS SOUS 870375 HAS SOUPS 870375 WITH SCORE 872532.113
AT ITER 1981 NEW BEST:: SOT 6261087 SOS 2155829 HAS SOPS 2155829 HAS SOUS 870231 HAS SOUPS 870231 WITH SCORE 872386.829
AT ITER 2005 NEW BEST:: SOT 6261024 SOS 2155325 HAS SOPS 2155325 HAS SOUS 870105 HAS SOUPS 870105 WITH SCORE 872260.325
AT ITER 2015 NEW BEST:: SOT 6260584 SOS 2154885 HAS SOPS 2154885 HAS SOUS 869665 HAS SOUPS 869665 WITH SCORE 871819.885
AT ITER 2018 NEW BEST:: SOT 6260381 SOS 2153261 HAS SOPS 2153261 HAS SOUS 869259 HAS SOUPS 869259 WITH SCORE 871412.261
AT ITER 2039 NEW BEST:: SOT 6260403 SOS 2153283 HAS SOPS 2153283 HAS SOUS 869215 HAS SOUPS 869215 WITH SCORE 871368.283
AT ITER 2042 NEW BEST:: SOT 6260417 SOS 2153299 HAS SOPS 2153299 HAS SOUS 869129 HAS SOUPS 869129 WITH SCORE 871282.299
AT ITER 2049 NEW BEST:: SOT 6260392 SOS 2153274 HAS SOPS 2153274 HAS SOUS 869104 HAS SOUPS 869104 WITH SCORE 871257.274
AT ITER 2058 NEW BEST:: SOT 6260392 SOS 2153951 HAS SOPS 2153951 HAS SOUS 868767 HAS SOUPS 868767 WITH SCORE 870920.951
AT ITER 2079 NEW BEST:: SOT 6260434 SOS 2153489 HAS SOPS 2153489 HAS SOUS 868737 HAS SOUPS 868737 WITH SCORE 870890.489
AT ITER 2108 NEW BEST:: SOT 6260536 SOS 2153591 HAS SOPS 2153591 HAS SOUS 868735 HAS SOUPS 868735 WITH SCORE 870888.591
AT ITER 2115 NEW BEST:: SOT 6260536 SOS 2153493 HAS SOPS 2153493 HAS SOUS 868721 HAS SOUPS 868721 WITH SCORE 870874.493
AT ITER 2159 NEW BEST:: SOT 6260361 SOS 2152093 HAS SOPS 2152093 HAS SOUS 868371 HAS SOUPS 868371 WITH SCORE 870523.093
AT ITER 2179 NEW BEST:: SOT 6260361 SOS 2152093 HAS SOPS 2152093 HAS SOUS 868119 HAS SOUPS 868119 WITH SCORE 870271.093
AT ITER 2193 NEW BEST:: SOT 6260314 SOS 2152046 HAS SOPS 2152046 HAS SOUS 868115 HAS SOUPS 868115 WITH SCORE 870267.046
AT ITER 2208 NEW BEST:: SOT 6260251 SOS 2151378 HAS SOPS 2151378 HAS SOUS 867825 HAS SOUPS 867825 WITH SCORE 869976.378
AT ITER 2210 NEW BEST:: SOT 6260190 SOS 2151317 HAS SOPS 2151317 HAS SOUS 867764 HAS SOUPS 867764 WITH SCORE 869915.317
AT ITER 2228 NEW BEST:: SOT 6260190 SOS 2151317 HAS SOPS 2151317 HAS SOUS 867739 HAS SOUPS 867739 WITH SCORE 869890.317
AT ITER 2235 NEW BEST:: SOT 6260020 SOS 2150643 HAS SOPS 2150643 HAS SOUS 867443 HAS SOUPS 867443 WITH SCORE 869593.643
AT ITER 2246 NEW BEST:: SOT 6260012 SOS 2150963 HAS SOPS 2150963 HAS SOUS 867427 HAS SOUPS 867427 WITH SCORE 869577.963
AT ITER 2277 NEW BEST:: SOT 6260012 SOS 2150987 HAS SOPS 2150987 HAS SOUS 867403 HAS SOUPS 867403 WITH SCORE 869553.987
AT ITER 2284 NEW BEST:: SOT 6260012 SOS 2150987 HAS SOPS 2150987 HAS SOUS 867101 HAS SOUPS 867101 WITH SCORE 869251.987
AT ITER 2328 NEW BEST:: SOT 6259368 SOS 2149376 HAS SOPS 2149376 HAS SOUS 867032 HAS SOUPS 867032 WITH SCORE 869181.376
AT ITER 2364 NEW BEST:: SOT 6258577 SOS 2148622 HAS SOPS 2148622 HAS SOUS 866291 HAS SOUPS 866291 WITH SCORE 868439.622
AT ITER 2367 NEW BEST:: SOT 6258577 SOS 2148622 HAS SOPS 2148622 HAS SOUS 866269 HAS SOUPS 866269 WITH SCORE 868417.622
AT ITER 2382 NEW BEST:: SOT 6258205 SOS 2145646 HAS SOPS 2145646 HAS SOUS 865525 HAS SOUPS 865525 WITH SCORE 867670.646
AT ITER 2388 NEW BEST:: SOT 6258205 SOS 2145580 HAS SOPS 2145580 HAS SOUS 865261 HAS SOUPS 865261 WITH SCORE 867406.58
AT ITER 2400 NEW BEST:: SOT 6257983 SOS 2145358 HAS SOPS 2145358 HAS SOUS 865039 HAS SOUPS 865039 WITH SCORE 867184.358
AT ITER 2403 NEW BEST:: SOT 6257983 SOS 2145179 HAS SOPS 2145179 HAS SOUS 864860 HAS SOUPS 864860 WITH SCORE 867005.179
AT ITER 2411 NEW BEST:: SOT 6257872 SOS 2144291 HAS SOPS 2144291 HAS SOUS 864638 HAS SOUPS 864638 WITH SCORE 866782.291
AT ITER 2422 NEW BEST:: SOT 6257431 SOS 2142352 HAS SOPS 2142352 HAS SOUS 864505 HAS SOUPS 864505 WITH SCORE 866647.352
AT ITER 2424 NEW BEST:: SOT 6256570 SOS 2140987 HAS SOPS 2140987 HAS SOUS 863518 HAS SOUPS 863518 WITH SCORE 865658.987
AT ITER 2429 NEW BEST:: SOT 6256288 SOS 2139631 HAS SOPS 2139631 HAS SOUS 863516 HAS SOUPS 863516 WITH SCORE 865655.631
AT ITER 2433 NEW BEST:: SOT 6254160 SOS 2137199 HAS SOPS 2137199 HAS SOUS 860639 HAS SOUPS 860639 WITH SCORE 862776.199
AT ITER 2437 NEW BEST:: SOT 6254106 SOS 2137145 HAS SOPS 2137145 HAS SOUS 860585 HAS SOUPS 860585 WITH SCORE 862722.145
AT ITER 2442 NEW BEST:: SOT 6254106 SOS 2136617 HAS SOPS 2136617 HAS SOUS 860453 HAS SOUPS 860453 WITH SCORE 862589.617
AT ITER 2451 NEW BEST:: SOT 6254106 SOS 2136153 HAS SOPS 2136153 HAS SOUS 860337 HAS SOUPS 860337 WITH SCORE 862473.153
AT ITER 2461 NEW BEST:: SOT 6254106 SOS 2134233 HAS SOPS 2134233 HAS SOUS 859857 HAS SOUPS 859857 WITH SCORE 861991.233
AT ITER 2465 NEW BEST:: SOT 6254085 SOS 2134209 HAS SOPS 2134209 HAS SOUS 859812 HAS SOUPS 859812 WITH SCORE 861946.209
AT ITER 2532 NEW BEST:: SOT 6253928 SOS 2134052 HAS SOPS 2134052 HAS SOUS 859606 HAS SOUPS 859606 WITH SCORE 861740.052
AT ITER 2545 NEW BEST:: SOT 6251779 SOS 2131903 HAS SOPS 2131903 HAS SOUS 857457 HAS SOUPS 857457 WITH SCORE 859588.903
AT ITER 2550 NEW BEST:: SOT 6251779 SOS 2131903 HAS SOPS 2131903 HAS SOUS 857451 HAS SOUPS 857451 WITH SCORE 859582.903
AT ITER 2584 NEW BEST:: SOT 6251002 SOS 2129867 HAS SOPS 2129867 HAS SOUS 856399 HAS SOUPS 856399 WITH SCORE 858528.867
AT ITER 2600 NEW BEST:: SOT 6248755 SOS 2127299 HAS SOPS 2127299 HAS SOUS 853157 HAS SOUPS 853157 WITH SCORE 855284.299
AT ITER 2610 NEW BEST:: SOT 6248664 SOS 2126999 HAS SOPS 2126999 HAS SOUS 853130 HAS SOUPS 853130 WITH SCORE 855256.999
AT ITER 2620 NEW BEST:: SOT 6248664 SOS 2126960 HAS SOPS 2126960 HAS SOUS 853091 HAS SOUPS 853091 WITH SCORE 855217.96
AT ITER 2656 NEW BEST:: SOT 6248594 SOS 2126890 HAS SOPS 2126890 HAS SOUS 853021 HAS SOUPS 853021 WITH SCORE 855147.89
AT ITER 2670 NEW BEST:: SOT 6248786 SOS 2129002 HAS SOPS 2129002 HAS SOUS 851982 HAS SOUPS 851982 WITH SCORE 854111.002
AT ITER 2678 NEW BEST:: SOT 6248625 SOS 2128841 HAS SOPS 2128841 HAS SOUS 851631 HAS SOUPS 851631 WITH SCORE 853759.841
AT ITER 2681 NEW BEST:: SOT 6248625 SOS 2128841 HAS SOPS 2128841 HAS SOUS 851579 HAS SOUPS 851579 WITH SCORE 853707.841
AT ITER 2736 NEW BEST:: SOT 6248625 SOS 2128675 HAS SOPS 2128675 HAS SOUS 851413 HAS SOUPS 851413 WITH SCORE 853541.675
AT ITER 2792 NEW BEST:: SOT 6248625 SOS 2129046 HAS SOPS 2129046 HAS SOUS 851148 HAS SOUPS 851148 WITH SCORE 853277.046
AT ITER 2810 NEW BEST:: SOT 6248625 SOS 2129046 HAS SOPS 2129046 HAS SOUS 851022 HAS SOUPS 851022 WITH SCORE 853151.046
AT ITER 2825 NEW BEST:: SOT 6248625 SOS 2129046 HAS SOPS 2129046 HAS SOUS 850990 HAS SOUPS 850990 WITH SCORE 853119.046
AT ITER 2827 NEW BEST:: SOT 6248625 SOS 2129046 HAS SOPS 2129046 HAS SOUS 850976 HAS SOUPS 850976 WITH SCORE 853105.046
AT ITER 2828 NEW BEST:: SOT 6248625 SOS 2129046 HAS SOPS 2129046 HAS SOUS 850836 HAS SOUPS 850836 WITH SCORE 852965.046
AT ITER 2833 NEW BEST:: SOT 6248396 SOS 2126985 HAS SOPS 2126985 HAS SOUS 850149 HAS SOUPS 850149 WITH SCORE 852275.985
AT ITER 2841 NEW BEST:: SOT 6248396 SOS 2124481 HAS SOPS 2124481 HAS SOUS 849523 HAS SOUPS 849523 WITH SCORE 851647.481
AT ITER 2892 NEW BEST:: SOT 6248396 SOS 2124049 HAS SOPS 2124049 HAS SOUS 849415 HAS SOUPS 849415 WITH SCORE 851539.049
AT ITER 2895 NEW BEST:: SOT 6248396 SOS 2123073 HAS SOPS 2123073 HAS SOUS 849171 HAS SOUPS 849171 WITH SCORE 851294.073
AT ITER 2897 NEW BEST:: SOT 6248069 SOS 2120457 HAS SOPS 2120457 HAS SOUS 848517 HAS SOUPS 848517 WITH SCORE 850637.457
AT ITER 2931 NEW BEST:: SOT 6248186 SOS 2119699 HAS SOPS 2119699 HAS SOUS 848509 HAS SOUPS 848509 WITH SCORE 850628.699
AT ITER 2944 NEW BEST:: SOT 6247047 SOS 2118639 HAS SOPS 2118639 HAS SOUS 848355 HAS SOUPS 848355 WITH SCORE 850473.639
AT ITER 2956 NEW BEST:: SOT 6246683 SOS 2117911 HAS SOPS 2117911 HAS SOUS 846921 HAS SOUPS 846921 WITH SCORE 849038.911
AT ITER 2961 NEW BEST:: SOT 6246564 SOS 2116788 HAS SOPS 2116788 HAS SOUS 846512 HAS SOUPS 846512 WITH SCORE 848628.788
AT ITER 2965 NEW BEST:: SOT 6246426 SOS 2116604 HAS SOPS 2116604 HAS SOUS 846339 HAS SOUPS 846339 WITH SCORE 848455.604
AT ITER 2974 NEW BEST:: SOT 6246055 SOS 2116324 HAS SOPS 2116324 HAS SOUS 846059 HAS SOUPS 846059 WITH SCORE 848175.324
AT ITER 2981 NEW BEST:: SOT 6246055 SOS 2116177 HAS SOPS 2116177 HAS SOUS 846038 HAS SOUPS 846038 WITH SCORE 848154.177
AT ITER 2995 NEW BEST:: SOT 6246055 SOS 2114353 HAS SOPS 2114353 HAS SOUS 845582 HAS SOUPS 845582 WITH SCORE 847696.353
AT ITER 3018 NEW BEST:: SOT 6245551 SOS 2113777 HAS SOPS 2113777 HAS SOUS 844578 HAS SOUPS 844578 WITH SCORE 846691.777
AT ITER 3037 NEW BEST:: SOT 6244200 SOS 2110882 HAS SOPS 2110882 HAS SOUS 842841 HAS SOUPS 842841 WITH SCORE 844951.882
AT ITER 3048 NEW BEST:: SOT 6243759 SOS 2109466 HAS SOPS 2109466 HAS SOUS 842721 HAS SOUPS 842721 WITH SCORE 844830.466
AT ITER 3049 NEW BEST:: SOT 6243759 SOS 2109466 HAS SOPS 2109466 HAS SOUS 842503 HAS SOUPS 842503 WITH SCORE 844612.466
AT ITER 3053 NEW BEST:: SOT 6243455 SOS 2109162 HAS SOPS 2109162 HAS SOUS 842199 HAS SOUPS 842199 WITH SCORE 844308.162
AT ITER 3063 NEW BEST:: SOT 6243455 SOS 2109252 HAS SOPS 2109252 HAS SOUS 842109 HAS SOUPS 842109 WITH SCORE 844218.252
AT ITER 3095 NEW BEST:: SOT 6243455 SOS 2109455 HAS SOPS 2109455 HAS SOUS 841935 HAS SOUPS 841935 WITH SCORE 844044.455
AT ITER 3119 NEW BEST:: SOT 6243203 SOS 2109203 HAS SOPS 2109203 HAS SOUS 841683 HAS SOUPS 841683 WITH SCORE 843792.203
AT ITER 3135 NEW BEST:: SOT 6243190 SOS 2109099 HAS SOPS 2109099 HAS SOUS 841657 HAS SOUPS 841657 WITH SCORE 843766.099
AT ITER 3150 NEW BEST:: SOT 6243118 SOS 2108376 HAS SOPS 2108376 HAS SOUS 841366 HAS SOUPS 841366 WITH SCORE 843474.376
AT ITER 3154 NEW BEST:: SOT 6242843 SOS 2106176 HAS SOPS 2106176 HAS SOUS 840816 HAS SOUPS 840816 WITH SCORE 842922.176
AT ITER 3163 NEW BEST:: SOT 6242843 SOS 2106160 HAS SOPS 2106160 HAS SOUS 840800 HAS SOUPS 840800 WITH SCORE 842906.16
AT ITER 3171 NEW BEST:: SOT 6241163 SOS 2103533 HAS SOPS 2103533 HAS SOUS 839356 HAS SOUPS 839356 WITH SCORE 841459.533
AT ITER 3178 NEW BEST:: SOT 6240295 SOS 2102089 HAS SOPS 2102089 HAS SOUS 838344 HAS SOUPS 838344 WITH SCORE 840446.089
AT ITER 3196 NEW BEST:: SOT 6240295 SOS 2102089 HAS SOPS 2102089 HAS SOUS 838218 HAS SOUPS 838218 WITH SCORE 840320.089
AT ITER 3231 NEW BEST:: SOT 6240055 SOS 2100384 HAS SOPS 2100384 HAS SOUS 837587 HAS SOUPS 837587 WITH SCORE 839687.384
AT ITER 3233 NEW BEST:: SOT 6239712 SOS 2099554 HAS SOPS 2099554 HAS SOUS 837363 HAS SOUPS 837363 WITH SCORE 839462.554
AT ITER 3235 NEW BEST:: SOT 6239406 SOS 2099248 HAS SOPS 2099248 HAS SOUS 837057 HAS SOUPS 837057 WITH SCORE 839156.248
AT ITER 3237 NEW BEST:: SOT 6238965 SOS 2098744 HAS SOPS 2098744 HAS SOUS 836613 HAS SOUPS 836613 WITH SCORE 838711.744
AT ITER 3264 NEW BEST:: SOT 6238965 SOS 2098504 HAS SOPS 2098504 HAS SOUS 836553 HAS SOUPS 836553 WITH SCORE 838651.504
AT ITER 3266 NEW BEST:: SOT 6238188 SOS 2095942 HAS SOPS 2095942 HAS SOUS 836535 HAS SOUPS 836535 WITH SCORE 838630.942
AT ITER 3319 NEW BEST:: SOT 6238188 SOS 2095942 HAS SOPS 2095942 HAS SOUS 836475 HAS SOUPS 836475 WITH SCORE 838570.942
AT ITER 3320 NEW BEST:: SOT 6238157 SOS 2096978 HAS SOPS 2096978 HAS SOUS 836305 HAS SOUPS 836305 WITH SCORE 838401.978
AT ITER 3322 NEW BEST:: SOT 6238157 SOS 2096222 HAS SOPS 2096222 HAS SOUS 836305 HAS SOUPS 836305 WITH SCORE 838401.222
AT ITER 3324 NEW BEST:: SOT 6237470 SOS 2095094 HAS SOPS 2095094 HAS SOUS 835555 HAS SOUPS 835555 WITH SCORE 837650.094
AT ITER 3335 NEW BEST:: SOT 6237358 SOS 2094982 HAS SOPS 2094982 HAS SOUS 835443 HAS SOUPS 835443 WITH SCORE 837537.982
AT ITER 3342 NEW BEST:: SOT 6237310 SOS 2094598 HAS SOPS 2094598 HAS SOUS 835347 HAS SOUPS 835347 WITH SCORE 837441.598
AT ITER 3361 NEW BEST:: SOT 6237210 SOS 2093858 HAS SOPS 2093858 HAS SOUS 835307 HAS SOUPS 835307 WITH SCORE 837400.858
AT ITER 3406 NEW BEST:: SOT 6235110 SOS 2091458 HAS SOPS 2091458 HAS SOUS 832396 HAS SOUPS 832396 WITH SCORE 834487.458
AT ITER 3422 NEW BEST:: SOT 6235110 SOS 2091614 HAS SOPS 2091614 HAS SOUS 832240 HAS SOUPS 832240 WITH SCORE 834331.614
AT ITER 3424 NEW BEST:: SOT 6234046 SOS 2088496 HAS SOPS 2088496 HAS SOUS 832014 HAS SOUPS 832014 WITH SCORE 834102.496
AT ITER 3434 NEW BEST:: SOT 6232513 SOS 2085232 HAS SOPS 2085232 HAS SOUS 830190 HAS SOUPS 830190 WITH SCORE 832275.232
AT ITER 3455 NEW BEST:: SOT 6232441 SOS 2084656 HAS SOPS 2084656 HAS SOUS 830046 HAS SOUPS 830046 WITH SCORE 832130.656
AT ITER 3457 NEW BEST:: SOT 6232441 SOS 2084656 HAS SOPS 2084656 HAS SOUS 829662 HAS SOUPS 829662 WITH SCORE 831746.656
AT ITER 3463 NEW BEST:: SOT 6232468 SOS 2084620 HAS SOPS 2084620 HAS SOUS 829626 HAS SOUPS 829626 WITH SCORE 831710.62
AT ITER 3465 NEW BEST:: SOT 6232468 SOS 2084620 HAS SOPS 2084620 HAS SOUS 829359 HAS SOUPS 829359 WITH SCORE 831443.62
AT ITER 3493 NEW BEST:: SOT 6232421 SOS 2084573 HAS SOPS 2084573 HAS SOUS 829312 HAS SOUPS 829312 WITH SCORE 831396.573
AT ITER 3526 NEW BEST:: SOT 6232414 SOS 2084559 HAS SOPS 2084559 HAS SOUS 829298 HAS SOUPS 829298 WITH SCORE 831382.559
AT ITER 3531 NEW BEST:: SOT 6232414 SOS 2085015 HAS SOPS 2085015 HAS SOUS 829082 HAS SOUPS 829082 WITH SCORE 831167.015
AT ITER 3543 NEW BEST:: SOT 6232414 SOS 2085015 HAS SOPS 2085015 HAS SOUS 829036 HAS SOUPS 829036 WITH SCORE 831121.015
AT ITER 3555 NEW BEST:: SOT 6232274 SOS 2084735 HAS SOPS 2084735 HAS SOUS 828876 HAS SOUPS 828876 WITH SCORE 830960.735
AT ITER 3557 NEW BEST:: SOT 6230867 SOS 2083127 HAS SOPS 2083127 HAS SOUS 827268 HAS SOUPS 827268 WITH SCORE 829351.127
AT ITER 3564 NEW BEST:: SOT 6230867 SOS 2081911 HAS SOPS 2081911 HAS SOUS 826964 HAS SOUPS 826964 WITH SCORE 829045.911
AT ITER 3570 NEW BEST:: SOT 6230737 SOS 2082224 HAS SOPS 2082224 HAS SOUS 826839 HAS SOUPS 826839 WITH SCORE 828921.224
AT ITER 3623 NEW BEST:: SOT 6230626 SOS 2081102 HAS SOPS 2081102 HAS SOUS 826383 HAS SOUPS 826383 WITH SCORE 828464.102
AT ITER 3626 NEW BEST:: SOT 6230591 SOS 2081032 HAS SOPS 2081032 HAS SOUS 826343 HAS SOUPS 826343 WITH SCORE 828424.032
AT ITER 3631 NEW BEST:: SOT 6229477 SOS 2079638 HAS SOPS 2079638 HAS SOUS 825819 HAS SOUPS 825819 WITH SCORE 827898.638
AT ITER 3657 NEW BEST:: SOT 6228982 SOS 2078648 HAS SOPS 2078648 HAS SOUS 825315 HAS SOUPS 825315 WITH SCORE 827393.648
AT ITER 3666 NEW BEST:: SOT 6228951 SOS 2078400 HAS SOPS 2078400 HAS SOUS 825253 HAS SOUPS 825253 WITH SCORE 827331.4
AT ITER 3674 NEW BEST:: SOT 6228837 SOS 2077488 HAS SOPS 2077488 HAS SOUS 825025 HAS SOUPS 825025 WITH SCORE 827102.488
AT ITER 3701 NEW BEST:: SOT 6228857 SOS 2077508 HAS SOPS 2077508 HAS SOUS 824990 HAS SOUPS 824990 WITH SCORE 827067.508
AT ITER 3705 NEW BEST:: SOT 6228842 SOS 2077598 HAS SOPS 2077598 HAS SOUS 824715 HAS SOUPS 824715 WITH SCORE 826792.598
AT ITER 3709 NEW BEST:: SOT 6228751 SOS 2077494 HAS SOPS 2077494 HAS SOUS 824533 HAS SOUPS 824533 WITH SCORE 826610.494
AT ITER 3744 NEW BEST:: SOT 6228813 SOS 2077556 HAS SOPS 2077556 HAS SOUS 824492 HAS SOUPS 824492 WITH SCORE 826569.556
AT ITER 3747 NEW BEST:: SOT 6228777 SOS 2077396 HAS SOPS 2077396 HAS SOUS 823579 HAS SOUPS 823579 WITH SCORE 825656.396
AT ITER 3768 NEW BEST:: SOT 6228666 SOS 2077054 HAS SOPS 2077054 HAS SOUS 823297 HAS SOUPS 823297 WITH SCORE 825374.054
AT ITER 3846 NEW BEST:: SOT 6228666 SOS 2077054 HAS SOPS 2077054 HAS SOUS 823261 HAS SOUPS 823261 WITH SCORE 825338.054
AT ITER 3851 NEW BEST:: SOT 6228621 SOS 2076994 HAS SOPS 2076994 HAS SOUS 823141 HAS SOUPS 823141 WITH SCORE 825217.994
AT ITER 3889 NEW BEST:: SOT 6228103 SOS 2075268 HAS SOPS 2075268 HAS SOUS 823003 HAS SOUPS 823003 WITH SCORE 825078.268
AT ITER 3903 NEW BEST:: SOT 6228103 SOS 2075268 HAS SOPS 2075268 HAS SOUS 822908 HAS SOUPS 822908 WITH SCORE 824983.268
AT ITER 3924 NEW BEST:: SOT 6228103 SOS 2075268 HAS SOPS 2075268 HAS SOUS 822331 HAS SOUPS 822331 WITH SCORE 824406.268
AT ITER 3931 NEW BEST:: SOT 6228103 SOS 2074716 HAS SOPS 2074716 HAS SOUS 822193 HAS SOUPS 822193 WITH SCORE 824267.716
AT ITER 3948 NEW BEST:: SOT 6228103 SOS 2074716 HAS SOPS 2074716 HAS SOUS 822063 HAS SOUPS 822063 WITH SCORE 824137.716
AT ITER 4015 NEW BEST:: SOT 6227760 SOS 2074324 HAS SOPS 2074324 HAS SOUS 820948 HAS SOUPS 820948 WITH SCORE 823022.324
AT ITER 4044 NEW BEST:: SOT 6228026 SOS 2076219 HAS SOPS 2076219 HAS SOUS 820881 HAS SOUPS 820881 WITH SCORE 822957.219
AT ITER 4068 NEW BEST:: SOT 6227795 SOS 2074371 HAS SOPS 2074371 HAS SOUS 820419 HAS SOUPS 820419 WITH SCORE 822493.371
AT ITER 4071 NEW BEST:: SOT 6227774 SOS 2074326 HAS SOPS 2074326 HAS SOUS 820392 HAS SOUPS 820392 WITH SCORE 822466.326
AT ITER 4077 NEW BEST:: SOT 6227774 SOS 2074194 HAS SOPS 2074194 HAS SOUS 820392 HAS SOUPS 820392 WITH SCORE 822466.194
AT ITER 4102 NEW BEST:: SOT 6227186 SOS 2072640 HAS SOPS 2072640 HAS SOUS 819720 HAS SOUPS 819720 WITH SCORE 821792.64
AT ITER 4104 NEW BEST:: SOT 6226986 SOS 2072090 HAS SOPS 2072090 HAS SOUS 819494 HAS SOUPS 819494 WITH SCORE 821566.09
AT ITER 4106 NEW BEST:: SOT 6226871 SOS 2071975 HAS SOPS 2071975 HAS SOUS 819379 HAS SOUPS 819379 WITH SCORE 821450.975
AT ITER 4108 NEW BEST:: SOT 6226556 SOS 2070373 HAS SOPS 2070373 HAS SOUS 819019 HAS SOUPS 819019 WITH SCORE 821089.373
AT ITER 4110 NEW BEST:: SOT 6226292 SOS 2070109 HAS SOPS 2070109 HAS SOUS 818755 HAS SOUPS 818755 WITH SCORE 820825.109
AT ITER 4125 NEW BEST:: SOT 6226139 SOS 2068885 HAS SOPS 2068885 HAS SOUS 818449 HAS SOUPS 818449 WITH SCORE 820517.885
AT ITER 4134 NEW BEST:: SOT 6226058 SOS 2068804 HAS SOPS 2068804 HAS SOUS 818394 HAS SOUPS 818394 WITH SCORE 820462.804
AT ITER 4159 NEW BEST:: SOT 6225722 SOS 2068468 HAS SOPS 2068468 HAS SOUS 818058 HAS SOUPS 818058 WITH SCORE 820126.468
AT ITER 4201 NEW BEST:: SOT 6225722 SOS 2068468 HAS SOPS 2068468 HAS SOUS 817966 HAS SOUPS 817966 WITH SCORE 820034.468
AT ITER 4216 NEW BEST:: SOT 6225645 SOS 2068135 HAS SOPS 2068135 HAS SOUS 817843 HAS SOUPS 817843 WITH SCORE 819911.135
AT ITER 4231 NEW BEST:: SOT 6225645 SOS 2067695 HAS SOPS 2067695 HAS SOUS 817733 HAS SOUPS 817733 WITH SCORE 819800.695
AT ITER 4272 NEW BEST:: SOT 6225176 SOS 2067159 HAS SOPS 2067159 HAS SOUS 816753 HAS SOUPS 816753 WITH SCORE 818820.159
AT ITER 4275 NEW BEST:: SOT 6225176 SOS 2067229 HAS SOPS 2067229 HAS SOUS 816703 HAS SOUPS 816703 WITH SCORE 818770.229
AT ITER 4351 NEW BEST:: SOT 6225184 SOS 2066229 HAS SOPS 2066229 HAS SOUS 816567 HAS SOUPS 816567 WITH SCORE 818633.229
AT ITER 4355 NEW BEST:: SOT 6225033 SOS 2066078 HAS SOPS 2066078 HAS SOUS 816196 HAS SOUPS 816196 WITH SCORE 818262.078
AT ITER 4361 NEW BEST:: SOT 6224984 SOS 2066022 HAS SOPS 2066022 HAS SOUS 816140 HAS SOUPS 816140 WITH SCORE 818206.022
AT ITER 4369 NEW BEST:: SOT 6224861 SOS 2064915 HAS SOPS 2064915 HAS SOUS 815771 HAS SOUPS 815771 WITH SCORE 817835.915
AT ITER 4377 NEW BEST:: SOT 6224778 SOS 2064551 HAS SOPS 2064551 HAS SOUS 815683 HAS SOUPS 815683 WITH SCORE 817747.551
AT ITER 4406 NEW BEST:: SOT 6224777 SOS 2064543 HAS SOPS 2064543 HAS SOUS 815681 HAS SOUPS 815681 WITH SCORE 817745.543
AT ITER 4409 NEW BEST:: SOT 6224668 SOS 2064007 HAS SOPS 2064007 HAS SOUS 815631 HAS SOUPS 815631 WITH SCORE 817695.007
AT ITER 4413 NEW BEST:: SOT 6224668 SOS 2064574 HAS SOPS 2064574 HAS SOUS 815176 HAS SOUPS 815176 WITH SCORE 817240.574
AT ITER 4421 NEW BEST:: SOT 6224667 SOS 2064265 HAS SOPS 2064265 HAS SOUS 814873 HAS SOUPS 814873 WITH SCORE 816937.265
AT ITER 4442 NEW BEST:: SOT 6224163 SOS 2063389 HAS SOPS 2063389 HAS SOUS 814493 HAS SOUPS 814493 WITH SCORE 816556.389
AT ITER 4479 NEW BEST:: SOT 6223624 SOS 2062773 HAS SOPS 2062773 HAS SOUS 813877 HAS SOUPS 813877 WITH SCORE 815939.773
AT ITER 4481 NEW BEST:: SOT 6223582 SOS 2062725 HAS SOPS 2062725 HAS SOUS 813829 HAS SOUPS 813829 WITH SCORE 815891.725
AT ITER 4485 NEW BEST:: SOT 6223573 SOS 2062653 HAS SOPS 2062653 HAS SOUS 813811 HAS SOUPS 813811 WITH SCORE 815873.653
AT ITER 4522 NEW BEST:: SOT 6222999 SOS 2061423 HAS SOPS 2061423 HAS SOUS 813073 HAS SOUPS 813073 WITH SCORE 815134.423
AT ITER 4588 NEW BEST:: SOT 6222927 SOS 2061414 HAS SOPS 2061414 HAS SOUS 813010 HAS SOUPS 813010 WITH SCORE 815071.414
AT ITER 4610 NEW BEST:: SOT 6222486 SOS 2060910 HAS SOPS 2060910 HAS SOUS 812506 HAS SOUPS 812506 WITH SCORE 814566.91
AT ITER 4640 NEW BEST:: SOT 6221072 SOS 2059215 HAS SOPS 2059215 HAS SOUS 811033 HAS SOUPS 811033 WITH SCORE 813092.215
AT ITER 4663 NEW BEST:: SOT 6221072 SOS 2059212 HAS SOPS 2059212 HAS SOUS 811030 HAS SOUPS 811030 WITH SCORE 813089.212
AT ITER 4705 NEW BEST:: SOT 6221009 SOS 2059140 HAS SOPS 2059140 HAS SOUS 810634 HAS SOUPS 810634 WITH SCORE 812693.14
AT ITER 4735 NEW BEST:: SOT 6221009 SOS 2059140 HAS SOPS 2059140 HAS SOUS 810524 HAS SOUPS 810524 WITH SCORE 812583.14
AT ITER 4787 NEW BEST:: SOT 6220568 SOS 2058636 HAS SOPS 2058636 HAS SOUS 809282 HAS SOUPS 809282 WITH SCORE 811340.636
AT ITER 4819 NEW BEST:: SOT 6220477 SOS 2058532 HAS SOPS 2058532 HAS SOUS 809178 HAS SOUPS 809178 WITH SCORE 811236.532
AT ITER 4831 NEW BEST:: SOT 6220379 SOS 2058420 HAS SOPS 2058420 HAS SOUS 808982 HAS SOUPS 808982 WITH SCORE 811040.42
AT ITER 4840 NEW BEST:: SOT 6220301 SOS 2058342 HAS SOPS 2058342 HAS SOUS 808904 HAS SOUPS 808904 WITH SCORE 810962.342
AT ITER 4847 NEW BEST:: SOT 6220182 SOS 2058206 HAS SOPS 2058206 HAS SOUS 807898 HAS SOUPS 807898 WITH SCORE 809956.206
AT ITER 4851 NEW BEST:: SOT 6220119 SOS 2057702 HAS SOPS 2057702 HAS SOUS 807772 HAS SOUPS 807772 WITH SCORE 809829.702
AT ITER 4869 NEW BEST:: SOT 6220119 SOS 2057503 HAS SOPS 2057503 HAS SOUS 807573 HAS SOUPS 807573 WITH SCORE 809630.503
AT ITER 4894 NEW BEST:: SOT 6220346 SOS 2057693 HAS SOPS 2057693 HAS SOUS 807541 HAS SOUPS 807541 WITH SCORE 809598.693
AT ITER 4902 NEW BEST:: SOT 6220143 SOS 2056726 HAS SOPS 2056726 HAS SOUS 807252 HAS SOUPS 807252 WITH SCORE 809308.726
AT ITER 4924 NEW BEST:: SOT 6220144 SOS 2056758 HAS SOPS 2056758 HAS SOUS 807166 HAS SOUPS 807166 WITH SCORE 809222.758
AT ITER 4930 NEW BEST:: SOT 6220144 SOS 2056758 HAS SOPS 2056758 HAS SOUS 807068 HAS SOUPS 807068 WITH SCORE 809124.758
AT ITER 4933 NEW BEST:: SOT 6220144 SOS 2057273 HAS SOPS 2057273 HAS SOUS 807055 HAS SOUPS 807055 WITH SCORE 809112.273
AT ITER 4936 NEW BEST:: SOT 6219898 SOS 2057027 HAS SOPS 2057027 HAS SOUS 806809 HAS SOUPS 806809 WITH SCORE 808866.027
AT ITER 4949 NEW BEST:: SOT 6219438 SOS 2056107 HAS SOPS 2056107 HAS SOUS 806629 HAS SOUPS 806629 WITH SCORE 808685.107
AT ITER 4998 NEW BEST:: SOT 6219200 SOS 2055869 HAS SOPS 2055869 HAS SOUS 806391 HAS SOUPS 806391 WITH SCORE 808446.869
AT ITER 5036 NEW BEST:: SOT 6219096 SOS 2055189 HAS SOPS 2055189 HAS SOUS 806143 HAS SOUPS 806143 WITH SCORE 808198.189
AT ITER 5043 NEW BEST:: SOT 6219096 SOS 2054045 HAS SOPS 2054045 HAS SOUS 805857 HAS SOUPS 805857 WITH SCORE 807911.045
AT ITER 5062 NEW BEST:: SOT 6218893 SOS 2053589 HAS SOPS 2053589 HAS SOUS 805593 HAS SOUPS 805593 WITH SCORE 807646.589
AT ITER 5113 NEW BEST:: SOT 6218889 SOS 2053553 HAS SOPS 2053553 HAS SOUS 805581 HAS SOUPS 805581 WITH SCORE 807634.553
AT ITER 5126 NEW BEST:: SOT 6218889 SOS 2053553 HAS SOPS 2053553 HAS SOUS 805546 HAS SOUPS 805546 WITH SCORE 807599.553
AT ITER 5156 NEW BEST:: SOT 6218555 SOS 2050881 HAS SOPS 2050881 HAS SOUS 804878 HAS SOUPS 804878 WITH SCORE 806928.881
AT ITER 5173 NEW BEST:: SOT 6218555 SOS 2050649 HAS SOPS 2050649 HAS SOUS 804820 HAS SOUPS 804820 WITH SCORE 806870.649
AT ITER 5221 NEW BEST:: SOT 6218555 SOS 2050901 HAS SOPS 2050901 HAS SOUS 804640 HAS SOUPS 804640 WITH SCORE 806690.901
AT ITER 5226 NEW BEST:: SOT 6218492 SOS 2050829 HAS SOPS 2050829 HAS SOUS 804491 HAS SOUPS 804491 WITH SCORE 806541.829
AT ITER 5248 NEW BEST:: SOT 6218406 SOS 2050141 HAS SOPS 2050141 HAS SOUS 804319 HAS SOUPS 804319 WITH SCORE 806369.141
AT ITER 5251 NEW BEST:: SOT 6218287 SOS 2050022 HAS SOPS 2050022 HAS SOUS 804200 HAS SOUPS 804200 WITH SCORE 806250.022
AT ITER 5262 NEW BEST:: SOT 6218287 SOS 2048356 HAS SOPS 2048356 HAS SOUS 803962 HAS SOUPS 803962 WITH SCORE 806010.356
AT ITER 5271 NEW BEST:: SOT 6218436 SOS 2048505 HAS SOPS 2048505 HAS SOUS 803931 HAS SOUPS 803931 WITH SCORE 805979.505
AT ITER 5282 NEW BEST:: SOT 6218399 SOS 2048209 HAS SOPS 2048209 HAS SOUS 803857 HAS SOUPS 803857 WITH SCORE 805905.209
AT ITER 5285 NEW BEST:: SOT 6218273 SOS 2048083 HAS SOPS 2048083 HAS SOUS 803731 HAS SOUPS 803731 WITH SCORE 805779.083
AT ITER 5332 NEW BEST:: SOT 6218273 SOS 2048743 HAS SOPS 2048743 HAS SOUS 803545 HAS SOUPS 803545 WITH SCORE 805593.743
AT ITER 5342 NEW BEST:: SOT 6218273 SOS 2049401 HAS SOPS 2049401 HAS SOUS 803441 HAS SOUPS 803441 WITH SCORE 805490.401
AT ITER 5344 NEW BEST:: SOT 6218273 SOS 2048993 HAS SOPS 2048993 HAS SOUS 803339 HAS SOUPS 803339 WITH SCORE 805387.993
AT ITER 5355 NEW BEST:: SOT 6218185 SOS 2048745 HAS SOPS 2048745 HAS SOUS 803211 HAS SOUPS 803211 WITH SCORE 805259.745
AT ITER 5362 NEW BEST:: SOT 6218179 SOS 2048697 HAS SOPS 2048697 HAS SOUS 803199 HAS SOUPS 803199 WITH SCORE 805247.697
AT ITER 5389 NEW BEST:: SOT 6218165 SOS 2048669 HAS SOPS 2048669 HAS SOUS 803183 HAS SOUPS 803183 WITH SCORE 805231.669
AT ITER 5401 NEW BEST:: SOT 6217953 SOS 2047779 HAS SOPS 2047779 HAS SOUS 802779 HAS SOUPS 802779 WITH SCORE 804826.779
AT ITER 5404 NEW BEST:: SOT 6217953 SOS 2047779 HAS SOPS 2047779 HAS SOUS 802563 HAS SOUPS 802563 WITH SCORE 804610.779
AT ITER 5410 NEW BEST:: SOT 6216553 SOS 2046179 HAS SOPS 2046179 HAS SOUS 799682 HAS SOUPS 799682 WITH SCORE 801728.179
AT ITER 5412 NEW BEST:: SOT 6216442 SOS 2046899 HAS SOPS 2046899 HAS SOUS 798817 HAS SOUPS 798817 WITH SCORE 800863.899
AT ITER 5413 NEW BEST:: SOT 6216442 SOS 2046740 HAS SOPS 2046740 HAS SOUS 798658 HAS SOUPS 798658 WITH SCORE 800704.74
AT ITER 5420 NEW BEST:: SOT 6216022 SOS 2043370 HAS SOPS 2043370 HAS SOUS 797490 HAS SOUPS 797490 WITH SCORE 799533.37
AT ITER 5484 NEW BEST:: SOT 6215782 SOS 2042378 HAS SOPS 2042378 HAS SOUS 797442 HAS SOUPS 797442 WITH SCORE 799484.378
AT ITER 5492 NEW BEST:: SOT 6215617 SOS 2041058 HAS SOPS 2041058 HAS SOUS 797112 HAS SOUPS 797112 WITH SCORE 799153.058
AT ITER 5496 NEW BEST:: SOT 6215576 SOS 2040730 HAS SOPS 2040730 HAS SOUS 797030 HAS SOUPS 797030 WITH SCORE 799070.73
AT ITER 5497 NEW BEST:: SOT 6215576 SOS 2040674 HAS SOPS 2040674 HAS SOUS 797022 HAS SOUPS 797022 WITH SCORE 799062.674
AT ITER 5522 NEW BEST:: SOT 6215205 SOS 2040339 HAS SOPS 2040339 HAS SOUS 796765 HAS SOUPS 796765 WITH SCORE 798805.339
AT ITER 5558 NEW BEST:: SOT 6215113 SOS 2040247 HAS SOPS 2040247 HAS SOUS 796605 HAS SOUPS 796605 WITH SCORE 798645.247
AT ITER 5561 NEW BEST:: SOT 6213282 SOS 2036885 HAS SOPS 2036885 HAS SOUS 794569 HAS SOUPS 794569 WITH SCORE 796605.885
AT ITER 5577 NEW BEST:: SOT 6213296 SOS 2037069 HAS SOPS 2037069 HAS SOUS 794549 HAS SOUPS 794549 WITH SCORE 796586.069
AT ITER 5581 NEW BEST:: SOT 6212330 SOS 2035965 HAS SOPS 2035965 HAS SOUS 792491 HAS SOUPS 792491 WITH SCORE 794526.965
AT ITER 5584 NEW BEST:: SOT 6212824 SOS 2036461 HAS SOPS 2036461 HAS SOUS 791618 HAS SOUPS 791618 WITH SCORE 793654.461
AT ITER 5589 NEW BEST:: SOT 6212824 SOS 2036461 HAS SOPS 2036461 HAS SOUS 791567 HAS SOUPS 791567 WITH SCORE 793603.461
AT ITER 5595 NEW BEST:: SOT 6211284 SOS 2033305 HAS SOPS 2033305 HAS SOUS 789623 HAS SOUPS 789623 WITH SCORE 791656.305
AT ITER 5600 NEW BEST:: SOT 6211182 SOS 2032387 HAS SOPS 2032387 HAS SOUS 789317 HAS SOUPS 789317 WITH SCORE 791349.387
AT ITER 5601 NEW BEST:: SOT 6211163 SOS 2032235 HAS SOPS 2032235 HAS SOUS 789279 HAS SOUPS 789279 WITH SCORE 791311.235
AT ITER 5602 NEW BEST:: SOT 6211163 SOS 2033053 HAS SOPS 2033053 HAS SOUS 788088 HAS SOUPS 788088 WITH SCORE 790121.053
AT ITER 5614 NEW BEST:: SOT 6211163 SOS 2031445 HAS SOPS 2031445 HAS SOUS 787686 HAS SOUPS 787686 WITH SCORE 789717.445
AT ITER 5630 NEW BEST:: SOT 6211163 SOS 2031161 HAS SOPS 2031161 HAS SOUS 787672 HAS SOUPS 787672 WITH SCORE 789703.161
AT ITER 5632 NEW BEST:: SOT 6211163 SOS 2030930 HAS SOPS 2030930 HAS SOUS 787639 HAS SOUPS 787639 WITH SCORE 789669.93
AT ITER 5648 NEW BEST:: SOT 6211052 SOS 2031746 HAS SOPS 2031746 HAS SOUS 785617 HAS SOUPS 785617 WITH SCORE 787648.746
AT ITER 5654 NEW BEST:: SOT 6209617 SOS 2030311 HAS SOPS 2030311 HAS SOUS 784182 HAS SOUPS 784182 WITH SCORE 786212.311
AT ITER 5686 NEW BEST:: SOT 6209617 SOS 2030311 HAS SOPS 2030311 HAS SOUS 784121 HAS SOUPS 784121 WITH SCORE 786151.311
AT ITER 5696 NEW BEST:: SOT 6209598 SOS 2030292 HAS SOPS 2030292 HAS SOUS 784102 HAS SOUPS 784102 WITH SCORE 786132.292
AT ITER 5711 NEW BEST:: SOT 6209598 SOS 2030292 HAS SOPS 2030292 HAS SOUS 784071 HAS SOUPS 784071 WITH SCORE 786101.292
AT ITER 5719 NEW BEST:: SOT 6209579 SOS 2030273 HAS SOPS 2030273 HAS SOUS 784052 HAS SOUPS 784052 WITH SCORE 786082.273
AT ITER 5753 NEW BEST:: SOT 6209579 SOS 2030392 HAS SOPS 2030392 HAS SOUS 783967 HAS SOUPS 783967 WITH SCORE 785997.392
AT ITER 5759 NEW BEST:: SOT 6209579 SOS 2028584 HAS SOPS 2028584 HAS SOUS 783515 HAS SOUPS 783515 WITH SCORE 785543.584
AT ITER 5765 NEW BEST:: SOT 6209579 SOS 2026984 HAS SOPS 2026984 HAS SOUS 783115 HAS SOUPS 783115 WITH SCORE 785141.984
AT ITER 5799 NEW BEST:: SOT 6208823 SOS 2026111 HAS SOPS 2026111 HAS SOUS 779875 HAS SOUPS 779875 WITH SCORE 781901.111
AT ITER 5822 NEW BEST:: SOT 6208795 SOS 2026083 HAS SOPS 2026083 HAS SOUS 779847 HAS SOUPS 779847 WITH SCORE 781873.083
AT ITER 5825 NEW BEST:: SOT 6208795 SOS 2025987 HAS SOPS 2025987 HAS SOUS 779823 HAS SOUPS 779823 WITH SCORE 781848.987
AT ITER 5846 NEW BEST:: SOT 6208795 SOS 2025812 HAS SOPS 2025812 HAS SOUS 779798 HAS SOUPS 779798 WITH SCORE 781823.812
AT ITER 5847 NEW BEST:: SOT 6208653 SOS 2024534 HAS SOPS 2024534 HAS SOUS 779372 HAS SOUPS 779372 WITH SCORE 781396.534
AT ITER 5868 NEW BEST:: SOT 6208542 SOS 2024948 HAS SOPS 2024948 HAS SOUS 778694 HAS SOUPS 778694 WITH SCORE 780718.948
AT ITER 5958 NEW BEST:: SOT 6208542 SOS 2024948 HAS SOPS 2024948 HAS SOUS 778691 HAS SOUPS 778691 WITH SCORE 780715.948
AT ITER 5977 NEW BEST:: SOT 6208530 SOS 2024852 HAS SOPS 2024852 HAS SOUS 778667 HAS SOUPS 778667 WITH SCORE 780691.852
AT ITER 6029 NEW BEST:: SOT 6208530 SOS 2024614 HAS SOPS 2024614 HAS SOUS 778633 HAS SOUPS 778633 WITH SCORE 780657.614
AT ITER 6052 NEW BEST:: SOT 6208513 SOS 2024478 HAS SOPS 2024478 HAS SOUS 778599 HAS SOUPS 778599 WITH SCORE 780623.478
AT ITER 6075 NEW BEST:: SOT 6208450 SOS 2023974 HAS SOPS 2023974 HAS SOUS 778473 HAS SOUPS 778473 WITH SCORE 780496.974
AT ITER 6080 NEW BEST:: SOT 6208450 SOS 2023974 HAS SOPS 2023974 HAS SOUS 778055 HAS SOUPS 778055 WITH SCORE 780078.974
AT ITER 6124 NEW BEST:: SOT 6207519 SOS 2022910 HAS SOPS 2022910 HAS SOUS 776991 HAS SOUPS 776991 WITH SCORE 779013.91
AT ITER 6153 NEW BEST:: SOT 6207274 SOS 2022385 HAS SOPS 2022385 HAS SOUS 776676 HAS SOUPS 776676 WITH SCORE 778698.385
AT ITER 6166 NEW BEST:: SOT 6205906 SOS 2020627 HAS SOPS 2020627 HAS SOUS 775266 HAS SOUPS 775266 WITH SCORE 777286.627
AT ITER 6191 NEW BEST:: SOT 6205906 SOS 2020627 HAS SOPS 2020627 HAS SOUS 775260 HAS SOUPS 775260 WITH SCORE 777280.627
AT ITER 6194 NEW BEST:: SOT 6205795 SOS 2020887 HAS SOPS 2020887 HAS SOUS 775202 HAS SOUPS 775202 WITH SCORE 777222.887
AT ITER 6198 NEW BEST:: SOT 6205723 SOS 2020311 HAS SOPS 2020311 HAS SOUS 775058 HAS SOUPS 775058 WITH SCORE 777078.311
AT ITER 6204 NEW BEST:: SOT 6205630 SOS 2019239 HAS SOPS 2019239 HAS SOUS 774544 HAS SOUPS 774544 WITH SCORE 776563.239
AT ITER 6211 NEW BEST:: SOT 6205630 SOS 2019199 HAS SOPS 2019199 HAS SOUS 774264 HAS SOUPS 774264 WITH SCORE 776283.199
AT ITER 6222 NEW BEST:: SOT 6205462 SOS 2018636 HAS SOPS 2018636 HAS SOUS 774193 HAS SOUPS 774193 WITH SCORE 776211.636
AT ITER 6235 NEW BEST:: SOT 6205462 SOS 2018660 HAS SOPS 2018660 HAS SOUS 774169 HAS SOUPS 774169 WITH SCORE 776187.66
AT ITER 6238 NEW BEST:: SOT 6205357 SOS 2018435 HAS SOPS 2018435 HAS SOUS 774034 HAS SOUPS 774034 WITH SCORE 776052.435
AT ITER 6245 NEW BEST:: SOT 6205226 SOS 2018304 HAS SOPS 2018304 HAS SOUS 773842 HAS SOUPS 773842 WITH SCORE 775860.304
AT ITER 6271 NEW BEST:: SOT 6204961 SOS 2015902 HAS SOPS 2015902 HAS SOUS 773030 HAS SOUPS 773030 WITH SCORE 775045.902
AT ITER 6277 NEW BEST:: SOT 6204850 SOS 2014845 HAS SOPS 2014845 HAS SOUS 772639 HAS SOUPS 772639 WITH SCORE 774653.845
AT ITER 6278 NEW BEST:: SOT 6204850 SOS 2014653 HAS SOPS 2014653 HAS SOUS 772591 HAS SOUPS 772591 WITH SCORE 774605.653
AT ITER 6309 NEW BEST:: SOT 6204631 SOS 2014073 HAS SOPS 2014073 HAS SOUS 772263 HAS SOUPS 772263 WITH SCORE 774277.073
AT ITER 6324 NEW BEST:: SOT 6204631 SOS 2014073 HAS SOPS 2014073 HAS SOUS 772204 HAS SOUPS 772204 WITH SCORE 774218.073
AT ITER 6336 NEW BEST:: SOT 6204520 SOS 2012864 HAS SOPS 2012864 HAS SOUS 771661 HAS SOUPS 771661 WITH SCORE 773673.864
AT ITER 6339 NEW BEST:: SOT 6204989 SOS 2015914 HAS SOPS 2015914 HAS SOUS 769913 HAS SOUPS 769913 WITH SCORE 771928.914
AT ITER 6342 NEW BEST:: SOT 6204358 SOS 2015288 HAS SOPS 2015288 HAS SOUS 769305 HAS SOUPS 769305 WITH SCORE 771320.288
AT ITER 6377 NEW BEST:: SOT 6204409 SOS 2015339 HAS SOPS 2015339 HAS SOUS 769203 HAS SOUPS 769203 WITH SCORE 771218.339
AT ITER 6394 NEW BEST:: SOT 6203560 SOS 2014529 HAS SOPS 2014529 HAS SOUS 768627 HAS SOUPS 768627 WITH SCORE 770641.529
AT ITER 6401 NEW BEST:: SOT 6203183 SOS 2014075 HAS SOPS 2014075 HAS SOUS 768239 HAS SOUPS 768239 WITH SCORE 770253.075
AT ITER 6416 NEW BEST:: SOT 6203183 SOS 2014075 HAS SOPS 2014075 HAS SOUS 767471 HAS SOUPS 767471 WITH SCORE 769485.075
AT ITER 6434 NEW BEST:: SOT 6203183 SOS 2014075 HAS SOPS 2014075 HAS SOUS 767337 HAS SOUPS 767337 WITH SCORE 769351.075
AT ITER 6442 NEW BEST:: SOT 6203097 SOS 2013903 HAS SOPS 2013903 HAS SOUS 767111 HAS SOUPS 767111 WITH SCORE 769124.903
AT ITER 6460 NEW BEST:: SOT 6203097 SOS 2012727 HAS SOPS 2012727 HAS SOUS 766817 HAS SOUPS 766817 WITH SCORE 768829.727
AT ITER 6469 NEW BEST:: SOT 6203053 SOS 2012375 HAS SOPS 2012375 HAS SOUS 766729 HAS SOUPS 766729 WITH SCORE 768741.375
AT ITER 6484 NEW BEST:: SOT 6200757 SOS 2007247 HAS SOPS 2007247 HAS SOUS 764373 HAS SOUPS 764373 WITH SCORE 766380.247
AT ITER 6592 NEW BEST:: SOT 6199917 SOS 2006183 HAS SOPS 2006183 HAS SOUS 763477 HAS SOUPS 763477 WITH SCORE 765483.183
AT ITER 6611 NEW BEST:: SOT 6199805 SOS 2006055 HAS SOPS 2006055 HAS SOUS 763237 HAS SOUPS 763237 WITH SCORE 765243.055
AT ITER 6615 NEW BEST:: SOT 6200414 SOS 2009403 HAS SOPS 2009403 HAS SOUS 762951 HAS SOUPS 762951 WITH SCORE 764960.403
AT ITER 6617 NEW BEST:: SOT 6200414 SOS 2009403 HAS SOPS 2009403 HAS SOUS 762851 HAS SOUPS 762851 WITH SCORE 764860.403
AT ITER 6621 NEW BEST:: SOT 6200414 SOS 2009879 HAS SOPS 2009879 HAS SOUS 762443 HAS SOUPS 762443 WITH SCORE 764452.879
AT ITER 6632 NEW BEST:: SOT 6200267 SOS 2009564 HAS SOPS 2009564 HAS SOUS 762254 HAS SOUPS 762254 WITH SCORE 764263.564
AT ITER 6640 NEW BEST:: SOT 6200081 SOS 2009378 HAS SOPS 2009378 HAS SOUS 762068 HAS SOUPS 762068 WITH SCORE 764077.378
AT ITER 6644 NEW BEST:: SOT 6200070 SOS 2009290 HAS SOPS 2009290 HAS SOUS 762046 HAS SOUPS 762046 WITH SCORE 764055.29
AT ITER 6678 NEW BEST:: SOT 6200026 SOS 2009310 HAS SOPS 2009310 HAS SOUS 761916 HAS SOUPS 761916 WITH SCORE 763925.31
AT ITER 6689 NEW BEST:: SOT 6200026 SOS 2009214 HAS SOPS 2009214 HAS SOUS 761892 HAS SOUPS 761892 WITH SCORE 763901.214
AT ITER 6695 NEW BEST:: SOT 6199983 SOS 2008843 HAS SOPS 2008843 HAS SOUS 761767 HAS SOUPS 761767 WITH SCORE 763775.843
AT ITER 6797 NEW BEST:: SOT 6199983 SOS 2007427 HAS SOPS 2007427 HAS SOUS 761413 HAS SOUPS 761413 WITH SCORE 763420.427
AT ITER 6809 NEW BEST:: SOT 6199983 SOS 2007287 HAS SOPS 2007287 HAS SOUS 761393 HAS SOUPS 761393 WITH SCORE 763400.287
AT ITER 6851 NEW BEST:: SOT 6199983 SOS 2007287 HAS SOPS 2007287 HAS SOUS 761255 HAS SOUPS 761255 WITH SCORE 763262.287
AT ITER 6856 NEW BEST:: SOT 6199143 SOS 2005600 HAS SOPS 2005600 HAS SOUS 760521 HAS SOUPS 760521 WITH SCORE 762526.6
AT ITER 6871 NEW BEST:: SOT 6199143 SOS 2005600 HAS SOPS 2005600 HAS SOUS 760459 HAS SOUPS 760459 WITH SCORE 762464.6
AT ITER 6882 NEW BEST:: SOT 6199154 SOS 2005611 HAS SOPS 2005611 HAS SOUS 760437 HAS SOUPS 760437 WITH SCORE 762442.611
AT ITER 6885 NEW BEST:: SOT 6199154 SOS 2005611 HAS SOPS 2005611 HAS SOUS 760353 HAS SOUPS 760353 WITH SCORE 762358.611
AT ITER 6908 NEW BEST:: SOT 6199232 SOS 2005689 HAS SOPS 2005689 HAS SOUS 760101 HAS SOUPS 760101 WITH SCORE 762106.689
AT ITER 6933 NEW BEST:: SOT 6198441 SOS 2004898 HAS SOPS 2004898 HAS SOUS 759310 HAS SOUPS 759310 WITH SCORE 761314.898
AT ITER 6965 NEW BEST:: SOT 6198433 SOS 2004834 HAS SOPS 2004834 HAS SOUS 759294 HAS SOUPS 759294 WITH SCORE 761298.834
AT ITER 6973 NEW BEST:: SOT 6198421 SOS 2004810 HAS SOPS 2004810 HAS SOUS 759198 HAS SOUPS 759198 WITH SCORE 761202.81
AT ITER 6975 NEW BEST:: SOT 6198421 SOS 2003298 HAS SOPS 2003298 HAS SOUS 758820 HAS SOUPS 758820 WITH SCORE 760823.298
AT ITER 6994 NEW BEST:: SOT 6198310 SOS 2002410 HAS SOPS 2002410 HAS SOUS 758598 HAS SOUPS 758598 WITH SCORE 760600.41
AT ITER 7019 NEW BEST:: SOT 6197673 SOS 2001946 HAS SOPS 2001946 HAS SOUS 758413 HAS SOUPS 758413 WITH SCORE 760414.946
AT ITER 7022 NEW BEST:: SOT 6197673 SOS 2001946 HAS SOPS 2001946 HAS SOUS 758233 HAS SOUPS 758233 WITH SCORE 760234.946
AT ITER 7045 NEW BEST:: SOT 6197673 SOS 2002037 HAS SOPS 2002037 HAS SOUS 758155 HAS SOUPS 758155 WITH SCORE 760157.037
AT ITER 7094 NEW BEST:: SOT 6197673 SOS 2003160 HAS SOPS 2003160 HAS SOUS 757076 HAS SOUPS 757076 WITH SCORE 759079.16
AT ITER 7099 NEW BEST:: SOT 6196735 SOS 2002118 HAS SOPS 2002118 HAS SOUS 756186 HAS SOUPS 756186 WITH SCORE 758188.118
AT ITER 7123 NEW BEST:: SOT 6196618 SOS 2002610 HAS SOPS 2002610 HAS SOUS 756156 HAS SOUPS 756156 WITH SCORE 758158.61
AT ITER 7140 NEW BEST:: SOT 6196618 SOS 2002610 HAS SOPS 2002610 HAS SOUS 755922 HAS SOUPS 755922 WITH SCORE 757924.61
AT ITER 7166 NEW BEST:: SOT 6196653 SOS 2002650 HAS SOPS 2002650 HAS SOUS 755734 HAS SOUPS 755734 WITH SCORE 757736.65
AT ITER 7189 NEW BEST:: SOT 6196569 SOS 2002566 HAS SOPS 2002566 HAS SOUS 755650 HAS SOUPS 755650 WITH SCORE 757652.566
AT ITER 7192 NEW BEST:: SOT 6196567 SOS 2002732 HAS SOPS 2002732 HAS SOUS 755624 HAS SOUPS 755624 WITH SCORE 757626.732
AT ITER 7202 NEW BEST:: SOT 6196343 SOS 2002476 HAS SOPS 2002476 HAS SOUS 755578 HAS SOUPS 755578 WITH SCORE 757580.476
AT ITER 7203 NEW BEST:: SOT 6196209 SOS 2002342 HAS SOPS 2002342 HAS SOUS 755319 HAS SOUPS 755319 WITH SCORE 757321.342
AT ITER 7221 NEW BEST:: SOT 6196101 SOS 2002234 HAS SOPS 2002234 HAS SOUS 755211 HAS SOUPS 755211 WITH SCORE 757213.234
AT ITER 7232 NEW BEST:: SOT 6195604 SOS 2000630 HAS SOPS 2000630 HAS SOUS 754549 HAS SOUPS 754549 WITH SCORE 756549.63
AT ITER 7250 NEW BEST:: SOT 6195251 SOS 2000038 HAS SOPS 2000038 HAS SOUS 754401 HAS SOUPS 754401 WITH SCORE 756401.038
AT ITER 7269 NEW BEST:: SOT 6195251 SOS 2000038 HAS SOPS 2000038 HAS SOUS 754328 HAS SOUPS 754328 WITH SCORE 756328.038
AT ITER 7300 NEW BEST:: SOT 6195214 SOS 2000001 HAS SOPS 2000001 HAS SOUS 754291 HAS SOUPS 754291 WITH SCORE 756291.001
AT ITER 7341 NEW BEST:: SOT 6195214 SOS 1999569 HAS SOPS 1999569 HAS SOUS 754183 HAS SOUPS 754183 WITH SCORE 756182.569
AT ITER 7356 NEW BEST:: SOT 6195129 SOS 1999412 HAS SOPS 1999412 HAS SOUS 754083 HAS SOUPS 754083 WITH SCORE 756082.412
AT ITER 7398 NEW BEST:: SOT 6194894 SOS 1997296 HAS SOPS 1997296 HAS SOUS 753377 HAS SOUPS 753377 WITH SCORE 755374.296
AT ITER 7404 NEW BEST:: SOT 6194868 SOS 1997270 HAS SOPS 1997270 HAS SOUS 753351 HAS SOUPS 753351 WITH SCORE 755348.27
AT ITER 7412 NEW BEST:: SOT 6194748 SOS 1997150 HAS SOPS 1997150 HAS SOUS 753345 HAS SOUPS 753345 WITH SCORE 755342.15
AT ITER 7413 NEW BEST:: SOT 6194748 SOS 1996822 HAS SOPS 1996822 HAS SOUS 753263 HAS SOUPS 753263 WITH SCORE 755259.822
AT ITER 7415 NEW BEST:: SOT 6194748 SOS 1996541 HAS SOPS 1996541 HAS SOUS 752952 HAS SOUPS 752952 WITH SCORE 754948.541
AT ITER 7453 NEW BEST:: SOT 6194748 SOS 1996141 HAS SOPS 1996141 HAS SOUS 752852 HAS SOUPS 752852 WITH SCORE 754848.141
AT ITER 7479 NEW BEST:: SOT 6194715 SOS 1996143 HAS SOPS 1996143 HAS SOUS 752824 HAS SOUPS 752824 WITH SCORE 754820.143
AT ITER 7484 NEW BEST:: SOT 6194715 SOS 1996143 HAS SOPS 1996143 HAS SOUS 752768 HAS SOUPS 752768 WITH SCORE 754764.143
AT ITER 7523 NEW BEST:: SOT 6194316 SOS 1995687 HAS SOPS 1995687 HAS SOUS 751913 HAS SOUPS 751913 WITH SCORE 753908.687
AT ITER 7536 NEW BEST:: SOT 6194316 SOS 1994565 HAS SOPS 1994565 HAS SOUS 751913 HAS SOUPS 751913 WITH SCORE 753907.565
AT ITER 7551 NEW BEST:: SOT 6194316 SOS 1994316 HAS SOPS 1994316 HAS SOUS 751664 HAS SOUPS 751664 WITH SCORE 753658.316
AT ITER 7554 NEW BEST:: SOT 6194029 SOS 1993508 HAS SOPS 1993508 HAS SOUS 751618 HAS SOUPS 751618 WITH SCORE 753611.508
AT ITER 7563 NEW BEST:: SOT 6193602 SOS 1993081 HAS SOPS 1993081 HAS SOUS 751191 HAS SOUPS 751191 WITH SCORE 753184.081
AT ITER 7602 NEW BEST:: SOT 6193521 SOS 1992538 HAS SOPS 1992538 HAS SOUS 750990 HAS SOUPS 750990 WITH SCORE 752982.538
AT ITER 7653 NEW BEST:: SOT 6193059 SOS 1992010 HAS SOPS 1992010 HAS SOUS 750462 HAS SOUPS 750462 WITH SCORE 752454.01
AT ITER 7678 NEW BEST:: SOT 6193059 SOS 1992010 HAS SOPS 1992010 HAS SOUS 750420 HAS SOUPS 750420 WITH SCORE 752412.01
AT ITER 7695 NEW BEST:: SOT 6193022 SOS 1991677 HAS SOPS 1991677 HAS SOUS 750309 HAS SOUPS 750309 WITH SCORE 752300.677
AT ITER 7698 NEW BEST:: SOT 6192906 SOS 1990749 HAS SOPS 1990749 HAS SOUS 750077 HAS SOUPS 750077 WITH SCORE 752067.749
AT ITER 7727 NEW BEST:: SOT 6192906 SOS 1990815 HAS SOPS 1990815 HAS SOUS 750011 HAS SOUPS 750011 WITH SCORE 752001.815
AT ITER 7731 NEW BEST:: SOT 6192834 SOS 1990041 HAS SOPS 1990041 HAS SOUS 749669 HAS SOUPS 749669 WITH SCORE 751659.041
AT ITER 7748 NEW BEST:: SOT 6192006 SOS 1989213 HAS SOPS 1989213 HAS SOUS 748841 HAS SOUPS 748841 WITH SCORE 750830.213
AT ITER 7754 NEW BEST:: SOT 6191229 SOS 1986449 HAS SOPS 1986449 HAS SOUS 748503 HAS SOUPS 748503 WITH SCORE 750489.449
AT ITER 7766 NEW BEST:: SOT 6191208 SOS 1986005 HAS SOPS 1986005 HAS SOUS 748497 HAS SOUPS 748497 WITH SCORE 750483.005
AT ITER 7830 NEW BEST:: SOT 6191063 SOS 1984972 HAS SOPS 1984972 HAS SOUS 748130 HAS SOUPS 748130 WITH SCORE 750114.972
AT ITER 7837 NEW BEST:: SOT 6190958 SOS 1984132 HAS SOPS 1984132 HAS SOUS 747920 HAS SOUPS 747920 WITH SCORE 749904.132
AT ITER 7839 NEW BEST:: SOT 6190424 SOS 1983598 HAS SOPS 1983598 HAS SOUS 747386 HAS SOUPS 747386 WITH SCORE 749369.598
AT ITER 7853 NEW BEST:: SOT 6190217 SOS 1983391 HAS SOPS 1983391 HAS SOUS 747028 HAS SOUPS 747028 WITH SCORE 749011.391
AT ITER 7926 NEW BEST:: SOT 6190168 SOS 1982999 HAS SOPS 1982999 HAS SOUS 746930 HAS SOUPS 746930 WITH SCORE 748912.999
AT ITER 7944 NEW BEST:: SOT 6190168 SOS 1982999 HAS SOPS 1982999 HAS SOUS 746909 HAS SOUPS 746909 WITH SCORE 748891.999
AT ITER 8016 NEW BEST:: SOT 6189930 SOS 1981845 HAS SOPS 1981845 HAS SOUS 746553 HAS SOUPS 746553 WITH SCORE 748534.845
AT ITER 8031 NEW BEST:: SOT 6189524 SOS 1981381 HAS SOPS 1981381 HAS SOUS 746089 HAS SOUPS 746089 WITH SCORE 748070.381
AT ITER 8046 NEW BEST:: SOT 6189524 SOS 1981285 HAS SOPS 1981285 HAS SOUS 746065 HAS SOUPS 746065 WITH SCORE 748046.285
AT ITER 8074 NEW BEST:: SOT 6189524 SOS 1981502 HAS SOPS 1981502 HAS SOUS 745946 HAS SOUPS 745946 WITH SCORE 747927.502
AT ITER 8082 NEW BEST:: SOT 6189524 SOS 1981502 HAS SOPS 1981502 HAS SOUS 745802 HAS SOUPS 745802 WITH SCORE 747783.502
AT ITER 8090 NEW BEST:: SOT 6189125 SOS 1981046 HAS SOPS 1981046 HAS SOUS 745346 HAS SOUPS 745346 WITH SCORE 747327.046
AT ITER 8111 NEW BEST:: SOT 6189103 SOS 1981002 HAS SOPS 1981002 HAS SOUS 745170 HAS SOUPS 745170 WITH SCORE 747151.002
AT ITER 8144 NEW BEST:: SOT 6189102 SOS 1981001 HAS SOPS 1981001 HAS SOUS 745169 HAS SOUPS 745169 WITH SCORE 747150.001
AT ITER 8158 NEW BEST:: SOT 6189030 SOS 1980785 HAS SOPS 1980785 HAS SOUS 745061 HAS SOUPS 745061 WITH SCORE 747041.785
AT ITER 8171 NEW BEST:: SOT 6189030 SOS 1980649 HAS SOPS 1980649 HAS SOUS 745027 HAS SOUPS 745027 WITH SCORE 747007.649
AT ITER 8175 NEW BEST:: SOT 6188862 SOS 1980481 HAS SOPS 1980481 HAS SOUS 744859 HAS SOUPS 744859 WITH SCORE 746839.481
AT ITER 8187 NEW BEST:: SOT 6188758 SOS 1980377 HAS SOPS 1980377 HAS SOUS 744755 HAS SOUPS 744755 WITH SCORE 746735.377
AT ITER 8205 NEW BEST:: SOT 6188947 SOS 1980710 HAS SOPS 1980710 HAS SOUS 744476 HAS SOUPS 744476 WITH SCORE 746456.71
AT ITER 8241 NEW BEST:: SOT 6188898 SOS 1980661 HAS SOPS 1980661 HAS SOUS 744375 HAS SOUPS 744375 WITH SCORE 746355.661
AT ITER 8250 NEW BEST:: SOT 6188961 SOS 1981729 HAS SOPS 1981729 HAS SOUS 743629 HAS SOUPS 743629 WITH SCORE 745610.729
AT ITER 8258 NEW BEST:: SOT 6188961 SOS 1981729 HAS SOPS 1981729 HAS SOUS 743575 HAS SOUPS 743575 WITH SCORE 745556.729
AT ITER 8278 NEW BEST:: SOT 6188847 SOS 1980817 HAS SOPS 1980817 HAS SOUS 743347 HAS SOUPS 743347 WITH SCORE 745327.817
AT ITER 8290 NEW BEST:: SOT 6188847 SOS 1979911 HAS SOPS 1979911 HAS SOUS 743341 HAS SOUPS 743341 WITH SCORE 745320.911
AT ITER 8315 NEW BEST:: SOT 6188343 SOS 1978593 HAS SOPS 1978593 HAS SOUS 742897 HAS SOUPS 742897 WITH SCORE 744875.593
AT ITER 8321 NEW BEST:: SOT 6188252 SOS 1978502 HAS SOPS 1978502 HAS SOUS 742806 HAS SOUPS 742806 WITH SCORE 744784.502
AT ITER 8332 NEW BEST:: SOT 6188170 SOS 1978338 HAS SOPS 1978338 HAS SOUS 742150 HAS SOUPS 742150 WITH SCORE 744128.338
AT ITER 8333 NEW BEST:: SOT 6188170 SOS 1978338 HAS SOPS 1978338 HAS SOUS 742140 HAS SOUPS 742140 WITH SCORE 744118.338
AT ITER 8338 NEW BEST:: SOT 6188114 SOS 1978218 HAS SOPS 1978218 HAS SOUS 742068 HAS SOUPS 742068 WITH SCORE 744046.218
AT ITER 8362 NEW BEST:: SOT 6187485 SOS 1977478 HAS SOPS 1977478 HAS SOUS 740551 HAS SOUPS 740551 WITH SCORE 742528.478
AT ITER 8419 NEW BEST:: SOT 6187485 SOS 1977078 HAS SOPS 1977078 HAS SOUS 740451 HAS SOUPS 740451 WITH SCORE 742428.078
AT ITER 8433 NEW BEST:: SOT 6187530 SOS 1977123 HAS SOPS 1977123 HAS SOUS 740241 HAS SOUPS 740241 WITH SCORE 742218.123
AT ITER 8440 NEW BEST:: SOT 6187284 SOS 1975893 HAS SOPS 1975893 HAS SOUS 740159 HAS SOUPS 740159 WITH SCORE 742134.893
AT ITER 8441 NEW BEST:: SOT 6187238 SOS 1975525 HAS SOPS 1975525 HAS SOUS 740067 HAS SOUPS 740067 WITH SCORE 742042.525
AT ITER 8450 NEW BEST:: SOT 6187251 SOS 1975053 HAS SOPS 1975053 HAS SOUS 740015 HAS SOUPS 740015 WITH SCORE 741990.053
AT ITER 8482 NEW BEST:: SOT 6187251 SOS 1975053 HAS SOPS 1975053 HAS SOUS 740009 HAS SOUPS 740009 WITH SCORE 741984.053
AT ITER 8526 NEW BEST:: SOT 6187055 SOS 1974829 HAS SOPS 1974829 HAS SOUS 739591 HAS SOUPS 739591 WITH SCORE 741565.829
AT ITER 8548 NEW BEST:: SOT 6186677 SOS 1974397 HAS SOPS 1974397 HAS SOUS 739159 HAS SOUPS 739159 WITH SCORE 741133.397
AT ITER 8553 NEW BEST:: SOT 6186635 SOS 1974313 HAS SOPS 1974313 HAS SOUS 739075 HAS SOUPS 739075 WITH SCORE 741049.313
AT ITER 8582 NEW BEST:: SOT 6186978 SOS 1984714 HAS SOPS 1984714 HAS SOUS 738124 HAS SOUPS 738124 WITH SCORE 740108.714
AT ITER 8596 NEW BEST:: SOT 6186906 SOS 1984642 HAS SOPS 1984642 HAS SOUS 737976 HAS SOUPS 737976 WITH SCORE 739960.642
AT ITER 8603 NEW BEST:: SOT 6186906 SOS 1984635 HAS SOPS 1984635 HAS SOUS 737969 HAS SOUPS 737969 WITH SCORE 739953.635
AT ITER 8615 NEW BEST:: SOT 6185397 SOS 1981617 HAS SOPS 1981617 HAS SOUS 736433 HAS SOUPS 736433 WITH SCORE 738414.617
AT ITER 8658 NEW BEST:: SOT 6184970 SOS 1981129 HAS SOPS 1981129 HAS SOUS 735801 HAS SOUPS 735801 WITH SCORE 737782.129
AT ITER 8686 NEW BEST:: SOT 6184970 SOS 1981129 HAS SOPS 1981129 HAS SOUS 735706 HAS SOUPS 735706 WITH SCORE 737687.129
AT ITER 8690 NEW BEST:: SOT 6184471 SOS 1980623 HAS SOPS 1980623 HAS SOUS 735206 HAS SOUPS 735206 WITH SCORE 737186.623
AT ITER 8708 NEW BEST:: SOT 6184457 SOS 1980595 HAS SOPS 1980595 HAS SOUS 735080 HAS SOUPS 735080 WITH SCORE 737060.595
AT ITER 8756 NEW BEST:: SOT 6181909 SOS 1975020 HAS SOPS 1975020 HAS SOUS 731938 HAS SOUPS 731938 WITH SCORE 733913.02
AT ITER 8763 NEW BEST:: SOT 6181858 SOS 1974612 HAS SOPS 1974612 HAS SOUS 731836 HAS SOUPS 731836 WITH SCORE 733810.612
AT ITER 8774 NEW BEST:: SOT 6181906 SOS 1974660 HAS SOPS 1974660 HAS SOUS 731740 HAS SOUPS 731740 WITH SCORE 733714.66
AT ITER 8789 NEW BEST:: SOT 6181906 SOS 1973932 HAS SOPS 1973932 HAS SOUS 731558 HAS SOUPS 731558 WITH SCORE 733531.932
AT ITER 8797 NEW BEST:: SOT 6181825 SOS 1974328 HAS SOPS 1974328 HAS SOUS 730400 HAS SOUPS 730400 WITH SCORE 732374.328
AT ITER 8800 NEW BEST:: SOT 6181825 SOS 1974328 HAS SOPS 1974328 HAS SOUS 730208 HAS SOUPS 730208 WITH SCORE 732182.328
AT ITER 8818 NEW BEST:: SOT 6180908 SOS 1972494 HAS SOPS 1972494 HAS SOUS 729160 HAS SOUPS 729160 WITH SCORE 731132.494
AT ITER 8826 NEW BEST:: SOT 6180908 SOS 1972494 HAS SOPS 1972494 HAS SOUS 729090 HAS SOUPS 729090 WITH SCORE 731062.494
AT ITER 8832 NEW BEST:: SOT 6180888 SOS 1972334 HAS SOPS 1972334 HAS SOUS 729050 HAS SOUPS 729050 WITH SCORE 731022.334
AT ITER 8835 NEW BEST:: SOT 6180828 SOS 1972274 HAS SOPS 1972274 HAS SOUS 728930 HAS SOUPS 728930 WITH SCORE 730902.274
AT ITER 8837 NEW BEST:: SOT 6180828 SOS 1971842 HAS SOPS 1971842 HAS SOUS 728822 HAS SOUPS 728822 WITH SCORE 730793.842
AT ITER 8846 NEW BEST:: SOT 6180793 SOS 1971772 HAS SOPS 1971772 HAS SOUS 728782 HAS SOUPS 728782 WITH SCORE 730753.772
AT ITER 8913 NEW BEST:: SOT 6180415 SOS 1971016 HAS SOPS 1971016 HAS SOUS 728350 HAS SOUPS 728350 WITH SCORE 730321.016
AT ITER 8962 NEW BEST:: SOT 6180379 SOS 1971136 HAS SOPS 1971136 HAS SOUS 727954 HAS SOUPS 727954 WITH SCORE 729925.136
AT ITER 8967 NEW BEST:: SOT 6180296 SOS 1970472 HAS SOPS 1970472 HAS SOUS 727788 HAS SOUPS 727788 WITH SCORE 729758.472
AT ITER 8979 NEW BEST:: SOT 6180340 SOS 1969130 HAS SOPS 1969130 HAS SOUS 727634 HAS SOUPS 727634 WITH SCORE 729603.13
AT ITER 8994 NEW BEST:: SOT 6179192 SOS 1967548 HAS SOPS 1967548 HAS SOUS 726406 HAS SOUPS 726406 WITH SCORE 728373.548
AT ITER 8997 NEW BEST:: SOT 6178862 SOS 1967218 HAS SOPS 1967218 HAS SOUS 726076 HAS SOUPS 726076 WITH SCORE 728043.218
AT ITER 9003 NEW BEST:: SOT 6178854 SOS 1967210 HAS SOPS 1967210 HAS SOUS 726076 HAS SOUPS 726076 WITH SCORE 728043.21
AT ITER 9016 NEW BEST:: SOT 6178567 SOS 1966595 HAS SOPS 1966595 HAS SOUS 725707 HAS SOUPS 725707 WITH SCORE 727673.595
AT ITER 9037 NEW BEST:: SOT 6178335 SOS 1964739 HAS SOPS 1964739 HAS SOUS 725243 HAS SOUPS 725243 WITH SCORE 727207.739
AT ITER 9042 NEW BEST:: SOT 6177726 SOS 1964043 HAS SOPS 1964043 HAS SOUS 724265 HAS SOUPS 724265 WITH SCORE 726229.043
AT ITER 9084 NEW BEST:: SOT 6177528 SOS 1963845 HAS SOPS 1963845 HAS SOUS 724067 HAS SOUPS 724067 WITH SCORE 726030.845
AT ITER 9102 NEW BEST:: SOT 6177220 SOS 1963493 HAS SOPS 1963493 HAS SOUS 723404 HAS SOUPS 723404 WITH SCORE 725367.493
AT ITER 9129 NEW BEST:: SOT 6177220 SOS 1963806 HAS SOPS 1963806 HAS SOUS 723387 HAS SOUPS 723387 WITH SCORE 725350.806
AT ITER 9135 NEW BEST:: SOT 6176443 SOS 1962714 HAS SOPS 1962714 HAS SOUS 722565 HAS SOUPS 722565 WITH SCORE 724527.714
AT ITER 9155 NEW BEST:: SOT 6176299 SOS 1962570 HAS SOPS 1962570 HAS SOUS 722421 HAS SOUPS 722421 WITH SCORE 724383.57
AT ITER 9173 NEW BEST:: SOT 6176299 SOS 1962010 HAS SOPS 1962010 HAS SOUS 722281 HAS SOUPS 722281 WITH SCORE 724243.01
AT ITER 9202 NEW BEST:: SOT 6177482 SOS 1984014 HAS SOPS 1984014 HAS SOUS 721964 HAS SOUPS 721964 WITH SCORE 723948.014
AT ITER 9238 NEW BEST:: SOT 6177466 SOS 1983870 HAS SOPS 1983870 HAS SOUS 721916 HAS SOUPS 721916 WITH SCORE 723899.87
AT ITER 9262 NEW BEST:: SOT 6177273 SOS 1982326 HAS SOPS 1982326 HAS SOUS 721530 HAS SOUPS 721530 WITH SCORE 723512.326
AT ITER 9266 NEW BEST:: SOT 6177125 SOS 1980994 HAS SOPS 1980994 HAS SOUS 721086 HAS SOUPS 721086 WITH SCORE 723066.994
AT ITER 9299 NEW BEST:: SOT 6177125 SOS 1981050 HAS SOPS 1981050 HAS SOUS 721046 HAS SOUPS 721046 WITH SCORE 723027.05
AT ITER 9383 NEW BEST:: SOT 6177036 SOS 1980961 HAS SOPS 1980961 HAS SOUS 721046 HAS SOUPS 721046 WITH SCORE 723026.961
AT ITER 9410 NEW BEST:: SOT 6176922 SOS 1980847 HAS SOPS 1980847 HAS SOUS 721046 HAS SOUPS 721046 WITH SCORE 723026.847
AT ITER 9415 NEW BEST:: SOT 6176922 SOS 1980985 HAS SOPS 1980985 HAS SOUS 720900 HAS SOUPS 720900 WITH SCORE 722880.985
AT ITER 9425 NEW BEST:: SOT 6176745 SOS 1980745 HAS SOPS 1980745 HAS SOUS 720714 HAS SOUPS 720714 WITH SCORE 722694.745
AT ITER 9437 NEW BEST:: SOT 6176731 SOS 1980731 HAS SOPS 1980731 HAS SOUS 720700 HAS SOUPS 720700 WITH SCORE 722680.731
AT ITER 9484 NEW BEST:: SOT 6176731 SOS 1980515 HAS SOPS 1980515 HAS SOUS 720646 HAS SOUPS 720646 WITH SCORE 722626.515
AT ITER 9489 NEW BEST:: SOT 6176325 SOS 1979645 HAS SOPS 1979645 HAS SOUS 720124 HAS SOUPS 720124 WITH SCORE 722103.645
AT ITER 9545 NEW BEST:: SOT 6176269 SOS 1979589 HAS SOPS 1979589 HAS SOUS 720068 HAS SOUPS 720068 WITH SCORE 722047.589
AT ITER 9564 NEW BEST:: SOT 6176269 SOS 1979858 HAS SOPS 1979858 HAS SOUS 719971 HAS SOUPS 719971 WITH SCORE 721950.858
AT ITER 9599 NEW BEST:: SOT 6176269 SOS 1979858 HAS SOPS 1979858 HAS SOUS 719955 HAS SOUPS 719955 WITH SCORE 721934.858
AT ITER 9607 NEW BEST:: SOT 6174806 SOS 1978091 HAS SOPS 1978091 HAS SOUS 718416 HAS SOUPS 718416 WITH SCORE 720394.091
AT ITER 9617 NEW BEST:: SOT 6175135 SOS 1981078 HAS SOPS 1981078 HAS SOUS 718343 HAS SOUPS 718343 WITH SCORE 720324.078
AT ITER 9631 NEW BEST:: SOT 6175135 SOS 1981078 HAS SOPS 1981078 HAS SOUS 718198 HAS SOUPS 718198 WITH SCORE 720179.078
AT ITER 9633 NEW BEST:: SOT 6175135 SOS 1980846 HAS SOPS 1980846 HAS SOUS 718140 HAS SOUPS 718140 WITH SCORE 720120.846
AT ITER 9672 NEW BEST:: SOT 6175037 SOS 1980734 HAS SOPS 1980734 HAS SOUS 718028 HAS SOUPS 718028 WITH SCORE 720008.734
AT ITER 9687 NEW BEST:: SOT 6174603 SOS 1979866 HAS SOPS 1979866 HAS SOUS 717532 HAS SOUPS 717532 WITH SCORE 719511.866
AT ITER 9729 NEW BEST:: SOT 6174431 SOS 1979694 HAS SOPS 1979694 HAS SOUS 717308 HAS SOUPS 717308 WITH SCORE 719287.694
AT ITER 9730 NEW BEST:: SOT 6174396 SOS 1979654 HAS SOPS 1979654 HAS SOUS 717233 HAS SOUPS 717233 WITH SCORE 719212.654
AT ITER 9779 NEW BEST:: SOT 6174368 SOS 1979622 HAS SOPS 1979622 HAS SOUS 717201 HAS SOUPS 717201 WITH SCORE 719180.622
AT ITER 9798 NEW BEST:: SOT 6174368 SOS 1979390 HAS SOPS 1979390 HAS SOUS 717143 HAS SOUPS 717143 WITH SCORE 719122.39
AT ITER 9814 NEW BEST:: SOT 6174368 SOS 1979390 HAS SOPS 1979390 HAS SOUS 717045 HAS SOUPS 717045 WITH SCORE 719024.39
AT ITER 9835 NEW BEST:: SOT 6173563 SOS 1976985 HAS SOPS 1976985 HAS SOUS 717030 HAS SOUPS 717030 WITH SCORE 719006.985
AT ITER 9840 NEW BEST:: SOT 6173353 SOS 1976745 HAS SOPS 1976745 HAS SOUS 716585 HAS SOUPS 716585 WITH SCORE 718561.745
AT ITER 9856 NEW BEST:: SOT 6172690 SOS 1976103 HAS SOPS 1976103 HAS SOUS 716069 HAS SOUPS 716069 WITH SCORE 718045.103
AT ITER 9916 NEW BEST:: SOT 6172424 SOS 1975391 HAS SOPS 1975391 HAS SOUS 715765 HAS SOUPS 715765 WITH SCORE 717740.391
AT ITER 9923 NEW BEST:: SOT 6172451 SOS 1975355 HAS SOPS 1975355 HAS SOUS 715729 HAS SOUPS 715729 WITH SCORE 717704.355
AT ITER 9926 NEW BEST:: SOT 6172451 SOS 1975355 HAS SOPS 1975355 HAS SOUS 715701 HAS SOUPS 715701 WITH SCORE 717676.355
AT ITER 9938 NEW BEST:: SOT 6172451 SOS 1976529 HAS SOPS 1976529 HAS SOUS 715231 HAS SOUPS 715231 WITH SCORE 717207.529
AT ITER 9959 NEW BEST:: SOT 6172414 SOS 1976233 HAS SOPS 1976233 HAS SOUS 715157 HAS SOUPS 715157 WITH SCORE 717133.233
AT ITER 9960 NEW BEST:: SOT 6172414 SOS 1976145 HAS SOPS 1976145 HAS SOUS 715135 HAS SOUPS 715135 WITH SCORE 717111.145
AT ITER 9979 NEW BEST:: SOT 6172414 SOS 1976145 HAS SOPS 1976145 HAS SOUS 715070 HAS SOUPS 715070 WITH SCORE 717046.145
AT ITER 9980 NEW BEST:: SOT 6172435 SOS 1977577 HAS SOPS 1977577 HAS SOUS 714830 HAS SOUPS 714830 WITH SCORE 716807.577
AT ITER 9991 NEW BEST:: SOT 6172459 SOS 1977601 HAS SOPS 1977601 HAS SOUS 714806 HAS SOUPS 714806 WITH SCORE 716783.601
AT ITER 9993 NEW BEST:: SOT 6172459 SOS 1977601 HAS SOPS 1977601 HAS SOUS 714756 HAS SOUPS 714756 WITH SCORE 716733.601

BK_STOP 1678632955715

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 487 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypertorusGrid-PT-d4k3p2b08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r235-tall-167856421200064"
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 ;