Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979500328.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVt-PT-050A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979500328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 6.6K Feb 25 23:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 23:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 23:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 23:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 00:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 26 00:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 00:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 26 00:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 136K 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 1679386762654

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVt-PT-050A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 08:19:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 08:19:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 08:19:24] [INFO ] Load time of PNML (sax parser for PT used): 73 ms
[2023-03-21 08:19:24] [INFO ] Transformed 403 places.
[2023-03-21 08:19:24] [INFO ] Transformed 403 transitions.
[2023-03-21 08:19:24] [INFO ] Found NUPN structural information;
[2023-03-21 08:19:24] [INFO ] Parsed PT model containing 403 places and 403 transitions and 1706 arcs in 223 ms.
[2023-03-21 08:19:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 403 places, 403 transitions and 1706 arcs took 8 ms.
Total runtime 264 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 050A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 403 places, 403 transitions, 1706 arcs.
AT ITER 0 NEW BEST:: SOT 127357 SOS 93163 HAS SOPS 93163 HAS SOUS 87321 HAS SOUPS 87321 WITH SCORE 87414.163
AT ITER 1 NEW BEST:: SOT 127211 SOS 92897 HAS SOPS 92897 HAS SOUS 86969 HAS SOUPS 86969 WITH SCORE 87061.897
AT ITER 3 NEW BEST:: SOT 127120 SOS 92762 HAS SOPS 92762 HAS SOUS 86834 HAS SOUPS 86834 WITH SCORE 86926.762
AT ITER 5 NEW BEST:: SOT 127082 SOS 92691 HAS SOPS 92691 HAS SOUS 86730 HAS SOUPS 86730 WITH SCORE 86822.691
AT ITER 7 NEW BEST:: SOT 126987 SOS 92501 HAS SOPS 92501 HAS SOUS 86445 HAS SOUPS 86445 WITH SCORE 86537.501
AT ITER 8 NEW BEST:: SOT 126889 SOS 92386 HAS SOPS 92386 HAS SOUS 86367 HAS SOUPS 86367 WITH SCORE 86459.386
AT ITER 9 NEW BEST:: SOT 126797 SOS 92187 HAS SOPS 92187 HAS SOUS 86169 HAS SOUPS 86169 WITH SCORE 86261.187
AT ITER 11 NEW BEST:: SOT 126614 SOS 91739 HAS SOPS 91739 HAS SOUS 85898 HAS SOUPS 85898 WITH SCORE 85989.739
AT ITER 14 NEW BEST:: SOT 126549 SOS 91610 HAS SOPS 91610 HAS SOUS 85705 HAS SOUPS 85705 WITH SCORE 85796.61
AT ITER 19 NEW BEST:: SOT 126424 SOS 91365 HAS SOPS 91365 HAS SOUS 85460 HAS SOUPS 85460 WITH SCORE 85551.365
AT ITER 20 NEW BEST:: SOT 126414 SOS 91332 HAS SOPS 91332 HAS SOUS 85456 HAS SOUPS 85456 WITH SCORE 85547.332
AT ITER 26 NEW BEST:: SOT 126241 SOS 90987 HAS SOPS 90987 HAS SOUS 85111 HAS SOUPS 85111 WITH SCORE 85201.987
AT ITER 28 NEW BEST:: SOT 126235 SOS 90981 HAS SOPS 90981 HAS SOUS 85105 HAS SOUPS 85105 WITH SCORE 85195.981
AT ITER 30 NEW BEST:: SOT 126058 SOS 90637 HAS SOPS 90637 HAS SOUS 84751 HAS SOUPS 84751 WITH SCORE 84841.637
AT ITER 32 NEW BEST:: SOT 125668 SOS 90055 HAS SOPS 90055 HAS SOUS 84115 HAS SOUPS 84115 WITH SCORE 84205.055
AT ITER 33 NEW BEST:: SOT 125568 SOS 89776 HAS SOPS 89776 HAS SOUS 83952 HAS SOUPS 83952 WITH SCORE 84041.776
AT ITER 34 NEW BEST:: SOT 125559 SOS 89759 HAS SOPS 89759 HAS SOUS 83927 HAS SOUPS 83927 WITH SCORE 84016.759
AT ITER 35 NEW BEST:: SOT 125486 SOS 89614 HAS SOPS 89614 HAS SOUS 83772 HAS SOUPS 83772 WITH SCORE 83861.614
AT ITER 36 NEW BEST:: SOT 125088 SOS 89024 HAS SOPS 89024 HAS SOUS 83063 HAS SOUPS 83063 WITH SCORE 83152.024
AT ITER 37 NEW BEST:: SOT 124973 SOS 88779 HAS SOPS 88779 HAS SOUS 82736 HAS SOUPS 82736 WITH SCORE 82824.779
AT ITER 38 NEW BEST:: SOT 124819 SOS 88471 HAS SOPS 88471 HAS SOUS 82494 HAS SOUPS 82494 WITH SCORE 82582.471
AT ITER 39 NEW BEST:: SOT 124780 SOS 88382 HAS SOPS 88382 HAS SOUS 82253 HAS SOUPS 82253 WITH SCORE 82341.382
AT ITER 40 NEW BEST:: SOT 124596 SOS 88198 HAS SOPS 88198 HAS SOUS 82069 HAS SOUPS 82069 WITH SCORE 82157.198
AT ITER 42 NEW BEST:: SOT 124590 SOS 88192 HAS SOPS 88192 HAS SOUS 82063 HAS SOUPS 82063 WITH SCORE 82151.192
AT ITER 44 NEW BEST:: SOT 124587 SOS 88189 HAS SOPS 88189 HAS SOUS 81994 HAS SOUPS 81994 WITH SCORE 82082.189
AT ITER 46 NEW BEST:: SOT 124477 SOS 87965 HAS SOPS 87965 HAS SOUS 81756 HAS SOUPS 81756 WITH SCORE 81843.965
AT ITER 47 NEW BEST:: SOT 124276 SOS 87713 HAS SOPS 87713 HAS SOUS 81298 HAS SOUPS 81298 WITH SCORE 81385.713
AT ITER 50 NEW BEST:: SOT 124060 SOS 87185 HAS SOPS 87185 HAS SOUS 80887 HAS SOUPS 80887 WITH SCORE 80974.185
AT ITER 53 NEW BEST:: SOT 123905 SOS 86880 HAS SOPS 86880 HAS SOUS 80582 HAS SOUPS 80582 WITH SCORE 80668.88
AT ITER 54 NEW BEST:: SOT 123791 SOS 86728 HAS SOPS 86728 HAS SOUS 80430 HAS SOUPS 80430 WITH SCORE 80516.728
AT ITER 56 NEW BEST:: SOT 123785 SOS 86722 HAS SOPS 86722 HAS SOUS 80424 HAS SOUPS 80424 WITH SCORE 80510.722
AT ITER 57 NEW BEST:: SOT 123785 SOS 86748 HAS SOPS 86748 HAS SOUS 80419 HAS SOUPS 80419 WITH SCORE 80505.748
AT ITER 58 NEW BEST:: SOT 123611 SOS 86248 HAS SOPS 86248 HAS SOUS 79811 HAS SOUPS 79811 WITH SCORE 79897.248
AT ITER 62 NEW BEST:: SOT 123540 SOS 86115 HAS SOPS 86115 HAS SOUS 79711 HAS SOUPS 79711 WITH SCORE 79797.115
AT ITER 63 NEW BEST:: SOT 123349 SOS 85734 HAS SOPS 85734 HAS SOUS 79331 HAS SOUPS 79331 WITH SCORE 79416.734
AT ITER 70 NEW BEST:: SOT 123349 SOS 85729 HAS SOPS 85729 HAS SOUS 79329 HAS SOUPS 79329 WITH SCORE 79414.729
AT ITER 74 NEW BEST:: SOT 123345 SOS 85725 HAS SOPS 85725 HAS SOUS 79325 HAS SOUPS 79325 WITH SCORE 79410.725
AT ITER 78 NEW BEST:: SOT 123166 SOS 85289 HAS SOPS 85289 HAS SOUS 78617 HAS SOUPS 78617 WITH SCORE 78702.289
AT ITER 84 NEW BEST:: SOT 123166 SOS 85289 HAS SOPS 85289 HAS SOUS 78556 HAS SOUPS 78556 WITH SCORE 78641.289
AT ITER 86 NEW BEST:: SOT 123067 SOS 85088 HAS SOPS 85088 HAS SOUS 78375 HAS SOUPS 78375 WITH SCORE 78460.088
AT ITER 87 NEW BEST:: SOT 123058 SOS 85070 HAS SOPS 85070 HAS SOUS 78348 HAS SOUPS 78348 WITH SCORE 78433.07
AT ITER 89 NEW BEST:: SOT 122925 SOS 84804 HAS SOPS 84804 HAS SOUS 77982 HAS SOUPS 77982 WITH SCORE 78066.804
AT ITER 90 NEW BEST:: SOT 122870 SOS 84749 HAS SOPS 84749 HAS SOUS 77927 HAS SOUPS 77927 WITH SCORE 78011.749
AT ITER 98 NEW BEST:: SOT 122682 SOS 84243 HAS SOPS 84243 HAS SOUS 77551 HAS SOUPS 77551 WITH SCORE 77635.243
AT ITER 100 NEW BEST:: SOT 122226 SOS 83629 HAS SOPS 83629 HAS SOUS 76937 HAS SOUPS 76937 WITH SCORE 77020.629
AT ITER 101 NEW BEST:: SOT 122195 SOS 83569 HAS SOPS 83569 HAS SOUS 76878 HAS SOUPS 76878 WITH SCORE 76961.569
AT ITER 103 NEW BEST:: SOT 122166 SOS 83540 HAS SOPS 83540 HAS SOUS 76849 HAS SOUPS 76849 WITH SCORE 76932.54
AT ITER 107 NEW BEST:: SOT 122152 SOS 83498 HAS SOPS 83498 HAS SOUS 76807 HAS SOUPS 76807 WITH SCORE 76890.498
AT ITER 110 NEW BEST:: SOT 122011 SOS 83216 HAS SOPS 83216 HAS SOUS 76569 HAS SOUPS 76569 WITH SCORE 76652.216
AT ITER 112 NEW BEST:: SOT 121867 SOS 82929 HAS SOPS 82929 HAS SOUS 76282 HAS SOUPS 76282 WITH SCORE 76364.929
AT ITER 113 NEW BEST:: SOT 121793 SOS 82807 HAS SOPS 82807 HAS SOUS 76149 HAS SOUPS 76149 WITH SCORE 76231.807
AT ITER 114 NEW BEST:: SOT 121790 SOS 82804 HAS SOPS 82804 HAS SOUS 76146 HAS SOUPS 76146 WITH SCORE 76228.804
AT ITER 117 NEW BEST:: SOT 121449 SOS 82322 HAS SOPS 82322 HAS SOUS 75567 HAS SOUPS 75567 WITH SCORE 75649.322
AT ITER 122 NEW BEST:: SOT 121206 SOS 81834 HAS SOPS 81834 HAS SOUS 75220 HAS SOUPS 75220 WITH SCORE 75301.834
AT ITER 124 NEW BEST:: SOT 121159 SOS 81608 HAS SOPS 81608 HAS SOUS 74926 HAS SOUPS 74926 WITH SCORE 75007.608
AT ITER 126 NEW BEST:: SOT 120947 SOS 81062 HAS SOPS 81062 HAS SOUS 74499 HAS SOUPS 74499 WITH SCORE 74580.062
AT ITER 133 NEW BEST:: SOT 120749 SOS 80663 HAS SOPS 80663 HAS SOUS 74064 HAS SOUPS 74064 WITH SCORE 74144.663
AT ITER 135 NEW BEST:: SOT 120740 SOS 80654 HAS SOPS 80654 HAS SOUS 74055 HAS SOUPS 74055 WITH SCORE 74135.654
AT ITER 137 NEW BEST:: SOT 120462 SOS 80114 HAS SOPS 80114 HAS SOUS 73702 HAS SOUPS 73702 WITH SCORE 73782.114
AT ITER 139 NEW BEST:: SOT 120296 SOS 79830 HAS SOPS 79830 HAS SOUS 73358 HAS SOUPS 73358 WITH SCORE 73437.83
AT ITER 142 NEW BEST:: SOT 120273 SOS 79761 HAS SOPS 79761 HAS SOUS 73287 HAS SOUPS 73287 WITH SCORE 73366.761
AT ITER 143 NEW BEST:: SOT 120270 SOS 79755 HAS SOPS 79755 HAS SOUS 73278 HAS SOUPS 73278 WITH SCORE 73357.755
AT ITER 144 NEW BEST:: SOT 120133 SOS 79618 HAS SOPS 79618 HAS SOUS 73191 HAS SOUPS 73191 WITH SCORE 73270.618
AT ITER 145 NEW BEST:: SOT 119765 SOS 79018 HAS SOPS 79018 HAS SOUS 72678 HAS SOUPS 72678 WITH SCORE 72757.018
AT ITER 146 NEW BEST:: SOT 119650 SOS 78589 HAS SOPS 78589 HAS SOUS 72335 HAS SOUPS 72335 WITH SCORE 72413.589
AT ITER 147 NEW BEST:: SOT 119531 SOS 78260 HAS SOPS 78260 HAS SOUS 72196 HAS SOUPS 72196 WITH SCORE 72274.26
AT ITER 156 NEW BEST:: SOT 119485 SOS 78214 HAS SOPS 78214 HAS SOUS 72127 HAS SOUPS 72127 WITH SCORE 72205.214
AT ITER 160 NEW BEST:: SOT 119407 SOS 77981 HAS SOPS 77981 HAS SOUS 71909 HAS SOUPS 71909 WITH SCORE 71986.981
AT ITER 163 NEW BEST:: SOT 119265 SOS 77672 HAS SOPS 77672 HAS SOUS 71589 HAS SOUPS 71589 WITH SCORE 71666.672
AT ITER 165 NEW BEST:: SOT 119159 SOS 77402 HAS SOPS 77402 HAS SOUS 71195 HAS SOUPS 71195 WITH SCORE 71272.402
AT ITER 168 NEW BEST:: SOT 119126 SOS 77358 HAS SOPS 77358 HAS SOUS 71151 HAS SOUPS 71151 WITH SCORE 71228.358
AT ITER 170 NEW BEST:: SOT 119074 SOS 77228 HAS SOPS 77228 HAS SOUS 71095 HAS SOUPS 71095 WITH SCORE 71172.228
AT ITER 173 NEW BEST:: SOT 118619 SOS 76559 HAS SOPS 76559 HAS SOUS 70365 HAS SOUPS 70365 WITH SCORE 70441.559
AT ITER 175 NEW BEST:: SOT 118563 SOS 76335 HAS SOPS 76335 HAS SOUS 70196 HAS SOUPS 70196 WITH SCORE 70272.335
AT ITER 176 NEW BEST:: SOT 118563 SOS 76244 HAS SOPS 76244 HAS SOUS 70193 HAS SOUPS 70193 WITH SCORE 70269.244
AT ITER 177 NEW BEST:: SOT 118127 SOS 75447 HAS SOPS 75447 HAS SOUS 69353 HAS SOUPS 69353 WITH SCORE 69428.447
AT ITER 180 NEW BEST:: SOT 117859 SOS 75018 HAS SOPS 75018 HAS SOUS 68958 HAS SOUPS 68958 WITH SCORE 69033.018
AT ITER 184 NEW BEST:: SOT 117802 SOS 74879 HAS SOPS 74879 HAS SOUS 68873 HAS SOUPS 68873 WITH SCORE 68947.879
AT ITER 185 NEW BEST:: SOT 117788 SOS 74851 HAS SOPS 74851 HAS SOUS 68845 HAS SOUPS 68845 WITH SCORE 68919.851
AT ITER 187 NEW BEST:: SOT 117784 SOS 74843 HAS SOPS 74843 HAS SOUS 68837 HAS SOUPS 68837 WITH SCORE 68911.843
AT ITER 188 NEW BEST:: SOT 117698 SOS 74762 HAS SOPS 74762 HAS SOUS 68756 HAS SOUPS 68756 WITH SCORE 68830.762
AT ITER 189 NEW BEST:: SOT 117691 SOS 74755 HAS SOPS 74755 HAS SOUS 68749 HAS SOUPS 68749 WITH SCORE 68823.755
AT ITER 190 NEW BEST:: SOT 117579 SOS 74820 HAS SOPS 74820 HAS SOUS 68619 HAS SOUPS 68619 WITH SCORE 68693.82
AT ITER 193 NEW BEST:: SOT 117559 SOS 74721 HAS SOPS 74721 HAS SOUS 68524 HAS SOUPS 68524 WITH SCORE 68598.721
AT ITER 194 NEW BEST:: SOT 117432 SOS 74465 HAS SOPS 74465 HAS SOUS 68299 HAS SOUPS 68299 WITH SCORE 68373.465
AT ITER 198 NEW BEST:: SOT 117416 SOS 74433 HAS SOPS 74433 HAS SOUS 68251 HAS SOUPS 68251 WITH SCORE 68325.433
AT ITER 201 NEW BEST:: SOT 117316 SOS 74283 HAS SOPS 74283 HAS SOUS 68138 HAS SOUPS 68138 WITH SCORE 68212.283
AT ITER 207 NEW BEST:: SOT 117089 SOS 73960 HAS SOPS 73960 HAS SOUS 67788 HAS SOUPS 67788 WITH SCORE 67861.96
AT ITER 208 NEW BEST:: SOT 117066 SOS 73914 HAS SOPS 73914 HAS SOUS 67719 HAS SOUPS 67719 WITH SCORE 67792.914
AT ITER 209 NEW BEST:: SOT 116812 SOS 73474 HAS SOPS 73474 HAS SOUS 67221 HAS SOUPS 67221 WITH SCORE 67294.474
AT ITER 220 NEW BEST:: SOT 116858 SOS 73489 HAS SOPS 73489 HAS SOUS 67205 HAS SOUPS 67205 WITH SCORE 67278.489
AT ITER 223 NEW BEST:: SOT 116881 SOS 73512 HAS SOPS 73512 HAS SOUS 67204 HAS SOUPS 67204 WITH SCORE 67277.512
AT ITER 224 NEW BEST:: SOT 116679 SOS 73162 HAS SOPS 73162 HAS SOUS 66515 HAS SOUPS 66515 WITH SCORE 66588.162
AT ITER 227 NEW BEST:: SOT 116562 SOS 72931 HAS SOPS 72931 HAS SOUS 66284 HAS SOUPS 66284 WITH SCORE 66356.931
AT ITER 228 NEW BEST:: SOT 116342 SOS 72601 HAS SOPS 72601 HAS SOUS 65956 HAS SOUPS 65956 WITH SCORE 66028.601
AT ITER 229 NEW BEST:: SOT 116326 SOS 72560 HAS SOPS 72560 HAS SOUS 65733 HAS SOUPS 65733 WITH SCORE 65805.56
AT ITER 231 NEW BEST:: SOT 116132 SOS 71977 HAS SOPS 71977 HAS SOUS 65514 HAS SOUPS 65514 WITH SCORE 65585.977
AT ITER 232 NEW BEST:: SOT 115938 SOS 71396 HAS SOPS 71396 HAS SOUS 65047 HAS SOUPS 65047 WITH SCORE 65118.396
AT ITER 233 NEW BEST:: SOT 115670 SOS 70845 HAS SOPS 70845 HAS SOUS 64392 HAS SOUPS 64392 WITH SCORE 64462.845
AT ITER 236 NEW BEST:: SOT 115595 SOS 70563 HAS SOPS 70563 HAS SOUS 64235 HAS SOUPS 64235 WITH SCORE 64305.563
AT ITER 243 NEW BEST:: SOT 115472 SOS 70399 HAS SOPS 70399 HAS SOUS 64030 HAS SOUPS 64030 WITH SCORE 64100.399
AT ITER 244 NEW BEST:: SOT 115460 SOS 70390 HAS SOPS 70390 HAS SOUS 64021 HAS SOUPS 64021 WITH SCORE 64091.39
AT ITER 247 NEW BEST:: SOT 115442 SOS 70349 HAS SOPS 70349 HAS SOUS 63972 HAS SOUPS 63972 WITH SCORE 64042.349
AT ITER 250 NEW BEST:: SOT 115442 SOS 70349 HAS SOPS 70349 HAS SOUS 63904 HAS SOUPS 63904 WITH SCORE 63974.349
AT ITER 253 NEW BEST:: SOT 115248 SOS 70138 HAS SOPS 70138 HAS SOUS 63866 HAS SOUPS 63866 WITH SCORE 63936.138
AT ITER 257 NEW BEST:: SOT 115178 SOS 69997 HAS SOPS 69997 HAS SOUS 63723 HAS SOUPS 63723 WITH SCORE 63792.997
AT ITER 258 NEW BEST:: SOT 115088 SOS 69932 HAS SOPS 69932 HAS SOUS 63620 HAS SOUPS 63620 WITH SCORE 63689.932
AT ITER 260 NEW BEST:: SOT 114981 SOS 69573 HAS SOPS 69573 HAS SOUS 63596 HAS SOUPS 63596 WITH SCORE 63665.573
AT ITER 263 NEW BEST:: SOT 114975 SOS 69563 HAS SOPS 69563 HAS SOUS 63588 HAS SOUPS 63588 WITH SCORE 63657.563
AT ITER 266 NEW BEST:: SOT 114855 SOS 69403 HAS SOPS 69403 HAS SOUS 63305 HAS SOUPS 63305 WITH SCORE 63374.403
AT ITER 268 NEW BEST:: SOT 114731 SOS 69087 HAS SOPS 69087 HAS SOUS 63094 HAS SOUPS 63094 WITH SCORE 63163.087
AT ITER 275 NEW BEST:: SOT 114651 SOS 68929 HAS SOPS 68929 HAS SOUS 62879 HAS SOUPS 62879 WITH SCORE 62947.929
AT ITER 276 NEW BEST:: SOT 114777 SOS 69055 HAS SOPS 69055 HAS SOUS 62821 HAS SOUPS 62821 WITH SCORE 62890.055
AT ITER 283 NEW BEST:: SOT 114751 SOS 69005 HAS SOPS 69005 HAS SOUS 62747 HAS SOUPS 62747 WITH SCORE 62816.005
AT ITER 285 NEW BEST:: SOT 114644 SOS 68788 HAS SOPS 68788 HAS SOUS 62430 HAS SOUPS 62430 WITH SCORE 62498.788
AT ITER 287 NEW BEST:: SOT 114581 SOS 68463 HAS SOPS 68463 HAS SOUS 62275 HAS SOUPS 62275 WITH SCORE 62343.463
AT ITER 289 NEW BEST:: SOT 114581 SOS 68446 HAS SOPS 68446 HAS SOUS 62275 HAS SOUPS 62275 WITH SCORE 62343.446
AT ITER 292 NEW BEST:: SOT 114478 SOS 68291 HAS SOPS 68291 HAS SOUS 62262 HAS SOUPS 62262 WITH SCORE 62330.291
AT ITER 295 NEW BEST:: SOT 114416 SOS 68135 HAS SOPS 68135 HAS SOUS 62106 HAS SOUPS 62106 WITH SCORE 62174.135
AT ITER 298 NEW BEST:: SOT 114415 SOS 68134 HAS SOPS 68134 HAS SOUS 62105 HAS SOUPS 62105 WITH SCORE 62173.134
AT ITER 302 NEW BEST:: SOT 114415 SOS 68113 HAS SOPS 68113 HAS SOUS 62105 HAS SOUPS 62105 WITH SCORE 62173.113
AT ITER 312 NEW BEST:: SOT 114220 SOS 67762 HAS SOPS 67762 HAS SOUS 61749 HAS SOUPS 61749 WITH SCORE 61816.762
AT ITER 318 NEW BEST:: SOT 114187 SOS 67658 HAS SOPS 67658 HAS SOUS 61636 HAS SOUPS 61636 WITH SCORE 61703.658
AT ITER 325 NEW BEST:: SOT 114179 SOS 67624 HAS SOPS 67624 HAS SOUS 61636 HAS SOUPS 61636 WITH SCORE 61703.624
AT ITER 327 NEW BEST:: SOT 114181 SOS 67604 HAS SOPS 67604 HAS SOUS 61520 HAS SOUPS 61520 WITH SCORE 61587.604
AT ITER 333 NEW BEST:: SOT 114091 SOS 67445 HAS SOPS 67445 HAS SOUS 61344 HAS SOUPS 61344 WITH SCORE 61411.445
AT ITER 335 NEW BEST:: SOT 114091 SOS 67337 HAS SOPS 67337 HAS SOUS 61300 HAS SOUPS 61300 WITH SCORE 61367.337
AT ITER 339 NEW BEST:: SOT 113837 SOS 66917 HAS SOPS 66917 HAS SOUS 60825 HAS SOUPS 60825 WITH SCORE 60891.917
AT ITER 341 NEW BEST:: SOT 113751 SOS 66745 HAS SOPS 66745 HAS SOUS 60672 HAS SOUPS 60672 WITH SCORE 60738.745
AT ITER 343 NEW BEST:: SOT 113731 SOS 66665 HAS SOPS 66665 HAS SOUS 60592 HAS SOUPS 60592 WITH SCORE 60658.665
AT ITER 347 NEW BEST:: SOT 113713 SOS 66647 HAS SOPS 66647 HAS SOUS 60525 HAS SOUPS 60525 WITH SCORE 60591.647
AT ITER 350 NEW BEST:: SOT 113713 SOS 66493 HAS SOPS 66493 HAS SOUS 60361 HAS SOUPS 60361 WITH SCORE 60427.493
AT ITER 351 NEW BEST:: SOT 113635 SOS 66389 HAS SOPS 66389 HAS SOUS 60257 HAS SOUPS 60257 WITH SCORE 60323.389
AT ITER 360 NEW BEST:: SOT 113644 SOS 66398 HAS SOPS 66398 HAS SOUS 60256 HAS SOUPS 60256 WITH SCORE 60322.398
AT ITER 363 NEW BEST:: SOT 113628 SOS 66257 HAS SOPS 66257 HAS SOUS 60237 HAS SOUPS 60237 WITH SCORE 60303.257
AT ITER 368 NEW BEST:: SOT 113623 SOS 66237 HAS SOPS 66237 HAS SOUS 60172 HAS SOUPS 60172 WITH SCORE 60238.237
AT ITER 369 NEW BEST:: SOT 113623 SOS 66185 HAS SOPS 66185 HAS SOUS 60172 HAS SOUPS 60172 WITH SCORE 60238.185
AT ITER 377 NEW BEST:: SOT 113614 SOS 66176 HAS SOPS 66176 HAS SOUS 60165 HAS SOUPS 60165 WITH SCORE 60231.176
AT ITER 380 NEW BEST:: SOT 113611 SOS 66181 HAS SOPS 66181 HAS SOUS 60090 HAS SOUPS 60090 WITH SCORE 60156.181
AT ITER 390 NEW BEST:: SOT 113461 SOS 65902 HAS SOPS 65902 HAS SOUS 59762 HAS SOUPS 59762 WITH SCORE 59827.902
AT ITER 391 NEW BEST:: SOT 113321 SOS 65562 HAS SOPS 65562 HAS SOUS 59620 HAS SOUPS 59620 WITH SCORE 59685.562
AT ITER 394 NEW BEST:: SOT 113319 SOS 65560 HAS SOPS 65560 HAS SOUS 59618 HAS SOUPS 59618 WITH SCORE 59683.56
AT ITER 397 NEW BEST:: SOT 113289 SOS 65394 HAS SOPS 65394 HAS SOUS 59574 HAS SOUPS 59574 WITH SCORE 59639.394
AT ITER 398 NEW BEST:: SOT 113356 SOS 65378 HAS SOPS 65378 HAS SOUS 59572 HAS SOUPS 59572 WITH SCORE 59637.378
AT ITER 403 NEW BEST:: SOT 113104 SOS 64963 HAS SOPS 64963 HAS SOUS 59153 HAS SOUPS 59153 WITH SCORE 59217.963
AT ITER 404 NEW BEST:: SOT 112981 SOS 64774 HAS SOPS 64774 HAS SOUS 58969 HAS SOUPS 58969 WITH SCORE 59033.774
AT ITER 415 NEW BEST:: SOT 112978 SOS 64771 HAS SOPS 64771 HAS SOUS 58966 HAS SOUPS 58966 WITH SCORE 59030.771
AT ITER 417 NEW BEST:: SOT 112905 SOS 64667 HAS SOPS 64667 HAS SOUS 58962 HAS SOUPS 58962 WITH SCORE 59026.667
AT ITER 418 NEW BEST:: SOT 112900 SOS 64662 HAS SOPS 64662 HAS SOUS 58923 HAS SOUPS 58923 WITH SCORE 58987.662
AT ITER 429 NEW BEST:: SOT 112909 SOS 64671 HAS SOPS 64671 HAS SOUS 58899 HAS SOUPS 58899 WITH SCORE 58963.671
AT ITER 430 NEW BEST:: SOT 112906 SOS 64672 HAS SOPS 64672 HAS SOUS 58845 HAS SOUPS 58845 WITH SCORE 58909.672
AT ITER 433 NEW BEST:: SOT 112742 SOS 64418 HAS SOPS 64418 HAS SOUS 58591 HAS SOUPS 58591 WITH SCORE 58655.418
AT ITER 436 NEW BEST:: SOT 112742 SOS 64276 HAS SOPS 64276 HAS SOUS 58591 HAS SOUPS 58591 WITH SCORE 58655.276
AT ITER 440 NEW BEST:: SOT 112742 SOS 64190 HAS SOPS 64190 HAS SOUS 58505 HAS SOUPS 58505 WITH SCORE 58569.19
AT ITER 441 NEW BEST:: SOT 112715 SOS 64136 HAS SOPS 64136 HAS SOUS 58424 HAS SOUPS 58424 WITH SCORE 58488.136
AT ITER 442 NEW BEST:: SOT 112617 SOS 63947 HAS SOPS 63947 HAS SOUS 58260 HAS SOUPS 58260 WITH SCORE 58323.947
AT ITER 445 NEW BEST:: SOT 112117 SOS 63101 HAS SOPS 63101 HAS SOUS 57416 HAS SOUPS 57416 WITH SCORE 57479.101
AT ITER 452 NEW BEST:: SOT 112007 SOS 62948 HAS SOPS 62948 HAS SOUS 57241 HAS SOUPS 57241 WITH SCORE 57303.948
AT ITER 463 NEW BEST:: SOT 111842 SOS 62700 HAS SOPS 62700 HAS SOUS 57021 HAS SOUPS 57021 WITH SCORE 57083.7
AT ITER 470 NEW BEST:: SOT 111818 SOS 62677 HAS SOPS 62677 HAS SOUS 56959 HAS SOUPS 56959 WITH SCORE 57021.677
AT ITER 476 NEW BEST:: SOT 111807 SOS 62655 HAS SOPS 62655 HAS SOUS 56937 HAS SOUPS 56937 WITH SCORE 56999.655
AT ITER 479 NEW BEST:: SOT 111586 SOS 62183 HAS SOPS 62183 HAS SOUS 56504 HAS SOUPS 56504 WITH SCORE 56566.183
AT ITER 482 NEW BEST:: SOT 111373 SOS 61695 HAS SOPS 61695 HAS SOUS 55987 HAS SOUPS 55987 WITH SCORE 56048.695
AT ITER 487 NEW BEST:: SOT 111150 SOS 61427 HAS SOPS 61427 HAS SOUS 55684 HAS SOUPS 55684 WITH SCORE 55745.427
AT ITER 490 NEW BEST:: SOT 111108 SOS 61385 HAS SOPS 61385 HAS SOUS 55642 HAS SOUPS 55642 WITH SCORE 55703.385
AT ITER 492 NEW BEST:: SOT 111047 SOS 61155 HAS SOPS 61155 HAS SOUS 55480 HAS SOUPS 55480 WITH SCORE 55541.155
AT ITER 498 NEW BEST:: SOT 110735 SOS 60741 HAS SOPS 60741 HAS SOUS 54995 HAS SOUPS 54995 WITH SCORE 55055.741
AT ITER 504 NEW BEST:: SOT 110794 SOS 61078 HAS SOPS 61078 HAS SOUS 54990 HAS SOUPS 54990 WITH SCORE 55051.078
AT ITER 507 NEW BEST:: SOT 110733 SOS 61016 HAS SOPS 61016 HAS SOUS 54928 HAS SOUPS 54928 WITH SCORE 54989.016
AT ITER 510 NEW BEST:: SOT 110709 SOS 60996 HAS SOPS 60996 HAS SOUS 54830 HAS SOUPS 54830 WITH SCORE 54890.996
AT ITER 511 NEW BEST:: SOT 110621 SOS 60864 HAS SOPS 60864 HAS SOUS 54727 HAS SOUPS 54727 WITH SCORE 54787.864
AT ITER 514 NEW BEST:: SOT 110587 SOS 60762 HAS SOPS 60762 HAS SOUS 54692 HAS SOUPS 54692 WITH SCORE 54752.762
AT ITER 516 NEW BEST:: SOT 110339 SOS 60304 HAS SOPS 60304 HAS SOUS 54315 HAS SOUPS 54315 WITH SCORE 54375.304
AT ITER 517 NEW BEST:: SOT 110336 SOS 60295 HAS SOPS 60295 HAS SOUS 54306 HAS SOUPS 54306 WITH SCORE 54366.295
AT ITER 521 NEW BEST:: SOT 110317 SOS 60206 HAS SOPS 60206 HAS SOUS 54262 HAS SOUPS 54262 WITH SCORE 54322.206
AT ITER 522 NEW BEST:: SOT 109821 SOS 59615 HAS SOPS 59615 HAS SOUS 53635 HAS SOUPS 53635 WITH SCORE 53694.615
AT ITER 525 NEW BEST:: SOT 109711 SOS 59392 HAS SOPS 59392 HAS SOUS 53308 HAS SOUPS 53308 WITH SCORE 53367.392
AT ITER 529 NEW BEST:: SOT 109627 SOS 59266 HAS SOPS 59266 HAS SOUS 53182 HAS SOUPS 53182 WITH SCORE 53241.266
AT ITER 536 NEW BEST:: SOT 109565 SOS 58872 HAS SOPS 58872 HAS SOUS 53063 HAS SOUPS 53063 WITH SCORE 53121.872
AT ITER 541 NEW BEST:: SOT 109563 SOS 58870 HAS SOPS 58870 HAS SOUS 53061 HAS SOUPS 53061 WITH SCORE 53119.87
AT ITER 543 NEW BEST:: SOT 109435 SOS 58521 HAS SOPS 58521 HAS SOUS 52890 HAS SOUPS 52890 WITH SCORE 52948.521
AT ITER 554 NEW BEST:: SOT 109410 SOS 58480 HAS SOPS 58480 HAS SOUS 52849 HAS SOUPS 52849 WITH SCORE 52907.48
AT ITER 555 NEW BEST:: SOT 109410 SOS 58468 HAS SOPS 58468 HAS SOUS 52773 HAS SOUPS 52773 WITH SCORE 52831.468
AT ITER 562 NEW BEST:: SOT 109408 SOS 58466 HAS SOPS 58466 HAS SOUS 52765 HAS SOUPS 52765 WITH SCORE 52823.466
AT ITER 565 NEW BEST:: SOT 109309 SOS 58361 HAS SOPS 58361 HAS SOUS 52646 HAS SOUPS 52646 WITH SCORE 52704.361
AT ITER 566 NEW BEST:: SOT 109286 SOS 58323 HAS SOPS 58323 HAS SOUS 52608 HAS SOUPS 52608 WITH SCORE 52666.323
AT ITER 568 NEW BEST:: SOT 109286 SOS 58404 HAS SOPS 58404 HAS SOUS 52572 HAS SOUPS 52572 WITH SCORE 52630.404
AT ITER 580 NEW BEST:: SOT 109284 SOS 58402 HAS SOPS 58402 HAS SOUS 52570 HAS SOUPS 52570 WITH SCORE 52628.402
AT ITER 582 NEW BEST:: SOT 109124 SOS 58225 HAS SOPS 58225 HAS SOUS 52387 HAS SOUPS 52387 WITH SCORE 52445.225
AT ITER 584 NEW BEST:: SOT 109124 SOS 58191 HAS SOPS 58191 HAS SOUS 52386 HAS SOUPS 52386 WITH SCORE 52444.191
AT ITER 587 NEW BEST:: SOT 109055 SOS 58169 HAS SOPS 58169 HAS SOUS 52075 HAS SOUPS 52075 WITH SCORE 52133.169
AT ITER 596 NEW BEST:: SOT 109055 SOS 58188 HAS SOPS 58188 HAS SOUS 52069 HAS SOUPS 52069 WITH SCORE 52127.188
AT ITER 597 NEW BEST:: SOT 108993 SOS 58126 HAS SOPS 58126 HAS SOUS 52007 HAS SOUPS 52007 WITH SCORE 52065.126
AT ITER 602 NEW BEST:: SOT 108932 SOS 58041 HAS SOPS 58041 HAS SOUS 51922 HAS SOUPS 51922 WITH SCORE 51980.041
AT ITER 614 NEW BEST:: SOT 108905 SOS 57990 HAS SOPS 57990 HAS SOUS 51844 HAS SOUPS 51844 WITH SCORE 51901.99
AT ITER 625 NEW BEST:: SOT 108904 SOS 57989 HAS SOPS 57989 HAS SOUS 51843 HAS SOUPS 51843 WITH SCORE 51900.989
AT ITER 626 NEW BEST:: SOT 108904 SOS 57984 HAS SOPS 57984 HAS SOUS 51838 HAS SOUPS 51838 WITH SCORE 51895.984
AT ITER 627 NEW BEST:: SOT 108892 SOS 57917 HAS SOPS 57917 HAS SOUS 51811 HAS SOUPS 51811 WITH SCORE 51868.917
AT ITER 631 NEW BEST:: SOT 108732 SOS 57597 HAS SOPS 57597 HAS SOUS 51571 HAS SOUPS 51571 WITH SCORE 51628.597
AT ITER 632 NEW BEST:: SOT 108636 SOS 57591 HAS SOPS 57591 HAS SOUS 51479 HAS SOUPS 51479 WITH SCORE 51536.591
AT ITER 641 NEW BEST:: SOT 108539 SOS 57439 HAS SOPS 57439 HAS SOUS 51358 HAS SOUPS 51358 WITH SCORE 51415.439
AT ITER 642 NEW BEST:: SOT 108454 SOS 57328 HAS SOPS 57328 HAS SOUS 51247 HAS SOUPS 51247 WITH SCORE 51304.328
AT ITER 659 NEW BEST:: SOT 108444 SOS 57318 HAS SOPS 57318 HAS SOUS 51237 HAS SOUPS 51237 WITH SCORE 51294.318
AT ITER 662 NEW BEST:: SOT 108444 SOS 57343 HAS SOPS 57343 HAS SOUS 51225 HAS SOUPS 51225 WITH SCORE 51282.343
AT ITER 664 NEW BEST:: SOT 108321 SOS 56927 HAS SOPS 56927 HAS SOUS 50744 HAS SOUPS 50744 WITH SCORE 50800.927
AT ITER 668 NEW BEST:: SOT 108318 SOS 56924 HAS SOPS 56924 HAS SOUS 50741 HAS SOUPS 50741 WITH SCORE 50797.924
AT ITER 670 NEW BEST:: SOT 108324 SOS 56976 HAS SOPS 56976 HAS SOUS 50734 HAS SOUPS 50734 WITH SCORE 50790.976
AT ITER 672 NEW BEST:: SOT 108324 SOS 56986 HAS SOPS 56986 HAS SOUS 50714 HAS SOUPS 50714 WITH SCORE 50770.986
AT ITER 680 NEW BEST:: SOT 108228 SOS 56819 HAS SOPS 56819 HAS SOUS 50562 HAS SOUPS 50562 WITH SCORE 50618.819
AT ITER 688 NEW BEST:: SOT 108236 SOS 56826 HAS SOPS 56826 HAS SOUS 50560 HAS SOUPS 50560 WITH SCORE 50616.826
AT ITER 691 NEW BEST:: SOT 108390 SOS 56980 HAS SOPS 56980 HAS SOUS 50558 HAS SOUPS 50558 WITH SCORE 50614.98
AT ITER 697 NEW BEST:: SOT 108335 SOS 56906 HAS SOPS 56906 HAS SOUS 50484 HAS SOUPS 50484 WITH SCORE 50540.906
AT ITER 705 NEW BEST:: SOT 108347 SOS 56882 HAS SOPS 56882 HAS SOUS 50439 HAS SOUPS 50439 WITH SCORE 50495.882
AT ITER 706 NEW BEST:: SOT 108347 SOS 56877 HAS SOPS 56877 HAS SOUS 50437 HAS SOUPS 50437 WITH SCORE 50493.877
AT ITER 709 NEW BEST:: SOT 108339 SOS 56865 HAS SOPS 56865 HAS SOUS 50425 HAS SOUPS 50425 WITH SCORE 50481.865
AT ITER 714 NEW BEST:: SOT 108328 SOS 56604 HAS SOPS 56604 HAS SOUS 50392 HAS SOUPS 50392 WITH SCORE 50448.604
AT ITER 728 NEW BEST:: SOT 108349 SOS 56646 HAS SOPS 56646 HAS SOUS 50357 HAS SOUPS 50357 WITH SCORE 50413.646
AT ITER 729 NEW BEST:: SOT 108339 SOS 56616 HAS SOPS 56616 HAS SOUS 50322 HAS SOUPS 50322 WITH SCORE 50378.616
AT ITER 731 NEW BEST:: SOT 108204 SOS 56369 HAS SOPS 56369 HAS SOUS 50089 HAS SOUPS 50089 WITH SCORE 50145.369
AT ITER 733 NEW BEST:: SOT 108189 SOS 56342 HAS SOPS 56342 HAS SOUS 50062 HAS SOUPS 50062 WITH SCORE 50118.342
AT ITER 738 NEW BEST:: SOT 108149 SOS 56248 HAS SOPS 56248 HAS SOUS 50000 HAS SOUPS 50000 WITH SCORE 50056.248
AT ITER 741 NEW BEST:: SOT 108038 SOS 56032 HAS SOPS 56032 HAS SOUS 49784 HAS SOUPS 49784 WITH SCORE 49840.032
AT ITER 744 NEW BEST:: SOT 108008 SOS 55972 HAS SOPS 55972 HAS SOUS 49737 HAS SOUPS 49737 WITH SCORE 49792.972
AT ITER 745 NEW BEST:: SOT 108008 SOS 55886 HAS SOPS 55886 HAS SOUS 49581 HAS SOUPS 49581 WITH SCORE 49636.886
AT ITER 749 NEW BEST:: SOT 107965 SOS 55843 HAS SOPS 55843 HAS SOUS 49441 HAS SOUPS 49441 WITH SCORE 49496.843
AT ITER 765 NEW BEST:: SOT 107918 SOS 55784 HAS SOPS 55784 HAS SOUS 49345 HAS SOUPS 49345 WITH SCORE 49400.784
AT ITER 767 NEW BEST:: SOT 107885 SOS 55731 HAS SOPS 55731 HAS SOUS 49328 HAS SOUPS 49328 WITH SCORE 49383.731
AT ITER 768 NEW BEST:: SOT 107884 SOS 55730 HAS SOPS 55730 HAS SOUS 49327 HAS SOUPS 49327 WITH SCORE 49382.73
AT ITER 778 NEW BEST:: SOT 107870 SOS 55716 HAS SOPS 55716 HAS SOUS 49313 HAS SOUPS 49313 WITH SCORE 49368.716
AT ITER 790 NEW BEST:: SOT 107864 SOS 55698 HAS SOPS 55698 HAS SOUS 49289 HAS SOUPS 49289 WITH SCORE 49344.698
AT ITER 795 NEW BEST:: SOT 107858 SOS 55697 HAS SOPS 55697 HAS SOUS 49283 HAS SOUPS 49283 WITH SCORE 49338.697
AT ITER 801 NEW BEST:: SOT 107850 SOS 55671 HAS SOPS 55671 HAS SOUS 49237 HAS SOUPS 49237 WITH SCORE 49292.671
AT ITER 804 NEW BEST:: SOT 107429 SOS 55028 HAS SOPS 55028 HAS SOUS 48658 HAS SOUPS 48658 WITH SCORE 48713.028
AT ITER 811 NEW BEST:: SOT 107417 SOS 55007 HAS SOPS 55007 HAS SOUS 48637 HAS SOUPS 48637 WITH SCORE 48692.007
AT ITER 818 NEW BEST:: SOT 107404 SOS 54981 HAS SOPS 54981 HAS SOUS 48598 HAS SOUPS 48598 WITH SCORE 48652.981
AT ITER 823 NEW BEST:: SOT 107329 SOS 54879 HAS SOPS 54879 HAS SOUS 48454 HAS SOUPS 48454 WITH SCORE 48508.879
AT ITER 830 NEW BEST:: SOT 107151 SOS 54302 HAS SOPS 54302 HAS SOUS 47880 HAS SOUPS 47880 WITH SCORE 47934.302
AT ITER 834 NEW BEST:: SOT 106997 SOS 54036 HAS SOPS 54036 HAS SOUS 47668 HAS SOUPS 47668 WITH SCORE 47722.036
AT ITER 835 NEW BEST:: SOT 106955 SOS 53894 HAS SOPS 53894 HAS SOUS 47496 HAS SOUPS 47496 WITH SCORE 47549.894
AT ITER 836 NEW BEST:: SOT 106925 SOS 53854 HAS SOPS 53854 HAS SOUS 47418 HAS SOUPS 47418 WITH SCORE 47471.854
AT ITER 839 NEW BEST:: SOT 106823 SOS 53668 HAS SOPS 53668 HAS SOUS 47208 HAS SOUPS 47208 WITH SCORE 47261.668
AT ITER 843 NEW BEST:: SOT 106821 SOS 53664 HAS SOPS 53664 HAS SOUS 47203 HAS SOUPS 47203 WITH SCORE 47256.664
AT ITER 849 NEW BEST:: SOT 106729 SOS 53397 HAS SOPS 53397 HAS SOUS 47022 HAS SOUPS 47022 WITH SCORE 47075.397
AT ITER 852 NEW BEST:: SOT 106729 SOS 53397 HAS SOPS 53397 HAS SOUS 47017 HAS SOUPS 47017 WITH SCORE 47070.397
AT ITER 858 NEW BEST:: SOT 106729 SOS 53377 HAS SOPS 53377 HAS SOUS 47017 HAS SOUPS 47017 WITH SCORE 47070.377
AT ITER 862 NEW BEST:: SOT 106713 SOS 53313 HAS SOPS 53313 HAS SOUS 46985 HAS SOUPS 46985 WITH SCORE 47038.313
AT ITER 864 NEW BEST:: SOT 106713 SOS 53071 HAS SOPS 53071 HAS SOUS 46783 HAS SOUPS 46783 WITH SCORE 46836.071
AT ITER 869 NEW BEST:: SOT 106535 SOS 52626 HAS SOPS 52626 HAS SOUS 46367 HAS SOUPS 46367 WITH SCORE 46419.626
AT ITER 873 NEW BEST:: SOT 106535 SOS 52558 HAS SOPS 52558 HAS SOUS 46311 HAS SOUPS 46311 WITH SCORE 46363.558
AT ITER 875 NEW BEST:: SOT 106402 SOS 52313 HAS SOPS 52313 HAS SOUS 46034 HAS SOUPS 46034 WITH SCORE 46086.313
AT ITER 888 NEW BEST:: SOT 106313 SOS 52148 HAS SOPS 52148 HAS SOUS 45888 HAS SOUPS 45888 WITH SCORE 45940.148
AT ITER 891 NEW BEST:: SOT 106253 SOS 52037 HAS SOPS 52037 HAS SOUS 45757 HAS SOUPS 45757 WITH SCORE 45809.037
AT ITER 896 NEW BEST:: SOT 106193 SOS 51897 HAS SOPS 51897 HAS SOUS 45664 HAS SOUPS 45664 WITH SCORE 45715.897
AT ITER 907 NEW BEST:: SOT 106149 SOS 51853 HAS SOPS 51853 HAS SOUS 45620 HAS SOUPS 45620 WITH SCORE 45671.853
AT ITER 909 NEW BEST:: SOT 106080 SOS 51567 HAS SOPS 51567 HAS SOUS 45502 HAS SOUPS 45502 WITH SCORE 45553.567
AT ITER 911 NEW BEST:: SOT 105985 SOS 51557 HAS SOPS 51557 HAS SOUS 45475 HAS SOUPS 45475 WITH SCORE 45526.557
AT ITER 937 NEW BEST:: SOT 105946 SOS 51452 HAS SOPS 51452 HAS SOUS 45403 HAS SOUPS 45403 WITH SCORE 45454.452
AT ITER 942 NEW BEST:: SOT 105947 SOS 51298 HAS SOPS 51298 HAS SOUS 45354 HAS SOUPS 45354 WITH SCORE 45405.298
AT ITER 950 NEW BEST:: SOT 105947 SOS 51298 HAS SOPS 51298 HAS SOUS 45333 HAS SOUPS 45333 WITH SCORE 45384.298
AT ITER 952 NEW BEST:: SOT 105910 SOS 51282 HAS SOPS 51282 HAS SOUS 45317 HAS SOUPS 45317 WITH SCORE 45368.282
AT ITER 955 NEW BEST:: SOT 105883 SOS 51138 HAS SOPS 51138 HAS SOUS 45281 HAS SOUPS 45281 WITH SCORE 45332.138
AT ITER 971 NEW BEST:: SOT 105719 SOS 50657 HAS SOPS 50657 HAS SOUS 45007 HAS SOUPS 45007 WITH SCORE 45057.657
AT ITER 975 NEW BEST:: SOT 105735 SOS 50848 HAS SOPS 50848 HAS SOUS 44981 HAS SOUPS 44981 WITH SCORE 45031.848
AT ITER 981 NEW BEST:: SOT 105729 SOS 50824 HAS SOPS 50824 HAS SOUS 44963 HAS SOUPS 44963 WITH SCORE 45013.824
AT ITER 982 NEW BEST:: SOT 105729 SOS 50792 HAS SOPS 50792 HAS SOUS 44943 HAS SOUPS 44943 WITH SCORE 44993.792
AT ITER 985 NEW BEST:: SOT 105729 SOS 50735 HAS SOPS 50735 HAS SOUS 44865 HAS SOUPS 44865 WITH SCORE 44915.735
AT ITER 987 NEW BEST:: SOT 105438 SOS 50092 HAS SOPS 50092 HAS SOUS 44344 HAS SOUPS 44344 WITH SCORE 44394.092
AT ITER 989 NEW BEST:: SOT 105441 SOS 49961 HAS SOPS 49961 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44316.961
AT ITER 990 NEW BEST:: SOT 105414 SOS 49851 HAS SOPS 49851 HAS SOUS 44188 HAS SOUPS 44188 WITH SCORE 44237.851
AT ITER 999 NEW BEST:: SOT 105377 SOS 49778 HAS SOPS 49778 HAS SOUS 44071 HAS SOUPS 44071 WITH SCORE 44120.778
AT ITER 1000 NEW BEST:: SOT 105383 SOS 49767 HAS SOPS 49767 HAS SOUS 44060 HAS SOUPS 44060 WITH SCORE 44109.767
AT ITER 1005 NEW BEST:: SOT 105353 SOS 49946 HAS SOPS 49946 HAS SOUS 44006 HAS SOUPS 44006 WITH SCORE 44055.946
AT ITER 1012 NEW BEST:: SOT 105319 SOS 49810 HAS SOPS 49810 HAS SOUS 43868 HAS SOUPS 43868 WITH SCORE 43917.81
AT ITER 1022 NEW BEST:: SOT 105294 SOS 49785 HAS SOPS 49785 HAS SOUS 43843 HAS SOUPS 43843 WITH SCORE 43892.785
AT ITER 1024 NEW BEST:: SOT 105294 SOS 49749 HAS SOPS 49749 HAS SOUS 43841 HAS SOUPS 43841 WITH SCORE 43890.749
AT ITER 1028 NEW BEST:: SOT 105294 SOS 49740 HAS SOPS 49740 HAS SOUS 43841 HAS SOUPS 43841 WITH SCORE 43890.74
AT ITER 1030 NEW BEST:: SOT 105159 SOS 49514 HAS SOPS 49514 HAS SOUS 43616 HAS SOUPS 43616 WITH SCORE 43665.514
AT ITER 1038 NEW BEST:: SOT 105148 SOS 49475 HAS SOPS 49475 HAS SOUS 43614 HAS SOUPS 43614 WITH SCORE 43663.475
AT ITER 1050 NEW BEST:: SOT 105061 SOS 49340 HAS SOPS 49340 HAS SOUS 43475 HAS SOUPS 43475 WITH SCORE 43524.34
AT ITER 1053 NEW BEST:: SOT 105055 SOS 49339 HAS SOPS 49339 HAS SOUS 43468 HAS SOUPS 43468 WITH SCORE 43517.339
AT ITER 1056 NEW BEST:: SOT 104996 SOS 49256 HAS SOPS 49256 HAS SOUS 43392 HAS SOUPS 43392 WITH SCORE 43441.256
AT ITER 1061 NEW BEST:: SOT 104990 SOS 49238 HAS SOPS 49238 HAS SOUS 43380 HAS SOUPS 43380 WITH SCORE 43429.238
AT ITER 1068 NEW BEST:: SOT 104990 SOS 49238 HAS SOPS 49238 HAS SOUS 43340 HAS SOUPS 43340 WITH SCORE 43389.238
AT ITER 1074 NEW BEST:: SOT 104895 SOS 49045 HAS SOPS 49045 HAS SOUS 43224 HAS SOUPS 43224 WITH SCORE 43273.045
AT ITER 1088 NEW BEST:: SOT 104893 SOS 49018 HAS SOPS 49018 HAS SOUS 43220 HAS SOUPS 43220 WITH SCORE 43269.018
AT ITER 1094 NEW BEST:: SOT 104862 SOS 48987 HAS SOPS 48987 HAS SOUS 43189 HAS SOUPS 43189 WITH SCORE 43237.987
AT ITER 1103 NEW BEST:: SOT 104775 SOS 48779 HAS SOPS 48779 HAS SOUS 43012 HAS SOUPS 43012 WITH SCORE 43060.779
AT ITER 1106 NEW BEST:: SOT 104702 SOS 48581 HAS SOPS 48581 HAS SOUS 42720 HAS SOUPS 42720 WITH SCORE 42768.581
AT ITER 1107 NEW BEST:: SOT 104699 SOS 48635 HAS SOPS 48635 HAS SOUS 42712 HAS SOUPS 42712 WITH SCORE 42760.635
AT ITER 1111 NEW BEST:: SOT 104573 SOS 48338 HAS SOPS 48338 HAS SOUS 42478 HAS SOUPS 42478 WITH SCORE 42526.338
AT ITER 1120 NEW BEST:: SOT 104568 SOS 48319 HAS SOPS 48319 HAS SOUS 42462 HAS SOUPS 42462 WITH SCORE 42510.319
AT ITER 1124 NEW BEST:: SOT 104568 SOS 48285 HAS SOPS 48285 HAS SOUS 42428 HAS SOUPS 42428 WITH SCORE 42476.285
AT ITER 1130 NEW BEST:: SOT 104556 SOS 48277 HAS SOPS 48277 HAS SOUS 42416 HAS SOUPS 42416 WITH SCORE 42464.277
AT ITER 1132 NEW BEST:: SOT 104556 SOS 48277 HAS SOPS 48277 HAS SOUS 42383 HAS SOUPS 42383 WITH SCORE 42431.277
AT ITER 1146 NEW BEST:: SOT 104556 SOS 48299 HAS SOPS 48299 HAS SOUS 42363 HAS SOUPS 42363 WITH SCORE 42411.299
AT ITER 1149 NEW BEST:: SOT 104519 SOS 48206 HAS SOPS 48206 HAS SOUS 42319 HAS SOUPS 42319 WITH SCORE 42367.206
AT ITER 1158 NEW BEST:: SOT 104437 SOS 48124 HAS SOPS 48124 HAS SOUS 42196 HAS SOUPS 42196 WITH SCORE 42244.124
AT ITER 1165 NEW BEST:: SOT 104379 SOS 48088 HAS SOPS 48088 HAS SOUS 42160 HAS SOUPS 42160 WITH SCORE 42208.088
AT ITER 1167 NEW BEST:: SOT 104372 SOS 48060 HAS SOPS 48060 HAS SOUS 42139 HAS SOUPS 42139 WITH SCORE 42187.06
AT ITER 1175 NEW BEST:: SOT 104325 SOS 47864 HAS SOPS 47864 HAS SOUS 42087 HAS SOUPS 42087 WITH SCORE 42134.864
AT ITER 1178 NEW BEST:: SOT 104325 SOS 47811 HAS SOPS 47811 HAS SOUS 42086 HAS SOUPS 42086 WITH SCORE 42133.811
AT ITER 1180 NEW BEST:: SOT 104250 SOS 47620 HAS SOPS 47620 HAS SOUS 42011 HAS SOUPS 42011 WITH SCORE 42058.62
AT ITER 1185 NEW BEST:: SOT 104185 SOS 47670 HAS SOPS 47670 HAS SOUS 41994 HAS SOUPS 41994 WITH SCORE 42041.67
AT ITER 1200 NEW BEST:: SOT 104098 SOS 47571 HAS SOPS 47571 HAS SOUS 41804 HAS SOUPS 41804 WITH SCORE 41851.571
AT ITER 1201 NEW BEST:: SOT 104068 SOS 47531 HAS SOPS 47531 HAS SOUS 41757 HAS SOUPS 41757 WITH SCORE 41804.531
AT ITER 1205 NEW BEST:: SOT 104078 SOS 47673 HAS SOPS 47673 HAS SOUS 41745 HAS SOUPS 41745 WITH SCORE 41792.673
AT ITER 1214 NEW BEST:: SOT 104074 SOS 47665 HAS SOPS 47665 HAS SOUS 41707 HAS SOUPS 41707 WITH SCORE 41754.665
AT ITER 1219 NEW BEST:: SOT 104147 SOS 47754 HAS SOPS 47754 HAS SOUS 41665 HAS SOUPS 41665 WITH SCORE 41712.754
AT ITER 1227 NEW BEST:: SOT 104062 SOS 47619 HAS SOPS 47619 HAS SOUS 41544 HAS SOUPS 41544 WITH SCORE 41591.619
AT ITER 1231 NEW BEST:: SOT 104062 SOS 47619 HAS SOPS 47619 HAS SOUS 41543 HAS SOUPS 41543 WITH SCORE 41590.619
AT ITER 1232 NEW BEST:: SOT 103936 SOS 47366 HAS SOPS 47366 HAS SOUS 41354 HAS SOUPS 41354 WITH SCORE 41401.366
AT ITER 1238 NEW BEST:: SOT 103774 SOS 47123 HAS SOPS 47123 HAS SOUS 41128 HAS SOUPS 41128 WITH SCORE 41175.123
AT ITER 1239 NEW BEST:: SOT 103753 SOS 47081 HAS SOPS 47081 HAS SOUS 41081 HAS SOUPS 41081 WITH SCORE 41128.081
AT ITER 1246 NEW BEST:: SOT 103741 SOS 47063 HAS SOPS 47063 HAS SOUS 41063 HAS SOUPS 41063 WITH SCORE 41110.063
AT ITER 1255 NEW BEST:: SOT 103731 SOS 47043 HAS SOPS 47043 HAS SOUS 41053 HAS SOUPS 41053 WITH SCORE 41100.043
AT ITER 1261 NEW BEST:: SOT 103709 SOS 47003 HAS SOPS 47003 HAS SOUS 41018 HAS SOUPS 41018 WITH SCORE 41065.003
AT ITER 1267 NEW BEST:: SOT 103595 SOS 46838 HAS SOPS 46838 HAS SOUS 40853 HAS SOUPS 40853 WITH SCORE 40899.838
AT ITER 1270 NEW BEST:: SOT 103614 SOS 46835 HAS SOPS 46835 HAS SOUS 40850 HAS SOUPS 40850 WITH SCORE 40896.835
AT ITER 1286 NEW BEST:: SOT 103604 SOS 46820 HAS SOPS 46820 HAS SOUS 40835 HAS SOUPS 40835 WITH SCORE 40881.82
AT ITER 1300 NEW BEST:: SOT 103604 SOS 46820 HAS SOPS 46820 HAS SOUS 40819 HAS SOUPS 40819 WITH SCORE 40865.82
AT ITER 1308 NEW BEST:: SOT 103602 SOS 46817 HAS SOPS 46817 HAS SOUS 40816 HAS SOUPS 40816 WITH SCORE 40862.817
AT ITER 1311 NEW BEST:: SOT 103546 SOS 46747 HAS SOPS 46747 HAS SOUS 40746 HAS SOUPS 40746 WITH SCORE 40792.747
AT ITER 1319 NEW BEST:: SOT 103462 SOS 46582 HAS SOPS 46582 HAS SOUS 40581 HAS SOUPS 40581 WITH SCORE 40627.582
AT ITER 1320 NEW BEST:: SOT 103432 SOS 46595 HAS SOPS 46595 HAS SOUS 40465 HAS SOUPS 40465 WITH SCORE 40511.595
AT ITER 1329 NEW BEST:: SOT 103412 SOS 46535 HAS SOPS 46535 HAS SOUS 40453 HAS SOUPS 40453 WITH SCORE 40499.535
AT ITER 1343 NEW BEST:: SOT 103396 SOS 46496 HAS SOPS 46496 HAS SOUS 40407 HAS SOUPS 40407 WITH SCORE 40453.496
AT ITER 1349 NEW BEST:: SOT 103306 SOS 46201 HAS SOPS 46201 HAS SOUS 40110 HAS SOUPS 40110 WITH SCORE 40156.201
AT ITER 1356 NEW BEST:: SOT 103295 SOS 46190 HAS SOPS 46190 HAS SOUS 40099 HAS SOUPS 40099 WITH SCORE 40145.19
AT ITER 1361 NEW BEST:: SOT 103295 SOS 46194 HAS SOPS 46194 HAS SOUS 40091 HAS SOUPS 40091 WITH SCORE 40137.194
AT ITER 1370 NEW BEST:: SOT 103209 SOS 46108 HAS SOPS 46108 HAS SOUS 40048 HAS SOUPS 40048 WITH SCORE 40094.108
AT ITER 1386 NEW BEST:: SOT 103152 SOS 46019 HAS SOPS 46019 HAS SOUS 39983 HAS SOUPS 39983 WITH SCORE 40029.019
AT ITER 1388 NEW BEST:: SOT 103144 SOS 46003 HAS SOPS 46003 HAS SOUS 39967 HAS SOUPS 39967 WITH SCORE 40013.003
AT ITER 1389 NEW BEST:: SOT 103130 SOS 45975 HAS SOPS 45975 HAS SOUS 39925 HAS SOUPS 39925 WITH SCORE 39970.975
AT ITER 1390 NEW BEST:: SOT 103123 SOS 45932 HAS SOPS 45932 HAS SOUS 39911 HAS SOUPS 39911 WITH SCORE 39956.932
AT ITER 1391 NEW BEST:: SOT 103116 SOS 45889 HAS SOPS 45889 HAS SOUS 39896 HAS SOUPS 39896 WITH SCORE 39941.889
AT ITER 1396 NEW BEST:: SOT 103115 SOS 45888 HAS SOPS 45888 HAS SOUS 39894 HAS SOUPS 39894 WITH SCORE 39939.888
AT ITER 1403 NEW BEST:: SOT 103109 SOS 45877 HAS SOPS 45877 HAS SOUS 39893 HAS SOUPS 39893 WITH SCORE 39938.877
AT ITER 1404 NEW BEST:: SOT 103101 SOS 45845 HAS SOPS 45845 HAS SOUS 39877 HAS SOUPS 39877 WITH SCORE 39922.845
AT ITER 1413 NEW BEST:: SOT 103099 SOS 45839 HAS SOPS 45839 HAS SOUS 39875 HAS SOUPS 39875 WITH SCORE 39920.839
AT ITER 1416 NEW BEST:: SOT 102910 SOS 45524 HAS SOPS 45524 HAS SOUS 39623 HAS SOUPS 39623 WITH SCORE 39668.524
AT ITER 1423 NEW BEST:: SOT 102791 SOS 45043 HAS SOPS 45043 HAS SOUS 39271 HAS SOUPS 39271 WITH SCORE 39316.043
AT ITER 1427 NEW BEST:: SOT 102764 SOS 44998 HAS SOPS 44998 HAS SOUS 39232 HAS SOUPS 39232 WITH SCORE 39276.998
AT ITER 1453 NEW BEST:: SOT 102764 SOS 44967 HAS SOPS 44967 HAS SOUS 39232 HAS SOUPS 39232 WITH SCORE 39276.967
AT ITER 1473 NEW BEST:: SOT 102764 SOS 44957 HAS SOPS 44957 HAS SOUS 39222 HAS SOUPS 39222 WITH SCORE 39266.957
AT ITER 1492 NEW BEST:: SOT 102764 SOS 44957 HAS SOPS 44957 HAS SOUS 39211 HAS SOUPS 39211 WITH SCORE 39255.957
AT ITER 1507 NEW BEST:: SOT 102764 SOS 44957 HAS SOPS 44957 HAS SOUS 39204 HAS SOUPS 39204 WITH SCORE 39248.957
AT ITER 1512 NEW BEST:: SOT 102718 SOS 44679 HAS SOPS 44679 HAS SOUS 39088 HAS SOUPS 39088 WITH SCORE 39132.679
AT ITER 1531 NEW BEST:: SOT 102703 SOS 44677 HAS SOPS 44677 HAS SOUS 39084 HAS SOUPS 39084 WITH SCORE 39128.677
AT ITER 1536 NEW BEST:: SOT 102686 SOS 44660 HAS SOPS 44660 HAS SOUS 39052 HAS SOUPS 39052 WITH SCORE 39096.66
AT ITER 1541 NEW BEST:: SOT 102666 SOS 44626 HAS SOPS 44626 HAS SOUS 39018 HAS SOUPS 39018 WITH SCORE 39062.626
AT ITER 1557 NEW BEST:: SOT 102659 SOS 44605 HAS SOPS 44605 HAS SOUS 39001 HAS SOUPS 39001 WITH SCORE 39045.605
AT ITER 1558 NEW BEST:: SOT 102659 SOS 44604 HAS SOPS 44604 HAS SOUS 39001 HAS SOUPS 39001 WITH SCORE 39045.604
AT ITER 1568 NEW BEST:: SOT 102659 SOS 44585 HAS SOPS 44585 HAS SOUS 38982 HAS SOUPS 38982 WITH SCORE 39026.585
AT ITER 1576 NEW BEST:: SOT 102634 SOS 44510 HAS SOPS 44510 HAS SOUS 38920 HAS SOUPS 38920 WITH SCORE 38964.51
AT ITER 1589 NEW BEST:: SOT 102634 SOS 44510 HAS SOPS 44510 HAS SOUS 38916 HAS SOUPS 38916 WITH SCORE 38960.51
AT ITER 1599 NEW BEST:: SOT 102633 SOS 44502 HAS SOPS 44502 HAS SOUS 38857 HAS SOUPS 38857 WITH SCORE 38901.502
AT ITER 1608 NEW BEST:: SOT 102643 SOS 44489 HAS SOPS 44489 HAS SOUS 38834 HAS SOUPS 38834 WITH SCORE 38878.489
AT ITER 1612 NEW BEST:: SOT 102595 SOS 44334 HAS SOPS 44334 HAS SOUS 38781 HAS SOUPS 38781 WITH SCORE 38825.334
AT ITER 1625 NEW BEST:: SOT 102530 SOS 44265 HAS SOPS 44265 HAS SOUS 38676 HAS SOUPS 38676 WITH SCORE 38720.265
AT ITER 1636 NEW BEST:: SOT 102493 SOS 44160 HAS SOPS 44160 HAS SOUS 38565 HAS SOUPS 38565 WITH SCORE 38609.16
AT ITER 1637 NEW BEST:: SOT 102463 SOS 44137 HAS SOPS 44137 HAS SOUS 38538 HAS SOUPS 38538 WITH SCORE 38582.137
AT ITER 1648 NEW BEST:: SOT 102382 SOS 44041 HAS SOPS 44041 HAS SOUS 38442 HAS SOUPS 38442 WITH SCORE 38486.041
AT ITER 1649 NEW BEST:: SOT 102247 SOS 43846 HAS SOPS 43846 HAS SOUS 38320 HAS SOUPS 38320 WITH SCORE 38363.846
AT ITER 1651 NEW BEST:: SOT 102203 SOS 43758 HAS SOPS 43758 HAS SOUS 38234 HAS SOUPS 38234 WITH SCORE 38277.758
AT ITER 1661 NEW BEST:: SOT 102196 SOS 43723 HAS SOPS 43723 HAS SOUS 38220 HAS SOUPS 38220 WITH SCORE 38263.723
AT ITER 1663 NEW BEST:: SOT 102220 SOS 43709 HAS SOPS 43709 HAS SOUS 38212 HAS SOUPS 38212 WITH SCORE 38255.709
AT ITER 1664 NEW BEST:: SOT 102234 SOS 43611 HAS SOPS 43611 HAS SOUS 38185 HAS SOUPS 38185 WITH SCORE 38228.611
AT ITER 1665 NEW BEST:: SOT 102222 SOS 43587 HAS SOPS 43587 HAS SOUS 38176 HAS SOUPS 38176 WITH SCORE 38219.587
AT ITER 1691 NEW BEST:: SOT 102048 SOS 43413 HAS SOPS 43413 HAS SOUS 37835 HAS SOUPS 37835 WITH SCORE 37878.413
AT ITER 1692 NEW BEST:: SOT 102044 SOS 43397 HAS SOPS 43397 HAS SOUS 37823 HAS SOUPS 37823 WITH SCORE 37866.397
AT ITER 1697 NEW BEST:: SOT 102029 SOS 43367 HAS SOPS 43367 HAS SOUS 37778 HAS SOUPS 37778 WITH SCORE 37821.367
AT ITER 1705 NEW BEST:: SOT 102029 SOS 43317 HAS SOPS 43317 HAS SOUS 37728 HAS SOUPS 37728 WITH SCORE 37771.317
AT ITER 1707 NEW BEST:: SOT 101994 SOS 43369 HAS SOPS 43369 HAS SOUS 37661 HAS SOUPS 37661 WITH SCORE 37704.369
AT ITER 1724 NEW BEST:: SOT 102040 SOS 43394 HAS SOPS 43394 HAS SOUS 37631 HAS SOUPS 37631 WITH SCORE 37674.394
AT ITER 1732 NEW BEST:: SOT 102040 SOS 43410 HAS SOPS 43410 HAS SOUS 37593 HAS SOUPS 37593 WITH SCORE 37636.41
AT ITER 1734 NEW BEST:: SOT 102053 SOS 43427 HAS SOPS 43427 HAS SOUS 37581 HAS SOUPS 37581 WITH SCORE 37624.427
AT ITER 1740 NEW BEST:: SOT 102027 SOS 43380 HAS SOPS 43380 HAS SOUS 37563 HAS SOUPS 37563 WITH SCORE 37606.38
AT ITER 1750 NEW BEST:: SOT 102012 SOS 43355 HAS SOPS 43355 HAS SOUS 37522 HAS SOUPS 37522 WITH SCORE 37565.355
AT ITER 1751 NEW BEST:: SOT 101992 SOS 43279 HAS SOPS 43279 HAS SOUS 37474 HAS SOUPS 37474 WITH SCORE 37517.279
AT ITER 1758 NEW BEST:: SOT 101946 SOS 43191 HAS SOPS 43191 HAS SOUS 37395 HAS SOUPS 37395 WITH SCORE 37438.191
AT ITER 1768 NEW BEST:: SOT 101702 SOS 42891 HAS SOPS 42891 HAS SOUS 37095 HAS SOUPS 37095 WITH SCORE 37137.891
AT ITER 1785 NEW BEST:: SOT 101683 SOS 42884 HAS SOPS 42884 HAS SOUS 37072 HAS SOUPS 37072 WITH SCORE 37114.884
AT ITER 1790 NEW BEST:: SOT 101663 SOS 42827 HAS SOPS 42827 HAS SOUS 37015 HAS SOUPS 37015 WITH SCORE 37057.827
AT ITER 1791 NEW BEST:: SOT 101661 SOS 42823 HAS SOPS 42823 HAS SOUS 37011 HAS SOUPS 37011 WITH SCORE 37053.823
AT ITER 1800 NEW BEST:: SOT 101587 SOS 42623 HAS SOPS 42623 HAS SOUS 36860 HAS SOUPS 36860 WITH SCORE 36902.623
AT ITER 1807 NEW BEST:: SOT 101575 SOS 42599 HAS SOPS 42599 HAS SOUS 36749 HAS SOUPS 36749 WITH SCORE 36791.599
AT ITER 1816 NEW BEST:: SOT 101489 SOS 42513 HAS SOPS 42513 HAS SOUS 36596 HAS SOUPS 36596 WITH SCORE 36638.513
AT ITER 1820 NEW BEST:: SOT 101486 SOS 42494 HAS SOPS 42494 HAS SOUS 36567 HAS SOUPS 36567 WITH SCORE 36609.494
AT ITER 1822 NEW BEST:: SOT 101446 SOS 42386 HAS SOPS 42386 HAS SOUS 36521 HAS SOUPS 36521 WITH SCORE 36563.386
AT ITER 1828 NEW BEST:: SOT 101409 SOS 42258 HAS SOPS 42258 HAS SOUS 36393 HAS SOUPS 36393 WITH SCORE 36435.258
AT ITER 1834 NEW BEST:: SOT 101366 SOS 42184 HAS SOPS 42184 HAS SOUS 36335 HAS SOUPS 36335 WITH SCORE 36377.184
AT ITER 1850 NEW BEST:: SOT 101366 SOS 42211 HAS SOPS 42211 HAS SOUS 36308 HAS SOUPS 36308 WITH SCORE 36350.211
AT ITER 1861 NEW BEST:: SOT 101354 SOS 42121 HAS SOPS 42121 HAS SOUS 36293 HAS SOUPS 36293 WITH SCORE 36335.121
AT ITER 1866 NEW BEST:: SOT 101309 SOS 42053 HAS SOPS 42053 HAS SOUS 36207 HAS SOUPS 36207 WITH SCORE 36249.053
AT ITER 1880 NEW BEST:: SOT 101333 SOS 42040 HAS SOPS 42040 HAS SOUS 36203 HAS SOUPS 36203 WITH SCORE 36245.04
AT ITER 1881 NEW BEST:: SOT 101281 SOS 41843 HAS SOPS 41843 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36143.843
AT ITER 1884 NEW BEST:: SOT 101182 SOS 41751 HAS SOPS 41751 HAS SOUS 36010 HAS SOUPS 36010 WITH SCORE 36051.751
AT ITER 1908 NEW BEST:: SOT 101092 SOS 41583 HAS SOPS 41583 HAS SOUS 35910 HAS SOUPS 35910 WITH SCORE 35951.583
AT ITER 1922 NEW BEST:: SOT 101075 SOS 41566 HAS SOPS 41566 HAS SOUS 35863 HAS SOUPS 35863 WITH SCORE 35904.566
AT ITER 1929 NEW BEST:: SOT 100958 SOS 41404 HAS SOPS 41404 HAS SOUS 35673 HAS SOUPS 35673 WITH SCORE 35714.404
AT ITER 1933 NEW BEST:: SOT 100961 SOS 41410 HAS SOPS 41410 HAS SOUS 35644 HAS SOUPS 35644 WITH SCORE 35685.41
AT ITER 1935 NEW BEST:: SOT 100961 SOS 41410 HAS SOPS 41410 HAS SOUS 35639 HAS SOUPS 35639 WITH SCORE 35680.41
AT ITER 1939 NEW BEST:: SOT 100904 SOS 41335 HAS SOPS 41335 HAS SOUS 35564 HAS SOUPS 35564 WITH SCORE 35605.335
AT ITER 1944 NEW BEST:: SOT 100870 SOS 41271 HAS SOPS 41271 HAS SOUS 35490 HAS SOUPS 35490 WITH SCORE 35531.271
AT ITER 1948 NEW BEST:: SOT 100797 SOS 41087 HAS SOPS 41087 HAS SOUS 35246 HAS SOUPS 35246 WITH SCORE 35287.087
AT ITER 1971 NEW BEST:: SOT 100794 SOS 41082 HAS SOPS 41082 HAS SOUS 35243 HAS SOUPS 35243 WITH SCORE 35284.082
AT ITER 1988 NEW BEST:: SOT 100801 SOS 40934 HAS SOPS 40934 HAS SOUS 35161 HAS SOUPS 35161 WITH SCORE 35201.934
AT ITER 1991 NEW BEST:: SOT 100800 SOS 40929 HAS SOPS 40929 HAS SOUS 35159 HAS SOUPS 35159 WITH SCORE 35199.929
AT ITER 1994 NEW BEST:: SOT 100656 SOS 40689 HAS SOPS 40689 HAS SOUS 34951 HAS SOUPS 34951 WITH SCORE 34991.689
AT ITER 2017 NEW BEST:: SOT 100656 SOS 40655 HAS SOPS 40655 HAS SOUS 34939 HAS SOUPS 34939 WITH SCORE 34979.655
AT ITER 2022 NEW BEST:: SOT 100527 SOS 40518 HAS SOPS 40518 HAS SOUS 34936 HAS SOUPS 34936 WITH SCORE 34976.518
AT ITER 2024 NEW BEST:: SOT 100263 SOS 39988 HAS SOPS 39988 HAS SOUS 34483 HAS SOUPS 34483 WITH SCORE 34522.988
AT ITER 2027 NEW BEST:: SOT 100225 SOS 39838 HAS SOPS 39838 HAS SOUS 34411 HAS SOUPS 34411 WITH SCORE 34450.838
AT ITER 2046 NEW BEST:: SOT 100266 SOS 39920 HAS SOPS 39920 HAS SOUS 34397 HAS SOUPS 34397 WITH SCORE 34436.92
AT ITER 2057 NEW BEST:: SOT 100274 SOS 39826 HAS SOPS 39826 HAS SOUS 34370 HAS SOUPS 34370 WITH SCORE 34409.826
AT ITER 2061 NEW BEST:: SOT 100258 SOS 39794 HAS SOPS 39794 HAS SOUS 34346 HAS SOUPS 34346 WITH SCORE 34385.794
AT ITER 2076 NEW BEST:: SOT 100260 SOS 39814 HAS SOPS 39814 HAS SOUS 34310 HAS SOUPS 34310 WITH SCORE 34349.814
AT ITER 2098 NEW BEST:: SOT 100260 SOS 39798 HAS SOPS 39798 HAS SOUS 34302 HAS SOUPS 34302 WITH SCORE 34341.798
AT ITER 2104 NEW BEST:: SOT 100234 SOS 39748 HAS SOPS 39748 HAS SOUS 34257 HAS SOUPS 34257 WITH SCORE 34296.748
AT ITER 2111 NEW BEST:: SOT 100164 SOS 39611 HAS SOPS 39611 HAS SOUS 34144 HAS SOUPS 34144 WITH SCORE 34183.611
AT ITER 2115 NEW BEST:: SOT 100093 SOS 39516 HAS SOPS 39516 HAS SOUS 34099 HAS SOUPS 34099 WITH SCORE 34138.516
AT ITER 2127 NEW BEST:: SOT 100078 SOS 39496 HAS SOPS 39496 HAS SOUS 34079 HAS SOUPS 34079 WITH SCORE 34118.496
AT ITER 2137 NEW BEST:: SOT 100078 SOS 39474 HAS SOPS 39474 HAS SOUS 34079 HAS SOUPS 34079 WITH SCORE 34118.474
AT ITER 2146 NEW BEST:: SOT 99990 SOS 39315 HAS SOPS 39315 HAS SOUS 33920 HAS SOUPS 33920 WITH SCORE 33959.315
AT ITER 2153 NEW BEST:: SOT 99919 SOS 39196 HAS SOPS 39196 HAS SOUS 33761 HAS SOUPS 33761 WITH SCORE 33800.196
AT ITER 2201 NEW BEST:: SOT 99918 SOS 39190 HAS SOPS 39190 HAS SOUS 33755 HAS SOUPS 33755 WITH SCORE 33794.19
AT ITER 2205 NEW BEST:: SOT 99865 SOS 39134 HAS SOPS 39134 HAS SOUS 33684 HAS SOUPS 33684 WITH SCORE 33723.134
AT ITER 2208 NEW BEST:: SOT 99865 SOS 39128 HAS SOPS 39128 HAS SOUS 33675 HAS SOUPS 33675 WITH SCORE 33714.128
AT ITER 2212 NEW BEST:: SOT 99865 SOS 39128 HAS SOPS 39128 HAS SOUS 33665 HAS SOUPS 33665 WITH SCORE 33704.128
AT ITER 2220 NEW BEST:: SOT 99643 SOS 38684 HAS SOPS 38684 HAS SOUS 33271 HAS SOUPS 33271 WITH SCORE 33309.684
AT ITER 2221 NEW BEST:: SOT 99557 SOS 38516 HAS SOPS 38516 HAS SOUS 33091 HAS SOUPS 33091 WITH SCORE 33129.516
AT ITER 2223 NEW BEST:: SOT 99557 SOS 38516 HAS SOPS 38516 HAS SOUS 33069 HAS SOUPS 33069 WITH SCORE 33107.516
AT ITER 2224 NEW BEST:: SOT 99557 SOS 38502 HAS SOPS 38502 HAS SOUS 33069 HAS SOUPS 33069 WITH SCORE 33107.502
AT ITER 2229 NEW BEST:: SOT 99509 SOS 38437 HAS SOPS 38437 HAS SOUS 32983 HAS SOUPS 32983 WITH SCORE 33021.437
AT ITER 2248 NEW BEST:: SOT 99467 SOS 38374 HAS SOPS 38374 HAS SOUS 32941 HAS SOUPS 32941 WITH SCORE 32979.374
AT ITER 2267 NEW BEST:: SOT 99467 SOS 38374 HAS SOPS 38374 HAS SOUS 32939 HAS SOUPS 32939 WITH SCORE 32977.374
AT ITER 2268 NEW BEST:: SOT 99454 SOS 38348 HAS SOPS 38348 HAS SOUS 32926 HAS SOUPS 32926 WITH SCORE 32964.348
AT ITER 2277 NEW BEST:: SOT 99454 SOS 38348 HAS SOPS 38348 HAS SOUS 32925 HAS SOUPS 32925 WITH SCORE 32963.348
AT ITER 2279 NEW BEST:: SOT 99454 SOS 38345 HAS SOPS 38345 HAS SOUS 32922 HAS SOUPS 32922 WITH SCORE 32960.345
AT ITER 2284 NEW BEST:: SOT 99451 SOS 38344 HAS SOPS 38344 HAS SOUS 32921 HAS SOUPS 32921 WITH SCORE 32959.344
AT ITER 2289 NEW BEST:: SOT 99426 SOS 38243 HAS SOPS 38243 HAS SOUS 32909 HAS SOUPS 32909 WITH SCORE 32947.243
AT ITER 2290 NEW BEST:: SOT 99357 SOS 38153 HAS SOPS 38153 HAS SOUS 32821 HAS SOUPS 32821 WITH SCORE 32859.153
AT ITER 2294 NEW BEST:: SOT 99348 SOS 38141 HAS SOPS 38141 HAS SOUS 32809 HAS SOUPS 32809 WITH SCORE 32847.141
AT ITER 2312 NEW BEST:: SOT 99300 SOS 38065 HAS SOPS 38065 HAS SOUS 32741 HAS SOUPS 32741 WITH SCORE 32779.065
AT ITER 2318 NEW BEST:: SOT 99266 SOS 38011 HAS SOPS 38011 HAS SOUS 32659 HAS SOUPS 32659 WITH SCORE 32697.011
AT ITER 2326 NEW BEST:: SOT 99242 SOS 37915 HAS SOPS 37915 HAS SOUS 32618 HAS SOUPS 32618 WITH SCORE 32655.915
AT ITER 2327 NEW BEST:: SOT 99241 SOS 37913 HAS SOPS 37913 HAS SOUS 32616 HAS SOUPS 32616 WITH SCORE 32653.913
AT ITER 2339 NEW BEST:: SOT 99237 SOS 37907 HAS SOPS 37907 HAS SOUS 32608 HAS SOUPS 32608 WITH SCORE 32645.907
AT ITER 2344 NEW BEST:: SOT 99231 SOS 37895 HAS SOPS 37895 HAS SOUS 32599 HAS SOUPS 32599 WITH SCORE 32636.895
AT ITER 2349 NEW BEST:: SOT 99169 SOS 37725 HAS SOPS 37725 HAS SOUS 32510 HAS SOUPS 32510 WITH SCORE 32547.725
AT ITER 2351 NEW BEST:: SOT 99143 SOS 37686 HAS SOPS 37686 HAS SOUS 32484 HAS SOUPS 32484 WITH SCORE 32521.686
AT ITER 2361 NEW BEST:: SOT 99134 SOS 37650 HAS SOPS 37650 HAS SOUS 32457 HAS SOUPS 32457 WITH SCORE 32494.65
AT ITER 2365 NEW BEST:: SOT 99136 SOS 37580 HAS SOPS 37580 HAS SOUS 32446 HAS SOUPS 32446 WITH SCORE 32483.58
AT ITER 2369 NEW BEST:: SOT 99079 SOS 37577 HAS SOPS 37577 HAS SOUS 32374 HAS SOUPS 32374 WITH SCORE 32411.577
AT ITER 2371 NEW BEST:: SOT 99033 SOS 37511 HAS SOPS 37511 HAS SOUS 32302 HAS SOUPS 32302 WITH SCORE 32339.511
AT ITER 2376 NEW BEST:: SOT 99005 SOS 37511 HAS SOPS 37511 HAS SOUS 32281 HAS SOUPS 32281 WITH SCORE 32318.511
AT ITER 2377 NEW BEST:: SOT 99008 SOS 37530 HAS SOPS 37530 HAS SOUS 32276 HAS SOUPS 32276 WITH SCORE 32313.53
AT ITER 2381 NEW BEST:: SOT 99018 SOS 37478 HAS SOPS 37478 HAS SOUS 32249 HAS SOUPS 32249 WITH SCORE 32286.478
AT ITER 2385 NEW BEST:: SOT 98761 SOS 37149 HAS SOPS 37149 HAS SOUS 32017 HAS SOUPS 32017 WITH SCORE 32054.149
AT ITER 2390 NEW BEST:: SOT 98761 SOS 37117 HAS SOPS 37117 HAS SOUS 31971 HAS SOUPS 31971 WITH SCORE 32008.117
AT ITER 2396 NEW BEST:: SOT 98754 SOS 37092 HAS SOPS 37092 HAS SOUS 31944 HAS SOUPS 31944 WITH SCORE 31981.092
AT ITER 2407 NEW BEST:: SOT 98732 SOS 37056 HAS SOPS 37056 HAS SOUS 31909 HAS SOUPS 31909 WITH SCORE 31946.056
AT ITER 2414 NEW BEST:: SOT 98732 SOS 36980 HAS SOPS 36980 HAS SOUS 31909 HAS SOUPS 31909 WITH SCORE 31945.98
AT ITER 2420 NEW BEST:: SOT 98722 SOS 36965 HAS SOPS 36965 HAS SOUS 31899 HAS SOUPS 31899 WITH SCORE 31935.965
AT ITER 2421 NEW BEST:: SOT 98722 SOS 36977 HAS SOPS 36977 HAS SOUS 31894 HAS SOUPS 31894 WITH SCORE 31930.977
AT ITER 2426 NEW BEST:: SOT 98694 SOS 36937 HAS SOPS 36937 HAS SOUS 31842 HAS SOUPS 31842 WITH SCORE 31878.937
AT ITER 2454 NEW BEST:: SOT 98667 SOS 36883 HAS SOPS 36883 HAS SOUS 31787 HAS SOUPS 31787 WITH SCORE 31823.883
AT ITER 2473 NEW BEST:: SOT 98646 SOS 36824 HAS SOPS 36824 HAS SOUS 31751 HAS SOUPS 31751 WITH SCORE 31787.824
AT ITER 2494 NEW BEST:: SOT 98611 SOS 36789 HAS SOPS 36789 HAS SOUS 31742 HAS SOUPS 31742 WITH SCORE 31778.789
AT ITER 2515 NEW BEST:: SOT 98611 SOS 36759 HAS SOPS 36759 HAS SOUS 31712 HAS SOUPS 31712 WITH SCORE 31748.759
AT ITER 2516 NEW BEST:: SOT 98611 SOS 36755 HAS SOPS 36755 HAS SOUS 31708 HAS SOUPS 31708 WITH SCORE 31744.755
AT ITER 2534 NEW BEST:: SOT 98533 SOS 36651 HAS SOPS 36651 HAS SOUS 31630 HAS SOUPS 31630 WITH SCORE 31666.651
AT ITER 2542 NEW BEST:: SOT 98521 SOS 36591 HAS SOPS 36591 HAS SOUS 31606 HAS SOUPS 31606 WITH SCORE 31642.591
AT ITER 2549 NEW BEST:: SOT 98515 SOS 36576 HAS SOPS 36576 HAS SOUS 31591 HAS SOUPS 31591 WITH SCORE 31627.576
AT ITER 2561 NEW BEST:: SOT 98515 SOS 36567 HAS SOPS 36567 HAS SOUS 31573 HAS SOUPS 31573 WITH SCORE 31609.567
AT ITER 2575 NEW BEST:: SOT 98491 SOS 36581 HAS SOPS 36581 HAS SOUS 31539 HAS SOUPS 31539 WITH SCORE 31575.581
AT ITER 2576 NEW BEST:: SOT 98452 SOS 36555 HAS SOPS 36555 HAS SOUS 31513 HAS SOUPS 31513 WITH SCORE 31549.555
AT ITER 2580 NEW BEST:: SOT 98448 SOS 36550 HAS SOPS 36550 HAS SOUS 31508 HAS SOUPS 31508 WITH SCORE 31544.55
AT ITER 2600 NEW BEST:: SOT 98448 SOS 36442 HAS SOPS 36442 HAS SOUS 31471 HAS SOUPS 31471 WITH SCORE 31507.442
AT ITER 2622 NEW BEST:: SOT 98448 SOS 36431 HAS SOPS 36431 HAS SOUS 31467 HAS SOUPS 31467 WITH SCORE 31503.431
AT ITER 2623 NEW BEST:: SOT 98454 SOS 36368 HAS SOPS 36368 HAS SOUS 31463 HAS SOUPS 31463 WITH SCORE 31499.368
AT ITER 2653 NEW BEST:: SOT 98430 SOS 36334 HAS SOPS 36334 HAS SOUS 31442 HAS SOUPS 31442 WITH SCORE 31478.334
AT ITER 2662 NEW BEST:: SOT 98393 SOS 36271 HAS SOPS 36271 HAS SOUS 31405 HAS SOUPS 31405 WITH SCORE 31441.271
AT ITER 2677 NEW BEST:: SOT 98393 SOS 36264 HAS SOPS 36264 HAS SOUS 31398 HAS SOUPS 31398 WITH SCORE 31434.264
AT ITER 2684 NEW BEST:: SOT 98392 SOS 36331 HAS SOPS 36331 HAS SOUS 31370 HAS SOUPS 31370 WITH SCORE 31406.331
AT ITER 2692 NEW BEST:: SOT 98299 SOS 36207 HAS SOPS 36207 HAS SOUS 31271 HAS SOUPS 31271 WITH SCORE 31307.207
AT ITER 2696 NEW BEST:: SOT 98299 SOS 36194 HAS SOPS 36194 HAS SOUS 31266 HAS SOUPS 31266 WITH SCORE 31302.194
AT ITER 2708 NEW BEST:: SOT 98297 SOS 36190 HAS SOPS 36190 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31300.19
AT ITER 2722 NEW BEST:: SOT 98270 SOS 36176 HAS SOPS 36176 HAS SOUS 31250 HAS SOUPS 31250 WITH SCORE 31286.176
AT ITER 2746 NEW BEST:: SOT 98211 SOS 36004 HAS SOPS 36004 HAS SOUS 31140 HAS SOUPS 31140 WITH SCORE 31176.004
AT ITER 2752 NEW BEST:: SOT 98211 SOS 35999 HAS SOPS 35999 HAS SOUS 31140 HAS SOUPS 31140 WITH SCORE 31175.999
AT ITER 2771 NEW BEST:: SOT 98178 SOS 35811 HAS SOPS 35811 HAS SOUS 30985 HAS SOUPS 30985 WITH SCORE 31020.811
AT ITER 2784 NEW BEST:: SOT 98174 SOS 35800 HAS SOPS 35800 HAS SOUS 30978 HAS SOUPS 30978 WITH SCORE 31013.8
AT ITER 2799 NEW BEST:: SOT 98081 SOS 35653 HAS SOPS 35653 HAS SOUS 30858 HAS SOUPS 30858 WITH SCORE 30893.653
AT ITER 2804 NEW BEST:: SOT 98077 SOS 35636 HAS SOPS 35636 HAS SOUS 30844 HAS SOUPS 30844 WITH SCORE 30879.636
AT ITER 2807 NEW BEST:: SOT 97996 SOS 35528 HAS SOPS 35528 HAS SOUS 30736 HAS SOUPS 30736 WITH SCORE 30771.528
AT ITER 2825 NEW BEST:: SOT 97965 SOS 35442 HAS SOPS 35442 HAS SOUS 30692 HAS SOUPS 30692 WITH SCORE 30727.442
AT ITER 2835 NEW BEST:: SOT 97959 SOS 35440 HAS SOPS 35440 HAS SOUS 30677 HAS SOUPS 30677 WITH SCORE 30712.44
AT ITER 2841 NEW BEST:: SOT 97939 SOS 35411 HAS SOPS 35411 HAS SOUS 30648 HAS SOUPS 30648 WITH SCORE 30683.411
AT ITER 2853 NEW BEST:: SOT 97929 SOS 35406 HAS SOPS 35406 HAS SOUS 30592 HAS SOUPS 30592 WITH SCORE 30627.406
AT ITER 2862 NEW BEST:: SOT 97927 SOS 35410 HAS SOPS 35410 HAS SOUS 30586 HAS SOUPS 30586 WITH SCORE 30621.41
AT ITER 2863 NEW BEST:: SOT 97867 SOS 35350 HAS SOPS 35350 HAS SOUS 30526 HAS SOUPS 30526 WITH SCORE 30561.35
AT ITER 2865 NEW BEST:: SOT 97870 SOS 35318 HAS SOPS 35318 HAS SOUS 30496 HAS SOUPS 30496 WITH SCORE 30531.318
AT ITER 2870 NEW BEST:: SOT 97797 SOS 35209 HAS SOPS 35209 HAS SOUS 30380 HAS SOUPS 30380 WITH SCORE 30415.209
AT ITER 2904 NEW BEST:: SOT 97797 SOS 35207 HAS SOPS 35207 HAS SOUS 30380 HAS SOUPS 30380 WITH SCORE 30415.207
AT ITER 2923 NEW BEST:: SOT 97736 SOS 35132 HAS SOPS 35132 HAS SOUS 30305 HAS SOUPS 30305 WITH SCORE 30340.132
AT ITER 2925 NEW BEST:: SOT 97668 SOS 35063 HAS SOPS 35063 HAS SOUS 30236 HAS SOUPS 30236 WITH SCORE 30271.063
AT ITER 2926 NEW BEST:: SOT 97662 SOS 35057 HAS SOPS 35057 HAS SOUS 30227 HAS SOUPS 30227 WITH SCORE 30262.057
AT ITER 2929 NEW BEST:: SOT 97636 SOS 35014 HAS SOPS 35014 HAS SOUS 30184 HAS SOUPS 30184 WITH SCORE 30219.014
AT ITER 2949 NEW BEST:: SOT 97634 SOS 35008 HAS SOPS 35008 HAS SOUS 30159 HAS SOUPS 30159 WITH SCORE 30194.008
AT ITER 2954 NEW BEST:: SOT 97600 SOS 34958 HAS SOPS 34958 HAS SOUS 30109 HAS SOUPS 30109 WITH SCORE 30143.958
AT ITER 2958 NEW BEST:: SOT 97581 SOS 34901 HAS SOPS 34901 HAS SOUS 30052 HAS SOUPS 30052 WITH SCORE 30086.901
AT ITER 2993 NEW BEST:: SOT 97558 SOS 34878 HAS SOPS 34878 HAS SOUS 30019 HAS SOUPS 30019 WITH SCORE 30053.878
AT ITER 3010 NEW BEST:: SOT 97552 SOS 34870 HAS SOPS 34870 HAS SOUS 30013 HAS SOUPS 30013 WITH SCORE 30047.87
AT ITER 3017 NEW BEST:: SOT 97552 SOS 34839 HAS SOPS 34839 HAS SOUS 30013 HAS SOUPS 30013 WITH SCORE 30047.839
AT ITER 3030 NEW BEST:: SOT 97535 SOS 34788 HAS SOPS 34788 HAS SOUS 29996 HAS SOUPS 29996 WITH SCORE 30030.788
AT ITER 3034 NEW BEST:: SOT 97453 SOS 34583 HAS SOPS 34583 HAS SOUS 29859 HAS SOUPS 29859 WITH SCORE 29893.583
AT ITER 3039 NEW BEST:: SOT 97384 SOS 34491 HAS SOPS 34491 HAS SOUS 29767 HAS SOUPS 29767 WITH SCORE 29801.491
AT ITER 3056 NEW BEST:: SOT 97375 SOS 34473 HAS SOPS 34473 HAS SOUS 29749 HAS SOUPS 29749 WITH SCORE 29783.473
AT ITER 3092 NEW BEST:: SOT 97339 SOS 34383 HAS SOPS 34383 HAS SOUS 29695 HAS SOUPS 29695 WITH SCORE 29729.383
AT ITER 3093 NEW BEST:: SOT 97266 SOS 34247 HAS SOPS 34247 HAS SOUS 29616 HAS SOUPS 29616 WITH SCORE 29650.247
AT ITER 3128 NEW BEST:: SOT 97254 SOS 34181 HAS SOPS 34181 HAS SOUS 29574 HAS SOUPS 29574 WITH SCORE 29608.181
AT ITER 3147 NEW BEST:: SOT 97144 SOS 34000 HAS SOPS 34000 HAS SOUS 29431 HAS SOUPS 29431 WITH SCORE 29465.0
AT ITER 3171 NEW BEST:: SOT 97144 SOS 33963 HAS SOPS 33963 HAS SOUS 29407 HAS SOUPS 29407 WITH SCORE 29440.963
AT ITER 3212 NEW BEST:: SOT 97072 SOS 33771 HAS SOPS 33771 HAS SOUS 29338 HAS SOUPS 29338 WITH SCORE 29371.771
AT ITER 3224 NEW BEST:: SOT 97021 SOS 33544 HAS SOPS 33544 HAS SOUS 29237 HAS SOUPS 29237 WITH SCORE 29270.544
AT ITER 3243 NEW BEST:: SOT 96954 SOS 33477 HAS SOPS 33477 HAS SOUS 29170 HAS SOUPS 29170 WITH SCORE 29203.477
AT ITER 3259 NEW BEST:: SOT 96867 SOS 33247 HAS SOPS 33247 HAS SOUS 28986 HAS SOUPS 28986 WITH SCORE 29019.247
AT ITER 3266 NEW BEST:: SOT 96867 SOS 33175 HAS SOPS 33175 HAS SOUS 28986 HAS SOUPS 28986 WITH SCORE 29019.175
AT ITER 3336 NEW BEST:: SOT 96867 SOS 33131 HAS SOPS 33131 HAS SOUS 28984 HAS SOUPS 28984 WITH SCORE 29017.131
AT ITER 3354 NEW BEST:: SOT 96843 SOS 33107 HAS SOPS 33107 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 28993.107
AT ITER 3359 NEW BEST:: SOT 96831 SOS 33089 HAS SOPS 33089 HAS SOUS 28941 HAS SOUPS 28941 WITH SCORE 28974.089
AT ITER 3368 NEW BEST:: SOT 96811 SOS 33029 HAS SOPS 33029 HAS SOUS 28881 HAS SOUPS 28881 WITH SCORE 28914.029
AT ITER 3380 NEW BEST:: SOT 96821 SOS 33069 HAS SOPS 33069 HAS SOUS 28873 HAS SOUPS 28873 WITH SCORE 28906.069
AT ITER 3384 NEW BEST:: SOT 96819 SOS 33066 HAS SOPS 33066 HAS SOUS 28870 HAS SOUPS 28870 WITH SCORE 28903.066
AT ITER 3386 NEW BEST:: SOT 96812 SOS 33043 HAS SOPS 33043 HAS SOUS 28852 HAS SOUPS 28852 WITH SCORE 28885.043
AT ITER 3394 NEW BEST:: SOT 96792 SOS 32998 HAS SOPS 32998 HAS SOUS 28822 HAS SOUPS 28822 WITH SCORE 28854.998
AT ITER 3395 NEW BEST:: SOT 96792 SOS 32918 HAS SOPS 32918 HAS SOUS 28821 HAS SOUPS 28821 WITH SCORE 28853.918
AT ITER 3404 NEW BEST:: SOT 96787 SOS 32898 HAS SOPS 32898 HAS SOUS 28811 HAS SOUPS 28811 WITH SCORE 28843.898
AT ITER 3413 NEW BEST:: SOT 96768 SOS 32905 HAS SOPS 32905 HAS SOUS 28810 HAS SOUPS 28810 WITH SCORE 28842.905
AT ITER 3435 NEW BEST:: SOT 96756 SOS 32879 HAS SOPS 32879 HAS SOUS 28802 HAS SOUPS 28802 WITH SCORE 28834.879
AT ITER 3438 NEW BEST:: SOT 96758 SOS 32982 HAS SOPS 32982 HAS SOUS 28768 HAS SOUPS 28768 WITH SCORE 28800.982
AT ITER 3448 NEW BEST:: SOT 96740 SOS 32892 HAS SOPS 32892 HAS SOUS 28732 HAS SOUPS 28732 WITH SCORE 28764.892
AT ITER 3449 NEW BEST:: SOT 96755 SOS 32923 HAS SOPS 32923 HAS SOUS 28708 HAS SOUPS 28708 WITH SCORE 28740.923
AT ITER 3471 NEW BEST:: SOT 96707 SOS 32764 HAS SOPS 32764 HAS SOUS 28581 HAS SOUPS 28581 WITH SCORE 28613.764
AT ITER 3482 NEW BEST:: SOT 96698 SOS 32741 HAS SOPS 32741 HAS SOUS 28569 HAS SOUPS 28569 WITH SCORE 28601.741
AT ITER 3490 NEW BEST:: SOT 96679 SOS 32711 HAS SOPS 32711 HAS SOUS 28567 HAS SOUPS 28567 WITH SCORE 28599.711
AT ITER 3510 NEW BEST:: SOT 96643 SOS 32657 HAS SOPS 32657 HAS SOUS 28499 HAS SOUPS 28499 WITH SCORE 28531.657
AT ITER 3511 NEW BEST:: SOT 96634 SOS 32648 HAS SOPS 32648 HAS SOUS 28490 HAS SOUPS 28490 WITH SCORE 28522.648
AT ITER 3514 NEW BEST:: SOT 96612 SOS 32593 HAS SOPS 32593 HAS SOUS 28466 HAS SOUPS 28466 WITH SCORE 28498.593
AT ITER 3519 NEW BEST:: SOT 96602 SOS 32578 HAS SOPS 32578 HAS SOUS 28456 HAS SOUPS 28456 WITH SCORE 28488.578
AT ITER 3522 NEW BEST:: SOT 96602 SOS 32574 HAS SOPS 32574 HAS SOUS 28456 HAS SOUPS 28456 WITH SCORE 28488.574
AT ITER 3544 NEW BEST:: SOT 96529 SOS 32451 HAS SOPS 32451 HAS SOUS 28333 HAS SOUPS 28333 WITH SCORE 28365.451
AT ITER 3637 NEW BEST:: SOT 96476 SOS 32402 HAS SOPS 32402 HAS SOUS 28284 HAS SOUPS 28284 WITH SCORE 28316.402
AT ITER 3649 NEW BEST:: SOT 96461 SOS 32359 HAS SOPS 32359 HAS SOUS 28240 HAS SOUPS 28240 WITH SCORE 28272.359
AT ITER 3651 NEW BEST:: SOT 96462 SOS 32357 HAS SOPS 32357 HAS SOUS 28239 HAS SOUPS 28239 WITH SCORE 28271.357
AT ITER 3659 NEW BEST:: SOT 96460 SOS 32353 HAS SOPS 32353 HAS SOUS 28237 HAS SOUPS 28237 WITH SCORE 28269.353
AT ITER 3692 NEW BEST:: SOT 96451 SOS 32322 HAS SOPS 32322 HAS SOUS 28209 HAS SOUPS 28209 WITH SCORE 28241.322
AT ITER 3694 NEW BEST:: SOT 96451 SOS 32250 HAS SOPS 32250 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28217.25
AT ITER 3711 NEW BEST:: SOT 96466 SOS 32266 HAS SOPS 32266 HAS SOUS 28184 HAS SOUPS 28184 WITH SCORE 28216.266
AT ITER 3715 NEW BEST:: SOT 96465 SOS 32265 HAS SOPS 32265 HAS SOUS 28183 HAS SOUPS 28183 WITH SCORE 28215.265
AT ITER 3717 NEW BEST:: SOT 96451 SOS 32243 HAS SOPS 32243 HAS SOUS 28158 HAS SOUPS 28158 WITH SCORE 28190.243
AT ITER 3734 NEW BEST:: SOT 96451 SOS 32243 HAS SOPS 32243 HAS SOUS 28146 HAS SOUPS 28146 WITH SCORE 28178.243
AT ITER 3746 NEW BEST:: SOT 96428 SOS 32196 HAS SOPS 32196 HAS SOUS 28112 HAS SOUPS 28112 WITH SCORE 28144.196
AT ITER 3763 NEW BEST:: SOT 96366 SOS 32111 HAS SOPS 32111 HAS SOUS 28044 HAS SOUPS 28044 WITH SCORE 28076.111
AT ITER 3777 NEW BEST:: SOT 96334 SOS 32059 HAS SOPS 32059 HAS SOUS 27975 HAS SOUPS 27975 WITH SCORE 28007.059
AT ITER 3810 NEW BEST:: SOT 96285 SOS 32041 HAS SOPS 32041 HAS SOUS 27878 HAS SOUPS 27878 WITH SCORE 27910.041
AT ITER 3828 NEW BEST:: SOT 96247 SOS 32086 HAS SOPS 32086 HAS SOUS 27838 HAS SOUPS 27838 WITH SCORE 27870.086
AT ITER 3836 NEW BEST:: SOT 96235 SOS 32074 HAS SOPS 32074 HAS SOUS 27826 HAS SOUPS 27826 WITH SCORE 27858.074
AT ITER 3861 NEW BEST:: SOT 96191 SOS 31942 HAS SOPS 31942 HAS SOUS 27738 HAS SOUPS 27738 WITH SCORE 27769.942
AT ITER 3892 NEW BEST:: SOT 96185 SOS 31936 HAS SOPS 31936 HAS SOUS 27726 HAS SOUPS 27726 WITH SCORE 27757.936
AT ITER 3924 NEW BEST:: SOT 96174 SOS 31908 HAS SOPS 31908 HAS SOUS 27698 HAS SOUPS 27698 WITH SCORE 27729.908
AT ITER 3944 NEW BEST:: SOT 96183 SOS 31905 HAS SOPS 31905 HAS SOUS 27682 HAS SOUPS 27682 WITH SCORE 27713.905
AT ITER 3955 NEW BEST:: SOT 96148 SOS 31870 HAS SOPS 31870 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27684.87
AT ITER 3958 NEW BEST:: SOT 96136 SOS 31858 HAS SOPS 31858 HAS SOUS 27641 HAS SOUPS 27641 WITH SCORE 27672.858
AT ITER 3968 NEW BEST:: SOT 96043 SOS 31759 HAS SOPS 31759 HAS SOUS 27551 HAS SOUPS 27551 WITH SCORE 27582.759
AT ITER 3998 NEW BEST:: SOT 96063 SOS 31727 HAS SOPS 31727 HAS SOUS 27532 HAS SOUPS 27532 WITH SCORE 27563.727
AT ITER 4003 NEW BEST:: SOT 96038 SOS 31659 HAS SOPS 31659 HAS SOUS 27470 HAS SOUPS 27470 WITH SCORE 27501.659
AT ITER 4021 NEW BEST:: SOT 96019 SOS 31627 HAS SOPS 31627 HAS SOUS 27440 HAS SOUPS 27440 WITH SCORE 27471.627
AT ITER 4058 NEW BEST:: SOT 95993 SOS 31549 HAS SOPS 31549 HAS SOUS 27422 HAS SOUPS 27422 WITH SCORE 27453.549
AT ITER 4087 NEW BEST:: SOT 95966 SOS 31508 HAS SOPS 31508 HAS SOUS 27381 HAS SOUPS 27381 WITH SCORE 27412.508
AT ITER 4107 NEW BEST:: SOT 95942 SOS 31476 HAS SOPS 31476 HAS SOUS 27349 HAS SOUPS 27349 WITH SCORE 27380.476
AT ITER 4116 NEW BEST:: SOT 95942 SOS 31484 HAS SOPS 31484 HAS SOUS 27345 HAS SOUPS 27345 WITH SCORE 27376.484
AT ITER 4120 NEW BEST:: SOT 95942 SOS 31492 HAS SOPS 31492 HAS SOUS 27337 HAS SOUPS 27337 WITH SCORE 27368.492
AT ITER 4121 NEW BEST:: SOT 95922 SOS 31452 HAS SOPS 31452 HAS SOUS 27287 HAS SOUPS 27287 WITH SCORE 27318.452
AT ITER 4126 NEW BEST:: SOT 95922 SOS 31416 HAS SOPS 31416 HAS SOUS 27259 HAS SOUPS 27259 WITH SCORE 27290.416
AT ITER 4161 NEW BEST:: SOT 95901 SOS 31374 HAS SOPS 31374 HAS SOUS 27238 HAS SOUPS 27238 WITH SCORE 27269.374
AT ITER 4170 NEW BEST:: SOT 95892 SOS 31362 HAS SOPS 31362 HAS SOUS 27226 HAS SOUPS 27226 WITH SCORE 27257.362
AT ITER 4174 NEW BEST:: SOT 95892 SOS 31409 HAS SOPS 31409 HAS SOUS 27202 HAS SOUPS 27202 WITH SCORE 27233.409
AT ITER 4178 NEW BEST:: SOT 95892 SOS 31408 HAS SOPS 31408 HAS SOUS 27194 HAS SOUPS 27194 WITH SCORE 27225.408
AT ITER 4181 NEW BEST:: SOT 95886 SOS 31402 HAS SOPS 31402 HAS SOUS 27188 HAS SOUPS 27188 WITH SCORE 27219.402
AT ITER 4186 NEW BEST:: SOT 95834 SOS 31298 HAS SOPS 31298 HAS SOUS 27110 HAS SOUPS 27110 WITH SCORE 27141.298
AT ITER 4229 NEW BEST:: SOT 95800 SOS 31282 HAS SOPS 31282 HAS SOUS 27094 HAS SOUPS 27094 WITH SCORE 27125.282
AT ITER 4257 NEW BEST:: SOT 95798 SOS 31279 HAS SOPS 31279 HAS SOUS 27091 HAS SOUPS 27091 WITH SCORE 27122.279
AT ITER 4267 NEW BEST:: SOT 95798 SOS 31279 HAS SOPS 31279 HAS SOUS 27074 HAS SOUPS 27074 WITH SCORE 27105.279
AT ITER 4301 NEW BEST:: SOT 95795 SOS 31266 HAS SOPS 31266 HAS SOUS 27061 HAS SOUPS 27061 WITH SCORE 27092.266
AT ITER 4326 NEW BEST:: SOT 95795 SOS 31282 HAS SOPS 31282 HAS SOUS 27015 HAS SOUPS 27015 WITH SCORE 27046.282
AT ITER 4331 NEW BEST:: SOT 95779 SOS 31272 HAS SOPS 31272 HAS SOUS 26988 HAS SOUPS 26988 WITH SCORE 27019.272
AT ITER 4357 NEW BEST:: SOT 95709 SOS 31160 HAS SOPS 31160 HAS SOUS 26896 HAS SOUPS 26896 WITH SCORE 26927.16
AT ITER 4360 NEW BEST:: SOT 95722 SOS 31174 HAS SOPS 31174 HAS SOUS 26884 HAS SOUPS 26884 WITH SCORE 26915.174
AT ITER 4399 NEW BEST:: SOT 95647 SOS 31060 HAS SOPS 31060 HAS SOUS 26770 HAS SOUPS 26770 WITH SCORE 26801.06
AT ITER 4410 NEW BEST:: SOT 95659 SOS 31108 HAS SOPS 31108 HAS SOUS 26705 HAS SOUPS 26705 WITH SCORE 26736.108
AT ITER 4424 NEW BEST:: SOT 95593 SOS 31024 HAS SOPS 31024 HAS SOUS 26621 HAS SOUPS 26621 WITH SCORE 26652.024
AT ITER 4438 NEW BEST:: SOT 95581 SOS 31000 HAS SOPS 31000 HAS SOUS 26609 HAS SOUPS 26609 WITH SCORE 26640.0
AT ITER 4455 NEW BEST:: SOT 95581 SOS 30996 HAS SOPS 30996 HAS SOUS 26609 HAS SOUPS 26609 WITH SCORE 26639.996
AT ITER 4522 NEW BEST:: SOT 95581 SOS 30996 HAS SOPS 30996 HAS SOUS 26606 HAS SOUPS 26606 WITH SCORE 26636.996
AT ITER 4524 NEW BEST:: SOT 95540 SOS 30945 HAS SOPS 30945 HAS SOUS 26563 HAS SOUPS 26563 WITH SCORE 26593.945
AT ITER 4542 NEW BEST:: SOT 95532 SOS 30929 HAS SOPS 30929 HAS SOUS 26555 HAS SOUPS 26555 WITH SCORE 26585.929
AT ITER 4544 NEW BEST:: SOT 95530 SOS 30927 HAS SOPS 30927 HAS SOUS 26553 HAS SOUPS 26553 WITH SCORE 26583.927
AT ITER 4546 NEW BEST:: SOT 95464 SOS 30793 HAS SOPS 30793 HAS SOUS 26396 HAS SOUPS 26396 WITH SCORE 26426.793
AT ITER 4554 NEW BEST:: SOT 95468 SOS 30792 HAS SOPS 30792 HAS SOUS 26395 HAS SOUPS 26395 WITH SCORE 26425.792
AT ITER 4564 NEW BEST:: SOT 95388 SOS 30553 HAS SOPS 30553 HAS SOUS 26257 HAS SOUPS 26257 WITH SCORE 26287.553
AT ITER 4581 NEW BEST:: SOT 95388 SOS 30548 HAS SOPS 30548 HAS SOUS 26257 HAS SOUPS 26257 WITH SCORE 26287.548
AT ITER 4585 NEW BEST:: SOT 95388 SOS 30548 HAS SOPS 30548 HAS SOUS 26254 HAS SOUPS 26254 WITH SCORE 26284.548
AT ITER 4586 NEW BEST:: SOT 95394 SOS 30534 HAS SOPS 30534 HAS SOUS 26253 HAS SOUPS 26253 WITH SCORE 26283.534
AT ITER 4625 NEW BEST:: SOT 95392 SOS 30532 HAS SOPS 30532 HAS SOUS 26251 HAS SOUPS 26251 WITH SCORE 26281.532
AT ITER 4656 NEW BEST:: SOT 95388 SOS 30521 HAS SOPS 30521 HAS SOUS 26240 HAS SOUPS 26240 WITH SCORE 26270.521
AT ITER 4669 NEW BEST:: SOT 95340 SOS 30467 HAS SOPS 30467 HAS SOUS 26174 HAS SOUPS 26174 WITH SCORE 26204.467
AT ITER 4672 NEW BEST:: SOT 95340 SOS 30467 HAS SOPS 30467 HAS SOUS 26167 HAS SOUPS 26167 WITH SCORE 26197.467
AT ITER 4702 NEW BEST:: SOT 95284 SOS 30339 HAS SOPS 30339 HAS SOUS 26024 HAS SOUPS 26024 WITH SCORE 26054.339
AT ITER 4720 NEW BEST:: SOT 95238 SOS 30201 HAS SOPS 30201 HAS SOUS 25955 HAS SOUPS 25955 WITH SCORE 25985.201
AT ITER 4738 NEW BEST:: SOT 95233 SOS 30176 HAS SOPS 30176 HAS SOUS 25945 HAS SOUPS 25945 WITH SCORE 25975.176
AT ITER 4750 NEW BEST:: SOT 95229 SOS 30116 HAS SOPS 30116 HAS SOUS 25921 HAS SOUPS 25921 WITH SCORE 25951.116
AT ITER 4779 NEW BEST:: SOT 95220 SOS 30125 HAS SOPS 30125 HAS SOUS 25899 HAS SOUPS 25899 WITH SCORE 25929.125
AT ITER 4785 NEW BEST:: SOT 95146 SOS 30021 HAS SOPS 30021 HAS SOUS 25835 HAS SOUPS 25835 WITH SCORE 25865.021
AT ITER 4790 NEW BEST:: SOT 95137 SOS 30009 HAS SOPS 30009 HAS SOUS 25817 HAS SOUPS 25817 WITH SCORE 25847.009
AT ITER 4793 NEW BEST:: SOT 95138 SOS 30010 HAS SOPS 30010 HAS SOUS 25812 HAS SOUPS 25812 WITH SCORE 25842.01
AT ITER 4794 NEW BEST:: SOT 95137 SOS 30007 HAS SOPS 30007 HAS SOUS 25811 HAS SOUPS 25811 WITH SCORE 25841.007
AT ITER 4826 NEW BEST:: SOT 95131 SOS 29992 HAS SOPS 29992 HAS SOUS 25799 HAS SOUPS 25799 WITH SCORE 25828.992
AT ITER 4853 NEW BEST:: SOT 95128 SOS 29989 HAS SOPS 29989 HAS SOUS 25793 HAS SOUPS 25793 WITH SCORE 25822.989
AT ITER 4862 NEW BEST:: SOT 95110 SOS 29959 HAS SOPS 29959 HAS SOUS 25764 HAS SOUPS 25764 WITH SCORE 25793.959
AT ITER 4899 NEW BEST:: SOT 95090 SOS 29939 HAS SOPS 29939 HAS SOUS 25764 HAS SOUPS 25764 WITH SCORE 25793.939
AT ITER 4903 NEW BEST:: SOT 95065 SOS 29906 HAS SOPS 29906 HAS SOUS 25731 HAS SOUPS 25731 WITH SCORE 25760.906
AT ITER 4905 NEW BEST:: SOT 95060 SOS 29891 HAS SOPS 29891 HAS SOUS 25726 HAS SOUPS 25726 WITH SCORE 25755.891
AT ITER 4910 NEW BEST:: SOT 95060 SOS 29893 HAS SOPS 29893 HAS SOUS 25725 HAS SOUPS 25725 WITH SCORE 25754.893
AT ITER 4915 NEW BEST:: SOT 95060 SOS 29900 HAS SOPS 29900 HAS SOUS 25721 HAS SOUPS 25721 WITH SCORE 25750.9
AT ITER 4929 NEW BEST:: SOT 95057 SOS 29894 HAS SOPS 29894 HAS SOUS 25712 HAS SOUPS 25712 WITH SCORE 25741.894
AT ITER 4939 NEW BEST:: SOT 95053 SOS 29870 HAS SOPS 29870 HAS SOUS 25702 HAS SOUPS 25702 WITH SCORE 25731.87
AT ITER 4940 NEW BEST:: SOT 95050 SOS 29866 HAS SOPS 29866 HAS SOUS 25697 HAS SOUPS 25697 WITH SCORE 25726.866
AT ITER 4978 NEW BEST:: SOT 95031 SOS 29822 HAS SOPS 29822 HAS SOUS 25665 HAS SOUPS 25665 WITH SCORE 25694.822
AT ITER 4981 NEW BEST:: SOT 95024 SOS 29818 HAS SOPS 29818 HAS SOUS 25651 HAS SOUPS 25651 WITH SCORE 25680.818
AT ITER 4988 NEW BEST:: SOT 95016 SOS 29778 HAS SOPS 29778 HAS SOUS 25627 HAS SOUPS 25627 WITH SCORE 25656.778
AT ITER 4991 NEW BEST:: SOT 95017 SOS 29781 HAS SOPS 29781 HAS SOUS 25623 HAS SOUPS 25623 WITH SCORE 25652.781
AT ITER 5031 NEW BEST:: SOT 94983 SOS 29729 HAS SOPS 29729 HAS SOUS 25560 HAS SOUPS 25560 WITH SCORE 25589.729
AT ITER 5032 NEW BEST:: SOT 94971 SOS 29704 HAS SOPS 29704 HAS SOUS 25535 HAS SOUPS 25535 WITH SCORE 25564.704
AT ITER 5037 NEW BEST:: SOT 94941 SOS 29674 HAS SOPS 29674 HAS SOUS 25482 HAS SOUPS 25482 WITH SCORE 25511.674
AT ITER 5084 NEW BEST:: SOT 94937 SOS 29670 HAS SOPS 29670 HAS SOUS 25474 HAS SOUPS 25474 WITH SCORE 25503.67
AT ITER 5085 NEW BEST:: SOT 94917 SOS 29652 HAS SOPS 29652 HAS SOUS 25456 HAS SOUPS 25456 WITH SCORE 25485.652
AT ITER 5113 NEW BEST:: SOT 94887 SOS 29607 HAS SOPS 29607 HAS SOUS 25394 HAS SOUPS 25394 WITH SCORE 25423.607
AT ITER 5152 NEW BEST:: SOT 94869 SOS 29532 HAS SOPS 29532 HAS SOUS 25353 HAS SOUPS 25353 WITH SCORE 25382.532
AT ITER 5185 NEW BEST:: SOT 94917 SOS 29466 HAS SOPS 29466 HAS SOUS 25333 HAS SOUPS 25333 WITH SCORE 25362.466
AT ITER 5188 NEW BEST:: SOT 94910 SOS 29433 HAS SOPS 29433 HAS SOUS 25316 HAS SOUPS 25316 WITH SCORE 25345.433
AT ITER 5197 NEW BEST:: SOT 94903 SOS 29426 HAS SOPS 29426 HAS SOUS 25309 HAS SOUPS 25309 WITH SCORE 25338.426
AT ITER 5202 NEW BEST:: SOT 94904 SOS 29362 HAS SOPS 29362 HAS SOUS 25176 HAS SOUPS 25176 WITH SCORE 25205.362
AT ITER 5247 NEW BEST:: SOT 94890 SOS 29334 HAS SOPS 29334 HAS SOUS 25148 HAS SOUPS 25148 WITH SCORE 25177.334
AT ITER 5249 NEW BEST:: SOT 94790 SOS 29224 HAS SOPS 29224 HAS SOUS 25129 HAS SOUPS 25129 WITH SCORE 25158.224
AT ITER 5289 NEW BEST:: SOT 94780 SOS 29174 HAS SOPS 29174 HAS SOUS 25109 HAS SOUPS 25109 WITH SCORE 25138.174
AT ITER 5346 NEW BEST:: SOT 94762 SOS 29156 HAS SOPS 29156 HAS SOUS 25091 HAS SOUPS 25091 WITH SCORE 25120.156
AT ITER 5349 NEW BEST:: SOT 94716 SOS 29086 HAS SOPS 29086 HAS SOUS 25059 HAS SOUPS 25059 WITH SCORE 25088.086
AT ITER 5371 NEW BEST:: SOT 94711 SOS 29075 HAS SOPS 29075 HAS SOUS 25048 HAS SOUPS 25048 WITH SCORE 25077.075
AT ITER 5378 NEW BEST:: SOT 94629 SOS 28915 HAS SOPS 28915 HAS SOUS 24910 HAS SOUPS 24910 WITH SCORE 24938.915
AT ITER 5420 NEW BEST:: SOT 94618 SOS 28853 HAS SOPS 28853 HAS SOUS 24885 HAS SOUPS 24885 WITH SCORE 24913.853
AT ITER 5475 NEW BEST:: SOT 94610 SOS 28815 HAS SOPS 28815 HAS SOUS 24867 HAS SOUPS 24867 WITH SCORE 24895.815
AT ITER 5499 NEW BEST:: SOT 94600 SOS 28795 HAS SOPS 28795 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 24885.795
AT ITER 5513 NEW BEST:: SOT 94600 SOS 28768 HAS SOPS 28768 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 24885.768
AT ITER 5515 NEW BEST:: SOT 94600 SOS 28768 HAS SOPS 28768 HAS SOUS 24851 HAS SOUPS 24851 WITH SCORE 24879.768
AT ITER 5537 NEW BEST:: SOT 94588 SOS 28810 HAS SOPS 28810 HAS SOUS 24846 HAS SOUPS 24846 WITH SCORE 24874.81
AT ITER 5557 NEW BEST:: SOT 94585 SOS 28788 HAS SOPS 28788 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 24868.788
AT ITER 5601 NEW BEST:: SOT 94571 SOS 28782 HAS SOPS 28782 HAS SOUS 24815 HAS SOUPS 24815 WITH SCORE 24843.782
AT ITER 5636 NEW BEST:: SOT 94562 SOS 28774 HAS SOPS 28774 HAS SOUS 24809 HAS SOUPS 24809 WITH SCORE 24837.774
AT ITER 5667 NEW BEST:: SOT 94562 SOS 28770 HAS SOPS 28770 HAS SOUS 24809 HAS SOUPS 24809 WITH SCORE 24837.77
AT ITER 5691 NEW BEST:: SOT 94516 SOS 28745 HAS SOPS 28745 HAS SOUS 24795 HAS SOUPS 24795 WITH SCORE 24823.745
AT ITER 5716 NEW BEST:: SOT 94494 SOS 28521 HAS SOPS 28521 HAS SOUS 24683 HAS SOUPS 24683 WITH SCORE 24711.521
AT ITER 5725 NEW BEST:: SOT 94494 SOS 28526 HAS SOPS 28526 HAS SOUS 24656 HAS SOUPS 24656 WITH SCORE 24684.526
AT ITER 5744 NEW BEST:: SOT 94434 SOS 28426 HAS SOPS 28426 HAS SOUS 24556 HAS SOUPS 24556 WITH SCORE 24584.426
AT ITER 5747 NEW BEST:: SOT 94433 SOS 28425 HAS SOPS 28425 HAS SOUS 24556 HAS SOUPS 24556 WITH SCORE 24584.425
AT ITER 5749 NEW BEST:: SOT 94406 SOS 28372 HAS SOPS 28372 HAS SOUS 24490 HAS SOUPS 24490 WITH SCORE 24518.372
AT ITER 5751 NEW BEST:: SOT 94379 SOS 28337 HAS SOPS 28337 HAS SOUS 24445 HAS SOUPS 24445 WITH SCORE 24473.337
AT ITER 5776 NEW BEST:: SOT 94374 SOS 28332 HAS SOPS 28332 HAS SOUS 24435 HAS SOUPS 24435 WITH SCORE 24463.332
AT ITER 5822 NEW BEST:: SOT 94372 SOS 28330 HAS SOPS 28330 HAS SOUS 24433 HAS SOUPS 24433 WITH SCORE 24461.33
AT ITER 5852 NEW BEST:: SOT 94351 SOS 28257 HAS SOPS 28257 HAS SOUS 24399 HAS SOUPS 24399 WITH SCORE 24427.257
AT ITER 5873 NEW BEST:: SOT 94351 SOS 28257 HAS SOPS 28257 HAS SOUS 24393 HAS SOUPS 24393 WITH SCORE 24421.257
AT ITER 5909 NEW BEST:: SOT 94355 SOS 28266 HAS SOPS 28266 HAS SOUS 24385 HAS SOUPS 24385 WITH SCORE 24413.266
AT ITER 5923 NEW BEST:: SOT 94346 SOS 28254 HAS SOPS 28254 HAS SOUS 24373 HAS SOUPS 24373 WITH SCORE 24401.254
AT ITER 5945 NEW BEST:: SOT 94350 SOS 28290 HAS SOPS 28290 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24399.29
AT ITER 5955 NEW BEST:: SOT 94358 SOS 28264 HAS SOPS 28264 HAS SOUS 24370 HAS SOUPS 24370 WITH SCORE 24398.264
AT ITER 5961 NEW BEST:: SOT 94357 SOS 28297 HAS SOPS 28297 HAS SOUS 24354 HAS SOUPS 24354 WITH SCORE 24382.297
AT ITER 5966 NEW BEST:: SOT 94360 SOS 28288 HAS SOPS 28288 HAS SOUS 24345 HAS SOUPS 24345 WITH SCORE 24373.288
AT ITER 5971 NEW BEST:: SOT 94360 SOS 28290 HAS SOPS 28290 HAS SOUS 24335 HAS SOUPS 24335 WITH SCORE 24363.29
AT ITER 5982 NEW BEST:: SOT 94345 SOS 28274 HAS SOPS 28274 HAS SOUS 24320 HAS SOUPS 24320 WITH SCORE 24348.274
AT ITER 5983 NEW BEST:: SOT 94333 SOS 28238 HAS SOPS 28238 HAS SOUS 24296 HAS SOUPS 24296 WITH SCORE 24324.238
AT ITER 6005 NEW BEST:: SOT 94333 SOS 28220 HAS SOPS 28220 HAS SOUS 24296 HAS SOUPS 24296 WITH SCORE 24324.22
AT ITER 6013 NEW BEST:: SOT 94189 SOS 27943 HAS SOPS 27943 HAS SOUS 24008 HAS SOUPS 24008 WITH SCORE 24035.943
AT ITER 6063 NEW BEST:: SOT 94206 SOS 27960 HAS SOPS 27960 HAS SOUS 23988 HAS SOUPS 23988 WITH SCORE 24015.96
AT ITER 6092 NEW BEST:: SOT 94193 SOS 27921 HAS SOPS 27921 HAS SOUS 23945 HAS SOUPS 23945 WITH SCORE 23972.921
AT ITER 6175 NEW BEST:: SOT 94193 SOS 27918 HAS SOPS 27918 HAS SOUS 23942 HAS SOUPS 23942 WITH SCORE 23969.918
AT ITER 6180 NEW BEST:: SOT 94187 SOS 27912 HAS SOPS 27912 HAS SOUS 23942 HAS SOUPS 23942 WITH SCORE 23969.912
AT ITER 6203 NEW BEST:: SOT 94187 SOS 27871 HAS SOPS 27871 HAS SOUS 23901 HAS SOUPS 23901 WITH SCORE 23928.871
AT ITER 6281 NEW BEST:: SOT 94184 SOS 27868 HAS SOPS 27868 HAS SOUS 23900 HAS SOUPS 23900 WITH SCORE 23927.868
AT ITER 6390 NEW BEST:: SOT 94179 SOS 27843 HAS SOPS 27843 HAS SOUS 23885 HAS SOUPS 23885 WITH SCORE 23912.843
AT ITER 6397 NEW BEST:: SOT 94190 SOS 27823 HAS SOPS 27823 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23902.823
AT ITER 6401 NEW BEST:: SOT 94190 SOS 27823 HAS SOPS 27823 HAS SOUS 23873 HAS SOUPS 23873 WITH SCORE 23900.823
AT ITER 6427 NEW BEST:: SOT 94180 SOS 27783 HAS SOPS 27783 HAS SOUS 23855 HAS SOUPS 23855 WITH SCORE 23882.783
AT ITER 6456 NEW BEST:: SOT 94159 SOS 27746 HAS SOPS 27746 HAS SOUS 23818 HAS SOUPS 23818 WITH SCORE 23845.746
AT ITER 6458 NEW BEST:: SOT 94131 SOS 27718 HAS SOPS 27718 HAS SOUS 23790 HAS SOUPS 23790 WITH SCORE 23817.718
AT ITER 6501 NEW BEST:: SOT 94105 SOS 27669 HAS SOPS 27669 HAS SOUS 23772 HAS SOUPS 23772 WITH SCORE 23799.669
AT ITER 6509 NEW BEST:: SOT 94084 SOS 27650 HAS SOPS 27650 HAS SOUS 23743 HAS SOUPS 23743 WITH SCORE 23770.65
AT ITER 6518 NEW BEST:: SOT 94052 SOS 27586 HAS SOPS 27586 HAS SOUS 23702 HAS SOUPS 23702 WITH SCORE 23729.586
AT ITER 6545 NEW BEST:: SOT 94036 SOS 27561 HAS SOPS 27561 HAS SOUS 23683 HAS SOUPS 23683 WITH SCORE 23710.561
AT ITER 6575 NEW BEST:: SOT 93971 SOS 27480 HAS SOPS 27480 HAS SOUS 23602 HAS SOUPS 23602 WITH SCORE 23629.48
AT ITER 6630 NEW BEST:: SOT 93960 SOS 27455 HAS SOPS 27455 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23611.455
AT ITER 6704 NEW BEST:: SOT 93953 SOS 27448 HAS SOPS 27448 HAS SOUS 23577 HAS SOUPS 23577 WITH SCORE 23604.448
AT ITER 6725 NEW BEST:: SOT 93950 SOS 27453 HAS SOPS 27453 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23589.453
AT ITER 6730 NEW BEST:: SOT 93947 SOS 27434 HAS SOPS 27434 HAS SOUS 23553 HAS SOUPS 23553 WITH SCORE 23580.434
AT ITER 6733 NEW BEST:: SOT 93947 SOS 27434 HAS SOPS 27434 HAS SOUS 23552 HAS SOUPS 23552 WITH SCORE 23579.434
AT ITER 6779 NEW BEST:: SOT 93914 SOS 27390 HAS SOPS 27390 HAS SOUS 23508 HAS SOUPS 23508 WITH SCORE 23535.39
AT ITER 6787 NEW BEST:: SOT 93904 SOS 27370 HAS SOPS 27370 HAS SOUS 23498 HAS SOUPS 23498 WITH SCORE 23525.37
AT ITER 6851 NEW BEST:: SOT 93903 SOS 27369 HAS SOPS 27369 HAS SOUS 23498 HAS SOUPS 23498 WITH SCORE 23525.369
AT ITER 6890 NEW BEST:: SOT 93887 SOS 27353 HAS SOPS 27353 HAS SOUS 23482 HAS SOUPS 23482 WITH SCORE 23509.353
AT ITER 6902 NEW BEST:: SOT 93861 SOS 27301 HAS SOPS 27301 HAS SOUS 23430 HAS SOUPS 23430 WITH SCORE 23457.301
AT ITER 6903 NEW BEST:: SOT 93840 SOS 27216 HAS SOPS 27216 HAS SOUS 23388 HAS SOUPS 23388 WITH SCORE 23415.216
AT ITER 6968 NEW BEST:: SOT 93837 SOS 27215 HAS SOPS 27215 HAS SOUS 23387 HAS SOUPS 23387 WITH SCORE 23414.215
AT ITER 7004 NEW BEST:: SOT 93823 SOS 27194 HAS SOPS 27194 HAS SOUS 23371 HAS SOUPS 23371 WITH SCORE 23398.194
AT ITER 7019 NEW BEST:: SOT 93823 SOS 27182 HAS SOPS 27182 HAS SOUS 23371 HAS SOUPS 23371 WITH SCORE 23398.182
AT ITER 7029 NEW BEST:: SOT 93823 SOS 27173 HAS SOPS 27173 HAS SOUS 23362 HAS SOUPS 23362 WITH SCORE 23389.173
AT ITER 7049 NEW BEST:: SOT 93813 SOS 27158 HAS SOPS 27158 HAS SOUS 23346 HAS SOUPS 23346 WITH SCORE 23373.158
AT ITER 7096 NEW BEST:: SOT 93800 SOS 27109 HAS SOPS 27109 HAS SOUS 23287 HAS SOUPS 23287 WITH SCORE 23314.109
AT ITER 7169 NEW BEST:: SOT 93748 SOS 27078 HAS SOPS 27078 HAS SOUS 23218 HAS SOUPS 23218 WITH SCORE 23245.078
AT ITER 7189 NEW BEST:: SOT 93748 SOS 27072 HAS SOPS 27072 HAS SOUS 23218 HAS SOUPS 23218 WITH SCORE 23245.072
AT ITER 7209 NEW BEST:: SOT 93744 SOS 27063 HAS SOPS 27063 HAS SOUS 23210 HAS SOUPS 23210 WITH SCORE 23237.063
AT ITER 7211 NEW BEST:: SOT 93747 SOS 27061 HAS SOPS 27061 HAS SOUS 23208 HAS SOUPS 23208 WITH SCORE 23235.061
AT ITER 7247 NEW BEST:: SOT 93723 SOS 27037 HAS SOPS 27037 HAS SOUS 23184 HAS SOUPS 23184 WITH SCORE 23211.037
AT ITER 7276 NEW BEST:: SOT 93723 SOS 27034 HAS SOPS 27034 HAS SOUS 23184 HAS SOUPS 23184 WITH SCORE 23211.034
AT ITER 7281 NEW BEST:: SOT 93726 SOS 27025 HAS SOPS 27025 HAS SOUS 23183 HAS SOUPS 23183 WITH SCORE 23210.025
AT ITER 7332 NEW BEST:: SOT 93701 SOS 26986 HAS SOPS 26986 HAS SOUS 23146 HAS SOUPS 23146 WITH SCORE 23172.986
AT ITER 7334 NEW BEST:: SOT 93716 SOS 26991 HAS SOPS 26991 HAS SOUS 23141 HAS SOUPS 23141 WITH SCORE 23167.991
AT ITER 7340 NEW BEST:: SOT 93687 SOS 26933 HAS SOPS 26933 HAS SOUS 23112 HAS SOUPS 23112 WITH SCORE 23138.933
AT ITER 7345 NEW BEST:: SOT 93687 SOS 26927 HAS SOPS 26927 HAS SOUS 23112 HAS SOUPS 23112 WITH SCORE 23138.927
AT ITER 7413 NEW BEST:: SOT 93687 SOS 26922 HAS SOPS 26922 HAS SOUS 23107 HAS SOUPS 23107 WITH SCORE 23133.922
AT ITER 7432 NEW BEST:: SOT 93683 SOS 26914 HAS SOPS 26914 HAS SOUS 23099 HAS SOUPS 23099 WITH SCORE 23125.914
AT ITER 7444 NEW BEST:: SOT 93680 SOS 26899 HAS SOPS 26899 HAS SOUS 23097 HAS SOUPS 23097 WITH SCORE 23123.899
AT ITER 7449 NEW BEST:: SOT 93680 SOS 26899 HAS SOPS 26899 HAS SOUS 23091 HAS SOUPS 23091 WITH SCORE 23117.899
AT ITER 7503 NEW BEST:: SOT 93674 SOS 26891 HAS SOPS 26891 HAS SOUS 23083 HAS SOUPS 23083 WITH SCORE 23109.891
AT ITER 7521 NEW BEST:: SOT 93674 SOS 26890 HAS SOPS 26890 HAS SOUS 23082 HAS SOUPS 23082 WITH SCORE 23108.89
AT ITER 7522 NEW BEST:: SOT 93670 SOS 26885 HAS SOPS 26885 HAS SOUS 23069 HAS SOUPS 23069 WITH SCORE 23095.885
AT ITER 7544 NEW BEST:: SOT 93640 SOS 26845 HAS SOPS 26845 HAS SOUS 23029 HAS SOUPS 23029 WITH SCORE 23055.845
AT ITER 7560 NEW BEST:: SOT 93629 SOS 26824 HAS SOPS 26824 HAS SOUS 23008 HAS SOUPS 23008 WITH SCORE 23034.824
AT ITER 7564 NEW BEST:: SOT 93629 SOS 26824 HAS SOPS 26824 HAS SOUS 23005 HAS SOUPS 23005 WITH SCORE 23031.824
AT ITER 7592 NEW BEST:: SOT 93629 SOS 26824 HAS SOPS 26824 HAS SOUS 22994 HAS SOUPS 22994 WITH SCORE 23020.824
AT ITER 7617 NEW BEST:: SOT 93594 SOS 26780 HAS SOPS 26780 HAS SOUS 22950 HAS SOUPS 22950 WITH SCORE 22976.78
AT ITER 7637 NEW BEST:: SOT 93593 SOS 26768 HAS SOPS 26768 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22957.768
AT ITER 7683 NEW BEST:: SOT 93538 SOS 26636 HAS SOPS 26636 HAS SOUS 22849 HAS SOUPS 22849 WITH SCORE 22875.636
AT ITER 7688 NEW BEST:: SOT 93552 SOS 26650 HAS SOPS 26650 HAS SOUS 22842 HAS SOUPS 22842 WITH SCORE 22868.65
AT ITER 7744 NEW BEST:: SOT 93550 SOS 26644 HAS SOPS 26644 HAS SOUS 22840 HAS SOUPS 22840 WITH SCORE 22866.644
AT ITER 7762 NEW BEST:: SOT 93546 SOS 26682 HAS SOPS 26682 HAS SOUS 22781 HAS SOUPS 22781 WITH SCORE 22807.682
AT ITER 7787 NEW BEST:: SOT 93536 SOS 26663 HAS SOPS 26663 HAS SOUS 22769 HAS SOUPS 22769 WITH SCORE 22795.663
AT ITER 7837 NEW BEST:: SOT 93516 SOS 26629 HAS SOPS 26629 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22783.629
AT ITER 7849 NEW BEST:: SOT 93516 SOS 26609 HAS SOPS 26609 HAS SOUS 22739 HAS SOUPS 22739 WITH SCORE 22765.609
AT ITER 7871 NEW BEST:: SOT 93514 SOS 26605 HAS SOPS 26605 HAS SOUS 22735 HAS SOUPS 22735 WITH SCORE 22761.605
AT ITER 7918 NEW BEST:: SOT 93509 SOS 26584 HAS SOPS 26584 HAS SOUS 22714 HAS SOUPS 22714 WITH SCORE 22740.584
AT ITER 7995 NEW BEST:: SOT 93503 SOS 26550 HAS SOPS 26550 HAS SOUS 22703 HAS SOUPS 22703 WITH SCORE 22729.55
AT ITER 8092 NEW BEST:: SOT 93489 SOS 26536 HAS SOPS 26536 HAS SOUS 22682 HAS SOUPS 22682 WITH SCORE 22708.536
AT ITER 8125 NEW BEST:: SOT 93456 SOS 26457 HAS SOPS 26457 HAS SOUS 22627 HAS SOUPS 22627 WITH SCORE 22653.457
AT ITER 8178 NEW BEST:: SOT 93446 SOS 26451 HAS SOPS 26451 HAS SOUS 22621 HAS SOUPS 22621 WITH SCORE 22647.451
AT ITER 8228 NEW BEST:: SOT 93446 SOS 26443 HAS SOPS 26443 HAS SOUS 22617 HAS SOUPS 22617 WITH SCORE 22643.443
AT ITER 8242 NEW BEST:: SOT 93368 SOS 26355 HAS SOPS 26355 HAS SOUS 22488 HAS SOUPS 22488 WITH SCORE 22514.355
AT ITER 8264 NEW BEST:: SOT 93340 SOS 26305 HAS SOPS 26305 HAS SOUS 22475 HAS SOUPS 22475 WITH SCORE 22501.305
AT ITER 8290 NEW BEST:: SOT 93330 SOS 26290 HAS SOPS 26290 HAS SOUS 22465 HAS SOUPS 22465 WITH SCORE 22491.29
AT ITER 8336 NEW BEST:: SOT 93330 SOS 26302 HAS SOPS 26302 HAS SOUS 22453 HAS SOUPS 22453 WITH SCORE 22479.302
AT ITER 8339 NEW BEST:: SOT 93320 SOS 26275 HAS SOPS 26275 HAS SOUS 22438 HAS SOUPS 22438 WITH SCORE 22464.275
AT ITER 8352 NEW BEST:: SOT 93304 SOS 26255 HAS SOPS 26255 HAS SOUS 22432 HAS SOUPS 22432 WITH SCORE 22458.255
AT ITER 8358 NEW BEST:: SOT 93293 SOS 26236 HAS SOPS 26236 HAS SOUS 22413 HAS SOUPS 22413 WITH SCORE 22439.236
AT ITER 8371 NEW BEST:: SOT 93288 SOS 26226 HAS SOPS 26226 HAS SOUS 22403 HAS SOUPS 22403 WITH SCORE 22429.226
AT ITER 8381 NEW BEST:: SOT 93270 SOS 26198 HAS SOPS 26198 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22413.198
AT ITER 8385 NEW BEST:: SOT 93264 SOS 26190 HAS SOPS 26190 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22405.19
AT ITER 8410 NEW BEST:: SOT 93261 SOS 26185 HAS SOPS 26185 HAS SOUS 22374 HAS SOUPS 22374 WITH SCORE 22400.185
AT ITER 8434 NEW BEST:: SOT 93265 SOS 26197 HAS SOPS 26197 HAS SOUS 22373 HAS SOUPS 22373 WITH SCORE 22399.197
AT ITER 8589 NEW BEST:: SOT 93245 SOS 26177 HAS SOPS 26177 HAS SOUS 22347 HAS SOUPS 22347 WITH SCORE 22373.177
AT ITER 8655 NEW BEST:: SOT 93246 SOS 26165 HAS SOPS 26165 HAS SOUS 22342 HAS SOUPS 22342 WITH SCORE 22368.165
AT ITER 8656 NEW BEST:: SOT 93240 SOS 26157 HAS SOPS 26157 HAS SOUS 22334 HAS SOUPS 22334 WITH SCORE 22360.157
AT ITER 8677 NEW BEST:: SOT 93230 SOS 26124 HAS SOPS 26124 HAS SOUS 22314 HAS SOUPS 22314 WITH SCORE 22340.124
AT ITER 8698 NEW BEST:: SOT 93225 SOS 26121 HAS SOPS 26121 HAS SOUS 22293 HAS SOUPS 22293 WITH SCORE 22319.121
AT ITER 8795 NEW BEST:: SOT 93213 SOS 26106 HAS SOPS 26106 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22301.106
AT ITER 8797 NEW BEST:: SOT 93225 SOS 26122 HAS SOPS 26122 HAS SOUS 22269 HAS SOUPS 22269 WITH SCORE 22295.122
AT ITER 8804 NEW BEST:: SOT 93186 SOS 25973 HAS SOPS 25973 HAS SOUS 22195 HAS SOUPS 22195 WITH SCORE 22220.973
AT ITER 8809 NEW BEST:: SOT 93165 SOS 25932 HAS SOPS 25932 HAS SOUS 22171 HAS SOUPS 22171 WITH SCORE 22196.932
AT ITER 8810 NEW BEST:: SOT 93147 SOS 25889 HAS SOPS 25889 HAS SOUS 22114 HAS SOUPS 22114 WITH SCORE 22139.889
AT ITER 8813 NEW BEST:: SOT 93144 SOS 25877 HAS SOPS 25877 HAS SOUS 22108 HAS SOUPS 22108 WITH SCORE 22133.877
AT ITER 8816 NEW BEST:: SOT 93132 SOS 25862 HAS SOPS 25862 HAS SOUS 22094 HAS SOUPS 22094 WITH SCORE 22119.862
AT ITER 8840 NEW BEST:: SOT 93125 SOS 25853 HAS SOPS 25853 HAS SOUS 22085 HAS SOUPS 22085 WITH SCORE 22110.853
AT ITER 8843 NEW BEST:: SOT 93110 SOS 25832 HAS SOPS 25832 HAS SOUS 22060 HAS SOUPS 22060 WITH SCORE 22085.832
AT ITER 8869 NEW BEST:: SOT 93110 SOS 25832 HAS SOPS 25832 HAS SOUS 22056 HAS SOUPS 22056 WITH SCORE 22081.832
AT ITER 8960 NEW BEST:: SOT 93109 SOS 25833 HAS SOPS 25833 HAS SOUS 22053 HAS SOUPS 22053 WITH SCORE 22078.833
AT ITER 9010 NEW BEST:: SOT 93073 SOS 25743 HAS SOPS 25743 HAS SOUS 21981 HAS SOUPS 21981 WITH SCORE 22006.743
AT ITER 9016 NEW BEST:: SOT 93064 SOS 25731 HAS SOPS 25731 HAS SOUS 21969 HAS SOUPS 21969 WITH SCORE 21994.731
AT ITER 9051 NEW BEST:: SOT 93065 SOS 25739 HAS SOPS 25739 HAS SOUS 21962 HAS SOUPS 21962 WITH SCORE 21987.739
AT ITER 9116 NEW BEST:: SOT 93059 SOS 25733 HAS SOPS 25733 HAS SOUS 21956 HAS SOUPS 21956 WITH SCORE 21981.733
AT ITER 9143 NEW BEST:: SOT 93056 SOS 25730 HAS SOPS 25730 HAS SOUS 21953 HAS SOUPS 21953 WITH SCORE 21978.73
AT ITER 9294 NEW BEST:: SOT 93040 SOS 25717 HAS SOPS 25717 HAS SOUS 21943 HAS SOUPS 21943 WITH SCORE 21968.717
AT ITER 9295 NEW BEST:: SOT 93029 SOS 25710 HAS SOPS 25710 HAS SOUS 21924 HAS SOUPS 21924 WITH SCORE 21949.71
AT ITER 9353 NEW BEST:: SOT 93011 SOS 25656 HAS SOPS 25656 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21912.656
AT ITER 9377 NEW BEST:: SOT 92986 SOS 25622 HAS SOPS 25622 HAS SOUS 21773 HAS SOUPS 21773 WITH SCORE 21798.622
AT ITER 9390 NEW BEST:: SOT 92945 SOS 25583 HAS SOPS 25583 HAS SOUS 21736 HAS SOUPS 21736 WITH SCORE 21761.583
AT ITER 9424 NEW BEST:: SOT 92897 SOS 25494 HAS SOPS 25494 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21702.494
AT ITER 9438 NEW BEST:: SOT 92897 SOS 25455 HAS SOPS 25455 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21702.455
AT ITER 9466 NEW BEST:: SOT 92895 SOS 25451 HAS SOPS 25451 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21698.451
AT ITER 9497 NEW BEST:: SOT 92891 SOS 25420 HAS SOPS 25420 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21690.42
AT ITER 9510 NEW BEST:: SOT 92870 SOS 25366 HAS SOPS 25366 HAS SOUS 21633 HAS SOUPS 21633 WITH SCORE 21658.366
AT ITER 9516 NEW BEST:: SOT 92861 SOS 25325 HAS SOPS 25325 HAS SOUS 21616 HAS SOUPS 21616 WITH SCORE 21641.325
AT ITER 9553 NEW BEST:: SOT 92870 SOS 25356 HAS SOPS 25356 HAS SOUS 21613 HAS SOUPS 21613 WITH SCORE 21638.356
AT ITER 9570 NEW BEST:: SOT 92863 SOS 25329 HAS SOPS 25329 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21624.329
AT ITER 9579 NEW BEST:: SOT 92858 SOS 25304 HAS SOPS 25304 HAS SOUS 21589 HAS SOUPS 21589 WITH SCORE 21614.304
AT ITER 9624 NEW BEST:: SOT 92858 SOS 25123 HAS SOPS 25123 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21554.123
AT ITER 9681 NEW BEST:: SOT 92856 SOS 25072 HAS SOPS 25072 HAS SOUS 21525 HAS SOUPS 21525 WITH SCORE 21550.072
AT ITER 9700 NEW BEST:: SOT 92830 SOS 25051 HAS SOPS 25051 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21534.051
AT ITER 9708 NEW BEST:: SOT 92794 SOS 24931 HAS SOPS 24931 HAS SOUS 21473 HAS SOUPS 21473 WITH SCORE 21497.931
AT ITER 9759 NEW BEST:: SOT 92785 SOS 24873 HAS SOPS 24873 HAS SOUS 21436 HAS SOUPS 21436 WITH SCORE 21460.873
AT ITER 9819 NEW BEST:: SOT 92774 SOS 24859 HAS SOPS 24859 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21446.859
AT ITER 9845 NEW BEST:: SOT 92765 SOS 24841 HAS SOPS 24841 HAS SOUS 21404 HAS SOUPS 21404 WITH SCORE 21428.841
AT ITER 9846 NEW BEST:: SOT 92764 SOS 24838 HAS SOPS 24838 HAS SOUS 21402 HAS SOUPS 21402 WITH SCORE 21426.838
AT ITER 9853 NEW BEST:: SOT 92764 SOS 24826 HAS SOPS 24826 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21421.826
AT ITER 9855 NEW BEST:: SOT 92753 SOS 24771 HAS SOPS 24771 HAS SOUS 21375 HAS SOUPS 21375 WITH SCORE 21399.771
AT ITER 9857 NEW BEST:: SOT 92753 SOS 24775 HAS SOPS 24775 HAS SOUS 21371 HAS SOUPS 21371 WITH SCORE 21395.775
AT ITER 9878 NEW BEST:: SOT 92745 SOS 24763 HAS SOPS 24763 HAS SOUS 21361 HAS SOUPS 21361 WITH SCORE 21385.763
AT ITER 9937 NEW BEST:: SOT 92733 SOS 24729 HAS SOPS 24729 HAS SOUS 21350 HAS SOUPS 21350 WITH SCORE 21374.729
AT ITER 9942 NEW BEST:: SOT 92725 SOS 24705 HAS SOPS 24705 HAS SOUS 21325 HAS SOUPS 21325 WITH SCORE 21349.705
AT ITER 9970 NEW BEST:: SOT 92709 SOS 24689 HAS SOPS 24689 HAS SOUS 21267 HAS SOUPS 21267 WITH SCORE 21291.689
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 4741596 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16125544 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="ShieldRVt-PT-050A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ShieldRVt-PT-050A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r427-tajo-167905979500328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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