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.r355-smll-167891803500440.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SemanticWebServices-PT-S256P12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803500440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 23M
-rw-r--r-- 1 mcc users 8.0K Feb 26 10:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 10:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 10:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 10:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 10:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 26 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 23M Mar 5 18:23 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 1679947944336

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=SemanticWebServices-PT-S256P12
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S256P12
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: 356 places, 20464 transitions, 190527 arcs.
AT ITER 0 NEW BEST:: SOT 6937719 SOS 6492982 HAS SOPS 5940827 HAS SOUS 3551951 HAS SOUPS 3533927 WITH SCORE 3540419.982
AT ITER 1 NEW BEST:: SOT 6937719 SOS 6493510 HAS SOPS 5921157 HAS SOUS 3551363 HAS SOUPS 3526955 WITH SCORE 3533448.51
AT ITER 3 NEW BEST:: SOT 6937719 SOS 6493759 HAS SOPS 5921429 HAS SOUS 3550677 HAS SOUPS 3526328 WITH SCORE 3532821.759
AT ITER 5 NEW BEST:: SOT 6937719 SOS 6493415 HAS SOPS 5919549 HAS SOUS 3550177 HAS SOUPS 3525456 WITH SCORE 3531949.415
AT ITER 8 NEW BEST:: SOT 6937719 SOS 6493879 HAS SOPS 5914155 HAS SOUS 3550184 HAS SOUPS 3522690 WITH SCORE 3529183.879
AT ITER 9 NEW BEST:: SOT 6937719 SOS 6490957 HAS SOPS 5919985 HAS SOUS 3549048 HAS SOUPS 3521103 WITH SCORE 3527593.957
AT ITER 10 NEW BEST:: SOT 6937719 SOS 6491077 HAS SOPS 5919961 HAS SOUS 3549072 HAS SOUPS 3521007 WITH SCORE 3527498.077
AT ITER 14 NEW BEST:: SOT 6937719 SOS 6491437 HAS SOPS 5920141 HAS SOUS 3547613 HAS SOUPS 3519524 WITH SCORE 3526015.437
AT ITER 15 NEW BEST:: SOT 6937719 SOS 6489795 HAS SOPS 5924691 HAS SOUS 3522769 HAS SOUPS 3494280 WITH SCORE 3500769.795
AT ITER 18 NEW BEST:: SOT 6937719 SOS 6489935 HAS SOPS 5921621 HAS SOUS 3522227 HAS SOUPS 3492916 WITH SCORE 3499405.935
AT ITER 19 NEW BEST:: SOT 6937719 SOS 6489931 HAS SOPS 5921617 HAS SOUS 3522227 HAS SOUPS 3492916 WITH SCORE 3499405.931
AT ITER 20 NEW BEST:: SOT 6937719 SOS 6490283 HAS SOPS 5921793 HAS SOUS 3521843 HAS SOUPS 3492444 WITH SCORE 3498934.283
AT ITER 23 NEW BEST:: SOT 6937719 SOS 6490281 HAS SOPS 5921733 HAS SOUS 3521772 HAS SOUPS 3492331 WITH SCORE 3498821.281
AT ITER 24 NEW BEST:: SOT 6937719 SOS 6483171 HAS SOPS 5921491 HAS SOUS 3463703 HAS SOUPS 3434315 WITH SCORE 3440798.171
AT ITER 25 NEW BEST:: SOT 6937719 SOS 6482459 HAS SOPS 5914161 HAS SOUS 3454126 HAS SOUPS 3424390 WITH SCORE 3430872.459
AT ITER 27 NEW BEST:: SOT 6937719 SOS 6481987 HAS SOPS 5913315 HAS SOUS 3451066 HAS SOUPS 3421158 WITH SCORE 3427639.987
AT ITER 30 NEW BEST:: SOT 6937719 SOS 6482635 HAS SOPS 5913695 HAS SOUS 3443046 HAS SOUPS 3413168 WITH SCORE 3419650.635
AT ITER 35 NEW BEST:: SOT 6937719 SOS 6482457 HAS SOPS 5913493 HAS SOUS 3435851 HAS SOUPS 3405988 WITH SCORE 3412470.457
AT ITER 36 NEW BEST:: SOT 6937719 SOS 6482457 HAS SOPS 5913493 HAS SOUS 3435823 HAS SOUPS 3405960 WITH SCORE 3412442.457
AT ITER 38 NEW BEST:: SOT 6937719 SOS 6482427 HAS SOPS 5913463 HAS SOUS 3435823 HAS SOUPS 3405960 WITH SCORE 3412442.427
AT ITER 39 NEW BEST:: SOT 6937719 SOS 6476047 HAS SOPS 5911663 HAS SOUS 3431604 HAS SOUPS 3401935 WITH SCORE 3408411.047
AT ITER 40 NEW BEST:: SOT 4266019 SOS 3825109 HAS SOPS 3290965 HAS SOUS 1448392 HAS SOUPS 1430796 WITH SCORE 1434621.109
AT ITER 62 NEW BEST:: SOT 4266019 SOS 3824581 HAS SOPS 3290965 HAS SOUS 1448308 HAS SOUPS 1430730 WITH SCORE 1434554.581
AT ITER 70 NEW BEST:: SOT 4266019 SOS 3824789 HAS SOPS 3290797 HAS SOUS 1438664 HAS SOUPS 1421025 WITH SCORE 1424849.789
AT ITER 71 NEW BEST:: SOT 4266019 SOS 3825415 HAS SOPS 3290841 HAS SOUS 1436173 HAS SOUPS 1418300 WITH SCORE 1422125.415
AT ITER 72 NEW BEST:: SOT 4266019 SOS 3824305 HAS SOPS 3285699 HAS SOUS 1436911 HAS SOUPS 1418274 WITH SCORE 1422098.305
AT ITER 74 NEW BEST:: SOT 4482171 SOS 4041626 HAS SOPS 3503020 HAS SOUS 1420480 HAS SOUPS 1401843 WITH SCORE 1405884.626
AT ITER 77 NEW BEST:: SOT 4482171 SOS 4042238 HAS SOPS 3504316 HAS SOUS 1420475 HAS SOUPS 1401654 WITH SCORE 1405696.238
AT ITER 78 NEW BEST:: SOT 4485659 SOS 4044538 HAS SOPS 3504832 HAS SOUS 1422677 HAS SOUPS 1401492 WITH SCORE 1405536.538
AT ITER 81 NEW BEST:: SOT 4485659 SOS 4043956 HAS SOPS 3497112 HAS SOUS 1410051 HAS SOUPS 1387876 WITH SCORE 1391919.956
AT ITER 82 NEW BEST:: SOT 4531075 SOS 4089280 HAS SOPS 3542306 HAS SOUS 1370399 HAS SOUPS 1348159 WITH SCORE 1352248.28
AT ITER 83 NEW BEST:: SOT 4531101 SOS 4089306 HAS SOPS 3542332 HAS SOUS 1369769 HAS SOUPS 1347529 WITH SCORE 1351618.306
AT ITER 86 NEW BEST:: SOT 4531101 SOS 4086946 HAS SOPS 3519461 HAS SOUS 1370043 HAS SOUPS 1344227 WITH SCORE 1348313.946
AT ITER 88 NEW BEST:: SOT 4531101 SOS 4088106 HAS SOPS 3519685 HAS SOUS 1366301 HAS SOUPS 1339536 WITH SCORE 1343624.106
AT ITER 89 NEW BEST:: SOT 4532193 SOS 4089026 HAS SOPS 3520509 HAS SOUS 1366296 HAS SOUPS 1339489 WITH SCORE 1343578.026
AT ITER 93 NEW BEST:: SOT 4532193 SOS 4089002 HAS SOPS 3520466 HAS SOUS 1366218 HAS SOUPS 1339427 WITH SCORE 1343516.002
AT ITER 96 NEW BEST:: SOT 4537547 SOS 4094824 HAS SOPS 3527116 HAS SOUS 1342046 HAS SOUPS 1315255 WITH SCORE 1319349.824
AT ITER 100 NEW BEST:: SOT 4537547 SOS 4095514 HAS SOPS 3529798 HAS SOUS 1326331 HAS SOUPS 1299736 WITH SCORE 1303831.514
AT ITER 101 NEW BEST:: SOT 4541337 SOS 4094368 HAS SOPS 3520318 HAS SOUS 1325173 HAS SOUPS 1297913 WITH SCORE 1302007.368
AT ITER 102 NEW BEST:: SOT 4528929 SOS 4081960 HAS SOPS 3507910 HAS SOUS 1313596 HAS SOUPS 1286336 WITH SCORE 1290417.96
AT ITER 104 NEW BEST:: SOT 4532401 SOS 4081988 HAS SOPS 3505308 HAS SOUS 1291726 HAS SOUPS 1263722 WITH SCORE 1267803.988
AT ITER 107 NEW BEST:: SOT 4532401 SOS 4081988 HAS SOPS 3505308 HAS SOUS 1291698 HAS SOUPS 1263694 WITH SCORE 1267775.988
AT ITER 113 NEW BEST:: SOT 4562671 SOS 4112386 HAS SOPS 3535630 HAS SOUS 1286383 HAS SOUPS 1258341 WITH SCORE 1262453.386
AT ITER 115 NEW BEST:: SOT 4629057 SOS 4178682 HAS SOPS 3601798 HAS SOUS 1249292 HAS SOUPS 1221186 WITH SCORE 1225364.682
AT ITER 117 NEW BEST:: SOT 4674537 SOS 4223862 HAS SOPS 3647550 HAS SOUS 1202184 HAS SOUPS 1174151 WITH SCORE 1178374.862
AT ITER 118 NEW BEST:: SOT 4674199 SOS 4223564 HAS SOPS 3647252 HAS SOUS 1202068 HAS SOUPS 1174035 WITH SCORE 1178258.564
AT ITER 119 NEW BEST:: SOT 4675909 SOS 4219738 HAS SOPS 3589720 HAS SOUS 1205781 HAS SOUPS 1161432 WITH SCORE 1165651.738
AT ITER 120 NEW BEST:: SOT 4725599 SOS 4269466 HAS SOPS 3639328 HAS SOUS 1174847 HAS SOUPS 1130438 WITH SCORE 1134707.466
AT ITER 125 NEW BEST:: SOT 4725599 SOS 4269442 HAS SOPS 3638980 HAS SOUS 1174688 HAS SOUPS 1130210 WITH SCORE 1134479.442
AT ITER 130 NEW BEST:: SOT 4723441 SOS 4267284 HAS SOPS 3636822 HAS SOUS 1173609 HAS SOUPS 1129131 WITH SCORE 1133398.284
AT ITER 135 NEW BEST:: SOT 4723441 SOS 4256116 HAS SOPS 3634594 HAS SOUS 1169856 HAS SOUPS 1125523 WITH SCORE 1129779.116
AT ITER 142 NEW BEST:: SOT 4723349 SOS 4256024 HAS SOPS 3634502 HAS SOUS 1169695 HAS SOUPS 1125362 WITH SCORE 1129618.024
AT ITER 145 NEW BEST:: SOT 4586695 SOS 4119492 HAS SOPS 3497970 HAS SOUS 1138199 HAS SOUPS 1093866 WITH SCORE 1097985.492
AT ITER 147 NEW BEST:: SOT 4586695 SOS 4101954 HAS SOPS 3496722 HAS SOUS 1137402 HAS SOUPS 1093096 WITH SCORE 1097197.954
AT ITER 149 NEW BEST:: SOT 4586695 SOS 4101774 HAS SOPS 3488462 HAS SOUS 1137146 HAS SOUPS 1092896 WITH SCORE 1096997.774
AT ITER 150 NEW BEST:: SOT 4586720 SOS 4101413 HAS SOPS 3488453 HAS SOUS 1136941 HAS SOUPS 1092867 WITH SCORE 1096968.413
AT ITER 151 NEW BEST:: SOT 4586720 SOS 4102669 HAS SOPS 3491771 HAS SOUS 1133041 HAS SOUPS 1089057 WITH SCORE 1093159.669
AT ITER 154 NEW BEST:: SOT 4586720 SOS 4062155 HAS SOPS 3420721 HAS SOUS 1133152 HAS SOUPS 1089032 WITH SCORE 1093094.155
AT ITER 157 NEW BEST:: SOT 4586720 SOS 4062619 HAS SOPS 3423157 HAS SOUS 1126342 HAS SOUPS 1082222 WITH SCORE 1086284.619
AT ITER 160 NEW BEST:: SOT 4586720 SOS 4061130 HAS SOPS 3421642 HAS SOUS 1126184 HAS SOUPS 1082051 WITH SCORE 1086112.13
AT ITER 162 NEW BEST:: SOT 4586720 SOS 4060862 HAS SOPS 3421508 HAS SOUS 1125862 HAS SOUPS 1081796 WITH SCORE 1085856.862
AT ITER 163 NEW BEST:: SOT 4616368 SOS 4070398 HAS SOPS 3420548 HAS SOUS 1122805 HAS SOUPS 1079742 WITH SCORE 1083812.398
AT ITER 168 NEW BEST:: SOT 4604594 SOS 4058624 HAS SOPS 3408774 HAS SOUS 1116770 HAS SOUPS 1073707 WITH SCORE 1077765.624
AT ITER 170 NEW BEST:: SOT 4604524 SOS 4058554 HAS SOPS 3408704 HAS SOUS 1116674 HAS SOUPS 1073611 WITH SCORE 1077669.554
AT ITER 173 NEW BEST:: SOT 4604524 SOS 4058558 HAS SOPS 3408836 HAS SOUS 1116643 HAS SOUPS 1073593 WITH SCORE 1077651.558
AT ITER 174 NEW BEST:: SOT 4604600 SOS 4058634 HAS SOPS 3408912 HAS SOUS 1116597 HAS SOUPS 1073547 WITH SCORE 1077605.634
AT ITER 175 NEW BEST:: SOT 4604600 SOS 4056926 HAS SOPS 3401594 HAS SOUS 1110629 HAS SOUPS 1067088 WITH SCORE 1071144.926
AT ITER 181 NEW BEST:: SOT 4579886 SOS 4032212 HAS SOPS 3376880 HAS SOUS 1108865 HAS SOUPS 1065324 WITH SCORE 1069356.212
AT ITER 185 NEW BEST:: SOT 4241444 SOS 3933164 HAS SOPS 3826134 HAS SOUS 890656 HAS SOUPS 890248 WITH SCORE 894181.164
AT ITER 196 NEW BEST:: SOT 4249742 SOS 3941462 HAS SOPS 3834432 HAS SOUS 884622 HAS SOUPS 884214 WITH SCORE 888155.462
AT ITER 200 NEW BEST:: SOT 4262293 SOS 3954013 HAS SOPS 3846983 HAS SOUS 860581 HAS SOUPS 860173 WITH SCORE 864127.013
AT ITER 201 NEW BEST:: SOT 4264031 SOS 3833297 HAS SOPS 3535371 HAS SOUS 860997 HAS SOUPS 858486 WITH SCORE 862319.297
AT ITER 208 NEW BEST:: SOT 4346915 SOS 3916181 HAS SOPS 3618255 HAS SOUS 849550 HAS SOUPS 847039 WITH SCORE 850955.181
AT ITER 210 NEW BEST:: SOT 4346765 SOS 3916031 HAS SOPS 3618105 HAS SOUS 849278 HAS SOUPS 846767 WITH SCORE 850683.031
AT ITER 215 NEW BEST:: SOT 4345915 SOS 3915181 HAS SOPS 3617255 HAS SOUS 848896 HAS SOUPS 846385 WITH SCORE 850300.181
AT ITER 225 NEW BEST:: SOT 4345102 SOS 3914368 HAS SOPS 3616442 HAS SOUS 848003 HAS SOUPS 845492 WITH SCORE 849406.368
AT ITER 230 NEW BEST:: SOT 4352218 SOS 3921484 HAS SOPS 3623558 HAS SOUS 844729 HAS SOUPS 842218 WITH SCORE 846139.484
AT ITER 233 NEW BEST:: SOT 4352378 SOS 3921644 HAS SOPS 3623718 HAS SOUS 844369 HAS SOUPS 841858 WITH SCORE 845779.644
AT ITER 238 NEW BEST:: SOT 4351346 SOS 3920612 HAS SOPS 3622686 HAS SOUS 844285 HAS SOUPS 841774 WITH SCORE 845694.612
AT ITER 248 NEW BEST:: SOT 4351866 SOS 3909156 HAS SOPS 3611206 HAS SOUS 841961 HAS SOUPS 839514 WITH SCORE 843423.156
AT ITER 251 NEW BEST:: SOT 4353712 SOS 3911002 HAS SOPS 3613052 HAS SOUS 831333 HAS SOUPS 828886 WITH SCORE 832797.002
AT ITER 262 NEW BEST:: SOT 4353712 SOS 3914916 HAS SOPS 3610956 HAS SOUS 831264 HAS SOUPS 828818 WITH SCORE 832732.916
AT ITER 263 NEW BEST:: SOT 4353746 SOS 3914950 HAS SOPS 3610990 HAS SOUS 831238 HAS SOUPS 828792 WITH SCORE 832706.95
AT ITER 264 NEW BEST:: SOT 4354046 SOS 3913308 HAS SOPS 3611036 HAS SOUS 831167 HAS SOUPS 828729 WITH SCORE 832642.308
AT ITER 265 NEW BEST:: SOT 4358198 SOS 3924896 HAS SOPS 3620784 HAS SOUS 823118 HAS SOUPS 820503 WITH SCORE 824427.896
AT ITER 267 NEW BEST:: SOT 4358454 SOS 3925152 HAS SOPS 3621040 HAS SOUS 823024 HAS SOUPS 820409 WITH SCORE 824334.152
AT ITER 297 NEW BEST:: SOT 4404236 SOS 3970934 HAS SOPS 3666822 HAS SOUS 822935 HAS SOUPS 820320 WITH SCORE 824290.934
AT ITER 301 NEW BEST:: SOT 4404556 SOS 3968520 HAS SOPS 3666870 HAS SOUS 822100 HAS SOUPS 819604 WITH SCORE 823572.52
AT ITER 302 NEW BEST:: SOT 4443710 SOS 4007674 HAS SOPS 3706024 HAS SOUS 820120 HAS SOUPS 817624 WITH SCORE 821631.674
AT ITER 303 NEW BEST:: SOT 4443710 SOS 4007674 HAS SOPS 3706024 HAS SOUS 820059 HAS SOUPS 817563 WITH SCORE 821570.674
AT ITER 311 NEW BEST:: SOT 4443710 SOS 4015186 HAS SOPS 3705688 HAS SOUS 819995 HAS SOUPS 817492 WITH SCORE 821507.186
AT ITER 313 NEW BEST:: SOT 4447978 SOS 4019454 HAS SOPS 3709956 HAS SOUS 817439 HAS SOUPS 814936 WITH SCORE 818955.454
AT ITER 316 NEW BEST:: SOT 4447826 SOS 4016944 HAS SOPS 3711854 HAS SOUS 817146 HAS SOUPS 814387 WITH SCORE 818403.944
AT ITER 320 NEW BEST:: SOT 4553028 SOS 4122146 HAS SOPS 3817056 HAS SOUS 811779 HAS SOUPS 809020 WITH SCORE 813142.146
AT ITER 324 NEW BEST:: SOT 4553168 SOS 4117602 HAS SOPS 3806052 HAS SOUS 810000 HAS SOUPS 807321 WITH SCORE 811438.602
AT ITER 328 NEW BEST:: SOT 4552744 SOS 4112526 HAS SOPS 3811626 HAS SOUS 808936 HAS SOUPS 806436 WITH SCORE 810548.526
AT ITER 331 NEW BEST:: SOT 4555584 SOS 4115366 HAS SOPS 3814466 HAS SOUS 808469 HAS SOUPS 805969 WITH SCORE 810084.366
AT ITER 332 NEW BEST:: SOT 4555584 SOS 4115366 HAS SOPS 3814466 HAS SOUS 808309 HAS SOUPS 805809 WITH SCORE 809924.366
AT ITER 344 NEW BEST:: SOT 4565414 SOS 4125196 HAS SOPS 3824296 HAS SOUS 807119 HAS SOUPS 804619 WITH SCORE 808744.196
AT ITER 346 NEW BEST:: SOT 4509284 SOS 4069066 HAS SOPS 3768166 HAS SOUS 806578 HAS SOUPS 804078 WITH SCORE 808147.066
AT ITER 347 NEW BEST:: SOT 4509188 SOS 4068970 HAS SOPS 3768070 HAS SOUS 806516 HAS SOUPS 804016 WITH SCORE 808084.97
AT ITER 352 NEW BEST:: SOT 4527572 SOS 4069361 HAS SOPS 3778073 HAS SOUS 795374 HAS SOUPS 792893 WITH SCORE 796962.361
AT ITER 353 NEW BEST:: SOT 4527608 SOS 4067267 HAS SOPS 3799499 HAS SOUS 795159 HAS SOUPS 792673 WITH SCORE 796740.267
AT ITER 358 NEW BEST:: SOT 4527584 SOS 4067243 HAS SOPS 3799475 HAS SOUS 795135 HAS SOUPS 792649 WITH SCORE 796716.243
AT ITER 361 NEW BEST:: SOT 4531846 SOS 4071505 HAS SOPS 3803737 HAS SOUS 793564 HAS SOUPS 791078 WITH SCORE 795149.505
AT ITER 362 NEW BEST:: SOT 4548750 SOS 4088461 HAS SOPS 3819809 HAS SOUS 770854 HAS SOUPS 768342 WITH SCORE 772430.461
AT ITER 365 NEW BEST:: SOT 4549446 SOS 4089157 HAS SOPS 3820505 HAS SOUS 770268 HAS SOUPS 767756 WITH SCORE 771845.157
AT ITER 372 NEW BEST:: SOT 4549444 SOS 4089155 HAS SOPS 3820503 HAS SOUS 770266 HAS SOUPS 767754 WITH SCORE 771843.155
AT ITER 373 NEW BEST:: SOT 4549680 SOS 4089391 HAS SOPS 3820739 HAS SOUS 769525 HAS SOUPS 767013 WITH SCORE 771102.391
AT ITER 378 NEW BEST:: SOT 4530360 SOS 4070071 HAS SOPS 3801419 HAS SOUS 764557 HAS SOUPS 762045 WITH SCORE 766115.071
AT ITER 381 NEW BEST:: SOT 4532358 SOS 4011497 HAS SOPS 3661915 HAS SOUS 765920 HAS SOUPS 760269 WITH SCORE 764280.497
AT ITER 384 NEW BEST:: SOT 4531365 SOS 4010504 HAS SOPS 3660922 HAS SOUS 765870 HAS SOUPS 760219 WITH SCORE 764229.504
AT ITER 386 NEW BEST:: SOT 4531365 SOS 4018626 HAS SOPS 3702957 HAS SOUS 765783 HAS SOUPS 760054 WITH SCORE 764072.626
AT ITER 388 NEW BEST:: SOT 4526757 SOS 4014018 HAS SOPS 3698349 HAS SOUS 765774 HAS SOUPS 760045 WITH SCORE 764059.018
AT ITER 392 NEW BEST:: SOT 4526757 SOS 4017562 HAS SOPS 3700013 HAS SOUS 765462 HAS SOUPS 759820 WITH SCORE 763837.562
AT ITER 399 NEW BEST:: SOT 4526247 SOS 4017052 HAS SOPS 3699503 HAS SOUS 765190 HAS SOUPS 759548 WITH SCORE 763565.052
AT ITER 403 NEW BEST:: SOT 4526219 SOS 4017024 HAS SOPS 3699475 HAS SOUS 765172 HAS SOUPS 759530 WITH SCORE 763547.024
AT ITER 407 NEW BEST:: SOT 4526219 SOS 4017220 HAS SOPS 3699517 HAS SOUS 765042 HAS SOUPS 759386 WITH SCORE 763403.22
AT ITER 409 NEW BEST:: SOT 4528323 SOS 4019472 HAS SOPS 3701657 HAS SOUS 756076 HAS SOUPS 750399 WITH SCORE 754418.472
AT ITER 416 NEW BEST:: SOT 4529641 SOS 4021690 HAS SOPS 3701599 HAS SOUS 755248 HAS SOUPS 749714 WITH SCORE 753735.69
AT ITER 420 NEW BEST:: SOT 4529641 SOS 4021656 HAS SOPS 3701565 HAS SOUS 755050 HAS SOUPS 749516 WITH SCORE 753537.656
AT ITER 421 NEW BEST:: SOT 4519723 SOS 4011738 HAS SOPS 3691647 HAS SOUS 755050 HAS SOUPS 749516 WITH SCORE 753527.738
AT ITER 432 NEW BEST:: SOT 4519723 SOS 4010670 HAS SOPS 3691115 HAS SOUS 755050 HAS SOUPS 749505 WITH SCORE 753515.67
AT ITER 438 NEW BEST:: SOT 4520743 SOS 4012398 HAS SOPS 3697221 HAS SOUS 752062 HAS SOUPS 746760 WITH SCORE 750772.398
AT ITER 440 NEW BEST:: SOT 4520739 SOS 4012394 HAS SOPS 3697217 HAS SOUS 752061 HAS SOUPS 746759 WITH SCORE 750771.394
AT ITER 442 NEW BEST:: SOT 4521031 SOS 4012686 HAS SOPS 3697509 HAS SOUS 751294 HAS SOUPS 745992 WITH SCORE 750004.686
AT ITER 456 NEW BEST:: SOT 4575393 SOS 4065404 HAS SOPS 3747423 HAS SOUS 743472 HAS SOUPS 738226 WITH SCORE 742291.404
AT ITER 457 NEW BEST:: SOT 4575235 SOS 4065246 HAS SOPS 3747265 HAS SOUS 742499 HAS SOUPS 737253 WITH SCORE 741318.246
AT ITER 462 NEW BEST:: SOT 4577193 SOS 4066698 HAS SOPS 3749275 HAS SOUS 740931 HAS SOUPS 735667 WITH SCORE 739733.698
AT ITER 463 NEW BEST:: SOT 4587469 SOS 4076974 HAS SOPS 3759551 HAS SOUS 718250 HAS SOUPS 712986 WITH SCORE 717062.974
AT ITER 464 NEW BEST:: SOT 4576681 SOS 4066186 HAS SOPS 3748763 HAS SOUS 716764 HAS SOUPS 711500 WITH SCORE 715566.186
AT ITER 467 NEW BEST:: SOT 4602451 SOS 4091956 HAS SOPS 3774533 HAS SOUS 705695 HAS SOUPS 700431 WITH SCORE 704522.956
AT ITER 468 NEW BEST:: SOT 4602863 SOS 4092368 HAS SOPS 3774945 HAS SOUS 705595 HAS SOUPS 700331 WITH SCORE 704423.368
AT ITER 474 NEW BEST:: SOT 4602911 SOS 4090976 HAS SOPS 3774708 HAS SOUS 704368 HAS SOUPS 699245 WITH SCORE 703335.976
AT ITER 476 NEW BEST:: SOT 4666463 SOS 4154550 HAS SOPS 3838282 HAS SOUS 699798 HAS SOUPS 694675 WITH SCORE 698829.55
AT ITER 478 NEW BEST:: SOT 4667165 SOS 4155252 HAS SOPS 3838984 HAS SOUS 699658 HAS SOUPS 694535 WITH SCORE 698690.252
AT ITER 481 NEW BEST:: SOT 4667691 SOS 4155778 HAS SOPS 3839510 HAS SOUS 698064 HAS SOUPS 692941 WITH SCORE 697096.778
AT ITER 488 NEW BEST:: SOT 4701575 SOS 4189662 HAS SOPS 3873394 HAS SOUS 684858 HAS SOUPS 679735 WITH SCORE 683924.662
AT ITER 491 NEW BEST:: SOT 4699647 SOS 4187734 HAS SOPS 3871466 HAS SOUS 683000 HAS SOUPS 677877 WITH SCORE 682064.734
AT ITER 495 NEW BEST:: SOT 4735801 SOS 4223888 HAS SOPS 3907620 HAS SOUS 667504 HAS SOUPS 662381 WITH SCORE 666604.888
AT ITER 500 NEW BEST:: SOT 4741691 SOS 4231134 HAS SOPS 3908178 HAS SOUS 660998 HAS SOUPS 655832 WITH SCORE 660063.134
AT ITER 505 NEW BEST:: SOT 4738657 SOS 4228100 HAS SOPS 3905144 HAS SOUS 658760 HAS SOUPS 653594 WITH SCORE 657822.1
AT ITER 512 NEW BEST:: SOT 4782411 SOS 4271854 HAS SOPS 3948898 HAS SOUS 654239 HAS SOUPS 649073 WITH SCORE 653344.854
AT ITER 518 NEW BEST:: SOT 4785581 SOS 4268394 HAS SOPS 3948916 HAS SOUS 647139 HAS SOUPS 642098 WITH SCORE 646366.394
AT ITER 519 NEW BEST:: SOT 4832517 SOS 4315330 HAS SOPS 3995852 HAS SOUS 635444 HAS SOUPS 630403 WITH SCORE 634718.33
AT ITER 523 NEW BEST:: SOT 4836425 SOS 4319238 HAS SOPS 3999760 HAS SOUS 627487 HAS SOUPS 622446 WITH SCORE 626765.238
AT ITER 528 NEW BEST:: SOT 4836497 SOS 4319310 HAS SOPS 3999832 HAS SOUS 627478 HAS SOUPS 622437 WITH SCORE 626756.31
AT ITER 530 NEW BEST:: SOT 4826265 SOS 4309078 HAS SOPS 3989600 HAS SOUS 626730 HAS SOUPS 621689 WITH SCORE 625998.078
AT ITER 534 NEW BEST:: SOT 4828697 SOS 4311510 HAS SOPS 3992032 HAS SOUS 625765 HAS SOUPS 620724 WITH SCORE 625035.51
AT ITER 552 NEW BEST:: SOT 4844965 SOS 4327778 HAS SOPS 4008300 HAS SOUS 620780 HAS SOUPS 615739 WITH SCORE 620066.778
AT ITER 556 NEW BEST:: SOT 4856311 SOS 4339124 HAS SOPS 4019646 HAS SOUS 614667 HAS SOUPS 609626 WITH SCORE 613965.124
AT ITER 558 NEW BEST:: SOT 4856385 SOS 4331172 HAS SOPS 4018972 HAS SOUS 614376 HAS SOUPS 609343 WITH SCORE 613674.172
AT ITER 559 NEW BEST:: SOT 4857729 SOS 4332516 HAS SOPS 4020316 HAS SOUS 614116 HAS SOUPS 609083 WITH SCORE 613415.516
AT ITER 568 NEW BEST:: SOT 4860351 SOS 4335138 HAS SOPS 4022938 HAS SOUS 611975 HAS SOUPS 606942 WITH SCORE 611277.138
AT ITER 570 NEW BEST:: SOT 4880339 SOS 4355126 HAS SOPS 4042926 HAS SOUS 606988 HAS SOUPS 601955 WITH SCORE 606310.126
AT ITER 571 NEW BEST:: SOT 4881796 SOS 4356583 HAS SOPS 4044383 HAS SOUS 606671 HAS SOUPS 601638 WITH SCORE 605994.583
AT ITER 574 NEW BEST:: SOT 4882418 SOS 4357205 HAS SOPS 4045005 HAS SOUS 605542 HAS SOUPS 600509 WITH SCORE 604866.205
AT ITER 575 NEW BEST:: SOT 4881186 SOS 4355973 HAS SOPS 4043773 HAS SOUS 604979 HAS SOUPS 599946 WITH SCORE 604301.973
AT ITER 592 NEW BEST:: SOT 4881258 SOS 4356045 HAS SOPS 4043845 HAS SOUS 604483 HAS SOUPS 599450 WITH SCORE 603806.045
AT ITER 614 NEW BEST:: SOT 4897368 SOS 4372155 HAS SOPS 4059955 HAS SOUS 604342 HAS SOUPS 599309 WITH SCORE 603681.155
AT ITER 617 NEW BEST:: SOT 4897368 SOS 4370847 HAS SOPS 4060055 HAS SOUS 603261 HAS SOUPS 598340 WITH SCORE 602710.847
AT ITER 627 NEW BEST:: SOT 4897368 SOS 4368648 HAS SOPS 4056749 HAS SOUS 603278 HAS SOUPS 598322 WITH SCORE 602690.648
AT ITER 634 NEW BEST:: SOT 4897368 SOS 4367262 HAS SOPS 4055847 HAS SOUS 603262 HAS SOUPS 598248 WITH SCORE 602615.262
AT ITER 635 NEW BEST:: SOT 4897302 SOS 4369182 HAS SOPS 4055673 HAS SOUS 601614 HAS SOUPS 596589 WITH SCORE 600958.182
AT ITER 650 NEW BEST:: SOT 4897440 SOS 4367492 HAS SOPS 4048495 HAS SOUS 594291 HAS SOUPS 589475 WITH SCORE 593842.492
AT ITER 653 NEW BEST:: SOT 4897440 SOS 4366904 HAS SOPS 4048363 HAS SOUS 594202 HAS SOUPS 589330 WITH SCORE 593696.904
AT ITER 661 NEW BEST:: SOT 4898863 SOS 4369963 HAS SOPS 4052252 HAS SOUS 592900 HAS SOUPS 588369 WITH SCORE 592738.963
AT ITER 664 NEW BEST:: SOT 4898851 SOS 4370019 HAS SOPS 4052240 HAS SOUS 592884 HAS SOUPS 588319 WITH SCORE 592689.019
AT ITER 670 NEW BEST:: SOT 4898719 SOS 4369887 HAS SOPS 4052108 HAS SOUS 590434 HAS SOUPS 585869 WITH SCORE 590238.887
AT ITER 675 NEW BEST:: SOT 4896713 SOS 4367881 HAS SOPS 4050102 HAS SOUS 588599 HAS SOUPS 584034 WITH SCORE 588401.881
AT ITER 680 NEW BEST:: SOT 4891711 SOS 4362879 HAS SOPS 4045100 HAS SOUS 584433 HAS SOUPS 579868 WITH SCORE 584230.879
AT ITER 682 NEW BEST:: SOT 4895741 SOS 4366909 HAS SOPS 4049130 HAS SOUS 582333 HAS SOUPS 577768 WITH SCORE 582134.909
AT ITER 685 NEW BEST:: SOT 4898541 SOS 4369709 HAS SOPS 4051930 HAS SOUS 582225 HAS SOUPS 577660 WITH SCORE 582029.709
AT ITER 690 NEW BEST:: SOT 4910309 SOS 4381477 HAS SOPS 4063698 HAS SOUS 574293 HAS SOUPS 569728 WITH SCORE 574109.477
AT ITER 692 NEW BEST:: SOT 4912765 SOS 4383857 HAS SOPS 4065321 HAS SOUS 569603 HAS SOUPS 565117 WITH SCORE 569500.857
AT ITER 702 NEW BEST:: SOT 4913311 SOS 4383695 HAS SOPS 4065379 HAS SOUS 568535 HAS SOUPS 564075 WITH SCORE 568458.695
AT ITER 705 NEW BEST:: SOT 4914943 SOS 4385719 HAS SOPS 4067325 HAS SOUS 568077 HAS SOUPS 563665 WITH SCORE 568050.719
AT ITER 710 NEW BEST:: SOT 4915387 SOS 4386163 HAS SOPS 4067769 HAS SOUS 567787 HAS SOUPS 563375 WITH SCORE 567761.163
AT ITER 718 NEW BEST:: SOT 4915781 SOS 4386557 HAS SOPS 4068163 HAS SOUS 567009 HAS SOUPS 562597 WITH SCORE 566983.557
AT ITER 722 NEW BEST:: SOT 4915357 SOS 4386133 HAS SOPS 4067739 HAS SOUS 566797 HAS SOUPS 562385 WITH SCORE 566771.133
AT ITER 726 NEW BEST:: SOT 4897863 SOS 4368639 HAS SOPS 4050245 HAS SOUS 560507 HAS SOUPS 556095 WITH SCORE 560463.639
AT ITER 729 NEW BEST:: SOT 4897863 SOS 4368371 HAS SOPS 4049785 HAS SOUS 560437 HAS SOUPS 556024 WITH SCORE 560392.371
AT ITER 737 NEW BEST:: SOT 4898379 SOS 4368887 HAS SOPS 4050301 HAS SOUS 560413 HAS SOUPS 556000 WITH SCORE 560368.887
AT ITER 739 NEW BEST:: SOT 4929112 SOS 4399620 HAS SOPS 4081034 HAS SOUS 548166 HAS SOUPS 543753 WITH SCORE 548152.62
AT ITER 741 NEW BEST:: SOT 4924858 SOS 4395366 HAS SOPS 4076780 HAS SOUS 546375 HAS SOUPS 541962 WITH SCORE 546357.366
AT ITER 746 NEW BEST:: SOT 4924492 SOS 4395000 HAS SOPS 4076414 HAS SOUS 546010 HAS SOUPS 541597 WITH SCORE 545992.0
AT ITER 748 NEW BEST:: SOT 4933516 SOS 4404024 HAS SOPS 4085438 HAS SOUS 545250 HAS SOUPS 540837 WITH SCORE 545241.024
AT ITER 752 NEW BEST:: SOT 4933516 SOS 4400500 HAS SOPS 4084838 HAS SOUS 545089 HAS SOUPS 540705 WITH SCORE 545105.5
AT ITER 757 NEW BEST:: SOT 4935820 SOS 4366835 HAS SOPS 3984832 HAS SOUS 546271 HAS SOUPS 539099 WITH SCORE 543465.835
AT ITER 762 NEW BEST:: SOT 4937320 SOS 4368335 HAS SOPS 3986332 HAS SOUS 545859 HAS SOUPS 538687 WITH SCORE 543055.335
AT ITER 767 NEW BEST:: SOT 4938640 SOS 4369655 HAS SOPS 3987652 HAS SOUS 545823 HAS SOUPS 538651 WITH SCORE 543020.655
AT ITER 772 NEW BEST:: SOT 4936986 SOS 4368001 HAS SOPS 3985998 HAS SOUS 543398 HAS SOUPS 536226 WITH SCORE 540594.001
AT ITER 773 NEW BEST:: SOT 4840624 SOS 4288641 HAS SOPS 3898238 HAS SOUS 542301 HAS SOUPS 535094 WITH SCORE 539382.641
AT ITER 779 NEW BEST:: SOT 4840916 SOS 4288933 HAS SOPS 3898530 HAS SOUS 541749 HAS SOUPS 534542 WITH SCORE 538830.933
AT ITER 784 NEW BEST:: SOT 4840916 SOS 4288933 HAS SOPS 3898530 HAS SOUS 541681 HAS SOUPS 534474 WITH SCORE 538762.933
AT ITER 798 NEW BEST:: SOT 4840808 SOS 4288825 HAS SOPS 3898422 HAS SOUS 541633 HAS SOUPS 534426 WITH SCORE 538714.825
AT ITER 799 NEW BEST:: SOT 4841216 SOS 4288393 HAS SOPS 3898638 HAS SOUS 540473 HAS SOUPS 533441 WITH SCORE 537729.393
AT ITER 803 NEW BEST:: SOT 4841915 SOS 4289134 HAS SOPS 3898807 HAS SOUS 538786 HAS SOUPS 531754 WITH SCORE 536043.134
AT ITER 804 NEW BEST:: SOT 4842195 SOS 4289468 HAS SOPS 3899105 HAS SOUS 537957 HAS SOUPS 530961 WITH SCORE 535250.468
AT ITER 805 NEW BEST:: SOT 4842151 SOS 4289424 HAS SOPS 3899061 HAS SOUS 537913 HAS SOUPS 530917 WITH SCORE 535206.424
AT ITER 806 NEW BEST:: SOT 4842151 SOS 4285984 HAS SOPS 3884865 HAS SOUS 537542 HAS SOUPS 530614 WITH SCORE 534899.984
AT ITER 807 NEW BEST:: SOT 4842291 SOS 4285797 HAS SOPS 3884927 HAS SOUS 537076 HAS SOUPS 530107 WITH SCORE 534392.797
AT ITER 809 NEW BEST:: SOT 4841171 SOS 4284677 HAS SOPS 3883807 HAS SOUS 531838 HAS SOUPS 524869 WITH SCORE 529153.677
AT ITER 815 NEW BEST:: SOT 4914333 SOS 4341600 HAS SOPS 3949902 HAS SOUS 528152 HAS SOUPS 521270 WITH SCORE 525611.6
AT ITER 821 NEW BEST:: SOT 4913755 SOS 4363732 HAS SOPS 3980524 HAS SOUS 527857 HAS SOUPS 521037 WITH SCORE 525400.732
AT ITER 827 NEW BEST:: SOT 4914391 SOS 4364368 HAS SOPS 3981160 HAS SOUS 526616 HAS SOUPS 519796 WITH SCORE 524160.368
AT ITER 829 NEW BEST:: SOT 4913190 SOS 4363167 HAS SOPS 3979959 HAS SOUS 522946 HAS SOUPS 516126 WITH SCORE 520489.167
AT ITER 831 NEW BEST:: SOT 4910946 SOS 4360747 HAS SOPS 3977163 HAS SOUS 507153 HAS SOUPS 500476 WITH SCORE 504836.747
AT ITER 832 NEW BEST:: SOT 4910706 SOS 4360507 HAS SOPS 3976923 HAS SOUS 506893 HAS SOUPS 500216 WITH SCORE 504576.507
AT ITER 835 NEW BEST:: SOT 4910706 SOS 4360239 HAS SOPS 3976773 HAS SOUS 506581 HAS SOUPS 499963 WITH SCORE 504323.239
AT ITER 843 NEW BEST:: SOT 4906038 SOS 4355571 HAS SOPS 3972105 HAS SOUS 505964 HAS SOUPS 499346 WITH SCORE 503701.571
AT ITER 847 NEW BEST:: SOT 4906014 SOS 4355547 HAS SOPS 3972081 HAS SOUS 505962 HAS SOUPS 499344 WITH SCORE 503699.547
AT ITER 862 NEW BEST:: SOT 4930763 SOS 4380296 HAS SOPS 3996830 HAS SOUS 499242 HAS SOUPS 492624 WITH SCORE 497004.296
AT ITER 868 NEW BEST:: SOT 4935311 SOS 4383476 HAS SOPS 4001002 HAS SOUS 492986 HAS SOUPS 486469 WITH SCORE 490852.476
AT ITER 879 NEW BEST:: SOT 4935341 SOS 4383506 HAS SOPS 4001032 HAS SOUS 492930 HAS SOUPS 486413 WITH SCORE 490796.506
AT ITER 882 NEW BEST:: SOT 4943941 SOS 4392106 HAS SOPS 4009632 HAS SOUS 489196 HAS SOUPS 482679 WITH SCORE 487071.106
AT ITER 883 NEW BEST:: SOT 4944037 SOS 4392202 HAS SOPS 4009728 HAS SOUS 489094 HAS SOUPS 482577 WITH SCORE 486969.202
AT ITER 886 NEW BEST:: SOT 4944553 SOS 4392718 HAS SOPS 4010244 HAS SOUS 489001 HAS SOUPS 482484 WITH SCORE 486876.718
AT ITER 891 NEW BEST:: SOT 4935829 SOS 4386112 HAS SOPS 4003340 HAS SOUS 485181 HAS SOUPS 478690 WITH SCORE 483076.112
AT ITER 892 NEW BEST:: SOT 4935829 SOS 4385986 HAS SOPS 4003346 HAS SOUS 484833 HAS SOUPS 478574 WITH SCORE 482959.986
AT ITER 898 NEW BEST:: SOT 4934657 SOS 4384814 HAS SOPS 4002174 HAS SOUS 479577 HAS SOUPS 473318 WITH SCORE 477702.814
AT ITER 900 NEW BEST:: SOT 4934657 SOS 4384754 HAS SOPS 4002114 HAS SOUS 479545 HAS SOUPS 473286 WITH SCORE 477670.754
AT ITER 911 NEW BEST:: SOT 4935989 SOS 4386086 HAS SOPS 4003446 HAS SOUS 478908 HAS SOUPS 472649 WITH SCORE 477035.086
AT ITER 914 NEW BEST:: SOT 4937673 SOS 4387770 HAS SOPS 4005130 HAS SOUS 478749 HAS SOUPS 472490 WITH SCORE 476877.77
AT ITER 915 NEW BEST:: SOT 4938061 SOS 4388138 HAS SOPS 4005618 HAS SOUS 475655 HAS SOUPS 469436 WITH SCORE 473824.138
AT ITER 916 NEW BEST:: SOT 4930053 SOS 4380130 HAS SOPS 3997610 HAS SOUS 475626 HAS SOUPS 469407 WITH SCORE 473787.13
AT ITER 919 NEW BEST:: SOT 4933597 SOS 4383674 HAS SOPS 4001154 HAS SOUS 473870 HAS SOUPS 467651 WITH SCORE 472034.674
AT ITER 926 NEW BEST:: SOT 4933597 SOS 4383240 HAS SOPS 4001222 HAS SOUS 473949 HAS SOUPS 467570 WITH SCORE 471953.24
AT ITER 934 NEW BEST:: SOT 4933603 SOS 4381830 HAS SOPS 3977038 HAS SOUS 473673 HAS SOUPS 467218 WITH SCORE 471599.83
AT ITER 935 NEW BEST:: SOT 4933603 SOS 4381920 HAS SOPS 3977092 HAS SOUS 473610 HAS SOUPS 467164 WITH SCORE 471545.92
AT ITER 938 NEW BEST:: SOT 4933138 SOS 4381743 HAS SOPS 3980129 HAS SOUS 469276 HAS SOUPS 463080 WITH SCORE 467461.743
AT ITER 939 NEW BEST:: SOT 4934152 SOS 4382757 HAS SOPS 3981143 HAS SOUS 463334 HAS SOUPS 457138 WITH SCORE 461520.757
AT ITER 943 NEW BEST:: SOT 4934152 SOS 4373377 HAS SOPS 3980233 HAS SOUS 463300 HAS SOUPS 457068 WITH SCORE 461441.377
AT ITER 944 NEW BEST:: SOT 4936710 SOS 4375933 HAS SOPS 3982759 HAS SOUS 459604 HAS SOUPS 453377 WITH SCORE 457752.933
AT ITER 948 NEW BEST:: SOT 4937042 SOS 4376135 HAS SOPS 3983065 HAS SOUS 458708 HAS SOUPS 452494 WITH SCORE 456870.135
AT ITER 960 NEW BEST:: SOT 4937042 SOS 4358527 HAS SOPS 3950661 HAS SOUS 458743 HAS SOUPS 452205 WITH SCORE 456563.527
AT ITER 961 NEW BEST:: SOT 4937042 SOS 4358123 HAS SOPS 3950239 HAS SOUS 458739 HAS SOUPS 452203 WITH SCORE 456561.123
AT ITER 967 NEW BEST:: SOT 4935440 SOS 4356521 HAS SOPS 3948637 HAS SOUS 457235 HAS SOUPS 450699 WITH SCORE 455055.521
AT ITER 968 NEW BEST:: SOT 4932872 SOS 4353953 HAS SOPS 3946069 HAS SOUS 456643 HAS SOUPS 450107 WITH SCORE 454460.953
AT ITER 973 NEW BEST:: SOT 4932796 SOS 4353877 HAS SOPS 3945993 HAS SOUS 453421 HAS SOUPS 446885 WITH SCORE 451238.877
AT ITER 974 NEW BEST:: SOT 4933358 SOS 4347713 HAS SOPS 3941717 HAS SOUS 451778 HAS SOUPS 445551 WITH SCORE 449898.713
AT ITER 976 NEW BEST:: SOT 4933358 SOS 4352437 HAS SOPS 3931157 HAS SOUS 451389 HAS SOUPS 445277 WITH SCORE 449629.437
AT ITER 977 NEW BEST:: SOT 4932922 SOS 4352001 HAS SOPS 3930721 HAS SOUS 436757 HAS SOUPS 430645 WITH SCORE 434997.001
AT ITER 978 NEW BEST:: SOT 4933368 SOS 4352447 HAS SOPS 3931167 HAS SOUS 436191 HAS SOUPS 430079 WITH SCORE 434431.447
AT ITER 987 NEW BEST:: SOT 4937137 SOS 4349043 HAS SOPS 3930080 HAS SOUS 434090 HAS SOUPS 428124 WITH SCORE 432473.043
AT ITER 993 NEW BEST:: SOT 4936337 SOS 4348243 HAS SOPS 3929280 HAS SOUS 433406 HAS SOUPS 427440 WITH SCORE 431788.243
AT ITER 1001 NEW BEST:: SOT 4933221 SOS 4345127 HAS SOPS 3926164 HAS SOUS 430325 HAS SOUPS 424359 WITH SCORE 428704.127
AT ITER 1011 NEW BEST:: SOT 4926845 SOS 4338751 HAS SOPS 3919788 HAS SOUS 430327 HAS SOUPS 424361 WITH SCORE 428699.751
AT ITER 1023 NEW BEST:: SOT 4926679 SOS 4338637 HAS SOPS 3919622 HAS SOUS 430338 HAS SOUPS 424346 WITH SCORE 428684.637
AT ITER 1055 NEW BEST:: SOT 4930681 SOS 4342639 HAS SOPS 3923624 HAS SOUS 427649 HAS SOUPS 421657 WITH SCORE 425999.639
AT ITER 1057 NEW BEST:: SOT 4928147 SOS 4340105 HAS SOPS 3921090 HAS SOUS 427601 HAS SOUPS 421609 WITH SCORE 425949.105
AT ITER 1062 NEW BEST:: SOT 4931215 SOS 4343173 HAS SOPS 3924158 HAS SOUS 427412 HAS SOUPS 421420 WITH SCORE 425763.173
AT ITER 1071 NEW BEST:: SOT 4931251 SOS 4343209 HAS SOPS 3924194 HAS SOUS 427282 HAS SOUPS 421290 WITH SCORE 425633.209
AT ITER 1076 NEW BEST:: SOT 4931251 SOS 4344564 HAS SOPS 3924895 HAS SOUS 427279 HAS SOUPS 421288 WITH SCORE 425632.564
AT ITER 1086 NEW BEST:: SOT 4931323 SOS 4340590 HAS SOPS 3893801 HAS SOUS 426638 HAS SOUPS 420680 WITH SCORE 425020.59
AT ITER 1095 NEW BEST:: SOT 4930555 SOS 4339822 HAS SOPS 3893033 HAS SOUS 426332 HAS SOUPS 420374 WITH SCORE 424713.822
AT ITER 1100 NEW BEST:: SOT 4926484 SOS 4335751 HAS SOPS 3888962 HAS SOUS 424479 HAS SOUPS 418521 WITH SCORE 422856.751
AT ITER 1108 NEW BEST:: SOT 4926484 SOS 4335639 HAS SOPS 3888850 HAS SOUS 424367 HAS SOUPS 418437 WITH SCORE 422772.639
AT ITER 1111 NEW BEST:: SOT 4926628 SOS 4335615 HAS SOPS 3888994 HAS SOUS 424068 HAS SOUPS 418222 WITH SCORE 422557.615
AT ITER 1119 NEW BEST:: SOT 4930182 SOS 4337665 HAS SOPS 3892324 HAS SOUS 423921 HAS SOUPS 418154 WITH SCORE 422491.665
AT ITER 1121 NEW BEST:: SOT 4930270 SOS 4331417 HAS SOPS 3883974 HAS SOUS 423134 HAS SOUPS 417430 WITH SCORE 421761.417
AT ITER 1123 NEW BEST:: SOT 4910181 SOS 4311328 HAS SOPS 3863885 HAS SOUS 421848 HAS SOUPS 416144 WITH SCORE 420455.328
AT ITER 1126 NEW BEST:: SOT 4877851 SOS 4278998 HAS SOPS 3831555 HAS SOUS 409926 HAS SOUPS 404222 WITH SCORE 408500.998
AT ITER 1127 NEW BEST:: SOT 4877851 SOS 4276454 HAS SOPS 3830595 HAS SOUS 409755 HAS SOUPS 404117 WITH SCORE 408393.454
AT ITER 1128 NEW BEST:: SOT 4879105 SOS 4277708 HAS SOPS 3831849 HAS SOUS 408264 HAS SOUPS 402626 WITH SCORE 406903.708
AT ITER 1129 NEW BEST:: SOT 4862807 SOS 4261410 HAS SOPS 3815551 HAS SOUS 407181 HAS SOUPS 401543 WITH SCORE 405804.41
AT ITER 1136 NEW BEST:: SOT 4847697 SOS 4246300 HAS SOPS 3800441 HAS SOUS 392231 HAS SOUPS 386593 WITH SCORE 390839.3
AT ITER 1151 NEW BEST:: SOT 4848779 SOS 4196944 HAS SOPS 3794363 HAS SOUS 391037 HAS SOUPS 385486 WITH SCORE 389682.944
AT ITER 1157 NEW BEST:: SOT 4848789 SOS 4196954 HAS SOPS 3794373 HAS SOUS 391026 HAS SOUPS 385475 WITH SCORE 389671.954
AT ITER 1169 NEW BEST:: SOT 4848789 SOS 4196682 HAS SOPS 3793077 HAS SOUS 391002 HAS SOUPS 385455 WITH SCORE 389651.682
AT ITER 1171 NEW BEST:: SOT 4849025 SOS 4196918 HAS SOPS 3793313 HAS SOUS 390812 HAS SOUPS 385265 WITH SCORE 389461.918
AT ITER 1173 NEW BEST:: SOT 4864709 SOS 4212602 HAS SOPS 3808997 HAS SOUS 385662 HAS SOUPS 380115 WITH SCORE 384327.602
AT ITER 1174 NEW BEST:: SOT 4864407 SOS 4212300 HAS SOPS 3808695 HAS SOUS 384866 HAS SOUPS 379319 WITH SCORE 383531.3
AT ITER 1188 NEW BEST:: SOT 4859115 SOS 4207008 HAS SOPS 3803403 HAS SOUS 383564 HAS SOUPS 378017 WITH SCORE 382224.008
AT ITER 1212 NEW BEST:: SOT 4859182 SOS 4207075 HAS SOPS 3803470 HAS SOUS 383317 HAS SOUPS 377770 WITH SCORE 381977.075
AT ITER 1225 NEW BEST:: SOT 4859188 SOS 4207081 HAS SOPS 3803476 HAS SOUS 383314 HAS SOUPS 377767 WITH SCORE 381974.081
AT ITER 1228 NEW BEST:: SOT 4856862 SOS 4204787 HAS SOPS 3801248 HAS SOUS 381672 HAS SOUPS 376226 WITH SCORE 380430.787
AT ITER 1233 NEW BEST:: SOT 4856968 SOS 4205012 HAS SOPS 3796552 HAS SOUS 380476 HAS SOUPS 375094 WITH SCORE 379299.012
AT ITER 1243 NEW BEST:: SOT 4856968 SOS 4161690 HAS SOPS 3748250 HAS SOUS 380270 HAS SOUPS 375048 WITH SCORE 379209.69
AT ITER 1271 NEW BEST:: SOT 4855806 SOS 4160528 HAS SOPS 3747088 HAS SOUS 380069 HAS SOUPS 374847 WITH SCORE 379007.528
AT ITER 1281 NEW BEST:: SOT 4856090 SOS 4160810 HAS SOPS 3747372 HAS SOUS 380002 HAS SOUPS 374781 WITH SCORE 378941.81
AT ITER 1314 NEW BEST:: SOT 4856090 SOS 4154448 HAS SOPS 3746336 HAS SOUS 379934 HAS SOUPS 374670 WITH SCORE 378824.448
AT ITER 1326 NEW BEST:: SOT 4856090 SOS 4154356 HAS SOPS 3746336 HAS SOUS 379745 HAS SOUPS 374527 WITH SCORE 378681.356
AT ITER 1334 NEW BEST:: SOT 4854430 SOS 4152696 HAS SOPS 3744676 HAS SOUS 379734 HAS SOUPS 374516 WITH SCORE 378668.696
AT ITER 1337 NEW BEST:: SOT 4854430 SOS 4123332 HAS SOPS 3743802 HAS SOUS 379661 HAS SOUPS 374510 WITH SCORE 378633.332
AT ITER 1339 NEW BEST:: SOT 4854668 SOS 4120882 HAS SOPS 3744694 HAS SOUS 378893 HAS SOUPS 373809 WITH SCORE 377929.882
AT ITER 1351 NEW BEST:: SOT 4854668 SOS 4115488 HAS SOPS 3745224 HAS SOUS 378853 HAS SOUPS 373784 WITH SCORE 377899.488
AT ITER 1359 NEW BEST:: SOT 4857850 SOS 4118670 HAS SOPS 3748406 HAS SOUS 378273 HAS SOUPS 373204 WITH SCORE 377322.67
AT ITER 1364 NEW BEST:: SOT 4857366 SOS 4118046 HAS SOPS 3747852 HAS SOUS 377565 HAS SOUPS 372531 WITH SCORE 376649.046
AT ITER 1366 NEW BEST:: SOT 4857408 SOS 4118088 HAS SOPS 3747894 HAS SOUS 377405 HAS SOUPS 372371 WITH SCORE 376489.088
AT ITER 1372 NEW BEST:: SOT 4857408 SOS 4114564 HAS SOPS 3747276 HAS SOUS 377205 HAS SOUPS 372198 WITH SCORE 376312.564
AT ITER 1373 NEW BEST:: SOT 4862918 SOS 4120074 HAS SOPS 3752786 HAS SOUS 374202 HAS SOUPS 369195 WITH SCORE 373315.074
AT ITER 1384 NEW BEST:: SOT 4862652 SOS 4119808 HAS SOPS 3752520 HAS SOUS 374187 HAS SOUPS 369180 WITH SCORE 373299.808
AT ITER 1387 NEW BEST:: SOT 4862652 SOS 4125718 HAS SOPS 3767808 HAS SOUS 374040 HAS SOUPS 369106 WITH SCORE 373231.718
AT ITER 1392 NEW BEST:: SOT 4862652 SOS 4125672 HAS SOPS 3767808 HAS SOUS 374017 HAS SOUPS 369106 WITH SCORE 373231.672
AT ITER 1401 NEW BEST:: SOT 4862822 SOS 4125842 HAS SOPS 3767978 HAS SOUS 373306 HAS SOUPS 368395 WITH SCORE 372520.842
AT ITER 1412 NEW BEST:: SOT 4862264 SOS 4125284 HAS SOPS 3767420 HAS SOUS 372806 HAS SOUPS 367895 WITH SCORE 372020.284
AT ITER 1414 NEW BEST:: SOT 4862260 SOS 4125280 HAS SOPS 3767416 HAS SOUS 372801 HAS SOUPS 367890 WITH SCORE 372015.28
AT ITER 1415 NEW BEST:: SOT 4858036 SOS 4121056 HAS SOPS 3763192 HAS SOUS 367411 HAS SOUPS 362500 WITH SCORE 366621.056
AT ITER 1417 NEW BEST:: SOT 4858036 SOS 4110682 HAS SOPS 3743674 HAS SOUS 367323 HAS SOUPS 362412 WITH SCORE 366522.682
AT ITER 1426 NEW BEST:: SOT 4858022 SOS 4108868 HAS SOPS 3741684 HAS SOUS 366962 HAS SOUPS 362074 WITH SCORE 366182.868
AT ITER 1432 NEW BEST:: SOT 4861538 SOS 4112384 HAS SOPS 3745200 HAS SOUS 358536 HAS SOUPS 353648 WITH SCORE 357760.384
AT ITER 1433 NEW BEST:: SOT 4864574 SOS 4113858 HAS SOPS 3748046 HAS SOUS 355936 HAS SOUPS 351167 WITH SCORE 355280.858
AT ITER 1442 NEW BEST:: SOT 4865102 SOS 4114386 HAS SOPS 3748574 HAS SOUS 355509 HAS SOUPS 350740 WITH SCORE 354854.386
AT ITER 1445 NEW BEST:: SOT 4865072 SOS 4114356 HAS SOPS 3748544 HAS SOUS 355449 HAS SOUPS 350680 WITH SCORE 354794.356
AT ITER 1479 NEW BEST:: SOT 4928844 SOS 4178128 HAS SOPS 3812316 HAS SOUS 353437 HAS SOUPS 348668 WITH SCORE 352846.128
AT ITER 1492 NEW BEST:: SOT 4938238 SOS 4187522 HAS SOPS 3821710 HAS SOUS 352505 HAS SOUPS 347736 WITH SCORE 351923.522
AT ITER 1501 NEW BEST:: SOT 4938136 SOS 4187400 HAS SOPS 3821524 HAS SOUS 352322 HAS SOUPS 347502 WITH SCORE 351689.4
AT ITER 1502 NEW BEST:: SOT 4938104 SOS 4053206 HAS SOPS 3660274 HAS SOUS 352031 HAS SOUPS 347239 WITH SCORE 351292.206
AT ITER 1517 NEW BEST:: SOT 4932944 SOS 4048046 HAS SOPS 3655114 HAS SOUS 350299 HAS SOUPS 345507 WITH SCORE 349555.046
AT ITER 1523 NEW BEST:: SOT 4932650 SOS 4047752 HAS SOPS 3654820 HAS SOUS 350173 HAS SOUPS 345381 WITH SCORE 349428.752
AT ITER 1528 NEW BEST:: SOT 4933578 SOS 4048680 HAS SOPS 3655748 HAS SOUS 349306 HAS SOUPS 344514 WITH SCORE 348562.68
AT ITER 1532 NEW BEST:: SOT 4933406 SOS 4048508 HAS SOPS 3655576 HAS SOUS 348159 HAS SOUPS 343367 WITH SCORE 347415.508
AT ITER 1537 NEW BEST:: SOT 4935804 SOS 4050654 HAS SOPS 3657866 HAS SOUS 347625 HAS SOUPS 342869 WITH SCORE 346919.654
AT ITER 1540 NEW BEST:: SOT 4938138 SOS 4052988 HAS SOPS 3660200 HAS SOUS 346162 HAS SOUPS 341406 WITH SCORE 345458.988
AT ITER 1544 NEW BEST:: SOT 4937818 SOS 4033862 HAS SOPS 3657717 HAS SOUS 343580 HAS SOUPS 338950 WITH SCORE 342983.862
AT ITER 1555 NEW BEST:: SOT 4938218 SOS 4034262 HAS SOPS 3658117 HAS SOUS 342822 HAS SOUPS 338192 WITH SCORE 342226.262
AT ITER 1593 NEW BEST:: SOT 4978944 SOS 4074988 HAS SOPS 3698843 HAS SOUS 338956 HAS SOUPS 334326 WITH SCORE 338400.988
AT ITER 1606 NEW BEST:: SOT 4978346 SOS 4074472 HAS SOPS 3698327 HAS SOUS 338787 HAS SOUPS 334157 WITH SCORE 338231.472
AT ITER 1608 NEW BEST:: SOT 4976312 SOS 4072438 HAS SOPS 3696293 HAS SOUS 337389 HAS SOUPS 332759 WITH SCORE 336831.438
AT ITER 1612 NEW BEST:: SOT 4981392 SOS 4077518 HAS SOPS 3701373 HAS SOUS 337134 HAS SOUPS 332504 WITH SCORE 336581.518
AT ITER 1619 NEW BEST:: SOT 4981540 SOS 4077666 HAS SOPS 3701521 HAS SOUS 336928 HAS SOUPS 332298 WITH SCORE 336375.666
AT ITER 1625 NEW BEST:: SOT 4981540 SOS 4077216 HAS SOPS 3701467 HAS SOUS 336901 HAS SOUPS 332280 WITH SCORE 336357.216
AT ITER 1630 NEW BEST:: SOT 4981540 SOS 4077496 HAS SOPS 3701823 HAS SOUS 336869 HAS SOUPS 332248 WITH SCORE 336325.496
AT ITER 1633 NEW BEST:: SOT 4981540 SOS 4077404 HAS SOPS 3701819 HAS SOUS 336867 HAS SOUPS 332246 WITH SCORE 336323.404
AT ITER 1644 NEW BEST:: SOT 4981528 SOS 4079000 HAS SOPS 3701910 HAS SOUS 336126 HAS SOUPS 331528 WITH SCORE 335607.0
AT ITER 1646 NEW BEST:: SOT 4980794 SOS 4078620 HAS SOPS 3701530 HAS SOUS 335790 HAS SOUPS 331192 WITH SCORE 335270.62
AT ITER 1648 NEW BEST:: SOT 4980794 SOS 4085552 HAS SOPS 3701414 HAS SOUS 335676 HAS SOUPS 331078 WITH SCORE 335163.552
AT ITER 1649 NEW BEST:: SOT 4980788 SOS 4066458 HAS SOPS 3699660 HAS SOUS 334834 HAS SOUPS 330360 WITH SCORE 334426.458
AT ITER 1652 NEW BEST:: SOT 4980946 SOS 4066616 HAS SOPS 3699818 HAS SOUS 334724 HAS SOUPS 330250 WITH SCORE 334316.616
AT ITER 1658 NEW BEST:: SOT 4980946 SOS 4062836 HAS SOPS 3699762 HAS SOUS 334720 HAS SOUPS 330253 WITH SCORE 334315.836
AT ITER 1664 NEW BEST:: SOT 5009098 SOS 4090988 HAS SOPS 3727914 HAS SOUS 334589 HAS SOUPS 330122 WITH SCORE 334212.988
AT ITER 1669 NEW BEST:: SOT 5038288 SOS 4117106 HAS SOPS 3756240 HAS SOUS 328425 HAS SOUPS 324052 WITH SCORE 328169.106
AT ITER 1670 NEW BEST:: SOT 5039532 SOS 4118350 HAS SOPS 3757484 HAS SOUS 323812 HAS SOUPS 319439 WITH SCORE 323557.35
AT ITER 1671 NEW BEST:: SOT 5039766 SOS 4118584 HAS SOPS 3757718 HAS SOUS 323713 HAS SOUPS 319340 WITH SCORE 323458.584
AT ITER 1676 NEW BEST:: SOT 5043758 SOS 4118662 HAS SOPS 3757340 HAS SOUS 323678 HAS SOUPS 319305 WITH SCORE 323423.662
AT ITER 1678 NEW BEST:: SOT 5040790 SOS 4115694 HAS SOPS 3754372 HAS SOUS 323574 HAS SOUPS 319201 WITH SCORE 323316.694
AT ITER 1682 NEW BEST:: SOT 5039760 SOS 4114664 HAS SOPS 3753342 HAS SOUS 323397 HAS SOUPS 319024 WITH SCORE 323138.664
AT ITER 1683 NEW BEST:: SOT 5039760 SOS 4109960 HAS SOPS 3753294 HAS SOUS 323155 HAS SOUPS 318924 WITH SCORE 323033.96
AT ITER 1689 NEW BEST:: SOT 5039760 SOS 4109950 HAS SOPS 3753824 HAS SOUS 323145 HAS SOUPS 318919 WITH SCORE 323028.95
AT ITER 1691 NEW BEST:: SOT 5039760 SOS 4108040 HAS SOPS 3750570 HAS SOUS 322896 HAS SOUPS 318670 WITH SCORE 322778.04
AT ITER 1699 NEW BEST:: SOT 5041564 SOS 4107660 HAS SOPS 3745694 HAS SOUS 321351 HAS SOUPS 317192 WITH SCORE 321299.66
AT ITER 1701 NEW BEST:: SOT 5040314 SOS 4106020 HAS SOPS 3745078 HAS SOUS 320293 HAS SOUPS 316142 WITH SCORE 320248.02
AT ITER 1706 NEW BEST:: SOT 5042160 SOS 4104514 HAS SOPS 3745612 HAS SOUS 320136 HAS SOUPS 315925 WITH SCORE 320029.514
AT ITER 1710 NEW BEST:: SOT 5043022 SOS 4106000 HAS SOPS 3747398 HAS SOUS 319649 HAS SOUPS 315451 WITH SCORE 319557.0
AT ITER 1720 NEW BEST:: SOT 5059834 SOS 4122812 HAS SOPS 3764210 HAS SOUS 315713 HAS SOUPS 311515 WITH SCORE 315637.812
AT ITER 1726 NEW BEST:: SOT 5060560 SOS 4123538 HAS SOPS 3764936 HAS SOUS 313774 HAS SOUPS 309576 WITH SCORE 313699.538
AT ITER 1729 NEW BEST:: SOT 5058682 SOS 4121660 HAS SOPS 3763058 HAS SOUS 313649 HAS SOUPS 309451 WITH SCORE 313572.66
AT ITER 1736 NEW BEST:: SOT 5058722 SOS 4121700 HAS SOPS 3763098 HAS SOUS 313567 HAS SOUPS 309369 WITH SCORE 313490.7
AT ITER 1751 NEW BEST:: SOT 5058640 SOS 4121618 HAS SOPS 3763016 HAS SOUS 313493 HAS SOUPS 309295 WITH SCORE 313416.618
AT ITER 1759 NEW BEST:: SOT 5058664 SOS 4121642 HAS SOPS 3763040 HAS SOUS 311188 HAS SOUPS 306990 WITH SCORE 311111.642
AT ITER 1763 NEW BEST:: SOT 5057691 SOS 4120766 HAS SOPS 3762164 HAS SOUS 310770 HAS SOUPS 306572 WITH SCORE 310692.766
AT ITER 1764 NEW BEST:: SOT 5048595 SOS 4111670 HAS SOPS 3753068 HAS SOUS 310765 HAS SOUPS 306567 WITH SCORE 310678.67
AT ITER 1775 NEW BEST:: SOT 5047883 SOS 4110958 HAS SOPS 3752356 HAS SOUS 310637 HAS SOUPS 306439 WITH SCORE 310549.958
AT ITER 1777 NEW BEST:: SOT 5046501 SOS 4109268 HAS SOPS 3750794 HAS SOUS 310171 HAS SOUPS 305973 WITH SCORE 310082.268
AT ITER 1778 NEW BEST:: SOT 5046581 SOS 4109348 HAS SOPS 3750874 HAS SOUS 310132 HAS SOUPS 305934 WITH SCORE 310043.348
AT ITER 1783 NEW BEST:: SOT 5046213 SOS 4108980 HAS SOPS 3750506 HAS SOUS 309972 HAS SOUPS 305774 WITH SCORE 309882.98
AT ITER 1791 NEW BEST:: SOT 5046289 SOS 4109056 HAS SOPS 3750582 HAS SOUS 308740 HAS SOUPS 304542 WITH SCORE 308651.056
AT ITER 1794 NEW BEST:: SOT 5046289 SOS 4100541 HAS SOPS 3740847 HAS SOUS 308758 HAS SOUPS 304549 WITH SCORE 308649.541
AT ITER 1801 NEW BEST:: SOT 5044899 SOS 4099151 HAS SOPS 3739457 HAS SOUS 308455 HAS SOUPS 304246 WITH SCORE 308345.151
AT ITER 1804 NEW BEST:: SOT 5044545 SOS 4098797 HAS SOPS 3739103 HAS SOUS 307657 HAS SOUPS 303448 WITH SCORE 307546.797
AT ITER 1813 NEW BEST:: SOT 5045245 SOS 4099497 HAS SOPS 3739803 HAS SOUS 306624 HAS SOUPS 302415 WITH SCORE 306514.497
AT ITER 1814 NEW BEST:: SOT 5045974 SOS 4098223 HAS SOPS 3739723 HAS SOUS 304981 HAS SOUPS 300712 WITH SCORE 304810.223
AT ITER 1818 NEW BEST:: SOT 5024846 SOS 4084225 HAS SOPS 3725725 HAS SOUS 304298 HAS SOUPS 300029 WITH SCORE 304113.225
AT ITER 1819 NEW BEST:: SOT 5025376 SOS 4084755 HAS SOPS 3726255 HAS SOUS 303953 HAS SOUPS 299684 WITH SCORE 303768.755
AT ITER 1824 NEW BEST:: SOT 5025300 SOS 4083180 HAS SOPS 3724664 HAS SOUS 303748 HAS SOUPS 299392 WITH SCORE 303475.18
AT ITER 1834 NEW BEST:: SOT 5025276 SOS 4083156 HAS SOPS 3724640 HAS SOUS 303736 HAS SOUPS 299380 WITH SCORE 303463.156
AT ITER 1849 NEW BEST:: SOT 5026692 SOS 4083996 HAS SOPS 3725480 HAS SOUS 303646 HAS SOUPS 299290 WITH SCORE 303373.996
AT ITER 1851 NEW BEST:: SOT 5031782 SOS 4089086 HAS SOPS 3730570 HAS SOUS 302545 HAS SOUPS 298189 WITH SCORE 302278.086
AT ITER 1857 NEW BEST:: SOT 5031798 SOS 4089102 HAS SOPS 3730586 HAS SOUS 302451 HAS SOUPS 298095 WITH SCORE 302184.102
AT ITER 1861 NEW BEST:: SOT 5031798 SOS 4087566 HAS SOPS 3736706 HAS SOUS 302374 HAS SOUPS 298060 WITH SCORE 302147.566
AT ITER 1863 NEW BEST:: SOT 5048362 SOS 3997512 HAS SOPS 3410055 HAS SOUS 310035 HAS SOUPS 296985 WITH SCORE 300982.512
AT ITER 1867 NEW BEST:: SOT 5048350 SOS 3997500 HAS SOPS 3410043 HAS SOUS 309911 HAS SOUPS 296861 WITH SCORE 300858.5
AT ITER 1872 NEW BEST:: SOT 5048350 SOS 3997422 HAS SOPS 3409939 HAS SOUS 309924 HAS SOUPS 296861 WITH SCORE 300858.422
AT ITER 1893 NEW BEST:: SOT 5048350 SOS 3998230 HAS SOPS 3410075 HAS SOUS 309815 HAS SOUPS 296710 WITH SCORE 300708.23
AT ITER 1894 NEW BEST:: SOT 5047278 SOS 3997792 HAS SOPS 3415461 HAS SOUS 309832 HAS SOUPS 296688 WITH SCORE 300685.792
AT ITER 1903 NEW BEST:: SOT 5047278 SOS 3997766 HAS SOPS 3415435 HAS SOUS 309819 HAS SOUPS 296675 WITH SCORE 300672.766
AT ITER 1910 NEW BEST:: SOT 5047278 SOS 3921644 HAS SOPS 3336777 HAS SOUS 309804 HAS SOUPS 296601 WITH SCORE 300522.644
AT ITER 1917 NEW BEST:: SOT 5047250 SOS 3921616 HAS SOPS 3336749 HAS SOUS 309797 HAS SOUPS 296594 WITH SCORE 300515.616
AT ITER 1922 NEW BEST:: SOT 5047250 SOS 3920988 HAS SOPS 3336077 HAS SOUS 309730 HAS SOUPS 296527 WITH SCORE 300447.988
AT ITER 1929 NEW BEST:: SOT 5046750 SOS 3920488 HAS SOPS 3335577 HAS SOUS 309719 HAS SOUPS 296516 WITH SCORE 300436.488
AT ITER 1933 NEW BEST:: SOT 5046750 SOS 3911858 HAS SOPS 3330477 HAS SOUS 309694 HAS SOUPS 296491 WITH SCORE 300402.858
AT ITER 1940 NEW BEST:: SOT 5047010 SOS 3912118 HAS SOPS 3330737 HAS SOUS 309559 HAS SOUPS 296356 WITH SCORE 300268.118
AT ITER 1942 NEW BEST:: SOT 5050288 SOS 3916729 HAS SOPS 3340133 HAS SOUS 308102 HAS SOUPS 294994 WITH SCORE 298910.729
AT ITER 1948 NEW BEST:: SOT 5050288 SOS 3915769 HAS SOPS 3340049 HAS SOUS 308025 HAS SOUPS 294941 WITH SCORE 298856.769
AT ITER 1953 NEW BEST:: SOT 5061034 SOS 3926515 HAS SOPS 3350795 HAS SOUS 307702 HAS SOUPS 294618 WITH SCORE 298544.515
AT ITER 1957 NEW BEST:: SOT 5061034 SOS 3926501 HAS SOPS 3350783 HAS SOUS 307696 HAS SOUPS 294612 WITH SCORE 298538.501
AT ITER 1959 NEW BEST:: SOT 5061034 SOS 3923825 HAS SOPS 3350559 HAS SOUS 307404 HAS SOUPS 294494 WITH SCORE 298417.825
AT ITER 1964 NEW BEST:: SOT 5061034 SOS 3923965 HAS SOPS 3353051 HAS SOUS 307390 HAS SOUPS 294480 WITH SCORE 298403.965
AT ITER 1973 NEW BEST:: SOT 5061034 SOS 3925205 HAS SOPS 3350093 HAS SOUS 307282 HAS SOUPS 294373 WITH SCORE 298298.205
AT ITER 1975 NEW BEST:: SOT 5060869 SOS 3925040 HAS SOPS 3349928 HAS SOUS 307127 HAS SOUPS 294218 WITH SCORE 298143.04
AT ITER 1976 NEW BEST:: SOT 5060869 SOS 3925040 HAS SOPS 3349928 HAS SOUS 307110 HAS SOUPS 294201 WITH SCORE 298126.04
AT ITER 1984 NEW BEST:: SOT 5060869 SOS 3919200 HAS SOPS 3351078 HAS SOUS 307055 HAS SOUPS 294192 WITH SCORE 298111.2
AT ITER 1993 NEW BEST:: SOT 5061693 SOS 3918436 HAS SOPS 3350314 HAS SOUS 306721 HAS SOUPS 293858 WITH SCORE 297776.436
AT ITER 2003 NEW BEST:: SOT 5061693 SOS 3916282 HAS SOPS 3349812 HAS SOUS 306227 HAS SOUPS 293395 WITH SCORE 297311.282
AT ITER 2005 NEW BEST:: SOT 5061693 SOS 3918510 HAS SOPS 3351394 HAS SOUS 306267 HAS SOUPS 293368 WITH SCORE 297286.51
AT ITER 2013 NEW BEST:: SOT 5061693 SOS 3911612 HAS SOPS 3350800 HAS SOUS 306235 HAS SOUPS 293345 WITH SCORE 297256.612
AT ITER 2016 NEW BEST:: SOT 5061655 SOS 3911542 HAS SOPS 3350762 HAS SOUS 306200 HAS SOUPS 293310 WITH SCORE 297221.542
AT ITER 2018 NEW BEST:: SOT 5061655 SOS 3884420 HAS SOPS 3327454 HAS SOUS 305681 HAS SOUPS 292874 WITH SCORE 296758.42
AT ITER 2024 NEW BEST:: SOT 5063755 SOS 3886520 HAS SOPS 3329554 HAS SOUS 304677 HAS SOUPS 291870 WITH SCORE 295756.52
AT ITER 2025 NEW BEST:: SOT 5063631 SOS 3886396 HAS SOPS 3329430 HAS SOUS 304597 HAS SOUPS 291790 WITH SCORE 295676.396
AT ITER 2029 NEW BEST:: SOT 5063631 SOS 3886260 HAS SOPS 3329260 HAS SOUS 304614 HAS SOUPS 291790 WITH SCORE 295676.26
AT ITER 2040 NEW BEST:: SOT 5079119 SOS 3901748 HAS SOPS 3344748 HAS SOUS 304558 HAS SOUPS 291734 WITH SCORE 295635.748
AT ITER 2044 NEW BEST:: SOT 5079119 SOS 3901748 HAS SOPS 3344678 HAS SOUS 304523 HAS SOUPS 291699 WITH SCORE 295600.748
AT ITER 2050 NEW BEST:: SOT 5079119 SOS 3901708 HAS SOPS 3344626 HAS SOUS 304121 HAS SOUPS 291377 WITH SCORE 295278.708
AT ITER 2056 NEW BEST:: SOT 5079119 SOS 3899660 HAS SOPS 3344096 HAS SOUS 303940 HAS SOUPS 291233 WITH SCORE 295132.66
AT ITER 2061 NEW BEST:: SOT 5079229 SOS 3900028 HAS SOPS 3344206 HAS SOUS 303881 HAS SOUPS 291174 WITH SCORE 295074.028
AT ITER 2063 NEW BEST:: SOT 5079229 SOS 3897037 HAS SOPS 3339556 HAS SOUS 303642 HAS SOUPS 291024 WITH SCORE 294921.037
AT ITER 2074 NEW BEST:: SOT 5079315 SOS 3894881 HAS SOPS 3340686 HAS SOUS 303059 HAS SOUPS 290453 WITH SCORE 294347.881
AT ITER 2081 NEW BEST:: SOT 5079215 SOS 3894781 HAS SOPS 3340818 HAS SOUS 302049 HAS SOUPS 289443 WITH SCORE 293337.781
AT ITER 2087 NEW BEST:: SOT 5079359 SOS 3887089 HAS SOPS 3328520 HAS SOUS 300337 HAS SOUPS 287748 WITH SCORE 291635.089
AT ITER 2096 NEW BEST:: SOT 5079359 SOS 3886703 HAS SOPS 3328392 HAS SOUS 300305 HAS SOUPS 287746 WITH SCORE 291632.703
AT ITER 2114 NEW BEST:: SOT 5080139 SOS 3887483 HAS SOPS 3329172 HAS SOUS 299927 HAS SOUPS 287368 WITH SCORE 291255.483
AT ITER 2116 NEW BEST:: SOT 5080289 SOS 3886355 HAS SOPS 3328044 HAS SOUS 299806 HAS SOUPS 287368 WITH SCORE 291254.355
AT ITER 2126 NEW BEST:: SOT 5080289 SOS 3886353 HAS SOPS 3328044 HAS SOUS 299805 HAS SOUPS 287368 WITH SCORE 291254.353
AT ITER 2134 NEW BEST:: SOT 5080289 SOS 3886137 HAS SOPS 3328028 HAS SOUS 299779 HAS SOUPS 287356 WITH SCORE 291242.137
AT ITER 2137 NEW BEST:: SOT 5080542 SOS 3886390 HAS SOPS 3328303 HAS SOUS 297543 HAS SOUPS 285098 WITH SCORE 288984.39
AT ITER 2145 NEW BEST:: SOT 5098908 SOS 3904400 HAS SOPS 3346197 HAS SOUS 295242 HAS SOUPS 282774 WITH SCORE 286678.4
AT ITER 2159 NEW BEST:: SOT 5098816 SOS 3904308 HAS SOPS 3346105 HAS SOUS 294817 HAS SOUPS 282349 WITH SCORE 286253.308
AT ITER 2161 NEW BEST:: SOT 5098816 SOS 3903838 HAS SOPS 3345755 HAS SOUS 294697 HAS SOUPS 282249 WITH SCORE 286152.838
AT ITER 2175 NEW BEST:: SOT 5096774 SOS 3901796 HAS SOPS 3343713 HAS SOUS 293800 HAS SOUPS 281352 WITH SCORE 285253.796
AT ITER 2191 NEW BEST:: SOT 5094412 SOS 3899434 HAS SOPS 3341351 HAS SOUS 292463 HAS SOUPS 280015 WITH SCORE 283914.434
AT ITER 2194 NEW BEST:: SOT 5096164 SOS 3899770 HAS SOPS 3342071 HAS SOUS 288032 HAS SOUPS 275777 WITH SCORE 279676.77
AT ITER 2236 NEW BEST:: SOT 5096196 SOS 3896800 HAS SOPS 3337031 HAS SOUS 286739 HAS SOUPS 274386 WITH SCORE 278282.8
AT ITER 2242 NEW BEST:: SOT 5096196 SOS 3894474 HAS SOPS 3331705 HAS SOUS 286789 HAS SOUPS 274294 WITH SCORE 278188.474
AT ITER 2245 NEW BEST:: SOT 5102412 SOS 3901170 HAS SOPS 3337699 HAS SOUS 283301 HAS SOUPS 270858 WITH SCORE 274759.17
AT ITER 2255 NEW BEST:: SOT 5102404 SOS 3901162 HAS SOPS 3337691 HAS SOUS 283297 HAS SOUPS 270854 WITH SCORE 274755.162
AT ITER 2259 NEW BEST:: SOT 5102404 SOS 3902754 HAS SOPS 3335979 HAS SOUS 283228 HAS SOUPS 270764 WITH SCORE 274666.754
AT ITER 2262 NEW BEST:: SOT 5102404 SOS 3898800 HAS SOPS 3327879 HAS SOUS 282777 HAS SOUPS 270237 WITH SCORE 274135.8
AT ITER 2278 NEW BEST:: SOT 5103390 SOS 3899178 HAS SOPS 3300269 HAS SOUS 282117 HAS SOUPS 269545 WITH SCORE 273444.178
AT ITER 2279 NEW BEST:: SOT 5102404 SOS 3897902 HAS SOPS 3299240 HAS SOUS 282102 HAS SOUPS 269524 WITH SCORE 273421.902
AT ITER 2285 NEW BEST:: SOT 5105778 SOS 3901276 HAS SOPS 3302614 HAS SOUS 279445 HAS SOUPS 266867 WITH SCORE 270768.276
AT ITER 2292 NEW BEST:: SOT 5105646 SOS 3908782 HAS SOPS 3303798 HAS SOUS 279278 HAS SOUPS 266839 WITH SCORE 270747.782
AT ITER 2297 NEW BEST:: SOT 5105520 SOS 3908980 HAS SOPS 3304280 HAS SOUS 279139 HAS SOUPS 266723 WITH SCORE 270631.98
AT ITER 2304 NEW BEST:: SOT 5105520 SOS 3909142 HAS SOPS 3304442 HAS SOUS 279022 HAS SOUPS 266606 WITH SCORE 270515.142
AT ITER 2310 NEW BEST:: SOT 5106338 SOS 3872500 HAS SOPS 3299680 HAS SOUS 278800 HAS SOUPS 266185 WITH SCORE 270057.5
AT ITER 2316 NEW BEST:: SOT 5115730 SOS 3881921 HAS SOPS 3309101 HAS SOUS 277643 HAS SOUPS 265028 WITH SCORE 268909.921
AT ITER 2326 NEW BEST:: SOT 5115730 SOS 3881917 HAS SOPS 3309101 HAS SOUS 277640 HAS SOUPS 265028 WITH SCORE 268909.917
AT ITER 2335 NEW BEST:: SOT 5115730 SOS 3880957 HAS SOPS 3309101 HAS SOUS 277616 HAS SOUPS 265016 WITH SCORE 268896.957
AT ITER 2338 NEW BEST:: SOT 5115262 SOS 3880489 HAS SOPS 3308633 HAS SOUS 277371 HAS SOUPS 264771 WITH SCORE 268651.489
AT ITER 2340 NEW BEST:: SOT 5115258 SOS 3880485 HAS SOPS 3308629 HAS SOUS 277369 HAS SOUPS 264769 WITH SCORE 268649.485
AT ITER 2345 NEW BEST:: SOT 5115488 SOS 3880715 HAS SOPS 3308859 HAS SOUS 277336 HAS SOUPS 264736 WITH SCORE 268616.715
AT ITER 2350 NEW BEST:: SOT 5115488 SOS 3880131 HAS SOPS 3308461 HAS SOUS 277449 HAS SOUPS 264703 WITH SCORE 268583.131
AT ITER 2354 NEW BEST:: SOT 5116048 SOS 3880691 HAS SOPS 3309021 HAS SOUS 277237 HAS SOUPS 264491 WITH SCORE 268371.691
AT ITER 2366 NEW BEST:: SOT 5116048 SOS 3878689 HAS SOPS 3308767 HAS SOUS 277047 HAS SOUPS 264455 WITH SCORE 268333.689
AT ITER 2373 NEW BEST:: SOT 5116048 SOS 3878753 HAS SOPS 3307359 HAS SOUS 277023 HAS SOUPS 264427 WITH SCORE 268305.753
AT ITER 2386 NEW BEST:: SOT 5116174 SOS 3876067 HAS SOPS 3305765 HAS SOUS 276229 HAS SOUPS 263733 WITH SCORE 267609.067
AT ITER 2411 NEW BEST:: SOT 5116430 SOS 3871363 HAS SOPS 3286565 HAS SOUS 273951 HAS SOUPS 261607 WITH SCORE 265478.363
AT ITER 2428 NEW BEST:: SOT 5114174 SOS 3866167 HAS SOPS 3283593 HAS SOUS 272647 HAS SOUPS 260281 WITH SCORE 264147.167
AT ITER 2429 NEW BEST:: SOT 5113210 SOS 3862155 HAS SOPS 3282289 HAS SOUS 272538 HAS SOUPS 260205 WITH SCORE 264067.155
AT ITER 2437 NEW BEST:: SOT 5113210 SOS 3865677 HAS SOPS 3285811 HAS SOUS 272528 HAS SOUPS 260191 WITH SCORE 264056.677
AT ITER 2441 NEW BEST:: SOT 5113210 SOS 3866543 HAS SOPS 3286677 HAS SOUS 272370 HAS SOUPS 260179 WITH SCORE 264045.543
AT ITER 2447 NEW BEST:: SOT 5114528 SOS 3862668 HAS SOPS 3288982 HAS SOUS 270999 HAS SOUPS 259041 WITH SCORE 262903.668
AT ITER 2449 NEW BEST:: SOT 5114528 SOS 3862636 HAS SOPS 3288982 HAS SOUS 270848 HAS SOUPS 258922 WITH SCORE 262784.636
AT ITER 2458 NEW BEST:: SOT 5115066 SOS 3810930 HAS SOPS 3285116 HAS SOUS 268414 HAS SOUPS 256721 WITH SCORE 260531.93
AT ITER 2460 NEW BEST:: SOT 5113948 SOS 3810122 HAS SOPS 3284390 HAS SOUS 267783 HAS SOUPS 256114 WITH SCORE 259924.122
AT ITER 2471 NEW BEST:: SOT 5113388 SOS 3800146 HAS SOPS 3276065 HAS SOUS 267234 HAS SOUPS 255578 WITH SCORE 259378.146
AT ITER 2476 NEW BEST:: SOT 5113388 SOS 3735444 HAS SOPS 3221483 HAS SOUS 267155 HAS SOUPS 255434 WITH SCORE 259169.444
AT ITER 2499 NEW BEST:: SOT 5111890 SOS 3736266 HAS SOPS 3221433 HAS SOUS 267208 HAS SOUPS 255416 WITH SCORE 259152.266
AT ITER 2544 NEW BEST:: SOT 5112976 SOS 3737352 HAS SOPS 3222519 HAS SOUS 267202 HAS SOUPS 255410 WITH SCORE 259147.352
AT ITER 2547 NEW BEST:: SOT 5112976 SOS 3737444 HAS SOPS 3222463 HAS SOUS 267090 HAS SOUPS 255320 WITH SCORE 259057.444
AT ITER 2548 NEW BEST:: SOT 5113108 SOS 3737576 HAS SOPS 3222595 HAS SOUS 266907 HAS SOUPS 255137 WITH SCORE 258874.576
AT ITER 2576 NEW BEST:: SOT 5113056 SOS 3737524 HAS SOPS 3222543 HAS SOUS 266881 HAS SOUPS 255111 WITH SCORE 258848.524
AT ITER 2584 NEW BEST:: SOT 5112818 SOS 3737292 HAS SOPS 3222319 HAS SOUS 266765 HAS SOUPS 254999 WITH SCORE 258736.292
AT ITER 2586 NEW BEST:: SOT 5112818 SOS 3748072 HAS SOPS 3233099 HAS SOUS 266744 HAS SOUPS 254978 WITH SCORE 258726.072
AT ITER 2595 NEW BEST:: SOT 5114448 SOS 3749702 HAS SOPS 3234729 HAS SOUS 266742 HAS SOUPS 254976 WITH SCORE 258725.702
AT ITER 2597 NEW BEST:: SOT 5114448 SOS 3746654 HAS SOPS 3234501 HAS SOUS 266648 HAS SOUPS 254920 WITH SCORE 258666.654
AT ITER 2622 NEW BEST:: SOT 5128368 SOS 3760574 HAS SOPS 3248421 HAS SOUS 265912 HAS SOUPS 254184 WITH SCORE 257944.574
AT ITER 2627 NEW BEST:: SOT 5127740 SOS 3759946 HAS SOPS 3247793 HAS SOUS 264968 HAS SOUPS 253240 WITH SCORE 256999.946
AT ITER 2656 NEW BEST:: SOT 5128346 SOS 3768166 HAS SOPS 3250459 HAS SOUS 264501 HAS SOUPS 253198 WITH SCORE 256966.166
AT ITER 2662 NEW BEST:: SOT 5128246 SOS 3768066 HAS SOPS 3250251 HAS SOUS 264295 HAS SOUPS 252992 WITH SCORE 256760.066
AT ITER 2666 NEW BEST:: SOT 5136022 SOS 3775842 HAS SOPS 3258027 HAS SOUS 264170 HAS SOUPS 252867 WITH SCORE 256642.842
AT ITER 2672 NEW BEST:: SOT 5136022 SOS 3776998 HAS SOPS 3255595 HAS SOUS 264231 HAS SOUPS 252779 WITH SCORE 256555.998
AT ITER 2679 NEW BEST:: SOT 5137698 SOS 3778674 HAS SOPS 3257271 HAS SOUS 263601 HAS SOUPS 252149 WITH SCORE 255927.674
AT ITER 2691 NEW BEST:: SOT 5137602 SOS 3775114 HAS SOPS 3256511 HAS SOUS 263471 HAS SOUPS 252070 WITH SCORE 255845.114
AT ITER 2709 NEW BEST:: SOT 5139796 SOS 3759574 HAS SOPS 3258315 HAS SOUS 261512 HAS SOUPS 250219 WITH SCORE 253978.574
AT ITER 2715 NEW BEST:: SOT 5139796 SOS 3755198 HAS SOPS 3257111 HAS SOUS 261363 HAS SOUPS 250061 WITH SCORE 253816.198
AT ITER 2717 NEW BEST:: SOT 5134494 SOS 3749896 HAS SOPS 3251809 HAS SOUS 261245 HAS SOUPS 249943 WITH SCORE 253692.896
AT ITER 2731 NEW BEST:: SOT 5135052 SOS 3750454 HAS SOPS 3252367 HAS SOUS 260822 HAS SOUPS 249520 WITH SCORE 253270.454
AT ITER 2734 NEW BEST:: SOT 5135052 SOS 3743742 HAS SOPS 3241193 HAS SOUS 260770 HAS SOUPS 249392 WITH SCORE 253135.742
AT ITER 2736 NEW BEST:: SOT 5137306 SOS 3745996 HAS SOPS 3243447 HAS SOUS 260488 HAS SOUPS 249110 WITH SCORE 252855.996
AT ITER 2738 NEW BEST:: SOT 5138228 SOS 3746586 HAS SOPS 3244565 HAS SOUS 260434 HAS SOUPS 249056 WITH SCORE 252802.586
AT ITER 2750 NEW BEST:: SOT 5138530 SOS 3746888 HAS SOPS 3244867 HAS SOUS 260338 HAS SOUPS 248960 WITH SCORE 252706.888
AT ITER 2784 NEW BEST:: SOT 5140404 SOS 3748762 HAS SOPS 3246741 HAS SOUS 259714 HAS SOUPS 248336 WITH SCORE 252084.762
AT ITER 2786 NEW BEST:: SOT 5140380 SOS 3737636 HAS SOPS 3245581 HAS SOUS 259168 HAS SOUPS 247927 WITH SCORE 251664.636
AT ITER 2789 NEW BEST:: SOT 5140380 SOS 3727282 HAS SOPS 3245595 HAS SOUS 259141 HAS SOUPS 247936 WITH SCORE 251663.282
AT ITER 2795 NEW BEST:: SOT 5140380 SOS 3719788 HAS SOPS 3238861 HAS SOUS 258913 HAS SOUPS 247859 WITH SCORE 251578.788
AT ITER 2801 NEW BEST:: SOT 5140342 SOS 3719750 HAS SOPS 3238823 HAS SOUS 258569 HAS SOUPS 247515 WITH SCORE 251234.75
AT ITER 2805 NEW BEST:: SOT 5140322 SOS 3719730 HAS SOPS 3238803 HAS SOUS 258559 HAS SOUPS 247505 WITH SCORE 251224.73
AT ITER 2811 NEW BEST:: SOT 5140132 SOS 3719552 HAS SOPS 3238623 HAS SOUS 258520 HAS SOUPS 247467 WITH SCORE 251186.552
AT ITER 2813 NEW BEST:: SOT 5140168 SOS 3712740 HAS SOPS 3236979 HAS SOUS 258146 HAS SOUPS 247163 WITH SCORE 250875.74
AT ITER 2825 NEW BEST:: SOT 5140168 SOS 3713000 HAS SOPS 3236871 HAS SOUS 258122 HAS SOUPS 247128 WITH SCORE 250841.0
AT ITER 2834 NEW BEST:: SOT 5139960 SOS 3712792 HAS SOPS 3236663 HAS SOUS 257881 HAS SOUPS 246887 WITH SCORE 250599.792
AT ITER 2835 NEW BEST:: SOT 5139960 SOS 3712474 HAS SOPS 3236633 HAS SOUS 257872 HAS SOUPS 246884 WITH SCORE 250596.474
AT ITER 2848 NEW BEST:: SOT 5140340 SOS 3712882 HAS SOPS 3236905 HAS SOUS 257582 HAS SOUPS 246593 WITH SCORE 250305.882
AT ITER 2849 NEW BEST:: SOT 5140340 SOS 3712834 HAS SOPS 3236873 HAS SOUS 257578 HAS SOUPS 246591 WITH SCORE 250303.834
AT ITER 2853 NEW BEST:: SOT 5133341 SOS 3757537 HAS SOPS 3357655 HAS SOUS 253884 HAS SOUPS 246311 WITH SCORE 250068.537
AT ITER 2864 NEW BEST:: SOT 5132329 SOS 3756669 HAS SOPS 3357319 HAS SOUS 253461 HAS SOUPS 245861 WITH SCORE 249617.669
AT ITER 2866 NEW BEST:: SOT 5132923 SOS 3757263 HAS SOPS 3357913 HAS SOUS 253297 HAS SOUPS 245697 WITH SCORE 249454.263
AT ITER 2874 NEW BEST:: SOT 5134021 SOS 3765035 HAS SOPS 3345097 HAS SOUS 251733 HAS SOUPS 244434 WITH SCORE 248199.035
AT ITER 2898 NEW BEST:: SOT 5134021 SOS 3763171 HAS SOPS 3344633 HAS SOUS 251472 HAS SOUPS 244376 WITH SCORE 248139.171
AT ITER 2905 NEW BEST:: SOT 5134021 SOS 3764483 HAS SOPS 3344113 HAS SOUS 251309 HAS SOUPS 244249 WITH SCORE 248013.483
AT ITER 2914 NEW BEST:: SOT 5134627 SOS 3765037 HAS SOPS 3344875 HAS SOUS 250222 HAS SOUPS 243254 WITH SCORE 247019.037
AT ITER 2919 NEW BEST:: SOT 5135377 SOS 3765787 HAS SOPS 3345625 HAS SOUS 250062 HAS SOUPS 243094 WITH SCORE 246859.787
AT ITER 2937 NEW BEST:: SOT 5135329 SOS 3765739 HAS SOPS 3345577 HAS SOUS 250044 HAS SOUPS 243076 WITH SCORE 246841.739
AT ITER 2940 NEW BEST:: SOT 5135329 SOS 3765393 HAS SOPS 3345257 HAS SOUS 250004 HAS SOUPS 243049 WITH SCORE 246814.393
AT ITER 2944 NEW BEST:: SOT 5134800 SOS 3764864 HAS SOPS 3344728 HAS SOUS 249139 HAS SOUPS 242184 WITH SCORE 245948.864
AT ITER 2947 NEW BEST:: SOT 5134800 SOS 3699804 HAS SOPS 3275224 HAS SOUS 248927 HAS SOUPS 242156 WITH SCORE 245855.804
AT ITER 2954 NEW BEST:: SOT 5132839 SOS 3698051 HAS SOPS 3273407 HAS SOUS 248253 HAS SOUPS 241490 WITH SCORE 245188.051
AT ITER 2961 NEW BEST:: SOT 5135883 SOS 3701095 HAS SOPS 3276451 HAS SOUS 247905 HAS SOUPS 241142 WITH SCORE 244843.095
AT ITER 2967 NEW BEST:: SOT 5135929 SOS 3700685 HAS SOPS 3274451 HAS SOUS 247770 HAS SOUPS 240993 WITH SCORE 244693.685
AT ITER 2981 NEW BEST:: SOT 5129293 SOS 3694040 HAS SOPS 3267806 HAS SOUS 245323 HAS SOUPS 238546 WITH SCORE 242240.04
AT ITER 2983 NEW BEST:: SOT 5120377 SOS 3685124 HAS SOPS 3258890 HAS SOUS 245285 HAS SOUPS 238508 WITH SCORE 242193.124
AT ITER 2989 NEW BEST:: SOT 5120289 SOS 3685036 HAS SOPS 3258802 HAS SOUS 245219 HAS SOUPS 238442 WITH SCORE 242127.036
AT ITER 3006 NEW BEST:: SOT 5120309 SOS 3684802 HAS SOPS 3258544 HAS SOUS 244964 HAS SOUPS 238354 WITH SCORE 242038.802
AT ITER 3021 NEW BEST:: SOT 5119005 SOS 3683498 HAS SOPS 3257240 HAS SOUS 244356 HAS SOUPS 237746 WITH SCORE 241429.498
AT ITER 3022 NEW BEST:: SOT 5122075 SOS 3695876 HAS SOPS 3237786 HAS SOUS 242126 HAS SOUPS 235401 WITH SCORE 239096.876
AT ITER 3028 NEW BEST:: SOT 5125083 SOS 3698884 HAS SOPS 3240794 HAS SOUS 241972 HAS SOUPS 235247 WITH SCORE 238945.884
AT ITER 3032 NEW BEST:: SOT 5125083 SOS 3698924 HAS SOPS 3238402 HAS SOUS 241857 HAS SOUPS 235151 WITH SCORE 238849.924
AT ITER 3043 NEW BEST:: SOT 5125083 SOS 3688584 HAS SOPS 3237534 HAS SOUS 241773 HAS SOUPS 235104 WITH SCORE 238792.584
AT ITER 3059 NEW BEST:: SOT 5125083 SOS 3688992 HAS SOPS 3237806 HAS SOUS 241710 HAS SOUPS 235053 WITH SCORE 238741.992
AT ITER 3075 NEW BEST:: SOT 5124963 SOS 3688872 HAS SOPS 3237686 HAS SOUS 241590 HAS SOUPS 234933 WITH SCORE 238621.872
AT ITER 3078 NEW BEST:: SOT 5123951 SOS 3687860 HAS SOPS 3236674 HAS SOUS 240552 HAS SOUPS 233895 WITH SCORE 237582.86
AT ITER 3081 NEW BEST:: SOT 5123911 SOS 3690328 HAS SOPS 3229478 HAS SOUS 240454 HAS SOUPS 233837 WITH SCORE 237527.328
AT ITER 3121 NEW BEST:: SOT 5123911 SOS 3688970 HAS SOPS 3228680 HAS SOUS 240293 HAS SOUPS 233746 WITH SCORE 237434.97
AT ITER 3126 NEW BEST:: SOT 5124543 SOS 3689602 HAS SOPS 3229312 HAS SOUS 240245 HAS SOUPS 233698 WITH SCORE 237387.602
AT ITER 3138 NEW BEST:: SOT 5124543 SOS 3617744 HAS SOPS 3155676 HAS SOUS 240067 HAS SOUPS 233718 WITH SCORE 237335.744
AT ITER 3149 NEW BEST:: SOT 5124219 SOS 3617420 HAS SOPS 3155352 HAS SOUS 239871 HAS SOUPS 233522 WITH SCORE 237139.42
AT ITER 3166 NEW BEST:: SOT 5130475 SOS 3623676 HAS SOPS 3161608 HAS SOUS 239287 HAS SOUPS 232938 WITH SCORE 236561.676
AT ITER 3203 NEW BEST:: SOT 5130475 SOS 3620182 HAS SOPS 3159122 HAS SOUS 239185 HAS SOUPS 232899 WITH SCORE 236519.182
AT ITER 3206 NEW BEST:: SOT 5130475 SOS 3616758 HAS SOPS 3155770 HAS SOUS 238816 HAS SOUPS 232696 WITH SCORE 236312.758
AT ITER 3207 NEW BEST:: SOT 5130472 SOS 3616761 HAS SOPS 3155773 HAS SOUS 238810 HAS SOUPS 232690 WITH SCORE 236306.761
AT ITER 3233 NEW BEST:: SOT 5130606 SOS 3616895 HAS SOPS 3155907 HAS SOUS 238776 HAS SOUPS 232656 WITH SCORE 236272.895
AT ITER 3239 NEW BEST:: SOT 5134838 SOS 3621127 HAS SOPS 3160139 HAS SOUS 238210 HAS SOUPS 232090 WITH SCORE 235711.127
AT ITER 3252 NEW BEST:: SOT 5134858 SOS 3621139 HAS SOPS 3159639 HAS SOUS 238155 HAS SOUPS 232035 WITH SCORE 235656.139
AT ITER 3257 NEW BEST:: SOT 5135882 SOS 3621923 HAS SOPS 3158295 HAS SOUS 238030 HAS SOUPS 231930 WITH SCORE 235551.923
AT ITER 3259 NEW BEST:: SOT 5137433 SOS 3623464 HAS SOPS 3159836 HAS SOUS 237977 HAS SOUPS 231877 WITH SCORE 235500.464
AT ITER 3268 NEW BEST:: SOT 5137519 SOS 3622564 HAS SOPS 3159884 HAS SOUS 237889 HAS SOUPS 231793 WITH SCORE 235415.564
AT ITER 3301 NEW BEST:: SOT 5137467 SOS 3622512 HAS SOPS 3159832 HAS SOUS 237850 HAS SOUPS 231691 WITH SCORE 235313.512
AT ITER 3318 NEW BEST:: SOT 5112897 SOS 3585418 HAS SOPS 3137850 HAS SOUS 235536 HAS SOUPS 229438 WITH SCORE 233023.418
AT ITER 3341 NEW BEST:: SOT 5113147 SOS 3571402 HAS SOPS 3137818 HAS SOUS 235134 HAS SOUPS 229150 WITH SCORE 232721.402
AT ITER 3349 NEW BEST:: SOT 5113139 SOS 3574978 HAS SOPS 3137810 HAS SOUS 234785 HAS SOUPS 228817 WITH SCORE 232391.978
AT ITER 3351 NEW BEST:: SOT 5111823 SOS 3573662 HAS SOPS 3136494 HAS SOUS 234705 HAS SOUPS 228737 WITH SCORE 232310.662
AT ITER 3363 NEW BEST:: SOT 5092983 SOS 3554822 HAS SOPS 3117654 HAS SOUS 233912 HAS SOUPS 227944 WITH SCORE 231498.822
AT ITER 3365 NEW BEST:: SOT 5092983 SOS 3554848 HAS SOPS 3117594 HAS SOUS 233925 HAS SOUPS 227914 WITH SCORE 231468.848
AT ITER 3372 NEW BEST:: SOT 5093100 SOS 3555253 HAS SOPS 3117807 HAS SOUS 233217 HAS SOUPS 227206 WITH SCORE 230761.253
AT ITER 3376 NEW BEST:: SOT 5093190 SOS 3555343 HAS SOPS 3117897 HAS SOUS 233187 HAS SOUPS 227176 WITH SCORE 230731.343
AT ITER 3388 NEW BEST:: SOT 5094044 SOS 3556197 HAS SOPS 3118751 HAS SOUS 233166 HAS SOUPS 227155 WITH SCORE 230711.197
AT ITER 3393 NEW BEST:: SOT 5093974 SOS 3556127 HAS SOPS 3118681 HAS SOUS 233092 HAS SOUPS 227081 WITH SCORE 230637.127
AT ITER 3402 NEW BEST:: SOT 5093974 SOS 3538487 HAS SOPS 3098241 HAS SOUS 233048 HAS SOUPS 227048 WITH SCORE 230586.487
AT ITER 3408 NEW BEST:: SOT 5093974 SOS 3534799 HAS SOPS 3094341 HAS SOUS 232915 HAS SOUPS 226897 WITH SCORE 230431.799
AT ITER 3423 NEW BEST:: SOT 5093842 SOS 3534667 HAS SOPS 3094209 HAS SOUS 232816 HAS SOUPS 226861 WITH SCORE 230395.667
AT ITER 3425 NEW BEST:: SOT 5093662 SOS 3534361 HAS SOPS 3093903 HAS SOUS 232575 HAS SOUPS 226620 WITH SCORE 230154.361
AT ITER 3441 NEW BEST:: SOT 5093662 SOS 3534309 HAS SOPS 3093707 HAS SOUS 232557 HAS SOUPS 226600 WITH SCORE 230134.309
AT ITER 3457 NEW BEST:: SOT 5095614 SOS 3536261 HAS SOPS 3095659 HAS SOUS 232525 HAS SOUPS 226568 WITH SCORE 230104.261
AT ITER 3463 NEW BEST:: SOT 5093810 SOS 3534457 HAS SOPS 3093855 HAS SOUS 231647 HAS SOUPS 225690 WITH SCORE 229224.457
AT ITER 3470 NEW BEST:: SOT 5093414 SOS 3534061 HAS SOPS 3093459 HAS SOUS 231631 HAS SOUPS 225674 WITH SCORE 229208.061
AT ITER 3474 NEW BEST:: SOT 5093414 SOS 3510605 HAS SOPS 3059003 HAS SOUS 231488 HAS SOUPS 225469 WITH SCORE 228979.605
AT ITER 3476 NEW BEST:: SOT 5091664 SOS 3508855 HAS SOPS 3057253 HAS SOUS 230925 HAS SOUPS 224906 WITH SCORE 228414.855
AT ITER 3481 NEW BEST:: SOT 5091588 SOS 3508779 HAS SOPS 3057177 HAS SOUS 230889 HAS SOUPS 224870 WITH SCORE 228378.779
AT ITER 3503 NEW BEST:: SOT 5090698 SOS 3499649 HAS SOPS 3060335 HAS SOUS 230577 HAS SOUPS 224638 WITH SCORE 228137.649
AT ITER 3543 NEW BEST:: SOT 5090408 SOS 3499479 HAS SOPS 3060105 HAS SOUS 230492 HAS SOUPS 224523 WITH SCORE 228022.479
AT ITER 3546 NEW BEST:: SOT 5090004 SOS 3499221 HAS SOPS 3059897 HAS SOUS 230363 HAS SOUPS 224419 WITH SCORE 227918.221
AT ITER 3564 NEW BEST:: SOT 5090004 SOS 3495145 HAS SOPS 3056013 HAS SOUS 230353 HAS SOUPS 224415 WITH SCORE 227910.145
AT ITER 3585 NEW BEST:: SOT 5090004 SOS 3453565 HAS SOPS 3013173 HAS SOUS 230346 HAS SOUPS 224429 WITH SCORE 227882.565
AT ITER 3591 NEW BEST:: SOT 5089972 SOS 3453533 HAS SOPS 3013141 HAS SOUS 230345 HAS SOUPS 224428 WITH SCORE 227881.533
AT ITER 3592 NEW BEST:: SOT 5089828 SOS 3453389 HAS SOPS 3012997 HAS SOUS 230314 HAS SOUPS 224397 WITH SCORE 227850.389
AT ITER 3597 NEW BEST:: SOT 5090052 SOS 3453613 HAS SOPS 3013221 HAS SOUS 229969 HAS SOUPS 224052 WITH SCORE 227505.613
AT ITER 3603 NEW BEST:: SOT 5090714 SOS 3454275 HAS SOPS 3013883 HAS SOUS 229830 HAS SOUPS 223913 WITH SCORE 227367.275
AT ITER 3609 NEW BEST:: SOT 5083046 SOS 3446607 HAS SOPS 3006215 HAS SOUS 229501 HAS SOUPS 223584 WITH SCORE 227030.607
AT ITER 3611 NEW BEST:: SOT 5083046 SOS 3446681 HAS SOPS 3006277 HAS SOUS 229548 HAS SOUPS 223579 WITH SCORE 227025.681
AT ITER 3620 NEW BEST:: SOT 5078822 SOS 3443507 HAS SOPS 3002771 HAS SOUS 229585 HAS SOUPS 223437 WITH SCORE 226880.507
AT ITER 3625 NEW BEST:: SOT 5080098 SOS 3444783 HAS SOPS 3004047 HAS SOUS 229352 HAS SOUPS 223204 WITH SCORE 226648.783
AT ITER 3666 NEW BEST:: SOT 5080098 SOS 3463163 HAS SOPS 3021707 HAS SOUS 229313 HAS SOUPS 223144 WITH SCORE 226607.163
AT ITER 3684 NEW BEST:: SOT 5080098 SOS 3462403 HAS SOPS 3021587 HAS SOUS 229273 HAS SOUPS 223144 WITH SCORE 226606.403
AT ITER 3693 NEW BEST:: SOT 5080098 SOS 3463987 HAS SOPS 3021827 HAS SOUS 229251 HAS SOUPS 223140 WITH SCORE 226603.987
AT ITER 3752 NEW BEST:: SOT 5079842 SOS 3463731 HAS SOPS 3021571 HAS SOUS 228995 HAS SOUPS 222884 WITH SCORE 226347.731
AT ITER 3772 NEW BEST:: SOT 5079842 SOS 3461139 HAS SOPS 3021715 HAS SOUS 228917 HAS SOUPS 222848 WITH SCORE 226309.139
AT ITER 3781 NEW BEST:: SOT 5079842 SOS 3450675 HAS SOPS 3015379 HAS SOUS 228909 HAS SOUPS 222840 WITH SCORE 226290.675
AT ITER 3843 NEW BEST:: SOT 5079842 SOS 3450677 HAS SOPS 3015373 HAS SOUS 228908 HAS SOUPS 222839 WITH SCORE 226289.677
AT ITER 3844 NEW BEST:: SOT 5079829 SOS 3450723 HAS SOPS 3015419 HAS SOUS 228888 HAS SOUPS 222819 WITH SCORE 226269.723
AT ITER 3848 NEW BEST:: SOT 5079829 SOS 3447355 HAS SOPS 3017379 HAS SOUS 228758 HAS SOUPS 222790 WITH SCORE 226237.355
AT ITER 3855 NEW BEST:: SOT 5079829 SOS 3447339 HAS SOPS 3017363 HAS SOUS 228746 HAS SOUPS 222782 WITH SCORE 226229.339
AT ITER 3888 NEW BEST:: SOT 5079829 SOS 3446749 HAS SOPS 3016755 HAS SOUS 228633 HAS SOUPS 222660 WITH SCORE 226106.749
AT ITER 3889 NEW BEST:: SOT 5079829 SOS 3444565 HAS SOPS 3016599 HAS SOUS 228633 HAS SOUPS 222660 WITH SCORE 226104.565
AT ITER 3903 NEW BEST:: SOT 5079829 SOS 3444371 HAS SOPS 3016539 HAS SOUS 228562 HAS SOUPS 222656 WITH SCORE 226100.371
AT ITER 3927 NEW BEST:: SOT 5079217 SOS 3444535 HAS SOPS 3016703 HAS SOUS 228393 HAS SOUPS 222522 WITH SCORE 225966.535
AT ITER 3946 NEW BEST:: SOT 5079217 SOS 3441127 HAS SOPS 3016367 HAS SOUS 228393 HAS SOUPS 222522 WITH SCORE 225963.127
AT ITER 3978 NEW BEST:: SOT 5079323 SOS 3441217 HAS SOPS 3015801 HAS SOUS 228119 HAS SOUPS 222248 WITH SCORE 225689.217
AT ITER 3993 NEW BEST:: SOT 5079323 SOS 3423925 HAS SOPS 2996709 HAS SOUS 228102 HAS SOUPS 222211 WITH SCORE 225634.925
AT ITER 3996 NEW BEST:: SOT 5079323 SOS 3414943 HAS SOPS 2987407 HAS SOUS 228071 HAS SOUPS 222160 WITH SCORE 225574.943
AT ITER 4032 NEW BEST:: SOT 5079323 SOS 3410591 HAS SOPS 2986227 HAS SOUS 228030 HAS SOUPS 222160 WITH SCORE 225570.591
AT ITER 4033 NEW BEST:: SOT 5079437 SOS 3410675 HAS SOPS 2986031 HAS SOUS 227622 HAS SOUPS 221802 WITH SCORE 225212.675
AT ITER 4048 NEW BEST:: SOT 5082659 SOS 3412981 HAS SOPS 2988855 HAS SOUS 227337 HAS SOUPS 221721 WITH SCORE 225133.981
AT ITER 4090 NEW BEST:: SOT 5082679 SOS 3413001 HAS SOPS 2988875 HAS SOUS 227329 HAS SOUPS 221713 WITH SCORE 225126.001
AT ITER 4092 NEW BEST:: SOT 5072311 SOS 3402633 HAS SOPS 2978507 HAS SOUS 226961 HAS SOUPS 221345 WITH SCORE 224747.633
AT ITER 4102 NEW BEST:: SOT 5072311 SOS 3402725 HAS SOPS 2978491 HAS SOUS 226959 HAS SOUPS 221343 WITH SCORE 224745.725
AT ITER 4104 NEW BEST:: SOT 5085111 SOS 3415525 HAS SOPS 2991291 HAS SOUS 226807 HAS SOUPS 221191 WITH SCORE 224606.525
AT ITER 4111 NEW BEST:: SOT 5085161 SOS 3415575 HAS SOPS 2991341 HAS SOUS 226792 HAS SOUPS 221176 WITH SCORE 224591.575
AT ITER 4123 NEW BEST:: SOT 5084421 SOS 3414835 HAS SOPS 2990601 HAS SOUS 226702 HAS SOUPS 221086 WITH SCORE 224500.835
AT ITER 4125 NEW BEST:: SOT 5084421 SOS 3414835 HAS SOPS 2990539 HAS SOUS 226501 HAS SOUPS 220854 WITH SCORE 224268.835
AT ITER 4129 NEW BEST:: SOT 5084421 SOS 3414739 HAS SOPS 2990515 HAS SOUS 226483 HAS SOUPS 220842 WITH SCORE 224256.739
AT ITER 4143 NEW BEST:: SOT 5084167 SOS 3414585 HAS SOPS 2990361 HAS SOUS 226238 HAS SOUPS 220597 WITH SCORE 224011.585
AT ITER 4162 NEW BEST:: SOT 5084123 SOS 3414541 HAS SOPS 2990317 HAS SOUS 226234 HAS SOUPS 220593 WITH SCORE 224007.541
AT ITER 4165 NEW BEST:: SOT 5074283 SOS 3404701 HAS SOPS 2980477 HAS SOUS 224676 HAS SOUPS 219035 WITH SCORE 222439.701
AT ITER 4166 NEW BEST:: SOT 5074283 SOS 3360655 HAS SOPS 2979683 HAS SOUS 224418 HAS SOUPS 218867 WITH SCORE 222227.655
AT ITER 4174 NEW BEST:: SOT 5074503 SOS 3360875 HAS SOPS 2979903 HAS SOUS 224066 HAS SOUPS 218515 WITH SCORE 221875.875
AT ITER 4186 NEW BEST:: SOT 5074867 SOS 3356151 HAS SOPS 2970331 HAS SOUS 223543 HAS SOUPS 218045 WITH SCORE 221401.151
AT ITER 4187 NEW BEST:: SOT 5074755 SOS 3356039 HAS SOPS 2970219 HAS SOUS 223447 HAS SOUPS 217949 WITH SCORE 221305.039
AT ITER 4197 NEW BEST:: SOT 5075499 SOS 3356783 HAS SOPS 2970963 HAS SOUS 223399 HAS SOUPS 217901 WITH SCORE 221257.783
AT ITER 4210 NEW BEST:: SOT 5075499 SOS 3355979 HAS SOPS 2970929 HAS SOUS 223356 HAS SOUPS 217865 WITH SCORE 221220.979
AT ITER 4269 NEW BEST:: SOT 5084316 SOS 3340206 HAS SOPS 2979364 HAS SOUS 220185 HAS SOUPS 214749 WITH SCORE 218089.206
AT ITER 4283 NEW BEST:: SOT 5084316 SOS 3338886 HAS SOPS 2978044 HAS SOUS 220123 HAS SOUPS 214687 WITH SCORE 218025.886
AT ITER 4288 NEW BEST:: SOT 5084304 SOS 3339104 HAS SOPS 2978070 HAS SOUS 219959 HAS SOUPS 214488 WITH SCORE 217827.104
AT ITER 4295 NEW BEST:: SOT 5084304 SOS 3338698 HAS SOPS 2978244 HAS SOUS 219959 HAS SOUPS 214488 WITH SCORE 217826.698
AT ITER 4300 NEW BEST:: SOT 5084304 SOS 3338684 HAS SOPS 2978244 HAS SOUS 219952 HAS SOUPS 214488 WITH SCORE 217826.684
AT ITER 4301 NEW BEST:: SOT 5084838 SOS 3339218 HAS SOPS 2978778 HAS SOUS 219763 HAS SOUPS 214299 WITH SCORE 217638.218
AT ITER 4310 NEW BEST:: SOT 5084838 SOS 3372350 HAS SOPS 3010420 HAS SOUS 219721 HAS SOUPS 214152 WITH SCORE 217524.35
AT ITER 4327 NEW BEST:: SOT 5084838 SOS 3372350 HAS SOPS 3010420 HAS SOUS 219707 HAS SOUPS 214138 WITH SCORE 217510.35
AT ITER 4352 NEW BEST:: SOT 5081226 SOS 3368738 HAS SOPS 3006808 HAS SOUS 218715 HAS SOUPS 213146 WITH SCORE 216514.738
AT ITER 4362 NEW BEST:: SOT 5081226 SOS 3368608 HAS SOPS 3004278 HAS SOUS 218655 HAS SOUPS 213086 WITH SCORE 216454.608
AT ITER 4377 NEW BEST:: SOT 5081226 SOS 3356488 HAS SOPS 3006494 HAS SOUS 218757 HAS SOUPS 213078 WITH SCORE 216434.488
AT ITER 4379 NEW BEST:: SOT 5081255 SOS 3356501 HAS SOPS 3006321 HAS SOUS 218858 HAS SOUPS 213057 WITH SCORE 216413.501
AT ITER 4394 NEW BEST:: SOT 5082151 SOS 3357397 HAS SOPS 3007217 HAS SOUS 218078 HAS SOUPS 212277 WITH SCORE 215634.397
AT ITER 4398 NEW BEST:: SOT 5082151 SOS 3360261 HAS SOPS 3006865 HAS SOUS 217868 HAS SOUPS 212170 WITH SCORE 215530.261
AT ITER 4399 NEW BEST:: SOT 5082151 SOS 3327355 HAS SOPS 2974051 HAS SOUS 217755 HAS SOUPS 212101 WITH SCORE 215428.355
AT ITER 4406 NEW BEST:: SOT 5082151 SOS 3325607 HAS SOPS 2973249 HAS SOUS 217710 HAS SOUPS 212101 WITH SCORE 215426.607
AT ITER 4439 NEW BEST:: SOT 5082151 SOS 3325599 HAS SOPS 2973089 HAS SOUS 217677 HAS SOUPS 212069 WITH SCORE 215394.599
AT ITER 4446 NEW BEST:: SOT 5082037 SOS 3325485 HAS SOPS 2972975 HAS SOUS 217436 HAS SOUPS 211828 WITH SCORE 215153.485
AT ITER 4450 NEW BEST:: SOT 5082013 SOS 3325461 HAS SOPS 2972951 HAS SOUS 217424 HAS SOUPS 211816 WITH SCORE 215141.461
AT ITER 4455 NEW BEST:: SOT 5082013 SOS 3312529 HAS SOPS 2958355 HAS SOUS 217347 HAS SOUPS 211738 WITH SCORE 215050.529
AT ITER 4460 NEW BEST:: SOT 5082013 SOS 3310321 HAS SOPS 2957987 HAS SOUS 217170 HAS SOUPS 211692 WITH SCORE 215002.321
AT ITER 4478 NEW BEST:: SOT 5082013 SOS 3310457 HAS SOPS 2958123 HAS SOUS 217122 HAS SOUPS 211634 WITH SCORE 214944.457
AT ITER 4487 NEW BEST:: SOT 5081845 SOS 3310289 HAS SOPS 2957955 HAS SOUS 217010 HAS SOUPS 211522 WITH SCORE 214832.289
AT ITER 4494 NEW BEST:: SOT 5081875 SOS 3310319 HAS SOPS 2957985 HAS SOUS 216936 HAS SOUPS 211448 WITH SCORE 214758.319
AT ITER 4495 NEW BEST:: SOT 5081853 SOS 3310297 HAS SOPS 2957963 HAS SOUS 216929 HAS SOUPS 211441 WITH SCORE 214751.297
AT ITER 4498 NEW BEST:: SOT 5082223 SOS 3310667 HAS SOPS 2958333 HAS SOUS 216914 HAS SOUPS 211426 WITH SCORE 214736.667
AT ITER 4521 NEW BEST:: SOT 5081493 SOS 3310373 HAS SOPS 2957587 HAS SOUS 216686 HAS SOUPS 211149 WITH SCORE 214459.373
AT ITER 4554 NEW BEST:: SOT 5081493 SOS 3304873 HAS SOPS 2951687 HAS SOUS 216671 HAS SOUPS 211129 WITH SCORE 214433.873
AT ITER 4559 NEW BEST:: SOT 5083241 SOS 3306621 HAS SOPS 2953435 HAS SOUS 215639 HAS SOUPS 210097 WITH SCORE 213403.621
AT ITER 4577 NEW BEST:: SOT 5083149 SOS 3306529 HAS SOPS 2953343 HAS SOUS 215585 HAS SOUPS 210043 WITH SCORE 213349.529
AT ITER 4590 NEW BEST:: SOT 5083129 SOS 3306325 HAS SOPS 2953323 HAS SOUS 215369 HAS SOUPS 209919 WITH SCORE 213225.325
AT ITER 4595 NEW BEST:: SOT 5078611 SOS 3301807 HAS SOPS 2948805 HAS SOUS 213818 HAS SOUPS 208368 WITH SCORE 211669.807
AT ITER 4640 NEW BEST:: SOT 5078341 SOS 3301537 HAS SOPS 2948535 HAS SOUS 213538 HAS SOUPS 208088 WITH SCORE 211389.537
AT ITER 4653 NEW BEST:: SOT 5084101 SOS 3307297 HAS SOPS 2954295 HAS SOUS 213426 HAS SOUPS 207976 WITH SCORE 211283.297
AT ITER 4654 NEW BEST:: SOT 5084101 SOS 3306699 HAS SOPS 2954153 HAS SOUS 213380 HAS SOUPS 207902 WITH SCORE 211208.699
AT ITER 4668 NEW BEST:: SOT 5084101 SOS 3314807 HAS SOPS 2955917 HAS SOUS 213412 HAS SOUPS 207880 WITH SCORE 211194.807
AT ITER 4701 NEW BEST:: SOT 5085180 SOS 3314656 HAS SOPS 2955966 HAS SOUS 213192 HAS SOUPS 207657 WITH SCORE 210971.656
AT ITER 4722 NEW BEST:: SOT 5085096 SOS 3314572 HAS SOPS 2955882 HAS SOUS 213099 HAS SOUPS 207564 WITH SCORE 210878.572
AT ITER 4740 NEW BEST:: SOT 5085096 SOS 3314506 HAS SOPS 2955832 HAS SOUS 213066 HAS SOUPS 207539 WITH SCORE 210853.506
AT ITER 4808 NEW BEST:: SOT 5085096 SOS 3314474 HAS SOPS 2955848 HAS SOUS 213066 HAS SOUPS 207535 WITH SCORE 210849.474
AT ITER 4809 NEW BEST:: SOT 5086528 SOS 3315906 HAS SOPS 2957280 HAS SOUS 212951 HAS SOUPS 207420 WITH SCORE 210735.906
AT ITER 4828 NEW BEST:: SOT 5087106 SOS 3316484 HAS SOPS 2957858 HAS SOUS 212291 HAS SOUPS 206760 WITH SCORE 210076.484
AT ITER 4835 NEW BEST:: SOT 5088378 SOS 3317756 HAS SOPS 2959130 HAS SOUS 211718 HAS SOUPS 206187 WITH SCORE 209504.756
AT ITER 4862 NEW BEST:: SOT 5088412 SOS 3313610 HAS SOPS 2966618 HAS SOUS 211836 HAS SOUPS 206109 WITH SCORE 209422.61
AT ITER 4900 NEW BEST:: SOT 5088412 SOS 3313886 HAS SOPS 2966894 HAS SOUS 211813 HAS SOUPS 206086 WITH SCORE 209399.886
AT ITER 4914 NEW BEST:: SOT 5088288 SOS 3313762 HAS SOPS 2966770 HAS SOUS 211751 HAS SOUPS 206024 WITH SCORE 209337.762
AT ITER 4927 NEW BEST:: SOT 5088288 SOS 3311612 HAS SOPS 2965868 HAS SOUS 211681 HAS SOUPS 206012 WITH SCORE 209323.612
AT ITER 4932 NEW BEST:: SOT 5088288 SOS 3309678 HAS SOPS 2965568 HAS SOUS 211700 HAS SOUPS 206009 WITH SCORE 209318.678
AT ITER 4934 NEW BEST:: SOT 5088288 SOS 3309518 HAS SOPS 2962848 HAS SOUS 211680 HAS SOUPS 205989 WITH SCORE 209298.518
AT ITER 4947 NEW BEST:: SOT 5088066 SOS 3309296 HAS SOPS 2962626 HAS SOUS 211640 HAS SOUPS 205949 WITH SCORE 209258.296
AT ITER 4983 NEW BEST:: SOT 5088060 SOS 3309290 HAS SOPS 2962620 HAS SOUS 211631 HAS SOUPS 205940 WITH SCORE 209249.29
AT ITER 4992 NEW BEST:: SOT 5088060 SOS 3309246 HAS SOPS 2962576 HAS SOUS 211576 HAS SOUPS 205907 WITH SCORE 209216.246
AT ITER 5030 NEW BEST:: SOT 5088012 SOS 3309198 HAS SOPS 2962528 HAS SOUS 211538 HAS SOUPS 205869 WITH SCORE 209178.198
AT ITER 5049 NEW BEST:: SOT 5090181 SOS 3311367 HAS SOPS 2964697 HAS SOUS 211083 HAS SOUPS 205414 WITH SCORE 208725.367
AT ITER 5050 NEW BEST:: SOT 5090125 SOS 3311311 HAS SOPS 2964641 HAS SOUS 211027 HAS SOUPS 205358 WITH SCORE 208669.311
AT ITER 5063 NEW BEST:: SOT 5088831 SOS 3310017 HAS SOPS 2963347 HAS SOUS 210737 HAS SOUPS 205068 WITH SCORE 208378.017
AT ITER 5086 NEW BEST:: SOT 5088831 SOS 3308273 HAS SOPS 2963237 HAS SOUS 210756 HAS SOUPS 205047 WITH SCORE 208355.273
AT ITER 5090 NEW BEST:: SOT 5088831 SOS 3308273 HAS SOPS 2963237 HAS SOUS 210696 HAS SOUPS 204987 WITH SCORE 208295.273
AT ITER 5091 NEW BEST:: SOT 5088801 SOS 3308243 HAS SOPS 2963207 HAS SOUS 210275 HAS SOUPS 204566 WITH SCORE 207874.243
AT ITER 5094 NEW BEST:: SOT 5091689 SOS 3311131 HAS SOPS 2966095 HAS SOUS 209615 HAS SOUPS 203906 WITH SCORE 207217.131
AT ITER 5110 NEW BEST:: SOT 5091695 SOS 3311625 HAS SOPS 2965717 HAS SOUS 209601 HAS SOUPS 203863 WITH SCORE 207174.625
AT ITER 5139 NEW BEST:: SOT 5091381 SOS 3311311 HAS SOPS 2965403 HAS SOUS 209316 HAS SOUPS 203578 WITH SCORE 206889.311
AT ITER 5142 NEW BEST:: SOT 5091381 SOS 3309699 HAS SOPS 2965455 HAS SOUS 209316 HAS SOUPS 203578 WITH SCORE 206887.699
AT ITER 5213 NEW BEST:: SOT 5091381 SOS 3307571 HAS SOPS 2965443 HAS SOUS 209216 HAS SOUPS 203554 WITH SCORE 206861.571
AT ITER 5236 NEW BEST:: SOT 5091389 SOS 3307579 HAS SOPS 2965451 HAS SOUS 209208 HAS SOUPS 203546 WITH SCORE 206853.579
AT ITER 5238 NEW BEST:: SOT 5091389 SOS 3305859 HAS SOPS 2964531 HAS SOUS 209183 HAS SOUPS 203546 WITH SCORE 206851.859
AT ITER 5239 NEW BEST:: SOT 5091317 SOS 3305787 HAS SOPS 2964459 HAS SOUS 208991 HAS SOUPS 203354 WITH SCORE 206659.787
AT ITER 5243 NEW BEST:: SOT 5091317 SOS 3306277 HAS SOPS 2964949 HAS SOUS 209019 HAS SOUPS 203347 WITH SCORE 206653.277
AT ITER 5246 NEW BEST:: SOT 5091317 SOS 3300837 HAS SOPS 2960341 HAS SOUS 208993 HAS SOUPS 203323 WITH SCORE 206623.837
AT ITER 5281 NEW BEST:: SOT 5091317 SOS 3295677 HAS SOPS 2960301 HAS SOUS 208983 HAS SOUPS 203318 WITH SCORE 206613.677
AT ITER 5283 NEW BEST:: SOT 5091199 SOS 3295559 HAS SOPS 2960183 HAS SOUS 208982 HAS SOUPS 203317 WITH SCORE 206612.559
AT ITER 5306 NEW BEST:: SOT 5092185 SOS 3296545 HAS SOPS 2961169 HAS SOUS 208478 HAS SOUPS 202813 WITH SCORE 206109.545
AT ITER 5328 NEW BEST:: SOT 5092211 SOS 3297709 HAS SOPS 2963473 HAS SOUS 208231 HAS SOUPS 202717 WITH SCORE 206014.709
AT ITER 5350 NEW BEST:: SOT 5092211 SOS 3294329 HAS SOPS 2963421 HAS SOUS 208205 HAS SOUPS 202704 WITH SCORE 205998.329
AT ITER 5351 NEW BEST:: SOT 5092579 SOS 3294651 HAS SOPS 2963743 HAS SOUS 208132 HAS SOUPS 202631 WITH SCORE 205925.651
AT ITER 5365 NEW BEST:: SOT 5091635 SOS 3293707 HAS SOPS 2962799 HAS SOUS 207342 HAS SOUPS 201841 WITH SCORE 205134.707
AT ITER 5376 NEW BEST:: SOT 5091635 SOS 3278593 HAS SOPS 2950149 HAS SOUS 207272 HAS SOUPS 201782 WITH SCORE 205060.593
AT ITER 5391 NEW BEST:: SOT 5091607 SOS 3278565 HAS SOPS 2950121 HAS SOUS 207258 HAS SOUPS 201768 WITH SCORE 205046.565
AT ITER 5415 NEW BEST:: SOT 5091607 SOS 3276853 HAS SOPS 2950257 HAS SOUS 207258 HAS SOUPS 201768 WITH SCORE 205044.853
AT ITER 5416 NEW BEST:: SOT 5091607 SOS 3280857 HAS SOPS 2950551 HAS SOUS 207060 HAS SOUPS 201692 WITH SCORE 204972.857
AT ITER 5423 NEW BEST:: SOT 5091605 SOS 3280855 HAS SOPS 2950549 HAS SOUS 207059 HAS SOUPS 201691 WITH SCORE 204971.855
AT ITER 5441 NEW BEST:: SOT 5091525 SOS 3280775 HAS SOPS 2950469 HAS SOUS 207059 HAS SOUPS 201691 WITH SCORE 204971.775
AT ITER 5455 NEW BEST:: SOT 5091447 SOS 3280697 HAS SOPS 2950391 HAS SOUS 206968 HAS SOUPS 201600 WITH SCORE 204880.697
AT ITER 5482 NEW BEST:: SOT 5091487 SOS 3280353 HAS SOPS 2950087 HAS SOUS 206871 HAS SOUPS 201525 WITH SCORE 204805.353
AT ITER 5484 NEW BEST:: SOT 5091621 SOS 3278551 HAS SOPS 2947517 HAS SOUS 206923 HAS SOUPS 201475 WITH SCORE 204753.551
AT ITER 5501 NEW BEST:: SOT 5095877 SOS 3282807 HAS SOPS 2951773 HAS SOUS 206548 HAS SOUPS 201100 WITH SCORE 204382.807
AT ITER 5532 NEW BEST:: SOT 5095877 SOS 3281799 HAS SOPS 2951629 HAS SOUS 206512 HAS SOUPS 201082 WITH SCORE 204363.799
AT ITER 5533 NEW BEST:: SOT 5095877 SOS 3267501 HAS SOPS 2952977 HAS SOUS 206674 HAS SOUPS 201063 WITH SCORE 204330.501
AT ITER 5536 NEW BEST:: SOT 5094637 SOS 3266261 HAS SOPS 2951737 HAS SOUS 205784 HAS SOUPS 200173 WITH SCORE 203439.261
AT ITER 5539 NEW BEST:: SOT 5094591 SOS 3266215 HAS SOPS 2951691 HAS SOUS 205750 HAS SOUPS 200139 WITH SCORE 203405.215
AT ITER 5559 NEW BEST:: SOT 5094591 SOS 3268305 HAS SOPS 2952513 HAS SOUS 205738 HAS SOUPS 200127 WITH SCORE 203395.305
AT ITER 5599 NEW BEST:: SOT 5094457 SOS 3268171 HAS SOPS 2952379 HAS SOUS 205617 HAS SOUPS 200006 WITH SCORE 203274.171
AT ITER 5632 NEW BEST:: SOT 5091781 SOS 3265495 HAS SOPS 2949703 HAS SOUS 205111 HAS SOUPS 199500 WITH SCORE 202765.495
AT ITER 5641 NEW BEST:: SOT 5092085 SOS 3265799 HAS SOPS 2950007 HAS SOUS 204735 HAS SOUPS 199124 WITH SCORE 202389.799
AT ITER 5654 NEW BEST:: SOT 5092085 SOS 3265539 HAS SOPS 2949747 HAS SOUS 204725 HAS SOUPS 199114 WITH SCORE 202379.539
AT ITER 5752 NEW BEST:: SOT 5092085 SOS 3265531 HAS SOPS 2949763 HAS SOUS 204721 HAS SOUPS 199114 WITH SCORE 202379.531
AT ITER 5759 NEW BEST:: SOT 5091743 SOS 3263361 HAS SOPS 2951561 HAS SOUS 204582 HAS SOUPS 199082 WITH SCORE 202345.361
AT ITER 5778 NEW BEST:: SOT 5091743 SOS 3263049 HAS SOPS 2951249 HAS SOUS 204582 HAS SOUPS 199082 WITH SCORE 202345.049
AT ITER 5832 NEW BEST:: SOT 5083883 SOS 3255189 HAS SOPS 2943389 HAS SOUS 202484 HAS SOUPS 196984 WITH SCORE 200239.189
AT ITER 5871 NEW BEST:: SOT 5083883 SOS 3253261 HAS SOPS 2941825 HAS SOUS 202438 HAS SOUPS 196985 WITH SCORE 200238.261
AT ITER 5879 NEW BEST:: SOT 5087119 SOS 3256497 HAS SOPS 2945061 HAS SOUS 201927 HAS SOUPS 196474 WITH SCORE 199730.497
AT ITER 5926 NEW BEST:: SOT 5087091 SOS 3256469 HAS SOPS 2945033 HAS SOUS 201899 HAS SOUPS 196446 WITH SCORE 199702.469
AT ITER 5955 NEW BEST:: SOT 5088783 SOS 3258161 HAS SOPS 2946725 HAS SOUS 201875 HAS SOUPS 196422 WITH SCORE 199680.161
AT ITER 5978 NEW BEST:: SOT 5086863 SOS 3256241 HAS SOPS 2944805 HAS SOUS 201491 HAS SOUPS 196038 WITH SCORE 199294.241
AT ITER 6013 NEW BEST:: SOT 5086035 SOS 3255413 HAS SOPS 2943977 HAS SOUS 200269 HAS SOUPS 194816 WITH SCORE 198071.413
AT ITER 6019 NEW BEST:: SOT 5086035 SOS 3252389 HAS SOPS 2943257 HAS SOUS 200254 HAS SOUPS 194816 WITH SCORE 198068.389
AT ITER 6042 NEW BEST:: SOT 5086095 SOS 3252449 HAS SOPS 2943317 HAS SOUS 200134 HAS SOUPS 194696 WITH SCORE 197948.449
AT ITER 6057 NEW BEST:: SOT 5085967 SOS 3252321 HAS SOPS 2943189 HAS SOUS 200126 HAS SOUPS 194688 WITH SCORE 197940.321
AT ITER 6058 NEW BEST:: SOT 5086155 SOS 3252509 HAS SOPS 2943377 HAS SOUS 200089 HAS SOUPS 194651 WITH SCORE 197903.509
AT ITER 6068 NEW BEST:: SOT 5086155 SOS 3252507 HAS SOPS 2943377 HAS SOUS 200088 HAS SOUPS 194651 WITH SCORE 197903.507
AT ITER 6070 NEW BEST:: SOT 5086155 SOS 3242288 HAS SOPS 2942945 HAS SOUS 200028 HAS SOUPS 194622 WITH SCORE 197864.288
AT ITER 6078 NEW BEST:: SOT 5086155 SOS 3237296 HAS SOPS 2942869 HAS SOUS 200041 HAS SOUPS 194622 WITH SCORE 197859.296
AT ITER 6091 NEW BEST:: SOT 5086341 SOS 3237470 HAS SOPS 2942971 HAS SOUS 199999 HAS SOUPS 194544 WITH SCORE 197781.47
AT ITER 6114 NEW BEST:: SOT 5086064 SOS 3237193 HAS SOPS 2942694 HAS SOUS 199992 HAS SOUPS 194537 WITH SCORE 197774.193
AT ITER 6127 NEW BEST:: SOT 5086166 SOS 3237295 HAS SOPS 2942796 HAS SOUS 199668 HAS SOUPS 194213 WITH SCORE 197450.295
AT ITER 6170 NEW BEST:: SOT 5086216 SOS 3236987 HAS SOPS 2943158 HAS SOUS 199576 HAS SOUPS 194096 WITH SCORE 197332.987
AT ITER 6199 NEW BEST:: SOT 5086572 SOS 3237343 HAS SOPS 2943514 HAS SOUS 199554 HAS SOUPS 194074 WITH SCORE 197311.343
AT ITER 6201 NEW BEST:: SOT 5086567 SOS 3237360 HAS SOPS 2943595 HAS SOUS 199329 HAS SOUPS 193946 WITH SCORE 197183.36
AT ITER 6215 NEW BEST:: SOT 5086423 SOS 3237216 HAS SOPS 2943451 HAS SOUS 198903 HAS SOUPS 193520 WITH SCORE 196757.216
AT ITER 6239 NEW BEST:: SOT 5086607 SOS 3237400 HAS SOPS 2943635 HAS SOUS 198658 HAS SOUPS 193275 WITH SCORE 196512.4
AT ITER 6245 NEW BEST:: SOT 5086607 SOS 3237316 HAS SOPS 2943589 HAS SOUS 198616 HAS SOUPS 193252 WITH SCORE 196489.316
AT ITER 6290 NEW BEST:: SOT 5086607 SOS 3237200 HAS SOPS 2942521 HAS SOUS 198565 HAS SOUPS 193201 WITH SCORE 196438.2
AT ITER 6307 NEW BEST:: SOT 5086537 SOS 3237130 HAS SOPS 2942451 HAS SOUS 198397 HAS SOUPS 193033 WITH SCORE 196270.13
AT ITER 6323 NEW BEST:: SOT 5086537 SOS 3234794 HAS SOPS 2942611 HAS SOUS 198389 HAS SOUPS 193033 WITH SCORE 196267.794
AT ITER 6336 NEW BEST:: SOT 5089181 SOS 3237438 HAS SOPS 2945255 HAS SOUS 198135 HAS SOUPS 192779 WITH SCORE 196016.438
AT ITER 6342 NEW BEST:: SOT 5089181 SOS 3241486 HAS SOPS 2945343 HAS SOUS 198180 HAS SOUPS 192744 WITH SCORE 195985.486
AT ITER 6344 NEW BEST:: SOT 5089135 SOS 3205116 HAS SOPS 2909589 HAS SOUS 198124 HAS SOUPS 192649 WITH SCORE 195854.116
AT ITER 6347 NEW BEST:: SOT 5089135 SOS 3209200 HAS SOPS 2909593 HAS SOUS 198112 HAS SOUPS 192620 WITH SCORE 195829.2
AT ITER 6351 NEW BEST:: SOT 5089135 SOS 3204752 HAS SOPS 2909033 HAS SOUS 198095 HAS SOUPS 192611 WITH SCORE 195815.752
AT ITER 6354 NEW BEST:: SOT 5089135 SOS 3204754 HAS SOPS 2909021 HAS SOUS 198096 HAS SOUPS 192605 WITH SCORE 195809.754
AT ITER 6371 NEW BEST:: SOT 5089135 SOS 3204726 HAS SOPS 2908819 HAS SOUS 198082 HAS SOUPS 192504 WITH SCORE 195708.726
AT ITER 6392 NEW BEST:: SOT 5089177 SOS 3204768 HAS SOPS 2908861 HAS SOUS 198016 HAS SOUPS 192438 WITH SCORE 195642.768
AT ITER 6403 NEW BEST:: SOT 5089428 SOS 3204599 HAS SOPS 2908630 HAS SOUS 197994 HAS SOUPS 192294 WITH SCORE 195498.599
AT ITER 6409 NEW BEST:: SOT 5091798 SOS 3206969 HAS SOPS 2911000 HAS SOUS 197070 HAS SOUPS 191370 WITH SCORE 194576.969
AT ITER 6415 NEW BEST:: SOT 5091794 SOS 3206965 HAS SOPS 2910996 HAS SOUS 197068 HAS SOUPS 191368 WITH SCORE 194574.965
AT ITER 6443 NEW BEST:: SOT 5092234 SOS 3207405 HAS SOPS 2911436 HAS SOUS 196187 HAS SOUPS 190487 WITH SCORE 193694.405
AT ITER 6449 NEW BEST:: SOT 5091766 SOS 3206937 HAS SOPS 2910968 HAS SOUS 196127 HAS SOUPS 190427 WITH SCORE 193633.937
AT ITER 6460 NEW BEST:: SOT 5091812 SOS 3206983 HAS SOPS 2911014 HAS SOUS 196019 HAS SOUPS 190319 WITH SCORE 193525.983
AT ITER 6463 NEW BEST:: SOT 5091880 SOS 3206855 HAS SOPS 2911016 HAS SOUS 195450 HAS SOUPS 189869 WITH SCORE 193075.855
AT ITER 6467 NEW BEST:: SOT 5091892 SOS 3219131 HAS SOPS 2923076 HAS SOUS 195486 HAS SOUPS 189845 WITH SCORE 193064.131
AT ITER 6483 NEW BEST:: SOT 5091892 SOS 3214829 HAS SOPS 2923526 HAS SOUS 195510 HAS SOUPS 189847 WITH SCORE 193061.829
AT ITER 6511 NEW BEST:: SOT 5091892 SOS 3214397 HAS SOPS 2923094 HAS SOUS 195477 HAS SOUPS 189823 WITH SCORE 193037.397
AT ITER 6515 NEW BEST:: SOT 5092612 SOS 3215117 HAS SOPS 2923814 HAS SOUS 194965 HAS SOUPS 189311 WITH SCORE 192526.117
AT ITER 6539 NEW BEST:: SOT 5092577 SOS 3215082 HAS SOPS 2923779 HAS SOUS 194723 HAS SOUPS 189069 WITH SCORE 192284.082
AT ITER 6543 NEW BEST:: SOT 5092597 SOS 3214268 HAS SOPS 2923617 HAS SOUS 194587 HAS SOUPS 188983 WITH SCORE 192197.268
AT ITER 6550 NEW BEST:: SOT 5092755 SOS 3214426 HAS SOPS 2923775 HAS SOUS 194227 HAS SOUPS 188623 WITH SCORE 191837.426
AT ITER 6592 NEW BEST:: SOT 5107853 SOS 3229524 HAS SOPS 2938873 HAS SOUS 193741 HAS SOUPS 188137 WITH SCORE 191366.524
AT ITER 6600 NEW BEST:: SOT 5107151 SOS 3228822 HAS SOPS 2938171 HAS SOUS 193139 HAS SOUPS 187535 WITH SCORE 190763.822
AT ITER 6601 NEW BEST:: SOT 5107151 SOS 3228792 HAS SOPS 2937617 HAS SOUS 193178 HAS SOUPS 187532 WITH SCORE 190760.792
AT ITER 6607 NEW BEST:: SOT 5108521 SOS 3230162 HAS SOPS 2938987 HAS SOUS 193018 HAS SOUPS 187372 WITH SCORE 190602.162
AT ITER 6608 NEW BEST:: SOT 5108475 SOS 3230116 HAS SOPS 2938941 HAS SOUS 193018 HAS SOUPS 187372 WITH SCORE 190602.116
AT ITER 6629 NEW BEST:: SOT 5108475 SOS 3228800 HAS SOPS 2937625 HAS SOUS 192971 HAS SOUPS 187325 WITH SCORE 190553.8
AT ITER 6634 NEW BEST:: SOT 5108439 SOS 3226812 HAS SOPS 2938971 HAS SOUS 192345 HAS SOUPS 187061 WITH SCORE 190287.812
AT ITER 6640 NEW BEST:: SOT 5108551 SOS 3226924 HAS SOPS 2939083 HAS SOUS 191741 HAS SOUPS 186457 WITH SCORE 189683.924
AT ITER 6641 NEW BEST:: SOT 5108551 SOS 3226920 HAS SOPS 2939083 HAS SOUS 191739 HAS SOUPS 186457 WITH SCORE 189683.92
AT ITER 6662 NEW BEST:: SOT 5108551 SOS 3225156 HAS SOPS 2938555 HAS SOUS 191686 HAS SOUPS 186394 WITH SCORE 189619.156
AT ITER 6683 NEW BEST:: SOT 5108567 SOS 3176320 HAS SOPS 2894883 HAS SOUS 191428 HAS SOUPS 186356 WITH SCORE 189532.32
AT ITER 6709 NEW BEST:: SOT 5108567 SOS 3202142 HAS SOPS 2894635 HAS SOUS 191420 HAS SOUPS 186305 WITH SCORE 189507.142
AT ITER 6715 NEW BEST:: SOT 5108567 SOS 3203110 HAS SOPS 2895675 HAS SOUS 191418 HAS SOUPS 186303 WITH SCORE 189506.11
AT ITER 6721 NEW BEST:: SOT 5108485 SOS 3203072 HAS SOPS 2895845 HAS SOUS 191314 HAS SOUPS 186205 WITH SCORE 189408.072
AT ITER 6769 NEW BEST:: SOT 5108471 SOS 3206636 HAS SOPS 2898425 HAS SOUS 191247 HAS SOUPS 186131 WITH SCORE 189337.636
AT ITER 6782 NEW BEST:: SOT 5108471 SOS 3203054 HAS SOPS 2894843 HAS SOUS 191227 HAS SOUPS 186111 WITH SCORE 189314.054
AT ITER 6785 NEW BEST:: SOT 5107057 SOS 3201640 HAS SOPS 2893429 HAS SOUS 191025 HAS SOUPS 185909 WITH SCORE 189110.64
AT ITER 6793 NEW BEST:: SOT 5106627 SOS 3201306 HAS SOPS 2892851 HAS SOUS 190782 HAS SOUPS 185667 WITH SCORE 188868.306
AT ITER 6796 NEW BEST:: SOT 5106639 SOS 3199198 HAS SOPS 2894667 HAS SOUS 190577 HAS SOUPS 185503 WITH SCORE 188702.198
AT ITER 6812 NEW BEST:: SOT 5107985 SOS 3200544 HAS SOPS 2896013 HAS SOUS 190529 HAS SOUPS 185466 WITH SCORE 188666.544
AT ITER 6819 NEW BEST:: SOT 5107985 SOS 3197195 HAS SOPS 2895673 HAS SOUS 190529 HAS SOUPS 185449 WITH SCORE 188646.195
AT ITER 6823 NEW BEST:: SOT 5108097 SOS 3197307 HAS SOPS 2895785 HAS SOUS 190507 HAS SOUPS 185427 WITH SCORE 188624.307
AT ITER 6828 NEW BEST:: SOT 5108097 SOS 3196167 HAS SOPS 2895937 HAS SOUS 190488 HAS SOUPS 185427 WITH SCORE 188623.167
AT ITER 6834 NEW BEST:: SOT 5108063 SOS 3196133 HAS SOPS 2895903 HAS SOUS 190473 HAS SOUPS 185412 WITH SCORE 188608.133
AT ITER 6859 NEW BEST:: SOT 5108063 SOS 3196125 HAS SOPS 2895891 HAS SOUS 190469 HAS SOUPS 185406 WITH SCORE 188602.125
AT ITER 6869 NEW BEST:: SOT 5108063 SOS 3196117 HAS SOPS 2895839 HAS SOUS 190465 HAS SOUPS 185380 WITH SCORE 188576.117
AT ITER 6875 NEW BEST:: SOT 5108131 SOS 3196185 HAS SOPS 2895907 HAS SOUS 190362 HAS SOUPS 185277 WITH SCORE 188473.185
AT ITER 6879 NEW BEST:: SOT 5108131 SOS 3204465 HAS SOPS 2895691 HAS SOUS 190357 HAS SOUPS 185261 WITH SCORE 188465.465
AT ITER 6889 NEW BEST:: SOT 5107921 SOS 3204255 HAS SOPS 2895481 HAS SOUS 190196 HAS SOUPS 185100 WITH SCORE 188304.255
AT ITER 6896 NEW BEST:: SOT 5107881 SOS 3204215 HAS SOPS 2895441 HAS SOUS 190196 HAS SOUPS 185100 WITH SCORE 188304.215
AT ITER 6911 NEW BEST:: SOT 5107879 SOS 3203879 HAS SOPS 2895445 HAS SOUS 190181 HAS SOUPS 185091 WITH SCORE 188294.879
AT ITER 6915 NEW BEST:: SOT 5107903 SOS 3263141 HAS SOPS 2948753 HAS SOUS 190195 HAS SOUPS 184991 WITH SCORE 188254.141
AT ITER 6930 NEW BEST:: SOT 5107863 SOS 3263101 HAS SOPS 2948713 HAS SOUS 190195 HAS SOUPS 184991 WITH SCORE 188254.101
AT ITER 6972 NEW BEST:: SOT 5107863 SOS 3262937 HAS SOPS 2948613 HAS SOUS 190195 HAS SOUPS 184991 WITH SCORE 188253.937
AT ITER 6975 NEW BEST:: SOT 5107863 SOS 3262937 HAS SOPS 2948613 HAS SOUS 190067 HAS SOUPS 184863 WITH SCORE 188125.937
AT ITER 7018 NEW BEST:: SOT 5111291 SOS 3266365 HAS SOPS 2952041 HAS SOUS 188949 HAS SOUPS 183745 WITH SCORE 187011.365
AT ITER 7052 NEW BEST:: SOT 5110657 SOS 3265731 HAS SOPS 2951407 HAS SOUS 188863 HAS SOUPS 183659 WITH SCORE 186924.731
AT ITER 7065 NEW BEST:: SOT 5104589 SOS 3259663 HAS SOPS 2945339 HAS SOUS 188773 HAS SOUPS 183569 WITH SCORE 186828.663
AT ITER 7098 NEW BEST:: SOT 5104589 SOS 3259663 HAS SOPS 2945339 HAS SOUS 188769 HAS SOUPS 183565 WITH SCORE 186824.663
AT ITER 7123 NEW BEST:: SOT 5104569 SOS 3259643 HAS SOPS 2945319 HAS SOUS 188754 HAS SOUPS 183550 WITH SCORE 186809.643
AT ITER 7129 NEW BEST:: SOT 5104609 SOS 3260239 HAS SOPS 2945443 HAS SOUS 188712 HAS SOUPS 183505 WITH SCORE 186765.239
AT ITER 7145 NEW BEST:: SOT 5104557 SOS 3260187 HAS SOPS 2945391 HAS SOUS 188662 HAS SOUPS 183455 WITH SCORE 186715.187
AT ITER 7146 NEW BEST:: SOT 5105125 SOS 3260755 HAS SOPS 2945959 HAS SOUS 187923 HAS SOUPS 182716 WITH SCORE 185976.755
AT ITER 7158 NEW BEST:: SOT 5105131 SOS 3260761 HAS SOPS 2945965 HAS SOUS 187885 HAS SOUPS 182678 WITH SCORE 185938.761
AT ITER 7172 NEW BEST:: SOT 5102931 SOS 3258561 HAS SOPS 2943765 HAS SOUS 187241 HAS SOUPS 182034 WITH SCORE 185292.561
AT ITER 7194 NEW BEST:: SOT 5102413 SOS 3258043 HAS SOPS 2943247 HAS SOUS 186657 HAS SOUPS 181450 WITH SCORE 184708.043
AT ITER 7197 NEW BEST:: SOT 5105093 SOS 3260723 HAS SOPS 2945927 HAS SOUS 186569 HAS SOUPS 181362 WITH SCORE 184622.723
AT ITER 7211 NEW BEST:: SOT 5105093 SOS 3260761 HAS SOPS 2945905 HAS SOUS 186588 HAS SOUPS 181351 WITH SCORE 184611.761
AT ITER 7225 NEW BEST:: SOT 5105093 SOS 3261153 HAS SOPS 2946017 HAS SOUS 186604 HAS SOUPS 181323 WITH SCORE 184584.153
AT ITER 7229 NEW BEST:: SOT 5105093 SOS 3260949 HAS SOPS 2945005 HAS SOUS 186624 HAS SOUPS 181301 WITH SCORE 184561.949
AT ITER 7246 NEW BEST:: SOT 5105445 SOS 3261301 HAS SOPS 2945357 HAS SOUS 184401 HAS SOUPS 179078 WITH SCORE 182339.301
AT ITER 7286 NEW BEST:: SOT 5105181 SOS 3261037 HAS SOPS 2945093 HAS SOUS 184390 HAS SOUPS 179067 WITH SCORE 182328.037
AT ITER 7339 NEW BEST:: SOT 5105181 SOS 3260987 HAS SOPS 2945093 HAS SOUS 184365 HAS SOUPS 179067 WITH SCORE 182327.987
AT ITER 7340 NEW BEST:: SOT 5105181 SOS 3260963 HAS SOPS 2945069 HAS SOUS 184353 HAS SOUPS 179055 WITH SCORE 182315.963
AT ITER 7363 NEW BEST:: SOT 5100515 SOS 3258499 HAS SOPS 2940741 HAS SOUS 183574 HAS SOUPS 178146 WITH SCORE 181404.499
AT ITER 7384 NEW BEST:: SOT 5100571 SOS 3258555 HAS SOPS 2940797 HAS SOUS 183528 HAS SOUPS 178100 WITH SCORE 181358.555
AT ITER 7390 NEW BEST:: SOT 5099903 SOS 3257887 HAS SOPS 2940129 HAS SOUS 182862 HAS SOUPS 177434 WITH SCORE 180691.887
AT ITER 7422 NEW BEST:: SOT 5099421 SOS 3269443 HAS SOPS 2953157 HAS SOUS 182413 HAS SOUPS 177179 WITH SCORE 180448.443
AT ITER 7425 NEW BEST:: SOT 5099313 SOS 3269335 HAS SOPS 2953049 HAS SOUS 182410 HAS SOUPS 177176 WITH SCORE 180445.335
AT ITER 7435 NEW BEST:: SOT 5099245 SOS 3269427 HAS SOPS 2953141 HAS SOUS 182183 HAS SOUPS 176949 WITH SCORE 180218.427
AT ITER 7453 NEW BEST:: SOT 5099077 SOS 3269259 HAS SOPS 2952973 HAS SOUS 182175 HAS SOUPS 176941 WITH SCORE 180210.259
AT ITER 7464 NEW BEST:: SOT 5099077 SOS 3269157 HAS SOPS 2952859 HAS SOUS 182127 HAS SOUPS 176929 WITH SCORE 180198.157
AT ITER 7474 NEW BEST:: SOT 5099555 SOS 3269635 HAS SOPS 2953337 HAS SOUS 182007 HAS SOUPS 176809 WITH SCORE 180078.635
AT ITER 7482 NEW BEST:: SOT 5099555 SOS 3260655 HAS SOPS 2943717 HAS SOUS 181987 HAS SOUPS 176769 WITH SCORE 180029.655
AT ITER 7488 NEW BEST:: SOT 5099555 SOS 3258121 HAS SOPS 2943609 HAS SOUS 181980 HAS SOUPS 176769 WITH SCORE 180027.121
AT ITER 7533 NEW BEST:: SOT 5099475 SOS 3258041 HAS SOPS 2943529 HAS SOUS 181970 HAS SOUPS 176759 WITH SCORE 180017.041
AT ITER 7547 NEW BEST:: SOT 5099475 SOS 3258617 HAS SOPS 2943193 HAS SOUS 181968 HAS SOUPS 176757 WITH SCORE 180015.617
AT ITER 7548 NEW BEST:: SOT 5099211 SOS 3258353 HAS SOPS 2942929 HAS SOUS 181827 HAS SOUPS 176616 WITH SCORE 179874.353
AT ITER 7577 NEW BEST:: SOT 5099211 SOS 3254465 HAS SOPS 2940225 HAS SOUS 181811 HAS SOUPS 176608 WITH SCORE 179862.465
AT ITER 7625 NEW BEST:: SOT 5099211 SOS 3254465 HAS SOPS 2940207 HAS SOUS 181811 HAS SOUPS 176599 WITH SCORE 179853.465
AT ITER 7661 NEW BEST:: SOT 5099307 SOS 3253399 HAS SOPS 2939657 HAS SOUS 181733 HAS SOUPS 176541 WITH SCORE 179794.399
AT ITER 7684 NEW BEST:: SOT 5099307 SOS 3253013 HAS SOPS 2939671 HAS SOUS 181642 HAS SOUPS 176475 WITH SCORE 179728.013
AT ITER 7699 NEW BEST:: SOT 5097441 SOS 3251819 HAS SOPS 2938015 HAS SOUS 180289 HAS SOUPS 174981 WITH SCORE 178232.819
AT ITER 7716 NEW BEST:: SOT 5098253 SOS 3252631 HAS SOPS 2938827 HAS SOUS 179774 HAS SOUPS 174466 WITH SCORE 177718.631
AT ITER 7726 NEW BEST:: SOT 5097949 SOS 3252409 HAS SOPS 2938753 HAS SOUS 179663 HAS SOUPS 174429 WITH SCORE 177681.409
AT ITER 7733 NEW BEST:: SOT 5097683 SOS 3252143 HAS SOPS 2938487 HAS SOUS 179623 HAS SOUPS 174389 WITH SCORE 177641.143
AT ITER 7756 NEW BEST:: SOT 5097636 SOS 3252078 HAS SOPS 2938250 HAS SOUS 179591 HAS SOUPS 174321 WITH SCORE 177573.078
AT ITER 7759 NEW BEST:: SOT 5097550 SOS 3251992 HAS SOPS 2938164 HAS SOUS 179336 HAS SOUPS 174066 WITH SCORE 177317.992
AT ITER 7762 NEW BEST:: SOT 5097550 SOS 3251912 HAS SOPS 2938160 HAS SOUS 179333 HAS SOUPS 174064 WITH SCORE 177315.912
AT ITER 7792 NEW BEST:: SOT 5097282 SOS 3251712 HAS SOPS 2937960 HAS SOUS 179332 HAS SOUPS 174063 WITH SCORE 177314.712
AT ITER 7793 NEW BEST:: SOT 5097282 SOS 3252374 HAS SOPS 2938122 HAS SOUS 179312 HAS SOUPS 174042 WITH SCORE 177294.374
AT ITER 7796 NEW BEST:: SOT 5097282 SOS 3252356 HAS SOPS 2938122 HAS SOUS 179303 HAS SOUPS 174042 WITH SCORE 177294.356
AT ITER 7800 NEW BEST:: SOT 5096954 SOS 3252028 HAS SOPS 2937794 HAS SOUS 179399 HAS SOUPS 174042 WITH SCORE 177294.028
AT ITER 7812 NEW BEST:: SOT 5096318 SOS 3251392 HAS SOPS 2937158 HAS SOUS 179373 HAS SOUPS 174016 WITH SCORE 177267.392
AT ITER 7823 NEW BEST:: SOT 5096318 SOS 3247324 HAS SOPS 2936870 HAS SOUS 178664 HAS SOUPS 173508 WITH SCORE 176755.324
AT ITER 7839 NEW BEST:: SOT 5096318 SOS 3242292 HAS SOPS 2932566 HAS SOUS 178648 HAS SOUPS 173497 WITH SCORE 176739.292
AT ITER 7864 NEW BEST:: SOT 5093782 SOS 3239756 HAS SOPS 2930030 HAS SOUS 178548 HAS SOUPS 173397 WITH SCORE 176636.756
AT ITER 7873 NEW BEST:: SOT 5096666 SOS 3242600 HAS SOPS 2932888 HAS SOUS 178071 HAS SOUPS 172927 WITH SCORE 176169.6
AT ITER 7876 NEW BEST:: SOT 5096666 SOS 3241988 HAS SOPS 2930874 HAS SOUS 178007 HAS SOUPS 172863 WITH SCORE 176104.988
AT ITER 7890 NEW BEST:: SOT 5096102 SOS 3241424 HAS SOPS 2930310 HAS SOUS 177755 HAS SOUPS 172611 WITH SCORE 175852.424
AT ITER 7919 NEW BEST:: SOT 5095684 SOS 3241006 HAS SOPS 2929892 HAS SOUS 177683 HAS SOUPS 172539 WITH SCORE 175780.006
AT ITER 7972 NEW BEST:: SOT 5094932 SOS 3240254 HAS SOPS 2929140 HAS SOUS 177587 HAS SOUPS 172443 WITH SCORE 175683.254
AT ITER 8006 NEW BEST:: SOT 5094926 SOS 3240248 HAS SOPS 2929134 HAS SOUS 177582 HAS SOUPS 172438 WITH SCORE 175678.248
AT ITER 8039 NEW BEST:: SOT 5097922 SOS 3243244 HAS SOPS 2932130 HAS SOUS 176783 HAS SOUPS 171639 WITH SCORE 174882.244
AT ITER 8053 NEW BEST:: SOT 5097922 SOS 3227628 HAS SOPS 2915490 HAS SOUS 176759 HAS SOUPS 171631 WITH SCORE 174858.628
AT ITER 8130 NEW BEST:: SOT 5097922 SOS 3227572 HAS SOPS 2915456 HAS SOUS 176731 HAS SOUPS 171614 WITH SCORE 174841.572
AT ITER 8138 NEW BEST:: SOT 5098590 SOS 3228240 HAS SOPS 2916124 HAS SOUS 176655 HAS SOUPS 171538 WITH SCORE 174766.24
AT ITER 8168 NEW BEST:: SOT 5098577 SOS 3228227 HAS SOPS 2916111 HAS SOUS 176655 HAS SOUPS 171538 WITH SCORE 174766.227
AT ITER 8181 NEW BEST:: SOT 5098577 SOS 3228235 HAS SOPS 2916109 HAS SOUS 176659 HAS SOUPS 171537 WITH SCORE 174765.235
AT ITER 8214 NEW BEST:: SOT 5098577 SOS 3227981 HAS SOPS 2915967 HAS SOUS 176637 HAS SOUPS 171526 WITH SCORE 174753.981
AT ITER 8229 NEW BEST:: SOT 5099233 SOS 3228637 HAS SOPS 2916623 HAS SOUS 176221 HAS SOUPS 171110 WITH SCORE 174338.637
AT ITER 8255 NEW BEST:: SOT 5104297 SOS 3233701 HAS SOPS 2921687 HAS SOUS 175093 HAS SOUPS 169982 WITH SCORE 173215.701
AT ITER 8270 NEW BEST:: SOT 5104297 SOS 3233803 HAS SOPS 2921599 HAS SOUS 175090 HAS SOUPS 169977 WITH SCORE 173210.803
AT ITER 8294 NEW BEST:: SOT 5104297 SOS 3231659 HAS SOPS 2921087 HAS SOUS 175008 HAS SOUPS 169923 WITH SCORE 173154.659
AT ITER 8315 NEW BEST:: SOT 5104297 SOS 3231517 HAS SOPS 2921089 HAS SOUS 174986 HAS SOUPS 169904 WITH SCORE 173135.517
AT ITER 8322 NEW BEST:: SOT 5107753 SOS 3234973 HAS SOPS 2924545 HAS SOUS 174570 HAS SOUPS 169488 WITH SCORE 172722.973
AT ITER 8331 NEW BEST:: SOT 5107423 SOS 3234643 HAS SOPS 2924215 HAS SOUS 174290 HAS SOUPS 169208 WITH SCORE 172442.643
AT ITER 8337 NEW BEST:: SOT 5107423 SOS 3234591 HAS SOPS 2924163 HAS SOUS 174290 HAS SOUPS 169208 WITH SCORE 172442.591
AT ITER 8338 NEW BEST:: SOT 5107809 SOS 3234977 HAS SOPS 2924549 HAS SOUS 174224 HAS SOUPS 169142 WITH SCORE 172376.977
AT ITER 8349 NEW BEST:: SOT 5106377 SOS 3233545 HAS SOPS 2923117 HAS SOUS 172998 HAS SOUPS 167916 WITH SCORE 171149.545
AT ITER 8363 NEW BEST:: SOT 5106377 SOS 3233545 HAS SOPS 2923117 HAS SOUS 172996 HAS SOUPS 167914 WITH SCORE 171147.545
AT ITER 8379 NEW BEST:: SOT 5106377 SOS 3234445 HAS SOPS 2923495 HAS SOUS 172987 HAS SOUPS 167905 WITH SCORE 171139.445
AT ITER 8401 NEW BEST:: SOT 5106377 SOS 3233821 HAS SOPS 2922871 HAS SOUS 172987 HAS SOUPS 167905 WITH SCORE 171138.821
AT ITER 8412 NEW BEST:: SOT 5106377 SOS 3232977 HAS SOPS 2923023 HAS SOUS 172970 HAS SOUPS 167902 WITH SCORE 171134.977
AT ITER 8450 NEW BEST:: SOT 5106377 SOS 3232977 HAS SOPS 2923023 HAS SOUS 172874 HAS SOUPS 167806 WITH SCORE 171038.977
AT ITER 8461 NEW BEST:: SOT 5106339 SOS 3232939 HAS SOPS 2922985 HAS SOUS 172836 HAS SOUPS 167768 WITH SCORE 171000.939
AT ITER 8490 NEW BEST:: SOT 5106219 SOS 3232819 HAS SOPS 2922865 HAS SOUS 172034 HAS SOUPS 166966 WITH SCORE 170198.819
AT ITER 8497 NEW BEST:: SOT 5106203 SOS 3232803 HAS SOPS 2922849 HAS SOUS 171938 HAS SOUPS 166870 WITH SCORE 170102.803
AT ITER 8499 NEW BEST:: SOT 5106159 SOS 3232759 HAS SOPS 2922805 HAS SOUS 171916 HAS SOUPS 166848 WITH SCORE 170080.759
AT ITER 8515 NEW BEST:: SOT 5106159 SOS 3232759 HAS SOPS 2922793 HAS SOUS 171902 HAS SOUPS 166842 WITH SCORE 170074.759
AT ITER 8521 NEW BEST:: SOT 5106845 SOS 3233445 HAS SOPS 2923479 HAS SOUS 171514 HAS SOUPS 166454 WITH SCORE 169687.445
AT ITER 8547 NEW BEST:: SOT 5107427 SOS 3226940 HAS SOPS 2922992 HAS SOUS 171541 HAS SOUPS 166454 WITH SCORE 169680.94
AT ITER 8553 NEW BEST:: SOT 5107433 SOS 3223315 HAS SOPS 2923104 HAS SOUS 171550 HAS SOUPS 166437 WITH SCORE 169660.315
AT ITER 8577 NEW BEST:: SOT 5107433 SOS 3224327 HAS SOPS 2922964 HAS SOUS 171524 HAS SOUPS 166423 WITH SCORE 169647.327
AT ITER 8584 NEW BEST:: SOT 5107451 SOS 3224345 HAS SOPS 2922982 HAS SOUS 171506 HAS SOUPS 166405 WITH SCORE 169629.345
AT ITER 8586 NEW BEST:: SOT 5107451 SOS 3225743 HAS SOPS 2923420 HAS SOUS 171447 HAS SOUPS 166346 WITH SCORE 169571.743
AT ITER 8602 NEW BEST:: SOT 5107451 SOS 3218909 HAS SOPS 2922898 HAS SOUS 171020 HAS SOUPS 166218 WITH SCORE 169436.909
AT ITER 8605 NEW BEST:: SOT 5107435 SOS 3218893 HAS SOPS 2922882 HAS SOUS 171012 HAS SOUPS 166210 WITH SCORE 169428.893
AT ITER 8620 NEW BEST:: SOT 5090365 SOS 3217463 HAS SOPS 2909210 HAS SOUS 170616 HAS SOUPS 165712 WITH SCORE 168929.463
AT ITER 8651 NEW BEST:: SOT 5090365 SOS 3217321 HAS SOPS 2909164 HAS SOUS 170612 HAS SOUPS 165710 WITH SCORE 168927.321
AT ITER 8725 NEW BEST:: SOT 5090257 SOS 3217213 HAS SOPS 2909056 HAS SOUS 170598 HAS SOUPS 165696 WITH SCORE 168913.213
AT ITER 8746 NEW BEST:: SOT 5090227 SOS 3217183 HAS SOPS 2909026 HAS SOUS 170598 HAS SOUPS 165696 WITH SCORE 168913.183
AT ITER 8781 NEW BEST:: SOT 5090227 SOS 3220361 HAS SOPS 2903326 HAS SOUS 170609 HAS SOUPS 165684 WITH SCORE 168904.361
AT ITER 8806 NEW BEST:: SOT 5090851 SOS 3219837 HAS SOPS 2902966 HAS SOUS 170400 HAS SOUPS 165557 WITH SCORE 168776.837
AT ITER 8807 NEW BEST:: SOT 5091873 SOS 3220859 HAS SOPS 2903988 HAS SOUS 170339 HAS SOUPS 165496 WITH SCORE 168716.859
AT ITER 8825 NEW BEST:: SOT 5091952 SOS 3218664 HAS SOPS 2902249 HAS SOUS 170325 HAS SOUPS 165470 WITH SCORE 168688.664
AT ITER 8827 NEW BEST:: SOT 5091952 SOS 3213644 HAS SOPS 2899149 HAS SOUS 170305 HAS SOUPS 165460 WITH SCORE 168673.644
AT ITER 8849 NEW BEST:: SOT 5091952 SOS 3213104 HAS SOPS 2898581 HAS SOUS 170361 HAS SOUPS 165383 WITH SCORE 168596.104
AT ITER 8850 NEW BEST:: SOT 5092042 SOS 3213194 HAS SOPS 2898671 HAS SOUS 170296 HAS SOUPS 165318 WITH SCORE 168531.194
AT ITER 8858 NEW BEST:: SOT 5092042 SOS 3180802 HAS SOPS 2864935 HAS SOUS 170281 HAS SOUPS 165317 WITH SCORE 168497.802
AT ITER 8880 NEW BEST:: SOT 5092042 SOS 3168022 HAS SOPS 2866075 HAS SOUS 170251 HAS SOUPS 165317 WITH SCORE 168485.022
AT ITER 8881 NEW BEST:: SOT 5092424 SOS 3168404 HAS SOPS 2866457 HAS SOUS 169919 HAS SOUPS 164985 WITH SCORE 168153.404
AT ITER 8933 NEW BEST:: SOT 5092110 SOS 3168090 HAS SOPS 2866143 HAS SOUS 169808 HAS SOUPS 164874 WITH SCORE 168042.09
AT ITER 8943 NEW BEST:: SOT 5092110 SOS 3165930 HAS SOPS 2866143 HAS SOUS 169790 HAS SOUPS 164865 WITH SCORE 168030.93
AT ITER 8978 NEW BEST:: SOT 5092546 SOS 3166366 HAS SOPS 2866579 HAS SOUS 169754 HAS SOUPS 164829 WITH SCORE 167995.366
AT ITER 9065 NEW BEST:: SOT 5092543 SOS 3165952 HAS SOPS 2866165 HAS SOUS 169745 HAS SOUPS 164820 WITH SCORE 167985.952
AT ITER 9098 NEW BEST:: SOT 5093043 SOS 3166452 HAS SOPS 2866665 HAS SOUS 169699 HAS SOUPS 164774 WITH SCORE 167940.452
AT ITER 9114 NEW BEST:: SOT 5093043 SOS 3164134 HAS SOPS 2866267 HAS SOUS 169667 HAS SOUPS 164757 WITH SCORE 167921.134
AT ITER 9134 NEW BEST:: SOT 5093049 SOS 3164140 HAS SOPS 2866273 HAS SOUS 169619 HAS SOUPS 164709 WITH SCORE 167873.14
AT ITER 9144 NEW BEST:: SOT 5093029 SOS 3164120 HAS SOPS 2866253 HAS SOUS 169617 HAS SOUPS 164707 WITH SCORE 167871.12
AT ITER 9146 NEW BEST:: SOT 5093029 SOS 3159728 HAS SOPS 2861605 HAS SOUS 169577 HAS SOUPS 164683 WITH SCORE 167842.728
AT ITER 9191 NEW BEST:: SOT 5093029 SOS 3154520 HAS SOPS 2861773 HAS SOUS 169556 HAS SOUPS 164683 WITH SCORE 167837.52
AT ITER 9221 NEW BEST:: SOT 5092357 SOS 3153848 HAS SOPS 2861101 HAS SOUS 169334 HAS SOUPS 164461 WITH SCORE 167614.848
AT ITER 9261 NEW BEST:: SOT 5092357 SOS 3153842 HAS SOPS 2861095 HAS SOUS 169331 HAS SOUPS 164458 WITH SCORE 167611.842
AT ITER 9278 NEW BEST:: SOT 5092423 SOS 3140762 HAS SOPS 2851961 HAS SOUS 168954 HAS SOUPS 164156 WITH SCORE 167296.762
AT ITER 9287 NEW BEST:: SOT 5092421 SOS 3140760 HAS SOPS 2851959 HAS SOUS 168953 HAS SOUPS 164155 WITH SCORE 167295.76
AT ITER 9302 NEW BEST:: SOT 5092421 SOS 3139160 HAS SOPS 2851763 HAS SOUS 168924 HAS SOUPS 164153 WITH SCORE 167292.16
AT ITER 9305 NEW BEST:: SOT 5092421 SOS 3139455 HAS SOPS 2851871 HAS SOUS 168936 HAS SOUPS 164131 WITH SCORE 167270.455
AT ITER 9322 NEW BEST:: SOT 5093453 SOS 3140487 HAS SOPS 2852903 HAS SOUS 168915 HAS SOUPS 164110 WITH SCORE 167250.487
AT ITER 9323 NEW BEST:: SOT 5093453 SOS 3140463 HAS SOPS 2852879 HAS SOUS 168914 HAS SOUPS 164109 WITH SCORE 167249.463
AT ITER 9333 NEW BEST:: SOT 5093453 SOS 3126455 HAS SOPS 2833527 HAS SOUS 168833 HAS SOUPS 164094 WITH SCORE 167220.455
AT ITER 9337 NEW BEST:: SOT 5093525 SOS 3126527 HAS SOPS 2833599 HAS SOUS 168681 HAS SOUPS 163942 WITH SCORE 167068.527
AT ITER 9342 NEW BEST:: SOT 5091163 SOS 3124165 HAS SOPS 2831237 HAS SOUS 168637 HAS SOUPS 163898 WITH SCORE 167022.165
AT ITER 9370 NEW BEST:: SOT 5091107 SOS 3124109 HAS SOPS 2831181 HAS SOUS 168618 HAS SOUPS 163879 WITH SCORE 167003.109
AT ITER 9387 NEW BEST:: SOT 5091107 SOS 3125701 HAS SOPS 2837381 HAS SOUS 168495 HAS SOUPS 163830 WITH SCORE 166955.701
AT ITER 9415 NEW BEST:: SOT 5091235 SOS 3125829 HAS SOPS 2837509 HAS SOUS 168339 HAS SOUPS 163674 WITH SCORE 166799.829
AT ITER 9426 NEW BEST:: SOT 5091235 SOS 3125421 HAS SOPS 2837389 HAS SOUS 168327 HAS SOUPS 163674 WITH SCORE 166799.421
AT ITER 9432 NEW BEST:: SOT 5091235 SOS 3119419 HAS SOPS 2836703 HAS SOUS 168269 HAS SOUPS 163651 WITH SCORE 166770.419
AT ITER 9456 NEW BEST:: SOT 5091149 SOS 3119333 HAS SOPS 2836617 HAS SOUS 168236 HAS SOUPS 163618 WITH SCORE 166737.333
AT ITER 9458 NEW BEST:: SOT 5090741 SOS 3118925 HAS SOPS 2836209 HAS SOUS 167896 HAS SOUPS 163278 WITH SCORE 166396.925
AT ITER 9476 NEW BEST:: SOT 5090741 SOS 3113061 HAS SOPS 2835169 HAS SOUS 167835 HAS SOUPS 163206 WITH SCORE 166319.061
AT ITER 9496 NEW BEST:: SOT 5091707 SOS 3113205 HAS SOPS 2835145 HAS SOUS 167659 HAS SOUPS 162752 WITH SCORE 165865.205
AT ITER 9558 NEW BEST:: SOT 5091707 SOS 3112941 HAS SOPS 2834977 HAS SOUS 167647 HAS SOUPS 162746 WITH SCORE 165858.941
AT ITER 9568 NEW BEST:: SOT 5089505 SOS 3110739 HAS SOPS 2832775 HAS SOUS 166982 HAS SOUPS 162081 WITH SCORE 165191.739
AT ITER 9587 NEW BEST:: SOT 5089505 SOS 3108107 HAS SOPS 2832831 HAS SOUS 166952 HAS SOUPS 162040 WITH SCORE 165148.107
AT ITER 9612 NEW BEST:: SOT 5089468 SOS 3107683 HAS SOPS 2832473 HAS SOUS 166828 HAS SOUPS 162002 WITH SCORE 165109.683
AT ITER 9625 NEW BEST:: SOT 5089468 SOS 3106083 HAS SOPS 2814179 HAS SOUS 166800 HAS SOUPS 161943 WITH SCORE 165049.083
AT ITER 9642 NEW BEST:: SOT 5089476 SOS 3106091 HAS SOPS 2814187 HAS SOUS 166794 HAS SOUPS 161937 WITH SCORE 165043.091
AT ITER 9650 NEW BEST:: SOT 5089464 SOS 3106079 HAS SOPS 2814175 HAS SOUS 166793 HAS SOUPS 161936 WITH SCORE 165042.079
AT ITER 9682 NEW BEST:: SOT 5089804 SOS 3106419 HAS SOPS 2814515 HAS SOUS 166757 HAS SOUPS 161900 WITH SCORE 165006.419
AT ITER 9713 NEW BEST:: SOT 5089686 SOS 3106301 HAS SOPS 2814397 HAS SOUS 166636 HAS SOUPS 161779 WITH SCORE 164885.301
AT ITER 9715 NEW BEST:: SOT 5089686 SOS 3105141 HAS SOPS 2814301 HAS SOUS 166628 HAS SOUPS 161779 WITH SCORE 164884.141
AT ITER 9743 NEW BEST:: SOT 5089678 SOS 3105133 HAS SOPS 2814293 HAS SOUS 166620 HAS SOUPS 161771 WITH SCORE 164876.133
AT ITER 9758 NEW BEST:: SOT 5089946 SOS 3106149 HAS SOPS 2806477 HAS SOUS 166466 HAS SOUPS 161400 WITH SCORE 164506.149
AT ITER 9808 NEW BEST:: SOT 5089074 SOS 3106403 HAS SOPS 2806731 HAS SOUS 166156 HAS SOUPS 161186 WITH SCORE 164292.403
AT ITER 9811 NEW BEST:: SOT 5089144 SOS 3107249 HAS SOPS 2806711 HAS SOUS 166131 HAS SOUPS 161163 WITH SCORE 164270.249
AT ITER 9827 NEW BEST:: SOT 5089144 SOS 3100765 HAS SOPS 2798227 HAS SOUS 166062 HAS SOUPS 161076 WITH SCORE 164176.765
AT ITER 9890 NEW BEST:: SOT 5090404 SOS 3102025 HAS SOPS 2799487 HAS SOUS 166036 HAS SOUPS 161050 WITH SCORE 164152.025
AT ITER 9923 NEW BEST:: SOT 5090370 SOS 3101991 HAS SOPS 2799453 HAS SOUS 166019 HAS SOUPS 161033 WITH SCORE 164134.991
AT ITER 9937 NEW BEST:: SOT 5090372 SOS 3102327 HAS SOPS 2799789 HAS SOUS 166003 HAS SOUPS 161031 WITH SCORE 164133.327
AT ITER 9950 NEW BEST:: SOT 5090372 SOS 3101931 HAS SOPS 2799681 HAS SOUS 165997 HAS SOUPS 161031 WITH SCORE 164132.931
AT ITER 9951 NEW BEST:: SOT 5090372 SOS 3102089 HAS SOPS 2799757 HAS SOUS 166011 HAS SOUPS 160986 WITH SCORE 164088.089
AT ITER 9980 NEW BEST:: SOT 5090372 SOS 3109201 HAS SOPS 2807119 HAS SOUS 165873 HAS SOUPS 160950 WITH SCORE 164059.201
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15935004 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16108232 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="SemanticWebServices-PT-S256P12"
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 SemanticWebServices-PT-S256P12, 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 r355-smll-167891803500440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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