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.r075-smll-167814401100432.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 CloudDeployment-PT-6a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401100432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 788K
-rw-r--r-- 1 mcc users 6.8K Feb 25 15:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 15:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 15:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 15:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 15:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Feb 25 15:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 15:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 15:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 317K Mar 5 18:22 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 1678350104542

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=CloudDeployment-PT-6a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 08:21:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 08:21:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 08:21:47] [INFO ] Load time of PNML (sax parser for PT used): 223 ms
[2023-03-09 08:21:47] [INFO ] Transformed 221 places.
[2023-03-09 08:21:47] [INFO ] Transformed 908 transitions.
[2023-03-09 08:21:47] [INFO ] Found NUPN structural information;
[2023-03-09 08:21:47] [INFO ] Parsed PT model containing 221 places and 908 transitions and 5517 arcs in 377 ms.
[2023-03-09 08:21:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 221 places, 908 transitions and 5517 arcs took 32 ms.
Total runtime 472 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 6a
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: 221 places, 908 transitions, 5517 arcs.
AT ITER 0 NEW BEST:: SOT 157763 SOS 92225 HAS SOPS 86851 HAS SOUS 73439 HAS SOUPS 68768 WITH SCORE 68860.225
AT ITER 6 NEW BEST:: SOT 158339 SOS 92547 HAS SOPS 87173 HAS SOUS 73170 HAS SOUPS 68499 WITH SCORE 68591.547
AT ITER 11 NEW BEST:: SOT 158553 SOS 92710 HAS SOPS 87445 HAS SOUS 72645 HAS SOUPS 68083 WITH SCORE 68175.71
AT ITER 12 NEW BEST:: SOT 158553 SOS 92650 HAS SOPS 87365 HAS SOUS 72585 HAS SOUPS 68003 WITH SCORE 68095.65
AT ITER 16 NEW BEST:: SOT 158645 SOS 92742 HAS SOPS 87503 HAS SOUS 72401 HAS SOUPS 67865 WITH SCORE 67957.742
AT ITER 19 NEW BEST:: SOT 158603 SOS 92806 HAS SOPS 87604 HAS SOUS 72324 HAS SOUPS 67825 WITH SCORE 67917.806
AT ITER 20 NEW BEST:: SOT 158603 SOS 92805 HAS SOPS 87603 HAS SOUS 72323 HAS SOUPS 67824 WITH SCORE 67916.805
AT ITER 21 NEW BEST:: SOT 158660 SOS 92840 HAS SOPS 87696 HAS SOUS 72138 HAS SOUPS 67697 WITH SCORE 67789.84
AT ITER 22 NEW BEST:: SOT 158667 SOS 92792 HAS SOPS 87648 HAS SOUS 72047 HAS SOUPS 67606 WITH SCORE 67698.792
AT ITER 27 NEW BEST:: SOT 158667 SOS 92776 HAS SOPS 87632 HAS SOUS 72023 HAS SOUPS 67582 WITH SCORE 67674.776
AT ITER 34 NEW BEST:: SOT 158846 SOS 93035 HAS SOPS 87989 HAS SOUS 71707 HAS SOUPS 67364 WITH SCORE 67457.035
AT ITER 35 NEW BEST:: SOT 158846 SOS 92942 HAS SOPS 87896 HAS SOUS 71706 HAS SOUPS 67363 WITH SCORE 67455.942
AT ITER 39 NEW BEST:: SOT 158305 SOS 93681 HAS SOPS 87547 HAS SOUS 71142 HAS SOUPS 66876 WITH SCORE 66969.681
AT ITER 40 NEW BEST:: SOT 158321 SOS 93697 HAS SOPS 87571 HAS SOUS 71118 HAS SOUPS 66860 WITH SCORE 66953.697
AT ITER 42 NEW BEST:: SOT 158504 SOS 93980 HAS SOPS 87854 HAS SOUS 71113 HAS SOUPS 66855 WITH SCORE 66948.98
AT ITER 43 NEW BEST:: SOT 158604 SOS 94005 HAS SOPS 87844 HAS SOUS 71009 HAS SOUPS 66716 WITH SCORE 66810.005
AT ITER 44 NEW BEST:: SOT 158747 SOS 94054 HAS SOPS 87893 HAS SOUS 70960 HAS SOUPS 66667 WITH SCORE 66761.054
AT ITER 46 NEW BEST:: SOT 158719 SOS 94073 HAS SOPS 87927 HAS SOUS 70876 HAS SOUPS 66598 WITH SCORE 66692.073
AT ITER 47 NEW BEST:: SOT 158889 SOS 94243 HAS SOPS 88182 HAS SOUS 70572 HAS SOUPS 66379 WITH SCORE 66473.243
AT ITER 48 NEW BEST:: SOT 158852 SOS 94166 HAS SOPS 88105 HAS SOUS 70416 HAS SOUPS 66223 WITH SCORE 66317.166
AT ITER 50 NEW BEST:: SOT 159182 SOS 94445 HAS SOPS 88476 HAS SOUS 70278 HAS SOUPS 66188 WITH SCORE 66282.445
AT ITER 52 NEW BEST:: SOT 159670 SOS 94345 HAS SOPS 88372 HAS SOUS 69812 HAS SOUPS 65722 WITH SCORE 65816.345
AT ITER 64 NEW BEST:: SOT 159674 SOS 94349 HAS SOPS 88376 HAS SOUS 69804 HAS SOUPS 65714 WITH SCORE 65808.349
AT ITER 65 NEW BEST:: SOT 160049 SOS 94793 HAS SOPS 88820 HAS SOUS 69716 HAS SOUPS 65626 WITH SCORE 65720.793
AT ITER 68 NEW BEST:: SOT 160038 SOS 94781 HAS SOPS 88808 HAS SOUS 69704 HAS SOUPS 65614 WITH SCORE 65708.781
AT ITER 69 NEW BEST:: SOT 160029 SOS 94763 HAS SOPS 88790 HAS SOUS 69686 HAS SOUPS 65596 WITH SCORE 65690.763
AT ITER 70 NEW BEST:: SOT 159789 SOS 94607 HAS SOPS 88634 HAS SOUS 69571 HAS SOUPS 65481 WITH SCORE 65575.607
AT ITER 72 NEW BEST:: SOT 160174 SOS 94825 HAS SOPS 88852 HAS SOUS 69030 HAS SOUPS 64940 WITH SCORE 65034.825
AT ITER 74 NEW BEST:: SOT 160306 SOS 94957 HAS SOPS 89050 HAS SOUS 68700 HAS SOUPS 64676 WITH SCORE 64770.957
AT ITER 76 NEW BEST:: SOT 160380 SOS 95031 HAS SOPS 89161 HAS SOUS 68535 HAS SOUPS 64548 WITH SCORE 64643.031
AT ITER 77 NEW BEST:: SOT 160457 SOS 94980 HAS SOPS 89110 HAS SOUS 68423 HAS SOUPS 64436 WITH SCORE 64530.98
AT ITER 78 NEW BEST:: SOT 160529 SOS 94891 HAS SOPS 89080 HAS SOUS 67971 HAS SOUPS 64043 WITH SCORE 64137.891
AT ITER 83 NEW BEST:: SOT 160529 SOS 94890 HAS SOPS 89079 HAS SOUS 67970 HAS SOUPS 64042 WITH SCORE 64136.89
AT ITER 84 NEW BEST:: SOT 160731 SOS 94834 HAS SOPS 89023 HAS SOUS 67828 HAS SOUPS 63900 WITH SCORE 63994.834
AT ITER 85 NEW BEST:: SOT 160133 SOS 96181 HAS SOPS 89025 HAS SOUS 67518 HAS SOUPS 63870 WITH SCORE 63966.181
AT ITER 87 NEW BEST:: SOT 159701 SOS 97709 HAS SOPS 89193 HAS SOUS 66869 HAS SOUPS 63501 WITH SCORE 63598.709
AT ITER 89 NEW BEST:: SOT 159701 SOS 97751 HAS SOPS 89235 HAS SOUS 66806 HAS SOUPS 63438 WITH SCORE 63535.751
AT ITER 90 NEW BEST:: SOT 159707 SOS 97722 HAS SOPS 89191 HAS SOUS 66755 HAS SOUPS 63372 WITH SCORE 63469.722
AT ITER 91 NEW BEST:: SOT 159707 SOS 97677 HAS SOPS 89191 HAS SOUS 66626 HAS SOUPS 63288 WITH SCORE 63385.677
AT ITER 94 NEW BEST:: SOT 159829 SOS 97756 HAS SOPS 89353 HAS SOUS 66189 HAS SOUPS 62934 WITH SCORE 63031.756
AT ITER 95 NEW BEST:: SOT 159875 SOS 97802 HAS SOPS 89445 HAS SOUS 66120 HAS SOUPS 62888 WITH SCORE 62985.802
AT ITER 97 NEW BEST:: SOT 159870 SOS 97797 HAS SOPS 89440 HAS SOUS 66115 HAS SOUPS 62883 WITH SCORE 62980.797
AT ITER 98 NEW BEST:: SOT 159700 SOS 97627 HAS SOPS 89270 HAS SOUS 65945 HAS SOUPS 62713 WITH SCORE 62810.627
AT ITER 101 NEW BEST:: SOT 159700 SOS 97627 HAS SOPS 89269 HAS SOUS 65944 HAS SOUPS 62712 WITH SCORE 62809.627
AT ITER 104 NEW BEST:: SOT 159700 SOS 97473 HAS SOPS 89115 HAS SOUS 65944 HAS SOUPS 62712 WITH SCORE 62809.473
AT ITER 105 NEW BEST:: SOT 159733 SOS 97509 HAS SOPS 89151 HAS SOUS 65922 HAS SOUPS 62690 WITH SCORE 62787.509
AT ITER 106 NEW BEST:: SOT 159757 SOS 97142 HAS SOPS 88784 HAS SOUS 65629 HAS SOUPS 62397 WITH SCORE 62494.142
AT ITER 108 NEW BEST:: SOT 159589 SOS 96863 HAS SOPS 88520 HAS SOUS 65388 HAS SOUPS 62124 WITH SCORE 62220.863
AT ITER 109 NEW BEST:: SOT 159553 SOS 96791 HAS SOPS 88448 HAS SOUS 65293 HAS SOUPS 62029 WITH SCORE 62125.791
AT ITER 114 NEW BEST:: SOT 159744 SOS 96584 HAS SOPS 88241 HAS SOUS 64302 HAS SOUPS 61038 WITH SCORE 61134.584
AT ITER 116 NEW BEST:: SOT 159644 SOS 96473 HAS SOPS 88130 HAS SOUS 64142 HAS SOUPS 60878 WITH SCORE 60974.473
AT ITER 117 NEW BEST:: SOT 159682 SOS 96475 HAS SOPS 88132 HAS SOUS 64102 HAS SOUPS 60838 WITH SCORE 60934.475
AT ITER 128 NEW BEST:: SOT 159739 SOS 96625 HAS SOPS 88282 HAS SOUS 64047 HAS SOUPS 60783 WITH SCORE 60879.625
AT ITER 130 NEW BEST:: SOT 159708 SOS 96576 HAS SOPS 88246 HAS SOUS 64006 HAS SOUPS 60755 WITH SCORE 60851.576
AT ITER 131 NEW BEST:: SOT 159596 SOS 96427 HAS SOPS 88097 HAS SOUS 63930 HAS SOUPS 60679 WITH SCORE 60775.427
AT ITER 133 NEW BEST:: SOT 159683 SOS 96513 HAS SOPS 88212 HAS SOUS 63812 HAS SOUPS 60590 WITH SCORE 60686.513
AT ITER 137 NEW BEST:: SOT 160084 SOS 96986 HAS SOPS 88685 HAS SOUS 63492 HAS SOUPS 60270 WITH SCORE 60366.986
AT ITER 138 NEW BEST:: SOT 160082 SOS 96982 HAS SOPS 88681 HAS SOUS 63486 HAS SOUPS 60264 WITH SCORE 60360.982
AT ITER 141 NEW BEST:: SOT 160169 SOS 97098 HAS SOPS 88797 HAS SOUS 63428 HAS SOUPS 60206 WITH SCORE 60303.098
AT ITER 142 NEW BEST:: SOT 160149 SOS 97235 HAS SOPS 88934 HAS SOUS 63234 HAS SOUPS 60012 WITH SCORE 60109.235
AT ITER 145 NEW BEST:: SOT 160048 SOS 97147 HAS SOPS 88846 HAS SOUS 63156 HAS SOUPS 59934 WITH SCORE 60031.147
AT ITER 147 NEW BEST:: SOT 160029 SOS 97126 HAS SOPS 88825 HAS SOUS 63154 HAS SOUPS 59932 WITH SCORE 60029.126
AT ITER 149 NEW BEST:: SOT 160600 SOS 97285 HAS SOPS 88984 HAS SOUS 62738 HAS SOUPS 59516 WITH SCORE 59613.285
AT ITER 153 NEW BEST:: SOT 160718 SOS 97432 HAS SOPS 89131 HAS SOUS 62389 HAS SOUPS 59167 WITH SCORE 59264.432
AT ITER 160 NEW BEST:: SOT 161039 SOS 97804 HAS SOPS 89503 HAS SOUS 62119 HAS SOUPS 58897 WITH SCORE 58994.804
AT ITER 161 NEW BEST:: SOT 161039 SOS 97736 HAS SOPS 89435 HAS SOUS 62051 HAS SOUPS 58829 WITH SCORE 58926.736
AT ITER 167 NEW BEST:: SOT 161072 SOS 97736 HAS SOPS 89430 HAS SOUS 62046 HAS SOUPS 58824 WITH SCORE 58921.736
AT ITER 169 NEW BEST:: SOT 161072 SOS 97686 HAS SOPS 89380 HAS SOUS 61996 HAS SOUPS 58774 WITH SCORE 58871.686
AT ITER 170 NEW BEST:: SOT 161106 SOS 97880 HAS SOPS 89637 HAS SOUS 61759 HAS SOUPS 58600 WITH SCORE 58697.88
AT ITER 172 NEW BEST:: SOT 160775 SOS 97549 HAS SOPS 89306 HAS SOUS 61428 HAS SOUPS 58269 WITH SCORE 58366.549
AT ITER 174 NEW BEST:: SOT 160775 SOS 97537 HAS SOPS 89294 HAS SOUS 61416 HAS SOUPS 58257 WITH SCORE 58354.537
AT ITER 176 NEW BEST:: SOT 160883 SOS 97591 HAS SOPS 89402 HAS SOUS 61302 HAS SOUPS 58197 WITH SCORE 58294.591
AT ITER 180 NEW BEST:: SOT 160993 SOS 97701 HAS SOPS 89512 HAS SOUS 61136 HAS SOUPS 58031 WITH SCORE 58128.701
AT ITER 183 NEW BEST:: SOT 161053 SOS 97775 HAS SOPS 89586 HAS SOUS 61130 HAS SOUPS 58025 WITH SCORE 58122.775
AT ITER 187 NEW BEST:: SOT 161071 SOS 97722 HAS SOPS 89533 HAS SOUS 61094 HAS SOUPS 57989 WITH SCORE 58086.722
AT ITER 190 NEW BEST:: SOT 161131 SOS 97766 HAS SOPS 89581 HAS SOUS 61037 HAS SOUPS 57941 WITH SCORE 58038.766
AT ITER 191 NEW BEST:: SOT 161405 SOS 97802 HAS SOPS 89617 HAS SOUS 61012 HAS SOUPS 57916 WITH SCORE 58013.802
AT ITER 193 NEW BEST:: SOT 161303 SOS 97420 HAS SOPS 89235 HAS SOUS 60027 HAS SOUPS 56931 WITH SCORE 57028.42
AT ITER 198 NEW BEST:: SOT 161334 SOS 97611 HAS SOPS 89426 HAS SOUS 59992 HAS SOUPS 56896 WITH SCORE 56993.611
AT ITER 199 NEW BEST:: SOT 161972 SOS 98203 HAS SOPS 90018 HAS SOUS 59569 HAS SOUPS 56473 WITH SCORE 56571.203
AT ITER 203 NEW BEST:: SOT 162376 SOS 98512 HAS SOPS 90401 HAS SOUS 59195 HAS SOUPS 56182 WITH SCORE 56280.512
AT ITER 209 NEW BEST:: SOT 162547 SOS 98459 HAS SOPS 90348 HAS SOUS 59018 HAS SOUPS 56005 WITH SCORE 56103.459
AT ITER 211 NEW BEST:: SOT 162448 SOS 98327 HAS SOPS 90216 HAS SOUS 58806 HAS SOUPS 55793 WITH SCORE 55891.327
AT ITER 212 NEW BEST:: SOT 162684 SOS 98552 HAS SOPS 90478 HAS SOUS 58536 HAS SOUPS 55558 WITH SCORE 55656.552
AT ITER 218 NEW BEST:: SOT 162715 SOS 98693 HAS SOPS 90619 HAS SOUS 58519 HAS SOUPS 55541 WITH SCORE 55639.693
AT ITER 219 NEW BEST:: SOT 162676 SOS 98615 HAS SOPS 90541 HAS SOUS 58259 HAS SOUPS 55281 WITH SCORE 55379.615
AT ITER 222 NEW BEST:: SOT 162777 SOS 98715 HAS SOPS 90641 HAS SOUS 58190 HAS SOUPS 55212 WITH SCORE 55310.715
AT ITER 224 NEW BEST:: SOT 162774 SOS 98890 HAS SOPS 90993 HAS SOUS 57665 HAS SOUPS 54805 WITH SCORE 54903.89
AT ITER 227 NEW BEST:: SOT 162745 SOS 98832 HAS SOPS 90921 HAS SOUS 57687 HAS SOUPS 54778 WITH SCORE 54876.832
AT ITER 229 NEW BEST:: SOT 163161 SOS 99160 HAS SOPS 91293 HAS SOUS 57464 HAS SOUPS 54555 WITH SCORE 54654.16
AT ITER 233 NEW BEST:: SOT 163165 SOS 99162 HAS SOPS 91295 HAS SOUS 57461 HAS SOUPS 54552 WITH SCORE 54651.162
AT ITER 238 NEW BEST:: SOT 163253 SOS 99250 HAS SOPS 91427 HAS SOUS 57304 HAS SOUPS 54439 WITH SCORE 54538.25
AT ITER 240 NEW BEST:: SOT 163618 SOS 99399 HAS SOPS 91600 HAS SOUS 56644 HAS SOUPS 53858 WITH SCORE 53957.399
AT ITER 241 NEW BEST:: SOT 163720 SOS 99444 HAS SOPS 91645 HAS SOUS 56642 HAS SOUPS 53856 WITH SCORE 53955.444
AT ITER 243 NEW BEST:: SOT 163732 SOS 99450 HAS SOPS 91657 HAS SOUS 56612 HAS SOUPS 53832 WITH SCORE 53931.45
AT ITER 244 NEW BEST:: SOT 160751 SOS 96110 HAS SOPS 88317 HAS SOUS 53260 HAS SOUPS 50480 WITH SCORE 50576.11
AT ITER 245 NEW BEST:: SOT 160751 SOS 95990 HAS SOPS 88197 HAS SOUS 53158 HAS SOUPS 50378 WITH SCORE 50473.99
AT ITER 249 NEW BEST:: SOT 160671 SOS 96038 HAS SOPS 88145 HAS SOUS 53074 HAS SOUPS 50314 WITH SCORE 50410.038
AT ITER 251 NEW BEST:: SOT 160611 SOS 96090 HAS SOPS 88069 HAS SOUS 53034 HAS SOUPS 50274 WITH SCORE 50370.09
AT ITER 254 NEW BEST:: SOT 160633 SOS 96090 HAS SOPS 88080 HAS SOUS 53001 HAS SOUPS 50252 WITH SCORE 50348.09
AT ITER 258 NEW BEST:: SOT 160305 SOS 95773 HAS SOPS 87734 HAS SOUS 53004 HAS SOUPS 50217 WITH SCORE 50312.773
AT ITER 263 NEW BEST:: SOT 159573 SOS 95249 HAS SOPS 87230 HAS SOUS 52949 HAS SOUPS 50162 WITH SCORE 50257.249
AT ITER 271 NEW BEST:: SOT 159565 SOS 95233 HAS SOPS 87214 HAS SOUS 52949 HAS SOUPS 50162 WITH SCORE 50257.233
AT ITER 272 NEW BEST:: SOT 159541 SOS 95185 HAS SOPS 87183 HAS SOUS 52896 HAS SOUPS 50126 WITH SCORE 50221.185
AT ITER 274 NEW BEST:: SOT 159541 SOS 95239 HAS SOPS 87237 HAS SOUS 52881 HAS SOUPS 50111 WITH SCORE 50206.239
AT ITER 276 NEW BEST:: SOT 159499 SOS 95218 HAS SOPS 87216 HAS SOUS 52881 HAS SOUPS 50111 WITH SCORE 50206.218
AT ITER 283 NEW BEST:: SOT 156093 SOS 92390 HAS SOPS 83832 HAS SOUS 49588 HAS SOUPS 46780 WITH SCORE 46872.39
AT ITER 288 NEW BEST:: SOT 156098 SOS 92390 HAS SOPS 83837 HAS SOUS 49567 HAS SOUPS 46764 WITH SCORE 46856.39
AT ITER 292 NEW BEST:: SOT 156061 SOS 92353 HAS SOPS 83800 HAS SOUS 49530 HAS SOUPS 46727 WITH SCORE 46819.353
AT ITER 296 NEW BEST:: SOT 156392 SOS 92684 HAS SOPS 84187 HAS SOUS 49288 HAS SOUPS 46542 WITH SCORE 46634.684
AT ITER 298 NEW BEST:: SOT 156342 SOS 92634 HAS SOPS 84137 HAS SOUS 49255 HAS SOUPS 46509 WITH SCORE 46601.634
AT ITER 299 NEW BEST:: SOT 156499 SOS 92672 HAS SOPS 84259 HAS SOUS 48853 HAS SOUPS 46191 WITH SCORE 46283.672
AT ITER 301 NEW BEST:: SOT 156605 SOS 92829 HAS SOPS 84532 HAS SOUS 48215 HAS SOUPS 45669 WITH SCORE 45761.829
AT ITER 303 NEW BEST:: SOT 156726 SOS 92834 HAS SOPS 84537 HAS SOUS 48200 HAS SOUPS 45654 WITH SCORE 45746.834
AT ITER 305 NEW BEST:: SOT 156794 SOS 92676 HAS SOPS 84297 HAS SOUS 48078 HAS SOUPS 45448 WITH SCORE 45540.676
AT ITER 306 NEW BEST:: SOT 156801 SOS 92690 HAS SOPS 84311 HAS SOUS 47995 HAS SOUPS 45365 WITH SCORE 45457.69
AT ITER 307 NEW BEST:: SOT 156742 SOS 92786 HAS SOPS 84407 HAS SOUS 47699 HAS SOUPS 45069 WITH SCORE 45161.786
AT ITER 312 NEW BEST:: SOT 156326 SOS 92312 HAS SOPS 83991 HAS SOUS 47283 HAS SOUPS 44711 WITH SCORE 44803.312
AT ITER 313 NEW BEST:: SOT 156326 SOS 92462 HAS SOPS 84141 HAS SOUS 47041 HAS SOUPS 44469 WITH SCORE 44561.462
AT ITER 328 NEW BEST:: SOT 156338 SOS 92468 HAS SOPS 84153 HAS SOUS 47011 HAS SOUPS 44445 WITH SCORE 44537.468
AT ITER 330 NEW BEST:: SOT 155500 SOS 92685 HAS SOPS 83121 HAS SOUS 46055 HAS SOUPS 43411 WITH SCORE 43503.685
AT ITER 337 NEW BEST:: SOT 155488 SOS 92715 HAS SOPS 83130 HAS SOUS 45610 HAS SOUPS 42945 WITH SCORE 43037.715
AT ITER 342 NEW BEST:: SOT 155535 SOS 92363 HAS SOPS 82778 HAS SOUS 45288 HAS SOUPS 42623 WITH SCORE 42715.363
AT ITER 345 NEW BEST:: SOT 155535 SOS 91943 HAS SOPS 82358 HAS SOUS 45288 HAS SOUPS 42623 WITH SCORE 42714.943
AT ITER 348 NEW BEST:: SOT 152933 SOS 91513 HAS SOPS 81082 HAS SOUS 44953 HAS SOUPS 42492 WITH SCORE 42583.513
AT ITER 349 NEW BEST:: SOT 150506 SOS 93923 HAS SOPS 78766 HAS SOUS 43803 HAS SOUPS 41146 WITH SCORE 41239.923
AT ITER 352 NEW BEST:: SOT 150612 SOS 93963 HAS SOPS 78806 HAS SOUS 42714 HAS SOUPS 40057 WITH SCORE 40150.963
AT ITER 354 NEW BEST:: SOT 150531 SOS 94152 HAS SOPS 78995 HAS SOUS 42703 HAS SOUPS 40046 WITH SCORE 40140.152
AT ITER 357 NEW BEST:: SOT 150407 SOS 94055 HAS SOPS 78898 HAS SOUS 42636 HAS SOUPS 39979 WITH SCORE 40073.055
AT ITER 358 NEW BEST:: SOT 150407 SOS 93977 HAS SOPS 78779 HAS SOUS 42591 HAS SOUPS 39934 WITH SCORE 40027.977
AT ITER 359 NEW BEST:: SOT 150374 SOS 93976 HAS SOPS 78778 HAS SOUS 42563 HAS SOUPS 39906 WITH SCORE 39999.976
AT ITER 360 NEW BEST:: SOT 150332 SOS 93934 HAS SOPS 78736 HAS SOUS 42521 HAS SOUPS 39864 WITH SCORE 39957.934
AT ITER 362 NEW BEST:: SOT 150365 SOS 93956 HAS SOPS 78758 HAS SOUS 42488 HAS SOUPS 39831 WITH SCORE 39924.956
AT ITER 365 NEW BEST:: SOT 149909 SOS 93416 HAS SOPS 78218 HAS SOUS 42514 HAS SOUPS 39821 WITH SCORE 39914.416
AT ITER 371 NEW BEST:: SOT 149909 SOS 93207 HAS SOPS 77962 HAS SOUS 42448 HAS SOUPS 39755 WITH SCORE 39848.207
AT ITER 373 NEW BEST:: SOT 150007 SOS 93277 HAS SOPS 78046 HAS SOUS 42398 HAS SOUPS 39705 WITH SCORE 39798.277
AT ITER 378 NEW BEST:: SOT 150053 SOS 93415 HAS SOPS 78230 HAS SOUS 42296 HAS SOUPS 39649 WITH SCORE 39742.415
AT ITER 379 NEW BEST:: SOT 149934 SOS 93520 HAS SOPS 78153 HAS SOUS 42212 HAS SOUPS 39565 WITH SCORE 39658.52
AT ITER 388 NEW BEST:: SOT 149996 SOS 93397 HAS SOPS 78030 HAS SOUS 42089 HAS SOUPS 39442 WITH SCORE 39535.397
AT ITER 395 NEW BEST:: SOT 149988 SOS 93144 HAS SOPS 77846 HAS SOUS 42073 HAS SOUPS 39426 WITH SCORE 39519.144
AT ITER 412 NEW BEST:: SOT 149988 SOS 93145 HAS SOPS 77848 HAS SOUS 42070 HAS SOUPS 39424 WITH SCORE 39517.145
AT ITER 413 NEW BEST:: SOT 149698 SOS 92771 HAS SOPS 77680 HAS SOUS 41334 HAS SOUPS 38791 WITH SCORE 38883.771
AT ITER 425 NEW BEST:: SOT 150087 SOS 93165 HAS SOPS 78019 HAS SOUS 40051 HAS SOUPS 37508 WITH SCORE 37601.165
AT ITER 427 NEW BEST:: SOT 150116 SOS 93219 HAS SOPS 78073 HAS SOUS 39974 HAS SOUPS 37431 WITH SCORE 37524.219
AT ITER 428 NEW BEST:: SOT 150217 SOS 93320 HAS SOPS 78265 HAS SOUS 38749 HAS SOUPS 36206 WITH SCORE 36299.32
AT ITER 431 NEW BEST:: SOT 149793 SOS 92635 HAS SOPS 77623 HAS SOUS 38661 HAS SOUPS 36097 WITH SCORE 36189.635
AT ITER 435 NEW BEST:: SOT 149781 SOS 92605 HAS SOPS 77599 HAS SOUS 38631 HAS SOUPS 36073 WITH SCORE 36165.605
AT ITER 439 NEW BEST:: SOT 149939 SOS 92798 HAS SOPS 77792 HAS SOUS 38333 HAS SOUPS 35775 WITH SCORE 35867.798
AT ITER 443 NEW BEST:: SOT 149580 SOS 92674 HAS SOPS 77616 HAS SOUS 38074 HAS SOUPS 35560 WITH SCORE 35652.674
AT ITER 449 NEW BEST:: SOT 150026 SOS 93148 HAS SOPS 78090 HAS SOUS 38051 HAS SOUPS 35537 WITH SCORE 35630.148
AT ITER 454 NEW BEST:: SOT 149855 SOS 92901 HAS SOPS 77843 HAS SOUS 37823 HAS SOUPS 35309 WITH SCORE 35401.901
AT ITER 455 NEW BEST:: SOT 149868 SOS 92890 HAS SOPS 77869 HAS SOUS 37706 HAS SOUPS 35229 WITH SCORE 35321.89
AT ITER 459 NEW BEST:: SOT 149868 SOS 92841 HAS SOPS 77820 HAS SOUS 37703 HAS SOUPS 35226 WITH SCORE 35318.841
AT ITER 460 NEW BEST:: SOT 149905 SOS 92849 HAS SOPS 77807 HAS SOUS 37630 HAS SOUPS 35153 WITH SCORE 35245.849
AT ITER 461 NEW BEST:: SOT 149558 SOS 92469 HAS SOPS 77427 HAS SOUS 37481 HAS SOUPS 35004 WITH SCORE 35096.469
AT ITER 468 NEW BEST:: SOT 149366 SOS 92105 HAS SOPS 76958 HAS SOUS 37487 HAS SOUPS 34925 WITH SCORE 35017.105
AT ITER 471 NEW BEST:: SOT 149323 SOS 88669 HAS SOPS 77067 HAS SOUS 37172 HAS SOUPS 34690 WITH SCORE 34778.669
AT ITER 472 NEW BEST:: SOT 149279 SOS 88517 HAS SOPS 76902 HAS SOUS 37117 HAS SOUPS 34635 WITH SCORE 34723.517
AT ITER 478 NEW BEST:: SOT 149252 SOS 88521 HAS SOPS 76906 HAS SOUS 37114 HAS SOUPS 34632 WITH SCORE 34720.521
AT ITER 479 NEW BEST:: SOT 149332 SOS 88471 HAS SOPS 76784 HAS SOUS 37104 HAS SOUPS 34580 WITH SCORE 34668.471
AT ITER 485 NEW BEST:: SOT 149341 SOS 88477 HAS SOPS 76790 HAS SOUS 37101 HAS SOUPS 34577 WITH SCORE 34665.477
AT ITER 486 NEW BEST:: SOT 149670 SOS 88683 HAS SOPS 77108 HAS SOUS 36612 HAS SOUPS 34209 WITH SCORE 34297.683
AT ITER 487 NEW BEST:: SOT 149597 SOS 88642 HAS SOPS 76872 HAS SOUS 36604 HAS SOUPS 34156 WITH SCORE 34244.642
AT ITER 497 NEW BEST:: SOT 149500 SOS 88596 HAS SOPS 76826 HAS SOUS 36560 HAS SOUPS 34112 WITH SCORE 34200.596
AT ITER 499 NEW BEST:: SOT 149717 SOS 88386 HAS SOPS 76616 HAS SOUS 36389 HAS SOUPS 33941 WITH SCORE 34029.386
AT ITER 506 NEW BEST:: SOT 149713 SOS 88384 HAS SOPS 76612 HAS SOUS 36391 HAS SOUPS 33941 WITH SCORE 34029.384
AT ITER 508 NEW BEST:: SOT 149548 SOS 88261 HAS SOPS 76458 HAS SOUS 36304 HAS SOUPS 33854 WITH SCORE 33942.261
AT ITER 513 NEW BEST:: SOT 149295 SOS 88084 HAS SOPS 76281 HAS SOUS 36086 HAS SOUPS 33636 WITH SCORE 33724.084
AT ITER 520 NEW BEST:: SOT 148857 SOS 87564 HAS SOPS 75843 HAS SOUS 35262 HAS SOUPS 32894 WITH SCORE 32981.564
AT ITER 525 NEW BEST:: SOT 148857 SOS 87566 HAS SOPS 75845 HAS SOUS 35235 HAS SOUPS 32867 WITH SCORE 32954.566
AT ITER 529 NEW BEST:: SOT 148866 SOS 87561 HAS SOPS 75840 HAS SOUS 35233 HAS SOUPS 32865 WITH SCORE 32952.561
AT ITER 532 NEW BEST:: SOT 148845 SOS 87503 HAS SOPS 75798 HAS SOUS 35196 HAS SOUPS 32844 WITH SCORE 32931.503
AT ITER 534 NEW BEST:: SOT 148750 SOS 87272 HAS SOPS 75567 HAS SOUS 35094 HAS SOUPS 32742 WITH SCORE 32829.272
AT ITER 541 NEW BEST:: SOT 149061 SOS 87346 HAS SOPS 75641 HAS SOUS 35002 HAS SOUPS 32650 WITH SCORE 32737.346
AT ITER 542 NEW BEST:: SOT 148251 SOS 86714 HAS SOPS 75209 HAS SOUS 34950 HAS SOUPS 32607 WITH SCORE 32693.714
AT ITER 544 NEW BEST:: SOT 148084 SOS 86380 HAS SOPS 74875 HAS SOUS 34761 HAS SOUPS 32418 WITH SCORE 32504.38
AT ITER 548 NEW BEST:: SOT 148084 SOS 86394 HAS SOPS 74889 HAS SOUS 34757 HAS SOUPS 32414 WITH SCORE 32500.394
AT ITER 553 NEW BEST:: SOT 148093 SOS 86423 HAS SOPS 74898 HAS SOUS 34394 HAS SOUPS 32031 WITH SCORE 32117.423
AT ITER 554 NEW BEST:: SOT 147395 SOS 85664 HAS SOPS 74162 HAS SOUS 34153 HAS SOUPS 31747 WITH SCORE 31832.664
AT ITER 556 NEW BEST:: SOT 147395 SOS 85664 HAS SOPS 74162 HAS SOUS 33997 HAS SOUPS 31591 WITH SCORE 31676.664
AT ITER 563 NEW BEST:: SOT 147374 SOS 85626 HAS SOPS 74124 HAS SOUS 33964 HAS SOUPS 31558 WITH SCORE 31643.626
AT ITER 564 NEW BEST:: SOT 146847 SOS 85298 HAS SOPS 73862 HAS SOUS 33963 HAS SOUPS 31557 WITH SCORE 31642.298
AT ITER 566 NEW BEST:: SOT 145880 SOS 84253 HAS SOPS 72926 HAS SOUS 33782 HAS SOUPS 31376 WITH SCORE 31460.253
AT ITER 569 NEW BEST:: SOT 145860 SOS 84238 HAS SOPS 72911 HAS SOUS 33777 HAS SOUPS 31371 WITH SCORE 31455.238
AT ITER 570 NEW BEST:: SOT 146327 SOS 84420 HAS SOPS 73093 HAS SOUS 33260 HAS SOUPS 30854 WITH SCORE 30938.42
AT ITER 572 NEW BEST:: SOT 146299 SOS 84093 HAS SOPS 72646 HAS SOUS 33145 HAS SOUPS 30739 WITH SCORE 30823.093
AT ITER 574 NEW BEST:: SOT 146309 SOS 84100 HAS SOPS 72658 HAS SOUS 33139 HAS SOUPS 30738 WITH SCORE 30822.1
AT ITER 591 NEW BEST:: SOT 146092 SOS 83890 HAS SOPS 72441 HAS SOUS 33059 HAS SOUPS 30658 WITH SCORE 30741.89
AT ITER 592 NEW BEST:: SOT 146099 SOS 83747 HAS SOPS 72298 HAS SOUS 33007 HAS SOUPS 30606 WITH SCORE 30689.747
AT ITER 594 NEW BEST:: SOT 146019 SOS 83635 HAS SOPS 72202 HAS SOUS 32799 HAS SOUPS 30398 WITH SCORE 30481.635
AT ITER 597 NEW BEST:: SOT 146019 SOS 83607 HAS SOPS 72174 HAS SOUS 32785 HAS SOUPS 30384 WITH SCORE 30467.607
AT ITER 603 NEW BEST:: SOT 145970 SOS 83564 HAS SOPS 72142 HAS SOUS 32736 HAS SOUPS 30346 WITH SCORE 30429.564
AT ITER 605 NEW BEST:: SOT 145970 SOS 83567 HAS SOPS 72145 HAS SOUS 32724 HAS SOUPS 30334 WITH SCORE 30417.567
AT ITER 614 NEW BEST:: SOT 145819 SOS 83454 HAS SOPS 72013 HAS SOUS 32699 HAS SOUPS 30309 WITH SCORE 30392.454
AT ITER 616 NEW BEST:: SOT 145847 SOS 83510 HAS SOPS 72069 HAS SOUS 32679 HAS SOUPS 30289 WITH SCORE 30372.51
AT ITER 621 NEW BEST:: SOT 145840 SOS 83496 HAS SOPS 72055 HAS SOUS 32679 HAS SOUPS 30289 WITH SCORE 30372.496
AT ITER 623 NEW BEST:: SOT 145810 SOS 83436 HAS SOPS 71995 HAS SOUS 32639 HAS SOUPS 30249 WITH SCORE 30332.436
AT ITER 630 NEW BEST:: SOT 145776 SOS 83402 HAS SOPS 71961 HAS SOUS 32588 HAS SOUPS 30198 WITH SCORE 30281.402
AT ITER 634 NEW BEST:: SOT 145834 SOS 83699 HAS SOPS 72330 HAS SOUS 32441 HAS SOUPS 30160 WITH SCORE 30243.699
AT ITER 637 NEW BEST:: SOT 145952 SOS 83667 HAS SOPS 72298 HAS SOUS 32333 HAS SOUPS 30052 WITH SCORE 30135.667
AT ITER 638 NEW BEST:: SOT 145683 SOS 83413 HAS SOPS 72076 HAS SOUS 32126 HAS SOUPS 29845 WITH SCORE 29928.413
AT ITER 639 NEW BEST:: SOT 145491 SOS 83317 HAS SOPS 71908 HAS SOUS 32176 HAS SOUPS 29823 WITH SCORE 29906.317
AT ITER 641 NEW BEST:: SOT 145426 SOS 83226 HAS SOPS 71830 HAS SOUS 32129 HAS SOUPS 29776 WITH SCORE 29859.226
AT ITER 650 NEW BEST:: SOT 145426 SOS 83182 HAS SOPS 71786 HAS SOUS 32118 HAS SOUPS 29765 WITH SCORE 29848.182
AT ITER 651 NEW BEST:: SOT 145389 SOS 83199 HAS SOPS 71803 HAS SOUS 32116 HAS SOUPS 29763 WITH SCORE 29846.199
AT ITER 655 NEW BEST:: SOT 145399 SOS 83189 HAS SOPS 71793 HAS SOUS 32116 HAS SOUPS 29763 WITH SCORE 29846.189
AT ITER 656 NEW BEST:: SOT 145398 SOS 83188 HAS SOPS 71810 HAS SOUS 32114 HAS SOUPS 29761 WITH SCORE 29844.188
AT ITER 657 NEW BEST:: SOT 145398 SOS 83170 HAS SOPS 71792 HAS SOUS 32096 HAS SOUPS 29743 WITH SCORE 29826.17
AT ITER 658 NEW BEST:: SOT 143880 SOS 82191 HAS SOPS 71074 HAS SOUS 31155 HAS SOUPS 28856 WITH SCORE 28938.191
AT ITER 665 NEW BEST:: SOT 143902 SOS 82148 HAS SOPS 71031 HAS SOUS 31114 HAS SOUPS 28815 WITH SCORE 28897.148
AT ITER 672 NEW BEST:: SOT 143336 SOS 82641 HAS SOPS 70794 HAS SOUS 30939 HAS SOUPS 28691 WITH SCORE 28773.641
AT ITER 678 NEW BEST:: SOT 143313 SOS 82670 HAS SOPS 70807 HAS SOUS 30920 HAS SOUPS 28672 WITH SCORE 28754.67
AT ITER 685 NEW BEST:: SOT 143313 SOS 82656 HAS SOPS 70793 HAS SOUS 30906 HAS SOUPS 28658 WITH SCORE 28740.656
AT ITER 693 NEW BEST:: SOT 143352 SOS 82641 HAS SOPS 70871 HAS SOUS 30546 HAS SOUPS 28391 WITH SCORE 28473.641
AT ITER 695 NEW BEST:: SOT 142916 SOS 82681 HAS SOPS 70387 HAS SOUS 30130 HAS SOUPS 27975 WITH SCORE 28057.681
AT ITER 704 NEW BEST:: SOT 142929 SOS 82474 HAS SOPS 70180 HAS SOUS 30004 HAS SOUPS 27849 WITH SCORE 27931.474
AT ITER 705 NEW BEST:: SOT 142941 SOS 82477 HAS SOPS 70186 HAS SOUS 30001 HAS SOUPS 27846 WITH SCORE 27928.477
AT ITER 712 NEW BEST:: SOT 143021 SOS 82500 HAS SOPS 70209 HAS SOUS 29969 HAS SOUPS 27814 WITH SCORE 27896.5
AT ITER 717 NEW BEST:: SOT 143038 SOS 82483 HAS SOPS 70192 HAS SOUS 29969 HAS SOUPS 27814 WITH SCORE 27896.483
AT ITER 722 NEW BEST:: SOT 142770 SOS 82219 HAS SOPS 69958 HAS SOUS 29967 HAS SOUPS 27808 WITH SCORE 27890.219
AT ITER 730 NEW BEST:: SOT 142822 SOS 82227 HAS SOPS 70022 HAS SOUS 29600 HAS SOUPS 27497 WITH SCORE 27579.227
AT ITER 737 NEW BEST:: SOT 142822 SOS 82208 HAS SOPS 69928 HAS SOUS 29467 HAS SOUPS 27364 WITH SCORE 27446.208
AT ITER 738 NEW BEST:: SOT 142943 SOS 82115 HAS SOPS 69835 HAS SOUS 29418 HAS SOUPS 27315 WITH SCORE 27397.115
AT ITER 740 NEW BEST:: SOT 142655 SOS 81623 HAS SOPS 69421 HAS SOUS 29169 HAS SOUPS 27057 WITH SCORE 27138.623
AT ITER 741 NEW BEST:: SOT 142631 SOS 81587 HAS SOPS 69379 HAS SOUS 29139 HAS SOUPS 27027 WITH SCORE 27108.587
AT ITER 742 NEW BEST:: SOT 142513 SOS 81230 HAS SOPS 68904 HAS SOUS 29088 HAS SOUPS 26911 WITH SCORE 26992.23
AT ITER 752 NEW BEST:: SOT 142663 SOS 81074 HAS SOPS 68748 HAS SOUS 28899 HAS SOUPS 26722 WITH SCORE 26803.074
AT ITER 754 NEW BEST:: SOT 142642 SOS 81078 HAS SOPS 68790 HAS SOUS 28857 HAS SOUPS 26680 WITH SCORE 26761.078
AT ITER 768 NEW BEST:: SOT 142630 SOS 81066 HAS SOPS 68778 HAS SOUS 28845 HAS SOUPS 26668 WITH SCORE 26749.066
AT ITER 774 NEW BEST:: SOT 142626 SOS 81073 HAS SOPS 68762 HAS SOUS 28856 HAS SOUPS 26664 WITH SCORE 26745.073
AT ITER 776 NEW BEST:: SOT 142827 SOS 80739 HAS SOPS 68428 HAS SOUS 28631 HAS SOUPS 26439 WITH SCORE 26519.739
AT ITER 778 NEW BEST:: SOT 142161 SOS 79969 HAS SOPS 67658 HAS SOUS 28531 HAS SOUPS 26339 WITH SCORE 26418.969
AT ITER 779 NEW BEST:: SOT 142132 SOS 80069 HAS SOPS 67612 HAS SOUS 28491 HAS SOUPS 26298 WITH SCORE 26378.069
AT ITER 783 NEW BEST:: SOT 142037 SOS 79922 HAS SOPS 67465 HAS SOUS 28371 HAS SOUPS 26178 WITH SCORE 26257.922
AT ITER 792 NEW BEST:: SOT 142159 SOS 80082 HAS SOPS 67603 HAS SOUS 28352 HAS SOUPS 26163 WITH SCORE 26243.082
AT ITER 794 NEW BEST:: SOT 142124 SOS 80055 HAS SOPS 67576 HAS SOUS 28337 HAS SOUPS 26148 WITH SCORE 26228.055
AT ITER 815 NEW BEST:: SOT 142011 SOS 79965 HAS SOPS 67486 HAS SOUS 28274 HAS SOUPS 26085 WITH SCORE 26164.965
AT ITER 828 NEW BEST:: SOT 141957 SOS 79928 HAS SOPS 67468 HAS SOUS 28223 HAS SOUPS 26053 WITH SCORE 26132.928
AT ITER 834 NEW BEST:: SOT 141939 SOS 79899 HAS SOPS 67439 HAS SOUS 28205 HAS SOUPS 26035 WITH SCORE 26114.899
AT ITER 835 NEW BEST:: SOT 141951 SOS 79892 HAS SOPS 67463 HAS SOUS 28179 HAS SOUPS 26032 WITH SCORE 26111.892
AT ITER 836 NEW BEST:: SOT 142014 SOS 79648 HAS SOPS 67175 HAS SOUS 28126 HAS SOUPS 25979 WITH SCORE 26058.648
AT ITER 840 NEW BEST:: SOT 141798 SOS 79440 HAS SOPS 66967 HAS SOUS 28077 HAS SOUPS 25930 WITH SCORE 26009.44
AT ITER 847 NEW BEST:: SOT 141796 SOS 79445 HAS SOPS 66972 HAS SOUS 28073 HAS SOUPS 25926 WITH SCORE 26005.445
AT ITER 851 NEW BEST:: SOT 141796 SOS 79465 HAS SOPS 66992 HAS SOUS 28063 HAS SOUPS 25916 WITH SCORE 25995.465
AT ITER 854 NEW BEST:: SOT 141796 SOS 79408 HAS SOPS 66935 HAS SOUS 28006 HAS SOUPS 25859 WITH SCORE 25938.408
AT ITER 876 NEW BEST:: SOT 141779 SOS 79307 HAS SOPS 66834 HAS SOUS 28006 HAS SOUPS 25859 WITH SCORE 25938.307
AT ITER 877 NEW BEST:: SOT 142012 SOS 79173 HAS SOPS 66700 HAS SOUS 27908 HAS SOUPS 25761 WITH SCORE 25840.173
AT ITER 886 NEW BEST:: SOT 142057 SOS 79233 HAS SOPS 66760 HAS SOUS 27852 HAS SOUPS 25705 WITH SCORE 25784.233
AT ITER 895 NEW BEST:: SOT 142033 SOS 79209 HAS SOPS 66736 HAS SOUS 27832 HAS SOUPS 25685 WITH SCORE 25764.209
AT ITER 900 NEW BEST:: SOT 142017 SOS 79185 HAS SOPS 66712 HAS SOUS 27824 HAS SOUPS 25677 WITH SCORE 25756.185
AT ITER 905 NEW BEST:: SOT 142004 SOS 79250 HAS SOPS 66777 HAS SOUS 27810 HAS SOUPS 25663 WITH SCORE 25742.25
AT ITER 923 NEW BEST:: SOT 141035 SOS 80524 HAS SOPS 66368 HAS SOUS 27127 HAS SOUPS 25129 WITH SCORE 25209.524
AT ITER 934 NEW BEST:: SOT 140975 SOS 80419 HAS SOPS 66353 HAS SOUS 26722 HAS SOUPS 24769 WITH SCORE 24849.419
AT ITER 942 NEW BEST:: SOT 140953 SOS 80353 HAS SOPS 66287 HAS SOUS 26678 HAS SOUPS 24725 WITH SCORE 24805.353
AT ITER 943 NEW BEST:: SOT 140805 SOS 81780 HAS SOPS 66009 HAS SOUS 26620 HAS SOUPS 24601 WITH SCORE 24682.78
AT ITER 953 NEW BEST:: SOT 140805 SOS 81731 HAS SOPS 66009 HAS SOUS 26620 HAS SOUPS 24601 WITH SCORE 24682.731
AT ITER 954 NEW BEST:: SOT 140750 SOS 81666 HAS SOPS 65944 HAS SOUS 26580 HAS SOUPS 24561 WITH SCORE 24642.666
AT ITER 957 NEW BEST:: SOT 140546 SOS 81454 HAS SOPS 65672 HAS SOUS 26554 HAS SOUPS 24526 WITH SCORE 24607.454
AT ITER 962 NEW BEST:: SOT 140546 SOS 81435 HAS SOPS 65661 HAS SOUS 26543 HAS SOUPS 24515 WITH SCORE 24596.435
AT ITER 966 NEW BEST:: SOT 140327 SOS 81528 HAS SOPS 65820 HAS SOUS 26523 HAS SOUPS 24495 WITH SCORE 24576.528
AT ITER 974 NEW BEST:: SOT 140327 SOS 81514 HAS SOPS 65758 HAS SOUS 26461 HAS SOUPS 24433 WITH SCORE 24514.514
AT ITER 979 NEW BEST:: SOT 140210 SOS 81351 HAS SOPS 65539 HAS SOUS 26227 HAS SOUPS 24199 WITH SCORE 24280.351
AT ITER 992 NEW BEST:: SOT 140340 SOS 81482 HAS SOPS 65662 HAS SOUS 26061 HAS SOUPS 24033 WITH SCORE 24114.482
AT ITER 993 NEW BEST:: SOT 140340 SOS 81473 HAS SOPS 65653 HAS SOUS 26061 HAS SOUPS 24033 WITH SCORE 24114.473
AT ITER 999 NEW BEST:: SOT 140311 SOS 81472 HAS SOPS 65633 HAS SOUS 26031 HAS SOUPS 24003 WITH SCORE 24084.472
AT ITER 1016 NEW BEST:: SOT 140321 SOS 81439 HAS SOPS 65593 HAS SOUS 25971 HAS SOUPS 23943 WITH SCORE 24024.439
AT ITER 1042 NEW BEST:: SOT 140437 SOS 81541 HAS SOPS 65688 HAS SOUS 25887 HAS SOUPS 23859 WITH SCORE 23940.541
AT ITER 1043 NEW BEST:: SOT 140366 SOS 81433 HAS SOPS 65591 HAS SOUS 25681 HAS SOUPS 23664 WITH SCORE 23745.433
AT ITER 1044 NEW BEST:: SOT 140464 SOS 81578 HAS SOPS 65751 HAS SOUS 25674 HAS SOUPS 23657 WITH SCORE 23738.578
AT ITER 1063 NEW BEST:: SOT 140454 SOS 81553 HAS SOPS 65721 HAS SOUS 25674 HAS SOUPS 23652 WITH SCORE 23733.553
AT ITER 1068 NEW BEST:: SOT 140478 SOS 81409 HAS SOPS 65733 HAS SOUS 25674 HAS SOUPS 23652 WITH SCORE 23733.409
AT ITER 1072 NEW BEST:: SOT 140518 SOS 81394 HAS SOPS 65718 HAS SOUS 25664 HAS SOUPS 23642 WITH SCORE 23723.394
AT ITER 1078 NEW BEST:: SOT 140462 SOS 81338 HAS SOPS 65662 HAS SOUS 25631 HAS SOUPS 23609 WITH SCORE 23690.338
AT ITER 1084 NEW BEST:: SOT 140459 SOS 81306 HAS SOPS 65645 HAS SOUS 25604 HAS SOUPS 23591 WITH SCORE 23672.306
AT ITER 1085 NEW BEST:: SOT 140447 SOS 81294 HAS SOPS 65633 HAS SOUS 25592 HAS SOUPS 23579 WITH SCORE 23660.294
AT ITER 1097 NEW BEST:: SOT 140479 SOS 81247 HAS SOPS 65615 HAS SOUS 25547 HAS SOUPS 23534 WITH SCORE 23615.247
AT ITER 1114 NEW BEST:: SOT 140479 SOS 81229 HAS SOPS 65650 HAS SOUS 25529 HAS SOUPS 23522 WITH SCORE 23603.229
AT ITER 1119 NEW BEST:: SOT 140475 SOS 81205 HAS SOPS 65622 HAS SOUS 25501 HAS SOUPS 23494 WITH SCORE 23575.205
AT ITER 1122 NEW BEST:: SOT 140485 SOS 81012 HAS SOPS 65441 HAS SOUS 25388 HAS SOUPS 23358 WITH SCORE 23439.012
AT ITER 1129 NEW BEST:: SOT 140306 SOS 81497 HAS SOPS 65399 HAS SOUS 25280 HAS SOUPS 23272 WITH SCORE 23353.497
AT ITER 1135 NEW BEST:: SOT 140312 SOS 76304 HAS SOPS 58442 HAS SOUS 25301 HAS SOUPS 23206 WITH SCORE 23282.304
AT ITER 1138 NEW BEST:: SOT 140306 SOS 76286 HAS SOPS 58424 HAS SOUS 25301 HAS SOUPS 23206 WITH SCORE 23282.286
AT ITER 1146 NEW BEST:: SOT 140302 SOS 76206 HAS SOPS 58378 HAS SOUS 25293 HAS SOUPS 23198 WITH SCORE 23274.206
AT ITER 1151 NEW BEST:: SOT 140269 SOS 76041 HAS SOPS 58536 HAS SOUS 25214 HAS SOUPS 23132 WITH SCORE 23208.041
AT ITER 1156 NEW BEST:: SOT 140221 SOS 75948 HAS SOPS 58461 HAS SOUS 25160 HAS SOUPS 23098 WITH SCORE 23173.948
AT ITER 1158 NEW BEST:: SOT 140276 SOS 75783 HAS SOPS 58296 HAS SOUS 25160 HAS SOUPS 23098 WITH SCORE 23173.783
AT ITER 1163 NEW BEST:: SOT 140431 SOS 75914 HAS SOPS 58403 HAS SOUS 25117 HAS SOUPS 23055 WITH SCORE 23130.914
AT ITER 1164 NEW BEST:: SOT 140607 SOS 76046 HAS SOPS 58535 HAS SOUS 25095 HAS SOUPS 23033 WITH SCORE 23109.046
AT ITER 1168 NEW BEST:: SOT 140607 SOS 76016 HAS SOPS 58505 HAS SOUS 25089 HAS SOUPS 23027 WITH SCORE 23103.016
AT ITER 1169 NEW BEST:: SOT 140599 SOS 75996 HAS SOPS 58485 HAS SOUS 25049 HAS SOUPS 22987 WITH SCORE 23062.996
AT ITER 1176 NEW BEST:: SOT 140609 SOS 76001 HAS SOPS 58495 HAS SOUS 25019 HAS SOUPS 22962 WITH SCORE 23038.001
AT ITER 1178 NEW BEST:: SOT 140406 SOS 75789 HAS SOPS 58310 HAS SOUS 24981 HAS SOUPS 22924 WITH SCORE 22999.789
AT ITER 1196 NEW BEST:: SOT 140399 SOS 75775 HAS SOPS 58296 HAS SOUS 24974 HAS SOUPS 22917 WITH SCORE 22992.775
AT ITER 1203 NEW BEST:: SOT 140384 SOS 75776 HAS SOPS 58306 HAS SOUS 24928 HAS SOUPS 22871 WITH SCORE 22946.776
AT ITER 1223 NEW BEST:: SOT 140195 SOS 75611 HAS SOPS 58134 HAS SOUS 24747 HAS SOUPS 22690 WITH SCORE 22765.611
AT ITER 1226 NEW BEST:: SOT 140135 SOS 77205 HAS SOPS 57892 HAS SOUS 24713 HAS SOUPS 22621 WITH SCORE 22698.205
AT ITER 1244 NEW BEST:: SOT 140132 SOS 77199 HAS SOPS 57979 HAS SOUS 24409 HAS SOUPS 22410 WITH SCORE 22487.199
AT ITER 1248 NEW BEST:: SOT 140077 SOS 77150 HAS SOPS 57930 HAS SOUS 24360 HAS SOUPS 22361 WITH SCORE 22438.15
AT ITER 1254 NEW BEST:: SOT 139259 SOS 76580 HAS SOPS 57778 HAS SOUS 24312 HAS SOUPS 22341 WITH SCORE 22417.58
AT ITER 1261 NEW BEST:: SOT 139048 SOS 76455 HAS SOPS 57594 HAS SOUS 24248 HAS SOUPS 22264 WITH SCORE 22340.455
AT ITER 1267 NEW BEST:: SOT 139043 SOS 76450 HAS SOPS 57584 HAS SOUS 24237 HAS SOUPS 22248 WITH SCORE 22324.45
AT ITER 1274 NEW BEST:: SOT 139031 SOS 76429 HAS SOPS 57536 HAS SOUS 24180 HAS SOUPS 22182 WITH SCORE 22258.429
AT ITER 1275 NEW BEST:: SOT 138953 SOS 73601 HAS SOPS 53219 HAS SOUS 24085 HAS SOUPS 22001 WITH SCORE 22074.601
AT ITER 1307 NEW BEST:: SOT 138577 SOS 73241 HAS SOPS 52928 HAS SOUS 23795 HAS SOUPS 21710 WITH SCORE 21783.241
AT ITER 1314 NEW BEST:: SOT 138407 SOS 73020 HAS SOPS 52777 HAS SOUS 23740 HAS SOUPS 21655 WITH SCORE 21728.02
AT ITER 1320 NEW BEST:: SOT 138416 SOS 73000 HAS SOPS 52748 HAS SOUS 23711 HAS SOUPS 21626 WITH SCORE 21699.0
AT ITER 1323 NEW BEST:: SOT 138416 SOS 73006 HAS SOPS 52742 HAS SOUS 23705 HAS SOUPS 21620 WITH SCORE 21693.006
AT ITER 1334 NEW BEST:: SOT 138258 SOS 73052 HAS SOPS 52816 HAS SOUS 23684 HAS SOUPS 21599 WITH SCORE 21672.052
AT ITER 1337 NEW BEST:: SOT 137700 SOS 72518 HAS SOPS 52431 HAS SOUS 23604 HAS SOUPS 21490 WITH SCORE 21562.518
AT ITER 1346 NEW BEST:: SOT 137689 SOS 72496 HAS SOPS 52400 HAS SOUS 23584 HAS SOUPS 21470 WITH SCORE 21542.496
AT ITER 1371 NEW BEST:: SOT 137660 SOS 72724 HAS SOPS 52648 HAS SOUS 23555 HAS SOUPS 21441 WITH SCORE 21513.724
AT ITER 1382 NEW BEST:: SOT 137658 SOS 72723 HAS SOPS 52647 HAS SOUS 23555 HAS SOUPS 21441 WITH SCORE 21513.723
AT ITER 1388 NEW BEST:: SOT 137719 SOS 72784 HAS SOPS 52645 HAS SOUS 23553 HAS SOUPS 21439 WITH SCORE 21511.784
AT ITER 1403 NEW BEST:: SOT 137688 SOS 72756 HAS SOPS 52633 HAS SOUS 23517 HAS SOUPS 21403 WITH SCORE 21475.756
AT ITER 1426 NEW BEST:: SOT 137226 SOS 72345 HAS SOPS 52204 HAS SOUS 23084 HAS SOUPS 20970 WITH SCORE 21042.345
AT ITER 1428 NEW BEST:: SOT 137187 SOS 72267 HAS SOPS 52182 HAS SOUS 23012 HAS SOUPS 20931 WITH SCORE 21003.267
AT ITER 1430 NEW BEST:: SOT 137320 SOS 72245 HAS SOPS 52247 HAS SOUS 22952 HAS SOUPS 20871 WITH SCORE 20943.245
AT ITER 1431 NEW BEST:: SOT 137248 SOS 72247 HAS SOPS 52249 HAS SOUS 22930 HAS SOUPS 20849 WITH SCORE 20921.247
AT ITER 1436 NEW BEST:: SOT 137223 SOS 72222 HAS SOPS 52199 HAS SOUS 22880 HAS SOUPS 20799 WITH SCORE 20871.222
AT ITER 1437 NEW BEST:: SOT 137127 SOS 72132 HAS SOPS 52143 HAS SOUS 22864 HAS SOUPS 20760 WITH SCORE 20832.132
AT ITER 1455 NEW BEST:: SOT 137177 SOS 72082 HAS SOPS 52068 HAS SOUS 22814 HAS SOUPS 20710 WITH SCORE 20782.082
AT ITER 1460 NEW BEST:: SOT 137223 SOS 72126 HAS SOPS 52112 HAS SOUS 22812 HAS SOUPS 20708 WITH SCORE 20780.126
AT ITER 1474 NEW BEST:: SOT 137245 SOS 72094 HAS SOPS 52080 HAS SOUS 22783 HAS SOUPS 20677 WITH SCORE 20749.094
AT ITER 1476 NEW BEST:: SOT 137243 SOS 72097 HAS SOPS 52077 HAS SOUS 22784 HAS SOUPS 20675 WITH SCORE 20747.097
AT ITER 1498 NEW BEST:: SOT 137714 SOS 72552 HAS SOPS 52500 HAS SOUS 22759 HAS SOUPS 20630 WITH SCORE 20702.552
AT ITER 1502 NEW BEST:: SOT 137710 SOS 72550 HAS SOPS 52512 HAS SOUS 22754 HAS SOUPS 20626 WITH SCORE 20698.55
AT ITER 1511 NEW BEST:: SOT 137591 SOS 72469 HAS SOPS 52366 HAS SOUS 22744 HAS SOUPS 20586 WITH SCORE 20658.469
AT ITER 1518 NEW BEST:: SOT 137570 SOS 72384 HAS SOPS 52281 HAS SOUS 22701 HAS SOUPS 20543 WITH SCORE 20615.384
AT ITER 1523 NEW BEST:: SOT 137542 SOS 72328 HAS SOPS 52225 HAS SOUS 22673 HAS SOUPS 20515 WITH SCORE 20587.328
AT ITER 1553 NEW BEST:: SOT 137470 SOS 72256 HAS SOPS 52153 HAS SOUS 22601 HAS SOUPS 20443 WITH SCORE 20515.256
AT ITER 1560 NEW BEST:: SOT 135967 SOS 71269 HAS SOPS 52134 HAS SOUS 22142 HAS SOUPS 20187 WITH SCORE 20258.269
AT ITER 1571 NEW BEST:: SOT 135948 SOS 71264 HAS SOPS 52129 HAS SOUS 22129 HAS SOUPS 20174 WITH SCORE 20245.264
AT ITER 1578 NEW BEST:: SOT 135956 SOS 71280 HAS SOPS 52129 HAS SOUS 22121 HAS SOUPS 20166 WITH SCORE 20237.28
AT ITER 1579 NEW BEST:: SOT 135687 SOS 72616 HAS SOPS 51979 HAS SOUS 22080 HAS SOUPS 20062 WITH SCORE 20134.616
AT ITER 1584 NEW BEST:: SOT 135671 SOS 72414 HAS SOPS 51777 HAS SOUS 22077 HAS SOUPS 20059 WITH SCORE 20131.414
AT ITER 1592 NEW BEST:: SOT 135667 SOS 72414 HAS SOPS 51777 HAS SOUS 22053 HAS SOUPS 20035 WITH SCORE 20107.414
AT ITER 1601 NEW BEST:: SOT 135349 SOS 72055 HAS SOPS 51420 HAS SOUS 21633 HAS SOUPS 19616 WITH SCORE 19688.055
AT ITER 1606 NEW BEST:: SOT 132022 SOS 75515 HAS SOPS 49663 HAS SOUS 20709 HAS SOUPS 18589 WITH SCORE 18664.515
AT ITER 1620 NEW BEST:: SOT 132018 SOS 75511 HAS SOPS 49659 HAS SOUS 20702 HAS SOUPS 18582 WITH SCORE 18657.511
AT ITER 1624 NEW BEST:: SOT 131958 SOS 75391 HAS SOPS 49536 HAS SOUS 20645 HAS SOUPS 18522 WITH SCORE 18597.391
AT ITER 1634 NEW BEST:: SOT 131943 SOS 75324 HAS SOPS 49469 HAS SOUS 20612 HAS SOUPS 18489 WITH SCORE 18564.324
AT ITER 1636 NEW BEST:: SOT 132010 SOS 75226 HAS SOPS 49371 HAS SOUS 20516 HAS SOUPS 18393 WITH SCORE 18468.226
AT ITER 1641 NEW BEST:: SOT 131958 SOS 75200 HAS SOPS 49345 HAS SOUS 20516 HAS SOUPS 18393 WITH SCORE 18468.2
AT ITER 1643 NEW BEST:: SOT 131960 SOS 75125 HAS SOPS 49293 HAS SOUS 20508 HAS SOUPS 18385 WITH SCORE 18460.125
AT ITER 1645 NEW BEST:: SOT 131674 SOS 74860 HAS SOPS 49023 HAS SOUS 20233 HAS SOUPS 18103 WITH SCORE 18177.86
AT ITER 1656 NEW BEST:: SOT 131707 SOS 74928 HAS SOPS 49319 HAS SOUS 20227 HAS SOUPS 18097 WITH SCORE 18171.928
AT ITER 1657 NEW BEST:: SOT 130659 SOS 74025 HAS SOPS 48720 HAS SOUS 20160 HAS SOUPS 18015 WITH SCORE 18089.025
AT ITER 1661 NEW BEST:: SOT 130681 SOS 73948 HAS SOPS 48687 HAS SOUS 20061 HAS SOUPS 17916 WITH SCORE 17989.948
AT ITER 1681 NEW BEST:: SOT 130651 SOS 73888 HAS SOPS 48657 HAS SOUS 20049 HAS SOUPS 17912 WITH SCORE 17985.888
AT ITER 1683 NEW BEST:: SOT 130641 SOS 73873 HAS SOPS 48647 HAS SOUS 20044 HAS SOUPS 17907 WITH SCORE 17980.873
AT ITER 1687 NEW BEST:: SOT 130502 SOS 73734 HAS SOPS 48508 HAS SOUS 20007 HAS SOUPS 17870 WITH SCORE 17943.734
AT ITER 1700 NEW BEST:: SOT 130498 SOS 73730 HAS SOPS 48504 HAS SOUS 20003 HAS SOUPS 17866 WITH SCORE 17939.73
AT ITER 1706 NEW BEST:: SOT 128346 SOS 73774 HAS SOPS 48344 HAS SOUS 19875 HAS SOUPS 17701 WITH SCORE 17774.774
AT ITER 1730 NEW BEST:: SOT 128213 SOS 73641 HAS SOPS 48151 HAS SOUS 19721 HAS SOUPS 17508 WITH SCORE 17581.641
AT ITER 1739 NEW BEST:: SOT 128181 SOS 73509 HAS SOPS 48019 HAS SOUS 19587 HAS SOUPS 17374 WITH SCORE 17447.509
AT ITER 1752 NEW BEST:: SOT 128151 SOS 73449 HAS SOPS 47959 HAS SOUS 19585 HAS SOUPS 17372 WITH SCORE 17445.449
AT ITER 1758 NEW BEST:: SOT 128127 SOS 73757 HAS SOPS 47935 HAS SOUS 19581 HAS SOUPS 17364 WITH SCORE 17437.757
AT ITER 1759 NEW BEST:: SOT 128310 SOS 73841 HAS SOPS 48019 HAS SOUS 19535 HAS SOUPS 17318 WITH SCORE 17391.841
AT ITER 1781 NEW BEST:: SOT 128310 SOS 73513 HAS SOPS 47691 HAS SOUS 19371 HAS SOUPS 17154 WITH SCORE 17227.513
AT ITER 1782 NEW BEST:: SOT 128266 SOS 73577 HAS SOPS 47683 HAS SOUS 19367 HAS SOUPS 17146 WITH SCORE 17219.577
AT ITER 1823 NEW BEST:: SOT 127889 SOS 73515 HAS SOPS 47646 HAS SOUS 19308 HAS SOUPS 17110 WITH SCORE 17183.515
AT ITER 1833 NEW BEST:: SOT 127907 SOS 73497 HAS SOPS 47628 HAS SOUS 19301 HAS SOUPS 17103 WITH SCORE 17176.497
AT ITER 1836 NEW BEST:: SOT 127964 SOS 73301 HAS SOPS 47432 HAS SOUS 19145 HAS SOUPS 16947 WITH SCORE 17020.301
AT ITER 1844 NEW BEST:: SOT 127981 SOS 73352 HAS SOPS 47461 HAS SOUS 19138 HAS SOUPS 16940 WITH SCORE 17013.352
AT ITER 1847 NEW BEST:: SOT 127980 SOS 73350 HAS SOPS 47459 HAS SOUS 19137 HAS SOUPS 16939 WITH SCORE 17012.35
AT ITER 1854 NEW BEST:: SOT 127859 SOS 73282 HAS SOPS 47391 HAS SOUS 19122 HAS SOUPS 16915 WITH SCORE 16988.282
AT ITER 1861 NEW BEST:: SOT 128104 SOS 73484 HAS SOPS 47601 HAS SOUS 19112 HAS SOUPS 16891 WITH SCORE 16964.484
AT ITER 1870 NEW BEST:: SOT 128164 SOS 73534 HAS SOPS 47630 HAS SOUS 19087 HAS SOUPS 16866 WITH SCORE 16939.534
AT ITER 1880 NEW BEST:: SOT 128160 SOS 73526 HAS SOPS 47622 HAS SOUS 19087 HAS SOUPS 16862 WITH SCORE 16935.526
AT ITER 1901 NEW BEST:: SOT 128097 SOS 73507 HAS SOPS 47564 HAS SOUS 19073 HAS SOUPS 16814 WITH SCORE 16887.507
AT ITER 1902 NEW BEST:: SOT 128097 SOS 73503 HAS SOPS 47536 HAS SOUS 19069 HAS SOUPS 16810 WITH SCORE 16883.503
AT ITER 1911 NEW BEST:: SOT 128097 SOS 73491 HAS SOPS 47524 HAS SOUS 19061 HAS SOUPS 16802 WITH SCORE 16875.491
AT ITER 1912 NEW BEST:: SOT 128073 SOS 73478 HAS SOPS 47511 HAS SOUS 18864 HAS SOUPS 16605 WITH SCORE 16678.478
AT ITER 1913 NEW BEST:: SOT 128103 SOS 73490 HAS SOPS 47523 HAS SOUS 18846 HAS SOUPS 16587 WITH SCORE 16660.49
AT ITER 1917 NEW BEST:: SOT 127890 SOS 73325 HAS SOPS 47329 HAS SOUS 18816 HAS SOUPS 16557 WITH SCORE 16630.325
AT ITER 1919 NEW BEST:: SOT 127718 SOS 73253 HAS SOPS 47257 HAS SOUS 18805 HAS SOUPS 16546 WITH SCORE 16619.253
AT ITER 1940 NEW BEST:: SOT 127708 SOS 73245 HAS SOPS 47249 HAS SOUS 18799 HAS SOUPS 16540 WITH SCORE 16613.245
AT ITER 1941 NEW BEST:: SOT 127692 SOS 73221 HAS SOPS 47177 HAS SOUS 18767 HAS SOUPS 16508 WITH SCORE 16581.221
AT ITER 1952 NEW BEST:: SOT 127749 SOS 73153 HAS SOPS 47106 HAS SOUS 18722 HAS SOUPS 16451 WITH SCORE 16524.153
AT ITER 1954 NEW BEST:: SOT 127773 SOS 73015 HAS SOPS 46968 HAS SOUS 18622 HAS SOUPS 16351 WITH SCORE 16424.015
AT ITER 1956 NEW BEST:: SOT 127900 SOS 73147 HAS SOPS 47085 HAS SOUS 18584 HAS SOUPS 16308 WITH SCORE 16381.147
AT ITER 1973 NEW BEST:: SOT 127876 SOS 74348 HAS SOPS 47080 HAS SOUS 18597 HAS SOUPS 16305 WITH SCORE 16379.348
AT ITER 1977 NEW BEST:: SOT 127876 SOS 74347 HAS SOPS 47067 HAS SOUS 18595 HAS SOUPS 16303 WITH SCORE 16377.347
AT ITER 1979 NEW BEST:: SOT 127900 SOS 74240 HAS SOPS 46892 HAS SOUS 18527 HAS SOUPS 16235 WITH SCORE 16309.24
AT ITER 1990 NEW BEST:: SOT 127918 SOS 74136 HAS SOPS 46836 HAS SOUS 18365 HAS SOUPS 16127 WITH SCORE 16201.136
AT ITER 1993 NEW BEST:: SOT 127876 SOS 74020 HAS SOPS 46930 HAS SOUS 18240 HAS SOUPS 16042 WITH SCORE 16116.02
AT ITER 1996 NEW BEST:: SOT 127867 SOS 74016 HAS SOPS 46926 HAS SOUS 18236 HAS SOUPS 16038 WITH SCORE 16112.016
AT ITER 2001 NEW BEST:: SOT 127708 SOS 74014 HAS SOPS 47118 HAS SOUS 18098 HAS SOUPS 15921 WITH SCORE 15995.014
AT ITER 2011 NEW BEST:: SOT 127186 SOS 73370 HAS SOPS 46541 HAS SOUS 18022 HAS SOUPS 15845 WITH SCORE 15918.37
AT ITER 2012 NEW BEST:: SOT 127164 SOS 73350 HAS SOPS 46521 HAS SOUS 18028 HAS SOUPS 15839 WITH SCORE 15912.35
AT ITER 2028 NEW BEST:: SOT 127267 SOS 73455 HAS SOPS 46622 HAS SOUS 18025 HAS SOUPS 15836 WITH SCORE 15909.455
AT ITER 2029 NEW BEST:: SOT 127247 SOS 73479 HAS SOPS 46646 HAS SOUS 18007 HAS SOUPS 15818 WITH SCORE 15891.479
AT ITER 2037 NEW BEST:: SOT 127227 SOS 73487 HAS SOPS 46661 HAS SOUS 17998 HAS SOUPS 15809 WITH SCORE 15882.487
AT ITER 2042 NEW BEST:: SOT 127478 SOS 73229 HAS SOPS 46661 HAS SOUS 17979 HAS SOUPS 15809 WITH SCORE 15882.229
AT ITER 2044 NEW BEST:: SOT 127439 SOS 73195 HAS SOPS 46627 HAS SOUS 17970 HAS SOUPS 15800 WITH SCORE 15873.195
AT ITER 2048 NEW BEST:: SOT 127432 SOS 73188 HAS SOPS 46627 HAS SOUS 17942 HAS SOUPS 15775 WITH SCORE 15848.188
AT ITER 2053 NEW BEST:: SOT 127429 SOS 73198 HAS SOPS 46622 HAS SOUS 17939 HAS SOUPS 15770 WITH SCORE 15843.198
AT ITER 2062 NEW BEST:: SOT 127451 SOS 73242 HAS SOPS 46666 HAS SOUS 17933 HAS SOUPS 15764 WITH SCORE 15837.242
AT ITER 2068 NEW BEST:: SOT 127328 SOS 73083 HAS SOPS 46476 HAS SOUS 17873 HAS SOUPS 15704 WITH SCORE 15777.083
AT ITER 2081 NEW BEST:: SOT 127211 SOS 73066 HAS SOPS 46424 HAS SOUS 17868 HAS SOUPS 15686 WITH SCORE 15759.066
AT ITER 2101 NEW BEST:: SOT 127199 SOS 73062 HAS SOPS 46420 HAS SOUS 17868 HAS SOUPS 15686 WITH SCORE 15759.062
AT ITER 2107 NEW BEST:: SOT 127147 SOS 72964 HAS SOPS 46314 HAS SOUS 17836 HAS SOUPS 15640 WITH SCORE 15712.964
AT ITER 2144 NEW BEST:: SOT 127666 SOS 73504 HAS SOPS 46875 HAS SOUS 17830 HAS SOUPS 15634 WITH SCORE 15707.504
AT ITER 2156 NEW BEST:: SOT 127967 SOS 73543 HAS SOPS 46971 HAS SOUS 17793 HAS SOUPS 15597 WITH SCORE 15670.543
AT ITER 2180 NEW BEST:: SOT 127926 SOS 73439 HAS SOPS 46700 HAS SOUS 17731 HAS SOUPS 15525 WITH SCORE 15598.439
AT ITER 2188 NEW BEST:: SOT 127904 SOS 73340 HAS SOPS 46678 HAS SOUS 17720 HAS SOUPS 15514 WITH SCORE 15587.34
AT ITER 2200 NEW BEST:: SOT 127853 SOS 73331 HAS SOPS 46678 HAS SOUS 17694 HAS SOUPS 15488 WITH SCORE 15561.331
AT ITER 2205 NEW BEST:: SOT 127913 SOS 73394 HAS SOPS 46747 HAS SOUS 17685 HAS SOUPS 15479 WITH SCORE 15552.394
AT ITER 2208 NEW BEST:: SOT 128002 SOS 73378 HAS SOPS 46667 HAS SOUS 17574 HAS SOUPS 15385 WITH SCORE 15458.378
AT ITER 2216 NEW BEST:: SOT 127691 SOS 73072 HAS SOPS 46391 HAS SOUS 17549 HAS SOUPS 15360 WITH SCORE 15433.072
AT ITER 2222 NEW BEST:: SOT 127296 SOS 72817 HAS SOPS 46288 HAS SOUS 17470 HAS SOUPS 15251 WITH SCORE 15323.817
AT ITER 2224 NEW BEST:: SOT 127299 SOS 72815 HAS SOPS 46294 HAS SOUS 17423 HAS SOUPS 15209 WITH SCORE 15281.815
AT ITER 2236 NEW BEST:: SOT 127295 SOS 72803 HAS SOPS 46260 HAS SOUS 17403 HAS SOUPS 15189 WITH SCORE 15261.803
AT ITER 2237 NEW BEST:: SOT 127021 SOS 72552 HAS SOPS 45987 HAS SOUS 17404 HAS SOUPS 15181 WITH SCORE 15253.552
AT ITER 2257 NEW BEST:: SOT 126992 SOS 72523 HAS SOPS 45929 HAS SOUS 17375 HAS SOUPS 15152 WITH SCORE 15224.523
AT ITER 2272 NEW BEST:: SOT 126977 SOS 72505 HAS SOPS 45899 HAS SOUS 17389 HAS SOUPS 15147 WITH SCORE 15219.505
AT ITER 2281 NEW BEST:: SOT 126928 SOS 72456 HAS SOPS 45845 HAS SOUS 17333 HAS SOUPS 15093 WITH SCORE 15165.456
AT ITER 2282 NEW BEST:: SOT 126858 SOS 72372 HAS SOPS 45761 HAS SOUS 17291 HAS SOUPS 15051 WITH SCORE 15123.372
AT ITER 2295 NEW BEST:: SOT 126979 SOS 72330 HAS SOPS 45830 HAS SOUS 17245 HAS SOUPS 15046 WITH SCORE 15118.33
AT ITER 2300 NEW BEST:: SOT 126969 SOS 72300 HAS SOPS 45810 HAS SOUS 17245 HAS SOUPS 15036 WITH SCORE 15108.3
AT ITER 2304 NEW BEST:: SOT 126937 SOS 72281 HAS SOPS 45800 HAS SOUS 17263 HAS SOUPS 15036 WITH SCORE 15108.281
AT ITER 2311 NEW BEST:: SOT 126874 SOS 72257 HAS SOPS 45752 HAS SOUS 17254 HAS SOUPS 15027 WITH SCORE 15099.257
AT ITER 2313 NEW BEST:: SOT 126885 SOS 72252 HAS SOPS 45834 HAS SOUS 17231 HAS SOUPS 15013 WITH SCORE 15085.252
AT ITER 2323 NEW BEST:: SOT 126903 SOS 72288 HAS SOPS 45856 HAS SOUS 17221 HAS SOUPS 15003 WITH SCORE 15075.288
AT ITER 2329 NEW BEST:: SOT 126866 SOS 72292 HAS SOPS 45860 HAS SOUS 17231 HAS SOUPS 15000 WITH SCORE 15072.292
AT ITER 2340 NEW BEST:: SOT 126913 SOS 72229 HAS SOPS 45849 HAS SOUS 17192 HAS SOUPS 14986 WITH SCORE 15058.229
AT ITER 2346 NEW BEST:: SOT 126913 SOS 71993 HAS SOPS 45708 HAS SOUS 17146 HAS SOUPS 14940 WITH SCORE 15011.993
AT ITER 2349 NEW BEST:: SOT 126860 SOS 71941 HAS SOPS 45644 HAS SOUS 17118 HAS SOUPS 14912 WITH SCORE 14983.941
AT ITER 2359 NEW BEST:: SOT 126852 SOS 71935 HAS SOPS 45638 HAS SOUS 17111 HAS SOUPS 14905 WITH SCORE 14976.935
AT ITER 2393 NEW BEST:: SOT 126853 SOS 71925 HAS SOPS 45618 HAS SOUS 17091 HAS SOUPS 14885 WITH SCORE 14956.925
AT ITER 2395 NEW BEST:: SOT 126860 SOS 71900 HAS SOPS 45600 HAS SOUS 17073 HAS SOUPS 14867 WITH SCORE 14938.9
AT ITER 2401 NEW BEST:: SOT 126857 SOS 71897 HAS SOPS 45596 HAS SOUS 17070 HAS SOUPS 14864 WITH SCORE 14935.897
AT ITER 2409 NEW BEST:: SOT 126875 SOS 71933 HAS SOPS 45614 HAS SOUS 17052 HAS SOUPS 14846 WITH SCORE 14917.933
AT ITER 2410 NEW BEST:: SOT 126840 SOS 71918 HAS SOPS 45599 HAS SOUS 17070 HAS SOUPS 14846 WITH SCORE 14917.918
AT ITER 2411 NEW BEST:: SOT 126891 SOS 71986 HAS SOPS 45684 HAS SOUS 17002 HAS SOUPS 14795 WITH SCORE 14866.986
AT ITER 2415 NEW BEST:: SOT 126873 SOS 71962 HAS SOPS 45666 HAS SOUS 16972 HAS SOUPS 14771 WITH SCORE 14842.962
AT ITER 2421 NEW BEST:: SOT 126813 SOS 72006 HAS SOPS 45658 HAS SOUS 16968 HAS SOUPS 14763 WITH SCORE 14835.006
AT ITER 2426 NEW BEST:: SOT 126808 SOS 72001 HAS SOPS 45653 HAS SOUS 16938 HAS SOUPS 14733 WITH SCORE 14805.001
AT ITER 2452 NEW BEST:: SOT 126786 SOS 71964 HAS SOPS 45616 HAS SOUS 16906 HAS SOUPS 14701 WITH SCORE 14772.964
AT ITER 2486 NEW BEST:: SOT 126423 SOS 72358 HAS SOPS 45682 HAS SOUS 16923 HAS SOUPS 14699 WITH SCORE 14771.358
AT ITER 2487 NEW BEST:: SOT 126391 SOS 72326 HAS SOPS 45650 HAS SOUS 16899 HAS SOUPS 14675 WITH SCORE 14747.326
AT ITER 2490 NEW BEST:: SOT 126377 SOS 72308 HAS SOPS 45638 HAS SOUS 16881 HAS SOUPS 14659 WITH SCORE 14731.308
AT ITER 2493 NEW BEST:: SOT 126353 SOS 72292 HAS SOPS 45622 HAS SOUS 16873 HAS SOUPS 14651 WITH SCORE 14723.292
AT ITER 2502 NEW BEST:: SOT 126690 SOS 72605 HAS SOPS 45912 HAS SOUS 16857 HAS SOUPS 14635 WITH SCORE 14707.605
AT ITER 2505 NEW BEST:: SOT 126688 SOS 72601 HAS SOPS 45910 HAS SOUS 16856 HAS SOUPS 14634 WITH SCORE 14706.601
AT ITER 2521 NEW BEST:: SOT 126642 SOS 72523 HAS SOPS 45834 HAS SOUS 16786 HAS SOUPS 14564 WITH SCORE 14636.523
AT ITER 2524 NEW BEST:: SOT 126635 SOS 72425 HAS SOPS 45747 HAS SOUS 16721 HAS SOUPS 14499 WITH SCORE 14571.425
AT ITER 2526 NEW BEST:: SOT 126658 SOS 72446 HAS SOPS 45768 HAS SOUS 16708 HAS SOUPS 14486 WITH SCORE 14558.446
AT ITER 2537 NEW BEST:: SOT 126856 SOS 72104 HAS SOPS 45768 HAS SOUS 16672 HAS SOUPS 14486 WITH SCORE 14558.104
AT ITER 2546 NEW BEST:: SOT 126856 SOS 72071 HAS SOPS 45746 HAS SOUS 16661 HAS SOUPS 14475 WITH SCORE 14547.071
AT ITER 2561 NEW BEST:: SOT 126789 SOS 71978 HAS SOPS 45679 HAS SOUS 16594 HAS SOUPS 14408 WITH SCORE 14479.978
AT ITER 2564 NEW BEST:: SOT 126783 SOS 71972 HAS SOPS 45679 HAS SOUS 16594 HAS SOUPS 14408 WITH SCORE 14479.972
AT ITER 2565 NEW BEST:: SOT 126776 SOS 71995 HAS SOPS 45702 HAS SOUS 16584 HAS SOUPS 14398 WITH SCORE 14469.995
AT ITER 2589 NEW BEST:: SOT 126820 SOS 72011 HAS SOPS 45718 HAS SOUS 16548 HAS SOUPS 14362 WITH SCORE 14434.011
AT ITER 2605 NEW BEST:: SOT 126825 SOS 71993 HAS SOPS 45686 HAS SOUS 16525 HAS SOUPS 14346 WITH SCORE 14417.993
AT ITER 2611 NEW BEST:: SOT 126765 SOS 71126 HAS SOPS 43829 HAS SOUS 16541 HAS SOUPS 14277 WITH SCORE 14348.126
AT ITER 2618 NEW BEST:: SOT 126468 SOS 70829 HAS SOPS 43565 HAS SOUS 16500 HAS SOUPS 14236 WITH SCORE 14306.829
AT ITER 2619 NEW BEST:: SOT 126492 SOS 70713 HAS SOPS 43468 HAS SOUS 16477 HAS SOUPS 14213 WITH SCORE 14283.713
AT ITER 2625 NEW BEST:: SOT 126480 SOS 70693 HAS SOPS 43448 HAS SOUS 16465 HAS SOUPS 14201 WITH SCORE 14271.693
AT ITER 2640 NEW BEST:: SOT 126453 SOS 70672 HAS SOPS 43424 HAS SOUS 16456 HAS SOUPS 14192 WITH SCORE 14262.672
AT ITER 2643 NEW BEST:: SOT 126543 SOS 70682 HAS SOPS 43434 HAS SOUS 16436 HAS SOUPS 14172 WITH SCORE 14242.682
AT ITER 2653 NEW BEST:: SOT 126543 SOS 69772 HAS SOPS 41321 HAS SOUS 16433 HAS SOUPS 14059 WITH SCORE 14128.772
AT ITER 2661 NEW BEST:: SOT 126543 SOS 69646 HAS SOPS 41321 HAS SOUS 16419 HAS SOUPS 14059 WITH SCORE 14128.646
AT ITER 2669 NEW BEST:: SOT 126536 SOS 69639 HAS SOPS 41317 HAS SOUS 16415 HAS SOUPS 14055 WITH SCORE 14124.639
AT ITER 2674 NEW BEST:: SOT 126470 SOS 69617 HAS SOPS 41295 HAS SOUS 16377 HAS SOUPS 14017 WITH SCORE 14086.617
AT ITER 2680 NEW BEST:: SOT 126424 SOS 69591 HAS SOPS 41269 HAS SOUS 16371 HAS SOUPS 14011 WITH SCORE 14080.591
AT ITER 2683 NEW BEST:: SOT 126354 SOS 69683 HAS SOPS 41361 HAS SOUS 16367 HAS SOUPS 14007 WITH SCORE 14076.683
AT ITER 2698 NEW BEST:: SOT 126369 SOS 69688 HAS SOPS 41341 HAS SOUS 16317 HAS SOUPS 13982 WITH SCORE 14051.688
AT ITER 2701 NEW BEST:: SOT 126361 SOS 69682 HAS SOPS 41335 HAS SOUS 16315 HAS SOUPS 13980 WITH SCORE 14049.682
AT ITER 2760 NEW BEST:: SOT 126387 SOS 69522 HAS SOPS 41207 HAS SOUS 16256 HAS SOUPS 13921 WITH SCORE 13990.522
AT ITER 2775 NEW BEST:: SOT 126138 SOS 69776 HAS SOPS 41169 HAS SOUS 16238 HAS SOUPS 13883 WITH SCORE 13952.776
AT ITER 2802 NEW BEST:: SOT 126138 SOS 69792 HAS SOPS 41139 HAS SOUS 16208 HAS SOUPS 13853 WITH SCORE 13922.792
AT ITER 2814 NEW BEST:: SOT 126140 SOS 69821 HAS SOPS 41133 HAS SOUS 16209 HAS SOUPS 13849 WITH SCORE 13918.821
AT ITER 2829 NEW BEST:: SOT 126137 SOS 69803 HAS SOPS 41115 HAS SOUS 16206 HAS SOUPS 13843 WITH SCORE 13912.803
AT ITER 2854 NEW BEST:: SOT 126136 SOS 69732 HAS SOPS 41081 HAS SOUS 16182 HAS SOUPS 13819 WITH SCORE 13888.732
AT ITER 2865 NEW BEST:: SOT 126143 SOS 69724 HAS SOPS 41073 HAS SOUS 16135 HAS SOUPS 13772 WITH SCORE 13841.724
AT ITER 2870 NEW BEST:: SOT 126115 SOS 69744 HAS SOPS 41055 HAS SOUS 16133 HAS SOUPS 13766 WITH SCORE 13835.744
AT ITER 2894 NEW BEST:: SOT 126100 SOS 69738 HAS SOPS 41043 HAS SOUS 16121 HAS SOUPS 13754 WITH SCORE 13823.738
AT ITER 2903 NEW BEST:: SOT 126085 SOS 69777 HAS SOPS 41082 HAS SOUS 16106 HAS SOUPS 13739 WITH SCORE 13808.777
AT ITER 2911 NEW BEST:: SOT 126037 SOS 69723 HAS SOPS 41025 HAS SOUS 16085 HAS SOUPS 13718 WITH SCORE 13787.723
AT ITER 2928 NEW BEST:: SOT 125905 SOS 69591 HAS SOPS 41015 HAS SOUS 16075 HAS SOUPS 13708 WITH SCORE 13777.591
AT ITER 2930 NEW BEST:: SOT 125759 SOS 69923 HAS SOPS 40823 HAS SOUS 16090 HAS SOUPS 13695 WITH SCORE 13764.923
AT ITER 2932 NEW BEST:: SOT 125732 SOS 69869 HAS SOPS 40755 HAS SOUS 16037 HAS SOUPS 13642 WITH SCORE 13711.869
AT ITER 2938 NEW BEST:: SOT 125736 SOS 69871 HAS SOPS 40755 HAS SOUS 16025 HAS SOUPS 13628 WITH SCORE 13697.871
AT ITER 2948 NEW BEST:: SOT 125692 SOS 69805 HAS SOPS 40674 HAS SOUS 15941 HAS SOUPS 13544 WITH SCORE 13613.805
AT ITER 2954 NEW BEST:: SOT 125681 SOS 69791 HAS SOPS 40655 HAS SOUS 15922 HAS SOUPS 13525 WITH SCORE 13594.791
AT ITER 3001 NEW BEST:: SOT 125585 SOS 69703 HAS SOPS 40556 HAS SOUS 15886 HAS SOUPS 13489 WITH SCORE 13558.703
AT ITER 3025 NEW BEST:: SOT 125571 SOS 69687 HAS SOPS 40544 HAS SOUS 15883 HAS SOUPS 13486 WITH SCORE 13555.687
AT ITER 3057 NEW BEST:: SOT 125525 SOS 69569 HAS SOPS 40426 HAS SOUS 15777 HAS SOUPS 13380 WITH SCORE 13449.569
AT ITER 3069 NEW BEST:: SOT 125388 SOS 69487 HAS SOPS 40344 HAS SOUS 15668 HAS SOUPS 13271 WITH SCORE 13340.487
AT ITER 3096 NEW BEST:: SOT 125394 SOS 69487 HAS SOPS 40344 HAS SOUS 15662 HAS SOUPS 13265 WITH SCORE 13334.487
AT ITER 3113 NEW BEST:: SOT 125530 SOS 69606 HAS SOPS 40446 HAS SOUS 15644 HAS SOUPS 13264 WITH SCORE 13333.606
AT ITER 3122 NEW BEST:: SOT 125416 SOS 69433 HAS SOPS 40280 HAS SOUS 15649 HAS SOUPS 13264 WITH SCORE 13333.433
AT ITER 3138 NEW BEST:: SOT 125399 SOS 69416 HAS SOPS 40375 HAS SOUS 15607 HAS SOUPS 13245 WITH SCORE 13314.416
AT ITER 3143 NEW BEST:: SOT 125381 SOS 69494 HAS SOPS 40371 HAS SOUS 15607 HAS SOUPS 13243 WITH SCORE 13312.494
AT ITER 3157 NEW BEST:: SOT 125342 SOS 69470 HAS SOPS 40333 HAS SOUS 15575 HAS SOUPS 13211 WITH SCORE 13280.47
AT ITER 3159 NEW BEST:: SOT 125258 SOS 69381 HAS SOPS 40244 HAS SOUS 15570 HAS SOUPS 13206 WITH SCORE 13275.381
AT ITER 3160 NEW BEST:: SOT 125246 SOS 68811 HAS SOPS 38649 HAS SOUS 15567 HAS SOUPS 13110 WITH SCORE 13178.811
AT ITER 3190 NEW BEST:: SOT 125266 SOS 68827 HAS SOPS 38665 HAS SOUS 15559 HAS SOUPS 13102 WITH SCORE 13170.827
AT ITER 3193 NEW BEST:: SOT 124996 SOS 69161 HAS SOPS 38665 HAS SOUS 15576 HAS SOUPS 13099 WITH SCORE 13168.161
AT ITER 3196 NEW BEST:: SOT 125034 SOS 69155 HAS SOPS 38621 HAS SOUS 15471 HAS SOUPS 12994 WITH SCORE 13063.155
AT ITER 3210 NEW BEST:: SOT 124954 SOS 69040 HAS SOPS 38524 HAS SOUS 15392 HAS SOUPS 12915 WITH SCORE 12984.04
AT ITER 3218 NEW BEST:: SOT 124953 SOS 69046 HAS SOPS 38506 HAS SOUS 15393 HAS SOUPS 12914 WITH SCORE 12983.046
AT ITER 3224 NEW BEST:: SOT 125128 SOS 69216 HAS SOPS 38656 HAS SOUS 15298 HAS SOUPS 12824 WITH SCORE 12893.216
AT ITER 3244 NEW BEST:: SOT 125160 SOS 69217 HAS SOPS 38678 HAS SOUS 15295 HAS SOUPS 12821 WITH SCORE 12890.217
AT ITER 3257 NEW BEST:: SOT 125134 SOS 69191 HAS SOPS 38626 HAS SOUS 15227 HAS SOUPS 12769 WITH SCORE 12838.191
AT ITER 3259 NEW BEST:: SOT 124996 SOS 69157 HAS SOPS 38618 HAS SOUS 15222 HAS SOUPS 12764 WITH SCORE 12833.157
AT ITER 3270 NEW BEST:: SOT 124995 SOS 69138 HAS SOPS 38598 HAS SOUS 15202 HAS SOUPS 12744 WITH SCORE 12813.138
AT ITER 3271 NEW BEST:: SOT 124993 SOS 69136 HAS SOPS 38596 HAS SOUS 15201 HAS SOUPS 12743 WITH SCORE 12812.136
AT ITER 3273 NEW BEST:: SOT 124994 SOS 69134 HAS SOPS 38593 HAS SOUS 15200 HAS SOUPS 12742 WITH SCORE 12811.134
AT ITER 3274 NEW BEST:: SOT 124961 SOS 69104 HAS SOPS 38558 HAS SOUS 15197 HAS SOUPS 12728 WITH SCORE 12797.104
AT ITER 3287 NEW BEST:: SOT 124853 SOS 69078 HAS SOPS 38557 HAS SOUS 15178 HAS SOUPS 12719 WITH SCORE 12788.078
AT ITER 3318 NEW BEST:: SOT 124819 SOS 69036 HAS SOPS 38490 HAS SOUS 15100 HAS SOUPS 12641 WITH SCORE 12710.036
AT ITER 3361 NEW BEST:: SOT 124700 SOS 68933 HAS SOPS 38367 HAS SOUS 15094 HAS SOUPS 12635 WITH SCORE 12703.933
AT ITER 3379 NEW BEST:: SOT 124678 SOS 68919 HAS SOPS 38359 HAS SOUS 15094 HAS SOUPS 12635 WITH SCORE 12703.919
AT ITER 3394 NEW BEST:: SOT 124681 SOS 68916 HAS SOPS 38356 HAS SOUS 15091 HAS SOUPS 12632 WITH SCORE 12700.916
AT ITER 3398 NEW BEST:: SOT 124568 SOS 68940 HAS SOPS 38340 HAS SOUS 15078 HAS SOUPS 12617 WITH SCORE 12685.94
AT ITER 3401 NEW BEST:: SOT 124843 SOS 68937 HAS SOPS 38335 HAS SOUS 15075 HAS SOUPS 12611 WITH SCORE 12679.937
AT ITER 3406 NEW BEST:: SOT 124806 SOS 68899 HAS SOPS 38285 HAS SOUS 15037 HAS SOUPS 12573 WITH SCORE 12641.899
AT ITER 3415 NEW BEST:: SOT 124827 SOS 68941 HAS SOPS 38327 HAS SOUS 15032 HAS SOUPS 12568 WITH SCORE 12636.941
AT ITER 3419 NEW BEST:: SOT 124840 SOS 68808 HAS SOPS 38327 HAS SOUS 15035 HAS SOUPS 12568 WITH SCORE 12636.808
AT ITER 3510 NEW BEST:: SOT 124964 SOS 68924 HAS SOPS 38412 HAS SOUS 15025 HAS SOUPS 12558 WITH SCORE 12626.924
AT ITER 3513 NEW BEST:: SOT 124952 SOS 68888 HAS SOPS 38376 HAS SOUS 15001 HAS SOUPS 12534 WITH SCORE 12602.888
AT ITER 3514 NEW BEST:: SOT 124892 SOS 68823 HAS SOPS 38276 HAS SOUS 14981 HAS SOUPS 12494 WITH SCORE 12562.823
AT ITER 3518 NEW BEST:: SOT 124896 SOS 68821 HAS SOPS 38274 HAS SOUS 14978 HAS SOUPS 12491 WITH SCORE 12559.821
AT ITER 3534 NEW BEST:: SOT 124864 SOS 68801 HAS SOPS 38247 HAS SOUS 14926 HAS SOUPS 12439 WITH SCORE 12507.801
AT ITER 3542 NEW BEST:: SOT 124919 SOS 68514 HAS SOPS 38247 HAS SOUS 14911 HAS SOUPS 12439 WITH SCORE 12507.514
AT ITER 3548 NEW BEST:: SOT 124917 SOS 68510 HAS SOPS 38249 HAS SOUS 14893 HAS SOUPS 12427 WITH SCORE 12495.51
AT ITER 3620 NEW BEST:: SOT 124925 SOS 68414 HAS SOPS 38169 HAS SOUS 14893 HAS SOUPS 12427 WITH SCORE 12495.414
AT ITER 3622 NEW BEST:: SOT 124929 SOS 68310 HAS SOPS 38047 HAS SOUS 14867 HAS SOUPS 12401 WITH SCORE 12469.31
AT ITER 3627 NEW BEST:: SOT 125012 SOS 68150 HAS SOPS 37887 HAS SOUS 14817 HAS SOUPS 12351 WITH SCORE 12419.15
AT ITER 3640 NEW BEST:: SOT 125005 SOS 68136 HAS SOPS 37885 HAS SOUS 14830 HAS SOUPS 12342 WITH SCORE 12410.136
AT ITER 3643 NEW BEST:: SOT 124996 SOS 68133 HAS SOPS 37891 HAS SOUS 14825 HAS SOUPS 12340 WITH SCORE 12408.133
AT ITER 3659 NEW BEST:: SOT 124975 SOS 68112 HAS SOPS 37849 HAS SOUS 14783 HAS SOUPS 12298 WITH SCORE 12366.112
AT ITER 3662 NEW BEST:: SOT 124944 SOS 68071 HAS SOPS 37724 HAS SOUS 14735 HAS SOUPS 12250 WITH SCORE 12318.071
AT ITER 3685 NEW BEST:: SOT 124971 SOS 68083 HAS SOPS 37748 HAS SOUS 14729 HAS SOUPS 12244 WITH SCORE 12312.083
AT ITER 3703 NEW BEST:: SOT 124971 SOS 68083 HAS SOPS 37746 HAS SOUS 14725 HAS SOUPS 12240 WITH SCORE 12308.083
AT ITER 3706 NEW BEST:: SOT 124992 SOS 68105 HAS SOPS 37764 HAS SOUS 14716 HAS SOUPS 12231 WITH SCORE 12299.105
AT ITER 3715 NEW BEST:: SOT 125043 SOS 68103 HAS SOPS 37776 HAS SOUS 14657 HAS SOUPS 12172 WITH SCORE 12240.103
AT ITER 3738 NEW BEST:: SOT 125066 SOS 68125 HAS SOPS 37794 HAS SOUS 14654 HAS SOUPS 12171 WITH SCORE 12239.125
AT ITER 3743 NEW BEST:: SOT 125102 SOS 68149 HAS SOPS 37822 HAS SOUS 14634 HAS SOUPS 12151 WITH SCORE 12219.149
AT ITER 3777 NEW BEST:: SOT 125097 SOS 68135 HAS SOPS 37808 HAS SOUS 14624 HAS SOUPS 12141 WITH SCORE 12209.135
AT ITER 3779 NEW BEST:: SOT 125076 SOS 68102 HAS SOPS 37794 HAS SOUS 14610 HAS SOUPS 12127 WITH SCORE 12195.102
AT ITER 3791 NEW BEST:: SOT 125031 SOS 67977 HAS SOPS 37685 HAS SOUS 14578 HAS SOUPS 12095 WITH SCORE 12162.977
AT ITER 3844 NEW BEST:: SOT 124990 SOS 67946 HAS SOPS 37663 HAS SOUS 14570 HAS SOUPS 12085 WITH SCORE 12152.946
AT ITER 3849 NEW BEST:: SOT 125107 SOS 67836 HAS SOPS 37567 HAS SOUS 14511 HAS SOUPS 12026 WITH SCORE 12093.836
AT ITER 3853 NEW BEST:: SOT 125107 SOS 67836 HAS SOPS 37500 HAS SOUS 14444 HAS SOUPS 11959 WITH SCORE 12026.836
AT ITER 3855 NEW BEST:: SOT 125092 SOS 67820 HAS SOPS 37455 HAS SOUS 14440 HAS SOUPS 11955 WITH SCORE 12022.82
AT ITER 3863 NEW BEST:: SOT 125091 SOS 67828 HAS SOPS 37459 HAS SOUS 14437 HAS SOUPS 11952 WITH SCORE 12019.828
AT ITER 3865 NEW BEST:: SOT 125046 SOS 67768 HAS SOPS 37455 HAS SOUS 14454 HAS SOUPS 11926 WITH SCORE 11993.768
AT ITER 3897 NEW BEST:: SOT 125073 SOS 67759 HAS SOPS 37460 HAS SOUS 14453 HAS SOUPS 11925 WITH SCORE 11992.759
AT ITER 3913 NEW BEST:: SOT 125080 SOS 67741 HAS SOPS 37442 HAS SOUS 14427 HAS SOUPS 11899 WITH SCORE 11966.741
AT ITER 3914 NEW BEST:: SOT 125109 SOS 67755 HAS SOPS 37434 HAS SOUS 14402 HAS SOUPS 11885 WITH SCORE 11952.755
AT ITER 3939 NEW BEST:: SOT 125101 SOS 67719 HAS SOPS 37393 HAS SOUS 14394 HAS SOUPS 11872 WITH SCORE 11939.719
AT ITER 3943 NEW BEST:: SOT 125104 SOS 67722 HAS SOPS 37353 HAS SOUS 14354 HAS SOUPS 11832 WITH SCORE 11899.722
AT ITER 3954 NEW BEST:: SOT 124999 SOS 67644 HAS SOPS 37284 HAS SOUS 14270 HAS SOUPS 11763 WITH SCORE 11830.644
AT ITER 4033 NEW BEST:: SOT 124985 SOS 67632 HAS SOPS 37272 HAS SOUS 14258 HAS SOUPS 11751 WITH SCORE 11818.632
AT ITER 4036 NEW BEST:: SOT 124938 SOS 67596 HAS SOPS 37214 HAS SOUS 14222 HAS SOUPS 11715 WITH SCORE 11782.596
AT ITER 4078 NEW BEST:: SOT 124910 SOS 67575 HAS SOPS 37054 HAS SOUS 14225 HAS SOUPS 11695 WITH SCORE 11762.575
AT ITER 4082 NEW BEST:: SOT 124898 SOS 67559 HAS SOPS 37038 HAS SOUS 14217 HAS SOUPS 11687 WITH SCORE 11754.559
AT ITER 4088 NEW BEST:: SOT 124898 SOS 67559 HAS SOPS 37034 HAS SOUS 14213 HAS SOUPS 11683 WITH SCORE 11750.559
AT ITER 4109 NEW BEST:: SOT 124898 SOS 67557 HAS SOPS 37032 HAS SOUS 14212 HAS SOUPS 11682 WITH SCORE 11749.557
AT ITER 4248 NEW BEST:: SOT 124898 SOS 67557 HAS SOPS 37028 HAS SOUS 14208 HAS SOUPS 11678 WITH SCORE 11745.557
AT ITER 4273 NEW BEST:: SOT 124848 SOS 67537 HAS SOPS 37004 HAS SOUS 14203 HAS SOUPS 11667 WITH SCORE 11734.537
AT ITER 4342 NEW BEST:: SOT 124880 SOS 67549 HAS SOPS 37012 HAS SOUS 14195 HAS SOUPS 11659 WITH SCORE 11726.549
AT ITER 4353 NEW BEST:: SOT 124880 SOS 67549 HAS SOPS 37012 HAS SOUS 14183 HAS SOUPS 11647 WITH SCORE 11714.549
AT ITER 4355 NEW BEST:: SOT 124879 SOS 67543 HAS SOPS 37006 HAS SOUS 14181 HAS SOUPS 11645 WITH SCORE 11712.543
AT ITER 4382 NEW BEST:: SOT 123486 SOS 66701 HAS SOPS 36841 HAS SOUS 14135 HAS SOUPS 11605 WITH SCORE 11671.701
AT ITER 4403 NEW BEST:: SOT 123222 SOS 66727 HAS SOPS 36849 HAS SOUS 14126 HAS SOUPS 11596 WITH SCORE 11662.727
AT ITER 4436 NEW BEST:: SOT 123218 SOS 66696 HAS SOPS 36823 HAS SOUS 14100 HAS SOUPS 11570 WITH SCORE 11636.696
AT ITER 4438 NEW BEST:: SOT 123245 SOS 66721 HAS SOPS 36839 HAS SOUS 14097 HAS SOUPS 11567 WITH SCORE 11633.721
AT ITER 4477 NEW BEST:: SOT 123241 SOS 66717 HAS SOPS 36835 HAS SOUS 14089 HAS SOUPS 11559 WITH SCORE 11625.717
AT ITER 4478 NEW BEST:: SOT 123189 SOS 66613 HAS SOPS 36759 HAS SOUS 14065 HAS SOUPS 11521 WITH SCORE 11587.613
AT ITER 4493 NEW BEST:: SOT 123193 SOS 66630 HAS SOPS 36771 HAS SOUS 14063 HAS SOUPS 11519 WITH SCORE 11585.63
AT ITER 4518 NEW BEST:: SOT 122973 SOS 66389 HAS SOPS 36530 HAS SOUS 14041 HAS SOUPS 11497 WITH SCORE 11563.389
AT ITER 4528 NEW BEST:: SOT 122901 SOS 66269 HAS SOPS 36410 HAS SOUS 13993 HAS SOUPS 11449 WITH SCORE 11515.269
AT ITER 4581 NEW BEST:: SOT 122894 SOS 66235 HAS SOPS 36387 HAS SOUS 13970 HAS SOUPS 11426 WITH SCORE 11492.235
AT ITER 4585 NEW BEST:: SOT 122886 SOS 66195 HAS SOPS 36347 HAS SOUS 13949 HAS SOUPS 11405 WITH SCORE 11471.195
AT ITER 4601 NEW BEST:: SOT 122871 SOS 66183 HAS SOPS 36329 HAS SOUS 13940 HAS SOUPS 11390 WITH SCORE 11456.183
AT ITER 4605 NEW BEST:: SOT 122865 SOS 66179 HAS SOPS 36337 HAS SOUS 13940 HAS SOUPS 11390 WITH SCORE 11456.179
AT ITER 4614 NEW BEST:: SOT 122877 SOS 66179 HAS SOPS 36337 HAS SOUS 13921 HAS SOUPS 11371 WITH SCORE 11437.179
AT ITER 4649 NEW BEST:: SOT 122848 SOS 66153 HAS SOPS 36317 HAS SOUS 13910 HAS SOUPS 11360 WITH SCORE 11426.153
AT ITER 4653 NEW BEST:: SOT 122846 SOS 66149 HAS SOPS 36313 HAS SOUS 13910 HAS SOUPS 11360 WITH SCORE 11426.149
AT ITER 4663 NEW BEST:: SOT 122827 SOS 66136 HAS SOPS 36317 HAS SOUS 13906 HAS SOUPS 11356 WITH SCORE 11422.136
AT ITER 4727 NEW BEST:: SOT 122816 SOS 66159 HAS SOPS 36295 HAS SOUS 13884 HAS SOUPS 11334 WITH SCORE 11400.159
AT ITER 4742 NEW BEST:: SOT 122810 SOS 66153 HAS SOPS 36283 HAS SOUS 13872 HAS SOUPS 11322 WITH SCORE 11388.153
AT ITER 4757 NEW BEST:: SOT 122793 SOS 66126 HAS SOPS 36261 HAS SOUS 13867 HAS SOUPS 11317 WITH SCORE 11383.126
AT ITER 4760 NEW BEST:: SOT 122791 SOS 66110 HAS SOPS 36227 HAS SOUS 13861 HAS SOUPS 11311 WITH SCORE 11377.11
AT ITER 4777 NEW BEST:: SOT 122881 SOS 66069 HAS SOPS 36227 HAS SOUS 13862 HAS SOUPS 11311 WITH SCORE 11377.069
AT ITER 4788 NEW BEST:: SOT 122868 SOS 66055 HAS SOPS 36201 HAS SOUS 13832 HAS SOUPS 11281 WITH SCORE 11347.055
AT ITER 4815 NEW BEST:: SOT 122814 SOS 66001 HAS SOPS 36104 HAS SOUS 13735 HAS SOUPS 11184 WITH SCORE 11250.001
AT ITER 4821 NEW BEST:: SOT 122814 SOS 65995 HAS SOPS 36095 HAS SOUS 13720 HAS SOUPS 11169 WITH SCORE 11234.995
AT ITER 4842 NEW BEST:: SOT 122809 SOS 65988 HAS SOPS 36088 HAS SOUS 13714 HAS SOUPS 11163 WITH SCORE 11228.988
AT ITER 4843 NEW BEST:: SOT 122823 SOS 66989 HAS SOPS 36077 HAS SOUS 13723 HAS SOUPS 11161 WITH SCORE 11227.989
AT ITER 4849 NEW BEST:: SOT 122796 SOS 66963 HAS SOPS 36053 HAS SOUS 13702 HAS SOUPS 11140 WITH SCORE 11206.963
AT ITER 4852 NEW BEST:: SOT 122439 SOS 66731 HAS SOPS 35931 HAS SOUS 13648 HAS SOUPS 11044 WITH SCORE 11110.731
AT ITER 4882 NEW BEST:: SOT 122345 SOS 66784 HAS SOPS 35984 HAS SOUS 13607 HAS SOUPS 11003 WITH SCORE 11069.784
AT ITER 5067 NEW BEST:: SOT 122345 SOS 66785 HAS SOPS 35984 HAS SOUS 13605 HAS SOUPS 11001 WITH SCORE 11067.785
AT ITER 5104 NEW BEST:: SOT 122343 SOS 66783 HAS SOPS 35980 HAS SOUS 13603 HAS SOUPS 10999 WITH SCORE 11065.783
AT ITER 5127 NEW BEST:: SOT 122341 SOS 66781 HAS SOPS 35976 HAS SOUS 13599 HAS SOUPS 10995 WITH SCORE 11061.781
AT ITER 5143 NEW BEST:: SOT 122341 SOS 66756 HAS SOPS 35951 HAS SOUS 13594 HAS SOUPS 10990 WITH SCORE 11056.756
AT ITER 5198 NEW BEST:: SOT 122227 SOS 66648 HAS SOPS 35834 HAS SOUS 13585 HAS SOUPS 10981 WITH SCORE 11047.648
AT ITER 5203 NEW BEST:: SOT 122215 SOS 66660 HAS SOPS 35828 HAS SOUS 13591 HAS SOUPS 10978 WITH SCORE 11044.66
AT ITER 5234 NEW BEST:: SOT 122190 SOS 66625 HAS SOPS 35807 HAS SOUS 13547 HAS SOUPS 10934 WITH SCORE 11000.625
AT ITER 5249 NEW BEST:: SOT 122188 SOS 66623 HAS SOPS 35803 HAS SOUS 13545 HAS SOUPS 10930 WITH SCORE 10996.623
AT ITER 5251 NEW BEST:: SOT 122180 SOS 66852 HAS SOPS 35787 HAS SOUS 13572 HAS SOUPS 10922 WITH SCORE 10988.852
AT ITER 5256 NEW BEST:: SOT 122132 SOS 66817 HAS SOPS 35761 HAS SOUS 13519 HAS SOUPS 10875 WITH SCORE 10941.817
AT ITER 5257 NEW BEST:: SOT 122124 SOS 66809 HAS SOPS 35749 HAS SOUS 13511 HAS SOUPS 10867 WITH SCORE 10933.809
AT ITER 5276 NEW BEST:: SOT 122131 SOS 66786 HAS SOPS 35733 HAS SOUS 13510 HAS SOUPS 10866 WITH SCORE 10932.786
AT ITER 5291 NEW BEST:: SOT 122127 SOS 66783 HAS SOPS 35730 HAS SOUS 13508 HAS SOUPS 10864 WITH SCORE 10930.783
AT ITER 5294 NEW BEST:: SOT 122113 SOS 66769 HAS SOPS 35702 HAS SOUS 13492 HAS SOUPS 10848 WITH SCORE 10914.769
AT ITER 5301 NEW BEST:: SOT 122105 SOS 66697 HAS SOPS 35758 HAS SOUS 13482 HAS SOUPS 10846 WITH SCORE 10912.697
AT ITER 5336 NEW BEST:: SOT 122122 SOS 66671 HAS SOPS 35732 HAS SOUS 13482 HAS SOUPS 10846 WITH SCORE 10912.671
AT ITER 5378 NEW BEST:: SOT 122118 SOS 66667 HAS SOPS 35724 HAS SOUS 13485 HAS SOUPS 10845 WITH SCORE 10911.667
AT ITER 5450 NEW BEST:: SOT 122122 SOS 66663 HAS SOPS 35720 HAS SOUS 13480 HAS SOUPS 10840 WITH SCORE 10906.663
AT ITER 5451 NEW BEST:: SOT 122070 SOS 66619 HAS SOPS 35668 HAS SOUS 13428 HAS SOUPS 10788 WITH SCORE 10854.619
AT ITER 5476 NEW BEST:: SOT 122068 SOS 66618 HAS SOPS 35667 HAS SOUS 13428 HAS SOUPS 10788 WITH SCORE 10854.618
AT ITER 5477 NEW BEST:: SOT 122056 SOS 66606 HAS SOPS 35655 HAS SOUS 13424 HAS SOUPS 10784 WITH SCORE 10850.606
AT ITER 5493 NEW BEST:: SOT 122057 SOS 66604 HAS SOPS 35653 HAS SOUS 13422 HAS SOUPS 10782 WITH SCORE 10848.604
AT ITER 5501 NEW BEST:: SOT 122029 SOS 66537 HAS SOPS 35597 HAS SOUS 13419 HAS SOUPS 10779 WITH SCORE 10845.537
AT ITER 5549 NEW BEST:: SOT 122006 SOS 66050 HAS SOPS 35597 HAS SOUS 13428 HAS SOUPS 10779 WITH SCORE 10845.05
AT ITER 5572 NEW BEST:: SOT 122002 SOS 66050 HAS SOPS 35589 HAS SOUS 13412 HAS SOUPS 10771 WITH SCORE 10837.05
AT ITER 5586 NEW BEST:: SOT 121992 SOS 66035 HAS SOPS 35519 HAS SOUS 13397 HAS SOUPS 10751 WITH SCORE 10817.035
AT ITER 5686 NEW BEST:: SOT 121909 SOS 65955 HAS SOPS 35445 HAS SOUS 13397 HAS SOUPS 10751 WITH SCORE 10816.955
AT ITER 5692 NEW BEST:: SOT 121899 SOS 65931 HAS SOPS 35421 HAS SOUS 13379 HAS SOUPS 10733 WITH SCORE 10798.931
AT ITER 5729 NEW BEST:: SOT 121889 SOS 65903 HAS SOPS 35401 HAS SOUS 13378 HAS SOUPS 10724 WITH SCORE 10789.903
AT ITER 5732 NEW BEST:: SOT 121880 SOS 65912 HAS SOPS 35410 HAS SOUS 13342 HAS SOUPS 10691 WITH SCORE 10756.912
AT ITER 5786 NEW BEST:: SOT 121935 SOS 65924 HAS SOPS 35398 HAS SOUS 13307 HAS SOUPS 10664 WITH SCORE 10729.924
AT ITER 5790 NEW BEST:: SOT 121936 SOS 65917 HAS SOPS 35388 HAS SOUS 13296 HAS SOUPS 10659 WITH SCORE 10724.917
AT ITER 5853 NEW BEST:: SOT 121961 SOS 65853 HAS SOPS 35390 HAS SOUS 13281 HAS SOUPS 10656 WITH SCORE 10721.853
AT ITER 5932 NEW BEST:: SOT 121976 SOS 65871 HAS SOPS 35390 HAS SOUS 13239 HAS SOUPS 10614 WITH SCORE 10679.871
AT ITER 5952 NEW BEST:: SOT 121965 SOS 65849 HAS SOPS 35368 HAS SOUS 13187 HAS SOUPS 10562 WITH SCORE 10627.849
AT ITER 5953 NEW BEST:: SOT 121957 SOS 65841 HAS SOPS 35352 HAS SOUS 13171 HAS SOUPS 10546 WITH SCORE 10611.841
AT ITER 5977 NEW BEST:: SOT 121956 SOS 65838 HAS SOPS 35350 HAS SOUS 13170 HAS SOUPS 10545 WITH SCORE 10610.838
AT ITER 6050 NEW BEST:: SOT 121916 SOS 65763 HAS SOPS 35280 HAS SOUS 13134 HAS SOUPS 10509 WITH SCORE 10574.763
AT ITER 6071 NEW BEST:: SOT 121813 SOS 65701 HAS SOPS 35176 HAS SOUS 13022 HAS SOUPS 10397 WITH SCORE 10462.701
AT ITER 6107 NEW BEST:: SOT 121826 SOS 65680 HAS SOPS 35185 HAS SOUS 13014 HAS SOUPS 10389 WITH SCORE 10454.68
AT ITER 6128 NEW BEST:: SOT 121825 SOS 64746 HAS SOPS 35202 HAS SOUS 12988 HAS SOUPS 10384 WITH SCORE 10448.746
AT ITER 6134 NEW BEST:: SOT 121814 SOS 64739 HAS SOPS 35191 HAS SOUS 12980 HAS SOUPS 10376 WITH SCORE 10440.739
AT ITER 6151 NEW BEST:: SOT 121814 SOS 64739 HAS SOPS 35191 HAS SOUS 12910 HAS SOUPS 10311 WITH SCORE 10375.739
AT ITER 6183 NEW BEST:: SOT 121814 SOS 64740 HAS SOPS 35190 HAS SOUS 12909 HAS SOUPS 10310 WITH SCORE 10374.74
AT ITER 6186 NEW BEST:: SOT 121808 SOS 64732 HAS SOPS 35182 HAS SOUS 12902 HAS SOUPS 10303 WITH SCORE 10367.732
AT ITER 6187 NEW BEST:: SOT 121544 SOS 65218 HAS SOPS 35152 HAS SOUS 12906 HAS SOUPS 10295 WITH SCORE 10360.218
AT ITER 6227 NEW BEST:: SOT 121540 SOS 65226 HAS SOPS 35152 HAS SOUS 12902 HAS SOUPS 10291 WITH SCORE 10356.226
AT ITER 6245 NEW BEST:: SOT 121545 SOS 65231 HAS SOPS 35154 HAS SOUS 12898 HAS SOUPS 10290 WITH SCORE 10355.231
AT ITER 6256 NEW BEST:: SOT 121545 SOS 65231 HAS SOPS 35154 HAS SOUS 12895 HAS SOUPS 10287 WITH SCORE 10352.231
AT ITER 6258 NEW BEST:: SOT 121504 SOS 65140 HAS SOPS 34858 HAS SOUS 12904 HAS SOUPS 10275 WITH SCORE 10340.14
AT ITER 6283 NEW BEST:: SOT 121504 SOS 65098 HAS SOPS 34858 HAS SOUS 12875 HAS SOUPS 10275 WITH SCORE 10340.098
AT ITER 6314 NEW BEST:: SOT 121504 SOS 65104 HAS SOPS 34864 HAS SOUS 12860 HAS SOUPS 10260 WITH SCORE 10325.104
AT ITER 6347 NEW BEST:: SOT 121504 SOS 65116 HAS SOPS 34864 HAS SOUS 12845 HAS SOUPS 10236 WITH SCORE 10301.116
AT ITER 6369 NEW BEST:: SOT 121492 SOS 65108 HAS SOPS 34848 HAS SOUS 12830 HAS SOUPS 10221 WITH SCORE 10286.108
AT ITER 6390 NEW BEST:: SOT 121488 SOS 65088 HAS SOPS 34834 HAS SOUS 12814 HAS SOUPS 10205 WITH SCORE 10270.088
AT ITER 6449 NEW BEST:: SOT 121571 SOS 65013 HAS SOPS 34790 HAS SOUS 12806 HAS SOUPS 10197 WITH SCORE 10262.013
AT ITER 6460 NEW BEST:: SOT 121563 SOS 65005 HAS SOPS 34774 HAS SOUS 12790 HAS SOUPS 10181 WITH SCORE 10246.005
AT ITER 6531 NEW BEST:: SOT 121543 SOS 64985 HAS SOPS 34750 HAS SOUS 12774 HAS SOUPS 10165 WITH SCORE 10229.985
AT ITER 6605 NEW BEST:: SOT 121580 SOS 64961 HAS SOPS 34726 HAS SOUS 12768 HAS SOUPS 10159 WITH SCORE 10223.961
AT ITER 6731 NEW BEST:: SOT 121559 SOS 64917 HAS SOPS 34682 HAS SOUS 12755 HAS SOUPS 10146 WITH SCORE 10210.917
AT ITER 6743 NEW BEST:: SOT 121580 SOS 64938 HAS SOPS 34696 HAS SOUS 12749 HAS SOUPS 10140 WITH SCORE 10204.938
AT ITER 6819 NEW BEST:: SOT 121520 SOS 64911 HAS SOPS 34655 HAS SOUS 12679 HAS SOUPS 10070 WITH SCORE 10134.911
AT ITER 6865 NEW BEST:: SOT 121561 SOS 64925 HAS SOPS 34671 HAS SOUS 12647 HAS SOUPS 10038 WITH SCORE 10102.925
AT ITER 6888 NEW BEST:: SOT 121592 SOS 64951 HAS SOPS 34685 HAS SOUS 12630 HAS SOUPS 10021 WITH SCORE 10085.951
AT ITER 6899 NEW BEST:: SOT 121593 SOS 64953 HAS SOPS 34687 HAS SOUS 12624 HAS SOUPS 10015 WITH SCORE 10079.953
AT ITER 6900 NEW BEST:: SOT 121546 SOS 64921 HAS SOPS 34651 HAS SOUS 12583 HAS SOUPS 9980 WITH SCORE 10044.921
AT ITER 6973 NEW BEST:: SOT 121526 SOS 64901 HAS SOPS 34635 HAS SOUS 12585 HAS SOUPS 9970 WITH SCORE 10034.901
AT ITER 6974 NEW BEST:: SOT 121522 SOS 64897 HAS SOPS 34631 HAS SOUS 12581 HAS SOUPS 9966 WITH SCORE 10030.897
AT ITER 6995 NEW BEST:: SOT 121519 SOS 64893 HAS SOPS 34624 HAS SOUS 12574 HAS SOUPS 9959 WITH SCORE 10023.893
AT ITER 6997 NEW BEST:: SOT 121539 SOS 64893 HAS SOPS 34624 HAS SOUS 12564 HAS SOUPS 9949 WITH SCORE 10013.893
AT ITER 7007 NEW BEST:: SOT 121544 SOS 64897 HAS SOPS 34626 HAS SOUS 12563 HAS SOUPS 9948 WITH SCORE 10012.897
AT ITER 7013 NEW BEST:: SOT 121523 SOS 64883 HAS SOPS 34619 HAS SOUS 12556 HAS SOUPS 9941 WITH SCORE 10005.883
AT ITER 7014 NEW BEST:: SOT 121533 SOS 64353 HAS SOPS 34619 HAS SOUS 12551 HAS SOUPS 9941 WITH SCORE 10005.353
AT ITER 7027 NEW BEST:: SOT 121528 SOS 64412 HAS SOPS 34883 HAS SOUS 12520 HAS SOUPS 9931 WITH SCORE 9995.412
AT ITER 7032 NEW BEST:: SOT 121523 SOS 64408 HAS SOPS 34879 HAS SOUS 12517 HAS SOUPS 9928 WITH SCORE 9992.408
AT ITER 7117 NEW BEST:: SOT 121504 SOS 64389 HAS SOPS 34859 HAS SOUS 12511 HAS SOUPS 9922 WITH SCORE 9986.389
AT ITER 7134 NEW BEST:: SOT 121501 SOS 64383 HAS SOPS 34845 HAS SOUS 12498 HAS SOUPS 9909 WITH SCORE 9973.383
AT ITER 7136 NEW BEST:: SOT 121470 SOS 64347 HAS SOPS 34809 HAS SOUS 12471 HAS SOUPS 9882 WITH SCORE 9946.347
AT ITER 7145 NEW BEST:: SOT 121463 SOS 64337 HAS SOPS 34795 HAS SOUS 12460 HAS SOUPS 9871 WITH SCORE 9935.337
AT ITER 7150 NEW BEST:: SOT 121440 SOS 64314 HAS SOPS 34749 HAS SOUS 12424 HAS SOUPS 9825 WITH SCORE 9889.314
AT ITER 7173 NEW BEST:: SOT 121352 SOS 64248 HAS SOPS 34661 HAS SOUS 12402 HAS SOUPS 9803 WITH SCORE 9867.248
AT ITER 7303 NEW BEST:: SOT 121200 SOS 64134 HAS SOPS 34547 HAS SOUS 12401 HAS SOUPS 9802 WITH SCORE 9866.134
AT ITER 7345 NEW BEST:: SOT 121185 SOS 64123 HAS SOPS 34550 HAS SOUS 12407 HAS SOUPS 9797 WITH SCORE 9861.123
AT ITER 7348 NEW BEST:: SOT 121182 SOS 64119 HAS SOPS 34544 HAS SOUS 12398 HAS SOUPS 9788 WITH SCORE 9852.119
AT ITER 7382 NEW BEST:: SOT 121247 SOS 64139 HAS SOPS 34563 HAS SOUS 12396 HAS SOUPS 9786 WITH SCORE 9850.139
AT ITER 7391 NEW BEST:: SOT 121243 SOS 64173 HAS SOPS 34555 HAS SOUS 12399 HAS SOUPS 9782 WITH SCORE 9846.173
AT ITER 7400 NEW BEST:: SOT 121260 SOS 64173 HAS SOPS 34551 HAS SOUS 12398 HAS SOUPS 9781 WITH SCORE 9845.173
AT ITER 7480 NEW BEST:: SOT 121279 SOS 64093 HAS SOPS 34531 HAS SOUS 12380 HAS SOUPS 9773 WITH SCORE 9837.093
AT ITER 7513 NEW BEST:: SOT 121266 SOS 64081 HAS SOPS 34519 HAS SOUS 12376 HAS SOUPS 9762 WITH SCORE 9826.081
AT ITER 7527 NEW BEST:: SOT 121267 SOS 64067 HAS SOPS 34601 HAS SOUS 12376 HAS SOUPS 9762 WITH SCORE 9826.067
AT ITER 7643 NEW BEST:: SOT 121549 SOS 64343 HAS SOPS 34841 HAS SOUS 12367 HAS SOUPS 9753 WITH SCORE 9817.343
AT ITER 7649 NEW BEST:: SOT 121542 SOS 64318 HAS SOPS 34827 HAS SOUS 12360 HAS SOUPS 9746 WITH SCORE 9810.318
AT ITER 7656 NEW BEST:: SOT 121544 SOS 64316 HAS SOPS 34823 HAS SOUS 12354 HAS SOUPS 9742 WITH SCORE 9806.316
AT ITER 7657 NEW BEST:: SOT 121526 SOS 64291 HAS SOPS 34800 HAS SOUS 12334 HAS SOUPS 9722 WITH SCORE 9786.291
AT ITER 7666 NEW BEST:: SOT 121526 SOS 64261 HAS SOPS 34776 HAS SOUS 12334 HAS SOUPS 9722 WITH SCORE 9786.261
AT ITER 7758 NEW BEST:: SOT 121513 SOS 64260 HAS SOPS 34775 HAS SOUS 12333 HAS SOUPS 9721 WITH SCORE 9785.26
AT ITER 7770 NEW BEST:: SOT 121383 SOS 64130 HAS SOPS 34650 HAS SOUS 12323 HAS SOUPS 9701 WITH SCORE 9765.13
AT ITER 7772 NEW BEST:: SOT 121377 SOS 64118 HAS SOPS 34614 HAS SOUS 12312 HAS SOUPS 9690 WITH SCORE 9754.118
AT ITER 7802 NEW BEST:: SOT 121371 SOS 64112 HAS SOPS 34608 HAS SOUS 12310 HAS SOUPS 9688 WITH SCORE 9752.112
AT ITER 7822 NEW BEST:: SOT 121319 SOS 64062 HAS SOPS 34559 HAS SOUS 12291 HAS SOUPS 9669 WITH SCORE 9733.062
AT ITER 7854 NEW BEST:: SOT 121319 SOS 64061 HAS SOPS 34559 HAS SOUS 12290 HAS SOUPS 9668 WITH SCORE 9732.061
AT ITER 7868 NEW BEST:: SOT 121332 SOS 64070 HAS SOPS 34565 HAS SOUS 12284 HAS SOUPS 9662 WITH SCORE 9726.07
AT ITER 7894 NEW BEST:: SOT 121365 SOS 64103 HAS SOPS 34595 HAS SOUS 12281 HAS SOUPS 9660 WITH SCORE 9724.103
AT ITER 7961 NEW BEST:: SOT 121364 SOS 64102 HAS SOPS 34593 HAS SOUS 12280 HAS SOUPS 9658 WITH SCORE 9722.102
AT ITER 7987 NEW BEST:: SOT 121203 SOS 63941 HAS SOPS 34442 HAS SOUS 12270 HAS SOUPS 9648 WITH SCORE 9711.941
AT ITER 7996 NEW BEST:: SOT 121166 SOS 63737 HAS SOPS 34420 HAS SOUS 12226 HAS SOUPS 9630 WITH SCORE 9693.737
AT ITER 8022 NEW BEST:: SOT 121162 SOS 63731 HAS SOPS 34410 HAS SOUS 12216 HAS SOUPS 9620 WITH SCORE 9683.731
AT ITER 8077 NEW BEST:: SOT 121157 SOS 63726 HAS SOPS 34405 HAS SOUS 12211 HAS SOUPS 9615 WITH SCORE 9678.726
AT ITER 8090 NEW BEST:: SOT 121148 SOS 63722 HAS SOPS 34401 HAS SOUS 12206 HAS SOUPS 9610 WITH SCORE 9673.722
AT ITER 8139 NEW BEST:: SOT 121160 SOS 63734 HAS SOPS 34391 HAS SOUS 12202 HAS SOUPS 9600 WITH SCORE 9663.734
AT ITER 8237 NEW BEST:: SOT 121157 SOS 63878 HAS SOPS 34385 HAS SOUS 12215 HAS SOUPS 9595 WITH SCORE 9658.878
AT ITER 8382 NEW BEST:: SOT 121155 SOS 63876 HAS SOPS 34383 HAS SOUS 12213 HAS SOUPS 9593 WITH SCORE 9656.876
AT ITER 8514 NEW BEST:: SOT 121157 SOS 63872 HAS SOPS 34377 HAS SOUS 12210 HAS SOUPS 9591 WITH SCORE 9654.872
AT ITER 8518 NEW BEST:: SOT 121118 SOS 63837 HAS SOPS 34365 HAS SOUS 12196 HAS SOUPS 9580 WITH SCORE 9643.837
AT ITER 8582 NEW BEST:: SOT 121104 SOS 63825 HAS SOPS 34337 HAS SOUS 12169 HAS SOUPS 9553 WITH SCORE 9616.825
AT ITER 8589 NEW BEST:: SOT 121113 SOS 63774 HAS SOPS 34298 HAS SOUS 12130 HAS SOUPS 9514 WITH SCORE 9577.774
AT ITER 8599 NEW BEST:: SOT 121111 SOS 63770 HAS SOPS 34294 HAS SOUS 12130 HAS SOUPS 9514 WITH SCORE 9577.77
AT ITER 8652 NEW BEST:: SOT 121111 SOS 63770 HAS SOPS 34292 HAS SOUS 12127 HAS SOUPS 9511 WITH SCORE 9574.77
AT ITER 8758 NEW BEST:: SOT 121128 SOS 63732 HAS SOPS 34254 HAS SOUS 12107 HAS SOUPS 9491 WITH SCORE 9554.732
AT ITER 8803 NEW BEST:: SOT 121128 SOS 63708 HAS SOPS 34190 HAS SOUS 12107 HAS SOUPS 9483 WITH SCORE 9546.708
AT ITER 8822 NEW BEST:: SOT 121176 SOS 63743 HAS SOPS 34240 HAS SOUS 12081 HAS SOUPS 9462 WITH SCORE 9525.743
AT ITER 8824 NEW BEST:: SOT 120947 SOS 63500 HAS SOPS 34002 HAS SOUS 12079 HAS SOUPS 9460 WITH SCORE 9523.5
AT ITER 8825 NEW BEST:: SOT 120940 SOS 63495 HAS SOPS 34000 HAS SOUS 12082 HAS SOUPS 9460 WITH SCORE 9523.495
AT ITER 8831 NEW BEST:: SOT 120842 SOS 63397 HAS SOPS 33903 HAS SOUS 12062 HAS SOUPS 9440 WITH SCORE 9503.397
AT ITER 8864 NEW BEST:: SOT 120841 SOS 63390 HAS SOPS 33903 HAS SOUS 12061 HAS SOUPS 9440 WITH SCORE 9503.39
AT ITER 8881 NEW BEST:: SOT 120841 SOS 63385 HAS SOPS 33899 HAS SOUS 12061 HAS SOUPS 9440 WITH SCORE 9503.385
AT ITER 8940 NEW BEST:: SOT 120837 SOS 63393 HAS SOPS 33899 HAS SOUS 12057 HAS SOUPS 9436 WITH SCORE 9499.393
AT ITER 9028 NEW BEST:: SOT 120832 SOS 63383 HAS SOPS 33889 HAS SOUS 12052 HAS SOUPS 9431 WITH SCORE 9494.383
AT ITER 9072 NEW BEST:: SOT 120826 SOS 63377 HAS SOPS 33883 HAS SOUS 12050 HAS SOUPS 9429 WITH SCORE 9492.377
AT ITER 9113 NEW BEST:: SOT 120821 SOS 63372 HAS SOPS 33873 HAS SOUS 12040 HAS SOUPS 9419 WITH SCORE 9482.372
AT ITER 9124 NEW BEST:: SOT 120622 SOS 63292 HAS SOPS 33860 HAS SOUS 12027 HAS SOUPS 9393 WITH SCORE 9456.292
AT ITER 9129 NEW BEST:: SOT 120431 SOS 63155 HAS SOPS 33855 HAS SOUS 11992 HAS SOUPS 9376 WITH SCORE 9439.155
AT ITER 9184 NEW BEST:: SOT 120434 SOS 63149 HAS SOPS 33849 HAS SOUS 11986 HAS SOUPS 9370 WITH SCORE 9433.149
AT ITER 9201 NEW BEST:: SOT 120467 SOS 63149 HAS SOPS 33852 HAS SOUS 11977 HAS SOUPS 9364 WITH SCORE 9427.149
AT ITER 9203 NEW BEST:: SOT 120467 SOS 63147 HAS SOPS 33850 HAS SOUS 11977 HAS SOUPS 9364 WITH SCORE 9427.147
AT ITER 9228 NEW BEST:: SOT 120465 SOS 63275 HAS SOPS 33902 HAS SOUS 11973 HAS SOUPS 9360 WITH SCORE 9423.275
AT ITER 9397 NEW BEST:: SOT 120772 SOS 62754 HAS SOPS 33902 HAS SOUS 11922 HAS SOUPS 9360 WITH SCORE 9422.754
AT ITER 9413 NEW BEST:: SOT 120736 SOS 62718 HAS SOPS 33872 HAS SOUS 11922 HAS SOUPS 9360 WITH SCORE 9422.718
AT ITER 9421 NEW BEST:: SOT 120718 SOS 62554 HAS SOPS 33766 HAS SOUS 11872 HAS SOUPS 9312 WITH SCORE 9374.554
AT ITER 9427 NEW BEST:: SOT 120735 SOS 62571 HAS SOPS 33763 HAS SOUS 11869 HAS SOUPS 9309 WITH SCORE 9371.571
AT ITER 9428 NEW BEST:: SOT 120727 SOS 62561 HAS SOPS 33754 HAS SOUS 11868 HAS SOUPS 9308 WITH SCORE 9370.561
AT ITER 9459 NEW BEST:: SOT 120715 SOS 62549 HAS SOPS 33745 HAS SOUS 11868 HAS SOUPS 9308 WITH SCORE 9370.549
AT ITER 9473 NEW BEST:: SOT 120760 SOS 62568 HAS SOPS 33747 HAS SOUS 11855 HAS SOUPS 9295 WITH SCORE 9357.568
AT ITER 9515 NEW BEST:: SOT 120984 SOS 62503 HAS SOPS 33682 HAS SOUS 11843 HAS SOUPS 9283 WITH SCORE 9345.503
AT ITER 9528 NEW BEST:: SOT 120972 SOS 62499 HAS SOPS 33666 HAS SOUS 11835 HAS SOUPS 9275 WITH SCORE 9337.499
AT ITER 9542 NEW BEST:: SOT 120968 SOS 62497 HAS SOPS 33664 HAS SOUS 11835 HAS SOUPS 9275 WITH SCORE 9337.497
AT ITER 9567 NEW BEST:: SOT 120961 SOS 62492 HAS SOPS 33656 HAS SOUS 11828 HAS SOUPS 9268 WITH SCORE 9330.492
AT ITER 9627 NEW BEST:: SOT 120939 SOS 62470 HAS SOPS 33634 HAS SOUS 11806 HAS SOUPS 9246 WITH SCORE 9308.47
AT ITER 9638 NEW BEST:: SOT 120915 SOS 62452 HAS SOPS 33613 HAS SOUS 11782 HAS SOUPS 9222 WITH SCORE 9284.452
AT ITER 9702 NEW BEST:: SOT 120912 SOS 62445 HAS SOPS 33607 HAS SOUS 11776 HAS SOUPS 9216 WITH SCORE 9278.445
AT ITER 9718 NEW BEST:: SOT 120917 SOS 62515 HAS SOPS 33677 HAS SOUS 11721 HAS SOUPS 9161 WITH SCORE 9223.515
AT ITER 9740 NEW BEST:: SOT 120907 SOS 62505 HAS SOPS 33669 HAS SOUS 11717 HAS SOUPS 9159 WITH SCORE 9221.505
AT ITER 9769 NEW BEST:: SOT 120902 SOS 62484 HAS SOPS 33652 HAS SOUS 11712 HAS SOUPS 9154 WITH SCORE 9216.484
AT ITER 9810 NEW BEST:: SOT 120974 SOS 62400 HAS SOPS 33646 HAS SOUS 11696 HAS SOUPS 9150 WITH SCORE 9212.4
AT ITER 9822 NEW BEST:: SOT 120963 SOS 62391 HAS SOPS 33634 HAS SOUS 11688 HAS SOUPS 9141 WITH SCORE 9203.391
AT ITER 9830 NEW BEST:: SOT 120496 SOS 61878 HAS SOPS 33152 HAS SOUS 11678 HAS SOUPS 9131 WITH SCORE 9192.878
AT ITER 9835 NEW BEST:: SOT 120476 SOS 61880 HAS SOPS 33159 HAS SOUS 11682 HAS SOUPS 9129 WITH SCORE 9190.88
STATE_SPACE STATES 8304696129 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 25 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1338192019337 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678350220670

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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

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="CloudDeployment-PT-6a"
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 CloudDeployment-PT-6a, 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 r075-smll-167814401100432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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