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-167905979200120.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 ShieldRVs-PT-030A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979200120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 5.5K Feb 26 18:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 18:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 18:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 18:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 19:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 19:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 19:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 19:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 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 191K 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 1679379515333

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=ShieldRVs-PT-030A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 06:18:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 06:18:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 06:18:37] [INFO ] Load time of PNML (sax parser for PT used): 102 ms
[2023-03-21 06:18:37] [INFO ] Transformed 423 places.
[2023-03-21 06:18:37] [INFO ] Transformed 573 transitions.
[2023-03-21 06:18:37] [INFO ] Found NUPN structural information;
[2023-03-21 06:18:37] [INFO ] Parsed PT model containing 423 places and 573 transitions and 2760 arcs in 186 ms.
[2023-03-21 06:18:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 423 places, 573 transitions and 2760 arcs took 17 ms.
Total runtime 246 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 030A
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: 423 places, 573 transitions, 2760 arcs.
AT ITER 0 NEW BEST:: SOT 182058 SOS 156302 HAS SOPS 156302 HAS SOUS 126747 HAS SOUPS 126747 WITH SCORE 126903.302
AT ITER 8 NEW BEST:: SOT 181952 SOS 156217 HAS SOPS 156217 HAS SOUS 126660 HAS SOUPS 126660 WITH SCORE 126816.217
AT ITER 10 NEW BEST:: SOT 181952 SOS 156219 HAS SOPS 156219 HAS SOUS 126658 HAS SOUPS 126658 WITH SCORE 126814.219
AT ITER 11 NEW BEST:: SOT 181868 SOS 155820 HAS SOPS 155820 HAS SOUS 126343 HAS SOUPS 126343 WITH SCORE 126498.82
AT ITER 12 NEW BEST:: SOT 181925 SOS 155300 HAS SOPS 155300 HAS SOUS 125415 HAS SOUPS 125415 WITH SCORE 125570.3
AT ITER 13 NEW BEST:: SOT 181925 SOS 155320 HAS SOPS 155320 HAS SOUS 125271 HAS SOUPS 125271 WITH SCORE 125426.32
AT ITER 15 NEW BEST:: SOT 181669 SOS 155064 HAS SOPS 155064 HAS SOUS 125015 HAS SOUPS 125015 WITH SCORE 125170.064
AT ITER 17 NEW BEST:: SOT 181564 SOS 154965 HAS SOPS 154965 HAS SOUS 124927 HAS SOUPS 124927 WITH SCORE 125081.965
AT ITER 21 NEW BEST:: SOT 181466 SOS 154667 HAS SOPS 154667 HAS SOUS 124527 HAS SOUPS 124527 WITH SCORE 124681.667
AT ITER 26 NEW BEST:: SOT 181462 SOS 154663 HAS SOPS 154663 HAS SOUS 124526 HAS SOUPS 124526 WITH SCORE 124680.663
AT ITER 29 NEW BEST:: SOT 181460 SOS 154661 HAS SOPS 154661 HAS SOUS 124521 HAS SOUPS 124521 WITH SCORE 124675.661
AT ITER 30 NEW BEST:: SOT 181676 SOS 154611 HAS SOPS 154611 HAS SOUS 124323 HAS SOUPS 124323 WITH SCORE 124477.611
AT ITER 34 NEW BEST:: SOT 181571 SOS 154485 HAS SOPS 154485 HAS SOUS 124287 HAS SOUPS 124287 WITH SCORE 124441.485
AT ITER 35 NEW BEST:: SOT 181571 SOS 153974 HAS SOPS 153974 HAS SOUS 124054 HAS SOUPS 124054 WITH SCORE 124207.974
AT ITER 39 NEW BEST:: SOT 181574 SOS 153313 HAS SOPS 153313 HAS SOUS 123877 HAS SOUPS 123877 WITH SCORE 124030.313
AT ITER 41 NEW BEST:: SOT 181569 SOS 153308 HAS SOPS 153308 HAS SOUS 123877 HAS SOUPS 123877 WITH SCORE 124030.308
AT ITER 43 NEW BEST:: SOT 181569 SOS 153427 HAS SOPS 153427 HAS SOUS 123804 HAS SOUPS 123804 WITH SCORE 123957.427
AT ITER 44 NEW BEST:: SOT 181490 SOS 153348 HAS SOPS 153348 HAS SOUS 123725 HAS SOUPS 123725 WITH SCORE 123878.348
AT ITER 46 NEW BEST:: SOT 181487 SOS 153345 HAS SOPS 153345 HAS SOUS 123722 HAS SOUPS 123722 WITH SCORE 123875.345
AT ITER 48 NEW BEST:: SOT 181440 SOS 153298 HAS SOPS 153298 HAS SOUS 123675 HAS SOUPS 123675 WITH SCORE 123828.298
AT ITER 49 NEW BEST:: SOT 181454 SOS 153189 HAS SOPS 153189 HAS SOUS 123673 HAS SOUPS 123673 WITH SCORE 123826.189
AT ITER 50 NEW BEST:: SOT 181464 SOS 152838 HAS SOPS 152838 HAS SOUS 123350 HAS SOUPS 123350 WITH SCORE 123502.838
AT ITER 52 NEW BEST:: SOT 181372 SOS 152075 HAS SOPS 152075 HAS SOUS 123045 HAS SOUPS 123045 WITH SCORE 123197.075
AT ITER 54 NEW BEST:: SOT 181223 SOS 151926 HAS SOPS 151926 HAS SOUS 122895 HAS SOUPS 122895 WITH SCORE 123046.926
AT ITER 58 NEW BEST:: SOT 181213 SOS 151502 HAS SOPS 151502 HAS SOUS 122549 HAS SOUPS 122549 WITH SCORE 122700.502
AT ITER 59 NEW BEST:: SOT 181213 SOS 151506 HAS SOPS 151506 HAS SOUS 122530 HAS SOUPS 122530 WITH SCORE 122681.506
AT ITER 60 NEW BEST:: SOT 181059 SOS 150603 HAS SOPS 150603 HAS SOUS 122044 HAS SOUPS 122044 WITH SCORE 122194.603
AT ITER 62 NEW BEST:: SOT 180942 SOS 149952 HAS SOPS 149952 HAS SOUS 121011 HAS SOUPS 121011 WITH SCORE 121160.952
AT ITER 63 NEW BEST:: SOT 180632 SOS 149642 HAS SOPS 149642 HAS SOUS 120701 HAS SOUPS 120701 WITH SCORE 120850.642
AT ITER 64 NEW BEST:: SOT 180508 SOS 149514 HAS SOPS 149514 HAS SOUS 120677 HAS SOUPS 120677 WITH SCORE 120826.514
AT ITER 65 NEW BEST:: SOT 181025 SOS 149432 HAS SOPS 149432 HAS SOUS 120473 HAS SOUPS 120473 WITH SCORE 120622.432
AT ITER 70 NEW BEST:: SOT 181049 SOS 148999 HAS SOPS 148999 HAS SOUS 120344 HAS SOUPS 120344 WITH SCORE 120492.999
AT ITER 72 NEW BEST:: SOT 181049 SOS 149224 HAS SOPS 149224 HAS SOUS 120299 HAS SOUPS 120299 WITH SCORE 120448.224
AT ITER 74 NEW BEST:: SOT 181245 SOS 149279 HAS SOPS 149279 HAS SOUS 120110 HAS SOUPS 120110 WITH SCORE 120259.279
AT ITER 75 NEW BEST:: SOT 180967 SOS 149130 HAS SOPS 149130 HAS SOUS 120075 HAS SOUPS 120075 WITH SCORE 120224.13
AT ITER 76 NEW BEST:: SOT 181000 SOS 149113 HAS SOPS 149113 HAS SOUS 119994 HAS SOUPS 119994 WITH SCORE 120143.113
AT ITER 78 NEW BEST:: SOT 180826 SOS 147765 HAS SOPS 147765 HAS SOUS 119302 HAS SOUPS 119302 WITH SCORE 119449.765
AT ITER 79 NEW BEST:: SOT 180816 SOS 147755 HAS SOPS 147755 HAS SOUS 119291 HAS SOUPS 119291 WITH SCORE 119438.755
AT ITER 83 NEW BEST:: SOT 181176 SOS 147742 HAS SOPS 147742 HAS SOUS 119051 HAS SOUPS 119051 WITH SCORE 119198.742
AT ITER 84 NEW BEST:: SOT 180994 SOS 146783 HAS SOPS 146783 HAS SOUS 118542 HAS SOUPS 118542 WITH SCORE 118688.783
AT ITER 90 NEW BEST:: SOT 180994 SOS 145989 HAS SOPS 145989 HAS SOUS 117963 HAS SOUPS 117963 WITH SCORE 118108.989
AT ITER 93 NEW BEST:: SOT 180988 SOS 145982 HAS SOPS 145982 HAS SOUS 117955 HAS SOUPS 117955 WITH SCORE 118100.982
AT ITER 94 NEW BEST:: SOT 181084 SOS 145595 HAS SOPS 145595 HAS SOUS 117917 HAS SOUPS 117917 WITH SCORE 118062.595
AT ITER 95 NEW BEST:: SOT 181074 SOS 145580 HAS SOPS 145580 HAS SOUS 117902 HAS SOUPS 117902 WITH SCORE 118047.58
AT ITER 96 NEW BEST:: SOT 181561 SOS 145700 HAS SOPS 145700 HAS SOUS 117690 HAS SOUPS 117690 WITH SCORE 117835.7
AT ITER 97 NEW BEST:: SOT 181621 SOS 145889 HAS SOPS 145889 HAS SOUS 117499 HAS SOUPS 117499 WITH SCORE 117644.889
AT ITER 100 NEW BEST:: SOT 181503 SOS 145061 HAS SOPS 145061 HAS SOUS 116809 HAS SOUPS 116809 WITH SCORE 116954.061
AT ITER 101 NEW BEST:: SOT 181499 SOS 145057 HAS SOPS 145057 HAS SOUS 116803 HAS SOUPS 116803 WITH SCORE 116948.057
AT ITER 103 NEW BEST:: SOT 181499 SOS 145026 HAS SOPS 145026 HAS SOUS 116792 HAS SOUPS 116792 WITH SCORE 116937.026
AT ITER 104 NEW BEST:: SOT 181499 SOS 145000 HAS SOPS 145000 HAS SOUS 116779 HAS SOUPS 116779 WITH SCORE 116924.0
AT ITER 107 NEW BEST:: SOT 181366 SOS 144867 HAS SOPS 144867 HAS SOUS 116526 HAS SOUPS 116526 WITH SCORE 116670.867
AT ITER 112 NEW BEST:: SOT 181460 SOS 144501 HAS SOPS 144501 HAS SOUS 116050 HAS SOUPS 116050 WITH SCORE 116194.501
AT ITER 113 NEW BEST:: SOT 181396 SOS 144342 HAS SOPS 144342 HAS SOUS 115887 HAS SOUPS 115887 WITH SCORE 116031.342
AT ITER 120 NEW BEST:: SOT 181391 SOS 144337 HAS SOPS 144337 HAS SOUS 115880 HAS SOUPS 115880 WITH SCORE 116024.337
AT ITER 122 NEW BEST:: SOT 181340 SOS 143780 HAS SOPS 143780 HAS SOUS 115492 HAS SOUPS 115492 WITH SCORE 115635.78
AT ITER 125 NEW BEST:: SOT 181350 SOS 144116 HAS SOPS 144116 HAS SOUS 115181 HAS SOUPS 115181 WITH SCORE 115325.116
AT ITER 128 NEW BEST:: SOT 181231 SOS 143995 HAS SOPS 143995 HAS SOUS 115058 HAS SOUPS 115058 WITH SCORE 115201.995
AT ITER 129 NEW BEST:: SOT 181364 SOS 144236 HAS SOPS 144236 HAS SOUS 114852 HAS SOUPS 114852 WITH SCORE 114996.236
AT ITER 130 NEW BEST:: SOT 181220 SOS 143229 HAS SOPS 143229 HAS SOUS 113547 HAS SOUPS 113547 WITH SCORE 113690.229
AT ITER 134 NEW BEST:: SOT 181133 SOS 142559 HAS SOPS 142559 HAS SOUS 113322 HAS SOUPS 113322 WITH SCORE 113464.559
AT ITER 135 NEW BEST:: SOT 181133 SOS 142559 HAS SOPS 142559 HAS SOUS 113318 HAS SOUPS 113318 WITH SCORE 113460.559
AT ITER 137 NEW BEST:: SOT 181133 SOS 142559 HAS SOPS 142559 HAS SOUS 113317 HAS SOUPS 113317 WITH SCORE 113459.559
AT ITER 138 NEW BEST:: SOT 181180 SOS 142260 HAS SOPS 142260 HAS SOUS 112613 HAS SOUPS 112613 WITH SCORE 112755.26
AT ITER 140 NEW BEST:: SOT 181190 SOS 141796 HAS SOPS 141796 HAS SOUS 112327 HAS SOUPS 112327 WITH SCORE 112468.796
AT ITER 147 NEW BEST:: SOT 181152 SOS 141522 HAS SOPS 141522 HAS SOUS 112045 HAS SOUPS 112045 WITH SCORE 112186.522
AT ITER 152 NEW BEST:: SOT 181415 SOS 141779 HAS SOPS 141779 HAS SOUS 111843 HAS SOUPS 111843 WITH SCORE 111984.779
AT ITER 153 NEW BEST:: SOT 181528 SOS 141073 HAS SOPS 141073 HAS SOUS 111627 HAS SOUPS 111627 WITH SCORE 111768.073
AT ITER 158 NEW BEST:: SOT 181357 SOS 140902 HAS SOPS 140902 HAS SOUS 111450 HAS SOUPS 111450 WITH SCORE 111590.902
AT ITER 161 NEW BEST:: SOT 181412 SOS 140738 HAS SOPS 140738 HAS SOUS 111246 HAS SOUPS 111246 WITH SCORE 111386.738
AT ITER 163 NEW BEST:: SOT 181071 SOS 140461 HAS SOPS 140461 HAS SOUS 111134 HAS SOUPS 111134 WITH SCORE 111274.461
AT ITER 165 NEW BEST:: SOT 180997 SOS 140387 HAS SOPS 140387 HAS SOUS 111060 HAS SOUPS 111060 WITH SCORE 111200.387
AT ITER 166 NEW BEST:: SOT 180997 SOS 140414 HAS SOPS 140414 HAS SOUS 111052 HAS SOUPS 111052 WITH SCORE 111192.414
AT ITER 169 NEW BEST:: SOT 181241 SOS 139901 HAS SOPS 139901 HAS SOUS 110684 HAS SOUPS 110684 WITH SCORE 110823.901
AT ITER 181 NEW BEST:: SOT 181052 SOS 138948 HAS SOPS 138948 HAS SOUS 110068 HAS SOUPS 110068 WITH SCORE 110206.948
AT ITER 185 NEW BEST:: SOT 180797 SOS 138467 HAS SOPS 138467 HAS SOUS 109473 HAS SOUPS 109473 WITH SCORE 109611.467
AT ITER 187 NEW BEST:: SOT 180739 SOS 138409 HAS SOPS 138409 HAS SOUS 109415 HAS SOUPS 109415 WITH SCORE 109553.409
AT ITER 192 NEW BEST:: SOT 180792 SOS 138462 HAS SOPS 138462 HAS SOUS 109370 HAS SOUPS 109370 WITH SCORE 109508.462
AT ITER 193 NEW BEST:: SOT 180738 SOS 138408 HAS SOPS 138408 HAS SOUS 109316 HAS SOUPS 109316 WITH SCORE 109454.408
AT ITER 195 NEW BEST:: SOT 180680 SOS 138350 HAS SOPS 138350 HAS SOUS 109258 HAS SOUPS 109258 WITH SCORE 109396.35
AT ITER 196 NEW BEST:: SOT 180648 SOS 138066 HAS SOPS 138066 HAS SOUS 108825 HAS SOUPS 108825 WITH SCORE 108963.066
AT ITER 198 NEW BEST:: SOT 180485 SOS 137552 HAS SOPS 137552 HAS SOUS 108008 HAS SOUPS 108008 WITH SCORE 108145.552
AT ITER 201 NEW BEST:: SOT 180449 SOS 137516 HAS SOPS 137516 HAS SOUS 107972 HAS SOUPS 107972 WITH SCORE 108109.516
AT ITER 202 NEW BEST:: SOT 180306 SOS 137385 HAS SOPS 137385 HAS SOUS 107520 HAS SOUPS 107520 WITH SCORE 107657.385
AT ITER 205 NEW BEST:: SOT 180242 SOS 137351 HAS SOPS 137351 HAS SOUS 107513 HAS SOUPS 107513 WITH SCORE 107650.351
AT ITER 207 NEW BEST:: SOT 180258 SOS 137299 HAS SOPS 137299 HAS SOUS 107347 HAS SOUPS 107347 WITH SCORE 107484.299
AT ITER 210 NEW BEST:: SOT 180035 SOS 137076 HAS SOPS 137076 HAS SOUS 107124 HAS SOUPS 107124 WITH SCORE 107261.076
AT ITER 212 NEW BEST:: SOT 180035 SOS 137076 HAS SOPS 137076 HAS SOUS 107123 HAS SOUPS 107123 WITH SCORE 107260.076
AT ITER 215 NEW BEST:: SOT 180030 SOS 137066 HAS SOPS 137066 HAS SOUS 107120 HAS SOUPS 107120 WITH SCORE 107257.066
AT ITER 216 NEW BEST:: SOT 179936 SOS 136878 HAS SOPS 136878 HAS SOUS 106644 HAS SOUPS 106644 WITH SCORE 106780.878
AT ITER 219 NEW BEST:: SOT 179934 SOS 136876 HAS SOPS 136876 HAS SOUS 106642 HAS SOUPS 106642 WITH SCORE 106778.876
AT ITER 226 NEW BEST:: SOT 179901 SOS 136859 HAS SOPS 136859 HAS SOUS 106527 HAS SOUPS 106527 WITH SCORE 106663.859
AT ITER 236 NEW BEST:: SOT 179901 SOS 136723 HAS SOPS 136723 HAS SOUS 106395 HAS SOUPS 106395 WITH SCORE 106531.723
AT ITER 240 NEW BEST:: SOT 179899 SOS 136640 HAS SOPS 136640 HAS SOUS 106270 HAS SOUPS 106270 WITH SCORE 106406.64
AT ITER 241 NEW BEST:: SOT 179701 SOS 136434 HAS SOPS 136434 HAS SOUS 106095 HAS SOUPS 106095 WITH SCORE 106231.434
AT ITER 248 NEW BEST:: SOT 179528 SOS 136106 HAS SOPS 136106 HAS SOUS 105656 HAS SOUPS 105656 WITH SCORE 105792.106
AT ITER 251 NEW BEST:: SOT 179283 SOS 135699 HAS SOPS 135699 HAS SOUS 105623 HAS SOUPS 105623 WITH SCORE 105758.699
AT ITER 252 NEW BEST:: SOT 179234 SOS 135601 HAS SOPS 135601 HAS SOUS 105623 HAS SOUPS 105623 WITH SCORE 105758.601
AT ITER 253 NEW BEST:: SOT 178723 SOS 135090 HAS SOPS 135090 HAS SOUS 105112 HAS SOUPS 105112 WITH SCORE 105247.09
AT ITER 256 NEW BEST:: SOT 178711 SOS 134796 HAS SOPS 134796 HAS SOUS 104867 HAS SOUPS 104867 WITH SCORE 105001.796
AT ITER 269 NEW BEST:: SOT 178522 SOS 134595 HAS SOPS 134595 HAS SOUS 104666 HAS SOUPS 104666 WITH SCORE 104800.595
AT ITER 270 NEW BEST:: SOT 178490 SOS 134435 HAS SOPS 134435 HAS SOUS 104602 HAS SOUPS 104602 WITH SCORE 104736.435
AT ITER 271 NEW BEST:: SOT 178490 SOS 134425 HAS SOPS 134425 HAS SOUS 104592 HAS SOUPS 104592 WITH SCORE 104726.425
AT ITER 274 NEW BEST:: SOT 177932 SOS 133728 HAS SOPS 133728 HAS SOUS 103876 HAS SOUPS 103876 WITH SCORE 104009.728
AT ITER 278 NEW BEST:: SOT 177932 SOS 133480 HAS SOPS 133480 HAS SOUS 103833 HAS SOUPS 103833 WITH SCORE 103966.48
AT ITER 280 NEW BEST:: SOT 177961 SOS 132278 HAS SOPS 132278 HAS SOUS 103547 HAS SOUPS 103547 WITH SCORE 103679.278
AT ITER 281 NEW BEST:: SOT 177734 SOS 130573 HAS SOPS 130573 HAS SOUS 102189 HAS SOUPS 102189 WITH SCORE 102319.573
AT ITER 282 NEW BEST:: SOT 177734 SOS 130573 HAS SOPS 130573 HAS SOUS 102183 HAS SOUPS 102183 WITH SCORE 102313.573
AT ITER 283 NEW BEST:: SOT 177734 SOS 130587 HAS SOPS 130587 HAS SOUS 102171 HAS SOUPS 102171 WITH SCORE 102301.587
AT ITER 284 NEW BEST:: SOT 177731 SOS 130582 HAS SOPS 130582 HAS SOUS 102164 HAS SOUPS 102164 WITH SCORE 102294.582
AT ITER 289 NEW BEST:: SOT 177635 SOS 130375 HAS SOPS 130375 HAS SOUS 101953 HAS SOUPS 101953 WITH SCORE 102083.375
AT ITER 290 NEW BEST:: SOT 177531 SOS 130271 HAS SOPS 130271 HAS SOUS 101835 HAS SOUPS 101835 WITH SCORE 101965.271
AT ITER 293 NEW BEST:: SOT 177531 SOS 129594 HAS SOPS 129594 HAS SOUS 101094 HAS SOUPS 101094 WITH SCORE 101223.594
AT ITER 294 NEW BEST:: SOT 177549 SOS 129297 HAS SOPS 129297 HAS SOUS 100683 HAS SOUPS 100683 WITH SCORE 100812.297
AT ITER 295 NEW BEST:: SOT 177539 SOS 129236 HAS SOPS 129236 HAS SOUS 100573 HAS SOUPS 100573 WITH SCORE 100702.236
AT ITER 299 NEW BEST:: SOT 177535 SOS 129165 HAS SOPS 129165 HAS SOUS 100397 HAS SOUPS 100397 WITH SCORE 100526.165
AT ITER 305 NEW BEST:: SOT 177488 SOS 129118 HAS SOPS 129118 HAS SOUS 100350 HAS SOUPS 100350 WITH SCORE 100479.118
AT ITER 308 NEW BEST:: SOT 177388 SOS 129018 HAS SOPS 129018 HAS SOUS 100222 HAS SOUPS 100222 WITH SCORE 100351.018
AT ITER 309 NEW BEST:: SOT 177364 SOS 128994 HAS SOPS 128994 HAS SOUS 100197 HAS SOUPS 100197 WITH SCORE 100325.994
AT ITER 312 NEW BEST:: SOT 177274 SOS 128903 HAS SOPS 128903 HAS SOUS 100023 HAS SOUPS 100023 WITH SCORE 100151.903
AT ITER 314 NEW BEST:: SOT 177129 SOS 128176 HAS SOPS 128176 HAS SOUS 99899 HAS SOUPS 99899 WITH SCORE 100027.176
AT ITER 319 NEW BEST:: SOT 177031 SOS 128059 HAS SOPS 128059 HAS SOUS 99782 HAS SOUPS 99782 WITH SCORE 99910.059
AT ITER 321 NEW BEST:: SOT 176893 SOS 127580 HAS SOPS 127580 HAS SOUS 99612 HAS SOUPS 99612 WITH SCORE 99739.58
AT ITER 329 NEW BEST:: SOT 176879 SOS 127570 HAS SOPS 127570 HAS SOUS 99590 HAS SOUPS 99590 WITH SCORE 99717.57
AT ITER 334 NEW BEST:: SOT 176659 SOS 127350 HAS SOPS 127350 HAS SOUS 99370 HAS SOUPS 99370 WITH SCORE 99497.35
AT ITER 341 NEW BEST:: SOT 176540 SOS 127231 HAS SOPS 127231 HAS SOUS 99214 HAS SOUPS 99214 WITH SCORE 99341.231
AT ITER 345 NEW BEST:: SOT 176708 SOS 126898 HAS SOPS 126898 HAS SOUS 99140 HAS SOUPS 99140 WITH SCORE 99266.898
AT ITER 350 NEW BEST:: SOT 176573 SOS 126430 HAS SOPS 126430 HAS SOUS 98927 HAS SOUPS 98927 WITH SCORE 99053.43
AT ITER 353 NEW BEST:: SOT 176555 SOS 126394 HAS SOPS 126394 HAS SOUS 98837 HAS SOUPS 98837 WITH SCORE 98963.394
AT ITER 354 NEW BEST:: SOT 176536 SOS 126371 HAS SOPS 126371 HAS SOUS 98702 HAS SOUPS 98702 WITH SCORE 98828.371
AT ITER 356 NEW BEST:: SOT 176470 SOS 126174 HAS SOPS 126174 HAS SOUS 98510 HAS SOUPS 98510 WITH SCORE 98636.174
AT ITER 360 NEW BEST:: SOT 176455 SOS 125278 HAS SOPS 125278 HAS SOUS 98298 HAS SOUPS 98298 WITH SCORE 98423.278
AT ITER 364 NEW BEST:: SOT 176464 SOS 124928 HAS SOPS 124928 HAS SOUS 97703 HAS SOUPS 97703 WITH SCORE 97827.928
AT ITER 366 NEW BEST:: SOT 176440 SOS 124787 HAS SOPS 124787 HAS SOUS 97684 HAS SOUPS 97684 WITH SCORE 97808.787
AT ITER 374 NEW BEST:: SOT 176440 SOS 124637 HAS SOPS 124637 HAS SOUS 97405 HAS SOUPS 97405 WITH SCORE 97529.637
AT ITER 377 NEW BEST:: SOT 176440 SOS 124512 HAS SOPS 124512 HAS SOUS 97320 HAS SOUPS 97320 WITH SCORE 97444.512
AT ITER 378 NEW BEST:: SOT 176430 SOS 124502 HAS SOPS 124502 HAS SOUS 97310 HAS SOUPS 97310 WITH SCORE 97434.502
AT ITER 381 NEW BEST:: SOT 176376 SOS 124373 HAS SOPS 124373 HAS SOUS 97186 HAS SOUPS 97186 WITH SCORE 97310.373
AT ITER 385 NEW BEST:: SOT 176364 SOS 124361 HAS SOPS 124361 HAS SOUS 97174 HAS SOUPS 97174 WITH SCORE 97298.361
AT ITER 386 NEW BEST:: SOT 176364 SOS 124338 HAS SOPS 124338 HAS SOUS 97159 HAS SOUPS 97159 WITH SCORE 97283.338
AT ITER 388 NEW BEST:: SOT 176245 SOS 123618 HAS SOPS 123618 HAS SOUS 96296 HAS SOUPS 96296 WITH SCORE 96419.618
AT ITER 392 NEW BEST:: SOT 176207 SOS 123580 HAS SOPS 123580 HAS SOUS 96258 HAS SOUPS 96258 WITH SCORE 96381.58
AT ITER 398 NEW BEST:: SOT 176095 SOS 123405 HAS SOPS 123405 HAS SOUS 96064 HAS SOUPS 96064 WITH SCORE 96187.405
AT ITER 399 NEW BEST:: SOT 176059 SOS 123369 HAS SOPS 123369 HAS SOUS 96028 HAS SOUPS 96028 WITH SCORE 96151.369
AT ITER 415 NEW BEST:: SOT 176023 SOS 123297 HAS SOPS 123297 HAS SOUS 95992 HAS SOUPS 95992 WITH SCORE 96115.297
AT ITER 417 NEW BEST:: SOT 175965 SOS 123239 HAS SOPS 123239 HAS SOUS 95934 HAS SOUPS 95934 WITH SCORE 96057.239
AT ITER 421 NEW BEST:: SOT 175996 SOS 123235 HAS SOPS 123235 HAS SOUS 95887 HAS SOUPS 95887 WITH SCORE 96010.235
AT ITER 425 NEW BEST:: SOT 175991 SOS 123300 HAS SOPS 123300 HAS SOUS 95882 HAS SOUPS 95882 WITH SCORE 96005.3
AT ITER 426 NEW BEST:: SOT 175985 SOS 123294 HAS SOPS 123294 HAS SOUS 95875 HAS SOUPS 95875 WITH SCORE 95998.294
AT ITER 427 NEW BEST:: SOT 175800 SOS 123181 HAS SOPS 123181 HAS SOUS 95706 HAS SOUPS 95706 WITH SCORE 95829.181
AT ITER 428 NEW BEST:: SOT 175784 SOS 123161 HAS SOPS 123161 HAS SOUS 95670 HAS SOUPS 95670 WITH SCORE 95793.161
AT ITER 432 NEW BEST:: SOT 175704 SOS 123001 HAS SOPS 123001 HAS SOUS 95494 HAS SOUPS 95494 WITH SCORE 95617.001
AT ITER 434 NEW BEST:: SOT 175737 SOS 122866 HAS SOPS 122866 HAS SOUS 95475 HAS SOUPS 95475 WITH SCORE 95597.866
AT ITER 442 NEW BEST:: SOT 175573 SOS 122187 HAS SOPS 122187 HAS SOUS 94956 HAS SOUPS 94956 WITH SCORE 95078.187
AT ITER 448 NEW BEST:: SOT 175544 SOS 122245 HAS SOPS 122245 HAS SOUS 94858 HAS SOUPS 94858 WITH SCORE 94980.245
AT ITER 449 NEW BEST:: SOT 175501 SOS 122202 HAS SOPS 122202 HAS SOUS 94783 HAS SOUPS 94783 WITH SCORE 94905.202
AT ITER 453 NEW BEST:: SOT 175255 SOS 121884 HAS SOPS 121884 HAS SOUS 94463 HAS SOUPS 94463 WITH SCORE 94584.884
AT ITER 460 NEW BEST:: SOT 175154 SOS 121710 HAS SOPS 121710 HAS SOUS 94227 HAS SOUPS 94227 WITH SCORE 94348.71
AT ITER 461 NEW BEST:: SOT 175076 SOS 121470 HAS SOPS 121470 HAS SOUS 94156 HAS SOUPS 94156 WITH SCORE 94277.47
AT ITER 462 NEW BEST:: SOT 175010 SOS 121220 HAS SOPS 121220 HAS SOUS 94080 HAS SOUPS 94080 WITH SCORE 94201.22
AT ITER 464 NEW BEST:: SOT 174974 SOS 120887 HAS SOPS 120887 HAS SOUS 93705 HAS SOUPS 93705 WITH SCORE 93825.887
AT ITER 465 NEW BEST:: SOT 174974 SOS 120914 HAS SOPS 120914 HAS SOUS 93702 HAS SOUPS 93702 WITH SCORE 93822.914
AT ITER 469 NEW BEST:: SOT 174909 SOS 120710 HAS SOPS 120710 HAS SOUS 93489 HAS SOUPS 93489 WITH SCORE 93609.71
AT ITER 474 NEW BEST:: SOT 174887 SOS 120622 HAS SOPS 120622 HAS SOUS 93445 HAS SOUPS 93445 WITH SCORE 93565.622
AT ITER 476 NEW BEST:: SOT 174756 SOS 120549 HAS SOPS 120549 HAS SOUS 93343 HAS SOUPS 93343 WITH SCORE 93463.549
AT ITER 477 NEW BEST:: SOT 174655 SOS 120465 HAS SOPS 120465 HAS SOUS 93259 HAS SOUPS 93259 WITH SCORE 93379.465
AT ITER 480 NEW BEST:: SOT 174507 SOS 120317 HAS SOPS 120317 HAS SOUS 93111 HAS SOUPS 93111 WITH SCORE 93231.317
AT ITER 482 NEW BEST:: SOT 174489 SOS 120263 HAS SOPS 120263 HAS SOUS 93075 HAS SOUPS 93075 WITH SCORE 93195.263
AT ITER 483 NEW BEST:: SOT 174485 SOS 120129 HAS SOPS 120129 HAS SOUS 92834 HAS SOUPS 92834 WITH SCORE 92954.129
AT ITER 486 NEW BEST:: SOT 174291 SOS 119821 HAS SOPS 119821 HAS SOUS 92520 HAS SOUPS 92520 WITH SCORE 92639.821
AT ITER 489 NEW BEST:: SOT 174036 SOS 119566 HAS SOPS 119566 HAS SOUS 92265 HAS SOUPS 92265 WITH SCORE 92384.566
AT ITER 492 NEW BEST:: SOT 173998 SOS 119426 HAS SOPS 119426 HAS SOUS 92230 HAS SOUPS 92230 WITH SCORE 92349.426
AT ITER 499 NEW BEST:: SOT 173973 SOS 119251 HAS SOPS 119251 HAS SOUS 92230 HAS SOUPS 92230 WITH SCORE 92349.251
AT ITER 510 NEW BEST:: SOT 173925 SOS 119155 HAS SOPS 119155 HAS SOUS 91990 HAS SOUPS 91990 WITH SCORE 92109.155
AT ITER 519 NEW BEST:: SOT 173925 SOS 118996 HAS SOPS 118996 HAS SOUS 91950 HAS SOUPS 91950 WITH SCORE 92068.996
AT ITER 522 NEW BEST:: SOT 173894 SOS 118853 HAS SOPS 118853 HAS SOUS 91894 HAS SOUPS 91894 WITH SCORE 92012.853
AT ITER 523 NEW BEST:: SOT 173894 SOS 118511 HAS SOPS 118511 HAS SOUS 91874 HAS SOUPS 91874 WITH SCORE 91992.511
AT ITER 525 NEW BEST:: SOT 173881 SOS 118498 HAS SOPS 118498 HAS SOUS 91861 HAS SOUPS 91861 WITH SCORE 91979.498
AT ITER 534 NEW BEST:: SOT 173743 SOS 117859 HAS SOPS 117859 HAS SOUS 91256 HAS SOUPS 91256 WITH SCORE 91373.859
AT ITER 541 NEW BEST:: SOT 173518 SOS 117485 HAS SOPS 117485 HAS SOUS 90793 HAS SOUPS 90793 WITH SCORE 90910.485
AT ITER 543 NEW BEST:: SOT 173518 SOS 118077 HAS SOPS 118077 HAS SOUS 90475 HAS SOUPS 90475 WITH SCORE 90593.077
AT ITER 546 NEW BEST:: SOT 173351 SOS 117925 HAS SOPS 117925 HAS SOUS 90323 HAS SOUPS 90323 WITH SCORE 90440.925
AT ITER 549 NEW BEST:: SOT 173270 SOS 117844 HAS SOPS 117844 HAS SOUS 90242 HAS SOUPS 90242 WITH SCORE 90359.844
AT ITER 550 NEW BEST:: SOT 172802 SOS 117368 HAS SOPS 117368 HAS SOUS 89756 HAS SOUPS 89756 WITH SCORE 89873.368
AT ITER 554 NEW BEST:: SOT 172800 SOS 117366 HAS SOPS 117366 HAS SOUS 89657 HAS SOUPS 89657 WITH SCORE 89774.366
AT ITER 562 NEW BEST:: SOT 172411 SOS 116296 HAS SOPS 116296 HAS SOUS 88814 HAS SOUPS 88814 WITH SCORE 88930.296
AT ITER 566 NEW BEST:: SOT 172411 SOS 115622 HAS SOPS 115622 HAS SOUS 88527 HAS SOUPS 88527 WITH SCORE 88642.622
AT ITER 571 NEW BEST:: SOT 172465 SOS 115618 HAS SOPS 115618 HAS SOUS 88417 HAS SOUPS 88417 WITH SCORE 88532.618
AT ITER 577 NEW BEST:: SOT 172465 SOS 115618 HAS SOPS 115618 HAS SOUS 88401 HAS SOUPS 88401 WITH SCORE 88516.618
AT ITER 581 NEW BEST:: SOT 172273 SOS 115421 HAS SOPS 115421 HAS SOUS 88204 HAS SOUPS 88204 WITH SCORE 88319.421
AT ITER 587 NEW BEST:: SOT 172241 SOS 115178 HAS SOPS 115178 HAS SOUS 88040 HAS SOUPS 88040 WITH SCORE 88155.178
AT ITER 596 NEW BEST:: SOT 172238 SOS 114697 HAS SOPS 114697 HAS SOUS 87629 HAS SOUPS 87629 WITH SCORE 87743.697
AT ITER 598 NEW BEST:: SOT 172361 SOS 115700 HAS SOPS 115700 HAS SOUS 87624 HAS SOUPS 87624 WITH SCORE 87739.7
AT ITER 599 NEW BEST:: SOT 172445 SOS 115773 HAS SOPS 115773 HAS SOUS 87563 HAS SOUPS 87563 WITH SCORE 87678.773
AT ITER 602 NEW BEST:: SOT 172413 SOS 115317 HAS SOPS 115317 HAS SOUS 87400 HAS SOUPS 87400 WITH SCORE 87515.317
AT ITER 604 NEW BEST:: SOT 172283 SOS 115187 HAS SOPS 115187 HAS SOUS 87226 HAS SOUPS 87226 WITH SCORE 87341.187
AT ITER 607 NEW BEST:: SOT 172170 SOS 114538 HAS SOPS 114538 HAS SOUS 86408 HAS SOUPS 86408 WITH SCORE 86522.538
AT ITER 613 NEW BEST:: SOT 172119 SOS 114523 HAS SOPS 114523 HAS SOUS 86397 HAS SOUPS 86397 WITH SCORE 86511.523
AT ITER 620 NEW BEST:: SOT 172112 SOS 114527 HAS SOPS 114527 HAS SOUS 86391 HAS SOUPS 86391 WITH SCORE 86505.527
AT ITER 624 NEW BEST:: SOT 172110 SOS 114525 HAS SOPS 114525 HAS SOUS 86389 HAS SOUPS 86389 WITH SCORE 86503.525
AT ITER 633 NEW BEST:: SOT 172138 SOS 114147 HAS SOPS 114147 HAS SOUS 86382 HAS SOUPS 86382 WITH SCORE 86496.147
AT ITER 639 NEW BEST:: SOT 172131 SOS 114032 HAS SOPS 114032 HAS SOUS 86373 HAS SOUPS 86373 WITH SCORE 86487.032
AT ITER 642 NEW BEST:: SOT 171990 SOS 113634 HAS SOPS 113634 HAS SOUS 86265 HAS SOUPS 86265 WITH SCORE 86378.634
AT ITER 645 NEW BEST:: SOT 171915 SOS 113533 HAS SOPS 113533 HAS SOUS 86043 HAS SOUPS 86043 WITH SCORE 86156.533
AT ITER 650 NEW BEST:: SOT 171877 SOS 113495 HAS SOPS 113495 HAS SOUS 85994 HAS SOUPS 85994 WITH SCORE 86107.495
AT ITER 652 NEW BEST:: SOT 171774 SOS 113392 HAS SOPS 113392 HAS SOUS 85806 HAS SOUPS 85806 WITH SCORE 85919.392
AT ITER 654 NEW BEST:: SOT 171759 SOS 113327 HAS SOPS 113327 HAS SOUS 85796 HAS SOUPS 85796 WITH SCORE 85909.327
AT ITER 662 NEW BEST:: SOT 171795 SOS 113233 HAS SOPS 113233 HAS SOUS 85661 HAS SOUPS 85661 WITH SCORE 85774.233
AT ITER 663 NEW BEST:: SOT 171795 SOS 113179 HAS SOPS 113179 HAS SOUS 85391 HAS SOUPS 85391 WITH SCORE 85504.179
AT ITER 675 NEW BEST:: SOT 171831 SOS 113227 HAS SOPS 113227 HAS SOUS 85355 HAS SOUPS 85355 WITH SCORE 85468.227
AT ITER 678 NEW BEST:: SOT 171631 SOS 113027 HAS SOPS 113027 HAS SOUS 85155 HAS SOUPS 85155 WITH SCORE 85268.027
AT ITER 682 NEW BEST:: SOT 171589 SOS 112943 HAS SOPS 112943 HAS SOUS 85008 HAS SOUPS 85008 WITH SCORE 85120.943
AT ITER 683 NEW BEST:: SOT 171509 SOS 112863 HAS SOPS 112863 HAS SOUS 84928 HAS SOUPS 84928 WITH SCORE 85040.863
AT ITER 684 NEW BEST:: SOT 171409 SOS 112045 HAS SOPS 112045 HAS SOUS 84774 HAS SOUPS 84774 WITH SCORE 84886.045
AT ITER 689 NEW BEST:: SOT 171354 SOS 111859 HAS SOPS 111859 HAS SOUS 84727 HAS SOUPS 84727 WITH SCORE 84838.859
AT ITER 692 NEW BEST:: SOT 171346 SOS 111887 HAS SOPS 111887 HAS SOUS 84708 HAS SOUPS 84708 WITH SCORE 84819.887
AT ITER 693 NEW BEST:: SOT 171272 SOS 111785 HAS SOPS 111785 HAS SOUS 84606 HAS SOUPS 84606 WITH SCORE 84717.785
AT ITER 694 NEW BEST:: SOT 171272 SOS 111785 HAS SOPS 111785 HAS SOUS 84557 HAS SOUPS 84557 WITH SCORE 84668.785
AT ITER 703 NEW BEST:: SOT 171257 SOS 111403 HAS SOPS 111403 HAS SOUS 84526 HAS SOUPS 84526 WITH SCORE 84637.403
AT ITER 708 NEW BEST:: SOT 171158 SOS 111384 HAS SOPS 111384 HAS SOUS 84488 HAS SOUPS 84488 WITH SCORE 84599.384
AT ITER 710 NEW BEST:: SOT 170860 SOS 111086 HAS SOPS 111086 HAS SOUS 84178 HAS SOUPS 84178 WITH SCORE 84289.086
AT ITER 711 NEW BEST:: SOT 170450 SOS 110610 HAS SOPS 110610 HAS SOUS 83680 HAS SOUPS 83680 WITH SCORE 83790.61
AT ITER 712 NEW BEST:: SOT 170247 SOS 110407 HAS SOPS 110407 HAS SOUS 83477 HAS SOUPS 83477 WITH SCORE 83587.407
AT ITER 722 NEW BEST:: SOT 170169 SOS 110219 HAS SOPS 110219 HAS SOUS 82833 HAS SOUPS 82833 WITH SCORE 82943.219
AT ITER 723 NEW BEST:: SOT 170101 SOS 110151 HAS SOPS 110151 HAS SOUS 82772 HAS SOUPS 82772 WITH SCORE 82882.151
AT ITER 727 NEW BEST:: SOT 170101 SOS 110149 HAS SOPS 110149 HAS SOUS 82771 HAS SOUPS 82771 WITH SCORE 82881.149
AT ITER 735 NEW BEST:: SOT 170086 SOS 110134 HAS SOPS 110134 HAS SOUS 82768 HAS SOUPS 82768 WITH SCORE 82878.134
AT ITER 744 NEW BEST:: SOT 170067 SOS 110114 HAS SOPS 110114 HAS SOUS 82722 HAS SOUPS 82722 WITH SCORE 82832.114
AT ITER 747 NEW BEST:: SOT 170067 SOS 109998 HAS SOPS 109998 HAS SOUS 82608 HAS SOUPS 82608 WITH SCORE 82717.998
AT ITER 758 NEW BEST:: SOT 170056 SOS 109707 HAS SOPS 109707 HAS SOUS 82564 HAS SOUPS 82564 WITH SCORE 82673.707
AT ITER 761 NEW BEST:: SOT 170056 SOS 109707 HAS SOPS 109707 HAS SOUS 82429 HAS SOUPS 82429 WITH SCORE 82538.707
AT ITER 766 NEW BEST:: SOT 170004 SOS 109615 HAS SOPS 109615 HAS SOUS 82243 HAS SOUPS 82243 WITH SCORE 82352.615
AT ITER 767 NEW BEST:: SOT 169840 SOS 109451 HAS SOPS 109451 HAS SOUS 81972 HAS SOUPS 81972 WITH SCORE 82081.451
AT ITER 774 NEW BEST:: SOT 169933 SOS 109568 HAS SOPS 109568 HAS SOUS 81944 HAS SOUPS 81944 WITH SCORE 82053.568
AT ITER 777 NEW BEST:: SOT 169834 SOS 109446 HAS SOPS 109446 HAS SOUS 81735 HAS SOUPS 81735 WITH SCORE 81844.446
AT ITER 783 NEW BEST:: SOT 169834 SOS 109422 HAS SOPS 109422 HAS SOUS 81711 HAS SOUPS 81711 WITH SCORE 81820.422
AT ITER 795 NEW BEST:: SOT 169833 SOS 109418 HAS SOPS 109418 HAS SOUS 81708 HAS SOUPS 81708 WITH SCORE 81817.418
AT ITER 798 NEW BEST:: SOT 169611 SOS 109196 HAS SOPS 109196 HAS SOUS 81489 HAS SOUPS 81489 WITH SCORE 81598.196
AT ITER 801 NEW BEST:: SOT 169634 SOS 109078 HAS SOPS 109078 HAS SOUS 81468 HAS SOUPS 81468 WITH SCORE 81577.078
AT ITER 808 NEW BEST:: SOT 169720 SOS 108918 HAS SOPS 108918 HAS SOUS 81299 HAS SOUPS 81299 WITH SCORE 81407.918
AT ITER 809 NEW BEST:: SOT 169647 SOS 108844 HAS SOPS 108844 HAS SOUS 81204 HAS SOUPS 81204 WITH SCORE 81312.844
AT ITER 820 NEW BEST:: SOT 169663 SOS 108876 HAS SOPS 108876 HAS SOUS 81203 HAS SOUPS 81203 WITH SCORE 81311.876
AT ITER 829 NEW BEST:: SOT 169631 SOS 108828 HAS SOPS 108828 HAS SOUS 81155 HAS SOUPS 81155 WITH SCORE 81263.828
AT ITER 833 NEW BEST:: SOT 169593 SOS 108790 HAS SOPS 108790 HAS SOUS 81117 HAS SOUPS 81117 WITH SCORE 81225.79
AT ITER 858 NEW BEST:: SOT 169542 SOS 108739 HAS SOPS 108739 HAS SOUS 81066 HAS SOUPS 81066 WITH SCORE 81174.739
AT ITER 859 NEW BEST:: SOT 169542 SOS 109167 HAS SOPS 109167 HAS SOUS 80957 HAS SOUPS 80957 WITH SCORE 81066.167
AT ITER 860 NEW BEST:: SOT 169542 SOS 109231 HAS SOPS 109231 HAS SOUS 80953 HAS SOUPS 80953 WITH SCORE 81062.231
AT ITER 864 NEW BEST:: SOT 169542 SOS 108817 HAS SOPS 108817 HAS SOUS 80774 HAS SOUPS 80774 WITH SCORE 80882.817
AT ITER 867 NEW BEST:: SOT 169542 SOS 108552 HAS SOPS 108552 HAS SOUS 80638 HAS SOUPS 80638 WITH SCORE 80746.552
AT ITER 873 NEW BEST:: SOT 169542 SOS 107918 HAS SOPS 107918 HAS SOUS 80469 HAS SOUPS 80469 WITH SCORE 80576.918
AT ITER 874 NEW BEST:: SOT 169542 SOS 107868 HAS SOPS 107868 HAS SOUS 80469 HAS SOUPS 80469 WITH SCORE 80576.868
AT ITER 877 NEW BEST:: SOT 169504 SOS 107785 HAS SOPS 107785 HAS SOUS 80386 HAS SOUPS 80386 WITH SCORE 80493.785
AT ITER 886 NEW BEST:: SOT 169407 SOS 107656 HAS SOPS 107656 HAS SOUS 80176 HAS SOUPS 80176 WITH SCORE 80283.656
AT ITER 894 NEW BEST:: SOT 169192 SOS 106971 HAS SOPS 106971 HAS SOUS 79841 HAS SOUPS 79841 WITH SCORE 79947.971
AT ITER 906 NEW BEST:: SOT 169085 SOS 106689 HAS SOPS 106689 HAS SOUS 79570 HAS SOUPS 79570 WITH SCORE 79676.689
AT ITER 912 NEW BEST:: SOT 169152 SOS 106749 HAS SOPS 106749 HAS SOUS 79528 HAS SOUPS 79528 WITH SCORE 79634.749
AT ITER 918 NEW BEST:: SOT 169126 SOS 106723 HAS SOPS 106723 HAS SOUS 79502 HAS SOUPS 79502 WITH SCORE 79608.723
AT ITER 925 NEW BEST:: SOT 168666 SOS 106171 HAS SOPS 106171 HAS SOUS 78979 HAS SOUPS 78979 WITH SCORE 79085.171
AT ITER 927 NEW BEST:: SOT 168498 SOS 105622 HAS SOPS 105622 HAS SOUS 78445 HAS SOUPS 78445 WITH SCORE 78550.622
AT ITER 929 NEW BEST:: SOT 168498 SOS 105622 HAS SOPS 105622 HAS SOUS 78431 HAS SOUPS 78431 WITH SCORE 78536.622
AT ITER 930 NEW BEST:: SOT 168464 SOS 105257 HAS SOPS 105257 HAS SOUS 78292 HAS SOUPS 78292 WITH SCORE 78397.257
AT ITER 934 NEW BEST:: SOT 167728 SOS 103277 HAS SOPS 103277 HAS SOUS 76817 HAS SOUPS 76817 WITH SCORE 76920.277
AT ITER 938 NEW BEST:: SOT 167724 SOS 103273 HAS SOPS 103273 HAS SOUS 76813 HAS SOUPS 76813 WITH SCORE 76916.273
AT ITER 942 NEW BEST:: SOT 167707 SOS 103290 HAS SOPS 103290 HAS SOUS 76796 HAS SOUPS 76796 WITH SCORE 76899.29
AT ITER 943 NEW BEST:: SOT 167670 SOS 103615 HAS SOPS 103615 HAS SOUS 76795 HAS SOUPS 76795 WITH SCORE 76898.615
AT ITER 944 NEW BEST:: SOT 167520 SOS 103435 HAS SOPS 103435 HAS SOUS 76615 HAS SOUPS 76615 WITH SCORE 76718.435
AT ITER 948 NEW BEST:: SOT 167452 SOS 103353 HAS SOPS 103353 HAS SOUS 76533 HAS SOUPS 76533 WITH SCORE 76636.353
AT ITER 952 NEW BEST:: SOT 167354 SOS 102876 HAS SOPS 102876 HAS SOUS 76127 HAS SOUPS 76127 WITH SCORE 76229.876
AT ITER 963 NEW BEST:: SOT 166575 SOS 101895 HAS SOPS 101895 HAS SOUS 75506 HAS SOUPS 75506 WITH SCORE 75607.895
AT ITER 967 NEW BEST:: SOT 166557 SOS 101949 HAS SOPS 101949 HAS SOUS 75427 HAS SOUPS 75427 WITH SCORE 75528.949
AT ITER 971 NEW BEST:: SOT 166235 SOS 101581 HAS SOPS 101581 HAS SOUS 75012 HAS SOUPS 75012 WITH SCORE 75113.581
AT ITER 978 NEW BEST:: SOT 166296 SOS 101642 HAS SOPS 101642 HAS SOUS 74937 HAS SOUPS 74937 WITH SCORE 75038.642
AT ITER 979 NEW BEST:: SOT 166303 SOS 101591 HAS SOPS 101591 HAS SOUS 74924 HAS SOUPS 74924 WITH SCORE 75025.591
AT ITER 983 NEW BEST:: SOT 166299 SOS 101587 HAS SOPS 101587 HAS SOUS 74920 HAS SOUPS 74920 WITH SCORE 75021.587
AT ITER 984 NEW BEST:: SOT 166274 SOS 101562 HAS SOPS 101562 HAS SOUS 74832 HAS SOUPS 74832 WITH SCORE 74933.562
AT ITER 990 NEW BEST:: SOT 166263 SOS 101551 HAS SOPS 101551 HAS SOUS 74799 HAS SOUPS 74799 WITH SCORE 74900.551
AT ITER 993 NEW BEST:: SOT 166413 SOS 101663 HAS SOPS 101663 HAS SOUS 74610 HAS SOUPS 74610 WITH SCORE 74711.663
AT ITER 994 NEW BEST:: SOT 166432 SOS 101625 HAS SOPS 101625 HAS SOUS 74591 HAS SOUPS 74591 WITH SCORE 74692.625
AT ITER 996 NEW BEST:: SOT 166346 SOS 101062 HAS SOPS 101062 HAS SOUS 74374 HAS SOUPS 74374 WITH SCORE 74475.062
AT ITER 999 NEW BEST:: SOT 166332 SOS 101045 HAS SOPS 101045 HAS SOUS 74320 HAS SOUPS 74320 WITH SCORE 74421.045
AT ITER 1001 NEW BEST:: SOT 165894 SOS 100607 HAS SOPS 100607 HAS SOUS 73882 HAS SOUPS 73882 WITH SCORE 73982.607
AT ITER 1002 NEW BEST:: SOT 165894 SOS 100611 HAS SOPS 100611 HAS SOUS 73881 HAS SOUPS 73881 WITH SCORE 73981.611
AT ITER 1008 NEW BEST:: SOT 165899 SOS 100616 HAS SOPS 100616 HAS SOUS 73820 HAS SOUPS 73820 WITH SCORE 73920.616
AT ITER 1009 NEW BEST:: SOT 166024 SOS 99963 HAS SOPS 99963 HAS SOUS 73606 HAS SOUPS 73606 WITH SCORE 73705.963
AT ITER 1013 NEW BEST:: SOT 166024 SOS 99944 HAS SOPS 99944 HAS SOUS 73568 HAS SOUPS 73568 WITH SCORE 73667.944
AT ITER 1024 NEW BEST:: SOT 165995 SOS 99915 HAS SOPS 99915 HAS SOUS 73539 HAS SOUPS 73539 WITH SCORE 73638.915
AT ITER 1028 NEW BEST:: SOT 165924 SOS 99844 HAS SOPS 99844 HAS SOUS 73468 HAS SOUPS 73468 WITH SCORE 73567.844
AT ITER 1035 NEW BEST:: SOT 165645 SOS 99929 HAS SOPS 99929 HAS SOUS 73261 HAS SOUPS 73261 WITH SCORE 73360.929
AT ITER 1038 NEW BEST:: SOT 165686 SOS 99989 HAS SOPS 99989 HAS SOUS 73233 HAS SOUPS 73233 WITH SCORE 73332.989
AT ITER 1041 NEW BEST:: SOT 165674 SOS 99977 HAS SOPS 99977 HAS SOUS 73221 HAS SOUPS 73221 WITH SCORE 73320.977
AT ITER 1043 NEW BEST:: SOT 165722 SOS 99996 HAS SOPS 99996 HAS SOUS 73183 HAS SOUPS 73183 WITH SCORE 73282.996
AT ITER 1048 NEW BEST:: SOT 165722 SOS 99925 HAS SOPS 99925 HAS SOUS 73183 HAS SOUPS 73183 WITH SCORE 73282.925
AT ITER 1053 NEW BEST:: SOT 165722 SOS 99921 HAS SOPS 99921 HAS SOUS 73159 HAS SOUPS 73159 WITH SCORE 73258.921
AT ITER 1054 NEW BEST:: SOT 165706 SOS 99905 HAS SOPS 99905 HAS SOUS 73143 HAS SOUPS 73143 WITH SCORE 73242.905
AT ITER 1056 NEW BEST:: SOT 165733 SOS 99702 HAS SOPS 99702 HAS SOUS 72883 HAS SOUPS 72883 WITH SCORE 72982.702
AT ITER 1058 NEW BEST:: SOT 165733 SOS 99678 HAS SOPS 99678 HAS SOUS 72876 HAS SOUPS 72876 WITH SCORE 72975.678
AT ITER 1060 NEW BEST:: SOT 165637 SOS 99582 HAS SOPS 99582 HAS SOUS 72780 HAS SOUPS 72780 WITH SCORE 72879.582
AT ITER 1065 NEW BEST:: SOT 165503 SOS 99404 HAS SOPS 99404 HAS SOUS 72552 HAS SOUPS 72552 WITH SCORE 72651.404
AT ITER 1073 NEW BEST:: SOT 165498 SOS 99394 HAS SOPS 99394 HAS SOUS 72537 HAS SOUPS 72537 WITH SCORE 72636.394
AT ITER 1074 NEW BEST:: SOT 165354 SOS 99210 HAS SOPS 99210 HAS SOUS 72375 HAS SOUPS 72375 WITH SCORE 72474.21
AT ITER 1086 NEW BEST:: SOT 165401 SOS 99094 HAS SOPS 99094 HAS SOUS 72205 HAS SOUPS 72205 WITH SCORE 72304.094
AT ITER 1089 NEW BEST:: SOT 165247 SOS 98806 HAS SOPS 98806 HAS SOUS 71669 HAS SOUPS 71669 WITH SCORE 71767.806
AT ITER 1103 NEW BEST:: SOT 165247 SOS 98805 HAS SOPS 98805 HAS SOUS 71669 HAS SOUPS 71669 WITH SCORE 71767.805
AT ITER 1107 NEW BEST:: SOT 165257 SOS 98855 HAS SOPS 98855 HAS SOUS 71654 HAS SOUPS 71654 WITH SCORE 71752.855
AT ITER 1113 NEW BEST:: SOT 165250 SOS 98848 HAS SOPS 98848 HAS SOUS 71647 HAS SOUPS 71647 WITH SCORE 71745.848
AT ITER 1114 NEW BEST:: SOT 165162 SOS 98712 HAS SOPS 98712 HAS SOUS 71439 HAS SOUPS 71439 WITH SCORE 71537.712
AT ITER 1124 NEW BEST:: SOT 165143 SOS 98596 HAS SOPS 98596 HAS SOUS 71439 HAS SOUPS 71439 WITH SCORE 71537.596
AT ITER 1125 NEW BEST:: SOT 165046 SOS 98551 HAS SOPS 98551 HAS SOUS 71223 HAS SOUPS 71223 WITH SCORE 71321.551
AT ITER 1126 NEW BEST:: SOT 165004 SOS 98236 HAS SOPS 98236 HAS SOUS 71135 HAS SOUPS 71135 WITH SCORE 71233.236
AT ITER 1135 NEW BEST:: SOT 164863 SOS 97995 HAS SOPS 97995 HAS SOUS 70566 HAS SOUPS 70566 WITH SCORE 70663.995
AT ITER 1145 NEW BEST:: SOT 164982 SOS 98122 HAS SOPS 98122 HAS SOUS 70471 HAS SOUPS 70471 WITH SCORE 70569.122
AT ITER 1147 NEW BEST:: SOT 164894 SOS 97981 HAS SOPS 97981 HAS SOUS 70436 HAS SOUPS 70436 WITH SCORE 70533.981
AT ITER 1155 NEW BEST:: SOT 164870 SOS 97847 HAS SOPS 97847 HAS SOUS 70414 HAS SOUPS 70414 WITH SCORE 70511.847
AT ITER 1164 NEW BEST:: SOT 164702 SOS 97679 HAS SOPS 97679 HAS SOUS 70213 HAS SOUPS 70213 WITH SCORE 70310.679
AT ITER 1174 NEW BEST:: SOT 164584 SOS 97561 HAS SOPS 97561 HAS SOUS 70095 HAS SOUPS 70095 WITH SCORE 70192.561
AT ITER 1180 NEW BEST:: SOT 164456 SOS 97421 HAS SOPS 97421 HAS SOUS 69955 HAS SOUPS 69955 WITH SCORE 70052.421
AT ITER 1189 NEW BEST:: SOT 164452 SOS 97405 HAS SOPS 97405 HAS SOUS 69945 HAS SOUPS 69945 WITH SCORE 70042.405
AT ITER 1195 NEW BEST:: SOT 164461 SOS 97419 HAS SOPS 97419 HAS SOUS 69934 HAS SOUPS 69934 WITH SCORE 70031.419
AT ITER 1205 NEW BEST:: SOT 164457 SOS 97413 HAS SOPS 97413 HAS SOUS 69929 HAS SOUPS 69929 WITH SCORE 70026.413
AT ITER 1218 NEW BEST:: SOT 164414 SOS 97284 HAS SOPS 97284 HAS SOUS 69866 HAS SOUPS 69866 WITH SCORE 69963.284
AT ITER 1226 NEW BEST:: SOT 164326 SOS 97196 HAS SOPS 97196 HAS SOUS 69778 HAS SOUPS 69778 WITH SCORE 69875.196
AT ITER 1233 NEW BEST:: SOT 164296 SOS 97105 HAS SOPS 97105 HAS SOUS 69687 HAS SOUPS 69687 WITH SCORE 69784.105
AT ITER 1234 NEW BEST:: SOT 164296 SOS 97067 HAS SOPS 97067 HAS SOUS 69653 HAS SOUPS 69653 WITH SCORE 69750.067
AT ITER 1238 NEW BEST:: SOT 163773 SOS 96544 HAS SOPS 96544 HAS SOUS 69130 HAS SOUPS 69130 WITH SCORE 69226.544
AT ITER 1239 NEW BEST:: SOT 163688 SOS 96438 HAS SOPS 96438 HAS SOUS 68952 HAS SOUPS 68952 WITH SCORE 69048.438
AT ITER 1246 NEW BEST:: SOT 163702 SOS 95504 HAS SOPS 95504 HAS SOUS 68620 HAS SOUPS 68620 WITH SCORE 68715.504
AT ITER 1252 NEW BEST:: SOT 163638 SOS 95440 HAS SOPS 95440 HAS SOUS 68548 HAS SOUPS 68548 WITH SCORE 68643.44
AT ITER 1253 NEW BEST:: SOT 163591 SOS 95393 HAS SOPS 95393 HAS SOUS 68501 HAS SOUPS 68501 WITH SCORE 68596.393
AT ITER 1254 NEW BEST:: SOT 163595 SOS 95397 HAS SOPS 95397 HAS SOUS 68497 HAS SOUPS 68497 WITH SCORE 68592.397
AT ITER 1260 NEW BEST:: SOT 163480 SOS 95282 HAS SOPS 95282 HAS SOUS 68397 HAS SOUPS 68397 WITH SCORE 68492.282
AT ITER 1261 NEW BEST:: SOT 163480 SOS 95302 HAS SOPS 95302 HAS SOUS 68377 HAS SOUPS 68377 WITH SCORE 68472.302
AT ITER 1284 NEW BEST:: SOT 163379 SOS 95180 HAS SOPS 95180 HAS SOUS 68252 HAS SOUPS 68252 WITH SCORE 68347.18
AT ITER 1289 NEW BEST:: SOT 163349 SOS 95150 HAS SOPS 95150 HAS SOUS 68222 HAS SOUPS 68222 WITH SCORE 68317.15
AT ITER 1290 NEW BEST:: SOT 163375 SOS 94968 HAS SOPS 94968 HAS SOUS 68156 HAS SOUPS 68156 WITH SCORE 68250.968
AT ITER 1291 NEW BEST:: SOT 163375 SOS 94820 HAS SOPS 94820 HAS SOUS 68082 HAS SOUPS 68082 WITH SCORE 68176.82
AT ITER 1298 NEW BEST:: SOT 163375 SOS 94731 HAS SOPS 94731 HAS SOUS 68065 HAS SOUPS 68065 WITH SCORE 68159.731
AT ITER 1300 NEW BEST:: SOT 163381 SOS 94634 HAS SOPS 94634 HAS SOUS 68021 HAS SOUPS 68021 WITH SCORE 68115.634
AT ITER 1301 NEW BEST:: SOT 163381 SOS 94630 HAS SOPS 94630 HAS SOUS 68021 HAS SOUPS 68021 WITH SCORE 68115.63
AT ITER 1306 NEW BEST:: SOT 163243 SOS 94288 HAS SOPS 94288 HAS SOUS 67937 HAS SOUPS 67937 WITH SCORE 68031.288
AT ITER 1307 NEW BEST:: SOT 163192 SOS 94191 HAS SOPS 94191 HAS SOUS 67818 HAS SOUPS 67818 WITH SCORE 67912.191
AT ITER 1318 NEW BEST:: SOT 162828 SOS 93896 HAS SOPS 93896 HAS SOUS 67581 HAS SOUPS 67581 WITH SCORE 67674.896
AT ITER 1320 NEW BEST:: SOT 162706 SOS 93754 HAS SOPS 93754 HAS SOUS 67409 HAS SOUPS 67409 WITH SCORE 67502.754
AT ITER 1327 NEW BEST:: SOT 162670 SOS 93251 HAS SOPS 93251 HAS SOUS 67222 HAS SOUPS 67222 WITH SCORE 67315.251
AT ITER 1328 NEW BEST:: SOT 162638 SOS 93219 HAS SOPS 93219 HAS SOUS 67183 HAS SOUPS 67183 WITH SCORE 67276.219
AT ITER 1333 NEW BEST:: SOT 162638 SOS 93079 HAS SOPS 93079 HAS SOUS 67043 HAS SOUPS 67043 WITH SCORE 67136.079
AT ITER 1335 NEW BEST:: SOT 162574 SOS 93004 HAS SOPS 93004 HAS SOUS 66968 HAS SOUPS 66968 WITH SCORE 67061.004
AT ITER 1336 NEW BEST:: SOT 162457 SOS 92837 HAS SOPS 92837 HAS SOUS 66801 HAS SOUPS 66801 WITH SCORE 66893.837
AT ITER 1342 NEW BEST:: SOT 162442 SOS 92807 HAS SOPS 92807 HAS SOUS 66767 HAS SOUPS 66767 WITH SCORE 66859.807
AT ITER 1351 NEW BEST:: SOT 162285 SOS 92350 HAS SOPS 92350 HAS SOUS 66359 HAS SOUPS 66359 WITH SCORE 66451.35
AT ITER 1359 NEW BEST:: SOT 162285 SOS 92314 HAS SOPS 92314 HAS SOUS 66353 HAS SOUPS 66353 WITH SCORE 66445.314
AT ITER 1363 NEW BEST:: SOT 162284 SOS 92296 HAS SOPS 92296 HAS SOUS 66335 HAS SOUPS 66335 WITH SCORE 66427.296
AT ITER 1364 NEW BEST:: SOT 162200 SOS 92206 HAS SOPS 92206 HAS SOUS 66018 HAS SOUPS 66018 WITH SCORE 66110.206
AT ITER 1370 NEW BEST:: SOT 162146 SOS 92126 HAS SOPS 92126 HAS SOUS 65938 HAS SOUPS 65938 WITH SCORE 66030.126
AT ITER 1373 NEW BEST:: SOT 162146 SOS 92195 HAS SOPS 92195 HAS SOUS 65922 HAS SOUPS 65922 WITH SCORE 66014.195
AT ITER 1377 NEW BEST:: SOT 162146 SOS 92233 HAS SOPS 92233 HAS SOUS 65885 HAS SOUPS 65885 WITH SCORE 65977.233
AT ITER 1381 NEW BEST:: SOT 162106 SOS 92197 HAS SOPS 92197 HAS SOUS 65861 HAS SOUPS 65861 WITH SCORE 65953.197
AT ITER 1382 NEW BEST:: SOT 162155 SOS 92159 HAS SOPS 92159 HAS SOUS 65847 HAS SOUPS 65847 WITH SCORE 65939.159
AT ITER 1389 NEW BEST:: SOT 161983 SOS 91786 HAS SOPS 91786 HAS SOUS 65544 HAS SOUPS 65544 WITH SCORE 65635.786
AT ITER 1390 NEW BEST:: SOT 161983 SOS 91813 HAS SOPS 91813 HAS SOUS 65502 HAS SOUPS 65502 WITH SCORE 65593.813
AT ITER 1394 NEW BEST:: SOT 162186 SOS 92080 HAS SOPS 92080 HAS SOUS 65465 HAS SOUPS 65465 WITH SCORE 65557.08
AT ITER 1407 NEW BEST:: SOT 162170 SOS 92064 HAS SOPS 92064 HAS SOUS 65449 HAS SOUPS 65449 WITH SCORE 65541.064
AT ITER 1413 NEW BEST:: SOT 162244 SOS 92117 HAS SOPS 92117 HAS SOUS 65281 HAS SOUPS 65281 WITH SCORE 65373.117
AT ITER 1419 NEW BEST:: SOT 161941 SOS 91696 HAS SOPS 91696 HAS SOUS 64974 HAS SOUPS 64974 WITH SCORE 65065.696
AT ITER 1430 NEW BEST:: SOT 161941 SOS 91372 HAS SOPS 91372 HAS SOUS 64779 HAS SOUPS 64779 WITH SCORE 64870.372
AT ITER 1431 NEW BEST:: SOT 161757 SOS 91084 HAS SOPS 91084 HAS SOUS 64569 HAS SOUPS 64569 WITH SCORE 64660.084
AT ITER 1433 NEW BEST:: SOT 161751 SOS 91082 HAS SOPS 91082 HAS SOUS 64550 HAS SOUPS 64550 WITH SCORE 64641.082
AT ITER 1436 NEW BEST:: SOT 161751 SOS 91082 HAS SOPS 91082 HAS SOUS 64535 HAS SOUPS 64535 WITH SCORE 64626.082
AT ITER 1438 NEW BEST:: SOT 161757 SOS 91080 HAS SOPS 91080 HAS SOUS 64456 HAS SOUPS 64456 WITH SCORE 64547.08
AT ITER 1455 NEW BEST:: SOT 161637 SOS 90932 HAS SOPS 90932 HAS SOUS 64315 HAS SOUPS 64315 WITH SCORE 64405.932
AT ITER 1467 NEW BEST:: SOT 161577 SOS 90872 HAS SOPS 90872 HAS SOUS 64295 HAS SOUPS 64295 WITH SCORE 64385.872
AT ITER 1479 NEW BEST:: SOT 161598 SOS 90841 HAS SOPS 90841 HAS SOUS 64278 HAS SOUPS 64278 WITH SCORE 64368.841
AT ITER 1485 NEW BEST:: SOT 161591 SOS 90820 HAS SOPS 90820 HAS SOUS 64264 HAS SOUPS 64264 WITH SCORE 64354.82
AT ITER 1497 NEW BEST:: SOT 161578 SOS 91001 HAS SOPS 91001 HAS SOUS 64229 HAS SOUPS 64229 WITH SCORE 64320.001
AT ITER 1498 NEW BEST:: SOT 161578 SOS 90991 HAS SOPS 90991 HAS SOUS 64219 HAS SOUPS 64219 WITH SCORE 64309.991
AT ITER 1504 NEW BEST:: SOT 161550 SOS 90897 HAS SOPS 90897 HAS SOUS 64156 HAS SOUPS 64156 WITH SCORE 64246.897
AT ITER 1522 NEW BEST:: SOT 161485 SOS 90832 HAS SOPS 90832 HAS SOUS 64091 HAS SOUPS 64091 WITH SCORE 64181.832
AT ITER 1529 NEW BEST:: SOT 161465 SOS 90802 HAS SOPS 90802 HAS SOUS 64061 HAS SOUPS 64061 WITH SCORE 64151.802
AT ITER 1530 NEW BEST:: SOT 161459 SOS 90760 HAS SOPS 90760 HAS SOUS 64031 HAS SOUPS 64031 WITH SCORE 64121.76
AT ITER 1531 NEW BEST:: SOT 161337 SOS 90544 HAS SOPS 90544 HAS SOUS 63749 HAS SOUPS 63749 WITH SCORE 63839.544
AT ITER 1540 NEW BEST:: SOT 161327 SOS 90552 HAS SOPS 90552 HAS SOUS 63748 HAS SOUPS 63748 WITH SCORE 63838.552
AT ITER 1553 NEW BEST:: SOT 161269 SOS 90344 HAS SOPS 90344 HAS SOUS 63602 HAS SOUPS 63602 WITH SCORE 63692.344
AT ITER 1556 NEW BEST:: SOT 161219 SOS 90299 HAS SOPS 90299 HAS SOUS 63484 HAS SOUPS 63484 WITH SCORE 63574.299
AT ITER 1562 NEW BEST:: SOT 160941 SOS 89895 HAS SOPS 89895 HAS SOUS 63080 HAS SOUPS 63080 WITH SCORE 63169.895
AT ITER 1593 NEW BEST:: SOT 160939 SOS 89873 HAS SOPS 89873 HAS SOUS 63077 HAS SOUPS 63077 WITH SCORE 63166.873
AT ITER 1602 NEW BEST:: SOT 160939 SOS 89816 HAS SOPS 89816 HAS SOUS 63071 HAS SOUPS 63071 WITH SCORE 63160.816
AT ITER 1603 NEW BEST:: SOT 160939 SOS 89776 HAS SOPS 89776 HAS SOUS 63063 HAS SOUPS 63063 WITH SCORE 63152.776
AT ITER 1616 NEW BEST:: SOT 160939 SOS 89795 HAS SOPS 89795 HAS SOUS 62988 HAS SOUPS 62988 WITH SCORE 63077.795
AT ITER 1621 NEW BEST:: SOT 160779 SOS 89485 HAS SOPS 89485 HAS SOUS 62788 HAS SOUPS 62788 WITH SCORE 62877.485
AT ITER 1627 NEW BEST:: SOT 160734 SOS 89440 HAS SOPS 89440 HAS SOUS 62743 HAS SOUPS 62743 WITH SCORE 62832.44
AT ITER 1633 NEW BEST:: SOT 160710 SOS 89392 HAS SOPS 89392 HAS SOUS 62695 HAS SOUPS 62695 WITH SCORE 62784.392
AT ITER 1641 NEW BEST:: SOT 160486 SOS 88319 HAS SOPS 88319 HAS SOUS 62337 HAS SOUPS 62337 WITH SCORE 62425.319
AT ITER 1654 NEW BEST:: SOT 160521 SOS 88204 HAS SOPS 88204 HAS SOUS 62316 HAS SOUPS 62316 WITH SCORE 62404.204
AT ITER 1661 NEW BEST:: SOT 160495 SOS 88158 HAS SOPS 88158 HAS SOUS 62173 HAS SOUPS 62173 WITH SCORE 62261.158
AT ITER 1670 NEW BEST:: SOT 160454 SOS 88117 HAS SOPS 88117 HAS SOUS 62098 HAS SOUPS 62098 WITH SCORE 62186.117
AT ITER 1682 NEW BEST:: SOT 160077 SOS 87312 HAS SOPS 87312 HAS SOUS 61655 HAS SOUPS 61655 WITH SCORE 61742.312
AT ITER 1702 NEW BEST:: SOT 159876 SOS 87051 HAS SOPS 87051 HAS SOUS 61394 HAS SOUPS 61394 WITH SCORE 61481.051
AT ITER 1711 NEW BEST:: SOT 159849 SOS 86943 HAS SOPS 86943 HAS SOUS 61340 HAS SOUPS 61340 WITH SCORE 61426.943
AT ITER 1732 NEW BEST:: SOT 159818 SOS 86801 HAS SOPS 86801 HAS SOUS 61039 HAS SOUPS 61039 WITH SCORE 61125.801
AT ITER 1736 NEW BEST:: SOT 159769 SOS 86851 HAS SOPS 86851 HAS SOUS 61023 HAS SOUPS 61023 WITH SCORE 61109.851
AT ITER 1738 NEW BEST:: SOT 159784 SOS 86575 HAS SOPS 86575 HAS SOUS 60853 HAS SOUPS 60853 WITH SCORE 60939.575
AT ITER 1742 NEW BEST:: SOT 159674 SOS 86414 HAS SOPS 86414 HAS SOUS 60458 HAS SOUPS 60458 WITH SCORE 60544.414
AT ITER 1745 NEW BEST:: SOT 159670 SOS 86023 HAS SOPS 86023 HAS SOUS 60293 HAS SOUPS 60293 WITH SCORE 60379.023
AT ITER 1749 NEW BEST:: SOT 159666 SOS 86031 HAS SOPS 86031 HAS SOUS 60261 HAS SOUPS 60261 WITH SCORE 60347.031
AT ITER 1754 NEW BEST:: SOT 159669 SOS 86014 HAS SOPS 86014 HAS SOUS 60216 HAS SOUPS 60216 WITH SCORE 60302.014
AT ITER 1761 NEW BEST:: SOT 159656 SOS 86001 HAS SOPS 86001 HAS SOUS 60216 HAS SOUPS 60216 WITH SCORE 60302.001
AT ITER 1765 NEW BEST:: SOT 159596 SOS 85941 HAS SOPS 85941 HAS SOUS 60156 HAS SOUPS 60156 WITH SCORE 60241.941
AT ITER 1769 NEW BEST:: SOT 159596 SOS 85936 HAS SOPS 85936 HAS SOUS 60155 HAS SOUPS 60155 WITH SCORE 60240.936
AT ITER 1781 NEW BEST:: SOT 159590 SOS 85927 HAS SOPS 85927 HAS SOUS 60146 HAS SOUPS 60146 WITH SCORE 60231.927
AT ITER 1787 NEW BEST:: SOT 159397 SOS 85777 HAS SOPS 85777 HAS SOUS 60052 HAS SOUPS 60052 WITH SCORE 60137.777
AT ITER 1800 NEW BEST:: SOT 159344 SOS 85750 HAS SOPS 85750 HAS SOUS 60019 HAS SOUPS 60019 WITH SCORE 60104.75
AT ITER 1804 NEW BEST:: SOT 159344 SOS 85750 HAS SOPS 85750 HAS SOUS 60015 HAS SOUPS 60015 WITH SCORE 60100.75
AT ITER 1809 NEW BEST:: SOT 159324 SOS 85710 HAS SOPS 85710 HAS SOUS 59945 HAS SOUPS 59945 WITH SCORE 60030.71
AT ITER 1839 NEW BEST:: SOT 159322 SOS 85702 HAS SOPS 85702 HAS SOUS 59937 HAS SOUPS 59937 WITH SCORE 60022.702
AT ITER 1841 NEW BEST:: SOT 159332 SOS 85849 HAS SOPS 85849 HAS SOUS 59828 HAS SOUPS 59828 WITH SCORE 59913.849
AT ITER 1858 NEW BEST:: SOT 159423 SOS 85724 HAS SOPS 85724 HAS SOUS 59595 HAS SOUPS 59595 WITH SCORE 59680.724
AT ITER 1860 NEW BEST:: SOT 159322 SOS 85656 HAS SOPS 85656 HAS SOUS 59393 HAS SOUPS 59393 WITH SCORE 59478.656
AT ITER 1862 NEW BEST:: SOT 159334 SOS 85663 HAS SOPS 85663 HAS SOUS 59384 HAS SOUPS 59384 WITH SCORE 59469.663
AT ITER 1881 NEW BEST:: SOT 159436 SOS 85500 HAS SOPS 85500 HAS SOUS 59368 HAS SOUPS 59368 WITH SCORE 59453.5
AT ITER 1882 NEW BEST:: SOT 159366 SOS 85136 HAS SOPS 85136 HAS SOUS 59337 HAS SOUPS 59337 WITH SCORE 59422.136
AT ITER 1883 NEW BEST:: SOT 159341 SOS 85161 HAS SOPS 85161 HAS SOUS 59262 HAS SOUPS 59262 WITH SCORE 59347.161
AT ITER 1890 NEW BEST:: SOT 159341 SOS 85183 HAS SOPS 85183 HAS SOUS 59240 HAS SOUPS 59240 WITH SCORE 59325.183
AT ITER 1894 NEW BEST:: SOT 159207 SOS 85011 HAS SOPS 85011 HAS SOUS 59035 HAS SOUPS 59035 WITH SCORE 59120.011
AT ITER 1895 NEW BEST:: SOT 159206 SOS 85003 HAS SOPS 85003 HAS SOUS 59000 HAS SOUPS 59000 WITH SCORE 59085.003
AT ITER 1920 NEW BEST:: SOT 159091 SOS 84666 HAS SOPS 84666 HAS SOUS 58789 HAS SOUPS 58789 WITH SCORE 58873.666
AT ITER 1937 NEW BEST:: SOT 159015 SOS 84527 HAS SOPS 84527 HAS SOUS 58698 HAS SOUPS 58698 WITH SCORE 58782.527
AT ITER 1938 NEW BEST:: SOT 159011 SOS 84481 HAS SOPS 84481 HAS SOUS 58688 HAS SOUPS 58688 WITH SCORE 58772.481
AT ITER 1941 NEW BEST:: SOT 158830 SOS 84422 HAS SOPS 84422 HAS SOUS 58564 HAS SOUPS 58564 WITH SCORE 58648.422
AT ITER 1944 NEW BEST:: SOT 158781 SOS 84333 HAS SOPS 84333 HAS SOUS 58470 HAS SOUPS 58470 WITH SCORE 58554.333
AT ITER 1947 NEW BEST:: SOT 158781 SOS 84230 HAS SOPS 84230 HAS SOUS 58450 HAS SOUPS 58450 WITH SCORE 58534.23
AT ITER 1953 NEW BEST:: SOT 158804 SOS 83993 HAS SOPS 83993 HAS SOUS 58343 HAS SOUPS 58343 WITH SCORE 58426.993
AT ITER 1958 NEW BEST:: SOT 158770 SOS 83961 HAS SOPS 83961 HAS SOUS 58300 HAS SOUPS 58300 WITH SCORE 58383.961
AT ITER 1965 NEW BEST:: SOT 158671 SOS 83829 HAS SOPS 83829 HAS SOUS 58168 HAS SOUPS 58168 WITH SCORE 58251.829
AT ITER 1973 NEW BEST:: SOT 158662 SOS 83829 HAS SOPS 83829 HAS SOUS 58159 HAS SOUPS 58159 WITH SCORE 58242.829
AT ITER 1984 NEW BEST:: SOT 158554 SOS 83650 HAS SOPS 83650 HAS SOUS 57971 HAS SOUPS 57971 WITH SCORE 58054.65
AT ITER 1998 NEW BEST:: SOT 158554 SOS 83614 HAS SOPS 83614 HAS SOUS 57923 HAS SOUPS 57923 WITH SCORE 58006.614
AT ITER 2008 NEW BEST:: SOT 158625 SOS 83404 HAS SOPS 83404 HAS SOUS 57894 HAS SOUPS 57894 WITH SCORE 57977.404
AT ITER 2010 NEW BEST:: SOT 158539 SOS 83286 HAS SOPS 83286 HAS SOUS 57792 HAS SOUPS 57792 WITH SCORE 57875.286
AT ITER 2023 NEW BEST:: SOT 158739 SOS 83458 HAS SOPS 83458 HAS SOUS 57761 HAS SOUPS 57761 WITH SCORE 57844.458
AT ITER 2028 NEW BEST:: SOT 158619 SOS 83325 HAS SOPS 83325 HAS SOUS 57629 HAS SOUPS 57629 WITH SCORE 57712.325
AT ITER 2030 NEW BEST:: SOT 158606 SOS 83312 HAS SOPS 83312 HAS SOUS 57604 HAS SOUPS 57604 WITH SCORE 57687.312
AT ITER 2034 NEW BEST:: SOT 158557 SOS 83146 HAS SOPS 83146 HAS SOUS 57385 HAS SOUPS 57385 WITH SCORE 57468.146
AT ITER 2039 NEW BEST:: SOT 158557 SOS 83143 HAS SOPS 83143 HAS SOUS 57382 HAS SOUPS 57382 WITH SCORE 57465.143
AT ITER 2050 NEW BEST:: SOT 158549 SOS 83133 HAS SOPS 83133 HAS SOUS 57372 HAS SOUPS 57372 WITH SCORE 57455.133
AT ITER 2062 NEW BEST:: SOT 158546 SOS 83121 HAS SOPS 83121 HAS SOUS 57372 HAS SOUPS 57372 WITH SCORE 57455.121
AT ITER 2063 NEW BEST:: SOT 158546 SOS 83122 HAS SOPS 83122 HAS SOUS 57371 HAS SOUPS 57371 WITH SCORE 57454.122
AT ITER 2077 NEW BEST:: SOT 158509 SOS 83070 HAS SOPS 83070 HAS SOUS 57319 HAS SOUPS 57319 WITH SCORE 57402.07
AT ITER 2082 NEW BEST:: SOT 158482 SOS 83568 HAS SOPS 83568 HAS SOUS 57281 HAS SOUPS 57281 WITH SCORE 57364.568
AT ITER 2086 NEW BEST:: SOT 158482 SOS 83581 HAS SOPS 83581 HAS SOUS 57242 HAS SOUPS 57242 WITH SCORE 57325.581
AT ITER 2101 NEW BEST:: SOT 158490 SOS 83577 HAS SOPS 83577 HAS SOUS 57238 HAS SOUPS 57238 WITH SCORE 57321.577
AT ITER 2102 NEW BEST:: SOT 158490 SOS 83578 HAS SOPS 83578 HAS SOUS 57136 HAS SOUPS 57136 WITH SCORE 57219.578
AT ITER 2103 NEW BEST:: SOT 158493 SOS 83573 HAS SOPS 83573 HAS SOUS 57131 HAS SOUPS 57131 WITH SCORE 57214.573
AT ITER 2104 NEW BEST:: SOT 158493 SOS 83576 HAS SOPS 83576 HAS SOUS 57129 HAS SOUPS 57129 WITH SCORE 57212.576
AT ITER 2107 NEW BEST:: SOT 158493 SOS 83555 HAS SOPS 83555 HAS SOUS 57129 HAS SOUPS 57129 WITH SCORE 57212.555
AT ITER 2119 NEW BEST:: SOT 158381 SOS 83443 HAS SOPS 83443 HAS SOUS 57016 HAS SOUPS 57016 WITH SCORE 57099.443
AT ITER 2121 NEW BEST:: SOT 158299 SOS 83301 HAS SOPS 83301 HAS SOUS 56894 HAS SOUPS 56894 WITH SCORE 56977.301
AT ITER 2122 NEW BEST:: SOT 158258 SOS 83260 HAS SOPS 83260 HAS SOUS 56723 HAS SOUPS 56723 WITH SCORE 56806.26
AT ITER 2127 NEW BEST:: SOT 158258 SOS 83324 HAS SOPS 83324 HAS SOUS 56713 HAS SOUPS 56713 WITH SCORE 56796.324
AT ITER 2142 NEW BEST:: SOT 158204 SOS 83270 HAS SOPS 83270 HAS SOUS 56677 HAS SOUPS 56677 WITH SCORE 56760.27
AT ITER 2177 NEW BEST:: SOT 158143 SOS 83186 HAS SOPS 83186 HAS SOUS 56542 HAS SOUPS 56542 WITH SCORE 56625.186
AT ITER 2184 NEW BEST:: SOT 158139 SOS 83100 HAS SOPS 83100 HAS SOUS 56324 HAS SOUPS 56324 WITH SCORE 56407.1
AT ITER 2195 NEW BEST:: SOT 157898 SOS 82858 HAS SOPS 82858 HAS SOUS 56077 HAS SOUPS 56077 WITH SCORE 56159.858
AT ITER 2210 NEW BEST:: SOT 157853 SOS 82838 HAS SOPS 82838 HAS SOUS 56066 HAS SOUPS 56066 WITH SCORE 56148.838
AT ITER 2219 NEW BEST:: SOT 157695 SOS 82638 HAS SOPS 82638 HAS SOUS 55693 HAS SOUPS 55693 WITH SCORE 55775.638
AT ITER 2222 NEW BEST:: SOT 157634 SOS 82568 HAS SOPS 82568 HAS SOUS 55635 HAS SOUPS 55635 WITH SCORE 55717.568
AT ITER 2227 NEW BEST:: SOT 157711 SOS 82396 HAS SOPS 82396 HAS SOUS 55583 HAS SOUPS 55583 WITH SCORE 55665.396
AT ITER 2230 NEW BEST:: SOT 157719 SOS 82784 HAS SOPS 82784 HAS SOUS 55530 HAS SOUPS 55530 WITH SCORE 55612.784
AT ITER 2247 NEW BEST:: SOT 157699 SOS 82764 HAS SOPS 82764 HAS SOUS 55510 HAS SOUPS 55510 WITH SCORE 55592.764
AT ITER 2251 NEW BEST:: SOT 157747 SOS 82748 HAS SOPS 82748 HAS SOUS 55506 HAS SOUPS 55506 WITH SCORE 55588.748
AT ITER 2267 NEW BEST:: SOT 157717 SOS 82730 HAS SOPS 82730 HAS SOUS 55475 HAS SOUPS 55475 WITH SCORE 55557.73
AT ITER 2269 NEW BEST:: SOT 157679 SOS 82683 HAS SOPS 82683 HAS SOUS 55428 HAS SOUPS 55428 WITH SCORE 55510.683
AT ITER 2273 NEW BEST:: SOT 157651 SOS 82627 HAS SOPS 82627 HAS SOUS 55379 HAS SOUPS 55379 WITH SCORE 55461.627
AT ITER 2279 NEW BEST:: SOT 157773 SOS 82696 HAS SOPS 82696 HAS SOUS 55306 HAS SOUPS 55306 WITH SCORE 55388.696
AT ITER 2284 NEW BEST:: SOT 157773 SOS 82690 HAS SOPS 82690 HAS SOUS 55304 HAS SOUPS 55304 WITH SCORE 55386.69
AT ITER 2288 NEW BEST:: SOT 157732 SOS 82649 HAS SOPS 82649 HAS SOUS 55263 HAS SOUPS 55263 WITH SCORE 55345.649
AT ITER 2310 NEW BEST:: SOT 157623 SOS 82404 HAS SOPS 82404 HAS SOUS 55108 HAS SOUPS 55108 WITH SCORE 55190.404
AT ITER 2320 NEW BEST:: SOT 157686 SOS 82429 HAS SOPS 82429 HAS SOUS 55059 HAS SOUPS 55059 WITH SCORE 55141.429
AT ITER 2325 NEW BEST:: SOT 157656 SOS 82399 HAS SOPS 82399 HAS SOUS 55029 HAS SOUPS 55029 WITH SCORE 55111.399
AT ITER 2327 NEW BEST:: SOT 157656 SOS 82300 HAS SOPS 82300 HAS SOUS 55026 HAS SOUPS 55026 WITH SCORE 55108.3
AT ITER 2348 NEW BEST:: SOT 157730 SOS 82329 HAS SOPS 82329 HAS SOUS 55016 HAS SOUPS 55016 WITH SCORE 55098.329
AT ITER 2354 NEW BEST:: SOT 157687 SOS 82286 HAS SOPS 82286 HAS SOUS 55012 HAS SOUPS 55012 WITH SCORE 55094.286
AT ITER 2375 NEW BEST:: SOT 157642 SOS 82241 HAS SOPS 82241 HAS SOUS 54967 HAS SOUPS 54967 WITH SCORE 55049.241
AT ITER 2379 NEW BEST:: SOT 157699 SOS 82127 HAS SOPS 82127 HAS SOUS 54967 HAS SOUPS 54967 WITH SCORE 55049.127
AT ITER 2391 NEW BEST:: SOT 157651 SOS 82057 HAS SOPS 82057 HAS SOUS 54670 HAS SOUPS 54670 WITH SCORE 54752.057
AT ITER 2398 NEW BEST:: SOT 157651 SOS 82011 HAS SOPS 82011 HAS SOUS 54647 HAS SOUPS 54647 WITH SCORE 54729.011
AT ITER 2409 NEW BEST:: SOT 157633 SOS 81801 HAS SOPS 81801 HAS SOUS 54626 HAS SOUPS 54626 WITH SCORE 54707.801
AT ITER 2414 NEW BEST:: SOT 157649 SOS 81799 HAS SOPS 81799 HAS SOUS 54600 HAS SOUPS 54600 WITH SCORE 54681.799
AT ITER 2419 NEW BEST:: SOT 157619 SOS 81769 HAS SOPS 81769 HAS SOUS 54524 HAS SOUPS 54524 WITH SCORE 54605.769
AT ITER 2427 NEW BEST:: SOT 157556 SOS 80983 HAS SOPS 80983 HAS SOUS 54487 HAS SOUPS 54487 WITH SCORE 54567.983
AT ITER 2428 NEW BEST:: SOT 157544 SOS 80971 HAS SOPS 80971 HAS SOUS 54475 HAS SOUPS 54475 WITH SCORE 54555.971
AT ITER 2431 NEW BEST:: SOT 157538 SOS 80941 HAS SOPS 80941 HAS SOUS 54451 HAS SOUPS 54451 WITH SCORE 54531.941
AT ITER 2432 NEW BEST:: SOT 157560 SOS 80885 HAS SOPS 80885 HAS SOUS 54399 HAS SOUPS 54399 WITH SCORE 54479.885
AT ITER 2437 NEW BEST:: SOT 157602 SOS 80843 HAS SOPS 80843 HAS SOUS 54357 HAS SOUPS 54357 WITH SCORE 54437.843
AT ITER 2453 NEW BEST:: SOT 157600 SOS 80610 HAS SOPS 80610 HAS SOUS 54282 HAS SOUPS 54282 WITH SCORE 54362.61
AT ITER 2477 NEW BEST:: SOT 157600 SOS 80545 HAS SOPS 80545 HAS SOUS 54256 HAS SOUPS 54256 WITH SCORE 54336.545
AT ITER 2480 NEW BEST:: SOT 157598 SOS 80537 HAS SOPS 80537 HAS SOUS 54248 HAS SOUPS 54248 WITH SCORE 54328.537
AT ITER 2492 NEW BEST:: SOT 157551 SOS 80489 HAS SOPS 80489 HAS SOUS 54177 HAS SOUPS 54177 WITH SCORE 54257.489
AT ITER 2506 NEW BEST:: SOT 157549 SOS 80489 HAS SOPS 80489 HAS SOUS 54111 HAS SOUPS 54111 WITH SCORE 54191.489
AT ITER 2512 NEW BEST:: SOT 157549 SOS 80367 HAS SOPS 80367 HAS SOUS 54074 HAS SOUPS 54074 WITH SCORE 54154.367
AT ITER 2519 NEW BEST:: SOT 157549 SOS 80367 HAS SOPS 80367 HAS SOUS 54008 HAS SOUPS 54008 WITH SCORE 54088.367
AT ITER 2523 NEW BEST:: SOT 157541 SOS 80329 HAS SOPS 80329 HAS SOUS 53991 HAS SOUPS 53991 WITH SCORE 54071.329
AT ITER 2526 NEW BEST:: SOT 157469 SOS 80161 HAS SOPS 80161 HAS SOUS 53847 HAS SOUPS 53847 WITH SCORE 53927.161
AT ITER 2532 NEW BEST:: SOT 157590 SOS 80559 HAS SOPS 80559 HAS SOUS 53822 HAS SOUPS 53822 WITH SCORE 53902.559
AT ITER 2545 NEW BEST:: SOT 157589 SOS 80489 HAS SOPS 80489 HAS SOUS 53804 HAS SOUPS 53804 WITH SCORE 53884.489
AT ITER 2548 NEW BEST:: SOT 157574 SOS 80445 HAS SOPS 80445 HAS SOUS 53781 HAS SOUPS 53781 WITH SCORE 53861.445
AT ITER 2558 NEW BEST:: SOT 157588 SOS 80503 HAS SOPS 80503 HAS SOUS 53758 HAS SOUPS 53758 WITH SCORE 53838.503
AT ITER 2583 NEW BEST:: SOT 157585 SOS 80491 HAS SOPS 80491 HAS SOUS 53749 HAS SOUPS 53749 WITH SCORE 53829.491
AT ITER 2587 NEW BEST:: SOT 157596 SOS 80502 HAS SOPS 80502 HAS SOUS 53732 HAS SOUPS 53732 WITH SCORE 53812.502
AT ITER 2589 NEW BEST:: SOT 157551 SOS 80290 HAS SOPS 80290 HAS SOUS 53414 HAS SOUPS 53414 WITH SCORE 53494.29
AT ITER 2592 NEW BEST:: SOT 157533 SOS 80275 HAS SOPS 80275 HAS SOUS 53404 HAS SOUPS 53404 WITH SCORE 53484.275
AT ITER 2609 NEW BEST:: SOT 157479 SOS 80209 HAS SOPS 80209 HAS SOUS 53316 HAS SOUPS 53316 WITH SCORE 53396.209
AT ITER 2611 NEW BEST:: SOT 157479 SOS 80186 HAS SOPS 80186 HAS SOUS 53270 HAS SOUPS 53270 WITH SCORE 53350.186
AT ITER 2645 NEW BEST:: SOT 157361 SOS 80051 HAS SOPS 80051 HAS SOUS 53131 HAS SOUPS 53131 WITH SCORE 53211.051
AT ITER 2647 NEW BEST:: SOT 156492 SOS 78457 HAS SOPS 78457 HAS SOUS 51941 HAS SOUPS 51941 WITH SCORE 52019.457
AT ITER 2668 NEW BEST:: SOT 156492 SOS 78611 HAS SOPS 78611 HAS SOUS 51868 HAS SOUPS 51868 WITH SCORE 51946.611
AT ITER 2688 NEW BEST:: SOT 156468 SOS 78573 HAS SOPS 78573 HAS SOUS 51830 HAS SOUPS 51830 WITH SCORE 51908.573
AT ITER 2699 NEW BEST:: SOT 156533 SOS 78595 HAS SOPS 78595 HAS SOUS 51809 HAS SOUPS 51809 WITH SCORE 51887.595
AT ITER 2713 NEW BEST:: SOT 156533 SOS 78592 HAS SOPS 78592 HAS SOUS 51809 HAS SOUPS 51809 WITH SCORE 51887.592
AT ITER 2727 NEW BEST:: SOT 156483 SOS 78249 HAS SOPS 78249 HAS SOUS 51695 HAS SOUPS 51695 WITH SCORE 51773.249
AT ITER 2735 NEW BEST:: SOT 156483 SOS 78157 HAS SOPS 78157 HAS SOUS 51669 HAS SOUPS 51669 WITH SCORE 51747.157
AT ITER 2740 NEW BEST:: SOT 156517 SOS 77953 HAS SOPS 77953 HAS SOUS 51538 HAS SOUPS 51538 WITH SCORE 51615.953
AT ITER 2745 NEW BEST:: SOT 156410 SOS 77849 HAS SOPS 77849 HAS SOUS 51433 HAS SOUPS 51433 WITH SCORE 51510.849
AT ITER 2753 NEW BEST:: SOT 156410 SOS 77653 HAS SOPS 77653 HAS SOUS 51433 HAS SOUPS 51433 WITH SCORE 51510.653
AT ITER 2762 NEW BEST:: SOT 156392 SOS 77644 HAS SOPS 77644 HAS SOUS 51415 HAS SOUPS 51415 WITH SCORE 51492.644
AT ITER 2775 NEW BEST:: SOT 156310 SOS 77496 HAS SOPS 77496 HAS SOUS 51300 HAS SOUPS 51300 WITH SCORE 51377.496
AT ITER 2776 NEW BEST:: SOT 156308 SOS 77484 HAS SOPS 77484 HAS SOUS 51264 HAS SOUPS 51264 WITH SCORE 51341.484
AT ITER 2793 NEW BEST:: SOT 156308 SOS 77506 HAS SOPS 77506 HAS SOUS 51251 HAS SOUPS 51251 WITH SCORE 51328.506
AT ITER 2796 NEW BEST:: SOT 156266 SOS 77461 HAS SOPS 77461 HAS SOUS 51206 HAS SOUPS 51206 WITH SCORE 51283.461
AT ITER 2797 NEW BEST:: SOT 156199 SOS 77394 HAS SOPS 77394 HAS SOUS 51106 HAS SOUPS 51106 WITH SCORE 51183.394
AT ITER 2801 NEW BEST:: SOT 156178 SOS 77373 HAS SOPS 77373 HAS SOUS 51085 HAS SOUPS 51085 WITH SCORE 51162.373
AT ITER 2813 NEW BEST:: SOT 156177 SOS 77371 HAS SOPS 77371 HAS SOUS 51083 HAS SOUPS 51083 WITH SCORE 51160.371
AT ITER 2824 NEW BEST:: SOT 156270 SOS 77450 HAS SOPS 77450 HAS SOUS 51079 HAS SOUPS 51079 WITH SCORE 51156.45
AT ITER 2837 NEW BEST:: SOT 156264 SOS 77463 HAS SOPS 77463 HAS SOUS 51076 HAS SOUPS 51076 WITH SCORE 51153.463
AT ITER 2852 NEW BEST:: SOT 156169 SOS 77472 HAS SOPS 77472 HAS SOUS 51043 HAS SOUPS 51043 WITH SCORE 51120.472
AT ITER 2858 NEW BEST:: SOT 156169 SOS 77382 HAS SOPS 77382 HAS SOUS 51007 HAS SOUPS 51007 WITH SCORE 51084.382
AT ITER 2871 NEW BEST:: SOT 156123 SOS 77126 HAS SOPS 77126 HAS SOUS 50926 HAS SOUPS 50926 WITH SCORE 51003.126
AT ITER 2887 NEW BEST:: SOT 156149 SOS 77143 HAS SOPS 77143 HAS SOUS 50876 HAS SOUPS 50876 WITH SCORE 50953.143
AT ITER 2913 NEW BEST:: SOT 156334 SOS 77206 HAS SOPS 77206 HAS SOUS 50855 HAS SOUPS 50855 WITH SCORE 50932.206
AT ITER 2923 NEW BEST:: SOT 156358 SOS 77303 HAS SOPS 77303 HAS SOUS 50845 HAS SOUPS 50845 WITH SCORE 50922.303
AT ITER 2927 NEW BEST:: SOT 156348 SOS 77278 HAS SOPS 77278 HAS SOUS 50825 HAS SOUPS 50825 WITH SCORE 50902.278
AT ITER 2941 NEW BEST:: SOT 156334 SOS 77194 HAS SOPS 77194 HAS SOUS 50783 HAS SOUPS 50783 WITH SCORE 50860.194
AT ITER 2960 NEW BEST:: SOT 156232 SOS 77057 HAS SOPS 77057 HAS SOUS 50569 HAS SOUPS 50569 WITH SCORE 50646.057
AT ITER 2974 NEW BEST:: SOT 156248 SOS 77035 HAS SOPS 77035 HAS SOUS 50547 HAS SOUPS 50547 WITH SCORE 50624.035
AT ITER 2986 NEW BEST:: SOT 156140 SOS 76927 HAS SOPS 76927 HAS SOUS 50439 HAS SOUPS 50439 WITH SCORE 50515.927
AT ITER 2990 NEW BEST:: SOT 155995 SOS 77190 HAS SOPS 77190 HAS SOUS 50306 HAS SOUPS 50306 WITH SCORE 50383.19
AT ITER 3004 NEW BEST:: SOT 155948 SOS 77125 HAS SOPS 77125 HAS SOUS 50273 HAS SOUPS 50273 WITH SCORE 50350.125
AT ITER 3028 NEW BEST:: SOT 155912 SOS 77089 HAS SOPS 77089 HAS SOUS 50237 HAS SOUPS 50237 WITH SCORE 50314.089
AT ITER 3038 NEW BEST:: SOT 155862 SOS 77039 HAS SOPS 77039 HAS SOUS 50162 HAS SOUPS 50162 WITH SCORE 50239.039
AT ITER 3067 NEW BEST:: SOT 155907 SOS 76962 HAS SOPS 76962 HAS SOUS 50131 HAS SOUPS 50131 WITH SCORE 50207.962
AT ITER 3070 NEW BEST:: SOT 155885 SOS 76907 HAS SOPS 76907 HAS SOUS 50109 HAS SOUPS 50109 WITH SCORE 50185.907
AT ITER 3088 NEW BEST:: SOT 155885 SOS 76953 HAS SOPS 76953 HAS SOUS 50061 HAS SOUPS 50061 WITH SCORE 50137.953
AT ITER 3109 NEW BEST:: SOT 155854 SOS 76936 HAS SOPS 76936 HAS SOUS 50004 HAS SOUPS 50004 WITH SCORE 50080.936
AT ITER 3113 NEW BEST:: SOT 155710 SOS 76431 HAS SOPS 76431 HAS SOUS 49657 HAS SOUPS 49657 WITH SCORE 49733.431
AT ITER 3116 NEW BEST:: SOT 155802 SOS 76480 HAS SOPS 76480 HAS SOUS 49649 HAS SOUPS 49649 WITH SCORE 49725.48
AT ITER 3122 NEW BEST:: SOT 155808 SOS 76492 HAS SOPS 76492 HAS SOUS 49628 HAS SOUPS 49628 WITH SCORE 49704.492
AT ITER 3128 NEW BEST:: SOT 155808 SOS 76554 HAS SOPS 76554 HAS SOUS 49599 HAS SOUPS 49599 WITH SCORE 49675.554
AT ITER 3140 NEW BEST:: SOT 155808 SOS 76489 HAS SOPS 76489 HAS SOUS 49580 HAS SOUPS 49580 WITH SCORE 49656.489
AT ITER 3147 NEW BEST:: SOT 155808 SOS 76438 HAS SOPS 76438 HAS SOUS 49546 HAS SOUPS 49546 WITH SCORE 49622.438
AT ITER 3159 NEW BEST:: SOT 155768 SOS 76547 HAS SOPS 76547 HAS SOUS 49454 HAS SOUPS 49454 WITH SCORE 49530.547
AT ITER 3190 NEW BEST:: SOT 155791 SOS 76576 HAS SOPS 76576 HAS SOUS 49433 HAS SOUPS 49433 WITH SCORE 49509.576
AT ITER 3194 NEW BEST:: SOT 155791 SOS 76546 HAS SOPS 76546 HAS SOUS 49433 HAS SOUPS 49433 WITH SCORE 49509.546
AT ITER 3202 NEW BEST:: SOT 155827 SOS 76474 HAS SOPS 76474 HAS SOUS 49408 HAS SOUPS 49408 WITH SCORE 49484.474
AT ITER 3223 NEW BEST:: SOT 155827 SOS 76470 HAS SOPS 76470 HAS SOUS 49406 HAS SOUPS 49406 WITH SCORE 49482.47
AT ITER 3236 NEW BEST:: SOT 155726 SOS 76450 HAS SOPS 76450 HAS SOUS 49345 HAS SOUPS 49345 WITH SCORE 49421.45
AT ITER 3237 NEW BEST:: SOT 155788 SOS 76662 HAS SOPS 76662 HAS SOUS 49320 HAS SOUPS 49320 WITH SCORE 49396.662
AT ITER 3247 NEW BEST:: SOT 155711 SOS 76464 HAS SOPS 76464 HAS SOUS 49240 HAS SOUPS 49240 WITH SCORE 49316.464
AT ITER 3255 NEW BEST:: SOT 155758 SOS 76546 HAS SOPS 76546 HAS SOUS 49114 HAS SOUPS 49114 WITH SCORE 49190.546
AT ITER 3261 NEW BEST:: SOT 155746 SOS 76294 HAS SOPS 76294 HAS SOUS 49009 HAS SOUPS 49009 WITH SCORE 49085.294
AT ITER 3269 NEW BEST:: SOT 155746 SOS 76298 HAS SOPS 76298 HAS SOUS 49005 HAS SOUPS 49005 WITH SCORE 49081.298
AT ITER 3271 NEW BEST:: SOT 155711 SOS 76230 HAS SOPS 76230 HAS SOUS 48954 HAS SOUPS 48954 WITH SCORE 49030.23
AT ITER 3274 NEW BEST:: SOT 155514 SOS 75550 HAS SOPS 75550 HAS SOUS 48462 HAS SOUPS 48462 WITH SCORE 48537.55
AT ITER 3277 NEW BEST:: SOT 155514 SOS 75661 HAS SOPS 75661 HAS SOUS 48453 HAS SOUPS 48453 WITH SCORE 48528.661
AT ITER 3284 NEW BEST:: SOT 155429 SOS 75135 HAS SOPS 75135 HAS SOUS 48451 HAS SOUPS 48451 WITH SCORE 48526.135
AT ITER 3294 NEW BEST:: SOT 155421 SOS 75118 HAS SOPS 75118 HAS SOUS 48436 HAS SOUPS 48436 WITH SCORE 48511.118
AT ITER 3300 NEW BEST:: SOT 155360 SOS 75092 HAS SOPS 75092 HAS SOUS 48361 HAS SOUPS 48361 WITH SCORE 48436.092
AT ITER 3301 NEW BEST:: SOT 155345 SOS 75052 HAS SOPS 75052 HAS SOUS 48341 HAS SOUPS 48341 WITH SCORE 48416.052
AT ITER 3303 NEW BEST:: SOT 155441 SOS 74798 HAS SOPS 74798 HAS SOUS 48169 HAS SOUPS 48169 WITH SCORE 48243.798
AT ITER 3306 NEW BEST:: SOT 155441 SOS 74766 HAS SOPS 74766 HAS SOUS 48154 HAS SOUPS 48154 WITH SCORE 48228.766
AT ITER 3315 NEW BEST:: SOT 155471 SOS 74724 HAS SOPS 74724 HAS SOUS 48131 HAS SOUPS 48131 WITH SCORE 48205.724
AT ITER 3321 NEW BEST:: SOT 155401 SOS 74902 HAS SOPS 74902 HAS SOUS 48102 HAS SOUPS 48102 WITH SCORE 48176.902
AT ITER 3324 NEW BEST:: SOT 155206 SOS 74707 HAS SOPS 74707 HAS SOUS 47907 HAS SOUPS 47907 WITH SCORE 47981.707
AT ITER 3341 NEW BEST:: SOT 155183 SOS 74720 HAS SOPS 74720 HAS SOUS 47889 HAS SOUPS 47889 WITH SCORE 47963.72
AT ITER 3344 NEW BEST:: SOT 155151 SOS 74688 HAS SOPS 74688 HAS SOUS 47889 HAS SOUPS 47889 WITH SCORE 47963.688
AT ITER 3354 NEW BEST:: SOT 155068 SOS 74485 HAS SOPS 74485 HAS SOUS 47732 HAS SOUPS 47732 WITH SCORE 47806.485
AT ITER 3361 NEW BEST:: SOT 155068 SOS 74525 HAS SOPS 74525 HAS SOUS 47568 HAS SOUPS 47568 WITH SCORE 47642.525
AT ITER 3397 NEW BEST:: SOT 155041 SOS 74509 HAS SOPS 74509 HAS SOUS 47567 HAS SOUPS 47567 WITH SCORE 47641.509
AT ITER 3398 NEW BEST:: SOT 154919 SOS 74397 HAS SOPS 74397 HAS SOUS 47423 HAS SOUPS 47423 WITH SCORE 47497.397
AT ITER 3402 NEW BEST:: SOT 154975 SOS 74317 HAS SOPS 74317 HAS SOUS 47411 HAS SOUPS 47411 WITH SCORE 47485.317
AT ITER 3420 NEW BEST:: SOT 154974 SOS 74316 HAS SOPS 74316 HAS SOUS 47410 HAS SOUPS 47410 WITH SCORE 47484.316
AT ITER 3457 NEW BEST:: SOT 154974 SOS 74268 HAS SOPS 74268 HAS SOUS 47324 HAS SOUPS 47324 WITH SCORE 47398.268
AT ITER 3520 NEW BEST:: SOT 154958 SOS 73971 HAS SOPS 73971 HAS SOUS 47301 HAS SOUPS 47301 WITH SCORE 47374.971
AT ITER 3525 NEW BEST:: SOT 155118 SOS 74131 HAS SOPS 74131 HAS SOUS 47274 HAS SOUPS 47274 WITH SCORE 47348.131
AT ITER 3556 NEW BEST:: SOT 155083 SOS 74061 HAS SOPS 74061 HAS SOUS 47189 HAS SOUPS 47189 WITH SCORE 47263.061
AT ITER 3557 NEW BEST:: SOT 155084 SOS 74033 HAS SOPS 74033 HAS SOUS 47161 HAS SOUPS 47161 WITH SCORE 47235.033
AT ITER 3574 NEW BEST:: SOT 155106 SOS 74030 HAS SOPS 74030 HAS SOUS 47036 HAS SOUPS 47036 WITH SCORE 47110.03
AT ITER 3581 NEW BEST:: SOT 155096 SOS 74020 HAS SOPS 74020 HAS SOUS 47026 HAS SOUPS 47026 WITH SCORE 47100.02
AT ITER 3582 NEW BEST:: SOT 155096 SOS 74018 HAS SOPS 74018 HAS SOUS 47026 HAS SOUPS 47026 WITH SCORE 47100.018
AT ITER 3599 NEW BEST:: SOT 154901 SOS 73823 HAS SOPS 73823 HAS SOUS 46831 HAS SOUPS 46831 WITH SCORE 46904.823
AT ITER 3609 NEW BEST:: SOT 154933 SOS 73963 HAS SOPS 73963 HAS SOUS 46819 HAS SOUPS 46819 WITH SCORE 46892.963
AT ITER 3613 NEW BEST:: SOT 154876 SOS 73944 HAS SOPS 73944 HAS SOUS 46743 HAS SOUPS 46743 WITH SCORE 46816.944
AT ITER 3615 NEW BEST:: SOT 154873 SOS 73931 HAS SOPS 73931 HAS SOUS 46738 HAS SOUPS 46738 WITH SCORE 46811.931
AT ITER 3637 NEW BEST:: SOT 154873 SOS 73894 HAS SOPS 73894 HAS SOUS 46650 HAS SOUPS 46650 WITH SCORE 46723.894
AT ITER 3665 NEW BEST:: SOT 154873 SOS 73894 HAS SOPS 73894 HAS SOUS 46645 HAS SOUPS 46645 WITH SCORE 46718.894
AT ITER 3685 NEW BEST:: SOT 154831 SOS 73762 HAS SOPS 73762 HAS SOUS 46577 HAS SOUPS 46577 WITH SCORE 46650.762
AT ITER 3692 NEW BEST:: SOT 154813 SOS 73672 HAS SOPS 73672 HAS SOUS 46541 HAS SOUPS 46541 WITH SCORE 46614.672
AT ITER 3698 NEW BEST:: SOT 154731 SOS 73542 HAS SOPS 73542 HAS SOUS 46405 HAS SOUPS 46405 WITH SCORE 46478.542
AT ITER 3722 NEW BEST:: SOT 154731 SOS 73558 HAS SOPS 73558 HAS SOUS 46397 HAS SOUPS 46397 WITH SCORE 46470.558
AT ITER 3725 NEW BEST:: SOT 154733 SOS 73548 HAS SOPS 73548 HAS SOUS 46396 HAS SOUPS 46396 WITH SCORE 46469.548
AT ITER 3728 NEW BEST:: SOT 154395 SOS 73037 HAS SOPS 73037 HAS SOUS 46083 HAS SOUPS 46083 WITH SCORE 46156.037
AT ITER 3749 NEW BEST:: SOT 154375 SOS 72721 HAS SOPS 72721 HAS SOUS 46049 HAS SOUPS 46049 WITH SCORE 46121.721
AT ITER 3752 NEW BEST:: SOT 154374 SOS 72718 HAS SOPS 72718 HAS SOUS 46044 HAS SOUPS 46044 WITH SCORE 46116.718
AT ITER 3758 NEW BEST:: SOT 154370 SOS 72714 HAS SOPS 72714 HAS SOUS 46040 HAS SOUPS 46040 WITH SCORE 46112.714
AT ITER 3773 NEW BEST:: SOT 154303 SOS 72675 HAS SOPS 72675 HAS SOUS 46029 HAS SOUPS 46029 WITH SCORE 46101.675
AT ITER 3781 NEW BEST:: SOT 154297 SOS 72649 HAS SOPS 72649 HAS SOUS 46019 HAS SOUPS 46019 WITH SCORE 46091.649
AT ITER 3783 NEW BEST:: SOT 154286 SOS 72661 HAS SOPS 72661 HAS SOUS 45974 HAS SOUPS 45974 WITH SCORE 46046.661
AT ITER 3784 NEW BEST:: SOT 154126 SOS 72392 HAS SOPS 72392 HAS SOUS 45882 HAS SOUPS 45882 WITH SCORE 45954.392
AT ITER 3830 NEW BEST:: SOT 154068 SOS 72334 HAS SOPS 72334 HAS SOUS 45780 HAS SOUPS 45780 WITH SCORE 45852.334
AT ITER 3840 NEW BEST:: SOT 154054 SOS 72306 HAS SOPS 72306 HAS SOUS 45752 HAS SOUPS 45752 WITH SCORE 45824.306
AT ITER 3857 NEW BEST:: SOT 154054 SOS 72311 HAS SOPS 72311 HAS SOUS 45706 HAS SOUPS 45706 WITH SCORE 45778.311
AT ITER 3865 NEW BEST:: SOT 154054 SOS 72297 HAS SOPS 72297 HAS SOUS 45671 HAS SOUPS 45671 WITH SCORE 45743.297
AT ITER 3871 NEW BEST:: SOT 154053 SOS 72289 HAS SOPS 72289 HAS SOUS 45652 HAS SOUPS 45652 WITH SCORE 45724.289
AT ITER 3883 NEW BEST:: SOT 153861 SOS 72183 HAS SOPS 72183 HAS SOUS 45503 HAS SOUPS 45503 WITH SCORE 45575.183
AT ITER 3892 NEW BEST:: SOT 153859 SOS 72181 HAS SOPS 72181 HAS SOUS 45501 HAS SOUPS 45501 WITH SCORE 45573.181
AT ITER 3905 NEW BEST:: SOT 153884 SOS 72235 HAS SOPS 72235 HAS SOUS 45481 HAS SOUPS 45481 WITH SCORE 45553.235
AT ITER 3921 NEW BEST:: SOT 153884 SOS 72186 HAS SOPS 72186 HAS SOUS 45432 HAS SOUPS 45432 WITH SCORE 45504.186
AT ITER 3941 NEW BEST:: SOT 153884 SOS 72190 HAS SOPS 72190 HAS SOUS 45424 HAS SOUPS 45424 WITH SCORE 45496.19
AT ITER 3964 NEW BEST:: SOT 153848 SOS 71988 HAS SOPS 71988 HAS SOUS 45405 HAS SOUPS 45405 WITH SCORE 45476.988
AT ITER 3971 NEW BEST:: SOT 153844 SOS 71980 HAS SOPS 71980 HAS SOUS 45397 HAS SOUPS 45397 WITH SCORE 45468.98
AT ITER 3978 NEW BEST:: SOT 153832 SOS 71962 HAS SOPS 71962 HAS SOUS 45355 HAS SOUPS 45355 WITH SCORE 45426.962
AT ITER 3983 NEW BEST:: SOT 153803 SOS 71924 HAS SOPS 71924 HAS SOUS 45281 HAS SOUPS 45281 WITH SCORE 45352.924
AT ITER 3992 NEW BEST:: SOT 153749 SOS 71870 HAS SOPS 71870 HAS SOUS 45227 HAS SOUPS 45227 WITH SCORE 45298.87
AT ITER 4009 NEW BEST:: SOT 153748 SOS 71869 HAS SOPS 71869 HAS SOUS 45226 HAS SOUPS 45226 WITH SCORE 45297.869
AT ITER 4026 NEW BEST:: SOT 153734 SOS 71862 HAS SOPS 71862 HAS SOUS 45219 HAS SOUPS 45219 WITH SCORE 45290.862
AT ITER 4036 NEW BEST:: SOT 153734 SOS 71868 HAS SOPS 71868 HAS SOUS 45207 HAS SOUPS 45207 WITH SCORE 45278.868
AT ITER 4037 NEW BEST:: SOT 153710 SOS 71951 HAS SOPS 71951 HAS SOUS 45184 HAS SOUPS 45184 WITH SCORE 45255.951
AT ITER 4054 NEW BEST:: SOT 153797 SOS 72013 HAS SOPS 72013 HAS SOUS 45159 HAS SOUPS 45159 WITH SCORE 45231.013
AT ITER 4084 NEW BEST:: SOT 153803 SOS 71963 HAS SOPS 71963 HAS SOUS 45127 HAS SOUPS 45127 WITH SCORE 45198.963
AT ITER 4099 NEW BEST:: SOT 153715 SOS 71875 HAS SOPS 71875 HAS SOUS 45019 HAS SOUPS 45019 WITH SCORE 45090.875
AT ITER 4104 NEW BEST:: SOT 153681 SOS 71841 HAS SOPS 71841 HAS SOUS 44950 HAS SOUPS 44950 WITH SCORE 45021.841
AT ITER 4115 NEW BEST:: SOT 153650 SOS 71754 HAS SOPS 71754 HAS SOUS 44818 HAS SOUPS 44818 WITH SCORE 44889.754
AT ITER 4161 NEW BEST:: SOT 153637 SOS 71744 HAS SOPS 71744 HAS SOUS 44807 HAS SOUPS 44807 WITH SCORE 44878.744
AT ITER 4164 NEW BEST:: SOT 153637 SOS 71731 HAS SOPS 71731 HAS SOUS 44785 HAS SOUPS 44785 WITH SCORE 44856.731
AT ITER 4178 NEW BEST:: SOT 153584 SOS 71470 HAS SOPS 71470 HAS SOUS 44571 HAS SOUPS 44571 WITH SCORE 44642.47
AT ITER 4185 NEW BEST:: SOT 153578 SOS 71462 HAS SOPS 71462 HAS SOUS 44549 HAS SOUPS 44549 WITH SCORE 44620.462
AT ITER 4194 NEW BEST:: SOT 153576 SOS 71460 HAS SOPS 71460 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44614.46
AT ITER 4224 NEW BEST:: SOT 153588 SOS 71351 HAS SOPS 71351 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44614.351
AT ITER 4230 NEW BEST:: SOT 153562 SOS 71314 HAS SOPS 71314 HAS SOUS 44506 HAS SOUPS 44506 WITH SCORE 44577.314
AT ITER 4242 NEW BEST:: SOT 153608 SOS 71332 HAS SOPS 71332 HAS SOUS 44500 HAS SOUPS 44500 WITH SCORE 44571.332
AT ITER 4244 NEW BEST:: SOT 153484 SOS 71208 HAS SOPS 71208 HAS SOUS 44376 HAS SOUPS 44376 WITH SCORE 44447.208
AT ITER 4248 NEW BEST:: SOT 153454 SOS 71188 HAS SOPS 71188 HAS SOUS 44356 HAS SOUPS 44356 WITH SCORE 44427.188
AT ITER 4252 NEW BEST:: SOT 153478 SOS 71186 HAS SOPS 71186 HAS SOUS 44321 HAS SOUPS 44321 WITH SCORE 44392.186
AT ITER 4256 NEW BEST:: SOT 153513 SOS 71256 HAS SOPS 71256 HAS SOUS 44286 HAS SOUPS 44286 WITH SCORE 44357.256
AT ITER 4268 NEW BEST:: SOT 153504 SOS 71247 HAS SOPS 71247 HAS SOUS 44277 HAS SOUPS 44277 WITH SCORE 44348.247
AT ITER 4273 NEW BEST:: SOT 153533 SOS 71218 HAS SOPS 71218 HAS SOUS 44276 HAS SOUPS 44276 WITH SCORE 44347.218
AT ITER 4279 NEW BEST:: SOT 153533 SOS 71192 HAS SOPS 71192 HAS SOUS 44268 HAS SOUPS 44268 WITH SCORE 44339.192
AT ITER 4286 NEW BEST:: SOT 153529 SOS 71188 HAS SOPS 71188 HAS SOUS 44262 HAS SOUPS 44262 WITH SCORE 44333.188
AT ITER 4287 NEW BEST:: SOT 153529 SOS 71187 HAS SOPS 71187 HAS SOUS 44257 HAS SOUPS 44257 WITH SCORE 44328.187
AT ITER 4289 NEW BEST:: SOT 153521 SOS 71157 HAS SOPS 71157 HAS SOUS 44249 HAS SOUPS 44249 WITH SCORE 44320.157
AT ITER 4297 NEW BEST:: SOT 153514 SOS 71115 HAS SOPS 71115 HAS SOUS 44242 HAS SOUPS 44242 WITH SCORE 44313.115
AT ITER 4300 NEW BEST:: SOT 153504 SOS 71101 HAS SOPS 71101 HAS SOUS 44228 HAS SOUPS 44228 WITH SCORE 44299.101
AT ITER 4310 NEW BEST:: SOT 153510 SOS 71101 HAS SOPS 71101 HAS SOUS 44222 HAS SOUPS 44222 WITH SCORE 44293.101
AT ITER 4342 NEW BEST:: SOT 153498 SOS 71089 HAS SOPS 71089 HAS SOUS 44210 HAS SOUPS 44210 WITH SCORE 44281.089
AT ITER 4347 NEW BEST:: SOT 153498 SOS 71088 HAS SOPS 71088 HAS SOUS 44209 HAS SOUPS 44209 WITH SCORE 44280.088
AT ITER 4351 NEW BEST:: SOT 153453 SOS 71043 HAS SOPS 71043 HAS SOUS 44209 HAS SOUPS 44209 WITH SCORE 44280.043
AT ITER 4359 NEW BEST:: SOT 153393 SOS 70983 HAS SOPS 70983 HAS SOUS 44122 HAS SOUPS 44122 WITH SCORE 44192.983
AT ITER 4377 NEW BEST:: SOT 153391 SOS 70979 HAS SOPS 70979 HAS SOUS 44110 HAS SOUPS 44110 WITH SCORE 44180.979
AT ITER 4382 NEW BEST:: SOT 153319 SOS 70919 HAS SOPS 70919 HAS SOUS 44062 HAS SOUPS 44062 WITH SCORE 44132.919
AT ITER 4396 NEW BEST:: SOT 153279 SOS 70839 HAS SOPS 70839 HAS SOUS 44056 HAS SOUPS 44056 WITH SCORE 44126.839
AT ITER 4397 NEW BEST:: SOT 153279 SOS 70809 HAS SOPS 70809 HAS SOUS 44046 HAS SOUPS 44046 WITH SCORE 44116.809
AT ITER 4404 NEW BEST:: SOT 153209 SOS 70739 HAS SOPS 70739 HAS SOUS 44008 HAS SOUPS 44008 WITH SCORE 44078.739
AT ITER 4428 NEW BEST:: SOT 153208 SOS 70723 HAS SOPS 70723 HAS SOUS 43986 HAS SOUPS 43986 WITH SCORE 44056.723
AT ITER 4435 NEW BEST:: SOT 153208 SOS 70548 HAS SOPS 70548 HAS SOUS 43931 HAS SOUPS 43931 WITH SCORE 44001.548
AT ITER 4436 NEW BEST:: SOT 153098 SOS 70428 HAS SOPS 70428 HAS SOUS 43831 HAS SOUPS 43831 WITH SCORE 43901.428
AT ITER 4439 NEW BEST:: SOT 153047 SOS 70429 HAS SOPS 70429 HAS SOUS 43784 HAS SOUPS 43784 WITH SCORE 43854.429
AT ITER 4442 NEW BEST:: SOT 152984 SOS 70365 HAS SOPS 70365 HAS SOUS 43720 HAS SOUPS 43720 WITH SCORE 43790.365
AT ITER 4461 NEW BEST:: SOT 152806 SOS 70232 HAS SOPS 70232 HAS SOUS 43690 HAS SOUPS 43690 WITH SCORE 43760.232
AT ITER 4462 NEW BEST:: SOT 152805 SOS 70230 HAS SOPS 70230 HAS SOUS 43688 HAS SOUPS 43688 WITH SCORE 43758.23
AT ITER 4480 NEW BEST:: SOT 152805 SOS 70026 HAS SOPS 70026 HAS SOUS 43654 HAS SOUPS 43654 WITH SCORE 43724.026
AT ITER 4482 NEW BEST:: SOT 152805 SOS 70158 HAS SOPS 70158 HAS SOUS 43601 HAS SOUPS 43601 WITH SCORE 43671.158
AT ITER 4493 NEW BEST:: SOT 152792 SOS 70145 HAS SOPS 70145 HAS SOUS 43596 HAS SOUPS 43596 WITH SCORE 43666.145
AT ITER 4494 NEW BEST:: SOT 152717 SOS 70016 HAS SOPS 70016 HAS SOUS 43463 HAS SOUPS 43463 WITH SCORE 43533.016
AT ITER 4538 NEW BEST:: SOT 152655 SOS 69886 HAS SOPS 69886 HAS SOUS 43384 HAS SOUPS 43384 WITH SCORE 43453.886
AT ITER 4597 NEW BEST:: SOT 152627 SOS 69674 HAS SOPS 69674 HAS SOUS 43246 HAS SOUPS 43246 WITH SCORE 43315.674
AT ITER 4618 NEW BEST:: SOT 152559 SOS 69353 HAS SOPS 69353 HAS SOUS 43165 HAS SOUPS 43165 WITH SCORE 43234.353
AT ITER 4623 NEW BEST:: SOT 152525 SOS 69316 HAS SOPS 69316 HAS SOUS 43055 HAS SOUPS 43055 WITH SCORE 43124.316
AT ITER 4655 NEW BEST:: SOT 152559 SOS 69254 HAS SOPS 69254 HAS SOUS 43035 HAS SOUPS 43035 WITH SCORE 43104.254
AT ITER 4736 NEW BEST:: SOT 152584 SOS 69229 HAS SOPS 69229 HAS SOUS 43016 HAS SOUPS 43016 WITH SCORE 43085.229
AT ITER 4778 NEW BEST:: SOT 152570 SOS 69195 HAS SOPS 69195 HAS SOUS 42982 HAS SOUPS 42982 WITH SCORE 43051.195
AT ITER 4784 NEW BEST:: SOT 152567 SOS 69295 HAS SOPS 69295 HAS SOUS 42977 HAS SOUPS 42977 WITH SCORE 43046.295
AT ITER 4801 NEW BEST:: SOT 152395 SOS 69164 HAS SOPS 69164 HAS SOUS 42825 HAS SOUPS 42825 WITH SCORE 42894.164
AT ITER 4803 NEW BEST:: SOT 152349 SOS 69032 HAS SOPS 69032 HAS SOUS 42736 HAS SOUPS 42736 WITH SCORE 42805.032
AT ITER 4810 NEW BEST:: SOT 152349 SOS 69032 HAS SOPS 69032 HAS SOUS 42662 HAS SOUPS 42662 WITH SCORE 42731.032
AT ITER 4819 NEW BEST:: SOT 152345 SOS 69028 HAS SOPS 69028 HAS SOUS 42658 HAS SOUPS 42658 WITH SCORE 42727.028
AT ITER 4823 NEW BEST:: SOT 152345 SOS 68980 HAS SOPS 68980 HAS SOUS 42652 HAS SOUPS 42652 WITH SCORE 42720.98
AT ITER 4917 NEW BEST:: SOT 152345 SOS 68974 HAS SOPS 68974 HAS SOUS 42640 HAS SOUPS 42640 WITH SCORE 42708.974
AT ITER 4922 NEW BEST:: SOT 152342 SOS 68968 HAS SOPS 68968 HAS SOUS 42617 HAS SOUPS 42617 WITH SCORE 42685.968
AT ITER 4951 NEW BEST:: SOT 152331 SOS 68996 HAS SOPS 68996 HAS SOUS 42614 HAS SOUPS 42614 WITH SCORE 42682.996
AT ITER 4966 NEW BEST:: SOT 152302 SOS 68910 HAS SOPS 68910 HAS SOUS 42518 HAS SOUPS 42518 WITH SCORE 42586.91
AT ITER 4999 NEW BEST:: SOT 152280 SOS 68838 HAS SOPS 68838 HAS SOUS 42485 HAS SOUPS 42485 WITH SCORE 42553.838
AT ITER 5000 NEW BEST:: SOT 152268 SOS 68834 HAS SOPS 68834 HAS SOUS 42473 HAS SOUPS 42473 WITH SCORE 42541.834
AT ITER 5004 NEW BEST:: SOT 152268 SOS 68814 HAS SOPS 68814 HAS SOUS 42446 HAS SOUPS 42446 WITH SCORE 42514.814
AT ITER 5031 NEW BEST:: SOT 152232 SOS 68778 HAS SOPS 68778 HAS SOUS 42410 HAS SOUPS 42410 WITH SCORE 42478.778
AT ITER 5042 NEW BEST:: SOT 152162 SOS 68720 HAS SOPS 68720 HAS SOUS 42372 HAS SOUPS 42372 WITH SCORE 42440.72
AT ITER 5086 NEW BEST:: SOT 152040 SOS 68570 HAS SOPS 68570 HAS SOUS 42169 HAS SOUPS 42169 WITH SCORE 42237.57
AT ITER 5093 NEW BEST:: SOT 152032 SOS 68562 HAS SOPS 68562 HAS SOUS 42153 HAS SOUPS 42153 WITH SCORE 42221.562
AT ITER 5102 NEW BEST:: SOT 152032 SOS 68745 HAS SOPS 68745 HAS SOUS 42083 HAS SOUPS 42083 WITH SCORE 42151.745
AT ITER 5115 NEW BEST:: SOT 152027 SOS 68740 HAS SOPS 68740 HAS SOUS 42078 HAS SOUPS 42078 WITH SCORE 42146.74
AT ITER 5126 NEW BEST:: SOT 152014 SOS 68667 HAS SOPS 68667 HAS SOUS 42035 HAS SOUPS 42035 WITH SCORE 42103.667
AT ITER 5137 NEW BEST:: SOT 151964 SOS 68599 HAS SOPS 68599 HAS SOUS 41967 HAS SOUPS 41967 WITH SCORE 42035.599
AT ITER 5154 NEW BEST:: SOT 151990 SOS 68706 HAS SOPS 68706 HAS SOUS 41941 HAS SOUPS 41941 WITH SCORE 42009.706
AT ITER 5170 NEW BEST:: SOT 151945 SOS 68639 HAS SOPS 68639 HAS SOUS 41885 HAS SOUPS 41885 WITH SCORE 41953.639
AT ITER 5187 NEW BEST:: SOT 151939 SOS 68636 HAS SOPS 68636 HAS SOUS 41882 HAS SOUPS 41882 WITH SCORE 41950.636
AT ITER 5189 NEW BEST:: SOT 151932 SOS 68622 HAS SOPS 68622 HAS SOUS 41868 HAS SOUPS 41868 WITH SCORE 41936.622
AT ITER 5192 NEW BEST:: SOT 151929 SOS 68633 HAS SOPS 68633 HAS SOUS 41832 HAS SOUPS 41832 WITH SCORE 41900.633
AT ITER 5214 NEW BEST:: SOT 151929 SOS 68627 HAS SOPS 68627 HAS SOUS 41736 HAS SOUPS 41736 WITH SCORE 41804.627
AT ITER 5232 NEW BEST:: SOT 151929 SOS 68607 HAS SOPS 68607 HAS SOUS 41726 HAS SOUPS 41726 WITH SCORE 41794.607
AT ITER 5248 NEW BEST:: SOT 151915 SOS 68593 HAS SOPS 68593 HAS SOUS 41712 HAS SOUPS 41712 WITH SCORE 41780.593
AT ITER 5254 NEW BEST:: SOT 151860 SOS 68574 HAS SOPS 68574 HAS SOUS 41673 HAS SOUPS 41673 WITH SCORE 41741.574
AT ITER 5262 NEW BEST:: SOT 151860 SOS 68544 HAS SOPS 68544 HAS SOUS 41661 HAS SOUPS 41661 WITH SCORE 41729.544
AT ITER 5288 NEW BEST:: SOT 151830 SOS 68514 HAS SOPS 68514 HAS SOUS 41611 HAS SOUPS 41611 WITH SCORE 41679.514
AT ITER 5293 NEW BEST:: SOT 151877 SOS 68457 HAS SOPS 68457 HAS SOUS 41578 HAS SOUPS 41578 WITH SCORE 41646.457
AT ITER 5304 NEW BEST:: SOT 151877 SOS 68681 HAS SOPS 68681 HAS SOUS 41550 HAS SOUPS 41550 WITH SCORE 41618.681
AT ITER 5315 NEW BEST:: SOT 151873 SOS 68677 HAS SOPS 68677 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41614.677
AT ITER 5317 NEW BEST:: SOT 151873 SOS 68673 HAS SOPS 68673 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41614.673
AT ITER 5324 NEW BEST:: SOT 151849 SOS 68649 HAS SOPS 68649 HAS SOUS 41522 HAS SOUPS 41522 WITH SCORE 41590.649
AT ITER 5362 NEW BEST:: SOT 151840 SOS 68613 HAS SOPS 68613 HAS SOUS 41486 HAS SOUPS 41486 WITH SCORE 41554.613
AT ITER 5376 NEW BEST:: SOT 151837 SOS 68609 HAS SOPS 68609 HAS SOUS 41474 HAS SOUPS 41474 WITH SCORE 41542.609
AT ITER 5383 NEW BEST:: SOT 151845 SOS 68543 HAS SOPS 68543 HAS SOUS 41426 HAS SOUPS 41426 WITH SCORE 41494.543
AT ITER 5384 NEW BEST:: SOT 151858 SOS 68504 HAS SOPS 68504 HAS SOUS 41426 HAS SOUPS 41426 WITH SCORE 41494.504
AT ITER 5413 NEW BEST:: SOT 151858 SOS 68504 HAS SOPS 68504 HAS SOUS 41418 HAS SOUPS 41418 WITH SCORE 41486.504
AT ITER 5426 NEW BEST:: SOT 151858 SOS 68483 HAS SOPS 68483 HAS SOUS 41417 HAS SOUPS 41417 WITH SCORE 41485.483
AT ITER 5430 NEW BEST:: SOT 151933 SOS 68358 HAS SOPS 68358 HAS SOUS 41392 HAS SOUPS 41392 WITH SCORE 41460.358
AT ITER 5443 NEW BEST:: SOT 151913 SOS 68338 HAS SOPS 68338 HAS SOUS 41372 HAS SOUPS 41372 WITH SCORE 41440.338
AT ITER 5456 NEW BEST:: SOT 151856 SOS 68167 HAS SOPS 68167 HAS SOUS 41315 HAS SOUPS 41315 WITH SCORE 41383.167
AT ITER 5477 NEW BEST:: SOT 151856 SOS 68052 HAS SOPS 68052 HAS SOUS 41276 HAS SOUPS 41276 WITH SCORE 41344.052
AT ITER 5486 NEW BEST:: SOT 151801 SOS 67739 HAS SOPS 67739 HAS SOUS 41218 HAS SOUPS 41218 WITH SCORE 41285.739
AT ITER 5491 NEW BEST:: SOT 151801 SOS 67495 HAS SOPS 67495 HAS SOUS 41139 HAS SOUPS 41139 WITH SCORE 41206.495
AT ITER 5523 NEW BEST:: SOT 151801 SOS 67463 HAS SOPS 67463 HAS SOUS 41139 HAS SOUPS 41139 WITH SCORE 41206.463
AT ITER 5525 NEW BEST:: SOT 151790 SOS 67413 HAS SOPS 67413 HAS SOUS 41056 HAS SOUPS 41056 WITH SCORE 41123.413
AT ITER 5534 NEW BEST:: SOT 151793 SOS 67416 HAS SOPS 67416 HAS SOUS 41033 HAS SOUPS 41033 WITH SCORE 41100.416
AT ITER 5543 NEW BEST:: SOT 151802 SOS 67398 HAS SOPS 67398 HAS SOUS 40994 HAS SOUPS 40994 WITH SCORE 41061.398
AT ITER 5545 NEW BEST:: SOT 151821 SOS 67443 HAS SOPS 67443 HAS SOUS 40989 HAS SOUPS 40989 WITH SCORE 41056.443
AT ITER 5552 NEW BEST:: SOT 151757 SOS 67358 HAS SOPS 67358 HAS SOUS 40954 HAS SOUPS 40954 WITH SCORE 41021.358
AT ITER 5557 NEW BEST:: SOT 151687 SOS 67455 HAS SOPS 67455 HAS SOUS 40904 HAS SOUPS 40904 WITH SCORE 40971.455
AT ITER 5573 NEW BEST:: SOT 151651 SOS 67427 HAS SOPS 67427 HAS SOUS 40900 HAS SOUPS 40900 WITH SCORE 40967.427
AT ITER 5586 NEW BEST:: SOT 151617 SOS 67313 HAS SOPS 67313 HAS SOUS 40846 HAS SOUPS 40846 WITH SCORE 40913.313
AT ITER 5605 NEW BEST:: SOT 151598 SOS 67294 HAS SOPS 67294 HAS SOUS 40817 HAS SOUPS 40817 WITH SCORE 40884.294
AT ITER 5618 NEW BEST:: SOT 151600 SOS 67175 HAS SOPS 67175 HAS SOUS 40696 HAS SOUPS 40696 WITH SCORE 40763.175
AT ITER 5654 NEW BEST:: SOT 151648 SOS 67149 HAS SOPS 67149 HAS SOUS 40682 HAS SOUPS 40682 WITH SCORE 40749.149
AT ITER 5656 NEW BEST:: SOT 151633 SOS 67143 HAS SOPS 67143 HAS SOUS 40651 HAS SOUPS 40651 WITH SCORE 40718.143
AT ITER 5666 NEW BEST:: SOT 151368 SOS 66693 HAS SOPS 66693 HAS SOUS 40443 HAS SOUPS 40443 WITH SCORE 40509.693
AT ITER 5714 NEW BEST:: SOT 151340 SOS 66543 HAS SOPS 66543 HAS SOUS 40306 HAS SOUPS 40306 WITH SCORE 40372.543
AT ITER 5760 NEW BEST:: SOT 151313 SOS 66441 HAS SOPS 66441 HAS SOUS 40305 HAS SOUPS 40305 WITH SCORE 40371.441
AT ITER 5775 NEW BEST:: SOT 151281 SOS 66433 HAS SOPS 66433 HAS SOUS 40283 HAS SOUPS 40283 WITH SCORE 40349.433
AT ITER 5783 NEW BEST:: SOT 151281 SOS 66433 HAS SOPS 66433 HAS SOUS 40259 HAS SOUPS 40259 WITH SCORE 40325.433
AT ITER 5786 NEW BEST:: SOT 151281 SOS 66427 HAS SOPS 66427 HAS SOUS 40256 HAS SOUPS 40256 WITH SCORE 40322.427
AT ITER 5804 NEW BEST:: SOT 151289 SOS 66343 HAS SOPS 66343 HAS SOUS 40210 HAS SOUPS 40210 WITH SCORE 40276.343
AT ITER 5807 NEW BEST:: SOT 151255 SOS 66282 HAS SOPS 66282 HAS SOUS 40210 HAS SOUPS 40210 WITH SCORE 40276.282
AT ITER 5816 NEW BEST:: SOT 151234 SOS 66262 HAS SOPS 66262 HAS SOUS 40202 HAS SOUPS 40202 WITH SCORE 40268.262
AT ITER 5825 NEW BEST:: SOT 151248 SOS 66264 HAS SOPS 66264 HAS SOUS 40182 HAS SOUPS 40182 WITH SCORE 40248.264
AT ITER 5862 NEW BEST:: SOT 151230 SOS 66054 HAS SOPS 66054 HAS SOUS 40156 HAS SOUPS 40156 WITH SCORE 40222.054
AT ITER 5875 NEW BEST:: SOT 151226 SOS 66042 HAS SOPS 66042 HAS SOUS 40152 HAS SOUPS 40152 WITH SCORE 40218.042
AT ITER 5889 NEW BEST:: SOT 151207 SOS 65884 HAS SOPS 65884 HAS SOUS 40133 HAS SOUPS 40133 WITH SCORE 40198.884
AT ITER 5933 NEW BEST:: SOT 151198 SOS 65875 HAS SOPS 65875 HAS SOUS 40124 HAS SOUPS 40124 WITH SCORE 40189.875
AT ITER 5969 NEW BEST:: SOT 151128 SOS 65813 HAS SOPS 65813 HAS SOUS 40087 HAS SOUPS 40087 WITH SCORE 40152.813
AT ITER 5987 NEW BEST:: SOT 151135 SOS 65848 HAS SOPS 65848 HAS SOUS 40080 HAS SOUPS 40080 WITH SCORE 40145.848
AT ITER 5997 NEW BEST:: SOT 151135 SOS 65826 HAS SOPS 65826 HAS SOUS 40043 HAS SOUPS 40043 WITH SCORE 40108.826
AT ITER 6007 NEW BEST:: SOT 151137 SOS 65818 HAS SOPS 65818 HAS SOUS 40027 HAS SOUPS 40027 WITH SCORE 40092.818
AT ITER 6013 NEW BEST:: SOT 151039 SOS 66124 HAS SOPS 66124 HAS SOUS 39906 HAS SOUPS 39906 WITH SCORE 39972.124
AT ITER 6014 NEW BEST:: SOT 151039 SOS 66258 HAS SOPS 66258 HAS SOUS 39905 HAS SOUPS 39905 WITH SCORE 39971.258
AT ITER 6029 NEW BEST:: SOT 151031 SOS 66068 HAS SOPS 66068 HAS SOUS 39884 HAS SOUPS 39884 WITH SCORE 39950.068
AT ITER 6034 NEW BEST:: SOT 151025 SOS 65900 HAS SOPS 65900 HAS SOUS 39829 HAS SOUPS 39829 WITH SCORE 39894.9
AT ITER 6114 NEW BEST:: SOT 151013 SOS 65835 HAS SOPS 65835 HAS SOUS 39771 HAS SOUPS 39771 WITH SCORE 39836.835
AT ITER 6115 NEW BEST:: SOT 150964 SOS 65814 HAS SOPS 65814 HAS SOUS 39742 HAS SOUPS 39742 WITH SCORE 39807.814
AT ITER 6126 NEW BEST:: SOT 150773 SOS 65556 HAS SOPS 65556 HAS SOUS 39550 HAS SOUPS 39550 WITH SCORE 39615.556
AT ITER 6140 NEW BEST:: SOT 150754 SOS 65537 HAS SOPS 65537 HAS SOUS 39531 HAS SOUPS 39531 WITH SCORE 39596.537
AT ITER 6170 NEW BEST:: SOT 150734 SOS 65235 HAS SOPS 65235 HAS SOUS 39505 HAS SOUPS 39505 WITH SCORE 39570.235
AT ITER 6180 NEW BEST:: SOT 150732 SOS 65258 HAS SOPS 65258 HAS SOUS 39453 HAS SOUPS 39453 WITH SCORE 39518.258
AT ITER 6186 NEW BEST:: SOT 150719 SOS 65246 HAS SOPS 65246 HAS SOUS 39431 HAS SOUPS 39431 WITH SCORE 39496.246
AT ITER 6197 NEW BEST:: SOT 150661 SOS 65110 HAS SOPS 65110 HAS SOUS 39431 HAS SOUPS 39431 WITH SCORE 39496.11
AT ITER 6212 NEW BEST:: SOT 150708 SOS 64922 HAS SOPS 64922 HAS SOUS 39386 HAS SOUPS 39386 WITH SCORE 39450.922
AT ITER 6236 NEW BEST:: SOT 150724 SOS 64907 HAS SOPS 64907 HAS SOUS 39360 HAS SOUPS 39360 WITH SCORE 39424.907
AT ITER 6263 NEW BEST:: SOT 150709 SOS 64873 HAS SOPS 64873 HAS SOUS 39353 HAS SOUPS 39353 WITH SCORE 39417.873
AT ITER 6280 NEW BEST:: SOT 150691 SOS 64872 HAS SOPS 64872 HAS SOUS 39348 HAS SOUPS 39348 WITH SCORE 39412.872
AT ITER 6285 NEW BEST:: SOT 150693 SOS 64911 HAS SOPS 64911 HAS SOUS 39326 HAS SOUPS 39326 WITH SCORE 39390.911
AT ITER 6290 NEW BEST:: SOT 150693 SOS 64961 HAS SOPS 64961 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39369.961
AT ITER 6341 NEW BEST:: SOT 150553 SOS 64550 HAS SOPS 64550 HAS SOUS 39302 HAS SOUPS 39302 WITH SCORE 39366.55
AT ITER 6364 NEW BEST:: SOT 150518 SOS 64519 HAS SOPS 64519 HAS SOUS 39269 HAS SOUPS 39269 WITH SCORE 39333.519
AT ITER 6369 NEW BEST:: SOT 150550 SOS 64251 HAS SOPS 64251 HAS SOUS 39259 HAS SOUPS 39259 WITH SCORE 39323.251
AT ITER 6382 NEW BEST:: SOT 150514 SOS 64215 HAS SOPS 64215 HAS SOUS 39223 HAS SOUPS 39223 WITH SCORE 39287.215
AT ITER 6415 NEW BEST:: SOT 150450 SOS 64151 HAS SOPS 64151 HAS SOUS 39151 HAS SOUPS 39151 WITH SCORE 39215.151
AT ITER 6416 NEW BEST:: SOT 150446 SOS 64143 HAS SOPS 64143 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39191.143
AT ITER 6418 NEW BEST:: SOT 150379 SOS 64076 HAS SOPS 64076 HAS SOUS 39057 HAS SOUPS 39057 WITH SCORE 39121.076
AT ITER 6434 NEW BEST:: SOT 150356 SOS 63998 HAS SOPS 63998 HAS SOUS 39049 HAS SOUPS 39049 WITH SCORE 39112.998
AT ITER 6445 NEW BEST:: SOT 150356 SOS 64046 HAS SOPS 64046 HAS SOUS 39001 HAS SOUPS 39001 WITH SCORE 39065.046
AT ITER 6458 NEW BEST:: SOT 150356 SOS 64030 HAS SOPS 64030 HAS SOUS 38969 HAS SOUPS 38969 WITH SCORE 39033.03
AT ITER 6460 NEW BEST:: SOT 150338 SOS 64012 HAS SOPS 64012 HAS SOUS 38955 HAS SOUPS 38955 WITH SCORE 39019.012
AT ITER 6481 NEW BEST:: SOT 150387 SOS 64009 HAS SOPS 64009 HAS SOUS 38911 HAS SOUPS 38911 WITH SCORE 38975.009
AT ITER 6482 NEW BEST:: SOT 150387 SOS 63997 HAS SOPS 63997 HAS SOUS 38911 HAS SOUPS 38911 WITH SCORE 38974.997
AT ITER 6505 NEW BEST:: SOT 150387 SOS 63988 HAS SOPS 63988 HAS SOUS 38875 HAS SOUPS 38875 WITH SCORE 38938.988
AT ITER 6543 NEW BEST:: SOT 150358 SOS 63959 HAS SOPS 63959 HAS SOUS 38846 HAS SOUPS 38846 WITH SCORE 38909.959
AT ITER 6567 NEW BEST:: SOT 150339 SOS 63826 HAS SOPS 63826 HAS SOUS 38827 HAS SOUPS 38827 WITH SCORE 38890.826
AT ITER 6574 NEW BEST:: SOT 150335 SOS 63822 HAS SOPS 63822 HAS SOUS 38823 HAS SOUPS 38823 WITH SCORE 38886.822
AT ITER 6582 NEW BEST:: SOT 150314 SOS 63784 HAS SOPS 63784 HAS SOUS 38813 HAS SOUPS 38813 WITH SCORE 38876.784
AT ITER 6607 NEW BEST:: SOT 150326 SOS 63560 HAS SOPS 63560 HAS SOUS 38720 HAS SOUPS 38720 WITH SCORE 38783.56
AT ITER 6625 NEW BEST:: SOT 150323 SOS 63556 HAS SOPS 63556 HAS SOUS 38712 HAS SOUPS 38712 WITH SCORE 38775.556
AT ITER 6631 NEW BEST:: SOT 150323 SOS 63546 HAS SOPS 63546 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38773.546
AT ITER 6634 NEW BEST:: SOT 150314 SOS 63533 HAS SOPS 63533 HAS SOUS 38701 HAS SOUPS 38701 WITH SCORE 38764.533
AT ITER 6636 NEW BEST:: SOT 150281 SOS 63489 HAS SOPS 63489 HAS SOUS 38657 HAS SOUPS 38657 WITH SCORE 38720.489
AT ITER 6696 NEW BEST:: SOT 150281 SOS 63442 HAS SOPS 63442 HAS SOUS 38604 HAS SOUPS 38604 WITH SCORE 38667.442
AT ITER 6737 NEW BEST:: SOT 150290 SOS 63433 HAS SOPS 63433 HAS SOUS 38604 HAS SOUPS 38604 WITH SCORE 38667.433
AT ITER 6743 NEW BEST:: SOT 150267 SOS 63352 HAS SOPS 63352 HAS SOUS 38598 HAS SOUPS 38598 WITH SCORE 38661.352
AT ITER 6752 NEW BEST:: SOT 150206 SOS 63122 HAS SOPS 63122 HAS SOUS 38560 HAS SOUPS 38560 WITH SCORE 38623.122
AT ITER 6759 NEW BEST:: SOT 150187 SOS 63135 HAS SOPS 63135 HAS SOUS 38546 HAS SOUPS 38546 WITH SCORE 38609.135
AT ITER 6802 NEW BEST:: SOT 150065 SOS 62986 HAS SOPS 62986 HAS SOUS 38344 HAS SOUPS 38344 WITH SCORE 38406.986
AT ITER 6826 NEW BEST:: SOT 149995 SOS 62894 HAS SOPS 62894 HAS SOUS 38252 HAS SOUPS 38252 WITH SCORE 38314.894
AT ITER 6842 NEW BEST:: SOT 149994 SOS 62892 HAS SOPS 62892 HAS SOUS 38250 HAS SOUPS 38250 WITH SCORE 38312.892
AT ITER 6910 NEW BEST:: SOT 149977 SOS 62807 HAS SOPS 62807 HAS SOUS 38216 HAS SOUPS 38216 WITH SCORE 38278.807
AT ITER 6969 NEW BEST:: SOT 149969 SOS 62799 HAS SOPS 62799 HAS SOUS 38208 HAS SOUPS 38208 WITH SCORE 38270.799
AT ITER 7009 NEW BEST:: SOT 149940 SOS 62734 HAS SOPS 62734 HAS SOUS 38185 HAS SOUPS 38185 WITH SCORE 38247.734
AT ITER 7027 NEW BEST:: SOT 149942 SOS 62736 HAS SOPS 62736 HAS SOUS 38184 HAS SOUPS 38184 WITH SCORE 38246.736
AT ITER 7037 NEW BEST:: SOT 149898 SOS 61700 HAS SOPS 61700 HAS SOUS 38054 HAS SOUPS 38054 WITH SCORE 38115.7
AT ITER 7058 NEW BEST:: SOT 149889 SOS 61709 HAS SOPS 61709 HAS SOUS 38051 HAS SOUPS 38051 WITH SCORE 38112.709
AT ITER 7069 NEW BEST:: SOT 149838 SOS 61683 HAS SOPS 61683 HAS SOUS 38044 HAS SOUPS 38044 WITH SCORE 38105.683
AT ITER 7082 NEW BEST:: SOT 149698 SOS 61425 HAS SOPS 61425 HAS SOUS 37787 HAS SOUPS 37787 WITH SCORE 37848.425
AT ITER 7098 NEW BEST:: SOT 149689 SOS 61416 HAS SOPS 61416 HAS SOUS 37778 HAS SOUPS 37778 WITH SCORE 37839.416
AT ITER 7108 NEW BEST:: SOT 149718 SOS 61418 HAS SOPS 61418 HAS SOUS 37759 HAS SOUPS 37759 WITH SCORE 37820.418
AT ITER 7116 NEW BEST:: SOT 149716 SOS 61416 HAS SOPS 61416 HAS SOUS 37757 HAS SOUPS 37757 WITH SCORE 37818.416
AT ITER 7131 NEW BEST:: SOT 149690 SOS 61475 HAS SOPS 61475 HAS SOUS 37577 HAS SOUPS 37577 WITH SCORE 37638.475
AT ITER 7140 NEW BEST:: SOT 149690 SOS 61492 HAS SOPS 61492 HAS SOUS 37572 HAS SOUPS 37572 WITH SCORE 37633.492
AT ITER 7152 NEW BEST:: SOT 149545 SOS 61292 HAS SOPS 61292 HAS SOUS 37312 HAS SOUPS 37312 WITH SCORE 37373.292
AT ITER 7156 NEW BEST:: SOT 149506 SOS 61266 HAS SOPS 61266 HAS SOUS 37290 HAS SOUPS 37290 WITH SCORE 37351.266
AT ITER 7158 NEW BEST:: SOT 149426 SOS 61186 HAS SOPS 61186 HAS SOUS 37288 HAS SOUPS 37288 WITH SCORE 37349.186
AT ITER 7205 NEW BEST:: SOT 149424 SOS 61181 HAS SOPS 61181 HAS SOUS 37284 HAS SOUPS 37284 WITH SCORE 37345.181
AT ITER 7231 NEW BEST:: SOT 149314 SOS 60885 HAS SOPS 60885 HAS SOUS 37030 HAS SOUPS 37030 WITH SCORE 37090.885
AT ITER 7233 NEW BEST:: SOT 149314 SOS 60857 HAS SOPS 60857 HAS SOUS 37026 HAS SOUPS 37026 WITH SCORE 37086.857
AT ITER 7245 NEW BEST:: SOT 149293 SOS 60815 HAS SOPS 60815 HAS SOUS 36984 HAS SOUPS 36984 WITH SCORE 37044.815
AT ITER 7250 NEW BEST:: SOT 149209 SOS 60717 HAS SOPS 60717 HAS SOUS 36886 HAS SOUPS 36886 WITH SCORE 36946.717
AT ITER 7254 NEW BEST:: SOT 149220 SOS 60687 HAS SOPS 60687 HAS SOUS 36871 HAS SOUPS 36871 WITH SCORE 36931.687
AT ITER 7267 NEW BEST:: SOT 149168 SOS 60648 HAS SOPS 60648 HAS SOUS 36819 HAS SOUPS 36819 WITH SCORE 36879.648
AT ITER 7268 NEW BEST:: SOT 149124 SOS 60604 HAS SOPS 60604 HAS SOUS 36765 HAS SOUPS 36765 WITH SCORE 36825.604
AT ITER 7275 NEW BEST:: SOT 149117 SOS 60587 HAS SOPS 60587 HAS SOUS 36751 HAS SOUPS 36751 WITH SCORE 36811.587
AT ITER 7277 NEW BEST:: SOT 149117 SOS 60583 HAS SOPS 60583 HAS SOUS 36745 HAS SOUPS 36745 WITH SCORE 36805.583
AT ITER 7287 NEW BEST:: SOT 149108 SOS 60574 HAS SOPS 60574 HAS SOUS 36736 HAS SOUPS 36736 WITH SCORE 36796.574
AT ITER 7303 NEW BEST:: SOT 149072 SOS 60526 HAS SOPS 60526 HAS SOUS 36622 HAS SOUPS 36622 WITH SCORE 36682.526
AT ITER 7306 NEW BEST:: SOT 149036 SOS 60403 HAS SOPS 60403 HAS SOUS 36505 HAS SOUPS 36505 WITH SCORE 36565.403
AT ITER 7312 NEW BEST:: SOT 149030 SOS 60544 HAS SOPS 60544 HAS SOUS 36501 HAS SOUPS 36501 WITH SCORE 36561.544
AT ITER 7320 NEW BEST:: SOT 149024 SOS 60526 HAS SOPS 60526 HAS SOUS 36492 HAS SOUPS 36492 WITH SCORE 36552.526
AT ITER 7347 NEW BEST:: SOT 149024 SOS 60420 HAS SOPS 60420 HAS SOUS 36325 HAS SOUPS 36325 WITH SCORE 36385.42
AT ITER 7351 NEW BEST:: SOT 149024 SOS 60416 HAS SOPS 60416 HAS SOUS 36318 HAS SOUPS 36318 WITH SCORE 36378.416
AT ITER 7359 NEW BEST:: SOT 149008 SOS 60393 HAS SOPS 60393 HAS SOUS 36295 HAS SOUPS 36295 WITH SCORE 36355.393
AT ITER 7406 NEW BEST:: SOT 149008 SOS 60345 HAS SOPS 60345 HAS SOUS 36295 HAS SOUPS 36295 WITH SCORE 36355.345
AT ITER 7409 NEW BEST:: SOT 148973 SOS 60288 HAS SOPS 60288 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36286.288
AT ITER 7426 NEW BEST:: SOT 148876 SOS 60094 HAS SOPS 60094 HAS SOUS 36042 HAS SOUPS 36042 WITH SCORE 36102.094
AT ITER 7433 NEW BEST:: SOT 148874 SOS 60446 HAS SOPS 60446 HAS SOUS 36004 HAS SOUPS 36004 WITH SCORE 36064.446
AT ITER 7445 NEW BEST:: SOT 148782 SOS 60821 HAS SOPS 60821 HAS SOUS 35875 HAS SOUPS 35875 WITH SCORE 35935.821
AT ITER 7457 NEW BEST:: SOT 148727 SOS 60766 HAS SOPS 60766 HAS SOUS 35820 HAS SOUPS 35820 WITH SCORE 35880.766
AT ITER 7469 NEW BEST:: SOT 148733 SOS 60788 HAS SOPS 60788 HAS SOUS 35810 HAS SOUPS 35810 WITH SCORE 35870.788
AT ITER 7473 NEW BEST:: SOT 148734 SOS 60796 HAS SOPS 60796 HAS SOUS 35803 HAS SOUPS 35803 WITH SCORE 35863.796
AT ITER 7481 NEW BEST:: SOT 148724 SOS 60787 HAS SOPS 60787 HAS SOUS 35796 HAS SOUPS 35796 WITH SCORE 35856.787
AT ITER 7492 NEW BEST:: SOT 148723 SOS 60705 HAS SOPS 60705 HAS SOUS 35796 HAS SOUPS 35796 WITH SCORE 35856.705
AT ITER 7500 NEW BEST:: SOT 148723 SOS 60664 HAS SOPS 60664 HAS SOUS 35733 HAS SOUPS 35733 WITH SCORE 35793.664
AT ITER 7517 NEW BEST:: SOT 148788 SOS 60720 HAS SOPS 60720 HAS SOUS 35729 HAS SOUPS 35729 WITH SCORE 35789.72
AT ITER 7529 NEW BEST:: SOT 148766 SOS 60713 HAS SOPS 60713 HAS SOUS 35722 HAS SOUPS 35722 WITH SCORE 35782.713
AT ITER 7579 NEW BEST:: SOT 148730 SOS 60677 HAS SOPS 60677 HAS SOUS 35686 HAS SOUPS 35686 WITH SCORE 35746.677
AT ITER 7581 NEW BEST:: SOT 148706 SOS 60627 HAS SOPS 60627 HAS SOUS 35647 HAS SOUPS 35647 WITH SCORE 35707.627
AT ITER 7590 NEW BEST:: SOT 148706 SOS 60635 HAS SOPS 60635 HAS SOUS 35639 HAS SOUPS 35639 WITH SCORE 35699.635
AT ITER 7628 NEW BEST:: SOT 148706 SOS 60527 HAS SOPS 60527 HAS SOUS 35621 HAS SOUPS 35621 WITH SCORE 35681.527
AT ITER 7629 NEW BEST:: SOT 148666 SOS 60512 HAS SOPS 60512 HAS SOUS 35606 HAS SOUPS 35606 WITH SCORE 35666.512
AT ITER 7695 NEW BEST:: SOT 148662 SOS 60508 HAS SOPS 60508 HAS SOUS 35594 HAS SOUPS 35594 WITH SCORE 35654.508
AT ITER 7707 NEW BEST:: SOT 148674 SOS 60467 HAS SOPS 60467 HAS SOUS 35581 HAS SOUPS 35581 WITH SCORE 35641.467
AT ITER 7711 NEW BEST:: SOT 148663 SOS 60296 HAS SOPS 60296 HAS SOUS 35565 HAS SOUPS 35565 WITH SCORE 35625.296
AT ITER 7784 NEW BEST:: SOT 148667 SOS 60248 HAS SOPS 60248 HAS SOUS 35545 HAS SOUPS 35545 WITH SCORE 35605.248
AT ITER 7842 NEW BEST:: SOT 148637 SOS 60208 HAS SOPS 60208 HAS SOUS 35505 HAS SOUPS 35505 WITH SCORE 35565.208
AT ITER 7848 NEW BEST:: SOT 148584 SOS 60141 HAS SOPS 60141 HAS SOUS 35400 HAS SOUPS 35400 WITH SCORE 35460.141
AT ITER 7877 NEW BEST:: SOT 148589 SOS 60141 HAS SOPS 60141 HAS SOUS 35384 HAS SOUPS 35384 WITH SCORE 35444.141
AT ITER 7886 NEW BEST:: SOT 148574 SOS 60146 HAS SOPS 60146 HAS SOUS 35269 HAS SOUPS 35269 WITH SCORE 35329.146
AT ITER 7929 NEW BEST:: SOT 148574 SOS 60146 HAS SOPS 60146 HAS SOUS 35267 HAS SOUPS 35267 WITH SCORE 35327.146
AT ITER 7938 NEW BEST:: SOT 148574 SOS 60120 HAS SOPS 60120 HAS SOUS 35250 HAS SOUPS 35250 WITH SCORE 35310.12
AT ITER 7939 NEW BEST:: SOT 148574 SOS 60114 HAS SOPS 60114 HAS SOUS 35226 HAS SOUPS 35226 WITH SCORE 35286.114
AT ITER 7944 NEW BEST:: SOT 148544 SOS 60084 HAS SOPS 60084 HAS SOUS 35201 HAS SOUPS 35201 WITH SCORE 35261.084
AT ITER 7964 NEW BEST:: SOT 148506 SOS 59943 HAS SOPS 59943 HAS SOUS 35148 HAS SOUPS 35148 WITH SCORE 35207.943
AT ITER 7972 NEW BEST:: SOT 148362 SOS 59553 HAS SOPS 59553 HAS SOUS 34943 HAS SOUPS 34943 WITH SCORE 35002.553
AT ITER 7975 NEW BEST:: SOT 148192 SOS 59315 HAS SOPS 59315 HAS SOUS 34631 HAS SOUPS 34631 WITH SCORE 34690.315
AT ITER 7976 NEW BEST:: SOT 148155 SOS 59278 HAS SOPS 59278 HAS SOUS 34594 HAS SOUPS 34594 WITH SCORE 34653.278
AT ITER 7978 NEW BEST:: SOT 148110 SOS 59233 HAS SOPS 59233 HAS SOUS 34549 HAS SOUPS 34549 WITH SCORE 34608.233
AT ITER 7983 NEW BEST:: SOT 148106 SOS 59228 HAS SOPS 59228 HAS SOUS 34544 HAS SOUPS 34544 WITH SCORE 34603.228
AT ITER 8005 NEW BEST:: SOT 148127 SOS 59210 HAS SOPS 59210 HAS SOUS 34529 HAS SOUPS 34529 WITH SCORE 34588.21
AT ITER 8017 NEW BEST:: SOT 148103 SOS 59156 HAS SOPS 59156 HAS SOUS 34495 HAS SOUPS 34495 WITH SCORE 34554.156
AT ITER 8018 NEW BEST:: SOT 148096 SOS 59149 HAS SOPS 59149 HAS SOUS 34481 HAS SOUPS 34481 WITH SCORE 34540.149
AT ITER 8019 NEW BEST:: SOT 147990 SOS 58979 HAS SOPS 58979 HAS SOUS 34337 HAS SOUPS 34337 WITH SCORE 34395.979
AT ITER 8032 NEW BEST:: SOT 148061 SOS 58779 HAS SOPS 58779 HAS SOUS 34286 HAS SOUPS 34286 WITH SCORE 34344.779
AT ITER 8034 NEW BEST:: SOT 148061 SOS 58767 HAS SOPS 58767 HAS SOUS 34274 HAS SOUPS 34274 WITH SCORE 34332.767
AT ITER 8047 NEW BEST:: SOT 148034 SOS 58809 HAS SOPS 58809 HAS SOUS 34272 HAS SOUPS 34272 WITH SCORE 34330.809
AT ITER 8053 NEW BEST:: SOT 148034 SOS 58825 HAS SOPS 58825 HAS SOUS 34260 HAS SOUPS 34260 WITH SCORE 34318.825
AT ITER 8056 NEW BEST:: SOT 148028 SOS 58823 HAS SOPS 58823 HAS SOUS 34248 HAS SOUPS 34248 WITH SCORE 34306.823
AT ITER 8071 NEW BEST:: SOT 148012 SOS 58817 HAS SOPS 58817 HAS SOUS 34244 HAS SOUPS 34244 WITH SCORE 34302.817
AT ITER 8074 NEW BEST:: SOT 147942 SOS 58747 HAS SOPS 58747 HAS SOUS 34166 HAS SOUPS 34166 WITH SCORE 34224.747
AT ITER 8112 NEW BEST:: SOT 147930 SOS 58735 HAS SOPS 58735 HAS SOUS 34154 HAS SOUPS 34154 WITH SCORE 34212.735
AT ITER 8118 NEW BEST:: SOT 147923 SOS 58716 HAS SOPS 58716 HAS SOUS 34102 HAS SOUPS 34102 WITH SCORE 34160.716
AT ITER 8171 NEW BEST:: SOT 147915 SOS 58708 HAS SOPS 58708 HAS SOUS 34094 HAS SOUPS 34094 WITH SCORE 34152.708
AT ITER 8199 NEW BEST:: SOT 147953 SOS 58752 HAS SOPS 58752 HAS SOUS 34063 HAS SOUPS 34063 WITH SCORE 34121.752
AT ITER 8211 NEW BEST:: SOT 147793 SOS 58587 HAS SOPS 58587 HAS SOUS 33775 HAS SOUPS 33775 WITH SCORE 33833.587
AT ITER 8243 NEW BEST:: SOT 147779 SOS 58573 HAS SOPS 58573 HAS SOUS 33761 HAS SOUPS 33761 WITH SCORE 33819.573
AT ITER 8272 NEW BEST:: SOT 147777 SOS 58557 HAS SOPS 58557 HAS SOUS 33754 HAS SOUPS 33754 WITH SCORE 33812.557
AT ITER 8337 NEW BEST:: SOT 147768 SOS 58548 HAS SOPS 58548 HAS SOUS 33745 HAS SOUPS 33745 WITH SCORE 33803.548
AT ITER 8362 NEW BEST:: SOT 147768 SOS 58487 HAS SOPS 58487 HAS SOUS 33737 HAS SOUPS 33737 WITH SCORE 33795.487
AT ITER 8376 NEW BEST:: SOT 147765 SOS 58483 HAS SOPS 58483 HAS SOUS 33727 HAS SOUPS 33727 WITH SCORE 33785.483
AT ITER 8381 NEW BEST:: SOT 147765 SOS 58467 HAS SOPS 58467 HAS SOUS 33727 HAS SOUPS 33727 WITH SCORE 33785.467
AT ITER 8414 NEW BEST:: SOT 147724 SOS 58195 HAS SOPS 58195 HAS SOUS 33678 HAS SOUPS 33678 WITH SCORE 33736.195
AT ITER 8421 NEW BEST:: SOT 147714 SOS 58185 HAS SOPS 58185 HAS SOUS 33663 HAS SOUPS 33663 WITH SCORE 33721.185
AT ITER 8425 NEW BEST:: SOT 147699 SOS 58159 HAS SOPS 58159 HAS SOUS 33617 HAS SOUPS 33617 WITH SCORE 33675.159
AT ITER 8430 NEW BEST:: SOT 147699 SOS 58109 HAS SOPS 58109 HAS SOUS 33617 HAS SOUPS 33617 WITH SCORE 33675.109
AT ITER 8445 NEW BEST:: SOT 147699 SOS 58106 HAS SOPS 58106 HAS SOUS 33614 HAS SOUPS 33614 WITH SCORE 33672.106
AT ITER 8451 NEW BEST:: SOT 147633 SOS 58040 HAS SOPS 58040 HAS SOUS 33551 HAS SOUPS 33551 WITH SCORE 33609.04
AT ITER 8461 NEW BEST:: SOT 147633 SOS 58034 HAS SOPS 58034 HAS SOUS 33547 HAS SOUPS 33547 WITH SCORE 33605.034
AT ITER 8465 NEW BEST:: SOT 147666 SOS 58031 HAS SOPS 58031 HAS SOUS 33503 HAS SOUPS 33503 WITH SCORE 33561.031
AT ITER 8473 NEW BEST:: SOT 147670 SOS 58028 HAS SOPS 58028 HAS SOUS 33500 HAS SOUPS 33500 WITH SCORE 33558.028
AT ITER 8479 NEW BEST:: SOT 147646 SOS 58003 HAS SOPS 58003 HAS SOUS 33473 HAS SOUPS 33473 WITH SCORE 33531.003
AT ITER 8525 NEW BEST:: SOT 147437 SOS 57913 HAS SOPS 57913 HAS SOUS 33419 HAS SOUPS 33419 WITH SCORE 33476.913
AT ITER 8529 NEW BEST:: SOT 147437 SOS 57878 HAS SOPS 57878 HAS SOUS 33396 HAS SOUPS 33396 WITH SCORE 33453.878
AT ITER 8544 NEW BEST:: SOT 147444 SOS 57872 HAS SOPS 57872 HAS SOUS 33382 HAS SOUPS 33382 WITH SCORE 33439.872
AT ITER 8552 NEW BEST:: SOT 147395 SOS 57789 HAS SOPS 57789 HAS SOUS 33278 HAS SOUPS 33278 WITH SCORE 33335.789
AT ITER 8567 NEW BEST:: SOT 147390 SOS 57799 HAS SOPS 57799 HAS SOUS 33261 HAS SOUPS 33261 WITH SCORE 33318.799
AT ITER 8589 NEW BEST:: SOT 147330 SOS 57697 HAS SOPS 57697 HAS SOUS 33149 HAS SOUPS 33149 WITH SCORE 33206.697
AT ITER 8635 NEW BEST:: SOT 147448 SOS 57696 HAS SOPS 57696 HAS SOUS 33112 HAS SOUPS 33112 WITH SCORE 33169.696
AT ITER 8677 NEW BEST:: SOT 147446 SOS 57680 HAS SOPS 57680 HAS SOUS 33096 HAS SOUPS 33096 WITH SCORE 33153.68
AT ITER 8683 NEW BEST:: SOT 147395 SOS 57522 HAS SOPS 57522 HAS SOUS 33060 HAS SOUPS 33060 WITH SCORE 33117.522
AT ITER 8701 NEW BEST:: SOT 147367 SOS 57494 HAS SOPS 57494 HAS SOUS 33032 HAS SOUPS 33032 WITH SCORE 33089.494
AT ITER 8726 NEW BEST:: SOT 147366 SOS 57493 HAS SOPS 57493 HAS SOUS 33030 HAS SOUPS 33030 WITH SCORE 33087.493
AT ITER 8775 NEW BEST:: SOT 147370 SOS 57489 HAS SOPS 57489 HAS SOUS 33030 HAS SOUPS 33030 WITH SCORE 33087.489
AT ITER 8783 NEW BEST:: SOT 147307 SOS 57426 HAS SOPS 57426 HAS SOUS 32967 HAS SOUPS 32967 WITH SCORE 33024.426
AT ITER 8859 NEW BEST:: SOT 147285 SOS 57338 HAS SOPS 57338 HAS SOUS 32923 HAS SOUPS 32923 WITH SCORE 32980.338
AT ITER 8894 NEW BEST:: SOT 147281 SOS 57186 HAS SOPS 57186 HAS SOUS 32876 HAS SOUPS 32876 WITH SCORE 32933.186
AT ITER 8915 NEW BEST:: SOT 147234 SOS 57093 HAS SOPS 57093 HAS SOUS 32784 HAS SOUPS 32784 WITH SCORE 32841.093
AT ITER 8919 NEW BEST:: SOT 147234 SOS 56972 HAS SOPS 56972 HAS SOUS 32763 HAS SOUPS 32763 WITH SCORE 32819.972
AT ITER 8953 NEW BEST:: SOT 147234 SOS 56967 HAS SOPS 56967 HAS SOUS 32763 HAS SOUPS 32763 WITH SCORE 32819.967
AT ITER 8961 NEW BEST:: SOT 147126 SOS 56859 HAS SOPS 56859 HAS SOUS 32635 HAS SOUPS 32635 WITH SCORE 32691.859
AT ITER 8982 NEW BEST:: SOT 147124 SOS 56857 HAS SOPS 56857 HAS SOUS 32633 HAS SOUPS 32633 WITH SCORE 32689.857
AT ITER 8984 NEW BEST:: SOT 147124 SOS 56994 HAS SOPS 56994 HAS SOUS 32620 HAS SOUPS 32620 WITH SCORE 32676.994
AT ITER 8994 NEW BEST:: SOT 147102 SOS 56938 HAS SOPS 56938 HAS SOUS 32586 HAS SOUPS 32586 WITH SCORE 32642.938
AT ITER 9004 NEW BEST:: SOT 147051 SOS 56859 HAS SOPS 56859 HAS SOUS 32548 HAS SOUPS 32548 WITH SCORE 32604.859
AT ITER 9033 NEW BEST:: SOT 147023 SOS 56831 HAS SOPS 56831 HAS SOUS 32547 HAS SOUPS 32547 WITH SCORE 32603.831
AT ITER 9071 NEW BEST:: SOT 147029 SOS 56588 HAS SOPS 56588 HAS SOUS 32538 HAS SOUPS 32538 WITH SCORE 32594.588
AT ITER 9132 NEW BEST:: SOT 147056 SOS 56623 HAS SOPS 56623 HAS SOUS 32503 HAS SOUPS 32503 WITH SCORE 32559.623
AT ITER 9146 NEW BEST:: SOT 147055 SOS 56622 HAS SOPS 56622 HAS SOUS 32501 HAS SOUPS 32501 WITH SCORE 32557.622
AT ITER 9152 NEW BEST:: SOT 147054 SOS 56578 HAS SOPS 56578 HAS SOUS 32499 HAS SOUPS 32499 WITH SCORE 32555.578
AT ITER 9192 NEW BEST:: SOT 147032 SOS 56639 HAS SOPS 56639 HAS SOUS 32495 HAS SOUPS 32495 WITH SCORE 32551.639
AT ITER 9203 NEW BEST:: SOT 147032 SOS 56625 HAS SOPS 56625 HAS SOUS 32487 HAS SOUPS 32487 WITH SCORE 32543.625
AT ITER 9227 NEW BEST:: SOT 146995 SOS 56632 HAS SOPS 56632 HAS SOUS 32461 HAS SOUPS 32461 WITH SCORE 32517.632
AT ITER 9357 NEW BEST:: SOT 146993 SOS 56626 HAS SOPS 56626 HAS SOUS 32447 HAS SOUPS 32447 WITH SCORE 32503.626
AT ITER 9379 NEW BEST:: SOT 146993 SOS 56617 HAS SOPS 56617 HAS SOUS 32447 HAS SOUPS 32447 WITH SCORE 32503.617
AT ITER 9382 NEW BEST:: SOT 146985 SOS 56618 HAS SOPS 56618 HAS SOUS 32442 HAS SOUPS 32442 WITH SCORE 32498.618
AT ITER 9397 NEW BEST:: SOT 146971 SOS 56598 HAS SOPS 56598 HAS SOUS 32439 HAS SOUPS 32439 WITH SCORE 32495.598
AT ITER 9440 NEW BEST:: SOT 146971 SOS 56590 HAS SOPS 56590 HAS SOUS 32438 HAS SOUPS 32438 WITH SCORE 32494.59
AT ITER 9447 NEW BEST:: SOT 146926 SOS 56530 HAS SOPS 56530 HAS SOUS 32378 HAS SOUPS 32378 WITH SCORE 32434.53
AT ITER 9463 NEW BEST:: SOT 146917 SOS 56486 HAS SOPS 56486 HAS SOUS 32368 HAS SOUPS 32368 WITH SCORE 32424.486
AT ITER 9505 NEW BEST:: SOT 146915 SOS 56488 HAS SOPS 56488 HAS SOUS 32360 HAS SOUPS 32360 WITH SCORE 32416.488
AT ITER 9543 NEW BEST:: SOT 146902 SOS 56406 HAS SOPS 56406 HAS SOUS 32315 HAS SOUPS 32315 WITH SCORE 32371.406
AT ITER 9567 NEW BEST:: SOT 146881 SOS 56381 HAS SOPS 56381 HAS SOUS 32314 HAS SOUPS 32314 WITH SCORE 32370.381
AT ITER 9576 NEW BEST:: SOT 146904 SOS 56376 HAS SOPS 56376 HAS SOUS 32277 HAS SOUPS 32277 WITH SCORE 32333.376
AT ITER 9599 NEW BEST:: SOT 146726 SOS 56198 HAS SOPS 56198 HAS SOUS 32099 HAS SOUPS 32099 WITH SCORE 32155.198
AT ITER 9606 NEW BEST:: SOT 146691 SOS 56163 HAS SOPS 56163 HAS SOUS 32051 HAS SOUPS 32051 WITH SCORE 32107.163
AT ITER 9650 NEW BEST:: SOT 146643 SOS 56014 HAS SOPS 56014 HAS SOUS 31966 HAS SOUPS 31966 WITH SCORE 32022.014
AT ITER 9655 NEW BEST:: SOT 146642 SOS 56010 HAS SOPS 56010 HAS SOUS 31962 HAS SOUPS 31962 WITH SCORE 32018.01
AT ITER 9667 NEW BEST:: SOT 146658 SOS 55994 HAS SOPS 55994 HAS SOUS 31962 HAS SOUPS 31962 WITH SCORE 32017.994
AT ITER 9670 NEW BEST:: SOT 146662 SOS 56029 HAS SOPS 56029 HAS SOUS 31881 HAS SOUPS 31881 WITH SCORE 31937.029
AT ITER 9693 NEW BEST:: SOT 146612 SOS 55859 HAS SOPS 55859 HAS SOUS 31801 HAS SOUPS 31801 WITH SCORE 31856.859
AT ITER 9711 NEW BEST:: SOT 146600 SOS 55679 HAS SOPS 55679 HAS SOUS 31788 HAS SOUPS 31788 WITH SCORE 31843.679
AT ITER 9723 NEW BEST:: SOT 146594 SOS 55673 HAS SOPS 55673 HAS SOUS 31788 HAS SOUPS 31788 WITH SCORE 31843.673
AT ITER 9732 NEW BEST:: SOT 146557 SOS 55301 HAS SOPS 55301 HAS SOUS 31786 HAS SOUPS 31786 WITH SCORE 31841.301
AT ITER 9764 NEW BEST:: SOT 146557 SOS 55264 HAS SOPS 55264 HAS SOUS 31776 HAS SOUPS 31776 WITH SCORE 31831.264
AT ITER 9780 NEW BEST:: SOT 146557 SOS 55228 HAS SOPS 55228 HAS SOUS 31758 HAS SOUPS 31758 WITH SCORE 31813.228
AT ITER 9787 NEW BEST:: SOT 146551 SOS 55220 HAS SOPS 55220 HAS SOUS 31742 HAS SOUPS 31742 WITH SCORE 31797.22
AT ITER 9857 NEW BEST:: SOT 146544 SOS 55217 HAS SOPS 55217 HAS SOUS 31736 HAS SOUPS 31736 WITH SCORE 31791.217
AT ITER 9877 NEW BEST:: SOT 146544 SOS 55217 HAS SOPS 55217 HAS SOUS 31734 HAS SOUPS 31734 WITH SCORE 31789.217
AT ITER 9920 NEW BEST:: SOT 146542 SOS 55213 HAS SOPS 55213 HAS SOUS 31730 HAS SOUPS 31730 WITH SCORE 31785.213
AT ITER 9980 NEW BEST:: SOT 146519 SOS 55192 HAS SOPS 55192 HAS SOUS 31645 HAS SOUPS 31645 WITH SCORE 31700.192
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 8534276 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16127280 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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ 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="ShieldRVs-PT-030A"
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 ShieldRVs-PT-030A, 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-167905979200120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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