fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508100105
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-07a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.890 3600000.00 3600009.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 848K
-rw-r--r-- 1 mcc users 3.0K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 677K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589044755059

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

Filename model.pnml
Petri model created: 1601 places, 2373 transitions, 8915 arcs.
AT ITER 0 NEW BEST:: SOT 2102678 SOS 1445830 HAS SOPS 1445830 HAS SOUS 934140 HAS SOUPS 934140 WITH SCORE 935585.83
AT ITER 1 NEW BEST:: SOT 2102515 SOS 1445667 HAS SOPS 1445667 HAS SOUS 934140 HAS SOUPS 934140 WITH SCORE 935585.667
AT ITER 6 NEW BEST:: SOT 2102108 SOS 1443879 HAS SOPS 1443879 HAS SOUS 933303 HAS SOUPS 933303 WITH SCORE 934746.879
AT ITER 9 NEW BEST:: SOT 2101187 SOS 1443875 HAS SOPS 1443875 HAS SOUS 933297 HAS SOUPS 933297 WITH SCORE 934740.875
AT ITER 11 NEW BEST:: SOT 2085175 SOS 1428110 HAS SOPS 1428110 HAS SOUS 917308 HAS SOUPS 917308 WITH SCORE 918736.11
AT ITER 12 NEW BEST:: SOT 2084429 SOS 1426048 HAS SOPS 1426048 HAS SOUS 915816 HAS SOUPS 915816 WITH SCORE 917242.048
AT ITER 13 NEW BEST:: SOT 2081434 SOS 1423011 HAS SOPS 1423011 HAS SOUS 911991 HAS SOUPS 911991 WITH SCORE 913414.011
AT ITER 17 NEW BEST:: SOT 2081434 SOS 1421975 HAS SOPS 1421975 HAS SOUS 911988 HAS SOUPS 911988 WITH SCORE 913409.975
AT ITER 22 NEW BEST:: SOT 2081563 SOS 1421974 HAS SOPS 1421974 HAS SOUS 911986 HAS SOUPS 911986 WITH SCORE 913407.974
AT ITER 24 NEW BEST:: SOT 2080839 SOS 1421964 HAS SOPS 1421964 HAS SOUS 911608 HAS SOUPS 911608 WITH SCORE 913029.964
AT ITER 25 NEW BEST:: SOT 2080364 SOS 1421006 HAS SOPS 1421006 HAS SOUS 910650 HAS SOUPS 910650 WITH SCORE 912071.006
AT ITER 26 NEW BEST:: SOT 2074028 SOS 1414663 HAS SOPS 1414663 HAS SOUS 904307 HAS SOUPS 904307 WITH SCORE 905721.663
AT ITER 28 NEW BEST:: SOT 2073739 SOS 1414374 HAS SOPS 1414374 HAS SOUS 904294 HAS SOUPS 904294 WITH SCORE 905708.374
AT ITER 29 NEW BEST:: SOT 2073739 SOS 1414374 HAS SOPS 1414374 HAS SOUS 903976 HAS SOUPS 903976 WITH SCORE 905390.374
AT ITER 33 NEW BEST:: SOT 2073592 SOS 1414219 HAS SOPS 1414219 HAS SOUS 903967 HAS SOUPS 903967 WITH SCORE 905381.219
AT ITER 39 NEW BEST:: SOT 2073147 SOS 1413246 HAS SOPS 1413246 HAS SOUS 903967 HAS SOUPS 903967 WITH SCORE 905380.246
AT ITER 44 NEW BEST:: SOT 2072463 SOS 1413238 HAS SOPS 1413238 HAS SOUS 903949 HAS SOUPS 903949 WITH SCORE 905362.238
AT ITER 49 NEW BEST:: SOT 2071403 SOS 1410284 HAS SOPS 1410284 HAS SOUS 901825 HAS SOUPS 901825 WITH SCORE 903235.284
AT ITER 51 NEW BEST:: SOT 2071144 SOS 1409430 HAS SOPS 1409430 HAS SOUS 901054 HAS SOUPS 901054 WITH SCORE 902463.43
AT ITER 54 NEW BEST:: SOT 2071144 SOS 1408972 HAS SOPS 1408972 HAS SOUS 900748 HAS SOUPS 900748 WITH SCORE 902156.972
AT ITER 58 NEW BEST:: SOT 2071144 SOS 1408972 HAS SOPS 1408972 HAS SOUS 900747 HAS SOUPS 900747 WITH SCORE 902155.972
AT ITER 61 NEW BEST:: SOT 2071483 SOS 1407895 HAS SOPS 1407895 HAS SOUS 900746 HAS SOUPS 900746 WITH SCORE 902153.895
AT ITER 68 NEW BEST:: SOT 2071483 SOS 1407895 HAS SOPS 1407895 HAS SOUS 900745 HAS SOUPS 900745 WITH SCORE 902152.895
AT ITER 72 NEW BEST:: SOT 2071390 SOS 1407802 HAS SOPS 1407802 HAS SOUS 900742 HAS SOUPS 900742 WITH SCORE 902149.802
AT ITER 79 NEW BEST:: SOT 2071173 SOS 1406689 HAS SOPS 1406689 HAS SOUS 900304 HAS SOUPS 900304 WITH SCORE 901710.689
AT ITER 80 NEW BEST:: SOT 2070786 SOS 1406689 HAS SOPS 1406689 HAS SOUS 899917 HAS SOUPS 899917 WITH SCORE 901323.689
AT ITER 86 NEW BEST:: SOT 2070383 SOS 1406286 HAS SOPS 1406286 HAS SOUS 899514 HAS SOUPS 899514 WITH SCORE 900920.286
AT ITER 92 NEW BEST:: SOT 2070383 SOS 1405173 HAS SOPS 1405173 HAS SOUS 899513 HAS SOUPS 899513 WITH SCORE 900918.173
AT ITER 94 NEW BEST:: SOT 2070268 SOS 1405058 HAS SOPS 1405058 HAS SOUS 899493 HAS SOUPS 899493 WITH SCORE 900898.058
AT ITER 100 NEW BEST:: SOT 2070256 SOS 1404222 HAS SOPS 1404222 HAS SOUS 899022 HAS SOUPS 899022 WITH SCORE 900426.222
AT ITER 102 NEW BEST:: SOT 2070256 SOS 1404054 HAS SOPS 1404054 HAS SOUS 899022 HAS SOUPS 899022 WITH SCORE 900426.054
AT ITER 109 NEW BEST:: SOT 2070256 SOS 1403521 HAS SOPS 1403521 HAS SOUS 898678 HAS SOUPS 898678 WITH SCORE 900081.521
AT ITER 114 NEW BEST:: SOT 2055657 SOS 1388458 HAS SOPS 1388458 HAS SOUS 882684 HAS SOUPS 882684 WITH SCORE 884072.458
AT ITER 123 NEW BEST:: SOT 2055355 SOS 1388156 HAS SOPS 1388156 HAS SOUS 882684 HAS SOUPS 882684 WITH SCORE 884072.156
AT ITER 125 NEW BEST:: SOT 2054971 SOS 1387772 HAS SOPS 1387772 HAS SOUS 882299 HAS SOUPS 882299 WITH SCORE 883686.772
AT ITER 128 NEW BEST:: SOT 2054672 SOS 1387380 HAS SOPS 1387380 HAS SOUS 882206 HAS SOUPS 882206 WITH SCORE 883593.38
AT ITER 129 NEW BEST:: SOT 2053832 SOS 1386540 HAS SOPS 1386540 HAS SOUS 881366 HAS SOUPS 881366 WITH SCORE 882752.54
AT ITER 131 NEW BEST:: SOT 2053832 SOS 1383385 HAS SOPS 1383385 HAS SOUS 881184 HAS SOUPS 881184 WITH SCORE 882567.385
AT ITER 133 NEW BEST:: SOT 2053831 SOS 1382684 HAS SOPS 1382684 HAS SOUS 881182 HAS SOUPS 881182 WITH SCORE 882564.684
AT ITER 134 NEW BEST:: SOT 2053669 SOS 1382522 HAS SOPS 1382522 HAS SOUS 881020 HAS SOUPS 881020 WITH SCORE 882402.522
AT ITER 137 NEW BEST:: SOT 2053669 SOS 1381822 HAS SOPS 1381822 HAS SOUS 880320 HAS SOUPS 880320 WITH SCORE 881701.822
AT ITER 138 NEW BEST:: SOT 2053518 SOS 1381671 HAS SOPS 1381671 HAS SOUS 880166 HAS SOUPS 880166 WITH SCORE 881547.671
AT ITER 139 NEW BEST:: SOT 2053518 SOS 1381451 HAS SOPS 1381451 HAS SOUS 880056 HAS SOUPS 880056 WITH SCORE 881437.451
AT ITER 144 NEW BEST:: SOT 2052521 SOS 1380454 HAS SOPS 1380454 HAS SOUS 879059 HAS SOUPS 879059 WITH SCORE 880439.454
AT ITER 148 NEW BEST:: SOT 2052107 SOS 1380040 HAS SOPS 1380040 HAS SOUS 878645 HAS SOUPS 878645 WITH SCORE 880025.04
AT ITER 155 NEW BEST:: SOT 2052107 SOS 1379469 HAS SOPS 1379469 HAS SOUS 878645 HAS SOUPS 878645 WITH SCORE 880024.469
AT ITER 158 NEW BEST:: SOT 2052107 SOS 1379469 HAS SOPS 1379469 HAS SOUS 878639 HAS SOUPS 878639 WITH SCORE 880018.469
AT ITER 164 NEW BEST:: SOT 2051292 SOS 1377233 HAS SOPS 1377233 HAS SOUS 877005 HAS SOUPS 877005 WITH SCORE 878382.233
AT ITER 167 NEW BEST:: SOT 2051292 SOS 1375734 HAS SOPS 1375734 HAS SOUS 875506 HAS SOUPS 875506 WITH SCORE 876881.734
AT ITER 168 NEW BEST:: SOT 2039244 SOS 1369952 HAS SOPS 1369952 HAS SOUS 864192 HAS SOUPS 864192 WITH SCORE 865561.952
AT ITER 172 NEW BEST:: SOT 2039244 SOS 1369952 HAS SOPS 1369952 HAS SOUS 864190 HAS SOUPS 864190 WITH SCORE 865559.952
AT ITER 176 NEW BEST:: SOT 2038418 SOS 1369189 HAS SOPS 1369189 HAS SOUS 863687 HAS SOUPS 863687 WITH SCORE 865056.189
AT ITER 177 NEW BEST:: SOT 2037826 SOS 1368597 HAS SOPS 1368597 HAS SOUS 863094 HAS SOUPS 863094 WITH SCORE 864462.597
AT ITER 180 NEW BEST:: SOT 2037377 SOS 1366833 HAS SOPS 1366833 HAS SOUS 862786 HAS SOUPS 862786 WITH SCORE 864152.833
AT ITER 181 NEW BEST:: SOT 2040214 SOS 1369821 HAS SOPS 1369821 HAS SOUS 861471 HAS SOUPS 861471 WITH SCORE 862840.821
AT ITER 184 NEW BEST:: SOT 2040214 SOS 1366222 HAS SOPS 1366222 HAS SOUS 861436 HAS SOUPS 861436 WITH SCORE 862802.222
AT ITER 192 NEW BEST:: SOT 2040214 SOS 1366165 HAS SOPS 1366165 HAS SOUS 861429 HAS SOUPS 861429 WITH SCORE 862795.165
AT ITER 195 NEW BEST:: SOT 2037322 SOS 1363273 HAS SOPS 1363273 HAS SOUS 858537 HAS SOUPS 858537 WITH SCORE 859900.273
AT ITER 199 NEW BEST:: SOT 2037315 SOS 1362571 HAS SOPS 1362571 HAS SOUS 857835 HAS SOUPS 857835 WITH SCORE 859197.571
AT ITER 200 NEW BEST:: SOT 2037313 SOS 1362290 HAS SOPS 1362290 HAS SOUS 857709 HAS SOUPS 857709 WITH SCORE 859071.29
AT ITER 201 NEW BEST:: SOT 2037313 SOS 1362029 HAS SOPS 1362029 HAS SOUS 857448 HAS SOUPS 857448 WITH SCORE 858810.029
AT ITER 205 NEW BEST:: SOT 2036758 SOS 1361110 HAS SOPS 1361110 HAS SOUS 856601 HAS SOUPS 856601 WITH SCORE 857962.11
AT ITER 207 NEW BEST:: SOT 2036778 SOS 1359321 HAS SOPS 1359321 HAS SOUS 856131 HAS SOUPS 856131 WITH SCORE 857490.321
AT ITER 221 NEW BEST:: SOT 2036778 SOS 1359321 HAS SOPS 1359321 HAS SOUS 856130 HAS SOUPS 856130 WITH SCORE 857489.321
AT ITER 223 NEW BEST:: SOT 2036778 SOS 1359321 HAS SOPS 1359321 HAS SOUS 856129 HAS SOUPS 856129 WITH SCORE 857488.321
AT ITER 224 NEW BEST:: SOT 2037241 SOS 1357933 HAS SOPS 1357933 HAS SOUS 854679 HAS SOUPS 854679 WITH SCORE 856036.933
AT ITER 227 NEW BEST:: SOT 2037010 SOS 1357702 HAS SOPS 1357702 HAS SOUS 854676 HAS SOUPS 854676 WITH SCORE 856033.702
AT ITER 229 NEW BEST:: SOT 2037171 SOS 1358440 HAS SOPS 1358440 HAS SOUS 854333 HAS SOUPS 854333 WITH SCORE 855691.44
AT ITER 230 NEW BEST:: SOT 2036870 SOS 1358139 HAS SOPS 1358139 HAS SOUS 854307 HAS SOUPS 854307 WITH SCORE 855665.139
AT ITER 231 NEW BEST:: SOT 2037026 SOS 1358139 HAS SOPS 1358139 HAS SOUS 854136 HAS SOUPS 854136 WITH SCORE 855494.139
AT ITER 238 NEW BEST:: SOT 2037187 SOS 1358299 HAS SOPS 1358299 HAS SOUS 853974 HAS SOUPS 853974 WITH SCORE 855332.299
AT ITER 239 NEW BEST:: SOT 2037187 SOS 1358332 HAS SOPS 1358332 HAS SOUS 853942 HAS SOUPS 853942 WITH SCORE 855300.332
AT ITER 245 NEW BEST:: SOT 2037184 SOS 1358329 HAS SOPS 1358329 HAS SOUS 853939 HAS SOUPS 853939 WITH SCORE 855297.329
AT ITER 246 NEW BEST:: SOT 2037002 SOS 1358079 HAS SOPS 1358079 HAS SOUS 853755 HAS SOUPS 853755 WITH SCORE 855113.079
AT ITER 249 NEW BEST:: SOT 2031311 SOS 1353322 HAS SOPS 1353322 HAS SOUS 848357 HAS SOUPS 848357 WITH SCORE 849710.322
AT ITER 252 NEW BEST:: SOT 2031238 SOS 1353249 HAS SOPS 1353249 HAS SOUS 848284 HAS SOUPS 848284 WITH SCORE 849637.249
AT ITER 254 NEW BEST:: SOT 2030157 SOS 1353480 HAS SOPS 1353480 HAS SOUS 847322 HAS SOUPS 847322 WITH SCORE 848675.48
AT ITER 262 NEW BEST:: SOT 2029157 SOS 1352480 HAS SOPS 1352480 HAS SOUS 846322 HAS SOUPS 846322 WITH SCORE 847674.48
AT ITER 263 NEW BEST:: SOT 2023622 SOS 1346932 HAS SOPS 1346932 HAS SOUS 840774 HAS SOUPS 840774 WITH SCORE 842120.932
AT ITER 267 NEW BEST:: SOT 2023622 SOS 1346655 HAS SOPS 1346655 HAS SOUS 840774 HAS SOUPS 840774 WITH SCORE 842120.655
AT ITER 280 NEW BEST:: SOT 2022884 SOS 1344476 HAS SOPS 1344476 HAS SOUS 839011 HAS SOUPS 839011 WITH SCORE 840355.476
AT ITER 295 NEW BEST:: SOT 2022978 SOS 1344161 HAS SOPS 1344161 HAS SOUS 838696 HAS SOUPS 838696 WITH SCORE 840040.161
AT ITER 300 NEW BEST:: SOT 2022279 SOS 1342064 HAS SOPS 1342064 HAS SOUS 836599 HAS SOUPS 836599 WITH SCORE 837941.064
AT ITER 304 NEW BEST:: SOT 2022433 SOS 1342062 HAS SOPS 1342062 HAS SOUS 836597 HAS SOUPS 836597 WITH SCORE 837939.062
AT ITER 309 NEW BEST:: SOT 2021488 SOS 1341543 HAS SOPS 1341543 HAS SOUS 836078 HAS SOUPS 836078 WITH SCORE 837419.543
AT ITER 311 NEW BEST:: SOT 2021488 SOS 1341120 HAS SOPS 1341120 HAS SOUS 835893 HAS SOUPS 835893 WITH SCORE 837234.12
AT ITER 315 NEW BEST:: SOT 2021475 SOS 1341094 HAS SOPS 1341094 HAS SOUS 835867 HAS SOUPS 835867 WITH SCORE 837208.094
AT ITER 318 NEW BEST:: SOT 2017291 SOS 1339523 HAS SOPS 1339523 HAS SOUS 832044 HAS SOUPS 832044 WITH SCORE 833383.523
AT ITER 322 NEW BEST:: SOT 2017506 SOS 1338636 HAS SOPS 1338636 HAS SOUS 831978 HAS SOUPS 831978 WITH SCORE 833316.636
AT ITER 326 NEW BEST:: SOT 2017506 SOS 1337238 HAS SOPS 1337238 HAS SOUS 831977 HAS SOUPS 831977 WITH SCORE 833314.238
AT ITER 334 NEW BEST:: SOT 2017506 SOS 1336506 HAS SOPS 1336506 HAS SOUS 831976 HAS SOUPS 831976 WITH SCORE 833312.506
AT ITER 337 NEW BEST:: SOT 2007598 SOS 1332373 HAS SOPS 1332373 HAS SOUS 822852 HAS SOUPS 822852 WITH SCORE 824184.373
AT ITER 340 NEW BEST:: SOT 2004912 SOS 1329687 HAS SOPS 1329687 HAS SOUS 820166 HAS SOUPS 820166 WITH SCORE 821495.687
AT ITER 341 NEW BEST:: SOT 2004591 SOS 1329366 HAS SOPS 1329366 HAS SOUS 819799 HAS SOUPS 819799 WITH SCORE 821128.366
AT ITER 351 NEW BEST:: SOT 1994155 SOS 1317696 HAS SOPS 1317696 HAS SOUS 807365 HAS SOUPS 807365 WITH SCORE 808682.696
AT ITER 366 NEW BEST:: SOT 1993226 SOS 1316767 HAS SOPS 1316767 HAS SOUS 806436 HAS SOUPS 806436 WITH SCORE 807752.767
AT ITER 373 NEW BEST:: SOT 1993226 SOS 1316767 HAS SOPS 1316767 HAS SOUS 806435 HAS SOUPS 806435 WITH SCORE 807751.767
AT ITER 377 NEW BEST:: SOT 1993148 SOS 1316688 HAS SOPS 1316688 HAS SOUS 806356 HAS SOUPS 806356 WITH SCORE 807672.688
AT ITER 379 NEW BEST:: SOT 1993148 SOS 1316688 HAS SOPS 1316688 HAS SOUS 806348 HAS SOUPS 806348 WITH SCORE 807664.688
AT ITER 380 NEW BEST:: SOT 1993148 SOS 1316688 HAS SOPS 1316688 HAS SOUS 806346 HAS SOUPS 806346 WITH SCORE 807662.688
AT ITER 406 NEW BEST:: SOT 1992614 SOS 1312523 HAS SOPS 1312523 HAS SOUS 805278 HAS SOUPS 805278 WITH SCORE 806590.523
AT ITER 409 NEW BEST:: SOT 1991760 SOS 1309744 HAS SOPS 1309744 HAS SOUS 803347 HAS SOUPS 803347 WITH SCORE 804656.744
AT ITER 425 NEW BEST:: SOT 1989747 SOS 1307730 HAS SOPS 1307730 HAS SOUS 801333 HAS SOUPS 801333 WITH SCORE 802640.73
AT ITER 426 NEW BEST:: SOT 1989577 SOS 1307729 HAS SOPS 1307729 HAS SOUS 801332 HAS SOUPS 801332 WITH SCORE 802639.729
AT ITER 428 NEW BEST:: SOT 1989493 SOS 1307645 HAS SOPS 1307645 HAS SOUS 801248 HAS SOUPS 801248 WITH SCORE 802555.645
AT ITER 433 NEW BEST:: SOT 1989493 SOS 1307645 HAS SOPS 1307645 HAS SOUS 801247 HAS SOUPS 801247 WITH SCORE 802554.645
AT ITER 441 NEW BEST:: SOT 1988930 SOS 1305951 HAS SOPS 1305951 HAS SOUS 799730 HAS SOUPS 799730 WITH SCORE 801035.951
AT ITER 444 NEW BEST:: SOT 1988894 SOS 1305915 HAS SOPS 1305915 HAS SOUS 799729 HAS SOUPS 799729 WITH SCORE 801034.915
AT ITER 446 NEW BEST:: SOT 1988333 SOS 1304792 HAS SOPS 1304792 HAS SOUS 798606 HAS SOUPS 798606 WITH SCORE 799910.792
AT ITER 448 NEW BEST:: SOT 1988327 SOS 1304748 HAS SOPS 1304748 HAS SOUS 798562 HAS SOUPS 798562 WITH SCORE 799866.748
AT ITER 449 NEW BEST:: SOT 1987990 SOS 1302389 HAS SOPS 1302389 HAS SOUS 797884 HAS SOUPS 797884 WITH SCORE 799186.389
AT ITER 451 NEW BEST:: SOT 1987990 SOS 1302081 HAS SOPS 1302081 HAS SOUS 797576 HAS SOUPS 797576 WITH SCORE 798878.081
AT ITER 453 NEW BEST:: SOT 1988020 SOS 1302677 HAS SOPS 1302677 HAS SOUS 797538 HAS SOUPS 797538 WITH SCORE 798840.677
AT ITER 455 NEW BEST:: SOT 1988036 SOS 1302412 HAS SOPS 1302412 HAS SOUS 797273 HAS SOUPS 797273 WITH SCORE 798575.412
AT ITER 458 NEW BEST:: SOT 1987561 SOS 1301937 HAS SOPS 1301937 HAS SOUS 797249 HAS SOUPS 797249 WITH SCORE 798550.937
AT ITER 460 NEW BEST:: SOT 1988185 SOS 1301031 HAS SOPS 1301031 HAS SOUS 796615 HAS SOUPS 796615 WITH SCORE 797916.031
AT ITER 473 NEW BEST:: SOT 1988378 SOS 1301029 HAS SOPS 1301029 HAS SOUS 796419 HAS SOUPS 796419 WITH SCORE 797720.029
AT ITER 474 NEW BEST:: SOT 1988387 SOS 1294368 HAS SOPS 1294368 HAS SOUS 794719 HAS SOUPS 794719 WITH SCORE 796013.368
AT ITER 479 NEW BEST:: SOT 1988007 SOS 1293608 HAS SOPS 1293608 HAS SOUS 794564 HAS SOUPS 794564 WITH SCORE 795857.608
AT ITER 481 NEW BEST:: SOT 1984381 SOS 1289396 HAS SOPS 1289396 HAS SOUS 790153 HAS SOUPS 790153 WITH SCORE 791442.396
AT ITER 482 NEW BEST:: SOT 1984381 SOS 1289396 HAS SOPS 1289396 HAS SOUS 790036 HAS SOUPS 790036 WITH SCORE 791325.396
AT ITER 483 NEW BEST:: SOT 1984355 SOS 1289370 HAS SOPS 1289370 HAS SOUS 790019 HAS SOUPS 790019 WITH SCORE 791308.37
AT ITER 492 NEW BEST:: SOT 1983271 SOS 1288355 HAS SOPS 1288355 HAS SOUS 789575 HAS SOUPS 789575 WITH SCORE 790863.355
AT ITER 494 NEW BEST:: SOT 1983263 SOS 1287270 HAS SOPS 1287270 HAS SOUS 789550 HAS SOUPS 789550 WITH SCORE 790837.27
AT ITER 504 NEW BEST:: SOT 1983262 SOS 1285757 HAS SOPS 1285757 HAS SOUS 789548 HAS SOUPS 789548 WITH SCORE 790833.757
AT ITER 515 NEW BEST:: SOT 1982580 SOS 1285265 HAS SOPS 1285265 HAS SOUS 788510 HAS SOUPS 788510 WITH SCORE 789795.265
AT ITER 520 NEW BEST:: SOT 1982580 SOS 1284622 HAS SOPS 1284622 HAS SOUS 787867 HAS SOUPS 787867 WITH SCORE 789151.622
AT ITER 528 NEW BEST:: SOT 1982348 SOS 1284390 HAS SOPS 1284390 HAS SOUS 787842 HAS SOUPS 787842 WITH SCORE 789126.39
AT ITER 543 NEW BEST:: SOT 1981580 SOS 1278454 HAS SOPS 1278454 HAS SOUS 786304 HAS SOUPS 786304 WITH SCORE 787582.454
AT ITER 547 NEW BEST:: SOT 1981580 SOS 1278139 HAS SOPS 1278139 HAS SOUS 786304 HAS SOUPS 786304 WITH SCORE 787582.139
AT ITER 550 NEW BEST:: SOT 1981088 SOS 1277642 HAS SOPS 1277642 HAS SOUS 785807 HAS SOUPS 785807 WITH SCORE 787084.642
AT ITER 556 NEW BEST:: SOT 1981084 SOS 1277481 HAS SOPS 1277481 HAS SOUS 785805 HAS SOUPS 785805 WITH SCORE 787082.481
AT ITER 572 NEW BEST:: SOT 1980231 SOS 1277475 HAS SOPS 1277475 HAS SOUS 785799 HAS SOUPS 785799 WITH SCORE 787076.475
AT ITER 573 NEW BEST:: SOT 1979890 SOS 1273841 HAS SOPS 1273841 HAS SOUS 785074 HAS SOUPS 785074 WITH SCORE 786347.841
AT ITER 574 NEW BEST:: SOT 1979890 SOS 1272850 HAS SOPS 1272850 HAS SOUS 785068 HAS SOUPS 785068 WITH SCORE 786340.85
AT ITER 577 NEW BEST:: SOT 1980020 SOS 1271181 HAS SOPS 1271181 HAS SOUS 784769 HAS SOUPS 784769 WITH SCORE 786040.181
AT ITER 578 NEW BEST:: SOT 1980020 SOS 1270931 HAS SOPS 1270931 HAS SOUS 784769 HAS SOUPS 784769 WITH SCORE 786039.931
AT ITER 582 NEW BEST:: SOT 1979774 SOS 1270802 HAS SOPS 1270802 HAS SOUS 784766 HAS SOUPS 784766 WITH SCORE 786036.802
AT ITER 583 NEW BEST:: SOT 1979035 SOS 1270055 HAS SOPS 1270055 HAS SOUS 784019 HAS SOUPS 784019 WITH SCORE 785289.055
AT ITER 588 NEW BEST:: SOT 1978938 SOS 1269958 HAS SOPS 1269958 HAS SOUS 783922 HAS SOUPS 783922 WITH SCORE 785191.958
AT ITER 590 NEW BEST:: SOT 1972924 SOS 1263944 HAS SOPS 1263944 HAS SOUS 777908 HAS SOUPS 777908 WITH SCORE 779171.944
AT ITER 591 NEW BEST:: SOT 1972743 SOS 1263763 HAS SOPS 1263763 HAS SOUS 777743 HAS SOUPS 777743 WITH SCORE 779006.763
AT ITER 595 NEW BEST:: SOT 1971927 SOS 1262947 HAS SOPS 1262947 HAS SOUS 776927 HAS SOUPS 776927 WITH SCORE 778189.947
AT ITER 598 NEW BEST:: SOT 1971927 SOS 1262947 HAS SOPS 1262947 HAS SOUS 776385 HAS SOUPS 776385 WITH SCORE 777647.947
AT ITER 602 NEW BEST:: SOT 1970632 SOS 1263812 HAS SOPS 1263812 HAS SOUS 775844 HAS SOUPS 775844 WITH SCORE 777107.812
AT ITER 606 NEW BEST:: SOT 1966758 SOS 1264256 HAS SOPS 1264256 HAS SOUS 773287 HAS SOUPS 773287 WITH SCORE 774551.256
AT ITER 607 NEW BEST:: SOT 1966758 SOS 1262999 HAS SOPS 1262999 HAS SOUS 773286 HAS SOUPS 773286 WITH SCORE 774548.999
AT ITER 613 NEW BEST:: SOT 1966746 SOS 1262975 HAS SOPS 1262975 HAS SOUS 773250 HAS SOUPS 773250 WITH SCORE 774512.975
AT ITER 615 NEW BEST:: SOT 1966745 SOS 1262974 HAS SOPS 1262974 HAS SOUS 773249 HAS SOUPS 773249 WITH SCORE 774511.974
AT ITER 624 NEW BEST:: SOT 1965740 SOS 1261969 HAS SOPS 1261969 HAS SOUS 772720 HAS SOUPS 772720 WITH SCORE 773981.969
AT ITER 627 NEW BEST:: SOT 1965306 SOS 1261491 HAS SOPS 1261491 HAS SOUS 772242 HAS SOUPS 772242 WITH SCORE 773503.491
AT ITER 657 NEW BEST:: SOT 1963529 SOS 1259701 HAS SOPS 1259701 HAS SOUS 770451 HAS SOUPS 770451 WITH SCORE 771710.701
AT ITER 662 NEW BEST:: SOT 1963529 SOS 1259701 HAS SOPS 1259701 HAS SOUS 770445 HAS SOUPS 770445 WITH SCORE 771704.701
AT ITER 668 NEW BEST:: SOT 1962897 SOS 1259062 HAS SOPS 1259062 HAS SOUS 769805 HAS SOUPS 769805 WITH SCORE 771064.062
AT ITER 670 NEW BEST:: SOT 1962633 SOS 1257723 HAS SOPS 1257723 HAS SOUS 769277 HAS SOUPS 769277 WITH SCORE 770534.723
AT ITER 674 NEW BEST:: SOT 1962280 SOS 1257370 HAS SOPS 1257370 HAS SOUS 769236 HAS SOUPS 769236 WITH SCORE 770493.37
AT ITER 685 NEW BEST:: SOT 1961414 SOS 1255205 HAS SOPS 1255205 HAS SOUS 767846 HAS SOUPS 767846 WITH SCORE 769101.205
AT ITER 691 NEW BEST:: SOT 1961265 SOS 1253720 HAS SOPS 1253720 HAS SOUS 767348 HAS SOUPS 767348 WITH SCORE 768601.72
AT ITER 692 NEW BEST:: SOT 1961265 SOS 1253469 HAS SOPS 1253469 HAS SOUS 766888 HAS SOUPS 766888 WITH SCORE 768141.469
AT ITER 698 NEW BEST:: SOT 1961161 SOS 1253365 HAS SOPS 1253365 HAS SOUS 766732 HAS SOUPS 766732 WITH SCORE 767985.365
AT ITER 699 NEW BEST:: SOT 1961011 SOS 1253215 HAS SOPS 1253215 HAS SOUS 766730 HAS SOUPS 766730 WITH SCORE 767983.215
AT ITER 713 NEW BEST:: SOT 1960905 SOS 1253101 HAS SOPS 1253101 HAS SOUS 766616 HAS SOUPS 766616 WITH SCORE 767869.101
AT ITER 714 NEW BEST:: SOT 1960904 SOS 1252342 HAS SOPS 1252342 HAS SOUS 766208 HAS SOUPS 766208 WITH SCORE 767460.342
AT ITER 729 NEW BEST:: SOT 1959518 SOS 1251776 HAS SOPS 1251776 HAS SOUS 765015 HAS SOUPS 765015 WITH SCORE 766266.776
AT ITER 741 NEW BEST:: SOT 1959468 SOS 1251705 HAS SOPS 1251705 HAS SOUS 764944 HAS SOUPS 764944 WITH SCORE 766195.705
AT ITER 744 NEW BEST:: SOT 1958436 SOS 1250385 HAS SOPS 1250385 HAS SOUS 764864 HAS SOUPS 764864 WITH SCORE 766114.385
AT ITER 750 NEW BEST:: SOT 1957588 SOS 1249537 HAS SOPS 1249537 HAS SOUS 764016 HAS SOUPS 764016 WITH SCORE 765265.537
AT ITER 759 NEW BEST:: SOT 1957588 SOS 1247619 HAS SOPS 1247619 HAS SOUS 763741 HAS SOUPS 763741 WITH SCORE 764988.619
AT ITER 770 NEW BEST:: SOT 1957588 SOS 1247513 HAS SOPS 1247513 HAS SOUS 763635 HAS SOUPS 763635 WITH SCORE 764882.513
AT ITER 772 NEW BEST:: SOT 1956891 SOS 1246816 HAS SOPS 1246816 HAS SOUS 762938 HAS SOUPS 762938 WITH SCORE 764184.816
AT ITER 779 NEW BEST:: SOT 1956443 SOS 1246368 HAS SOPS 1246368 HAS SOUS 762489 HAS SOUPS 762489 WITH SCORE 763735.368
AT ITER 783 NEW BEST:: SOT 1955722 SOS 1241490 HAS SOPS 1241490 HAS SOUS 761246 HAS SOUPS 761246 WITH SCORE 762487.49
AT ITER 787 NEW BEST:: SOT 1955543 SOS 1239580 HAS SOPS 1239580 HAS SOUS 761102 HAS SOUPS 761102 WITH SCORE 762341.58
AT ITER 789 NEW BEST:: SOT 1955543 SOS 1239568 HAS SOPS 1239568 HAS SOUS 761099 HAS SOUPS 761099 WITH SCORE 762338.568
AT ITER 792 NEW BEST:: SOT 1955184 SOS 1237713 HAS SOPS 1237713 HAS SOUS 759630 HAS SOUPS 759630 WITH SCORE 760867.713
AT ITER 793 NEW BEST:: SOT 1955357 SOS 1237828 HAS SOPS 1237828 HAS SOUS 759344 HAS SOUPS 759344 WITH SCORE 760581.828
AT ITER 807 NEW BEST:: SOT 1955477 SOS 1237666 HAS SOPS 1237666 HAS SOUS 759117 HAS SOUPS 759117 WITH SCORE 760354.666
AT ITER 815 NEW BEST:: SOT 1954643 SOS 1238032 HAS SOPS 1238032 HAS SOUS 758885 HAS SOUPS 758885 WITH SCORE 760123.032
AT ITER 847 NEW BEST:: SOT 1954575 SOS 1237896 HAS SOPS 1237896 HAS SOUS 758749 HAS SOUPS 758749 WITH SCORE 759986.896
AT ITER 851 NEW BEST:: SOT 1954575 SOS 1237888 HAS SOPS 1237888 HAS SOUS 758748 HAS SOUPS 758748 WITH SCORE 759985.888
AT ITER 854 NEW BEST:: SOT 1954790 SOS 1237503 HAS SOPS 1237503 HAS SOUS 758392 HAS SOUPS 758392 WITH SCORE 759629.503
AT ITER 860 NEW BEST:: SOT 1954730 SOS 1237323 HAS SOPS 1237323 HAS SOUS 758272 HAS SOUPS 758272 WITH SCORE 759509.323
AT ITER 883 NEW BEST:: SOT 1954672 SOS 1237149 HAS SOPS 1237149 HAS SOUS 758098 HAS SOUPS 758098 WITH SCORE 759335.149
AT ITER 887 NEW BEST:: SOT 1954658 SOS 1237135 HAS SOPS 1237135 HAS SOUS 758070 HAS SOUPS 758070 WITH SCORE 759307.135
AT ITER 890 NEW BEST:: SOT 1954598 SOS 1237075 HAS SOPS 1237075 HAS SOUS 758068 HAS SOUPS 758068 WITH SCORE 759305.075
AT ITER 892 NEW BEST:: SOT 1954598 SOS 1236961 HAS SOPS 1236961 HAS SOUS 758068 HAS SOUPS 758068 WITH SCORE 759304.961
AT ITER 894 NEW BEST:: SOT 1953951 SOS 1235660 HAS SOPS 1235660 HAS SOUS 757132 HAS SOUPS 757132 WITH SCORE 758367.66
AT ITER 896 NEW BEST:: SOT 1948911 SOS 1230620 HAS SOPS 1230620 HAS SOUS 752091 HAS SOUPS 752091 WITH SCORE 753321.62
AT ITER 901 NEW BEST:: SOT 1948775 SOS 1229885 HAS SOPS 1229885 HAS SOUS 751760 HAS SOUPS 751760 WITH SCORE 752989.885
AT ITER 902 NEW BEST:: SOT 1948751 SOS 1229837 HAS SOPS 1229837 HAS SOUS 751736 HAS SOUPS 751736 WITH SCORE 752965.837
AT ITER 911 NEW BEST:: SOT 1948513 SOS 1229733 HAS SOPS 1229733 HAS SOUS 751494 HAS SOUPS 751494 WITH SCORE 752723.733
AT ITER 915 NEW BEST:: SOT 1947807 SOS 1229198 HAS SOPS 1229198 HAS SOUS 750959 HAS SOUPS 750959 WITH SCORE 752188.198
AT ITER 918 NEW BEST:: SOT 1947662 SOS 1229053 HAS SOPS 1229053 HAS SOUS 750814 HAS SOUPS 750814 WITH SCORE 752043.053
AT ITER 922 NEW BEST:: SOT 1946790 SOS 1226097 HAS SOPS 1226097 HAS SOUS 747858 HAS SOUPS 747858 WITH SCORE 749084.097
AT ITER 928 NEW BEST:: SOT 1946790 SOS 1225924 HAS SOPS 1225924 HAS SOUS 747685 HAS SOUPS 747685 WITH SCORE 748910.924
AT ITER 929 NEW BEST:: SOT 1946474 SOS 1223009 HAS SOPS 1223009 HAS SOUS 747075 HAS SOUPS 747075 WITH SCORE 748298.009
AT ITER 930 NEW BEST:: SOT 1946524 SOS 1222308 HAS SOPS 1222308 HAS SOUS 746426 HAS SOUPS 746426 WITH SCORE 747648.308
AT ITER 935 NEW BEST:: SOT 1946524 SOS 1222738 HAS SOPS 1222738 HAS SOUS 746424 HAS SOUPS 746424 WITH SCORE 747646.738
AT ITER 939 NEW BEST:: SOT 1946524 SOS 1222366 HAS SOPS 1222366 HAS SOUS 746320 HAS SOUPS 746320 WITH SCORE 747542.366
AT ITER 942 NEW BEST:: SOT 1946524 SOS 1222366 HAS SOPS 1222366 HAS SOUS 746318 HAS SOUPS 746318 WITH SCORE 747540.366
AT ITER 948 NEW BEST:: SOT 1946579 SOS 1222398 HAS SOPS 1222398 HAS SOUS 746081 HAS SOUPS 746081 WITH SCORE 747303.398
AT ITER 962 NEW BEST:: SOT 1939381 SOS 1215200 HAS SOPS 1215200 HAS SOUS 738882 HAS SOUPS 738882 WITH SCORE 740097.2
AT ITER 968 NEW BEST:: SOT 1940527 SOS 1216026 HAS SOPS 1216026 HAS SOUS 738730 HAS SOUPS 738730 WITH SCORE 739946.026
AT ITER 969 NEW BEST:: SOT 1940526 SOS 1215651 HAS SOPS 1215651 HAS SOUS 738535 HAS SOUPS 738535 WITH SCORE 739750.651
AT ITER 970 NEW BEST:: SOT 1940487 SOS 1215573 HAS SOPS 1215573 HAS SOUS 738495 HAS SOUPS 738495 WITH SCORE 739710.573
AT ITER 977 NEW BEST:: SOT 1940292 SOS 1215385 HAS SOPS 1215385 HAS SOUS 738073 HAS SOUPS 738073 WITH SCORE 739288.385
AT ITER 981 NEW BEST:: SOT 1940516 SOS 1215129 HAS SOPS 1215129 HAS SOUS 737817 HAS SOUPS 737817 WITH SCORE 739032.129
AT ITER 983 NEW BEST:: SOT 1940439 SOS 1214975 HAS SOPS 1214975 HAS SOUS 737428 HAS SOUPS 737428 WITH SCORE 738642.975
AT ITER 997 NEW BEST:: SOT 1940403 SOS 1214402 HAS SOPS 1214402 HAS SOUS 737356 HAS SOUPS 737356 WITH SCORE 738570.402
AT ITER 1000 NEW BEST:: SOT 1940403 SOS 1213561 HAS SOPS 1213561 HAS SOUS 737348 HAS SOUPS 737348 WITH SCORE 738561.561
AT ITER 1001 NEW BEST:: SOT 1940291 SOS 1213449 HAS SOPS 1213449 HAS SOUS 737236 HAS SOUPS 737236 WITH SCORE 738449.449
AT ITER 1002 NEW BEST:: SOT 1940289 SOS 1213339 HAS SOPS 1213339 HAS SOUS 737095 HAS SOUPS 737095 WITH SCORE 738308.339
AT ITER 1014 NEW BEST:: SOT 1940089 SOS 1213130 HAS SOPS 1213130 HAS SOUS 737086 HAS SOUPS 737086 WITH SCORE 738299.13
AT ITER 1015 NEW BEST:: SOT 1939840 SOS 1213099 HAS SOPS 1213099 HAS SOUS 737055 HAS SOUPS 737055 WITH SCORE 738268.099
AT ITER 1019 NEW BEST:: SOT 1939284 SOS 1211493 HAS SOPS 1211493 HAS SOUS 735449 HAS SOUPS 735449 WITH SCORE 736660.493
AT ITER 1021 NEW BEST:: SOT 1939122 SOS 1210857 HAS SOPS 1210857 HAS SOUS 735000 HAS SOUPS 735000 WITH SCORE 736210.857
AT ITER 1022 NEW BEST:: SOT 1939354 SOS 1210475 HAS SOPS 1210475 HAS SOUS 733771 HAS SOUPS 733771 WITH SCORE 734981.475
AT ITER 1023 NEW BEST:: SOT 1939354 SOS 1210450 HAS SOPS 1210450 HAS SOUS 733746 HAS SOUPS 733746 WITH SCORE 734956.45
AT ITER 1026 NEW BEST:: SOT 1935010 SOS 1207775 HAS SOPS 1207775 HAS SOUS 729813 HAS SOUPS 729813 WITH SCORE 731020.775
AT ITER 1030 NEW BEST:: SOT 1935002 SOS 1207711 HAS SOPS 1207711 HAS SOUS 729802 HAS SOUPS 729802 WITH SCORE 731009.711
AT ITER 1038 NEW BEST:: SOT 1934606 SOS 1207315 HAS SOPS 1207315 HAS SOUS 729406 HAS SOUPS 729406 WITH SCORE 730613.315
AT ITER 1049 NEW BEST:: SOT 1934376 SOS 1207085 HAS SOPS 1207085 HAS SOUS 728980 HAS SOUPS 728980 WITH SCORE 730187.085
AT ITER 1058 NEW BEST:: SOT 1934373 SOS 1206750 HAS SOPS 1206750 HAS SOUS 728645 HAS SOUPS 728645 WITH SCORE 729851.75
AT ITER 1060 NEW BEST:: SOT 1934373 SOS 1206750 HAS SOPS 1206750 HAS SOUS 728490 HAS SOUPS 728490 WITH SCORE 729696.75
AT ITER 1065 NEW BEST:: SOT 1934585 SOS 1206020 HAS SOPS 1206020 HAS SOUS 728125 HAS SOUPS 728125 WITH SCORE 729331.02
AT ITER 1075 NEW BEST:: SOT 1934361 SOS 1205872 HAS SOPS 1205872 HAS SOUS 727668 HAS SOUPS 727668 WITH SCORE 728873.872
AT ITER 1098 NEW BEST:: SOT 1934090 SOS 1204991 HAS SOPS 1204991 HAS SOUS 727485 HAS SOUPS 727485 WITH SCORE 728689.991
AT ITER 1099 NEW BEST:: SOT 1934072 SOS 1204973 HAS SOPS 1204973 HAS SOUS 727467 HAS SOUPS 727467 WITH SCORE 728671.973
AT ITER 1100 NEW BEST:: SOT 1933818 SOS 1204465 HAS SOPS 1204465 HAS SOUS 726959 HAS SOUPS 726959 WITH SCORE 728163.465
AT ITER 1101 NEW BEST:: SOT 1933587 SOS 1204080 HAS SOPS 1204080 HAS SOUS 726791 HAS SOUPS 726791 WITH SCORE 727995.08
AT ITER 1121 NEW BEST:: SOT 1933587 SOS 1203485 HAS SOPS 1203485 HAS SOUS 726505 HAS SOUPS 726505 WITH SCORE 727708.485
AT ITER 1138 NEW BEST:: SOT 1933587 SOS 1203485 HAS SOPS 1203485 HAS SOUS 726433 HAS SOUPS 726433 WITH SCORE 727636.485
AT ITER 1144 NEW BEST:: SOT 1933158 SOS 1202712 HAS SOPS 1202712 HAS SOUS 725575 HAS SOUPS 725575 WITH SCORE 726777.712
AT ITER 1149 NEW BEST:: SOT 1933158 SOS 1202449 HAS SOPS 1202449 HAS SOUS 725398 HAS SOUPS 725398 WITH SCORE 726600.449
AT ITER 1155 NEW BEST:: SOT 1933158 SOS 1202447 HAS SOPS 1202447 HAS SOUS 725396 HAS SOUPS 725396 WITH SCORE 726598.447
AT ITER 1157 NEW BEST:: SOT 1919651 SOS 1188940 HAS SOPS 1188940 HAS SOUS 711889 HAS SOUPS 711889 WITH SCORE 713077.94
AT ITER 1161 NEW BEST:: SOT 1919715 SOS 1187814 HAS SOPS 1187814 HAS SOUS 710763 HAS SOUPS 710763 WITH SCORE 711950.814
AT ITER 1172 NEW BEST:: SOT 1919715 SOS 1185896 HAS SOPS 1185896 HAS SOUS 710671 HAS SOUPS 710671 WITH SCORE 711856.896
AT ITER 1175 NEW BEST:: SOT 1919629 SOS 1185262 HAS SOPS 1185262 HAS SOUS 710037 HAS SOUPS 710037 WITH SCORE 711222.262
AT ITER 1180 NEW BEST:: SOT 1919565 SOS 1185198 HAS SOPS 1185198 HAS SOUS 709973 HAS SOUPS 709973 WITH SCORE 711158.198
AT ITER 1184 NEW BEST:: SOT 1919482 SOS 1185115 HAS SOPS 1185115 HAS SOUS 709969 HAS SOUPS 709969 WITH SCORE 711154.115
AT ITER 1185 NEW BEST:: SOT 1914464 SOS 1183600 HAS SOPS 1183600 HAS SOUS 705320 HAS SOUPS 705320 WITH SCORE 706503.6
AT ITER 1187 NEW BEST:: SOT 1890378 SOS 1162811 HAS SOPS 1162811 HAS SOUS 681558 HAS SOUPS 681558 WITH SCORE 682720.811
AT ITER 1192 NEW BEST:: SOT 1890377 SOS 1162810 HAS SOPS 1162810 HAS SOUS 681557 HAS SOUPS 681557 WITH SCORE 682719.81
AT ITER 1194 NEW BEST:: SOT 1889688 SOS 1161298 HAS SOPS 1161298 HAS SOUS 680866 HAS SOUPS 680866 WITH SCORE 682027.298
AT ITER 1197 NEW BEST:: SOT 1889415 SOS 1161298 HAS SOPS 1161298 HAS SOUS 680560 HAS SOUPS 680560 WITH SCORE 681721.298
AT ITER 1201 NEW BEST:: SOT 1888935 SOS 1160818 HAS SOPS 1160818 HAS SOUS 680079 HAS SOUPS 680079 WITH SCORE 681239.818
AT ITER 1205 NEW BEST:: SOT 1888928 SOS 1160813 HAS SOPS 1160813 HAS SOUS 680076 HAS SOUPS 680076 WITH SCORE 681236.813
AT ITER 1211 NEW BEST:: SOT 1888927 SOS 1160882 HAS SOPS 1160882 HAS SOUS 680003 HAS SOUPS 680003 WITH SCORE 681163.882
AT ITER 1212 NEW BEST:: SOT 1888927 SOS 1160486 HAS SOPS 1160486 HAS SOUS 679944 HAS SOUPS 679944 WITH SCORE 681104.486
AT ITER 1220 NEW BEST:: SOT 1888927 SOS 1160464 HAS SOPS 1160464 HAS SOUS 679944 HAS SOUPS 679944 WITH SCORE 681104.464
AT ITER 1222 NEW BEST:: SOT 1882568 SOS 1153772 HAS SOPS 1153772 HAS SOUS 672626 HAS SOUPS 672626 WITH SCORE 673779.772
AT ITER 1234 NEW BEST:: SOT 1882378 SOS 1153578 HAS SOPS 1153578 HAS SOUS 672432 HAS SOUPS 672432 WITH SCORE 673585.578
AT ITER 1235 NEW BEST:: SOT 1882241 SOS 1153562 HAS SOPS 1153562 HAS SOUS 672416 HAS SOUPS 672416 WITH SCORE 673569.562
AT ITER 1239 NEW BEST:: SOT 1882402 SOS 1154366 HAS SOPS 1154366 HAS SOUS 671599 HAS SOUPS 671599 WITH SCORE 672753.366
AT ITER 1240 NEW BEST:: SOT 1882325 SOS 1154289 HAS SOPS 1154289 HAS SOUS 671599 HAS SOUPS 671599 WITH SCORE 672753.289
AT ITER 1259 NEW BEST:: SOT 1882256 SOS 1154841 HAS SOPS 1154841 HAS SOUS 670978 HAS SOUPS 670978 WITH SCORE 672132.841
AT ITER 1266 NEW BEST:: SOT 1882256 SOS 1154575 HAS SOPS 1154575 HAS SOUS 670712 HAS SOUPS 670712 WITH SCORE 671866.575
AT ITER 1272 NEW BEST:: SOT 1882014 SOS 1153671 HAS SOPS 1153671 HAS SOUS 669808 HAS SOUPS 669808 WITH SCORE 670961.671
AT ITER 1275 NEW BEST:: SOT 1882014 SOS 1153145 HAS SOPS 1153145 HAS SOUS 669282 HAS SOUPS 669282 WITH SCORE 670435.145
AT ITER 1279 NEW BEST:: SOT 1881986 SOS 1153117 HAS SOPS 1153117 HAS SOUS 669254 HAS SOUPS 669254 WITH SCORE 670407.117
AT ITER 1288 NEW BEST:: SOT 1874861 SOS 1146876 HAS SOPS 1146876 HAS SOUS 662023 HAS SOUPS 662023 WITH SCORE 663169.876
AT ITER 1294 NEW BEST:: SOT 1874838 SOS 1146859 HAS SOPS 1146859 HAS SOUS 662006 HAS SOUPS 662006 WITH SCORE 663152.859
AT ITER 1312 NEW BEST:: SOT 1874101 SOS 1146174 HAS SOPS 1146174 HAS SOUS 661321 HAS SOUPS 661321 WITH SCORE 662467.174
AT ITER 1319 NEW BEST:: SOT 1873814 SOS 1145956 HAS SOPS 1145956 HAS SOUS 661219 HAS SOUPS 661219 WITH SCORE 662364.956
AT ITER 1323 NEW BEST:: SOT 1869397 SOS 1141507 HAS SOPS 1141507 HAS SOUS 656770 HAS SOUPS 656770 WITH SCORE 657911.507
AT ITER 1324 NEW BEST:: SOT 1869336 SOS 1141507 HAS SOPS 1141507 HAS SOUS 656648 HAS SOUPS 656648 WITH SCORE 657789.507
AT ITER 1331 NEW BEST:: SOT 1869336 SOS 1141303 HAS SOPS 1141303 HAS SOUS 656545 HAS SOUPS 656545 WITH SCORE 657686.303
AT ITER 1341 NEW BEST:: SOT 1869336 SOS 1140327 HAS SOPS 1140327 HAS SOUS 656517 HAS SOUPS 656517 WITH SCORE 657657.327
AT ITER 1348 NEW BEST:: SOT 1868577 SOS 1139383 HAS SOPS 1139383 HAS SOUS 656147 HAS SOUPS 656147 WITH SCORE 657286.383
AT ITER 1354 NEW BEST:: SOT 1868577 SOS 1138788 HAS SOPS 1138788 HAS SOUS 656124 HAS SOUPS 656124 WITH SCORE 657262.788
AT ITER 1365 NEW BEST:: SOT 1868415 SOS 1138036 HAS SOPS 1138036 HAS SOUS 655800 HAS SOUPS 655800 WITH SCORE 656938.036
AT ITER 1391 NEW BEST:: SOT 1868355 SOS 1137976 HAS SOPS 1137976 HAS SOUS 655740 HAS SOUPS 655740 WITH SCORE 656877.976
AT ITER 1397 NEW BEST:: SOT 1868355 SOS 1137958 HAS SOPS 1137958 HAS SOUS 655478 HAS SOUPS 655478 WITH SCORE 656615.958
AT ITER 1398 NEW BEST:: SOT 1867883 SOS 1136930 HAS SOPS 1136930 HAS SOUS 654524 HAS SOUPS 654524 WITH SCORE 655660.93
AT ITER 1409 NEW BEST:: SOT 1867883 SOS 1137389 HAS SOPS 1137389 HAS SOUS 654427 HAS SOUPS 654427 WITH SCORE 655564.389
AT ITER 1410 NEW BEST:: SOT 1867978 SOS 1137029 HAS SOPS 1137029 HAS SOUS 654255 HAS SOUPS 654255 WITH SCORE 655392.029
AT ITER 1411 NEW BEST:: SOT 1867951 SOS 1137019 HAS SOPS 1137019 HAS SOUS 654238 HAS SOUPS 654238 WITH SCORE 655375.019
AT ITER 1413 NEW BEST:: SOT 1867975 SOS 1136907 HAS SOPS 1136907 HAS SOUS 654126 HAS SOUPS 654126 WITH SCORE 655262.907
AT ITER 1418 NEW BEST:: SOT 1867968 SOS 1136893 HAS SOPS 1136893 HAS SOUS 654112 HAS SOUPS 654112 WITH SCORE 655248.893
AT ITER 1420 NEW BEST:: SOT 1867848 SOS 1136713 HAS SOPS 1136713 HAS SOUS 653486 HAS SOUPS 653486 WITH SCORE 654622.713
AT ITER 1427 NEW BEST:: SOT 1867848 SOS 1134971 HAS SOPS 1134971 HAS SOUS 653485 HAS SOUPS 653485 WITH SCORE 654619.971
AT ITER 1445 NEW BEST:: SOT 1867298 SOS 1134626 HAS SOPS 1134626 HAS SOUS 653073 HAS SOUPS 653073 WITH SCORE 654207.626
AT ITER 1461 NEW BEST:: SOT 1867212 SOS 1134970 HAS SOPS 1134970 HAS SOUS 653030 HAS SOUPS 653030 WITH SCORE 654164.97
AT ITER 1462 NEW BEST:: SOT 1865747 SOS 1133590 HAS SOPS 1133590 HAS SOUS 651577 HAS SOUPS 651577 WITH SCORE 652710.59
AT ITER 1473 NEW BEST:: SOT 1861701 SOS 1129541 HAS SOPS 1129541 HAS SOUS 647528 HAS SOUPS 647528 WITH SCORE 648657.541
AT ITER 1483 NEW BEST:: SOT 1861285 SOS 1129198 HAS SOPS 1129198 HAS SOUS 647192 HAS SOUPS 647192 WITH SCORE 648321.198
AT ITER 1488 NEW BEST:: SOT 1860745 SOS 1128692 HAS SOPS 1128692 HAS SOUS 646686 HAS SOUPS 646686 WITH SCORE 647814.692
AT ITER 1505 NEW BEST:: SOT 1860802 SOS 1128301 HAS SOPS 1128301 HAS SOUS 646686 HAS SOUPS 646686 WITH SCORE 647814.301
AT ITER 1506 NEW BEST:: SOT 1860796 SOS 1128283 HAS SOPS 1128283 HAS SOUS 646674 HAS SOUPS 646674 WITH SCORE 647802.283
AT ITER 1508 NEW BEST:: SOT 1860006 SOS 1126707 HAS SOPS 1126707 HAS SOUS 645759 HAS SOUPS 645759 WITH SCORE 646885.707
AT ITER 1510 NEW BEST:: SOT 1860006 SOS 1126692 HAS SOPS 1126692 HAS SOUS 645744 HAS SOUPS 645744 WITH SCORE 646870.692
AT ITER 1513 NEW BEST:: SOT 1859815 SOS 1126809 HAS SOPS 1126809 HAS SOUS 645608 HAS SOUPS 645608 WITH SCORE 646734.809
AT ITER 1516 NEW BEST:: SOT 1859272 SOS 1126266 HAS SOPS 1126266 HAS SOUS 644777 HAS SOUPS 644777 WITH SCORE 645903.266
AT ITER 1524 NEW BEST:: SOT 1858311 SOS 1131822 HAS SOPS 1131822 HAS SOUS 644401 HAS SOUPS 644401 WITH SCORE 645532.822
AT ITER 1526 NEW BEST:: SOT 1858212 SOS 1131721 HAS SOPS 1131721 HAS SOUS 644300 HAS SOUPS 644300 WITH SCORE 645431.721
AT ITER 1532 NEW BEST:: SOT 1858209 SOS 1131685 HAS SOPS 1131685 HAS SOUS 644259 HAS SOUPS 644259 WITH SCORE 645390.685
AT ITER 1533 NEW BEST:: SOT 1858209 SOS 1132122 HAS SOPS 1132122 HAS SOUS 644206 HAS SOUPS 644206 WITH SCORE 645338.122
AT ITER 1537 NEW BEST:: SOT 1858177 SOS 1132090 HAS SOPS 1132090 HAS SOUS 644184 HAS SOUPS 644184 WITH SCORE 645316.09
AT ITER 1542 NEW BEST:: SOT 1858541 SOS 1132090 HAS SOPS 1132090 HAS SOUS 644183 HAS SOUPS 644183 WITH SCORE 645315.09
AT ITER 1544 NEW BEST:: SOT 1855134 SOS 1131323 HAS SOPS 1131323 HAS SOUS 641942 HAS SOUPS 641942 WITH SCORE 643073.323
AT ITER 1545 NEW BEST:: SOT 1855133 SOS 1131346 HAS SOPS 1131346 HAS SOUS 641940 HAS SOUPS 641940 WITH SCORE 643071.346
AT ITER 1552 NEW BEST:: SOT 1854688 SOS 1130386 HAS SOPS 1130386 HAS SOUS 641050 HAS SOUPS 641050 WITH SCORE 642180.386
AT ITER 1556 NEW BEST:: SOT 1854153 SOS 1130499 HAS SOPS 1130499 HAS SOUS 640590 HAS SOUPS 640590 WITH SCORE 641720.499
AT ITER 1558 NEW BEST:: SOT 1853844 SOS 1129881 HAS SOPS 1129881 HAS SOUS 639972 HAS SOUPS 639972 WITH SCORE 641101.881
AT ITER 1567 NEW BEST:: SOT 1853662 SOS 1129699 HAS SOPS 1129699 HAS SOUS 639790 HAS SOUPS 639790 WITH SCORE 640919.699
AT ITER 1578 NEW BEST:: SOT 1849391 SOS 1125501 HAS SOPS 1125501 HAS SOUS 635155 HAS SOUPS 635155 WITH SCORE 636280.501
AT ITER 1581 NEW BEST:: SOT 1849391 SOS 1125372 HAS SOPS 1125372 HAS SOUS 635024 HAS SOUPS 635024 WITH SCORE 636149.372
AT ITER 1584 NEW BEST:: SOT 1847283 SOS 1124856 HAS SOPS 1124856 HAS SOUS 633898 HAS SOUPS 633898 WITH SCORE 635022.856
AT ITER 1601 NEW BEST:: SOT 1847119 SOS 1124707 HAS SOPS 1124707 HAS SOUS 633895 HAS SOUPS 633895 WITH SCORE 635019.707
AT ITER 1605 NEW BEST:: SOT 1847147 SOS 1124374 HAS SOPS 1124374 HAS SOUS 633562 HAS SOUPS 633562 WITH SCORE 634686.374
AT ITER 1607 NEW BEST:: SOT 1847124 SOS 1124317 HAS SOPS 1124317 HAS SOUS 633516 HAS SOUPS 633516 WITH SCORE 634640.317
AT ITER 1611 NEW BEST:: SOT 1846836 SOS 1123741 HAS SOPS 1123741 HAS SOUS 632940 HAS SOUPS 632940 WITH SCORE 634063.741
AT ITER 1614 NEW BEST:: SOT 1846631 SOS 1123536 HAS SOPS 1123536 HAS SOUS 632857 HAS SOUPS 632857 WITH SCORE 633980.536
AT ITER 1618 NEW BEST:: SOT 1846665 SOS 1123569 HAS SOPS 1123569 HAS SOUS 632412 HAS SOUPS 632412 WITH SCORE 633535.569
AT ITER 1624 NEW BEST:: SOT 1846328 SOS 1120026 HAS SOPS 1120026 HAS SOUS 631736 HAS SOUPS 631736 WITH SCORE 632856.026
AT ITER 1628 NEW BEST:: SOT 1845973 SOS 1119585 HAS SOPS 1119585 HAS SOUS 631718 HAS SOUPS 631718 WITH SCORE 632837.585
AT ITER 1629 NEW BEST:: SOT 1845973 SOS 1117369 HAS SOPS 1117369 HAS SOUS 631570 HAS SOUPS 631570 WITH SCORE 632687.369
AT ITER 1631 NEW BEST:: SOT 1845601 SOS 1116997 HAS SOPS 1116997 HAS SOUS 631198 HAS SOUPS 631198 WITH SCORE 632314.997
AT ITER 1634 NEW BEST:: SOT 1845601 SOS 1116997 HAS SOPS 1116997 HAS SOUS 630997 HAS SOUPS 630997 WITH SCORE 632113.997
AT ITER 1636 NEW BEST:: SOT 1845601 SOS 1116809 HAS SOPS 1116809 HAS SOUS 630809 HAS SOUPS 630809 WITH SCORE 631925.809
AT ITER 1637 NEW BEST:: SOT 1845599 SOS 1116807 HAS SOPS 1116807 HAS SOUS 630807 HAS SOUPS 630807 WITH SCORE 631923.807
AT ITER 1642 NEW BEST:: SOT 1845314 SOS 1116371 HAS SOPS 1116371 HAS SOUS 630496 HAS SOUPS 630496 WITH SCORE 631612.371
AT ITER 1643 NEW BEST:: SOT 1845314 SOS 1116674 HAS SOPS 1116674 HAS SOUS 630287 HAS SOUPS 630287 WITH SCORE 631403.674
AT ITER 1651 NEW BEST:: SOT 1845282 SOS 1116610 HAS SOPS 1116610 HAS SOUS 630223 HAS SOUPS 630223 WITH SCORE 631339.61
AT ITER 1652 NEW BEST:: SOT 1845139 SOS 1116324 HAS SOPS 1116324 HAS SOUS 630080 HAS SOUPS 630080 WITH SCORE 631196.324
AT ITER 1659 NEW BEST:: SOT 1845146 SOS 1116222 HAS SOPS 1116222 HAS SOUS 629976 HAS SOUPS 629976 WITH SCORE 631092.222
AT ITER 1662 NEW BEST:: SOT 1845146 SOS 1115635 HAS SOPS 1115635 HAS SOUS 629556 HAS SOUPS 629556 WITH SCORE 630671.635
AT ITER 1664 NEW BEST:: SOT 1845092 SOS 1115524 HAS SOPS 1115524 HAS SOUS 629445 HAS SOUPS 629445 WITH SCORE 630560.524
AT ITER 1670 NEW BEST:: SOT 1844644 SOS 1114713 HAS SOPS 1114713 HAS SOUS 629057 HAS SOUPS 629057 WITH SCORE 630171.713
AT ITER 1671 NEW BEST:: SOT 1843498 SOS 1113901 HAS SOPS 1113901 HAS SOUS 628431 HAS SOUPS 628431 WITH SCORE 629544.901
AT ITER 1677 NEW BEST:: SOT 1842747 SOS 1115131 HAS SOPS 1115131 HAS SOUS 628245 HAS SOUPS 628245 WITH SCORE 629360.131
AT ITER 1679 NEW BEST:: SOT 1842230 SOS 1114715 HAS SOPS 1114715 HAS SOUS 628021 HAS SOUPS 628021 WITH SCORE 629135.715
AT ITER 1688 NEW BEST:: SOT 1842240 SOS 1115186 HAS SOPS 1115186 HAS SOUS 627216 HAS SOUPS 627216 WITH SCORE 628331.186
AT ITER 1691 NEW BEST:: SOT 1841309 SOS 1114255 HAS SOPS 1114255 HAS SOUS 626102 HAS SOUPS 626102 WITH SCORE 627216.255
AT ITER 1694 NEW BEST:: SOT 1841305 SOS 1114251 HAS SOPS 1114251 HAS SOUS 626051 HAS SOUPS 626051 WITH SCORE 627165.251
AT ITER 1698 NEW BEST:: SOT 1841277 SOS 1114223 HAS SOPS 1114223 HAS SOUS 626023 HAS SOUPS 626023 WITH SCORE 627137.223
AT ITER 1708 NEW BEST:: SOT 1841277 SOS 1113867 HAS SOPS 1113867 HAS SOUS 625926 HAS SOUPS 625926 WITH SCORE 627039.867
AT ITER 1722 NEW BEST:: SOT 1841129 SOS 1113719 HAS SOPS 1113719 HAS SOUS 625882 HAS SOUPS 625882 WITH SCORE 626995.719
AT ITER 1727 NEW BEST:: SOT 1840635 SOS 1113225 HAS SOPS 1113225 HAS SOUS 625384 HAS SOUPS 625384 WITH SCORE 626497.225
AT ITER 1739 NEW BEST:: SOT 1840422 SOS 1112571 HAS SOPS 1112571 HAS SOUS 624730 HAS SOUPS 624730 WITH SCORE 625842.571
AT ITER 1747 NEW BEST:: SOT 1840371 SOS 1113115 HAS SOPS 1113115 HAS SOUS 624628 HAS SOUPS 624628 WITH SCORE 625741.115
AT ITER 1760 NEW BEST:: SOT 1840371 SOS 1112485 HAS SOPS 1112485 HAS SOUS 624460 HAS SOUPS 624460 WITH SCORE 625572.485
AT ITER 1761 NEW BEST:: SOT 1840451 SOS 1112145 HAS SOPS 1112145 HAS SOUS 624442 HAS SOUPS 624442 WITH SCORE 625554.145
AT ITER 1769 NEW BEST:: SOT 1840695 SOS 1112207 HAS SOPS 1112207 HAS SOUS 624183 HAS SOUPS 624183 WITH SCORE 625295.207
AT ITER 1781 NEW BEST:: SOT 1840653 SOS 1112165 HAS SOPS 1112165 HAS SOUS 624138 HAS SOUPS 624138 WITH SCORE 625250.165
AT ITER 1791 NEW BEST:: SOT 1840712 SOS 1111880 HAS SOPS 1111880 HAS SOUS 623530 HAS SOUPS 623530 WITH SCORE 624641.88
AT ITER 1812 NEW BEST:: SOT 1837449 SOS 1108587 HAS SOPS 1108587 HAS SOUS 620277 HAS SOUPS 620277 WITH SCORE 621385.587
AT ITER 1817 NEW BEST:: SOT 1837449 SOS 1108153 HAS SOPS 1108153 HAS SOUS 619843 HAS SOUPS 619843 WITH SCORE 620951.153
AT ITER 1830 NEW BEST:: SOT 1836493 SOS 1107197 HAS SOPS 1107197 HAS SOUS 618887 HAS SOUPS 618887 WITH SCORE 619994.197
AT ITER 1839 NEW BEST:: SOT 1836196 SOS 1106900 HAS SOPS 1106900 HAS SOUS 618597 HAS SOUPS 618597 WITH SCORE 619703.9
AT ITER 1862 NEW BEST:: SOT 1836098 SOS 1106802 HAS SOPS 1106802 HAS SOUS 618595 HAS SOUPS 618595 WITH SCORE 619701.802
AT ITER 1864 NEW BEST:: SOT 1835675 SOS 1106681 HAS SOPS 1106681 HAS SOUS 618161 HAS SOUPS 618161 WITH SCORE 619267.681
AT ITER 1880 NEW BEST:: SOT 1834705 SOS 1105373 HAS SOPS 1105373 HAS SOUS 616853 HAS SOUPS 616853 WITH SCORE 617958.373
AT ITER 1889 NEW BEST:: SOT 1834679 SOS 1104263 HAS SOPS 1104263 HAS SOUS 616247 HAS SOUPS 616247 WITH SCORE 617351.263
AT ITER 1897 NEW BEST:: SOT 1834852 SOS 1104165 HAS SOPS 1104165 HAS SOUS 615870 HAS SOUPS 615870 WITH SCORE 616974.165
AT ITER 1922 NEW BEST:: SOT 1834419 SOS 1103732 HAS SOPS 1103732 HAS SOUS 615436 HAS SOUPS 615436 WITH SCORE 616539.732
AT ITER 1932 NEW BEST:: SOT 1835131 SOS 1104838 HAS SOPS 1104838 HAS SOUS 615334 HAS SOUPS 615334 WITH SCORE 616438.838
AT ITER 1939 NEW BEST:: SOT 1835040 SOS 1104739 HAS SOPS 1104739 HAS SOUS 615308 HAS SOUPS 615308 WITH SCORE 616412.739
AT ITER 1947 NEW BEST:: SOT 1834851 SOS 1104441 HAS SOPS 1104441 HAS SOUS 615010 HAS SOUPS 615010 WITH SCORE 616114.441
AT ITER 1972 NEW BEST:: SOT 1834735 SOS 1104340 HAS SOPS 1104340 HAS SOUS 614991 HAS SOUPS 614991 WITH SCORE 616095.34
AT ITER 1973 NEW BEST:: SOT 1834828 SOS 1103998 HAS SOPS 1103998 HAS SOUS 614823 HAS SOUPS 614823 WITH SCORE 615926.998
AT ITER 1990 NEW BEST:: SOT 1834616 SOS 1103786 HAS SOPS 1103786 HAS SOUS 614802 HAS SOUPS 614802 WITH SCORE 615905.786
AT ITER 1996 NEW BEST:: SOT 1834380 SOS 1103550 HAS SOPS 1103550 HAS SOUS 614421 HAS SOUPS 614421 WITH SCORE 615524.55
AT ITER 2000 NEW BEST:: SOT 1828005 SOS 1099059 HAS SOPS 1099059 HAS SOUS 608413 HAS SOUPS 608413 WITH SCORE 609512.059
AT ITER 2002 NEW BEST:: SOT 1827927 SOS 1098639 HAS SOPS 1098639 HAS SOUS 608021 HAS SOUPS 608021 WITH SCORE 609119.639
AT ITER 2009 NEW BEST:: SOT 1829582 SOS 1100294 HAS SOPS 1100294 HAS SOUS 607057 HAS SOUPS 607057 WITH SCORE 608157.294
AT ITER 2010 NEW BEST:: SOT 1829592 SOS 1100466 HAS SOPS 1100466 HAS SOUS 606907 HAS SOUPS 606907 WITH SCORE 608007.466
AT ITER 2012 NEW BEST:: SOT 1817556 SOS 1092948 HAS SOPS 1092948 HAS SOUS 594659 HAS SOUPS 594659 WITH SCORE 595751.948
AT ITER 2013 NEW BEST:: SOT 1817273 SOS 1092665 HAS SOPS 1092665 HAS SOUS 594348 HAS SOUPS 594348 WITH SCORE 595440.665
AT ITER 2014 NEW BEST:: SOT 1817135 SOS 1092286 HAS SOPS 1092286 HAS SOUS 594226 HAS SOUPS 594226 WITH SCORE 595318.286
AT ITER 2018 NEW BEST:: SOT 1816814 SOS 1092082 HAS SOPS 1092082 HAS SOUS 593574 HAS SOUPS 593574 WITH SCORE 594666.082
AT ITER 2030 NEW BEST:: SOT 1816445 SOS 1091187 HAS SOPS 1091187 HAS SOUS 593374 HAS SOUPS 593374 WITH SCORE 594465.187
AT ITER 2039 NEW BEST:: SOT 1816262 SOS 1090700 HAS SOPS 1090700 HAS SOUS 593008 HAS SOUPS 593008 WITH SCORE 594098.7
AT ITER 2045 NEW BEST:: SOT 1816546 SOS 1090685 HAS SOPS 1090685 HAS SOUS 592852 HAS SOUPS 592852 WITH SCORE 593942.685
AT ITER 2053 NEW BEST:: SOT 1816546 SOS 1090541 HAS SOPS 1090541 HAS SOUS 592798 HAS SOUPS 592798 WITH SCORE 593888.541
AT ITER 2058 NEW BEST:: SOT 1816267 SOS 1090232 HAS SOPS 1090232 HAS SOUS 592568 HAS SOUPS 592568 WITH SCORE 593658.232
AT ITER 2062 NEW BEST:: SOT 1816267 SOS 1089532 HAS SOPS 1089532 HAS SOUS 592435 HAS SOUPS 592435 WITH SCORE 593524.532
AT ITER 2073 NEW BEST:: SOT 1816267 SOS 1089500 HAS SOPS 1089500 HAS SOUS 592435 HAS SOUPS 592435 WITH SCORE 593524.5
AT ITER 2084 NEW BEST:: SOT 1816505 SOS 1088980 HAS SOPS 1088980 HAS SOUS 592113 HAS SOUPS 592113 WITH SCORE 593201.98
AT ITER 2089 NEW BEST:: SOT 1816019 SOS 1087759 HAS SOPS 1087759 HAS SOUS 591382 HAS SOUPS 591382 WITH SCORE 592469.759
AT ITER 2096 NEW BEST:: SOT 1815938 SOS 1087758 HAS SOPS 1087758 HAS SOUS 591381 HAS SOUPS 591381 WITH SCORE 592468.758
AT ITER 2099 NEW BEST:: SOT 1815778 SOS 1087598 HAS SOPS 1087598 HAS SOUS 591381 HAS SOUPS 591381 WITH SCORE 592468.598
AT ITER 2105 NEW BEST:: SOT 1815669 SOS 1087564 HAS SOPS 1087564 HAS SOUS 591058 HAS SOUPS 591058 WITH SCORE 592145.564
AT ITER 2120 NEW BEST:: SOT 1815669 SOS 1087458 HAS SOPS 1087458 HAS SOUS 590995 HAS SOUPS 590995 WITH SCORE 592082.458
AT ITER 2123 NEW BEST:: SOT 1815432 SOS 1086930 HAS SOPS 1086930 HAS SOUS 590863 HAS SOUPS 590863 WITH SCORE 591949.93
AT ITER 2140 NEW BEST:: SOT 1815029 SOS 1086264 HAS SOPS 1086264 HAS SOUS 590376 HAS SOUPS 590376 WITH SCORE 591462.264
AT ITER 2141 NEW BEST:: SOT 1814868 SOS 1086257 HAS SOPS 1086257 HAS SOUS 590362 HAS SOUPS 590362 WITH SCORE 591448.257
AT ITER 2143 NEW BEST:: SOT 1814585 SOS 1085961 HAS SOPS 1085961 HAS SOUS 590066 HAS SOUPS 590066 WITH SCORE 591151.961
AT ITER 2153 NEW BEST:: SOT 1814602 SOS 1084940 HAS SOPS 1084940 HAS SOUS 589715 HAS SOUPS 589715 WITH SCORE 590799.94
AT ITER 2159 NEW BEST:: SOT 1814602 SOS 1084856 HAS SOPS 1084856 HAS SOUS 589687 HAS SOUPS 589687 WITH SCORE 590771.856
AT ITER 2161 NEW BEST:: SOT 1814602 SOS 1084854 HAS SOPS 1084854 HAS SOUS 589687 HAS SOUPS 589687 WITH SCORE 590771.854
AT ITER 2167 NEW BEST:: SOT 1814542 SOS 1084676 HAS SOPS 1084676 HAS SOUS 589565 HAS SOUPS 589565 WITH SCORE 590649.676
AT ITER 2171 NEW BEST:: SOT 1814402 SOS 1084374 HAS SOPS 1084374 HAS SOUS 589447 HAS SOUPS 589447 WITH SCORE 590531.374
AT ITER 2172 NEW BEST:: SOT 1814347 SOS 1084319 HAS SOPS 1084319 HAS SOUS 589392 HAS SOUPS 589392 WITH SCORE 590476.319
AT ITER 2173 NEW BEST:: SOT 1814347 SOS 1084153 HAS SOPS 1084153 HAS SOUS 589391 HAS SOUPS 589391 WITH SCORE 590475.153
AT ITER 2187 NEW BEST:: SOT 1814224 SOS 1084030 HAS SOPS 1084030 HAS SOUS 589268 HAS SOUPS 589268 WITH SCORE 590352.03
AT ITER 2190 NEW BEST:: SOT 1811985 SOS 1081791 HAS SOPS 1081791 HAS SOUS 587514 HAS SOUPS 587514 WITH SCORE 588595.791
AT ITER 2209 NEW BEST:: SOT 1811068 SOS 1080054 HAS SOPS 1080054 HAS SOUS 586597 HAS SOUPS 586597 WITH SCORE 587677.054
AT ITER 2213 NEW BEST:: SOT 1811068 SOS 1079972 HAS SOPS 1079972 HAS SOUS 586556 HAS SOUPS 586556 WITH SCORE 587635.972
AT ITER 2214 NEW BEST:: SOT 1810655 SOS 1079559 HAS SOPS 1079559 HAS SOUS 586143 HAS SOUPS 586143 WITH SCORE 587222.559
AT ITER 2220 NEW BEST:: SOT 1811382 SOS 1079451 HAS SOPS 1079451 HAS SOUS 586053 HAS SOUPS 586053 WITH SCORE 587132.451
AT ITER 2222 NEW BEST:: SOT 1811254 SOS 1079323 HAS SOPS 1079323 HAS SOUS 585925 HAS SOUPS 585925 WITH SCORE 587004.323
AT ITER 2224 NEW BEST:: SOT 1810709 SOS 1078778 HAS SOPS 1078778 HAS SOUS 585345 HAS SOUPS 585345 WITH SCORE 586423.778
AT ITER 2228 NEW BEST:: SOT 1810556 SOS 1078656 HAS SOPS 1078656 HAS SOUS 585345 HAS SOUPS 585345 WITH SCORE 586423.656
AT ITER 2232 NEW BEST:: SOT 1810494 SOS 1078594 HAS SOPS 1078594 HAS SOUS 584911 HAS SOUPS 584911 WITH SCORE 585989.594
AT ITER 2238 NEW BEST:: SOT 1810392 SOS 1082272 HAS SOPS 1082272 HAS SOUS 584707 HAS SOUPS 584707 WITH SCORE 585789.272
AT ITER 2253 NEW BEST:: SOT 1809916 SOS 1081796 HAS SOPS 1081796 HAS SOUS 584231 HAS SOUPS 584231 WITH SCORE 585312.796
AT ITER 2268 NEW BEST:: SOT 1809026 SOS 1081124 HAS SOPS 1081124 HAS SOUS 582150 HAS SOUPS 582150 WITH SCORE 583231.124
AT ITER 2272 NEW BEST:: SOT 1808477 SOS 1082320 HAS SOPS 1082320 HAS SOUS 581873 HAS SOUPS 581873 WITH SCORE 582955.32
AT ITER 2273 NEW BEST:: SOT 1808097 SOS 1080961 HAS SOPS 1080961 HAS SOUS 580514 HAS SOUPS 580514 WITH SCORE 581594.961
AT ITER 2277 NEW BEST:: SOT 1807797 SOS 1080025 HAS SOPS 1080025 HAS SOUS 580126 HAS SOUPS 580126 WITH SCORE 581206.025
AT ITER 2282 NEW BEST:: SOT 1807556 SOS 1079543 HAS SOPS 1079543 HAS SOUS 579644 HAS SOUPS 579644 WITH SCORE 580723.543
AT ITER 2299 NEW BEST:: SOT 1807510 SOS 1079497 HAS SOPS 1079497 HAS SOUS 579598 HAS SOUPS 579598 WITH SCORE 580677.497
AT ITER 2310 NEW BEST:: SOT 1807427 SOS 1079414 HAS SOPS 1079414 HAS SOUS 579515 HAS SOUPS 579515 WITH SCORE 580594.414
AT ITER 2320 NEW BEST:: SOT 1806658 SOS 1078637 HAS SOPS 1078637 HAS SOUS 578872 HAS SOUPS 578872 WITH SCORE 579950.637
AT ITER 2332 NEW BEST:: SOT 1806656 SOS 1076668 HAS SOPS 1076668 HAS SOUS 578646 HAS SOUPS 578646 WITH SCORE 579722.668
AT ITER 2333 NEW BEST:: SOT 1806611 SOS 1076623 HAS SOPS 1076623 HAS SOUS 578601 HAS SOUPS 578601 WITH SCORE 579677.623
AT ITER 2334 NEW BEST:: SOT 1806563 SOS 1076575 HAS SOPS 1076575 HAS SOUS 578505 HAS SOUPS 578505 WITH SCORE 579581.575
AT ITER 2351 NEW BEST:: SOT 1806264 SOS 1076276 HAS SOPS 1076276 HAS SOUS 578206 HAS SOUPS 578206 WITH SCORE 579282.276
AT ITER 2356 NEW BEST:: SOT 1806263 SOS 1076275 HAS SOPS 1076275 HAS SOUS 578204 HAS SOUPS 578204 WITH SCORE 579280.275
AT ITER 2358 NEW BEST:: SOT 1806066 SOS 1076002 HAS SOPS 1076002 HAS SOUS 577921 HAS SOUPS 577921 WITH SCORE 578997.002
AT ITER 2359 NEW BEST:: SOT 1806114 SOS 1075902 HAS SOPS 1075902 HAS SOUS 577731 HAS SOUPS 577731 WITH SCORE 578806.902
AT ITER 2360 NEW BEST:: SOT 1805470 SOS 1075154 HAS SOPS 1075154 HAS SOUS 576983 HAS SOUPS 576983 WITH SCORE 578058.154
AT ITER 2362 NEW BEST:: SOT 1805344 SOS 1074621 HAS SOPS 1074621 HAS SOUS 576450 HAS SOUPS 576450 WITH SCORE 577524.621
AT ITER 2364 NEW BEST:: SOT 1805326 SOS 1074591 HAS SOPS 1074591 HAS SOUS 576420 HAS SOUPS 576420 WITH SCORE 577494.591
AT ITER 2368 NEW BEST:: SOT 1805320 SOS 1074413 HAS SOPS 1074413 HAS SOUS 576412 HAS SOUPS 576412 WITH SCORE 577486.413
AT ITER 2370 NEW BEST:: SOT 1805173 SOS 1074345 HAS SOPS 1074345 HAS SOUS 576357 HAS SOUPS 576357 WITH SCORE 577431.345
AT ITER 2374 NEW BEST:: SOT 1805173 SOS 1074116 HAS SOPS 1074116 HAS SOUS 576357 HAS SOUPS 576357 WITH SCORE 577431.116
AT ITER 2381 NEW BEST:: SOT 1805131 SOS 1074074 HAS SOPS 1074074 HAS SOUS 576234 HAS SOUPS 576234 WITH SCORE 577308.074
AT ITER 2393 NEW BEST:: SOT 1805225 SOS 1073921 HAS SOPS 1073921 HAS SOUS 576081 HAS SOUPS 576081 WITH SCORE 577154.921
AT ITER 2394 NEW BEST:: SOT 1803908 SOS 1072659 HAS SOPS 1072659 HAS SOUS 574622 HAS SOUPS 574622 WITH SCORE 575694.659
AT ITER 2405 NEW BEST:: SOT 1804433 SOS 1075948 HAS SOPS 1075948 HAS SOUS 574312 HAS SOUPS 574312 WITH SCORE 575387.948
AT ITER 2408 NEW BEST:: SOT 1804259 SOS 1075774 HAS SOPS 1075774 HAS SOUS 574138 HAS SOUPS 574138 WITH SCORE 575213.774
AT ITER 2409 NEW BEST:: SOT 1804258 SOS 1075773 HAS SOPS 1075773 HAS SOUS 574136 HAS SOUPS 574136 WITH SCORE 575211.773
AT ITER 2412 NEW BEST:: SOT 1804209 SOS 1075724 HAS SOPS 1075724 HAS SOUS 574086 HAS SOUPS 574086 WITH SCORE 575161.724
AT ITER 2414 NEW BEST:: SOT 1803636 SOS 1075151 HAS SOPS 1075151 HAS SOUS 573512 HAS SOUPS 573512 WITH SCORE 574587.151
AT ITER 2424 NEW BEST:: SOT 1803610 SOS 1075125 HAS SOPS 1075125 HAS SOUS 573477 HAS SOUPS 573477 WITH SCORE 574552.125
AT ITER 2425 NEW BEST:: SOT 1803668 SOS 1071077 HAS SOPS 1071077 HAS SOUS 573065 HAS SOUPS 573065 WITH SCORE 574136.077
AT ITER 2426 NEW BEST:: SOT 1803668 SOS 1070945 HAS SOPS 1070945 HAS SOUS 572933 HAS SOUPS 572933 WITH SCORE 574003.945
AT ITER 2431 NEW BEST:: SOT 1803685 SOS 1070962 HAS SOPS 1070962 HAS SOUS 572896 HAS SOUPS 572896 WITH SCORE 573966.962
AT ITER 2433 NEW BEST:: SOT 1803576 SOS 1070853 HAS SOPS 1070853 HAS SOUS 572783 HAS SOUPS 572783 WITH SCORE 573853.853
AT ITER 2434 NEW BEST:: SOT 1803576 SOS 1070853 HAS SOPS 1070853 HAS SOUS 572782 HAS SOUPS 572782 WITH SCORE 573852.853
AT ITER 2438 NEW BEST:: SOT 1803576 SOS 1069656 HAS SOPS 1069656 HAS SOUS 572782 HAS SOUPS 572782 WITH SCORE 573851.656
AT ITER 2447 NEW BEST:: SOT 1803653 SOS 1069244 HAS SOPS 1069244 HAS SOUS 572370 HAS SOUPS 572370 WITH SCORE 573439.244
AT ITER 2452 NEW BEST:: SOT 1802821 SOS 1068412 HAS SOPS 1068412 HAS SOUS 571538 HAS SOUPS 571538 WITH SCORE 572606.412
AT ITER 2454 NEW BEST:: SOT 1802821 SOS 1068330 HAS SOPS 1068330 HAS SOUS 571497 HAS SOUPS 571497 WITH SCORE 572565.33
AT ITER 2473 NEW BEST:: SOT 1802821 SOS 1068329 HAS SOPS 1068329 HAS SOUS 571496 HAS SOUPS 571496 WITH SCORE 572564.329
AT ITER 2475 NEW BEST:: SOT 1802210 SOS 1067356 HAS SOPS 1067356 HAS SOUS 570696 HAS SOUPS 570696 WITH SCORE 571763.356
AT ITER 2482 NEW BEST:: SOT 1802210 SOS 1065828 HAS SOPS 1065828 HAS SOUS 570695 HAS SOUPS 570695 WITH SCORE 571760.828
AT ITER 2485 NEW BEST:: SOT 1802064 SOS 1065682 HAS SOPS 1065682 HAS SOUS 570548 HAS SOUPS 570548 WITH SCORE 571613.682
AT ITER 2486 NEW BEST:: SOT 1801810 SOS 1065477 HAS SOPS 1065477 HAS SOUS 570343 HAS SOUPS 570343 WITH SCORE 571408.477
AT ITER 2489 NEW BEST:: SOT 1800152 SOS 1063819 HAS SOPS 1063819 HAS SOUS 568685 HAS SOUPS 568685 WITH SCORE 569748.819
AT ITER 2490 NEW BEST:: SOT 1800037 SOS 1063704 HAS SOPS 1063704 HAS SOUS 568570 HAS SOUPS 568570 WITH SCORE 569633.704
AT ITER 2497 NEW BEST:: SOT 1799916 SOS 1063583 HAS SOPS 1063583 HAS SOUS 568192 HAS SOUPS 568192 WITH SCORE 569255.583
AT ITER 2498 NEW BEST:: SOT 1799906 SOS 1063532 HAS SOPS 1063532 HAS SOUS 568141 HAS SOUPS 568141 WITH SCORE 569204.532
AT ITER 2500 NEW BEST:: SOT 1799906 SOS 1062068 HAS SOPS 1062068 HAS SOUS 568140 HAS SOUPS 568140 WITH SCORE 569202.068
AT ITER 2510 NEW BEST:: SOT 1799906 SOS 1061866 HAS SOPS 1061866 HAS SOUS 567938 HAS SOUPS 567938 WITH SCORE 568999.866
AT ITER 2511 NEW BEST:: SOT 1799512 SOS 1061472 HAS SOPS 1061472 HAS SOUS 567634 HAS SOUPS 567634 WITH SCORE 568695.472
AT ITER 2517 NEW BEST:: SOT 1799350 SOS 1061310 HAS SOPS 1061310 HAS SOUS 567588 HAS SOUPS 567588 WITH SCORE 568649.31
AT ITER 2535 NEW BEST:: SOT 1798916 SOS 1060452 HAS SOPS 1060452 HAS SOUS 566730 HAS SOUPS 566730 WITH SCORE 567790.452
AT ITER 2536 NEW BEST:: SOT 1798492 SOS 1059413 HAS SOPS 1059413 HAS SOUS 566594 HAS SOUPS 566594 WITH SCORE 567653.413
AT ITER 2553 NEW BEST:: SOT 1785223 SOS 1046228 HAS SOPS 1046228 HAS SOUS 555889 HAS SOUPS 555889 WITH SCORE 556935.228
AT ITER 2566 NEW BEST:: SOT 1785240 SOS 1046032 HAS SOPS 1046032 HAS SOUS 555752 HAS SOUPS 555752 WITH SCORE 556798.032
AT ITER 2567 NEW BEST:: SOT 1785062 SOS 1044792 HAS SOPS 1044792 HAS SOUS 555200 HAS SOUPS 555200 WITH SCORE 556244.792
AT ITER 2574 NEW BEST:: SOT 1785062 SOS 1044608 HAS SOPS 1044608 HAS SOUS 555016 HAS SOUPS 555016 WITH SCORE 556060.608
AT ITER 2578 NEW BEST:: SOT 1784296 SOS 1043842 HAS SOPS 1043842 HAS SOUS 554250 HAS SOUPS 554250 WITH SCORE 555293.842
AT ITER 2581 NEW BEST:: SOT 1784221 SOS 1043842 HAS SOPS 1043842 HAS SOUS 554163 HAS SOUPS 554163 WITH SCORE 555206.842
AT ITER 2582 NEW BEST:: SOT 1782027 SOS 1041648 HAS SOPS 1041648 HAS SOUS 551965 HAS SOUPS 551965 WITH SCORE 553006.648
AT ITER 2586 NEW BEST:: SOT 1781770 SOS 1041391 HAS SOPS 1041391 HAS SOUS 551708 HAS SOUPS 551708 WITH SCORE 552749.391
AT ITER 2588 NEW BEST:: SOT 1781770 SOS 1041388 HAS SOPS 1041388 HAS SOUS 551705 HAS SOUPS 551705 WITH SCORE 552746.388
AT ITER 2600 NEW BEST:: SOT 1781770 SOS 1041388 HAS SOPS 1041388 HAS SOUS 551667 HAS SOUPS 551667 WITH SCORE 552708.388
AT ITER 2617 NEW BEST:: SOT 1781770 SOS 1041003 HAS SOPS 1041003 HAS SOUS 551629 HAS SOUPS 551629 WITH SCORE 552670.003
AT ITER 2632 NEW BEST:: SOT 1781768 SOS 1041001 HAS SOPS 1041001 HAS SOUS 551627 HAS SOUPS 551627 WITH SCORE 552668.001
AT ITER 2637 NEW BEST:: SOT 1781768 SOS 1041323 HAS SOPS 1041323 HAS SOUS 551560 HAS SOUPS 551560 WITH SCORE 552601.323
AT ITER 2644 NEW BEST:: SOT 1781486 SOS 1041041 HAS SOPS 1041041 HAS SOUS 551416 HAS SOUPS 551416 WITH SCORE 552457.041
AT ITER 2649 NEW BEST:: SOT 1781486 SOS 1041715 HAS SOPS 1041715 HAS SOUS 551167 HAS SOUPS 551167 WITH SCORE 552208.715
AT ITER 2658 NEW BEST:: SOT 1781072 SOS 1041300 HAS SOPS 1041300 HAS SOUS 550752 HAS SOUPS 550752 WITH SCORE 551793.3
AT ITER 2664 NEW BEST:: SOT 1776616 SOS 1036844 HAS SOPS 1036844 HAS SOUS 546296 HAS SOUPS 546296 WITH SCORE 547332.844
AT ITER 2667 NEW BEST:: SOT 1776596 SOS 1036804 HAS SOPS 1036804 HAS SOUS 546256 HAS SOUPS 546256 WITH SCORE 547292.804
AT ITER 2673 NEW BEST:: SOT 1776596 SOS 1036804 HAS SOPS 1036804 HAS SOUS 546073 HAS SOUPS 546073 WITH SCORE 547109.804
AT ITER 2704 NEW BEST:: SOT 1776390 SOS 1035962 HAS SOPS 1035962 HAS SOUS 545231 HAS SOUPS 545231 WITH SCORE 546266.962
AT ITER 2716 NEW BEST:: SOT 1775791 SOS 1035714 HAS SOPS 1035714 HAS SOUS 544805 HAS SOUPS 544805 WITH SCORE 545840.714
AT ITER 2728 NEW BEST:: SOT 1775700 SOS 1035692 HAS SOPS 1035692 HAS SOUS 544654 HAS SOUPS 544654 WITH SCORE 545689.692
AT ITER 2736 NEW BEST:: SOT 1775948 SOS 1033645 HAS SOPS 1033645 HAS SOUS 544384 HAS SOUPS 544384 WITH SCORE 545417.645
AT ITER 2747 NEW BEST:: SOT 1775867 SOS 1033483 HAS SOPS 1033483 HAS SOUS 544303 HAS SOUPS 544303 WITH SCORE 545336.483
AT ITER 2748 NEW BEST:: SOT 1775848 SOS 1033506 HAS SOPS 1033506 HAS SOUS 544204 HAS SOUPS 544204 WITH SCORE 545237.506
AT ITER 2757 NEW BEST:: SOT 1775802 SOS 1033460 HAS SOPS 1033460 HAS SOUS 544158 HAS SOUPS 544158 WITH SCORE 545191.46
AT ITER 2766 NEW BEST:: SOT 1768145 SOS 1032696 HAS SOPS 1032696 HAS SOUS 537324 HAS SOUPS 537324 WITH SCORE 538356.696
AT ITER 2769 NEW BEST:: SOT 1768144 SOS 1032695 HAS SOPS 1032695 HAS SOUS 537322 HAS SOUPS 537322 WITH SCORE 538354.695
AT ITER 2773 NEW BEST:: SOT 1767988 SOS 1030817 HAS SOPS 1030817 HAS SOUS 536765 HAS SOUPS 536765 WITH SCORE 537795.817
AT ITER 2786 NEW BEST:: SOT 1767470 SOS 1029721 HAS SOPS 1029721 HAS SOUS 536251 HAS SOUPS 536251 WITH SCORE 537280.721
AT ITER 2787 NEW BEST:: SOT 1766621 SOS 1028872 HAS SOPS 1028872 HAS SOUS 535394 HAS SOUPS 535394 WITH SCORE 536422.872
AT ITER 2794 NEW BEST:: SOT 1766599 SOS 1028723 HAS SOPS 1028723 HAS SOUS 535335 HAS SOUPS 535335 WITH SCORE 536363.723
AT ITER 2815 NEW BEST:: SOT 1766419 SOS 1028543 HAS SOPS 1028543 HAS SOUS 535273 HAS SOUPS 535273 WITH SCORE 536301.543
AT ITER 2821 NEW BEST:: SOT 1766353 SOS 1028411 HAS SOPS 1028411 HAS SOUS 535141 HAS SOUPS 535141 WITH SCORE 536169.411
AT ITER 2824 NEW BEST:: SOT 1766042 SOS 1028062 HAS SOPS 1028062 HAS SOUS 534792 HAS SOUPS 534792 WITH SCORE 535820.062
AT ITER 2827 NEW BEST:: SOT 1766042 SOS 1027850 HAS SOPS 1027850 HAS SOUS 534580 HAS SOUPS 534580 WITH SCORE 535607.85
AT ITER 2842 NEW BEST:: SOT 1766040 SOS 1027848 HAS SOPS 1027848 HAS SOUS 534512 HAS SOUPS 534512 WITH SCORE 535539.848
AT ITER 2843 NEW BEST:: SOT 1765896 SOS 1027842 HAS SOPS 1027842 HAS SOUS 534512 HAS SOUPS 534512 WITH SCORE 535539.842
AT ITER 2852 NEW BEST:: SOT 1765590 SOS 1027536 HAS SOPS 1027536 HAS SOUS 534206 HAS SOUPS 534206 WITH SCORE 535233.536
AT ITER 2853 NEW BEST:: SOT 1764655 SOS 1027039 HAS SOPS 1027039 HAS SOUS 533052 HAS SOUPS 533052 WITH SCORE 534079.039
AT ITER 2858 NEW BEST:: SOT 1764659 SOS 1027373 HAS SOPS 1027373 HAS SOUS 532932 HAS SOUPS 532932 WITH SCORE 533959.373
AT ITER 2871 NEW BEST:: SOT 1764673 SOS 1027318 HAS SOPS 1027318 HAS SOUS 532782 HAS SOUPS 532782 WITH SCORE 533809.318
AT ITER 2872 NEW BEST:: SOT 1764667 SOS 1027253 HAS SOPS 1027253 HAS SOUS 532774 HAS SOUPS 532774 WITH SCORE 533801.253
AT ITER 2885 NEW BEST:: SOT 1764797 SOS 1026486 HAS SOPS 1026486 HAS SOUS 532489 HAS SOUPS 532489 WITH SCORE 533515.486
AT ITER 2889 NEW BEST:: SOT 1764797 SOS 1027558 HAS SOPS 1027558 HAS SOUS 532301 HAS SOUPS 532301 WITH SCORE 533328.558
AT ITER 2905 NEW BEST:: SOT 1764696 SOS 1027257 HAS SOPS 1027257 HAS SOUS 532077 HAS SOUPS 532077 WITH SCORE 533104.257
AT ITER 2909 NEW BEST:: SOT 1763925 SOS 1026486 HAS SOPS 1026486 HAS SOUS 531305 HAS SOUPS 531305 WITH SCORE 532331.486
AT ITER 2915 NEW BEST:: SOT 1763925 SOS 1024677 HAS SOPS 1024677 HAS SOUS 530702 HAS SOUPS 530702 WITH SCORE 531726.677
AT ITER 2922 NEW BEST:: SOT 1763750 SOS 1024502 HAS SOPS 1024502 HAS SOUS 530628 HAS SOUPS 530628 WITH SCORE 531652.502
AT ITER 2923 NEW BEST:: SOT 1763889 SOS 1025289 HAS SOPS 1025289 HAS SOUS 530553 HAS SOUPS 530553 WITH SCORE 531578.289
AT ITER 2934 NEW BEST:: SOT 1763577 SOS 1025915 HAS SOPS 1025915 HAS SOUS 530284 HAS SOUPS 530284 WITH SCORE 531309.915
AT ITER 2936 NEW BEST:: SOT 1763081 SOS 1025636 HAS SOPS 1025636 HAS SOUS 530004 HAS SOUPS 530004 WITH SCORE 531029.636
AT ITER 2938 NEW BEST:: SOT 1762437 SOS 1024992 HAS SOPS 1024992 HAS SOUS 529445 HAS SOUPS 529445 WITH SCORE 530469.992
AT ITER 2941 NEW BEST:: SOT 1762302 SOS 1024721 HAS SOPS 1024721 HAS SOUS 529326 HAS SOUPS 529326 WITH SCORE 530350.721
AT ITER 2942 NEW BEST:: SOT 1761969 SOS 1024503 HAS SOPS 1024503 HAS SOUS 529108 HAS SOUPS 529108 WITH SCORE 530132.503
AT ITER 2943 NEW BEST:: SOT 1761955 SOS 1024489 HAS SOPS 1024489 HAS SOUS 529094 HAS SOUPS 529094 WITH SCORE 530118.489
AT ITER 2946 NEW BEST:: SOT 1761219 SOS 1023693 HAS SOPS 1023693 HAS SOUS 528298 HAS SOUPS 528298 WITH SCORE 529321.693
AT ITER 2957 NEW BEST:: SOT 1760696 SOS 1022647 HAS SOPS 1022647 HAS SOUS 527252 HAS SOUPS 527252 WITH SCORE 528274.647
AT ITER 2978 NEW BEST:: SOT 1760978 SOS 1022929 HAS SOPS 1022929 HAS SOUS 527248 HAS SOUPS 527248 WITH SCORE 528270.929
AT ITER 2979 NEW BEST:: SOT 1760694 SOS 1022615 HAS SOPS 1022615 HAS SOUS 526934 HAS SOUPS 526934 WITH SCORE 527956.615
AT ITER 3003 NEW BEST:: SOT 1760642 SOS 1022589 HAS SOPS 1022589 HAS SOUS 526908 HAS SOUPS 526908 WITH SCORE 527930.589
AT ITER 3019 NEW BEST:: SOT 1760521 SOS 1022391 HAS SOPS 1022391 HAS SOUS 526518 HAS SOUPS 526518 WITH SCORE 527540.391
AT ITER 3020 NEW BEST:: SOT 1760093 SOS 1021932 HAS SOPS 1021932 HAS SOUS 526331 HAS SOUPS 526331 WITH SCORE 527352.932
AT ITER 3040 NEW BEST:: SOT 1760309 SOS 1022384 HAS SOPS 1022384 HAS SOUS 526284 HAS SOUPS 526284 WITH SCORE 527306.384
AT ITER 3043 NEW BEST:: SOT 1760309 SOS 1020959 HAS SOPS 1020959 HAS SOUS 526283 HAS SOUPS 526283 WITH SCORE 527303.959
AT ITER 3046 NEW BEST:: SOT 1759543 SOS 1019730 HAS SOPS 1019730 HAS SOUS 524669 HAS SOUPS 524669 WITH SCORE 525688.73
AT ITER 3052 NEW BEST:: SOT 1759543 SOS 1019554 HAS SOPS 1019554 HAS SOUS 524539 HAS SOUPS 524539 WITH SCORE 525558.554
AT ITER 3059 NEW BEST:: SOT 1759560 SOS 1019577 HAS SOPS 1019577 HAS SOUS 524460 HAS SOUPS 524460 WITH SCORE 525479.577
AT ITER 3074 NEW BEST:: SOT 1759560 SOS 1019417 HAS SOPS 1019417 HAS SOUS 524460 HAS SOUPS 524460 WITH SCORE 525479.417
AT ITER 3078 NEW BEST:: SOT 1758818 SOS 1019505 HAS SOPS 1019505 HAS SOUS 523718 HAS SOUPS 523718 WITH SCORE 524737.505
AT ITER 3082 NEW BEST:: SOT 1758776 SOS 1019442 HAS SOPS 1019442 HAS SOUS 523655 HAS SOUPS 523655 WITH SCORE 524674.442
AT ITER 3085 NEW BEST:: SOT 1758076 SOS 1018742 HAS SOPS 1018742 HAS SOUS 522955 HAS SOUPS 522955 WITH SCORE 523973.742
AT ITER 3088 NEW BEST:: SOT 1757951 SOS 1017208 HAS SOPS 1017208 HAS SOUS 522704 HAS SOUPS 522704 WITH SCORE 523721.208
AT ITER 3099 NEW BEST:: SOT 1757844 SOS 1017101 HAS SOPS 1017101 HAS SOUS 522595 HAS SOUPS 522595 WITH SCORE 523612.101
AT ITER 3119 NEW BEST:: SOT 1757846 SOS 1016546 HAS SOPS 1016546 HAS SOUS 522483 HAS SOUPS 522483 WITH SCORE 523499.546
AT ITER 3121 NEW BEST:: SOT 1757834 SOS 1016522 HAS SOPS 1016522 HAS SOUS 522459 HAS SOUPS 522459 WITH SCORE 523475.522
AT ITER 3130 NEW BEST:: SOT 1757845 SOS 1016456 HAS SOPS 1016456 HAS SOUS 522393 HAS SOUPS 522393 WITH SCORE 523409.456
AT ITER 3133 NEW BEST:: SOT 1757844 SOS 1016455 HAS SOPS 1016455 HAS SOUS 522391 HAS SOUPS 522391 WITH SCORE 523407.455
AT ITER 3140 NEW BEST:: SOT 1757709 SOS 1016320 HAS SOPS 1016320 HAS SOUS 522256 HAS SOUPS 522256 WITH SCORE 523272.32
AT ITER 3141 NEW BEST:: SOT 1757497 SOS 1015784 HAS SOPS 1015784 HAS SOUS 521804 HAS SOUPS 521804 WITH SCORE 522819.784
AT ITER 3151 NEW BEST:: SOT 1756962 SOS 1015082 HAS SOPS 1015082 HAS SOUS 521002 HAS SOUPS 521002 WITH SCORE 522017.082
AT ITER 3154 NEW BEST:: SOT 1756958 SOS 1015078 HAS SOPS 1015078 HAS SOUS 521002 HAS SOUPS 521002 WITH SCORE 522017.078
AT ITER 3156 NEW BEST:: SOT 1756133 SOS 1010783 HAS SOPS 1010783 HAS SOUS 520210 HAS SOUPS 520210 WITH SCORE 521220.783
AT ITER 3162 NEW BEST:: SOT 1755932 SOS 1010582 HAS SOPS 1010582 HAS SOUS 519986 HAS SOUPS 519986 WITH SCORE 520996.582
AT ITER 3165 NEW BEST:: SOT 1755931 SOS 1010383 HAS SOPS 1010383 HAS SOUS 519787 HAS SOUPS 519787 WITH SCORE 520797.383
AT ITER 3188 NEW BEST:: SOT 1755815 SOS 1010267 HAS SOPS 1010267 HAS SOUS 519783 HAS SOUPS 519783 WITH SCORE 520793.267
AT ITER 3199 NEW BEST:: SOT 1755814 SOS 1009450 HAS SOPS 1009450 HAS SOUS 519762 HAS SOUPS 519762 WITH SCORE 520771.45
AT ITER 3202 NEW BEST:: SOT 1755520 SOS 1009156 HAS SOPS 1009156 HAS SOUS 519468 HAS SOUPS 519468 WITH SCORE 520477.156
AT ITER 3204 NEW BEST:: SOT 1755089 SOS 1008294 HAS SOPS 1008294 HAS SOUS 518606 HAS SOUPS 518606 WITH SCORE 519614.294
AT ITER 3220 NEW BEST:: SOT 1755089 SOS 1007997 HAS SOPS 1007997 HAS SOUS 518309 HAS SOUPS 518309 WITH SCORE 519316.997
AT ITER 3221 NEW BEST:: SOT 1754642 SOS 1007454 HAS SOPS 1007454 HAS SOUS 517766 HAS SOUPS 517766 WITH SCORE 518773.454
AT ITER 3224 NEW BEST:: SOT 1754702 SOS 1006717 HAS SOPS 1006717 HAS SOUS 516880 HAS SOUPS 516880 WITH SCORE 517886.717
AT ITER 3226 NEW BEST:: SOT 1754702 SOS 1006717 HAS SOPS 1006717 HAS SOUS 516878 HAS SOUPS 516878 WITH SCORE 517884.717
AT ITER 3229 NEW BEST:: SOT 1752484 SOS 1005743 HAS SOPS 1005743 HAS SOUS 515192 HAS SOUPS 515192 WITH SCORE 516197.743
AT ITER 3232 NEW BEST:: SOT 1752533 SOS 1005874 HAS SOPS 1005874 HAS SOUS 515146 HAS SOUPS 515146 WITH SCORE 516151.874
AT ITER 3241 NEW BEST:: SOT 1751813 SOS 1005381 HAS SOPS 1005381 HAS SOUS 514586 HAS SOUPS 514586 WITH SCORE 515591.381
AT ITER 3242 NEW BEST:: SOT 1751796 SOS 1005364 HAS SOPS 1005364 HAS SOUS 514583 HAS SOUPS 514583 WITH SCORE 515588.364
AT ITER 3248 NEW BEST:: SOT 1751760 SOS 1005306 HAS SOPS 1005306 HAS SOUS 514547 HAS SOUPS 514547 WITH SCORE 515552.306
AT ITER 3254 NEW BEST:: SOT 1751254 SOS 1004090 HAS SOPS 1004090 HAS SOUS 513331 HAS SOUPS 513331 WITH SCORE 514335.09
AT ITER 3257 NEW BEST:: SOT 1750892 SOS 1003714 HAS SOPS 1003714 HAS SOUS 513059 HAS SOUPS 513059 WITH SCORE 514062.714
AT ITER 3263 NEW BEST:: SOT 1751299 SOS 1004153 HAS SOPS 1004153 HAS SOUS 512618 HAS SOUPS 512618 WITH SCORE 513622.153
AT ITER 3270 NEW BEST:: SOT 1751299 SOS 1003791 HAS SOPS 1003791 HAS SOUS 512256 HAS SOUPS 512256 WITH SCORE 513259.791
AT ITER 3279 NEW BEST:: SOT 1751299 SOS 1003603 HAS SOPS 1003603 HAS SOUS 511991 HAS SOUPS 511991 WITH SCORE 512994.603
AT ITER 3290 NEW BEST:: SOT 1751230 SOS 1003349 HAS SOPS 1003349 HAS SOUS 511737 HAS SOUPS 511737 WITH SCORE 512740.349
AT ITER 3293 NEW BEST:: SOT 1750737 SOS 1002589 HAS SOPS 1002589 HAS SOUS 510977 HAS SOUPS 510977 WITH SCORE 511979.589
AT ITER 3305 NEW BEST:: SOT 1750478 SOS 1002254 HAS SOPS 1002254 HAS SOUS 510642 HAS SOUPS 510642 WITH SCORE 511644.254
AT ITER 3314 NEW BEST:: SOT 1750478 SOS 1001955 HAS SOPS 1001955 HAS SOUS 510343 HAS SOUPS 510343 WITH SCORE 511344.955
AT ITER 3328 NEW BEST:: SOT 1750478 SOS 1001938 HAS SOPS 1001938 HAS SOUS 510326 HAS SOUPS 510326 WITH SCORE 511327.938
AT ITER 3343 NEW BEST:: SOT 1750467 SOS 1001927 HAS SOPS 1001927 HAS SOUS 510315 HAS SOUPS 510315 WITH SCORE 511316.927
AT ITER 3352 NEW BEST:: SOT 1750329 SOS 1001651 HAS SOPS 1001651 HAS SOUS 510038 HAS SOUPS 510038 WITH SCORE 511039.651
AT ITER 3357 NEW BEST:: SOT 1749298 SOS 1000620 HAS SOPS 1000620 HAS SOUS 510024 HAS SOUPS 510024 WITH SCORE 511024.62
AT ITER 3359 NEW BEST:: SOT 1749298 SOS 1000174 HAS SOPS 1000174 HAS SOUS 509957 HAS SOUPS 509957 WITH SCORE 510957.174
AT ITER 3366 NEW BEST:: SOT 1749298 SOS 999742 HAS SOPS 999742 HAS SOUS 509525 HAS SOUPS 509525 WITH SCORE 510524.742
AT ITER 3369 NEW BEST:: SOT 1748906 SOS 999350 HAS SOPS 999350 HAS SOUS 509133 HAS SOUPS 509133 WITH SCORE 510132.35
AT ITER 3370 NEW BEST:: SOT 1748713 SOS 999157 HAS SOPS 999157 HAS SOUS 508840 HAS SOUPS 508840 WITH SCORE 509839.157
AT ITER 3373 NEW BEST:: SOT 1748430 SOS 998881 HAS SOPS 998881 HAS SOUS 508741 HAS SOUPS 508741 WITH SCORE 509739.881
AT ITER 3377 NEW BEST:: SOT 1748430 SOS 998359 HAS SOPS 998359 HAS SOUS 508721 HAS SOUPS 508721 WITH SCORE 509719.359
AT ITER 3382 NEW BEST:: SOT 1747000 SOS 999450 HAS SOPS 999450 HAS SOUS 507534 HAS SOUPS 507534 WITH SCORE 508533.45
AT ITER 3385 NEW BEST:: SOT 1736457 SOS 989080 HAS SOPS 989080 HAS SOUS 497055 HAS SOUPS 497055 WITH SCORE 498044.08
AT ITER 3406 NEW BEST:: SOT 1736435 SOS 989036 HAS SOPS 989036 HAS SOUS 497033 HAS SOUPS 497033 WITH SCORE 498022.036
AT ITER 3409 NEW BEST:: SOT 1736096 SOS 988719 HAS SOPS 988719 HAS SOUS 496663 HAS SOUPS 496663 WITH SCORE 497651.719
AT ITER 3410 NEW BEST:: SOT 1735239 SOS 988096 HAS SOPS 988096 HAS SOUS 496542 HAS SOUPS 496542 WITH SCORE 497530.096
AT ITER 3419 NEW BEST:: SOT 1735055 SOS 987211 HAS SOPS 987211 HAS SOUS 496174 HAS SOUPS 496174 WITH SCORE 497161.211
AT ITER 3423 NEW BEST:: SOT 1735021 SOS 987177 HAS SOPS 987177 HAS SOUS 496140 HAS SOUPS 496140 WITH SCORE 497127.177
AT ITER 3428 NEW BEST:: SOT 1735078 SOS 987234 HAS SOPS 987234 HAS SOUS 496074 HAS SOUPS 496074 WITH SCORE 497061.234
AT ITER 3431 NEW BEST:: SOT 1735011 SOS 987241 HAS SOPS 987241 HAS SOUS 496032 HAS SOUPS 496032 WITH SCORE 497019.241
AT ITER 3446 NEW BEST:: SOT 1735004 SOS 987234 HAS SOPS 987234 HAS SOUS 496017 HAS SOUPS 496017 WITH SCORE 497004.234
AT ITER 3460 NEW BEST:: SOT 1734466 SOS 986742 HAS SOPS 986742 HAS SOUS 495573 HAS SOUPS 495573 WITH SCORE 496559.742
AT ITER 3465 NEW BEST:: SOT 1734462 SOS 986701 HAS SOPS 986701 HAS SOUS 495532 HAS SOUPS 495532 WITH SCORE 496518.701
AT ITER 3473 NEW BEST:: SOT 1734462 SOS 987045 HAS SOPS 987045 HAS SOUS 495185 HAS SOUPS 495185 WITH SCORE 496172.045
AT ITER 3477 NEW BEST:: SOT 1734732 SOS 987583 HAS SOPS 987583 HAS SOUS 494983 HAS SOUPS 494983 WITH SCORE 495970.583
AT ITER 3479 NEW BEST:: SOT 1735130 SOS 985432 HAS SOPS 985432 HAS SOUS 494846 HAS SOUPS 494846 WITH SCORE 495831.432
AT ITER 3498 NEW BEST:: SOT 1735125 SOS 985427 HAS SOPS 985427 HAS SOUS 494836 HAS SOUPS 494836 WITH SCORE 495821.427
AT ITER 3500 NEW BEST:: SOT 1735020 SOS 985327 HAS SOPS 985327 HAS SOUS 494697 HAS SOUPS 494697 WITH SCORE 495682.327
AT ITER 3502 NEW BEST:: SOT 1735149 SOS 984675 HAS SOPS 984675 HAS SOUS 494427 HAS SOUPS 494427 WITH SCORE 495411.675
AT ITER 3520 NEW BEST:: SOT 1735148 SOS 984484 HAS SOPS 984484 HAS SOUS 494425 HAS SOUPS 494425 WITH SCORE 495409.484
AT ITER 3545 NEW BEST:: SOT 1734698 SOS 983764 HAS SOPS 983764 HAS SOUS 493679 HAS SOUPS 493679 WITH SCORE 494662.764
AT ITER 3555 NEW BEST:: SOT 1734394 SOS 989126 HAS SOPS 989126 HAS SOUS 493503 HAS SOUPS 493503 WITH SCORE 494492.126
AT ITER 3561 NEW BEST:: SOT 1733891 SOS 988261 HAS SOPS 988261 HAS SOUS 492664 HAS SOUPS 492664 WITH SCORE 493652.261
AT ITER 3586 NEW BEST:: SOT 1733749 SOS 987977 HAS SOPS 987977 HAS SOUS 492380 HAS SOUPS 492380 WITH SCORE 493367.977
AT ITER 3592 NEW BEST:: SOT 1733749 SOS 987861 HAS SOPS 987861 HAS SOUS 492377 HAS SOUPS 492377 WITH SCORE 493364.861
AT ITER 3600 NEW BEST:: SOT 1733708 SOS 987820 HAS SOPS 987820 HAS SOUS 492336 HAS SOUPS 492336 WITH SCORE 493323.82
AT ITER 3606 NEW BEST:: SOT 1733321 SOS 981500 HAS SOPS 981500 HAS SOUS 491096 HAS SOUPS 491096 WITH SCORE 492077.5
AT ITER 3622 NEW BEST:: SOT 1733609 SOS 982278 HAS SOPS 982278 HAS SOUS 491064 HAS SOUPS 491064 WITH SCORE 492046.278
AT ITER 3631 NEW BEST:: SOT 1733463 SOS 982132 HAS SOPS 982132 HAS SOUS 491029 HAS SOUPS 491029 WITH SCORE 492011.132
AT ITER 3634 NEW BEST:: SOT 1733305 SOS 982006 HAS SOPS 982006 HAS SOUS 490576 HAS SOUPS 490576 WITH SCORE 491558.006
AT ITER 3635 NEW BEST:: SOT 1733299 SOS 981994 HAS SOPS 981994 HAS SOUS 490564 HAS SOUPS 490564 WITH SCORE 491545.994
AT ITER 3637 NEW BEST:: SOT 1733171 SOS 981143 HAS SOPS 981143 HAS SOUS 490135 HAS SOUPS 490135 WITH SCORE 491116.143
AT ITER 3644 NEW BEST:: SOT 1733340 SOS 978061 HAS SOPS 978061 HAS SOUS 489734 HAS SOUPS 489734 WITH SCORE 490712.061
AT ITER 3652 NEW BEST:: SOT 1733255 SOS 975156 HAS SOPS 975156 HAS SOUS 489649 HAS SOUPS 489649 WITH SCORE 490624.156
AT ITER 3654 NEW BEST:: SOT 1732787 SOS 973788 HAS SOPS 973788 HAS SOUS 489266 HAS SOUPS 489266 WITH SCORE 490239.788
AT ITER 3666 NEW BEST:: SOT 1732786 SOS 973787 HAS SOPS 973787 HAS SOUS 489264 HAS SOUPS 489264 WITH SCORE 490237.787
AT ITER 3689 NEW BEST:: SOT 1732786 SOS 973702 HAS SOPS 973702 HAS SOUS 488753 HAS SOUPS 488753 WITH SCORE 489726.702
AT ITER 3711 NEW BEST:: SOT 1732784 SOS 973698 HAS SOPS 973698 HAS SOUS 488749 HAS SOUPS 488749 WITH SCORE 489722.698
AT ITER 3728 NEW BEST:: SOT 1732582 SOS 973496 HAS SOPS 973496 HAS SOUS 488446 HAS SOUPS 488446 WITH SCORE 489419.496
AT ITER 3729 NEW BEST:: SOT 1732565 SOS 973479 HAS SOPS 973479 HAS SOUS 488427 HAS SOUPS 488427 WITH SCORE 489400.479
AT ITER 3733 NEW BEST:: SOT 1732592 SOS 973506 HAS SOPS 973506 HAS SOUS 488265 HAS SOUPS 488265 WITH SCORE 489238.506
AT ITER 3739 NEW BEST:: SOT 1731320 SOS 972234 HAS SOPS 972234 HAS SOUS 488265 HAS SOUPS 488265 WITH SCORE 489237.234
AT ITER 3749 NEW BEST:: SOT 1731168 SOS 971938 HAS SOPS 971938 HAS SOUS 488205 HAS SOUPS 488205 WITH SCORE 489176.938
AT ITER 3798 NEW BEST:: SOT 1731371 SOS 971651 HAS SOPS 971651 HAS SOUS 488158 HAS SOUPS 488158 WITH SCORE 489129.651
AT ITER 3808 NEW BEST:: SOT 1731319 SOS 971599 HAS SOPS 971599 HAS SOUS 488002 HAS SOUPS 488002 WITH SCORE 488973.599
AT ITER 3810 NEW BEST:: SOT 1731319 SOS 971108 HAS SOPS 971108 HAS SOUS 487518 HAS SOUPS 487518 WITH SCORE 488489.108
AT ITER 3811 NEW BEST:: SOT 1731319 SOS 970958 HAS SOPS 970958 HAS SOUS 487518 HAS SOUPS 487518 WITH SCORE 488488.958
AT ITER 3814 NEW BEST:: SOT 1731319 SOS 970895 HAS SOPS 970895 HAS SOUS 487455 HAS SOUPS 487455 WITH SCORE 488425.895
AT ITER 3815 NEW BEST:: SOT 1731184 SOS 970625 HAS SOPS 970625 HAS SOUS 487320 HAS SOUPS 487320 WITH SCORE 488290.625
AT ITER 3826 NEW BEST:: SOT 1731094 SOS 970625 HAS SOPS 970625 HAS SOUS 487227 HAS SOUPS 487227 WITH SCORE 488197.625
AT ITER 3835 NEW BEST:: SOT 1731260 SOS 970774 HAS SOPS 970774 HAS SOUS 487180 HAS SOUPS 487180 WITH SCORE 488150.774
AT ITER 3838 NEW BEST:: SOT 1731239 SOS 970711 HAS SOPS 970711 HAS SOUS 487117 HAS SOUPS 487117 WITH SCORE 488087.711
AT ITER 3849 NEW BEST:: SOT 1731126 SOS 970680 HAS SOPS 970680 HAS SOUS 487081 HAS SOUPS 487081 WITH SCORE 488051.68
AT ITER 3870 NEW BEST:: SOT 1730892 SOS 970446 HAS SOPS 970446 HAS SOUS 486907 HAS SOUPS 486907 WITH SCORE 487877.446
AT ITER 3887 NEW BEST:: SOT 1731002 SOS 970508 HAS SOPS 970508 HAS SOUS 486857 HAS SOUPS 486857 WITH SCORE 487827.508
AT ITER 3893 NEW BEST:: SOT 1731000 SOS 970491 HAS SOPS 970491 HAS SOUS 486840 HAS SOUPS 486840 WITH SCORE 487810.491
AT ITER 3909 NEW BEST:: SOT 1729798 SOS 970828 HAS SOPS 970828 HAS SOUS 485832 HAS SOUPS 485832 WITH SCORE 486802.828
AT ITER 3922 NEW BEST:: SOT 1729798 SOS 970828 HAS SOPS 970828 HAS SOUS 485831 HAS SOUPS 485831 WITH SCORE 486801.828
AT ITER 3934 NEW BEST:: SOT 1729763 SOS 970763 HAS SOPS 970763 HAS SOUS 485515 HAS SOUPS 485515 WITH SCORE 486485.763
AT ITER 3940 NEW BEST:: SOT 1729461 SOS 970178 HAS SOPS 970178 HAS SOUS 485313 HAS SOUPS 485313 WITH SCORE 486283.178
AT ITER 3952 NEW BEST:: SOT 1729179 SOS 969896 HAS SOPS 969896 HAS SOUS 485031 HAS SOUPS 485031 WITH SCORE 486000.896
AT ITER 3956 NEW BEST:: SOT 1729032 SOS 969264 HAS SOPS 969264 HAS SOUS 484477 HAS SOUPS 484477 WITH SCORE 485446.264
AT ITER 3961 NEW BEST:: SOT 1728926 SOS 969065 HAS SOPS 969065 HAS SOUS 484278 HAS SOUPS 484278 WITH SCORE 485247.065
AT ITER 3972 NEW BEST:: SOT 1729246 SOS 969385 HAS SOPS 969385 HAS SOUS 484265 HAS SOUPS 484265 WITH SCORE 485234.385
AT ITER 3977 NEW BEST:: SOT 1729216 SOS 969065 HAS SOPS 969065 HAS SOUS 484018 HAS SOUPS 484018 WITH SCORE 484987.065
AT ITER 3991 NEW BEST:: SOT 1728954 SOS 968788 HAS SOPS 968788 HAS SOUS 483307 HAS SOUPS 483307 WITH SCORE 484275.788
AT ITER 3998 NEW BEST:: SOT 1728475 SOS 968430 HAS SOPS 968430 HAS SOUS 483163 HAS SOUPS 483163 WITH SCORE 484131.43
AT ITER 4003 NEW BEST:: SOT 1728465 SOS 968416 HAS SOPS 968416 HAS SOUS 483149 HAS SOUPS 483149 WITH SCORE 484117.416
AT ITER 4013 NEW BEST:: SOT 1728465 SOS 968389 HAS SOPS 968389 HAS SOUS 483140 HAS SOUPS 483140 WITH SCORE 484108.389
AT ITER 4024 NEW BEST:: SOT 1728168 SOS 968547 HAS SOPS 968547 HAS SOUS 482954 HAS SOUPS 482954 WITH SCORE 483922.547
AT ITER 4025 NEW BEST:: SOT 1727365 SOS 965499 HAS SOPS 965499 HAS SOUS 481207 HAS SOUPS 481207 WITH SCORE 482172.499
AT ITER 4036 NEW BEST:: SOT 1727365 SOS 965480 HAS SOPS 965480 HAS SOUS 481207 HAS SOUPS 481207 WITH SCORE 482172.48
AT ITER 4038 NEW BEST:: SOT 1725299 SOS 963139 HAS SOPS 963139 HAS SOUS 478831 HAS SOUPS 478831 WITH SCORE 479794.139
AT ITER 4040 NEW BEST:: SOT 1725311 SOS 963140 HAS SOPS 963140 HAS SOUS 478824 HAS SOUPS 478824 WITH SCORE 479787.14
AT ITER 4057 NEW BEST:: SOT 1724749 SOS 961920 HAS SOPS 961920 HAS SOUS 477604 HAS SOUPS 477604 WITH SCORE 478565.92
AT ITER 4071 NEW BEST:: SOT 1724723 SOS 961894 HAS SOPS 961894 HAS SOUS 477555 HAS SOUPS 477555 WITH SCORE 478516.894
AT ITER 4080 NEW BEST:: SOT 1724723 SOS 961363 HAS SOPS 961363 HAS SOUS 477489 HAS SOUPS 477489 WITH SCORE 478450.363
AT ITER 4087 NEW BEST:: SOT 1724600 SOS 961694 HAS SOPS 961694 HAS SOUS 477366 HAS SOUPS 477366 WITH SCORE 478327.694
AT ITER 4128 NEW BEST:: SOT 1724497 SOS 961591 HAS SOPS 961591 HAS SOUS 477263 HAS SOUPS 477263 WITH SCORE 478224.591
AT ITER 4134 NEW BEST:: SOT 1724497 SOS 961591 HAS SOPS 961591 HAS SOUS 477261 HAS SOUPS 477261 WITH SCORE 478222.591
AT ITER 4139 NEW BEST:: SOT 1724267 SOS 960981 HAS SOPS 960981 HAS SOUS 476314 HAS SOUPS 476314 WITH SCORE 477274.981
AT ITER 4143 NEW BEST:: SOT 1724030 SOS 959396 HAS SOPS 959396 HAS SOUS 474729 HAS SOUPS 474729 WITH SCORE 475688.396
AT ITER 4169 NEW BEST:: SOT 1724378 SOS 959043 HAS SOPS 959043 HAS SOUS 474530 HAS SOUPS 474530 WITH SCORE 475489.043
AT ITER 4174 NEW BEST:: SOT 1724372 SOS 959031 HAS SOPS 959031 HAS SOUS 474518 HAS SOUPS 474518 WITH SCORE 475477.031
AT ITER 4176 NEW BEST:: SOT 1724317 SOS 958974 HAS SOPS 958974 HAS SOUS 474461 HAS SOUPS 474461 WITH SCORE 475419.974
AT ITER 4181 NEW BEST:: SOT 1724856 SOS 963534 HAS SOPS 963534 HAS SOUS 474443 HAS SOUPS 474443 WITH SCORE 475406.534
AT ITER 4188 NEW BEST:: SOT 1724751 SOS 963429 HAS SOPS 963429 HAS SOUS 474338 HAS SOUPS 474338 WITH SCORE 475301.429
AT ITER 4189 NEW BEST:: SOT 1724750 SOS 963428 HAS SOPS 963428 HAS SOUS 474336 HAS SOUPS 474336 WITH SCORE 475299.428
AT ITER 4193 NEW BEST:: SOT 1724753 SOS 963434 HAS SOPS 963434 HAS SOUS 474296 HAS SOUPS 474296 WITH SCORE 475259.434
AT ITER 4195 NEW BEST:: SOT 1723105 SOS 961786 HAS SOPS 961786 HAS SOUS 472648 HAS SOUPS 472648 WITH SCORE 473609.786
AT ITER 4227 NEW BEST:: SOT 1723053 SOS 961682 HAS SOPS 961682 HAS SOUS 472544 HAS SOUPS 472544 WITH SCORE 473505.682
AT ITER 4240 NEW BEST:: SOT 1723036 SOS 961665 HAS SOPS 961665 HAS SOUS 472527 HAS SOUPS 472527 WITH SCORE 473488.665
AT ITER 4245 NEW BEST:: SOT 1723036 SOS 960944 HAS SOPS 960944 HAS SOUS 472229 HAS SOUPS 472229 WITH SCORE 473189.944
AT ITER 4253 NEW BEST:: SOT 1723564 SOS 960632 HAS SOPS 960632 HAS SOUS 472133 HAS SOUPS 472133 WITH SCORE 473093.632
AT ITER 4259 NEW BEST:: SOT 1723564 SOS 961327 HAS SOPS 961327 HAS SOUS 472106 HAS SOUPS 472106 WITH SCORE 473067.327
AT ITER 4292 NEW BEST:: SOT 1723560 SOS 961512 HAS SOPS 961512 HAS SOUS 472039 HAS SOUPS 472039 WITH SCORE 473000.512
AT ITER 4322 NEW BEST:: SOT 1723351 SOS 961303 HAS SOPS 961303 HAS SOUS 471830 HAS SOUPS 471830 WITH SCORE 472791.303
AT ITER 4325 NEW BEST:: SOT 1723318 SOS 961204 HAS SOPS 961204 HAS SOUS 471731 HAS SOUPS 471731 WITH SCORE 472692.204
AT ITER 4343 NEW BEST:: SOT 1723315 SOS 961183 HAS SOPS 961183 HAS SOUS 471605 HAS SOUPS 471605 WITH SCORE 472566.183
AT ITER 4347 NEW BEST:: SOT 1723217 SOS 961078 HAS SOPS 961078 HAS SOUS 471500 HAS SOUPS 471500 WITH SCORE 472461.078
AT ITER 4361 NEW BEST:: SOT 1723111 SOS 960866 HAS SOPS 960866 HAS SOUS 471376 HAS SOUPS 471376 WITH SCORE 472336.866
AT ITER 4379 NEW BEST:: SOT 1723111 SOS 960662 HAS SOPS 960662 HAS SOUS 471342 HAS SOUPS 471342 WITH SCORE 472302.662
AT ITER 4381 NEW BEST:: SOT 1723097 SOS 960648 HAS SOPS 960648 HAS SOUS 471328 HAS SOUPS 471328 WITH SCORE 472288.648
AT ITER 4390 NEW BEST:: SOT 1723097 SOS 960425 HAS SOPS 960425 HAS SOUS 471105 HAS SOUPS 471105 WITH SCORE 472065.425
AT ITER 4391 NEW BEST:: SOT 1723091 SOS 962734 HAS SOPS 962734 HAS SOUS 471099 HAS SOUPS 471099 WITH SCORE 472061.734
AT ITER 4415 NEW BEST:: SOT 1722875 SOS 962734 HAS SOPS 962734 HAS SOUS 470883 HAS SOUPS 470883 WITH SCORE 471845.734
AT ITER 4450 NEW BEST:: SOT 1722696 SOS 962555 HAS SOPS 962555 HAS SOUS 470094 HAS SOUPS 470094 WITH SCORE 471056.555
AT ITER 4451 NEW BEST:: SOT 1722717 SOS 962328 HAS SOPS 962328 HAS SOUS 469867 HAS SOUPS 469867 WITH SCORE 470829.328
AT ITER 4452 NEW BEST:: SOT 1722611 SOS 962197 HAS SOPS 962197 HAS SOUS 469760 HAS SOUPS 469760 WITH SCORE 470722.197
AT ITER 4455 NEW BEST:: SOT 1722606 SOS 962187 HAS SOPS 962187 HAS SOUS 469750 HAS SOUPS 469750 WITH SCORE 470712.187
AT ITER 4480 NEW BEST:: SOT 1722606 SOS 962073 HAS SOPS 962073 HAS SOUS 469636 HAS SOUPS 469636 WITH SCORE 470598.073
AT ITER 4484 NEW BEST:: SOT 1722517 SOS 962937 HAS SOPS 962937 HAS SOUS 469458 HAS SOUPS 469458 WITH SCORE 470420.937
AT ITER 4486 NEW BEST:: SOT 1722707 SOS 962935 HAS SOPS 962935 HAS SOUS 469384 HAS SOUPS 469384 WITH SCORE 470346.935
AT ITER 4494 NEW BEST:: SOT 1722166 SOS 962394 HAS SOPS 962394 HAS SOUS 468739 HAS SOUPS 468739 WITH SCORE 469701.394
AT ITER 4506 NEW BEST:: SOT 1722128 SOS 962318 HAS SOPS 962318 HAS SOUS 468663 HAS SOUPS 468663 WITH SCORE 469625.318
AT ITER 4525 NEW BEST:: SOT 1721890 SOS 961998 HAS SOPS 961998 HAS SOUS 468428 HAS SOUPS 468428 WITH SCORE 469389.998
AT ITER 4530 NEW BEST:: SOT 1721890 SOS 961948 HAS SOPS 961948 HAS SOUS 468403 HAS SOUPS 468403 WITH SCORE 469364.948
AT ITER 4553 NEW BEST:: SOT 1721862 SOS 961913 HAS SOPS 961913 HAS SOUS 468368 HAS SOUPS 468368 WITH SCORE 469329.913
AT ITER 4603 NEW BEST:: SOT 1718862 SOS 958995 HAS SOPS 958995 HAS SOUS 465441 HAS SOUPS 465441 WITH SCORE 466399.995
AT ITER 4605 NEW BEST:: SOT 1718802 SOS 958935 HAS SOPS 958935 HAS SOUS 464817 HAS SOUPS 464817 WITH SCORE 465775.935
AT ITER 4611 NEW BEST:: SOT 1718802 SOS 958175 HAS SOPS 958175 HAS SOUS 464817 HAS SOUPS 464817 WITH SCORE 465775.175
AT ITER 4617 NEW BEST:: SOT 1718802 SOS 958095 HAS SOPS 958095 HAS SOUS 464816 HAS SOUPS 464816 WITH SCORE 465774.095
AT ITER 4634 NEW BEST:: SOT 1718617 SOS 957639 HAS SOPS 957639 HAS SOUS 464695 HAS SOUPS 464695 WITH SCORE 465652.639
AT ITER 4653 NEW BEST:: SOT 1718724 SOS 957532 HAS SOPS 957532 HAS SOUS 464664 HAS SOUPS 464664 WITH SCORE 465621.532
AT ITER 4656 NEW BEST:: SOT 1718369 SOS 956975 HAS SOPS 956975 HAS SOUS 464107 HAS SOUPS 464107 WITH SCORE 465063.975
AT ITER 4665 NEW BEST:: SOT 1718660 SOS 957148 HAS SOPS 957148 HAS SOUS 463873 HAS SOUPS 463873 WITH SCORE 464830.148
AT ITER 4672 NEW BEST:: SOT 1718624 SOS 956949 HAS SOPS 956949 HAS SOUS 463791 HAS SOUPS 463791 WITH SCORE 464747.949
AT ITER 4685 NEW BEST:: SOT 1717909 SOS 956096 HAS SOPS 956096 HAS SOUS 462904 HAS SOUPS 462904 WITH SCORE 463860.096
AT ITER 4701 NEW BEST:: SOT 1717921 SOS 956010 HAS SOPS 956010 HAS SOUS 462818 HAS SOUPS 462818 WITH SCORE 463774.01
AT ITER 4707 NEW BEST:: SOT 1717971 SOS 956000 HAS SOPS 956000 HAS SOUS 462818 HAS SOUPS 462818 WITH SCORE 463774.0
AT ITER 4720 NEW BEST:: SOT 1717971 SOS 956121 HAS SOPS 956121 HAS SOUS 462725 HAS SOUPS 462725 WITH SCORE 463681.121
AT ITER 4733 NEW BEST:: SOT 1717945 SOS 956095 HAS SOPS 956095 HAS SOUS 462699 HAS SOUPS 462699 WITH SCORE 463655.095
AT ITER 4734 NEW BEST:: SOT 1717936 SOS 956086 HAS SOPS 956086 HAS SOUS 462690 HAS SOUPS 462690 WITH SCORE 463646.086
AT ITER 4736 NEW BEST:: SOT 1718221 SOS 956371 HAS SOPS 956371 HAS SOUS 462640 HAS SOUPS 462640 WITH SCORE 463596.371
AT ITER 4742 NEW BEST:: SOT 1718035 SOS 956185 HAS SOPS 956185 HAS SOUS 462454 HAS SOUPS 462454 WITH SCORE 463410.185
AT ITER 4790 NEW BEST:: SOT 1717610 SOS 955664 HAS SOPS 955664 HAS SOUS 461933 HAS SOUPS 461933 WITH SCORE 462888.664
AT ITER 4816 NEW BEST:: SOT 1717219 SOS 955067 HAS SOPS 955067 HAS SOUS 461122 HAS SOUPS 461122 WITH SCORE 462077.067
AT ITER 4824 NEW BEST:: SOT 1716990 SOS 954736 HAS SOPS 954736 HAS SOUS 460579 HAS SOUPS 460579 WITH SCORE 461533.736
AT ITER 4827 NEW BEST:: SOT 1716983 SOS 954728 HAS SOPS 954728 HAS SOUS 460564 HAS SOUPS 460564 WITH SCORE 461518.728
AT ITER 4828 NEW BEST:: SOT 1716952 SOS 954697 HAS SOPS 954697 HAS SOUS 460502 HAS SOUPS 460502 WITH SCORE 461456.697
AT ITER 4831 NEW BEST:: SOT 1716854 SOS 954599 HAS SOPS 954599 HAS SOUS 460404 HAS SOUPS 460404 WITH SCORE 461358.599
AT ITER 4837 NEW BEST:: SOT 1715939 SOS 954961 HAS SOPS 954961 HAS SOUS 459889 HAS SOUPS 459889 WITH SCORE 460843.961
AT ITER 4842 NEW BEST:: SOT 1715383 SOS 954841 HAS SOPS 954841 HAS SOUS 459262 HAS SOUPS 459262 WITH SCORE 460216.841
AT ITER 4843 NEW BEST:: SOT 1715273 SOS 954731 HAS SOPS 954731 HAS SOUS 459152 HAS SOUPS 459152 WITH SCORE 460106.731
AT ITER 4866 NEW BEST:: SOT 1715290 SOS 954681 HAS SOPS 954681 HAS SOUS 459102 HAS SOUPS 459102 WITH SCORE 460056.681
AT ITER 4897 NEW BEST:: SOT 1715256 SOS 954652 HAS SOPS 954652 HAS SOUS 459030 HAS SOUPS 459030 WITH SCORE 459984.652
AT ITER 4900 NEW BEST:: SOT 1715353 SOS 954851 HAS SOPS 954851 HAS SOUS 458910 HAS SOUPS 458910 WITH SCORE 459864.851
AT ITER 4917 NEW BEST:: SOT 1715220 SOS 955394 HAS SOPS 955394 HAS SOUS 458789 HAS SOUPS 458789 WITH SCORE 459744.394
AT ITER 4918 NEW BEST:: SOT 1715192 SOS 955366 HAS SOPS 955366 HAS SOUS 458761 HAS SOUPS 458761 WITH SCORE 459716.366
AT ITER 4934 NEW BEST:: SOT 1715219 SOS 955267 HAS SOPS 955267 HAS SOUS 458732 HAS SOUPS 458732 WITH SCORE 459687.267
AT ITER 4944 NEW BEST:: SOT 1715364 SOS 955456 HAS SOPS 955456 HAS SOUS 458684 HAS SOUPS 458684 WITH SCORE 459639.456
AT ITER 4956 NEW BEST:: SOT 1715364 SOS 955456 HAS SOPS 955456 HAS SOUS 458653 HAS SOUPS 458653 WITH SCORE 459608.456
AT ITER 4957 NEW BEST:: SOT 1715277 SOS 955355 HAS SOPS 955355 HAS SOUS 458605 HAS SOUPS 458605 WITH SCORE 459560.355
AT ITER 4960 NEW BEST:: SOT 1715277 SOS 955201 HAS SOPS 955201 HAS SOUS 458451 HAS SOUPS 458451 WITH SCORE 459406.201
AT ITER 4985 NEW BEST:: SOT 1715269 SOS 955140 HAS SOPS 955140 HAS SOUS 458392 HAS SOUPS 458392 WITH SCORE 459347.14
AT ITER 4991 NEW BEST:: SOT 1715434 SOS 955305 HAS SOPS 955305 HAS SOUS 458244 HAS SOUPS 458244 WITH SCORE 459199.305
AT ITER 4993 NEW BEST:: SOT 1715299 SOS 954711 HAS SOPS 954711 HAS SOUS 457957 HAS SOUPS 457957 WITH SCORE 458911.711
AT ITER 4997 NEW BEST:: SOT 1715011 SOS 954701 HAS SOPS 954701 HAS SOUS 457947 HAS SOUPS 457947 WITH SCORE 458901.701
AT ITER 5001 NEW BEST:: SOT 1714856 SOS 954490 HAS SOPS 954490 HAS SOUS 457736 HAS SOUPS 457736 WITH SCORE 458690.49
AT ITER 5034 NEW BEST:: SOT 1714767 SOS 952702 HAS SOPS 952702 HAS SOUS 457535 HAS SOUPS 457535 WITH SCORE 458487.702
AT ITER 5035 NEW BEST:: SOT 1714761 SOS 952696 HAS SOPS 952696 HAS SOUS 457532 HAS SOUPS 457532 WITH SCORE 458484.696
AT ITER 5058 NEW BEST:: SOT 1714195 SOS 952337 HAS SOPS 952337 HAS SOUS 456612 HAS SOUPS 456612 WITH SCORE 457564.337
AT ITER 5066 NEW BEST:: SOT 1714193 SOS 952335 HAS SOPS 952335 HAS SOUS 456608 HAS SOUPS 456608 WITH SCORE 457560.335
AT ITER 5067 NEW BEST:: SOT 1714137 SOS 952251 HAS SOPS 952251 HAS SOUS 456524 HAS SOUPS 456524 WITH SCORE 457476.251
AT ITER 5092 NEW BEST:: SOT 1714137 SOS 952251 HAS SOPS 952251 HAS SOUS 456468 HAS SOUPS 456468 WITH SCORE 457420.251
AT ITER 5127 NEW BEST:: SOT 1714078 SOS 951992 HAS SOPS 951992 HAS SOUS 456209 HAS SOUPS 456209 WITH SCORE 457160.992
AT ITER 5138 NEW BEST:: SOT 1714049 SOS 951963 HAS SOPS 951963 HAS SOUS 456151 HAS SOUPS 456151 WITH SCORE 457102.963
AT ITER 5148 NEW BEST:: SOT 1714037 SOS 951806 HAS SOPS 951806 HAS SOUS 456006 HAS SOUPS 456006 WITH SCORE 456957.806
AT ITER 5162 NEW BEST:: SOT 1713673 SOS 951048 HAS SOPS 951048 HAS SOUS 455248 HAS SOUPS 455248 WITH SCORE 456199.048
AT ITER 5166 NEW BEST:: SOT 1713452 SOS 951043 HAS SOPS 951043 HAS SOUS 455246 HAS SOUPS 455246 WITH SCORE 456197.043
AT ITER 5234 NEW BEST:: SOT 1713452 SOS 950993 HAS SOPS 950993 HAS SOUS 455246 HAS SOUPS 455246 WITH SCORE 456196.993
AT ITER 5250 NEW BEST:: SOT 1713452 SOS 950623 HAS SOPS 950623 HAS SOUS 455212 HAS SOUPS 455212 WITH SCORE 456162.623
AT ITER 5269 NEW BEST:: SOT 1713439 SOS 950532 HAS SOPS 950532 HAS SOUS 455199 HAS SOUPS 455199 WITH SCORE 456149.532
AT ITER 5275 NEW BEST:: SOT 1713439 SOS 950398 HAS SOPS 950398 HAS SOUS 455198 HAS SOUPS 455198 WITH SCORE 456148.398
AT ITER 5285 NEW BEST:: SOT 1713180 SOS 950146 HAS SOPS 950146 HAS SOUS 454946 HAS SOUPS 454946 WITH SCORE 455896.146
AT ITER 5296 NEW BEST:: SOT 1713176 SOS 950269 HAS SOPS 950269 HAS SOUS 454903 HAS SOUPS 454903 WITH SCORE 455853.269
AT ITER 5298 NEW BEST:: SOT 1713067 SOS 950058 HAS SOPS 950058 HAS SOUS 454692 HAS SOUPS 454692 WITH SCORE 455642.058
AT ITER 5322 NEW BEST:: SOT 1712859 SOS 950058 HAS SOPS 950058 HAS SOUS 454484 HAS SOUPS 454484 WITH SCORE 455434.058
AT ITER 5348 NEW BEST:: SOT 1712859 SOS 946578 HAS SOPS 946578 HAS SOUS 454484 HAS SOUPS 454484 WITH SCORE 455430.578
AT ITER 5355 NEW BEST:: SOT 1712859 SOS 946460 HAS SOPS 946460 HAS SOUS 453903 HAS SOUPS 453903 WITH SCORE 454849.46
AT ITER 5383 NEW BEST:: SOT 1712720 SOS 946182 HAS SOPS 946182 HAS SOUS 453625 HAS SOUPS 453625 WITH SCORE 454571.182
AT ITER 5417 NEW BEST:: SOT 1712697 SOS 946158 HAS SOPS 946158 HAS SOUS 453580 HAS SOUPS 453580 WITH SCORE 454526.158
AT ITER 5419 NEW BEST:: SOT 1712664 SOS 946412 HAS SOPS 946412 HAS SOUS 453536 HAS SOUPS 453536 WITH SCORE 454482.412
AT ITER 5445 NEW BEST:: SOT 1712453 SOS 944938 HAS SOPS 944938 HAS SOUS 453224 HAS SOUPS 453224 WITH SCORE 454168.938
AT ITER 5449 NEW BEST:: SOT 1712023 SOS 944508 HAS SOPS 944508 HAS SOUS 452699 HAS SOUPS 452699 WITH SCORE 453643.508
AT ITER 5453 NEW BEST:: SOT 1711909 SOS 944394 HAS SOPS 944394 HAS SOUS 452585 HAS SOUPS 452585 WITH SCORE 453529.394
AT ITER 5455 NEW BEST:: SOT 1711837 SOS 944322 HAS SOPS 944322 HAS SOUS 452419 HAS SOUPS 452419 WITH SCORE 453363.322
AT ITER 5461 NEW BEST:: SOT 1711508 SOS 943863 HAS SOPS 943863 HAS SOUS 451953 HAS SOUPS 451953 WITH SCORE 452896.863
AT ITER 5464 NEW BEST:: SOT 1711505 SOS 943860 HAS SOPS 943860 HAS SOUS 451950 HAS SOUPS 451950 WITH SCORE 452893.86
AT ITER 5466 NEW BEST:: SOT 1711500 SOS 943855 HAS SOPS 943855 HAS SOUS 451915 HAS SOUPS 451915 WITH SCORE 452858.855
AT ITER 5471 NEW BEST:: SOT 1711490 SOS 943845 HAS SOPS 943845 HAS SOUS 451905 HAS SOUPS 451905 WITH SCORE 452848.845
AT ITER 5478 NEW BEST:: SOT 1711587 SOS 943942 HAS SOPS 943942 HAS SOUS 451901 HAS SOUPS 451901 WITH SCORE 452844.942
AT ITER 5481 NEW BEST:: SOT 1711451 SOS 943799 HAS SOPS 943799 HAS SOUS 451758 HAS SOUPS 451758 WITH SCORE 452701.799
AT ITER 5502 NEW BEST:: SOT 1711269 SOS 943435 HAS SOPS 943435 HAS SOUS 451324 HAS SOUPS 451324 WITH SCORE 452267.435
AT ITER 5503 NEW BEST:: SOT 1711262 SOS 943414 HAS SOPS 943414 HAS SOUS 451309 HAS SOUPS 451309 WITH SCORE 452252.414
AT ITER 5505 NEW BEST:: SOT 1711228 SOS 943380 HAS SOPS 943380 HAS SOUS 451274 HAS SOUPS 451274 WITH SCORE 452217.38
AT ITER 5513 NEW BEST:: SOT 1711178 SOS 943373 HAS SOPS 943373 HAS SOUS 451252 HAS SOUPS 451252 WITH SCORE 452195.373
AT ITER 5515 NEW BEST:: SOT 1711076 SOS 943271 HAS SOPS 943271 HAS SOUS 451150 HAS SOUPS 451150 WITH SCORE 452093.271
AT ITER 5525 NEW BEST:: SOT 1711061 SOS 943256 HAS SOPS 943256 HAS SOUS 451120 HAS SOUPS 451120 WITH SCORE 452063.256
AT ITER 5544 NEW BEST:: SOT 1711371 SOS 943692 HAS SOPS 943692 HAS SOUS 450020 HAS SOUPS 450020 WITH SCORE 450963.692
AT ITER 5571 NEW BEST:: SOT 1711371 SOS 943692 HAS SOPS 943692 HAS SOUS 449887 HAS SOUPS 449887 WITH SCORE 450830.692
AT ITER 5670 NEW BEST:: SOT 1711317 SOS 943638 HAS SOPS 943638 HAS SOUS 449833 HAS SOUPS 449833 WITH SCORE 450776.638
AT ITER 5671 NEW BEST:: SOT 1710826 SOS 943147 HAS SOPS 943147 HAS SOUS 449342 HAS SOUPS 449342 WITH SCORE 450285.147
AT ITER 5681 NEW BEST:: SOT 1710769 SOS 943033 HAS SOPS 943033 HAS SOUS 449228 HAS SOUPS 449228 WITH SCORE 450171.033
AT ITER 5682 NEW BEST:: SOT 1711520 SOS 943802 HAS SOPS 943802 HAS SOUS 449220 HAS SOUPS 449220 WITH SCORE 450163.802
AT ITER 5693 NEW BEST:: SOT 1711389 SOS 943061 HAS SOPS 943061 HAS SOUS 448958 HAS SOUPS 448958 WITH SCORE 449901.061
AT ITER 5710 NEW BEST:: SOT 1710767 SOS 942600 HAS SOPS 942600 HAS SOUS 448377 HAS SOUPS 448377 WITH SCORE 449319.6
AT ITER 5713 NEW BEST:: SOT 1710767 SOS 941802 HAS SOPS 941802 HAS SOUS 448262 HAS SOUPS 448262 WITH SCORE 449203.802
AT ITER 5724 NEW BEST:: SOT 1710738 SOS 941773 HAS SOPS 941773 HAS SOUS 448233 HAS SOUPS 448233 WITH SCORE 449174.773
AT ITER 5725 NEW BEST:: SOT 1710110 SOS 941145 HAS SOPS 941145 HAS SOUS 447700 HAS SOUPS 447700 WITH SCORE 448641.145
AT ITER 5741 NEW BEST:: SOT 1710109 SOS 941143 HAS SOPS 941143 HAS SOUS 447698 HAS SOUPS 447698 WITH SCORE 448639.143
AT ITER 5742 NEW BEST:: SOT 1710282 SOS 940888 HAS SOPS 940888 HAS SOUS 447412 HAS SOUPS 447412 WITH SCORE 448352.888
AT ITER 5768 NEW BEST:: SOT 1710332 SOS 940965 HAS SOPS 940965 HAS SOUS 447296 HAS SOUPS 447296 WITH SCORE 448236.965
AT ITER 5776 NEW BEST:: SOT 1710142 SOS 940601 HAS SOPS 940601 HAS SOUS 446990 HAS SOUPS 446990 WITH SCORE 447930.601
AT ITER 5798 NEW BEST:: SOT 1710089 SOS 940554 HAS SOPS 940554 HAS SOUS 446943 HAS SOUPS 446943 WITH SCORE 447883.554
AT ITER 5801 NEW BEST:: SOT 1710089 SOS 940554 HAS SOPS 940554 HAS SOUS 446878 HAS SOUPS 446878 WITH SCORE 447818.554
AT ITER 5823 NEW BEST:: SOT 1710065 SOS 940518 HAS SOPS 940518 HAS SOUS 446830 HAS SOUPS 446830 WITH SCORE 447770.518
AT ITER 5824 NEW BEST:: SOT 1709882 SOS 940408 HAS SOPS 940408 HAS SOUS 446645 HAS SOUPS 446645 WITH SCORE 447585.408
AT ITER 5827 NEW BEST:: SOT 1709609 SOS 940135 HAS SOPS 940135 HAS SOUS 446099 HAS SOUPS 446099 WITH SCORE 447039.135
AT ITER 5828 NEW BEST:: SOT 1709536 SOS 940054 HAS SOPS 940054 HAS SOUS 446018 HAS SOUPS 446018 WITH SCORE 446958.054
AT ITER 5844 NEW BEST:: SOT 1709431 SOS 939169 HAS SOPS 939169 HAS SOUS 445653 HAS SOUPS 445653 WITH SCORE 446592.169
AT ITER 5853 NEW BEST:: SOT 1709333 SOS 938872 HAS SOPS 938872 HAS SOUS 445356 HAS SOUPS 445356 WITH SCORE 446294.872
AT ITER 5898 NEW BEST:: SOT 1708519 SOS 938058 HAS SOPS 938058 HAS SOUS 444267 HAS SOUPS 444267 WITH SCORE 445205.058
AT ITER 5902 NEW BEST:: SOT 1708442 SOS 937981 HAS SOPS 937981 HAS SOUS 444034 HAS SOUPS 444034 WITH SCORE 444971.981
AT ITER 5921 NEW BEST:: SOT 1708297 SOS 937836 HAS SOPS 937836 HAS SOUS 443599 HAS SOUPS 443599 WITH SCORE 444536.836
AT ITER 5922 NEW BEST:: SOT 1708009 SOS 937684 HAS SOPS 937684 HAS SOUS 443251 HAS SOUPS 443251 WITH SCORE 444188.684
AT ITER 5924 NEW BEST:: SOT 1708002 SOS 937673 HAS SOPS 937673 HAS SOUS 443240 HAS SOUPS 443240 WITH SCORE 444177.673
AT ITER 5926 NEW BEST:: SOT 1708002 SOS 937645 HAS SOPS 937645 HAS SOUS 443240 HAS SOUPS 443240 WITH SCORE 444177.645
AT ITER 5936 NEW BEST:: SOT 1706940 SOS 932690 HAS SOPS 932690 HAS SOUS 442120 HAS SOUPS 442120 WITH SCORE 443052.69
AT ITER 5940 NEW BEST:: SOT 1706896 SOS 932646 HAS SOPS 932646 HAS SOUS 442076 HAS SOUPS 442076 WITH SCORE 443008.646
AT ITER 5964 NEW BEST:: SOT 1706823 SOS 932573 HAS SOPS 932573 HAS SOUS 441814 HAS SOUPS 441814 WITH SCORE 442746.573
AT ITER 5969 NEW BEST:: SOT 1706823 SOS 932399 HAS SOPS 932399 HAS SOUS 441814 HAS SOUPS 441814 WITH SCORE 442746.399
AT ITER 5987 NEW BEST:: SOT 1706758 SOS 932269 HAS SOPS 932269 HAS SOUS 441684 HAS SOUPS 441684 WITH SCORE 442616.269
AT ITER 5994 NEW BEST:: SOT 1706657 SOS 932168 HAS SOPS 932168 HAS SOUS 441528 HAS SOUPS 441528 WITH SCORE 442460.168
AT ITER 6000 NEW BEST:: SOT 1706647 SOS 932158 HAS SOPS 932158 HAS SOUS 441518 HAS SOUPS 441518 WITH SCORE 442450.158
AT ITER 6008 NEW BEST:: SOT 1706518 SOS 932029 HAS SOPS 932029 HAS SOUS 441260 HAS SOUPS 441260 WITH SCORE 442192.029
AT ITER 6013 NEW BEST:: SOT 1706332 SOS 931150 HAS SOPS 931150 HAS SOUS 440502 HAS SOUPS 440502 WITH SCORE 441433.15
AT ITER 6020 NEW BEST:: SOT 1705720 SOS 929850 HAS SOPS 929850 HAS SOUS 439202 HAS SOUPS 439202 WITH SCORE 440131.85
AT ITER 6041 NEW BEST:: SOT 1705620 SOS 929748 HAS SOPS 929748 HAS SOUS 439201 HAS SOUPS 439201 WITH SCORE 440130.748
AT ITER 6054 NEW BEST:: SOT 1705526 SOS 928633 HAS SOPS 928633 HAS SOUS 438952 HAS SOUPS 438952 WITH SCORE 439880.633
AT ITER 6085 NEW BEST:: SOT 1705478 SOS 928459 HAS SOPS 928459 HAS SOUS 438778 HAS SOUPS 438778 WITH SCORE 439706.459
AT ITER 6091 NEW BEST:: SOT 1705518 SOS 927243 HAS SOPS 927243 HAS SOUS 438601 HAS SOUPS 438601 WITH SCORE 439528.243
AT ITER 6097 NEW BEST:: SOT 1705517 SOS 927242 HAS SOPS 927242 HAS SOUS 438599 HAS SOUPS 438599 WITH SCORE 439526.242
AT ITER 6117 NEW BEST:: SOT 1705441 SOS 927166 HAS SOPS 927166 HAS SOUS 438523 HAS SOUPS 438523 WITH SCORE 439450.166
AT ITER 6119 NEW BEST:: SOT 1705441 SOS 927164 HAS SOPS 927164 HAS SOUS 438507 HAS SOUPS 438507 WITH SCORE 439434.164
AT ITER 6133 NEW BEST:: SOT 1705361 SOS 926816 HAS SOPS 926816 HAS SOUS 438426 HAS SOUPS 438426 WITH SCORE 439352.816
AT ITER 6146 NEW BEST:: SOT 1705311 SOS 926766 HAS SOPS 926766 HAS SOUS 438326 HAS SOUPS 438326 WITH SCORE 439252.766
AT ITER 6202 NEW BEST:: SOT 1705311 SOS 926824 HAS SOPS 926824 HAS SOUS 438152 HAS SOUPS 438152 WITH SCORE 439078.824
AT ITER 6209 NEW BEST:: SOT 1705309 SOS 926810 HAS SOPS 926810 HAS SOUS 438148 HAS SOUPS 438148 WITH SCORE 439074.81
AT ITER 6210 NEW BEST:: SOT 1705277 SOS 926778 HAS SOPS 926778 HAS SOUS 438084 HAS SOUPS 438084 WITH SCORE 439010.778
AT ITER 6216 NEW BEST:: SOT 1704764 SOS 926204 HAS SOPS 926204 HAS SOUS 437528 HAS SOUPS 437528 WITH SCORE 438454.204
AT ITER 6220 NEW BEST:: SOT 1704666 SOS 926106 HAS SOPS 926106 HAS SOUS 437450 HAS SOUPS 437450 WITH SCORE 438376.106
AT ITER 6221 NEW BEST:: SOT 1704666 SOS 925877 HAS SOPS 925877 HAS SOUS 437237 HAS SOUPS 437237 WITH SCORE 438162.877
AT ITER 6266 NEW BEST:: SOT 1704659 SOS 925863 HAS SOPS 925863 HAS SOUS 437223 HAS SOUPS 437223 WITH SCORE 438148.863
AT ITER 6271 NEW BEST:: SOT 1704509 SOS 925713 HAS SOPS 925713 HAS SOUS 437044 HAS SOUPS 437044 WITH SCORE 437969.713
AT ITER 6306 NEW BEST:: SOT 1704223 SOS 925696 HAS SOPS 925696 HAS SOUS 436750 HAS SOUPS 436750 WITH SCORE 437675.696
AT ITER 6310 NEW BEST:: SOT 1703900 SOS 925021 HAS SOPS 925021 HAS SOUS 435849 HAS SOUPS 435849 WITH SCORE 436774.021
AT ITER 6311 NEW BEST:: SOT 1703571 SOS 925088 HAS SOPS 925088 HAS SOUS 435520 HAS SOUPS 435520 WITH SCORE 436445.088
AT ITER 6321 NEW BEST:: SOT 1703571 SOS 924941 HAS SOPS 924941 HAS SOUS 435499 HAS SOUPS 435499 WITH SCORE 436423.941
AT ITER 6347 NEW BEST:: SOT 1703551 SOS 924717 HAS SOPS 924717 HAS SOUS 435480 HAS SOUPS 435480 WITH SCORE 436404.717
AT ITER 6354 NEW BEST:: SOT 1703539 SOS 924039 HAS SOPS 924039 HAS SOUS 435345 HAS SOUPS 435345 WITH SCORE 436269.039
AT ITER 6357 NEW BEST:: SOT 1703442 SOS 923942 HAS SOPS 923942 HAS SOUS 435238 HAS SOUPS 435238 WITH SCORE 436161.942
AT ITER 6365 NEW BEST:: SOT 1704651 SOS 924441 HAS SOPS 924441 HAS SOUS 434960 HAS SOUPS 434960 WITH SCORE 435884.441
AT ITER 6366 NEW BEST:: SOT 1704645 SOS 924435 HAS SOPS 924435 HAS SOUS 434954 HAS SOUPS 434954 WITH SCORE 435878.435
AT ITER 6390 NEW BEST:: SOT 1704590 SOS 924380 HAS SOPS 924380 HAS SOUS 434855 HAS SOUPS 434855 WITH SCORE 435779.38
AT ITER 6396 NEW BEST:: SOT 1704371 SOS 923925 HAS SOPS 923925 HAS SOUS 434406 HAS SOUPS 434406 WITH SCORE 435329.925
AT ITER 6397 NEW BEST:: SOT 1704086 SOS 923993 HAS SOPS 923993 HAS SOUS 434091 HAS SOUPS 434091 WITH SCORE 435014.993
AT ITER 6398 NEW BEST:: SOT 1704063 SOS 924089 HAS SOPS 924089 HAS SOUS 434068 HAS SOUPS 434068 WITH SCORE 434992.089
AT ITER 6449 NEW BEST:: SOT 1703909 SOS 924356 HAS SOPS 924356 HAS SOUS 433851 HAS SOUPS 433851 WITH SCORE 434775.356
AT ITER 6453 NEW BEST:: SOT 1703892 SOS 924247 HAS SOPS 924247 HAS SOUS 433742 HAS SOUPS 433742 WITH SCORE 434666.247
AT ITER 6455 NEW BEST:: SOT 1703892 SOS 924216 HAS SOPS 924216 HAS SOUS 433711 HAS SOUPS 433711 WITH SCORE 434635.216
AT ITER 6458 NEW BEST:: SOT 1703810 SOS 924266 HAS SOPS 924266 HAS SOUS 433545 HAS SOUPS 433545 WITH SCORE 434469.266
AT ITER 6463 NEW BEST:: SOT 1703739 SOS 924195 HAS SOPS 924195 HAS SOUS 433474 HAS SOUPS 433474 WITH SCORE 434398.195
AT ITER 6464 NEW BEST:: SOT 1703657 SOS 923950 HAS SOPS 923950 HAS SOUS 433229 HAS SOUPS 433229 WITH SCORE 434152.95
AT ITER 6472 NEW BEST:: SOT 1703778 SOS 924071 HAS SOPS 924071 HAS SOUS 433189 HAS SOUPS 433189 WITH SCORE 434113.071
AT ITER 6473 NEW BEST:: SOT 1703778 SOS 923986 HAS SOPS 923986 HAS SOUS 433104 HAS SOUPS 433104 WITH SCORE 434027.986
AT ITER 6496 NEW BEST:: SOT 1703772 SOS 921226 HAS SOPS 921226 HAS SOUS 433104 HAS SOUPS 433104 WITH SCORE 434025.226
AT ITER 6502 NEW BEST:: SOT 1703663 SOS 921117 HAS SOPS 921117 HAS SOUS 432833 HAS SOUPS 432833 WITH SCORE 433754.117
AT ITER 6513 NEW BEST:: SOT 1703617 SOS 921110 HAS SOPS 921110 HAS SOUS 432787 HAS SOUPS 432787 WITH SCORE 433708.11
AT ITER 6555 NEW BEST:: SOT 1703616 SOS 921109 HAS SOPS 921109 HAS SOUS 432786 HAS SOUPS 432786 WITH SCORE 433707.109
AT ITER 6559 NEW BEST:: SOT 1703589 SOS 921101 HAS SOPS 921101 HAS SOUS 432785 HAS SOUPS 432785 WITH SCORE 433706.101
AT ITER 6564 NEW BEST:: SOT 1703283 SOS 920437 HAS SOPS 920437 HAS SOUS 432104 HAS SOUPS 432104 WITH SCORE 433024.437
AT ITER 6598 NEW BEST:: SOT 1702989 SOS 920143 HAS SOPS 920143 HAS SOUS 431810 HAS SOUPS 431810 WITH SCORE 432730.143
AT ITER 6600 NEW BEST:: SOT 1702862 SOS 919762 HAS SOPS 919762 HAS SOUS 431556 HAS SOUPS 431556 WITH SCORE 432475.762
AT ITER 6635 NEW BEST:: SOT 1702743 SOS 919724 HAS SOPS 919724 HAS SOUS 431518 HAS SOUPS 431518 WITH SCORE 432437.724
AT ITER 6641 NEW BEST:: SOT 1702640 SOS 919621 HAS SOPS 919621 HAS SOUS 431415 HAS SOUPS 431415 WITH SCORE 432334.621
AT ITER 6666 NEW BEST:: SOT 1702525 SOS 919345 HAS SOPS 919345 HAS SOUS 431185 HAS SOUPS 431185 WITH SCORE 432104.345
AT ITER 6674 NEW BEST:: SOT 1702519 SOS 919339 HAS SOPS 919339 HAS SOUS 431014 HAS SOUPS 431014 WITH SCORE 431933.339
AT ITER 6675 NEW BEST:: SOT 1701619 SOS 917542 HAS SOPS 917542 HAS SOUS 429995 HAS SOUPS 429995 WITH SCORE 430912.542
AT ITER 6687 NEW BEST:: SOT 1701443 SOS 917383 HAS SOPS 917383 HAS SOUS 429731 HAS SOUPS 429731 WITH SCORE 430648.383
AT ITER 6689 NEW BEST:: SOT 1701436 SOS 917369 HAS SOPS 917369 HAS SOUS 429717 HAS SOUPS 429717 WITH SCORE 430634.369
AT ITER 6700 NEW BEST:: SOT 1701053 SOS 916940 HAS SOPS 916940 HAS SOUS 429288 HAS SOUPS 429288 WITH SCORE 430204.94
AT ITER 6749 NEW BEST:: SOT 1700893 SOS 916780 HAS SOPS 916780 HAS SOUS 428968 HAS SOUPS 428968 WITH SCORE 429884.78
AT ITER 6757 NEW BEST:: SOT 1700457 SOS 916344 HAS SOPS 916344 HAS SOUS 428532 HAS SOUPS 428532 WITH SCORE 429448.344
AT ITER 6767 NEW BEST:: SOT 1700393 SOS 916299 HAS SOPS 916299 HAS SOUS 428487 HAS SOUPS 428487 WITH SCORE 429403.299
AT ITER 6773 NEW BEST:: SOT 1700576 SOS 916515 HAS SOPS 916515 HAS SOUS 428388 HAS SOUPS 428388 WITH SCORE 429304.515
AT ITER 6788 NEW BEST:: SOT 1700576 SOS 916471 HAS SOPS 916471 HAS SOUS 428344 HAS SOUPS 428344 WITH SCORE 429260.471
AT ITER 6792 NEW BEST:: SOT 1700531 SOS 915429 HAS SOPS 915429 HAS SOUS 428202 HAS SOUPS 428202 WITH SCORE 429117.429
AT ITER 6798 NEW BEST:: SOT 1700531 SOS 915233 HAS SOPS 915233 HAS SOUS 428049 HAS SOUPS 428049 WITH SCORE 428964.233
AT ITER 6805 NEW BEST:: SOT 1699835 SOS 915023 HAS SOPS 915023 HAS SOUS 427272 HAS SOUPS 427272 WITH SCORE 428187.023
AT ITER 6828 NEW BEST:: SOT 1699841 SOS 914711 HAS SOPS 914711 HAS SOUS 427202 HAS SOUPS 427202 WITH SCORE 428116.711
AT ITER 6836 NEW BEST:: SOT 1699771 SOS 914641 HAS SOPS 914641 HAS SOUS 427123 HAS SOUPS 427123 WITH SCORE 428037.641
AT ITER 6848 NEW BEST:: SOT 1699502 SOS 913854 HAS SOPS 913854 HAS SOUS 426848 HAS SOUPS 426848 WITH SCORE 427761.854
AT ITER 6866 NEW BEST:: SOT 1699496 SOS 913845 HAS SOPS 913845 HAS SOUS 426839 HAS SOUPS 426839 WITH SCORE 427752.845
AT ITER 6894 NEW BEST:: SOT 1699496 SOS 913845 HAS SOPS 913845 HAS SOUS 426789 HAS SOUPS 426789 WITH SCORE 427702.845
AT ITER 6895 NEW BEST:: SOT 1699414 SOS 913775 HAS SOPS 913775 HAS SOUS 426731 HAS SOUPS 426731 WITH SCORE 427644.775
AT ITER 6903 NEW BEST:: SOT 1699441 SOS 913504 HAS SOPS 913504 HAS SOUS 426612 HAS SOUPS 426612 WITH SCORE 427525.504
AT ITER 6927 NEW BEST:: SOT 1699403 SOS 913392 HAS SOPS 913392 HAS SOUS 426536 HAS SOUPS 426536 WITH SCORE 427449.392
AT ITER 6938 NEW BEST:: SOT 1699443 SOS 913432 HAS SOPS 913432 HAS SOUS 426532 HAS SOUPS 426532 WITH SCORE 427445.432
AT ITER 6952 NEW BEST:: SOT 1699442 SOS 913300 HAS SOPS 913300 HAS SOUS 426492 HAS SOUPS 426492 WITH SCORE 427405.3
AT ITER 6966 NEW BEST:: SOT 1699364 SOS 912036 HAS SOPS 912036 HAS SOUS 426413 HAS SOUPS 426413 WITH SCORE 427325.036
AT ITER 6975 NEW BEST:: SOT 1699353 SOS 911917 HAS SOPS 911917 HAS SOUS 426391 HAS SOUPS 426391 WITH SCORE 427302.917
AT ITER 6978 NEW BEST:: SOT 1699366 SOS 911853 HAS SOPS 911853 HAS SOUS 426222 HAS SOUPS 426222 WITH SCORE 427133.853
AT ITER 6991 NEW BEST:: SOT 1698884 SOS 911371 HAS SOPS 911371 HAS SOUS 425258 HAS SOUPS 425258 WITH SCORE 426169.371
AT ITER 6994 NEW BEST:: SOT 1698870 SOS 910027 HAS SOPS 910027 HAS SOUS 425230 HAS SOUPS 425230 WITH SCORE 426140.027
AT ITER 7001 NEW BEST:: SOT 1697735 SOS 908892 HAS SOPS 908892 HAS SOUS 424170 HAS SOUPS 424170 WITH SCORE 425078.892
AT ITER 7052 NEW BEST:: SOT 1697737 SOS 908774 HAS SOPS 908774 HAS SOUS 424020 HAS SOUPS 424020 WITH SCORE 424928.774
AT ITER 7061 NEW BEST:: SOT 1697785 SOS 908765 HAS SOPS 908765 HAS SOUS 423948 HAS SOUPS 423948 WITH SCORE 424856.765
AT ITER 7083 NEW BEST:: SOT 1697785 SOS 910093 HAS SOPS 910093 HAS SOUS 423678 HAS SOUPS 423678 WITH SCORE 424588.093
AT ITER 7087 NEW BEST:: SOT 1697735 SOS 909694 HAS SOPS 909694 HAS SOUS 423130 HAS SOUPS 423130 WITH SCORE 424039.694
AT ITER 7088 NEW BEST:: SOT 1697704 SOS 909663 HAS SOPS 909663 HAS SOUS 423064 HAS SOUPS 423064 WITH SCORE 423973.663
AT ITER 7115 NEW BEST:: SOT 1697566 SOS 908340 HAS SOPS 908340 HAS SOUS 422680 HAS SOUPS 422680 WITH SCORE 423588.34
AT ITER 7121 NEW BEST:: SOT 1697520 SOS 908049 HAS SOPS 908049 HAS SOUS 422578 HAS SOUPS 422578 WITH SCORE 423486.049
AT ITER 7132 NEW BEST:: SOT 1697492 SOS 908021 HAS SOPS 908021 HAS SOUS 422522 HAS SOUPS 422522 WITH SCORE 423430.021
AT ITER 7136 NEW BEST:: SOT 1697450 SOS 907909 HAS SOPS 907909 HAS SOUS 422493 HAS SOUPS 422493 WITH SCORE 423400.909
AT ITER 7141 NEW BEST:: SOT 1697420 SOS 907901 HAS SOPS 907901 HAS SOUS 422492 HAS SOUPS 422492 WITH SCORE 423399.901
AT ITER 7152 NEW BEST:: SOT 1697346 SOS 907628 HAS SOPS 907628 HAS SOUS 422219 HAS SOUPS 422219 WITH SCORE 423126.628
AT ITER 7212 NEW BEST:: SOT 1696962 SOS 907244 HAS SOPS 907244 HAS SOUS 421835 HAS SOUPS 421835 WITH SCORE 422742.244
AT ITER 7227 NEW BEST:: SOT 1696760 SOS 907042 HAS SOPS 907042 HAS SOUS 421564 HAS SOUPS 421564 WITH SCORE 422471.042
AT ITER 7251 NEW BEST:: SOT 1696760 SOS 907042 HAS SOPS 907042 HAS SOUS 421453 HAS SOUPS 421453 WITH SCORE 422360.042
AT ITER 7261 NEW BEST:: SOT 1696760 SOS 906733 HAS SOPS 906733 HAS SOUS 421309 HAS SOUPS 421309 WITH SCORE 422215.733
AT ITER 7271 NEW BEST:: SOT 1696754 SOS 906727 HAS SOPS 906727 HAS SOUS 421303 HAS SOUPS 421303 WITH SCORE 422209.727
AT ITER 7272 NEW BEST:: SOT 1696665 SOS 906638 HAS SOPS 906638 HAS SOUS 421214 HAS SOUPS 421214 WITH SCORE 422120.638
AT ITER 7281 NEW BEST:: SOT 1696578 SOS 906551 HAS SOPS 906551 HAS SOUS 420782 HAS SOUPS 420782 WITH SCORE 421688.551
AT ITER 7290 NEW BEST:: SOT 1696536 SOS 906509 HAS SOPS 906509 HAS SOUS 420740 HAS SOUPS 420740 WITH SCORE 421646.509
AT ITER 7296 NEW BEST:: SOT 1696250 SOS 906162 HAS SOPS 906162 HAS SOUS 420536 HAS SOUPS 420536 WITH SCORE 421442.162
AT ITER 7307 NEW BEST:: SOT 1696081 SOS 906002 HAS SOPS 906002 HAS SOUS 420277 HAS SOUPS 420277 WITH SCORE 421183.002
AT ITER 7352 NEW BEST:: SOT 1695766 SOS 905687 HAS SOPS 905687 HAS SOUS 419962 HAS SOUPS 419962 WITH SCORE 420867.687
AT ITER 7354 NEW BEST:: SOT 1695435 SOS 904694 HAS SOPS 904694 HAS SOUS 418969 HAS SOUPS 418969 WITH SCORE 419873.694
AT ITER 7361 NEW BEST:: SOT 1695435 SOS 902734 HAS SOPS 902734 HAS SOUS 418969 HAS SOUPS 418969 WITH SCORE 419871.734
AT ITER 7363 NEW BEST:: SOT 1695349 SOS 902648 HAS SOPS 902648 HAS SOUS 418883 HAS SOUPS 418883 WITH SCORE 419785.648
AT ITER 7372 NEW BEST:: SOT 1695221 SOS 902520 HAS SOPS 902520 HAS SOUS 418627 HAS SOUPS 418627 WITH SCORE 419529.52
AT ITER 7383 NEW BEST:: SOT 1695276 SOS 902513 HAS SOPS 902513 HAS SOUS 418620 HAS SOUPS 418620 WITH SCORE 419522.513
AT ITER 7390 NEW BEST:: SOT 1695317 SOS 902446 HAS SOPS 902446 HAS SOUS 418486 HAS SOUPS 418486 WITH SCORE 419388.446
AT ITER 7423 NEW BEST:: SOT 1695281 SOS 902066 HAS SOPS 902066 HAS SOUS 418236 HAS SOUPS 418236 WITH SCORE 419138.066
AT ITER 7424 NEW BEST:: SOT 1695243 SOS 902028 HAS SOPS 902028 HAS SOUS 418210 HAS SOUPS 418210 WITH SCORE 419112.028
AT ITER 7431 NEW BEST:: SOT 1695243 SOS 901376 HAS SOPS 901376 HAS SOUS 417861 HAS SOUPS 417861 WITH SCORE 418762.376
AT ITER 7457 NEW BEST:: SOT 1695085 SOS 902343 HAS SOPS 902343 HAS SOUS 417729 HAS SOUPS 417729 WITH SCORE 418631.343
AT ITER 7461 NEW BEST:: SOT 1694827 SOS 902004 HAS SOPS 902004 HAS SOUS 417393 HAS SOUPS 417393 WITH SCORE 418295.004
AT ITER 7467 NEW BEST:: SOT 1694764 SOS 901878 HAS SOPS 901878 HAS SOUS 417267 HAS SOUPS 417267 WITH SCORE 418168.878
AT ITER 7471 NEW BEST:: SOT 1694764 SOS 901878 HAS SOPS 901878 HAS SOUS 417242 HAS SOUPS 417242 WITH SCORE 418143.878
AT ITER 7476 NEW BEST:: SOT 1694568 SOS 901682 HAS SOPS 901682 HAS SOUS 416951 HAS SOUPS 416951 WITH SCORE 417852.682
AT ITER 7478 NEW BEST:: SOT 1694578 SOS 901692 HAS SOPS 901692 HAS SOUS 416894 HAS SOUPS 416894 WITH SCORE 417795.692
AT ITER 7485 NEW BEST:: SOT 1694576 SOS 901690 HAS SOPS 901690 HAS SOUS 416892 HAS SOUPS 416892 WITH SCORE 417793.69
AT ITER 7506 NEW BEST:: SOT 1693656 SOS 900624 HAS SOPS 900624 HAS SOUS 415756 HAS SOUPS 415756 WITH SCORE 416656.624
AT ITER 7509 NEW BEST:: SOT 1693640 SOS 900584 HAS SOPS 900584 HAS SOUS 415724 HAS SOUPS 415724 WITH SCORE 416624.584
AT ITER 7522 NEW BEST:: SOT 1693454 SOS 899964 HAS SOPS 899964 HAS SOUS 415724 HAS SOUPS 415724 WITH SCORE 416623.964
AT ITER 7533 NEW BEST:: SOT 1693495 SOS 899915 HAS SOPS 899915 HAS SOUS 415716 HAS SOUPS 415716 WITH SCORE 416615.915
AT ITER 7545 NEW BEST:: SOT 1693495 SOS 899921 HAS SOPS 899921 HAS SOUS 415710 HAS SOUPS 415710 WITH SCORE 416609.921
AT ITER 7546 NEW BEST:: SOT 1692546 SOS 901136 HAS SOPS 901136 HAS SOUS 414550 HAS SOUPS 414550 WITH SCORE 415451.136
AT ITER 7552 NEW BEST:: SOT 1692546 SOS 901140 HAS SOPS 901140 HAS SOUS 414546 HAS SOUPS 414546 WITH SCORE 415447.14
AT ITER 7568 NEW BEST:: SOT 1692544 SOS 900425 HAS SOPS 900425 HAS SOUS 413808 HAS SOUPS 413808 WITH SCORE 414708.425
AT ITER 7585 NEW BEST:: SOT 1692473 SOS 900354 HAS SOPS 900354 HAS SOUS 413655 HAS SOUPS 413655 WITH SCORE 414555.354
AT ITER 7599 NEW BEST:: SOT 1691963 SOS 899844 HAS SOPS 899844 HAS SOUS 413400 HAS SOUPS 413400 WITH SCORE 414299.844
AT ITER 7617 NEW BEST:: SOT 1691968 SOS 899847 HAS SOPS 899847 HAS SOUS 413159 HAS SOUPS 413159 WITH SCORE 414058.847
AT ITER 7654 NEW BEST:: SOT 1691994 SOS 899717 HAS SOPS 899717 HAS SOUS 413141 HAS SOUPS 413141 WITH SCORE 414040.717
AT ITER 7670 NEW BEST:: SOT 1691970 SOS 899693 HAS SOPS 899693 HAS SOUS 413121 HAS SOUPS 413121 WITH SCORE 414020.693
AT ITER 7694 NEW BEST:: SOT 1691970 SOS 897875 HAS SOPS 897875 HAS SOUS 412599 HAS SOUPS 412599 WITH SCORE 413496.875
AT ITER 7695 NEW BEST:: SOT 1691970 SOS 897870 HAS SOPS 897870 HAS SOUS 412594 HAS SOUPS 412594 WITH SCORE 413491.87
AT ITER 7703 NEW BEST:: SOT 1691699 SOS 897688 HAS SOPS 897688 HAS SOUS 412284 HAS SOUPS 412284 WITH SCORE 413181.688
AT ITER 7711 NEW BEST:: SOT 1691815 SOS 897666 HAS SOPS 897666 HAS SOUS 412256 HAS SOUPS 412256 WITH SCORE 413153.666
AT ITER 7746 NEW BEST:: SOT 1691814 SOS 897665 HAS SOPS 897665 HAS SOUS 412254 HAS SOUPS 412254 WITH SCORE 413151.665
AT ITER 7784 NEW BEST:: SOT 1691521 SOS 896714 HAS SOPS 896714 HAS SOUS 411303 HAS SOUPS 411303 WITH SCORE 412199.714
AT ITER 7796 NEW BEST:: SOT 1691205 SOS 891910 HAS SOPS 891910 HAS SOUS 410710 HAS SOUPS 410710 WITH SCORE 411601.91
AT ITER 7806 NEW BEST:: SOT 1691089 SOS 891524 HAS SOPS 891524 HAS SOUS 410208 HAS SOUPS 410208 WITH SCORE 411099.524
AT ITER 7811 NEW BEST:: SOT 1690916 SOS 891195 HAS SOPS 891195 HAS SOUS 409919 HAS SOUPS 409919 WITH SCORE 410810.195
AT ITER 7816 NEW BEST:: SOT 1690678 SOS 890957 HAS SOPS 890957 HAS SOUS 409681 HAS SOUPS 409681 WITH SCORE 410571.957
AT ITER 7852 NEW BEST:: SOT 1690508 SOS 890872 HAS SOPS 890872 HAS SOUS 409584 HAS SOUPS 409584 WITH SCORE 410474.872
AT ITER 7853 NEW BEST:: SOT 1690242 SOS 890234 HAS SOPS 890234 HAS SOUS 409217 HAS SOUPS 409217 WITH SCORE 410107.234
AT ITER 7882 NEW BEST:: SOT 1690235 SOS 890227 HAS SOPS 890227 HAS SOUS 409203 HAS SOUPS 409203 WITH SCORE 410093.227
AT ITER 7884 NEW BEST:: SOT 1690133 SOS 890125 HAS SOPS 890125 HAS SOUS 409086 HAS SOUPS 409086 WITH SCORE 409976.125
AT ITER 7924 NEW BEST:: SOT 1690160 SOS 889891 HAS SOPS 889891 HAS SOUS 408996 HAS SOUPS 408996 WITH SCORE 409885.891
AT ITER 7949 NEW BEST:: SOT 1690160 SOS 889891 HAS SOPS 889891 HAS SOUS 408995 HAS SOUPS 408995 WITH SCORE 409884.891
AT ITER 7952 NEW BEST:: SOT 1690111 SOS 889842 HAS SOPS 889842 HAS SOUS 408868 HAS SOUPS 408868 WITH SCORE 409757.842
AT ITER 7962 NEW BEST:: SOT 1690099 SOS 889824 HAS SOPS 889824 HAS SOUS 408850 HAS SOUPS 408850 WITH SCORE 409739.824
AT ITER 7968 NEW BEST:: SOT 1690086 SOS 889811 HAS SOPS 889811 HAS SOUS 408837 HAS SOUPS 408837 WITH SCORE 409726.811
AT ITER 7976 NEW BEST:: SOT 1690086 SOS 889829 HAS SOPS 889829 HAS SOUS 408819 HAS SOUPS 408819 WITH SCORE 409708.829
AT ITER 7995 NEW BEST:: SOT 1689802 SOS 889610 HAS SOPS 889610 HAS SOUS 408600 HAS SOUPS 408600 WITH SCORE 409489.61
AT ITER 8007 NEW BEST:: SOT 1689528 SOS 889305 HAS SOPS 889305 HAS SOUS 408211 HAS SOUPS 408211 WITH SCORE 409100.305
AT ITER 8034 NEW BEST:: SOT 1689403 SOS 889169 HAS SOPS 889169 HAS SOUS 408075 HAS SOUPS 408075 WITH SCORE 408964.169
AT ITER 8082 NEW BEST:: SOT 1689251 SOS 888929 HAS SOPS 888929 HAS SOUS 407835 HAS SOUPS 407835 WITH SCORE 408723.929
AT ITER 8091 NEW BEST:: SOT 1689244 SOS 888638 HAS SOPS 888638 HAS SOUS 407720 HAS SOUPS 407720 WITH SCORE 408608.638
AT ITER 8098 NEW BEST:: SOT 1689257 SOS 888637 HAS SOPS 888637 HAS SOUS 407719 HAS SOUPS 407719 WITH SCORE 408607.637
AT ITER 8129 NEW BEST:: SOT 1689251 SOS 888569 HAS SOPS 888569 HAS SOUS 407651 HAS SOUPS 407651 WITH SCORE 408539.569
AT ITER 8132 NEW BEST:: SOT 1689055 SOS 888373 HAS SOPS 888373 HAS SOUS 407438 HAS SOUPS 407438 WITH SCORE 408326.373
AT ITER 8134 NEW BEST:: SOT 1688893 SOS 888373 HAS SOPS 888373 HAS SOUS 407276 HAS SOUPS 407276 WITH SCORE 408164.373
AT ITER 8136 NEW BEST:: SOT 1688573 SOS 887732 HAS SOPS 887732 HAS SOUS 407087 HAS SOUPS 407087 WITH SCORE 407974.732
AT ITER 8143 NEW BEST:: SOT 1688541 SOS 887668 HAS SOPS 887668 HAS SOUS 407023 HAS SOUPS 407023 WITH SCORE 407910.668
AT ITER 8159 NEW BEST:: SOT 1688523 SOS 887650 HAS SOPS 887650 HAS SOUS 407005 HAS SOUPS 407005 WITH SCORE 407892.65
AT ITER 8175 NEW BEST:: SOT 1688520 SOS 887619 HAS SOPS 887619 HAS SOUS 406974 HAS SOUPS 406974 WITH SCORE 407861.619
AT ITER 8205 NEW BEST:: SOT 1688167 SOS 887219 HAS SOPS 887219 HAS SOUS 406735 HAS SOUPS 406735 WITH SCORE 407622.219
AT ITER 8206 NEW BEST:: SOT 1688156 SOS 887197 HAS SOPS 887197 HAS SOUS 406713 HAS SOUPS 406713 WITH SCORE 407600.197
AT ITER 8212 NEW BEST:: SOT 1688218 SOS 887150 HAS SOPS 887150 HAS SOUS 406666 HAS SOUPS 406666 WITH SCORE 407553.15
AT ITER 8234 NEW BEST:: SOT 1688009 SOS 886862 HAS SOPS 886862 HAS SOUS 406455 HAS SOUPS 406455 WITH SCORE 407341.862
AT ITER 8242 NEW BEST:: SOT 1687996 SOS 886832 HAS SOPS 886832 HAS SOUS 406425 HAS SOUPS 406425 WITH SCORE 407311.832
AT ITER 8261 NEW BEST:: SOT 1687449 SOS 892113 HAS SOPS 892113 HAS SOUS 405999 HAS SOUPS 405999 WITH SCORE 406891.113
AT ITER 8285 NEW BEST:: SOT 1687438 SOS 892102 HAS SOPS 892102 HAS SOUS 405988 HAS SOUPS 405988 WITH SCORE 406880.102
AT ITER 8293 NEW BEST:: SOT 1687354 SOS 892067 HAS SOPS 892067 HAS SOUS 405947 HAS SOUPS 405947 WITH SCORE 406839.067
AT ITER 8316 NEW BEST:: SOT 1687354 SOS 891891 HAS SOPS 891891 HAS SOUS 405662 HAS SOUPS 405662 WITH SCORE 406553.891
AT ITER 8331 NEW BEST:: SOT 1687161 SOS 891396 HAS SOPS 891396 HAS SOUS 405460 HAS SOUPS 405460 WITH SCORE 406351.396
AT ITER 8347 NEW BEST:: SOT 1687094 SOS 891329 HAS SOPS 891329 HAS SOUS 405373 HAS SOUPS 405373 WITH SCORE 406264.329
AT ITER 8356 NEW BEST:: SOT 1686921 SOS 891156 HAS SOPS 891156 HAS SOUS 405200 HAS SOUPS 405200 WITH SCORE 406091.156
AT ITER 8358 NEW BEST:: SOT 1686878 SOS 891113 HAS SOPS 891113 HAS SOUS 405157 HAS SOUPS 405157 WITH SCORE 406048.113
AT ITER 8374 NEW BEST:: SOT 1686842 SOS 891005 HAS SOPS 891005 HAS SOUS 405085 HAS SOUPS 405085 WITH SCORE 405976.005
AT ITER 8376 NEW BEST:: SOT 1686810 SOS 890973 HAS SOPS 890973 HAS SOUS 405085 HAS SOUPS 405085 WITH SCORE 405975.973
AT ITER 8382 NEW BEST:: SOT 1686753 SOS 890713 HAS SOPS 890713 HAS SOUS 405028 HAS SOUPS 405028 WITH SCORE 405918.713
AT ITER 8387 NEW BEST:: SOT 1686752 SOS 890712 HAS SOPS 890712 HAS SOUS 405027 HAS SOUPS 405027 WITH SCORE 405917.712
AT ITER 8391 NEW BEST:: SOT 1686528 SOS 890096 HAS SOPS 890096 HAS SOUS 404722 HAS SOUPS 404722 WITH SCORE 405612.096
AT ITER 8396 NEW BEST:: SOT 1688006 SOS 889429 HAS SOPS 889429 HAS SOUS 404134 HAS SOUPS 404134 WITH SCORE 405023.429
AT ITER 8397 NEW BEST:: SOT 1688006 SOS 889172 HAS SOPS 889172 HAS SOUS 403877 HAS SOUPS 403877 WITH SCORE 404766.172
AT ITER 8454 NEW BEST:: SOT 1687993 SOS 888887 HAS SOPS 888887 HAS SOUS 403749 HAS SOUPS 403749 WITH SCORE 404637.887
AT ITER 8472 NEW BEST:: SOT 1687676 SOS 888570 HAS SOPS 888570 HAS SOUS 403115 HAS SOUPS 403115 WITH SCORE 404003.57
AT ITER 8482 NEW BEST:: SOT 1687749 SOS 888539 HAS SOPS 888539 HAS SOUS 403084 HAS SOUPS 403084 WITH SCORE 403972.539
AT ITER 8485 NEW BEST:: SOT 1687656 SOS 888446 HAS SOPS 888446 HAS SOUS 402920 HAS SOUPS 402920 WITH SCORE 403808.446
AT ITER 8503 NEW BEST:: SOT 1687656 SOS 888287 HAS SOPS 888287 HAS SOUS 402761 HAS SOUPS 402761 WITH SCORE 403649.287
AT ITER 8512 NEW BEST:: SOT 1687633 SOS 888073 HAS SOPS 888073 HAS SOUS 402635 HAS SOUPS 402635 WITH SCORE 403523.073
AT ITER 8535 NEW BEST:: SOT 1687543 SOS 887937 HAS SOPS 887937 HAS SOUS 402451 HAS SOUPS 402451 WITH SCORE 403338.937
AT ITER 8543 NEW BEST:: SOT 1687372 SOS 887625 HAS SOPS 887625 HAS SOUS 402278 HAS SOUPS 402278 WITH SCORE 403165.625
AT ITER 8545 NEW BEST:: SOT 1687372 SOS 887510 HAS SOPS 887510 HAS SOUS 402163 HAS SOUPS 402163 WITH SCORE 403050.51
AT ITER 8552 NEW BEST:: SOT 1687101 SOS 887759 HAS SOPS 887759 HAS SOUS 401957 HAS SOUPS 401957 WITH SCORE 402844.759
AT ITER 8580 NEW BEST:: SOT 1686993 SOS 887651 HAS SOPS 887651 HAS SOUS 401849 HAS SOUPS 401849 WITH SCORE 402736.651
AT ITER 8597 NEW BEST:: SOT 1685977 SOS 886139 HAS SOPS 886139 HAS SOUS 400876 HAS SOUPS 400876 WITH SCORE 401762.139
AT ITER 8618 NEW BEST:: SOT 1685977 SOS 886139 HAS SOPS 886139 HAS SOUS 400737 HAS SOUPS 400737 WITH SCORE 401623.139
AT ITER 8641 NEW BEST:: SOT 1685909 SOS 886071 HAS SOPS 886071 HAS SOUS 400604 HAS SOUPS 400604 WITH SCORE 401490.071
AT ITER 8644 NEW BEST:: SOT 1685907 SOS 886069 HAS SOPS 886069 HAS SOUS 400471 HAS SOUPS 400471 WITH SCORE 401357.069
AT ITER 8650 NEW BEST:: SOT 1685460 SOS 885448 HAS SOPS 885448 HAS SOUS 399745 HAS SOUPS 399745 WITH SCORE 400630.448
AT ITER 8657 NEW BEST:: SOT 1685330 SOS 885318 HAS SOPS 885318 HAS SOUS 399745 HAS SOUPS 399745 WITH SCORE 400630.318
AT ITER 8688 NEW BEST:: SOT 1685349 SOS 885236 HAS SOPS 885236 HAS SOUS 399663 HAS SOUPS 399663 WITH SCORE 400548.236
AT ITER 8693 NEW BEST:: SOT 1685161 SOS 885262 HAS SOPS 885262 HAS SOUS 399649 HAS SOUPS 399649 WITH SCORE 400534.262
AT ITER 8695 NEW BEST:: SOT 1685113 SOS 884742 HAS SOPS 884742 HAS SOUS 399412 HAS SOUPS 399412 WITH SCORE 400296.742
AT ITER 8701 NEW BEST:: SOT 1685038 SOS 884712 HAS SOPS 884712 HAS SOUS 399382 HAS SOUPS 399382 WITH SCORE 400266.712
AT ITER 8707 NEW BEST:: SOT 1684758 SOS 884198 HAS SOPS 884198 HAS SOUS 398868 HAS SOUPS 398868 WITH SCORE 399752.198
AT ITER 8729 NEW BEST:: SOT 1683863 SOS 883407 HAS SOPS 883407 HAS SOUS 398696 HAS SOUPS 398696 WITH SCORE 399579.407
AT ITER 8749 NEW BEST:: SOT 1683692 SOS 882981 HAS SOPS 882981 HAS SOUS 398270 HAS SOUPS 398270 WITH SCORE 399152.981
AT ITER 8750 NEW BEST:: SOT 1683728 SOS 882973 HAS SOPS 882973 HAS SOUS 398262 HAS SOUPS 398262 WITH SCORE 399144.973
AT ITER 8779 NEW BEST:: SOT 1683449 SOS 882694 HAS SOPS 882694 HAS SOUS 397846 HAS SOUPS 397846 WITH SCORE 398728.694
AT ITER 8802 NEW BEST:: SOT 1682991 SOS 879977 HAS SOPS 879977 HAS SOUS 397719 HAS SOUPS 397719 WITH SCORE 398598.977
AT ITER 8804 NEW BEST:: SOT 1682669 SOS 879277 HAS SOPS 879277 HAS SOUS 397174 HAS SOUPS 397174 WITH SCORE 398053.277
AT ITER 8813 NEW BEST:: SOT 1682167 SOS 878775 HAS SOPS 878775 HAS SOUS 396530 HAS SOUPS 396530 WITH SCORE 397408.775
AT ITER 8833 NEW BEST:: SOT 1681884 SOS 878434 HAS SOPS 878434 HAS SOUS 396308 HAS SOUPS 396308 WITH SCORE 397186.434
AT ITER 8839 NEW BEST:: SOT 1681751 SOS 878218 HAS SOPS 878218 HAS SOUS 396092 HAS SOUPS 396092 WITH SCORE 396970.218
AT ITER 8842 NEW BEST:: SOT 1681686 SOS 878219 HAS SOPS 878219 HAS SOUS 396009 HAS SOUPS 396009 WITH SCORE 396887.219
AT ITER 8850 NEW BEST:: SOT 1681598 SOS 878131 HAS SOPS 878131 HAS SOUS 395989 HAS SOUPS 395989 WITH SCORE 396867.131
AT ITER 8873 NEW BEST:: SOT 1681685 SOS 877707 HAS SOPS 877707 HAS SOUS 395616 HAS SOUPS 395616 WITH SCORE 396493.707
AT ITER 8874 NEW BEST:: SOT 1681685 SOS 877674 HAS SOPS 877674 HAS SOUS 395616 HAS SOUPS 395616 WITH SCORE 396493.674
AT ITER 8877 NEW BEST:: SOT 1681685 SOS 877671 HAS SOPS 877671 HAS SOUS 395616 HAS SOUPS 395616 WITH SCORE 396493.671
AT ITER 8900 NEW BEST:: SOT 1681529 SOS 877290 HAS SOPS 877290 HAS SOUS 395281 HAS SOUPS 395281 WITH SCORE 396158.29
AT ITER 8904 NEW BEST:: SOT 1681522 SOS 877283 HAS SOPS 877283 HAS SOUS 395274 HAS SOUPS 395274 WITH SCORE 396151.283
AT ITER 8908 NEW BEST:: SOT 1681502 SOS 877263 HAS SOPS 877263 HAS SOUS 395254 HAS SOUPS 395254 WITH SCORE 396131.263
AT ITER 8912 NEW BEST:: SOT 1681304 SOS 876885 HAS SOPS 876885 HAS SOUS 395039 HAS SOUPS 395039 WITH SCORE 395915.885
AT ITER 8919 NEW BEST:: SOT 1681185 SOS 876714 HAS SOPS 876714 HAS SOUS 394868 HAS SOUPS 394868 WITH SCORE 395744.714
AT ITER 8931 NEW BEST:: SOT 1680969 SOS 877695 HAS SOPS 877695 HAS SOUS 394711 HAS SOUPS 394711 WITH SCORE 395588.695
AT ITER 8961 NEW BEST:: SOT 1680848 SOS 877324 HAS SOPS 877324 HAS SOUS 394317 HAS SOUPS 394317 WITH SCORE 395194.324
AT ITER 9044 NEW BEST:: SOT 1680768 SOS 877193 HAS SOPS 877193 HAS SOUS 394135 HAS SOUPS 394135 WITH SCORE 395012.193
AT ITER 9066 NEW BEST:: SOT 1680739 SOS 877135 HAS SOPS 877135 HAS SOUS 394077 HAS SOUPS 394077 WITH SCORE 394954.135
AT ITER 9082 NEW BEST:: SOT 1680607 SOS 876871 HAS SOPS 876871 HAS SOUS 393813 HAS SOUPS 393813 WITH SCORE 394689.871
AT ITER 9085 NEW BEST:: SOT 1680598 SOS 876667 HAS SOPS 876667 HAS SOUS 393726 HAS SOUPS 393726 WITH SCORE 394602.667
AT ITER 9098 NEW BEST:: SOT 1680570 SOS 876639 HAS SOPS 876639 HAS SOUS 393642 HAS SOUPS 393642 WITH SCORE 394518.639
AT ITER 9120 NEW BEST:: SOT 1680614 SOS 876583 HAS SOPS 876583 HAS SOUS 393585 HAS SOUPS 393585 WITH SCORE 394461.583
AT ITER 9152 NEW BEST:: SOT 1680451 SOS 876354 HAS SOPS 876354 HAS SOUS 393422 HAS SOUPS 393422 WITH SCORE 394298.354
AT ITER 9162 NEW BEST:: SOT 1680440 SOS 876343 HAS SOPS 876343 HAS SOUS 393411 HAS SOUPS 393411 WITH SCORE 394287.343
AT ITER 9175 NEW BEST:: SOT 1680436 SOS 876213 HAS SOPS 876213 HAS SOUS 393340 HAS SOUPS 393340 WITH SCORE 394216.213
AT ITER 9190 NEW BEST:: SOT 1680290 SOS 875898 HAS SOPS 875898 HAS SOUS 393091 HAS SOUPS 393091 WITH SCORE 393966.898
AT ITER 9193 NEW BEST:: SOT 1680121 SOS 875634 HAS SOPS 875634 HAS SOUS 392843 HAS SOUPS 392843 WITH SCORE 393718.634
AT ITER 9197 NEW BEST:: SOT 1680059 SOS 875572 HAS SOPS 875572 HAS SOUS 392781 HAS SOUPS 392781 WITH SCORE 393656.572
AT ITER 9211 NEW BEST:: SOT 1679990 SOS 875503 HAS SOPS 875503 HAS SOUS 392650 HAS SOUPS 392650 WITH SCORE 393525.503
AT ITER 9221 NEW BEST:: SOT 1679855 SOS 875567 HAS SOPS 875567 HAS SOUS 392580 HAS SOUPS 392580 WITH SCORE 393455.567
AT ITER 9223 NEW BEST:: SOT 1679855 SOS 875559 HAS SOPS 875559 HAS SOUS 392564 HAS SOUPS 392564 WITH SCORE 393439.559
AT ITER 9227 NEW BEST:: SOT 1679902 SOS 875606 HAS SOPS 875606 HAS SOUS 392433 HAS SOUPS 392433 WITH SCORE 393308.606
AT ITER 9229 NEW BEST:: SOT 1679799 SOS 874404 HAS SOPS 874404 HAS SOUS 392092 HAS SOUPS 392092 WITH SCORE 392966.404
AT ITER 9237 NEW BEST:: SOT 1679415 SOS 874367 HAS SOPS 874367 HAS SOUS 391639 HAS SOUPS 391639 WITH SCORE 392513.367
AT ITER 9253 NEW BEST:: SOT 1679409 SOS 874190 HAS SOPS 874190 HAS SOUS 391627 HAS SOUPS 391627 WITH SCORE 392501.19
AT ITER 9274 NEW BEST:: SOT 1679409 SOS 873947 HAS SOPS 873947 HAS SOUS 391384 HAS SOUPS 391384 WITH SCORE 392257.947
AT ITER 9276 NEW BEST:: SOT 1679150 SOS 873242 HAS SOPS 873242 HAS SOUS 391172 HAS SOUPS 391172 WITH SCORE 392045.242
AT ITER 9277 NEW BEST:: SOT 1679104 SOS 873193 HAS SOPS 873193 HAS SOUS 391077 HAS SOUPS 391077 WITH SCORE 391950.193
AT ITER 9280 NEW BEST:: SOT 1679040 SOS 871871 HAS SOPS 871871 HAS SOUS 390722 HAS SOUPS 390722 WITH SCORE 391593.871
AT ITER 9295 NEW BEST:: SOT 1678504 SOS 871058 HAS SOPS 871058 HAS SOUS 389909 HAS SOUPS 389909 WITH SCORE 390780.058
AT ITER 9303 NEW BEST:: SOT 1678458 SOS 870964 HAS SOPS 870964 HAS SOUS 389817 HAS SOUPS 389817 WITH SCORE 390687.964
AT ITER 9317 NEW BEST:: SOT 1678452 SOS 870946 HAS SOPS 870946 HAS SOUS 389805 HAS SOUPS 389805 WITH SCORE 390675.946
AT ITER 9327 NEW BEST:: SOT 1678145 SOS 870450 HAS SOPS 870450 HAS SOUS 389299 HAS SOUPS 389299 WITH SCORE 390169.45
AT ITER 9329 NEW BEST:: SOT 1678145 SOS 870267 HAS SOPS 870267 HAS SOUS 389299 HAS SOUPS 389299 WITH SCORE 390169.267
AT ITER 9332 NEW BEST:: SOT 1678225 SOS 870056 HAS SOPS 870056 HAS SOUS 389088 HAS SOUPS 389088 WITH SCORE 389958.056
AT ITER 9337 NEW BEST:: SOT 1678109 SOS 869846 HAS SOPS 869846 HAS SOUS 388878 HAS SOUPS 388878 WITH SCORE 389747.846
AT ITER 9344 NEW BEST:: SOT 1678057 SOS 869794 HAS SOPS 869794 HAS SOUS 388800 HAS SOUPS 388800 WITH SCORE 389669.794
AT ITER 9373 NEW BEST:: SOT 1678040 SOS 869760 HAS SOPS 869760 HAS SOUS 388766 HAS SOUPS 388766 WITH SCORE 389635.76
AT ITER 9415 NEW BEST:: SOT 1678097 SOS 869659 HAS SOPS 869659 HAS SOUS 388657 HAS SOUPS 388657 WITH SCORE 389526.659
AT ITER 9446 NEW BEST:: SOT 1678122 SOS 869639 HAS SOPS 869639 HAS SOUS 388550 HAS SOUPS 388550 WITH SCORE 389419.639
AT ITER 9464 NEW BEST:: SOT 1678064 SOS 869427 HAS SOPS 869427 HAS SOUS 388338 HAS SOUPS 388338 WITH SCORE 389207.427
AT ITER 9490 NEW BEST:: SOT 1678171 SOS 869099 HAS SOPS 869099 HAS SOUS 388007 HAS SOUPS 388007 WITH SCORE 388876.099
AT ITER 9506 NEW BEST:: SOT 1678068 SOS 868996 HAS SOPS 868996 HAS SOUS 387904 HAS SOUPS 387904 WITH SCORE 388772.996
AT ITER 9511 NEW BEST:: SOT 1678068 SOS 868868 HAS SOPS 868868 HAS SOUS 387888 HAS SOUPS 387888 WITH SCORE 388756.868
AT ITER 9522 NEW BEST:: SOT 1678129 SOS 868634 HAS SOPS 868634 HAS SOUS 387831 HAS SOUPS 387831 WITH SCORE 388699.634
AT ITER 9531 NEW BEST:: SOT 1677929 SOS 868434 HAS SOPS 868434 HAS SOUS 387631 HAS SOUPS 387631 WITH SCORE 388499.434
AT ITER 9566 NEW BEST:: SOT 1677901 SOS 868337 HAS SOPS 868337 HAS SOUS 387534 HAS SOUPS 387534 WITH SCORE 388402.337
AT ITER 9577 NEW BEST:: SOT 1677609 SOS 870311 HAS SOPS 870311 HAS SOUS 387353 HAS SOUPS 387353 WITH SCORE 388223.311
AT ITER 9589 NEW BEST:: SOT 1677609 SOS 870295 HAS SOPS 870295 HAS SOUS 387351 HAS SOUPS 387351 WITH SCORE 388221.295
AT ITER 9595 NEW BEST:: SOT 1677526 SOS 870212 HAS SOPS 870212 HAS SOUS 387268 HAS SOUPS 387268 WITH SCORE 388138.212
AT ITER 9643 NEW BEST:: SOT 1677399 SOS 869958 HAS SOPS 869958 HAS SOUS 387116 HAS SOUPS 387116 WITH SCORE 387985.958
AT ITER 9662 NEW BEST:: SOT 1677497 SOS 870067 HAS SOPS 870067 HAS SOUS 387060 HAS SOUPS 387060 WITH SCORE 387930.067
AT ITER 9678 NEW BEST:: SOT 1677264 SOS 869834 HAS SOPS 869834 HAS SOUS 386932 HAS SOUPS 386932 WITH SCORE 387801.834
AT ITER 9685 NEW BEST:: SOT 1677152 SOS 869351 HAS SOPS 869351 HAS SOUS 386893 HAS SOUPS 386893 WITH SCORE 387762.351
AT ITER 9686 NEW BEST:: SOT 1676222 SOS 868421 HAS SOPS 868421 HAS SOUS 385963 HAS SOUPS 385963 WITH SCORE 386831.421
AT ITER 9694 NEW BEST:: SOT 1676145 SOS 868344 HAS SOPS 868344 HAS SOUS 385886 HAS SOUPS 385886 WITH SCORE 386754.344
AT ITER 9700 NEW BEST:: SOT 1676286 SOS 867993 HAS SOPS 867993 HAS SOUS 385863 HAS SOUPS 385863 WITH SCORE 386730.993
AT ITER 9701 NEW BEST:: SOT 1676285 SOS 868090 HAS SOPS 868090 HAS SOUS 385763 HAS SOUPS 385763 WITH SCORE 386631.09
AT ITER 9706 NEW BEST:: SOT 1676227 SOS 867974 HAS SOPS 867974 HAS SOUS 385705 HAS SOUPS 385705 WITH SCORE 386572.974
AT ITER 9720 NEW BEST:: SOT 1676133 SOS 867833 HAS SOPS 867833 HAS SOUS 385564 HAS SOUPS 385564 WITH SCORE 386431.833
AT ITER 9721 NEW BEST:: SOT 1676133 SOS 867413 HAS SOPS 867413 HAS SOUS 385564 HAS SOUPS 385564 WITH SCORE 386431.413
AT ITER 9736 NEW BEST:: SOT 1676132 SOS 867373 HAS SOPS 867373 HAS SOUS 385559 HAS SOUPS 385559 WITH SCORE 386426.373
AT ITER 9840 NEW BEST:: SOT 1676128 SOS 867324 HAS SOPS 867324 HAS SOUS 385510 HAS SOUPS 385510 WITH SCORE 386377.324
AT ITER 9855 NEW BEST:: SOT 1676113 SOS 867294 HAS SOPS 867294 HAS SOUS 385480 HAS SOUPS 385480 WITH SCORE 386347.294
AT ITER 9868 NEW BEST:: SOT 1676124 SOS 867291 HAS SOPS 867291 HAS SOUS 385474 HAS SOUPS 385474 WITH SCORE 386341.291
AT ITER 9890 NEW BEST:: SOT 1676074 SOS 867241 HAS SOPS 867241 HAS SOUS 385424 HAS SOUPS 385424 WITH SCORE 386291.241
AT ITER 9897 NEW BEST:: SOT 1676044 SOS 867114 HAS SOPS 867114 HAS SOUS 385297 HAS SOUPS 385297 WITH SCORE 386164.114
AT ITER 9898 NEW BEST:: SOT 1676045 SOS 867115 HAS SOPS 867115 HAS SOUS 385226 HAS SOUPS 385226 WITH SCORE 386093.115
AT ITER 9913 NEW BEST:: SOT 1675922 SOS 866900 HAS SOPS 866900 HAS SOUS 385072 HAS SOUPS 385072 WITH SCORE 385938.9
AT ITER 9923 NEW BEST:: SOT 1675107 SOS 865533 HAS SOPS 865533 HAS SOUS 384181 HAS SOUPS 384181 WITH SCORE 385046.533
AT ITER 9929 NEW BEST:: SOT 1674778 SOS 863968 HAS SOPS 863968 HAS SOUS 383767 HAS SOUPS 383767 WITH SCORE 384630.968
AT ITER 9931 NEW BEST:: SOT 1674824 SOS 864132 HAS SOPS 864132 HAS SOUS 383706 HAS SOUPS 383706 WITH SCORE 384570.132
AT ITER 9936 NEW BEST:: SOT 1674707 SOS 864000 HAS SOPS 864000 HAS SOUS 383574 HAS SOUPS 383574 WITH SCORE 384438.0
AT ITER 9945 NEW BEST:: SOT 1674561 SOS 861512 HAS SOPS 861512 HAS SOUS 383438 HAS SOUPS 383438 WITH SCORE 384299.512
AT ITER 9955 NEW BEST:: SOT 1674387 SOS 860468 HAS SOPS 860468 HAS SOUS 382916 HAS SOUPS 382916 WITH SCORE 383776.468
AT ITER 9962 NEW BEST:: SOT 1673970 SOS 860217 HAS SOPS 860217 HAS SOUS 382665 HAS SOUPS 382665 WITH SCORE 383525.217
AT ITER 9998 NEW BEST:: SOT 1673524 SOS 859902 HAS SOPS 859902 HAS SOUS 382350 HAS SOUPS 382350 WITH SCORE 383209.902

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-07a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-07a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508100105"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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