Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808401052.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Eratosthenes-PT-500, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808401052
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.8K Apr 14 12:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 14 12:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 14 12:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 14 12:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Apr 14 12:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 14 12:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-00
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-01
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-02
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-03
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-04
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-05
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-06
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-07
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-08
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-09
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-10
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-11
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-12
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-13
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-14
FORMULA_NAME Eratosthenes-PT-500-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589369581068

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Eratosthenes (PT), instance 500
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 499 places, 2191 transitions, 6573 arcs.
AT ITER 0 NEW BEST:: SOT 752693 SOS 402068 HAS SOPS 326004 HAS SOUS 94659 HAS SOUPS 71179 WITH SCORE 71581.068
AT ITER 2 NEW BEST:: SOT 752932 SOS 401794 HAS SOPS 326055 HAS SOUS 94659 HAS SOUPS 71179 WITH SCORE 71580.794
AT ITER 4 NEW BEST:: SOT 753237 SOS 401760 HAS SOPS 325716 HAS SOUS 94732 HAS SOUPS 71056 WITH SCORE 71457.76
AT ITER 5 NEW BEST:: SOT 753465 SOS 401906 HAS SOPS 325789 HAS SOUS 94735 HAS SOUPS 71035 WITH SCORE 71436.906
AT ITER 6 NEW BEST:: SOT 753559 SOS 401794 HAS SOPS 326483 HAS SOUS 94585 HAS SOUPS 71035 WITH SCORE 71436.794
AT ITER 9 NEW BEST:: SOT 754500 SOS 402188 HAS SOPS 325936 HAS SOUS 94869 HAS SOUPS 70848 WITH SCORE 71250.188
AT ITER 10 NEW BEST:: SOT 754455 SOS 402008 HAS SOPS 325711 HAS SOUS 94914 HAS SOUPS 70848 WITH SCORE 71250.008
AT ITER 11 NEW BEST:: SOT 754520 SOS 401782 HAS SOPS 325420 HAS SOUS 95068 HAS SOUPS 70848 WITH SCORE 71249.782
AT ITER 12 NEW BEST:: SOT 757110 SOS 401768 HAS SOPS 322816 HAS SOUS 96436 HAS SOUPS 70528 WITH SCORE 70929.768
AT ITER 13 NEW BEST:: SOT 757644 SOS 401708 HAS SOPS 322222 HAS SOUS 96659 HAS SOUPS 70528 WITH SCORE 70929.708
AT ITER 15 NEW BEST:: SOT 757788 SOS 401381 HAS SOPS 321628 HAS SOUS 96913 HAS SOUPS 70528 WITH SCORE 70929.381
AT ITER 18 NEW BEST:: SOT 757930 SOS 401493 HAS SOPS 321598 HAS SOUS 96969 HAS SOUPS 70498 WITH SCORE 70899.493
AT ITER 19 NEW BEST:: SOT 758166 SOS 401375 HAS SOPS 321244 HAS SOUS 97323 HAS SOUPS 70498 WITH SCORE 70899.375
AT ITER 20 NEW BEST:: SOT 758732 SOS 401507 HAS SOPS 321010 HAS SOUS 97446 HAS SOUPS 70386 WITH SCORE 70787.507
AT ITER 21 NEW BEST:: SOT 759330 SOS 401219 HAS SOPS 320760 HAS SOUS 97377 HAS SOUPS 70386 WITH SCORE 70787.219
AT ITER 24 NEW BEST:: SOT 759244 SOS 401047 HAS SOPS 320674 HAS SOUS 97255 HAS SOUPS 70370 WITH SCORE 70771.047
AT ITER 25 NEW BEST:: SOT 759354 SOS 400647 HAS SOPS 320164 HAS SOUS 97446 HAS SOUPS 70370 WITH SCORE 70770.647
AT ITER 27 NEW BEST:: SOT 759377 SOS 400621 HAS SOPS 320091 HAS SOUS 97473 HAS SOUPS 70370 WITH SCORE 70770.621
AT ITER 29 NEW BEST:: SOT 759886 SOS 400428 HAS SOPS 319216 HAS SOUS 97927 HAS SOUPS 70370 WITH SCORE 70770.428
AT ITER 30 NEW BEST:: SOT 759633 SOS 399833 HAS SOPS 319319 HAS SOUS 97904 HAS SOUPS 70370 WITH SCORE 70769.833
AT ITER 35 NEW BEST:: SOT 760549 SOS 400153 HAS SOPS 318723 HAS SOUS 98288 HAS SOUPS 70182 WITH SCORE 70582.153
AT ITER 36 NEW BEST:: SOT 759201 SOS 399113 HAS SOPS 316547 HAS SOUS 98395 HAS SOUPS 70052 WITH SCORE 70451.113
AT ITER 40 NEW BEST:: SOT 759922 SOS 399083 HAS SOPS 318004 HAS SOUS 98211 HAS SOUPS 70052 WITH SCORE 70451.083
AT ITER 44 NEW BEST:: SOT 759897 SOS 399033 HAS SOPS 318251 HAS SOUS 98211 HAS SOUPS 70052 WITH SCORE 70451.033
AT ITER 46 NEW BEST:: SOT 761056 SOS 398348 HAS SOPS 316176 HAS SOUS 99162 HAS SOUPS 70052 WITH SCORE 70450.348
AT ITER 47 NEW BEST:: SOT 761460 SOS 397508 HAS SOPS 314932 HAS SOUS 99161 HAS SOUPS 70052 WITH SCORE 70449.508
AT ITER 48 NEW BEST:: SOT 761336 SOS 397504 HAS SOPS 314808 HAS SOUS 99276 HAS SOUPS 70052 WITH SCORE 70449.504
AT ITER 51 NEW BEST:: SOT 759770 SOS 396140 HAS SOPS 313190 HAS SOUS 98992 HAS SOUPS 69742 WITH SCORE 70138.14
AT ITER 52 NEW BEST:: SOT 760399 SOS 396066 HAS SOPS 313597 HAS SOUS 98628 HAS SOUPS 69742 WITH SCORE 70138.066
AT ITER 53 NEW BEST:: SOT 762496 SOS 395632 HAS SOPS 311066 HAS SOUS 99973 HAS SOUPS 69438 WITH SCORE 69833.632
AT ITER 54 NEW BEST:: SOT 762609 SOS 395372 HAS SOPS 310531 HAS SOUS 100054 HAS SOUPS 69438 WITH SCORE 69833.372
AT ITER 55 NEW BEST:: SOT 744054 SOS 394718 HAS SOPS 291976 HAS SOUS 98639 HAS SOUPS 67739 WITH SCORE 68133.718
AT ITER 56 NEW BEST:: SOT 744054 SOS 394638 HAS SOPS 291976 HAS SOUS 98639 HAS SOUPS 67739 WITH SCORE 68133.638
AT ITER 57 NEW BEST:: SOT 744054 SOS 394624 HAS SOPS 291948 HAS SOUS 98653 HAS SOUPS 67739 WITH SCORE 68133.624
AT ITER 58 NEW BEST:: SOT 745484 SOS 394338 HAS SOPS 290804 HAS SOUS 98678 HAS SOUPS 67739 WITH SCORE 68133.338
AT ITER 59 NEW BEST:: SOT 725228 SOS 380178 HAS SOPS 270332 HAS SOUS 98864 HAS SOUPS 67698 WITH SCORE 68078.178
AT ITER 60 NEW BEST:: SOT 725350 SOS 379934 HAS SOPS 269966 HAS SOUS 98989 HAS SOUPS 67698 WITH SCORE 68077.934
AT ITER 61 NEW BEST:: SOT 725522 SOS 379558 HAS SOPS 269418 HAS SOUS 99138 HAS SOUPS 67698 WITH SCORE 68077.558
AT ITER 69 NEW BEST:: SOT 725828 SOS 379702 HAS SOPS 269256 HAS SOUS 99103 HAS SOUPS 67536 WITH SCORE 67915.702
AT ITER 70 NEW BEST:: SOT 726092 SOS 379625 HAS SOPS 269641 HAS SOUS 99087 HAS SOUPS 67536 WITH SCORE 67915.625
AT ITER 73 NEW BEST:: SOT 726096 SOS 379615 HAS SOPS 269681 HAS SOUS 99068 HAS SOUPS 67536 WITH SCORE 67915.615
AT ITER 74 NEW BEST:: SOT 726426 SOS 379340 HAS SOPS 269246 HAS SOUS 99183 HAS SOUPS 67536 WITH SCORE 67915.34
AT ITER 75 NEW BEST:: SOT 726840 SOS 378999 HAS SOPS 268324 HAS SOUS 99274 HAS SOUPS 67369 WITH SCORE 67747.999
AT ITER 77 NEW BEST:: SOT 722032 SOS 375851 HAS SOPS 263320 HAS SOUS 98515 HAS SOUPS 66610 WITH SCORE 66985.851
AT ITER 85 NEW BEST:: SOT 721998 SOS 375661 HAS SOPS 263286 HAS SOUS 98475 HAS SOUPS 66610 WITH SCORE 66985.661
AT ITER 86 NEW BEST:: SOT 721898 SOS 375361 HAS SOPS 263086 HAS SOUS 98425 HAS SOUPS 66560 WITH SCORE 66935.361
AT ITER 87 NEW BEST:: SOT 722136 SOS 375265 HAS SOPS 262752 HAS SOUS 98324 HAS SOUPS 66422 WITH SCORE 66797.265
AT ITER 91 NEW BEST:: SOT 722388 SOS 375065 HAS SOPS 262300 HAS SOUS 98549 HAS SOUPS 66422 WITH SCORE 66797.065
AT ITER 92 NEW BEST:: SOT 722539 SOS 374983 HAS SOPS 262259 HAS SOUS 98549 HAS SOUPS 66422 WITH SCORE 66796.983
AT ITER 94 NEW BEST:: SOT 722528 SOS 374631 HAS SOPS 262248 HAS SOUS 98549 HAS SOUPS 66422 WITH SCORE 66796.631
AT ITER 98 NEW BEST:: SOT 722817 SOS 374637 HAS SOPS 261965 HAS SOUS 98263 HAS SOUPS 66279 WITH SCORE 66653.637
AT ITER 101 NEW BEST:: SOT 723886 SOS 374075 HAS SOPS 260334 HAS SOUS 98644 HAS SOUPS 66278 WITH SCORE 66652.075
AT ITER 102 NEW BEST:: SOT 724282 SOS 374147 HAS SOPS 260730 HAS SOUS 98310 HAS SOUPS 66189 WITH SCORE 66563.147
AT ITER 103 NEW BEST:: SOT 724813 SOS 373913 HAS SOPS 260397 HAS SOUS 98351 HAS SOUPS 66189 WITH SCORE 66562.913
AT ITER 104 NEW BEST:: SOT 727834 SOS 374299 HAS SOPS 259378 HAS SOUS 98694 HAS SOUPS 66045 WITH SCORE 66419.299
AT ITER 106 NEW BEST:: SOT 727913 SOS 373638 HAS SOPS 258755 HAS SOUS 98614 HAS SOUPS 66045 WITH SCORE 66418.638
AT ITER 108 NEW BEST:: SOT 727922 SOS 373551 HAS SOPS 258624 HAS SOUS 98639 HAS SOUPS 66045 WITH SCORE 66418.551
AT ITER 111 NEW BEST:: SOT 727922 SOS 372963 HAS SOPS 258624 HAS SOUS 98639 HAS SOUPS 66045 WITH SCORE 66417.963
AT ITER 114 NEW BEST:: SOT 726278 SOS 371455 HAS SOPS 254132 HAS SOUS 99017 HAS SOUPS 65891 WITH SCORE 66262.455
AT ITER 117 NEW BEST:: SOT 726271 SOS 371427 HAS SOPS 254097 HAS SOUS 99024 HAS SOUPS 65891 WITH SCORE 66262.427
AT ITER 121 NEW BEST:: SOT 726794 SOS 371346 HAS SOPS 253976 HAS SOUS 99015 HAS SOUPS 65891 WITH SCORE 66262.346
AT ITER 122 NEW BEST:: SOT 727705 SOS 371692 HAS SOPS 253411 HAS SOUS 99360 HAS SOUPS 65729 WITH SCORE 66100.692
AT ITER 125 NEW BEST:: SOT 727834 SOS 371642 HAS SOPS 253232 HAS SOUS 99283 HAS SOUPS 65729 WITH SCORE 66100.642
AT ITER 126 NEW BEST:: SOT 727306 SOS 371006 HAS SOPS 253124 HAS SOUS 99011 HAS SOUPS 65729 WITH SCORE 66100.006
AT ITER 132 NEW BEST:: SOT 727780 SOS 371004 HAS SOPS 253218 HAS SOUS 98757 HAS SOUPS 65729 WITH SCORE 66100.004
AT ITER 133 NEW BEST:: SOT 729063 SOS 370294 HAS SOPS 251225 HAS SOUS 99574 HAS SOUPS 65729 WITH SCORE 66099.294
AT ITER 138 NEW BEST:: SOT 729623 SOS 369962 HAS SOPS 250333 HAS SOUS 99763 HAS SOUPS 65663 WITH SCORE 66032.962
AT ITER 145 NEW BEST:: SOT 729968 SOS 370232 HAS SOPS 250398 HAS SOUS 99750 HAS SOUPS 65650 WITH SCORE 66020.232
AT ITER 146 NEW BEST:: SOT 730140 SOS 369604 HAS SOPS 249490 HAS SOUS 99766 HAS SOUPS 65650 WITH SCORE 66019.604
AT ITER 148 NEW BEST:: SOT 732173 SOS 370890 HAS SOPS 248743 HAS SOUS 100712 HAS SOUPS 65457 WITH SCORE 65827.89
AT ITER 150 NEW BEST:: SOT 730389 SOS 369194 HAS SOPS 246887 HAS SOUS 100660 HAS SOUPS 65405 WITH SCORE 65774.194
AT ITER 154 NEW BEST:: SOT 731573 SOS 368946 HAS SOPS 243820 HAS SOUS 101414 HAS SOUPS 65393 WITH SCORE 65761.946
AT ITER 156 NEW BEST:: SOT 731642 SOS 368534 HAS SOPS 243089 HAS SOUS 101497 HAS SOUPS 65393 WITH SCORE 65761.534
AT ITER 159 NEW BEST:: SOT 731968 SOS 368330 HAS SOPS 243629 HAS SOUS 101256 HAS SOUPS 65393 WITH SCORE 65761.33
AT ITER 162 NEW BEST:: SOT 730830 SOS 367422 HAS SOPS 242491 HAS SOUS 101276 HAS SOUPS 65310 WITH SCORE 65677.422
AT ITER 164 NEW BEST:: SOT 731840 SOS 366922 HAS SOPS 243501 HAS SOUS 100999 HAS SOUPS 65310 WITH SCORE 65676.922
AT ITER 167 NEW BEST:: SOT 732069 SOS 366274 HAS SOPS 242782 HAS SOUS 100841 HAS SOUPS 65310 WITH SCORE 65676.274
AT ITER 168 NEW BEST:: SOT 732103 SOS 366252 HAS SOPS 242726 HAS SOUS 100841 HAS SOUPS 65310 WITH SCORE 65676.252
AT ITER 169 NEW BEST:: SOT 732752 SOS 365939 HAS SOPS 244091 HAS SOUS 100662 HAS SOUPS 65310 WITH SCORE 65675.939
AT ITER 172 NEW BEST:: SOT 726446 SOS 367537 HAS SOPS 237785 HAS SOUS 99842 HAS SOUPS 64428 WITH SCORE 64795.537
AT ITER 173 NEW BEST:: SOT 726561 SOS 367631 HAS SOPS 237764 HAS SOUS 99843 HAS SOUPS 64407 WITH SCORE 64774.631
AT ITER 174 NEW BEST:: SOT 726455 SOS 367485 HAS SOPS 237834 HAS SOUS 99843 HAS SOUPS 64407 WITH SCORE 64774.485
AT ITER 183 NEW BEST:: SOT 727165 SOS 367305 HAS SOPS 236944 HAS SOUS 100348 HAS SOUPS 64407 WITH SCORE 64774.305
AT ITER 184 NEW BEST:: SOT 727157 SOS 367289 HAS SOPS 236936 HAS SOUS 100348 HAS SOUPS 64399 WITH SCORE 64766.289
AT ITER 186 NEW BEST:: SOT 727993 SOS 367509 HAS SOPS 236320 HAS SOUS 100323 HAS SOUPS 64231 WITH SCORE 64598.509
AT ITER 187 NEW BEST:: SOT 727898 SOS 367319 HAS SOPS 235943 HAS SOUS 100440 HAS SOUPS 64231 WITH SCORE 64598.319
AT ITER 191 NEW BEST:: SOT 728260 SOS 367251 HAS SOPS 235873 HAS SOUS 100440 HAS SOUPS 64231 WITH SCORE 64598.251
AT ITER 193 NEW BEST:: SOT 727878 SOS 366937 HAS SOPS 235491 HAS SOUS 100330 HAS SOUPS 64096 WITH SCORE 64462.937
AT ITER 196 NEW BEST:: SOT 728708 SOS 367163 HAS SOPS 234887 HAS SOUS 100529 HAS SOUPS 63936 WITH SCORE 64303.163
AT ITER 197 NEW BEST:: SOT 730538 SOS 367553 HAS SOPS 233447 HAS SOUS 100703 HAS SOUPS 63671 WITH SCORE 64038.553
AT ITER 199 NEW BEST:: SOT 730437 SOS 367351 HAS SOPS 233346 HAS SOUS 100831 HAS SOUPS 63671 WITH SCORE 64038.351
AT ITER 201 NEW BEST:: SOT 731236 SOS 367695 HAS SOPS 232891 HAS SOUS 101059 HAS SOUPS 63525 WITH SCORE 63892.695
AT ITER 205 NEW BEST:: SOT 731489 SOS 367745 HAS SOPS 232688 HAS SOUS 101008 HAS SOUPS 63449 WITH SCORE 63816.745
AT ITER 208 NEW BEST:: SOT 731315 SOS 367232 HAS SOPS 232184 HAS SOUS 101131 HAS SOUPS 63449 WITH SCORE 63816.232
AT ITER 212 NEW BEST:: SOT 731272 SOS 367263 HAS SOPS 232024 HAS SOUS 101139 HAS SOUPS 63436 WITH SCORE 63803.263
AT ITER 213 NEW BEST:: SOT 731897 SOS 365883 HAS SOPS 230545 HAS SOUS 101096 HAS SOUPS 63436 WITH SCORE 63801.883
AT ITER 215 NEW BEST:: SOT 731687 SOS 365673 HAS SOPS 230545 HAS SOUS 100963 HAS SOUPS 63436 WITH SCORE 63801.673
AT ITER 218 NEW BEST:: SOT 731767 SOS 365353 HAS SOPS 230145 HAS SOUS 100843 HAS SOUPS 63436 WITH SCORE 63801.353
AT ITER 221 NEW BEST:: SOT 734741 SOS 366549 HAS SOPS 229159 HAS SOUS 101303 HAS SOUPS 63174 WITH SCORE 63540.549
AT ITER 222 NEW BEST:: SOT 731656 SOS 365156 HAS SOPS 224950 HAS SOUS 101822 HAS SOUPS 63102 WITH SCORE 63467.156
AT ITER 225 NEW BEST:: SOT 731758 SOS 364840 HAS SOPS 224532 HAS SOUS 101858 HAS SOUPS 62972 WITH SCORE 63336.84
AT ITER 230 NEW BEST:: SOT 731804 SOS 364804 HAS SOPS 224194 HAS SOUS 101922 HAS SOUPS 62972 WITH SCORE 63336.804
AT ITER 231 NEW BEST:: SOT 732098 SOS 364067 HAS SOPS 223958 HAS SOUS 101834 HAS SOUPS 62972 WITH SCORE 63336.067
AT ITER 235 NEW BEST:: SOT 731658 SOS 362955 HAS SOPS 222358 HAS SOUS 101479 HAS SOUPS 62658 WITH SCORE 63020.955
AT ITER 239 NEW BEST:: SOT 731369 SOS 362663 HAS SOPS 222355 HAS SOUS 101345 HAS SOUPS 62655 WITH SCORE 63017.663
AT ITER 244 NEW BEST:: SOT 731528 SOS 362327 HAS SOPS 222950 HAS SOUS 101236 HAS SOUPS 62655 WITH SCORE 63017.327
AT ITER 246 NEW BEST:: SOT 732368 SOS 362572 HAS SOPS 222642 HAS SOUS 101067 HAS SOUPS 62368 WITH SCORE 62730.572
AT ITER 247 NEW BEST:: SOT 732582 SOS 362365 HAS SOPS 222094 HAS SOUS 101328 HAS SOUPS 62335 WITH SCORE 62697.365
AT ITER 251 NEW BEST:: SOT 732064 SOS 361980 HAS SOPS 221297 HAS SOUS 101475 HAS SOUPS 62335 WITH SCORE 62696.98
AT ITER 253 NEW BEST:: SOT 732218 SOS 361788 HAS SOPS 220951 HAS SOUS 101519 HAS SOUPS 62239 WITH SCORE 62600.788
AT ITER 259 NEW BEST:: SOT 732221 SOS 361730 HAS SOPS 220978 HAS SOUS 101519 HAS SOUPS 62239 WITH SCORE 62600.73
AT ITER 260 NEW BEST:: SOT 732334 SOS 361650 HAS SOPS 221159 HAS SOUS 101496 HAS SOUPS 62239 WITH SCORE 62600.65
AT ITER 261 NEW BEST:: SOT 732158 SOS 361563 HAS SOPS 221089 HAS SOUS 101549 HAS SOUPS 62239 WITH SCORE 62600.563
AT ITER 263 NEW BEST:: SOT 732194 SOS 361289 HAS SOPS 221125 HAS SOUS 101239 HAS SOUPS 62239 WITH SCORE 62600.289
AT ITER 266 NEW BEST:: SOT 732027 SOS 361089 HAS SOPS 220958 HAS SOUS 101239 HAS SOUPS 62239 WITH SCORE 62600.089
AT ITER 270 NEW BEST:: SOT 732188 SOS 361081 HAS SOPS 221119 HAS SOUS 101070 HAS SOUPS 62239 WITH SCORE 62600.081
AT ITER 277 NEW BEST:: SOT 732188 SOS 361001 HAS SOPS 220959 HAS SOUS 101070 HAS SOUPS 62239 WITH SCORE 62600.001
AT ITER 279 NEW BEST:: SOT 732175 SOS 360988 HAS SOPS 220998 HAS SOUS 101044 HAS SOUPS 62239 WITH SCORE 62599.988
AT ITER 281 NEW BEST:: SOT 733084 SOS 361588 HAS SOPS 220689 HAS SOUS 101097 HAS SOUPS 62104 WITH SCORE 62465.588
AT ITER 283 NEW BEST:: SOT 733158 SOS 360200 HAS SOPS 220571 HAS SOUS 100905 HAS SOUPS 62008 WITH SCORE 62368.2
AT ITER 284 NEW BEST:: SOT 735179 SOS 361022 HAS SOPS 219372 HAS SOUS 101786 HAS SOUPS 61740 WITH SCORE 62101.022
AT ITER 285 NEW BEST:: SOT 736018 SOS 360189 HAS SOPS 220211 HAS SOUS 101507 HAS SOUPS 61740 WITH SCORE 62100.189
AT ITER 288 NEW BEST:: SOT 734657 SOS 359252 HAS SOPS 218748 HAS SOUS 101565 HAS SOUPS 61728 WITH SCORE 62087.252
AT ITER 294 NEW BEST:: SOT 734857 SOS 357727 HAS SOPS 216848 HAS SOUS 101707 HAS SOUPS 61728 WITH SCORE 62085.727
AT ITER 297 NEW BEST:: SOT 734879 SOS 357354 HAS SOPS 216870 HAS SOUS 101429 HAS SOUPS 61589 WITH SCORE 61946.354
AT ITER 298 NEW BEST:: SOT 733398 SOS 355544 HAS SOPS 214237 HAS SOUS 101369 HAS SOUPS 61385 WITH SCORE 61740.544
AT ITER 301 NEW BEST:: SOT 729730 SOS 353098 HAS SOPS 209917 HAS SOUS 101560 HAS SOUPS 61300 WITH SCORE 61653.098
AT ITER 310 NEW BEST:: SOT 730120 SOS 352642 HAS SOPS 209895 HAS SOUS 101148 HAS SOUPS 61094 WITH SCORE 61446.642
AT ITER 315 NEW BEST:: SOT 729974 SOS 352482 HAS SOPS 209881 HAS SOUS 101102 HAS SOUPS 61085 WITH SCORE 61437.482
AT ITER 316 NEW BEST:: SOT 730138 SOS 352102 HAS SOPS 209337 HAS SOUS 101089 HAS SOUPS 61085 WITH SCORE 61437.102
AT ITER 318 NEW BEST:: SOT 730138 SOS 352050 HAS SOPS 209233 HAS SOUS 101115 HAS SOUPS 61085 WITH SCORE 61437.05
AT ITER 321 NEW BEST:: SOT 730155 SOS 351982 HAS SOPS 209114 HAS SOUS 101135 HAS SOUPS 61085 WITH SCORE 61436.982
AT ITER 322 NEW BEST:: SOT 730485 SOS 351952 HAS SOPS 208892 HAS SOUS 100997 HAS SOUPS 61085 WITH SCORE 61436.952
AT ITER 323 NEW BEST:: SOT 731042 SOS 352406 HAS SOPS 208789 HAS SOUS 101186 HAS SOUPS 61036 WITH SCORE 61388.406
AT ITER 329 NEW BEST:: SOT 730718 SOS 352192 HAS SOPS 208381 HAS SOUS 101045 HAS SOUPS 60849 WITH SCORE 61201.192
AT ITER 332 NEW BEST:: SOT 731021 SOS 350854 HAS SOPS 208036 HAS SOUS 101042 HAS SOUPS 60846 WITH SCORE 61196.854
AT ITER 333 NEW BEST:: SOT 730658 SOS 350828 HAS SOPS 207393 HAS SOUS 101042 HAS SOUPS 60846 WITH SCORE 61196.828
AT ITER 336 NEW BEST:: SOT 730658 SOS 350724 HAS SOPS 207289 HAS SOUS 100938 HAS SOUPS 60742 WITH SCORE 61092.724
AT ITER 339 NEW BEST:: SOT 731055 SOS 350480 HAS SOPS 206821 HAS SOUS 100706 HAS SOUPS 60569 WITH SCORE 60919.48
AT ITER 340 NEW BEST:: SOT 731514 SOS 350588 HAS SOPS 206227 HAS SOUS 100756 HAS SOUPS 60488 WITH SCORE 60838.588
AT ITER 342 NEW BEST:: SOT 732063 SOS 351030 HAS SOPS 206120 HAS SOUS 100847 HAS SOUPS 60381 WITH SCORE 60732.03
AT ITER 343 NEW BEST:: SOT 733808 SOS 352256 HAS SOPS 206167 HAS SOUS 100993 HAS SOUPS 60348 WITH SCORE 60700.256
AT ITER 344 NEW BEST:: SOT 733815 SOS 351896 HAS SOPS 206242 HAS SOUS 100993 HAS SOUPS 60348 WITH SCORE 60699.896
AT ITER 347 NEW BEST:: SOT 734132 SOS 351734 HAS SOPS 206559 HAS SOUS 100797 HAS SOUPS 60237 WITH SCORE 60588.734
AT ITER 351 NEW BEST:: SOT 734151 SOS 350914 HAS SOPS 205720 HAS SOUS 100790 HAS SOUPS 60237 WITH SCORE 60587.914
AT ITER 352 NEW BEST:: SOT 734356 SOS 351080 HAS SOPS 205681 HAS SOUS 100873 HAS SOUPS 60198 WITH SCORE 60549.08
AT ITER 353 NEW BEST:: SOT 734687 SOS 350098 HAS SOPS 204368 HAS SOUS 100812 HAS SOUPS 60198 WITH SCORE 60548.098
AT ITER 356 NEW BEST:: SOT 734942 SOS 350056 HAS SOPS 204071 HAS SOUS 100724 HAS SOUPS 60198 WITH SCORE 60548.056
AT ITER 362 NEW BEST:: SOT 734897 SOS 350019 HAS SOPS 204662 HAS SOUS 100671 HAS SOUPS 60198 WITH SCORE 60548.019
AT ITER 364 NEW BEST:: SOT 734790 SOS 349421 HAS SOPS 204171 HAS SOUS 100672 HAS SOUPS 60198 WITH SCORE 60547.421
AT ITER 365 NEW BEST:: SOT 735887 SOS 349645 HAS SOPS 203298 HAS SOUS 100900 HAS SOUPS 60064 WITH SCORE 60413.645
AT ITER 366 NEW BEST:: SOT 736471 SOS 349441 HAS SOPS 203098 HAS SOUS 100900 HAS SOUPS 60064 WITH SCORE 60413.441
AT ITER 373 NEW BEST:: SOT 737268 SOS 349035 HAS SOPS 203145 HAS SOUS 100870 HAS SOUPS 60064 WITH SCORE 60413.035
AT ITER 374 NEW BEST:: SOT 737721 SOS 348717 HAS SOPS 202374 HAS SOUS 101051 HAS SOUPS 60064 WITH SCORE 60412.717
AT ITER 375 NEW BEST:: SOT 737720 SOS 348715 HAS SOPS 202373 HAS SOUS 101051 HAS SOUPS 60063 WITH SCORE 60411.715
AT ITER 377 NEW BEST:: SOT 737613 SOS 348576 HAS SOPS 202116 HAS SOUS 101094 HAS SOUPS 60063 WITH SCORE 60411.576
AT ITER 380 NEW BEST:: SOT 737936 SOS 348375 HAS SOPS 201955 HAS SOUS 101082 HAS SOUPS 60063 WITH SCORE 60411.375
AT ITER 381 NEW BEST:: SOT 739039 SOS 349577 HAS SOPS 202054 HAS SOUS 101148 HAS SOUPS 60056 WITH SCORE 60405.577
AT ITER 385 NEW BEST:: SOT 739421 SOS 349205 HAS SOPS 201300 HAS SOUS 101158 HAS SOUPS 60056 WITH SCORE 60405.205
AT ITER 390 NEW BEST:: SOT 739581 SOS 349348 HAS SOPS 201224 HAS SOUS 101318 HAS SOUPS 60039 WITH SCORE 60388.348
AT ITER 397 NEW BEST:: SOT 740624 SOS 349986 HAS SOPS 200819 HAS SOUS 101654 HAS SOUPS 59927 WITH SCORE 60276.986
AT ITER 399 NEW BEST:: SOT 740053 SOS 349714 HAS SOPS 200538 HAS SOUS 101751 HAS SOUPS 59921 WITH SCORE 60270.714
AT ITER 400 NEW BEST:: SOT 740106 SOS 349674 HAS SOPS 200591 HAS SOUS 101658 HAS SOUPS 59854 WITH SCORE 60203.674
AT ITER 402 NEW BEST:: SOT 740106 SOS 349214 HAS SOPS 200591 HAS SOUS 101566 HAS SOUPS 59854 WITH SCORE 60203.214
AT ITER 405 NEW BEST:: SOT 740906 SOS 348614 HAS SOPS 202766 HAS SOUS 101490 HAS SOUPS 59854 WITH SCORE 60202.614
AT ITER 406 NEW BEST:: SOT 741249 SOS 347746 HAS SOPS 201777 HAS SOUS 101175 HAS SOUPS 59854 WITH SCORE 60201.746
AT ITER 407 NEW BEST:: SOT 741836 SOS 348104 HAS SOPS 202262 HAS SOUS 101088 HAS SOUPS 59818 WITH SCORE 60166.104
AT ITER 409 NEW BEST:: SOT 741932 SOS 348154 HAS SOPS 202216 HAS SOUS 101053 HAS SOUPS 59783 WITH SCORE 60131.154
AT ITER 410 NEW BEST:: SOT 742642 SOS 347622 HAS SOPS 202438 HAS SOUS 100565 HAS SOUPS 59539 WITH SCORE 59886.622
AT ITER 411 NEW BEST:: SOT 742540 SOS 347378 HAS SOPS 202256 HAS SOUS 100565 HAS SOUPS 59539 WITH SCORE 59886.378
AT ITER 413 NEW BEST:: SOT 742540 SOS 347352 HAS SOPS 202204 HAS SOUS 100565 HAS SOUPS 59539 WITH SCORE 59886.352
AT ITER 416 NEW BEST:: SOT 742343 SOS 347264 HAS SOPS 203537 HAS SOUS 100362 HAS SOUPS 59539 WITH SCORE 59886.264
AT ITER 418 NEW BEST:: SOT 743697 SOS 346452 HAS SOPS 204891 HAS SOUS 100338 HAS SOUPS 59539 WITH SCORE 59885.452
AT ITER 420 NEW BEST:: SOT 745647 SOS 347262 HAS SOPS 203751 HAS SOUS 100876 HAS SOUPS 59288 WITH SCORE 59635.262
AT ITER 424 NEW BEST:: SOT 745366 SOS 347076 HAS SOPS 203846 HAS SOUS 100876 HAS SOUPS 59288 WITH SCORE 59635.076
AT ITER 425 NEW BEST:: SOT 745772 SOS 346960 HAS SOPS 203324 HAS SOUS 100849 HAS SOUPS 59248 WITH SCORE 59594.96
AT ITER 428 NEW BEST:: SOT 745835 SOS 347023 HAS SOPS 203261 HAS SOUS 100828 HAS SOUPS 59227 WITH SCORE 59574.023
AT ITER 429 NEW BEST:: SOT 745522 SOS 347983 HAS SOPS 202826 HAS SOUS 100566 HAS SOUPS 58843 WITH SCORE 59190.983
AT ITER 430 NEW BEST:: SOT 745768 SOS 348147 HAS SOPS 202908 HAS SOUS 100484 HAS SOUPS 58761 WITH SCORE 59109.147
AT ITER 431 NEW BEST:: SOT 745847 SOS 348068 HAS SOPS 202829 HAS SOUS 100405 HAS SOUPS 58761 WITH SCORE 59109.068
AT ITER 433 NEW BEST:: SOT 746006 SOS 347750 HAS SOPS 202670 HAS SOUS 100087 HAS SOUPS 58602 WITH SCORE 58949.75
AT ITER 439 NEW BEST:: SOT 746296 SOS 347742 HAS SOPS 202960 HAS SOUS 100087 HAS SOUPS 58602 WITH SCORE 58949.742
AT ITER 441 NEW BEST:: SOT 746199 SOS 347548 HAS SOPS 202863 HAS SOUS 100238 HAS SOUPS 58602 WITH SCORE 58949.548
AT ITER 445 NEW BEST:: SOT 747566 SOS 347136 HAS SOPS 201326 HAS SOUS 100255 HAS SOUPS 58602 WITH SCORE 58949.136
AT ITER 450 NEW BEST:: SOT 747702 SOS 346952 HAS SOPS 201006 HAS SOUS 100231 HAS SOUPS 58602 WITH SCORE 58948.952
AT ITER 451 NEW BEST:: SOT 747706 SOS 346040 HAS SOPS 200090 HAS SOUS 100191 HAS SOUPS 58602 WITH SCORE 58948.04
AT ITER 454 NEW BEST:: SOT 748820 SOS 345788 HAS SOPS 198724 HAS SOUS 100131 HAS SOUPS 58447 WITH SCORE 58792.788
AT ITER 457 NEW BEST:: SOT 748716 SOS 345145 HAS SOPS 198185 HAS SOUS 100007 HAS SOUPS 58360 WITH SCORE 58705.145
AT ITER 459 NEW BEST:: SOT 748774 SOS 345139 HAS SOPS 198244 HAS SOUS 100006 HAS SOUPS 58360 WITH SCORE 58705.139
AT ITER 460 NEW BEST:: SOT 749263 SOS 345021 HAS SOPS 197637 HAS SOUS 100006 HAS SOUPS 58360 WITH SCORE 58705.021
AT ITER 461 NEW BEST:: SOT 749219 SOS 344977 HAS SOPS 197637 HAS SOUS 100006 HAS SOUPS 58360 WITH SCORE 58704.977
AT ITER 463 NEW BEST:: SOT 750844 SOS 344275 HAS SOPS 195518 HAS SOUS 99909 HAS SOUPS 58152 WITH SCORE 58496.275
AT ITER 465 NEW BEST:: SOT 751366 SOS 344651 HAS SOPS 195372 HAS SOUS 100033 HAS SOUPS 58053 WITH SCORE 58397.651
AT ITER 466 NEW BEST:: SOT 751240 SOS 344588 HAS SOPS 195372 HAS SOUS 100096 HAS SOUPS 58053 WITH SCORE 58397.588
AT ITER 469 NEW BEST:: SOT 751054 SOS 344390 HAS SOPS 194809 HAS SOUS 100096 HAS SOUPS 58024 WITH SCORE 58368.39
AT ITER 471 NEW BEST:: SOT 750780 SOS 344186 HAS SOPS 194879 HAS SOUS 99924 HAS SOUPS 58024 WITH SCORE 58368.186
AT ITER 472 NEW BEST:: SOT 749623 SOS 343482 HAS SOPS 194002 HAS SOUS 100031 HAS SOUPS 57991 WITH SCORE 58334.482
AT ITER 473 NEW BEST:: SOT 749623 SOS 343398 HAS SOPS 194002 HAS SOUS 99947 HAS SOUPS 57991 WITH SCORE 58334.398
AT ITER 478 NEW BEST:: SOT 749426 SOS 343212 HAS SOPS 193701 HAS SOUS 99947 HAS SOUPS 57991 WITH SCORE 58334.212
AT ITER 482 NEW BEST:: SOT 749611 SOS 343312 HAS SOPS 193706 HAS SOUS 99876 HAS SOUPS 57920 WITH SCORE 58263.312
AT ITER 485 NEW BEST:: SOT 749541 SOS 343242 HAS SOPS 193706 HAS SOUS 99876 HAS SOUPS 57920 WITH SCORE 58263.242
AT ITER 487 NEW BEST:: SOT 750061 SOS 343674 HAS SOPS 193618 HAS SOUS 99970 HAS SOUPS 57876 WITH SCORE 58219.674
AT ITER 489 NEW BEST:: SOT 751100 SOS 344248 HAS SOPS 193153 HAS SOUS 100011 HAS SOUPS 57782 WITH SCORE 58126.248
AT ITER 490 NEW BEST:: SOT 751313 SOS 343978 HAS SOPS 192902 HAS SOUS 99858 HAS SOUPS 57782 WITH SCORE 58125.978
AT ITER 502 NEW BEST:: SOT 751145 SOS 343970 HAS SOPS 192324 HAS SOUS 99639 HAS SOUPS 57481 WITH SCORE 57824.97
AT ITER 503 NEW BEST:: SOT 751909 SOS 343353 HAS SOPS 191138 HAS SOUS 99567 HAS SOUPS 57481 WITH SCORE 57824.353
AT ITER 506 NEW BEST:: SOT 751479 SOS 342923 HAS SOPS 191138 HAS SOUS 99567 HAS SOUPS 57481 WITH SCORE 57823.923
AT ITER 507 NEW BEST:: SOT 751337 SOS 342120 HAS SOPS 190996 HAS SOUS 99394 HAS SOUPS 57481 WITH SCORE 57823.12
AT ITER 508 NEW BEST:: SOT 751337 SOS 342072 HAS SOPS 190964 HAS SOUS 99394 HAS SOUPS 57481 WITH SCORE 57823.072
AT ITER 510 NEW BEST:: SOT 751289 SOS 341749 HAS SOPS 190916 HAS SOUS 99119 HAS SOUPS 57254 WITH SCORE 57595.749
AT ITER 511 NEW BEST:: SOT 751289 SOS 341747 HAS SOPS 190916 HAS SOUS 99119 HAS SOUPS 57254 WITH SCORE 57595.747
AT ITER 513 NEW BEST:: SOT 751297 SOS 341231 HAS SOPS 190658 HAS SOUS 99081 HAS SOUPS 57216 WITH SCORE 57557.231
AT ITER 517 NEW BEST:: SOT 751297 SOS 341227 HAS SOPS 190650 HAS SOUS 99081 HAS SOUPS 57212 WITH SCORE 57553.227
AT ITER 518 NEW BEST:: SOT 749461 SOS 340365 HAS SOPS 188252 HAS SOUS 98294 HAS SOUPS 56330 WITH SCORE 56670.365
AT ITER 521 NEW BEST:: SOT 750077 SOS 340862 HAS SOPS 188448 HAS SOUS 98184 HAS SOUPS 56225 WITH SCORE 56565.862
AT ITER 526 NEW BEST:: SOT 750351 SOS 341082 HAS SOPS 188394 HAS SOUS 98170 HAS SOUPS 56196 WITH SCORE 56537.082
AT ITER 527 NEW BEST:: SOT 749874 SOS 341078 HAS SOPS 187917 HAS SOUS 98220 HAS SOUPS 56196 WITH SCORE 56537.078
AT ITER 528 NEW BEST:: SOT 749840 SOS 340808 HAS SOPS 187681 HAS SOUS 98288 HAS SOUPS 56196 WITH SCORE 56536.808
AT ITER 532 NEW BEST:: SOT 750052 SOS 340431 HAS SOPS 187359 HAS SOUS 97911 HAS SOUPS 55929 WITH SCORE 56269.431
AT ITER 533 NEW BEST:: SOT 748292 SOS 340291 HAS SOPS 185599 HAS SOUS 98230 HAS SOUPS 55858 WITH SCORE 56198.291
AT ITER 535 NEW BEST:: SOT 747747 SOS 339201 HAS SOPS 185054 HAS SOUS 97960 HAS SOUPS 55553 WITH SCORE 55892.201
AT ITER 536 NEW BEST:: SOT 747747 SOS 338963 HAS SOPS 185054 HAS SOUS 97960 HAS SOUPS 55553 WITH SCORE 55891.963
AT ITER 541 NEW BEST:: SOT 745719 SOS 341351 HAS SOPS 183026 HAS SOUS 97719 HAS SOUPS 55312 WITH SCORE 55653.351
AT ITER 542 NEW BEST:: SOT 747675 SOS 339656 HAS SOPS 183380 HAS SOUS 97185 HAS SOUPS 55045 WITH SCORE 55384.656
AT ITER 546 NEW BEST:: SOT 747635 SOS 339608 HAS SOPS 183372 HAS SOUS 97169 HAS SOUPS 55037 WITH SCORE 55376.608
AT ITER 551 NEW BEST:: SOT 748232 SOS 339658 HAS SOPS 184177 HAS SOUS 97030 HAS SOUPS 55002 WITH SCORE 55341.658
AT ITER 552 NEW BEST:: SOT 748794 SOS 339662 HAS SOPS 184067 HAS SOUS 96806 HAS SOUPS 54890 WITH SCORE 55229.662
AT ITER 554 NEW BEST:: SOT 748879 SOS 339607 HAS SOPS 183852 HAS SOUS 96896 HAS SOUPS 54890 WITH SCORE 55229.607
AT ITER 556 NEW BEST:: SOT 748773 SOS 339317 HAS SOPS 184058 HAS SOUS 96849 HAS SOUPS 54890 WITH SCORE 55229.317
AT ITER 561 NEW BEST:: SOT 747968 SOS 339289 HAS SOPS 183253 HAS SOUS 96987 HAS SOUPS 54890 WITH SCORE 55229.289
AT ITER 565 NEW BEST:: SOT 746011 SOS 339323 HAS SOPS 180638 HAS SOUS 97055 HAS SOUPS 54806 WITH SCORE 55145.323
AT ITER 566 NEW BEST:: SOT 746764 SOS 339359 HAS SOPS 181685 HAS SOUS 96599 HAS SOUPS 54791 WITH SCORE 55130.359
AT ITER 570 NEW BEST:: SOT 746884 SOS 339599 HAS SOPS 181805 HAS SOUS 96382 HAS SOUPS 54778 WITH SCORE 55117.599
AT ITER 574 NEW BEST:: SOT 745950 SOS 339495 HAS SOPS 180871 HAS SOUS 96382 HAS SOUPS 54778 WITH SCORE 55117.495
AT ITER 576 NEW BEST:: SOT 746363 SOS 339433 HAS SOPS 180100 HAS SOUS 96546 HAS SOUPS 54752 WITH SCORE 55091.433
AT ITER 584 NEW BEST:: SOT 744076 SOS 338945 HAS SOPS 176451 HAS SOUS 95526 HAS SOUPS 53732 WITH SCORE 54070.945
AT ITER 586 NEW BEST:: SOT 744555 SOS 336315 HAS SOPS 173342 HAS SOUS 95573 HAS SOUPS 53732 WITH SCORE 54068.315
AT ITER 587 NEW BEST:: SOT 745275 SOS 334683 HAS SOPS 173038 HAS SOUS 95398 HAS SOUPS 53732 WITH SCORE 54066.683
AT ITER 588 NEW BEST:: SOT 745328 SOS 334259 HAS SOPS 172667 HAS SOUS 95292 HAS SOUPS 53679 WITH SCORE 54013.259
AT ITER 592 NEW BEST:: SOT 745149 SOS 334002 HAS SOPS 172690 HAS SOUS 95292 HAS SOUPS 53679 WITH SCORE 54013.002
AT ITER 593 NEW BEST:: SOT 745149 SOS 333996 HAS SOPS 172690 HAS SOUS 95292 HAS SOUPS 53679 WITH SCORE 54012.996
AT ITER 602 NEW BEST:: SOT 745157 SOS 333967 HAS SOPS 172728 HAS SOUS 95277 HAS SOUPS 53679 WITH SCORE 54012.967
AT ITER 607 NEW BEST:: SOT 746628 SOS 335737 HAS SOPS 173906 HAS SOUS 95545 HAS SOUPS 53671 WITH SCORE 54006.737
AT ITER 609 NEW BEST:: SOT 745921 SOS 335222 HAS SOPS 173228 HAS SOUS 95502 HAS SOUPS 53570 WITH SCORE 53905.222
AT ITER 612 NEW BEST:: SOT 745525 SOS 334865 HAS SOPS 172687 HAS SOUS 95502 HAS SOUPS 53570 WITH SCORE 53904.865
AT ITER 615 NEW BEST:: SOT 745452 SOS 334719 HAS SOPS 173014 HAS SOUS 95402 HAS SOUPS 53570 WITH SCORE 53904.719
AT ITER 619 NEW BEST:: SOT 742743 SOS 335670 HAS SOPS 169533 HAS SOUS 95036 HAS SOUPS 53011 WITH SCORE 53346.67
AT ITER 632 NEW BEST:: SOT 743226 SOS 335862 HAS SOPS 169242 HAS SOUS 95060 HAS SOUPS 53009 WITH SCORE 53344.862
AT ITER 634 NEW BEST:: SOT 743496 SOS 336042 HAS SOPS 169152 HAS SOUS 94970 HAS SOUPS 52919 WITH SCORE 53255.042
AT ITER 636 NEW BEST:: SOT 739913 SOS 336988 HAS SOPS 162761 HAS SOUS 94346 HAS SOUPS 51990 WITH SCORE 52326.988
AT ITER 638 NEW BEST:: SOT 739341 SOS 339892 HAS SOPS 162189 HAS SOUS 94297 HAS SOUPS 51941 WITH SCORE 52280.892
AT ITER 639 NEW BEST:: SOT 739356 SOS 339818 HAS SOPS 162204 HAS SOUS 94271 HAS SOUPS 51915 WITH SCORE 52254.818
AT ITER 643 NEW BEST:: SOT 739675 SOS 339792 HAS SOPS 162274 HAS SOUS 94188 HAS SOUPS 51832 WITH SCORE 52171.792
AT ITER 645 NEW BEST:: SOT 739238 SOS 339453 HAS SOPS 162265 HAS SOUS 94215 HAS SOUPS 51823 WITH SCORE 52162.453
AT ITER 649 NEW BEST:: SOT 739268 SOS 339423 HAS SOPS 162235 HAS SOUS 94155 HAS SOUPS 51793 WITH SCORE 52132.423
AT ITER 650 NEW BEST:: SOT 739290 SOS 339371 HAS SOPS 162209 HAS SOUS 94131 HAS SOUPS 51781 WITH SCORE 52120.371
AT ITER 653 NEW BEST:: SOT 739355 SOS 338841 HAS SOPS 161614 HAS SOUS 94080 HAS SOUPS 51781 WITH SCORE 52119.841
AT ITER 655 NEW BEST:: SOT 739873 SOS 339021 HAS SOPS 161276 HAS SOUS 93849 HAS SOUPS 51443 WITH SCORE 51782.021
AT ITER 657 NEW BEST:: SOT 740028 SOS 338683 HAS SOPS 160855 HAS SOUS 93716 HAS SOUPS 51382 WITH SCORE 51720.683
AT ITER 658 NEW BEST:: SOT 739405 SOS 338509 HAS SOPS 158088 HAS SOUS 94338 HAS SOUPS 51282 WITH SCORE 51620.509
AT ITER 660 NEW BEST:: SOT 739397 SOS 340161 HAS SOPS 158080 HAS SOUS 94296 HAS SOUPS 51240 WITH SCORE 51580.161
AT ITER 661 NEW BEST:: SOT 735545 SOS 340107 HAS SOPS 153004 HAS SOUS 94296 HAS SOUPS 51240 WITH SCORE 51580.107
AT ITER 666 NEW BEST:: SOT 736594 SOS 340931 HAS SOPS 152877 HAS SOUS 94296 HAS SOUPS 51142 WITH SCORE 51482.931
AT ITER 675 NEW BEST:: SOT 736413 SOS 340812 HAS SOPS 153344 HAS SOUS 94296 HAS SOUPS 51142 WITH SCORE 51482.812
AT ITER 685 NEW BEST:: SOT 737579 SOS 342644 HAS SOPS 153010 HAS SOUS 94975 HAS SOUPS 51129 WITH SCORE 51471.644
AT ITER 687 NEW BEST:: SOT 738398 SOS 342350 HAS SOPS 151897 HAS SOUS 94844 HAS SOUPS 50968 WITH SCORE 51310.35
AT ITER 688 NEW BEST:: SOT 738444 SOS 342284 HAS SOPS 152101 HAS SOUS 94756 HAS SOUPS 50968 WITH SCORE 51310.284
AT ITER 689 NEW BEST:: SOT 738049 SOS 342532 HAS SOPS 152398 HAS SOUS 95288 HAS SOUPS 50965 WITH SCORE 51307.532
AT ITER 693 NEW BEST:: SOT 738049 SOS 341543 HAS SOPS 152398 HAS SOUS 95288 HAS SOUPS 50965 WITH SCORE 51306.543
AT ITER 699 NEW BEST:: SOT 738190 SOS 341181 HAS SOPS 151803 HAS SOUS 95482 HAS SOUPS 50965 WITH SCORE 51306.181
AT ITER 701 NEW BEST:: SOT 738646 SOS 341551 HAS SOPS 152259 HAS SOUS 95551 HAS SOUPS 50932 WITH SCORE 51273.551
AT ITER 704 NEW BEST:: SOT 738646 SOS 341491 HAS SOPS 152259 HAS SOUS 95551 HAS SOUPS 50932 WITH SCORE 51273.491
AT ITER 707 NEW BEST:: SOT 738987 SOS 339821 HAS SOPS 150248 HAS SOUS 95516 HAS SOUPS 50638 WITH SCORE 50977.821
AT ITER 709 NEW BEST:: SOT 739023 SOS 339746 HAS SOPS 150186 HAS SOUS 95467 HAS SOUPS 50638 WITH SCORE 50977.746
AT ITER 714 NEW BEST:: SOT 740097 SOS 339224 HAS SOPS 149480 HAS SOUS 95111 HAS SOUPS 50460 WITH SCORE 50799.224
AT ITER 715 NEW BEST:: SOT 740093 SOS 339190 HAS SOPS 149480 HAS SOUS 95109 HAS SOUPS 50460 WITH SCORE 50799.19
AT ITER 718 NEW BEST:: SOT 740093 SOS 339174 HAS SOPS 149480 HAS SOUS 95109 HAS SOUPS 50460 WITH SCORE 50799.174
AT ITER 725 NEW BEST:: SOT 739956 SOS 338696 HAS SOPS 149343 HAS SOUS 94768 HAS SOUPS 50323 WITH SCORE 50661.696
AT ITER 726 NEW BEST:: SOT 740250 SOS 338858 HAS SOPS 149211 HAS SOUS 95045 HAS SOUPS 50191 WITH SCORE 50529.858
AT ITER 727 NEW BEST:: SOT 741951 SOS 337472 HAS SOPS 149904 HAS SOUS 94571 HAS SOUPS 49969 WITH SCORE 50306.472
AT ITER 729 NEW BEST:: SOT 742453 SOS 337800 HAS SOPS 149730 HAS SOUS 94565 HAS SOUPS 49963 WITH SCORE 50300.8
AT ITER 732 NEW BEST:: SOT 742652 SOS 337948 HAS SOPS 149679 HAS SOUS 94639 HAS SOUPS 49912 WITH SCORE 50249.948
AT ITER 734 NEW BEST:: SOT 742942 SOS 338016 HAS SOPS 149457 HAS SOUS 94706 HAS SOUPS 49905 WITH SCORE 50243.016
AT ITER 736 NEW BEST:: SOT 742859 SOS 337730 HAS SOPS 149854 HAS SOUS 94586 HAS SOUPS 49905 WITH SCORE 50242.73
AT ITER 740 NEW BEST:: SOT 742839 SOS 337645 HAS SOPS 149924 HAS SOUS 94541 HAS SOUPS 49905 WITH SCORE 50242.645
AT ITER 741 NEW BEST:: SOT 742945 SOS 340401 HAS SOPS 149606 HAS SOUS 94450 HAS SOUPS 49587 WITH SCORE 49927.401
AT ITER 743 NEW BEST:: SOT 742945 SOS 340380 HAS SOPS 149564 HAS SOUS 94450 HAS SOUPS 49587 WITH SCORE 49927.38
AT ITER 744 NEW BEST:: SOT 742600 SOS 340265 HAS SOPS 149449 HAS SOUS 94565 HAS SOUPS 49587 WITH SCORE 49927.265
AT ITER 745 NEW BEST:: SOT 742637 SOS 340226 HAS SOPS 149260 HAS SOUS 94466 HAS SOUPS 49561 WITH SCORE 49901.226
AT ITER 747 NEW BEST:: SOT 742589 SOS 340082 HAS SOPS 149116 HAS SOUS 94466 HAS SOUPS 49513 WITH SCORE 49853.082
AT ITER 748 NEW BEST:: SOT 744726 SOS 340216 HAS SOPS 147113 HAS SOUS 95038 HAS SOUPS 49375 WITH SCORE 49715.216
AT ITER 750 NEW BEST:: SOT 744798 SOS 339973 HAS SOPS 147185 HAS SOUS 94909 HAS SOUPS 49375 WITH SCORE 49714.973
AT ITER 751 NEW BEST:: SOT 744855 SOS 339954 HAS SOPS 147128 HAS SOUS 94909 HAS SOUPS 49375 WITH SCORE 49714.954
AT ITER 753 NEW BEST:: SOT 747476 SOS 340132 HAS SOPS 144685 HAS SOUS 95489 HAS SOUPS 49368 WITH SCORE 49708.132
AT ITER 757 NEW BEST:: SOT 747492 SOS 339764 HAS SOPS 144701 HAS SOUS 95289 HAS SOUPS 49368 WITH SCORE 49707.764
AT ITER 759 NEW BEST:: SOT 747479 SOS 339658 HAS SOPS 144728 HAS SOUS 95269 HAS SOUPS 49368 WITH SCORE 49707.658
AT ITER 760 NEW BEST:: SOT 747861 SOS 339854 HAS SOPS 144542 HAS SOUS 95173 HAS SOUPS 49272 WITH SCORE 49611.854
AT ITER 762 NEW BEST:: SOT 747562 SOS 339614 HAS SOPS 144601 HAS SOUS 95064 HAS SOUPS 49272 WITH SCORE 49611.614
AT ITER 766 NEW BEST:: SOT 748225 SOS 339555 HAS SOPS 144710 HAS SOUS 95064 HAS SOUPS 49272 WITH SCORE 49611.555
AT ITER 767 NEW BEST:: SOT 749241 SOS 339083 HAS SOPS 143222 HAS SOUS 95170 HAS SOUPS 49268 WITH SCORE 49607.083
AT ITER 770 NEW BEST:: SOT 749330 SOS 338964 HAS SOPS 143311 HAS SOUS 94777 HAS SOUPS 49268 WITH SCORE 49606.964
AT ITER 771 NEW BEST:: SOT 749681 SOS 339198 HAS SOPS 143428 HAS SOUS 94660 HAS SOUPS 49151 WITH SCORE 49490.198
AT ITER 775 NEW BEST:: SOT 750109 SOS 338949 HAS SOPS 142816 HAS SOUS 94725 HAS SOUPS 49151 WITH SCORE 49489.949
AT ITER 776 NEW BEST:: SOT 750309 SOS 338699 HAS SOPS 142316 HAS SOUS 94725 HAS SOUPS 49101 WITH SCORE 49439.699
AT ITER 777 NEW BEST:: SOT 752371 SOS 338359 HAS SOPS 144378 HAS SOUS 94412 HAS SOUPS 49101 WITH SCORE 49439.359
AT ITER 779 NEW BEST:: SOT 752831 SOS 338059 HAS SOPS 143618 HAS SOUS 94282 HAS SOUPS 49093 WITH SCORE 49431.059
AT ITER 780 NEW BEST:: SOT 752689 SOS 337910 HAS SOPS 143584 HAS SOUS 94234 HAS SOUPS 49059 WITH SCORE 49396.91
AT ITER 782 NEW BEST:: SOT 752701 SOS 337596 HAS SOPS 143596 HAS SOUS 93976 HAS SOUPS 48767 WITH SCORE 49104.596
AT ITER 786 NEW BEST:: SOT 752698 SOS 337540 HAS SOPS 143453 HAS SOUS 93986 HAS SOUPS 48767 WITH SCORE 49104.54
AT ITER 789 NEW BEST:: SOT 752796 SOS 337406 HAS SOPS 143221 HAS SOUS 93953 HAS SOUPS 48734 WITH SCORE 49071.406
AT ITER 790 NEW BEST:: SOT 751429 SOS 335700 HAS SOPS 142882 HAS SOUS 93584 HAS SOUPS 48712 WITH SCORE 49047.7
AT ITER 792 NEW BEST:: SOT 751429 SOS 335546 HAS SOPS 142728 HAS SOUS 93507 HAS SOUPS 48635 WITH SCORE 48970.546
AT ITER 793 NEW BEST:: SOT 751948 SOS 335738 HAS SOPS 142401 HAS SOUS 93490 HAS SOUPS 48494 WITH SCORE 48829.738
AT ITER 794 NEW BEST:: SOT 752654 SOS 335974 HAS SOPS 142911 HAS SOUS 93369 HAS SOUPS 48471 WITH SCORE 48806.974
AT ITER 796 NEW BEST:: SOT 753308 SOS 336484 HAS SOPS 142767 HAS SOUS 93369 HAS SOUPS 48338 WITH SCORE 48674.484
AT ITER 806 NEW BEST:: SOT 753308 SOS 336352 HAS SOPS 142767 HAS SOUS 93237 HAS SOUPS 48338 WITH SCORE 48674.352
AT ITER 809 NEW BEST:: SOT 753329 SOS 336100 HAS SOPS 142396 HAS SOUS 93237 HAS SOUPS 48338 WITH SCORE 48674.1
AT ITER 817 NEW BEST:: SOT 754213 SOS 335540 HAS SOPS 140952 HAS SOUS 93164 HAS SOUPS 48338 WITH SCORE 48673.54
AT ITER 820 NEW BEST:: SOT 754096 SOS 335306 HAS SOPS 140835 HAS SOUS 93047 HAS SOUPS 48221 WITH SCORE 48556.306
AT ITER 822 NEW BEST:: SOT 752230 SOS 335074 HAS SOPS 137969 HAS SOUS 93297 HAS SOUPS 48221 WITH SCORE 48556.074
AT ITER 824 NEW BEST:: SOT 752992 SOS 335488 HAS SOPS 138176 HAS SOUS 93263 HAS SOUPS 48190 WITH SCORE 48525.488
AT ITER 827 NEW BEST:: SOT 753042 SOS 334958 HAS SOPS 138226 HAS SOUS 93137 HAS SOUPS 48190 WITH SCORE 48524.958
AT ITER 831 NEW BEST:: SOT 752520 SOS 334954 HAS SOPS 139264 HAS SOUS 92954 HAS SOUPS 48190 WITH SCORE 48524.954
AT ITER 832 NEW BEST:: SOT 752601 SOS 334668 HAS SOPS 139009 HAS SOUS 92898 HAS SOUPS 48134 WITH SCORE 48468.668
AT ITER 835 NEW BEST:: SOT 744658 SOS 332112 HAS SOPS 130206 HAS SOUS 90642 HAS SOUPS 45688 WITH SCORE 46020.112
AT ITER 838 NEW BEST:: SOT 743986 SOS 331520 HAS SOPS 129910 HAS SOUS 90658 HAS SOUPS 45624 WITH SCORE 45955.52
AT ITER 839 NEW BEST:: SOT 744848 SOS 331828 HAS SOPS 129356 HAS SOUS 90623 HAS SOUPS 45586 WITH SCORE 45917.828
AT ITER 842 NEW BEST:: SOT 744878 SOS 331298 HAS SOPS 128914 HAS SOUS 90387 HAS SOUPS 45468 WITH SCORE 45799.298
AT ITER 844 NEW BEST:: SOT 745078 SOS 331490 HAS SOPS 128906 HAS SOUS 90440 HAS SOUPS 45463 WITH SCORE 45794.49
AT ITER 847 NEW BEST:: SOT 744902 SOS 331372 HAS SOPS 128730 HAS SOUS 90564 HAS SOUPS 45404 WITH SCORE 45735.372
AT ITER 849 NEW BEST:: SOT 745361 SOS 330512 HAS SOPS 127411 HAS SOUS 90547 HAS SOUPS 45404 WITH SCORE 45734.512
AT ITER 851 NEW BEST:: SOT 745361 SOS 330507 HAS SOPS 127411 HAS SOUS 90547 HAS SOUPS 45404 WITH SCORE 45734.507
AT ITER 852 NEW BEST:: SOT 744909 SOS 329837 HAS SOPS 127427 HAS SOUS 89965 HAS SOUPS 45404 WITH SCORE 45733.837
AT ITER 854 NEW BEST:: SOT 745697 SOS 329145 HAS SOPS 127711 HAS SOUS 89713 HAS SOUPS 45278 WITH SCORE 45607.145
AT ITER 861 NEW BEST:: SOT 745493 SOS 328941 HAS SOPS 127711 HAS SOUS 89713 HAS SOUPS 45278 WITH SCORE 45606.941
AT ITER 867 NEW BEST:: SOT 745260 SOS 328659 HAS SOPS 127846 HAS SOUS 89629 HAS SOUPS 45247 WITH SCORE 45575.659
AT ITER 868 NEW BEST:: SOT 745320 SOS 328239 HAS SOPS 127366 HAS SOUS 89626 HAS SOUPS 45247 WITH SCORE 45575.239
AT ITER 870 NEW BEST:: SOT 738101 SOS 334871 HAS SOPS 117739 HAS SOUS 89554 HAS SOUPS 45175 WITH SCORE 45509.871
AT ITER 872 NEW BEST:: SOT 738456 SOS 335581 HAS SOPS 117442 HAS SOUS 89747 HAS SOUPS 44878 WITH SCORE 45213.581
AT ITER 873 NEW BEST:: SOT 737965 SOS 335523 HAS SOPS 117875 HAS SOUS 89747 HAS SOUPS 44878 WITH SCORE 45213.523
AT ITER 875 NEW BEST:: SOT 738619 SOS 338763 HAS SOPS 117425 HAS SOUS 89720 HAS SOUPS 44851 WITH SCORE 45189.763
AT ITER 877 NEW BEST:: SOT 738662 SOS 343315 HAS SOPS 116544 HAS SOUS 89605 HAS SOUPS 44697 WITH SCORE 45040.315
AT ITER 878 NEW BEST:: SOT 738821 SOS 342997 HAS SOPS 116703 HAS SOUS 89446 HAS SOUPS 44697 WITH SCORE 45039.997
AT ITER 881 NEW BEST:: SOT 739003 SOS 342659 HAS SOPS 116651 HAS SOUS 89368 HAS SOUPS 44619 WITH SCORE 44961.659
AT ITER 883 NEW BEST:: SOT 740420 SOS 343715 HAS SOPS 116544 HAS SOUS 89413 HAS SOUPS 44519 WITH SCORE 44862.715
AT ITER 884 NEW BEST:: SOT 740541 SOS 343887 HAS SOPS 116385 HAS SOUS 89609 HAS SOUPS 44505 WITH SCORE 44848.887
AT ITER 885 NEW BEST:: SOT 734183 SOS 352987 HAS SOPS 110431 HAS SOUS 88856 HAS SOUPS 43542 WITH SCORE 43894.987
AT ITER 890 NEW BEST:: SOT 734298 SOS 353056 HAS SOPS 110454 HAS SOUS 88810 HAS SOUPS 43519 WITH SCORE 43872.056
AT ITER 891 NEW BEST:: SOT 735594 SOS 354178 HAS SOPS 110280 HAS SOUS 89338 HAS SOUPS 43429 WITH SCORE 43783.178
AT ITER 893 NEW BEST:: SOT 736130 SOS 353948 HAS SOPS 109700 HAS SOUS 88966 HAS SOUPS 43429 WITH SCORE 43782.948
AT ITER 897 NEW BEST:: SOT 735934 SOS 353656 HAS SOPS 109904 HAS SOUS 88801 HAS SOUPS 43429 WITH SCORE 43782.656
AT ITER 898 NEW BEST:: SOT 737982 SOS 353378 HAS SOPS 111952 HAS SOUS 88515 HAS SOUPS 43429 WITH SCORE 43782.378
AT ITER 900 NEW BEST:: SOT 737982 SOS 353158 HAS SOPS 111952 HAS SOUS 88460 HAS SOUPS 43429 WITH SCORE 43782.158
AT ITER 903 NEW BEST:: SOT 738004 SOS 353124 HAS SOPS 111896 HAS SOUS 88447 HAS SOUPS 43416 WITH SCORE 43769.124
AT ITER 904 NEW BEST:: SOT 738553 SOS 353498 HAS SOPS 112083 HAS SOUS 88518 HAS SOUPS 43412 WITH SCORE 43765.498
AT ITER 907 NEW BEST:: SOT 738669 SOS 353556 HAS SOPS 112083 HAS SOUS 88460 HAS SOUPS 43354 WITH SCORE 43707.556
AT ITER 910 NEW BEST:: SOT 738698 SOS 353288 HAS SOPS 111786 HAS SOUS 88460 HAS SOUPS 43354 WITH SCORE 43707.288
AT ITER 912 NEW BEST:: SOT 739285 SOS 353193 HAS SOPS 111527 HAS SOUS 87841 HAS SOUPS 43354 WITH SCORE 43707.193
AT ITER 921 NEW BEST:: SOT 737973 SOS 352765 HAS SOPS 111191 HAS SOUS 87834 HAS SOUPS 43347 WITH SCORE 43699.765
AT ITER 924 NEW BEST:: SOT 738027 SOS 352873 HAS SOPS 111044 HAS SOUS 87715 HAS SOUPS 43331 WITH SCORE 43683.873
AT ITER 925 NEW BEST:: SOT 738688 SOS 352735 HAS SOPS 109953 HAS SOUS 87893 HAS SOUPS 43033 WITH SCORE 43385.735
AT ITER 926 NEW BEST:: SOT 738671 SOS 352725 HAS SOPS 109948 HAS SOUS 87894 HAS SOUPS 43028 WITH SCORE 43380.725
AT ITER 930 NEW BEST:: SOT 739038 SOS 353372 HAS SOPS 109097 HAS SOUS 87723 HAS SOUPS 42770 WITH SCORE 43123.372
AT ITER 931 NEW BEST:: SOT 737836 SOS 353864 HAS SOPS 109343 HAS SOUS 88075 HAS SOUPS 42751 WITH SCORE 43104.864
AT ITER 937 NEW BEST:: SOT 738007 SOS 353880 HAS SOPS 109188 HAS SOUS 88063 HAS SOUPS 42666 WITH SCORE 43019.88
AT ITER 939 NEW BEST:: SOT 738018 SOS 353820 HAS SOPS 109199 HAS SOUS 87910 HAS SOUPS 42666 WITH SCORE 43019.82
AT ITER 941 NEW BEST:: SOT 739800 SOS 354520 HAS SOPS 108117 HAS SOUS 87716 HAS SOUPS 42591 WITH SCORE 42945.52
AT ITER 942 NEW BEST:: SOT 738908 SOS 353786 HAS SOPS 107855 HAS SOUS 87793 HAS SOUPS 42563 WITH SCORE 42916.786
AT ITER 944 NEW BEST:: SOT 740371 SOS 354522 HAS SOPS 107128 HAS SOUS 87676 HAS SOUPS 42470 WITH SCORE 42824.522
AT ITER 950 NEW BEST:: SOT 740893 SOS 355026 HAS SOPS 107110 HAS SOUS 87786 HAS SOUPS 42462 WITH SCORE 42817.026
AT ITER 953 NEW BEST:: SOT 740851 SOS 354837 HAS SOPS 106858 HAS SOUS 87806 HAS SOUPS 42406 WITH SCORE 42760.837
AT ITER 961 NEW BEST:: SOT 740833 SOS 354819 HAS SOPS 106852 HAS SOUS 87815 HAS SOUPS 42400 WITH SCORE 42754.819
AT ITER 967 NEW BEST:: SOT 740833 SOS 354775 HAS SOPS 106852 HAS SOUS 87815 HAS SOUPS 42400 WITH SCORE 42754.775
AT ITER 971 NEW BEST:: SOT 740924 SOS 354147 HAS SOPS 106295 HAS SOUS 87653 HAS SOUPS 42400 WITH SCORE 42754.147
AT ITER 976 NEW BEST:: SOT 741147 SOS 353701 HAS SOPS 105626 HAS SOUS 87653 HAS SOUPS 42177 WITH SCORE 42530.701
AT ITER 977 NEW BEST:: SOT 740845 SOS 353515 HAS SOPS 105742 HAS SOUS 87705 HAS SOUPS 42177 WITH SCORE 42530.515
AT ITER 981 NEW BEST:: SOT 740962 SOS 353434 HAS SOPS 105589 HAS SOUS 87660 HAS SOUPS 42132 WITH SCORE 42485.434
AT ITER 982 NEW BEST:: SOT 752529 SOS 352818 HAS SOPS 116966 HAS SOUS 87280 HAS SOUPS 41942 WITH SCORE 42294.818
AT ITER 983 NEW BEST:: SOT 752714 SOS 351649 HAS SOPS 116467 HAS SOUS 87074 HAS SOUPS 41771 WITH SCORE 42122.649
AT ITER 985 NEW BEST:: SOT 752910 SOS 350721 HAS SOPS 115343 HAS SOUS 87074 HAS SOUPS 41771 WITH SCORE 42121.721
AT ITER 990 NEW BEST:: SOT 752871 SOS 350577 HAS SOPS 114908 HAS SOUS 87140 HAS SOUPS 41771 WITH SCORE 42121.577
AT ITER 1001 NEW BEST:: SOT 753172 SOS 349979 HAS SOPS 114249 HAS SOUS 87016 HAS SOUPS 41771 WITH SCORE 42120.979
AT ITER 1004 NEW BEST:: SOT 747689 SOS 348572 HAS SOPS 108529 HAS SOUS 87095 HAS SOUPS 41771 WITH SCORE 42119.572
AT ITER 1025 NEW BEST:: SOT 747123 SOS 348960 HAS SOPS 107963 HAS SOUS 86858 HAS SOUPS 41534 WITH SCORE 41882.96
AT ITER 1027 NEW BEST:: SOT 747832 SOS 347892 HAS SOPS 108672 HAS SOUS 86745 HAS SOUPS 41534 WITH SCORE 41881.892
AT ITER 1032 NEW BEST:: SOT 747987 SOS 347792 HAS SOPS 108335 HAS SOUS 86827 HAS SOUPS 41534 WITH SCORE 41881.792
AT ITER 1034 NEW BEST:: SOT 748038 SOS 343661 HAS SOPS 108635 HAS SOUS 86744 HAS SOUPS 41534 WITH SCORE 41877.661
AT ITER 1037 NEW BEST:: SOT 748169 SOS 343399 HAS SOPS 108242 HAS SOUS 86744 HAS SOUPS 41534 WITH SCORE 41877.399
AT ITER 1040 NEW BEST:: SOT 748615 SOS 342450 HAS SOPS 105532 HAS SOUS 86928 HAS SOUPS 41334 WITH SCORE 41676.45
AT ITER 1042 NEW BEST:: SOT 748549 SOS 342362 HAS SOPS 105554 HAS SOUS 86927 HAS SOUPS 41312 WITH SCORE 41654.362
AT ITER 1043 NEW BEST:: SOT 748178 SOS 342024 HAS SOPS 105587 HAS SOUS 86965 HAS SOUPS 41252 WITH SCORE 41594.024
AT ITER 1045 NEW BEST:: SOT 748283 SOS 342024 HAS SOPS 105482 HAS SOUS 86944 HAS SOUPS 41231 WITH SCORE 41573.024
AT ITER 1046 NEW BEST:: SOT 749702 SOS 341705 HAS SOPS 104605 HAS SOUS 86305 HAS SOUPS 41166 WITH SCORE 41507.705
AT ITER 1047 NEW BEST:: SOT 750652 SOS 342072 HAS SOPS 105555 HAS SOUS 85982 HAS SOUPS 41091 WITH SCORE 41433.072
AT ITER 1050 NEW BEST:: SOT 751608 SOS 342136 HAS SOPS 106511 HAS SOUS 85806 HAS SOUPS 41003 WITH SCORE 41345.136
AT ITER 1051 NEW BEST:: SOT 751578 SOS 341911 HAS SOPS 106481 HAS SOUS 85754 HAS SOUPS 40951 WITH SCORE 41292.911
AT ITER 1065 NEW BEST:: SOT 751865 SOS 342060 HAS SOPS 105918 HAS SOUS 86335 HAS SOUPS 40846 WITH SCORE 41188.06
AT ITER 1066 NEW BEST:: SOT 751919 SOS 341342 HAS SOPS 106444 HAS SOUS 86217 HAS SOUPS 40846 WITH SCORE 41187.342
AT ITER 1069 NEW BEST:: SOT 751986 SOS 340940 HAS SOPS 106109 HAS SOUS 86150 HAS SOUPS 40846 WITH SCORE 41186.94
AT ITER 1073 NEW BEST:: SOT 753088 SOS 341592 HAS SOPS 105659 HAS SOUS 86248 HAS SOUPS 40783 WITH SCORE 41124.592
AT ITER 1077 NEW BEST:: SOT 753089 SOS 341499 HAS SOPS 105625 HAS SOUS 86238 HAS SOUPS 40778 WITH SCORE 41119.499
AT ITER 1078 NEW BEST:: SOT 753250 SOS 340777 HAS SOPS 104742 HAS SOUS 86285 HAS SOUPS 40686 WITH SCORE 41026.777
AT ITER 1079 NEW BEST:: SOT 753642 SOS 340641 HAS SOPS 104214 HAS SOUS 86170 HAS SOUPS 40571 WITH SCORE 40911.641
AT ITER 1081 NEW BEST:: SOT 753636 SOS 340635 HAS SOPS 104208 HAS SOUS 86164 HAS SOUPS 40565 WITH SCORE 40905.635
AT ITER 1094 NEW BEST:: SOT 754322 SOS 340031 HAS SOPS 102918 HAS SOUS 85996 HAS SOUPS 40397 WITH SCORE 40737.031
AT ITER 1103 NEW BEST:: SOT 754825 SOS 337187 HAS SOPS 103351 HAS SOUS 85856 HAS SOUPS 40327 WITH SCORE 40664.187
AT ITER 1105 NEW BEST:: SOT 754864 SOS 337070 HAS SOPS 103312 HAS SOUS 85778 HAS SOUPS 40288 WITH SCORE 40625.07
AT ITER 1106 NEW BEST:: SOT 754615 SOS 336834 HAS SOPS 103194 HAS SOUS 85962 HAS SOUPS 40244 WITH SCORE 40580.834
AT ITER 1108 NEW BEST:: SOT 754725 SOS 337054 HAS SOPS 103304 HAS SOUS 86013 HAS SOUPS 40242 WITH SCORE 40579.054
AT ITER 1109 NEW BEST:: SOT 754840 SOS 337164 HAS SOPS 103299 HAS SOUS 86017 HAS SOUPS 40239 WITH SCORE 40576.164
AT ITER 1110 NEW BEST:: SOT 755234 SOS 337528 HAS SOPS 103269 HAS SOUS 85987 HAS SOUPS 40209 WITH SCORE 40546.528
AT ITER 1112 NEW BEST:: SOT 755189 SOS 337438 HAS SOPS 103224 HAS SOUS 85987 HAS SOUPS 40209 WITH SCORE 40546.438
AT ITER 1113 NEW BEST:: SOT 755189 SOS 337222 HAS SOPS 103224 HAS SOUS 85879 HAS SOUPS 40209 WITH SCORE 40546.222
AT ITER 1114 NEW BEST:: SOT 755139 SOS 337198 HAS SOPS 103022 HAS SOUS 85981 HAS SOUPS 40209 WITH SCORE 40546.198
AT ITER 1115 NEW BEST:: SOT 755005 SOS 336748 HAS SOPS 102524 HAS SOUS 85922 HAS SOUPS 40209 WITH SCORE 40545.748
AT ITER 1117 NEW BEST:: SOT 755534 SOS 336462 HAS SOPS 102861 HAS SOUS 85730 HAS SOUPS 40113 WITH SCORE 40449.462
AT ITER 1120 NEW BEST:: SOT 755769 SOS 338294 HAS SOPS 102642 HAS SOUS 86160 HAS SOUPS 40107 WITH SCORE 40445.294
AT ITER 1125 NEW BEST:: SOT 756625 SOS 338396 HAS SOPS 101888 HAS SOUS 86000 HAS SOUPS 39946 WITH SCORE 40284.396
AT ITER 1126 NEW BEST:: SOT 756480 SOS 338171 HAS SOPS 101743 HAS SOUS 86068 HAS SOUPS 39926 WITH SCORE 40264.171
AT ITER 1131 NEW BEST:: SOT 758932 SOS 339515 HAS SOPS 100279 HAS SOUS 86647 HAS SOUPS 39612 WITH SCORE 39951.515
AT ITER 1139 NEW BEST:: SOT 759072 SOS 337265 HAS SOPS 100189 HAS SOUS 86529 HAS SOUPS 39612 WITH SCORE 39949.265
AT ITER 1140 NEW BEST:: SOT 759111 SOS 337090 HAS SOPS 99722 HAS SOUS 86619 HAS SOUPS 39449 WITH SCORE 39786.09
AT ITER 1142 NEW BEST:: SOT 760082 SOS 336116 HAS SOPS 98749 HAS SOUS 86537 HAS SOUPS 39449 WITH SCORE 39785.116
AT ITER 1144 NEW BEST:: SOT 759945 SOS 336654 HAS SOPS 98612 HAS SOUS 87223 HAS SOUPS 39381 WITH SCORE 39717.654
AT ITER 1149 NEW BEST:: SOT 759918 SOS 336638 HAS SOPS 98699 HAS SOUS 87204 HAS SOUPS 39381 WITH SCORE 39717.638
AT ITER 1153 NEW BEST:: SOT 760553 SOS 336549 HAS SOPS 97824 HAS SOUS 87118 HAS SOUPS 39230 WITH SCORE 39566.549
AT ITER 1157 NEW BEST:: SOT 760426 SOS 335647 HAS SOPS 97265 HAS SOUS 86902 HAS SOUPS 39014 WITH SCORE 39349.647
AT ITER 1158 NEW BEST:: SOT 760410 SOS 335397 HAS SOPS 97467 HAS SOUS 86740 HAS SOUPS 38932 WITH SCORE 39267.397
AT ITER 1159 NEW BEST:: SOT 760410 SOS 335147 HAS SOPS 97467 HAS SOUS 86615 HAS SOUPS 38932 WITH SCORE 39267.147
AT ITER 1167 NEW BEST:: SOT 760619 SOS 334125 HAS SOPS 96236 HAS SOUS 86615 HAS SOUPS 38932 WITH SCORE 39266.125
AT ITER 1168 NEW BEST:: SOT 758644 SOS 334200 HAS SOPS 94161 HAS SOUS 85804 HAS SOUPS 38046 WITH SCORE 38380.2
AT ITER 1172 NEW BEST:: SOT 759957 SOS 334770 HAS SOPS 93418 HAS SOUS 85845 HAS SOUPS 37830 WITH SCORE 38164.77
AT ITER 1174 NEW BEST:: SOT 760171 SOS 334894 HAS SOPS 93404 HAS SOUS 85755 HAS SOUPS 37816 WITH SCORE 38150.894
AT ITER 1177 NEW BEST:: SOT 760281 SOS 334484 HAS SOPS 93514 HAS SOUS 85650 HAS SOUPS 37816 WITH SCORE 38150.484
AT ITER 1178 NEW BEST:: SOT 761200 SOS 335122 HAS SOPS 93233 HAS SOUS 85763 HAS SOUPS 37763 WITH SCORE 38098.122
AT ITER 1180 NEW BEST:: SOT 760708 SOS 334789 HAS SOPS 93113 HAS SOUS 85862 HAS SOUPS 37756 WITH SCORE 38090.789
AT ITER 1181 NEW BEST:: SOT 760860 SOS 334103 HAS SOPS 92275 HAS SOUS 85752 HAS SOUPS 37756 WITH SCORE 38090.103
AT ITER 1190 NEW BEST:: SOT 760793 SOS 333903 HAS SOPS 92208 HAS SOUS 85732 HAS SOUPS 37756 WITH SCORE 38089.903
AT ITER 1192 NEW BEST:: SOT 760953 SOS 333583 HAS SOPS 91728 HAS SOUS 85572 HAS SOUPS 37596 WITH SCORE 37929.583
AT ITER 1199 NEW BEST:: SOT 761546 SOS 333438 HAS SOPS 91111 HAS SOUS 85560 HAS SOUPS 37475 WITH SCORE 37808.438
AT ITER 1200 NEW BEST:: SOT 761659 SOS 333436 HAS SOPS 90996 HAS SOUS 85583 HAS SOUPS 37475 WITH SCORE 37808.436
AT ITER 1202 NEW BEST:: SOT 761930 SOS 333098 HAS SOPS 91267 HAS SOUS 85407 HAS SOUPS 37299 WITH SCORE 37632.098
AT ITER 1205 NEW BEST:: SOT 761531 SOS 333184 HAS SOPS 91752 HAS SOUS 85399 HAS SOUPS 37291 WITH SCORE 37624.184
AT ITER 1207 NEW BEST:: SOT 762462 SOS 333741 HAS SOPS 91639 HAS SOUS 85341 HAS SOUPS 37233 WITH SCORE 37566.741
AT ITER 1208 NEW BEST:: SOT 762440 SOS 333697 HAS SOPS 91617 HAS SOUS 85319 HAS SOUPS 37211 WITH SCORE 37544.697
AT ITER 1212 NEW BEST:: SOT 762440 SOS 333449 HAS SOPS 91617 HAS SOUS 85195 HAS SOUPS 37211 WITH SCORE 37544.449
AT ITER 1213 NEW BEST:: SOT 762607 SOS 333539 HAS SOPS 91296 HAS SOUS 85317 HAS SOUPS 37089 WITH SCORE 37422.539
AT ITER 1215 NEW BEST:: SOT 764043 SOS 334331 HAS SOPS 91172 HAS SOUS 85063 HAS SOUPS 36957 WITH SCORE 37291.331
AT ITER 1218 NEW BEST:: SOT 764316 SOS 334317 HAS SOPS 90885 HAS SOUS 84950 HAS SOUPS 36957 WITH SCORE 37291.317
AT ITER 1223 NEW BEST:: SOT 765873 SOS 333487 HAS SOPS 88266 HAS SOUS 85022 HAS SOUPS 36957 WITH SCORE 37290.487
AT ITER 1225 NEW BEST:: SOT 765716 SOS 333389 HAS SOPS 88325 HAS SOUS 85022 HAS SOUPS 36957 WITH SCORE 37290.389
AT ITER 1226 NEW BEST:: SOT 766427 SOS 332809 HAS SOPS 87034 HAS SOUS 84947 HAS SOUPS 36957 WITH SCORE 37289.809
AT ITER 1227 NEW BEST:: SOT 766938 SOS 332496 HAS SOPS 86477 HAS SOUS 84680 HAS SOUPS 36957 WITH SCORE 37289.496
AT ITER 1231 NEW BEST:: SOT 766573 SOS 332366 HAS SOPS 86040 HAS SOUS 84519 HAS SOUPS 36796 WITH SCORE 37128.366
AT ITER 1237 NEW BEST:: SOT 767431 SOS 324760 HAS SOPS 86898 HAS SOUS 84519 HAS SOUPS 36796 WITH SCORE 37120.76
AT ITER 1242 NEW BEST:: SOT 768053 SOS 325374 HAS SOPS 86890 HAS SOUS 84829 HAS SOUPS 36788 WITH SCORE 37113.374
AT ITER 1249 NEW BEST:: SOT 767447 SOS 325080 HAS SOPS 86590 HAS SOUS 84827 HAS SOUPS 36633 WITH SCORE 36958.08
AT ITER 1258 NEW BEST:: SOT 767400 SOS 324800 HAS SOPS 86574 HAS SOUS 84796 HAS SOUPS 36633 WITH SCORE 36957.8
AT ITER 1260 NEW BEST:: SOT 767166 SOS 326372 HAS SOPS 86340 HAS SOUS 85037 HAS SOUPS 36521 WITH SCORE 36847.372
AT ITER 1262 NEW BEST:: SOT 766541 SOS 325747 HAS SOPS 86215 HAS SOUS 85092 HAS SOUPS 36509 WITH SCORE 36834.747
AT ITER 1264 NEW BEST:: SOT 766695 SOS 325775 HAS SOPS 86129 HAS SOUS 85012 HAS SOUPS 36469 WITH SCORE 36794.775
AT ITER 1267 NEW BEST:: SOT 766567 SOS 325654 HAS SOPS 86181 HAS SOUS 84982 HAS SOUPS 36469 WITH SCORE 36794.654
AT ITER 1268 NEW BEST:: SOT 766678 SOS 325471 HAS SOPS 85887 HAS SOUS 84982 HAS SOUPS 36469 WITH SCORE 36794.471
AT ITER 1272 NEW BEST:: SOT 766604 SOS 325397 HAS SOPS 85887 HAS SOUS 85014 HAS SOUPS 36469 WITH SCORE 36794.397
AT ITER 1275 NEW BEST:: SOT 766760 SOS 324240 HAS SOPS 84913 HAS SOUS 84901 HAS SOUPS 36469 WITH SCORE 36793.24
AT ITER 1279 NEW BEST:: SOT 766539 SOS 323665 HAS SOPS 84958 HAS SOUS 84618 HAS SOUPS 36441 WITH SCORE 36764.665
AT ITER 1280 NEW BEST:: SOT 766099 SOS 322011 HAS SOPS 83744 HAS SOUS 84486 HAS SOUPS 36399 WITH SCORE 36721.011
AT ITER 1282 NEW BEST:: SOT 765956 SOS 322341 HAS SOPS 83433 HAS SOUS 84346 HAS SOUPS 36231 WITH SCORE 36553.341
AT ITER 1288 NEW BEST:: SOT 765956 SOS 321961 HAS SOPS 83129 HAS SOUS 84270 HAS SOUPS 36231 WITH SCORE 36552.961
AT ITER 1291 NEW BEST:: SOT 766143 SOS 317661 HAS SOPS 86022 HAS SOUS 84024 HAS SOUPS 36231 WITH SCORE 36548.661
AT ITER 1292 NEW BEST:: SOT 766292 SOS 316671 HAS SOPS 87275 HAS SOUS 84024 HAS SOUPS 36231 WITH SCORE 36547.671
AT ITER 1293 NEW BEST:: SOT 766284 SOS 316663 HAS SOPS 87275 HAS SOUS 84022 HAS SOUPS 36231 WITH SCORE 36547.663
AT ITER 1295 NEW BEST:: SOT 766127 SOS 316592 HAS SOPS 87073 HAS SOUS 83914 HAS SOUPS 36114 WITH SCORE 36430.592
AT ITER 1296 NEW BEST:: SOT 766423 SOS 315696 HAS SOPS 85881 HAS SOUS 83840 HAS SOUPS 36114 WITH SCORE 36429.696
AT ITER 1297 NEW BEST:: SOT 766849 SOS 315576 HAS SOPS 85443 HAS SOUS 83840 HAS SOUPS 36006 WITH SCORE 36321.576
AT ITER 1308 NEW BEST:: SOT 766636 SOS 315475 HAS SOPS 85555 HAS SOUS 83840 HAS SOUPS 36006 WITH SCORE 36321.475
AT ITER 1309 NEW BEST:: SOT 766764 SOS 315407 HAS SOPS 85467 HAS SOUS 83820 HAS SOUPS 36006 WITH SCORE 36321.407
AT ITER 1316 NEW BEST:: SOT 766850 SOS 314963 HAS SOPS 86169 HAS SOUS 83498 HAS SOUPS 35999 WITH SCORE 36313.963
AT ITER 1325 NEW BEST:: SOT 766028 SOS 314246 HAS SOPS 86377 HAS SOUS 83322 HAS SOUPS 35999 WITH SCORE 36313.246
AT ITER 1330 NEW BEST:: SOT 765944 SOS 314210 HAS SOPS 86293 HAS SOUS 83298 HAS SOUPS 35951 WITH SCORE 36265.21
AT ITER 1332 NEW BEST:: SOT 765512 SOS 313894 HAS SOPS 86409 HAS SOUS 83494 HAS SOUPS 35951 WITH SCORE 36264.894
AT ITER 1335 NEW BEST:: SOT 765752 SOS 313546 HAS SOPS 85913 HAS SOUS 83494 HAS SOUPS 35951 WITH SCORE 36264.546
AT ITER 1336 NEW BEST:: SOT 765678 SOS 313476 HAS SOPS 86073 HAS SOUS 83416 HAS SOUPS 35951 WITH SCORE 36264.476
AT ITER 1343 NEW BEST:: SOT 765700 SOS 313443 HAS SOPS 86018 HAS SOUS 83416 HAS SOUPS 35951 WITH SCORE 36264.443
AT ITER 1346 NEW BEST:: SOT 765806 SOS 313499 HAS SOPS 85968 HAS SOUS 83366 HAS SOUPS 35901 WITH SCORE 36214.499
AT ITER 1347 NEW BEST:: SOT 765802 SOS 313131 HAS SOPS 85964 HAS SOUS 83362 HAS SOUPS 35897 WITH SCORE 36210.131
AT ITER 1350 NEW BEST:: SOT 765737 SOS 313201 HAS SOPS 85899 HAS SOUS 83579 HAS SOUPS 35843 WITH SCORE 36156.201
AT ITER 1354 NEW BEST:: SOT 765425 SOS 312889 HAS SOPS 85899 HAS SOUS 83381 HAS SOUPS 35843 WITH SCORE 36155.889
AT ITER 1356 NEW BEST:: SOT 765463 SOS 312813 HAS SOPS 85785 HAS SOUS 83381 HAS SOUPS 35805 WITH SCORE 36117.813
AT ITER 1378 NEW BEST:: SOT 765291 SOS 312727 HAS SOPS 85785 HAS SOUS 83467 HAS SOUPS 35805 WITH SCORE 36117.727
AT ITER 1386 NEW BEST:: SOT 765291 SOS 312487 HAS SOPS 85545 HAS SOUS 83407 HAS SOUPS 35745 WITH SCORE 36057.487
AT ITER 1392 NEW BEST:: SOT 763911 SOS 311827 HAS SOPS 86265 HAS SOUS 83278 HAS SOUPS 35745 WITH SCORE 36056.827
AT ITER 1397 NEW BEST:: SOT 763824 SOS 311371 HAS SOPS 86554 HAS SOUS 83184 HAS SOUPS 35745 WITH SCORE 36056.371
AT ITER 1409 NEW BEST:: SOT 763893 SOS 311417 HAS SOPS 86531 HAS SOUS 83207 HAS SOUPS 35722 WITH SCORE 36033.417
AT ITER 1413 NEW BEST:: SOT 763893 SOS 311341 HAS SOPS 86455 HAS SOUS 83283 HAS SOUPS 35722 WITH SCORE 36033.341
AT ITER 1417 NEW BEST:: SOT 763893 SOS 311291 HAS SOPS 86455 HAS SOUS 83283 HAS SOUPS 35722 WITH SCORE 36033.291
AT ITER 1421 NEW BEST:: SOT 763882 SOS 311045 HAS SOPS 86444 HAS SOUS 82947 HAS SOUPS 35722 WITH SCORE 36033.045
AT ITER 1422 NEW BEST:: SOT 763792 SOS 309419 HAS SOPS 85631 HAS SOUS 82948 HAS SOUPS 35723 WITH SCORE 36032.419
AT ITER 1424 NEW BEST:: SOT 764530 SOS 308735 HAS SOPS 84209 HAS SOUS 82933 HAS SOUPS 35674 WITH SCORE 35982.735
AT ITER 1425 NEW BEST:: SOT 763321 SOS 307805 HAS SOPS 84488 HAS SOUS 82787 HAS SOUPS 35674 WITH SCORE 35981.805
AT ITER 1427 NEW BEST:: SOT 763778 SOS 308135 HAS SOPS 84361 HAS SOUS 82705 HAS SOUPS 35592 WITH SCORE 35900.135
AT ITER 1429 NEW BEST:: SOT 763722 SOS 308457 HAS SOPS 84291 HAS SOUS 82677 HAS SOUPS 35564 WITH SCORE 35872.457
AT ITER 1430 NEW BEST:: SOT 763083 SOS 307721 HAS SOPS 84194 HAS SOUS 82567 HAS SOUPS 35454 WITH SCORE 35761.721
AT ITER 1431 NEW BEST:: SOT 763245 SOS 307535 HAS SOPS 83846 HAS SOUS 82530 HAS SOUPS 35454 WITH SCORE 35761.535
AT ITER 1444 NEW BEST:: SOT 762155 SOS 307770 HAS SOPS 82726 HAS SOUS 82059 HAS SOUPS 34983 WITH SCORE 35290.77
AT ITER 1449 NEW BEST:: SOT 761650 SOS 307780 HAS SOPS 82221 HAS SOUS 82113 HAS SOUPS 34977 WITH SCORE 35284.78
AT ITER 1452 NEW BEST:: SOT 762422 SOS 308508 HAS SOPS 82177 HAS SOUS 82435 HAS SOUPS 34933 WITH SCORE 35241.508
AT ITER 1453 NEW BEST:: SOT 762278 SOS 308079 HAS SOPS 82315 HAS SOUS 82294 HAS SOUPS 34933 WITH SCORE 35241.079
AT ITER 1457 NEW BEST:: SOT 762822 SOS 308599 HAS SOPS 82291 HAS SOUS 82483 HAS SOUPS 34909 WITH SCORE 35217.599
AT ITER 1461 NEW BEST:: SOT 762956 SOS 308292 HAS SOPS 81735 HAS SOUS 82672 HAS SOUPS 34909 WITH SCORE 35217.292
AT ITER 1465 NEW BEST:: SOT 762688 SOS 308024 HAS SOPS 81735 HAS SOUS 82532 HAS SOUPS 34909 WITH SCORE 35217.024
AT ITER 1468 NEW BEST:: SOT 762815 SOS 307646 HAS SOPS 81546 HAS SOUS 82216 HAS SOUPS 34751 WITH SCORE 35058.646
AT ITER 1469 NEW BEST:: SOT 762482 SOS 307477 HAS SOPS 81071 HAS SOUS 81892 HAS SOUPS 34427 WITH SCORE 34734.477
AT ITER 1471 NEW BEST:: SOT 762482 SOS 307227 HAS SOPS 81071 HAS SOUS 81892 HAS SOUPS 34427 WITH SCORE 34734.227
AT ITER 1472 NEW BEST:: SOT 764172 SOS 308287 HAS SOPS 80441 HAS SOUS 81749 HAS SOUPS 34360 WITH SCORE 34668.287
AT ITER 1484 NEW BEST:: SOT 764191 SOS 307525 HAS SOPS 79660 HAS SOUS 81749 HAS SOUPS 34360 WITH SCORE 34667.525
AT ITER 1490 NEW BEST:: SOT 763490 SOS 306601 HAS SOPS 79437 HAS SOUS 81593 HAS SOUPS 34252 WITH SCORE 34558.601
AT ITER 1495 NEW BEST:: SOT 763702 SOS 306561 HAS SOPS 79185 HAS SOUS 81647 HAS SOUPS 34252 WITH SCORE 34558.561
AT ITER 1501 NEW BEST:: SOT 764319 SOS 307047 HAS SOPS 79054 HAS SOUS 81547 HAS SOUPS 34152 WITH SCORE 34459.047
AT ITER 1507 NEW BEST:: SOT 764331 SOS 306951 HAS SOPS 79018 HAS SOUS 81547 HAS SOUPS 34152 WITH SCORE 34458.951
AT ITER 1514 NEW BEST:: SOT 765530 SOS 307917 HAS SOPS 78785 HAS SOUS 81528 HAS SOUPS 34133 WITH SCORE 34440.917
AT ITER 1519 NEW BEST:: SOT 765656 SOS 307365 HAS SOPS 78375 HAS SOUS 81058 HAS SOUPS 34133 WITH SCORE 34440.365
AT ITER 1520 NEW BEST:: SOT 765766 SOS 307453 HAS SOPS 78353 HAS SOUS 81036 HAS SOUPS 34111 WITH SCORE 34418.453
AT ITER 1521 NEW BEST:: SOT 765802 SOS 307375 HAS SOPS 78299 HAS SOUS 81006 HAS SOUPS 34096 WITH SCORE 34403.375
AT ITER 1523 NEW BEST:: SOT 765630 SOS 306343 HAS SOPS 77783 HAS SOUS 80920 HAS SOUPS 34010 WITH SCORE 34316.343
AT ITER 1526 NEW BEST:: SOT 765730 SOS 306343 HAS SOPS 77683 HAS SOUS 80820 HAS SOUPS 33910 WITH SCORE 34216.343
AT ITER 1535 NEW BEST:: SOT 765744 SOS 306301 HAS SOPS 77725 HAS SOUS 80820 HAS SOUPS 33910 WITH SCORE 34216.301
AT ITER 1538 NEW BEST:: SOT 765717 SOS 306247 HAS SOPS 77466 HAS SOUS 80820 HAS SOUPS 33852 WITH SCORE 34158.247
AT ITER 1540 NEW BEST:: SOT 765801 SOS 306351 HAS SOPS 77422 HAS SOUS 80936 HAS SOUPS 33808 WITH SCORE 34114.351
AT ITER 1542 NEW BEST:: SOT 765994 SOS 306417 HAS SOPS 77295 HAS SOUS 80937 HAS SOUPS 33794 WITH SCORE 34100.417
AT ITER 1546 NEW BEST:: SOT 765984 SOS 306392 HAS SOPS 77275 HAS SOUS 80917 HAS SOUPS 33774 WITH SCORE 34080.392
AT ITER 1547 NEW BEST:: SOT 766014 SOS 306384 HAS SOPS 77237 HAS SOUS 80883 HAS SOUPS 33740 WITH SCORE 34046.384
AT ITER 1549 NEW BEST:: SOT 766885 SOS 306166 HAS SOPS 77618 HAS SOUS 80883 HAS SOUPS 33740 WITH SCORE 34046.166
AT ITER 1550 NEW BEST:: SOT 766927 SOS 306042 HAS SOPS 77452 HAS SOUS 80987 HAS SOUPS 33740 WITH SCORE 34046.042
AT ITER 1551 NEW BEST:: SOT 766918 SOS 306036 HAS SOPS 77455 HAS SOUS 80984 HAS SOUPS 33740 WITH SCORE 34046.036
AT ITER 1554 NEW BEST:: SOT 766868 SOS 305936 HAS SOPS 77405 HAS SOUS 80975 HAS SOUPS 33690 WITH SCORE 33995.936
AT ITER 1557 NEW BEST:: SOT 767242 SOS 305700 HAS SOPS 77123 HAS SOUS 80671 HAS SOUPS 33362 WITH SCORE 33667.7
AT ITER 1562 NEW BEST:: SOT 766777 SOS 305266 HAS SOPS 76410 HAS SOUS 80693 HAS SOUPS 33362 WITH SCORE 33667.266
AT ITER 1563 NEW BEST:: SOT 766760 SOS 305096 HAS SOPS 76257 HAS SOUS 80676 HAS SOUPS 33345 WITH SCORE 33650.096
AT ITER 1571 NEW BEST:: SOT 766719 SOS 304850 HAS SOPS 76052 HAS SOUS 80635 HAS SOUPS 33304 WITH SCORE 33608.85
AT ITER 1574 NEW BEST:: SOT 767870 SOS 305844 HAS SOPS 75895 HAS SOUS 80565 HAS SOUPS 33232 WITH SCORE 33537.844
AT ITER 1576 NEW BEST:: SOT 767901 SOS 305490 HAS SOPS 75718 HAS SOUS 80529 HAS SOUPS 33196 WITH SCORE 33501.49
AT ITER 1582 NEW BEST:: SOT 768201 SOS 305190 HAS SOPS 75518 HAS SOUS 80329 HAS SOUPS 33096 WITH SCORE 33401.19
AT ITER 1585 NEW BEST:: SOT 768959 SOS 304935 HAS SOPS 74252 HAS SOUS 80485 HAS SOUPS 33096 WITH SCORE 33400.935
AT ITER 1586 NEW BEST:: SOT 768908 SOS 304861 HAS SOPS 74229 HAS SOUS 80485 HAS SOUPS 33096 WITH SCORE 33400.861
AT ITER 1588 NEW BEST:: SOT 768908 SOS 304261 HAS SOPS 74229 HAS SOUS 80485 HAS SOUPS 33096 WITH SCORE 33400.261
AT ITER 1589 NEW BEST:: SOT 769907 SOS 304285 HAS SOPS 73536 HAS SOUS 80386 HAS SOUPS 33032 WITH SCORE 33336.285
AT ITER 1590 NEW BEST:: SOT 769659 SOS 302249 HAS SOPS 72364 HAS SOUS 80232 HAS SOUPS 33032 WITH SCORE 33334.249
AT ITER 1591 NEW BEST:: SOT 769489 SOS 301909 HAS SOPS 72194 HAS SOUS 80232 HAS SOUPS 32862 WITH SCORE 33163.909
AT ITER 1592 NEW BEST:: SOT 769552 SOS 301765 HAS SOPS 71942 HAS SOUS 80277 HAS SOUPS 32862 WITH SCORE 33163.765
AT ITER 1600 NEW BEST:: SOT 769306 SOS 301645 HAS SOPS 71944 HAS SOUS 80525 HAS SOUPS 32862 WITH SCORE 33163.645
AT ITER 1603 NEW BEST:: SOT 769485 SOS 301729 HAS SOPS 71849 HAS SOUS 80631 HAS SOUPS 32831 WITH SCORE 33132.729
AT ITER 1609 NEW BEST:: SOT 769797 SOS 301833 HAS SOPS 71641 HAS SOUS 80631 HAS SOUPS 32779 WITH SCORE 33080.833
AT ITER 1611 NEW BEST:: SOT 769844 SOS 301457 HAS SOPS 71594 HAS SOUS 80584 HAS SOUPS 32779 WITH SCORE 33080.457
AT ITER 1613 NEW BEST:: SOT 769849 SOS 301452 HAS SOPS 71599 HAS SOUS 80569 HAS SOUPS 32779 WITH SCORE 33080.452
AT ITER 1626 NEW BEST:: SOT 769941 SOS 301426 HAS SOPS 71551 HAS SOUS 80569 HAS SOUPS 32779 WITH SCORE 33080.426
AT ITER 1644 NEW BEST:: SOT 770118 SOS 301448 HAS SOPS 71396 HAS SOUS 80537 HAS SOUPS 32763 WITH SCORE 33064.448
AT ITER 1648 NEW BEST:: SOT 770235 SOS 301274 HAS SOPS 71105 HAS SOUS 80523 HAS SOUPS 32749 WITH SCORE 33050.274
AT ITER 1653 NEW BEST:: SOT 771908 SOS 301721 HAS SOPS 70102 HAS SOUS 80134 HAS SOUPS 32583 WITH SCORE 32884.721
AT ITER 1658 NEW BEST:: SOT 771790 SOS 301559 HAS SOPS 69947 HAS SOUS 80171 HAS SOUPS 32583 WITH SCORE 32884.559
AT ITER 1659 NEW BEST:: SOT 771571 SOS 301121 HAS SOPS 69728 HAS SOUS 79297 HAS SOUPS 32561 WITH SCORE 32862.121
AT ITER 1660 NEW BEST:: SOT 771689 SOS 301009 HAS SOPS 69498 HAS SOUS 79123 HAS SOUPS 32387 WITH SCORE 32688.009
AT ITER 1663 NEW BEST:: SOT 769689 SOS 302139 HAS SOPS 67042 HAS SOUS 79243 HAS SOUPS 32279 WITH SCORE 32581.139
AT ITER 1668 NEW BEST:: SOT 769187 SOS 301903 HAS SOPS 67308 HAS SOUS 79528 HAS SOUPS 32279 WITH SCORE 32580.903
AT ITER 1672 NEW BEST:: SOT 770516 SOS 302410 HAS SOPS 66725 HAS SOUS 79181 HAS SOUPS 32154 WITH SCORE 32456.41
AT ITER 1677 NEW BEST:: SOT 772928 SOS 299856 HAS SOPS 69447 HAS SOUS 79057 HAS SOUPS 32154 WITH SCORE 32453.856
AT ITER 1681 NEW BEST:: SOT 773309 SOS 300190 HAS SOPS 69400 HAS SOUS 79010 HAS SOUPS 32107 WITH SCORE 32407.19
AT ITER 1701 NEW BEST:: SOT 774154 SOS 301175 HAS SOPS 69775 HAS SOUS 78992 HAS SOUPS 32106 WITH SCORE 32407.175
AT ITER 1704 NEW BEST:: SOT 775157 SOS 300269 HAS SOPS 69946 HAS SOUS 78576 HAS SOUPS 32106 WITH SCORE 32406.269
AT ITER 1711 NEW BEST:: SOT 777261 SOS 300172 HAS SOPS 72085 HAS SOUS 78506 HAS SOUPS 32106 WITH SCORE 32406.172
AT ITER 1720 NEW BEST:: SOT 777287 SOS 299342 HAS SOPS 72405 HAS SOUS 78506 HAS SOUPS 32106 WITH SCORE 32405.342
AT ITER 1736 NEW BEST:: SOT 777266 SOS 299279 HAS SOPS 72384 HAS SOUS 78464 HAS SOUPS 32085 WITH SCORE 32384.279
AT ITER 1739 NEW BEST:: SOT 777108 SOS 299155 HAS SOPS 72418 HAS SOUS 78450 HAS SOUPS 32085 WITH SCORE 32384.155
AT ITER 1743 NEW BEST:: SOT 777215 SOS 298513 HAS SOPS 71241 HAS SOUS 78489 HAS SOUPS 32017 WITH SCORE 32315.513
AT ITER 1747 NEW BEST:: SOT 777214 SOS 298511 HAS SOPS 71240 HAS SOUS 78408 HAS SOUPS 32017 WITH SCORE 32315.511
AT ITER 1756 NEW BEST:: SOT 777164 SOS 298051 HAS SOPS 71250 HAS SOUS 78378 HAS SOUPS 32017 WITH SCORE 32315.051
AT ITER 1764 NEW BEST:: SOT 777305 SOS 298145 HAS SOPS 71203 HAS SOUS 78378 HAS SOUPS 31970 WITH SCORE 32268.145
AT ITER 1765 NEW BEST:: SOT 777459 SOS 297211 HAS SOPS 70529 HAS SOUS 78102 HAS SOUPS 31832 WITH SCORE 32129.211
AT ITER 1775 NEW BEST:: SOT 779130 SOS 298093 HAS SOPS 69740 HAS SOUS 77868 HAS SOUPS 31830 WITH SCORE 32128.093
AT ITER 1780 NEW BEST:: SOT 779377 SOS 298493 HAS SOPS 69611 HAS SOUS 78108 HAS SOUPS 31802 WITH SCORE 32100.493
AT ITER 1781 NEW BEST:: SOT 778835 SOS 301681 HAS SOPS 68713 HAS SOUS 77668 HAS SOUPS 31362 WITH SCORE 31663.681
AT ITER 1786 NEW BEST:: SOT 778991 SOS 301486 HAS SOPS 68362 HAS SOUS 77629 HAS SOUPS 31323 WITH SCORE 31624.486
AT ITER 1791 NEW BEST:: SOT 778864 SOS 301412 HAS SOPS 68379 HAS SOUS 77665 HAS SOUPS 31323 WITH SCORE 31624.412
AT ITER 1792 NEW BEST:: SOT 778672 SOS 300212 HAS SOPS 68323 HAS SOUS 77527 HAS SOUPS 31255 WITH SCORE 31555.212
AT ITER 1794 NEW BEST:: SOT 778834 SOS 300365 HAS SOPS 68257 HAS SOUS 77579 HAS SOUPS 31250 WITH SCORE 31550.365
AT ITER 1795 NEW BEST:: SOT 778482 SOS 299837 HAS SOPS 68257 HAS SOUS 77403 HAS SOUPS 31250 WITH SCORE 31549.837
AT ITER 1796 NEW BEST:: SOT 778375 SOS 299516 HAS SOPS 68150 HAS SOUS 77189 HAS SOUPS 31143 WITH SCORE 31442.516
AT ITER 1797 NEW BEST:: SOT 778375 SOS 299198 HAS SOPS 68150 HAS SOUS 77083 HAS SOUPS 31143 WITH SCORE 31442.198
AT ITER 1800 NEW BEST:: SOT 778514 SOS 299296 HAS SOPS 68145 HAS SOUS 77042 HAS SOUPS 31138 WITH SCORE 31437.296
AT ITER 1825 NEW BEST:: SOT 778309 SOS 299250 HAS SOPS 68304 HAS SOUS 77042 HAS SOUPS 31138 WITH SCORE 31437.25
AT ITER 1830 NEW BEST:: SOT 778329 SOS 299370 HAS SOPS 68284 HAS SOUS 77042 HAS SOUPS 31118 WITH SCORE 31417.37
AT ITER 1833 NEW BEST:: SOT 778452 SOS 298524 HAS SOPS 68463 HAS SOUS 77028 HAS SOUPS 31118 WITH SCORE 31416.524
AT ITER 1834 NEW BEST:: SOT 778572 SOS 298629 HAS SOPS 68475 HAS SOUS 76948 HAS SOUPS 31115 WITH SCORE 31413.629
AT ITER 1835 NEW BEST:: SOT 778361 SOS 298306 HAS SOPS 67868 HAS SOUS 77080 HAS SOUPS 31115 WITH SCORE 31413.306
AT ITER 1836 NEW BEST:: SOT 778317 SOS 297948 HAS SOPS 67716 HAS SOUS 77080 HAS SOUPS 31115 WITH SCORE 31412.948
AT ITER 1845 NEW BEST:: SOT 758625 SOS 322959 HAS SOPS 46434 HAS SOUS 67793 HAS SOUPS 21563 WITH SCORE 21885.959
AT ITER 1846 NEW BEST:: SOT 758713 SOS 322673 HAS SOPS 46102 HAS SOUS 67751 HAS SOUPS 21521 WITH SCORE 21843.673
AT ITER 1854 NEW BEST:: SOT 758806 SOS 322859 HAS SOPS 45711 HAS SOUS 67724 HAS SOUPS 21494 WITH SCORE 21816.859
AT ITER 1859 NEW BEST:: SOT 758945 SOS 322802 HAS SOPS 45515 HAS SOUS 67724 HAS SOUPS 21494 WITH SCORE 21816.802
AT ITER 1869 NEW BEST:: SOT 758945 SOS 322802 HAS SOPS 45497 HAS SOUS 67724 HAS SOUPS 21485 WITH SCORE 21807.802
AT ITER 1872 NEW BEST:: SOT 758945 SOS 322730 HAS SOPS 45497 HAS SOUS 67580 HAS SOUPS 21485 WITH SCORE 21807.73
AT ITER 1879 NEW BEST:: SOT 759359 SOS 322863 HAS SOPS 45355 HAS SOUS 67360 HAS SOUPS 21404 WITH SCORE 21726.863
AT ITER 1886 NEW BEST:: SOT 759104 SOS 322603 HAS SOPS 45350 HAS SOUS 67341 HAS SOUPS 21404 WITH SCORE 21726.603
AT ITER 1888 NEW BEST:: SOT 759311 SOS 322257 HAS SOPS 45747 HAS SOUS 67155 HAS SOUPS 21404 WITH SCORE 21726.257
AT ITER 1890 NEW BEST:: SOT 759402 SOS 322110 HAS SOPS 45838 HAS SOUS 67229 HAS SOUPS 21341 WITH SCORE 21663.11
AT ITER 1891 NEW BEST:: SOT 758971 SOS 319952 HAS SOPS 45983 HAS SOUS 67086 HAS SOUPS 21342 WITH SCORE 21661.952
AT ITER 1895 NEW BEST:: SOT 759682 SOS 319709 HAS SOPS 45214 HAS SOUS 66858 HAS SOUPS 21161 WITH SCORE 21480.709
AT ITER 1903 NEW BEST:: SOT 759892 SOS 319100 HAS SOPS 44248 HAS SOUS 66947 HAS SOUPS 21103 WITH SCORE 21422.1
AT ITER 1904 NEW BEST:: SOT 759712 SOS 322832 HAS SOPS 44006 HAS SOUS 66736 HAS SOUPS 20892 WITH SCORE 21214.832
AT ITER 1906 NEW BEST:: SOT 759912 SOS 323232 HAS SOPS 43928 HAS SOUS 66936 HAS SOUPS 20814 WITH SCORE 21137.232
AT ITER 1909 NEW BEST:: SOT 760348 SOS 323278 HAS SOPS 43420 HAS SOUS 67038 HAS SOUPS 20796 WITH SCORE 21119.278
AT ITER 1911 NEW BEST:: SOT 760384 SOS 323134 HAS SOPS 43312 HAS SOUS 67002 HAS SOUPS 20760 WITH SCORE 21083.134
AT ITER 1913 NEW BEST:: SOT 760804 SOS 323026 HAS SOPS 42784 HAS SOUS 66845 HAS SOUPS 20603 WITH SCORE 20926.026
AT ITER 1915 NEW BEST:: SOT 760804 SOS 322674 HAS SOPS 42784 HAS SOUS 66837 HAS SOUPS 20603 WITH SCORE 20925.674
AT ITER 1923 NEW BEST:: SOT 758667 SOS 328702 HAS SOPS 41253 HAS SOUS 67057 HAS SOUPS 20520 WITH SCORE 20848.702
AT ITER 1925 NEW BEST:: SOT 758632 SOS 328580 HAS SOPS 41218 HAS SOUS 67022 HAS SOUPS 20496 WITH SCORE 20824.58
AT ITER 1931 NEW BEST:: SOT 758502 SOS 328700 HAS SOPS 41468 HAS SOUS 67069 HAS SOUPS 20463 WITH SCORE 20791.7
AT ITER 1934 NEW BEST:: SOT 758472 SOS 329054 HAS SOPS 41438 HAS SOUS 67246 HAS SOUPS 20433 WITH SCORE 20762.054
AT ITER 1940 NEW BEST:: SOT 758024 SOS 328662 HAS SOPS 41438 HAS SOUS 67470 HAS SOUPS 20433 WITH SCORE 20761.662
AT ITER 1942 NEW BEST:: SOT 756566 SOS 332546 HAS SOPS 40524 HAS SOUS 67453 HAS SOUPS 20416 WITH SCORE 20748.546
AT ITER 1945 NEW BEST:: SOT 756201 SOS 332242 HAS SOPS 40585 HAS SOUS 67449 HAS SOUPS 20412 WITH SCORE 20744.242
AT ITER 1949 NEW BEST:: SOT 756723 SOS 332166 HAS SOPS 40659 HAS SOUS 67138 HAS SOUPS 20325 WITH SCORE 20657.166
AT ITER 1951 NEW BEST:: SOT 756632 SOS 332075 HAS SOPS 40659 HAS SOUS 67138 HAS SOUPS 20325 WITH SCORE 20657.075
AT ITER 1954 NEW BEST:: SOT 757125 SOS 331951 HAS SOPS 40412 HAS SOUS 66326 HAS SOUPS 20253 WITH SCORE 20584.951
AT ITER 1955 NEW BEST:: SOT 757129 SOS 331791 HAS SOPS 40248 HAS SOUS 66326 HAS SOUPS 20253 WITH SCORE 20584.791
AT ITER 1964 NEW BEST:: SOT 757413 SOS 332015 HAS SOPS 40188 HAS SOUS 66334 HAS SOUPS 20222 WITH SCORE 20554.015
AT ITER 1972 NEW BEST:: SOT 758833 SOS 330468 HAS SOPS 42571 HAS SOUS 66334 HAS SOUPS 20222 WITH SCORE 20552.468
AT ITER 1973 NEW BEST:: SOT 758649 SOS 331135 HAS SOPS 42525 HAS SOUS 66359 HAS SOUPS 20178 WITH SCORE 20509.135
AT ITER 1994 NEW BEST:: SOT 758954 SOS 331217 HAS SOPS 42302 HAS SOUS 66315 HAS SOUPS 20134 WITH SCORE 20465.217
AT ITER 2002 NEW BEST:: SOT 758982 SOS 331049 HAS SOPS 42302 HAS SOUS 66287 HAS SOUPS 20120 WITH SCORE 20451.049
AT ITER 2012 NEW BEST:: SOT 758954 SOS 331021 HAS SOPS 42302 HAS SOUS 66287 HAS SOUPS 20120 WITH SCORE 20451.021
AT ITER 2021 NEW BEST:: SOT 758828 SOS 331117 HAS SOPS 42176 HAS SOUS 66601 HAS SOUPS 20086 WITH SCORE 20417.117
AT ITER 2038 NEW BEST:: SOT 759015 SOS 331915 HAS SOPS 42151 HAS SOUS 66788 HAS SOUPS 20061 WITH SCORE 20392.915
AT ITER 2040 NEW BEST:: SOT 758121 SOS 331021 HAS SOPS 42151 HAS SOUS 66584 HAS SOUPS 20061 WITH SCORE 20392.021
AT ITER 2043 NEW BEST:: SOT 758189 SOS 330698 HAS SOPS 42236 HAS SOUS 66584 HAS SOUPS 20061 WITH SCORE 20391.698
AT ITER 2048 NEW BEST:: SOT 753324 SOS 359218 HAS SOPS 37371 HAS SOUS 64480 HAS SOUPS 17957 WITH SCORE 18316.218
AT ITER 2050 NEW BEST:: SOT 753450 SOS 359155 HAS SOPS 37245 HAS SOUS 64354 HAS SOUPS 17894 WITH SCORE 18253.155
AT ITER 2054 NEW BEST:: SOT 753641 SOS 367797 HAS SOPS 36020 HAS SOUS 64245 HAS SOUPS 17667 WITH SCORE 18034.797
AT ITER 2056 NEW BEST:: SOT 753549 SOS 367643 HAS SOPS 35988 HAS SOUS 64155 HAS SOUPS 17637 WITH SCORE 18004.643
AT ITER 2058 NEW BEST:: SOT 752273 SOS 370291 HAS SOPS 34612 HAS SOUS 64063 HAS SOUPS 17413 WITH SCORE 17783.291
AT ITER 2062 NEW BEST:: SOT 752157 SOS 370191 HAS SOPS 34232 HAS SOUS 63973 HAS SOUPS 17257 WITH SCORE 17627.191
AT ITER 2068 NEW BEST:: SOT 752198 SOS 369096 HAS SOPS 33417 HAS SOUS 63668 HAS SOUPS 17084 WITH SCORE 17453.096
AT ITER 2072 NEW BEST:: SOT 752074 SOS 369034 HAS SOPS 33417 HAS SOUS 63730 HAS SOUPS 17084 WITH SCORE 17453.034
AT ITER 2076 NEW BEST:: SOT 752138 SOS 368906 HAS SOPS 33353 HAS SOUS 63602 HAS SOUPS 17020 WITH SCORE 17388.906
AT ITER 2080 NEW BEST:: SOT 752057 SOS 369052 HAS SOPS 33272 HAS SOUS 63675 HAS SOUPS 16939 WITH SCORE 17308.052
AT ITER 2083 NEW BEST:: SOT 752057 SOS 369021 HAS SOPS 33272 HAS SOUS 63675 HAS SOUPS 16939 WITH SCORE 17308.021
AT ITER 2087 NEW BEST:: SOT 752057 SOS 368999 HAS SOPS 33250 HAS SOUS 63664 HAS SOUPS 16939 WITH SCORE 17307.999
AT ITER 2089 NEW BEST:: SOT 752220 SOS 368733 HAS SOPS 32821 HAS SOUS 63574 HAS SOUPS 16865 WITH SCORE 17233.733
AT ITER 2094 NEW BEST:: SOT 752301 SOS 369219 HAS SOPS 32578 HAS SOUS 63655 HAS SOUPS 16784 WITH SCORE 17153.219
AT ITER 2100 NEW BEST:: SOT 752187 SOS 369105 HAS SOPS 32578 HAS SOUS 63655 HAS SOUPS 16784 WITH SCORE 17153.105
AT ITER 2102 NEW BEST:: SOT 752162 SOS 369019 HAS SOPS 32481 HAS SOUS 63619 HAS SOUPS 16748 WITH SCORE 17117.019
AT ITER 2104 NEW BEST:: SOT 752123 SOS 368941 HAS SOPS 32442 HAS SOUS 63580 HAS SOUPS 16709 WITH SCORE 17077.941
AT ITER 2108 NEW BEST:: SOT 752025 SOS 370474 HAS SOPS 32337 HAS SOUS 63524 HAS SOUPS 16653 WITH SCORE 17023.474
AT ITER 2109 NEW BEST:: SOT 752401 SOS 370848 HAS SOPS 32335 HAS SOUS 63583 HAS SOUPS 16651 WITH SCORE 17021.848
AT ITER 2125 NEW BEST:: SOT 752401 SOS 370702 HAS SOPS 32335 HAS SOUS 63583 HAS SOUPS 16651 WITH SCORE 17021.702
AT ITER 2136 NEW BEST:: SOT 752356 SOS 370636 HAS SOPS 32290 HAS SOUS 63496 HAS SOUPS 16606 WITH SCORE 16976.636
AT ITER 2137 NEW BEST:: SOT 752098 SOS 372806 HAS SOPS 32032 HAS SOUS 63569 HAS SOUPS 16600 WITH SCORE 16972.806
AT ITER 2140 NEW BEST:: SOT 752178 SOS 372838 HAS SOPS 31984 HAS SOUS 63537 HAS SOUPS 16584 WITH SCORE 16956.838
AT ITER 2147 NEW BEST:: SOT 751802 SOS 372462 HAS SOPS 31984 HAS SOUS 63537 HAS SOUPS 16584 WITH SCORE 16956.462
AT ITER 2152 NEW BEST:: SOT 751438 SOS 373494 HAS SOPS 31460 HAS SOUS 63316 HAS SOUPS 16363 WITH SCORE 16736.494
AT ITER 2156 NEW BEST:: SOT 751430 SOS 373447 HAS SOPS 31452 HAS SOUS 63186 HAS SOUPS 16356 WITH SCORE 16729.447
AT ITER 2160 NEW BEST:: SOT 751344 SOS 373318 HAS SOPS 31452 HAS SOUS 63100 HAS SOUPS 16356 WITH SCORE 16729.318
AT ITER 2165 NEW BEST:: SOT 751373 SOS 371087 HAS SOPS 31808 HAS SOUS 62991 HAS SOUPS 16356 WITH SCORE 16727.087
AT ITER 2167 NEW BEST:: SOT 751312 SOS 371042 HAS SOPS 31439 HAS SOUS 63024 HAS SOUPS 16312 WITH SCORE 16683.042
AT ITER 2168 NEW BEST:: SOT 751295 SOS 370741 HAS SOPS 31422 HAS SOUS 62740 HAS SOUPS 16295 WITH SCORE 16665.741
AT ITER 2169 NEW BEST:: SOT 751369 SOS 370719 HAS SOPS 31360 HAS SOUS 62638 HAS SOUPS 16261 WITH SCORE 16631.719
AT ITER 2177 NEW BEST:: SOT 751914 SOS 371257 HAS SOPS 31353 HAS SOUS 62593 HAS SOUPS 16254 WITH SCORE 16625.257
AT ITER 2184 NEW BEST:: SOT 751936 SOS 371126 HAS SOPS 31235 HAS SOUS 62488 HAS SOUPS 16219 WITH SCORE 16590.126
AT ITER 2185 NEW BEST:: SOT 752108 SOS 370750 HAS SOPS 31247 HAS SOUS 62408 HAS SOUPS 16139 WITH SCORE 16509.75
AT ITER 2186 NEW BEST:: SOT 752068 SOS 370730 HAS SOPS 31247 HAS SOUS 62428 HAS SOUPS 16139 WITH SCORE 16509.73
AT ITER 2189 NEW BEST:: SOT 751942 SOS 370604 HAS SOPS 31229 HAS SOUS 62392 HAS SOUPS 16121 WITH SCORE 16491.604
AT ITER 2216 NEW BEST:: SOT 750442 SOS 374228 HAS SOPS 30465 HAS SOUS 62157 HAS SOUPS 15886 WITH SCORE 16260.228
AT ITER 2219 NEW BEST:: SOT 750843 SOS 374605 HAS SOPS 30356 HAS SOUS 62218 HAS SOUPS 15801 WITH SCORE 16175.605
AT ITER 2221 NEW BEST:: SOT 750617 SOS 378518 HAS SOPS 30130 HAS SOUS 62195 HAS SOUPS 15778 WITH SCORE 16156.518
AT ITER 2226 NEW BEST:: SOT 750236 SOS 378264 HAS SOPS 30003 HAS SOUS 62195 HAS SOUPS 15651 WITH SCORE 16029.264
AT ITER 2230 NEW BEST:: SOT 750683 SOS 378646 HAS SOPS 29682 HAS SOUS 62144 HAS SOUPS 15462 WITH SCORE 15840.646
AT ITER 2241 NEW BEST:: SOT 750694 SOS 378660 HAS SOPS 29681 HAS SOUS 62155 HAS SOUPS 15461 WITH SCORE 15839.66
AT ITER 2245 NEW BEST:: SOT 750943 SOS 378744 HAS SOPS 29654 HAS SOUS 62128 HAS SOUPS 15434 WITH SCORE 15812.744
AT ITER 2248 NEW BEST:: SOT 750847 SOS 378648 HAS SOPS 29654 HAS SOUS 62128 HAS SOUPS 15434 WITH SCORE 15812.648
AT ITER 2251 NEW BEST:: SOT 751877 SOS 379343 HAS SOPS 29046 HAS SOUS 62110 HAS SOUPS 15177 WITH SCORE 15556.343
AT ITER 2253 NEW BEST:: SOT 751625 SOS 378965 HAS SOPS 29046 HAS SOUS 61984 HAS SOUPS 15177 WITH SCORE 15555.965
AT ITER 2257 NEW BEST:: SOT 751621 SOS 378885 HAS SOPS 29006 HAS SOUS 61944 HAS SOUPS 15141 WITH SCORE 15519.885
AT ITER 2259 NEW BEST:: SOT 745743 SOS 396532 HAS SOPS 22885 HAS SOUS 60146 HAS SOUPS 13283 WITH SCORE 13679.532
AT ITER 2269 NEW BEST:: SOT 745809 SOS 396576 HAS SOPS 22863 HAS SOUS 60124 HAS SOUPS 13261 WITH SCORE 13657.576000000001
AT ITER 2277 NEW BEST:: SOT 745809 SOS 396555 HAS SOPS 22863 HAS SOUS 60103 HAS SOUPS 13261 WITH SCORE 13657.555
AT ITER 2291 NEW BEST:: SOT 745330 SOS 396515 HAS SOPS 22690 HAS SOUS 60236 HAS SOUPS 13088 WITH SCORE 13484.515
AT ITER 2294 NEW BEST:: SOT 745225 SOS 396410 HAS SOPS 22655 HAS SOUS 60201 HAS SOUPS 13053 WITH SCORE 13449.41
AT ITER 2297 NEW BEST:: SOT 745374 SOS 396290 HAS SOPS 22386 HAS SOUS 59710 HAS SOUPS 12866 WITH SCORE 13262.29
AT ITER 2301 NEW BEST:: SOT 745324 SOS 395840 HAS SOPS 22236 HAS SOUS 59610 HAS SOUPS 12816 WITH SCORE 13211.84
AT ITER 2304 NEW BEST:: SOT 745102 SOS 399884 HAS SOPS 20958 HAS SOUS 59843 HAS SOUPS 12521 WITH SCORE 12920.884
AT ITER 2314 NEW BEST:: SOT 745259 SOS 400060 HAS SOPS 20425 HAS SOUS 59843 HAS SOUPS 12452 WITH SCORE 12852.06
AT ITER 2315 NEW BEST:: SOT 745259 SOS 400063 HAS SOPS 20419 HAS SOUS 59843 HAS SOUPS 12449 WITH SCORE 12849.063
AT ITER 2316 NEW BEST:: SOT 744607 SOS 399743 HAS SOPS 20751 HAS SOUS 59843 HAS SOUPS 12449 WITH SCORE 12848.743
AT ITER 2318 NEW BEST:: SOT 744564 SOS 400407 HAS SOPS 20708 HAS SOUS 59929 HAS SOUPS 12443 WITH SCORE 12843.407
AT ITER 2332 NEW BEST:: SOT 743676 SOS 400383 HAS SOPS 20112 HAS SOUS 59808 HAS SOUPS 12176 WITH SCORE 12576.383
AT ITER 2337 NEW BEST:: SOT 743722 SOS 400265 HAS SOPS 19948 HAS SOUS 59773 HAS SOUPS 12141 WITH SCORE 12541.265
AT ITER 2340 NEW BEST:: SOT 743692 SOS 399835 HAS SOPS 19918 HAS SOUS 59019 HAS SOUPS 12102 WITH SCORE 12501.835
AT ITER 2341 NEW BEST:: SOT 743422 SOS 399430 HAS SOPS 19918 HAS SOUS 58800 HAS SOUPS 12102 WITH SCORE 12501.43
AT ITER 2348 NEW BEST:: SOT 743362 SOS 399370 HAS SOPS 19918 HAS SOUS 58800 HAS SOUPS 12102 WITH SCORE 12501.37
AT ITER 2358 NEW BEST:: SOT 743305 SOS 399382 HAS SOPS 19867 HAS SOUS 58788 HAS SOUPS 12087 WITH SCORE 12486.382
AT ITER 2359 NEW BEST:: SOT 743491 SOS 399574 HAS SOPS 19693 HAS SOUS 58796 HAS SOUPS 12033 WITH SCORE 12432.574
AT ITER 2362 NEW BEST:: SOT 743727 SOS 399686 HAS SOPS 19749 HAS SOUS 58619 HAS SOUPS 12008 WITH SCORE 12407.686
AT ITER 2365 NEW BEST:: SOT 743877 SOS 399836 HAS SOPS 19719 HAS SOUS 58589 HAS SOUPS 11978 WITH SCORE 12377.836
AT ITER 2366 NEW BEST:: SOT 744957 SOS 400356 HAS SOPS 19487 HAS SOUS 57891 HAS SOUPS 11880 WITH SCORE 12280.356
AT ITER 2373 NEW BEST:: SOT 745057 SOS 400450 HAS SOPS 19481 HAS SOUS 57835 HAS SOUPS 11824 WITH SCORE 12224.45
AT ITER 2387 NEW BEST:: SOT 745197 SOS 400590 HAS SOPS 19461 HAS SOUS 57847 HAS SOUPS 11804 WITH SCORE 12204.59
AT ITER 2389 NEW BEST:: SOT 745210 SOS 400544 HAS SOPS 19426 HAS SOUS 57823 HAS SOUPS 11792 WITH SCORE 12192.544
AT ITER 2396 NEW BEST:: SOT 745438 SOS 400745 HAS SOPS 19450 HAS SOUS 57751 HAS SOUPS 11771 WITH SCORE 12171.745
AT ITER 2397 NEW BEST:: SOT 744612 SOS 400733 HAS SOPS 20264 HAS SOUS 57673 HAS SOUPS 11771 WITH SCORE 12171.733
AT ITER 2399 NEW BEST:: SOT 744428 SOS 402327 HAS SOPS 20080 HAS SOUS 57651 HAS SOUPS 11749 WITH SCORE 12151.327
AT ITER 2401 NEW BEST:: SOT 745661 SOS 403969 HAS SOPS 20077 HAS SOUS 57854 HAS SOUPS 11746 WITH SCORE 12149.969
AT ITER 2403 NEW BEST:: SOT 745875 SOS 404755 HAS SOPS 19575 HAS SOUS 57638 HAS SOUPS 11530 WITH SCORE 11934.755
AT ITER 2406 NEW BEST:: SOT 745875 SOS 404653 HAS SOPS 19575 HAS SOUS 57638 HAS SOUPS 11530 WITH SCORE 11934.653
AT ITER 2414 NEW BEST:: SOT 745923 SOS 404233 HAS SOPS 19451 HAS SOUS 57598 HAS SOUPS 11490 WITH SCORE 11894.233
AT ITER 2417 NEW BEST:: SOT 745341 SOS 407344 HAS SOPS 19439 HAS SOUS 57834 HAS SOUPS 11441 WITH SCORE 11848.344
AT ITER 2427 NEW BEST:: SOT 746627 SOS 408584 HAS SOPS 19393 HAS SOUS 58033 HAS SOUPS 11395 WITH SCORE 11803.584
AT ITER 2433 NEW BEST:: SOT 746573 SOS 408784 HAS SOPS 19207 HAS SOUS 58011 HAS SOUPS 11340 WITH SCORE 11748.784
AT ITER 2437 NEW BEST:: SOT 746472 SOS 407826 HAS SOPS 19442 HAS SOUS 57886 HAS SOUPS 11340 WITH SCORE 11747.826000000001
AT ITER 2438 NEW BEST:: SOT 746541 SOS 408454 HAS SOPS 19413 HAS SOUS 57961 HAS SOUPS 11333 WITH SCORE 11741.454
AT ITER 2441 NEW BEST:: SOT 746473 SOS 408386 HAS SOPS 19413 HAS SOUS 57883 HAS SOUPS 11333 WITH SCORE 11741.386
AT ITER 2442 NEW BEST:: SOT 746398 SOS 408308 HAS SOPS 19410 HAS SOUS 57846 HAS SOUPS 11330 WITH SCORE 11738.308
AT ITER 2444 NEW BEST:: SOT 745860 SOS 409632 HAS SOPS 19072 HAS SOUS 57637 HAS SOUPS 11121 WITH SCORE 11530.632
AT ITER 2449 NEW BEST:: SOT 745886 SOS 409684 HAS SOPS 18954 HAS SOUS 57693 HAS SOUPS 11073 WITH SCORE 11482.684
AT ITER 2453 NEW BEST:: SOT 746272 SOS 410181 HAS SOPS 18900 HAS SOUS 57788 HAS SOUPS 11019 WITH SCORE 11429.181
AT ITER 2454 NEW BEST:: SOT 746507 SOS 410346 HAS SOPS 18891 HAS SOUS 57723 HAS SOUPS 11010 WITH SCORE 11420.346
AT ITER 2456 NEW BEST:: SOT 746547 SOS 410316 HAS SOPS 18851 HAS SOUS 57703 HAS SOUPS 11010 WITH SCORE 11420.316
AT ITER 2460 NEW BEST:: SOT 746479 SOS 410248 HAS SOPS 18851 HAS SOUS 57665 HAS SOUPS 11010 WITH SCORE 11420.248
AT ITER 2463 NEW BEST:: SOT 748846 SOS 412318 HAS SOPS 18554 HAS SOUS 57810 HAS SOUPS 10975 WITH SCORE 11387.318
AT ITER 2466 NEW BEST:: SOT 748834 SOS 412424 HAS SOPS 18542 HAS SOUS 57904 HAS SOUPS 10963 WITH SCORE 11375.424
AT ITER 2468 NEW BEST:: SOT 750048 SOS 413208 HAS SOPS 18112 HAS SOUS 58017 HAS SOUPS 10845 WITH SCORE 11258.208
AT ITER 2490 NEW BEST:: SOT 750063 SOS 413306 HAS SOPS 17991 HAS SOUS 58118 HAS SOUPS 10810 WITH SCORE 11223.306
AT ITER 2497 NEW BEST:: SOT 750052 SOS 414682 HAS SOPS 17980 HAS SOUS 58345 HAS SOUPS 10804 WITH SCORE 11218.682
AT ITER 2502 NEW BEST:: SOT 750057 SOS 414604 HAS SOPS 17985 HAS SOUS 58345 HAS SOUPS 10804 WITH SCORE 11218.604
AT ITER 2503 NEW BEST:: SOT 749781 SOS 414535 HAS SOPS 17985 HAS SOUS 58483 HAS SOUPS 10804 WITH SCORE 11218.535
AT ITER 2507 NEW BEST:: SOT 749370 SOS 414313 HAS SOPS 17974 HAS SOUS 58533 HAS SOUPS 10804 WITH SCORE 11218.313
AT ITER 2508 NEW BEST:: SOT 749408 SOS 414201 HAS SOPS 18012 HAS SOUS 58486 HAS SOUPS 10804 WITH SCORE 11218.201000000001
AT ITER 2509 NEW BEST:: SOT 749470 SOS 414108 HAS SOPS 18012 HAS SOUS 58455 HAS SOUPS 10804 WITH SCORE 11218.108
AT ITER 2512 NEW BEST:: SOT 749574 SOS 414004 HAS SOPS 17908 HAS SOUS 58247 HAS SOUPS 10700 WITH SCORE 11114.004
AT ITER 2513 NEW BEST:: SOT 749571 SOS 414174 HAS SOPS 17905 HAS SOUS 58593 HAS SOUPS 10697 WITH SCORE 11111.174
AT ITER 2516 NEW BEST:: SOT 749648 SOS 413986 HAS SOPS 17526 HAS SOUS 58593 HAS SOUPS 10640 WITH SCORE 11053.986
AT ITER 2521 NEW BEST:: SOT 749277 SOS 413716 HAS SOPS 17627 HAS SOUS 58567 HAS SOUPS 10627 WITH SCORE 11040.716
AT ITER 2523 NEW BEST:: SOT 749181 SOS 414212 HAS SOPS 17359 HAS SOUS 58701 HAS SOUPS 10608 WITH SCORE 11022.212
AT ITER 2526 NEW BEST:: SOT 749169 SOS 414176 HAS SOPS 17347 HAS SOUS 58677 HAS SOUPS 10596 WITH SCORE 11010.176
AT ITER 2527 NEW BEST:: SOT 749156 SOS 414150 HAS SOPS 17334 HAS SOUS 58556 HAS SOUPS 10518 WITH SCORE 10932.15
AT ITER 2535 NEW BEST:: SOT 749250 SOS 414338 HAS SOPS 17244 HAS SOUS 58558 HAS SOUPS 10428 WITH SCORE 10842.338
AT ITER 2536 NEW BEST:: SOT 749499 SOS 414578 HAS SOPS 17235 HAS SOUS 58325 HAS SOUPS 10419 WITH SCORE 10833.578
AT ITER 2549 NEW BEST:: SOT 748691 SOS 413770 HAS SOPS 17235 HAS SOUS 58315 HAS SOUPS 10419 WITH SCORE 10832.77
AT ITER 2550 NEW BEST:: SOT 748386 SOS 414664 HAS SOPS 16178 HAS SOUS 57846 HAS SOUPS 9504 WITH SCORE 9918.664
AT ITER 2556 NEW BEST:: SOT 748394 SOS 414379 HAS SOPS 15928 HAS SOUS 57674 HAS SOUPS 9461 WITH SCORE 9875.379
AT ITER 2557 NEW BEST:: SOT 748400 SOS 414325 HAS SOPS 15934 HAS SOUS 57668 HAS SOUPS 9455 WITH SCORE 9869.325
AT ITER 2560 NEW BEST:: SOT 748271 SOS 413869 HAS SOPS 15805 HAS SOUS 57526 HAS SOUPS 9445 WITH SCORE 9858.869
AT ITER 2561 NEW BEST:: SOT 748147 SOS 413687 HAS SOPS 15901 HAS SOUS 57482 HAS SOUPS 9445 WITH SCORE 9858.687
AT ITER 2565 NEW BEST:: SOT 748257 SOS 413775 HAS SOPS 15747 HAS SOUS 57442 HAS SOUPS 9372 WITH SCORE 9785.775
AT ITER 2566 NEW BEST:: SOT 748257 SOS 413571 HAS SOPS 15747 HAS SOUS 57442 HAS SOUPS 9372 WITH SCORE 9785.571
AT ITER 2567 NEW BEST:: SOT 748823 SOS 413499 HAS SOPS 15711 HAS SOUS 57057 HAS SOUPS 9336 WITH SCORE 9749.499
AT ITER 2582 NEW BEST:: SOT 748790 SOS 413455 HAS SOPS 15700 HAS SOUS 57035 HAS SOUPS 9325 WITH SCORE 9738.455
AT ITER 2590 NEW BEST:: SOT 748866 SOS 414239 HAS SOPS 15697 HAS SOUS 57111 HAS SOUPS 9322 WITH SCORE 9736.239
AT ITER 2591 NEW BEST:: SOT 748895 SOS 414185 HAS SOPS 15502 HAS SOUS 57029 HAS SOUPS 9240 WITH SCORE 9654.185
AT ITER 2597 NEW BEST:: SOT 748891 SOS 414177 HAS SOPS 15498 HAS SOUS 57025 HAS SOUPS 9236 WITH SCORE 9650.177
AT ITER 2599 NEW BEST:: SOT 746376 SOS 424519 HAS SOPS 12983 HAS SOUS 56531 HAS SOUPS 8339 WITH SCORE 8763.519
AT ITER 2609 NEW BEST:: SOT 746088 SOS 424399 HAS SOPS 12695 HAS SOUS 56628 HAS SOUPS 8284 WITH SCORE 8708.399
AT ITER 2618 NEW BEST:: SOT 746344 SOS 424399 HAS SOPS 12439 HAS SOUS 56564 HAS SOUPS 8220 WITH SCORE 8644.399
AT ITER 2619 NEW BEST:: SOT 746344 SOS 424361 HAS SOPS 12439 HAS SOUS 56545 HAS SOUPS 8220 WITH SCORE 8644.361
AT ITER 2621 NEW BEST:: SOT 746295 SOS 425055 HAS SOPS 12354 HAS SOUS 56483 HAS SOUPS 8158 WITH SCORE 8583.055
AT ITER 2624 NEW BEST:: SOT 746290 SOS 424899 HAS SOPS 12349 HAS SOUS 56483 HAS SOUPS 8158 WITH SCORE 8582.899
AT ITER 2628 NEW BEST:: SOT 745516 SOS 424125 HAS SOPS 12349 HAS SOUS 56263 HAS SOUPS 8158 WITH SCORE 8582.125
AT ITER 2640 NEW BEST:: SOT 745251 SOS 423833 HAS SOPS 12322 HAS SOUS 56236 HAS SOUPS 8131 WITH SCORE 8554.833
AT ITER 2644 NEW BEST:: SOT 745677 SOS 424253 HAS SOPS 12316 HAS SOUS 56186 HAS SOUPS 8125 WITH SCORE 8549.253
AT ITER 2648 NEW BEST:: SOT 746281 SOS 424861 HAS SOPS 12280 HAS SOUS 56230 HAS SOUPS 8101 WITH SCORE 8525.861
AT ITER 2656 NEW BEST:: SOT 745960 SOS 426155 HAS SOPS 11959 HAS SOUS 56226 HAS SOUPS 7945 WITH SCORE 8371.155
AT ITER 2666 NEW BEST:: SOT 746414 SOS 426631 HAS SOPS 11927 HAS SOUS 56223 HAS SOUPS 7891 WITH SCORE 8317.631
AT ITER 2671 NEW BEST:: SOT 746230 SOS 426755 HAS SOPS 11825 HAS SOUS 56222 HAS SOUPS 7808 WITH SCORE 8234.755
AT ITER 2674 NEW BEST:: SOT 746918 SOS 427898 HAS SOPS 11581 HAS SOUS 56411 HAS SOUPS 7764 WITH SCORE 8191.898
AT ITER 2688 NEW BEST:: SOT 747257 SOS 428240 HAS SOPS 11472 HAS SOUS 56310 HAS SOUPS 7663 WITH SCORE 8091.24
AT ITER 2715 NEW BEST:: SOT 746921 SOS 427988 HAS SOPS 11472 HAS SOUS 56394 HAS SOUPS 7663 WITH SCORE 8090.988
AT ITER 2718 NEW BEST:: SOT 746892 SOS 428046 HAS SOPS 11443 HAS SOUS 56394 HAS SOUPS 7634 WITH SCORE 8062.046
AT ITER 2719 NEW BEST:: SOT 746787 SOS 428061 HAS SOPS 11338 HAS SOUS 56289 HAS SOUPS 7529 WITH SCORE 7957.061
AT ITER 2731 NEW BEST:: SOT 746703 SOS 427977 HAS SOPS 11338 HAS SOUS 56289 HAS SOUPS 7529 WITH SCORE 7956.977
AT ITER 2733 NEW BEST:: SOT 746744 SOS 427895 HAS SOPS 11297 HAS SOUS 56207 HAS SOUPS 7529 WITH SCORE 7956.895
AT ITER 2734 NEW BEST:: SOT 746737 SOS 427895 HAS SOPS 11290 HAS SOUS 56207 HAS SOUPS 7522 WITH SCORE 7949.895
AT ITER 2742 NEW BEST:: SOT 746813 SOS 427837 HAS SOPS 11156 HAS SOUS 56165 HAS SOUPS 7480 WITH SCORE 7907.8369999999995
AT ITER 2745 NEW BEST:: SOT 746813 SOS 427827 HAS SOPS 11156 HAS SOUS 56155 HAS SOUPS 7480 WITH SCORE 7907.827
AT ITER 2753 NEW BEST:: SOT 746863 SOS 427752 HAS SOPS 11156 HAS SOUS 56130 HAS SOUPS 7480 WITH SCORE 7907.752
AT ITER 2754 NEW BEST:: SOT 746771 SOS 427622 HAS SOPS 11118 HAS SOUS 56059 HAS SOUPS 7469 WITH SCORE 7896.622
AT ITER 2757 NEW BEST:: SOT 746932 SOS 427760 HAS SOPS 11095 HAS SOUS 56121 HAS SOUPS 7446 WITH SCORE 7873.76
AT ITER 2761 NEW BEST:: SOT 746912 SOS 427740 HAS SOPS 11095 HAS SOUS 56121 HAS SOUPS 7446 WITH SCORE 7873.74
AT ITER 2769 NEW BEST:: SOT 747417 SOS 428045 HAS SOPS 11036 HAS SOUS 55780 HAS SOUPS 7387 WITH SCORE 7815.045
AT ITER 2770 NEW BEST:: SOT 747917 SOS 427869 HAS SOPS 11200 HAS SOUS 55444 HAS SOUPS 7387 WITH SCORE 7814.869
AT ITER 2784 NEW BEST:: SOT 747871 SOS 427777 HAS SOPS 11154 HAS SOUS 55352 HAS SOUPS 7341 WITH SCORE 7768.777
AT ITER 2792 NEW BEST:: SOT 747311 SOS 427297 HAS SOPS 10914 HAS SOUS 55465 HAS SOUPS 7260 WITH SCORE 7687.2970000000005
AT ITER 2808 NEW BEST:: SOT 747051 SOS 427037 HAS SOPS 10914 HAS SOUS 55335 HAS SOUPS 7260 WITH SCORE 7687.037
AT ITER 2824 NEW BEST:: SOT 747051 SOS 426917 HAS SOPS 10914 HAS SOUS 54963 HAS SOUPS 7260 WITH SCORE 7686.917
AT ITER 2827 NEW BEST:: SOT 747354 SOS 426911 HAS SOPS 10554 HAS SOUS 54861 HAS SOUPS 7158 WITH SCORE 7584.911
AT ITER 2829 NEW BEST:: SOT 746948 SOS 426301 HAS SOPS 10552 HAS SOUS 54758 HAS SOUPS 7156 WITH SCORE 7582.301
AT ITER 2834 NEW BEST:: SOT 746900 SOS 426409 HAS SOPS 10504 HAS SOUS 54812 HAS SOUPS 7108 WITH SCORE 7534.409
AT ITER 2848 NEW BEST:: SOT 746900 SOS 426343 HAS SOPS 10504 HAS SOUS 54790 HAS SOUPS 7108 WITH SCORE 7534.343
AT ITER 2851 NEW BEST:: SOT 746871 SOS 427059 HAS SOPS 10457 HAS SOUS 54746 HAS SOUPS 7064 WITH SCORE 7491.059
AT ITER 2858 NEW BEST:: SOT 746868 SOS 427056 HAS SOPS 10460 HAS SOUS 54745 HAS SOUPS 7064 WITH SCORE 7491.056
AT ITER 2879 NEW BEST:: SOT 747572 SOS 427434 HAS SOPS 10134 HAS SOUS 54616 HAS SOUPS 6987 WITH SCORE 7414.434
AT ITER 2900 NEW BEST:: SOT 747485 SOS 427359 HAS SOPS 10047 HAS SOUS 54541 HAS SOUPS 6912 WITH SCORE 7339.359
AT ITER 2902 NEW BEST:: SOT 747387 SOS 427114 HAS SOPS 10047 HAS SOUS 54541 HAS SOUPS 6912 WITH SCORE 7339.114
AT ITER 2908 NEW BEST:: SOT 747330 SOS 426538 HAS SOPS 10056 HAS SOUS 54508 HAS SOUPS 6912 WITH SCORE 7338.5380000000005
AT ITER 2911 NEW BEST:: SOT 747375 SOS 426502 HAS SOPS 10011 HAS SOUS 54490 HAS SOUPS 6903 WITH SCORE 7329.502
AT ITER 2912 NEW BEST:: SOT 746771 SOS 427058 HAS SOPS 9799 HAS SOUS 54388 HAS SOUPS 6801 WITH SCORE 7228.058
AT ITER 2919 NEW BEST:: SOT 746889 SOS 425434 HAS SOPS 9797 HAS SOUS 54386 HAS SOUPS 6799 WITH SCORE 7224.434
AT ITER 2924 NEW BEST:: SOT 747303 SOS 425512 HAS SOPS 9611 HAS SOUS 54151 HAS SOUPS 6624 WITH SCORE 7049.512
AT ITER 2933 NEW BEST:: SOT 747363 SOS 425710 HAS SOPS 9515 HAS SOUS 54133 HAS SOUPS 6528 WITH SCORE 6953.71
AT ITER 2938 NEW BEST:: SOT 747598 SOS 425847 HAS SOPS 9454 HAS SOUS 54023 HAS SOUPS 6492 WITH SCORE 6917.847
AT ITER 2954 NEW BEST:: SOT 747550 SOS 425775 HAS SOPS 9430 HAS SOUS 53999 HAS SOUPS 6468 WITH SCORE 6893.775
AT ITER 2961 NEW BEST:: SOT 748347 SOS 426703 HAS SOPS 9339 HAS SOUS 54463 HAS SOUPS 6377 WITH SCORE 6803.703
AT ITER 2965 NEW BEST:: SOT 748582 SOS 427029 HAS SOPS 9286 HAS SOUS 54549 HAS SOUPS 6324 WITH SCORE 6751.029
AT ITER 2995 NEW BEST:: SOT 748809 SOS 427217 HAS SOPS 9285 HAS SOUS 54510 HAS SOUPS 6323 WITH SCORE 6750.217
AT ITER 3002 NEW BEST:: SOT 748871 SOS 427645 HAS SOPS 9195 HAS SOUS 54638 HAS SOUPS 6299 WITH SCORE 6726.645
AT ITER 3014 NEW BEST:: SOT 749033 SOS 427969 HAS SOPS 9073 HAS SOUS 54854 HAS SOUPS 6215 WITH SCORE 6642.969
AT ITER 3018 NEW BEST:: SOT 748688 SOS 431151 HAS SOPS 8728 HAS SOUS 54950 HAS SOUPS 6069 WITH SCORE 6500.151
AT ITER 3024 NEW BEST:: SOT 748632 SOS 431263 HAS SOPS 8700 HAS SOUS 54964 HAS SOUPS 6055 WITH SCORE 6486.263
AT ITER 3026 NEW BEST:: SOT 748376 SOS 431185 HAS SOPS 8692 HAS SOUS 55072 HAS SOUPS 6047 WITH SCORE 6478.185
AT ITER 3039 NEW BEST:: SOT 748334 SOS 431433 HAS SOPS 8650 HAS SOUS 55256 HAS SOUPS 6005 WITH SCORE 6436.433
AT ITER 3046 NEW BEST:: SOT 748134 SOS 431233 HAS SOPS 8650 HAS SOUS 55042 HAS SOUPS 6005 WITH SCORE 6436.233
AT ITER 3050 NEW BEST:: SOT 748166 SOS 431297 HAS SOPS 8642 HAS SOUS 55034 HAS SOUPS 5997 WITH SCORE 6428.2970000000005
AT ITER 3057 NEW BEST:: SOT 748140 SOS 431501 HAS SOPS 8552 HAS SOUS 55066 HAS SOUPS 5965 WITH SCORE 6396.501
AT ITER 3059 NEW BEST:: SOT 749326 SOS 432397 HAS SOPS 8262 HAS SOUS 55004 HAS SOUPS 5934 WITH SCORE 6366.397
AT ITER 3061 NEW BEST:: SOT 749006 SOS 431757 HAS SOPS 8196 HAS SOUS 54883 HAS SOUPS 5879 WITH SCORE 6310.757
AT ITER 3065 NEW BEST:: SOT 749240 SOS 431964 HAS SOPS 8198 HAS SOUS 54858 HAS SOUPS 5854 WITH SCORE 6285.964
AT ITER 3067 NEW BEST:: SOT 749424 SOS 432068 HAS SOPS 8118 HAS SOUS 54764 HAS SOUPS 5774 WITH SCORE 6206.068
AT ITER 3074 NEW BEST:: SOT 749490 SOS 432104 HAS SOPS 8056 HAS SOUS 54748 HAS SOUPS 5758 WITH SCORE 6190.104
AT ITER 3084 NEW BEST:: SOT 749480 SOS 431784 HAS SOPS 8046 HAS SOUS 54733 HAS SOUPS 5748 WITH SCORE 6179.784
AT ITER 3093 NEW BEST:: SOT 749480 SOS 431696 HAS SOPS 8046 HAS SOUS 54733 HAS SOUPS 5748 WITH SCORE 6179.696
AT ITER 3095 NEW BEST:: SOT 749550 SOS 431521 HAS SOPS 7990 HAS SOUS 54733 HAS SOUPS 5748 WITH SCORE 6179.521
AT ITER 3096 NEW BEST:: SOT 749845 SOS 431664 HAS SOPS 7987 HAS SOUS 54581 HAS SOUPS 5745 WITH SCORE 6176.664
AT ITER 3103 NEW BEST:: SOT 749980 SOS 431844 HAS SOPS 7978 HAS SOUS 54608 HAS SOUPS 5736 WITH SCORE 6167.844
AT ITER 3111 NEW BEST:: SOT 749828 SOS 431711 HAS SOPS 7978 HAS SOUS 54608 HAS SOUPS 5736 WITH SCORE 6167.711
AT ITER 3120 NEW BEST:: SOT 750672 SOS 432511 HAS SOPS 7934 HAS SOUS 54579 HAS SOUPS 5707 WITH SCORE 6139.511
AT ITER 3123 NEW BEST:: SOT 750666 SOS 432505 HAS SOPS 7928 HAS SOUS 54579 HAS SOUPS 5701 WITH SCORE 6133.505
AT ITER 3130 NEW BEST:: SOT 750666 SOS 432448 HAS SOPS 7928 HAS SOUS 54522 HAS SOUPS 5701 WITH SCORE 6133.448
AT ITER 3133 NEW BEST:: SOT 750786 SOS 434620 HAS SOPS 7772 HAS SOUS 54459 HAS SOUPS 5638 WITH SCORE 6072.62
AT ITER 3137 NEW BEST:: SOT 750934 SOS 434652 HAS SOPS 7744 HAS SOUS 54343 HAS SOUPS 5610 WITH SCORE 6044.652
AT ITER 3168 NEW BEST:: SOT 750721 SOS 434136 HAS SOPS 7531 HAS SOUS 54073 HAS SOUPS 5520 WITH SCORE 5954.136
AT ITER 3179 NEW BEST:: SOT 750679 SOS 434094 HAS SOPS 7531 HAS SOUS 54094 HAS SOUPS 5520 WITH SCORE 5954.094
AT ITER 3185 NEW BEST:: SOT 750675 SOS 434090 HAS SOPS 7531 HAS SOUS 54093 HAS SOUPS 5520 WITH SCORE 5954.09
AT ITER 3189 NEW BEST:: SOT 750391 SOS 433806 HAS SOPS 7531 HAS SOUS 54093 HAS SOUPS 5520 WITH SCORE 5953.806
AT ITER 3194 NEW BEST:: SOT 750391 SOS 433758 HAS SOPS 7531 HAS SOUS 54081 HAS SOUPS 5520 WITH SCORE 5953.758
AT ITER 3201 NEW BEST:: SOT 750391 SOS 433620 HAS SOPS 7531 HAS SOUS 54081 HAS SOUPS 5520 WITH SCORE 5953.62
AT ITER 3206 NEW BEST:: SOT 749788 SOS 433017 HAS SOPS 7464 HAS SOUS 53947 HAS SOUPS 5453 WITH SCORE 5886.017
AT ITER 3208 NEW BEST:: SOT 750013 SOS 433235 HAS SOPS 7457 HAS SOUS 53955 HAS SOUPS 5446 WITH SCORE 5879.235
AT ITER 3210 NEW BEST:: SOT 749042 SOS 440281 HAS SOPS 6914 HAS SOUS 54069 HAS SOUPS 5246 WITH SCORE 5686.281
AT ITER 3225 NEW BEST:: SOT 749019 SOS 440235 HAS SOPS 6891 HAS SOUS 54046 HAS SOUPS 5223 WITH SCORE 5663.235
AT ITER 3227 NEW BEST:: SOT 749125 SOS 440375 HAS SOPS 6889 HAS SOUS 54080 HAS SOUPS 5221 WITH SCORE 5661.375
AT ITER 3228 NEW BEST:: SOT 749118 SOS 442305 HAS SOPS 6882 HAS SOUS 54073 HAS SOUPS 5214 WITH SCORE 5656.305
AT ITER 3229 NEW BEST:: SOT 748653 SOS 451473 HAS SOPS 6813 HAS SOUS 54252 HAS SOUPS 5195 WITH SCORE 5646.473
AT ITER 3238 NEW BEST:: SOT 748509 SOS 450392 HAS SOPS 6791 HAS SOUS 54244 HAS SOUPS 5187 WITH SCORE 5637.392
AT ITER 3242 NEW BEST:: SOT 748287 SOS 450170 HAS SOPS 6791 HAS SOUS 54152 HAS SOUPS 5187 WITH SCORE 5637.17
AT ITER 3245 NEW BEST:: SOT 748287 SOS 449888 HAS SOPS 6791 HAS SOUS 54058 HAS SOUPS 5187 WITH SCORE 5636.888
AT ITER 3251 NEW BEST:: SOT 748416 SOS 449544 HAS SOPS 6748 HAS SOUS 54015 HAS SOUPS 5144 WITH SCORE 5593.544
AT ITER 3253 NEW BEST:: SOT 748219 SOS 454070 HAS SOPS 6511 HAS SOUS 53818 HAS SOUPS 4947 WITH SCORE 5401.07
AT ITER 3275 NEW BEST:: SOT 748139 SOS 454006 HAS SOPS 6495 HAS SOUS 53818 HAS SOUPS 4931 WITH SCORE 5385.006
AT ITER 3281 NEW BEST:: SOT 747919 SOS 453676 HAS SOPS 6495 HAS SOUS 53708 HAS SOUPS 4931 WITH SCORE 5384.676
AT ITER 3284 NEW BEST:: SOT 747554 SOS 453282 HAS SOPS 6466 HAS SOUS 53706 HAS SOUPS 4929 WITH SCORE 5382.282
AT ITER 3293 NEW BEST:: SOT 747671 SOS 453299 HAS SOPS 6459 HAS SOUS 53668 HAS SOUPS 4922 WITH SCORE 5375.299
AT ITER 3299 NEW BEST:: SOT 747503 SOS 453089 HAS SOPS 6459 HAS SOUS 53542 HAS SOUPS 4922 WITH SCORE 5375.089
AT ITER 3306 NEW BEST:: SOT 747787 SOS 452892 HAS SOPS 6437 HAS SOUS 53367 HAS SOUPS 4900 WITH SCORE 5352.892
AT ITER 3319 NEW BEST:: SOT 747787 SOS 452696 HAS SOPS 6437 HAS SOUS 53367 HAS SOUPS 4900 WITH SCORE 5352.696
AT ITER 3326 NEW BEST:: SOT 747355 SOS 452264 HAS SOPS 6437 HAS SOUS 53367 HAS SOUPS 4900 WITH SCORE 5352.264
AT ITER 3329 NEW BEST:: SOT 747096 SOS 451978 HAS SOPS 6468 HAS SOUS 53354 HAS SOUPS 4899 WITH SCORE 5350.978
AT ITER 3333 NEW BEST:: SOT 746420 SOS 451302 HAS SOPS 6468 HAS SOUS 53354 HAS SOUPS 4899 WITH SCORE 5350.302
AT ITER 3334 NEW BEST:: SOT 746416 SOS 451296 HAS SOPS 6468 HAS SOUS 53352 HAS SOUPS 4899 WITH SCORE 5350.296
AT ITER 3354 NEW BEST:: SOT 746365 SOS 451245 HAS SOPS 6451 HAS SOUS 53369 HAS SOUPS 4882 WITH SCORE 5333.245
AT ITER 3360 NEW BEST:: SOT 746276 SOS 449912 HAS SOPS 6362 HAS SOUS 53305 HAS SOUPS 4818 WITH SCORE 5267.912
AT ITER 3377 NEW BEST:: SOT 746303 SOS 449966 HAS SOPS 6344 HAS SOUS 53377 HAS SOUPS 4800 WITH SCORE 5249.966
AT ITER 3383 NEW BEST:: SOT 746243 SOS 449906 HAS SOPS 6344 HAS SOUS 53347 HAS SOUPS 4800 WITH SCORE 5249.906
AT ITER 3389 NEW BEST:: SOT 746237 SOS 449888 HAS SOPS 6344 HAS SOUS 53347 HAS SOUPS 4800 WITH SCORE 5249.888
AT ITER 3406 NEW BEST:: SOT 747379 SOS 450804 HAS SOPS 6289 HAS SOUS 53123 HAS SOUPS 4745 WITH SCORE 5195.804
AT ITER 3424 NEW BEST:: SOT 745320 SOS 448926 HAS SOPS 6470 HAS SOUS 53020 HAS SOUPS 4723 WITH SCORE 5171.926
AT ITER 3425 NEW BEST:: SOT 744751 SOS 448348 HAS SOPS 6461 HAS SOUS 52993 HAS SOUPS 4714 WITH SCORE 5162.348
AT ITER 3427 NEW BEST:: SOT 744751 SOS 448271 HAS SOPS 6461 HAS SOUS 52839 HAS SOUPS 4714 WITH SCORE 5162.271
AT ITER 3431 NEW BEST:: SOT 744609 SOS 448129 HAS SOPS 6461 HAS SOUS 52700 HAS SOUPS 4714 WITH SCORE 5162.129
AT ITER 3435 NEW BEST:: SOT 743947 SOS 448339 HAS SOPS 6271 HAS SOUS 52682 HAS SOUPS 4645 WITH SCORE 5093.339
AT ITER 3459 NEW BEST:: SOT 743947 SOS 448219 HAS SOPS 6271 HAS SOUS 52682 HAS SOUPS 4645 WITH SCORE 5093.219
AT ITER 3462 NEW BEST:: SOT 744151 SOS 448508 HAS SOPS 6237 HAS SOUS 52860 HAS SOUPS 4611 WITH SCORE 5059.508
AT ITER 3479 NEW BEST:: SOT 744139 SOS 448493 HAS SOPS 6237 HAS SOUS 52860 HAS SOUPS 4611 WITH SCORE 5059.493
AT ITER 3482 NEW BEST:: SOT 743947 SOS 448013 HAS SOPS 6237 HAS SOUS 52572 HAS SOUPS 4611 WITH SCORE 5059.013
AT ITER 3483 NEW BEST:: SOT 744351 SOS 448065 HAS SOPS 6137 HAS SOUS 52438 HAS SOUPS 4561 WITH SCORE 5009.065
AT ITER 3496 NEW BEST:: SOT 744661 SOS 448549 HAS SOPS 5903 HAS SOUS 52367 HAS SOUPS 4490 WITH SCORE 4938.549
AT ITER 3498 NEW BEST:: SOT 744709 SOS 447188 HAS SOPS 5889 HAS SOUS 52362 HAS SOUPS 4485 WITH SCORE 4932.188
AT ITER 3508 NEW BEST:: SOT 744787 SOS 446642 HAS SOPS 5889 HAS SOUS 52323 HAS SOUPS 4485 WITH SCORE 4931.642
AT ITER 3512 NEW BEST:: SOT 744440 SOS 446062 HAS SOPS 5884 HAS SOUS 52206 HAS SOUPS 4482 WITH SCORE 4928.062
AT ITER 3513 NEW BEST:: SOT 744390 SOS 445462 HAS SOPS 5834 HAS SOUS 52131 HAS SOUPS 4457 WITH SCORE 4902.4619999999995
AT ITER 3516 NEW BEST:: SOT 743766 SOS 444838 HAS SOPS 5834 HAS SOUS 51999 HAS SOUPS 4457 WITH SCORE 4901.838
AT ITER 3522 NEW BEST:: SOT 743766 SOS 444835 HAS SOPS 5834 HAS SOUS 51996 HAS SOUPS 4457 WITH SCORE 4901.835
AT ITER 3526 NEW BEST:: SOT 743262 SOS 444331 HAS SOPS 5834 HAS SOUS 51912 HAS SOUPS 4457 WITH SCORE 4901.331
AT ITER 3527 NEW BEST:: SOT 743146 SOS 440643 HAS SOPS 5718 HAS SOUS 51807 HAS SOUPS 4390 WITH SCORE 4830.643
AT ITER 3528 NEW BEST:: SOT 743146 SOS 440443 HAS SOPS 5718 HAS SOUS 51757 HAS SOUPS 4390 WITH SCORE 4830.443
AT ITER 3532 NEW BEST:: SOT 742402 SOS 439885 HAS SOPS 5718 HAS SOUS 51943 HAS SOUPS 4390 WITH SCORE 4829.885
AT ITER 3544 NEW BEST:: SOT 742225 SOS 439701 HAS SOPS 5711 HAS SOUS 51904 HAS SOUPS 4383 WITH SCORE 4822.701
AT ITER 3558 NEW BEST:: SOT 741857 SOS 439333 HAS SOPS 5711 HAS SOUS 51904 HAS SOUPS 4383 WITH SCORE 4822.333
AT ITER 3563 NEW BEST:: SOT 741421 SOS 438788 HAS SOPS 5711 HAS SOUS 51795 HAS SOUPS 4383 WITH SCORE 4821.7880000000005
AT ITER 3567 NEW BEST:: SOT 741577 SOS 439022 HAS SOPS 5555 HAS SOUS 51795 HAS SOUPS 4344 WITH SCORE 4783.022
AT ITER 3571 NEW BEST:: SOT 741181 SOS 438626 HAS SOPS 5555 HAS SOUS 51795 HAS SOUPS 4344 WITH SCORE 4782.626
AT ITER 3584 NEW BEST:: SOT 741444 SOS 437256 HAS SOPS 5502 HAS SOUS 51604 HAS SOUPS 4281 WITH SCORE 4718.256
AT ITER 3586 NEW BEST:: SOT 741556 SOS 437200 HAS SOPS 5502 HAS SOUS 51436 HAS SOUPS 4281 WITH SCORE 4718.2
AT ITER 3594 NEW BEST:: SOT 741404 SOS 437124 HAS SOPS 5502 HAS SOUS 51512 HAS SOUPS 4281 WITH SCORE 4718.124
AT ITER 3606 NEW BEST:: SOT 741429 SOS 436274 HAS SOPS 5527 HAS SOUS 51512 HAS SOUPS 4281 WITH SCORE 4717.274
AT ITER 3608 NEW BEST:: SOT 741256 SOS 435928 HAS SOPS 5354 HAS SOUS 51458 HAS SOUPS 4227 WITH SCORE 4662.928
AT ITER 3616 NEW BEST:: SOT 741478 SOS 436120 HAS SOPS 5324 HAS SOUS 51416 HAS SOUPS 4206 WITH SCORE 4642.12
AT ITER 3620 NEW BEST:: SOT 741548 SOS 436170 HAS SOPS 5274 HAS SOUS 51406 HAS SOUPS 4186 WITH SCORE 4622.17
AT ITER 3621 NEW BEST:: SOT 741395 SOS 436159 HAS SOPS 5239 HAS SOUS 51430 HAS SOUPS 4151 WITH SCORE 4587.159
AT ITER 3622 NEW BEST:: SOT 741482 SOS 436275 HAS SOPS 5210 HAS SOUS 51401 HAS SOUPS 4122 WITH SCORE 4558.275
AT ITER 3633 NEW BEST:: SOT 741221 SOS 436313 HAS SOPS 5159 HAS SOUS 51420 HAS SOUPS 4071 WITH SCORE 4507.313
AT ITER 3648 NEW BEST:: SOT 741221 SOS 436281 HAS SOPS 5159 HAS SOUS 51388 HAS SOUPS 4071 WITH SCORE 4507.281
AT ITER 3667 NEW BEST:: SOT 741207 SOS 434992 HAS SOPS 5145 HAS SOUS 51277 HAS SOUPS 4057 WITH SCORE 4491.992
AT ITER 3690 NEW BEST:: SOT 741143 SOS 434928 HAS SOPS 5145 HAS SOUS 51275 HAS SOUPS 4057 WITH SCORE 4491.928
AT ITER 3712 NEW BEST:: SOT 741175 SOS 434928 HAS SOPS 5113 HAS SOUS 51243 HAS SOUPS 4025 WITH SCORE 4459.928
AT ITER 3747 NEW BEST:: SOT 741001 SOS 434754 HAS SOPS 5113 HAS SOUS 51156 HAS SOUPS 4025 WITH SCORE 4459.754
AT ITER 3756 NEW BEST:: SOT 740896 SOS 434838 HAS SOPS 5092 HAS SOUS 51160 HAS SOUPS 4008 WITH SCORE 4442.838
AT ITER 3762 NEW BEST:: SOT 740728 SOS 434670 HAS SOPS 5092 HAS SOUS 51081 HAS SOUPS 4008 WITH SCORE 4442.67
AT ITER 3767 NEW BEST:: SOT 740728 SOS 434658 HAS SOPS 5092 HAS SOUS 51069 HAS SOUPS 4008 WITH SCORE 4442.658
AT ITER 3772 NEW BEST:: SOT 740611 SOS 434541 HAS SOPS 5092 HAS SOUS 51071 HAS SOUPS 4008 WITH SCORE 4442.541
AT ITER 3779 NEW BEST:: SOT 740645 SOS 434686 HAS SOPS 5070 HAS SOUS 51078 HAS SOUPS 4001 WITH SCORE 4435.686
AT ITER 3789 NEW BEST:: SOT 740611 SOS 434652 HAS SOPS 5070 HAS SOUS 51061 HAS SOUPS 4001 WITH SCORE 4435.652
AT ITER 3795 NEW BEST:: SOT 740611 SOS 434616 HAS SOPS 5070 HAS SOUS 51025 HAS SOUPS 4001 WITH SCORE 4435.616
AT ITER 3801 NEW BEST:: SOT 740747 SOS 434344 HAS SOPS 5070 HAS SOUS 50957 HAS SOUPS 4001 WITH SCORE 4435.344
AT ITER 3808 NEW BEST:: SOT 740678 SOS 434298 HAS SOPS 5047 HAS SOUS 50957 HAS SOUPS 3978 WITH SCORE 4412.298
AT ITER 3811 NEW BEST:: SOT 740598 SOS 434218 HAS SOPS 5047 HAS SOUS 50937 HAS SOUPS 3978 WITH SCORE 4412.218
AT ITER 3813 NEW BEST:: SOT 741243 SOS 434792 HAS SOPS 4976 HAS SOUS 50884 HAS SOUPS 3907 WITH SCORE 4341.792
AT ITER 3814 NEW BEST:: SOT 741212 SOS 434962 HAS SOPS 4945 HAS SOUS 50911 HAS SOUPS 3876 WITH SCORE 4310.9619999999995
AT ITER 3822 NEW BEST:: SOT 741248 SOS 435096 HAS SOPS 4919 HAS SOUS 50885 HAS SOUPS 3850 WITH SCORE 4285.096
AT ITER 3824 NEW BEST:: SOT 741270 SOS 435063 HAS SOPS 4919 HAS SOUS 50885 HAS SOUPS 3850 WITH SCORE 4285.063
AT ITER 3827 NEW BEST:: SOT 741268 SOS 435061 HAS SOPS 4917 HAS SOUS 50885 HAS SOUPS 3850 WITH SCORE 4285.061
AT ITER 3831 NEW BEST:: SOT 741276 SOS 435029 HAS SOPS 4925 HAS SOUS 50877 HAS SOUPS 3850 WITH SCORE 4285.029
AT ITER 3832 NEW BEST:: SOT 740518 SOS 434365 HAS SOPS 5019 HAS SOUS 50829 HAS SOUPS 3848 WITH SCORE 4282.365
AT ITER 3838 NEW BEST:: SOT 740518 SOS 434359 HAS SOPS 5019 HAS SOUS 50829 HAS SOUPS 3848 WITH SCORE 4282.359
AT ITER 3847 NEW BEST:: SOT 740296 SOS 434137 HAS SOPS 5019 HAS SOUS 50829 HAS SOUPS 3848 WITH SCORE 4282.137
AT ITER 3850 NEW BEST:: SOT 740046 SOS 434152 HAS SOPS 4975 HAS SOUS 51197 HAS SOUPS 3804 WITH SCORE 4238.152
AT ITER 3852 NEW BEST:: SOT 738926 SOS 433112 HAS SOPS 4975 HAS SOUS 51277 HAS SOUPS 3804 WITH SCORE 4237.112
AT ITER 3881 NEW BEST:: SOT 738926 SOS 432502 HAS SOPS 4975 HAS SOUS 51267 HAS SOUPS 3804 WITH SCORE 4236.502
AT ITER 3886 NEW BEST:: SOT 738988 SOS 432518 HAS SOPS 4929 HAS SOUS 51206 HAS SOUPS 3780 WITH SCORE 4212.518
AT ITER 3894 NEW BEST:: SOT 739685 SOS 433030 HAS SOPS 4870 HAS SOUS 51047 HAS SOUPS 3721 WITH SCORE 4154.03
AT ITER 3902 NEW BEST:: SOT 739691 SOS 432678 HAS SOPS 4876 HAS SOUS 50995 HAS SOUPS 3721 WITH SCORE 4153.678
AT ITER 3920 NEW BEST:: SOT 739696 SOS 434976 HAS SOPS 4793 HAS SOUS 50925 HAS SOUPS 3651 WITH SCORE 4085.976
AT ITER 3928 NEW BEST:: SOT 739860 SOS 434776 HAS SOPS 4429 HAS SOUS 50814 HAS SOUPS 3519 WITH SCORE 3953.776
AT ITER 3932 NEW BEST:: SOT 739872 SOS 434772 HAS SOPS 4413 HAS SOUS 50801 HAS SOUPS 3506 WITH SCORE 3940.772
AT ITER 3942 NEW BEST:: SOT 739842 SOS 434727 HAS SOPS 4413 HAS SOUS 50801 HAS SOUPS 3506 WITH SCORE 3940.727
AT ITER 3957 NEW BEST:: SOT 739813 SOS 434738 HAS SOPS 4384 HAS SOUS 50892 HAS SOUPS 3477 WITH SCORE 3911.738
AT ITER 3963 NEW BEST:: SOT 739819 SOS 434732 HAS SOPS 4384 HAS SOUS 50892 HAS SOUPS 3477 WITH SCORE 3911.732
AT ITER 3991 NEW BEST:: SOT 739227 SOS 434140 HAS SOPS 4384 HAS SOUS 50649 HAS SOUPS 3477 WITH SCORE 3911.14
AT ITER 3993 NEW BEST:: SOT 739227 SOS 434072 HAS SOPS 4384 HAS SOUS 50649 HAS SOUPS 3477 WITH SCORE 3911.072
AT ITER 4021 NEW BEST:: SOT 739007 SOS 433852 HAS SOPS 4384 HAS SOUS 50539 HAS SOUPS 3477 WITH SCORE 3910.852
AT ITER 4025 NEW BEST:: SOT 738503 SOS 433348 HAS SOPS 4384 HAS SOUS 50287 HAS SOUPS 3477 WITH SCORE 3910.348
AT ITER 4032 NEW BEST:: SOT 738503 SOS 433301 HAS SOPS 4384 HAS SOUS 50240 HAS SOUPS 3477 WITH SCORE 3910.301
AT ITER 4037 NEW BEST:: SOT 737855 SOS 432653 HAS SOPS 4384 HAS SOUS 50240 HAS SOUPS 3477 WITH SCORE 3909.6530000000002
AT ITER 4038 NEW BEST:: SOT 737855 SOS 432470 HAS SOPS 4384 HAS SOUS 50057 HAS SOUPS 3477 WITH SCORE 3909.4700000000003
AT ITER 4043 NEW BEST:: SOT 737794 SOS 440780 HAS SOPS 4289 HAS SOUS 50030 HAS SOUPS 3416 WITH SCORE 3856.78
AT ITER 4056 NEW BEST:: SOT 737766 SOS 440752 HAS SOPS 4289 HAS SOUS 50016 HAS SOUPS 3416 WITH SCORE 3856.752
AT ITER 4057 NEW BEST:: SOT 737766 SOS 440584 HAS SOPS 4289 HAS SOUS 50016 HAS SOUPS 3416 WITH SCORE 3856.584
AT ITER 4064 NEW BEST:: SOT 737766 SOS 440026 HAS SOPS 4289 HAS SOUS 49737 HAS SOUPS 3416 WITH SCORE 3856.026
AT ITER 4071 NEW BEST:: SOT 737690 SOS 439950 HAS SOPS 4289 HAS SOUS 49757 HAS SOUPS 3416 WITH SCORE 3855.95
AT ITER 4084 NEW BEST:: SOT 737483 SOS 439893 HAS SOPS 4184 HAS SOUS 49886 HAS SOUPS 3392 WITH SCORE 3831.893
AT ITER 4085 NEW BEST:: SOT 737291 SOS 439733 HAS SOPS 4184 HAS SOUS 49918 HAS SOUPS 3392 WITH SCORE 3831.733
AT ITER 4090 NEW BEST:: SOT 737251 SOS 439713 HAS SOPS 4164 HAS SOUS 49918 HAS SOUPS 3382 WITH SCORE 3821.713
AT ITER 4104 NEW BEST:: SOT 737251 SOS 439609 HAS SOPS 4164 HAS SOUS 49892 HAS SOUPS 3382 WITH SCORE 3821.609
AT ITER 4124 NEW BEST:: SOT 737287 SOS 439825 HAS SOPS 4128 HAS SOUS 49892 HAS SOUPS 3346 WITH SCORE 3785.825
AT ITER 4137 NEW BEST:: SOT 737362 SOS 440157 HAS SOPS 4047 HAS SOUS 49905 HAS SOUPS 3333 WITH SCORE 3773.157
AT ITER 4138 NEW BEST:: SOT 737504 SOS 440606 HAS SOPS 3969 HAS SOUS 50054 HAS SOUPS 3256 WITH SCORE 3696.6059999999998
AT ITER 4141 NEW BEST:: SOT 737260 SOS 440362 HAS SOPS 3969 HAS SOUS 50054 HAS SOUPS 3256 WITH SCORE 3696.362
AT ITER 4142 NEW BEST:: SOT 737397 SOS 440544 HAS SOPS 3922 HAS SOUS 50052 HAS SOUPS 3209 WITH SCORE 3649.544
AT ITER 4143 NEW BEST:: SOT 737359 SOS 440506 HAS SOPS 3922 HAS SOUS 50052 HAS SOUPS 3209 WITH SCORE 3649.506
AT ITER 4149 NEW BEST:: SOT 739065 SOS 442147 HAS SOPS 3696 HAS SOUS 50194 HAS SOUPS 3130 WITH SCORE 3572.147
AT ITER 4154 NEW BEST:: SOT 739059 SOS 442671 HAS SOPS 3690 HAS SOUS 50456 HAS SOUPS 3124 WITH SCORE 3566.671
AT ITER 4159 NEW BEST:: SOT 739408 SOS 443014 HAS SOPS 3684 HAS SOUS 50558 HAS SOUPS 3118 WITH SCORE 3561.014
AT ITER 4168 NEW BEST:: SOT 738823 SOS 442699 HAS SOPS 3669 HAS SOUS 50813 HAS SOUPS 3103 WITH SCORE 3545.699
AT ITER 4169 NEW BEST:: SOT 738640 SOS 442244 HAS SOPS 3664 HAS SOUS 50618 HAS SOUPS 3086 WITH SCORE 3528.244
AT ITER 4170 NEW BEST:: SOT 738568 SOS 442100 HAS SOPS 3664 HAS SOUS 50600 HAS SOUPS 3086 WITH SCORE 3528.1
AT ITER 4172 NEW BEST:: SOT 737777 SOS 441503 HAS SOPS 3661 HAS SOUS 50785 HAS SOUPS 3083 WITH SCORE 3524.503
AT ITER 4174 NEW BEST:: SOT 737767 SOS 441493 HAS SOPS 3661 HAS SOUS 50785 HAS SOUPS 3083 WITH SCORE 3524.493
AT ITER 4180 NEW BEST:: SOT 737749 SOS 441647 HAS SOPS 3643 HAS SOUS 50862 HAS SOUPS 3065 WITH SCORE 3506.647
AT ITER 4190 NEW BEST:: SOT 737700 SOS 441691 HAS SOPS 3594 HAS SOUS 50813 HAS SOUPS 3016 WITH SCORE 3457.691
AT ITER 4192 NEW BEST:: SOT 737887 SOS 441577 HAS SOPS 3537 HAS SOUS 50657 HAS SOUPS 2982 WITH SCORE 3423.577
AT ITER 4194 NEW BEST:: SOT 737857 SOS 441537 HAS SOPS 3527 HAS SOUS 50657 HAS SOUPS 2982 WITH SCORE 3423.5370000000003
AT ITER 4211 NEW BEST:: SOT 737857 SOS 441309 HAS SOPS 3527 HAS SOUS 50543 HAS SOUPS 2982 WITH SCORE 3423.309
AT ITER 4213 NEW BEST:: SOT 737779 SOS 441192 HAS SOPS 3527 HAS SOUS 50504 HAS SOUPS 2982 WITH SCORE 3423.192
AT ITER 4224 NEW BEST:: SOT 737661 SOS 441074 HAS SOPS 3527 HAS SOUS 50467 HAS SOUPS 2982 WITH SCORE 3423.074
AT ITER 4228 NEW BEST:: SOT 737611 SOS 440999 HAS SOPS 3527 HAS SOUS 50442 HAS SOUPS 2982 WITH SCORE 3422.999
AT ITER 4236 NEW BEST:: SOT 737575 SOS 440963 HAS SOPS 3527 HAS SOUS 50424 HAS SOUPS 2982 WITH SCORE 3422.963
AT ITER 4244 NEW BEST:: SOT 738761 SOS 442145 HAS SOPS 3523 HAS SOUS 50858 HAS SOUPS 2978 WITH SCORE 3420.145
AT ITER 4245 NEW BEST:: SOT 738733 SOS 442117 HAS SOPS 3523 HAS SOUS 50858 HAS SOUPS 2978 WITH SCORE 3420.117
AT ITER 4247 NEW BEST:: SOT 738703 SOS 442087 HAS SOPS 3523 HAS SOUS 50848 HAS SOUPS 2978 WITH SCORE 3420.087
AT ITER 4257 NEW BEST:: SOT 738543 SOS 441927 HAS SOPS 3523 HAS SOUS 50848 HAS SOUPS 2978 WITH SCORE 3419.927
AT ITER 4270 NEW BEST:: SOT 738463 SOS 441847 HAS SOPS 3523 HAS SOUS 50848 HAS SOUPS 2978 WITH SCORE 3419.847
AT ITER 4271 NEW BEST:: SOT 738455 SOS 441835 HAS SOPS 3523 HAS SOUS 50836 HAS SOUPS 2978 WITH SCORE 3419.835
AT ITER 4272 NEW BEST:: SOT 738403 SOS 441783 HAS SOPS 3523 HAS SOUS 50862 HAS SOUPS 2978 WITH SCORE 3419.783
AT ITER 4277 NEW BEST:: SOT 738327 SOS 441650 HAS SOPS 3523 HAS SOUS 50820 HAS SOUPS 2978 WITH SCORE 3419.65
AT ITER 4283 NEW BEST:: SOT 738282 SOS 454259 HAS SOPS 3478 HAS SOUS 50846 HAS SOUPS 2953 WITH SCORE 3407.259
AT ITER 4302 NEW BEST:: SOT 738268 SOS 454245 HAS SOPS 3478 HAS SOUS 50846 HAS SOUPS 2953 WITH SCORE 3407.245
AT ITER 4304 NEW BEST:: SOT 738254 SOS 454238 HAS SOPS 3478 HAS SOUS 50860 HAS SOUPS 2953 WITH SCORE 3407.238
AT ITER 4329 NEW BEST:: SOT 738430 SOS 453974 HAS SOPS 3478 HAS SOUS 50860 HAS SOUPS 2953 WITH SCORE 3406.974
AT ITER 4336 NEW BEST:: SOT 738246 SOS 453790 HAS SOPS 3478 HAS SOUS 50814 HAS SOUPS 2953 WITH SCORE 3406.79
AT ITER 4352 NEW BEST:: SOT 738246 SOS 453675 HAS SOPS 3478 HAS SOUS 50791 HAS SOUPS 2953 WITH SCORE 3406.675
AT ITER 4366 NEW BEST:: SOT 738246 SOS 453519 HAS SOPS 3478 HAS SOUS 50635 HAS SOUPS 2953 WITH SCORE 3406.5190000000002
AT ITER 4368 NEW BEST:: SOT 738262 SOS 453503 HAS SOPS 3478 HAS SOUS 50627 HAS SOUPS 2953 WITH SCORE 3406.503
AT ITER 4396 NEW BEST:: SOT 738274 SOS 453335 HAS SOPS 3478 HAS SOUS 50627 HAS SOUPS 2953 WITH SCORE 3406.335
AT ITER 4407 NEW BEST:: SOT 738034 SOS 453095 HAS SOPS 3478 HAS SOUS 50627 HAS SOUPS 2953 WITH SCORE 3406.0950000000003
AT ITER 4408 NEW BEST:: SOT 738071 SOS 453241 HAS SOPS 3467 HAS SOUS 50628 HAS SOUPS 2942 WITH SCORE 3395.241
AT ITER 4409 NEW BEST:: SOT 737822 SOS 461059 HAS SOPS 3416 HAS SOUS 50712 HAS SOUPS 2927 WITH SCORE 3388.059
AT ITER 4431 NEW BEST:: SOT 737806 SOS 461027 HAS SOPS 3416 HAS SOUS 50704 HAS SOUPS 2927 WITH SCORE 3388.027
AT ITER 4442 NEW BEST:: SOT 737712 SOS 460933 HAS SOPS 3416 HAS SOUS 50655 HAS SOUPS 2927 WITH SCORE 3387.933
AT ITER 4446 NEW BEST:: SOT 737512 SOS 460683 HAS SOPS 3416 HAS SOUS 50499 HAS SOUPS 2927 WITH SCORE 3387.683
AT ITER 4468 NEW BEST:: SOT 736240 SOS 458775 HAS SOPS 3416 HAS SOUS 50287 HAS SOUPS 2927 WITH SCORE 3385.775
AT ITER 4472 NEW BEST:: SOT 736220 SOS 458765 HAS SOPS 3416 HAS SOUS 50287 HAS SOUPS 2927 WITH SCORE 3385.765
AT ITER 4501 NEW BEST:: SOT 735748 SOS 458421 HAS SOPS 3394 HAS SOUS 50395 HAS SOUPS 2905 WITH SCORE 3363.421
AT ITER 4504 NEW BEST:: SOT 736038 SOS 458841 HAS SOPS 3364 HAS SOUS 50371 HAS SOUPS 2881 WITH SCORE 3339.841
AT ITER 4522 NEW BEST:: SOT 735024 SOS 457996 HAS SOPS 3364 HAS SOUS 50540 HAS SOUPS 2881 WITH SCORE 3338.996
AT ITER 4531 NEW BEST:: SOT 735024 SOS 457644 HAS SOPS 3364 HAS SOUS 50508 HAS SOUPS 2881 WITH SCORE 3338.6440000000002
AT ITER 4535 NEW BEST:: SOT 735024 SOS 457529 HAS SOPS 3364 HAS SOUS 50508 HAS SOUPS 2881 WITH SCORE 3338.529
AT ITER 4539 NEW BEST:: SOT 735024 SOS 457520 HAS SOPS 3364 HAS SOUS 50499 HAS SOUPS 2881 WITH SCORE 3338.52
AT ITER 4550 NEW BEST:: SOT 734706 SOS 457202 HAS SOPS 3364 HAS SOUS 50238 HAS SOUPS 2881 WITH SCORE 3338.202
AT ITER 4553 NEW BEST:: SOT 733762 SOS 456258 HAS SOPS 3364 HAS SOUS 50183 HAS SOUPS 2881 WITH SCORE 3337.258
AT ITER 4567 NEW BEST:: SOT 733622 SOS 456146 HAS SOPS 3364 HAS SOUS 50211 HAS SOUPS 2881 WITH SCORE 3337.146
AT ITER 4577 NEW BEST:: SOT 733224 SOS 456008 HAS SOPS 3342 HAS SOUS 50305 HAS SOUPS 2881 WITH SCORE 3337.008
AT ITER 4623 NEW BEST:: SOT 733140 SOS 455924 HAS SOPS 3342 HAS SOUS 50305 HAS SOUPS 2881 WITH SCORE 3336.924
AT ITER 4631 NEW BEST:: SOT 733084 SOS 455868 HAS SOPS 3342 HAS SOUS 50305 HAS SOUPS 2881 WITH SCORE 3336.868
AT ITER 4637 NEW BEST:: SOT 732824 SOS 455608 HAS SOPS 3342 HAS SOUS 50273 HAS SOUPS 2881 WITH SCORE 3336.608
AT ITER 4648 NEW BEST:: SOT 733105 SOS 455930 HAS SOPS 3303 HAS SOUS 50314 HAS SOUPS 2842 WITH SCORE 3297.93
AT ITER 4664 NEW BEST:: SOT 732745 SOS 455570 HAS SOPS 3303 HAS SOUS 50129 HAS SOUPS 2842 WITH SCORE 3297.57
AT ITER 4665 NEW BEST:: SOT 732635 SOS 455460 HAS SOPS 3325 HAS SOUS 50105 HAS SOUPS 2842 WITH SCORE 3297.46
AT ITER 4677 NEW BEST:: SOT 732567 SOS 455392 HAS SOPS 3325 HAS SOUS 50122 HAS SOUPS 2842 WITH SCORE 3297.392
AT ITER 4692 NEW BEST:: SOT 732567 SOS 455347 HAS SOPS 3325 HAS SOUS 50122 HAS SOUPS 2842 WITH SCORE 3297.347
AT ITER 4693 NEW BEST:: SOT 732562 SOS 454375 HAS SOPS 3320 HAS SOUS 50117 HAS SOUPS 2837 WITH SCORE 3291.375
AT ITER 4700 NEW BEST:: SOT 732543 SOS 454223 HAS SOPS 3320 HAS SOUS 50117 HAS SOUPS 2837 WITH SCORE 3291.223
AT ITER 4711 NEW BEST:: SOT 732542 SOS 454301 HAS SOPS 3319 HAS SOUS 50116 HAS SOUPS 2836 WITH SCORE 3290.301
AT ITER 4712 NEW BEST:: SOT 732537 SOS 454281 HAS SOPS 3319 HAS SOUS 50111 HAS SOUPS 2836 WITH SCORE 3290.281
AT ITER 4718 NEW BEST:: SOT 732400 SOS 450833 HAS SOPS 3320 HAS SOUS 50112 HAS SOUPS 2837 WITH SCORE 3287.833
AT ITER 4730 NEW BEST:: SOT 732133 SOS 450783 HAS SOPS 3273 HAS SOUS 50156 HAS SOUPS 2837 WITH SCORE 3287.783
AT ITER 4736 NEW BEST:: SOT 732117 SOS 450735 HAS SOPS 3273 HAS SOUS 50148 HAS SOUPS 2837 WITH SCORE 3287.735
AT ITER 4761 NEW BEST:: SOT 732039 SOS 450696 HAS SOPS 3273 HAS SOUS 50187 HAS SOUPS 2837 WITH SCORE 3287.696
AT ITER 4777 NEW BEST:: SOT 732039 SOS 450666 HAS SOPS 3273 HAS SOUS 50187 HAS SOUPS 2837 WITH SCORE 3287.666
AT ITER 4790 NEW BEST:: SOT 732039 SOS 450650 HAS SOPS 3273 HAS SOUS 50179 HAS SOUPS 2837 WITH SCORE 3287.65
AT ITER 4791 NEW BEST:: SOT 730943 SOS 449554 HAS SOPS 3273 HAS SOUS 50179 HAS SOUPS 2837 WITH SCORE 3286.554
AT ITER 4804 NEW BEST:: SOT 730819 SOS 449120 HAS SOPS 3273 HAS SOUS 50055 HAS SOUPS 2837 WITH SCORE 3286.12
AT ITER 4823 NEW BEST:: SOT 730676 SOS 448977 HAS SOPS 3273 HAS SOUS 49998 HAS SOUPS 2837 WITH SCORE 3285.977
AT ITER 4833 NEW BEST:: SOT 730779 SOS 449105 HAS SOPS 3272 HAS SOUS 49997 HAS SOUPS 2836 WITH SCORE 3285.105
AT ITER 4835 NEW BEST:: SOT 730523 SOS 449593 HAS SOPS 3266 HAS SOUS 50116 HAS SOUPS 2830 WITH SCORE 3279.593
AT ITER 4848 NEW BEST:: SOT 730562 SOS 449731 HAS SOPS 3257 HAS SOUS 50131 HAS SOUPS 2821 WITH SCORE 3270.7309999999998
AT ITER 4850 NEW BEST:: SOT 729954 SOS 449123 HAS SOPS 3257 HAS SOUS 49826 HAS SOUPS 2821 WITH SCORE 3270.123
AT ITER 4862 NEW BEST:: SOT 729654 SOS 448823 HAS SOPS 3257 HAS SOUS 49826 HAS SOUPS 2821 WITH SCORE 3269.823
AT ITER 4876 NEW BEST:: SOT 729542 SOS 448711 HAS SOPS 3257 HAS SOUS 49826 HAS SOUPS 2821 WITH SCORE 3269.7110000000002
AT ITER 4878 NEW BEST:: SOT 731469 SOS 450398 HAS SOPS 3214 HAS SOUS 49456 HAS SOUPS 2799 WITH SCORE 3249.398
AT ITER 4879 NEW BEST:: SOT 731480 SOS 450396 HAS SOPS 3209 HAS SOUS 49443 HAS SOUPS 2794 WITH SCORE 3244.396
AT ITER 4896 NEW BEST:: SOT 731044 SOS 450356 HAS SOPS 3189 HAS SOUS 50041 HAS SOUPS 2774 WITH SCORE 3224.3559999999998
AT ITER 4932 NEW BEST:: SOT 731026 SOS 450347 HAS SOPS 3189 HAS SOUS 50077 HAS SOUPS 2774 WITH SCORE 3224.347
AT ITER 4934 NEW BEST:: SOT 730906 SOS 450227 HAS SOPS 3189 HAS SOUS 50017 HAS SOUPS 2774 WITH SCORE 3224.227
AT ITER 4937 NEW BEST:: SOT 730538 SOS 449859 HAS SOPS 3189 HAS SOUS 50081 HAS SOUPS 2774 WITH SCORE 3223.859
AT ITER 4944 NEW BEST:: SOT 730533 SOS 449924 HAS SOPS 3184 HAS SOUS 50077 HAS SOUPS 2770 WITH SCORE 3219.924
AT ITER 4947 NEW BEST:: SOT 730616 SOS 450018 HAS SOPS 3171 HAS SOUS 50114 HAS SOUPS 2757 WITH SCORE 3207.018
AT ITER 4949 NEW BEST:: SOT 730496 SOS 449898 HAS SOPS 3171 HAS SOUS 50082 HAS SOUPS 2757 WITH SCORE 3206.898
AT ITER 4962 NEW BEST:: SOT 730436 SOS 449838 HAS SOPS 3171 HAS SOUS 50112 HAS SOUPS 2757 WITH SCORE 3206.838
AT ITER 4972 NEW BEST:: SOT 730436 SOS 449789 HAS SOPS 3171 HAS SOUS 50105 HAS SOUPS 2757 WITH SCORE 3206.7889999999998
AT ITER 4973 NEW BEST:: SOT 730421 SOS 450095 HAS SOPS 3156 HAS SOUS 50258 HAS SOUPS 2742 WITH SCORE 3192.0950000000003
AT ITER 4974 NEW BEST:: SOT 730377 SOS 450073 HAS SOPS 3156 HAS SOUS 50302 HAS SOUPS 2742 WITH SCORE 3192.073
AT ITER 4985 NEW BEST:: SOT 730221 SOS 449917 HAS SOPS 3156 HAS SOUS 50302 HAS SOUPS 2742 WITH SCORE 3191.917
Bounds file is: CTLFireability.xml
PROPERTY: Eratosthenes-PT-500-CTLFireability-00 (! (! (AX( (AF( ((potential((tk(P170)>=1) & (tk(P89)>=1))))))))))
PROPERTY: Eratosthenes-PT-500-CTLFireability-01 (EG( ( (EX( ( ((potential((tk(P368)>=1) & (tk(P115)>=1)))) & ((potential((tk(P331)>=1) & (tk(P373)>=1)))) ))) & ( ( ( ((potential((tk(P318)>=1) & (tk(P22)>=1)))) & ((potential((tk(P202)>=1) & (tk(P169)>=1)))) ) | ((potential((tk(P402)>=1) & (tk(P371)>=1)))) ) | ((potential((tk(P372)>=1) & (tk(P499)>=1)))) ) )))
PROPERTY: Eratosthenes-PT-500-CTLFireability-02 (EG( ( ( ((potential((tk(P291)>=1) & (tk(P318)>=1)))) | ( ((potential((tk(P397)>=1) & (tk(P370)>=1)))) | (! ((potential((tk(P409)>=1) & (tk(P173)>=1))))) ) ) & (EU( ((potential((tk(P319)>=1) & (tk(P62)>=1)))) , ((potential((tk(P389)>=1) & (tk(P375)>=1)))) )) )))
PROPERTY: Eratosthenes-PT-500-CTLFireability-03 ( (! ( ( (! (! ((potential((tk(P370)>=1) & (tk(P23)>=1)))))) & (EG( ((potential((tk(P320)>=1) & (tk(P243)>=1)))))) ) | (! ( ((potential((tk(P282)>=1) & (tk(P371)>=1)))) | ( ((potential((tk(P17)>=1) & (tk(P172)>=1)))) | ((potential((tk(P53)>=1) & (tk(P369)>=1)))) ) )) )) & ( (! ( ( (! ((potential((tk(P432)>=1) & (tk(P489)>=1))))) & ((potential((tk(P114)>=1) & (tk(P170)>=1)))) ) | (AG( ((potential((tk(P368)>=1) & (tk(P184)>=1)))))) )) & ( (! (! ( ((potential((tk(P372)>=1) & (tk(P38)>=1)))) | ((potential((tk(P171)>=1) & (tk(P301)>=1)))) ))) & ( (! ((potential((tk(P479)>=1) & (tk(P324)>=1))))) | ( ((potential((tk(P424)>=1) & (tk(P459)>=1)))) | ( ((potential((tk(P359)>=1) & (tk(P378)>=1)))) | ((potential((tk(P435)>=1) & (tk(P38)>=1)))) ) ) ) ) ) )
PROPERTY: Eratosthenes-PT-500-CTLFireability-04 (AG( ( (EU( ((potential((tk(P302)>=1) & (tk(P322)>=1)))) , ((potential((tk(P318)>=1) & (tk(P448)>=1)))) )) | (EG( ( ((potential((tk(P176)>=1) & (tk(P368)>=1)))) | ((potential((tk(P435)>=1) & (tk(P38)>=1)))) ))) )))
PROPERTY: Eratosthenes-PT-500-CTLFireability-05 ( ( (AG( (AF( ((potential((tk(P477)>=1) & (tk(P174)>=1)))))))) | (AG( ((potential((tk(P337)>=1) & (tk(P169)>=1)))))) ) & (EU( ( ((potential((tk(P389)>=1) & (tk(P369)>=1)))) | ((potential((tk(P197)>=1) & (tk(P369)>=1)))) ) , ( ( ((potential((tk(P14)>=1) & (tk(P175)>=1)))) | ((potential((tk(P165)>=1) & (tk(P361)>=1)))) ) | ((potential((tk(P171)>=1) & (tk(P167)>=1)))) ) )) )
PROPERTY: Eratosthenes-PT-500-CTLFireability-06 (AG( ( (EU( ((potential((tk(P321)>=1) & (tk(P301)>=1)))) , ((potential((tk(P370)>=1) & (tk(P187)>=1)))) )) & (AU( ((potential((tk(P248)>=1) & (tk(P124)>=1)))) , ((potential((tk(P426)>=1) & (tk(P247)>=1)))) )) )))
PROPERTY: Eratosthenes-PT-500-CTLFireability-07 (AG( (AG( (EX( ((potential((tk(P446)>=1) & (tk(P376)>=1))))))))))
PROPERTY: Eratosthenes-PT-500-CTLFireability-08 (AX( (AU( ( ((potential((tk(P378)>=1) & (tk(P322)>=1)))) | ((potential((tk(P89)>=1) & (tk(P368)>=1)))) ) , ((potential((tk(P258)>=1) & (tk(P146)>=1)))) ))))
PROPERTY: Eratosthenes-PT-500-CTLFireability-09 (EG( ((potential((tk(P381)>=1) & (tk(P368)>=1))))))
PROPERTY: Eratosthenes-PT-500-CTLFireability-10 ( (! (AG( ( ( ((potential((tk(P291)>=1) & (tk(P442)>=1)))) | ((potential((tk(P283)>=1) & (tk(P175)>=1)))) ) & ((potential((tk(P254)>=1) & (tk(P147)>=1)))) )))) & ( (EF( (AG( ((potential((tk(P374)>=1) & (tk(P218)>=1)))))))) | ( ( ( ((potential((tk(P370)>=1) & (tk(P279)>=1)))) & ((potential((tk(P387)>=1) & (tk(P433)>=1)))) ) & (EG( ((potential((tk(P29)>=1) & (tk(P372)>=1)))))) ) & ( ((potential((tk(P173)>=1) & (tk(P369)>=1)))) & ( ((potential((tk(P165)>=1) & (tk(P361)>=1)))) | ((potential((tk(P347)>=1) & (tk(P369)>=1)))) ) ) ) ) )
PROPERTY: Eratosthenes-PT-500-CTLFireability-11 (EF( ( (AG( ( ((potential((tk(P35)>=1) & (tk(P248)>=1)))) & ((potential((tk(P168)>=1) & (tk(P495)>=1)))) ))) & ( (! ( ((potential((tk(P369)>=1) & (tk(P265)>=1)))) | ((potential((tk(P318)>=1) & (tk(P373)>=1)))) )) | ( ( ((potential((tk(P337)>=1) & (tk(P169)>=1)))) | ((potential((tk(P29)>=1) & (tk(P169)>=1)))) ) | ( ((potential((tk(P447)>=1) & (tk(P250)>=1)))) | ((potential((tk(P224)>=1) & (tk(P368)>=1)))) ) ) ) )))
PROPERTY: Eratosthenes-PT-500-CTLFireability-12 (! (! (EX( (EG( ((potential((tk(P372)>=1) & (tk(P231)>=1))))))))))
PROPERTY: Eratosthenes-PT-500-CTLFireability-13 ( ( ( ( (AX( ((potential((tk(P329)>=1) & (tk(P368)>=1)))))) & (EG( ((potential((tk(P404)>=1) & (tk(P64)>=1)))))) ) & (EX( ((potential((tk(P331)>=1) & (tk(P368)>=1)))))) ) | (! (EX( ((potential((tk(P349)>=1) & (tk(P49)>=1))))))) ) | (EG( ((potential((tk(P174)>=1) & (tk(P3)>=1)))))) )
PROPERTY: Eratosthenes-PT-500-CTLFireability-14 (EG( (AG( (EX( ((potential((tk(P175)>=1) & (tk(P52)>=1))))))))))
PROPERTY: Eratosthenes-PT-500-CTLFireability-15 (AG( (EX( ( ( ((potential((tk(P246)>=1) & (tk(P287)>=1)))) & ((potential((tk(P25)>=1) & (tk(P368)>=1)))) ) & (! ((potential((tk(P377)>=1) & (tk(P369)>=1))))) )))))
FORMULA Eratosthenes-PT-500-CTLFireability-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-01 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-02 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-03 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-04 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-05 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-06 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-07 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-08 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-09 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-10 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-11 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-12 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-13 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-14 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLFireability-15 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

BK_STOP 1589369625448

--------------------
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="Eratosthenes-PT-500"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Eratosthenes-PT-500, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922808401052"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Eratosthenes-PT-500.tgz
mv Eratosthenes-PT-500 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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