Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813591300776.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BART-PT-010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591300776
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 896K Feb 26 04:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.2M Feb 26 04:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 615K Feb 26 04:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.9M Feb 26 04:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 242K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 668K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 250K Feb 25 15:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 622K Feb 25 15:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.1M Feb 26 05:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 3.8M Feb 26 05:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1010K Feb 26 04:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 3.4M Feb 26 04:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 92K Feb 25 15:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 187K Feb 25 15:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.4M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678476667539

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BART-PT-010
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 010
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 1 NEW BEST:: SOT 2252375 SOS 1461752 HAS SOPS 1082674 HAS SOUS 1002403 HAS SOUPS 949611 WITH SCORE 951072.752
AT ITER 4 NEW BEST:: SOT 2252502 SOS 1461949 HAS SOPS 1082499 HAS SOUS 1003007 HAS SOUPS 949437 WITH SCORE 950898.949
AT ITER 13 NEW BEST:: SOT 2252502 SOS 1456186 HAS SOPS 1069956 HAS SOUS 1002668 HAS SOUPS 948759 WITH SCORE 950215.186
AT ITER 21 NEW BEST:: SOT 2252654 SOS 1456489 HAS SOPS 1069696 HAS SOUS 1003034 HAS SOUPS 948500 WITH SCORE 949956.489
AT ITER 30 NEW BEST:: SOT 2252354 SOS 1455962 HAS SOPS 1069169 HAS SOUS 1002507 HAS SOUPS 947973 WITH SCORE 949428.962
AT ITER 38 NEW BEST:: SOT 2252408 SOS 1456069 HAS SOPS 1068807 HAS SOUS 1002735 HAS SOUPS 947612 WITH SCORE 949068.069
AT ITER 44 NEW BEST:: SOT 2252494 SOS 1456240 HAS SOPS 1068485 HAS SOUS 1003119 HAS SOUPS 947291 WITH SCORE 948747.24
AT ITER 48 NEW BEST:: SOT 2252242 SOS 1446664 HAS SOPS 1059161 HAS SOUS 1002615 HAS SOUPS 946787 WITH SCORE 948233.664
AT ITER 56 NEW BEST:: SOT 2252317 SOS 1446813 HAS SOPS 1058822 HAS SOUS 1002869 HAS SOUPS 946449 WITH SCORE 947895.813
AT ITER 60 NEW BEST:: SOT 2251773 SOS 1445899 HAS SOPS 1058408 HAS SOUS 1002419 HAS SOUPS 946036 WITH SCORE 947481.899
AT ITER 65 NEW BEST:: SOT 2251773 SOS 1445899 HAS SOPS 1058294 HAS SOUS 1002383 HAS SOUPS 945922 WITH SCORE 947367.899
AT ITER 75 NEW BEST:: SOT 2251773 SOS 1445899 HAS SOPS 1057891 HAS SOUS 1001801 HAS SOUPS 945118 WITH SCORE 946563.899
AT ITER 78 NEW BEST:: SOT 2251773 SOS 1445899 HAS SOPS 1057408 HAS SOUS 1001036 HAS SOUPS 944279 WITH SCORE 945724.899
AT ITER 82 NEW BEST:: SOT 2251773 SOS 1445899 HAS SOPS 1057178 HAS SOUS 1001195 HAS SOUPS 944049 WITH SCORE 945494.899
AT ITER 84 NEW BEST:: SOT 2252166 SOS 1450172 HAS SOPS 1057163 HAS SOUS 1001994 HAS SOUPS 944034 WITH SCORE 945484.172
AT ITER 86 NEW BEST:: SOT 2252166 SOS 1450172 HAS SOPS 1056699 HAS SOUS 1001783 HAS SOUPS 943570 WITH SCORE 945020.172
AT ITER 88 NEW BEST:: SOT 2252166 SOS 1450172 HAS SOPS 1056306 HAS SOUS 1001357 HAS SOUPS 942780 WITH SCORE 944230.172
AT ITER 92 NEW BEST:: SOT 2252194 SOS 1450560 HAS SOPS 1056270 HAS SOUS 1001414 HAS SOUPS 942744 WITH SCORE 944194.56
AT ITER 104 NEW BEST:: SOT 2252194 SOS 1450560 HAS SOPS 1055924 HAS SOUS 1000932 HAS SOUPS 942133 WITH SCORE 943583.56
AT ITER 105 NEW BEST:: SOT 2252194 SOS 1450560 HAS SOPS 1055632 HAS SOUS 1000898 HAS SOUPS 941837 WITH SCORE 943287.56
AT ITER 112 NEW BEST:: SOT 2252194 SOS 1450560 HAS SOPS 1055628 HAS SOUS 1000906 HAS SOUPS 941833 WITH SCORE 943283.56
AT ITER 115 NEW BEST:: SOT 2252235 SOS 1451646 HAS SOPS 1055614 HAS SOUS 1000976 HAS SOUPS 941819 WITH SCORE 943270.646
AT ITER 124 NEW BEST:: SOT 2251728 SOS 1451139 HAS SOPS 1055200 HAS SOUS 1000563 HAS SOUPS 941406 WITH SCORE 942857.139
AT ITER 132 NEW BEST:: SOT 2251863 SOS 1451274 HAS SOPS 1054927 HAS SOUS 1000993 HAS SOUPS 941134 WITH SCORE 942585.274
AT ITER 133 NEW BEST:: SOT 2251863 SOS 1451274 HAS SOPS 1054581 HAS SOUS 1000578 HAS SOUPS 940389 WITH SCORE 941840.274
AT ITER 134 NEW BEST:: SOT 2251575 SOS 1450986 HAS SOPS 1053918 HAS SOUS 1000290 HAS SOUPS 939726 WITH SCORE 941176.986
AT ITER 140 NEW BEST:: SOT 2251575 SOS 1439146 HAS SOPS 1042460 HAS SOUS 1000004 HAS SOUPS 939468 WITH SCORE 940907.146
AT ITER 141 NEW BEST:: SOT 2251575 SOS 1439146 HAS SOPS 1042507 HAS SOUS 999752 HAS SOUPS 939171 WITH SCORE 940610.146
AT ITER 143 NEW BEST:: SOT 2251575 SOS 1439146 HAS SOPS 1042573 HAS SOUS 998929 HAS SOUPS 938827 WITH SCORE 940266.146
AT ITER 152 NEW BEST:: SOT 2251575 SOS 1439146 HAS SOPS 1042832 HAS SOUS 998895 HAS SOUPS 938736 WITH SCORE 940175.146
AT ITER 153 NEW BEST:: SOT 2251575 SOS 1439146 HAS SOPS 1042654 HAS SOUS 998529 HAS SOUPS 938346 WITH SCORE 939785.146
AT ITER 156 NEW BEST:: SOT 2251575 SOS 1439146 HAS SOPS 1042240 HAS SOUS 997794 HAS SOUPS 937519 WITH SCORE 938958.146
AT ITER 161 NEW BEST:: SOT 2251575 SOS 1439146 HAS SOPS 1042052 HAS SOUS 997921 HAS SOUPS 937331 WITH SCORE 938770.146
AT ITER 165 NEW BEST:: SOT 2251375 SOS 1438946 HAS SOPS 1042052 HAS SOUS 997721 HAS SOUPS 937331 WITH SCORE 938769.946
AT ITER 167 NEW BEST:: SOT 2251405 SOS 1439111 HAS SOPS 1041672 HAS SOUS 998011 HAS SOUPS 936952 WITH SCORE 938391.111
AT ITER 169 NEW BEST:: SOT 2251405 SOS 1439111 HAS SOPS 1041794 HAS SOUS 997722 HAS SOUPS 936663 WITH SCORE 938102.111
AT ITER 170 NEW BEST:: SOT 2251405 SOS 1439111 HAS SOPS 1041794 HAS SOUS 997659 HAS SOUPS 936600 WITH SCORE 938039.111
AT ITER 182 NEW BEST:: SOT 2251398 SOS 1439104 HAS SOPS 1041773 HAS SOUS 997652 HAS SOUPS 936579 WITH SCORE 938018.104
AT ITER 185 NEW BEST:: SOT 2251398 SOS 1439104 HAS SOPS 1041570 HAS SOUS 997506 HAS SOUPS 936378 WITH SCORE 937817.104
AT ITER 197 NEW BEST:: SOT 2251398 SOS 1439104 HAS SOPS 1041282 HAS SOUS 997075 HAS SOUPS 935804 WITH SCORE 937243.104
AT ITER 202 NEW BEST:: SOT 2251050 SOS 1438756 HAS SOPS 1040204 HAS SOUS 996379 HAS SOUPS 934412 WITH SCORE 935850.756
AT ITER 203 NEW BEST:: SOT 2251050 SOS 1438756 HAS SOPS 1040400 HAS SOUS 996163 HAS SOUPS 934196 WITH SCORE 935634.756
AT ITER 219 NEW BEST:: SOT 2251050 SOS 1438756 HAS SOPS 1039997 HAS SOUS 995655 HAS SOUPS 933392 WITH SCORE 934830.756
AT ITER 220 NEW BEST:: SOT 2251050 SOS 1438756 HAS SOPS 1039630 HAS SOUS 995289 HAS SOUPS 933026 WITH SCORE 934464.756
AT ITER 224 NEW BEST:: SOT 2251050 SOS 1438756 HAS SOPS 1039224 HAS SOUS 994612 HAS SOUPS 932216 WITH SCORE 933654.756
AT ITER 225 NEW BEST:: SOT 2251112 SOS 1441188 HAS SOPS 1039148 HAS SOUS 994796 HAS SOUPS 932140 WITH SCORE 933581.188
AT ITER 231 NEW BEST:: SOT 2251215 SOS 1441443 HAS SOPS 1039044 HAS SOUS 995012 HAS SOUPS 932036 WITH SCORE 933477.443
AT ITER 236 NEW BEST:: SOT 2251164 SOS 1441392 HAS SOPS 1038993 HAS SOUS 994961 HAS SOUPS 931985 WITH SCORE 933426.392
AT ITER 244 NEW BEST:: SOT 2251164 SOS 1441392 HAS SOPS 1038993 HAS SOUS 994851 HAS SOUPS 931875 WITH SCORE 933316.392
AT ITER 254 NEW BEST:: SOT 2251164 SOS 1441392 HAS SOPS 1039024 HAS SOUS 994470 HAS SOUPS 931494 WITH SCORE 932935.392
AT ITER 257 NEW BEST:: SOT 2251164 SOS 1441392 HAS SOPS 1038383 HAS SOUS 993852 HAS SOUPS 930852 WITH SCORE 932293.392
AT ITER 263 NEW BEST:: SOT 2251164 SOS 1441392 HAS SOPS 1038425 HAS SOUS 993809 HAS SOUPS 930809 WITH SCORE 932250.392
AT ITER 264 NEW BEST:: SOT 2251001 SOS 1441229 HAS SOPS 1038262 HAS SOUS 993646 HAS SOUPS 930646 WITH SCORE 932087.229
AT ITER 267 NEW BEST:: SOT 2250783 SOS 1437846 HAS SOPS 1028490 HAS SOUS 986456 HAS SOUPS 923456 WITH SCORE 924893.846
AT ITER 269 NEW BEST:: SOT 2250783 SOS 1437846 HAS SOPS 1028322 HAS SOUS 986156 HAS SOUPS 923122 WITH SCORE 924559.846
AT ITER 291 NEW BEST:: SOT 2250783 SOS 1437846 HAS SOPS 1027968 HAS SOUS 985731 HAS SOUPS 922416 WITH SCORE 923853.846
AT ITER 293 NEW BEST:: SOT 2250783 SOS 1437846 HAS SOPS 1027639 HAS SOUS 985214 HAS SOUPS 921851 WITH SCORE 923288.846
AT ITER 294 NEW BEST:: SOT 2250783 SOS 1437846 HAS SOPS 1027314 HAS SOUS 984604 HAS SOUPS 921115 WITH SCORE 922552.846
AT ITER 295 NEW BEST:: SOT 2250783 SOS 1437846 HAS SOPS 1027280 HAS SOUS 984377 HAS SOUPS 920882 WITH SCORE 922319.846
AT ITER 297 NEW BEST:: SOT 2250783 SOS 1437846 HAS SOPS 1027095 HAS SOUS 983943 HAS SOUPS 920288 WITH SCORE 921725.846
AT ITER 299 NEW BEST:: SOT 2250783 SOS 1438150 HAS SOPS 1026484 HAS SOUS 983584 HAS SOUPS 919678 WITH SCORE 921116.15
AT ITER 300 NEW BEST:: SOT 2250964 SOS 1438511 HAS SOPS 1026253 HAS SOUS 983354 HAS SOUPS 919448 WITH SCORE 920886.511
AT ITER 310 NEW BEST:: SOT 2250964 SOS 1439042 HAS SOPS 1025970 HAS SOUS 983885 HAS SOUPS 919165 WITH SCORE 920604.042
AT ITER 313 NEW BEST:: SOT 2250964 SOS 1439042 HAS SOPS 1025704 HAS SOUS 983355 HAS SOUPS 918635 WITH SCORE 920074.042
AT ITER 324 NEW BEST:: SOT 2250964 SOS 1439042 HAS SOPS 1025700 HAS SOUS 983380 HAS SOUPS 918631 WITH SCORE 920070.042
AT ITER 326 NEW BEST:: SOT 2250964 SOS 1439042 HAS SOPS 1025660 HAS SOUS 983340 HAS SOUPS 918591 WITH SCORE 920030.042
AT ITER 332 NEW BEST:: SOT 2250964 SOS 1439042 HAS SOPS 1025656 HAS SOUS 983354 HAS SOUPS 918587 WITH SCORE 920026.042
AT ITER 334 NEW BEST:: SOT 2250764 SOS 1438842 HAS SOPS 1025056 HAS SOUS 982939 HAS SOUPS 917901 WITH SCORE 919339.842
AT ITER 336 NEW BEST:: SOT 2250764 SOS 1438842 HAS SOPS 1024725 HAS SOUS 982201 HAS SOUPS 917163 WITH SCORE 918601.842
AT ITER 341 NEW BEST:: SOT 2250995 SOS 1439221 HAS SOPS 1024702 HAS SOUS 982915 HAS SOUPS 917141 WITH SCORE 918580.221
AT ITER 344 NEW BEST:: SOT 2250995 SOS 1439221 HAS SOPS 1024657 HAS SOUS 982870 HAS SOUPS 917096 WITH SCORE 918535.221
AT ITER 347 NEW BEST:: SOT 2251078 SOS 1439494 HAS SOPS 1024501 HAS SOUS 982714 HAS SOUPS 916940 WITH SCORE 918379.494
AT ITER 348 NEW BEST:: SOT 2250854 SOS 1430982 HAS SOPS 1016213 HAS SOUS 982266 HAS SOUPS 916492 WITH SCORE 917922.982
AT ITER 352 NEW BEST:: SOT 2250577 SOS 1430705 HAS SOPS 1015381 HAS SOUS 981586 HAS SOUPS 915384 WITH SCORE 916814.705
AT ITER 357 NEW BEST:: SOT 2250559 SOS 1430687 HAS SOPS 1015363 HAS SOUS 981568 HAS SOUPS 915366 WITH SCORE 916796.687
AT ITER 362 NEW BEST:: SOT 2250559 SOS 1430687 HAS SOPS 1015313 HAS SOUS 981043 HAS SOUPS 914904 WITH SCORE 916334.687
AT ITER 367 NEW BEST:: SOT 2250559 SOS 1430687 HAS SOPS 1015147 HAS SOUS 980908 HAS SOUPS 914739 WITH SCORE 916169.687
AT ITER 373 NEW BEST:: SOT 2250559 SOS 1430687 HAS SOPS 1015144 HAS SOUS 980905 HAS SOUPS 914736 WITH SCORE 916166.687
AT ITER 377 NEW BEST:: SOT 2250559 SOS 1434467 HAS SOPS 1014955 HAS SOUS 980964 HAS SOUPS 914547 WITH SCORE 915981.467
AT ITER 381 NEW BEST:: SOT 2250559 SOS 1434467 HAS SOPS 1014817 HAS SOUS 980541 HAS SOUPS 913998 WITH SCORE 915432.467
AT ITER 383 NEW BEST:: SOT 2250559 SOS 1434467 HAS SOPS 1014755 HAS SOUS 980419 HAS SOUPS 913876 WITH SCORE 915310.467
AT ITER 393 NEW BEST:: SOT 2250615 SOS 1434654 HAS SOPS 1014461 HAS SOUS 980829 HAS SOUPS 913583 WITH SCORE 915017.654
AT ITER 397 NEW BEST:: SOT 2241214 SOS 1425538 HAS SOPS 1005917 HAS SOUS 971713 HAS SOUPS 905039 WITH SCORE 906464.538
AT ITER 400 NEW BEST:: SOT 2240612 SOS 1424936 HAS SOPS 1005507 HAS SOUS 971304 HAS SOUPS 904630 WITH SCORE 906054.936
AT ITER 403 NEW BEST:: SOT 2240598 SOS 1424922 HAS SOPS 1005493 HAS SOUS 971290 HAS SOUPS 904616 WITH SCORE 906040.922
AT ITER 410 NEW BEST:: SOT 2240642 SOS 1424966 HAS SOPS 1005664 HAS SOUS 971238 HAS SOUPS 904527 WITH SCORE 905951.966
AT ITER 413 NEW BEST:: SOT 2240642 SOS 1424966 HAS SOPS 1005444 HAS SOUS 970947 HAS SOUPS 904089 WITH SCORE 905513.966
AT ITER 424 NEW BEST:: SOT 2240533 SOS 1424857 HAS SOPS 1005335 HAS SOUS 970838 HAS SOUPS 903980 WITH SCORE 905404.857
AT ITER 425 NEW BEST:: SOT 2239736 SOS 1424060 HAS SOPS 1004937 HAS SOUS 970441 HAS SOUPS 903583 WITH SCORE 905007.06
AT ITER 432 NEW BEST:: SOT 2239753 SOS 1424149 HAS SOPS 1004863 HAS SOUS 970367 HAS SOUPS 903509 WITH SCORE 904933.149
AT ITER 439 NEW BEST:: SOT 2239010 SOS 1423406 HAS SOPS 1004463 HAS SOUS 969968 HAS SOUPS 903110 WITH SCORE 904533.406
AT ITER 446 NEW BEST:: SOT 2239117 SOS 1423566 HAS SOPS 1004443 HAS SOUS 970305 HAS SOUPS 903090 WITH SCORE 904513.566
AT ITER 447 NEW BEST:: SOT 2239117 SOS 1423566 HAS SOPS 1004329 HAS SOUS 970192 HAS SOUPS 902977 WITH SCORE 904400.566
AT ITER 456 NEW BEST:: SOT 2239117 SOS 1423566 HAS SOPS 1004502 HAS SOUS 970031 HAS SOUPS 902864 WITH SCORE 904287.566
AT ITER 461 NEW BEST:: SOT 2239117 SOS 1423262 HAS SOPS 1004396 HAS SOUS 969926 HAS SOUPS 902759 WITH SCORE 904182.262
AT ITER 465 NEW BEST:: SOT 2239117 SOS 1423262 HAS SOPS 1004028 HAS SOUS 969559 HAS SOUPS 902392 WITH SCORE 903815.262
AT ITER 471 NEW BEST:: SOT 2239117 SOS 1423262 HAS SOPS 1003691 HAS SOUS 969050 HAS SOUPS 901883 WITH SCORE 903306.262
AT ITER 474 NEW BEST:: SOT 2239117 SOS 1423262 HAS SOPS 1003962 HAS SOUS 968749 HAS SOUPS 901582 WITH SCORE 903005.262
AT ITER 477 NEW BEST:: SOT 2239388 SOS 1423757 HAS SOPS 1003907 HAS SOUS 969103 HAS SOUPS 901528 WITH SCORE 902951.757
AT ITER 484 NEW BEST:: SOT 2239084 SOS 1423453 HAS SOPS 1003603 HAS SOUS 968799 HAS SOUPS 901224 WITH SCORE 902647.453
AT ITER 491 NEW BEST:: SOT 2239120 SOS 1424139 HAS SOPS 1003574 HAS SOUS 968900 HAS SOUPS 901195 WITH SCORE 902619.139
AT ITER 497 NEW BEST:: SOT 2238820 SOS 1423839 HAS SOPS 1003574 HAS SOUS 968874 HAS SOUPS 901195 WITH SCORE 902618.839
AT ITER 498 NEW BEST:: SOT 2238912 SOS 1426671 HAS SOPS 1003388 HAS SOUS 969065 HAS SOUPS 901009 WITH SCORE 902435.671
AT ITER 502 NEW BEST:: SOT 2238912 SOS 1427531 HAS SOPS 1003298 HAS SOUS 969061 HAS SOUPS 900919 WITH SCORE 902346.531
AT ITER 506 NEW BEST:: SOT 2238092 SOS 1426711 HAS SOPS 1002744 HAS SOUS 969023 HAS SOUPS 900881 WITH SCORE 902307.711
AT ITER 510 NEW BEST:: SOT 2237967 SOS 1426586 HAS SOPS 1002619 HAS SOUS 969023 HAS SOUPS 900756 WITH SCORE 902182.586
AT ITER 516 NEW BEST:: SOT 2237931 SOS 1426410 HAS SOPS 1002793 HAS SOUS 968897 HAS SOUPS 900700 WITH SCORE 902126.41
AT ITER 522 NEW BEST:: SOT 2237931 SOS 1426410 HAS SOPS 1002540 HAS SOUS 968717 HAS SOUPS 900448 WITH SCORE 901874.41
AT ITER 527 NEW BEST:: SOT 2237931 SOS 1426410 HAS SOPS 1002158 HAS SOUS 968800 HAS SOUPS 900266 WITH SCORE 901692.41
AT ITER 529 NEW BEST:: SOT 2237931 SOS 1426410 HAS SOPS 1002281 HAS SOUS 968799 HAS SOUPS 900265 WITH SCORE 901691.41
AT ITER 532 NEW BEST:: SOT 2237847 SOS 1426326 HAS SOPS 1002115 HAS SOUS 968046 HAS SOUPS 900099 WITH SCORE 901525.326
AT ITER 545 NEW BEST:: SOT 2237847 SOS 1426326 HAS SOPS 1002111 HAS SOUS 968042 HAS SOUPS 900095 WITH SCORE 901521.326
AT ITER 547 NEW BEST:: SOT 2237847 SOS 1426326 HAS SOPS 1001907 HAS SOUS 967979 HAS SOUPS 899766 WITH SCORE 901192.326
AT ITER 552 NEW BEST:: SOT 2237847 SOS 1426326 HAS SOPS 1001574 HAS SOUS 967315 HAS SOUPS 899102 WITH SCORE 900528.326
AT ITER 557 NEW BEST:: SOT 2237537 SOS 1425761 HAS SOPS 1001009 HAS SOUS 966750 HAS SOUPS 898537 WITH SCORE 899962.761
AT ITER 558 NEW BEST:: SOT 2237652 SOS 1426010 HAS SOPS 1000708 HAS SOUS 967016 HAS SOUPS 898237 WITH SCORE 899663.01
AT ITER 561 NEW BEST:: SOT 2237652 SOS 1426010 HAS SOPS 1000624 HAS SOUS 966932 HAS SOUPS 898153 WITH SCORE 899579.01
AT ITER 566 NEW BEST:: SOT 2237662 SOS 1428230 HAS SOPS 1000413 HAS SOUS 966954 HAS SOUPS 897942 WITH SCORE 899370.23
AT ITER 571 NEW BEST:: SOT 2237662 SOS 1428230 HAS SOPS 1000412 HAS SOUS 966784 HAS SOUPS 897772 WITH SCORE 899200.23
AT ITER 577 NEW BEST:: SOT 2237539 SOS 1428107 HAS SOPS 999954 HAS SOUS 966659 HAS SOUPS 897313 WITH SCORE 898741.107
AT ITER 591 NEW BEST:: SOT 2237524 SOS 1428062 HAS SOPS 999983 HAS SOUS 966539 HAS SOUPS 897208 WITH SCORE 898636.062
AT ITER 594 NEW BEST:: SOT 2237985 SOS 1428523 HAS SOPS 999932 HAS SOUS 966527 HAS SOUPS 896975 WITH SCORE 898403.523
AT ITER 603 NEW BEST:: SOT 2237985 SOS 1428523 HAS SOPS 999533 HAS SOUS 965748 HAS SOUPS 896196 WITH SCORE 897624.523
AT ITER 605 NEW BEST:: SOT 2234363 SOS 1425091 HAS SOPS 998749 HAS SOUS 961936 HAS SOUPS 895412 WITH SCORE 896837.091
AT ITER 615 NEW BEST:: SOT 2234384 SOS 1425132 HAS SOPS 998368 HAS SOUS 962474 HAS SOUPS 895156 WITH SCORE 896581.132
AT ITER 618 NEW BEST:: SOT 2234384 SOS 1425132 HAS SOPS 998173 HAS SOUS 962086 HAS SOUPS 894768 WITH SCORE 896193.132
AT ITER 619 NEW BEST:: SOT 2234384 SOS 1425132 HAS SOPS 997968 HAS SOUS 961882 HAS SOUPS 894564 WITH SCORE 895989.132
AT ITER 625 NEW BEST:: SOT 2234580 SOS 1425328 HAS SOPS 997927 HAS SOUS 961647 HAS SOUPS 894525 WITH SCORE 895950.328
AT ITER 635 NEW BEST:: SOT 2234580 SOS 1425328 HAS SOPS 997863 HAS SOUS 961620 HAS SOUPS 894461 WITH SCORE 895886.328
AT ITER 638 NEW BEST:: SOT 2234580 SOS 1425328 HAS SOPS 997310 HAS SOUS 960905 HAS SOUPS 893697 WITH SCORE 895122.328
AT ITER 639 NEW BEST:: SOT 2234580 SOS 1425328 HAS SOPS 996497 HAS SOUS 960492 HAS SOUPS 893284 WITH SCORE 894709.328
AT ITER 640 NEW BEST:: SOT 2234580 SOS 1425328 HAS SOPS 996529 HAS SOUS 960104 HAS SOUPS 892942 WITH SCORE 894367.328
AT ITER 641 NEW BEST:: SOT 2234580 SOS 1425328 HAS SOPS 996014 HAS SOUS 959590 HAS SOUPS 892428 WITH SCORE 893853.328
AT ITER 642 NEW BEST:: SOT 2234693 SOS 1425454 HAS SOPS 995826 HAS SOUS 960125 HAS SOUPS 892241 WITH SCORE 893666.454
AT ITER 663 NEW BEST:: SOT 2234693 SOS 1425454 HAS SOPS 995479 HAS SOUS 959866 HAS SOUPS 891880 WITH SCORE 893305.454
AT ITER 694 NEW BEST:: SOT 2234685 SOS 1425446 HAS SOPS 995494 HAS SOUS 959865 HAS SOUPS 891879 WITH SCORE 893304.446
AT ITER 706 NEW BEST:: SOT 2234837 SOS 1425598 HAS SOPS 995285 HAS SOUS 959945 HAS SOUPS 891861 WITH SCORE 893286.598
AT ITER 707 NEW BEST:: SOT 2234837 SOS 1425598 HAS SOPS 995069 HAS SOUS 959515 HAS SOUPS 891431 WITH SCORE 892856.598
AT ITER 709 NEW BEST:: SOT 2234918 SOS 1425759 HAS SOPS 994742 HAS SOUS 959915 HAS SOUPS 891105 WITH SCORE 892530.759
AT ITER 723 NEW BEST:: SOT 2234918 SOS 1425759 HAS SOPS 994629 HAS SOUS 959801 HAS SOUPS 890991 WITH SCORE 892416.759
AT ITER 729 NEW BEST:: SOT 2234918 SOS 1425759 HAS SOPS 994304 HAS SOUS 959477 HAS SOUPS 890667 WITH SCORE 892092.759
AT ITER 738 NEW BEST:: SOT 2234935 SOS 1425822 HAS SOPS 993909 HAS SOUS 959733 HAS SOUPS 890273 WITH SCORE 891698.822
AT ITER 746 NEW BEST:: SOT 2234790 SOS 1425677 HAS SOPS 993858 HAS SOUS 959682 HAS SOUPS 890222 WITH SCORE 891647.677
AT ITER 748 NEW BEST:: SOT 2234790 SOS 1425677 HAS SOPS 993389 HAS SOUS 959402 HAS SOUPS 889836 WITH SCORE 891261.677
AT ITER 753 NEW BEST:: SOT 2234819 SOS 1426336 HAS SOPS 993355 HAS SOUS 959464 HAS SOUPS 889802 WITH SCORE 891228.336
AT ITER 756 NEW BEST:: SOT 2234819 SOS 1426336 HAS SOPS 993355 HAS SOUS 959379 HAS SOUPS 889717 WITH SCORE 891143.336
AT ITER 757 NEW BEST:: SOT 2234819 SOS 1426336 HAS SOPS 993354 HAS SOUS 959124 HAS SOUPS 889462 WITH SCORE 890888.336
AT ITER 759 NEW BEST:: SOT 2234675 SOS 1419980 HAS SOPS 981990 HAS SOUS 953566 HAS SOUPS 883904 WITH SCORE 885323.98
AT ITER 763 NEW BEST:: SOT 2234916 SOS 1420221 HAS SOPS 981648 HAS SOUS 953325 HAS SOUPS 883663 WITH SCORE 885083.221
AT ITER 785 NEW BEST:: SOT 2235110 SOS 1424595 HAS SOPS 981633 HAS SOUS 953519 HAS SOUPS 883648 WITH SCORE 885072.595
AT ITER 798 NEW BEST:: SOT 2235110 SOS 1424595 HAS SOPS 980949 HAS SOUS 952837 HAS SOUPS 882966 WITH SCORE 884390.595
AT ITER 803 NEW BEST:: SOT 2235110 SOS 1424595 HAS SOPS 980364 HAS SOUS 952350 HAS SOUPS 882293 WITH SCORE 883717.595
AT ITER 805 NEW BEST:: SOT 2235056 SOS 1424541 HAS SOPS 980310 HAS SOUS 952248 HAS SOUPS 882191 WITH SCORE 883615.541
AT ITER 815 NEW BEST:: SOT 2235056 SOS 1424541 HAS SOPS 980246 HAS SOUS 952269 HAS SOUPS 882127 WITH SCORE 883551.541
AT ITER 816 NEW BEST:: SOT 2235056 SOS 1424541 HAS SOPS 980108 HAS SOUS 952269 HAS SOUPS 881989 WITH SCORE 883413.541
AT ITER 824 NEW BEST:: SOT 2235124 SOS 1424676 HAS SOPS 979828 HAS SOUS 952635 HAS SOUPS 881710 WITH SCORE 883134.676
AT ITER 827 NEW BEST:: SOT 2235124 SOS 1424676 HAS SOPS 979472 HAS SOUS 952355 HAS SOUPS 881294 WITH SCORE 882718.676
AT ITER 833 NEW BEST:: SOT 2235124 SOS 1424676 HAS SOPS 979664 HAS SOUS 952296 HAS SOUPS 881241 WITH SCORE 882665.676
AT ITER 835 NEW BEST:: SOT 2235124 SOS 1424676 HAS SOPS 979650 HAS SOUS 952283 HAS SOUPS 881228 WITH SCORE 882652.676
AT ITER 842 NEW BEST:: SOT 2235124 SOS 1424676 HAS SOPS 979479 HAS SOUS 952112 HAS SOUPS 881057 WITH SCORE 882481.676
AT ITER 845 NEW BEST:: SOT 2234485 SOS 1424037 HAS SOPS 979360 HAS SOUS 951850 HAS SOUPS 880938 WITH SCORE 882362.037
AT ITER 849 NEW BEST:: SOT 2234580 SOS 1424226 HAS SOPS 979047 HAS SOUS 951538 HAS SOUPS 880626 WITH SCORE 882050.226
AT ITER 864 NEW BEST:: SOT 2234580 SOS 1424226 HAS SOPS 978670 HAS SOUS 951311 HAS SOUPS 880167 WITH SCORE 881591.226
AT ITER 869 NEW BEST:: SOT 2234580 SOS 1424226 HAS SOPS 978296 HAS SOUS 950565 HAS SOUPS 879421 WITH SCORE 880845.226
AT ITER 887 NEW BEST:: SOT 2234499 SOS 1421148 HAS SOPS 975299 HAS SOUS 950403 HAS SOUPS 879259 WITH SCORE 880680.148
AT ITER 888 NEW BEST:: SOT 2234305 SOS 1420954 HAS SOPS 974911 HAS SOUS 950015 HAS SOUPS 878871 WITH SCORE 880291.954
AT ITER 895 NEW BEST:: SOT 2234305 SOS 1420954 HAS SOPS 974862 HAS SOUS 950011 HAS SOUPS 878822 WITH SCORE 880242.954
AT ITER 897 NEW BEST:: SOT 2234229 SOS 1420878 HAS SOPS 974710 HAS SOUS 950231 HAS SOUPS 878670 WITH SCORE 880090.878
AT ITER 903 NEW BEST:: SOT 2234240 SOS 1422659 HAS SOPS 974367 HAS SOUS 950065 HAS SOUPS 878327 WITH SCORE 879749.659
AT ITER 917 NEW BEST:: SOT 2234240 SOS 1422659 HAS SOPS 974438 HAS SOUS 950064 HAS SOUPS 878326 WITH SCORE 879748.659
AT ITER 920 NEW BEST:: SOT 2233758 SOS 1422177 HAS SOPS 974038 HAS SOUS 949665 HAS SOUPS 877927 WITH SCORE 879349.177
AT ITER 924 NEW BEST:: SOT 2233758 SOS 1422177 HAS SOPS 974037 HAS SOUS 949358 HAS SOUPS 877619 WITH SCORE 879041.177
AT ITER 925 NEW BEST:: SOT 2233758 SOS 1422177 HAS SOPS 973672 HAS SOUS 948708 HAS SOUPS 876843 WITH SCORE 878265.177
AT ITER 928 NEW BEST:: SOT 2234177 SOS 1422596 HAS SOPS 973690 HAS SOUS 948415 HAS SOUPS 876463 WITH SCORE 877885.596
AT ITER 948 NEW BEST:: SOT 2234177 SOS 1422596 HAS SOPS 973689 HAS SOUS 948411 HAS SOUPS 876459 WITH SCORE 877881.596
AT ITER 954 NEW BEST:: SOT 2233990 SOS 1421750 HAS SOPS 974249 HAS SOUS 948025 HAS SOUPS 876388 WITH SCORE 877809.75
AT ITER 958 NEW BEST:: SOT 2234239 SOS 1422247 HAS SOPS 974176 HAS SOUS 948543 HAS SOUPS 876316 WITH SCORE 877738.247
AT ITER 962 NEW BEST:: SOT 2234064 SOS 1422072 HAS SOPS 974010 HAS SOUS 948351 HAS SOUPS 876150 WITH SCORE 877572.072
AT ITER 964 NEW BEST:: SOT 2234064 SOS 1422072 HAS SOPS 973848 HAS SOUS 948189 HAS SOUPS 875988 WITH SCORE 877410.072
AT ITER 971 NEW BEST:: SOT 2233822 SOS 1416687 HAS SOPS 968638 HAS SOUS 947669 HAS SOUPS 875643 WITH SCORE 877059.687
AT ITER 981 NEW BEST:: SOT 2233555 SOS 1416420 HAS SOPS 968104 HAS SOUS 947372 HAS SOUPS 875109 WITH SCORE 876525.42
AT ITER 986 NEW BEST:: SOT 2233653 SOS 1416615 HAS SOPS 967796 HAS SOUS 947842 HAS SOUPS 874802 WITH SCORE 876218.615
AT ITER 988 NEW BEST:: SOT 2233800 SOS 1416908 HAS SOPS 967533 HAS SOUS 947610 HAS SOUPS 874540 WITH SCORE 875956.908
AT ITER 998 NEW BEST:: SOT 2233703 SOS 1416811 HAS SOPS 967512 HAS SOUS 947513 HAS SOUPS 874519 WITH SCORE 875935.811
AT ITER 1001 NEW BEST:: SOT 2233703 SOS 1416811 HAS SOPS 967107 HAS SOUS 946739 HAS SOUPS 873711 WITH SCORE 875127.811
AT ITER 1004 NEW BEST:: SOT 2233616 SOS 1416724 HAS SOPS 967020 HAS SOUS 946652 HAS SOUPS 873624 WITH SCORE 875040.724
AT ITER 1018 NEW BEST:: SOT 2233609 SOS 1416306 HAS SOPS 967286 HAS SOUS 945953 HAS SOUPS 873062 WITH SCORE 874478.306
AT ITER 1032 NEW BEST:: SOT 2233609 SOS 1416306 HAS SOPS 967285 HAS SOUS 945849 HAS SOUPS 872957 WITH SCORE 874373.306
AT ITER 1035 NEW BEST:: SOT 2233609 SOS 1416306 HAS SOPS 967410 HAS SOUS 945814 HAS SOUPS 872956 WITH SCORE 874372.306
AT ITER 1037 NEW BEST:: SOT 2233609 SOS 1416306 HAS SOPS 967330 HAS SOUS 945801 HAS SOUPS 872876 WITH SCORE 874292.306
AT ITER 1039 NEW BEST:: SOT 2233934 SOS 1416933 HAS SOPS 966532 HAS SOUS 946590 HAS SOUPS 872079 WITH SCORE 873495.933
AT ITER 1040 NEW BEST:: SOT 2233934 SOS 1416933 HAS SOPS 966926 HAS SOUS 946578 HAS SOUPS 872067 WITH SCORE 873483.933
AT ITER 1041 NEW BEST:: SOT 2233743 SOS 1416742 HAS SOPS 966735 HAS SOUS 946387 HAS SOUPS 871876 WITH SCORE 873292.742
AT ITER 1045 NEW BEST:: SOT 2233829 SOS 1419028 HAS SOPS 966378 HAS SOUS 946428 HAS SOUPS 871519 WITH SCORE 872938.028
AT ITER 1047 NEW BEST:: SOT 2233829 SOS 1419028 HAS SOPS 966378 HAS SOUS 946376 HAS SOUPS 871467 WITH SCORE 872886.028
AT ITER 1055 NEW BEST:: SOT 2233829 SOS 1419028 HAS SOPS 966028 HAS SOUS 945775 HAS SOUPS 870769 WITH SCORE 872188.028
AT ITER 1056 NEW BEST:: SOT 2233880 SOS 1420489 HAS SOPS 965964 HAS SOUS 945785 HAS SOUPS 870705 WITH SCORE 872125.489
AT ITER 1057 NEW BEST:: SOT 2233719 SOS 1414375 HAS SOPS 960007 HAS SOUS 945463 HAS SOUPS 870383 WITH SCORE 871797.375
AT ITER 1058 NEW BEST:: SOT 2233719 SOS 1414375 HAS SOPS 959675 HAS SOUS 944722 HAS SOUPS 869642 WITH SCORE 871056.375
AT ITER 1059 NEW BEST:: SOT 2233796 SOS 1414528 HAS SOPS 959344 HAS SOUS 944463 HAS SOUPS 869312 WITH SCORE 870726.528
AT ITER 1079 NEW BEST:: SOT 2233959 SOS 1414691 HAS SOPS 959081 HAS SOUS 944363 HAS SOUPS 869212 WITH SCORE 870626.691
AT ITER 1090 NEW BEST:: SOT 2233959 SOS 1414691 HAS SOPS 958521 HAS SOUS 943939 HAS SOUPS 868508 WITH SCORE 869922.691
AT ITER 1091 NEW BEST:: SOT 2234032 SOS 1414764 HAS SOPS 958188 HAS SOUS 943631 HAS SOUPS 868176 WITH SCORE 869590.764
AT ITER 1092 NEW BEST:: SOT 2234032 SOS 1414764 HAS SOPS 957656 HAS SOUS 943314 HAS SOUPS 867788 WITH SCORE 869202.764
AT ITER 1093 NEW BEST:: SOT 2234032 SOS 1414764 HAS SOPS 957638 HAS SOUS 943305 HAS SOUPS 867779 WITH SCORE 869193.764
AT ITER 1099 NEW BEST:: SOT 2234107 SOS 1417490 HAS SOPS 957438 HAS SOUS 943245 HAS SOUPS 867579 WITH SCORE 868996.49
AT ITER 1105 NEW BEST:: SOT 2234107 SOS 1417490 HAS SOPS 957129 HAS SOUS 942919 HAS SOUPS 867183 WITH SCORE 868600.49
AT ITER 1106 NEW BEST:: SOT 2234107 SOS 1417490 HAS SOPS 956421 HAS SOUS 942376 HAS SOUPS 866492 WITH SCORE 867909.49
AT ITER 1109 NEW BEST:: SOT 2234109 SOS 1417492 HAS SOPS 956024 HAS SOUS 941759 HAS SOUPS 865699 WITH SCORE 867116.492
AT ITER 1117 NEW BEST:: SOT 2234109 SOS 1417492 HAS SOPS 956097 HAS SOUS 941758 HAS SOUPS 865698 WITH SCORE 867115.492
AT ITER 1120 NEW BEST:: SOT 2233678 SOS 1417061 HAS SOPS 955960 HAS SOUS 941622 HAS SOUPS 865562 WITH SCORE 866979.061
AT ITER 1125 NEW BEST:: SOT 2233548 SOS 1416931 HAS SOPS 955830 HAS SOUS 941348 HAS SOUPS 865318 WITH SCORE 866734.931
AT ITER 1127 NEW BEST:: SOT 2233456 SOS 1416627 HAS SOPS 954951 HAS SOUS 940614 HAS SOUPS 864584 WITH SCORE 866000.627
AT ITER 1138 NEW BEST:: SOT 2233456 SOS 1416627 HAS SOPS 955012 HAS SOUS 940275 HAS SOUPS 864245 WITH SCORE 865661.627
AT ITER 1139 NEW BEST:: SOT 2233456 SOS 1416627 HAS SOPS 955385 HAS SOUS 939901 HAS SOUPS 863871 WITH SCORE 865287.627
AT ITER 1144 NEW BEST:: SOT 2233454 SOS 1416551 HAS SOPS 955311 HAS SOUS 939897 HAS SOUPS 863867 WITH SCORE 865283.551
AT ITER 1147 NEW BEST:: SOT 2233458 SOS 1416996 HAS SOPS 955266 HAS SOUS 939901 HAS SOUPS 863822 WITH SCORE 865238.996
AT ITER 1150 NEW BEST:: SOT 2233458 SOS 1416996 HAS SOPS 955175 HAS SOUS 939811 HAS SOUPS 863732 WITH SCORE 865148.996
AT ITER 1166 NEW BEST:: SOT 2233458 SOS 1416996 HAS SOPS 954927 HAS SOUS 939563 HAS SOUPS 863484 WITH SCORE 864900.996
AT ITER 1170 NEW BEST:: SOT 2233458 SOS 1416996 HAS SOPS 954783 HAS SOUS 939419 HAS SOUPS 863340 WITH SCORE 864756.996
AT ITER 1173 NEW BEST:: SOT 2233458 SOS 1416996 HAS SOPS 954731 HAS SOUS 939315 HAS SOUPS 863236 WITH SCORE 864652.996
AT ITER 1177 NEW BEST:: SOT 2233458 SOS 1416996 HAS SOPS 954593 HAS SOUS 939179 HAS SOUPS 863098 WITH SCORE 864514.996
AT ITER 1178 NEW BEST:: SOT 2233458 SOS 1416996 HAS SOPS 954592 HAS SOUS 939178 HAS SOUPS 863097 WITH SCORE 864513.996
AT ITER 1179 NEW BEST:: SOT 2233458 SOS 1416996 HAS SOPS 954592 HAS SOUS 939061 HAS SOUPS 862980 WITH SCORE 864396.996
AT ITER 1185 NEW BEST:: SOT 2233458 SOS 1416996 HAS SOPS 954700 HAS SOUS 938770 HAS SOUPS 862738 WITH SCORE 864154.996
AT ITER 1186 NEW BEST:: SOT 2233464 SOS 1417027 HAS SOPS 954456 HAS SOUS 939350 HAS SOUPS 862599 WITH SCORE 864016.027
AT ITER 1191 NEW BEST:: SOT 2233464 SOS 1417027 HAS SOPS 954377 HAS SOUS 939271 HAS SOUPS 862520 WITH SCORE 863937.027
AT ITER 1195 NEW BEST:: SOT 2233464 SOS 1417027 HAS SOPS 954454 HAS SOUS 939270 HAS SOUPS 862519 WITH SCORE 863936.027
AT ITER 1196 NEW BEST:: SOT 2233464 SOS 1417027 HAS SOPS 954019 HAS SOUS 939042 HAS SOUPS 862207 WITH SCORE 863624.027
AT ITER 1198 NEW BEST:: SOT 2233464 SOS 1417027 HAS SOPS 953234 HAS SOUS 938680 HAS SOUPS 861845 WITH SCORE 863262.027
AT ITER 1201 NEW BEST:: SOT 2233464 SOS 1408184 HAS SOPS 944683 HAS SOUS 938494 HAS SOUPS 861659 WITH SCORE 863067.184
AT ITER 1204 NEW BEST:: SOT 2233464 SOS 1408184 HAS SOPS 944597 HAS SOUS 938437 HAS SOUPS 861573 WITH SCORE 862981.184
AT ITER 1205 NEW BEST:: SOT 2237411 SOS 1411889 HAS SOPS 944021 HAS SOUS 942384 HAS SOUPS 860997 WITH SCORE 862408.889
AT ITER 1210 NEW BEST:: SOT 2237411 SOS 1411889 HAS SOPS 943823 HAS SOUS 942222 HAS SOUPS 860801 WITH SCORE 862212.889
AT ITER 1213 NEW BEST:: SOT 2237497 SOS 1412031 HAS SOPS 943782 HAS SOUS 942196 HAS SOUPS 860760 WITH SCORE 862172.031
AT ITER 1223 NEW BEST:: SOT 2237300 SOS 1411834 HAS SOPS 943032 HAS SOUS 941414 HAS SOUPS 859720 WITH SCORE 861131.834
AT ITER 1226 NEW BEST:: SOT 2237300 SOS 1411834 HAS SOPS 942960 HAS SOUS 941342 HAS SOUPS 859648 WITH SCORE 861059.834
AT ITER 1231 NEW BEST:: SOT 2237300 SOS 1411834 HAS SOPS 942186 HAS SOUS 941072 HAS SOUPS 859335 WITH SCORE 860746.834
AT ITER 1233 NEW BEST:: SOT 2237300 SOS 1411834 HAS SOPS 941788 HAS SOUS 941068 HAS SOUPS 858937 WITH SCORE 860348.834
AT ITER 1234 NEW BEST:: SOT 2237113 SOS 1411691 HAS SOPS 941457 HAS SOUS 940737 HAS SOUPS 858419 WITH SCORE 859830.691
AT ITER 1245 NEW BEST:: SOT 2237191 SOS 1411769 HAS SOPS 941290 HAS SOUS 940935 HAS SOUPS 858252 WITH SCORE 859663.769
AT ITER 1247 NEW BEST:: SOT 2237191 SOS 1411769 HAS SOPS 941138 HAS SOUS 940935 HAS SOUPS 858100 WITH SCORE 859511.769
AT ITER 1251 NEW BEST:: SOT 2237191 SOS 1411769 HAS SOPS 940942 HAS SOUS 940545 HAS SOUPS 857710 WITH SCORE 859121.769
AT ITER 1254 NEW BEST:: SOT 2237191 SOS 1411769 HAS SOPS 940795 HAS SOUS 940592 HAS SOUPS 857681 WITH SCORE 859092.769
AT ITER 1258 NEW BEST:: SOT 2237191 SOS 1411769 HAS SOPS 940531 HAS SOUS 940416 HAS SOUPS 857505 WITH SCORE 858916.769
AT ITER 1262 NEW BEST:: SOT 2237005 SOS 1411583 HAS SOPS 939473 HAS SOUS 939866 HAS SOUPS 856755 WITH SCORE 858166.583
AT ITER 1272 NEW BEST:: SOT 2237005 SOS 1411583 HAS SOPS 939392 HAS SOUS 939574 HAS SOUPS 856463 WITH SCORE 857874.583
AT ITER 1275 NEW BEST:: SOT 2236730 SOS 1411308 HAS SOPS 938862 HAS SOUS 939291 HAS SOUPS 856174 WITH SCORE 857585.308
AT ITER 1283 NEW BEST:: SOT 2236730 SOS 1411308 HAS SOPS 939129 HAS SOUS 939290 HAS SOUPS 856173 WITH SCORE 857584.308
AT ITER 1285 NEW BEST:: SOT 2236326 SOS 1410904 HAS SOPS 939129 HAS SOUS 939290 HAS SOUPS 856173 WITH SCORE 857583.904
AT ITER 1289 NEW BEST:: SOT 2236558 SOS 1410581 HAS SOPS 939566 HAS SOUS 938271 HAS SOUPS 855383 WITH SCORE 856793.581
AT ITER 1295 NEW BEST:: SOT 2236558 SOS 1410581 HAS SOPS 939566 HAS SOUS 938255 HAS SOUPS 855367 WITH SCORE 856777.581
AT ITER 1299 NEW BEST:: SOT 2236558 SOS 1410581 HAS SOPS 939407 HAS SOUS 938097 HAS SOUPS 855208 WITH SCORE 856618.581
AT ITER 1300 NEW BEST:: SOT 2236558 SOS 1410581 HAS SOPS 938369 HAS SOUS 937931 HAS SOUPS 854524 WITH SCORE 855934.581
AT ITER 1304 NEW BEST:: SOT 2236558 SOS 1410581 HAS SOPS 937981 HAS SOUS 937648 HAS SOUPS 854137 WITH SCORE 855547.581
AT ITER 1313 NEW BEST:: SOT 2236525 SOS 1410548 HAS SOPS 937914 HAS SOUS 937614 HAS SOUPS 854103 WITH SCORE 855513.548
AT ITER 1314 NEW BEST:: SOT 2236584 SOS 1410672 HAS SOPS 937785 HAS SOUS 938192 HAS SOUPS 853974 WITH SCORE 855384.672
AT ITER 1317 NEW BEST:: SOT 2236584 SOS 1410672 HAS SOPS 937171 HAS SOUS 937519 HAS SOUPS 853301 WITH SCORE 854711.672
AT ITER 1320 NEW BEST:: SOT 2236584 SOS 1410672 HAS SOPS 937146 HAS SOUS 937519 HAS SOUPS 853276 WITH SCORE 854686.672
AT ITER 1321 NEW BEST:: SOT 2236023 SOS 1410111 HAS SOPS 936880 HAS SOUS 937254 HAS SOUPS 853011 WITH SCORE 854421.111
AT ITER 1325 NEW BEST:: SOT 2236023 SOS 1410111 HAS SOPS 936803 HAS SOUS 937259 HAS SOUPS 852936 WITH SCORE 854346.111
AT ITER 1335 NEW BEST:: SOT 2236023 SOS 1410111 HAS SOPS 936664 HAS SOUS 937049 HAS SOUPS 852797 WITH SCORE 854207.111
AT ITER 1347 NEW BEST:: SOT 2236014 SOS 1410038 HAS SOPS 936617 HAS SOUS 937002 HAS SOUPS 852750 WITH SCORE 854160.038
AT ITER 1349 NEW BEST:: SOT 2236014 SOS 1410038 HAS SOPS 936779 HAS SOUS 937001 HAS SOUPS 852749 WITH SCORE 854159.038
AT ITER 1351 NEW BEST:: SOT 2236014 SOS 1410038 HAS SOPS 936762 HAS SOUS 936984 HAS SOUPS 852732 WITH SCORE 854142.038
AT ITER 1360 NEW BEST:: SOT 2236037 SOS 1409863 HAS SOPS 936851 HAS SOUS 936634 HAS SOUPS 852448 WITH SCORE 853857.863
AT ITER 1369 NEW BEST:: SOT 2236217 SOS 1409647 HAS SOPS 937124 HAS SOUS 936164 HAS SOUPS 852110 WITH SCORE 853519.647
AT ITER 1372 NEW BEST:: SOT 2236225 SOS 1409955 HAS SOPS 937102 HAS SOUS 936172 HAS SOUPS 852088 WITH SCORE 853497.955
AT ITER 1378 NEW BEST:: SOT 2236225 SOS 1410062 HAS SOPS 937098 HAS SOUS 936180 HAS SOUPS 852084 WITH SCORE 853494.062
AT ITER 1388 NEW BEST:: SOT 2236225 SOS 1410062 HAS SOPS 936973 HAS SOUS 936031 HAS SOUPS 851959 WITH SCORE 853369.062
AT ITER 1391 NEW BEST:: SOT 2236437 SOS 1414743 HAS SOPS 936952 HAS SOUS 936268 HAS SOUPS 851938 WITH SCORE 853352.743
AT ITER 1397 NEW BEST:: SOT 2236139 SOS 1414445 HAS SOPS 936467 HAS SOUS 935757 HAS SOUPS 851453 WITH SCORE 852867.445
AT ITER 1409 NEW BEST:: SOT 2235278 SOS 1413584 HAS SOPS 936269 HAS SOUS 934896 HAS SOUPS 851255 WITH SCORE 852668.584
AT ITER 1412 NEW BEST:: SOT 2235291 SOS 1415637 HAS SOPS 935889 HAS SOUS 934829 HAS SOUPS 850875 WITH SCORE 852290.637
AT ITER 1413 NEW BEST:: SOT 2235122 SOS 1415468 HAS SOPS 935251 HAS SOUS 934290 HAS SOUPS 850135 WITH SCORE 851550.468
AT ITER 1414 NEW BEST:: SOT 2234900 SOS 1414736 HAS SOPS 935251 HAS SOUS 934053 HAS SOUPS 850135 WITH SCORE 851549.736
AT ITER 1418 NEW BEST:: SOT 2234900 SOS 1414736 HAS SOPS 935455 HAS SOUS 934052 HAS SOUPS 850134 WITH SCORE 851548.736
AT ITER 1422 NEW BEST:: SOT 2235149 SOS 1415228 HAS SOPS 935300 HAS SOUS 933898 HAS SOUPS 849980 WITH SCORE 851395.228
AT ITER 1423 NEW BEST:: SOT 2234958 SOS 1415037 HAS SOPS 935094 HAS SOUS 933597 HAS SOUPS 849488 WITH SCORE 850903.037
AT ITER 1425 NEW BEST:: SOT 2235242 SOS 1414667 HAS SOPS 935950 HAS SOUS 931961 HAS SOUPS 848424 WITH SCORE 849838.667
AT ITER 1432 NEW BEST:: SOT 2235242 SOS 1414667 HAS SOPS 935820 HAS SOUS 931827 HAS SOUPS 848420 WITH SCORE 849834.667
AT ITER 1437 NEW BEST:: SOT 2235259 SOS 1414885 HAS SOPS 935609 HAS SOUS 931633 HAS SOUPS 848209 WITH SCORE 849623.885
AT ITER 1441 NEW BEST:: SOT 2235259 SOS 1414885 HAS SOPS 935364 HAS SOUS 931532 HAS SOUPS 847964 WITH SCORE 849378.885
AT ITER 1445 NEW BEST:: SOT 2235259 SOS 1414885 HAS SOPS 935092 HAS SOUS 931260 HAS SOUPS 847692 WITH SCORE 849106.885
AT ITER 1452 NEW BEST:: SOT 2235244 SOS 1414870 HAS SOPS 935062 HAS SOUS 931234 HAS SOUPS 847662 WITH SCORE 849076.87
AT ITER 1457 NEW BEST:: SOT 2235261 SOS 1414904 HAS SOPS 934808 HAS SOUS 930980 HAS SOUPS 847408 WITH SCORE 848822.904
AT ITER 1464 NEW BEST:: SOT 2235261 SOS 1414904 HAS SOPS 934620 HAS SOUS 930793 HAS SOUPS 847221 WITH SCORE 848635.904
AT ITER 1466 NEW BEST:: SOT 2235423 SOS 1415066 HAS SOPS 934104 HAS SOUS 930488 HAS SOUPS 846705 WITH SCORE 848120.066
AT ITER 1480 NEW BEST:: SOT 2235287 SOS 1414930 HAS SOPS 933968 HAS SOUS 930116 HAS SOUPS 846433 WITH SCORE 847847.93
AT ITER 1484 NEW BEST:: SOT 2235071 SOS 1414714 HAS SOPS 933968 HAS SOUS 930116 HAS SOUPS 846433 WITH SCORE 847847.714
AT ITER 1486 NEW BEST:: SOT 2235071 SOS 1414714 HAS SOPS 933922 HAS SOUS 929826 HAS SOUPS 846387 WITH SCORE 847801.714
AT ITER 1487 NEW BEST:: SOT 2235071 SOS 1414714 HAS SOPS 933921 HAS SOUS 929825 HAS SOUPS 846386 WITH SCORE 847800.714
AT ITER 1493 NEW BEST:: SOT 2235071 SOS 1414714 HAS SOPS 933910 HAS SOUS 929814 HAS SOUPS 846375 WITH SCORE 847789.714
AT ITER 1498 NEW BEST:: SOT 2235063 SOS 1414896 HAS SOPS 933892 HAS SOUS 929806 HAS SOUPS 846357 WITH SCORE 847771.896
AT ITER 1511 NEW BEST:: SOT 2235063 SOS 1414896 HAS SOPS 933891 HAS SOUS 929698 HAS SOUPS 846249 WITH SCORE 847663.896
AT ITER 1513 NEW BEST:: SOT 2136259 SOS 1517610 HAS SOPS 834147 HAS SOUS 831094 HAS SOUPS 746505 WITH SCORE 748022.61
AT ITER 1515 NEW BEST:: SOT 2136036 SOS 1517387 HAS SOPS 833564 HAS SOUS 830430 HAS SOUPS 745841 WITH SCORE 747358.387
AT ITER 1516 NEW BEST:: SOT 2135626 SOS 1516977 HAS SOPS 832265 HAS SOUS 829677 HAS SOUPS 745088 WITH SCORE 746604.977
AT ITER 1520 NEW BEST:: SOT 2135603 SOS 1516954 HAS SOPS 832219 HAS SOUS 829409 HAS SOUPS 744926 WITH SCORE 746442.954
AT ITER 1534 NEW BEST:: SOT 2135392 SOS 1516743 HAS SOPS 831793 HAS SOUS 829178 HAS SOUPS 744695 WITH SCORE 746211.743
AT ITER 1535 NEW BEST:: SOT 2134648 SOS 1515999 HAS SOPS 831049 HAS SOUS 828434 HAS SOUPS 743951 WITH SCORE 745466.999
AT ITER 1537 NEW BEST:: SOT 2134396 SOS 1515747 HAS SOPS 830797 HAS SOUS 827930 HAS SOUPS 743447 WITH SCORE 744962.747
AT ITER 1542 NEW BEST:: SOT 2134396 SOS 1515747 HAS SOPS 830726 HAS SOUS 827929 HAS SOUPS 743446 WITH SCORE 744961.747
AT ITER 1544 NEW BEST:: SOT 2134917 SOS 1516508 HAS SOPS 830628 HAS SOUS 828302 HAS SOUPS 743348 WITH SCORE 744864.508
AT ITER 1548 NEW BEST:: SOT 2134949 SOS 1516597 HAS SOPS 830530 HAS SOUS 828204 HAS SOUPS 743250 WITH SCORE 744766.597
AT ITER 1551 NEW BEST:: SOT 2138036 SOS 1519387 HAS SOPS 829734 HAS SOUS 827631 HAS SOUPS 742500 WITH SCORE 744019.387
AT ITER 1559 NEW BEST:: SOT 2138103 SOS 1519454 HAS SOPS 829138 HAS SOUS 827506 HAS SOUPS 742375 WITH SCORE 743894.454
AT ITER 1571 NEW BEST:: SOT 2138054 SOS 1519405 HAS SOPS 828775 HAS SOUS 827144 HAS SOUPS 742013 WITH SCORE 743532.405
AT ITER 1572 NEW BEST:: SOT 2138080 SOS 1521301 HAS SOPS 828467 HAS SOUS 827084 HAS SOUPS 741705 WITH SCORE 743226.301
AT ITER 1576 NEW BEST:: SOT 2137696 SOS 1520917 HAS SOPS 827699 HAS SOUS 826700 HAS SOUPS 741321 WITH SCORE 742841.917
AT ITER 1582 NEW BEST:: SOT 2137696 SOS 1522494 HAS SOPS 827544 HAS SOUS 826628 HAS SOUPS 741166 WITH SCORE 742688.494
AT ITER 1586 NEW BEST:: SOT 2137696 SOS 1522494 HAS SOPS 826479 HAS SOUS 826042 HAS SOUPS 740386 WITH SCORE 741908.494
AT ITER 1597 NEW BEST:: SOT 2137793 SOS 1522700 HAS SOPS 826412 HAS SOUS 826110 HAS SOUPS 740319 WITH SCORE 741841.7
AT ITER 1598 NEW BEST:: SOT 2137603 SOS 1522510 HAS SOPS 826140 HAS SOUS 825925 HAS SOUPS 740134 WITH SCORE 741656.51
AT ITER 1604 NEW BEST:: SOT 2137525 SOS 1522432 HAS SOPS 825945 HAS SOUS 825802 HAS SOUPS 739978 WITH SCORE 741500.432
AT ITER 1609 NEW BEST:: SOT 2137471 SOS 1522378 HAS SOPS 825837 HAS SOUS 825695 HAS SOUPS 739871 WITH SCORE 741393.378
AT ITER 1611 NEW BEST:: SOT 2137016 SOS 1521923 HAS SOPS 825471 HAS SOUS 825474 HAS SOUPS 739650 WITH SCORE 741171.923
AT ITER 1612 NEW BEST:: SOT 2137058 SOS 1524515 HAS SOPS 825254 HAS SOUS 825596 HAS SOUPS 739433 WITH SCORE 740957.515
AT ITER 1622 NEW BEST:: SOT 2136921 SOS 1524378 HAS SOPS 824980 HAS SOUS 825271 HAS SOUPS 739022 WITH SCORE 740546.378
AT ITER 1625 NEW BEST:: SOT 2136890 SOS 1524347 HAS SOPS 824862 HAS SOUS 825272 HAS SOUPS 738904 WITH SCORE 740428.347
AT ITER 1631 NEW BEST:: SOT 2136890 SOS 1524347 HAS SOPS 824653 HAS SOUS 824884 HAS SOUPS 738488 WITH SCORE 740012.347
AT ITER 1638 NEW BEST:: SOT 2136626 SOS 1524083 HAS SOPS 824107 HAS SOUS 824529 HAS SOUPS 737942 WITH SCORE 739466.083
AT ITER 1640 NEW BEST:: SOT 2136605 SOS 1524062 HAS SOPS 824086 HAS SOUS 824472 HAS SOUPS 737921 WITH SCORE 739445.062
AT ITER 1642 NEW BEST:: SOT 2136661 SOS 1524118 HAS SOPS 823940 HAS SOUS 824406 HAS SOUPS 737860 WITH SCORE 739384.118
AT ITER 1647 NEW BEST:: SOT 2136677 SOS 1524134 HAS SOPS 823838 HAS SOUS 824304 HAS SOUPS 737758 WITH SCORE 739282.134
AT ITER 1650 NEW BEST:: SOT 2136631 SOS 1524088 HAS SOPS 823746 HAS SOUS 824254 HAS SOUPS 737708 WITH SCORE 739232.088
AT ITER 1651 NEW BEST:: SOT 2136625 SOS 1524082 HAS SOPS 823740 HAS SOUS 824242 HAS SOUPS 737696 WITH SCORE 739220.082
AT ITER 1657 NEW BEST:: SOT 2136262 SOS 1523719 HAS SOPS 822963 HAS SOUS 824254 HAS SOUPS 737088 WITH SCORE 738611.719
AT ITER 1658 NEW BEST:: SOT 2135846 SOS 1523303 HAS SOPS 822696 HAS SOUS 823670 HAS SOUPS 736504 WITH SCORE 738027.303
AT ITER 1665 NEW BEST:: SOT 2135846 SOS 1523303 HAS SOPS 822708 HAS SOUS 823628 HAS SOUPS 736462 WITH SCORE 737985.303
AT ITER 1673 NEW BEST:: SOT 2135676 SOS 1523133 HAS SOPS 822420 HAS SOUS 823458 HAS SOUPS 736292 WITH SCORE 737815.133
AT ITER 1694 NEW BEST:: SOT 2135676 SOS 1523133 HAS SOPS 822292 HAS SOUS 823330 HAS SOUPS 736164 WITH SCORE 737687.133
AT ITER 1698 NEW BEST:: SOT 2135519 SOS 1522976 HAS SOPS 821978 HAS SOUS 823015 HAS SOUPS 735849 WITH SCORE 737371.976
AT ITER 1708 NEW BEST:: SOT 2135407 SOS 1522864 HAS SOPS 821582 HAS SOUS 823220 HAS SOUPS 735454 WITH SCORE 736976.864
AT ITER 1709 NEW BEST:: SOT 2135254 SOS 1522711 HAS SOPS 821276 HAS SOUS 823072 HAS SOUPS 735301 WITH SCORE 736823.711
AT ITER 1711 NEW BEST:: SOT 2135248 SOS 1522705 HAS SOPS 821276 HAS SOUS 823066 HAS SOUPS 735301 WITH SCORE 736823.705
AT ITER 1716 NEW BEST:: SOT 2135498 SOS 1522283 HAS SOPS 822321 HAS SOUS 822396 HAS SOUPS 734896 WITH SCORE 736418.283
AT ITER 1719 NEW BEST:: SOT 2135498 SOS 1522283 HAS SOPS 822187 HAS SOUS 822296 HAS SOUPS 734762 WITH SCORE 736284.283
AT ITER 1723 NEW BEST:: SOT 2135379 SOS 1522164 HAS SOPS 822068 HAS SOUS 822177 HAS SOUPS 734643 WITH SCORE 736165.164
AT ITER 1743 NEW BEST:: SOT 2136048 SOS 1522102 HAS SOPS 823022 HAS SOUS 821681 HAS SOUPS 734432 WITH SCORE 735954.102
AT ITER 1745 NEW BEST:: SOT 2135779 SOS 1521833 HAS SOPS 822636 HAS SOUS 821260 HAS SOUPS 734011 WITH SCORE 735532.833
AT ITER 1747 NEW BEST:: SOT 2135779 SOS 1521833 HAS SOPS 822498 HAS SOUS 821248 HAS SOUPS 733873 WITH SCORE 735394.833
AT ITER 1748 NEW BEST:: SOT 2135785 SOS 1521839 HAS SOPS 822095 HAS SOUS 820846 HAS SOUPS 733471 WITH SCORE 734992.839
AT ITER 1749 NEW BEST:: SOT 2135785 SOS 1521839 HAS SOPS 822053 HAS SOUS 820804 HAS SOUPS 733429 WITH SCORE 734950.839
AT ITER 1751 NEW BEST:: SOT 2135777 SOS 1521831 HAS SOPS 822045 HAS SOUS 820796 HAS SOUPS 733421 WITH SCORE 734942.831
AT ITER 1752 NEW BEST:: SOT 2135700 SOS 1521754 HAS SOPS 821992 HAS SOUS 820719 HAS SOUPS 733368 WITH SCORE 734889.754
AT ITER 1756 NEW BEST:: SOT 2135932 SOS 1521986 HAS SOPS 821926 HAS SOUS 821209 HAS SOUPS 733302 WITH SCORE 734823.986
AT ITER 1758 NEW BEST:: SOT 2135827 SOS 1521881 HAS SOPS 821821 HAS SOUS 820999 HAS SOUPS 733092 WITH SCORE 734613.881
AT ITER 1772 NEW BEST:: SOT 2135689 SOS 1521743 HAS SOPS 821545 HAS SOUS 820913 HAS SOUPS 733006 WITH SCORE 734527.743
AT ITER 1775 NEW BEST:: SOT 2135689 SOS 1521743 HAS SOPS 821545 HAS SOUS 820859 HAS SOUPS 732943 WITH SCORE 734464.743
AT ITER 1791 NEW BEST:: SOT 2135548 SOS 1521602 HAS SOPS 821794 HAS SOUS 820823 HAS SOUPS 732907 WITH SCORE 734428.602
AT ITER 1795 NEW BEST:: SOT 2135548 SOS 1521602 HAS SOPS 821793 HAS SOUS 820822 HAS SOUPS 732906 WITH SCORE 734427.602
AT ITER 1797 NEW BEST:: SOT 2135531 SOS 1521585 HAS SOPS 821772 HAS SOUS 820788 HAS SOUPS 732872 WITH SCORE 734393.585
AT ITER 1798 NEW BEST:: SOT 2135440 SOS 1521494 HAS SOPS 821564 HAS SOUS 820490 HAS SOUPS 732574 WITH SCORE 734095.494
AT ITER 1800 NEW BEST:: SOT 2135474 SOS 1521708 HAS SOPS 821460 HAS SOUS 820528 HAS SOUPS 732470 WITH SCORE 733991.708
AT ITER 1803 NEW BEST:: SOT 2135475 SOS 1521709 HAS SOPS 821461 HAS SOUS 820408 HAS SOUPS 732328 WITH SCORE 733849.709
AT ITER 1805 NEW BEST:: SOT 2135292 SOS 1521526 HAS SOPS 820701 HAS SOUS 820013 HAS SOUPS 731790 WITH SCORE 733311.526
AT ITER 1810 NEW BEST:: SOT 2135323 SOS 1521557 HAS SOPS 820493 HAS SOUS 820044 HAS SOUPS 731582 WITH SCORE 733103.557
AT ITER 1814 NEW BEST:: SOT 2135083 SOS 1521317 HAS SOPS 819795 HAS SOUS 819783 HAS SOUPS 730884 WITH SCORE 732405.317
AT ITER 1824 NEW BEST:: SOT 2134783 SOS 1521017 HAS SOPS 819778 HAS SOUS 819767 HAS SOUPS 730868 WITH SCORE 732389.017
AT ITER 1836 NEW BEST:: SOT 2134778 SOS 1521012 HAS SOPS 819783 HAS SOUS 819757 HAS SOUPS 730858 WITH SCORE 732379.012
AT ITER 1841 NEW BEST:: SOT 2134778 SOS 1521012 HAS SOPS 819779 HAS SOUS 819753 HAS SOUPS 730854 WITH SCORE 732375.012
AT ITER 1842 NEW BEST:: SOT 2134849 SOS 1521083 HAS SOPS 819258 HAS SOUS 819415 HAS SOUPS 730377 WITH SCORE 731898.083
AT ITER 1843 NEW BEST:: SOT 2134684 SOS 1520918 HAS SOPS 819093 HAS SOUS 819250 HAS SOUPS 730212 WITH SCORE 731732.918
AT ITER 1849 NEW BEST:: SOT 2134768 SOS 1522392 HAS SOPS 818977 HAS SOUS 819312 HAS SOUPS 730096 WITH SCORE 731618.392
AT ITER 1854 NEW BEST:: SOT 2134514 SOS 1522138 HAS SOPS 818469 HAS SOUS 818804 HAS SOUPS 729588 WITH SCORE 731110.138
AT ITER 1862 NEW BEST:: SOT 2134116 SOS 1521750 HAS SOPS 817759 HAS SOUS 818095 HAS SOUPS 728879 WITH SCORE 730400.75
AT ITER 1872 NEW BEST:: SOT 2134700 SOS 1521515 HAS SOPS 818687 HAS SOUS 817158 HAS SOUPS 728286 WITH SCORE 729807.515
AT ITER 1881 NEW BEST:: SOT 2134975 SOS 1521825 HAS SOPS 818646 HAS SOUS 817452 HAS SOUPS 728245 WITH SCORE 729766.825
AT ITER 1889 NEW BEST:: SOT 2134962 SOS 1521362 HAS SOPS 819082 HAS SOUS 816675 HAS SOUPS 727618 WITH SCORE 729139.362
AT ITER 1892 NEW BEST:: SOT 2134962 SOS 1521362 HAS SOPS 818896 HAS SOUS 816489 HAS SOUPS 727432 WITH SCORE 728953.362
AT ITER 1895 NEW BEST:: SOT 2134981 SOS 1521469 HAS SOPS 818685 HAS SOUS 816300 HAS SOUPS 727221 WITH SCORE 728742.469
AT ITER 1908 NEW BEST:: SOT 2135029 SOS 1522577 HAS SOPS 818507 HAS SOUS 816252 HAS SOUPS 727043 WITH SCORE 728565.577
AT ITER 1912 NEW BEST:: SOT 2134904 SOS 1522452 HAS SOPS 818382 HAS SOUS 816127 HAS SOUPS 726918 WITH SCORE 728440.452
AT ITER 1913 NEW BEST:: SOT 2134904 SOS 1522452 HAS SOPS 818225 HAS SOUS 815970 HAS SOUPS 726761 WITH SCORE 728283.452
AT ITER 1915 NEW BEST:: SOT 2134904 SOS 1522452 HAS SOPS 817965 HAS SOUS 815710 HAS SOUPS 726501 WITH SCORE 728023.452
AT ITER 1916 NEW BEST:: SOT 2134900 SOS 1522448 HAS SOPS 817957 HAS SOUS 815706 HAS SOUPS 726493 WITH SCORE 728015.448
AT ITER 1930 NEW BEST:: SOT 2134694 SOS 1522242 HAS SOPS 817377 HAS SOUS 815170 HAS SOUPS 725913 WITH SCORE 727435.242
AT ITER 1932 NEW BEST:: SOT 2134610 SOS 1522158 HAS SOPS 817293 HAS SOUS 815086 HAS SOUPS 725829 WITH SCORE 727351.158
AT ITER 1940 NEW BEST:: SOT 2134566 SOS 1522114 HAS SOPS 817249 HAS SOUS 815042 HAS SOUPS 725785 WITH SCORE 727307.114
AT ITER 1944 NEW BEST:: SOT 2135086 SOS 1522634 HAS SOPS 817245 HAS SOUS 815259 HAS SOUPS 725781 WITH SCORE 727303.634
AT ITER 1955 NEW BEST:: SOT 2135086 SOS 1522634 HAS SOPS 817235 HAS SOUS 815249 HAS SOUPS 725771 WITH SCORE 727293.634
AT ITER 1974 NEW BEST:: SOT 2134963 SOS 1522511 HAS SOPS 817111 HAS SOUS 815003 HAS SOUPS 725525 WITH SCORE 727047.511
AT ITER 1983 NEW BEST:: SOT 2134769 SOS 1522317 HAS SOPS 816713 HAS SOUS 814786 HAS SOUPS 725308 WITH SCORE 726830.317
AT ITER 1987 NEW BEST:: SOT 2134771 SOS 1524249 HAS SOPS 816518 HAS SOUS 814784 HAS SOUPS 725113 WITH SCORE 726637.249
AT ITER 1990 NEW BEST:: SOT 2134629 SOS 1524107 HAS SOPS 816092 HAS SOUS 814748 HAS SOUPS 724971 WITH SCORE 726495.107
AT ITER 2001 NEW BEST:: SOT 2134609 SOS 1524087 HAS SOPS 816052 HAS SOUS 814743 HAS SOUPS 724931 WITH SCORE 726455.087
AT ITER 2007 NEW BEST:: SOT 2134401 SOS 1523879 HAS SOPS 816052 HAS SOUS 814742 HAS SOUPS 724931 WITH SCORE 726454.879
AT ITER 2014 NEW BEST:: SOT 2134423 SOS 1523890 HAS SOPS 816074 HAS SOUS 814709 HAS SOUPS 724909 WITH SCORE 726432.89
AT ITER 2020 NEW BEST:: SOT 2134228 SOS 1523695 HAS SOPS 815683 HAS SOUS 814090 HAS SOUPS 724120 WITH SCORE 725643.695
AT ITER 2023 NEW BEST:: SOT 2134071 SOS 1523538 HAS SOPS 815526 HAS SOUS 814090 HAS SOUPS 724120 WITH SCORE 725643.538
AT ITER 2032 NEW BEST:: SOT 2133659 SOS 1523126 HAS SOPS 814485 HAS SOUS 812890 HAS SOUPS 722920 WITH SCORE 724443.126
AT ITER 2034 NEW BEST:: SOT 2133451 SOS 1522918 HAS SOPS 813795 HAS SOUS 812179 HAS SOUPS 722091 WITH SCORE 723613.918
AT ITER 2045 NEW BEST:: SOT 2133465 SOS 1522596 HAS SOPS 813921 HAS SOUS 811535 HAS SOUPS 721559 WITH SCORE 723081.596
AT ITER 2051 NEW BEST:: SOT 2133465 SOS 1522596 HAS SOPS 813915 HAS SOUS 811529 HAS SOUPS 721553 WITH SCORE 723075.596
AT ITER 2052 NEW BEST:: SOT 2133201 SOS 1522332 HAS SOPS 813458 HAS SOUS 811071 HAS SOUPS 721095 WITH SCORE 722617.332
AT ITER 2053 NEW BEST:: SOT 2133129 SOS 1522260 HAS SOPS 813314 HAS SOUS 810999 HAS SOUPS 720951 WITH SCORE 722473.26
AT ITER 2061 NEW BEST:: SOT 2132917 SOS 1522048 HAS SOPS 813101 HAS SOUS 810820 HAS SOUPS 720738 WITH SCORE 722260.048
AT ITER 2069 NEW BEST:: SOT 2132864 SOS 1521995 HAS SOPS 812994 HAS SOUS 810430 HAS SOUPS 720330 WITH SCORE 721851.995
AT ITER 2071 NEW BEST:: SOT 2132864 SOS 1525755 HAS SOPS 812616 HAS SOUS 810241 HAS SOUPS 719952 WITH SCORE 721477.755
AT ITER 2072 NEW BEST:: SOT 2133362 SOS 1532893 HAS SOPS 812521 HAS SOUS 810992 HAS SOUPS 719857 WITH SCORE 721389.893
AT ITER 2073 NEW BEST:: SOT 2133063 SOS 1532594 HAS SOPS 811665 HAS SOUS 810187 HAS SOUPS 718961 WITH SCORE 720493.594
AT ITER 2079 NEW BEST:: SOT 2132941 SOS 1532472 HAS SOPS 811421 HAS SOUS 810065 HAS SOUPS 718717 WITH SCORE 720249.472
AT ITER 2083 NEW BEST:: SOT 2133187 SOS 1532738 HAS SOPS 809820 HAS SOUS 810309 HAS SOUPS 717116 WITH SCORE 718648.738
AT ITER 2090 NEW BEST:: SOT 2133132 SOS 1532683 HAS SOPS 809590 HAS SOUS 810139 HAS SOUPS 716946 WITH SCORE 718478.683
AT ITER 2093 NEW BEST:: SOT 2132926 SOS 1532477 HAS SOPS 808985 HAS SOUS 809933 HAS SOUPS 716740 WITH SCORE 718272.477
AT ITER 2094 NEW BEST:: SOT 2132852 SOS 1532403 HAS SOPS 808306 HAS SOUS 809403 HAS SOUPS 716210 WITH SCORE 717742.403
AT ITER 2100 NEW BEST:: SOT 2132756 SOS 1532307 HAS SOPS 808209 HAS SOUS 809210 HAS SOUPS 716017 WITH SCORE 717549.307
AT ITER 2102 NEW BEST:: SOT 2132738 SOS 1532289 HAS SOPS 808172 HAS SOUS 809079 HAS SOUPS 715886 WITH SCORE 717418.289
AT ITER 2113 NEW BEST:: SOT 2132738 SOS 1532289 HAS SOPS 807987 HAS SOUS 809264 HAS SOUPS 715701 WITH SCORE 717233.289
AT ITER 2118 NEW BEST:: SOT 2132505 SOS 1532056 HAS SOPS 807923 HAS SOUS 809201 HAS SOUPS 715638 WITH SCORE 717170.056
AT ITER 2119 NEW BEST:: SOT 2132466 SOS 1532017 HAS SOPS 807844 HAS SOUS 809086 HAS SOUPS 715523 WITH SCORE 717055.017
AT ITER 2130 NEW BEST:: SOT 2132898 SOS 1533269 HAS SOPS 807244 HAS SOUS 808813 HAS SOUPS 714923 WITH SCORE 716456.269
AT ITER 2131 NEW BEST:: SOT 2132784 SOS 1533155 HAS SOPS 807016 HAS SOUS 808657 HAS SOUPS 714695 WITH SCORE 716228.155
AT ITER 2141 NEW BEST:: SOT 2132707 SOS 1533078 HAS SOPS 806823 HAS SOUS 808541 HAS SOUPS 714571 WITH SCORE 716104.078
AT ITER 2143 NEW BEST:: SOT 2132573 SOS 1532944 HAS SOPS 806222 HAS SOUS 808143 HAS SOUPS 714158 WITH SCORE 715690.944
AT ITER 2146 NEW BEST:: SOT 2132611 SOS 1532982 HAS SOPS 806191 HAS SOUS 807894 HAS SOUPS 713909 WITH SCORE 715441.982
AT ITER 2149 NEW BEST:: SOT 2132701 SOS 1534285 HAS SOPS 806154 HAS SOUS 807983 HAS SOUPS 713872 WITH SCORE 715406.285
AT ITER 2151 NEW BEST:: SOT 2132701 SOS 1534285 HAS SOPS 806192 HAS SOUS 807982 HAS SOUPS 713871 WITH SCORE 715405.285
AT ITER 2156 NEW BEST:: SOT 2132714 SOS 1534298 HAS SOPS 806192 HAS SOUS 807969 HAS SOUPS 713858 WITH SCORE 715392.298
AT ITER 2158 NEW BEST:: SOT 2132543 SOS 1534127 HAS SOPS 805687 HAS SOUS 807605 HAS SOUPS 713494 WITH SCORE 715028.127
AT ITER 2160 NEW BEST:: SOT 2132192 SOS 1533776 HAS SOPS 804924 HAS SOUS 807885 HAS SOUPS 713141 WITH SCORE 714674.776
AT ITER 2168 NEW BEST:: SOT 2132192 SOS 1533776 HAS SOPS 804865 HAS SOUS 807798 HAS SOUPS 713082 WITH SCORE 714615.776
AT ITER 2169 NEW BEST:: SOT 2132092 SOS 1533676 HAS SOPS 804556 HAS SOUS 807795 HAS SOUPS 712874 WITH SCORE 714407.676
AT ITER 2176 NEW BEST:: SOT 2132239 SOS 1533823 HAS SOPS 804496 HAS SOUS 807736 HAS SOUPS 712815 WITH SCORE 714348.823
AT ITER 2177 NEW BEST:: SOT 2132239 SOS 1533823 HAS SOPS 804406 HAS SOUS 807646 HAS SOUPS 712725 WITH SCORE 714258.823
AT ITER 2180 NEW BEST:: SOT 2132239 SOS 1517423 HAS SOPS 786855 HAS SOUS 805627 HAS SOUPS 710706 WITH SCORE 712223.423
AT ITER 2195 NEW BEST:: SOT 2132543 SOS 1517568 HAS SOPS 785958 HAS SOUS 806100 HAS SOUPS 709810 WITH SCORE 711327.568
AT ITER 2198 NEW BEST:: SOT 2132594 SOS 1517619 HAS SOPS 786216 HAS SOUS 805915 HAS SOUPS 709643 WITH SCORE 711160.619
AT ITER 2203 NEW BEST:: SOT 2132811 SOS 1517836 HAS SOPS 786107 HAS SOUS 805903 HAS SOUPS 709534 WITH SCORE 711051.836
AT ITER 2209 NEW BEST:: SOT 2132707 SOS 1517316 HAS SOPS 786220 HAS SOUS 805273 HAS SOUPS 709013 WITH SCORE 710530.316
AT ITER 2215 NEW BEST:: SOT 2133220 SOS 1517829 HAS SOPS 786006 HAS SOUS 805120 HAS SOUPS 708860 WITH SCORE 710377.829
AT ITER 2230 NEW BEST:: SOT 2132651 SOS 1517260 HAS SOPS 784419 HAS SOUS 803947 HAS SOUPS 707687 WITH SCORE 709204.26
AT ITER 2239 NEW BEST:: SOT 2132441 SOS 1517050 HAS SOPS 783894 HAS SOUS 803719 HAS SOUPS 707267 WITH SCORE 708784.05
AT ITER 2245 NEW BEST:: SOT 2132401 SOS 1517010 HAS SOPS 783375 HAS SOUS 803580 HAS SOUPS 706970 WITH SCORE 708487.01
AT ITER 2247 NEW BEST:: SOT 2132509 SOS 1517118 HAS SOPS 783273 HAS SOUS 803533 HAS SOUPS 706923 WITH SCORE 708440.118
AT ITER 2250 NEW BEST:: SOT 2132681 SOS 1504877 HAS SOPS 765192 HAS SOUS 797170 HAS SOUPS 700560 WITH SCORE 702064.877
AT ITER 2253 NEW BEST:: SOT 2132672 SOS 1504868 HAS SOPS 765174 HAS SOUS 797152 HAS SOUPS 700542 WITH SCORE 702046.868
AT ITER 2254 NEW BEST:: SOT 2133076 SOS 1506172 HAS SOPS 765013 HAS SOUS 797331 HAS SOUPS 700381 WITH SCORE 701887.172
AT ITER 2258 NEW BEST:: SOT 2133400 SOS 1509816 HAS SOPS 764913 HAS SOUS 797655 HAS SOUPS 700281 WITH SCORE 701790.816
AT ITER 2259 NEW BEST:: SOT 2133365 SOS 1509781 HAS SOPS 764843 HAS SOUS 797597 HAS SOUPS 700223 WITH SCORE 701732.781
AT ITER 2263 NEW BEST:: SOT 2133278 SOS 1509694 HAS SOPS 764586 HAS SOUS 797957 HAS SOUPS 700136 WITH SCORE 701645.694
AT ITER 2270 NEW BEST:: SOT 2133406 SOS 1509822 HAS SOPS 764098 HAS SOUS 797870 HAS SOUPS 700049 WITH SCORE 701558.822
AT ITER 2271 NEW BEST:: SOT 2133363 SOS 1509779 HAS SOPS 764055 HAS SOUS 797870 HAS SOUPS 700006 WITH SCORE 701515.779
AT ITER 2279 NEW BEST:: SOT 2133299 SOS 1509772 HAS SOPS 764136 HAS SOUS 797679 HAS SOUPS 699815 WITH SCORE 701324.772
AT ITER 2285 NEW BEST:: SOT 2133264 SOS 1509737 HAS SOPS 764328 HAS SOUS 797505 HAS SOUPS 699780 WITH SCORE 701289.737
AT ITER 2292 NEW BEST:: SOT 2132940 SOS 1509413 HAS SOPS 764003 HAS SOUS 797200 HAS SOUPS 699456 WITH SCORE 700965.413
AT ITER 2302 NEW BEST:: SOT 2133128 SOS 1509601 HAS SOPS 763852 HAS SOUS 797322 HAS SOUPS 699396 WITH SCORE 700905.601
AT ITER 2307 NEW BEST:: SOT 2133084 SOS 1509557 HAS SOPS 763808 HAS SOUS 797278 HAS SOUPS 699352 WITH SCORE 700861.557
AT ITER 2313 NEW BEST:: SOT 2132719 SOS 1509192 HAS SOPS 763662 HAS SOUS 797393 HAS SOUPS 699297 WITH SCORE 700806.192
AT ITER 2319 NEW BEST:: SOT 2132512 SOS 1508985 HAS SOPS 763455 HAS SOUS 797182 HAS SOUPS 699086 WITH SCORE 700594.985
AT ITER 2329 NEW BEST:: SOT 2131770 SOS 1508243 HAS SOPS 762389 HAS SOUS 796116 HAS SOUPS 698020 WITH SCORE 699528.243
AT ITER 2331 NEW BEST:: SOT 2131694 SOS 1508167 HAS SOPS 762237 HAS SOUS 796040 HAS SOUPS 697944 WITH SCORE 699452.167
AT ITER 2335 NEW BEST:: SOT 2131794 SOS 1508438 HAS SOPS 762117 HAS SOUS 795994 HAS SOUPS 697824 WITH SCORE 699332.438
AT ITER 2338 NEW BEST:: SOT 2131756 SOS 1508400 HAS SOPS 762085 HAS SOUS 795962 HAS SOUPS 697792 WITH SCORE 699300.4
AT ITER 2342 NEW BEST:: SOT 2131736 SOS 1508380 HAS SOPS 762045 HAS SOUS 795932 HAS SOUPS 697762 WITH SCORE 699270.38
AT ITER 2353 NEW BEST:: SOT 2131736 SOS 1508380 HAS SOPS 761935 HAS SOUS 795908 HAS SOUPS 697652 WITH SCORE 699160.38
AT ITER 2362 NEW BEST:: SOT 2131698 SOS 1508342 HAS SOPS 761859 HAS SOUS 795832 HAS SOUPS 697576 WITH SCORE 699084.342
AT ITER 2375 NEW BEST:: SOT 2131746 SOS 1508390 HAS SOPS 761570 HAS SOUS 795660 HAS SOUPS 697404 WITH SCORE 698912.39
AT ITER 2382 NEW BEST:: SOT 2131494 SOS 1508138 HAS SOPS 761002 HAS SOUS 795092 HAS SOUPS 696836 WITH SCORE 698344.138
AT ITER 2386 NEW BEST:: SOT 2131494 SOS 1508138 HAS SOPS 761259 HAS SOUS 794977 HAS SOUPS 696721 WITH SCORE 698229.138
AT ITER 2388 NEW BEST:: SOT 2131494 SOS 1508138 HAS SOPS 761259 HAS SOUS 794936 HAS SOUPS 696680 WITH SCORE 698188.138
AT ITER 2391 NEW BEST:: SOT 2131422 SOS 1507686 HAS SOPS 761263 HAS SOUS 794488 HAS SOUPS 696308 WITH SCORE 697815.686
AT ITER 2399 NEW BEST:: SOT 2131096 SOS 1507360 HAS SOPS 760582 HAS SOUS 794133 HAS SOUPS 695953 WITH SCORE 697460.36
AT ITER 2400 NEW BEST:: SOT 2131094 SOS 1507358 HAS SOPS 760574 HAS SOUS 794129 HAS SOUPS 695949 WITH SCORE 697456.358
AT ITER 2402 NEW BEST:: SOT 2130893 SOS 1507157 HAS SOPS 760553 HAS SOUS 794056 HAS SOUPS 695928 WITH SCORE 697435.157
AT ITER 2403 NEW BEST:: SOT 2130581 SOS 1506845 HAS SOPS 759818 HAS SOUS 793433 HAS SOUPS 695305 WITH SCORE 696811.845
AT ITER 2409 NEW BEST:: SOT 2130140 SOS 1506398 HAS SOPS 759108 HAS SOUS 792894 HAS SOUPS 694766 WITH SCORE 696272.398
AT ITER 2410 NEW BEST:: SOT 2129956 SOS 1506214 HAS SOPS 758583 HAS SOUS 792526 HAS SOUPS 694398 WITH SCORE 695904.214
AT ITER 2415 NEW BEST:: SOT 2129925 SOS 1506183 HAS SOPS 758189 HAS SOUS 792259 HAS SOUPS 694336 WITH SCORE 695842.183
AT ITER 2433 NEW BEST:: SOT 2129877 SOS 1506125 HAS SOPS 758041 HAS SOUS 792111 HAS SOUPS 694188 WITH SCORE 695694.125
AT ITER 2434 NEW BEST:: SOT 2130717 SOS 1498778 HAS SOPS 750359 HAS SOUS 791918 HAS SOUPS 693995 WITH SCORE 695493.778
AT ITER 2436 NEW BEST:: SOT 2130472 SOS 1498533 HAS SOPS 750114 HAS SOUS 791406 HAS SOUPS 693750 WITH SCORE 695248.533
AT ITER 2445 NEW BEST:: SOT 2130472 SOS 1498533 HAS SOPS 750079 HAS SOUS 791371 HAS SOUPS 693715 WITH SCORE 695213.533
AT ITER 2452 NEW BEST:: SOT 2130534 SOS 1498595 HAS SOPS 749341 HAS SOUS 790956 HAS SOUPS 692977 WITH SCORE 694475.595
AT ITER 2453 NEW BEST:: SOT 2130522 SOS 1498583 HAS SOPS 749317 HAS SOUS 791150 HAS SOUPS 692953 WITH SCORE 694451.583
AT ITER 2456 NEW BEST:: SOT 2130424 SOS 1498485 HAS SOPS 749120 HAS SOUS 790616 HAS SOUPS 692419 WITH SCORE 693917.485
AT ITER 2458 NEW BEST:: SOT 2130318 SOS 1498379 HAS SOPS 748908 HAS SOUS 790616 HAS SOUPS 692313 WITH SCORE 693811.379
AT ITER 2481 NEW BEST:: SOT 2130318 SOS 1498379 HAS SOPS 748875 HAS SOUS 790534 HAS SOUPS 692231 WITH SCORE 693729.379
AT ITER 2484 NEW BEST:: SOT 2130276 SOS 1498337 HAS SOPS 748791 HAS SOUS 790450 HAS SOUPS 692147 WITH SCORE 693645.337
AT ITER 2496 NEW BEST:: SOT 2130192 SOS 1498253 HAS SOPS 748652 HAS SOUS 790311 HAS SOUPS 692008 WITH SCORE 693506.253
AT ITER 2501 NEW BEST:: SOT 2130163 SOS 1498050 HAS SOPS 748710 HAS SOUS 790224 HAS SOUPS 691950 WITH SCORE 693448.05
AT ITER 2506 NEW BEST:: SOT 2130128 SOS 1498015 HAS SOPS 748640 HAS SOUS 790154 HAS SOUPS 691880 WITH SCORE 693378.015
AT ITER 2513 NEW BEST:: SOT 2130447 SOS 1497947 HAS SOPS 749110 HAS SOUS 789850 HAS SOUPS 691727 WITH SCORE 693224.947
AT ITER 2517 NEW BEST:: SOT 2130199 SOS 1497699 HAS SOPS 747965 HAS SOUS 789305 HAS SOUPS 691182 WITH SCORE 692679.699
AT ITER 2531 NEW BEST:: SOT 2129953 SOS 1497453 HAS SOPS 747227 HAS SOUS 788828 HAS SOUPS 690690 WITH SCORE 692187.453
AT ITER 2534 NEW BEST:: SOT 2129953 SOS 1500200 HAS SOPS 745543 HAS SOUS 788924 HAS SOUPS 690365 WITH SCORE 691865.2
AT ITER 2537 NEW BEST:: SOT 2129753 SOS 1500000 HAS SOPS 745143 HAS SOUS 788622 HAS SOUPS 689965 WITH SCORE 691465.0
AT ITER 2549 NEW BEST:: SOT 2130803 SOS 1504890 HAS SOPS 745064 HAS SOUS 790008 HAS SOUPS 689886 WITH SCORE 691390.89
AT ITER 2551 NEW BEST:: SOT 2130719 SOS 1504806 HAS SOPS 744907 HAS SOUS 789829 HAS SOUPS 689707 WITH SCORE 691211.806
AT ITER 2552 NEW BEST:: SOT 2130683 SOS 1504770 HAS SOPS 744769 HAS SOUS 789661 HAS SOUPS 689569 WITH SCORE 691073.77
AT ITER 2576 NEW BEST:: SOT 2131134 SOS 1505221 HAS SOPS 744740 HAS SOUS 789575 HAS SOUPS 689466 WITH SCORE 690971.221
AT ITER 2587 NEW BEST:: SOT 2131134 SOS 1505221 HAS SOPS 744739 HAS SOUS 789201 HAS SOUPS 689092 WITH SCORE 690597.221
AT ITER 2598 NEW BEST:: SOT 2131144 SOS 1506641 HAS SOPS 744336 HAS SOUS 788998 HAS SOUPS 688689 WITH SCORE 690195.641
AT ITER 2604 NEW BEST:: SOT 2131052 SOS 1506549 HAS SOPS 744291 HAS SOUS 788814 HAS SOUPS 688505 WITH SCORE 690011.549
AT ITER 2605 NEW BEST:: SOT 2131037 SOS 1506534 HAS SOPS 744225 HAS SOUS 788770 HAS SOUPS 688439 WITH SCORE 689945.534
AT ITER 2606 NEW BEST:: SOT 2131197 SOS 1510210 HAS SOPS 744170 HAS SOUS 788930 HAS SOUPS 688384 WITH SCORE 689894.21
AT ITER 2620 NEW BEST:: SOT 2131194 SOS 1510207 HAS SOPS 744164 HAS SOUS 788924 HAS SOUPS 688378 WITH SCORE 689888.207
AT ITER 2623 NEW BEST:: SOT 2131194 SOS 1510105 HAS SOPS 744181 HAS SOUS 788873 HAS SOUPS 688344 WITH SCORE 689854.105
AT ITER 2625 NEW BEST:: SOT 2131239 SOS 1500466 HAS SOPS 734226 HAS SOUS 787973 HAS SOUPS 687444 WITH SCORE 688944.466
AT ITER 2628 NEW BEST:: SOT 2131217 SOS 1500273 HAS SOPS 734102 HAS SOUS 787849 HAS SOUPS 687320 WITH SCORE 688820.273
AT ITER 2633 NEW BEST:: SOT 2131073 SOS 1500129 HAS SOPS 733910 HAS SOUS 787657 HAS SOUPS 687128 WITH SCORE 688628.129
AT ITER 2652 NEW BEST:: SOT 2130989 SOS 1500045 HAS SOPS 733784 HAS SOUS 787542 HAS SOUPS 687002 WITH SCORE 688502.045
AT ITER 2657 NEW BEST:: SOT 2139945 SOS 1506518 HAS SOPS 728727 HAS SOUS 786506 HAS SOUPS 683735 WITH SCORE 685241.518
AT ITER 2665 NEW BEST:: SOT 2139825 SOS 1506398 HAS SOPS 728487 HAS SOUS 786266 HAS SOUPS 683495 WITH SCORE 685001.398
AT ITER 2666 NEW BEST:: SOT 2139744 SOS 1506317 HAS SOPS 728325 HAS SOUS 786226 HAS SOUPS 683333 WITH SCORE 684839.317
AT ITER 2671 NEW BEST:: SOT 2139744 SOS 1506317 HAS SOPS 728101 HAS SOUS 786367 HAS SOUPS 683109 WITH SCORE 684615.317
AT ITER 2678 NEW BEST:: SOT 2139737 SOS 1506310 HAS SOPS 728087 HAS SOUS 786353 HAS SOUPS 683095 WITH SCORE 684601.31
AT ITER 2684 NEW BEST:: SOT 2139412 SOS 1505985 HAS SOPS 727156 HAS SOUS 785637 HAS SOUPS 682373 WITH SCORE 683878.985
AT ITER 2685 NEW BEST:: SOT 2138921 SOS 1505494 HAS SOPS 725612 HAS SOUS 784478 HAS SOUPS 681130 WITH SCORE 682635.494
AT ITER 2688 NEW BEST:: SOT 2138895 SOS 1505468 HAS SOPS 725586 HAS SOUS 784426 HAS SOUPS 681078 WITH SCORE 682583.468
AT ITER 2695 NEW BEST:: SOT 2138614 SOS 1505187 HAS SOPS 724368 HAS SOUS 783518 HAS SOUPS 680054 WITH SCORE 681559.187
AT ITER 2701 NEW BEST:: SOT 2137557 SOS 1504130 HAS SOPS 723475 HAS SOUS 782461 HAS SOUPS 679161 WITH SCORE 680665.13
AT ITER 2713 NEW BEST:: SOT 2137617 SOS 1504190 HAS SOPS 723965 HAS SOUS 782318 HAS SOUPS 679024 WITH SCORE 680528.19
AT ITER 2725 NEW BEST:: SOT 2137545 SOS 1504118 HAS SOPS 723965 HAS SOUS 782246 HAS SOUPS 679024 WITH SCORE 680528.118
AT ITER 2730 NEW BEST:: SOT 2137545 SOS 1504058 HAS SOPS 723965 HAS SOUS 782246 HAS SOUPS 679024 WITH SCORE 680528.058
AT ITER 2734 NEW BEST:: SOT 2137545 SOS 1504058 HAS SOPS 723628 HAS SOUS 781909 HAS SOUPS 678687 WITH SCORE 680191.058
AT ITER 2735 NEW BEST:: SOT 2137493 SOS 1504006 HAS SOPS 723524 HAS SOUS 781909 HAS SOUPS 678635 WITH SCORE 680139.006
AT ITER 2742 NEW BEST:: SOT 2137375 SOS 1503888 HAS SOPS 722982 HAS SOUS 781489 HAS SOUPS 678215 WITH SCORE 679718.888
AT ITER 2751 NEW BEST:: SOT 2140968 SOS 1493217 HAS SOPS 709127 HAS SOUS 780795 HAS SOUPS 677521 WITH SCORE 679014.217
AT ITER 2760 NEW BEST:: SOT 2140968 SOS 1493229 HAS SOPS 709037 HAS SOUS 780705 HAS SOUPS 677431 WITH SCORE 678924.229
AT ITER 2775 NEW BEST:: SOT 2140761 SOS 1493022 HAS SOPS 708623 HAS SOUS 780291 HAS SOUPS 677017 WITH SCORE 678510.022
AT ITER 2777 NEW BEST:: SOT 2140377 SOS 1492638 HAS SOPS 708039 HAS SOUS 779707 HAS SOUPS 676433 WITH SCORE 677925.638
AT ITER 2779 NEW BEST:: SOT 2140297 SOS 1492558 HAS SOPS 708037 HAS SOUS 779684 HAS SOUPS 676410 WITH SCORE 677902.558
AT ITER 2781 NEW BEST:: SOT 2139911 SOS 1492172 HAS SOPS 707142 HAS SOUS 778958 HAS SOUPS 675645 WITH SCORE 677137.172
AT ITER 2797 NEW BEST:: SOT 2139836 SOS 1492097 HAS SOPS 706729 HAS SOUS 778847 HAS SOUPS 675307 WITH SCORE 676799.097
AT ITER 2800 NEW BEST:: SOT 2139065 SOS 1491369 HAS SOPS 706692 HAS SOUS 778456 HAS SOUPS 675270 WITH SCORE 676761.369
AT ITER 2809 NEW BEST:: SOT 2139062 SOS 1491366 HAS SOPS 706637 HAS SOUS 778451 HAS SOUPS 675265 WITH SCORE 676756.366
AT ITER 2812 NEW BEST:: SOT 2139036 SOS 1491340 HAS SOPS 706611 HAS SOUS 778425 HAS SOUPS 675239 WITH SCORE 676730.34
AT ITER 2816 NEW BEST:: SOT 2139274 SOS 1491578 HAS SOPS 706599 HAS SOUS 778566 HAS SOUPS 675227 WITH SCORE 676718.578
AT ITER 2827 NEW BEST:: SOT 2141213 SOS 1492505 HAS SOPS 705844 HAS SOUS 778386 HAS SOUPS 675047 WITH SCORE 676539.505
AT ITER 2838 NEW BEST:: SOT 2141213 SOS 1492910 HAS SOPS 705799 HAS SOUS 778406 HAS SOUPS 675002 WITH SCORE 676494.91
AT ITER 2847 NEW BEST:: SOT 2141150 SOS 1489057 HAS SOPS 701682 HAS SOUS 777852 HAS SOUPS 674448 WITH SCORE 675937.057
AT ITER 2862 NEW BEST:: SOT 2131598 SOS 1481005 HAS SOPS 691980 HAS SOUS 768339 HAS SOUPS 664746 WITH SCORE 666227.005
AT ITER 2871 NEW BEST:: SOT 2131602 SOS 1481009 HAS SOPS 690898 HAS SOUS 767869 HAS SOUPS 664052 WITH SCORE 665533.009
AT ITER 2877 NEW BEST:: SOT 2131602 SOS 1481009 HAS SOPS 690496 HAS SOUS 767632 HAS SOUPS 663650 WITH SCORE 665131.009
AT ITER 2879 NEW BEST:: SOT 2131224 SOS 1480631 HAS SOPS 690118 HAS SOUS 767254 HAS SOUPS 663272 WITH SCORE 664752.631
AT ITER 2888 NEW BEST:: SOT 2131023 SOS 1480430 HAS SOPS 689707 HAS SOUS 766886 HAS SOUPS 662904 WITH SCORE 664384.43
AT ITER 2897 NEW BEST:: SOT 2130756 SOS 1480163 HAS SOPS 689593 HAS SOUS 766673 HAS SOUPS 662691 WITH SCORE 664171.163
AT ITER 2904 NEW BEST:: SOT 2130588 SOS 1479995 HAS SOPS 689258 HAS SOUS 766170 HAS SOUPS 662188 WITH SCORE 663667.995
AT ITER 2907 NEW BEST:: SOT 2130588 SOS 1480156 HAS SOPS 689189 HAS SOUS 766170 HAS SOUPS 662165 WITH SCORE 663645.156
AT ITER 2916 NEW BEST:: SOT 2130588 SOS 1480156 HAS SOPS 689188 HAS SOUS 766169 HAS SOUPS 662164 WITH SCORE 663644.156
AT ITER 2917 NEW BEST:: SOT 2130824 SOS 1480392 HAS SOPS 688993 HAS SOUS 766069 HAS SOUPS 662064 WITH SCORE 663544.392
AT ITER 2918 NEW BEST:: SOT 2130817 SOS 1480385 HAS SOPS 688978 HAS SOUS 766048 HAS SOUPS 662043 WITH SCORE 663523.385
AT ITER 2919 NEW BEST:: SOT 2130812 SOS 1480380 HAS SOPS 688908 HAS SOUS 765983 HAS SOUPS 661978 WITH SCORE 663458.38
AT ITER 2921 NEW BEST:: SOT 2131728 SOS 1481322 HAS SOPS 688703 HAS SOUS 765867 HAS SOUPS 661773 WITH SCORE 663254.322
AT ITER 2922 NEW BEST:: SOT 2131354 SOS 1480948 HAS SOPS 688024 HAS SOUS 765313 HAS SOUPS 661094 WITH SCORE 662574.948
AT ITER 2925 NEW BEST:: SOT 2127827 SOS 1478729 HAS SOPS 688380 HAS SOUS 764568 HAS SOUPS 660349 WITH SCORE 661827.729
AT ITER 2928 NEW BEST:: SOT 2127609 SOS 1478511 HAS SOPS 687943 HAS SOUS 764393 HAS SOUPS 660130 WITH SCORE 661608.511
AT ITER 2936 NEW BEST:: SOT 2126964 SOS 1477866 HAS SOPS 687389 HAS SOUS 763922 HAS SOUPS 659659 WITH SCORE 661136.866
AT ITER 2959 NEW BEST:: SOT 2126964 SOS 1477866 HAS SOPS 687351 HAS SOUS 763884 HAS SOUPS 659621 WITH SCORE 661098.866
AT ITER 2970 NEW BEST:: SOT 2126858 SOS 1477760 HAS SOPS 687311 HAS SOUS 763845 HAS SOUPS 659582 WITH SCORE 661059.76
AT ITER 2972 NEW BEST:: SOT 2127542 SOS 1478476 HAS SOPS 687191 HAS SOUS 763842 HAS SOUPS 659579 WITH SCORE 661057.476
AT ITER 2983 NEW BEST:: SOT 2127542 SOS 1479086 HAS SOPS 687069 HAS SOUS 763887 HAS SOUPS 659457 WITH SCORE 660936.086
AT ITER 3004 NEW BEST:: SOT 2127540 SOS 1479084 HAS SOPS 687065 HAS SOUS 763927 HAS SOUPS 659453 WITH SCORE 660932.084
AT ITER 3027 NEW BEST:: SOT 2127540 SOS 1479084 HAS SOPS 687053 HAS SOUS 763915 HAS SOUPS 659441 WITH SCORE 660920.084
AT ITER 3030 NEW BEST:: SOT 2127909 SOS 1482878 HAS SOPS 686718 HAS SOUS 764436 HAS SOUPS 659274 WITH SCORE 660756.878
AT ITER 3032 NEW BEST:: SOT 2127795 SOS 1482764 HAS SOPS 686547 HAS SOUS 764265 HAS SOUPS 659103 WITH SCORE 660585.764
AT ITER 3039 NEW BEST:: SOT 2127626 SOS 1482595 HAS SOPS 686285 HAS SOUS 764120 HAS SOUPS 658958 WITH SCORE 660440.595
AT ITER 3052 NEW BEST:: SOT 2127680 SOS 1482649 HAS SOPS 686213 HAS SOUS 764048 HAS SOUPS 658886 WITH SCORE 660368.649
AT ITER 3057 NEW BEST:: SOT 2127457 SOS 1482426 HAS SOPS 685635 HAS SOUS 763470 HAS SOUPS 658308 WITH SCORE 659790.426
AT ITER 3065 NEW BEST:: SOT 2127457 SOS 1482433 HAS SOPS 685621 HAS SOUS 763456 HAS SOUPS 658294 WITH SCORE 659776.433
AT ITER 3070 NEW BEST:: SOT 2127291 SOS 1482267 HAS SOPS 685349 HAS SOUS 763184 HAS SOUPS 658022 WITH SCORE 659504.267
AT ITER 3073 NEW BEST:: SOT 2127164 SOS 1482052 HAS SOPS 685120 HAS SOUS 762779 HAS SOUPS 657617 WITH SCORE 659099.052
AT ITER 3076 NEW BEST:: SOT 2127145 SOS 1482033 HAS SOPS 685024 HAS SOUS 762760 HAS SOUPS 657598 WITH SCORE 659080.033
AT ITER 3082 NEW BEST:: SOT 2127126 SOS 1482014 HAS SOPS 684986 HAS SOUS 762722 HAS SOUPS 657560 WITH SCORE 659042.014
AT ITER 3095 NEW BEST:: SOT 2127196 SOS 1482084 HAS SOPS 684911 HAS SOUS 762719 HAS SOUPS 657557 WITH SCORE 659039.084
AT ITER 3098 NEW BEST:: SOT 2127196 SOS 1482084 HAS SOPS 684888 HAS SOUS 762696 HAS SOUPS 657534 WITH SCORE 659016.084
AT ITER 3109 NEW BEST:: SOT 2127187 SOS 1482075 HAS SOPS 684870 HAS SOUS 762687 HAS SOUPS 657516 WITH SCORE 658998.075
AT ITER 3110 NEW BEST:: SOT 2127177 SOS 1482065 HAS SOPS 684242 HAS SOUS 762249 HAS SOUPS 657037 WITH SCORE 658519.065
AT ITER 3111 NEW BEST:: SOT 2127056 SOS 1481944 HAS SOPS 684000 HAS SOUS 761947 HAS SOUPS 656656 WITH SCORE 658137.944
AT ITER 3136 NEW BEST:: SOT 2127009 SOS 1481897 HAS SOPS 683330 HAS SOUS 761474 HAS SOUPS 656032 WITH SCORE 657513.897
AT ITER 3137 NEW BEST:: SOT 2127157 SOS 1482307 HAS SOPS 682896 HAS SOUS 761350 HAS SOUPS 655598 WITH SCORE 657080.307
AT ITER 3148 NEW BEST:: SOT 2127849 SOS 1488247 HAS SOPS 682645 HAS SOUS 762434 HAS SOUPS 655549 WITH SCORE 657037.247
AT ITER 3157 NEW BEST:: SOT 2127924 SOS 1488322 HAS SOPS 682795 HAS SOUS 762413 HAS SOUPS 655500 WITH SCORE 656988.322
AT ITER 3166 NEW BEST:: SOT 2127898 SOS 1488296 HAS SOPS 682769 HAS SOUS 762387 HAS SOUPS 655474 WITH SCORE 656962.296
AT ITER 3168 NEW BEST:: SOT 2127823 SOS 1488077 HAS SOPS 682452 HAS SOUS 762070 HAS SOUPS 655157 WITH SCORE 656645.077
AT ITER 3175 NEW BEST:: SOT 2127823 SOS 1487940 HAS SOPS 682178 HAS SOUS 761796 HAS SOUPS 654883 WITH SCORE 656370.94
AT ITER 3195 NEW BEST:: SOT 2127847 SOS 1487964 HAS SOPS 682036 HAS SOUS 761912 HAS SOUPS 654763 WITH SCORE 656250.964
AT ITER 3205 NEW BEST:: SOT 2127695 SOS 1487812 HAS SOPS 681608 HAS SOUS 761698 HAS SOUPS 654549 WITH SCORE 656036.812
AT ITER 3206 NEW BEST:: SOT 2120335 SOS 1487232 HAS SOPS 673929 HAS SOUS 754441 HAS SOUPS 646870 WITH SCORE 648357.232
AT ITER 3209 NEW BEST:: SOT 2120112 SOS 1487009 HAS SOPS 672863 HAS SOUS 753757 HAS SOUPS 646186 WITH SCORE 647673.009
AT ITER 3212 NEW BEST:: SOT 2120034 SOS 1486931 HAS SOPS 672479 HAS SOUS 753990 HAS SOUPS 645959 WITH SCORE 647445.931
AT ITER 3214 NEW BEST:: SOT 2119701 SOS 1486598 HAS SOPS 671813 HAS SOUS 753324 HAS SOUPS 645293 WITH SCORE 646779.598
AT ITER 3221 NEW BEST:: SOT 2119436 SOS 1486333 HAS SOPS 671283 HAS SOUS 752545 HAS SOUPS 644514 WITH SCORE 646000.333
AT ITER 3223 NEW BEST:: SOT 2119510 SOS 1486509 HAS SOPS 671223 HAS SOUS 752568 HAS SOUPS 644454 WITH SCORE 645940.509
AT ITER 3234 NEW BEST:: SOT 2119346 SOS 1485488 HAS SOPS 671245 HAS SOUS 752171 HAS SOUPS 644181 WITH SCORE 645666.488
AT ITER 3248 NEW BEST:: SOT 2119210 SOS 1485352 HAS SOPS 670725 HAS SOUS 751899 HAS SOUPS 643909 WITH SCORE 645394.352
AT ITER 3253 NEW BEST:: SOT 2119210 SOS 1485352 HAS SOPS 670676 HAS SOUS 751850 HAS SOUPS 643860 WITH SCORE 645345.352
AT ITER 3260 NEW BEST:: SOT 2119194 SOS 1485336 HAS SOPS 670644 HAS SOUS 751814 HAS SOUPS 643824 WITH SCORE 645309.336
AT ITER 3267 NEW BEST:: SOT 2118938 SOS 1485080 HAS SOPS 670486 HAS SOUS 751594 HAS SOUPS 643599 WITH SCORE 645084.08
AT ITER 3284 NEW BEST:: SOT 2118779 SOS 1484921 HAS SOPS 670439 HAS SOUS 751505 HAS SOUPS 643510 WITH SCORE 644994.921
AT ITER 3290 NEW BEST:: SOT 2118700 SOS 1484842 HAS SOPS 669811 HAS SOUS 751041 HAS SOUPS 643046 WITH SCORE 644530.842
AT ITER 3293 NEW BEST:: SOT 2118779 SOS 1484921 HAS SOPS 669784 HAS SOUS 751014 HAS SOUPS 643019 WITH SCORE 644503.921
AT ITER 3299 NEW BEST:: SOT 2119111 SOS 1485797 HAS SOPS 669185 HAS SOUS 750731 HAS SOUPS 642420 WITH SCORE 643905.797
AT ITER 3313 NEW BEST:: SOT 2118921 SOS 1485607 HAS SOPS 668805 HAS SOUS 750325 HAS SOUPS 642014 WITH SCORE 643499.607
AT ITER 3315 NEW BEST:: SOT 2118501 SOS 1485187 HAS SOPS 668805 HAS SOUS 750104 HAS SOUPS 642014 WITH SCORE 643499.187
AT ITER 3318 NEW BEST:: SOT 2118411 SOS 1485097 HAS SOPS 668715 HAS SOUS 750014 HAS SOUPS 641924 WITH SCORE 643409.097
AT ITER 3319 NEW BEST:: SOT 2118431 SOS 1485117 HAS SOPS 668364 HAS SOUS 750048 HAS SOUPS 641573 WITH SCORE 643058.117
AT ITER 3345 NEW BEST:: SOT 2118516 SOS 1484374 HAS SOPS 668636 HAS SOUS 749393 HAS SOUPS 641105 WITH SCORE 642589.374
AT ITER 3346 NEW BEST:: SOT 2118516 SOS 1482991 HAS SOPS 668636 HAS SOUS 749376 HAS SOUPS 641088 WITH SCORE 642570.991
AT ITER 3354 NEW BEST:: SOT 2118516 SOS 1482991 HAS SOPS 668618 HAS SOUS 749358 HAS SOUPS 641070 WITH SCORE 642552.991
AT ITER 3364 NEW BEST:: SOT 2118516 SOS 1482991 HAS SOPS 668604 HAS SOUS 749344 HAS SOUPS 641056 WITH SCORE 642538.991
AT ITER 3365 NEW BEST:: SOT 2118516 SOS 1482991 HAS SOPS 668439 HAS SOUS 749179 HAS SOUPS 640891 WITH SCORE 642373.991
AT ITER 3366 NEW BEST:: SOT 2118566 SOS 1482339 HAS SOPS 668603 HAS SOUS 749004 HAS SOUPS 640830 WITH SCORE 642312.339
AT ITER 3376 NEW BEST:: SOT 2118675 SOS 1482553 HAS SOPS 668379 HAS SOUS 748780 HAS SOUPS 640606 WITH SCORE 642088.553
AT ITER 3380 NEW BEST:: SOT 2118630 SOS 1482508 HAS SOPS 668289 HAS SOUS 748617 HAS SOUPS 640443 WITH SCORE 641925.508
AT ITER 3383 NEW BEST:: SOT 2118440 SOS 1482318 HAS SOPS 668109 HAS SOUS 748437 HAS SOUPS 640263 WITH SCORE 641745.318
AT ITER 3387 NEW BEST:: SOT 2118377 SOS 1482255 HAS SOPS 667968 HAS SOUS 748374 HAS SOUPS 640122 WITH SCORE 641604.255
AT ITER 3398 NEW BEST:: SOT 2118108 SOS 1481986 HAS SOPS 666644 HAS SOUS 747049 HAS SOUPS 638797 WITH SCORE 640278.986
AT ITER 3399 NEW BEST:: SOT 2118108 SOS 1481986 HAS SOPS 666256 HAS SOUS 746661 HAS SOUPS 638409 WITH SCORE 639890.986
AT ITER 3409 NEW BEST:: SOT 2118138 SOS 1482016 HAS SOPS 666213 HAS SOUS 746648 HAS SOUPS 638366 WITH SCORE 639848.016
AT ITER 3410 NEW BEST:: SOT 2118138 SOS 1482016 HAS SOPS 666096 HAS SOUS 746531 HAS SOUPS 638249 WITH SCORE 639731.016
AT ITER 3413 NEW BEST:: SOT 2118162 SOS 1481176 HAS SOPS 666319 HAS SOUS 746338 HAS SOUPS 638197 WITH SCORE 639678.176
AT ITER 3443 NEW BEST:: SOT 2118137 SOS 1481151 HAS SOPS 666319 HAS SOUS 746338 HAS SOUPS 638197 WITH SCORE 639678.151
AT ITER 3449 NEW BEST:: SOT 2118194 SOS 1481259 HAS SOPS 666229 HAS SOUS 746268 HAS SOUPS 638107 WITH SCORE 639588.259
AT ITER 3459 NEW BEST:: SOT 2118194 SOS 1481475 HAS SOPS 666189 HAS SOUS 746268 HAS SOUPS 638067 WITH SCORE 639548.475
AT ITER 3464 NEW BEST:: SOT 2118778 SOS 1481643 HAS SOPS 665596 HAS SOUS 745979 HAS SOUPS 637778 WITH SCORE 639259.643
AT ITER 3485 NEW BEST:: SOT 2118772 SOS 1481637 HAS SOPS 665590 HAS SOUS 745973 HAS SOUPS 637772 WITH SCORE 639253.637
AT ITER 3486 NEW BEST:: SOT 2118752 SOS 1481617 HAS SOPS 665550 HAS SOUS 745953 HAS SOUPS 637752 WITH SCORE 639233.617
AT ITER 3524 NEW BEST:: SOT 2118650 SOS 1481515 HAS SOPS 665346 HAS SOUS 745782 HAS SOUPS 637581 WITH SCORE 639062.515
AT ITER 3537 NEW BEST:: SOT 2118485 SOS 1481350 HAS SOPS 665031 HAS SOUS 745503 HAS SOUPS 637266 WITH SCORE 638747.35
AT ITER 3540 NEW BEST:: SOT 2118386 SOS 1481251 HAS SOPS 664932 HAS SOUS 745404 HAS SOUPS 637167 WITH SCORE 638648.251
AT ITER 3541 NEW BEST:: SOT 2118368 SOS 1481841 HAS SOPS 664417 HAS SOUS 745208 HAS SOUPS 636652 WITH SCORE 638133.841
AT ITER 3542 NEW BEST:: SOT 2118619 SOS 1482092 HAS SOPS 664400 HAS SOUS 745459 HAS SOUPS 636635 WITH SCORE 638117.092
AT ITER 3563 NEW BEST:: SOT 2118314 SOS 1481787 HAS SOPS 664338 HAS SOUS 745305 HAS SOUPS 636573 WITH SCORE 638054.787
AT ITER 3565 NEW BEST:: SOT 2118818 SOS 1482291 HAS SOPS 664277 HAS SOUS 745472 HAS SOUPS 636512 WITH SCORE 637994.291
AT ITER 3569 NEW BEST:: SOT 2118778 SOS 1482251 HAS SOPS 664237 HAS SOUS 745432 HAS SOUPS 636472 WITH SCORE 637954.251
AT ITER 3578 NEW BEST:: SOT 2008560 SOS 1371888 HAS SOPS 552861 HAS SOUS 659757 HAS SOUPS 537049 WITH SCORE 538420.888
AT ITER 3583 NEW BEST:: SOT 2008539 SOS 1371681 HAS SOPS 552037 HAS SOUS 659225 HAS SOUPS 536517 WITH SCORE 537888.681
AT ITER 3596 NEW BEST:: SOT 2008537 SOS 1371679 HAS SOPS 552033 HAS SOUS 659223 HAS SOUPS 536513 WITH SCORE 537884.679
AT ITER 3611 NEW BEST:: SOT 2007802 SOS 1370944 HAS SOPS 551255 HAS SOUS 658204 HAS SOUPS 535735 WITH SCORE 537105.944
AT ITER 3619 NEW BEST:: SOT 2008355 SOS 1372627 HAS SOPS 551221 HAS SOUS 658584 HAS SOUPS 535701 WITH SCORE 537073.627
AT ITER 3623 NEW BEST:: SOT 2008683 SOS 1372955 HAS SOPS 551213 HAS SOUS 658490 HAS SOUPS 535693 WITH SCORE 537065.955
AT ITER 3627 NEW BEST:: SOT 2008140 SOS 1372412 HAS SOPS 550127 HAS SOUS 657616 HAS SOUPS 534607 WITH SCORE 535979.412
AT ITER 3630 NEW BEST:: SOT 2008363 SOS 1372635 HAS SOPS 550073 HAS SOUS 657562 HAS SOUPS 534553 WITH SCORE 535925.635
AT ITER 3631 NEW BEST:: SOT 2008199 SOS 1372471 HAS SOPS 549745 HAS SOUS 657206 HAS SOUPS 534225 WITH SCORE 535597.471
AT ITER 3636 NEW BEST:: SOT 2008199 SOS 1372471 HAS SOPS 549649 HAS SOUS 657110 HAS SOUPS 534129 WITH SCORE 535501.471
AT ITER 3640 NEW BEST:: SOT 2007855 SOS 1372127 HAS SOPS 548961 HAS SOUS 656748 HAS SOUPS 533441 WITH SCORE 534813.127
AT ITER 3646 NEW BEST:: SOT 2007855 SOS 1372127 HAS SOPS 548883 HAS SOUS 656670 HAS SOUPS 533363 WITH SCORE 534735.127
AT ITER 3667 NEW BEST:: SOT 2007824 SOS 1372096 HAS SOPS 548821 HAS SOUS 656608 HAS SOUPS 533301 WITH SCORE 534673.096
AT ITER 3680 NEW BEST:: SOT 2007437 SOS 1367879 HAS SOPS 548821 HAS SOUS 656181 HAS SOUPS 533261 WITH SCORE 534628.879
AT ITER 3681 NEW BEST:: SOT 2007178 SOS 1367620 HAS SOPS 548303 HAS SOUS 655663 HAS SOUPS 532743 WITH SCORE 534110.62
AT ITER 3682 NEW BEST:: SOT 2007115 SOS 1367557 HAS SOPS 548177 HAS SOUS 655633 HAS SOUPS 532617 WITH SCORE 533984.557
AT ITER 3685 NEW BEST:: SOT 2007108 SOS 1367550 HAS SOPS 547769 HAS SOUS 655321 HAS SOUPS 532209 WITH SCORE 533576.55
AT ITER 3702 NEW BEST:: SOT 2007090 SOS 1367532 HAS SOPS 547742 HAS SOUS 655294 HAS SOUPS 532182 WITH SCORE 533549.532
AT ITER 3717 NEW BEST:: SOT 2006864 SOS 1367306 HAS SOPS 547310 HAS SOUS 654955 HAS SOUPS 531843 WITH SCORE 533210.306
AT ITER 3725 NEW BEST:: SOT 2006864 SOS 1367272 HAS SOPS 547098 HAS SOUS 654743 HAS SOUPS 531631 WITH SCORE 532998.272
AT ITER 3747 NEW BEST:: SOT 2006730 SOS 1367138 HAS SOPS 547072 HAS SOUS 654717 HAS SOUPS 531605 WITH SCORE 532972.138
AT ITER 3750 NEW BEST:: SOT 2006730 SOS 1367138 HAS SOPS 546942 HAS SOUS 654587 HAS SOUPS 531475 WITH SCORE 532842.138
AT ITER 3753 NEW BEST:: SOT 2006785 SOS 1367193 HAS SOPS 546891 HAS SOUS 654536 HAS SOUPS 531424 WITH SCORE 532791.193
AT ITER 3757 NEW BEST:: SOT 2006623 SOS 1367031 HAS SOPS 546851 HAS SOUS 654516 HAS SOUPS 531404 WITH SCORE 532771.031
AT ITER 3761 NEW BEST:: SOT 2006923 SOS 1368591 HAS SOPS 546799 HAS SOUS 654816 HAS SOUPS 531352 WITH SCORE 532720.591
AT ITER 3769 NEW BEST:: SOT 2006776 SOS 1368444 HAS SOPS 546750 HAS SOUS 654607 HAS SOUPS 531303 WITH SCORE 532671.444
AT ITER 3770 NEW BEST:: SOT 2006658 SOS 1367206 HAS SOPS 546750 HAS SOUS 654489 HAS SOUPS 531303 WITH SCORE 532670.206
AT ITER 3784 NEW BEST:: SOT 2006325 SOS 1366873 HAS SOPS 546591 HAS SOUS 654236 HAS SOUPS 531144 WITH SCORE 532510.873
AT ITER 3791 NEW BEST:: SOT 2006006 SOS 1366554 HAS SOPS 545953 HAS SOUS 653598 HAS SOUPS 530506 WITH SCORE 531872.554
AT ITER 3808 NEW BEST:: SOT 2005972 SOS 1366520 HAS SOPS 545885 HAS SOUS 653530 HAS SOUPS 530438 WITH SCORE 531804.52
AT ITER 3810 NEW BEST:: SOT 2005982 SOS 1366600 HAS SOPS 545884 HAS SOUS 653543 HAS SOUPS 530437 WITH SCORE 531803.6
AT ITER 3812 NEW BEST:: SOT 2005891 SOS 1366509 HAS SOPS 545702 HAS SOUS 653438 HAS SOUPS 530255 WITH SCORE 531621.509
AT ITER 3825 NEW BEST:: SOT 2005689 SOS 1366307 HAS SOPS 545406 HAS SOUS 653142 HAS SOUPS 529959 WITH SCORE 531325.307
AT ITER 3856 NEW BEST:: SOT 2005481 SOS 1366099 HAS SOPS 545198 HAS SOUS 652934 HAS SOUPS 529751 WITH SCORE 531117.099
AT ITER 3869 NEW BEST:: SOT 2005307 SOS 1365075 HAS SOPS 545198 HAS SOUS 652760 HAS SOUPS 529751 WITH SCORE 531116.075
AT ITER 3870 NEW BEST:: SOT 2005518 SOS 1365286 HAS SOPS 545038 HAS SOUS 652893 HAS SOUPS 529591 WITH SCORE 530956.286
AT ITER 3887 NEW BEST:: SOT 2005466 SOS 1365234 HAS SOPS 544986 HAS SOUS 652841 HAS SOUPS 529539 WITH SCORE 530904.234
AT ITER 3889 NEW BEST:: SOT 2005453 SOS 1365221 HAS SOPS 544960 HAS SOUS 652828 HAS SOUPS 529513 WITH SCORE 530878.221
AT ITER 3891 NEW BEST:: SOT 2005687 SOS 1365455 HAS SOPS 544873 HAS SOUS 652788 HAS SOUPS 529427 WITH SCORE 530792.455
AT ITER 3895 NEW BEST:: SOT 2005733 SOS 1365501 HAS SOPS 544167 HAS SOUS 652082 HAS SOUPS 528721 WITH SCORE 530086.501
AT ITER 3898 NEW BEST:: SOT 2005683 SOS 1365451 HAS SOPS 543920 HAS SOUS 651835 HAS SOUPS 528474 WITH SCORE 529839.451
AT ITER 3901 NEW BEST:: SOT 2005470 SOS 1365238 HAS SOPS 543593 HAS SOUS 651640 HAS SOUPS 528279 WITH SCORE 529644.238
AT ITER 3907 NEW BEST:: SOT 2005468 SOS 1365236 HAS SOPS 543593 HAS SOUS 651640 HAS SOUPS 528279 WITH SCORE 529644.236
AT ITER 3924 NEW BEST:: SOT 2005468 SOS 1364906 HAS SOPS 543593 HAS SOUS 651594 HAS SOUPS 528279 WITH SCORE 529643.906
AT ITER 3926 NEW BEST:: SOT 2005430 SOS 1364868 HAS SOPS 543517 HAS SOUS 651518 HAS SOUPS 528203 WITH SCORE 529567.868
AT ITER 3932 NEW BEST:: SOT 2001342 SOS 1360855 HAS SOPS 539300 HAS SOUS 647506 HAS SOUPS 523986 WITH SCORE 525346.855
AT ITER 3936 NEW BEST:: SOT 2001342 SOS 1360855 HAS SOPS 539281 HAS SOUS 647487 HAS SOUPS 523967 WITH SCORE 525327.855
AT ITER 3956 NEW BEST:: SOT 2001384 SOS 1360897 HAS SOPS 539262 HAS SOUS 647517 HAS SOUPS 523948 WITH SCORE 525308.897
AT ITER 3960 NEW BEST:: SOT 2001379 SOS 1360892 HAS SOPS 539249 HAS SOUS 647504 HAS SOUPS 523935 WITH SCORE 525295.892
AT ITER 3966 NEW BEST:: SOT 2001485 SOS 1360998 HAS SOPS 539235 HAS SOUS 647579 HAS SOUPS 523921 WITH SCORE 525281.998
AT ITER 3973 NEW BEST:: SOT 2001341 SOS 1360873 HAS SOPS 538947 HAS SOUS 648175 HAS SOUPS 523633 WITH SCORE 524993.873
AT ITER 3982 NEW BEST:: SOT 1999683 SOS 1360114 HAS SOPS 539509 HAS SOUS 648123 HAS SOUPS 523581 WITH SCORE 524941.114
AT ITER 3983 NEW BEST:: SOT 1999463 SOS 1359894 HAS SOPS 539069 HAS SOUS 647733 HAS SOUPS 523141 WITH SCORE 524500.894
AT ITER 3989 NEW BEST:: SOT 1999610 SOS 1360041 HAS SOPS 538733 HAS SOUS 647577 HAS SOUPS 522805 WITH SCORE 524165.041
AT ITER 3993 NEW BEST:: SOT 1999651 SOS 1360082 HAS SOPS 538171 HAS SOUS 647048 HAS SOUPS 522243 WITH SCORE 523603.082
AT ITER 3999 NEW BEST:: SOT 1999700 SOS 1360131 HAS SOPS 538102 HAS SOUS 646979 HAS SOUPS 522174 WITH SCORE 523534.131
AT ITER 4016 NEW BEST:: SOT 1999721 SOS 1360152 HAS SOPS 538053 HAS SOUS 646930 HAS SOUPS 522125 WITH SCORE 523485.152
AT ITER 4017 NEW BEST:: SOT 1999721 SOS 1360152 HAS SOPS 537907 HAS SOUS 646784 HAS SOUPS 521979 WITH SCORE 523339.152
AT ITER 4029 NEW BEST:: SOT 1999497 SOS 1359928 HAS SOPS 537271 HAS SOUS 646150 HAS SOUPS 521344 WITH SCORE 522703.928
AT ITER 4033 NEW BEST:: SOT 1999460 SOS 1359795 HAS SOPS 537173 HAS SOUS 645897 HAS SOUPS 521246 WITH SCORE 522605.795
AT ITER 4062 NEW BEST:: SOT 1998791 SOS 1359126 HAS SOPS 536513 HAS SOUS 645237 HAS SOUPS 520586 WITH SCORE 521945.126
AT ITER 4067 NEW BEST:: SOT 1999269 SOS 1359604 HAS SOPS 536127 HAS SOUS 644851 HAS SOUPS 520200 WITH SCORE 521559.604
AT ITER 4076 NEW BEST:: SOT 1999134 SOS 1359469 HAS SOPS 536127 HAS SOUS 644851 HAS SOUPS 520200 WITH SCORE 521559.469
AT ITER 4077 NEW BEST:: SOT 1998709 SOS 1359044 HAS SOPS 534710 HAS SOUS 643737 HAS SOUPS 519021 WITH SCORE 520380.044
AT ITER 4089 NEW BEST:: SOT 1999019 SOS 1363214 HAS SOPS 534643 HAS SOUS 644127 HAS SOUPS 518954 WITH SCORE 520317.214
AT ITER 4114 NEW BEST:: SOT 1998854 SOS 1363049 HAS SOPS 534425 HAS SOUS 643962 HAS SOUPS 518736 WITH SCORE 520099.049
AT ITER 4116 NEW BEST:: SOT 1998681 SOS 1362876 HAS SOPS 534079 HAS SOUS 643786 HAS SOUPS 518390 WITH SCORE 519752.876
AT ITER 4122 NEW BEST:: SOT 1998724 SOS 1362919 HAS SOPS 533651 HAS SOUS 643361 HAS SOUPS 517962 WITH SCORE 519324.919
AT ITER 4123 NEW BEST:: SOT 1998692 SOS 1362887 HAS SOPS 533619 HAS SOUS 643329 HAS SOUPS 517930 WITH SCORE 519292.887
AT ITER 4129 NEW BEST:: SOT 1998626 SOS 1362161 HAS SOPS 533619 HAS SOUS 643263 HAS SOUPS 517930 WITH SCORE 519292.161
AT ITER 4145 NEW BEST:: SOT 1998598 SOS 1362133 HAS SOPS 533493 HAS SOUS 643235 HAS SOUPS 517804 WITH SCORE 519166.133
AT ITER 4146 NEW BEST:: SOT 1998203 SOS 1361738 HAS SOPS 533373 HAS SOUS 642964 HAS SOUPS 517684 WITH SCORE 519045.738
AT ITER 4171 NEW BEST:: SOT 1997983 SOS 1361518 HAS SOPS 532933 HAS SOUS 642933 HAS SOUPS 517244 WITH SCORE 518605.518
AT ITER 4181 NEW BEST:: SOT 1998474 SOS 1360233 HAS SOPS 529615 HAS SOUS 641265 HAS SOUPS 515576 WITH SCORE 516936.233
AT ITER 4192 NEW BEST:: SOT 1998458 SOS 1360217 HAS SOPS 529583 HAS SOUS 641233 HAS SOUPS 515544 WITH SCORE 516904.217
AT ITER 4197 NEW BEST:: SOT 1998454 SOS 1360177 HAS SOPS 529583 HAS SOUS 641225 HAS SOUPS 515540 WITH SCORE 516900.177
AT ITER 4207 NEW BEST:: SOT 1998397 SOS 1360120 HAS SOPS 529412 HAS SOUS 641168 HAS SOUPS 515369 WITH SCORE 516729.12
AT ITER 4208 NEW BEST:: SOT 1998390 SOS 1360106 HAS SOPS 529408 HAS SOUS 641150 HAS SOUPS 515365 WITH SCORE 516725.106
AT ITER 4217 NEW BEST:: SOT 1998342 SOS 1360034 HAS SOPS 529312 HAS SOUS 641054 HAS SOUPS 515269 WITH SCORE 516629.034
AT ITER 4225 NEW BEST:: SOT 1998342 SOS 1359864 HAS SOPS 529312 HAS SOUS 641020 HAS SOUPS 515269 WITH SCORE 516628.864
AT ITER 4249 NEW BEST:: SOT 1998219 SOS 1359101 HAS SOPS 529312 HAS SOUS 640897 HAS SOUPS 515269 WITH SCORE 516628.101
AT ITER 4252 NEW BEST:: SOT 1998124 SOS 1313500 HAS SOPS 529312 HAS SOUS 640802 HAS SOUPS 515269 WITH SCORE 516582.5
AT ITER 4256 NEW BEST:: SOT 1997893 SOS 1313269 HAS SOPS 528850 HAS SOUS 640340 HAS SOUPS 514807 WITH SCORE 516120.269
AT ITER 4271 NEW BEST:: SOT 1997459 SOS 1312835 HAS SOPS 527982 HAS SOUS 639768 HAS SOUPS 513939 WITH SCORE 515251.835
AT ITER 4274 NEW BEST:: SOT 1997471 SOS 1312556 HAS SOPS 528091 HAS SOUS 639591 HAS SOUPS 513859 WITH SCORE 515171.556
AT ITER 4284 NEW BEST:: SOT 1997467 SOS 1312552 HAS SOPS 528083 HAS SOUS 639583 HAS SOUPS 513851 WITH SCORE 515163.552
AT ITER 4327 NEW BEST:: SOT 1997245 SOS 1312330 HAS SOPS 527861 HAS SOUS 639361 HAS SOUPS 513629 WITH SCORE 514941.33
AT ITER 4328 NEW BEST:: SOT 1997130 SOS 1312316 HAS SOPS 527519 HAS SOUS 639235 HAS SOUPS 513410 WITH SCORE 514722.316
AT ITER 4329 NEW BEST:: SOT 1996510 SOS 1311696 HAS SOPS 527261 HAS SOUS 638976 HAS SOUPS 513151 WITH SCORE 514462.696
AT ITER 4330 NEW BEST:: SOT 1997271 SOS 1323483 HAS SOPS 527225 HAS SOUS 639582 HAS SOUPS 513115 WITH SCORE 514438.483
AT ITER 4336 NEW BEST:: SOT 1997150 SOS 1323362 HAS SOPS 526983 HAS SOUS 639340 HAS SOUPS 512873 WITH SCORE 514196.362
AT ITER 4339 NEW BEST:: SOT 1996809 SOS 1323021 HAS SOPS 526912 HAS SOUS 639192 HAS SOUPS 512802 WITH SCORE 514125.021
AT ITER 4353 NEW BEST:: SOT 1996774 SOS 1322986 HAS SOPS 526912 HAS SOUS 639192 HAS SOUPS 512802 WITH SCORE 514124.986
AT ITER 4360 NEW BEST:: SOT 1996657 SOS 1322869 HAS SOPS 526912 HAS SOUS 639192 HAS SOUPS 512802 WITH SCORE 514124.869
AT ITER 4363 NEW BEST:: SOT 1996561 SOS 1322773 HAS SOPS 526810 HAS SOUS 639035 HAS SOUPS 512645 WITH SCORE 513967.773
AT ITER 4364 NEW BEST:: SOT 1995928 SOS 1322140 HAS SOPS 526810 HAS SOUS 637889 HAS SOUPS 512645 WITH SCORE 513967.14
AT ITER 4367 NEW BEST:: SOT 1995822 SOS 1322034 HAS SOPS 526598 HAS SOUS 637677 HAS SOUPS 512433 WITH SCORE 513755.034
AT ITER 4394 NEW BEST:: SOT 1996127 SOS 1322478 HAS SOPS 526340 HAS SOUS 637419 HAS SOUPS 512175 WITH SCORE 513497.478
AT ITER 4418 NEW BEST:: SOT 1996108 SOS 1322459 HAS SOPS 526189 HAS SOUS 637304 HAS SOUPS 512060 WITH SCORE 513382.459
AT ITER 4423 NEW BEST:: SOT 1996279 SOS 1322861 HAS SOPS 526175 HAS SOUS 637296 HAS SOUPS 512046 WITH SCORE 513368.861
AT ITER 4430 NEW BEST:: SOT 1995515 SOS 1322097 HAS SOPS 525287 HAS SOUS 636408 HAS SOUPS 511158 WITH SCORE 512480.097
AT ITER 4437 NEW BEST:: SOT 1995418 SOS 1322000 HAS SOPS 525093 HAS SOUS 636214 HAS SOUPS 510964 WITH SCORE 512286.0
AT ITER 4449 NEW BEST:: SOT 1995421 SOS 1322003 HAS SOPS 524969 HAS SOUS 636217 HAS SOUPS 510840 WITH SCORE 512162.003
AT ITER 4461 NEW BEST:: SOT 1995403 SOS 1321803 HAS SOPS 524991 HAS SOUS 636131 HAS SOUPS 510783 WITH SCORE 512104.803
AT ITER 4478 NEW BEST:: SOT 1995403 SOS 1324064 HAS SOPS 524872 HAS SOUS 636131 HAS SOUPS 510664 WITH SCORE 511988.064
AT ITER 4481 NEW BEST:: SOT 1995330 SOS 1323991 HAS SOPS 524726 HAS SOUS 636054 HAS SOUPS 510518 WITH SCORE 511841.991
AT ITER 4485 NEW BEST:: SOT 1995529 SOS 1324190 HAS SOPS 524290 HAS SOUS 635891 HAS SOUPS 510026 WITH SCORE 511350.19
AT ITER 4489 NEW BEST:: SOT 1995061 SOS 1323722 HAS SOPS 523666 HAS SOUS 635267 HAS SOUPS 509402 WITH SCORE 510725.722
AT ITER 4490 NEW BEST:: SOT 1995034 SOS 1323695 HAS SOPS 523612 HAS SOUS 635015 HAS SOUPS 509348 WITH SCORE 510671.695
AT ITER 4500 NEW BEST:: SOT 1994926 SOS 1323587 HAS SOPS 523396 HAS SOUS 634839 HAS SOUPS 509132 WITH SCORE 510455.587
AT ITER 4501 NEW BEST:: SOT 1994987 SOS 1323648 HAS SOPS 523388 HAS SOUS 634831 HAS SOUPS 509124 WITH SCORE 510447.648
AT ITER 4504 NEW BEST:: SOT 1994947 SOS 1323608 HAS SOPS 523308 HAS SOUS 634751 HAS SOUPS 509044 WITH SCORE 510367.608
AT ITER 4523 NEW BEST:: SOT 1994947 SOS 1323758 HAS SOPS 523293 HAS SOUS 634751 HAS SOUPS 509029 WITH SCORE 510352.758
AT ITER 4528 NEW BEST:: SOT 1994538 SOS 1323349 HAS SOPS 522475 HAS SOUS 634616 HAS SOUPS 508211 WITH SCORE 509534.349
AT ITER 4532 NEW BEST:: SOT 1994476 SOS 1323287 HAS SOPS 522351 HAS SOUS 634698 HAS SOUPS 508087 WITH SCORE 509410.287
AT ITER 4535 NEW BEST:: SOT 1994462 SOS 1323273 HAS SOPS 522337 HAS SOUS 634684 HAS SOUPS 508073 WITH SCORE 509396.273
AT ITER 4544 NEW BEST:: SOT 1994372 SOS 1323385 HAS SOPS 522209 HAS SOUS 634623 HAS SOUPS 507974 WITH SCORE 509297.385
AT ITER 4568 NEW BEST:: SOT 1994507 SOS 1323189 HAS SOPS 522439 HAS SOUS 634365 HAS SOUPS 507853 WITH SCORE 509176.189
AT ITER 4578 NEW BEST:: SOT 1994417 SOS 1323099 HAS SOPS 522259 HAS SOUS 634191 HAS SOUPS 507673 WITH SCORE 508996.099
AT ITER 4582 NEW BEST:: SOT 1994340 SOS 1323022 HAS SOPS 521954 HAS SOUS 633886 HAS SOUPS 507368 WITH SCORE 508691.022
AT ITER 4590 NEW BEST:: SOT 1994370 SOS 1323052 HAS SOPS 521916 HAS SOUS 633848 HAS SOUPS 507330 WITH SCORE 508653.052
AT ITER 4595 NEW BEST:: SOT 1994219 SOS 1322901 HAS SOPS 521614 HAS SOUS 633546 HAS SOUPS 507028 WITH SCORE 508350.901
AT ITER 4600 NEW BEST:: SOT 1994053 SOS 1322735 HAS SOPS 521614 HAS SOUS 633546 HAS SOUPS 507028 WITH SCORE 508350.735
AT ITER 4601 NEW BEST:: SOT 1993996 SOS 1322656 HAS SOPS 521500 HAS SOUS 633432 HAS SOUPS 506914 WITH SCORE 508236.656
AT ITER 4611 NEW BEST:: SOT 1994355 SOS 1325175 HAS SOPS 521419 HAS SOUS 633656 HAS SOUPS 506833 WITH SCORE 508158.175
AT ITER 4615 NEW BEST:: SOT 1994478 SOS 1324048 HAS SOPS 521741 HAS SOUS 633454 HAS SOUPS 506830 WITH SCORE 508154.048
AT ITER 4616 NEW BEST:: SOT 1994380 SOS 1323950 HAS SOPS 521705 HAS SOUS 633418 HAS SOUPS 506794 WITH SCORE 508117.95
AT ITER 4634 NEW BEST:: SOT 1994018 SOS 1321408 HAS SOPS 521631 HAS SOUS 633005 HAS SOUPS 506610 WITH SCORE 507931.408
AT ITER 4644 NEW BEST:: SOT 1993955 SOS 1321430 HAS SOPS 521611 HAS SOUS 632985 HAS SOUPS 506590 WITH SCORE 507911.43
AT ITER 4645 NEW BEST:: SOT 1993711 SOS 1321186 HAS SOPS 521122 HAS SOUS 632519 HAS SOUPS 506101 WITH SCORE 507422.186
AT ITER 4646 NEW BEST:: SOT 1993711 SOS 1321155 HAS SOPS 521122 HAS SOUS 632519 HAS SOUPS 506101 WITH SCORE 507422.155
AT ITER 4654 NEW BEST:: SOT 1993682 SOS 1321126 HAS SOPS 521064 HAS SOUS 632487 HAS SOUPS 506043 WITH SCORE 507364.126
AT ITER 4667 NEW BEST:: SOT 1993609 SOS 1321053 HAS SOPS 521015 HAS SOUS 632388 HAS SOUPS 505994 WITH SCORE 507315.053
AT ITER 4673 NEW BEST:: SOT 1993598 SOS 1321042 HAS SOPS 521015 HAS SOUS 632388 HAS SOUPS 505994 WITH SCORE 507315.042
AT ITER 4677 NEW BEST:: SOT 1993525 SOS 1320969 HAS SOPS 520942 HAS SOUS 632315 HAS SOUPS 505921 WITH SCORE 507241.969
AT ITER 4683 NEW BEST:: SOT 1993245 SOS 1320689 HAS SOPS 520522 HAS SOUS 631922 HAS SOUPS 505501 WITH SCORE 506821.689
AT ITER 4694 NEW BEST:: SOT 1993257 SOS 1317793 HAS SOPS 520945 HAS SOUS 631197 HAS SOUPS 505187 WITH SCORE 506504.793
AT ITER 4701 NEW BEST:: SOT 1993443 SOS 1318136 HAS SOPS 520939 HAS SOUS 631545 HAS SOUPS 505181 WITH SCORE 506499.136
AT ITER 4706 NEW BEST:: SOT 1993245 SOS 1317938 HAS SOPS 520777 HAS SOUS 631272 HAS SOUPS 505019 WITH SCORE 506336.938
AT ITER 4709 NEW BEST:: SOT 1993217 SOS 1317910 HAS SOPS 520777 HAS SOUS 631272 HAS SOUPS 505019 WITH SCORE 506336.91
AT ITER 4717 NEW BEST:: SOT 1993194 SOS 1317887 HAS SOPS 520589 HAS SOUS 631084 HAS SOUPS 504831 WITH SCORE 506148.887
AT ITER 4718 NEW BEST:: SOT 1993117 SOS 1317888 HAS SOPS 520234 HAS SOUS 630728 HAS SOUPS 504475 WITH SCORE 505792.888
AT ITER 4719 NEW BEST:: SOT 1993066 SOS 1317837 HAS SOPS 520132 HAS SOUS 630626 HAS SOUPS 504373 WITH SCORE 505690.837
AT ITER 4728 NEW BEST:: SOT 1993031 SOS 1317802 HAS SOPS 520097 HAS SOUS 630591 HAS SOUPS 504338 WITH SCORE 505655.802
AT ITER 4736 NEW BEST:: SOT 1993001 SOS 1317772 HAS SOPS 520097 HAS SOUS 630582 HAS SOUPS 504338 WITH SCORE 505655.772
AT ITER 4749 NEW BEST:: SOT 1993043 SOS 1317814 HAS SOPS 520072 HAS SOUS 630557 HAS SOUPS 504313 WITH SCORE 505630.814
AT ITER 4758 NEW BEST:: SOT 1993002 SOS 1317773 HAS SOPS 519908 HAS SOUS 630434 HAS SOUPS 504190 WITH SCORE 505507.773
AT ITER 4766 NEW BEST:: SOT 1993109 SOS 1321136 HAS SOPS 519434 HAS SOUS 630488 HAS SOUPS 503900 WITH SCORE 505221.136
AT ITER 4773 NEW BEST:: SOT 1993289 SOS 1321249 HAS SOPS 519478 HAS SOUS 630484 HAS SOUPS 503896 WITH SCORE 505217.249
AT ITER 4781 NEW BEST:: SOT 1993436 SOS 1321396 HAS SOPS 519181 HAS SOUS 630193 HAS SOUPS 503605 WITH SCORE 504926.396
AT ITER 4785 NEW BEST:: SOT 1993494 SOS 1321454 HAS SOPS 518971 HAS SOUS 630287 HAS SOUPS 503395 WITH SCORE 504716.454
AT ITER 4791 NEW BEST:: SOT 1993576 SOS 1321536 HAS SOPS 518749 HAS SOUS 630065 HAS SOUPS 503173 WITH SCORE 504494.536
AT ITER 4813 NEW BEST:: SOT 1993495 SOS 1321455 HAS SOPS 518587 HAS SOUS 629904 HAS SOUPS 503012 WITH SCORE 504333.455
AT ITER 4826 NEW BEST:: SOT 1992896 SOS 1320904 HAS SOPS 518797 HAS SOUS 629897 HAS SOUPS 503005 WITH SCORE 504325.904
AT ITER 4829 NEW BEST:: SOT 1992799 SOS 1320777 HAS SOPS 518739 HAS SOUS 629861 HAS SOUPS 502947 WITH SCORE 504267.777
AT ITER 4862 NEW BEST:: SOT 1992787 SOS 1320693 HAS SOPS 518727 HAS SOUS 629813 HAS SOUPS 502911 WITH SCORE 504231.693
AT ITER 4868 NEW BEST:: SOT 1990642 SOS 1318548 HAS SOPS 516382 HAS SOUS 636349 HAS SOUPS 502247 WITH SCORE 503565.548
AT ITER 4869 NEW BEST:: SOT 1990923 SOS 1324858 HAS SOPS 516178 HAS SOUS 636449 HAS SOUPS 502043 WITH SCORE 503367.858
AT ITER 4870 NEW BEST:: SOT 1990863 SOS 1324798 HAS SOPS 516058 HAS SOUS 636329 HAS SOUPS 501923 WITH SCORE 503247.798
AT ITER 4880 NEW BEST:: SOT 1990835 SOS 1324770 HAS SOPS 516058 HAS SOUS 636329 HAS SOUPS 501923 WITH SCORE 503247.77
AT ITER 4886 NEW BEST:: SOT 1990833 SOS 1324768 HAS SOPS 516058 HAS SOUS 636327 HAS SOUPS 501923 WITH SCORE 503247.768
AT ITER 4887 NEW BEST:: SOT 1991244 SOS 1325179 HAS SOPS 516007 HAS SOUS 636250 HAS SOUPS 501846 WITH SCORE 503171.179
AT ITER 4900 NEW BEST:: SOT 1991126 SOS 1325061 HAS SOPS 516005 HAS SOUS 636196 HAS SOUPS 501792 WITH SCORE 503117.061
AT ITER 4915 NEW BEST:: SOT 1990936 SOS 1324871 HAS SOPS 515625 HAS SOUS 635816 HAS SOUPS 501412 WITH SCORE 502736.871
AT ITER 4919 NEW BEST:: SOT 1991210 SOS 1325145 HAS SOPS 515590 HAS SOUS 636046 HAS SOUPS 501377 WITH SCORE 502702.145
AT ITER 4927 NEW BEST:: SOT 1991144 SOS 1325079 HAS SOPS 515458 HAS SOUS 635944 HAS SOUPS 501245 WITH SCORE 502570.079
AT ITER 4938 NEW BEST:: SOT 1991126 SOS 1325043 HAS SOPS 515422 HAS SOUS 635908 HAS SOUPS 501209 WITH SCORE 502534.043
AT ITER 4939 NEW BEST:: SOT 1991120 SOS 1324983 HAS SOPS 515422 HAS SOUS 635896 HAS SOUPS 501203 WITH SCORE 502527.983
AT ITER 4942 NEW BEST:: SOT 1991036 SOS 1323239 HAS SOPS 515422 HAS SOUS 635812 HAS SOUPS 501203 WITH SCORE 502526.239
AT ITER 4976 NEW BEST:: SOT 1990910 SOS 1323113 HAS SOPS 515422 HAS SOUS 635686 HAS SOUPS 501077 WITH SCORE 502400.113
AT ITER 4992 NEW BEST:: SOT 1990865 SOS 1322853 HAS SOPS 515408 HAS SOUS 635373 HAS SOUPS 501063 WITH SCORE 502385.853
AT ITER 5004 NEW BEST:: SOT 1989811 SOS 1321836 HAS SOPS 514116 HAS SOUS 634107 HAS SOUPS 499797 WITH SCORE 501118.836
AT ITER 5007 NEW BEST:: SOT 1989506 SOS 1321531 HAS SOPS 513957 HAS SOUS 633802 HAS SOUPS 499638 WITH SCORE 500959.531
AT ITER 5014 NEW BEST:: SOT 1989438 SOS 1321463 HAS SOPS 513521 HAS SOUS 633366 HAS SOUPS 499202 WITH SCORE 500523.463
AT ITER 5017 NEW BEST:: SOT 1989437 SOS 1321462 HAS SOPS 513519 HAS SOUS 633364 HAS SOUPS 499200 WITH SCORE 500521.462
AT ITER 5019 NEW BEST:: SOT 1989311 SOS 1321336 HAS SOPS 513267 HAS SOUS 633236 HAS SOUPS 498948 WITH SCORE 500269.336
AT ITER 5023 NEW BEST:: SOT 1989213 SOS 1321238 HAS SOPS 513071 HAS SOUS 633040 HAS SOUPS 498752 WITH SCORE 500073.238
AT ITER 5032 NEW BEST:: SOT 1989144 SOS 1321169 HAS SOPS 512933 HAS SOUS 632731 HAS SOUPS 498614 WITH SCORE 499935.169
AT ITER 5033 NEW BEST:: SOT 1989046 SOS 1321071 HAS SOPS 512933 HAS SOUS 632686 HAS SOUPS 498614 WITH SCORE 499935.071
AT ITER 5053 NEW BEST:: SOT 1988942 SOS 1320919 HAS SOPS 511870 HAS SOUS 631640 HAS SOUPS 497568 WITH SCORE 498888.919
AT ITER 5060 NEW BEST:: SOT 1988880 SOS 1319617 HAS SOPS 511870 HAS SOUS 631578 HAS SOUPS 497568 WITH SCORE 498887.617
AT ITER 5064 NEW BEST:: SOT 1988590 SOS 1319327 HAS SOPS 511290 HAS SOUS 631187 HAS SOUPS 496988 WITH SCORE 498307.327
AT ITER 5070 NEW BEST:: SOT 1988428 SOS 1319165 HAS SOPS 511128 HAS SOUS 631025 HAS SOUPS 496826 WITH SCORE 498145.165
AT ITER 5071 NEW BEST:: SOT 1988189 SOS 1316853 HAS SOPS 511128 HAS SOUS 630786 HAS SOUPS 496826 WITH SCORE 498142.853
AT ITER 5105 NEW BEST:: SOT 1988621 SOS 1317265 HAS SOPS 510026 HAS SOUS 629861 HAS SOUPS 495724 WITH SCORE 497041.265
AT ITER 5109 NEW BEST:: SOT 1988621 SOS 1317265 HAS SOPS 509910 HAS SOUS 629732 HAS SOUPS 495608 WITH SCORE 496925.265
AT ITER 5119 NEW BEST:: SOT 1988560 SOS 1317204 HAS SOPS 509788 HAS SOUS 629589 HAS SOUPS 495486 WITH SCORE 496803.204
AT ITER 5120 NEW BEST:: SOT 1988389 SOS 1317033 HAS SOPS 509596 HAS SOUS 629397 HAS SOUPS 495294 WITH SCORE 496611.033
AT ITER 5147 NEW BEST:: SOT 1988346 SOS 1316990 HAS SOPS 509510 HAS SOUS 629311 HAS SOUPS 495208 WITH SCORE 496524.99
AT ITER 5150 NEW BEST:: SOT 1988138 SOS 1316782 HAS SOPS 509298 HAS SOUS 629151 HAS SOUPS 494996 WITH SCORE 496312.782
AT ITER 5152 NEW BEST:: SOT 1988184 SOS 1336383 HAS SOPS 509241 HAS SOUS 629846 HAS SOUPS 494939 WITH SCORE 496275.383
AT ITER 5169 NEW BEST:: SOT 1988132 SOS 1336331 HAS SOPS 509137 HAS SOUS 629685 HAS SOUPS 494835 WITH SCORE 496171.331
AT ITER 5189 NEW BEST:: SOT 1988109 SOS 1336124 HAS SOPS 509160 HAS SOUS 629662 HAS SOUPS 494835 WITH SCORE 496171.124
AT ITER 5194 NEW BEST:: SOT 1988296 SOS 1337724 HAS SOPS 509146 HAS SOUS 629842 HAS SOUPS 494821 WITH SCORE 496158.724
AT ITER 5195 NEW BEST:: SOT 1988228 SOS 1336296 HAS SOPS 509146 HAS SOUS 629774 HAS SOUPS 494821 WITH SCORE 496157.296
AT ITER 5200 NEW BEST:: SOT 1988229 SOS 1336297 HAS SOPS 509143 HAS SOUS 629771 HAS SOUPS 494818 WITH SCORE 496154.297
AT ITER 5208 NEW BEST:: SOT 1988294 SOS 1336372 HAS SOPS 509078 HAS SOUS 629711 HAS SOUPS 494753 WITH SCORE 496089.372
AT ITER 5213 NEW BEST:: SOT 1987944 SOS 1336022 HAS SOPS 508720 HAS SOUS 629353 HAS SOUPS 494395 WITH SCORE 495731.022
AT ITER 5216 NEW BEST:: SOT 1988426 SOS 1345074 HAS SOPS 508673 HAS SOUS 629742 HAS SOUPS 494348 WITH SCORE 495693.074
AT ITER 5228 NEW BEST:: SOT 1988293 SOS 1344820 HAS SOPS 508428 HAS SOUS 629497 HAS SOUPS 494103 WITH SCORE 495447.82
AT ITER 5229 NEW BEST:: SOT 1988225 SOS 1344752 HAS SOPS 508252 HAS SOUS 629429 HAS SOUPS 493927 WITH SCORE 495271.752
AT ITER 5232 NEW BEST:: SOT 1988077 SOS 1344604 HAS SOPS 507925 HAS SOUS 629102 HAS SOUPS 493600 WITH SCORE 494944.604
AT ITER 5233 NEW BEST:: SOT 1988225 SOS 1347822 HAS SOPS 507585 HAS SOUS 629190 HAS SOUPS 493370 WITH SCORE 494717.822
AT ITER 5237 NEW BEST:: SOT 1988224 SOS 1347821 HAS SOPS 507547 HAS SOUS 629152 HAS SOUPS 493332 WITH SCORE 494679.821
AT ITER 5243 NEW BEST:: SOT 1988053 SOS 1347650 HAS SOPS 507515 HAS SOUS 629120 HAS SOUPS 493300 WITH SCORE 494647.65
AT ITER 5245 NEW BEST:: SOT 1988053 SOS 1347390 HAS SOPS 507515 HAS SOUS 629097 HAS SOUPS 493300 WITH SCORE 494647.39
AT ITER 5246 NEW BEST:: SOT 1988238 SOS 1347708 HAS SOPS 507354 HAS SOUS 629182 HAS SOUPS 493139 WITH SCORE 494486.708
AT ITER 5255 NEW BEST:: SOT 1988165 SOS 1347613 HAS SOPS 507473 HAS SOUS 629111 HAS SOUPS 493068 WITH SCORE 494415.613
AT ITER 5290 NEW BEST:: SOT 1988121 SOS 1347569 HAS SOPS 507389 HAS SOUS 629027 HAS SOUPS 492984 WITH SCORE 494331.569
AT ITER 5302 NEW BEST:: SOT 1988172 SOS 1348115 HAS SOPS 507307 HAS SOUS 629078 HAS SOUPS 492902 WITH SCORE 494250.115
AT ITER 5323 NEW BEST:: SOT 1988168 SOS 1348111 HAS SOPS 507303 HAS SOUS 629074 HAS SOUPS 492898 WITH SCORE 494246.111
AT ITER 5327 NEW BEST:: SOT 1988029 SOS 1347833 HAS SOPS 507025 HAS SOUS 628796 HAS SOUPS 492620 WITH SCORE 493967.833
AT ITER 5335 NEW BEST:: SOT 1988291 SOS 1348095 HAS SOPS 507013 HAS SOUS 628749 HAS SOUPS 492596 WITH SCORE 493944.095
AT ITER 5346 NEW BEST:: SOT 1987603 SOS 1347407 HAS SOPS 506661 HAS SOUS 628459 HAS SOUPS 492415 WITH SCORE 493762.407
AT ITER 5351 NEW BEST:: SOT 1987521 SOS 1347325 HAS SOPS 506644 HAS SOUS 628442 HAS SOUPS 492398 WITH SCORE 493745.325
AT ITER 5361 NEW BEST:: SOT 1987592 SOS 1347396 HAS SOPS 506600 HAS SOUS 628636 HAS SOUPS 492354 WITH SCORE 493701.396
AT ITER 5368 NEW BEST:: SOT 1987520 SOS 1347324 HAS SOPS 506528 HAS SOUS 628564 HAS SOUPS 492282 WITH SCORE 493629.324
AT ITER 5379 NEW BEST:: SOT 1987396 SOS 1347200 HAS SOPS 506404 HAS SOUS 628440 HAS SOUPS 492158 WITH SCORE 493505.2
AT ITER 5400 NEW BEST:: SOT 1986875 SOS 1346679 HAS SOPS 505630 HAS SOUS 627517 HAS SOUPS 491235 WITH SCORE 492581.679
AT ITER 5409 NEW BEST:: SOT 1986875 SOS 1346679 HAS SOPS 505584 HAS SOUS 627494 HAS SOUPS 491189 WITH SCORE 492535.679
AT ITER 5425 NEW BEST:: SOT 1986836 SOS 1346640 HAS SOPS 505563 HAS SOUS 627473 HAS SOUPS 491168 WITH SCORE 492514.64
AT ITER 5434 NEW BEST:: SOT 1986813 SOS 1346617 HAS SOPS 505517 HAS SOUS 627480 HAS SOUPS 491122 WITH SCORE 492468.617
AT ITER 5451 NEW BEST:: SOT 1986811 SOS 1346615 HAS SOPS 505513 HAS SOUS 627476 HAS SOUPS 491118 WITH SCORE 492464.615
AT ITER 5463 NEW BEST:: SOT 1986766 SOS 1346570 HAS SOPS 505423 HAS SOUS 627467 HAS SOUPS 491028 WITH SCORE 492374.57
AT ITER 5465 NEW BEST:: SOT 1986738 SOS 1346542 HAS SOPS 505367 HAS SOUS 627439 HAS SOUPS 490972 WITH SCORE 492318.542
AT ITER 5469 NEW BEST:: SOT 1986839 SOS 1346643 HAS SOPS 505310 HAS SOUS 627289 HAS SOUPS 490822 WITH SCORE 492168.643
AT ITER 5475 NEW BEST:: SOT 1986735 SOS 1346539 HAS SOPS 505252 HAS SOUS 627231 HAS SOUPS 490764 WITH SCORE 492110.539
AT ITER 5491 NEW BEST:: SOT 1986773 SOS 1349562 HAS SOPS 504956 HAS SOUS 627280 HAS SOUPS 490468 WITH SCORE 491817.562
AT ITER 5492 NEW BEST:: SOT 1986692 SOS 1349533 HAS SOPS 504834 HAS SOUS 627240 HAS SOUPS 490346 WITH SCORE 491695.533
AT ITER 5500 NEW BEST:: SOT 1986549 SOS 1349390 HAS SOPS 504523 HAS SOUS 626929 HAS SOUPS 490035 WITH SCORE 491384.39
AT ITER 5502 NEW BEST:: SOT 1986549 SOS 1349390 HAS SOPS 504506 HAS SOUS 626912 HAS SOUPS 490018 WITH SCORE 491367.39
AT ITER 5510 NEW BEST:: SOT 1986575 SOS 1349416 HAS SOPS 504402 HAS SOUS 626808 HAS SOUPS 489914 WITH SCORE 491263.416
AT ITER 5515 NEW BEST:: SOT 1986558 SOS 1349719 HAS SOPS 504287 HAS SOUS 626787 HAS SOUPS 489799 WITH SCORE 491148.719
AT ITER 5518 NEW BEST:: SOT 1985926 SOS 1349087 HAS SOPS 503617 HAS SOUS 626147 HAS SOUPS 489129 WITH SCORE 490478.087
AT ITER 5526 NEW BEST:: SOT 1985880 SOS 1349041 HAS SOPS 503525 HAS SOUS 626055 HAS SOUPS 489037 WITH SCORE 490386.041
AT ITER 5529 NEW BEST:: SOT 1985607 SOS 1348768 HAS SOPS 503525 HAS SOUS 626055 HAS SOUPS 489037 WITH SCORE 490385.768
AT ITER 5532 NEW BEST:: SOT 1985329 SOS 1348490 HAS SOPS 503247 HAS SOUS 625803 HAS SOUPS 488785 WITH SCORE 490133.49
AT ITER 5539 NEW BEST:: SOT 1985260 SOS 1348421 HAS SOPS 502920 HAS SOUS 625476 HAS SOUPS 488458 WITH SCORE 489806.421
AT ITER 5558 NEW BEST:: SOT 1985202 SOS 1348363 HAS SOPS 502804 HAS SOUS 625360 HAS SOUPS 488342 WITH SCORE 489690.363
AT ITER 5569 NEW BEST:: SOT 1984872 SOS 1348386 HAS SOPS 502474 HAS SOUS 625199 HAS SOUPS 488083 WITH SCORE 489431.386
AT ITER 5572 NEW BEST:: SOT 1985159 SOS 1348953 HAS SOPS 502286 HAS SOUS 625732 HAS SOUPS 487895 WITH SCORE 489243.953
AT ITER 5573 NEW BEST:: SOT 1985137 SOS 1348931 HAS SOPS 502141 HAS SOUS 625562 HAS SOUPS 487750 WITH SCORE 489098.931
AT ITER 5579 NEW BEST:: SOT 1985090 SOS 1348837 HAS SOPS 502047 HAS SOUS 625468 HAS SOUPS 487656 WITH SCORE 489004.837
AT ITER 5590 NEW BEST:: SOT 1985037 SOS 1348784 HAS SOPS 501941 HAS SOUS 625845 HAS SOUPS 487550 WITH SCORE 488898.784
AT ITER 5594 NEW BEST:: SOT 1985046 SOS 1348793 HAS SOPS 501949 HAS SOUS 625843 HAS SOUPS 487548 WITH SCORE 488896.793
AT ITER 5609 NEW BEST:: SOT 1985130 SOS 1348877 HAS SOPS 501883 HAS SOUS 625864 HAS SOUPS 487482 WITH SCORE 488830.877
AT ITER 5611 NEW BEST:: SOT 1985101 SOS 1348985 HAS SOPS 501372 HAS SOUS 625353 HAS SOUPS 486971 WITH SCORE 488319.985
AT ITER 5612 NEW BEST:: SOT 1985101 SOS 1348985 HAS SOPS 501184 HAS SOUS 625165 HAS SOUPS 486783 WITH SCORE 488131.985
AT ITER 5621 NEW BEST:: SOT 1984980 SOS 1348848 HAS SOPS 500775 HAS SOUS 624621 HAS SOUPS 486239 WITH SCORE 487587.848
AT ITER 5626 NEW BEST:: SOT 1985010 SOS 1348878 HAS SOPS 500548 HAS SOUS 624460 HAS SOUPS 486012 WITH SCORE 487360.878
AT ITER 5629 NEW BEST:: SOT 1984980 SOS 1348848 HAS SOPS 500518 HAS SOUS 624430 HAS SOUPS 485982 WITH SCORE 487330.848
AT ITER 5639 NEW BEST:: SOT 1984947 SOS 1348815 HAS SOPS 499736 HAS SOUS 623799 HAS SOUPS 485200 WITH SCORE 486548.815
AT ITER 5640 NEW BEST:: SOT 1984337 SOS 1348205 HAS SOPS 499126 HAS SOUS 623189 HAS SOUPS 484590 WITH SCORE 485938.205
AT ITER 5647 NEW BEST:: SOT 1984245 SOS 1348113 HAS SOPS 498988 HAS SOUS 623051 HAS SOUPS 484452 WITH SCORE 485800.113
AT ITER 5654 NEW BEST:: SOT 1984066 SOS 1347934 HAS SOPS 498745 HAS SOUS 622808 HAS SOUPS 484209 WITH SCORE 485556.934
AT ITER 5662 NEW BEST:: SOT 1984066 SOS 1347934 HAS SOPS 498599 HAS SOUS 622662 HAS SOUPS 484063 WITH SCORE 485410.934
AT ITER 5667 NEW BEST:: SOT 1984206 SOS 1348104 HAS SOPS 498542 HAS SOUS 622784 HAS SOUPS 484006 WITH SCORE 485354.104
AT ITER 5670 NEW BEST:: SOT 1984163 SOS 1348032 HAS SOPS 498587 HAS SOUS 622698 HAS SOUPS 483920 WITH SCORE 485268.032
AT ITER 5691 NEW BEST:: SOT 1984325 SOS 1346595 HAS SOPS 498981 HAS SOUS 622225 HAS SOUPS 483723 WITH SCORE 485069.595
AT ITER 5696 NEW BEST:: SOT 1984245 SOS 1346515 HAS SOPS 498821 HAS SOUS 622065 HAS SOUPS 483563 WITH SCORE 484909.515
AT ITER 5705 NEW BEST:: SOT 1984245 SOS 1346350 HAS SOPS 498821 HAS SOUS 622065 HAS SOUPS 483563 WITH SCORE 484909.35
AT ITER 5706 NEW BEST:: SOT 1984245 SOS 1346350 HAS SOPS 498767 HAS SOUS 622021 HAS SOUPS 483509 WITH SCORE 484855.35
AT ITER 5711 NEW BEST:: SOT 1984183 SOS 1346288 HAS SOPS 498702 HAS SOUS 621900 HAS SOUPS 483444 WITH SCORE 484790.288
AT ITER 5727 NEW BEST:: SOT 1984007 SOS 1346112 HAS SOPS 497998 HAS SOUS 621074 HAS SOUPS 482740 WITH SCORE 484086.112
AT ITER 5734 NEW BEST:: SOT 1983849 SOS 1345894 HAS SOPS 497682 HAS SOUS 620758 HAS SOUPS 482424 WITH SCORE 483769.894
AT ITER 5743 NEW BEST:: SOT 1983779 SOS 1344424 HAS SOPS 497682 HAS SOUS 620688 HAS SOUPS 482424 WITH SCORE 483768.424
AT ITER 5775 NEW BEST:: SOT 1983778 SOS 1344423 HAS SOPS 497680 HAS SOUS 620687 HAS SOUPS 482422 WITH SCORE 483766.423
AT ITER 5796 NEW BEST:: SOT 1983773 SOS 1344418 HAS SOPS 497670 HAS SOUS 620677 HAS SOUPS 482412 WITH SCORE 483756.418
AT ITER 5799 NEW BEST:: SOT 1983722 SOS 1344367 HAS SOPS 497517 HAS SOUS 620524 HAS SOUPS 482259 WITH SCORE 483603.367
AT ITER 5800 NEW BEST:: SOT 1983661 SOS 1344306 HAS SOPS 497443 HAS SOUS 620463 HAS SOUPS 482185 WITH SCORE 483529.306
AT ITER 5819 NEW BEST:: SOT 1983456 SOS 1344101 HAS SOPS 497017 HAS SOUS 620037 HAS SOUPS 481759 WITH SCORE 483103.101
AT ITER 5822 NEW BEST:: SOT 1982922 SOS 1343567 HAS SOPS 496305 HAS SOUS 619503 HAS SOUPS 481047 WITH SCORE 482390.567
AT ITER 5827 NEW BEST:: SOT 1982739 SOS 1343367 HAS SOPS 495953 HAS SOUS 619076 HAS SOUPS 480620 WITH SCORE 481963.367
AT ITER 5834 NEW BEST:: SOT 1983072 SOS 1343700 HAS SOPS 495901 HAS SOUS 619024 HAS SOUPS 480568 WITH SCORE 481911.7
AT ITER 5863 NEW BEST:: SOT 1982887 SOS 1343515 HAS SOPS 495531 HAS SOUS 618699 HAS SOUPS 480198 WITH SCORE 481541.515
AT ITER 5872 NEW BEST:: SOT 1982877 SOS 1342263 HAS SOPS 495695 HAS SOUS 618451 HAS SOUPS 480124 WITH SCORE 481466.263
AT ITER 5877 NEW BEST:: SOT 1983016 SOS 1342402 HAS SOPS 495541 HAS SOUS 618297 HAS SOUPS 479970 WITH SCORE 481312.402
AT ITER 5889 NEW BEST:: SOT 1982964 SOS 1341882 HAS SOPS 495541 HAS SOUS 618193 HAS SOUPS 479918 WITH SCORE 481259.882
AT ITER 5899 NEW BEST:: SOT 1982714 SOS 1341632 HAS SOPS 495041 HAS SOUS 617681 HAS SOUPS 479418 WITH SCORE 480759.632
AT ITER 5906 NEW BEST:: SOT 1982616 SOS 1341534 HAS SOPS 494845 HAS SOUS 617485 HAS SOUPS 479222 WITH SCORE 480563.534
AT ITER 5940 NEW BEST:: SOT 1982567 SOS 1341485 HAS SOPS 494796 HAS SOUS 617436 HAS SOUPS 479173 WITH SCORE 480514.485
AT ITER 5950 NEW BEST:: SOT 1982403 SOS 1341321 HAS SOPS 494684 HAS SOUS 617386 HAS SOUPS 479061 WITH SCORE 480402.321
AT ITER 5955 NEW BEST:: SOT 1982436 SOS 1341354 HAS SOPS 494462 HAS SOUS 617164 HAS SOUPS 478839 WITH SCORE 480180.354
AT ITER 5966 NEW BEST:: SOT 1982436 SOS 1341354 HAS SOPS 494450 HAS SOUS 617152 HAS SOUPS 478827 WITH SCORE 480168.354
AT ITER 5984 NEW BEST:: SOT 1982434 SOS 1341352 HAS SOPS 494446 HAS SOUS 617148 HAS SOUPS 478823 WITH SCORE 480164.352
AT ITER 5988 NEW BEST:: SOT 1982429 SOS 1341347 HAS SOPS 494436 HAS SOUS 617138 HAS SOUPS 478813 WITH SCORE 480154.347
AT ITER 5993 NEW BEST:: SOT 1982336 SOS 1341254 HAS SOPS 494250 HAS SOUS 616882 HAS SOUPS 478557 WITH SCORE 479898.254
AT ITER 5999 NEW BEST:: SOT 1982185 SOS 1341103 HAS SOPS 493948 HAS SOUS 616580 HAS SOUPS 478255 WITH SCORE 479596.103
AT ITER 6006 NEW BEST:: SOT 1982165 SOS 1341083 HAS SOPS 493928 HAS SOUS 616560 HAS SOUPS 478235 WITH SCORE 479576.083
AT ITER 6022 NEW BEST:: SOT 1982147 SOS 1341065 HAS SOPS 493892 HAS SOUS 616524 HAS SOUPS 478199 WITH SCORE 479540.065
AT ITER 6025 NEW BEST:: SOT 1982142 SOS 1341060 HAS SOPS 493872 HAS SOUS 616509 HAS SOUPS 478179 WITH SCORE 479520.06
AT ITER 6026 NEW BEST:: SOT 1981994 SOS 1340912 HAS SOPS 493576 HAS SOUS 616213 HAS SOUPS 477883 WITH SCORE 479223.912
AT ITER 6028 NEW BEST:: SOT 1981994 SOS 1340912 HAS SOPS 493352 HAS SOUS 616107 HAS SOUPS 477659 WITH SCORE 478999.912
AT ITER 6049 NEW BEST:: SOT 1981895 SOS 1340813 HAS SOPS 493253 HAS SOUS 616107 HAS SOUPS 477560 WITH SCORE 478900.813
AT ITER 6052 NEW BEST:: SOT 1981840 SOS 1340758 HAS SOPS 493198 HAS SOUS 616052 HAS SOUPS 477505 WITH SCORE 478845.758
AT ITER 6058 NEW BEST:: SOT 1981792 SOS 1340755 HAS SOPS 493102 HAS SOUS 615956 HAS SOUPS 477409 WITH SCORE 478749.755
AT ITER 6085 NEW BEST:: SOT 1981609 SOS 1340572 HAS SOPS 492786 HAS SOUS 615640 HAS SOUPS 477093 WITH SCORE 478433.572
AT ITER 6097 NEW BEST:: SOT 1981462 SOS 1340425 HAS SOPS 492492 HAS SOUS 615379 HAS SOUPS 476799 WITH SCORE 478139.425
AT ITER 6108 NEW BEST:: SOT 1981399 SOS 1340362 HAS SOPS 492387 HAS SOUS 615274 HAS SOUPS 476694 WITH SCORE 478034.362
AT ITER 6109 NEW BEST:: SOT 1981403 SOS 1340446 HAS SOPS 492371 HAS SOUS 615266 HAS SOUPS 476678 WITH SCORE 478018.446
AT ITER 6135 NEW BEST:: SOT 1981360 SOS 1340403 HAS SOPS 492085 HAS SOUS 614980 HAS SOUPS 476392 WITH SCORE 477732.403
AT ITER 6138 NEW BEST:: SOT 1980482 SOS 1339525 HAS SOPS 491044 HAS SOUS 614036 HAS SOUPS 475351 WITH SCORE 476690.525
AT ITER 6155 NEW BEST:: SOT 1980482 SOS 1339525 HAS SOPS 490822 HAS SOUS 613814 HAS SOUPS 475129 WITH SCORE 476468.525
AT ITER 6162 NEW BEST:: SOT 1980206 SOS 1339249 HAS SOPS 490778 HAS SOUS 613538 HAS SOUPS 475085 WITH SCORE 476424.249
AT ITER 6164 NEW BEST:: SOT 1980206 SOS 1339284 HAS SOPS 490498 HAS SOUS 613706 HAS SOUPS 474805 WITH SCORE 476144.284
AT ITER 6180 NEW BEST:: SOT 1980147 SOS 1339531 HAS SOPS 490344 HAS SOUS 613647 HAS SOUPS 474651 WITH SCORE 475990.531
AT ITER 6184 NEW BEST:: SOT 1979885 SOS 1339269 HAS SOPS 489997 HAS SOUS 613654 HAS SOUPS 474304 WITH SCORE 475643.269
AT ITER 6193 NEW BEST:: SOT 1979890 SOS 1339715 HAS SOPS 489909 HAS SOUS 613615 HAS SOUPS 474216 WITH SCORE 475555.715
AT ITER 6195 NEW BEST:: SOT 1979850 SOS 1339675 HAS SOPS 489909 HAS SOUS 613615 HAS SOUPS 474216 WITH SCORE 475555.675
AT ITER 6226 NEW BEST:: SOT 1979850 SOS 1339675 HAS SOPS 489845 HAS SOUS 613551 HAS SOUPS 474152 WITH SCORE 475491.675
AT ITER 6232 NEW BEST:: SOT 1979833 SOS 1339658 HAS SOPS 489811 HAS SOUS 613517 HAS SOUPS 474118 WITH SCORE 475457.658
AT ITER 6236 NEW BEST:: SOT 1980318 SOS 1349493 HAS SOPS 489153 HAS SOUS 613813 HAS SOUPS 473460 WITH SCORE 474809.493
AT ITER 6266 NEW BEST:: SOT 1980207 SOS 1349382 HAS SOPS 488690 HAS SOUS 613350 HAS SOUPS 472997 WITH SCORE 474346.382
AT ITER 6280 NEW BEST:: SOT 1980196 SOS 1349371 HAS SOPS 488690 HAS SOUS 613350 HAS SOUPS 472997 WITH SCORE 474346.371
AT ITER 6284 NEW BEST:: SOT 1980119 SOS 1349294 HAS SOPS 488586 HAS SOUS 613246 HAS SOUPS 472893 WITH SCORE 474242.294
AT ITER 6291 NEW BEST:: SOT 1979411 SOS 1348586 HAS SOPS 487670 HAS SOUS 612330 HAS SOUPS 471977 WITH SCORE 473325.586
AT ITER 6299 NEW BEST:: SOT 1979284 SOS 1348074 HAS SOPS 487670 HAS SOUS 612203 HAS SOUPS 471977 WITH SCORE 473325.074
AT ITER 6301 NEW BEST:: SOT 1979284 SOS 1348194 HAS SOPS 487646 HAS SOUS 612203 HAS SOUPS 471953 WITH SCORE 473301.194
AT ITER 6350 NEW BEST:: SOT 1979036 SOS 1347946 HAS SOPS 487150 HAS SOUS 611707 HAS SOUPS 471457 WITH SCORE 472804.946
AT ITER 6353 NEW BEST:: SOT 1979051 SOS 1347961 HAS SOPS 487002 HAS SOUS 611559 HAS SOUPS 471309 WITH SCORE 472656.961
AT ITER 6378 NEW BEST:: SOT 1978856 SOS 1347766 HAS SOPS 486612 HAS SOUS 611169 HAS SOUPS 470919 WITH SCORE 472266.766
AT ITER 6394 NEW BEST:: SOT 1978843 SOS 1347753 HAS SOPS 486586 HAS SOUS 611156 HAS SOUPS 470893 WITH SCORE 472240.753
AT ITER 6400 NEW BEST:: SOT 1978843 SOS 1347553 HAS SOPS 486586 HAS SOUS 611156 HAS SOUPS 470893 WITH SCORE 472240.553
AT ITER 6417 NEW BEST:: SOT 1978802 SOS 1347371 HAS SOPS 486545 HAS SOUS 610815 HAS SOUPS 470625 WITH SCORE 471972.371
AT ITER 6427 NEW BEST:: SOT 1978612 SOS 1347181 HAS SOPS 486165 HAS SOUS 610392 HAS SOUPS 470245 WITH SCORE 471592.181
AT ITER 6459 NEW BEST:: SOT 1978277 SOS 1346846 HAS SOPS 486073 HAS SOUS 610300 HAS SOUPS 470153 WITH SCORE 471499.846
AT ITER 6471 NEW BEST:: SOT 1978022 SOS 1341491 HAS SOPS 486073 HAS SOUS 610045 HAS SOUPS 470153 WITH SCORE 471494.491
AT ITER 6497 NEW BEST:: SOT 1978128 SOS 1341727 HAS SOPS 486021 HAS SOUS 610081 HAS SOUPS 470101 WITH SCORE 471442.727
AT ITER 6504 NEW BEST:: SOT 1977900 SOS 1341499 HAS SOPS 485397 HAS SOUS 609457 HAS SOUPS 469477 WITH SCORE 470818.499
AT ITER 6545 NEW BEST:: SOT 1977762 SOS 1341361 HAS SOPS 485159 HAS SOUS 609219 HAS SOUPS 469239 WITH SCORE 470580.361
AT ITER 6547 NEW BEST:: SOT 1977721 SOS 1341320 HAS SOPS 485077 HAS SOUS 608918 HAS SOUPS 469157 WITH SCORE 470498.32
AT ITER 6572 NEW BEST:: SOT 1977747 SOS 1341346 HAS SOPS 484688 HAS SOUS 608529 HAS SOUPS 468768 WITH SCORE 470109.346
AT ITER 6602 NEW BEST:: SOT 1977573 SOS 1341172 HAS SOPS 484664 HAS SOUS 608309 HAS SOUPS 468744 WITH SCORE 470085.172
AT ITER 6611 NEW BEST:: SOT 1977465 SOS 1341064 HAS SOPS 484664 HAS SOUS 608309 HAS SOUPS 468744 WITH SCORE 470085.064
AT ITER 6636 NEW BEST:: SOT 1977443 SOS 1341042 HAS SOPS 484620 HAS SOUS 608265 HAS SOUPS 468700 WITH SCORE 470041.042
AT ITER 6637 NEW BEST:: SOT 1977419 SOS 1341018 HAS SOPS 484572 HAS SOUS 608217 HAS SOUPS 468652 WITH SCORE 469993.018
AT ITER 6642 NEW BEST:: SOT 1977514 SOS 1341113 HAS SOPS 484531 HAS SOUS 608474 HAS SOUPS 468611 WITH SCORE 469952.113
AT ITER 6650 NEW BEST:: SOT 1977137 SOS 1340736 HAS SOPS 484157 HAS SOUS 608097 HAS SOUPS 468237 WITH SCORE 469577.736
AT ITER 6663 NEW BEST:: SOT 1977136 SOS 1340735 HAS SOPS 484155 HAS SOUS 608095 HAS SOUPS 468235 WITH SCORE 469575.735
AT ITER 6681 NEW BEST:: SOT 1977859 SOS 1346939 HAS SOPS 484110 HAS SOUS 608508 HAS SOUPS 468190 WITH SCORE 469536.939
AT ITER 6701 NEW BEST:: SOT 1977747 SOS 1346827 HAS SOPS 483886 HAS SOUS 608284 HAS SOUPS 467966 WITH SCORE 469312.827
AT ITER 6708 NEW BEST:: SOT 1977844 SOS 1347194 HAS SOPS 483879 HAS SOUS 608344 HAS SOUPS 467959 WITH SCORE 469306.194
AT ITER 6715 NEW BEST:: SOT 1977633 SOS 1346983 HAS SOPS 483671 HAS SOUS 608136 HAS SOUPS 467751 WITH SCORE 469097.983
AT ITER 6727 NEW BEST:: SOT 1977573 SOS 1346923 HAS SOPS 483551 HAS SOUS 608016 HAS SOUPS 467631 WITH SCORE 468977.923
AT ITER 6735 NEW BEST:: SOT 1977553 SOS 1346903 HAS SOPS 483531 HAS SOUS 607996 HAS SOUPS 467611 WITH SCORE 468957.903
AT ITER 6744 NEW BEST:: SOT 1977447 SOS 1346797 HAS SOPS 483425 HAS SOUS 607890 HAS SOUPS 467505 WITH SCORE 468851.797
AT ITER 6792 NEW BEST:: SOT 1977123 SOS 1346473 HAS SOPS 482586 HAS SOUS 607051 HAS SOUPS 466666 WITH SCORE 468012.473
AT ITER 6794 NEW BEST:: SOT 1979523 SOS 1348193 HAS SOPS 480106 HAS SOUS 604882 HAS SOUPS 464687 WITH SCORE 466035.193
AT ITER 6802 NEW BEST:: SOT 1979310 SOS 1347620 HAS SOPS 480106 HAS SOUS 604691 HAS SOUPS 464687 WITH SCORE 466034.62
AT ITER 6818 NEW BEST:: SOT 1979224 SOS 1347534 HAS SOPS 480083 HAS SOUS 604564 HAS SOUPS 464664 WITH SCORE 466011.534
AT ITER 6838 NEW BEST:: SOT 1979315 SOS 1347665 HAS SOPS 479906 HAS SOUS 604398 HAS SOUPS 464487 WITH SCORE 465834.665
AT ITER 6847 NEW BEST:: SOT 1979316 SOS 1347666 HAS SOPS 479846 HAS SOUS 604338 HAS SOUPS 464427 WITH SCORE 465774.666
AT ITER 6855 NEW BEST:: SOT 1979121 SOS 1347107 HAS SOPS 479820 HAS SOUS 604312 HAS SOUPS 464401 WITH SCORE 465748.107
AT ITER 6856 NEW BEST:: SOT 1979058 SOS 1346774 HAS SOPS 479820 HAS SOUS 604249 HAS SOUPS 464401 WITH SCORE 465747.774
AT ITER 6891 NEW BEST:: SOT 1978996 SOS 1346712 HAS SOPS 479696 HAS SOUS 604125 HAS SOUPS 464277 WITH SCORE 465623.712
AT ITER 6903 NEW BEST:: SOT 1979040 SOS 1346756 HAS SOPS 479685 HAS SOUS 604114 HAS SOUPS 464266 WITH SCORE 465612.756
AT ITER 6913 NEW BEST:: SOT 1979015 SOS 1346731 HAS SOPS 479660 HAS SOUS 604144 HAS SOUPS 464241 WITH SCORE 465587.731
AT ITER 6915 NEW BEST:: SOT 1978851 SOS 1346567 HAS SOPS 479332 HAS SOUS 603816 HAS SOUPS 463913 WITH SCORE 465259.567
AT ITER 6923 NEW BEST:: SOT 1978963 SOS 1346679 HAS SOPS 479221 HAS SOUS 603711 HAS SOUPS 463802 WITH SCORE 465148.679
AT ITER 6924 NEW BEST:: SOT 1978933 SOS 1346649 HAS SOPS 479161 HAS SOUS 603678 HAS SOUPS 463742 WITH SCORE 465088.649
AT ITER 6940 NEW BEST:: SOT 1978660 SOS 1346376 HAS SOPS 478070 HAS SOUS 602587 HAS SOUPS 462651 WITH SCORE 463997.376
AT ITER 6946 NEW BEST:: SOT 1978660 SOS 1340895 HAS SOPS 478070 HAS SOUS 602222 HAS SOUPS 462651 WITH SCORE 463991.895
AT ITER 6961 NEW BEST:: SOT 1978857 SOS 1342482 HAS SOPS 478047 HAS SOUS 602338 HAS SOUPS 462628 WITH SCORE 463970.482
AT ITER 6977 NEW BEST:: SOT 1978743 SOS 1342368 HAS SOPS 477820 HAS SOUS 602111 HAS SOUPS 462401 WITH SCORE 463743.368
AT ITER 6983 NEW BEST:: SOT 1978648 SOS 1342273 HAS SOPS 477630 HAS SOUS 601921 HAS SOUPS 462211 WITH SCORE 463553.273
AT ITER 6986 NEW BEST:: SOT 1978525 SOS 1342150 HAS SOPS 477018 HAS SOUS 601798 HAS SOUPS 461599 WITH SCORE 462941.15
AT ITER 6989 NEW BEST:: SOT 1978552 SOS 1342177 HAS SOPS 476978 HAS SOUS 601815 HAS SOUPS 461559 WITH SCORE 462901.177
AT ITER 7030 NEW BEST:: SOT 1978542 SOS 1342167 HAS SOPS 476968 HAS SOUS 601805 HAS SOUPS 461549 WITH SCORE 462891.167
AT ITER 7036 NEW BEST:: SOT 1978467 SOS 1342092 HAS SOPS 476818 HAS SOUS 601781 HAS SOUPS 461399 WITH SCORE 462741.092
AT ITER 7038 NEW BEST:: SOT 1978511 SOS 1344397 HAS SOPS 476684 HAS SOUS 602064 HAS SOUPS 461265 WITH SCORE 462609.397
AT ITER 7045 NEW BEST:: SOT 1978506 SOS 1344392 HAS SOPS 476679 HAS SOUS 602059 HAS SOUPS 461260 WITH SCORE 462604.392
AT ITER 7080 NEW BEST:: SOT 1978297 SOS 1344183 HAS SOPS 476371 HAS SOUS 601873 HAS SOUPS 460952 WITH SCORE 462296.183
AT ITER 7083 NEW BEST:: SOT 1978242 SOS 1343028 HAS SOPS 476316 HAS SOUS 601818 HAS SOUPS 460897 WITH SCORE 462240.028
AT ITER 7092 NEW BEST:: SOT 1978227 SOS 1343013 HAS SOPS 476286 HAS SOUS 601788 HAS SOUPS 460867 WITH SCORE 462210.013
AT ITER 7105 NEW BEST:: SOT 1978185 SOS 1341610 HAS SOPS 477046 HAS SOUS 601347 HAS SOUPS 460715 WITH SCORE 462056.61
AT ITER 7152 NEW BEST:: SOT 1978183 SOS 1341608 HAS SOPS 476932 HAS SOUS 601233 HAS SOUPS 460601 WITH SCORE 461942.608
AT ITER 7160 NEW BEST:: SOT 1978003 SOS 1341428 HAS SOPS 476752 HAS SOUS 600873 HAS SOUPS 460421 WITH SCORE 461762.428
AT ITER 7170 NEW BEST:: SOT 1977800 SOS 1341225 HAS SOPS 476584 HAS SOUS 600705 HAS SOUPS 460253 WITH SCORE 461594.225
AT ITER 7172 NEW BEST:: SOT 1977800 SOS 1340994 HAS SOPS 475660 HAS SOUS 600048 HAS SOUPS 459542 WITH SCORE 460882.994
AT ITER 7174 NEW BEST:: SOT 1977558 SOS 1340660 HAS SOPS 475218 HAS SOUS 599466 HAS SOUPS 459100 WITH SCORE 460440.66
AT ITER 7182 NEW BEST:: SOT 1977479 SOS 1340581 HAS SOPS 475060 HAS SOUS 599308 HAS SOUPS 458942 WITH SCORE 460282.581
AT ITER 7209 NEW BEST:: SOT 1977449 SOS 1340551 HAS SOPS 475060 HAS SOUS 599308 HAS SOUPS 458942 WITH SCORE 460282.551
AT ITER 7217 NEW BEST:: SOT 1977494 SOS 1340596 HAS SOPS 475058 HAS SOUS 599306 HAS SOUPS 458940 WITH SCORE 460280.596
AT ITER 7224 NEW BEST:: SOT 1977412 SOS 1340514 HAS SOPS 475058 HAS SOUS 599306 HAS SOUPS 458940 WITH SCORE 460280.514
AT ITER 7231 NEW BEST:: SOT 1977420 SOS 1342480 HAS SOPS 475038 HAS SOUS 599314 HAS SOUPS 458920 WITH SCORE 460262.48
AT ITER 7268 NEW BEST:: SOT 1977318 SOS 1342378 HAS SOPS 474819 HAS SOUS 599110 HAS SOUPS 458716 WITH SCORE 460058.378
AT ITER 7282 NEW BEST:: SOT 1976968 SOS 1342028 HAS SOPS 474719 HAS SOUS 599053 HAS SOUPS 458616 WITH SCORE 459958.028
AT ITER 7291 NEW BEST:: SOT 1976953 SOS 1342013 HAS SOPS 474689 HAS SOUS 599023 HAS SOUPS 458586 WITH SCORE 459928.013
AT ITER 7308 NEW BEST:: SOT 1976884 SOS 1341944 HAS SOPS 474209 HAS SOUS 598280 HAS SOUPS 458106 WITH SCORE 459447.944
AT ITER 7324 NEW BEST:: SOT 1976921 SOS 1342054 HAS SOPS 474144 HAS SOUS 598317 HAS SOUPS 458041 WITH SCORE 459383.054
AT ITER 7333 NEW BEST:: SOT 1976917 SOS 1342050 HAS SOPS 474136 HAS SOUS 598315 HAS SOUPS 458033 WITH SCORE 459375.05
AT ITER 7335 NEW BEST:: SOT 1976916 SOS 1342049 HAS SOPS 474134 HAS SOUS 598314 HAS SOUPS 458031 WITH SCORE 459373.049
AT ITER 7339 NEW BEST:: SOT 1976946 SOS 1342110 HAS SOPS 474132 HAS SOUS 598312 HAS SOUPS 458029 WITH SCORE 459371.11
AT ITER 7350 NEW BEST:: SOT 1977056 SOS 1342246 HAS SOPS 473957 HAS SOUS 598187 HAS SOUPS 457854 WITH SCORE 459196.246
AT ITER 7355 NEW BEST:: SOT 1977204 SOS 1342394 HAS SOPS 473907 HAS SOUS 598228 HAS SOUPS 457804 WITH SCORE 459146.394
AT ITER 7359 NEW BEST:: SOT 1977400 SOS 1342590 HAS SOPS 473715 HAS SOUS 598061 HAS SOUPS 457612 WITH SCORE 458954.59
AT ITER 7362 NEW BEST:: SOT 1977697 SOS 1342816 HAS SOPS 473713 HAS SOUS 598059 HAS SOUPS 457610 WITH SCORE 458952.816
AT ITER 7368 NEW BEST:: SOT 1977708 SOS 1342839 HAS SOPS 473711 HAS SOUS 598057 HAS SOUPS 457608 WITH SCORE 458950.839
AT ITER 7381 NEW BEST:: SOT 1977676 SOS 1342807 HAS SOPS 473647 HAS SOUS 597993 HAS SOUPS 457544 WITH SCORE 458886.807
AT ITER 7385 NEW BEST:: SOT 1977669 SOS 1342800 HAS SOPS 473633 HAS SOUS 598015 HAS SOUPS 457530 WITH SCORE 458872.8
AT ITER 7392 NEW BEST:: SOT 1977758 SOS 1344669 HAS SOPS 473544 HAS SOUS 598015 HAS SOUPS 457441 WITH SCORE 458785.669
AT ITER 7400 NEW BEST:: SOT 1977723 SOS 1344634 HAS SOPS 473403 HAS SOUS 597935 HAS SOUPS 457300 WITH SCORE 458644.634
AT ITER 7404 NEW BEST:: SOT 1977718 SOS 1344629 HAS SOPS 473403 HAS SOUS 597935 HAS SOUPS 457300 WITH SCORE 458644.629
AT ITER 7416 NEW BEST:: SOT 1977743 SOS 1344654 HAS SOPS 473383 HAS SOUS 597915 HAS SOUPS 457280 WITH SCORE 458624.654
AT ITER 7441 NEW BEST:: SOT 1977324 SOS 1344235 HAS SOPS 472545 HAS SOUS 597752 HAS SOUPS 456442 WITH SCORE 457786.235
AT ITER 7443 NEW BEST:: SOT 1977306 SOS 1344217 HAS SOPS 472458 HAS SOUS 597741 HAS SOUPS 456355 WITH SCORE 457699.217
AT ITER 7444 NEW BEST:: SOT 1977353 SOS 1343460 HAS SOPS 472643 HAS SOUS 597571 HAS SOUPS 456323 WITH SCORE 457666.46
AT ITER 7445 NEW BEST:: SOT 1977691 SOS 1343081 HAS SOPS 472981 HAS SOUS 596948 HAS SOUPS 455962 WITH SCORE 457305.081
AT ITER 7457 NEW BEST:: SOT 1977654 SOS 1343044 HAS SOPS 472907 HAS SOUS 596874 HAS SOUPS 455888 WITH SCORE 457231.044
AT ITER 7468 NEW BEST:: SOT 1977643 SOS 1343033 HAS SOPS 472896 HAS SOUS 596863 HAS SOUPS 455877 WITH SCORE 457220.033
AT ITER 7487 NEW BEST:: SOT 1977607 SOS 1342997 HAS SOPS 472896 HAS SOUS 596863 HAS SOUPS 455877 WITH SCORE 457219.997
AT ITER 7495 NEW BEST:: SOT 1977460 SOS 1342850 HAS SOPS 472557 HAS SOUS 596524 HAS SOUPS 455538 WITH SCORE 456880.85
AT ITER 7518 NEW BEST:: SOT 1977219 SOS 1342609 HAS SOPS 471998 HAS SOUS 596076 HAS SOUPS 455090 WITH SCORE 456432.609
AT ITER 7530 NEW BEST:: SOT 1977946 SOS 1343336 HAS SOPS 471916 HAS SOUS 597336 HAS SOUPS 455008 WITH SCORE 456351.336
AT ITER 7531 NEW BEST:: SOT 1977938 SOS 1343328 HAS SOPS 471900 HAS SOUS 597320 HAS SOUPS 454992 WITH SCORE 456335.328
AT ITER 7545 NEW BEST:: SOT 1978203 SOS 1343593 HAS SOPS 471899 HAS SOUS 597319 HAS SOUPS 454991 WITH SCORE 456334.593
AT ITER 7552 NEW BEST:: SOT 1978203 SOS 1343593 HAS SOPS 471899 HAS SOUS 597314 HAS SOUPS 454986 WITH SCORE 456329.593
AT ITER 7561 NEW BEST:: SOT 1978175 SOS 1343565 HAS SOPS 471871 HAS SOUS 597286 HAS SOUPS 454958 WITH SCORE 456301.565
AT ITER 7582 NEW BEST:: SOT 1977995 SOS 1343385 HAS SOPS 471250 HAS SOUS 597187 HAS SOUPS 454337 WITH SCORE 455680.385
AT ITER 7597 NEW BEST:: SOT 1977986 SOS 1343376 HAS SOPS 471214 HAS SOUS 597151 HAS SOUPS 454301 WITH SCORE 455644.376
AT ITER 7619 NEW BEST:: SOT 1977986 SOS 1343376 HAS SOPS 471214 HAS SOUS 597123 HAS SOUPS 454273 WITH SCORE 455616.376
AT ITER 7642 NEW BEST:: SOT 1978389 SOS 1343597 HAS SOPS 470765 HAS SOUS 596674 HAS SOUPS 453824 WITH SCORE 455167.597
AT ITER 7690 NEW BEST:: SOT 1978389 SOS 1343597 HAS SOPS 470604 HAS SOUS 596513 HAS SOUPS 453663 WITH SCORE 455006.597
AT ITER 7696 NEW BEST:: SOT 1978475 SOS 1343683 HAS SOPS 470130 HAS SOUS 596039 HAS SOUPS 453189 WITH SCORE 454532.683
AT ITER 7708 NEW BEST:: SOT 1978550 SOS 1343758 HAS SOPS 469960 HAS SOUS 595869 HAS SOUPS 453019 WITH SCORE 454362.758
AT ITER 7717 NEW BEST:: SOT 1978521 SOS 1343729 HAS SOPS 469873 HAS SOUS 595782 HAS SOUPS 452932 WITH SCORE 454275.729
AT ITER 7724 NEW BEST:: SOT 1978592 SOS 1343800 HAS SOPS 469802 HAS SOUS 595782 HAS SOUPS 452861 WITH SCORE 454204.8
AT ITER 7726 NEW BEST:: SOT 1978024 SOS 1343232 HAS SOPS 469234 HAS SOUS 595214 HAS SOUPS 452293 WITH SCORE 453636.232
AT ITER 7747 NEW BEST:: SOT 1978217 SOS 1343425 HAS SOPS 469204 HAS SOUS 595386 HAS SOUPS 452263 WITH SCORE 453606.425
AT ITER 7753 NEW BEST:: SOT 1978537 SOS 1343745 HAS SOPS 469054 HAS SOUS 595236 HAS SOUPS 452113 WITH SCORE 453456.745
AT ITER 7762 NEW BEST:: SOT 1978701 SOS 1343909 HAS SOPS 469000 HAS SOUS 595182 HAS SOUPS 452059 WITH SCORE 453402.909
AT ITER 7771 NEW BEST:: SOT 1978699 SOS 1343907 HAS SOPS 468995 HAS SOUS 595178 HAS SOUPS 452055 WITH SCORE 453398.907
AT ITER 7773 NEW BEST:: SOT 1978623 SOS 1343831 HAS SOPS 468929 HAS SOUS 595102 HAS SOUPS 451989 WITH SCORE 453332.831
AT ITER 7786 NEW BEST:: SOT 1978586 SOS 1343794 HAS SOPS 468929 HAS SOUS 595102 HAS SOUPS 451989 WITH SCORE 453332.794
AT ITER 7798 NEW BEST:: SOT 1978820 SOS 1344028 HAS SOPS 468699 HAS SOUS 594872 HAS SOUPS 451759 WITH SCORE 453103.028
AT ITER 7810 NEW BEST:: SOT 1977821 SOS 1343029 HAS SOPS 467478 HAS SOUS 593651 HAS SOUPS 450538 WITH SCORE 451881.029
AT ITER 7835 NEW BEST:: SOT 1977532 SOS 1342740 HAS SOPS 467104 HAS SOUS 593277 HAS SOUPS 450164 WITH SCORE 451506.74
AT ITER 7855 NEW BEST:: SOT 1977431 SOS 1342639 HAS SOPS 467020 HAS SOUS 593176 HAS SOUPS 450080 WITH SCORE 451422.639
AT ITER 7859 NEW BEST:: SOT 1977430 SOS 1342638 HAS SOPS 467018 HAS SOUS 593174 HAS SOUPS 450078 WITH SCORE 451420.638
AT ITER 7862 NEW BEST:: SOT 1977458 SOS 1342666 HAS SOPS 466990 HAS SOUS 593146 HAS SOUPS 450050 WITH SCORE 451392.666
AT ITER 7869 NEW BEST:: SOT 1977205 SOS 1342413 HAS SOPS 466897 HAS SOUS 593103 HAS SOUPS 450007 WITH SCORE 451349.413
AT ITER 7875 NEW BEST:: SOT 1977337 SOS 1344105 HAS SOPS 466851 HAS SOUS 593135 HAS SOUPS 449961 WITH SCORE 451305.105
AT ITER 7891 NEW BEST:: SOT 1977337 SOS 1344335 HAS SOPS 466782 HAS SOUS 593089 HAS SOUPS 449892 WITH SCORE 451236.335
AT ITER 7895 NEW BEST:: SOT 1977336 SOS 1344334 HAS SOPS 466780 HAS SOUS 593087 HAS SOUPS 449890 WITH SCORE 451234.334
AT ITER 7898 NEW BEST:: SOT 1977233 SOS 1344231 HAS SOPS 466780 HAS SOUS 593087 HAS SOUPS 449890 WITH SCORE 451234.231
AT ITER 7904 NEW BEST:: SOT 1977236 SOS 1344234 HAS SOPS 466686 HAS SOUS 593055 HAS SOUPS 449796 WITH SCORE 451140.234
AT ITER 7921 NEW BEST:: SOT 1977063 SOS 1344061 HAS SOPS 466532 HAS SOUS 592901 HAS SOUPS 449642 WITH SCORE 450986.061
AT ITER 7922 NEW BEST:: SOT 1977061 SOS 1344041 HAS SOPS 466532 HAS SOUS 592897 HAS SOUPS 449640 WITH SCORE 450984.041
AT ITER 7926 NEW BEST:: SOT 1976959 SOS 1343939 HAS SOPS 466481 HAS SOUS 592795 HAS SOUPS 449589 WITH SCORE 450932.939
AT ITER 7946 NEW BEST:: SOT 1976828 SOS 1343808 HAS SOPS 466350 HAS SOUS 592664 HAS SOUPS 449458 WITH SCORE 450801.808
AT ITER 7947 NEW BEST:: SOT 1976823 SOS 1343803 HAS SOPS 466345 HAS SOUS 592659 HAS SOUPS 449453 WITH SCORE 450796.803
AT ITER 7960 NEW BEST:: SOT 1976174 SOS 1345130 HAS SOPS 465235 HAS SOUS 593108 HAS SOUPS 449441 WITH SCORE 450786.13
AT ITER 7961 NEW BEST:: SOT 1975956 SOS 1344912 HAS SOPS 465017 HAS SOUS 592890 HAS SOUPS 449223 WITH SCORE 450567.912
AT ITER 7963 NEW BEST:: SOT 1975956 SOS 1344912 HAS SOPS 465001 HAS SOUS 592874 HAS SOUPS 449207 WITH SCORE 450551.912
AT ITER 7965 NEW BEST:: SOT 1975835 SOS 1344791 HAS SOPS 464759 HAS SOUS 592632 HAS SOUPS 448965 WITH SCORE 450309.791
AT ITER 7992 NEW BEST:: SOT 1975815 SOS 1343240 HAS SOPS 464739 HAS SOUS 592303 HAS SOUPS 448945 WITH SCORE 450288.24
AT ITER 8009 NEW BEST:: SOT 1975759 SOS 1343184 HAS SOPS 464461 HAS SOUS 592025 HAS SOUPS 448667 WITH SCORE 450010.184
AT ITER 8014 NEW BEST:: SOT 1975636 SOS 1343572 HAS SOPS 464067 HAS SOUS 591886 HAS SOUPS 448432 WITH SCORE 449775.572
AT ITER 8072 NEW BEST:: SOT 1975321 SOS 1340294 HAS SOPS 464067 HAS SOUS 591654 HAS SOUPS 448432 WITH SCORE 449772.294
AT ITER 8087 NEW BEST:: SOT 1975435 SOS 1341281 HAS SOPS 464036 HAS SOUS 591778 HAS SOUPS 448401 WITH SCORE 449742.281
AT ITER 8106 NEW BEST:: SOT 1975427 SOS 1341273 HAS SOPS 464020 HAS SOUS 591762 HAS SOUPS 448385 WITH SCORE 449726.273
AT ITER 8130 NEW BEST:: SOT 1975793 SOS 1339218 HAS SOPS 464618 HAS SOUS 590973 HAS SOUPS 448036 WITH SCORE 449375.218
AT ITER 8133 NEW BEST:: SOT 1975765 SOS 1339190 HAS SOPS 464562 HAS SOUS 590917 HAS SOUPS 447980 WITH SCORE 449319.19
AT ITER 8145 NEW BEST:: SOT 1975462 SOS 1338887 HAS SOPS 463694 HAS SOUS 590049 HAS SOUPS 447112 WITH SCORE 448450.887
AT ITER 8151 NEW BEST:: SOT 1974942 SOS 1338367 HAS SOPS 463282 HAS SOUS 589637 HAS SOUPS 446700 WITH SCORE 448038.367
AT ITER 8153 NEW BEST:: SOT 1974962 SOS 1338387 HAS SOPS 463254 HAS SOUS 589609 HAS SOUPS 446672 WITH SCORE 448010.387
AT ITER 8156 NEW BEST:: SOT 1974900 SOS 1338359 HAS SOPS 463130 HAS SOUS 589744 HAS SOUPS 446548 WITH SCORE 447886.359
AT ITER 8161 NEW BEST:: SOT 1974900 SOS 1338478 HAS SOPS 462962 HAS SOUS 589576 HAS SOUPS 446380 WITH SCORE 447718.478
AT ITER 8167 NEW BEST:: SOT 1974921 SOS 1338499 HAS SOPS 462818 HAS SOUS 589432 HAS SOUPS 446236 WITH SCORE 447574.499
AT ITER 8168 NEW BEST:: SOT 1974612 SOS 1338190 HAS SOPS 462482 HAS SOUS 589096 HAS SOUPS 445900 WITH SCORE 447238.19
AT ITER 8221 NEW BEST:: SOT 1974612 SOS 1338330 HAS SOPS 462475 HAS SOUS 589096 HAS SOUPS 445893 WITH SCORE 447231.33
AT ITER 8222 NEW BEST:: SOT 1974469 SOS 1338187 HAS SOPS 462189 HAS SOUS 588810 HAS SOUPS 445607 WITH SCORE 446945.187
AT ITER 8226 NEW BEST:: SOT 1974329 SOS 1335440 HAS SOPS 462189 HAS SOUS 588670 HAS SOUPS 445607 WITH SCORE 446942.44
AT ITER 8230 NEW BEST:: SOT 1974230 SOS 1335341 HAS SOPS 461892 HAS SOUS 588373 HAS SOUPS 445310 WITH SCORE 446645.341
AT ITER 8253 NEW BEST:: SOT 1974225 SOS 1335336 HAS SOPS 461882 HAS SOUS 588368 HAS SOUPS 445300 WITH SCORE 446635.336
AT ITER 8259 NEW BEST:: SOT 1974214 SOS 1335325 HAS SOPS 461860 HAS SOUS 588346 HAS SOUPS 445278 WITH SCORE 446613.325
AT ITER 8264 NEW BEST:: SOT 1974214 SOS 1335325 HAS SOPS 461822 HAS SOUS 588384 HAS SOUPS 445240 WITH SCORE 446575.325
AT ITER 8274 NEW BEST:: SOT 1974289 SOS 1335400 HAS SOPS 461814 HAS SOUS 588538 HAS SOUPS 445232 WITH SCORE 446567.4
AT ITER 8276 NEW BEST:: SOT 1974174 SOS 1335289 HAS SOPS 461730 HAS SOUS 588454 HAS SOUPS 445148 WITH SCORE 446483.289
AT ITER 8285 NEW BEST:: SOT 1974127 SOS 1335242 HAS SOPS 461636 HAS SOUS 588360 HAS SOUPS 445054 WITH SCORE 446389.242
AT ITER 8303 NEW BEST:: SOT 1974211 SOS 1335326 HAS SOPS 461592 HAS SOUS 588357 HAS SOUPS 445010 WITH SCORE 446345.326
AT ITER 8319 NEW BEST:: SOT 1974148 SOS 1335263 HAS SOPS 461466 HAS SOUS 588231 HAS SOUPS 444884 WITH SCORE 446219.263
AT ITER 8324 NEW BEST:: SOT 1973940 SOS 1335055 HAS SOPS 461050 HAS SOUS 588023 HAS SOUPS 444468 WITH SCORE 445803.055
AT ITER 8342 NEW BEST:: SOT 1973900 SOS 1335015 HAS SOPS 460970 HAS SOUS 587983 HAS SOUPS 444388 WITH SCORE 445723.015
AT ITER 8347 NEW BEST:: SOT 1973886 SOS 1335001 HAS SOPS 460942 HAS SOUS 587991 HAS SOUPS 444360 WITH SCORE 445695.001
AT ITER 8359 NEW BEST:: SOT 1973886 SOS 1335001 HAS SOPS 460891 HAS SOUS 587940 HAS SOUPS 444309 WITH SCORE 445644.001
AT ITER 8367 NEW BEST:: SOT 1973657 SOS 1334772 HAS SOPS 460124 HAS SOUS 587482 HAS SOUPS 443851 WITH SCORE 445185.772
AT ITER 8371 NEW BEST:: SOT 1973457 SOS 1334572 HAS SOPS 459924 HAS SOUS 587282 HAS SOUPS 443651 WITH SCORE 444985.572
AT ITER 8387 NEW BEST:: SOT 1973440 SOS 1334215 HAS SOPS 459924 HAS SOUS 587265 HAS SOUPS 443651 WITH SCORE 444985.215
AT ITER 8397 NEW BEST:: SOT 1973945 SOS 1334692 HAS SOPS 459833 HAS SOUS 587174 HAS SOUPS 443560 WITH SCORE 444894.692
AT ITER 8412 NEW BEST:: SOT 1973907 SOS 1334654 HAS SOPS 459757 HAS SOUS 587098 HAS SOUPS 443484 WITH SCORE 444818.654
AT ITER 8428 NEW BEST:: SOT 1974180 SOS 1334927 HAS SOPS 459435 HAS SOUS 586776 HAS SOUPS 443162 WITH SCORE 444496.927
AT ITER 8453 NEW BEST:: SOT 1974144 SOS 1334891 HAS SOPS 459363 HAS SOUS 586704 HAS SOUPS 443090 WITH SCORE 444424.891
AT ITER 8455 NEW BEST:: SOT 1973881 SOS 1334628 HAS SOPS 459125 HAS SOUS 586441 HAS SOUPS 442852 WITH SCORE 444186.628
AT ITER 8467 NEW BEST:: SOT 1973929 SOS 1334676 HAS SOPS 458879 HAS SOUS 586200 HAS SOUPS 442606 WITH SCORE 443940.676
AT ITER 8476 NEW BEST:: SOT 1973719 SOS 1334466 HAS SOPS 458459 HAS SOUS 585780 HAS SOUPS 442186 WITH SCORE 443520.466
AT ITER 8479 NEW BEST:: SOT 1973636 SOS 1334550 HAS SOPS 458399 HAS SOUS 585720 HAS SOUPS 442126 WITH SCORE 443460.55
AT ITER 8508 NEW BEST:: SOT 1973429 SOS 1334343 HAS SOPS 458237 HAS SOUS 585577 HAS SOUPS 441964 WITH SCORE 443298.343
AT ITER 8509 NEW BEST:: SOT 1973413 SOS 1336137 HAS SOPS 457948 HAS SOUS 585496 HAS SOUPS 441675 WITH SCORE 443011.137
AT ITER 8537 NEW BEST:: SOT 1973403 SOS 1336127 HAS SOPS 457928 HAS SOUS 585251 HAS SOUPS 441655 WITH SCORE 442991.127
AT ITER 8538 NEW BEST:: SOT 1973368 SOS 1336092 HAS SOPS 457928 HAS SOUS 585251 HAS SOUPS 441655 WITH SCORE 442991.092
AT ITER 8540 NEW BEST:: SOT 1973093 SOS 1335817 HAS SOPS 457614 HAS SOUS 584928 HAS SOUPS 441341 WITH SCORE 442676.817
AT ITER 8541 NEW BEST:: SOT 1973075 SOS 1335799 HAS SOPS 457578 HAS SOUS 584892 HAS SOUPS 441305 WITH SCORE 442640.799
AT ITER 8571 NEW BEST:: SOT 1973163 SOS 1335977 HAS SOPS 457570 HAS SOUS 584916 HAS SOUPS 441297 WITH SCORE 442632.977
AT ITER 8575 NEW BEST:: SOT 1973132 SOS 1335946 HAS SOPS 457469 HAS SOUS 584815 HAS SOUPS 441196 WITH SCORE 442531.946
AT ITER 8578 NEW BEST:: SOT 1972556 SOS 1335370 HAS SOPS 457153 HAS SOUS 584465 HAS SOUPS 440880 WITH SCORE 442215.37
AT ITER 8608 NEW BEST:: SOT 1972554 SOS 1335368 HAS SOPS 457149 HAS SOUS 584461 HAS SOUPS 440876 WITH SCORE 442211.368
AT ITER 8618 NEW BEST:: SOT 1972424 SOS 1334208 HAS SOPS 457095 HAS SOUS 584304 HAS SOUPS 440822 WITH SCORE 442156.208
AT ITER 8619 NEW BEST:: SOT 1971917 SOS 1333701 HAS SOPS 456767 HAS SOUS 584319 HAS SOUPS 440494 WITH SCORE 441827.701
AT ITER 8623 NEW BEST:: SOT 1971901 SOS 1333685 HAS SOPS 456252 HAS SOUS 584190 HAS SOUPS 439979 WITH SCORE 441312.685
AT ITER 8634 NEW BEST:: SOT 1971845 SOS 1333629 HAS SOPS 456196 HAS SOUS 584134 HAS SOUPS 439923 WITH SCORE 441256.629
AT ITER 8637 NEW BEST:: SOT 1971829 SOS 1333613 HAS SOPS 456164 HAS SOUS 584102 HAS SOUPS 439891 WITH SCORE 441224.613
AT ITER 8648 NEW BEST:: SOT 1971657 SOS 1333441 HAS SOPS 456012 HAS SOUS 584064 HAS SOUPS 439739 WITH SCORE 441072.441
AT ITER 8655 NEW BEST:: SOT 1971559 SOS 1333343 HAS SOPS 456012 HAS SOUS 583966 HAS SOUPS 439739 WITH SCORE 441072.343
AT ITER 8656 NEW BEST:: SOT 1971510 SOS 1333294 HAS SOPS 455914 HAS SOUS 583860 HAS SOUPS 439641 WITH SCORE 440974.294
AT ITER 8692 NEW BEST:: SOT 1971418 SOS 1333202 HAS SOPS 455730 HAS SOUS 583757 HAS SOUPS 439457 WITH SCORE 440790.202
AT ITER 8696 NEW BEST:: SOT 1971450 SOS 1334413 HAS SOPS 455532 HAS SOUS 583821 HAS SOUPS 439390 WITH SCORE 440724.413
AT ITER 8700 NEW BEST:: SOT 1971318 SOS 1334281 HAS SOPS 455268 HAS SOUS 583645 HAS SOUPS 439126 WITH SCORE 440460.281
AT ITER 8720 NEW BEST:: SOT 1971290 SOS 1334258 HAS SOPS 455018 HAS SOUS 583395 HAS SOUPS 438876 WITH SCORE 440210.258
AT ITER 8732 NEW BEST:: SOT 1970802 SOS 1333770 HAS SOPS 454862 HAS SOUS 583239 HAS SOUPS 438720 WITH SCORE 440053.77
AT ITER 8821 NEW BEST:: SOT 1970748 SOS 1333716 HAS SOPS 454808 HAS SOUS 583185 HAS SOUPS 438666 WITH SCORE 439999.716
AT ITER 8829 NEW BEST:: SOT 1970796 SOS 1333764 HAS SOPS 454790 HAS SOUS 583233 HAS SOUPS 438648 WITH SCORE 439981.764
AT ITER 8858 NEW BEST:: SOT 1970787 SOS 1333755 HAS SOPS 454784 HAS SOUS 583224 HAS SOUPS 438642 WITH SCORE 439975.755
AT ITER 8867 NEW BEST:: SOT 1970685 SOS 1333631 HAS SOPS 454368 HAS SOUS 582728 HAS SOUPS 438146 WITH SCORE 439479.631
AT ITER 8873 NEW BEST:: SOT 1970464 SOS 1333410 HAS SOPS 454368 HAS SOUS 582728 HAS SOUPS 438146 WITH SCORE 439479.41
AT ITER 8883 NEW BEST:: SOT 1970271 SOS 1333217 HAS SOPS 454130 HAS SOUS 582490 HAS SOUPS 437908 WITH SCORE 439241.217
AT ITER 8885 NEW BEST:: SOT 1970194 SOS 1333140 HAS SOPS 453976 HAS SOUS 582419 HAS SOUPS 437754 WITH SCORE 439087.14
AT ITER 8897 NEW BEST:: SOT 1970183 SOS 1333129 HAS SOPS 453820 HAS SOUS 582408 HAS SOUPS 437598 WITH SCORE 438931.129
AT ITER 8898 NEW BEST:: SOT 1970183 SOS 1333129 HAS SOPS 453793 HAS SOUS 582381 HAS SOUPS 437571 WITH SCORE 438904.129
AT ITER 8906 NEW BEST:: SOT 1970191 SOS 1333103 HAS SOPS 453483 HAS SOUS 581908 HAS SOUPS 437261 WITH SCORE 438594.103
AT ITER 8911 NEW BEST:: SOT 1970079 SOS 1332991 HAS SOPS 453259 HAS SOUS 581684 HAS SOUPS 437037 WITH SCORE 438369.991
AT ITER 8913 NEW BEST:: SOT 1969899 SOS 1332811 HAS SOPS 453079 HAS SOUS 581504 HAS SOUPS 436857 WITH SCORE 438189.811
AT ITER 8915 NEW BEST:: SOT 1969907 SOS 1332819 HAS SOPS 453016 HAS SOUS 581441 HAS SOUPS 436794 WITH SCORE 438126.819
AT ITER 8924 NEW BEST:: SOT 1969866 SOS 1332778 HAS SOPS 452992 HAS SOUS 581417 HAS SOUPS 436770 WITH SCORE 438102.778
AT ITER 8927 NEW BEST:: SOT 1969866 SOS 1332778 HAS SOPS 452784 HAS SOUS 581531 HAS SOUPS 436562 WITH SCORE 437894.778
AT ITER 8928 NEW BEST:: SOT 1969769 SOS 1332681 HAS SOPS 452687 HAS SOUS 581346 HAS SOUPS 436465 WITH SCORE 437797.681
AT ITER 8933 NEW BEST:: SOT 1969683 SOS 1330875 HAS SOPS 452687 HAS SOUS 581260 HAS SOUPS 436465 WITH SCORE 437795.875
AT ITER 8935 NEW BEST:: SOT 1969677 SOS 1330869 HAS SOPS 452681 HAS SOUS 581251 HAS SOUPS 436459 WITH SCORE 437789.869
AT ITER 8939 NEW BEST:: SOT 1969683 SOS 1330875 HAS SOPS 452566 HAS SOUS 581321 HAS SOUPS 436344 WITH SCORE 437674.875
AT ITER 8941 NEW BEST:: SOT 1969745 SOS 1330126 HAS SOPS 452886 HAS SOUS 580759 HAS SOUPS 436040 WITH SCORE 437370.126
AT ITER 8969 NEW BEST:: SOT 1969570 SOS 1329951 HAS SOPS 452536 HAS SOUS 580409 HAS SOUPS 435690 WITH SCORE 437019.951
AT ITER 8976 NEW BEST:: SOT 1969570 SOS 1329951 HAS SOPS 452533 HAS SOUS 580406 HAS SOUPS 435687 WITH SCORE 437016.951
AT ITER 9001 NEW BEST:: SOT 1969562 SOS 1329943 HAS SOPS 452517 HAS SOUS 580390 HAS SOUPS 435671 WITH SCORE 437000.943
AT ITER 9010 NEW BEST:: SOT 1969506 SOS 1329887 HAS SOPS 452486 HAS SOUS 580359 HAS SOUPS 435640 WITH SCORE 436969.887
AT ITER 9011 NEW BEST:: SOT 1969265 SOS 1329646 HAS SOPS 452004 HAS SOUS 579813 HAS SOUPS 435158 WITH SCORE 436487.646
AT ITER 9015 NEW BEST:: SOT 1969260 SOS 1329641 HAS SOPS 451999 HAS SOUS 579803 HAS SOUPS 435153 WITH SCORE 436482.641
AT ITER 9023 NEW BEST:: SOT 1969285 SOS 1329666 HAS SOPS 451953 HAS SOUS 579757 HAS SOUPS 435107 WITH SCORE 436436.666
AT ITER 9039 NEW BEST:: SOT 1969293 SOS 1329674 HAS SOPS 451855 HAS SOUS 579659 HAS SOUPS 435009 WITH SCORE 436338.674
AT ITER 9052 NEW BEST:: SOT 1969516 SOS 1329897 HAS SOPS 451725 HAS SOUS 579855 HAS SOUPS 434879 WITH SCORE 436208.897
AT ITER 9054 NEW BEST:: SOT 1969516 SOS 1329897 HAS SOPS 451561 HAS SOUS 579691 HAS SOUPS 434715 WITH SCORE 436044.897
AT ITER 9078 NEW BEST:: SOT 1969516 SOS 1329897 HAS SOPS 451497 HAS SOUS 579627 HAS SOUPS 434651 WITH SCORE 435980.897
AT ITER 9088 NEW BEST:: SOT 1969397 SOS 1329778 HAS SOPS 451370 HAS SOUS 579500 HAS SOUPS 434524 WITH SCORE 435853.778
AT ITER 9100 NEW BEST:: SOT 1969280 SOS 1329661 HAS SOPS 451259 HAS SOUS 579266 HAS SOUPS 434413 WITH SCORE 435742.661
AT ITER 9108 NEW BEST:: SOT 1969281 SOS 1329662 HAS SOPS 451094 HAS SOUS 579083 HAS SOUPS 434248 WITH SCORE 435577.662
AT ITER 9132 NEW BEST:: SOT 1969118 SOS 1329499 HAS SOPS 450943 HAS SOUS 578757 HAS SOUPS 433922 WITH SCORE 435251.499
AT ITER 9140 NEW BEST:: SOT 1968991 SOS 1329372 HAS SOPS 450816 HAS SOUS 578630 HAS SOUPS 433795 WITH SCORE 435124.372
AT ITER 9154 NEW BEST:: SOT 1968715 SOS 1329096 HAS SOPS 450264 HAS SOUS 578132 HAS SOUPS 433243 WITH SCORE 434572.096
AT ITER 9175 NEW BEST:: SOT 1968555 SOS 1328856 HAS SOPS 449864 HAS SOUS 577629 HAS SOUPS 432740 WITH SCORE 434068.856
AT ITER 9181 NEW BEST:: SOT 1968506 SOS 1328807 HAS SOPS 449813 HAS SOUS 577625 HAS SOUPS 432689 WITH SCORE 434017.807
AT ITER 9214 NEW BEST:: SOT 1968399 SOS 1328700 HAS SOPS 449813 HAS SOUS 577625 HAS SOUPS 432689 WITH SCORE 434017.7
AT ITER 9217 NEW BEST:: SOT 1968252 SOS 1328553 HAS SOPS 449519 HAS SOUS 577331 HAS SOUPS 432395 WITH SCORE 433723.553
AT ITER 9227 NEW BEST:: SOT 1968257 SOS 1328798 HAS SOPS 449409 HAS SOUS 577281 HAS SOUPS 432315 WITH SCORE 433643.798
AT ITER 9228 NEW BEST:: SOT 1968372 SOS 1329143 HAS SOPS 449294 HAS SOUS 577281 HAS SOUPS 432200 WITH SCORE 433529.143
AT ITER 9243 NEW BEST:: SOT 1968433 SOS 1329204 HAS SOPS 449152 HAS SOUS 577139 HAS SOUPS 432058 WITH SCORE 433387.204
AT ITER 9249 NEW BEST:: SOT 1968759 SOS 1329530 HAS SOPS 448708 HAS SOUS 576715 HAS SOUPS 431614 WITH SCORE 432943.53
AT ITER 9257 NEW BEST:: SOT 1968727 SOS 1329178 HAS SOPS 448692 HAS SOUS 576683 HAS SOUPS 431598 WITH SCORE 432927.178
AT ITER 9261 NEW BEST:: SOT 1968695 SOS 1329146 HAS SOPS 448628 HAS SOUS 576704 HAS SOUPS 431534 WITH SCORE 432863.146
AT ITER 9271 NEW BEST:: SOT 1968695 SOS 1346019 HAS SOPS 448458 HAS SOUS 576765 HAS SOUPS 431364 WITH SCORE 432710.019
AT ITER 9278 NEW BEST:: SOT 1968579 SOS 1345903 HAS SOPS 448458 HAS SOUS 576881 HAS SOUPS 431364 WITH SCORE 432709.903
AT ITER 9314 NEW BEST:: SOT 1968381 SOS 1343725 HAS SOPS 448359 HAS SOUS 576659 HAS SOUPS 431265 WITH SCORE 432608.725
AT ITER 9323 NEW BEST:: SOT 1968321 SOS 1343625 HAS SOPS 448359 HAS SOUS 576657 HAS SOUPS 431265 WITH SCORE 432608.625
AT ITER 9330 NEW BEST:: SOT 1968293 SOS 1344067 HAS SOPS 448226 HAS SOUS 576594 HAS SOUPS 431132 WITH SCORE 432476.067
AT ITER 9333 NEW BEST:: SOT 1967981 SOS 1343755 HAS SOPS 448226 HAS SOUS 576594 HAS SOUPS 431132 WITH SCORE 432475.755
AT ITER 9335 NEW BEST:: SOT 1968321 SOS 1344655 HAS SOPS 448105 HAS SOUS 576793 HAS SOUPS 431011 WITH SCORE 432355.655
AT ITER 9347 NEW BEST:: SOT 1968328 SOS 1344662 HAS SOPS 448097 HAS SOUS 576785 HAS SOUPS 431003 WITH SCORE 432347.662
AT ITER 9360 NEW BEST:: SOT 1968328 SOS 1343682 HAS SOPS 447117 HAS SOUS 576729 HAS SOUPS 430947 WITH SCORE 432290.682
AT ITER 9361 NEW BEST:: SOT 1968328 SOS 1343682 HAS SOPS 447049 HAS SOUS 576695 HAS SOUPS 430913 WITH SCORE 432256.682
AT ITER 9368 NEW BEST:: SOT 1968293 SOS 1343647 HAS SOPS 446979 HAS SOUS 576615 HAS SOUPS 430843 WITH SCORE 432186.647
AT ITER 9376 NEW BEST:: SOT 1968141 SOS 1343495 HAS SOPS 446675 HAS SOUS 576458 HAS SOUPS 430539 WITH SCORE 431882.495
AT ITER 9430 NEW BEST:: SOT 1968114 SOS 1343468 HAS SOPS 446621 HAS SOUS 576404 HAS SOUPS 430485 WITH SCORE 431828.468
AT ITER 9435 NEW BEST:: SOT 1968161 SOS 1343515 HAS SOPS 446397 HAS SOUS 576180 HAS SOUPS 430261 WITH SCORE 431604.515
AT ITER 9455 NEW BEST:: SOT 1968305 SOS 1347698 HAS SOPS 446137 HAS SOUS 576585 HAS SOUPS 430001 WITH SCORE 431348.698
AT ITER 9489 NEW BEST:: SOT 1967836 SOS 1347229 HAS SOPS 445661 HAS SOUS 576109 HAS SOUPS 429525 WITH SCORE 430872.229
AT ITER 9513 NEW BEST:: SOT 1969789 SOS 1347343 HAS SOPS 443847 HAS SOUS 575808 HAS SOUPS 429224 WITH SCORE 430571.343
AT ITER 9537 NEW BEST:: SOT 1969789 SOS 1347343 HAS SOPS 443812 HAS SOUS 575773 HAS SOUPS 429189 WITH SCORE 430536.343
AT ITER 9541 NEW BEST:: SOT 1969838 SOS 1347392 HAS SOPS 443795 HAS SOUS 575822 HAS SOUPS 429172 WITH SCORE 430519.392
AT ITER 9542 NEW BEST:: SOT 1969843 SOS 1347397 HAS SOPS 443674 HAS SOUS 575701 HAS SOUPS 429051 WITH SCORE 430398.397
AT ITER 9567 NEW BEST:: SOT 1969828 SOS 1347382 HAS SOPS 443644 HAS SOUS 575413 HAS SOUPS 429021 WITH SCORE 430368.382
AT ITER 9574 NEW BEST:: SOT 1969672 SOS 1347226 HAS SOPS 443332 HAS SOUS 575327 HAS SOUPS 428709 WITH SCORE 430056.226
AT ITER 9597 NEW BEST:: SOT 1969556 SOS 1347110 HAS SOPS 442868 HAS SOUS 574939 HAS SOUPS 428245 WITH SCORE 429592.11
AT ITER 9621 NEW BEST:: SOT 1969427 SOS 1346981 HAS SOPS 442693 HAS SOUS 574736 HAS SOUPS 428070 WITH SCORE 429416.981
AT ITER 9640 NEW BEST:: SOT 1969352 SOS 1346906 HAS SOPS 442543 HAS SOUS 574571 HAS SOUPS 427920 WITH SCORE 429266.906
AT ITER 9646 NEW BEST:: SOT 1969319 SOS 1346873 HAS SOPS 442444 HAS SOUS 574571 HAS SOUPS 427821 WITH SCORE 429167.873
AT ITER 9661 NEW BEST:: SOT 1969345 SOS 1347279 HAS SOPS 442439 HAS SOUS 574593 HAS SOUPS 427816 WITH SCORE 429163.279
AT ITER 9670 NEW BEST:: SOT 1969283 SOS 1347217 HAS SOPS 442439 HAS SOUS 574533 HAS SOUPS 427816 WITH SCORE 429163.217
AT ITER 9684 NEW BEST:: SOT 1969255 SOS 1347189 HAS SOPS 442409 HAS SOUS 574503 HAS SOUPS 427786 WITH SCORE 429133.189
AT ITER 9701 NEW BEST:: SOT 1969688 SOS 1347622 HAS SOPS 442047 HAS SOUS 574443 HAS SOUPS 427424 WITH SCORE 428771.622
AT ITER 9706 NEW BEST:: SOT 1969674 SOS 1347608 HAS SOPS 442019 HAS SOUS 574429 HAS SOUPS 427396 WITH SCORE 428743.608
AT ITER 9712 NEW BEST:: SOT 1969373 SOS 1347307 HAS SOPS 442019 HAS SOUS 574524 HAS SOUPS 427396 WITH SCORE 428743.307
AT ITER 9714 NEW BEST:: SOT 1969373 SOS 1347307 HAS SOPS 441994 HAS SOUS 574499 HAS SOUPS 427371 WITH SCORE 428718.307
AT ITER 9718 NEW BEST:: SOT 1969730 SOS 1347664 HAS SOPS 441800 HAS SOUS 574305 HAS SOUPS 427177 WITH SCORE 428524.664
AT ITER 9747 NEW BEST:: SOT 1969783 SOS 1348497 HAS SOPS 441575 HAS SOUS 574223 HAS SOUPS 426952 WITH SCORE 428300.497
AT ITER 9749 NEW BEST:: SOT 1969772 SOS 1348486 HAS SOPS 441553 HAS SOUS 574201 HAS SOUPS 426930 WITH SCORE 428278.486
AT ITER 9773 NEW BEST:: SOT 1969722 SOS 1348436 HAS SOPS 441453 HAS SOUS 574101 HAS SOUPS 426830 WITH SCORE 428178.436
AT ITER 9774 NEW BEST:: SOT 1969715 SOS 1348429 HAS SOPS 441439 HAS SOUS 574087 HAS SOUPS 426816 WITH SCORE 428164.429
AT ITER 9791 NEW BEST:: SOT 1969675 SOS 1348389 HAS SOPS 441359 HAS SOUS 574007 HAS SOUPS 426736 WITH SCORE 428084.389
AT ITER 9793 NEW BEST:: SOT 1969675 SOS 1348358 HAS SOPS 441359 HAS SOUS 574007 HAS SOUPS 426736 WITH SCORE 428084.358
AT ITER 9809 NEW BEST:: SOT 1970112 SOS 1348795 HAS SOPS 441105 HAS SOUS 573999 HAS SOUPS 426482 WITH SCORE 427830.795
AT ITER 9812 NEW BEST:: SOT 1970105 SOS 1348788 HAS SOPS 440899 HAS SOUS 573793 HAS SOUPS 426276 WITH SCORE 427624.788
AT ITER 9817 NEW BEST:: SOT 1970229 SOS 1348912 HAS SOPS 440817 HAS SOUS 573711 HAS SOUPS 426194 WITH SCORE 427542.912
AT ITER 9820 NEW BEST:: SOT 1970203 SOS 1348886 HAS SOPS 440739 HAS SOUS 573633 HAS SOUPS 426116 WITH SCORE 427464.886
AT ITER 9826 NEW BEST:: SOT 1970095 SOS 1348778 HAS SOPS 440523 HAS SOUS 573417 HAS SOUPS 425900 WITH SCORE 427248.778
AT ITER 9857 NEW BEST:: SOT 1969943 SOS 1348566 HAS SOPS 440499 HAS SOUS 573253 HAS SOUPS 425876 WITH SCORE 427224.566
AT ITER 9860 NEW BEST:: SOT 1970017 SOS 1351424 HAS SOPS 440281 HAS SOUS 573463 HAS SOUPS 425794 WITH SCORE 427145.424
AT ITER 9894 NEW BEST:: SOT 1970153 SOS 1351577 HAS SOPS 440143 HAS SOUS 573888 HAS SOUPS 425656 WITH SCORE 427007.577
AT ITER 9895 NEW BEST:: SOT 1970255 SOS 1351679 HAS SOPS 440070 HAS SOUS 573815 HAS SOUPS 425583 WITH SCORE 426934.679
AT ITER 9898 NEW BEST:: SOT 1970253 SOS 1351677 HAS SOPS 440066 HAS SOUS 573811 HAS SOUPS 425579 WITH SCORE 426930.677
AT ITER 9903 NEW BEST:: SOT 1970150 SOS 1351574 HAS SOPS 440066 HAS SOUS 573811 HAS SOUPS 425579 WITH SCORE 426930.574
AT ITER 9905 NEW BEST:: SOT 1970154 SOS 1351758 HAS SOPS 440047 HAS SOUS 573824 HAS SOUPS 425560 WITH SCORE 426911.758
AT ITER 9946 NEW BEST:: SOT 1970281 SOS 1351885 HAS SOPS 439935 HAS SOUS 573841 HAS SOUPS 425448 WITH SCORE 426799.885
AT ITER 9958 NEW BEST:: SOT 1970385 SOS 1351989 HAS SOPS 439863 HAS SOUS 573913 HAS SOUPS 425376 WITH SCORE 426727.989
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11618824 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16129300 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-010"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BART-PT-010, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813591300776"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;