About the Execution of Smart+red for UtilityControlRoom-PT-Z4T3N06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 744.756 | 60709.00 | 65276.00 | 566.50 | 2.4719E+0010 2.8658E+0011 6 25 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r491-tall-167912711501168.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is UtilityControlRoom-PT-Z4T3N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711501168
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 45K Feb 26 14:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 241K Feb 26 14:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 49K Feb 26 14:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 213K Feb 26 14:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 22K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 75K Feb 26 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 376K Feb 26 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 97K Feb 26 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 376K Feb 26 14:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 191K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679314243467
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-PT-Z4T3N06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 12:10:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 12:10:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 12:10:45] [INFO ] Load time of PNML (sax parser for PT used): 69 ms
[2023-03-20 12:10:45] [INFO ] Transformed 228 places.
[2023-03-20 12:10:45] [INFO ] Transformed 450 transitions.
[2023-03-20 12:10:45] [INFO ] Parsed PT model containing 228 places and 450 transitions and 1446 arcs in 141 ms.
[2023-03-20 12:10:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 228 places, 450 transitions and 1446 arcs took 7 ms.
Total runtime 185 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T3N06
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: 228 places, 450 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 83974 SOS 67221 HAS SOPS 67221 HAS SOUS 38439 HAS SOUPS 38439 WITH SCORE 38506.221
AT ITER 1 NEW BEST:: SOT 83954 SOS 67261 HAS SOPS 67261 HAS SOUS 38395 HAS SOUPS 38395 WITH SCORE 38462.261
AT ITER 6 NEW BEST:: SOT 83928 SOS 67313 HAS SOPS 67313 HAS SOUS 38331 HAS SOUPS 38331 WITH SCORE 38398.313
AT ITER 7 NEW BEST:: SOT 83940 SOS 67169 HAS SOPS 67169 HAS SOUS 38301 HAS SOUPS 38301 WITH SCORE 38368.169
AT ITER 8 NEW BEST:: SOT 83913 SOS 67115 HAS SOPS 67115 HAS SOUS 38195 HAS SOUPS 38195 WITH SCORE 38262.115
AT ITER 12 NEW BEST:: SOT 83866 SOS 67181 HAS SOPS 67181 HAS SOUS 38136 HAS SOUPS 38136 WITH SCORE 38203.181
AT ITER 13 NEW BEST:: SOT 83835 SOS 67119 HAS SOPS 67119 HAS SOUS 38000 HAS SOUPS 38000 WITH SCORE 38067.119
AT ITER 15 NEW BEST:: SOT 83715 SOS 67029 HAS SOPS 67029 HAS SOUS 37908 HAS SOUPS 37908 WITH SCORE 37975.029
AT ITER 16 NEW BEST:: SOT 83653 SOS 66688 HAS SOPS 66688 HAS SOUS 37673 HAS SOUPS 37673 WITH SCORE 37739.688
AT ITER 17 NEW BEST:: SOT 83539 SOS 66460 HAS SOPS 66460 HAS SOUS 37382 HAS SOUPS 37382 WITH SCORE 37448.46
AT ITER 18 NEW BEST:: SOT 83494 SOS 66415 HAS SOPS 66415 HAS SOUS 37157 HAS SOUPS 37157 WITH SCORE 37223.415
AT ITER 19 NEW BEST:: SOT 83473 SOS 66373 HAS SOPS 66373 HAS SOUS 37025 HAS SOUPS 37025 WITH SCORE 37091.373
AT ITER 25 NEW BEST:: SOT 83432 SOS 66244 HAS SOPS 66244 HAS SOUS 36947 HAS SOUPS 36947 WITH SCORE 37013.244
AT ITER 27 NEW BEST:: SOT 71112 SOS 54065 HAS SOPS 54065 HAS SOUS 29987 HAS SOUPS 29987 WITH SCORE 30041.065
AT ITER 28 NEW BEST:: SOT 70995 SOS 53876 HAS SOPS 53876 HAS SOUS 29817 HAS SOUPS 29817 WITH SCORE 29870.876
AT ITER 29 NEW BEST:: SOT 70996 SOS 53844 HAS SOPS 53844 HAS SOUS 29462 HAS SOUPS 29462 WITH SCORE 29515.844
AT ITER 32 NEW BEST:: SOT 70916 SOS 53726 HAS SOPS 53726 HAS SOUS 29435 HAS SOUPS 29435 WITH SCORE 29488.726
AT ITER 33 NEW BEST:: SOT 70915 SOS 53724 HAS SOPS 53724 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29487.724
AT ITER 37 NEW BEST:: SOT 70865 SOS 53671 HAS SOPS 53671 HAS SOUS 29268 HAS SOUPS 29268 WITH SCORE 29321.671
AT ITER 41 NEW BEST:: SOT 70865 SOS 53657 HAS SOPS 53657 HAS SOUS 29268 HAS SOUPS 29268 WITH SCORE 29321.657
AT ITER 42 NEW BEST:: SOT 70868 SOS 53626 HAS SOPS 53626 HAS SOUS 28841 HAS SOUPS 28841 WITH SCORE 28894.626
AT ITER 45 NEW BEST:: SOT 70834 SOS 53362 HAS SOPS 53362 HAS SOUS 28709 HAS SOUPS 28709 WITH SCORE 28762.362
AT ITER 51 NEW BEST:: SOT 70816 SOS 53398 HAS SOPS 53398 HAS SOUS 28691 HAS SOUPS 28691 WITH SCORE 28744.398
AT ITER 52 NEW BEST:: SOT 70837 SOS 53182 HAS SOPS 53182 HAS SOUS 28581 HAS SOUPS 28581 WITH SCORE 28634.182
AT ITER 53 NEW BEST:: SOT 70819 SOS 53170 HAS SOPS 53170 HAS SOUS 28091 HAS SOUPS 28091 WITH SCORE 28144.17
AT ITER 54 NEW BEST:: SOT 70589 SOS 52956 HAS SOPS 52956 HAS SOUS 27803 HAS SOUPS 27803 WITH SCORE 27855.956
AT ITER 55 NEW BEST:: SOT 70542 SOS 52909 HAS SOPS 52909 HAS SOUS 27686 HAS SOUPS 27686 WITH SCORE 27738.909
AT ITER 56 NEW BEST:: SOT 70482 SOS 52917 HAS SOPS 52917 HAS SOUS 27617 HAS SOUPS 27617 WITH SCORE 27669.917
AT ITER 58 NEW BEST:: SOT 70543 SOS 52795 HAS SOPS 52795 HAS SOUS 27617 HAS SOUPS 27617 WITH SCORE 27669.795
AT ITER 59 NEW BEST:: SOT 70555 SOS 52603 HAS SOPS 52603 HAS SOUS 27525 HAS SOUPS 27525 WITH SCORE 27577.603
AT ITER 61 NEW BEST:: SOT 70547 SOS 52552 HAS SOPS 52552 HAS SOUS 27473 HAS SOUPS 27473 WITH SCORE 27525.552
AT ITER 64 NEW BEST:: SOT 70547 SOS 52552 HAS SOPS 52552 HAS SOUS 27469 HAS SOUPS 27469 WITH SCORE 27521.552
AT ITER 65 NEW BEST:: SOT 70547 SOS 52710 HAS SOPS 52710 HAS SOUS 27398 HAS SOUPS 27398 WITH SCORE 27450.71
AT ITER 67 NEW BEST:: SOT 70489 SOS 52594 HAS SOPS 52594 HAS SOUS 27377 HAS SOUPS 27377 WITH SCORE 27429.594
AT ITER 68 NEW BEST:: SOT 70492 SOS 52600 HAS SOPS 52600 HAS SOUS 27229 HAS SOUPS 27229 WITH SCORE 27281.6
AT ITER 71 NEW BEST:: SOT 70414 SOS 52432 HAS SOPS 52432 HAS SOUS 26814 HAS SOUPS 26814 WITH SCORE 26866.432
AT ITER 78 NEW BEST:: SOT 70404 SOS 52372 HAS SOPS 52372 HAS SOUS 26780 HAS SOUPS 26780 WITH SCORE 26832.372
AT ITER 79 NEW BEST:: SOT 70404 SOS 52372 HAS SOPS 52372 HAS SOUS 26775 HAS SOUPS 26775 WITH SCORE 26827.372
AT ITER 84 NEW BEST:: SOT 70434 SOS 52432 HAS SOPS 52432 HAS SOUS 26757 HAS SOUPS 26757 WITH SCORE 26809.432
AT ITER 92 NEW BEST:: SOT 70434 SOS 52300 HAS SOPS 52300 HAS SOUS 26700 HAS SOUPS 26700 WITH SCORE 26752.3
AT ITER 94 NEW BEST:: SOT 70401 SOS 52594 HAS SOPS 52594 HAS SOUS 26676 HAS SOUPS 26676 WITH SCORE 26728.594
AT ITER 95 NEW BEST:: SOT 70397 SOS 52580 HAS SOPS 52580 HAS SOUS 26668 HAS SOUPS 26668 WITH SCORE 26720.58
AT ITER 96 NEW BEST:: SOT 70250 SOS 52346 HAS SOPS 52346 HAS SOUS 26463 HAS SOUPS 26463 WITH SCORE 26515.346
AT ITER 101 NEW BEST:: SOT 70293 SOS 52432 HAS SOPS 52432 HAS SOUS 26252 HAS SOUPS 26252 WITH SCORE 26304.432
AT ITER 104 NEW BEST:: SOT 70253 SOS 52382 HAS SOPS 52382 HAS SOUS 26147 HAS SOUPS 26147 WITH SCORE 26199.382
AT ITER 106 NEW BEST:: SOT 70116 SOS 51978 HAS SOPS 51978 HAS SOUS 25650 HAS SOUPS 25650 WITH SCORE 25701.978
AT ITER 109 NEW BEST:: SOT 70116 SOS 51995 HAS SOPS 51995 HAS SOUS 25647 HAS SOUPS 25647 WITH SCORE 25698.995
AT ITER 112 NEW BEST:: SOT 70080 SOS 51959 HAS SOPS 51959 HAS SOUS 25554 HAS SOUPS 25554 WITH SCORE 25605.959
AT ITER 113 NEW BEST:: SOT 70038 SOS 51875 HAS SOPS 51875 HAS SOUS 25260 HAS SOUPS 25260 WITH SCORE 25311.875
AT ITER 117 NEW BEST:: SOT 70163 SOS 52103 HAS SOPS 52103 HAS SOUS 25166 HAS SOUPS 25166 WITH SCORE 25218.103
AT ITER 120 NEW BEST:: SOT 70119 SOS 52108 HAS SOPS 52108 HAS SOUS 24952 HAS SOUPS 24952 WITH SCORE 25004.108
AT ITER 121 NEW BEST:: SOT 70119 SOS 52108 HAS SOPS 52108 HAS SOUS 24950 HAS SOUPS 24950 WITH SCORE 25002.108
AT ITER 122 NEW BEST:: SOT 70099 SOS 52088 HAS SOPS 52088 HAS SOUS 24912 HAS SOUPS 24912 WITH SCORE 24964.088
AT ITER 123 NEW BEST:: SOT 70074 SOS 51696 HAS SOPS 51696 HAS SOUS 24743 HAS SOUPS 24743 WITH SCORE 24794.696
AT ITER 126 NEW BEST:: SOT 67007 SOS 49881 HAS SOPS 49881 HAS SOUS 23069 HAS SOUPS 23069 WITH SCORE 23118.881
AT ITER 131 NEW BEST:: SOT 66968 SOS 49803 HAS SOPS 49803 HAS SOUS 23052 HAS SOUPS 23052 WITH SCORE 23101.803
AT ITER 135 NEW BEST:: SOT 67024 SOS 49676 HAS SOPS 49676 HAS SOUS 23047 HAS SOUPS 23047 WITH SCORE 23096.676
AT ITER 137 NEW BEST:: SOT 67023 SOS 49675 HAS SOPS 49675 HAS SOUS 23045 HAS SOUPS 23045 WITH SCORE 23094.675
AT ITER 139 NEW BEST:: SOT 67115 SOS 49817 HAS SOPS 49817 HAS SOUS 22985 HAS SOUPS 22985 WITH SCORE 23034.817
AT ITER 141 NEW BEST:: SOT 67019 SOS 49569 HAS SOPS 49569 HAS SOUS 22777 HAS SOUPS 22777 WITH SCORE 22826.569
AT ITER 145 NEW BEST:: SOT 66848 SOS 49400 HAS SOPS 49400 HAS SOUS 22597 HAS SOUPS 22597 WITH SCORE 22646.4
AT ITER 148 NEW BEST:: SOT 66848 SOS 49398 HAS SOPS 49398 HAS SOUS 22597 HAS SOUPS 22597 WITH SCORE 22646.398
AT ITER 149 NEW BEST:: SOT 65651 SOS 47965 HAS SOPS 47965 HAS SOUS 21302 HAS SOUPS 21302 WITH SCORE 21349.965
AT ITER 150 NEW BEST:: SOT 65518 SOS 47844 HAS SOPS 47844 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21119.844
AT ITER 155 NEW BEST:: SOT 65438 SOS 47604 HAS SOPS 47604 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21119.604
AT ITER 156 NEW BEST:: SOT 65417 SOS 47610 HAS SOPS 47610 HAS SOUS 21046 HAS SOUPS 21046 WITH SCORE 21093.61
AT ITER 157 NEW BEST:: SOT 65435 SOS 47288 HAS SOPS 47288 HAS SOUS 20954 HAS SOUPS 20954 WITH SCORE 21001.288
AT ITER 161 NEW BEST:: SOT 65322 SOS 47136 HAS SOPS 47136 HAS SOUS 20628 HAS SOUPS 20628 WITH SCORE 20675.136
AT ITER 163 NEW BEST:: SOT 65200 SOS 46970 HAS SOPS 46970 HAS SOUS 20537 HAS SOUPS 20537 WITH SCORE 20583.97
AT ITER 166 NEW BEST:: SOT 65110 SOS 46880 HAS SOPS 46880 HAS SOUS 20487 HAS SOUPS 20487 WITH SCORE 20533.88
AT ITER 174 NEW BEST:: SOT 65158 SOS 46904 HAS SOPS 46904 HAS SOUS 20463 HAS SOUPS 20463 WITH SCORE 20509.904
AT ITER 179 NEW BEST:: SOT 65036 SOS 46792 HAS SOPS 46792 HAS SOUS 20341 HAS SOUPS 20341 WITH SCORE 20387.792
AT ITER 183 NEW BEST:: SOT 65223 SOS 46975 HAS SOPS 46975 HAS SOUS 20265 HAS SOUPS 20265 WITH SCORE 20311.975
AT ITER 191 NEW BEST:: SOT 65115 SOS 46882 HAS SOPS 46882 HAS SOUS 20117 HAS SOUPS 20117 WITH SCORE 20163.882
AT ITER 194 NEW BEST:: SOT 65068 SOS 46829 HAS SOPS 46829 HAS SOUS 20086 HAS SOUPS 20086 WITH SCORE 20132.829
AT ITER 196 NEW BEST:: SOT 64958 SOS 46673 HAS SOPS 46673 HAS SOUS 19932 HAS SOUPS 19932 WITH SCORE 19978.673
AT ITER 206 NEW BEST:: SOT 64930 SOS 46593 HAS SOPS 46593 HAS SOUS 19845 HAS SOUPS 19845 WITH SCORE 19891.593
AT ITER 207 NEW BEST:: SOT 64843 SOS 46443 HAS SOPS 46443 HAS SOUS 19763 HAS SOUPS 19763 WITH SCORE 19809.443
AT ITER 213 NEW BEST:: SOT 64847 SOS 46447 HAS SOPS 46447 HAS SOUS 19751 HAS SOUPS 19751 WITH SCORE 19797.447
AT ITER 214 NEW BEST:: SOT 64847 SOS 46447 HAS SOPS 46447 HAS SOUS 19747 HAS SOUPS 19747 WITH SCORE 19793.447
AT ITER 219 NEW BEST:: SOT 64771 SOS 46341 HAS SOPS 46341 HAS SOUS 19678 HAS SOUPS 19678 WITH SCORE 19724.341
AT ITER 223 NEW BEST:: SOT 64767 SOS 46337 HAS SOPS 46337 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19720.337
AT ITER 229 NEW BEST:: SOT 64840 SOS 46410 HAS SOPS 46410 HAS SOUS 19619 HAS SOUPS 19619 WITH SCORE 19665.41
AT ITER 233 NEW BEST:: SOT 64825 SOS 46387 HAS SOPS 46387 HAS SOUS 19605 HAS SOUPS 19605 WITH SCORE 19651.387
AT ITER 234 NEW BEST:: SOT 64694 SOS 46256 HAS SOPS 46256 HAS SOUS 19429 HAS SOUPS 19429 WITH SCORE 19475.256
AT ITER 236 NEW BEST:: SOT 64714 SOS 46276 HAS SOPS 46276 HAS SOUS 19425 HAS SOUPS 19425 WITH SCORE 19471.276
AT ITER 237 NEW BEST:: SOT 64684 SOS 46249 HAS SOPS 46249 HAS SOUS 19351 HAS SOUPS 19351 WITH SCORE 19397.249
AT ITER 241 NEW BEST:: SOT 64639 SOS 46159 HAS SOPS 46159 HAS SOUS 19296 HAS SOUPS 19296 WITH SCORE 19342.159
AT ITER 242 NEW BEST:: SOT 64537 SOS 46057 HAS SOPS 46057 HAS SOUS 19132 HAS SOUPS 19132 WITH SCORE 19178.057
AT ITER 248 NEW BEST:: SOT 64589 SOS 46313 HAS SOPS 46313 HAS SOUS 19056 HAS SOUPS 19056 WITH SCORE 19102.313
AT ITER 249 NEW BEST:: SOT 64496 SOS 46286 HAS SOPS 46286 HAS SOUS 18942 HAS SOUPS 18942 WITH SCORE 18988.286
AT ITER 250 NEW BEST:: SOT 64590 SOS 46380 HAS SOPS 46380 HAS SOUS 18930 HAS SOUPS 18930 WITH SCORE 18976.38
AT ITER 251 NEW BEST:: SOT 64510 SOS 46220 HAS SOPS 46220 HAS SOUS 18801 HAS SOUPS 18801 WITH SCORE 18847.22
AT ITER 252 NEW BEST:: SOT 64488 SOS 46176 HAS SOPS 46176 HAS SOUS 18776 HAS SOUPS 18776 WITH SCORE 18822.176
AT ITER 259 NEW BEST:: SOT 64629 SOS 46282 HAS SOPS 46282 HAS SOUS 18704 HAS SOUPS 18704 WITH SCORE 18750.282
AT ITER 263 NEW BEST:: SOT 64581 SOS 46190 HAS SOPS 46190 HAS SOUS 18696 HAS SOUPS 18696 WITH SCORE 18742.19
AT ITER 264 NEW BEST:: SOT 64581 SOS 46190 HAS SOPS 46190 HAS SOUS 18652 HAS SOUPS 18652 WITH SCORE 18698.19
AT ITER 265 NEW BEST:: SOT 64581 SOS 46195 HAS SOPS 46195 HAS SOUS 18651 HAS SOUPS 18651 WITH SCORE 18697.195
AT ITER 270 NEW BEST:: SOT 64559 SOS 46173 HAS SOPS 46173 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18612.173
AT ITER 277 NEW BEST:: SOT 64559 SOS 46204 HAS SOPS 46204 HAS SOUS 18484 HAS SOUPS 18484 WITH SCORE 18530.204
AT ITER 289 NEW BEST:: SOT 64559 SOS 46204 HAS SOPS 46204 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18526.204
AT ITER 293 NEW BEST:: SOT 64417 SOS 46064 HAS SOPS 46064 HAS SOUS 18435 HAS SOUPS 18435 WITH SCORE 18481.064
AT ITER 295 NEW BEST:: SOT 64455 SOS 46102 HAS SOPS 46102 HAS SOUS 18433 HAS SOUPS 18433 WITH SCORE 18479.102
AT ITER 298 NEW BEST:: SOT 64469 SOS 46128 HAS SOPS 46128 HAS SOUS 18401 HAS SOUPS 18401 WITH SCORE 18447.128
AT ITER 306 NEW BEST:: SOT 64022 SOS 45681 HAS SOPS 45681 HAS SOUS 18101 HAS SOUPS 18101 WITH SCORE 18146.681
AT ITER 309 NEW BEST:: SOT 64016 SOS 45675 HAS SOPS 45675 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18138.675
AT ITER 315 NEW BEST:: SOT 63992 SOS 45699 HAS SOPS 45699 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18131.699
AT ITER 321 NEW BEST:: SOT 63913 SOS 45607 HAS SOPS 45607 HAS SOUS 17994 HAS SOUPS 17994 WITH SCORE 18039.607
AT ITER 323 NEW BEST:: SOT 63859 SOS 45553 HAS SOPS 45553 HAS SOUS 17892 HAS SOUPS 17892 WITH SCORE 17937.553
AT ITER 330 NEW BEST:: SOT 63817 SOS 45525 HAS SOPS 45525 HAS SOUS 17890 HAS SOUPS 17890 WITH SCORE 17935.525
AT ITER 335 NEW BEST:: SOT 63799 SOS 45453 HAS SOPS 45453 HAS SOUS 17872 HAS SOUPS 17872 WITH SCORE 17917.453
AT ITER 343 NEW BEST:: SOT 63664 SOS 45311 HAS SOPS 45311 HAS SOUS 17720 HAS SOUPS 17720 WITH SCORE 17765.311
AT ITER 357 NEW BEST:: SOT 63595 SOS 44781 HAS SOPS 44781 HAS SOUS 17617 HAS SOUPS 17617 WITH SCORE 17661.781
AT ITER 365 NEW BEST:: SOT 63624 SOS 44810 HAS SOPS 44810 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17518.81
AT ITER 381 NEW BEST:: SOT 63409 SOS 44748 HAS SOPS 44748 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17358.748
AT ITER 390 NEW BEST:: SOT 63174 SOS 44460 HAS SOPS 44460 HAS SOUS 17079 HAS SOUPS 17079 WITH SCORE 17123.46
AT ITER 393 NEW BEST:: SOT 63174 SOS 44175 HAS SOPS 44175 HAS SOUS 16965 HAS SOUPS 16965 WITH SCORE 17009.175
AT ITER 397 NEW BEST:: SOT 63147 SOS 44148 HAS SOPS 44148 HAS SOUS 16886 HAS SOUPS 16886 WITH SCORE 16930.148
AT ITER 403 NEW BEST:: SOT 63134 SOS 44021 HAS SOPS 44021 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16880.021
AT ITER 410 NEW BEST:: SOT 63123 SOS 43950 HAS SOPS 43950 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16828.95
AT ITER 415 NEW BEST:: SOT 62931 SOS 43758 HAS SOPS 43758 HAS SOUS 16643 HAS SOUPS 16643 WITH SCORE 16686.758
AT ITER 416 NEW BEST:: SOT 62904 SOS 43655 HAS SOPS 43655 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16658.655
AT ITER 426 NEW BEST:: SOT 62911 SOS 43628 HAS SOPS 43628 HAS SOUS 16552 HAS SOUPS 16552 WITH SCORE 16595.628
AT ITER 434 NEW BEST:: SOT 62917 SOS 43640 HAS SOPS 43640 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16588.64
AT ITER 438 NEW BEST:: SOT 62884 SOS 43669 HAS SOPS 43669 HAS SOUS 16450 HAS SOUPS 16450 WITH SCORE 16493.669
AT ITER 441 NEW BEST:: SOT 62883 SOS 43588 HAS SOPS 43588 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16469.588
AT ITER 447 NEW BEST:: SOT 62856 SOS 43382 HAS SOPS 43382 HAS SOUS 16408 HAS SOUPS 16408 WITH SCORE 16451.382
AT ITER 451 NEW BEST:: SOT 62854 SOS 43377 HAS SOPS 43377 HAS SOUS 16400 HAS SOUPS 16400 WITH SCORE 16443.377
AT ITER 462 NEW BEST:: SOT 62845 SOS 43368 HAS SOPS 43368 HAS SOUS 16325 HAS SOUPS 16325 WITH SCORE 16368.368
AT ITER 470 NEW BEST:: SOT 62850 SOS 43328 HAS SOPS 43328 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16354.328
AT ITER 471 NEW BEST:: SOT 62957 SOS 43435 HAS SOPS 43435 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16324.435
AT ITER 489 NEW BEST:: SOT 62957 SOS 43435 HAS SOPS 43435 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16322.435
AT ITER 492 NEW BEST:: SOT 62957 SOS 43433 HAS SOPS 43433 HAS SOUS 16277 HAS SOUPS 16277 WITH SCORE 16320.433
AT ITER 494 NEW BEST:: SOT 62876 SOS 43338 HAS SOPS 43338 HAS SOUS 16219 HAS SOUPS 16219 WITH SCORE 16262.338
AT ITER 508 NEW BEST:: SOT 63174 SOS 43629 HAS SOPS 43629 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16113.629
AT ITER 512 NEW BEST:: SOT 63119 SOS 43836 HAS SOPS 43836 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 16000.836
AT ITER 515 NEW BEST:: SOT 63119 SOS 43836 HAS SOPS 43836 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 15997.836
AT ITER 519 NEW BEST:: SOT 63055 SOS 43772 HAS SOPS 43772 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15969.772
AT ITER 522 NEW BEST:: SOT 63091 SOS 43804 HAS SOPS 43804 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15962.804
AT ITER 529 NEW BEST:: SOT 63101 SOS 43814 HAS SOPS 43814 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15960.814
AT ITER 531 NEW BEST:: SOT 62995 SOS 43674 HAS SOPS 43674 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15914.674
AT ITER 533 NEW BEST:: SOT 63081 SOS 43608 HAS SOPS 43608 HAS SOUS 15861 HAS SOUPS 15861 WITH SCORE 15904.608
AT ITER 535 NEW BEST:: SOT 63078 SOS 43602 HAS SOPS 43602 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15890.602
AT ITER 538 NEW BEST:: SOT 63321 SOS 43845 HAS SOPS 43845 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15821.845
AT ITER 541 NEW BEST:: SOT 63373 SOS 43992 HAS SOPS 43992 HAS SOUS 15743 HAS SOUPS 15743 WITH SCORE 15786.992
AT ITER 547 NEW BEST:: SOT 63339 SOS 43958 HAS SOPS 43958 HAS SOUS 15709 HAS SOUPS 15709 WITH SCORE 15752.958
AT ITER 551 NEW BEST:: SOT 63148 SOS 43672 HAS SOPS 43672 HAS SOUS 15617 HAS SOUPS 15617 WITH SCORE 15660.672
AT ITER 560 NEW BEST:: SOT 63136 SOS 43660 HAS SOPS 43660 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15636.66
AT ITER 565 NEW BEST:: SOT 63100 SOS 43556 HAS SOPS 43556 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15525.556
AT ITER 567 NEW BEST:: SOT 63094 SOS 43544 HAS SOPS 43544 HAS SOUS 15446 HAS SOUPS 15446 WITH SCORE 15489.544
AT ITER 575 NEW BEST:: SOT 63094 SOS 43552 HAS SOPS 43552 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15485.552
AT ITER 579 NEW BEST:: SOT 63115 SOS 43573 HAS SOPS 43573 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15467.573
AT ITER 581 NEW BEST:: SOT 63106 SOS 43529 HAS SOPS 43529 HAS SOUS 15422 HAS SOUPS 15422 WITH SCORE 15465.529
AT ITER 589 NEW BEST:: SOT 63067 SOS 43490 HAS SOPS 43490 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15423.49
AT ITER 591 NEW BEST:: SOT 63070 SOS 43624 HAS SOPS 43624 HAS SOUS 15291 HAS SOUPS 15291 WITH SCORE 15334.624
AT ITER 592 NEW BEST:: SOT 63006 SOS 43554 HAS SOPS 43554 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15265.554
AT ITER 594 NEW BEST:: SOT 62896 SOS 43444 HAS SOPS 43444 HAS SOUS 15046 HAS SOUPS 15046 WITH SCORE 15089.444
AT ITER 605 NEW BEST:: SOT 62554 SOS 43033 HAS SOPS 43033 HAS SOUS 14846 HAS SOUPS 14846 WITH SCORE 14889.033
AT ITER 617 NEW BEST:: SOT 62556 SOS 42993 HAS SOPS 42993 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14876.993
AT ITER 619 NEW BEST:: SOT 62614 SOS 43046 HAS SOPS 43046 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14872.046
AT ITER 625 NEW BEST:: SOT 62608 SOS 43040 HAS SOPS 43040 HAS SOUS 14823 HAS SOUPS 14823 WITH SCORE 14866.04
AT ITER 652 NEW BEST:: SOT 62610 SOS 43044 HAS SOPS 43044 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14838.044
AT ITER 653 NEW BEST:: SOT 62608 SOS 43040 HAS SOPS 43040 HAS SOUS 14791 HAS SOUPS 14791 WITH SCORE 14834.04
AT ITER 659 NEW BEST:: SOT 62614 SOS 42988 HAS SOPS 42988 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14817.988
AT ITER 660 NEW BEST:: SOT 62612 SOS 42940 HAS SOPS 42940 HAS SOUS 14762 HAS SOUPS 14762 WITH SCORE 14804.94
AT ITER 675 NEW BEST:: SOT 62530 SOS 42624 HAS SOPS 42624 HAS SOUS 14677 HAS SOUPS 14677 WITH SCORE 14719.624
AT ITER 676 NEW BEST:: SOT 62629 SOS 42715 HAS SOPS 42715 HAS SOUS 14618 HAS SOUPS 14618 WITH SCORE 14660.715
AT ITER 689 NEW BEST:: SOT 62715 SOS 42801 HAS SOPS 42801 HAS SOUS 14574 HAS SOUPS 14574 WITH SCORE 14616.801
AT ITER 692 NEW BEST:: SOT 62662 SOS 42748 HAS SOPS 42748 HAS SOUS 14528 HAS SOUPS 14528 WITH SCORE 14570.748
AT ITER 744 NEW BEST:: SOT 62651 SOS 42737 HAS SOPS 42737 HAS SOUS 14527 HAS SOUPS 14527 WITH SCORE 14569.737
AT ITER 748 NEW BEST:: SOT 62473 SOS 42580 HAS SOPS 42580 HAS SOUS 14439 HAS SOUPS 14439 WITH SCORE 14481.58
AT ITER 759 NEW BEST:: SOT 62360 SOS 42524 HAS SOPS 42524 HAS SOUS 14346 HAS SOUPS 14346 WITH SCORE 14388.524
AT ITER 761 NEW BEST:: SOT 62336 SOS 42491 HAS SOPS 42491 HAS SOUS 14322 HAS SOUPS 14322 WITH SCORE 14364.491
AT ITER 770 NEW BEST:: SOT 62182 SOS 42365 HAS SOPS 42365 HAS SOUS 14300 HAS SOUPS 14300 WITH SCORE 14342.365
AT ITER 773 NEW BEST:: SOT 62259 SOS 42615 HAS SOPS 42615 HAS SOUS 14295 HAS SOUPS 14295 WITH SCORE 14337.615
AT ITER 777 NEW BEST:: SOT 62192 SOS 42529 HAS SOPS 42529 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14292.529
AT ITER 802 NEW BEST:: SOT 62124 SOS 42461 HAS SOPS 42461 HAS SOUS 14213 HAS SOUPS 14213 WITH SCORE 14255.461
AT ITER 813 NEW BEST:: SOT 62115 SOS 42452 HAS SOPS 42452 HAS SOUS 14213 HAS SOUPS 14213 WITH SCORE 14255.452
AT ITER 821 NEW BEST:: SOT 62142 SOS 42204 HAS SOPS 42204 HAS SOUS 14167 HAS SOUPS 14167 WITH SCORE 14209.204
AT ITER 823 NEW BEST:: SOT 62134 SOS 42188 HAS SOPS 42188 HAS SOUS 14159 HAS SOUPS 14159 WITH SCORE 14201.188
AT ITER 831 NEW BEST:: SOT 62080 SOS 42134 HAS SOPS 42134 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14146.134
AT ITER 849 NEW BEST:: SOT 62072 SOS 42126 HAS SOPS 42126 HAS SOUS 14096 HAS SOUPS 14096 WITH SCORE 14138.126
AT ITER 868 NEW BEST:: SOT 62062 SOS 42138 HAS SOPS 42138 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14128.138
AT ITER 872 NEW BEST:: SOT 62024 SOS 42070 HAS SOPS 42070 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14053.07
AT ITER 874 NEW BEST:: SOT 62016 SOS 42082 HAS SOPS 42082 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14045.082
AT ITER 877 NEW BEST:: SOT 62159 SOS 42273 HAS SOPS 42273 HAS SOUS 14002 HAS SOUPS 14002 WITH SCORE 14044.273
AT ITER 885 NEW BEST:: SOT 62043 SOS 42157 HAS SOPS 42157 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 14000.157
AT ITER 898 NEW BEST:: SOT 62017 SOS 42131 HAS SOPS 42131 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13977.131
AT ITER 906 NEW BEST:: SOT 61883 SOS 41743 HAS SOPS 41743 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13782.743
AT ITER 909 NEW BEST:: SOT 61871 SOS 41721 HAS SOPS 41721 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13745.721
AT ITER 910 NEW BEST:: SOT 61833 SOS 41683 HAS SOPS 41683 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13720.683
AT ITER 919 NEW BEST:: SOT 61837 SOS 41769 HAS SOPS 41769 HAS SOUS 13675 HAS SOUPS 13675 WITH SCORE 13716.769
AT ITER 921 NEW BEST:: SOT 61833 SOS 41765 HAS SOPS 41765 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13712.765
AT ITER 927 NEW BEST:: SOT 61844 SOS 41821 HAS SOPS 41821 HAS SOUS 13669 HAS SOUPS 13669 WITH SCORE 13710.821
AT ITER 936 NEW BEST:: SOT 61838 SOS 41798 HAS SOPS 41798 HAS SOUS 13663 HAS SOUPS 13663 WITH SCORE 13704.798
AT ITER 944 NEW BEST:: SOT 61609 SOS 41569 HAS SOPS 41569 HAS SOUS 13656 HAS SOUPS 13656 WITH SCORE 13697.569
AT ITER 963 NEW BEST:: SOT 61573 SOS 41542 HAS SOPS 41542 HAS SOUS 13638 HAS SOUPS 13638 WITH SCORE 13679.542
AT ITER 965 NEW BEST:: SOT 61485 SOS 41454 HAS SOPS 41454 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13647.454
AT ITER 969 NEW BEST:: SOT 61485 SOS 41346 HAS SOPS 41346 HAS SOUS 13566 HAS SOUPS 13566 WITH SCORE 13607.346
AT ITER 976 NEW BEST:: SOT 61418 SOS 41279 HAS SOPS 41279 HAS SOUS 13535 HAS SOUPS 13535 WITH SCORE 13576.279
AT ITER 985 NEW BEST:: SOT 61416 SOS 41277 HAS SOPS 41277 HAS SOUS 13533 HAS SOUPS 13533 WITH SCORE 13574.277
AT ITER 986 NEW BEST:: SOT 61407 SOS 41281 HAS SOPS 41281 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13565.281
AT ITER 989 NEW BEST:: SOT 61369 SOS 41243 HAS SOPS 41243 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13509.243
AT ITER 996 NEW BEST:: SOT 61340 SOS 41237 HAS SOPS 41237 HAS SOUS 13444 HAS SOUPS 13444 WITH SCORE 13485.237
AT ITER 997 NEW BEST:: SOT 61304 SOS 41211 HAS SOPS 41211 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13478.211
AT ITER 1004 NEW BEST:: SOT 61293 SOS 41200 HAS SOPS 41200 HAS SOUS 13418 HAS SOUPS 13418 WITH SCORE 13459.2
AT ITER 1011 NEW BEST:: SOT 61233 SOS 41025 HAS SOPS 41025 HAS SOUS 13358 HAS SOUPS 13358 WITH SCORE 13399.025
AT ITER 1012 NEW BEST:: SOT 61285 SOS 40453 HAS SOPS 40453 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13294.453
AT ITER 1017 NEW BEST:: SOT 61263 SOS 40431 HAS SOPS 40431 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13261.431
AT ITER 1023 NEW BEST:: SOT 61235 SOS 40319 HAS SOPS 40319 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13238.319
AT ITER 1028 NEW BEST:: SOT 61195 SOS 40279 HAS SOPS 40279 HAS SOUS 13173 HAS SOUPS 13173 WITH SCORE 13213.279
AT ITER 1046 NEW BEST:: SOT 61129 SOS 40194 HAS SOPS 40194 HAS SOUS 13156 HAS SOUPS 13156 WITH SCORE 13196.194
AT ITER 1051 NEW BEST:: SOT 61084 SOS 40163 HAS SOPS 40163 HAS SOUS 13111 HAS SOUPS 13111 WITH SCORE 13151.163
AT ITER 1065 NEW BEST:: SOT 61072 SOS 40151 HAS SOPS 40151 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13147.151
AT ITER 1066 NEW BEST:: SOT 61072 SOS 40151 HAS SOPS 40151 HAS SOUS 13103 HAS SOUPS 13103 WITH SCORE 13143.151
AT ITER 1074 NEW BEST:: SOT 60970 SOS 39528 HAS SOPS 39528 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13127.528
AT ITER 1091 NEW BEST:: SOT 60958 SOS 39516 HAS SOPS 39516 HAS SOUS 13069 HAS SOUPS 13069 WITH SCORE 13108.516
AT ITER 1116 NEW BEST:: SOT 60951 SOS 39460 HAS SOPS 39460 HAS SOUS 13052 HAS SOUPS 13052 WITH SCORE 13091.46
AT ITER 1121 NEW BEST:: SOT 60896 SOS 39444 HAS SOPS 39444 HAS SOUS 13037 HAS SOUPS 13037 WITH SCORE 13076.444
AT ITER 1123 NEW BEST:: SOT 60841 SOS 39462 HAS SOPS 39462 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12978.462
AT ITER 1126 NEW BEST:: SOT 60841 SOS 39453 HAS SOPS 39453 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12978.453
AT ITER 1131 NEW BEST:: SOT 60823 SOS 39408 HAS SOPS 39408 HAS SOUS 12921 HAS SOUPS 12921 WITH SCORE 12960.408
AT ITER 1135 NEW BEST:: SOT 60809 SOS 39160 HAS SOPS 39160 HAS SOUS 12907 HAS SOUPS 12907 WITH SCORE 12946.16
AT ITER 1137 NEW BEST:: SOT 60809 SOS 39148 HAS SOPS 39148 HAS SOUS 12907 HAS SOUPS 12907 WITH SCORE 12946.148
AT ITER 1150 NEW BEST:: SOT 60809 SOS 39144 HAS SOPS 39144 HAS SOUS 12906 HAS SOUPS 12906 WITH SCORE 12945.144
AT ITER 1153 NEW BEST:: SOT 60784 SOS 39094 HAS SOPS 39094 HAS SOUS 12872 HAS SOUPS 12872 WITH SCORE 12911.094
AT ITER 1161 NEW BEST:: SOT 60777 SOS 39080 HAS SOPS 39080 HAS SOUS 12851 HAS SOUPS 12851 WITH SCORE 12890.08
AT ITER 1162 NEW BEST:: SOT 60744 SOS 39018 HAS SOPS 39018 HAS SOUS 12813 HAS SOUPS 12813 WITH SCORE 12852.018
AT ITER 1170 NEW BEST:: SOT 60864 SOS 39138 HAS SOPS 39138 HAS SOUS 12785 HAS SOUPS 12785 WITH SCORE 12824.138
AT ITER 1172 NEW BEST:: SOT 60846 SOS 39120 HAS SOPS 39120 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12795.12
AT ITER 1181 NEW BEST:: SOT 60801 SOS 38970 HAS SOPS 38970 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12749.97
AT ITER 1190 NEW BEST:: SOT 60685 SOS 38822 HAS SOPS 38822 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12660.822
AT ITER 1193 NEW BEST:: SOT 60583 SOS 38661 HAS SOPS 38661 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12657.661
AT ITER 1195 NEW BEST:: SOT 60596 SOS 38693 HAS SOPS 38693 HAS SOUS 12617 HAS SOUPS 12617 WITH SCORE 12655.693
AT ITER 1196 NEW BEST:: SOT 60639 SOS 38736 HAS SOPS 38736 HAS SOUS 12554 HAS SOUPS 12554 WITH SCORE 12592.736
AT ITER 1201 NEW BEST:: SOT 60567 SOS 38636 HAS SOPS 38636 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12520.636
AT ITER 1204 NEW BEST:: SOT 60561 SOS 38632 HAS SOPS 38632 HAS SOUS 12476 HAS SOUPS 12476 WITH SCORE 12514.632
AT ITER 1206 NEW BEST:: SOT 60523 SOS 38564 HAS SOPS 38564 HAS SOUS 12438 HAS SOUPS 12438 WITH SCORE 12476.564
AT ITER 1211 NEW BEST:: SOT 60533 SOS 38498 HAS SOPS 38498 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12453.498
AT ITER 1234 NEW BEST:: SOT 60539 SOS 38504 HAS SOPS 38504 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12450.504
AT ITER 1254 NEW BEST:: SOT 60534 SOS 38368 HAS SOPS 38368 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12394.368
AT ITER 1264 NEW BEST:: SOT 60460 SOS 38288 HAS SOPS 38288 HAS SOUS 12341 HAS SOUPS 12341 WITH SCORE 12379.288
AT ITER 1274 NEW BEST:: SOT 60433 SOS 38213 HAS SOPS 38213 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12352.213
AT ITER 1282 NEW BEST:: SOT 60401 SOS 38181 HAS SOPS 38181 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12332.181
AT ITER 1291 NEW BEST:: SOT 60296 SOS 38358 HAS SOPS 38358 HAS SOUS 12234 HAS SOUPS 12234 WITH SCORE 12272.358
AT ITER 1294 NEW BEST:: SOT 60282 SOS 38339 HAS SOPS 38339 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12258.339
AT ITER 1298 NEW BEST:: SOT 60279 SOS 38333 HAS SOPS 38333 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12254.333
AT ITER 1309 NEW BEST:: SOT 60247 SOS 38237 HAS SOPS 38237 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12222.237
AT ITER 1346 NEW BEST:: SOT 60245 SOS 38227 HAS SOPS 38227 HAS SOUS 12183 HAS SOUPS 12183 WITH SCORE 12221.227
AT ITER 1351 NEW BEST:: SOT 60243 SOS 38219 HAS SOPS 38219 HAS SOUS 12179 HAS SOUPS 12179 WITH SCORE 12217.219
AT ITER 1362 NEW BEST:: SOT 60243 SOS 38219 HAS SOPS 38219 HAS SOUS 12169 HAS SOUPS 12169 WITH SCORE 12207.219
AT ITER 1363 NEW BEST:: SOT 60227 SOS 38201 HAS SOPS 38201 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12191.201
AT ITER 1368 NEW BEST:: SOT 60204 SOS 38512 HAS SOPS 38512 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12078.512
AT ITER 1381 NEW BEST:: SOT 60208 SOS 38516 HAS SOPS 38516 HAS SOUS 12036 HAS SOUPS 12036 WITH SCORE 12074.516
AT ITER 1395 NEW BEST:: SOT 60200 SOS 38500 HAS SOPS 38500 HAS SOUS 12022 HAS SOUPS 12022 WITH SCORE 12060.5
AT ITER 1396 NEW BEST:: SOT 60199 SOS 38470 HAS SOPS 38470 HAS SOUS 12021 HAS SOUPS 12021 WITH SCORE 12059.47
AT ITER 1401 NEW BEST:: SOT 60200 SOS 38503 HAS SOPS 38503 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 12018.503
AT ITER 1402 NEW BEST:: SOT 60236 SOS 38550 HAS SOPS 38550 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 12010.55
AT ITER 1409 NEW BEST:: SOT 60201 SOS 38515 HAS SOPS 38515 HAS SOUS 11971 HAS SOUPS 11971 WITH SCORE 12009.515
AT ITER 1422 NEW BEST:: SOT 60197 SOS 38511 HAS SOPS 38511 HAS SOUS 11971 HAS SOUPS 11971 WITH SCORE 12009.511
AT ITER 1424 NEW BEST:: SOT 60207 SOS 38521 HAS SOPS 38521 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 12005.521
AT ITER 1434 NEW BEST:: SOT 60268 SOS 38318 HAS SOPS 38318 HAS SOUS 11948 HAS SOUPS 11948 WITH SCORE 11986.318
AT ITER 1446 NEW BEST:: SOT 60235 SOS 38252 HAS SOPS 38252 HAS SOUS 11948 HAS SOUPS 11948 WITH SCORE 11986.252
AT ITER 1452 NEW BEST:: SOT 60314 SOS 38453 HAS SOPS 38453 HAS SOUS 11944 HAS SOUPS 11944 WITH SCORE 11982.453
AT ITER 1462 NEW BEST:: SOT 60311 SOS 38420 HAS SOPS 38420 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11980.42
AT ITER 1468 NEW BEST:: SOT 60360 SOS 38273 HAS SOPS 38273 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11980.273
AT ITER 1471 NEW BEST:: SOT 60248 SOS 38139 HAS SOPS 38139 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11923.139
AT ITER 1475 NEW BEST:: SOT 60248 SOS 38139 HAS SOPS 38139 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11846.139
AT ITER 1484 NEW BEST:: SOT 60233 SOS 38096 HAS SOPS 38096 HAS SOUS 11785 HAS SOUPS 11785 WITH SCORE 11823.096
AT ITER 1502 NEW BEST:: SOT 60207 SOS 38059 HAS SOPS 38059 HAS SOUS 11756 HAS SOUPS 11756 WITH SCORE 11794.059
AT ITER 1505 NEW BEST:: SOT 60147 SOS 37976 HAS SOPS 37976 HAS SOUS 11705 HAS SOUPS 11705 WITH SCORE 11742.976
AT ITER 1507 NEW BEST:: SOT 60118 SOS 37629 HAS SOPS 37629 HAS SOUS 11627 HAS SOUPS 11627 WITH SCORE 11664.629
AT ITER 1514 NEW BEST:: SOT 60120 SOS 37607 HAS SOPS 37607 HAS SOUS 11605 HAS SOUPS 11605 WITH SCORE 11642.607
AT ITER 1515 NEW BEST:: SOT 60124 SOS 37548 HAS SOPS 37548 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11617.548
AT ITER 1521 NEW BEST:: SOT 60072 SOS 37550 HAS SOPS 37550 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11578.55
AT ITER 1527 NEW BEST:: SOT 60067 SOS 37540 HAS SOPS 37540 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11578.54
AT ITER 1530 NEW BEST:: SOT 60071 SOS 37527 HAS SOPS 37527 HAS SOUS 11528 HAS SOUPS 11528 WITH SCORE 11565.527
AT ITER 1535 NEW BEST:: SOT 60061 SOS 37517 HAS SOPS 37517 HAS SOUS 11498 HAS SOUPS 11498 WITH SCORE 11535.517
AT ITER 1550 NEW BEST:: SOT 60055 SOS 37556 HAS SOPS 37556 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11529.556
AT ITER 1565 NEW BEST:: SOT 60002 SOS 37482 HAS SOPS 37482 HAS SOUS 11460 HAS SOUPS 11460 WITH SCORE 11497.482
AT ITER 1575 NEW BEST:: SOT 59969 SOS 37438 HAS SOPS 37438 HAS SOUS 11427 HAS SOUPS 11427 WITH SCORE 11464.438
AT ITER 1601 NEW BEST:: SOT 59955 SOS 37424 HAS SOPS 37424 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11413.424
AT ITER 1603 NEW BEST:: SOT 59951 SOS 37374 HAS SOPS 37374 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11381.374
AT ITER 1605 NEW BEST:: SOT 59843 SOS 37159 HAS SOPS 37159 HAS SOUS 11254 HAS SOUPS 11254 WITH SCORE 11291.159
AT ITER 1610 NEW BEST:: SOT 59841 SOS 37157 HAS SOPS 37157 HAS SOUS 11254 HAS SOUPS 11254 WITH SCORE 11291.157
AT ITER 1615 NEW BEST:: SOT 59954 SOS 37212 HAS SOPS 37212 HAS SOUS 11253 HAS SOUPS 11253 WITH SCORE 11290.212
AT ITER 1617 NEW BEST:: SOT 59917 SOS 37144 HAS SOPS 37144 HAS SOUS 11216 HAS SOUPS 11216 WITH SCORE 11253.144
AT ITER 1634 NEW BEST:: SOT 59826 SOS 36959 HAS SOPS 36959 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11214.959
AT ITER 1638 NEW BEST:: SOT 59798 SOS 36915 HAS SOPS 36915 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11186.915
AT ITER 1651 NEW BEST:: SOT 59800 SOS 36917 HAS SOPS 36917 HAS SOUS 11138 HAS SOUPS 11138 WITH SCORE 11174.917
AT ITER 1654 NEW BEST:: SOT 59800 SOS 36935 HAS SOPS 36935 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11165.935
AT ITER 1657 NEW BEST:: SOT 59821 SOS 36956 HAS SOPS 36956 HAS SOUS 11122 HAS SOUPS 11122 WITH SCORE 11158.956
AT ITER 1676 NEW BEST:: SOT 59817 SOS 36884 HAS SOPS 36884 HAS SOUS 11117 HAS SOUPS 11117 WITH SCORE 11153.884
AT ITER 1682 NEW BEST:: SOT 59831 SOS 36898 HAS SOPS 36898 HAS SOUS 11107 HAS SOUPS 11107 WITH SCORE 11143.898
AT ITER 1691 NEW BEST:: SOT 60124 SOS 37191 HAS SOPS 37191 HAS SOUS 11074 HAS SOUPS 11074 WITH SCORE 11111.191
AT ITER 1695 NEW BEST:: SOT 60100 SOS 37151 HAS SOPS 37151 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11087.151
AT ITER 1705 NEW BEST:: SOT 60106 SOS 37157 HAS SOPS 37157 HAS SOUS 11041 HAS SOUPS 11041 WITH SCORE 11078.157
AT ITER 1707 NEW BEST:: SOT 60098 SOS 37149 HAS SOPS 37149 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 11006.149
AT ITER 1718 NEW BEST:: SOT 60058 SOS 37029 HAS SOPS 37029 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10970.029
AT ITER 1735 NEW BEST:: SOT 60065 SOS 37026 HAS SOPS 37026 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10955.026
AT ITER 1744 NEW BEST:: SOT 60057 SOS 37018 HAS SOPS 37018 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10951.018
AT ITER 1745 NEW BEST:: SOT 60059 SOS 37020 HAS SOPS 37020 HAS SOUS 10904 HAS SOUPS 10904 WITH SCORE 10941.02
AT ITER 1763 NEW BEST:: SOT 60043 SOS 36988 HAS SOPS 36988 HAS SOUS 10895 HAS SOUPS 10895 WITH SCORE 10931.988
AT ITER 1775 NEW BEST:: SOT 59989 SOS 36891 HAS SOPS 36891 HAS SOUS 10883 HAS SOUPS 10883 WITH SCORE 10919.891
AT ITER 1776 NEW BEST:: SOT 59984 SOS 36901 HAS SOPS 36901 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10914.901
AT ITER 1785 NEW BEST:: SOT 59980 SOS 36908 HAS SOPS 36908 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10906.908
AT ITER 1788 NEW BEST:: SOT 59862 SOS 36689 HAS SOPS 36689 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10841.689
AT ITER 1801 NEW BEST:: SOT 59964 SOS 36757 HAS SOPS 36757 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10818.757
AT ITER 1811 NEW BEST:: SOT 59961 SOS 36754 HAS SOPS 36754 HAS SOUS 10778 HAS SOUPS 10778 WITH SCORE 10814.754
AT ITER 1831 NEW BEST:: SOT 59949 SOS 36700 HAS SOPS 36700 HAS SOUS 10778 HAS SOUPS 10778 WITH SCORE 10814.7
AT ITER 1850 NEW BEST:: SOT 59951 SOS 36702 HAS SOPS 36702 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10813.702
AT ITER 1855 NEW BEST:: SOT 59939 SOS 36678 HAS SOPS 36678 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10777.678
AT ITER 1856 NEW BEST:: SOT 59944 SOS 36683 HAS SOPS 36683 HAS SOUS 10736 HAS SOUPS 10736 WITH SCORE 10772.683
AT ITER 1858 NEW BEST:: SOT 59951 SOS 36657 HAS SOPS 36657 HAS SOUS 10710 HAS SOUPS 10710 WITH SCORE 10746.657
AT ITER 1868 NEW BEST:: SOT 59943 SOS 36633 HAS SOPS 36633 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10738.633
AT ITER 1877 NEW BEST:: SOT 59919 SOS 36609 HAS SOPS 36609 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10726.609
AT ITER 1881 NEW BEST:: SOT 59900 SOS 36585 HAS SOPS 36585 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10707.585
AT ITER 1897 NEW BEST:: SOT 59814 SOS 36471 HAS SOPS 36471 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10563.471
AT ITER 1920 NEW BEST:: SOT 59814 SOS 36467 HAS SOPS 36467 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10558.467
AT ITER 1929 NEW BEST:: SOT 59814 SOS 36467 HAS SOPS 36467 HAS SOUS 10521 HAS SOUPS 10521 WITH SCORE 10557.467
AT ITER 1934 NEW BEST:: SOT 59809 SOS 36457 HAS SOPS 36457 HAS SOUS 10521 HAS SOUPS 10521 WITH SCORE 10557.457
AT ITER 1946 NEW BEST:: SOT 59810 SOS 36466 HAS SOPS 36466 HAS SOUS 10510 HAS SOUPS 10510 WITH SCORE 10546.466
AT ITER 1957 NEW BEST:: SOT 59743 SOS 36392 HAS SOPS 36392 HAS SOUS 10444 HAS SOUPS 10444 WITH SCORE 10480.392
AT ITER 1961 NEW BEST:: SOT 59735 SOS 36508 HAS SOPS 36508 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10464.508
AT ITER 1977 NEW BEST:: SOT 59729 SOS 36502 HAS SOPS 36502 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10464.502
AT ITER 2002 NEW BEST:: SOT 59752 SOS 36501 HAS SOPS 36501 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10464.501
AT ITER 2064 NEW BEST:: SOT 59747 SOS 36499 HAS SOPS 36499 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10448.499
AT ITER 2080 NEW BEST:: SOT 59836 SOS 36346 HAS SOPS 36346 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10436.346
AT ITER 2084 NEW BEST:: SOT 59791 SOS 36276 HAS SOPS 36276 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10391.276
AT ITER 2088 NEW BEST:: SOT 59791 SOS 36276 HAS SOPS 36276 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10351.276
AT ITER 2104 NEW BEST:: SOT 59713 SOS 35948 HAS SOPS 35948 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10113.948
AT ITER 2116 NEW BEST:: SOT 59718 SOS 36034 HAS SOPS 36034 HAS SOUS 10051 HAS SOUPS 10051 WITH SCORE 10087.034
AT ITER 2140 NEW BEST:: SOT 59715 SOS 36028 HAS SOPS 36028 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10084.028
AT ITER 2143 NEW BEST:: SOT 59719 SOS 36020 HAS SOPS 36020 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10084.02
AT ITER 2147 NEW BEST:: SOT 59697 SOS 35998 HAS SOPS 35998 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10050.998
AT ITER 2156 NEW BEST:: SOT 59687 SOS 35818 HAS SOPS 35818 HAS SOUS 9971 HAS SOUPS 9971 WITH SCORE 10006.818
AT ITER 2160 NEW BEST:: SOT 59589 SOS 35674 HAS SOPS 35674 HAS SOUS 9905 HAS SOUPS 9905 WITH SCORE 9940.674
AT ITER 2176 NEW BEST:: SOT 59641 SOS 35720 HAS SOPS 35720 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9920.72
AT ITER 2192 NEW BEST:: SOT 59741 SOS 35898 HAS SOPS 35898 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9904.898
AT ITER 2202 NEW BEST:: SOT 59737 SOS 35892 HAS SOPS 35892 HAS SOUS 9865 HAS SOUPS 9865 WITH SCORE 9900.892
AT ITER 2204 NEW BEST:: SOT 59856 SOS 35987 HAS SOPS 35987 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9894.987
AT ITER 2216 NEW BEST:: SOT 59852 SOS 35985 HAS SOPS 35985 HAS SOUS 9855 HAS SOUPS 9855 WITH SCORE 9890.985
AT ITER 2217 NEW BEST:: SOT 59839 SOS 35930 HAS SOPS 35930 HAS SOUS 9821 HAS SOUPS 9821 WITH SCORE 9856.93
AT ITER 2236 NEW BEST:: SOT 59785 SOS 35822 HAS SOPS 35822 HAS SOUS 9777 HAS SOUPS 9777 WITH SCORE 9812.822
AT ITER 2242 NEW BEST:: SOT 59765 SOS 35737 HAS SOPS 35737 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9805.737
AT ITER 2255 NEW BEST:: SOT 59744 SOS 35709 HAS SOPS 35709 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9784.709
AT ITER 2273 NEW BEST:: SOT 59730 SOS 35642 HAS SOPS 35642 HAS SOUS 9706 HAS SOUPS 9706 WITH SCORE 9741.642
AT ITER 2304 NEW BEST:: SOT 59641 SOS 35590 HAS SOPS 35590 HAS SOUS 9617 HAS SOUPS 9617 WITH SCORE 9652.59
AT ITER 2307 NEW BEST:: SOT 59635 SOS 35572 HAS SOPS 35572 HAS SOUS 9611 HAS SOUPS 9611 WITH SCORE 9646.572
AT ITER 2339 NEW BEST:: SOT 59634 SOS 35570 HAS SOPS 35570 HAS SOUS 9610 HAS SOUPS 9610 WITH SCORE 9645.57
AT ITER 2340 NEW BEST:: SOT 59626 SOS 35590 HAS SOPS 35590 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9637.59
AT ITER 2344 NEW BEST:: SOT 59626 SOS 35590 HAS SOPS 35590 HAS SOUS 9586 HAS SOUPS 9586 WITH SCORE 9621.59
AT ITER 2349 NEW BEST:: SOT 59626 SOS 35584 HAS SOPS 35584 HAS SOUS 9583 HAS SOUPS 9583 WITH SCORE 9618.584
AT ITER 2356 NEW BEST:: SOT 59604 SOS 35562 HAS SOPS 35562 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9574.562
AT ITER 2370 NEW BEST:: SOT 59602 SOS 35558 HAS SOPS 35558 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9572.558
AT ITER 2384 NEW BEST:: SOT 59498 SOS 35499 HAS SOPS 35499 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9508.499
AT ITER 2385 NEW BEST:: SOT 59494 SOS 35472 HAS SOPS 35472 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9500.472
AT ITER 2392 NEW BEST:: SOT 59491 SOS 35466 HAS SOPS 35466 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9481.466
AT ITER 2417 NEW BEST:: SOT 59491 SOS 35466 HAS SOPS 35466 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9480.466
AT ITER 2447 NEW BEST:: SOT 59486 SOS 35464 HAS SOPS 35464 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9477.464
AT ITER 2449 NEW BEST:: SOT 59486 SOS 35456 HAS SOPS 35456 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9476.456
AT ITER 2450 NEW BEST:: SOT 59490 SOS 35484 HAS SOPS 35484 HAS SOUS 9426 HAS SOUPS 9426 WITH SCORE 9461.484
AT ITER 2479 NEW BEST:: SOT 59478 SOS 35493 HAS SOPS 35493 HAS SOUS 9411 HAS SOUPS 9411 WITH SCORE 9446.493
AT ITER 2487 NEW BEST:: SOT 59460 SOS 35475 HAS SOPS 35475 HAS SOUS 9360 HAS SOUPS 9360 WITH SCORE 9395.475
AT ITER 2490 NEW BEST:: SOT 59462 SOS 35497 HAS SOPS 35497 HAS SOUS 9358 HAS SOUPS 9358 WITH SCORE 9393.497
AT ITER 2501 NEW BEST:: SOT 59455 SOS 35484 HAS SOPS 35484 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9349.484
AT ITER 2504 NEW BEST:: SOT 59455 SOS 35501 HAS SOPS 35501 HAS SOUS 9297 HAS SOUPS 9297 WITH SCORE 9332.501
AT ITER 2513 NEW BEST:: SOT 59349 SOS 35236 HAS SOPS 35236 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9207.236
AT ITER 2576 NEW BEST:: SOT 59343 SOS 35230 HAS SOPS 35230 HAS SOUS 9166 HAS SOUPS 9166 WITH SCORE 9201.23
AT ITER 2577 NEW BEST:: SOT 59342 SOS 35227 HAS SOPS 35227 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9198.227
AT ITER 2581 NEW BEST:: SOT 59324 SOS 35209 HAS SOPS 35209 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9189.209
AT ITER 2582 NEW BEST:: SOT 59324 SOS 35209 HAS SOPS 35209 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9188.209
AT ITER 2583 NEW BEST:: SOT 59294 SOS 35169 HAS SOPS 35169 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9158.169
AT ITER 2588 NEW BEST:: SOT 59246 SOS 35001 HAS SOPS 35001 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9110.001
AT ITER 2599 NEW BEST:: SOT 59251 SOS 35006 HAS SOPS 35006 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9109.006
AT ITER 2614 NEW BEST:: SOT 59241 SOS 35011 HAS SOPS 35011 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9099.011
AT ITER 2616 NEW BEST:: SOT 59225 SOS 34995 HAS SOPS 34995 HAS SOUS 9040 HAS SOUPS 9040 WITH SCORE 9074.995
AT ITER 2620 NEW BEST:: SOT 59225 SOS 34981 HAS SOPS 34981 HAS SOUS 9033 HAS SOUPS 9033 WITH SCORE 9067.981
AT ITER 2633 NEW BEST:: SOT 59239 SOS 34967 HAS SOPS 34967 HAS SOUS 9033 HAS SOUPS 9033 WITH SCORE 9067.967
AT ITER 2668 NEW BEST:: SOT 59114 SOS 34829 HAS SOPS 34829 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8919.829
AT ITER 2687 NEW BEST:: SOT 59083 SOS 34870 HAS SOPS 34870 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8884.87
AT ITER 2698 NEW BEST:: SOT 59068 SOS 34830 HAS SOPS 34830 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8869.83
AT ITER 2723 NEW BEST:: SOT 59094 SOS 34858 HAS SOPS 34858 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8860.858
AT ITER 2733 NEW BEST:: SOT 59088 SOS 34846 HAS SOPS 34846 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8857.846
AT ITER 2738 NEW BEST:: SOT 59085 SOS 34840 HAS SOPS 34840 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8856.84
AT ITER 2750 NEW BEST:: SOT 59081 SOS 34828 HAS SOPS 34828 HAS SOUS 8818 HAS SOUPS 8818 WITH SCORE 8852.828
AT ITER 2751 NEW BEST:: SOT 59071 SOS 34797 HAS SOPS 34797 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8842.797
AT ITER 2802 NEW BEST:: SOT 59062 SOS 34779 HAS SOPS 34779 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8839.779
AT ITER 2861 NEW BEST:: SOT 59062 SOS 34775 HAS SOPS 34775 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8839.775
AT ITER 2885 NEW BEST:: SOT 59051 SOS 34764 HAS SOPS 34764 HAS SOUS 8803 HAS SOUPS 8803 WITH SCORE 8837.764
AT ITER 2888 NEW BEST:: SOT 59046 SOS 34749 HAS SOPS 34749 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8827.749
AT ITER 2914 NEW BEST:: SOT 59013 SOS 34716 HAS SOPS 34716 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8801.716
AT ITER 2941 NEW BEST:: SOT 59011 SOS 34710 HAS SOPS 34710 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8798.71
AT ITER 2952 NEW BEST:: SOT 59009 SOS 34706 HAS SOPS 34706 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8796.706
AT ITER 3003 NEW BEST:: SOT 59231 SOS 34961 HAS SOPS 34961 HAS SOUS 8737 HAS SOUPS 8737 WITH SCORE 8771.961
AT ITER 3005 NEW BEST:: SOT 59225 SOS 34955 HAS SOPS 34955 HAS SOUS 8734 HAS SOUPS 8734 WITH SCORE 8768.955
AT ITER 3022 NEW BEST:: SOT 59224 SOS 35462 HAS SOPS 35462 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8768.462
AT ITER 3031 NEW BEST:: SOT 59208 SOS 35446 HAS SOPS 35446 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8752.446
AT ITER 3097 NEW BEST:: SOT 59244 SOS 35482 HAS SOPS 35482 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8751.482
AT ITER 3109 NEW BEST:: SOT 59233 SOS 35476 HAS SOPS 35476 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8745.476
AT ITER 3124 NEW BEST:: SOT 59210 SOS 35430 HAS SOPS 35430 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8722.43
AT ITER 3144 NEW BEST:: SOT 59204 SOS 35418 HAS SOPS 35418 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8713.418
AT ITER 3170 NEW BEST:: SOT 59199 SOS 35420 HAS SOPS 35420 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8703.42
AT ITER 3176 NEW BEST:: SOT 59210 SOS 35449 HAS SOPS 35449 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8698.449
AT ITER 3180 NEW BEST:: SOT 59214 SOS 35276 HAS SOPS 35276 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8694.276
AT ITER 3210 NEW BEST:: SOT 59193 SOS 35255 HAS SOPS 35255 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8684.255
AT ITER 3216 NEW BEST:: SOT 59185 SOS 35247 HAS SOPS 35247 HAS SOUS 8612 HAS SOUPS 8612 WITH SCORE 8647.247
AT ITER 3224 NEW BEST:: SOT 59174 SOS 35217 HAS SOPS 35217 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8621.217
AT ITER 3229 NEW BEST:: SOT 59076 SOS 35119 HAS SOPS 35119 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8603.119
AT ITER 3238 NEW BEST:: SOT 59076 SOS 35119 HAS SOPS 35119 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8601.119
AT ITER 3246 NEW BEST:: SOT 58924 SOS 35349 HAS SOPS 35349 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8530.349
AT ITER 3253 NEW BEST:: SOT 58909 SOS 35334 HAS SOPS 35334 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8521.334
AT ITER 3255 NEW BEST:: SOT 58915 SOS 34156 HAS SOPS 34156 HAS SOUS 8464 HAS SOUPS 8464 WITH SCORE 8498.156
AT ITER 3263 NEW BEST:: SOT 58915 SOS 34156 HAS SOPS 34156 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8489.156
AT ITER 3266 NEW BEST:: SOT 58856 SOS 34087 HAS SOPS 34087 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8425.087
AT ITER 3273 NEW BEST:: SOT 58852 SOS 34083 HAS SOPS 34083 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8417.083
AT ITER 3289 NEW BEST:: SOT 58836 SOS 34059 HAS SOPS 34059 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8413.059
AT ITER 3306 NEW BEST:: SOT 58813 SOS 34028 HAS SOPS 34028 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8409.028
AT ITER 3334 NEW BEST:: SOT 58810 SOS 34023 HAS SOPS 34023 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8406.023
AT ITER 3345 NEW BEST:: SOT 58822 SOS 34035 HAS SOPS 34035 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8389.035
AT ITER 3350 NEW BEST:: SOT 58818 SOS 34031 HAS SOPS 34031 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8385.031
AT ITER 3358 NEW BEST:: SOT 58812 SOS 34019 HAS SOPS 34019 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8379.019
AT ITER 3360 NEW BEST:: SOT 58810 SOS 34015 HAS SOPS 34015 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8376.015
AT ITER 3384 NEW BEST:: SOT 58804 SOS 33997 HAS SOPS 33997 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8375.997
AT ITER 3400 NEW BEST:: SOT 58804 SOS 33997 HAS SOPS 33997 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8369.997
AT ITER 3405 NEW BEST:: SOT 58800 SOS 33997 HAS SOPS 33997 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8363.997
AT ITER 3429 NEW BEST:: SOT 58800 SOS 33911 HAS SOPS 33911 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8319.911
AT ITER 3451 NEW BEST:: SOT 58799 SOS 33911 HAS SOPS 33911 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8317.911
AT ITER 3452 NEW BEST:: SOT 58702 SOS 33812 HAS SOPS 33812 HAS SOUS 8238 HAS SOUPS 8238 WITH SCORE 8271.812
AT ITER 3489 NEW BEST:: SOT 58661 SOS 33774 HAS SOPS 33774 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8230.774
AT ITER 3508 NEW BEST:: SOT 58671 SOS 33770 HAS SOPS 33770 HAS SOUS 8187 HAS SOUPS 8187 WITH SCORE 8220.77
AT ITER 3544 NEW BEST:: SOT 58687 SOS 33867 HAS SOPS 33867 HAS SOUS 8185 HAS SOUPS 8185 WITH SCORE 8218.867
AT ITER 3547 NEW BEST:: SOT 58678 SOS 33858 HAS SOPS 33858 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8209.858
AT ITER 3572 NEW BEST:: SOT 58653 SOS 33788 HAS SOPS 33788 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8170.788
AT ITER 3591 NEW BEST:: SOT 58677 SOS 33817 HAS SOPS 33817 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8161.817
AT ITER 3595 NEW BEST:: SOT 58678 SOS 33818 HAS SOPS 33818 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8160.818
AT ITER 3610 NEW BEST:: SOT 58679 SOS 33804 HAS SOPS 33804 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8159.804
AT ITER 3611 NEW BEST:: SOT 58686 SOS 33808 HAS SOPS 33808 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8154.808
AT ITER 3632 NEW BEST:: SOT 58683 SOS 33796 HAS SOPS 33796 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8151.796
AT ITER 3644 NEW BEST:: SOT 58657 SOS 33747 HAS SOPS 33747 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8136.747
AT ITER 3660 NEW BEST:: SOT 58657 SOS 33747 HAS SOPS 33747 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8134.747
AT ITER 3668 NEW BEST:: SOT 58670 SOS 33752 HAS SOPS 33752 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8131.752
AT ITER 3682 NEW BEST:: SOT 58661 SOS 33740 HAS SOPS 33740 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8122.74
AT ITER 3685 NEW BEST:: SOT 58660 SOS 33748 HAS SOPS 33748 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8121.748
AT ITER 3740 NEW BEST:: SOT 58584 SOS 33672 HAS SOPS 33672 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8078.672
AT ITER 3762 NEW BEST:: SOT 58566 SOS 33650 HAS SOPS 33650 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8060.65
AT ITER 3768 NEW BEST:: SOT 58566 SOS 33620 HAS SOPS 33620 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8045.62
AT ITER 3799 NEW BEST:: SOT 58477 SOS 33395 HAS SOPS 33395 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7939.395
AT ITER 3812 NEW BEST:: SOT 58475 SOS 33561 HAS SOPS 33561 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7937.561
AT ITER 3820 NEW BEST:: SOT 58475 SOS 33561 HAS SOPS 33561 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7928.561
AT ITER 3844 NEW BEST:: SOT 58453 SOS 33537 HAS SOPS 33537 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7913.537
AT ITER 3868 NEW BEST:: SOT 58441 SOS 33511 HAS SOPS 33511 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7901.511
AT ITER 3883 NEW BEST:: SOT 58433 SOS 33499 HAS SOPS 33499 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7897.499
AT ITER 3914 NEW BEST:: SOT 58442 SOS 33419 HAS SOPS 33419 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7856.419
AT ITER 3934 NEW BEST:: SOT 58444 SOS 33415 HAS SOPS 33415 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7854.415
AT ITER 3970 NEW BEST:: SOT 58440 SOS 33413 HAS SOPS 33413 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7852.413
AT ITER 3981 NEW BEST:: SOT 58403 SOS 33371 HAS SOPS 33371 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7848.371
AT ITER 4025 NEW BEST:: SOT 58401 SOS 33371 HAS SOPS 33371 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7845.371
AT ITER 4042 NEW BEST:: SOT 58391 SOS 33371 HAS SOPS 33371 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7835.371
AT ITER 4049 NEW BEST:: SOT 58393 SOS 33373 HAS SOPS 33373 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7824.373
AT ITER 4064 NEW BEST:: SOT 58392 SOS 33369 HAS SOPS 33369 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7811.369
AT ITER 4117 NEW BEST:: SOT 58370 SOS 33359 HAS SOPS 33359 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7773.359
AT ITER 4128 NEW BEST:: SOT 58370 SOS 33159 HAS SOPS 33159 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7767.159
AT ITER 4131 NEW BEST:: SOT 58365 SOS 33126 HAS SOPS 33126 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7759.126
AT ITER 4145 NEW BEST:: SOT 58363 SOS 33124 HAS SOPS 33124 HAS SOUS 7714 HAS SOUPS 7714 WITH SCORE 7747.124
AT ITER 4168 NEW BEST:: SOT 58357 SOS 33118 HAS SOPS 33118 HAS SOUS 7693 HAS SOUPS 7693 WITH SCORE 7726.118
AT ITER 4170 NEW BEST:: SOT 58357 SOS 33114 HAS SOPS 33114 HAS SOUS 7689 HAS SOUPS 7689 WITH SCORE 7722.114
AT ITER 4185 NEW BEST:: SOT 58355 SOS 33108 HAS SOPS 33108 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7710.108
AT ITER 4203 NEW BEST:: SOT 58350 SOS 33083 HAS SOPS 33083 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7705.083
AT ITER 4211 NEW BEST:: SOT 58345 SOS 33073 HAS SOPS 33073 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7700.073
AT ITER 4219 NEW BEST:: SOT 58346 SOS 33072 HAS SOPS 33072 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7700.072
AT ITER 4226 NEW BEST:: SOT 58296 SOS 33024 HAS SOPS 33024 HAS SOUS 7665 HAS SOUPS 7665 WITH SCORE 7698.024
AT ITER 4234 NEW BEST:: SOT 58259 SOS 33000 HAS SOPS 33000 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7668.0
AT ITER 4245 NEW BEST:: SOT 58259 SOS 33000 HAS SOPS 33000 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7664.0
AT ITER 4350 NEW BEST:: SOT 58235 SOS 32960 HAS SOPS 32960 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7631.96
AT ITER 4384 NEW BEST:: SOT 58235 SOS 32960 HAS SOPS 32960 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7628.96
AT ITER 4428 NEW BEST:: SOT 58245 SOS 32962 HAS SOPS 32962 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7614.962
AT ITER 4429 NEW BEST:: SOT 58244 SOS 32902 HAS SOPS 32902 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7584.902
AT ITER 4488 NEW BEST:: SOT 58236 SOS 32894 HAS SOPS 32894 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7582.894
AT ITER 4493 NEW BEST:: SOT 58197 SOS 32855 HAS SOPS 32855 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7582.855
AT ITER 4513 NEW BEST:: SOT 58155 SOS 32749 HAS SOPS 32749 HAS SOUS 7530 HAS SOUPS 7530 WITH SCORE 7562.749
AT ITER 4518 NEW BEST:: SOT 58149 SOS 32741 HAS SOPS 32741 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7550.741
AT ITER 4525 NEW BEST:: SOT 58082 SOS 32697 HAS SOPS 32697 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7494.697
AT ITER 4581 NEW BEST:: SOT 58068 SOS 32669 HAS SOPS 32669 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7480.669
AT ITER 4616 NEW BEST:: SOT 58061 SOS 32670 HAS SOPS 32670 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7473.67
AT ITER 4637 NEW BEST:: SOT 58031 SOS 32580 HAS SOPS 32580 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7436.58
AT ITER 4672 NEW BEST:: SOT 58031 SOS 32488 HAS SOPS 32488 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7434.488
AT ITER 4702 NEW BEST:: SOT 58025 SOS 32616 HAS SOPS 32616 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7418.616
AT ITER 4775 NEW BEST:: SOT 58013 SOS 32604 HAS SOPS 32604 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7409.604
AT ITER 4777 NEW BEST:: SOT 58008 SOS 32586 HAS SOPS 32586 HAS SOUS 7363 HAS SOUPS 7363 WITH SCORE 7395.586
AT ITER 4790 NEW BEST:: SOT 58017 SOS 32595 HAS SOPS 32595 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7386.595
AT ITER 4824 NEW BEST:: SOT 58010 SOS 32572 HAS SOPS 32572 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7379.572
AT ITER 4831 NEW BEST:: SOT 58003 SOS 32550 HAS SOPS 32550 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7370.55
AT ITER 4845 NEW BEST:: SOT 58039 SOS 32566 HAS SOPS 32566 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7339.566
AT ITER 4856 NEW BEST:: SOT 58034 SOS 32556 HAS SOPS 32556 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7334.556
AT ITER 4876 NEW BEST:: SOT 58010 SOS 32514 HAS SOPS 32514 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7328.514
AT ITER 4904 NEW BEST:: SOT 58010 SOS 32514 HAS SOPS 32514 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7323.514
AT ITER 4910 NEW BEST:: SOT 57983 SOS 32476 HAS SOPS 32476 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7298.476
AT ITER 4916 NEW BEST:: SOT 57970 SOS 32462 HAS SOPS 32462 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7297.462
AT ITER 4948 NEW BEST:: SOT 57947 SOS 32453 HAS SOPS 32453 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7290.453
AT ITER 4984 NEW BEST:: SOT 57945 SOS 32477 HAS SOPS 32477 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7288.477
AT ITER 5044 NEW BEST:: SOT 57931 SOS 32463 HAS SOPS 32463 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7277.463
AT ITER 5046 NEW BEST:: SOT 57931 SOS 32463 HAS SOPS 32463 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7273.463
AT ITER 5053 NEW BEST:: SOT 57907 SOS 32399 HAS SOPS 32399 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7269.399
AT ITER 5056 NEW BEST:: SOT 57898 SOS 32411 HAS SOPS 32411 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7260.411
AT ITER 5166 NEW BEST:: SOT 57835 SOS 32430 HAS SOPS 32430 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7254.43
AT ITER 5222 NEW BEST:: SOT 57830 SOS 32405 HAS SOPS 32405 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7236.405
AT ITER 5237 NEW BEST:: SOT 57826 SOS 32397 HAS SOPS 32397 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7228.397
AT ITER 5238 NEW BEST:: SOT 57850 SOS 32442 HAS SOPS 32442 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7210.442
AT ITER 5252 NEW BEST:: SOT 57850 SOS 32442 HAS SOPS 32442 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7208.442
AT ITER 5269 NEW BEST:: SOT 57852 SOS 32444 HAS SOPS 32444 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7205.444
AT ITER 5488 NEW BEST:: SOT 57836 SOS 32352 HAS SOPS 32352 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7159.352
AT ITER 5541 NEW BEST:: SOT 57817 SOS 32347 HAS SOPS 32347 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7143.347
AT ITER 5550 NEW BEST:: SOT 57786 SOS 32297 HAS SOPS 32297 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7082.297
AT ITER 5551 NEW BEST:: SOT 57786 SOS 32297 HAS SOPS 32297 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7080.297
AT ITER 5574 NEW BEST:: SOT 57776 SOS 32287 HAS SOPS 32287 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7075.287
AT ITER 5594 NEW BEST:: SOT 57819 SOS 32330 HAS SOPS 32330 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7025.33
AT ITER 5714 NEW BEST:: SOT 57819 SOS 32314 HAS SOPS 32314 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 7017.314
AT ITER 5722 NEW BEST:: SOT 57811 SOS 32298 HAS SOPS 32298 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 7017.298
AT ITER 5729 NEW BEST:: SOT 57770 SOS 32226 HAS SOPS 32226 HAS SOUS 6964 HAS SOUPS 6964 WITH SCORE 6996.226
AT ITER 5736 NEW BEST:: SOT 57749 SOS 32180 HAS SOPS 32180 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6957.18
AT ITER 5798 NEW BEST:: SOT 57738 SOS 32164 HAS SOPS 32164 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6946.164
AT ITER 5799 NEW BEST:: SOT 57734 SOS 32160 HAS SOPS 32160 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6936.16
AT ITER 5804 NEW BEST:: SOT 57730 SOS 32160 HAS SOPS 32160 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6930.16
AT ITER 5809 NEW BEST:: SOT 57717 SOS 32146 HAS SOPS 32146 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6924.146
AT ITER 5817 NEW BEST:: SOT 57712 SOS 32148 HAS SOPS 32148 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6915.148
AT ITER 5885 NEW BEST:: SOT 57715 SOS 32154 HAS SOPS 32154 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6914.154
AT ITER 5888 NEW BEST:: SOT 57713 SOS 32176 HAS SOPS 32176 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6896.176
AT ITER 5979 NEW BEST:: SOT 57713 SOS 32142 HAS SOPS 32142 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6891.142
AT ITER 5984 NEW BEST:: SOT 57682 SOS 32019 HAS SOPS 32019 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6845.019
AT ITER 5996 NEW BEST:: SOT 57679 SOS 32013 HAS SOPS 32013 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6841.013
AT ITER 6011 NEW BEST:: SOT 57678 SOS 32013 HAS SOPS 32013 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6840.013
AT ITER 6014 NEW BEST:: SOT 57673 SOS 32018 HAS SOPS 32018 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6825.018
AT ITER 6018 NEW BEST:: SOT 57680 SOS 32025 HAS SOPS 32025 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6817.025
AT ITER 6052 NEW BEST:: SOT 57680 SOS 32021 HAS SOPS 32021 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6817.021
AT ITER 6097 NEW BEST:: SOT 57691 SOS 32037 HAS SOPS 32037 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6813.037
AT ITER 6098 NEW BEST:: SOT 57666 SOS 31994 HAS SOPS 31994 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6789.994
AT ITER 6111 NEW BEST:: SOT 57666 SOS 31984 HAS SOPS 31984 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6777.984
AT ITER 6160 NEW BEST:: SOT 57666 SOS 31984 HAS SOPS 31984 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6771.984
AT ITER 6168 NEW BEST:: SOT 57659 SOS 31977 HAS SOPS 31977 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6751.977
AT ITER 6210 NEW BEST:: SOT 57673 SOS 31991 HAS SOPS 31991 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6749.991
AT ITER 6211 NEW BEST:: SOT 57672 SOS 32002 HAS SOPS 32002 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6746.002
AT ITER 6289 NEW BEST:: SOT 57656 SOS 31975 HAS SOPS 31975 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6741.975
AT ITER 6341 NEW BEST:: SOT 57656 SOS 31975 HAS SOPS 31975 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6739.975
AT ITER 6363 NEW BEST:: SOT 57654 SOS 31965 HAS SOPS 31965 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6737.965
AT ITER 6373 NEW BEST:: SOT 57635 SOS 31914 HAS SOPS 31914 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6700.914
AT ITER 6396 NEW BEST:: SOT 57632 SOS 31910 HAS SOPS 31910 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6696.91
AT ITER 6403 NEW BEST:: SOT 57629 SOS 31904 HAS SOPS 31904 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6690.904
AT ITER 6411 NEW BEST:: SOT 57627 SOS 31900 HAS SOPS 31900 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6686.9
AT ITER 6438 NEW BEST:: SOT 57554 SOS 31797 HAS SOPS 31797 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6660.797
AT ITER 6647 NEW BEST:: SOT 57554 SOS 31791 HAS SOPS 31791 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6657.791
AT ITER 6671 NEW BEST:: SOT 57540 SOS 31754 HAS SOPS 31754 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6650.754
AT ITER 6681 NEW BEST:: SOT 57524 SOS 31737 HAS SOPS 31737 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6639.737
AT ITER 6756 NEW BEST:: SOT 57509 SOS 31711 HAS SOPS 31711 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6624.711
AT ITER 6775 NEW BEST:: SOT 57498 SOS 31701 HAS SOPS 31701 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6613.701
AT ITER 6808 NEW BEST:: SOT 57460 SOS 31669 HAS SOPS 31669 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6550.669
AT ITER 6829 NEW BEST:: SOT 57448 SOS 31660 HAS SOPS 31660 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6544.66
AT ITER 6850 NEW BEST:: SOT 57438 SOS 31644 HAS SOPS 31644 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6534.644
AT ITER 6859 NEW BEST:: SOT 57452 SOS 31718 HAS SOPS 31718 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6526.718
AT ITER 6923 NEW BEST:: SOT 57448 SOS 31714 HAS SOPS 31714 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6508.714
AT ITER 6946 NEW BEST:: SOT 57446 SOS 31712 HAS SOPS 31712 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6507.712
AT ITER 6955 NEW BEST:: SOT 57446 SOS 31712 HAS SOPS 31712 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6503.712
AT ITER 7010 NEW BEST:: SOT 57441 SOS 31702 HAS SOPS 31702 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6498.702
AT ITER 7046 NEW BEST:: SOT 57445 SOS 31718 HAS SOPS 31718 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6480.718
AT ITER 7108 NEW BEST:: SOT 57424 SOS 31697 HAS SOPS 31697 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6474.697
AT ITER 7242 NEW BEST:: SOT 57418 SOS 31691 HAS SOPS 31691 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6474.691
AT ITER 7264 NEW BEST:: SOT 57396 SOS 31654 HAS SOPS 31654 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6471.654
AT ITER 7347 NEW BEST:: SOT 57394 SOS 31651 HAS SOPS 31651 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6468.651
AT ITER 7351 NEW BEST:: SOT 57402 SOS 31654 HAS SOPS 31654 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6465.654
AT ITER 7352 NEW BEST:: SOT 57400 SOS 31652 HAS SOPS 31652 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6464.652
AT ITER 7409 NEW BEST:: SOT 57398 SOS 31650 HAS SOPS 31650 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6464.65
AT ITER 7429 NEW BEST:: SOT 57387 SOS 31628 HAS SOPS 31628 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6452.628
AT ITER 7464 NEW BEST:: SOT 57387 SOS 31627 HAS SOPS 31627 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6452.627
AT ITER 7469 NEW BEST:: SOT 57395 SOS 31618 HAS SOPS 31618 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6450.618
AT ITER 7485 NEW BEST:: SOT 57394 SOS 31617 HAS SOPS 31617 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6440.617
AT ITER 7605 NEW BEST:: SOT 57389 SOS 31612 HAS SOPS 31612 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6435.612
AT ITER 7638 NEW BEST:: SOT 57381 SOS 31600 HAS SOPS 31600 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6429.6
AT ITER 7650 NEW BEST:: SOT 57382 SOS 31598 HAS SOPS 31598 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6429.598
AT ITER 7739 NEW BEST:: SOT 57374 SOS 31584 HAS SOPS 31584 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6409.584
AT ITER 7743 NEW BEST:: SOT 57374 SOS 31581 HAS SOPS 31581 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6408.581
AT ITER 7761 NEW BEST:: SOT 57377 SOS 31597 HAS SOPS 31597 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6406.597
AT ITER 7897 NEW BEST:: SOT 57377 SOS 31591 HAS SOPS 31591 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6406.591
AT ITER 7912 NEW BEST:: SOT 57364 SOS 31509 HAS SOPS 31509 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6403.509
AT ITER 8079 NEW BEST:: SOT 57363 SOS 31505 HAS SOPS 31505 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6402.505
AT ITER 8087 NEW BEST:: SOT 57368 SOS 31503 HAS SOPS 31503 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6401.503
AT ITER 8127 NEW BEST:: SOT 57383 SOS 31518 HAS SOPS 31518 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6396.518
AT ITER 8148 NEW BEST:: SOT 57375 SOS 31526 HAS SOPS 31526 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6384.526
AT ITER 8164 NEW BEST:: SOT 57366 SOS 31517 HAS SOPS 31517 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6374.517
AT ITER 8198 NEW BEST:: SOT 57366 SOS 31517 HAS SOPS 31517 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6357.517
AT ITER 8238 NEW BEST:: SOT 57359 SOS 31524 HAS SOPS 31524 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6354.524
AT ITER 8268 NEW BEST:: SOT 57353 SOS 31512 HAS SOPS 31512 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6351.512
AT ITER 8333 NEW BEST:: SOT 57350 SOS 31506 HAS SOPS 31506 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6351.506
AT ITER 8379 NEW BEST:: SOT 57350 SOS 31497 HAS SOPS 31497 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6348.497
AT ITER 8396 NEW BEST:: SOT 57350 SOS 31493 HAS SOPS 31493 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6344.493
AT ITER 8414 NEW BEST:: SOT 57354 SOS 31457 HAS SOPS 31457 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6339.457
AT ITER 8423 NEW BEST:: SOT 57341 SOS 31442 HAS SOPS 31442 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6336.442
AT ITER 8540 NEW BEST:: SOT 57332 SOS 31424 HAS SOPS 31424 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6336.424
AT ITER 8572 NEW BEST:: SOT 57332 SOS 31441 HAS SOPS 31441 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6334.441
AT ITER 8580 NEW BEST:: SOT 57337 SOS 31346 HAS SOPS 31346 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6334.346
AT ITER 8616 NEW BEST:: SOT 57238 SOS 31391 HAS SOPS 31391 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6298.391
AT ITER 8668 NEW BEST:: SOT 57232 SOS 31380 HAS SOPS 31380 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6297.38
AT ITER 8670 NEW BEST:: SOT 57228 SOS 31366 HAS SOPS 31366 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6292.366
AT ITER 8692 NEW BEST:: SOT 57229 SOS 31367 HAS SOPS 31367 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6290.367
AT ITER 8793 NEW BEST:: SOT 57220 SOS 31352 HAS SOPS 31352 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6281.352
AT ITER 8820 NEW BEST:: SOT 57218 SOS 31350 HAS SOPS 31350 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6279.35
AT ITER 8837 NEW BEST:: SOT 57202 SOS 31330 HAS SOPS 31330 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6263.33
AT ITER 8873 NEW BEST:: SOT 57189 SOS 31284 HAS SOPS 31284 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6250.284
AT ITER 8983 NEW BEST:: SOT 57194 SOS 31289 HAS SOPS 31289 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6246.289
AT ITER 9004 NEW BEST:: SOT 57175 SOS 31270 HAS SOPS 31270 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6235.27
AT ITER 9046 NEW BEST:: SOT 57171 SOS 31266 HAS SOPS 31266 HAS SOUS 6200 HAS SOUPS 6200 WITH SCORE 6231.266
AT ITER 9050 NEW BEST:: SOT 57155 SOS 31250 HAS SOPS 31250 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6224.25
AT ITER 9068 NEW BEST:: SOT 57158 SOS 31241 HAS SOPS 31241 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6221.241
AT ITER 9075 NEW BEST:: SOT 57155 SOS 31232 HAS SOPS 31232 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6215.232
AT ITER 9160 NEW BEST:: SOT 57136 SOS 31249 HAS SOPS 31249 HAS SOUS 6179 HAS SOUPS 6179 WITH SCORE 6210.249
AT ITER 9249 NEW BEST:: SOT 57139 SOS 31249 HAS SOPS 31249 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6207.249
AT ITER 9277 NEW BEST:: SOT 57131 SOS 31209 HAS SOPS 31209 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6199.209
AT ITER 9305 NEW BEST:: SOT 57123 SOS 31193 HAS SOPS 31193 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6199.193
AT ITER 9320 NEW BEST:: SOT 57114 SOS 31189 HAS SOPS 31189 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6198.189
AT ITER 9338 NEW BEST:: SOT 57104 SOS 31179 HAS SOPS 31179 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6184.179
AT ITER 9368 NEW BEST:: SOT 57091 SOS 31107 HAS SOPS 31107 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6172.107
AT ITER 9471 NEW BEST:: SOT 57088 SOS 31098 HAS SOPS 31098 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6169.098
AT ITER 9519 NEW BEST:: SOT 57092 SOS 31096 HAS SOPS 31096 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6169.096
AT ITER 9561 NEW BEST:: SOT 57090 SOS 31092 HAS SOPS 31092 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6167.092
AT ITER 9636 NEW BEST:: SOT 57095 SOS 31114 HAS SOPS 31114 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6166.114
AT ITER 9646 NEW BEST:: SOT 57094 SOS 31116 HAS SOPS 31116 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6165.116
AT ITER 9713 NEW BEST:: SOT 57069 SOS 31034 HAS SOPS 31034 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6137.034
AT ITER 9720 NEW BEST:: SOT 57069 SOS 31010 HAS SOPS 31010 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6137.01
AT ITER 9785 NEW BEST:: SOT 57065 SOS 31004 HAS SOPS 31004 HAS SOUS 6105 HAS SOUPS 6105 WITH SCORE 6136.004
AT ITER 9839 NEW BEST:: SOT 57069 SOS 31372 HAS SOPS 31372 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6131.372
AT ITER 9853 NEW BEST:: SOT 57067 SOS 31370 HAS SOPS 31370 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6128.37
STATE_SPACE STATES 24718999250 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 25 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 286575265020 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679314304176
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-PT-Z4T3N06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is UtilityControlRoom-PT-Z4T3N06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711501168"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-PT-Z4T3N06.tgz
mv UtilityControlRoom-PT-Z4T3N06 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 '
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 ;