Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 45K Feb 26 14:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 215K Feb 26 14:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 26 14:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 167K Feb 26 14:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 68K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 186K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 116K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 556K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 174K Feb 26 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 639K Feb 26 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 14K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 319K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679191457606

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

Filename model.pnml
Petri model created: 376 places, 750 transitions, 2410 arcs.
AT ITER 0 NEW BEST:: SOT 234924 SOS 187884 HAS SOPS 187884 HAS SOUS 111212 HAS SOUPS 111212 WITH SCORE 111399.884
AT ITER 1 NEW BEST:: SOT 234584 SOS 187456 HAS SOPS 187456 HAS SOUS 110762 HAS SOUPS 110762 WITH SCORE 110949.456
AT ITER 3 NEW BEST:: SOT 234584 SOS 187456 HAS SOPS 187456 HAS SOUS 110758 HAS SOUPS 110758 WITH SCORE 110945.456
AT ITER 4 NEW BEST:: SOT 234550 SOS 188044 HAS SOPS 188044 HAS SOUS 110460 HAS SOUPS 110460 WITH SCORE 110648.044
AT ITER 8 NEW BEST:: SOT 234484 SOS 188313 HAS SOPS 188313 HAS SOUS 110219 HAS SOUPS 110219 WITH SCORE 110407.313
AT ITER 10 NEW BEST:: SOT 234145 SOS 187966 HAS SOPS 187966 HAS SOUS 109806 HAS SOUPS 109806 WITH SCORE 109993.966
AT ITER 14 NEW BEST:: SOT 233667 SOS 187116 HAS SOPS 187116 HAS SOUS 109138 HAS SOUPS 109138 WITH SCORE 109325.116
AT ITER 15 NEW BEST:: SOT 233605 SOS 184473 HAS SOPS 184473 HAS SOUS 109076 HAS SOUPS 109076 WITH SCORE 109260.473
AT ITER 17 NEW BEST:: SOT 233548 SOS 184359 HAS SOPS 184359 HAS SOUS 108958 HAS SOUPS 108958 WITH SCORE 109142.359
AT ITER 18 NEW BEST:: SOT 233477 SOS 183734 HAS SOPS 183734 HAS SOUS 108632 HAS SOUPS 108632 WITH SCORE 108815.734
AT ITER 19 NEW BEST:: SOT 233443 SOS 183548 HAS SOPS 183548 HAS SOUS 108263 HAS SOUPS 108263 WITH SCORE 108446.548
AT ITER 20 NEW BEST:: SOT 233618 SOS 183102 HAS SOPS 183102 HAS SOUS 108217 HAS SOUPS 108217 WITH SCORE 108400.102
AT ITER 22 NEW BEST:: SOT 233665 SOS 183084 HAS SOPS 183084 HAS SOUS 107798 HAS SOUPS 107798 WITH SCORE 107981.084
AT ITER 23 NEW BEST:: SOT 233644 SOS 182994 HAS SOPS 182994 HAS SOUS 107197 HAS SOUPS 107197 WITH SCORE 107379.994
AT ITER 24 NEW BEST:: SOT 233468 SOS 182642 HAS SOPS 182642 HAS SOUS 106317 HAS SOUPS 106317 WITH SCORE 106499.642
AT ITER 27 NEW BEST:: SOT 233468 SOS 182238 HAS SOPS 182238 HAS SOUS 106216 HAS SOUPS 106216 WITH SCORE 106398.238
AT ITER 28 NEW BEST:: SOT 233434 SOS 182080 HAS SOPS 182080 HAS SOUS 105506 HAS SOUPS 105506 WITH SCORE 105688.08
AT ITER 33 NEW BEST:: SOT 233100 SOS 181608 HAS SOPS 181608 HAS SOUS 105304 HAS SOUPS 105304 WITH SCORE 105485.608
AT ITER 34 NEW BEST:: SOT 233004 SOS 181512 HAS SOPS 181512 HAS SOUS 105270 HAS SOUPS 105270 WITH SCORE 105451.512
AT ITER 36 NEW BEST:: SOT 232542 SOS 180896 HAS SOPS 180896 HAS SOUS 104654 HAS SOUPS 104654 WITH SCORE 104834.896
AT ITER 37 NEW BEST:: SOT 232372 SOS 180556 HAS SOPS 180556 HAS SOUS 103804 HAS SOUPS 103804 WITH SCORE 103984.556
AT ITER 40 NEW BEST:: SOT 232363 SOS 180538 HAS SOPS 180538 HAS SOUS 103750 HAS SOUPS 103750 WITH SCORE 103930.538
AT ITER 42 NEW BEST:: SOT 232363 SOS 182166 HAS SOPS 182166 HAS SOUS 103664 HAS SOUPS 103664 WITH SCORE 103846.166
AT ITER 47 NEW BEST:: SOT 232371 SOS 182008 HAS SOPS 182008 HAS SOUS 103159 HAS SOUPS 103159 WITH SCORE 103341.008
AT ITER 49 NEW BEST:: SOT 232371 SOS 182008 HAS SOPS 182008 HAS SOUS 103158 HAS SOUPS 103158 WITH SCORE 103340.008
AT ITER 50 NEW BEST:: SOT 232355 SOS 181870 HAS SOPS 181870 HAS SOUS 102793 HAS SOUPS 102793 WITH SCORE 102974.87
AT ITER 52 NEW BEST:: SOT 232305 SOS 181933 HAS SOPS 181933 HAS SOUS 102529 HAS SOUPS 102529 WITH SCORE 102710.933
AT ITER 53 NEW BEST:: SOT 232305 SOS 181980 HAS SOPS 181980 HAS SOUS 102519 HAS SOUPS 102519 WITH SCORE 102700.98
AT ITER 54 NEW BEST:: SOT 232240 SOS 182022 HAS SOPS 182022 HAS SOUS 102275 HAS SOUPS 102275 WITH SCORE 102457.022
AT ITER 55 NEW BEST:: SOT 231834 SOS 181486 HAS SOPS 181486 HAS SOUS 101739 HAS SOUPS 101739 WITH SCORE 101920.486
AT ITER 57 NEW BEST:: SOT 231986 SOS 181412 HAS SOPS 181412 HAS SOUS 101519 HAS SOUPS 101519 WITH SCORE 101700.412
AT ITER 58 NEW BEST:: SOT 231904 SOS 181532 HAS SOPS 181532 HAS SOUS 101424 HAS SOUPS 101424 WITH SCORE 101605.532
AT ITER 59 NEW BEST:: SOT 231904 SOS 181532 HAS SOPS 181532 HAS SOUS 101355 HAS SOUPS 101355 WITH SCORE 101536.532
AT ITER 61 NEW BEST:: SOT 231829 SOS 181375 HAS SOPS 181375 HAS SOUS 101205 HAS SOUPS 101205 WITH SCORE 101386.375
AT ITER 63 NEW BEST:: SOT 231671 SOS 181211 HAS SOPS 181211 HAS SOUS 100773 HAS SOUPS 100773 WITH SCORE 100954.211
AT ITER 64 NEW BEST:: SOT 231599 SOS 181067 HAS SOPS 181067 HAS SOUS 100499 HAS SOUPS 100499 WITH SCORE 100680.067
AT ITER 65 NEW BEST:: SOT 231496 SOS 181138 HAS SOPS 181138 HAS SOUS 100389 HAS SOUPS 100389 WITH SCORE 100570.138
AT ITER 66 NEW BEST:: SOT 231496 SOS 181380 HAS SOPS 181380 HAS SOUS 100366 HAS SOUPS 100366 WITH SCORE 100547.38
AT ITER 67 NEW BEST:: SOT 230877 SOS 178615 HAS SOPS 178615 HAS SOUS 99150 HAS SOUPS 99150 WITH SCORE 99328.615
AT ITER 69 NEW BEST:: SOT 230877 SOS 178535 HAS SOPS 178535 HAS SOUS 99121 HAS SOUPS 99121 WITH SCORE 99299.535
AT ITER 72 NEW BEST:: SOT 230870 SOS 178500 HAS SOPS 178500 HAS SOUS 99121 HAS SOUPS 99121 WITH SCORE 99299.5
AT ITER 73 NEW BEST:: SOT 230602 SOS 178232 HAS SOPS 178232 HAS SOUS 98667 HAS SOUPS 98667 WITH SCORE 98845.232
AT ITER 76 NEW BEST:: SOT 230506 SOS 177928 HAS SOPS 177928 HAS SOUS 98212 HAS SOUPS 98212 WITH SCORE 98389.928
AT ITER 77 NEW BEST:: SOT 230244 SOS 176745 HAS SOPS 176745 HAS SOUS 97630 HAS SOUPS 97630 WITH SCORE 97806.745
AT ITER 81 NEW BEST:: SOT 229823 SOS 176187 HAS SOPS 176187 HAS SOUS 97244 HAS SOUPS 97244 WITH SCORE 97420.187
AT ITER 82 NEW BEST:: SOT 229823 SOS 176173 HAS SOPS 176173 HAS SOUS 97244 HAS SOUPS 97244 WITH SCORE 97420.173
AT ITER 83 NEW BEST:: SOT 229660 SOS 176148 HAS SOPS 176148 HAS SOUS 97078 HAS SOUPS 97078 WITH SCORE 97254.148
AT ITER 84 NEW BEST:: SOT 229780 SOS 176193 HAS SOPS 176193 HAS SOUS 96945 HAS SOUPS 96945 WITH SCORE 97121.193
AT ITER 85 NEW BEST:: SOT 230025 SOS 176283 HAS SOPS 176283 HAS SOUS 96362 HAS SOUPS 96362 WITH SCORE 96538.283
AT ITER 87 NEW BEST:: SOT 229849 SOS 175995 HAS SOPS 175995 HAS SOUS 96004 HAS SOUPS 96004 WITH SCORE 96179.995
AT ITER 88 NEW BEST:: SOT 229856 SOS 175960 HAS SOPS 175960 HAS SOUS 95909 HAS SOUPS 95909 WITH SCORE 96084.96
AT ITER 89 NEW BEST:: SOT 229815 SOS 175519 HAS SOPS 175519 HAS SOUS 95138 HAS SOUPS 95138 WITH SCORE 95313.519
AT ITER 91 NEW BEST:: SOT 229491 SOS 175195 HAS SOPS 175195 HAS SOUS 94812 HAS SOUPS 94812 WITH SCORE 94987.195
AT ITER 96 NEW BEST:: SOT 229251 SOS 174835 HAS SOPS 174835 HAS SOUS 94561 HAS SOUPS 94561 WITH SCORE 94735.835
AT ITER 97 NEW BEST:: SOT 229122 SOS 174699 HAS SOPS 174699 HAS SOUS 94425 HAS SOUPS 94425 WITH SCORE 94599.699
AT ITER 99 NEW BEST:: SOT 229120 SOS 174549 HAS SOPS 174549 HAS SOUS 94238 HAS SOUPS 94238 WITH SCORE 94412.549
AT ITER 100 NEW BEST:: SOT 229031 SOS 174767 HAS SOPS 174767 HAS SOUS 94119 HAS SOUPS 94119 WITH SCORE 94293.767
AT ITER 101 NEW BEST:: SOT 229031 SOS 174767 HAS SOPS 174767 HAS SOUS 94107 HAS SOUPS 94107 WITH SCORE 94281.767
AT ITER 103 NEW BEST:: SOT 229067 SOS 174804 HAS SOPS 174804 HAS SOUS 94093 HAS SOUPS 94093 WITH SCORE 94267.804
AT ITER 106 NEW BEST:: SOT 228961 SOS 174665 HAS SOPS 174665 HAS SOUS 93902 HAS SOUPS 93902 WITH SCORE 94076.665
AT ITER 111 NEW BEST:: SOT 229016 SOS 175158 HAS SOPS 175158 HAS SOUS 93859 HAS SOUPS 93859 WITH SCORE 94034.158
AT ITER 113 NEW BEST:: SOT 228782 SOS 174228 HAS SOPS 174228 HAS SOUS 93020 HAS SOUPS 93020 WITH SCORE 93194.228
AT ITER 116 NEW BEST:: SOT 228740 SOS 174186 HAS SOPS 174186 HAS SOUS 92966 HAS SOUPS 92966 WITH SCORE 93140.186
AT ITER 117 NEW BEST:: SOT 228366 SOS 173922 HAS SOPS 173922 HAS SOUS 92475 HAS SOUPS 92475 WITH SCORE 92648.922
AT ITER 118 NEW BEST:: SOT 228239 SOS 173440 HAS SOPS 173440 HAS SOUS 92292 HAS SOUPS 92292 WITH SCORE 92465.44
AT ITER 119 NEW BEST:: SOT 228172 SOS 173705 HAS SOPS 173705 HAS SOUS 92050 HAS SOUPS 92050 WITH SCORE 92223.705
AT ITER 127 NEW BEST:: SOT 227806 SOS 172999 HAS SOPS 172999 HAS SOUS 91331 HAS SOUPS 91331 WITH SCORE 91503.999
AT ITER 129 NEW BEST:: SOT 227501 SOS 173525 HAS SOPS 173525 HAS SOUS 90955 HAS SOUPS 90955 WITH SCORE 91128.525
AT ITER 130 NEW BEST:: SOT 227567 SOS 173459 HAS SOPS 173459 HAS SOUS 90566 HAS SOUPS 90566 WITH SCORE 90739.459
AT ITER 132 NEW BEST:: SOT 227567 SOS 173255 HAS SOPS 173255 HAS SOUS 90370 HAS SOUPS 90370 WITH SCORE 90543.255
AT ITER 134 NEW BEST:: SOT 227515 SOS 172952 HAS SOPS 172952 HAS SOUS 90054 HAS SOUPS 90054 WITH SCORE 90226.952
AT ITER 135 NEW BEST:: SOT 227403 SOS 172840 HAS SOPS 172840 HAS SOUS 89942 HAS SOUPS 89942 WITH SCORE 90114.84
AT ITER 139 NEW BEST:: SOT 227351 SOS 172736 HAS SOPS 172736 HAS SOUS 89784 HAS SOUPS 89784 WITH SCORE 89956.736
AT ITER 142 NEW BEST:: SOT 227335 SOS 172458 HAS SOPS 172458 HAS SOUS 89766 HAS SOUPS 89766 WITH SCORE 89938.458
AT ITER 143 NEW BEST:: SOT 227256 SOS 172562 HAS SOPS 172562 HAS SOUS 89728 HAS SOUPS 89728 WITH SCORE 89900.562
AT ITER 144 NEW BEST:: SOT 226950 SOS 171908 HAS SOPS 171908 HAS SOUS 89003 HAS SOUPS 89003 WITH SCORE 89174.908
AT ITER 145 NEW BEST:: SOT 226587 SOS 171977 HAS SOPS 171977 HAS SOUS 88884 HAS SOUPS 88884 WITH SCORE 89055.977
AT ITER 147 NEW BEST:: SOT 226482 SOS 172010 HAS SOPS 172010 HAS SOUS 88874 HAS SOUPS 88874 WITH SCORE 89046.01
AT ITER 150 NEW BEST:: SOT 226482 SOS 172010 HAS SOPS 172010 HAS SOUS 88840 HAS SOUPS 88840 WITH SCORE 89012.01
AT ITER 151 NEW BEST:: SOT 226341 SOS 171589 HAS SOPS 171589 HAS SOUS 88127 HAS SOUPS 88127 WITH SCORE 88298.589
AT ITER 152 NEW BEST:: SOT 226337 SOS 171564 HAS SOPS 171564 HAS SOUS 88102 HAS SOUPS 88102 WITH SCORE 88273.564
AT ITER 153 NEW BEST:: SOT 226266 SOS 171256 HAS SOPS 171256 HAS SOUS 87953 HAS SOUPS 87953 WITH SCORE 88124.256
AT ITER 154 NEW BEST:: SOT 226210 SOS 171200 HAS SOPS 171200 HAS SOUS 87827 HAS SOUPS 87827 WITH SCORE 87998.2
AT ITER 160 NEW BEST:: SOT 226068 SOS 171058 HAS SOPS 171058 HAS SOUS 87685 HAS SOUPS 87685 WITH SCORE 87856.058
AT ITER 162 NEW BEST:: SOT 225954 SOS 170942 HAS SOPS 170942 HAS SOUS 87539 HAS SOUPS 87539 WITH SCORE 87709.942
AT ITER 165 NEW BEST:: SOT 226157 SOS 164391 HAS SOPS 164391 HAS SOUS 84380 HAS SOUPS 84380 WITH SCORE 84544.391
AT ITER 169 NEW BEST:: SOT 226108 SOS 164293 HAS SOPS 164293 HAS SOUS 84233 HAS SOUPS 84233 WITH SCORE 84397.293
AT ITER 173 NEW BEST:: SOT 226036 SOS 163587 HAS SOPS 163587 HAS SOUS 84010 HAS SOUPS 84010 WITH SCORE 84173.587
AT ITER 177 NEW BEST:: SOT 226036 SOS 163235 HAS SOPS 163235 HAS SOUS 84010 HAS SOUPS 84010 WITH SCORE 84173.235
AT ITER 180 NEW BEST:: SOT 225961 SOS 163160 HAS SOPS 163160 HAS SOUS 83962 HAS SOUPS 83962 WITH SCORE 84125.16
AT ITER 184 NEW BEST:: SOT 225915 SOS 163068 HAS SOPS 163068 HAS SOUS 83808 HAS SOUPS 83808 WITH SCORE 83971.068
AT ITER 188 NEW BEST:: SOT 225887 SOS 163049 HAS SOPS 163049 HAS SOUS 83794 HAS SOUPS 83794 WITH SCORE 83957.049
AT ITER 192 NEW BEST:: SOT 225887 SOS 163093 HAS SOPS 163093 HAS SOUS 83672 HAS SOUPS 83672 WITH SCORE 83835.093
AT ITER 195 NEW BEST:: SOT 225947 SOS 162813 HAS SOPS 162813 HAS SOUS 83340 HAS SOUPS 83340 WITH SCORE 83502.813
AT ITER 196 NEW BEST:: SOT 225947 SOS 162453 HAS SOPS 162453 HAS SOUS 83296 HAS SOUPS 83296 WITH SCORE 83458.453
AT ITER 199 NEW BEST:: SOT 226140 SOS 162078 HAS SOPS 162078 HAS SOUS 82680 HAS SOUPS 82680 WITH SCORE 82842.078
AT ITER 204 NEW BEST:: SOT 226140 SOS 161198 HAS SOPS 161198 HAS SOUS 82550 HAS SOUPS 82550 WITH SCORE 82711.198
AT ITER 205 NEW BEST:: SOT 226137 SOS 161114 HAS SOPS 161114 HAS SOUS 82540 HAS SOUPS 82540 WITH SCORE 82701.114
AT ITER 206 NEW BEST:: SOT 226122 SOS 161114 HAS SOPS 161114 HAS SOUS 82510 HAS SOUPS 82510 WITH SCORE 82671.114
AT ITER 207 NEW BEST:: SOT 226228 SOS 160990 HAS SOPS 160990 HAS SOUS 82475 HAS SOUPS 82475 WITH SCORE 82635.99
AT ITER 210 NEW BEST:: SOT 226228 SOS 160990 HAS SOPS 160990 HAS SOUS 82380 HAS SOUPS 82380 WITH SCORE 82540.99
AT ITER 212 NEW BEST:: SOT 226228 SOS 160990 HAS SOPS 160990 HAS SOUS 82330 HAS SOUPS 82330 WITH SCORE 82490.99
AT ITER 215 NEW BEST:: SOT 226205 SOS 160928 HAS SOPS 160928 HAS SOUS 82298 HAS SOUPS 82298 WITH SCORE 82458.928
AT ITER 216 NEW BEST:: SOT 226205 SOS 160823 HAS SOPS 160823 HAS SOUS 82260 HAS SOUPS 82260 WITH SCORE 82420.823
AT ITER 219 NEW BEST:: SOT 226205 SOS 160823 HAS SOPS 160823 HAS SOUS 82154 HAS SOUPS 82154 WITH SCORE 82314.823
AT ITER 223 NEW BEST:: SOT 226128 SOS 160817 HAS SOPS 160817 HAS SOUS 82006 HAS SOUPS 82006 WITH SCORE 82166.817
AT ITER 225 NEW BEST:: SOT 226128 SOS 160349 HAS SOPS 160349 HAS SOUS 82006 HAS SOUPS 82006 WITH SCORE 82166.349
AT ITER 228 NEW BEST:: SOT 226008 SOS 160109 HAS SOPS 160109 HAS SOUS 81878 HAS SOUPS 81878 WITH SCORE 82038.109
AT ITER 229 NEW BEST:: SOT 226008 SOS 160109 HAS SOPS 160109 HAS SOUS 81843 HAS SOUPS 81843 WITH SCORE 82003.109
AT ITER 232 NEW BEST:: SOT 225760 SOS 159651 HAS SOPS 159651 HAS SOUS 81463 HAS SOUPS 81463 WITH SCORE 81622.651
AT ITER 233 NEW BEST:: SOT 225785 SOS 159676 HAS SOPS 159676 HAS SOUS 81334 HAS SOUPS 81334 WITH SCORE 81493.676
AT ITER 235 NEW BEST:: SOT 225944 SOS 159320 HAS SOPS 159320 HAS SOUS 80970 HAS SOUPS 80970 WITH SCORE 81129.32
AT ITER 236 NEW BEST:: SOT 225970 SOS 159229 HAS SOPS 159229 HAS SOUS 80901 HAS SOUPS 80901 WITH SCORE 81060.229
AT ITER 237 NEW BEST:: SOT 225970 SOS 159229 HAS SOPS 159229 HAS SOUS 80900 HAS SOUPS 80900 WITH SCORE 81059.229
AT ITER 239 NEW BEST:: SOT 225942 SOS 159043 HAS SOPS 159043 HAS SOUS 80625 HAS SOUPS 80625 WITH SCORE 80784.043
AT ITER 244 NEW BEST:: SOT 225942 SOS 159043 HAS SOPS 159043 HAS SOUS 80613 HAS SOUPS 80613 WITH SCORE 80772.043
AT ITER 246 NEW BEST:: SOT 225972 SOS 158903 HAS SOPS 158903 HAS SOUS 80603 HAS SOUPS 80603 WITH SCORE 80761.903
AT ITER 247 NEW BEST:: SOT 225972 SOS 158865 HAS SOPS 158865 HAS SOUS 80565 HAS SOUPS 80565 WITH SCORE 80723.865
AT ITER 248 NEW BEST:: SOT 225772 SOS 158680 HAS SOPS 158680 HAS SOUS 80395 HAS SOUPS 80395 WITH SCORE 80553.68
AT ITER 250 NEW BEST:: SOT 225513 SOS 158709 HAS SOPS 158709 HAS SOUS 80285 HAS SOUPS 80285 WITH SCORE 80443.709
AT ITER 252 NEW BEST:: SOT 225813 SOS 151936 HAS SOPS 151936 HAS SOUS 78383 HAS SOUPS 78383 WITH SCORE 78534.936
AT ITER 255 NEW BEST:: SOT 225872 SOS 151071 HAS SOPS 151071 HAS SOUS 78249 HAS SOUPS 78249 WITH SCORE 78400.071
AT ITER 259 NEW BEST:: SOT 225663 SOS 150798 HAS SOPS 150798 HAS SOUS 77963 HAS SOUPS 77963 WITH SCORE 78113.798
AT ITER 260 NEW BEST:: SOT 225668 SOS 150175 HAS SOPS 150175 HAS SOUS 77769 HAS SOUPS 77769 WITH SCORE 77919.175
AT ITER 261 NEW BEST:: SOT 225749 SOS 149969 HAS SOPS 149969 HAS SOUS 77740 HAS SOUPS 77740 WITH SCORE 77889.969
AT ITER 264 NEW BEST:: SOT 225694 SOS 149676 HAS SOPS 149676 HAS SOUS 77625 HAS SOUPS 77625 WITH SCORE 77774.676
AT ITER 267 NEW BEST:: SOT 225694 SOS 149676 HAS SOPS 149676 HAS SOUS 77613 HAS SOUPS 77613 WITH SCORE 77762.676
AT ITER 269 NEW BEST:: SOT 225507 SOS 149125 HAS SOPS 149125 HAS SOUS 77278 HAS SOUPS 77278 WITH SCORE 77427.125
AT ITER 270 NEW BEST:: SOT 225404 SOS 148562 HAS SOPS 148562 HAS SOUS 76612 HAS SOUPS 76612 WITH SCORE 76760.562
AT ITER 271 NEW BEST:: SOT 225382 SOS 148769 HAS SOPS 148769 HAS SOUS 76602 HAS SOUPS 76602 WITH SCORE 76750.769
AT ITER 273 NEW BEST:: SOT 225310 SOS 148449 HAS SOPS 148449 HAS SOUS 76486 HAS SOUPS 76486 WITH SCORE 76634.449
AT ITER 274 NEW BEST:: SOT 224961 SOS 146942 HAS SOPS 146942 HAS SOUS 75562 HAS SOUPS 75562 WITH SCORE 75708.942
AT ITER 275 NEW BEST:: SOT 224961 SOS 146942 HAS SOPS 146942 HAS SOUS 75532 HAS SOUPS 75532 WITH SCORE 75678.942
AT ITER 276 NEW BEST:: SOT 224953 SOS 146934 HAS SOPS 146934 HAS SOUS 75520 HAS SOUPS 75520 WITH SCORE 75666.934
AT ITER 278 NEW BEST:: SOT 224942 SOS 146923 HAS SOPS 146923 HAS SOUS 75520 HAS SOUPS 75520 WITH SCORE 75666.923
AT ITER 281 NEW BEST:: SOT 224877 SOS 146792 HAS SOPS 146792 HAS SOUS 75389 HAS SOUPS 75389 WITH SCORE 75535.792
AT ITER 282 NEW BEST:: SOT 224877 SOS 146792 HAS SOPS 146792 HAS SOUS 75293 HAS SOUPS 75293 WITH SCORE 75439.792
AT ITER 284 NEW BEST:: SOT 224739 SOS 146654 HAS SOPS 146654 HAS SOUS 75143 HAS SOUPS 75143 WITH SCORE 75289.654
AT ITER 290 NEW BEST:: SOT 224711 SOS 146598 HAS SOPS 146598 HAS SOUS 75115 HAS SOUPS 75115 WITH SCORE 75261.598
AT ITER 292 NEW BEST:: SOT 224711 SOS 146430 HAS SOPS 146430 HAS SOUS 75054 HAS SOUPS 75054 WITH SCORE 75200.43
AT ITER 296 NEW BEST:: SOT 224707 SOS 146425 HAS SOPS 146425 HAS SOUS 75047 HAS SOUPS 75047 WITH SCORE 75193.425
AT ITER 297 NEW BEST:: SOT 208534 SOS 130509 HAS SOPS 130509 HAS SOUS 65988 HAS SOUPS 65988 WITH SCORE 66118.509
AT ITER 300 NEW BEST:: SOT 208515 SOS 130509 HAS SOPS 130509 HAS SOUS 65950 HAS SOUPS 65950 WITH SCORE 66080.509
AT ITER 301 NEW BEST:: SOT 208515 SOS 130509 HAS SOPS 130509 HAS SOUS 65885 HAS SOUPS 65885 WITH SCORE 66015.509
AT ITER 303 NEW BEST:: SOT 208555 SOS 130307 HAS SOPS 130307 HAS SOUS 65642 HAS SOUPS 65642 WITH SCORE 65772.307
AT ITER 308 NEW BEST:: SOT 208344 SOS 130136 HAS SOPS 130136 HAS SOUS 65277 HAS SOUPS 65277 WITH SCORE 65407.136
AT ITER 309 NEW BEST:: SOT 208326 SOS 130172 HAS SOPS 130172 HAS SOUS 65259 HAS SOUPS 65259 WITH SCORE 65389.172
AT ITER 311 NEW BEST:: SOT 208292 SOS 130212 HAS SOPS 130212 HAS SOUS 65220 HAS SOUPS 65220 WITH SCORE 65350.212
AT ITER 313 NEW BEST:: SOT 208292 SOS 130210 HAS SOPS 130210 HAS SOUS 65219 HAS SOUPS 65219 WITH SCORE 65349.21
AT ITER 315 NEW BEST:: SOT 208204 SOS 129994 HAS SOPS 129994 HAS SOUS 65174 HAS SOUPS 65174 WITH SCORE 65303.994
AT ITER 317 NEW BEST:: SOT 208207 SOS 122954 HAS SOPS 122954 HAS SOUS 63377 HAS SOUPS 63377 WITH SCORE 63499.954
AT ITER 319 NEW BEST:: SOT 208065 SOS 122523 HAS SOPS 122523 HAS SOUS 63155 HAS SOUPS 63155 WITH SCORE 63277.523
AT ITER 333 NEW BEST:: SOT 208065 SOS 122508 HAS SOPS 122508 HAS SOUS 63155 HAS SOUPS 63155 WITH SCORE 63277.508
AT ITER 335 NEW BEST:: SOT 208065 SOS 122488 HAS SOPS 122488 HAS SOUS 63112 HAS SOUPS 63112 WITH SCORE 63234.488
AT ITER 337 NEW BEST:: SOT 208008 SOS 122532 HAS SOPS 122532 HAS SOUS 63055 HAS SOUPS 63055 WITH SCORE 63177.532
AT ITER 344 NEW BEST:: SOT 207953 SOS 122497 HAS SOPS 122497 HAS SOUS 63012 HAS SOUPS 63012 WITH SCORE 63134.497
AT ITER 345 NEW BEST:: SOT 207953 SOS 122333 HAS SOPS 122333 HAS SOUS 62971 HAS SOUPS 62971 WITH SCORE 63093.333
AT ITER 349 NEW BEST:: SOT 207636 SOS 122148 HAS SOPS 122148 HAS SOUS 62875 HAS SOUPS 62875 WITH SCORE 62997.148
AT ITER 361 NEW BEST:: SOT 207494 SOS 121869 HAS SOPS 121869 HAS SOUS 62723 HAS SOUPS 62723 WITH SCORE 62844.869
AT ITER 362 NEW BEST:: SOT 207470 SOS 120947 HAS SOPS 120947 HAS SOUS 62211 HAS SOUPS 62211 WITH SCORE 62331.947
AT ITER 365 NEW BEST:: SOT 207272 SOS 120674 HAS SOPS 120674 HAS SOUS 61634 HAS SOUPS 61634 WITH SCORE 61754.674
AT ITER 366 NEW BEST:: SOT 206906 SOS 120248 HAS SOPS 120248 HAS SOUS 61027 HAS SOUPS 61027 WITH SCORE 61147.248
AT ITER 370 NEW BEST:: SOT 206881 SOS 119668 HAS SOPS 119668 HAS SOUS 60869 HAS SOUPS 60869 WITH SCORE 60988.668
AT ITER 371 NEW BEST:: SOT 206881 SOS 119689 HAS SOPS 119689 HAS SOUS 60862 HAS SOUPS 60862 WITH SCORE 60981.689
AT ITER 374 NEW BEST:: SOT 206881 SOS 119681 HAS SOPS 119681 HAS SOUS 60862 HAS SOUPS 60862 WITH SCORE 60981.681
AT ITER 383 NEW BEST:: SOT 206871 SOS 119651 HAS SOPS 119651 HAS SOUS 60852 HAS SOUPS 60852 WITH SCORE 60971.651
AT ITER 384 NEW BEST:: SOT 206794 SOS 119574 HAS SOPS 119574 HAS SOUS 60785 HAS SOUPS 60785 WITH SCORE 60904.574
AT ITER 387 NEW BEST:: SOT 206773 SOS 119324 HAS SOPS 119324 HAS SOUS 60777 HAS SOUPS 60777 WITH SCORE 60896.324
AT ITER 391 NEW BEST:: SOT 206773 SOS 119324 HAS SOPS 119324 HAS SOUS 60771 HAS SOUPS 60771 WITH SCORE 60890.324
AT ITER 394 NEW BEST:: SOT 206722 SOS 119417 HAS SOPS 119417 HAS SOUS 60620 HAS SOUPS 60620 WITH SCORE 60739.417
AT ITER 398 NEW BEST:: SOT 206670 SOS 118962 HAS SOPS 118962 HAS SOUS 60487 HAS SOUPS 60487 WITH SCORE 60605.962
AT ITER 399 NEW BEST:: SOT 206441 SOS 118751 HAS SOPS 118751 HAS SOUS 60344 HAS SOUPS 60344 WITH SCORE 60462.751
AT ITER 402 NEW BEST:: SOT 206484 SOS 118077 HAS SOPS 118077 HAS SOUS 60294 HAS SOUPS 60294 WITH SCORE 60412.077
AT ITER 422 NEW BEST:: SOT 206505 SOS 117935 HAS SOPS 117935 HAS SOUS 60290 HAS SOUPS 60290 WITH SCORE 60407.935
AT ITER 423 NEW BEST:: SOT 206474 SOS 117667 HAS SOPS 117667 HAS SOUS 60054 HAS SOUPS 60054 WITH SCORE 60171.667
AT ITER 428 NEW BEST:: SOT 206409 SOS 117777 HAS SOPS 117777 HAS SOUS 59909 HAS SOUPS 59909 WITH SCORE 60026.777
AT ITER 429 NEW BEST:: SOT 206361 SOS 116882 HAS SOPS 116882 HAS SOUS 59746 HAS SOUPS 59746 WITH SCORE 59862.882
AT ITER 433 NEW BEST:: SOT 206328 SOS 116763 HAS SOPS 116763 HAS SOUS 59713 HAS SOUPS 59713 WITH SCORE 59829.763
AT ITER 434 NEW BEST:: SOT 206328 SOS 116679 HAS SOPS 116679 HAS SOUS 59679 HAS SOUPS 59679 WITH SCORE 59795.679
AT ITER 442 NEW BEST:: SOT 206169 SOS 116102 HAS SOPS 116102 HAS SOUS 59391 HAS SOUPS 59391 WITH SCORE 59507.102
AT ITER 444 NEW BEST:: SOT 206169 SOS 116100 HAS SOPS 116100 HAS SOUS 59391 HAS SOUPS 59391 WITH SCORE 59507.1
AT ITER 450 NEW BEST:: SOT 206144 SOS 116185 HAS SOPS 116185 HAS SOUS 59341 HAS SOUPS 59341 WITH SCORE 59457.185
AT ITER 452 NEW BEST:: SOT 206177 SOS 115839 HAS SOPS 115839 HAS SOUS 59326 HAS SOUPS 59326 WITH SCORE 59441.839
AT ITER 455 NEW BEST:: SOT 206137 SOS 115821 HAS SOPS 115821 HAS SOUS 59326 HAS SOUPS 59326 WITH SCORE 59441.821
AT ITER 456 NEW BEST:: SOT 206083 SOS 115992 HAS SOPS 115992 HAS SOUS 59245 HAS SOUPS 59245 WITH SCORE 59360.992
AT ITER 457 NEW BEST:: SOT 206083 SOS 115956 HAS SOPS 115956 HAS SOUS 59227 HAS SOUPS 59227 WITH SCORE 59342.956
AT ITER 464 NEW BEST:: SOT 203843 SOS 115626 HAS SOPS 115626 HAS SOUS 58737 HAS SOUPS 58737 WITH SCORE 58852.626
AT ITER 465 NEW BEST:: SOT 203938 SOS 114886 HAS SOPS 114886 HAS SOUS 58572 HAS SOUPS 58572 WITH SCORE 58686.886
AT ITER 471 NEW BEST:: SOT 203938 SOS 114858 HAS SOPS 114858 HAS SOUS 58545 HAS SOUPS 58545 WITH SCORE 58659.858
AT ITER 474 NEW BEST:: SOT 203708 SOS 114748 HAS SOPS 114748 HAS SOUS 58422 HAS SOUPS 58422 WITH SCORE 58536.748
AT ITER 477 NEW BEST:: SOT 203707 SOS 114886 HAS SOPS 114886 HAS SOUS 58413 HAS SOUPS 58413 WITH SCORE 58527.886
AT ITER 480 NEW BEST:: SOT 203627 SOS 114502 HAS SOPS 114502 HAS SOUS 58137 HAS SOUPS 58137 WITH SCORE 58251.502
AT ITER 482 NEW BEST:: SOT 203633 SOS 114589 HAS SOPS 114589 HAS SOUS 58092 HAS SOUPS 58092 WITH SCORE 58206.589
AT ITER 484 NEW BEST:: SOT 203501 SOS 114723 HAS SOPS 114723 HAS SOUS 57959 HAS SOUPS 57959 WITH SCORE 58073.723
AT ITER 489 NEW BEST:: SOT 203487 SOS 114695 HAS SOPS 114695 HAS SOUS 57931 HAS SOUPS 57931 WITH SCORE 58045.695
AT ITER 490 NEW BEST:: SOT 203409 SOS 114617 HAS SOPS 114617 HAS SOUS 57782 HAS SOUPS 57782 WITH SCORE 57896.617
AT ITER 500 NEW BEST:: SOT 203475 SOS 114683 HAS SOPS 114683 HAS SOUS 57733 HAS SOUPS 57733 WITH SCORE 57847.683
AT ITER 505 NEW BEST:: SOT 203265 SOS 115046 HAS SOPS 115046 HAS SOUS 57715 HAS SOUPS 57715 WITH SCORE 57830.046
AT ITER 506 NEW BEST:: SOT 203294 SOS 114836 HAS SOPS 114836 HAS SOUS 57633 HAS SOUPS 57633 WITH SCORE 57747.836
AT ITER 512 NEW BEST:: SOT 203754 SOS 114113 HAS SOPS 114113 HAS SOUS 56933 HAS SOUPS 56933 WITH SCORE 57047.113
AT ITER 542 NEW BEST:: SOT 203754 SOS 114081 HAS SOPS 114081 HAS SOUS 56933 HAS SOUPS 56933 WITH SCORE 57047.081
AT ITER 547 NEW BEST:: SOT 203754 SOS 114275 HAS SOPS 114275 HAS SOUS 56923 HAS SOUPS 56923 WITH SCORE 57037.275
AT ITER 548 NEW BEST:: SOT 203754 SOS 114275 HAS SOPS 114275 HAS SOUS 56848 HAS SOUPS 56848 WITH SCORE 56962.275
AT ITER 562 NEW BEST:: SOT 203776 SOS 114067 HAS SOPS 114067 HAS SOUS 56800 HAS SOUPS 56800 WITH SCORE 56914.067
AT ITER 564 NEW BEST:: SOT 203747 SOS 113455 HAS SOPS 113455 HAS SOUS 56771 HAS SOUPS 56771 WITH SCORE 56884.455
AT ITER 566 NEW BEST:: SOT 203679 SOS 113387 HAS SOPS 113387 HAS SOUS 56731 HAS SOUPS 56731 WITH SCORE 56844.387
AT ITER 567 NEW BEST:: SOT 203607 SOS 113529 HAS SOPS 113529 HAS SOUS 56648 HAS SOUPS 56648 WITH SCORE 56761.529
AT ITER 577 NEW BEST:: SOT 203571 SOS 113499 HAS SOPS 113499 HAS SOUS 56612 HAS SOUPS 56612 WITH SCORE 56725.499
AT ITER 581 NEW BEST:: SOT 203447 SOS 113953 HAS SOPS 113953 HAS SOUS 56504 HAS SOUPS 56504 WITH SCORE 56617.953
AT ITER 588 NEW BEST:: SOT 203447 SOS 113939 HAS SOPS 113939 HAS SOUS 56497 HAS SOUPS 56497 WITH SCORE 56610.939
AT ITER 590 NEW BEST:: SOT 203447 SOS 113927 HAS SOPS 113927 HAS SOUS 56492 HAS SOUPS 56492 WITH SCORE 56605.927
AT ITER 591 NEW BEST:: SOT 203445 SOS 114141 HAS SOPS 114141 HAS SOUS 56490 HAS SOUPS 56490 WITH SCORE 56604.141
AT ITER 592 NEW BEST:: SOT 203445 SOS 114071 HAS SOPS 114071 HAS SOUS 56407 HAS SOUPS 56407 WITH SCORE 56521.071
AT ITER 596 NEW BEST:: SOT 203447 SOS 113808 HAS SOPS 113808 HAS SOUS 56279 HAS SOUPS 56279 WITH SCORE 56392.808
AT ITER 597 NEW BEST:: SOT 203439 SOS 113800 HAS SOPS 113800 HAS SOUS 56250 HAS SOUPS 56250 WITH SCORE 56363.8
AT ITER 606 NEW BEST:: SOT 203203 SOS 113369 HAS SOPS 113369 HAS SOUS 56022 HAS SOUPS 56022 WITH SCORE 56135.369
AT ITER 610 NEW BEST:: SOT 203211 SOS 113181 HAS SOPS 113181 HAS SOUS 55873 HAS SOUPS 55873 WITH SCORE 55986.181
AT ITER 616 NEW BEST:: SOT 203243 SOS 113107 HAS SOPS 113107 HAS SOUS 55831 HAS SOUPS 55831 WITH SCORE 55944.107
AT ITER 617 NEW BEST:: SOT 202988 SOS 112760 HAS SOPS 112760 HAS SOUS 55646 HAS SOUPS 55646 WITH SCORE 55758.76
AT ITER 620 NEW BEST:: SOT 202917 SOS 112858 HAS SOPS 112858 HAS SOUS 55504 HAS SOUPS 55504 WITH SCORE 55616.858
AT ITER 621 NEW BEST:: SOT 203675 SOS 110577 HAS SOPS 110577 HAS SOUS 55369 HAS SOUPS 55369 WITH SCORE 55479.577
AT ITER 630 NEW BEST:: SOT 203653 SOS 110555 HAS SOPS 110555 HAS SOUS 55351 HAS SOUPS 55351 WITH SCORE 55461.555
AT ITER 641 NEW BEST:: SOT 203653 SOS 110455 HAS SOPS 110455 HAS SOUS 55325 HAS SOUPS 55325 WITH SCORE 55435.455
AT ITER 644 NEW BEST:: SOT 203579 SOS 110381 HAS SOPS 110381 HAS SOUS 55236 HAS SOUPS 55236 WITH SCORE 55346.381
AT ITER 651 NEW BEST:: SOT 203557 SOS 110337 HAS SOPS 110337 HAS SOUS 55224 HAS SOUPS 55224 WITH SCORE 55334.337
AT ITER 656 NEW BEST:: SOT 203438 SOS 109890 HAS SOPS 109890 HAS SOUS 54786 HAS SOUPS 54786 WITH SCORE 54895.89
AT ITER 659 NEW BEST:: SOT 203434 SOS 109886 HAS SOPS 109886 HAS SOUS 54764 HAS SOUPS 54764 WITH SCORE 54873.886
AT ITER 667 NEW BEST:: SOT 203438 SOS 109826 HAS SOPS 109826 HAS SOUS 54638 HAS SOUPS 54638 WITH SCORE 54747.826
AT ITER 672 NEW BEST:: SOT 203330 SOS 110022 HAS SOPS 110022 HAS SOUS 54533 HAS SOUPS 54533 WITH SCORE 54643.022
AT ITER 680 NEW BEST:: SOT 203301 SOS 109860 HAS SOPS 109860 HAS SOUS 54492 HAS SOUPS 54492 WITH SCORE 54601.86
AT ITER 683 NEW BEST:: SOT 203202 SOS 109833 HAS SOPS 109833 HAS SOUS 54336 HAS SOUPS 54336 WITH SCORE 54445.833
AT ITER 688 NEW BEST:: SOT 203202 SOS 109675 HAS SOPS 109675 HAS SOUS 54269 HAS SOUPS 54269 WITH SCORE 54378.675
AT ITER 692 NEW BEST:: SOT 203202 SOS 109739 HAS SOPS 109739 HAS SOUS 54247 HAS SOUPS 54247 WITH SCORE 54356.739
AT ITER 700 NEW BEST:: SOT 203227 SOS 109557 HAS SOPS 109557 HAS SOUS 54227 HAS SOUPS 54227 WITH SCORE 54336.557
AT ITER 701 NEW BEST:: SOT 203227 SOS 109525 HAS SOPS 109525 HAS SOUS 54227 HAS SOUPS 54227 WITH SCORE 54336.525
AT ITER 702 NEW BEST:: SOT 203227 SOS 109525 HAS SOPS 109525 HAS SOUS 54212 HAS SOUPS 54212 WITH SCORE 54321.525
AT ITER 710 NEW BEST:: SOT 203187 SOS 109547 HAS SOPS 109547 HAS SOUS 54183 HAS SOUPS 54183 WITH SCORE 54292.547
AT ITER 713 NEW BEST:: SOT 203187 SOS 109174 HAS SOPS 109174 HAS SOUS 54125 HAS SOUPS 54125 WITH SCORE 54234.174
AT ITER 723 NEW BEST:: SOT 203150 SOS 109095 HAS SOPS 109095 HAS SOUS 54089 HAS SOUPS 54089 WITH SCORE 54198.095
AT ITER 727 NEW BEST:: SOT 203150 SOS 108920 HAS SOPS 108920 HAS SOUS 54052 HAS SOUPS 54052 WITH SCORE 54160.92
AT ITER 731 NEW BEST:: SOT 202922 SOS 108660 HAS SOPS 108660 HAS SOUS 53862 HAS SOUPS 53862 WITH SCORE 53970.66
AT ITER 737 NEW BEST:: SOT 202937 SOS 108640 HAS SOPS 108640 HAS SOUS 53836 HAS SOUPS 53836 WITH SCORE 53944.64
AT ITER 740 NEW BEST:: SOT 202861 SOS 108442 HAS SOPS 108442 HAS SOUS 53713 HAS SOUPS 53713 WITH SCORE 53821.442
AT ITER 741 NEW BEST:: SOT 202800 SOS 108507 HAS SOPS 108507 HAS SOUS 53706 HAS SOUPS 53706 WITH SCORE 53814.507
AT ITER 745 NEW BEST:: SOT 194789 SOS 113537 HAS SOPS 113537 HAS SOUS 51182 HAS SOUPS 51182 WITH SCORE 51295.537
AT ITER 757 NEW BEST:: SOT 194876 SOS 113221 HAS SOPS 113221 HAS SOUS 51179 HAS SOUPS 51179 WITH SCORE 51292.221
AT ITER 761 NEW BEST:: SOT 194889 SOS 113247 HAS SOPS 113247 HAS SOUS 51139 HAS SOUPS 51139 WITH SCORE 51252.247
AT ITER 766 NEW BEST:: SOT 194807 SOS 113165 HAS SOPS 113165 HAS SOUS 51057 HAS SOUPS 51057 WITH SCORE 51170.165
AT ITER 775 NEW BEST:: SOT 194714 SOS 113226 HAS SOPS 113226 HAS SOUS 50932 HAS SOUPS 50932 WITH SCORE 51045.226
AT ITER 777 NEW BEST:: SOT 194436 SOS 112948 HAS SOPS 112948 HAS SOUS 50753 HAS SOUPS 50753 WITH SCORE 50865.948
AT ITER 781 NEW BEST:: SOT 194354 SOS 112639 HAS SOPS 112639 HAS SOUS 50621 HAS SOUPS 50621 WITH SCORE 50733.639
AT ITER 786 NEW BEST:: SOT 193482 SOS 113355 HAS SOPS 113355 HAS SOUS 50605 HAS SOUPS 50605 WITH SCORE 50718.355
AT ITER 791 NEW BEST:: SOT 193480 SOS 113353 HAS SOPS 113353 HAS SOUS 50586 HAS SOUPS 50586 WITH SCORE 50699.353
AT ITER 799 NEW BEST:: SOT 193626 SOS 113499 HAS SOPS 113499 HAS SOUS 50572 HAS SOUPS 50572 WITH SCORE 50685.499
AT ITER 810 NEW BEST:: SOT 190125 SOS 116655 HAS SOPS 116655 HAS SOUS 49805 HAS SOUPS 49805 WITH SCORE 49921.655
AT ITER 812 NEW BEST:: SOT 190049 SOS 116611 HAS SOPS 116611 HAS SOUS 49729 HAS SOUPS 49729 WITH SCORE 49845.611
AT ITER 813 NEW BEST:: SOT 189550 SOS 116112 HAS SOPS 116112 HAS SOUS 49708 HAS SOUPS 49708 WITH SCORE 49824.112
AT ITER 814 NEW BEST:: SOT 189051 SOS 115588 HAS SOPS 115588 HAS SOUS 49677 HAS SOUPS 49677 WITH SCORE 49792.588
AT ITER 817 NEW BEST:: SOT 189038 SOS 115575 HAS SOPS 115575 HAS SOUS 49627 HAS SOUPS 49627 WITH SCORE 49742.575
AT ITER 818 NEW BEST:: SOT 188886 SOS 115111 HAS SOPS 115111 HAS SOUS 49363 HAS SOUPS 49363 WITH SCORE 49478.111
AT ITER 822 NEW BEST:: SOT 188884 SOS 115109 HAS SOPS 115109 HAS SOUS 49301 HAS SOUPS 49301 WITH SCORE 49416.109
AT ITER 825 NEW BEST:: SOT 188464 SOS 114428 HAS SOPS 114428 HAS SOUS 49177 HAS SOUPS 49177 WITH SCORE 49291.428
AT ITER 834 NEW BEST:: SOT 188310 SOS 114368 HAS SOPS 114368 HAS SOUS 49021 HAS SOUPS 49021 WITH SCORE 49135.368
AT ITER 839 NEW BEST:: SOT 188310 SOS 114368 HAS SOPS 114368 HAS SOUS 48998 HAS SOUPS 48998 WITH SCORE 49112.368
AT ITER 846 NEW BEST:: SOT 188362 SOS 114128 HAS SOPS 114128 HAS SOUS 48832 HAS SOUPS 48832 WITH SCORE 48946.128
AT ITER 855 NEW BEST:: SOT 188487 SOS 113512 HAS SOPS 113512 HAS SOUS 48658 HAS SOUPS 48658 WITH SCORE 48771.512
AT ITER 858 NEW BEST:: SOT 188477 SOS 113502 HAS SOPS 113502 HAS SOUS 48648 HAS SOUPS 48648 WITH SCORE 48761.502
AT ITER 859 NEW BEST:: SOT 188259 SOS 113231 HAS SOPS 113231 HAS SOUS 48341 HAS SOUPS 48341 WITH SCORE 48454.231
AT ITER 863 NEW BEST:: SOT 188257 SOS 113229 HAS SOPS 113229 HAS SOUS 48339 HAS SOUPS 48339 WITH SCORE 48452.229
AT ITER 867 NEW BEST:: SOT 188237 SOS 113209 HAS SOPS 113209 HAS SOUS 48268 HAS SOUPS 48268 WITH SCORE 48381.209
AT ITER 874 NEW BEST:: SOT 188185 SOS 113140 HAS SOPS 113140 HAS SOUS 48259 HAS SOUPS 48259 WITH SCORE 48372.14
AT ITER 880 NEW BEST:: SOT 188245 SOS 111630 HAS SOPS 111630 HAS SOUS 48087 HAS SOUPS 48087 WITH SCORE 48198.63
AT ITER 894 NEW BEST:: SOT 188093 SOS 111478 HAS SOPS 111478 HAS SOUS 48011 HAS SOUPS 48011 WITH SCORE 48122.478
AT ITER 900 NEW BEST:: SOT 188086 SOS 111509 HAS SOPS 111509 HAS SOUS 47997 HAS SOUPS 47997 WITH SCORE 48108.509
AT ITER 901 NEW BEST:: SOT 187999 SOS 111338 HAS SOPS 111338 HAS SOUS 47994 HAS SOUPS 47994 WITH SCORE 48105.338
AT ITER 902 NEW BEST:: SOT 187991 SOS 111393 HAS SOPS 111393 HAS SOUS 47966 HAS SOUPS 47966 WITH SCORE 48077.393
AT ITER 903 NEW BEST:: SOT 182501 SOS 110735 HAS SOPS 110735 HAS SOUS 45387 HAS SOUPS 45387 WITH SCORE 45497.735
AT ITER 906 NEW BEST:: SOT 182173 SOS 110045 HAS SOPS 110045 HAS SOUS 45223 HAS SOUPS 45223 WITH SCORE 45333.045
AT ITER 920 NEW BEST:: SOT 182175 SOS 110047 HAS SOPS 110047 HAS SOUS 45216 HAS SOUPS 45216 WITH SCORE 45326.047
AT ITER 922 NEW BEST:: SOT 182217 SOS 109517 HAS SOPS 109517 HAS SOUS 44982 HAS SOUPS 44982 WITH SCORE 45091.517
AT ITER 926 NEW BEST:: SOT 182217 SOS 109517 HAS SOPS 109517 HAS SOUS 44968 HAS SOUPS 44968 WITH SCORE 45077.517
AT ITER 929 NEW BEST:: SOT 182179 SOS 109257 HAS SOPS 109257 HAS SOUS 44864 HAS SOUPS 44864 WITH SCORE 44973.257
AT ITER 931 NEW BEST:: SOT 181731 SOS 108822 HAS SOPS 108822 HAS SOUS 44711 HAS SOUPS 44711 WITH SCORE 44819.822
AT ITER 932 NEW BEST:: SOT 181244 SOS 108303 HAS SOPS 108303 HAS SOUS 44506 HAS SOUPS 44506 WITH SCORE 44614.303
AT ITER 939 NEW BEST:: SOT 181217 SOS 108149 HAS SOPS 108149 HAS SOUS 44479 HAS SOUPS 44479 WITH SCORE 44587.149
AT ITER 941 NEW BEST:: SOT 180982 SOS 107827 HAS SOPS 107827 HAS SOUS 44231 HAS SOUPS 44231 WITH SCORE 44338.827
AT ITER 943 NEW BEST:: SOT 180982 SOS 107825 HAS SOPS 107825 HAS SOUS 44172 HAS SOUPS 44172 WITH SCORE 44279.825
AT ITER 945 NEW BEST:: SOT 180974 SOS 107817 HAS SOPS 107817 HAS SOUS 43942 HAS SOUPS 43942 WITH SCORE 44049.817
AT ITER 951 NEW BEST:: SOT 180974 SOS 107777 HAS SOPS 107777 HAS SOUS 43942 HAS SOUPS 43942 WITH SCORE 44049.777
AT ITER 959 NEW BEST:: SOT 180968 SOS 108505 HAS SOPS 108505 HAS SOUS 43831 HAS SOUPS 43831 WITH SCORE 43939.505
AT ITER 961 NEW BEST:: SOT 180980 SOS 108485 HAS SOPS 108485 HAS SOUS 43829 HAS SOUPS 43829 WITH SCORE 43937.485
AT ITER 999 NEW BEST:: SOT 180980 SOS 108485 HAS SOPS 108485 HAS SOUS 43819 HAS SOUPS 43819 WITH SCORE 43927.485
AT ITER 1000 NEW BEST:: SOT 180899 SOS 108323 HAS SOPS 108323 HAS SOUS 43819 HAS SOUPS 43819 WITH SCORE 43927.323
AT ITER 1002 NEW BEST:: SOT 180811 SOS 108203 HAS SOPS 108203 HAS SOUS 43727 HAS SOUPS 43727 WITH SCORE 43835.203
AT ITER 1003 NEW BEST:: SOT 180840 SOS 108085 HAS SOPS 108085 HAS SOUS 43674 HAS SOUPS 43674 WITH SCORE 43782.085
AT ITER 1007 NEW BEST:: SOT 180817 SOS 108062 HAS SOPS 108062 HAS SOUS 43649 HAS SOUPS 43649 WITH SCORE 43757.062
AT ITER 1017 NEW BEST:: SOT 180841 SOS 108203 HAS SOPS 108203 HAS SOUS 43486 HAS SOUPS 43486 WITH SCORE 43594.203
AT ITER 1021 NEW BEST:: SOT 180839 SOS 108199 HAS SOPS 108199 HAS SOUS 43484 HAS SOUPS 43484 WITH SCORE 43592.199
AT ITER 1024 NEW BEST:: SOT 180839 SOS 108199 HAS SOPS 108199 HAS SOUS 43437 HAS SOUPS 43437 WITH SCORE 43545.199
AT ITER 1029 NEW BEST:: SOT 180715 SOS 108225 HAS SOPS 108225 HAS SOUS 43307 HAS SOUPS 43307 WITH SCORE 43415.225
AT ITER 1042 NEW BEST:: SOT 180651 SOS 108161 HAS SOPS 108161 HAS SOUS 43307 HAS SOUPS 43307 WITH SCORE 43415.161
AT ITER 1047 NEW BEST:: SOT 180532 SOS 107993 HAS SOPS 107993 HAS SOUS 43155 HAS SOUPS 43155 WITH SCORE 43262.993
AT ITER 1053 NEW BEST:: SOT 180516 SOS 107968 HAS SOPS 107968 HAS SOUS 43151 HAS SOUPS 43151 WITH SCORE 43258.968
AT ITER 1057 NEW BEST:: SOT 180512 SOS 107964 HAS SOPS 107964 HAS SOUS 43143 HAS SOUPS 43143 WITH SCORE 43250.964
AT ITER 1060 NEW BEST:: SOT 180566 SOS 107551 HAS SOPS 107551 HAS SOUS 43111 HAS SOUPS 43111 WITH SCORE 43218.551
AT ITER 1062 NEW BEST:: SOT 180565 SOS 107549 HAS SOPS 107549 HAS SOUS 43109 HAS SOUPS 43109 WITH SCORE 43216.549
AT ITER 1067 NEW BEST:: SOT 180222 SOS 107206 HAS SOPS 107206 HAS SOUS 43098 HAS SOUPS 43098 WITH SCORE 43205.206
AT ITER 1068 NEW BEST:: SOT 180107 SOS 106848 HAS SOPS 106848 HAS SOUS 42919 HAS SOUPS 42919 WITH SCORE 43025.848
AT ITER 1073 NEW BEST:: SOT 180107 SOS 106722 HAS SOPS 106722 HAS SOUS 42919 HAS SOUPS 42919 WITH SCORE 43025.722
AT ITER 1074 NEW BEST:: SOT 180189 SOS 106804 HAS SOPS 106804 HAS SOUS 42913 HAS SOUPS 42913 WITH SCORE 43019.804
AT ITER 1085 NEW BEST:: SOT 180093 SOS 106928 HAS SOPS 106928 HAS SOUS 42764 HAS SOUPS 42764 WITH SCORE 42870.928
AT ITER 1086 NEW BEST:: SOT 180094 SOS 106474 HAS SOPS 106474 HAS SOUS 42757 HAS SOUPS 42757 WITH SCORE 42863.474
AT ITER 1090 NEW BEST:: SOT 179962 SOS 106318 HAS SOPS 106318 HAS SOUS 42493 HAS SOUPS 42493 WITH SCORE 42599.318
AT ITER 1092 NEW BEST:: SOT 179934 SOS 106297 HAS SOPS 106297 HAS SOUS 42458 HAS SOUPS 42458 WITH SCORE 42564.297
AT ITER 1094 NEW BEST:: SOT 179904 SOS 106237 HAS SOPS 106237 HAS SOUS 42428 HAS SOUPS 42428 WITH SCORE 42534.237
AT ITER 1096 NEW BEST:: SOT 180485 SOS 106690 HAS SOPS 106690 HAS SOUS 42217 HAS SOUPS 42217 WITH SCORE 42323.69
AT ITER 1098 NEW BEST:: SOT 180443 SOS 106674 HAS SOPS 106674 HAS SOUS 42203 HAS SOUPS 42203 WITH SCORE 42309.674
AT ITER 1100 NEW BEST:: SOT 180422 SOS 106653 HAS SOPS 106653 HAS SOUS 42191 HAS SOUPS 42191 WITH SCORE 42297.653
AT ITER 1104 NEW BEST:: SOT 180416 SOS 103630 HAS SOPS 103630 HAS SOUS 41877 HAS SOUPS 41877 WITH SCORE 41980.63
AT ITER 1105 NEW BEST:: SOT 180375 SOS 103548 HAS SOPS 103548 HAS SOUS 41824 HAS SOUPS 41824 WITH SCORE 41927.548
AT ITER 1108 NEW BEST:: SOT 180447 SOS 103620 HAS SOPS 103620 HAS SOUS 41800 HAS SOUPS 41800 WITH SCORE 41903.62
AT ITER 1112 NEW BEST:: SOT 180455 SOS 103628 HAS SOPS 103628 HAS SOUS 41784 HAS SOUPS 41784 WITH SCORE 41887.628
AT ITER 1113 NEW BEST:: SOT 180400 SOS 103573 HAS SOPS 103573 HAS SOUS 41526 HAS SOUPS 41526 WITH SCORE 41629.573
AT ITER 1115 NEW BEST:: SOT 180359 SOS 103359 HAS SOPS 103359 HAS SOUS 41489 HAS SOUPS 41489 WITH SCORE 41592.359
AT ITER 1121 NEW BEST:: SOT 180263 SOS 103263 HAS SOPS 103263 HAS SOUS 41348 HAS SOUPS 41348 WITH SCORE 41451.263
AT ITER 1141 NEW BEST:: SOT 179948 SOS 102948 HAS SOPS 102948 HAS SOUS 41138 HAS SOUPS 41138 WITH SCORE 41240.948
AT ITER 1142 NEW BEST:: SOT 179863 SOS 102362 HAS SOPS 102362 HAS SOUS 41122 HAS SOUPS 41122 WITH SCORE 41224.362
AT ITER 1148 NEW BEST:: SOT 179863 SOS 102358 HAS SOPS 102358 HAS SOUS 41116 HAS SOUPS 41116 WITH SCORE 41218.358
AT ITER 1153 NEW BEST:: SOT 179657 SOS 102152 HAS SOPS 102152 HAS SOUS 40957 HAS SOUPS 40957 WITH SCORE 41059.152
AT ITER 1156 NEW BEST:: SOT 179657 SOS 102142 HAS SOPS 102142 HAS SOUS 40947 HAS SOUPS 40947 WITH SCORE 41049.142
AT ITER 1157 NEW BEST:: SOT 179627 SOS 102112 HAS SOPS 102112 HAS SOUS 40917 HAS SOUPS 40917 WITH SCORE 41019.112
AT ITER 1176 NEW BEST:: SOT 179626 SOS 102076 HAS SOPS 102076 HAS SOUS 40893 HAS SOUPS 40893 WITH SCORE 40995.076
AT ITER 1181 NEW BEST:: SOT 179613 SOS 102090 HAS SOPS 102090 HAS SOUS 40880 HAS SOUPS 40880 WITH SCORE 40982.09
AT ITER 1182 NEW BEST:: SOT 179619 SOS 102061 HAS SOPS 102061 HAS SOUS 40852 HAS SOUPS 40852 WITH SCORE 40954.061
AT ITER 1186 NEW BEST:: SOT 179630 SOS 102071 HAS SOPS 102071 HAS SOUS 40764 HAS SOUPS 40764 WITH SCORE 40866.071
AT ITER 1187 NEW BEST:: SOT 179587 SOS 102028 HAS SOPS 102028 HAS SOUS 40739 HAS SOUPS 40739 WITH SCORE 40841.028
AT ITER 1192 NEW BEST:: SOT 179429 SOS 101471 HAS SOPS 101471 HAS SOUS 40665 HAS SOUPS 40665 WITH SCORE 40766.471
AT ITER 1197 NEW BEST:: SOT 179377 SOS 101419 HAS SOPS 101419 HAS SOUS 40581 HAS SOUPS 40581 WITH SCORE 40682.419
AT ITER 1199 NEW BEST:: SOT 179407 SOS 101449 HAS SOPS 101449 HAS SOUS 40566 HAS SOUPS 40566 WITH SCORE 40667.449
AT ITER 1238 NEW BEST:: SOT 179383 SOS 101409 HAS SOPS 101409 HAS SOUS 40534 HAS SOUPS 40534 WITH SCORE 40635.409
AT ITER 1269 NEW BEST:: SOT 179249 SOS 101246 HAS SOPS 101246 HAS SOUS 40492 HAS SOUPS 40492 WITH SCORE 40593.246
AT ITER 1271 NEW BEST:: SOT 179205 SOS 101246 HAS SOPS 101246 HAS SOUS 40377 HAS SOUPS 40377 WITH SCORE 40478.246
AT ITER 1292 NEW BEST:: SOT 179215 SOS 101260 HAS SOPS 101260 HAS SOUS 40375 HAS SOUPS 40375 WITH SCORE 40476.26
AT ITER 1302 NEW BEST:: SOT 179253 SOS 101278 HAS SOPS 101278 HAS SOUS 40285 HAS SOUPS 40285 WITH SCORE 40386.278
AT ITER 1309 NEW BEST:: SOT 179253 SOS 101275 HAS SOPS 101275 HAS SOUS 40285 HAS SOUPS 40285 WITH SCORE 40386.275
AT ITER 1311 NEW BEST:: SOT 179070 SOS 101056 HAS SOPS 101056 HAS SOUS 40142 HAS SOUPS 40142 WITH SCORE 40243.056
AT ITER 1336 NEW BEST:: SOT 179049 SOS 101056 HAS SOPS 101056 HAS SOUS 40121 HAS SOUPS 40121 WITH SCORE 40222.056
AT ITER 1337 NEW BEST:: SOT 179040 SOS 101038 HAS SOPS 101038 HAS SOUS 40114 HAS SOUPS 40114 WITH SCORE 40215.038
AT ITER 1361 NEW BEST:: SOT 179028 SOS 101029 HAS SOPS 101029 HAS SOUS 40102 HAS SOUPS 40102 WITH SCORE 40203.029
AT ITER 1363 NEW BEST:: SOT 179028 SOS 100989 HAS SOPS 100989 HAS SOUS 40073 HAS SOUPS 40073 WITH SCORE 40173.989
AT ITER 1366 NEW BEST:: SOT 179028 SOS 100989 HAS SOPS 100989 HAS SOUS 40051 HAS SOUPS 40051 WITH SCORE 40151.989
AT ITER 1372 NEW BEST:: SOT 179025 SOS 101006 HAS SOPS 101006 HAS SOUS 40045 HAS SOUPS 40045 WITH SCORE 40146.006
AT ITER 1379 NEW BEST:: SOT 178539 SOS 100678 HAS SOPS 100678 HAS SOUS 39914 HAS SOUPS 39914 WITH SCORE 40014.678
AT ITER 1386 NEW BEST:: SOT 178584 SOS 100653 HAS SOPS 100653 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39990.653
AT ITER 1394 NEW BEST:: SOT 178542 SOS 100611 HAS SOPS 100611 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39990.611
AT ITER 1399 NEW BEST:: SOT 178453 SOS 100595 HAS SOPS 100595 HAS SOUS 39754 HAS SOUPS 39754 WITH SCORE 39854.595
AT ITER 1408 NEW BEST:: SOT 178446 SOS 100581 HAS SOPS 100581 HAS SOUS 39740 HAS SOUPS 39740 WITH SCORE 39840.581
AT ITER 1412 NEW BEST:: SOT 178402 SOS 100537 HAS SOPS 100537 HAS SOUS 39678 HAS SOUPS 39678 WITH SCORE 39778.537
AT ITER 1420 NEW BEST:: SOT 178394 SOS 100529 HAS SOPS 100529 HAS SOUS 39662 HAS SOUPS 39662 WITH SCORE 39762.529
AT ITER 1423 NEW BEST:: SOT 178355 SOS 100457 HAS SOPS 100457 HAS SOUS 39571 HAS SOUPS 39571 WITH SCORE 39671.457
AT ITER 1431 NEW BEST:: SOT 178260 SOS 100328 HAS SOPS 100328 HAS SOUS 39568 HAS SOUPS 39568 WITH SCORE 39668.328
AT ITER 1436 NEW BEST:: SOT 178238 SOS 100306 HAS SOPS 100306 HAS SOUS 39548 HAS SOUPS 39548 WITH SCORE 39648.306
AT ITER 1442 NEW BEST:: SOT 178166 SOS 100006 HAS SOPS 100006 HAS SOUS 39540 HAS SOUPS 39540 WITH SCORE 39640.006
AT ITER 1450 NEW BEST:: SOT 178166 SOS 99891 HAS SOPS 99891 HAS SOUS 39517 HAS SOUPS 39517 WITH SCORE 39616.891
AT ITER 1451 NEW BEST:: SOT 178157 SOS 99979 HAS SOPS 99979 HAS SOUS 39508 HAS SOUPS 39508 WITH SCORE 39607.979
AT ITER 1454 NEW BEST:: SOT 178262 SOS 99669 HAS SOPS 99669 HAS SOUS 39332 HAS SOUPS 39332 WITH SCORE 39431.669
AT ITER 1456 NEW BEST:: SOT 178253 SOS 99651 HAS SOPS 99651 HAS SOUS 39323 HAS SOUPS 39323 WITH SCORE 39422.651
AT ITER 1463 NEW BEST:: SOT 178241 SOS 99639 HAS SOPS 99639 HAS SOUS 39313 HAS SOUPS 39313 WITH SCORE 39412.639
AT ITER 1464 NEW BEST:: SOT 178140 SOS 99538 HAS SOPS 99538 HAS SOUS 39281 HAS SOUPS 39281 WITH SCORE 39380.538
AT ITER 1468 NEW BEST:: SOT 178275 SOS 94339 HAS SOPS 94339 HAS SOUS 39143 HAS SOUPS 39143 WITH SCORE 39237.339
AT ITER 1470 NEW BEST:: SOT 178275 SOS 94303 HAS SOPS 94303 HAS SOUS 39143 HAS SOUPS 39143 WITH SCORE 39237.303
AT ITER 1473 NEW BEST:: SOT 178277 SOS 94287 HAS SOPS 94287 HAS SOUS 39143 HAS SOUPS 39143 WITH SCORE 39237.287
AT ITER 1476 NEW BEST:: SOT 178351 SOS 94361 HAS SOPS 94361 HAS SOUS 39075 HAS SOUPS 39075 WITH SCORE 39169.361
AT ITER 1479 NEW BEST:: SOT 178351 SOS 94361 HAS SOPS 94361 HAS SOUS 39068 HAS SOUPS 39068 WITH SCORE 39162.361
AT ITER 1480 NEW BEST:: SOT 178345 SOS 94358 HAS SOPS 94358 HAS SOUS 39059 HAS SOUPS 39059 WITH SCORE 39153.358
AT ITER 1483 NEW BEST:: SOT 178339 SOS 94346 HAS SOPS 94346 HAS SOUS 39053 HAS SOUPS 39053 WITH SCORE 39147.346
AT ITER 1499 NEW BEST:: SOT 178262 SOS 94324 HAS SOPS 94324 HAS SOUS 38933 HAS SOUPS 38933 WITH SCORE 39027.324
AT ITER 1500 NEW BEST:: SOT 178248 SOS 94310 HAS SOPS 94310 HAS SOUS 38875 HAS SOUPS 38875 WITH SCORE 38969.31
AT ITER 1501 NEW BEST:: SOT 178248 SOS 94349 HAS SOPS 94349 HAS SOUS 38862 HAS SOUPS 38862 WITH SCORE 38956.349
AT ITER 1513 NEW BEST:: SOT 178274 SOS 94169 HAS SOPS 94169 HAS SOUS 38808 HAS SOUPS 38808 WITH SCORE 38902.169
AT ITER 1515 NEW BEST:: SOT 178274 SOS 94165 HAS SOPS 94165 HAS SOUS 38803 HAS SOUPS 38803 WITH SCORE 38897.165
AT ITER 1520 NEW BEST:: SOT 178232 SOS 94123 HAS SOPS 94123 HAS SOUS 38772 HAS SOUPS 38772 WITH SCORE 38866.123
AT ITER 1526 NEW BEST:: SOT 178055 SOS 93871 HAS SOPS 93871 HAS SOUS 38595 HAS SOUPS 38595 WITH SCORE 38688.871
AT ITER 1531 NEW BEST:: SOT 178046 SOS 93853 HAS SOPS 93853 HAS SOUS 38586 HAS SOUPS 38586 WITH SCORE 38679.853
AT ITER 1535 NEW BEST:: SOT 178150 SOS 93957 HAS SOPS 93957 HAS SOUS 38580 HAS SOUPS 38580 WITH SCORE 38673.957
AT ITER 1536 NEW BEST:: SOT 177934 SOS 93672 HAS SOPS 93672 HAS SOUS 38394 HAS SOUPS 38394 WITH SCORE 38487.672
AT ITER 1540 NEW BEST:: SOT 177924 SOS 93656 HAS SOPS 93656 HAS SOUS 38291 HAS SOUPS 38291 WITH SCORE 38384.656
AT ITER 1564 NEW BEST:: SOT 177655 SOS 93425 HAS SOPS 93425 HAS SOUS 38288 HAS SOUPS 38288 WITH SCORE 38381.425
AT ITER 1567 NEW BEST:: SOT 177639 SOS 93443 HAS SOPS 93443 HAS SOUS 38272 HAS SOUPS 38272 WITH SCORE 38365.443
AT ITER 1584 NEW BEST:: SOT 177639 SOS 93429 HAS SOPS 93429 HAS SOUS 38272 HAS SOUPS 38272 WITH SCORE 38365.429
AT ITER 1589 NEW BEST:: SOT 177576 SOS 93305 HAS SOPS 93305 HAS SOUS 38209 HAS SOUPS 38209 WITH SCORE 38302.305
AT ITER 1593 NEW BEST:: SOT 177152 SOS 92667 HAS SOPS 92667 HAS SOUS 37501 HAS SOUPS 37501 WITH SCORE 37593.667
AT ITER 1594 NEW BEST:: SOT 177197 SOS 92518 HAS SOPS 92518 HAS SOUS 37398 HAS SOUPS 37398 WITH SCORE 37490.518
AT ITER 1607 NEW BEST:: SOT 177276 SOS 92668 HAS SOPS 92668 HAS SOUS 37390 HAS SOUPS 37390 WITH SCORE 37482.668
AT ITER 1611 NEW BEST:: SOT 177215 SOS 92546 HAS SOPS 92546 HAS SOUS 37268 HAS SOUPS 37268 WITH SCORE 37360.546
AT ITER 1619 NEW BEST:: SOT 177200 SOS 92531 HAS SOPS 92531 HAS SOUS 37248 HAS SOUPS 37248 WITH SCORE 37340.531
AT ITER 1631 NEW BEST:: SOT 177190 SOS 92521 HAS SOPS 92521 HAS SOUS 36793 HAS SOUPS 36793 WITH SCORE 36885.521
AT ITER 1639 NEW BEST:: SOT 177187 SOS 92518 HAS SOPS 92518 HAS SOUS 36793 HAS SOUPS 36793 WITH SCORE 36885.518
AT ITER 1641 NEW BEST:: SOT 177254 SOS 92585 HAS SOPS 92585 HAS SOUS 36780 HAS SOUPS 36780 WITH SCORE 36872.585
AT ITER 1646 NEW BEST:: SOT 177379 SOS 92434 HAS SOPS 92434 HAS SOUS 36770 HAS SOUPS 36770 WITH SCORE 36862.434
AT ITER 1657 NEW BEST:: SOT 177349 SOS 92384 HAS SOPS 92384 HAS SOUS 36729 HAS SOUPS 36729 WITH SCORE 36821.384
AT ITER 1665 NEW BEST:: SOT 177385 SOS 92456 HAS SOPS 92456 HAS SOUS 36686 HAS SOUPS 36686 WITH SCORE 36778.456
AT ITER 1670 NEW BEST:: SOT 177572 SOS 92472 HAS SOPS 92472 HAS SOUS 36659 HAS SOUPS 36659 WITH SCORE 36751.472
AT ITER 1677 NEW BEST:: SOT 177556 SOS 92446 HAS SOPS 92446 HAS SOUS 36641 HAS SOUPS 36641 WITH SCORE 36733.446
AT ITER 1696 NEW BEST:: SOT 177552 SOS 92444 HAS SOPS 92444 HAS SOUS 36637 HAS SOUPS 36637 WITH SCORE 36729.444
AT ITER 1709 NEW BEST:: SOT 177438 SOS 92265 HAS SOPS 92265 HAS SOUS 36487 HAS SOUPS 36487 WITH SCORE 36579.265
AT ITER 1721 NEW BEST:: SOT 177306 SOS 92095 HAS SOPS 92095 HAS SOUS 36336 HAS SOUPS 36336 WITH SCORE 36428.095
AT ITER 1735 NEW BEST:: SOT 177142 SOS 91899 HAS SOPS 91899 HAS SOUS 35926 HAS SOUPS 35926 WITH SCORE 36017.899
AT ITER 1737 NEW BEST:: SOT 177146 SOS 91901 HAS SOPS 91901 HAS SOUS 35924 HAS SOUPS 35924 WITH SCORE 36015.901
AT ITER 1755 NEW BEST:: SOT 177024 SOS 91501 HAS SOPS 91501 HAS SOUS 35756 HAS SOUPS 35756 WITH SCORE 35847.501
AT ITER 1756 NEW BEST:: SOT 176985 SOS 91462 HAS SOPS 91462 HAS SOUS 35743 HAS SOUPS 35743 WITH SCORE 35834.462
AT ITER 1770 NEW BEST:: SOT 177000 SOS 91571 HAS SOPS 91571 HAS SOUS 35729 HAS SOUPS 35729 WITH SCORE 35820.571
AT ITER 1784 NEW BEST:: SOT 177000 SOS 91571 HAS SOPS 91571 HAS SOUS 35693 HAS SOUPS 35693 WITH SCORE 35784.571
AT ITER 1786 NEW BEST:: SOT 176969 SOS 91560 HAS SOPS 91560 HAS SOUS 35673 HAS SOUPS 35673 WITH SCORE 35764.56
AT ITER 1791 NEW BEST:: SOT 176969 SOS 91560 HAS SOPS 91560 HAS SOUS 35670 HAS SOUPS 35670 WITH SCORE 35761.56
AT ITER 1794 NEW BEST:: SOT 176969 SOS 91560 HAS SOPS 91560 HAS SOUS 35660 HAS SOUPS 35660 WITH SCORE 35751.56
AT ITER 1810 NEW BEST:: SOT 176663 SOS 91305 HAS SOPS 91305 HAS SOUS 35612 HAS SOUPS 35612 WITH SCORE 35703.305
AT ITER 1817 NEW BEST:: SOT 176626 SOS 91231 HAS SOPS 91231 HAS SOUS 35575 HAS SOUPS 35575 WITH SCORE 35666.231
AT ITER 1825 NEW BEST:: SOT 176546 SOS 91151 HAS SOPS 91151 HAS SOUS 35543 HAS SOUPS 35543 WITH SCORE 35634.151
AT ITER 1829 NEW BEST:: SOT 176546 SOS 91151 HAS SOPS 91151 HAS SOUS 35521 HAS SOUPS 35521 WITH SCORE 35612.151
AT ITER 1830 NEW BEST:: SOT 176538 SOS 91141 HAS SOPS 91141 HAS SOUS 35410 HAS SOUPS 35410 WITH SCORE 35501.141
AT ITER 1839 NEW BEST:: SOT 176538 SOS 91097 HAS SOPS 91097 HAS SOUS 35410 HAS SOUPS 35410 WITH SCORE 35501.097
AT ITER 1850 NEW BEST:: SOT 176528 SOS 91067 HAS SOPS 91067 HAS SOUS 35395 HAS SOUPS 35395 WITH SCORE 35486.067
AT ITER 1851 NEW BEST:: SOT 176528 SOS 91055 HAS SOPS 91055 HAS SOUS 35388 HAS SOUPS 35388 WITH SCORE 35479.055
AT ITER 1854 NEW BEST:: SOT 176498 SOS 90812 HAS SOPS 90812 HAS SOUS 35350 HAS SOUPS 35350 WITH SCORE 35440.812
AT ITER 1856 NEW BEST:: SOT 176455 SOS 90752 HAS SOPS 90752 HAS SOUS 35224 HAS SOUPS 35224 WITH SCORE 35314.752
AT ITER 1857 NEW BEST:: SOT 176418 SOS 90567 HAS SOPS 90567 HAS SOUS 35187 HAS SOUPS 35187 WITH SCORE 35277.567
AT ITER 1885 NEW BEST:: SOT 176384 SOS 90545 HAS SOPS 90545 HAS SOUS 35153 HAS SOUPS 35153 WITH SCORE 35243.545
AT ITER 1889 NEW BEST:: SOT 176384 SOS 90545 HAS SOPS 90545 HAS SOUS 35141 HAS SOUPS 35141 WITH SCORE 35231.545
AT ITER 1890 NEW BEST:: SOT 176380 SOS 90533 HAS SOPS 90533 HAS SOUS 35135 HAS SOUPS 35135 WITH SCORE 35225.533
AT ITER 1893 NEW BEST:: SOT 176330 SOS 90483 HAS SOPS 90483 HAS SOUS 35060 HAS SOUPS 35060 WITH SCORE 35150.483
AT ITER 1895 NEW BEST:: SOT 176318 SOS 90483 HAS SOPS 90483 HAS SOUS 35048 HAS SOUPS 35048 WITH SCORE 35138.483
AT ITER 1900 NEW BEST:: SOT 176326 SOS 90491 HAS SOPS 90491 HAS SOUS 35032 HAS SOUPS 35032 WITH SCORE 35122.491
AT ITER 1915 NEW BEST:: SOT 176302 SOS 90495 HAS SOPS 90495 HAS SOUS 35008 HAS SOUPS 35008 WITH SCORE 35098.495
AT ITER 1922 NEW BEST:: SOT 176245 SOS 90566 HAS SOPS 90566 HAS SOUS 34898 HAS SOUPS 34898 WITH SCORE 34988.566
AT ITER 1927 NEW BEST:: SOT 176120 SOS 89912 HAS SOPS 89912 HAS SOUS 34898 HAS SOUPS 34898 WITH SCORE 34987.912
AT ITER 1934 NEW BEST:: SOT 176138 SOS 90044 HAS SOPS 90044 HAS SOUS 34893 HAS SOUPS 34893 WITH SCORE 34983.044
AT ITER 1936 NEW BEST:: SOT 176128 SOS 90036 HAS SOPS 90036 HAS SOUS 34885 HAS SOUPS 34885 WITH SCORE 34975.036
AT ITER 1947 NEW BEST:: SOT 176112 SOS 89994 HAS SOPS 89994 HAS SOUS 34846 HAS SOUPS 34846 WITH SCORE 34935.994
AT ITER 1948 NEW BEST:: SOT 176123 SOS 90016 HAS SOPS 90016 HAS SOUS 34817 HAS SOUPS 34817 WITH SCORE 34907.016
AT ITER 1950 NEW BEST:: SOT 175871 SOS 89764 HAS SOPS 89764 HAS SOUS 34637 HAS SOUPS 34637 WITH SCORE 34726.764
AT ITER 1958 NEW BEST:: SOT 175874 SOS 89767 HAS SOPS 89767 HAS SOUS 34634 HAS SOUPS 34634 WITH SCORE 34723.767
AT ITER 1968 NEW BEST:: SOT 175866 SOS 89711 HAS SOPS 89711 HAS SOUS 34618 HAS SOUPS 34618 WITH SCORE 34707.711
AT ITER 1983 NEW BEST:: SOT 175866 SOS 89709 HAS SOPS 89709 HAS SOUS 34618 HAS SOUPS 34618 WITH SCORE 34707.709
AT ITER 1999 NEW BEST:: SOT 175850 SOS 89873 HAS SOPS 89873 HAS SOUS 34570 HAS SOUPS 34570 WITH SCORE 34659.873
AT ITER 2000 NEW BEST:: SOT 175843 SOS 89859 HAS SOPS 89859 HAS SOUS 34563 HAS SOUPS 34563 WITH SCORE 34652.859
AT ITER 2004 NEW BEST:: SOT 175747 SOS 89715 HAS SOPS 89715 HAS SOUS 34371 HAS SOUPS 34371 WITH SCORE 34460.715
AT ITER 2017 NEW BEST:: SOT 175652 SOS 89620 HAS SOPS 89620 HAS SOUS 34295 HAS SOUPS 34295 WITH SCORE 34384.62
AT ITER 2019 NEW BEST:: SOT 175649 SOS 89608 HAS SOPS 89608 HAS SOUS 34291 HAS SOUPS 34291 WITH SCORE 34380.608
AT ITER 2026 NEW BEST:: SOT 175646 SOS 89605 HAS SOPS 89605 HAS SOUS 34288 HAS SOUPS 34288 WITH SCORE 34377.605
AT ITER 2029 NEW BEST:: SOT 175573 SOS 89515 HAS SOPS 89515 HAS SOUS 34184 HAS SOUPS 34184 WITH SCORE 34273.515
AT ITER 2045 NEW BEST:: SOT 175571 SOS 89511 HAS SOPS 89511 HAS SOUS 34153 HAS SOUPS 34153 WITH SCORE 34242.511
AT ITER 2048 NEW BEST:: SOT 175112 SOS 89052 HAS SOPS 89052 HAS SOUS 34108 HAS SOUPS 34108 WITH SCORE 34197.052
AT ITER 2056 NEW BEST:: SOT 175100 SOS 89037 HAS SOPS 89037 HAS SOUS 34108 HAS SOUPS 34108 WITH SCORE 34197.037
AT ITER 2071 NEW BEST:: SOT 174994 SOS 88931 HAS SOPS 88931 HAS SOUS 33970 HAS SOUPS 33970 WITH SCORE 34058.931
AT ITER 2073 NEW BEST:: SOT 174989 SOS 88861 HAS SOPS 88861 HAS SOUS 33922 HAS SOUPS 33922 WITH SCORE 34010.861
AT ITER 2077 NEW BEST:: SOT 174881 SOS 88721 HAS SOPS 88721 HAS SOUS 33760 HAS SOUPS 33760 WITH SCORE 33848.721
AT ITER 2081 NEW BEST:: SOT 174881 SOS 88705 HAS SOPS 88705 HAS SOUS 33760 HAS SOUPS 33760 WITH SCORE 33848.705
AT ITER 2104 NEW BEST:: SOT 174842 SOS 88655 HAS SOPS 88655 HAS SOUS 33721 HAS SOUPS 33721 WITH SCORE 33809.655
AT ITER 2136 NEW BEST:: SOT 174802 SOS 88633 HAS SOPS 88633 HAS SOUS 33693 HAS SOUPS 33693 WITH SCORE 33781.633
AT ITER 2181 NEW BEST:: SOT 174803 SOS 88634 HAS SOPS 88634 HAS SOUS 33553 HAS SOUPS 33553 WITH SCORE 33641.634
AT ITER 2183 NEW BEST:: SOT 174803 SOS 88634 HAS SOPS 88634 HAS SOUS 33547 HAS SOUPS 33547 WITH SCORE 33635.634
AT ITER 2184 NEW BEST:: SOT 174737 SOS 88568 HAS SOPS 88568 HAS SOUS 33481 HAS SOUPS 33481 WITH SCORE 33569.568
AT ITER 2185 NEW BEST:: SOT 174725 SOS 88520 HAS SOPS 88520 HAS SOUS 33469 HAS SOUPS 33469 WITH SCORE 33557.52
AT ITER 2186 NEW BEST:: SOT 174743 SOS 88335 HAS SOPS 88335 HAS SOUS 33369 HAS SOUPS 33369 WITH SCORE 33457.335
AT ITER 2189 NEW BEST:: SOT 174610 SOS 88083 HAS SOPS 88083 HAS SOUS 33337 HAS SOUPS 33337 WITH SCORE 33425.083
AT ITER 2193 NEW BEST:: SOT 174596 SOS 88069 HAS SOPS 88069 HAS SOUS 33291 HAS SOUPS 33291 WITH SCORE 33379.069
AT ITER 2194 NEW BEST:: SOT 174565 SOS 88038 HAS SOPS 88038 HAS SOUS 33259 HAS SOUPS 33259 WITH SCORE 33347.038
AT ITER 2202 NEW BEST:: SOT 174535 SOS 87993 HAS SOPS 87993 HAS SOUS 33199 HAS SOUPS 33199 WITH SCORE 33286.993
AT ITER 2214 NEW BEST:: SOT 174543 SOS 87984 HAS SOPS 87984 HAS SOUS 33190 HAS SOUPS 33190 WITH SCORE 33277.984
AT ITER 2223 NEW BEST:: SOT 174525 SOS 87416 HAS SOPS 87416 HAS SOUS 33113 HAS SOUPS 33113 WITH SCORE 33200.416
AT ITER 2231 NEW BEST:: SOT 174533 SOS 87408 HAS SOPS 87408 HAS SOUS 33113 HAS SOUPS 33113 WITH SCORE 33200.408
AT ITER 2233 NEW BEST:: SOT 174501 SOS 87344 HAS SOPS 87344 HAS SOUS 33081 HAS SOUPS 33081 WITH SCORE 33168.344
AT ITER 2244 NEW BEST:: SOT 174315 SOS 87158 HAS SOPS 87158 HAS SOUS 32733 HAS SOUPS 32733 WITH SCORE 32820.158
AT ITER 2285 NEW BEST:: SOT 173694 SOS 90843 HAS SOPS 90843 HAS SOUS 32642 HAS SOUPS 32642 WITH SCORE 32732.843
AT ITER 2286 NEW BEST:: SOT 173700 SOS 90895 HAS SOPS 90895 HAS SOUS 32624 HAS SOUPS 32624 WITH SCORE 32714.895
AT ITER 2292 NEW BEST:: SOT 173581 SOS 90663 HAS SOPS 90663 HAS SOUS 32505 HAS SOUPS 32505 WITH SCORE 32595.663
AT ITER 2294 NEW BEST:: SOT 173521 SOS 90603 HAS SOPS 90603 HAS SOUS 32439 HAS SOUPS 32439 WITH SCORE 32529.603
AT ITER 2295 NEW BEST:: SOT 173517 SOS 90599 HAS SOPS 90599 HAS SOUS 32433 HAS SOUPS 32433 WITH SCORE 32523.599
AT ITER 2297 NEW BEST:: SOT 173473 SOS 90577 HAS SOPS 90577 HAS SOUS 32389 HAS SOUPS 32389 WITH SCORE 32479.577
AT ITER 2305 NEW BEST:: SOT 173409 SOS 90674 HAS SOPS 90674 HAS SOUS 32349 HAS SOUPS 32349 WITH SCORE 32439.674
AT ITER 2310 NEW BEST:: SOT 173399 SOS 90670 HAS SOPS 90670 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32419.67
AT ITER 2322 NEW BEST:: SOT 173324 SOS 90572 HAS SOPS 90572 HAS SOUS 32236 HAS SOUPS 32236 WITH SCORE 32326.572
AT ITER 2324 NEW BEST:: SOT 173074 SOS 89856 HAS SOPS 89856 HAS SOUS 31917 HAS SOUPS 31917 WITH SCORE 32006.856
AT ITER 2333 NEW BEST:: SOT 173071 SOS 89850 HAS SOPS 89850 HAS SOUS 31914 HAS SOUPS 31914 WITH SCORE 32003.85
AT ITER 2337 NEW BEST:: SOT 173039 SOS 89852 HAS SOPS 89852 HAS SOUS 31861 HAS SOUPS 31861 WITH SCORE 31950.852
AT ITER 2341 NEW BEST:: SOT 173039 SOS 89771 HAS SOPS 89771 HAS SOUS 31861 HAS SOUPS 31861 WITH SCORE 31950.771
AT ITER 2358 NEW BEST:: SOT 173034 SOS 89761 HAS SOPS 89761 HAS SOUS 31841 HAS SOUPS 31841 WITH SCORE 31930.761
AT ITER 2363 NEW BEST:: SOT 173044 SOS 89771 HAS SOPS 89771 HAS SOUS 31821 HAS SOUPS 31821 WITH SCORE 31910.771
AT ITER 2387 NEW BEST:: SOT 173034 SOS 89761 HAS SOPS 89761 HAS SOUS 31806 HAS SOUPS 31806 WITH SCORE 31895.761
AT ITER 2388 NEW BEST:: SOT 173078 SOS 89806 HAS SOPS 89806 HAS SOUS 31805 HAS SOUPS 31805 WITH SCORE 31894.806
AT ITER 2390 NEW BEST:: SOT 173032 SOS 89853 HAS SOPS 89853 HAS SOUS 31760 HAS SOUPS 31760 WITH SCORE 31849.853
AT ITER 2391 NEW BEST:: SOT 172792 SOS 89643 HAS SOPS 89643 HAS SOUS 31730 HAS SOUPS 31730 WITH SCORE 31819.643
AT ITER 2405 NEW BEST:: SOT 172765 SOS 89582 HAS SOPS 89582 HAS SOUS 31652 HAS SOUPS 31652 WITH SCORE 31741.582
AT ITER 2417 NEW BEST:: SOT 172590 SOS 89276 HAS SOPS 89276 HAS SOUS 31477 HAS SOUPS 31477 WITH SCORE 31566.276
AT ITER 2429 NEW BEST:: SOT 172538 SOS 89237 HAS SOPS 89237 HAS SOUS 31434 HAS SOUPS 31434 WITH SCORE 31523.237
AT ITER 2449 NEW BEST:: SOT 172522 SOS 89136 HAS SOPS 89136 HAS SOUS 31330 HAS SOUPS 31330 WITH SCORE 31419.136
AT ITER 2453 NEW BEST:: SOT 172523 SOS 89137 HAS SOPS 89137 HAS SOUS 31325 HAS SOUPS 31325 WITH SCORE 31414.137
AT ITER 2458 NEW BEST:: SOT 172510 SOS 89219 HAS SOPS 89219 HAS SOUS 31308 HAS SOUPS 31308 WITH SCORE 31397.219
AT ITER 2460 NEW BEST:: SOT 172522 SOS 89165 HAS SOPS 89165 HAS SOUS 31254 HAS SOUPS 31254 WITH SCORE 31343.165
AT ITER 2463 NEW BEST:: SOT 172492 SOS 88968 HAS SOPS 88968 HAS SOUS 31133 HAS SOUPS 31133 WITH SCORE 31221.968
AT ITER 2465 NEW BEST:: SOT 172479 SOS 88942 HAS SOPS 88942 HAS SOUS 31120 HAS SOUPS 31120 WITH SCORE 31208.942
AT ITER 2481 NEW BEST:: SOT 172479 SOS 88921 HAS SOPS 88921 HAS SOUS 31114 HAS SOUPS 31114 WITH SCORE 31202.921
AT ITER 2484 NEW BEST:: SOT 172376 SOS 88839 HAS SOPS 88839 HAS SOUS 31003 HAS SOUPS 31003 WITH SCORE 31091.839
AT ITER 2486 NEW BEST:: SOT 172292 SOS 88755 HAS SOPS 88755 HAS SOUS 30896 HAS SOUPS 30896 WITH SCORE 30984.755
AT ITER 2488 NEW BEST:: SOT 172292 SOS 88755 HAS SOPS 88755 HAS SOUS 30874 HAS SOUPS 30874 WITH SCORE 30962.755
AT ITER 2492 NEW BEST:: SOT 172204 SOS 88667 HAS SOPS 88667 HAS SOUS 30748 HAS SOUPS 30748 WITH SCORE 30836.667
AT ITER 2521 NEW BEST:: SOT 172194 SOS 88547 HAS SOPS 88547 HAS SOUS 30717 HAS SOUPS 30717 WITH SCORE 30805.547
AT ITER 2528 NEW BEST:: SOT 172200 SOS 88551 HAS SOPS 88551 HAS SOUS 30715 HAS SOUPS 30715 WITH SCORE 30803.551
AT ITER 2546 NEW BEST:: SOT 172308 SOS 88561 HAS SOPS 88561 HAS SOUS 30688 HAS SOUPS 30688 WITH SCORE 30776.561
AT ITER 2548 NEW BEST:: SOT 172307 SOS 88643 HAS SOPS 88643 HAS SOUS 30682 HAS SOUPS 30682 WITH SCORE 30770.643
AT ITER 2560 NEW BEST:: SOT 172323 SOS 88605 HAS SOPS 88605 HAS SOUS 30671 HAS SOUPS 30671 WITH SCORE 30759.605
AT ITER 2562 NEW BEST:: SOT 172111 SOS 88231 HAS SOPS 88231 HAS SOUS 30659 HAS SOUPS 30659 WITH SCORE 30747.231
AT ITER 2564 NEW BEST:: SOT 172113 SOS 88233 HAS SOPS 88233 HAS SOUS 30657 HAS SOUPS 30657 WITH SCORE 30745.233
AT ITER 2570 NEW BEST:: SOT 172069 SOS 88148 HAS SOPS 88148 HAS SOUS 30643 HAS SOUPS 30643 WITH SCORE 30731.148
AT ITER 2592 NEW BEST:: SOT 172055 SOS 88122 HAS SOPS 88122 HAS SOUS 30629 HAS SOUPS 30629 WITH SCORE 30717.122
AT ITER 2593 NEW BEST:: SOT 172039 SOS 88100 HAS SOPS 88100 HAS SOUS 30613 HAS SOUPS 30613 WITH SCORE 30701.1
AT ITER 2596 NEW BEST:: SOT 172019 SOS 87896 HAS SOPS 87896 HAS SOUS 30531 HAS SOUPS 30531 WITH SCORE 30618.896
AT ITER 2610 NEW BEST:: SOT 171995 SOS 87889 HAS SOPS 87889 HAS SOUS 30469 HAS SOUPS 30469 WITH SCORE 30556.889
AT ITER 2620 NEW BEST:: SOT 171697 SOS 88056 HAS SOPS 88056 HAS SOUS 30329 HAS SOUPS 30329 WITH SCORE 30417.056
AT ITER 2628 NEW BEST:: SOT 171529 SOS 88151 HAS SOPS 88151 HAS SOUS 30292 HAS SOUPS 30292 WITH SCORE 30380.151
AT ITER 2632 NEW BEST:: SOT 171523 SOS 88130 HAS SOPS 88130 HAS SOUS 30287 HAS SOUPS 30287 WITH SCORE 30375.13
AT ITER 2641 NEW BEST:: SOT 171507 SOS 88146 HAS SOPS 88146 HAS SOUS 30255 HAS SOUPS 30255 WITH SCORE 30343.146
AT ITER 2662 NEW BEST:: SOT 171507 SOS 88137 HAS SOPS 88137 HAS SOUS 30245 HAS SOUPS 30245 WITH SCORE 30333.137
AT ITER 2667 NEW BEST:: SOT 171507 SOS 88116 HAS SOPS 88116 HAS SOUS 30222 HAS SOUPS 30222 WITH SCORE 30310.116
AT ITER 2677 NEW BEST:: SOT 171544 SOS 88153 HAS SOPS 88153 HAS SOUS 30195 HAS SOUPS 30195 WITH SCORE 30283.153
AT ITER 2691 NEW BEST:: SOT 171544 SOS 88033 HAS SOPS 88033 HAS SOUS 30195 HAS SOUPS 30195 WITH SCORE 30283.033
AT ITER 2705 NEW BEST:: SOT 171554 SOS 87975 HAS SOPS 87975 HAS SOUS 30181 HAS SOUPS 30181 WITH SCORE 30268.975
AT ITER 2706 NEW BEST:: SOT 171537 SOS 87932 HAS SOPS 87932 HAS SOUS 30140 HAS SOUPS 30140 WITH SCORE 30227.932
AT ITER 2714 NEW BEST:: SOT 171595 SOS 87990 HAS SOPS 87990 HAS SOUS 30120 HAS SOUPS 30120 WITH SCORE 30207.99
AT ITER 2727 NEW BEST:: SOT 171457 SOS 87852 HAS SOPS 87852 HAS SOUS 30070 HAS SOUPS 30070 WITH SCORE 30157.852
AT ITER 2733 NEW BEST:: SOT 171771 SOS 88166 HAS SOPS 88166 HAS SOUS 30017 HAS SOUPS 30017 WITH SCORE 30105.166
AT ITER 2738 NEW BEST:: SOT 171787 SOS 88182 HAS SOPS 88182 HAS SOUS 30001 HAS SOUPS 30001 WITH SCORE 30089.182
AT ITER 2744 NEW BEST:: SOT 171770 SOS 88076 HAS SOPS 88076 HAS SOUS 29984 HAS SOUPS 29984 WITH SCORE 30072.076
AT ITER 2746 NEW BEST:: SOT 171770 SOS 88158 HAS SOPS 88158 HAS SOUS 29958 HAS SOUPS 29958 WITH SCORE 30046.158
AT ITER 2752 NEW BEST:: SOT 171742 SOS 88109 HAS SOPS 88109 HAS SOUS 29897 HAS SOUPS 29897 WITH SCORE 29985.109
AT ITER 2756 NEW BEST:: SOT 171730 SOS 88150 HAS SOPS 88150 HAS SOUS 29868 HAS SOUPS 29868 WITH SCORE 29956.15
AT ITER 2769 NEW BEST:: SOT 171730 SOS 88150 HAS SOPS 88150 HAS SOUS 29841 HAS SOUPS 29841 WITH SCORE 29929.15
AT ITER 2771 NEW BEST:: SOT 171795 SOS 88215 HAS SOPS 88215 HAS SOUS 29710 HAS SOUPS 29710 WITH SCORE 29798.215
AT ITER 2793 NEW BEST:: SOT 171795 SOS 88215 HAS SOPS 88215 HAS SOUS 29691 HAS SOUPS 29691 WITH SCORE 29779.215
AT ITER 2825 NEW BEST:: SOT 171828 SOS 88319 HAS SOPS 88319 HAS SOUS 29671 HAS SOUPS 29671 WITH SCORE 29759.319
AT ITER 2828 NEW BEST:: SOT 171688 SOS 88179 HAS SOPS 88179 HAS SOUS 29647 HAS SOUPS 29647 WITH SCORE 29735.179
AT ITER 2843 NEW BEST:: SOT 171688 SOS 88173 HAS SOPS 88173 HAS SOUS 29644 HAS SOUPS 29644 WITH SCORE 29732.173
AT ITER 2844 NEW BEST:: SOT 171675 SOS 88113 HAS SOPS 88113 HAS SOUS 29631 HAS SOUPS 29631 WITH SCORE 29719.113
AT ITER 2857 NEW BEST:: SOT 171676 SOS 88213 HAS SOPS 88213 HAS SOUS 29614 HAS SOUPS 29614 WITH SCORE 29702.213
AT ITER 2876 NEW BEST:: SOT 171670 SOS 88207 HAS SOPS 88207 HAS SOUS 29608 HAS SOUPS 29608 WITH SCORE 29696.207
AT ITER 2877 NEW BEST:: SOT 171612 SOS 88149 HAS SOPS 88149 HAS SOUS 29591 HAS SOUPS 29591 WITH SCORE 29679.149
AT ITER 2878 NEW BEST:: SOT 171578 SOS 88115 HAS SOPS 88115 HAS SOUS 29564 HAS SOUPS 29564 WITH SCORE 29652.115
AT ITER 2879 NEW BEST:: SOT 171554 SOS 88091 HAS SOPS 88091 HAS SOUS 29564 HAS SOUPS 29564 WITH SCORE 29652.091
AT ITER 2901 NEW BEST:: SOT 171480 SOS 87983 HAS SOPS 87983 HAS SOUS 29462 HAS SOUPS 29462 WITH SCORE 29549.983
AT ITER 2908 NEW BEST:: SOT 171501 SOS 87901 HAS SOPS 87901 HAS SOUS 29439 HAS SOUPS 29439 WITH SCORE 29526.901
AT ITER 2918 NEW BEST:: SOT 171495 SOS 87895 HAS SOPS 87895 HAS SOUS 29439 HAS SOUPS 29439 WITH SCORE 29526.895
AT ITER 2929 NEW BEST:: SOT 171495 SOS 87881 HAS SOPS 87881 HAS SOUS 29439 HAS SOUPS 29439 WITH SCORE 29526.881
AT ITER 2936 NEW BEST:: SOT 171450 SOS 87836 HAS SOPS 87836 HAS SOUS 29435 HAS SOUPS 29435 WITH SCORE 29522.836
AT ITER 2939 NEW BEST:: SOT 171497 SOS 87744 HAS SOPS 87744 HAS SOUS 29404 HAS SOUPS 29404 WITH SCORE 29491.744
AT ITER 2948 NEW BEST:: SOT 171400 SOS 87600 HAS SOPS 87600 HAS SOUS 29307 HAS SOUPS 29307 WITH SCORE 29394.6
AT ITER 2951 NEW BEST:: SOT 171370 SOS 87570 HAS SOPS 87570 HAS SOUS 29290 HAS SOUPS 29290 WITH SCORE 29377.57
AT ITER 2953 NEW BEST:: SOT 171630 SOS 88120 HAS SOPS 88120 HAS SOUS 29174 HAS SOUPS 29174 WITH SCORE 29262.12
AT ITER 2999 NEW BEST:: SOT 171457 SOS 87947 HAS SOPS 87947 HAS SOUS 29147 HAS SOUPS 29147 WITH SCORE 29234.947
AT ITER 3011 NEW BEST:: SOT 171436 SOS 87926 HAS SOPS 87926 HAS SOUS 29143 HAS SOUPS 29143 WITH SCORE 29230.926
AT ITER 3014 NEW BEST:: SOT 171433 SOS 87900 HAS SOPS 87900 HAS SOUS 29140 HAS SOUPS 29140 WITH SCORE 29227.9
AT ITER 3024 NEW BEST:: SOT 171349 SOS 87788 HAS SOPS 87788 HAS SOUS 29056 HAS SOUPS 29056 WITH SCORE 29143.788
AT ITER 3026 NEW BEST:: SOT 171331 SOS 87770 HAS SOPS 87770 HAS SOUS 29018 HAS SOUPS 29018 WITH SCORE 29105.77
AT ITER 3048 NEW BEST:: SOT 171331 SOS 87770 HAS SOPS 87770 HAS SOUS 29014 HAS SOUPS 29014 WITH SCORE 29101.77
AT ITER 3061 NEW BEST:: SOT 171331 SOS 87804 HAS SOPS 87804 HAS SOUS 28996 HAS SOUPS 28996 WITH SCORE 29083.804
AT ITER 3073 NEW BEST:: SOT 171202 SOS 87492 HAS SOPS 87492 HAS SOUS 28837 HAS SOUPS 28837 WITH SCORE 28924.492
AT ITER 3074 NEW BEST:: SOT 171208 SOS 87498 HAS SOPS 87498 HAS SOUS 28834 HAS SOUPS 28834 WITH SCORE 28921.498
AT ITER 3076 NEW BEST:: SOT 171180 SOS 87440 HAS SOPS 87440 HAS SOUS 28799 HAS SOUPS 28799 WITH SCORE 28886.44
AT ITER 3084 NEW BEST:: SOT 171060 SOS 87384 HAS SOPS 87384 HAS SOUS 28772 HAS SOUPS 28772 WITH SCORE 28859.384
AT ITER 3107 NEW BEST:: SOT 170815 SOS 87541 HAS SOPS 87541 HAS SOUS 28679 HAS SOUPS 28679 WITH SCORE 28766.541
AT ITER 3114 NEW BEST:: SOT 170726 SOS 87452 HAS SOPS 87452 HAS SOUS 28603 HAS SOUPS 28603 WITH SCORE 28690.452
AT ITER 3131 NEW BEST:: SOT 170738 SOS 87488 HAS SOPS 87488 HAS SOUS 28591 HAS SOUPS 28591 WITH SCORE 28678.488
AT ITER 3132 NEW BEST:: SOT 170732 SOS 87476 HAS SOPS 87476 HAS SOUS 28585 HAS SOUPS 28585 WITH SCORE 28672.476
AT ITER 3157 NEW BEST:: SOT 170627 SOS 87371 HAS SOPS 87371 HAS SOUS 28513 HAS SOUPS 28513 WITH SCORE 28600.371
AT ITER 3166 NEW BEST:: SOT 170545 SOS 87129 HAS SOPS 87129 HAS SOUS 28392 HAS SOUPS 28392 WITH SCORE 28479.129
AT ITER 3175 NEW BEST:: SOT 170547 SOS 87133 HAS SOPS 87133 HAS SOUS 28386 HAS SOUPS 28386 WITH SCORE 28473.133
AT ITER 3186 NEW BEST:: SOT 170546 SOS 87131 HAS SOPS 87131 HAS SOUS 28385 HAS SOUPS 28385 WITH SCORE 28472.131
AT ITER 3189 NEW BEST:: SOT 170518 SOS 87103 HAS SOPS 87103 HAS SOUS 28357 HAS SOUPS 28357 WITH SCORE 28444.103
AT ITER 3202 NEW BEST:: SOT 170492 SOS 87016 HAS SOPS 87016 HAS SOUS 28297 HAS SOUPS 28297 WITH SCORE 28384.016
AT ITER 3204 NEW BEST:: SOT 170516 SOS 87040 HAS SOPS 87040 HAS SOUS 28295 HAS SOUPS 28295 WITH SCORE 28382.04
AT ITER 3214 NEW BEST:: SOT 170519 SOS 86938 HAS SOPS 86938 HAS SOUS 28274 HAS SOUPS 28274 WITH SCORE 28360.938
AT ITER 3225 NEW BEST:: SOT 170477 SOS 86896 HAS SOPS 86896 HAS SOUS 28274 HAS SOUPS 28274 WITH SCORE 28360.896
AT ITER 3239 NEW BEST:: SOT 170428 SOS 86847 HAS SOPS 86847 HAS SOUS 28243 HAS SOUPS 28243 WITH SCORE 28329.847
AT ITER 3241 NEW BEST:: SOT 170436 SOS 86873 HAS SOPS 86873 HAS SOUS 28224 HAS SOUPS 28224 WITH SCORE 28310.873
AT ITER 3253 NEW BEST:: SOT 170428 SOS 86865 HAS SOPS 86865 HAS SOUS 28200 HAS SOUPS 28200 WITH SCORE 28286.865
AT ITER 3257 NEW BEST:: SOT 170299 SOS 86691 HAS SOPS 86691 HAS SOUS 28186 HAS SOUPS 28186 WITH SCORE 28272.691
AT ITER 3279 NEW BEST:: SOT 170246 SOS 86601 HAS SOPS 86601 HAS SOUS 28078 HAS SOUPS 28078 WITH SCORE 28164.601
AT ITER 3291 NEW BEST:: SOT 170242 SOS 86573 HAS SOPS 86573 HAS SOUS 28002 HAS SOUPS 28002 WITH SCORE 28088.573
AT ITER 3309 NEW BEST:: SOT 170212 SOS 86543 HAS SOPS 86543 HAS SOUS 27979 HAS SOUPS 27979 WITH SCORE 28065.543
AT ITER 3325 NEW BEST:: SOT 170289 SOS 86623 HAS SOPS 86623 HAS SOUS 27965 HAS SOUPS 27965 WITH SCORE 28051.623
AT ITER 3333 NEW BEST:: SOT 170274 SOS 86593 HAS SOPS 86593 HAS SOUS 27962 HAS SOUPS 27962 WITH SCORE 28048.593
AT ITER 3368 NEW BEST:: SOT 170230 SOS 86483 HAS SOPS 86483 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 28004.483
AT ITER 3373 NEW BEST:: SOT 170220 SOS 86473 HAS SOPS 86473 HAS SOUS 27908 HAS SOUPS 27908 WITH SCORE 27994.473
AT ITER 3377 NEW BEST:: SOT 170020 SOS 86273 HAS SOPS 86273 HAS SOUS 27681 HAS SOUPS 27681 WITH SCORE 27767.273
AT ITER 3381 NEW BEST:: SOT 170010 SOS 86263 HAS SOPS 86263 HAS SOUS 27671 HAS SOUPS 27671 WITH SCORE 27757.263
AT ITER 3391 NEW BEST:: SOT 169980 SOS 86235 HAS SOPS 86235 HAS SOUS 27651 HAS SOUPS 27651 WITH SCORE 27737.235
AT ITER 3405 NEW BEST:: SOT 169977 SOS 86232 HAS SOPS 86232 HAS SOUS 27645 HAS SOUPS 27645 WITH SCORE 27731.232
AT ITER 3408 NEW BEST:: SOT 169677 SOS 85889 HAS SOPS 85889 HAS SOUS 27474 HAS SOUPS 27474 WITH SCORE 27559.889
AT ITER 3435 NEW BEST:: SOT 169668 SOS 85809 HAS SOPS 85809 HAS SOUS 27414 HAS SOUPS 27414 WITH SCORE 27499.809
AT ITER 3440 NEW BEST:: SOT 169663 SOS 85824 HAS SOPS 85824 HAS SOUS 27404 HAS SOUPS 27404 WITH SCORE 27489.824
AT ITER 3441 NEW BEST:: SOT 169173 SOS 85122 HAS SOPS 85122 HAS SOUS 27338 HAS SOUPS 27338 WITH SCORE 27423.122
AT ITER 3455 NEW BEST:: SOT 169226 SOS 84953 HAS SOPS 84953 HAS SOUS 27319 HAS SOUPS 27319 WITH SCORE 27403.953
AT ITER 3460 NEW BEST:: SOT 169196 SOS 84923 HAS SOPS 84923 HAS SOUS 27291 HAS SOUPS 27291 WITH SCORE 27375.923
AT ITER 3462 NEW BEST:: SOT 169194 SOS 84921 HAS SOPS 84921 HAS SOUS 27287 HAS SOUPS 27287 WITH SCORE 27371.921
AT ITER 3465 NEW BEST:: SOT 169201 SOS 84889 HAS SOPS 84889 HAS SOUS 27278 HAS SOUPS 27278 WITH SCORE 27362.889
AT ITER 3484 NEW BEST:: SOT 169201 SOS 84889 HAS SOPS 84889 HAS SOUS 27262 HAS SOUPS 27262 WITH SCORE 27346.889
AT ITER 3489 NEW BEST:: SOT 169201 SOS 84852 HAS SOPS 84852 HAS SOUS 27245 HAS SOUPS 27245 WITH SCORE 27329.852
AT ITER 3511 NEW BEST:: SOT 169210 SOS 84955 HAS SOPS 84955 HAS SOUS 27237 HAS SOUPS 27237 WITH SCORE 27321.955
AT ITER 3541 NEW BEST:: SOT 169223 SOS 85050 HAS SOPS 85050 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27312.05
AT ITER 3552 NEW BEST:: SOT 169223 SOS 85137 HAS SOPS 85137 HAS SOUS 27198 HAS SOUPS 27198 WITH SCORE 27283.137
AT ITER 3558 NEW BEST:: SOT 169090 SOS 84923 HAS SOPS 84923 HAS SOUS 27174 HAS SOUPS 27174 WITH SCORE 27258.923
AT ITER 3572 NEW BEST:: SOT 169102 SOS 84935 HAS SOPS 84935 HAS SOUS 27168 HAS SOUPS 27168 WITH SCORE 27252.935
AT ITER 3602 NEW BEST:: SOT 169083 SOS 84897 HAS SOPS 84897 HAS SOUS 27149 HAS SOUPS 27149 WITH SCORE 27233.897
AT ITER 3620 NEW BEST:: SOT 169037 SOS 84805 HAS SOPS 84805 HAS SOUS 27102 HAS SOUPS 27102 WITH SCORE 27186.805
AT ITER 3634 NEW BEST:: SOT 169011 SOS 84779 HAS SOPS 84779 HAS SOUS 27076 HAS SOUPS 27076 WITH SCORE 27160.779
AT ITER 3637 NEW BEST:: SOT 169013 SOS 84783 HAS SOPS 84783 HAS SOUS 27035 HAS SOUPS 27035 WITH SCORE 27119.783
AT ITER 3661 NEW BEST:: SOT 168993 SOS 84743 HAS SOPS 84743 HAS SOUS 27035 HAS SOUPS 27035 WITH SCORE 27119.743
AT ITER 3667 NEW BEST:: SOT 168993 SOS 84753 HAS SOPS 84753 HAS SOUS 27029 HAS SOUPS 27029 WITH SCORE 27113.753
AT ITER 3674 NEW BEST:: SOT 168993 SOS 84779 HAS SOPS 84779 HAS SOUS 27016 HAS SOUPS 27016 WITH SCORE 27100.779
AT ITER 3678 NEW BEST:: SOT 168967 SOS 84753 HAS SOPS 84753 HAS SOUS 26990 HAS SOUPS 26990 WITH SCORE 27074.753
AT ITER 3710 NEW BEST:: SOT 168967 SOS 84702 HAS SOPS 84702 HAS SOUS 26984 HAS SOUPS 26984 WITH SCORE 27068.702
AT ITER 3731 NEW BEST:: SOT 168965 SOS 84686 HAS SOPS 84686 HAS SOUS 26980 HAS SOUPS 26980 WITH SCORE 27064.686
AT ITER 3740 NEW BEST:: SOT 168704 SOS 84585 HAS SOPS 84585 HAS SOUS 26921 HAS SOUPS 26921 WITH SCORE 27005.585
AT ITER 3758 NEW BEST:: SOT 168839 SOS 84682 HAS SOPS 84682 HAS SOUS 26820 HAS SOUPS 26820 WITH SCORE 26904.682
AT ITER 3764 NEW BEST:: SOT 168727 SOS 84570 HAS SOPS 84570 HAS SOUS 26697 HAS SOUPS 26697 WITH SCORE 26781.57
AT ITER 3773 NEW BEST:: SOT 168713 SOS 84556 HAS SOPS 84556 HAS SOUS 26655 HAS SOUPS 26655 WITH SCORE 26739.556
AT ITER 3786 NEW BEST:: SOT 168700 SOS 84524 HAS SOPS 84524 HAS SOUS 26608 HAS SOUPS 26608 WITH SCORE 26692.524
AT ITER 3790 NEW BEST:: SOT 168700 SOS 84502 HAS SOPS 84502 HAS SOUS 26608 HAS SOUPS 26608 WITH SCORE 26692.502
AT ITER 3798 NEW BEST:: SOT 168700 SOS 84502 HAS SOPS 84502 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26680.502
AT ITER 3848 NEW BEST:: SOT 168690 SOS 84482 HAS SOPS 84482 HAS SOUS 26586 HAS SOUPS 26586 WITH SCORE 26670.482
AT ITER 3861 NEW BEST:: SOT 168706 SOS 84498 HAS SOPS 84498 HAS SOUS 26572 HAS SOUPS 26572 WITH SCORE 26656.498
AT ITER 3866 NEW BEST:: SOT 168513 SOS 84236 HAS SOPS 84236 HAS SOUS 26379 HAS SOUPS 26379 WITH SCORE 26463.236
AT ITER 3873 NEW BEST:: SOT 168517 SOS 84257 HAS SOPS 84257 HAS SOUS 26370 HAS SOUPS 26370 WITH SCORE 26454.257
AT ITER 3880 NEW BEST:: SOT 168526 SOS 84249 HAS SOPS 84249 HAS SOUS 26346 HAS SOUPS 26346 WITH SCORE 26430.249
AT ITER 3887 NEW BEST:: SOT 168544 SOS 84275 HAS SOPS 84275 HAS SOUS 26340 HAS SOUPS 26340 WITH SCORE 26424.275
AT ITER 3890 NEW BEST:: SOT 168544 SOS 84258 HAS SOPS 84258 HAS SOUS 26333 HAS SOUPS 26333 WITH SCORE 26417.258
AT ITER 3891 NEW BEST:: SOT 168544 SOS 84258 HAS SOPS 84258 HAS SOUS 26328 HAS SOUPS 26328 WITH SCORE 26412.258
AT ITER 3908 NEW BEST:: SOT 168531 SOS 84145 HAS SOPS 84145 HAS SOUS 26327 HAS SOUPS 26327 WITH SCORE 26411.145
AT ITER 3911 NEW BEST:: SOT 168530 SOS 84142 HAS SOPS 84142 HAS SOUS 26322 HAS SOUPS 26322 WITH SCORE 26406.142
AT ITER 3914 NEW BEST:: SOT 168501 SOS 84118 HAS SOPS 84118 HAS SOUS 26299 HAS SOUPS 26299 WITH SCORE 26383.118
AT ITER 3919 NEW BEST:: SOT 168296 SOS 83949 HAS SOPS 83949 HAS SOUS 26182 HAS SOUPS 26182 WITH SCORE 26265.949
AT ITER 3925 NEW BEST:: SOT 168299 SOS 83946 HAS SOPS 83946 HAS SOUS 26179 HAS SOUPS 26179 WITH SCORE 26262.946
AT ITER 3931 NEW BEST:: SOT 168198 SOS 83780 HAS SOPS 83780 HAS SOUS 26094 HAS SOUPS 26094 WITH SCORE 26177.78
AT ITER 3937 NEW BEST:: SOT 168194 SOS 83932 HAS SOPS 83932 HAS SOUS 26088 HAS SOUPS 26088 WITH SCORE 26171.932
AT ITER 3940 NEW BEST:: SOT 168074 SOS 83648 HAS SOPS 83648 HAS SOUS 26055 HAS SOUPS 26055 WITH SCORE 26138.648
AT ITER 3947 NEW BEST:: SOT 168067 SOS 83639 HAS SOPS 83639 HAS SOUS 26054 HAS SOUPS 26054 WITH SCORE 26137.639
AT ITER 3965 NEW BEST:: SOT 168067 SOS 83657 HAS SOPS 83657 HAS SOUS 26045 HAS SOUPS 26045 WITH SCORE 26128.657
AT ITER 3979 NEW BEST:: SOT 168032 SOS 83587 HAS SOPS 83587 HAS SOUS 26010 HAS SOUPS 26010 WITH SCORE 26093.587
AT ITER 3980 NEW BEST:: SOT 168018 SOS 83565 HAS SOPS 83565 HAS SOUS 25996 HAS SOUPS 25996 WITH SCORE 26079.565
AT ITER 3981 NEW BEST:: SOT 168029 SOS 83580 HAS SOPS 83580 HAS SOUS 25973 HAS SOUPS 25973 WITH SCORE 26056.58
AT ITER 4009 NEW BEST:: SOT 168029 SOS 83580 HAS SOPS 83580 HAS SOUS 25972 HAS SOUPS 25972 WITH SCORE 26055.58
AT ITER 4013 NEW BEST:: SOT 168018 SOS 83558 HAS SOPS 83558 HAS SOUS 25961 HAS SOUPS 25961 WITH SCORE 26044.558
AT ITER 4033 NEW BEST:: SOT 168018 SOS 83558 HAS SOPS 83558 HAS SOUS 25951 HAS SOUPS 25951 WITH SCORE 26034.558
AT ITER 4041 NEW BEST:: SOT 167940 SOS 83431 HAS SOPS 83431 HAS SOUS 25889 HAS SOUPS 25889 WITH SCORE 25972.431
AT ITER 4069 NEW BEST:: SOT 167830 SOS 83201 HAS SOPS 83201 HAS SOUS 25869 HAS SOUPS 25869 WITH SCORE 25952.201
AT ITER 4082 NEW BEST:: SOT 167831 SOS 83201 HAS SOPS 83201 HAS SOUS 25868 HAS SOUPS 25868 WITH SCORE 25951.201
AT ITER 4083 NEW BEST:: SOT 167809 SOS 83075 HAS SOPS 83075 HAS SOUS 25819 HAS SOUPS 25819 WITH SCORE 25902.075
AT ITER 4123 NEW BEST:: SOT 167794 SOS 83055 HAS SOPS 83055 HAS SOUS 25800 HAS SOUPS 25800 WITH SCORE 25883.055
AT ITER 4128 NEW BEST:: SOT 167803 SOS 83024 HAS SOPS 83024 HAS SOUS 25783 HAS SOUPS 25783 WITH SCORE 25866.024
AT ITER 4129 NEW BEST:: SOT 167585 SOS 82638 HAS SOPS 82638 HAS SOUS 25632 HAS SOUPS 25632 WITH SCORE 25714.638
AT ITER 4140 NEW BEST:: SOT 167590 SOS 82628 HAS SOPS 82628 HAS SOUS 25632 HAS SOUPS 25632 WITH SCORE 25714.628
AT ITER 4146 NEW BEST:: SOT 167689 SOS 82093 HAS SOPS 82093 HAS SOUS 25593 HAS SOUPS 25593 WITH SCORE 25675.093
AT ITER 4148 NEW BEST:: SOT 167657 SOS 82238 HAS SOPS 82238 HAS SOUS 25574 HAS SOUPS 25574 WITH SCORE 25656.238
AT ITER 4172 NEW BEST:: SOT 167655 SOS 82232 HAS SOPS 82232 HAS SOUS 25570 HAS SOUPS 25570 WITH SCORE 25652.232
AT ITER 4206 NEW BEST:: SOT 167746 SOS 82329 HAS SOPS 82329 HAS SOUS 25556 HAS SOUPS 25556 WITH SCORE 25638.329
AT ITER 4207 NEW BEST:: SOT 167741 SOS 82319 HAS SOPS 82319 HAS SOUS 25551 HAS SOUPS 25551 WITH SCORE 25633.319
AT ITER 4233 NEW BEST:: SOT 167782 SOS 82360 HAS SOPS 82360 HAS SOUS 25469 HAS SOUPS 25469 WITH SCORE 25551.36
AT ITER 4264 NEW BEST:: SOT 167733 SOS 82311 HAS SOPS 82311 HAS SOUS 25453 HAS SOUPS 25453 WITH SCORE 25535.311
AT ITER 4267 NEW BEST:: SOT 167583 SOS 81995 HAS SOPS 81995 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25510.995
AT ITER 4298 NEW BEST:: SOT 167567 SOS 81973 HAS SOPS 81973 HAS SOUS 25395 HAS SOUPS 25395 WITH SCORE 25476.973
AT ITER 4300 NEW BEST:: SOT 167465 SOS 81842 HAS SOPS 81842 HAS SOUS 25373 HAS SOUPS 25373 WITH SCORE 25454.842
AT ITER 4305 NEW BEST:: SOT 167497 SOS 81729 HAS SOPS 81729 HAS SOUS 25369 HAS SOUPS 25369 WITH SCORE 25450.729
AT ITER 4340 NEW BEST:: SOT 167497 SOS 81717 HAS SOPS 81717 HAS SOUS 25369 HAS SOUPS 25369 WITH SCORE 25450.717
AT ITER 4341 NEW BEST:: SOT 167497 SOS 81707 HAS SOPS 81707 HAS SOUS 25364 HAS SOUPS 25364 WITH SCORE 25445.707
AT ITER 4349 NEW BEST:: SOT 167493 SOS 81683 HAS SOPS 81683 HAS SOUS 25356 HAS SOUPS 25356 WITH SCORE 25437.683
AT ITER 4361 NEW BEST:: SOT 167493 SOS 81683 HAS SOPS 81683 HAS SOUS 25350 HAS SOUPS 25350 WITH SCORE 25431.683
AT ITER 4379 NEW BEST:: SOT 167468 SOS 81633 HAS SOPS 81633 HAS SOUS 25325 HAS SOUPS 25325 WITH SCORE 25406.633
AT ITER 4397 NEW BEST:: SOT 167481 SOS 81633 HAS SOPS 81633 HAS SOUS 25312 HAS SOUPS 25312 WITH SCORE 25393.633
AT ITER 4402 NEW BEST:: SOT 167475 SOS 81615 HAS SOPS 81615 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25384.615
AT ITER 4413 NEW BEST:: SOT 167475 SOS 81613 HAS SOPS 81613 HAS SOUS 25302 HAS SOUPS 25302 WITH SCORE 25383.613
AT ITER 4414 NEW BEST:: SOT 167456 SOS 81570 HAS SOPS 81570 HAS SOUS 25295 HAS SOUPS 25295 WITH SCORE 25376.57
AT ITER 4426 NEW BEST:: SOT 167450 SOS 81522 HAS SOPS 81522 HAS SOUS 25283 HAS SOUPS 25283 WITH SCORE 25364.522
AT ITER 4430 NEW BEST:: SOT 167452 SOS 81541 HAS SOPS 81541 HAS SOUS 25282 HAS SOUPS 25282 WITH SCORE 25363.541
AT ITER 4466 NEW BEST:: SOT 167458 SOS 81573 HAS SOPS 81573 HAS SOUS 25262 HAS SOUPS 25262 WITH SCORE 25343.573
AT ITER 4467 NEW BEST:: SOT 167457 SOS 81553 HAS SOPS 81553 HAS SOUS 25249 HAS SOUPS 25249 WITH SCORE 25330.553
AT ITER 4558 NEW BEST:: SOT 167450 SOS 81583 HAS SOPS 81583 HAS SOUS 25231 HAS SOUPS 25231 WITH SCORE 25312.583
AT ITER 4574 NEW BEST:: SOT 167383 SOS 81542 HAS SOPS 81542 HAS SOUS 25164 HAS SOUPS 25164 WITH SCORE 25245.542
AT ITER 4577 NEW BEST:: SOT 167371 SOS 81546 HAS SOPS 81546 HAS SOUS 25144 HAS SOUPS 25144 WITH SCORE 25225.546
AT ITER 4586 NEW BEST:: SOT 167342 SOS 81765 HAS SOPS 81765 HAS SOUS 25105 HAS SOUPS 25105 WITH SCORE 25186.765
AT ITER 4588 NEW BEST:: SOT 167326 SOS 81695 HAS SOPS 81695 HAS SOUS 25070 HAS SOUPS 25070 WITH SCORE 25151.695
AT ITER 4598 NEW BEST:: SOT 167320 SOS 81668 HAS SOPS 81668 HAS SOUS 25051 HAS SOUPS 25051 WITH SCORE 25132.668
AT ITER 4605 NEW BEST:: SOT 167269 SOS 81566 HAS SOPS 81566 HAS SOUS 25000 HAS SOUPS 25000 WITH SCORE 25081.566
AT ITER 4610 NEW BEST:: SOT 167205 SOS 81502 HAS SOPS 81502 HAS SOUS 24909 HAS SOUPS 24909 WITH SCORE 24990.502
AT ITER 4625 NEW BEST:: SOT 167195 SOS 81492 HAS SOPS 81492 HAS SOUS 24905 HAS SOUPS 24905 WITH SCORE 24986.492
AT ITER 4626 NEW BEST:: SOT 167165 SOS 81390 HAS SOPS 81390 HAS SOUS 24895 HAS SOUPS 24895 WITH SCORE 24976.39
AT ITER 4638 NEW BEST:: SOT 167141 SOS 81341 HAS SOPS 81341 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24897.341
AT ITER 4639 NEW BEST:: SOT 167130 SOS 81303 HAS SOPS 81303 HAS SOUS 24808 HAS SOUPS 24808 WITH SCORE 24889.303
AT ITER 4653 NEW BEST:: SOT 167127 SOS 81297 HAS SOPS 81297 HAS SOUS 24805 HAS SOUPS 24805 WITH SCORE 24886.297
AT ITER 4672 NEW BEST:: SOT 167111 SOS 81427 HAS SOPS 81427 HAS SOUS 24768 HAS SOUPS 24768 WITH SCORE 24849.427
AT ITER 4710 NEW BEST:: SOT 166774 SOS 81090 HAS SOPS 81090 HAS SOUS 24483 HAS SOUPS 24483 WITH SCORE 24564.09
AT ITER 4727 NEW BEST:: SOT 166768 SOS 81082 HAS SOPS 81082 HAS SOUS 24477 HAS SOUPS 24477 WITH SCORE 24558.082
AT ITER 4758 NEW BEST:: SOT 166768 SOS 81082 HAS SOPS 81082 HAS SOUS 24476 HAS SOUPS 24476 WITH SCORE 24557.082
AT ITER 4760 NEW BEST:: SOT 166764 SOS 81076 HAS SOPS 81076 HAS SOUS 24467 HAS SOUPS 24467 WITH SCORE 24548.076
AT ITER 4764 NEW BEST:: SOT 166725 SOS 80644 HAS SOPS 80644 HAS SOUS 24407 HAS SOUPS 24407 WITH SCORE 24487.644
AT ITER 4767 NEW BEST:: SOT 166725 SOS 80612 HAS SOPS 80612 HAS SOUS 24391 HAS SOUPS 24391 WITH SCORE 24471.612
AT ITER 4784 NEW BEST:: SOT 166718 SOS 80612 HAS SOPS 80612 HAS SOUS 24384 HAS SOUPS 24384 WITH SCORE 24464.612
AT ITER 4790 NEW BEST:: SOT 166706 SOS 80552 HAS SOPS 80552 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24437.552
AT ITER 4871 NEW BEST:: SOT 166721 SOS 80502 HAS SOPS 80502 HAS SOUS 24345 HAS SOUPS 24345 WITH SCORE 24425.502
AT ITER 4890 NEW BEST:: SOT 166731 SOS 80532 HAS SOPS 80532 HAS SOUS 24315 HAS SOUPS 24315 WITH SCORE 24395.532
AT ITER 4898 NEW BEST:: SOT 166675 SOS 80428 HAS SOPS 80428 HAS SOUS 24266 HAS SOUPS 24266 WITH SCORE 24346.428
AT ITER 4905 NEW BEST:: SOT 166670 SOS 80394 HAS SOPS 80394 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24341.394
AT ITER 4913 NEW BEST:: SOT 166654 SOS 80378 HAS SOPS 80378 HAS SOUS 24246 HAS SOUPS 24246 WITH SCORE 24326.378
AT ITER 4914 NEW BEST:: SOT 166651 SOS 80366 HAS SOPS 80366 HAS SOUS 24246 HAS SOUPS 24246 WITH SCORE 24326.366
AT ITER 4927 NEW BEST:: SOT 166658 SOS 80373 HAS SOPS 80373 HAS SOUS 24243 HAS SOUPS 24243 WITH SCORE 24323.373
AT ITER 4935 NEW BEST:: SOT 166658 SOS 80382 HAS SOPS 80382 HAS SOUS 24240 HAS SOUPS 24240 WITH SCORE 24320.382
AT ITER 4972 NEW BEST:: SOT 166664 SOS 80306 HAS SOPS 80306 HAS SOUS 24228 HAS SOUPS 24228 WITH SCORE 24308.306
AT ITER 4978 NEW BEST:: SOT 166656 SOS 80299 HAS SOPS 80299 HAS SOUS 24225 HAS SOUPS 24225 WITH SCORE 24305.299
AT ITER 5004 NEW BEST:: SOT 166660 SOS 80303 HAS SOPS 80303 HAS SOUS 24215 HAS SOUPS 24215 WITH SCORE 24295.303
AT ITER 5037 NEW BEST:: SOT 166622 SOS 80265 HAS SOPS 80265 HAS SOUS 24215 HAS SOUPS 24215 WITH SCORE 24295.265
AT ITER 5053 NEW BEST:: SOT 166592 SOS 80215 HAS SOPS 80215 HAS SOUS 24201 HAS SOUPS 24201 WITH SCORE 24281.215
AT ITER 5062 NEW BEST:: SOT 166574 SOS 80197 HAS SOPS 80197 HAS SOUS 24174 HAS SOUPS 24174 WITH SCORE 24254.197
AT ITER 5079 NEW BEST:: SOT 166573 SOS 80180 HAS SOPS 80180 HAS SOUS 24168 HAS SOUPS 24168 WITH SCORE 24248.18
AT ITER 5122 NEW BEST:: SOT 166573 SOS 80156 HAS SOPS 80156 HAS SOUS 24156 HAS SOUPS 24156 WITH SCORE 24236.156
AT ITER 5124 NEW BEST:: SOT 166619 SOS 80190 HAS SOPS 80190 HAS SOUS 24150 HAS SOUPS 24150 WITH SCORE 24230.19
AT ITER 5137 NEW BEST:: SOT 166604 SOS 80172 HAS SOPS 80172 HAS SOUS 24135 HAS SOUPS 24135 WITH SCORE 24215.172
AT ITER 5145 NEW BEST:: SOT 166581 SOS 80170 HAS SOPS 80170 HAS SOUS 24115 HAS SOUPS 24115 WITH SCORE 24195.17
AT ITER 5151 NEW BEST:: SOT 166493 SOS 80071 HAS SOPS 80071 HAS SOUS 24089 HAS SOUPS 24089 WITH SCORE 24169.071
AT ITER 5152 NEW BEST:: SOT 166442 SOS 80014 HAS SOPS 80014 HAS SOUS 24059 HAS SOUPS 24059 WITH SCORE 24139.014
AT ITER 5160 NEW BEST:: SOT 166414 SOS 79986 HAS SOPS 79986 HAS SOUS 24006 HAS SOUPS 24006 WITH SCORE 24085.986
AT ITER 5170 NEW BEST:: SOT 166409 SOS 79996 HAS SOPS 79996 HAS SOUS 24001 HAS SOUPS 24001 WITH SCORE 24080.996
AT ITER 5174 NEW BEST:: SOT 166413 SOS 80028 HAS SOPS 80028 HAS SOUS 24000 HAS SOUPS 24000 WITH SCORE 24080.028
AT ITER 5256 NEW BEST:: SOT 166413 SOS 79988 HAS SOPS 79988 HAS SOUS 23980 HAS SOUPS 23980 WITH SCORE 24059.988
AT ITER 5280 NEW BEST:: SOT 166381 SOS 79908 HAS SOPS 79908 HAS SOUS 23960 HAS SOUPS 23960 WITH SCORE 24039.908
AT ITER 5289 NEW BEST:: SOT 166363 SOS 79944 HAS SOPS 79944 HAS SOUS 23942 HAS SOUPS 23942 WITH SCORE 24021.944
AT ITER 5307 NEW BEST:: SOT 166316 SOS 79781 HAS SOPS 79781 HAS SOUS 23923 HAS SOUPS 23923 WITH SCORE 24002.781
AT ITER 5315 NEW BEST:: SOT 166306 SOS 79799 HAS SOPS 79799 HAS SOUS 23913 HAS SOUPS 23913 WITH SCORE 23992.799
AT ITER 5317 NEW BEST:: SOT 166300 SOS 79797 HAS SOPS 79797 HAS SOUS 23887 HAS SOUPS 23887 WITH SCORE 23966.797
AT ITER 5332 NEW BEST:: SOT 166265 SOS 79743 HAS SOPS 79743 HAS SOUS 23863 HAS SOUPS 23863 WITH SCORE 23942.743
AT ITER 5369 NEW BEST:: SOT 166240 SOS 79771 HAS SOPS 79771 HAS SOUS 23852 HAS SOUPS 23852 WITH SCORE 23931.771
AT ITER 5420 NEW BEST:: SOT 166070 SOS 78660 HAS SOPS 78660 HAS SOUS 23698 HAS SOUPS 23698 WITH SCORE 23776.66
AT ITER 5460 NEW BEST:: SOT 165996 SOS 78586 HAS SOPS 78586 HAS SOUS 23681 HAS SOUPS 23681 WITH SCORE 23759.586
AT ITER 5466 NEW BEST:: SOT 165987 SOS 78596 HAS SOPS 78596 HAS SOUS 23672 HAS SOUPS 23672 WITH SCORE 23750.596
AT ITER 5486 NEW BEST:: SOT 165935 SOS 78557 HAS SOPS 78557 HAS SOUS 23620 HAS SOUPS 23620 WITH SCORE 23698.557
AT ITER 5507 NEW BEST:: SOT 165932 SOS 79101 HAS SOPS 79101 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23696.101
AT ITER 5512 NEW BEST:: SOT 165932 SOS 79019 HAS SOPS 79019 HAS SOUS 23590 HAS SOUPS 23590 WITH SCORE 23669.019
AT ITER 5525 NEW BEST:: SOT 165928 SOS 79015 HAS SOPS 79015 HAS SOUS 23586 HAS SOUPS 23586 WITH SCORE 23665.015
AT ITER 5531 NEW BEST:: SOT 165876 SOS 78263 HAS SOPS 78263 HAS SOUS 23547 HAS SOUPS 23547 WITH SCORE 23625.263
AT ITER 5541 NEW BEST:: SOT 165796 SOS 78188 HAS SOPS 78188 HAS SOUS 23542 HAS SOUPS 23542 WITH SCORE 23620.188
AT ITER 5594 NEW BEST:: SOT 165786 SOS 78174 HAS SOPS 78174 HAS SOUS 23532 HAS SOUPS 23532 WITH SCORE 23610.174
AT ITER 5639 NEW BEST:: SOT 165675 SOS 78073 HAS SOPS 78073 HAS SOUS 23399 HAS SOUPS 23399 WITH SCORE 23477.073
AT ITER 5647 NEW BEST:: SOT 165619 SOS 77997 HAS SOPS 77997 HAS SOUS 23307 HAS SOUPS 23307 WITH SCORE 23384.997
AT ITER 5666 NEW BEST:: SOT 165613 SOS 77983 HAS SOPS 77983 HAS SOUS 23301 HAS SOUPS 23301 WITH SCORE 23378.983
AT ITER 5677 NEW BEST:: SOT 165560 SOS 77807 HAS SOPS 77807 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23357.807
AT ITER 5678 NEW BEST:: SOT 165555 SOS 77907 HAS SOPS 77907 HAS SOUS 23275 HAS SOUPS 23275 WITH SCORE 23352.907
AT ITER 5682 NEW BEST:: SOT 165601 SOS 77978 HAS SOPS 77978 HAS SOUS 23261 HAS SOUPS 23261 WITH SCORE 23338.978
AT ITER 5687 NEW BEST:: SOT 165575 SOS 77960 HAS SOPS 77960 HAS SOUS 23255 HAS SOUPS 23255 WITH SCORE 23332.96
AT ITER 5734 NEW BEST:: SOT 165554 SOS 77939 HAS SOPS 77939 HAS SOUS 23255 HAS SOUPS 23255 WITH SCORE 23332.939
AT ITER 5739 NEW BEST:: SOT 165534 SOS 77739 HAS SOPS 77739 HAS SOUS 23220 HAS SOUPS 23220 WITH SCORE 23297.739
AT ITER 5743 NEW BEST:: SOT 165530 SOS 77731 HAS SOPS 77731 HAS SOUS 23216 HAS SOUPS 23216 WITH SCORE 23293.731
AT ITER 5764 NEW BEST:: SOT 165529 SOS 77778 HAS SOPS 77778 HAS SOUS 23213 HAS SOUPS 23213 WITH SCORE 23290.778
AT ITER 5811 NEW BEST:: SOT 165528 SOS 77776 HAS SOPS 77776 HAS SOUS 23211 HAS SOUPS 23211 WITH SCORE 23288.776
AT ITER 5836 NEW BEST:: SOT 165528 SOS 77776 HAS SOPS 77776 HAS SOUS 23207 HAS SOUPS 23207 WITH SCORE 23284.776
AT ITER 5859 NEW BEST:: SOT 165445 SOS 77390 HAS SOPS 77390 HAS SOUS 23050 HAS SOUPS 23050 WITH SCORE 23127.39
AT ITER 5866 NEW BEST:: SOT 165424 SOS 77326 HAS SOPS 77326 HAS SOUS 23024 HAS SOUPS 23024 WITH SCORE 23101.326
AT ITER 5868 NEW BEST:: SOT 165337 SOS 77164 HAS SOPS 77164 HAS SOUS 22997 HAS SOUPS 22997 WITH SCORE 23074.164
AT ITER 5870 NEW BEST:: SOT 165337 SOS 77006 HAS SOPS 77006 HAS SOUS 22997 HAS SOUPS 22997 WITH SCORE 23074.006
AT ITER 5880 NEW BEST:: SOT 165334 SOS 77000 HAS SOPS 77000 HAS SOUS 22994 HAS SOUPS 22994 WITH SCORE 23071.0
AT ITER 5891 NEW BEST:: SOT 165311 SOS 76989 HAS SOPS 76989 HAS SOUS 22971 HAS SOUPS 22971 WITH SCORE 23047.989
AT ITER 5933 NEW BEST:: SOT 165305 SOS 76978 HAS SOPS 76978 HAS SOUS 22970 HAS SOUPS 22970 WITH SCORE 23046.978
AT ITER 5935 NEW BEST:: SOT 165305 SOS 76981 HAS SOPS 76981 HAS SOUS 22959 HAS SOUPS 22959 WITH SCORE 23035.981
AT ITER 5940 NEW BEST:: SOT 165249 SOS 76893 HAS SOPS 76893 HAS SOUS 22902 HAS SOUPS 22902 WITH SCORE 22978.893
AT ITER 5951 NEW BEST:: SOT 165263 SOS 76866 HAS SOPS 76866 HAS SOUS 22900 HAS SOUPS 22900 WITH SCORE 22976.866
AT ITER 5980 NEW BEST:: SOT 165281 SOS 76832 HAS SOPS 76832 HAS SOUS 22898 HAS SOUPS 22898 WITH SCORE 22974.832
AT ITER 6000 NEW BEST:: SOT 165201 SOS 76750 HAS SOPS 76750 HAS SOUS 22860 HAS SOUPS 22860 WITH SCORE 22936.75
AT ITER 6004 NEW BEST:: SOT 165191 SOS 76740 HAS SOPS 76740 HAS SOUS 22860 HAS SOUPS 22860 WITH SCORE 22936.74
AT ITER 6032 NEW BEST:: SOT 165189 SOS 76751 HAS SOPS 76751 HAS SOUS 22856 HAS SOUPS 22856 WITH SCORE 22932.751
AT ITER 6054 NEW BEST:: SOT 165189 SOS 76749 HAS SOPS 76749 HAS SOUS 22855 HAS SOUPS 22855 WITH SCORE 22931.749
AT ITER 6099 NEW BEST:: SOT 165164 SOS 76671 HAS SOPS 76671 HAS SOUS 22830 HAS SOUPS 22830 WITH SCORE 22906.671
AT ITER 6130 NEW BEST:: SOT 165161 SOS 76671 HAS SOPS 76671 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22904.671
AT ITER 6189 NEW BEST:: SOT 165174 SOS 76657 HAS SOPS 76657 HAS SOUS 22827 HAS SOUPS 22827 WITH SCORE 22903.657
AT ITER 6195 NEW BEST:: SOT 165154 SOS 76632 HAS SOPS 76632 HAS SOUS 22827 HAS SOUPS 22827 WITH SCORE 22903.632
AT ITER 6219 NEW BEST:: SOT 165172 SOS 76650 HAS SOPS 76650 HAS SOUS 22821 HAS SOUPS 22821 WITH SCORE 22897.65
AT ITER 6226 NEW BEST:: SOT 165157 SOS 76610 HAS SOPS 76610 HAS SOUS 22802 HAS SOUPS 22802 WITH SCORE 22878.61
AT ITER 6305 NEW BEST:: SOT 165157 SOS 76604 HAS SOPS 76604 HAS SOUS 22799 HAS SOUPS 22799 WITH SCORE 22875.604
AT ITER 6330 NEW BEST:: SOT 164937 SOS 79988 HAS SOPS 79988 HAS SOUS 22786 HAS SOUPS 22786 WITH SCORE 22865.988
AT ITER 6356 NEW BEST:: SOT 164918 SOS 79964 HAS SOPS 79964 HAS SOUS 22723 HAS SOUPS 22723 WITH SCORE 22802.964
AT ITER 6382 NEW BEST:: SOT 164852 SOS 79898 HAS SOPS 79898 HAS SOUS 22657 HAS SOUPS 22657 WITH SCORE 22736.898
AT ITER 6385 NEW BEST:: SOT 164901 SOS 79828 HAS SOPS 79828 HAS SOUS 22622 HAS SOUPS 22622 WITH SCORE 22701.828
AT ITER 6392 NEW BEST:: SOT 164895 SOS 79820 HAS SOPS 79820 HAS SOUS 22615 HAS SOUPS 22615 WITH SCORE 22694.82
AT ITER 6395 NEW BEST:: SOT 164885 SOS 79800 HAS SOPS 79800 HAS SOUS 22605 HAS SOUPS 22605 WITH SCORE 22684.8
AT ITER 6428 NEW BEST:: SOT 164884 SOS 79777 HAS SOPS 79777 HAS SOUS 22584 HAS SOUPS 22584 WITH SCORE 22663.777
AT ITER 6431 NEW BEST:: SOT 164879 SOS 79757 HAS SOPS 79757 HAS SOUS 22569 HAS SOUPS 22569 WITH SCORE 22648.757
AT ITER 6434 NEW BEST:: SOT 164857 SOS 79735 HAS SOPS 79735 HAS SOUS 22558 HAS SOUPS 22558 WITH SCORE 22637.735
AT ITER 6466 NEW BEST:: SOT 164822 SOS 79617 HAS SOPS 79617 HAS SOUS 22526 HAS SOUPS 22526 WITH SCORE 22605.617
AT ITER 6470 NEW BEST:: SOT 164822 SOS 79563 HAS SOPS 79563 HAS SOUS 22526 HAS SOUPS 22526 WITH SCORE 22605.563
AT ITER 6516 NEW BEST:: SOT 164861 SOS 79632 HAS SOPS 79632 HAS SOUS 22496 HAS SOUPS 22496 WITH SCORE 22575.632
AT ITER 6520 NEW BEST:: SOT 164864 SOS 79630 HAS SOPS 79630 HAS SOUS 22492 HAS SOUPS 22492 WITH SCORE 22571.63
AT ITER 6525 NEW BEST:: SOT 164838 SOS 79600 HAS SOPS 79600 HAS SOUS 22466 HAS SOUPS 22466 WITH SCORE 22545.6
AT ITER 6579 NEW BEST:: SOT 164786 SOS 79550 HAS SOPS 79550 HAS SOUS 22425 HAS SOUPS 22425 WITH SCORE 22504.55
AT ITER 6595 NEW BEST:: SOT 164888 SOS 79652 HAS SOPS 79652 HAS SOUS 22407 HAS SOUPS 22407 WITH SCORE 22486.652
AT ITER 6627 NEW BEST:: SOT 164888 SOS 79652 HAS SOPS 79652 HAS SOUS 22401 HAS SOUPS 22401 WITH SCORE 22480.652
AT ITER 6644 NEW BEST:: SOT 164882 SOS 79646 HAS SOPS 79646 HAS SOUS 22395 HAS SOUPS 22395 WITH SCORE 22474.646
AT ITER 6654 NEW BEST:: SOT 164883 SOS 79647 HAS SOPS 79647 HAS SOUS 22377 HAS SOUPS 22377 WITH SCORE 22456.647
AT ITER 6661 NEW BEST:: SOT 164861 SOS 79537 HAS SOPS 79537 HAS SOUS 22355 HAS SOUPS 22355 WITH SCORE 22434.537
AT ITER 6664 NEW BEST:: SOT 164841 SOS 79525 HAS SOPS 79525 HAS SOUS 22341 HAS SOUPS 22341 WITH SCORE 22420.525
AT ITER 6688 NEW BEST:: SOT 164881 SOS 79617 HAS SOPS 79617 HAS SOUS 22325 HAS SOUPS 22325 WITH SCORE 22404.617
AT ITER 6707 NEW BEST:: SOT 164881 SOS 79635 HAS SOPS 79635 HAS SOUS 22319 HAS SOUPS 22319 WITH SCORE 22398.635
AT ITER 6776 NEW BEST:: SOT 164872 SOS 79612 HAS SOPS 79612 HAS SOUS 22296 HAS SOUPS 22296 WITH SCORE 22375.612
AT ITER 6819 NEW BEST:: SOT 164868 SOS 79618 HAS SOPS 79618 HAS SOUS 22264 HAS SOUPS 22264 WITH SCORE 22343.618
AT ITER 6830 NEW BEST:: SOT 164866 SOS 79671 HAS SOPS 79671 HAS SOUS 22260 HAS SOUPS 22260 WITH SCORE 22339.671
AT ITER 6835 NEW BEST:: SOT 164866 SOS 79639 HAS SOPS 79639 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22333.639
AT ITER 6857 NEW BEST:: SOT 164876 SOS 79731 HAS SOPS 79731 HAS SOUS 22241 HAS SOUPS 22241 WITH SCORE 22320.731
AT ITER 6867 NEW BEST:: SOT 164708 SOS 79563 HAS SOPS 79563 HAS SOUS 22194 HAS SOUPS 22194 WITH SCORE 22273.563
AT ITER 6908 NEW BEST:: SOT 164701 SOS 79563 HAS SOPS 79563 HAS SOUS 22187 HAS SOUPS 22187 WITH SCORE 22266.563
AT ITER 6949 NEW BEST:: SOT 164695 SOS 79529 HAS SOPS 79529 HAS SOUS 22125 HAS SOUPS 22125 WITH SCORE 22204.529
AT ITER 6971 NEW BEST:: SOT 164681 SOS 79515 HAS SOPS 79515 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22198.515
AT ITER 6991 NEW BEST:: SOT 164703 SOS 79528 HAS SOPS 79528 HAS SOUS 22100 HAS SOUPS 22100 WITH SCORE 22179.528
AT ITER 7027 NEW BEST:: SOT 164697 SOS 79522 HAS SOPS 79522 HAS SOUS 22098 HAS SOUPS 22098 WITH SCORE 22177.522
AT ITER 7086 NEW BEST:: SOT 164655 SOS 79480 HAS SOPS 79480 HAS SOUS 22080 HAS SOUPS 22080 WITH SCORE 22159.48
AT ITER 7090 NEW BEST:: SOT 164641 SOS 79466 HAS SOPS 79466 HAS SOUS 22076 HAS SOUPS 22076 WITH SCORE 22155.466
AT ITER 7107 NEW BEST:: SOT 164641 SOS 79453 HAS SOPS 79453 HAS SOUS 22063 HAS SOUPS 22063 WITH SCORE 22142.453
AT ITER 7135 NEW BEST:: SOT 164693 SOS 79212 HAS SOPS 79212 HAS SOUS 22038 HAS SOUPS 22038 WITH SCORE 22117.212
AT ITER 7150 NEW BEST:: SOT 164695 SOS 79204 HAS SOPS 79204 HAS SOUS 22038 HAS SOUPS 22038 WITH SCORE 22117.204
AT ITER 7175 NEW BEST:: SOT 164687 SOS 79192 HAS SOPS 79192 HAS SOUS 22030 HAS SOUPS 22030 WITH SCORE 22109.192
AT ITER 7236 NEW BEST:: SOT 164687 SOS 79188 HAS SOPS 79188 HAS SOUS 22030 HAS SOUPS 22030 WITH SCORE 22109.188
AT ITER 7250 NEW BEST:: SOT 164576 SOS 79036 HAS SOPS 79036 HAS SOUS 21891 HAS SOUPS 21891 WITH SCORE 21970.036
AT ITER 7270 NEW BEST:: SOT 164590 SOS 79071 HAS SOPS 79071 HAS SOUS 21884 HAS SOUPS 21884 WITH SCORE 21963.071
AT ITER 7276 NEW BEST:: SOT 164574 SOS 79023 HAS SOPS 79023 HAS SOUS 21860 HAS SOUPS 21860 WITH SCORE 21939.023
AT ITER 7310 NEW BEST:: SOT 164552 SOS 78993 HAS SOPS 78993 HAS SOUS 21838 HAS SOUPS 21838 WITH SCORE 21916.993
AT ITER 7311 NEW BEST:: SOT 164552 SOS 78975 HAS SOPS 78975 HAS SOUS 21804 HAS SOUPS 21804 WITH SCORE 21882.975
AT ITER 7313 NEW BEST:: SOT 164544 SOS 78911 HAS SOPS 78911 HAS SOUS 21772 HAS SOUPS 21772 WITH SCORE 21850.911
AT ITER 7334 NEW BEST:: SOT 164537 SOS 78918 HAS SOPS 78918 HAS SOUS 21765 HAS SOUPS 21765 WITH SCORE 21843.918
AT ITER 7407 NEW BEST:: SOT 164517 SOS 78890 HAS SOPS 78890 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21839.89
AT ITER 7411 NEW BEST:: SOT 164511 SOS 78884 HAS SOPS 78884 HAS SOUS 21731 HAS SOUPS 21731 WITH SCORE 21809.884
AT ITER 7442 NEW BEST:: SOT 164503 SOS 78876 HAS SOPS 78876 HAS SOUS 21723 HAS SOUPS 21723 WITH SCORE 21801.876
AT ITER 7444 NEW BEST:: SOT 164495 SOS 78876 HAS SOPS 78876 HAS SOUS 21715 HAS SOUPS 21715 WITH SCORE 21793.876
AT ITER 7445 NEW BEST:: SOT 164476 SOS 78857 HAS SOPS 78857 HAS SOUS 21708 HAS SOUPS 21708 WITH SCORE 21786.857
AT ITER 7504 NEW BEST:: SOT 164476 SOS 78857 HAS SOPS 78857 HAS SOUS 21698 HAS SOUPS 21698 WITH SCORE 21776.857
AT ITER 7506 NEW BEST:: SOT 164336 SOS 78717 HAS SOPS 78717 HAS SOUS 21614 HAS SOUPS 21614 WITH SCORE 21692.717
AT ITER 7515 NEW BEST:: SOT 164329 SOS 78710 HAS SOPS 78710 HAS SOUS 21575 HAS SOUPS 21575 WITH SCORE 21653.71
AT ITER 7525 NEW BEST:: SOT 164255 SOS 78528 HAS SOPS 78528 HAS SOUS 21501 HAS SOUPS 21501 WITH SCORE 21579.528
AT ITER 7538 NEW BEST:: SOT 164216 SOS 78478 HAS SOPS 78478 HAS SOUS 21493 HAS SOUPS 21493 WITH SCORE 21571.478
AT ITER 7602 NEW BEST:: SOT 164170 SOS 78426 HAS SOPS 78426 HAS SOUS 21465 HAS SOUPS 21465 WITH SCORE 21543.426
AT ITER 7615 NEW BEST:: SOT 164168 SOS 78389 HAS SOPS 78389 HAS SOUS 21429 HAS SOUPS 21429 WITH SCORE 21507.389
AT ITER 7635 NEW BEST:: SOT 164168 SOS 78289 HAS SOPS 78289 HAS SOUS 21429 HAS SOUPS 21429 WITH SCORE 21507.289
AT ITER 7660 NEW BEST:: SOT 164166 SOS 78281 HAS SOPS 78281 HAS SOUS 21427 HAS SOUPS 21427 WITH SCORE 21505.281
AT ITER 7676 NEW BEST:: SOT 164146 SOS 78261 HAS SOPS 78261 HAS SOUS 21407 HAS SOUPS 21407 WITH SCORE 21485.261
AT ITER 7677 NEW BEST:: SOT 164137 SOS 78174 HAS SOPS 78174 HAS SOUS 21334 HAS SOUPS 21334 WITH SCORE 21412.174
AT ITER 7728 NEW BEST:: SOT 164173 SOS 78300 HAS SOPS 78300 HAS SOUS 21316 HAS SOUPS 21316 WITH SCORE 21394.3
AT ITER 7740 NEW BEST:: SOT 164071 SOS 79052 HAS SOPS 79052 HAS SOUS 21278 HAS SOUPS 21278 WITH SCORE 21357.052
AT ITER 7744 NEW BEST:: SOT 164054 SOS 79032 HAS SOPS 79032 HAS SOUS 21275 HAS SOUPS 21275 WITH SCORE 21354.032
AT ITER 7749 NEW BEST:: SOT 164072 SOS 78982 HAS SOPS 78982 HAS SOUS 21265 HAS SOUPS 21265 WITH SCORE 21343.982
AT ITER 7768 NEW BEST:: SOT 164066 SOS 78980 HAS SOPS 78980 HAS SOUS 21259 HAS SOUPS 21259 WITH SCORE 21337.98
AT ITER 7799 NEW BEST:: SOT 164064 SOS 78964 HAS SOPS 78964 HAS SOUS 21259 HAS SOUPS 21259 WITH SCORE 21337.964
AT ITER 7808 NEW BEST:: SOT 164057 SOS 78933 HAS SOPS 78933 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21336.933
AT ITER 7836 NEW BEST:: SOT 164072 SOS 78972 HAS SOPS 78972 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21303.972
AT ITER 7846 NEW BEST:: SOT 164027 SOS 78875 HAS SOPS 78875 HAS SOUS 21218 HAS SOUPS 21218 WITH SCORE 21296.875
AT ITER 7852 NEW BEST:: SOT 163995 SOS 78779 HAS SOPS 78779 HAS SOUS 21186 HAS SOUPS 21186 WITH SCORE 21264.779
AT ITER 7863 NEW BEST:: SOT 163895 SOS 78559 HAS SOPS 78559 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21254.559
AT ITER 7888 NEW BEST:: SOT 163876 SOS 78489 HAS SOPS 78489 HAS SOUS 21157 HAS SOUPS 21157 WITH SCORE 21235.489
AT ITER 8005 NEW BEST:: SOT 163797 SOS 78384 HAS SOPS 78384 HAS SOUS 21093 HAS SOUPS 21093 WITH SCORE 21171.384
AT ITER 8008 NEW BEST:: SOT 163736 SOS 78323 HAS SOPS 78323 HAS SOUS 21059 HAS SOUPS 21059 WITH SCORE 21137.323
AT ITER 8056 NEW BEST:: SOT 163696 SOS 78343 HAS SOPS 78343 HAS SOUS 21008 HAS SOUPS 21008 WITH SCORE 21086.343
AT ITER 8103 NEW BEST:: SOT 163699 SOS 78340 HAS SOPS 78340 HAS SOUS 21004 HAS SOUPS 21004 WITH SCORE 21082.34
AT ITER 8105 NEW BEST:: SOT 163697 SOS 78332 HAS SOPS 78332 HAS SOUS 21004 HAS SOUPS 21004 WITH SCORE 21082.332
AT ITER 8144 NEW BEST:: SOT 163715 SOS 78350 HAS SOPS 78350 HAS SOUS 20994 HAS SOUPS 20994 WITH SCORE 21072.35
AT ITER 8180 NEW BEST:: SOT 163709 SOS 78332 HAS SOPS 78332 HAS SOUS 20988 HAS SOUPS 20988 WITH SCORE 21066.332
AT ITER 8182 NEW BEST:: SOT 163787 SOS 76352 HAS SOPS 76352 HAS SOUS 20988 HAS SOUPS 20988 WITH SCORE 21064.352
AT ITER 8230 NEW BEST:: SOT 163775 SOS 76340 HAS SOPS 76340 HAS SOUS 20967 HAS SOUPS 20967 WITH SCORE 21043.34
AT ITER 8235 NEW BEST:: SOT 163732 SOS 76294 HAS SOPS 76294 HAS SOUS 20951 HAS SOUPS 20951 WITH SCORE 21027.294
AT ITER 8246 NEW BEST:: SOT 163686 SOS 76248 HAS SOPS 76248 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20945.248
AT ITER 8308 NEW BEST:: SOT 163657 SOS 76232 HAS SOPS 76232 HAS SOUS 20866 HAS SOUPS 20866 WITH SCORE 20942.232
AT ITER 8319 NEW BEST:: SOT 163547 SOS 76111 HAS SOPS 76111 HAS SOUS 20831 HAS SOUPS 20831 WITH SCORE 20907.111
AT ITER 8331 NEW BEST:: SOT 163596 SOS 76160 HAS SOPS 76160 HAS SOUS 20820 HAS SOUPS 20820 WITH SCORE 20896.16
AT ITER 8336 NEW BEST:: SOT 163598 SOS 76071 HAS SOPS 76071 HAS SOUS 20798 HAS SOUPS 20798 WITH SCORE 20874.071
AT ITER 8357 NEW BEST:: SOT 163522 SOS 76146 HAS SOPS 76146 HAS SOUS 20797 HAS SOUPS 20797 WITH SCORE 20873.146
AT ITER 8373 NEW BEST:: SOT 163354 SOS 75978 HAS SOPS 75978 HAS SOUS 20698 HAS SOUPS 20698 WITH SCORE 20773.978
AT ITER 8401 NEW BEST:: SOT 163314 SOS 75946 HAS SOPS 75946 HAS SOUS 20674 HAS SOUPS 20674 WITH SCORE 20749.946
AT ITER 8452 NEW BEST:: SOT 163314 SOS 75946 HAS SOPS 75946 HAS SOUS 20671 HAS SOUPS 20671 WITH SCORE 20746.946
AT ITER 8455 NEW BEST:: SOT 163302 SOS 76030 HAS SOPS 76030 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20741.03
AT ITER 8468 NEW BEST:: SOT 163302 SOS 76002 HAS SOPS 76002 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20741.002
AT ITER 8497 NEW BEST:: SOT 163278 SOS 75972 HAS SOPS 75972 HAS SOUS 20659 HAS SOUPS 20659 WITH SCORE 20734.972
AT ITER 8508 NEW BEST:: SOT 163283 SOS 75977 HAS SOPS 75977 HAS SOUS 20654 HAS SOUPS 20654 WITH SCORE 20729.977
AT ITER 8533 NEW BEST:: SOT 163257 SOS 75821 HAS SOPS 75821 HAS SOUS 20602 HAS SOUPS 20602 WITH SCORE 20677.821
AT ITER 8555 NEW BEST:: SOT 163235 SOS 75733 HAS SOPS 75733 HAS SOUS 20580 HAS SOUPS 20580 WITH SCORE 20655.733
AT ITER 8557 NEW BEST:: SOT 163242 SOS 75725 HAS SOPS 75725 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20653.725
AT ITER 8559 NEW BEST:: SOT 163261 SOS 75696 HAS SOPS 75696 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20648.696
AT ITER 8623 NEW BEST:: SOT 163260 SOS 75693 HAS SOPS 75693 HAS SOUS 20570 HAS SOUPS 20570 WITH SCORE 20645.693
AT ITER 8651 NEW BEST:: SOT 163286 SOS 75719 HAS SOPS 75719 HAS SOUS 20562 HAS SOUPS 20562 WITH SCORE 20637.719
AT ITER 8662 NEW BEST:: SOT 163290 SOS 75715 HAS SOPS 75715 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20631.715
AT ITER 8713 NEW BEST:: SOT 163212 SOS 75637 HAS SOPS 75637 HAS SOUS 20432 HAS SOUPS 20432 WITH SCORE 20507.637
AT ITER 8834 NEW BEST:: SOT 163199 SOS 75663 HAS SOPS 75663 HAS SOUS 20419 HAS SOUPS 20419 WITH SCORE 20494.663
AT ITER 8842 NEW BEST:: SOT 163154 SOS 75618 HAS SOPS 75618 HAS SOUS 20374 HAS SOUPS 20374 WITH SCORE 20449.618
AT ITER 8871 NEW BEST:: SOT 163153 SOS 75615 HAS SOPS 75615 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20448.615
AT ITER 8891 NEW BEST:: SOT 163153 SOS 75585 HAS SOPS 75585 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20448.585
AT ITER 8932 NEW BEST:: SOT 163121 SOS 75539 HAS SOPS 75539 HAS SOUS 20355 HAS SOUPS 20355 WITH SCORE 20430.539
AT ITER 8981 NEW BEST:: SOT 163065 SOS 75463 HAS SOPS 75463 HAS SOUS 20297 HAS SOUPS 20297 WITH SCORE 20372.463
AT ITER 8985 NEW BEST:: SOT 163064 SOS 75459 HAS SOPS 75459 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20371.459
AT ITER 8986 NEW BEST:: SOT 163051 SOS 75485 HAS SOPS 75485 HAS SOUS 20283 HAS SOUPS 20283 WITH SCORE 20358.485
AT ITER 9005 NEW BEST:: SOT 163038 SOS 75455 HAS SOPS 75455 HAS SOUS 20254 HAS SOUPS 20254 WITH SCORE 20329.455
AT ITER 9036 NEW BEST:: SOT 163038 SOS 75428 HAS SOPS 75428 HAS SOUS 20251 HAS SOUPS 20251 WITH SCORE 20326.428
AT ITER 9037 NEW BEST:: SOT 163038 SOS 75384 HAS SOPS 75384 HAS SOUS 20229 HAS SOUPS 20229 WITH SCORE 20304.384
AT ITER 9061 NEW BEST:: SOT 162985 SOS 75314 HAS SOPS 75314 HAS SOUS 20173 HAS SOUPS 20173 WITH SCORE 20248.314
AT ITER 9077 NEW BEST:: SOT 162985 SOS 75308 HAS SOPS 75308 HAS SOUS 20173 HAS SOUPS 20173 WITH SCORE 20248.308
AT ITER 9116 NEW BEST:: SOT 162984 SOS 75306 HAS SOPS 75306 HAS SOUS 20172 HAS SOUPS 20172 WITH SCORE 20247.306
AT ITER 9125 NEW BEST:: SOT 162980 SOS 75302 HAS SOPS 75302 HAS SOUS 20168 HAS SOUPS 20168 WITH SCORE 20243.302
AT ITER 9128 NEW BEST:: SOT 162996 SOS 75268 HAS SOPS 75268 HAS SOUS 20135 HAS SOUPS 20135 WITH SCORE 20210.268
AT ITER 9170 NEW BEST:: SOT 162964 SOS 75228 HAS SOPS 75228 HAS SOUS 20107 HAS SOUPS 20107 WITH SCORE 20182.228
AT ITER 9251 NEW BEST:: SOT 162950 SOS 75192 HAS SOPS 75192 HAS SOUS 20066 HAS SOUPS 20066 WITH SCORE 20141.192
AT ITER 9253 NEW BEST:: SOT 162878 SOS 74960 HAS SOPS 74960 HAS SOUS 20024 HAS SOUPS 20024 WITH SCORE 20098.96
AT ITER 9255 NEW BEST:: SOT 162806 SOS 74874 HAS SOPS 74874 HAS SOUS 20007 HAS SOUPS 20007 WITH SCORE 20081.874
AT ITER 9272 NEW BEST:: SOT 162798 SOS 74940 HAS SOPS 74940 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20073.94
AT ITER 9294 NEW BEST:: SOT 162789 SOS 74934 HAS SOPS 74934 HAS SOUS 19989 HAS SOUPS 19989 WITH SCORE 20063.934
AT ITER 9306 NEW BEST:: SOT 162711 SOS 73395 HAS SOPS 73395 HAS SOUS 19905 HAS SOUPS 19905 WITH SCORE 19978.395
AT ITER 9311 NEW BEST:: SOT 162697 SOS 73381 HAS SOPS 73381 HAS SOUS 19891 HAS SOUPS 19891 WITH SCORE 19964.381
AT ITER 9326 NEW BEST:: SOT 162628 SOS 75256 HAS SOPS 75256 HAS SOUS 19871 HAS SOUPS 19871 WITH SCORE 19946.256
AT ITER 9354 NEW BEST:: SOT 162602 SOS 75217 HAS SOPS 75217 HAS SOUS 19871 HAS SOUPS 19871 WITH SCORE 19946.217
AT ITER 9359 NEW BEST:: SOT 162585 SOS 75221 HAS SOPS 75221 HAS SOUS 19833 HAS SOUPS 19833 WITH SCORE 19908.221
AT ITER 9363 NEW BEST:: SOT 162574 SOS 75210 HAS SOPS 75210 HAS SOUS 19828 HAS SOUPS 19828 WITH SCORE 19903.21
AT ITER 9370 NEW BEST:: SOT 162559 SOS 75180 HAS SOPS 75180 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19869.18
AT ITER 9384 NEW BEST:: SOT 162582 SOS 75203 HAS SOPS 75203 HAS SOUS 19785 HAS SOUPS 19785 WITH SCORE 19860.203
AT ITER 9390 NEW BEST:: SOT 162566 SOS 75255 HAS SOPS 75255 HAS SOUS 19753 HAS SOUPS 19753 WITH SCORE 19828.255
AT ITER 9391 NEW BEST:: SOT 162514 SOS 75148 HAS SOPS 75148 HAS SOUS 19740 HAS SOUPS 19740 WITH SCORE 19815.148
AT ITER 9424 NEW BEST:: SOT 162504 SOS 75128 HAS SOPS 75128 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19806.128
AT ITER 9485 NEW BEST:: SOT 162503 SOS 75129 HAS SOPS 75129 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19805.129
AT ITER 9532 NEW BEST:: SOT 162524 SOS 75108 HAS SOPS 75108 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19805.108
AT ITER 9563 NEW BEST:: SOT 162415 SOS 75291 HAS SOPS 75291 HAS SOUS 19673 HAS SOUPS 19673 WITH SCORE 19748.291
AT ITER 9575 NEW BEST:: SOT 162413 SOS 75277 HAS SOPS 75277 HAS SOUS 19671 HAS SOUPS 19671 WITH SCORE 19746.277
AT ITER 9589 NEW BEST:: SOT 162402 SOS 75255 HAS SOPS 75255 HAS SOUS 19660 HAS SOUPS 19660 WITH SCORE 19735.255
AT ITER 9604 NEW BEST:: SOT 162406 SOS 75261 HAS SOPS 75261 HAS SOUS 19658 HAS SOUPS 19658 WITH SCORE 19733.261
AT ITER 9613 NEW BEST:: SOT 162406 SOS 75149 HAS SOPS 75149 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19721.149
AT ITER 9634 NEW BEST:: SOT 162404 SOS 75145 HAS SOPS 75145 HAS SOUS 19644 HAS SOUPS 19644 WITH SCORE 19719.145
AT ITER 9675 NEW BEST:: SOT 162400 SOS 75149 HAS SOPS 75149 HAS SOUS 19636 HAS SOUPS 19636 WITH SCORE 19711.149
AT ITER 9729 NEW BEST:: SOT 162386 SOS 75135 HAS SOPS 75135 HAS SOUS 19613 HAS SOUPS 19613 WITH SCORE 19688.135
AT ITER 9771 NEW BEST:: SOT 162374 SOS 75123 HAS SOPS 75123 HAS SOUS 19605 HAS SOUPS 19605 WITH SCORE 19680.123
AT ITER 9773 NEW BEST:: SOT 162356 SOS 75105 HAS SOPS 75105 HAS SOUS 19587 HAS SOUPS 19587 WITH SCORE 19662.105
AT ITER 9783 NEW BEST:: SOT 162356 SOS 75111 HAS SOPS 75111 HAS SOUS 19585 HAS SOUPS 19585 WITH SCORE 19660.111
AT ITER 9812 NEW BEST:: SOT 162364 SOS 75111 HAS SOPS 75111 HAS SOUS 19577 HAS SOUPS 19577 WITH SCORE 19652.111
AT ITER 9822 NEW BEST:: SOT 162364 SOS 75111 HAS SOPS 75111 HAS SOUS 19576 HAS SOUPS 19576 WITH SCORE 19651.111
AT ITER 9869 NEW BEST:: SOT 162347 SOS 75079 HAS SOPS 75079 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19622.079
AT ITER 9900 NEW BEST:: SOT 162345 SOS 75070 HAS SOPS 75070 HAS SOUS 19538 HAS SOUPS 19538 WITH SCORE 19613.07
AT ITER 9924 NEW BEST:: SOT 162345 SOS 75066 HAS SOPS 75066 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19611.066
AT ITER 9931 NEW BEST:: SOT 162344 SOS 75060 HAS SOPS 75060 HAS SOUS 19534 HAS SOUPS 19534 WITH SCORE 19609.06
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5576408 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150916 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is UtilityControlRoom-PT-Z4T3N10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696701184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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