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-167912711301048.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-COL-Z4T3N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711301048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 8.4K Feb 26 14:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 14:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 26 14:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 14:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679307687241

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-COL-Z4T3N10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:21:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:21:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:21:29] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-20 10:21:29] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:21:29] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 693 ms
[2023-03-20 10:21:29] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 376 PT places and 750.0 transition bindings in 20 ms.
[2023-03-20 10:21:30] [INFO ] Unfolded HLPN to a Petri net with 376 places and 750 transitions 2410 arcs in 29 ms.
[2023-03-20 10:21:30] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:21:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 376 places, 750 transitions and 2410 arcs took 10 ms.
Total runtime 855 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T3N10
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: 376 places, 750 transitions, 2410 arcs.
AT ITER 0 NEW BEST:: SOT 229612 SOS 183793 HAS SOPS 183793 HAS SOUS 101937 HAS SOUPS 101937 WITH SCORE 102120.793
AT ITER 3 NEW BEST:: SOT 229487 SOS 183604 HAS SOPS 183604 HAS SOUS 101434 HAS SOUPS 101434 WITH SCORE 101617.604
AT ITER 5 NEW BEST:: SOT 229487 SOS 183939 HAS SOPS 183939 HAS SOUS 101350 HAS SOUPS 101350 WITH SCORE 101533.939
AT ITER 6 NEW BEST:: SOT 229379 SOS 183757 HAS SOPS 183757 HAS SOUS 101198 HAS SOUPS 101198 WITH SCORE 101381.757
AT ITER 11 NEW BEST:: SOT 229338 SOS 183675 HAS SOPS 183675 HAS SOUS 100981 HAS SOUPS 100981 WITH SCORE 101164.675
AT ITER 13 NEW BEST:: SOT 229278 SOS 183555 HAS SOPS 183555 HAS SOUS 100375 HAS SOUPS 100375 WITH SCORE 100558.555
AT ITER 14 NEW BEST:: SOT 223204 SOS 177491 HAS SOPS 177491 HAS SOUS 94173 HAS SOUPS 94173 WITH SCORE 94350.491
AT ITER 19 NEW BEST:: SOT 223254 SOS 176663 HAS SOPS 176663 HAS SOUS 94007 HAS SOUPS 94007 WITH SCORE 94183.663
AT ITER 24 NEW BEST:: SOT 223156 SOS 176448 HAS SOPS 176448 HAS SOUS 93890 HAS SOUPS 93890 WITH SCORE 94066.448
AT ITER 28 NEW BEST:: SOT 223156 SOS 176032 HAS SOPS 176032 HAS SOUS 93782 HAS SOUPS 93782 WITH SCORE 93958.032
AT ITER 32 NEW BEST:: SOT 223109 SOS 175938 HAS SOPS 175938 HAS SOUS 93308 HAS SOUPS 93308 WITH SCORE 93483.938
AT ITER 37 NEW BEST:: SOT 223061 SOS 175622 HAS SOPS 175622 HAS SOUS 93189 HAS SOUPS 93189 WITH SCORE 93364.622
AT ITER 38 NEW BEST:: SOT 223061 SOS 174942 HAS SOPS 174942 HAS SOUS 93019 HAS SOUPS 93019 WITH SCORE 93193.942
AT ITER 39 NEW BEST:: SOT 223034 SOS 174906 HAS SOPS 174906 HAS SOUS 92976 HAS SOUPS 92976 WITH SCORE 93150.906
AT ITER 43 NEW BEST:: SOT 223135 SOS 174966 HAS SOPS 174966 HAS SOUS 92898 HAS SOUPS 92898 WITH SCORE 93072.966
AT ITER 44 NEW BEST:: SOT 223033 SOS 174322 HAS SOPS 174322 HAS SOUS 92584 HAS SOUPS 92584 WITH SCORE 92758.322
AT ITER 45 NEW BEST:: SOT 223033 SOS 174070 HAS SOPS 174070 HAS SOUS 92521 HAS SOUPS 92521 WITH SCORE 92695.07
AT ITER 46 NEW BEST:: SOT 222835 SOS 173674 HAS SOPS 173674 HAS SOUS 91533 HAS SOUPS 91533 WITH SCORE 91706.674
AT ITER 48 NEW BEST:: SOT 222751 SOS 173415 HAS SOPS 173415 HAS SOUS 91365 HAS SOUPS 91365 WITH SCORE 91538.415
AT ITER 55 NEW BEST:: SOT 222567 SOS 173063 HAS SOPS 173063 HAS SOUS 91115 HAS SOUPS 91115 WITH SCORE 91288.063
AT ITER 56 NEW BEST:: SOT 222491 SOS 170065 HAS SOPS 170065 HAS SOUS 90960 HAS SOUPS 90960 WITH SCORE 91130.065
AT ITER 57 NEW BEST:: SOT 222517 SOS 170115 HAS SOPS 170115 HAS SOUS 90836 HAS SOUPS 90836 WITH SCORE 91006.115
AT ITER 59 NEW BEST:: SOT 222517 SOS 170115 HAS SOPS 170115 HAS SOUS 90832 HAS SOUPS 90832 WITH SCORE 91002.115
AT ITER 61 NEW BEST:: SOT 222439 SOS 170239 HAS SOPS 170239 HAS SOUS 90722 HAS SOUPS 90722 WITH SCORE 90892.239
AT ITER 71 NEW BEST:: SOT 222439 SOS 170200 HAS SOPS 170200 HAS SOUS 90705 HAS SOUPS 90705 WITH SCORE 90875.2
AT ITER 73 NEW BEST:: SOT 222117 SOS 169878 HAS SOPS 169878 HAS SOUS 90383 HAS SOUPS 90383 WITH SCORE 90552.878
AT ITER 77 NEW BEST:: SOT 222056 SOS 169588 HAS SOPS 169588 HAS SOUS 89754 HAS SOUPS 89754 WITH SCORE 89923.588
AT ITER 78 NEW BEST:: SOT 222042 SOS 169606 HAS SOPS 169606 HAS SOUS 89694 HAS SOUPS 89694 WITH SCORE 89863.606
AT ITER 80 NEW BEST:: SOT 221852 SOS 169393 HAS SOPS 169393 HAS SOUS 89459 HAS SOUPS 89459 WITH SCORE 89628.393
AT ITER 81 NEW BEST:: SOT 221514 SOS 169065 HAS SOPS 169065 HAS SOUS 88935 HAS SOUPS 88935 WITH SCORE 89104.065
AT ITER 82 NEW BEST:: SOT 221463 SOS 169090 HAS SOPS 169090 HAS SOUS 88735 HAS SOUPS 88735 WITH SCORE 88904.09
AT ITER 88 NEW BEST:: SOT 221192 SOS 164741 HAS SOPS 164741 HAS SOUS 86496 HAS SOUPS 86496 WITH SCORE 86660.741
AT ITER 89 NEW BEST:: SOT 221142 SOS 165072 HAS SOPS 165072 HAS SOUS 86115 HAS SOUPS 86115 WITH SCORE 86280.072
AT ITER 91 NEW BEST:: SOT 221289 SOS 165096 HAS SOPS 165096 HAS SOUS 86107 HAS SOUPS 86107 WITH SCORE 86272.096
AT ITER 95 NEW BEST:: SOT 221289 SOS 165111 HAS SOPS 165111 HAS SOUS 86105 HAS SOUPS 86105 WITH SCORE 86270.111
AT ITER 96 NEW BEST:: SOT 221198 SOS 164573 HAS SOPS 164573 HAS SOUS 85377 HAS SOUPS 85377 WITH SCORE 85541.573
AT ITER 102 NEW BEST:: SOT 221096 SOS 163777 HAS SOPS 163777 HAS SOUS 85025 HAS SOUPS 85025 WITH SCORE 85188.777
AT ITER 112 NEW BEST:: SOT 221087 SOS 163782 HAS SOPS 163782 HAS SOUS 84983 HAS SOUPS 84983 WITH SCORE 85146.782
AT ITER 118 NEW BEST:: SOT 221087 SOS 163782 HAS SOPS 163782 HAS SOUS 84975 HAS SOUPS 84975 WITH SCORE 85138.782
AT ITER 119 NEW BEST:: SOT 221174 SOS 163823 HAS SOPS 163823 HAS SOUS 84788 HAS SOUPS 84788 WITH SCORE 84951.823
AT ITER 121 NEW BEST:: SOT 221133 SOS 163349 HAS SOPS 163349 HAS SOUS 84138 HAS SOUPS 84138 WITH SCORE 84301.349
AT ITER 126 NEW BEST:: SOT 221133 SOS 163356 HAS SOPS 163356 HAS SOUS 84131 HAS SOUPS 84131 WITH SCORE 84294.356
AT ITER 130 NEW BEST:: SOT 220860 SOS 162627 HAS SOPS 162627 HAS SOUS 83356 HAS SOUPS 83356 WITH SCORE 83518.627
AT ITER 135 NEW BEST:: SOT 220821 SOS 162393 HAS SOPS 162393 HAS SOUS 83239 HAS SOUPS 83239 WITH SCORE 83401.393
AT ITER 136 NEW BEST:: SOT 220679 SOS 162246 HAS SOPS 162246 HAS SOUS 83045 HAS SOUPS 83045 WITH SCORE 83207.246
AT ITER 137 NEW BEST:: SOT 220608 SOS 162031 HAS SOPS 162031 HAS SOUS 82914 HAS SOUPS 82914 WITH SCORE 83076.031
AT ITER 141 NEW BEST:: SOT 220512 SOS 161723 HAS SOPS 161723 HAS SOUS 82840 HAS SOUPS 82840 WITH SCORE 83001.723
AT ITER 145 NEW BEST:: SOT 220493 SOS 161657 HAS SOPS 161657 HAS SOUS 82680 HAS SOUPS 82680 WITH SCORE 82841.657
AT ITER 146 NEW BEST:: SOT 220547 SOS 161591 HAS SOPS 161591 HAS SOUS 82645 HAS SOUPS 82645 WITH SCORE 82806.591
AT ITER 147 NEW BEST:: SOT 220429 SOS 161631 HAS SOPS 161631 HAS SOUS 82409 HAS SOUPS 82409 WITH SCORE 82570.631
AT ITER 148 NEW BEST:: SOT 220341 SOS 161520 HAS SOPS 161520 HAS SOUS 82306 HAS SOUPS 82306 WITH SCORE 82467.52
AT ITER 155 NEW BEST:: SOT 220362 SOS 161338 HAS SOPS 161338 HAS SOUS 82113 HAS SOUPS 82113 WITH SCORE 82274.338
AT ITER 156 NEW BEST:: SOT 220342 SOS 161261 HAS SOPS 161261 HAS SOUS 81822 HAS SOUPS 81822 WITH SCORE 81983.261
AT ITER 157 NEW BEST:: SOT 220327 SOS 161246 HAS SOPS 161246 HAS SOUS 81810 HAS SOUPS 81810 WITH SCORE 81971.246
AT ITER 163 NEW BEST:: SOT 220273 SOS 161138 HAS SOPS 161138 HAS SOUS 81702 HAS SOUPS 81702 WITH SCORE 81863.138
AT ITER 164 NEW BEST:: SOT 220217 SOS 161000 HAS SOPS 161000 HAS SOUS 81646 HAS SOUPS 81646 WITH SCORE 81807.0
AT ITER 172 NEW BEST:: SOT 220131 SOS 160914 HAS SOPS 160914 HAS SOUS 81554 HAS SOUPS 81554 WITH SCORE 81714.914
AT ITER 173 NEW BEST:: SOT 220131 SOS 160614 HAS SOPS 160614 HAS SOUS 81475 HAS SOUPS 81475 WITH SCORE 81635.614
AT ITER 174 NEW BEST:: SOT 220262 SOS 160852 HAS SOPS 160852 HAS SOUS 81218 HAS SOUPS 81218 WITH SCORE 81378.852
AT ITER 177 NEW BEST:: SOT 220516 SOS 160390 HAS SOPS 160390 HAS SOUS 81016 HAS SOUPS 81016 WITH SCORE 81176.39
AT ITER 183 NEW BEST:: SOT 220448 SOS 160322 HAS SOPS 160322 HAS SOUS 80833 HAS SOUPS 80833 WITH SCORE 80993.322
AT ITER 185 NEW BEST:: SOT 220282 SOS 159658 HAS SOPS 159658 HAS SOUS 79985 HAS SOUPS 79985 WITH SCORE 80144.658
AT ITER 186 NEW BEST:: SOT 220260 SOS 159580 HAS SOPS 159580 HAS SOUS 79776 HAS SOUPS 79776 WITH SCORE 79935.58
AT ITER 187 NEW BEST:: SOT 190473 SOS 130046 HAS SOPS 130046 HAS SOUS 62823 HAS SOUPS 62823 WITH SCORE 62953.046
AT ITER 190 NEW BEST:: SOT 190520 SOS 130179 HAS SOPS 130179 HAS SOUS 62721 HAS SOUPS 62721 WITH SCORE 62851.179
AT ITER 193 NEW BEST:: SOT 190520 SOS 129997 HAS SOPS 129997 HAS SOUS 62653 HAS SOUPS 62653 WITH SCORE 62782.997
AT ITER 194 NEW BEST:: SOT 190498 SOS 129975 HAS SOPS 129975 HAS SOUS 62638 HAS SOUPS 62638 WITH SCORE 62767.975
AT ITER 196 NEW BEST:: SOT 190731 SOS 130090 HAS SOPS 130090 HAS SOUS 62385 HAS SOUPS 62385 WITH SCORE 62515.09
AT ITER 201 NEW BEST:: SOT 190731 SOS 130090 HAS SOPS 130090 HAS SOUS 62381 HAS SOUPS 62381 WITH SCORE 62511.09
AT ITER 210 NEW BEST:: SOT 190731 SOS 129658 HAS SOPS 129658 HAS SOUS 62278 HAS SOUPS 62278 WITH SCORE 62407.658
AT ITER 222 NEW BEST:: SOT 190707 SOS 129634 HAS SOPS 129634 HAS SOUS 62167 HAS SOUPS 62167 WITH SCORE 62296.634
AT ITER 223 NEW BEST:: SOT 190707 SOS 129634 HAS SOPS 129634 HAS SOUS 62147 HAS SOUPS 62147 WITH SCORE 62276.634
AT ITER 229 NEW BEST:: SOT 190706 SOS 129593 HAS SOPS 129593 HAS SOUS 62127 HAS SOUPS 62127 WITH SCORE 62256.593
AT ITER 233 NEW BEST:: SOT 190555 SOS 129513 HAS SOPS 129513 HAS SOUS 61970 HAS SOUPS 61970 WITH SCORE 62099.513
AT ITER 237 NEW BEST:: SOT 190490 SOS 129589 HAS SOPS 129589 HAS SOUS 61881 HAS SOUPS 61881 WITH SCORE 62010.589
AT ITER 241 NEW BEST:: SOT 192268 SOS 128514 HAS SOPS 128514 HAS SOUS 61878 HAS SOUPS 61878 WITH SCORE 62006.514
AT ITER 242 NEW BEST:: SOT 192268 SOS 128514 HAS SOPS 128514 HAS SOUS 61876 HAS SOUPS 61876 WITH SCORE 62004.514
AT ITER 244 NEW BEST:: SOT 192024 SOS 128315 HAS SOPS 128315 HAS SOUS 61799 HAS SOUPS 61799 WITH SCORE 61927.315
AT ITER 250 NEW BEST:: SOT 192082 SOS 128199 HAS SOPS 128199 HAS SOUS 61741 HAS SOUPS 61741 WITH SCORE 61869.199
AT ITER 252 NEW BEST:: SOT 192056 SOS 127538 HAS SOPS 127538 HAS SOUS 61407 HAS SOUPS 61407 WITH SCORE 61534.538
AT ITER 256 NEW BEST:: SOT 192053 SOS 127512 HAS SOPS 127512 HAS SOUS 61404 HAS SOUPS 61404 WITH SCORE 61531.512
AT ITER 259 NEW BEST:: SOT 192334 SOS 127268 HAS SOPS 127268 HAS SOUS 61165 HAS SOUPS 61165 WITH SCORE 61292.268
AT ITER 260 NEW BEST:: SOT 192316 SOS 123834 HAS SOPS 123834 HAS SOUS 60376 HAS SOUPS 60376 WITH SCORE 60499.834
AT ITER 261 NEW BEST:: SOT 192314 SOS 123101 HAS SOPS 123101 HAS SOUS 60324 HAS SOUPS 60324 WITH SCORE 60447.101
AT ITER 264 NEW BEST:: SOT 192306 SOS 122944 HAS SOPS 122944 HAS SOUS 60073 HAS SOUPS 60073 WITH SCORE 60195.944
AT ITER 266 NEW BEST:: SOT 192297 SOS 122990 HAS SOPS 122990 HAS SOUS 60015 HAS SOUPS 60015 WITH SCORE 60137.99
AT ITER 271 NEW BEST:: SOT 192330 SOS 122559 HAS SOPS 122559 HAS SOUS 59541 HAS SOUPS 59541 WITH SCORE 59663.559
AT ITER 272 NEW BEST:: SOT 192284 SOS 122314 HAS SOPS 122314 HAS SOUS 59101 HAS SOUPS 59101 WITH SCORE 59223.314
AT ITER 279 NEW BEST:: SOT 192222 SOS 122252 HAS SOPS 122252 HAS SOUS 59066 HAS SOUPS 59066 WITH SCORE 59188.252
AT ITER 280 NEW BEST:: SOT 192222 SOS 122202 HAS SOPS 122202 HAS SOUS 59016 HAS SOUPS 59016 WITH SCORE 59138.202
AT ITER 281 NEW BEST:: SOT 191999 SOS 122032 HAS SOPS 122032 HAS SOUS 58784 HAS SOUPS 58784 WITH SCORE 58906.032
AT ITER 290 NEW BEST:: SOT 192249 SOS 121616 HAS SOPS 121616 HAS SOUS 58310 HAS SOUPS 58310 WITH SCORE 58431.616
AT ITER 293 NEW BEST:: SOT 192165 SOS 121468 HAS SOPS 121468 HAS SOUS 58292 HAS SOUPS 58292 WITH SCORE 58413.468
AT ITER 295 NEW BEST:: SOT 192108 SOS 121651 HAS SOPS 121651 HAS SOUS 58235 HAS SOUPS 58235 WITH SCORE 58356.651
AT ITER 296 NEW BEST:: SOT 192029 SOS 121573 HAS SOPS 121573 HAS SOUS 58156 HAS SOUPS 58156 WITH SCORE 58277.573
AT ITER 297 NEW BEST:: SOT 192029 SOS 121495 HAS SOPS 121495 HAS SOUS 58144 HAS SOUPS 58144 WITH SCORE 58265.495
AT ITER 300 NEW BEST:: SOT 191958 SOS 121473 HAS SOPS 121473 HAS SOUS 58114 HAS SOUPS 58114 WITH SCORE 58235.473
AT ITER 301 NEW BEST:: SOT 191873 SOS 121582 HAS SOPS 121582 HAS SOUS 58089 HAS SOUPS 58089 WITH SCORE 58210.582
AT ITER 304 NEW BEST:: SOT 191873 SOS 121576 HAS SOPS 121576 HAS SOUS 58046 HAS SOUPS 58046 WITH SCORE 58167.576
AT ITER 305 NEW BEST:: SOT 191790 SOS 121585 HAS SOPS 121585 HAS SOUS 57990 HAS SOUPS 57990 WITH SCORE 58111.585
AT ITER 307 NEW BEST:: SOT 191924 SOS 121518 HAS SOPS 121518 HAS SOUS 57728 HAS SOUPS 57728 WITH SCORE 57849.518
AT ITER 313 NEW BEST:: SOT 191924 SOS 121523 HAS SOPS 121523 HAS SOUS 57723 HAS SOUPS 57723 WITH SCORE 57844.523
AT ITER 320 NEW BEST:: SOT 191966 SOS 121422 HAS SOPS 121422 HAS SOUS 57614 HAS SOUPS 57614 WITH SCORE 57735.422
AT ITER 322 NEW BEST:: SOT 191966 SOS 121422 HAS SOPS 121422 HAS SOUS 57516 HAS SOUPS 57516 WITH SCORE 57637.422
AT ITER 324 NEW BEST:: SOT 191966 SOS 121430 HAS SOPS 121430 HAS SOUS 57508 HAS SOUPS 57508 WITH SCORE 57629.43
AT ITER 330 NEW BEST:: SOT 191857 SOS 121194 HAS SOPS 121194 HAS SOUS 57495 HAS SOUPS 57495 WITH SCORE 57616.194
AT ITER 332 NEW BEST:: SOT 191862 SOS 121027 HAS SOPS 121027 HAS SOUS 57350 HAS SOUPS 57350 WITH SCORE 57471.027
AT ITER 337 NEW BEST:: SOT 190381 SOS 122843 HAS SOPS 122843 HAS SOUS 56969 HAS SOUPS 56969 WITH SCORE 57091.843
AT ITER 340 NEW BEST:: SOT 190383 SOS 122794 HAS SOPS 122794 HAS SOUS 56958 HAS SOUPS 56958 WITH SCORE 57080.794
AT ITER 354 NEW BEST:: SOT 190378 SOS 122807 HAS SOPS 122807 HAS SOUS 56869 HAS SOUPS 56869 WITH SCORE 56991.807
AT ITER 360 NEW BEST:: SOT 190397 SOS 122963 HAS SOPS 122963 HAS SOUS 56868 HAS SOUPS 56868 WITH SCORE 56990.963
AT ITER 361 NEW BEST:: SOT 190397 SOS 122915 HAS SOPS 122915 HAS SOUS 56856 HAS SOUPS 56856 WITH SCORE 56978.915
AT ITER 363 NEW BEST:: SOT 190380 SOS 122881 HAS SOPS 122881 HAS SOUS 56839 HAS SOUPS 56839 WITH SCORE 56961.881
AT ITER 368 NEW BEST:: SOT 190301 SOS 122723 HAS SOPS 122723 HAS SOUS 56701 HAS SOUPS 56701 WITH SCORE 56823.723
AT ITER 377 NEW BEST:: SOT 190225 SOS 122668 HAS SOPS 122668 HAS SOUS 56582 HAS SOUPS 56582 WITH SCORE 56704.668
AT ITER 383 NEW BEST:: SOT 190225 SOS 122668 HAS SOPS 122668 HAS SOUS 56574 HAS SOUPS 56574 WITH SCORE 56696.668
AT ITER 389 NEW BEST:: SOT 190215 SOS 122698 HAS SOPS 122698 HAS SOUS 56554 HAS SOUPS 56554 WITH SCORE 56676.698
AT ITER 392 NEW BEST:: SOT 190041 SOS 122443 HAS SOPS 122443 HAS SOUS 56045 HAS SOUPS 56045 WITH SCORE 56167.443
AT ITER 395 NEW BEST:: SOT 190041 SOS 122319 HAS SOPS 122319 HAS SOUS 56045 HAS SOUPS 56045 WITH SCORE 56167.319
AT ITER 409 NEW BEST:: SOT 190041 SOS 122319 HAS SOPS 122319 HAS SOUS 56041 HAS SOUPS 56041 WITH SCORE 56163.319
AT ITER 410 NEW BEST:: SOT 190041 SOS 122319 HAS SOPS 122319 HAS SOUS 56039 HAS SOUPS 56039 WITH SCORE 56161.319
AT ITER 412 NEW BEST:: SOT 189995 SOS 122273 HAS SOPS 122273 HAS SOUS 55981 HAS SOUPS 55981 WITH SCORE 56103.273
AT ITER 423 NEW BEST:: SOT 189581 SOS 121859 HAS SOPS 121859 HAS SOUS 55732 HAS SOUPS 55732 WITH SCORE 55853.859
AT ITER 430 NEW BEST:: SOT 189764 SOS 121657 HAS SOPS 121657 HAS SOUS 55628 HAS SOUPS 55628 WITH SCORE 55749.657
AT ITER 433 NEW BEST:: SOT 189693 SOS 121548 HAS SOPS 121548 HAS SOUS 55509 HAS SOUPS 55509 WITH SCORE 55630.548
AT ITER 437 NEW BEST:: SOT 189687 SOS 121548 HAS SOPS 121548 HAS SOUS 55497 HAS SOUPS 55497 WITH SCORE 55618.548
AT ITER 439 NEW BEST:: SOT 189635 SOS 121711 HAS SOPS 121711 HAS SOUS 55472 HAS SOUPS 55472 WITH SCORE 55593.711
AT ITER 446 NEW BEST:: SOT 189635 SOS 121711 HAS SOPS 121711 HAS SOUS 55382 HAS SOUPS 55382 WITH SCORE 55503.711
AT ITER 448 NEW BEST:: SOT 189622 SOS 121459 HAS SOPS 121459 HAS SOUS 55242 HAS SOUPS 55242 WITH SCORE 55363.459
AT ITER 458 NEW BEST:: SOT 189484 SOS 121299 HAS SOPS 121299 HAS SOUS 55001 HAS SOUPS 55001 WITH SCORE 55122.299
AT ITER 459 NEW BEST:: SOT 189666 SOS 117719 HAS SOPS 117719 HAS SOUS 53714 HAS SOUPS 53714 WITH SCORE 53831.719
AT ITER 462 NEW BEST:: SOT 189601 SOS 117654 HAS SOPS 117654 HAS SOUS 53649 HAS SOUPS 53649 WITH SCORE 53766.654
AT ITER 464 NEW BEST:: SOT 189581 SOS 117589 HAS SOPS 117589 HAS SOUS 53609 HAS SOUPS 53609 WITH SCORE 53726.589
AT ITER 486 NEW BEST:: SOT 189562 SOS 117030 HAS SOPS 117030 HAS SOUS 53395 HAS SOUPS 53395 WITH SCORE 53512.03
AT ITER 489 NEW BEST:: SOT 189440 SOS 116665 HAS SOPS 116665 HAS SOUS 53223 HAS SOUPS 53223 WITH SCORE 53339.665
AT ITER 491 NEW BEST:: SOT 189595 SOS 116397 HAS SOPS 116397 HAS SOUS 53091 HAS SOUPS 53091 WITH SCORE 53207.397
AT ITER 493 NEW BEST:: SOT 189730 SOS 116470 HAS SOPS 116470 HAS SOUS 53034 HAS SOUPS 53034 WITH SCORE 53150.47
AT ITER 494 NEW BEST:: SOT 189877 SOS 116058 HAS SOPS 116058 HAS SOUS 52949 HAS SOUPS 52949 WITH SCORE 53065.058
AT ITER 497 NEW BEST:: SOT 189877 SOS 116086 HAS SOPS 116086 HAS SOUS 52921 HAS SOUPS 52921 WITH SCORE 53037.086
AT ITER 498 NEW BEST:: SOT 189865 SOS 116074 HAS SOPS 116074 HAS SOUS 52909 HAS SOUPS 52909 WITH SCORE 53025.074
AT ITER 500 NEW BEST:: SOT 189621 SOS 115889 HAS SOPS 115889 HAS SOUS 52580 HAS SOUPS 52580 WITH SCORE 52695.889
AT ITER 505 NEW BEST:: SOT 189654 SOS 115706 HAS SOPS 115706 HAS SOUS 52550 HAS SOUPS 52550 WITH SCORE 52665.706
AT ITER 510 NEW BEST:: SOT 189679 SOS 115840 HAS SOPS 115840 HAS SOUS 52537 HAS SOUPS 52537 WITH SCORE 52652.84
AT ITER 517 NEW BEST:: SOT 185568 SOS 111837 HAS SOPS 111837 HAS SOUS 49939 HAS SOUPS 49939 WITH SCORE 50050.837
AT ITER 526 NEW BEST:: SOT 185712 SOS 111981 HAS SOPS 111981 HAS SOUS 49927 HAS SOUPS 49927 WITH SCORE 50038.981
AT ITER 529 NEW BEST:: SOT 185656 SOS 111913 HAS SOPS 111913 HAS SOUS 49927 HAS SOUPS 49927 WITH SCORE 50038.913
AT ITER 531 NEW BEST:: SOT 185404 SOS 111433 HAS SOPS 111433 HAS SOUS 49789 HAS SOUPS 49789 WITH SCORE 49900.433
AT ITER 538 NEW BEST:: SOT 185499 SOS 111031 HAS SOPS 111031 HAS SOUS 49453 HAS SOUPS 49453 WITH SCORE 49564.031
AT ITER 557 NEW BEST:: SOT 185474 SOS 110815 HAS SOPS 110815 HAS SOUS 49175 HAS SOUPS 49175 WITH SCORE 49285.815
AT ITER 560 NEW BEST:: SOT 185439 SOS 110780 HAS SOPS 110780 HAS SOUS 49170 HAS SOUPS 49170 WITH SCORE 49280.78
AT ITER 562 NEW BEST:: SOT 184968 SOS 110309 HAS SOPS 110309 HAS SOUS 49125 HAS SOUPS 49125 WITH SCORE 49235.309
AT ITER 567 NEW BEST:: SOT 183376 SOS 111746 HAS SOPS 111746 HAS SOUS 48448 HAS SOUPS 48448 WITH SCORE 48559.746
AT ITER 569 NEW BEST:: SOT 183430 SOS 111820 HAS SOPS 111820 HAS SOUS 48323 HAS SOUPS 48323 WITH SCORE 48434.82
AT ITER 574 NEW BEST:: SOT 183411 SOS 112032 HAS SOPS 112032 HAS SOUS 48292 HAS SOUPS 48292 WITH SCORE 48404.032
AT ITER 576 NEW BEST:: SOT 183768 SOS 112033 HAS SOPS 112033 HAS SOUS 47928 HAS SOUPS 47928 WITH SCORE 48040.033
AT ITER 582 NEW BEST:: SOT 183653 SOS 111950 HAS SOPS 111950 HAS SOUS 47731 HAS SOUPS 47731 WITH SCORE 47842.95
AT ITER 584 NEW BEST:: SOT 183873 SOS 112016 HAS SOPS 112016 HAS SOUS 47611 HAS SOUPS 47611 WITH SCORE 47723.016
AT ITER 587 NEW BEST:: SOT 183798 SOS 111941 HAS SOPS 111941 HAS SOUS 47459 HAS SOUPS 47459 WITH SCORE 47570.941
AT ITER 590 NEW BEST:: SOT 183805 SOS 111829 HAS SOPS 111829 HAS SOUS 47412 HAS SOUPS 47412 WITH SCORE 47523.829
AT ITER 592 NEW BEST:: SOT 183700 SOS 112108 HAS SOPS 112108 HAS SOUS 47361 HAS SOUPS 47361 WITH SCORE 47473.108
AT ITER 598 NEW BEST:: SOT 183704 SOS 111946 HAS SOPS 111946 HAS SOUS 47349 HAS SOUPS 47349 WITH SCORE 47460.946
AT ITER 604 NEW BEST:: SOT 183583 SOS 111697 HAS SOPS 111697 HAS SOUS 47284 HAS SOUPS 47284 WITH SCORE 47395.697
AT ITER 614 NEW BEST:: SOT 183528 SOS 111641 HAS SOPS 111641 HAS SOUS 47228 HAS SOUPS 47228 WITH SCORE 47339.641
AT ITER 619 NEW BEST:: SOT 183497 SOS 111793 HAS SOPS 111793 HAS SOUS 47216 HAS SOUPS 47216 WITH SCORE 47327.793
AT ITER 620 NEW BEST:: SOT 183525 SOS 111844 HAS SOPS 111844 HAS SOUS 47157 HAS SOUPS 47157 WITH SCORE 47268.844
AT ITER 621 NEW BEST:: SOT 183449 SOS 111768 HAS SOPS 111768 HAS SOUS 47075 HAS SOUPS 47075 WITH SCORE 47186.768
AT ITER 626 NEW BEST:: SOT 183363 SOS 111682 HAS SOPS 111682 HAS SOUS 47032 HAS SOUPS 47032 WITH SCORE 47143.682
AT ITER 631 NEW BEST:: SOT 183237 SOS 111556 HAS SOPS 111556 HAS SOUS 46956 HAS SOUPS 46956 WITH SCORE 47067.556
AT ITER 634 NEW BEST:: SOT 183199 SOS 111480 HAS SOPS 111480 HAS SOUS 46918 HAS SOUPS 46918 WITH SCORE 47029.48
AT ITER 636 NEW BEST:: SOT 183194 SOS 111436 HAS SOPS 111436 HAS SOUS 46832 HAS SOUPS 46832 WITH SCORE 46943.436
AT ITER 638 NEW BEST:: SOT 183194 SOS 111450 HAS SOPS 111450 HAS SOUS 46818 HAS SOUPS 46818 WITH SCORE 46929.45
AT ITER 645 NEW BEST:: SOT 183217 SOS 111488 HAS SOPS 111488 HAS SOUS 46730 HAS SOUPS 46730 WITH SCORE 46841.488
AT ITER 649 NEW BEST:: SOT 183147 SOS 111429 HAS SOPS 111429 HAS SOUS 46699 HAS SOUPS 46699 WITH SCORE 46810.429
AT ITER 663 NEW BEST:: SOT 183131 SOS 111388 HAS SOPS 111388 HAS SOUS 46653 HAS SOUPS 46653 WITH SCORE 46764.388
AT ITER 669 NEW BEST:: SOT 183264 SOS 111087 HAS SOPS 111087 HAS SOUS 46409 HAS SOUPS 46409 WITH SCORE 46520.087
AT ITER 674 NEW BEST:: SOT 183264 SOS 111087 HAS SOPS 111087 HAS SOUS 46385 HAS SOUPS 46385 WITH SCORE 46496.087
AT ITER 684 NEW BEST:: SOT 183198 SOS 110803 HAS SOPS 110803 HAS SOUS 46334 HAS SOUPS 46334 WITH SCORE 46444.803
AT ITER 685 NEW BEST:: SOT 183212 SOS 110824 HAS SOPS 110824 HAS SOUS 46327 HAS SOUPS 46327 WITH SCORE 46437.824
AT ITER 693 NEW BEST:: SOT 183176 SOS 110790 HAS SOPS 110790 HAS SOUS 46270 HAS SOUPS 46270 WITH SCORE 46380.79
AT ITER 694 NEW BEST:: SOT 183170 SOS 110784 HAS SOPS 110784 HAS SOUS 46258 HAS SOUPS 46258 WITH SCORE 46368.784
AT ITER 703 NEW BEST:: SOT 183160 SOS 110754 HAS SOPS 110754 HAS SOUS 46248 HAS SOUPS 46248 WITH SCORE 46358.754
AT ITER 706 NEW BEST:: SOT 183141 SOS 110528 HAS SOPS 110528 HAS SOUS 46178 HAS SOUPS 46178 WITH SCORE 46288.528
AT ITER 707 NEW BEST:: SOT 183141 SOS 110528 HAS SOPS 110528 HAS SOUS 46170 HAS SOUPS 46170 WITH SCORE 46280.528
AT ITER 716 NEW BEST:: SOT 183186 SOS 110555 HAS SOPS 110555 HAS SOUS 46091 HAS SOUPS 46091 WITH SCORE 46201.555
AT ITER 717 NEW BEST:: SOT 183222 SOS 110591 HAS SOPS 110591 HAS SOUS 46087 HAS SOUPS 46087 WITH SCORE 46197.591
AT ITER 721 NEW BEST:: SOT 183241 SOS 110610 HAS SOPS 110610 HAS SOUS 45956 HAS SOUPS 45956 WITH SCORE 46066.61
AT ITER 722 NEW BEST:: SOT 183187 SOS 110556 HAS SOPS 110556 HAS SOUS 45926 HAS SOUPS 45926 WITH SCORE 46036.556
AT ITER 725 NEW BEST:: SOT 183127 SOS 110239 HAS SOPS 110239 HAS SOUS 45765 HAS SOUPS 45765 WITH SCORE 45875.239
AT ITER 733 NEW BEST:: SOT 183330 SOS 110253 HAS SOPS 110253 HAS SOUS 45747 HAS SOUPS 45747 WITH SCORE 45857.253
AT ITER 735 NEW BEST:: SOT 183210 SOS 110133 HAS SOPS 110133 HAS SOUS 45684 HAS SOUPS 45684 WITH SCORE 45794.133
AT ITER 739 NEW BEST:: SOT 183085 SOS 109031 HAS SOPS 109031 HAS SOUS 45522 HAS SOUPS 45522 WITH SCORE 45631.031
AT ITER 746 NEW BEST:: SOT 183054 SOS 108995 HAS SOPS 108995 HAS SOUS 45492 HAS SOUPS 45492 WITH SCORE 45600.995
AT ITER 749 NEW BEST:: SOT 183024 SOS 108905 HAS SOPS 108905 HAS SOUS 45458 HAS SOUPS 45458 WITH SCORE 45566.905
AT ITER 750 NEW BEST:: SOT 182883 SOS 108711 HAS SOPS 108711 HAS SOUS 45290 HAS SOUPS 45290 WITH SCORE 45398.711
AT ITER 751 NEW BEST:: SOT 182118 SOS 107946 HAS SOPS 107946 HAS SOUS 44890 HAS SOUPS 44890 WITH SCORE 44997.946
AT ITER 753 NEW BEST:: SOT 181995 SOS 107106 HAS SOPS 107106 HAS SOUS 44803 HAS SOUPS 44803 WITH SCORE 44910.106
AT ITER 754 NEW BEST:: SOT 181803 SOS 106501 HAS SOPS 106501 HAS SOUS 44616 HAS SOUPS 44616 WITH SCORE 44722.501
AT ITER 755 NEW BEST:: SOT 181765 SOS 106463 HAS SOPS 106463 HAS SOUS 44585 HAS SOUPS 44585 WITH SCORE 44691.463
AT ITER 758 NEW BEST:: SOT 181665 SOS 106363 HAS SOPS 106363 HAS SOUS 44545 HAS SOUPS 44545 WITH SCORE 44651.363
AT ITER 759 NEW BEST:: SOT 181647 SOS 106345 HAS SOPS 106345 HAS SOUS 44342 HAS SOUPS 44342 WITH SCORE 44448.345
AT ITER 761 NEW BEST:: SOT 181608 SOS 106219 HAS SOPS 106219 HAS SOUS 44063 HAS SOUPS 44063 WITH SCORE 44169.219
AT ITER 765 NEW BEST:: SOT 181685 SOS 106129 HAS SOPS 106129 HAS SOUS 44037 HAS SOUPS 44037 WITH SCORE 44143.129
AT ITER 771 NEW BEST:: SOT 181593 SOS 106037 HAS SOPS 106037 HAS SOUS 43961 HAS SOUPS 43961 WITH SCORE 44067.037
AT ITER 777 NEW BEST:: SOT 181528 SOS 105928 HAS SOPS 105928 HAS SOUS 43860 HAS SOUPS 43860 WITH SCORE 43965.928
AT ITER 798 NEW BEST:: SOT 181524 SOS 105928 HAS SOPS 105928 HAS SOUS 43856 HAS SOUPS 43856 WITH SCORE 43961.928
AT ITER 799 NEW BEST:: SOT 181483 SOS 106197 HAS SOPS 106197 HAS SOUS 43743 HAS SOUPS 43743 WITH SCORE 43849.197
AT ITER 802 NEW BEST:: SOT 181478 SOS 106192 HAS SOPS 106192 HAS SOUS 43743 HAS SOUPS 43743 WITH SCORE 43849.192
AT ITER 808 NEW BEST:: SOT 181520 SOS 106218 HAS SOPS 106218 HAS SOUS 43685 HAS SOUPS 43685 WITH SCORE 43791.218
AT ITER 819 NEW BEST:: SOT 181212 SOS 105961 HAS SOPS 105961 HAS SOUS 43668 HAS SOUPS 43668 WITH SCORE 43773.961
AT ITER 830 NEW BEST:: SOT 181250 SOS 105469 HAS SOPS 105469 HAS SOUS 43667 HAS SOUPS 43667 WITH SCORE 43772.469
AT ITER 840 NEW BEST:: SOT 181747 SOS 105387 HAS SOPS 105387 HAS SOUS 43649 HAS SOUPS 43649 WITH SCORE 43754.387
AT ITER 841 NEW BEST:: SOT 181919 SOS 105482 HAS SOPS 105482 HAS SOUS 43528 HAS SOUPS 43528 WITH SCORE 43633.482
AT ITER 846 NEW BEST:: SOT 181919 SOS 105482 HAS SOPS 105482 HAS SOUS 43527 HAS SOUPS 43527 WITH SCORE 43632.482
AT ITER 851 NEW BEST:: SOT 181906 SOS 105456 HAS SOPS 105456 HAS SOUS 43488 HAS SOUPS 43488 WITH SCORE 43593.456
AT ITER 856 NEW BEST:: SOT 181866 SOS 105376 HAS SOPS 105376 HAS SOUS 43448 HAS SOUPS 43448 WITH SCORE 43553.376
AT ITER 861 NEW BEST:: SOT 181850 SOS 105360 HAS SOPS 105360 HAS SOUS 43440 HAS SOUPS 43440 WITH SCORE 43545.36
AT ITER 864 NEW BEST:: SOT 181985 SOS 105495 HAS SOPS 105495 HAS SOUS 43330 HAS SOUPS 43330 WITH SCORE 43435.495
AT ITER 867 NEW BEST:: SOT 181965 SOS 105475 HAS SOPS 105475 HAS SOUS 43310 HAS SOUPS 43310 WITH SCORE 43415.475
AT ITER 868 NEW BEST:: SOT 182014 SOS 105573 HAS SOPS 105573 HAS SOUS 43224 HAS SOUPS 43224 WITH SCORE 43329.573
AT ITER 871 NEW BEST:: SOT 182010 SOS 105555 HAS SOPS 105555 HAS SOUS 43214 HAS SOUPS 43214 WITH SCORE 43319.555
AT ITER 872 NEW BEST:: SOT 181834 SOS 105257 HAS SOPS 105257 HAS SOUS 43038 HAS SOUPS 43038 WITH SCORE 43143.257
AT ITER 874 NEW BEST:: SOT 181847 SOS 105257 HAS SOPS 105257 HAS SOUS 43012 HAS SOUPS 43012 WITH SCORE 43117.257
AT ITER 875 NEW BEST:: SOT 181785 SOS 105133 HAS SOPS 105133 HAS SOUS 42947 HAS SOUPS 42947 WITH SCORE 43052.133
AT ITER 877 NEW BEST:: SOT 181702 SOS 104704 HAS SOPS 104704 HAS SOUS 42907 HAS SOUPS 42907 WITH SCORE 43011.704
AT ITER 880 NEW BEST:: SOT 181702 SOS 104704 HAS SOPS 104704 HAS SOUS 42887 HAS SOUPS 42887 WITH SCORE 42991.704
AT ITER 882 NEW BEST:: SOT 181859 SOS 105051 HAS SOPS 105051 HAS SOUS 42685 HAS SOUPS 42685 WITH SCORE 42790.051
AT ITER 889 NEW BEST:: SOT 182388 SOS 105098 HAS SOPS 105098 HAS SOUS 42606 HAS SOUPS 42606 WITH SCORE 42711.098
AT ITER 901 NEW BEST:: SOT 182388 SOS 105093 HAS SOPS 105093 HAS SOUS 42589 HAS SOUPS 42589 WITH SCORE 42694.093
AT ITER 903 NEW BEST:: SOT 182388 SOS 105018 HAS SOPS 105018 HAS SOUS 42589 HAS SOUPS 42589 WITH SCORE 42694.018
AT ITER 906 NEW BEST:: SOT 181878 SOS 104540 HAS SOPS 104540 HAS SOUS 42568 HAS SOUPS 42568 WITH SCORE 42672.54
AT ITER 922 NEW BEST:: SOT 181817 SOS 104418 HAS SOPS 104418 HAS SOUS 42507 HAS SOUPS 42507 WITH SCORE 42611.418
AT ITER 927 NEW BEST:: SOT 181496 SOS 103960 HAS SOPS 103960 HAS SOUS 42319 HAS SOUPS 42319 WITH SCORE 42422.96
AT ITER 938 NEW BEST:: SOT 181490 SOS 103918 HAS SOPS 103918 HAS SOUS 42313 HAS SOUPS 42313 WITH SCORE 42416.918
AT ITER 948 NEW BEST:: SOT 181502 SOS 103886 HAS SOPS 103886 HAS SOUS 42283 HAS SOUPS 42283 WITH SCORE 42386.886
AT ITER 949 NEW BEST:: SOT 181446 SOS 103650 HAS SOPS 103650 HAS SOUS 42123 HAS SOUPS 42123 WITH SCORE 42226.65
AT ITER 956 NEW BEST:: SOT 181401 SOS 103605 HAS SOPS 103605 HAS SOUS 42091 HAS SOUPS 42091 WITH SCORE 42194.605
AT ITER 975 NEW BEST:: SOT 181401 SOS 103536 HAS SOPS 103536 HAS SOUS 42088 HAS SOUPS 42088 WITH SCORE 42191.536
AT ITER 976 NEW BEST:: SOT 181401 SOS 103502 HAS SOPS 103502 HAS SOUS 42056 HAS SOUPS 42056 WITH SCORE 42159.502
AT ITER 988 NEW BEST:: SOT 181368 SOS 103567 HAS SOPS 103567 HAS SOUS 41990 HAS SOUPS 41990 WITH SCORE 42093.567
AT ITER 994 NEW BEST:: SOT 181289 SOS 103794 HAS SOPS 103794 HAS SOUS 41906 HAS SOUPS 41906 WITH SCORE 42009.794
AT ITER 1000 NEW BEST:: SOT 181282 SOS 103477 HAS SOPS 103477 HAS SOUS 41809 HAS SOUPS 41809 WITH SCORE 41912.477
AT ITER 1001 NEW BEST:: SOT 181202 SOS 103397 HAS SOPS 103397 HAS SOUS 41729 HAS SOUPS 41729 WITH SCORE 41832.397
AT ITER 1002 NEW BEST:: SOT 181190 SOS 103325 HAS SOPS 103325 HAS SOUS 41702 HAS SOUPS 41702 WITH SCORE 41805.325
AT ITER 1009 NEW BEST:: SOT 181112 SOS 103221 HAS SOPS 103221 HAS SOUS 41624 HAS SOUPS 41624 WITH SCORE 41727.221
AT ITER 1010 NEW BEST:: SOT 181139 SOS 103020 HAS SOPS 103020 HAS SOUS 41543 HAS SOUPS 41543 WITH SCORE 41646.02
AT ITER 1012 NEW BEST:: SOT 181235 SOS 103116 HAS SOPS 103116 HAS SOUS 41490 HAS SOUPS 41490 WITH SCORE 41593.116
AT ITER 1016 NEW BEST:: SOT 181116 SOS 103001 HAS SOPS 103001 HAS SOUS 41456 HAS SOUPS 41456 WITH SCORE 41559.001
AT ITER 1035 NEW BEST:: SOT 181407 SOS 103350 HAS SOPS 103350 HAS SOUS 41360 HAS SOUPS 41360 WITH SCORE 41463.35
AT ITER 1036 NEW BEST:: SOT 181395 SOS 103350 HAS SOPS 103350 HAS SOUS 41336 HAS SOUPS 41336 WITH SCORE 41439.35
AT ITER 1040 NEW BEST:: SOT 181253 SOS 103177 HAS SOPS 103177 HAS SOUS 41041 HAS SOUPS 41041 WITH SCORE 41144.177
AT ITER 1043 NEW BEST:: SOT 181076 SOS 103060 HAS SOPS 103060 HAS SOUS 40800 HAS SOUPS 40800 WITH SCORE 40903.06
AT ITER 1046 NEW BEST:: SOT 181040 SOS 102988 HAS SOPS 102988 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40894.988
AT ITER 1047 NEW BEST:: SOT 181269 SOS 103131 HAS SOPS 103131 HAS SOUS 40644 HAS SOUPS 40644 WITH SCORE 40747.131
AT ITER 1060 NEW BEST:: SOT 181269 SOS 103038 HAS SOPS 103038 HAS SOUS 40644 HAS SOUPS 40644 WITH SCORE 40747.038
AT ITER 1061 NEW BEST:: SOT 181243 SOS 102881 HAS SOPS 102881 HAS SOUS 40627 HAS SOUPS 40627 WITH SCORE 40729.881
AT ITER 1063 NEW BEST:: SOT 181225 SOS 102863 HAS SOPS 102863 HAS SOUS 40613 HAS SOUPS 40613 WITH SCORE 40715.863
AT ITER 1065 NEW BEST:: SOT 181181 SOS 102904 HAS SOPS 102904 HAS SOUS 40569 HAS SOUPS 40569 WITH SCORE 40671.904
AT ITER 1067 NEW BEST:: SOT 181163 SOS 102877 HAS SOPS 102877 HAS SOUS 40551 HAS SOUPS 40551 WITH SCORE 40653.877
AT ITER 1071 NEW BEST:: SOT 181210 SOS 102959 HAS SOPS 102959 HAS SOUS 40397 HAS SOUPS 40397 WITH SCORE 40499.959
AT ITER 1074 NEW BEST:: SOT 181047 SOS 102669 HAS SOPS 102669 HAS SOUS 40234 HAS SOUPS 40234 WITH SCORE 40336.669
AT ITER 1077 NEW BEST:: SOT 180733 SOS 102226 HAS SOPS 102226 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40133.226
AT ITER 1084 NEW BEST:: SOT 180772 SOS 102227 HAS SOPS 102227 HAS SOUS 40025 HAS SOUPS 40025 WITH SCORE 40127.227
AT ITER 1086 NEW BEST:: SOT 180718 SOS 102103 HAS SOPS 102103 HAS SOUS 39961 HAS SOUPS 39961 WITH SCORE 40063.103
AT ITER 1091 NEW BEST:: SOT 180694 SOS 102091 HAS SOPS 102091 HAS SOUS 39927 HAS SOUPS 39927 WITH SCORE 40029.091
AT ITER 1093 NEW BEST:: SOT 180698 SOS 102083 HAS SOPS 102083 HAS SOUS 39923 HAS SOUPS 39923 WITH SCORE 40025.083
AT ITER 1107 NEW BEST:: SOT 180656 SOS 102041 HAS SOPS 102041 HAS SOUS 39881 HAS SOUPS 39881 WITH SCORE 39983.041
AT ITER 1116 NEW BEST:: SOT 180565 SOS 101810 HAS SOPS 101810 HAS SOUS 39741 HAS SOUPS 39741 WITH SCORE 39842.81
AT ITER 1120 NEW BEST:: SOT 180466 SOS 101712 HAS SOPS 101712 HAS SOUS 39699 HAS SOUPS 39699 WITH SCORE 39800.712
AT ITER 1126 NEW BEST:: SOT 180465 SOS 101710 HAS SOPS 101710 HAS SOUS 39697 HAS SOUPS 39697 WITH SCORE 39798.71
AT ITER 1138 NEW BEST:: SOT 180411 SOS 101656 HAS SOPS 101656 HAS SOUS 39635 HAS SOUPS 39635 WITH SCORE 39736.656
AT ITER 1142 NEW BEST:: SOT 180411 SOS 101656 HAS SOPS 101656 HAS SOUS 39626 HAS SOUPS 39626 WITH SCORE 39727.656
AT ITER 1144 NEW BEST:: SOT 180357 SOS 101602 HAS SOPS 101602 HAS SOUS 39572 HAS SOUPS 39572 WITH SCORE 39673.602
AT ITER 1156 NEW BEST:: SOT 180690 SOS 101696 HAS SOPS 101696 HAS SOUS 39517 HAS SOUPS 39517 WITH SCORE 39618.696
AT ITER 1170 NEW BEST:: SOT 180724 SOS 94644 HAS SOPS 94644 HAS SOUS 38606 HAS SOUPS 38606 WITH SCORE 38700.644
AT ITER 1175 NEW BEST:: SOT 180690 SOS 94464 HAS SOPS 94464 HAS SOUS 38572 HAS SOUPS 38572 WITH SCORE 38666.464
AT ITER 1185 NEW BEST:: SOT 180653 SOS 94420 HAS SOPS 94420 HAS SOUS 38518 HAS SOUPS 38518 WITH SCORE 38612.42
AT ITER 1192 NEW BEST:: SOT 180660 SOS 94318 HAS SOPS 94318 HAS SOUS 38492 HAS SOUPS 38492 WITH SCORE 38586.318
AT ITER 1213 NEW BEST:: SOT 180634 SOS 94227 HAS SOPS 94227 HAS SOUS 38427 HAS SOUPS 38427 WITH SCORE 38521.227
AT ITER 1254 NEW BEST:: SOT 180634 SOS 94227 HAS SOPS 94227 HAS SOUS 38414 HAS SOUPS 38414 WITH SCORE 38508.227
AT ITER 1256 NEW BEST:: SOT 180594 SOS 94187 HAS SOPS 94187 HAS SOUS 38374 HAS SOUPS 38374 WITH SCORE 38468.187
AT ITER 1271 NEW BEST:: SOT 180311 SOS 94435 HAS SOPS 94435 HAS SOUS 38128 HAS SOUPS 38128 WITH SCORE 38222.435
AT ITER 1279 NEW BEST:: SOT 180398 SOS 94487 HAS SOPS 94487 HAS SOUS 38071 HAS SOUPS 38071 WITH SCORE 38165.487
AT ITER 1280 NEW BEST:: SOT 180091 SOS 93298 HAS SOPS 93298 HAS SOUS 37878 HAS SOUPS 37878 WITH SCORE 37971.298
AT ITER 1283 NEW BEST:: SOT 180091 SOS 93293 HAS SOPS 93293 HAS SOUS 37871 HAS SOUPS 37871 WITH SCORE 37964.293
AT ITER 1296 NEW BEST:: SOT 180230 SOS 92994 HAS SOPS 92994 HAS SOUS 37744 HAS SOUPS 37744 WITH SCORE 37836.994
AT ITER 1299 NEW BEST:: SOT 180230 SOS 92994 HAS SOPS 92994 HAS SOUS 37707 HAS SOUPS 37707 WITH SCORE 37799.994
AT ITER 1307 NEW BEST:: SOT 180230 SOS 92949 HAS SOPS 92949 HAS SOUS 37707 HAS SOUPS 37707 WITH SCORE 37799.949
AT ITER 1311 NEW BEST:: SOT 180163 SOS 92868 HAS SOPS 92868 HAS SOUS 37682 HAS SOUPS 37682 WITH SCORE 37774.868
AT ITER 1313 NEW BEST:: SOT 180118 SOS 92913 HAS SOPS 92913 HAS SOUS 37592 HAS SOUPS 37592 WITH SCORE 37684.913
AT ITER 1324 NEW BEST:: SOT 180075 SOS 92747 HAS SOPS 92747 HAS SOUS 37484 HAS SOUPS 37484 WITH SCORE 37576.747
AT ITER 1331 NEW BEST:: SOT 179993 SOS 92665 HAS SOPS 92665 HAS SOUS 37361 HAS SOUPS 37361 WITH SCORE 37453.665
AT ITER 1338 NEW BEST:: SOT 179957 SOS 92629 HAS SOPS 92629 HAS SOUS 37272 HAS SOUPS 37272 WITH SCORE 37364.629
AT ITER 1346 NEW BEST:: SOT 179949 SOS 92605 HAS SOPS 92605 HAS SOUS 37272 HAS SOUPS 37272 WITH SCORE 37364.605
AT ITER 1359 NEW BEST:: SOT 179730 SOS 92510 HAS SOPS 92510 HAS SOUS 37054 HAS SOUPS 37054 WITH SCORE 37146.51
AT ITER 1372 NEW BEST:: SOT 179700 SOS 92480 HAS SOPS 92480 HAS SOUS 37024 HAS SOUPS 37024 WITH SCORE 37116.48
AT ITER 1394 NEW BEST:: SOT 179698 SOS 92478 HAS SOPS 92478 HAS SOUS 36938 HAS SOUPS 36938 WITH SCORE 37030.478
AT ITER 1402 NEW BEST:: SOT 179701 SOS 92483 HAS SOPS 92483 HAS SOUS 36935 HAS SOUPS 36935 WITH SCORE 37027.483
AT ITER 1407 NEW BEST:: SOT 179775 SOS 92484 HAS SOPS 92484 HAS SOUS 36891 HAS SOUPS 36891 WITH SCORE 36983.484
AT ITER 1409 NEW BEST:: SOT 179670 SOS 92349 HAS SOPS 92349 HAS SOUS 36766 HAS SOUPS 36766 WITH SCORE 36858.349
AT ITER 1410 NEW BEST:: SOT 179323 SOS 92062 HAS SOPS 92062 HAS SOUS 36737 HAS SOUPS 36737 WITH SCORE 36829.062
AT ITER 1425 NEW BEST:: SOT 179198 SOS 91752 HAS SOPS 91752 HAS SOUS 36612 HAS SOUPS 36612 WITH SCORE 36703.752
AT ITER 1429 NEW BEST:: SOT 179207 SOS 91752 HAS SOPS 91752 HAS SOUS 36594 HAS SOUPS 36594 WITH SCORE 36685.752
AT ITER 1434 NEW BEST:: SOT 179157 SOS 91628 HAS SOPS 91628 HAS SOUS 36507 HAS SOUPS 36507 WITH SCORE 36598.628
AT ITER 1439 NEW BEST:: SOT 178729 SOS 91200 HAS SOPS 91200 HAS SOUS 36378 HAS SOUPS 36378 WITH SCORE 36469.2
AT ITER 1458 NEW BEST:: SOT 178642 SOS 91107 HAS SOPS 91107 HAS SOUS 36377 HAS SOUPS 36377 WITH SCORE 36468.107
AT ITER 1459 NEW BEST:: SOT 178642 SOS 91106 HAS SOPS 91106 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36465.106
AT ITER 1460 NEW BEST:: SOT 178634 SOS 91042 HAS SOPS 91042 HAS SOUS 36366 HAS SOUPS 36366 WITH SCORE 36457.042
AT ITER 1492 NEW BEST:: SOT 178613 SOS 91021 HAS SOPS 91021 HAS SOUS 36338 HAS SOUPS 36338 WITH SCORE 36429.021
AT ITER 1501 NEW BEST:: SOT 178613 SOS 90938 HAS SOPS 90938 HAS SOUS 36289 HAS SOUPS 36289 WITH SCORE 36379.938
AT ITER 1505 NEW BEST:: SOT 178560 SOS 91026 HAS SOPS 91026 HAS SOUS 36190 HAS SOUPS 36190 WITH SCORE 36281.026
AT ITER 1508 NEW BEST:: SOT 178476 SOS 90942 HAS SOPS 90942 HAS SOUS 36108 HAS SOUPS 36108 WITH SCORE 36198.942
AT ITER 1519 NEW BEST:: SOT 178475 SOS 90970 HAS SOPS 90970 HAS SOUS 36107 HAS SOUPS 36107 WITH SCORE 36197.97
AT ITER 1526 NEW BEST:: SOT 178475 SOS 90930 HAS SOPS 90930 HAS SOUS 36073 HAS SOUPS 36073 WITH SCORE 36163.93
AT ITER 1531 NEW BEST:: SOT 178540 SOS 91186 HAS SOPS 91186 HAS SOUS 36027 HAS SOUPS 36027 WITH SCORE 36118.186
AT ITER 1532 NEW BEST:: SOT 178513 SOS 91156 HAS SOPS 91156 HAS SOUS 35996 HAS SOUPS 35996 WITH SCORE 36087.156
AT ITER 1534 NEW BEST:: SOT 178513 SOS 91145 HAS SOPS 91145 HAS SOUS 35984 HAS SOUPS 35984 WITH SCORE 36075.145
AT ITER 1540 NEW BEST:: SOT 178573 SOS 91205 HAS SOPS 91205 HAS SOUS 35934 HAS SOUPS 35934 WITH SCORE 36025.205
AT ITER 1547 NEW BEST:: SOT 178634 SOS 91389 HAS SOPS 91389 HAS SOUS 35933 HAS SOUPS 35933 WITH SCORE 36024.389
AT ITER 1576 NEW BEST:: SOT 178593 SOS 91121 HAS SOPS 91121 HAS SOUS 35907 HAS SOUPS 35907 WITH SCORE 35998.121
AT ITER 1583 NEW BEST:: SOT 178592 SOS 91120 HAS SOPS 91120 HAS SOUS 35890 HAS SOUPS 35890 WITH SCORE 35981.12
AT ITER 1588 NEW BEST:: SOT 178524 SOS 91052 HAS SOPS 91052 HAS SOUS 35822 HAS SOUPS 35822 WITH SCORE 35913.052
AT ITER 1611 NEW BEST:: SOT 178580 SOS 90997 HAS SOPS 90997 HAS SOUS 35811 HAS SOUPS 35811 WITH SCORE 35901.997
AT ITER 1614 NEW BEST:: SOT 178567 SOS 91108 HAS SOPS 91108 HAS SOUS 35798 HAS SOUPS 35798 WITH SCORE 35889.108
AT ITER 1620 NEW BEST:: SOT 178511 SOS 91277 HAS SOPS 91277 HAS SOUS 35745 HAS SOUPS 35745 WITH SCORE 35836.277
AT ITER 1623 NEW BEST:: SOT 178529 SOS 91286 HAS SOPS 91286 HAS SOUS 35736 HAS SOUPS 35736 WITH SCORE 35827.286
AT ITER 1630 NEW BEST:: SOT 178521 SOS 91278 HAS SOPS 91278 HAS SOUS 35686 HAS SOUPS 35686 WITH SCORE 35777.278
AT ITER 1643 NEW BEST:: SOT 178543 SOS 90878 HAS SOPS 90878 HAS SOUS 35674 HAS SOUPS 35674 WITH SCORE 35764.878
AT ITER 1651 NEW BEST:: SOT 178543 SOS 90878 HAS SOPS 90878 HAS SOUS 35673 HAS SOUPS 35673 WITH SCORE 35763.878
AT ITER 1657 NEW BEST:: SOT 178476 SOS 90644 HAS SOPS 90644 HAS SOUS 35575 HAS SOUPS 35575 WITH SCORE 35665.644
AT ITER 1661 NEW BEST:: SOT 178613 SOS 90410 HAS SOPS 90410 HAS SOUS 35547 HAS SOUPS 35547 WITH SCORE 35637.41
AT ITER 1662 NEW BEST:: SOT 178604 SOS 90220 HAS SOPS 90220 HAS SOUS 35538 HAS SOUPS 35538 WITH SCORE 35628.22
AT ITER 1663 NEW BEST:: SOT 178570 SOS 89741 HAS SOPS 89741 HAS SOUS 35483 HAS SOUPS 35483 WITH SCORE 35572.741
AT ITER 1664 NEW BEST:: SOT 178520 SOS 89778 HAS SOPS 89778 HAS SOUS 35433 HAS SOUPS 35433 WITH SCORE 35522.778
AT ITER 1683 NEW BEST:: SOT 178531 SOS 89798 HAS SOPS 89798 HAS SOUS 35385 HAS SOUPS 35385 WITH SCORE 35474.798
AT ITER 1684 NEW BEST:: SOT 178455 SOS 89639 HAS SOPS 89639 HAS SOUS 35277 HAS SOUPS 35277 WITH SCORE 35366.639
AT ITER 1703 NEW BEST:: SOT 178091 SOS 89335 HAS SOPS 89335 HAS SOUS 35173 HAS SOUPS 35173 WITH SCORE 35262.335
AT ITER 1719 NEW BEST:: SOT 177991 SOS 89235 HAS SOPS 89235 HAS SOUS 35050 HAS SOUPS 35050 WITH SCORE 35139.235
AT ITER 1720 NEW BEST:: SOT 177991 SOS 89100 HAS SOPS 89100 HAS SOUS 35050 HAS SOUPS 35050 WITH SCORE 35139.1
AT ITER 1723 NEW BEST:: SOT 178021 SOS 89134 HAS SOPS 89134 HAS SOUS 35045 HAS SOUPS 35045 WITH SCORE 35134.134
AT ITER 1737 NEW BEST:: SOT 178006 SOS 89126 HAS SOPS 89126 HAS SOUS 35022 HAS SOUPS 35022 WITH SCORE 35111.126
AT ITER 1747 NEW BEST:: SOT 177994 SOS 89023 HAS SOPS 89023 HAS SOUS 35013 HAS SOUPS 35013 WITH SCORE 35102.023
AT ITER 1748 NEW BEST:: SOT 177942 SOS 88971 HAS SOPS 88971 HAS SOUS 34941 HAS SOUPS 34941 WITH SCORE 35029.971
AT ITER 1757 NEW BEST:: SOT 177984 SOS 89013 HAS SOPS 89013 HAS SOUS 34929 HAS SOUPS 34929 WITH SCORE 35018.013
AT ITER 1773 NEW BEST:: SOT 177954 SOS 88983 HAS SOPS 88983 HAS SOUS 34899 HAS SOUPS 34899 WITH SCORE 34987.983
AT ITER 1774 NEW BEST:: SOT 177925 SOS 88952 HAS SOPS 88952 HAS SOUS 34864 HAS SOUPS 34864 WITH SCORE 34952.952
AT ITER 1780 NEW BEST:: SOT 177922 SOS 88948 HAS SOPS 88948 HAS SOUS 34861 HAS SOUPS 34861 WITH SCORE 34949.948
AT ITER 1783 NEW BEST:: SOT 177886 SOS 88912 HAS SOPS 88912 HAS SOUS 34777 HAS SOUPS 34777 WITH SCORE 34865.912
AT ITER 1788 NEW BEST:: SOT 177898 SOS 88919 HAS SOPS 88919 HAS SOUS 34768 HAS SOUPS 34768 WITH SCORE 34856.919
AT ITER 1790 NEW BEST:: SOT 177894 SOS 88919 HAS SOPS 88919 HAS SOUS 34763 HAS SOUPS 34763 WITH SCORE 34851.919
AT ITER 1791 NEW BEST:: SOT 177947 SOS 88542 HAS SOPS 88542 HAS SOUS 34757 HAS SOUPS 34757 WITH SCORE 34845.542
AT ITER 1818 NEW BEST:: SOT 177917 SOS 88512 HAS SOPS 88512 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34740.512
AT ITER 1819 NEW BEST:: SOT 177909 SOS 88462 HAS SOPS 88462 HAS SOUS 34616 HAS SOUPS 34616 WITH SCORE 34704.462
AT ITER 1831 NEW BEST:: SOT 177887 SOS 88440 HAS SOPS 88440 HAS SOUS 34594 HAS SOUPS 34594 WITH SCORE 34682.44
AT ITER 1847 NEW BEST:: SOT 177904 SOS 88457 HAS SOPS 88457 HAS SOUS 34577 HAS SOUPS 34577 WITH SCORE 34665.457
AT ITER 1852 NEW BEST:: SOT 177895 SOS 88445 HAS SOPS 88445 HAS SOUS 34577 HAS SOUPS 34577 WITH SCORE 34665.445
AT ITER 1864 NEW BEST:: SOT 177889 SOS 88439 HAS SOPS 88439 HAS SOUS 34559 HAS SOUPS 34559 WITH SCORE 34647.439
AT ITER 1871 NEW BEST:: SOT 177723 SOS 88282 HAS SOPS 88282 HAS SOUS 34545 HAS SOUPS 34545 WITH SCORE 34633.282
AT ITER 1872 NEW BEST:: SOT 177718 SOS 88252 HAS SOPS 88252 HAS SOUS 34530 HAS SOUPS 34530 WITH SCORE 34618.252
AT ITER 1874 NEW BEST:: SOT 177670 SOS 88048 HAS SOPS 88048 HAS SOUS 34476 HAS SOUPS 34476 WITH SCORE 34564.048
AT ITER 1878 NEW BEST:: SOT 177670 SOS 88091 HAS SOPS 88091 HAS SOUS 34433 HAS SOUPS 34433 WITH SCORE 34521.091
AT ITER 1880 NEW BEST:: SOT 177510 SOS 87931 HAS SOPS 87931 HAS SOUS 34353 HAS SOUPS 34353 WITH SCORE 34440.931
AT ITER 1881 NEW BEST:: SOT 177460 SOS 87881 HAS SOPS 87881 HAS SOUS 34283 HAS SOUPS 34283 WITH SCORE 34370.881
AT ITER 1883 NEW BEST:: SOT 177460 SOS 87881 HAS SOPS 87881 HAS SOUS 34251 HAS SOUPS 34251 WITH SCORE 34338.881
AT ITER 1888 NEW BEST:: SOT 177438 SOS 87837 HAS SOPS 87837 HAS SOUS 34219 HAS SOUPS 34219 WITH SCORE 34306.837
AT ITER 1899 NEW BEST:: SOT 177400 SOS 87803 HAS SOPS 87803 HAS SOUS 34157 HAS SOUPS 34157 WITH SCORE 34244.803
AT ITER 1903 NEW BEST:: SOT 177396 SOS 87799 HAS SOPS 87799 HAS SOUS 34149 HAS SOUPS 34149 WITH SCORE 34236.799
AT ITER 1905 NEW BEST:: SOT 177390 SOS 87793 HAS SOPS 87793 HAS SOUS 34143 HAS SOUPS 34143 WITH SCORE 34230.793
AT ITER 1909 NEW BEST:: SOT 177340 SOS 87677 HAS SOPS 87677 HAS SOUS 34132 HAS SOUPS 34132 WITH SCORE 34219.677
AT ITER 1911 NEW BEST:: SOT 177340 SOS 87884 HAS SOPS 87884 HAS SOUS 34079 HAS SOUPS 34079 WITH SCORE 34166.884
AT ITER 1958 NEW BEST:: SOT 177334 SOS 87878 HAS SOPS 87878 HAS SOUS 34073 HAS SOUPS 34073 WITH SCORE 34160.878
AT ITER 1962 NEW BEST:: SOT 177310 SOS 87872 HAS SOPS 87872 HAS SOUS 34049 HAS SOUPS 34049 WITH SCORE 34136.872
AT ITER 1971 NEW BEST:: SOT 177292 SOS 87836 HAS SOPS 87836 HAS SOUS 34031 HAS SOUPS 34031 WITH SCORE 34118.836
AT ITER 1982 NEW BEST:: SOT 177287 SOS 87831 HAS SOPS 87831 HAS SOUS 34029 HAS SOUPS 34029 WITH SCORE 34116.831
AT ITER 1988 NEW BEST:: SOT 176772 SOS 87316 HAS SOPS 87316 HAS SOUS 33571 HAS SOUPS 33571 WITH SCORE 33658.316
AT ITER 1990 NEW BEST:: SOT 176729 SOS 87248 HAS SOPS 87248 HAS SOUS 33485 HAS SOUPS 33485 WITH SCORE 33572.248
AT ITER 2002 NEW BEST:: SOT 176715 SOS 87234 HAS SOPS 87234 HAS SOUS 33471 HAS SOUPS 33471 WITH SCORE 33558.234
AT ITER 2004 NEW BEST:: SOT 176707 SOS 87210 HAS SOPS 87210 HAS SOUS 33463 HAS SOUPS 33463 WITH SCORE 33550.21
AT ITER 2014 NEW BEST:: SOT 176658 SOS 87080 HAS SOPS 87080 HAS SOUS 33404 HAS SOUPS 33404 WITH SCORE 33491.08
AT ITER 2016 NEW BEST:: SOT 176680 SOS 87157 HAS SOPS 87157 HAS SOUS 33396 HAS SOUPS 33396 WITH SCORE 33483.157
AT ITER 2022 NEW BEST:: SOT 176680 SOS 87147 HAS SOPS 87147 HAS SOUS 33391 HAS SOUPS 33391 WITH SCORE 33478.147
AT ITER 2033 NEW BEST:: SOT 176647 SOS 87193 HAS SOPS 87193 HAS SOUS 33366 HAS SOUPS 33366 WITH SCORE 33453.193
AT ITER 2037 NEW BEST:: SOT 176464 SOS 87010 HAS SOPS 87010 HAS SOUS 33209 HAS SOUPS 33209 WITH SCORE 33296.01
AT ITER 2043 NEW BEST:: SOT 176479 SOS 87039 HAS SOPS 87039 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33256.039
AT ITER 2059 NEW BEST:: SOT 176460 SOS 87001 HAS SOPS 87001 HAS SOUS 33150 HAS SOUPS 33150 WITH SCORE 33237.001
AT ITER 2060 NEW BEST:: SOT 176460 SOS 87001 HAS SOPS 87001 HAS SOUS 33022 HAS SOUPS 33022 WITH SCORE 33109.001
AT ITER 2072 NEW BEST:: SOT 176397 SOS 86922 HAS SOPS 86922 HAS SOUS 32966 HAS SOUPS 32966 WITH SCORE 33052.922
AT ITER 2085 NEW BEST:: SOT 176413 SOS 86961 HAS SOPS 86961 HAS SOUS 32957 HAS SOUPS 32957 WITH SCORE 33043.961
AT ITER 2087 NEW BEST:: SOT 176410 SOS 86890 HAS SOPS 86890 HAS SOUS 32923 HAS SOUPS 32923 WITH SCORE 33009.89
AT ITER 2098 NEW BEST:: SOT 176397 SOS 86912 HAS SOPS 86912 HAS SOUS 32910 HAS SOUPS 32910 WITH SCORE 32996.912
AT ITER 2101 NEW BEST:: SOT 176373 SOS 86864 HAS SOPS 86864 HAS SOUS 32878 HAS SOUPS 32878 WITH SCORE 32964.864
AT ITER 2116 NEW BEST:: SOT 176327 SOS 86818 HAS SOPS 86818 HAS SOUS 32828 HAS SOUPS 32828 WITH SCORE 32914.818
AT ITER 2131 NEW BEST:: SOT 176250 SOS 86741 HAS SOPS 86741 HAS SOUS 32806 HAS SOUPS 32806 WITH SCORE 32892.741
AT ITER 2136 NEW BEST:: SOT 176252 SOS 86726 HAS SOPS 86726 HAS SOUS 32798 HAS SOUPS 32798 WITH SCORE 32884.726
AT ITER 2137 NEW BEST:: SOT 176236 SOS 86710 HAS SOPS 86710 HAS SOUS 32782 HAS SOUPS 32782 WITH SCORE 32868.71
AT ITER 2154 NEW BEST:: SOT 176234 SOS 86708 HAS SOPS 86708 HAS SOUS 32780 HAS SOUPS 32780 WITH SCORE 32866.708
AT ITER 2170 NEW BEST:: SOT 176222 SOS 86726 HAS SOPS 86726 HAS SOUS 32641 HAS SOUPS 32641 WITH SCORE 32727.726
AT ITER 2206 NEW BEST:: SOT 176124 SOS 86562 HAS SOPS 86562 HAS SOUS 32609 HAS SOUPS 32609 WITH SCORE 32695.562
AT ITER 2212 NEW BEST:: SOT 176235 SOS 86510 HAS SOPS 86510 HAS SOUS 32535 HAS SOUPS 32535 WITH SCORE 32621.51
AT ITER 2228 NEW BEST:: SOT 176250 SOS 86517 HAS SOPS 86517 HAS SOUS 32506 HAS SOUPS 32506 WITH SCORE 32592.517
AT ITER 2242 NEW BEST:: SOT 176244 SOS 86530 HAS SOPS 86530 HAS SOUS 32502 HAS SOUPS 32502 WITH SCORE 32588.53
AT ITER 2254 NEW BEST:: SOT 176242 SOS 86528 HAS SOPS 86528 HAS SOUS 32500 HAS SOUPS 32500 WITH SCORE 32586.528
AT ITER 2261 NEW BEST:: SOT 176183 SOS 86432 HAS SOPS 86432 HAS SOUS 32452 HAS SOUPS 32452 WITH SCORE 32538.432
AT ITER 2263 NEW BEST:: SOT 176218 SOS 86476 HAS SOPS 86476 HAS SOUS 32443 HAS SOUPS 32443 WITH SCORE 32529.476
AT ITER 2272 NEW BEST:: SOT 176184 SOS 86408 HAS SOPS 86408 HAS SOUS 32409 HAS SOUPS 32409 WITH SCORE 32495.408
AT ITER 2274 NEW BEST:: SOT 176249 SOS 86317 HAS SOPS 86317 HAS SOUS 32393 HAS SOUPS 32393 WITH SCORE 32479.317
AT ITER 2277 NEW BEST:: SOT 176287 SOS 86890 HAS SOPS 86890 HAS SOUS 32320 HAS SOUPS 32320 WITH SCORE 32406.89
AT ITER 2279 NEW BEST:: SOT 176665 SOS 87674 HAS SOPS 87674 HAS SOUS 32318 HAS SOUPS 32318 WITH SCORE 32405.674
AT ITER 2285 NEW BEST:: SOT 176677 SOS 87632 HAS SOPS 87632 HAS SOUS 32304 HAS SOUPS 32304 WITH SCORE 32391.632
AT ITER 2293 NEW BEST:: SOT 176668 SOS 87648 HAS SOPS 87648 HAS SOUS 32292 HAS SOUPS 32292 WITH SCORE 32379.648
AT ITER 2303 NEW BEST:: SOT 176719 SOS 87837 HAS SOPS 87837 HAS SOUS 32288 HAS SOUPS 32288 WITH SCORE 32375.837
AT ITER 2327 NEW BEST:: SOT 176698 SOS 87734 HAS SOPS 87734 HAS SOUS 32270 HAS SOUPS 32270 WITH SCORE 32357.734
AT ITER 2337 NEW BEST:: SOT 176698 SOS 87722 HAS SOPS 87722 HAS SOUS 32264 HAS SOUPS 32264 WITH SCORE 32351.722
AT ITER 2338 NEW BEST:: SOT 176703 SOS 87727 HAS SOPS 87727 HAS SOUS 32249 HAS SOUPS 32249 WITH SCORE 32336.727
AT ITER 2366 NEW BEST:: SOT 176731 SOS 87769 HAS SOPS 87769 HAS SOUS 32221 HAS SOUPS 32221 WITH SCORE 32308.769
AT ITER 2369 NEW BEST:: SOT 176700 SOS 87676 HAS SOPS 87676 HAS SOUS 32221 HAS SOUPS 32221 WITH SCORE 32308.676
AT ITER 2373 NEW BEST:: SOT 176658 SOS 87634 HAS SOPS 87634 HAS SOUS 32179 HAS SOUPS 32179 WITH SCORE 32266.634
AT ITER 2375 NEW BEST:: SOT 176626 SOS 87570 HAS SOPS 87570 HAS SOUS 32148 HAS SOUPS 32148 WITH SCORE 32235.57
AT ITER 2386 NEW BEST:: SOT 176626 SOS 87547 HAS SOPS 87547 HAS SOUS 32148 HAS SOUPS 32148 WITH SCORE 32235.547
AT ITER 2388 NEW BEST:: SOT 176626 SOS 87547 HAS SOPS 87547 HAS SOUS 32142 HAS SOUPS 32142 WITH SCORE 32229.547
AT ITER 2401 NEW BEST:: SOT 176069 SOS 87159 HAS SOPS 87159 HAS SOUS 31988 HAS SOUPS 31988 WITH SCORE 32075.159
AT ITER 2403 NEW BEST:: SOT 176022 SOS 87083 HAS SOPS 87083 HAS SOUS 31907 HAS SOUPS 31907 WITH SCORE 31994.083
AT ITER 2404 NEW BEST:: SOT 176022 SOS 87083 HAS SOPS 87083 HAS SOUS 31876 HAS SOUPS 31876 WITH SCORE 31963.083
AT ITER 2415 NEW BEST:: SOT 176028 SOS 87097 HAS SOPS 87097 HAS SOUS 31874 HAS SOUPS 31874 WITH SCORE 31961.097
AT ITER 2428 NEW BEST:: SOT 176028 SOS 87097 HAS SOPS 87097 HAS SOUS 31847 HAS SOUPS 31847 WITH SCORE 31934.097
AT ITER 2452 NEW BEST:: SOT 176034 SOS 87247 HAS SOPS 87247 HAS SOUS 31824 HAS SOUPS 31824 WITH SCORE 31911.247
AT ITER 2455 NEW BEST:: SOT 176034 SOS 87241 HAS SOPS 87241 HAS SOUS 31824 HAS SOUPS 31824 WITH SCORE 31911.241
AT ITER 2460 NEW BEST:: SOT 176034 SOS 87262 HAS SOPS 87262 HAS SOUS 31817 HAS SOUPS 31817 WITH SCORE 31904.262
AT ITER 2472 NEW BEST:: SOT 175990 SOS 87394 HAS SOPS 87394 HAS SOUS 31771 HAS SOUPS 31771 WITH SCORE 31858.394
AT ITER 2479 NEW BEST:: SOT 176021 SOS 87441 HAS SOPS 87441 HAS SOUS 31727 HAS SOUPS 31727 WITH SCORE 31814.441
AT ITER 2484 NEW BEST:: SOT 176022 SOS 87442 HAS SOPS 87442 HAS SOUS 31724 HAS SOUPS 31724 WITH SCORE 31811.442
AT ITER 2495 NEW BEST:: SOT 176022 SOS 87425 HAS SOPS 87425 HAS SOUS 31707 HAS SOUPS 31707 WITH SCORE 31794.425
AT ITER 2498 NEW BEST:: SOT 176106 SOS 87509 HAS SOPS 87509 HAS SOUS 31677 HAS SOUPS 31677 WITH SCORE 31764.509
AT ITER 2502 NEW BEST:: SOT 176103 SOS 87515 HAS SOPS 87515 HAS SOUS 31674 HAS SOUPS 31674 WITH SCORE 31761.515
AT ITER 2509 NEW BEST:: SOT 176058 SOS 87576 HAS SOPS 87576 HAS SOUS 31523 HAS SOUPS 31523 WITH SCORE 31610.576
AT ITER 2529 NEW BEST:: SOT 176058 SOS 87576 HAS SOPS 87576 HAS SOUS 31520 HAS SOUPS 31520 WITH SCORE 31607.576
AT ITER 2548 NEW BEST:: SOT 176026 SOS 87544 HAS SOPS 87544 HAS SOUS 31520 HAS SOUPS 31520 WITH SCORE 31607.544
AT ITER 2556 NEW BEST:: SOT 176026 SOS 87512 HAS SOPS 87512 HAS SOUS 31504 HAS SOUPS 31504 WITH SCORE 31591.512
AT ITER 2561 NEW BEST:: SOT 175955 SOS 86979 HAS SOPS 86979 HAS SOUS 31490 HAS SOUPS 31490 WITH SCORE 31576.979
AT ITER 2568 NEW BEST:: SOT 175954 SOS 86979 HAS SOPS 86979 HAS SOUS 31489 HAS SOUPS 31489 WITH SCORE 31575.979
AT ITER 2577 NEW BEST:: SOT 175954 SOS 86979 HAS SOPS 86979 HAS SOUS 31484 HAS SOUPS 31484 WITH SCORE 31570.979
AT ITER 2589 NEW BEST:: SOT 175975 SOS 86876 HAS SOPS 86876 HAS SOUS 31465 HAS SOUPS 31465 WITH SCORE 31551.876
AT ITER 2601 NEW BEST:: SOT 175958 SOS 86885 HAS SOPS 86885 HAS SOUS 31453 HAS SOUPS 31453 WITH SCORE 31539.885
AT ITER 2613 NEW BEST:: SOT 175919 SOS 86984 HAS SOPS 86984 HAS SOUS 31375 HAS SOUPS 31375 WITH SCORE 31461.984
AT ITER 2614 NEW BEST:: SOT 175873 SOS 86938 HAS SOPS 86938 HAS SOUS 31263 HAS SOUPS 31263 WITH SCORE 31349.938
AT ITER 2628 NEW BEST:: SOT 175963 SOS 87009 HAS SOPS 87009 HAS SOUS 31260 HAS SOUPS 31260 WITH SCORE 31347.009
AT ITER 2643 NEW BEST:: SOT 175935 SOS 87002 HAS SOPS 87002 HAS SOUS 31247 HAS SOUPS 31247 WITH SCORE 31334.002
AT ITER 2644 NEW BEST:: SOT 175931 SOS 86998 HAS SOPS 86998 HAS SOUS 31236 HAS SOUPS 31236 WITH SCORE 31322.998
AT ITER 2681 NEW BEST:: SOT 175868 SOS 87000 HAS SOPS 87000 HAS SOUS 31173 HAS SOUPS 31173 WITH SCORE 31260.0
AT ITER 2692 NEW BEST:: SOT 175856 SOS 87039 HAS SOPS 87039 HAS SOUS 31149 HAS SOUPS 31149 WITH SCORE 31236.039
AT ITER 2694 NEW BEST:: SOT 175703 SOS 86811 HAS SOPS 86811 HAS SOUS 30921 HAS SOUPS 30921 WITH SCORE 31007.811
AT ITER 2702 NEW BEST:: SOT 175652 SOS 86930 HAS SOPS 86930 HAS SOUS 30905 HAS SOUPS 30905 WITH SCORE 30991.93
AT ITER 2727 NEW BEST:: SOT 175548 SOS 86789 HAS SOPS 86789 HAS SOUS 30801 HAS SOUPS 30801 WITH SCORE 30887.789
AT ITER 2735 NEW BEST:: SOT 175585 SOS 86826 HAS SOPS 86826 HAS SOUS 30725 HAS SOUPS 30725 WITH SCORE 30811.826
AT ITER 2741 NEW BEST:: SOT 175548 SOS 86720 HAS SOPS 86720 HAS SOUS 30645 HAS SOUPS 30645 WITH SCORE 30731.72
AT ITER 2748 NEW BEST:: SOT 175579 SOS 86835 HAS SOPS 86835 HAS SOUS 30614 HAS SOUPS 30614 WITH SCORE 30700.835
AT ITER 2759 NEW BEST:: SOT 175610 SOS 86885 HAS SOPS 86885 HAS SOUS 30588 HAS SOUPS 30588 WITH SCORE 30674.885
AT ITER 2786 NEW BEST:: SOT 175473 SOS 86735 HAS SOPS 86735 HAS SOUS 30451 HAS SOUPS 30451 WITH SCORE 30537.735
AT ITER 2799 NEW BEST:: SOT 175467 SOS 86711 HAS SOPS 86711 HAS SOUS 30445 HAS SOUPS 30445 WITH SCORE 30531.711
AT ITER 2800 NEW BEST:: SOT 175350 SOS 86555 HAS SOPS 86555 HAS SOUS 30319 HAS SOUPS 30319 WITH SCORE 30405.555
AT ITER 2803 NEW BEST:: SOT 175350 SOS 86493 HAS SOPS 86493 HAS SOUS 30288 HAS SOUPS 30288 WITH SCORE 30374.493
AT ITER 2808 NEW BEST:: SOT 175342 SOS 86485 HAS SOPS 86485 HAS SOUS 30280 HAS SOUPS 30280 WITH SCORE 30366.485
AT ITER 2816 NEW BEST:: SOT 175311 SOS 86454 HAS SOPS 86454 HAS SOUS 30280 HAS SOUPS 30280 WITH SCORE 30366.454
AT ITER 2824 NEW BEST:: SOT 175327 SOS 86445 HAS SOPS 86445 HAS SOUS 30271 HAS SOUPS 30271 WITH SCORE 30357.445
AT ITER 2830 NEW BEST:: SOT 175311 SOS 86447 HAS SOPS 86447 HAS SOUS 30259 HAS SOUPS 30259 WITH SCORE 30345.447
AT ITER 2863 NEW BEST:: SOT 175299 SOS 86423 HAS SOPS 86423 HAS SOUS 30235 HAS SOUPS 30235 WITH SCORE 30321.423
AT ITER 2870 NEW BEST:: SOT 175248 SOS 86139 HAS SOPS 86139 HAS SOUS 30097 HAS SOUPS 30097 WITH SCORE 30183.139
AT ITER 2872 NEW BEST:: SOT 175194 SOS 86085 HAS SOPS 86085 HAS SOUS 30043 HAS SOUPS 30043 WITH SCORE 30129.085
AT ITER 2875 NEW BEST:: SOT 175194 SOS 86085 HAS SOPS 86085 HAS SOUS 29992 HAS SOUPS 29992 WITH SCORE 30078.085
AT ITER 2882 NEW BEST:: SOT 175168 SOS 86007 HAS SOPS 86007 HAS SOUS 29953 HAS SOUPS 29953 WITH SCORE 30039.007
AT ITER 2885 NEW BEST:: SOT 175136 SOS 86038 HAS SOPS 86038 HAS SOUS 29927 HAS SOUPS 29927 WITH SCORE 30013.038
AT ITER 2905 NEW BEST:: SOT 175116 SOS 86008 HAS SOPS 86008 HAS SOUS 29907 HAS SOUPS 29907 WITH SCORE 29993.008
AT ITER 2914 NEW BEST:: SOT 175116 SOS 85954 HAS SOPS 85954 HAS SOUS 29907 HAS SOUPS 29907 WITH SCORE 29992.954
AT ITER 2917 NEW BEST:: SOT 175116 SOS 85890 HAS SOPS 85890 HAS SOUS 29865 HAS SOUPS 29865 WITH SCORE 29950.89
AT ITER 2931 NEW BEST:: SOT 175284 SOS 86058 HAS SOPS 86058 HAS SOUS 29842 HAS SOUPS 29842 WITH SCORE 29928.058
AT ITER 2953 NEW BEST:: SOT 175284 SOS 86036 HAS SOPS 86036 HAS SOUS 29831 HAS SOUPS 29831 WITH SCORE 29917.036
AT ITER 2954 NEW BEST:: SOT 175551 SOS 85865 HAS SOPS 85865 HAS SOUS 29822 HAS SOUPS 29822 WITH SCORE 29907.865
AT ITER 2981 NEW BEST:: SOT 175799 SOS 86305 HAS SOPS 86305 HAS SOUS 29814 HAS SOUPS 29814 WITH SCORE 29900.305
AT ITER 2989 NEW BEST:: SOT 175773 SOS 85939 HAS SOPS 85939 HAS SOUS 29747 HAS SOUPS 29747 WITH SCORE 29832.939
AT ITER 3033 NEW BEST:: SOT 175762 SOS 85928 HAS SOPS 85928 HAS SOUS 29736 HAS SOUPS 29736 WITH SCORE 29821.928
AT ITER 3038 NEW BEST:: SOT 175749 SOS 85963 HAS SOPS 85963 HAS SOUS 29723 HAS SOUPS 29723 WITH SCORE 29808.963
AT ITER 3041 NEW BEST:: SOT 175741 SOS 85955 HAS SOPS 85955 HAS SOUS 29700 HAS SOUPS 29700 WITH SCORE 29785.955
AT ITER 3051 NEW BEST:: SOT 175741 SOS 85949 HAS SOPS 85949 HAS SOUS 29700 HAS SOUPS 29700 WITH SCORE 29785.949
AT ITER 3057 NEW BEST:: SOT 175741 SOS 85947 HAS SOPS 85947 HAS SOUS 29700 HAS SOUPS 29700 WITH SCORE 29785.947
AT ITER 3063 NEW BEST:: SOT 175738 SOS 85944 HAS SOPS 85944 HAS SOUS 29695 HAS SOUPS 29695 WITH SCORE 29780.944
AT ITER 3074 NEW BEST:: SOT 175635 SOS 86029 HAS SOPS 86029 HAS SOUS 29686 HAS SOUPS 29686 WITH SCORE 29772.029
AT ITER 3076 NEW BEST:: SOT 175647 SOS 86047 HAS SOPS 86047 HAS SOUS 29674 HAS SOUPS 29674 WITH SCORE 29760.047
AT ITER 3093 NEW BEST:: SOT 175636 SOS 86047 HAS SOPS 86047 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 29737.047
AT ITER 3094 NEW BEST:: SOT 175668 SOS 86079 HAS SOPS 86079 HAS SOUS 29488 HAS SOUPS 29488 WITH SCORE 29574.079
AT ITER 3107 NEW BEST:: SOT 175660 SOS 86063 HAS SOPS 86063 HAS SOUS 29480 HAS SOUPS 29480 WITH SCORE 29566.063
AT ITER 3108 NEW BEST:: SOT 175540 SOS 85917 HAS SOPS 85917 HAS SOUS 29421 HAS SOUPS 29421 WITH SCORE 29506.917
AT ITER 3114 NEW BEST:: SOT 175482 SOS 85339 HAS SOPS 85339 HAS SOUS 29354 HAS SOUPS 29354 WITH SCORE 29439.339
AT ITER 3153 NEW BEST:: SOT 175508 SOS 85473 HAS SOPS 85473 HAS SOUS 29328 HAS SOUPS 29328 WITH SCORE 29413.473
AT ITER 3157 NEW BEST:: SOT 175509 SOS 85480 HAS SOPS 85480 HAS SOUS 29307 HAS SOUPS 29307 WITH SCORE 29392.48
AT ITER 3235 NEW BEST:: SOT 175305 SOS 85276 HAS SOPS 85276 HAS SOUS 29050 HAS SOUPS 29050 WITH SCORE 29135.276
AT ITER 3243 NEW BEST:: SOT 175237 SOS 84963 HAS SOPS 84963 HAS SOUS 28967 HAS SOUPS 28967 WITH SCORE 29051.963
AT ITER 3256 NEW BEST:: SOT 175127 SOS 84322 HAS SOPS 84322 HAS SOUS 28936 HAS SOUPS 28936 WITH SCORE 29020.322
AT ITER 3272 NEW BEST:: SOT 175117 SOS 84312 HAS SOPS 84312 HAS SOUS 28926 HAS SOUPS 28926 WITH SCORE 29010.312
AT ITER 3296 NEW BEST:: SOT 175157 SOS 84436 HAS SOPS 84436 HAS SOUS 28881 HAS SOUPS 28881 WITH SCORE 28965.436
AT ITER 3298 NEW BEST:: SOT 175158 SOS 84410 HAS SOPS 84410 HAS SOUS 28879 HAS SOUPS 28879 WITH SCORE 28963.41
AT ITER 3306 NEW BEST:: SOT 175096 SOS 83987 HAS SOPS 83987 HAS SOUS 28860 HAS SOUPS 28860 WITH SCORE 28943.987
AT ITER 3309 NEW BEST:: SOT 174915 SOS 83806 HAS SOPS 83806 HAS SOUS 28744 HAS SOUPS 28744 WITH SCORE 28827.806
AT ITER 3319 NEW BEST:: SOT 174915 SOS 83766 HAS SOPS 83766 HAS SOUS 28724 HAS SOUPS 28724 WITH SCORE 28807.766
AT ITER 3325 NEW BEST:: SOT 174765 SOS 83508 HAS SOPS 83508 HAS SOUS 28682 HAS SOUPS 28682 WITH SCORE 28765.508
AT ITER 3330 NEW BEST:: SOT 174765 SOS 83270 HAS SOPS 83270 HAS SOUS 28601 HAS SOUPS 28601 WITH SCORE 28684.27
AT ITER 3350 NEW BEST:: SOT 174761 SOS 83256 HAS SOPS 83256 HAS SOUS 28593 HAS SOUPS 28593 WITH SCORE 28676.256
AT ITER 3353 NEW BEST:: SOT 174667 SOS 82572 HAS SOPS 82572 HAS SOUS 28273 HAS SOUPS 28273 WITH SCORE 28355.572
AT ITER 3360 NEW BEST:: SOT 174600 SOS 82480 HAS SOPS 82480 HAS SOUS 28194 HAS SOUPS 28194 WITH SCORE 28276.48
AT ITER 3382 NEW BEST:: SOT 174600 SOS 82429 HAS SOPS 82429 HAS SOUS 28194 HAS SOUPS 28194 WITH SCORE 28276.429
AT ITER 3410 NEW BEST:: SOT 174598 SOS 82429 HAS SOPS 82429 HAS SOUS 28150 HAS SOUPS 28150 WITH SCORE 28232.429
AT ITER 3412 NEW BEST:: SOT 174510 SOS 82573 HAS SOPS 82573 HAS SOUS 28078 HAS SOUPS 28078 WITH SCORE 28160.573
AT ITER 3418 NEW BEST:: SOT 174400 SOS 82463 HAS SOPS 82463 HAS SOUS 27968 HAS SOUPS 27968 WITH SCORE 28050.463
AT ITER 3431 NEW BEST:: SOT 174385 SOS 82448 HAS SOPS 82448 HAS SOUS 27943 HAS SOUPS 27943 WITH SCORE 28025.448
AT ITER 3435 NEW BEST:: SOT 174376 SOS 82449 HAS SOPS 82449 HAS SOUS 27929 HAS SOUPS 27929 WITH SCORE 28011.449
AT ITER 3455 NEW BEST:: SOT 174216 SOS 82273 HAS SOPS 82273 HAS SOUS 27885 HAS SOUPS 27885 WITH SCORE 27967.273
AT ITER 3465 NEW BEST:: SOT 174172 SOS 82215 HAS SOPS 82215 HAS SOUS 27837 HAS SOUPS 27837 WITH SCORE 27919.215
AT ITER 3505 NEW BEST:: SOT 174176 SOS 82177 HAS SOPS 82177 HAS SOUS 27820 HAS SOUPS 27820 WITH SCORE 27902.177
AT ITER 3521 NEW BEST:: SOT 174161 SOS 82151 HAS SOPS 82151 HAS SOUS 27807 HAS SOUPS 27807 WITH SCORE 27889.151
AT ITER 3523 NEW BEST:: SOT 174100 SOS 82029 HAS SOPS 82029 HAS SOUS 27746 HAS SOUPS 27746 WITH SCORE 27828.029
AT ITER 3541 NEW BEST:: SOT 174095 SOS 82063 HAS SOPS 82063 HAS SOUS 27736 HAS SOUPS 27736 WITH SCORE 27818.063
AT ITER 3550 NEW BEST:: SOT 174114 SOS 82052 HAS SOPS 82052 HAS SOUS 27727 HAS SOUPS 27727 WITH SCORE 27809.052
AT ITER 3551 NEW BEST:: SOT 174097 SOS 82035 HAS SOPS 82035 HAS SOUS 27725 HAS SOUPS 27725 WITH SCORE 27807.035
AT ITER 3572 NEW BEST:: SOT 174064 SOS 81814 HAS SOPS 81814 HAS SOUS 27719 HAS SOUPS 27719 WITH SCORE 27800.814
AT ITER 3584 NEW BEST:: SOT 173928 SOS 81584 HAS SOPS 81584 HAS SOUS 27676 HAS SOUPS 27676 WITH SCORE 27757.584
AT ITER 3585 NEW BEST:: SOT 173901 SOS 81560 HAS SOPS 81560 HAS SOUS 27649 HAS SOUPS 27649 WITH SCORE 27730.56
AT ITER 3589 NEW BEST:: SOT 173892 SOS 81542 HAS SOPS 81542 HAS SOUS 27649 HAS SOUPS 27649 WITH SCORE 27730.542
AT ITER 3592 NEW BEST:: SOT 173889 SOS 81538 HAS SOPS 81538 HAS SOUS 27645 HAS SOUPS 27645 WITH SCORE 27726.538
AT ITER 3603 NEW BEST:: SOT 173889 SOS 81530 HAS SOPS 81530 HAS SOUS 27645 HAS SOUPS 27645 WITH SCORE 27726.53
AT ITER 3607 NEW BEST:: SOT 173889 SOS 81527 HAS SOPS 81527 HAS SOUS 27642 HAS SOUPS 27642 WITH SCORE 27723.527
AT ITER 3609 NEW BEST:: SOT 173889 SOS 81503 HAS SOPS 81503 HAS SOUS 27636 HAS SOUPS 27636 WITH SCORE 27717.503
AT ITER 3628 NEW BEST:: SOT 173889 SOS 81457 HAS SOPS 81457 HAS SOUS 27613 HAS SOUPS 27613 WITH SCORE 27694.457
AT ITER 3637 NEW BEST:: SOT 173851 SOS 81429 HAS SOPS 81429 HAS SOUS 27562 HAS SOUPS 27562 WITH SCORE 27643.429
AT ITER 3638 NEW BEST:: SOT 173811 SOS 81309 HAS SOPS 81309 HAS SOUS 27562 HAS SOUPS 27562 WITH SCORE 27643.309
AT ITER 3647 NEW BEST:: SOT 173788 SOS 81251 HAS SOPS 81251 HAS SOUS 27504 HAS SOUPS 27504 WITH SCORE 27585.251
AT ITER 3661 NEW BEST:: SOT 173805 SOS 81269 HAS SOPS 81269 HAS SOUS 27497 HAS SOUPS 27497 WITH SCORE 27578.269
AT ITER 3668 NEW BEST:: SOT 173737 SOS 81183 HAS SOPS 81183 HAS SOUS 27478 HAS SOUPS 27478 WITH SCORE 27559.183
AT ITER 3671 NEW BEST:: SOT 173737 SOS 81183 HAS SOPS 81183 HAS SOUS 27473 HAS SOUPS 27473 WITH SCORE 27554.183
AT ITER 3717 NEW BEST:: SOT 173705 SOS 81167 HAS SOPS 81167 HAS SOUS 27441 HAS SOUPS 27441 WITH SCORE 27522.167
AT ITER 3721 NEW BEST:: SOT 173722 SOS 80714 HAS SOPS 80714 HAS SOUS 27424 HAS SOUPS 27424 WITH SCORE 27504.714
AT ITER 3734 NEW BEST:: SOT 173713 SOS 80696 HAS SOPS 80696 HAS SOUS 27406 HAS SOUPS 27406 WITH SCORE 27486.696
AT ITER 3756 NEW BEST:: SOT 173718 SOS 80701 HAS SOPS 80701 HAS SOUS 27396 HAS SOUPS 27396 WITH SCORE 27476.701
AT ITER 3766 NEW BEST:: SOT 173718 SOS 80701 HAS SOPS 80701 HAS SOUS 27339 HAS SOUPS 27339 WITH SCORE 27419.701
AT ITER 3781 NEW BEST:: SOT 173637 SOS 80585 HAS SOPS 80585 HAS SOUS 27305 HAS SOUPS 27305 WITH SCORE 27385.585
AT ITER 3782 NEW BEST:: SOT 173675 SOS 80564 HAS SOPS 80564 HAS SOUS 27303 HAS SOUPS 27303 WITH SCORE 27383.564
AT ITER 3788 NEW BEST:: SOT 173657 SOS 80540 HAS SOPS 80540 HAS SOUS 27285 HAS SOUPS 27285 WITH SCORE 27365.54
AT ITER 3840 NEW BEST:: SOT 173565 SOS 80434 HAS SOPS 80434 HAS SOUS 27221 HAS SOUPS 27221 WITH SCORE 27301.434
AT ITER 3841 NEW BEST:: SOT 173468 SOS 80325 HAS SOPS 80325 HAS SOUS 27141 HAS SOUPS 27141 WITH SCORE 27221.325
AT ITER 3849 NEW BEST:: SOT 173460 SOS 80309 HAS SOPS 80309 HAS SOUS 27138 HAS SOUPS 27138 WITH SCORE 27218.309
AT ITER 3855 NEW BEST:: SOT 173452 SOS 80286 HAS SOPS 80286 HAS SOUS 27130 HAS SOUPS 27130 WITH SCORE 27210.286
AT ITER 3860 NEW BEST:: SOT 173423 SOS 80234 HAS SOPS 80234 HAS SOUS 27095 HAS SOUPS 27095 WITH SCORE 27175.234
AT ITER 3873 NEW BEST:: SOT 173297 SOS 80146 HAS SOPS 80146 HAS SOUS 26969 HAS SOUPS 26969 WITH SCORE 27049.146
AT ITER 3889 NEW BEST:: SOT 173377 SOS 80153 HAS SOPS 80153 HAS SOUS 26959 HAS SOUPS 26959 WITH SCORE 27039.153
AT ITER 3904 NEW BEST:: SOT 173377 SOS 80147 HAS SOPS 80147 HAS SOUS 26959 HAS SOUPS 26959 WITH SCORE 27039.147
AT ITER 3908 NEW BEST:: SOT 173384 SOS 80154 HAS SOPS 80154 HAS SOUS 26937 HAS SOUPS 26937 WITH SCORE 27017.154
AT ITER 3912 NEW BEST:: SOT 173372 SOS 80138 HAS SOPS 80138 HAS SOUS 26921 HAS SOUPS 26921 WITH SCORE 27001.138
AT ITER 3944 NEW BEST:: SOT 173364 SOS 80106 HAS SOPS 80106 HAS SOUS 26913 HAS SOUPS 26913 WITH SCORE 26993.106
AT ITER 3949 NEW BEST:: SOT 173250 SOS 79992 HAS SOPS 79992 HAS SOUS 26799 HAS SOUPS 26799 WITH SCORE 26878.992
AT ITER 3964 NEW BEST:: SOT 173247 SOS 79983 HAS SOPS 79983 HAS SOUS 26799 HAS SOUPS 26799 WITH SCORE 26878.983
AT ITER 3970 NEW BEST:: SOT 173242 SOS 79973 HAS SOPS 79973 HAS SOUS 26789 HAS SOUPS 26789 WITH SCORE 26868.973
AT ITER 3985 NEW BEST:: SOT 173242 SOS 79945 HAS SOPS 79945 HAS SOUS 26775 HAS SOUPS 26775 WITH SCORE 26854.945
AT ITER 3989 NEW BEST:: SOT 173124 SOS 79829 HAS SOPS 79829 HAS SOUS 26657 HAS SOUPS 26657 WITH SCORE 26736.829
AT ITER 4004 NEW BEST:: SOT 173100 SOS 79805 HAS SOPS 79805 HAS SOUS 26621 HAS SOUPS 26621 WITH SCORE 26700.805
AT ITER 4005 NEW BEST:: SOT 173070 SOS 79775 HAS SOPS 79775 HAS SOUS 26511 HAS SOUPS 26511 WITH SCORE 26590.775
AT ITER 4007 NEW BEST:: SOT 173066 SOS 79767 HAS SOPS 79767 HAS SOUS 26507 HAS SOUPS 26507 WITH SCORE 26586.767
AT ITER 4012 NEW BEST:: SOT 173066 SOS 79767 HAS SOPS 79767 HAS SOUS 26498 HAS SOUPS 26498 WITH SCORE 26577.767
AT ITER 4020 NEW BEST:: SOT 173066 SOS 79702 HAS SOPS 79702 HAS SOUS 26485 HAS SOUPS 26485 WITH SCORE 26564.702
AT ITER 4050 NEW BEST:: SOT 173027 SOS 79624 HAS SOPS 79624 HAS SOUS 26446 HAS SOUPS 26446 WITH SCORE 26525.624
AT ITER 4060 NEW BEST:: SOT 173027 SOS 79624 HAS SOPS 79624 HAS SOUS 26406 HAS SOUPS 26406 WITH SCORE 26485.624
AT ITER 4068 NEW BEST:: SOT 172949 SOS 79719 HAS SOPS 79719 HAS SOUS 26378 HAS SOUPS 26378 WITH SCORE 26457.719
AT ITER 4072 NEW BEST:: SOT 172955 SOS 79725 HAS SOPS 79725 HAS SOUS 26356 HAS SOUPS 26356 WITH SCORE 26435.725
AT ITER 4082 NEW BEST:: SOT 172866 SOS 79574 HAS SOPS 79574 HAS SOUS 26283 HAS SOUPS 26283 WITH SCORE 26362.574
AT ITER 4088 NEW BEST:: SOT 172847 SOS 79639 HAS SOPS 79639 HAS SOUS 26264 HAS SOUPS 26264 WITH SCORE 26343.639
AT ITER 4104 NEW BEST:: SOT 172943 SOS 79735 HAS SOPS 79735 HAS SOUS 26261 HAS SOUPS 26261 WITH SCORE 26340.735
AT ITER 4109 NEW BEST:: SOT 172943 SOS 79748 HAS SOPS 79748 HAS SOUS 26252 HAS SOUPS 26252 WITH SCORE 26331.748
AT ITER 4123 NEW BEST:: SOT 172929 SOS 79720 HAS SOPS 79720 HAS SOUS 26238 HAS SOUPS 26238 WITH SCORE 26317.72
AT ITER 4131 NEW BEST:: SOT 172830 SOS 79622 HAS SOPS 79622 HAS SOUS 26207 HAS SOUPS 26207 WITH SCORE 26286.622
AT ITER 4136 NEW BEST:: SOT 172821 SOS 79653 HAS SOPS 79653 HAS SOUS 26202 HAS SOUPS 26202 WITH SCORE 26281.653
AT ITER 4149 NEW BEST:: SOT 172835 SOS 79667 HAS SOPS 79667 HAS SOUS 26170 HAS SOUPS 26170 WITH SCORE 26249.667
AT ITER 4156 NEW BEST:: SOT 172590 SOS 79240 HAS SOPS 79240 HAS SOUS 26077 HAS SOUPS 26077 WITH SCORE 26156.24
AT ITER 4161 NEW BEST:: SOT 172558 SOS 79206 HAS SOPS 79206 HAS SOUS 26045 HAS SOUPS 26045 WITH SCORE 26124.206
AT ITER 4193 NEW BEST:: SOT 172554 SOS 79161 HAS SOPS 79161 HAS SOUS 26045 HAS SOUPS 26045 WITH SCORE 26124.161
AT ITER 4214 NEW BEST:: SOT 172489 SOS 79026 HAS SOPS 79026 HAS SOUS 26043 HAS SOUPS 26043 WITH SCORE 26122.026
AT ITER 4226 NEW BEST:: SOT 172450 SOS 78962 HAS SOPS 78962 HAS SOUS 25990 HAS SOUPS 25990 WITH SCORE 26068.962
AT ITER 4227 NEW BEST:: SOT 172422 SOS 78934 HAS SOPS 78934 HAS SOUS 25966 HAS SOUPS 25966 WITH SCORE 26044.934
AT ITER 4230 NEW BEST:: SOT 172393 SOS 78888 HAS SOPS 78888 HAS SOUS 25937 HAS SOUPS 25937 WITH SCORE 26015.888
AT ITER 4242 NEW BEST:: SOT 172312 SOS 78697 HAS SOPS 78697 HAS SOUS 25874 HAS SOUPS 25874 WITH SCORE 25952.697
AT ITER 4260 NEW BEST:: SOT 172312 SOS 78670 HAS SOPS 78670 HAS SOUS 25874 HAS SOUPS 25874 WITH SCORE 25952.67
AT ITER 4266 NEW BEST:: SOT 172312 SOS 78670 HAS SOPS 78670 HAS SOUS 25872 HAS SOUPS 25872 WITH SCORE 25950.67
AT ITER 4280 NEW BEST:: SOT 172282 SOS 78608 HAS SOPS 78608 HAS SOUS 25840 HAS SOUPS 25840 WITH SCORE 25918.608
AT ITER 4281 NEW BEST:: SOT 172278 SOS 78616 HAS SOPS 78616 HAS SOUS 25836 HAS SOUPS 25836 WITH SCORE 25914.616
AT ITER 4297 NEW BEST:: SOT 172190 SOS 78370 HAS SOPS 78370 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25777.37
AT ITER 4301 NEW BEST:: SOT 172144 SOS 78157 HAS SOPS 78157 HAS SOUS 25664 HAS SOUPS 25664 WITH SCORE 25742.157
AT ITER 4304 NEW BEST:: SOT 172130 SOS 78143 HAS SOPS 78143 HAS SOUS 25650 HAS SOUPS 25650 WITH SCORE 25728.143
AT ITER 4337 NEW BEST:: SOT 172119 SOS 78099 HAS SOPS 78099 HAS SOUS 25635 HAS SOUPS 25635 WITH SCORE 25713.099
AT ITER 4346 NEW BEST:: SOT 172090 SOS 77997 HAS SOPS 77997 HAS SOUS 25577 HAS SOUPS 25577 WITH SCORE 25654.997
AT ITER 4359 NEW BEST:: SOT 172090 SOS 77947 HAS SOPS 77947 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25629.947
AT ITER 4426 NEW BEST:: SOT 172090 SOS 77941 HAS SOPS 77941 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25629.941
AT ITER 4461 NEW BEST:: SOT 172070 SOS 77921 HAS SOPS 77921 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25629.921
AT ITER 4470 NEW BEST:: SOT 172067 SOS 77912 HAS SOPS 77912 HAS SOUS 25547 HAS SOUPS 25547 WITH SCORE 25624.912
AT ITER 4475 NEW BEST:: SOT 172051 SOS 77940 HAS SOPS 77940 HAS SOUS 25531 HAS SOUPS 25531 WITH SCORE 25608.94
AT ITER 4499 NEW BEST:: SOT 172051 SOS 77940 HAS SOPS 77940 HAS SOUS 25525 HAS SOUPS 25525 WITH SCORE 25602.94
AT ITER 4500 NEW BEST:: SOT 172045 SOS 77979 HAS SOPS 77979 HAS SOUS 25519 HAS SOUPS 25519 WITH SCORE 25596.979
AT ITER 4518 NEW BEST:: SOT 172038 SOS 77971 HAS SOPS 77971 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25586.971
AT ITER 4567 NEW BEST:: SOT 171936 SOS 77550 HAS SOPS 77550 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25350.55
AT ITER 4568 NEW BEST:: SOT 171852 SOS 77466 HAS SOPS 77466 HAS SOUS 25244 HAS SOUPS 25244 WITH SCORE 25321.466
AT ITER 4574 NEW BEST:: SOT 171820 SOS 77430 HAS SOPS 77430 HAS SOUS 25183 HAS SOUPS 25183 WITH SCORE 25260.43
AT ITER 4593 NEW BEST:: SOT 171820 SOS 77430 HAS SOPS 77430 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25210.43
AT ITER 4615 NEW BEST:: SOT 171685 SOS 77265 HAS SOPS 77265 HAS SOUS 25101 HAS SOUPS 25101 WITH SCORE 25178.265
AT ITER 4616 NEW BEST:: SOT 171667 SOS 77247 HAS SOPS 77247 HAS SOUS 25093 HAS SOUPS 25093 WITH SCORE 25170.247
AT ITER 4622 NEW BEST:: SOT 171667 SOS 77247 HAS SOPS 77247 HAS SOUS 25085 HAS SOUPS 25085 WITH SCORE 25162.247
AT ITER 4668 NEW BEST:: SOT 171667 SOS 77247 HAS SOPS 77247 HAS SOUS 25084 HAS SOUPS 25084 WITH SCORE 25161.247
AT ITER 4684 NEW BEST:: SOT 171665 SOS 77241 HAS SOPS 77241 HAS SOUS 25080 HAS SOUPS 25080 WITH SCORE 25157.241
AT ITER 4687 NEW BEST:: SOT 171665 SOS 77053 HAS SOPS 77053 HAS SOUS 25080 HAS SOUPS 25080 WITH SCORE 25157.053
AT ITER 4715 NEW BEST:: SOT 171599 SOS 76987 HAS SOPS 76987 HAS SOUS 25014 HAS SOUPS 25014 WITH SCORE 25090.987
AT ITER 4722 NEW BEST:: SOT 171599 SOS 76987 HAS SOPS 76987 HAS SOUS 24998 HAS SOUPS 24998 WITH SCORE 25074.987
AT ITER 4734 NEW BEST:: SOT 171599 SOS 76987 HAS SOPS 76987 HAS SOUS 24996 HAS SOUPS 24996 WITH SCORE 25072.987
AT ITER 4736 NEW BEST:: SOT 171599 SOS 76987 HAS SOPS 76987 HAS SOUS 24993 HAS SOUPS 24993 WITH SCORE 25069.987
AT ITER 4741 NEW BEST:: SOT 171558 SOS 76933 HAS SOPS 76933 HAS SOUS 24952 HAS SOUPS 24952 WITH SCORE 25028.933
AT ITER 4758 NEW BEST:: SOT 171557 SOS 76934 HAS SOPS 76934 HAS SOUS 24950 HAS SOUPS 24950 WITH SCORE 25026.934
AT ITER 4764 NEW BEST:: SOT 171485 SOS 76713 HAS SOPS 76713 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24837.713
AT ITER 4781 NEW BEST:: SOT 171485 SOS 76711 HAS SOPS 76711 HAS SOUS 24760 HAS SOUPS 24760 WITH SCORE 24836.711
AT ITER 4811 NEW BEST:: SOT 171493 SOS 76703 HAS SOPS 76703 HAS SOUS 24752 HAS SOUPS 24752 WITH SCORE 24828.703
AT ITER 4838 NEW BEST:: SOT 171472 SOS 76659 HAS SOPS 76659 HAS SOUS 24727 HAS SOUPS 24727 WITH SCORE 24803.659
AT ITER 4864 NEW BEST:: SOT 171455 SOS 77060 HAS SOPS 77060 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24787.06
AT ITER 4867 NEW BEST:: SOT 171447 SOS 77078 HAS SOPS 77078 HAS SOUS 24699 HAS SOUPS 24699 WITH SCORE 24776.078
AT ITER 4882 NEW BEST:: SOT 171425 SOS 77056 HAS SOPS 77056 HAS SOUS 24677 HAS SOUPS 24677 WITH SCORE 24754.056
AT ITER 4886 NEW BEST:: SOT 171421 SOS 77044 HAS SOPS 77044 HAS SOUS 24673 HAS SOUPS 24673 WITH SCORE 24750.044
AT ITER 4892 NEW BEST:: SOT 171420 SOS 77043 HAS SOPS 77043 HAS SOUS 24671 HAS SOUPS 24671 WITH SCORE 24748.043
AT ITER 4896 NEW BEST:: SOT 171378 SOS 77001 HAS SOPS 77001 HAS SOUS 24665 HAS SOUPS 24665 WITH SCORE 24742.001
AT ITER 4910 NEW BEST:: SOT 171358 SOS 76981 HAS SOPS 76981 HAS SOUS 24645 HAS SOUPS 24645 WITH SCORE 24721.981
AT ITER 4912 NEW BEST:: SOT 171370 SOS 76993 HAS SOPS 76993 HAS SOUS 24638 HAS SOUPS 24638 WITH SCORE 24714.993
AT ITER 4927 NEW BEST:: SOT 171370 SOS 76969 HAS SOPS 76969 HAS SOUS 24626 HAS SOUPS 24626 WITH SCORE 24702.969
AT ITER 4950 NEW BEST:: SOT 171360 SOS 76723 HAS SOPS 76723 HAS SOUS 24616 HAS SOUPS 24616 WITH SCORE 24692.723
AT ITER 4967 NEW BEST:: SOT 171357 SOS 76717 HAS SOPS 76717 HAS SOUS 24610 HAS SOUPS 24610 WITH SCORE 24686.717
AT ITER 5014 NEW BEST:: SOT 171341 SOS 76701 HAS SOPS 76701 HAS SOUS 24589 HAS SOUPS 24589 WITH SCORE 24665.701
AT ITER 5081 NEW BEST:: SOT 171186 SOS 76108 HAS SOPS 76108 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24573.108
AT ITER 5088 NEW BEST:: SOT 171156 SOS 76138 HAS SOPS 76138 HAS SOUS 24491 HAS SOUPS 24491 WITH SCORE 24567.138
AT ITER 5099 NEW BEST:: SOT 171011 SOS 78397 HAS SOPS 78397 HAS SOUS 24438 HAS SOUPS 24438 WITH SCORE 24516.397
AT ITER 5100 NEW BEST:: SOT 170949 SOS 78335 HAS SOPS 78335 HAS SOUS 24406 HAS SOUPS 24406 WITH SCORE 24484.335
AT ITER 5114 NEW BEST:: SOT 170938 SOS 78324 HAS SOPS 78324 HAS SOUS 24395 HAS SOUPS 24395 WITH SCORE 24473.324
AT ITER 5119 NEW BEST:: SOT 170938 SOS 78337 HAS SOPS 78337 HAS SOUS 24394 HAS SOUPS 24394 WITH SCORE 24472.337
AT ITER 5172 NEW BEST:: SOT 171030 SOS 78429 HAS SOPS 78429 HAS SOUS 24386 HAS SOUPS 24386 WITH SCORE 24464.429
AT ITER 5209 NEW BEST:: SOT 171020 SOS 78383 HAS SOPS 78383 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24449.383
AT ITER 5226 NEW BEST:: SOT 171020 SOS 78383 HAS SOPS 78383 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24440.383
AT ITER 5232 NEW BEST:: SOT 171001 SOS 78345 HAS SOPS 78345 HAS SOUS 24337 HAS SOUPS 24337 WITH SCORE 24415.345
AT ITER 5235 NEW BEST:: SOT 170995 SOS 78339 HAS SOPS 78339 HAS SOUS 24333 HAS SOUPS 24333 WITH SCORE 24411.339
AT ITER 5240 NEW BEST:: SOT 170979 SOS 78259 HAS SOPS 78259 HAS SOUS 24279 HAS SOUPS 24279 WITH SCORE 24357.259
AT ITER 5262 NEW BEST:: SOT 170979 SOS 78259 HAS SOPS 78259 HAS SOUS 24278 HAS SOUPS 24278 WITH SCORE 24356.259
AT ITER 5265 NEW BEST:: SOT 170854 SOS 78134 HAS SOPS 78134 HAS SOUS 24270 HAS SOUPS 24270 WITH SCORE 24348.134
AT ITER 5275 NEW BEST:: SOT 170746 SOS 78026 HAS SOPS 78026 HAS SOUS 24168 HAS SOUPS 24168 WITH SCORE 24246.026
AT ITER 5295 NEW BEST:: SOT 170746 SOS 78012 HAS SOPS 78012 HAS SOUS 24168 HAS SOUPS 24168 WITH SCORE 24246.012
AT ITER 5307 NEW BEST:: SOT 170828 SOS 77878 HAS SOPS 77878 HAS SOUS 24110 HAS SOUPS 24110 WITH SCORE 24187.878
AT ITER 5308 NEW BEST:: SOT 170792 SOS 77881 HAS SOPS 77881 HAS SOUS 24089 HAS SOUPS 24089 WITH SCORE 24166.881
AT ITER 5315 NEW BEST:: SOT 170792 SOS 77861 HAS SOPS 77861 HAS SOUS 24085 HAS SOUPS 24085 WITH SCORE 24162.861
AT ITER 5318 NEW BEST:: SOT 170792 SOS 77840 HAS SOPS 77840 HAS SOUS 24064 HAS SOUPS 24064 WITH SCORE 24141.84
AT ITER 5324 NEW BEST:: SOT 170754 SOS 77802 HAS SOPS 77802 HAS SOUS 24060 HAS SOUPS 24060 WITH SCORE 24137.802
AT ITER 5327 NEW BEST:: SOT 170750 SOS 77802 HAS SOPS 77802 HAS SOUS 24056 HAS SOUPS 24056 WITH SCORE 24133.802
AT ITER 5345 NEW BEST:: SOT 170750 SOS 77802 HAS SOPS 77802 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24089.802
AT ITER 5346 NEW BEST:: SOT 170750 SOS 77784 HAS SOPS 77784 HAS SOUS 24003 HAS SOUPS 24003 WITH SCORE 24080.784
AT ITER 5347 NEW BEST:: SOT 170734 SOS 77732 HAS SOPS 77732 HAS SOUS 23987 HAS SOUPS 23987 WITH SCORE 24064.732
AT ITER 5365 NEW BEST:: SOT 170559 SOS 77504 HAS SOPS 77504 HAS SOUS 23814 HAS SOUPS 23814 WITH SCORE 23891.504
AT ITER 5387 NEW BEST:: SOT 170537 SOS 77482 HAS SOPS 77482 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23831.482
AT ITER 5395 NEW BEST:: SOT 170507 SOS 77452 HAS SOPS 77452 HAS SOUS 23708 HAS SOUPS 23708 WITH SCORE 23785.452
AT ITER 5448 NEW BEST:: SOT 170417 SOS 77362 HAS SOPS 77362 HAS SOUS 23612 HAS SOUPS 23612 WITH SCORE 23689.362
AT ITER 5452 NEW BEST:: SOT 170392 SOS 77299 HAS SOPS 77299 HAS SOUS 23586 HAS SOUPS 23586 WITH SCORE 23663.299
AT ITER 5483 NEW BEST:: SOT 170385 SOS 77292 HAS SOPS 77292 HAS SOUS 23553 HAS SOUPS 23553 WITH SCORE 23630.292
AT ITER 5486 NEW BEST:: SOT 170381 SOS 77292 HAS SOPS 77292 HAS SOUS 23551 HAS SOUPS 23551 WITH SCORE 23628.292
AT ITER 5565 NEW BEST:: SOT 170390 SOS 77260 HAS SOPS 77260 HAS SOUS 23547 HAS SOUPS 23547 WITH SCORE 23624.26
AT ITER 5620 NEW BEST:: SOT 170401 SOS 77243 HAS SOPS 77243 HAS SOUS 23530 HAS SOUPS 23530 WITH SCORE 23607.243
AT ITER 5633 NEW BEST:: SOT 170352 SOS 77101 HAS SOPS 77101 HAS SOUS 23446 HAS SOUPS 23446 WITH SCORE 23523.101
AT ITER 5637 NEW BEST:: SOT 170352 SOS 77101 HAS SOPS 77101 HAS SOUS 23445 HAS SOUPS 23445 WITH SCORE 23522.101
AT ITER 5678 NEW BEST:: SOT 170323 SOS 76931 HAS SOPS 76931 HAS SOUS 23416 HAS SOUPS 23416 WITH SCORE 23492.931
AT ITER 5685 NEW BEST:: SOT 170289 SOS 76897 HAS SOPS 76897 HAS SOUS 23382 HAS SOUPS 23382 WITH SCORE 23458.897
AT ITER 5693 NEW BEST:: SOT 170233 SOS 76841 HAS SOPS 76841 HAS SOUS 23326 HAS SOUPS 23326 WITH SCORE 23402.841
AT ITER 5697 NEW BEST:: SOT 170210 SOS 76983 HAS SOPS 76983 HAS SOUS 23315 HAS SOUPS 23315 WITH SCORE 23391.983
AT ITER 5701 NEW BEST:: SOT 170198 SOS 76971 HAS SOPS 76971 HAS SOUS 23297 HAS SOUPS 23297 WITH SCORE 23373.971
AT ITER 5735 NEW BEST:: SOT 170198 SOS 76964 HAS SOPS 76964 HAS SOUS 23292 HAS SOUPS 23292 WITH SCORE 23368.964
AT ITER 5740 NEW BEST:: SOT 170188 SOS 76860 HAS SOPS 76860 HAS SOUS 23282 HAS SOUPS 23282 WITH SCORE 23358.86
AT ITER 5741 NEW BEST:: SOT 170186 SOS 76858 HAS SOPS 76858 HAS SOUS 23251 HAS SOUPS 23251 WITH SCORE 23327.858
AT ITER 5793 NEW BEST:: SOT 170186 SOS 76858 HAS SOPS 76858 HAS SOUS 23244 HAS SOUPS 23244 WITH SCORE 23320.858
AT ITER 5796 NEW BEST:: SOT 170160 SOS 76832 HAS SOPS 76832 HAS SOUS 23218 HAS SOUPS 23218 WITH SCORE 23294.832
AT ITER 5824 NEW BEST:: SOT 170177 SOS 76829 HAS SOPS 76829 HAS SOUS 23190 HAS SOUPS 23190 WITH SCORE 23266.829
AT ITER 5832 NEW BEST:: SOT 170149 SOS 76801 HAS SOPS 76801 HAS SOUS 23162 HAS SOUPS 23162 WITH SCORE 23238.801
AT ITER 5834 NEW BEST:: SOT 170149 SOS 76799 HAS SOPS 76799 HAS SOUS 23160 HAS SOUPS 23160 WITH SCORE 23236.799
AT ITER 5835 NEW BEST:: SOT 170162 SOS 76870 HAS SOPS 76870 HAS SOUS 23081 HAS SOUPS 23081 WITH SCORE 23157.87
AT ITER 5837 NEW BEST:: SOT 170162 SOS 76870 HAS SOPS 76870 HAS SOUS 23079 HAS SOUPS 23079 WITH SCORE 23155.87
AT ITER 5853 NEW BEST:: SOT 170146 SOS 76794 HAS SOPS 76794 HAS SOUS 23060 HAS SOUPS 23060 WITH SCORE 23136.794
AT ITER 5858 NEW BEST:: SOT 170144 SOS 76794 HAS SOPS 76794 HAS SOUS 23051 HAS SOUPS 23051 WITH SCORE 23127.794
AT ITER 5888 NEW BEST:: SOT 170140 SOS 76786 HAS SOPS 76786 HAS SOUS 23043 HAS SOUPS 23043 WITH SCORE 23119.786
AT ITER 5912 NEW BEST:: SOT 170159 SOS 76799 HAS SOPS 76799 HAS SOUS 23020 HAS SOUPS 23020 WITH SCORE 23096.799
AT ITER 5920 NEW BEST:: SOT 170159 SOS 76799 HAS SOPS 76799 HAS SOUS 23001 HAS SOUPS 23001 WITH SCORE 23077.799
AT ITER 5949 NEW BEST:: SOT 170166 SOS 76806 HAS SOPS 76806 HAS SOUS 22999 HAS SOUPS 22999 WITH SCORE 23075.806
AT ITER 5950 NEW BEST:: SOT 170193 SOS 76901 HAS SOPS 76901 HAS SOUS 22992 HAS SOUPS 22992 WITH SCORE 23068.901
AT ITER 5959 NEW BEST:: SOT 170193 SOS 76901 HAS SOPS 76901 HAS SOUS 22989 HAS SOUPS 22989 WITH SCORE 23065.901
AT ITER 5975 NEW BEST:: SOT 170190 SOS 76879 HAS SOPS 76879 HAS SOUS 22978 HAS SOUPS 22978 WITH SCORE 23054.879
AT ITER 5976 NEW BEST:: SOT 170183 SOS 76907 HAS SOPS 76907 HAS SOUS 22964 HAS SOUPS 22964 WITH SCORE 23040.907
AT ITER 6003 NEW BEST:: SOT 170179 SOS 76899 HAS SOPS 76899 HAS SOUS 22964 HAS SOUPS 22964 WITH SCORE 23040.899
AT ITER 6009 NEW BEST:: SOT 170186 SOS 76907 HAS SOPS 76907 HAS SOUS 22959 HAS SOUPS 22959 WITH SCORE 23035.907
AT ITER 6021 NEW BEST:: SOT 170162 SOS 76853 HAS SOPS 76853 HAS SOUS 22935 HAS SOUPS 22935 WITH SCORE 23011.853
AT ITER 6044 NEW BEST:: SOT 170160 SOS 76853 HAS SOPS 76853 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 23007.853
AT ITER 6045 NEW BEST:: SOT 170155 SOS 76848 HAS SOPS 76848 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 23007.848
AT ITER 6063 NEW BEST:: SOT 170144 SOS 76826 HAS SOPS 76826 HAS SOUS 22909 HAS SOUPS 22909 WITH SCORE 22985.826
AT ITER 6066 NEW BEST:: SOT 170158 SOS 76357 HAS SOPS 76357 HAS SOUS 22906 HAS SOUPS 22906 WITH SCORE 22982.357
AT ITER 6126 NEW BEST:: SOT 170167 SOS 76366 HAS SOPS 76366 HAS SOUS 22904 HAS SOUPS 22904 WITH SCORE 22980.366
AT ITER 6171 NEW BEST:: SOT 170151 SOS 76367 HAS SOPS 76367 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22947.367
AT ITER 6185 NEW BEST:: SOT 170148 SOS 76488 HAS SOPS 76488 HAS SOUS 22868 HAS SOUPS 22868 WITH SCORE 22944.488
AT ITER 6225 NEW BEST:: SOT 170122 SOS 76410 HAS SOPS 76410 HAS SOUS 22842 HAS SOUPS 22842 WITH SCORE 22918.41
AT ITER 6271 NEW BEST:: SOT 170119 SOS 76404 HAS SOPS 76404 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22912.404
AT ITER 6277 NEW BEST:: SOT 170136 SOS 76399 HAS SOPS 76399 HAS SOUS 22831 HAS SOUPS 22831 WITH SCORE 22907.399
AT ITER 6364 NEW BEST:: SOT 170136 SOS 76303 HAS SOPS 76303 HAS SOUS 22773 HAS SOUPS 22773 WITH SCORE 22849.303
AT ITER 6395 NEW BEST:: SOT 170138 SOS 76317 HAS SOPS 76317 HAS SOUS 22761 HAS SOUPS 22761 WITH SCORE 22837.317
AT ITER 6412 NEW BEST:: SOT 170138 SOS 76356 HAS SOPS 76356 HAS SOUS 22742 HAS SOUPS 22742 WITH SCORE 22818.356
AT ITER 6424 NEW BEST:: SOT 170132 SOS 76350 HAS SOPS 76350 HAS SOUS 22736 HAS SOUPS 22736 WITH SCORE 22812.35
AT ITER 6439 NEW BEST:: SOT 170105 SOS 76365 HAS SOPS 76365 HAS SOUS 22735 HAS SOUPS 22735 WITH SCORE 22811.365
AT ITER 6450 NEW BEST:: SOT 170055 SOS 76369 HAS SOPS 76369 HAS SOUS 22669 HAS SOUPS 22669 WITH SCORE 22745.369
AT ITER 6457 NEW BEST:: SOT 170055 SOS 76351 HAS SOPS 76351 HAS SOUS 22669 HAS SOUPS 22669 WITH SCORE 22745.351
AT ITER 6458 NEW BEST:: SOT 170055 SOS 76351 HAS SOPS 76351 HAS SOUS 22666 HAS SOUPS 22666 WITH SCORE 22742.351
AT ITER 6463 NEW BEST:: SOT 169828 SOS 77558 HAS SOPS 77558 HAS SOUS 22637 HAS SOUPS 22637 WITH SCORE 22714.558
AT ITER 6495 NEW BEST:: SOT 169828 SOS 77550 HAS SOPS 77550 HAS SOUS 22624 HAS SOUPS 22624 WITH SCORE 22701.55
AT ITER 6498 NEW BEST:: SOT 169859 SOS 77479 HAS SOPS 77479 HAS SOUS 22590 HAS SOUPS 22590 WITH SCORE 22667.479
AT ITER 6518 NEW BEST:: SOT 169847 SOS 77463 HAS SOPS 77463 HAS SOUS 22576 HAS SOUPS 22576 WITH SCORE 22653.463
AT ITER 6548 NEW BEST:: SOT 169772 SOS 77368 HAS SOPS 77368 HAS SOUS 22531 HAS SOUPS 22531 WITH SCORE 22608.368
AT ITER 6578 NEW BEST:: SOT 169772 SOS 77368 HAS SOPS 77368 HAS SOUS 22513 HAS SOUPS 22513 WITH SCORE 22590.368
AT ITER 6588 NEW BEST:: SOT 169772 SOS 77348 HAS SOPS 77348 HAS SOUS 22498 HAS SOUPS 22498 WITH SCORE 22575.348
AT ITER 6604 NEW BEST:: SOT 169708 SOS 77482 HAS SOPS 77482 HAS SOUS 22471 HAS SOUPS 22471 WITH SCORE 22548.482
AT ITER 6606 NEW BEST:: SOT 169656 SOS 77430 HAS SOPS 77430 HAS SOUS 22418 HAS SOUPS 22418 WITH SCORE 22495.43
AT ITER 6617 NEW BEST:: SOT 169655 SOS 77442 HAS SOPS 77442 HAS SOUS 22417 HAS SOUPS 22417 WITH SCORE 22494.442
AT ITER 6632 NEW BEST:: SOT 169653 SOS 77444 HAS SOPS 77444 HAS SOUS 22413 HAS SOUPS 22413 WITH SCORE 22490.444
AT ITER 6642 NEW BEST:: SOT 169641 SOS 77422 HAS SOPS 77422 HAS SOUS 22405 HAS SOUPS 22405 WITH SCORE 22482.422
AT ITER 6649 NEW BEST:: SOT 169541 SOS 77322 HAS SOPS 77322 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22462.322
AT ITER 6655 NEW BEST:: SOT 169546 SOS 77327 HAS SOPS 77327 HAS SOUS 22370 HAS SOUPS 22370 WITH SCORE 22447.327
AT ITER 6657 NEW BEST:: SOT 169541 SOS 77307 HAS SOPS 77307 HAS SOUS 22365 HAS SOUPS 22365 WITH SCORE 22442.307
AT ITER 6689 NEW BEST:: SOT 169705 SOS 77471 HAS SOPS 77471 HAS SOUS 22363 HAS SOUPS 22363 WITH SCORE 22440.471
AT ITER 6690 NEW BEST:: SOT 169672 SOS 77435 HAS SOPS 77435 HAS SOUS 22358 HAS SOUPS 22358 WITH SCORE 22435.435
AT ITER 6768 NEW BEST:: SOT 169672 SOS 77417 HAS SOPS 77417 HAS SOUS 22349 HAS SOUPS 22349 WITH SCORE 22426.417
AT ITER 6832 NEW BEST:: SOT 169666 SOS 77417 HAS SOPS 77417 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22423.417
AT ITER 6841 NEW BEST:: SOT 169666 SOS 77346 HAS SOPS 77346 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22423.346
AT ITER 6843 NEW BEST:: SOT 169658 SOS 77330 HAS SOPS 77330 HAS SOUS 22338 HAS SOUPS 22338 WITH SCORE 22415.33
AT ITER 6856 NEW BEST:: SOT 169658 SOS 77328 HAS SOPS 77328 HAS SOUS 22334 HAS SOUPS 22334 WITH SCORE 22411.328
AT ITER 6908 NEW BEST:: SOT 169578 SOS 77248 HAS SOPS 77248 HAS SOUS 22334 HAS SOUPS 22334 WITH SCORE 22411.248
AT ITER 6923 NEW BEST:: SOT 169558 SOS 77224 HAS SOPS 77224 HAS SOUS 22314 HAS SOUPS 22314 WITH SCORE 22391.224
AT ITER 6946 NEW BEST:: SOT 169550 SOS 77272 HAS SOPS 77272 HAS SOUS 22290 HAS SOUPS 22290 WITH SCORE 22367.272
AT ITER 6953 NEW BEST:: SOT 169542 SOS 77307 HAS SOPS 77307 HAS SOUS 22274 HAS SOUPS 22274 WITH SCORE 22351.307
AT ITER 7005 NEW BEST:: SOT 169542 SOS 77284 HAS SOPS 77284 HAS SOUS 22264 HAS SOUPS 22264 WITH SCORE 22341.284
AT ITER 7040 NEW BEST:: SOT 169542 SOS 77203 HAS SOPS 77203 HAS SOUS 22249 HAS SOUPS 22249 WITH SCORE 22326.203
AT ITER 7050 NEW BEST:: SOT 169542 SOS 77203 HAS SOPS 77203 HAS SOUS 22221 HAS SOUPS 22221 WITH SCORE 22298.203
AT ITER 7055 NEW BEST:: SOT 169538 SOS 77199 HAS SOPS 77199 HAS SOUS 22215 HAS SOUPS 22215 WITH SCORE 22292.199
AT ITER 7084 NEW BEST:: SOT 169538 SOS 77213 HAS SOPS 77213 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22285.213
AT ITER 7098 NEW BEST:: SOT 169516 SOS 77147 HAS SOPS 77147 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22285.147
AT ITER 7110 NEW BEST:: SOT 169516 SOS 77132 HAS SOPS 77132 HAS SOUS 22200 HAS SOUPS 22200 WITH SCORE 22277.132
AT ITER 7127 NEW BEST:: SOT 169512 SOS 77128 HAS SOPS 77128 HAS SOUS 22178 HAS SOUPS 22178 WITH SCORE 22255.128
AT ITER 7146 NEW BEST:: SOT 169499 SOS 77073 HAS SOPS 77073 HAS SOUS 22170 HAS SOUPS 22170 WITH SCORE 22247.073
AT ITER 7155 NEW BEST:: SOT 169499 SOS 77019 HAS SOPS 77019 HAS SOUS 22148 HAS SOUPS 22148 WITH SCORE 22225.019
AT ITER 7195 NEW BEST:: SOT 169469 SOS 76929 HAS SOPS 76929 HAS SOUS 22118 HAS SOUPS 22118 WITH SCORE 22194.929
AT ITER 7237 NEW BEST:: SOT 169469 SOS 76917 HAS SOPS 76917 HAS SOUS 22118 HAS SOUPS 22118 WITH SCORE 22194.917
AT ITER 7288 NEW BEST:: SOT 169471 SOS 76919 HAS SOPS 76919 HAS SOUS 22105 HAS SOUPS 22105 WITH SCORE 22181.919
AT ITER 7289 NEW BEST:: SOT 169485 SOS 76933 HAS SOPS 76933 HAS SOUS 22094 HAS SOUPS 22094 WITH SCORE 22170.933
AT ITER 7299 NEW BEST:: SOT 169482 SOS 76927 HAS SOPS 76927 HAS SOUS 22091 HAS SOUPS 22091 WITH SCORE 22167.927
AT ITER 7339 NEW BEST:: SOT 169478 SOS 76919 HAS SOPS 76919 HAS SOUS 22087 HAS SOUPS 22087 WITH SCORE 22163.919
AT ITER 7362 NEW BEST:: SOT 169474 SOS 76915 HAS SOPS 76915 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22159.915
AT ITER 7367 NEW BEST:: SOT 169488 SOS 76897 HAS SOPS 76897 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22141.897
AT ITER 7384 NEW BEST:: SOT 169484 SOS 76889 HAS SOPS 76889 HAS SOUS 22061 HAS SOUPS 22061 WITH SCORE 22137.889
AT ITER 7396 NEW BEST:: SOT 169465 SOS 76849 HAS SOPS 76849 HAS SOUS 22021 HAS SOUPS 22021 WITH SCORE 22097.849
AT ITER 7458 NEW BEST:: SOT 169463 SOS 76847 HAS SOPS 76847 HAS SOUS 22019 HAS SOUPS 22019 WITH SCORE 22095.847
AT ITER 7549 NEW BEST:: SOT 169458 SOS 76827 HAS SOPS 76827 HAS SOUS 22014 HAS SOUPS 22014 WITH SCORE 22090.827
AT ITER 7568 NEW BEST:: SOT 169451 SOS 76820 HAS SOPS 76820 HAS SOUS 22004 HAS SOUPS 22004 WITH SCORE 22080.82
AT ITER 7665 NEW BEST:: SOT 169443 SOS 76804 HAS SOPS 76804 HAS SOUS 22000 HAS SOUPS 22000 WITH SCORE 22076.804
AT ITER 7697 NEW BEST:: SOT 169395 SOS 76648 HAS SOPS 76648 HAS SOUS 21969 HAS SOUPS 21969 WITH SCORE 22045.648
AT ITER 7801 NEW BEST:: SOT 169395 SOS 76648 HAS SOPS 76648 HAS SOUS 21960 HAS SOUPS 21960 WITH SCORE 22036.648
AT ITER 7844 NEW BEST:: SOT 169387 SOS 76624 HAS SOPS 76624 HAS SOUS 21956 HAS SOUPS 21956 WITH SCORE 22032.624
AT ITER 7854 NEW BEST:: SOT 169363 SOS 76578 HAS SOPS 76578 HAS SOUS 21948 HAS SOUPS 21948 WITH SCORE 22024.578
AT ITER 7891 NEW BEST:: SOT 169351 SOS 76597 HAS SOPS 76597 HAS SOUS 21947 HAS SOUPS 21947 WITH SCORE 22023.597
AT ITER 7911 NEW BEST:: SOT 169351 SOS 76511 HAS SOPS 76511 HAS SOUS 21904 HAS SOUPS 21904 WITH SCORE 21980.511
AT ITER 7915 NEW BEST:: SOT 169349 SOS 76509 HAS SOPS 76509 HAS SOUS 21903 HAS SOUPS 21903 WITH SCORE 21979.509
AT ITER 7975 NEW BEST:: SOT 169316 SOS 76462 HAS SOPS 76462 HAS SOUS 21870 HAS SOUPS 21870 WITH SCORE 21946.462
AT ITER 7991 NEW BEST:: SOT 169329 SOS 76452 HAS SOPS 76452 HAS SOUS 21870 HAS SOUPS 21870 WITH SCORE 21946.452
AT ITER 8012 NEW BEST:: SOT 169309 SOS 76416 HAS SOPS 76416 HAS SOUS 21850 HAS SOUPS 21850 WITH SCORE 21926.416
AT ITER 8013 NEW BEST:: SOT 169307 SOS 76418 HAS SOPS 76418 HAS SOUS 21848 HAS SOUPS 21848 WITH SCORE 21924.418
AT ITER 8044 NEW BEST:: SOT 169310 SOS 76421 HAS SOPS 76421 HAS SOUS 21842 HAS SOUPS 21842 WITH SCORE 21918.421
AT ITER 8093 NEW BEST:: SOT 169315 SOS 76355 HAS SOPS 76355 HAS SOUS 21840 HAS SOUPS 21840 WITH SCORE 21916.355
AT ITER 8147 NEW BEST:: SOT 169358 SOS 76398 HAS SOPS 76398 HAS SOUS 21838 HAS SOUPS 21838 WITH SCORE 21914.398
AT ITER 8160 NEW BEST:: SOT 169358 SOS 76394 HAS SOPS 76394 HAS SOUS 21838 HAS SOUPS 21838 WITH SCORE 21914.394
AT ITER 8181 NEW BEST:: SOT 169285 SOS 76275 HAS SOPS 76275 HAS SOUS 21810 HAS SOUPS 21810 WITH SCORE 21886.275
AT ITER 8226 NEW BEST:: SOT 169283 SOS 76265 HAS SOPS 76265 HAS SOUS 21808 HAS SOUPS 21808 WITH SCORE 21884.265
AT ITER 8257 NEW BEST:: SOT 169279 SOS 76257 HAS SOPS 76257 HAS SOUS 21808 HAS SOUPS 21808 WITH SCORE 21884.257
AT ITER 8287 NEW BEST:: SOT 169279 SOS 76249 HAS SOPS 76249 HAS SOUS 21804 HAS SOUPS 21804 WITH SCORE 21880.249
AT ITER 8316 NEW BEST:: SOT 169274 SOS 76225 HAS SOPS 76225 HAS SOUS 21793 HAS SOUPS 21793 WITH SCORE 21869.225
AT ITER 8324 NEW BEST:: SOT 169264 SOS 76175 HAS SOPS 76175 HAS SOUS 21773 HAS SOUPS 21773 WITH SCORE 21849.175
AT ITER 8327 NEW BEST:: SOT 169258 SOS 76171 HAS SOPS 76171 HAS SOUS 21762 HAS SOUPS 21762 WITH SCORE 21838.171
AT ITER 8333 NEW BEST:: SOT 169258 SOS 76172 HAS SOPS 76172 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21837.172
AT ITER 8337 NEW BEST:: SOT 169258 SOS 76193 HAS SOPS 76193 HAS SOUS 21751 HAS SOUPS 21751 WITH SCORE 21827.193
AT ITER 8371 NEW BEST:: SOT 169258 SOS 76193 HAS SOPS 76193 HAS SOUS 21746 HAS SOUPS 21746 WITH SCORE 21822.193
AT ITER 8389 NEW BEST:: SOT 169258 SOS 76191 HAS SOPS 76191 HAS SOUS 21745 HAS SOUPS 21745 WITH SCORE 21821.191
AT ITER 8395 NEW BEST:: SOT 169252 SOS 76157 HAS SOPS 76157 HAS SOUS 21711 HAS SOUPS 21711 WITH SCORE 21787.157
AT ITER 8406 NEW BEST:: SOT 169252 SOS 76157 HAS SOPS 76157 HAS SOUS 21709 HAS SOUPS 21709 WITH SCORE 21785.157
AT ITER 8409 NEW BEST:: SOT 169135 SOS 75795 HAS SOPS 75795 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21776.795
AT ITER 8430 NEW BEST:: SOT 169133 SOS 75793 HAS SOPS 75793 HAS SOUS 21681 HAS SOUPS 21681 WITH SCORE 21756.793
AT ITER 8438 NEW BEST:: SOT 169133 SOS 75789 HAS SOPS 75789 HAS SOUS 21679 HAS SOUPS 21679 WITH SCORE 21754.789
AT ITER 8461 NEW BEST:: SOT 169132 SOS 75789 HAS SOPS 75789 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21752.789
AT ITER 8466 NEW BEST:: SOT 169108 SOS 75717 HAS SOPS 75717 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21728.717
AT ITER 8475 NEW BEST:: SOT 169057 SOS 75633 HAS SOPS 75633 HAS SOUS 21602 HAS SOUPS 21602 WITH SCORE 21677.633
AT ITER 8514 NEW BEST:: SOT 169049 SOS 75601 HAS SOPS 75601 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21669.601
AT ITER 8520 NEW BEST:: SOT 169049 SOS 75595 HAS SOPS 75595 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21669.595
AT ITER 8569 NEW BEST:: SOT 169037 SOS 75583 HAS SOPS 75583 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21669.583
AT ITER 8742 NEW BEST:: SOT 169009 SOS 75514 HAS SOPS 75514 HAS SOUS 21580 HAS SOUPS 21580 WITH SCORE 21655.514
AT ITER 8747 NEW BEST:: SOT 169009 SOS 75506 HAS SOPS 75506 HAS SOUS 21580 HAS SOUPS 21580 WITH SCORE 21655.506
AT ITER 8761 NEW BEST:: SOT 168980 SOS 75464 HAS SOPS 75464 HAS SOUS 21551 HAS SOUPS 21551 WITH SCORE 21626.464
AT ITER 8815 NEW BEST:: SOT 168998 SOS 75446 HAS SOPS 75446 HAS SOUS 21533 HAS SOUPS 21533 WITH SCORE 21608.446
AT ITER 8836 NEW BEST:: SOT 168998 SOS 75462 HAS SOPS 75462 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21604.462
AT ITER 8848 NEW BEST:: SOT 169081 SOS 75423 HAS SOPS 75423 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21604.423
AT ITER 8866 NEW BEST:: SOT 169071 SOS 75413 HAS SOPS 75413 HAS SOUS 21519 HAS SOUPS 21519 WITH SCORE 21594.413
AT ITER 8888 NEW BEST:: SOT 169065 SOS 75407 HAS SOPS 75407 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21588.407
AT ITER 8893 NEW BEST:: SOT 169065 SOS 75395 HAS SOPS 75395 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21588.395
AT ITER 8973 NEW BEST:: SOT 169055 SOS 75375 HAS SOPS 75375 HAS SOUS 21508 HAS SOUPS 21508 WITH SCORE 21583.375
AT ITER 8989 NEW BEST:: SOT 169023 SOS 75347 HAS SOPS 75347 HAS SOUS 21467 HAS SOUPS 21467 WITH SCORE 21542.347
AT ITER 9004 NEW BEST:: SOT 168993 SOS 75257 HAS SOPS 75257 HAS SOUS 21437 HAS SOUPS 21437 WITH SCORE 21512.257
AT ITER 9069 NEW BEST:: SOT 168991 SOS 75255 HAS SOPS 75255 HAS SOUS 21435 HAS SOUPS 21435 WITH SCORE 21510.255
AT ITER 9070 NEW BEST:: SOT 168996 SOS 75260 HAS SOPS 75260 HAS SOUS 21418 HAS SOUPS 21418 WITH SCORE 21493.26
AT ITER 9107 NEW BEST:: SOT 168954 SOS 75228 HAS SOPS 75228 HAS SOUS 21394 HAS SOUPS 21394 WITH SCORE 21469.228
AT ITER 9130 NEW BEST:: SOT 168954 SOS 75228 HAS SOPS 75228 HAS SOUS 21386 HAS SOUPS 21386 WITH SCORE 21461.228
AT ITER 9151 NEW BEST:: SOT 168974 SOS 74972 HAS SOPS 74972 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21456.972
AT ITER 9152 NEW BEST:: SOT 168973 SOS 74970 HAS SOPS 74970 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21456.97
AT ITER 9155 NEW BEST:: SOT 168977 SOS 74973 HAS SOPS 74973 HAS SOUS 21381 HAS SOUPS 21381 WITH SCORE 21455.973
AT ITER 9158 NEW BEST:: SOT 169035 SOS 75014 HAS SOPS 75014 HAS SOUS 21367 HAS SOUPS 21367 WITH SCORE 21442.014
AT ITER 9168 NEW BEST:: SOT 169029 SOS 74936 HAS SOPS 74936 HAS SOUS 21361 HAS SOUPS 21361 WITH SCORE 21435.936
AT ITER 9189 NEW BEST:: SOT 169029 SOS 74936 HAS SOPS 74936 HAS SOUS 21359 HAS SOUPS 21359 WITH SCORE 21433.936
AT ITER 9190 NEW BEST:: SOT 169028 SOS 74933 HAS SOPS 74933 HAS SOUS 21359 HAS SOUPS 21359 WITH SCORE 21433.933
AT ITER 9248 NEW BEST:: SOT 169017 SOS 74911 HAS SOPS 74911 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21422.911
AT ITER 9261 NEW BEST:: SOT 169023 SOS 74917 HAS SOPS 74917 HAS SOUS 21336 HAS SOUPS 21336 WITH SCORE 21410.917
AT ITER 9299 NEW BEST:: SOT 169048 SOS 74907 HAS SOPS 74907 HAS SOUS 21330 HAS SOUPS 21330 WITH SCORE 21404.907
AT ITER 9339 NEW BEST:: SOT 169052 SOS 74867 HAS SOPS 74867 HAS SOUS 21319 HAS SOUPS 21319 WITH SCORE 21393.867
AT ITER 9372 NEW BEST:: SOT 169043 SOS 74858 HAS SOPS 74858 HAS SOUS 21319 HAS SOUPS 21319 WITH SCORE 21393.858
AT ITER 9383 NEW BEST:: SOT 169041 SOS 74856 HAS SOPS 74856 HAS SOUS 21317 HAS SOUPS 21317 WITH SCORE 21391.856
AT ITER 9401 NEW BEST:: SOT 168977 SOS 74711 HAS SOPS 74711 HAS SOUS 21304 HAS SOUPS 21304 WITH SCORE 21378.711
AT ITER 9432 NEW BEST:: SOT 168905 SOS 74421 HAS SOPS 74421 HAS SOUS 21191 HAS SOUPS 21191 WITH SCORE 21265.421
AT ITER 9492 NEW BEST:: SOT 168845 SOS 74345 HAS SOPS 74345 HAS SOUS 21152 HAS SOUPS 21152 WITH SCORE 21226.345
AT ITER 9529 NEW BEST:: SOT 168844 SOS 74346 HAS SOPS 74346 HAS SOUS 21150 HAS SOUPS 21150 WITH SCORE 21224.346
AT ITER 9538 NEW BEST:: SOT 168838 SOS 74374 HAS SOPS 74374 HAS SOUS 21149 HAS SOUPS 21149 WITH SCORE 21223.374
AT ITER 9551 NEW BEST:: SOT 168832 SOS 74360 HAS SOPS 74360 HAS SOUS 21147 HAS SOUPS 21147 WITH SCORE 21221.36
AT ITER 9703 NEW BEST:: SOT 168812 SOS 74340 HAS SOPS 74340 HAS SOUS 21147 HAS SOUPS 21147 WITH SCORE 21221.34
AT ITER 9731 NEW BEST:: SOT 168809 SOS 74497 HAS SOPS 74497 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21218.497
AT ITER 9809 NEW BEST:: SOT 168817 SOS 74491 HAS SOPS 74491 HAS SOUS 21138 HAS SOUPS 21138 WITH SCORE 21212.491
AT ITER 9816 NEW BEST:: SOT 168817 SOS 74487 HAS SOPS 74487 HAS SOUS 21138 HAS SOUPS 21138 WITH SCORE 21212.487
AT ITER 9820 NEW BEST:: SOT 168807 SOS 74477 HAS SOPS 74477 HAS SOUS 21126 HAS SOUPS 21126 WITH SCORE 21200.477
AT ITER 9835 NEW BEST:: SOT 168821 SOS 74491 HAS SOPS 74491 HAS SOUS 21107 HAS SOUPS 21107 WITH SCORE 21181.491
AT ITER 9874 NEW BEST:: SOT 168818 SOS 74469 HAS SOPS 74469 HAS SOUS 21101 HAS SOUPS 21101 WITH SCORE 21175.469
AT ITER 9908 NEW BEST:: SOT 168818 SOS 74448 HAS SOPS 74448 HAS SOUS 21094 HAS SOUPS 21094 WITH SCORE 21168.448
AT ITER 9949 NEW BEST:: SOT 168815 SOS 74456 HAS SOPS 74456 HAS SOUS 21091 HAS SOUPS 21091 WITH SCORE 21165.456
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7567316 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122372 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-COL-Z4T3N10"
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-COL-Z4T3N10, 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-167912711301048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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