About the Execution of smart for FlexibleBarrier-PT-12b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.250 | 3600000.00 | 3599979.00 | 50.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.r078-smll-158922972500332.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 FlexibleBarrier-PT-12b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500332
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 3.7K Apr 4 18:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 18:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 4 07:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 4 07:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 3 21:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 3 21:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 3 13:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 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 536K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-12b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589420543102
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 12b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 1988 places, 2289 transitions, 5727 arcs.
AT ITER 0 NEW BEST:: SOT 2943990 SOS 1517988 HAS SOPS 1517988 HAS SOUS 1099831 HAS SOUPS 1099831 WITH SCORE 1101348.988
AT ITER 1 NEW BEST:: SOT 2944237 SOS 1516646 HAS SOPS 1516646 HAS SOUS 1099782 HAS SOUPS 1099782 WITH SCORE 1101298.646
AT ITER 2 NEW BEST:: SOT 2944237 SOS 1516578 HAS SOPS 1516578 HAS SOUS 1099714 HAS SOUPS 1099714 WITH SCORE 1101230.578
AT ITER 8 NEW BEST:: SOT 2943566 SOS 1516021 HAS SOPS 1516021 HAS SOUS 1099143 HAS SOUPS 1099143 WITH SCORE 1100659.021
AT ITER 10 NEW BEST:: SOT 2943049 SOS 1515796 HAS SOPS 1515796 HAS SOUS 1098903 HAS SOUPS 1098903 WITH SCORE 1100418.796
AT ITER 16 NEW BEST:: SOT 2942435 SOS 1514713 HAS SOPS 1514713 HAS SOUS 1097820 HAS SOUPS 1097820 WITH SCORE 1099334.713
AT ITER 19 NEW BEST:: SOT 2941879 SOS 1513045 HAS SOPS 1513045 HAS SOUS 1096152 HAS SOUPS 1096152 WITH SCORE 1097665.045
AT ITER 21 NEW BEST:: SOT 2941879 SOS 1512454 HAS SOPS 1512454 HAS SOUS 1096152 HAS SOUPS 1096152 WITH SCORE 1097664.454
AT ITER 28 NEW BEST:: SOT 2941879 SOS 1512102 HAS SOPS 1512102 HAS SOUS 1096152 HAS SOUPS 1096152 WITH SCORE 1097664.102
AT ITER 30 NEW BEST:: SOT 2941704 SOS 1511577 HAS SOPS 1511577 HAS SOUS 1095977 HAS SOUPS 1095977 WITH SCORE 1097488.577
AT ITER 33 NEW BEST:: SOT 2941668 SOS 1511505 HAS SOPS 1511505 HAS SOUS 1095941 HAS SOUPS 1095941 WITH SCORE 1097452.505
AT ITER 35 NEW BEST:: SOT 2940756 SOS 1509656 HAS SOPS 1509656 HAS SOUS 1094573 HAS SOUPS 1094573 WITH SCORE 1096082.656
AT ITER 36 NEW BEST:: SOT 2940348 SOS 1509656 HAS SOPS 1509656 HAS SOUS 1094572 HAS SOUPS 1094572 WITH SCORE 1096081.656
AT ITER 37 NEW BEST:: SOT 2939883 SOS 1509465 HAS SOPS 1509465 HAS SOUS 1094266 HAS SOUPS 1094266 WITH SCORE 1095775.465
AT ITER 39 NEW BEST:: SOT 2939783 SOS 1509365 HAS SOPS 1509365 HAS SOUS 1094166 HAS SOUPS 1094166 WITH SCORE 1095675.365
AT ITER 41 NEW BEST:: SOT 2939519 SOS 1508837 HAS SOPS 1508837 HAS SOUS 1093901 HAS SOUPS 1093901 WITH SCORE 1095409.837
AT ITER 44 NEW BEST:: SOT 2939111 SOS 1508021 HAS SOPS 1508021 HAS SOUS 1093746 HAS SOUPS 1093746 WITH SCORE 1095254.021
AT ITER 48 NEW BEST:: SOT 2938664 SOS 1505601 HAS SOPS 1505601 HAS SOUS 1093090 HAS SOUPS 1093090 WITH SCORE 1094595.601
AT ITER 50 NEW BEST:: SOT 2938543 SOS 1505480 HAS SOPS 1505480 HAS SOUS 1092848 HAS SOUPS 1092848 WITH SCORE 1094353.48
AT ITER 52 NEW BEST:: SOT 2938379 SOS 1505511 HAS SOPS 1505511 HAS SOUS 1092818 HAS SOUPS 1092818 WITH SCORE 1094323.511
AT ITER 57 NEW BEST:: SOT 2938379 SOS 1505511 HAS SOPS 1505511 HAS SOUS 1092799 HAS SOUPS 1092799 WITH SCORE 1094304.511
AT ITER 64 NEW BEST:: SOT 2938379 SOS 1505332 HAS SOPS 1505332 HAS SOUS 1092799 HAS SOUPS 1092799 WITH SCORE 1094304.332
AT ITER 69 NEW BEST:: SOT 2938106 SOS 1505171 HAS SOPS 1505171 HAS SOUS 1092629 HAS SOUPS 1092629 WITH SCORE 1094134.171
AT ITER 70 NEW BEST:: SOT 2937934 SOS 1504827 HAS SOPS 1504827 HAS SOUS 1092508 HAS SOUPS 1092508 WITH SCORE 1094012.827
AT ITER 71 NEW BEST:: SOT 2937934 SOS 1504741 HAS SOPS 1504741 HAS SOUS 1092508 HAS SOUPS 1092508 WITH SCORE 1094012.741
AT ITER 82 NEW BEST:: SOT 2937819 SOS 1504626 HAS SOPS 1504626 HAS SOUS 1092392 HAS SOUPS 1092392 WITH SCORE 1093896.626
AT ITER 84 NEW BEST:: SOT 2937819 SOS 1504626 HAS SOPS 1504626 HAS SOUS 1092391 HAS SOUPS 1092391 WITH SCORE 1093895.626
AT ITER 87 NEW BEST:: SOT 2937315 SOS 1504399 HAS SOPS 1504399 HAS SOUS 1091886 HAS SOUPS 1091886 WITH SCORE 1093390.399
AT ITER 89 NEW BEST:: SOT 2937087 SOS 1503487 HAS SOPS 1503487 HAS SOUS 1091613 HAS SOUPS 1091613 WITH SCORE 1093116.487
AT ITER 90 NEW BEST:: SOT 2936870 SOS 1503053 HAS SOPS 1503053 HAS SOUS 1091179 HAS SOUPS 1091179 WITH SCORE 1092682.053
AT ITER 101 NEW BEST:: SOT 2936870 SOS 1503053 HAS SOPS 1503053 HAS SOUS 1091178 HAS SOUPS 1091178 WITH SCORE 1092681.053
AT ITER 102 NEW BEST:: SOT 2936870 SOS 1502543 HAS SOPS 1502543 HAS SOUS 1091178 HAS SOUPS 1091178 WITH SCORE 1092680.543
AT ITER 107 NEW BEST:: SOT 2936642 SOS 1501631 HAS SOPS 1501631 HAS SOUS 1090494 HAS SOUPS 1090494 WITH SCORE 1091995.631
AT ITER 112 NEW BEST:: SOT 2915609 SOS 1481576 HAS SOPS 1481576 HAS SOUS 1070238 HAS SOUPS 1070238 WITH SCORE 1071719.576
AT ITER 115 NEW BEST:: SOT 2915609 SOS 1480623 HAS SOPS 1480623 HAS SOUS 1068912 HAS SOUPS 1068912 WITH SCORE 1070392.623
AT ITER 118 NEW BEST:: SOT 2915728 SOS 1479417 HAS SOPS 1479417 HAS SOUS 1068391 HAS SOUPS 1068391 WITH SCORE 1069870.417
AT ITER 122 NEW BEST:: SOT 2915600 SOS 1479289 HAS SOPS 1479289 HAS SOUS 1068206 HAS SOUPS 1068206 WITH SCORE 1069685.289
AT ITER 123 NEW BEST:: SOT 2915342 SOS 1478515 HAS SOPS 1478515 HAS SOUS 1067948 HAS SOUPS 1067948 WITH SCORE 1069426.515
AT ITER 127 NEW BEST:: SOT 2915342 SOS 1478002 HAS SOPS 1478002 HAS SOUS 1067855 HAS SOUPS 1067855 WITH SCORE 1069333.002
AT ITER 130 NEW BEST:: SOT 2915152 SOS 1477622 HAS SOPS 1477622 HAS SOUS 1067664 HAS SOUPS 1067664 WITH SCORE 1069141.622
AT ITER 133 NEW BEST:: SOT 2914829 SOS 1476330 HAS SOPS 1476330 HAS SOUS 1067340 HAS SOUPS 1067340 WITH SCORE 1068816.33
AT ITER 134 NEW BEST:: SOT 2914730 SOS 1474590 HAS SOPS 1474590 HAS SOUS 1066343 HAS SOUPS 1066343 WITH SCORE 1067817.59
AT ITER 138 NEW BEST:: SOT 2913990 SOS 1473924 HAS SOPS 1473924 HAS SOUS 1065566 HAS SOUPS 1065566 WITH SCORE 1067039.924
AT ITER 139 NEW BEST:: SOT 2913459 SOS 1472331 HAS SOPS 1472331 HAS SOUS 1064504 HAS SOUPS 1064504 WITH SCORE 1065976.331
AT ITER 142 NEW BEST:: SOT 2912891 SOS 1469081 HAS SOPS 1469081 HAS SOUS 1062645 HAS SOUPS 1062645 WITH SCORE 1064114.081
AT ITER 143 NEW BEST:: SOT 2912792 SOS 1469081 HAS SOPS 1469081 HAS SOUS 1062630 HAS SOUPS 1062630 WITH SCORE 1064099.081
AT ITER 162 NEW BEST:: SOT 2912792 SOS 1468884 HAS SOPS 1468884 HAS SOUS 1062611 HAS SOUPS 1062611 WITH SCORE 1064079.884
AT ITER 163 NEW BEST:: SOT 2912315 SOS 1468508 HAS SOPS 1468508 HAS SOUS 1062215 HAS SOUPS 1062215 WITH SCORE 1063683.508
AT ITER 164 NEW BEST:: SOT 2911848 SOS 1465526 HAS SOPS 1465526 HAS SOUS 1060290 HAS SOUPS 1060290 WITH SCORE 1061755.526
AT ITER 165 NEW BEST:: SOT 2911848 SOS 1465487 HAS SOPS 1465487 HAS SOUS 1060289 HAS SOUPS 1060289 WITH SCORE 1061754.487
AT ITER 169 NEW BEST:: SOT 2911597 SOS 1463569 HAS SOPS 1463569 HAS SOUS 1059204 HAS SOUPS 1059204 WITH SCORE 1060667.569
AT ITER 171 NEW BEST:: SOT 2911597 SOS 1463569 HAS SOPS 1463569 HAS SOUS 1059203 HAS SOUPS 1059203 WITH SCORE 1060666.569
AT ITER 172 NEW BEST:: SOT 2911518 SOS 1463253 HAS SOPS 1463253 HAS SOUS 1059045 HAS SOUPS 1059045 WITH SCORE 1060508.253
AT ITER 174 NEW BEST:: SOT 2911336 SOS 1462889 HAS SOPS 1462889 HAS SOUS 1058681 HAS SOUPS 1058681 WITH SCORE 1060143.889
AT ITER 178 NEW BEST:: SOT 2910921 SOS 1462559 HAS SOPS 1462559 HAS SOUS 1058266 HAS SOUPS 1058266 WITH SCORE 1059728.559
AT ITER 180 NEW BEST:: SOT 2910807 SOS 1462445 HAS SOPS 1462445 HAS SOUS 1058265 HAS SOUPS 1058265 WITH SCORE 1059727.445
AT ITER 193 NEW BEST:: SOT 2910807 SOS 1462445 HAS SOPS 1462445 HAS SOUS 1058164 HAS SOUPS 1058164 WITH SCORE 1059626.445
AT ITER 201 NEW BEST:: SOT 2910807 SOS 1462445 HAS SOPS 1462445 HAS SOUS 1057976 HAS SOUPS 1057976 WITH SCORE 1059438.445
AT ITER 205 NEW BEST:: SOT 2910118 SOS 1461756 HAS SOPS 1461756 HAS SOUS 1057975 HAS SOUPS 1057975 WITH SCORE 1059436.756
AT ITER 214 NEW BEST:: SOT 2909508 SOS 1459070 HAS SOPS 1459070 HAS SOUS 1057164 HAS SOUPS 1057164 WITH SCORE 1058623.07
AT ITER 227 NEW BEST:: SOT 2909444 SOS 1458942 HAS SOPS 1458942 HAS SOUS 1057099 HAS SOUPS 1057099 WITH SCORE 1058557.942
AT ITER 233 NEW BEST:: SOT 2909444 SOS 1458668 HAS SOPS 1458668 HAS SOUS 1056953 HAS SOUPS 1056953 WITH SCORE 1058411.668
AT ITER 237 NEW BEST:: SOT 2908861 SOS 1457502 HAS SOPS 1457502 HAS SOUS 1056469 HAS SOUPS 1056469 WITH SCORE 1057926.502
AT ITER 243 NEW BEST:: SOT 2907823 SOS 1454001 HAS SOPS 1454001 HAS SOUS 1054766 HAS SOUPS 1054766 WITH SCORE 1056220.001
AT ITER 247 NEW BEST:: SOT 2908293 SOS 1453848 HAS SOPS 1453848 HAS SOUS 1054524 HAS SOUPS 1054524 WITH SCORE 1055977.848
AT ITER 248 NEW BEST:: SOT 2905793 SOS 1477681 HAS SOPS 1477681 HAS SOUS 1053898 HAS SOUPS 1053898 WITH SCORE 1055375.681
AT ITER 249 NEW BEST:: SOT 2905687 SOS 1477681 HAS SOPS 1477681 HAS SOUS 1053792 HAS SOUPS 1053792 WITH SCORE 1055269.681
AT ITER 250 NEW BEST:: SOT 2905429 SOS 1477165 HAS SOPS 1477165 HAS SOUS 1053533 HAS SOUPS 1053533 WITH SCORE 1055010.165
AT ITER 252 NEW BEST:: SOT 2904663 SOS 1474867 HAS SOPS 1474867 HAS SOUS 1053131 HAS SOUPS 1053131 WITH SCORE 1054605.867
AT ITER 258 NEW BEST:: SOT 2904175 SOS 1471551 HAS SOPS 1471551 HAS SOUS 1051870 HAS SOUPS 1051870 WITH SCORE 1053341.551
AT ITER 260 NEW BEST:: SOT 2903536 SOS 1468995 HAS SOPS 1468995 HAS SOUS 1051231 HAS SOUPS 1051231 WITH SCORE 1052699.995
AT ITER 264 NEW BEST:: SOT 2903536 SOS 1468995 HAS SOPS 1468995 HAS SOUS 1051210 HAS SOUPS 1051210 WITH SCORE 1052678.995
AT ITER 265 NEW BEST:: SOT 2903476 SOS 1467275 HAS SOPS 1467275 HAS SOUS 1051059 HAS SOUPS 1051059 WITH SCORE 1052526.275
AT ITER 266 NEW BEST:: SOT 2903176 SOS 1466675 HAS SOPS 1466675 HAS SOUS 1050572 HAS SOUPS 1050572 WITH SCORE 1052038.675
AT ITER 278 NEW BEST:: SOT 2903423 SOS 1465303 HAS SOPS 1465303 HAS SOUS 1050149 HAS SOUPS 1050149 WITH SCORE 1051614.303
AT ITER 280 NEW BEST:: SOT 2902989 SOS 1465169 HAS SOPS 1465169 HAS SOUS 1049715 HAS SOUPS 1049715 WITH SCORE 1051180.169
AT ITER 281 NEW BEST:: SOT 2902600 SOS 1463613 HAS SOPS 1463613 HAS SOUS 1049325 HAS SOUPS 1049325 WITH SCORE 1050788.613
AT ITER 283 NEW BEST:: SOT 2902117 SOS 1462647 HAS SOPS 1462647 HAS SOUS 1048841 HAS SOUPS 1048841 WITH SCORE 1050303.647
AT ITER 284 NEW BEST:: SOT 2902117 SOS 1462478 HAS SOPS 1462478 HAS SOUS 1048840 HAS SOUPS 1048840 WITH SCORE 1050302.478
AT ITER 287 NEW BEST:: SOT 2884041 SOS 1452902 HAS SOPS 1452902 HAS SOUS 1033421 HAS SOUPS 1033421 WITH SCORE 1034873.902
AT ITER 289 NEW BEST:: SOT 2883833 SOS 1452486 HAS SOPS 1452486 HAS SOUS 1033103 HAS SOUPS 1033103 WITH SCORE 1034555.486
AT ITER 296 NEW BEST:: SOT 2883766 SOS 1452285 HAS SOPS 1452285 HAS SOUS 1032967 HAS SOUPS 1032967 WITH SCORE 1034419.285
AT ITER 298 NEW BEST:: SOT 2883526 SOS 1451325 HAS SOPS 1451325 HAS SOUS 1032487 HAS SOUPS 1032487 WITH SCORE 1033938.325
AT ITER 300 NEW BEST:: SOT 2883470 SOS 1451374 HAS SOPS 1451374 HAS SOUS 1032431 HAS SOUPS 1032431 WITH SCORE 1033882.374
AT ITER 312 NEW BEST:: SOT 2882733 SOS 1449637 HAS SOPS 1449637 HAS SOUS 1031245 HAS SOUPS 1031245 WITH SCORE 1032694.637
AT ITER 313 NEW BEST:: SOT 2882595 SOS 1447912 HAS SOPS 1447912 HAS SOUS 1030453 HAS SOUPS 1030453 WITH SCORE 1031900.912
AT ITER 314 NEW BEST:: SOT 2882606 SOS 1447262 HAS SOPS 1447262 HAS SOUS 1029265 HAS SOUPS 1029265 WITH SCORE 1030712.262
AT ITER 315 NEW BEST:: SOT 2881790 SOS 1446555 HAS SOPS 1446555 HAS SOUS 1028546 HAS SOUPS 1028546 WITH SCORE 1029992.555
AT ITER 321 NEW BEST:: SOT 2868974 SOS 1443407 HAS SOPS 1443407 HAS SOUS 1016467 HAS SOUPS 1016467 WITH SCORE 1017910.407
AT ITER 322 NEW BEST:: SOT 2868732 SOS 1443552 HAS SOPS 1443552 HAS SOUS 1016202 HAS SOUPS 1016202 WITH SCORE 1017645.552
AT ITER 325 NEW BEST:: SOT 2868712 SOS 1443512 HAS SOPS 1443512 HAS SOUS 1016181 HAS SOUPS 1016181 WITH SCORE 1017624.512
AT ITER 331 NEW BEST:: SOT 2868955 SOS 1442500 HAS SOPS 1442500 HAS SOUS 1015873 HAS SOUPS 1015873 WITH SCORE 1017315.5
AT ITER 333 NEW BEST:: SOT 2868955 SOS 1441262 HAS SOPS 1441262 HAS SOUS 1015693 HAS SOUPS 1015693 WITH SCORE 1017134.262
AT ITER 335 NEW BEST:: SOT 2868955 SOS 1441262 HAS SOPS 1441262 HAS SOUS 1015687 HAS SOUPS 1015687 WITH SCORE 1017128.262
AT ITER 337 NEW BEST:: SOT 2868463 SOS 1440864 HAS SOPS 1440864 HAS SOUS 1015195 HAS SOUPS 1015195 WITH SCORE 1016635.864
AT ITER 341 NEW BEST:: SOT 2868463 SOS 1440864 HAS SOPS 1440864 HAS SOUS 1015091 HAS SOUPS 1015091 WITH SCORE 1016531.864
AT ITER 350 NEW BEST:: SOT 2868046 SOS 1440954 HAS SOPS 1440954 HAS SOUS 1014495 HAS SOUPS 1014495 WITH SCORE 1015935.954
AT ITER 351 NEW BEST:: SOT 2867929 SOS 1440720 HAS SOPS 1440720 HAS SOUS 1014377 HAS SOUPS 1014377 WITH SCORE 1015817.72
AT ITER 353 NEW BEST:: SOT 2867822 SOS 1440506 HAS SOPS 1440506 HAS SOUS 1014375 HAS SOUPS 1014375 WITH SCORE 1015815.506
AT ITER 356 NEW BEST:: SOT 2868061 SOS 1429844 HAS SOPS 1429844 HAS SOUS 1014204 HAS SOUPS 1014204 WITH SCORE 1015633.844
AT ITER 357 NEW BEST:: SOT 2867693 SOS 1428044 HAS SOPS 1428044 HAS SOUS 1013665 HAS SOUPS 1013665 WITH SCORE 1015093.044
AT ITER 359 NEW BEST:: SOT 2867693 SOS 1428044 HAS SOPS 1428044 HAS SOUS 1013200 HAS SOUPS 1013200 WITH SCORE 1014628.044
AT ITER 361 NEW BEST:: SOT 2867693 SOS 1427637 HAS SOPS 1427637 HAS SOUS 1013073 HAS SOUPS 1013073 WITH SCORE 1014500.637
AT ITER 365 NEW BEST:: SOT 2867693 SOS 1427137 HAS SOPS 1427137 HAS SOUS 1013073 HAS SOUPS 1013073 WITH SCORE 1014500.137
AT ITER 367 NEW BEST:: SOT 2867614 SOS 1426979 HAS SOPS 1426979 HAS SOUS 1012994 HAS SOUPS 1012994 WITH SCORE 1014420.979
AT ITER 369 NEW BEST:: SOT 2867584 SOS 1426919 HAS SOPS 1426919 HAS SOUS 1012993 HAS SOUPS 1012993 WITH SCORE 1014419.919
AT ITER 372 NEW BEST:: SOT 2867584 SOS 1425835 HAS SOPS 1425835 HAS SOUS 1012638 HAS SOUPS 1012638 WITH SCORE 1014063.835
AT ITER 374 NEW BEST:: SOT 2867584 SOS 1425965 HAS SOPS 1425965 HAS SOUS 1012508 HAS SOUPS 1012508 WITH SCORE 1013933.965
AT ITER 379 NEW BEST:: SOT 2867584 SOS 1425964 HAS SOPS 1425964 HAS SOUS 1012406 HAS SOUPS 1012406 WITH SCORE 1013831.964
AT ITER 387 NEW BEST:: SOT 2867369 SOS 1425104 HAS SOPS 1425104 HAS SOUS 1011976 HAS SOUPS 1011976 WITH SCORE 1013401.104
AT ITER 394 NEW BEST:: SOT 2867369 SOS 1425103 HAS SOPS 1425103 HAS SOUS 1011975 HAS SOUPS 1011975 WITH SCORE 1013400.103
AT ITER 396 NEW BEST:: SOT 2867860 SOS 1424333 HAS SOPS 1424333 HAS SOUS 1011695 HAS SOUPS 1011695 WITH SCORE 1013119.333
AT ITER 399 NEW BEST:: SOT 2867860 SOS 1424196 HAS SOPS 1424196 HAS SOUS 1011695 HAS SOUPS 1011695 WITH SCORE 1013119.196
AT ITER 407 NEW BEST:: SOT 2867488 SOS 1423452 HAS SOPS 1423452 HAS SOUS 1011430 HAS SOUPS 1011430 WITH SCORE 1012853.452
AT ITER 408 NEW BEST:: SOT 2867083 SOS 1423060 HAS SOPS 1423060 HAS SOUS 1011084 HAS SOUPS 1011084 WITH SCORE 1012507.06
AT ITER 411 NEW BEST:: SOT 2866897 SOS 1421315 HAS SOPS 1421315 HAS SOUS 1010118 HAS SOUPS 1010118 WITH SCORE 1011539.315
AT ITER 412 NEW BEST:: SOT 2866655 SOS 1420831 HAS SOPS 1420831 HAS SOUS 1009513 HAS SOUPS 1009513 WITH SCORE 1010933.831
AT ITER 416 NEW BEST:: SOT 2866657 SOS 1420159 HAS SOPS 1420159 HAS SOUS 1008395 HAS SOUPS 1008395 WITH SCORE 1009815.159
AT ITER 422 NEW BEST:: SOT 2867318 SOS 1420450 HAS SOPS 1420450 HAS SOUS 1007678 HAS SOUPS 1007678 WITH SCORE 1009098.45
AT ITER 423 NEW BEST:: SOT 2867709 SOS 1419204 HAS SOPS 1419204 HAS SOUS 1007633 HAS SOUPS 1007633 WITH SCORE 1009052.204
AT ITER 426 NEW BEST:: SOT 2867970 SOS 1417886 HAS SOPS 1417886 HAS SOUS 1007530 HAS SOUPS 1007530 WITH SCORE 1008947.886
AT ITER 427 NEW BEST:: SOT 2867690 SOS 1417834 HAS SOPS 1417834 HAS SOUS 1007239 HAS SOUPS 1007239 WITH SCORE 1008656.834
AT ITER 430 NEW BEST:: SOT 2867537 SOS 1417528 HAS SOPS 1417528 HAS SOUS 1006933 HAS SOUPS 1006933 WITH SCORE 1008350.528
AT ITER 432 NEW BEST:: SOT 2867331 SOS 1414561 HAS SOPS 1414561 HAS SOUS 1006521 HAS SOUPS 1006521 WITH SCORE 1007935.561
AT ITER 433 NEW BEST:: SOT 2867608 SOS 1413303 HAS SOPS 1413303 HAS SOUS 1006353 HAS SOUPS 1006353 WITH SCORE 1007766.303
AT ITER 435 NEW BEST:: SOT 2867364 SOS 1412327 HAS SOPS 1412327 HAS SOUS 1005865 HAS SOUPS 1005865 WITH SCORE 1007277.327
AT ITER 436 NEW BEST:: SOT 2867234 SOS 1411524 HAS SOPS 1411524 HAS SOUS 1005605 HAS SOUPS 1005605 WITH SCORE 1007016.524
AT ITER 439 NEW BEST:: SOT 2866590 SOS 1408948 HAS SOPS 1408948 HAS SOUS 1004332 HAS SOUPS 1004332 WITH SCORE 1005740.948
AT ITER 445 NEW BEST:: SOT 2866590 SOS 1408509 HAS SOPS 1408509 HAS SOUS 1004325 HAS SOUPS 1004325 WITH SCORE 1005733.509
AT ITER 448 NEW BEST:: SOT 2865750 SOS 1407967 HAS SOPS 1407967 HAS SOUS 1003774 HAS SOUPS 1003774 WITH SCORE 1005181.967
AT ITER 451 NEW BEST:: SOT 2865674 SOS 1407739 HAS SOPS 1407739 HAS SOUS 1003698 HAS SOUPS 1003698 WITH SCORE 1005105.739
AT ITER 454 NEW BEST:: SOT 2866097 SOS 1406957 HAS SOPS 1406957 HAS SOUS 1003608 HAS SOUPS 1003608 WITH SCORE 1005014.957
AT ITER 459 NEW BEST:: SOT 2865806 SOS 1406375 HAS SOPS 1406375 HAS SOUS 1003064 HAS SOUPS 1003064 WITH SCORE 1004470.375
AT ITER 470 NEW BEST:: SOT 2864793 SOS 1403300 HAS SOPS 1403300 HAS SOUS 1001796 HAS SOUPS 1001796 WITH SCORE 1003199.3
AT ITER 471 NEW BEST:: SOT 2864793 SOS 1403259 HAS SOPS 1403259 HAS SOUS 1001632 HAS SOUPS 1001632 WITH SCORE 1003035.259
AT ITER 481 NEW BEST:: SOT 2864741 SOS 1403259 HAS SOPS 1403259 HAS SOUS 1001574 HAS SOUPS 1001574 WITH SCORE 1002977.259
AT ITER 484 NEW BEST:: SOT 2864232 SOS 1402241 HAS SOPS 1402241 HAS SOUS 1000556 HAS SOUPS 1000556 WITH SCORE 1001958.241
AT ITER 487 NEW BEST:: SOT 2864193 SOS 1402163 HAS SOPS 1402163 HAS SOUS 1000439 HAS SOUPS 1000439 WITH SCORE 1001841.163
AT ITER 490 NEW BEST:: SOT 2864193 SOS 1402163 HAS SOPS 1402163 HAS SOUS 1000309 HAS SOUPS 1000309 WITH SCORE 1001711.163
AT ITER 497 NEW BEST:: SOT 2863672 SOS 1399535 HAS SOPS 1399535 HAS SOUS 998371 HAS SOUPS 998371 WITH SCORE 999770.535
AT ITER 498 NEW BEST:: SOT 2863338 SOS 1398199 HAS SOPS 1398199 HAS SOUS 997703 HAS SOUPS 997703 WITH SCORE 999101.199
AT ITER 500 NEW BEST:: SOT 2863338 SOS 1398199 HAS SOPS 1398199 HAS SOUS 997559 HAS SOUPS 997559 WITH SCORE 998957.199
AT ITER 502 NEW BEST:: SOT 2862949 SOS 1396643 HAS SOPS 1396643 HAS SOUS 997041 HAS SOUPS 997041 WITH SCORE 998437.643
AT ITER 505 NEW BEST:: SOT 2862949 SOS 1396604 HAS SOPS 1396604 HAS SOUS 996995 HAS SOUPS 996995 WITH SCORE 998391.604
AT ITER 521 NEW BEST:: SOT 2862988 SOS 1395964 HAS SOPS 1395964 HAS SOUS 996845 HAS SOUPS 996845 WITH SCORE 998240.964
AT ITER 525 NEW BEST:: SOT 2862988 SOS 1395871 HAS SOPS 1395871 HAS SOUS 996845 HAS SOUPS 996845 WITH SCORE 998240.871
AT ITER 527 NEW BEST:: SOT 2862351 SOS 1393848 HAS SOPS 1393848 HAS SOUS 996098 HAS SOUPS 996098 WITH SCORE 997491.848
AT ITER 530 NEW BEST:: SOT 2861966 SOS 1393518 HAS SOPS 1393518 HAS SOUS 995757 HAS SOUPS 995757 WITH SCORE 997150.518
AT ITER 531 NEW BEST:: SOT 2861966 SOS 1393514 HAS SOPS 1393514 HAS SOUS 995753 HAS SOUPS 995753 WITH SCORE 997146.514
AT ITER 535 NEW BEST:: SOT 2861966 SOS 1393144 HAS SOPS 1393144 HAS SOUS 995255 HAS SOUPS 995255 WITH SCORE 996648.144
AT ITER 542 NEW BEST:: SOT 2861966 SOS 1393119 HAS SOPS 1393119 HAS SOUS 995249 HAS SOUPS 995249 WITH SCORE 996642.119
AT ITER 548 NEW BEST:: SOT 2861552 SOS 1392291 HAS SOPS 1392291 HAS SOUS 994421 HAS SOUPS 994421 WITH SCORE 995813.291
AT ITER 563 NEW BEST:: SOT 2861552 SOS 1392227 HAS SOPS 1392227 HAS SOUS 994420 HAS SOUPS 994420 WITH SCORE 995812.227
AT ITER 573 NEW BEST:: SOT 2861051 SOS 1391726 HAS SOPS 1391726 HAS SOUS 994411 HAS SOUPS 994411 WITH SCORE 995802.726
AT ITER 584 NEW BEST:: SOT 2860356 SOS 1388448 HAS SOPS 1388448 HAS SOUS 992896 HAS SOUPS 992896 WITH SCORE 994284.448
AT ITER 595 NEW BEST:: SOT 2860324 SOS 1388052 HAS SOPS 1388052 HAS SOUS 992850 HAS SOUPS 992850 WITH SCORE 994238.052
AT ITER 599 NEW BEST:: SOT 2860279 SOS 1388001 HAS SOPS 1388001 HAS SOUS 992844 HAS SOUPS 992844 WITH SCORE 994232.001
AT ITER 602 NEW BEST:: SOT 2859487 SOS 1387209 HAS SOPS 1387209 HAS SOUS 992843 HAS SOUPS 992843 WITH SCORE 994230.209
AT ITER 603 NEW BEST:: SOT 2859487 SOS 1387209 HAS SOPS 1387209 HAS SOUS 992842 HAS SOUPS 992842 WITH SCORE 994229.209
AT ITER 605 NEW BEST:: SOT 2859487 SOS 1386449 HAS SOPS 1386449 HAS SOUS 992813 HAS SOUPS 992813 WITH SCORE 994199.449
AT ITER 607 NEW BEST:: SOT 2859465 SOS 1386405 HAS SOPS 1386405 HAS SOUS 992791 HAS SOUPS 992791 WITH SCORE 994177.405
AT ITER 612 NEW BEST:: SOT 2859465 SOS 1386308 HAS SOPS 1386308 HAS SOUS 992694 HAS SOUPS 992694 WITH SCORE 994080.308
AT ITER 614 NEW BEST:: SOT 2822070 SOS 1777874 HAS SOPS 1777874 HAS SOUS 960144 HAS SOUPS 960144 WITH SCORE 961921.874
AT ITER 616 NEW BEST:: SOT 2821793 SOS 1777320 HAS SOPS 1777320 HAS SOUS 959525 HAS SOUPS 959525 WITH SCORE 961302.32
AT ITER 621 NEW BEST:: SOT 2821793 SOS 1776874 HAS SOPS 1776874 HAS SOUS 959525 HAS SOUPS 959525 WITH SCORE 961301.874
AT ITER 629 NEW BEST:: SOT 2821084 SOS 1776165 HAS SOPS 1776165 HAS SOUS 959525 HAS SOUPS 959525 WITH SCORE 961301.165
AT ITER 632 NEW BEST:: SOT 2821084 SOS 1776010 HAS SOPS 1776010 HAS SOUS 959525 HAS SOUPS 959525 WITH SCORE 961301.01
AT ITER 635 NEW BEST:: SOT 2820813 SOS 1775468 HAS SOPS 1775468 HAS SOUS 959252 HAS SOUPS 959252 WITH SCORE 961027.468
AT ITER 647 NEW BEST:: SOT 2820747 SOS 1775402 HAS SOPS 1775402 HAS SOUS 959186 HAS SOUPS 959186 WITH SCORE 960961.402
AT ITER 649 NEW BEST:: SOT 2819563 SOS 1774218 HAS SOPS 1774218 HAS SOUS 959109 HAS SOUPS 959109 WITH SCORE 960883.218
AT ITER 660 NEW BEST:: SOT 2819312 SOS 1773967 HAS SOPS 1773967 HAS SOUS 959038 HAS SOUPS 959038 WITH SCORE 960811.967
AT ITER 663 NEW BEST:: SOT 2818511 SOS 1773166 HAS SOPS 1773166 HAS SOUS 958236 HAS SOUPS 958236 WITH SCORE 960009.166
AT ITER 668 NEW BEST:: SOT 2818511 SOS 1772928 HAS SOPS 1772928 HAS SOUS 957998 HAS SOUPS 957998 WITH SCORE 959770.928
AT ITER 669 NEW BEST:: SOT 2818419 SOS 1772744 HAS SOPS 1772744 HAS SOUS 957997 HAS SOUPS 957997 WITH SCORE 959769.744
AT ITER 671 NEW BEST:: SOT 2817238 SOS 1770898 HAS SOPS 1770898 HAS SOUS 956920 HAS SOUPS 956920 WITH SCORE 958690.898
AT ITER 674 NEW BEST:: SOT 2817238 SOS 1771191 HAS SOPS 1771191 HAS SOUS 956786 HAS SOUPS 956786 WITH SCORE 958557.191
AT ITER 676 NEW BEST:: SOT 2817115 SOS 1770945 HAS SOPS 1770945 HAS SOUS 956540 HAS SOUPS 956540 WITH SCORE 958310.945
AT ITER 677 NEW BEST:: SOT 2816534 SOS 1768621 HAS SOPS 1768621 HAS SOUS 955378 HAS SOUPS 955378 WITH SCORE 957146.621
AT ITER 680 NEW BEST:: SOT 2816314 SOS 1767741 HAS SOPS 1767741 HAS SOUS 954938 HAS SOUPS 954938 WITH SCORE 956705.741
AT ITER 687 NEW BEST:: SOT 2815798 SOS 1766193 HAS SOPS 1766193 HAS SOUS 953905 HAS SOUPS 953905 WITH SCORE 955671.193
AT ITER 690 NEW BEST:: SOT 2815584 SOS 1765765 HAS SOPS 1765765 HAS SOUS 953575 HAS SOUPS 953575 WITH SCORE 955340.765
AT ITER 691 NEW BEST:: SOT 2814915 SOS 1764650 HAS SOPS 1764650 HAS SOUS 952683 HAS SOUPS 952683 WITH SCORE 954447.65
AT ITER 693 NEW BEST:: SOT 2814915 SOS 1763562 HAS SOPS 1763562 HAS SOUS 951698 HAS SOUPS 951698 WITH SCORE 953461.562
AT ITER 696 NEW BEST:: SOT 2814710 SOS 1762177 HAS SOPS 1762177 HAS SOUS 950866 HAS SOUPS 950866 WITH SCORE 952628.177
AT ITER 697 NEW BEST:: SOT 2814710 SOS 1762177 HAS SOPS 1762177 HAS SOUS 950598 HAS SOUPS 950598 WITH SCORE 952360.177
AT ITER 700 NEW BEST:: SOT 2814319 SOS 1762150 HAS SOPS 1762150 HAS SOUS 950012 HAS SOUPS 950012 WITH SCORE 951774.15
AT ITER 701 NEW BEST:: SOT 2814884 SOS 1762107 HAS SOPS 1762107 HAS SOUS 949684 HAS SOUPS 949684 WITH SCORE 951446.107
AT ITER 702 NEW BEST:: SOT 2814458 SOS 1761397 HAS SOPS 1761397 HAS SOUS 949116 HAS SOUPS 949116 WITH SCORE 950877.397
AT ITER 704 NEW BEST:: SOT 2813886 SOS 1760664 HAS SOPS 1760664 HAS SOUS 948747 HAS SOUPS 948747 WITH SCORE 950507.664
AT ITER 705 NEW BEST:: SOT 2813231 SOS 1758044 HAS SOPS 1758044 HAS SOUS 947642 HAS SOUPS 947642 WITH SCORE 949400.044
AT ITER 709 NEW BEST:: SOT 2813287 SOS 1757578 HAS SOPS 1757578 HAS SOUS 946692 HAS SOUPS 946692 WITH SCORE 948449.578
AT ITER 710 NEW BEST:: SOT 2812794 SOS 1755606 HAS SOPS 1755606 HAS SOUS 946198 HAS SOUPS 946198 WITH SCORE 947953.606
AT ITER 712 NEW BEST:: SOT 2812794 SOS 1755511 HAS SOPS 1755511 HAS SOUS 946038 HAS SOUPS 946038 WITH SCORE 947793.511
AT ITER 713 NEW BEST:: SOT 2811645 SOS 1753979 HAS SOPS 1753979 HAS SOUS 944889 HAS SOUPS 944889 WITH SCORE 946642.979
AT ITER 723 NEW BEST:: SOT 2811645 SOS 1753623 HAS SOPS 1753623 HAS SOUS 944839 HAS SOUPS 944839 WITH SCORE 946592.623
AT ITER 730 NEW BEST:: SOT 2811267 SOS 1753086 HAS SOPS 1753086 HAS SOUS 944476 HAS SOUPS 944476 WITH SCORE 946229.086
AT ITER 737 NEW BEST:: SOT 2811211 SOS 1753002 HAS SOPS 1753002 HAS SOUS 944392 HAS SOUPS 944392 WITH SCORE 946145.002
AT ITER 738 NEW BEST:: SOT 2811206 SOS 1752992 HAS SOPS 1752992 HAS SOUS 944365 HAS SOUPS 944365 WITH SCORE 946117.992
AT ITER 743 NEW BEST:: SOT 2810334 SOS 1752120 HAS SOPS 1752120 HAS SOUS 943493 HAS SOUPS 943493 WITH SCORE 945245.12
AT ITER 744 NEW BEST:: SOT 2808814 SOS 1749537 HAS SOPS 1749537 HAS SOUS 941972 HAS SOUPS 941972 WITH SCORE 943721.537
AT ITER 745 NEW BEST:: SOT 2807655 SOS 1748149 HAS SOPS 1748149 HAS SOUS 941685 HAS SOUPS 941685 WITH SCORE 943433.149
AT ITER 748 NEW BEST:: SOT 2807182 SOS 1747368 HAS SOPS 1747368 HAS SOUS 941377 HAS SOUPS 941377 WITH SCORE 943124.368
AT ITER 749 NEW BEST:: SOT 2791549 SOS 1746174 HAS SOPS 1746174 HAS SOUS 927014 HAS SOUPS 927014 WITH SCORE 928760.174
AT ITER 754 NEW BEST:: SOT 2791579 SOS 1745648 HAS SOPS 1745648 HAS SOUS 926517 HAS SOUPS 926517 WITH SCORE 928262.648
AT ITER 756 NEW BEST:: SOT 2791317 SOS 1745124 HAS SOPS 1745124 HAS SOUS 926255 HAS SOUPS 926255 WITH SCORE 928000.124
AT ITER 763 NEW BEST:: SOT 2790986 SOS 1744462 HAS SOPS 1744462 HAS SOUS 925232 HAS SOUPS 925232 WITH SCORE 926976.462
AT ITER 772 NEW BEST:: SOT 2790986 SOS 1743490 HAS SOPS 1743490 HAS SOUS 924747 HAS SOUPS 924747 WITH SCORE 926490.49
AT ITER 773 NEW BEST:: SOT 2790958 SOS 1743434 HAS SOPS 1743434 HAS SOUS 924747 HAS SOUPS 924747 WITH SCORE 926490.434
AT ITER 776 NEW BEST:: SOT 2790708 SOS 1742434 HAS SOPS 1742434 HAS SOUS 924247 HAS SOUPS 924247 WITH SCORE 925989.434
AT ITER 782 NEW BEST:: SOT 2789693 SOS 1740404 HAS SOPS 1740404 HAS SOUS 922438 HAS SOUPS 922438 WITH SCORE 924178.404
AT ITER 783 NEW BEST:: SOT 2787494 SOS 1737145 HAS SOPS 1737145 HAS SOUS 920239 HAS SOUPS 920239 WITH SCORE 921976.145
AT ITER 794 NEW BEST:: SOT 2787579 SOS 1737190 HAS SOPS 1737190 HAS SOUS 920143 HAS SOUPS 920143 WITH SCORE 921880.19
AT ITER 795 NEW BEST:: SOT 2786890 SOS 1736501 HAS SOPS 1736501 HAS SOUS 920142 HAS SOUPS 920142 WITH SCORE 921878.501
AT ITER 796 NEW BEST:: SOT 2785739 SOS 1733390 HAS SOPS 1733390 HAS SOUS 918376 HAS SOUPS 918376 WITH SCORE 920109.39
AT ITER 797 NEW BEST:: SOT 2785009 SOS 1732470 HAS SOPS 1732470 HAS SOUS 917670 HAS SOUPS 917670 WITH SCORE 919402.47
AT ITER 801 NEW BEST:: SOT 2785009 SOS 1732470 HAS SOPS 1732470 HAS SOUS 917669 HAS SOUPS 917669 WITH SCORE 919401.47
AT ITER 805 NEW BEST:: SOT 2784809 SOS 1731870 HAS SOPS 1731870 HAS SOUS 917269 HAS SOUPS 917269 WITH SCORE 919000.87
AT ITER 806 NEW BEST:: SOT 2784800 SOS 1731852 HAS SOPS 1731852 HAS SOUS 917260 HAS SOUPS 917260 WITH SCORE 918991.852
AT ITER 809 NEW BEST:: SOT 2784436 SOS 1730636 HAS SOPS 1730636 HAS SOUS 916699 HAS SOUPS 916699 WITH SCORE 918429.636
AT ITER 815 NEW BEST:: SOT 2783996 SOS 1730390 HAS SOPS 1730390 HAS SOUS 916453 HAS SOUPS 916453 WITH SCORE 918183.39
AT ITER 818 NEW BEST:: SOT 2783053 SOS 1729447 HAS SOPS 1729447 HAS SOUS 915983 HAS SOUPS 915983 WITH SCORE 917712.447
AT ITER 819 NEW BEST:: SOT 2782747 SOS 1728851 HAS SOPS 1728851 HAS SOUS 915677 HAS SOUPS 915677 WITH SCORE 917405.851
AT ITER 828 NEW BEST:: SOT 2782747 SOS 1728569 HAS SOPS 1728569 HAS SOUS 915677 HAS SOUPS 915677 WITH SCORE 917405.569
AT ITER 829 NEW BEST:: SOT 2783116 SOS 1728938 HAS SOPS 1728938 HAS SOUS 915661 HAS SOUPS 915661 WITH SCORE 917389.938
AT ITER 832 NEW BEST:: SOT 2782541 SOS 1727797 HAS SOPS 1727797 HAS SOUS 914950 HAS SOUPS 914950 WITH SCORE 916677.797
AT ITER 838 NEW BEST:: SOT 2782313 SOS 1727569 HAS SOPS 1727569 HAS SOUS 914722 HAS SOUPS 914722 WITH SCORE 916449.569
AT ITER 844 NEW BEST:: SOT 2782314 SOS 1724694 HAS SOPS 1724694 HAS SOUS 914723 HAS SOUPS 914723 WITH SCORE 916447.694
AT ITER 845 NEW BEST:: SOT 2781568 SOS 1723948 HAS SOPS 1723948 HAS SOUS 914723 HAS SOUPS 914723 WITH SCORE 916446.948
AT ITER 851 NEW BEST:: SOT 2781035 SOS 1722882 HAS SOPS 1722882 HAS SOUS 914556 HAS SOUPS 914556 WITH SCORE 916278.882
AT ITER 854 NEW BEST:: SOT 2779732 SOS 1720725 HAS SOPS 1720725 HAS SOUS 913491 HAS SOUPS 913491 WITH SCORE 915211.725
AT ITER 856 NEW BEST:: SOT 2779150 SOS 1720012 HAS SOPS 1720012 HAS SOUS 913387 HAS SOUPS 913387 WITH SCORE 915107.012
AT ITER 867 NEW BEST:: SOT 2778940 SOS 1719592 HAS SOPS 1719592 HAS SOUS 913177 HAS SOUPS 913177 WITH SCORE 914896.592
AT ITER 870 NEW BEST:: SOT 2778940 SOS 1719592 HAS SOPS 1719592 HAS SOUS 912821 HAS SOUPS 912821 WITH SCORE 914540.592
AT ITER 872 NEW BEST:: SOT 2778109 SOS 1717588 HAS SOPS 1717588 HAS SOUS 911260 HAS SOUPS 911260 WITH SCORE 912977.588
AT ITER 875 NEW BEST:: SOT 2778109 SOS 1717588 HAS SOPS 1717588 HAS SOUS 911082 HAS SOUPS 911082 WITH SCORE 912799.588
AT ITER 876 NEW BEST:: SOT 2778031 SOS 1716914 HAS SOPS 1716914 HAS SOUS 911003 HAS SOUPS 911003 WITH SCORE 912719.914
AT ITER 877 NEW BEST:: SOT 2778031 SOS 1716716 HAS SOPS 1716716 HAS SOUS 911002 HAS SOUPS 911002 WITH SCORE 912718.716
AT ITER 879 NEW BEST:: SOT 2777455 SOS 1715564 HAS SOPS 1715564 HAS SOUS 910694 HAS SOUPS 910694 WITH SCORE 912409.564
AT ITER 880 NEW BEST:: SOT 2777455 SOS 1715300 HAS SOPS 1715300 HAS SOUS 910694 HAS SOUPS 910694 WITH SCORE 912409.3
AT ITER 884 NEW BEST:: SOT 2777228 SOS 1714872 HAS SOPS 1714872 HAS SOUS 910157 HAS SOUPS 910157 WITH SCORE 911871.872
AT ITER 885 NEW BEST:: SOT 2776557 SOS 1712036 HAS SOPS 1712036 HAS SOUS 908770 HAS SOUPS 908770 WITH SCORE 910482.036
AT ITER 887 NEW BEST:: SOT 2776530 SOS 1711982 HAS SOPS 1711982 HAS SOUS 908742 HAS SOUPS 908742 WITH SCORE 910453.982
AT ITER 888 NEW BEST:: SOT 2776516 SOS 1711968 HAS SOPS 1711968 HAS SOUS 908741 HAS SOUPS 908741 WITH SCORE 910452.968
AT ITER 889 NEW BEST:: SOT 2776516 SOS 1711705 HAS SOPS 1711705 HAS SOUS 908478 HAS SOUPS 908478 WITH SCORE 910189.705
AT ITER 894 NEW BEST:: SOT 2775899 SOS 1708411 HAS SOPS 1708411 HAS SOUS 907050 HAS SOUPS 907050 WITH SCORE 908758.411
AT ITER 896 NEW BEST:: SOT 2775779 SOS 1708171 HAS SOPS 1708171 HAS SOUS 906989 HAS SOUPS 906989 WITH SCORE 908697.171
AT ITER 901 NEW BEST:: SOT 2775832 SOS 1707712 HAS SOPS 1707712 HAS SOUS 906856 HAS SOUPS 906856 WITH SCORE 908563.712
AT ITER 903 NEW BEST:: SOT 2775678 SOS 1707481 HAS SOPS 1707481 HAS SOUS 906702 HAS SOUPS 906702 WITH SCORE 908409.481
AT ITER 904 NEW BEST:: SOT 2775678 SOS 1707481 HAS SOPS 1707481 HAS SOUS 906695 HAS SOUPS 906695 WITH SCORE 908402.481
AT ITER 905 NEW BEST:: SOT 2775482 SOS 1706893 HAS SOPS 1706893 HAS SOUS 906303 HAS SOUPS 906303 WITH SCORE 908009.893
AT ITER 906 NEW BEST:: SOT 2775482 SOS 1705737 HAS SOPS 1705737 HAS SOUS 906303 HAS SOUPS 906303 WITH SCORE 908008.737
AT ITER 908 NEW BEST:: SOT 2775039 SOS 1705294 HAS SOPS 1705294 HAS SOUS 905860 HAS SOUPS 905860 WITH SCORE 907565.294
AT ITER 909 NEW BEST:: SOT 2775039 SOS 1704759 HAS SOPS 1704759 HAS SOUS 905207 HAS SOUPS 905207 WITH SCORE 906911.759
AT ITER 916 NEW BEST:: SOT 2774221 SOS 1703941 HAS SOPS 1703941 HAS SOUS 905012 HAS SOUPS 905012 WITH SCORE 906715.941
AT ITER 921 NEW BEST:: SOT 2774221 SOS 1703941 HAS SOPS 1703941 HAS SOUS 905011 HAS SOUPS 905011 WITH SCORE 906714.941
AT ITER 922 NEW BEST:: SOT 2774057 SOS 1703777 HAS SOPS 1703777 HAS SOUS 904346 HAS SOUPS 904346 WITH SCORE 906049.777
AT ITER 927 NEW BEST:: SOT 2774145 SOS 1703953 HAS SOPS 1703953 HAS SOUS 904027 HAS SOUPS 904027 WITH SCORE 905730.953
AT ITER 930 NEW BEST:: SOT 2774071 SOS 1703805 HAS SOPS 1703805 HAS SOUS 903879 HAS SOUPS 903879 WITH SCORE 905582.805
AT ITER 931 NEW BEST:: SOT 2773761 SOS 1702871 HAS SOPS 1702871 HAS SOUS 903330 HAS SOUPS 903330 WITH SCORE 905032.871
AT ITER 932 NEW BEST:: SOT 2773012 SOS 1701373 HAS SOPS 1701373 HAS SOUS 901832 HAS SOUPS 901832 WITH SCORE 903533.373
AT ITER 937 NEW BEST:: SOT 2772643 SOS 1699705 HAS SOPS 1699705 HAS SOUS 900998 HAS SOUPS 900998 WITH SCORE 902697.705
AT ITER 938 NEW BEST:: SOT 2772643 SOS 1699813 HAS SOPS 1699813 HAS SOUS 900731 HAS SOUPS 900731 WITH SCORE 902430.813
AT ITER 943 NEW BEST:: SOT 2772643 SOS 1699813 HAS SOPS 1699813 HAS SOUS 900405 HAS SOUPS 900405 WITH SCORE 902104.813
AT ITER 945 NEW BEST:: SOT 2772447 SOS 1699617 HAS SOPS 1699617 HAS SOUS 900368 HAS SOUPS 900368 WITH SCORE 902067.617
AT ITER 946 NEW BEST:: SOT 2772132 SOS 1698987 HAS SOPS 1698987 HAS SOUS 899738 HAS SOUPS 899738 WITH SCORE 901436.987
AT ITER 948 NEW BEST:: SOT 2772104 SOS 1698931 HAS SOPS 1698931 HAS SOUS 899734 HAS SOUPS 899734 WITH SCORE 901432.931
AT ITER 954 NEW BEST:: SOT 2772104 SOS 1698518 HAS SOPS 1698518 HAS SOUS 899734 HAS SOUPS 899734 WITH SCORE 901432.518
AT ITER 956 NEW BEST:: SOT 2771407 SOS 1697047 HAS SOPS 1697047 HAS SOUS 899266 HAS SOUPS 899266 WITH SCORE 900963.047
AT ITER 957 NEW BEST:: SOT 2770991 SOS 1696551 HAS SOPS 1696551 HAS SOUS 898850 HAS SOUPS 898850 WITH SCORE 900546.551
AT ITER 960 NEW BEST:: SOT 2770991 SOS 1696481 HAS SOPS 1696481 HAS SOUS 898850 HAS SOUPS 898850 WITH SCORE 900546.481
AT ITER 963 NEW BEST:: SOT 2771236 SOS 1696977 HAS SOPS 1696977 HAS SOUS 898809 HAS SOUPS 898809 WITH SCORE 900505.977
AT ITER 970 NEW BEST:: SOT 2771313 SOS 1695900 HAS SOPS 1695900 HAS SOUS 898595 HAS SOUPS 898595 WITH SCORE 900290.9
AT ITER 979 NEW BEST:: SOT 2771313 SOS 1695577 HAS SOPS 1695577 HAS SOUS 898595 HAS SOUPS 898595 WITH SCORE 900290.577
AT ITER 986 NEW BEST:: SOT 2770445 SOS 1694709 HAS SOPS 1694709 HAS SOUS 898171 HAS SOUPS 898171 WITH SCORE 899865.709
AT ITER 996 NEW BEST:: SOT 2770282 SOS 1694383 HAS SOPS 1694383 HAS SOUS 898170 HAS SOUPS 898170 WITH SCORE 899864.383
AT ITER 999 NEW BEST:: SOT 2770282 SOS 1694383 HAS SOPS 1694383 HAS SOUS 898169 HAS SOUPS 898169 WITH SCORE 899863.383
AT ITER 1007 NEW BEST:: SOT 2769188 SOS 1693343 HAS SOPS 1693343 HAS SOUS 897822 HAS SOUPS 897822 WITH SCORE 899515.343
AT ITER 1008 NEW BEST:: SOT 2769188 SOS 1693347 HAS SOPS 1693347 HAS SOUS 897409 HAS SOUPS 897409 WITH SCORE 899102.347
AT ITER 1010 NEW BEST:: SOT 2769188 SOS 1693347 HAS SOPS 1693347 HAS SOUS 897408 HAS SOUPS 897408 WITH SCORE 899101.347
AT ITER 1012 NEW BEST:: SOT 2769051 SOS 1692936 HAS SOPS 1692936 HAS SOUS 897271 HAS SOUPS 897271 WITH SCORE 898963.936
AT ITER 1013 NEW BEST:: SOT 2768421 SOS 1691676 HAS SOPS 1691676 HAS SOUS 896517 HAS SOUPS 896517 WITH SCORE 898208.676
AT ITER 1015 NEW BEST:: SOT 2767855 SOS 1689412 HAS SOPS 1689412 HAS SOUS 895148 HAS SOUPS 895148 WITH SCORE 896837.412
AT ITER 1023 NEW BEST:: SOT 2767855 SOS 1689391 HAS SOPS 1689391 HAS SOUS 895148 HAS SOUPS 895148 WITH SCORE 896837.391
AT ITER 1030 NEW BEST:: SOT 2767855 SOS 1689391 HAS SOPS 1689391 HAS SOUS 894896 HAS SOUPS 894896 WITH SCORE 896585.391
AT ITER 1031 NEW BEST:: SOT 2767126 SOS 1686475 HAS SOPS 1686475 HAS SOUS 893528 HAS SOUPS 893528 WITH SCORE 895214.475
AT ITER 1032 NEW BEST:: SOT 2767126 SOS 1686004 HAS SOPS 1686004 HAS SOUS 893023 HAS SOUPS 893023 WITH SCORE 894709.004
AT ITER 1036 NEW BEST:: SOT 2767002 SOS 1686044 HAS SOPS 1686044 HAS SOUS 892899 HAS SOUPS 892899 WITH SCORE 894585.044
AT ITER 1048 NEW BEST:: SOT 2767002 SOS 1686043 HAS SOPS 1686043 HAS SOUS 892898 HAS SOUPS 892898 WITH SCORE 894584.043
AT ITER 1049 NEW BEST:: SOT 2766749 SOS 1685790 HAS SOPS 1685790 HAS SOUS 892645 HAS SOUPS 892645 WITH SCORE 894330.79
AT ITER 1052 NEW BEST:: SOT 2765919 SOS 1684112 HAS SOPS 1684112 HAS SOUS 890967 HAS SOUPS 890967 WITH SCORE 892651.112
AT ITER 1057 NEW BEST:: SOT 2766338 SOS 1682846 HAS SOPS 1682846 HAS SOUS 890543 HAS SOUPS 890543 WITH SCORE 892225.846
AT ITER 1060 NEW BEST:: SOT 2765568 SOS 1682076 HAS SOPS 1682076 HAS SOUS 890358 HAS SOUPS 890358 WITH SCORE 892040.076
AT ITER 1069 NEW BEST:: SOT 2765625 SOS 1681745 HAS SOPS 1681745 HAS SOUS 889717 HAS SOUPS 889717 WITH SCORE 891398.745
AT ITER 1080 NEW BEST:: SOT 2765401 SOS 1681297 HAS SOPS 1681297 HAS SOUS 889493 HAS SOUPS 889493 WITH SCORE 891174.297
AT ITER 1081 NEW BEST:: SOT 2765404 SOS 1680596 HAS SOPS 1680596 HAS SOUS 889200 HAS SOUPS 889200 WITH SCORE 890880.596
AT ITER 1083 NEW BEST:: SOT 2765812 SOS 1679955 HAS SOPS 1679955 HAS SOUS 888560 HAS SOUPS 888560 WITH SCORE 890239.955
AT ITER 1095 NEW BEST:: SOT 2765717 SOS 1679141 HAS SOPS 1679141 HAS SOUS 888465 HAS SOUPS 888465 WITH SCORE 890144.141
AT ITER 1101 NEW BEST:: SOT 2765049 SOS 1677804 HAS SOPS 1677804 HAS SOUS 887462 HAS SOUPS 887462 WITH SCORE 889139.804
AT ITER 1102 NEW BEST:: SOT 2764915 SOS 1677536 HAS SOPS 1677536 HAS SOUS 887194 HAS SOUPS 887194 WITH SCORE 888871.536
AT ITER 1107 NEW BEST:: SOT 2764496 SOS 1675860 HAS SOPS 1675860 HAS SOUS 886356 HAS SOUPS 886356 WITH SCORE 888031.86
AT ITER 1108 NEW BEST:: SOT 2761538 SOS 1673522 HAS SOPS 1673522 HAS SOUS 884018 HAS SOUPS 884018 WITH SCORE 885691.522
AT ITER 1112 NEW BEST:: SOT 2760968 SOS 1672635 HAS SOPS 1672635 HAS SOUS 883131 HAS SOUPS 883131 WITH SCORE 884803.635
AT ITER 1113 NEW BEST:: SOT 2760947 SOS 1672592 HAS SOPS 1672592 HAS SOUS 883088 HAS SOUPS 883088 WITH SCORE 884760.592
AT ITER 1116 NEW BEST:: SOT 2759077 SOS 1669625 HAS SOPS 1669625 HAS SOUS 881294 HAS SOUPS 881294 WITH SCORE 882963.625
AT ITER 1118 NEW BEST:: SOT 2759305 SOS 1669367 HAS SOPS 1669367 HAS SOUS 881036 HAS SOUPS 881036 WITH SCORE 882705.367
AT ITER 1120 NEW BEST:: SOT 2750605 SOS 1662087 HAS SOPS 1662087 HAS SOUS 872796 HAS SOUPS 872796 WITH SCORE 874458.087
AT ITER 1123 NEW BEST:: SOT 2750425 SOS 1660541 HAS SOPS 1660541 HAS SOUS 871642 HAS SOUPS 871642 WITH SCORE 873302.541
AT ITER 1128 NEW BEST:: SOT 2750595 SOS 1660657 HAS SOPS 1660657 HAS SOUS 870986 HAS SOUPS 870986 WITH SCORE 872646.657
AT ITER 1133 NEW BEST:: SOT 2748589 SOS 1657572 HAS SOPS 1657572 HAS SOUS 868917 HAS SOUPS 868917 WITH SCORE 870574.572
AT ITER 1136 NEW BEST:: SOT 2748541 SOS 1657210 HAS SOPS 1657210 HAS SOUS 868821 HAS SOUPS 868821 WITH SCORE 870478.21
AT ITER 1137 NEW BEST:: SOT 2747845 SOS 1655842 HAS SOPS 1655842 HAS SOUS 867789 HAS SOUPS 867789 WITH SCORE 869444.842
AT ITER 1144 NEW BEST:: SOT 2747845 SOS 1654972 HAS SOPS 1654972 HAS SOUS 867789 HAS SOUPS 867789 WITH SCORE 869443.972
AT ITER 1145 NEW BEST:: SOT 2747803 SOS 1654888 HAS SOPS 1654888 HAS SOUS 867760 HAS SOUPS 867760 WITH SCORE 869414.888
AT ITER 1146 NEW BEST:: SOT 2747535 SOS 1654352 HAS SOPS 1654352 HAS SOUS 867224 HAS SOUPS 867224 WITH SCORE 868878.352
AT ITER 1147 NEW BEST:: SOT 2747501 SOS 1654284 HAS SOPS 1654284 HAS SOUS 867156 HAS SOUPS 867156 WITH SCORE 868810.284
AT ITER 1149 NEW BEST:: SOT 2747450 SOS 1654244 HAS SOPS 1654244 HAS SOUS 867105 HAS SOUPS 867105 WITH SCORE 868759.244
AT ITER 1150 NEW BEST:: SOT 2746913 SOS 1653707 HAS SOPS 1653707 HAS SOUS 867105 HAS SOUPS 867105 WITH SCORE 868758.707
AT ITER 1155 NEW BEST:: SOT 2746326 SOS 1652819 HAS SOPS 1652819 HAS SOUS 866518 HAS SOUPS 866518 WITH SCORE 868170.819
AT ITER 1157 NEW BEST:: SOT 2746326 SOS 1652819 HAS SOPS 1652819 HAS SOUS 866493 HAS SOUPS 866493 WITH SCORE 868145.819
AT ITER 1158 NEW BEST:: SOT 2746315 SOS 1652796 HAS SOPS 1652796 HAS SOUS 866134 HAS SOUPS 866134 WITH SCORE 867786.796
AT ITER 1161 NEW BEST:: SOT 2746315 SOS 1652300 HAS SOPS 1652300 HAS SOUS 865638 HAS SOUPS 865638 WITH SCORE 867290.3
AT ITER 1163 NEW BEST:: SOT 2746315 SOS 1651930 HAS SOPS 1651930 HAS SOUS 864864 HAS SOUPS 864864 WITH SCORE 866515.93
AT ITER 1165 NEW BEST:: SOT 2745773 SOS 1650846 HAS SOPS 1650846 HAS SOUS 864142 HAS SOUPS 864142 WITH SCORE 865792.846
AT ITER 1171 NEW BEST:: SOT 2745551 SOS 1649653 HAS SOPS 1649653 HAS SOUS 863543 HAS SOUPS 863543 WITH SCORE 865192.653
AT ITER 1177 NEW BEST:: SOT 2744939 SOS 1649680 HAS SOPS 1649680 HAS SOUS 863251 HAS SOUPS 863251 WITH SCORE 864900.68
AT ITER 1178 NEW BEST:: SOT 2744723 SOS 1649356 HAS SOPS 1649356 HAS SOUS 862927 HAS SOUPS 862927 WITH SCORE 864576.356
AT ITER 1181 NEW BEST:: SOT 2744670 SOS 1649263 HAS SOPS 1649263 HAS SOUS 862874 HAS SOUPS 862874 WITH SCORE 864523.263
AT ITER 1185 NEW BEST:: SOT 2744453 SOS 1649234 HAS SOPS 1649234 HAS SOUS 862657 HAS SOUPS 862657 WITH SCORE 864306.234
AT ITER 1186 NEW BEST:: SOT 2744453 SOS 1649357 HAS SOPS 1649357 HAS SOUS 862249 HAS SOUPS 862249 WITH SCORE 863898.357
AT ITER 1193 NEW BEST:: SOT 2744453 SOS 1648989 HAS SOPS 1648989 HAS SOUS 862206 HAS SOUPS 862206 WITH SCORE 863854.989
AT ITER 1197 NEW BEST:: SOT 2743627 SOS 1647937 HAS SOPS 1647937 HAS SOUS 861755 HAS SOUPS 861755 WITH SCORE 863402.937
AT ITER 1199 NEW BEST:: SOT 2742851 SOS 1647161 HAS SOPS 1647161 HAS SOUS 861755 HAS SOUPS 861755 WITH SCORE 863402.161
AT ITER 1202 NEW BEST:: SOT 2742801 SOS 1647061 HAS SOPS 1647061 HAS SOUS 861705 HAS SOUPS 861705 WITH SCORE 863352.061
AT ITER 1209 NEW BEST:: SOT 2742801 SOS 1647061 HAS SOPS 1647061 HAS SOUS 861485 HAS SOUPS 861485 WITH SCORE 863132.061
AT ITER 1211 NEW BEST:: SOT 2742801 SOS 1647061 HAS SOPS 1647061 HAS SOUS 861484 HAS SOUPS 861484 WITH SCORE 863131.061
AT ITER 1214 NEW BEST:: SOT 2742381 SOS 1646641 HAS SOPS 1646641 HAS SOUS 861242 HAS SOUPS 861242 WITH SCORE 862888.641
AT ITER 1217 NEW BEST:: SOT 2741889 SOS 1645986 HAS SOPS 1645986 HAS SOUS 860750 HAS SOUPS 860750 WITH SCORE 862395.986
AT ITER 1220 NEW BEST:: SOT 2741849 SOS 1645906 HAS SOPS 1645906 HAS SOUS 860750 HAS SOUPS 860750 WITH SCORE 862395.906
AT ITER 1224 NEW BEST:: SOT 2741651 SOS 1645713 HAS SOPS 1645713 HAS SOUS 860552 HAS SOUPS 860552 WITH SCORE 862197.713
AT ITER 1226 NEW BEST:: SOT 2741538 SOS 1644893 HAS SOPS 1644893 HAS SOUS 859806 HAS SOUPS 859806 WITH SCORE 861450.893
AT ITER 1229 NEW BEST:: SOT 2739498 SOS 1641747 HAS SOPS 1641747 HAS SOUS 857729 HAS SOUPS 857729 WITH SCORE 859370.747
AT ITER 1233 NEW BEST:: SOT 2739498 SOS 1641747 HAS SOPS 1641747 HAS SOUS 857687 HAS SOUPS 857687 WITH SCORE 859328.747
AT ITER 1235 NEW BEST:: SOT 2737905 SOS 1637744 HAS SOPS 1637744 HAS SOUS 855297 HAS SOUPS 855297 WITH SCORE 856934.744
AT ITER 1238 NEW BEST:: SOT 2736910 SOS 1637135 HAS SOPS 1637135 HAS SOUS 855267 HAS SOUPS 855267 WITH SCORE 856904.135
AT ITER 1239 NEW BEST:: SOT 2736638 SOS 1635889 HAS SOPS 1635889 HAS SOUS 854728 HAS SOUPS 854728 WITH SCORE 856363.889
AT ITER 1242 NEW BEST:: SOT 2736627 SOS 1635845 HAS SOPS 1635845 HAS SOUS 854706 HAS SOUPS 854706 WITH SCORE 856341.845
AT ITER 1243 NEW BEST:: SOT 2736080 SOS 1635250 HAS SOPS 1635250 HAS SOUS 854111 HAS SOUPS 854111 WITH SCORE 855746.25
AT ITER 1248 NEW BEST:: SOT 2735521 SOS 1634132 HAS SOPS 1634132 HAS SOUS 853604 HAS SOUPS 853604 WITH SCORE 855238.132
AT ITER 1254 NEW BEST:: SOT 2735521 SOS 1632963 HAS SOPS 1632963 HAS SOUS 852628 HAS SOUPS 852628 WITH SCORE 854260.963
AT ITER 1255 NEW BEST:: SOT 2734606 SOS 1629302 HAS SOPS 1629302 HAS SOUS 851316 HAS SOUPS 851316 WITH SCORE 852945.302
AT ITER 1260 NEW BEST:: SOT 2734568 SOS 1629226 HAS SOPS 1629226 HAS SOUS 851240 HAS SOUPS 851240 WITH SCORE 852869.226
AT ITER 1264 NEW BEST:: SOT 2733755 SOS 1628413 HAS SOPS 1628413 HAS SOUS 851187 HAS SOUPS 851187 WITH SCORE 852815.413
AT ITER 1267 NEW BEST:: SOT 2733322 SOS 1627033 HAS SOPS 1627033 HAS SOUS 849967 HAS SOUPS 849967 WITH SCORE 851594.033
AT ITER 1270 NEW BEST:: SOT 2733322 SOS 1627033 HAS SOPS 1627033 HAS SOUS 849939 HAS SOUPS 849939 WITH SCORE 851566.033
AT ITER 1272 NEW BEST:: SOT 2733322 SOS 1626881 HAS SOPS 1626881 HAS SOUS 849787 HAS SOUPS 849787 WITH SCORE 851413.881
AT ITER 1275 NEW BEST:: SOT 2733103 SOS 1626625 HAS SOPS 1626625 HAS SOUS 849568 HAS SOUPS 849568 WITH SCORE 851194.625
AT ITER 1283 NEW BEST:: SOT 2732921 SOS 1627280 HAS SOPS 1627280 HAS SOUS 848822 HAS SOUPS 848822 WITH SCORE 850449.28
AT ITER 1284 NEW BEST:: SOT 2732921 SOS 1627217 HAS SOPS 1627217 HAS SOUS 848822 HAS SOUPS 848822 WITH SCORE 850449.217
AT ITER 1285 NEW BEST:: SOT 2733042 SOS 1626755 HAS SOPS 1626755 HAS SOUS 848652 HAS SOUPS 848652 WITH SCORE 850278.755
AT ITER 1288 NEW BEST:: SOT 2732999 SOS 1626669 HAS SOPS 1626669 HAS SOUS 848566 HAS SOUPS 848566 WITH SCORE 850192.669
AT ITER 1291 NEW BEST:: SOT 2732717 SOS 1626243 HAS SOPS 1626243 HAS SOUS 848284 HAS SOUPS 848284 WITH SCORE 849910.243
AT ITER 1295 NEW BEST:: SOT 2731718 SOS 1622876 HAS SOPS 1622876 HAS SOUS 846567 HAS SOUPS 846567 WITH SCORE 848189.876
AT ITER 1296 NEW BEST:: SOT 2732188 SOS 1623816 HAS SOPS 1623816 HAS SOUS 846432 HAS SOUPS 846432 WITH SCORE 848055.816
AT ITER 1306 NEW BEST:: SOT 2732183 SOS 1623811 HAS SOPS 1623811 HAS SOUS 846427 HAS SOUPS 846427 WITH SCORE 848050.811
AT ITER 1316 NEW BEST:: SOT 2730994 SOS 1622622 HAS SOPS 1622622 HAS SOUS 845305 HAS SOUPS 845305 WITH SCORE 846927.622
AT ITER 1333 NEW BEST:: SOT 2730455 SOS 1619922 HAS SOPS 1619922 HAS SOUS 844347 HAS SOUPS 844347 WITH SCORE 845966.922
AT ITER 1337 NEW BEST:: SOT 2729611 SOS 1619292 HAS SOPS 1619292 HAS SOUS 843715 HAS SOUPS 843715 WITH SCORE 845334.292
AT ITER 1346 NEW BEST:: SOT 2729425 SOS 1619088 HAS SOPS 1619088 HAS SOUS 843511 HAS SOUPS 843511 WITH SCORE 845130.088
AT ITER 1349 NEW BEST:: SOT 2729425 SOS 1619018 HAS SOPS 1619018 HAS SOUS 843476 HAS SOUPS 843476 WITH SCORE 845095.018
AT ITER 1353 NEW BEST:: SOT 2729257 SOS 1618850 HAS SOPS 1618850 HAS SOUS 843465 HAS SOUPS 843465 WITH SCORE 845083.85
AT ITER 1357 NEW BEST:: SOT 2729257 SOS 1618850 HAS SOPS 1618850 HAS SOUS 843237 HAS SOUPS 843237 WITH SCORE 844855.85
AT ITER 1363 NEW BEST:: SOT 2729228 SOS 1618792 HAS SOPS 1618792 HAS SOUS 843208 HAS SOUPS 843208 WITH SCORE 844826.792
AT ITER 1364 NEW BEST:: SOT 2729565 SOS 1617928 HAS SOPS 1617928 HAS SOUS 842775 HAS SOUPS 842775 WITH SCORE 844392.928
AT ITER 1367 NEW BEST:: SOT 2729676 SOS 1618472 HAS SOPS 1618472 HAS SOUS 842763 HAS SOUPS 842763 WITH SCORE 844381.472
AT ITER 1368 NEW BEST:: SOT 2729676 SOS 1618472 HAS SOPS 1618472 HAS SOUS 842559 HAS SOUPS 842559 WITH SCORE 844177.472
AT ITER 1370 NEW BEST:: SOT 2727071 SOS 1614446 HAS SOPS 1614446 HAS SOUS 839873 HAS SOUPS 839873 WITH SCORE 841487.446
AT ITER 1385 NEW BEST:: SOT 2727071 SOS 1614446 HAS SOPS 1614446 HAS SOUS 839872 HAS SOUPS 839872 WITH SCORE 841486.446
AT ITER 1399 NEW BEST:: SOT 2727071 SOS 1614446 HAS SOPS 1614446 HAS SOUS 839677 HAS SOUPS 839677 WITH SCORE 841291.446
AT ITER 1405 NEW BEST:: SOT 2726360 SOS 1613679 HAS SOPS 1613679 HAS SOUS 838357 HAS SOUPS 838357 WITH SCORE 839970.679
AT ITER 1408 NEW BEST:: SOT 2724787 SOS 1609176 HAS SOPS 1609176 HAS SOUS 835997 HAS SOUPS 835997 WITH SCORE 837606.176
AT ITER 1413 NEW BEST:: SOT 2725014 SOS 1608488 HAS SOPS 1608488 HAS SOUS 835314 HAS SOUPS 835314 WITH SCORE 836922.488
AT ITER 1417 NEW BEST:: SOT 2725014 SOS 1607626 HAS SOPS 1607626 HAS SOUS 834750 HAS SOUPS 834750 WITH SCORE 836357.626
AT ITER 1420 NEW BEST:: SOT 2724568 SOS 1607180 HAS SOPS 1607180 HAS SOUS 834750 HAS SOUPS 834750 WITH SCORE 836357.18
AT ITER 1433 NEW BEST:: SOT 2724463 SOS 1607075 HAS SOPS 1607075 HAS SOUS 834645 HAS SOUPS 834645 WITH SCORE 836252.075
AT ITER 1439 NEW BEST:: SOT 2724582 SOS 1607216 HAS SOPS 1607216 HAS SOUS 834106 HAS SOUPS 834106 WITH SCORE 835713.216
AT ITER 1442 NEW BEST:: SOT 2724582 SOS 1605747 HAS SOPS 1605747 HAS SOUS 834106 HAS SOUPS 834106 WITH SCORE 835711.747
AT ITER 1443 NEW BEST:: SOT 2724582 SOS 1605747 HAS SOPS 1605747 HAS SOUS 833718 HAS SOUPS 833718 WITH SCORE 835323.747
AT ITER 1446 NEW BEST:: SOT 2724660 SOS 1605434 HAS SOPS 1605434 HAS SOUS 833689 HAS SOUPS 833689 WITH SCORE 835294.434
AT ITER 1449 NEW BEST:: SOT 2724588 SOS 1605362 HAS SOPS 1605362 HAS SOUS 833101 HAS SOUPS 833101 WITH SCORE 834706.362
AT ITER 1462 NEW BEST:: SOT 2723977 SOS 1604751 HAS SOPS 1604751 HAS SOUS 833101 HAS SOUPS 833101 WITH SCORE 834705.751
AT ITER 1463 NEW BEST:: SOT 2723977 SOS 1604496 HAS SOPS 1604496 HAS SOUS 833090 HAS SOUPS 833090 WITH SCORE 834694.496
AT ITER 1466 NEW BEST:: SOT 2723431 SOS 1604146 HAS SOPS 1604146 HAS SOUS 832624 HAS SOUPS 832624 WITH SCORE 834228.146
AT ITER 1467 NEW BEST:: SOT 2723561 SOS 1604276 HAS SOPS 1604276 HAS SOUS 832339 HAS SOUPS 832339 WITH SCORE 833943.276
AT ITER 1471 NEW BEST:: SOT 2722287 SOS 1602445 HAS SOPS 1602445 HAS SOUS 831153 HAS SOUPS 831153 WITH SCORE 832755.445
AT ITER 1472 NEW BEST:: SOT 2722287 SOS 1602015 HAS SOPS 1602015 HAS SOUS 830884 HAS SOUPS 830884 WITH SCORE 832486.015
AT ITER 1481 NEW BEST:: SOT 2721912 SOS 1599968 HAS SOPS 1599968 HAS SOUS 830071 HAS SOUPS 830071 WITH SCORE 831670.968
AT ITER 1484 NEW BEST:: SOT 2721511 SOS 1599012 HAS SOPS 1599012 HAS SOUS 829115 HAS SOUPS 829115 WITH SCORE 830714.012
AT ITER 1485 NEW BEST:: SOT 2720613 SOS 1598114 HAS SOPS 1598114 HAS SOUS 828867 HAS SOUPS 828867 WITH SCORE 830465.114
AT ITER 1491 NEW BEST:: SOT 2720766 SOS 1598181 HAS SOPS 1598181 HAS SOUS 828822 HAS SOUPS 828822 WITH SCORE 830420.181
AT ITER 1495 NEW BEST:: SOT 2720523 SOS 1597772 HAS SOPS 1597772 HAS SOUS 828578 HAS SOUPS 828578 WITH SCORE 830175.772
AT ITER 1497 NEW BEST:: SOT 2720355 SOS 1597436 HAS SOPS 1597436 HAS SOUS 828477 HAS SOUPS 828477 WITH SCORE 830074.436
AT ITER 1498 NEW BEST:: SOT 2719592 SOS 1593010 HAS SOPS 1593010 HAS SOUS 826293 HAS SOUPS 826293 WITH SCORE 827886.01
AT ITER 1504 NEW BEST:: SOT 2719592 SOS 1592821 HAS SOPS 1592821 HAS SOUS 826293 HAS SOUPS 826293 WITH SCORE 827885.821
AT ITER 1506 NEW BEST:: SOT 2718751 SOS 1591139 HAS SOPS 1591139 HAS SOUS 825936 HAS SOUPS 825936 WITH SCORE 827527.139
AT ITER 1513 NEW BEST:: SOT 2718630 SOS 1591018 HAS SOPS 1591018 HAS SOUS 825826 HAS SOUPS 825826 WITH SCORE 827417.018
AT ITER 1514 NEW BEST:: SOT 2718536 SOS 1590924 HAS SOPS 1590924 HAS SOUS 825732 HAS SOUPS 825732 WITH SCORE 827322.924
AT ITER 1516 NEW BEST:: SOT 2718536 SOS 1590853 HAS SOPS 1590853 HAS SOUS 825590 HAS SOUPS 825590 WITH SCORE 827180.853
AT ITER 1517 NEW BEST:: SOT 2718395 SOS 1590712 HAS SOPS 1590712 HAS SOUS 825590 HAS SOUPS 825590 WITH SCORE 827180.712
AT ITER 1520 NEW BEST:: SOT 2718246 SOS 1590414 HAS SOPS 1590414 HAS SOUS 825342 HAS SOUPS 825342 WITH SCORE 826932.414
AT ITER 1527 NEW BEST:: SOT 2718246 SOS 1590264 HAS SOPS 1590264 HAS SOUS 825214 HAS SOUPS 825214 WITH SCORE 826804.264
AT ITER 1540 NEW BEST:: SOT 2718204 SOS 1590222 HAS SOPS 1590222 HAS SOUS 825172 HAS SOUPS 825172 WITH SCORE 826762.222
AT ITER 1541 NEW BEST:: SOT 2717677 SOS 1589278 HAS SOPS 1589278 HAS SOUS 824515 HAS SOUPS 824515 WITH SCORE 826104.278
AT ITER 1543 NEW BEST:: SOT 2717677 SOS 1589097 HAS SOPS 1589097 HAS SOUS 824374 HAS SOUPS 824374 WITH SCORE 825963.097
AT ITER 1549 NEW BEST:: SOT 2717617 SOS 1589026 HAS SOPS 1589026 HAS SOUS 824314 HAS SOUPS 824314 WITH SCORE 825903.026
AT ITER 1552 NEW BEST:: SOT 2717410 SOS 1589048 HAS SOPS 1589048 HAS SOUS 824107 HAS SOUPS 824107 WITH SCORE 825696.048
AT ITER 1555 NEW BEST:: SOT 2717173 SOS 1588337 HAS SOPS 1588337 HAS SOUS 823870 HAS SOUPS 823870 WITH SCORE 825458.337
AT ITER 1585 NEW BEST:: SOT 2717122 SOS 1588235 HAS SOPS 1588235 HAS SOUS 823818 HAS SOUPS 823818 WITH SCORE 825406.235
AT ITER 1591 NEW BEST:: SOT 2717122 SOS 1588235 HAS SOPS 1588235 HAS SOUS 823681 HAS SOUPS 823681 WITH SCORE 825269.235
AT ITER 1593 NEW BEST:: SOT 2716103 SOS 1586830 HAS SOPS 1586830 HAS SOUS 822711 HAS SOUPS 822711 WITH SCORE 824297.83
AT ITER 1600 NEW BEST:: SOT 2715622 SOS 1583862 HAS SOPS 1583862 HAS SOUS 821110 HAS SOUPS 821110 WITH SCORE 822693.862
AT ITER 1602 NEW BEST:: SOT 2716041 SOS 1583961 HAS SOPS 1583961 HAS SOUS 820993 HAS SOUPS 820993 WITH SCORE 822576.961
AT ITER 1603 NEW BEST:: SOT 2715175 SOS 1583095 HAS SOPS 1583095 HAS SOUS 820127 HAS SOUPS 820127 WITH SCORE 821710.095
AT ITER 1605 NEW BEST:: SOT 2714583 SOS 1580744 HAS SOPS 1580744 HAS SOUS 819084 HAS SOUPS 819084 WITH SCORE 820664.744
AT ITER 1609 NEW BEST:: SOT 2714462 SOS 1580502 HAS SOPS 1580502 HAS SOUS 819084 HAS SOUPS 819084 WITH SCORE 820664.502
AT ITER 1611 NEW BEST:: SOT 2714251 SOS 1580080 HAS SOPS 1580080 HAS SOUS 818662 HAS SOUPS 818662 WITH SCORE 820242.08
AT ITER 1614 NEW BEST:: SOT 2714211 SOS 1580243 HAS SOPS 1580243 HAS SOUS 818645 HAS SOUPS 818645 WITH SCORE 820225.243
AT ITER 1624 NEW BEST:: SOT 2714211 SOS 1580243 HAS SOPS 1580243 HAS SOUS 818644 HAS SOUPS 818644 WITH SCORE 820224.243
AT ITER 1625 NEW BEST:: SOT 2713844 SOS 1579876 HAS SOPS 1579876 HAS SOUS 818277 HAS SOUPS 818277 WITH SCORE 819856.876
AT ITER 1628 NEW BEST:: SOT 2713694 SOS 1579191 HAS SOPS 1579191 HAS SOUS 816935 HAS SOUPS 816935 WITH SCORE 818514.191
AT ITER 1629 NEW BEST:: SOT 2713470 SOS 1578967 HAS SOPS 1578967 HAS SOUS 816711 HAS SOUPS 816711 WITH SCORE 818289.967
AT ITER 1631 NEW BEST:: SOT 2711934 SOS 1590775 HAS SOPS 1590775 HAS SOUS 816561 HAS SOUPS 816561 WITH SCORE 818151.775
AT ITER 1633 NEW BEST:: SOT 2708077 SOS 1602357 HAS SOPS 1602357 HAS SOUS 815079 HAS SOUPS 815079 WITH SCORE 816681.357
AT ITER 1639 NEW BEST:: SOT 2708077 SOS 1602357 HAS SOPS 1602357 HAS SOUS 815078 HAS SOUPS 815078 WITH SCORE 816680.357
AT ITER 1640 NEW BEST:: SOT 2707753 SOS 1603528 HAS SOPS 1603528 HAS SOUS 814218 HAS SOUPS 814218 WITH SCORE 815821.528
AT ITER 1645 NEW BEST:: SOT 2706711 SOS 1602879 HAS SOPS 1602879 HAS SOUS 813279 HAS SOUPS 813279 WITH SCORE 814881.879
AT ITER 1647 NEW BEST:: SOT 2706527 SOS 1602020 HAS SOPS 1602020 HAS SOUS 813095 HAS SOUPS 813095 WITH SCORE 814697.02
AT ITER 1649 NEW BEST:: SOT 2706622 SOS 1601379 HAS SOPS 1601379 HAS SOUS 812598 HAS SOUPS 812598 WITH SCORE 814199.379
AT ITER 1651 NEW BEST:: SOT 2706622 SOS 1601038 HAS SOPS 1601038 HAS SOUS 812597 HAS SOUPS 812597 WITH SCORE 814198.038
AT ITER 1658 NEW BEST:: SOT 2706622 SOS 1601038 HAS SOPS 1601038 HAS SOUS 812590 HAS SOUPS 812590 WITH SCORE 814191.038
AT ITER 1660 NEW BEST:: SOT 2706622 SOS 1601039 HAS SOPS 1601039 HAS SOUS 812039 HAS SOUPS 812039 WITH SCORE 813640.039
AT ITER 1674 NEW BEST:: SOT 2706542 SOS 1599645 HAS SOPS 1599645 HAS SOUS 811986 HAS SOUPS 811986 WITH SCORE 813585.645
AT ITER 1677 NEW BEST:: SOT 2706307 SOS 1599175 HAS SOPS 1599175 HAS SOUS 811516 HAS SOUPS 811516 WITH SCORE 813115.175
AT ITER 1680 NEW BEST:: SOT 2706157 SOS 1599025 HAS SOPS 1599025 HAS SOUS 811366 HAS SOUPS 811366 WITH SCORE 812965.025
AT ITER 1681 NEW BEST:: SOT 2705607 SOS 1598475 HAS SOPS 1598475 HAS SOUS 811275 HAS SOUPS 811275 WITH SCORE 812873.475
AT ITER 1687 NEW BEST:: SOT 2705223 SOS 1597043 HAS SOPS 1597043 HAS SOUS 810227 HAS SOUPS 810227 WITH SCORE 811824.043
AT ITER 1690 NEW BEST:: SOT 2705223 SOS 1597037 HAS SOPS 1597037 HAS SOUS 809764 HAS SOUPS 809764 WITH SCORE 811361.037
AT ITER 1692 NEW BEST:: SOT 2705204 SOS 1597567 HAS SOPS 1597567 HAS SOUS 809695 HAS SOUPS 809695 WITH SCORE 811292.567
AT ITER 1705 NEW BEST:: SOT 2703229 SOS 1594390 HAS SOPS 1594390 HAS SOUS 807720 HAS SOUPS 807720 WITH SCORE 809314.39
AT ITER 1708 NEW BEST:: SOT 2702599 SOS 1593985 HAS SOPS 1593985 HAS SOUS 807194 HAS SOUPS 807194 WITH SCORE 808787.985
AT ITER 1711 NEW BEST:: SOT 2702599 SOS 1593547 HAS SOPS 1593547 HAS SOUS 807176 HAS SOUPS 807176 WITH SCORE 808769.547
AT ITER 1714 NEW BEST:: SOT 2702483 SOS 1593315 HAS SOPS 1593315 HAS SOUS 806946 HAS SOUPS 806946 WITH SCORE 808539.315
AT ITER 1719 NEW BEST:: SOT 2702402 SOS 1593234 HAS SOPS 1593234 HAS SOUS 806865 HAS SOUPS 806865 WITH SCORE 808458.234
AT ITER 1720 NEW BEST:: SOT 2701390 SOS 1592222 HAS SOPS 1592222 HAS SOUS 806779 HAS SOUPS 806779 WITH SCORE 808371.222
AT ITER 1721 NEW BEST:: SOT 2701289 SOS 1592429 HAS SOPS 1592429 HAS SOUS 806343 HAS SOUPS 806343 WITH SCORE 807935.429
AT ITER 1723 NEW BEST:: SOT 2701192 SOS 1592332 HAS SOPS 1592332 HAS SOUS 806343 HAS SOUPS 806343 WITH SCORE 807935.332
AT ITER 1725 NEW BEST:: SOT 2701192 SOS 1591807 HAS SOPS 1591807 HAS SOUS 806084 HAS SOUPS 806084 WITH SCORE 807675.807
AT ITER 1729 NEW BEST:: SOT 2701271 SOS 1590447 HAS SOPS 1590447 HAS SOUS 805517 HAS SOUPS 805517 WITH SCORE 807107.447
AT ITER 1731 NEW BEST:: SOT 2701044 SOS 1589155 HAS SOPS 1589155 HAS SOUS 804766 HAS SOUPS 804766 WITH SCORE 806355.155
AT ITER 1735 NEW BEST:: SOT 2700253 SOS 1586096 HAS SOPS 1586096 HAS SOUS 803312 HAS SOUPS 803312 WITH SCORE 804898.096
AT ITER 1738 NEW BEST:: SOT 2700253 SOS 1585653 HAS SOPS 1585653 HAS SOUS 802598 HAS SOUPS 802598 WITH SCORE 804183.653
AT ITER 1742 NEW BEST:: SOT 2700253 SOS 1585653 HAS SOPS 1585653 HAS SOUS 802061 HAS SOUPS 802061 WITH SCORE 803646.653
AT ITER 1743 NEW BEST:: SOT 2700253 SOS 1585653 HAS SOPS 1585653 HAS SOUS 801474 HAS SOUPS 801474 WITH SCORE 803059.653
AT ITER 1748 NEW BEST:: SOT 2700253 SOS 1585651 HAS SOPS 1585651 HAS SOUS 801472 HAS SOUPS 801472 WITH SCORE 803057.651
AT ITER 1751 NEW BEST:: SOT 2700178 SOS 1585405 HAS SOPS 1585405 HAS SOUS 801397 HAS SOUPS 801397 WITH SCORE 802982.405
AT ITER 1753 NEW BEST:: SOT 2699677 SOS 1584905 HAS SOPS 1584905 HAS SOUS 801053 HAS SOUPS 801053 WITH SCORE 802637.905
AT ITER 1755 NEW BEST:: SOT 2699560 SOS 1583514 HAS SOPS 1583514 HAS SOUS 799942 HAS SOUPS 799942 WITH SCORE 801525.514
AT ITER 1760 NEW BEST:: SOT 2699012 SOS 1582777 HAS SOPS 1582777 HAS SOUS 799394 HAS SOUPS 799394 WITH SCORE 800976.777
AT ITER 1761 NEW BEST:: SOT 2698979 SOS 1582711 HAS SOPS 1582711 HAS SOUS 799002 HAS SOUPS 799002 WITH SCORE 800584.711
AT ITER 1763 NEW BEST:: SOT 2687399 SOS 1578831 HAS SOPS 1578831 HAS SOUS 788982 HAS SOUPS 788982 WITH SCORE 790560.831
AT ITER 1771 NEW BEST:: SOT 2687399 SOS 1578831 HAS SOPS 1578831 HAS SOUS 788966 HAS SOUPS 788966 WITH SCORE 790544.831
AT ITER 1774 NEW BEST:: SOT 2686970 SOS 1578402 HAS SOPS 1578402 HAS SOUS 788966 HAS SOUPS 788966 WITH SCORE 790544.402
AT ITER 1777 NEW BEST:: SOT 2686644 SOS 1578098 HAS SOPS 1578098 HAS SOUS 788627 HAS SOUPS 788627 WITH SCORE 790205.098
AT ITER 1779 NEW BEST:: SOT 2686390 SOS 1577844 HAS SOPS 1577844 HAS SOUS 788626 HAS SOUPS 788626 WITH SCORE 790203.844
AT ITER 1780 NEW BEST:: SOT 2686291 SOS 1577745 HAS SOPS 1577745 HAS SOUS 788626 HAS SOUPS 788626 WITH SCORE 790203.745
AT ITER 1783 NEW BEST:: SOT 2679127 SOS 1594308 HAS SOPS 1594308 HAS SOUS 786109 HAS SOUPS 786109 WITH SCORE 787703.308
AT ITER 1784 NEW BEST:: SOT 2678969 SOS 1594150 HAS SOPS 1594150 HAS SOUS 786106 HAS SOUPS 786106 WITH SCORE 787700.15
AT ITER 1789 NEW BEST:: SOT 2678809 SOS 1593830 HAS SOPS 1593830 HAS SOUS 785786 HAS SOUPS 785786 WITH SCORE 787379.83
AT ITER 1791 NEW BEST:: SOT 2678769 SOS 1593750 HAS SOPS 1593750 HAS SOUS 785746 HAS SOUPS 785746 WITH SCORE 787339.75
AT ITER 1804 NEW BEST:: SOT 2678752 SOS 1593716 HAS SOPS 1593716 HAS SOUS 785729 HAS SOUPS 785729 WITH SCORE 787322.716
AT ITER 1809 NEW BEST:: SOT 2678752 SOS 1593716 HAS SOPS 1593716 HAS SOUS 785562 HAS SOUPS 785562 WITH SCORE 787155.716
AT ITER 1817 NEW BEST:: SOT 2678752 SOS 1593716 HAS SOPS 1593716 HAS SOUS 785430 HAS SOUPS 785430 WITH SCORE 787023.716
AT ITER 1819 NEW BEST:: SOT 2678779 SOS 1593770 HAS SOPS 1593770 HAS SOUS 784766 HAS SOUPS 784766 WITH SCORE 786359.77
AT ITER 1828 NEW BEST:: SOT 2678780 SOS 1593725 HAS SOPS 1593725 HAS SOUS 784428 HAS SOUPS 784428 WITH SCORE 786021.725
AT ITER 1836 NEW BEST:: SOT 2678777 SOS 1593551 HAS SOPS 1593551 HAS SOUS 784425 HAS SOUPS 784425 WITH SCORE 786018.551
AT ITER 1842 NEW BEST:: SOT 2679141 SOS 1593915 HAS SOPS 1593915 HAS SOUS 784181 HAS SOUPS 784181 WITH SCORE 785774.915
AT ITER 1856 NEW BEST:: SOT 2678726 SOS 1593500 HAS SOPS 1593500 HAS SOUS 784181 HAS SOUPS 784181 WITH SCORE 785774.5
AT ITER 1862 NEW BEST:: SOT 2678466 SOS 1593450 HAS SOPS 1593450 HAS SOUS 784131 HAS SOUPS 784131 WITH SCORE 785724.45
AT ITER 1863 NEW BEST:: SOT 2678267 SOS 1593251 HAS SOPS 1593251 HAS SOUS 784096 HAS SOUPS 784096 WITH SCORE 785689.251
AT ITER 1865 NEW BEST:: SOT 2678267 SOS 1593251 HAS SOPS 1593251 HAS SOUS 783696 HAS SOUPS 783696 WITH SCORE 785289.251
AT ITER 1869 NEW BEST:: SOT 2678288 SOS 1592170 HAS SOPS 1592170 HAS SOUS 782791 HAS SOUPS 782791 WITH SCORE 784383.17
AT ITER 1875 NEW BEST:: SOT 2678176 SOS 1590833 HAS SOPS 1590833 HAS SOUS 782066 HAS SOUPS 782066 WITH SCORE 783656.833
AT ITER 1876 NEW BEST:: SOT 2678176 SOS 1590481 HAS SOPS 1590481 HAS SOUS 782053 HAS SOUPS 782053 WITH SCORE 783643.481
AT ITER 1878 NEW BEST:: SOT 2678039 SOS 1590344 HAS SOPS 1590344 HAS SOUS 781916 HAS SOUPS 781916 WITH SCORE 783506.344
AT ITER 1884 NEW BEST:: SOT 2678039 SOS 1590303 HAS SOPS 1590303 HAS SOUS 781875 HAS SOUPS 781875 WITH SCORE 783465.303
AT ITER 1891 NEW BEST:: SOT 2678039 SOS 1590012 HAS SOPS 1590012 HAS SOUS 781539 HAS SOUPS 781539 WITH SCORE 783129.012
AT ITER 1893 NEW BEST:: SOT 2677590 SOS 1588216 HAS SOPS 1588216 HAS SOUS 780192 HAS SOUPS 780192 WITH SCORE 781780.216
AT ITER 1898 NEW BEST:: SOT 2677590 SOS 1588091 HAS SOPS 1588091 HAS SOUS 779942 HAS SOUPS 779942 WITH SCORE 781530.091
AT ITER 1918 NEW BEST:: SOT 2677575 SOS 1587409 HAS SOPS 1587409 HAS SOUS 779804 HAS SOUPS 779804 WITH SCORE 781391.409
AT ITER 1919 NEW BEST:: SOT 2677358 SOS 1587544 HAS SOPS 1587544 HAS SOUS 779587 HAS SOUPS 779587 WITH SCORE 781174.544
AT ITER 1924 NEW BEST:: SOT 2676344 SOS 1585854 HAS SOPS 1585854 HAS SOUS 778235 HAS SOUPS 778235 WITH SCORE 779820.854
AT ITER 1932 NEW BEST:: SOT 2676083 SOS 1585593 HAS SOPS 1585593 HAS SOUS 777973 HAS SOUPS 777973 WITH SCORE 779558.593
AT ITER 1934 NEW BEST:: SOT 2676046 SOS 1585519 HAS SOPS 1585519 HAS SOUS 777936 HAS SOUPS 777936 WITH SCORE 779521.519
AT ITER 1935 NEW BEST:: SOT 2675852 SOS 1585325 HAS SOPS 1585325 HAS SOUS 777645 HAS SOUPS 777645 WITH SCORE 779230.325
AT ITER 1938 NEW BEST:: SOT 2675852 SOS 1585325 HAS SOPS 1585325 HAS SOUS 777384 HAS SOUPS 777384 WITH SCORE 778969.325
AT ITER 1940 NEW BEST:: SOT 2675852 SOS 1585325 HAS SOPS 1585325 HAS SOUS 777220 HAS SOUPS 777220 WITH SCORE 778805.325
AT ITER 1942 NEW BEST:: SOT 2675852 SOS 1584964 HAS SOPS 1584964 HAS SOUS 776859 HAS SOUPS 776859 WITH SCORE 778443.964
AT ITER 1943 NEW BEST:: SOT 2675557 SOS 1584669 HAS SOPS 1584669 HAS SOUS 776572 HAS SOUPS 776572 WITH SCORE 778156.669
AT ITER 1947 NEW BEST:: SOT 2675557 SOS 1584365 HAS SOPS 1584365 HAS SOUS 776451 HAS SOUPS 776451 WITH SCORE 778035.365
AT ITER 1963 NEW BEST:: SOT 2675403 SOS 1584315 HAS SOPS 1584315 HAS SOUS 776393 HAS SOUPS 776393 WITH SCORE 777977.315
AT ITER 1970 NEW BEST:: SOT 2675348 SOS 1584260 HAS SOPS 1584260 HAS SOUS 776338 HAS SOUPS 776338 WITH SCORE 777922.26
AT ITER 1973 NEW BEST:: SOT 2675348 SOS 1584361 HAS SOPS 1584361 HAS SOUS 776074 HAS SOUPS 776074 WITH SCORE 777658.361
AT ITER 1982 NEW BEST:: SOT 2675212 SOS 1584327 HAS SOPS 1584327 HAS SOUS 775921 HAS SOUPS 775921 WITH SCORE 777505.327
AT ITER 1992 NEW BEST:: SOT 2675212 SOS 1583966 HAS SOPS 1583966 HAS SOUS 775547 HAS SOUPS 775547 WITH SCORE 777130.966
AT ITER 1993 NEW BEST:: SOT 2674433 SOS 1582884 HAS SOPS 1582884 HAS SOUS 775361 HAS SOUPS 775361 WITH SCORE 776943.884
AT ITER 1999 NEW BEST:: SOT 2674433 SOS 1582876 HAS SOPS 1582876 HAS SOUS 774757 HAS SOUPS 774757 WITH SCORE 776339.876
AT ITER 2001 NEW BEST:: SOT 2673829 SOS 1581403 HAS SOPS 1581403 HAS SOUS 773527 HAS SOUPS 773527 WITH SCORE 775108.403
AT ITER 2003 NEW BEST:: SOT 2673626 SOS 1580997 HAS SOPS 1580997 HAS SOUS 773121 HAS SOUPS 773121 WITH SCORE 774701.997
AT ITER 2007 NEW BEST:: SOT 2673800 SOS 1580978 HAS SOPS 1580978 HAS SOUS 772755 HAS SOUPS 772755 WITH SCORE 774335.978
AT ITER 2017 NEW BEST:: SOT 2673879 SOS 1578936 HAS SOPS 1578936 HAS SOUS 772492 HAS SOUPS 772492 WITH SCORE 774070.936
AT ITER 2022 NEW BEST:: SOT 2673536 SOS 1578339 HAS SOPS 1578339 HAS SOUS 772226 HAS SOUPS 772226 WITH SCORE 773804.339
AT ITER 2023 NEW BEST:: SOT 2673066 SOS 1578117 HAS SOPS 1578117 HAS SOUS 771535 HAS SOUPS 771535 WITH SCORE 773113.117
AT ITER 2029 NEW BEST:: SOT 2672785 SOS 1577843 HAS SOPS 1577843 HAS SOUS 771117 HAS SOUPS 771117 WITH SCORE 772694.843
AT ITER 2039 NEW BEST:: SOT 2671759 SOS 1576499 HAS SOPS 1576499 HAS SOUS 770491 HAS SOUPS 770491 WITH SCORE 772067.499
AT ITER 2044 NEW BEST:: SOT 2671709 SOS 1576919 HAS SOPS 1576919 HAS SOUS 770441 HAS SOUPS 770441 WITH SCORE 772017.919
AT ITER 2058 NEW BEST:: SOT 2671057 SOS 1576267 HAS SOPS 1576267 HAS SOUS 770425 HAS SOUPS 770425 WITH SCORE 772001.267
AT ITER 2059 NEW BEST:: SOT 2671057 SOS 1575591 HAS SOPS 1575591 HAS SOUS 770425 HAS SOUPS 770425 WITH SCORE 772000.591
AT ITER 2065 NEW BEST:: SOT 2670983 SOS 1575517 HAS SOPS 1575517 HAS SOUS 770424 HAS SOUPS 770424 WITH SCORE 771999.517
AT ITER 2074 NEW BEST:: SOT 2670983 SOS 1575425 HAS SOPS 1575425 HAS SOUS 770096 HAS SOUPS 770096 WITH SCORE 771671.425
AT ITER 2075 NEW BEST:: SOT 2670983 SOS 1575157 HAS SOPS 1575157 HAS SOUS 769635 HAS SOUPS 769635 WITH SCORE 771210.157
AT ITER 2076 NEW BEST:: SOT 2671628 SOS 1575778 HAS SOPS 1575778 HAS SOUS 769618 HAS SOUPS 769618 WITH SCORE 771193.778
AT ITER 2079 NEW BEST:: SOT 2671777 SOS 1575494 HAS SOPS 1575494 HAS SOUS 769516 HAS SOUPS 769516 WITH SCORE 771091.494
AT ITER 2086 NEW BEST:: SOT 2671439 SOS 1575156 HAS SOPS 1575156 HAS SOUS 769179 HAS SOUPS 769179 WITH SCORE 770754.156
AT ITER 2090 NEW BEST:: SOT 2661639 SOS 1566116 HAS SOPS 1566116 HAS SOUS 759454 HAS SOUPS 759454 WITH SCORE 761020.116
AT ITER 2091 NEW BEST:: SOT 2661403 SOS 1565644 HAS SOPS 1565644 HAS SOUS 759350 HAS SOUPS 759350 WITH SCORE 760915.644
AT ITER 2095 NEW BEST:: SOT 2661403 SOS 1564620 HAS SOPS 1564620 HAS SOUS 758838 HAS SOUPS 758838 WITH SCORE 760402.62
AT ITER 2097 NEW BEST:: SOT 2661403 SOS 1563974 HAS SOPS 1563974 HAS SOUS 758576 HAS SOUPS 758576 WITH SCORE 760139.974
AT ITER 2098 NEW BEST:: SOT 2661586 SOS 1563806 HAS SOPS 1563806 HAS SOUS 757974 HAS SOUPS 757974 WITH SCORE 759537.806
AT ITER 2105 NEW BEST:: SOT 2661334 SOS 1563050 HAS SOPS 1563050 HAS SOUS 757469 HAS SOUPS 757469 WITH SCORE 759032.05
AT ITER 2115 NEW BEST:: SOT 2661173 SOS 1563312 HAS SOPS 1563312 HAS SOUS 757390 HAS SOUPS 757390 WITH SCORE 758953.312
AT ITER 2116 NEW BEST:: SOT 2660606 SOS 1562745 HAS SOPS 1562745 HAS SOUS 757031 HAS SOUPS 757031 WITH SCORE 758593.745
AT ITER 2121 NEW BEST:: SOT 2660258 SOS 1562397 HAS SOPS 1562397 HAS SOUS 756683 HAS SOUPS 756683 WITH SCORE 758245.397
AT ITER 2133 NEW BEST:: SOT 2660446 SOS 1562281 HAS SOPS 1562281 HAS SOUS 756379 HAS SOUPS 756379 WITH SCORE 757941.281
AT ITER 2141 NEW BEST:: SOT 2660129 SOS 1561964 HAS SOPS 1561964 HAS SOUS 756378 HAS SOUPS 756378 WITH SCORE 757939.964
AT ITER 2142 NEW BEST:: SOT 2660129 SOS 1561964 HAS SOPS 1561964 HAS SOUS 756342 HAS SOUPS 756342 WITH SCORE 757903.964
AT ITER 2147 NEW BEST:: SOT 2660102 SOS 1561910 HAS SOPS 1561910 HAS SOUS 756316 HAS SOUPS 756316 WITH SCORE 757877.91
AT ITER 2148 NEW BEST:: SOT 2660224 SOS 1561773 HAS SOPS 1561773 HAS SOUS 755126 HAS SOUPS 755126 WITH SCORE 756687.773
AT ITER 2149 NEW BEST:: SOT 2660139 SOS 1561603 HAS SOPS 1561603 HAS SOUS 755041 HAS SOUPS 755041 WITH SCORE 756602.603
AT ITER 2150 NEW BEST:: SOT 2659373 SOS 1560837 HAS SOPS 1560837 HAS SOUS 754577 HAS SOUPS 754577 WITH SCORE 756137.837
AT ITER 2158 NEW BEST:: SOT 2659076 SOS 1559877 HAS SOPS 1559877 HAS SOUS 753972 HAS SOUPS 753972 WITH SCORE 755531.877
AT ITER 2160 NEW BEST:: SOT 2658817 SOS 1559359 HAS SOPS 1559359 HAS SOUS 753454 HAS SOUPS 753454 WITH SCORE 755013.359
AT ITER 2162 NEW BEST:: SOT 2658562 SOS 1559251 HAS SOPS 1559251 HAS SOUS 753440 HAS SOUPS 753440 WITH SCORE 754999.251
AT ITER 2165 NEW BEST:: SOT 2658562 SOS 1559251 HAS SOPS 1559251 HAS SOUS 753071 HAS SOUPS 753071 WITH SCORE 754630.251
AT ITER 2169 NEW BEST:: SOT 2658143 SOS 1558740 HAS SOPS 1558740 HAS SOUS 752598 HAS SOUPS 752598 WITH SCORE 754156.74
AT ITER 2170 NEW BEST:: SOT 2658696 SOS 1559180 HAS SOPS 1559180 HAS SOUS 752590 HAS SOUPS 752590 WITH SCORE 754149.18
AT ITER 2175 NEW BEST:: SOT 2658440 SOS 1558924 HAS SOPS 1558924 HAS SOUS 752525 HAS SOUPS 752525 WITH SCORE 754083.924
AT ITER 2189 NEW BEST:: SOT 2658440 SOS 1558924 HAS SOPS 1558924 HAS SOUS 752519 HAS SOUPS 752519 WITH SCORE 754077.924
AT ITER 2193 NEW BEST:: SOT 2658471 SOS 1558990 HAS SOPS 1558990 HAS SOUS 752297 HAS SOUPS 752297 WITH SCORE 753855.99
AT ITER 2195 NEW BEST:: SOT 2658305 SOS 1557824 HAS SOPS 1557824 HAS SOUS 751987 HAS SOUPS 751987 WITH SCORE 753544.824
AT ITER 2204 NEW BEST:: SOT 2658305 SOS 1557778 HAS SOPS 1557778 HAS SOUS 751986 HAS SOUPS 751986 WITH SCORE 753543.778
AT ITER 2207 NEW BEST:: SOT 2658285 SOS 1557672 HAS SOPS 1557672 HAS SOUS 751966 HAS SOUPS 751966 WITH SCORE 753523.672
AT ITER 2212 NEW BEST:: SOT 2658285 SOS 1557486 HAS SOPS 1557486 HAS SOUS 751539 HAS SOUPS 751539 WITH SCORE 753096.486
AT ITER 2215 NEW BEST:: SOT 2658442 SOS 1557605 HAS SOPS 1557605 HAS SOUS 751427 HAS SOUPS 751427 WITH SCORE 752984.605
AT ITER 2217 NEW BEST:: SOT 2658442 SOS 1557520 HAS SOPS 1557520 HAS SOUS 751402 HAS SOUPS 751402 WITH SCORE 752959.52
AT ITER 2225 NEW BEST:: SOT 2658048 SOS 1555752 HAS SOPS 1555752 HAS SOUS 750518 HAS SOUPS 750518 WITH SCORE 752073.752
AT ITER 2226 NEW BEST:: SOT 2657893 SOS 1555597 HAS SOPS 1555597 HAS SOUS 750208 HAS SOUPS 750208 WITH SCORE 751763.597
AT ITER 2245 NEW BEST:: SOT 2657372 SOS 1555130 HAS SOPS 1555130 HAS SOUS 748907 HAS SOUPS 748907 WITH SCORE 750462.13
AT ITER 2246 NEW BEST:: SOT 2657344 SOS 1553352 HAS SOPS 1553352 HAS SOUS 748651 HAS SOUPS 748651 WITH SCORE 750204.352
AT ITER 2253 NEW BEST:: SOT 2656653 SOS 1552757 HAS SOPS 1552757 HAS SOUS 748352 HAS SOUPS 748352 WITH SCORE 749904.757
AT ITER 2256 NEW BEST:: SOT 2656319 SOS 1552089 HAS SOPS 1552089 HAS SOUS 747684 HAS SOUPS 747684 WITH SCORE 749236.089
AT ITER 2258 NEW BEST:: SOT 2656306 SOS 1552219 HAS SOPS 1552219 HAS SOUS 747671 HAS SOUPS 747671 WITH SCORE 749223.219
AT ITER 2259 NEW BEST:: SOT 2655839 SOS 1552593 HAS SOPS 1552593 HAS SOUS 747357 HAS SOUPS 747357 WITH SCORE 748909.593
AT ITER 2263 NEW BEST:: SOT 2655745 SOS 1552593 HAS SOPS 1552593 HAS SOUS 747169 HAS SOUPS 747169 WITH SCORE 748721.593
AT ITER 2264 NEW BEST:: SOT 2655745 SOS 1552003 HAS SOPS 1552003 HAS SOUS 746743 HAS SOUPS 746743 WITH SCORE 748295.003
AT ITER 2267 NEW BEST:: SOT 2655745 SOS 1551793 HAS SOPS 1551793 HAS SOUS 746532 HAS SOUPS 746532 WITH SCORE 748083.793
AT ITER 2269 NEW BEST:: SOT 2648241 SOS 1562984 HAS SOPS 1562984 HAS SOUS 740625 HAS SOUPS 740625 WITH SCORE 742187.984
AT ITER 2271 NEW BEST:: SOT 2648162 SOS 1564432 HAS SOPS 1564432 HAS SOUS 740515 HAS SOUPS 740515 WITH SCORE 742079.432
AT ITER 2274 NEW BEST:: SOT 2648162 SOS 1564325 HAS SOPS 1564325 HAS SOUS 740408 HAS SOUPS 740408 WITH SCORE 741972.325
AT ITER 2276 NEW BEST:: SOT 2647846 SOS 1563680 HAS SOPS 1563680 HAS SOUS 740091 HAS SOUPS 740091 WITH SCORE 741654.68
AT ITER 2277 NEW BEST:: SOT 2647685 SOS 1563358 HAS SOPS 1563358 HAS SOUS 739915 HAS SOUPS 739915 WITH SCORE 741478.358
AT ITER 2279 NEW BEST:: SOT 2647593 SOS 1563266 HAS SOPS 1563266 HAS SOUS 739823 HAS SOUPS 739823 WITH SCORE 741386.266
AT ITER 2280 NEW BEST:: SOT 2646852 SOS 1562525 HAS SOPS 1562525 HAS SOUS 739110 HAS SOUPS 739110 WITH SCORE 740672.525
AT ITER 2293 NEW BEST:: SOT 2645937 SOS 1561610 HAS SOPS 1561610 HAS SOUS 738389 HAS SOUPS 738389 WITH SCORE 739950.61
AT ITER 2295 NEW BEST:: SOT 2645990 SOS 1559364 HAS SOPS 1559364 HAS SOUS 738246 HAS SOUPS 738246 WITH SCORE 739805.364
AT ITER 2296 NEW BEST:: SOT 2645946 SOS 1559276 HAS SOPS 1559276 HAS SOUS 738200 HAS SOUPS 738200 WITH SCORE 739759.276
AT ITER 2316 NEW BEST:: SOT 2645020 SOS 1558450 HAS SOPS 1558450 HAS SOUS 738179 HAS SOUPS 738179 WITH SCORE 739737.45
AT ITER 2320 NEW BEST:: SOT 2644858 SOS 1558288 HAS SOPS 1558288 HAS SOUS 738017 HAS SOUPS 738017 WITH SCORE 739575.288
AT ITER 2324 NEW BEST:: SOT 2644858 SOS 1558288 HAS SOPS 1558288 HAS SOUS 737966 HAS SOUPS 737966 WITH SCORE 739524.288
AT ITER 2326 NEW BEST:: SOT 2644693 SOS 1557958 HAS SOPS 1557958 HAS SOUS 737558 HAS SOUPS 737558 WITH SCORE 739115.958
AT ITER 2327 NEW BEST:: SOT 2644794 SOS 1558059 HAS SOPS 1558059 HAS SOUS 737200 HAS SOUPS 737200 WITH SCORE 738758.059
AT ITER 2328 NEW BEST:: SOT 2645180 SOS 1558396 HAS SOPS 1558396 HAS SOUS 737123 HAS SOUPS 737123 WITH SCORE 738681.396
AT ITER 2330 NEW BEST:: SOT 2644533 SOS 1557102 HAS SOPS 1557102 HAS SOUS 736271 HAS SOUPS 736271 WITH SCORE 737828.102
AT ITER 2337 NEW BEST:: SOT 2644281 SOS 1556000 HAS SOPS 1556000 HAS SOUS 736007 HAS SOUPS 736007 WITH SCORE 737563.0
AT ITER 2347 NEW BEST:: SOT 2644281 SOS 1555761 HAS SOPS 1555761 HAS SOUS 735768 HAS SOUPS 735768 WITH SCORE 737323.761
AT ITER 2361 NEW BEST:: SOT 2644122 SOS 1555443 HAS SOPS 1555443 HAS SOUS 735648 HAS SOUPS 735648 WITH SCORE 737203.443
AT ITER 2365 NEW BEST:: SOT 2643761 SOS 1552781 HAS SOPS 1552781 HAS SOUS 734872 HAS SOUPS 734872 WITH SCORE 736424.781
AT ITER 2366 NEW BEST:: SOT 2643761 SOS 1552781 HAS SOPS 1552781 HAS SOUS 734777 HAS SOUPS 734777 WITH SCORE 736329.781
AT ITER 2376 NEW BEST:: SOT 2643738 SOS 1552758 HAS SOPS 1552758 HAS SOUS 734754 HAS SOUPS 734754 WITH SCORE 736306.758
AT ITER 2379 NEW BEST:: SOT 2642839 SOS 1551859 HAS SOPS 1551859 HAS SOUS 733983 HAS SOUPS 733983 WITH SCORE 735534.859
AT ITER 2381 NEW BEST:: SOT 2642657 SOS 1551677 HAS SOPS 1551677 HAS SOUS 733801 HAS SOUPS 733801 WITH SCORE 735352.677
AT ITER 2385 NEW BEST:: SOT 2642328 SOS 1551384 HAS SOPS 1551384 HAS SOUS 733470 HAS SOUPS 733470 WITH SCORE 735021.384
AT ITER 2391 NEW BEST:: SOT 2642131 SOS 1546853 HAS SOPS 1546853 HAS SOUS 733273 HAS SOUPS 733273 WITH SCORE 734819.853
AT ITER 2393 NEW BEST:: SOT 2642121 SOS 1546833 HAS SOPS 1546833 HAS SOUS 733253 HAS SOUPS 733253 WITH SCORE 734799.833
AT ITER 2395 NEW BEST:: SOT 2642121 SOS 1546833 HAS SOPS 1546833 HAS SOUS 733115 HAS SOUPS 733115 WITH SCORE 734661.833
AT ITER 2400 NEW BEST:: SOT 2642295 SOS 1546868 HAS SOPS 1546868 HAS SOUS 733016 HAS SOUPS 733016 WITH SCORE 734562.868
AT ITER 2405 NEW BEST:: SOT 2641597 SOS 1546170 HAS SOPS 1546170 HAS SOUS 732394 HAS SOUPS 732394 WITH SCORE 733940.17
AT ITER 2406 NEW BEST:: SOT 2641574 SOS 1546124 HAS SOPS 1546124 HAS SOUS 732371 HAS SOUPS 732371 WITH SCORE 733917.124
AT ITER 2413 NEW BEST:: SOT 2641494 SOS 1545964 HAS SOPS 1545964 HAS SOUS 732345 HAS SOUPS 732345 WITH SCORE 733890.964
AT ITER 2414 NEW BEST:: SOT 2641441 SOS 1545858 HAS SOPS 1545858 HAS SOUS 732217 HAS SOUPS 732217 WITH SCORE 733762.858
AT ITER 2417 NEW BEST:: SOT 2641440 SOS 1545857 HAS SOPS 1545857 HAS SOUS 732134 HAS SOUPS 732134 WITH SCORE 733679.857
AT ITER 2418 NEW BEST:: SOT 2641172 SOS 1545752 HAS SOPS 1545752 HAS SOUS 731598 HAS SOUPS 731598 WITH SCORE 733143.752
AT ITER 2422 NEW BEST:: SOT 2641810 SOS 1544110 HAS SOPS 1544110 HAS SOUS 731315 HAS SOUPS 731315 WITH SCORE 732859.11
AT ITER 2426 NEW BEST:: SOT 2641519 SOS 1543819 HAS SOPS 1543819 HAS SOUS 731024 HAS SOUPS 731024 WITH SCORE 732567.819
AT ITER 2427 NEW BEST:: SOT 2641319 SOS 1543571 HAS SOPS 1543571 HAS SOUS 731018 HAS SOUPS 731018 WITH SCORE 732561.571
AT ITER 2436 NEW BEST:: SOT 2640993 SOS 1541759 HAS SOPS 1541759 HAS SOUS 730808 HAS SOUPS 730808 WITH SCORE 732349.759
AT ITER 2439 NEW BEST:: SOT 2640993 SOS 1541708 HAS SOPS 1541708 HAS SOUS 730808 HAS SOUPS 730808 WITH SCORE 732349.708
AT ITER 2440 NEW BEST:: SOT 2641305 SOS 1541817 HAS SOPS 1541817 HAS SOUS 730723 HAS SOUPS 730723 WITH SCORE 732264.817
AT ITER 2445 NEW BEST:: SOT 2641305 SOS 1541817 HAS SOPS 1541817 HAS SOUS 730540 HAS SOUPS 730540 WITH SCORE 732081.817
AT ITER 2446 NEW BEST:: SOT 2641305 SOS 1541507 HAS SOPS 1541507 HAS SOUS 730425 HAS SOUPS 730425 WITH SCORE 731966.507
AT ITER 2449 NEW BEST:: SOT 2641168 SOS 1541233 HAS SOPS 1541233 HAS SOUS 730151 HAS SOUPS 730151 WITH SCORE 731692.233
AT ITER 2451 NEW BEST:: SOT 2641098 SOS 1541093 HAS SOPS 1541093 HAS SOUS 730080 HAS SOUPS 730080 WITH SCORE 731621.093
AT ITER 2452 NEW BEST:: SOT 2640511 SOS 1540506 HAS SOPS 1540506 HAS SOUS 729836 HAS SOUPS 729836 WITH SCORE 731376.506
AT ITER 2453 NEW BEST:: SOT 2640511 SOS 1540217 HAS SOPS 1540217 HAS SOUS 729261 HAS SOUPS 729261 WITH SCORE 730801.217
AT ITER 2454 NEW BEST:: SOT 2641072 SOS 1540737 HAS SOPS 1540737 HAS SOUS 729203 HAS SOUPS 729203 WITH SCORE 730743.737
AT ITER 2457 NEW BEST:: SOT 2641072 SOS 1541351 HAS SOPS 1541351 HAS SOUS 729110 HAS SOUPS 729110 WITH SCORE 730651.351
AT ITER 2461 NEW BEST:: SOT 2641054 SOS 1540727 HAS SOPS 1540727 HAS SOUS 729092 HAS SOUPS 729092 WITH SCORE 730632.727
AT ITER 2462 NEW BEST:: SOT 2640996 SOS 1540669 HAS SOPS 1540669 HAS SOUS 728853 HAS SOUPS 728853 WITH SCORE 730393.669
AT ITER 2468 NEW BEST:: SOT 2639980 SOS 1538853 HAS SOPS 1538853 HAS SOUS 727992 HAS SOUPS 727992 WITH SCORE 729530.853
AT ITER 2474 NEW BEST:: SOT 2639819 SOS 1538149 HAS SOPS 1538149 HAS SOUS 727850 HAS SOUPS 727850 WITH SCORE 729388.149
AT ITER 2475 NEW BEST:: SOT 2639710 SOS 1537713 HAS SOPS 1537713 HAS SOUS 727632 HAS SOUPS 727632 WITH SCORE 729169.713
AT ITER 2476 NEW BEST:: SOT 2639574 SOS 1537577 HAS SOPS 1537577 HAS SOUS 727632 HAS SOUPS 727632 WITH SCORE 729169.577
AT ITER 2478 NEW BEST:: SOT 2639284 SOS 1537142 HAS SOPS 1537142 HAS SOUS 727342 HAS SOUPS 727342 WITH SCORE 728879.142
AT ITER 2480 NEW BEST:: SOT 2639085 SOS 1536943 HAS SOPS 1536943 HAS SOUS 727143 HAS SOUPS 727143 WITH SCORE 728679.943
AT ITER 2483 NEW BEST:: SOT 2639036 SOS 1536845 HAS SOPS 1536845 HAS SOUS 727028 HAS SOUPS 727028 WITH SCORE 728564.845
AT ITER 2489 NEW BEST:: SOT 2639036 SOS 1536816 HAS SOPS 1536816 HAS SOUS 727028 HAS SOUPS 727028 WITH SCORE 728564.816
AT ITER 2495 NEW BEST:: SOT 2638971 SOS 1536751 HAS SOPS 1536751 HAS SOUS 726963 HAS SOUPS 726963 WITH SCORE 728499.751
AT ITER 2503 NEW BEST:: SOT 2639031 SOS 1536871 HAS SOPS 1536871 HAS SOUS 726952 HAS SOUPS 726952 WITH SCORE 728488.871
AT ITER 2504 NEW BEST:: SOT 2639031 SOS 1536871 HAS SOPS 1536871 HAS SOUS 726943 HAS SOUPS 726943 WITH SCORE 728479.871
AT ITER 2506 NEW BEST:: SOT 2639031 SOS 1536867 HAS SOPS 1536867 HAS SOUS 726822 HAS SOUPS 726822 WITH SCORE 728358.867
AT ITER 2512 NEW BEST:: SOT 2638241 SOS 1536077 HAS SOPS 1536077 HAS SOUS 726106 HAS SOUPS 726106 WITH SCORE 727642.077
AT ITER 2513 NEW BEST:: SOT 2638033 SOS 1535769 HAS SOPS 1535769 HAS SOUS 725898 HAS SOUPS 725898 WITH SCORE 727433.769
AT ITER 2517 NEW BEST:: SOT 2637500 SOS 1536152 HAS SOPS 1536152 HAS SOUS 725748 HAS SOUPS 725748 WITH SCORE 727284.152
AT ITER 2520 NEW BEST:: SOT 2637500 SOS 1536152 HAS SOPS 1536152 HAS SOUS 725384 HAS SOUPS 725384 WITH SCORE 726920.152
AT ITER 2522 NEW BEST:: SOT 2637500 SOS 1536152 HAS SOPS 1536152 HAS SOUS 725336 HAS SOUPS 725336 WITH SCORE 726872.152
AT ITER 2537 NEW BEST:: SOT 2637152 SOS 1535804 HAS SOPS 1535804 HAS SOUS 725007 HAS SOUPS 725007 WITH SCORE 726542.804
AT ITER 2540 NEW BEST:: SOT 2637633 SOS 1535479 HAS SOPS 1535479 HAS SOUS 724664 HAS SOUPS 724664 WITH SCORE 726199.479
AT ITER 2549 NEW BEST:: SOT 2637633 SOS 1535479 HAS SOPS 1535479 HAS SOUS 724649 HAS SOUPS 724649 WITH SCORE 726184.479
AT ITER 2551 NEW BEST:: SOT 2637633 SOS 1535479 HAS SOPS 1535479 HAS SOUS 724494 HAS SOUPS 724494 WITH SCORE 726029.479
AT ITER 2555 NEW BEST:: SOT 2637754 SOS 1535246 HAS SOPS 1535246 HAS SOUS 724261 HAS SOUPS 724261 WITH SCORE 725796.246
AT ITER 2556 NEW BEST:: SOT 2637753 SOS 1535244 HAS SOPS 1535244 HAS SOUS 724259 HAS SOUPS 724259 WITH SCORE 725794.244
AT ITER 2557 NEW BEST:: SOT 2637766 SOS 1535270 HAS SOPS 1535270 HAS SOUS 724230 HAS SOUPS 724230 WITH SCORE 725765.27
AT ITER 2573 NEW BEST:: SOT 2637811 SOS 1533754 HAS SOPS 1533754 HAS SOUS 723558 HAS SOUPS 723558 WITH SCORE 725091.754
AT ITER 2581 NEW BEST:: SOT 2637555 SOS 1533236 HAS SOPS 1533236 HAS SOUS 722823 HAS SOUPS 722823 WITH SCORE 724356.236
AT ITER 2582 NEW BEST:: SOT 2637831 SOS 1533788 HAS SOPS 1533788 HAS SOUS 722733 HAS SOUPS 722733 WITH SCORE 724266.788
AT ITER 2588 NEW BEST:: SOT 2637802 SOS 1533409 HAS SOPS 1533409 HAS SOUS 722675 HAS SOUPS 722675 WITH SCORE 724208.409
AT ITER 2591 NEW BEST:: SOT 2637734 SOS 1533341 HAS SOPS 1533341 HAS SOUS 722607 HAS SOUPS 722607 WITH SCORE 724140.341
AT ITER 2599 NEW BEST:: SOT 2637200 SOS 1532273 HAS SOPS 1532273 HAS SOUS 721539 HAS SOUPS 721539 WITH SCORE 723071.273
AT ITER 2602 NEW BEST:: SOT 2637200 SOS 1531996 HAS SOPS 1531996 HAS SOUS 721503 HAS SOUPS 721503 WITH SCORE 723034.996
AT ITER 2613 NEW BEST:: SOT 2636721 SOS 1530529 HAS SOPS 1530529 HAS SOUS 720907 HAS SOUPS 720907 WITH SCORE 722437.529
AT ITER 2616 NEW BEST:: SOT 2635882 SOS 1528845 HAS SOPS 1528845 HAS SOUS 720068 HAS SOUPS 720068 WITH SCORE 721596.845
AT ITER 2626 NEW BEST:: SOT 2636277 SOS 1528937 HAS SOPS 1528937 HAS SOUS 719546 HAS SOUPS 719546 WITH SCORE 721074.937
AT ITER 2635 NEW BEST:: SOT 2636052 SOS 1528712 HAS SOPS 1528712 HAS SOUS 718718 HAS SOUPS 718718 WITH SCORE 720246.712
AT ITER 2637 NEW BEST:: SOT 2635409 SOS 1527426 HAS SOPS 1527426 HAS SOUS 718281 HAS SOUPS 718281 WITH SCORE 719808.426
AT ITER 2640 NEW BEST:: SOT 2634523 SOS 1526540 HAS SOPS 1526540 HAS SOUS 717545 HAS SOUPS 717545 WITH SCORE 719071.54
AT ITER 2647 NEW BEST:: SOT 2634456 SOS 1526406 HAS SOPS 1526406 HAS SOUS 717411 HAS SOUPS 717411 WITH SCORE 718937.406
AT ITER 2649 NEW BEST:: SOT 2634660 SOS 1525528 HAS SOPS 1525528 HAS SOUS 717099 HAS SOUPS 717099 WITH SCORE 718624.528
AT ITER 2650 NEW BEST:: SOT 2634660 SOS 1525279 HAS SOPS 1525279 HAS SOUS 716850 HAS SOUPS 716850 WITH SCORE 718375.279
AT ITER 2653 NEW BEST:: SOT 2634097 SOS 1524716 HAS SOPS 1524716 HAS SOUS 716287 HAS SOUPS 716287 WITH SCORE 717811.716
AT ITER 2664 NEW BEST:: SOT 2633868 SOS 1524258 HAS SOPS 1524258 HAS SOUS 715932 HAS SOUPS 715932 WITH SCORE 717456.258
AT ITER 2678 NEW BEST:: SOT 2633868 SOS 1524258 HAS SOPS 1524258 HAS SOUS 715674 HAS SOUPS 715674 WITH SCORE 717198.258
AT ITER 2690 NEW BEST:: SOT 2633837 SOS 1524196 HAS SOPS 1524196 HAS SOUS 715612 HAS SOUPS 715612 WITH SCORE 717136.196
AT ITER 2696 NEW BEST:: SOT 2634254 SOS 1523800 HAS SOPS 1523800 HAS SOUS 715216 HAS SOUPS 715216 WITH SCORE 716739.8
AT ITER 2716 NEW BEST:: SOT 2634042 SOS 1523588 HAS SOPS 1523588 HAS SOUS 715004 HAS SOUPS 715004 WITH SCORE 716527.588
AT ITER 2718 NEW BEST:: SOT 2633826 SOS 1523372 HAS SOPS 1523372 HAS SOUS 714572 HAS SOUPS 714572 WITH SCORE 716095.372
AT ITER 2722 NEW BEST:: SOT 2633674 SOS 1522926 HAS SOPS 1522926 HAS SOUS 714322 HAS SOUPS 714322 WITH SCORE 715844.926
AT ITER 2725 NEW BEST:: SOT 2633351 SOS 1522041 HAS SOPS 1522041 HAS SOUS 713965 HAS SOUPS 713965 WITH SCORE 715487.041
AT ITER 2727 NEW BEST:: SOT 2633351 SOS 1521681 HAS SOPS 1521681 HAS SOUS 713442 HAS SOUPS 713442 WITH SCORE 714963.681
AT ITER 2731 NEW BEST:: SOT 2633007 SOS 1521337 HAS SOPS 1521337 HAS SOUS 713442 HAS SOUPS 713442 WITH SCORE 714963.337
AT ITER 2732 NEW BEST:: SOT 2632807 SOS 1520432 HAS SOPS 1520432 HAS SOUS 713073 HAS SOUPS 713073 WITH SCORE 714593.432
AT ITER 2736 NEW BEST:: SOT 2632807 SOS 1520432 HAS SOPS 1520432 HAS SOUS 712985 HAS SOUPS 712985 WITH SCORE 714505.432
AT ITER 2742 NEW BEST:: SOT 2632777 SOS 1520372 HAS SOPS 1520372 HAS SOUS 712925 HAS SOUPS 712925 WITH SCORE 714445.372
AT ITER 2749 NEW BEST:: SOT 2632853 SOS 1515019 HAS SOPS 1515019 HAS SOUS 712494 HAS SOUPS 712494 WITH SCORE 714009.019
AT ITER 2752 NEW BEST:: SOT 2632853 SOS 1515019 HAS SOPS 1515019 HAS SOUS 712401 HAS SOUPS 712401 WITH SCORE 713916.019
AT ITER 2754 NEW BEST:: SOT 2632564 SOS 1514701 HAS SOPS 1514701 HAS SOUS 712083 HAS SOUPS 712083 WITH SCORE 713597.701
AT ITER 2756 NEW BEST:: SOT 2632601 SOS 1508876 HAS SOPS 1508876 HAS SOUS 711716 HAS SOUPS 711716 WITH SCORE 713224.876
AT ITER 2770 NEW BEST:: SOT 2632165 SOS 1508004 HAS SOPS 1508004 HAS SOUS 711280 HAS SOUPS 711280 WITH SCORE 712788.004
AT ITER 2777 NEW BEST:: SOT 2632060 SOS 1507689 HAS SOPS 1507689 HAS SOUS 711175 HAS SOUPS 711175 WITH SCORE 712682.689
AT ITER 2786 NEW BEST:: SOT 2631878 SOS 1507507 HAS SOPS 1507507 HAS SOUS 710993 HAS SOUPS 710993 WITH SCORE 712500.507
AT ITER 2788 NEW BEST:: SOT 2631676 SOS 1507180 HAS SOPS 1507180 HAS SOUS 710901 HAS SOUPS 710901 WITH SCORE 712408.18
AT ITER 2799 NEW BEST:: SOT 2631676 SOS 1507180 HAS SOPS 1507180 HAS SOUS 710869 HAS SOUPS 710869 WITH SCORE 712376.18
AT ITER 2802 NEW BEST:: SOT 2631676 SOS 1507420 HAS SOPS 1507420 HAS SOUS 710854 HAS SOUPS 710854 WITH SCORE 712361.42
AT ITER 2804 NEW BEST:: SOT 2631526 SOS 1505324 HAS SOPS 1505324 HAS SOUS 710250 HAS SOUPS 710250 WITH SCORE 711755.324
AT ITER 2813 NEW BEST:: SOT 2630938 SOS 1504148 HAS SOPS 1504148 HAS SOUS 709662 HAS SOUPS 709662 WITH SCORE 711166.148
AT ITER 2814 NEW BEST:: SOT 2630938 SOS 1503776 HAS SOPS 1503776 HAS SOUS 709662 HAS SOUPS 709662 WITH SCORE 711165.776
AT ITER 2816 NEW BEST:: SOT 2630793 SOS 1503631 HAS SOPS 1503631 HAS SOUS 709517 HAS SOUPS 709517 WITH SCORE 711020.631
AT ITER 2823 NEW BEST:: SOT 2630793 SOS 1503653 HAS SOPS 1503653 HAS SOUS 709417 HAS SOUPS 709417 WITH SCORE 710920.653
AT ITER 2827 NEW BEST:: SOT 2630701 SOS 1503561 HAS SOPS 1503561 HAS SOUS 709325 HAS SOUPS 709325 WITH SCORE 710828.561
AT ITER 2855 NEW BEST:: SOT 2630162 SOS 1502982 HAS SOPS 1502982 HAS SOUS 708767 HAS SOUPS 708767 WITH SCORE 710269.982
AT ITER 2856 NEW BEST:: SOT 2629609 SOS 1501682 HAS SOPS 1501682 HAS SOUS 708019 HAS SOUPS 708019 WITH SCORE 709520.682
AT ITER 2878 NEW BEST:: SOT 2629609 SOS 1501634 HAS SOPS 1501634 HAS SOUS 707995 HAS SOUPS 707995 WITH SCORE 709496.634
AT ITER 2884 NEW BEST:: SOT 2629736 SOS 1501533 HAS SOPS 1501533 HAS SOUS 707951 HAS SOUPS 707951 WITH SCORE 709452.533
AT ITER 2892 NEW BEST:: SOT 2629347 SOS 1500976 HAS SOPS 1500976 HAS SOUS 707667 HAS SOUPS 707667 WITH SCORE 709167.976
AT ITER 2893 NEW BEST:: SOT 2629347 SOS 1500976 HAS SOPS 1500976 HAS SOUS 707629 HAS SOUPS 707629 WITH SCORE 709129.976
AT ITER 2895 NEW BEST:: SOT 2629057 SOS 1499859 HAS SOPS 1499859 HAS SOUS 706697 HAS SOUPS 706697 WITH SCORE 708196.859
AT ITER 2896 NEW BEST:: SOT 2629625 SOS 1500482 HAS SOPS 1500482 HAS SOUS 706368 HAS SOUPS 706368 WITH SCORE 707868.482
AT ITER 2899 NEW BEST:: SOT 2629566 SOS 1500246 HAS SOPS 1500246 HAS SOUS 706299 HAS SOUPS 706299 WITH SCORE 707799.246
AT ITER 2906 NEW BEST:: SOT 2629279 SOS 1499813 HAS SOPS 1499813 HAS SOUS 706012 HAS SOUPS 706012 WITH SCORE 707511.813
AT ITER 2909 NEW BEST:: SOT 2628774 SOS 1498951 HAS SOPS 1498951 HAS SOUS 705679 HAS SOUPS 705679 WITH SCORE 707177.951
AT ITER 2914 NEW BEST:: SOT 2628774 SOS 1498541 HAS SOPS 1498541 HAS SOUS 705571 HAS SOUPS 705571 WITH SCORE 707069.541
AT ITER 2918 NEW BEST:: SOT 2628774 SOS 1498541 HAS SOPS 1498541 HAS SOUS 705165 HAS SOUPS 705165 WITH SCORE 706663.541
AT ITER 2922 NEW BEST:: SOT 2628444 SOS 1498694 HAS SOPS 1498694 HAS SOUS 704549 HAS SOUPS 704549 WITH SCORE 706047.694
AT ITER 2930 NEW BEST:: SOT 2628444 SOS 1498514 HAS SOPS 1498514 HAS SOUS 704454 HAS SOUPS 704454 WITH SCORE 705952.514
AT ITER 2934 NEW BEST:: SOT 2628444 SOS 1498183 HAS SOPS 1498183 HAS SOUS 704454 HAS SOUPS 704454 WITH SCORE 705952.183
AT ITER 2939 NEW BEST:: SOT 2628185 SOS 1497924 HAS SOPS 1497924 HAS SOUS 703761 HAS SOUPS 703761 WITH SCORE 705258.924
AT ITER 2941 NEW BEST:: SOT 2627798 SOS 1497730 HAS SOPS 1497730 HAS SOUS 703345 HAS SOUPS 703345 WITH SCORE 704842.73
AT ITER 2954 NEW BEST:: SOT 2627328 SOS 1496797 HAS SOPS 1496797 HAS SOUS 703144 HAS SOUPS 703144 WITH SCORE 704640.797
AT ITER 2956 NEW BEST:: SOT 2627046 SOS 1495669 HAS SOPS 1495669 HAS SOUS 702599 HAS SOUPS 702599 WITH SCORE 704094.669
AT ITER 2961 NEW BEST:: SOT 2627178 SOS 1495120 HAS SOPS 1495120 HAS SOUS 701889 HAS SOUPS 701889 WITH SCORE 703384.12
AT ITER 2962 NEW BEST:: SOT 2627178 SOS 1494783 HAS SOPS 1494783 HAS SOUS 701889 HAS SOUPS 701889 WITH SCORE 703383.783
AT ITER 2964 NEW BEST:: SOT 2626962 SOS 1494431 HAS SOPS 1494431 HAS SOUS 701642 HAS SOUPS 701642 WITH SCORE 703136.431
AT ITER 2979 NEW BEST:: SOT 2626809 SOS 1494278 HAS SOPS 1494278 HAS SOUS 701176 HAS SOUPS 701176 WITH SCORE 702670.278
AT ITER 3009 NEW BEST:: SOT 2626809 SOS 1494446 HAS SOPS 1494446 HAS SOUS 701002 HAS SOUPS 701002 WITH SCORE 702496.446
AT ITER 3011 NEW BEST:: SOT 2626758 SOS 1494586 HAS SOPS 1494586 HAS SOUS 700900 HAS SOUPS 700900 WITH SCORE 702394.586
AT ITER 3021 NEW BEST:: SOT 2626279 SOS 1493628 HAS SOPS 1493628 HAS SOUS 700421 HAS SOUPS 700421 WITH SCORE 701914.628
AT ITER 3022 NEW BEST:: SOT 2626279 SOS 1493628 HAS SOPS 1493628 HAS SOUS 700419 HAS SOUPS 700419 WITH SCORE 701912.628
AT ITER 3034 NEW BEST:: SOT 2626051 SOS 1493172 HAS SOPS 1493172 HAS SOUS 699963 HAS SOUPS 699963 WITH SCORE 701456.172
AT ITER 3037 NEW BEST:: SOT 2625912 SOS 1493007 HAS SOPS 1493007 HAS SOUS 699817 HAS SOUPS 699817 WITH SCORE 701310.007
AT ITER 3038 NEW BEST:: SOT 2625168 SOS 1491422 HAS SOPS 1491422 HAS SOUS 699373 HAS SOUPS 699373 WITH SCORE 700864.422
AT ITER 3040 NEW BEST:: SOT 2625142 SOS 1489972 HAS SOPS 1489972 HAS SOUS 699321 HAS SOUPS 699321 WITH SCORE 700810.972
AT ITER 3049 NEW BEST:: SOT 2625330 SOS 1490078 HAS SOPS 1490078 HAS SOUS 699145 HAS SOUPS 699145 WITH SCORE 700635.078
AT ITER 3050 NEW BEST:: SOT 2625330 SOS 1489753 HAS SOPS 1489753 HAS SOUS 698820 HAS SOUPS 698820 WITH SCORE 700309.753
AT ITER 3051 NEW BEST:: SOT 2624039 SOS 1487855 HAS SOPS 1487855 HAS SOUS 697529 HAS SOUPS 697529 WITH SCORE 699016.855
AT ITER 3060 NEW BEST:: SOT 2624029 SOS 1487845 HAS SOPS 1487845 HAS SOUS 697519 HAS SOUPS 697519 WITH SCORE 699006.845
AT ITER 3070 NEW BEST:: SOT 2623910 SOS 1487641 HAS SOPS 1487641 HAS SOUS 697281 HAS SOUPS 697281 WITH SCORE 698768.641
AT ITER 3073 NEW BEST:: SOT 2624115 SOS 1487846 HAS SOPS 1487846 HAS SOUS 696370 HAS SOUPS 696370 WITH SCORE 697857.846
AT ITER 3083 NEW BEST:: SOT 2623831 SOS 1488916 HAS SOPS 1488916 HAS SOUS 696320 HAS SOUPS 696320 WITH SCORE 697808.916
AT ITER 3094 NEW BEST:: SOT 2624026 SOS 1488951 HAS SOPS 1488951 HAS SOUS 696106 HAS SOUPS 696106 WITH SCORE 697594.951
AT ITER 3103 NEW BEST:: SOT 2624026 SOS 1488951 HAS SOPS 1488951 HAS SOUS 696061 HAS SOUPS 696061 WITH SCORE 697549.951
AT ITER 3106 NEW BEST:: SOT 2624026 SOS 1488710 HAS SOPS 1488710 HAS SOUS 696061 HAS SOUPS 696061 WITH SCORE 697549.71
AT ITER 3112 NEW BEST:: SOT 2624241 SOS 1489140 HAS SOPS 1489140 HAS SOUS 696042 HAS SOUPS 696042 WITH SCORE 697531.14
AT ITER 3113 NEW BEST:: SOT 2623747 SOS 1488602 HAS SOPS 1488602 HAS SOUS 695881 HAS SOUPS 695881 WITH SCORE 697369.602
AT ITER 3120 NEW BEST:: SOT 2623803 SOS 1488212 HAS SOPS 1488212 HAS SOUS 695742 HAS SOUPS 695742 WITH SCORE 697230.212
AT ITER 3124 NEW BEST:: SOT 2623803 SOS 1488212 HAS SOPS 1488212 HAS SOUS 695654 HAS SOUPS 695654 WITH SCORE 697142.212
AT ITER 3125 NEW BEST:: SOT 2623803 SOS 1488118 HAS SOPS 1488118 HAS SOUS 695607 HAS SOUPS 695607 WITH SCORE 697095.118
AT ITER 3127 NEW BEST:: SOT 2623803 SOS 1488118 HAS SOPS 1488118 HAS SOUS 695285 HAS SOUPS 695285 WITH SCORE 696773.118
AT ITER 3129 NEW BEST:: SOT 2623006 SOS 1486921 HAS SOPS 1486921 HAS SOUS 694618 HAS SOUPS 694618 WITH SCORE 696104.921
AT ITER 3130 NEW BEST:: SOT 2622480 SOS 1486297 HAS SOPS 1486297 HAS SOUS 694422 HAS SOUPS 694422 WITH SCORE 695908.297
AT ITER 3131 NEW BEST:: SOT 2622321 SOS 1486135 HAS SOPS 1486135 HAS SOUS 694263 HAS SOUPS 694263 WITH SCORE 695749.135
AT ITER 3145 NEW BEST:: SOT 2622344 SOS 1486057 HAS SOPS 1486057 HAS SOUS 694185 HAS SOUPS 694185 WITH SCORE 695671.057
AT ITER 3148 NEW BEST:: SOT 2622344 SOS 1486057 HAS SOPS 1486057 HAS SOUS 694080 HAS SOUPS 694080 WITH SCORE 695566.057
AT ITER 3151 NEW BEST:: SOT 2622281 SOS 1485931 HAS SOPS 1485931 HAS SOUS 693930 HAS SOUPS 693930 WITH SCORE 695415.931
AT ITER 3163 NEW BEST:: SOT 2622281 SOS 1485892 HAS SOPS 1485892 HAS SOUS 693689 HAS SOUPS 693689 WITH SCORE 695174.892
AT ITER 3174 NEW BEST:: SOT 2622893 SOS 1486504 HAS SOPS 1486504 HAS SOUS 693649 HAS SOUPS 693649 WITH SCORE 695135.504
AT ITER 3176 NEW BEST:: SOT 2622893 SOS 1486504 HAS SOPS 1486504 HAS SOUS 693573 HAS SOUPS 693573 WITH SCORE 695059.504
AT ITER 3178 NEW BEST:: SOT 2622626 SOS 1486324 HAS SOPS 1486324 HAS SOUS 693039 HAS SOUPS 693039 WITH SCORE 694525.324
AT ITER 3179 NEW BEST:: SOT 2622595 SOS 1486262 HAS SOPS 1486262 HAS SOUS 693003 HAS SOUPS 693003 WITH SCORE 694489.262
AT ITER 3189 NEW BEST:: SOT 2622339 SOS 1485750 HAS SOPS 1485750 HAS SOUS 692747 HAS SOUPS 692747 WITH SCORE 694232.75
AT ITER 3196 NEW BEST:: SOT 2622880 SOS 1486266 HAS SOPS 1486266 HAS SOUS 692590 HAS SOUPS 692590 WITH SCORE 694076.266
AT ITER 3200 NEW BEST:: SOT 2622880 SOS 1486266 HAS SOPS 1486266 HAS SOUS 692572 HAS SOUPS 692572 WITH SCORE 694058.266
AT ITER 3210 NEW BEST:: SOT 2622880 SOS 1486266 HAS SOPS 1486266 HAS SOUS 692309 HAS SOUPS 692309 WITH SCORE 693795.266
AT ITER 3211 NEW BEST:: SOT 2622880 SOS 1486111 HAS SOPS 1486111 HAS SOUS 692308 HAS SOUPS 692308 WITH SCORE 693794.111
AT ITER 3212 NEW BEST:: SOT 2623199 SOS 1485443 HAS SOPS 1485443 HAS SOUS 692133 HAS SOUPS 692133 WITH SCORE 693618.443
AT ITER 3220 NEW BEST:: SOT 2622598 SOS 1485390 HAS SOPS 1485390 HAS SOUS 692080 HAS SOUPS 692080 WITH SCORE 693565.39
AT ITER 3222 NEW BEST:: SOT 2622363 SOS 1485155 HAS SOPS 1485155 HAS SOUS 691845 HAS SOUPS 691845 WITH SCORE 693330.155
AT ITER 3226 NEW BEST:: SOT 2622096 SOS 1484875 HAS SOPS 1484875 HAS SOUS 691294 HAS SOUPS 691294 WITH SCORE 692778.875
AT ITER 3227 NEW BEST:: SOT 2621918 SOS 1484519 HAS SOPS 1484519 HAS SOUS 691252 HAS SOUPS 691252 WITH SCORE 692736.519
AT ITER 3229 NEW BEST:: SOT 2621820 SOS 1484323 HAS SOPS 1484323 HAS SOUS 691195 HAS SOUPS 691195 WITH SCORE 692679.323
AT ITER 3232 NEW BEST:: SOT 2621702 SOS 1484087 HAS SOPS 1484087 HAS SOUS 691025 HAS SOUPS 691025 WITH SCORE 692509.087
AT ITER 3237 NEW BEST:: SOT 2621221 SOS 1484149 HAS SOPS 1484149 HAS SOUS 690518 HAS SOUPS 690518 WITH SCORE 692002.149
AT ITER 3239 NEW BEST:: SOT 2621456 SOS 1484384 HAS SOPS 1484384 HAS SOUS 690084 HAS SOUPS 690084 WITH SCORE 691568.384
AT ITER 3241 NEW BEST:: SOT 2621456 SOS 1484384 HAS SOPS 1484384 HAS SOUS 690048 HAS SOUPS 690048 WITH SCORE 691532.384
AT ITER 3249 NEW BEST:: SOT 2621218 SOS 1484146 HAS SOPS 1484146 HAS SOUS 689810 HAS SOUPS 689810 WITH SCORE 691294.146
AT ITER 3252 NEW BEST:: SOT 2620853 SOS 1483416 HAS SOPS 1483416 HAS SOUS 689080 HAS SOUPS 689080 WITH SCORE 690563.416
AT ITER 3253 NEW BEST:: SOT 2620818 SOS 1483381 HAS SOPS 1483381 HAS SOUS 688946 HAS SOUPS 688946 WITH SCORE 690429.381
AT ITER 3257 NEW BEST:: SOT 2620783 SOS 1482059 HAS SOPS 1482059 HAS SOUS 688894 HAS SOUPS 688894 WITH SCORE 690376.059
AT ITER 3258 NEW BEST:: SOT 2620783 SOS 1482051 HAS SOPS 1482051 HAS SOUS 688886 HAS SOUPS 688886 WITH SCORE 690368.051
AT ITER 3263 NEW BEST:: SOT 2614626 SOS 1528567 HAS SOPS 1528567 HAS SOUS 684950 HAS SOUPS 684950 WITH SCORE 686478.567
AT ITER 3277 NEW BEST:: SOT 2614626 SOS 1528418 HAS SOPS 1528418 HAS SOUS 684652 HAS SOUPS 684652 WITH SCORE 686180.418
AT ITER 3302 NEW BEST:: SOT 2614194 SOS 1527979 HAS SOPS 1527979 HAS SOUS 684638 HAS SOUPS 684638 WITH SCORE 686165.979
AT ITER 3303 NEW BEST:: SOT 2614194 SOS 1528034 HAS SOPS 1528034 HAS SOUS 684517 HAS SOUPS 684517 WITH SCORE 686045.034
AT ITER 3307 NEW BEST:: SOT 2614153 SOS 1528362 HAS SOPS 1528362 HAS SOUS 684046 HAS SOUPS 684046 WITH SCORE 685574.362
AT ITER 3308 NEW BEST:: SOT 2614153 SOS 1528107 HAS SOPS 1528107 HAS SOUS 683961 HAS SOUPS 683961 WITH SCORE 685489.107
AT ITER 3309 NEW BEST:: SOT 2614105 SOS 1528059 HAS SOPS 1528059 HAS SOUS 683865 HAS SOUPS 683865 WITH SCORE 685393.059
AT ITER 3310 NEW BEST:: SOT 2614105 SOS 1528036 HAS SOPS 1528036 HAS SOUS 683842 HAS SOUPS 683842 WITH SCORE 685370.036
AT ITER 3312 NEW BEST:: SOT 2614105 SOS 1528036 HAS SOPS 1528036 HAS SOUS 683589 HAS SOUPS 683589 WITH SCORE 685117.036
AT ITER 3324 NEW BEST:: SOT 2614008 SOS 1528056 HAS SOPS 1528056 HAS SOUS 683458 HAS SOUPS 683458 WITH SCORE 684986.056
AT ITER 3325 NEW BEST:: SOT 2613730 SOS 1528248 HAS SOPS 1528248 HAS SOUS 683257 HAS SOUPS 683257 WITH SCORE 684785.248
AT ITER 3330 NEW BEST:: SOT 2613298 SOS 1537738 HAS SOPS 1537738 HAS SOUS 683086 HAS SOUPS 683086 WITH SCORE 684623.738
AT ITER 3333 NEW BEST:: SOT 2613104 SOS 1536823 HAS SOPS 1536823 HAS SOUS 682452 HAS SOUPS 682452 WITH SCORE 683988.823
AT ITER 3340 NEW BEST:: SOT 2613104 SOS 1536990 HAS SOPS 1536990 HAS SOUS 682433 HAS SOUPS 682433 WITH SCORE 683969.99
AT ITER 3341 NEW BEST:: SOT 2612923 SOS 1536495 HAS SOPS 1536495 HAS SOUS 682158 HAS SOUPS 682158 WITH SCORE 683694.495
AT ITER 3347 NEW BEST:: SOT 2612731 SOS 1536015 HAS SOPS 1536015 HAS SOUS 681870 HAS SOUPS 681870 WITH SCORE 683406.015
AT ITER 3359 NEW BEST:: SOT 2612699 SOS 1535983 HAS SOPS 1535983 HAS SOUS 681870 HAS SOUPS 681870 WITH SCORE 683405.983
AT ITER 3360 NEW BEST:: SOT 2612741 SOS 1535885 HAS SOPS 1535885 HAS SOUS 681366 HAS SOUPS 681366 WITH SCORE 682901.885
AT ITER 3363 NEW BEST:: SOT 2612618 SOS 1535639 HAS SOPS 1535639 HAS SOUS 681176 HAS SOUPS 681176 WITH SCORE 682711.639
AT ITER 3378 NEW BEST:: SOT 2612479 SOS 1535500 HAS SOPS 1535500 HAS SOUS 680985 HAS SOUPS 680985 WITH SCORE 682520.5
AT ITER 3379 NEW BEST:: SOT 2612479 SOS 1535392 HAS SOPS 1535392 HAS SOUS 680931 HAS SOUPS 680931 WITH SCORE 682466.392
AT ITER 3391 NEW BEST:: SOT 2612144 SOS 1534722 HAS SOPS 1534722 HAS SOUS 680931 HAS SOUPS 680931 WITH SCORE 682465.722
AT ITER 3394 NEW BEST:: SOT 2612093 SOS 1534671 HAS SOPS 1534671 HAS SOUS 680930 HAS SOUPS 680930 WITH SCORE 682464.671
AT ITER 3400 NEW BEST:: SOT 2611846 SOS 1534424 HAS SOPS 1534424 HAS SOUS 680683 HAS SOUPS 680683 WITH SCORE 682217.424
AT ITER 3418 NEW BEST:: SOT 2611846 SOS 1534346 HAS SOPS 1534346 HAS SOUS 680605 HAS SOUPS 680605 WITH SCORE 682139.346
AT ITER 3421 NEW BEST:: SOT 2611662 SOS 1533978 HAS SOPS 1533978 HAS SOUS 680243 HAS SOUPS 680243 WITH SCORE 681776.978
AT ITER 3428 NEW BEST:: SOT 2611662 SOS 1533978 HAS SOPS 1533978 HAS SOUS 680045 HAS SOUPS 680045 WITH SCORE 681578.978
AT ITER 3433 NEW BEST:: SOT 2611657 SOS 1533963 HAS SOPS 1533963 HAS SOUS 680040 HAS SOUPS 680040 WITH SCORE 681573.963
AT ITER 3435 NEW BEST:: SOT 2611599 SOS 1533905 HAS SOPS 1533905 HAS SOUS 679982 HAS SOUPS 679982 WITH SCORE 681515.905
AT ITER 3440 NEW BEST:: SOT 2611597 SOS 1533877 HAS SOPS 1533877 HAS SOUS 679980 HAS SOUPS 679980 WITH SCORE 681513.877
AT ITER 3442 NEW BEST:: SOT 2611597 SOS 1533686 HAS SOPS 1533686 HAS SOUS 679795 HAS SOUPS 679795 WITH SCORE 681328.686
AT ITER 3445 NEW BEST:: SOT 2611695 SOS 1531824 HAS SOPS 1531824 HAS SOUS 679697 HAS SOUPS 679697 WITH SCORE 681228.824
AT ITER 3447 NEW BEST:: SOT 2611462 SOS 1531358 HAS SOPS 1531358 HAS SOUS 679424 HAS SOUPS 679424 WITH SCORE 680955.358
AT ITER 3451 NEW BEST:: SOT 2611309 SOS 1530746 HAS SOPS 1530746 HAS SOUS 678965 HAS SOUPS 678965 WITH SCORE 680495.746
AT ITER 3453 NEW BEST:: SOT 2610535 SOS 1528424 HAS SOPS 1528424 HAS SOUS 677417 HAS SOUPS 677417 WITH SCORE 678945.424
AT ITER 3454 NEW BEST:: SOT 2608795 SOS 1539098 HAS SOPS 1539098 HAS SOUS 677285 HAS SOUPS 677285 WITH SCORE 678824.098
AT ITER 3455 NEW BEST:: SOT 2608291 SOS 1538594 HAS SOPS 1538594 HAS SOUS 676781 HAS SOUPS 676781 WITH SCORE 678319.594
AT ITER 3458 NEW BEST:: SOT 2607739 SOS 1538042 HAS SOPS 1538042 HAS SOUS 676229 HAS SOUPS 676229 WITH SCORE 677767.042
AT ITER 3464 NEW BEST:: SOT 2608721 SOS 1538915 HAS SOPS 1538915 HAS SOUS 676011 HAS SOUPS 676011 WITH SCORE 677549.915
AT ITER 3467 NEW BEST:: SOT 2608411 SOS 1538027 HAS SOPS 1538027 HAS SOUS 675659 HAS SOUPS 675659 WITH SCORE 677197.027
AT ITER 3478 NEW BEST:: SOT 2608406 SOS 1537922 HAS SOPS 1537922 HAS SOUS 675455 HAS SOUPS 675455 WITH SCORE 676992.922
AT ITER 3489 NEW BEST:: SOT 2608321 SOS 1537837 HAS SOPS 1537837 HAS SOUS 675455 HAS SOUPS 675455 WITH SCORE 676992.837
AT ITER 3492 NEW BEST:: SOT 2608251 SOS 1537214 HAS SOPS 1537214 HAS SOUS 675236 HAS SOUPS 675236 WITH SCORE 676773.214
AT ITER 3494 NEW BEST:: SOT 2608251 SOS 1537214 HAS SOPS 1537214 HAS SOUS 675185 HAS SOUPS 675185 WITH SCORE 676722.214
AT ITER 3502 NEW BEST:: SOT 2607887 SOS 1536850 HAS SOPS 1536850 HAS SOUS 674821 HAS SOUPS 674821 WITH SCORE 676357.85
AT ITER 3503 NEW BEST:: SOT 2607280 SOS 1536243 HAS SOPS 1536243 HAS SOUS 674214 HAS SOUPS 674214 WITH SCORE 675750.243
AT ITER 3505 NEW BEST:: SOT 2607244 SOS 1536171 HAS SOPS 1536171 HAS SOUS 674178 HAS SOUPS 674178 WITH SCORE 675714.171
AT ITER 3509 NEW BEST:: SOT 2607064 SOS 1535952 HAS SOPS 1535952 HAS SOUS 673959 HAS SOUPS 673959 WITH SCORE 675494.952
AT ITER 3510 NEW BEST:: SOT 2607064 SOS 1535530 HAS SOPS 1535530 HAS SOUS 673748 HAS SOUPS 673748 WITH SCORE 675283.53
AT ITER 3521 NEW BEST:: SOT 2607064 SOS 1539159 HAS SOPS 1539159 HAS SOUS 673563 HAS SOUPS 673563 WITH SCORE 675102.159
AT ITER 3533 NEW BEST:: SOT 2607064 SOS 1539009 HAS SOPS 1539009 HAS SOUS 673563 HAS SOUPS 673563 WITH SCORE 675102.009
AT ITER 3538 NEW BEST:: SOT 2606093 SOS 1537634 HAS SOPS 1537634 HAS SOUS 672897 HAS SOUPS 672897 WITH SCORE 674434.634
AT ITER 3540 NEW BEST:: SOT 2599976 SOS 1541885 HAS SOPS 1541885 HAS SOUS 666042 HAS SOUPS 666042 WITH SCORE 667583.885
AT ITER 3558 NEW BEST:: SOT 2599953 SOS 1541839 HAS SOPS 1541839 HAS SOUS 666019 HAS SOUPS 666019 WITH SCORE 667560.839
AT ITER 3563 NEW BEST:: SOT 2599952 SOS 1541838 HAS SOPS 1541838 HAS SOUS 666018 HAS SOUPS 666018 WITH SCORE 667559.838
AT ITER 3570 NEW BEST:: SOT 2600171 SOS 1542176 HAS SOPS 1542176 HAS SOUS 665781 HAS SOUPS 665781 WITH SCORE 667323.176
AT ITER 3572 NEW BEST:: SOT 2599964 SOS 1541762 HAS SOPS 1541762 HAS SOUS 665574 HAS SOUPS 665574 WITH SCORE 667115.762
AT ITER 3573 NEW BEST:: SOT 2599644 SOS 1541122 HAS SOPS 1541122 HAS SOUS 665254 HAS SOUPS 665254 WITH SCORE 666795.122
AT ITER 3574 NEW BEST:: SOT 2599191 SOS 1540669 HAS SOPS 1540669 HAS SOUS 664864 HAS SOUPS 664864 WITH SCORE 666404.669
AT ITER 3576 NEW BEST:: SOT 2599191 SOS 1540669 HAS SOPS 1540669 HAS SOUS 664851 HAS SOUPS 664851 WITH SCORE 666391.669
AT ITER 3594 NEW BEST:: SOT 2598721 SOS 1539259 HAS SOPS 1539259 HAS SOUS 664018 HAS SOUPS 664018 WITH SCORE 665557.259
AT ITER 3601 NEW BEST:: SOT 2598343 SOS 1538881 HAS SOPS 1538881 HAS SOUS 663640 HAS SOUPS 663640 WITH SCORE 665178.881
AT ITER 3607 NEW BEST:: SOT 2598294 SOS 1538832 HAS SOPS 1538832 HAS SOUS 663341 HAS SOUPS 663341 WITH SCORE 664879.832
AT ITER 3608 NEW BEST:: SOT 2598293 SOS 1538347 HAS SOPS 1538347 HAS SOUS 663340 HAS SOUPS 663340 WITH SCORE 664878.347
AT ITER 3611 NEW BEST:: SOT 2598077 SOS 1537915 HAS SOPS 1537915 HAS SOUS 663050 HAS SOUPS 663050 WITH SCORE 664587.915
AT ITER 3614 NEW BEST:: SOT 2598277 SOS 1537677 HAS SOPS 1537677 HAS SOUS 662004 HAS SOUPS 662004 WITH SCORE 663541.677
AT ITER 3618 NEW BEST:: SOT 2598018 SOS 1537159 HAS SOPS 1537159 HAS SOUS 661745 HAS SOUPS 661745 WITH SCORE 663282.159
AT ITER 3619 NEW BEST:: SOT 2598018 SOS 1534062 HAS SOPS 1534062 HAS SOUS 661672 HAS SOUPS 661672 WITH SCORE 663206.062
AT ITER 3620 NEW BEST:: SOT 2598265 SOS 1533878 HAS SOPS 1533878 HAS SOUS 661488 HAS SOUPS 661488 WITH SCORE 663021.878
AT ITER 3621 NEW BEST:: SOT 2598265 SOS 1533878 HAS SOPS 1533878 HAS SOUS 661467 HAS SOUPS 661467 WITH SCORE 663000.878
AT ITER 3626 NEW BEST:: SOT 2597910 SOS 1533574 HAS SOPS 1533574 HAS SOUS 661247 HAS SOUPS 661247 WITH SCORE 662780.574
AT ITER 3636 NEW BEST:: SOT 2597910 SOS 1533361 HAS SOPS 1533361 HAS SOUS 661247 HAS SOUPS 661247 WITH SCORE 662780.361
AT ITER 3639 NEW BEST:: SOT 2597910 SOS 1533361 HAS SOPS 1533361 HAS SOUS 661246 HAS SOUPS 661246 WITH SCORE 662779.361
AT ITER 3640 NEW BEST:: SOT 2597910 SOS 1533304 HAS SOPS 1533304 HAS SOUS 661246 HAS SOUPS 661246 WITH SCORE 662779.304
AT ITER 3642 NEW BEST:: SOT 2597891 SOS 1532162 HAS SOPS 1532162 HAS SOUS 660859 HAS SOUPS 660859 WITH SCORE 662391.162
AT ITER 3645 NEW BEST:: SOT 2597822 SOS 1532093 HAS SOPS 1532093 HAS SOUS 660790 HAS SOUPS 660790 WITH SCORE 662322.093
AT ITER 3648 NEW BEST:: SOT 2597494 SOS 1531765 HAS SOPS 1531765 HAS SOUS 660444 HAS SOUPS 660444 WITH SCORE 661975.765
AT ITER 3650 NEW BEST:: SOT 2597494 SOS 1531255 HAS SOPS 1531255 HAS SOUS 659934 HAS SOUPS 659934 WITH SCORE 661465.255
AT ITER 3652 NEW BEST:: SOT 2597418 SOS 1531103 HAS SOPS 1531103 HAS SOUS 659886 HAS SOUPS 659886 WITH SCORE 661417.103
AT ITER 3655 NEW BEST:: SOT 2597311 SOS 1531103 HAS SOPS 1531103 HAS SOUS 659772 HAS SOUPS 659772 WITH SCORE 661303.103
AT ITER 3656 NEW BEST:: SOT 2596890 SOS 1529965 HAS SOPS 1529965 HAS SOUS 659189 HAS SOUPS 659189 WITH SCORE 660718.965
AT ITER 3659 NEW BEST:: SOT 2596865 SOS 1529986 HAS SOPS 1529986 HAS SOUS 659139 HAS SOUPS 659139 WITH SCORE 660668.986
AT ITER 3660 NEW BEST:: SOT 2596973 SOS 1529975 HAS SOPS 1529975 HAS SOUS 658875 HAS SOUPS 658875 WITH SCORE 660404.975
AT ITER 3673 NEW BEST:: SOT 2596776 SOS 1529997 HAS SOPS 1529997 HAS SOUS 658517 HAS SOUPS 658517 WITH SCORE 660046.997
AT ITER 3691 NEW BEST:: SOT 2596776 SOS 1529790 HAS SOPS 1529790 HAS SOUS 658517 HAS SOUPS 658517 WITH SCORE 660046.79
AT ITER 3705 NEW BEST:: SOT 2596186 SOS 1528520 HAS SOPS 1528520 HAS SOUS 657803 HAS SOUPS 657803 WITH SCORE 659331.52
AT ITER 3707 NEW BEST:: SOT 2596186 SOS 1528520 HAS SOPS 1528520 HAS SOUS 657506 HAS SOUPS 657506 WITH SCORE 659034.52
AT ITER 3710 NEW BEST:: SOT 2596144 SOS 1528570 HAS SOPS 1528570 HAS SOUS 657433 HAS SOUPS 657433 WITH SCORE 658961.57
AT ITER 3714 NEW BEST:: SOT 2595838 SOS 1527652 HAS SOPS 1527652 HAS SOUS 657127 HAS SOUPS 657127 WITH SCORE 658654.652
AT ITER 3724 NEW BEST:: SOT 2595838 SOS 1527349 HAS SOPS 1527349 HAS SOUS 656959 HAS SOUPS 656959 WITH SCORE 658486.349
AT ITER 3730 NEW BEST:: SOT 2595728 SOS 1526909 HAS SOPS 1526909 HAS SOUS 656739 HAS SOUPS 656739 WITH SCORE 658265.909
AT ITER 3731 NEW BEST:: SOT 2594650 SOS 1525831 HAS SOPS 1525831 HAS SOUS 656448 HAS SOUPS 656448 WITH SCORE 657973.831
AT ITER 3733 NEW BEST:: SOT 2594655 SOS 1525841 HAS SOPS 1525841 HAS SOUS 656428 HAS SOUPS 656428 WITH SCORE 657953.841
AT ITER 3752 NEW BEST:: SOT 2594083 SOS 1525408 HAS SOPS 1525408 HAS SOUS 655875 HAS SOUPS 655875 WITH SCORE 657400.408
AT ITER 3757 NEW BEST:: SOT 2594045 SOS 1525332 HAS SOPS 1525332 HAS SOUS 655837 HAS SOUPS 655837 WITH SCORE 657362.332
AT ITER 3758 NEW BEST:: SOT 2593932 SOS 1523614 HAS SOPS 1523614 HAS SOUS 654978 HAS SOUPS 654978 WITH SCORE 656501.614
AT ITER 3760 NEW BEST:: SOT 2593932 SOS 1523614 HAS SOPS 1523614 HAS SOUS 654442 HAS SOUPS 654442 WITH SCORE 655965.614
AT ITER 3764 NEW BEST:: SOT 2593437 SOS 1522624 HAS SOPS 1522624 HAS SOUS 654002 HAS SOUPS 654002 WITH SCORE 655524.624
AT ITER 3771 NEW BEST:: SOT 2593446 SOS 1522633 HAS SOPS 1522633 HAS SOUS 653913 HAS SOUPS 653913 WITH SCORE 655435.633
AT ITER 3779 NEW BEST:: SOT 2593556 SOS 1522515 HAS SOPS 1522515 HAS SOUS 653851 HAS SOUPS 653851 WITH SCORE 655373.515
AT ITER 3782 NEW BEST:: SOT 2593585 SOS 1522544 HAS SOPS 1522544 HAS SOUS 653848 HAS SOUPS 653848 WITH SCORE 655370.544
AT ITER 3794 NEW BEST:: SOT 2593585 SOS 1522492 HAS SOPS 1522492 HAS SOUS 653796 HAS SOUPS 653796 WITH SCORE 655318.492
AT ITER 3801 NEW BEST:: SOT 2593475 SOS 1522316 HAS SOPS 1522316 HAS SOUS 653686 HAS SOUPS 653686 WITH SCORE 655208.316
AT ITER 3804 NEW BEST:: SOT 2593204 SOS 1522302 HAS SOPS 1522302 HAS SOUS 653421 HAS SOUPS 653421 WITH SCORE 654943.302
AT ITER 3805 NEW BEST:: SOT 2593204 SOS 1522302 HAS SOPS 1522302 HAS SOUS 653359 HAS SOUPS 653359 WITH SCORE 654881.302
AT ITER 3812 NEW BEST:: SOT 2593345 SOS 1522323 HAS SOPS 1522323 HAS SOUS 653255 HAS SOUPS 653255 WITH SCORE 654777.323
AT ITER 3815 NEW BEST:: SOT 2593412 SOS 1521691 HAS SOPS 1521691 HAS SOUS 653057 HAS SOUPS 653057 WITH SCORE 654578.691
AT ITER 3820 NEW BEST:: SOT 2593412 SOS 1521691 HAS SOPS 1521691 HAS SOUS 652942 HAS SOUPS 652942 WITH SCORE 654463.691
AT ITER 3823 NEW BEST:: SOT 2593320 SOS 1521287 HAS SOPS 1521287 HAS SOUS 652758 HAS SOUPS 652758 WITH SCORE 654279.287
AT ITER 3825 NEW BEST:: SOT 2591778 SOS 1533924 HAS SOPS 1533924 HAS SOUS 652566 HAS SOUPS 652566 WITH SCORE 654099.924
AT ITER 3833 NEW BEST:: SOT 2591687 SOS 1533833 HAS SOPS 1533833 HAS SOUS 652475 HAS SOUPS 652475 WITH SCORE 654008.833
AT ITER 3838 NEW BEST:: SOT 2591451 SOS 1533597 HAS SOPS 1533597 HAS SOUS 652239 HAS SOUPS 652239 WITH SCORE 653772.597
AT ITER 3839 NEW BEST:: SOT 2591976 SOS 1532844 HAS SOPS 1532844 HAS SOUS 652144 HAS SOUPS 652144 WITH SCORE 653676.844
AT ITER 3840 NEW BEST:: SOT 2591914 SOS 1532782 HAS SOPS 1532782 HAS SOUS 652082 HAS SOUPS 652082 WITH SCORE 653614.782
AT ITER 3852 NEW BEST:: SOT 2591914 SOS 1532782 HAS SOPS 1532782 HAS SOUS 651919 HAS SOUPS 651919 WITH SCORE 653451.782
AT ITER 3855 NEW BEST:: SOT 2591892 SOS 1532782 HAS SOPS 1532782 HAS SOUS 651897 HAS SOUPS 651897 WITH SCORE 653429.782
AT ITER 3860 NEW BEST:: SOT 2591892 SOS 1532782 HAS SOPS 1532782 HAS SOUS 651698 HAS SOUPS 651698 WITH SCORE 653230.782
AT ITER 3864 NEW BEST:: SOT 2591947 SOS 1532410 HAS SOPS 1532410 HAS SOUS 651439 HAS SOUPS 651439 WITH SCORE 652971.41
AT ITER 3865 NEW BEST:: SOT 2592004 SOS 1532524 HAS SOPS 1532524 HAS SOUS 651433 HAS SOUPS 651433 WITH SCORE 652965.524
AT ITER 3875 NEW BEST:: SOT 2592004 SOS 1528916 HAS SOPS 1528916 HAS SOUS 651359 HAS SOUPS 651359 WITH SCORE 652887.916
AT ITER 3876 NEW BEST:: SOT 2591857 SOS 1529134 HAS SOPS 1529134 HAS SOUS 651321 HAS SOUPS 651321 WITH SCORE 652850.134
AT ITER 3893 NEW BEST:: SOT 2591898 SOS 1528835 HAS SOPS 1528835 HAS SOUS 650981 HAS SOUPS 650981 WITH SCORE 652509.835
AT ITER 3897 NEW BEST:: SOT 2592665 SOS 1520165 HAS SOPS 1520165 HAS SOUS 650986 HAS SOUPS 650986 WITH SCORE 652506.165
AT ITER 3907 NEW BEST:: SOT 2592707 SOS 1520100 HAS SOPS 1520100 HAS SOUS 650921 HAS SOUPS 650921 WITH SCORE 652441.1
AT ITER 3916 NEW BEST:: SOT 2592712 SOS 1520110 HAS SOPS 1520110 HAS SOUS 650688 HAS SOUPS 650688 WITH SCORE 652208.11
AT ITER 3920 NEW BEST:: SOT 2592315 SOS 1519316 HAS SOPS 1519316 HAS SOUS 650170 HAS SOUPS 650170 WITH SCORE 651689.316
AT ITER 3925 NEW BEST:: SOT 2592315 SOS 1519284 HAS SOPS 1519284 HAS SOUS 650138 HAS SOUPS 650138 WITH SCORE 651657.284
AT ITER 3926 NEW BEST:: SOT 2592315 SOS 1519230 HAS SOPS 1519230 HAS SOUS 650138 HAS SOUPS 650138 WITH SCORE 651657.23
AT ITER 3946 NEW BEST:: SOT 2592172 SOS 1519276 HAS SOPS 1519276 HAS SOUS 649943 HAS SOUPS 649943 WITH SCORE 651462.276
AT ITER 3954 NEW BEST:: SOT 2592034 SOS 1519175 HAS SOPS 1519175 HAS SOUS 649842 HAS SOUPS 649842 WITH SCORE 651361.175
AT ITER 3970 NEW BEST:: SOT 2591770 SOS 1518696 HAS SOPS 1518696 HAS SOUS 649467 HAS SOUPS 649467 WITH SCORE 650985.696
AT ITER 3973 NEW BEST:: SOT 2591746 SOS 1518672 HAS SOPS 1518672 HAS SOUS 649442 HAS SOUPS 649442 WITH SCORE 650960.672
AT ITER 3974 NEW BEST:: SOT 2591954 SOS 1510670 HAS SOPS 1510670 HAS SOUS 648390 HAS SOUPS 648390 WITH SCORE 649900.67
AT ITER 3976 NEW BEST:: SOT 2591520 SOS 1509802 HAS SOPS 1509802 HAS SOUS 647645 HAS SOUPS 647645 WITH SCORE 649154.802
AT ITER 3981 NEW BEST:: SOT 2591511 SOS 1509784 HAS SOPS 1509784 HAS SOUS 647627 HAS SOUPS 647627 WITH SCORE 649136.784
AT ITER 3982 NEW BEST:: SOT 2591417 SOS 1509904 HAS SOPS 1509904 HAS SOUS 647205 HAS SOUPS 647205 WITH SCORE 648714.904
AT ITER 3993 NEW BEST:: SOT 2591417 SOS 1509904 HAS SOPS 1509904 HAS SOUS 647131 HAS SOUPS 647131 WITH SCORE 648640.904
AT ITER 3996 NEW BEST:: SOT 2591524 SOS 1509840 HAS SOPS 1509840 HAS SOUS 647067 HAS SOUPS 647067 WITH SCORE 648576.84
AT ITER 4000 NEW BEST:: SOT 2589819 SOS 1508449 HAS SOPS 1508449 HAS SOUS 645162 HAS SOUPS 645162 WITH SCORE 646670.449
AT ITER 4003 NEW BEST:: SOT 2589466 SOS 1508096 HAS SOPS 1508096 HAS SOUS 644667 HAS SOUPS 644667 WITH SCORE 646175.096
AT ITER 4007 NEW BEST:: SOT 2589565 SOS 1507919 HAS SOPS 1507919 HAS SOUS 644593 HAS SOUPS 644593 WITH SCORE 646100.919
AT ITER 4013 NEW BEST:: SOT 2589570 SOS 1507800 HAS SOPS 1507800 HAS SOUS 644345 HAS SOUPS 644345 WITH SCORE 645852.8
AT ITER 4025 NEW BEST:: SOT 2589687 SOS 1500479 HAS SOPS 1500479 HAS SOUS 644247 HAS SOUPS 644247 WITH SCORE 645747.479
AT ITER 4032 NEW BEST:: SOT 2589699 SOS 1500204 HAS SOPS 1500204 HAS SOUS 644029 HAS SOUPS 644029 WITH SCORE 645529.204
AT ITER 4034 NEW BEST:: SOT 2589493 SOS 1499813 HAS SOPS 1499813 HAS SOUS 643956 HAS SOUPS 643956 WITH SCORE 645455.813
AT ITER 4038 NEW BEST:: SOT 2589457 SOS 1499637 HAS SOPS 1499637 HAS SOUS 643884 HAS SOUPS 643884 WITH SCORE 645383.637
AT ITER 4040 NEW BEST:: SOT 2589571 SOS 1499350 HAS SOPS 1499350 HAS SOUS 643597 HAS SOUPS 643597 WITH SCORE 645096.35
AT ITER 4041 NEW BEST:: SOT 2589384 SOS 1499163 HAS SOPS 1499163 HAS SOUS 643410 HAS SOUPS 643410 WITH SCORE 644909.163
AT ITER 4044 NEW BEST:: SOT 2589356 SOS 1499135 HAS SOPS 1499135 HAS SOUS 643382 HAS SOUPS 643382 WITH SCORE 644881.135
AT ITER 4050 NEW BEST:: SOT 2589140 SOS 1498703 HAS SOPS 1498703 HAS SOUS 643166 HAS SOUPS 643166 WITH SCORE 644664.703
AT ITER 4056 NEW BEST:: SOT 2589002 SOS 1498565 HAS SOPS 1498565 HAS SOUS 643028 HAS SOUPS 643028 WITH SCORE 644526.565
AT ITER 4059 NEW BEST:: SOT 2589002 SOS 1498565 HAS SOPS 1498565 HAS SOUS 642624 HAS SOUPS 642624 WITH SCORE 644122.565
AT ITER 4064 NEW BEST:: SOT 2588872 SOS 1498241 HAS SOPS 1498241 HAS SOUS 642494 HAS SOUPS 642494 WITH SCORE 643992.241
AT ITER 4073 NEW BEST:: SOT 2588831 SOS 1498371 HAS SOPS 1498371 HAS SOUS 642453 HAS SOUPS 642453 WITH SCORE 643951.371
AT ITER 4078 NEW BEST:: SOT 2588952 SOS 1498324 HAS SOPS 1498324 HAS SOUS 642342 HAS SOUPS 642342 WITH SCORE 643840.324
AT ITER 4082 NEW BEST:: SOT 2588952 SOS 1498324 HAS SOPS 1498324 HAS SOUS 642280 HAS SOUPS 642280 WITH SCORE 643778.324
AT ITER 4083 NEW BEST:: SOT 2588925 SOS 1498431 HAS SOPS 1498431 HAS SOUS 642253 HAS SOUPS 642253 WITH SCORE 643751.431
AT ITER 4085 NEW BEST:: SOT 2588958 SOS 1498277 HAS SOPS 1498277 HAS SOUS 642209 HAS SOUPS 642209 WITH SCORE 643707.277
AT ITER 4092 NEW BEST:: SOT 2589439 SOS 1498562 HAS SOPS 1498562 HAS SOUS 642091 HAS SOUPS 642091 WITH SCORE 643589.562
AT ITER 4096 NEW BEST:: SOT 2589115 SOS 1498238 HAS SOPS 1498238 HAS SOUS 641937 HAS SOUPS 641937 WITH SCORE 643435.238
AT ITER 4097 NEW BEST:: SOT 2589186 SOS 1498309 HAS SOPS 1498309 HAS SOUS 641910 HAS SOUPS 641910 WITH SCORE 643408.309
AT ITER 4100 NEW BEST:: SOT 2589385 SOS 1497964 HAS SOPS 1497964 HAS SOUS 641901 HAS SOUPS 641901 WITH SCORE 643398.964
AT ITER 4104 NEW BEST:: SOT 2589317 SOS 1498065 HAS SOPS 1498065 HAS SOUS 641765 HAS SOUPS 641765 WITH SCORE 643263.065
AT ITER 4106 NEW BEST:: SOT 2589162 SOS 1497910 HAS SOPS 1497910 HAS SOUS 641610 HAS SOUPS 641610 WITH SCORE 643107.91
AT ITER 4107 NEW BEST:: SOT 2588964 SOS 1497438 HAS SOPS 1497438 HAS SOUS 641329 HAS SOUPS 641329 WITH SCORE 642826.438
AT ITER 4108 NEW BEST:: SOT 2589069 SOS 1497543 HAS SOPS 1497543 HAS SOUS 641257 HAS SOUPS 641257 WITH SCORE 642754.543
AT ITER 4109 NEW BEST:: SOT 2588975 SOS 1497209 HAS SOPS 1497209 HAS SOUS 641063 HAS SOUPS 641063 WITH SCORE 642560.209
AT ITER 4118 NEW BEST:: SOT 2589080 SOS 1496762 HAS SOPS 1496762 HAS SOUS 640593 HAS SOUPS 640593 WITH SCORE 642089.762
AT ITER 4120 NEW BEST:: SOT 2588963 SOS 1496654 HAS SOPS 1496654 HAS SOUS 640561 HAS SOUPS 640561 WITH SCORE 642057.654
AT ITER 4122 NEW BEST:: SOT 2588963 SOS 1496797 HAS SOPS 1496797 HAS SOUS 640489 HAS SOUPS 640489 WITH SCORE 641985.797
AT ITER 4136 NEW BEST:: SOT 2588963 SOS 1496418 HAS SOPS 1496418 HAS SOUS 640110 HAS SOUPS 640110 WITH SCORE 641606.418
AT ITER 4138 NEW BEST:: SOT 2589013 SOS 1496468 HAS SOPS 1496468 HAS SOUS 639984 HAS SOUPS 639984 WITH SCORE 641480.468
AT ITER 4143 NEW BEST:: SOT 2589013 SOS 1496468 HAS SOPS 1496468 HAS SOUS 639954 HAS SOUPS 639954 WITH SCORE 641450.468
AT ITER 4145 NEW BEST:: SOT 2589040 SOS 1495959 HAS SOPS 1495959 HAS SOUS 639712 HAS SOUPS 639712 WITH SCORE 641207.959
AT ITER 4146 NEW BEST:: SOT 2589037 SOS 1495953 HAS SOPS 1495953 HAS SOUS 639708 HAS SOUPS 639708 WITH SCORE 641203.953
AT ITER 4150 NEW BEST:: SOT 2588793 SOS 1495946 HAS SOPS 1495946 HAS SOUS 638513 HAS SOUPS 638513 WITH SCORE 640008.946
AT ITER 4166 NEW BEST:: SOT 2588635 SOS 1496238 HAS SOPS 1496238 HAS SOUS 638360 HAS SOUPS 638360 WITH SCORE 639856.238
AT ITER 4167 NEW BEST:: SOT 2588572 SOS 1496112 HAS SOPS 1496112 HAS SOUS 637552 HAS SOUPS 637552 WITH SCORE 639048.112
AT ITER 4175 NEW BEST:: SOT 2588595 SOS 1496158 HAS SOPS 1496158 HAS SOUS 637405 HAS SOUPS 637405 WITH SCORE 638901.158
AT ITER 4180 NEW BEST:: SOT 2588559 SOS 1496086 HAS SOPS 1496086 HAS SOUS 637369 HAS SOUPS 637369 WITH SCORE 638865.086
AT ITER 4187 NEW BEST:: SOT 2588087 SOS 1495718 HAS SOPS 1495718 HAS SOUS 636644 HAS SOUPS 636644 WITH SCORE 638139.718
AT ITER 4198 NEW BEST:: SOT 2588073 SOS 1495671 HAS SOPS 1495671 HAS SOUS 636635 HAS SOUPS 636635 WITH SCORE 638130.671
AT ITER 4199 NEW BEST:: SOT 2587821 SOS 1495182 HAS SOPS 1495182 HAS SOUS 636161 HAS SOUPS 636161 WITH SCORE 637656.182
AT ITER 4200 NEW BEST:: SOT 2587821 SOS 1495182 HAS SOPS 1495182 HAS SOUS 636071 HAS SOUPS 636071 WITH SCORE 637566.182
AT ITER 4202 NEW BEST:: SOT 2587714 SOS 1495075 HAS SOPS 1495075 HAS SOUS 635964 HAS SOUPS 635964 WITH SCORE 637459.075
AT ITER 4242 NEW BEST:: SOT 2588061 SOS 1488575 HAS SOPS 1488575 HAS SOUS 635379 HAS SOUPS 635379 WITH SCORE 636867.575
AT ITER 4259 NEW BEST:: SOT 2587972 SOS 1488041 HAS SOPS 1488041 HAS SOUS 634948 HAS SOUPS 634948 WITH SCORE 636436.041
AT ITER 4261 NEW BEST:: SOT 2587876 SOS 1487945 HAS SOPS 1487945 HAS SOUS 634852 HAS SOUPS 634852 WITH SCORE 636339.945
AT ITER 4263 NEW BEST:: SOT 2587780 SOS 1487678 HAS SOPS 1487678 HAS SOUS 634836 HAS SOUPS 634836 WITH SCORE 636323.678
AT ITER 4265 NEW BEST:: SOT 2587780 SOS 1487541 HAS SOPS 1487541 HAS SOUS 634836 HAS SOUPS 634836 WITH SCORE 636323.541
AT ITER 4266 NEW BEST:: SOT 2587780 SOS 1487541 HAS SOPS 1487541 HAS SOUS 634796 HAS SOUPS 634796 WITH SCORE 636283.541
AT ITER 4267 NEW BEST:: SOT 2587747 SOS 1487140 HAS SOPS 1487140 HAS SOUS 634421 HAS SOUPS 634421 WITH SCORE 635908.14
AT ITER 4275 NEW BEST:: SOT 2587263 SOS 1486172 HAS SOPS 1486172 HAS SOUS 634103 HAS SOUPS 634103 WITH SCORE 635589.172
AT ITER 4292 NEW BEST:: SOT 2587263 SOS 1486172 HAS SOPS 1486172 HAS SOUS 634000 HAS SOUPS 634000 WITH SCORE 635486.172
AT ITER 4293 NEW BEST:: SOT 2587258 SOS 1486162 HAS SOPS 1486162 HAS SOUS 633990 HAS SOUPS 633990 WITH SCORE 635476.162
AT ITER 4301 NEW BEST:: SOT 2587336 SOS 1486034 HAS SOPS 1486034 HAS SOUS 633862 HAS SOUPS 633862 WITH SCORE 635348.034
AT ITER 4303 NEW BEST:: SOT 2587328 SOS 1486018 HAS SOPS 1486018 HAS SOUS 633846 HAS SOUPS 633846 WITH SCORE 635332.018
AT ITER 4312 NEW BEST:: SOT 2587328 SOS 1485902 HAS SOPS 1485902 HAS SOUS 633762 HAS SOUPS 633762 WITH SCORE 635247.902
AT ITER 4315 NEW BEST:: SOT 2587339 SOS 1485542 HAS SOPS 1485542 HAS SOUS 633719 HAS SOUPS 633719 WITH SCORE 635204.542
AT ITER 4317 NEW BEST:: SOT 2588222 SOS 1486295 HAS SOPS 1486295 HAS SOUS 633553 HAS SOUPS 633553 WITH SCORE 635039.295
AT ITER 4321 NEW BEST:: SOT 2588222 SOS 1486283 HAS SOPS 1486283 HAS SOUS 633553 HAS SOUPS 633553 WITH SCORE 635039.283
AT ITER 4324 NEW BEST:: SOT 2587825 SOS 1485515 HAS SOPS 1485515 HAS SOUS 633156 HAS SOUPS 633156 WITH SCORE 634641.515
AT ITER 4332 NEW BEST:: SOT 2587705 SOS 1484759 HAS SOPS 1484759 HAS SOUS 632916 HAS SOUPS 632916 WITH SCORE 634400.759
AT ITER 4333 NEW BEST:: SOT 2587705 SOS 1484759 HAS SOPS 1484759 HAS SOUS 632706 HAS SOUPS 632706 WITH SCORE 634190.759
AT ITER 4345 NEW BEST:: SOT 2587318 SOS 1484372 HAS SOPS 1484372 HAS SOUS 632706 HAS SOUPS 632706 WITH SCORE 634190.372
AT ITER 4347 NEW BEST:: SOT 2587144 SOS 1484198 HAS SOPS 1484198 HAS SOUS 632532 HAS SOUPS 632532 WITH SCORE 634016.198
AT ITER 4348 NEW BEST:: SOT 2587460 SOS 1484111 HAS SOPS 1484111 HAS SOUS 632325 HAS SOUPS 632325 WITH SCORE 633809.111
AT ITER 4355 NEW BEST:: SOT 2587335 SOS 1482553 HAS SOPS 1482553 HAS SOUS 632075 HAS SOUPS 632075 WITH SCORE 633557.553
AT ITER 4358 NEW BEST:: SOT 2587085 SOS 1481803 HAS SOPS 1481803 HAS SOUS 631575 HAS SOUPS 631575 WITH SCORE 633056.803
AT ITER 4364 NEW BEST:: SOT 2587192 SOS 1482258 HAS SOPS 1482258 HAS SOUS 631416 HAS SOUPS 631416 WITH SCORE 632898.258
AT ITER 4365 NEW BEST:: SOT 2587085 SOS 1482162 HAS SOPS 1482162 HAS SOUS 631309 HAS SOUPS 631309 WITH SCORE 632791.162
AT ITER 4375 NEW BEST:: SOT 2586478 SOS 1481393 HAS SOPS 1481393 HAS SOUS 630951 HAS SOUPS 630951 WITH SCORE 632432.393
AT ITER 4379 NEW BEST:: SOT 2586184 SOS 1481099 HAS SOPS 1481099 HAS SOUS 630441 HAS SOUPS 630441 WITH SCORE 631922.099
AT ITER 4380 NEW BEST:: SOT 2586173 SOS 1481139 HAS SOPS 1481139 HAS SOUS 630430 HAS SOUPS 630430 WITH SCORE 631911.139
AT ITER 4388 NEW BEST:: SOT 2586170 SOS 1481045 HAS SOPS 1481045 HAS SOUS 630336 HAS SOUPS 630336 WITH SCORE 631817.045
AT ITER 4389 NEW BEST:: SOT 2585783 SOS 1480270 HAS SOPS 1480270 HAS SOUS 630098 HAS SOUPS 630098 WITH SCORE 631578.27
AT ITER 4396 NEW BEST:: SOT 2585767 SOS 1480254 HAS SOPS 1480254 HAS SOUS 630092 HAS SOUPS 630092 WITH SCORE 631572.254
AT ITER 4399 NEW BEST:: SOT 2585100 SOS 1479612 HAS SOPS 1479612 HAS SOUS 629469 HAS SOUPS 629469 WITH SCORE 630948.612
AT ITER 4400 NEW BEST:: SOT 2585100 SOS 1479780 HAS SOPS 1479780 HAS SOUS 629340 HAS SOUPS 629340 WITH SCORE 630819.78
AT ITER 4411 NEW BEST:: SOT 2584993 SOS 1479126 HAS SOPS 1479126 HAS SOUS 629215 HAS SOUPS 629215 WITH SCORE 630694.126
AT ITER 4414 NEW BEST:: SOT 2584783 SOS 1478822 HAS SOPS 1478822 HAS SOUS 628809 HAS SOUPS 628809 WITH SCORE 630287.822
AT ITER 4424 NEW BEST:: SOT 2584802 SOS 1478860 HAS SOPS 1478860 HAS SOUS 628310 HAS SOUPS 628310 WITH SCORE 629788.86
AT ITER 4430 NEW BEST:: SOT 2584802 SOS 1478860 HAS SOPS 1478860 HAS SOUS 628289 HAS SOUPS 628289 WITH SCORE 629767.86
AT ITER 4436 NEW BEST:: SOT 2584801 SOS 1478858 HAS SOPS 1478858 HAS SOUS 628287 HAS SOUPS 628287 WITH SCORE 629765.858
AT ITER 4437 NEW BEST:: SOT 2584801 SOS 1478858 HAS SOPS 1478858 HAS SOUS 627872 HAS SOUPS 627872 WITH SCORE 629350.858
AT ITER 4443 NEW BEST:: SOT 2584801 SOS 1478858 HAS SOPS 1478858 HAS SOUS 627854 HAS SOUPS 627854 WITH SCORE 629332.858
AT ITER 4444 NEW BEST:: SOT 2584602 SOS 1478439 HAS SOPS 1478439 HAS SOUS 627552 HAS SOUPS 627552 WITH SCORE 629030.439
AT ITER 4451 NEW BEST:: SOT 2584644 SOS 1478016 HAS SOPS 1478016 HAS SOUS 627383 HAS SOUPS 627383 WITH SCORE 628861.016
AT ITER 4452 NEW BEST:: SOT 2584644 SOS 1478033 HAS SOPS 1478033 HAS SOUS 627263 HAS SOUPS 627263 WITH SCORE 628741.033
AT ITER 4453 NEW BEST:: SOT 2584890 SOS 1477435 HAS SOPS 1477435 HAS SOUS 626809 HAS SOUPS 626809 WITH SCORE 628286.435
AT ITER 4455 NEW BEST:: SOT 2584964 SOS 1477543 HAS SOPS 1477543 HAS SOUS 626754 HAS SOUPS 626754 WITH SCORE 628231.543
AT ITER 4460 NEW BEST:: SOT 2584720 SOS 1476721 HAS SOPS 1476721 HAS SOUS 626266 HAS SOUPS 626266 WITH SCORE 627742.721
AT ITER 4463 NEW BEST:: SOT 2584720 SOS 1476805 HAS SOPS 1476805 HAS SOUS 626182 HAS SOUPS 626182 WITH SCORE 627658.805
AT ITER 4480 NEW BEST:: SOT 2584720 SOS 1476777 HAS SOPS 1476777 HAS SOUS 626168 HAS SOUPS 626168 WITH SCORE 627644.777
AT ITER 4481 NEW BEST:: SOT 2584720 SOS 1476502 HAS SOPS 1476502 HAS SOUS 625999 HAS SOUPS 625999 WITH SCORE 627475.502
AT ITER 4484 NEW BEST:: SOT 2584761 SOS 1476156 HAS SOPS 1476156 HAS SOUS 625459 HAS SOUPS 625459 WITH SCORE 626935.156
AT ITER 4485 NEW BEST:: SOT 2584069 SOS 1474772 HAS SOPS 1474772 HAS SOUS 624467 HAS SOUPS 624467 WITH SCORE 625941.772
AT ITER 4489 NEW BEST:: SOT 2583898 SOS 1474601 HAS SOPS 1474601 HAS SOUS 624296 HAS SOUPS 624296 WITH SCORE 625770.601
AT ITER 4496 NEW BEST:: SOT 2583828 SOS 1474531 HAS SOPS 1474531 HAS SOUS 624226 HAS SOUPS 624226 WITH SCORE 625700.531
AT ITER 4497 NEW BEST:: SOT 2583828 SOS 1474205 HAS SOPS 1474205 HAS SOUS 624226 HAS SOUPS 624226 WITH SCORE 625700.205
AT ITER 4498 NEW BEST:: SOT 2583828 SOS 1474205 HAS SOPS 1474205 HAS SOUS 624019 HAS SOUPS 624019 WITH SCORE 625493.205
AT ITER 4506 NEW BEST:: SOT 2583524 SOS 1473597 HAS SOPS 1473597 HAS SOUS 623715 HAS SOUPS 623715 WITH SCORE 625188.597
AT ITER 4522 NEW BEST:: SOT 2583516 SOS 1473581 HAS SOPS 1473581 HAS SOUS 623707 HAS SOUPS 623707 WITH SCORE 625180.581
AT ITER 4532 NEW BEST:: SOT 2583665 SOS 1473203 HAS SOPS 1473203 HAS SOUS 623576 HAS SOUPS 623576 WITH SCORE 625049.203
AT ITER 4542 NEW BEST:: SOT 2583665 SOS 1473203 HAS SOPS 1473203 HAS SOUS 623516 HAS SOUPS 623516 WITH SCORE 624989.203
AT ITER 4549 NEW BEST:: SOT 2583465 SOS 1472803 HAS SOPS 1472803 HAS SOUS 623351 HAS SOUPS 623351 WITH SCORE 624823.803
AT ITER 4557 NEW BEST:: SOT 2583143 SOS 1472403 HAS SOPS 1472403 HAS SOUS 622936 HAS SOUPS 622936 WITH SCORE 624408.403
AT ITER 4566 NEW BEST:: SOT 2582337 SOS 1471597 HAS SOPS 1471597 HAS SOUS 622487 HAS SOUPS 622487 WITH SCORE 623958.597
AT ITER 4573 NEW BEST:: SOT 2582337 SOS 1471539 HAS SOPS 1471539 HAS SOUS 622429 HAS SOUPS 622429 WITH SCORE 623900.539
AT ITER 4577 NEW BEST:: SOT 2582665 SOS 1471740 HAS SOPS 1471740 HAS SOUS 622058 HAS SOUPS 622058 WITH SCORE 623529.74
AT ITER 4579 NEW BEST:: SOT 2582613 SOS 1471497 HAS SOPS 1471497 HAS SOUS 621983 HAS SOUPS 621983 WITH SCORE 623454.497
AT ITER 4592 NEW BEST:: SOT 2582373 SOS 1471017 HAS SOPS 1471017 HAS SOUS 621503 HAS SOUPS 621503 WITH SCORE 622974.017
AT ITER 4596 NEW BEST:: SOT 2582390 SOS 1470983 HAS SOPS 1470983 HAS SOUS 621503 HAS SOUPS 621503 WITH SCORE 622973.983
AT ITER 4598 NEW BEST:: SOT 2582390 SOS 1470913 HAS SOPS 1470913 HAS SOUS 621433 HAS SOUPS 621433 WITH SCORE 622903.913
AT ITER 4606 NEW BEST:: SOT 2582390 SOS 1470913 HAS SOPS 1470913 HAS SOUS 621425 HAS SOUPS 621425 WITH SCORE 622895.913
AT ITER 4614 NEW BEST:: SOT 2582262 SOS 1470529 HAS SOPS 1470529 HAS SOUS 621297 HAS SOUPS 621297 WITH SCORE 622767.529
AT ITER 4630 NEW BEST:: SOT 2581421 SOS 1469304 HAS SOPS 1469304 HAS SOUS 620486 HAS SOUPS 620486 WITH SCORE 621955.304
AT ITER 4643 NEW BEST:: SOT 2581498 SOS 1469332 HAS SOPS 1469332 HAS SOUS 620437 HAS SOUPS 620437 WITH SCORE 621906.332
AT ITER 4664 NEW BEST:: SOT 2581498 SOS 1469188 HAS SOPS 1469188 HAS SOUS 620124 HAS SOUPS 620124 WITH SCORE 621593.188
AT ITER 4666 NEW BEST:: SOT 2580800 SOS 1468152 HAS SOPS 1468152 HAS SOUS 619426 HAS SOUPS 619426 WITH SCORE 620894.152
AT ITER 4669 NEW BEST:: SOT 2580860 SOS 1468209 HAS SOPS 1468209 HAS SOUS 619391 HAS SOUPS 619391 WITH SCORE 620859.209
AT ITER 4674 NEW BEST:: SOT 2580490 SOS 1467839 HAS SOPS 1467839 HAS SOUS 619122 HAS SOUPS 619122 WITH SCORE 620589.839
AT ITER 4680 NEW BEST:: SOT 2580456 SOS 1467771 HAS SOPS 1467771 HAS SOUS 619020 HAS SOUPS 619020 WITH SCORE 620487.771
AT ITER 4681 NEW BEST:: SOT 2580394 SOS 1467724 HAS SOPS 1467724 HAS SOUS 618973 HAS SOUPS 618973 WITH SCORE 620440.724
AT ITER 4684 NEW BEST:: SOT 2580394 SOS 1467645 HAS SOPS 1467645 HAS SOUS 618973 HAS SOUPS 618973 WITH SCORE 620440.645
AT ITER 4693 NEW BEST:: SOT 2580188 SOS 1467233 HAS SOPS 1467233 HAS SOUS 618767 HAS SOUPS 618767 WITH SCORE 620234.233
AT ITER 4701 NEW BEST:: SOT 2580062 SOS 1467462 HAS SOPS 1467462 HAS SOUS 618577 HAS SOUPS 618577 WITH SCORE 620044.462
AT ITER 4702 NEW BEST:: SOT 2580024 SOS 1467424 HAS SOPS 1467424 HAS SOUS 618539 HAS SOUPS 618539 WITH SCORE 620006.424
AT ITER 4704 NEW BEST:: SOT 2580024 SOS 1467211 HAS SOPS 1467211 HAS SOUS 618326 HAS SOUPS 618326 WITH SCORE 619793.211
AT ITER 4706 NEW BEST:: SOT 2580151 SOS 1467069 HAS SOPS 1467069 HAS SOUS 618184 HAS SOUPS 618184 WITH SCORE 619651.069
AT ITER 4707 NEW BEST:: SOT 2580132 SOS 1467012 HAS SOPS 1467012 HAS SOUS 618127 HAS SOUPS 618127 WITH SCORE 619594.012
AT ITER 4717 NEW BEST:: SOT 2580088 SOS 1466924 HAS SOPS 1466924 HAS SOUS 617876 HAS SOUPS 617876 WITH SCORE 619342.924
AT ITER 4725 NEW BEST:: SOT 2579985 SOS 1465954 HAS SOPS 1465954 HAS SOUS 617064 HAS SOUPS 617064 WITH SCORE 618529.954
AT ITER 4726 NEW BEST:: SOT 2579970 SOS 1465924 HAS SOPS 1465924 HAS SOUS 617049 HAS SOUPS 617049 WITH SCORE 618514.924
AT ITER 4740 NEW BEST:: SOT 2580197 SOS 1437506 HAS SOPS 1437506 HAS SOUS 616404 HAS SOUPS 616404 WITH SCORE 617841.506
AT ITER 4743 NEW BEST:: SOT 2579270 SOS 1436281 HAS SOPS 1436281 HAS SOUS 615477 HAS SOUPS 615477 WITH SCORE 616913.281
AT ITER 4749 NEW BEST:: SOT 2578873 SOS 1435523 HAS SOPS 1435523 HAS SOUS 615179 HAS SOUPS 615179 WITH SCORE 616614.523
AT ITER 4750 NEW BEST:: SOT 2578807 SOS 1435391 HAS SOPS 1435391 HAS SOUS 615113 HAS SOUPS 615113 WITH SCORE 616548.391
AT ITER 4759 NEW BEST:: SOT 2578763 SOS 1435347 HAS SOPS 1435347 HAS SOUS 615113 HAS SOUPS 615113 WITH SCORE 616548.347
AT ITER 4766 NEW BEST:: SOT 2578763 SOS 1435060 HAS SOPS 1435060 HAS SOUS 615113 HAS SOUPS 615113 WITH SCORE 616548.06
AT ITER 4777 NEW BEST:: SOT 2578715 SOS 1435012 HAS SOPS 1435012 HAS SOUS 615065 HAS SOUPS 615065 WITH SCORE 616500.012
AT ITER 4779 NEW BEST:: SOT 2578637 SOS 1434700 HAS SOPS 1434700 HAS SOUS 614909 HAS SOUPS 614909 WITH SCORE 616343.7
AT ITER 4788 NEW BEST:: SOT 2578888 SOS 1434022 HAS SOPS 1434022 HAS SOUS 614821 HAS SOUPS 614821 WITH SCORE 616255.022
AT ITER 4794 NEW BEST:: SOT 2578426 SOS 1433762 HAS SOPS 1433762 HAS SOUS 614561 HAS SOUPS 614561 WITH SCORE 615994.762
AT ITER 4807 NEW BEST:: SOT 2577835 SOS 1433121 HAS SOPS 1433121 HAS SOUS 614511 HAS SOUPS 614511 WITH SCORE 615944.121
AT ITER 4808 NEW BEST:: SOT 2577830 SOS 1433111 HAS SOPS 1433111 HAS SOUS 614509 HAS SOUPS 614509 WITH SCORE 615942.111
AT ITER 4810 NEW BEST:: SOT 2577756 SOS 1432963 HAS SOPS 1432963 HAS SOUS 614435 HAS SOUPS 614435 WITH SCORE 615867.963
AT ITER 4827 NEW BEST:: SOT 2577735 SOS 1432879 HAS SOPS 1432879 HAS SOUS 614392 HAS SOUPS 614392 WITH SCORE 615824.879
AT ITER 4830 NEW BEST:: SOT 2577759 SOS 1432927 HAS SOPS 1432927 HAS SOUS 614387 HAS SOUPS 614387 WITH SCORE 615819.927
AT ITER 4832 NEW BEST:: SOT 2577332 SOS 1431795 HAS SOPS 1431795 HAS SOUS 613663 HAS SOUPS 613663 WITH SCORE 615094.795
AT ITER 4851 NEW BEST:: SOT 2577304 SOS 1431711 HAS SOPS 1431711 HAS SOUS 613635 HAS SOUPS 613635 WITH SCORE 615066.711
AT ITER 4852 NEW BEST:: SOT 2577222 SOS 1431547 HAS SOPS 1431547 HAS SOUS 613553 HAS SOUPS 613553 WITH SCORE 614984.547
AT ITER 4855 NEW BEST:: SOT 2576936 SOS 1431281 HAS SOPS 1431281 HAS SOUS 613259 HAS SOUPS 613259 WITH SCORE 614690.281
AT ITER 4856 NEW BEST:: SOT 2577100 SOS 1431507 HAS SOPS 1431507 HAS SOUS 613185 HAS SOUPS 613185 WITH SCORE 614616.507
AT ITER 4864 NEW BEST:: SOT 2577076 SOS 1430897 HAS SOPS 1430897 HAS SOUS 613145 HAS SOUPS 613145 WITH SCORE 614575.897
AT ITER 4866 NEW BEST:: SOT 2577076 SOS 1430564 HAS SOPS 1430564 HAS SOUS 613084 HAS SOUPS 613084 WITH SCORE 614514.564
AT ITER 4874 NEW BEST:: SOT 2577076 SOS 1430564 HAS SOPS 1430564 HAS SOUS 613077 HAS SOUPS 613077 WITH SCORE 614507.564
AT ITER 4878 NEW BEST:: SOT 2577076 SOS 1429929 HAS SOPS 1429929 HAS SOUS 612442 HAS SOUPS 612442 WITH SCORE 613871.929
AT ITER 4880 NEW BEST:: SOT 2577076 SOS 1429451 HAS SOPS 1429451 HAS SOUS 612203 HAS SOUPS 612203 WITH SCORE 613632.451
AT ITER 4884 NEW BEST:: SOT 2577060 SOS 1429141 HAS SOPS 1429141 HAS SOUS 612171 HAS SOUPS 612171 WITH SCORE 613600.141
AT ITER 4893 NEW BEST:: SOT 2577171 SOS 1429363 HAS SOPS 1429363 HAS SOUS 612167 HAS SOUPS 612167 WITH SCORE 613596.363
AT ITER 4896 NEW BEST:: SOT 2577029 SOS 1429221 HAS SOPS 1429221 HAS SOUS 612016 HAS SOUPS 612016 WITH SCORE 613445.221
AT ITER 4900 NEW BEST:: SOT 2577029 SOS 1429221 HAS SOPS 1429221 HAS SOUS 611771 HAS SOUPS 611771 WITH SCORE 613200.221
AT ITER 4903 NEW BEST:: SOT 2577029 SOS 1425246 HAS SOPS 1425246 HAS SOUS 611771 HAS SOUPS 611771 WITH SCORE 613196.246
AT ITER 4904 NEW BEST:: SOT 2577234 SOS 1425203 HAS SOPS 1425203 HAS SOUS 611728 HAS SOUPS 611728 WITH SCORE 613153.203
AT ITER 4909 NEW BEST:: SOT 2577179 SOS 1425093 HAS SOPS 1425093 HAS SOUS 611673 HAS SOUPS 611673 WITH SCORE 613098.093
AT ITER 4914 NEW BEST:: SOT 2577126 SOS 1424987 HAS SOPS 1424987 HAS SOUS 611567 HAS SOUPS 611567 WITH SCORE 612991.987
AT ITER 4916 NEW BEST:: SOT 2577077 SOS 1424938 HAS SOPS 1424938 HAS SOUS 611518 HAS SOUPS 611518 WITH SCORE 612942.938
AT ITER 4917 NEW BEST:: SOT 2577077 SOS 1424541 HAS SOPS 1424541 HAS SOUS 609870 HAS SOUPS 609870 WITH SCORE 611294.541
AT ITER 4920 NEW BEST:: SOT 2577083 SOS 1423014 HAS SOPS 1423014 HAS SOUS 609780 HAS SOUPS 609780 WITH SCORE 611203.014
AT ITER 4926 NEW BEST:: SOT 2576892 SOS 1423011 HAS SOPS 1423011 HAS SOUS 609777 HAS SOUPS 609777 WITH SCORE 611200.011
AT ITER 4927 NEW BEST:: SOT 2576885 SOS 1422997 HAS SOPS 1422997 HAS SOUS 609763 HAS SOUPS 609763 WITH SCORE 611185.997
AT ITER 4928 NEW BEST:: SOT 2576802 SOS 1422831 HAS SOPS 1422831 HAS SOUS 609569 HAS SOUPS 609569 WITH SCORE 610991.831
AT ITER 4935 NEW BEST:: SOT 2576350 SOS 1421927 HAS SOPS 1421927 HAS SOUS 609117 HAS SOUPS 609117 WITH SCORE 610538.927
AT ITER 4948 NEW BEST:: SOT 2576164 SOS 1421741 HAS SOPS 1421741 HAS SOUS 608597 HAS SOUPS 608597 WITH SCORE 610018.741
AT ITER 4952 NEW BEST:: SOT 2576132 SOS 1421500 HAS SOPS 1421500 HAS SOUS 608565 HAS SOUPS 608565 WITH SCORE 609986.5
AT ITER 4953 NEW BEST:: SOT 2576132 SOS 1421500 HAS SOPS 1421500 HAS SOUS 608473 HAS SOUPS 608473 WITH SCORE 609894.5
AT ITER 4954 NEW BEST:: SOT 2576132 SOS 1421134 HAS SOPS 1421134 HAS SOUS 608107 HAS SOUPS 608107 WITH SCORE 609528.134
AT ITER 4961 NEW BEST:: SOT 2575536 SOS 1420482 HAS SOPS 1420482 HAS SOUS 607823 HAS SOUPS 607823 WITH SCORE 609243.482
AT ITER 4966 NEW BEST:: SOT 2575490 SOS 1420390 HAS SOPS 1420390 HAS SOUS 607731 HAS SOUPS 607731 WITH SCORE 609151.39
AT ITER 4970 NEW BEST:: SOT 2575428 SOS 1420297 HAS SOPS 1420297 HAS SOUS 607669 HAS SOUPS 607669 WITH SCORE 609089.297
AT ITER 4972 NEW BEST:: SOT 2575428 SOS 1420297 HAS SOPS 1420297 HAS SOUS 607664 HAS SOUPS 607664 WITH SCORE 609084.297
AT ITER 4977 NEW BEST:: SOT 2574252 SOS 1418112 HAS SOPS 1418112 HAS SOUS 606521 HAS SOUPS 606521 WITH SCORE 607939.112
AT ITER 4979 NEW BEST:: SOT 2574135 SOS 1417995 HAS SOPS 1417995 HAS SOUS 606404 HAS SOUPS 606404 WITH SCORE 607821.995
AT ITER 4983 NEW BEST:: SOT 2573970 SOS 1417830 HAS SOPS 1417830 HAS SOUS 606239 HAS SOUPS 606239 WITH SCORE 607656.83
AT ITER 4990 NEW BEST:: SOT 2573935 SOS 1417760 HAS SOPS 1417760 HAS SOUS 606111 HAS SOUPS 606111 WITH SCORE 607528.76
AT ITER 4993 NEW BEST:: SOT 2573800 SOS 1417490 HAS SOPS 1417490 HAS SOUS 605917 HAS SOUPS 605917 WITH SCORE 607334.49
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-00 (EG( (EF( ((potential((tk(P468)>=1))))))))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-01 ( (! (EF( ((potential((tk(P1164)>=1))))))) | (! (! ( (AX( ((potential((tk(P1343)>=1)))))) | ( ( ((potential((tk(P165)>=1)))) & ((potential((tk(P833)>=1)))) ) | ( ((potential((tk(P1534)>=1)))) | ((potential((tk(P370)>=1)))) ) ) ))) )
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-02 (AG( (! ( (EX( ((potential((tk(P284)>=1)))))) & (! (! ((potential((tk(P1801)>=1)))))) ))))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-03 (AF( (EX( (EX( ((potential((tk(P937)>=1) & (tk(P546)>=1) & (tk(P1600)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-04 (EF( (! ( (! ( ((potential((tk(P1142)>=1)))) | ((potential((tk(P1588)>=1)))) )) & ( (! ((potential((tk(P1698)>=1))))) | (! ((potential((tk(P468)>=1))))) ) ))))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-05 (! (AX( (EG( (! ((potential((tk(P816)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-06 (AG( (EF( (! ( ((potential((tk(P875)>=1)))) | ((potential((tk(P282)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-07 (! ( (! ( ((potential((tk(P1358)>=1)))) | (EG( ((potential((tk(P486)>=1)))))) )) & (AF( ( ((potential((tk(P97)>=1)))) | ( ((potential((tk(P1568)>=1)))) | ((potential((tk(P1052)>=1)))) ) ))) ))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-08 ( (EX( (EG( ( ((potential((tk(P1164)>=1)))) & ((potential((tk(P1974)>=1)))) ))))) | (EF( (AG( (! ((potential((tk(P1319)>=1))))))))) )
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-09 (EF( (! (AX( (! ((potential((tk(P482)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-10 ( (AX( ( (AG( ((potential((tk(P500)>=1)))))) | ( (! ((potential((tk(P1293)>=1))))) | ((potential((tk(P1347)>=1)))) ) ))) & ( (AF( ((potential((tk(P1966)>=1)))))) | ( ( (AF( ((potential((tk(P1048)>=1)))))) & ( ( ((potential((tk(P1158)>=1) & (tk(P1985)>=1)))) & ((potential((tk(P1115)>=1)))) ) & ( ((potential((tk(P291)>=1)))) | ((potential((tk(P1033)>=1)))) ) ) ) | ( ((potential((tk(P811)>=1)))) | ( ((potential((tk(P49)>=1)))) | ( ((potential((tk(P983)>=1)))) & ((potential((tk(P111)>=1) & (tk(P1986)>=1)))) ) ) ) ) ) )
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-11 (AG( (! ( ((potential((tk(P1436)>=1)))) & (! (! ((potential((tk(P1777)>=1)))))) ))))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-12 ( (! (AG( (! (! ((potential((tk(P1194)>=1))))))))) & (EU( (AF( ((potential((tk(P193)>=1)))))) , (EG( ((potential((tk(P576)>=1)))))) )) )
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-13 (! (AU( (EF( ((potential((tk(P258)>=1)))))) , ( ( ((potential((tk(P816)>=1)))) & ((potential((tk(P387)>=1)))) ) & ((potential((tk(P1245)>=1)))) ) )))
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-14 ( ( (AF( (AF( ((potential((tk(P700)>=1)))))))) | (! ( ( ( ((potential((tk(P1359)>=1)))) & ((potential((tk(P937)>=1) & (tk(P314)>=1) & (tk(P1500)>=1)))) ) & ((potential((tk(P1075)>=1)))) ) | ( ((potential((tk(P1358)>=1)))) | (! ((potential((tk(P1683)>=1))))) ) )) ) & (EG( (! (EG( ((potential((tk(P1323)>=1))))))))) )
PROPERTY: FlexibleBarrier-PT-12b-CTLFireability-15 (EF( ( (! (! ( ((potential((tk(P1974)>=1)))) & ((potential((tk(P574)>=1) & (tk(P1974)>=1)))) ))) & (! ((potential((tk(P18)>=1))))) )))
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="FlexibleBarrier-PT-12b"
export BK_EXAMINATION="CTLFireability"
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 FlexibleBarrier-PT-12b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972500332"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-12b.tgz
mv FlexibleBarrier-PT-12b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;