Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 39K Feb 26 14:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 204K Feb 26 14:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 99K Feb 26 14:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 405K Feb 26 14:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 22K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 29K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 57K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 296K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 123K Feb 26 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 474K Feb 26 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 255K 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 1679317907948

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=UtilityControlRoom-PT-Z4T4N08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 13:11:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 13:11:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 13:11:49] [INFO ] Load time of PNML (sax parser for PT used): 66 ms
[2023-03-20 13:11:49] [INFO ] Transformed 302 places.
[2023-03-20 13:11:49] [INFO ] Transformed 600 transitions.
[2023-03-20 13:11:49] [INFO ] Parsed PT model containing 302 places and 600 transitions and 1928 arcs in 145 ms.
[2023-03-20 13:11:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 302 places, 600 transitions and 1928 arcs took 7 ms.
Total runtime 185 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T4N08
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: 302 places, 600 transitions, 1928 arcs.
AT ITER 0 NEW BEST:: SOT 148019 SOS 118663 HAS SOPS 118663 HAS SOUS 66778 HAS SOUPS 66778 WITH SCORE 66896.663
AT ITER 1 NEW BEST:: SOT 147957 SOS 118751 HAS SOPS 118751 HAS SOUS 66688 HAS SOUPS 66688 WITH SCORE 66806.751
AT ITER 4 NEW BEST:: SOT 147902 SOS 118681 HAS SOPS 118681 HAS SOUS 66622 HAS SOUPS 66622 WITH SCORE 66740.681
AT ITER 6 NEW BEST:: SOT 147834 SOS 118269 HAS SOPS 118269 HAS SOUS 66408 HAS SOUPS 66408 WITH SCORE 66526.269
AT ITER 9 NEW BEST:: SOT 147834 SOS 118254 HAS SOPS 118254 HAS SOUS 66399 HAS SOUPS 66399 WITH SCORE 66517.254
AT ITER 12 NEW BEST:: SOT 147742 SOS 118039 HAS SOPS 118039 HAS SOUS 66213 HAS SOUPS 66213 WITH SCORE 66331.039
AT ITER 20 NEW BEST:: SOT 147735 SOS 118032 HAS SOPS 118032 HAS SOUS 66206 HAS SOUPS 66206 WITH SCORE 66324.032
AT ITER 22 NEW BEST:: SOT 147645 SOS 117820 HAS SOPS 117820 HAS SOUS 66077 HAS SOUPS 66077 WITH SCORE 66194.82
AT ITER 23 NEW BEST:: SOT 147619 SOS 117872 HAS SOPS 117872 HAS SOUS 66029 HAS SOUPS 66029 WITH SCORE 66146.872
AT ITER 25 NEW BEST:: SOT 147582 SOS 117946 HAS SOPS 117946 HAS SOUS 65893 HAS SOUPS 65893 WITH SCORE 66010.946
AT ITER 29 NEW BEST:: SOT 147555 SOS 117892 HAS SOPS 117892 HAS SOUS 65849 HAS SOUPS 65849 WITH SCORE 65966.892
AT ITER 32 NEW BEST:: SOT 147427 SOS 117697 HAS SOPS 117697 HAS SOUS 65259 HAS SOUPS 65259 WITH SCORE 65376.697
AT ITER 33 NEW BEST:: SOT 147247 SOS 117337 HAS SOPS 117337 HAS SOUS 64508 HAS SOUPS 64508 WITH SCORE 64625.337
AT ITER 34 NEW BEST:: SOT 147216 SOS 117275 HAS SOPS 117275 HAS SOUS 64036 HAS SOUPS 64036 WITH SCORE 64153.275
AT ITER 36 NEW BEST:: SOT 147186 SOS 116837 HAS SOPS 116837 HAS SOUS 63900 HAS SOUPS 63900 WITH SCORE 64016.837
AT ITER 38 NEW BEST:: SOT 147293 SOS 116327 HAS SOPS 116327 HAS SOUS 63864 HAS SOUPS 63864 WITH SCORE 63980.327
AT ITER 45 NEW BEST:: SOT 147131 SOS 113038 HAS SOPS 113038 HAS SOUS 63383 HAS SOUPS 63383 WITH SCORE 63496.038
AT ITER 47 NEW BEST:: SOT 146935 SOS 109789 HAS SOPS 109789 HAS SOUS 60240 HAS SOUPS 60240 WITH SCORE 60349.789
AT ITER 48 NEW BEST:: SOT 146858 SOS 109598 HAS SOPS 109598 HAS SOUS 60025 HAS SOUPS 60025 WITH SCORE 60134.598
AT ITER 49 NEW BEST:: SOT 146858 SOS 109514 HAS SOPS 109514 HAS SOUS 60025 HAS SOUPS 60025 WITH SCORE 60134.514
AT ITER 50 NEW BEST:: SOT 146858 SOS 109511 HAS SOPS 109511 HAS SOUS 60025 HAS SOUPS 60025 WITH SCORE 60134.511
AT ITER 54 NEW BEST:: SOT 143707 SOS 106371 HAS SOPS 106371 HAS SOUS 58276 HAS SOUPS 58276 WITH SCORE 58382.371
AT ITER 56 NEW BEST:: SOT 143900 SOS 106435 HAS SOPS 106435 HAS SOUS 58137 HAS SOUPS 58137 WITH SCORE 58243.435
AT ITER 57 NEW BEST:: SOT 143900 SOS 106699 HAS SOPS 106699 HAS SOUS 58099 HAS SOUPS 58099 WITH SCORE 58205.699
AT ITER 62 NEW BEST:: SOT 143881 SOS 106665 HAS SOPS 106665 HAS SOUS 58044 HAS SOUPS 58044 WITH SCORE 58150.665
AT ITER 64 NEW BEST:: SOT 143915 SOS 106453 HAS SOPS 106453 HAS SOUS 57958 HAS SOUPS 57958 WITH SCORE 58064.453
AT ITER 66 NEW BEST:: SOT 143884 SOS 106079 HAS SOPS 106079 HAS SOUS 57707 HAS SOUPS 57707 WITH SCORE 57813.079
AT ITER 68 NEW BEST:: SOT 143825 SOS 105756 HAS SOPS 105756 HAS SOUS 57526 HAS SOUPS 57526 WITH SCORE 57631.756
AT ITER 70 NEW BEST:: SOT 143732 SOS 105687 HAS SOPS 105687 HAS SOUS 57377 HAS SOUPS 57377 WITH SCORE 57482.687
AT ITER 73 NEW BEST:: SOT 143811 SOS 105552 HAS SOPS 105552 HAS SOUS 57324 HAS SOUPS 57324 WITH SCORE 57429.552
AT ITER 76 NEW BEST:: SOT 143785 SOS 105500 HAS SOPS 105500 HAS SOUS 57246 HAS SOUPS 57246 WITH SCORE 57351.5
AT ITER 77 NEW BEST:: SOT 143785 SOS 105498 HAS SOPS 105498 HAS SOUS 57245 HAS SOUPS 57245 WITH SCORE 57350.498
AT ITER 82 NEW BEST:: SOT 143427 SOS 105401 HAS SOPS 105401 HAS SOUS 56990 HAS SOUPS 56990 WITH SCORE 57095.401
AT ITER 90 NEW BEST:: SOT 143286 SOS 105583 HAS SOPS 105583 HAS SOUS 56831 HAS SOUPS 56831 WITH SCORE 56936.583
AT ITER 93 NEW BEST:: SOT 143286 SOS 105147 HAS SOPS 105147 HAS SOUS 56722 HAS SOUPS 56722 WITH SCORE 56827.147
AT ITER 97 NEW BEST:: SOT 143286 SOS 105147 HAS SOPS 105147 HAS SOUS 56718 HAS SOUPS 56718 WITH SCORE 56823.147
AT ITER 101 NEW BEST:: SOT 143239 SOS 104491 HAS SOPS 104491 HAS SOUS 56453 HAS SOUPS 56453 WITH SCORE 56557.491
AT ITER 103 NEW BEST:: SOT 143221 SOS 104455 HAS SOPS 104455 HAS SOUS 56435 HAS SOUPS 56435 WITH SCORE 56539.455
AT ITER 106 NEW BEST:: SOT 143221 SOS 104455 HAS SOPS 104455 HAS SOUS 56384 HAS SOUPS 56384 WITH SCORE 56488.455
AT ITER 108 NEW BEST:: SOT 143194 SOS 104401 HAS SOPS 104401 HAS SOUS 56320 HAS SOUPS 56320 WITH SCORE 56424.401
AT ITER 110 NEW BEST:: SOT 143167 SOS 104347 HAS SOPS 104347 HAS SOUS 56297 HAS SOUPS 56297 WITH SCORE 56401.347
AT ITER 111 NEW BEST:: SOT 143167 SOS 104347 HAS SOPS 104347 HAS SOUS 56282 HAS SOUPS 56282 WITH SCORE 56386.347
AT ITER 113 NEW BEST:: SOT 141327 SOS 102507 HAS SOPS 102507 HAS SOUS 54422 HAS SOUPS 54422 WITH SCORE 54524.507
AT ITER 114 NEW BEST:: SOT 141259 SOS 102247 HAS SOPS 102247 HAS SOUS 54236 HAS SOUPS 54236 WITH SCORE 54338.247
AT ITER 119 NEW BEST:: SOT 141238 SOS 101949 HAS SOPS 101949 HAS SOUS 54090 HAS SOUPS 54090 WITH SCORE 54191.949
AT ITER 121 NEW BEST:: SOT 141238 SOS 101949 HAS SOPS 101949 HAS SOUS 54086 HAS SOUPS 54086 WITH SCORE 54187.949
AT ITER 130 NEW BEST:: SOT 141136 SOS 98444 HAS SOPS 98444 HAS SOUS 51618 HAS SOUPS 51618 WITH SCORE 51716.444
AT ITER 131 NEW BEST:: SOT 141109 SOS 98078 HAS SOPS 98078 HAS SOUS 51487 HAS SOUPS 51487 WITH SCORE 51585.078
AT ITER 133 NEW BEST:: SOT 140954 SOS 97458 HAS SOPS 97458 HAS SOUS 51092 HAS SOUPS 51092 WITH SCORE 51189.458
AT ITER 134 NEW BEST:: SOT 140920 SOS 96896 HAS SOPS 96896 HAS SOUS 50871 HAS SOUPS 50871 WITH SCORE 50967.896
AT ITER 137 NEW BEST:: SOT 140920 SOS 96832 HAS SOPS 96832 HAS SOUS 50839 HAS SOUPS 50839 WITH SCORE 50935.832
AT ITER 140 NEW BEST:: SOT 140935 SOS 96694 HAS SOPS 96694 HAS SOUS 50781 HAS SOUPS 50781 WITH SCORE 50877.694
AT ITER 143 NEW BEST:: SOT 140931 SOS 96612 HAS SOPS 96612 HAS SOUS 50765 HAS SOUPS 50765 WITH SCORE 50861.612
AT ITER 146 NEW BEST:: SOT 140960 SOS 92593 HAS SOPS 92593 HAS SOUS 47143 HAS SOUPS 47143 WITH SCORE 47235.593
AT ITER 152 NEW BEST:: SOT 140947 SOS 92204 HAS SOPS 92204 HAS SOUS 47130 HAS SOUPS 47130 WITH SCORE 47222.204
AT ITER 156 NEW BEST:: SOT 140893 SOS 91650 HAS SOPS 91650 HAS SOUS 47128 HAS SOUPS 47128 WITH SCORE 47219.65
AT ITER 157 NEW BEST:: SOT 140949 SOS 91218 HAS SOPS 91218 HAS SOUS 47025 HAS SOUPS 47025 WITH SCORE 47116.218
AT ITER 160 NEW BEST:: SOT 140852 SOS 90788 HAS SOPS 90788 HAS SOUS 46869 HAS SOUPS 46869 WITH SCORE 46959.788
AT ITER 162 NEW BEST:: SOT 140816 SOS 90875 HAS SOPS 90875 HAS SOUS 46780 HAS SOUPS 46780 WITH SCORE 46870.875
AT ITER 163 NEW BEST:: SOT 140855 SOS 90792 HAS SOPS 90792 HAS SOUS 46734 HAS SOUPS 46734 WITH SCORE 46824.792
AT ITER 164 NEW BEST:: SOT 140905 SOS 89856 HAS SOPS 89856 HAS SOUS 46656 HAS SOUPS 46656 WITH SCORE 46745.856
AT ITER 165 NEW BEST:: SOT 140847 SOS 89284 HAS SOPS 89284 HAS SOUS 46546 HAS SOUPS 46546 WITH SCORE 46635.284
AT ITER 166 NEW BEST:: SOT 140767 SOS 89204 HAS SOPS 89204 HAS SOUS 46445 HAS SOUPS 46445 WITH SCORE 46534.204
AT ITER 167 NEW BEST:: SOT 140697 SOS 88168 HAS SOPS 88168 HAS SOUS 46145 HAS SOUPS 46145 WITH SCORE 46233.168
AT ITER 168 NEW BEST:: SOT 140623 SOS 87113 HAS SOPS 87113 HAS SOUS 45796 HAS SOUPS 45796 WITH SCORE 45883.113
AT ITER 170 NEW BEST:: SOT 140539 SOS 86994 HAS SOPS 86994 HAS SOUS 45667 HAS SOUPS 45667 WITH SCORE 45753.994
AT ITER 171 NEW BEST:: SOT 140502 SOS 86444 HAS SOPS 86444 HAS SOUS 45402 HAS SOUPS 45402 WITH SCORE 45488.444
AT ITER 174 NEW BEST:: SOT 140457 SOS 85988 HAS SOPS 85988 HAS SOUS 45207 HAS SOUPS 45207 WITH SCORE 45292.988
AT ITER 178 NEW BEST:: SOT 140420 SOS 86078 HAS SOPS 86078 HAS SOUS 45132 HAS SOUPS 45132 WITH SCORE 45218.078
AT ITER 181 NEW BEST:: SOT 140428 SOS 85858 HAS SOPS 85858 HAS SOUS 45128 HAS SOUPS 45128 WITH SCORE 45213.858
AT ITER 183 NEW BEST:: SOT 140419 SOS 85915 HAS SOPS 85915 HAS SOUS 45095 HAS SOUPS 45095 WITH SCORE 45180.915
AT ITER 203 NEW BEST:: SOT 140419 SOS 85877 HAS SOPS 85877 HAS SOUS 45095 HAS SOUPS 45095 WITH SCORE 45180.877
AT ITER 204 NEW BEST:: SOT 140567 SOS 85799 HAS SOPS 85799 HAS SOUS 45017 HAS SOUPS 45017 WITH SCORE 45102.799
AT ITER 206 NEW BEST:: SOT 140576 SOS 85665 HAS SOPS 85665 HAS SOUS 44995 HAS SOUPS 44995 WITH SCORE 45080.665
AT ITER 208 NEW BEST:: SOT 140542 SOS 85463 HAS SOPS 85463 HAS SOUS 44925 HAS SOUPS 44925 WITH SCORE 45010.463
AT ITER 209 NEW BEST:: SOT 140375 SOS 84731 HAS SOPS 84731 HAS SOUS 44641 HAS SOUPS 44641 WITH SCORE 44725.731
AT ITER 213 NEW BEST:: SOT 140340 SOS 84661 HAS SOPS 84661 HAS SOUS 44595 HAS SOUPS 44595 WITH SCORE 44679.661
AT ITER 230 NEW BEST:: SOT 140242 SOS 84631 HAS SOPS 84631 HAS SOUS 44568 HAS SOUPS 44568 WITH SCORE 44652.631
AT ITER 231 NEW BEST:: SOT 140221 SOS 84589 HAS SOPS 84589 HAS SOUS 44568 HAS SOUPS 44568 WITH SCORE 44652.589
AT ITER 234 NEW BEST:: SOT 140187 SOS 83642 HAS SOPS 83642 HAS SOUS 44352 HAS SOUPS 44352 WITH SCORE 44435.642
AT ITER 239 NEW BEST:: SOT 140187 SOS 83628 HAS SOPS 83628 HAS SOUS 44345 HAS SOUPS 44345 WITH SCORE 44428.628
AT ITER 241 NEW BEST:: SOT 140187 SOS 83598 HAS SOPS 83598 HAS SOUS 44325 HAS SOUPS 44325 WITH SCORE 44408.598
AT ITER 242 NEW BEST:: SOT 140137 SOS 83567 HAS SOPS 83567 HAS SOUS 44256 HAS SOUPS 44256 WITH SCORE 44339.567
AT ITER 243 NEW BEST:: SOT 140106 SOS 83340 HAS SOPS 83340 HAS SOUS 44123 HAS SOUPS 44123 WITH SCORE 44206.34
AT ITER 252 NEW BEST:: SOT 140106 SOS 83306 HAS SOPS 83306 HAS SOUS 44123 HAS SOUPS 44123 WITH SCORE 44206.306
AT ITER 260 NEW BEST:: SOT 140055 SOS 83272 HAS SOPS 83272 HAS SOUS 44022 HAS SOUPS 44022 WITH SCORE 44105.272
AT ITER 263 NEW BEST:: SOT 140055 SOS 83270 HAS SOPS 83270 HAS SOUS 44022 HAS SOUPS 44022 WITH SCORE 44105.27
AT ITER 266 NEW BEST:: SOT 140055 SOS 83220 HAS SOPS 83220 HAS SOUS 43972 HAS SOUPS 43972 WITH SCORE 44055.22
AT ITER 268 NEW BEST:: SOT 139955 SOS 82832 HAS SOPS 82832 HAS SOUS 43813 HAS SOUPS 43813 WITH SCORE 43895.832
AT ITER 269 NEW BEST:: SOT 139627 SOS 82362 HAS SOPS 82362 HAS SOUS 43584 HAS SOUPS 43584 WITH SCORE 43666.362
AT ITER 270 NEW BEST:: SOT 139609 SOS 82282 HAS SOPS 82282 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43615.282
AT ITER 272 NEW BEST:: SOT 139609 SOS 82124 HAS SOPS 82124 HAS SOUS 43495 HAS SOUPS 43495 WITH SCORE 43577.124
AT ITER 273 NEW BEST:: SOT 139608 SOS 82122 HAS SOPS 82122 HAS SOUS 43493 HAS SOUPS 43493 WITH SCORE 43575.122
AT ITER 277 NEW BEST:: SOT 139608 SOS 82092 HAS SOPS 82092 HAS SOUS 43488 HAS SOUPS 43488 WITH SCORE 43570.092
AT ITER 278 NEW BEST:: SOT 139743 SOS 81364 HAS SOPS 81364 HAS SOUS 43458 HAS SOUPS 43458 WITH SCORE 43539.364
AT ITER 282 NEW BEST:: SOT 139737 SOS 81355 HAS SOPS 81355 HAS SOUS 43452 HAS SOUPS 43452 WITH SCORE 43533.355
AT ITER 288 NEW BEST:: SOT 139737 SOS 81343 HAS SOPS 81343 HAS SOUS 43452 HAS SOUPS 43452 WITH SCORE 43533.343
AT ITER 292 NEW BEST:: SOT 139737 SOS 81267 HAS SOPS 81267 HAS SOUS 43448 HAS SOUPS 43448 WITH SCORE 43529.267
AT ITER 296 NEW BEST:: SOT 139552 SOS 81226 HAS SOPS 81226 HAS SOUS 43250 HAS SOUPS 43250 WITH SCORE 43331.226
AT ITER 297 NEW BEST:: SOT 139549 SOS 81220 HAS SOPS 81220 HAS SOUS 43250 HAS SOUPS 43250 WITH SCORE 43331.22
AT ITER 312 NEW BEST:: SOT 139548 SOS 80940 HAS SOPS 80940 HAS SOUS 43246 HAS SOUPS 43246 WITH SCORE 43326.94
AT ITER 313 NEW BEST:: SOT 139548 SOS 81035 HAS SOPS 81035 HAS SOUS 43234 HAS SOUPS 43234 WITH SCORE 43315.035
AT ITER 314 NEW BEST:: SOT 139685 SOS 81278 HAS SOPS 81278 HAS SOUS 43199 HAS SOUPS 43199 WITH SCORE 43280.278
AT ITER 315 NEW BEST:: SOT 139543 SOS 80972 HAS SOPS 80972 HAS SOUS 43030 HAS SOUPS 43030 WITH SCORE 43110.972
AT ITER 317 NEW BEST:: SOT 139543 SOS 80739 HAS SOPS 80739 HAS SOUS 43026 HAS SOUPS 43026 WITH SCORE 43106.739
AT ITER 318 NEW BEST:: SOT 139518 SOS 80733 HAS SOPS 80733 HAS SOUS 43012 HAS SOUPS 43012 WITH SCORE 43092.733
AT ITER 324 NEW BEST:: SOT 139518 SOS 80553 HAS SOPS 80553 HAS SOUS 42947 HAS SOUPS 42947 WITH SCORE 43027.553
AT ITER 335 NEW BEST:: SOT 139426 SOS 80357 HAS SOPS 80357 HAS SOUS 42943 HAS SOUPS 42943 WITH SCORE 43023.357
AT ITER 337 NEW BEST:: SOT 139353 SOS 80082 HAS SOPS 80082 HAS SOUS 42943 HAS SOUPS 42943 WITH SCORE 43023.082
AT ITER 339 NEW BEST:: SOT 139325 SOS 79314 HAS SOPS 79314 HAS SOUS 42806 HAS SOUPS 42806 WITH SCORE 42885.314
AT ITER 343 NEW BEST:: SOT 139097 SOS 79086 HAS SOPS 79086 HAS SOUS 42578 HAS SOUPS 42578 WITH SCORE 42657.086
AT ITER 360 NEW BEST:: SOT 139096 SOS 78985 HAS SOPS 78985 HAS SOUS 42577 HAS SOUPS 42577 WITH SCORE 42655.985
AT ITER 364 NEW BEST:: SOT 139088 SOS 78969 HAS SOPS 78969 HAS SOUS 42559 HAS SOUPS 42559 WITH SCORE 42637.969
AT ITER 368 NEW BEST:: SOT 139013 SOS 78801 HAS SOPS 78801 HAS SOUS 42429 HAS SOUPS 42429 WITH SCORE 42507.801
AT ITER 370 NEW BEST:: SOT 139151 SOS 77833 HAS SOPS 77833 HAS SOUS 42403 HAS SOUPS 42403 WITH SCORE 42480.833
AT ITER 371 NEW BEST:: SOT 139184 SOS 77572 HAS SOPS 77572 HAS SOUS 42367 HAS SOUPS 42367 WITH SCORE 42444.572
AT ITER 372 NEW BEST:: SOT 139182 SOS 77568 HAS SOPS 77568 HAS SOUS 42365 HAS SOUPS 42365 WITH SCORE 42442.568
AT ITER 388 NEW BEST:: SOT 139182 SOS 77532 HAS SOPS 77532 HAS SOUS 42365 HAS SOUPS 42365 WITH SCORE 42442.532
AT ITER 390 NEW BEST:: SOT 139182 SOS 77532 HAS SOPS 77532 HAS SOUS 42359 HAS SOUPS 42359 WITH SCORE 42436.532
AT ITER 394 NEW BEST:: SOT 139182 SOS 77580 HAS SOPS 77580 HAS SOUS 42343 HAS SOUPS 42343 WITH SCORE 42420.58
AT ITER 395 NEW BEST:: SOT 139153 SOS 77565 HAS SOPS 77565 HAS SOUS 42299 HAS SOUPS 42299 WITH SCORE 42376.565
AT ITER 398 NEW BEST:: SOT 139129 SOS 77541 HAS SOPS 77541 HAS SOUS 42262 HAS SOUPS 42262 WITH SCORE 42339.541
AT ITER 402 NEW BEST:: SOT 139123 SOS 77521 HAS SOPS 77521 HAS SOUS 42226 HAS SOUPS 42226 WITH SCORE 42303.521
AT ITER 412 NEW BEST:: SOT 139122 SOS 77519 HAS SOPS 77519 HAS SOUS 42225 HAS SOUPS 42225 WITH SCORE 42302.519
AT ITER 418 NEW BEST:: SOT 139122 SOS 77509 HAS SOPS 77509 HAS SOUS 42220 HAS SOUPS 42220 WITH SCORE 42297.509
AT ITER 419 NEW BEST:: SOT 135262 SOS 73649 HAS SOPS 73649 HAS SOUS 40027 HAS SOUPS 40027 WITH SCORE 40100.649
AT ITER 422 NEW BEST:: SOT 127650 SOS 71018 HAS SOPS 71018 HAS SOUS 36567 HAS SOUPS 36567 WITH SCORE 36638.018
AT ITER 427 NEW BEST:: SOT 127608 SOS 70982 HAS SOPS 70982 HAS SOUS 36549 HAS SOUPS 36549 WITH SCORE 36619.982
AT ITER 428 NEW BEST:: SOT 127608 SOS 70978 HAS SOPS 70978 HAS SOUS 36493 HAS SOUPS 36493 WITH SCORE 36563.978
AT ITER 433 NEW BEST:: SOT 127608 SOS 70958 HAS SOPS 70958 HAS SOUS 36473 HAS SOUPS 36473 WITH SCORE 36543.958
AT ITER 435 NEW BEST:: SOT 127589 SOS 70646 HAS SOPS 70646 HAS SOUS 36393 HAS SOUPS 36393 WITH SCORE 36463.646
AT ITER 436 NEW BEST:: SOT 127554 SOS 70611 HAS SOPS 70611 HAS SOUS 36218 HAS SOUPS 36218 WITH SCORE 36288.611
AT ITER 438 NEW BEST:: SOT 127530 SOS 70401 HAS SOPS 70401 HAS SOUS 36184 HAS SOUPS 36184 WITH SCORE 36254.401
AT ITER 442 NEW BEST:: SOT 127487 SOS 70095 HAS SOPS 70095 HAS SOUS 36130 HAS SOUPS 36130 WITH SCORE 36200.095
AT ITER 450 NEW BEST:: SOT 126180 SOS 68788 HAS SOPS 68788 HAS SOUS 35492 HAS SOUPS 35492 WITH SCORE 35560.788
AT ITER 454 NEW BEST:: SOT 126165 SOS 68874 HAS SOPS 68874 HAS SOUS 35433 HAS SOUPS 35433 WITH SCORE 35501.874
AT ITER 456 NEW BEST:: SOT 126051 SOS 68856 HAS SOPS 68856 HAS SOUS 35357 HAS SOUPS 35357 WITH SCORE 35425.856
AT ITER 457 NEW BEST:: SOT 125949 SOS 68754 HAS SOPS 68754 HAS SOUS 35252 HAS SOUPS 35252 WITH SCORE 35320.754
AT ITER 460 NEW BEST:: SOT 125949 SOS 68756 HAS SOPS 68756 HAS SOUS 35250 HAS SOUPS 35250 WITH SCORE 35318.756
AT ITER 462 NEW BEST:: SOT 125986 SOS 68805 HAS SOPS 68805 HAS SOUS 35202 HAS SOUPS 35202 WITH SCORE 35270.805
AT ITER 467 NEW BEST:: SOT 125984 SOS 68465 HAS SOPS 68465 HAS SOUS 35141 HAS SOUPS 35141 WITH SCORE 35209.465
AT ITER 473 NEW BEST:: SOT 125986 SOS 68467 HAS SOPS 68467 HAS SOUS 35124 HAS SOUPS 35124 WITH SCORE 35192.467
AT ITER 475 NEW BEST:: SOT 125967 SOS 68107 HAS SOPS 68107 HAS SOUS 35057 HAS SOUPS 35057 WITH SCORE 35125.107
AT ITER 481 NEW BEST:: SOT 125280 SOS 67616 HAS SOPS 67616 HAS SOUS 34394 HAS SOUPS 34394 WITH SCORE 34461.616
AT ITER 482 NEW BEST:: SOT 125821 SOS 64804 HAS SOPS 64804 HAS SOUS 34287 HAS SOUPS 34287 WITH SCORE 34351.804
AT ITER 486 NEW BEST:: SOT 125755 SOS 64445 HAS SOPS 64445 HAS SOUS 34021 HAS SOUPS 34021 WITH SCORE 34085.445
AT ITER 488 NEW BEST:: SOT 125734 SOS 64391 HAS SOPS 64391 HAS SOUS 34012 HAS SOUPS 34012 WITH SCORE 34076.391
AT ITER 489 NEW BEST:: SOT 125703 SOS 64617 HAS SOPS 64617 HAS SOUS 33932 HAS SOUPS 33932 WITH SCORE 33996.617
AT ITER 493 NEW BEST:: SOT 125820 SOS 64272 HAS SOPS 64272 HAS SOUS 33887 HAS SOUPS 33887 WITH SCORE 33951.272
AT ITER 494 NEW BEST:: SOT 125798 SOS 64250 HAS SOPS 64250 HAS SOUS 33876 HAS SOUPS 33876 WITH SCORE 33940.25
AT ITER 496 NEW BEST:: SOT 125692 SOS 64142 HAS SOPS 64142 HAS SOUS 33771 HAS SOUPS 33771 WITH SCORE 33835.142
AT ITER 498 NEW BEST:: SOT 125640 SOS 64090 HAS SOPS 64090 HAS SOUS 33733 HAS SOUPS 33733 WITH SCORE 33797.09
AT ITER 502 NEW BEST:: SOT 125637 SOS 64084 HAS SOPS 64084 HAS SOUS 33730 HAS SOUPS 33730 WITH SCORE 33794.084
AT ITER 505 NEW BEST:: SOT 125696 SOS 64081 HAS SOPS 64081 HAS SOUS 33697 HAS SOUPS 33697 WITH SCORE 33761.081
AT ITER 515 NEW BEST:: SOT 125619 SOS 63883 HAS SOPS 63883 HAS SOUS 33612 HAS SOUPS 33612 WITH SCORE 33675.883
AT ITER 517 NEW BEST:: SOT 125191 SOS 64333 HAS SOPS 64333 HAS SOUS 33486 HAS SOUPS 33486 WITH SCORE 33550.333
AT ITER 521 NEW BEST:: SOT 123361 SOS 62503 HAS SOPS 62503 HAS SOUS 32339 HAS SOUPS 32339 WITH SCORE 32401.503
AT ITER 533 NEW BEST:: SOT 123253 SOS 62382 HAS SOPS 62382 HAS SOUS 32246 HAS SOUPS 32246 WITH SCORE 32308.382
AT ITER 535 NEW BEST:: SOT 123218 SOS 61778 HAS SOPS 61778 HAS SOUS 32199 HAS SOUPS 32199 WITH SCORE 32260.778
AT ITER 539 NEW BEST:: SOT 123294 SOS 61573 HAS SOPS 61573 HAS SOUS 31880 HAS SOUPS 31880 WITH SCORE 31941.573
AT ITER 541 NEW BEST:: SOT 123204 SOS 61483 HAS SOPS 61483 HAS SOUS 31844 HAS SOUPS 31844 WITH SCORE 31905.483
AT ITER 549 NEW BEST:: SOT 123127 SOS 61406 HAS SOPS 61406 HAS SOUS 31789 HAS SOUPS 31789 WITH SCORE 31850.406
AT ITER 554 NEW BEST:: SOT 123115 SOS 61423 HAS SOPS 61423 HAS SOUS 31741 HAS SOUPS 31741 WITH SCORE 31802.423
AT ITER 561 NEW BEST:: SOT 123380 SOS 61213 HAS SOPS 61213 HAS SOUS 31613 HAS SOUPS 31613 WITH SCORE 31674.213
AT ITER 564 NEW BEST:: SOT 123300 SOS 61133 HAS SOPS 61133 HAS SOUS 31561 HAS SOUPS 31561 WITH SCORE 31622.133
AT ITER 570 NEW BEST:: SOT 123253 SOS 61273 HAS SOPS 61273 HAS SOUS 31556 HAS SOUPS 31556 WITH SCORE 31617.273
AT ITER 572 NEW BEST:: SOT 123231 SOS 60901 HAS SOPS 60901 HAS SOUS 31423 HAS SOUPS 31423 WITH SCORE 31483.901
AT ITER 576 NEW BEST:: SOT 123231 SOS 60897 HAS SOPS 60897 HAS SOUS 31423 HAS SOUPS 31423 WITH SCORE 31483.897
AT ITER 581 NEW BEST:: SOT 123220 SOS 60905 HAS SOPS 60905 HAS SOUS 31382 HAS SOUPS 31382 WITH SCORE 31442.905
AT ITER 583 NEW BEST:: SOT 123220 SOS 60905 HAS SOPS 60905 HAS SOUS 31370 HAS SOUPS 31370 WITH SCORE 31430.905
AT ITER 586 NEW BEST:: SOT 123214 SOS 60713 HAS SOPS 60713 HAS SOUS 31362 HAS SOUPS 31362 WITH SCORE 31422.713
AT ITER 588 NEW BEST:: SOT 123182 SOS 60809 HAS SOPS 60809 HAS SOUS 31298 HAS SOUPS 31298 WITH SCORE 31358.809
AT ITER 597 NEW BEST:: SOT 123182 SOS 60757 HAS SOPS 60757 HAS SOUS 31298 HAS SOUPS 31298 WITH SCORE 31358.757
AT ITER 598 NEW BEST:: SOT 123180 SOS 60755 HAS SOPS 60755 HAS SOUS 31296 HAS SOUPS 31296 WITH SCORE 31356.755
AT ITER 599 NEW BEST:: SOT 123243 SOS 60711 HAS SOPS 60711 HAS SOUS 31221 HAS SOUPS 31221 WITH SCORE 31281.711
AT ITER 600 NEW BEST:: SOT 123195 SOS 60663 HAS SOPS 60663 HAS SOUS 31173 HAS SOUPS 31173 WITH SCORE 31233.663
AT ITER 622 NEW BEST:: SOT 123153 SOS 60621 HAS SOPS 60621 HAS SOUS 31132 HAS SOUPS 31132 WITH SCORE 31192.621
AT ITER 650 NEW BEST:: SOT 123157 SOS 60620 HAS SOPS 60620 HAS SOUS 31108 HAS SOUPS 31108 WITH SCORE 31168.62
AT ITER 651 NEW BEST:: SOT 122997 SOS 60356 HAS SOPS 60356 HAS SOUS 30948 HAS SOUPS 30948 WITH SCORE 31008.356
AT ITER 653 NEW BEST:: SOT 122997 SOS 60352 HAS SOPS 60352 HAS SOUS 30948 HAS SOUPS 30948 WITH SCORE 31008.352
AT ITER 666 NEW BEST:: SOT 122997 SOS 60336 HAS SOPS 60336 HAS SOUS 30944 HAS SOUPS 30944 WITH SCORE 31004.336
AT ITER 671 NEW BEST:: SOT 122997 SOS 60386 HAS SOPS 60386 HAS SOUS 30934 HAS SOUPS 30934 WITH SCORE 30994.386
AT ITER 672 NEW BEST:: SOT 122981 SOS 60376 HAS SOPS 60376 HAS SOUS 30918 HAS SOUPS 30918 WITH SCORE 30978.376
AT ITER 673 NEW BEST:: SOT 123086 SOS 60481 HAS SOPS 60481 HAS SOUS 30916 HAS SOUPS 30916 WITH SCORE 30976.481
AT ITER 677 NEW BEST:: SOT 123082 SOS 60497 HAS SOPS 60497 HAS SOUS 30912 HAS SOUPS 30912 WITH SCORE 30972.497
AT ITER 680 NEW BEST:: SOT 122894 SOS 60409 HAS SOPS 60409 HAS SOUS 30789 HAS SOUPS 30789 WITH SCORE 30849.409
AT ITER 685 NEW BEST:: SOT 122933 SOS 60539 HAS SOPS 60539 HAS SOUS 30776 HAS SOUPS 30776 WITH SCORE 30836.539
AT ITER 687 NEW BEST:: SOT 122943 SOS 60642 HAS SOPS 60642 HAS SOUS 30773 HAS SOUPS 30773 WITH SCORE 30833.642
AT ITER 688 NEW BEST:: SOT 122953 SOS 60662 HAS SOPS 60662 HAS SOUS 30740 HAS SOUPS 30740 WITH SCORE 30800.662
AT ITER 690 NEW BEST:: SOT 122935 SOS 60548 HAS SOPS 60548 HAS SOUS 30727 HAS SOUPS 30727 WITH SCORE 30787.548
AT ITER 691 NEW BEST:: SOT 122935 SOS 60548 HAS SOPS 60548 HAS SOUS 30723 HAS SOUPS 30723 WITH SCORE 30783.548
AT ITER 692 NEW BEST:: SOT 122915 SOS 60348 HAS SOPS 60348 HAS SOUS 30703 HAS SOUPS 30703 WITH SCORE 30763.348
AT ITER 693 NEW BEST:: SOT 122969 SOS 60709 HAS SOPS 60709 HAS SOUS 30582 HAS SOUPS 30582 WITH SCORE 30642.709
AT ITER 701 NEW BEST:: SOT 122784 SOS 60524 HAS SOPS 60524 HAS SOUS 30512 HAS SOUPS 30512 WITH SCORE 30572.524
AT ITER 707 NEW BEST:: SOT 122786 SOS 60548 HAS SOPS 60548 HAS SOUS 30505 HAS SOUPS 30505 WITH SCORE 30565.548
AT ITER 710 NEW BEST:: SOT 122786 SOS 60548 HAS SOPS 60548 HAS SOUS 30498 HAS SOUPS 30498 WITH SCORE 30558.548
AT ITER 714 NEW BEST:: SOT 122718 SOS 60568 HAS SOPS 60568 HAS SOUS 30430 HAS SOUPS 30430 WITH SCORE 30490.568
AT ITER 719 NEW BEST:: SOT 122540 SOS 60420 HAS SOPS 60420 HAS SOUS 30380 HAS SOUPS 30380 WITH SCORE 30440.42
AT ITER 729 NEW BEST:: SOT 122540 SOS 60406 HAS SOPS 60406 HAS SOUS 30380 HAS SOUPS 30380 WITH SCORE 30440.406
AT ITER 730 NEW BEST:: SOT 122535 SOS 60396 HAS SOPS 60396 HAS SOUS 30376 HAS SOUPS 30376 WITH SCORE 30436.396
AT ITER 732 NEW BEST:: SOT 122543 SOS 60446 HAS SOPS 60446 HAS SOUS 30346 HAS SOUPS 30346 WITH SCORE 30406.446
AT ITER 734 NEW BEST:: SOT 122548 SOS 60455 HAS SOPS 60455 HAS SOUS 30263 HAS SOUPS 30263 WITH SCORE 30323.455
AT ITER 740 NEW BEST:: SOT 122553 SOS 60460 HAS SOPS 60460 HAS SOUS 30251 HAS SOUPS 30251 WITH SCORE 30311.46
AT ITER 743 NEW BEST:: SOT 122553 SOS 60462 HAS SOPS 60462 HAS SOUS 30240 HAS SOUPS 30240 WITH SCORE 30300.462
AT ITER 744 NEW BEST:: SOT 122553 SOS 60458 HAS SOPS 60458 HAS SOUS 30240 HAS SOUPS 30240 WITH SCORE 30300.458
AT ITER 747 NEW BEST:: SOT 122622 SOS 60527 HAS SOPS 60527 HAS SOUS 30236 HAS SOUPS 30236 WITH SCORE 30296.527
AT ITER 750 NEW BEST:: SOT 122619 SOS 60524 HAS SOPS 60524 HAS SOUS 30189 HAS SOUPS 30189 WITH SCORE 30249.524
AT ITER 755 NEW BEST:: SOT 122745 SOS 60650 HAS SOPS 60650 HAS SOUS 30157 HAS SOUPS 30157 WITH SCORE 30217.65
AT ITER 757 NEW BEST:: SOT 122725 SOS 60634 HAS SOPS 60634 HAS SOUS 30137 HAS SOUPS 30137 WITH SCORE 30197.634
AT ITER 762 NEW BEST:: SOT 122752 SOS 60541 HAS SOPS 60541 HAS SOUS 30058 HAS SOUPS 30058 WITH SCORE 30118.541
AT ITER 767 NEW BEST:: SOT 122724 SOS 60513 HAS SOPS 60513 HAS SOUS 30042 HAS SOUPS 30042 WITH SCORE 30102.513
AT ITER 769 NEW BEST:: SOT 122379 SOS 60790 HAS SOPS 60790 HAS SOUS 30022 HAS SOUPS 30022 WITH SCORE 30082.79
AT ITER 772 NEW BEST:: SOT 122369 SOS 60820 HAS SOPS 60820 HAS SOUS 30002 HAS SOUPS 30002 WITH SCORE 30062.82
AT ITER 774 NEW BEST:: SOT 122338 SOS 60697 HAS SOPS 60697 HAS SOUS 29942 HAS SOUPS 29942 WITH SCORE 30002.697
AT ITER 776 NEW BEST:: SOT 122338 SOS 60625 HAS SOPS 60625 HAS SOUS 29928 HAS SOUPS 29928 WITH SCORE 29988.625
AT ITER 791 NEW BEST:: SOT 122331 SOS 60607 HAS SOPS 60607 HAS SOUS 29863 HAS SOUPS 29863 WITH SCORE 29923.607
AT ITER 808 NEW BEST:: SOT 122291 SOS 60567 HAS SOPS 60567 HAS SOUS 29827 HAS SOUPS 29827 WITH SCORE 29887.567
AT ITER 822 NEW BEST:: SOT 122288 SOS 60564 HAS SOPS 60564 HAS SOUS 29818 HAS SOUPS 29818 WITH SCORE 29878.564
AT ITER 823 NEW BEST:: SOT 122272 SOS 60548 HAS SOPS 60548 HAS SOUS 29786 HAS SOUPS 29786 WITH SCORE 29846.548
AT ITER 824 NEW BEST:: SOT 122382 SOS 59978 HAS SOPS 59978 HAS SOUS 29743 HAS SOUPS 29743 WITH SCORE 29802.978
AT ITER 825 NEW BEST:: SOT 122456 SOS 59661 HAS SOPS 59661 HAS SOUS 29376 HAS SOUPS 29376 WITH SCORE 29435.661
AT ITER 836 NEW BEST:: SOT 122476 SOS 59707 HAS SOPS 59707 HAS SOUS 29365 HAS SOUPS 29365 WITH SCORE 29424.707
AT ITER 843 NEW BEST:: SOT 122484 SOS 59715 HAS SOPS 59715 HAS SOUS 29310 HAS SOUPS 29310 WITH SCORE 29369.715
AT ITER 844 NEW BEST:: SOT 122426 SOS 59640 HAS SOPS 59640 HAS SOUS 29237 HAS SOUPS 29237 WITH SCORE 29296.64
AT ITER 847 NEW BEST:: SOT 122418 SOS 59640 HAS SOPS 59640 HAS SOUS 29229 HAS SOUPS 29229 WITH SCORE 29288.64
AT ITER 851 NEW BEST:: SOT 122411 SOS 59700 HAS SOPS 59700 HAS SOUS 29225 HAS SOUPS 29225 WITH SCORE 29284.7
AT ITER 852 NEW BEST:: SOT 122394 SOS 59379 HAS SOPS 59379 HAS SOUS 29208 HAS SOUPS 29208 WITH SCORE 29267.379
AT ITER 853 NEW BEST:: SOT 122394 SOS 59553 HAS SOPS 59553 HAS SOUS 29150 HAS SOUPS 29150 WITH SCORE 29209.553
AT ITER 865 NEW BEST:: SOT 122508 SOS 59667 HAS SOPS 59667 HAS SOUS 29115 HAS SOUPS 29115 WITH SCORE 29174.667
AT ITER 869 NEW BEST:: SOT 122521 SOS 59458 HAS SOPS 59458 HAS SOUS 29103 HAS SOUPS 29103 WITH SCORE 29162.458
AT ITER 874 NEW BEST:: SOT 122518 SOS 58921 HAS SOPS 58921 HAS SOUS 28978 HAS SOUPS 28978 WITH SCORE 29036.921
AT ITER 876 NEW BEST:: SOT 122518 SOS 58921 HAS SOPS 58921 HAS SOUS 28969 HAS SOUPS 28969 WITH SCORE 29027.921
AT ITER 880 NEW BEST:: SOT 122505 SOS 58832 HAS SOPS 58832 HAS SOUS 28937 HAS SOUPS 28937 WITH SCORE 28995.832
AT ITER 881 NEW BEST:: SOT 122480 SOS 58846 HAS SOPS 58846 HAS SOUS 28928 HAS SOUPS 28928 WITH SCORE 28986.846
AT ITER 889 NEW BEST:: SOT 122480 SOS 58844 HAS SOPS 58844 HAS SOUS 28928 HAS SOUPS 28928 WITH SCORE 28986.844
AT ITER 894 NEW BEST:: SOT 122474 SOS 58832 HAS SOPS 58832 HAS SOUS 28916 HAS SOUPS 28916 WITH SCORE 28974.832
AT ITER 895 NEW BEST:: SOT 122507 SOS 58758 HAS SOPS 58758 HAS SOUS 28881 HAS SOUPS 28881 WITH SCORE 28939.758
AT ITER 904 NEW BEST:: SOT 122507 SOS 58732 HAS SOPS 58732 HAS SOUS 28809 HAS SOUPS 28809 WITH SCORE 28867.732
AT ITER 910 NEW BEST:: SOT 122534 SOS 58340 HAS SOPS 58340 HAS SOUS 28677 HAS SOUPS 28677 WITH SCORE 28735.34
AT ITER 911 NEW BEST:: SOT 122494 SOS 58300 HAS SOPS 58300 HAS SOUS 28627 HAS SOUPS 28627 WITH SCORE 28685.3
AT ITER 922 NEW BEST:: SOT 122556 SOS 57666 HAS SOPS 57666 HAS SOUS 28461 HAS SOUPS 28461 WITH SCORE 28518.666
AT ITER 934 NEW BEST:: SOT 122550 SOS 57672 HAS SOPS 57672 HAS SOUS 28455 HAS SOUPS 28455 WITH SCORE 28512.672
AT ITER 935 NEW BEST:: SOT 122490 SOS 57612 HAS SOPS 57612 HAS SOUS 28395 HAS SOUPS 28395 WITH SCORE 28452.612
AT ITER 936 NEW BEST:: SOT 121876 SOS 57928 HAS SOPS 57928 HAS SOUS 28042 HAS SOUPS 28042 WITH SCORE 28099.928
AT ITER 948 NEW BEST:: SOT 121911 SOS 57963 HAS SOPS 57963 HAS SOUS 27981 HAS SOUPS 27981 WITH SCORE 28038.963
AT ITER 955 NEW BEST:: SOT 121911 SOS 57931 HAS SOPS 57931 HAS SOUS 27981 HAS SOUPS 27981 WITH SCORE 28038.931
AT ITER 957 NEW BEST:: SOT 121911 SOS 57897 HAS SOPS 57897 HAS SOUS 27980 HAS SOUPS 27980 WITH SCORE 28037.897
AT ITER 967 NEW BEST:: SOT 121935 SOS 58217 HAS SOPS 58217 HAS SOUS 27960 HAS SOUPS 27960 WITH SCORE 28018.217
AT ITER 968 NEW BEST:: SOT 121935 SOS 58397 HAS SOPS 58397 HAS SOUS 27920 HAS SOUPS 27920 WITH SCORE 27978.397
AT ITER 972 NEW BEST:: SOT 121897 SOS 58363 HAS SOPS 58363 HAS SOUS 27892 HAS SOUPS 27892 WITH SCORE 27950.363
AT ITER 973 NEW BEST:: SOT 121885 SOS 58339 HAS SOPS 58339 HAS SOUS 27880 HAS SOUPS 27880 WITH SCORE 27938.339
AT ITER 983 NEW BEST:: SOT 121857 SOS 58698 HAS SOPS 58698 HAS SOUS 27878 HAS SOUPS 27878 WITH SCORE 27936.698
AT ITER 989 NEW BEST:: SOT 121851 SOS 58692 HAS SOPS 58692 HAS SOUS 27852 HAS SOUPS 27852 WITH SCORE 27910.692
AT ITER 991 NEW BEST:: SOT 121840 SOS 58670 HAS SOPS 58670 HAS SOUS 27841 HAS SOUPS 27841 WITH SCORE 27899.67
AT ITER 1008 NEW BEST:: SOT 121840 SOS 58874 HAS SOPS 58874 HAS SOUS 27773 HAS SOUPS 27773 WITH SCORE 27831.874
AT ITER 1010 NEW BEST:: SOT 121884 SOS 58744 HAS SOPS 58744 HAS SOUS 27751 HAS SOUPS 27751 WITH SCORE 27809.744
AT ITER 1014 NEW BEST:: SOT 121873 SOS 58678 HAS SOPS 58678 HAS SOUS 27740 HAS SOUPS 27740 WITH SCORE 27798.678
AT ITER 1018 NEW BEST:: SOT 121809 SOS 58528 HAS SOPS 58528 HAS SOUS 27644 HAS SOUPS 27644 WITH SCORE 27702.528
AT ITER 1021 NEW BEST:: SOT 121673 SOS 58392 HAS SOPS 58392 HAS SOUS 27598 HAS SOUPS 27598 WITH SCORE 27656.392
AT ITER 1023 NEW BEST:: SOT 121583 SOS 58441 HAS SOPS 58441 HAS SOUS 27443 HAS SOUPS 27443 WITH SCORE 27501.441
AT ITER 1029 NEW BEST:: SOT 121563 SOS 58421 HAS SOPS 58421 HAS SOUS 27433 HAS SOUPS 27433 WITH SCORE 27491.421
AT ITER 1039 NEW BEST:: SOT 121563 SOS 58421 HAS SOPS 58421 HAS SOUS 27415 HAS SOUPS 27415 WITH SCORE 27473.421
AT ITER 1043 NEW BEST:: SOT 121655 SOS 58513 HAS SOPS 58513 HAS SOUS 27352 HAS SOUPS 27352 WITH SCORE 27410.513
AT ITER 1048 NEW BEST:: SOT 121526 SOS 58271 HAS SOPS 58271 HAS SOUS 27263 HAS SOUPS 27263 WITH SCORE 27321.271
AT ITER 1064 NEW BEST:: SOT 121473 SOS 58199 HAS SOPS 58199 HAS SOUS 27218 HAS SOUPS 27218 WITH SCORE 27276.199
AT ITER 1067 NEW BEST:: SOT 121425 SOS 58101 HAS SOPS 58101 HAS SOUS 27152 HAS SOUPS 27152 WITH SCORE 27210.101
AT ITER 1071 NEW BEST:: SOT 121525 SOS 58201 HAS SOPS 58201 HAS SOUS 27148 HAS SOUPS 27148 WITH SCORE 27206.201
AT ITER 1082 NEW BEST:: SOT 121488 SOS 58201 HAS SOPS 58201 HAS SOUS 27063 HAS SOUPS 27063 WITH SCORE 27121.201
AT ITER 1083 NEW BEST:: SOT 121477 SOS 58163 HAS SOPS 58163 HAS SOUS 27058 HAS SOUPS 27058 WITH SCORE 27116.163
AT ITER 1099 NEW BEST:: SOT 121470 SOS 58118 HAS SOPS 58118 HAS SOUS 27030 HAS SOUPS 27030 WITH SCORE 27088.118
AT ITER 1103 NEW BEST:: SOT 121452 SOS 58148 HAS SOPS 58148 HAS SOUS 26966 HAS SOUPS 26966 WITH SCORE 27024.148
AT ITER 1106 NEW BEST:: SOT 121452 SOS 58148 HAS SOPS 58148 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27023.148
AT ITER 1108 NEW BEST:: SOT 121420 SOS 58116 HAS SOPS 58116 HAS SOUS 26964 HAS SOUPS 26964 WITH SCORE 27022.116
AT ITER 1117 NEW BEST:: SOT 121420 SOS 58317 HAS SOPS 58317 HAS SOUS 26897 HAS SOUPS 26897 WITH SCORE 26955.317
AT ITER 1133 NEW BEST:: SOT 121404 SOS 58305 HAS SOPS 58305 HAS SOUS 26877 HAS SOUPS 26877 WITH SCORE 26935.305
AT ITER 1145 NEW BEST:: SOT 121404 SOS 58289 HAS SOPS 58289 HAS SOUS 26869 HAS SOUPS 26869 WITH SCORE 26927.289
AT ITER 1155 NEW BEST:: SOT 121376 SOS 58261 HAS SOPS 58261 HAS SOUS 26841 HAS SOUPS 26841 WITH SCORE 26899.261
AT ITER 1158 NEW BEST:: SOT 121345 SOS 58168 HAS SOPS 58168 HAS SOUS 26752 HAS SOUPS 26752 WITH SCORE 26810.168
AT ITER 1177 NEW BEST:: SOT 121287 SOS 58066 HAS SOPS 58066 HAS SOUS 26713 HAS SOUPS 26713 WITH SCORE 26771.066
AT ITER 1185 NEW BEST:: SOT 121251 SOS 58030 HAS SOPS 58030 HAS SOUS 26661 HAS SOUPS 26661 WITH SCORE 26719.03
AT ITER 1189 NEW BEST:: SOT 121295 SOS 58009 HAS SOPS 58009 HAS SOUS 26652 HAS SOUPS 26652 WITH SCORE 26710.009
AT ITER 1192 NEW BEST:: SOT 121245 SOS 58128 HAS SOPS 58128 HAS SOUS 26632 HAS SOUPS 26632 WITH SCORE 26690.128
AT ITER 1204 NEW BEST:: SOT 121227 SOS 58131 HAS SOPS 58131 HAS SOUS 26614 HAS SOUPS 26614 WITH SCORE 26672.131
AT ITER 1208 NEW BEST:: SOT 121209 SOS 58109 HAS SOPS 58109 HAS SOUS 26564 HAS SOUPS 26564 WITH SCORE 26622.109
AT ITER 1226 NEW BEST:: SOT 121261 SOS 58198 HAS SOPS 58198 HAS SOUS 26533 HAS SOUPS 26533 WITH SCORE 26591.198
AT ITER 1228 NEW BEST:: SOT 121372 SOS 58343 HAS SOPS 58343 HAS SOUS 26512 HAS SOUPS 26512 WITH SCORE 26570.343
AT ITER 1232 NEW BEST:: SOT 121362 SOS 58333 HAS SOPS 58333 HAS SOUS 26492 HAS SOUPS 26492 WITH SCORE 26550.333
AT ITER 1233 NEW BEST:: SOT 121352 SOS 58327 HAS SOPS 58327 HAS SOUS 26482 HAS SOUPS 26482 WITH SCORE 26540.327
AT ITER 1235 NEW BEST:: SOT 121344 SOS 58365 HAS SOPS 58365 HAS SOUS 26466 HAS SOUPS 26466 WITH SCORE 26524.365
AT ITER 1241 NEW BEST:: SOT 121344 SOS 58365 HAS SOPS 58365 HAS SOUS 26434 HAS SOUPS 26434 WITH SCORE 26492.365
AT ITER 1250 NEW BEST:: SOT 121296 SOS 58297 HAS SOPS 58297 HAS SOUS 26311 HAS SOUPS 26311 WITH SCORE 26369.297
AT ITER 1254 NEW BEST:: SOT 121272 SOS 58161 HAS SOPS 58161 HAS SOUS 26291 HAS SOUPS 26291 WITH SCORE 26349.161
AT ITER 1255 NEW BEST:: SOT 120939 SOS 57956 HAS SOPS 57956 HAS SOUS 26273 HAS SOUPS 26273 WITH SCORE 26330.956
AT ITER 1259 NEW BEST:: SOT 120935 SOS 57948 HAS SOPS 57948 HAS SOUS 26269 HAS SOUPS 26269 WITH SCORE 26326.948
AT ITER 1271 NEW BEST:: SOT 120920 SOS 57933 HAS SOPS 57933 HAS SOUS 26233 HAS SOUPS 26233 WITH SCORE 26290.933
AT ITER 1277 NEW BEST:: SOT 120970 SOS 57983 HAS SOPS 57983 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26275.983
AT ITER 1282 NEW BEST:: SOT 120967 SOS 57989 HAS SOPS 57989 HAS SOUS 26215 HAS SOUPS 26215 WITH SCORE 26272.989
AT ITER 1290 NEW BEST:: SOT 121016 SOS 57860 HAS SOPS 57860 HAS SOUS 26036 HAS SOUPS 26036 WITH SCORE 26093.86
AT ITER 1294 NEW BEST:: SOT 120988 SOS 57832 HAS SOPS 57832 HAS SOUS 26007 HAS SOUPS 26007 WITH SCORE 26064.832
AT ITER 1298 NEW BEST:: SOT 120952 SOS 57712 HAS SOPS 57712 HAS SOUS 25971 HAS SOUPS 25971 WITH SCORE 26028.712
AT ITER 1307 NEW BEST:: SOT 120908 SOS 57813 HAS SOPS 57813 HAS SOUS 25883 HAS SOUPS 25883 WITH SCORE 25940.813
AT ITER 1316 NEW BEST:: SOT 120861 SOS 57766 HAS SOPS 57766 HAS SOUS 25850 HAS SOUPS 25850 WITH SCORE 25907.766
AT ITER 1327 NEW BEST:: SOT 120861 SOS 57720 HAS SOPS 57720 HAS SOUS 25758 HAS SOUPS 25758 WITH SCORE 25815.72
AT ITER 1348 NEW BEST:: SOT 120783 SOS 57594 HAS SOPS 57594 HAS SOUS 25721 HAS SOUPS 25721 WITH SCORE 25778.594
AT ITER 1359 NEW BEST:: SOT 120699 SOS 57462 HAS SOPS 57462 HAS SOUS 25646 HAS SOUPS 25646 WITH SCORE 25703.462
AT ITER 1360 NEW BEST:: SOT 120683 SOS 57714 HAS SOPS 57714 HAS SOUS 25608 HAS SOUPS 25608 WITH SCORE 25665.714
AT ITER 1363 NEW BEST:: SOT 120644 SOS 57604 HAS SOPS 57604 HAS SOUS 25569 HAS SOUPS 25569 WITH SCORE 25626.604
AT ITER 1372 NEW BEST:: SOT 120624 SOS 57584 HAS SOPS 57584 HAS SOUS 25557 HAS SOUPS 25557 WITH SCORE 25614.584
AT ITER 1380 NEW BEST:: SOT 120580 SOS 57488 HAS SOPS 57488 HAS SOUS 25447 HAS SOUPS 25447 WITH SCORE 25504.488
AT ITER 1384 NEW BEST:: SOT 120613 SOS 57554 HAS SOPS 57554 HAS SOUS 25436 HAS SOUPS 25436 WITH SCORE 25493.554
AT ITER 1386 NEW BEST:: SOT 120641 SOS 57582 HAS SOPS 57582 HAS SOUS 25329 HAS SOUPS 25329 WITH SCORE 25386.582
AT ITER 1390 NEW BEST:: SOT 120645 SOS 57687 HAS SOPS 57687 HAS SOUS 25314 HAS SOUPS 25314 WITH SCORE 25371.687
AT ITER 1413 NEW BEST:: SOT 120296 SOS 58338 HAS SOPS 58338 HAS SOUS 25184 HAS SOUPS 25184 WITH SCORE 25242.338
AT ITER 1417 NEW BEST:: SOT 120318 SOS 58337 HAS SOPS 58337 HAS SOUS 25182 HAS SOUPS 25182 WITH SCORE 25240.337
AT ITER 1420 NEW BEST:: SOT 120276 SOS 58295 HAS SOPS 58295 HAS SOUS 25140 HAS SOUPS 25140 WITH SCORE 25198.295
AT ITER 1431 NEW BEST:: SOT 120276 SOS 57979 HAS SOPS 57979 HAS SOUS 25140 HAS SOUPS 25140 WITH SCORE 25197.979
AT ITER 1442 NEW BEST:: SOT 120277 SOS 57979 HAS SOPS 57979 HAS SOUS 25139 HAS SOUPS 25139 WITH SCORE 25196.979
AT ITER 1443 NEW BEST:: SOT 120350 SOS 58140 HAS SOPS 58140 HAS SOUS 25116 HAS SOUPS 25116 WITH SCORE 25174.14
AT ITER 1444 NEW BEST:: SOT 120318 SOS 58022 HAS SOPS 58022 HAS SOUS 25041 HAS SOUPS 25041 WITH SCORE 25099.022
AT ITER 1463 NEW BEST:: SOT 120300 SOS 57953 HAS SOPS 57953 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25082.953
AT ITER 1470 NEW BEST:: SOT 120294 SOS 58059 HAS SOPS 58059 HAS SOUS 25022 HAS SOUPS 25022 WITH SCORE 25080.059
AT ITER 1473 NEW BEST:: SOT 120257 SOS 58028 HAS SOPS 58028 HAS SOUS 25015 HAS SOUPS 25015 WITH SCORE 25073.028
AT ITER 1475 NEW BEST:: SOT 120240 SOS 58131 HAS SOPS 58131 HAS SOUS 24998 HAS SOUPS 24998 WITH SCORE 25056.131
AT ITER 1482 NEW BEST:: SOT 120258 SOS 58275 HAS SOPS 58275 HAS SOUS 24964 HAS SOUPS 24964 WITH SCORE 25022.275
AT ITER 1483 NEW BEST:: SOT 120247 SOS 57914 HAS SOPS 57914 HAS SOUS 24933 HAS SOUPS 24933 WITH SCORE 24990.914
AT ITER 1492 NEW BEST:: SOT 120215 SOS 57891 HAS SOPS 57891 HAS SOUS 24922 HAS SOUPS 24922 WITH SCORE 24979.891
AT ITER 1502 NEW BEST:: SOT 120143 SOS 57516 HAS SOPS 57516 HAS SOUS 24902 HAS SOUPS 24902 WITH SCORE 24959.516
AT ITER 1506 NEW BEST:: SOT 120141 SOS 57514 HAS SOPS 57514 HAS SOUS 24888 HAS SOUPS 24888 WITH SCORE 24945.514
AT ITER 1508 NEW BEST:: SOT 120094 SOS 57444 HAS SOPS 57444 HAS SOUS 24748 HAS SOUPS 24748 WITH SCORE 24805.444
AT ITER 1509 NEW BEST:: SOT 120094 SOS 57444 HAS SOPS 57444 HAS SOUS 24701 HAS SOUPS 24701 WITH SCORE 24758.444
AT ITER 1511 NEW BEST:: SOT 120042 SOS 57324 HAS SOPS 57324 HAS SOUS 24639 HAS SOUPS 24639 WITH SCORE 24696.324
AT ITER 1513 NEW BEST:: SOT 120040 SOS 57320 HAS SOPS 57320 HAS SOUS 24635 HAS SOUPS 24635 WITH SCORE 24692.32
AT ITER 1515 NEW BEST:: SOT 119990 SOS 57112 HAS SOPS 57112 HAS SOUS 24407 HAS SOUPS 24407 WITH SCORE 24464.112
AT ITER 1516 NEW BEST:: SOT 119990 SOS 57196 HAS SOPS 57196 HAS SOUS 24346 HAS SOUPS 24346 WITH SCORE 24403.196
AT ITER 1517 NEW BEST:: SOT 119968 SOS 57086 HAS SOPS 57086 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24381.086
AT ITER 1529 NEW BEST:: SOT 119952 SOS 57756 HAS SOPS 57756 HAS SOUS 24308 HAS SOUPS 24308 WITH SCORE 24365.756
AT ITER 1536 NEW BEST:: SOT 119956 SOS 57776 HAS SOPS 57776 HAS SOUS 24306 HAS SOUPS 24306 WITH SCORE 24363.776
AT ITER 1537 NEW BEST:: SOT 119886 SOS 57686 HAS SOPS 57686 HAS SOUS 24236 HAS SOUPS 24236 WITH SCORE 24293.686
AT ITER 1540 NEW BEST:: SOT 119886 SOS 57672 HAS SOPS 57672 HAS SOUS 24229 HAS SOUPS 24229 WITH SCORE 24286.672
AT ITER 1545 NEW BEST:: SOT 119813 SOS 57634 HAS SOPS 57634 HAS SOUS 24191 HAS SOUPS 24191 WITH SCORE 24248.634
AT ITER 1547 NEW BEST:: SOT 119783 SOS 57589 HAS SOPS 57589 HAS SOUS 24146 HAS SOUPS 24146 WITH SCORE 24203.589
AT ITER 1549 NEW BEST:: SOT 119766 SOS 57587 HAS SOPS 57587 HAS SOUS 24144 HAS SOUPS 24144 WITH SCORE 24201.587
AT ITER 1553 NEW BEST:: SOT 119765 SOS 57572 HAS SOPS 57572 HAS SOUS 24135 HAS SOUPS 24135 WITH SCORE 24192.572
AT ITER 1565 NEW BEST:: SOT 119765 SOS 57792 HAS SOPS 57792 HAS SOUS 24121 HAS SOUPS 24121 WITH SCORE 24178.792
AT ITER 1588 NEW BEST:: SOT 119721 SOS 57518 HAS SOPS 57518 HAS SOUS 24095 HAS SOUPS 24095 WITH SCORE 24152.518
AT ITER 1597 NEW BEST:: SOT 119717 SOS 57185 HAS SOPS 57185 HAS SOUS 24028 HAS SOUPS 24028 WITH SCORE 24085.185
AT ITER 1599 NEW BEST:: SOT 119626 SOS 57106 HAS SOPS 57106 HAS SOUS 23952 HAS SOUPS 23952 WITH SCORE 24009.106
AT ITER 1607 NEW BEST:: SOT 120139 SOS 57317 HAS SOPS 57317 HAS SOUS 23947 HAS SOUPS 23947 WITH SCORE 24004.317
AT ITER 1608 NEW BEST:: SOT 120176 SOS 57264 HAS SOPS 57264 HAS SOUS 23939 HAS SOUPS 23939 WITH SCORE 23996.264
AT ITER 1612 NEW BEST:: SOT 120143 SOS 57100 HAS SOPS 57100 HAS SOUS 23861 HAS SOUPS 23861 WITH SCORE 23918.1
AT ITER 1623 NEW BEST:: SOT 120141 SOS 57088 HAS SOPS 57088 HAS SOUS 23859 HAS SOUPS 23859 WITH SCORE 23916.088
AT ITER 1625 NEW BEST:: SOT 120070 SOS 56875 HAS SOPS 56875 HAS SOUS 23698 HAS SOUPS 23698 WITH SCORE 23754.875
AT ITER 1626 NEW BEST:: SOT 120061 SOS 56837 HAS SOPS 56837 HAS SOUS 23639 HAS SOUPS 23639 WITH SCORE 23695.837
AT ITER 1627 NEW BEST:: SOT 120048 SOS 56785 HAS SOPS 56785 HAS SOUS 23600 HAS SOUPS 23600 WITH SCORE 23656.785
AT ITER 1633 NEW BEST:: SOT 120028 SOS 56765 HAS SOPS 56765 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23653.765
AT ITER 1634 NEW BEST:: SOT 120024 SOS 56761 HAS SOPS 56761 HAS SOUS 23589 HAS SOUPS 23589 WITH SCORE 23645.761
AT ITER 1648 NEW BEST:: SOT 120044 SOS 56933 HAS SOPS 56933 HAS SOUS 23557 HAS SOUPS 23557 WITH SCORE 23613.933
AT ITER 1651 NEW BEST:: SOT 120055 SOS 56848 HAS SOPS 56848 HAS SOUS 23550 HAS SOUPS 23550 WITH SCORE 23606.848
AT ITER 1655 NEW BEST:: SOT 120067 SOS 56848 HAS SOPS 56848 HAS SOUS 23549 HAS SOUPS 23549 WITH SCORE 23605.848
AT ITER 1656 NEW BEST:: SOT 120099 SOS 56754 HAS SOPS 56754 HAS SOUS 23436 HAS SOUPS 23436 WITH SCORE 23492.754
AT ITER 1672 NEW BEST:: SOT 120102 SOS 56967 HAS SOPS 56967 HAS SOUS 23397 HAS SOUPS 23397 WITH SCORE 23453.967
AT ITER 1699 NEW BEST:: SOT 119990 SOS 56775 HAS SOPS 56775 HAS SOUS 23333 HAS SOUPS 23333 WITH SCORE 23389.775
AT ITER 1704 NEW BEST:: SOT 119997 SOS 56777 HAS SOPS 56777 HAS SOUS 23319 HAS SOUPS 23319 WITH SCORE 23375.777
AT ITER 1705 NEW BEST:: SOT 119971 SOS 56737 HAS SOPS 56737 HAS SOUS 23264 HAS SOUPS 23264 WITH SCORE 23320.737
AT ITER 1708 NEW BEST:: SOT 119953 SOS 56719 HAS SOPS 56719 HAS SOUS 23258 HAS SOUPS 23258 WITH SCORE 23314.719
AT ITER 1710 NEW BEST:: SOT 120016 SOS 56936 HAS SOPS 56936 HAS SOUS 23246 HAS SOUPS 23246 WITH SCORE 23302.936
AT ITER 1719 NEW BEST:: SOT 119994 SOS 56928 HAS SOPS 56928 HAS SOUS 23224 HAS SOUPS 23224 WITH SCORE 23280.928
AT ITER 1737 NEW BEST:: SOT 119930 SOS 56864 HAS SOPS 56864 HAS SOUS 23163 HAS SOUPS 23163 WITH SCORE 23219.864
AT ITER 1747 NEW BEST:: SOT 119902 SOS 56836 HAS SOPS 56836 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23177.836
AT ITER 1748 NEW BEST:: SOT 119881 SOS 56899 HAS SOPS 56899 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23156.899
AT ITER 1751 NEW BEST:: SOT 119813 SOS 56790 HAS SOPS 56790 HAS SOUS 23005 HAS SOUPS 23005 WITH SCORE 23061.79
AT ITER 1756 NEW BEST:: SOT 119803 SOS 56780 HAS SOPS 56780 HAS SOUS 22986 HAS SOUPS 22986 WITH SCORE 23042.78
AT ITER 1757 NEW BEST:: SOT 119734 SOS 56746 HAS SOPS 56746 HAS SOUS 22954 HAS SOUPS 22954 WITH SCORE 23010.746
AT ITER 1774 NEW BEST:: SOT 119437 SOS 56151 HAS SOPS 56151 HAS SOUS 22783 HAS SOUPS 22783 WITH SCORE 22839.151
AT ITER 1783 NEW BEST:: SOT 119433 SOS 56155 HAS SOPS 56155 HAS SOUS 22775 HAS SOUPS 22775 WITH SCORE 22831.155
AT ITER 1800 NEW BEST:: SOT 119389 SOS 56023 HAS SOPS 56023 HAS SOUS 22731 HAS SOUPS 22731 WITH SCORE 22787.023
AT ITER 1819 NEW BEST:: SOT 119363 SOS 55997 HAS SOPS 55997 HAS SOUS 22653 HAS SOUPS 22653 WITH SCORE 22708.997
AT ITER 1864 NEW BEST:: SOT 119311 SOS 55931 HAS SOPS 55931 HAS SOUS 22521 HAS SOUPS 22521 WITH SCORE 22576.931
AT ITER 1870 NEW BEST:: SOT 119267 SOS 55887 HAS SOPS 55887 HAS SOUS 22463 HAS SOUPS 22463 WITH SCORE 22518.887
AT ITER 1872 NEW BEST:: SOT 119213 SOS 55921 HAS SOPS 55921 HAS SOUS 22327 HAS SOUPS 22327 WITH SCORE 22382.921
AT ITER 1893 NEW BEST:: SOT 119249 SOS 55957 HAS SOPS 55957 HAS SOUS 22321 HAS SOUPS 22321 WITH SCORE 22376.957
AT ITER 1905 NEW BEST:: SOT 119229 SOS 55907 HAS SOPS 55907 HAS SOUS 22318 HAS SOUPS 22318 WITH SCORE 22373.907
AT ITER 1907 NEW BEST:: SOT 119219 SOS 55887 HAS SOPS 55887 HAS SOUS 22298 HAS SOUPS 22298 WITH SCORE 22353.887
AT ITER 1912 NEW BEST:: SOT 119208 SOS 55865 HAS SOPS 55865 HAS SOUS 22287 HAS SOUPS 22287 WITH SCORE 22342.865
AT ITER 1913 NEW BEST:: SOT 119208 SOS 55865 HAS SOPS 55865 HAS SOUS 22285 HAS SOUPS 22285 WITH SCORE 22340.865
AT ITER 1915 NEW BEST:: SOT 119208 SOS 55831 HAS SOPS 55831 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22306.831
AT ITER 1917 NEW BEST:: SOT 119199 SOS 55858 HAS SOPS 55858 HAS SOUS 22242 HAS SOUPS 22242 WITH SCORE 22297.858
AT ITER 1923 NEW BEST:: SOT 119143 SOS 55523 HAS SOPS 55523 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22241.523
AT ITER 1924 NEW BEST:: SOT 119128 SOS 55508 HAS SOPS 55508 HAS SOUS 22171 HAS SOUPS 22171 WITH SCORE 22226.508
AT ITER 1927 NEW BEST:: SOT 119128 SOS 55504 HAS SOPS 55504 HAS SOUS 22146 HAS SOUPS 22146 WITH SCORE 22201.504
AT ITER 1931 NEW BEST:: SOT 119105 SOS 55481 HAS SOPS 55481 HAS SOUS 22085 HAS SOUPS 22085 WITH SCORE 22140.481
AT ITER 1939 NEW BEST:: SOT 119063 SOS 55460 HAS SOPS 55460 HAS SOUS 22022 HAS SOUPS 22022 WITH SCORE 22077.46
AT ITER 1940 NEW BEST:: SOT 119050 SOS 55434 HAS SOPS 55434 HAS SOUS 21996 HAS SOUPS 21996 WITH SCORE 22051.434
AT ITER 1946 NEW BEST:: SOT 119038 SOS 55376 HAS SOPS 55376 HAS SOUS 21969 HAS SOUPS 21969 WITH SCORE 22024.376
AT ITER 1958 NEW BEST:: SOT 119036 SOS 55374 HAS SOPS 55374 HAS SOUS 21967 HAS SOUPS 21967 WITH SCORE 22022.374
AT ITER 1965 NEW BEST:: SOT 119029 SOS 55367 HAS SOPS 55367 HAS SOUS 21963 HAS SOUPS 21963 WITH SCORE 22018.367
AT ITER 1970 NEW BEST:: SOT 118804 SOS 55222 HAS SOPS 55222 HAS SOUS 21886 HAS SOUPS 21886 WITH SCORE 21941.222
AT ITER 1991 NEW BEST:: SOT 118812 SOS 55230 HAS SOPS 55230 HAS SOUS 21870 HAS SOUPS 21870 WITH SCORE 21925.23
AT ITER 2004 NEW BEST:: SOT 118812 SOS 55214 HAS SOPS 55214 HAS SOUS 21870 HAS SOUPS 21870 WITH SCORE 21925.214
AT ITER 2018 NEW BEST:: SOT 118812 SOS 54798 HAS SOPS 54798 HAS SOUS 21842 HAS SOUPS 21842 WITH SCORE 21896.798
AT ITER 2033 NEW BEST:: SOT 118757 SOS 54688 HAS SOPS 54688 HAS SOUS 21787 HAS SOUPS 21787 WITH SCORE 21841.688
AT ITER 2037 NEW BEST:: SOT 118791 SOS 54654 HAS SOPS 54654 HAS SOUS 21781 HAS SOUPS 21781 WITH SCORE 21835.654
AT ITER 2042 NEW BEST:: SOT 118765 SOS 54628 HAS SOPS 54628 HAS SOUS 21743 HAS SOUPS 21743 WITH SCORE 21797.628
AT ITER 2045 NEW BEST:: SOT 118836 SOS 54644 HAS SOPS 54644 HAS SOUS 21731 HAS SOUPS 21731 WITH SCORE 21785.644
AT ITER 2046 NEW BEST:: SOT 118823 SOS 54683 HAS SOPS 54683 HAS SOUS 21718 HAS SOUPS 21718 WITH SCORE 21772.683
AT ITER 2056 NEW BEST:: SOT 118823 SOS 54681 HAS SOPS 54681 HAS SOUS 21717 HAS SOUPS 21717 WITH SCORE 21771.681
AT ITER 2059 NEW BEST:: SOT 118815 SOS 54673 HAS SOPS 54673 HAS SOUS 21707 HAS SOUPS 21707 WITH SCORE 21761.673
AT ITER 2062 NEW BEST:: SOT 118807 SOS 54593 HAS SOPS 54593 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21731.593
AT ITER 2070 NEW BEST:: SOT 118793 SOS 54536 HAS SOPS 54536 HAS SOUS 21632 HAS SOUPS 21632 WITH SCORE 21686.536
AT ITER 2073 NEW BEST:: SOT 118763 SOS 54536 HAS SOPS 54536 HAS SOUS 21617 HAS SOUPS 21617 WITH SCORE 21671.536
AT ITER 2077 NEW BEST:: SOT 118762 SOS 54531 HAS SOPS 54531 HAS SOUS 21614 HAS SOUPS 21614 WITH SCORE 21668.531
AT ITER 2079 NEW BEST:: SOT 118771 SOS 54512 HAS SOPS 54512 HAS SOUS 21555 HAS SOUPS 21555 WITH SCORE 21609.512
AT ITER 2080 NEW BEST:: SOT 118771 SOS 54505 HAS SOPS 54505 HAS SOUS 21555 HAS SOUPS 21555 WITH SCORE 21609.505
AT ITER 2092 NEW BEST:: SOT 118774 SOS 54454 HAS SOPS 54454 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21594.454
AT ITER 2097 NEW BEST:: SOT 118774 SOS 54448 HAS SOPS 54448 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21594.448
AT ITER 2113 NEW BEST:: SOT 118774 SOS 54438 HAS SOPS 54438 HAS SOUS 21534 HAS SOUPS 21534 WITH SCORE 21588.438
AT ITER 2123 NEW BEST:: SOT 118730 SOS 54394 HAS SOPS 54394 HAS SOUS 21521 HAS SOUPS 21521 WITH SCORE 21575.394
AT ITER 2126 NEW BEST:: SOT 118700 SOS 54364 HAS SOPS 54364 HAS SOUS 21467 HAS SOUPS 21467 WITH SCORE 21521.364
AT ITER 2150 NEW BEST:: SOT 118698 SOS 54357 HAS SOPS 54357 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21518.357
AT ITER 2175 NEW BEST:: SOT 118628 SOS 54287 HAS SOPS 54287 HAS SOUS 21395 HAS SOUPS 21395 WITH SCORE 21449.287
AT ITER 2181 NEW BEST:: SOT 118652 SOS 54311 HAS SOPS 54311 HAS SOUS 21390 HAS SOUPS 21390 WITH SCORE 21444.311
AT ITER 2182 NEW BEST:: SOT 118652 SOS 54241 HAS SOPS 54241 HAS SOUS 21358 HAS SOUPS 21358 WITH SCORE 21412.241
AT ITER 2184 NEW BEST:: SOT 118629 SOS 54310 HAS SOPS 54310 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21389.31
AT ITER 2196 NEW BEST:: SOT 118632 SOS 54310 HAS SOPS 54310 HAS SOUS 21332 HAS SOUPS 21332 WITH SCORE 21386.31
AT ITER 2201 NEW BEST:: SOT 118656 SOS 54014 HAS SOPS 54014 HAS SOUS 21292 HAS SOUPS 21292 WITH SCORE 21346.014
AT ITER 2206 NEW BEST:: SOT 118656 SOS 54014 HAS SOPS 54014 HAS SOUS 21275 HAS SOUPS 21275 WITH SCORE 21329.014
AT ITER 2207 NEW BEST:: SOT 118652 SOS 53962 HAS SOPS 53962 HAS SOUS 21246 HAS SOUPS 21246 WITH SCORE 21299.962
AT ITER 2213 NEW BEST:: SOT 118643 SOS 54008 HAS SOPS 54008 HAS SOUS 21237 HAS SOUPS 21237 WITH SCORE 21291.008
AT ITER 2225 NEW BEST:: SOT 118651 SOS 53993 HAS SOPS 53993 HAS SOUS 21228 HAS SOUPS 21228 WITH SCORE 21281.993
AT ITER 2243 NEW BEST:: SOT 118594 SOS 54298 HAS SOPS 54298 HAS SOUS 21224 HAS SOUPS 21224 WITH SCORE 21278.298
AT ITER 2255 NEW BEST:: SOT 118588 SOS 54258 HAS SOPS 54258 HAS SOUS 21214 HAS SOUPS 21214 WITH SCORE 21268.258
AT ITER 2263 NEW BEST:: SOT 118567 SOS 54216 HAS SOPS 54216 HAS SOUS 21193 HAS SOUPS 21193 WITH SCORE 21247.216
AT ITER 2265 NEW BEST:: SOT 118565 SOS 54208 HAS SOPS 54208 HAS SOUS 21186 HAS SOUPS 21186 WITH SCORE 21240.208
AT ITER 2272 NEW BEST:: SOT 118547 SOS 54190 HAS SOPS 54190 HAS SOUS 21162 HAS SOUPS 21162 WITH SCORE 21216.19
AT ITER 2278 NEW BEST:: SOT 118499 SOS 54142 HAS SOPS 54142 HAS SOUS 21110 HAS SOUPS 21110 WITH SCORE 21164.142
AT ITER 2280 NEW BEST:: SOT 118437 SOS 54080 HAS SOPS 54080 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21039.08
AT ITER 2285 NEW BEST:: SOT 118437 SOS 54056 HAS SOPS 54056 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21039.056
AT ITER 2299 NEW BEST:: SOT 118498 SOS 54321 HAS SOPS 54321 HAS SOUS 20944 HAS SOUPS 20944 WITH SCORE 20998.321
AT ITER 2352 NEW BEST:: SOT 118494 SOS 54249 HAS SOPS 54249 HAS SOUS 20917 HAS SOUPS 20917 WITH SCORE 20971.249
AT ITER 2354 NEW BEST:: SOT 118426 SOS 54151 HAS SOPS 54151 HAS SOUS 20851 HAS SOUPS 20851 WITH SCORE 20905.151
AT ITER 2371 NEW BEST:: SOT 118386 SOS 54111 HAS SOPS 54111 HAS SOUS 20791 HAS SOUPS 20791 WITH SCORE 20845.111
AT ITER 2377 NEW BEST:: SOT 118386 SOS 54111 HAS SOPS 54111 HAS SOUS 20784 HAS SOUPS 20784 WITH SCORE 20838.111
AT ITER 2379 NEW BEST:: SOT 118385 SOS 54294 HAS SOPS 54294 HAS SOUS 20783 HAS SOUPS 20783 WITH SCORE 20837.294
AT ITER 2410 NEW BEST:: SOT 118322 SOS 54231 HAS SOPS 54231 HAS SOUS 20747 HAS SOUPS 20747 WITH SCORE 20801.231
AT ITER 2422 NEW BEST:: SOT 118122 SOS 54031 HAS SOPS 54031 HAS SOUS 20716 HAS SOUPS 20716 WITH SCORE 20770.031
AT ITER 2433 NEW BEST:: SOT 118122 SOS 54007 HAS SOPS 54007 HAS SOUS 20704 HAS SOUPS 20704 WITH SCORE 20758.007
AT ITER 2434 NEW BEST:: SOT 118118 SOS 54003 HAS SOPS 54003 HAS SOUS 20684 HAS SOUPS 20684 WITH SCORE 20738.003
AT ITER 2451 NEW BEST:: SOT 118116 SOS 54001 HAS SOPS 54001 HAS SOUS 20683 HAS SOUPS 20683 WITH SCORE 20737.001
AT ITER 2453 NEW BEST:: SOT 118113 SOS 54000 HAS SOPS 54000 HAS SOUS 20680 HAS SOUPS 20680 WITH SCORE 20734.0
AT ITER 2485 NEW BEST:: SOT 118115 SOS 54002 HAS SOPS 54002 HAS SOUS 20676 HAS SOUPS 20676 WITH SCORE 20730.002
AT ITER 2498 NEW BEST:: SOT 118121 SOS 53996 HAS SOPS 53996 HAS SOUS 20670 HAS SOUPS 20670 WITH SCORE 20723.996
AT ITER 2502 NEW BEST:: SOT 118120 SOS 53998 HAS SOPS 53998 HAS SOUS 20668 HAS SOUPS 20668 WITH SCORE 20721.998
AT ITER 2518 NEW BEST:: SOT 117952 SOS 55370 HAS SOPS 55370 HAS SOUS 20648 HAS SOUPS 20648 WITH SCORE 20703.37
AT ITER 2536 NEW BEST:: SOT 117917 SOS 55298 HAS SOPS 55298 HAS SOUS 20613 HAS SOUPS 20613 WITH SCORE 20668.298
AT ITER 2541 NEW BEST:: SOT 117893 SOS 55298 HAS SOPS 55298 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20644.298
AT ITER 2542 NEW BEST:: SOT 117893 SOS 55298 HAS SOPS 55298 HAS SOUS 20587 HAS SOUPS 20587 WITH SCORE 20642.298
AT ITER 2556 NEW BEST:: SOT 117882 SOS 55295 HAS SOPS 55295 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20609.295
AT ITER 2566 NEW BEST:: SOT 117856 SOS 55269 HAS SOPS 55269 HAS SOUS 20528 HAS SOUPS 20528 WITH SCORE 20583.269
AT ITER 2567 NEW BEST:: SOT 117845 SOS 55258 HAS SOPS 55258 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20572.258
AT ITER 2568 NEW BEST:: SOT 117845 SOS 55252 HAS SOPS 55252 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20572.252
AT ITER 2595 NEW BEST:: SOT 117825 SOS 55216 HAS SOPS 55216 HAS SOUS 20485 HAS SOUPS 20485 WITH SCORE 20540.216
AT ITER 2603 NEW BEST:: SOT 117818 SOS 55197 HAS SOPS 55197 HAS SOUS 20472 HAS SOUPS 20472 WITH SCORE 20527.197
AT ITER 2609 NEW BEST:: SOT 117822 SOS 55201 HAS SOPS 55201 HAS SOUS 20411 HAS SOUPS 20411 WITH SCORE 20466.201
AT ITER 2612 NEW BEST:: SOT 117816 SOS 55195 HAS SOPS 55195 HAS SOUS 20404 HAS SOUPS 20404 WITH SCORE 20459.195
AT ITER 2616 NEW BEST:: SOT 117774 SOS 55153 HAS SOPS 55153 HAS SOUS 20362 HAS SOUPS 20362 WITH SCORE 20417.153
AT ITER 2621 NEW BEST:: SOT 117769 SOS 55137 HAS SOPS 55137 HAS SOUS 20356 HAS SOUPS 20356 WITH SCORE 20411.137
AT ITER 2630 NEW BEST:: SOT 117730 SOS 54971 HAS SOPS 54971 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20357.971
AT ITER 2649 NEW BEST:: SOT 117730 SOS 54968 HAS SOPS 54968 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20357.968
AT ITER 2659 NEW BEST:: SOT 117718 SOS 54906 HAS SOPS 54906 HAS SOUS 20235 HAS SOUPS 20235 WITH SCORE 20289.906
AT ITER 2685 NEW BEST:: SOT 117714 SOS 54902 HAS SOPS 54902 HAS SOUS 20231 HAS SOUPS 20231 WITH SCORE 20285.902
AT ITER 2689 NEW BEST:: SOT 117703 SOS 54935 HAS SOPS 54935 HAS SOUS 20220 HAS SOUPS 20220 WITH SCORE 20274.935
AT ITER 2694 NEW BEST:: SOT 117636 SOS 54627 HAS SOPS 54627 HAS SOUS 20124 HAS SOUPS 20124 WITH SCORE 20178.627
AT ITER 2695 NEW BEST:: SOT 117636 SOS 54627 HAS SOPS 54627 HAS SOUS 20121 HAS SOUPS 20121 WITH SCORE 20175.627
AT ITER 2703 NEW BEST:: SOT 117642 SOS 54639 HAS SOPS 54639 HAS SOUS 20118 HAS SOUPS 20118 WITH SCORE 20172.639
AT ITER 2714 NEW BEST:: SOT 117631 SOS 54617 HAS SOPS 54617 HAS SOUS 20107 HAS SOUPS 20107 WITH SCORE 20161.617
AT ITER 2751 NEW BEST:: SOT 117631 SOS 54618 HAS SOPS 54618 HAS SOUS 20103 HAS SOUPS 20103 WITH SCORE 20157.618
AT ITER 2752 NEW BEST:: SOT 116237 SOS 56555 HAS SOPS 56555 HAS SOUS 19519 HAS SOUPS 19519 WITH SCORE 19575.555
AT ITER 2757 NEW BEST:: SOT 116225 SOS 56543 HAS SOPS 56543 HAS SOUS 19464 HAS SOUPS 19464 WITH SCORE 19520.543
AT ITER 2758 NEW BEST:: SOT 116247 SOS 56674 HAS SOPS 56674 HAS SOUS 19419 HAS SOUPS 19419 WITH SCORE 19475.674
AT ITER 2769 NEW BEST:: SOT 116224 SOS 56630 HAS SOPS 56630 HAS SOUS 19414 HAS SOUPS 19414 WITH SCORE 19470.63
AT ITER 2772 NEW BEST:: SOT 116176 SOS 56582 HAS SOPS 56582 HAS SOUS 19285 HAS SOUPS 19285 WITH SCORE 19341.582
AT ITER 2801 NEW BEST:: SOT 116136 SOS 56542 HAS SOPS 56542 HAS SOUS 19245 HAS SOUPS 19245 WITH SCORE 19301.542
AT ITER 2804 NEW BEST:: SOT 116100 SOS 56506 HAS SOPS 56506 HAS SOUS 19190 HAS SOUPS 19190 WITH SCORE 19246.506
AT ITER 2809 NEW BEST:: SOT 116076 SOS 56482 HAS SOPS 56482 HAS SOUS 19169 HAS SOUPS 19169 WITH SCORE 19225.482
AT ITER 2815 NEW BEST:: SOT 116085 SOS 56473 HAS SOPS 56473 HAS SOUS 19160 HAS SOUPS 19160 WITH SCORE 19216.473
AT ITER 2817 NEW BEST:: SOT 116098 SOS 56486 HAS SOPS 56486 HAS SOUS 19150 HAS SOUPS 19150 WITH SCORE 19206.486
AT ITER 2855 NEW BEST:: SOT 116098 SOS 56486 HAS SOPS 56486 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19204.486
AT ITER 2863 NEW BEST:: SOT 116098 SOS 56418 HAS SOPS 56418 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19204.418
AT ITER 2870 NEW BEST:: SOT 116097 SOS 56417 HAS SOPS 56417 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19204.417
AT ITER 2913 NEW BEST:: SOT 116087 SOS 56407 HAS SOPS 56407 HAS SOUS 19122 HAS SOUPS 19122 WITH SCORE 19178.407
AT ITER 2916 NEW BEST:: SOT 116087 SOS 56404 HAS SOPS 56404 HAS SOUS 19122 HAS SOUPS 19122 WITH SCORE 19178.404
AT ITER 2917 NEW BEST:: SOT 116088 SOS 56405 HAS SOPS 56405 HAS SOUS 19096 HAS SOUPS 19096 WITH SCORE 19152.405
AT ITER 2919 NEW BEST:: SOT 116066 SOS 56383 HAS SOPS 56383 HAS SOUS 19087 HAS SOUPS 19087 WITH SCORE 19143.383
AT ITER 2927 NEW BEST:: SOT 116066 SOS 56381 HAS SOPS 56381 HAS SOUS 19087 HAS SOUPS 19087 WITH SCORE 19143.381
AT ITER 2965 NEW BEST:: SOT 116002 SOS 56317 HAS SOPS 56317 HAS SOUS 18994 HAS SOUPS 18994 WITH SCORE 19050.317
AT ITER 2995 NEW BEST:: SOT 115990 SOS 56302 HAS SOPS 56302 HAS SOUS 18994 HAS SOUPS 18994 WITH SCORE 19050.302
AT ITER 3005 NEW BEST:: SOT 115551 SOS 57984 HAS SOPS 57984 HAS SOUS 18863 HAS SOUPS 18863 WITH SCORE 18920.984
AT ITER 3007 NEW BEST:: SOT 115543 SOS 57976 HAS SOPS 57976 HAS SOUS 18855 HAS SOUPS 18855 WITH SCORE 18912.976
AT ITER 3029 NEW BEST:: SOT 115544 SOS 57973 HAS SOPS 57973 HAS SOUS 18854 HAS SOUPS 18854 WITH SCORE 18911.973
AT ITER 3043 NEW BEST:: SOT 115544 SOS 58013 HAS SOPS 58013 HAS SOUS 18834 HAS SOUPS 18834 WITH SCORE 18892.013
AT ITER 3062 NEW BEST:: SOT 115559 SOS 58028 HAS SOPS 58028 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18847.028
AT ITER 3081 NEW BEST:: SOT 115549 SOS 58008 HAS SOPS 58008 HAS SOUS 18774 HAS SOUPS 18774 WITH SCORE 18832.008
AT ITER 3092 NEW BEST:: SOT 115548 SOS 58104 HAS SOPS 58104 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18811.104
AT ITER 3093 NEW BEST:: SOT 115629 SOS 56924 HAS SOPS 56924 HAS SOUS 18710 HAS SOUPS 18710 WITH SCORE 18766.924
AT ITER 3103 NEW BEST:: SOT 115604 SOS 56899 HAS SOPS 56899 HAS SOUS 18710 HAS SOUPS 18710 WITH SCORE 18766.899
AT ITER 3120 NEW BEST:: SOT 115600 SOS 56895 HAS SOPS 56895 HAS SOUS 18706 HAS SOUPS 18706 WITH SCORE 18762.895
AT ITER 3132 NEW BEST:: SOT 115612 SOS 56907 HAS SOPS 56907 HAS SOUS 18703 HAS SOUPS 18703 WITH SCORE 18759.907
AT ITER 3134 NEW BEST:: SOT 115638 SOS 56842 HAS SOPS 56842 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18750.842
AT ITER 3136 NEW BEST:: SOT 115632 SOS 56836 HAS SOPS 56836 HAS SOUS 18691 HAS SOUPS 18691 WITH SCORE 18747.836
AT ITER 3155 NEW BEST:: SOT 115630 SOS 56830 HAS SOPS 56830 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18745.83
AT ITER 3162 NEW BEST:: SOT 115500 SOS 57208 HAS SOPS 57208 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18702.208
AT ITER 3177 NEW BEST:: SOT 115492 SOS 57200 HAS SOPS 57200 HAS SOUS 18637 HAS SOUPS 18637 WITH SCORE 18694.2
AT ITER 3187 NEW BEST:: SOT 115490 SOS 57192 HAS SOPS 57192 HAS SOUS 18633 HAS SOUPS 18633 WITH SCORE 18690.192
AT ITER 3195 NEW BEST:: SOT 115490 SOS 57170 HAS SOPS 57170 HAS SOUS 18633 HAS SOUPS 18633 WITH SCORE 18690.17
AT ITER 3230 NEW BEST:: SOT 115422 SOS 57057 HAS SOPS 57057 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18630.057
AT ITER 3241 NEW BEST:: SOT 115435 SOS 57046 HAS SOPS 57046 HAS SOUS 18562 HAS SOUPS 18562 WITH SCORE 18619.046
AT ITER 3265 NEW BEST:: SOT 115368 SOS 56907 HAS SOPS 56907 HAS SOUS 18477 HAS SOUPS 18477 WITH SCORE 18533.907
AT ITER 3282 NEW BEST:: SOT 115368 SOS 56883 HAS SOPS 56883 HAS SOUS 18477 HAS SOUPS 18477 WITH SCORE 18533.883
AT ITER 3287 NEW BEST:: SOT 115369 SOS 56691 HAS SOPS 56691 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18505.691
AT ITER 3293 NEW BEST:: SOT 115351 SOS 56635 HAS SOPS 56635 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18505.635
AT ITER 3294 NEW BEST:: SOT 115363 SOS 56647 HAS SOPS 56647 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18481.647
AT ITER 3307 NEW BEST:: SOT 115385 SOS 56640 HAS SOPS 56640 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18474.64
AT ITER 3316 NEW BEST:: SOT 115384 SOS 56644 HAS SOPS 56644 HAS SOUS 18416 HAS SOUPS 18416 WITH SCORE 18472.644
AT ITER 3323 NEW BEST:: SOT 115314 SOS 56574 HAS SOPS 56574 HAS SOUS 18330 HAS SOUPS 18330 WITH SCORE 18386.574
AT ITER 3334 NEW BEST:: SOT 115315 SOS 56575 HAS SOPS 56575 HAS SOUS 18324 HAS SOUPS 18324 WITH SCORE 18380.575
AT ITER 3370 NEW BEST:: SOT 115225 SOS 56485 HAS SOPS 56485 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18371.485
AT ITER 3441 NEW BEST:: SOT 115099 SOS 56359 HAS SOPS 56359 HAS SOUS 18289 HAS SOUPS 18289 WITH SCORE 18345.359
AT ITER 3457 NEW BEST:: SOT 115093 SOS 56277 HAS SOPS 56277 HAS SOUS 18283 HAS SOUPS 18283 WITH SCORE 18339.277
AT ITER 3507 NEW BEST:: SOT 115122 SOS 56306 HAS SOPS 56306 HAS SOUS 18252 HAS SOUPS 18252 WITH SCORE 18308.306
AT ITER 3523 NEW BEST:: SOT 115092 SOS 56276 HAS SOPS 56276 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18269.276
AT ITER 3537 NEW BEST:: SOT 115043 SOS 56214 HAS SOPS 56214 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18219.214
AT ITER 3557 NEW BEST:: SOT 115037 SOS 56208 HAS SOPS 56208 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18201.208
AT ITER 3597 NEW BEST:: SOT 114977 SOS 56148 HAS SOPS 56148 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18201.148
AT ITER 3640 NEW BEST:: SOT 114977 SOS 56148 HAS SOPS 56148 HAS SOUS 18144 HAS SOUPS 18144 WITH SCORE 18200.148
AT ITER 3678 NEW BEST:: SOT 114963 SOS 56134 HAS SOPS 56134 HAS SOUS 18120 HAS SOUPS 18120 WITH SCORE 18176.134
AT ITER 3697 NEW BEST:: SOT 114930 SOS 55969 HAS SOPS 55969 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18142.969
AT ITER 3711 NEW BEST:: SOT 114930 SOS 55937 HAS SOPS 55937 HAS SOUS 18070 HAS SOUPS 18070 WITH SCORE 18125.937
AT ITER 3715 NEW BEST:: SOT 114945 SOS 55762 HAS SOPS 55762 HAS SOUS 18070 HAS SOUPS 18070 WITH SCORE 18125.762
AT ITER 3748 NEW BEST:: SOT 114942 SOS 55761 HAS SOPS 55761 HAS SOUS 18068 HAS SOUPS 18068 WITH SCORE 18123.761
AT ITER 3751 NEW BEST:: SOT 114937 SOS 55752 HAS SOPS 55752 HAS SOUS 18063 HAS SOUPS 18063 WITH SCORE 18118.752
AT ITER 3754 NEW BEST:: SOT 114937 SOS 55708 HAS SOPS 55708 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18107.708
AT ITER 3757 NEW BEST:: SOT 114858 SOS 55603 HAS SOPS 55603 HAS SOUS 17933 HAS SOUPS 17933 WITH SCORE 17988.603
AT ITER 3765 NEW BEST:: SOT 114846 SOS 55591 HAS SOPS 55591 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17967.591
AT ITER 3780 NEW BEST:: SOT 114806 SOS 55551 HAS SOPS 55551 HAS SOUS 17852 HAS SOUPS 17852 WITH SCORE 17907.551
AT ITER 3800 NEW BEST:: SOT 114722 SOS 55449 HAS SOPS 55449 HAS SOUS 17770 HAS SOUPS 17770 WITH SCORE 17825.449
AT ITER 3810 NEW BEST:: SOT 114666 SOS 55403 HAS SOPS 55403 HAS SOUS 17752 HAS SOUPS 17752 WITH SCORE 17807.403
AT ITER 3813 NEW BEST:: SOT 114461 SOS 55217 HAS SOPS 55217 HAS SOUS 17686 HAS SOUPS 17686 WITH SCORE 17741.217
AT ITER 3829 NEW BEST:: SOT 114461 SOS 55217 HAS SOPS 55217 HAS SOUS 17668 HAS SOUPS 17668 WITH SCORE 17723.217
AT ITER 3838 NEW BEST:: SOT 114461 SOS 55217 HAS SOPS 55217 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17717.217
AT ITER 3841 NEW BEST:: SOT 114425 SOS 55181 HAS SOPS 55181 HAS SOUS 17608 HAS SOUPS 17608 WITH SCORE 17663.181
AT ITER 3843 NEW BEST:: SOT 114405 SOS 55175 HAS SOPS 55175 HAS SOUS 17593 HAS SOUPS 17593 WITH SCORE 17648.175
AT ITER 3861 NEW BEST:: SOT 114367 SOS 55137 HAS SOPS 55137 HAS SOUS 17550 HAS SOUPS 17550 WITH SCORE 17605.137
AT ITER 3883 NEW BEST:: SOT 114345 SOS 55015 HAS SOPS 55015 HAS SOUS 17511 HAS SOUPS 17511 WITH SCORE 17566.015
AT ITER 3899 NEW BEST:: SOT 114344 SOS 55010 HAS SOPS 55010 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17565.01
AT ITER 3910 NEW BEST:: SOT 114319 SOS 55048 HAS SOPS 55048 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17540.048
AT ITER 3928 NEW BEST:: SOT 114305 SOS 55034 HAS SOPS 55034 HAS SOUS 17471 HAS SOUPS 17471 WITH SCORE 17526.034
AT ITER 3985 NEW BEST:: SOT 114290 SOS 54691 HAS SOPS 54691 HAS SOUS 17471 HAS SOUPS 17471 WITH SCORE 17525.691
AT ITER 3987 NEW BEST:: SOT 114289 SOS 54503 HAS SOPS 54503 HAS SOUS 17410 HAS SOUPS 17410 WITH SCORE 17464.503
AT ITER 4023 NEW BEST:: SOT 114263 SOS 54477 HAS SOPS 54477 HAS SOUS 17384 HAS SOUPS 17384 WITH SCORE 17438.477
AT ITER 4029 NEW BEST:: SOT 114263 SOS 54466 HAS SOPS 54466 HAS SOUS 17367 HAS SOUPS 17367 WITH SCORE 17421.466
AT ITER 4052 NEW BEST:: SOT 114241 SOS 54444 HAS SOPS 54444 HAS SOUS 17331 HAS SOUPS 17331 WITH SCORE 17385.444
AT ITER 4083 NEW BEST:: SOT 114241 SOS 54434 HAS SOPS 54434 HAS SOUS 17331 HAS SOUPS 17331 WITH SCORE 17385.434
AT ITER 4092 NEW BEST:: SOT 114239 SOS 54424 HAS SOPS 54424 HAS SOUS 17329 HAS SOUPS 17329 WITH SCORE 17383.424
AT ITER 4105 NEW BEST:: SOT 114244 SOS 54380 HAS SOPS 54380 HAS SOUS 17325 HAS SOUPS 17325 WITH SCORE 17379.38
AT ITER 4139 NEW BEST:: SOT 114244 SOS 54446 HAS SOPS 54446 HAS SOUS 17316 HAS SOUPS 17316 WITH SCORE 17370.446
AT ITER 4159 NEW BEST:: SOT 114234 SOS 54436 HAS SOPS 54436 HAS SOUS 17302 HAS SOUPS 17302 WITH SCORE 17356.436
AT ITER 4168 NEW BEST:: SOT 114228 SOS 54430 HAS SOPS 54430 HAS SOUS 17299 HAS SOUPS 17299 WITH SCORE 17353.43
AT ITER 4187 NEW BEST:: SOT 114164 SOS 54352 HAS SOPS 54352 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17345.352
AT ITER 4189 NEW BEST:: SOT 114152 SOS 54332 HAS SOPS 54332 HAS SOUS 17267 HAS SOUPS 17267 WITH SCORE 17321.332
AT ITER 4197 NEW BEST:: SOT 114152 SOS 54327 HAS SOPS 54327 HAS SOUS 17266 HAS SOUPS 17266 WITH SCORE 17320.327
AT ITER 4200 NEW BEST:: SOT 114132 SOS 54307 HAS SOPS 54307 HAS SOUS 17229 HAS SOUPS 17229 WITH SCORE 17283.307
AT ITER 4237 NEW BEST:: SOT 114090 SOS 54265 HAS SOPS 54265 HAS SOUS 17205 HAS SOUPS 17205 WITH SCORE 17259.265
AT ITER 4245 NEW BEST:: SOT 114068 SOS 54025 HAS SOPS 54025 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17258.025
AT ITER 4281 NEW BEST:: SOT 114048 SOS 53945 HAS SOPS 53945 HAS SOUS 17184 HAS SOUPS 17184 WITH SCORE 17237.945
AT ITER 4300 NEW BEST:: SOT 114011 SOS 53908 HAS SOPS 53908 HAS SOUS 17174 HAS SOUPS 17174 WITH SCORE 17227.908
AT ITER 4350 NEW BEST:: SOT 114011 SOS 53908 HAS SOPS 53908 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17226.908
AT ITER 4362 NEW BEST:: SOT 114017 SOS 53911 HAS SOPS 53911 HAS SOUS 17164 HAS SOUPS 17164 WITH SCORE 17217.911
AT ITER 4380 NEW BEST:: SOT 114007 SOS 53597 HAS SOPS 53597 HAS SOUS 17127 HAS SOUPS 17127 WITH SCORE 17180.597
AT ITER 4386 NEW BEST:: SOT 113995 SOS 53573 HAS SOPS 53573 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17156.573
AT ITER 4423 NEW BEST:: SOT 114007 SOS 53581 HAS SOPS 53581 HAS SOUS 17091 HAS SOUPS 17091 WITH SCORE 17144.581
AT ITER 4425 NEW BEST:: SOT 113984 SOS 53535 HAS SOPS 53535 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17121.535
AT ITER 4470 NEW BEST:: SOT 113980 SOS 53531 HAS SOPS 53531 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17119.531
AT ITER 4478 NEW BEST:: SOT 113948 SOS 53499 HAS SOPS 53499 HAS SOUS 17016 HAS SOUPS 17016 WITH SCORE 17069.499
AT ITER 4489 NEW BEST:: SOT 113932 SOS 53454 HAS SOPS 53454 HAS SOUS 17010 HAS SOUPS 17010 WITH SCORE 17063.454
AT ITER 4515 NEW BEST:: SOT 113924 SOS 53500 HAS SOPS 53500 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17033.5
AT ITER 4551 NEW BEST:: SOT 113897 SOS 53461 HAS SOPS 53461 HAS SOUS 16962 HAS SOUPS 16962 WITH SCORE 17015.461
AT ITER 4566 NEW BEST:: SOT 113889 SOS 53453 HAS SOPS 53453 HAS SOUS 16954 HAS SOUPS 16954 WITH SCORE 17007.453
AT ITER 4571 NEW BEST:: SOT 113873 SOS 53257 HAS SOPS 53257 HAS SOUS 16920 HAS SOUPS 16920 WITH SCORE 16973.257
AT ITER 4604 NEW BEST:: SOT 113872 SOS 53239 HAS SOPS 53239 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16971.239
AT ITER 4650 NEW BEST:: SOT 113857 SOS 53164 HAS SOPS 53164 HAS SOUS 16843 HAS SOUPS 16843 WITH SCORE 16896.164
AT ITER 4664 NEW BEST:: SOT 113857 SOS 53164 HAS SOPS 53164 HAS SOUS 16835 HAS SOUPS 16835 WITH SCORE 16888.164
AT ITER 4691 NEW BEST:: SOT 113862 SOS 53155 HAS SOPS 53155 HAS SOUS 16833 HAS SOUPS 16833 WITH SCORE 16886.155
AT ITER 4695 NEW BEST:: SOT 113856 SOS 53149 HAS SOPS 53149 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16871.149
AT ITER 4701 NEW BEST:: SOT 113812 SOS 53075 HAS SOPS 53075 HAS SOUS 16776 HAS SOUPS 16776 WITH SCORE 16829.075
AT ITER 4716 NEW BEST:: SOT 113812 SOS 53075 HAS SOPS 53075 HAS SOUS 16771 HAS SOUPS 16771 WITH SCORE 16824.075
AT ITER 4746 NEW BEST:: SOT 113792 SOS 53040 HAS SOPS 53040 HAS SOUS 16771 HAS SOUPS 16771 WITH SCORE 16824.04
AT ITER 4755 NEW BEST:: SOT 113755 SOS 53007 HAS SOPS 53007 HAS SOUS 16753 HAS SOUPS 16753 WITH SCORE 16806.007
AT ITER 4764 NEW BEST:: SOT 113754 SOS 52949 HAS SOPS 52949 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16802.949
AT ITER 4774 NEW BEST:: SOT 113710 SOS 52677 HAS SOPS 52677 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16758.677
AT ITER 4783 NEW BEST:: SOT 113710 SOS 52673 HAS SOPS 52673 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16756.673
AT ITER 4814 NEW BEST:: SOT 113700 SOS 52653 HAS SOPS 52653 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16746.653
AT ITER 4817 NEW BEST:: SOT 113700 SOS 52653 HAS SOPS 52653 HAS SOUS 16667 HAS SOUPS 16667 WITH SCORE 16719.653
AT ITER 4841 NEW BEST:: SOT 113766 SOS 52931 HAS SOPS 52931 HAS SOUS 16660 HAS SOUPS 16660 WITH SCORE 16712.931
AT ITER 4864 NEW BEST:: SOT 113766 SOS 53059 HAS SOPS 53059 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16705.059
AT ITER 4866 NEW BEST:: SOT 113766 SOS 53045 HAS SOPS 53045 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16699.045
AT ITER 4906 NEW BEST:: SOT 113766 SOS 52977 HAS SOPS 52977 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16687.977
AT ITER 4922 NEW BEST:: SOT 113772 SOS 53009 HAS SOPS 53009 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16659.009
AT ITER 4928 NEW BEST:: SOT 113772 SOS 53009 HAS SOPS 53009 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16650.009
AT ITER 4933 NEW BEST:: SOT 113757 SOS 52994 HAS SOPS 52994 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16649.994
AT ITER 4998 NEW BEST:: SOT 113715 SOS 52938 HAS SOPS 52938 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16607.938
AT ITER 5094 NEW BEST:: SOT 113711 SOS 52959 HAS SOPS 52959 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16603.959
AT ITER 5100 NEW BEST:: SOT 113712 SOS 52969 HAS SOPS 52969 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16588.969
AT ITER 5114 NEW BEST:: SOT 113708 SOS 52951 HAS SOPS 52951 HAS SOUS 16532 HAS SOUPS 16532 WITH SCORE 16584.951
AT ITER 5118 NEW BEST:: SOT 113697 SOS 52940 HAS SOPS 52940 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16575.94
AT ITER 5146 NEW BEST:: SOT 113683 SOS 52926 HAS SOPS 52926 HAS SOUS 16509 HAS SOUPS 16509 WITH SCORE 16561.926
AT ITER 5154 NEW BEST:: SOT 113689 SOS 52956 HAS SOPS 52956 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16548.956
AT ITER 5156 NEW BEST:: SOT 113684 SOS 53011 HAS SOPS 53011 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16548.011
AT ITER 5174 NEW BEST:: SOT 113611 SOS 52958 HAS SOPS 52958 HAS SOUS 16481 HAS SOUPS 16481 WITH SCORE 16533.958
AT ITER 5208 NEW BEST:: SOT 113595 SOS 52916 HAS SOPS 52916 HAS SOUS 16443 HAS SOUPS 16443 WITH SCORE 16495.916
AT ITER 5217 NEW BEST:: SOT 113595 SOS 52898 HAS SOPS 52898 HAS SOUS 16437 HAS SOUPS 16437 WITH SCORE 16489.898
AT ITER 5229 NEW BEST:: SOT 113579 SOS 52882 HAS SOPS 52882 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16450.882
AT ITER 5267 NEW BEST:: SOT 113575 SOS 52878 HAS SOPS 52878 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16444.878
AT ITER 5270 NEW BEST:: SOT 113573 SOS 52876 HAS SOPS 52876 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16442.876
AT ITER 5281 NEW BEST:: SOT 113573 SOS 52876 HAS SOPS 52876 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16441.876
AT ITER 5313 NEW BEST:: SOT 113571 SOS 52854 HAS SOPS 52854 HAS SOUS 16387 HAS SOUPS 16387 WITH SCORE 16439.854
AT ITER 5354 NEW BEST:: SOT 113594 SOS 52877 HAS SOPS 52877 HAS SOUS 16383 HAS SOUPS 16383 WITH SCORE 16435.877
AT ITER 5361 NEW BEST:: SOT 113594 SOS 52859 HAS SOPS 52859 HAS SOUS 16383 HAS SOUPS 16383 WITH SCORE 16435.859
AT ITER 5366 NEW BEST:: SOT 113583 SOS 52787 HAS SOPS 52787 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16423.787
AT ITER 5367 NEW BEST:: SOT 113557 SOS 52709 HAS SOPS 52709 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16384.709
AT ITER 5388 NEW BEST:: SOT 113558 SOS 52708 HAS SOPS 52708 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16383.708
AT ITER 5397 NEW BEST:: SOT 113558 SOS 52708 HAS SOPS 52708 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16380.708
AT ITER 5407 NEW BEST:: SOT 113537 SOS 52645 HAS SOPS 52645 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16380.645
AT ITER 5446 NEW BEST:: SOT 113549 SOS 52601 HAS SOPS 52601 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16376.601
AT ITER 5488 NEW BEST:: SOT 113550 SOS 52611 HAS SOPS 52611 HAS SOUS 16323 HAS SOUPS 16323 WITH SCORE 16375.611
AT ITER 5500 NEW BEST:: SOT 113551 SOS 52612 HAS SOPS 52612 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16366.612
AT ITER 5522 NEW BEST:: SOT 113547 SOS 52608 HAS SOPS 52608 HAS SOUS 16308 HAS SOUPS 16308 WITH SCORE 16360.608
AT ITER 5529 NEW BEST:: SOT 113429 SOS 53804 HAS SOPS 53804 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16328.804
AT ITER 5542 NEW BEST:: SOT 113418 SOS 53802 HAS SOPS 53802 HAS SOUS 16273 HAS SOUPS 16273 WITH SCORE 16326.802
AT ITER 5573 NEW BEST:: SOT 113418 SOS 53802 HAS SOPS 53802 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16324.802
AT ITER 5607 NEW BEST:: SOT 113426 SOS 53770 HAS SOPS 53770 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16324.77
AT ITER 5651 NEW BEST:: SOT 113389 SOS 54100 HAS SOPS 54100 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16324.1
AT ITER 5659 NEW BEST:: SOT 113427 SOS 54198 HAS SOPS 54198 HAS SOUS 16267 HAS SOUPS 16267 WITH SCORE 16321.198
AT ITER 5687 NEW BEST:: SOT 113351 SOS 54200 HAS SOPS 54200 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16258.2
AT ITER 5692 NEW BEST:: SOT 113344 SOS 54221 HAS SOPS 54221 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16251.221
AT ITER 5694 NEW BEST:: SOT 113250 SOS 54308 HAS SOPS 54308 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16172.308
AT ITER 5709 NEW BEST:: SOT 113257 SOS 54301 HAS SOPS 54301 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16165.301
AT ITER 5724 NEW BEST:: SOT 113223 SOS 54147 HAS SOPS 54147 HAS SOUS 16107 HAS SOUPS 16107 WITH SCORE 16161.147
AT ITER 5730 NEW BEST:: SOT 113185 SOS 53999 HAS SOPS 53999 HAS SOUS 16094 HAS SOUPS 16094 WITH SCORE 16147.999
AT ITER 5750 NEW BEST:: SOT 113193 SOS 53967 HAS SOPS 53967 HAS SOUS 16090 HAS SOUPS 16090 WITH SCORE 16143.967
AT ITER 5754 NEW BEST:: SOT 113193 SOS 53967 HAS SOPS 53967 HAS SOUS 16080 HAS SOUPS 16080 WITH SCORE 16133.967
AT ITER 5848 NEW BEST:: SOT 113187 SOS 53934 HAS SOPS 53934 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16098.934
AT ITER 5855 NEW BEST:: SOT 113242 SOS 53989 HAS SOPS 53989 HAS SOUS 16032 HAS SOUPS 16032 WITH SCORE 16085.989
AT ITER 5869 NEW BEST:: SOT 113238 SOS 53985 HAS SOPS 53985 HAS SOUS 16026 HAS SOUPS 16026 WITH SCORE 16079.985
AT ITER 5907 NEW BEST:: SOT 113234 SOS 53985 HAS SOPS 53985 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16076.985
AT ITER 5975 NEW BEST:: SOT 113234 SOS 54012 HAS SOPS 54012 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16068.012
AT ITER 6022 NEW BEST:: SOT 113223 SOS 54012 HAS SOPS 54012 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16046.012
AT ITER 6029 NEW BEST:: SOT 113217 SOS 54000 HAS SOPS 54000 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16040.0
AT ITER 6030 NEW BEST:: SOT 113204 SOS 53930 HAS SOPS 53930 HAS SOUS 15970 HAS SOUPS 15970 WITH SCORE 16023.93
AT ITER 6059 NEW BEST:: SOT 113180 SOS 53874 HAS SOPS 53874 HAS SOUS 15970 HAS SOUPS 15970 WITH SCORE 16023.874
AT ITER 6069 NEW BEST:: SOT 113168 SOS 53836 HAS SOPS 53836 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 16011.836
AT ITER 6081 NEW BEST:: SOT 113162 SOS 53830 HAS SOPS 53830 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 16011.83
AT ITER 6082 NEW BEST:: SOT 113174 SOS 53842 HAS SOPS 53842 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 16008.842
AT ITER 6090 NEW BEST:: SOT 113119 SOS 53787 HAS SOPS 53787 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 16008.787
AT ITER 6103 NEW BEST:: SOT 113119 SOS 53771 HAS SOPS 53771 HAS SOUS 15939 HAS SOUPS 15939 WITH SCORE 15992.771
AT ITER 6115 NEW BEST:: SOT 113078 SOS 53454 HAS SOPS 53454 HAS SOUS 15888 HAS SOUPS 15888 WITH SCORE 15941.454
AT ITER 6126 NEW BEST:: SOT 113072 SOS 53448 HAS SOPS 53448 HAS SOUS 15882 HAS SOUPS 15882 WITH SCORE 15935.448
AT ITER 6137 NEW BEST:: SOT 113052 SOS 53662 HAS SOPS 53662 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15927.662
AT ITER 6169 NEW BEST:: SOT 113047 SOS 53624 HAS SOPS 53624 HAS SOUS 15868 HAS SOUPS 15868 WITH SCORE 15921.624
AT ITER 6181 NEW BEST:: SOT 113054 SOS 53647 HAS SOPS 53647 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15912.647
AT ITER 6184 NEW BEST:: SOT 113048 SOS 53641 HAS SOPS 53641 HAS SOUS 15853 HAS SOUPS 15853 WITH SCORE 15906.641
AT ITER 6188 NEW BEST:: SOT 113044 SOS 53637 HAS SOPS 53637 HAS SOUS 15849 HAS SOUPS 15849 WITH SCORE 15902.637
AT ITER 6191 NEW BEST:: SOT 113036 SOS 53613 HAS SOPS 53613 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15894.613
AT ITER 6244 NEW BEST:: SOT 113022 SOS 53599 HAS SOPS 53599 HAS SOUS 15833 HAS SOUPS 15833 WITH SCORE 15886.599
AT ITER 6325 NEW BEST:: SOT 113022 SOS 53577 HAS SOPS 53577 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15875.577
AT ITER 6340 NEW BEST:: SOT 113026 SOS 53579 HAS SOPS 53579 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15873.579
AT ITER 6347 NEW BEST:: SOT 112964 SOS 53517 HAS SOPS 53517 HAS SOUS 15800 HAS SOUPS 15800 WITH SCORE 15853.517
AT ITER 6367 NEW BEST:: SOT 112924 SOS 53787 HAS SOPS 53787 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15850.787
AT ITER 6437 NEW BEST:: SOT 112920 SOS 53789 HAS SOPS 53789 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15846.789
AT ITER 6438 NEW BEST:: SOT 112900 SOS 53781 HAS SOPS 53781 HAS SOUS 15786 HAS SOUPS 15786 WITH SCORE 15839.781
AT ITER 6467 NEW BEST:: SOT 112897 SOS 53567 HAS SOPS 53567 HAS SOUS 15783 HAS SOUPS 15783 WITH SCORE 15836.567
AT ITER 6493 NEW BEST:: SOT 112880 SOS 53500 HAS SOPS 53500 HAS SOUS 15783 HAS SOUPS 15783 WITH SCORE 15836.5
AT ITER 6506 NEW BEST:: SOT 112868 SOS 53488 HAS SOPS 53488 HAS SOUS 15763 HAS SOUPS 15763 WITH SCORE 15816.488
AT ITER 6559 NEW BEST:: SOT 112845 SOS 53465 HAS SOPS 53465 HAS SOUS 15761 HAS SOUPS 15761 WITH SCORE 15814.465
AT ITER 6575 NEW BEST:: SOT 112829 SOS 53449 HAS SOPS 53449 HAS SOUS 15734 HAS SOUPS 15734 WITH SCORE 15787.449
AT ITER 6607 NEW BEST:: SOT 112829 SOS 53448 HAS SOPS 53448 HAS SOUS 15734 HAS SOUPS 15734 WITH SCORE 15787.448
AT ITER 6610 NEW BEST:: SOT 112829 SOS 53448 HAS SOPS 53448 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15778.448
AT ITER 6632 NEW BEST:: SOT 112823 SOS 53442 HAS SOPS 53442 HAS SOUS 15719 HAS SOUPS 15719 WITH SCORE 15772.442
AT ITER 6660 NEW BEST:: SOT 112808 SOS 53367 HAS SOPS 53367 HAS SOUS 15717 HAS SOUPS 15717 WITH SCORE 15770.367
AT ITER 6668 NEW BEST:: SOT 112798 SOS 53387 HAS SOPS 53387 HAS SOUS 15697 HAS SOUPS 15697 WITH SCORE 15750.387
AT ITER 6767 NEW BEST:: SOT 112667 SOS 53270 HAS SOPS 53270 HAS SOUS 15669 HAS SOUPS 15669 WITH SCORE 15722.27
AT ITER 6892 NEW BEST:: SOT 112661 SOS 53264 HAS SOPS 53264 HAS SOUS 15663 HAS SOUPS 15663 WITH SCORE 15716.264
AT ITER 6927 NEW BEST:: SOT 112649 SOS 53252 HAS SOPS 53252 HAS SOUS 15647 HAS SOUPS 15647 WITH SCORE 15700.252
AT ITER 6932 NEW BEST:: SOT 112648 SOS 53250 HAS SOPS 53250 HAS SOUS 15645 HAS SOUPS 15645 WITH SCORE 15698.25
AT ITER 6967 NEW BEST:: SOT 112638 SOS 53240 HAS SOPS 53240 HAS SOUS 15627 HAS SOUPS 15627 WITH SCORE 15680.24
AT ITER 6987 NEW BEST:: SOT 112637 SOS 53239 HAS SOPS 53239 HAS SOUS 15623 HAS SOUPS 15623 WITH SCORE 15676.239
AT ITER 7062 NEW BEST:: SOT 112633 SOS 53235 HAS SOPS 53235 HAS SOUS 15618 HAS SOUPS 15618 WITH SCORE 15671.235
AT ITER 7140 NEW BEST:: SOT 112627 SOS 53295 HAS SOPS 53295 HAS SOUS 15606 HAS SOUPS 15606 WITH SCORE 15659.295
AT ITER 7166 NEW BEST:: SOT 112617 SOS 53285 HAS SOPS 53285 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15643.285
AT ITER 7182 NEW BEST:: SOT 112608 SOS 53276 HAS SOPS 53276 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15643.276
AT ITER 7217 NEW BEST:: SOT 112606 SOS 53274 HAS SOPS 53274 HAS SOUS 15583 HAS SOUPS 15583 WITH SCORE 15636.274
AT ITER 7220 NEW BEST:: SOT 112591 SOS 53222 HAS SOPS 53222 HAS SOUS 15553 HAS SOUPS 15553 WITH SCORE 15606.222
AT ITER 7288 NEW BEST:: SOT 112507 SOS 53148 HAS SOPS 53148 HAS SOUS 15546 HAS SOUPS 15546 WITH SCORE 15599.148
AT ITER 7326 NEW BEST:: SOT 112314 SOS 53299 HAS SOPS 53299 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15503.299
AT ITER 7337 NEW BEST:: SOT 112306 SOS 53277 HAS SOPS 53277 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15495.277
AT ITER 7349 NEW BEST:: SOT 112303 SOS 53272 HAS SOPS 53272 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15495.272
AT ITER 7381 NEW BEST:: SOT 112289 SOS 53253 HAS SOPS 53253 HAS SOUS 15434 HAS SOUPS 15434 WITH SCORE 15487.253
AT ITER 7395 NEW BEST:: SOT 112251 SOS 53215 HAS SOPS 53215 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15445.215
AT ITER 7422 NEW BEST:: SOT 112251 SOS 53215 HAS SOPS 53215 HAS SOUS 15388 HAS SOUPS 15388 WITH SCORE 15441.215
AT ITER 7460 NEW BEST:: SOT 112250 SOS 53214 HAS SOPS 53214 HAS SOUS 15388 HAS SOUPS 15388 WITH SCORE 15441.214
AT ITER 7473 NEW BEST:: SOT 112265 SOS 53235 HAS SOPS 53235 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15433.235
AT ITER 7565 NEW BEST:: SOT 112274 SOS 53251 HAS SOPS 53251 HAS SOUS 15374 HAS SOUPS 15374 WITH SCORE 15427.251
AT ITER 7694 NEW BEST:: SOT 112261 SOS 53237 HAS SOPS 53237 HAS SOUS 15346 HAS SOUPS 15346 WITH SCORE 15399.237
AT ITER 7704 NEW BEST:: SOT 112245 SOS 53221 HAS SOPS 53221 HAS SOUS 15328 HAS SOUPS 15328 WITH SCORE 15381.221
AT ITER 7740 NEW BEST:: SOT 112217 SOS 53107 HAS SOPS 53107 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15356.107
AT ITER 7804 NEW BEST:: SOT 112215 SOS 53105 HAS SOPS 53105 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15356.105
AT ITER 7810 NEW BEST:: SOT 112211 SOS 53101 HAS SOPS 53101 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15349.101
AT ITER 7829 NEW BEST:: SOT 112222 SOS 53036 HAS SOPS 53036 HAS SOUS 15266 HAS SOUPS 15266 WITH SCORE 15319.036
AT ITER 7875 NEW BEST:: SOT 112152 SOS 52595 HAS SOPS 52595 HAS SOUS 15197 HAS SOUPS 15197 WITH SCORE 15249.595
AT ITER 7917 NEW BEST:: SOT 112141 SOS 52584 HAS SOPS 52584 HAS SOUS 15195 HAS SOUPS 15195 WITH SCORE 15247.584
AT ITER 7975 NEW BEST:: SOT 112140 SOS 52500 HAS SOPS 52500 HAS SOUS 15188 HAS SOUPS 15188 WITH SCORE 15240.5
AT ITER 8026 NEW BEST:: SOT 112136 SOS 52496 HAS SOPS 52496 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15236.496
AT ITER 8041 NEW BEST:: SOT 111936 SOS 53980 HAS SOPS 53980 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15166.98
AT ITER 8077 NEW BEST:: SOT 111936 SOS 53939 HAS SOPS 53939 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15147.939
AT ITER 8091 NEW BEST:: SOT 111936 SOS 53921 HAS SOPS 53921 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15147.921
AT ITER 8186 NEW BEST:: SOT 111928 SOS 53926 HAS SOPS 53926 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15139.926
AT ITER 8234 NEW BEST:: SOT 111888 SOS 53763 HAS SOPS 53763 HAS SOUS 15052 HAS SOUPS 15052 WITH SCORE 15105.763
AT ITER 8250 NEW BEST:: SOT 111888 SOS 53735 HAS SOPS 53735 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15091.735
AT ITER 8264 NEW BEST:: SOT 111885 SOS 53768 HAS SOPS 53768 HAS SOUS 15035 HAS SOUPS 15035 WITH SCORE 15088.768
AT ITER 8285 NEW BEST:: SOT 111877 SOS 53752 HAS SOPS 53752 HAS SOUS 15028 HAS SOUPS 15028 WITH SCORE 15081.752
AT ITER 8326 NEW BEST:: SOT 111875 SOS 53752 HAS SOPS 53752 HAS SOUS 15024 HAS SOUPS 15024 WITH SCORE 15077.752
AT ITER 8329 NEW BEST:: SOT 111863 SOS 53740 HAS SOPS 53740 HAS SOUS 15003 HAS SOUPS 15003 WITH SCORE 15056.74
AT ITER 8330 NEW BEST:: SOT 111807 SOS 53375 HAS SOPS 53375 HAS SOUS 14973 HAS SOUPS 14973 WITH SCORE 15026.375
AT ITER 8343 NEW BEST:: SOT 111804 SOS 53371 HAS SOPS 53371 HAS SOUS 14970 HAS SOUPS 14970 WITH SCORE 15023.371
AT ITER 8426 NEW BEST:: SOT 111802 SOS 53369 HAS SOPS 53369 HAS SOUS 14968 HAS SOUPS 14968 WITH SCORE 15021.369
AT ITER 8497 NEW BEST:: SOT 111798 SOS 53365 HAS SOPS 53365 HAS SOUS 14963 HAS SOUPS 14963 WITH SCORE 15016.365
AT ITER 8520 NEW BEST:: SOT 111814 SOS 53399 HAS SOPS 53399 HAS SOUS 14931 HAS SOUPS 14931 WITH SCORE 14984.399
AT ITER 8575 NEW BEST:: SOT 111808 SOS 53309 HAS SOPS 53309 HAS SOUS 14925 HAS SOUPS 14925 WITH SCORE 14978.309
AT ITER 8583 NEW BEST:: SOT 111800 SOS 53297 HAS SOPS 53297 HAS SOUS 14917 HAS SOUPS 14917 WITH SCORE 14970.297
AT ITER 8605 NEW BEST:: SOT 111781 SOS 53269 HAS SOPS 53269 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14953.269
AT ITER 8613 NEW BEST:: SOT 111761 SOS 53249 HAS SOPS 53249 HAS SOUS 14874 HAS SOUPS 14874 WITH SCORE 14927.249
AT ITER 8632 NEW BEST:: SOT 111767 SOS 53255 HAS SOPS 53255 HAS SOUS 14867 HAS SOUPS 14867 WITH SCORE 14920.255
AT ITER 8644 NEW BEST:: SOT 111760 SOS 53248 HAS SOPS 53248 HAS SOUS 14862 HAS SOUPS 14862 WITH SCORE 14915.248
AT ITER 8751 NEW BEST:: SOT 111753 SOS 53234 HAS SOPS 53234 HAS SOUS 14862 HAS SOUPS 14862 WITH SCORE 14915.234
AT ITER 8808 NEW BEST:: SOT 111738 SOS 53120 HAS SOPS 53120 HAS SOUS 14847 HAS SOUPS 14847 WITH SCORE 14900.12
AT ITER 8826 NEW BEST:: SOT 111625 SOS 53006 HAS SOPS 53006 HAS SOUS 14846 HAS SOUPS 14846 WITH SCORE 14899.006
AT ITER 8867 NEW BEST:: SOT 111619 SOS 53000 HAS SOPS 53000 HAS SOUS 14838 HAS SOUPS 14838 WITH SCORE 14891.0
AT ITER 8874 NEW BEST:: SOT 111614 SOS 52990 HAS SOPS 52990 HAS SOUS 14838 HAS SOUPS 14838 WITH SCORE 14890.99
AT ITER 8921 NEW BEST:: SOT 111667 SOS 53043 HAS SOPS 53043 HAS SOUS 14823 HAS SOUPS 14823 WITH SCORE 14876.043
AT ITER 8969 NEW BEST:: SOT 111643 SOS 52651 HAS SOPS 52651 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14848.651
AT ITER 8970 NEW BEST:: SOT 111629 SOS 52637 HAS SOPS 52637 HAS SOUS 14780 HAS SOUPS 14780 WITH SCORE 14832.637
AT ITER 8972 NEW BEST:: SOT 111652 SOS 52661 HAS SOPS 52661 HAS SOUS 14779 HAS SOUPS 14779 WITH SCORE 14831.661
AT ITER 8992 NEW BEST:: SOT 111643 SOS 52494 HAS SOPS 52494 HAS SOUS 14771 HAS SOUPS 14771 WITH SCORE 14823.494
AT ITER 8993 NEW BEST:: SOT 111623 SOS 52476 HAS SOPS 52476 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14803.476
AT ITER 9003 NEW BEST:: SOT 111602 SOS 52427 HAS SOPS 52427 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14796.427
AT ITER 9004 NEW BEST:: SOT 111602 SOS 52397 HAS SOPS 52397 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14796.397
AT ITER 9048 NEW BEST:: SOT 111602 SOS 52479 HAS SOPS 52479 HAS SOUS 14724 HAS SOUPS 14724 WITH SCORE 14776.479
AT ITER 9112 NEW BEST:: SOT 111604 SOS 52456 HAS SOPS 52456 HAS SOUS 14717 HAS SOUPS 14717 WITH SCORE 14769.456
AT ITER 9131 NEW BEST:: SOT 111604 SOS 52478 HAS SOPS 52478 HAS SOUS 14706 HAS SOUPS 14706 WITH SCORE 14758.478
AT ITER 9134 NEW BEST:: SOT 111594 SOS 52468 HAS SOPS 52468 HAS SOUS 14696 HAS SOUPS 14696 WITH SCORE 14748.468
AT ITER 9174 NEW BEST:: SOT 111575 SOS 52613 HAS SOPS 52613 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14740.613
AT ITER 9175 NEW BEST:: SOT 111572 SOS 52607 HAS SOPS 52607 HAS SOUS 14685 HAS SOUPS 14685 WITH SCORE 14737.607
AT ITER 9206 NEW BEST:: SOT 111577 SOS 52611 HAS SOPS 52611 HAS SOUS 14675 HAS SOUPS 14675 WITH SCORE 14727.611
AT ITER 9228 NEW BEST:: SOT 111569 SOS 52603 HAS SOPS 52603 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14716.603
AT ITER 9318 NEW BEST:: SOT 111595 SOS 52664 HAS SOPS 52664 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14715.664
AT ITER 9350 NEW BEST:: SOT 111557 SOS 52626 HAS SOPS 52626 HAS SOUS 14610 HAS SOUPS 14610 WITH SCORE 14662.626
AT ITER 9394 NEW BEST:: SOT 111553 SOS 52604 HAS SOPS 52604 HAS SOUS 14606 HAS SOUPS 14606 WITH SCORE 14658.604
AT ITER 9412 NEW BEST:: SOT 111549 SOS 52578 HAS SOPS 52578 HAS SOUS 14580 HAS SOUPS 14580 WITH SCORE 14632.578
AT ITER 9421 NEW BEST:: SOT 111545 SOS 52574 HAS SOPS 52574 HAS SOUS 14579 HAS SOUPS 14579 WITH SCORE 14631.574
AT ITER 9433 NEW BEST:: SOT 111524 SOS 52553 HAS SOPS 52553 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14610.553
AT ITER 9479 NEW BEST:: SOT 111524 SOS 52557 HAS SOPS 52557 HAS SOUS 14550 HAS SOUPS 14550 WITH SCORE 14602.557
AT ITER 9591 NEW BEST:: SOT 111524 SOS 52557 HAS SOPS 52557 HAS SOUS 14549 HAS SOUPS 14549 WITH SCORE 14601.557
AT ITER 9598 NEW BEST:: SOT 111529 SOS 52562 HAS SOPS 52562 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14597.562
AT ITER 9633 NEW BEST:: SOT 111523 SOS 52580 HAS SOPS 52580 HAS SOUS 14527 HAS SOUPS 14527 WITH SCORE 14579.58
AT ITER 9644 NEW BEST:: SOT 111517 SOS 52573 HAS SOPS 52573 HAS SOUS 14520 HAS SOUPS 14520 WITH SCORE 14572.573
AT ITER 9662 NEW BEST:: SOT 111517 SOS 52571 HAS SOPS 52571 HAS SOUS 14518 HAS SOUPS 14518 WITH SCORE 14570.571
AT ITER 9718 NEW BEST:: SOT 111493 SOS 52547 HAS SOPS 52547 HAS SOUS 14518 HAS SOUPS 14518 WITH SCORE 14570.547
AT ITER 9735 NEW BEST:: SOT 111471 SOS 52522 HAS SOPS 52522 HAS SOUS 14502 HAS SOUPS 14502 WITH SCORE 14554.522
AT ITER 9748 NEW BEST:: SOT 111471 SOS 52522 HAS SOPS 52522 HAS SOUS 14498 HAS SOUPS 14498 WITH SCORE 14550.522
AT ITER 9758 NEW BEST:: SOT 111449 SOS 52440 HAS SOPS 52440 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14548.44
AT ITER 9761 NEW BEST:: SOT 111446 SOS 52408 HAS SOPS 52408 HAS SOUS 14477 HAS SOUPS 14477 WITH SCORE 14529.408
AT ITER 9846 NEW BEST:: SOT 111442 SOS 52404 HAS SOPS 52404 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14525.404
AT ITER 9859 NEW BEST:: SOT 111449 SOS 52411 HAS SOPS 52411 HAS SOUS 14471 HAS SOUPS 14471 WITH SCORE 14523.411
AT ITER 9967 NEW BEST:: SOT 111456 SOS 52427 HAS SOPS 52427 HAS SOUS 14469 HAS SOUPS 14469 WITH SCORE 14521.427
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4060020 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121988 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="UtilityControlRoom-PT-Z4T4N08"
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 UtilityControlRoom-PT-Z4T4N08, 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 r491-tall-167912711501216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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