fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897679500084
Last Updated
Jun 28, 2020

About the Execution of smart for BART-PT-010

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

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897679500084.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BART-PT-010, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500084
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.2M
-rw-r--r-- 1 mcc users 4.7K Apr 15 13:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 15 13:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 15 13:31 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 229K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 601K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 247K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 641K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 15 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 15 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 15 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 15 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 2.4M 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 BART-PT-010-CTLFireability-00
FORMULA_NAME BART-PT-010-CTLFireability-01
FORMULA_NAME BART-PT-010-CTLFireability-02
FORMULA_NAME BART-PT-010-CTLFireability-03
FORMULA_NAME BART-PT-010-CTLFireability-04
FORMULA_NAME BART-PT-010-CTLFireability-05
FORMULA_NAME BART-PT-010-CTLFireability-06
FORMULA_NAME BART-PT-010-CTLFireability-07
FORMULA_NAME BART-PT-010-CTLFireability-08
FORMULA_NAME BART-PT-010-CTLFireability-09
FORMULA_NAME BART-PT-010-CTLFireability-10
FORMULA_NAME BART-PT-010-CTLFireability-11
FORMULA_NAME BART-PT-010-CTLFireability-12
FORMULA_NAME BART-PT-010-CTLFireability-13
FORMULA_NAME BART-PT-010-CTLFireability-14
FORMULA_NAME BART-PT-010-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589012458946

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 010
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: 1530 places, 2020 transitions, 16200 arcs.
AT ITER 0 NEW BEST:: SOT 2252514 SOS 1461891 HAS SOPS 1083092 HAS SOUS 1002681 HAS SOUPS 950167 WITH SCORE 951628.891
AT ITER 4 NEW BEST:: SOT 2252514 SOS 1461891 HAS SOPS 1082905 HAS SOUS 1002837 HAS SOUPS 949980 WITH SCORE 951441.891
AT ITER 11 NEW BEST:: SOT 2252514 SOS 1461891 HAS SOPS 1082320 HAS SOUS 1002304 HAS SOUPS 949346 WITH SCORE 950807.891
AT ITER 15 NEW BEST:: SOT 2252514 SOS 1461891 HAS SOPS 1082319 HAS SOUS 1002157 HAS SOUPS 949199 WITH SCORE 950660.891
AT ITER 21 NEW BEST:: SOT 2252220 SOS 1461597 HAS SOPS 1081826 HAS SOUS 1001839 HAS SOUPS 948706 WITH SCORE 950167.597
AT ITER 23 NEW BEST:: SOT 2252220 SOS 1461597 HAS SOPS 1081559 HAS SOUS 1001359 HAS SOUPS 948032 WITH SCORE 949493.597
AT ITER 29 NEW BEST:: SOT 2252220 SOS 1461597 HAS SOPS 1081343 HAS SOUS 1001108 HAS SOUPS 947602 WITH SCORE 949063.597
AT ITER 45 NEW BEST:: SOT 2252220 SOS 1461597 HAS SOPS 1081127 HAS SOUS 1000571 HAS SOUPS 946973 WITH SCORE 948434.597
AT ITER 48 NEW BEST:: SOT 2252220 SOS 1461597 HAS SOPS 1080793 HAS SOUS 999986 HAS SOUPS 946307 WITH SCORE 947768.597
AT ITER 51 NEW BEST:: SOT 2252563 SOS 1461940 HAS SOPS 1080792 HAS SOUS 999842 HAS SOUPS 945964 WITH SCORE 947425.94
AT ITER 59 NEW BEST:: SOT 2252563 SOS 1456177 HAS SOPS 1068249 HAS SOUS 999503 HAS SOUPS 945286 WITH SCORE 946742.177
AT ITER 61 NEW BEST:: SOT 2252563 SOS 1456177 HAS SOPS 1067954 HAS SOUS 999395 HAS SOUPS 944992 WITH SCORE 946448.177
AT ITER 64 NEW BEST:: SOT 2252489 SOS 1441556 HAS SOPS 1051691 HAS SOUS 997658 HAS SOUPS 943255 WITH SCORE 944696.556
AT ITER 78 NEW BEST:: SOT 2252489 SOS 1441556 HAS SOPS 1051298 HAS SOUS 997088 HAS SOUPS 942457 WITH SCORE 943898.556
AT ITER 81 NEW BEST:: SOT 2252770 SOS 1441837 HAS SOPS 1051270 HAS SOUS 997616 HAS SOUPS 942429 WITH SCORE 943870.837
AT ITER 92 NEW BEST:: SOT 2252879 SOS 1442024 HAS SOPS 1051031 HAS SOUS 998182 HAS SOUPS 942191 WITH SCORE 943633.024
AT ITER 93 NEW BEST:: SOT 2252879 SOS 1442024 HAS SOPS 1050832 HAS SOUS 997995 HAS SOUPS 941912 WITH SCORE 943354.024
AT ITER 96 NEW BEST:: SOT 2252879 SOS 1442024 HAS SOPS 1050705 HAS SOUS 997583 HAS SOUPS 941374 WITH SCORE 942816.024
AT ITER 99 NEW BEST:: SOT 2252364 SOS 1441509 HAS SOPS 1050289 HAS SOUS 997168 HAS SOUPS 940959 WITH SCORE 942400.509
AT ITER 100 NEW BEST:: SOT 2252364 SOS 1441509 HAS SOPS 1050118 HAS SOUS 996997 HAS SOUPS 940788 WITH SCORE 942229.509
AT ITER 118 NEW BEST:: SOT 2252780 SOS 1448125 HAS SOPS 1049573 HAS SOUS 997158 HAS SOUPS 940243 WITH SCORE 941691.125
AT ITER 122 NEW BEST:: SOT 2252780 SOS 1448125 HAS SOPS 1049572 HAS SOUS 997102 HAS SOUPS 940187 WITH SCORE 941635.125
AT ITER 129 NEW BEST:: SOT 2252780 SOS 1448125 HAS SOPS 1049259 HAS SOUS 997096 HAS SOUPS 939874 WITH SCORE 941322.125
AT ITER 130 NEW BEST:: SOT 2252849 SOS 1448262 HAS SOPS 1048924 HAS SOUS 997544 HAS SOUPS 939540 WITH SCORE 940988.262
AT ITER 131 NEW BEST:: SOT 2252849 SOS 1448262 HAS SOPS 1048615 HAS SOUS 997038 HAS SOUPS 938830 WITH SCORE 940278.262
AT ITER 132 NEW BEST:: SOT 2252849 SOS 1448262 HAS SOPS 1048617 HAS SOUS 996631 HAS SOUPS 938423 WITH SCORE 939871.262
AT ITER 138 NEW BEST:: SOT 2252550 SOS 1447963 HAS SOPS 1048091 HAS SOUS 996254 HAS SOUPS 938012 WITH SCORE 939459.963
AT ITER 150 NEW BEST:: SOT 2252550 SOS 1447963 HAS SOPS 1048072 HAS SOUS 996254 HAS SOUPS 937993 WITH SCORE 939440.963
AT ITER 151 NEW BEST:: SOT 2252550 SOS 1447833 HAS SOPS 1048072 HAS SOUS 996228 HAS SOUPS 937993 WITH SCORE 939440.833
AT ITER 152 NEW BEST:: SOT 2252550 SOS 1447833 HAS SOPS 1047758 HAS SOUS 996094 HAS SOUPS 937679 WITH SCORE 939126.833
AT ITER 169 NEW BEST:: SOT 2252965 SOS 1454528 HAS SOPS 1047273 HAS SOUS 995923 HAS SOUPS 937194 WITH SCORE 938648.528
AT ITER 173 NEW BEST:: SOT 2252671 SOS 1453345 HAS SOPS 1047273 HAS SOUS 995617 HAS SOUPS 937194 WITH SCORE 938647.345
AT ITER 176 NEW BEST:: SOT 2252671 SOS 1453990 HAS SOPS 1047102 HAS SOUS 996132 HAS SOUPS 937023 WITH SCORE 938476.99
AT ITER 184 NEW BEST:: SOT 2252671 SOS 1453990 HAS SOPS 1046864 HAS SOUS 995823 HAS SOUPS 936549 WITH SCORE 938002.99
AT ITER 186 NEW BEST:: SOT 2169262 SOS 1370953 HAS SOPS 963200 HAS SOUS 912447 HAS SOUPS 852783 WITH SCORE 854153.953
AT ITER 187 NEW BEST:: SOT 2169262 SOS 1370953 HAS SOPS 963199 HAS SOUS 912418 HAS SOUPS 852754 WITH SCORE 854124.953
AT ITER 188 NEW BEST:: SOT 2169196 SOS 1370887 HAS SOPS 963066 HAS SOUS 912369 HAS SOUPS 852687 WITH SCORE 854057.887
AT ITER 192 NEW BEST:: SOT 2169157 SOS 1370980 HAS SOPS 962619 HAS SOUS 912623 HAS SOUPS 852241 WITH SCORE 853611.98
AT ITER 193 NEW BEST:: SOT 2169157 SOS 1370980 HAS SOPS 962784 HAS SOUS 912433 HAS SOUPS 852051 WITH SCORE 853421.98
AT ITER 207 NEW BEST:: SOT 2169274 SOS 1371097 HAS SOPS 962803 HAS SOUS 912558 HAS SOUPS 851984 WITH SCORE 853355.097
AT ITER 212 NEW BEST:: SOT 2169274 SOS 1371097 HAS SOPS 962627 HAS SOUS 912396 HAS SOUPS 851808 WITH SCORE 853179.097
AT ITER 217 NEW BEST:: SOT 2168118 SOS 1369975 HAS SOPS 961505 HAS SOUS 911274 HAS SOUPS 850686 WITH SCORE 852055.975
AT ITER 227 NEW BEST:: SOT 2168118 SOS 1369975 HAS SOPS 961300 HAS SOUS 911069 HAS SOUPS 850481 WITH SCORE 851850.975
AT ITER 229 NEW BEST:: SOT 2168118 SOS 1369975 HAS SOPS 961116 HAS SOUS 910781 HAS SOUPS 850121 WITH SCORE 851490.975
AT ITER 232 NEW BEST:: SOT 2167982 SOS 1369839 HAS SOPS 960844 HAS SOUS 910645 HAS SOUPS 849849 WITH SCORE 851218.839
AT ITER 240 NEW BEST:: SOT 2167982 SOS 1369839 HAS SOPS 960213 HAS SOUS 910106 HAS SOUPS 849154 WITH SCORE 850523.839
AT ITER 249 NEW BEST:: SOT 2167883 SOS 1369869 HAS SOPS 959803 HAS SOUS 909697 HAS SOUPS 848745 WITH SCORE 850114.869
AT ITER 251 NEW BEST:: SOT 2167883 SOS 1369869 HAS SOPS 959798 HAS SOUS 909631 HAS SOUPS 848679 WITH SCORE 850048.869
AT ITER 256 NEW BEST:: SOT 2167883 SOS 1369869 HAS SOPS 959696 HAS SOUS 909423 HAS SOUPS 848471 WITH SCORE 849840.869
AT ITER 261 NEW BEST:: SOT 2167860 SOS 1369846 HAS SOPS 959673 HAS SOUS 909400 HAS SOUPS 848448 WITH SCORE 849817.846
AT ITER 268 NEW BEST:: SOT 2167860 SOS 1369846 HAS SOPS 959620 HAS SOUS 909347 HAS SOUPS 848395 WITH SCORE 849764.846
AT ITER 271 NEW BEST:: SOT 2167749 SOS 1369402 HAS SOPS 959287 HAS SOUS 909014 HAS SOUPS 848062 WITH SCORE 849431.402
AT ITER 279 NEW BEST:: SOT 2167730 SOS 1369345 HAS SOPS 959287 HAS SOUS 908947 HAS SOUPS 848014 WITH SCORE 849383.345
AT ITER 282 NEW BEST:: SOT 2167540 SOS 1369155 HAS SOPS 958497 HAS SOUS 908122 HAS SOUPS 847028 WITH SCORE 848397.155
AT ITER 289 NEW BEST:: SOT 2167319 SOS 1368934 HAS SOPS 957983 HAS SOUS 907696 HAS SOUPS 846223 WITH SCORE 847591.934
AT ITER 294 NEW BEST:: SOT 2167573 SOS 1369188 HAS SOPS 957965 HAS SOUS 908245 HAS SOUPS 846206 WITH SCORE 847575.188
AT ITER 314 NEW BEST:: SOT 2167573 SOS 1369188 HAS SOPS 957638 HAS SOUS 907957 HAS SOUPS 845879 WITH SCORE 847248.188
AT ITER 319 NEW BEST:: SOT 2168650 SOS 1370568 HAS SOPS 957497 HAS SOUS 908739 HAS SOUPS 845739 WITH SCORE 847109.568
AT ITER 323 NEW BEST:: SOT 2168480 SOS 1370398 HAS SOPS 957327 HAS SOUS 908569 HAS SOUPS 845569 WITH SCORE 846939.398
AT ITER 325 NEW BEST:: SOT 2168496 SOS 1370522 HAS SOPS 957257 HAS SOUS 909085 HAS SOUPS 845499 WITH SCORE 846869.522
AT ITER 327 NEW BEST:: SOT 2168496 SOS 1370522 HAS SOPS 957475 HAS SOUS 909084 HAS SOUPS 845498 WITH SCORE 846868.522
AT ITER 330 NEW BEST:: SOT 2168502 SOS 1372708 HAS SOPS 957259 HAS SOUS 909152 HAS SOUPS 845282 WITH SCORE 846654.708
AT ITER 339 NEW BEST:: SOT 2168484 SOS 1372690 HAS SOPS 957131 HAS SOUS 908736 HAS SOUPS 844772 WITH SCORE 846144.69
AT ITER 342 NEW BEST:: SOT 2168564 SOS 1372975 HAS SOPS 957058 HAS SOUS 909361 HAS SOUPS 844729 WITH SCORE 846101.975
AT ITER 346 NEW BEST:: SOT 2168435 SOS 1372846 HAS SOPS 956799 HAS SOUS 908879 HAS SOUPS 844341 WITH SCORE 845713.846
AT ITER 352 NEW BEST:: SOT 2168362 SOS 1372811 HAS SOPS 956314 HAS SOUS 909037 HAS SOUPS 843857 WITH SCORE 845229.811
AT ITER 362 NEW BEST:: SOT 2168500 SOS 1372949 HAS SOPS 956240 HAS SOUS 909144 HAS SOUPS 843752 WITH SCORE 845124.949
AT ITER 366 NEW BEST:: SOT 2168635 SOS 1373251 HAS SOPS 956237 HAS SOUS 909377 HAS SOUPS 843749 WITH SCORE 845122.251
AT ITER 368 NEW BEST:: SOT 2168635 SOS 1373251 HAS SOPS 956233 HAS SOUS 909401 HAS SOUPS 843745 WITH SCORE 845118.251
AT ITER 372 NEW BEST:: SOT 2168606 SOS 1377157 HAS SOPS 955874 HAS SOUS 909249 HAS SOUPS 843386 WITH SCORE 844763.157
AT ITER 377 NEW BEST:: SOT 2168386 SOS 1368910 HAS SOPS 947836 HAS SOUS 908707 HAS SOUPS 842844 WITH SCORE 844212.91
AT ITER 382 NEW BEST:: SOT 2168307 SOS 1368831 HAS SOPS 947537 HAS SOUS 908337 HAS SOUPS 842327 WITH SCORE 843695.831
AT ITER 387 NEW BEST:: SOT 2168212 SOS 1368736 HAS SOPS 946923 HAS SOUS 908059 HAS SOUPS 841920 WITH SCORE 843288.736
AT ITER 389 NEW BEST:: SOT 2168164 SOS 1368688 HAS SOPS 946619 HAS SOUS 907612 HAS SOUPS 841362 WITH SCORE 842730.688
AT ITER 395 NEW BEST:: SOT 2168042 SOS 1366126 HAS SOPS 946619 HAS SOUS 907490 HAS SOUPS 841362 WITH SCORE 842728.126
AT ITER 397 NEW BEST:: SOT 2168072 SOS 1367366 HAS SOPS 946432 HAS SOUS 907439 HAS SOUPS 841175 WITH SCORE 842542.366
AT ITER 398 NEW BEST:: SOT 2168146 SOS 1370740 HAS SOPS 946300 HAS SOUS 907548 HAS SOUPS 841043 WITH SCORE 842413.74
AT ITER 413 NEW BEST:: SOT 2168359 SOS 1371124 HAS SOPS 946195 HAS SOUS 907444 HAS SOUPS 840939 WITH SCORE 842310.124
AT ITER 421 NEW BEST:: SOT 2168243 SOS 1371008 HAS SOPS 945727 HAS SOUS 906833 HAS SOUPS 840121 WITH SCORE 841492.008
AT ITER 425 NEW BEST:: SOT 2168149 SOS 1370914 HAS SOPS 945369 HAS SOUS 906368 HAS SOUPS 839501 WITH SCORE 840871.914
AT ITER 431 NEW BEST:: SOT 2168104 SOS 1370869 HAS SOPS 945003 HAS SOUS 905681 HAS SOUPS 838722 WITH SCORE 840092.869
AT ITER 433 NEW BEST:: SOT 2167988 SOS 1370753 HAS SOPS 944720 HAS SOUS 905565 HAS SOUPS 838440 WITH SCORE 839810.753
AT ITER 437 NEW BEST:: SOT 2167940 SOS 1370761 HAS SOPS 944258 HAS SOUS 905628 HAS SOUPS 837979 WITH SCORE 839349.761
AT ITER 439 NEW BEST:: SOT 2167940 SOS 1370761 HAS SOPS 944187 HAS SOUS 905667 HAS SOUPS 837908 WITH SCORE 839278.761
AT ITER 440 NEW BEST:: SOT 2167682 SOS 1370503 HAS SOPS 943347 HAS SOUS 905079 HAS SOUPS 837155 WITH SCORE 838525.503
AT ITER 442 NEW BEST:: SOT 2167682 SOS 1370503 HAS SOPS 943517 HAS SOUS 904860 HAS SOUPS 836936 WITH SCORE 838306.503
AT ITER 444 NEW BEST:: SOT 2167682 SOS 1370503 HAS SOPS 943513 HAS SOUS 904908 HAS SOUPS 836932 WITH SCORE 838302.503
AT ITER 450 NEW BEST:: SOT 2167612 SOS 1370433 HAS SOPS 943157 HAS SOUS 904394 HAS SOUPS 836373 WITH SCORE 837743.433
AT ITER 458 NEW BEST:: SOT 2167612 SOS 1370433 HAS SOPS 943163 HAS SOUS 904393 HAS SOUPS 836372 WITH SCORE 837742.433
AT ITER 462 NEW BEST:: SOT 2167554 SOS 1369879 HAS SOPS 942144 HAS SOUS 903432 HAS SOUPS 835301 WITH SCORE 836670.879
AT ITER 466 NEW BEST:: SOT 2167554 SOS 1369879 HAS SOPS 942143 HAS SOUS 903376 HAS SOUPS 835245 WITH SCORE 836614.879
AT ITER 469 NEW BEST:: SOT 2167386 SOS 1369711 HAS SOPS 942031 HAS SOUS 903252 HAS SOUPS 835133 WITH SCORE 836502.711
AT ITER 472 NEW BEST:: SOT 2174086 SOS 1360385 HAS SOPS 923168 HAS SOUS 899309 HAS SOUPS 830942 WITH SCORE 832302.385
AT ITER 474 NEW BEST:: SOT 2174086 SOS 1360385 HAS SOPS 923092 HAS SOUS 899233 HAS SOUPS 830866 WITH SCORE 832226.385
AT ITER 480 NEW BEST:: SOT 2174086 SOS 1360385 HAS SOPS 923282 HAS SOUS 899128 HAS SOUPS 830761 WITH SCORE 832121.385
AT ITER 492 NEW BEST:: SOT 2174086 SOS 1360385 HAS SOPS 923278 HAS SOUS 899124 HAS SOUPS 830757 WITH SCORE 832117.385
AT ITER 494 NEW BEST:: SOT 2173350 SOS 1359649 HAS SOPS 921710 HAS SOUS 898004 HAS SOUPS 828825 WITH SCORE 830184.649
AT ITER 507 NEW BEST:: SOT 2173350 SOS 1359649 HAS SOPS 921941 HAS SOUS 897825 HAS SOUPS 828646 WITH SCORE 830005.649
AT ITER 513 NEW BEST:: SOT 2173350 SOS 1359649 HAS SOPS 921822 HAS SOUS 897825 HAS SOUPS 828527 WITH SCORE 829886.649
AT ITER 515 NEW BEST:: SOT 2173226 SOS 1359525 HAS SOPS 921981 HAS SOUS 897362 HAS SOUPS 828278 WITH SCORE 829637.525
AT ITER 518 NEW BEST:: SOT 2173142 SOS 1359532 HAS SOPS 921487 HAS SOUS 897545 HAS SOUPS 827784 WITH SCORE 829143.532
AT ITER 519 NEW BEST:: SOT 2172833 SOS 1359223 HAS SOPS 920734 HAS SOUS 897236 HAS SOUPS 827115 WITH SCORE 828474.223
AT ITER 522 NEW BEST:: SOT 2172761 SOS 1359151 HAS SOPS 920466 HAS SOUS 896683 HAS SOUPS 826436 WITH SCORE 827795.151
AT ITER 524 NEW BEST:: SOT 2172753 SOS 1359143 HAS SOPS 920061 HAS SOUS 896349 HAS SOUPS 826032 WITH SCORE 827391.143
AT ITER 525 NEW BEST:: SOT 2172753 SOS 1359143 HAS SOPS 919814 HAS SOUS 896101 HAS SOUPS 825784 WITH SCORE 827143.143
AT ITER 532 NEW BEST:: SOT 2172753 SOS 1359172 HAS SOPS 919812 HAS SOUS 896100 HAS SOUPS 825754 WITH SCORE 827113.172
AT ITER 534 NEW BEST:: SOT 2173256 SOS 1359675 HAS SOPS 920024 HAS SOUS 895955 HAS SOUPS 825609 WITH SCORE 826968.675
AT ITER 535 NEW BEST:: SOT 2173034 SOS 1359453 HAS SOPS 919579 HAS SOUS 895420 HAS SOUPS 824818 WITH SCORE 826177.453
AT ITER 539 NEW BEST:: SOT 2173025 SOS 1359713 HAS SOPS 919483 HAS SOUS 895891 HAS SOUPS 824723 WITH SCORE 826082.713
AT ITER 540 NEW BEST:: SOT 2173025 SOS 1359713 HAS SOPS 919536 HAS SOUS 895890 HAS SOUPS 824722 WITH SCORE 826081.713
AT ITER 541 NEW BEST:: SOT 2173003 SOS 1359691 HAS SOPS 919362 HAS SOUS 895566 HAS SOUPS 824398 WITH SCORE 825757.691
AT ITER 542 NEW BEST:: SOT 2173158 SOS 1363399 HAS SOPS 919330 HAS SOUS 895778 HAS SOUPS 824366 WITH SCORE 825729.399
AT ITER 561 NEW BEST:: SOT 2173189 SOS 1363430 HAS SOPS 918557 HAS SOUS 894792 HAS SOUPS 823341 WITH SCORE 824704.43
AT ITER 566 NEW BEST:: SOT 2173189 SOS 1363430 HAS SOPS 918424 HAS SOUS 894727 HAS SOUPS 823208 WITH SCORE 824571.43
AT ITER 571 NEW BEST:: SOT 2173187 SOS 1363428 HAS SOPS 918422 HAS SOUS 894725 HAS SOUPS 823206 WITH SCORE 824569.428
AT ITER 574 NEW BEST:: SOT 2173187 SOS 1363428 HAS SOPS 918421 HAS SOUS 894545 HAS SOUPS 822983 WITH SCORE 824346.428
AT ITER 580 NEW BEST:: SOT 2173141 SOS 1363427 HAS SOPS 918283 HAS SOUS 894650 HAS SOUPS 822845 WITH SCORE 824208.427
AT ITER 581 NEW BEST:: SOT 2173127 SOS 1363413 HAS SOPS 918254 HAS SOUS 894597 HAS SOUPS 822802 WITH SCORE 824165.413
AT ITER 582 NEW BEST:: SOT 2173096 SOS 1363382 HAS SOPS 918252 HAS SOUS 894535 HAS SOUPS 822740 WITH SCORE 824103.382
AT ITER 584 NEW BEST:: SOT 2173245 SOS 1363754 HAS SOPS 917987 HAS SOUS 894882 HAS SOUPS 822476 WITH SCORE 823839.754
AT ITER 585 NEW BEST:: SOT 2173124 SOS 1363633 HAS SOPS 917674 HAS SOUS 894725 HAS SOUPS 822213 WITH SCORE 823576.633
AT ITER 595 NEW BEST:: SOT 2173300 SOS 1364045 HAS SOPS 917618 HAS SOUS 895270 HAS SOUPS 822158 WITH SCORE 823522.045
AT ITER 599 NEW BEST:: SOT 2173297 SOS 1364198 HAS SOPS 917207 HAS SOUS 895584 HAS SOUPS 821748 WITH SCORE 823112.198
AT ITER 604 NEW BEST:: SOT 2173202 SOS 1364008 HAS SOPS 913881 HAS SOUS 892164 HAS SOUPS 818328 WITH SCORE 819692.008
AT ITER 611 NEW BEST:: SOT 2172961 SOS 1363767 HAS SOPS 913399 HAS SOUS 892128 HAS SOUPS 817846 WITH SCORE 819209.767
AT ITER 616 NEW BEST:: SOT 2172920 SOS 1363726 HAS SOPS 912890 HAS SOUS 891619 HAS SOUPS 817337 WITH SCORE 818700.726
AT ITER 619 NEW BEST:: SOT 2172682 SOS 1363488 HAS SOPS 912414 HAS SOUS 891143 HAS SOUPS 816861 WITH SCORE 818224.488
AT ITER 627 NEW BEST:: SOT 2172682 SOS 1363488 HAS SOPS 912169 HAS SOUS 890755 HAS SOUPS 816250 WITH SCORE 817613.488
AT ITER 632 NEW BEST:: SOT 2172211 SOS 1363017 HAS SOPS 911035 HAS SOUS 889890 HAS SOUPS 815385 WITH SCORE 816748.017
AT ITER 634 NEW BEST:: SOT 2171932 SOS 1362738 HAS SOPS 910353 HAS SOUS 889151 HAS SOUPS 814489 WITH SCORE 815851.738
AT ITER 648 NEW BEST:: SOT 2172119 SOS 1362925 HAS SOPS 909953 HAS SOUS 889331 HAS SOUPS 814159 WITH SCORE 815521.925
AT ITER 652 NEW BEST:: SOT 2172306 SOS 1363298 HAS SOPS 909893 HAS SOUS 889272 HAS SOUPS 814100 WITH SCORE 815463.298
AT ITER 659 NEW BEST:: SOT 2172561 SOS 1363830 HAS SOPS 909758 HAS SOUS 889704 HAS SOUPS 813966 WITH SCORE 815329.83
AT ITER 669 NEW BEST:: SOT 2172406 SOS 1363675 HAS SOPS 909433 HAS SOUS 889413 HAS SOUPS 813641 WITH SCORE 815004.675
AT ITER 676 NEW BEST:: SOT 2172374 SOS 1363547 HAS SOPS 909496 HAS SOUS 889265 HAS SOUPS 813525 WITH SCORE 814888.547
AT ITER 679 NEW BEST:: SOT 2174632 SOS 1351332 HAS SOPS 891868 HAS SOUS 885394 HAS SOUPS 809654 WITH SCORE 811005.332
AT ITER 681 NEW BEST:: SOT 2174541 SOS 1351241 HAS SOPS 891352 HAS SOUS 884891 HAS SOUPS 808985 WITH SCORE 810336.241
AT ITER 682 NEW BEST:: SOT 2174619 SOS 1352903 HAS SOPS 891342 HAS SOUS 885005 HAS SOUPS 808975 WITH SCORE 810327.903
AT ITER 684 NEW BEST:: SOT 2174589 SOS 1352873 HAS SOPS 891156 HAS SOUS 884744 HAS SOUPS 808692 WITH SCORE 810044.873
AT ITER 686 NEW BEST:: SOT 2174651 SOS 1356645 HAS SOPS 891013 HAS SOUS 884919 HAS SOUPS 808549 WITH SCORE 809905.645
AT ITER 693 NEW BEST:: SOT 2174545 SOS 1356539 HAS SOPS 890495 HAS SOUS 884879 HAS SOUPS 808032 WITH SCORE 809388.539
AT ITER 694 NEW BEST:: SOT 2174139 SOS 1356133 HAS SOPS 889638 HAS SOUS 884473 HAS SOUPS 807176 WITH SCORE 808532.133
AT ITER 695 NEW BEST:: SOT 2173889 SOS 1355883 HAS SOPS 889042 HAS SOUS 883842 HAS SOUPS 806236 WITH SCORE 807591.883
AT ITER 697 NEW BEST:: SOT 2173481 SOS 1355475 HAS SOPS 888169 HAS SOUS 883322 HAS SOUPS 805378 WITH SCORE 806733.475
AT ITER 698 NEW BEST:: SOT 2173311 SOS 1355305 HAS SOPS 887734 HAS SOUS 883037 HAS SOUPS 804795 WITH SCORE 806150.305
AT ITER 704 NEW BEST:: SOT 2173338 SOS 1355332 HAS SOPS 887718 HAS SOUS 882800 HAS SOUPS 804558 WITH SCORE 805913.332
AT ITER 705 NEW BEST:: SOT 2173090 SOS 1355084 HAS SOPS 886851 HAS SOUS 882167 HAS SOUPS 803771 WITH SCORE 805126.084
AT ITER 715 NEW BEST:: SOT 2173043 SOS 1355080 HAS SOPS 886713 HAS SOUS 882786 HAS SOUPS 803633 WITH SCORE 804988.08
AT ITER 716 NEW BEST:: SOT 2173045 SOS 1355287 HAS SOPS 886542 HAS SOUS 882997 HAS SOUPS 803462 WITH SCORE 804817.287
AT ITER 717 NEW BEST:: SOT 2173037 SOS 1355279 HAS SOPS 886525 HAS SOUS 882981 HAS SOUPS 803446 WITH SCORE 804801.279
AT ITER 719 NEW BEST:: SOT 2173100 SOS 1355342 HAS SOPS 886588 HAS SOUS 882862 HAS SOUPS 803327 WITH SCORE 804682.342
AT ITER 722 NEW BEST:: SOT 2172881 SOS 1355123 HAS SOPS 885935 HAS SOUS 882312 HAS SOUPS 802666 WITH SCORE 804021.123
AT ITER 751 NEW BEST:: SOT 2172707 SOS 1354949 HAS SOPS 885935 HAS SOUS 882156 HAS SOUPS 802666 WITH SCORE 804020.949
AT ITER 753 NEW BEST:: SOT 2172750 SOS 1354992 HAS SOPS 885676 HAS SOUS 881995 HAS SOUPS 802407 WITH SCORE 803761.992
AT ITER 755 NEW BEST:: SOT 2172556 SOS 1354798 HAS SOPS 885287 HAS SOUS 881955 HAS SOUPS 802197 WITH SCORE 803551.798
AT ITER 758 NEW BEST:: SOT 2172290 SOS 1354532 HAS SOPS 884966 HAS SOUS 881102 HAS SOUPS 801876 WITH SCORE 803230.532
AT ITER 763 NEW BEST:: SOT 2172202 SOS 1354569 HAS SOPS 884559 HAS SOUS 881414 HAS SOUPS 801469 WITH SCORE 802823.569
AT ITER 765 NEW BEST:: SOT 2171986 SOS 1354353 HAS SOPS 883691 HAS SOUS 880626 HAS SOUPS 800325 WITH SCORE 801679.353
AT ITER 769 NEW BEST:: SOT 2171776 SOS 1349943 HAS SOPS 883691 HAS SOUS 880416 HAS SOUPS 800325 WITH SCORE 801674.943
AT ITER 770 NEW BEST:: SOT 2171846 SOS 1352485 HAS SOPS 883504 HAS SOUS 880486 HAS SOUPS 800138 WITH SCORE 801490.485
AT ITER 772 NEW BEST:: SOT 2171790 SOS 1352429 HAS SOPS 883123 HAS SOUS 880106 HAS SOUPS 799758 WITH SCORE 801110.429
AT ITER 773 NEW BEST:: SOT 2171781 SOS 1352420 HAS SOPS 883105 HAS SOUS 880079 HAS SOUPS 799731 WITH SCORE 801083.42
AT ITER 776 NEW BEST:: SOT 2171523 SOS 1352162 HAS SOPS 882480 HAS SOUS 879254 HAS SOUPS 798741 WITH SCORE 800093.162
AT ITER 790 NEW BEST:: SOT 2171633 SOS 1352272 HAS SOPS 882666 HAS SOUS 878814 HAS SOUPS 798560 WITH SCORE 799912.272
AT ITER 791 NEW BEST:: SOT 2171633 SOS 1352272 HAS SOPS 882363 HAS SOUS 878511 HAS SOUPS 798257 WITH SCORE 799609.272
AT ITER 793 NEW BEST:: SOT 2171396 SOS 1352035 HAS SOPS 881528 HAS SOUS 877824 HAS SOUPS 797264 WITH SCORE 798616.035
AT ITER 803 NEW BEST:: SOT 2171396 SOS 1352035 HAS SOPS 881491 HAS SOUS 877698 HAS SOUPS 797138 WITH SCORE 798490.035
AT ITER 815 NEW BEST:: SOT 2171442 SOS 1354709 HAS SOPS 881358 HAS SOUS 877703 HAS SOUPS 797005 WITH SCORE 798359.709
AT ITER 822 NEW BEST:: SOT 2171358 SOS 1354625 HAS SOPS 881189 HAS SOUS 877469 HAS SOUPS 796771 WITH SCORE 798125.625
AT ITER 824 NEW BEST:: SOT 2171517 SOS 1354784 HAS SOPS 881365 HAS SOUS 877025 HAS SOUPS 796534 WITH SCORE 797888.784
AT ITER 826 NEW BEST:: SOT 2171501 SOS 1354752 HAS SOPS 881349 HAS SOUS 877009 HAS SOUPS 796518 WITH SCORE 797872.752
AT ITER 831 NEW BEST:: SOT 2171501 SOS 1354752 HAS SOPS 881175 HAS SOUS 876922 HAS SOUPS 796431 WITH SCORE 797785.752
AT ITER 834 NEW BEST:: SOT 2171680 SOS 1355097 HAS SOPS 881144 HAS SOUS 877280 HAS SOUPS 796400 WITH SCORE 797755.097
AT ITER 839 NEW BEST:: SOT 2171673 SOS 1355090 HAS SOPS 880787 HAS SOUS 876964 HAS SOUPS 796084 WITH SCORE 797439.09
AT ITER 844 NEW BEST:: SOT 2171673 SOS 1355090 HAS SOPS 880534 HAS SOUS 876618 HAS SOUPS 795864 WITH SCORE 797219.09
AT ITER 875 NEW BEST:: SOT 2171620 SOS 1355037 HAS SOPS 880680 HAS SOUS 876512 HAS SOUPS 795758 WITH SCORE 797113.037
AT ITER 877 NEW BEST:: SOT 2171620 SOS 1355037 HAS SOPS 879756 HAS SOUS 875797 HAS SOUPS 795043 WITH SCORE 796398.037
AT ITER 880 NEW BEST:: SOT 2171434 SOS 1354851 HAS SOPS 879756 HAS SOUS 875797 HAS SOUPS 795043 WITH SCORE 796397.851
AT ITER 882 NEW BEST:: SOT 2171434 SOS 1354851 HAS SOPS 879755 HAS SOUS 875796 HAS SOUPS 795042 WITH SCORE 796396.851
AT ITER 887 NEW BEST:: SOT 2171434 SOS 1354851 HAS SOPS 879499 HAS SOUS 875572 HAS SOUPS 794786 WITH SCORE 796140.851
AT ITER 892 NEW BEST:: SOT 2171201 SOS 1354618 HAS SOPS 878761 HAS SOUS 874638 HAS SOUPS 794000 WITH SCORE 795354.618
AT ITER 904 NEW BEST:: SOT 2171201 SOS 1354618 HAS SOPS 878765 HAS SOUS 874637 HAS SOUPS 793999 WITH SCORE 795353.618
AT ITER 908 NEW BEST:: SOT 2171084 SOS 1352161 HAS SOPS 878765 HAS SOUS 874520 HAS SOUPS 793999 WITH SCORE 795351.161
AT ITER 911 NEW BEST:: SOT 2171195 SOS 1352489 HAS SOPS 878641 HAS SOUS 874420 HAS SOUPS 793876 WITH SCORE 795228.489
AT ITER 915 NEW BEST:: SOT 2171195 SOS 1352489 HAS SOPS 878549 HAS SOUS 874417 HAS SOUPS 793873 WITH SCORE 795225.489
AT ITER 918 NEW BEST:: SOT 2171178 SOS 1352472 HAS SOPS 877950 HAS SOUS 874231 HAS SOUPS 793687 WITH SCORE 795039.472
AT ITER 923 NEW BEST:: SOT 2171178 SOS 1352472 HAS SOPS 878058 HAS SOUS 874201 HAS SOUPS 793657 WITH SCORE 795009.472
AT ITER 926 NEW BEST:: SOT 2170950 SOS 1352244 HAS SOPS 877601 HAS SOUS 873569 HAS SOUPS 792905 WITH SCORE 794257.244
AT ITER 931 NEW BEST:: SOT 2171096 SOS 1352601 HAS SOPS 877333 HAS SOUS 873315 HAS SOUPS 792638 WITH SCORE 793990.601
AT ITER 940 NEW BEST:: SOT 2170859 SOS 1352364 HAS SOPS 876754 HAS SOUS 872351 HAS SOUPS 791658 WITH SCORE 793010.364
AT ITER 941 NEW BEST:: SOT 2170668 SOS 1351717 HAS SOPS 876035 HAS SOUS 872194 HAS SOUPS 791501 WITH SCORE 792852.717
AT ITER 954 NEW BEST:: SOT 2170645 SOS 1351781 HAS SOPS 875600 HAS SOUS 871760 HAS SOUPS 791067 WITH SCORE 792418.781
AT ITER 958 NEW BEST:: SOT 2170494 SOS 1351630 HAS SOPS 875449 HAS SOUS 871458 HAS SOUPS 790916 WITH SCORE 792267.63
AT ITER 973 NEW BEST:: SOT 2170481 SOS 1351617 HAS SOPS 875389 HAS SOUS 871012 HAS SOUPS 790857 WITH SCORE 792208.617
AT ITER 978 NEW BEST:: SOT 2170347 SOS 1351483 HAS SOPS 875389 HAS SOUS 871012 HAS SOUPS 790857 WITH SCORE 792208.483
AT ITER 980 NEW BEST:: SOT 2170467 SOS 1351743 HAS SOPS 875093 HAS SOUS 871263 HAS SOUPS 790562 WITH SCORE 791913.743
AT ITER 981 NEW BEST:: SOT 2169848 SOS 1351124 HAS SOPS 874592 HAS SOUS 870763 HAS SOUPS 790062 WITH SCORE 791413.124
AT ITER 982 NEW BEST:: SOT 2169850 SOS 1353146 HAS SOPS 874226 HAS SOUS 870599 HAS SOUPS 789696 WITH SCORE 791049.146
AT ITER 984 NEW BEST:: SOT 2169739 SOS 1353035 HAS SOPS 874004 HAS SOUS 870266 HAS SOUPS 789363 WITH SCORE 790716.035
AT ITER 986 NEW BEST:: SOT 2169739 SOS 1353035 HAS SOPS 873773 HAS SOUS 869659 HAS SOUPS 788756 WITH SCORE 790109.035
AT ITER 988 NEW BEST:: SOT 2169725 SOS 1353021 HAS SOPS 873758 HAS SOUS 869644 HAS SOUPS 788741 WITH SCORE 790094.021
AT ITER 998 NEW BEST:: SOT 2169054 SOS 1352350 HAS SOPS 873670 HAS SOUS 869556 HAS SOUPS 788653 WITH SCORE 790005.35
AT ITER 1007 NEW BEST:: SOT 2168854 SOS 1352150 HAS SOPS 872819 HAS SOUS 868980 HAS SOUPS 787889 WITH SCORE 789241.15
AT ITER 1010 NEW BEST:: SOT 2168561 SOS 1351857 HAS SOPS 872819 HAS SOUS 868976 HAS SOUPS 787889 WITH SCORE 789240.857
AT ITER 1011 NEW BEST:: SOT 2168501 SOS 1351797 HAS SOPS 872698 HAS SOUS 868834 HAS SOUPS 787769 WITH SCORE 789120.797
AT ITER 1017 NEW BEST:: SOT 2168501 SOS 1351797 HAS SOPS 872580 HAS SOUS 868691 HAS SOUPS 787642 WITH SCORE 788993.797
AT ITER 1023 NEW BEST:: SOT 2168860 SOS 1352156 HAS SOPS 872417 HAS SOUS 868838 HAS SOUPS 787479 WITH SCORE 788831.156
AT ITER 1024 NEW BEST:: SOT 2168431 SOS 1351727 HAS SOPS 872075 HAS SOUS 868497 HAS SOUPS 787138 WITH SCORE 788489.727
AT ITER 1031 NEW BEST:: SOT 2168648 SOS 1357315 HAS SOPS 872017 HAS SOUS 868714 HAS SOUPS 787080 WITH SCORE 788437.315
AT ITER 1032 NEW BEST:: SOT 2168606 SOS 1357306 HAS SOPS 871586 HAS SOUS 868645 HAS SOUPS 787026 WITH SCORE 788383.306
AT ITER 1039 NEW BEST:: SOT 2168462 SOS 1357162 HAS SOPS 871466 HAS SOUS 868501 HAS SOUPS 786906 WITH SCORE 788263.162
AT ITER 1041 NEW BEST:: SOT 2168462 SOS 1357248 HAS SOPS 871279 HAS SOUS 868337 HAS SOUPS 786487 WITH SCORE 787844.248
AT ITER 1052 NEW BEST:: SOT 2168499 SOS 1357285 HAS SOPS 871212 HAS SOUS 867778 HAS SOUPS 786152 WITH SCORE 787509.285
AT ITER 1055 NEW BEST:: SOT 2168676 SOS 1357789 HAS SOPS 871115 HAS SOUS 867778 HAS SOUPS 786055 WITH SCORE 787412.789
AT ITER 1056 NEW BEST:: SOT 2168241 SOS 1357354 HAS SOPS 870148 HAS SOUS 866812 HAS SOUPS 784741 WITH SCORE 786098.354
AT ITER 1059 NEW BEST:: SOT 2169059 SOS 1358084 HAS SOPS 870022 HAS SOUS 867689 HAS SOUPS 784616 WITH SCORE 785974.084
AT ITER 1063 NEW BEST:: SOT 2168937 SOS 1357962 HAS SOPS 869154 HAS SOUS 866977 HAS SOUPS 783749 WITH SCORE 785106.962
AT ITER 1066 NEW BEST:: SOT 2064462 SOS 1255652 HAS SOPS 764232 HAS SOUS 786114 HAS SOUPS 692938 WITH SCORE 694193.652
AT ITER 1077 NEW BEST:: SOT 2064483 SOS 1255673 HAS SOPS 764040 HAS SOUS 785779 HAS SOUPS 692746 WITH SCORE 694001.673
AT ITER 1080 NEW BEST:: SOT 2064899 SOS 1256089 HAS SOPS 763675 HAS SOUS 785777 HAS SOUPS 692440 WITH SCORE 693696.089
AT ITER 1085 NEW BEST:: SOT 2065004 SOS 1256303 HAS SOPS 763435 HAS SOUS 786070 HAS SOUPS 692201 WITH SCORE 693457.303
AT ITER 1096 NEW BEST:: SOT 2064846 SOS 1256190 HAS SOPS 762873 HAS SOUS 786289 HAS SOUPS 691639 WITH SCORE 692895.19
AT ITER 1104 NEW BEST:: SOT 2064686 SOS 1256030 HAS SOPS 762553 HAS SOUS 785969 HAS SOUPS 691319 WITH SCORE 692575.03
AT ITER 1105 NEW BEST:: SOT 2064682 SOS 1255909 HAS SOPS 758567 HAS SOUS 781983 HAS SOUPS 687333 WITH SCORE 688588.909
AT ITER 1123 NEW BEST:: SOT 2064735 SOS 1256088 HAS SOPS 758559 HAS SOUS 782062 HAS SOUPS 687325 WITH SCORE 688581.088
AT ITER 1131 NEW BEST:: SOT 2064703 SOS 1256056 HAS SOPS 758104 HAS SOUS 781670 HAS SOUPS 686870 WITH SCORE 688126.056
AT ITER 1135 NEW BEST:: SOT 2064530 SOS 1255972 HAS SOPS 757705 HAS SOUS 782034 HAS SOUPS 686471 WITH SCORE 687726.972
AT ITER 1136 NEW BEST:: SOT 2064808 SOS 1256250 HAS SOPS 757607 HAS SOUS 781966 HAS SOUPS 686373 WITH SCORE 687629.25
AT ITER 1142 NEW BEST:: SOT 2064794 SOS 1256236 HAS SOPS 757402 HAS SOUS 781761 HAS SOUPS 686168 WITH SCORE 687424.236
AT ITER 1154 NEW BEST:: SOT 2064972 SOS 1256414 HAS SOPS 757302 HAS SOUS 781791 HAS SOUPS 686068 WITH SCORE 687324.414
AT ITER 1158 NEW BEST:: SOT 2064972 SOS 1256414 HAS SOPS 757142 HAS SOUS 781632 HAS SOUPS 685909 WITH SCORE 687165.414
AT ITER 1167 NEW BEST:: SOT 2064972 SOS 1256414 HAS SOPS 757032 HAS SOUS 781608 HAS SOUPS 685799 WITH SCORE 687055.414
AT ITER 1170 NEW BEST:: SOT 2065079 SOS 1256521 HAS SOPS 756773 HAS SOUS 781439 HAS SOUPS 685540 WITH SCORE 686796.521
AT ITER 1181 NEW BEST:: SOT 2065071 SOS 1256513 HAS SOPS 756757 HAS SOUS 781423 HAS SOUPS 685524 WITH SCORE 686780.513
AT ITER 1184 NEW BEST:: SOT 2065149 SOS 1255281 HAS SOPS 756918 HAS SOUS 780813 HAS SOUPS 685362 WITH SCORE 686617.281
AT ITER 1186 NEW BEST:: SOT 2065279 SOS 1255411 HAS SOPS 756683 HAS SOUS 780834 HAS SOUPS 685127 WITH SCORE 686382.411
AT ITER 1195 NEW BEST:: SOT 2065667 SOS 1265777 HAS SOPS 756515 HAS SOUS 781181 HAS SOUPS 684959 WITH SCORE 686224.777
AT ITER 1199 NEW BEST:: SOT 2065586 SOS 1265696 HAS SOPS 756405 HAS SOUS 781071 HAS SOUPS 684849 WITH SCORE 686114.696
AT ITER 1204 NEW BEST:: SOT 2065613 SOS 1265723 HAS SOPS 755562 HAS SOUS 780547 HAS SOUPS 684006 WITH SCORE 685271.723
AT ITER 1217 NEW BEST:: SOT 2065563 SOS 1265673 HAS SOPS 755258 HAS SOUS 780345 HAS SOUPS 683702 WITH SCORE 684967.673
AT ITER 1222 NEW BEST:: SOT 2065563 SOS 1265673 HAS SOPS 755077 HAS SOUS 780313 HAS SOUPS 683627 WITH SCORE 684892.673
AT ITER 1225 NEW BEST:: SOT 2065625 SOS 1265735 HAS SOPS 755023 HAS SOUS 780259 HAS SOUPS 683573 WITH SCORE 684838.735
AT ITER 1228 NEW BEST:: SOT 2065517 SOS 1265627 HAS SOPS 754915 HAS SOUS 780151 HAS SOUPS 683465 WITH SCORE 684730.627
AT ITER 1229 NEW BEST:: SOT 2065494 SOS 1265753 HAS SOPS 754648 HAS SOUS 779884 HAS SOUPS 683198 WITH SCORE 684463.753
AT ITER 1230 NEW BEST:: SOT 2065225 SOS 1265484 HAS SOPS 754134 HAS SOUS 779306 HAS SOUPS 682620 WITH SCORE 683885.484
AT ITER 1232 NEW BEST:: SOT 2065448 SOS 1265930 HAS SOPS 754130 HAS SOUS 779302 HAS SOUPS 682616 WITH SCORE 683881.93
AT ITER 1237 NEW BEST:: SOT 2065755 SOS 1266237 HAS SOPS 753847 HAS SOUS 779141 HAS SOUPS 682333 WITH SCORE 683599.237
AT ITER 1240 NEW BEST:: SOT 2009579 SOS 1355217 HAS SOPS 697489 HAS SOUS 723248 HAS SOUPS 625975 WITH SCORE 627330.217
AT ITER 1247 NEW BEST:: SOT 2009621 SOS 1355259 HAS SOPS 696661 HAS SOUS 722728 HAS SOUPS 625226 WITH SCORE 626581.259
AT ITER 1251 NEW BEST:: SOT 2009489 SOS 1355127 HAS SOPS 696529 HAS SOUS 722596 HAS SOUPS 625094 WITH SCORE 626449.127
AT ITER 1260 NEW BEST:: SOT 2009467 SOS 1355105 HAS SOPS 696507 HAS SOUS 722574 HAS SOUPS 625072 WITH SCORE 626427.105
AT ITER 1265 NEW BEST:: SOT 2009673 SOS 1355311 HAS SOPS 696019 HAS SOUS 722299 HAS SOUPS 624584 WITH SCORE 625939.311
AT ITER 1273 NEW BEST:: SOT 2009516 SOS 1355154 HAS SOPS 695705 HAS SOUS 721985 HAS SOUPS 624270 WITH SCORE 625625.154
AT ITER 1284 NEW BEST:: SOT 2009299 SOS 1354937 HAS SOPS 695525 HAS SOUS 721768 HAS SOUPS 624090 WITH SCORE 625444.937
AT ITER 1286 NEW BEST:: SOT 2009209 SOS 1354847 HAS SOPS 695345 HAS SOUS 721633 HAS SOUPS 623910 WITH SCORE 625264.847
AT ITER 1293 NEW BEST:: SOT 2009196 SOS 1354834 HAS SOPS 695132 HAS SOUS 721748 HAS SOUPS 623712 WITH SCORE 625066.834
AT ITER 1303 NEW BEST:: SOT 2009035 SOS 1354673 HAS SOPS 694810 HAS SOUS 721426 HAS SOUPS 623390 WITH SCORE 624744.673
AT ITER 1305 NEW BEST:: SOT 2009088 SOS 1354862 HAS SOPS 694701 HAS SOUS 721380 HAS SOUPS 623281 WITH SCORE 624635.862
AT ITER 1308 NEW BEST:: SOT 2008978 SOS 1354752 HAS SOPS 694355 HAS SOUS 721034 HAS SOUPS 622935 WITH SCORE 624289.752
AT ITER 1309 NEW BEST:: SOT 2008970 SOS 1354744 HAS SOPS 694347 HAS SOUS 721026 HAS SOUPS 622927 WITH SCORE 624281.744
AT ITER 1329 NEW BEST:: SOT 2008704 SOS 1354478 HAS SOPS 694255 HAS SOUS 720715 HAS SOUPS 622836 WITH SCORE 624190.478
AT ITER 1330 NEW BEST:: SOT 2008530 SOS 1354304 HAS SOPS 693907 HAS SOUS 720549 HAS SOUPS 622488 WITH SCORE 623842.304
AT ITER 1332 NEW BEST:: SOT 2005436 SOS 1351340 HAS SOPS 690716 HAS SOUS 717617 HAS SOUPS 619394 WITH SCORE 620745.34
AT ITER 1334 NEW BEST:: SOT 2004697 SOS 1350601 HAS SOPS 689238 HAS SOUS 716527 HAS SOUPS 617916 WITH SCORE 619266.601
AT ITER 1340 NEW BEST:: SOT 2004947 SOS 1350851 HAS SOPS 688698 HAS SOUS 716435 HAS SOUPS 617376 WITH SCORE 618726.851
AT ITER 1352 NEW BEST:: SOT 2004918 SOS 1350706 HAS SOPS 688698 HAS SOUS 716232 HAS SOUPS 617202 WITH SCORE 618552.706
AT ITER 1358 NEW BEST:: SOT 2004894 SOS 1350682 HAS SOPS 688626 HAS SOUS 716160 HAS SOUPS 617130 WITH SCORE 618480.682
AT ITER 1362 NEW BEST:: SOT 2004886 SOS 1350693 HAS SOPS 688513 HAS SOUS 716288 HAS SOUPS 617017 WITH SCORE 618367.693
AT ITER 1376 NEW BEST:: SOT 2006004 SOS 1351698 HAS SOPS 688450 HAS SOUS 716742 HAS SOUPS 616954 WITH SCORE 618305.698
AT ITER 1381 NEW BEST:: SOT 2006676 SOS 1357230 HAS SOPS 688410 HAS SOUS 717794 HAS SOUPS 616914 WITH SCORE 618271.23
AT ITER 1392 NEW BEST:: SOT 2006757 SOS 1357311 HAS SOPS 688437 HAS SOUS 717735 HAS SOUPS 616855 WITH SCORE 618212.311
AT ITER 1401 NEW BEST:: SOT 2006635 SOS 1357189 HAS SOPS 688193 HAS SOUS 717491 HAS SOUPS 616611 WITH SCORE 617968.189
AT ITER 1402 NEW BEST:: SOT 2006631 SOS 1357185 HAS SOPS 688007 HAS SOUS 717471 HAS SOUPS 616425 WITH SCORE 617782.185
AT ITER 1406 NEW BEST:: SOT 2006491 SOS 1357045 HAS SOPS 687778 HAS SOUS 717233 HAS SOUPS 616187 WITH SCORE 617544.045
AT ITER 1411 NEW BEST:: SOT 2006349 SOS 1356903 HAS SOPS 687636 HAS SOUS 717091 HAS SOUPS 616045 WITH SCORE 617401.903
AT ITER 1417 NEW BEST:: SOT 2006451 SOS 1357005 HAS SOPS 687567 HAS SOUS 717086 HAS SOUPS 615976 WITH SCORE 617333.005
AT ITER 1419 NEW BEST:: SOT 2006154 SOS 1356708 HAS SOPS 687123 HAS SOUS 716599 HAS SOUPS 615532 WITH SCORE 616888.708
AT ITER 1431 NEW BEST:: SOT 2006068 SOS 1356622 HAS SOPS 686951 HAS SOUS 716513 HAS SOUPS 615360 WITH SCORE 616716.622
AT ITER 1440 NEW BEST:: SOT 2006068 SOS 1356622 HAS SOPS 686827 HAS SOUS 716389 HAS SOUPS 615236 WITH SCORE 616592.622
AT ITER 1441 NEW BEST:: SOT 2006146 SOS 1356700 HAS SOPS 686745 HAS SOUS 716570 HAS SOUPS 615154 WITH SCORE 616510.7
AT ITER 1445 NEW BEST:: SOT 2006079 SOS 1356633 HAS SOPS 686611 HAS SOUS 716530 HAS SOUPS 615020 WITH SCORE 616376.633
AT ITER 1449 NEW BEST:: SOT 2006096 SOS 1356650 HAS SOPS 686421 HAS SOUS 716265 HAS SOUPS 614867 WITH SCORE 616223.65
AT ITER 1471 NEW BEST:: SOT 2005155 SOS 1355709 HAS SOPS 685411 HAS SOUS 715324 HAS SOUPS 613857 WITH SCORE 615212.709
AT ITER 1472 NEW BEST:: SOT 2004863 SOS 1355417 HAS SOPS 684827 HAS SOUS 715157 HAS SOUPS 613273 WITH SCORE 614628.417
AT ITER 1475 NEW BEST:: SOT 2004916 SOS 1355470 HAS SOPS 684759 HAS SOUS 715089 HAS SOUPS 613205 WITH SCORE 614560.47
AT ITER 1484 NEW BEST:: SOT 2005075 SOS 1355629 HAS SOPS 684750 HAS SOUS 715080 HAS SOUPS 613196 WITH SCORE 614551.629
AT ITER 1486 NEW BEST:: SOT 2004890 SOS 1355444 HAS SOPS 684380 HAS SOUS 715297 HAS SOUPS 612826 WITH SCORE 614181.444
AT ITER 1487 NEW BEST:: SOT 2004669 SOS 1355223 HAS SOPS 683938 HAS SOUS 714856 HAS SOUPS 612384 WITH SCORE 613739.223
AT ITER 1489 NEW BEST:: SOT 2004638 SOS 1355199 HAS SOPS 683741 HAS SOUS 714770 HAS SOUPS 612187 WITH SCORE 613542.199
AT ITER 1493 NEW BEST:: SOT 2004501 SOS 1354995 HAS SOPS 683604 HAS SOUS 714634 HAS SOUPS 612050 WITH SCORE 613404.995
AT ITER 1499 NEW BEST:: SOT 2004095 SOS 1354589 HAS SOPS 682792 HAS SOUS 714185 HAS SOUPS 611238 WITH SCORE 612592.589
AT ITER 1518 NEW BEST:: SOT 2004002 SOS 1354496 HAS SOPS 682598 HAS SOUS 713991 HAS SOUPS 611044 WITH SCORE 612398.496
AT ITER 1523 NEW BEST:: SOT 2004133 SOS 1354627 HAS SOPS 682452 HAS SOUS 713845 HAS SOUPS 610898 WITH SCORE 612252.627
AT ITER 1526 NEW BEST:: SOT 2004133 SOS 1354627 HAS SOPS 682348 HAS SOUS 713741 HAS SOUPS 610794 WITH SCORE 612148.627
AT ITER 1528 NEW BEST:: SOT 2004141 SOS 1355175 HAS SOPS 682302 HAS SOUS 713758 HAS SOUPS 610748 WITH SCORE 612103.175
AT ITER 1529 NEW BEST:: SOT 2004141 SOS 1355575 HAS SOPS 682218 HAS SOUS 713756 HAS SOUPS 610664 WITH SCORE 612019.575
AT ITER 1530 NEW BEST:: SOT 2003939 SOS 1355373 HAS SOPS 682162 HAS SOUS 713549 HAS SOUPS 610608 WITH SCORE 611963.373
AT ITER 1531 NEW BEST:: SOT 2003495 SOS 1354929 HAS SOPS 680830 HAS SOUS 712625 HAS SOUPS 609276 WITH SCORE 610630.929
AT ITER 1532 NEW BEST:: SOT 2003471 SOS 1354905 HAS SOPS 680782 HAS SOUS 712577 HAS SOUPS 609228 WITH SCORE 610582.905
AT ITER 1566 NEW BEST:: SOT 2003872 SOS 1355306 HAS SOPS 680636 HAS SOUS 712655 HAS SOUPS 609082 WITH SCORE 610437.306
AT ITER 1568 NEW BEST:: SOT 2003879 SOS 1356613 HAS SOPS 680403 HAS SOUS 712674 HAS SOUPS 608849 WITH SCORE 610205.613
AT ITER 1573 NEW BEST:: SOT 2003737 SOS 1356471 HAS SOPS 680119 HAS SOUS 712532 HAS SOUPS 608565 WITH SCORE 609921.471
AT ITER 1587 NEW BEST:: SOT 2003647 SOS 1356405 HAS SOPS 679910 HAS SOUS 712323 HAS SOUPS 608356 WITH SCORE 609712.405
AT ITER 1589 NEW BEST:: SOT 2003607 SOS 1356365 HAS SOPS 679830 HAS SOUS 712243 HAS SOUPS 608276 WITH SCORE 609632.365
AT ITER 1601 NEW BEST:: SOT 2003651 SOS 1356499 HAS SOPS 679821 HAS SOUS 712287 HAS SOUPS 608267 WITH SCORE 609623.499
AT ITER 1606 NEW BEST:: SOT 2003436 SOS 1356284 HAS SOPS 679391 HAS SOUS 711857 HAS SOUPS 607837 WITH SCORE 609193.284
AT ITER 1607 NEW BEST:: SOT 2003455 SOS 1356546 HAS SOPS 679383 HAS SOUS 711898 HAS SOUPS 607829 WITH SCORE 609185.546
AT ITER 1609 NEW BEST:: SOT 2003480 SOS 1356571 HAS SOPS 679369 HAS SOUS 711832 HAS SOUPS 607763 WITH SCORE 609119.571
AT ITER 1610 NEW BEST:: SOT 2003165 SOS 1356256 HAS SOPS 678437 HAS SOUS 710918 HAS SOUPS 606849 WITH SCORE 608205.256
AT ITER 1627 NEW BEST:: SOT 2002865 SOS 1355956 HAS SOPS 677723 HAS SOUS 710205 HAS SOUPS 606136 WITH SCORE 607491.956
AT ITER 1647 NEW BEST:: SOT 2002949 SOS 1356040 HAS SOPS 677530 HAS SOUS 710012 HAS SOUPS 605943 WITH SCORE 607299.04
AT ITER 1655 NEW BEST:: SOT 2002990 SOS 1355887 HAS SOPS 677316 HAS SOUS 709798 HAS SOUPS 605729 WITH SCORE 607084.887
AT ITER 1658 NEW BEST:: SOT 2003043 SOS 1356696 HAS SOPS 676733 HAS SOUS 709513 HAS SOUPS 605146 WITH SCORE 606502.696
AT ITER 1662 NEW BEST:: SOT 2003277 SOS 1356930 HAS SOPS 676668 HAS SOUS 709463 HAS SOUPS 605050 WITH SCORE 606406.93
AT ITER 1665 NEW BEST:: SOT 2003126 SOS 1356779 HAS SOPS 676366 HAS SOUS 709172 HAS SOUPS 604748 WITH SCORE 606104.779
AT ITER 1670 NEW BEST:: SOT 2002752 SOS 1356405 HAS SOPS 675992 HAS SOUS 708798 HAS SOUPS 604374 WITH SCORE 605730.405
AT ITER 1674 NEW BEST:: SOT 2003178 SOS 1356831 HAS SOPS 675946 HAS SOUS 708786 HAS SOUPS 604328 WITH SCORE 605684.831
AT ITER 1681 NEW BEST:: SOT 2003123 SOS 1356776 HAS SOPS 675946 HAS SOUS 708786 HAS SOUPS 604328 WITH SCORE 605684.776
AT ITER 1683 NEW BEST:: SOT 2003209 SOS 1356862 HAS SOPS 675877 HAS SOUS 708872 HAS SOUPS 604259 WITH SCORE 605615.862
AT ITER 1705 NEW BEST:: SOT 2003209 SOS 1356862 HAS SOPS 675829 HAS SOUS 708834 HAS SOUPS 604211 WITH SCORE 605567.862
AT ITER 1710 NEW BEST:: SOT 2003209 SOS 1356862 HAS SOPS 675695 HAS SOUS 708700 HAS SOUPS 604077 WITH SCORE 605433.862
AT ITER 1712 NEW BEST:: SOT 2003225 SOS 1356878 HAS SOPS 675647 HAS SOUS 708716 HAS SOUPS 604029 WITH SCORE 605385.878
AT ITER 1713 NEW BEST:: SOT 2003535 SOS 1358448 HAS SOPS 675504 HAS SOUS 708959 HAS SOUPS 603886 WITH SCORE 605244.448
AT ITER 1718 NEW BEST:: SOT 2004030 SOS 1360823 HAS SOPS 675176 HAS SOUS 708941 HAS SOUPS 603558 WITH SCORE 604918.823
AT ITER 1722 NEW BEST:: SOT 2003925 SOS 1360718 HAS SOPS 674825 HAS SOUS 708836 HAS SOUPS 603207 WITH SCORE 604567.718
AT ITER 1732 NEW BEST:: SOT 2003951 SOS 1362484 HAS SOPS 674451 HAS SOUS 708793 HAS SOUPS 602833 WITH SCORE 604195.484
AT ITER 1738 NEW BEST:: SOT 2003882 SOS 1362415 HAS SOPS 674313 HAS SOUS 708684 HAS SOUPS 602695 WITH SCORE 604057.415
AT ITER 1742 NEW BEST:: SOT 2003822 SOS 1362115 HAS SOPS 674433 HAS SOUS 708324 HAS SOUPS 602395 WITH SCORE 603757.115
AT ITER 1752 NEW BEST:: SOT 2003814 SOS 1362107 HAS SOPS 674377 HAS SOUS 708283 HAS SOUPS 602339 WITH SCORE 603701.107
AT ITER 1754 NEW BEST:: SOT 2004154 SOS 1362447 HAS SOPS 673827 HAS SOUS 709197 HAS SOUPS 601789 WITH SCORE 603151.447
AT ITER 1755 NEW BEST:: SOT 2004091 SOS 1362384 HAS SOPS 673701 HAS SOUS 709071 HAS SOUPS 601663 WITH SCORE 603025.384
AT ITER 1756 NEW BEST:: SOT 2004452 SOS 1362745 HAS SOPS 673419 HAS SOUS 709020 HAS SOUPS 601381 WITH SCORE 602743.745
AT ITER 1762 NEW BEST:: SOT 2004452 SOS 1362745 HAS SOPS 673418 HAS SOUS 709019 HAS SOUPS 601380 WITH SCORE 602742.745
AT ITER 1765 NEW BEST:: SOT 2004199 SOS 1362492 HAS SOPS 673336 HAS SOUS 708903 HAS SOUPS 601298 WITH SCORE 602660.492
AT ITER 1767 NEW BEST:: SOT 2003973 SOS 1353904 HAS SOPS 664974 HAS SOUS 708451 HAS SOUPS 600846 WITH SCORE 602199.904
AT ITER 1776 NEW BEST:: SOT 2004122 SOS 1354053 HAS SOPS 664966 HAS SOUS 708596 HAS SOUPS 600838 WITH SCORE 602192.053
AT ITER 1782 NEW BEST:: SOT 2004065 SOS 1353996 HAS SOPS 664828 HAS SOUS 708539 HAS SOUPS 600700 WITH SCORE 602053.996
AT ITER 1791 NEW BEST:: SOT 2003914 SOS 1353845 HAS SOPS 664286 HAS SOUS 708024 HAS SOUPS 600185 WITH SCORE 601538.845
AT ITER 1803 NEW BEST:: SOT 2004115 SOS 1354046 HAS SOPS 664284 HAS SOUS 708096 HAS SOUPS 600183 WITH SCORE 601537.046
AT ITER 1811 NEW BEST:: SOT 2004017 SOS 1353948 HAS SOPS 663789 HAS SOUS 707571 HAS SOUPS 599688 WITH SCORE 601041.948
AT ITER 1825 NEW BEST:: SOT 2003980 SOS 1353911 HAS SOPS 663606 HAS SOUS 707409 HAS SOUPS 599526 WITH SCORE 600879.911
AT ITER 1826 NEW BEST:: SOT 2003880 SOS 1353811 HAS SOPS 663532 HAS SOUS 707209 HAS SOUPS 599326 WITH SCORE 600679.811
AT ITER 1827 NEW BEST:: SOT 2003644 SOS 1353575 HAS SOPS 663150 HAS SOUS 706944 HAS SOUPS 599061 WITH SCORE 600414.575
AT ITER 1843 NEW BEST:: SOT 2003489 SOS 1353420 HAS SOPS 662771 HAS SOUS 706565 HAS SOUPS 598682 WITH SCORE 600035.42
AT ITER 1845 NEW BEST:: SOT 2003489 SOS 1353420 HAS SOPS 662672 HAS SOUS 706466 HAS SOUPS 598583 WITH SCORE 599936.42
AT ITER 1850 NEW BEST:: SOT 2003489 SOS 1353420 HAS SOPS 662668 HAS SOUS 706482 HAS SOUPS 598579 WITH SCORE 599932.42
AT ITER 1864 NEW BEST:: SOT 2003581 SOS 1353638 HAS SOPS 662434 HAS SOUS 706928 HAS SOUPS 598345 WITH SCORE 599698.638
AT ITER 1872 NEW BEST:: SOT 2003525 SOS 1353582 HAS SOPS 662322 HAS SOUS 706828 HAS SOUPS 598233 WITH SCORE 599586.582
AT ITER 1899 NEW BEST:: SOT 2003525 SOS 1353582 HAS SOPS 662158 HAS SOUS 706828 HAS SOUPS 598069 WITH SCORE 599422.582
AT ITER 1905 NEW BEST:: SOT 2003390 SOS 1353447 HAS SOPS 661702 HAS SOUS 706321 HAS SOUPS 597613 WITH SCORE 598966.447
AT ITER 1911 NEW BEST:: SOT 2003306 SOS 1353363 HAS SOPS 661534 HAS SOUS 706237 HAS SOUPS 597445 WITH SCORE 598798.363
AT ITER 1915 NEW BEST:: SOT 2003614 SOS 1353671 HAS SOPS 661532 HAS SOUS 706544 HAS SOUPS 597443 WITH SCORE 598796.671
AT ITER 1917 NEW BEST:: SOT 2003635 SOS 1353869 HAS SOPS 661198 HAS SOUS 706626 HAS SOUPS 597109 WITH SCORE 598462.869
AT ITER 1921 NEW BEST:: SOT 2003458 SOS 1353692 HAS SOPS 660785 HAS SOUS 706213 HAS SOUPS 596696 WITH SCORE 598049.692
AT ITER 1922 NEW BEST:: SOT 2003606 SOS 1353840 HAS SOPS 660762 HAS SOUS 706190 HAS SOUPS 596673 WITH SCORE 598026.84
AT ITER 1925 NEW BEST:: SOT 2003372 SOS 1353606 HAS SOPS 660762 HAS SOUS 706054 HAS SOUPS 596673 WITH SCORE 598026.606
AT ITER 1935 NEW BEST:: SOT 2003372 SOS 1353606 HAS SOPS 660816 HAS SOUS 706053 HAS SOUPS 596672 WITH SCORE 598025.606
AT ITER 1941 NEW BEST:: SOT 2003372 SOS 1353606 HAS SOPS 660812 HAS SOUS 706049 HAS SOUPS 596668 WITH SCORE 598021.606
AT ITER 1945 NEW BEST:: SOT 2003524 SOS 1353758 HAS SOPS 660800 HAS SOUS 706201 HAS SOUPS 596656 WITH SCORE 598009.758
AT ITER 1948 NEW BEST:: SOT 2003524 SOS 1353758 HAS SOPS 660776 HAS SOUS 706177 HAS SOUPS 596632 WITH SCORE 597985.758
AT ITER 1952 NEW BEST:: SOT 2003521 SOS 1353755 HAS SOPS 660597 HAS SOUS 705998 HAS SOUPS 596453 WITH SCORE 597806.755
AT ITER 1955 NEW BEST:: SOT 2003736 SOS 1353970 HAS SOPS 660457 HAS SOUS 705882 HAS SOUPS 596313 WITH SCORE 597666.97
AT ITER 1957 NEW BEST:: SOT 2003516 SOS 1353750 HAS SOPS 659995 HAS SOUS 705463 HAS SOUPS 595851 WITH SCORE 597204.75
AT ITER 1958 NEW BEST:: SOT 2003516 SOS 1353750 HAS SOPS 659923 HAS SOUS 705391 HAS SOUPS 595779 WITH SCORE 597132.75
AT ITER 1959 NEW BEST:: SOT 2003469 SOS 1353703 HAS SOPS 659895 HAS SOUS 705344 HAS SOUPS 595751 WITH SCORE 597104.703
AT ITER 1964 NEW BEST:: SOT 2003468 SOS 1353702 HAS SOPS 659707 HAS SOUS 705156 HAS SOUPS 595563 WITH SCORE 596916.702
AT ITER 1966 NEW BEST:: SOT 2003442 SOS 1353676 HAS SOPS 659707 HAS SOUS 705143 HAS SOUPS 595563 WITH SCORE 596916.676
AT ITER 1970 NEW BEST:: SOT 2003471 SOS 1353705 HAS SOPS 659705 HAS SOUS 705141 HAS SOUPS 595561 WITH SCORE 596914.705
AT ITER 1973 NEW BEST:: SOT 2003471 SOS 1353705 HAS SOPS 659691 HAS SOUS 705134 HAS SOUPS 595547 WITH SCORE 596900.705
AT ITER 1981 NEW BEST:: SOT 2003356 SOS 1353667 HAS SOPS 659608 HAS SOUS 705050 HAS SOUPS 595464 WITH SCORE 596817.667
AT ITER 1992 NEW BEST:: SOT 2002977 SOS 1353288 HAS SOPS 659410 HAS SOUS 704852 HAS SOUPS 595266 WITH SCORE 596619.288
AT ITER 1995 NEW BEST:: SOT 2002893 SOS 1353204 HAS SOPS 659242 HAS SOUS 704717 HAS SOUPS 595131 WITH SCORE 596484.204
AT ITER 1996 NEW BEST:: SOT 2002706 SOS 1353017 HAS SOPS 658641 HAS SOUS 704775 HAS SOUPS 594611 WITH SCORE 595964.017
AT ITER 2000 NEW BEST:: SOT 2002710 SOS 1353021 HAS SOPS 658572 HAS SOUS 704706 HAS SOUPS 594542 WITH SCORE 595895.021
AT ITER 2007 NEW BEST:: SOT 2002610 SOS 1352921 HAS SOPS 658442 HAS SOUS 704606 HAS SOUPS 594412 WITH SCORE 595764.921
AT ITER 2014 NEW BEST:: SOT 2002402 SOS 1351903 HAS SOPS 658786 HAS SOUS 703601 HAS SOUPS 593617 WITH SCORE 594968.903
AT ITER 2025 NEW BEST:: SOT 2002420 SOS 1352064 HAS SOPS 658510 HAS SOUS 703325 HAS SOUPS 593341 WITH SCORE 594693.064
AT ITER 2029 NEW BEST:: SOT 2002512 SOS 1353839 HAS SOPS 658411 HAS SOUS 703496 HAS SOUPS 593242 WITH SCORE 594595.839
AT ITER 2033 NEW BEST:: SOT 2002556 SOS 1353883 HAS SOPS 657743 HAS SOUS 702871 HAS SOUPS 592617 WITH SCORE 593970.883
AT ITER 2035 NEW BEST:: SOT 2002424 SOS 1353751 HAS SOPS 657479 HAS SOUS 702607 HAS SOUPS 592353 WITH SCORE 593706.751
AT ITER 2040 NEW BEST:: SOT 2002953 SOS 1355535 HAS SOPS 657265 HAS SOUS 702722 HAS SOUPS 592139 WITH SCORE 593494.535
AT ITER 2044 NEW BEST:: SOT 2002914 SOS 1355496 HAS SOPS 657109 HAS SOUS 702566 HAS SOUPS 591983 WITH SCORE 593338.496
AT ITER 2048 NEW BEST:: SOT 2002828 SOS 1354986 HAS SOPS 657079 HAS SOUS 701865 HAS SOUPS 591388 WITH SCORE 592742.986
AT ITER 2062 NEW BEST:: SOT 2002828 SOS 1354986 HAS SOPS 657016 HAS SOUS 701802 HAS SOUPS 591325 WITH SCORE 592679.986
AT ITER 2063 NEW BEST:: SOT 2002778 SOS 1354936 HAS SOPS 656916 HAS SOUS 701711 HAS SOUPS 591234 WITH SCORE 592588.936
AT ITER 2069 NEW BEST:: SOT 2003297 SOS 1355455 HAS SOPS 656347 HAS SOUS 701294 HAS SOUPS 590742 WITH SCORE 592097.455
AT ITER 2080 NEW BEST:: SOT 2003282 SOS 1355440 HAS SOPS 656345 HAS SOUS 701292 HAS SOUPS 590740 WITH SCORE 592095.44
AT ITER 2082 NEW BEST:: SOT 2003075 SOS 1355233 HAS SOPS 656005 HAS SOUS 701085 HAS SOUPS 590400 WITH SCORE 591755.233
AT ITER 2086 NEW BEST:: SOT 2002719 SOS 1354877 HAS SOPS 655649 HAS SOUS 700729 HAS SOUPS 590044 WITH SCORE 591398.877
AT ITER 2090 NEW BEST:: SOT 2002719 SOS 1355639 HAS SOPS 655415 HAS SOUS 700573 HAS SOUPS 589810 WITH SCORE 591165.639
AT ITER 2091 NEW BEST:: SOT 2002675 SOS 1355595 HAS SOPS 655327 HAS SOUS 700485 HAS SOUPS 589722 WITH SCORE 591077.595
AT ITER 2095 NEW BEST:: SOT 2002421 SOS 1354445 HAS SOPS 655672 HAS SOUS 699165 HAS SOUPS 588626 WITH SCORE 589980.445
AT ITER 2099 NEW BEST:: SOT 2002184 SOS 1354208 HAS SOPS 655310 HAS SOUS 698823 HAS SOUPS 588264 WITH SCORE 589618.208
AT ITER 2100 NEW BEST:: SOT 2002183 SOS 1354207 HAS SOPS 655309 HAS SOUS 698821 HAS SOUPS 588262 WITH SCORE 589616.207
AT ITER 2107 NEW BEST:: SOT 2002161 SOS 1354185 HAS SOPS 655287 HAS SOUS 698799 HAS SOUPS 588240 WITH SCORE 589594.185
AT ITER 2114 NEW BEST:: SOT 2001967 SOS 1351888 HAS SOPS 655287 HAS SOUS 698605 HAS SOUPS 588240 WITH SCORE 589591.888
AT ITER 2118 NEW BEST:: SOT 2001565 SOS 1351486 HAS SOPS 654473 HAS SOUS 698183 HAS SOUPS 587427 WITH SCORE 588778.486
AT ITER 2122 NEW BEST:: SOT 2001592 SOS 1351513 HAS SOPS 654191 HAS SOUS 697824 HAS SOUPS 587145 WITH SCORE 588496.513
AT ITER 2138 NEW BEST:: SOT 2001526 SOS 1351447 HAS SOPS 654125 HAS SOUS 697758 HAS SOUPS 587079 WITH SCORE 588430.447
AT ITER 2143 NEW BEST:: SOT 2001380 SOS 1351313 HAS SOPS 653801 HAS SOUS 697446 HAS SOUPS 586756 WITH SCORE 588107.313
AT ITER 2148 NEW BEST:: SOT 2001380 SOS 1351313 HAS SOPS 653797 HAS SOUS 697485 HAS SOUPS 586752 WITH SCORE 588103.313
AT ITER 2151 NEW BEST:: SOT 2001308 SOS 1351195 HAS SOPS 653712 HAS SOUS 697400 HAS SOUPS 586667 WITH SCORE 588018.195
AT ITER 2158 NEW BEST:: SOT 2001267 SOS 1350777 HAS SOPS 653712 HAS SOUS 697359 HAS SOUPS 586667 WITH SCORE 588017.777
AT ITER 2169 NEW BEST:: SOT 2001414 SOS 1350924 HAS SOPS 653582 HAS SOUS 697229 HAS SOUPS 586537 WITH SCORE 587887.924
AT ITER 2171 NEW BEST:: SOT 2001650 SOS 1351227 HAS SOPS 653087 HAS SOUS 697715 HAS SOUPS 586042 WITH SCORE 587393.227
AT ITER 2174 NEW BEST:: SOT 2001479 SOS 1351056 HAS SOPS 652795 HAS SOUS 697423 HAS SOUPS 585750 WITH SCORE 587101.056
AT ITER 2176 NEW BEST:: SOT 2001386 SOS 1350963 HAS SOPS 652579 HAS SOUS 697330 HAS SOUPS 585534 WITH SCORE 586884.963
AT ITER 2177 NEW BEST:: SOT 2001238 SOS 1350815 HAS SOPS 652270 HAS SOUS 697021 HAS SOUPS 585225 WITH SCORE 586575.815
AT ITER 2178 NEW BEST:: SOT 2000572 SOS 1384970 HAS SOPS 651276 HAS SOUS 696946 HAS SOUPS 584455 WITH SCORE 585839.97
AT ITER 2180 NEW BEST:: SOT 2000542 SOS 1384940 HAS SOPS 651036 HAS SOUS 696706 HAS SOUPS 584215 WITH SCORE 585599.94
AT ITER 2198 NEW BEST:: SOT 2000542 SOS 1385069 HAS SOPS 651032 HAS SOUS 696702 HAS SOUPS 584211 WITH SCORE 585596.069
AT ITER 2201 NEW BEST:: SOT 2000734 SOS 1386241 HAS SOPS 650992 HAS SOUS 696794 HAS SOUPS 584171 WITH SCORE 585557.241
AT ITER 2240 NEW BEST:: SOT 2000329 SOS 1385836 HAS SOPS 650182 HAS SOUS 696150 HAS SOUPS 583361 WITH SCORE 584746.836
AT ITER 2242 NEW BEST:: SOT 2000054 SOS 1385561 HAS SOPS 649907 HAS SOUS 695900 HAS SOUPS 583086 WITH SCORE 584471.561
AT ITER 2245 NEW BEST:: SOT 1999836 SOS 1385343 HAS SOPS 649471 HAS SOUS 695803 HAS SOUPS 582650 WITH SCORE 584035.343
AT ITER 2275 NEW BEST:: SOT 1999836 SOS 1385343 HAS SOPS 649225 HAS SOUS 695693 HAS SOUPS 582404 WITH SCORE 583789.343
AT ITER 2280 NEW BEST:: SOT 1999600 SOS 1385107 HAS SOPS 648607 HAS SOUS 695076 HAS SOUPS 581787 WITH SCORE 583172.107
AT ITER 2285 NEW BEST:: SOT 1999549 SOS 1385056 HAS SOPS 648505 HAS SOUS 695025 HAS SOUPS 581685 WITH SCORE 583070.056
AT ITER 2288 NEW BEST:: SOT 1999529 SOS 1385432 HAS SOPS 648231 HAS SOUS 694878 HAS SOUPS 581411 WITH SCORE 582796.432
AT ITER 2289 NEW BEST:: SOT 1999326 SOS 1377718 HAS SOPS 640720 HAS SOUS 694472 HAS SOUPS 581005 WITH SCORE 582382.718
AT ITER 2295 NEW BEST:: SOT 1999235 SOS 1377627 HAS SOPS 640700 HAS SOUS 694372 HAS SOUPS 580985 WITH SCORE 582362.627
AT ITER 2296 NEW BEST:: SOT 1999184 SOS 1377576 HAS SOPS 640598 HAS SOUS 694270 HAS SOUPS 580883 WITH SCORE 582260.576
AT ITER 2303 NEW BEST:: SOT 1999106 SOS 1377498 HAS SOPS 640549 HAS SOUS 694221 HAS SOUPS 580834 WITH SCORE 582211.498
AT ITER 2310 NEW BEST:: SOT 1999096 SOS 1377488 HAS SOPS 640549 HAS SOUS 694221 HAS SOUPS 580834 WITH SCORE 582211.488
AT ITER 2315 NEW BEST:: SOT 1999463 SOS 1377855 HAS SOPS 640521 HAS SOUS 694586 HAS SOUPS 580806 WITH SCORE 582183.855
AT ITER 2330 NEW BEST:: SOT 1999457 SOS 1377849 HAS SOPS 640509 HAS SOUS 694574 HAS SOUPS 580794 WITH SCORE 582171.849
AT ITER 2338 NEW BEST:: SOT 1999421 SOS 1377813 HAS SOPS 640509 HAS SOUS 694538 HAS SOUPS 580794 WITH SCORE 582171.813
AT ITER 2341 NEW BEST:: SOT 1999297 SOS 1377689 HAS SOPS 639819 HAS SOUS 694146 HAS SOUPS 580104 WITH SCORE 581481.689
AT ITER 2361 NEW BEST:: SOT 1999110 SOS 1377502 HAS SOPS 639773 HAS SOUS 694038 HAS SOUPS 580058 WITH SCORE 581435.502
AT ITER 2365 NEW BEST:: SOT 1998700 SOS 1377092 HAS SOPS 638953 HAS SOUS 693219 HAS SOUPS 579239 WITH SCORE 580616.092
AT ITER 2367 NEW BEST:: SOT 1998700 SOS 1377092 HAS SOPS 638841 HAS SOUS 693164 HAS SOUPS 579184 WITH SCORE 580561.092
AT ITER 2371 NEW BEST:: SOT 1998700 SOS 1377092 HAS SOPS 638616 HAS SOUS 693389 HAS SOUPS 578959 WITH SCORE 580336.092
AT ITER 2373 NEW BEST:: SOT 1998732 SOS 1379233 HAS SOPS 637457 HAS SOUS 692579 HAS SOUPS 577800 WITH SCORE 579179.233
AT ITER 2376 NEW BEST:: SOT 1998764 SOS 1380551 HAS SOPS 637271 HAS SOUS 692607 HAS SOUPS 577614 WITH SCORE 578994.551
AT ITER 2384 NEW BEST:: SOT 1998764 SOS 1380551 HAS SOPS 637219 HAS SOUS 692581 HAS SOUPS 577588 WITH SCORE 578968.551
AT ITER 2391 NEW BEST:: SOT 1998764 SOS 1379256 HAS SOPS 635994 HAS SOUS 692546 HAS SOUPS 577588 WITH SCORE 578967.256
AT ITER 2393 NEW BEST:: SOT 1998785 SOS 1379527 HAS SOPS 635777 HAS SOUS 692475 HAS SOUPS 577371 WITH SCORE 578750.527
AT ITER 2397 NEW BEST:: SOT 1998696 SOS 1379438 HAS SOPS 635484 HAS SOUS 692256 HAS SOUPS 577078 WITH SCORE 578457.438
AT ITER 2401 NEW BEST:: SOT 1998598 SOS 1379340 HAS SOPS 635288 HAS SOUS 692207 HAS SOUPS 576882 WITH SCORE 578261.34
AT ITER 2409 NEW BEST:: SOT 1998625 SOS 1379367 HAS SOPS 635070 HAS SOUS 691974 HAS SOUPS 576664 WITH SCORE 578043.367
AT ITER 2414 NEW BEST:: SOT 1998617 SOS 1379359 HAS SOPS 635069 HAS SOUS 691973 HAS SOUPS 576663 WITH SCORE 578042.359
AT ITER 2422 NEW BEST:: SOT 1998721 SOS 1379512 HAS SOPS 634907 HAS SOUS 692408 HAS SOUPS 576501 WITH SCORE 577880.512
AT ITER 2423 NEW BEST:: SOT 1998956 SOS 1385167 HAS SOPS 634654 HAS SOUS 692841 HAS SOUPS 576248 WITH SCORE 577633.167
AT ITER 2432 NEW BEST:: SOT 1998963 SOS 1385174 HAS SOPS 634160 HAS SOUS 692450 HAS SOUPS 575857 WITH SCORE 577242.174
AT ITER 2435 NEW BEST:: SOT 1999028 SOS 1385191 HAS SOPS 633823 HAS SOUS 692113 HAS SOUPS 575520 WITH SCORE 576905.191
AT ITER 2438 NEW BEST:: SOT 1999020 SOS 1385159 HAS SOPS 633791 HAS SOUS 692081 HAS SOUPS 575488 WITH SCORE 576873.159
AT ITER 2448 NEW BEST:: SOT 1999163 SOS 1385432 HAS SOPS 633770 HAS SOUS 692173 HAS SOUPS 575467 WITH SCORE 576852.432
AT ITER 2451 NEW BEST:: SOT 1999118 SOS 1385387 HAS SOPS 633680 HAS SOUS 692128 HAS SOUPS 575422 WITH SCORE 576807.387
AT ITER 2464 NEW BEST:: SOT 1999080 SOS 1385349 HAS SOPS 633680 HAS SOUS 692128 HAS SOUPS 575422 WITH SCORE 576807.349
AT ITER 2465 NEW BEST:: SOT 1998877 SOS 1385146 HAS SOPS 633139 HAS SOUS 691689 HAS SOUPS 574881 WITH SCORE 576266.146
AT ITER 2469 NEW BEST:: SOT 1998872 SOS 1385141 HAS SOPS 633134 HAS SOUS 691679 HAS SOUPS 574876 WITH SCORE 576261.141
AT ITER 2478 NEW BEST:: SOT 1998810 SOS 1385079 HAS SOPS 633010 HAS SOUS 691617 HAS SOUPS 574752 WITH SCORE 576137.079
AT ITER 2486 NEW BEST:: SOT 1998679 SOS 1384948 HAS SOPS 633010 HAS SOUS 691484 HAS SOUPS 574752 WITH SCORE 576136.948
AT ITER 2491 NEW BEST:: SOT 1998548 SOS 1384817 HAS SOPS 632512 HAS SOUS 691269 HAS SOUPS 574254 WITH SCORE 575638.817
AT ITER 2494 NEW BEST:: SOT 1998657 SOS 1384926 HAS SOPS 632100 HAS SOUS 690857 HAS SOUPS 573842 WITH SCORE 575226.926
AT ITER 2499 NEW BEST:: SOT 1998426 SOS 1383255 HAS SOPS 632100 HAS SOUS 690574 HAS SOUPS 573842 WITH SCORE 575225.255
AT ITER 2502 NEW BEST:: SOT 1998048 SOS 1382877 HAS SOPS 630306 HAS SOUS 689315 HAS SOUPS 572048 WITH SCORE 573430.877
AT ITER 2505 NEW BEST:: SOT 1998048 SOS 1382877 HAS SOPS 630170 HAS SOUS 689337 HAS SOUPS 571912 WITH SCORE 573294.877
AT ITER 2528 NEW BEST:: SOT 1997798 SOS 1382627 HAS SOPS 629910 HAS SOUS 689103 HAS SOUPS 571652 WITH SCORE 573034.627
AT ITER 2544 NEW BEST:: SOT 1997798 SOS 1382627 HAS SOPS 629790 HAS SOUS 689106 HAS SOUPS 571532 WITH SCORE 572914.627
AT ITER 2547 NEW BEST:: SOT 1997798 SOS 1382611 HAS SOPS 629790 HAS SOUS 689106 HAS SOUPS 571532 WITH SCORE 572914.611
AT ITER 2552 NEW BEST:: SOT 1997967 SOS 1382780 HAS SOPS 629391 HAS SOUS 688884 HAS SOUPS 571133 WITH SCORE 572515.78
AT ITER 2562 NEW BEST:: SOT 1997606 SOS 1382419 HAS SOPS 629189 HAS SOUS 688338 HAS SOUPS 570931 WITH SCORE 572313.419
AT ITER 2568 NEW BEST:: SOT 1996889 SOS 1381702 HAS SOPS 628203 HAS SOUS 687400 HAS SOUPS 569945 WITH SCORE 571326.702
AT ITER 2571 NEW BEST:: SOT 1996398 SOS 1381211 HAS SOPS 627221 HAS SOUS 686509 HAS SOUPS 568963 WITH SCORE 570344.211
AT ITER 2578 NEW BEST:: SOT 1996262 SOS 1381075 HAS SOPS 626825 HAS SOUS 686343 HAS SOUPS 568567 WITH SCORE 569948.075
AT ITER 2583 NEW BEST:: SOT 1996493 SOS 1381306 HAS SOPS 626794 HAS SOUS 686312 HAS SOUPS 568536 WITH SCORE 569917.306
AT ITER 2591 NEW BEST:: SOT 1996474 SOS 1381287 HAS SOPS 626362 HAS SOUS 685880 HAS SOUPS 568104 WITH SCORE 569485.287
AT ITER 2594 NEW BEST:: SOT 1996584 SOS 1381458 HAS SOPS 626346 HAS SOUS 685864 HAS SOUPS 568088 WITH SCORE 569469.458
AT ITER 2600 NEW BEST:: SOT 1996537 SOS 1381411 HAS SOPS 626346 HAS SOUS 685864 HAS SOUPS 568088 WITH SCORE 569469.411
AT ITER 2601 NEW BEST:: SOT 1996501 SOS 1380959 HAS SOPS 626622 HAS SOUS 685376 HAS SOUPS 567704 WITH SCORE 569084.959
AT ITER 2603 NEW BEST:: SOT 1996698 SOS 1381235 HAS SOPS 626578 HAS SOUS 685398 HAS SOUPS 567660 WITH SCORE 569041.235
AT ITER 2605 NEW BEST:: SOT 1996689 SOS 1381226 HAS SOPS 626358 HAS SOUS 685178 HAS SOUPS 567440 WITH SCORE 568821.226
AT ITER 2610 NEW BEST:: SOT 1997076 SOS 1381613 HAS SOPS 626351 HAS SOUS 685762 HAS SOUPS 567433 WITH SCORE 568814.613
AT ITER 2612 NEW BEST:: SOT 1997044 SOS 1381581 HAS SOPS 626351 HAS SOUS 685762 HAS SOUPS 567433 WITH SCORE 568814.581
AT ITER 2613 NEW BEST:: SOT 1997308 SOS 1380896 HAS SOPS 627667 HAS SOUS 685368 HAS SOUPS 567302 WITH SCORE 568682.896
AT ITER 2624 NEW BEST:: SOT 1997308 SOS 1380896 HAS SOPS 627616 HAS SOUS 685317 HAS SOUPS 567251 WITH SCORE 568631.896
AT ITER 2632 NEW BEST:: SOT 1997306 SOS 1380894 HAS SOPS 627612 HAS SOUS 685313 HAS SOUPS 567247 WITH SCORE 568627.894
AT ITER 2637 NEW BEST:: SOT 1997135 SOS 1380723 HAS SOPS 626394 HAS SOUS 684482 HAS SOUPS 566029 WITH SCORE 567409.723
AT ITER 2643 NEW BEST:: SOT 1997135 SOS 1380723 HAS SOPS 626334 HAS SOUS 684422 HAS SOUPS 565969 WITH SCORE 567349.723
AT ITER 2647 NEW BEST:: SOT 1997256 SOS 1380844 HAS SOPS 626112 HAS SOUS 684223 HAS SOUPS 565747 WITH SCORE 567127.844
AT ITER 2653 NEW BEST:: SOT 1997266 SOS 1380854 HAS SOPS 625998 HAS SOUS 684243 HAS SOUPS 565633 WITH SCORE 567013.854
AT ITER 2654 NEW BEST:: SOT 1997268 SOS 1380856 HAS SOPS 625723 HAS SOUS 684056 HAS SOUPS 565358 WITH SCORE 566738.856
AT ITER 2655 NEW BEST:: SOT 1997583 SOS 1381171 HAS SOPS 625535 HAS SOUS 683956 HAS SOUPS 565258 WITH SCORE 566639.171
AT ITER 2656 NEW BEST:: SOT 1997041 SOS 1380629 HAS SOPS 624451 HAS SOUS 683216 HAS SOUPS 564174 WITH SCORE 565554.629
AT ITER 2661 NEW BEST:: SOT 1997272 SOS 1381143 HAS SOPS 624029 HAS SOUS 684110 HAS SOUPS 563752 WITH SCORE 565133.143
AT ITER 2677 NEW BEST:: SOT 1997268 SOS 1381135 HAS SOPS 624025 HAS SOUS 684106 HAS SOUPS 563748 WITH SCORE 565129.135
AT ITER 2679 NEW BEST:: SOT 1997172 SOS 1381039 HAS SOPS 623381 HAS SOUS 683523 HAS SOUPS 563165 WITH SCORE 564546.039
AT ITER 2682 NEW BEST:: SOT 1997185 SOS 1381052 HAS SOPS 623297 HAS SOUS 683577 HAS SOUPS 563081 WITH SCORE 564462.052
AT ITER 2699 NEW BEST:: SOT 1997101 SOS 1380968 HAS SOPS 623297 HAS SOUS 683577 HAS SOUPS 563081 WITH SCORE 564461.968
AT ITER 2715 NEW BEST:: SOT 1996920 SOS 1380787 HAS SOPS 622935 HAS SOUS 683215 HAS SOUPS 562719 WITH SCORE 564099.787
AT ITER 2739 NEW BEST:: SOT 1997038 SOS 1380993 HAS SOPS 622917 HAS SOUS 683284 HAS SOUPS 562701 WITH SCORE 564081.993
AT ITER 2749 NEW BEST:: SOT 1997038 SOS 1380993 HAS SOPS 622802 HAS SOUS 683169 HAS SOUPS 562586 WITH SCORE 563966.993
AT ITER 2765 NEW BEST:: SOT 1997005 SOS 1380924 HAS SOPS 621584 HAS SOUS 681951 HAS SOUPS 561368 WITH SCORE 562748.924
AT ITER 2768 NEW BEST:: SOT 1997005 SOS 1380924 HAS SOPS 621427 HAS SOUS 681764 HAS SOUPS 561211 WITH SCORE 562591.924
AT ITER 2771 NEW BEST:: SOT 1996849 SOS 1380768 HAS SOPS 621143 HAS SOUS 681608 HAS SOUPS 560927 WITH SCORE 562307.768
AT ITER 2781 NEW BEST:: SOT 1996604 SOS 1380523 HAS SOPS 620727 HAS SOUS 681333 HAS SOUPS 560596 WITH SCORE 561976.523
AT ITER 2788 NEW BEST:: SOT 1996420 SOS 1380339 HAS SOPS 620359 HAS SOUS 680965 HAS SOUPS 560228 WITH SCORE 561608.339
AT ITER 2795 NEW BEST:: SOT 1996741 SOS 1380660 HAS SOPS 619993 HAS SOUS 680699 HAS SOUPS 559862 WITH SCORE 561242.66
AT ITER 2803 NEW BEST:: SOT 1996718 SOS 1380637 HAS SOPS 619947 HAS SOUS 680676 HAS SOUPS 559816 WITH SCORE 561196.637
AT ITER 2814 NEW BEST:: SOT 1996702 SOS 1380621 HAS SOPS 619931 HAS SOUS 680660 HAS SOUPS 559800 WITH SCORE 561180.621
AT ITER 2815 NEW BEST:: SOT 1996676 SOS 1380595 HAS SOPS 619930 HAS SOUS 680634 HAS SOUPS 559774 WITH SCORE 561154.595
AT ITER 2827 NEW BEST:: SOT 1996642 SOS 1380561 HAS SOPS 619913 HAS SOUS 680617 HAS SOUPS 559757 WITH SCORE 561137.561
AT ITER 2842 NEW BEST:: SOT 1996977 SOS 1381956 HAS SOPS 619578 HAS SOUS 680576 HAS SOUPS 559422 WITH SCORE 560803.956
AT ITER 2852 NEW BEST:: SOT 1996947 SOS 1381926 HAS SOPS 619399 HAS SOUS 680487 HAS SOUPS 559333 WITH SCORE 560714.926
AT ITER 2854 NEW BEST:: SOT 1996835 SOS 1381814 HAS SOPS 619175 HAS SOUS 680263 HAS SOUPS 559109 WITH SCORE 560490.814
AT ITER 2855 NEW BEST:: SOT 1996954 SOS 1381933 HAS SOPS 619103 HAS SOUS 680488 HAS SOUPS 559037 WITH SCORE 560418.933
AT ITER 2859 NEW BEST:: SOT 1996373 SOS 1381352 HAS SOPS 618535 HAS SOUS 679920 HAS SOUPS 558469 WITH SCORE 559850.352
AT ITER 2861 NEW BEST:: SOT 1996378 SOS 1381357 HAS SOPS 618428 HAS SOUS 679813 HAS SOUPS 558362 WITH SCORE 559743.357
AT ITER 2871 NEW BEST:: SOT 1996362 SOS 1381341 HAS SOPS 618396 HAS SOUS 679797 HAS SOUPS 558330 WITH SCORE 559711.341
AT ITER 2889 NEW BEST:: SOT 1996039 SOS 1381005 HAS SOPS 617715 HAS SOUS 679151 HAS SOUPS 557684 WITH SCORE 559065.005
AT ITER 2902 NEW BEST:: SOT 1996042 SOS 1380888 HAS SOPS 617794 HAS SOUS 679067 HAS SOUPS 557630 WITH SCORE 559010.888
AT ITER 2908 NEW BEST:: SOT 1995951 SOS 1380797 HAS SOPS 617612 HAS SOUS 678885 HAS SOUPS 557448 WITH SCORE 558828.797
AT ITER 2927 NEW BEST:: SOT 1995951 SOS 1381337 HAS SOPS 617500 HAS SOUS 678827 HAS SOUPS 557336 WITH SCORE 558717.337
AT ITER 2932 NEW BEST:: SOT 1996278 SOS 1380779 HAS SOPS 618062 HAS SOUS 678306 HAS SOUPS 557050 WITH SCORE 558430.779
AT ITER 2934 NEW BEST:: SOT 1996278 SOS 1380779 HAS SOPS 618058 HAS SOUS 678302 HAS SOUPS 557046 WITH SCORE 558426.779
AT ITER 2951 NEW BEST:: SOT 1996131 SOS 1380632 HAS SOPS 617757 HAS SOUS 678421 HAS SOUPS 556856 WITH SCORE 558236.632
AT ITER 2954 NEW BEST:: SOT 1995789 SOS 1380290 HAS SOPS 617073 HAS SOUS 677737 HAS SOUPS 556172 WITH SCORE 557552.29
AT ITER 2956 NEW BEST:: SOT 1995998 SOS 1380499 HAS SOPS 617067 HAS SOUS 677879 HAS SOUPS 556166 WITH SCORE 557546.499
AT ITER 2965 NEW BEST:: SOT 1996053 SOS 1380643 HAS SOPS 616900 HAS SOUS 677712 HAS SOUPS 555999 WITH SCORE 557379.643
AT ITER 2970 NEW BEST:: SOT 1996020 SOS 1380218 HAS SOPS 617144 HAS SOUS 677271 HAS SOUPS 555656 WITH SCORE 557036.218
AT ITER 2975 NEW BEST:: SOT 1995169 SOS 1379367 HAS SOPS 616820 HAS SOUS 676993 HAS SOUPS 555378 WITH SCORE 556757.367
AT ITER 2977 NEW BEST:: SOT 1994895 SOS 1380936 HAS SOPS 615964 HAS SOUS 676452 HAS SOUPS 554522 WITH SCORE 555902.936
AT ITER 2981 NEW BEST:: SOT 1995062 SOS 1381103 HAS SOPS 615710 HAS SOUS 676198 HAS SOUPS 554268 WITH SCORE 555649.103
AT ITER 2994 NEW BEST:: SOT 1995039 SOS 1381080 HAS SOPS 615664 HAS SOUS 676152 HAS SOUPS 554222 WITH SCORE 555603.08
AT ITER 2997 NEW BEST:: SOT 1994998 SOS 1381039 HAS SOPS 615532 HAS SOUS 676020 HAS SOUPS 554090 WITH SCORE 555471.039
AT ITER 3010 NEW BEST:: SOT 1994998 SOS 1380599 HAS SOPS 615532 HAS SOUS 675997 HAS SOUPS 554090 WITH SCORE 555470.599
AT ITER 3015 NEW BEST:: SOT 1995302 SOS 1380956 HAS SOPS 615156 HAS SOUS 676627 HAS SOUPS 553714 WITH SCORE 555094.956
AT ITER 3040 NEW BEST:: SOT 1995302 SOS 1380956 HAS SOPS 615111 HAS SOUS 676582 HAS SOUPS 553669 WITH SCORE 555049.956
AT ITER 3045 NEW BEST:: SOT 1995302 SOS 1380956 HAS SOPS 614863 HAS SOUS 676386 HAS SOUPS 553421 WITH SCORE 554801.956
AT ITER 3052 NEW BEST:: SOT 1995294 SOS 1380948 HAS SOPS 614763 HAS SOUS 676324 HAS SOUPS 553359 WITH SCORE 554739.948
AT ITER 3053 NEW BEST:: SOT 1995262 SOS 1380916 HAS SOPS 614756 HAS SOUS 676292 HAS SOUPS 553352 WITH SCORE 554732.916
AT ITER 3057 NEW BEST:: SOT 1995271 SOS 1380925 HAS SOPS 614587 HAS SOUS 676665 HAS SOUPS 553183 WITH SCORE 554563.925
AT ITER 3064 NEW BEST:: SOT 1995180 SOS 1380834 HAS SOPS 614405 HAS SOUS 676483 HAS SOUPS 553001 WITH SCORE 554381.834
AT ITER 3083 NEW BEST:: SOT 1995323 SOS 1380977 HAS SOPS 613929 HAS SOUS 676384 HAS SOUPS 552525 WITH SCORE 553905.977
AT ITER 3088 NEW BEST:: SOT 1995488 SOS 1381142 HAS SOPS 613927 HAS SOUS 676382 HAS SOUPS 552523 WITH SCORE 553904.142
AT ITER 3100 NEW BEST:: SOT 1995441 SOS 1381095 HAS SOPS 613617 HAS SOUS 676359 HAS SOUPS 552213 WITH SCORE 553594.095
AT ITER 3109 NEW BEST:: SOT 1995441 SOS 1381095 HAS SOPS 613521 HAS SOUS 676280 HAS SOUPS 552134 WITH SCORE 553515.095
AT ITER 3113 NEW BEST:: SOT 1995434 SOS 1381088 HAS SOPS 613507 HAS SOUS 676266 HAS SOUPS 552120 WITH SCORE 553501.088
AT ITER 3116 NEW BEST:: SOT 1995434 SOS 1381568 HAS SOPS 613455 HAS SOUS 676262 HAS SOUPS 552068 WITH SCORE 553449.568
AT ITER 3119 NEW BEST:: SOT 1995408 SOS 1381542 HAS SOPS 613429 HAS SOUS 676236 HAS SOUPS 552042 WITH SCORE 553423.542
AT ITER 3125 NEW BEST:: SOT 1995494 SOS 1381628 HAS SOPS 612753 HAS SOUS 675680 HAS SOUPS 551366 WITH SCORE 552747.628
AT ITER 3129 NEW BEST:: SOT 1995611 SOS 1381804 HAS SOPS 612747 HAS SOUS 675674 HAS SOUPS 551360 WITH SCORE 552741.804
AT ITER 3130 NEW BEST:: SOT 1995611 SOS 1381804 HAS SOPS 612743 HAS SOUS 675670 HAS SOUPS 551356 WITH SCORE 552737.804
AT ITER 3134 NEW BEST:: SOT 1995243 SOS 1381189 HAS SOPS 612270 HAS SOUS 675197 HAS SOUPS 550883 WITH SCORE 552264.189
AT ITER 3137 NEW BEST:: SOT 1994912 SOS 1380858 HAS SOPS 611608 HAS SOUS 674712 HAS SOUPS 550221 WITH SCORE 551601.858
AT ITER 3139 NEW BEST:: SOT 1994912 SOS 1380858 HAS SOPS 611604 HAS SOUS 674708 HAS SOUPS 550217 WITH SCORE 551597.858
AT ITER 3140 NEW BEST:: SOT 1995020 SOS 1380966 HAS SOPS 611452 HAS SOUS 674823 HAS SOUPS 550065 WITH SCORE 551445.966
AT ITER 3141 NEW BEST:: SOT 1994932 SOS 1380878 HAS SOPS 611364 HAS SOUS 674691 HAS SOUPS 549977 WITH SCORE 551357.878
AT ITER 3142 NEW BEST:: SOT 1995071 SOS 1381097 HAS SOPS 611357 HAS SOUS 674830 HAS SOUPS 549970 WITH SCORE 551351.097
AT ITER 3144 NEW BEST:: SOT 1994834 SOS 1380865 HAS SOPS 610883 HAS SOUS 674356 HAS SOUPS 549496 WITH SCORE 550876.865
AT ITER 3145 NEW BEST:: SOT 1994834 SOS 1380865 HAS SOPS 610875 HAS SOUS 674348 HAS SOUPS 549488 WITH SCORE 550868.865
AT ITER 3148 NEW BEST:: SOT 1994693 SOS 1380724 HAS SOPS 610593 HAS SOUS 674069 HAS SOUPS 549206 WITH SCORE 550586.724
AT ITER 3149 NEW BEST:: SOT 1994255 SOS 1380286 HAS SOPS 610319 HAS SOUS 673673 HAS SOUPS 548932 WITH SCORE 550312.286
AT ITER 3163 NEW BEST:: SOT 1994129 SOS 1380160 HAS SOPS 609813 HAS SOUS 673400 HAS SOUPS 548426 WITH SCORE 549806.16
AT ITER 3174 NEW BEST:: SOT 1994116 SOS 1380147 HAS SOPS 609787 HAS SOUS 672832 HAS SOUPS 548400 WITH SCORE 549780.147
AT ITER 3179 NEW BEST:: SOT 1994628 SOS 1380758 HAS SOPS 609400 HAS SOUS 672598 HAS SOUPS 548166 WITH SCORE 549546.758
AT ITER 3181 NEW BEST:: SOT 1994216 SOS 1380346 HAS SOPS 608576 HAS SOUS 671774 HAS SOUPS 547342 WITH SCORE 548722.346
AT ITER 3184 NEW BEST:: SOT 1994176 SOS 1380306 HAS SOPS 608456 HAS SOUS 671654 HAS SOUPS 547222 WITH SCORE 548602.306
AT ITER 3198 NEW BEST:: SOT 1994061 SOS 1380191 HAS SOPS 608275 HAS SOUS 671441 HAS SOUPS 547041 WITH SCORE 548421.191
AT ITER 3207 NEW BEST:: SOT 1993868 SOS 1379998 HAS SOPS 607889 HAS SOUS 671102 HAS SOUPS 546655 WITH SCORE 548034.998
AT ITER 3210 NEW BEST:: SOT 1993825 SOS 1379955 HAS SOPS 607803 HAS SOUS 670987 HAS SOUPS 546569 WITH SCORE 547948.955
AT ITER 3256 NEW BEST:: SOT 1993756 SOS 1379886 HAS SOPS 607665 HAS SOUS 670900 HAS SOUPS 546431 WITH SCORE 547810.886
AT ITER 3257 NEW BEST:: SOT 1993695 SOS 1379825 HAS SOPS 607432 HAS SOUS 670667 HAS SOUPS 546198 WITH SCORE 547577.825
AT ITER 3258 NEW BEST:: SOT 1993620 SOS 1379750 HAS SOPS 607432 HAS SOUS 670592 HAS SOUPS 546198 WITH SCORE 547577.75
AT ITER 3259 NEW BEST:: SOT 1994072 SOS 1379316 HAS SOPS 608140 HAS SOUS 670190 HAS SOUPS 546052 WITH SCORE 547431.316
AT ITER 3273 NEW BEST:: SOT 1994072 SOS 1380164 HAS SOPS 607866 HAS SOUS 670075 HAS SOUPS 545778 WITH SCORE 547158.164
AT ITER 3286 NEW BEST:: SOT 1994187 SOS 1379998 HAS SOPS 608026 HAS SOUS 669722 HAS SOUPS 545528 WITH SCORE 546907.998
AT ITER 3290 NEW BEST:: SOT 1994104 SOS 1379915 HAS SOPS 607815 HAS SOUS 669511 HAS SOUPS 545317 WITH SCORE 546696.915
AT ITER 3292 NEW BEST:: SOT 1994104 SOS 1379915 HAS SOPS 607724 HAS SOUS 669329 HAS SOUPS 545226 WITH SCORE 546605.915
AT ITER 3301 NEW BEST:: SOT 1994122 SOS 1379933 HAS SOPS 607716 HAS SOUS 669347 HAS SOUPS 545218 WITH SCORE 546597.933
AT ITER 3304 NEW BEST:: SOT 1994122 SOS 1379933 HAS SOPS 607712 HAS SOUS 669343 HAS SOUPS 545214 WITH SCORE 546593.933
AT ITER 3305 NEW BEST:: SOT 1994439 SOS 1379188 HAS SOPS 608865 HAS SOUS 668908 HAS SOUPS 545073 WITH SCORE 546452.188
AT ITER 3318 NEW BEST:: SOT 1994281 SOS 1379030 HAS SOPS 608549 HAS SOUS 668592 HAS SOUPS 544757 WITH SCORE 546136.03
AT ITER 3319 NEW BEST:: SOT 1994265 SOS 1379014 HAS SOPS 608549 HAS SOUS 668592 HAS SOUPS 544757 WITH SCORE 546136.014
AT ITER 3320 NEW BEST:: SOT 1993938 SOS 1378687 HAS SOPS 608222 HAS SOUS 668265 HAS SOUPS 544430 WITH SCORE 545808.687
AT ITER 3342 NEW BEST:: SOT 1994003 SOS 1378752 HAS SOPS 608077 HAS SOUS 668330 HAS SOUPS 544285 WITH SCORE 545663.752
AT ITER 3343 NEW BEST:: SOT 1993988 SOS 1378737 HAS SOPS 608047 HAS SOUS 668300 HAS SOUPS 544255 WITH SCORE 545633.737
AT ITER 3345 NEW BEST:: SOT 1993988 SOS 1378737 HAS SOPS 608017 HAS SOUS 668270 HAS SOUPS 544225 WITH SCORE 545603.737
AT ITER 3386 NEW BEST:: SOT 1993810 SOS 1378559 HAS SOPS 607947 HAS SOUS 668438 HAS SOUPS 544155 WITH SCORE 545533.559
AT ITER 3391 NEW BEST:: SOT 1994229 SOS 1384319 HAS SOPS 607825 HAS SOUS 668816 HAS SOUPS 544033 WITH SCORE 545417.319
AT ITER 3397 NEW BEST:: SOT 1994312 SOS 1384433 HAS SOPS 607808 HAS SOUS 669001 HAS SOUPS 544016 WITH SCORE 545400.433
AT ITER 3400 NEW BEST:: SOT 1994045 SOS 1384166 HAS SOPS 607584 HAS SOUS 668777 HAS SOUPS 543792 WITH SCORE 545176.166
AT ITER 3404 NEW BEST:: SOT 1994211 SOS 1383388 HAS SOPS 608458 HAS SOUS 668243 HAS SOUPS 543494 WITH SCORE 544877.388
AT ITER 3407 NEW BEST:: SOT 1993967 SOS 1383144 HAS SOPS 608458 HAS SOUS 668157 HAS SOUPS 543494 WITH SCORE 544877.144
AT ITER 3408 NEW BEST:: SOT 1994009 SOS 1383186 HAS SOPS 607830 HAS SOUS 667679 HAS SOUPS 543016 WITH SCORE 544399.186
AT ITER 3413 NEW BEST:: SOT 1994071 SOS 1383248 HAS SOPS 607769 HAS SOUS 667605 HAS SOUPS 542955 WITH SCORE 544338.248
AT ITER 3421 NEW BEST:: SOT 1994106 SOS 1384103 HAS SOPS 607642 HAS SOUS 667618 HAS SOUPS 542828 WITH SCORE 544212.103
AT ITER 3426 NEW BEST:: SOT 1994538 SOS 1389412 HAS SOPS 607459 HAS SOUS 667760 HAS SOUPS 542645 WITH SCORE 544034.412
AT ITER 3435 NEW BEST:: SOT 1994501 SOS 1389375 HAS SOPS 607459 HAS SOUS 667723 HAS SOUPS 542645 WITH SCORE 544034.375
AT ITER 3439 NEW BEST:: SOT 1994454 SOS 1389328 HAS SOPS 607365 HAS SOUS 667748 HAS SOUPS 542551 WITH SCORE 543940.328
AT ITER 3451 NEW BEST:: SOT 1994447 SOS 1389321 HAS SOPS 607327 HAS SOUS 668013 HAS SOUPS 542513 WITH SCORE 543902.321
AT ITER 3458 NEW BEST:: SOT 1994511 SOS 1389454 HAS SOPS 607158 HAS SOUS 668102 HAS SOUPS 542344 WITH SCORE 543733.454
AT ITER 3460 NEW BEST:: SOT 1994427 SOS 1389370 HAS SOPS 607074 HAS SOUS 668018 HAS SOUPS 542260 WITH SCORE 543649.37
AT ITER 3472 NEW BEST:: SOT 1994415 SOS 1389346 HAS SOPS 607062 HAS SOUS 667994 HAS SOUPS 542248 WITH SCORE 543637.346
AT ITER 3474 NEW BEST:: SOT 1994161 SOS 1389092 HAS SOPS 607094 HAS SOUS 667968 HAS SOUPS 542222 WITH SCORE 543611.092
AT ITER 3475 NEW BEST:: SOT 1993999 SOS 1388930 HAS SOPS 606725 HAS SOUS 667599 HAS SOUPS 541853 WITH SCORE 543241.93
AT ITER 3479 NEW BEST:: SOT 1993942 SOS 1388873 HAS SOPS 606611 HAS SOUS 667486 HAS SOUPS 541740 WITH SCORE 543128.873
AT ITER 3480 NEW BEST:: SOT 1993942 SOS 1388873 HAS SOPS 606583 HAS SOUS 667458 HAS SOUPS 541712 WITH SCORE 543100.873
AT ITER 3484 NEW BEST:: SOT 1993920 SOS 1388878 HAS SOPS 606544 HAS SOUS 667419 HAS SOUPS 541673 WITH SCORE 543061.878
AT ITER 3485 NEW BEST:: SOT 1993734 SOS 1388692 HAS SOPS 606329 HAS SOUS 667241 HAS SOUPS 541458 WITH SCORE 542846.692
AT ITER 3493 NEW BEST:: SOT 1993456 SOS 1388414 HAS SOPS 605726 HAS SOUS 667323 HAS SOUPS 540855 WITH SCORE 542243.414
AT ITER 3505 NEW BEST:: SOT 1993442 SOS 1388400 HAS SOPS 605712 HAS SOUS 667309 HAS SOUPS 540841 WITH SCORE 542229.4
AT ITER 3525 NEW BEST:: SOT 1993418 SOS 1388367 HAS SOPS 605698 HAS SOUS 667295 HAS SOUPS 540827 WITH SCORE 542215.367
AT ITER 3531 NEW BEST:: SOT 1993338 SOS 1388287 HAS SOPS 605698 HAS SOUS 667295 HAS SOUPS 540827 WITH SCORE 542215.287
AT ITER 3537 NEW BEST:: SOT 1993010 SOS 1387959 HAS SOPS 605698 HAS SOUS 667141 HAS SOUPS 540827 WITH SCORE 542214.959
AT ITER 3538 NEW BEST:: SOT 1993212 SOS 1388161 HAS SOPS 605690 HAS SOUS 667271 HAS SOUPS 540819 WITH SCORE 542207.161
AT ITER 3551 NEW BEST:: SOT 1993212 SOS 1388161 HAS SOPS 605697 HAS SOUS 667270 HAS SOUPS 540818 WITH SCORE 542206.161
AT ITER 3555 NEW BEST:: SOT 1992991 SOS 1387940 HAS SOPS 605365 HAS SOUS 666828 HAS SOUPS 540376 WITH SCORE 541763.94
AT ITER 3575 NEW BEST:: SOT 1992980 SOS 1387929 HAS SOPS 605343 HAS SOUS 666697 HAS SOUPS 540354 WITH SCORE 541741.929
AT ITER 3582 NEW BEST:: SOT 1992969 SOS 1387918 HAS SOPS 605332 HAS SOUS 666686 HAS SOUPS 540343 WITH SCORE 541730.918
AT ITER 3609 NEW BEST:: SOT 1992971 SOS 1387920 HAS SOPS 605271 HAS SOUS 666666 HAS SOUPS 540282 WITH SCORE 541669.92
AT ITER 3619 NEW BEST:: SOT 1992465 SOS 1387414 HAS SOPS 604259 HAS SOUS 665581 HAS SOUPS 539270 WITH SCORE 540657.414
AT ITER 3625 NEW BEST:: SOT 1992199 SOS 1387148 HAS SOPS 603993 HAS SOUS 665315 HAS SOUPS 539004 WITH SCORE 540391.148
AT ITER 3638 NEW BEST:: SOT 1992199 SOS 1387148 HAS SOPS 603889 HAS SOUS 665211 HAS SOUPS 538900 WITH SCORE 540287.148
AT ITER 3639 NEW BEST:: SOT 1992199 SOS 1387148 HAS SOPS 603785 HAS SOUS 665211 HAS SOUPS 538796 WITH SCORE 540183.148
AT ITER 3640 NEW BEST:: SOT 1992260 SOS 1383730 HAS SOPS 597331 HAS SOUS 663853 HAS SOUPS 537258 WITH SCORE 538641.73
AT ITER 3646 NEW BEST:: SOT 1992253 SOS 1383723 HAS SOPS 597317 HAS SOUS 663839 HAS SOUPS 537244 WITH SCORE 538627.723
AT ITER 3649 NEW BEST:: SOT 1992241 SOS 1383711 HAS SOPS 597305 HAS SOUS 663827 HAS SOUPS 537232 WITH SCORE 538615.711
AT ITER 3656 NEW BEST:: SOT 1992029 SOS 1383499 HAS SOPS 597093 HAS SOUS 663615 HAS SOUPS 537020 WITH SCORE 538403.499
AT ITER 3660 NEW BEST:: SOT 1992029 SOS 1383499 HAS SOPS 597077 HAS SOUS 663599 HAS SOUPS 537004 WITH SCORE 538387.499
AT ITER 3663 NEW BEST:: SOT 1992128 SOS 1383598 HAS SOPS 597004 HAS SOUS 663526 HAS SOUPS 536931 WITH SCORE 538314.598
AT ITER 3666 NEW BEST:: SOT 1992235 SOS 1383705 HAS SOPS 596840 HAS SOUS 663549 HAS SOUPS 536767 WITH SCORE 538150.705
AT ITER 3668 NEW BEST:: SOT 1992248 SOS 1383718 HAS SOPS 596554 HAS SOUS 663562 HAS SOUPS 536481 WITH SCORE 537864.718
AT ITER 3683 NEW BEST:: SOT 1992218 SOS 1383688 HAS SOPS 596536 HAS SOUS 663466 HAS SOUPS 536463 WITH SCORE 537846.688
AT ITER 3687 NEW BEST:: SOT 1992220 SOS 1383690 HAS SOPS 596363 HAS SOUS 663300 HAS SOUPS 536290 WITH SCORE 537673.69
AT ITER 3688 NEW BEST:: SOT 1992135 SOS 1383605 HAS SOPS 596193 HAS SOUS 663130 HAS SOUPS 536120 WITH SCORE 537503.605
AT ITER 3698 NEW BEST:: SOT 1992100 SOS 1383570 HAS SOPS 596025 HAS SOUS 662963 HAS SOUPS 535953 WITH SCORE 537336.57
AT ITER 3720 NEW BEST:: SOT 1991995 SOS 1383465 HAS SOPS 595815 HAS SOUS 662753 HAS SOUPS 535743 WITH SCORE 537126.465
AT ITER 3749 NEW BEST:: SOT 1992070 SOS 1383540 HAS SOPS 595777 HAS SOUS 662715 HAS SOUPS 535705 WITH SCORE 537088.54
AT ITER 3758 NEW BEST:: SOT 1992070 SOS 1383540 HAS SOPS 595682 HAS SOUS 662810 HAS SOUPS 535610 WITH SCORE 536993.54
AT ITER 3759 NEW BEST:: SOT 1992013 SOS 1383483 HAS SOPS 595682 HAS SOUS 662753 HAS SOUPS 535610 WITH SCORE 536993.483
AT ITER 3760 NEW BEST:: SOT 1992081 SOS 1383551 HAS SOPS 595586 HAS SOUS 662726 HAS SOUPS 535514 WITH SCORE 536897.551
AT ITER 3765 NEW BEST:: SOT 1992053 SOS 1383523 HAS SOPS 595560 HAS SOUS 662683 HAS SOUPS 535488 WITH SCORE 536871.523
AT ITER 3772 NEW BEST:: SOT 1992257 SOS 1382585 HAS SOPS 596031 HAS SOUS 661596 HAS SOUPS 534935 WITH SCORE 536317.585
AT ITER 3783 NEW BEST:: SOT 1992183 SOS 1382511 HAS SOPS 595925 HAS SOUS 661490 HAS SOUPS 534829 WITH SCORE 536211.511
AT ITER 3818 NEW BEST:: SOT 1992165 SOS 1382493 HAS SOPS 595889 HAS SOUS 661472 HAS SOUPS 534793 WITH SCORE 536175.493
AT ITER 3838 NEW BEST:: SOT 1992097 SOS 1382425 HAS SOPS 595755 HAS SOUS 661338 HAS SOUPS 534659 WITH SCORE 536041.425
AT ITER 3842 NEW BEST:: SOT 1992278 SOS 1390441 HAS SOPS 595570 HAS SOUS 661607 HAS SOUPS 534474 WITH SCORE 535864.441
AT ITER 3844 NEW BEST:: SOT 1992350 SOS 1390644 HAS SOPS 595478 HAS SOUS 661515 HAS SOUPS 534382 WITH SCORE 535772.644
AT ITER 3850 NEW BEST:: SOT 1992350 SOS 1390644 HAS SOPS 595216 HAS SOUS 661276 HAS SOUPS 534120 WITH SCORE 535510.644
AT ITER 3851 NEW BEST:: SOT 1992230 SOS 1390524 HAS SOPS 595140 HAS SOUS 661058 HAS SOUPS 534044 WITH SCORE 535434.524
AT ITER 3864 NEW BEST:: SOT 1991877 SOS 1390171 HAS SOPS 595122 HAS SOUS 660914 HAS SOUPS 534026 WITH SCORE 535416.171
AT ITER 3866 NEW BEST:: SOT 1991823 SOS 1390117 HAS SOPS 595014 HAS SOUS 660806 HAS SOUPS 533918 WITH SCORE 535308.117
AT ITER 3868 NEW BEST:: SOT 1991823 SOS 1390117 HAS SOPS 594989 HAS SOUS 660806 HAS SOUPS 533893 WITH SCORE 535283.117
AT ITER 3882 NEW BEST:: SOT 1985666 SOS 1384249 HAS SOPS 592761 HAS SOUS 655289 HAS SOUPS 531665 WITH SCORE 533049.249
AT ITER 3888 NEW BEST:: SOT 1985624 SOS 1384207 HAS SOPS 592715 HAS SOUS 655247 HAS SOUPS 531619 WITH SCORE 533003.207
AT ITER 3892 NEW BEST:: SOT 1985570 SOS 1383905 HAS SOPS 592715 HAS SOUS 654901 HAS SOUPS 531327 WITH SCORE 532710.905
AT ITER 3900 NEW BEST:: SOT 1985562 SOS 1384038 HAS SOPS 592635 HAS SOUS 654517 HAS SOUPS 531014 WITH SCORE 532398.038
AT ITER 3908 NEW BEST:: SOT 1985562 SOS 1384038 HAS SOPS 592579 HAS SOUS 654472 HAS SOUPS 530958 WITH SCORE 532342.038
AT ITER 3915 NEW BEST:: SOT 1985837 SOS 1384313 HAS SOPS 592507 HAS SOUS 654335 HAS SOUPS 530821 WITH SCORE 532205.313
AT ITER 3923 NEW BEST:: SOT 1985831 SOS 1384307 HAS SOPS 592495 HAS SOUS 654323 HAS SOUPS 530809 WITH SCORE 532193.307
AT ITER 3935 NEW BEST:: SOT 1985905 SOS 1388261 HAS SOPS 592371 HAS SOUS 654393 HAS SOUPS 530685 WITH SCORE 532073.261
AT ITER 3941 NEW BEST:: SOT 1985822 SOS 1388178 HAS SOPS 592205 HAS SOUS 654227 HAS SOUPS 530519 WITH SCORE 531907.178
AT ITER 3942 NEW BEST:: SOT 1985856 SOS 1388347 HAS SOPS 592078 HAS SOUS 654195 HAS SOUPS 530392 WITH SCORE 531780.347
AT ITER 3947 NEW BEST:: SOT 1985975 SOS 1388466 HAS SOPS 591956 HAS SOUS 654174 HAS SOUPS 530270 WITH SCORE 531658.466
AT ITER 3949 NEW BEST:: SOT 1985972 SOS 1388463 HAS SOPS 591950 HAS SOUS 654171 HAS SOUPS 530264 WITH SCORE 531652.463
AT ITER 3950 NEW BEST:: SOT 1986412 SOS 1387872 HAS SOPS 592495 HAS SOUS 653906 HAS SOUPS 530249 WITH SCORE 531636.872
AT ITER 3972 NEW BEST:: SOT 1986378 SOS 1387838 HAS SOPS 592444 HAS SOUS 653855 HAS SOUPS 530198 WITH SCORE 531585.838
AT ITER 3998 NEW BEST:: SOT 1986183 SOS 1387643 HAS SOPS 592250 HAS SOUS 653661 HAS SOUPS 530004 WITH SCORE 531391.643
AT ITER 4034 NEW BEST:: SOT 1986160 SOS 1387645 HAS SOPS 592224 HAS SOUS 653635 HAS SOUPS 529978 WITH SCORE 531365.645
AT ITER 4038 NEW BEST:: SOT 1985785 SOS 1387468 HAS SOPS 591925 HAS SOUS 653518 HAS SOUPS 529559 WITH SCORE 530946.468
AT ITER 4050 NEW BEST:: SOT 1985941 SOS 1387758 HAS SOPS 591879 HAS SOUS 653713 HAS SOUPS 529513 WITH SCORE 530900.758
AT ITER 4051 NEW BEST:: SOT 1985861 SOS 1387678 HAS SOPS 591879 HAS SOUS 653713 HAS SOUPS 529513 WITH SCORE 530900.678
AT ITER 4052 NEW BEST:: SOT 1986639 SOS 1395496 HAS SOPS 591830 HAS SOUS 654230 HAS SOUPS 529464 WITH SCORE 530859.496
AT ITER 4059 NEW BEST:: SOT 1986211 SOS 1395068 HAS SOPS 591268 HAS SOUS 653791 HAS SOUPS 528902 WITH SCORE 530297.068
AT ITER 4060 NEW BEST:: SOT 1986211 SOS 1395068 HAS SOPS 591264 HAS SOUS 653787 HAS SOUPS 528898 WITH SCORE 530293.068
AT ITER 4071 NEW BEST:: SOT 1986171 SOS 1395028 HAS SOPS 591184 HAS SOUS 653268 HAS SOUPS 528818 WITH SCORE 530213.028
AT ITER 4080 NEW BEST:: SOT 1986158 SOS 1395015 HAS SOPS 590407 HAS SOUS 652496 HAS SOUPS 528041 WITH SCORE 529436.015
AT ITER 4110 NEW BEST:: SOT 1986069 SOS 1394926 HAS SOPS 590407 HAS SOUS 652496 HAS SOUPS 528041 WITH SCORE 529435.926
AT ITER 4119 NEW BEST:: SOT 1986015 SOS 1394818 HAS SOPS 590191 HAS SOUS 652334 HAS SOUPS 527879 WITH SCORE 529273.818
AT ITER 4132 NEW BEST:: SOT 1986103 SOS 1394906 HAS SOPS 590022 HAS SOUS 652280 HAS SOUPS 527710 WITH SCORE 529104.906
AT ITER 4133 NEW BEST:: SOT 1986080 SOS 1394883 HAS SOPS 589976 HAS SOUS 652234 HAS SOUPS 527664 WITH SCORE 529058.883
AT ITER 4140 NEW BEST:: SOT 1986116 SOS 1394509 HAS SOPS 590120 HAS SOUS 651878 HAS SOUPS 527416 WITH SCORE 528810.509
AT ITER 4143 NEW BEST:: SOT 1986110 SOS 1394503 HAS SOPS 589992 HAS SOUS 651750 HAS SOUPS 527288 WITH SCORE 528682.503
AT ITER 4144 NEW BEST:: SOT 1986003 SOS 1394396 HAS SOPS 589778 HAS SOUS 651606 HAS SOUPS 527074 WITH SCORE 528468.396
AT ITER 4147 NEW BEST:: SOT 1986003 SOS 1394396 HAS SOPS 589502 HAS SOUS 651421 HAS SOUPS 526798 WITH SCORE 528192.396
AT ITER 4152 NEW BEST:: SOT 1985989 SOS 1394382 HAS SOPS 589502 HAS SOUS 651421 HAS SOUPS 526798 WITH SCORE 528192.382
AT ITER 4156 NEW BEST:: SOT 1985970 SOS 1394363 HAS SOPS 589340 HAS SOUS 651259 HAS SOUPS 526636 WITH SCORE 528030.363
AT ITER 4158 NEW BEST:: SOT 1985912 SOS 1394305 HAS SOPS 589340 HAS SOUS 651201 HAS SOUPS 526636 WITH SCORE 528030.305
AT ITER 4161 NEW BEST:: SOT 1985805 SOS 1394198 HAS SOPS 589126 HAS SOUS 651112 HAS SOUPS 526422 WITH SCORE 527816.198
AT ITER 4188 NEW BEST:: SOT 1985788 SOS 1394270 HAS SOPS 589092 HAS SOUS 651460 HAS SOUPS 526388 WITH SCORE 527782.27
AT ITER 4197 NEW BEST:: SOT 1985750 SOS 1394232 HAS SOPS 589016 HAS SOUS 651370 HAS SOUPS 526312 WITH SCORE 527706.232
AT ITER 4206 NEW BEST:: SOT 1985750 SOS 1394232 HAS SOPS 589012 HAS SOUS 651366 HAS SOUPS 526308 WITH SCORE 527702.232
AT ITER 4230 NEW BEST:: SOT 1985492 SOS 1393391 HAS SOPS 588932 HAS SOUS 650558 HAS SOUPS 525625 WITH SCORE 527018.391
AT ITER 4235 NEW BEST:: SOT 1985486 SOS 1393385 HAS SOPS 588928 HAS SOUS 650554 HAS SOUPS 525621 WITH SCORE 527014.385
AT ITER 4237 NEW BEST:: SOT 1985298 SOS 1393197 HAS SOPS 588552 HAS SOUS 650178 HAS SOUPS 525245 WITH SCORE 526638.197
AT ITER 4238 NEW BEST:: SOT 1985300 SOS 1393199 HAS SOPS 588350 HAS SOUS 650073 HAS SOUPS 525043 WITH SCORE 526436.199
AT ITER 4245 NEW BEST:: SOT 1985202 SOS 1393101 HAS SOPS 588154 HAS SOUS 649877 HAS SOUPS 524847 WITH SCORE 526240.101
AT ITER 4255 NEW BEST:: SOT 1985240 SOS 1393139 HAS SOPS 588230 HAS SOUS 649865 HAS SOUPS 524835 WITH SCORE 526228.139
AT ITER 4262 NEW BEST:: SOT 1985603 SOS 1393502 HAS SOPS 588164 HAS SOUS 649799 HAS SOUPS 524769 WITH SCORE 526162.502
AT ITER 4266 NEW BEST:: SOT 1985590 SOS 1393489 HAS SOPS 588261 HAS SOUS 649896 HAS SOUPS 524743 WITH SCORE 526136.489
AT ITER 4289 NEW BEST:: SOT 1985622 SOS 1393521 HAS SOPS 588077 HAS SOUS 649846 HAS SOUPS 524559 WITH SCORE 525952.521
AT ITER 4306 NEW BEST:: SOT 1985604 SOS 1393503 HAS SOPS 588059 HAS SOUS 649828 HAS SOUPS 524541 WITH SCORE 525934.503
AT ITER 4310 NEW BEST:: SOT 1985537 SOS 1392654 HAS SOPS 588495 HAS SOUS 649134 HAS SOUPS 524015 WITH SCORE 525407.654
AT ITER 4315 NEW BEST:: SOT 1985952 SOS 1397712 HAS SOPS 588404 HAS SOUS 649363 HAS SOUPS 523924 WITH SCORE 525321.712
AT ITER 4324 NEW BEST:: SOT 1985267 SOS 1397027 HAS SOPS 587860 HAS SOUS 648819 HAS SOUPS 523380 WITH SCORE 524777.027
AT ITER 4335 NEW BEST:: SOT 1985224 SOS 1396984 HAS SOPS 587860 HAS SOUS 648819 HAS SOUPS 523380 WITH SCORE 524776.984
AT ITER 4338 NEW BEST:: SOT 1985190 SOS 1396950 HAS SOPS 587809 HAS SOUS 648768 HAS SOUPS 523329 WITH SCORE 524725.95
AT ITER 4349 NEW BEST:: SOT 1985244 SOS 1397004 HAS SOPS 587777 HAS SOUS 648736 HAS SOUPS 523297 WITH SCORE 524694.004
AT ITER 4366 NEW BEST:: SOT 1985341 SOS 1397101 HAS SOPS 587669 HAS SOUS 648670 HAS SOUPS 523189 WITH SCORE 524586.101
AT ITER 4370 NEW BEST:: SOT 1985229 SOS 1396989 HAS SOPS 587445 HAS SOUS 648558 HAS SOUPS 522965 WITH SCORE 524361.989
AT ITER 4371 NEW BEST:: SOT 1985046 SOS 1396806 HAS SOPS 587079 HAS SOUS 648337 HAS SOUPS 522599 WITH SCORE 523995.806
AT ITER 4378 NEW BEST:: SOT 1985006 SOS 1396766 HAS SOPS 586919 HAS SOUS 648177 HAS SOUPS 522439 WITH SCORE 523835.766
AT ITER 4381 NEW BEST:: SOT 1984901 SOS 1396661 HAS SOPS 586825 HAS SOUS 648072 HAS SOUPS 522345 WITH SCORE 523741.661
AT ITER 4383 NEW BEST:: SOT 1984901 SOS 1397671 HAS SOPS 586638 HAS SOUS 648072 HAS SOUPS 522158 WITH SCORE 523555.671
AT ITER 4396 NEW BEST:: SOT 1985147 SOS 1396926 HAS SOPS 587179 HAS SOUS 647471 HAS SOUPS 521795 WITH SCORE 523191.926
AT ITER 4406 NEW BEST:: SOT 1984943 SOS 1396722 HAS SOPS 586474 HAS SOUS 646993 HAS SOUPS 521317 WITH SCORE 522713.722
AT ITER 4407 NEW BEST:: SOT 1984747 SOS 1396526 HAS SOPS 586416 HAS SOUS 646628 HAS SOUPS 521259 WITH SCORE 522655.526
AT ITER 4410 NEW BEST:: SOT 1984736 SOS 1396515 HAS SOPS 586416 HAS SOUS 646628 HAS SOUPS 521259 WITH SCORE 522655.515
AT ITER 4414 NEW BEST:: SOT 1985016 SOS 1396795 HAS SOPS 586182 HAS SOUS 646374 HAS SOUPS 521005 WITH SCORE 522401.795
AT ITER 4446 NEW BEST:: SOT 1985331 SOS 1397110 HAS SOPS 585997 HAS SOUS 647239 HAS SOUPS 520820 WITH SCORE 522217.11
AT ITER 4460 NEW BEST:: SOT 1985778 SOS 1405591 HAS SOPS 585988 HAS SOUS 647895 HAS SOUPS 520811 WITH SCORE 522216.591
AT ITER 4462 NEW BEST:: SOT 1985733 SOS 1405546 HAS SOPS 585988 HAS SOUS 647850 HAS SOUPS 520811 WITH SCORE 522216.546
AT ITER 4481 NEW BEST:: SOT 1985556 SOS 1405220 HAS SOPS 585839 HAS SOUS 647673 HAS SOUPS 520634 WITH SCORE 522039.22
AT ITER 4486 NEW BEST:: SOT 1985229 SOS 1405395 HAS SOPS 585084 HAS SOUS 647528 HAS SOUPS 520335 WITH SCORE 521740.395
AT ITER 4495 NEW BEST:: SOT 1985229 SOS 1405395 HAS SOPS 584954 HAS SOUS 647398 HAS SOUPS 520205 WITH SCORE 521610.395
AT ITER 4510 NEW BEST:: SOT 1985103 SOS 1405269 HAS SOPS 584680 HAS SOUS 647131 HAS SOUPS 519931 WITH SCORE 521336.269
AT ITER 4513 NEW BEST:: SOT 1985070 SOS 1405216 HAS SOPS 584627 HAS SOUS 647078 HAS SOUPS 519878 WITH SCORE 521283.216
AT ITER 4516 NEW BEST:: SOT 1985269 SOS 1405415 HAS SOPS 584619 HAS SOUS 647070 HAS SOUPS 519870 WITH SCORE 521275.415
AT ITER 4522 NEW BEST:: SOT 1985719 SOS 1404768 HAS SOPS 585432 HAS SOUS 646808 HAS SOUPS 519859 WITH SCORE 521263.768
AT ITER 4532 NEW BEST:: SOT 1985357 SOS 1404406 HAS SOPS 584945 HAS SOUS 646321 HAS SOUPS 519372 WITH SCORE 520776.406
AT ITER 4547 NEW BEST:: SOT 1985363 SOS 1404745 HAS SOPS 584841 HAS SOUS 646323 HAS SOUPS 519268 WITH SCORE 520672.745
AT ITER 4556 NEW BEST:: SOT 1985160 SOS 1404542 HAS SOPS 584773 HAS SOUS 646120 HAS SOUPS 519200 WITH SCORE 520604.542
AT ITER 4560 NEW BEST:: SOT 1985131 SOS 1404513 HAS SOPS 584744 HAS SOUS 646062 HAS SOUPS 519142 WITH SCORE 520546.513
AT ITER 4584 NEW BEST:: SOT 1984925 SOS 1404307 HAS SOPS 584538 HAS SOUS 645856 HAS SOUPS 518936 WITH SCORE 520340.307
AT ITER 4585 NEW BEST:: SOT 1985227 SOS 1404609 HAS SOPS 584018 HAS SOUS 645336 HAS SOUPS 518416 WITH SCORE 519820.609
AT ITER 4589 NEW BEST:: SOT 1985126 SOS 1404508 HAS SOPS 583816 HAS SOUS 645134 HAS SOUPS 518214 WITH SCORE 519618.508
AT ITER 4594 NEW BEST:: SOT 1985126 SOS 1404508 HAS SOPS 583777 HAS SOUS 645095 HAS SOUPS 518175 WITH SCORE 519579.508
AT ITER 4596 NEW BEST:: SOT 1985109 SOS 1404491 HAS SOPS 582729 HAS SOUS 644097 HAS SOUPS 517127 WITH SCORE 518531.491
AT ITER 4597 NEW BEST:: SOT 1985109 SOS 1405242 HAS SOPS 582575 HAS SOUS 644097 HAS SOUPS 516973 WITH SCORE 518378.242
AT ITER 4602 NEW BEST:: SOT 1984908 SOS 1405041 HAS SOPS 582555 HAS SOUS 644077 HAS SOUPS 516953 WITH SCORE 518358.041
AT ITER 4615 NEW BEST:: SOT 1984592 SOS 1404584 HAS SOPS 581628 HAS SOUS 643686 HAS SOUPS 516562 WITH SCORE 517966.584
AT ITER 4681 NEW BEST:: SOT 1984658 SOS 1404650 HAS SOPS 581586 HAS SOUS 644085 HAS SOUPS 516520 WITH SCORE 517924.65
AT ITER 4684 NEW BEST:: SOT 1984744 SOS 1404678 HAS SOPS 581301 HAS SOUS 643375 HAS SOUPS 516235 WITH SCORE 517639.678
AT ITER 4706 NEW BEST:: SOT 1984751 SOS 1404685 HAS SOPS 580975 HAS SOUS 642879 HAS SOUPS 515909 WITH SCORE 517313.685
AT ITER 4713 NEW BEST:: SOT 1984773 SOS 1404707 HAS SOPS 580930 HAS SOUS 642853 HAS SOUPS 515864 WITH SCORE 517268.707
AT ITER 4718 NEW BEST:: SOT 1984757 SOS 1404691 HAS SOPS 580898 HAS SOUS 642829 HAS SOUPS 515832 WITH SCORE 517236.691
AT ITER 4727 NEW BEST:: SOT 1984757 SOS 1404691 HAS SOPS 580894 HAS SOUS 642872 HAS SOUPS 515828 WITH SCORE 517232.691
AT ITER 4729 NEW BEST:: SOT 1985023 SOS 1405611 HAS SOPS 580663 HAS SOUS 643876 HAS SOUPS 515597 WITH SCORE 517002.611
AT ITER 4733 NEW BEST:: SOT 1985215 SOS 1405803 HAS SOPS 580645 HAS SOUS 643899 HAS SOUPS 515579 WITH SCORE 516984.803
AT ITER 4743 NEW BEST:: SOT 1985381 SOS 1405969 HAS SOPS 580179 HAS SOUS 643758 HAS SOUPS 515113 WITH SCORE 516518.969
AT ITER 4751 NEW BEST:: SOT 1985381 SOS 1405969 HAS SOPS 580114 HAS SOUS 643823 HAS SOUPS 515048 WITH SCORE 516453.969
AT ITER 4763 NEW BEST:: SOT 1985285 SOS 1405873 HAS SOPS 579574 HAS SOUS 643676 HAS SOUPS 514508 WITH SCORE 515913.873
AT ITER 4764 NEW BEST:: SOT 1985303 SOS 1405891 HAS SOPS 579388 HAS SOUS 643492 HAS SOUPS 514322 WITH SCORE 515727.891
AT ITER 4776 NEW BEST:: SOT 1985110 SOS 1405698 HAS SOPS 579188 HAS SOUS 643286 HAS SOUPS 514122 WITH SCORE 515527.698
AT ITER 4787 NEW BEST:: SOT 1985513 SOS 1412680 HAS SOPS 578792 HAS SOUS 643450 HAS SOUPS 513726 WITH SCORE 515138.68
AT ITER 4788 NEW BEST:: SOT 1985507 SOS 1412678 HAS SOPS 578786 HAS SOUS 643438 HAS SOUPS 513714 WITH SCORE 515126.678
AT ITER 4792 NEW BEST:: SOT 1985201 SOS 1412372 HAS SOPS 578174 HAS SOUS 642826 HAS SOUPS 513102 WITH SCORE 514514.372
AT ITER 4830 NEW BEST:: SOT 1984876 SOS 1412047 HAS SOPS 577524 HAS SOUS 642258 HAS SOUPS 512452 WITH SCORE 513864.047
AT ITER 4842 NEW BEST:: SOT 1984700 SOS 1411871 HAS SOPS 576506 HAS SOUS 641597 HAS SOUPS 511434 WITH SCORE 512845.871
AT ITER 4849 NEW BEST:: SOT 1984502 SOS 1411673 HAS SOPS 576506 HAS SOUS 641527 HAS SOUPS 511434 WITH SCORE 512845.673
AT ITER 4852 NEW BEST:: SOT 1984505 SOS 1411676 HAS SOPS 576365 HAS SOUS 641386 HAS SOUPS 511293 WITH SCORE 512704.676
AT ITER 4856 NEW BEST:: SOT 1984498 SOS 1411669 HAS SOPS 576365 HAS SOUS 641386 HAS SOUPS 511293 WITH SCORE 512704.669
AT ITER 4873 NEW BEST:: SOT 1984385 SOS 1411556 HAS SOPS 576255 HAS SOUS 641273 HAS SOUPS 511183 WITH SCORE 512594.556
AT ITER 4887 NEW BEST:: SOT 1984247 SOS 1411418 HAS SOPS 575979 HAS SOUS 640997 HAS SOUPS 510907 WITH SCORE 512318.418
AT ITER 4890 NEW BEST:: SOT 1984883 SOS 1402611 HAS SOPS 565803 HAS SOUS 639896 HAS SOUPS 509806 WITH SCORE 511208.611
AT ITER 4893 NEW BEST:: SOT 1984894 SOS 1402623 HAS SOPS 565713 HAS SOUS 639806 HAS SOUPS 509716 WITH SCORE 511118.623
AT ITER 4900 NEW BEST:: SOT 1984795 SOS 1402524 HAS SOPS 565644 HAS SOUS 639737 HAS SOUPS 509647 WITH SCORE 511049.524
AT ITER 4901 NEW BEST:: SOT 1984697 SOS 1402426 HAS SOPS 565644 HAS SOUS 639737 HAS SOUPS 509647 WITH SCORE 511049.426
AT ITER 4917 NEW BEST:: SOT 1984327 SOS 1402056 HAS SOPS 565095 HAS SOUS 639175 HAS SOUPS 509085 WITH SCORE 510487.056
AT ITER 4924 NEW BEST:: SOT 1984358 SOS 1402087 HAS SOPS 565026 HAS SOUS 639097 HAS SOUPS 509007 WITH SCORE 510409.087
AT ITER 4954 NEW BEST:: SOT 1984238 SOS 1401967 HAS SOPS 564876 HAS SOUS 638947 HAS SOUPS 508857 WITH SCORE 510258.967
AT ITER 4959 NEW BEST:: SOT 1984100 SOS 1401829 HAS SOPS 564600 HAS SOUS 638671 HAS SOUPS 508581 WITH SCORE 509982.829
AT ITER 4969 NEW BEST:: SOT 1984078 SOS 1401807 HAS SOPS 564600 HAS SOUS 638671 HAS SOUPS 508581 WITH SCORE 509982.807
AT ITER 4982 NEW BEST:: SOT 1984088 SOS 1401817 HAS SOPS 564480 HAS SOUS 638621 HAS SOUPS 508461 WITH SCORE 509862.817
AT ITER 4984 NEW BEST:: SOT 1984053 SOS 1401782 HAS SOPS 564410 HAS SOUS 638574 HAS SOUPS 508391 WITH SCORE 509792.782
Bounds file is: CTLFireability.xml
PROPERTY: BART-PT-010-CTLFireability-00 (EX( ( ( ( ( ((potential((tk(P664)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1416)>=1) & (tk(P1420)>=1)))) & ((potential((tk(P516)>=1) & (tk(P1323)>=1) & (tk(P1392)>=1) & (tk(P1396)>=1)))) ) & ((potential((tk(P833)>=1) & (tk(P1323)>=1) & (tk(P1432)>=1) & (tk(P1436)>=1)))) ) | (EG( ((potential((tk(P1279)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1488)>=1) & (tk(P1490)>=1)))))) ) & (! (EF( ((potential((tk(P432)>=1) & (tk(P1323)>=1) & (tk(P1382)>=1) & (tk(P1386)>=1))))))) )))
PROPERTY: BART-PT-010-CTLFireability-01 (AU( (AU( ((potential((tk(P8)>=1) & (tk(P1520)>=1)))) , ((potential((tk(P188)>=1) & (tk(P1324)>=1) & (tk(P1323)>=1) & (tk(P1344)>=1) & (tk(P1347)>=1)))) )) , (AF( ((potential((tk(P1108)>=1) & (tk(P1322)>=1) & (tk(P1470)>=1) & (tk(P1473)>=1)))))) ))
PROPERTY: BART-PT-010-CTLFireability-02 (! (AG( (EF( ( ((potential((tk(P870)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1441)>=1) & (tk(P1445)>=1)))) | ((potential((tk(P6)>=1) & (tk(P1497)>=1)))) ))))))
PROPERTY: BART-PT-010-CTLFireability-03 ( (EU( ( ((potential((tk(P101)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1342)>=1) & (tk(P1345)>=1)))) | ((potential((tk(P288)>=1) & (tk(P1324)>=1) & (tk(P1323)>=1) & (tk(P1358)>=1) & (tk(P1362)>=1)))) ) , ( ( ((potential((tk(P630)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1411)>=1) & (tk(P1415)>=1)))) & ((potential((tk(P303)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1371)>=1) & (tk(P1375)>=1)))) ) | ((potential((tk(P1065)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1466)>=1) & (tk(P1469)>=1)))) ) )) | (AG( ( (AG( ((potential((tk(P317)>=1) & (tk(P1323)>=1) & (tk(P1367)>=1) & (tk(P1371)>=1)))))) | (EF( ((potential((tk(P707)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1421)>=1) & (tk(P1425)>=1)))))) ))) )
PROPERTY: BART-PT-010-CTLFireability-04 (AX( ( (EF( ( ((potential((tk(P950)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1451)>=1) & (tk(P1455)>=1)))) & ((potential((tk(P500)>=1) & (tk(P1325)>=1) & (tk(P1324)>=1) & (tk(P1379)>=1) & (tk(P1383)>=1)))) ))) | ((potential((tk(P426)>=1) & (tk(P1322)>=1) & (tk(P1386)>=1) & (tk(P1390)>=1)))) )))
PROPERTY: BART-PT-010-CTLFireability-05 (! (EX( (EX( ( ((potential((tk(P393)>=1) & (tk(P1323)>=1) & (tk(P1377)>=1) & (tk(P1381)>=1)))) & ((potential((tk(P408)>=1) & (tk(P1324)>=1) & (tk(P1373)>=1) & (tk(P1377)>=1)))) ))))))
PROPERTY: BART-PT-010-CTLFireability-06 (! ( ( (AF( ((potential((tk(P743)>=1) & (tk(P1322)>=1) & (tk(P1426)>=1) & (tk(P1430)>=1)))))) | ( ( ((potential((tk(P175)>=1) & (tk(P1323)>=1) & (tk(P1322)>=1) & (tk(P1347)>=1) & (tk(P1351)>=1)))) | ( ((potential((tk(P193)>=1) & (tk(P1322)>=1) & (tk(P1356)>=1) & (tk(P1360)>=1)))) & ((potential((tk(P611)>=1) & (tk(P1325)>=1) & (tk(P1324)>=1) & (tk(P1394)>=1) & (tk(P1398)>=1)))) ) ) | (! (! ((potential((tk(P1097)>=1) & (tk(P1325)>=1) & (tk(P1324)>=1) & (tk(P1454)>=1) & (tk(P1458)>=1)))))) ) ) & (EX( (! ((potential((tk(P1)>=1) & (tk(P1522)>=1))))))) ))
PROPERTY: BART-PT-010-CTLFireability-07 ( ( (! (AF( ( ((potential((tk(P388)>=1) & (tk(P1322)>=1) & (tk(P1381)>=1) & (tk(P1385)>=1)))) | ((potential((tk(P435)>=1) & (tk(P1323)>=1) & (tk(P1382)>=1) & (tk(P1386)>=1)))) )))) | ( ( (AG( ((potential((tk(P1294)>=1) & (tk(P1322)>=1) & (tk(P1491)>=1) & (tk(P1492)>=1)))))) | (EG( ((potential((tk(P1105)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1470)>=1) & (tk(P1473)>=1)))))) ) & ( ( ((potential((tk(P9)>=1) & (tk(P1506)>=1)))) | ( ((potential((tk(P335)>=1) & (tk(P1325)>=1) & (tk(P1324)>=1) & (tk(P1359)>=1) & (tk(P1363)>=1)))) & ((potential((tk(P236)>=1) & (tk(P1323)>=1) & (tk(P1357)>=1) & (tk(P1361)>=1)))) ) ) & ( ( ((potential((tk(P6)>=1) & (tk(P1499)>=1)))) & ((potential((tk(P908)>=1) & (tk(P1322)>=1) & (tk(P1446)>=1) & (tk(P1450)>=1)))) ) | (! ((potential((tk(P6)>=1) & (tk(P1500)>=1))))) ) ) ) ) & (! ( (EX( ( ((potential((tk(P75)>=1) & (tk(P1323)>=1) & (tk(P1322)>=1) & (tk(P1332)>=1) & (tk(P1334)>=1)))) & ((potential((tk(P308)>=1) & (tk(P1322)>=1) & (tk(P1371)>=1) & (tk(P1375)>=1)))) ))) & ( (! ( ((potential((tk(P469)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1391)>=1) & (tk(P1395)>=1)))) | ((potential((tk(P1106)>=1) & (tk(P1322)>=1) & (tk(P1470)>=1) & (tk(P1473)>=1)))) )) & (! (! ((potential((tk(P8)>=1) & (tk(P1512)>=1)))))) ) )) )
PROPERTY: BART-PT-010-CTLFireability-08 (! (! (! (EG( (! ((potential((tk(P115)>=1) & (tk(P1323)>=1) & (tk(P1322)>=1) & (tk(P1339)>=1) & (tk(P1342)>=1))))))))))
PROPERTY: BART-PT-010-CTLFireability-09 ( ((potential((tk(P1079)>=1) & (tk(P1323)>=1) & (tk(P1462)>=1) & (tk(P1466)>=1)))) | (EF( ((potential((tk(P371)>=1) & (tk(P1325)>=1) & (tk(P1324)>=1) & (tk(P1364)>=1) & (tk(P1368)>=1)))))) )
PROPERTY: BART-PT-010-CTLFireability-10 (AF( ((potential((tk(P689)>=1) & (tk(P1324)>=1) & (tk(P1408)>=1) & (tk(P1412)>=1))))))
PROPERTY: BART-PT-010-CTLFireability-11 (! (EF( ( (EF( ((potential((tk(P467)>=1) & (tk(P1322)>=1) & (tk(P1391)>=1) & (tk(P1395)>=1)))))) & (! (! ((potential((tk(P500)>=1) & (tk(P1325)>=1) & (tk(P1324)>=1) & (tk(P1379)>=1) & (tk(P1383)>=1)))))) ))))
PROPERTY: BART-PT-010-CTLFireability-12 (! (EF( ((potential((tk(P30)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1326)>=1) & (tk(P1327)>=1)))))))
PROPERTY: BART-PT-010-CTLFireability-13 (EU( (! (EG( ((potential((tk(P1144)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1474)>=1) & (tk(P1477)>=1))))))) , ( (EG( ((potential((tk(P946)>=1) & (tk(P1322)>=1) & (tk(P1451)>=1) & (tk(P1455)>=1)))))) & ((potential((tk(P985)>=1) & (tk(P1322)>=1) & (tk(P1456)>=1) & (tk(P1460)>=1)))) ) ))
PROPERTY: BART-PT-010-CTLFireability-14 ( ( (! ( (EF( ((potential((tk(P976)>=1) & (tk(P1325)>=1) & (tk(P1324)>=1) & (tk(P1439)>=1) & (tk(P1443)>=1)))))) & ( (! ((potential((tk(P606)>=1) & (tk(P1324)>=1) & (tk(P1398)>=1) & (tk(P1402)>=1))))) | ( ((potential((tk(P58)>=1) & (tk(P1323)>=1) & (tk(P1322)>=1) & (tk(P1329)>=1) & (tk(P1331)>=1)))) | ((potential((tk(P500)>=1) & (tk(P1325)>=1) & (tk(P1324)>=1) & (tk(P1379)>=1) & (tk(P1383)>=1)))) ) ) )) & (EU( ((potential((tk(P8)>=1) & (tk(P1521)>=1)))) , (! ((potential((tk(P569)>=1) & (tk(P1324)>=1) & (tk(P1393)>=1) & (tk(P1397)>=1))))) )) ) | (AF( ( ( (! ((potential((tk(P51)>=1) & (tk(P1323)>=1) & (tk(P1322)>=1) & (tk(P1329)>=1) & (tk(P1331)>=1))))) & ((potential((tk(P546)>=1) & (tk(P1322)>=1) & (tk(P1401)>=1) & (tk(P1405)>=1)))) ) | ((potential((tk(P808)>=1) & (tk(P1324)>=1) & (tk(P1423)>=1) & (tk(P1427)>=1)))) ))) )
PROPERTY: BART-PT-010-CTLFireability-15 ( (AG( (EF( ( ((potential((tk(P621)>=1) & (tk(P1322)>=1) & (tk(P1411)>=1) & (tk(P1415)>=1)))) | ((potential((tk(P2)>=1) & (tk(P1520)>=1)))) ))))) | (AU( ( ( ((potential((tk(P1195)>=1) & (tk(P1323)>=1) & (tk(P1475)>=1) & (tk(P1478)>=1)))) & ((potential((tk(P854)>=1) & (tk(P1325)>=1) & (tk(P1324)>=1) & (tk(P1424)>=1) & (tk(P1428)>=1)))) ) & ( ((potential((tk(P960)>=1) & (tk(P1323)>=1) & (tk(P1447)>=1) & (tk(P1451)>=1)))) & ((potential((tk(P48)>=1) & (tk(P1322)>=1) & (tk(P1321)>=1) & (tk(P1331)>=1) & (tk(P1333)>=1)))) ) ) , (AG( ((potential((tk(P79)>=1) & (tk(P1323)>=1) & (tk(P1322)>=1) & (tk(P1332)>=1) & (tk(P1334)>=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="BART-PT-010"
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 BART-PT-010, 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 r018-oct2-158897679500084"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-010.tgz
mv BART-PT-010 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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;