Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250900728.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Peterson-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250900728
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 20K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 144K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 33K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 111K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 32K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 42K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 138K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.0K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 511K Apr 27 15:14 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 1589646496525

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 480 places, 690 transitions, 2120 arcs.
AT ITER 0 NEW BEST:: SOT 232065 SOS 98737 HAS SOPS 92617 HAS SOUS 93350 HAS SOUPS 89750 WITH SCORE 89848.737
AT ITER 3 NEW BEST:: SOT 231556 SOS 98344 HAS SOPS 92108 HAS SOUS 93121 HAS SOUPS 89450 WITH SCORE 89548.344
AT ITER 4 NEW BEST:: SOT 231556 SOS 98286 HAS SOPS 92050 HAS SOUS 93121 HAS SOUPS 89450 WITH SCORE 89548.286
AT ITER 7 NEW BEST:: SOT 231469 SOS 98112 HAS SOPS 91876 HAS SOUS 92947 HAS SOUPS 89276 WITH SCORE 89374.112
AT ITER 11 NEW BEST:: SOT 232016 SOS 98850 HAS SOPS 91814 HAS SOUS 92951 HAS SOUPS 89214 WITH SCORE 89312.85
AT ITER 18 NEW BEST:: SOT 232005 SOS 98828 HAS SOPS 91792 HAS SOUS 92929 HAS SOUPS 89192 WITH SCORE 89290.828
AT ITER 24 NEW BEST:: SOT 231942 SOS 98649 HAS SOPS 91786 HAS SOUS 92705 HAS SOUPS 89031 WITH SCORE 89129.649
AT ITER 28 NEW BEST:: SOT 231811 SOS 98642 HAS SOPS 91779 HAS SOUS 92529 HAS SOUPS 88855 WITH SCORE 88953.642
AT ITER 29 NEW BEST:: SOT 231750 SOS 98256 HAS SOPS 91593 HAS SOUS 91878 HAS SOUPS 88265 WITH SCORE 88363.256
AT ITER 33 NEW BEST:: SOT 231696 SOS 98204 HAS SOPS 91541 HAS SOUS 91822 HAS SOUPS 88209 WITH SCORE 88307.204
AT ITER 37 NEW BEST:: SOT 231696 SOS 98127 HAS SOPS 91541 HAS SOUS 91822 HAS SOUPS 88209 WITH SCORE 88307.127
AT ITER 39 NEW BEST:: SOT 231696 SOS 98106 HAS SOPS 91520 HAS SOUS 91822 HAS SOUPS 88209 WITH SCORE 88307.106
AT ITER 41 NEW BEST:: SOT 231630 SOS 97974 HAS SOPS 91388 HAS SOUS 91690 HAS SOUPS 88077 WITH SCORE 88174.974
AT ITER 53 NEW BEST:: SOT 231823 SOS 100600 HAS SOPS 91054 HAS SOUS 91582 HAS SOUPS 87789 WITH SCORE 87889.6
AT ITER 55 NEW BEST:: SOT 231786 SOS 100599 HAS SOPS 91015 HAS SOUS 91563 HAS SOUPS 87770 WITH SCORE 87870.599
AT ITER 59 NEW BEST:: SOT 231774 SOS 100802 HAS SOPS 91247 HAS SOUS 91547 HAS SOUPS 87754 WITH SCORE 87854.802
AT ITER 62 NEW BEST:: SOT 231705 SOS 100664 HAS SOPS 91109 HAS SOUS 91409 HAS SOUPS 87616 WITH SCORE 87716.664
AT ITER 66 NEW BEST:: SOT 231692 SOS 100595 HAS SOPS 90739 HAS SOUS 91082 HAS SOUPS 87289 WITH SCORE 87389.595
AT ITER 68 NEW BEST:: SOT 231617 SOS 100492 HAS SOPS 90639 HAS SOUS 91010 HAS SOUPS 87217 WITH SCORE 87317.492
AT ITER 69 NEW BEST:: SOT 229857 SOS 98418 HAS SOPS 89497 HAS SOUS 88797 HAS SOUPS 85382 WITH SCORE 85480.418
AT ITER 75 NEW BEST:: SOT 229826 SOS 98387 HAS SOPS 89435 HAS SOUS 88735 HAS SOUPS 85320 WITH SCORE 85418.387
AT ITER 76 NEW BEST:: SOT 229598 SOS 98032 HAS SOPS 89096 HAS SOUS 88340 HAS SOUPS 84925 WITH SCORE 85023.032
AT ITER 77 NEW BEST:: SOT 229551 SOS 98057 HAS SOPS 89121 HAS SOUS 88293 HAS SOUPS 84878 WITH SCORE 84976.057
AT ITER 78 NEW BEST:: SOT 229541 SOS 98017 HAS SOPS 89021 HAS SOUS 88193 HAS SOUPS 84778 WITH SCORE 84876.017
AT ITER 95 NEW BEST:: SOT 229456 SOS 97992 HAS SOPS 88996 HAS SOUS 88105 HAS SOUPS 84690 WITH SCORE 84787.992
AT ITER 98 NEW BEST:: SOT 229456 SOS 97913 HAS SOPS 88917 HAS SOUS 88105 HAS SOUPS 84690 WITH SCORE 84787.913
AT ITER 99 NEW BEST:: SOT 229437 SOS 97772 HAS SOPS 88840 HAS SOUS 88021 HAS SOUPS 84638 WITH SCORE 84735.772
AT ITER 100 NEW BEST:: SOT 229406 SOS 97801 HAS SOPS 88834 HAS SOUS 88094 HAS SOUPS 84572 WITH SCORE 84669.801
AT ITER 106 NEW BEST:: SOT 229298 SOS 95642 HAS SOPS 88602 HAS SOUS 87735 HAS SOUPS 84337 WITH SCORE 84432.642
AT ITER 114 NEW BEST:: SOT 229177 SOS 95400 HAS SOPS 88360 HAS SOUS 87493 HAS SOUPS 84095 WITH SCORE 84190.4
AT ITER 122 NEW BEST:: SOT 229163 SOS 95372 HAS SOPS 88332 HAS SOUS 87465 HAS SOUPS 84067 WITH SCORE 84162.372
AT ITER 128 NEW BEST:: SOT 229163 SOS 95343 HAS SOPS 88332 HAS SOUS 87465 HAS SOUPS 84067 WITH SCORE 84162.343
AT ITER 129 NEW BEST:: SOT 229135 SOS 95287 HAS SOPS 88276 HAS SOUS 87409 HAS SOUPS 84011 WITH SCORE 84106.287
AT ITER 133 NEW BEST:: SOT 229135 SOS 95241 HAS SOPS 88230 HAS SOUS 87409 HAS SOUPS 84011 WITH SCORE 84106.241
AT ITER 144 NEW BEST:: SOT 229084 SOS 95114 HAS SOPS 88128 HAS SOUS 87307 HAS SOUPS 83909 WITH SCORE 84004.114
AT ITER 145 NEW BEST:: SOT 228983 SOS 94912 HAS SOPS 87926 HAS SOUS 87105 HAS SOUPS 83707 WITH SCORE 83801.912
AT ITER 149 NEW BEST:: SOT 228905 SOS 94553 HAS SOPS 87770 HAS SOUS 86949 HAS SOUPS 83551 WITH SCORE 83645.553
AT ITER 151 NEW BEST:: SOT 228752 SOS 94247 HAS SOPS 87464 HAS SOUS 86643 HAS SOUPS 83245 WITH SCORE 83339.247
AT ITER 155 NEW BEST:: SOT 228740 SOS 94223 HAS SOPS 87440 HAS SOUS 86619 HAS SOUPS 83221 WITH SCORE 83315.223
AT ITER 158 NEW BEST:: SOT 228623 SOS 93989 HAS SOPS 87206 HAS SOUS 86385 HAS SOUPS 82987 WITH SCORE 83080.989
AT ITER 162 NEW BEST:: SOT 228623 SOS 93945 HAS SOPS 87162 HAS SOUS 86385 HAS SOUPS 82987 WITH SCORE 83080.945
AT ITER 165 NEW BEST:: SOT 228605 SOS 93909 HAS SOPS 87126 HAS SOUS 86349 HAS SOUPS 82951 WITH SCORE 83044.909
AT ITER 167 NEW BEST:: SOT 228845 SOS 94389 HAS SOPS 86866 HAS SOUS 86125 HAS SOUPS 82691 WITH SCORE 82785.389
AT ITER 169 NEW BEST:: SOT 228845 SOS 94392 HAS SOPS 86869 HAS SOUS 86124 HAS SOUPS 82690 WITH SCORE 82784.392
AT ITER 173 NEW BEST:: SOT 228934 SOS 94359 HAS SOPS 87076 HAS SOUS 85962 HAS SOUPS 82677 WITH SCORE 82771.359
AT ITER 183 NEW BEST:: SOT 229052 SOS 94389 HAS SOPS 86556 HAS SOUS 85449 HAS SOUPS 82128 WITH SCORE 82222.389
AT ITER 190 NEW BEST:: SOT 229052 SOS 94323 HAS SOPS 86556 HAS SOUS 85449 HAS SOUPS 82128 WITH SCORE 82222.323
AT ITER 194 NEW BEST:: SOT 229037 SOS 94293 HAS SOPS 86526 HAS SOUS 85419 HAS SOUPS 82098 WITH SCORE 82192.293
AT ITER 197 NEW BEST:: SOT 229212 SOS 94468 HAS SOPS 86590 HAS SOUS 85417 HAS SOUPS 82096 WITH SCORE 82190.468
AT ITER 209 NEW BEST:: SOT 229170 SOS 94418 HAS SOPS 86512 HAS SOUS 85361 HAS SOUPS 82040 WITH SCORE 82134.418
AT ITER 213 NEW BEST:: SOT 229170 SOS 94241 HAS SOPS 86335 HAS SOUS 85361 HAS SOUPS 82040 WITH SCORE 82134.241
AT ITER 215 NEW BEST:: SOT 229143 SOS 94187 HAS SOPS 86281 HAS SOUS 85307 HAS SOUPS 81986 WITH SCORE 82080.187
AT ITER 216 NEW BEST:: SOT 229130 SOS 94161 HAS SOPS 86255 HAS SOUS 85281 HAS SOUPS 81960 WITH SCORE 82054.161
AT ITER 217 NEW BEST:: SOT 229130 SOS 94090 HAS SOPS 86184 HAS SOUS 85281 HAS SOUPS 81960 WITH SCORE 82054.09
AT ITER 218 NEW BEST:: SOT 229130 SOS 93979 HAS SOPS 85545 HAS SOUS 84753 HAS SOUPS 81432 WITH SCORE 81525.979
AT ITER 219 NEW BEST:: SOT 229027 SOS 93588 HAS SOPS 85339 HAS SOUS 84547 HAS SOUPS 81226 WITH SCORE 81319.588
AT ITER 233 NEW BEST:: SOT 228994 SOS 93541 HAS SOPS 85259 HAS SOUS 84515 HAS SOUPS 81194 WITH SCORE 81287.541
AT ITER 234 NEW BEST:: SOT 228979 SOS 93640 HAS SOPS 85358 HAS SOUS 84509 HAS SOUPS 81188 WITH SCORE 81281.64
AT ITER 236 NEW BEST:: SOT 228921 SOS 93524 HAS SOPS 85242 HAS SOUS 84393 HAS SOUPS 81072 WITH SCORE 81165.524
AT ITER 239 NEW BEST:: SOT 227242 SOS 92410 HAS SOPS 84381 HAS SOUS 82995 HAS SOUPS 79674 WITH SCORE 79766.41
AT ITER 255 NEW BEST:: SOT 227304 SOS 92534 HAS SOPS 84209 HAS SOUS 82823 HAS SOUPS 79502 WITH SCORE 79594.534
AT ITER 257 NEW BEST:: SOT 227186 SOS 92666 HAS SOPS 84207 HAS SOUS 82672 HAS SOUPS 79351 WITH SCORE 79443.666
AT ITER 258 NEW BEST:: SOT 227117 SOS 92528 HAS SOPS 84069 HAS SOUS 82534 HAS SOUPS 79213 WITH SCORE 79305.528
AT ITER 261 NEW BEST:: SOT 227105 SOS 92520 HAS SOPS 84061 HAS SOUS 82526 HAS SOUPS 79205 WITH SCORE 79297.52
AT ITER 264 NEW BEST:: SOT 227058 SOS 92463 HAS SOPS 84050 HAS SOUS 82479 HAS SOUPS 79158 WITH SCORE 79250.463
AT ITER 266 NEW BEST:: SOT 227058 SOS 92463 HAS SOPS 84045 HAS SOUS 82479 HAS SOUPS 79153 WITH SCORE 79245.463
AT ITER 268 NEW BEST:: SOT 227019 SOS 92444 HAS SOPS 84026 HAS SOUS 82441 HAS SOUPS 79115 WITH SCORE 79207.444
AT ITER 270 NEW BEST:: SOT 226767 SOS 91935 HAS SOPS 83517 HAS SOUS 81937 HAS SOUPS 78611 WITH SCORE 78702.935
AT ITER 272 NEW BEST:: SOT 226767 SOS 91925 HAS SOPS 83517 HAS SOUS 81937 HAS SOUPS 78611 WITH SCORE 78702.925
AT ITER 279 NEW BEST:: SOT 226653 SOS 91697 HAS SOPS 83289 HAS SOUS 81709 HAS SOUPS 78383 WITH SCORE 78474.697
AT ITER 282 NEW BEST:: SOT 226644 SOS 91679 HAS SOPS 83271 HAS SOUS 81691 HAS SOUPS 78365 WITH SCORE 78456.679
AT ITER 287 NEW BEST:: SOT 226587 SOS 91565 HAS SOPS 83157 HAS SOUS 81577 HAS SOUPS 78251 WITH SCORE 78342.565
AT ITER 291 NEW BEST:: SOT 226548 SOS 92933 HAS SOPS 84543 HAS SOUS 81554 HAS SOUPS 78228 WITH SCORE 78320.933
AT ITER 293 NEW BEST:: SOT 226391 SOS 92427 HAS SOPS 84229 HAS SOUS 81240 HAS SOUPS 77914 WITH SCORE 78006.427
AT ITER 297 NEW BEST:: SOT 225772 SOS 92236 HAS SOPS 84194 HAS SOUS 80791 HAS SOUPS 77465 WITH SCORE 77557.236
AT ITER 299 NEW BEST:: SOT 224563 SOS 92866 HAS SOPS 85085 HAS SOUS 80343 HAS SOUPS 77017 WITH SCORE 77109.866
AT ITER 309 NEW BEST:: SOT 224359 SOS 92608 HAS SOPS 84845 HAS SOUS 80062 HAS SOUPS 76736 WITH SCORE 76828.608
AT ITER 312 NEW BEST:: SOT 223868 SOS 92128 HAS SOPS 84301 HAS SOUS 79630 HAS SOUPS 76251 WITH SCORE 76343.128
AT ITER 313 NEW BEST:: SOT 223832 SOS 92056 HAS SOPS 84229 HAS SOUS 79558 HAS SOUPS 76179 WITH SCORE 76271.056
AT ITER 315 NEW BEST:: SOT 224969 SOS 92858 HAS SOPS 85382 HAS SOUS 79091 HAS SOUPS 75878 WITH SCORE 75970.858
AT ITER 325 NEW BEST:: SOT 224921 SOS 92762 HAS SOPS 85286 HAS SOUS 78995 HAS SOUPS 75782 WITH SCORE 75874.762
AT ITER 327 NEW BEST:: SOT 224799 SOS 92422 HAS SOPS 84946 HAS SOUS 78655 HAS SOUPS 75442 WITH SCORE 75534.422
AT ITER 335 NEW BEST:: SOT 224697 SOS 92380 HAS SOPS 84904 HAS SOUS 78463 HAS SOUPS 75250 WITH SCORE 75342.38
AT ITER 337 NEW BEST:: SOT 224680 SOS 92346 HAS SOPS 84870 HAS SOUS 78429 HAS SOUPS 75216 WITH SCORE 75308.346
AT ITER 338 NEW BEST:: SOT 224625 SOS 92340 HAS SOPS 84864 HAS SOUS 78354 HAS SOUPS 75141 WITH SCORE 75233.34
AT ITER 340 NEW BEST:: SOT 224546 SOS 92182 HAS SOPS 84706 HAS SOUS 78196 HAS SOUPS 74983 WITH SCORE 75075.182
AT ITER 341 NEW BEST:: SOT 224517 SOS 92124 HAS SOPS 84648 HAS SOUS 78138 HAS SOUPS 74925 WITH SCORE 75017.124
AT ITER 346 NEW BEST:: SOT 224517 SOS 92314 HAS SOPS 84838 HAS SOUS 78085 HAS SOUPS 74872 WITH SCORE 74964.314
AT ITER 347 NEW BEST:: SOT 224504 SOS 92301 HAS SOPS 84825 HAS SOUS 78061 HAS SOUPS 74848 WITH SCORE 74940.301
AT ITER 352 NEW BEST:: SOT 224380 SOS 91887 HAS SOPS 84411 HAS SOUS 77813 HAS SOUPS 74600 WITH SCORE 74691.887
AT ITER 360 NEW BEST:: SOT 224365 SOS 91857 HAS SOPS 84381 HAS SOUS 77783 HAS SOUPS 74570 WITH SCORE 74661.857
AT ITER 364 NEW BEST:: SOT 224354 SOS 91781 HAS SOPS 84251 HAS SOUS 77707 HAS SOUPS 74494 WITH SCORE 74585.781
AT ITER 367 NEW BEST:: SOT 224354 SOS 91682 HAS SOPS 84152 HAS SOUS 77707 HAS SOUPS 74494 WITH SCORE 74585.682
AT ITER 371 NEW BEST:: SOT 224224 SOS 91499 HAS SOPS 83911 HAS SOUS 77581 HAS SOUPS 74368 WITH SCORE 74459.499
AT ITER 374 NEW BEST:: SOT 223982 SOS 91156 HAS SOPS 83568 HAS SOUS 77165 HAS SOUPS 73952 WITH SCORE 74043.156
AT ITER 375 NEW BEST:: SOT 222943 SOS 90624 HAS SOPS 83036 HAS SOUS 76325 HAS SOUPS 73112 WITH SCORE 73202.624
AT ITER 377 NEW BEST:: SOT 222710 SOS 90158 HAS SOPS 82570 HAS SOUS 75859 HAS SOUPS 72646 WITH SCORE 72736.158
AT ITER 380 NEW BEST:: SOT 222633 SOS 90086 HAS SOPS 82498 HAS SOUS 75705 HAS SOUPS 72492 WITH SCORE 72582.086
AT ITER 394 NEW BEST:: SOT 222633 SOS 90074 HAS SOPS 82471 HAS SOUS 75678 HAS SOUPS 72465 WITH SCORE 72555.074
AT ITER 409 NEW BEST:: SOT 222624 SOS 90000 HAS SOPS 82397 HAS SOUS 75660 HAS SOUPS 72447 WITH SCORE 72537.0
AT ITER 412 NEW BEST:: SOT 222531 SOS 89814 HAS SOPS 82211 HAS SOUS 75474 HAS SOUPS 72261 WITH SCORE 72350.814
AT ITER 418 NEW BEST:: SOT 222552 SOS 89756 HAS SOPS 81988 HAS SOUS 75306 HAS SOUPS 72093 WITH SCORE 72182.756
AT ITER 421 NEW BEST:: SOT 221390 SOS 88810 HAS SOPS 81309 HAS SOUS 74563 HAS SOUPS 71350 WITH SCORE 71438.81
AT ITER 422 NEW BEST:: SOT 221401 SOS 88651 HAS SOPS 81150 HAS SOUS 74454 HAS SOUPS 71241 WITH SCORE 71329.651
AT ITER 424 NEW BEST:: SOT 221368 SOS 88585 HAS SOPS 81084 HAS SOUS 74388 HAS SOUPS 71175 WITH SCORE 71263.585
AT ITER 427 NEW BEST:: SOT 221364 SOS 88577 HAS SOPS 81076 HAS SOUS 74380 HAS SOUPS 71167 WITH SCORE 71255.577
AT ITER 431 NEW BEST:: SOT 221409 SOS 88412 HAS SOPS 81147 HAS SOUS 74094 HAS SOUPS 70936 WITH SCORE 71024.412
AT ITER 439 NEW BEST:: SOT 221313 SOS 88540 HAS SOPS 81275 HAS SOUS 74049 HAS SOUPS 70891 WITH SCORE 70979.54
AT ITER 445 NEW BEST:: SOT 221284 SOS 88482 HAS SOPS 81217 HAS SOUS 73991 HAS SOUPS 70833 WITH SCORE 70921.482
AT ITER 454 NEW BEST:: SOT 220341 SOS 88122 HAS SOPS 80336 HAS SOUS 73797 HAS SOUPS 70530 WITH SCORE 70618.122
AT ITER 458 NEW BEST:: SOT 220313 SOS 87999 HAS SOPS 80172 HAS SOUS 73633 HAS SOUPS 70366 WITH SCORE 70453.999
AT ITER 461 NEW BEST:: SOT 220289 SOS 87951 HAS SOPS 80124 HAS SOUS 73599 HAS SOUPS 70332 WITH SCORE 70419.951
AT ITER 466 NEW BEST:: SOT 219743 SOS 87563 HAS SOPS 79594 HAS SOUS 73387 HAS SOUPS 70028 WITH SCORE 70115.563
AT ITER 470 NEW BEST:: SOT 219733 SOS 87513 HAS SOPS 79544 HAS SOUS 73367 HAS SOUPS 70008 WITH SCORE 70095.513
AT ITER 480 NEW BEST:: SOT 219638 SOS 87472 HAS SOPS 79503 HAS SOUS 73265 HAS SOUPS 69906 WITH SCORE 69993.472
AT ITER 487 NEW BEST:: SOT 219601 SOS 87398 HAS SOPS 79429 HAS SOUS 73191 HAS SOUPS 69832 WITH SCORE 69919.398
AT ITER 490 NEW BEST:: SOT 219510 SOS 87252 HAS SOPS 79283 HAS SOUS 73146 HAS SOUPS 69787 WITH SCORE 69874.252
AT ITER 495 NEW BEST:: SOT 219505 SOS 87247 HAS SOPS 79273 HAS SOUS 73136 HAS SOUPS 69777 WITH SCORE 69864.247
AT ITER 504 NEW BEST:: SOT 219413 SOS 87060 HAS SOPS 79086 HAS SOUS 72949 HAS SOUPS 69590 WITH SCORE 69677.06
AT ITER 509 NEW BEST:: SOT 219397 SOS 87044 HAS SOPS 79086 HAS SOUS 72933 HAS SOUPS 69590 WITH SCORE 69677.044
AT ITER 512 NEW BEST:: SOT 219356 SOS 86962 HAS SOPS 79004 HAS SOUS 72851 HAS SOUPS 69508 WITH SCORE 69594.962
AT ITER 524 NEW BEST:: SOT 219327 SOS 86931 HAS SOPS 78917 HAS SOUS 72764 HAS SOUPS 69421 WITH SCORE 69507.931
AT ITER 528 NEW BEST:: SOT 219305 SOS 87151 HAS SOPS 79137 HAS SOUS 72762 HAS SOUPS 69419 WITH SCORE 69506.151
AT ITER 533 NEW BEST:: SOT 219290 SOS 87121 HAS SOPS 79107 HAS SOUS 72732 HAS SOUPS 69389 WITH SCORE 69476.121
AT ITER 536 NEW BEST:: SOT 219345 SOS 86937 HAS SOPS 79132 HAS SOUS 72630 HAS SOUPS 69317 WITH SCORE 69403.937
AT ITER 542 NEW BEST:: SOT 219330 SOS 86907 HAS SOPS 79102 HAS SOUS 72600 HAS SOUPS 69287 WITH SCORE 69373.907
AT ITER 554 NEW BEST:: SOT 219230 SOS 86707 HAS SOPS 78902 HAS SOUS 72400 HAS SOUPS 69087 WITH SCORE 69173.707
AT ITER 556 NEW BEST:: SOT 219230 SOS 86707 HAS SOPS 78893 HAS SOUS 72391 HAS SOUPS 69078 WITH SCORE 69164.707
AT ITER 557 NEW BEST:: SOT 219147 SOS 86641 HAS SOPS 78777 HAS SOUS 72275 HAS SOUPS 68962 WITH SCORE 69048.641
AT ITER 561 NEW BEST:: SOT 219164 SOS 86582 HAS SOPS 78718 HAS SOUS 72250 HAS SOUPS 68937 WITH SCORE 69023.582
AT ITER 566 NEW BEST:: SOT 219690 SOS 85835 HAS SOPS 78706 HAS SOUS 70907 HAS SOUPS 67800 WITH SCORE 67885.835
AT ITER 569 NEW BEST:: SOT 219686 SOS 85886 HAS SOPS 78757 HAS SOUS 70899 HAS SOUPS 67792 WITH SCORE 67877.886
AT ITER 574 NEW BEST:: SOT 219671 SOS 85865 HAS SOPS 78724 HAS SOUS 70866 HAS SOUPS 67759 WITH SCORE 67844.865
AT ITER 594 NEW BEST:: SOT 219660 SOS 85834 HAS SOPS 78693 HAS SOUS 70835 HAS SOUPS 67728 WITH SCORE 67813.834
AT ITER 596 NEW BEST:: SOT 219660 SOS 85717 HAS SOPS 78693 HAS SOUS 70835 HAS SOUPS 67728 WITH SCORE 67813.717
AT ITER 598 NEW BEST:: SOT 220046 SOS 85710 HAS SOPS 79255 HAS SOUS 70417 HAS SOUPS 67474 WITH SCORE 67559.71
AT ITER 606 NEW BEST:: SOT 220023 SOS 85664 HAS SOPS 79209 HAS SOUS 70371 HAS SOUPS 67428 WITH SCORE 67513.664
AT ITER 612 NEW BEST:: SOT 219906 SOS 85430 HAS SOPS 78975 HAS SOUS 70137 HAS SOUPS 67194 WITH SCORE 67279.43
AT ITER 618 NEW BEST:: SOT 219891 SOS 85378 HAS SOPS 78923 HAS SOUS 70101 HAS SOUPS 67158 WITH SCORE 67243.378
AT ITER 650 NEW BEST:: SOT 219827 SOS 85250 HAS SOPS 78795 HAS SOUS 69973 HAS SOUPS 67030 WITH SCORE 67115.25
AT ITER 658 NEW BEST:: SOT 219796 SOS 85202 HAS SOPS 78747 HAS SOUS 69925 HAS SOUPS 66982 WITH SCORE 67067.202
AT ITER 662 NEW BEST:: SOT 219784 SOS 85178 HAS SOPS 78723 HAS SOUS 69901 HAS SOUPS 66958 WITH SCORE 67043.178
AT ITER 663 NEW BEST:: SOT 219715 SOS 85071 HAS SOPS 78730 HAS SOUS 69865 HAS SOUPS 66922 WITH SCORE 67007.071
AT ITER 664 NEW BEST:: SOT 219711 SOS 85063 HAS SOPS 78722 HAS SOUS 69823 HAS SOUPS 66880 WITH SCORE 66965.063
AT ITER 669 NEW BEST:: SOT 219533 SOS 84707 HAS SOPS 78366 HAS SOUS 69467 HAS SOUPS 66524 WITH SCORE 66608.707
AT ITER 671 NEW BEST:: SOT 219184 SOS 84419 HAS SOPS 78132 HAS SOUS 69212 HAS SOUPS 66290 WITH SCORE 66374.419
AT ITER 683 NEW BEST:: SOT 219080 SOS 84211 HAS SOPS 77924 HAS SOUS 69004 HAS SOUPS 66082 WITH SCORE 66166.211
AT ITER 695 NEW BEST:: SOT 219075 SOS 84201 HAS SOPS 77914 HAS SOUS 68999 HAS SOUPS 66077 WITH SCORE 66161.201
AT ITER 711 NEW BEST:: SOT 218926 SOS 83903 HAS SOPS 77616 HAS SOUS 68701 HAS SOUPS 65779 WITH SCORE 65862.903
AT ITER 713 NEW BEST:: SOT 218905 SOS 83860 HAS SOPS 77573 HAS SOUS 68639 HAS SOUPS 65717 WITH SCORE 65800.86
AT ITER 719 NEW BEST:: SOT 218929 SOS 83609 HAS SOPS 77540 HAS SOUS 68459 HAS SOUPS 65582 WITH SCORE 65665.609
AT ITER 738 NEW BEST:: SOT 218866 SOS 83304 HAS SOPS 77235 HAS SOUS 68294 HAS SOUPS 65417 WITH SCORE 65500.304
AT ITER 741 NEW BEST:: SOT 218829 SOS 83252 HAS SOPS 77161 HAS SOUS 68220 HAS SOUPS 65343 WITH SCORE 65426.252
AT ITER 754 NEW BEST:: SOT 218606 SOS 83188 HAS SOPS 76906 HAS SOUS 68182 HAS SOUPS 65253 WITH SCORE 65336.188
AT ITER 760 NEW BEST:: SOT 218536 SOS 83052 HAS SOPS 76723 HAS SOUS 68088 HAS SOUPS 65159 WITH SCORE 65242.052
AT ITER 762 NEW BEST:: SOT 218556 SOS 82836 HAS SOPS 76691 HAS SOUS 67720 HAS SOUPS 64843 WITH SCORE 64925.836
AT ITER 787 NEW BEST:: SOT 218520 SOS 82782 HAS SOPS 76619 HAS SOUS 67648 HAS SOUPS 64771 WITH SCORE 64853.782
AT ITER 802 NEW BEST:: SOT 218520 SOS 82418 HAS SOPS 76255 HAS SOUS 67648 HAS SOUPS 64771 WITH SCORE 64853.418
AT ITER 804 NEW BEST:: SOT 218300 SOS 82320 HAS SOPS 76055 HAS SOUS 67493 HAS SOUPS 64582 WITH SCORE 64664.32
AT ITER 809 NEW BEST:: SOT 218293 SOS 82313 HAS SOPS 76041 HAS SOUS 67479 HAS SOUPS 64568 WITH SCORE 64650.313
AT ITER 815 NEW BEST:: SOT 218257 SOS 82186 HAS SOPS 75914 HAS SOUS 67407 HAS SOUPS 64496 WITH SCORE 64578.186
AT ITER 838 NEW BEST:: SOT 218099 SOS 82048 HAS SOPS 75868 HAS SOUS 67361 HAS SOUPS 64450 WITH SCORE 64532.048
AT ITER 845 NEW BEST:: SOT 218014 SOS 81878 HAS SOPS 75698 HAS SOUS 67191 HAS SOUPS 64280 WITH SCORE 64361.878
AT ITER 849 NEW BEST:: SOT 217857 SOS 81648 HAS SOPS 75384 HAS SOUS 66877 HAS SOUPS 63966 WITH SCORE 64047.648
AT ITER 850 NEW BEST:: SOT 217837 SOS 81508 HAS SOPS 75294 HAS SOUS 66837 HAS SOUPS 63926 WITH SCORE 64007.508
AT ITER 855 NEW BEST:: SOT 217698 SOS 81339 HAS SOPS 75075 HAS SOUS 66639 HAS SOUPS 63728 WITH SCORE 63809.339
AT ITER 859 NEW BEST:: SOT 217676 SOS 81301 HAS SOPS 75037 HAS SOUS 66507 HAS SOUPS 63596 WITH SCORE 63677.301
AT ITER 860 NEW BEST:: SOT 217622 SOS 81251 HAS SOPS 74987 HAS SOUS 66457 HAS SOUPS 63546 WITH SCORE 63627.251
AT ITER 864 NEW BEST:: SOT 217576 SOS 81197 HAS SOPS 74895 HAS SOUS 66365 HAS SOUPS 63454 WITH SCORE 63535.197
AT ITER 865 NEW BEST:: SOT 217571 SOS 81187 HAS SOPS 74885 HAS SOUS 66355 HAS SOUPS 63444 WITH SCORE 63525.187
AT ITER 874 NEW BEST:: SOT 217562 SOS 81160 HAS SOPS 74858 HAS SOUS 66337 HAS SOUPS 63426 WITH SCORE 63507.16
AT ITER 879 NEW BEST:: SOT 217552 SOS 81140 HAS SOPS 74838 HAS SOUS 66317 HAS SOUPS 63406 WITH SCORE 63487.14
AT ITER 883 NEW BEST:: SOT 217278 SOS 80900 HAS SOPS 74598 HAS SOUS 66056 HAS SOUPS 63145 WITH SCORE 63225.9
AT ITER 884 NEW BEST:: SOT 217278 SOS 80789 HAS SOPS 74487 HAS SOUS 66003 HAS SOUPS 63092 WITH SCORE 63172.789
AT ITER 895 NEW BEST:: SOT 216683 SOS 80256 HAS SOPS 73788 HAS SOUS 66053 HAS SOUPS 63080 WITH SCORE 63160.256
AT ITER 916 NEW BEST:: SOT 216740 SOS 80106 HAS SOPS 73538 HAS SOUS 65976 HAS SOUPS 63003 WITH SCORE 63083.106
AT ITER 924 NEW BEST:: SOT 216674 SOS 79974 HAS SOPS 73406 HAS SOUS 65844 HAS SOUPS 62871 WITH SCORE 62950.974
AT ITER 927 NEW BEST:: SOT 216686 SOS 79986 HAS SOPS 73404 HAS SOUS 65842 HAS SOUPS 62869 WITH SCORE 62948.986
AT ITER 928 NEW BEST:: SOT 216664 SOS 79942 HAS SOPS 73360 HAS SOUS 65798 HAS SOUPS 62825 WITH SCORE 62904.942
AT ITER 930 NEW BEST:: SOT 216794 SOS 79926 HAS SOPS 73344 HAS SOUS 65782 HAS SOUPS 62809 WITH SCORE 62888.926
AT ITER 936 NEW BEST:: SOT 216745 SOS 79828 HAS SOPS 73246 HAS SOUS 65684 HAS SOUPS 62711 WITH SCORE 62790.828
AT ITER 937 NEW BEST:: SOT 216720 SOS 79778 HAS SOPS 73196 HAS SOUS 65634 HAS SOUPS 62661 WITH SCORE 62740.778
AT ITER 938 NEW BEST:: SOT 216724 SOS 79931 HAS SOPS 73371 HAS SOUS 65633 HAS SOUPS 62660 WITH SCORE 62739.931
AT ITER 945 NEW BEST:: SOT 216715 SOS 79922 HAS SOPS 73327 HAS SOUS 65589 HAS SOUPS 62616 WITH SCORE 62695.922
AT ITER 949 NEW BEST:: SOT 217311 SOS 78759 HAS SOPS 73031 HAS SOUS 64719 HAS SOUPS 61956 WITH SCORE 62034.759
AT ITER 951 NEW BEST:: SOT 217481 SOS 78726 HAS SOPS 72998 HAS SOUS 64686 HAS SOUPS 61923 WITH SCORE 62001.726
AT ITER 955 NEW BEST:: SOT 217515 SOS 78725 HAS SOPS 72969 HAS SOUS 64657 HAS SOUPS 61894 WITH SCORE 61972.725
AT ITER 981 NEW BEST:: SOT 217343 SOS 78627 HAS SOPS 72871 HAS SOUS 64557 HAS SOUPS 61794 WITH SCORE 61872.627
AT ITER 984 NEW BEST:: SOT 217310 SOS 78528 HAS SOPS 72772 HAS SOUS 64491 HAS SOUPS 61728 WITH SCORE 61806.528
AT ITER 985 NEW BEST:: SOT 217243 SOS 78377 HAS SOPS 72638 HAS SOUS 64357 HAS SOUPS 61594 WITH SCORE 61672.377
AT ITER 996 NEW BEST:: SOT 217221 SOS 78333 HAS SOPS 72594 HAS SOUS 64313 HAS SOUPS 61550 WITH SCORE 61628.333
AT ITER 997 NEW BEST:: SOT 217212 SOS 78225 HAS SOPS 72384 HAS SOUS 64168 HAS SOUPS 61405 WITH SCORE 61483.225
AT ITER 1001 NEW BEST:: SOT 217212 SOS 78187 HAS SOPS 72346 HAS SOUS 64130 HAS SOUPS 61367 WITH SCORE 61445.187
AT ITER 1004 NEW BEST:: SOT 216990 SOS 78242 HAS SOPS 72188 HAS SOUS 64161 HAS SOUPS 61334 WITH SCORE 61412.242
AT ITER 1006 NEW BEST:: SOT 217039 SOS 78305 HAS SOPS 72195 HAS SOUS 64187 HAS SOUPS 61327 WITH SCORE 61405.305
AT ITER 1011 NEW BEST:: SOT 216930 SOS 78079 HAS SOPS 71977 HAS SOUS 63969 HAS SOUPS 61109 WITH SCORE 61187.079
AT ITER 1013 NEW BEST:: SOT 216891 SOS 78053 HAS SOPS 71951 HAS SOUS 63943 HAS SOUPS 61083 WITH SCORE 61161.053
AT ITER 1017 NEW BEST:: SOT 216891 SOS 77988 HAS SOPS 71886 HAS SOUS 63943 HAS SOUPS 61083 WITH SCORE 61160.988
AT ITER 1023 NEW BEST:: SOT 216891 SOS 77997 HAS SOPS 71882 HAS SOUS 63939 HAS SOUPS 61079 WITH SCORE 61156.997
AT ITER 1032 NEW BEST:: SOT 216891 SOS 77995 HAS SOPS 71882 HAS SOUS 63939 HAS SOUPS 61079 WITH SCORE 61156.995
AT ITER 1036 NEW BEST:: SOT 216848 SOS 77871 HAS SOPS 71796 HAS SOUS 63853 HAS SOUPS 60993 WITH SCORE 61070.871
AT ITER 1043 NEW BEST:: SOT 216867 SOS 77868 HAS SOPS 71793 HAS SOUS 63850 HAS SOUPS 60990 WITH SCORE 61067.868
AT ITER 1052 NEW BEST:: SOT 216339 SOS 77476 HAS SOPS 71401 HAS SOUS 63388 HAS SOUPS 60528 WITH SCORE 60605.476
AT ITER 1059 NEW BEST:: SOT 216339 SOS 77439 HAS SOPS 71401 HAS SOUS 63351 HAS SOUPS 60528 WITH SCORE 60605.439
AT ITER 1073 NEW BEST:: SOT 216320 SOS 77401 HAS SOPS 71363 HAS SOUS 63313 HAS SOUPS 60490 WITH SCORE 60567.401
AT ITER 1077 NEW BEST:: SOT 216240 SOS 77390 HAS SOPS 71267 HAS SOUS 63233 HAS SOUPS 60394 WITH SCORE 60471.39
AT ITER 1078 NEW BEST:: SOT 216049 SOS 77008 HAS SOPS 70885 HAS SOUS 62851 HAS SOUPS 60012 WITH SCORE 60089.008
AT ITER 1104 NEW BEST:: SOT 216010 SOS 76930 HAS SOPS 70839 HAS SOUS 62773 HAS SOUPS 59966 WITH SCORE 60042.93
AT ITER 1116 NEW BEST:: SOT 216008 SOS 76959 HAS SOPS 70835 HAS SOUS 62769 HAS SOUPS 59962 WITH SCORE 60038.959
AT ITER 1128 NEW BEST:: SOT 215995 SOS 76922 HAS SOPS 70798 HAS SOUS 62745 HAS SOUPS 59938 WITH SCORE 60014.922
AT ITER 1130 NEW BEST:: SOT 215760 SOS 76930 HAS SOPS 70505 HAS SOUS 62717 HAS SOUPS 59852 WITH SCORE 59928.93
AT ITER 1142 NEW BEST:: SOT 215751 SOS 76826 HAS SOPS 70401 HAS SOUS 62674 HAS SOUPS 59809 WITH SCORE 59885.826
AT ITER 1156 NEW BEST:: SOT 215718 SOS 76793 HAS SOPS 70335 HAS SOUS 62608 HAS SOUPS 59743 WITH SCORE 59819.793
AT ITER 1164 NEW BEST:: SOT 215599 SOS 76756 HAS SOPS 70184 HAS SOUS 62597 HAS SOUPS 59683 WITH SCORE 59759.756
AT ITER 1170 NEW BEST:: SOT 215565 SOS 76688 HAS SOPS 70116 HAS SOUS 62529 HAS SOUPS 59615 WITH SCORE 59691.688
AT ITER 1172 NEW BEST:: SOT 215160 SOS 76373 HAS SOPS 69801 HAS SOUS 62125 HAS SOUPS 59211 WITH SCORE 59287.373
AT ITER 1187 NEW BEST:: SOT 215055 SOS 76233 HAS SOPS 69681 HAS SOUS 62005 HAS SOUPS 59091 WITH SCORE 59167.233
AT ITER 1191 NEW BEST:: SOT 215057 SOS 76185 HAS SOPS 69633 HAS SOUS 61957 HAS SOUPS 59043 WITH SCORE 59119.185
AT ITER 1203 NEW BEST:: SOT 215006 SOS 76032 HAS SOPS 69480 HAS SOUS 61855 HAS SOUPS 58941 WITH SCORE 59017.032
AT ITER 1204 NEW BEST:: SOT 214962 SOS 75944 HAS SOPS 69392 HAS SOUS 61767 HAS SOUPS 58853 WITH SCORE 58928.944
AT ITER 1209 NEW BEST:: SOT 214909 SOS 75966 HAS SOPS 69414 HAS SOUS 61742 HAS SOUPS 58828 WITH SCORE 58903.966
AT ITER 1214 NEW BEST:: SOT 214905 SOS 75958 HAS SOPS 69406 HAS SOUS 61734 HAS SOUPS 58820 WITH SCORE 58895.958
AT ITER 1220 NEW BEST:: SOT 214824 SOS 75836 HAS SOPS 69284 HAS SOUS 61669 HAS SOUPS 58755 WITH SCORE 58830.836
AT ITER 1239 NEW BEST:: SOT 214089 SOS 75164 HAS SOPS 69104 HAS SOUS 60986 HAS SOUPS 58560 WITH SCORE 58635.164
AT ITER 1240 NEW BEST:: SOT 214083 SOS 75084 HAS SOPS 69024 HAS SOUS 60974 HAS SOUPS 58548 WITH SCORE 58623.084
AT ITER 1242 NEW BEST:: SOT 214083 SOS 75077 HAS SOPS 69017 HAS SOUS 60974 HAS SOUPS 58548 WITH SCORE 58623.077
AT ITER 1252 NEW BEST:: SOT 213984 SOS 74879 HAS SOPS 68819 HAS SOUS 60776 HAS SOUPS 58350 WITH SCORE 58424.879
AT ITER 1256 NEW BEST:: SOT 213984 SOS 74872 HAS SOPS 68812 HAS SOUS 60776 HAS SOUPS 58350 WITH SCORE 58424.872
AT ITER 1265 NEW BEST:: SOT 213960 SOS 74825 HAS SOPS 68765 HAS SOUS 60728 HAS SOUPS 58302 WITH SCORE 58376.825
AT ITER 1270 NEW BEST:: SOT 213913 SOS 74778 HAS SOPS 68718 HAS SOUS 60681 HAS SOUPS 58255 WITH SCORE 58329.778
AT ITER 1272 NEW BEST:: SOT 213950 SOS 74642 HAS SOPS 68582 HAS SOUS 60678 HAS SOUPS 58252 WITH SCORE 58326.642
AT ITER 1279 NEW BEST:: SOT 214012 SOS 74184 HAS SOPS 68407 HAS SOUS 60023 HAS SOUPS 57742 WITH SCORE 57816.184
AT ITER 1288 NEW BEST:: SOT 213929 SOS 74350 HAS SOPS 68573 HAS SOUS 59940 HAS SOUPS 57659 WITH SCORE 57733.35
AT ITER 1305 NEW BEST:: SOT 213954 SOS 74362 HAS SOPS 68556 HAS SOUS 59923 HAS SOUPS 57642 WITH SCORE 57716.362
AT ITER 1308 NEW BEST:: SOT 213676 SOS 75999 HAS SOPS 68101 HAS SOUS 60061 HAS SOUPS 57552 WITH SCORE 57627.999
AT ITER 1312 NEW BEST:: SOT 213666 SOS 75949 HAS SOPS 68051 HAS SOUS 60041 HAS SOUPS 57532 WITH SCORE 57607.949
AT ITER 1319 NEW BEST:: SOT 213540 SOS 75697 HAS SOPS 67799 HAS SOUS 60033 HAS SOUPS 57524 WITH SCORE 57599.697
AT ITER 1337 NEW BEST:: SOT 213521 SOS 75618 HAS SOPS 67761 HAS SOUS 59995 HAS SOUPS 57486 WITH SCORE 57561.618
AT ITER 1340 NEW BEST:: SOT 213093 SOS 75499 HAS SOPS 67992 HAS SOUS 59847 HAS SOUPS 57450 WITH SCORE 57525.499
AT ITER 1343 NEW BEST:: SOT 213080 SOS 75473 HAS SOPS 67966 HAS SOUS 59821 HAS SOUPS 57424 WITH SCORE 57499.473
AT ITER 1356 NEW BEST:: SOT 213050 SOS 75428 HAS SOPS 67921 HAS SOUS 59761 HAS SOUPS 57364 WITH SCORE 57439.428
AT ITER 1365 NEW BEST:: SOT 213001 SOS 75379 HAS SOPS 67872 HAS SOUS 59736 HAS SOUPS 57339 WITH SCORE 57414.379
AT ITER 1366 NEW BEST:: SOT 212953 SOS 75296 HAS SOPS 67789 HAS SOUS 59675 HAS SOUPS 57278 WITH SCORE 57353.296
AT ITER 1384 NEW BEST:: SOT 212784 SOS 75297 HAS SOPS 67799 HAS SOUS 59433 HAS SOUPS 57036 WITH SCORE 57111.297
AT ITER 1410 NEW BEST:: SOT 212712 SOS 75133 HAS SOPS 67635 HAS SOUS 59298 HAS SOUPS 56901 WITH SCORE 56976.133
AT ITER 1412 NEW BEST:: SOT 212112 SOS 74648 HAS SOPS 67318 HAS SOUS 58821 HAS SOUPS 56452 WITH SCORE 56526.648
AT ITER 1436 NEW BEST:: SOT 212108 SOS 74640 HAS SOPS 67310 HAS SOUS 58813 HAS SOUPS 56444 WITH SCORE 56518.64
AT ITER 1453 NEW BEST:: SOT 212103 SOS 74998 HAS SOPS 67668 HAS SOUS 58808 HAS SOUPS 56439 WITH SCORE 56513.998
AT ITER 1457 NEW BEST:: SOT 212099 SOS 74990 HAS SOPS 67660 HAS SOUS 58800 HAS SOUPS 56431 WITH SCORE 56505.99
AT ITER 1467 NEW BEST:: SOT 212085 SOS 75165 HAS SOPS 67835 HAS SOUS 58797 HAS SOUPS 56428 WITH SCORE 56503.165
AT ITER 1469 NEW BEST:: SOT 212053 SOS 75101 HAS SOPS 67771 HAS SOUS 58733 HAS SOUPS 56364 WITH SCORE 56439.101
AT ITER 1484 NEW BEST:: SOT 212027 SOS 75048 HAS SOPS 67718 HAS SOUS 58681 HAS SOUPS 56312 WITH SCORE 56387.048
AT ITER 1485 NEW BEST:: SOT 211981 SOS 74956 HAS SOPS 67626 HAS SOUS 58589 HAS SOUPS 56220 WITH SCORE 56294.956
AT ITER 1489 NEW BEST:: SOT 211938 SOS 74882 HAS SOPS 67552 HAS SOUS 58468 HAS SOUPS 56099 WITH SCORE 56173.882
AT ITER 1503 NEW BEST:: SOT 211934 SOS 74915 HAS SOPS 67544 HAS SOUS 58501 HAS SOUPS 56091 WITH SCORE 56165.915
AT ITER 1506 NEW BEST:: SOT 211922 SOS 74891 HAS SOPS 67520 HAS SOUS 58477 HAS SOUPS 56067 WITH SCORE 56141.891
AT ITER 1509 NEW BEST:: SOT 211915 SOS 74884 HAS SOPS 67513 HAS SOUS 58470 HAS SOUPS 56060 WITH SCORE 56134.884
AT ITER 1511 NEW BEST:: SOT 211893 SOS 74540 HAS SOPS 67169 HAS SOUS 58426 HAS SOUPS 56016 WITH SCORE 56090.54
AT ITER 1518 NEW BEST:: SOT 211891 SOS 74536 HAS SOPS 67165 HAS SOUS 58422 HAS SOUPS 56012 WITH SCORE 56086.536
AT ITER 1544 NEW BEST:: SOT 211819 SOS 74482 HAS SOPS 67111 HAS SOUS 58368 HAS SOUPS 55958 WITH SCORE 56032.482
AT ITER 1547 NEW BEST:: SOT 211771 SOS 74452 HAS SOPS 67105 HAS SOUS 58278 HAS SOUPS 55868 WITH SCORE 55942.452
AT ITER 1556 NEW BEST:: SOT 211755 SOS 74436 HAS SOPS 67089 HAS SOUS 58262 HAS SOUPS 55852 WITH SCORE 55926.436
AT ITER 1557 NEW BEST:: SOT 211755 SOS 74381 HAS SOPS 66999 HAS SOUS 58256 HAS SOUPS 55846 WITH SCORE 55920.381
AT ITER 1558 NEW BEST:: SOT 211706 SOS 74361 HAS SOPS 66979 HAS SOUS 58236 HAS SOUPS 55826 WITH SCORE 55900.361
AT ITER 1560 NEW BEST:: SOT 210965 SOS 73721 HAS SOPS 66126 HAS SOUS 57465 HAS SOUPS 54973 WITH SCORE 55046.721
AT ITER 1568 NEW BEST:: SOT 210965 SOS 74152 HAS SOPS 66434 HAS SOUS 57463 HAS SOUPS 54971 WITH SCORE 55045.152
AT ITER 1570 NEW BEST:: SOT 210963 SOS 74150 HAS SOPS 66430 HAS SOUS 57461 HAS SOUPS 54969 WITH SCORE 55043.15
AT ITER 1575 NEW BEST:: SOT 210947 SOS 74118 HAS SOPS 66398 HAS SOUS 57429 HAS SOUPS 54937 WITH SCORE 55011.118
AT ITER 1594 NEW BEST:: SOT 210938 SOS 74100 HAS SOPS 66380 HAS SOUS 57411 HAS SOUPS 54919 WITH SCORE 54993.1
AT ITER 1597 NEW BEST:: SOT 210938 SOS 74064 HAS SOPS 66380 HAS SOUS 57411 HAS SOUPS 54919 WITH SCORE 54993.064
AT ITER 1598 NEW BEST:: SOT 210970 SOS 73770 HAS SOPS 66335 HAS SOUS 57049 HAS SOUPS 54637 WITH SCORE 54710.77
AT ITER 1607 NEW BEST:: SOT 211443 SOS 74227 HAS SOPS 66796 HAS SOUS 56932 HAS SOUPS 54524 WITH SCORE 54598.227
AT ITER 1614 NEW BEST:: SOT 211441 SOS 74223 HAS SOPS 66792 HAS SOUS 56928 HAS SOUPS 54520 WITH SCORE 54594.223
AT ITER 1622 NEW BEST:: SOT 211430 SOS 74201 HAS SOPS 66770 HAS SOUS 56906 HAS SOUPS 54498 WITH SCORE 54572.201
AT ITER 1629 NEW BEST:: SOT 211313 SOS 74087 HAS SOPS 66518 HAS SOUS 56865 HAS SOUPS 54355 WITH SCORE 54429.087
AT ITER 1646 NEW BEST:: SOT 211305 SOS 73952 HAS SOPS 66502 HAS SOUS 56849 HAS SOUPS 54339 WITH SCORE 54412.952
AT ITER 1647 NEW BEST:: SOT 211246 SOS 73861 HAS SOPS 66411 HAS SOUS 56758 HAS SOUPS 54248 WITH SCORE 54321.861
AT ITER 1648 NEW BEST:: SOT 211237 SOS 73843 HAS SOPS 66393 HAS SOUS 56740 HAS SOUPS 54230 WITH SCORE 54303.843
AT ITER 1660 NEW BEST:: SOT 211175 SOS 73719 HAS SOPS 66269 HAS SOUS 56616 HAS SOUPS 54106 WITH SCORE 54179.719
AT ITER 1664 NEW BEST:: SOT 211207 SOS 73616 HAS SOPS 66281 HAS SOUS 56568 HAS SOUPS 54078 WITH SCORE 54151.616
AT ITER 1686 NEW BEST:: SOT 211161 SOS 72972 HAS SOPS 65637 HAS SOUS 56476 HAS SOUPS 53986 WITH SCORE 54058.972
AT ITER 1688 NEW BEST:: SOT 211155 SOS 72960 HAS SOPS 65625 HAS SOUS 56464 HAS SOUPS 53974 WITH SCORE 54046.96
AT ITER 1689 NEW BEST:: SOT 210841 SOS 72189 HAS SOPS 64854 HAS SOUS 55922 HAS SOUPS 53432 WITH SCORE 53504.189
AT ITER 1693 NEW BEST:: SOT 211034 SOS 72246 HAS SOPS 65115 HAS SOUS 55812 HAS SOUPS 53373 WITH SCORE 53445.246
AT ITER 1716 NEW BEST:: SOT 210942 SOS 72204 HAS SOPS 65073 HAS SOUS 55770 HAS SOUPS 53331 WITH SCORE 53403.204
AT ITER 1718 NEW BEST:: SOT 210858 SOS 72398 HAS SOPS 65267 HAS SOUS 55701 HAS SOUPS 53262 WITH SCORE 53334.398
AT ITER 1739 NEW BEST:: SOT 210833 SOS 72348 HAS SOPS 65217 HAS SOUS 55651 HAS SOUPS 53212 WITH SCORE 53284.348
AT ITER 1742 NEW BEST:: SOT 210811 SOS 72414 HAS SOPS 65283 HAS SOUS 55607 HAS SOUPS 53168 WITH SCORE 53240.414
AT ITER 1745 NEW BEST:: SOT 210811 SOS 72410 HAS SOPS 65283 HAS SOUS 55607 HAS SOUPS 53168 WITH SCORE 53240.41
AT ITER 1747 NEW BEST:: SOT 210655 SOS 72053 HAS SOPS 64926 HAS SOUS 55300 HAS SOUPS 52861 WITH SCORE 52933.053
AT ITER 1748 NEW BEST:: SOT 210611 SOS 71965 HAS SOPS 64838 HAS SOUS 55212 HAS SOUPS 52773 WITH SCORE 52844.965
AT ITER 1754 NEW BEST:: SOT 210611 SOS 71929 HAS SOPS 64802 HAS SOUS 55212 HAS SOUPS 52773 WITH SCORE 52844.929
AT ITER 1755 NEW BEST:: SOT 210606 SOS 71930 HAS SOPS 64803 HAS SOUS 55202 HAS SOUPS 52763 WITH SCORE 52834.93
AT ITER 1762 NEW BEST:: SOT 210604 SOS 71926 HAS SOPS 64799 HAS SOUS 55198 HAS SOUPS 52759 WITH SCORE 52830.926
AT ITER 1764 NEW BEST:: SOT 210604 SOS 71876 HAS SOPS 64675 HAS SOUS 55198 HAS SOUPS 52759 WITH SCORE 52830.876
AT ITER 1783 NEW BEST:: SOT 210578 SOS 71845 HAS SOPS 64644 HAS SOUS 55167 HAS SOUPS 52728 WITH SCORE 52799.845
AT ITER 1784 NEW BEST:: SOT 210489 SOS 71667 HAS SOPS 64466 HAS SOUS 54989 HAS SOUPS 52550 WITH SCORE 52621.667
AT ITER 1788 NEW BEST:: SOT 210421 SOS 71531 HAS SOPS 64330 HAS SOUS 54853 HAS SOUPS 52414 WITH SCORE 52485.531
AT ITER 1792 NEW BEST:: SOT 210413 SOS 71523 HAS SOPS 64314 HAS SOUS 54826 HAS SOUPS 52387 WITH SCORE 52458.523
AT ITER 1804 NEW BEST:: SOT 210404 SOS 71581 HAS SOPS 64349 HAS SOUS 54838 HAS SOUPS 52372 WITH SCORE 52443.581
AT ITER 1815 NEW BEST:: SOT 210641 SOS 71552 HAS SOPS 64551 HAS SOUS 54747 HAS SOUPS 52353 WITH SCORE 52424.552
AT ITER 1816 NEW BEST:: SOT 210641 SOS 71494 HAS SOPS 64551 HAS SOUS 54747 HAS SOUPS 52353 WITH SCORE 52424.494
AT ITER 1817 NEW BEST:: SOT 210641 SOS 71489 HAS SOPS 64546 HAS SOUS 54747 HAS SOUPS 52353 WITH SCORE 52424.489
AT ITER 1818 NEW BEST:: SOT 210632 SOS 71479 HAS SOPS 64537 HAS SOUS 54738 HAS SOUPS 52344 WITH SCORE 52415.479
AT ITER 1819 NEW BEST:: SOT 210632 SOS 71486 HAS SOPS 64530 HAS SOUS 54731 HAS SOUPS 52337 WITH SCORE 52408.486
AT ITER 1878 NEW BEST:: SOT 210597 SOS 71416 HAS SOPS 64460 HAS SOUS 54661 HAS SOUPS 52267 WITH SCORE 52338.416
AT ITER 1894 NEW BEST:: SOT 210587 SOS 71406 HAS SOPS 64459 HAS SOUS 54660 HAS SOUPS 52266 WITH SCORE 52337.406
AT ITER 1901 NEW BEST:: SOT 210525 SOS 71311 HAS SOPS 64418 HAS SOUS 54598 HAS SOUPS 52204 WITH SCORE 52275.311
AT ITER 1916 NEW BEST:: SOT 210524 SOS 71308 HAS SOPS 64416 HAS SOUS 54596 HAS SOUPS 52202 WITH SCORE 52273.308
AT ITER 1926 NEW BEST:: SOT 210493 SOS 71277 HAS SOPS 64385 HAS SOUS 54565 HAS SOUPS 52171 WITH SCORE 52242.277
AT ITER 1937 NEW BEST:: SOT 210493 SOS 71217 HAS SOPS 64325 HAS SOUS 54565 HAS SOUPS 52171 WITH SCORE 52242.217
AT ITER 1945 NEW BEST:: SOT 210492 SOS 71215 HAS SOPS 64323 HAS SOUS 54563 HAS SOUPS 52169 WITH SCORE 52240.215
AT ITER 1957 NEW BEST:: SOT 210476 SOS 71239 HAS SOPS 64347 HAS SOUS 54545 HAS SOUPS 52151 WITH SCORE 52222.239
AT ITER 1986 NEW BEST:: SOT 210393 SOS 71142 HAS SOPS 64299 HAS SOUS 54531 HAS SOUPS 52137 WITH SCORE 52208.142
AT ITER 1995 NEW BEST:: SOT 210563 SOS 71139 HAS SOPS 64473 HAS SOUS 54440 HAS SOUPS 52102 WITH SCORE 52173.139
AT ITER 1998 NEW BEST:: SOT 210596 SOS 71249 HAS SOPS 64583 HAS SOUS 54437 HAS SOUPS 52099 WITH SCORE 52170.249
AT ITER 2002 NEW BEST:: SOT 210550 SOS 71157 HAS SOPS 64491 HAS SOUS 54368 HAS SOUPS 52030 WITH SCORE 52101.157
AT ITER 2005 NEW BEST:: SOT 210550 SOS 71145 HAS SOPS 64479 HAS SOUS 54368 HAS SOUPS 52030 WITH SCORE 52101.145
AT ITER 2026 NEW BEST:: SOT 210408 SOS 70951 HAS SOPS 64285 HAS SOUS 54176 HAS SOUPS 51838 WITH SCORE 51908.951
AT ITER 2027 NEW BEST:: SOT 210397 SOS 70918 HAS SOPS 64252 HAS SOUS 54154 HAS SOUPS 51816 WITH SCORE 51886.918
AT ITER 2041 NEW BEST:: SOT 210264 SOS 70676 HAS SOPS 63986 HAS SOUS 53888 HAS SOUPS 51550 WITH SCORE 51620.676
AT ITER 2042 NEW BEST:: SOT 210255 SOS 70615 HAS SOPS 63925 HAS SOUS 53827 HAS SOUPS 51489 WITH SCORE 51559.615
AT ITER 2048 NEW BEST:: SOT 210154 SOS 70433 HAS SOPS 63824 HAS SOUS 53726 HAS SOUPS 51388 WITH SCORE 51458.433
AT ITER 2060 NEW BEST:: SOT 210091 SOS 70400 HAS SOPS 63791 HAS SOUS 53674 HAS SOUPS 51336 WITH SCORE 51406.4
AT ITER 2061 NEW BEST:: SOT 210091 SOS 70387 HAS SOPS 63778 HAS SOUS 53661 HAS SOUPS 51323 WITH SCORE 51393.387
AT ITER 2065 NEW BEST:: SOT 210091 SOS 70387 HAS SOPS 63778 HAS SOUS 53660 HAS SOUPS 51322 WITH SCORE 51392.387
AT ITER 2072 NEW BEST:: SOT 210087 SOS 70383 HAS SOPS 63774 HAS SOUS 53656 HAS SOUPS 51318 WITH SCORE 51388.383
AT ITER 2080 NEW BEST:: SOT 210035 SOS 70305 HAS SOPS 63696 HAS SOUS 53578 HAS SOUPS 51240 WITH SCORE 51310.305
AT ITER 2119 NEW BEST:: SOT 210026 SOS 70287 HAS SOPS 63678 HAS SOUS 53560 HAS SOUPS 51222 WITH SCORE 51292.287
AT ITER 2124 NEW BEST:: SOT 210035 SOS 70296 HAS SOPS 63670 HAS SOUS 53552 HAS SOUPS 51214 WITH SCORE 51284.296
AT ITER 2126 NEW BEST:: SOT 210009 SOS 70244 HAS SOPS 63618 HAS SOUS 53500 HAS SOUPS 51162 WITH SCORE 51232.244
AT ITER 2138 NEW BEST:: SOT 210028 SOS 70232 HAS SOPS 63606 HAS SOUS 53488 HAS SOUPS 51150 WITH SCORE 51220.232
AT ITER 2143 NEW BEST:: SOT 210028 SOS 70212 HAS SOPS 63596 HAS SOUS 53488 HAS SOUPS 51150 WITH SCORE 51220.212
AT ITER 2164 NEW BEST:: SOT 210012 SOS 70196 HAS SOPS 63564 HAS SOUS 53456 HAS SOUPS 51118 WITH SCORE 51188.196
AT ITER 2169 NEW BEST:: SOT 209973 SOS 70118 HAS SOPS 63486 HAS SOUS 53378 HAS SOUPS 51040 WITH SCORE 51110.118
AT ITER 2172 NEW BEST:: SOT 209909 SOS 70054 HAS SOPS 63422 HAS SOUS 53314 HAS SOUPS 50976 WITH SCORE 51046.054
AT ITER 2183 NEW BEST:: SOT 209893 SOS 70598 HAS SOPS 63966 HAS SOUS 53282 HAS SOUPS 50944 WITH SCORE 51014.598
AT ITER 2188 NEW BEST:: SOT 209893 SOS 70571 HAS SOPS 63939 HAS SOUS 53255 HAS SOUPS 50917 WITH SCORE 50987.571
AT ITER 2198 NEW BEST:: SOT 209869 SOS 70733 HAS SOPS 64101 HAS SOUS 53213 HAS SOUPS 50875 WITH SCORE 50945.733
AT ITER 2210 NEW BEST:: SOT 209746 SOS 70487 HAS SOPS 63855 HAS SOUS 52967 HAS SOUPS 50629 WITH SCORE 50699.487
AT ITER 2214 NEW BEST:: SOT 209728 SOS 70460 HAS SOPS 63828 HAS SOUS 52957 HAS SOUPS 50619 WITH SCORE 50689.46
AT ITER 2216 NEW BEST:: SOT 209696 SOS 70363 HAS SOPS 63746 HAS SOUS 52893 HAS SOUPS 50555 WITH SCORE 50625.363
AT ITER 2222 NEW BEST:: SOT 209691 SOS 70272 HAS SOPS 63655 HAS SOUS 52883 HAS SOUPS 50545 WITH SCORE 50615.272
AT ITER 2234 NEW BEST:: SOT 209678 SOS 70246 HAS SOPS 63629 HAS SOUS 52857 HAS SOUPS 50519 WITH SCORE 50589.246
AT ITER 2266 NEW BEST:: SOT 209629 SOS 70148 HAS SOPS 63531 HAS SOUS 52759 HAS SOUPS 50421 WITH SCORE 50491.148
AT ITER 2268 NEW BEST:: SOT 209226 SOS 69829 HAS SOPS 63257 HAS SOUS 52381 HAS SOUPS 50043 WITH SCORE 50112.829
AT ITER 2271 NEW BEST:: SOT 209226 SOS 69822 HAS SOPS 63250 HAS SOUS 52381 HAS SOUPS 50043 WITH SCORE 50112.822
AT ITER 2278 NEW BEST:: SOT 209198 SOS 69794 HAS SOPS 63222 HAS SOUS 52353 HAS SOUPS 50015 WITH SCORE 50084.794
AT ITER 2307 NEW BEST:: SOT 209198 SOS 69794 HAS SOPS 63222 HAS SOUS 52341 HAS SOUPS 50003 WITH SCORE 50072.794
AT ITER 2308 NEW BEST:: SOT 209127 SOS 69642 HAS SOPS 63070 HAS SOUS 52201 HAS SOUPS 49863 WITH SCORE 49932.642
AT ITER 2313 NEW BEST:: SOT 209098 SOS 69687 HAS SOPS 63128 HAS SOUS 52194 HAS SOUPS 49847 WITH SCORE 49916.687
AT ITER 2336 NEW BEST:: SOT 208953 SOS 69639 HAS SOPS 62983 HAS SOUS 52162 HAS SOUPS 49784 WITH SCORE 49853.639
AT ITER 2337 NEW BEST:: SOT 208713 SOS 69375 HAS SOPS 62887 HAS SOUS 52039 HAS SOUPS 49688 WITH SCORE 49757.375
AT ITER 2355 NEW BEST:: SOT 208691 SOS 69331 HAS SOPS 62843 HAS SOUS 51995 HAS SOUPS 49644 WITH SCORE 49713.331
AT ITER 2362 NEW BEST:: SOT 208667 SOS 69283 HAS SOPS 62795 HAS SOUS 51947 HAS SOUPS 49596 WITH SCORE 49665.283
AT ITER 2367 NEW BEST:: SOT 208660 SOS 69269 HAS SOPS 62781 HAS SOUS 51933 HAS SOUPS 49582 WITH SCORE 49651.269
AT ITER 2380 NEW BEST:: SOT 208674 SOS 69270 HAS SOPS 62665 HAS SOUS 51889 HAS SOUPS 49538 WITH SCORE 49607.27
AT ITER 2389 NEW BEST:: SOT 208630 SOS 69236 HAS SOPS 62538 HAS SOUS 51773 HAS SOUPS 49422 WITH SCORE 49491.236
AT ITER 2391 NEW BEST:: SOT 208599 SOS 69155 HAS SOPS 62350 HAS SOUS 51615 HAS SOUPS 49264 WITH SCORE 49333.155
AT ITER 2392 NEW BEST:: SOT 208599 SOS 69139 HAS SOPS 62334 HAS SOUS 51615 HAS SOUPS 49264 WITH SCORE 49333.139
AT ITER 2393 NEW BEST:: SOT 208321 SOS 69936 HAS SOPS 63359 HAS SOUS 51598 HAS SOUPS 49247 WITH SCORE 49316.936
AT ITER 2410 NEW BEST:: SOT 208291 SOS 69876 HAS SOPS 63299 HAS SOUS 51538 HAS SOUPS 49187 WITH SCORE 49256.876
AT ITER 2411 NEW BEST:: SOT 208268 SOS 69860 HAS SOPS 63283 HAS SOUS 51510 HAS SOUPS 49159 WITH SCORE 49228.86
AT ITER 2425 NEW BEST:: SOT 208255 SOS 69834 HAS SOPS 63270 HAS SOUS 51497 HAS SOUPS 49146 WITH SCORE 49215.834
AT ITER 2426 NEW BEST:: SOT 208245 SOS 69819 HAS SOPS 63250 HAS SOUS 51477 HAS SOUPS 49126 WITH SCORE 49195.819
AT ITER 2453 NEW BEST:: SOT 208168 SOS 69665 HAS SOPS 63096 HAS SOUS 51323 HAS SOUPS 48972 WITH SCORE 49041.665
AT ITER 2468 NEW BEST:: SOT 208118 SOS 69565 HAS SOPS 62996 HAS SOUS 51223 HAS SOUPS 48872 WITH SCORE 48941.565
AT ITER 2470 NEW BEST:: SOT 208109 SOS 69547 HAS SOPS 62978 HAS SOUS 51205 HAS SOUPS 48854 WITH SCORE 48923.547
AT ITER 2478 NEW BEST:: SOT 208092 SOS 69447 HAS SOPS 62878 HAS SOUS 51171 HAS SOUPS 48820 WITH SCORE 48889.447
AT ITER 2505 NEW BEST:: SOT 208092 SOS 69434 HAS SOPS 62865 HAS SOUS 51158 HAS SOUPS 48807 WITH SCORE 48876.434
AT ITER 2514 NEW BEST:: SOT 208049 SOS 69377 HAS SOPS 62808 HAS SOUS 51101 HAS SOUPS 48750 WITH SCORE 48819.377
AT ITER 2519 NEW BEST:: SOT 208034 SOS 69347 HAS SOPS 62778 HAS SOUS 51071 HAS SOUPS 48720 WITH SCORE 48789.347
AT ITER 2523 NEW BEST:: SOT 208033 SOS 69345 HAS SOPS 62776 HAS SOUS 51069 HAS SOUPS 48718 WITH SCORE 48787.345
AT ITER 2530 NEW BEST:: SOT 207933 SOS 69145 HAS SOPS 62576 HAS SOUS 50869 HAS SOUPS 48518 WITH SCORE 48587.145
AT ITER 2533 NEW BEST:: SOT 207933 SOS 69136 HAS SOPS 62567 HAS SOUS 50860 HAS SOUPS 48509 WITH SCORE 48578.136
AT ITER 2572 NEW BEST:: SOT 207715 SOS 68634 HAS SOPS 62077 HAS SOUS 50522 HAS SOUPS 48171 WITH SCORE 48239.634
AT ITER 2574 NEW BEST:: SOT 207693 SOS 68590 HAS SOPS 62033 HAS SOUS 50478 HAS SOUPS 48127 WITH SCORE 48195.59
AT ITER 2575 NEW BEST:: SOT 207682 SOS 68568 HAS SOPS 62011 HAS SOUS 50456 HAS SOUPS 48105 WITH SCORE 48173.568
AT ITER 2610 NEW BEST:: SOT 207635 SOS 68521 HAS SOPS 61959 HAS SOUS 50444 HAS SOUPS 48093 WITH SCORE 48161.521
AT ITER 2616 NEW BEST:: SOT 207592 SOS 68409 HAS SOPS 61847 HAS SOUS 50332 HAS SOUPS 47981 WITH SCORE 48049.409
AT ITER 2630 NEW BEST:: SOT 207525 SOS 68342 HAS SOPS 61780 HAS SOUS 50157 HAS SOUPS 47806 WITH SCORE 47874.342
AT ITER 2636 NEW BEST:: SOT 207466 SOS 68075 HAS SOPS 61513 HAS SOUS 50039 HAS SOUPS 47688 WITH SCORE 47756.075
AT ITER 2638 NEW BEST:: SOT 207466 SOS 68022 HAS SOPS 61513 HAS SOUS 50039 HAS SOUPS 47688 WITH SCORE 47756.022
AT ITER 2641 NEW BEST:: SOT 207446 SOS 67878 HAS SOPS 61369 HAS SOUS 49980 HAS SOUPS 47629 WITH SCORE 47696.878
AT ITER 2669 NEW BEST:: SOT 207431 SOS 67863 HAS SOPS 61339 HAS SOUS 49950 HAS SOUPS 47599 WITH SCORE 47666.863
AT ITER 2672 NEW BEST:: SOT 207403 SOS 67831 HAS SOPS 61307 HAS SOUS 49894 HAS SOUPS 47543 WITH SCORE 47610.831
AT ITER 2674 NEW BEST:: SOT 207392 SOS 67809 HAS SOPS 61285 HAS SOUS 49872 HAS SOUPS 47521 WITH SCORE 47588.809
AT ITER 2688 NEW BEST:: SOT 207392 SOS 67719 HAS SOPS 61195 HAS SOUS 49872 HAS SOUPS 47521 WITH SCORE 47588.719
AT ITER 2700 NEW BEST:: SOT 207378 SOS 67762 HAS SOPS 61238 HAS SOUS 49844 HAS SOUPS 47493 WITH SCORE 47560.762
AT ITER 2710 NEW BEST:: SOT 207374 SOS 67754 HAS SOPS 61230 HAS SOUS 49836 HAS SOUPS 47485 WITH SCORE 47552.754
AT ITER 2723 NEW BEST:: SOT 207374 SOS 67749 HAS SOPS 61225 HAS SOUS 49831 HAS SOUPS 47480 WITH SCORE 47547.749
AT ITER 2730 NEW BEST:: SOT 207326 SOS 67701 HAS SOPS 61177 HAS SOUS 49783 HAS SOUPS 47432 WITH SCORE 47499.701
AT ITER 2741 NEW BEST:: SOT 207326 SOS 67691 HAS SOPS 61172 HAS SOUS 49783 HAS SOUPS 47432 WITH SCORE 47499.691
AT ITER 2743 NEW BEST:: SOT 207303 SOS 67645 HAS SOPS 61149 HAS SOUS 49737 HAS SOUPS 47409 WITH SCORE 47476.645
AT ITER 2746 NEW BEST:: SOT 207114 SOS 67456 HAS SOPS 60960 HAS SOUS 49716 HAS SOUPS 47388 WITH SCORE 47455.456
AT ITER 2772 NEW BEST:: SOT 207107 SOS 67442 HAS SOPS 60946 HAS SOUS 49702 HAS SOUPS 47374 WITH SCORE 47441.442
AT ITER 2821 NEW BEST:: SOT 207165 SOS 67032 HAS SOPS 60393 HAS SOUS 49522 HAS SOUPS 47194 WITH SCORE 47261.032
AT ITER 2831 NEW BEST:: SOT 207201 SOS 66888 HAS SOPS 60245 HAS SOUS 49514 HAS SOUPS 47186 WITH SCORE 47252.888
AT ITER 2850 NEW BEST:: SOT 207132 SOS 66723 HAS SOPS 60080 HAS SOUS 49421 HAS SOUPS 47093 WITH SCORE 47159.723
AT ITER 2867 NEW BEST:: SOT 207132 SOS 66723 HAS SOPS 60080 HAS SOUS 49317 HAS SOUPS 46989 WITH SCORE 47055.723
AT ITER 2879 NEW BEST:: SOT 207031 SOS 66697 HAS SOPS 60054 HAS SOUS 49219 HAS SOUPS 46891 WITH SCORE 46957.697
AT ITER 2880 NEW BEST:: SOT 207003 SOS 66589 HAS SOPS 59946 HAS SOUS 49147 HAS SOUPS 46819 WITH SCORE 46885.589
AT ITER 2892 NEW BEST:: SOT 206991 SOS 66565 HAS SOPS 59922 HAS SOUS 49123 HAS SOUPS 46795 WITH SCORE 46861.565
AT ITER 2894 NEW BEST:: SOT 206987 SOS 66557 HAS SOPS 59909 HAS SOUS 49110 HAS SOUPS 46782 WITH SCORE 46848.557
AT ITER 2901 NEW BEST:: SOT 206960 SOS 66540 HAS SOPS 59897 HAS SOUS 49089 HAS SOUPS 46762 WITH SCORE 46828.54
AT ITER 2912 NEW BEST:: SOT 206947 SOS 66514 HAS SOPS 59871 HAS SOUS 49063 HAS SOUPS 46736 WITH SCORE 46802.514
AT ITER 2925 NEW BEST:: SOT 206948 SOS 66516 HAS SOPS 59873 HAS SOUS 49054 HAS SOUPS 46727 WITH SCORE 46793.516
AT ITER 2934 NEW BEST:: SOT 206945 SOS 66510 HAS SOPS 59867 HAS SOUS 49048 HAS SOUPS 46721 WITH SCORE 46787.51
AT ITER 2937 NEW BEST:: SOT 206945 SOS 66353 HAS SOPS 59710 HAS SOUS 49048 HAS SOUPS 46721 WITH SCORE 46787.353
AT ITER 2943 NEW BEST:: SOT 206909 SOS 66401 HAS SOPS 59662 HAS SOUS 49048 HAS SOUPS 46709 WITH SCORE 46775.401
AT ITER 2955 NEW BEST:: SOT 206904 SOS 66391 HAS SOPS 59652 HAS SOUS 49038 HAS SOUPS 46699 WITH SCORE 46765.391
AT ITER 2956 NEW BEST:: SOT 206435 SOS 66219 HAS SOPS 59685 HAS SOUS 48825 HAS SOUPS 46486 WITH SCORE 46552.219
AT ITER 2975 NEW BEST:: SOT 206438 SOS 66195 HAS SOPS 59685 HAS SOUS 48819 HAS SOUPS 46483 WITH SCORE 46549.195
AT ITER 2979 NEW BEST:: SOT 206432 SOS 66189 HAS SOPS 59673 HAS SOUS 48807 HAS SOUPS 46471 WITH SCORE 46537.189
AT ITER 3005 NEW BEST:: SOT 206421 SOS 66178 HAS SOPS 59662 HAS SOUS 48785 HAS SOUPS 46449 WITH SCORE 46515.178
AT ITER 3026 NEW BEST:: SOT 206411 SOS 66145 HAS SOPS 59629 HAS SOUS 48758 HAS SOUPS 46422 WITH SCORE 46488.145
AT ITER 3032 NEW BEST:: SOT 206378 SOS 65963 HAS SOPS 59563 HAS SOUS 48692 HAS SOUPS 46356 WITH SCORE 46421.963
AT ITER 3037 NEW BEST:: SOT 206318 SOS 66070 HAS SOPS 59670 HAS SOUS 48672 HAS SOUPS 46336 WITH SCORE 46402.07
AT ITER 3042 NEW BEST:: SOT 206253 SOS 66005 HAS SOPS 59605 HAS SOUS 48607 HAS SOUPS 46271 WITH SCORE 46337.005
AT ITER 3051 NEW BEST:: SOT 206184 SOS 65867 HAS SOPS 59467 HAS SOUS 48596 HAS SOUPS 46260 WITH SCORE 46325.867
AT ITER 3081 NEW BEST:: SOT 206181 SOS 65864 HAS SOPS 59464 HAS SOUS 48593 HAS SOUPS 46257 WITH SCORE 46322.864
AT ITER 3088 NEW BEST:: SOT 206166 SOS 65834 HAS SOPS 59434 HAS SOUS 48563 HAS SOUPS 46227 WITH SCORE 46292.834
AT ITER 3105 NEW BEST:: SOT 206166 SOS 65783 HAS SOPS 59345 HAS SOUS 48525 HAS SOUPS 46189 WITH SCORE 46254.783
AT ITER 3112 NEW BEST:: SOT 206060 SOS 65830 HAS SOPS 59042 HAS SOUS 48417 HAS SOUPS 46042 WITH SCORE 46107.83
AT ITER 3116 NEW BEST:: SOT 206060 SOS 65711 HAS SOPS 58923 HAS SOUS 48417 HAS SOUPS 46042 WITH SCORE 46107.711
AT ITER 3122 NEW BEST:: SOT 206051 SOS 65757 HAS SOPS 58919 HAS SOUS 48413 HAS SOUPS 46038 WITH SCORE 46103.757
AT ITER 3139 NEW BEST:: SOT 206008 SOS 65650 HAS SOPS 58830 HAS SOUS 48394 HAS SOUPS 46019 WITH SCORE 46084.65
AT ITER 3158 NEW BEST:: SOT 206007 SOS 65648 HAS SOPS 58828 HAS SOUS 48392 HAS SOUPS 46017 WITH SCORE 46082.648
AT ITER 3209 NEW BEST:: SOT 205810 SOS 65582 HAS SOPS 58790 HAS SOUS 48213 HAS SOUPS 45838 WITH SCORE 45903.582
AT ITER 3228 NEW BEST:: SOT 205760 SOS 65544 HAS SOPS 58722 HAS SOUS 48145 HAS SOUPS 45770 WITH SCORE 45835.544
AT ITER 3231 NEW BEST:: SOT 205718 SOS 65512 HAS SOPS 58690 HAS SOUS 48113 HAS SOUPS 45738 WITH SCORE 45803.512
AT ITER 3247 NEW BEST:: SOT 205716 SOS 65508 HAS SOPS 58688 HAS SOUS 48111 HAS SOUPS 45736 WITH SCORE 45801.508
AT ITER 3264 NEW BEST:: SOT 205586 SOS 65316 HAS SOPS 58496 HAS SOUS 47919 HAS SOUPS 45544 WITH SCORE 45609.316
AT ITER 3297 NEW BEST:: SOT 205582 SOS 65304 HAS SOPS 58492 HAS SOUS 47915 HAS SOUPS 45540 WITH SCORE 45605.304
AT ITER 3310 NEW BEST:: SOT 205580 SOS 65302 HAS SOPS 58490 HAS SOUS 47913 HAS SOUPS 45538 WITH SCORE 45603.302
AT ITER 3313 NEW BEST:: SOT 205560 SOS 65266 HAS SOPS 58454 HAS SOUS 47877 HAS SOUPS 45502 WITH SCORE 45567.266
AT ITER 3319 NEW BEST:: SOT 205552 SOS 65210 HAS SOPS 58438 HAS SOUS 47836 HAS SOUPS 45486 WITH SCORE 45551.21
AT ITER 3334 NEW BEST:: SOT 205542 SOS 65198 HAS SOPS 58426 HAS SOUS 47824 HAS SOUPS 45474 WITH SCORE 45539.198
AT ITER 3368 NEW BEST:: SOT 205477 SOS 65085 HAS SOPS 58313 HAS SOUS 47742 HAS SOUPS 45392 WITH SCORE 45457.085
AT ITER 3378 NEW BEST:: SOT 205451 SOS 65033 HAS SOPS 58261 HAS SOUS 47690 HAS SOUPS 45340 WITH SCORE 45405.033
AT ITER 3384 NEW BEST:: SOT 205451 SOS 64921 HAS SOPS 58149 HAS SOUS 47690 HAS SOUPS 45340 WITH SCORE 45404.921
AT ITER 3443 NEW BEST:: SOT 205445 SOS 64907 HAS SOPS 58135 HAS SOUS 47676 HAS SOUPS 45326 WITH SCORE 45390.907
AT ITER 3483 NEW BEST:: SOT 205411 SOS 64906 HAS SOPS 58094 HAS SOUS 47658 HAS SOUPS 45300 WITH SCORE 45364.906
AT ITER 3485 NEW BEST:: SOT 205266 SOS 64643 HAS SOPS 57942 HAS SOUS 47496 HAS SOUPS 45138 WITH SCORE 45202.643
AT ITER 3486 NEW BEST:: SOT 205266 SOS 64643 HAS SOPS 57932 HAS SOUS 47486 HAS SOUPS 45128 WITH SCORE 45192.643
AT ITER 3527 NEW BEST:: SOT 205258 SOS 64648 HAS SOPS 57916 HAS SOUS 47470 HAS SOUPS 45112 WITH SCORE 45176.648
AT ITER 3565 NEW BEST:: SOT 205238 SOS 64608 HAS SOPS 57876 HAS SOUS 47430 HAS SOUPS 45072 WITH SCORE 45136.608
AT ITER 3569 NEW BEST:: SOT 205238 SOS 64587 HAS SOPS 57876 HAS SOUS 47430 HAS SOUPS 45072 WITH SCORE 45136.587
AT ITER 3575 NEW BEST:: SOT 205215 SOS 64541 HAS SOPS 57830 HAS SOUS 47384 HAS SOUPS 45026 WITH SCORE 45090.541
AT ITER 3577 NEW BEST:: SOT 205211 SOS 64537 HAS SOPS 57830 HAS SOUS 47380 HAS SOUPS 45026 WITH SCORE 45090.537
AT ITER 3584 NEW BEST:: SOT 205307 SOS 65265 HAS SOPS 58463 HAS SOUS 47363 HAS SOUPS 45009 WITH SCORE 45074.265
AT ITER 3591 NEW BEST:: SOT 205296 SOS 64999 HAS SOPS 58197 HAS SOUS 47341 HAS SOUPS 44987 WITH SCORE 45051.999
AT ITER 3611 NEW BEST:: SOT 205313 SOS 65033 HAS SOPS 58231 HAS SOUS 47337 HAS SOUPS 44983 WITH SCORE 45048.033
AT ITER 3630 NEW BEST:: SOT 205303 SOS 65013 HAS SOPS 58211 HAS SOUS 47322 HAS SOUPS 44968 WITH SCORE 45033.013
AT ITER 3643 NEW BEST:: SOT 205341 SOS 64874 HAS SOPS 58072 HAS SOUS 47183 HAS SOUPS 44829 WITH SCORE 44893.874
AT ITER 3645 NEW BEST:: SOT 205277 SOS 65772 HAS SOPS 57964 HAS SOUS 47174 HAS SOUPS 44738 WITH SCORE 44803.772
AT ITER 3652 NEW BEST:: SOT 205277 SOS 65540 HAS SOPS 57732 HAS SOUS 47174 HAS SOUPS 44738 WITH SCORE 44803.54
AT ITER 3658 NEW BEST:: SOT 205277 SOS 65490 HAS SOPS 57732 HAS SOUS 47174 HAS SOUPS 44738 WITH SCORE 44803.49
AT ITER 3678 NEW BEST:: SOT 205265 SOS 65466 HAS SOPS 57708 HAS SOUS 47150 HAS SOUPS 44714 WITH SCORE 44779.466
AT ITER 3692 NEW BEST:: SOT 205216 SOS 65155 HAS SOPS 57397 HAS SOUS 47123 HAS SOUPS 44687 WITH SCORE 44752.155
AT ITER 3708 NEW BEST:: SOT 205197 SOS 65117 HAS SOPS 57359 HAS SOUS 47085 HAS SOUPS 44649 WITH SCORE 44714.117
AT ITER 3768 NEW BEST:: SOT 205168 SOS 65419 HAS SOPS 57661 HAS SOUS 47027 HAS SOUPS 44591 WITH SCORE 44656.419
AT ITER 3777 NEW BEST:: SOT 205166 SOS 65415 HAS SOPS 57657 HAS SOUS 47023 HAS SOUPS 44587 WITH SCORE 44652.415
AT ITER 3786 NEW BEST:: SOT 205140 SOS 65389 HAS SOPS 57617 HAS SOUS 46997 HAS SOUPS 44547 WITH SCORE 44612.389
AT ITER 3794 NEW BEST:: SOT 205132 SOS 65373 HAS SOPS 57601 HAS SOUS 46981 HAS SOUPS 44531 WITH SCORE 44596.373
AT ITER 3798 NEW BEST:: SOT 205094 SOS 65352 HAS SOPS 57580 HAS SOUS 46960 HAS SOUPS 44510 WITH SCORE 44575.352
AT ITER 3810 NEW BEST:: SOT 205086 SOS 65325 HAS SOPS 57564 HAS SOUS 46944 HAS SOUPS 44494 WITH SCORE 44559.325
AT ITER 3878 NEW BEST:: SOT 205053 SOS 65195 HAS SOPS 57562 HAS SOUS 46942 HAS SOUPS 44492 WITH SCORE 44557.195
AT ITER 3886 NEW BEST:: SOT 205044 SOS 65139 HAS SOPS 57544 HAS SOUS 46924 HAS SOUPS 44474 WITH SCORE 44539.139
AT ITER 3887 NEW BEST:: SOT 205044 SOS 64987 HAS SOPS 57392 HAS SOUS 46924 HAS SOUPS 44474 WITH SCORE 44538.987
AT ITER 3912 NEW BEST:: SOT 205021 SOS 64967 HAS SOPS 57346 HAS SOUS 46904 HAS SOUPS 44428 WITH SCORE 44492.967
AT ITER 3914 NEW BEST:: SOT 205017 SOS 64959 HAS SOPS 57338 HAS SOUS 46896 HAS SOUPS 44420 WITH SCORE 44484.959
AT ITER 3919 NEW BEST:: SOT 205017 SOS 64854 HAS SOPS 57233 HAS SOUS 46894 HAS SOUPS 44418 WITH SCORE 44482.854
AT ITER 3934 NEW BEST:: SOT 205000 SOS 64820 HAS SOPS 57199 HAS SOUS 46860 HAS SOUPS 44384 WITH SCORE 44448.82
AT ITER 3936 NEW BEST:: SOT 205000 SOS 64820 HAS SOPS 57199 HAS SOUS 46805 HAS SOUPS 44329 WITH SCORE 44393.82
AT ITER 3948 NEW BEST:: SOT 204992 SOS 64804 HAS SOPS 57183 HAS SOUS 46789 HAS SOUPS 44313 WITH SCORE 44377.804
AT ITER 3968 NEW BEST:: SOT 204843 SOS 64506 HAS SOPS 56885 HAS SOUS 46491 HAS SOUPS 44015 WITH SCORE 44079.506
AT ITER 3971 NEW BEST:: SOT 204831 SOS 64482 HAS SOPS 56861 HAS SOUS 46467 HAS SOUPS 43991 WITH SCORE 44055.482
AT ITER 3980 NEW BEST:: SOT 204820 SOS 64460 HAS SOPS 56839 HAS SOUS 46445 HAS SOUPS 43969 WITH SCORE 44033.46
AT ITER 4000 NEW BEST:: SOT 204823 SOS 64463 HAS SOPS 56834 HAS SOUS 46440 HAS SOUPS 43960 WITH SCORE 44024.463
AT ITER 4003 NEW BEST:: SOT 204823 SOS 64452 HAS SOPS 56823 HAS SOUS 46429 HAS SOUPS 43949 WITH SCORE 44013.452
AT ITER 4036 NEW BEST:: SOT 204815 SOS 64426 HAS SOPS 56797 HAS SOUS 46426 HAS SOUPS 43946 WITH SCORE 44010.426
AT ITER 4041 NEW BEST:: SOT 204817 SOS 64401 HAS SOPS 56772 HAS SOUS 46401 HAS SOUPS 43921 WITH SCORE 43985.401
AT ITER 4053 NEW BEST:: SOT 204817 SOS 64358 HAS SOPS 56772 HAS SOUS 46401 HAS SOUPS 43921 WITH SCORE 43985.358
AT ITER 4064 NEW BEST:: SOT 204812 SOS 64346 HAS SOPS 56760 HAS SOUS 46385 HAS SOUPS 43905 WITH SCORE 43969.346
AT ITER 4068 NEW BEST:: SOT 204800 SOS 64333 HAS SOPS 56747 HAS SOUS 46361 HAS SOUPS 43881 WITH SCORE 43945.333
AT ITER 4079 NEW BEST:: SOT 204779 SOS 63907 HAS SOPS 56321 HAS SOUS 46277 HAS SOUPS 43797 WITH SCORE 43860.907
AT ITER 4082 NEW BEST:: SOT 204772 SOS 63893 HAS SOPS 56307 HAS SOUS 46263 HAS SOUPS 43783 WITH SCORE 43846.893
AT ITER 4100 NEW BEST:: SOT 204778 SOS 64083 HAS SOPS 56441 HAS SOUS 46249 HAS SOUPS 43771 WITH SCORE 43835.083
AT ITER 4122 NEW BEST:: SOT 204750 SOS 64106 HAS SOPS 56427 HAS SOUS 46298 HAS SOUPS 43757 WITH SCORE 43821.106
AT ITER 4138 NEW BEST:: SOT 204744 SOS 64085 HAS SOPS 56415 HAS SOUS 46286 HAS SOUPS 43745 WITH SCORE 43809.085
AT ITER 4147 NEW BEST:: SOT 204715 SOS 64045 HAS SOPS 56357 HAS SOUS 46246 HAS SOUPS 43687 WITH SCORE 43751.045
AT ITER 4151 NEW BEST:: SOT 204647 SOS 63882 HAS SOPS 56221 HAS SOUS 46099 HAS SOUPS 43540 WITH SCORE 43603.882
AT ITER 4153 NEW BEST:: SOT 204642 SOS 63872 HAS SOPS 56211 HAS SOUS 46089 HAS SOUPS 43530 WITH SCORE 43593.872
AT ITER 4156 NEW BEST:: SOT 204634 SOS 63856 HAS SOPS 56195 HAS SOUS 46073 HAS SOUPS 43514 WITH SCORE 43577.856
AT ITER 4164 NEW BEST:: SOT 204654 SOS 63818 HAS SOPS 56152 HAS SOUS 46060 HAS SOUPS 43501 WITH SCORE 43564.818
AT ITER 4185 NEW BEST:: SOT 204699 SOS 63855 HAS SOPS 56197 HAS SOUS 46010 HAS SOUPS 43456 WITH SCORE 43519.855
AT ITER 4187 NEW BEST:: SOT 204689 SOS 63835 HAS SOPS 56177 HAS SOUS 45990 HAS SOUPS 43436 WITH SCORE 43499.835
AT ITER 4189 NEW BEST:: SOT 204669 SOS 63826 HAS SOPS 56173 HAS SOUS 45954 HAS SOUPS 43432 WITH SCORE 43495.826
AT ITER 4196 NEW BEST:: SOT 204669 SOS 63812 HAS SOPS 56159 HAS SOUS 45954 HAS SOUPS 43432 WITH SCORE 43495.812
AT ITER 4212 NEW BEST:: SOT 204667 SOS 63806 HAS SOPS 56153 HAS SOUS 45950 HAS SOUPS 43428 WITH SCORE 43491.806
AT ITER 4230 NEW BEST:: SOT 204667 SOS 63793 HAS SOPS 56140 HAS SOUS 45950 HAS SOUPS 43428 WITH SCORE 43491.793
AT ITER 4260 NEW BEST:: SOT 204603 SOS 63652 HAS SOPS 55999 HAS SOUS 45809 HAS SOUPS 43287 WITH SCORE 43350.652
AT ITER 4272 NEW BEST:: SOT 204596 SOS 63603 HAS SOPS 55950 HAS SOUS 45795 HAS SOUPS 43273 WITH SCORE 43336.603
AT ITER 4302 NEW BEST:: SOT 204543 SOS 63492 HAS SOPS 55839 HAS SOUS 45684 HAS SOUPS 43162 WITH SCORE 43225.492
AT ITER 4308 NEW BEST:: SOT 204499 SOS 63399 HAS SOPS 55838 HAS SOUS 45683 HAS SOUPS 43161 WITH SCORE 43224.399
AT ITER 4313 NEW BEST:: SOT 204499 SOS 63354 HAS SOPS 55793 HAS SOUS 45683 HAS SOUPS 43161 WITH SCORE 43224.354
AT ITER 4314 NEW BEST:: SOT 204426 SOS 63229 HAS SOPS 55623 HAS SOUS 45513 HAS SOUPS 42991 WITH SCORE 43054.229
AT ITER 4322 NEW BEST:: SOT 204426 SOS 63227 HAS SOPS 55621 HAS SOUS 45513 HAS SOUPS 42991 WITH SCORE 43054.227
AT ITER 4336 NEW BEST:: SOT 204415 SOS 63205 HAS SOPS 55599 HAS SOUS 45491 HAS SOUPS 42969 WITH SCORE 43032.205
AT ITER 4359 NEW BEST:: SOT 204408 SOS 63198 HAS SOPS 55585 HAS SOUS 45477 HAS SOUPS 42955 WITH SCORE 43018.198
AT ITER 4362 NEW BEST:: SOT 204404 SOS 63190 HAS SOPS 55577 HAS SOUS 45469 HAS SOUPS 42947 WITH SCORE 43010.19
AT ITER 4364 NEW BEST:: SOT 204385 SOS 63152 HAS SOPS 55539 HAS SOUS 45431 HAS SOUPS 42909 WITH SCORE 42972.152
AT ITER 4367 NEW BEST:: SOT 204341 SOS 63064 HAS SOPS 55451 HAS SOUS 45343 HAS SOUPS 42821 WITH SCORE 42884.064
AT ITER 4374 NEW BEST:: SOT 204341 SOS 63040 HAS SOPS 55427 HAS SOUS 45337 HAS SOUPS 42815 WITH SCORE 42878.04
AT ITER 4418 NEW BEST:: SOT 204341 SOS 63040 HAS SOPS 55420 HAS SOUS 45330 HAS SOUPS 42808 WITH SCORE 42871.04
AT ITER 4440 NEW BEST:: SOT 204333 SOS 63046 HAS SOPS 55415 HAS SOUS 45325 HAS SOUPS 42803 WITH SCORE 42866.046
AT ITER 4450 NEW BEST:: SOT 204279 SOS 62938 HAS SOPS 55307 HAS SOUS 45217 HAS SOUPS 42695 WITH SCORE 42757.938
AT ITER 4529 NEW BEST:: SOT 204269 SOS 62918 HAS SOPS 55287 HAS SOUS 45197 HAS SOUPS 42675 WITH SCORE 42737.918
AT ITER 4541 NEW BEST:: SOT 204261 SOS 62910 HAS SOPS 55279 HAS SOUS 45181 HAS SOUPS 42659 WITH SCORE 42721.91
AT ITER 4548 NEW BEST:: SOT 204177 SOS 62844 HAS SOPS 55167 HAS SOUS 45121 HAS SOUPS 42585 WITH SCORE 42647.844
AT ITER 4553 NEW BEST:: SOT 204165 SOS 62840 HAS SOPS 55159 HAS SOUS 45113 HAS SOUPS 42577 WITH SCORE 42639.84
AT ITER 4557 NEW BEST:: SOT 204151 SOS 62812 HAS SOPS 55131 HAS SOUS 45085 HAS SOUPS 42549 WITH SCORE 42611.812
AT ITER 4578 NEW BEST:: SOT 204131 SOS 62908 HAS SOPS 55211 HAS SOUS 45069 HAS SOUPS 42533 WITH SCORE 42595.908
AT ITER 4588 NEW BEST:: SOT 204133 SOS 62825 HAS SOPS 55103 HAS SOUS 44961 HAS SOUPS 42425 WITH SCORE 42487.825
AT ITER 4597 NEW BEST:: SOT 204116 SOS 62791 HAS SOPS 55069 HAS SOUS 44912 HAS SOUPS 42376 WITH SCORE 42438.791
AT ITER 4612 NEW BEST:: SOT 204116 SOS 62738 HAS SOPS 55016 HAS SOUS 44912 HAS SOUPS 42376 WITH SCORE 42438.738
AT ITER 4615 NEW BEST:: SOT 204094 SOS 62691 HAS SOPS 54969 HAS SOUS 44875 HAS SOUPS 42339 WITH SCORE 42401.691
AT ITER 4670 NEW BEST:: SOT 204068 SOS 62643 HAS SOPS 54917 HAS SOUS 44832 HAS SOUPS 42296 WITH SCORE 42358.643
AT ITER 4674 NEW BEST:: SOT 203986 SOS 62610 HAS SOPS 54886 HAS SOUS 44775 HAS SOUPS 42239 WITH SCORE 42301.61
AT ITER 4676 NEW BEST:: SOT 203766 SOS 63303 HAS SOPS 54295 HAS SOUS 44904 HAS SOUPS 42220 WITH SCORE 42283.303
AT ITER 4678 NEW BEST:: SOT 203756 SOS 63283 HAS SOPS 54275 HAS SOUS 44884 HAS SOUPS 42200 WITH SCORE 42263.283
AT ITER 4708 NEW BEST:: SOT 203718 SOS 63311 HAS SOPS 54303 HAS SOUS 44846 HAS SOUPS 42162 WITH SCORE 42225.311
AT ITER 4723 NEW BEST:: SOT 203620 SOS 63365 HAS SOPS 54253 HAS SOUS 44864 HAS SOUPS 42156 WITH SCORE 42219.365
AT ITER 4736 NEW BEST:: SOT 203613 SOS 63326 HAS SOPS 54214 HAS SOUS 44847 HAS SOUPS 42139 WITH SCORE 42202.326
AT ITER 4748 NEW BEST:: SOT 203610 SOS 63320 HAS SOPS 54208 HAS SOUS 44841 HAS SOUPS 42133 WITH SCORE 42196.32
AT ITER 4806 NEW BEST:: SOT 203558 SOS 63242 HAS SOPS 54104 HAS SOUS 44737 HAS SOUPS 42029 WITH SCORE 42092.242
AT ITER 4808 NEW BEST:: SOT 203511 SOS 63203 HAS SOPS 54069 HAS SOUS 44698 HAS SOUPS 41994 WITH SCORE 42057.203
AT ITER 4822 NEW BEST:: SOT 203495 SOS 63213 HAS SOPS 54037 HAS SOUS 44666 HAS SOUPS 41962 WITH SCORE 42025.213
AT ITER 4830 NEW BEST:: SOT 203495 SOS 63111 HAS SOPS 53935 HAS SOUS 44666 HAS SOUPS 41962 WITH SCORE 42025.111
AT ITER 4837 NEW BEST:: SOT 203486 SOS 63093 HAS SOPS 53917 HAS SOUS 44648 HAS SOUPS 41944 WITH SCORE 42007.093
AT ITER 4843 NEW BEST:: SOT 203483 SOS 63084 HAS SOPS 53911 HAS SOUS 44645 HAS SOUPS 41941 WITH SCORE 42004.084
AT ITER 4864 NEW BEST:: SOT 203486 SOS 63090 HAS SOPS 53917 HAS SOUS 44644 HAS SOUPS 41940 WITH SCORE 42003.09
AT ITER 4870 NEW BEST:: SOT 203457 SOS 63032 HAS SOPS 53859 HAS SOUS 44586 HAS SOUPS 41882 WITH SCORE 41945.032
AT ITER 4871 NEW BEST:: SOT 203450 SOS 63018 HAS SOPS 53845 HAS SOUS 44572 HAS SOUPS 41868 WITH SCORE 41931.018
AT ITER 4888 NEW BEST:: SOT 203386 SOS 63009 HAS SOPS 53893 HAS SOUS 44538 HAS SOUPS 41836 WITH SCORE 41899.009
AT ITER 4894 NEW BEST:: SOT 203386 SOS 63009 HAS SOPS 53887 HAS SOUS 44532 HAS SOUPS 41830 WITH SCORE 41893.009
AT ITER 4918 NEW BEST:: SOT 203357 SOS 62966 HAS SOPS 53846 HAS SOUS 44491 HAS SOUPS 41789 WITH SCORE 41851.966
AT ITER 4934 NEW BEST:: SOT 203357 SOS 62946 HAS SOPS 53846 HAS SOUS 44491 HAS SOUPS 41789 WITH SCORE 41851.946
AT ITER 4937 NEW BEST:: SOT 203335 SOS 62760 HAS SOPS 53660 HAS SOUS 44436 HAS SOUPS 41734 WITH SCORE 41796.76
AT ITER 4967 NEW BEST:: SOT 203335 SOS 62447 HAS SOPS 53672 HAS SOUS 44385 HAS SOUPS 41708 WITH SCORE 41770.447
AT ITER 4972 NEW BEST:: SOT 203400 SOS 62471 HAS SOPS 53650 HAS SOUS 44363 HAS SOUPS 41686 WITH SCORE 41748.471
AT ITER 4986 NEW BEST:: SOT 203375 SOS 62476 HAS SOPS 53654 HAS SOUS 44331 HAS SOUPS 41654 WITH SCORE 41716.476
AT ITER 4988 NEW BEST:: SOT 203323 SOS 62372 HAS SOPS 53550 HAS SOUS 44227 HAS SOUPS 41550 WITH SCORE 41612.372
AT ITER 5006 NEW BEST:: SOT 203301 SOS 62328 HAS SOPS 53506 HAS SOUS 44183 HAS SOUPS 41506 WITH SCORE 41568.328
AT ITER 5007 NEW BEST:: SOT 203266 SOS 62293 HAS SOPS 53464 HAS SOUS 44139 HAS SOUPS 41464 WITH SCORE 41526.293
AT ITER 5025 NEW BEST:: SOT 203223 SOS 62207 HAS SOPS 53378 HAS SOUS 44053 HAS SOUPS 41378 WITH SCORE 41440.207
AT ITER 5026 NEW BEST:: SOT 203241 SOS 62236 HAS SOPS 53396 HAS SOUS 44051 HAS SOUPS 41376 WITH SCORE 41438.236
AT ITER 5037 NEW BEST:: SOT 203228 SOS 62218 HAS SOPS 53378 HAS SOUS 44033 HAS SOUPS 41358 WITH SCORE 41420.218
AT ITER 5045 NEW BEST:: SOT 203211 SOS 62284 HAS SOPS 53444 HAS SOUS 44016 HAS SOUPS 41341 WITH SCORE 41403.284
AT ITER 5068 NEW BEST:: SOT 203197 SOS 62256 HAS SOPS 53416 HAS SOUS 43988 HAS SOUPS 41313 WITH SCORE 41375.256
AT ITER 5100 NEW BEST:: SOT 203149 SOS 62176 HAS SOPS 53336 HAS SOUS 43908 HAS SOUPS 41233 WITH SCORE 41295.176
AT ITER 5107 NEW BEST:: SOT 203149 SOS 62136 HAS SOPS 53296 HAS SOUS 43908 HAS SOUPS 41233 WITH SCORE 41295.136
AT ITER 5117 NEW BEST:: SOT 203141 SOS 62165 HAS SOPS 53316 HAS SOUS 43892 HAS SOUPS 41217 WITH SCORE 41279.165
AT ITER 5132 NEW BEST:: SOT 203140 SOS 62163 HAS SOPS 53314 HAS SOUS 43890 HAS SOUPS 41215 WITH SCORE 41277.163
AT ITER 5142 NEW BEST:: SOT 203119 SOS 62111 HAS SOPS 53272 HAS SOUS 43848 HAS SOUPS 41173 WITH SCORE 41235.111
AT ITER 5144 NEW BEST:: SOT 203111 SOS 62100 HAS SOPS 53253 HAS SOUS 43832 HAS SOUPS 41157 WITH SCORE 41219.1
AT ITER 5209 NEW BEST:: SOT 203050 SOS 62092 HAS SOPS 53245 HAS SOUS 43825 HAS SOUPS 41150 WITH SCORE 41212.092
AT ITER 5234 NEW BEST:: SOT 203048 SOS 62167 HAS SOPS 53185 HAS SOUS 43821 HAS SOUPS 41146 WITH SCORE 41208.167
AT ITER 5240 NEW BEST:: SOT 203048 SOS 61866 HAS SOPS 53160 HAS SOUS 43771 HAS SOUPS 41121 WITH SCORE 41182.866
AT ITER 5265 NEW BEST:: SOT 203032 SOS 61985 HAS SOPS 53279 HAS SOUS 43739 HAS SOUPS 41089 WITH SCORE 41150.985
AT ITER 5267 NEW BEST:: SOT 203001 SOS 61906 HAS SOPS 53217 HAS SOUS 43677 HAS SOUPS 41027 WITH SCORE 41088.906
AT ITER 5273 NEW BEST:: SOT 203020 SOS 61594 HAS SOPS 52905 HAS SOUS 43665 HAS SOUPS 41015 WITH SCORE 41076.594
AT ITER 5283 NEW BEST:: SOT 203030 SOS 61574 HAS SOPS 52877 HAS SOUS 43637 HAS SOUPS 40987 WITH SCORE 41048.574
AT ITER 5295 NEW BEST:: SOT 203023 SOS 61560 HAS SOPS 52863 HAS SOUS 43623 HAS SOUPS 40973 WITH SCORE 41034.56
AT ITER 5302 NEW BEST:: SOT 203022 SOS 61559 HAS SOPS 52861 HAS SOUS 43622 HAS SOUPS 40971 WITH SCORE 41032.559
AT ITER 5303 NEW BEST:: SOT 202982 SOS 61519 HAS SOPS 52741 HAS SOUS 43502 HAS SOUPS 40851 WITH SCORE 40912.519
AT ITER 5312 NEW BEST:: SOT 202594 SOS 64618 HAS SOPS 52612 HAS SOUS 43792 HAS SOUPS 40844 WITH SCORE 40908.618
AT ITER 5323 NEW BEST:: SOT 202594 SOS 64543 HAS SOPS 52612 HAS SOUS 43792 HAS SOUPS 40844 WITH SCORE 40908.543
AT ITER 5331 NEW BEST:: SOT 202594 SOS 64508 HAS SOPS 52612 HAS SOUS 43792 HAS SOUPS 40844 WITH SCORE 40908.508
AT ITER 5375 NEW BEST:: SOT 202599 SOS 64331 HAS SOPS 52435 HAS SOUS 43736 HAS SOUPS 40788 WITH SCORE 40852.331
AT ITER 5378 NEW BEST:: SOT 202570 SOS 64314 HAS SOPS 52432 HAS SOUS 43700 HAS SOUPS 40752 WITH SCORE 40816.314
AT ITER 5382 NEW BEST:: SOT 202570 SOS 64208 HAS SOPS 52350 HAS SOUS 43652 HAS SOUPS 40704 WITH SCORE 40768.208
AT ITER 5416 NEW BEST:: SOT 202519 SOS 64157 HAS SOPS 52248 HAS SOUS 43550 HAS SOUPS 40602 WITH SCORE 40666.157
AT ITER 5418 NEW BEST:: SOT 202508 SOS 64076 HAS SOPS 52167 HAS SOUS 43528 HAS SOUPS 40580 WITH SCORE 40644.076
AT ITER 5420 NEW BEST:: SOT 202475 SOS 63969 HAS SOPS 52101 HAS SOUS 43462 HAS SOUPS 40514 WITH SCORE 40577.969
AT ITER 5426 NEW BEST:: SOT 202471 SOS 63961 HAS SOPS 52093 HAS SOUS 43454 HAS SOUPS 40506 WITH SCORE 40569.961
AT ITER 5427 NEW BEST:: SOT 202446 SOS 64048 HAS SOPS 52070 HAS SOUS 43449 HAS SOUPS 40491 WITH SCORE 40555.048
AT ITER 5431 NEW BEST:: SOT 202436 SOS 64028 HAS SOPS 52050 HAS SOUS 43429 HAS SOUPS 40471 WITH SCORE 40535.028
AT ITER 5457 NEW BEST:: SOT 202433 SOS 64022 HAS SOPS 52044 HAS SOUS 43423 HAS SOUPS 40465 WITH SCORE 40529.022
AT ITER 5468 NEW BEST:: SOT 202422 SOS 64000 HAS SOPS 52022 HAS SOUS 43401 HAS SOUPS 40443 WITH SCORE 40507.0
AT ITER 5472 NEW BEST:: SOT 202391 SOS 63974 HAS SOPS 51960 HAS SOUS 43339 HAS SOUPS 40381 WITH SCORE 40444.974
AT ITER 5489 NEW BEST:: SOT 202367 SOS 63892 HAS SOPS 51878 HAS SOUS 43269 HAS SOUPS 40311 WITH SCORE 40374.892
AT ITER 5503 NEW BEST:: SOT 202367 SOS 63889 HAS SOPS 51875 HAS SOUS 43269 HAS SOUPS 40311 WITH SCORE 40374.889
AT ITER 5527 NEW BEST:: SOT 202367 SOS 63381 HAS SOPS 51875 HAS SOUS 43237 HAS SOUPS 40311 WITH SCORE 40374.381
AT ITER 5534 NEW BEST:: SOT 202350 SOS 63350 HAS SOPS 51860 HAS SOUS 43206 HAS SOUPS 40296 WITH SCORE 40359.35
AT ITER 5552 NEW BEST:: SOT 202350 SOS 63313 HAS SOPS 51860 HAS SOUS 43206 HAS SOUPS 40296 WITH SCORE 40359.313
AT ITER 5562 NEW BEST:: SOT 202318 SOS 62926 HAS SOPS 51473 HAS SOUS 43103 HAS SOUPS 40193 WITH SCORE 40255.926
AT ITER 5567 NEW BEST:: SOT 202317 SOS 62906 HAS SOPS 51453 HAS SOUS 43083 HAS SOUPS 40173 WITH SCORE 40235.906
AT ITER 5609 NEW BEST:: SOT 202307 SOS 62882 HAS SOPS 51445 HAS SOUS 43079 HAS SOUPS 40169 WITH SCORE 40231.882
AT ITER 5618 NEW BEST:: SOT 202307 SOS 62876 HAS SOPS 51445 HAS SOUS 43079 HAS SOUPS 40169 WITH SCORE 40231.876
AT ITER 5632 NEW BEST:: SOT 202282 SOS 62846 HAS SOPS 51415 HAS SOUS 43049 HAS SOUPS 40139 WITH SCORE 40201.846
AT ITER 5638 NEW BEST:: SOT 201904 SOS 65043 HAS SOPS 50822 HAS SOUS 43238 HAS SOUPS 40045 WITH SCORE 40110.043
AT ITER 5650 NEW BEST:: SOT 201898 SOS 65052 HAS SOPS 50844 HAS SOUS 43176 HAS SOUPS 39996 WITH SCORE 40061.052
AT ITER 5654 NEW BEST:: SOT 201916 SOS 64962 HAS SOPS 50754 HAS SOUS 43086 HAS SOUPS 39906 WITH SCORE 39970.962
AT ITER 5697 NEW BEST:: SOT 201912 SOS 64954 HAS SOPS 50746 HAS SOUS 43078 HAS SOUPS 39898 WITH SCORE 39962.954
AT ITER 5707 NEW BEST:: SOT 201894 SOS 64941 HAS SOPS 50724 HAS SOUS 43068 HAS SOUPS 39885 WITH SCORE 39949.941
AT ITER 5715 NEW BEST:: SOT 202053 SOS 65077 HAS SOPS 50695 HAS SOUS 43177 HAS SOUPS 39883 WITH SCORE 39948.077
AT ITER 5732 NEW BEST:: SOT 202053 SOS 65013 HAS SOPS 50631 HAS SOUS 43177 HAS SOUPS 39883 WITH SCORE 39948.013
AT ITER 5746 NEW BEST:: SOT 202028 SOS 64963 HAS SOPS 50604 HAS SOUS 43150 HAS SOUPS 39856 WITH SCORE 39920.963
AT ITER 5759 NEW BEST:: SOT 202021 SOS 64949 HAS SOPS 50590 HAS SOUS 43136 HAS SOUPS 39842 WITH SCORE 39906.949
AT ITER 5767 NEW BEST:: SOT 202021 SOS 64879 HAS SOPS 50520 HAS SOUS 43116 HAS SOUPS 39822 WITH SCORE 39886.879
AT ITER 5777 NEW BEST:: SOT 202027 SOS 65401 HAS SOPS 50838 HAS SOUS 43026 HAS SOUPS 39732 WITH SCORE 39797.401
AT ITER 5781 NEW BEST:: SOT 201990 SOS 65216 HAS SOPS 50690 HAS SOUS 43026 HAS SOUPS 39732 WITH SCORE 39797.216
AT ITER 5795 NEW BEST:: SOT 201988 SOS 65212 HAS SOPS 50686 HAS SOUS 43022 HAS SOUPS 39728 WITH SCORE 39793.212
AT ITER 5854 NEW BEST:: SOT 201945 SOS 65169 HAS SOPS 50622 HAS SOUS 42958 HAS SOUPS 39664 WITH SCORE 39729.169
AT ITER 5859 NEW BEST:: SOT 201945 SOS 65178 HAS SOPS 50613 HAS SOUS 42949 HAS SOUPS 39655 WITH SCORE 39720.178
AT ITER 5867 NEW BEST:: SOT 201791 SOS 65248 HAS SOPS 50412 HAS SOUS 42954 HAS SOUPS 39611 WITH SCORE 39676.248
AT ITER 5880 NEW BEST:: SOT 201790 SOS 65246 HAS SOPS 50410 HAS SOUS 42952 HAS SOUPS 39609 WITH SCORE 39674.246
AT ITER 5921 NEW BEST:: SOT 201760 SOS 65200 HAS SOPS 50364 HAS SOUS 42906 HAS SOUPS 39563 WITH SCORE 39628.2
AT ITER 5959 NEW BEST:: SOT 201730 SOS 65026 HAS SOPS 50190 HAS SOUS 42840 HAS SOUPS 39497 WITH SCORE 39562.026
AT ITER 5961 NEW BEST:: SOT 201720 SOS 65006 HAS SOPS 50170 HAS SOUS 42828 HAS SOUPS 39485 WITH SCORE 39550.006
AT ITER 5973 NEW BEST:: SOT 201717 SOS 65000 HAS SOPS 50164 HAS SOUS 42822 HAS SOUPS 39479 WITH SCORE 39544.0
AT ITER 5979 NEW BEST:: SOT 201717 SOS 65000 HAS SOPS 50164 HAS SOUS 42809 HAS SOUPS 39466 WITH SCORE 39531.0
AT ITER 6006 NEW BEST:: SOT 201717 SOS 64992 HAS SOPS 50156 HAS SOUS 42809 HAS SOUPS 39466 WITH SCORE 39530.992
AT ITER 6035 NEW BEST:: SOT 201745 SOS 64964 HAS SOPS 50114 HAS SOUS 42809 HAS SOUPS 39466 WITH SCORE 39530.964
AT ITER 6038 NEW BEST:: SOT 201745 SOS 64951 HAS SOPS 50101 HAS SOUS 42809 HAS SOUPS 39466 WITH SCORE 39530.951
AT ITER 6039 NEW BEST:: SOT 201731 SOS 64943 HAS SOPS 50073 HAS SOUS 42801 HAS SOUPS 39438 WITH SCORE 39502.943
AT ITER 6042 NEW BEST:: SOT 201637 SOS 64884 HAS SOPS 49959 HAS SOUS 42703 HAS SOUPS 39325 WITH SCORE 39389.884
AT ITER 6043 NEW BEST:: SOT 201625 SOS 64860 HAS SOPS 49935 HAS SOUS 42679 HAS SOUPS 39301 WITH SCORE 39365.86
AT ITER 6066 NEW BEST:: SOT 201625 SOS 64836 HAS SOPS 49935 HAS SOUS 42679 HAS SOUPS 39301 WITH SCORE 39365.836
AT ITER 6069 NEW BEST:: SOT 201529 SOS 64769 HAS SOPS 49921 HAS SOUS 42665 HAS SOUPS 39287 WITH SCORE 39351.769
AT ITER 6072 NEW BEST:: SOT 201475 SOS 64715 HAS SOPS 49858 HAS SOUS 42650 HAS SOUPS 39272 WITH SCORE 39336.715
AT ITER 6128 NEW BEST:: SOT 201471 SOS 64707 HAS SOPS 49850 HAS SOUS 42642 HAS SOUPS 39264 WITH SCORE 39328.707
AT ITER 6141 NEW BEST:: SOT 201464 SOS 64697 HAS SOPS 49840 HAS SOUS 42628 HAS SOUPS 39250 WITH SCORE 39314.697
AT ITER 6147 NEW BEST:: SOT 201418 SOS 64659 HAS SOPS 49857 HAS SOUS 42600 HAS SOUPS 39222 WITH SCORE 39286.659
AT ITER 6151 NEW BEST:: SOT 201673 SOS 64798 HAS SOPS 50102 HAS SOUS 42297 HAS SOUPS 38950 WITH SCORE 39014.798
AT ITER 6160 NEW BEST:: SOT 201318 SOS 64393 HAS SOPS 49697 HAS SOUS 42278 HAS SOUPS 38931 WITH SCORE 38995.393
AT ITER 6168 NEW BEST:: SOT 201316 SOS 64391 HAS SOPS 49695 HAS SOUS 42276 HAS SOUPS 38929 WITH SCORE 38993.391
AT ITER 6179 NEW BEST:: SOT 201309 SOS 64384 HAS SOPS 49688 HAS SOUS 42262 HAS SOUPS 38915 WITH SCORE 38979.384
AT ITER 6183 NEW BEST:: SOT 201232 SOS 64067 HAS SOPS 49534 HAS SOUS 42195 HAS SOUPS 38848 WITH SCORE 38912.067
AT ITER 6214 NEW BEST:: SOT 201228 SOS 64059 HAS SOPS 49526 HAS SOUS 42187 HAS SOUPS 38840 WITH SCORE 38904.059
AT ITER 6219 NEW BEST:: SOT 201239 SOS 64049 HAS SOPS 49516 HAS SOUS 42177 HAS SOUPS 38830 WITH SCORE 38894.049
AT ITER 6220 NEW BEST:: SOT 201236 SOS 64043 HAS SOPS 49510 HAS SOUS 42171 HAS SOUPS 38824 WITH SCORE 38888.043
AT ITER 6237 NEW BEST:: SOT 201235 SOS 64063 HAS SOPS 49532 HAS SOUS 42170 HAS SOUPS 38823 WITH SCORE 38887.063
AT ITER 6258 NEW BEST:: SOT 201235 SOS 64063 HAS SOPS 49531 HAS SOUS 42169 HAS SOUPS 38822 WITH SCORE 38886.063
AT ITER 6261 NEW BEST:: SOT 201206 SOS 64034 HAS SOPS 49502 HAS SOUS 42118 HAS SOUPS 38771 WITH SCORE 38835.034
AT ITER 6289 NEW BEST:: SOT 201200 SOS 63806 HAS SOPS 49274 HAS SOUS 42106 HAS SOUPS 38759 WITH SCORE 38822.806
AT ITER 6297 NEW BEST:: SOT 201161 SOS 63728 HAS SOPS 49196 HAS SOUS 42028 HAS SOUPS 38681 WITH SCORE 38744.728
AT ITER 6318 NEW BEST:: SOT 201156 SOS 63154 HAS SOPS 48622 HAS SOUS 42018 HAS SOUPS 38671 WITH SCORE 38734.154
AT ITER 6331 NEW BEST:: SOT 201145 SOS 63132 HAS SOPS 48600 HAS SOUS 41996 HAS SOUPS 38649 WITH SCORE 38712.132
AT ITER 6341 NEW BEST:: SOT 201052 SOS 62993 HAS SOPS 48509 HAS SOUS 41905 HAS SOUPS 38558 WITH SCORE 38620.993
AT ITER 6372 NEW BEST:: SOT 201031 SOS 62855 HAS SOPS 48467 HAS SOUS 41863 HAS SOUPS 38516 WITH SCORE 38578.855
AT ITER 6405 NEW BEST:: SOT 201018 SOS 62829 HAS SOPS 48441 HAS SOUS 41837 HAS SOUPS 38490 WITH SCORE 38552.829
AT ITER 6417 NEW BEST:: SOT 201016 SOS 62821 HAS SOPS 48433 HAS SOUS 41831 HAS SOUPS 38484 WITH SCORE 38546.821
AT ITER 6421 NEW BEST:: SOT 201016 SOS 62801 HAS SOPS 48413 HAS SOUS 41831 HAS SOUPS 38484 WITH SCORE 38546.801
AT ITER 6431 NEW BEST:: SOT 200961 SOS 62698 HAS SOPS 48351 HAS SOUS 41769 HAS SOUPS 38422 WITH SCORE 38484.698
AT ITER 6435 NEW BEST:: SOT 200953 SOS 62682 HAS SOPS 48335 HAS SOUS 41753 HAS SOUPS 38406 WITH SCORE 38468.682
AT ITER 6472 NEW BEST:: SOT 200948 SOS 62652 HAS SOPS 48305 HAS SOUS 41743 HAS SOUPS 38396 WITH SCORE 38458.652
AT ITER 6506 NEW BEST:: SOT 200945 SOS 62650 HAS SOPS 48303 HAS SOUS 41741 HAS SOUPS 38394 WITH SCORE 38456.65
AT ITER 6508 NEW BEST:: SOT 200934 SOS 62738 HAS SOPS 48226 HAS SOUS 41719 HAS SOUPS 38361 WITH SCORE 38423.738
AT ITER 6524 NEW BEST:: SOT 200931 SOS 62732 HAS SOPS 48220 HAS SOUS 41713 HAS SOUPS 38355 WITH SCORE 38417.732
AT ITER 6583 NEW BEST:: SOT 200863 SOS 62707 HAS SOPS 48084 HAS SOUS 41577 HAS SOUPS 38219 WITH SCORE 38281.707
AT ITER 6608 NEW BEST:: SOT 200813 SOS 62631 HAS SOPS 48066 HAS SOUS 41559 HAS SOUPS 38201 WITH SCORE 38263.631
AT ITER 6624 NEW BEST:: SOT 200796 SOS 62782 HAS SOPS 48217 HAS SOUS 41536 HAS SOUPS 38178 WITH SCORE 38240.782
AT ITER 6639 NEW BEST:: SOT 200758 SOS 62725 HAS SOPS 48160 HAS SOUS 41479 HAS SOUPS 38121 WITH SCORE 38183.725
AT ITER 6668 NEW BEST:: SOT 200723 SOS 62681 HAS SOPS 48136 HAS SOUS 41455 HAS SOUPS 38097 WITH SCORE 38159.681
AT ITER 6685 NEW BEST:: SOT 200632 SOS 62590 HAS SOPS 48045 HAS SOUS 41364 HAS SOUPS 38006 WITH SCORE 38068.59
AT ITER 6695 NEW BEST:: SOT 200623 SOS 62572 HAS SOPS 48027 HAS SOUS 41346 HAS SOUPS 37988 WITH SCORE 38050.572
AT ITER 6698 NEW BEST:: SOT 200622 SOS 62570 HAS SOPS 48025 HAS SOUS 41344 HAS SOUPS 37986 WITH SCORE 38048.57
AT ITER 6709 NEW BEST:: SOT 200619 SOS 62564 HAS SOPS 48019 HAS SOUS 41338 HAS SOUPS 37980 WITH SCORE 38042.564
AT ITER 6735 NEW BEST:: SOT 200619 SOS 62672 HAS SOPS 48100 HAS SOUS 41311 HAS SOUPS 37953 WITH SCORE 38015.672
AT ITER 6767 NEW BEST:: SOT 200607 SOS 62648 HAS SOPS 48076 HAS SOUS 41287 HAS SOUPS 37929 WITH SCORE 37991.648
AT ITER 6805 NEW BEST:: SOT 200597 SOS 62622 HAS SOPS 48056 HAS SOUS 41267 HAS SOUPS 37909 WITH SCORE 37971.622
AT ITER 6811 NEW BEST:: SOT 200597 SOS 62608 HAS SOPS 48040 HAS SOUS 41261 HAS SOUPS 37903 WITH SCORE 37965.608
AT ITER 6817 NEW BEST:: SOT 200520 SOS 62454 HAS SOPS 47886 HAS SOUS 41107 HAS SOUPS 37749 WITH SCORE 37811.454
AT ITER 6827 NEW BEST:: SOT 200515 SOS 62444 HAS SOPS 47876 HAS SOUS 41097 HAS SOUPS 37739 WITH SCORE 37801.444
AT ITER 6839 NEW BEST:: SOT 200515 SOS 62024 HAS SOPS 47456 HAS SOUS 41097 HAS SOUPS 37739 WITH SCORE 37801.024
AT ITER 6840 NEW BEST:: SOT 200513 SOS 62125 HAS SOPS 47452 HAS SOUS 41093 HAS SOUPS 37735 WITH SCORE 37797.125
AT ITER 6854 NEW BEST:: SOT 200488 SOS 62075 HAS SOPS 47402 HAS SOUS 41043 HAS SOUPS 37685 WITH SCORE 37747.075
AT ITER 6875 NEW BEST:: SOT 200412 SOS 61887 HAS SOPS 47214 HAS SOUS 40913 HAS SOUPS 37555 WITH SCORE 37616.887
AT ITER 6882 NEW BEST:: SOT 200403 SOS 61923 HAS SOPS 47250 HAS SOUS 40895 HAS SOUPS 37537 WITH SCORE 37598.923
AT ITER 6886 NEW BEST:: SOT 200395 SOS 61907 HAS SOPS 47234 HAS SOUS 40879 HAS SOUPS 37521 WITH SCORE 37582.907
AT ITER 6919 NEW BEST:: SOT 200386 SOS 61836 HAS SOPS 47216 HAS SOUS 40861 HAS SOUPS 37503 WITH SCORE 37564.836
AT ITER 6970 NEW BEST:: SOT 200412 SOS 61867 HAS SOPS 47247 HAS SOUS 40847 HAS SOUPS 37489 WITH SCORE 37550.867
AT ITER 6977 NEW BEST:: SOT 200408 SOS 61859 HAS SOPS 47239 HAS SOUS 40839 HAS SOUPS 37481 WITH SCORE 37542.859
AT ITER 6978 NEW BEST:: SOT 200678 SOS 62166 HAS SOPS 47546 HAS SOUS 40818 HAS SOUPS 37460 WITH SCORE 37522.166
AT ITER 6988 NEW BEST:: SOT 200665 SOS 62205 HAS SOPS 47585 HAS SOUS 40792 HAS SOUPS 37434 WITH SCORE 37496.205
AT ITER 6990 NEW BEST:: SOT 200620 SOS 62115 HAS SOPS 47495 HAS SOUS 40702 HAS SOUPS 37344 WITH SCORE 37406.115
AT ITER 6995 NEW BEST:: SOT 200604 SOS 62081 HAS SOPS 47445 HAS SOUS 40668 HAS SOUPS 37294 WITH SCORE 37356.081
AT ITER 7012 NEW BEST:: SOT 200604 SOS 62036 HAS SOPS 47400 HAS SOUS 40668 HAS SOUPS 37294 WITH SCORE 37356.036
AT ITER 7034 NEW BEST:: SOT 200606 SOS 62028 HAS SOPS 47390 HAS SOUS 40668 HAS SOUPS 37294 WITH SCORE 37356.028
AT ITER 7044 NEW BEST:: SOT 200578 SOS 61972 HAS SOPS 47334 HAS SOUS 40612 HAS SOUPS 37238 WITH SCORE 37299.972
AT ITER 7046 NEW BEST:: SOT 200553 SOS 61885 HAS SOPS 47284 HAS SOUS 40599 HAS SOUPS 37225 WITH SCORE 37286.885
AT ITER 7060 NEW BEST:: SOT 200553 SOS 61870 HAS SOPS 47269 HAS SOUS 40599 HAS SOUPS 37225 WITH SCORE 37286.87
AT ITER 7097 NEW BEST:: SOT 200532 SOS 61876 HAS SOPS 47284 HAS SOUS 40587 HAS SOUPS 37213 WITH SCORE 37274.876
AT ITER 7100 NEW BEST:: SOT 200522 SOS 61866 HAS SOPS 47264 HAS SOUS 40567 HAS SOUPS 37193 WITH SCORE 37254.866
AT ITER 7106 NEW BEST:: SOT 200514 SOS 61827 HAS SOPS 47225 HAS SOUS 40551 HAS SOUPS 37177 WITH SCORE 37238.827
AT ITER 7135 NEW BEST:: SOT 200474 SOS 61790 HAS SOPS 47188 HAS SOUS 40471 HAS SOUPS 37097 WITH SCORE 37158.79
AT ITER 7145 NEW BEST:: SOT 200386 SOS 61577 HAS SOPS 47078 HAS SOUS 40376 HAS SOUPS 37002 WITH SCORE 37063.577
AT ITER 7158 NEW BEST:: SOT 200386 SOS 61577 HAS SOPS 47057 HAS SOUS 40355 HAS SOUPS 36981 WITH SCORE 37042.577
AT ITER 7174 NEW BEST:: SOT 200375 SOS 61585 HAS SOPS 47005 HAS SOUS 40303 HAS SOUPS 36929 WITH SCORE 36990.585
AT ITER 7203 NEW BEST:: SOT 200373 SOS 61582 HAS SOPS 47002 HAS SOUS 40299 HAS SOUPS 36925 WITH SCORE 36986.582
AT ITER 7206 NEW BEST:: SOT 200369 SOS 61574 HAS SOPS 46994 HAS SOUS 40291 HAS SOUPS 36917 WITH SCORE 36978.574
AT ITER 7231 NEW BEST:: SOT 200369 SOS 61574 HAS SOPS 46994 HAS SOUS 40290 HAS SOUPS 36916 WITH SCORE 36977.574
AT ITER 7232 NEW BEST:: SOT 200369 SOS 61547 HAS SOPS 46967 HAS SOUS 40290 HAS SOUPS 36916 WITH SCORE 36977.547
AT ITER 7279 NEW BEST:: SOT 200364 SOS 61537 HAS SOPS 46957 HAS SOUS 40280 HAS SOUPS 36906 WITH SCORE 36967.537
AT ITER 7280 NEW BEST:: SOT 200320 SOS 61581 HAS SOPS 47001 HAS SOUS 40230 HAS SOUPS 36856 WITH SCORE 36917.581
AT ITER 7295 NEW BEST:: SOT 200364 SOS 61048 HAS SOPS 46467 HAS SOUS 40223 HAS SOUPS 36849 WITH SCORE 36910.048
AT ITER 7338 NEW BEST:: SOT 200361 SOS 61028 HAS SOPS 46461 HAS SOUS 40217 HAS SOUPS 36843 WITH SCORE 36904.028
AT ITER 7357 NEW BEST:: SOT 200346 SOS 60998 HAS SOPS 46431 HAS SOUS 40187 HAS SOUPS 36813 WITH SCORE 36873.998
AT ITER 7417 NEW BEST:: SOT 200345 SOS 61001 HAS SOPS 46433 HAS SOUS 40186 HAS SOUPS 36812 WITH SCORE 36873.001
AT ITER 7443 NEW BEST:: SOT 200384 SOS 60894 HAS SOPS 46326 HAS SOUS 40079 HAS SOUPS 36705 WITH SCORE 36765.894
AT ITER 7449 NEW BEST:: SOT 200374 SOS 60874 HAS SOPS 46306 HAS SOUS 40059 HAS SOUPS 36685 WITH SCORE 36745.874
AT ITER 7458 NEW BEST:: SOT 200366 SOS 60850 HAS SOPS 46290 HAS SOUS 40043 HAS SOUPS 36669 WITH SCORE 36729.85
AT ITER 7493 NEW BEST:: SOT 200363 SOS 60831 HAS SOPS 46268 HAS SOUS 40021 HAS SOUPS 36647 WITH SCORE 36707.831
AT ITER 7500 NEW BEST:: SOT 200348 SOS 60981 HAS SOPS 46253 HAS SOUS 40021 HAS SOUPS 36632 WITH SCORE 36692.981
AT ITER 7558 NEW BEST:: SOT 200345 SOS 60975 HAS SOPS 46247 HAS SOUS 40015 HAS SOUPS 36626 WITH SCORE 36686.975
AT ITER 7590 NEW BEST:: SOT 200215 SOS 60915 HAS SOPS 46087 HAS SOUS 39907 HAS SOUPS 36499 WITH SCORE 36559.915
AT ITER 7603 NEW BEST:: SOT 200191 SOS 60898 HAS SOPS 46063 HAS SOUS 39890 HAS SOUPS 36475 WITH SCORE 36535.898
AT ITER 7630 NEW BEST:: SOT 200189 SOS 60894 HAS SOPS 46059 HAS SOUS 39886 HAS SOUPS 36471 WITH SCORE 36531.894
AT ITER 7637 NEW BEST:: SOT 200166 SOS 60871 HAS SOPS 46036 HAS SOUS 39882 HAS SOUPS 36448 WITH SCORE 36508.871
AT ITER 7663 NEW BEST:: SOT 200160 SOS 60865 HAS SOPS 46024 HAS SOUS 39875 HAS SOUPS 36435 WITH SCORE 36495.865
AT ITER 7665 NEW BEST:: SOT 200143 SOS 60903 HAS SOPS 45990 HAS SOUS 39841 HAS SOUPS 36401 WITH SCORE 36461.903
AT ITER 7668 NEW BEST:: SOT 200143 SOS 60743 HAS SOPS 45830 HAS SOUS 39801 HAS SOUPS 36361 WITH SCORE 36421.743
AT ITER 7672 NEW BEST:: SOT 200143 SOS 60663 HAS SOPS 45830 HAS SOUS 39801 HAS SOUPS 36361 WITH SCORE 36421.663
AT ITER 7689 NEW BEST:: SOT 200127 SOS 60642 HAS SOPS 45822 HAS SOUS 39790 HAS SOUPS 36350 WITH SCORE 36410.642
AT ITER 7709 NEW BEST:: SOT 200188 SOS 60506 HAS SOPS 45643 HAS SOUS 39742 HAS SOUPS 36302 WITH SCORE 36362.506
AT ITER 7725 NEW BEST:: SOT 200184 SOS 60532 HAS SOPS 45635 HAS SOUS 39734 HAS SOUPS 36294 WITH SCORE 36354.532
AT ITER 7726 NEW BEST:: SOT 200176 SOS 60526 HAS SOPS 45627 HAS SOUS 39731 HAS SOUPS 36290 WITH SCORE 36350.526
AT ITER 7774 NEW BEST:: SOT 200163 SOS 60512 HAS SOPS 45613 HAS SOUS 39717 HAS SOUPS 36276 WITH SCORE 36336.512
AT ITER 7777 NEW BEST:: SOT 200184 SOS 60534 HAS SOPS 45603 HAS SOUS 39707 HAS SOUPS 36266 WITH SCORE 36326.534
AT ITER 7790 NEW BEST:: SOT 200179 SOS 60524 HAS SOPS 45593 HAS SOUS 39697 HAS SOUPS 36256 WITH SCORE 36316.524
AT ITER 7852 NEW BEST:: SOT 200351 SOS 60723 HAS SOPS 45792 HAS SOUS 39584 HAS SOUPS 36143 WITH SCORE 36203.723
AT ITER 7884 NEW BEST:: SOT 200355 SOS 60705 HAS SOPS 45774 HAS SOUS 39566 HAS SOUPS 36125 WITH SCORE 36185.705
AT ITER 7887 NEW BEST:: SOT 200352 SOS 60735 HAS SOPS 45771 HAS SOUS 39566 HAS SOUPS 36122 WITH SCORE 36182.735
AT ITER 7895 NEW BEST:: SOT 200344 SOS 60719 HAS SOPS 45755 HAS SOUS 39550 HAS SOUPS 36106 WITH SCORE 36166.719
AT ITER 7896 NEW BEST:: SOT 200373 SOS 60748 HAS SOPS 45694 HAS SOUS 39489 HAS SOUPS 36045 WITH SCORE 36105.748
AT ITER 7905 NEW BEST:: SOT 200372 SOS 60746 HAS SOPS 45692 HAS SOUS 39487 HAS SOUPS 36043 WITH SCORE 36103.746
AT ITER 7923 NEW BEST:: SOT 200311 SOS 60678 HAS SOPS 45602 HAS SOUS 39397 HAS SOUPS 35953 WITH SCORE 36013.678
AT ITER 7935 NEW BEST:: SOT 200311 SOS 60646 HAS SOPS 45570 HAS SOUS 39397 HAS SOUPS 35953 WITH SCORE 36013.646
AT ITER 7939 NEW BEST:: SOT 200280 SOS 60539 HAS SOPS 45463 HAS SOUS 39290 HAS SOUPS 35846 WITH SCORE 35906.539
AT ITER 7955 NEW BEST:: SOT 200286 SOS 60562 HAS SOPS 45458 HAS SOUS 39285 HAS SOUPS 35841 WITH SCORE 35901.562
AT ITER 7967 NEW BEST:: SOT 200158 SOS 60728 HAS SOPS 45298 HAS SOUS 39254 HAS SOUPS 35758 WITH SCORE 35818.728
AT ITER 7977 NEW BEST:: SOT 200140 SOS 60710 HAS SOPS 45262 HAS SOUS 39218 HAS SOUPS 35722 WITH SCORE 35782.71
AT ITER 7981 NEW BEST:: SOT 200140 SOS 60674 HAS SOPS 45226 HAS SOUS 39218 HAS SOUPS 35722 WITH SCORE 35782.674
AT ITER 7999 NEW BEST:: SOT 199966 SOS 62054 HAS SOPS 44894 HAS SOUS 39395 HAS SOUPS 35720 WITH SCORE 35782.054
AT ITER 8004 NEW BEST:: SOT 199966 SOS 61964 HAS SOPS 44804 HAS SOUS 39395 HAS SOUPS 35720 WITH SCORE 35781.964
AT ITER 8007 NEW BEST:: SOT 199962 SOS 61956 HAS SOPS 44796 HAS SOUS 39387 HAS SOUPS 35712 WITH SCORE 35773.956
AT ITER 8034 NEW BEST:: SOT 199953 SOS 61713 HAS SOPS 44799 HAS SOUS 39302 HAS SOUPS 35648 WITH SCORE 35709.713
AT ITER 8064 NEW BEST:: SOT 199950 SOS 61707 HAS SOPS 44793 HAS SOUS 39293 HAS SOUPS 35639 WITH SCORE 35700.707
AT ITER 8078 NEW BEST:: SOT 199960 SOS 61651 HAS SOPS 44689 HAS SOUS 39226 HAS SOUPS 35572 WITH SCORE 35633.651
AT ITER 8106 NEW BEST:: SOT 199965 SOS 61661 HAS SOPS 44676 HAS SOUS 39223 HAS SOUPS 35569 WITH SCORE 35630.661
AT ITER 8117 NEW BEST:: SOT 199951 SOS 61549 HAS SOPS 44648 HAS SOUS 39195 HAS SOUPS 35541 WITH SCORE 35602.549
AT ITER 8130 NEW BEST:: SOT 200014 SOS 61695 HAS SOPS 44644 HAS SOUS 39191 HAS SOUPS 35537 WITH SCORE 35598.695
AT ITER 8131 NEW BEST:: SOT 200014 SOS 61750 HAS SOPS 44644 HAS SOUS 39171 HAS SOUPS 35517 WITH SCORE 35578.75
AT ITER 8174 NEW BEST:: SOT 199991 SOS 61742 HAS SOPS 44611 HAS SOUS 39176 HAS SOUPS 35516 WITH SCORE 35577.742
AT ITER 8176 NEW BEST:: SOT 199969 SOS 61698 HAS SOPS 44567 HAS SOUS 39132 HAS SOUPS 35472 WITH SCORE 35533.698
AT ITER 8182 NEW BEST:: SOT 199959 SOS 61721 HAS SOPS 44547 HAS SOUS 39112 HAS SOUPS 35452 WITH SCORE 35513.721
AT ITER 8183 NEW BEST:: SOT 199965 SOS 61888 HAS SOPS 44652 HAS SOUS 39093 HAS SOUPS 35433 WITH SCORE 35494.888
AT ITER 8255 NEW BEST:: SOT 199930 SOS 61818 HAS SOPS 44582 HAS SOUS 39023 HAS SOUPS 35363 WITH SCORE 35424.818
AT ITER 8256 NEW BEST:: SOT 199827 SOS 61674 HAS SOPS 44514 HAS SOUS 38955 HAS SOUPS 35295 WITH SCORE 35356.674
AT ITER 8258 NEW BEST:: SOT 199778 SOS 61576 HAS SOPS 44416 HAS SOUS 38857 HAS SOUPS 35197 WITH SCORE 35258.576
AT ITER 8281 NEW BEST:: SOT 199511 SOS 62381 HAS SOPS 44196 HAS SOUS 38862 HAS SOUPS 35094 WITH SCORE 35156.381
AT ITER 8320 NEW BEST:: SOT 199509 SOS 62377 HAS SOPS 44192 HAS SOUS 38858 HAS SOUPS 35090 WITH SCORE 35152.377
AT ITER 8324 NEW BEST:: SOT 199504 SOS 62376 HAS SOPS 44191 HAS SOUS 38815 HAS SOUPS 35047 WITH SCORE 35109.376
AT ITER 8345 NEW BEST:: SOT 199504 SOS 62334 HAS SOPS 44191 HAS SOUS 38815 HAS SOUPS 35047 WITH SCORE 35109.334
AT ITER 8397 NEW BEST:: SOT 199468 SOS 62298 HAS SOPS 44155 HAS SOUS 38779 HAS SOUPS 35011 WITH SCORE 35073.298
AT ITER 8413 NEW BEST:: SOT 199462 SOS 62306 HAS SOPS 44143 HAS SOUS 38767 HAS SOUPS 34999 WITH SCORE 35061.306
AT ITER 8453 NEW BEST:: SOT 199461 SOS 62304 HAS SOPS 44141 HAS SOUS 38765 HAS SOUPS 34997 WITH SCORE 35059.304
AT ITER 8468 NEW BEST:: SOT 199408 SOS 62569 HAS SOPS 44411 HAS SOUS 38738 HAS SOUPS 34970 WITH SCORE 35032.569
AT ITER 8469 NEW BEST:: SOT 199408 SOS 62569 HAS SOPS 44407 HAS SOUS 38734 HAS SOUPS 34966 WITH SCORE 35028.569
AT ITER 8528 NEW BEST:: SOT 199355 SOS 62375 HAS SOPS 44301 HAS SOUS 38628 HAS SOUPS 34860 WITH SCORE 34922.375
AT ITER 8530 NEW BEST:: SOT 199341 SOS 62347 HAS SOPS 44273 HAS SOUS 38600 HAS SOUPS 34832 WITH SCORE 34894.347
AT ITER 8556 NEW BEST:: SOT 199331 SOS 62327 HAS SOPS 44253 HAS SOUS 38580 HAS SOUPS 34812 WITH SCORE 34874.327
AT ITER 8592 NEW BEST:: SOT 199328 SOS 62343 HAS SOPS 44247 HAS SOUS 38574 HAS SOUPS 34806 WITH SCORE 34868.343
AT ITER 8597 NEW BEST:: SOT 199311 SOS 62309 HAS SOPS 44213 HAS SOUS 38540 HAS SOUPS 34772 WITH SCORE 34834.309
AT ITER 8622 NEW BEST:: SOT 199311 SOS 62285 HAS SOPS 44189 HAS SOUS 38540 HAS SOUPS 34772 WITH SCORE 34834.285
AT ITER 8624 NEW BEST:: SOT 199311 SOS 62290 HAS SOPS 44184 HAS SOUS 38535 HAS SOUPS 34767 WITH SCORE 34829.29
AT ITER 8636 NEW BEST:: SOT 199295 SOS 62258 HAS SOPS 44152 HAS SOUS 38503 HAS SOUPS 34735 WITH SCORE 34797.258
AT ITER 8653 NEW BEST:: SOT 199244 SOS 62156 HAS SOPS 44050 HAS SOUS 38401 HAS SOUPS 34633 WITH SCORE 34695.156
AT ITER 8678 NEW BEST:: SOT 199234 SOS 62136 HAS SOPS 44030 HAS SOUS 38381 HAS SOUPS 34613 WITH SCORE 34675.136
AT ITER 8815 NEW BEST:: SOT 199225 SOS 62118 HAS SOPS 44012 HAS SOUS 38363 HAS SOUPS 34595 WITH SCORE 34657.118
AT ITER 8828 NEW BEST:: SOT 199202 SOS 62072 HAS SOPS 43966 HAS SOUS 38317 HAS SOUPS 34549 WITH SCORE 34611.072
AT ITER 8836 NEW BEST:: SOT 199202 SOS 62081 HAS SOPS 43957 HAS SOUS 38308 HAS SOUPS 34540 WITH SCORE 34602.081
AT ITER 8851 NEW BEST:: SOT 199198 SOS 62073 HAS SOPS 43949 HAS SOUS 38300 HAS SOUPS 34532 WITH SCORE 34594.073
AT ITER 8909 NEW BEST:: SOT 199198 SOS 62023 HAS SOPS 43899 HAS SOUS 38268 HAS SOUPS 34500 WITH SCORE 34562.023
AT ITER 8917 NEW BEST:: SOT 199198 SOS 62020 HAS SOPS 43896 HAS SOUS 38265 HAS SOUPS 34497 WITH SCORE 34559.02
AT ITER 8924 NEW BEST:: SOT 199198 SOS 61864 HAS SOPS 43740 HAS SOUS 38265 HAS SOUPS 34497 WITH SCORE 34558.864
AT ITER 8946 NEW BEST:: SOT 199164 SOS 61366 HAS SOPS 43740 HAS SOUS 38231 HAS SOUPS 34497 WITH SCORE 34558.366
AT ITER 8959 NEW BEST:: SOT 199165 SOS 61365 HAS SOPS 43740 HAS SOUS 38231 HAS SOUPS 34497 WITH SCORE 34558.365
AT ITER 8961 NEW BEST:: SOT 199165 SOS 61360 HAS SOPS 43740 HAS SOUS 38231 HAS SOUPS 34497 WITH SCORE 34558.36
AT ITER 8968 NEW BEST:: SOT 199164 SOS 61359 HAS SOPS 43738 HAS SOUS 38230 HAS SOUPS 34495 WITH SCORE 34556.359
AT ITER 8981 NEW BEST:: SOT 199146 SOS 61310 HAS SOPS 43702 HAS SOUS 38194 HAS SOUPS 34459 WITH SCORE 34520.31
AT ITER 8996 NEW BEST:: SOT 199283 SOS 61242 HAS SOPS 43634 HAS SOUS 38126 HAS SOUPS 34391 WITH SCORE 34452.242
AT ITER 9019 NEW BEST:: SOT 199324 SOS 61203 HAS SOPS 43595 HAS SOUS 38087 HAS SOUPS 34352 WITH SCORE 34413.203
AT ITER 9076 NEW BEST:: SOT 199295 SOS 61173 HAS SOPS 43565 HAS SOUS 38057 HAS SOUPS 34322 WITH SCORE 34383.173
AT ITER 9126 NEW BEST:: SOT 199283 SOS 61005 HAS SOPS 43565 HAS SOUS 38045 HAS SOUPS 34322 WITH SCORE 34383.005
AT ITER 9145 NEW BEST:: SOT 199282 SOS 61004 HAS SOPS 43564 HAS SOUS 38044 HAS SOUPS 34321 WITH SCORE 34382.004
AT ITER 9171 NEW BEST:: SOT 199223 SOS 60957 HAS SOPS 43519 HAS SOUS 37999 HAS SOUPS 34276 WITH SCORE 34336.957
AT ITER 9197 NEW BEST:: SOT 199212 SOS 60935 HAS SOPS 43497 HAS SOUS 37977 HAS SOUPS 34254 WITH SCORE 34314.935
AT ITER 9224 NEW BEST:: SOT 199176 SOS 61019 HAS SOPS 43475 HAS SOUS 37989 HAS SOUPS 34252 WITH SCORE 34313.019
AT ITER 9231 NEW BEST:: SOT 199172 SOS 61105 HAS SOPS 43467 HAS SOUS 37981 HAS SOUPS 34244 WITH SCORE 34305.105
AT ITER 9245 NEW BEST:: SOT 199172 SOS 61001 HAS SOPS 43363 HAS SOUS 37981 HAS SOUPS 34244 WITH SCORE 34305.001
AT ITER 9248 NEW BEST:: SOT 199203 SOS 61097 HAS SOPS 43371 HAS SOUS 37934 HAS SOUPS 34242 WITH SCORE 34303.097
AT ITER 9262 NEW BEST:: SOT 199190 SOS 61084 HAS SOPS 43345 HAS SOUS 37908 HAS SOUPS 34216 WITH SCORE 34277.084
AT ITER 9278 NEW BEST:: SOT 199207 SOS 61058 HAS SOPS 43319 HAS SOUS 37882 HAS SOUPS 34190 WITH SCORE 34251.058
AT ITER 9284 NEW BEST:: SOT 199206 SOS 61056 HAS SOPS 43317 HAS SOUS 37880 HAS SOUPS 34188 WITH SCORE 34249.056
AT ITER 9289 NEW BEST:: SOT 199160 SOS 60964 HAS SOPS 43225 HAS SOUS 37788 HAS SOUPS 34096 WITH SCORE 34156.964
AT ITER 9291 NEW BEST:: SOT 199136 SOS 60965 HAS SOPS 43251 HAS SOUS 37772 HAS SOUPS 34080 WITH SCORE 34140.965
AT ITER 9297 NEW BEST:: SOT 199134 SOS 60918 HAS SOPS 43204 HAS SOUS 37768 HAS SOUPS 34076 WITH SCORE 34136.918
AT ITER 9335 NEW BEST:: SOT 199122 SOS 60894 HAS SOPS 43180 HAS SOUS 37744 HAS SOUPS 34052 WITH SCORE 34112.894
AT ITER 9340 NEW BEST:: SOT 199106 SOS 60862 HAS SOPS 43148 HAS SOUS 37712 HAS SOUPS 34020 WITH SCORE 34080.862
AT ITER 9376 NEW BEST:: SOT 199064 SOS 60799 HAS SOPS 43085 HAS SOUS 37649 HAS SOUPS 33957 WITH SCORE 34017.799
AT ITER 9378 NEW BEST:: SOT 198988 SOS 60712 HAS SOPS 43069 HAS SOUS 37633 HAS SOUPS 33941 WITH SCORE 34001.712
AT ITER 9395 NEW BEST:: SOT 198958 SOS 60652 HAS SOPS 43009 HAS SOUS 37573 HAS SOUPS 33881 WITH SCORE 33941.652
AT ITER 9405 NEW BEST:: SOT 198889 SOS 60648 HAS SOPS 43005 HAS SOUS 37569 HAS SOUPS 33877 WITH SCORE 33937.648
AT ITER 9429 NEW BEST:: SOT 198869 SOS 60709 HAS SOPS 43005 HAS SOUS 37512 HAS SOUPS 33820 WITH SCORE 33880.709
AT ITER 9446 NEW BEST:: SOT 198858 SOS 60687 HAS SOPS 42983 HAS SOUS 37490 HAS SOUPS 33798 WITH SCORE 33858.687
AT ITER 9451 NEW BEST:: SOT 198864 SOS 60683 HAS SOPS 42995 HAS SOUS 37484 HAS SOUPS 33792 WITH SCORE 33852.683
AT ITER 9455 NEW BEST:: SOT 198833 SOS 60657 HAS SOPS 42933 HAS SOUS 37422 HAS SOUPS 33730 WITH SCORE 33790.657
AT ITER 9460 NEW BEST:: SOT 198790 SOS 60245 HAS SOPS 42521 HAS SOUS 37322 HAS SOUPS 33630 WITH SCORE 33690.245
AT ITER 9465 NEW BEST:: SOT 198786 SOS 60237 HAS SOPS 42513 HAS SOUS 37314 HAS SOUPS 33622 WITH SCORE 33682.237
AT ITER 9471 NEW BEST:: SOT 198770 SOS 60221 HAS SOPS 42481 HAS SOUS 37282 HAS SOUPS 33590 WITH SCORE 33650.221
AT ITER 9485 NEW BEST:: SOT 198655 SOS 60150 HAS SOPS 42448 HAS SOUS 37245 HAS SOUPS 33557 WITH SCORE 33617.15
AT ITER 9501 NEW BEST:: SOT 198644 SOS 60118 HAS SOPS 42442 HAS SOUS 37239 HAS SOUPS 33551 WITH SCORE 33611.118
AT ITER 9519 NEW BEST:: SOT 198633 SOS 60096 HAS SOPS 42420 HAS SOUS 37217 HAS SOUPS 33529 WITH SCORE 33589.096
AT ITER 9548 NEW BEST:: SOT 198618 SOS 60081 HAS SOPS 42390 HAS SOUS 37187 HAS SOUPS 33499 WITH SCORE 33559.081
AT ITER 9584 NEW BEST:: SOT 198609 SOS 60063 HAS SOPS 42372 HAS SOUS 37169 HAS SOUPS 33481 WITH SCORE 33541.063
AT ITER 9626 NEW BEST:: SOT 198578 SOS 60040 HAS SOPS 42349 HAS SOUS 37097 HAS SOUPS 33409 WITH SCORE 33469.04
AT ITER 9628 NEW BEST:: SOT 198590 SOS 60006 HAS SOPS 42306 HAS SOUS 37085 HAS SOUPS 33397 WITH SCORE 33457.006
AT ITER 9653 NEW BEST:: SOT 198538 SOS 59902 HAS SOPS 42277 HAS SOUS 37056 HAS SOUPS 33368 WITH SCORE 33427.902
AT ITER 9692 NEW BEST:: SOT 198471 SOS 59835 HAS SOPS 42281 HAS SOUS 37051 HAS SOUPS 33363 WITH SCORE 33422.835
AT ITER 9725 NEW BEST:: SOT 198465 SOS 59823 HAS SOPS 42269 HAS SOUS 37051 HAS SOUPS 33351 WITH SCORE 33410.823
AT ITER 9736 NEW BEST:: SOT 198462 SOS 59817 HAS SOPS 42263 HAS SOUS 37045 HAS SOUPS 33345 WITH SCORE 33404.817
AT ITER 9744 NEW BEST:: SOT 198462 SOS 59812 HAS SOPS 42263 HAS SOUS 37045 HAS SOUPS 33345 WITH SCORE 33404.812
AT ITER 9800 NEW BEST:: SOT 198461 SOS 59773 HAS SOPS 42261 HAS SOUS 37043 HAS SOUPS 33343 WITH SCORE 33402.773
AT ITER 9823 NEW BEST:: SOT 198418 SOS 59687 HAS SOPS 42175 HAS SOUS 36957 HAS SOUPS 33257 WITH SCORE 33316.687
AT ITER 9862 NEW BEST:: SOT 198380 SOS 59802 HAS SOPS 42114 HAS SOUS 36947 HAS SOUPS 33225 WITH SCORE 33284.802
AT ITER 9877 NEW BEST:: SOT 198378 SOS 59758 HAS SOPS 42067 HAS SOUS 36945 HAS SOUPS 33223 WITH SCORE 33282.758
AT ITER 9903 NEW BEST:: SOT 198368 SOS 59663 HAS SOPS 42047 HAS SOUS 36925 HAS SOUPS 33203 WITH SCORE 33262.663
AT ITER 9914 NEW BEST:: SOT 198364 SOS 59655 HAS SOPS 42039 HAS SOUS 36917 HAS SOUPS 33195 WITH SCORE 33254.655
AT ITER 9931 NEW BEST:: SOT 198364 SOS 59523 HAS SOPS 41907 HAS SOUS 36917 HAS SOUPS 33195 WITH SCORE 33254.523

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-PT-4"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Peterson-PT-4, 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 r108-csrt-158961250900728"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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