Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 3.2K May 14 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 18:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 13 18:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 13:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 08:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 08:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 105K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590439240096

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

GOT IT HERE. BS
Petri model created: 383 places, 283 transitions, 1206 arcs.
AT ITER 0 NEW BEST:: SOT 86651 SOS 73154 HAS SOPS 73154 HAS SOUS 64212 HAS SOUPS 64212 WITH SCORE 64285.154
AT ITER 3 NEW BEST:: SOT 86581 SOS 73103 HAS SOPS 73103 HAS SOUS 64159 HAS SOUPS 64159 WITH SCORE 64232.103
AT ITER 4 NEW BEST:: SOT 86581 SOS 72924 HAS SOPS 72924 HAS SOUS 64115 HAS SOUPS 64115 WITH SCORE 64187.924
AT ITER 6 NEW BEST:: SOT 86581 SOS 72845 HAS SOPS 72845 HAS SOUS 64115 HAS SOUPS 64115 WITH SCORE 64187.845
AT ITER 7 NEW BEST:: SOT 86581 SOS 72846 HAS SOPS 72846 HAS SOUS 64114 HAS SOUPS 64114 WITH SCORE 64186.846
AT ITER 9 NEW BEST:: SOT 86269 SOS 72425 HAS SOPS 72425 HAS SOUS 63759 HAS SOUPS 63759 WITH SCORE 63831.425
AT ITER 10 NEW BEST:: SOT 86173 SOS 72329 HAS SOPS 72329 HAS SOUS 63663 HAS SOUPS 63663 WITH SCORE 63735.329
AT ITER 11 NEW BEST:: SOT 86173 SOS 72169 HAS SOPS 72169 HAS SOUS 63597 HAS SOUPS 63597 WITH SCORE 63669.169
AT ITER 15 NEW BEST:: SOT 86082 SOS 72078 HAS SOPS 72078 HAS SOUS 63506 HAS SOUPS 63506 WITH SCORE 63578.078
AT ITER 16 NEW BEST:: SOT 86051 SOS 71922 HAS SOPS 71922 HAS SOUS 63495 HAS SOUPS 63495 WITH SCORE 63566.922
AT ITER 17 NEW BEST:: SOT 86051 SOS 71611 HAS SOPS 71611 HAS SOUS 63383 HAS SOUPS 63383 WITH SCORE 63454.611
AT ITER 22 NEW BEST:: SOT 85973 SOS 71533 HAS SOPS 71533 HAS SOUS 63303 HAS SOUPS 63303 WITH SCORE 63374.533
AT ITER 24 NEW BEST:: SOT 85903 SOS 71463 HAS SOPS 71463 HAS SOUS 63233 HAS SOUPS 63233 WITH SCORE 63304.463
AT ITER 25 NEW BEST:: SOT 85837 SOS 71397 HAS SOPS 71397 HAS SOUS 63165 HAS SOUPS 63165 WITH SCORE 63236.397
AT ITER 26 NEW BEST:: SOT 85813 SOS 71373 HAS SOPS 71373 HAS SOUS 63141 HAS SOUPS 63141 WITH SCORE 63212.373
AT ITER 27 NEW BEST:: SOT 85709 SOS 71269 HAS SOPS 71269 HAS SOUS 63037 HAS SOUPS 63037 WITH SCORE 63108.269
AT ITER 28 NEW BEST:: SOT 85592 SOS 71150 HAS SOPS 71150 HAS SOUS 62918 HAS SOUPS 62918 WITH SCORE 62989.15
AT ITER 30 NEW BEST:: SOT 85592 SOS 71108 HAS SOPS 71108 HAS SOUS 62915 HAS SOUPS 62915 WITH SCORE 62986.108
AT ITER 31 NEW BEST:: SOT 85592 SOS 71060 HAS SOPS 71060 HAS SOUS 62899 HAS SOUPS 62899 WITH SCORE 62970.06
AT ITER 33 NEW BEST:: SOT 85592 SOS 70951 HAS SOPS 70951 HAS SOUS 62860 HAS SOUPS 62860 WITH SCORE 62930.951
AT ITER 34 NEW BEST:: SOT 85461 SOS 70820 HAS SOPS 70820 HAS SOUS 62752 HAS SOUPS 62752 WITH SCORE 62822.82
AT ITER 35 NEW BEST:: SOT 85284 SOS 70211 HAS SOPS 70211 HAS SOUS 62360 HAS SOUPS 62360 WITH SCORE 62430.211
AT ITER 36 NEW BEST:: SOT 85157 SOS 70035 HAS SOPS 70035 HAS SOUS 62063 HAS SOUPS 62063 WITH SCORE 62133.035
AT ITER 37 NEW BEST:: SOT 85022 SOS 69900 HAS SOPS 69900 HAS SOUS 61928 HAS SOUPS 61928 WITH SCORE 61997.9
AT ITER 38 NEW BEST:: SOT 85022 SOS 69916 HAS SOPS 69916 HAS SOUS 61926 HAS SOUPS 61926 WITH SCORE 61995.916
AT ITER 40 NEW BEST:: SOT 84993 SOS 69887 HAS SOPS 69887 HAS SOUS 61868 HAS SOUPS 61868 WITH SCORE 61937.887
AT ITER 41 NEW BEST:: SOT 84924 SOS 69749 HAS SOPS 69749 HAS SOUS 61661 HAS SOUPS 61661 WITH SCORE 61730.749
AT ITER 43 NEW BEST:: SOT 84635 SOS 69141 HAS SOPS 69141 HAS SOUS 61032 HAS SOUPS 61032 WITH SCORE 61101.141
AT ITER 45 NEW BEST:: SOT 84475 SOS 68981 HAS SOPS 68981 HAS SOUS 60874 HAS SOUPS 60874 WITH SCORE 60942.981
AT ITER 46 NEW BEST:: SOT 84461 SOS 68543 HAS SOPS 68543 HAS SOUS 60578 HAS SOUPS 60578 WITH SCORE 60646.543
AT ITER 48 NEW BEST:: SOT 84461 SOS 68338 HAS SOPS 68338 HAS SOUS 60481 HAS SOUPS 60481 WITH SCORE 60549.338
AT ITER 49 NEW BEST:: SOT 84445 SOS 68158 HAS SOPS 68158 HAS SOUS 60399 HAS SOUPS 60399 WITH SCORE 60467.158
AT ITER 50 NEW BEST:: SOT 84357 SOS 68068 HAS SOPS 68068 HAS SOUS 60309 HAS SOUPS 60309 WITH SCORE 60377.068
AT ITER 51 NEW BEST:: SOT 84173 SOS 67884 HAS SOPS 67884 HAS SOUS 60035 HAS SOUPS 60035 WITH SCORE 60102.884
AT ITER 53 NEW BEST:: SOT 84128 SOS 67839 HAS SOPS 67839 HAS SOUS 59945 HAS SOUPS 59945 WITH SCORE 60012.839
AT ITER 54 NEW BEST:: SOT 84030 SOS 67706 HAS SOPS 67706 HAS SOUS 59744 HAS SOUPS 59744 WITH SCORE 59811.706
AT ITER 56 NEW BEST:: SOT 83918 SOS 67544 HAS SOPS 67544 HAS SOUS 59540 HAS SOUPS 59540 WITH SCORE 59607.544
AT ITER 57 NEW BEST:: SOT 83819 SOS 66921 HAS SOPS 66921 HAS SOUS 59053 HAS SOUPS 59053 WITH SCORE 59119.921
AT ITER 60 NEW BEST:: SOT 83795 SOS 66965 HAS SOPS 66965 HAS SOUS 58962 HAS SOUPS 58962 WITH SCORE 59028.965
AT ITER 63 NEW BEST:: SOT 83744 SOS 66904 HAS SOPS 66904 HAS SOUS 58901 HAS SOUPS 58901 WITH SCORE 58967.904
AT ITER 65 NEW BEST:: SOT 83656 SOS 66860 HAS SOPS 66860 HAS SOUS 58857 HAS SOUPS 58857 WITH SCORE 58923.86
AT ITER 67 NEW BEST:: SOT 83527 SOS 66663 HAS SOPS 66663 HAS SOUS 58660 HAS SOUPS 58660 WITH SCORE 58726.663
AT ITER 70 NEW BEST:: SOT 83297 SOS 66433 HAS SOPS 66433 HAS SOUS 58333 HAS SOUPS 58333 WITH SCORE 58399.433
AT ITER 71 NEW BEST:: SOT 83297 SOS 66366 HAS SOPS 66366 HAS SOUS 58307 HAS SOUPS 58307 WITH SCORE 58373.366
AT ITER 73 NEW BEST:: SOT 83297 SOS 66366 HAS SOPS 66366 HAS SOUS 58280 HAS SOUPS 58280 WITH SCORE 58346.366
AT ITER 75 NEW BEST:: SOT 83297 SOS 66000 HAS SOPS 66000 HAS SOUS 57999 HAS SOUPS 57999 WITH SCORE 58065.0
AT ITER 79 NEW BEST:: SOT 83272 SOS 65975 HAS SOPS 65975 HAS SOUS 57974 HAS SOUPS 57974 WITH SCORE 58039.975
AT ITER 81 NEW BEST:: SOT 83354 SOS 65749 HAS SOPS 65749 HAS SOUS 57802 HAS SOUPS 57802 WITH SCORE 57867.749
AT ITER 82 NEW BEST:: SOT 83147 SOS 65464 HAS SOPS 65464 HAS SOUS 57387 HAS SOUPS 57387 WITH SCORE 57452.464
AT ITER 83 NEW BEST:: SOT 83147 SOS 65141 HAS SOPS 65141 HAS SOUS 57160 HAS SOUPS 57160 WITH SCORE 57225.141
AT ITER 84 NEW BEST:: SOT 83169 SOS 64817 HAS SOPS 64817 HAS SOUS 57058 HAS SOUPS 57058 WITH SCORE 57122.817
AT ITER 85 NEW BEST:: SOT 83169 SOS 64592 HAS SOPS 64592 HAS SOUS 57057 HAS SOUPS 57057 WITH SCORE 57121.592
AT ITER 88 NEW BEST:: SOT 83169 SOS 64534 HAS SOPS 64534 HAS SOUS 56999 HAS SOUPS 56999 WITH SCORE 57063.534
AT ITER 92 NEW BEST:: SOT 83100 SOS 64465 HAS SOPS 64465 HAS SOUS 56927 HAS SOUPS 56927 WITH SCORE 56991.465
AT ITER 93 NEW BEST:: SOT 82958 SOS 64323 HAS SOPS 64323 HAS SOUS 56711 HAS SOUPS 56711 WITH SCORE 56775.323
AT ITER 96 NEW BEST:: SOT 82958 SOS 64323 HAS SOPS 64323 HAS SOUS 56627 HAS SOUPS 56627 WITH SCORE 56691.323
AT ITER 97 NEW BEST:: SOT 82958 SOS 64024 HAS SOPS 64024 HAS SOUS 56565 HAS SOUPS 56565 WITH SCORE 56629.024
AT ITER 98 NEW BEST:: SOT 82755 SOS 63514 HAS SOPS 63514 HAS SOUS 56195 HAS SOUPS 56195 WITH SCORE 56258.514
AT ITER 103 NEW BEST:: SOT 82664 SOS 63540 HAS SOPS 63540 HAS SOUS 56090 HAS SOUPS 56090 WITH SCORE 56153.54
AT ITER 105 NEW BEST:: SOT 82664 SOS 63389 HAS SOPS 63389 HAS SOUS 55918 HAS SOUPS 55918 WITH SCORE 55981.389
AT ITER 106 NEW BEST:: SOT 82362 SOS 62558 HAS SOPS 62558 HAS SOUS 55372 HAS SOUPS 55372 WITH SCORE 55434.558
AT ITER 111 NEW BEST:: SOT 82183 SOS 62379 HAS SOPS 62379 HAS SOUS 55193 HAS SOUPS 55193 WITH SCORE 55255.379
AT ITER 112 NEW BEST:: SOT 81903 SOS 61716 HAS SOPS 61716 HAS SOUS 54885 HAS SOUPS 54885 WITH SCORE 54946.716
AT ITER 113 NEW BEST:: SOT 81903 SOS 61421 HAS SOPS 61421 HAS SOUS 54797 HAS SOUPS 54797 WITH SCORE 54858.421
AT ITER 114 NEW BEST:: SOT 81738 SOS 61000 HAS SOPS 61000 HAS SOUS 54601 HAS SOUPS 54601 WITH SCORE 54662.0
AT ITER 117 NEW BEST:: SOT 81582 SOS 60844 HAS SOPS 60844 HAS SOUS 54445 HAS SOUPS 54445 WITH SCORE 54505.844
AT ITER 118 NEW BEST:: SOT 81521 SOS 60783 HAS SOPS 60783 HAS SOUS 54384 HAS SOUPS 54384 WITH SCORE 54444.783
AT ITER 125 NEW BEST:: SOT 81440 SOS 60496 HAS SOPS 60496 HAS SOUS 54118 HAS SOUPS 54118 WITH SCORE 54178.496
AT ITER 131 NEW BEST:: SOT 81343 SOS 60463 HAS SOPS 60463 HAS SOUS 54085 HAS SOUPS 54085 WITH SCORE 54145.463
AT ITER 133 NEW BEST:: SOT 81148 SOS 60157 HAS SOPS 60157 HAS SOUS 53739 HAS SOUPS 53739 WITH SCORE 53799.157
AT ITER 136 NEW BEST:: SOT 81148 SOS 60075 HAS SOPS 60075 HAS SOUS 53721 HAS SOUPS 53721 WITH SCORE 53781.075
AT ITER 138 NEW BEST:: SOT 81247 SOS 60008 HAS SOPS 60008 HAS SOUS 53680 HAS SOUPS 53680 WITH SCORE 53740.008
AT ITER 139 NEW BEST:: SOT 81149 SOS 59865 HAS SOPS 59865 HAS SOUS 53562 HAS SOUPS 53562 WITH SCORE 53621.865
AT ITER 141 NEW BEST:: SOT 81135 SOS 59851 HAS SOPS 59851 HAS SOUS 53548 HAS SOUPS 53548 WITH SCORE 53607.851
AT ITER 144 NEW BEST:: SOT 81283 SOS 59542 HAS SOPS 59542 HAS SOUS 53457 HAS SOUPS 53457 WITH SCORE 53516.542
AT ITER 146 NEW BEST:: SOT 81162 SOS 59042 HAS SOPS 59042 HAS SOUS 53048 HAS SOUPS 53048 WITH SCORE 53107.042
AT ITER 147 NEW BEST:: SOT 81058 SOS 59061 HAS SOPS 59061 HAS SOUS 53009 HAS SOUPS 53009 WITH SCORE 53068.061
AT ITER 149 NEW BEST:: SOT 81053 SOS 58924 HAS SOPS 58924 HAS SOUS 52826 HAS SOUPS 52826 WITH SCORE 52884.924
AT ITER 151 NEW BEST:: SOT 81030 SOS 58878 HAS SOPS 58878 HAS SOUS 52780 HAS SOUPS 52780 WITH SCORE 52838.878
AT ITER 152 NEW BEST:: SOT 80895 SOS 58743 HAS SOPS 58743 HAS SOUS 52645 HAS SOUPS 52645 WITH SCORE 52703.743
AT ITER 159 NEW BEST:: SOT 80862 SOS 58710 HAS SOPS 58710 HAS SOUS 52612 HAS SOUPS 52612 WITH SCORE 52670.71
AT ITER 160 NEW BEST:: SOT 80741 SOS 58494 HAS SOPS 58494 HAS SOUS 52446 HAS SOUPS 52446 WITH SCORE 52504.494
AT ITER 161 NEW BEST:: SOT 80741 SOS 58372 HAS SOPS 58372 HAS SOUS 52379 HAS SOUPS 52379 WITH SCORE 52437.372
AT ITER 166 NEW BEST:: SOT 80606 SOS 58299 HAS SOPS 58299 HAS SOUS 52304 HAS SOUPS 52304 WITH SCORE 52362.299
AT ITER 168 NEW BEST:: SOT 80606 SOS 58066 HAS SOPS 58066 HAS SOUS 52212 HAS SOUPS 52212 WITH SCORE 52270.066
AT ITER 169 NEW BEST:: SOT 80601 SOS 58055 HAS SOPS 58055 HAS SOUS 52204 HAS SOUPS 52204 WITH SCORE 52262.055
AT ITER 170 NEW BEST:: SOT 80599 SOS 58056 HAS SOPS 58056 HAS SOUS 52202 HAS SOUPS 52202 WITH SCORE 52260.056
AT ITER 174 NEW BEST:: SOT 80541 SOS 57997 HAS SOPS 57997 HAS SOUS 52143 HAS SOUPS 52143 WITH SCORE 52200.997
AT ITER 176 NEW BEST:: SOT 80474 SOS 57930 HAS SOPS 57930 HAS SOUS 51991 HAS SOUPS 51991 WITH SCORE 52048.93
AT ITER 177 NEW BEST:: SOT 80474 SOS 57796 HAS SOPS 57796 HAS SOUS 51990 HAS SOUPS 51990 WITH SCORE 52047.796
AT ITER 179 NEW BEST:: SOT 80281 SOS 57603 HAS SOPS 57603 HAS SOUS 51844 HAS SOUPS 51844 WITH SCORE 51901.603
AT ITER 183 NEW BEST:: SOT 80281 SOS 57603 HAS SOPS 57603 HAS SOUS 51777 HAS SOUPS 51777 WITH SCORE 51834.603
AT ITER 184 NEW BEST:: SOT 80281 SOS 57643 HAS SOPS 57643 HAS SOUS 51693 HAS SOUPS 51693 WITH SCORE 51750.643
AT ITER 191 NEW BEST:: SOT 80325 SOS 57440 HAS SOPS 57440 HAS SOUS 51583 HAS SOUPS 51583 WITH SCORE 51640.44
AT ITER 198 NEW BEST:: SOT 80322 SOS 57268 HAS SOPS 57268 HAS SOUS 51430 HAS SOUPS 51430 WITH SCORE 51487.268
AT ITER 201 NEW BEST:: SOT 80322 SOS 57172 HAS SOPS 57172 HAS SOUS 51336 HAS SOUPS 51336 WITH SCORE 51393.172
AT ITER 202 NEW BEST:: SOT 80511 SOS 57069 HAS SOPS 57069 HAS SOUS 51307 HAS SOUPS 51307 WITH SCORE 51364.069
AT ITER 210 NEW BEST:: SOT 80511 SOS 57029 HAS SOPS 57029 HAS SOUS 51279 HAS SOUPS 51279 WITH SCORE 51336.029
AT ITER 211 NEW BEST:: SOT 80132 SOS 56728 HAS SOPS 56728 HAS SOUS 50964 HAS SOUPS 50964 WITH SCORE 51020.728
AT ITER 212 NEW BEST:: SOT 80176 SOS 56802 HAS SOPS 56802 HAS SOUS 50937 HAS SOUPS 50937 WITH SCORE 50993.802
AT ITER 214 NEW BEST:: SOT 79857 SOS 56526 HAS SOPS 56526 HAS SOUS 50632 HAS SOUPS 50632 WITH SCORE 50688.526
AT ITER 217 NEW BEST:: SOT 79764 SOS 56433 HAS SOPS 56433 HAS SOUS 50461 HAS SOUPS 50461 WITH SCORE 50517.433
AT ITER 221 NEW BEST:: SOT 79675 SOS 56344 HAS SOPS 56344 HAS SOUS 50372 HAS SOUPS 50372 WITH SCORE 50428.344
AT ITER 222 NEW BEST:: SOT 79675 SOS 56298 HAS SOPS 56298 HAS SOUS 50372 HAS SOUPS 50372 WITH SCORE 50428.298
AT ITER 224 NEW BEST:: SOT 79588 SOS 56040 HAS SOPS 56040 HAS SOUS 50190 HAS SOUPS 50190 WITH SCORE 50246.04
AT ITER 225 NEW BEST:: SOT 79389 SOS 55678 HAS SOPS 55678 HAS SOUS 50090 HAS SOUPS 50090 WITH SCORE 50145.678
AT ITER 226 NEW BEST:: SOT 79336 SOS 55525 HAS SOPS 55525 HAS SOUS 49937 HAS SOUPS 49937 WITH SCORE 49992.525
AT ITER 231 NEW BEST:: SOT 79334 SOS 55371 HAS SOPS 55371 HAS SOUS 49896 HAS SOUPS 49896 WITH SCORE 49951.371
AT ITER 232 NEW BEST:: SOT 79190 SOS 55227 HAS SOPS 55227 HAS SOUS 49752 HAS SOUPS 49752 WITH SCORE 49807.227
AT ITER 239 NEW BEST:: SOT 79190 SOS 55129 HAS SOPS 55129 HAS SOUS 49654 HAS SOUPS 49654 WITH SCORE 49709.129
AT ITER 240 NEW BEST:: SOT 79067 SOS 54798 HAS SOPS 54798 HAS SOUS 49493 HAS SOUPS 49493 WITH SCORE 49547.798
AT ITER 242 NEW BEST:: SOT 79067 SOS 54765 HAS SOPS 54765 HAS SOUS 49449 HAS SOUPS 49449 WITH SCORE 49503.765
AT ITER 245 NEW BEST:: SOT 79067 SOS 54764 HAS SOPS 54764 HAS SOUS 49404 HAS SOUPS 49404 WITH SCORE 49458.764
AT ITER 246 NEW BEST:: SOT 79067 SOS 54686 HAS SOPS 54686 HAS SOUS 49404 HAS SOUPS 49404 WITH SCORE 49458.686
AT ITER 249 NEW BEST:: SOT 79057 SOS 54676 HAS SOPS 54676 HAS SOUS 49376 HAS SOUPS 49376 WITH SCORE 49430.676
AT ITER 250 NEW BEST:: SOT 79136 SOS 54663 HAS SOPS 54663 HAS SOUS 49362 HAS SOUPS 49362 WITH SCORE 49416.663
AT ITER 253 NEW BEST:: SOT 78978 SOS 54117 HAS SOPS 54117 HAS SOUS 49071 HAS SOUPS 49071 WITH SCORE 49125.117
AT ITER 254 NEW BEST:: SOT 78795 SOS 53538 HAS SOPS 53538 HAS SOUS 48693 HAS SOUPS 48693 WITH SCORE 48746.538
AT ITER 257 NEW BEST:: SOT 78795 SOS 53536 HAS SOPS 53536 HAS SOUS 48681 HAS SOUPS 48681 WITH SCORE 48734.536
AT ITER 260 NEW BEST:: SOT 78732 SOS 53411 HAS SOPS 53411 HAS SOUS 48556 HAS SOUPS 48556 WITH SCORE 48609.411
AT ITER 261 NEW BEST:: SOT 78754 SOS 53433 HAS SOPS 53433 HAS SOUS 48546 HAS SOUPS 48546 WITH SCORE 48599.433
AT ITER 266 NEW BEST:: SOT 78708 SOS 53369 HAS SOPS 53369 HAS SOUS 48426 HAS SOUPS 48426 WITH SCORE 48479.369
AT ITER 269 NEW BEST:: SOT 78401 SOS 52869 HAS SOPS 52869 HAS SOUS 47926 HAS SOUPS 47926 WITH SCORE 47978.869
AT ITER 272 NEW BEST:: SOT 78401 SOS 52869 HAS SOPS 52869 HAS SOUS 47901 HAS SOUPS 47901 WITH SCORE 47953.869
AT ITER 277 NEW BEST:: SOT 78352 SOS 52856 HAS SOPS 52856 HAS SOUS 47829 HAS SOUPS 47829 WITH SCORE 47881.856
AT ITER 280 NEW BEST:: SOT 78288 SOS 52728 HAS SOPS 52728 HAS SOUS 47765 HAS SOUPS 47765 WITH SCORE 47817.728
AT ITER 281 NEW BEST:: SOT 78288 SOS 52552 HAS SOPS 52552 HAS SOUS 47765 HAS SOUPS 47765 WITH SCORE 47817.552
AT ITER 285 NEW BEST:: SOT 78137 SOS 52401 HAS SOPS 52401 HAS SOUS 47614 HAS SOUPS 47614 WITH SCORE 47666.401
AT ITER 287 NEW BEST:: SOT 78098 SOS 52362 HAS SOPS 52362 HAS SOUS 47575 HAS SOUPS 47575 WITH SCORE 47627.362
AT ITER 290 NEW BEST:: SOT 78133 SOS 51709 HAS SOPS 51709 HAS SOUS 47249 HAS SOUPS 47249 WITH SCORE 47300.709
AT ITER 291 NEW BEST:: SOT 77927 SOS 51321 HAS SOPS 51321 HAS SOUS 46799 HAS SOUPS 46799 WITH SCORE 46850.321
AT ITER 294 NEW BEST:: SOT 77857 SOS 51250 HAS SOPS 51250 HAS SOUS 46738 HAS SOUPS 46738 WITH SCORE 46789.25
AT ITER 299 NEW BEST:: SOT 77876 SOS 51269 HAS SOPS 51269 HAS SOUS 46727 HAS SOUPS 46727 WITH SCORE 46778.269
AT ITER 301 NEW BEST:: SOT 77810 SOS 51194 HAS SOPS 51194 HAS SOUS 46658 HAS SOUPS 46658 WITH SCORE 46709.194
AT ITER 304 NEW BEST:: SOT 77658 SOS 51042 HAS SOPS 51042 HAS SOUS 46464 HAS SOUPS 46464 WITH SCORE 46515.042
AT ITER 305 NEW BEST:: SOT 77650 SOS 51034 HAS SOPS 51034 HAS SOUS 46456 HAS SOUPS 46456 WITH SCORE 46507.034
AT ITER 307 NEW BEST:: SOT 77642 SOS 51026 HAS SOPS 51026 HAS SOUS 46439 HAS SOUPS 46439 WITH SCORE 46490.026
AT ITER 310 NEW BEST:: SOT 77620 SOS 50933 HAS SOPS 50933 HAS SOUS 46346 HAS SOUPS 46346 WITH SCORE 46396.933
AT ITER 312 NEW BEST:: SOT 77644 SOS 50414 HAS SOPS 50414 HAS SOUS 46147 HAS SOUPS 46147 WITH SCORE 46197.414
AT ITER 315 NEW BEST:: SOT 77521 SOS 50248 HAS SOPS 50248 HAS SOUS 45981 HAS SOUPS 45981 WITH SCORE 46031.248
AT ITER 318 NEW BEST:: SOT 77521 SOS 49943 HAS SOPS 49943 HAS SOUS 45857 HAS SOUPS 45857 WITH SCORE 45906.943
AT ITER 320 NEW BEST:: SOT 77424 SOS 49846 HAS SOPS 49846 HAS SOUS 45760 HAS SOUPS 45760 WITH SCORE 45809.846
AT ITER 321 NEW BEST:: SOT 77355 SOS 49777 HAS SOPS 49777 HAS SOUS 45582 HAS SOUPS 45582 WITH SCORE 45631.777
AT ITER 322 NEW BEST:: SOT 77232 SOS 49572 HAS SOPS 49572 HAS SOUS 45377 HAS SOUPS 45377 WITH SCORE 45426.572
AT ITER 324 NEW BEST:: SOT 77232 SOS 49566 HAS SOPS 49566 HAS SOUS 45374 HAS SOUPS 45374 WITH SCORE 45423.566
AT ITER 326 NEW BEST:: SOT 77164 SOS 49384 HAS SOPS 49384 HAS SOUS 45230 HAS SOUPS 45230 WITH SCORE 45279.384
AT ITER 332 NEW BEST:: SOT 77186 SOS 49406 HAS SOPS 49406 HAS SOUS 45215 HAS SOUPS 45215 WITH SCORE 45264.406
AT ITER 333 NEW BEST:: SOT 77175 SOS 49395 HAS SOPS 49395 HAS SOUS 45215 HAS SOUPS 45215 WITH SCORE 45264.395
AT ITER 334 NEW BEST:: SOT 77175 SOS 49199 HAS SOPS 49199 HAS SOUS 45137 HAS SOUPS 45137 WITH SCORE 45186.199
AT ITER 336 NEW BEST:: SOT 77175 SOS 49123 HAS SOPS 49123 HAS SOUS 45072 HAS SOUPS 45072 WITH SCORE 45121.123
AT ITER 339 NEW BEST:: SOT 77125 SOS 49073 HAS SOPS 49073 HAS SOUS 45022 HAS SOUPS 45022 WITH SCORE 45071.073
AT ITER 341 NEW BEST:: SOT 77125 SOS 48992 HAS SOPS 48992 HAS SOUS 44976 HAS SOUPS 44976 WITH SCORE 45024.992
AT ITER 342 NEW BEST:: SOT 76972 SOS 48639 HAS SOPS 48639 HAS SOUS 44623 HAS SOUPS 44623 WITH SCORE 44671.639
AT ITER 347 NEW BEST:: SOT 76786 SOS 48597 HAS SOPS 48597 HAS SOUS 44565 HAS SOUPS 44565 WITH SCORE 44613.597
AT ITER 350 NEW BEST:: SOT 76786 SOS 48577 HAS SOPS 48577 HAS SOUS 44558 HAS SOUPS 44558 WITH SCORE 44606.577
AT ITER 351 NEW BEST:: SOT 76682 SOS 48426 HAS SOPS 48426 HAS SOUS 44457 HAS SOUPS 44457 WITH SCORE 44505.426
AT ITER 354 NEW BEST:: SOT 76682 SOS 48426 HAS SOPS 48426 HAS SOUS 44450 HAS SOUPS 44450 WITH SCORE 44498.426
AT ITER 355 NEW BEST:: SOT 76636 SOS 48291 HAS SOPS 48291 HAS SOUS 44356 HAS SOUPS 44356 WITH SCORE 44404.291
AT ITER 358 NEW BEST:: SOT 76609 SOS 48210 HAS SOPS 48210 HAS SOUS 44295 HAS SOUPS 44295 WITH SCORE 44343.21
AT ITER 361 NEW BEST:: SOT 76434 SOS 48276 HAS SOPS 48276 HAS SOUS 44201 HAS SOUPS 44201 WITH SCORE 44249.276
AT ITER 362 NEW BEST:: SOT 76310 SOS 48081 HAS SOPS 48081 HAS SOUS 44006 HAS SOUPS 44006 WITH SCORE 44054.081
AT ITER 370 NEW BEST:: SOT 76303 SOS 48053 HAS SOPS 48053 HAS SOUS 43991 HAS SOUPS 43991 WITH SCORE 44039.053
AT ITER 374 NEW BEST:: SOT 76259 SOS 47815 HAS SOPS 47815 HAS SOUS 43809 HAS SOUPS 43809 WITH SCORE 43856.815
AT ITER 381 NEW BEST:: SOT 76258 SOS 47729 HAS SOPS 47729 HAS SOUS 43723 HAS SOUPS 43723 WITH SCORE 43770.729
AT ITER 385 NEW BEST:: SOT 76258 SOS 47729 HAS SOPS 47729 HAS SOUS 43668 HAS SOUPS 43668 WITH SCORE 43715.729
AT ITER 388 NEW BEST:: SOT 76124 SOS 47781 HAS SOPS 47781 HAS SOUS 43531 HAS SOUPS 43531 WITH SCORE 43578.781
AT ITER 391 NEW BEST:: SOT 75907 SOS 47649 HAS SOPS 47649 HAS SOUS 43413 HAS SOUPS 43413 WITH SCORE 43460.649
AT ITER 392 NEW BEST:: SOT 75626 SOS 47118 HAS SOPS 47118 HAS SOUS 42927 HAS SOUPS 42927 WITH SCORE 42974.118
AT ITER 400 NEW BEST:: SOT 75626 SOS 47093 HAS SOPS 47093 HAS SOUS 42849 HAS SOUPS 42849 WITH SCORE 42896.093
AT ITER 407 NEW BEST:: SOT 75264 SOS 46437 HAS SOPS 46437 HAS SOUS 42201 HAS SOUPS 42201 WITH SCORE 42247.437
AT ITER 410 NEW BEST:: SOT 75197 SOS 46225 HAS SOPS 46225 HAS SOUS 41987 HAS SOUPS 41987 WITH SCORE 42033.225
AT ITER 411 NEW BEST:: SOT 75142 SOS 46170 HAS SOPS 46170 HAS SOUS 41932 HAS SOUPS 41932 WITH SCORE 41978.17
AT ITER 412 NEW BEST:: SOT 75136 SOS 46164 HAS SOPS 46164 HAS SOUS 41926 HAS SOUPS 41926 WITH SCORE 41972.164
AT ITER 416 NEW BEST:: SOT 75132 SOS 46142 HAS SOPS 46142 HAS SOUS 41923 HAS SOUPS 41923 WITH SCORE 41969.142
AT ITER 420 NEW BEST:: SOT 75117 SOS 46127 HAS SOPS 46127 HAS SOUS 41889 HAS SOUPS 41889 WITH SCORE 41935.127
AT ITER 422 NEW BEST:: SOT 75117 SOS 46086 HAS SOPS 46086 HAS SOUS 41870 HAS SOUPS 41870 WITH SCORE 41916.086
AT ITER 424 NEW BEST:: SOT 75018 SOS 45987 HAS SOPS 45987 HAS SOUS 41718 HAS SOUPS 41718 WITH SCORE 41763.987
AT ITER 431 NEW BEST:: SOT 74859 SOS 45736 HAS SOPS 45736 HAS SOUS 41467 HAS SOUPS 41467 WITH SCORE 41512.736
AT ITER 433 NEW BEST:: SOT 74607 SOS 45442 HAS SOPS 45442 HAS SOUS 41173 HAS SOUPS 41173 WITH SCORE 41218.442
AT ITER 437 NEW BEST:: SOT 74607 SOS 45197 HAS SOPS 45197 HAS SOUS 41119 HAS SOUPS 41119 WITH SCORE 41164.197
AT ITER 440 NEW BEST:: SOT 74551 SOS 45080 HAS SOPS 45080 HAS SOUS 40997 HAS SOUPS 40997 WITH SCORE 41042.08
AT ITER 449 NEW BEST:: SOT 74480 SOS 45009 HAS SOPS 45009 HAS SOUS 40906 HAS SOUPS 40906 WITH SCORE 40951.009
AT ITER 450 NEW BEST:: SOT 74438 SOS 44884 HAS SOPS 44884 HAS SOUS 40900 HAS SOUPS 40900 WITH SCORE 40944.884
AT ITER 455 NEW BEST:: SOT 74394 SOS 44772 HAS SOPS 44772 HAS SOUS 40841 HAS SOUPS 40841 WITH SCORE 40885.772
AT ITER 458 NEW BEST:: SOT 74384 SOS 44752 HAS SOPS 44752 HAS SOUS 40811 HAS SOUPS 40811 WITH SCORE 40855.752
AT ITER 473 NEW BEST:: SOT 74358 SOS 44726 HAS SOPS 44726 HAS SOUS 40785 HAS SOUPS 40785 WITH SCORE 40829.726
AT ITER 478 NEW BEST:: SOT 74169 SOS 44523 HAS SOPS 44523 HAS SOUS 40582 HAS SOUPS 40582 WITH SCORE 40626.523
AT ITER 480 NEW BEST:: SOT 74169 SOS 44517 HAS SOPS 44517 HAS SOUS 40576 HAS SOUPS 40576 WITH SCORE 40620.517
AT ITER 483 NEW BEST:: SOT 74151 SOS 44456 HAS SOPS 44456 HAS SOUS 40515 HAS SOUPS 40515 WITH SCORE 40559.456
AT ITER 491 NEW BEST:: SOT 74151 SOS 44442 HAS SOPS 44442 HAS SOUS 40501 HAS SOUPS 40501 WITH SCORE 40545.442
AT ITER 495 NEW BEST:: SOT 74133 SOS 44388 HAS SOPS 44388 HAS SOUS 40447 HAS SOUPS 40447 WITH SCORE 40491.388
AT ITER 496 NEW BEST:: SOT 73968 SOS 44121 HAS SOPS 44121 HAS SOUS 40140 HAS SOUPS 40140 WITH SCORE 40184.121
AT ITER 500 NEW BEST:: SOT 73953 SOS 44091 HAS SOPS 44091 HAS SOUS 40110 HAS SOUPS 40110 WITH SCORE 40154.091
AT ITER 509 NEW BEST:: SOT 73953 SOS 44038 HAS SOPS 44038 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40075.038
AT ITER 510 NEW BEST:: SOT 73953 SOS 44253 HAS SOPS 44253 HAS SOUS 40028 HAS SOUPS 40028 WITH SCORE 40072.253
AT ITER 511 NEW BEST:: SOT 73898 SOS 44143 HAS SOPS 44143 HAS SOUS 39947 HAS SOUPS 39947 WITH SCORE 39991.143
AT ITER 514 NEW BEST:: SOT 73742 SOS 43895 HAS SOPS 43895 HAS SOUS 39699 HAS SOUPS 39699 WITH SCORE 39742.895
AT ITER 521 NEW BEST:: SOT 73738 SOS 43713 HAS SOPS 43713 HAS SOUS 39609 HAS SOUPS 39609 WITH SCORE 39652.713
AT ITER 528 NEW BEST:: SOT 73678 SOS 43661 HAS SOPS 43661 HAS SOUS 39557 HAS SOUPS 39557 WITH SCORE 39600.661
AT ITER 530 NEW BEST:: SOT 73678 SOS 43494 HAS SOPS 43494 HAS SOUS 39485 HAS SOUPS 39485 WITH SCORE 39528.494
AT ITER 540 NEW BEST:: SOT 73615 SOS 43431 HAS SOPS 43431 HAS SOUS 39422 HAS SOUPS 39422 WITH SCORE 39465.431
AT ITER 548 NEW BEST:: SOT 73587 SOS 43400 HAS SOPS 43400 HAS SOUS 39389 HAS SOUPS 39389 WITH SCORE 39432.4
AT ITER 551 NEW BEST:: SOT 73587 SOS 43386 HAS SOPS 43386 HAS SOUS 39382 HAS SOUPS 39382 WITH SCORE 39425.386
AT ITER 552 NEW BEST:: SOT 73511 SOS 43352 HAS SOPS 43352 HAS SOUS 39348 HAS SOUPS 39348 WITH SCORE 39391.352
AT ITER 553 NEW BEST:: SOT 73510 SOS 43349 HAS SOPS 43349 HAS SOUS 39345 HAS SOUPS 39345 WITH SCORE 39388.349
AT ITER 563 NEW BEST:: SOT 73482 SOS 43317 HAS SOPS 43317 HAS SOUS 39325 HAS SOUPS 39325 WITH SCORE 39368.317
AT ITER 568 NEW BEST:: SOT 73469 SOS 43249 HAS SOPS 43249 HAS SOUS 39251 HAS SOUPS 39251 WITH SCORE 39294.249
AT ITER 570 NEW BEST:: SOT 73469 SOS 42976 HAS SOPS 42976 HAS SOUS 39201 HAS SOUPS 39201 WITH SCORE 39243.976
AT ITER 571 NEW BEST:: SOT 73425 SOS 42756 HAS SOPS 42756 HAS SOUS 39066 HAS SOUPS 39066 WITH SCORE 39108.756
AT ITER 582 NEW BEST:: SOT 73440 SOS 42771 HAS SOPS 42771 HAS SOUS 39052 HAS SOUPS 39052 WITH SCORE 39094.771
AT ITER 589 NEW BEST:: SOT 73380 SOS 42711 HAS SOPS 42711 HAS SOUS 38992 HAS SOUPS 38992 WITH SCORE 39034.711
AT ITER 599 NEW BEST:: SOT 73325 SOS 42602 HAS SOPS 42602 HAS SOUS 38883 HAS SOUPS 38883 WITH SCORE 38925.602
AT ITER 601 NEW BEST:: SOT 73325 SOS 42562 HAS SOPS 42562 HAS SOUS 38876 HAS SOUPS 38876 WITH SCORE 38918.562
AT ITER 606 NEW BEST:: SOT 73313 SOS 42472 HAS SOPS 42472 HAS SOUS 38786 HAS SOUPS 38786 WITH SCORE 38828.472
AT ITER 611 NEW BEST:: SOT 73212 SOS 42394 HAS SOPS 42394 HAS SOUS 38708 HAS SOUPS 38708 WITH SCORE 38750.394
AT ITER 612 NEW BEST:: SOT 73151 SOS 42088 HAS SOPS 42088 HAS SOUS 38587 HAS SOUPS 38587 WITH SCORE 38629.088
AT ITER 619 NEW BEST:: SOT 73151 SOS 42003 HAS SOPS 42003 HAS SOUS 38580 HAS SOUPS 38580 WITH SCORE 38622.003
AT ITER 622 NEW BEST:: SOT 73149 SOS 42000 HAS SOPS 42000 HAS SOUS 38577 HAS SOUPS 38577 WITH SCORE 38619.0
AT ITER 624 NEW BEST:: SOT 73162 SOS 42085 HAS SOPS 42085 HAS SOUS 38503 HAS SOUPS 38503 WITH SCORE 38545.085
AT ITER 626 NEW BEST:: SOT 73116 SOS 42039 HAS SOPS 42039 HAS SOUS 38457 HAS SOUPS 38457 WITH SCORE 38499.039
AT ITER 628 NEW BEST:: SOT 73109 SOS 42025 HAS SOPS 42025 HAS SOUS 38436 HAS SOUPS 38436 WITH SCORE 38478.025
AT ITER 651 NEW BEST:: SOT 73079 SOS 41965 HAS SOPS 41965 HAS SOUS 38376 HAS SOUPS 38376 WITH SCORE 38417.965
AT ITER 652 NEW BEST:: SOT 73035 SOS 41933 HAS SOPS 41933 HAS SOUS 38344 HAS SOUPS 38344 WITH SCORE 38385.933
AT ITER 669 NEW BEST:: SOT 72963 SOS 41789 HAS SOPS 41789 HAS SOUS 38200 HAS SOUPS 38200 WITH SCORE 38241.789
AT ITER 673 NEW BEST:: SOT 72852 SOS 41498 HAS SOPS 41498 HAS SOUS 37909 HAS SOUPS 37909 WITH SCORE 37950.498
AT ITER 674 NEW BEST:: SOT 72562 SOS 41208 HAS SOPS 41208 HAS SOUS 37711 HAS SOUPS 37711 WITH SCORE 37752.208
AT ITER 679 NEW BEST:: SOT 72562 SOS 41185 HAS SOPS 41185 HAS SOUS 37686 HAS SOUPS 37686 WITH SCORE 37727.185
AT ITER 694 NEW BEST:: SOT 72454 SOS 40977 HAS SOPS 40977 HAS SOUS 37478 HAS SOUPS 37478 WITH SCORE 37518.977
AT ITER 697 NEW BEST:: SOT 72454 SOS 40967 HAS SOPS 40967 HAS SOUS 37424 HAS SOUPS 37424 WITH SCORE 37464.967
AT ITER 700 NEW BEST:: SOT 72381 SOS 40974 HAS SOPS 40974 HAS SOUS 37371 HAS SOUPS 37371 WITH SCORE 37411.974
AT ITER 702 NEW BEST:: SOT 72371 SOS 40931 HAS SOPS 40931 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37368.931
AT ITER 705 NEW BEST:: SOT 72280 SOS 40839 HAS SOPS 40839 HAS SOUS 37235 HAS SOUPS 37235 WITH SCORE 37275.839
AT ITER 709 NEW BEST:: SOT 72268 SOS 40827 HAS SOPS 40827 HAS SOUS 37223 HAS SOUPS 37223 WITH SCORE 37263.827
AT ITER 710 NEW BEST:: SOT 72264 SOS 40768 HAS SOPS 40768 HAS SOUS 37164 HAS SOUPS 37164 WITH SCORE 37204.768
AT ITER 711 NEW BEST:: SOT 72249 SOS 40685 HAS SOPS 40685 HAS SOUS 37150 HAS SOUPS 37150 WITH SCORE 37190.685
AT ITER 713 NEW BEST:: SOT 72216 SOS 40652 HAS SOPS 40652 HAS SOUS 37150 HAS SOUPS 37150 WITH SCORE 37190.652
AT ITER 719 NEW BEST:: SOT 72216 SOS 40308 HAS SOPS 40308 HAS SOUS 37054 HAS SOUPS 37054 WITH SCORE 37094.308
AT ITER 722 NEW BEST:: SOT 72186 SOS 40278 HAS SOPS 40278 HAS SOUS 37024 HAS SOUPS 37024 WITH SCORE 37064.278
AT ITER 727 NEW BEST:: SOT 72184 SOS 40283 HAS SOPS 40283 HAS SOUS 37022 HAS SOUPS 37022 WITH SCORE 37062.283
AT ITER 729 NEW BEST:: SOT 72184 SOS 40276 HAS SOPS 40276 HAS SOUS 37002 HAS SOUPS 37002 WITH SCORE 37042.276
AT ITER 731 NEW BEST:: SOT 72174 SOS 40234 HAS SOPS 40234 HAS SOUS 36909 HAS SOUPS 36909 WITH SCORE 36949.234
AT ITER 732 NEW BEST:: SOT 72174 SOS 40234 HAS SOPS 40234 HAS SOUS 36899 HAS SOUPS 36899 WITH SCORE 36939.234
AT ITER 735 NEW BEST:: SOT 72114 SOS 40134 HAS SOPS 40134 HAS SOUS 36819 HAS SOUPS 36819 WITH SCORE 36859.134
AT ITER 736 NEW BEST:: SOT 72108 SOS 40121 HAS SOPS 40121 HAS SOUS 36807 HAS SOUPS 36807 WITH SCORE 36847.121
AT ITER 738 NEW BEST:: SOT 72078 SOS 40084 HAS SOPS 40084 HAS SOUS 36747 HAS SOUPS 36747 WITH SCORE 36787.084
AT ITER 742 NEW BEST:: SOT 72032 SOS 39965 HAS SOPS 39965 HAS SOUS 36686 HAS SOUPS 36686 WITH SCORE 36725.965
AT ITER 746 NEW BEST:: SOT 72024 SOS 39957 HAS SOPS 39957 HAS SOUS 36678 HAS SOUPS 36678 WITH SCORE 36717.957
AT ITER 748 NEW BEST:: SOT 71935 SOS 39633 HAS SOPS 39633 HAS SOUS 36559 HAS SOUPS 36559 WITH SCORE 36598.633
AT ITER 751 NEW BEST:: SOT 71933 SOS 39631 HAS SOPS 39631 HAS SOUS 36557 HAS SOUPS 36557 WITH SCORE 36596.631
AT ITER 757 NEW BEST:: SOT 71752 SOS 39453 HAS SOPS 39453 HAS SOUS 36379 HAS SOUPS 36379 WITH SCORE 36418.453
AT ITER 759 NEW BEST:: SOT 71725 SOS 39372 HAS SOPS 39372 HAS SOUS 36322 HAS SOUPS 36322 WITH SCORE 36361.372
AT ITER 763 NEW BEST:: SOT 71725 SOS 39284 HAS SOPS 39284 HAS SOUS 36278 HAS SOUPS 36278 WITH SCORE 36317.284
AT ITER 768 NEW BEST:: SOT 71662 SOS 39240 HAS SOPS 39240 HAS SOUS 36248 HAS SOUPS 36248 WITH SCORE 36287.24
AT ITER 773 NEW BEST:: SOT 71662 SOS 39235 HAS SOPS 39235 HAS SOUS 36210 HAS SOUPS 36210 WITH SCORE 36249.235
AT ITER 774 NEW BEST:: SOT 71662 SOS 39235 HAS SOPS 39235 HAS SOUS 36182 HAS SOUPS 36182 WITH SCORE 36221.235
AT ITER 777 NEW BEST:: SOT 71646 SOS 39203 HAS SOPS 39203 HAS SOUS 36166 HAS SOUPS 36166 WITH SCORE 36205.203
AT ITER 785 NEW BEST:: SOT 71639 SOS 39196 HAS SOPS 39196 HAS SOUS 36159 HAS SOUPS 36159 WITH SCORE 36198.196
AT ITER 791 NEW BEST:: SOT 71594 SOS 39151 HAS SOPS 39151 HAS SOUS 36114 HAS SOUPS 36114 WITH SCORE 36153.151
AT ITER 796 NEW BEST:: SOT 71518 SOS 39005 HAS SOPS 39005 HAS SOUS 35968 HAS SOUPS 35968 WITH SCORE 36007.005
AT ITER 806 NEW BEST:: SOT 71496 SOS 38919 HAS SOPS 38919 HAS SOUS 35914 HAS SOUPS 35914 WITH SCORE 35952.919
AT ITER 809 NEW BEST:: SOT 71479 SOS 38902 HAS SOPS 38902 HAS SOUS 35897 HAS SOUPS 35897 WITH SCORE 35935.902
AT ITER 810 NEW BEST:: SOT 71394 SOS 38815 HAS SOPS 38815 HAS SOUS 35864 HAS SOUPS 35864 WITH SCORE 35902.815
AT ITER 811 NEW BEST:: SOT 71373 SOS 38726 HAS SOPS 38726 HAS SOUS 35801 HAS SOUPS 35801 WITH SCORE 35839.726
AT ITER 820 NEW BEST:: SOT 71365 SOS 38622 HAS SOPS 38622 HAS SOUS 35718 HAS SOUPS 35718 WITH SCORE 35756.622
AT ITER 829 NEW BEST:: SOT 71434 SOS 38691 HAS SOPS 38691 HAS SOUS 35717 HAS SOUPS 35717 WITH SCORE 35755.691
AT ITER 830 NEW BEST:: SOT 71361 SOS 38380 HAS SOPS 38380 HAS SOUS 35523 HAS SOUPS 35523 WITH SCORE 35561.38
AT ITER 836 NEW BEST:: SOT 71343 SOS 38362 HAS SOPS 38362 HAS SOUS 35501 HAS SOUPS 35501 WITH SCORE 35539.362
AT ITER 840 NEW BEST:: SOT 71343 SOS 38370 HAS SOPS 38370 HAS SOUS 35415 HAS SOUPS 35415 WITH SCORE 35453.37
AT ITER 841 NEW BEST:: SOT 71316 SOS 38343 HAS SOPS 38343 HAS SOUS 35397 HAS SOUPS 35397 WITH SCORE 35435.343
AT ITER 851 NEW BEST:: SOT 71286 SOS 38313 HAS SOPS 38313 HAS SOUS 35367 HAS SOUPS 35367 WITH SCORE 35405.313
AT ITER 852 NEW BEST:: SOT 71178 SOS 38347 HAS SOPS 38347 HAS SOUS 35265 HAS SOUPS 35265 WITH SCORE 35303.347
AT ITER 854 NEW BEST:: SOT 71146 SOS 38315 HAS SOPS 38315 HAS SOUS 35233 HAS SOUPS 35233 WITH SCORE 35271.315
AT ITER 855 NEW BEST:: SOT 71056 SOS 38225 HAS SOPS 38225 HAS SOUS 35069 HAS SOUPS 35069 WITH SCORE 35107.225
AT ITER 858 NEW BEST:: SOT 71056 SOS 38209 HAS SOPS 38209 HAS SOUS 35046 HAS SOUPS 35046 WITH SCORE 35084.209
AT ITER 859 NEW BEST:: SOT 71056 SOS 37901 HAS SOPS 37901 HAS SOUS 34928 HAS SOUPS 34928 WITH SCORE 34965.901
AT ITER 860 NEW BEST:: SOT 71002 SOS 37847 HAS SOPS 37847 HAS SOUS 34874 HAS SOUPS 34874 WITH SCORE 34911.847
AT ITER 864 NEW BEST:: SOT 71002 SOS 37835 HAS SOPS 37835 HAS SOUS 34848 HAS SOUPS 34848 WITH SCORE 34885.835
AT ITER 869 NEW BEST:: SOT 70987 SOS 37874 HAS SOPS 37874 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34836.874
AT ITER 871 NEW BEST:: SOT 70987 SOS 37825 HAS SOPS 37825 HAS SOUS 34750 HAS SOUPS 34750 WITH SCORE 34787.825
AT ITER 880 NEW BEST:: SOT 70929 SOS 37752 HAS SOPS 37752 HAS SOUS 34696 HAS SOUPS 34696 WITH SCORE 34733.752
AT ITER 894 NEW BEST:: SOT 70936 SOS 37698 HAS SOPS 37698 HAS SOUS 34642 HAS SOUPS 34642 WITH SCORE 34679.698
AT ITER 902 NEW BEST:: SOT 70894 SOS 37656 HAS SOPS 37656 HAS SOUS 34622 HAS SOUPS 34622 WITH SCORE 34659.656
AT ITER 904 NEW BEST:: SOT 70886 SOS 37648 HAS SOPS 37648 HAS SOUS 34614 HAS SOUPS 34614 WITH SCORE 34651.648
AT ITER 906 NEW BEST:: SOT 70871 SOS 37643 HAS SOPS 37643 HAS SOUS 34609 HAS SOUPS 34609 WITH SCORE 34646.643
AT ITER 908 NEW BEST:: SOT 70868 SOS 37638 HAS SOPS 37638 HAS SOUS 34604 HAS SOUPS 34604 WITH SCORE 34641.638
AT ITER 910 NEW BEST:: SOT 70846 SOS 37520 HAS SOPS 37520 HAS SOUS 34408 HAS SOUPS 34408 WITH SCORE 34445.52
AT ITER 914 NEW BEST:: SOT 70846 SOS 37446 HAS SOPS 37446 HAS SOUS 34408 HAS SOUPS 34408 WITH SCORE 34445.446
AT ITER 922 NEW BEST:: SOT 70763 SOS 37280 HAS SOPS 37280 HAS SOUS 34242 HAS SOUPS 34242 WITH SCORE 34279.28
AT ITER 934 NEW BEST:: SOT 70698 SOS 37217 HAS SOPS 37217 HAS SOUS 34179 HAS SOUPS 34179 WITH SCORE 34216.217
AT ITER 937 NEW BEST:: SOT 70698 SOS 37176 HAS SOPS 37176 HAS SOUS 34158 HAS SOUPS 34158 WITH SCORE 34195.176
AT ITER 938 NEW BEST:: SOT 70681 SOS 37159 HAS SOPS 37159 HAS SOUS 34141 HAS SOUPS 34141 WITH SCORE 34178.159
AT ITER 942 NEW BEST:: SOT 70673 SOS 37248 HAS SOPS 37248 HAS SOUS 34125 HAS SOUPS 34125 WITH SCORE 34162.248
AT ITER 950 NEW BEST:: SOT 70673 SOS 37237 HAS SOPS 37237 HAS SOUS 34042 HAS SOUPS 34042 WITH SCORE 34079.237
AT ITER 955 NEW BEST:: SOT 70673 SOS 37207 HAS SOPS 37207 HAS SOUS 34027 HAS SOUPS 34027 WITH SCORE 34064.207
AT ITER 958 NEW BEST:: SOT 70673 SOS 37129 HAS SOPS 37129 HAS SOUS 34007 HAS SOUPS 34007 WITH SCORE 34044.129
AT ITER 959 NEW BEST:: SOT 70637 SOS 37093 HAS SOPS 37093 HAS SOUS 33971 HAS SOUPS 33971 WITH SCORE 34008.093
AT ITER 967 NEW BEST:: SOT 70603 SOS 37027 HAS SOPS 37027 HAS SOUS 33905 HAS SOUPS 33905 WITH SCORE 33942.027
AT ITER 975 NEW BEST:: SOT 70599 SOS 37023 HAS SOPS 37023 HAS SOUS 33901 HAS SOUPS 33901 WITH SCORE 33938.023
AT ITER 983 NEW BEST:: SOT 70599 SOS 37038 HAS SOPS 37038 HAS SOUS 33869 HAS SOUPS 33869 WITH SCORE 33906.038
AT ITER 1008 NEW BEST:: SOT 70558 SOS 36997 HAS SOPS 36997 HAS SOUS 33828 HAS SOUPS 33828 WITH SCORE 33864.997
AT ITER 1011 NEW BEST:: SOT 70532 SOS 37044 HAS SOPS 37044 HAS SOUS 33789 HAS SOUPS 33789 WITH SCORE 33826.044
AT ITER 1012 NEW BEST:: SOT 70498 SOS 37010 HAS SOPS 37010 HAS SOUS 33755 HAS SOUPS 33755 WITH SCORE 33792.01
AT ITER 1024 NEW BEST:: SOT 70504 SOS 36992 HAS SOPS 36992 HAS SOUS 33737 HAS SOUPS 33737 WITH SCORE 33773.992
AT ITER 1032 NEW BEST:: SOT 70504 SOS 36850 HAS SOPS 36850 HAS SOUS 33715 HAS SOUPS 33715 WITH SCORE 33751.85
AT ITER 1035 NEW BEST:: SOT 70496 SOS 36844 HAS SOPS 36844 HAS SOUS 33709 HAS SOUPS 33709 WITH SCORE 33745.844
AT ITER 1043 NEW BEST:: SOT 70551 SOS 36829 HAS SOPS 36829 HAS SOUS 33688 HAS SOUPS 33688 WITH SCORE 33724.829
AT ITER 1044 NEW BEST:: SOT 70297 SOS 36227 HAS SOPS 36227 HAS SOUS 33183 HAS SOUPS 33183 WITH SCORE 33219.227
AT ITER 1051 NEW BEST:: SOT 70224 SOS 36154 HAS SOPS 36154 HAS SOUS 33110 HAS SOUPS 33110 WITH SCORE 33146.154
AT ITER 1061 NEW BEST:: SOT 70207 SOS 36137 HAS SOPS 36137 HAS SOUS 33093 HAS SOUPS 33093 WITH SCORE 33129.137
AT ITER 1062 NEW BEST:: SOT 70194 SOS 36112 HAS SOPS 36112 HAS SOUS 33068 HAS SOUPS 33068 WITH SCORE 33104.112
AT ITER 1069 NEW BEST:: SOT 70194 SOS 36110 HAS SOPS 36110 HAS SOUS 33066 HAS SOUPS 33066 WITH SCORE 33102.11
AT ITER 1071 NEW BEST:: SOT 70151 SOS 35981 HAS SOPS 35981 HAS SOUS 32937 HAS SOUPS 32937 WITH SCORE 32972.981
AT ITER 1074 NEW BEST:: SOT 70134 SOS 35964 HAS SOPS 35964 HAS SOUS 32920 HAS SOUPS 32920 WITH SCORE 32955.964
AT ITER 1078 NEW BEST:: SOT 70125 SOS 35990 HAS SOPS 35990 HAS SOUS 32869 HAS SOUPS 32869 WITH SCORE 32904.99
AT ITER 1080 NEW BEST:: SOT 70103 SOS 35956 HAS SOPS 35956 HAS SOUS 32835 HAS SOUPS 32835 WITH SCORE 32870.956
AT ITER 1081 NEW BEST:: SOT 70095 SOS 35940 HAS SOPS 35940 HAS SOUS 32819 HAS SOUPS 32819 WITH SCORE 32854.94
AT ITER 1098 NEW BEST:: SOT 70002 SOS 35652 HAS SOPS 35652 HAS SOUS 32488 HAS SOUPS 32488 WITH SCORE 32523.652
AT ITER 1143 NEW BEST:: SOT 69863 SOS 35369 HAS SOPS 35369 HAS SOUS 32285 HAS SOUPS 32285 WITH SCORE 32320.369
AT ITER 1152 NEW BEST:: SOT 69863 SOS 35361 HAS SOPS 35361 HAS SOUS 32281 HAS SOUPS 32281 WITH SCORE 32316.361
AT ITER 1164 NEW BEST:: SOT 69817 SOS 35325 HAS SOPS 35325 HAS SOUS 32245 HAS SOUPS 32245 WITH SCORE 32280.325
AT ITER 1170 NEW BEST:: SOT 69809 SOS 35317 HAS SOPS 35317 HAS SOUS 32237 HAS SOUPS 32237 WITH SCORE 32272.317
AT ITER 1184 NEW BEST:: SOT 69729 SOS 35269 HAS SOPS 35269 HAS SOUS 32189 HAS SOUPS 32189 WITH SCORE 32224.269
AT ITER 1185 NEW BEST:: SOT 69681 SOS 35182 HAS SOPS 35182 HAS SOUS 32117 HAS SOUPS 32117 WITH SCORE 32152.182
AT ITER 1189 NEW BEST:: SOT 69662 SOS 35163 HAS SOPS 35163 HAS SOUS 32098 HAS SOUPS 32098 WITH SCORE 32133.163
AT ITER 1191 NEW BEST:: SOT 69662 SOS 35171 HAS SOPS 35171 HAS SOUS 32092 HAS SOUPS 32092 WITH SCORE 32127.171
AT ITER 1192 NEW BEST:: SOT 69674 SOS 35138 HAS SOPS 35138 HAS SOUS 32080 HAS SOUPS 32080 WITH SCORE 32115.138
AT ITER 1199 NEW BEST:: SOT 69600 SOS 35064 HAS SOPS 35064 HAS SOUS 32011 HAS SOUPS 32011 WITH SCORE 32046.064
AT ITER 1205 NEW BEST:: SOT 69600 SOS 34877 HAS SOPS 34877 HAS SOUS 31881 HAS SOUPS 31881 WITH SCORE 31915.877
AT ITER 1216 NEW BEST:: SOT 69640 SOS 34747 HAS SOPS 34747 HAS SOUS 31854 HAS SOUPS 31854 WITH SCORE 31888.747
AT ITER 1219 NEW BEST:: SOT 69534 SOS 34641 HAS SOPS 34641 HAS SOUS 31748 HAS SOUPS 31748 WITH SCORE 31782.641
AT ITER 1228 NEW BEST:: SOT 69607 SOS 34446 HAS SOPS 34446 HAS SOUS 31614 HAS SOUPS 31614 WITH SCORE 31648.446
AT ITER 1241 NEW BEST:: SOT 69607 SOS 34363 HAS SOPS 34363 HAS SOUS 31614 HAS SOUPS 31614 WITH SCORE 31648.363
AT ITER 1255 NEW BEST:: SOT 69607 SOS 34355 HAS SOPS 34355 HAS SOUS 31611 HAS SOUPS 31611 WITH SCORE 31645.355
AT ITER 1268 NEW BEST:: SOT 69578 SOS 34326 HAS SOPS 34326 HAS SOUS 31573 HAS SOUPS 31573 WITH SCORE 31607.326
AT ITER 1270 NEW BEST:: SOT 69571 SOS 34302 HAS SOPS 34302 HAS SOUS 31549 HAS SOUPS 31549 WITH SCORE 31583.302
AT ITER 1271 NEW BEST:: SOT 69474 SOS 34070 HAS SOPS 34070 HAS SOUS 31317 HAS SOUPS 31317 WITH SCORE 31351.07
AT ITER 1275 NEW BEST:: SOT 69474 SOS 34070 HAS SOPS 34070 HAS SOUS 31310 HAS SOUPS 31310 WITH SCORE 31344.07
AT ITER 1280 NEW BEST:: SOT 69434 SOS 33959 HAS SOPS 33959 HAS SOUS 31260 HAS SOUPS 31260 WITH SCORE 31293.959
AT ITER 1281 NEW BEST:: SOT 69400 SOS 33925 HAS SOPS 33925 HAS SOUS 31251 HAS SOUPS 31251 WITH SCORE 31284.925
AT ITER 1293 NEW BEST:: SOT 69422 SOS 33772 HAS SOPS 33772 HAS SOUS 31166 HAS SOUPS 31166 WITH SCORE 31199.772
AT ITER 1294 NEW BEST:: SOT 69329 SOS 33693 HAS SOPS 33693 HAS SOUS 31087 HAS SOUPS 31087 WITH SCORE 31120.693
AT ITER 1297 NEW BEST:: SOT 69277 SOS 33641 HAS SOPS 33641 HAS SOUS 31035 HAS SOUPS 31035 WITH SCORE 31068.641
AT ITER 1299 NEW BEST:: SOT 69277 SOS 33609 HAS SOPS 33609 HAS SOUS 31015 HAS SOUPS 31015 WITH SCORE 31048.609
AT ITER 1303 NEW BEST:: SOT 69277 SOS 33565 HAS SOPS 33565 HAS SOUS 31013 HAS SOUPS 31013 WITH SCORE 31046.565
AT ITER 1318 NEW BEST:: SOT 69203 SOS 33555 HAS SOPS 33555 HAS SOUS 31005 HAS SOUPS 31005 WITH SCORE 31038.555
AT ITER 1328 NEW BEST:: SOT 69193 SOS 33535 HAS SOPS 33535 HAS SOUS 30985 HAS SOUPS 30985 WITH SCORE 31018.535
AT ITER 1331 NEW BEST:: SOT 69193 SOS 33535 HAS SOPS 33535 HAS SOUS 30968 HAS SOUPS 30968 WITH SCORE 31001.535
AT ITER 1333 NEW BEST:: SOT 69193 SOS 33525 HAS SOPS 33525 HAS SOUS 30958 HAS SOUPS 30958 WITH SCORE 30991.525
AT ITER 1344 NEW BEST:: SOT 69184 SOS 33516 HAS SOPS 33516 HAS SOUS 30953 HAS SOUPS 30953 WITH SCORE 30986.516
AT ITER 1345 NEW BEST:: SOT 69156 SOS 33488 HAS SOPS 33488 HAS SOUS 30953 HAS SOUPS 30953 WITH SCORE 30986.488
AT ITER 1350 NEW BEST:: SOT 69054 SOS 33477 HAS SOPS 33477 HAS SOUS 30944 HAS SOUPS 30944 WITH SCORE 30977.477
AT ITER 1353 NEW BEST:: SOT 69089 SOS 33498 HAS SOPS 33498 HAS SOUS 30923 HAS SOUPS 30923 WITH SCORE 30956.498
AT ITER 1357 NEW BEST:: SOT 69089 SOS 33488 HAS SOPS 33488 HAS SOUS 30923 HAS SOUPS 30923 WITH SCORE 30956.488
AT ITER 1358 NEW BEST:: SOT 69089 SOS 33479 HAS SOPS 33479 HAS SOUS 30923 HAS SOUPS 30923 WITH SCORE 30956.479
AT ITER 1359 NEW BEST:: SOT 69089 SOS 33439 HAS SOPS 33439 HAS SOUS 30923 HAS SOUPS 30923 WITH SCORE 30956.439
AT ITER 1364 NEW BEST:: SOT 69089 SOS 33296 HAS SOPS 33296 HAS SOUS 30816 HAS SOUPS 30816 WITH SCORE 30849.296
AT ITER 1370 NEW BEST:: SOT 68977 SOS 33184 HAS SOPS 33184 HAS SOUS 30650 HAS SOUPS 30650 WITH SCORE 30683.184
AT ITER 1376 NEW BEST:: SOT 68977 SOS 33172 HAS SOPS 33172 HAS SOUS 30644 HAS SOUPS 30644 WITH SCORE 30677.172
AT ITER 1387 NEW BEST:: SOT 68977 SOS 33073 HAS SOPS 33073 HAS SOUS 30610 HAS SOUPS 30610 WITH SCORE 30643.073
AT ITER 1388 NEW BEST:: SOT 68954 SOS 32902 HAS SOPS 32902 HAS SOUS 30439 HAS SOUPS 30439 WITH SCORE 30471.902
AT ITER 1407 NEW BEST:: SOT 68888 SOS 32895 HAS SOPS 32895 HAS SOUS 30425 HAS SOUPS 30425 WITH SCORE 30457.895
AT ITER 1408 NEW BEST:: SOT 68899 SOS 32795 HAS SOPS 32795 HAS SOUS 30412 HAS SOUPS 30412 WITH SCORE 30444.795
AT ITER 1424 NEW BEST:: SOT 68811 SOS 32707 HAS SOPS 32707 HAS SOUS 30286 HAS SOUPS 30286 WITH SCORE 30318.707
AT ITER 1448 NEW BEST:: SOT 68823 SOS 32659 HAS SOPS 32659 HAS SOUS 30237 HAS SOUPS 30237 WITH SCORE 30269.659
AT ITER 1459 NEW BEST:: SOT 68823 SOS 32642 HAS SOPS 32642 HAS SOUS 30235 HAS SOUPS 30235 WITH SCORE 30267.642
AT ITER 1460 NEW BEST:: SOT 68794 SOS 32584 HAS SOPS 32584 HAS SOUS 30177 HAS SOUPS 30177 WITH SCORE 30209.584
AT ITER 1461 NEW BEST:: SOT 68755 SOS 32470 HAS SOPS 32470 HAS SOUS 30060 HAS SOUPS 30060 WITH SCORE 30092.47
AT ITER 1466 NEW BEST:: SOT 68751 SOS 32462 HAS SOPS 32462 HAS SOUS 30048 HAS SOUPS 30048 WITH SCORE 30080.462
AT ITER 1468 NEW BEST:: SOT 68753 SOS 32464 HAS SOPS 32464 HAS SOUS 30040 HAS SOUPS 30040 WITH SCORE 30072.464
AT ITER 1470 NEW BEST:: SOT 68725 SOS 32408 HAS SOPS 32408 HAS SOUS 29980 HAS SOUPS 29980 WITH SCORE 30012.408
AT ITER 1472 NEW BEST:: SOT 68711 SOS 32394 HAS SOPS 32394 HAS SOUS 29963 HAS SOUPS 29963 WITH SCORE 29995.394
AT ITER 1484 NEW BEST:: SOT 68711 SOS 32321 HAS SOPS 32321 HAS SOUS 29931 HAS SOUPS 29931 WITH SCORE 29963.321
AT ITER 1486 NEW BEST:: SOT 68649 SOS 32207 HAS SOPS 32207 HAS SOUS 29817 HAS SOUPS 29817 WITH SCORE 29849.207
AT ITER 1490 NEW BEST:: SOT 68642 SOS 32193 HAS SOPS 32193 HAS SOUS 29803 HAS SOUPS 29803 WITH SCORE 29835.193
AT ITER 1493 NEW BEST:: SOT 68642 SOS 32182 HAS SOPS 32182 HAS SOUS 29792 HAS SOUPS 29792 WITH SCORE 29824.182
AT ITER 1498 NEW BEST:: SOT 68642 SOS 32182 HAS SOPS 32182 HAS SOUS 29791 HAS SOUPS 29791 WITH SCORE 29823.182
AT ITER 1527 NEW BEST:: SOT 68576 SOS 32050 HAS SOPS 32050 HAS SOUS 29745 HAS SOUPS 29745 WITH SCORE 29777.05
AT ITER 1534 NEW BEST:: SOT 68574 SOS 32048 HAS SOPS 32048 HAS SOUS 29741 HAS SOUPS 29741 WITH SCORE 29773.048
AT ITER 1542 NEW BEST:: SOT 68459 SOS 31924 HAS SOPS 31924 HAS SOUS 29617 HAS SOUPS 29617 WITH SCORE 29648.924
AT ITER 1550 NEW BEST:: SOT 68396 SOS 31840 HAS SOPS 31840 HAS SOUS 29533 HAS SOUPS 29533 WITH SCORE 29564.84
AT ITER 1570 NEW BEST:: SOT 68278 SOS 31664 HAS SOPS 31664 HAS SOUS 29357 HAS SOUPS 29357 WITH SCORE 29388.664
AT ITER 1605 NEW BEST:: SOT 68192 SOS 31492 HAS SOPS 31492 HAS SOUS 29228 HAS SOUPS 29228 WITH SCORE 29259.492
AT ITER 1613 NEW BEST:: SOT 68187 SOS 31494 HAS SOPS 31494 HAS SOUS 29220 HAS SOUPS 29220 WITH SCORE 29251.494
AT ITER 1626 NEW BEST:: SOT 68158 SOS 31499 HAS SOPS 31499 HAS SOUS 29162 HAS SOUPS 29162 WITH SCORE 29193.499
AT ITER 1627 NEW BEST:: SOT 68158 SOS 31491 HAS SOPS 31491 HAS SOUS 29162 HAS SOUPS 29162 WITH SCORE 29193.491
AT ITER 1655 NEW BEST:: SOT 68145 SOS 31465 HAS SOPS 31465 HAS SOUS 29136 HAS SOUPS 29136 WITH SCORE 29167.465
AT ITER 1660 NEW BEST:: SOT 68043 SOS 31363 HAS SOPS 31363 HAS SOUS 29058 HAS SOUPS 29058 WITH SCORE 29089.363
AT ITER 1668 NEW BEST:: SOT 68040 SOS 31358 HAS SOPS 31358 HAS SOUS 29055 HAS SOUPS 29055 WITH SCORE 29086.358
AT ITER 1675 NEW BEST:: SOT 68036 SOS 31354 HAS SOPS 31354 HAS SOUS 29051 HAS SOUPS 29051 WITH SCORE 29082.354
AT ITER 1677 NEW BEST:: SOT 68034 SOS 31308 HAS SOPS 31308 HAS SOUS 29013 HAS SOUPS 29013 WITH SCORE 29044.308
AT ITER 1687 NEW BEST:: SOT 67980 SOS 31220 HAS SOPS 31220 HAS SOUS 28962 HAS SOUPS 28962 WITH SCORE 28993.22
AT ITER 1692 NEW BEST:: SOT 67978 SOS 31218 HAS SOPS 31218 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 28991.218
AT ITER 1695 NEW BEST:: SOT 67935 SOS 31175 HAS SOPS 31175 HAS SOUS 28918 HAS SOUPS 28918 WITH SCORE 28949.175
AT ITER 1698 NEW BEST:: SOT 67864 SOS 31184 HAS SOPS 31184 HAS SOUS 28848 HAS SOUPS 28848 WITH SCORE 28879.184
AT ITER 1706 NEW BEST:: SOT 67867 SOS 31145 HAS SOPS 31145 HAS SOUS 28815 HAS SOUPS 28815 WITH SCORE 28846.145
AT ITER 1710 NEW BEST:: SOT 67847 SOS 31085 HAS SOPS 31085 HAS SOUS 28755 HAS SOUPS 28755 WITH SCORE 28786.085
AT ITER 1711 NEW BEST:: SOT 67839 SOS 30982 HAS SOPS 30982 HAS SOUS 28652 HAS SOUPS 28652 WITH SCORE 28682.982
AT ITER 1712 NEW BEST:: SOT 67839 SOS 30976 HAS SOPS 30976 HAS SOUS 28649 HAS SOUPS 28649 WITH SCORE 28679.976
AT ITER 1723 NEW BEST:: SOT 67937 SOS 30940 HAS SOPS 30940 HAS SOUS 28632 HAS SOUPS 28632 WITH SCORE 28662.94
AT ITER 1730 NEW BEST:: SOT 67931 SOS 30934 HAS SOPS 30934 HAS SOUS 28626 HAS SOUPS 28626 WITH SCORE 28656.934
AT ITER 1742 NEW BEST:: SOT 67921 SOS 30904 HAS SOPS 30904 HAS SOUS 28610 HAS SOUPS 28610 WITH SCORE 28640.904
AT ITER 1763 NEW BEST:: SOT 67914 SOS 30888 HAS SOPS 30888 HAS SOUS 28572 HAS SOUPS 28572 WITH SCORE 28602.888
AT ITER 1767 NEW BEST:: SOT 67859 SOS 30825 HAS SOPS 30825 HAS SOUS 28509 HAS SOUPS 28509 WITH SCORE 28539.825
AT ITER 1786 NEW BEST:: SOT 67735 SOS 30753 HAS SOPS 30753 HAS SOUS 28375 HAS SOUPS 28375 WITH SCORE 28405.753
AT ITER 1788 NEW BEST:: SOT 67728 SOS 30746 HAS SOPS 30746 HAS SOUS 28368 HAS SOUPS 28368 WITH SCORE 28398.746
AT ITER 1797 NEW BEST:: SOT 67728 SOS 30746 HAS SOPS 30746 HAS SOUS 28359 HAS SOUPS 28359 WITH SCORE 28389.746
AT ITER 1799 NEW BEST:: SOT 67727 SOS 30745 HAS SOPS 30745 HAS SOUS 28358 HAS SOUPS 28358 WITH SCORE 28388.745
AT ITER 1829 NEW BEST:: SOT 67605 SOS 30604 HAS SOPS 30604 HAS SOUS 28217 HAS SOUPS 28217 WITH SCORE 28247.604
AT ITER 1849 NEW BEST:: SOT 67585 SOS 30669 HAS SOPS 30669 HAS SOUS 28208 HAS SOUPS 28208 WITH SCORE 28238.669
AT ITER 1857 NEW BEST:: SOT 67569 SOS 30648 HAS SOPS 30648 HAS SOUS 28187 HAS SOUPS 28187 WITH SCORE 28217.648
AT ITER 1858 NEW BEST:: SOT 67569 SOS 30648 HAS SOPS 30648 HAS SOUS 28182 HAS SOUPS 28182 WITH SCORE 28212.648
AT ITER 1865 NEW BEST:: SOT 67623 SOS 30595 HAS SOPS 30595 HAS SOUS 28129 HAS SOUPS 28129 WITH SCORE 28159.595
AT ITER 1866 NEW BEST:: SOT 67612 SOS 30573 HAS SOPS 30573 HAS SOUS 28118 HAS SOUPS 28118 WITH SCORE 28148.573
AT ITER 1884 NEW BEST:: SOT 67612 SOS 30531 HAS SOPS 30531 HAS SOUS 28104 HAS SOUPS 28104 WITH SCORE 28134.531
AT ITER 1899 NEW BEST:: SOT 67578 SOS 30491 HAS SOPS 30491 HAS SOUS 28092 HAS SOUPS 28092 WITH SCORE 28122.491
AT ITER 1902 NEW BEST:: SOT 67578 SOS 30455 HAS SOPS 30455 HAS SOUS 28080 HAS SOUPS 28080 WITH SCORE 28110.455
AT ITER 1905 NEW BEST:: SOT 67578 SOS 30443 HAS SOPS 30443 HAS SOUS 28075 HAS SOUPS 28075 WITH SCORE 28105.443
AT ITER 1906 NEW BEST:: SOT 67542 SOS 30295 HAS SOPS 30295 HAS SOUS 27983 HAS SOUPS 27983 WITH SCORE 28013.295
AT ITER 1915 NEW BEST:: SOT 67505 SOS 30258 HAS SOPS 30258 HAS SOUS 27946 HAS SOUPS 27946 WITH SCORE 27976.258
AT ITER 1916 NEW BEST:: SOT 67495 SOS 30287 HAS SOPS 30287 HAS SOUS 27929 HAS SOUPS 27929 WITH SCORE 27959.287
AT ITER 1922 NEW BEST:: SOT 67413 SOS 29984 HAS SOPS 29984 HAS SOUS 27705 HAS SOUPS 27705 WITH SCORE 27734.984
AT ITER 1923 NEW BEST:: SOT 67413 SOS 30004 HAS SOPS 30004 HAS SOUS 27692 HAS SOUPS 27692 WITH SCORE 27722.004
AT ITER 1929 NEW BEST:: SOT 67392 SOS 29931 HAS SOPS 29931 HAS SOUS 27645 HAS SOUPS 27645 WITH SCORE 27674.931
AT ITER 1931 NEW BEST:: SOT 67356 SOS 29906 HAS SOPS 29906 HAS SOUS 27602 HAS SOUPS 27602 WITH SCORE 27631.906
AT ITER 1936 NEW BEST:: SOT 67344 SOS 29870 HAS SOPS 29870 HAS SOUS 27578 HAS SOUPS 27578 WITH SCORE 27607.87
AT ITER 1939 NEW BEST:: SOT 67360 SOS 29860 HAS SOPS 29860 HAS SOUS 27568 HAS SOUPS 27568 WITH SCORE 27597.86
AT ITER 1949 NEW BEST:: SOT 67218 SOS 29770 HAS SOPS 29770 HAS SOUS 27479 HAS SOUPS 27479 WITH SCORE 27508.77
AT ITER 1966 NEW BEST:: SOT 67212 SOS 29712 HAS SOPS 29712 HAS SOUS 27458 HAS SOUPS 27458 WITH SCORE 27487.712
AT ITER 1967 NEW BEST:: SOT 67115 SOS 29672 HAS SOPS 29672 HAS SOUS 27418 HAS SOUPS 27418 WITH SCORE 27447.672
AT ITER 1979 NEW BEST:: SOT 67107 SOS 29664 HAS SOPS 29664 HAS SOUS 27418 HAS SOUPS 27418 WITH SCORE 27447.664
AT ITER 1987 NEW BEST:: SOT 67096 SOS 29665 HAS SOPS 29665 HAS SOUS 27396 HAS SOUPS 27396 WITH SCORE 27425.665
AT ITER 1994 NEW BEST:: SOT 67084 SOS 29632 HAS SOPS 29632 HAS SOUS 27363 HAS SOUPS 27363 WITH SCORE 27392.632
AT ITER 2014 NEW BEST:: SOT 67055 SOS 29498 HAS SOPS 29498 HAS SOUS 27212 HAS SOUPS 27212 WITH SCORE 27241.498
AT ITER 2028 NEW BEST:: SOT 67053 SOS 29495 HAS SOPS 29495 HAS SOUS 27209 HAS SOUPS 27209 WITH SCORE 27238.495
AT ITER 2044 NEW BEST:: SOT 67068 SOS 29481 HAS SOPS 29481 HAS SOUS 27209 HAS SOUPS 27209 WITH SCORE 27238.481
AT ITER 2075 NEW BEST:: SOT 67068 SOS 29466 HAS SOPS 29466 HAS SOUS 27209 HAS SOUPS 27209 WITH SCORE 27238.466
AT ITER 2080 NEW BEST:: SOT 67039 SOS 29417 HAS SOPS 29417 HAS SOUS 27164 HAS SOUPS 27164 WITH SCORE 27193.417
AT ITER 2082 NEW BEST:: SOT 66991 SOS 29113 HAS SOPS 29113 HAS SOUS 26967 HAS SOUPS 26967 WITH SCORE 26996.113
AT ITER 2115 NEW BEST:: SOT 66847 SOS 29222 HAS SOPS 29222 HAS SOUS 26898 HAS SOUPS 26898 WITH SCORE 26927.222
AT ITER 2126 NEW BEST:: SOT 66795 SOS 29176 HAS SOPS 29176 HAS SOUS 26867 HAS SOUPS 26867 WITH SCORE 26896.176
AT ITER 2134 NEW BEST:: SOT 66790 SOS 29171 HAS SOPS 29171 HAS SOUS 26867 HAS SOUPS 26867 WITH SCORE 26896.171
AT ITER 2137 NEW BEST:: SOT 66776 SOS 29125 HAS SOPS 29125 HAS SOUS 26821 HAS SOUPS 26821 WITH SCORE 26850.125
AT ITER 2138 NEW BEST:: SOT 66770 SOS 29113 HAS SOPS 29113 HAS SOUS 26809 HAS SOUPS 26809 WITH SCORE 26838.113
AT ITER 2154 NEW BEST:: SOT 66607 SOS 28850 HAS SOPS 28850 HAS SOUS 26522 HAS SOUPS 26522 WITH SCORE 26550.85
AT ITER 2168 NEW BEST:: SOT 66594 SOS 28811 HAS SOPS 28811 HAS SOUS 26479 HAS SOUPS 26479 WITH SCORE 26507.811
AT ITER 2170 NEW BEST:: SOT 66591 SOS 28802 HAS SOPS 28802 HAS SOUS 26466 HAS SOUPS 26466 WITH SCORE 26494.802
AT ITER 2172 NEW BEST:: SOT 66580 SOS 28739 HAS SOPS 28739 HAS SOUS 26455 HAS SOUPS 26455 WITH SCORE 26483.739
AT ITER 2177 NEW BEST:: SOT 66484 SOS 28773 HAS SOPS 28773 HAS SOUS 26437 HAS SOUPS 26437 WITH SCORE 26465.773
AT ITER 2181 NEW BEST:: SOT 66458 SOS 28730 HAS SOPS 28730 HAS SOUS 26394 HAS SOUPS 26394 WITH SCORE 26422.73
AT ITER 2187 NEW BEST:: SOT 66342 SOS 28577 HAS SOPS 28577 HAS SOUS 26230 HAS SOUPS 26230 WITH SCORE 26258.577
AT ITER 2191 NEW BEST:: SOT 66330 SOS 28544 HAS SOPS 28544 HAS SOUS 26197 HAS SOUPS 26197 WITH SCORE 26225.544
AT ITER 2213 NEW BEST:: SOT 66299 SOS 28466 HAS SOPS 28466 HAS SOUS 26122 HAS SOUPS 26122 WITH SCORE 26150.466
AT ITER 2224 NEW BEST:: SOT 66273 SOS 28306 HAS SOPS 28306 HAS SOUS 26026 HAS SOUPS 26026 WITH SCORE 26054.306
AT ITER 2232 NEW BEST:: SOT 66303 SOS 28310 HAS SOPS 28310 HAS SOUS 26006 HAS SOUPS 26006 WITH SCORE 26034.31
AT ITER 2250 NEW BEST:: SOT 66303 SOS 28304 HAS SOPS 28304 HAS SOUS 26000 HAS SOUPS 26000 WITH SCORE 26028.304
AT ITER 2260 NEW BEST:: SOT 66303 SOS 28296 HAS SOPS 28296 HAS SOUS 25996 HAS SOUPS 25996 WITH SCORE 26024.296
AT ITER 2284 NEW BEST:: SOT 66312 SOS 28211 HAS SOPS 28211 HAS SOUS 25942 HAS SOUPS 25942 WITH SCORE 25970.211
AT ITER 2286 NEW BEST:: SOT 66310 SOS 28209 HAS SOPS 28209 HAS SOUS 25940 HAS SOUPS 25940 WITH SCORE 25968.209
AT ITER 2295 NEW BEST:: SOT 66253 SOS 28196 HAS SOPS 28196 HAS SOUS 25898 HAS SOUPS 25898 WITH SCORE 25926.196
AT ITER 2297 NEW BEST:: SOT 66235 SOS 28142 HAS SOPS 28142 HAS SOUS 25873 HAS SOUPS 25873 WITH SCORE 25901.142
AT ITER 2300 NEW BEST:: SOT 66271 SOS 28140 HAS SOPS 28140 HAS SOUS 25862 HAS SOUPS 25862 WITH SCORE 25890.14
AT ITER 2305 NEW BEST:: SOT 66271 SOS 28075 HAS SOPS 28075 HAS SOUS 25791 HAS SOUPS 25791 WITH SCORE 25819.075
AT ITER 2314 NEW BEST:: SOT 66170 SOS 27547 HAS SOPS 27547 HAS SOUS 25441 HAS SOUPS 25441 WITH SCORE 25468.547
AT ITER 2324 NEW BEST:: SOT 66170 SOS 27542 HAS SOPS 27542 HAS SOUS 25437 HAS SOUPS 25437 WITH SCORE 25464.542
AT ITER 2333 NEW BEST:: SOT 66166 SOS 27538 HAS SOPS 27538 HAS SOUS 25433 HAS SOUPS 25433 WITH SCORE 25460.538
AT ITER 2338 NEW BEST:: SOT 66107 SOS 27479 HAS SOPS 27479 HAS SOUS 25374 HAS SOUPS 25374 WITH SCORE 25401.479
AT ITER 2348 NEW BEST:: SOT 66107 SOS 27475 HAS SOPS 27475 HAS SOUS 25370 HAS SOUPS 25370 WITH SCORE 25397.475
AT ITER 2361 NEW BEST:: SOT 66105 SOS 27473 HAS SOPS 27473 HAS SOUS 25368 HAS SOUPS 25368 WITH SCORE 25395.473
AT ITER 2379 NEW BEST:: SOT 66103 SOS 27441 HAS SOPS 27441 HAS SOUS 25315 HAS SOUPS 25315 WITH SCORE 25342.441
AT ITER 2395 NEW BEST:: SOT 66062 SOS 27400 HAS SOPS 27400 HAS SOUS 25274 HAS SOUPS 25274 WITH SCORE 25301.4
AT ITER 2398 NEW BEST:: SOT 66068 SOS 27296 HAS SOPS 27296 HAS SOUS 25170 HAS SOUPS 25170 WITH SCORE 25197.296
AT ITER 2399 NEW BEST:: SOT 66011 SOS 27254 HAS SOPS 27254 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25155.254
AT ITER 2408 NEW BEST:: SOT 66011 SOS 27254 HAS SOPS 27254 HAS SOUS 25118 HAS SOUPS 25118 WITH SCORE 25145.254
AT ITER 2434 NEW BEST:: SOT 65944 SOS 27211 HAS SOPS 27211 HAS SOUS 25031 HAS SOUPS 25031 WITH SCORE 25058.211
AT ITER 2461 NEW BEST:: SOT 65918 SOS 27135 HAS SOPS 27135 HAS SOUS 24955 HAS SOUPS 24955 WITH SCORE 24982.135
AT ITER 2472 NEW BEST:: SOT 65918 SOS 27055 HAS SOPS 27055 HAS SOUS 24875 HAS SOUPS 24875 WITH SCORE 24902.055
AT ITER 2474 NEW BEST:: SOT 65909 SOS 27010 HAS SOPS 27010 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 24884.01
AT ITER 2479 NEW BEST:: SOT 65873 SOS 26902 HAS SOPS 26902 HAS SOUS 24778 HAS SOUPS 24778 WITH SCORE 24804.902
AT ITER 2495 NEW BEST:: SOT 65853 SOS 26882 HAS SOPS 26882 HAS SOUS 24755 HAS SOUPS 24755 WITH SCORE 24781.882
AT ITER 2496 NEW BEST:: SOT 65875 SOS 26868 HAS SOPS 26868 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24754.868
AT ITER 2503 NEW BEST:: SOT 65862 SOS 26855 HAS SOPS 26855 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24741.855
AT ITER 2507 NEW BEST:: SOT 65833 SOS 26826 HAS SOPS 26826 HAS SOUS 24686 HAS SOUPS 24686 WITH SCORE 24712.826
AT ITER 2515 NEW BEST:: SOT 65829 SOS 26806 HAS SOPS 26806 HAS SOUS 24678 HAS SOUPS 24678 WITH SCORE 24704.806
AT ITER 2520 NEW BEST:: SOT 65827 SOS 26710 HAS SOPS 26710 HAS SOUS 24623 HAS SOUPS 24623 WITH SCORE 24649.71
AT ITER 2553 NEW BEST:: SOT 65814 SOS 26682 HAS SOPS 26682 HAS SOUS 24572 HAS SOUPS 24572 WITH SCORE 24598.682
AT ITER 2572 NEW BEST:: SOT 65784 SOS 26652 HAS SOPS 26652 HAS SOUS 24535 HAS SOUPS 24535 WITH SCORE 24561.652
AT ITER 2579 NEW BEST:: SOT 65779 SOS 26623 HAS SOPS 26623 HAS SOUS 24499 HAS SOUPS 24499 WITH SCORE 24525.623
AT ITER 2583 NEW BEST:: SOT 65779 SOS 26589 HAS SOPS 26589 HAS SOUS 24482 HAS SOUPS 24482 WITH SCORE 24508.589
AT ITER 2584 NEW BEST:: SOT 65761 SOS 26562 HAS SOPS 26562 HAS SOUS 24455 HAS SOUPS 24455 WITH SCORE 24481.562
AT ITER 2585 NEW BEST:: SOT 65764 SOS 26505 HAS SOPS 26505 HAS SOUS 24406 HAS SOUPS 24406 WITH SCORE 24432.505
AT ITER 2616 NEW BEST:: SOT 65762 SOS 26502 HAS SOPS 26502 HAS SOUS 24403 HAS SOUPS 24403 WITH SCORE 24429.502
AT ITER 2629 NEW BEST:: SOT 65740 SOS 26498 HAS SOPS 26498 HAS SOUS 24399 HAS SOUPS 24399 WITH SCORE 24425.498
AT ITER 2634 NEW BEST:: SOT 65735 SOS 26493 HAS SOPS 26493 HAS SOUS 24394 HAS SOUPS 24394 WITH SCORE 24420.493
AT ITER 2654 NEW BEST:: SOT 65757 SOS 26547 HAS SOPS 26547 HAS SOUS 24352 HAS SOUPS 24352 WITH SCORE 24378.547
AT ITER 2673 NEW BEST:: SOT 65753 SOS 26539 HAS SOPS 26539 HAS SOUS 24350 HAS SOUPS 24350 WITH SCORE 24376.539
AT ITER 2676 NEW BEST:: SOT 65741 SOS 26495 HAS SOPS 26495 HAS SOUS 24334 HAS SOUPS 24334 WITH SCORE 24360.495
AT ITER 2683 NEW BEST:: SOT 65731 SOS 26485 HAS SOPS 26485 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24350.485
AT ITER 2688 NEW BEST:: SOT 65715 SOS 26405 HAS SOPS 26405 HAS SOUS 24292 HAS SOUPS 24292 WITH SCORE 24318.405
AT ITER 2693 NEW BEST:: SOT 65715 SOS 26284 HAS SOPS 26284 HAS SOUS 24230 HAS SOUPS 24230 WITH SCORE 24256.284
AT ITER 2695 NEW BEST:: SOT 65715 SOS 26255 HAS SOPS 26255 HAS SOUS 24230 HAS SOUPS 24230 WITH SCORE 24256.255
AT ITER 2724 NEW BEST:: SOT 65703 SOS 26235 HAS SOPS 26235 HAS SOUS 24210 HAS SOUPS 24210 WITH SCORE 24236.235
AT ITER 2748 NEW BEST:: SOT 65703 SOS 26217 HAS SOPS 26217 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24235.217
AT ITER 2752 NEW BEST:: SOT 65701 SOS 26215 HAS SOPS 26215 HAS SOUS 24205 HAS SOUPS 24205 WITH SCORE 24231.215
AT ITER 2776 NEW BEST:: SOT 65683 SOS 26181 HAS SOPS 26181 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24189.181
AT ITER 2787 NEW BEST:: SOT 65681 SOS 26175 HAS SOPS 26175 HAS SOUS 24157 HAS SOUPS 24157 WITH SCORE 24183.175
AT ITER 2796 NEW BEST:: SOT 65681 SOS 26174 HAS SOPS 26174 HAS SOUS 24157 HAS SOUPS 24157 WITH SCORE 24183.174
AT ITER 2807 NEW BEST:: SOT 65592 SOS 26085 HAS SOPS 26085 HAS SOUS 24107 HAS SOUPS 24107 WITH SCORE 24133.085
AT ITER 2809 NEW BEST:: SOT 65586 SOS 26079 HAS SOPS 26079 HAS SOUS 24101 HAS SOUPS 24101 WITH SCORE 24127.079
AT ITER 2821 NEW BEST:: SOT 65447 SOS 25979 HAS SOPS 25979 HAS SOUS 24049 HAS SOUPS 24049 WITH SCORE 24074.979
AT ITER 2830 NEW BEST:: SOT 65443 SOS 25971 HAS SOPS 25971 HAS SOUS 24037 HAS SOUPS 24037 WITH SCORE 24062.971
AT ITER 2832 NEW BEST:: SOT 65451 SOS 25954 HAS SOPS 25954 HAS SOUS 24015 HAS SOUPS 24015 WITH SCORE 24040.954
AT ITER 2846 NEW BEST:: SOT 65415 SOS 25960 HAS SOPS 25960 HAS SOUS 23994 HAS SOUPS 23994 WITH SCORE 24019.96
AT ITER 2865 NEW BEST:: SOT 65452 SOS 25958 HAS SOPS 25958 HAS SOUS 23988 HAS SOUPS 23988 WITH SCORE 24013.958
AT ITER 2876 NEW BEST:: SOT 65431 SOS 25845 HAS SOPS 25845 HAS SOUS 23921 HAS SOUPS 23921 WITH SCORE 23946.845
AT ITER 2884 NEW BEST:: SOT 65431 SOS 25837 HAS SOPS 25837 HAS SOUS 23913 HAS SOUPS 23913 WITH SCORE 23938.837
AT ITER 2886 NEW BEST:: SOT 65391 SOS 25757 HAS SOPS 25757 HAS SOUS 23833 HAS SOUPS 23833 WITH SCORE 23858.757
AT ITER 2888 NEW BEST:: SOT 65375 SOS 25741 HAS SOPS 25741 HAS SOUS 23817 HAS SOUPS 23817 WITH SCORE 23842.741
AT ITER 2892 NEW BEST:: SOT 65372 SOS 25709 HAS SOPS 25709 HAS SOUS 23800 HAS SOUPS 23800 WITH SCORE 23825.709
AT ITER 2904 NEW BEST:: SOT 65360 SOS 25697 HAS SOPS 25697 HAS SOUS 23788 HAS SOUPS 23788 WITH SCORE 23813.697
AT ITER 2908 NEW BEST:: SOT 65358 SOS 25645 HAS SOPS 25645 HAS SOUS 23744 HAS SOUPS 23744 WITH SCORE 23769.645
AT ITER 2920 NEW BEST:: SOT 65352 SOS 25639 HAS SOPS 25639 HAS SOUS 23738 HAS SOUPS 23738 WITH SCORE 23763.639
AT ITER 2923 NEW BEST:: SOT 65310 SOS 25605 HAS SOPS 25605 HAS SOUS 23704 HAS SOUPS 23704 WITH SCORE 23729.605
AT ITER 2927 NEW BEST:: SOT 65244 SOS 25620 HAS SOPS 25620 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23709.62
AT ITER 2934 NEW BEST:: SOT 65244 SOS 25630 HAS SOPS 25630 HAS SOUS 23674 HAS SOUPS 23674 WITH SCORE 23699.63
AT ITER 2941 NEW BEST:: SOT 65230 SOS 25498 HAS SOPS 25498 HAS SOUS 23610 HAS SOUPS 23610 WITH SCORE 23635.498
AT ITER 2947 NEW BEST:: SOT 65224 SOS 25462 HAS SOPS 25462 HAS SOUS 23569 HAS SOUPS 23569 WITH SCORE 23594.462
AT ITER 2952 NEW BEST:: SOT 65210 SOS 25420 HAS SOPS 25420 HAS SOUS 23538 HAS SOUPS 23538 WITH SCORE 23563.42
AT ITER 2959 NEW BEST:: SOT 65210 SOS 25420 HAS SOPS 25420 HAS SOUS 23535 HAS SOUPS 23535 WITH SCORE 23560.42
AT ITER 2969 NEW BEST:: SOT 65210 SOS 25393 HAS SOPS 25393 HAS SOUS 23503 HAS SOUPS 23503 WITH SCORE 23528.393
AT ITER 2972 NEW BEST:: SOT 65202 SOS 25365 HAS SOPS 25365 HAS SOUS 23469 HAS SOUPS 23469 WITH SCORE 23494.365
AT ITER 3001 NEW BEST:: SOT 65193 SOS 25356 HAS SOPS 25356 HAS SOUS 23460 HAS SOUPS 23460 WITH SCORE 23485.356
AT ITER 3004 NEW BEST:: SOT 65193 SOS 25344 HAS SOPS 25344 HAS SOUS 23442 HAS SOUPS 23442 WITH SCORE 23467.344
AT ITER 3010 NEW BEST:: SOT 65181 SOS 25305 HAS SOPS 25305 HAS SOUS 23406 HAS SOUPS 23406 WITH SCORE 23431.305
AT ITER 3041 NEW BEST:: SOT 65174 SOS 25298 HAS SOPS 25298 HAS SOUS 23399 HAS SOUPS 23399 WITH SCORE 23424.298
AT ITER 3076 NEW BEST:: SOT 65174 SOS 25298 HAS SOPS 25298 HAS SOUS 23382 HAS SOUPS 23382 WITH SCORE 23407.298
AT ITER 3084 NEW BEST:: SOT 65174 SOS 25295 HAS SOPS 25295 HAS SOUS 23379 HAS SOUPS 23379 WITH SCORE 23404.295
AT ITER 3097 NEW BEST:: SOT 65151 SOS 25180 HAS SOPS 25180 HAS SOUS 23306 HAS SOUPS 23306 WITH SCORE 23331.18
AT ITER 3110 NEW BEST:: SOT 65162 SOS 25169 HAS SOPS 25169 HAS SOUS 23295 HAS SOUPS 23295 WITH SCORE 23320.169
AT ITER 3130 NEW BEST:: SOT 65146 SOS 25153 HAS SOPS 25153 HAS SOUS 23272 HAS SOUPS 23272 WITH SCORE 23297.153
AT ITER 3142 NEW BEST:: SOT 65139 SOS 25132 HAS SOPS 25132 HAS SOUS 23252 HAS SOUPS 23252 WITH SCORE 23277.132
AT ITER 3153 NEW BEST:: SOT 65125 SOS 25104 HAS SOPS 25104 HAS SOUS 23224 HAS SOUPS 23224 WITH SCORE 23249.104
AT ITER 3164 NEW BEST:: SOT 65097 SOS 25006 HAS SOPS 25006 HAS SOUS 23161 HAS SOUPS 23161 WITH SCORE 23186.006
AT ITER 3165 NEW BEST:: SOT 65093 SOS 25002 HAS SOPS 25002 HAS SOUS 23159 HAS SOUPS 23159 WITH SCORE 23184.002
AT ITER 3178 NEW BEST:: SOT 65092 SOS 25001 HAS SOPS 25001 HAS SOUS 23158 HAS SOUPS 23158 WITH SCORE 23183.001
AT ITER 3181 NEW BEST:: SOT 65045 SOS 24906 HAS SOPS 24906 HAS SOUS 23099 HAS SOUPS 23099 WITH SCORE 23123.906
AT ITER 3213 NEW BEST:: SOT 65038 SOS 24885 HAS SOPS 24885 HAS SOUS 23085 HAS SOUPS 23085 WITH SCORE 23109.885
AT ITER 3215 NEW BEST:: SOT 65030 SOS 24874 HAS SOPS 24874 HAS SOUS 23074 HAS SOUPS 23074 WITH SCORE 23098.874
AT ITER 3224 NEW BEST:: SOT 64989 SOS 24805 HAS SOPS 24805 HAS SOUS 23005 HAS SOUPS 23005 WITH SCORE 23029.805
AT ITER 3231 NEW BEST:: SOT 64969 SOS 24775 HAS SOPS 24775 HAS SOUS 22985 HAS SOUPS 22985 WITH SCORE 23009.775
AT ITER 3246 NEW BEST:: SOT 64939 SOS 24745 HAS SOPS 24745 HAS SOUS 22940 HAS SOUPS 22940 WITH SCORE 22964.745
AT ITER 3259 NEW BEST:: SOT 64938 SOS 24776 HAS SOPS 24776 HAS SOUS 22917 HAS SOUPS 22917 WITH SCORE 22941.776
AT ITER 3262 NEW BEST:: SOT 64955 SOS 24715 HAS SOPS 24715 HAS SOUS 22897 HAS SOUPS 22897 WITH SCORE 22921.715
AT ITER 3280 NEW BEST:: SOT 64935 SOS 24695 HAS SOPS 24695 HAS SOUS 22877 HAS SOUPS 22877 WITH SCORE 22901.695
AT ITER 3287 NEW BEST:: SOT 64935 SOS 24675 HAS SOPS 24675 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22881.675
AT ITER 3288 NEW BEST:: SOT 64930 SOS 24670 HAS SOPS 24670 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22881.67
AT ITER 3297 NEW BEST:: SOT 64941 SOS 24666 HAS SOPS 24666 HAS SOUS 22847 HAS SOUPS 22847 WITH SCORE 22871.666
AT ITER 3338 NEW BEST:: SOT 64921 SOS 24646 HAS SOPS 24646 HAS SOUS 22827 HAS SOUPS 22827 WITH SCORE 22851.646
AT ITER 3345 NEW BEST:: SOT 64937 SOS 24632 HAS SOPS 24632 HAS SOUS 22813 HAS SOUPS 22813 WITH SCORE 22837.632
AT ITER 3346 NEW BEST:: SOT 64900 SOS 24529 HAS SOPS 24529 HAS SOUS 22687 HAS SOUPS 22687 WITH SCORE 22711.529
AT ITER 3384 NEW BEST:: SOT 64900 SOS 24532 HAS SOPS 24532 HAS SOUS 22665 HAS SOUPS 22665 WITH SCORE 22689.532
AT ITER 3387 NEW BEST:: SOT 64900 SOS 24525 HAS SOPS 24525 HAS SOUS 22651 HAS SOUPS 22651 WITH SCORE 22675.525
AT ITER 3417 NEW BEST:: SOT 64900 SOS 24519 HAS SOPS 24519 HAS SOUS 22645 HAS SOUPS 22645 WITH SCORE 22669.519
AT ITER 3419 NEW BEST:: SOT 64900 SOS 24511 HAS SOPS 24511 HAS SOUS 22642 HAS SOUPS 22642 WITH SCORE 22666.511
AT ITER 3427 NEW BEST:: SOT 64895 SOS 24497 HAS SOPS 24497 HAS SOUS 22628 HAS SOUPS 22628 WITH SCORE 22652.497
AT ITER 3428 NEW BEST:: SOT 64891 SOS 24477 HAS SOPS 24477 HAS SOUS 22608 HAS SOUPS 22608 WITH SCORE 22632.477
AT ITER 3431 NEW BEST:: SOT 64921 SOS 24437 HAS SOPS 24437 HAS SOUS 22588 HAS SOUPS 22588 WITH SCORE 22612.437
AT ITER 3436 NEW BEST:: SOT 64921 SOS 24427 HAS SOPS 24427 HAS SOUS 22588 HAS SOUPS 22588 WITH SCORE 22612.427
AT ITER 3461 NEW BEST:: SOT 64893 SOS 24399 HAS SOPS 24399 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22584.399
AT ITER 3473 NEW BEST:: SOT 64893 SOS 24388 HAS SOPS 24388 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22584.388
AT ITER 3475 NEW BEST:: SOT 64885 SOS 24376 HAS SOPS 24376 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22576.376
AT ITER 3486 NEW BEST:: SOT 64925 SOS 24405 HAS SOPS 24405 HAS SOUS 22536 HAS SOUPS 22536 WITH SCORE 22560.405
AT ITER 3498 NEW BEST:: SOT 64925 SOS 24397 HAS SOPS 24397 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22558.397
AT ITER 3505 NEW BEST:: SOT 64917 SOS 24359 HAS SOPS 24359 HAS SOUS 22495 HAS SOUPS 22495 WITH SCORE 22519.359
AT ITER 3516 NEW BEST:: SOT 64918 SOS 24340 HAS SOPS 24340 HAS SOUS 22476 HAS SOUPS 22476 WITH SCORE 22500.34
AT ITER 3521 NEW BEST:: SOT 64893 SOS 24315 HAS SOPS 24315 HAS SOUS 22451 HAS SOUPS 22451 WITH SCORE 22475.315
AT ITER 3522 NEW BEST:: SOT 64886 SOS 24308 HAS SOPS 24308 HAS SOUS 22444 HAS SOUPS 22444 WITH SCORE 22468.308
AT ITER 3530 NEW BEST:: SOT 64915 SOS 24219 HAS SOPS 24219 HAS SOUS 22400 HAS SOUPS 22400 WITH SCORE 22424.219
AT ITER 3534 NEW BEST:: SOT 64830 SOS 24074 HAS SOPS 24074 HAS SOUS 22316 HAS SOUPS 22316 WITH SCORE 22340.074
AT ITER 3536 NEW BEST:: SOT 64809 SOS 24040 HAS SOPS 24040 HAS SOUS 22282 HAS SOUPS 22282 WITH SCORE 22306.04
AT ITER 3556 NEW BEST:: SOT 64809 SOS 24034 HAS SOPS 24034 HAS SOUS 22276 HAS SOUPS 22276 WITH SCORE 22300.034
AT ITER 3575 NEW BEST:: SOT 64829 SOS 23988 HAS SOPS 23988 HAS SOUS 22240 HAS SOUPS 22240 WITH SCORE 22263.988
AT ITER 3601 NEW BEST:: SOT 64790 SOS 23957 HAS SOPS 23957 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22232.957
AT ITER 3618 NEW BEST:: SOT 64784 SOS 23949 HAS SOPS 23949 HAS SOUS 22195 HAS SOUPS 22195 WITH SCORE 22218.949
AT ITER 3626 NEW BEST:: SOT 64767 SOS 23911 HAS SOPS 23911 HAS SOUS 22157 HAS SOUPS 22157 WITH SCORE 22180.911
AT ITER 3628 NEW BEST:: SOT 64771 SOS 23919 HAS SOPS 23919 HAS SOUS 22152 HAS SOUPS 22152 WITH SCORE 22175.919
AT ITER 3636 NEW BEST:: SOT 64759 SOS 23899 HAS SOPS 23899 HAS SOUS 22133 HAS SOUPS 22133 WITH SCORE 22156.899
AT ITER 3637 NEW BEST:: SOT 64751 SOS 23878 HAS SOPS 23878 HAS SOUS 22113 HAS SOUPS 22113 WITH SCORE 22136.878
AT ITER 3640 NEW BEST:: SOT 64743 SOS 23863 HAS SOPS 23863 HAS SOUS 22107 HAS SOUPS 22107 WITH SCORE 22130.863
AT ITER 3646 NEW BEST:: SOT 64742 SOS 23860 HAS SOPS 23860 HAS SOUS 22104 HAS SOUPS 22104 WITH SCORE 22127.86
AT ITER 3658 NEW BEST:: SOT 64714 SOS 23813 HAS SOPS 23813 HAS SOUS 22057 HAS SOUPS 22057 WITH SCORE 22080.813
AT ITER 3661 NEW BEST:: SOT 64714 SOS 23813 HAS SOPS 23813 HAS SOUS 21998 HAS SOUPS 21998 WITH SCORE 22021.813
AT ITER 3672 NEW BEST:: SOT 64691 SOS 23790 HAS SOPS 23790 HAS SOUS 21975 HAS SOUPS 21975 WITH SCORE 21998.79
AT ITER 3673 NEW BEST:: SOT 64668 SOS 23767 HAS SOPS 23767 HAS SOUS 21945 HAS SOUPS 21945 WITH SCORE 21968.767
AT ITER 3705 NEW BEST:: SOT 64666 SOS 23763 HAS SOPS 23763 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21964.763
AT ITER 3712 NEW BEST:: SOT 64666 SOS 23730 HAS SOPS 23730 HAS SOUS 21908 HAS SOUPS 21908 WITH SCORE 21931.73
AT ITER 3717 NEW BEST:: SOT 64660 SOS 23724 HAS SOPS 23724 HAS SOUS 21902 HAS SOUPS 21902 WITH SCORE 21925.724
AT ITER 3740 NEW BEST:: SOT 64660 SOS 23730 HAS SOPS 23730 HAS SOUS 21892 HAS SOUPS 21892 WITH SCORE 21915.73
AT ITER 3744 NEW BEST:: SOT 64645 SOS 23673 HAS SOPS 23673 HAS SOUS 21856 HAS SOUPS 21856 WITH SCORE 21879.673
AT ITER 3749 NEW BEST:: SOT 64631 SOS 23603 HAS SOPS 23603 HAS SOUS 21814 HAS SOUPS 21814 WITH SCORE 21837.603
AT ITER 3753 NEW BEST:: SOT 64629 SOS 23601 HAS SOPS 23601 HAS SOUS 21812 HAS SOUPS 21812 WITH SCORE 21835.601
AT ITER 3769 NEW BEST:: SOT 64620 SOS 23598 HAS SOPS 23598 HAS SOUS 21811 HAS SOUPS 21811 WITH SCORE 21834.598
AT ITER 3772 NEW BEST:: SOT 64583 SOS 23546 HAS SOPS 23546 HAS SOUS 21769 HAS SOUPS 21769 WITH SCORE 21792.546
AT ITER 3775 NEW BEST:: SOT 64580 SOS 23531 HAS SOPS 23531 HAS SOUS 21754 HAS SOUPS 21754 WITH SCORE 21777.531
AT ITER 3780 NEW BEST:: SOT 64628 SOS 23507 HAS SOPS 23507 HAS SOUS 21742 HAS SOUPS 21742 WITH SCORE 21765.507
AT ITER 3782 NEW BEST:: SOT 64628 SOS 23481 HAS SOPS 23481 HAS SOUS 21742 HAS SOUPS 21742 WITH SCORE 21765.481
AT ITER 3786 NEW BEST:: SOT 64617 SOS 23479 HAS SOPS 23479 HAS SOUS 21740 HAS SOUPS 21740 WITH SCORE 21763.479
AT ITER 3797 NEW BEST:: SOT 64607 SOS 23419 HAS SOPS 23419 HAS SOUS 21680 HAS SOUPS 21680 WITH SCORE 21703.419
AT ITER 3825 NEW BEST:: SOT 64612 SOS 23408 HAS SOPS 23408 HAS SOUS 21672 HAS SOUPS 21672 WITH SCORE 21695.408
AT ITER 3837 NEW BEST:: SOT 64616 SOS 23407 HAS SOPS 23407 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21694.407
AT ITER 3849 NEW BEST:: SOT 64614 SOS 23403 HAS SOPS 23403 HAS SOUS 21669 HAS SOUPS 21669 WITH SCORE 21692.403
AT ITER 3862 NEW BEST:: SOT 64613 SOS 23401 HAS SOPS 23401 HAS SOUS 21668 HAS SOUPS 21668 WITH SCORE 21691.401
AT ITER 3868 NEW BEST:: SOT 64564 SOS 23352 HAS SOPS 23352 HAS SOUS 21619 HAS SOUPS 21619 WITH SCORE 21642.352
AT ITER 3874 NEW BEST:: SOT 64562 SOS 23350 HAS SOPS 23350 HAS SOUS 21617 HAS SOUPS 21617 WITH SCORE 21640.35
AT ITER 3906 NEW BEST:: SOT 64537 SOS 23300 HAS SOPS 23300 HAS SOUS 21565 HAS SOUPS 21565 WITH SCORE 21588.3
AT ITER 3921 NEW BEST:: SOT 64496 SOS 23163 HAS SOPS 23163 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21474.163
AT ITER 3925 NEW BEST:: SOT 64467 SOS 23134 HAS SOPS 23134 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21445.134
AT ITER 3929 NEW BEST:: SOT 64485 SOS 23152 HAS SOPS 23152 HAS SOUS 21412 HAS SOUPS 21412 WITH SCORE 21435.152
AT ITER 3931 NEW BEST:: SOT 64477 SOS 23128 HAS SOPS 23128 HAS SOUS 21400 HAS SOUPS 21400 WITH SCORE 21423.128
AT ITER 3951 NEW BEST:: SOT 64454 SOS 23122 HAS SOPS 23122 HAS SOUS 21376 HAS SOUPS 21376 WITH SCORE 21399.122
AT ITER 3961 NEW BEST:: SOT 64454 SOS 23116 HAS SOPS 23116 HAS SOUS 21370 HAS SOUPS 21370 WITH SCORE 21393.116
AT ITER 3978 NEW BEST:: SOT 64433 SOS 23116 HAS SOPS 23116 HAS SOUS 21368 HAS SOUPS 21368 WITH SCORE 21391.116
AT ITER 4025 NEW BEST:: SOT 64431 SOS 23114 HAS SOPS 23114 HAS SOUS 21366 HAS SOUPS 21366 WITH SCORE 21389.114
AT ITER 4031 NEW BEST:: SOT 64431 SOS 23113 HAS SOPS 23113 HAS SOUS 21366 HAS SOUPS 21366 WITH SCORE 21389.113
AT ITER 4066 NEW BEST:: SOT 64431 SOS 23106 HAS SOPS 23106 HAS SOUS 21359 HAS SOUPS 21359 WITH SCORE 21382.106
AT ITER 4069 NEW BEST:: SOT 64419 SOS 23061 HAS SOPS 23061 HAS SOUS 21330 HAS SOUPS 21330 WITH SCORE 21353.061
AT ITER 4087 NEW BEST:: SOT 64415 SOS 23042 HAS SOPS 23042 HAS SOUS 21311 HAS SOUPS 21311 WITH SCORE 21334.042
AT ITER 4088 NEW BEST:: SOT 64414 SOS 23041 HAS SOPS 23041 HAS SOUS 21309 HAS SOUPS 21309 WITH SCORE 21332.041
AT ITER 4100 NEW BEST:: SOT 64435 SOS 22983 HAS SOPS 22983 HAS SOUS 21306 HAS SOUPS 21306 WITH SCORE 21328.983
AT ITER 4109 NEW BEST:: SOT 64379 SOS 22902 HAS SOPS 22902 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21247.902
AT ITER 4114 NEW BEST:: SOT 64406 SOS 22912 HAS SOPS 22912 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21225.912
AT ITER 4120 NEW BEST:: SOT 64378 SOS 22827 HAS SOPS 22827 HAS SOUS 21155 HAS SOUPS 21155 WITH SCORE 21177.827
AT ITER 4122 NEW BEST:: SOT 64378 SOS 22829 HAS SOPS 22829 HAS SOUS 21150 HAS SOUPS 21150 WITH SCORE 21172.829
AT ITER 4132 NEW BEST:: SOT 64264 SOS 22715 HAS SOPS 22715 HAS SOUS 21036 HAS SOUPS 21036 WITH SCORE 21058.715
AT ITER 4142 NEW BEST:: SOT 64262 SOS 22713 HAS SOPS 22713 HAS SOUS 21034 HAS SOUPS 21034 WITH SCORE 21056.713
AT ITER 4160 NEW BEST:: SOT 64254 SOS 22689 HAS SOPS 22689 HAS SOUS 21010 HAS SOUPS 21010 WITH SCORE 21032.689
AT ITER 4162 NEW BEST:: SOT 64236 SOS 22596 HAS SOPS 22596 HAS SOUS 20948 HAS SOUPS 20948 WITH SCORE 20970.596
AT ITER 4172 NEW BEST:: SOT 64229 SOS 22589 HAS SOPS 22589 HAS SOUS 20941 HAS SOUPS 20941 WITH SCORE 20963.589
AT ITER 4180 NEW BEST:: SOT 64200 SOS 22552 HAS SOPS 22552 HAS SOUS 20882 HAS SOUPS 20882 WITH SCORE 20904.552
AT ITER 4183 NEW BEST:: SOT 64199 SOS 22547 HAS SOPS 22547 HAS SOUS 20880 HAS SOUPS 20880 WITH SCORE 20902.547
AT ITER 4184 NEW BEST:: SOT 64189 SOS 22527 HAS SOPS 22527 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20892.527
AT ITER 4185 NEW BEST:: SOT 64188 SOS 22526 HAS SOPS 22526 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20891.526
AT ITER 4256 NEW BEST:: SOT 64188 SOS 22519 HAS SOPS 22519 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20891.519
AT ITER 4271 NEW BEST:: SOT 64173 SOS 22504 HAS SOPS 22504 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20891.504
AT ITER 4288 NEW BEST:: SOT 64168 SOS 22512 HAS SOPS 22512 HAS SOUS 20864 HAS SOUPS 20864 WITH SCORE 20886.512
AT ITER 4329 NEW BEST:: SOT 64164 SOS 22504 HAS SOPS 22504 HAS SOUS 20856 HAS SOUPS 20856 WITH SCORE 20878.504
AT ITER 4355 NEW BEST:: SOT 64164 SOS 22504 HAS SOPS 22504 HAS SOUS 20837 HAS SOUPS 20837 WITH SCORE 20859.504
AT ITER 4370 NEW BEST:: SOT 64164 SOS 22480 HAS SOPS 22480 HAS SOUS 20831 HAS SOUPS 20831 WITH SCORE 20853.48
AT ITER 4390 NEW BEST:: SOT 64144 SOS 22400 HAS SOPS 22400 HAS SOUS 20791 HAS SOUPS 20791 WITH SCORE 20813.4
AT ITER 4439 NEW BEST:: SOT 64141 SOS 22391 HAS SOPS 22391 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20807.391
AT ITER 4448 NEW BEST:: SOT 64130 SOS 22369 HAS SOPS 22369 HAS SOUS 20777 HAS SOUPS 20777 WITH SCORE 20799.369
AT ITER 4451 NEW BEST:: SOT 64091 SOS 22301 HAS SOPS 22301 HAS SOUS 20707 HAS SOUPS 20707 WITH SCORE 20729.301
AT ITER 4467 NEW BEST:: SOT 64079 SOS 22293 HAS SOPS 22293 HAS SOUS 20701 HAS SOUPS 20701 WITH SCORE 20723.293
AT ITER 4493 NEW BEST:: SOT 64074 SOS 22278 HAS SOPS 22278 HAS SOUS 20696 HAS SOUPS 20696 WITH SCORE 20718.278
AT ITER 4526 NEW BEST:: SOT 64032 SOS 22160 HAS SOPS 22160 HAS SOUS 20590 HAS SOUPS 20590 WITH SCORE 20612.16
AT ITER 4540 NEW BEST:: SOT 63975 SOS 22085 HAS SOPS 22085 HAS SOUS 20529 HAS SOUPS 20529 WITH SCORE 20551.085
AT ITER 4552 NEW BEST:: SOT 63975 SOS 22067 HAS SOPS 22067 HAS SOUS 20511 HAS SOUPS 20511 WITH SCORE 20533.067
AT ITER 4587 NEW BEST:: SOT 63973 SOS 22063 HAS SOPS 22063 HAS SOUS 20507 HAS SOUPS 20507 WITH SCORE 20529.063
AT ITER 4600 NEW BEST:: SOT 63949 SOS 22019 HAS SOPS 22019 HAS SOUS 20459 HAS SOUPS 20459 WITH SCORE 20481.019
AT ITER 4609 NEW BEST:: SOT 63947 SOS 22018 HAS SOPS 22018 HAS SOUS 20455 HAS SOUPS 20455 WITH SCORE 20477.018
AT ITER 4616 NEW BEST:: SOT 63947 SOS 22004 HAS SOPS 22004 HAS SOUS 20443 HAS SOUPS 20443 WITH SCORE 20465.004
AT ITER 4655 NEW BEST:: SOT 63945 SOS 22001 HAS SOPS 22001 HAS SOUS 20441 HAS SOUPS 20441 WITH SCORE 20463.001
AT ITER 4660 NEW BEST:: SOT 63945 SOS 21961 HAS SOPS 21961 HAS SOUS 20401 HAS SOUPS 20401 WITH SCORE 20422.961
AT ITER 4661 NEW BEST:: SOT 63940 SOS 21956 HAS SOPS 21956 HAS SOUS 20401 HAS SOUPS 20401 WITH SCORE 20422.956
AT ITER 4682 NEW BEST:: SOT 63880 SOS 21874 HAS SOPS 21874 HAS SOUS 20318 HAS SOUPS 20318 WITH SCORE 20339.874
AT ITER 4702 NEW BEST:: SOT 63880 SOS 21877 HAS SOPS 21877 HAS SOUS 20304 HAS SOUPS 20304 WITH SCORE 20325.877
AT ITER 4713 NEW BEST:: SOT 63920 SOS 21845 HAS SOPS 21845 HAS SOUS 20283 HAS SOUPS 20283 WITH SCORE 20304.845
AT ITER 4724 NEW BEST:: SOT 63919 SOS 21844 HAS SOPS 21844 HAS SOUS 20281 HAS SOUPS 20281 WITH SCORE 20302.844
AT ITER 4768 NEW BEST:: SOT 63917 SOS 21841 HAS SOPS 21841 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20288.841
AT ITER 4793 NEW BEST:: SOT 63919 SOS 21794 HAS SOPS 21794 HAS SOUS 20240 HAS SOUPS 20240 WITH SCORE 20261.794
AT ITER 4794 NEW BEST:: SOT 63919 SOS 21785 HAS SOPS 21785 HAS SOUS 20231 HAS SOUPS 20231 WITH SCORE 20252.785
AT ITER 4795 NEW BEST:: SOT 63895 SOS 21759 HAS SOPS 21759 HAS SOUS 20188 HAS SOUPS 20188 WITH SCORE 20209.759
AT ITER 4848 NEW BEST:: SOT 63899 SOS 21735 HAS SOPS 21735 HAS SOUS 20174 HAS SOUPS 20174 WITH SCORE 20195.735
AT ITER 4860 NEW BEST:: SOT 63900 SOS 21732 HAS SOPS 21732 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20192.732
AT ITER 4862 NEW BEST:: SOT 63875 SOS 21701 HAS SOPS 21701 HAS SOUS 20140 HAS SOUPS 20140 WITH SCORE 20161.701
AT ITER 4866 NEW BEST:: SOT 63846 SOS 21643 HAS SOPS 21643 HAS SOUS 20082 HAS SOUPS 20082 WITH SCORE 20103.643
AT ITER 4889 NEW BEST:: SOT 63838 SOS 21611 HAS SOPS 21611 HAS SOUS 20058 HAS SOUPS 20058 WITH SCORE 20079.611
AT ITER 4923 NEW BEST:: SOT 63813 SOS 21586 HAS SOPS 21586 HAS SOUS 20055 HAS SOUPS 20055 WITH SCORE 20076.586
AT ITER 4973 NEW BEST:: SOT 63813 SOS 21506 HAS SOPS 21506 HAS SOUS 20015 HAS SOUPS 20015 WITH SCORE 20036.506
AT ITER 4990 NEW BEST:: SOT 63812 SOS 21483 HAS SOPS 21483 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20034.483
AT ITER 4996 NEW BEST:: SOT 63806 SOS 21480 HAS SOPS 21480 HAS SOUS 20010 HAS SOUPS 20010 WITH SCORE 20031.48
AT ITER 4998 NEW BEST:: SOT 63779 SOS 21455 HAS SOPS 21455 HAS SOUS 19985 HAS SOUPS 19985 WITH SCORE 20006.455
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-00 (! (EF( ( ( ( ((potential((tk(P104)>=1) & (tk(P115)>=1)))) & ((potential((tk(P129)>=1) & (tk(P144)>=1)))) ) | ( ((potential((tk(P160)>=1) & (tk(P162)>=1)))) | ((potential((tk(P221)>=1) & (tk(P225)>=1) & (tk(P231)>=1)))) ) ) & ((potential((tk(P66)>=1) & (tk(P77)>=1)))) ))))
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-01 ( ( ( (! ( (! ((potential((tk(P71)>=1) & (tk(P77)>=1) & (tk(P79)>=1))))) & ((potential((tk(P26)>=1) & (tk(P35)>=1)))) )) | (AU( ((potential((tk(P128)>=1) & (tk(P134)>=1) & (tk(P136)>=1)))) , ((potential((tk(P316)>=1) & (tk(P320)>=1) & (tk(P326)>=1)))) )) ) | (AU( ( ((potential((tk(P52)>=1) & (tk(P58)>=1) & (tk(P60)>=1)))) & ((potential((tk(P133)>=1)))) ) , ( ((potential((tk(P327)>=1) & (tk(P344)>=1)))) | ((potential((tk(P222)>=1) & (tk(P247)>=1)))) ) )) ) & (AF( (EF( ( ((potential((tk(P304)>=1)))) & ((potential((tk(P205)>=1)))) ))))) )
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-02 ( ((potential((tk(P354)>=1) & (tk(P358)>=1) & (tk(P364)>=1)))) | (AG( ( (! ( ((potential((tk(P3)>=1) & (tk(P11)>=1)))) & ((potential((tk(P300)>=1) & (tk(P315)>=1)))) )) | ( ( ((potential((tk(P327)>=1) & (tk(P344)>=1)))) | ((potential((tk(P141)>=1) & (tk(P143)>=1)))) ) & (! ((potential((tk(P5)>=1) & (tk(P18)>=1))))) ) ))) )
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-03 (EF( ((potential((tk(P9)>=1) & (tk(P20)>=1))))))
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-04 ( (EF( ((potential((tk(P236)>=1) & (tk(P238)>=1)))))) | (! ( (! ( ( ((potential((tk(P355)>=1) & (tk(P380)>=1)))) | ((potential((tk(P252)>=1) & (tk(P265)>=1)))) ) & ( ((potential((tk(P204)>=1) & (tk(P210)>=1) & (tk(P212)>=1)))) & ((potential((tk(P331)>=1) & (tk(P333)>=1)))) ) )) & (! (! (! ((potential((tk(P319)>=1) & (tk(P334)>=1))))))) )) )
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-05 ( ( ( (EF( (! ((potential((tk(P154)>=1))))))) & (! (EF( ((potential((tk(P78)>=1))))))) ) | ( ((potential((tk(P342)>=1)))) & ( (! ( ((potential((tk(P91)>=1)))) | ((potential((tk(P178)>=1) & (tk(P187)>=1)))) )) & ((potential((tk(P69)>=1) & (tk(P73)>=1) & (tk(P79)>=1)))) ) ) ) | ((potential((tk(P66)>=1) & (tk(P77)>=1)))) )
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-06 ( ( ( (! (! ( ((potential((tk(P264)>=1)))) | ((potential((tk(P159)>=1) & (tk(P168)>=1)))) ))) | (EF( ( ((potential((tk(P104)>=1) & (tk(P115)>=1)))) & ((potential((tk(P298)>=1) & (tk(P323)>=1)))) ))) ) | ( ( ((potential((tk(P279)>=1) & (tk(P304)>=1)))) | ( ( ((potential((tk(P148)>=1)))) | ((potential((tk(P209)>=1)))) ) | ((potential((tk(P205)>=1)))) ) ) & (! ( ( ((potential((tk(P293)>=1) & (tk(P295)>=1)))) | ((potential((tk(P15)>=1) & (tk(P30)>=1)))) ) & ( ((potential((tk(P80)>=1) & (tk(P97)>=1)))) | ((potential((tk(P261)>=1) & (tk(P267)>=1) & (tk(P269)>=1)))) ) )) ) ) & (EF( (AU( ((potential((tk(P180)>=1) & (tk(P191)>=1)))) , ((potential((tk(P118)>=1) & (tk(P135)>=1)))) )))) )
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-07 ( (EF( (EX( ((potential((tk(P129)>=1) & (tk(P144)>=1)))))))) | (! (! (! (! ((potential((tk(P154)>=1)))))))) )
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-08 ( (AX( ( (! ( ((potential((tk(P72)>=1) & (tk(P87)>=1)))) & ((potential((tk(P186)>=1)))) )) | (! (! ((potential((tk(P215)>=1) & (tk(P226)>=1)))))) ))) & (EF( (AF( ( ((potential((tk(P236)>=1) & (tk(P238)>=1)))) & ((potential((tk(P129)>=1) & (tk(P144)>=1)))) ))))) )
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-09 (AG( (! ( ( ((potential((tk(P234)>=1) & (tk(P245)>=1)))) | ((potential((tk(P293)>=1) & (tk(P295)>=1)))) ) & (! (! ((potential((tk(P262)>=1) & (tk(P277)>=1)))))) ))))
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-10 ( (AX( (EF( ((potential((tk(P224)>=1) & (tk(P239)>=1)))))))) | ((potential((tk(P114)>=1)))) )
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-11 (EU( ( (EF( ((potential((tk(P337)>=1) & (tk(P343)>=1) & (tk(P345)>=1)))))) & (! ( ((potential((tk(P287)>=1)))) | ((potential((tk(P218)>=1) & (tk(P229)>=1)))) )) ) , (AX( ( ((potential((tk(P150)>=1)))) | ((potential((tk(P107)>=1) & (tk(P111)>=1) & (tk(P117)>=1)))) ))) ))
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-12 (EF( ( ((potential((tk(P221)>=1) & (tk(P225)>=1) & (tk(P231)>=1)))) & ( ((potential((tk(P69)>=1) & (tk(P73)>=1) & (tk(P79)>=1)))) & (! (! ((potential((tk(P223)>=1) & (tk(P229)>=1) & (tk(P231)>=1)))))) ) )))
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-13 ( ( ( ( ( ( ((potential((tk(P173)>=1)))) & ((potential((tk(P252)>=1) & (tk(P265)>=1)))) ) | ((potential((tk(P298)>=1) & (tk(P323)>=1)))) ) | (EF( ((potential((tk(P256)>=1) & (tk(P267)>=1)))))) ) & ((potential((tk(P202)>=1) & (tk(P206)>=1) & (tk(P212)>=1)))) ) | (! ( (! ( ((potential((tk(P82)>=1) & (tk(P93)>=1)))) & ((potential((tk(P72)>=1)))) )) & (EF( ((potential((tk(P300)>=1)))))) )) ) | (EU( (! (! ((potential((tk(P299)>=1) & (tk(P305)>=1) & (tk(P307)>=1)))))) , ( ( ((potential((tk(P97)>=1)))) & ((potential((tk(P232)>=1) & (tk(P249)>=1)))) ) & ((potential((tk(P290)>=1) & (tk(P303)>=1)))) ) )) )
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-14 (EF( ( ( ( (! ((potential((tk(P275)>=1) & (tk(P286)>=1))))) & ( ((potential((tk(P24)>=1) & (tk(P37)>=1)))) & ((potential((tk(P350)>=1) & (tk(P352)>=1)))) ) ) & ( ((potential((tk(P287)>=1)))) | ( ((potential((tk(P188)>=1)))) & ((potential((tk(P194)>=1) & (tk(P211)>=1)))) ) ) ) & (EU( ((potential((tk(P318)>=1) & (tk(P324)>=1) & (tk(P326)>=1)))) , ((potential((tk(P232)>=1) & (tk(P249)>=1)))) )) )))
PROPERTY: ShieldIIPt-PT-020A-CTLFireability-15 (EF( (AF( (EG( ((potential((tk(P209)>=1))))))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-020A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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