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.r163-tall-167838848200712.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 FunctionPointer-PT-b128, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838848200712
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 5.9K Feb 25 11:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 11:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 11:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 11:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 11:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 25 11:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678460531212

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=FunctionPointer-PT-b128
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b128
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: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250343 SOS 198996 HAS SOPS 192595 HAS SOUS 100055 HAS SOUPS 99609 WITH SCORE 99807.996
AT ITER 2 NEW BEST:: SOT 250343 SOS 198502 HAS SOPS 192101 HAS SOUS 100002 HAS SOUPS 99556 WITH SCORE 99754.502
AT ITER 5 NEW BEST:: SOT 250343 SOS 198258 HAS SOPS 191857 HAS SOUS 99952 HAS SOUPS 99506 WITH SCORE 99704.258
AT ITER 13 NEW BEST:: SOT 250343 SOS 198180 HAS SOPS 191779 HAS SOUS 99905 HAS SOUPS 99459 WITH SCORE 99657.18
AT ITER 20 NEW BEST:: SOT 250379 SOS 198022 HAS SOPS 191621 HAS SOUS 99891 HAS SOUPS 99445 WITH SCORE 99643.022
AT ITER 21 NEW BEST:: SOT 250379 SOS 198022 HAS SOPS 191621 HAS SOUS 99875 HAS SOUPS 99429 WITH SCORE 99627.022
AT ITER 23 NEW BEST:: SOT 250370 SOS 197555 HAS SOPS 191154 HAS SOUS 99628 HAS SOUPS 99182 WITH SCORE 99379.555
AT ITER 38 NEW BEST:: SOT 250370 SOS 197681 HAS SOPS 191280 HAS SOUS 99585 HAS SOUPS 99139 WITH SCORE 99336.681
AT ITER 41 NEW BEST:: SOT 250370 SOS 197443 HAS SOPS 191042 HAS SOUS 99550 HAS SOUPS 99104 WITH SCORE 99301.443
AT ITER 44 NEW BEST:: SOT 250370 SOS 197587 HAS SOPS 191186 HAS SOUS 99474 HAS SOUPS 99028 WITH SCORE 99225.587
AT ITER 46 NEW BEST:: SOT 250370 SOS 197581 HAS SOPS 191180 HAS SOUS 99474 HAS SOUPS 99028 WITH SCORE 99225.581
AT ITER 54 NEW BEST:: SOT 250370 SOS 197569 HAS SOPS 191168 HAS SOUS 99474 HAS SOUPS 99028 WITH SCORE 99225.569
AT ITER 55 NEW BEST:: SOT 250370 SOS 197175 HAS SOPS 190774 HAS SOUS 99374 HAS SOUPS 98928 WITH SCORE 99125.175
AT ITER 58 NEW BEST:: SOT 250370 SOS 196763 HAS SOPS 190362 HAS SOUS 99041 HAS SOUPS 98595 WITH SCORE 98791.763
AT ITER 61 NEW BEST:: SOT 250370 SOS 196303 HAS SOPS 189902 HAS SOUS 98997 HAS SOUPS 98551 WITH SCORE 98747.303
AT ITER 62 NEW BEST:: SOT 250370 SOS 195623 HAS SOPS 187492 HAS SOUS 99135 HAS SOUPS 96959 WITH SCORE 97154.623
AT ITER 73 NEW BEST:: SOT 250370 SOS 195613 HAS SOPS 187482 HAS SOUS 99130 HAS SOUPS 96954 WITH SCORE 97149.613
AT ITER 74 NEW BEST:: SOT 250370 SOS 195413 HAS SOPS 187169 HAS SOUS 99122 HAS SOUPS 96833 WITH SCORE 97028.413
AT ITER 80 NEW BEST:: SOT 250370 SOS 195413 HAS SOPS 187169 HAS SOUS 99022 HAS SOUPS 96733 WITH SCORE 96928.413
AT ITER 86 NEW BEST:: SOT 250358 SOS 195401 HAS SOPS 187145 HAS SOUS 99000 HAS SOUPS 96709 WITH SCORE 96904.401
AT ITER 88 NEW BEST:: SOT 250358 SOS 195655 HAS SOPS 187450 HAS SOUS 98861 HAS SOUPS 96621 WITH SCORE 96816.655
AT ITER 95 NEW BEST:: SOT 250358 SOS 195913 HAS SOPS 187759 HAS SOUS 98724 HAS SOUPS 96535 WITH SCORE 96730.913
AT ITER 98 NEW BEST:: SOT 250358 SOS 195809 HAS SOPS 187655 HAS SOUS 98672 HAS SOUPS 96483 WITH SCORE 96678.809
AT ITER 100 NEW BEST:: SOT 250358 SOS 195801 HAS SOPS 187647 HAS SOUS 98672 HAS SOUPS 96483 WITH SCORE 96678.801
AT ITER 103 NEW BEST:: SOT 250358 SOS 195667 HAS SOPS 187642 HAS SOUS 98449 HAS SOUPS 96389 WITH SCORE 96584.667
AT ITER 105 NEW BEST:: SOT 250358 SOS 195625 HAS SOPS 187586 HAS SOUS 98463 HAS SOUPS 96389 WITH SCORE 96584.625
AT ITER 107 NEW BEST:: SOT 250358 SOS 195625 HAS SOPS 187586 HAS SOUS 98447 HAS SOUPS 96373 WITH SCORE 96568.625
AT ITER 108 NEW BEST:: SOT 250358 SOS 195641 HAS SOPS 187606 HAS SOUS 98435 HAS SOUPS 96365 WITH SCORE 96560.641
AT ITER 116 NEW BEST:: SOT 250358 SOS 195539 HAS SOPS 187504 HAS SOUS 98246 HAS SOUPS 96176 WITH SCORE 96371.539
AT ITER 120 NEW BEST:: SOT 250358 SOS 195259 HAS SOPS 187294 HAS SOUS 98316 HAS SOUPS 96176 WITH SCORE 96371.259
AT ITER 121 NEW BEST:: SOT 250358 SOS 195027 HAS SOPS 187062 HAS SOUS 98194 HAS SOUPS 96054 WITH SCORE 96249.027
AT ITER 125 NEW BEST:: SOT 250358 SOS 194995 HAS SOPS 187030 HAS SOUS 98130 HAS SOUPS 95990 WITH SCORE 96184.995
AT ITER 126 NEW BEST:: SOT 250358 SOS 195123 HAS SOPS 187267 HAS SOUS 98000 HAS SOUPS 95969 WITH SCORE 96164.123
AT ITER 128 NEW BEST:: SOT 250358 SOS 195109 HAS SOPS 187276 HAS SOUS 97756 HAS SOUPS 95748 WITH SCORE 95943.109
AT ITER 129 NEW BEST:: SOT 250358 SOS 195174 HAS SOPS 187341 HAS SOUS 97726 HAS SOUPS 95718 WITH SCORE 95913.174
AT ITER 130 NEW BEST:: SOT 250358 SOS 195174 HAS SOPS 187341 HAS SOUS 97690 HAS SOUPS 95682 WITH SCORE 95877.174
AT ITER 135 NEW BEST:: SOT 250358 SOS 195434 HAS SOPS 187601 HAS SOUS 97627 HAS SOUPS 95619 WITH SCORE 95814.434
AT ITER 146 NEW BEST:: SOT 250358 SOS 193869 HAS SOPS 184467 HAS SOUS 90929 HAS SOUPS 88912 WITH SCORE 89105.869
AT ITER 150 NEW BEST:: SOT 250358 SOS 193793 HAS SOPS 184391 HAS SOUS 90929 HAS SOUPS 88912 WITH SCORE 89105.793
AT ITER 154 NEW BEST:: SOT 250358 SOS 193793 HAS SOPS 184391 HAS SOUS 90837 HAS SOUPS 88820 WITH SCORE 89013.793
AT ITER 166 NEW BEST:: SOT 250358 SOS 193759 HAS SOPS 184357 HAS SOUS 90820 HAS SOUPS 88803 WITH SCORE 88996.759
AT ITER 168 NEW BEST:: SOT 250358 SOS 193917 HAS SOPS 184515 HAS SOUS 90794 HAS SOUPS 88777 WITH SCORE 88970.917
AT ITER 173 NEW BEST:: SOT 250358 SOS 193847 HAS SOPS 184445 HAS SOUS 90759 HAS SOUPS 88742 WITH SCORE 88935.847
AT ITER 174 NEW BEST:: SOT 250358 SOS 193651 HAS SOPS 184249 HAS SOUS 90599 HAS SOUPS 88582 WITH SCORE 88775.651
AT ITER 176 NEW BEST:: SOT 250358 SOS 193771 HAS SOPS 184369 HAS SOUS 90595 HAS SOUPS 88578 WITH SCORE 88771.771
AT ITER 178 NEW BEST:: SOT 250358 SOS 193689 HAS SOPS 184287 HAS SOUS 90554 HAS SOUPS 88537 WITH SCORE 88730.689
AT ITER 181 NEW BEST:: SOT 250379 SOS 193442 HAS SOPS 184040 HAS SOUS 90477 HAS SOUPS 88460 WITH SCORE 88653.442
AT ITER 191 NEW BEST:: SOT 250379 SOS 193336 HAS SOPS 183688 HAS SOUS 90508 HAS SOUPS 88368 WITH SCORE 88561.336
AT ITER 194 NEW BEST:: SOT 250379 SOS 193296 HAS SOPS 183648 HAS SOUS 90488 HAS SOUPS 88348 WITH SCORE 88541.296
AT ITER 201 NEW BEST:: SOT 250379 SOS 193220 HAS SOPS 183572 HAS SOUS 90450 HAS SOUPS 88310 WITH SCORE 88503.22
AT ITER 204 NEW BEST:: SOT 250379 SOS 193362 HAS SOPS 183578 HAS SOUS 90453 HAS SOUPS 88245 WITH SCORE 88438.362
AT ITER 209 NEW BEST:: SOT 250379 SOS 193826 HAS SOPS 184042 HAS SOUS 90425 HAS SOUPS 88217 WITH SCORE 88410.826
AT ITER 214 NEW BEST:: SOT 250367 SOS 193814 HAS SOPS 184018 HAS SOUS 90381 HAS SOUPS 88173 WITH SCORE 88366.814
AT ITER 215 NEW BEST:: SOT 250367 SOS 193786 HAS SOPS 183990 HAS SOUS 90360 HAS SOUPS 88152 WITH SCORE 88345.786
AT ITER 219 NEW BEST:: SOT 250367 SOS 193390 HAS SOPS 183784 HAS SOUS 90217 HAS SOUPS 88104 WITH SCORE 88297.39
AT ITER 220 NEW BEST:: SOT 250367 SOS 193830 HAS SOPS 184224 HAS SOUS 89465 HAS SOUPS 87352 WITH SCORE 87545.83
AT ITER 228 NEW BEST:: SOT 250367 SOS 193824 HAS SOPS 184218 HAS SOUS 89440 HAS SOUPS 87327 WITH SCORE 87520.824
AT ITER 229 NEW BEST:: SOT 250367 SOS 194016 HAS SOPS 184410 HAS SOUS 88444 HAS SOUPS 86331 WITH SCORE 86525.016
AT ITER 230 NEW BEST:: SOT 250367 SOS 193978 HAS SOPS 184372 HAS SOUS 88434 HAS SOUPS 86321 WITH SCORE 86514.978
AT ITER 234 NEW BEST:: SOT 250367 SOS 194190 HAS SOPS 184478 HAS SOUS 88116 HAS SOUPS 85950 WITH SCORE 86144.19
AT ITER 236 NEW BEST:: SOT 250367 SOS 194140 HAS SOPS 184428 HAS SOUS 88036 HAS SOUPS 85870 WITH SCORE 86064.14
AT ITER 238 NEW BEST:: SOT 250367 SOS 193934 HAS SOPS 184222 HAS SOUS 88029 HAS SOUPS 85863 WITH SCORE 86056.934
AT ITER 239 NEW BEST:: SOT 250367 SOS 193976 HAS SOPS 184264 HAS SOUS 87873 HAS SOUPS 85707 WITH SCORE 85900.976
AT ITER 240 NEW BEST:: SOT 250367 SOS 193952 HAS SOPS 184240 HAS SOUS 87873 HAS SOUPS 85707 WITH SCORE 85900.952
AT ITER 242 NEW BEST:: SOT 250367 SOS 194308 HAS SOPS 184596 HAS SOUS 87236 HAS SOUPS 85070 WITH SCORE 85264.308
AT ITER 244 NEW BEST:: SOT 250367 SOS 194488 HAS SOPS 184714 HAS SOUS 87208 HAS SOUPS 85011 WITH SCORE 85205.488
AT ITER 246 NEW BEST:: SOT 250367 SOS 194476 HAS SOPS 184702 HAS SOUS 87199 HAS SOUPS 85002 WITH SCORE 85196.476
AT ITER 248 NEW BEST:: SOT 250367 SOS 194136 HAS SOPS 184362 HAS SOUS 87029 HAS SOUPS 84832 WITH SCORE 85026.136
AT ITER 253 NEW BEST:: SOT 250367 SOS 193942 HAS SOPS 184168 HAS SOUS 86932 HAS SOUPS 84735 WITH SCORE 84928.942
AT ITER 254 NEW BEST:: SOT 250367 SOS 193786 HAS SOPS 184012 HAS SOUS 86846 HAS SOUPS 84649 WITH SCORE 84842.786
AT ITER 256 NEW BEST:: SOT 250367 SOS 194076 HAS SOPS 184302 HAS SOUS 86823 HAS SOUPS 84626 WITH SCORE 84820.076
AT ITER 257 NEW BEST:: SOT 250367 SOS 193866 HAS SOPS 184092 HAS SOUS 86668 HAS SOUPS 84471 WITH SCORE 84664.866
AT ITER 259 NEW BEST:: SOT 250367 SOS 193510 HAS SOPS 183736 HAS SOUS 86664 HAS SOUPS 84467 WITH SCORE 84660.51
AT ITER 260 NEW BEST:: SOT 250367 SOS 193694 HAS SOPS 183920 HAS SOUS 86656 HAS SOUPS 84459 WITH SCORE 84652.694
AT ITER 262 NEW BEST:: SOT 250367 SOS 193694 HAS SOPS 183920 HAS SOUS 86530 HAS SOUPS 84333 WITH SCORE 84526.694
AT ITER 266 NEW BEST:: SOT 250367 SOS 193084 HAS SOPS 183568 HAS SOUS 86225 HAS SOUPS 84157 WITH SCORE 84350.084
AT ITER 267 NEW BEST:: SOT 250367 SOS 193206 HAS SOPS 183690 HAS SOUS 86122 HAS SOUPS 84054 WITH SCORE 84247.206
AT ITER 268 NEW BEST:: SOT 250367 SOS 193026 HAS SOPS 183510 HAS SOUS 86045 HAS SOUPS 83977 WITH SCORE 84170.026
AT ITER 269 NEW BEST:: SOT 250367 SOS 192966 HAS SOPS 183450 HAS SOUS 86015 HAS SOUPS 83947 WITH SCORE 84139.966
AT ITER 270 NEW BEST:: SOT 250367 SOS 192818 HAS SOPS 183302 HAS SOUS 85941 HAS SOUPS 83873 WITH SCORE 84065.818
AT ITER 272 NEW BEST:: SOT 250367 SOS 192708 HAS SOPS 183192 HAS SOUS 85849 HAS SOUPS 83781 WITH SCORE 83973.708
AT ITER 274 NEW BEST:: SOT 250367 SOS 192808 HAS SOPS 183292 HAS SOUS 85705 HAS SOUPS 83637 WITH SCORE 83829.808
AT ITER 285 NEW BEST:: SOT 250367 SOS 192486 HAS SOPS 182970 HAS SOUS 85550 HAS SOUPS 83482 WITH SCORE 83674.486
AT ITER 293 NEW BEST:: SOT 250367 SOS 192350 HAS SOPS 182698 HAS SOUS 85482 HAS SOUPS 83346 WITH SCORE 83538.35
AT ITER 295 NEW BEST:: SOT 250367 SOS 192044 HAS SOPS 182392 HAS SOUS 85443 HAS SOUPS 83307 WITH SCORE 83499.044
AT ITER 299 NEW BEST:: SOT 250367 SOS 192052 HAS SOPS 182400 HAS SOUS 85439 HAS SOUPS 83303 WITH SCORE 83495.052
AT ITER 301 NEW BEST:: SOT 250367 SOS 192052 HAS SOPS 182400 HAS SOUS 85365 HAS SOUPS 83229 WITH SCORE 83421.052
AT ITER 303 NEW BEST:: SOT 250367 SOS 191910 HAS SOPS 182258 HAS SOUS 85357 HAS SOUPS 83221 WITH SCORE 83412.91
AT ITER 305 NEW BEST:: SOT 250367 SOS 191666 HAS SOPS 182014 HAS SOUS 85235 HAS SOUPS 83099 WITH SCORE 83290.666
AT ITER 306 NEW BEST:: SOT 250367 SOS 191660 HAS SOPS 182008 HAS SOUS 85220 HAS SOUPS 83084 WITH SCORE 83275.66
AT ITER 315 NEW BEST:: SOT 250367 SOS 191706 HAS SOPS 182054 HAS SOUS 85095 HAS SOUPS 82959 WITH SCORE 83150.706
AT ITER 322 NEW BEST:: SOT 250367 SOS 191848 HAS SOPS 182196 HAS SOUS 84739 HAS SOUPS 82603 WITH SCORE 82794.848
AT ITER 324 NEW BEST:: SOT 250367 SOS 191796 HAS SOPS 182144 HAS SOUS 84726 HAS SOUPS 82590 WITH SCORE 82781.796
AT ITER 332 NEW BEST:: SOT 250367 SOS 191787 HAS SOPS 182135 HAS SOUS 84726 HAS SOUPS 82590 WITH SCORE 82781.787
AT ITER 338 NEW BEST:: SOT 250367 SOS 191773 HAS SOPS 182121 HAS SOUS 84719 HAS SOUPS 82583 WITH SCORE 82774.773
AT ITER 350 NEW BEST:: SOT 250367 SOS 191641 HAS SOPS 181989 HAS SOUS 84686 HAS SOUPS 82550 WITH SCORE 82741.641
AT ITER 353 NEW BEST:: SOT 250367 SOS 191599 HAS SOPS 181947 HAS SOUS 84641 HAS SOUPS 82505 WITH SCORE 82696.599
AT ITER 358 NEW BEST:: SOT 250367 SOS 191575 HAS SOPS 181923 HAS SOUS 84627 HAS SOUPS 82491 WITH SCORE 82682.575
AT ITER 359 NEW BEST:: SOT 250367 SOS 191549 HAS SOPS 181897 HAS SOUS 84356 HAS SOUPS 82220 WITH SCORE 82411.549
AT ITER 365 NEW BEST:: SOT 250367 SOS 191529 HAS SOPS 181877 HAS SOUS 84356 HAS SOUPS 82220 WITH SCORE 82411.529
AT ITER 370 NEW BEST:: SOT 250367 SOS 191337 HAS SOPS 181685 HAS SOUS 84260 HAS SOUPS 82124 WITH SCORE 82315.337
AT ITER 371 NEW BEST:: SOT 250367 SOS 191272 HAS SOPS 181620 HAS SOUS 84194 HAS SOUPS 82058 WITH SCORE 82249.272
AT ITER 377 NEW BEST:: SOT 250351 SOS 190700 HAS SOPS 181324 HAS SOUS 84162 HAS SOUPS 82026 WITH SCORE 82216.7
AT ITER 379 NEW BEST:: SOT 250351 SOS 190658 HAS SOPS 181282 HAS SOUS 82611 HAS SOUPS 80475 WITH SCORE 80665.658
AT ITER 384 NEW BEST:: SOT 250351 SOS 190554 HAS SOPS 181178 HAS SOUS 82611 HAS SOUPS 80475 WITH SCORE 80665.554
AT ITER 394 NEW BEST:: SOT 250351 SOS 190628 HAS SOPS 181510 HAS SOUS 82460 HAS SOUPS 80453 WITH SCORE 80643.628
AT ITER 398 NEW BEST:: SOT 250351 SOS 190380 HAS SOPS 181262 HAS SOUS 82274 HAS SOUPS 80267 WITH SCORE 80457.38
AT ITER 400 NEW BEST:: SOT 250351 SOS 190358 HAS SOPS 181240 HAS SOUS 82203 HAS SOUPS 80196 WITH SCORE 80386.358
AT ITER 401 NEW BEST:: SOT 250351 SOS 190298 HAS SOPS 181180 HAS SOUS 82188 HAS SOUPS 80181 WITH SCORE 80371.298
AT ITER 404 NEW BEST:: SOT 250351 SOS 189192 HAS SOPS 180074 HAS SOUS 82163 HAS SOUPS 80156 WITH SCORE 80345.192
AT ITER 409 NEW BEST:: SOT 250351 SOS 189196 HAS SOPS 180078 HAS SOUS 82123 HAS SOUPS 80116 WITH SCORE 80305.196
AT ITER 410 NEW BEST:: SOT 250351 SOS 189224 HAS SOPS 180106 HAS SOUS 82109 HAS SOUPS 80102 WITH SCORE 80291.224
AT ITER 411 NEW BEST:: SOT 250351 SOS 189224 HAS SOPS 180106 HAS SOUS 82104 HAS SOUPS 80097 WITH SCORE 80286.224
AT ITER 413 NEW BEST:: SOT 250351 SOS 188810 HAS SOPS 179878 HAS SOUS 81843 HAS SOUPS 79929 WITH SCORE 80117.81
AT ITER 419 NEW BEST:: SOT 250351 SOS 188522 HAS SOPS 179590 HAS SOUS 81769 HAS SOUPS 79855 WITH SCORE 80043.522
AT ITER 420 NEW BEST:: SOT 250351 SOS 188392 HAS SOPS 179438 HAS SOUS 81612 HAS SOUPS 79687 WITH SCORE 79875.392
AT ITER 423 NEW BEST:: SOT 250075 SOS 187750 HAS SOPS 178886 HAS SOUS 81609 HAS SOUPS 79684 WITH SCORE 79871.75
AT ITER 426 NEW BEST:: SOT 250075 SOS 187554 HAS SOPS 178690 HAS SOUS 81511 HAS SOUPS 79586 WITH SCORE 79773.554
AT ITER 427 NEW BEST:: SOT 250075 SOS 187390 HAS SOPS 178526 HAS SOUS 81453 HAS SOUPS 79528 WITH SCORE 79715.39
AT ITER 429 NEW BEST:: SOT 250075 SOS 187198 HAS SOPS 178334 HAS SOUS 81357 HAS SOUPS 79432 WITH SCORE 79619.198
AT ITER 431 NEW BEST:: SOT 250075 SOS 187094 HAS SOPS 178154 HAS SOUS 81381 HAS SOUPS 79418 WITH SCORE 79605.094
AT ITER 432 NEW BEST:: SOT 250075 SOS 187006 HAS SOPS 178128 HAS SOUS 81336 HAS SOUPS 79404 WITH SCORE 79591.006
AT ITER 435 NEW BEST:: SOT 250075 SOS 186742 HAS SOPS 177864 HAS SOUS 81158 HAS SOUPS 79226 WITH SCORE 79412.742
AT ITER 436 NEW BEST:: SOT 250075 SOS 186704 HAS SOPS 177826 HAS SOUS 81126 HAS SOUPS 79194 WITH SCORE 79380.704
AT ITER 440 NEW BEST:: SOT 250075 SOS 186230 HAS SOPS 177352 HAS SOUS 81093 HAS SOUPS 79161 WITH SCORE 79347.23
AT ITER 443 NEW BEST:: SOT 250075 SOS 186016 HAS SOPS 177304 HAS SOUS 80986 HAS SOUPS 79137 WITH SCORE 79323.016
AT ITER 457 NEW BEST:: SOT 250075 SOS 186134 HAS SOPS 177265 HAS SOUS 81000 HAS SOUPS 79071 WITH SCORE 79257.134
AT ITER 459 NEW BEST:: SOT 250075 SOS 186102 HAS SOPS 177233 HAS SOUS 80984 HAS SOUPS 79055 WITH SCORE 79241.102
AT ITER 460 NEW BEST:: SOT 250075 SOS 186100 HAS SOPS 177231 HAS SOUS 80981 HAS SOUPS 79052 WITH SCORE 79238.1
AT ITER 461 NEW BEST:: SOT 250075 SOS 186038 HAS SOPS 177169 HAS SOUS 80919 HAS SOUPS 78990 WITH SCORE 79176.038
AT ITER 462 NEW BEST:: SOT 250075 SOS 186018 HAS SOPS 177149 HAS SOUS 80914 HAS SOUPS 78985 WITH SCORE 79171.018
AT ITER 464 NEW BEST:: SOT 250075 SOS 185966 HAS SOPS 177097 HAS SOUS 80890 HAS SOUPS 78961 WITH SCORE 79146.966
AT ITER 465 NEW BEST:: SOT 250075 SOS 185916 HAS SOPS 177047 HAS SOUS 80890 HAS SOUPS 78961 WITH SCORE 79146.916
AT ITER 467 NEW BEST:: SOT 250075 SOS 185916 HAS SOPS 177047 HAS SOUS 80807 HAS SOUPS 78878 WITH SCORE 79063.916
AT ITER 469 NEW BEST:: SOT 250075 SOS 185896 HAS SOPS 177027 HAS SOUS 80795 HAS SOUPS 78866 WITH SCORE 79051.896
AT ITER 471 NEW BEST:: SOT 250075 SOS 185988 HAS SOPS 176925 HAS SOUS 80858 HAS SOUPS 78832 WITH SCORE 79017.988
AT ITER 475 NEW BEST:: SOT 250075 SOS 185925 HAS SOPS 176862 HAS SOUS 80837 HAS SOUPS 78811 WITH SCORE 78996.925
AT ITER 476 NEW BEST:: SOT 250075 SOS 185767 HAS SOPS 176704 HAS SOUS 80837 HAS SOUPS 78811 WITH SCORE 78996.767
AT ITER 484 NEW BEST:: SOT 250075 SOS 184909 HAS SOPS 175846 HAS SOUS 80748 HAS SOUPS 78722 WITH SCORE 78906.909
AT ITER 485 NEW BEST:: SOT 249949 SOS 184720 HAS SOPS 175657 HAS SOUS 80574 HAS SOUPS 78548 WITH SCORE 78732.72
AT ITER 491 NEW BEST:: SOT 249933 SOS 184612 HAS SOPS 175579 HAS SOUS 80565 HAS SOUPS 78539 WITH SCORE 78723.612
AT ITER 493 NEW BEST:: SOT 249933 SOS 184304 HAS SOPS 175271 HAS SOUS 80508 HAS SOUPS 78482 WITH SCORE 78666.304
AT ITER 497 NEW BEST:: SOT 249933 SOS 183011 HAS SOPS 173978 HAS SOUS 79719 HAS SOUPS 77693 WITH SCORE 77876.011
AT ITER 509 NEW BEST:: SOT 249933 SOS 183011 HAS SOPS 173973 HAS SOUS 79719 HAS SOUPS 77689 WITH SCORE 77872.011
AT ITER 510 NEW BEST:: SOT 249933 SOS 183045 HAS SOPS 174007 HAS SOUS 79702 HAS SOUPS 77672 WITH SCORE 77855.045
AT ITER 512 NEW BEST:: SOT 249933 SOS 183323 HAS SOPS 174073 HAS SOUS 79788 HAS SOUPS 77652 WITH SCORE 77835.323
AT ITER 515 NEW BEST:: SOT 249933 SOS 183323 HAS SOPS 174024 HAS SOUS 79692 HAS SOUPS 77522 WITH SCORE 77705.323
AT ITER 519 NEW BEST:: SOT 249933 SOS 183427 HAS SOPS 174128 HAS SOUS 79682 HAS SOUPS 77512 WITH SCORE 77695.427
AT ITER 521 NEW BEST:: SOT 249929 SOS 183405 HAS SOPS 174108 HAS SOUS 79656 HAS SOUPS 77486 WITH SCORE 77669.405
AT ITER 524 NEW BEST:: SOT 249929 SOS 182667 HAS SOPS 173464 HAS SOUS 79463 HAS SOUPS 77340 WITH SCORE 77522.667
AT ITER 526 NEW BEST:: SOT 249929 SOS 182653 HAS SOPS 173450 HAS SOUS 79456 HAS SOUPS 77333 WITH SCORE 77515.653
AT ITER 528 NEW BEST:: SOT 249929 SOS 182279 HAS SOPS 173076 HAS SOUS 79315 HAS SOUPS 77192 WITH SCORE 77374.279
AT ITER 531 NEW BEST:: SOT 249913 SOS 182235 HAS SOPS 173044 HAS SOUS 79283 HAS SOUPS 77160 WITH SCORE 77342.235
AT ITER 545 NEW BEST:: SOT 249913 SOS 181435 HAS SOPS 172244 HAS SOUS 78108 HAS SOUPS 75985 WITH SCORE 76166.435
AT ITER 548 NEW BEST:: SOT 249913 SOS 181393 HAS SOPS 172266 HAS SOUS 78055 HAS SOUPS 75964 WITH SCORE 76145.393
AT ITER 550 NEW BEST:: SOT 249913 SOS 181234 HAS SOPS 172107 HAS SOUS 77856 HAS SOUPS 75765 WITH SCORE 75946.234
AT ITER 557 NEW BEST:: SOT 249913 SOS 181222 HAS SOPS 172095 HAS SOUS 77850 HAS SOUPS 75759 WITH SCORE 75940.222
AT ITER 558 NEW BEST:: SOT 249913 SOS 181182 HAS SOPS 172055 HAS SOUS 77830 HAS SOUPS 75739 WITH SCORE 75920.182
AT ITER 561 NEW BEST:: SOT 249913 SOS 180994 HAS SOPS 171867 HAS SOUS 77548 HAS SOUPS 75457 WITH SCORE 75637.994
AT ITER 563 NEW BEST:: SOT 249913 SOS 180920 HAS SOPS 171793 HAS SOUS 77547 HAS SOUPS 75456 WITH SCORE 75636.92
AT ITER 571 NEW BEST:: SOT 249913 SOS 180534 HAS SOPS 171407 HAS SOUS 77380 HAS SOUPS 75289 WITH SCORE 75469.534
AT ITER 578 NEW BEST:: SOT 249913 SOS 180194 HAS SOPS 171067 HAS SOUS 76712 HAS SOUPS 74621 WITH SCORE 74801.194
AT ITER 584 NEW BEST:: SOT 249913 SOS 179706 HAS SOPS 170817 HAS SOUS 76447 HAS SOUPS 74475 WITH SCORE 74654.706
AT ITER 585 NEW BEST:: SOT 249913 SOS 179740 HAS SOPS 170851 HAS SOUS 76371 HAS SOUPS 74399 WITH SCORE 74578.74
AT ITER 589 NEW BEST:: SOT 249913 SOS 179582 HAS SOPS 170477 HAS SOUS 76384 HAS SOUPS 74304 WITH SCORE 74483.582
AT ITER 590 NEW BEST:: SOT 249913 SOS 178994 HAS SOPS 169889 HAS SOUS 76308 HAS SOUPS 74228 WITH SCORE 74406.994
AT ITER 591 NEW BEST:: SOT 249913 SOS 178824 HAS SOPS 169719 HAS SOUS 76223 HAS SOUPS 74143 WITH SCORE 74321.824
AT ITER 599 NEW BEST:: SOT 249913 SOS 178824 HAS SOPS 169719 HAS SOUS 76207 HAS SOUPS 74127 WITH SCORE 74305.824
AT ITER 602 NEW BEST:: SOT 249913 SOS 178812 HAS SOPS 169707 HAS SOUS 76207 HAS SOUPS 74127 WITH SCORE 74305.812
AT ITER 603 NEW BEST:: SOT 249913 SOS 178554 HAS SOPS 169449 HAS SOUS 76075 HAS SOUPS 73995 WITH SCORE 74173.554
AT ITER 605 NEW BEST:: SOT 249913 SOS 176666 HAS SOPS 167561 HAS SOUS 76050 HAS SOUPS 73970 WITH SCORE 74146.666
AT ITER 606 NEW BEST:: SOT 249913 SOS 176264 HAS SOPS 167159 HAS SOUS 75415 HAS SOUPS 73335 WITH SCORE 73511.264
AT ITER 607 NEW BEST:: SOT 249913 SOS 175650 HAS SOPS 166545 HAS SOUS 74618 HAS SOUPS 72538 WITH SCORE 72713.65
AT ITER 612 NEW BEST:: SOT 249913 SOS 175498 HAS SOPS 166393 HAS SOUS 74542 HAS SOUPS 72462 WITH SCORE 72637.498
AT ITER 617 NEW BEST:: SOT 249913 SOS 175496 HAS SOPS 166391 HAS SOUS 74541 HAS SOUPS 72461 WITH SCORE 72636.496
AT ITER 618 NEW BEST:: SOT 249913 SOS 175430 HAS SOPS 166325 HAS SOUS 74508 HAS SOUPS 72428 WITH SCORE 72603.43
AT ITER 620 NEW BEST:: SOT 249913 SOS 175426 HAS SOPS 166321 HAS SOUS 74506 HAS SOUPS 72426 WITH SCORE 72601.426
AT ITER 626 NEW BEST:: SOT 249913 SOS 175322 HAS SOPS 166275 HAS SOUS 74454 HAS SOUPS 72403 WITH SCORE 72578.322
AT ITER 637 NEW BEST:: SOT 249913 SOS 175236 HAS SOPS 166189 HAS SOUS 74403 HAS SOUPS 72352 WITH SCORE 72527.236
AT ITER 640 NEW BEST:: SOT 249913 SOS 175204 HAS SOPS 166157 HAS SOUS 74403 HAS SOUPS 72352 WITH SCORE 72527.204
AT ITER 641 NEW BEST:: SOT 249913 SOS 175024 HAS SOPS 165977 HAS SOUS 74297 HAS SOUPS 72246 WITH SCORE 72421.024
AT ITER 644 NEW BEST:: SOT 249913 SOS 174754 HAS SOPS 165611 HAS SOUS 74297 HAS SOUPS 72198 WITH SCORE 72372.754
AT ITER 645 NEW BEST:: SOT 249913 SOS 174874 HAS SOPS 165731 HAS SOUS 74147 HAS SOUPS 72048 WITH SCORE 72222.874
AT ITER 647 NEW BEST:: SOT 249913 SOS 174124 HAS SOPS 164981 HAS SOUS 73939 HAS SOUPS 71840 WITH SCORE 72014.124
AT ITER 653 NEW BEST:: SOT 249913 SOS 173910 HAS SOPS 164767 HAS SOUS 73891 HAS SOUPS 71792 WITH SCORE 71965.91
AT ITER 660 NEW BEST:: SOT 249913 SOS 173910 HAS SOPS 164767 HAS SOUS 73859 HAS SOUPS 71760 WITH SCORE 71933.91
AT ITER 661 NEW BEST:: SOT 249913 SOS 173630 HAS SOPS 164487 HAS SOUS 73739 HAS SOUPS 71640 WITH SCORE 71813.63
AT ITER 667 NEW BEST:: SOT 249913 SOS 173442 HAS SOPS 164299 HAS SOUS 73687 HAS SOUPS 71588 WITH SCORE 71761.442
AT ITER 668 NEW BEST:: SOT 249913 SOS 173354 HAS SOPS 164211 HAS SOUS 73641 HAS SOUPS 71542 WITH SCORE 71715.354
AT ITER 671 NEW BEST:: SOT 249913 SOS 172294 HAS SOPS 163151 HAS SOUS 73535 HAS SOUPS 71436 WITH SCORE 71608.294
AT ITER 674 NEW BEST:: SOT 249913 SOS 172276 HAS SOPS 163133 HAS SOUS 73483 HAS SOUPS 71384 WITH SCORE 71556.276
AT ITER 681 NEW BEST:: SOT 249913 SOS 172182 HAS SOPS 163039 HAS SOUS 73462 HAS SOUPS 71363 WITH SCORE 71535.182
AT ITER 683 NEW BEST:: SOT 249913 SOS 172182 HAS SOPS 163039 HAS SOUS 73441 HAS SOUPS 71342 WITH SCORE 71514.182
AT ITER 684 NEW BEST:: SOT 249913 SOS 171256 HAS SOPS 162082 HAS SOUS 73203 HAS SOUPS 71084 WITH SCORE 71255.256
AT ITER 685 NEW BEST:: SOT 249913 SOS 171164 HAS SOPS 161990 HAS SOUS 73157 HAS SOUPS 71038 WITH SCORE 71209.164
AT ITER 687 NEW BEST:: SOT 249913 SOS 171105 HAS SOPS 161931 HAS SOUS 73029 HAS SOUPS 70910 WITH SCORE 71081.105
AT ITER 697 NEW BEST:: SOT 249913 SOS 170663 HAS SOPS 161489 HAS SOUS 72478 HAS SOUPS 70359 WITH SCORE 70529.663
AT ITER 703 NEW BEST:: SOT 249913 SOS 170259 HAS SOPS 161085 HAS SOUS 72380 HAS SOUPS 70261 WITH SCORE 70431.259
AT ITER 709 NEW BEST:: SOT 249913 SOS 169945 HAS SOPS 160919 HAS SOUS 72223 HAS SOUPS 70178 WITH SCORE 70347.945
AT ITER 712 NEW BEST:: SOT 249913 SOS 169725 HAS SOPS 160919 HAS SOUS 72113 HAS SOUPS 70178 WITH SCORE 70347.725
AT ITER 715 NEW BEST:: SOT 249913 SOS 169673 HAS SOPS 160867 HAS SOUS 72087 HAS SOUPS 70152 WITH SCORE 70321.673
AT ITER 716 NEW BEST:: SOT 249913 SOS 169667 HAS SOPS 160861 HAS SOUS 72085 HAS SOUPS 70150 WITH SCORE 70319.667
AT ITER 723 NEW BEST:: SOT 249913 SOS 169591 HAS SOPS 160785 HAS SOUS 71971 HAS SOUPS 70036 WITH SCORE 70205.591
AT ITER 727 NEW BEST:: SOT 249913 SOS 169545 HAS SOPS 160739 HAS SOUS 71848 HAS SOUPS 69913 WITH SCORE 70082.545
AT ITER 728 NEW BEST:: SOT 249913 SOS 169547 HAS SOPS 160741 HAS SOUS 71840 HAS SOUPS 69905 WITH SCORE 70074.547
AT ITER 730 NEW BEST:: SOT 249913 SOS 167255 HAS SOPS 158449 HAS SOUS 71499 HAS SOUPS 69564 WITH SCORE 69731.255
AT ITER 731 NEW BEST:: SOT 249913 SOS 167279 HAS SOPS 158429 HAS SOUS 71478 HAS SOUPS 69521 WITH SCORE 69688.279
AT ITER 736 NEW BEST:: SOT 249913 SOS 167223 HAS SOPS 158373 HAS SOUS 71472 HAS SOUPS 69515 WITH SCORE 69682.223
AT ITER 739 NEW BEST:: SOT 249913 SOS 167095 HAS SOPS 158245 HAS SOUS 71428 HAS SOUPS 69471 WITH SCORE 69638.095
AT ITER 740 NEW BEST:: SOT 249913 SOS 166835 HAS SOPS 157985 HAS SOUS 71242 HAS SOUPS 69285 WITH SCORE 69451.835
AT ITER 741 NEW BEST:: SOT 249913 SOS 166697 HAS SOPS 157847 HAS SOUS 71157 HAS SOUPS 69200 WITH SCORE 69366.697
AT ITER 742 NEW BEST:: SOT 249913 SOS 166621 HAS SOPS 157771 HAS SOUS 71100 HAS SOUPS 69143 WITH SCORE 69309.621
AT ITER 753 NEW BEST:: SOT 249913 SOS 166621 HAS SOPS 157771 HAS SOUS 71018 HAS SOUPS 69061 WITH SCORE 69227.621
AT ITER 754 NEW BEST:: SOT 249913 SOS 166591 HAS SOPS 157741 HAS SOUS 71002 HAS SOUPS 69045 WITH SCORE 69211.591
AT ITER 755 NEW BEST:: SOT 249913 SOS 166225 HAS SOPS 157375 HAS SOUS 70730 HAS SOUPS 68773 WITH SCORE 68939.225
AT ITER 758 NEW BEST:: SOT 249913 SOS 166219 HAS SOPS 157369 HAS SOUS 70727 HAS SOUPS 68770 WITH SCORE 68936.219
AT ITER 763 NEW BEST:: SOT 249913 SOS 166201 HAS SOPS 157351 HAS SOUS 70725 HAS SOUPS 68768 WITH SCORE 68934.201
AT ITER 766 NEW BEST:: SOT 249897 SOS 165885 HAS SOPS 157169 HAS SOUS 70642 HAS SOUPS 68685 WITH SCORE 68850.885
AT ITER 767 NEW BEST:: SOT 249897 SOS 165793 HAS SOPS 157077 HAS SOUS 70596 HAS SOUPS 68639 WITH SCORE 68804.793
AT ITER 768 NEW BEST:: SOT 249897 SOS 165723 HAS SOPS 157007 HAS SOUS 70561 HAS SOUPS 68604 WITH SCORE 68769.723
AT ITER 774 NEW BEST:: SOT 249897 SOS 165629 HAS SOPS 156913 HAS SOUS 70536 HAS SOUPS 68579 WITH SCORE 68744.629
AT ITER 784 NEW BEST:: SOT 249897 SOS 162231 HAS SOPS 153515 HAS SOUS 70185 HAS SOUPS 68228 WITH SCORE 68390.231
AT ITER 788 NEW BEST:: SOT 249897 SOS 162229 HAS SOPS 153513 HAS SOUS 70184 HAS SOUPS 68227 WITH SCORE 68389.229
AT ITER 792 NEW BEST:: SOT 249897 SOS 162235 HAS SOPS 153519 HAS SOUS 70128 HAS SOUPS 68171 WITH SCORE 68333.235
AT ITER 797 NEW BEST:: SOT 249897 SOS 162065 HAS SOPS 153349 HAS SOUS 70104 HAS SOUPS 68147 WITH SCORE 68309.065
AT ITER 799 NEW BEST:: SOT 249897 SOS 162133 HAS SOPS 153417 HAS SOUS 69987 HAS SOUPS 68030 WITH SCORE 68192.133
AT ITER 801 NEW BEST:: SOT 249897 SOS 162133 HAS SOPS 153405 HAS SOUS 69987 HAS SOUPS 68024 WITH SCORE 68186.133
AT ITER 816 NEW BEST:: SOT 249897 SOS 161981 HAS SOPS 153253 HAS SOUS 69975 HAS SOUPS 68012 WITH SCORE 68173.981
AT ITER 817 NEW BEST:: SOT 249897 SOS 161967 HAS SOPS 153239 HAS SOUS 69968 HAS SOUPS 68005 WITH SCORE 68166.967
AT ITER 819 NEW BEST:: SOT 249881 SOS 159715 HAS SOPS 151259 HAS SOUS 69931 HAS SOUPS 67968 WITH SCORE 68127.715
AT ITER 825 NEW BEST:: SOT 249881 SOS 159515 HAS SOPS 151043 HAS SOUS 69867 HAS SOUPS 67896 WITH SCORE 68055.515
AT ITER 829 NEW BEST:: SOT 249881 SOS 159515 HAS SOPS 151043 HAS SOUS 69832 HAS SOUPS 67861 WITH SCORE 68020.515
AT ITER 834 NEW BEST:: SOT 249881 SOS 159431 HAS SOPS 151014 HAS SOUS 69776 HAS SOUPS 67833 WITH SCORE 67992.431
AT ITER 852 NEW BEST:: SOT 249881 SOS 159431 HAS SOPS 151014 HAS SOUS 69722 HAS SOUPS 67779 WITH SCORE 67938.431
AT ITER 854 NEW BEST:: SOT 249881 SOS 159191 HAS SOPS 150774 HAS SOUS 69662 HAS SOUPS 67719 WITH SCORE 67878.191
AT ITER 860 NEW BEST:: SOT 249881 SOS 156475 HAS SOPS 147840 HAS SOUS 69450 HAS SOUPS 67398 WITH SCORE 67554.475
AT ITER 863 NEW BEST:: SOT 249881 SOS 156259 HAS SOPS 147624 HAS SOUS 69272 HAS SOUPS 67220 WITH SCORE 67376.259
AT ITER 867 NEW BEST:: SOT 249881 SOS 155983 HAS SOPS 147280 HAS SOUS 69279 HAS SOUPS 67193 WITH SCORE 67348.983
AT ITER 870 NEW BEST:: SOT 249881 SOS 155974 HAS SOPS 147271 HAS SOUS 69279 HAS SOUPS 67193 WITH SCORE 67348.974
AT ITER 881 NEW BEST:: SOT 249881 SOS 155818 HAS SOPS 147115 HAS SOUS 69225 HAS SOUPS 67139 WITH SCORE 67294.818
AT ITER 882 NEW BEST:: SOT 249881 SOS 156066 HAS SOPS 147189 HAS SOUS 69237 HAS SOUPS 67064 WITH SCORE 67220.066
AT ITER 886 NEW BEST:: SOT 249881 SOS 155858 HAS SOPS 146981 HAS SOUS 68985 HAS SOUPS 66812 WITH SCORE 66967.858
AT ITER 889 NEW BEST:: SOT 249903 SOS 153066 HAS SOPS 145088 HAS SOUS 68971 HAS SOUPS 66798 WITH SCORE 66951.066
AT ITER 895 NEW BEST:: SOT 249903 SOS 153112 HAS SOPS 145150 HAS SOUS 68948 HAS SOUPS 66783 WITH SCORE 66936.112
AT ITER 900 NEW BEST:: SOT 249903 SOS 153056 HAS SOPS 145094 HAS SOUS 68944 HAS SOUPS 66779 WITH SCORE 66932.056
AT ITER 903 NEW BEST:: SOT 249903 SOS 153272 HAS SOPS 145310 HAS SOUS 68914 HAS SOUPS 66749 WITH SCORE 66902.272
AT ITER 913 NEW BEST:: SOT 249903 SOS 153120 HAS SOPS 145158 HAS SOUS 68822 HAS SOUPS 66657 WITH SCORE 66810.12
AT ITER 932 NEW BEST:: SOT 249903 SOS 152622 HAS SOPS 144474 HAS SOUS 68786 HAS SOUPS 66528 WITH SCORE 66680.622
AT ITER 937 NEW BEST:: SOT 249903 SOS 152416 HAS SOPS 144452 HAS SOUS 68683 HAS SOUPS 66517 WITH SCORE 66669.416
AT ITER 939 NEW BEST:: SOT 249903 SOS 152196 HAS SOPS 144232 HAS SOUS 68628 HAS SOUPS 66462 WITH SCORE 66614.196
AT ITER 944 NEW BEST:: SOT 249903 SOS 152050 HAS SOPS 144086 HAS SOUS 68466 HAS SOUPS 66300 WITH SCORE 66452.05
AT ITER 947 NEW BEST:: SOT 249903 SOS 151938 HAS SOPS 143974 HAS SOUS 68410 HAS SOUPS 66244 WITH SCORE 66395.938
AT ITER 966 NEW BEST:: SOT 249903 SOS 151862 HAS SOPS 143936 HAS SOUS 68372 HAS SOUPS 66225 WITH SCORE 66376.862
AT ITER 969 NEW BEST:: SOT 249903 SOS 151846 HAS SOPS 143920 HAS SOUS 68368 HAS SOUPS 66221 WITH SCORE 66372.846
AT ITER 970 NEW BEST:: SOT 249903 SOS 151648 HAS SOPS 143722 HAS SOUS 68319 HAS SOUPS 66172 WITH SCORE 66323.648
AT ITER 971 NEW BEST:: SOT 249903 SOS 151608 HAS SOPS 143682 HAS SOUS 68319 HAS SOUPS 66172 WITH SCORE 66323.608
AT ITER 972 NEW BEST:: SOT 249903 SOS 151500 HAS SOPS 143574 HAS SOUS 68301 HAS SOUPS 66154 WITH SCORE 66305.5
AT ITER 973 NEW BEST:: SOT 249903 SOS 151714 HAS SOPS 144002 HAS SOUS 68148 HAS SOUPS 66108 WITH SCORE 66259.714
AT ITER 974 NEW BEST:: SOT 249903 SOS 151680 HAS SOPS 143968 HAS SOUS 68131 HAS SOUPS 66091 WITH SCORE 66242.68
AT ITER 975 NEW BEST:: SOT 249903 SOS 151680 HAS SOPS 143876 HAS SOUS 68023 HAS SOUPS 65983 WITH SCORE 66134.68
AT ITER 982 NEW BEST:: SOT 249903 SOS 151522 HAS SOPS 143819 HAS SOUS 67898 HAS SOUPS 65910 WITH SCORE 66061.522
AT ITER 983 NEW BEST:: SOT 249916 SOS 151322 HAS SOPS 143620 HAS SOUS 67785 HAS SOUPS 65798 WITH SCORE 65949.322
AT ITER 985 NEW BEST:: SOT 249916 SOS 151424 HAS SOPS 143658 HAS SOUS 67815 HAS SOUPS 65791 WITH SCORE 65942.424
AT ITER 987 NEW BEST:: SOT 249916 SOS 151418 HAS SOPS 143652 HAS SOUS 67815 HAS SOUPS 65791 WITH SCORE 65942.418
AT ITER 991 NEW BEST:: SOT 249916 SOS 151010 HAS SOPS 143244 HAS SOUS 67679 HAS SOUPS 65655 WITH SCORE 65806.01
AT ITER 998 NEW BEST:: SOT 249916 SOS 151010 HAS SOPS 143325 HAS SOUS 67611 HAS SOUPS 65632 WITH SCORE 65783.01
AT ITER 1005 NEW BEST:: SOT 249916 SOS 150434 HAS SOPS 142749 HAS SOUS 67530 HAS SOUPS 65551 WITH SCORE 65701.434
AT ITER 1009 NEW BEST:: SOT 249916 SOS 150434 HAS SOPS 142749 HAS SOUS 67458 HAS SOUPS 65479 WITH SCORE 65629.434
AT ITER 1013 NEW BEST:: SOT 249916 SOS 150382 HAS SOPS 142697 HAS SOUS 67432 HAS SOUPS 65453 WITH SCORE 65603.382
AT ITER 1022 NEW BEST:: SOT 249916 SOS 150410 HAS SOPS 142725 HAS SOUS 67408 HAS SOUPS 65429 WITH SCORE 65579.41
AT ITER 1032 NEW BEST:: SOT 249916 SOS 150300 HAS SOPS 142615 HAS SOUS 67352 HAS SOUPS 65373 WITH SCORE 65523.3
AT ITER 1038 NEW BEST:: SOT 249916 SOS 150100 HAS SOPS 142415 HAS SOUS 67352 HAS SOUPS 65373 WITH SCORE 65523.1
AT ITER 1048 NEW BEST:: SOT 249904 SOS 150088 HAS SOPS 142453 HAS SOUS 67266 HAS SOUPS 65287 WITH SCORE 65437.088
AT ITER 1057 NEW BEST:: SOT 249904 SOS 149990 HAS SOPS 142355 HAS SOUS 67217 HAS SOUPS 65238 WITH SCORE 65387.99
AT ITER 1061 NEW BEST:: SOT 249904 SOS 149876 HAS SOPS 142241 HAS SOUS 67195 HAS SOUPS 65216 WITH SCORE 65365.876
AT ITER 1069 NEW BEST:: SOT 249904 SOS 150234 HAS SOPS 142599 HAS SOUS 67184 HAS SOUPS 65205 WITH SCORE 65355.234
AT ITER 1074 NEW BEST:: SOT 249904 SOS 150200 HAS SOPS 142565 HAS SOUS 67167 HAS SOUPS 65188 WITH SCORE 65338.2
AT ITER 1078 NEW BEST:: SOT 249904 SOS 150036 HAS SOPS 142483 HAS SOUS 67093 HAS SOUPS 65155 WITH SCORE 65305.036
AT ITER 1079 NEW BEST:: SOT 249904 SOS 150036 HAS SOPS 142483 HAS SOUS 67077 HAS SOUPS 65139 WITH SCORE 65289.036
AT ITER 1082 NEW BEST:: SOT 249904 SOS 149874 HAS SOPS 142449 HAS SOUS 66996 HAS SOUPS 65122 WITH SCORE 65271.874
AT ITER 1085 NEW BEST:: SOT 249904 SOS 149874 HAS SOPS 142495 HAS SOUS 66934 HAS SOUPS 65088 WITH SCORE 65237.874
AT ITER 1091 NEW BEST:: SOT 249904 SOS 149598 HAS SOPS 142219 HAS SOUS 66672 HAS SOUPS 64826 WITH SCORE 64975.598
AT ITER 1101 NEW BEST:: SOT 249904 SOS 149512 HAS SOPS 142133 HAS SOUS 66635 HAS SOUPS 64789 WITH SCORE 64938.512
AT ITER 1102 NEW BEST:: SOT 249862 SOS 149194 HAS SOPS 141911 HAS SOUS 66596 HAS SOUPS 64750 WITH SCORE 64899.194
AT ITER 1118 NEW BEST:: SOT 249862 SOS 149134 HAS SOPS 141851 HAS SOUS 66527 HAS SOUPS 64681 WITH SCORE 64830.134
AT ITER 1128 NEW BEST:: SOT 249862 SOS 148962 HAS SOPS 141679 HAS SOUS 66527 HAS SOUPS 64681 WITH SCORE 64829.962
AT ITER 1129 NEW BEST:: SOT 249862 SOS 148850 HAS SOPS 141567 HAS SOUS 66527 HAS SOUPS 64681 WITH SCORE 64829.85
AT ITER 1139 NEW BEST:: SOT 249636 SOS 148624 HAS SOPS 141341 HAS SOUS 66359 HAS SOUPS 64513 WITH SCORE 64661.624
AT ITER 1146 NEW BEST:: SOT 249636 SOS 148624 HAS SOPS 141327 HAS SOUS 66352 HAS SOUPS 64506 WITH SCORE 64654.624
AT ITER 1150 NEW BEST:: SOT 249636 SOS 148440 HAS SOPS 141143 HAS SOUS 66352 HAS SOUPS 64506 WITH SCORE 64654.44
AT ITER 1151 NEW BEST:: SOT 249636 SOS 148228 HAS SOPS 140975 HAS SOUS 66238 HAS SOUPS 64414 WITH SCORE 64562.228
AT ITER 1161 NEW BEST:: SOT 249634 SOS 148220 HAS SOPS 140967 HAS SOUS 66236 HAS SOUPS 64412 WITH SCORE 64560.22
AT ITER 1164 NEW BEST:: SOT 249622 SOS 148196 HAS SOPS 140943 HAS SOUS 66224 HAS SOUPS 64400 WITH SCORE 64548.196
AT ITER 1168 NEW BEST:: SOT 249622 SOS 148064 HAS SOPS 140811 HAS SOUS 66146 HAS SOUPS 64322 WITH SCORE 64470.064
AT ITER 1170 NEW BEST:: SOT 249622 SOS 147952 HAS SOPS 140509 HAS SOUS 66185 HAS SOUPS 64266 WITH SCORE 64413.952
AT ITER 1189 NEW BEST:: SOT 249622 SOS 148042 HAS SOPS 140599 HAS SOUS 66108 HAS SOUPS 64189 WITH SCORE 64337.042
AT ITER 1192 NEW BEST:: SOT 249622 SOS 147590 HAS SOPS 140147 HAS SOUS 65885 HAS SOUPS 63966 WITH SCORE 64113.59
AT ITER 1195 NEW BEST:: SOT 249622 SOS 147570 HAS SOPS 140127 HAS SOUS 65885 HAS SOUPS 63966 WITH SCORE 64113.57
AT ITER 1200 NEW BEST:: SOT 249622 SOS 147546 HAS SOPS 140103 HAS SOUS 65879 HAS SOUPS 63960 WITH SCORE 64107.546
AT ITER 1201 NEW BEST:: SOT 249622 SOS 147636 HAS SOPS 139979 HAS SOUS 65960 HAS SOUPS 63934 WITH SCORE 64081.636
AT ITER 1212 NEW BEST:: SOT 249622 SOS 147820 HAS SOPS 140163 HAS SOUS 65763 HAS SOUPS 63737 WITH SCORE 63884.82
AT ITER 1218 NEW BEST:: SOT 249622 SOS 147788 HAS SOPS 140131 HAS SOUS 65755 HAS SOUPS 63729 WITH SCORE 63876.788
AT ITER 1220 NEW BEST:: SOT 249622 SOS 147718 HAS SOPS 140061 HAS SOUS 65732 HAS SOUPS 63706 WITH SCORE 63853.718
AT ITER 1226 NEW BEST:: SOT 249622 SOS 147590 HAS SOPS 139933 HAS SOUS 65668 HAS SOUPS 63642 WITH SCORE 63789.59
AT ITER 1228 NEW BEST:: SOT 249622 SOS 147513 HAS SOPS 139856 HAS SOUS 65664 HAS SOUPS 63638 WITH SCORE 63785.513
AT ITER 1234 NEW BEST:: SOT 249622 SOS 147588 HAS SOPS 139931 HAS SOUS 65649 HAS SOUPS 63623 WITH SCORE 63770.588
AT ITER 1237 NEW BEST:: SOT 249622 SOS 147590 HAS SOPS 139891 HAS SOUS 65623 HAS SOUPS 63576 WITH SCORE 63723.59
AT ITER 1238 NEW BEST:: SOT 249622 SOS 147578 HAS SOPS 139879 HAS SOUS 65608 HAS SOUPS 63561 WITH SCORE 63708.578
AT ITER 1241 NEW BEST:: SOT 249647 SOS 147591 HAS SOPS 139892 HAS SOUS 65592 HAS SOUPS 63545 WITH SCORE 63692.591
AT ITER 1242 NEW BEST:: SOT 249694 SOS 143871 HAS SOPS 137533 HAS SOUS 65390 HAS SOUPS 63434 WITH SCORE 63577.871
AT ITER 1250 NEW BEST:: SOT 249694 SOS 143777 HAS SOPS 137439 HAS SOUS 65343 HAS SOUPS 63387 WITH SCORE 63530.777
AT ITER 1251 NEW BEST:: SOT 249694 SOS 143783 HAS SOPS 137428 HAS SOUS 65307 HAS SOUPS 63351 WITH SCORE 63494.783
AT ITER 1253 NEW BEST:: SOT 249694 SOS 143671 HAS SOPS 137316 HAS SOUS 65279 HAS SOUPS 63323 WITH SCORE 63466.671
AT ITER 1264 NEW BEST:: SOT 249694 SOS 143559 HAS SOPS 137204 HAS SOUS 65249 HAS SOUPS 63293 WITH SCORE 63436.559
AT ITER 1275 NEW BEST:: SOT 249694 SOS 143419 HAS SOPS 137064 HAS SOUS 65249 HAS SOUPS 63293 WITH SCORE 63436.419
AT ITER 1284 NEW BEST:: SOT 249694 SOS 143431 HAS SOPS 137076 HAS SOUS 65243 HAS SOUPS 63287 WITH SCORE 63430.431
AT ITER 1285 NEW BEST:: SOT 249694 SOS 143311 HAS SOPS 137062 HAS SOUS 65183 HAS SOUPS 63280 WITH SCORE 63423.311
AT ITER 1292 NEW BEST:: SOT 249694 SOS 143203 HAS SOPS 136954 HAS SOUS 65088 HAS SOUPS 63185 WITH SCORE 63328.203
AT ITER 1296 NEW BEST:: SOT 249694 SOS 143177 HAS SOPS 136928 HAS SOUS 65088 HAS SOUPS 63185 WITH SCORE 63328.177
AT ITER 1301 NEW BEST:: SOT 249694 SOS 143145 HAS SOPS 136896 HAS SOUS 65072 HAS SOUPS 63169 WITH SCORE 63312.145
AT ITER 1302 NEW BEST:: SOT 249694 SOS 143121 HAS SOPS 136872 HAS SOUS 65052 HAS SOUPS 63149 WITH SCORE 63292.121
AT ITER 1310 NEW BEST:: SOT 249694 SOS 143353 HAS SOPS 137104 HAS SOUS 65044 HAS SOUPS 63141 WITH SCORE 63284.353
AT ITER 1322 NEW BEST:: SOT 249694 SOS 143275 HAS SOPS 137026 HAS SOUS 65025 HAS SOUPS 63122 WITH SCORE 63265.275
AT ITER 1325 NEW BEST:: SOT 249694 SOS 143242 HAS SOPS 136971 HAS SOUS 65025 HAS SOUPS 63111 WITH SCORE 63254.242
AT ITER 1333 NEW BEST:: SOT 249694 SOS 143348 HAS SOPS 136913 HAS SOUS 65078 HAS SOUPS 63082 WITH SCORE 63225.348
AT ITER 1341 NEW BEST:: SOT 249694 SOS 143363 HAS SOPS 136928 HAS SOUS 65063 HAS SOUPS 63067 WITH SCORE 63210.363
AT ITER 1343 NEW BEST:: SOT 249694 SOS 142605 HAS SOPS 136170 HAS SOUS 64698 HAS SOUPS 62702 WITH SCORE 62844.605
AT ITER 1344 NEW BEST:: SOT 249694 SOS 144167 HAS SOPS 137732 HAS SOUS 64643 HAS SOUPS 62647 WITH SCORE 62791.167
AT ITER 1346 NEW BEST:: SOT 249727 SOS 142921 HAS SOPS 136977 HAS SOUS 64574 HAS SOUPS 62611 WITH SCORE 62753.921
AT ITER 1347 NEW BEST:: SOT 249727 SOS 142907 HAS SOPS 136963 HAS SOUS 64567 HAS SOUPS 62604 WITH SCORE 62746.907
AT ITER 1348 NEW BEST:: SOT 249727 SOS 144199 HAS SOPS 138255 HAS SOUS 64559 HAS SOUPS 62596 WITH SCORE 62740.199
AT ITER 1365 NEW BEST:: SOT 249727 SOS 144199 HAS SOPS 138255 HAS SOUS 64537 HAS SOUPS 62574 WITH SCORE 62718.199
AT ITER 1368 NEW BEST:: SOT 249631 SOS 142351 HAS SOPS 136517 HAS SOUS 64499 HAS SOUPS 62536 WITH SCORE 62678.351
AT ITER 1373 NEW BEST:: SOT 249631 SOS 142329 HAS SOPS 136495 HAS SOUS 64488 HAS SOUPS 62525 WITH SCORE 62667.329
AT ITER 1388 NEW BEST:: SOT 249631 SOS 142255 HAS SOPS 136489 HAS SOUS 64451 HAS SOUPS 62522 WITH SCORE 62664.255
AT ITER 1390 NEW BEST:: SOT 249631 SOS 142259 HAS SOPS 136493 HAS SOUS 64434 HAS SOUPS 62505 WITH SCORE 62647.259
AT ITER 1394 NEW BEST:: SOT 249631 SOS 142197 HAS SOPS 136431 HAS SOUS 64403 HAS SOUPS 62474 WITH SCORE 62616.197
AT ITER 1396 NEW BEST:: SOT 249631 SOS 141981 HAS SOPS 136215 HAS SOUS 64295 HAS SOUPS 62366 WITH SCORE 62507.981
AT ITER 1415 NEW BEST:: SOT 249631 SOS 141761 HAS SOPS 135995 HAS SOUS 64185 HAS SOUPS 62256 WITH SCORE 62397.761
AT ITER 1421 NEW BEST:: SOT 249631 SOS 141477 HAS SOPS 135569 HAS SOUS 64128 HAS SOUPS 62128 WITH SCORE 62269.477
AT ITER 1426 NEW BEST:: SOT 249631 SOS 141431 HAS SOPS 135477 HAS SOUS 64126 HAS SOUPS 62103 WITH SCORE 62244.431
AT ITER 1444 NEW BEST:: SOT 249631 SOS 140811 HAS SOPS 134857 HAS SOUS 64006 HAS SOUPS 61983 WITH SCORE 62123.811
AT ITER 1451 NEW BEST:: SOT 249631 SOS 140789 HAS SOPS 134835 HAS SOUS 63984 HAS SOUPS 61961 WITH SCORE 62101.789
AT ITER 1465 NEW BEST:: SOT 249631 SOS 140277 HAS SOPS 134323 HAS SOUS 63844 HAS SOUPS 61821 WITH SCORE 61961.277
AT ITER 1467 NEW BEST:: SOT 249631 SOS 140065 HAS SOPS 134111 HAS SOUS 63738 HAS SOUPS 61715 WITH SCORE 61855.065
AT ITER 1473 NEW BEST:: SOT 249631 SOS 140045 HAS SOPS 134091 HAS SOUS 63733 HAS SOUPS 61710 WITH SCORE 61850.045
AT ITER 1478 NEW BEST:: SOT 249631 SOS 140017 HAS SOPS 134063 HAS SOUS 63705 HAS SOUPS 61682 WITH SCORE 61822.017
AT ITER 1488 NEW BEST:: SOT 249631 SOS 140025 HAS SOPS 134063 HAS SOUS 63705 HAS SOUPS 61678 WITH SCORE 61818.025
AT ITER 1493 NEW BEST:: SOT 249631 SOS 140003 HAS SOPS 134041 HAS SOUS 63695 HAS SOUPS 61668 WITH SCORE 61808.003
AT ITER 1494 NEW BEST:: SOT 249631 SOS 140003 HAS SOPS 134035 HAS SOUS 63695 HAS SOUPS 61665 WITH SCORE 61805.003
AT ITER 1497 NEW BEST:: SOT 249631 SOS 140075 HAS SOPS 134107 HAS SOUS 63677 HAS SOUPS 61647 WITH SCORE 61787.075
AT ITER 1500 NEW BEST:: SOT 249615 SOS 139957 HAS SOPS 134007 HAS SOUS 63677 HAS SOUPS 61647 WITH SCORE 61786.957
AT ITER 1506 NEW BEST:: SOT 249615 SOS 139849 HAS SOPS 133899 HAS SOUS 63677 HAS SOUPS 61647 WITH SCORE 61786.849
AT ITER 1507 NEW BEST:: SOT 249615 SOS 139845 HAS SOPS 133895 HAS SOUS 63673 HAS SOUPS 61643 WITH SCORE 61782.845
AT ITER 1514 NEW BEST:: SOT 249615 SOS 139797 HAS SOPS 133847 HAS SOUS 63667 HAS SOUPS 61637 WITH SCORE 61776.797
AT ITER 1515 NEW BEST:: SOT 249615 SOS 139779 HAS SOPS 133829 HAS SOUS 63649 HAS SOUPS 61619 WITH SCORE 61758.779
AT ITER 1519 NEW BEST:: SOT 249615 SOS 139859 HAS SOPS 133909 HAS SOUS 63638 HAS SOUPS 61608 WITH SCORE 61747.859
AT ITER 1521 NEW BEST:: SOT 249615 SOS 139821 HAS SOPS 133871 HAS SOUS 63619 HAS SOUPS 61589 WITH SCORE 61728.821
AT ITER 1536 NEW BEST:: SOT 249615 SOS 139855 HAS SOPS 133905 HAS SOUS 63473 HAS SOUPS 61443 WITH SCORE 61582.855
AT ITER 1539 NEW BEST:: SOT 249615 SOS 139809 HAS SOPS 133883 HAS SOUS 63412 HAS SOUPS 61394 WITH SCORE 61533.809
AT ITER 1552 NEW BEST:: SOT 249587 SOS 139781 HAS SOPS 133855 HAS SOUS 63412 HAS SOUPS 61394 WITH SCORE 61533.781
AT ITER 1553 NEW BEST:: SOT 249587 SOS 139541 HAS SOPS 133615 HAS SOUS 63372 HAS SOUPS 61354 WITH SCORE 61493.541
AT ITER 1558 NEW BEST:: SOT 249587 SOS 139525 HAS SOPS 133599 HAS SOUS 63364 HAS SOUPS 61346 WITH SCORE 61485.525
AT ITER 1561 NEW BEST:: SOT 249587 SOS 139525 HAS SOPS 133599 HAS SOUS 63336 HAS SOUPS 61318 WITH SCORE 61457.525
AT ITER 1580 NEW BEST:: SOT 249587 SOS 139645 HAS SOPS 133719 HAS SOUS 63276 HAS SOUPS 61258 WITH SCORE 61397.645
AT ITER 1594 NEW BEST:: SOT 249477 SOS 139299 HAS SOPS 133221 HAS SOUS 63191 HAS SOUPS 61097 WITH SCORE 61236.299
AT ITER 1616 NEW BEST:: SOT 249475 SOS 139297 HAS SOPS 133217 HAS SOUS 63187 HAS SOUPS 61093 WITH SCORE 61232.297
AT ITER 1620 NEW BEST:: SOT 249475 SOS 139297 HAS SOPS 133217 HAS SOUS 63179 HAS SOUPS 61085 WITH SCORE 61224.297
AT ITER 1622 NEW BEST:: SOT 249475 SOS 139251 HAS SOPS 133231 HAS SOUS 63142 HAS SOUPS 61078 WITH SCORE 61217.251
AT ITER 1630 NEW BEST:: SOT 249475 SOS 139273 HAS SOPS 133213 HAS SOUS 63160 HAS SOUPS 61071 WITH SCORE 61210.273
AT ITER 1631 NEW BEST:: SOT 249475 SOS 139271 HAS SOPS 133211 HAS SOUS 63159 HAS SOUPS 61070 WITH SCORE 61209.271
AT ITER 1639 NEW BEST:: SOT 249459 SOS 139165 HAS SOPS 133149 HAS SOUS 63142 HAS SOUPS 61068 WITH SCORE 61207.165
AT ITER 1645 NEW BEST:: SOT 249459 SOS 138059 HAS SOPS 132043 HAS SOUS 63129 HAS SOUPS 61055 WITH SCORE 61193.059
AT ITER 1654 NEW BEST:: SOT 243126 SOS 131766 HAS SOPS 125734 HAS SOUS 62926 HAS SOUPS 60866 WITH SCORE 60997.766
AT ITER 1659 NEW BEST:: SOT 243126 SOS 131549 HAS SOPS 125517 HAS SOUS 62926 HAS SOUPS 60866 WITH SCORE 60997.549
AT ITER 1667 NEW BEST:: SOT 243126 SOS 131521 HAS SOPS 125489 HAS SOUS 62850 HAS SOUPS 60790 WITH SCORE 60921.521
AT ITER 1679 NEW BEST:: SOT 243126 SOS 131505 HAS SOPS 125473 HAS SOUS 62848 HAS SOUPS 60788 WITH SCORE 60919.505
AT ITER 1682 NEW BEST:: SOT 243126 SOS 131273 HAS SOPS 125241 HAS SOUS 62755 HAS SOUPS 60695 WITH SCORE 60826.273
AT ITER 1692 NEW BEST:: SOT 221767 SOS 113804 HAS SOPS 104321 HAS SOUS 61286 HAS SOUPS 59143 WITH SCORE 59256.804
AT ITER 1695 NEW BEST:: SOT 221826 SOS 113819 HAS SOPS 104180 HAS SOUS 61163 HAS SOUPS 59014 WITH SCORE 59127.819
AT ITER 1703 NEW BEST:: SOT 221730 SOS 113723 HAS SOPS 104120 HAS SOUS 61067 HAS SOUPS 58954 WITH SCORE 59067.723
AT ITER 1705 NEW BEST:: SOT 221730 SOS 113501 HAS SOPS 103898 HAS SOUS 60917 HAS SOUPS 58804 WITH SCORE 58917.501
AT ITER 1708 NEW BEST:: SOT 220076 SOS 111918 HAS SOPS 102244 HAS SOUS 59248 HAS SOUPS 57130 WITH SCORE 57241.918
AT ITER 1713 NEW BEST:: SOT 220060 SOS 111902 HAS SOPS 102312 HAS SOUS 59234 HAS SOUPS 57116 WITH SCORE 57227.902
AT ITER 1718 NEW BEST:: SOT 220060 SOS 111878 HAS SOPS 102288 HAS SOUS 59234 HAS SOUPS 57116 WITH SCORE 57227.878
AT ITER 1720 NEW BEST:: SOT 220060 SOS 111876 HAS SOPS 102286 HAS SOUS 59223 HAS SOUPS 57105 WITH SCORE 57216.876
AT ITER 1721 NEW BEST:: SOT 220060 SOS 111772 HAS SOPS 102286 HAS SOUS 59171 HAS SOUPS 57105 WITH SCORE 57216.772
AT ITER 1757 NEW BEST:: SOT 220060 SOS 111628 HAS SOPS 102142 HAS SOUS 59153 HAS SOUPS 57087 WITH SCORE 57198.628
AT ITER 1761 NEW BEST:: SOT 220060 SOS 111558 HAS SOPS 102072 HAS SOUS 59118 HAS SOUPS 57052 WITH SCORE 57163.558
AT ITER 1769 NEW BEST:: SOT 220060 SOS 111626 HAS SOPS 102116 HAS SOUS 59106 HAS SOUPS 57040 WITH SCORE 57151.626
AT ITER 1783 NEW BEST:: SOT 220066 SOS 111518 HAS SOPS 102050 HAS SOUS 59088 HAS SOUPS 57025 WITH SCORE 57136.518
AT ITER 1792 NEW BEST:: SOT 220066 SOS 111520 HAS SOPS 102052 HAS SOUS 59087 HAS SOUPS 57024 WITH SCORE 57135.52
AT ITER 1794 NEW BEST:: SOT 220066 SOS 111142 HAS SOPS 101674 HAS SOUS 58949 HAS SOUPS 56886 WITH SCORE 56997.142
AT ITER 1811 NEW BEST:: SOT 219844 SOS 111008 HAS SOPS 101720 HAS SOUS 58943 HAS SOUPS 56868 WITH SCORE 56979.008
AT ITER 1824 NEW BEST:: SOT 219844 SOS 110920 HAS SOPS 101676 HAS SOUS 58933 HAS SOUPS 56858 WITH SCORE 56968.92
AT ITER 1826 NEW BEST:: SOT 219837 SOS 110904 HAS SOPS 101675 HAS SOUS 58908 HAS SOUPS 56857 WITH SCORE 56967.904
AT ITER 1847 NEW BEST:: SOT 219837 SOS 110962 HAS SOPS 101639 HAS SOUS 58912 HAS SOUPS 56814 WITH SCORE 56924.962
AT ITER 1851 NEW BEST:: SOT 219837 SOS 110992 HAS SOPS 101669 HAS SOUS 58897 HAS SOUPS 56799 WITH SCORE 56909.992
AT ITER 1853 NEW BEST:: SOT 219837 SOS 110947 HAS SOPS 101624 HAS SOUS 58897 HAS SOUPS 56799 WITH SCORE 56909.947
AT ITER 1854 NEW BEST:: SOT 218860 SOS 110008 HAS SOPS 100641 HAS SOUS 57917 HAS SOUPS 55816 WITH SCORE 55926.008
AT ITER 1856 NEW BEST:: SOT 218860 SOS 110008 HAS SOPS 100642 HAS SOUS 57915 HAS SOUPS 55815 WITH SCORE 55925.008
AT ITER 1865 NEW BEST:: SOT 218860 SOS 109960 HAS SOPS 100594 HAS SOUS 57891 HAS SOUPS 55791 WITH SCORE 55900.96
AT ITER 1869 NEW BEST:: SOT 218860 SOS 109946 HAS SOPS 100580 HAS SOUS 57884 HAS SOUPS 55784 WITH SCORE 55893.946
AT ITER 1880 NEW BEST:: SOT 218860 SOS 109946 HAS SOPS 100580 HAS SOUS 57878 HAS SOUPS 55778 WITH SCORE 55887.946
AT ITER 1882 NEW BEST:: SOT 218860 SOS 109938 HAS SOPS 100572 HAS SOUS 57874 HAS SOUPS 55774 WITH SCORE 55883.938
AT ITER 1891 NEW BEST:: SOT 217521 SOS 108735 HAS SOPS 99701 HAS SOUS 57813 HAS SOUPS 55713 WITH SCORE 55821.735
AT ITER 1893 NEW BEST:: SOT 217518 SOS 108617 HAS SOPS 99468 HAS SOUS 57624 HAS SOUPS 55524 WITH SCORE 55632.617
AT ITER 1894 NEW BEST:: SOT 217518 SOS 108617 HAS SOPS 99468 HAS SOUS 57620 HAS SOUPS 55520 WITH SCORE 55628.617
AT ITER 1896 NEW BEST:: SOT 217518 SOS 108503 HAS SOPS 99354 HAS SOUS 57620 HAS SOUPS 55520 WITH SCORE 55628.503
AT ITER 1899 NEW BEST:: SOT 217518 SOS 108503 HAS SOPS 99354 HAS SOUS 57592 HAS SOUPS 55492 WITH SCORE 55600.503
AT ITER 1901 NEW BEST:: SOT 217511 SOS 108493 HAS SOPS 99345 HAS SOUS 57577 HAS SOUPS 55481 WITH SCORE 55589.493
AT ITER 1906 NEW BEST:: SOT 217433 SOS 108381 HAS SOPS 99155 HAS SOUS 57517 HAS SOUPS 55421 WITH SCORE 55529.381
AT ITER 1918 NEW BEST:: SOT 217395 SOS 108393 HAS SOPS 99167 HAS SOUS 57481 HAS SOUPS 55385 WITH SCORE 55493.393
AT ITER 1927 NEW BEST:: SOT 217395 SOS 108151 HAS SOPS 98925 HAS SOUS 57458 HAS SOUPS 55362 WITH SCORE 55470.151
AT ITER 1931 NEW BEST:: SOT 217388 SOS 107640 HAS SOPS 98294 HAS SOUS 57235 HAS SOUPS 55139 WITH SCORE 55246.64
AT ITER 1952 NEW BEST:: SOT 217388 SOS 107708 HAS SOPS 98362 HAS SOUS 57180 HAS SOUPS 55084 WITH SCORE 55191.708
AT ITER 1953 NEW BEST:: SOT 217368 SOS 107672 HAS SOPS 98310 HAS SOUS 57176 HAS SOUPS 55080 WITH SCORE 55187.672
AT ITER 1963 NEW BEST:: SOT 217368 SOS 107512 HAS SOPS 98150 HAS SOUS 57149 HAS SOUPS 55053 WITH SCORE 55160.512
AT ITER 1967 NEW BEST:: SOT 217309 SOS 107285 HAS SOPS 97961 HAS SOUS 56999 HAS SOUPS 54969 WITH SCORE 55076.285
AT ITER 1969 NEW BEST:: SOT 202970 SOS 97008 HAS SOPS 84003 HAS SOUS 43127 HAS SOUPS 41407 WITH SCORE 41504.008
AT ITER 1972 NEW BEST:: SOT 202970 SOS 97008 HAS SOPS 83993 HAS SOUS 43109 HAS SOUPS 41389 WITH SCORE 41486.008
AT ITER 1975 NEW BEST:: SOT 202881 SOS 96905 HAS SOPS 83764 HAS SOUS 42968 HAS SOUPS 41256 WITH SCORE 41352.905
AT ITER 1989 NEW BEST:: SOT 202720 SOS 96744 HAS SOPS 83629 HAS SOUS 42863 HAS SOUPS 41053 WITH SCORE 41149.744
AT ITER 2004 NEW BEST:: SOT 202684 SOS 96708 HAS SOPS 83557 HAS SOUS 42809 HAS SOUPS 40999 WITH SCORE 41095.708
AT ITER 2009 NEW BEST:: SOT 202684 SOS 96473 HAS SOPS 83322 HAS SOUS 42809 HAS SOUPS 40999 WITH SCORE 41095.473
AT ITER 2012 NEW BEST:: SOT 202684 SOS 96395 HAS SOPS 83244 HAS SOUS 42770 HAS SOUPS 40960 WITH SCORE 41056.395
AT ITER 2019 NEW BEST:: SOT 202684 SOS 96689 HAS SOPS 83538 HAS SOUS 42763 HAS SOUPS 40953 WITH SCORE 41049.689
AT ITER 2040 NEW BEST:: SOT 202684 SOS 96581 HAS SOPS 83376 HAS SOUS 42749 HAS SOUPS 40912 WITH SCORE 41008.581
AT ITER 2050 NEW BEST:: SOT 202684 SOS 96531 HAS SOPS 83326 HAS SOUS 42724 HAS SOUPS 40887 WITH SCORE 40983.531
AT ITER 2054 NEW BEST:: SOT 202698 SOS 96835 HAS SOPS 83728 HAS SOUS 42720 HAS SOUPS 40883 WITH SCORE 40979.835
AT ITER 2062 NEW BEST:: SOT 202694 SOS 96417 HAS SOPS 83477 HAS SOUS 42668 HAS SOUPS 40831 WITH SCORE 40927.417
AT ITER 2065 NEW BEST:: SOT 202742 SOS 96465 HAS SOPS 83323 HAS SOUS 42580 HAS SOUPS 40743 WITH SCORE 40839.465
AT ITER 2069 NEW BEST:: SOT 202678 SOS 96083 HAS SOPS 83089 HAS SOUS 42505 HAS SOUPS 40721 WITH SCORE 40817.083
AT ITER 2071 NEW BEST:: SOT 202678 SOS 96002 HAS SOPS 83008 HAS SOUS 42462 HAS SOUPS 40678 WITH SCORE 40774.002
AT ITER 2077 NEW BEST:: SOT 202678 SOS 95992 HAS SOPS 82998 HAS SOUS 42457 HAS SOUPS 40673 WITH SCORE 40768.992
AT ITER 2080 NEW BEST:: SOT 202678 SOS 95964 HAS SOPS 82970 HAS SOUS 42438 HAS SOUPS 40654 WITH SCORE 40749.964
AT ITER 2085 NEW BEST:: SOT 202678 SOS 95912 HAS SOPS 82918 HAS SOUS 42425 HAS SOUPS 40641 WITH SCORE 40736.912
AT ITER 2087 NEW BEST:: SOT 202654 SOS 95888 HAS SOPS 82894 HAS SOUS 42401 HAS SOUPS 40617 WITH SCORE 40712.888
AT ITER 2103 NEW BEST:: SOT 202640 SOS 95874 HAS SOPS 82880 HAS SOUS 42380 HAS SOUPS 40596 WITH SCORE 40691.874
AT ITER 2118 NEW BEST:: SOT 202640 SOS 95852 HAS SOPS 82880 HAS SOUS 42369 HAS SOUPS 40596 WITH SCORE 40691.852
AT ITER 2128 NEW BEST:: SOT 202622 SOS 95834 HAS SOPS 82862 HAS SOUS 42351 HAS SOUPS 40578 WITH SCORE 40673.834
AT ITER 2147 NEW BEST:: SOT 202585 SOS 95803 HAS SOPS 82905 HAS SOUS 42314 HAS SOUPS 40539 WITH SCORE 40634.803
AT ITER 2168 NEW BEST:: SOT 202585 SOS 95803 HAS SOPS 82905 HAS SOUS 42312 HAS SOUPS 40537 WITH SCORE 40632.803
AT ITER 2174 NEW BEST:: SOT 202585 SOS 95817 HAS SOPS 82905 HAS SOUS 42312 HAS SOUPS 40530 WITH SCORE 40625.817
AT ITER 2186 NEW BEST:: SOT 202291 SOS 95455 HAS SOPS 82432 HAS SOUS 42225 HAS SOUPS 40410 WITH SCORE 40505.455
AT ITER 2190 NEW BEST:: SOT 202343 SOS 96253 HAS SOPS 83063 HAS SOUS 42178 HAS SOUPS 40363 WITH SCORE 40459.253
AT ITER 2192 NEW BEST:: SOT 202343 SOS 96251 HAS SOPS 83061 HAS SOUS 42177 HAS SOUPS 40362 WITH SCORE 40458.251
AT ITER 2204 NEW BEST:: SOT 202339 SOS 96187 HAS SOPS 82995 HAS SOUS 42156 HAS SOUPS 40341 WITH SCORE 40437.187
AT ITER 2208 NEW BEST:: SOT 202244 SOS 96092 HAS SOPS 82950 HAS SOUS 42069 HAS SOUPS 40254 WITH SCORE 40350.092
AT ITER 2213 NEW BEST:: SOT 202244 SOS 96092 HAS SOPS 82950 HAS SOUS 42041 HAS SOUPS 40226 WITH SCORE 40322.092
AT ITER 2249 NEW BEST:: SOT 202250 SOS 96098 HAS SOPS 82962 HAS SOUS 42021 HAS SOUPS 40206 WITH SCORE 40302.098
AT ITER 2257 NEW BEST:: SOT 202240 SOS 96088 HAS SOPS 82942 HAS SOUS 42016 HAS SOUPS 40201 WITH SCORE 40297.088
AT ITER 2270 NEW BEST:: SOT 202181 SOS 96029 HAS SOPS 82843 HAS SOUS 41897 HAS SOUPS 40082 WITH SCORE 40178.029
AT ITER 2283 NEW BEST:: SOT 202181 SOS 95943 HAS SOPS 82831 HAS SOUS 41830 HAS SOUPS 40052 WITH SCORE 40147.943
AT ITER 2295 NEW BEST:: SOT 202181 SOS 95919 HAS SOPS 82807 HAS SOUS 41818 HAS SOUPS 40040 WITH SCORE 40135.919
AT ITER 2298 NEW BEST:: SOT 202177 SOS 95915 HAS SOPS 82799 HAS SOUS 41792 HAS SOUPS 40014 WITH SCORE 40109.915
AT ITER 2326 NEW BEST:: SOT 201152 SOS 94890 HAS SOPS 81770 HAS SOUS 40689 HAS SOUPS 38911 WITH SCORE 39005.89
AT ITER 2335 NEW BEST:: SOT 201152 SOS 94590 HAS SOPS 81470 HAS SOUS 40689 HAS SOUPS 38911 WITH SCORE 39005.59
AT ITER 2340 NEW BEST:: SOT 201266 SOS 94704 HAS SOPS 81458 HAS SOUS 40685 HAS SOUPS 38907 WITH SCORE 39001.704
AT ITER 2351 NEW BEST:: SOT 201208 SOS 94646 HAS SOPS 81400 HAS SOUS 40672 HAS SOUPS 38894 WITH SCORE 38988.646
AT ITER 2364 NEW BEST:: SOT 201208 SOS 94626 HAS SOPS 81362 HAS SOUS 40680 HAS SOUPS 38893 WITH SCORE 38987.626
AT ITER 2369 NEW BEST:: SOT 201208 SOS 94630 HAS SOPS 81402 HAS SOUS 40646 HAS SOUPS 38877 WITH SCORE 38971.63
AT ITER 2371 NEW BEST:: SOT 201208 SOS 94858 HAS SOPS 81630 HAS SOUS 40617 HAS SOUPS 38848 WITH SCORE 38942.858
AT ITER 2386 NEW BEST:: SOT 201238 SOS 94888 HAS SOPS 81660 HAS SOUS 40604 HAS SOUPS 38835 WITH SCORE 38929.888
AT ITER 2392 NEW BEST:: SOT 201238 SOS 94616 HAS SOPS 81388 HAS SOUS 40443 HAS SOUPS 38674 WITH SCORE 38768.616
AT ITER 2393 NEW BEST:: SOT 201238 SOS 94609 HAS SOPS 81381 HAS SOUS 40436 HAS SOUPS 38667 WITH SCORE 38761.609
AT ITER 2397 NEW BEST:: SOT 201314 SOS 94673 HAS SOPS 81449 HAS SOUS 40407 HAS SOUPS 38638 WITH SCORE 38732.673
AT ITER 2403 NEW BEST:: SOT 201314 SOS 94673 HAS SOPS 81511 HAS SOUS 40391 HAS SOUPS 38610 WITH SCORE 38704.673
AT ITER 2407 NEW BEST:: SOT 201275 SOS 94609 HAS SOPS 81457 HAS SOUS 40312 HAS SOUPS 38531 WITH SCORE 38625.609
AT ITER 2417 NEW BEST:: SOT 201275 SOS 94302 HAS SOPS 81150 HAS SOUS 40280 HAS SOUPS 38499 WITH SCORE 38593.302
AT ITER 2423 NEW BEST:: SOT 201235 SOS 94372 HAS SOPS 81300 HAS SOUS 40207 HAS SOUPS 38486 WITH SCORE 38580.372
AT ITER 2424 NEW BEST:: SOT 201235 SOS 94236 HAS SOPS 81179 HAS SOUS 40241 HAS SOUPS 38486 WITH SCORE 38580.236
AT ITER 2438 NEW BEST:: SOT 201229 SOS 94230 HAS SOPS 81177 HAS SOUS 40239 HAS SOUPS 38484 WITH SCORE 38578.23
AT ITER 2450 NEW BEST:: SOT 201229 SOS 94204 HAS SOPS 81151 HAS SOUS 40226 HAS SOUPS 38471 WITH SCORE 38565.204
AT ITER 2453 NEW BEST:: SOT 201229 SOS 94212 HAS SOPS 81159 HAS SOUS 40164 HAS SOUPS 38409 WITH SCORE 38503.212
AT ITER 2457 NEW BEST:: SOT 201319 SOS 94302 HAS SOPS 81282 HAS SOUS 40018 HAS SOUPS 38296 WITH SCORE 38390.302
AT ITER 2469 NEW BEST:: SOT 201684 SOS 94523 HAS SOPS 81239 HAS SOUS 39409 HAS SOUPS 37675 WITH SCORE 37769.523
AT ITER 2480 NEW BEST:: SOT 201684 SOS 94453 HAS SOPS 81169 HAS SOUS 39407 HAS SOUPS 37673 WITH SCORE 37767.453
AT ITER 2481 NEW BEST:: SOT 201642 SOS 94365 HAS SOPS 81086 HAS SOUS 39395 HAS SOUPS 37661 WITH SCORE 37755.365
AT ITER 2499 NEW BEST:: SOT 201642 SOS 94351 HAS SOPS 80814 HAS SOUS 39510 HAS SOUPS 37647 WITH SCORE 37741.351
AT ITER 2521 NEW BEST:: SOT 201592 SOS 94301 HAS SOPS 80798 HAS SOUS 39430 HAS SOUPS 37567 WITH SCORE 37661.301
AT ITER 2523 NEW BEST:: SOT 201326 SOS 93931 HAS SOPS 80224 HAS SOUS 39267 HAS SOUPS 37377 WITH SCORE 37470.931
AT ITER 2525 NEW BEST:: SOT 201326 SOS 93943 HAS SOPS 80236 HAS SOUS 39261 HAS SOUPS 37371 WITH SCORE 37464.943
AT ITER 2538 NEW BEST:: SOT 200841 SOS 93438 HAS SOPS 79741 HAS SOUS 38976 HAS SOUPS 37100 WITH SCORE 37193.438
AT ITER 2543 NEW BEST:: SOT 200773 SOS 93249 HAS SOPS 79498 HAS SOUS 38846 HAS SOUPS 36970 WITH SCORE 37063.249
AT ITER 2558 NEW BEST:: SOT 200773 SOS 93089 HAS SOPS 79338 HAS SOUS 38836 HAS SOUPS 36960 WITH SCORE 37053.089
AT ITER 2579 NEW BEST:: SOT 201243 SOS 93559 HAS SOPS 79558 HAS SOUS 38798 HAS SOUPS 36922 WITH SCORE 37015.559
AT ITER 2580 NEW BEST:: SOT 201243 SOS 93557 HAS SOPS 79556 HAS SOUS 38797 HAS SOUPS 36921 WITH SCORE 37014.557
AT ITER 2594 NEW BEST:: SOT 201187 SOS 93613 HAS SOPS 79745 HAS SOUS 38639 HAS SOUPS 36815 WITH SCORE 36908.613
AT ITER 2596 NEW BEST:: SOT 201187 SOS 93589 HAS SOPS 79683 HAS SOUS 38627 HAS SOUPS 36784 WITH SCORE 36877.589
AT ITER 2600 NEW BEST:: SOT 201187 SOS 93589 HAS SOPS 79683 HAS SOUS 38599 HAS SOUPS 36756 WITH SCORE 36849.589
AT ITER 2603 NEW BEST:: SOT 201163 SOS 93878 HAS SOPS 79719 HAS SOUS 38702 HAS SOUPS 36748 WITH SCORE 36841.878
AT ITER 2610 NEW BEST:: SOT 201143 SOS 93858 HAS SOPS 79691 HAS SOUS 38674 HAS SOUPS 36720 WITH SCORE 36813.858
AT ITER 2622 NEW BEST:: SOT 201143 SOS 93888 HAS SOPS 79721 HAS SOUS 38630 HAS SOUPS 36676 WITH SCORE 36769.888
AT ITER 2643 NEW BEST:: SOT 201107 SOS 93852 HAS SOPS 79649 HAS SOUS 38573 HAS SOUPS 36619 WITH SCORE 36712.852
AT ITER 2649 NEW BEST:: SOT 201045 SOS 93790 HAS SOPS 79565 HAS SOUS 38521 HAS SOUPS 36567 WITH SCORE 36660.79
AT ITER 2666 NEW BEST:: SOT 201045 SOS 93768 HAS SOPS 79543 HAS SOUS 38510 HAS SOUPS 36556 WITH SCORE 36649.768
AT ITER 2673 NEW BEST:: SOT 200971 SOS 93694 HAS SOPS 79421 HAS SOUS 38362 HAS SOUPS 36408 WITH SCORE 36501.694
AT ITER 2676 NEW BEST:: SOT 200677 SOS 93430 HAS SOPS 79175 HAS SOUS 38318 HAS SOUPS 36364 WITH SCORE 36457.43
AT ITER 2708 NEW BEST:: SOT 200677 SOS 93430 HAS SOPS 79175 HAS SOUS 38308 HAS SOUPS 36354 WITH SCORE 36447.43
AT ITER 2713 NEW BEST:: SOT 200683 SOS 93323 HAS SOPS 79110 HAS SOUS 38292 HAS SOUPS 36341 WITH SCORE 36434.323
AT ITER 2715 NEW BEST:: SOT 200683 SOS 94459 HAS SOPS 80246 HAS SOUS 38277 HAS SOUPS 36326 WITH SCORE 36420.459
AT ITER 2723 NEW BEST:: SOT 200683 SOS 94427 HAS SOPS 80214 HAS SOUS 38272 HAS SOUPS 36321 WITH SCORE 36415.427
AT ITER 2748 NEW BEST:: SOT 200709 SOS 94385 HAS SOPS 80172 HAS SOUS 38249 HAS SOUPS 36298 WITH SCORE 36392.385
AT ITER 2750 NEW BEST:: SOT 200658 SOS 94334 HAS SOPS 80109 HAS SOUS 38192 HAS SOUPS 36235 WITH SCORE 36329.334
AT ITER 2760 NEW BEST:: SOT 200658 SOS 94509 HAS SOPS 80074 HAS SOUS 38227 HAS SOUPS 36165 WITH SCORE 36259.509
AT ITER 2765 NEW BEST:: SOT 200658 SOS 94475 HAS SOPS 80040 HAS SOUS 38219 HAS SOUPS 36157 WITH SCORE 36251.475
AT ITER 2773 NEW BEST:: SOT 200660 SOS 94477 HAS SOPS 80016 HAS SOUS 38191 HAS SOUPS 36129 WITH SCORE 36223.477
AT ITER 2795 NEW BEST:: SOT 200660 SOS 94497 HAS SOPS 80036 HAS SOUS 38186 HAS SOUPS 36124 WITH SCORE 36218.497
AT ITER 2807 NEW BEST:: SOT 200660 SOS 94415 HAS SOPS 79954 HAS SOUS 38122 HAS SOUPS 36060 WITH SCORE 36154.415
AT ITER 2809 NEW BEST:: SOT 200660 SOS 94377 HAS SOPS 79916 HAS SOUS 38103 HAS SOUPS 36041 WITH SCORE 36135.377
AT ITER 2815 NEW BEST:: SOT 200591 SOS 94308 HAS SOPS 79847 HAS SOUS 38102 HAS SOUPS 36040 WITH SCORE 36134.308
AT ITER 2841 NEW BEST:: SOT 200539 SOS 94256 HAS SOPS 79777 HAS SOUS 38060 HAS SOUPS 35980 WITH SCORE 36074.256
AT ITER 2856 NEW BEST:: SOT 200504 SOS 94178 HAS SOPS 79710 HAS SOUS 37917 HAS SOUPS 35858 WITH SCORE 35952.178
AT ITER 2866 NEW BEST:: SOT 200406 SOS 94080 HAS SOPS 79612 HAS SOUS 37819 HAS SOUPS 35760 WITH SCORE 35854.08
AT ITER 2872 NEW BEST:: SOT 200406 SOS 94048 HAS SOPS 79580 HAS SOUS 37819 HAS SOUPS 35760 WITH SCORE 35854.048
AT ITER 2889 NEW BEST:: SOT 200406 SOS 93988 HAS SOPS 79520 HAS SOUS 37804 HAS SOUPS 35745 WITH SCORE 35838.988
AT ITER 2896 NEW BEST:: SOT 200398 SOS 93980 HAS SOPS 79504 HAS SOUS 37792 HAS SOUPS 35733 WITH SCORE 35826.98
AT ITER 2900 NEW BEST:: SOT 200340 SOS 94020 HAS SOPS 79544 HAS SOUS 37719 HAS SOUPS 35660 WITH SCORE 35754.02
AT ITER 2939 NEW BEST:: SOT 200172 SOS 93038 HAS SOPS 77686 HAS SOUS 37475 HAS SOUPS 35416 WITH SCORE 35509.038
AT ITER 2947 NEW BEST:: SOT 200172 SOS 92906 HAS SOPS 77576 HAS SOUS 37464 HAS SOUPS 35405 WITH SCORE 35497.906
AT ITER 2954 NEW BEST:: SOT 200172 SOS 92880 HAS SOPS 77550 HAS SOUS 37460 HAS SOUPS 35401 WITH SCORE 35493.88
AT ITER 2961 NEW BEST:: SOT 200172 SOS 92880 HAS SOPS 77550 HAS SOUS 37450 HAS SOUPS 35391 WITH SCORE 35483.88
AT ITER 2967 NEW BEST:: SOT 200160 SOS 92868 HAS SOPS 77518 HAS SOUS 37426 HAS SOUPS 35367 WITH SCORE 35459.868
AT ITER 2968 NEW BEST:: SOT 200146 SOS 92854 HAS SOPS 77504 HAS SOUS 37412 HAS SOUPS 35353 WITH SCORE 35445.854
AT ITER 2983 NEW BEST:: SOT 200146 SOS 92812 HAS SOPS 77504 HAS SOUS 37370 HAS SOUPS 35332 WITH SCORE 35424.812
AT ITER 3000 NEW BEST:: SOT 200146 SOS 92715 HAS SOPS 77543 HAS SOUS 37274 HAS SOUPS 35304 WITH SCORE 35396.715
AT ITER 3020 NEW BEST:: SOT 200192 SOS 92563 HAS SOPS 77345 HAS SOUS 37203 HAS SOUPS 35233 WITH SCORE 35325.563
AT ITER 3021 NEW BEST:: SOT 200192 SOS 92529 HAS SOPS 77311 HAS SOUS 37202 HAS SOUPS 35232 WITH SCORE 35324.529
AT ITER 3049 NEW BEST:: SOT 200160 SOS 92419 HAS SOPS 77225 HAS SOUS 37155 HAS SOUPS 35185 WITH SCORE 35277.419
AT ITER 3052 NEW BEST:: SOT 200528 SOS 92787 HAS SOPS 77567 HAS SOUS 37069 HAS SOUPS 35099 WITH SCORE 35191.787
AT ITER 3067 NEW BEST:: SOT 200528 SOS 92785 HAS SOPS 77567 HAS SOUS 37068 HAS SOUPS 35099 WITH SCORE 35191.785
AT ITER 3068 NEW BEST:: SOT 200528 SOS 92665 HAS SOPS 77447 HAS SOUS 37028 HAS SOUPS 35059 WITH SCORE 35151.665
AT ITER 3070 NEW BEST:: SOT 200528 SOS 92635 HAS SOPS 77427 HAS SOUS 37013 HAS SOUPS 35049 WITH SCORE 35141.635
AT ITER 3094 NEW BEST:: SOT 200462 SOS 92569 HAS SOPS 77339 HAS SOUS 36903 HAS SOUPS 34939 WITH SCORE 35031.569
AT ITER 3128 NEW BEST:: SOT 200459 SOS 92566 HAS SOPS 77334 HAS SOUS 36898 HAS SOUPS 34934 WITH SCORE 35026.566
AT ITER 3160 NEW BEST:: SOT 200405 SOS 92364 HAS SOPS 77132 HAS SOUS 36844 HAS SOUPS 34880 WITH SCORE 34972.364
AT ITER 3167 NEW BEST:: SOT 200397 SOS 92340 HAS SOPS 77108 HAS SOUS 36838 HAS SOUPS 34874 WITH SCORE 34966.34
AT ITER 3181 NEW BEST:: SOT 200397 SOS 92384 HAS SOPS 77152 HAS SOUS 36835 HAS SOUPS 34871 WITH SCORE 34963.384
AT ITER 3189 NEW BEST:: SOT 200397 SOS 92326 HAS SOPS 77094 HAS SOUS 36829 HAS SOUPS 34865 WITH SCORE 34957.326
AT ITER 3191 NEW BEST:: SOT 200397 SOS 92322 HAS SOPS 77090 HAS SOUS 36827 HAS SOUPS 34863 WITH SCORE 34955.322
AT ITER 3206 NEW BEST:: SOT 200397 SOS 92130 HAS SOPS 76962 HAS SOUS 36731 HAS SOUPS 34799 WITH SCORE 34891.13
AT ITER 3222 NEW BEST:: SOT 200355 SOS 92088 HAS SOPS 76922 HAS SOUS 36693 HAS SOUPS 34761 WITH SCORE 34853.088
AT ITER 3239 NEW BEST:: SOT 200353 SOS 92086 HAS SOPS 77062 HAS SOUS 36693 HAS SOUPS 34761 WITH SCORE 34853.086
AT ITER 3248 NEW BEST:: SOT 200317 SOS 92050 HAS SOPS 76990 HAS SOUS 36621 HAS SOUPS 34689 WITH SCORE 34781.05
AT ITER 3265 NEW BEST:: SOT 200317 SOS 92032 HAS SOPS 76972 HAS SOUS 36621 HAS SOUPS 34689 WITH SCORE 34781.032
AT ITER 3288 NEW BEST:: SOT 200317 SOS 92012 HAS SOPS 76966 HAS SOUS 36611 HAS SOUPS 34686 WITH SCORE 34778.012
AT ITER 3316 NEW BEST:: SOT 200317 SOS 91976 HAS SOPS 76942 HAS SOUS 36593 HAS SOUPS 34674 WITH SCORE 34765.976
AT ITER 3357 NEW BEST:: SOT 200317 SOS 91994 HAS SOPS 76928 HAS SOUS 36602 HAS SOUPS 34667 WITH SCORE 34758.994
AT ITER 3367 NEW BEST:: SOT 200415 SOS 92092 HAS SOPS 77124 HAS SOUS 36500 HAS SOUPS 34565 WITH SCORE 34657.092
AT ITER 3378 NEW BEST:: SOT 200415 SOS 92092 HAS SOPS 77124 HAS SOUS 36494 HAS SOUPS 34559 WITH SCORE 34651.092
AT ITER 3395 NEW BEST:: SOT 200415 SOS 92064 HAS SOPS 77096 HAS SOUS 36480 HAS SOUPS 34545 WITH SCORE 34637.064
AT ITER 3407 NEW BEST:: SOT 200435 SOS 92514 HAS SOPS 77526 HAS SOUS 36476 HAS SOUPS 34541 WITH SCORE 34633.514
AT ITER 3423 NEW BEST:: SOT 200435 SOS 92504 HAS SOPS 77516 HAS SOUS 36481 HAS SOUPS 34541 WITH SCORE 34633.504
AT ITER 3438 NEW BEST:: SOT 200435 SOS 92484 HAS SOPS 77496 HAS SOUS 36476 HAS SOUPS 34536 WITH SCORE 34628.484
AT ITER 3442 NEW BEST:: SOT 200435 SOS 92416 HAS SOPS 77428 HAS SOUS 36468 HAS SOUPS 34528 WITH SCORE 34620.416
AT ITER 3444 NEW BEST:: SOT 200435 SOS 91652 HAS SOPS 76664 HAS SOUS 36465 HAS SOUPS 34525 WITH SCORE 34616.652
AT ITER 3468 NEW BEST:: SOT 200435 SOS 91648 HAS SOPS 76660 HAS SOUS 36465 HAS SOUPS 34525 WITH SCORE 34616.648
AT ITER 3474 NEW BEST:: SOT 200431 SOS 91712 HAS SOPS 76697 HAS SOUS 36465 HAS SOUPS 34523 WITH SCORE 34614.712
AT ITER 3482 NEW BEST:: SOT 200431 SOS 91694 HAS SOPS 76679 HAS SOUS 36462 HAS SOUPS 34520 WITH SCORE 34611.694
AT ITER 3483 NEW BEST:: SOT 200431 SOS 91652 HAS SOPS 76637 HAS SOUS 36462 HAS SOUPS 34520 WITH SCORE 34611.652
AT ITER 3487 NEW BEST:: SOT 200425 SOS 91646 HAS SOPS 76625 HAS SOUS 36450 HAS SOUPS 34508 WITH SCORE 34599.646
AT ITER 3494 NEW BEST:: SOT 200425 SOS 91390 HAS SOPS 76369 HAS SOUS 36386 HAS SOUPS 34444 WITH SCORE 34535.39
AT ITER 3495 NEW BEST:: SOT 200331 SOS 91296 HAS SOPS 76283 HAS SOUS 36258 HAS SOUPS 34316 WITH SCORE 34407.296
AT ITER 3509 NEW BEST:: SOT 200331 SOS 91296 HAS SOPS 76283 HAS SOUS 36256 HAS SOUPS 34314 WITH SCORE 34405.296
AT ITER 3517 NEW BEST:: SOT 200321 SOS 91286 HAS SOPS 76263 HAS SOUS 36252 HAS SOUPS 34310 WITH SCORE 34401.286
AT ITER 3518 NEW BEST:: SOT 200321 SOS 90838 HAS SOPS 75815 HAS SOUS 36135 HAS SOUPS 34193 WITH SCORE 34283.838
AT ITER 3521 NEW BEST:: SOT 200321 SOS 90810 HAS SOPS 75849 HAS SOUS 36097 HAS SOUPS 34186 WITH SCORE 34276.81
AT ITER 3539 NEW BEST:: SOT 200321 SOS 90770 HAS SOPS 75789 HAS SOUS 36091 HAS SOUPS 34170 WITH SCORE 34260.77
AT ITER 3543 NEW BEST:: SOT 200321 SOS 90738 HAS SOPS 75757 HAS SOUS 36075 HAS SOUPS 34154 WITH SCORE 34244.738
AT ITER 3548 NEW BEST:: SOT 200321 SOS 90738 HAS SOPS 75757 HAS SOUS 36039 HAS SOUPS 34118 WITH SCORE 34208.738
AT ITER 3560 NEW BEST:: SOT 200321 SOS 90720 HAS SOPS 75739 HAS SOUS 36030 HAS SOUPS 34109 WITH SCORE 34199.72
AT ITER 3579 NEW BEST:: SOT 200321 SOS 90696 HAS SOPS 75699 HAS SOUS 36034 HAS SOUPS 34105 WITH SCORE 34195.696
AT ITER 3593 NEW BEST:: SOT 200311 SOS 90666 HAS SOPS 75669 HAS SOUS 36029 HAS SOUPS 34100 WITH SCORE 34190.666
AT ITER 3596 NEW BEST:: SOT 200299 SOS 90654 HAS SOPS 75633 HAS SOUS 35993 HAS SOUPS 34064 WITH SCORE 34154.654
AT ITER 3600 NEW BEST:: SOT 200299 SOS 90658 HAS SOPS 75633 HAS SOUS 35987 HAS SOUPS 34058 WITH SCORE 34148.658
AT ITER 3612 NEW BEST:: SOT 200299 SOS 90702 HAS SOPS 75677 HAS SOUS 35976 HAS SOUPS 34047 WITH SCORE 34137.702
AT ITER 3623 NEW BEST:: SOT 200269 SOS 90672 HAS SOPS 75647 HAS SOUS 35976 HAS SOUPS 34047 WITH SCORE 34137.672
AT ITER 3640 NEW BEST:: SOT 200597 SOS 91000 HAS SOPS 75981 HAS SOUS 35880 HAS SOUPS 33951 WITH SCORE 34042.0
AT ITER 3646 NEW BEST:: SOT 200597 SOS 90972 HAS SOPS 75953 HAS SOUS 35873 HAS SOUPS 33944 WITH SCORE 34034.972
AT ITER 3659 NEW BEST:: SOT 200597 SOS 90938 HAS SOPS 75919 HAS SOUS 35872 HAS SOUPS 33943 WITH SCORE 34033.938
AT ITER 3662 NEW BEST:: SOT 200597 SOS 90933 HAS SOPS 75914 HAS SOUS 35868 HAS SOUPS 33939 WITH SCORE 34029.933
AT ITER 3669 NEW BEST:: SOT 200597 SOS 90933 HAS SOPS 75902 HAS SOUS 35866 HAS SOUPS 33937 WITH SCORE 34027.933
AT ITER 3685 NEW BEST:: SOT 200597 SOS 90873 HAS SOPS 75842 HAS SOUS 35856 HAS SOUPS 33927 WITH SCORE 34017.873
AT ITER 3713 NEW BEST:: SOT 200591 SOS 90867 HAS SOPS 75846 HAS SOUS 35844 HAS SOUPS 33915 WITH SCORE 34005.867
AT ITER 3762 NEW BEST:: SOT 200475 SOS 90855 HAS SOPS 75614 HAS SOUS 35561 HAS SOUPS 33632 WITH SCORE 33722.855
AT ITER 3764 NEW BEST:: SOT 200459 SOS 90839 HAS SOPS 75694 HAS SOUS 35561 HAS SOUPS 33632 WITH SCORE 33722.839
AT ITER 3770 NEW BEST:: SOT 200446 SOS 90826 HAS SOPS 75643 HAS SOUS 35540 HAS SOUPS 33611 WITH SCORE 33701.826
AT ITER 3778 NEW BEST:: SOT 200446 SOS 90826 HAS SOPS 75643 HAS SOUS 35534 HAS SOUPS 33605 WITH SCORE 33695.826
AT ITER 3794 NEW BEST:: SOT 200410 SOS 90790 HAS SOPS 75635 HAS SOUS 35526 HAS SOUPS 33597 WITH SCORE 33687.79
AT ITER 3804 NEW BEST:: SOT 200410 SOS 90580 HAS SOPS 75425 HAS SOUS 35456 HAS SOUPS 33527 WITH SCORE 33617.58
AT ITER 3814 NEW BEST:: SOT 200382 SOS 90552 HAS SOPS 75369 HAS SOUS 35440 HAS SOUPS 33511 WITH SCORE 33601.552
AT ITER 3860 NEW BEST:: SOT 200382 SOS 90532 HAS SOPS 75349 HAS SOUS 35430 HAS SOUPS 33501 WITH SCORE 33591.532
AT ITER 3871 NEW BEST:: SOT 200382 SOS 90436 HAS SOPS 75253 HAS SOUS 35406 HAS SOUPS 33477 WITH SCORE 33567.436
AT ITER 3882 NEW BEST:: SOT 200382 SOS 90364 HAS SOPS 75181 HAS SOUS 35372 HAS SOUPS 33443 WITH SCORE 33533.364
AT ITER 3886 NEW BEST:: SOT 200383 SOS 90362 HAS SOPS 75178 HAS SOUS 35367 HAS SOUPS 33438 WITH SCORE 33528.362
AT ITER 3899 NEW BEST:: SOT 200383 SOS 90422 HAS SOPS 75238 HAS SOUS 35357 HAS SOUPS 33428 WITH SCORE 33518.422
AT ITER 3922 NEW BEST:: SOT 200347 SOS 90386 HAS SOPS 75166 HAS SOUS 35321 HAS SOUPS 33392 WITH SCORE 33482.386
AT ITER 3930 NEW BEST:: SOT 200357 SOS 90212 HAS SOPS 75065 HAS SOUS 35316 HAS SOUPS 33392 WITH SCORE 33482.212
AT ITER 3933 NEW BEST:: SOT 200357 SOS 90178 HAS SOPS 75031 HAS SOUS 35307 HAS SOUPS 33383 WITH SCORE 33473.178
AT ITER 3939 NEW BEST:: SOT 200465 SOS 90286 HAS SOPS 75079 HAS SOUS 35241 HAS SOUPS 33317 WITH SCORE 33407.286
AT ITER 3944 NEW BEST:: SOT 200465 SOS 90202 HAS SOPS 74995 HAS SOUS 35199 HAS SOUPS 33275 WITH SCORE 33365.202
AT ITER 3946 NEW BEST:: SOT 200465 SOS 90054 HAS SOPS 74959 HAS SOUS 35125 HAS SOUPS 33257 WITH SCORE 33347.054
AT ITER 3960 NEW BEST:: SOT 200465 SOS 90036 HAS SOPS 74941 HAS SOUS 35116 HAS SOUPS 33248 WITH SCORE 33338.036
AT ITER 3972 NEW BEST:: SOT 200465 SOS 89996 HAS SOPS 74901 HAS SOUS 35116 HAS SOUPS 33248 WITH SCORE 33337.996
AT ITER 3973 NEW BEST:: SOT 200433 SOS 89802 HAS SOPS 74683 HAS SOUS 35081 HAS SOUPS 33213 WITH SCORE 33302.802
AT ITER 3984 NEW BEST:: SOT 200413 SOS 89782 HAS SOPS 74641 HAS SOUS 35049 HAS SOUPS 33181 WITH SCORE 33270.782
AT ITER 3993 NEW BEST:: SOT 200413 SOS 89768 HAS SOPS 74627 HAS SOUS 35042 HAS SOUPS 33174 WITH SCORE 33263.768
AT ITER 4003 NEW BEST:: SOT 200413 SOS 89766 HAS SOPS 74623 HAS SOUS 35043 HAS SOUPS 33174 WITH SCORE 33263.766
AT ITER 4012 NEW BEST:: SOT 200341 SOS 88476 HAS SOPS 73045 HAS SOUS 34962 HAS SOUPS 33093 WITH SCORE 33181.476
AT ITER 4036 NEW BEST:: SOT 200341 SOS 88590 HAS SOPS 73159 HAS SOUS 34961 HAS SOUPS 33092 WITH SCORE 33180.59
AT ITER 4043 NEW BEST:: SOT 200327 SOS 88452 HAS SOPS 73007 HAS SOUS 34953 HAS SOUPS 33084 WITH SCORE 33172.452
AT ITER 4054 NEW BEST:: SOT 200327 SOS 88448 HAS SOPS 73003 HAS SOUS 34953 HAS SOUPS 33084 WITH SCORE 33172.448
AT ITER 4055 NEW BEST:: SOT 200315 SOS 88436 HAS SOPS 72989 HAS SOUS 34939 HAS SOUPS 33070 WITH SCORE 33158.436
AT ITER 4080 NEW BEST:: SOT 200301 SOS 88422 HAS SOPS 72569 HAS SOUS 34937 HAS SOUPS 33068 WITH SCORE 33156.422
AT ITER 4102 NEW BEST:: SOT 200301 SOS 88370 HAS SOPS 72579 HAS SOUS 34900 HAS SOUPS 33062 WITH SCORE 33150.37
AT ITER 4117 NEW BEST:: SOT 200301 SOS 88350 HAS SOPS 72559 HAS SOUS 34880 HAS SOUPS 33042 WITH SCORE 33130.35
AT ITER 4126 NEW BEST:: SOT 200301 SOS 88238 HAS SOPS 72447 HAS SOUS 34852 HAS SOUPS 33014 WITH SCORE 33102.238
AT ITER 4132 NEW BEST:: SOT 200301 SOS 88156 HAS SOPS 72365 HAS SOUS 34839 HAS SOUPS 33001 WITH SCORE 33089.156
AT ITER 4168 NEW BEST:: SOT 200301 SOS 88160 HAS SOPS 72365 HAS SOUS 34837 HAS SOUPS 32997 WITH SCORE 33085.16
AT ITER 4182 NEW BEST:: SOT 200301 SOS 88070 HAS SOPS 72275 HAS SOUS 34807 HAS SOUPS 32967 WITH SCORE 33055.07
AT ITER 4288 NEW BEST:: SOT 200301 SOS 88050 HAS SOPS 72255 HAS SOUS 34797 HAS SOUPS 32957 WITH SCORE 33045.05
AT ITER 4304 NEW BEST:: SOT 200301 SOS 88260 HAS SOPS 72577 HAS SOUS 34727 HAS SOUPS 32943 WITH SCORE 33031.26
AT ITER 4306 NEW BEST:: SOT 200587 SOS 88546 HAS SOPS 72729 HAS SOUS 34613 HAS SOUPS 32829 WITH SCORE 32917.546
AT ITER 4320 NEW BEST:: SOT 200577 SOS 88536 HAS SOPS 72709 HAS SOUS 34613 HAS SOUPS 32829 WITH SCORE 32917.536
AT ITER 4323 NEW BEST:: SOT 200577 SOS 88589 HAS SOPS 72762 HAS SOUS 34605 HAS SOUPS 32821 WITH SCORE 32909.589
AT ITER 4335 NEW BEST:: SOT 200577 SOS 88635 HAS SOPS 72808 HAS SOUS 34594 HAS SOUPS 32810 WITH SCORE 32898.635
AT ITER 4362 NEW BEST:: SOT 200577 SOS 88633 HAS SOPS 72806 HAS SOUS 34576 HAS SOUPS 32792 WITH SCORE 32880.633
AT ITER 4404 NEW BEST:: SOT 200577 SOS 88631 HAS SOPS 72804 HAS SOUS 34575 HAS SOUPS 32791 WITH SCORE 32879.631
AT ITER 4411 NEW BEST:: SOT 200577 SOS 88545 HAS SOPS 72718 HAS SOUS 34590 HAS SOUPS 32777 WITH SCORE 32865.545
AT ITER 4425 NEW BEST:: SOT 200577 SOS 88636 HAS SOPS 72809 HAS SOUS 34587 HAS SOUPS 32774 WITH SCORE 32862.636
AT ITER 4444 NEW BEST:: SOT 200577 SOS 88674 HAS SOPS 72847 HAS SOUS 34568 HAS SOUPS 32755 WITH SCORE 32843.674
AT ITER 4459 NEW BEST:: SOT 200559 SOS 88656 HAS SOPS 72829 HAS SOUS 34558 HAS SOUPS 32745 WITH SCORE 32833.656
AT ITER 4481 NEW BEST:: SOT 200559 SOS 88664 HAS SOPS 72837 HAS SOUS 34547 HAS SOUPS 32734 WITH SCORE 32822.664
AT ITER 4496 NEW BEST:: SOT 200525 SOS 88554 HAS SOPS 72731 HAS SOUS 34498 HAS SOUPS 32685 WITH SCORE 32773.554
AT ITER 4502 NEW BEST:: SOT 200525 SOS 88524 HAS SOPS 72731 HAS SOUS 34483 HAS SOUPS 32685 WITH SCORE 32773.524
AT ITER 4506 NEW BEST:: SOT 200517 SOS 88516 HAS SOPS 72715 HAS SOUS 34435 HAS SOUPS 32637 WITH SCORE 32725.516
AT ITER 4522 NEW BEST:: SOT 200520 SOS 88519 HAS SOPS 72046 HAS SOUS 34366 HAS SOUPS 32568 WITH SCORE 32656.519
AT ITER 4528 NEW BEST:: SOT 200520 SOS 88377 HAS SOPS 71904 HAS SOUS 34366 HAS SOUPS 32568 WITH SCORE 32656.377
AT ITER 4529 NEW BEST:: SOT 200520 SOS 88355 HAS SOPS 71882 HAS SOUS 34355 HAS SOUPS 32557 WITH SCORE 32645.355
AT ITER 4533 NEW BEST:: SOT 200520 SOS 88355 HAS SOPS 71852 HAS SOUS 34365 HAS SOUPS 32552 WITH SCORE 32640.355
AT ITER 4534 NEW BEST:: SOT 200644 SOS 88446 HAS SOPS 71912 HAS SOUS 34242 HAS SOUPS 32417 WITH SCORE 32505.446
AT ITER 4560 NEW BEST:: SOT 200644 SOS 88380 HAS SOPS 71846 HAS SOUS 34209 HAS SOUPS 32384 WITH SCORE 32472.38
AT ITER 4561 NEW BEST:: SOT 200570 SOS 88306 HAS SOPS 71770 HAS SOUS 34125 HAS SOUPS 32300 WITH SCORE 32388.306
AT ITER 4562 NEW BEST:: SOT 200570 SOS 88182 HAS SOPS 71646 HAS SOUS 34125 HAS SOUPS 32300 WITH SCORE 32388.182
AT ITER 4571 NEW BEST:: SOT 200570 SOS 88154 HAS SOPS 71618 HAS SOUS 34125 HAS SOUPS 32300 WITH SCORE 32388.154
AT ITER 4578 NEW BEST:: SOT 200560 SOS 88135 HAS SOPS 71606 HAS SOUS 34105 HAS SOUPS 32280 WITH SCORE 32368.135
AT ITER 4587 NEW BEST:: SOT 200560 SOS 88091 HAS SOPS 71562 HAS SOUS 34105 HAS SOUPS 32280 WITH SCORE 32368.091
AT ITER 4590 NEW BEST:: SOT 200560 SOS 88015 HAS SOPS 71486 HAS SOUS 34094 HAS SOUPS 32269 WITH SCORE 32357.015
AT ITER 4592 NEW BEST:: SOT 200560 SOS 87921 HAS SOPS 71436 HAS SOUS 34051 HAS SOUPS 32248 WITH SCORE 32335.921
AT ITER 4603 NEW BEST:: SOT 200560 SOS 88007 HAS SOPS 71522 HAS SOUS 34046 HAS SOUPS 32243 WITH SCORE 32331.007
AT ITER 4607 NEW BEST:: SOT 200560 SOS 87953 HAS SOPS 71486 HAS SOUS 34046 HAS SOUPS 32243 WITH SCORE 32330.953
AT ITER 4656 NEW BEST:: SOT 200560 SOS 88077 HAS SOPS 71540 HAS SOUS 34078 HAS SOUPS 32240 WITH SCORE 32328.077
AT ITER 4657 NEW BEST:: SOT 200560 SOS 88043 HAS SOPS 71506 HAS SOUS 34061 HAS SOUPS 32223 WITH SCORE 32311.043
AT ITER 4672 NEW BEST:: SOT 200554 SOS 88013 HAS SOPS 71476 HAS SOUS 34027 HAS SOUPS 32189 WITH SCORE 32277.013
AT ITER 4675 NEW BEST:: SOT 200554 SOS 88013 HAS SOPS 71476 HAS SOUS 34023 HAS SOUPS 32185 WITH SCORE 32273.013
AT ITER 4698 NEW BEST:: SOT 200554 SOS 87945 HAS SOPS 71408 HAS SOUS 34006 HAS SOUPS 32168 WITH SCORE 32255.945
AT ITER 4706 NEW BEST:: SOT 200556 SOS 87971 HAS SOPS 71412 HAS SOUS 33998 HAS SOUPS 32154 WITH SCORE 32241.971
AT ITER 4723 NEW BEST:: SOT 200548 SOS 87963 HAS SOPS 71384 HAS SOUS 33982 HAS SOUPS 32138 WITH SCORE 32225.963
AT ITER 4726 NEW BEST:: SOT 200522 SOS 87937 HAS SOPS 71332 HAS SOUS 33982 HAS SOUPS 32125 WITH SCORE 32212.937
AT ITER 4740 NEW BEST:: SOT 200522 SOS 87933 HAS SOPS 71328 HAS SOUS 33980 HAS SOUPS 32123 WITH SCORE 32210.933
AT ITER 4764 NEW BEST:: SOT 200474 SOS 87869 HAS SOPS 71234 HAS SOUS 33902 HAS SOUPS 32045 WITH SCORE 32132.869
AT ITER 4785 NEW BEST:: SOT 200474 SOS 87869 HAS SOPS 71234 HAS SOUS 33901 HAS SOUPS 32044 WITH SCORE 32131.869
AT ITER 4853 NEW BEST:: SOT 200454 SOS 87819 HAS SOPS 71184 HAS SOUS 33882 HAS SOUPS 32025 WITH SCORE 32112.819
AT ITER 4856 NEW BEST:: SOT 199190 SOS 87398 HAS SOPS 69979 HAS SOUS 33821 HAS SOUPS 31969 WITH SCORE 32056.398
AT ITER 4877 NEW BEST:: SOT 199190 SOS 87444 HAS SOPS 70025 HAS SOUS 33820 HAS SOUPS 31968 WITH SCORE 32055.444
AT ITER 4885 NEW BEST:: SOT 199190 SOS 87426 HAS SOPS 70025 HAS SOUS 33811 HAS SOUPS 31968 WITH SCORE 32055.426
AT ITER 4948 NEW BEST:: SOT 199190 SOS 87376 HAS SOPS 69975 HAS SOUS 33794 HAS SOUPS 31951 WITH SCORE 32038.376
AT ITER 4952 NEW BEST:: SOT 199189 SOS 87028 HAS SOPS 69620 HAS SOUS 33750 HAS SOUPS 31907 WITH SCORE 31994.028
AT ITER 4959 NEW BEST:: SOT 199189 SOS 86988 HAS SOPS 69580 HAS SOUS 33740 HAS SOUPS 31897 WITH SCORE 31983.988
AT ITER 4972 NEW BEST:: SOT 198899 SOS 86698 HAS SOPS 69322 HAS SOUS 33702 HAS SOUPS 31859 WITH SCORE 31945.698
AT ITER 4975 NEW BEST:: SOT 198899 SOS 86586 HAS SOPS 69210 HAS SOUS 33646 HAS SOUPS 31803 WITH SCORE 31889.586
AT ITER 5008 NEW BEST:: SOT 198899 SOS 86550 HAS SOPS 69174 HAS SOUS 33640 HAS SOUPS 31797 WITH SCORE 31883.55
AT ITER 5025 NEW BEST:: SOT 198899 SOS 86618 HAS SOPS 69242 HAS SOUS 33607 HAS SOUPS 31781 WITH SCORE 31867.618
AT ITER 5032 NEW BEST:: SOT 198899 SOS 86620 HAS SOPS 69244 HAS SOUS 33596 HAS SOUPS 31770 WITH SCORE 31856.62
AT ITER 5037 NEW BEST:: SOT 198866 SOS 86587 HAS SOPS 69211 HAS SOUS 33563 HAS SOUPS 31737 WITH SCORE 31823.587
AT ITER 5056 NEW BEST:: SOT 198866 SOS 86586 HAS SOPS 69210 HAS SOUS 33562 HAS SOUPS 31736 WITH SCORE 31822.586
AT ITER 5072 NEW BEST:: SOT 198835 SOS 86538 HAS SOPS 69144 HAS SOUS 33527 HAS SOUPS 31701 WITH SCORE 31787.538
AT ITER 5124 NEW BEST:: SOT 198835 SOS 86492 HAS SOPS 69098 HAS SOUS 33518 HAS SOUPS 31692 WITH SCORE 31778.492
AT ITER 5163 NEW BEST:: SOT 198795 SOS 86452 HAS SOPS 69018 HAS SOUS 33438 HAS SOUPS 31612 WITH SCORE 31698.452
AT ITER 5198 NEW BEST:: SOT 198795 SOS 86308 HAS SOPS 68874 HAS SOUS 33402 HAS SOUPS 31576 WITH SCORE 31662.308
AT ITER 5215 NEW BEST:: SOT 198795 SOS 86296 HAS SOPS 68862 HAS SOUS 33396 HAS SOUPS 31570 WITH SCORE 31656.296
AT ITER 5220 NEW BEST:: SOT 198785 SOS 86266 HAS SOPS 68822 HAS SOUS 33381 HAS SOUPS 31550 WITH SCORE 31636.266
AT ITER 5255 NEW BEST:: SOT 198785 SOS 86258 HAS SOPS 68822 HAS SOUS 33377 HAS SOUPS 31550 WITH SCORE 31636.258
AT ITER 5260 NEW BEST:: SOT 198785 SOS 86258 HAS SOPS 68821 HAS SOUS 33376 HAS SOUPS 31549 WITH SCORE 31635.258
AT ITER 5270 NEW BEST:: SOT 198785 SOS 86242 HAS SOPS 68857 HAS SOUS 33342 HAS SOUPS 31541 WITH SCORE 31627.242
AT ITER 5284 NEW BEST:: SOT 198785 SOS 86302 HAS SOPS 68917 HAS SOUS 33331 HAS SOUPS 31530 WITH SCORE 31616.302
AT ITER 5331 NEW BEST:: SOT 198785 SOS 86296 HAS SOPS 68911 HAS SOUS 33328 HAS SOUPS 31527 WITH SCORE 31613.296
AT ITER 5397 NEW BEST:: SOT 198785 SOS 86288 HAS SOPS 68903 HAS SOUS 33326 HAS SOUPS 31525 WITH SCORE 31611.288
AT ITER 5418 NEW BEST:: SOT 198771 SOS 86274 HAS SOPS 68890 HAS SOUS 33313 HAS SOUPS 31512 WITH SCORE 31598.274
AT ITER 5423 NEW BEST:: SOT 198771 SOS 86246 HAS SOPS 68890 HAS SOUS 33299 HAS SOUPS 31512 WITH SCORE 31598.246
AT ITER 5476 NEW BEST:: SOT 198771 SOS 86326 HAS SOPS 68930 HAS SOUS 33279 HAS SOUPS 31492 WITH SCORE 31578.326
AT ITER 5497 NEW BEST:: SOT 198771 SOS 86396 HAS SOPS 69000 HAS SOUS 33276 HAS SOUPS 31489 WITH SCORE 31575.396
AT ITER 5528 NEW BEST:: SOT 198771 SOS 86393 HAS SOPS 68997 HAS SOUS 33276 HAS SOUPS 31489 WITH SCORE 31575.393
AT ITER 5531 NEW BEST:: SOT 198744 SOS 86276 HAS SOPS 68698 HAS SOUS 33205 HAS SOUPS 31418 WITH SCORE 31504.276
AT ITER 5563 NEW BEST:: SOT 198744 SOS 86268 HAS SOPS 68690 HAS SOUS 33201 HAS SOUPS 31414 WITH SCORE 31500.268
AT ITER 5586 NEW BEST:: SOT 198744 SOS 86100 HAS SOPS 68522 HAS SOUS 33145 HAS SOUPS 31358 WITH SCORE 31444.1
AT ITER 5605 NEW BEST:: SOT 198744 SOS 86092 HAS SOPS 68514 HAS SOUS 33145 HAS SOUPS 31358 WITH SCORE 31444.092
AT ITER 5613 NEW BEST:: SOT 198744 SOS 86088 HAS SOPS 68512 HAS SOUS 33144 HAS SOUPS 31358 WITH SCORE 31444.088
AT ITER 5618 NEW BEST:: SOT 198744 SOS 86010 HAS SOPS 68434 HAS SOUS 33105 HAS SOUPS 31319 WITH SCORE 31405.01
AT ITER 5624 NEW BEST:: SOT 198744 SOS 85994 HAS SOPS 68418 HAS SOUS 33105 HAS SOUPS 31319 WITH SCORE 31404.994
AT ITER 5718 NEW BEST:: SOT 198726 SOS 85976 HAS SOPS 68442 HAS SOUS 33101 HAS SOUPS 31315 WITH SCORE 31400.976
AT ITER 5743 NEW BEST:: SOT 198726 SOS 85992 HAS SOPS 68458 HAS SOUS 33091 HAS SOUPS 31305 WITH SCORE 31390.992
AT ITER 5826 NEW BEST:: SOT 198726 SOS 85767 HAS SOPS 68233 HAS SOUS 33081 HAS SOUPS 31295 WITH SCORE 31380.767
AT ITER 5839 NEW BEST:: SOT 198706 SOS 85679 HAS SOPS 68155 HAS SOUS 33056 HAS SOUPS 31270 WITH SCORE 31355.679
AT ITER 5841 NEW BEST:: SOT 198706 SOS 85689 HAS SOPS 68165 HAS SOUS 33049 HAS SOUPS 31263 WITH SCORE 31348.689
AT ITER 5844 NEW BEST:: SOT 198706 SOS 85661 HAS SOPS 68109 HAS SOUS 33057 HAS SOUPS 31257 WITH SCORE 31342.661
AT ITER 5858 NEW BEST:: SOT 198706 SOS 85661 HAS SOPS 68067 HAS SOUS 33045 HAS SOUPS 31245 WITH SCORE 31330.661
AT ITER 5862 NEW BEST:: SOT 198726 SOS 85661 HAS SOPS 67967 HAS SOUS 33041 HAS SOUPS 31241 WITH SCORE 31326.661
AT ITER 5891 NEW BEST:: SOT 198726 SOS 85663 HAS SOPS 67969 HAS SOUS 33040 HAS SOUPS 31240 WITH SCORE 31325.663
AT ITER 5909 NEW BEST:: SOT 198726 SOS 85669 HAS SOPS 67975 HAS SOUS 33037 HAS SOUPS 31237 WITH SCORE 31322.669
AT ITER 5925 NEW BEST:: SOT 198742 SOS 85685 HAS SOPS 68057 HAS SOUS 33027 HAS SOUPS 31227 WITH SCORE 31312.685
AT ITER 5951 NEW BEST:: SOT 198742 SOS 85601 HAS SOPS 68035 HAS SOUS 32985 HAS SOUPS 31216 WITH SCORE 31301.601
AT ITER 5968 NEW BEST:: SOT 198742 SOS 85537 HAS SOPS 68003 HAS SOUS 32969 HAS SOUPS 31200 WITH SCORE 31285.537
AT ITER 5969 NEW BEST:: SOT 198738 SOS 84953 HAS SOPS 67391 HAS SOUS 32945 HAS SOUPS 31176 WITH SCORE 31260.953
AT ITER 5978 NEW BEST:: SOT 198738 SOS 84967 HAS SOPS 67405 HAS SOUS 32935 HAS SOUPS 31166 WITH SCORE 31250.967
AT ITER 5980 NEW BEST:: SOT 198738 SOS 84967 HAS SOPS 67405 HAS SOUS 32933 HAS SOUPS 31164 WITH SCORE 31248.967
AT ITER 5986 NEW BEST:: SOT 198738 SOS 84949 HAS SOPS 67387 HAS SOUS 32924 HAS SOUPS 31155 WITH SCORE 31239.949
AT ITER 5999 NEW BEST:: SOT 198738 SOS 84937 HAS SOPS 67375 HAS SOUS 32921 HAS SOUPS 31152 WITH SCORE 31236.937
AT ITER 6004 NEW BEST:: SOT 198738 SOS 84909 HAS SOPS 67347 HAS SOUS 32907 HAS SOUPS 31138 WITH SCORE 31222.909
AT ITER 6022 NEW BEST:: SOT 198738 SOS 84851 HAS SOPS 67289 HAS SOUS 32876 HAS SOUPS 31107 WITH SCORE 31191.851
AT ITER 6064 NEW BEST:: SOT 198734 SOS 84839 HAS SOPS 67277 HAS SOUS 32870 HAS SOUPS 31101 WITH SCORE 31185.839
AT ITER 6089 NEW BEST:: SOT 198732 SOS 84833 HAS SOPS 67271 HAS SOUS 32865 HAS SOUPS 31096 WITH SCORE 31180.833
AT ITER 6105 NEW BEST:: SOT 198732 SOS 84829 HAS SOPS 67267 HAS SOUS 32863 HAS SOUPS 31094 WITH SCORE 31178.829
AT ITER 6126 NEW BEST:: SOT 198732 SOS 84825 HAS SOPS 67263 HAS SOUS 32861 HAS SOUPS 31092 WITH SCORE 31176.825
AT ITER 6136 NEW BEST:: SOT 198732 SOS 84841 HAS SOPS 67255 HAS SOUS 32869 HAS SOUPS 31088 WITH SCORE 31172.841
AT ITER 6156 NEW BEST:: SOT 198732 SOS 84749 HAS SOPS 67117 HAS SOUS 32892 HAS SOUPS 31088 WITH SCORE 31172.749
AT ITER 6172 NEW BEST:: SOT 198732 SOS 84741 HAS SOPS 67005 HAS SOUS 32892 HAS SOUPS 31088 WITH SCORE 31172.741
AT ITER 6184 NEW BEST:: SOT 198732 SOS 84692 HAS SOPS 66947 HAS SOUS 32861 HAS SOUPS 31057 WITH SCORE 31141.692
AT ITER 6189 NEW BEST:: SOT 198732 SOS 84660 HAS SOPS 66915 HAS SOUS 32857 HAS SOUPS 31053 WITH SCORE 31137.66
AT ITER 6217 NEW BEST:: SOT 198732 SOS 84648 HAS SOPS 66903 HAS SOUS 32857 HAS SOUPS 31053 WITH SCORE 31137.648
AT ITER 6226 NEW BEST:: SOT 198733 SOS 84649 HAS SOPS 66884 HAS SOUS 32852 HAS SOUPS 31048 WITH SCORE 31132.649
AT ITER 6267 NEW BEST:: SOT 198733 SOS 84611 HAS SOPS 66884 HAS SOUS 32833 HAS SOUPS 31048 WITH SCORE 31132.611
AT ITER 6284 NEW BEST:: SOT 198749 SOS 84627 HAS SOPS 66832 HAS SOUS 32825 HAS SOUPS 31040 WITH SCORE 31124.627
AT ITER 6287 NEW BEST:: SOT 198749 SOS 84621 HAS SOPS 66826 HAS SOUS 32825 HAS SOUPS 31040 WITH SCORE 31124.621
AT ITER 6315 NEW BEST:: SOT 198749 SOS 84621 HAS SOPS 66832 HAS SOUS 32819 HAS SOUPS 31037 WITH SCORE 31121.621
AT ITER 6330 NEW BEST:: SOT 198749 SOS 84621 HAS SOPS 66848 HAS SOUS 32809 HAS SOUPS 31035 WITH SCORE 31119.621
AT ITER 6337 NEW BEST:: SOT 198765 SOS 84637 HAS SOPS 66880 HAS SOUS 32805 HAS SOUPS 31031 WITH SCORE 31115.637
AT ITER 6351 NEW BEST:: SOT 198765 SOS 84605 HAS SOPS 66848 HAS SOUS 32797 HAS SOUPS 31023 WITH SCORE 31107.605
AT ITER 6370 NEW BEST:: SOT 198765 SOS 84581 HAS SOPS 66824 HAS SOUS 32791 HAS SOUPS 31017 WITH SCORE 31101.581
AT ITER 6378 NEW BEST:: SOT 198773 SOS 84589 HAS SOPS 66838 HAS SOUS 32781 HAS SOUPS 31007 WITH SCORE 31091.589
AT ITER 6388 NEW BEST:: SOT 198773 SOS 84565 HAS SOPS 66746 HAS SOUS 32792 HAS SOUPS 30984 WITH SCORE 31068.565
AT ITER 6434 NEW BEST:: SOT 198785 SOS 84595 HAS SOPS 66770 HAS SOUS 32789 HAS SOUPS 30981 WITH SCORE 31065.595
AT ITER 6473 NEW BEST:: SOT 198785 SOS 84597 HAS SOPS 66770 HAS SOUS 32769 HAS SOUPS 30961 WITH SCORE 31045.597
AT ITER 6479 NEW BEST:: SOT 198776 SOS 84386 HAS SOPS 66452 HAS SOUS 32747 HAS SOUPS 30887 WITH SCORE 30971.386
AT ITER 6489 NEW BEST:: SOT 198776 SOS 84414 HAS SOPS 66480 HAS SOUS 32733 HAS SOUPS 30873 WITH SCORE 30957.414
AT ITER 6520 NEW BEST:: SOT 198776 SOS 84487 HAS SOPS 66553 HAS SOUS 32724 HAS SOUPS 30864 WITH SCORE 30948.487
AT ITER 6589 NEW BEST:: SOT 198776 SOS 84427 HAS SOPS 66513 HAS SOUS 32724 HAS SOUPS 30864 WITH SCORE 30948.427
AT ITER 6608 NEW BEST:: SOT 198776 SOS 84411 HAS SOPS 66497 HAS SOUS 32724 HAS SOUPS 30864 WITH SCORE 30948.411
AT ITER 6725 NEW BEST:: SOT 198776 SOS 84367 HAS SOPS 66453 HAS SOUS 32702 HAS SOUPS 30842 WITH SCORE 30926.367
AT ITER 6732 NEW BEST:: SOT 198776 SOS 84367 HAS SOPS 66453 HAS SOUS 32698 HAS SOUPS 30838 WITH SCORE 30922.367
AT ITER 6747 NEW BEST:: SOT 198778 SOS 84369 HAS SOPS 66427 HAS SOUS 32686 HAS SOUPS 30814 WITH SCORE 30898.369
AT ITER 6773 NEW BEST:: SOT 198778 SOS 84321 HAS SOPS 66379 HAS SOUS 32673 HAS SOUPS 30801 WITH SCORE 30885.321
AT ITER 6834 NEW BEST:: SOT 198177 SOS 84130 HAS SOPS 65806 HAS SOUS 32075 HAS SOUPS 30219 WITH SCORE 30303.13
AT ITER 6841 NEW BEST:: SOT 198177 SOS 84128 HAS SOPS 65804 HAS SOUS 32075 HAS SOUPS 30219 WITH SCORE 30303.128
AT ITER 6847 NEW BEST:: SOT 198177 SOS 84098 HAS SOPS 65774 HAS SOUS 32060 HAS SOUPS 30204 WITH SCORE 30288.098
AT ITER 6859 NEW BEST:: SOT 198177 SOS 84096 HAS SOPS 65758 HAS SOUS 32059 HAS SOUPS 30196 WITH SCORE 30280.096
AT ITER 6879 NEW BEST:: SOT 198177 SOS 84096 HAS SOPS 65754 HAS SOUS 32059 HAS SOUPS 30194 WITH SCORE 30278.096
AT ITER 6908 NEW BEST:: SOT 198177 SOS 84092 HAS SOPS 65754 HAS SOUS 32057 HAS SOUPS 30194 WITH SCORE 30278.092
AT ITER 6920 NEW BEST:: SOT 198177 SOS 84086 HAS SOPS 65752 HAS SOUS 32052 HAS SOUPS 30191 WITH SCORE 30275.086
AT ITER 6929 NEW BEST:: SOT 198173 SOS 84082 HAS SOPS 65800 HAS SOUS 32052 HAS SOUPS 30191 WITH SCORE 30275.082
AT ITER 6983 NEW BEST:: SOT 198143 SOS 84052 HAS SOPS 65760 HAS SOUS 32026 HAS SOUPS 30165 WITH SCORE 30249.052
AT ITER 6987 NEW BEST:: SOT 198145 SOS 84054 HAS SOPS 65722 HAS SOUS 32014 HAS SOUPS 30153 WITH SCORE 30237.054
AT ITER 6994 NEW BEST:: SOT 198145 SOS 84006 HAS SOPS 65674 HAS SOUS 32014 HAS SOUPS 30153 WITH SCORE 30237.006
AT ITER 7006 NEW BEST:: SOT 198145 SOS 83998 HAS SOPS 65614 HAS SOUS 32020 HAS SOUPS 30133 WITH SCORE 30216.998
AT ITER 7014 NEW BEST:: SOT 198143 SOS 83984 HAS SOPS 65604 HAS SOUS 32016 HAS SOUPS 30129 WITH SCORE 30212.984
AT ITER 7048 NEW BEST:: SOT 198103 SOS 83864 HAS SOPS 65524 HAS SOUS 31976 HAS SOUPS 30109 WITH SCORE 30192.864
AT ITER 7069 NEW BEST:: SOT 198103 SOS 83816 HAS SOPS 65476 HAS SOUS 31971 HAS SOUPS 30104 WITH SCORE 30187.816
AT ITER 7081 NEW BEST:: SOT 198091 SOS 83804 HAS SOPS 65460 HAS SOUS 31959 HAS SOUPS 30092 WITH SCORE 30175.804
AT ITER 7114 NEW BEST:: SOT 198091 SOS 83778 HAS SOPS 65434 HAS SOUS 31945 HAS SOUPS 30078 WITH SCORE 30161.778
AT ITER 7174 NEW BEST:: SOT 198091 SOS 83778 HAS SOPS 65434 HAS SOUS 31930 HAS SOUPS 30063 WITH SCORE 30146.778
AT ITER 7210 NEW BEST:: SOT 198091 SOS 83774 HAS SOPS 65430 HAS SOUS 31928 HAS SOUPS 30061 WITH SCORE 30144.774
AT ITER 7240 NEW BEST:: SOT 198091 SOS 83804 HAS SOPS 65460 HAS SOUS 31900 HAS SOUPS 30033 WITH SCORE 30116.804
AT ITER 7279 NEW BEST:: SOT 198091 SOS 83780 HAS SOPS 65448 HAS SOUS 31888 HAS SOUPS 30027 WITH SCORE 30110.78
AT ITER 7294 NEW BEST:: SOT 198045 SOS 83734 HAS SOPS 64992 HAS SOUS 31824 HAS SOUPS 29963 WITH SCORE 30046.734
AT ITER 7305 NEW BEST:: SOT 198033 SOS 83722 HAS SOPS 64950 HAS SOUS 31800 HAS SOUPS 29939 WITH SCORE 30022.722
AT ITER 7317 NEW BEST:: SOT 198033 SOS 83692 HAS SOPS 64862 HAS SOUS 31826 HAS SOUPS 29936 WITH SCORE 30019.692
AT ITER 7321 NEW BEST:: SOT 198033 SOS 83452 HAS SOPS 64682 HAS SOUS 31826 HAS SOUPS 29936 WITH SCORE 30019.452
AT ITER 7339 NEW BEST:: SOT 198015 SOS 83434 HAS SOPS 64646 HAS SOUS 31790 HAS SOUPS 29900 WITH SCORE 29983.434
AT ITER 7357 NEW BEST:: SOT 198015 SOS 83390 HAS SOPS 64602 HAS SOUS 31790 HAS SOUPS 29900 WITH SCORE 29983.39
AT ITER 7399 NEW BEST:: SOT 198013 SOS 83372 HAS SOPS 64590 HAS SOUS 31790 HAS SOUPS 29900 WITH SCORE 29983.372
AT ITER 7511 NEW BEST:: SOT 198013 SOS 83360 HAS SOPS 64578 HAS SOUS 31784 HAS SOUPS 29894 WITH SCORE 29977.36
AT ITER 7555 NEW BEST:: SOT 198013 SOS 83352 HAS SOPS 64570 HAS SOUS 31783 HAS SOUPS 29893 WITH SCORE 29976.352
AT ITER 7558 NEW BEST:: SOT 198003 SOS 83332 HAS SOPS 64550 HAS SOUS 31778 HAS SOUPS 29888 WITH SCORE 29971.332
AT ITER 7564 NEW BEST:: SOT 197951 SOS 83280 HAS SOPS 64498 HAS SOUS 31726 HAS SOUPS 29836 WITH SCORE 29919.28
AT ITER 7571 NEW BEST:: SOT 197893 SOS 83422 HAS SOPS 65194 HAS SOUS 31577 HAS SOUPS 29687 WITH SCORE 29770.422
AT ITER 7573 NEW BEST:: SOT 197797 SOS 83326 HAS SOPS 65036 HAS SOUS 31555 HAS SOUPS 29665 WITH SCORE 29748.326
AT ITER 7658 NEW BEST:: SOT 197749 SOS 83278 HAS SOPS 65312 HAS SOUS 31555 HAS SOUPS 29665 WITH SCORE 29748.278
AT ITER 7752 NEW BEST:: SOT 197749 SOS 83272 HAS SOPS 65306 HAS SOUS 31552 HAS SOUPS 29662 WITH SCORE 29745.272
AT ITER 7759 NEW BEST:: SOT 197749 SOS 83388 HAS SOPS 65344 HAS SOUS 31571 HAS SOUPS 29642 WITH SCORE 29725.388
AT ITER 7762 NEW BEST:: SOT 197740 SOS 83377 HAS SOPS 65325 HAS SOUS 31552 HAS SOUPS 29623 WITH SCORE 29706.377
AT ITER 7828 NEW BEST:: SOT 197712 SOS 83281 HAS SOPS 65235 HAS SOUS 31547 HAS SOUPS 29618 WITH SCORE 29701.281
AT ITER 7848 NEW BEST:: SOT 197717 SOS 83286 HAS SOPS 65267 HAS SOUS 31546 HAS SOUPS 29617 WITH SCORE 29700.286
AT ITER 7854 NEW BEST:: SOT 197717 SOS 83274 HAS SOPS 65255 HAS SOUS 31540 HAS SOUPS 29611 WITH SCORE 29694.274
AT ITER 7867 NEW BEST:: SOT 197717 SOS 83264 HAS SOPS 65245 HAS SOUS 31540 HAS SOUPS 29611 WITH SCORE 29694.264
AT ITER 7907 NEW BEST:: SOT 197711 SOS 83258 HAS SOPS 65233 HAS SOUS 31520 HAS SOUPS 29591 WITH SCORE 29674.258
AT ITER 7935 NEW BEST:: SOT 197711 SOS 83240 HAS SOPS 65229 HAS SOUS 31511 HAS SOUPS 29589 WITH SCORE 29672.24
AT ITER 7973 NEW BEST:: SOT 197711 SOS 83230 HAS SOPS 65219 HAS SOUS 31506 HAS SOUPS 29584 WITH SCORE 29667.23
AT ITER 7998 NEW BEST:: SOT 197711 SOS 83226 HAS SOPS 65241 HAS SOUS 31490 HAS SOUPS 29581 WITH SCORE 29664.226
AT ITER 8056 NEW BEST:: SOT 197711 SOS 83216 HAS SOPS 65231 HAS SOUS 31490 HAS SOUPS 29581 WITH SCORE 29664.216
AT ITER 8070 NEW BEST:: SOT 197711 SOS 83212 HAS SOPS 65231 HAS SOUS 31488 HAS SOUPS 29581 WITH SCORE 29664.212
AT ITER 8136 NEW BEST:: SOT 197711 SOS 83212 HAS SOPS 65231 HAS SOUS 31486 HAS SOUPS 29579 WITH SCORE 29662.212
AT ITER 8175 NEW BEST:: SOT 197711 SOS 83292 HAS SOPS 65311 HAS SOUS 31466 HAS SOUPS 29559 WITH SCORE 29642.292
AT ITER 8202 NEW BEST:: SOT 197711 SOS 83238 HAS SOPS 65285 HAS SOUS 31439 HAS SOUPS 29546 WITH SCORE 29629.238
AT ITER 8213 NEW BEST:: SOT 197683 SOS 83176 HAS SOPS 65229 HAS SOUS 31400 HAS SOUPS 29507 WITH SCORE 29590.176
AT ITER 8220 NEW BEST:: SOT 197683 SOS 83168 HAS SOPS 65229 HAS SOUS 31392 HAS SOUPS 29503 WITH SCORE 29586.168
AT ITER 8240 NEW BEST:: SOT 197683 SOS 83160 HAS SOPS 65221 HAS SOUS 31388 HAS SOUPS 29499 WITH SCORE 29582.16
AT ITER 8251 NEW BEST:: SOT 197683 SOS 83158 HAS SOPS 65219 HAS SOUS 31382 HAS SOUPS 29493 WITH SCORE 29576.158
AT ITER 8292 NEW BEST:: SOT 197715 SOS 82804 HAS SOPS 65021 HAS SOUS 31366 HAS SOUPS 29489 WITH SCORE 29571.804
AT ITER 8359 NEW BEST:: SOT 197715 SOS 82780 HAS SOPS 64997 HAS SOUS 31354 HAS SOUPS 29477 WITH SCORE 29559.78
AT ITER 8385 NEW BEST:: SOT 197715 SOS 82834 HAS SOPS 64971 HAS SOUS 31381 HAS SOUPS 29464 WITH SCORE 29546.834
AT ITER 8422 NEW BEST:: SOT 197805 SOS 82154 HAS SOPS 64596 HAS SOUS 31322 HAS SOUPS 29430 WITH SCORE 29512.154
AT ITER 8552 NEW BEST:: SOT 197805 SOS 82182 HAS SOPS 64624 HAS SOUS 31311 HAS SOUPS 29419 WITH SCORE 29501.182
AT ITER 8557 NEW BEST:: SOT 197805 SOS 82244 HAS SOPS 64686 HAS SOUS 31306 HAS SOUPS 29414 WITH SCORE 29496.244
AT ITER 8567 NEW BEST:: SOT 197817 SOS 82294 HAS SOPS 64744 HAS SOUS 31302 HAS SOUPS 29410 WITH SCORE 29492.294
AT ITER 8574 NEW BEST:: SOT 197814 SOS 82280 HAS SOPS 64731 HAS SOUS 31293 HAS SOUPS 29401 WITH SCORE 29483.28
AT ITER 8580 NEW BEST:: SOT 197814 SOS 82289 HAS SOPS 64790 HAS SOUS 31266 HAS SOUPS 29399 WITH SCORE 29481.289
AT ITER 8641 NEW BEST:: SOT 197806 SOS 82281 HAS SOPS 64776 HAS SOUS 31256 HAS SOUPS 29389 WITH SCORE 29471.281
AT ITER 8675 NEW BEST:: SOT 197800 SOS 82275 HAS SOPS 64758 HAS SOUS 31238 HAS SOUPS 29371 WITH SCORE 29453.275
AT ITER 8713 NEW BEST:: SOT 197783 SOS 82258 HAS SOPS 64737 HAS SOUS 31237 HAS SOUPS 29370 WITH SCORE 29452.258
AT ITER 8725 NEW BEST:: SOT 197783 SOS 82250 HAS SOPS 64729 HAS SOUS 31235 HAS SOUPS 29368 WITH SCORE 29450.25
AT ITER 8740 NEW BEST:: SOT 197783 SOS 82244 HAS SOPS 64711 HAS SOUS 31238 HAS SOUPS 29365 WITH SCORE 29447.244
AT ITER 8746 NEW BEST:: SOT 197783 SOS 82230 HAS SOPS 64705 HAS SOUS 31230 HAS SOUPS 29361 WITH SCORE 29443.23
AT ITER 8780 NEW BEST:: SOT 197783 SOS 82244 HAS SOPS 64719 HAS SOUS 31228 HAS SOUPS 29359 WITH SCORE 29441.244
AT ITER 8794 NEW BEST:: SOT 197783 SOS 82232 HAS SOPS 64707 HAS SOUS 31222 HAS SOUPS 29353 WITH SCORE 29435.232
AT ITER 8806 NEW BEST:: SOT 197783 SOS 82230 HAS SOPS 64705 HAS SOUS 31219 HAS SOUPS 29350 WITH SCORE 29432.23
AT ITER 8841 NEW BEST:: SOT 197783 SOS 82212 HAS SOPS 64687 HAS SOUS 31219 HAS SOUPS 29350 WITH SCORE 29432.212
AT ITER 8847 NEW BEST:: SOT 197783 SOS 82212 HAS SOPS 64687 HAS SOUS 31218 HAS SOUPS 29349 WITH SCORE 29431.212
AT ITER 8893 NEW BEST:: SOT 197783 SOS 82254 HAS SOPS 64723 HAS SOUS 31218 HAS SOUPS 29346 WITH SCORE 29428.254
AT ITER 8911 NEW BEST:: SOT 197783 SOS 82232 HAS SOPS 64721 HAS SOUS 31207 HAS SOUPS 29345 WITH SCORE 29427.232
AT ITER 8938 NEW BEST:: SOT 197783 SOS 82186 HAS SOPS 64645 HAS SOUS 31214 HAS SOUPS 29337 WITH SCORE 29419.186
AT ITER 8974 NEW BEST:: SOT 197783 SOS 82086 HAS SOPS 64545 HAS SOUS 31214 HAS SOUPS 29337 WITH SCORE 29419.086
AT ITER 8992 NEW BEST:: SOT 197783 SOS 82002 HAS SOPS 64461 HAS SOUS 31214 HAS SOUPS 29337 WITH SCORE 29419.002
AT ITER 9029 NEW BEST:: SOT 197736 SOS 82257 HAS SOPS 64604 HAS SOUS 31187 HAS SOUPS 29300 WITH SCORE 29382.257
AT ITER 9041 NEW BEST:: SOT 197736 SOS 82255 HAS SOPS 64602 HAS SOUS 31186 HAS SOUPS 29299 WITH SCORE 29381.255
AT ITER 9108 NEW BEST:: SOT 197736 SOS 82363 HAS SOPS 64710 HAS SOUS 31178 HAS SOUPS 29291 WITH SCORE 29373.363
AT ITER 9128 NEW BEST:: SOT 197736 SOS 82317 HAS SOPS 64822 HAS SOUS 31098 HAS SOUPS 29290 WITH SCORE 29372.317
AT ITER 9155 NEW BEST:: SOT 197730 SOS 82311 HAS SOPS 64810 HAS SOUS 31078 HAS SOUPS 29270 WITH SCORE 29352.311
AT ITER 9204 NEW BEST:: SOT 197730 SOS 82263 HAS SOPS 64786 HAS SOUS 31066 HAS SOUPS 29270 WITH SCORE 29352.263
AT ITER 9257 NEW BEST:: SOT 197730 SOS 82261 HAS SOPS 64784 HAS SOUS 31065 HAS SOUPS 29269 WITH SCORE 29351.261
AT ITER 9280 NEW BEST:: SOT 197730 SOS 82275 HAS SOPS 64798 HAS SOUS 31058 HAS SOUPS 29262 WITH SCORE 29344.275
AT ITER 9288 NEW BEST:: SOT 197746 SOS 82131 HAS SOPS 64707 HAS SOUS 31009 HAS SOUPS 29213 WITH SCORE 29295.131
AT ITER 9291 NEW BEST:: SOT 197746 SOS 82107 HAS SOPS 64683 HAS SOUS 30995 HAS SOUPS 29199 WITH SCORE 29281.107
AT ITER 9296 NEW BEST:: SOT 197746 SOS 82103 HAS SOPS 64679 HAS SOUS 30994 HAS SOUPS 29198 WITH SCORE 29280.103
AT ITER 9364 NEW BEST:: SOT 197746 SOS 82055 HAS SOPS 64631 HAS SOUS 30988 HAS SOUPS 29192 WITH SCORE 29274.055
AT ITER 9414 NEW BEST:: SOT 197746 SOS 82011 HAS SOPS 64587 HAS SOUS 30978 HAS SOUPS 29182 WITH SCORE 29264.011
AT ITER 9428 NEW BEST:: SOT 197692 SOS 81957 HAS SOPS 64521 HAS SOUS 30918 HAS SOUPS 29122 WITH SCORE 29203.957
AT ITER 9478 NEW BEST:: SOT 197692 SOS 81871 HAS SOPS 64435 HAS SOUS 30916 HAS SOUPS 29120 WITH SCORE 29201.871
AT ITER 9480 NEW BEST:: SOT 197692 SOS 81847 HAS SOPS 64411 HAS SOUS 30916 HAS SOUPS 29120 WITH SCORE 29201.847
AT ITER 9510 NEW BEST:: SOT 197692 SOS 81843 HAS SOPS 64407 HAS SOUS 30916 HAS SOUPS 29120 WITH SCORE 29201.843
AT ITER 9535 NEW BEST:: SOT 197694 SOS 81845 HAS SOPS 64407 HAS SOUS 30912 HAS SOUPS 29116 WITH SCORE 29197.845
AT ITER 9548 NEW BEST:: SOT 197694 SOS 81839 HAS SOPS 64401 HAS SOUS 30906 HAS SOUPS 29110 WITH SCORE 29191.839
AT ITER 9557 NEW BEST:: SOT 197692 SOS 81837 HAS SOPS 64373 HAS SOUS 30892 HAS SOUPS 29096 WITH SCORE 29177.837
AT ITER 9569 NEW BEST:: SOT 197692 SOS 81799 HAS SOPS 64335 HAS SOUS 30892 HAS SOUPS 29096 WITH SCORE 29177.799
AT ITER 9585 NEW BEST:: SOT 197692 SOS 81761 HAS SOPS 64335 HAS SOUS 30873 HAS SOUPS 29096 WITH SCORE 29177.761
AT ITER 9597 NEW BEST:: SOT 197692 SOS 81745 HAS SOPS 64319 HAS SOUS 30873 HAS SOUPS 29096 WITH SCORE 29177.745
AT ITER 9630 NEW BEST:: SOT 197692 SOS 81741 HAS SOPS 64315 HAS SOUS 30873 HAS SOUPS 29096 WITH SCORE 29177.741
AT ITER 9679 NEW BEST:: SOT 197692 SOS 81731 HAS SOPS 64305 HAS SOUS 30873 HAS SOUPS 29096 WITH SCORE 29177.731
AT ITER 9804 NEW BEST:: SOT 197692 SOS 81713 HAS SOPS 64287 HAS SOUS 30869 HAS SOUPS 29092 WITH SCORE 29173.713
AT ITER 9871 NEW BEST:: SOT 197692 SOS 81705 HAS SOPS 64275 HAS SOUS 30865 HAS SOUPS 29086 WITH SCORE 29167.705
AT ITER 9875 NEW BEST:: SOT 197692 SOS 81681 HAS SOPS 64227 HAS SOUS 30877 HAS SOUPS 29086 WITH SCORE 29167.681
AT ITER 9885 NEW BEST:: SOT 197692 SOS 81627 HAS SOPS 64173 HAS SOUS 30891 HAS SOUPS 29086 WITH SCORE 29167.627
AT ITER 9986 NEW BEST:: SOT 197692 SOS 81623 HAS SOPS 64173 HAS SOUS 30887 HAS SOUPS 29084 WITH SCORE 29165.623
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 12811636 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16155576 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="FunctionPointer-PT-b128"
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 FunctionPointer-PT-b128, 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 r163-tall-167838848200712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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