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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 6.2K Feb 26 14:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 26 14:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 14:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 14:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:26 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 1679308168077

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-Z4T4N08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:29:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:29:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:29: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:29:30] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:29:30] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 704 ms
[2023-03-20 10:29:30] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 302 PT places and 600.0 transition bindings in 18 ms.
[2023-03-20 10:29:30] [INFO ] Unfolded HLPN to a Petri net with 302 places and 600 transitions 1928 arcs in 25 ms.
[2023-03-20 10:29:30] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:29:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 302 places, 600 transitions and 1928 arcs took 9 ms.
Total runtime 852 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T4N08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 302 places, 600 transitions, 1928 arcs.
AT ITER 0 NEW BEST:: SOT 148019 SOS 118663 HAS SOPS 118663 HAS SOUS 66778 HAS SOUPS 66778 WITH SCORE 66896.663
AT ITER 1 NEW BEST:: SOT 147903 SOS 118490 HAS SOPS 118490 HAS SOUS 66639 HAS SOUPS 66639 WITH SCORE 66757.49
AT ITER 2 NEW BEST:: SOT 147875 SOS 118434 HAS SOPS 118434 HAS SOUS 66618 HAS SOUPS 66618 WITH SCORE 66736.434
AT ITER 3 NEW BEST:: SOT 147327 SOS 118099 HAS SOPS 118099 HAS SOUS 66217 HAS SOUPS 66217 WITH SCORE 66335.099
AT ITER 7 NEW BEST:: SOT 146880 SOS 118046 HAS SOPS 118046 HAS SOUS 65506 HAS SOUPS 65506 WITH SCORE 65624.046
AT ITER 8 NEW BEST:: SOT 146794 SOS 117840 HAS SOPS 117840 HAS SOUS 65395 HAS SOUPS 65395 WITH SCORE 65512.84
AT ITER 9 NEW BEST:: SOT 146723 SOS 117373 HAS SOPS 117373 HAS SOUS 65162 HAS SOUPS 65162 WITH SCORE 65279.373
AT ITER 13 NEW BEST:: SOT 146676 SOS 117279 HAS SOPS 117279 HAS SOUS 64740 HAS SOUPS 64740 WITH SCORE 64857.279
AT ITER 14 NEW BEST:: SOT 146650 SOS 117227 HAS SOPS 117227 HAS SOUS 64446 HAS SOUPS 64446 WITH SCORE 64563.227
AT ITER 15 NEW BEST:: SOT 146684 SOS 117295 HAS SOPS 117295 HAS SOUS 64001 HAS SOUPS 64001 WITH SCORE 64118.295
AT ITER 16 NEW BEST:: SOT 146668 SOS 117263 HAS SOPS 117263 HAS SOUS 63969 HAS SOUPS 63969 WITH SCORE 64086.263
AT ITER 17 NEW BEST:: SOT 146648 SOS 117223 HAS SOPS 117223 HAS SOUS 63658 HAS SOUPS 63658 WITH SCORE 63775.223
AT ITER 18 NEW BEST:: SOT 146617 SOS 117285 HAS SOPS 117285 HAS SOUS 63534 HAS SOUPS 63534 WITH SCORE 63651.285
AT ITER 20 NEW BEST:: SOT 146958 SOS 116955 HAS SOPS 116955 HAS SOUS 63516 HAS SOUPS 63516 WITH SCORE 63632.955
AT ITER 21 NEW BEST:: SOT 146828 SOS 116756 HAS SOPS 116756 HAS SOUS 62916 HAS SOUPS 62916 WITH SCORE 63032.756
AT ITER 24 NEW BEST:: SOT 146806 SOS 116712 HAS SOPS 116712 HAS SOUS 62610 HAS SOUPS 62610 WITH SCORE 62726.712
AT ITER 26 NEW BEST:: SOT 146779 SOS 116658 HAS SOPS 116658 HAS SOUS 62502 HAS SOUPS 62502 WITH SCORE 62618.658
AT ITER 28 NEW BEST:: SOT 146733 SOS 116862 HAS SOPS 116862 HAS SOUS 62471 HAS SOUPS 62471 WITH SCORE 62587.862
AT ITER 30 NEW BEST:: SOT 146861 SOS 116326 HAS SOPS 116326 HAS SOUS 62461 HAS SOUPS 62461 WITH SCORE 62577.326
AT ITER 31 NEW BEST:: SOT 146914 SOS 116432 HAS SOPS 116432 HAS SOUS 61959 HAS SOUPS 61959 WITH SCORE 62075.432
AT ITER 34 NEW BEST:: SOT 146874 SOS 115996 HAS SOPS 115996 HAS SOUS 61957 HAS SOUPS 61957 WITH SCORE 62072.996
AT ITER 35 NEW BEST:: SOT 146874 SOS 115996 HAS SOPS 115996 HAS SOUS 61929 HAS SOUPS 61929 WITH SCORE 62044.996
AT ITER 36 NEW BEST:: SOT 146796 SOS 115918 HAS SOPS 115918 HAS SOUS 61735 HAS SOUPS 61735 WITH SCORE 61850.918
AT ITER 40 NEW BEST:: SOT 146964 SOS 116123 HAS SOPS 116123 HAS SOUS 61136 HAS SOUPS 61136 WITH SCORE 61252.123
AT ITER 41 NEW BEST:: SOT 146900 SOS 116210 HAS SOPS 116210 HAS SOUS 60906 HAS SOUPS 60906 WITH SCORE 61022.21
AT ITER 42 NEW BEST:: SOT 146900 SOS 115896 HAS SOPS 115896 HAS SOUS 60906 HAS SOUPS 60906 WITH SCORE 61021.896
AT ITER 46 NEW BEST:: SOT 147001 SOS 115534 HAS SOPS 115534 HAS SOUS 60866 HAS SOUPS 60866 WITH SCORE 60981.534
AT ITER 51 NEW BEST:: SOT 146967 SOS 115466 HAS SOPS 115466 HAS SOUS 60242 HAS SOUPS 60242 WITH SCORE 60357.466
AT ITER 53 NEW BEST:: SOT 146967 SOS 115466 HAS SOPS 115466 HAS SOUS 60238 HAS SOUPS 60238 WITH SCORE 60353.466
AT ITER 54 NEW BEST:: SOT 146967 SOS 115466 HAS SOPS 115466 HAS SOUS 60203 HAS SOUPS 60203 WITH SCORE 60318.466
AT ITER 59 NEW BEST:: SOT 146967 SOS 115714 HAS SOPS 115714 HAS SOUS 60081 HAS SOUPS 60081 WITH SCORE 60196.714
AT ITER 60 NEW BEST:: SOT 146786 SOS 115602 HAS SOPS 115602 HAS SOUS 59886 HAS SOUPS 59886 WITH SCORE 60001.602
AT ITER 61 NEW BEST:: SOT 146736 SOS 115502 HAS SOPS 115502 HAS SOUS 59276 HAS SOUPS 59276 WITH SCORE 59391.502
AT ITER 63 NEW BEST:: SOT 146728 SOS 115486 HAS SOPS 115486 HAS SOUS 59260 HAS SOUPS 59260 WITH SCORE 59375.486
AT ITER 64 NEW BEST:: SOT 146894 SOS 115652 HAS SOPS 115652 HAS SOUS 58742 HAS SOUPS 58742 WITH SCORE 58857.652
AT ITER 69 NEW BEST:: SOT 146894 SOS 115700 HAS SOPS 115700 HAS SOUS 58718 HAS SOUPS 58718 WITH SCORE 58833.7
AT ITER 74 NEW BEST:: SOT 147020 SOS 115952 HAS SOPS 115952 HAS SOUS 58340 HAS SOUPS 58340 WITH SCORE 58455.952
AT ITER 75 NEW BEST:: SOT 146858 SOS 110532 HAS SOPS 110532 HAS SOUS 57932 HAS SOUPS 57932 WITH SCORE 58042.532
AT ITER 76 NEW BEST:: SOT 146858 SOS 110532 HAS SOPS 110532 HAS SOUS 57910 HAS SOUPS 57910 WITH SCORE 58020.532
AT ITER 83 NEW BEST:: SOT 146858 SOS 110532 HAS SOPS 110532 HAS SOUS 57898 HAS SOUPS 57898 WITH SCORE 58008.532
AT ITER 86 NEW BEST:: SOT 146838 SOS 110492 HAS SOPS 110492 HAS SOUS 57880 HAS SOUPS 57880 WITH SCORE 57990.492
AT ITER 90 NEW BEST:: SOT 146808 SOS 110410 HAS SOPS 110410 HAS SOUS 57159 HAS SOUPS 57159 WITH SCORE 57269.41
AT ITER 94 NEW BEST:: SOT 146711 SOS 110502 HAS SOPS 110502 HAS SOUS 57079 HAS SOUPS 57079 WITH SCORE 57189.502
AT ITER 95 NEW BEST:: SOT 146731 SOS 110502 HAS SOPS 110502 HAS SOUS 57040 HAS SOUPS 57040 WITH SCORE 57150.502
AT ITER 96 NEW BEST:: SOT 146762 SOS 110200 HAS SOPS 110200 HAS SOUS 56663 HAS SOUPS 56663 WITH SCORE 56773.2
AT ITER 99 NEW BEST:: SOT 146745 SOS 110203 HAS SOPS 110203 HAS SOUS 56526 HAS SOUPS 56526 WITH SCORE 56636.203
AT ITER 100 NEW BEST:: SOT 146766 SOS 109766 HAS SOPS 109766 HAS SOUS 56456 HAS SOUPS 56456 WITH SCORE 56565.766
AT ITER 101 NEW BEST:: SOT 146766 SOS 109827 HAS SOPS 109827 HAS SOUS 56395 HAS SOUPS 56395 WITH SCORE 56504.827
AT ITER 103 NEW BEST:: SOT 146680 SOS 109612 HAS SOPS 109612 HAS SOUS 56195 HAS SOUPS 56195 WITH SCORE 56304.612
AT ITER 106 NEW BEST:: SOT 146773 SOS 109612 HAS SOPS 109612 HAS SOUS 55939 HAS SOUPS 55939 WITH SCORE 56048.612
AT ITER 111 NEW BEST:: SOT 146627 SOS 109512 HAS SOPS 109512 HAS SOUS 55699 HAS SOUPS 55699 WITH SCORE 55808.512
AT ITER 120 NEW BEST:: SOT 146906 SOS 109717 HAS SOPS 109717 HAS SOUS 55698 HAS SOUPS 55698 WITH SCORE 55807.717
AT ITER 123 NEW BEST:: SOT 146906 SOS 109721 HAS SOPS 109721 HAS SOUS 55679 HAS SOUPS 55679 WITH SCORE 55788.721
AT ITER 128 NEW BEST:: SOT 146838 SOS 109632 HAS SOPS 109632 HAS SOUS 55496 HAS SOUPS 55496 WITH SCORE 55605.632
AT ITER 131 NEW BEST:: SOT 145182 SOS 107966 HAS SOPS 107966 HAS SOUS 53817 HAS SOUPS 53817 WITH SCORE 53924.966
AT ITER 132 NEW BEST:: SOT 145123 SOS 108052 HAS SOPS 108052 HAS SOUS 53672 HAS SOUPS 53672 WITH SCORE 53780.052
AT ITER 134 NEW BEST:: SOT 145073 SOS 108114 HAS SOPS 108114 HAS SOUS 53628 HAS SOUPS 53628 WITH SCORE 53736.114
AT ITER 136 NEW BEST:: SOT 145073 SOS 108084 HAS SOPS 108084 HAS SOUS 53613 HAS SOUPS 53613 WITH SCORE 53721.084
AT ITER 139 NEW BEST:: SOT 145052 SOS 108105 HAS SOPS 108105 HAS SOUS 53487 HAS SOUPS 53487 WITH SCORE 53595.105
AT ITER 140 NEW BEST:: SOT 145045 SOS 108098 HAS SOPS 108098 HAS SOUS 53480 HAS SOUPS 53480 WITH SCORE 53588.098
AT ITER 142 NEW BEST:: SOT 144957 SOS 107861 HAS SOPS 107861 HAS SOUS 53280 HAS SOUPS 53280 WITH SCORE 53387.861
AT ITER 148 NEW BEST:: SOT 144996 SOS 107828 HAS SOPS 107828 HAS SOUS 53218 HAS SOUPS 53218 WITH SCORE 53325.828
AT ITER 149 NEW BEST:: SOT 145084 SOS 108004 HAS SOPS 108004 HAS SOUS 53120 HAS SOUPS 53120 WITH SCORE 53228.004
AT ITER 150 NEW BEST:: SOT 144986 SOS 107906 HAS SOPS 107906 HAS SOUS 53022 HAS SOUPS 53022 WITH SCORE 53129.906
AT ITER 159 NEW BEST:: SOT 144704 SOS 107721 HAS SOPS 107721 HAS SOUS 52753 HAS SOUPS 52753 WITH SCORE 52860.721
AT ITER 160 NEW BEST:: SOT 144704 SOS 107289 HAS SOPS 107289 HAS SOUS 52741 HAS SOUPS 52741 WITH SCORE 52848.289
AT ITER 161 NEW BEST:: SOT 144787 SOS 107571 HAS SOPS 107571 HAS SOUS 52637 HAS SOUPS 52637 WITH SCORE 52744.571
AT ITER 162 NEW BEST:: SOT 144776 SOS 107558 HAS SOPS 107558 HAS SOUS 52575 HAS SOUPS 52575 WITH SCORE 52682.558
AT ITER 165 NEW BEST:: SOT 144781 SOS 107578 HAS SOPS 107578 HAS SOUS 52565 HAS SOUPS 52565 WITH SCORE 52672.578
AT ITER 176 NEW BEST:: SOT 144816 SOS 107123 HAS SOPS 107123 HAS SOUS 52552 HAS SOUPS 52552 WITH SCORE 52659.123
AT ITER 177 NEW BEST:: SOT 144813 SOS 107119 HAS SOPS 107119 HAS SOUS 52516 HAS SOUPS 52516 WITH SCORE 52623.119
AT ITER 178 NEW BEST:: SOT 144737 SOS 107084 HAS SOPS 107084 HAS SOUS 52443 HAS SOUPS 52443 WITH SCORE 52550.084
AT ITER 180 NEW BEST:: SOT 144737 SOS 107084 HAS SOPS 107084 HAS SOUS 52441 HAS SOUPS 52441 WITH SCORE 52548.084
AT ITER 181 NEW BEST:: SOT 144697 SOS 107084 HAS SOPS 107084 HAS SOUS 52361 HAS SOUPS 52361 WITH SCORE 52468.084
AT ITER 182 NEW BEST:: SOT 144632 SOS 107311 HAS SOPS 107311 HAS SOUS 52331 HAS SOUPS 52331 WITH SCORE 52438.311
AT ITER 183 NEW BEST:: SOT 144599 SOS 106924 HAS SOPS 106924 HAS SOUS 52265 HAS SOUPS 52265 WITH SCORE 52371.924
AT ITER 190 NEW BEST:: SOT 144559 SOS 102959 HAS SOPS 102959 HAS SOUS 51138 HAS SOUPS 51138 WITH SCORE 51240.959
AT ITER 191 NEW BEST:: SOT 144563 SOS 102399 HAS SOPS 102399 HAS SOUS 51004 HAS SOUPS 51004 WITH SCORE 51106.399
AT ITER 194 NEW BEST:: SOT 144510 SOS 102420 HAS SOPS 102420 HAS SOUS 50948 HAS SOUPS 50948 WITH SCORE 51050.42
AT ITER 196 NEW BEST:: SOT 144376 SOS 102157 HAS SOPS 102157 HAS SOUS 50685 HAS SOUPS 50685 WITH SCORE 50787.157
AT ITER 197 NEW BEST:: SOT 144327 SOS 101820 HAS SOPS 101820 HAS SOUS 50400 HAS SOUPS 50400 WITH SCORE 50501.82
AT ITER 199 NEW BEST:: SOT 144301 SOS 101733 HAS SOPS 101733 HAS SOUS 50374 HAS SOUPS 50374 WITH SCORE 50475.733
AT ITER 201 NEW BEST:: SOT 144239 SOS 101541 HAS SOPS 101541 HAS SOUS 50093 HAS SOUPS 50093 WITH SCORE 50194.541
AT ITER 202 NEW BEST:: SOT 144239 SOS 101519 HAS SOPS 101519 HAS SOUS 50089 HAS SOUPS 50089 WITH SCORE 50190.519
AT ITER 204 NEW BEST:: SOT 144239 SOS 101519 HAS SOPS 101519 HAS SOUS 50081 HAS SOUPS 50081 WITH SCORE 50182.519
AT ITER 205 NEW BEST:: SOT 144265 SOS 101057 HAS SOPS 101057 HAS SOUS 49780 HAS SOUPS 49780 WITH SCORE 49881.057
AT ITER 211 NEW BEST:: SOT 144279 SOS 101115 HAS SOPS 101115 HAS SOUS 49754 HAS SOUPS 49754 WITH SCORE 49855.115
AT ITER 213 NEW BEST:: SOT 144279 SOS 101055 HAS SOPS 101055 HAS SOUS 49734 HAS SOUPS 49734 WITH SCORE 49835.055
AT ITER 223 NEW BEST:: SOT 125462 SOS 87010 HAS SOPS 87010 HAS SOUS 39994 HAS SOUPS 39994 WITH SCORE 40081.01
AT ITER 225 NEW BEST:: SOT 125484 SOS 86949 HAS SOPS 86949 HAS SOUS 39549 HAS SOUPS 39549 WITH SCORE 39635.949
AT ITER 229 NEW BEST:: SOT 125484 SOS 86947 HAS SOPS 86947 HAS SOUS 39549 HAS SOUPS 39549 WITH SCORE 39635.947
AT ITER 232 NEW BEST:: SOT 125447 SOS 86887 HAS SOPS 86887 HAS SOUS 39518 HAS SOUPS 39518 WITH SCORE 39604.887
AT ITER 233 NEW BEST:: SOT 125232 SOS 86672 HAS SOPS 86672 HAS SOUS 39512 HAS SOUPS 39512 WITH SCORE 39598.672
AT ITER 234 NEW BEST:: SOT 123602 SOS 85109 HAS SOPS 85109 HAS SOUS 37818 HAS SOUPS 37818 WITH SCORE 37903.109
AT ITER 235 NEW BEST:: SOT 123560 SOS 85011 HAS SOPS 85011 HAS SOUS 37818 HAS SOUPS 37818 WITH SCORE 37903.011
AT ITER 236 NEW BEST:: SOT 123584 SOS 85001 HAS SOPS 85001 HAS SOUS 37808 HAS SOUPS 37808 WITH SCORE 37893.001
AT ITER 239 NEW BEST:: SOT 123556 SOS 85068 HAS SOPS 85068 HAS SOUS 37710 HAS SOUPS 37710 WITH SCORE 37795.068
AT ITER 240 NEW BEST:: SOT 123556 SOS 85048 HAS SOPS 85048 HAS SOUS 37700 HAS SOUPS 37700 WITH SCORE 37785.048
AT ITER 241 NEW BEST:: SOT 123504 SOS 85017 HAS SOPS 85017 HAS SOUS 37456 HAS SOUPS 37456 WITH SCORE 37541.017
AT ITER 245 NEW BEST:: SOT 123492 SOS 85005 HAS SOPS 85005 HAS SOUS 37338 HAS SOUPS 37338 WITH SCORE 37423.005
AT ITER 255 NEW BEST:: SOT 123273 SOS 84357 HAS SOPS 84357 HAS SOUS 37017 HAS SOUPS 37017 WITH SCORE 37101.357
AT ITER 259 NEW BEST:: SOT 123223 SOS 82089 HAS SOPS 82089 HAS SOUS 36821 HAS SOUPS 36821 WITH SCORE 36903.089
AT ITER 261 NEW BEST:: SOT 123551 SOS 82267 HAS SOPS 82267 HAS SOUS 36666 HAS SOUPS 36666 WITH SCORE 36748.267
AT ITER 263 NEW BEST:: SOT 123525 SOS 82147 HAS SOPS 82147 HAS SOUS 36609 HAS SOUPS 36609 WITH SCORE 36691.147
AT ITER 270 NEW BEST:: SOT 123729 SOS 82080 HAS SOPS 82080 HAS SOUS 36483 HAS SOUPS 36483 WITH SCORE 36565.08
AT ITER 272 NEW BEST:: SOT 123546 SOS 81897 HAS SOPS 81897 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36455.897
AT ITER 273 NEW BEST:: SOT 123560 SOS 81865 HAS SOPS 81865 HAS SOUS 36246 HAS SOUPS 36246 WITH SCORE 36327.865
AT ITER 274 NEW BEST:: SOT 123060 SOS 81506 HAS SOPS 81506 HAS SOUS 36040 HAS SOUPS 36040 WITH SCORE 36121.506
AT ITER 276 NEW BEST:: SOT 123040 SOS 81523 HAS SOPS 81523 HAS SOUS 36020 HAS SOUPS 36020 WITH SCORE 36101.523
AT ITER 278 NEW BEST:: SOT 122957 SOS 81357 HAS SOPS 81357 HAS SOUS 35932 HAS SOUPS 35932 WITH SCORE 36013.357
AT ITER 281 NEW BEST:: SOT 122933 SOS 81333 HAS SOPS 81333 HAS SOUS 35916 HAS SOUPS 35916 WITH SCORE 35997.333
AT ITER 286 NEW BEST:: SOT 122903 SOS 81288 HAS SOPS 81288 HAS SOUS 35871 HAS SOUPS 35871 WITH SCORE 35952.288
AT ITER 287 NEW BEST:: SOT 122696 SOS 81255 HAS SOPS 81255 HAS SOUS 35677 HAS SOUPS 35677 WITH SCORE 35758.255
AT ITER 297 NEW BEST:: SOT 122687 SOS 81177 HAS SOPS 81177 HAS SOUS 35608 HAS SOUPS 35608 WITH SCORE 35689.177
AT ITER 298 NEW BEST:: SOT 122693 SOS 81105 HAS SOPS 81105 HAS SOUS 35564 HAS SOUPS 35564 WITH SCORE 35645.105
AT ITER 302 NEW BEST:: SOT 122693 SOS 81105 HAS SOPS 81105 HAS SOUS 35519 HAS SOUPS 35519 WITH SCORE 35600.105
AT ITER 304 NEW BEST:: SOT 123202 SOS 80321 HAS SOPS 80321 HAS SOUS 35353 HAS SOUPS 35353 WITH SCORE 35433.321
AT ITER 305 NEW BEST:: SOT 122932 SOS 80051 HAS SOPS 80051 HAS SOUS 35182 HAS SOUPS 35182 WITH SCORE 35262.051
AT ITER 310 NEW BEST:: SOT 123013 SOS 80213 HAS SOPS 80213 HAS SOUS 34923 HAS SOUPS 34923 WITH SCORE 35003.213
AT ITER 313 NEW BEST:: SOT 122489 SOS 79689 HAS SOPS 79689 HAS SOUS 34399 HAS SOUPS 34399 WITH SCORE 34478.689
AT ITER 316 NEW BEST:: SOT 122288 SOS 78987 HAS SOPS 78987 HAS SOUS 34238 HAS SOUPS 34238 WITH SCORE 34316.987
AT ITER 320 NEW BEST:: SOT 122260 SOS 78977 HAS SOPS 78977 HAS SOUS 34226 HAS SOUPS 34226 WITH SCORE 34304.977
AT ITER 324 NEW BEST:: SOT 122240 SOS 78968 HAS SOPS 78968 HAS SOUS 34205 HAS SOUPS 34205 WITH SCORE 34283.968
AT ITER 330 NEW BEST:: SOT 122171 SOS 78899 HAS SOPS 78899 HAS SOUS 34069 HAS SOUPS 34069 WITH SCORE 34147.899
AT ITER 331 NEW BEST:: SOT 122263 SOS 78943 HAS SOPS 78943 HAS SOUS 33966 HAS SOUPS 33966 WITH SCORE 34044.943
AT ITER 333 NEW BEST:: SOT 122263 SOS 78479 HAS SOPS 78479 HAS SOUS 33877 HAS SOUPS 33877 WITH SCORE 33955.479
AT ITER 334 NEW BEST:: SOT 122298 SOS 78461 HAS SOPS 78461 HAS SOUS 33629 HAS SOUPS 33629 WITH SCORE 33707.461
AT ITER 338 NEW BEST:: SOT 122322 SOS 78334 HAS SOPS 78334 HAS SOUS 33496 HAS SOUPS 33496 WITH SCORE 33574.334
AT ITER 340 NEW BEST:: SOT 122322 SOS 78254 HAS SOPS 78254 HAS SOUS 33492 HAS SOUPS 33492 WITH SCORE 33570.254
AT ITER 345 NEW BEST:: SOT 122300 SOS 78252 HAS SOPS 78252 HAS SOUS 33420 HAS SOUPS 33420 WITH SCORE 33498.252
AT ITER 351 NEW BEST:: SOT 122269 SOS 78145 HAS SOPS 78145 HAS SOUS 33248 HAS SOUPS 33248 WITH SCORE 33326.145
AT ITER 368 NEW BEST:: SOT 122219 SOS 78036 HAS SOPS 78036 HAS SOUS 33207 HAS SOUPS 33207 WITH SCORE 33285.036
AT ITER 369 NEW BEST:: SOT 122117 SOS 77966 HAS SOPS 77966 HAS SOUS 32847 HAS SOUPS 32847 WITH SCORE 32924.966
AT ITER 370 NEW BEST:: SOT 122160 SOS 77716 HAS SOPS 77716 HAS SOUS 32746 HAS SOUPS 32746 WITH SCORE 32823.716
AT ITER 372 NEW BEST:: SOT 122167 SOS 77730 HAS SOPS 77730 HAS SOUS 32629 HAS SOUPS 32629 WITH SCORE 32706.73
AT ITER 375 NEW BEST:: SOT 122073 SOS 77381 HAS SOPS 77381 HAS SOUS 32604 HAS SOUPS 32604 WITH SCORE 32681.381
AT ITER 380 NEW BEST:: SOT 122037 SOS 77409 HAS SOPS 77409 HAS SOUS 32588 HAS SOUPS 32588 WITH SCORE 32665.409
AT ITER 389 NEW BEST:: SOT 121955 SOS 77445 HAS SOPS 77445 HAS SOUS 32484 HAS SOUPS 32484 WITH SCORE 32561.445
AT ITER 390 NEW BEST:: SOT 121978 SOS 77682 HAS SOPS 77682 HAS SOUS 32462 HAS SOUPS 32462 WITH SCORE 32539.682
AT ITER 395 NEW BEST:: SOT 121832 SOS 77568 HAS SOPS 77568 HAS SOUS 32282 HAS SOUPS 32282 WITH SCORE 32359.568
AT ITER 402 NEW BEST:: SOT 121832 SOS 77568 HAS SOPS 77568 HAS SOUS 32253 HAS SOUPS 32253 WITH SCORE 32330.568
AT ITER 403 NEW BEST:: SOT 121827 SOS 77563 HAS SOPS 77563 HAS SOUS 31985 HAS SOUPS 31985 WITH SCORE 32062.563
AT ITER 410 NEW BEST:: SOT 121798 SOS 77712 HAS SOPS 77712 HAS SOUS 31971 HAS SOUPS 31971 WITH SCORE 32048.712
AT ITER 414 NEW BEST:: SOT 121639 SOS 77452 HAS SOPS 77452 HAS SOUS 31743 HAS SOUPS 31743 WITH SCORE 31820.452
AT ITER 424 NEW BEST:: SOT 121530 SOS 77334 HAS SOPS 77334 HAS SOUS 31634 HAS SOUPS 31634 WITH SCORE 31711.334
AT ITER 427 NEW BEST:: SOT 121540 SOS 76828 HAS SOPS 76828 HAS SOUS 31627 HAS SOUPS 31627 WITH SCORE 31703.828
AT ITER 430 NEW BEST:: SOT 121520 SOS 76791 HAS SOPS 76791 HAS SOUS 31600 HAS SOUPS 31600 WITH SCORE 31676.791
AT ITER 435 NEW BEST:: SOT 121520 SOS 76791 HAS SOPS 76791 HAS SOUS 31580 HAS SOUPS 31580 WITH SCORE 31656.791
AT ITER 439 NEW BEST:: SOT 121598 SOS 76869 HAS SOPS 76869 HAS SOUS 31579 HAS SOUPS 31579 WITH SCORE 31655.869
AT ITER 443 NEW BEST:: SOT 121594 SOS 76861 HAS SOPS 76861 HAS SOUS 31573 HAS SOUPS 31573 WITH SCORE 31649.861
AT ITER 450 NEW BEST:: SOT 121550 SOS 76737 HAS SOPS 76737 HAS SOUS 31563 HAS SOUPS 31563 WITH SCORE 31639.737
AT ITER 461 NEW BEST:: SOT 121534 SOS 76721 HAS SOPS 76721 HAS SOUS 31547 HAS SOUPS 31547 WITH SCORE 31623.721
AT ITER 462 NEW BEST:: SOT 121534 SOS 76721 HAS SOPS 76721 HAS SOUS 31535 HAS SOUPS 31535 WITH SCORE 31611.721
AT ITER 465 NEW BEST:: SOT 121534 SOS 76721 HAS SOPS 76721 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31605.721
AT ITER 472 NEW BEST:: SOT 121534 SOS 76718 HAS SOPS 76718 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31605.718
AT ITER 475 NEW BEST:: SOT 121390 SOS 76574 HAS SOPS 76574 HAS SOUS 31418 HAS SOUPS 31418 WITH SCORE 31494.574
AT ITER 478 NEW BEST:: SOT 121390 SOS 76562 HAS SOPS 76562 HAS SOUS 31412 HAS SOUPS 31412 WITH SCORE 31488.562
AT ITER 479 NEW BEST:: SOT 121309 SOS 76197 HAS SOPS 76197 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31368.197
AT ITER 483 NEW BEST:: SOT 121331 SOS 76104 HAS SOPS 76104 HAS SOUS 31257 HAS SOUPS 31257 WITH SCORE 31333.104
AT ITER 485 NEW BEST:: SOT 121303 SOS 76076 HAS SOPS 76076 HAS SOUS 31229 HAS SOUPS 31229 WITH SCORE 31305.076
AT ITER 486 NEW BEST:: SOT 121270 SOS 76043 HAS SOPS 76043 HAS SOUS 31229 HAS SOUPS 31229 WITH SCORE 31305.043
AT ITER 487 NEW BEST:: SOT 121277 SOS 76041 HAS SOPS 76041 HAS SOUS 31224 HAS SOUPS 31224 WITH SCORE 31300.041
AT ITER 490 NEW BEST:: SOT 121275 SOS 76035 HAS SOPS 76035 HAS SOUS 31224 HAS SOUPS 31224 WITH SCORE 31300.035
AT ITER 491 NEW BEST:: SOT 121122 SOS 75882 HAS SOPS 75882 HAS SOUS 31192 HAS SOUPS 31192 WITH SCORE 31267.882
AT ITER 495 NEW BEST:: SOT 121118 SOS 75872 HAS SOPS 75872 HAS SOUS 31162 HAS SOUPS 31162 WITH SCORE 31237.872
AT ITER 498 NEW BEST:: SOT 121040 SOS 75794 HAS SOPS 75794 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31137.794
AT ITER 499 NEW BEST:: SOT 121019 SOS 75599 HAS SOPS 75599 HAS SOUS 31041 HAS SOUPS 31041 WITH SCORE 31116.599
AT ITER 503 NEW BEST:: SOT 120918 SOS 75590 HAS SOPS 75590 HAS SOUS 30933 HAS SOUPS 30933 WITH SCORE 31008.59
AT ITER 504 NEW BEST:: SOT 120918 SOS 75578 HAS SOPS 75578 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 31002.578
AT ITER 512 NEW BEST:: SOT 120848 SOS 75507 HAS SOPS 75507 HAS SOUS 30833 HAS SOUPS 30833 WITH SCORE 30908.507
AT ITER 517 NEW BEST:: SOT 120843 SOS 75542 HAS SOPS 75542 HAS SOUS 30756 HAS SOUPS 30756 WITH SCORE 30831.542
AT ITER 518 NEW BEST:: SOT 120843 SOS 75531 HAS SOPS 75531 HAS SOUS 30745 HAS SOUPS 30745 WITH SCORE 30820.531
AT ITER 520 NEW BEST:: SOT 120637 SOS 75325 HAS SOPS 75325 HAS SOUS 30614 HAS SOUPS 30614 WITH SCORE 30689.325
AT ITER 521 NEW BEST:: SOT 120687 SOS 75394 HAS SOPS 75394 HAS SOUS 30573 HAS SOUPS 30573 WITH SCORE 30648.394
AT ITER 530 NEW BEST:: SOT 120678 SOS 75345 HAS SOPS 75345 HAS SOUS 30550 HAS SOUPS 30550 WITH SCORE 30625.345
AT ITER 531 NEW BEST:: SOT 120651 SOS 75421 HAS SOPS 75421 HAS SOUS 30543 HAS SOUPS 30543 WITH SCORE 30618.421
AT ITER 537 NEW BEST:: SOT 120575 SOS 75419 HAS SOPS 75419 HAS SOUS 30473 HAS SOUPS 30473 WITH SCORE 30548.419
AT ITER 540 NEW BEST:: SOT 120541 SOS 75232 HAS SOPS 75232 HAS SOUS 30441 HAS SOUPS 30441 WITH SCORE 30516.232
AT ITER 541 NEW BEST:: SOT 120541 SOS 75284 HAS SOPS 75284 HAS SOUS 30407 HAS SOUPS 30407 WITH SCORE 30482.284
AT ITER 550 NEW BEST:: SOT 120535 SOS 75278 HAS SOPS 75278 HAS SOUS 30405 HAS SOUPS 30405 WITH SCORE 30480.278
AT ITER 560 NEW BEST:: SOT 120489 SOS 75232 HAS SOPS 75232 HAS SOUS 30396 HAS SOUPS 30396 WITH SCORE 30471.232
AT ITER 564 NEW BEST:: SOT 120432 SOS 75129 HAS SOPS 75129 HAS SOUS 30225 HAS SOUPS 30225 WITH SCORE 30300.129
AT ITER 565 NEW BEST:: SOT 120422 SOS 75119 HAS SOPS 75119 HAS SOUS 30205 HAS SOUPS 30205 WITH SCORE 30280.119
AT ITER 566 NEW BEST:: SOT 120425 SOS 75122 HAS SOPS 75122 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30277.122
AT ITER 573 NEW BEST:: SOT 120243 SOS 74949 HAS SOPS 74949 HAS SOUS 30046 HAS SOUPS 30046 WITH SCORE 30120.949
AT ITER 574 NEW BEST:: SOT 120346 SOS 75104 HAS SOPS 75104 HAS SOUS 29989 HAS SOUPS 29989 WITH SCORE 30064.104
AT ITER 579 NEW BEST:: SOT 120316 SOS 75044 HAS SOPS 75044 HAS SOUS 29944 HAS SOUPS 29944 WITH SCORE 30019.044
AT ITER 588 NEW BEST:: SOT 120317 SOS 74918 HAS SOPS 74918 HAS SOUS 29913 HAS SOUPS 29913 WITH SCORE 29987.918
AT ITER 591 NEW BEST:: SOT 120235 SOS 74849 HAS SOPS 74849 HAS SOUS 29843 HAS SOUPS 29843 WITH SCORE 29917.849
AT ITER 592 NEW BEST:: SOT 120200 SOS 74827 HAS SOPS 74827 HAS SOUS 29838 HAS SOUPS 29838 WITH SCORE 29912.827
AT ITER 597 NEW BEST:: SOT 120085 SOS 74690 HAS SOPS 74690 HAS SOUS 29785 HAS SOUPS 29785 WITH SCORE 29859.69
AT ITER 600 NEW BEST:: SOT 120077 SOS 74682 HAS SOPS 74682 HAS SOUS 29773 HAS SOUPS 29773 WITH SCORE 29847.682
AT ITER 614 NEW BEST:: SOT 120081 SOS 74686 HAS SOPS 74686 HAS SOUS 29769 HAS SOUPS 29769 WITH SCORE 29843.686
AT ITER 616 NEW BEST:: SOT 120104 SOS 74516 HAS SOPS 74516 HAS SOUS 29755 HAS SOUPS 29755 WITH SCORE 29829.516
AT ITER 617 NEW BEST:: SOT 119932 SOS 75646 HAS SOPS 75646 HAS SOUS 29609 HAS SOUPS 29609 WITH SCORE 29684.646
AT ITER 628 NEW BEST:: SOT 119941 SOS 75664 HAS SOPS 75664 HAS SOUS 29532 HAS SOUPS 29532 WITH SCORE 29607.664
AT ITER 630 NEW BEST:: SOT 120093 SOS 75767 HAS SOPS 75767 HAS SOUS 29524 HAS SOUPS 29524 WITH SCORE 29599.767
AT ITER 633 NEW BEST:: SOT 120216 SOS 75869 HAS SOPS 75869 HAS SOUS 29465 HAS SOUPS 29465 WITH SCORE 29540.869
AT ITER 653 NEW BEST:: SOT 120213 SOS 75878 HAS SOPS 75878 HAS SOUS 29462 HAS SOUPS 29462 WITH SCORE 29537.878
AT ITER 668 NEW BEST:: SOT 120258 SOS 75923 HAS SOPS 75923 HAS SOUS 29460 HAS SOUPS 29460 WITH SCORE 29535.923
AT ITER 674 NEW BEST:: SOT 120356 SOS 76517 HAS SOPS 76517 HAS SOUS 29293 HAS SOUPS 29293 WITH SCORE 29369.517
AT ITER 676 NEW BEST:: SOT 120351 SOS 76512 HAS SOPS 76512 HAS SOUS 29242 HAS SOUPS 29242 WITH SCORE 29318.512
AT ITER 684 NEW BEST:: SOT 120405 SOS 76242 HAS SOPS 76242 HAS SOUS 29242 HAS SOUPS 29242 WITH SCORE 29318.242
AT ITER 685 NEW BEST:: SOT 120375 SOS 76200 HAS SOPS 76200 HAS SOUS 29238 HAS SOUPS 29238 WITH SCORE 29314.2
AT ITER 688 NEW BEST:: SOT 120270 SOS 76317 HAS SOPS 76317 HAS SOUS 29124 HAS SOUPS 29124 WITH SCORE 29200.317
AT ITER 694 NEW BEST:: SOT 120524 SOS 76390 HAS SOPS 76390 HAS SOUS 29096 HAS SOUPS 29096 WITH SCORE 29172.39
AT ITER 706 NEW BEST:: SOT 120523 SOS 76389 HAS SOPS 76389 HAS SOUS 29094 HAS SOUPS 29094 WITH SCORE 29170.389
AT ITER 712 NEW BEST:: SOT 120559 SOS 76425 HAS SOPS 76425 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29140.425
AT ITER 719 NEW BEST:: SOT 120556 SOS 76419 HAS SOPS 76419 HAS SOUS 29061 HAS SOUPS 29061 WITH SCORE 29137.419
AT ITER 723 NEW BEST:: SOT 120556 SOS 76419 HAS SOPS 76419 HAS SOUS 29060 HAS SOUPS 29060 WITH SCORE 29136.419
AT ITER 731 NEW BEST:: SOT 120458 SOS 76321 HAS SOPS 76321 HAS SOUS 29012 HAS SOUPS 29012 WITH SCORE 29088.321
AT ITER 738 NEW BEST:: SOT 120448 SOS 76215 HAS SOPS 76215 HAS SOUS 28996 HAS SOUPS 28996 WITH SCORE 29072.215
AT ITER 741 NEW BEST:: SOT 120442 SOS 76212 HAS SOPS 76212 HAS SOUS 28990 HAS SOUPS 28990 WITH SCORE 29066.212
AT ITER 743 NEW BEST:: SOT 120406 SOS 76146 HAS SOPS 76146 HAS SOUS 28928 HAS SOUPS 28928 WITH SCORE 29004.146
AT ITER 748 NEW BEST:: SOT 120403 SOS 76134 HAS SOPS 76134 HAS SOUS 28922 HAS SOUPS 28922 WITH SCORE 28998.134
AT ITER 749 NEW BEST:: SOT 120403 SOS 76134 HAS SOPS 76134 HAS SOUS 28920 HAS SOUPS 28920 WITH SCORE 28996.134
AT ITER 753 NEW BEST:: SOT 120393 SOS 76114 HAS SOPS 76114 HAS SOUS 28910 HAS SOUPS 28910 WITH SCORE 28986.114
AT ITER 757 NEW BEST:: SOT 120352 SOS 76073 HAS SOPS 76073 HAS SOUS 28801 HAS SOUPS 28801 WITH SCORE 28877.073
AT ITER 763 NEW BEST:: SOT 120352 SOS 76048 HAS SOPS 76048 HAS SOUS 28801 HAS SOUPS 28801 WITH SCORE 28877.048
AT ITER 765 NEW BEST:: SOT 120344 SOS 76032 HAS SOPS 76032 HAS SOUS 28785 HAS SOUPS 28785 WITH SCORE 28861.032
AT ITER 767 NEW BEST:: SOT 120385 SOS 75781 HAS SOPS 75781 HAS SOUS 28767 HAS SOUPS 28767 WITH SCORE 28842.781
AT ITER 776 NEW BEST:: SOT 120381 SOS 75775 HAS SOPS 75775 HAS SOUS 28757 HAS SOUPS 28757 WITH SCORE 28832.775
AT ITER 778 NEW BEST:: SOT 120376 SOS 75809 HAS SOPS 75809 HAS SOUS 28747 HAS SOUPS 28747 WITH SCORE 28822.809
AT ITER 790 NEW BEST:: SOT 120382 SOS 75811 HAS SOPS 75811 HAS SOUS 28739 HAS SOUPS 28739 WITH SCORE 28814.811
AT ITER 797 NEW BEST:: SOT 120269 SOS 75612 HAS SOPS 75612 HAS SOUS 28727 HAS SOUPS 28727 WITH SCORE 28802.612
AT ITER 799 NEW BEST:: SOT 120285 SOS 75628 HAS SOPS 75628 HAS SOUS 28723 HAS SOUPS 28723 WITH SCORE 28798.628
AT ITER 802 NEW BEST:: SOT 120205 SOS 75548 HAS SOPS 75548 HAS SOUS 28712 HAS SOUPS 28712 WITH SCORE 28787.548
AT ITER 809 NEW BEST:: SOT 120224 SOS 75567 HAS SOPS 75567 HAS SOUS 28672 HAS SOUPS 28672 WITH SCORE 28747.567
AT ITER 810 NEW BEST:: SOT 120224 SOS 75567 HAS SOPS 75567 HAS SOUS 28668 HAS SOUPS 28668 WITH SCORE 28743.567
AT ITER 812 NEW BEST:: SOT 120159 SOS 75502 HAS SOPS 75502 HAS SOUS 28665 HAS SOUPS 28665 WITH SCORE 28740.502
AT ITER 824 NEW BEST:: SOT 120051 SOS 75336 HAS SOPS 75336 HAS SOUS 28433 HAS SOUPS 28433 WITH SCORE 28508.336
AT ITER 826 NEW BEST:: SOT 120091 SOS 75352 HAS SOPS 75352 HAS SOUS 28417 HAS SOUPS 28417 WITH SCORE 28492.352
AT ITER 827 NEW BEST:: SOT 120098 SOS 75672 HAS SOPS 75672 HAS SOUS 28350 HAS SOUPS 28350 WITH SCORE 28425.672
AT ITER 829 NEW BEST:: SOT 120071 SOS 75484 HAS SOPS 75484 HAS SOUS 28307 HAS SOUPS 28307 WITH SCORE 28382.484
AT ITER 839 NEW BEST:: SOT 120053 SOS 75508 HAS SOPS 75508 HAS SOUS 28293 HAS SOUPS 28293 WITH SCORE 28368.508
AT ITER 850 NEW BEST:: SOT 120033 SOS 75494 HAS SOPS 75494 HAS SOUS 28275 HAS SOUPS 28275 WITH SCORE 28350.494
AT ITER 852 NEW BEST:: SOT 120059 SOS 75546 HAS SOPS 75546 HAS SOUS 28225 HAS SOUPS 28225 WITH SCORE 28300.546
AT ITER 855 NEW BEST:: SOT 120025 SOS 75534 HAS SOPS 75534 HAS SOUS 28169 HAS SOUPS 28169 WITH SCORE 28244.534
AT ITER 869 NEW BEST:: SOT 120234 SOS 75743 HAS SOPS 75743 HAS SOUS 28161 HAS SOUPS 28161 WITH SCORE 28236.743
AT ITER 882 NEW BEST:: SOT 120232 SOS 75742 HAS SOPS 75742 HAS SOUS 28158 HAS SOUPS 28158 WITH SCORE 28233.742
AT ITER 894 NEW BEST:: SOT 120097 SOS 75648 HAS SOPS 75648 HAS SOUS 27878 HAS SOUPS 27878 WITH SCORE 27953.648
AT ITER 901 NEW BEST:: SOT 120073 SOS 75537 HAS SOPS 75537 HAS SOUS 27847 HAS SOUPS 27847 WITH SCORE 27922.537
AT ITER 902 NEW BEST:: SOT 120057 SOS 75528 HAS SOPS 75528 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27860.528
AT ITER 915 NEW BEST:: SOT 119700 SOS 75171 HAS SOPS 75171 HAS SOUS 27554 HAS SOUPS 27554 WITH SCORE 27629.171
AT ITER 918 NEW BEST:: SOT 119696 SOS 75163 HAS SOPS 75163 HAS SOUS 27546 HAS SOUPS 27546 WITH SCORE 27621.163
AT ITER 919 NEW BEST:: SOT 119685 SOS 75128 HAS SOPS 75128 HAS SOUS 27515 HAS SOUPS 27515 WITH SCORE 27590.128
AT ITER 920 NEW BEST:: SOT 119679 SOS 75122 HAS SOPS 75122 HAS SOUS 27466 HAS SOUPS 27466 WITH SCORE 27541.122
AT ITER 922 NEW BEST:: SOT 119679 SOS 75113 HAS SOPS 75113 HAS SOUS 27466 HAS SOUPS 27466 WITH SCORE 27541.113
AT ITER 929 NEW BEST:: SOT 119480 SOS 74914 HAS SOPS 74914 HAS SOUS 27234 HAS SOUPS 27234 WITH SCORE 27308.914
AT ITER 935 NEW BEST:: SOT 119464 SOS 74892 HAS SOPS 74892 HAS SOUS 27178 HAS SOUPS 27178 WITH SCORE 27252.892
AT ITER 937 NEW BEST:: SOT 119390 SOS 75220 HAS SOPS 75220 HAS SOUS 27113 HAS SOUPS 27113 WITH SCORE 27188.22
AT ITER 938 NEW BEST:: SOT 119340 SOS 75170 HAS SOPS 75170 HAS SOUS 27102 HAS SOUPS 27102 WITH SCORE 27177.17
AT ITER 959 NEW BEST:: SOT 119836 SOS 69888 HAS SOPS 69888 HAS SOUS 27080 HAS SOUPS 27080 WITH SCORE 27149.888
AT ITER 960 NEW BEST:: SOT 117922 SOS 67974 HAS SOPS 67974 HAS SOUS 25788 HAS SOUPS 25788 WITH SCORE 25855.974
AT ITER 975 NEW BEST:: SOT 117919 SOS 67968 HAS SOPS 67968 HAS SOUS 25782 HAS SOUPS 25782 WITH SCORE 25849.968
AT ITER 980 NEW BEST:: SOT 117798 SOS 67636 HAS SOPS 67636 HAS SOUS 25665 HAS SOUPS 25665 WITH SCORE 25732.636
AT ITER 988 NEW BEST:: SOT 117776 SOS 67614 HAS SOPS 67614 HAS SOUS 25643 HAS SOUPS 25643 WITH SCORE 25710.614
AT ITER 1001 NEW BEST:: SOT 117764 SOS 67602 HAS SOPS 67602 HAS SOUS 25631 HAS SOUPS 25631 WITH SCORE 25698.602
AT ITER 1008 NEW BEST:: SOT 117698 SOS 67514 HAS SOPS 67514 HAS SOUS 25543 HAS SOUPS 25543 WITH SCORE 25610.514
AT ITER 1015 NEW BEST:: SOT 117411 SOS 68973 HAS SOPS 68973 HAS SOUS 25479 HAS SOUPS 25479 WITH SCORE 25547.973
AT ITER 1025 NEW BEST:: SOT 117401 SOS 68915 HAS SOPS 68915 HAS SOUS 25462 HAS SOUPS 25462 WITH SCORE 25530.915
AT ITER 1029 NEW BEST:: SOT 117285 SOS 68799 HAS SOPS 68799 HAS SOUS 25382 HAS SOUPS 25382 WITH SCORE 25450.799
AT ITER 1032 NEW BEST:: SOT 117278 SOS 68739 HAS SOPS 68739 HAS SOUS 25320 HAS SOUPS 25320 WITH SCORE 25388.739
AT ITER 1034 NEW BEST:: SOT 117223 SOS 68608 HAS SOPS 68608 HAS SOUS 25200 HAS SOUPS 25200 WITH SCORE 25268.608
AT ITER 1046 NEW BEST:: SOT 117223 SOS 68542 HAS SOPS 68542 HAS SOUS 25190 HAS SOUPS 25190 WITH SCORE 25258.542
AT ITER 1067 NEW BEST:: SOT 117223 SOS 68508 HAS SOPS 68508 HAS SOUS 25190 HAS SOUPS 25190 WITH SCORE 25258.508
AT ITER 1068 NEW BEST:: SOT 117242 SOS 68267 HAS SOPS 68267 HAS SOUS 25190 HAS SOUPS 25190 WITH SCORE 25258.267
AT ITER 1075 NEW BEST:: SOT 117145 SOS 68019 HAS SOPS 68019 HAS SOUS 24951 HAS SOUPS 24951 WITH SCORE 25019.019
AT ITER 1081 NEW BEST:: SOT 117092 SOS 67925 HAS SOPS 67925 HAS SOUS 24861 HAS SOUPS 24861 WITH SCORE 24928.925
AT ITER 1082 NEW BEST:: SOT 117083 SOS 67835 HAS SOPS 67835 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 24924.835
AT ITER 1087 NEW BEST:: SOT 117020 SOS 67709 HAS SOPS 67709 HAS SOUS 24834 HAS SOUPS 24834 WITH SCORE 24901.709
AT ITER 1097 NEW BEST:: SOT 117020 SOS 67685 HAS SOPS 67685 HAS SOUS 24827 HAS SOUPS 24827 WITH SCORE 24894.685
AT ITER 1104 NEW BEST:: SOT 116951 SOS 67589 HAS SOPS 67589 HAS SOUS 24785 HAS SOUPS 24785 WITH SCORE 24852.589
AT ITER 1108 NEW BEST:: SOT 116947 SOS 67573 HAS SOPS 67573 HAS SOUS 24781 HAS SOUPS 24781 WITH SCORE 24848.573
AT ITER 1125 NEW BEST:: SOT 116947 SOS 67573 HAS SOPS 67573 HAS SOUS 24773 HAS SOUPS 24773 WITH SCORE 24840.573
AT ITER 1154 NEW BEST:: SOT 116947 SOS 67573 HAS SOPS 67573 HAS SOUS 24754 HAS SOUPS 24754 WITH SCORE 24821.573
AT ITER 1162 NEW BEST:: SOT 116884 SOS 67489 HAS SOPS 67489 HAS SOUS 24670 HAS SOUPS 24670 WITH SCORE 24737.489
AT ITER 1164 NEW BEST:: SOT 116896 SOS 67501 HAS SOPS 67501 HAS SOUS 24647 HAS SOUPS 24647 WITH SCORE 24714.501
AT ITER 1184 NEW BEST:: SOT 116892 SOS 67497 HAS SOPS 67497 HAS SOUS 24641 HAS SOUPS 24641 WITH SCORE 24708.497
AT ITER 1194 NEW BEST:: SOT 116950 SOS 67426 HAS SOPS 67426 HAS SOUS 24627 HAS SOUPS 24627 WITH SCORE 24694.426
AT ITER 1198 NEW BEST:: SOT 116939 SOS 67384 HAS SOPS 67384 HAS SOUS 24616 HAS SOUPS 24616 WITH SCORE 24683.384
AT ITER 1200 NEW BEST:: SOT 116835 SOS 67280 HAS SOPS 67280 HAS SOUS 24608 HAS SOUPS 24608 WITH SCORE 24675.28
AT ITER 1222 NEW BEST:: SOT 116861 SOS 67280 HAS SOPS 67280 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24651.28
AT ITER 1227 NEW BEST:: SOT 116850 SOS 67215 HAS SOPS 67215 HAS SOUS 24562 HAS SOUPS 24562 WITH SCORE 24629.215
AT ITER 1228 NEW BEST:: SOT 116648 SOS 66378 HAS SOPS 66378 HAS SOUS 24417 HAS SOUPS 24417 WITH SCORE 24483.378
AT ITER 1230 NEW BEST:: SOT 116624 SOS 66300 HAS SOPS 66300 HAS SOUS 24393 HAS SOUPS 24393 WITH SCORE 24459.3
AT ITER 1233 NEW BEST:: SOT 116624 SOS 66206 HAS SOPS 66206 HAS SOUS 24382 HAS SOUPS 24382 WITH SCORE 24448.206
AT ITER 1235 NEW BEST:: SOT 116587 SOS 66321 HAS SOPS 66321 HAS SOUS 24348 HAS SOUPS 24348 WITH SCORE 24414.321
AT ITER 1237 NEW BEST:: SOT 116565 SOS 66299 HAS SOPS 66299 HAS SOUS 24304 HAS SOUPS 24304 WITH SCORE 24370.299
AT ITER 1240 NEW BEST:: SOT 116527 SOS 66339 HAS SOPS 66339 HAS SOUS 24269 HAS SOUPS 24269 WITH SCORE 24335.339
AT ITER 1247 NEW BEST:: SOT 116523 SOS 66333 HAS SOPS 66333 HAS SOUS 24257 HAS SOUPS 24257 WITH SCORE 24323.333
AT ITER 1248 NEW BEST:: SOT 116399 SOS 66067 HAS SOPS 66067 HAS SOUS 24009 HAS SOUPS 24009 WITH SCORE 24075.067
AT ITER 1249 NEW BEST:: SOT 116410 SOS 66024 HAS SOPS 66024 HAS SOUS 23992 HAS SOUPS 23992 WITH SCORE 24058.024
AT ITER 1255 NEW BEST:: SOT 116087 SOS 65701 HAS SOPS 65701 HAS SOUS 23812 HAS SOUPS 23812 WITH SCORE 23877.701
AT ITER 1265 NEW BEST:: SOT 116087 SOS 65701 HAS SOPS 65701 HAS SOUS 23808 HAS SOUPS 23808 WITH SCORE 23873.701
AT ITER 1276 NEW BEST:: SOT 116087 SOS 65695 HAS SOPS 65695 HAS SOUS 23729 HAS SOUPS 23729 WITH SCORE 23794.695
AT ITER 1278 NEW BEST:: SOT 116087 SOS 65695 HAS SOPS 65695 HAS SOUS 23725 HAS SOUPS 23725 WITH SCORE 23790.695
AT ITER 1299 NEW BEST:: SOT 116087 SOS 65716 HAS SOPS 65716 HAS SOUS 23704 HAS SOUPS 23704 WITH SCORE 23769.716
AT ITER 1300 NEW BEST:: SOT 116054 SOS 65965 HAS SOPS 65965 HAS SOUS 23689 HAS SOUPS 23689 WITH SCORE 23754.965
AT ITER 1309 NEW BEST:: SOT 116002 SOS 65947 HAS SOPS 65947 HAS SOUS 23631 HAS SOUPS 23631 WITH SCORE 23696.947
AT ITER 1318 NEW BEST:: SOT 116002 SOS 65947 HAS SOPS 65947 HAS SOUS 23615 HAS SOUPS 23615 WITH SCORE 23680.947
AT ITER 1330 NEW BEST:: SOT 116137 SOS 66117 HAS SOPS 66117 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23650.117
AT ITER 1335 NEW BEST:: SOT 116007 SOS 65909 HAS SOPS 65909 HAS SOUS 23295 HAS SOUPS 23295 WITH SCORE 23360.909
AT ITER 1338 NEW BEST:: SOT 115963 SOS 65865 HAS SOPS 65865 HAS SOUS 23282 HAS SOUPS 23282 WITH SCORE 23347.865
AT ITER 1349 NEW BEST:: SOT 115941 SOS 65835 HAS SOPS 65835 HAS SOUS 23267 HAS SOUPS 23267 WITH SCORE 23332.835
AT ITER 1354 NEW BEST:: SOT 115724 SOS 65568 HAS SOPS 65568 HAS SOUS 23198 HAS SOUPS 23198 WITH SCORE 23263.568
AT ITER 1381 NEW BEST:: SOT 115678 SOS 65929 HAS SOPS 65929 HAS SOUS 23123 HAS SOUPS 23123 WITH SCORE 23188.929
AT ITER 1395 NEW BEST:: SOT 115678 SOS 65929 HAS SOPS 65929 HAS SOUS 23122 HAS SOUPS 23122 WITH SCORE 23187.929
AT ITER 1397 NEW BEST:: SOT 115678 SOS 65893 HAS SOPS 65893 HAS SOUS 23086 HAS SOUPS 23086 WITH SCORE 23151.893
AT ITER 1399 NEW BEST:: SOT 115678 SOS 65865 HAS SOPS 65865 HAS SOUS 23083 HAS SOUPS 23083 WITH SCORE 23148.865
AT ITER 1421 NEW BEST:: SOT 114757 SOS 67224 HAS SOPS 67224 HAS SOUS 22673 HAS SOUPS 22673 WITH SCORE 22740.224
AT ITER 1425 NEW BEST:: SOT 114713 SOS 67253 HAS SOPS 67253 HAS SOUS 22663 HAS SOUPS 22663 WITH SCORE 22730.253
AT ITER 1427 NEW BEST:: SOT 114635 SOS 66724 HAS SOPS 66724 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22651.724
AT ITER 1443 NEW BEST:: SOT 114648 SOS 66661 HAS SOPS 66661 HAS SOUS 22557 HAS SOUPS 22557 WITH SCORE 22623.661
AT ITER 1456 NEW BEST:: SOT 114648 SOS 66661 HAS SOPS 66661 HAS SOUS 22548 HAS SOUPS 22548 WITH SCORE 22614.661
AT ITER 1461 NEW BEST:: SOT 114618 SOS 66631 HAS SOPS 66631 HAS SOUS 22503 HAS SOUPS 22503 WITH SCORE 22569.631
AT ITER 1472 NEW BEST:: SOT 114610 SOS 66593 HAS SOPS 66593 HAS SOUS 22484 HAS SOUPS 22484 WITH SCORE 22550.593
AT ITER 1473 NEW BEST:: SOT 114610 SOS 66595 HAS SOPS 66595 HAS SOUS 22482 HAS SOUPS 22482 WITH SCORE 22548.595
AT ITER 1487 NEW BEST:: SOT 114588 SOS 66642 HAS SOPS 66642 HAS SOUS 22477 HAS SOUPS 22477 WITH SCORE 22543.642
AT ITER 1493 NEW BEST:: SOT 114517 SOS 65637 HAS SOPS 65637 HAS SOUS 22393 HAS SOUPS 22393 WITH SCORE 22458.637
AT ITER 1500 NEW BEST:: SOT 114457 SOS 65577 HAS SOPS 65577 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22444.577
AT ITER 1508 NEW BEST:: SOT 114387 SOS 65548 HAS SOPS 65548 HAS SOUS 22262 HAS SOUPS 22262 WITH SCORE 22327.548
AT ITER 1515 NEW BEST:: SOT 114275 SOS 65338 HAS SOPS 65338 HAS SOUS 22252 HAS SOUPS 22252 WITH SCORE 22317.338
AT ITER 1522 NEW BEST:: SOT 114266 SOS 65284 HAS SOPS 65284 HAS SOUS 22232 HAS SOUPS 22232 WITH SCORE 22297.284
AT ITER 1526 NEW BEST:: SOT 114234 SOS 65236 HAS SOPS 65236 HAS SOUS 22192 HAS SOUPS 22192 WITH SCORE 22257.236
AT ITER 1528 NEW BEST:: SOT 114234 SOS 65236 HAS SOPS 65236 HAS SOUS 22188 HAS SOUPS 22188 WITH SCORE 22253.236
AT ITER 1545 NEW BEST:: SOT 113349 SOS 67189 HAS SOPS 67189 HAS SOUS 21808 HAS SOUPS 21808 WITH SCORE 21875.189
AT ITER 1551 NEW BEST:: SOT 112913 SOS 66441 HAS SOPS 66441 HAS SOUS 21684 HAS SOUPS 21684 WITH SCORE 21750.441
AT ITER 1555 NEW BEST:: SOT 112845 SOS 66373 HAS SOPS 66373 HAS SOUS 21565 HAS SOUPS 21565 WITH SCORE 21631.373
AT ITER 1565 NEW BEST:: SOT 112691 SOS 66197 HAS SOPS 66197 HAS SOUS 21477 HAS SOUPS 21477 WITH SCORE 21543.197
AT ITER 1577 NEW BEST:: SOT 112691 SOS 66197 HAS SOPS 66197 HAS SOUS 21473 HAS SOUPS 21473 WITH SCORE 21539.197
AT ITER 1587 NEW BEST:: SOT 112631 SOS 66070 HAS SOPS 66070 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21339.07
AT ITER 1589 NEW BEST:: SOT 112624 SOS 66054 HAS SOPS 66054 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21332.054
AT ITER 1591 NEW BEST:: SOT 112624 SOS 66054 HAS SOPS 66054 HAS SOUS 21255 HAS SOUPS 21255 WITH SCORE 21321.054
AT ITER 1594 NEW BEST:: SOT 112744 SOS 66157 HAS SOPS 66157 HAS SOUS 21178 HAS SOUPS 21178 WITH SCORE 21244.157
AT ITER 1610 NEW BEST:: SOT 112747 SOS 66172 HAS SOPS 66172 HAS SOUS 21172 HAS SOUPS 21172 WITH SCORE 21238.172
AT ITER 1611 NEW BEST:: SOT 112743 SOS 66218 HAS SOPS 66218 HAS SOUS 21171 HAS SOUPS 21171 WITH SCORE 21237.218
AT ITER 1617 NEW BEST:: SOT 112743 SOS 66101 HAS SOPS 66101 HAS SOUS 21167 HAS SOUPS 21167 WITH SCORE 21233.101
AT ITER 1620 NEW BEST:: SOT 112739 SOS 66077 HAS SOPS 66077 HAS SOUS 21156 HAS SOUPS 21156 WITH SCORE 21222.077
AT ITER 1639 NEW BEST:: SOT 112739 SOS 65999 HAS SOPS 65999 HAS SOUS 20990 HAS SOUPS 20990 WITH SCORE 21055.999
AT ITER 1641 NEW BEST:: SOT 112765 SOS 64318 HAS SOPS 64318 HAS SOUS 20846 HAS SOUPS 20846 WITH SCORE 20910.318
AT ITER 1644 NEW BEST:: SOT 112685 SOS 64238 HAS SOPS 64238 HAS SOUS 20826 HAS SOUPS 20826 WITH SCORE 20890.238
AT ITER 1645 NEW BEST:: SOT 112659 SOS 64211 HAS SOPS 64211 HAS SOUS 20810 HAS SOUPS 20810 WITH SCORE 20874.211
AT ITER 1664 NEW BEST:: SOT 112647 SOS 64190 HAS SOPS 64190 HAS SOUS 20798 HAS SOUPS 20798 WITH SCORE 20862.19
AT ITER 1685 NEW BEST:: SOT 112637 SOS 64180 HAS SOPS 64180 HAS SOUS 20788 HAS SOUPS 20788 WITH SCORE 20852.18
AT ITER 1688 NEW BEST:: SOT 112629 SOS 64172 HAS SOPS 64172 HAS SOUS 20766 HAS SOUPS 20766 WITH SCORE 20830.172
AT ITER 1700 NEW BEST:: SOT 112645 SOS 64188 HAS SOPS 64188 HAS SOUS 20763 HAS SOUPS 20763 WITH SCORE 20827.188
AT ITER 1701 NEW BEST:: SOT 112611 SOS 64154 HAS SOPS 64154 HAS SOUS 20688 HAS SOUPS 20688 WITH SCORE 20752.154
AT ITER 1709 NEW BEST:: SOT 112393 SOS 63975 HAS SOPS 63975 HAS SOUS 20502 HAS SOUPS 20502 WITH SCORE 20565.975
AT ITER 1723 NEW BEST:: SOT 112435 SOS 63929 HAS SOPS 63929 HAS SOUS 20479 HAS SOUPS 20479 WITH SCORE 20542.929
AT ITER 1733 NEW BEST:: SOT 112411 SOS 63815 HAS SOPS 63815 HAS SOUS 20463 HAS SOUPS 20463 WITH SCORE 20526.815
AT ITER 1737 NEW BEST:: SOT 112329 SOS 63705 HAS SOPS 63705 HAS SOUS 20389 HAS SOUPS 20389 WITH SCORE 20452.705
AT ITER 1741 NEW BEST:: SOT 112323 SOS 63706 HAS SOPS 63706 HAS SOUS 20376 HAS SOUPS 20376 WITH SCORE 20439.706
AT ITER 1755 NEW BEST:: SOT 112408 SOS 61228 HAS SOPS 61228 HAS SOUS 20368 HAS SOUPS 20368 WITH SCORE 20429.228
AT ITER 1758 NEW BEST:: SOT 112394 SOS 61214 HAS SOPS 61214 HAS SOUS 20312 HAS SOUPS 20312 WITH SCORE 20373.214
AT ITER 1765 NEW BEST:: SOT 112394 SOS 61214 HAS SOPS 61214 HAS SOUS 20308 HAS SOUPS 20308 WITH SCORE 20369.214
AT ITER 1767 NEW BEST:: SOT 112334 SOS 61254 HAS SOPS 61254 HAS SOUS 20230 HAS SOUPS 20230 WITH SCORE 20291.254
AT ITER 1788 NEW BEST:: SOT 112306 SOS 61208 HAS SOPS 61208 HAS SOUS 20218 HAS SOUPS 20218 WITH SCORE 20279.208
AT ITER 1796 NEW BEST:: SOT 112256 SOS 61182 HAS SOPS 61182 HAS SOUS 20160 HAS SOUPS 20160 WITH SCORE 20221.182
AT ITER 1803 NEW BEST:: SOT 112262 SOS 61188 HAS SOPS 61188 HAS SOUS 20158 HAS SOUPS 20158 WITH SCORE 20219.188
AT ITER 1818 NEW BEST:: SOT 112299 SOS 61213 HAS SOPS 61213 HAS SOUS 20148 HAS SOUPS 20148 WITH SCORE 20209.213
AT ITER 1828 NEW BEST:: SOT 112191 SOS 61105 HAS SOPS 61105 HAS SOUS 20148 HAS SOUPS 20148 WITH SCORE 20209.105
AT ITER 1829 NEW BEST:: SOT 112080 SOS 61816 HAS SOPS 61816 HAS SOUS 20065 HAS SOUPS 20065 WITH SCORE 20126.816
AT ITER 1849 NEW BEST:: SOT 112065 SOS 61796 HAS SOPS 61796 HAS SOUS 20050 HAS SOUPS 20050 WITH SCORE 20111.796
AT ITER 1855 NEW BEST:: SOT 112054 SOS 61749 HAS SOPS 61749 HAS SOUS 20014 HAS SOUPS 20014 WITH SCORE 20075.749
AT ITER 1882 NEW BEST:: SOT 112053 SOS 61758 HAS SOPS 61758 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20074.758
AT ITER 1892 NEW BEST:: SOT 111998 SOS 61663 HAS SOPS 61663 HAS SOUS 19926 HAS SOUPS 19926 WITH SCORE 19987.663
AT ITER 1894 NEW BEST:: SOT 111986 SOS 61715 HAS SOPS 61715 HAS SOUS 19886 HAS SOUPS 19886 WITH SCORE 19947.715
AT ITER 1915 NEW BEST:: SOT 111977 SOS 61715 HAS SOPS 61715 HAS SOUS 19877 HAS SOUPS 19877 WITH SCORE 19938.715
AT ITER 1917 NEW BEST:: SOT 111955 SOS 61617 HAS SOPS 61617 HAS SOUS 19877 HAS SOUPS 19877 WITH SCORE 19938.617
AT ITER 1937 NEW BEST:: SOT 111904 SOS 61532 HAS SOPS 61532 HAS SOUS 19838 HAS SOUPS 19838 WITH SCORE 19899.532
AT ITER 1946 NEW BEST:: SOT 112038 SOS 61662 HAS SOPS 61662 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19898.662
AT ITER 1947 NEW BEST:: SOT 112042 SOS 61654 HAS SOPS 61654 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19898.654
AT ITER 1950 NEW BEST:: SOT 111076 SOS 66424 HAS SOPS 66424 HAS SOUS 19513 HAS SOUPS 19513 WITH SCORE 19579.424
AT ITER 1954 NEW BEST:: SOT 111090 SOS 66424 HAS SOPS 66424 HAS SOUS 19494 HAS SOUPS 19494 WITH SCORE 19560.424
AT ITER 1973 NEW BEST:: SOT 110976 SOS 66310 HAS SOPS 66310 HAS SOUS 19424 HAS SOUPS 19424 WITH SCORE 19490.31
AT ITER 1982 NEW BEST:: SOT 110968 SOS 66302 HAS SOPS 66302 HAS SOUS 19411 HAS SOUPS 19411 WITH SCORE 19477.302
AT ITER 1992 NEW BEST:: SOT 110948 SOS 66208 HAS SOPS 66208 HAS SOUS 19402 HAS SOUPS 19402 WITH SCORE 19468.208
AT ITER 2005 NEW BEST:: SOT 110957 SOS 66246 HAS SOPS 66246 HAS SOUS 19398 HAS SOUPS 19398 WITH SCORE 19464.246
AT ITER 2011 NEW BEST:: SOT 110921 SOS 66228 HAS SOPS 66228 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19410.228
AT ITER 2029 NEW BEST:: SOT 110899 SOS 66196 HAS SOPS 66196 HAS SOUS 19322 HAS SOUPS 19322 WITH SCORE 19388.196
AT ITER 2043 NEW BEST:: SOT 110952 SOS 66052 HAS SOPS 66052 HAS SOUS 19299 HAS SOUPS 19299 WITH SCORE 19365.052
AT ITER 2051 NEW BEST:: SOT 110934 SOS 66031 HAS SOPS 66031 HAS SOUS 19290 HAS SOUPS 19290 WITH SCORE 19356.031
AT ITER 2055 NEW BEST:: SOT 110933 SOS 66031 HAS SOPS 66031 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19354.031
AT ITER 2056 NEW BEST:: SOT 110604 SOS 65369 HAS SOPS 65369 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19276.369
AT ITER 2066 NEW BEST:: SOT 110612 SOS 65732 HAS SOPS 65732 HAS SOUS 19185 HAS SOUPS 19185 WITH SCORE 19250.732
AT ITER 2079 NEW BEST:: SOT 110629 SOS 65819 HAS SOPS 65819 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19247.819
AT ITER 2082 NEW BEST:: SOT 110629 SOS 65767 HAS SOPS 65767 HAS SOUS 19156 HAS SOUPS 19156 WITH SCORE 19221.767
AT ITER 2088 NEW BEST:: SOT 110595 SOS 65733 HAS SOPS 65733 HAS SOUS 19149 HAS SOUPS 19149 WITH SCORE 19214.733
AT ITER 2099 NEW BEST:: SOT 110582 SOS 65712 HAS SOPS 65712 HAS SOUS 19128 HAS SOUPS 19128 WITH SCORE 19193.712
AT ITER 2103 NEW BEST:: SOT 110612 SOS 65937 HAS SOPS 65937 HAS SOUS 19107 HAS SOUPS 19107 WITH SCORE 19172.937
AT ITER 2113 NEW BEST:: SOT 110612 SOS 65937 HAS SOPS 65937 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19146.937
AT ITER 2120 NEW BEST:: SOT 110606 SOS 65931 HAS SOPS 65931 HAS SOUS 19071 HAS SOUPS 19071 WITH SCORE 19136.931
AT ITER 2123 NEW BEST:: SOT 110989 SOS 66314 HAS SOPS 66314 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19085.314
AT ITER 2139 NEW BEST:: SOT 110941 SOS 66234 HAS SOPS 66234 HAS SOUS 18963 HAS SOUPS 18963 WITH SCORE 19029.234
AT ITER 2145 NEW BEST:: SOT 110836 SOS 65938 HAS SOPS 65938 HAS SOUS 18752 HAS SOUPS 18752 WITH SCORE 18817.938
AT ITER 2146 NEW BEST:: SOT 110782 SOS 65942 HAS SOPS 65942 HAS SOUS 18734 HAS SOUPS 18734 WITH SCORE 18799.942
AT ITER 2148 NEW BEST:: SOT 110782 SOS 65942 HAS SOPS 65942 HAS SOUS 18733 HAS SOUPS 18733 WITH SCORE 18798.942
AT ITER 2150 NEW BEST:: SOT 110803 SOS 66040 HAS SOPS 66040 HAS SOUS 18732 HAS SOUPS 18732 WITH SCORE 18798.04
AT ITER 2155 NEW BEST:: SOT 110802 SOS 66038 HAS SOPS 66038 HAS SOUS 18731 HAS SOUPS 18731 WITH SCORE 18797.038
AT ITER 2173 NEW BEST:: SOT 110859 SOS 66233 HAS SOPS 66233 HAS SOUS 18712 HAS SOUPS 18712 WITH SCORE 18778.233
AT ITER 2178 NEW BEST:: SOT 110845 SOS 66156 HAS SOPS 66156 HAS SOUS 18677 HAS SOUPS 18677 WITH SCORE 18743.156
AT ITER 2186 NEW BEST:: SOT 110797 SOS 66084 HAS SOPS 66084 HAS SOUS 18629 HAS SOUPS 18629 WITH SCORE 18695.084
AT ITER 2199 NEW BEST:: SOT 110972 SOS 66259 HAS SOPS 66259 HAS SOUS 18611 HAS SOUPS 18611 WITH SCORE 18677.259
AT ITER 2224 NEW BEST:: SOT 110776 SOS 66014 HAS SOPS 66014 HAS SOUS 18611 HAS SOUPS 18611 WITH SCORE 18677.014
AT ITER 2231 NEW BEST:: SOT 110749 SOS 66070 HAS SOPS 66070 HAS SOUS 18569 HAS SOUPS 18569 WITH SCORE 18635.07
AT ITER 2247 NEW BEST:: SOT 110671 SOS 65992 HAS SOPS 65992 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18633.992
AT ITER 2253 NEW BEST:: SOT 110647 SOS 65918 HAS SOPS 65918 HAS SOUS 18544 HAS SOUPS 18544 WITH SCORE 18609.918
AT ITER 2276 NEW BEST:: SOT 110358 SOS 65606 HAS SOPS 65606 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18494.606
AT ITER 2278 NEW BEST:: SOT 110213 SOS 65436 HAS SOPS 65436 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18339.436
AT ITER 2303 NEW BEST:: SOT 110211 SOS 65434 HAS SOPS 65434 HAS SOUS 18234 HAS SOUPS 18234 WITH SCORE 18299.434
AT ITER 2342 NEW BEST:: SOT 110191 SOS 65414 HAS SOPS 65414 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18291.414
AT ITER 2343 NEW BEST:: SOT 110191 SOS 65060 HAS SOPS 65060 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18291.06
AT ITER 2352 NEW BEST:: SOT 110191 SOS 65048 HAS SOPS 65048 HAS SOUS 18222 HAS SOUPS 18222 WITH SCORE 18287.048
AT ITER 2363 NEW BEST:: SOT 110140 SOS 64990 HAS SOPS 64990 HAS SOUS 18158 HAS SOUPS 18158 WITH SCORE 18222.99
AT ITER 2372 NEW BEST:: SOT 110139 SOS 64989 HAS SOPS 64989 HAS SOUS 18158 HAS SOUPS 18158 WITH SCORE 18222.989
AT ITER 2409 NEW BEST:: SOT 110143 SOS 64505 HAS SOPS 64505 HAS SOUS 18144 HAS SOUPS 18144 WITH SCORE 18208.505
AT ITER 2420 NEW BEST:: SOT 110150 SOS 64489 HAS SOPS 64489 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18192.489
AT ITER 2434 NEW BEST:: SOT 110104 SOS 64419 HAS SOPS 64419 HAS SOUS 18106 HAS SOUPS 18106 WITH SCORE 18170.419
AT ITER 2442 NEW BEST:: SOT 110086 SOS 64503 HAS SOPS 64503 HAS SOUS 18104 HAS SOUPS 18104 WITH SCORE 18168.503
AT ITER 2455 NEW BEST:: SOT 110049 SOS 64437 HAS SOPS 64437 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18160.437
AT ITER 2479 NEW BEST:: SOT 110001 SOS 64125 HAS SOPS 64125 HAS SOUS 18023 HAS SOUPS 18023 WITH SCORE 18087.125
AT ITER 2485 NEW BEST:: SOT 109998 SOS 64124 HAS SOPS 64124 HAS SOUS 18023 HAS SOUPS 18023 WITH SCORE 18087.124
AT ITER 2489 NEW BEST:: SOT 109989 SOS 64049 HAS SOPS 64049 HAS SOUS 17996 HAS SOUPS 17996 WITH SCORE 18060.049
AT ITER 2500 NEW BEST:: SOT 110020 SOS 63967 HAS SOPS 63967 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18042.967
AT ITER 2520 NEW BEST:: SOT 109984 SOS 63929 HAS SOPS 63929 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 18006.929
AT ITER 2537 NEW BEST:: SOT 109975 SOS 63910 HAS SOPS 63910 HAS SOUS 17929 HAS SOUPS 17929 WITH SCORE 17992.91
AT ITER 2552 NEW BEST:: SOT 109987 SOS 63922 HAS SOPS 63922 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17974.922
AT ITER 2577 NEW BEST:: SOT 110011 SOS 63931 HAS SOPS 63931 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17938.931
AT ITER 2580 NEW BEST:: SOT 109999 SOS 63931 HAS SOPS 63931 HAS SOUS 17851 HAS SOUPS 17851 WITH SCORE 17914.931
AT ITER 2584 NEW BEST:: SOT 109971 SOS 63837 HAS SOPS 63837 HAS SOUS 17823 HAS SOUPS 17823 WITH SCORE 17886.837
AT ITER 2605 NEW BEST:: SOT 109976 SOS 63792 HAS SOPS 63792 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17885.792
AT ITER 2641 NEW BEST:: SOT 109976 SOS 63792 HAS SOPS 63792 HAS SOUS 17809 HAS SOUPS 17809 WITH SCORE 17872.792
AT ITER 2652 NEW BEST:: SOT 109946 SOS 63663 HAS SOPS 63663 HAS SOUS 17779 HAS SOUPS 17779 WITH SCORE 17842.663
AT ITER 2682 NEW BEST:: SOT 109909 SOS 63464 HAS SOPS 63464 HAS SOUS 17708 HAS SOUPS 17708 WITH SCORE 17771.464
AT ITER 2685 NEW BEST:: SOT 110063 SOS 63618 HAS SOPS 63618 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17764.618
AT ITER 2688 NEW BEST:: SOT 110057 SOS 63612 HAS SOPS 63612 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17752.612
AT ITER 2693 NEW BEST:: SOT 110029 SOS 63668 HAS SOPS 63668 HAS SOUS 17661 HAS SOUPS 17661 WITH SCORE 17724.668
AT ITER 2712 NEW BEST:: SOT 110026 SOS 63634 HAS SOPS 63634 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17721.634
AT ITER 2722 NEW BEST:: SOT 110021 SOS 63646 HAS SOPS 63646 HAS SOUS 17638 HAS SOUPS 17638 WITH SCORE 17701.646
AT ITER 2730 NEW BEST:: SOT 109993 SOS 63508 HAS SOPS 63508 HAS SOUS 17633 HAS SOUPS 17633 WITH SCORE 17696.508
AT ITER 2736 NEW BEST:: SOT 109989 SOS 63504 HAS SOPS 63504 HAS SOUS 17625 HAS SOUPS 17625 WITH SCORE 17688.504
AT ITER 2745 NEW BEST:: SOT 109989 SOS 63504 HAS SOPS 63504 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17684.504
AT ITER 2748 NEW BEST:: SOT 109955 SOS 63320 HAS SOPS 63320 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17650.32
AT ITER 2749 NEW BEST:: SOT 109955 SOS 63316 HAS SOPS 63316 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17650.316
AT ITER 2759 NEW BEST:: SOT 109937 SOS 63284 HAS SOPS 63284 HAS SOUS 17541 HAS SOUPS 17541 WITH SCORE 17604.284
AT ITER 2764 NEW BEST:: SOT 109937 SOS 63280 HAS SOPS 63280 HAS SOUS 17541 HAS SOUPS 17541 WITH SCORE 17604.28
AT ITER 2765 NEW BEST:: SOT 109839 SOS 62909 HAS SOPS 62909 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17554.909
AT ITER 2766 NEW BEST:: SOT 109850 SOS 61928 HAS SOPS 61928 HAS SOUS 17467 HAS SOUPS 17467 WITH SCORE 17528.928
AT ITER 2778 NEW BEST:: SOT 109850 SOS 61928 HAS SOPS 61928 HAS SOUS 17463 HAS SOUPS 17463 WITH SCORE 17524.928
AT ITER 2799 NEW BEST:: SOT 109850 SOS 61922 HAS SOPS 61922 HAS SOUS 17463 HAS SOUPS 17463 WITH SCORE 17524.922
AT ITER 2825 NEW BEST:: SOT 109778 SOS 61837 HAS SOPS 61837 HAS SOUS 17458 HAS SOUPS 17458 WITH SCORE 17519.837
AT ITER 2827 NEW BEST:: SOT 109764 SOS 61823 HAS SOPS 61823 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17505.823
AT ITER 2837 NEW BEST:: SOT 109734 SOS 61759 HAS SOPS 61759 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17463.759
AT ITER 2839 NEW BEST:: SOT 109686 SOS 61697 HAS SOPS 61697 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17415.697
AT ITER 2840 NEW BEST:: SOT 109667 SOS 61659 HAS SOPS 61659 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17415.659
AT ITER 2842 NEW BEST:: SOT 109551 SOS 61543 HAS SOPS 61543 HAS SOUS 17317 HAS SOUPS 17317 WITH SCORE 17378.543
AT ITER 2850 NEW BEST:: SOT 109538 SOS 61533 HAS SOPS 61533 HAS SOUS 17300 HAS SOUPS 17300 WITH SCORE 17361.533
AT ITER 2861 NEW BEST:: SOT 109538 SOS 61533 HAS SOPS 61533 HAS SOUS 17297 HAS SOUPS 17297 WITH SCORE 17358.533
AT ITER 2871 NEW BEST:: SOT 109580 SOS 61585 HAS SOPS 61585 HAS SOUS 17244 HAS SOUPS 17244 WITH SCORE 17305.585
AT ITER 2881 NEW BEST:: SOT 109521 SOS 61526 HAS SOPS 61526 HAS SOUS 17235 HAS SOUPS 17235 WITH SCORE 17296.526
AT ITER 2888 NEW BEST:: SOT 109539 SOS 61544 HAS SOPS 61544 HAS SOUS 17183 HAS SOUPS 17183 WITH SCORE 17244.544
AT ITER 2901 NEW BEST:: SOT 109534 SOS 61562 HAS SOPS 61562 HAS SOUS 17178 HAS SOUPS 17178 WITH SCORE 17239.562
AT ITER 2906 NEW BEST:: SOT 109532 SOS 61563 HAS SOPS 61563 HAS SOUS 17174 HAS SOUPS 17174 WITH SCORE 17235.563
AT ITER 2911 NEW BEST:: SOT 109532 SOS 61563 HAS SOPS 61563 HAS SOUS 17168 HAS SOUPS 17168 WITH SCORE 17229.563
AT ITER 2924 NEW BEST:: SOT 109508 SOS 61535 HAS SOPS 61535 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17178.535
AT ITER 2933 NEW BEST:: SOT 109513 SOS 61559 HAS SOPS 61559 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17164.559
AT ITER 2940 NEW BEST:: SOT 109508 SOS 61549 HAS SOPS 61549 HAS SOUS 17088 HAS SOUPS 17088 WITH SCORE 17149.549
AT ITER 2952 NEW BEST:: SOT 109498 SOS 61539 HAS SOPS 61539 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17109.539
AT ITER 2955 NEW BEST:: SOT 109498 SOS 61539 HAS SOPS 61539 HAS SOUS 17047 HAS SOUPS 17047 WITH SCORE 17108.539
AT ITER 2958 NEW BEST:: SOT 109511 SOS 61457 HAS SOPS 61457 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17107.457
AT ITER 2971 NEW BEST:: SOT 109453 SOS 61365 HAS SOPS 61365 HAS SOUS 17038 HAS SOUPS 17038 WITH SCORE 17099.365
AT ITER 2973 NEW BEST:: SOT 109453 SOS 61365 HAS SOPS 61365 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17093.365
AT ITER 2984 NEW BEST:: SOT 109429 SOS 61345 HAS SOPS 61345 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17069.345
AT ITER 2990 NEW BEST:: SOT 109493 SOS 61409 HAS SOPS 61409 HAS SOUS 16962 HAS SOUPS 16962 WITH SCORE 17023.409
AT ITER 3008 NEW BEST:: SOT 109485 SOS 61330 HAS SOPS 61330 HAS SOUS 16947 HAS SOUPS 16947 WITH SCORE 17008.33
AT ITER 3022 NEW BEST:: SOT 109477 SOS 61322 HAS SOPS 61322 HAS SOUS 16936 HAS SOUPS 16936 WITH SCORE 16997.322
AT ITER 3024 NEW BEST:: SOT 109451 SOS 61270 HAS SOPS 61270 HAS SOUS 16910 HAS SOUPS 16910 WITH SCORE 16971.27
AT ITER 3041 NEW BEST:: SOT 109413 SOS 61213 HAS SOPS 61213 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16914.213
AT ITER 3062 NEW BEST:: SOT 109522 SOS 61322 HAS SOPS 61322 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16901.322
AT ITER 3064 NEW BEST:: SOT 109522 SOS 61322 HAS SOPS 61322 HAS SOUS 16827 HAS SOUPS 16827 WITH SCORE 16888.322
AT ITER 3082 NEW BEST:: SOT 109515 SOS 61318 HAS SOPS 61318 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16881.318
AT ITER 3083 NEW BEST:: SOT 109505 SOS 61262 HAS SOPS 61262 HAS SOUS 16810 HAS SOUPS 16810 WITH SCORE 16871.262
AT ITER 3121 NEW BEST:: SOT 109488 SOS 61228 HAS SOPS 61228 HAS SOUS 16810 HAS SOUPS 16810 WITH SCORE 16871.228
AT ITER 3135 NEW BEST:: SOT 109488 SOS 61228 HAS SOPS 61228 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16864.228
AT ITER 3142 NEW BEST:: SOT 109460 SOS 61172 HAS SOPS 61172 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16864.172
AT ITER 3144 NEW BEST:: SOT 109402 SOS 61068 HAS SOPS 61068 HAS SOUS 16771 HAS SOUPS 16771 WITH SCORE 16832.068
AT ITER 3151 NEW BEST:: SOT 109404 SOS 61071 HAS SOPS 61071 HAS SOUS 16770 HAS SOUPS 16770 WITH SCORE 16831.071
AT ITER 3177 NEW BEST:: SOT 109371 SOS 60935 HAS SOPS 60935 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16812.935
AT ITER 3182 NEW BEST:: SOT 109369 SOS 60927 HAS SOPS 60927 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16804.927
AT ITER 3194 NEW BEST:: SOT 109352 SOS 60961 HAS SOPS 60961 HAS SOUS 16727 HAS SOUPS 16727 WITH SCORE 16787.961
AT ITER 3205 NEW BEST:: SOT 109338 SOS 60947 HAS SOPS 60947 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16780.947
AT ITER 3218 NEW BEST:: SOT 109315 SOS 60909 HAS SOPS 60909 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16764.909
AT ITER 3223 NEW BEST:: SOT 109315 SOS 60909 HAS SOPS 60909 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16763.909
AT ITER 3244 NEW BEST:: SOT 109300 SOS 60894 HAS SOPS 60894 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16748.894
AT ITER 3262 NEW BEST:: SOT 109295 SOS 60853 HAS SOPS 60853 HAS SOUS 16678 HAS SOUPS 16678 WITH SCORE 16738.853
AT ITER 3277 NEW BEST:: SOT 109283 SOS 60800 HAS SOPS 60800 HAS SOUS 16672 HAS SOUPS 16672 WITH SCORE 16732.8
AT ITER 3290 NEW BEST:: SOT 109288 SOS 60787 HAS SOPS 60787 HAS SOUS 16659 HAS SOUPS 16659 WITH SCORE 16719.787
AT ITER 3304 NEW BEST:: SOT 109263 SOS 60762 HAS SOPS 60762 HAS SOUS 16637 HAS SOUPS 16637 WITH SCORE 16697.762
AT ITER 3320 NEW BEST:: SOT 109230 SOS 60729 HAS SOPS 60729 HAS SOUS 16584 HAS SOUPS 16584 WITH SCORE 16644.729
AT ITER 3325 NEW BEST:: SOT 109236 SOS 60741 HAS SOPS 60741 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16638.741
AT ITER 3341 NEW BEST:: SOT 109227 SOS 60656 HAS SOPS 60656 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16620.656
AT ITER 3346 NEW BEST:: SOT 109227 SOS 60652 HAS SOPS 60652 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16620.652
AT ITER 3349 NEW BEST:: SOT 109196 SOS 60635 HAS SOPS 60635 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16596.635
AT ITER 3358 NEW BEST:: SOT 109206 SOS 60645 HAS SOPS 60645 HAS SOUS 16534 HAS SOUPS 16534 WITH SCORE 16594.645
AT ITER 3377 NEW BEST:: SOT 109215 SOS 60618 HAS SOPS 60618 HAS SOUS 16516 HAS SOUPS 16516 WITH SCORE 16576.618
AT ITER 3413 NEW BEST:: SOT 109221 SOS 60577 HAS SOPS 60577 HAS SOUS 16512 HAS SOUPS 16512 WITH SCORE 16572.577
AT ITER 3423 NEW BEST:: SOT 109191 SOS 60547 HAS SOPS 60547 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16549.547
AT ITER 3456 NEW BEST:: SOT 109161 SOS 60477 HAS SOPS 60477 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16549.477
AT ITER 3473 NEW BEST:: SOT 109133 SOS 60057 HAS SOPS 60057 HAS SOUS 16387 HAS SOUPS 16387 WITH SCORE 16447.057
AT ITER 3487 NEW BEST:: SOT 109115 SOS 60017 HAS SOPS 60017 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16425.017
AT ITER 3495 NEW BEST:: SOT 109101 SOS 60085 HAS SOPS 60085 HAS SOUS 16364 HAS SOUPS 16364 WITH SCORE 16424.085
AT ITER 3519 NEW BEST:: SOT 109095 SOS 60073 HAS SOPS 60073 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16418.073
AT ITER 3527 NEW BEST:: SOT 109095 SOS 60312 HAS SOPS 60312 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16402.312
AT ITER 3554 NEW BEST:: SOT 109150 SOS 60367 HAS SOPS 60367 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16395.367
AT ITER 3569 NEW BEST:: SOT 109151 SOS 60368 HAS SOPS 60368 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16392.368
AT ITER 3575 NEW BEST:: SOT 109149 SOS 60381 HAS SOPS 60381 HAS SOUS 16330 HAS SOUPS 16330 WITH SCORE 16390.381
AT ITER 3593 NEW BEST:: SOT 109259 SOS 60489 HAS SOPS 60489 HAS SOUS 16308 HAS SOUPS 16308 WITH SCORE 16368.489
AT ITER 3601 NEW BEST:: SOT 109261 SOS 60483 HAS SOPS 60483 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16362.483
AT ITER 3621 NEW BEST:: SOT 109272 SOS 60538 HAS SOPS 60538 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16330.538
AT ITER 3632 NEW BEST:: SOT 109264 SOS 60530 HAS SOPS 60530 HAS SOUS 16262 HAS SOUPS 16262 WITH SCORE 16322.53
AT ITER 3636 NEW BEST:: SOT 109323 SOS 60589 HAS SOPS 60589 HAS SOUS 16257 HAS SOUPS 16257 WITH SCORE 16317.589
AT ITER 3637 NEW BEST:: SOT 109248 SOS 60456 HAS SOPS 60456 HAS SOUS 16165 HAS SOUPS 16165 WITH SCORE 16225.456
AT ITER 3649 NEW BEST:: SOT 109212 SOS 60461 HAS SOPS 60461 HAS SOUS 16162 HAS SOUPS 16162 WITH SCORE 16222.461
AT ITER 3654 NEW BEST:: SOT 109244 SOS 59143 HAS SOPS 59143 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16207.143
AT ITER 3673 NEW BEST:: SOT 109244 SOS 59143 HAS SOPS 59143 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16192.143
AT ITER 3686 NEW BEST:: SOT 109195 SOS 59084 HAS SOPS 59084 HAS SOUS 16084 HAS SOUPS 16084 WITH SCORE 16143.084
AT ITER 3708 NEW BEST:: SOT 109190 SOS 59071 HAS SOPS 59071 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16130.071
AT ITER 3727 NEW BEST:: SOT 109191 SOS 59072 HAS SOPS 59072 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 16033.072
AT ITER 3735 NEW BEST:: SOT 109191 SOS 59072 HAS SOPS 59072 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 16013.072
AT ITER 3773 NEW BEST:: SOT 109154 SOS 58998 HAS SOPS 58998 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15992.998
AT ITER 3799 NEW BEST:: SOT 109108 SOS 58824 HAS SOPS 58824 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15922.824
AT ITER 3806 NEW BEST:: SOT 109106 SOS 58666 HAS SOPS 58666 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15920.666
AT ITER 3815 NEW BEST:: SOT 109029 SOS 58864 HAS SOPS 58864 HAS SOUS 15766 HAS SOUPS 15766 WITH SCORE 15824.864
AT ITER 3832 NEW BEST:: SOT 109001 SOS 58836 HAS SOPS 58836 HAS SOUS 15745 HAS SOUPS 15745 WITH SCORE 15803.836
AT ITER 3847 NEW BEST:: SOT 108966 SOS 58766 HAS SOPS 58766 HAS SOUS 15710 HAS SOUPS 15710 WITH SCORE 15768.766
AT ITER 3859 NEW BEST:: SOT 108966 SOS 58774 HAS SOPS 58774 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15764.774
AT ITER 3862 NEW BEST:: SOT 108903 SOS 58572 HAS SOPS 58572 HAS SOUS 15643 HAS SOUPS 15643 WITH SCORE 15701.572
AT ITER 3877 NEW BEST:: SOT 109050 SOS 58801 HAS SOPS 58801 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15654.801
AT ITER 3880 NEW BEST:: SOT 109043 SOS 58773 HAS SOPS 58773 HAS SOUS 15583 HAS SOUPS 15583 WITH SCORE 15641.773
AT ITER 3882 NEW BEST:: SOT 109039 SOS 58769 HAS SOPS 58769 HAS SOUS 15567 HAS SOUPS 15567 WITH SCORE 15625.769
AT ITER 3883 NEW BEST:: SOT 108966 SOS 58663 HAS SOPS 58663 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15552.663
AT ITER 3896 NEW BEST:: SOT 108733 SOS 58462 HAS SOPS 58462 HAS SOUS 15480 HAS SOUPS 15480 WITH SCORE 15538.462
AT ITER 3941 NEW BEST:: SOT 108712 SOS 58592 HAS SOPS 58592 HAS SOUS 15459 HAS SOUPS 15459 WITH SCORE 15517.592
AT ITER 3955 NEW BEST:: SOT 108684 SOS 58634 HAS SOPS 58634 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15514.634
AT ITER 3972 NEW BEST:: SOT 108650 SOS 58575 HAS SOPS 58575 HAS SOUS 15429 HAS SOUPS 15429 WITH SCORE 15487.575
AT ITER 3983 NEW BEST:: SOT 108640 SOS 58565 HAS SOPS 58565 HAS SOUS 15429 HAS SOUPS 15429 WITH SCORE 15487.565
AT ITER 3994 NEW BEST:: SOT 108614 SOS 58532 HAS SOPS 58532 HAS SOUS 15425 HAS SOUPS 15425 WITH SCORE 15483.532
AT ITER 4001 NEW BEST:: SOT 108596 SOS 58454 HAS SOPS 58454 HAS SOUS 15407 HAS SOUPS 15407 WITH SCORE 15465.454
AT ITER 4031 NEW BEST:: SOT 108592 SOS 58445 HAS SOPS 58445 HAS SOUS 15334 HAS SOUPS 15334 WITH SCORE 15392.445
AT ITER 4037 NEW BEST:: SOT 108592 SOS 58445 HAS SOPS 58445 HAS SOUS 15310 HAS SOUPS 15310 WITH SCORE 15368.445
AT ITER 4047 NEW BEST:: SOT 108493 SOS 58007 HAS SOPS 58007 HAS SOUS 15168 HAS SOUPS 15168 WITH SCORE 15226.007
AT ITER 4060 NEW BEST:: SOT 108420 SOS 57941 HAS SOPS 57941 HAS SOUS 15092 HAS SOUPS 15092 WITH SCORE 15149.941
AT ITER 4087 NEW BEST:: SOT 108394 SOS 57915 HAS SOPS 57915 HAS SOUS 15064 HAS SOUPS 15064 WITH SCORE 15121.915
AT ITER 4097 NEW BEST:: SOT 108368 SOS 57857 HAS SOPS 57857 HAS SOUS 15008 HAS SOUPS 15008 WITH SCORE 15065.857
AT ITER 4107 NEW BEST:: SOT 108303 SOS 57126 HAS SOPS 57126 HAS SOUS 14980 HAS SOUPS 14980 WITH SCORE 15037.126
AT ITER 4112 NEW BEST:: SOT 108303 SOS 57070 HAS SOPS 57070 HAS SOUS 14947 HAS SOUPS 14947 WITH SCORE 15004.07
AT ITER 4114 NEW BEST:: SOT 108300 SOS 57064 HAS SOPS 57064 HAS SOUS 14944 HAS SOUPS 14944 WITH SCORE 15001.064
AT ITER 4127 NEW BEST:: SOT 108304 SOS 57068 HAS SOPS 57068 HAS SOUS 14940 HAS SOUPS 14940 WITH SCORE 14997.068
AT ITER 4133 NEW BEST:: SOT 108304 SOS 57064 HAS SOPS 57064 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14995.064
AT ITER 4163 NEW BEST:: SOT 108308 SOS 57097 HAS SOPS 57097 HAS SOUS 14913 HAS SOUPS 14913 WITH SCORE 14970.097
AT ITER 4168 NEW BEST:: SOT 108307 SOS 57079 HAS SOPS 57079 HAS SOUS 14911 HAS SOUPS 14911 WITH SCORE 14968.079
AT ITER 4171 NEW BEST:: SOT 108297 SOS 57049 HAS SOPS 57049 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14953.049
AT ITER 4172 NEW BEST:: SOT 108294 SOS 57046 HAS SOPS 57046 HAS SOUS 14893 HAS SOUPS 14893 WITH SCORE 14950.046
AT ITER 4193 NEW BEST:: SOT 108284 SOS 57040 HAS SOPS 57040 HAS SOUS 14887 HAS SOUPS 14887 WITH SCORE 14944.04
AT ITER 4213 NEW BEST:: SOT 108267 SOS 56912 HAS SOPS 56912 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14926.912
AT ITER 4259 NEW BEST:: SOT 108265 SOS 56911 HAS SOPS 56911 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14926.911
AT ITER 4279 NEW BEST:: SOT 108240 SOS 56899 HAS SOPS 56899 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14901.899
AT ITER 4285 NEW BEST:: SOT 107984 SOS 56595 HAS SOPS 56595 HAS SOUS 14837 HAS SOUPS 14837 WITH SCORE 14893.595
AT ITER 4309 NEW BEST:: SOT 107954 SOS 56503 HAS SOPS 56503 HAS SOUS 14807 HAS SOUPS 14807 WITH SCORE 14863.503
AT ITER 4316 NEW BEST:: SOT 107937 SOS 56483 HAS SOPS 56483 HAS SOUS 14790 HAS SOUPS 14790 WITH SCORE 14846.483
AT ITER 4321 NEW BEST:: SOT 107933 SOS 56467 HAS SOPS 56467 HAS SOUS 14786 HAS SOUPS 14786 WITH SCORE 14842.467
AT ITER 4328 NEW BEST:: SOT 107877 SOS 56396 HAS SOPS 56396 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14831.396
AT ITER 4330 NEW BEST:: SOT 107837 SOS 56356 HAS SOPS 56356 HAS SOUS 14747 HAS SOUPS 14747 WITH SCORE 14803.356
AT ITER 4384 NEW BEST:: SOT 107823 SOS 56334 HAS SOPS 56334 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14789.334
AT ITER 4386 NEW BEST:: SOT 107799 SOS 56365 HAS SOPS 56365 HAS SOUS 14721 HAS SOUPS 14721 WITH SCORE 14777.365
AT ITER 4398 NEW BEST:: SOT 107789 SOS 56345 HAS SOPS 56345 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14767.345
AT ITER 4411 NEW BEST:: SOT 107708 SOS 56262 HAS SOPS 56262 HAS SOUS 14696 HAS SOUPS 14696 WITH SCORE 14752.262
AT ITER 4420 NEW BEST:: SOT 107705 SOS 56256 HAS SOPS 56256 HAS SOUS 14693 HAS SOUPS 14693 WITH SCORE 14749.256
AT ITER 4443 NEW BEST:: SOT 107696 SOS 56177 HAS SOPS 56177 HAS SOUS 14647 HAS SOUPS 14647 WITH SCORE 14703.177
AT ITER 4485 NEW BEST:: SOT 107696 SOS 56153 HAS SOPS 56153 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14687.153
AT ITER 4490 NEW BEST:: SOT 107681 SOS 56329 HAS SOPS 56329 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14681.329
AT ITER 4493 NEW BEST:: SOT 107673 SOS 56305 HAS SOPS 56305 HAS SOUS 14557 HAS SOUPS 14557 WITH SCORE 14613.305
AT ITER 4507 NEW BEST:: SOT 107659 SOS 56055 HAS SOPS 56055 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14599.055
AT ITER 4532 NEW BEST:: SOT 107577 SOS 55973 HAS SOPS 55973 HAS SOUS 14527 HAS SOUPS 14527 WITH SCORE 14582.973
AT ITER 4558 NEW BEST:: SOT 107575 SOS 55925 HAS SOPS 55925 HAS SOUS 14520 HAS SOUPS 14520 WITH SCORE 14575.925
AT ITER 4588 NEW BEST:: SOT 107432 SOS 55672 HAS SOPS 55672 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14475.672
AT ITER 4590 NEW BEST:: SOT 107414 SOS 55650 HAS SOPS 55650 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14441.65
AT ITER 4605 NEW BEST:: SOT 107415 SOS 55647 HAS SOPS 55647 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14437.647
AT ITER 4640 NEW BEST:: SOT 107401 SOS 55633 HAS SOPS 55633 HAS SOUS 14368 HAS SOUPS 14368 WITH SCORE 14423.633
AT ITER 4645 NEW BEST:: SOT 107372 SOS 56146 HAS SOPS 56146 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14420.146
AT ITER 4653 NEW BEST:: SOT 107373 SOS 56135 HAS SOPS 56135 HAS SOUS 14358 HAS SOUPS 14358 WITH SCORE 14414.135
AT ITER 4674 NEW BEST:: SOT 107375 SOS 56139 HAS SOPS 56139 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14413.139
AT ITER 4691 NEW BEST:: SOT 107363 SOS 56092 HAS SOPS 56092 HAS SOUS 14338 HAS SOUPS 14338 WITH SCORE 14394.092
AT ITER 4696 NEW BEST:: SOT 107361 SOS 56060 HAS SOPS 56060 HAS SOUS 14336 HAS SOUPS 14336 WITH SCORE 14392.06
AT ITER 4706 NEW BEST:: SOT 107358 SOS 56057 HAS SOPS 56057 HAS SOUS 14333 HAS SOUPS 14333 WITH SCORE 14389.057
AT ITER 4744 NEW BEST:: SOT 107356 SOS 56014 HAS SOPS 56014 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14384.014
AT ITER 4757 NEW BEST:: SOT 107356 SOS 56042 HAS SOPS 56042 HAS SOUS 14326 HAS SOUPS 14326 WITH SCORE 14382.042
AT ITER 4777 NEW BEST:: SOT 107352 SOS 56013 HAS SOPS 56013 HAS SOUS 14324 HAS SOUPS 14324 WITH SCORE 14380.013
AT ITER 4781 NEW BEST:: SOT 107349 SOS 56007 HAS SOPS 56007 HAS SOUS 14324 HAS SOUPS 14324 WITH SCORE 14380.007
AT ITER 4790 NEW BEST:: SOT 107347 SOS 56013 HAS SOPS 56013 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14376.013
AT ITER 4800 NEW BEST:: SOT 107316 SOS 55977 HAS SOPS 55977 HAS SOUS 14289 HAS SOUPS 14289 WITH SCORE 14344.977
AT ITER 4808 NEW BEST:: SOT 107289 SOS 55950 HAS SOPS 55950 HAS SOUS 14289 HAS SOUPS 14289 WITH SCORE 14344.95
AT ITER 4828 NEW BEST:: SOT 107286 SOS 55947 HAS SOPS 55947 HAS SOUS 14259 HAS SOUPS 14259 WITH SCORE 14314.947
AT ITER 4837 NEW BEST:: SOT 107281 SOS 56077 HAS SOPS 56077 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14310.077
AT ITER 4843 NEW BEST:: SOT 107277 SOS 56069 HAS SOPS 56069 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14300.069
AT ITER 4867 NEW BEST:: SOT 107314 SOS 56106 HAS SOPS 56106 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14282.106
AT ITER 4883 NEW BEST:: SOT 107268 SOS 56060 HAS SOPS 56060 HAS SOUS 14167 HAS SOUPS 14167 WITH SCORE 14223.06
AT ITER 4892 NEW BEST:: SOT 107242 SOS 56029 HAS SOPS 56029 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14217.029
AT ITER 4943 NEW BEST:: SOT 107236 SOS 56029 HAS SOPS 56029 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14211.029
AT ITER 4946 NEW BEST:: SOT 107248 SOS 56017 HAS SOPS 56017 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14211.017
AT ITER 4953 NEW BEST:: SOT 107196 SOS 55861 HAS SOPS 55861 HAS SOUS 14077 HAS SOUPS 14077 WITH SCORE 14132.861
AT ITER 4959 NEW BEST:: SOT 107195 SOS 55868 HAS SOPS 55868 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14128.868
AT ITER 4969 NEW BEST:: SOT 107202 SOS 55871 HAS SOPS 55871 HAS SOUS 14066 HAS SOUPS 14066 WITH SCORE 14121.871
AT ITER 4975 NEW BEST:: SOT 107236 SOS 55894 HAS SOPS 55894 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14114.894
AT ITER 4984 NEW BEST:: SOT 107207 SOS 56201 HAS SOPS 56201 HAS SOUS 14052 HAS SOUPS 14052 WITH SCORE 14108.201
AT ITER 5011 NEW BEST:: SOT 107207 SOS 56201 HAS SOPS 56201 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14098.201
AT ITER 5015 NEW BEST:: SOT 107193 SOS 56187 HAS SOPS 56187 HAS SOUS 14028 HAS SOUPS 14028 WITH SCORE 14084.187
AT ITER 5050 NEW BEST:: SOT 107193 SOS 56192 HAS SOPS 56192 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14068.192
AT ITER 5116 NEW BEST:: SOT 107160 SOS 56159 HAS SOPS 56159 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 14035.159
AT ITER 5159 NEW BEST:: SOT 107159 SOS 56158 HAS SOPS 56158 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 14035.158
AT ITER 5163 NEW BEST:: SOT 107142 SOS 56101 HAS SOPS 56101 HAS SOUS 13962 HAS SOUPS 13962 WITH SCORE 14018.101
AT ITER 5173 NEW BEST:: SOT 107107 SOS 56031 HAS SOPS 56031 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13991.031
AT ITER 5238 NEW BEST:: SOT 107116 SOS 56040 HAS SOPS 56040 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13949.04
AT ITER 5242 NEW BEST:: SOT 107114 SOS 56014 HAS SOPS 56014 HAS SOUS 13890 HAS SOUPS 13890 WITH SCORE 13946.014
AT ITER 5245 NEW BEST:: SOT 107099 SOS 55994 HAS SOPS 55994 HAS SOUS 13880 HAS SOUPS 13880 WITH SCORE 13935.994
AT ITER 5260 NEW BEST:: SOT 107087 SOS 55978 HAS SOPS 55978 HAS SOUS 13880 HAS SOUPS 13880 WITH SCORE 13935.978
AT ITER 5281 NEW BEST:: SOT 107072 SOS 56009 HAS SOPS 56009 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13921.009
AT ITER 5298 NEW BEST:: SOT 107072 SOS 56009 HAS SOPS 56009 HAS SOUS 13845 HAS SOUPS 13845 WITH SCORE 13901.009
AT ITER 5405 NEW BEST:: SOT 107048 SOS 55973 HAS SOPS 55973 HAS SOUS 13844 HAS SOUPS 13844 WITH SCORE 13899.973
AT ITER 5427 NEW BEST:: SOT 107053 SOS 55908 HAS SOPS 55908 HAS SOUS 13805 HAS SOUPS 13805 WITH SCORE 13860.908
AT ITER 5436 NEW BEST:: SOT 107013 SOS 55594 HAS SOPS 55594 HAS SOUS 13761 HAS SOUPS 13761 WITH SCORE 13816.594
AT ITER 5453 NEW BEST:: SOT 107002 SOS 55572 HAS SOPS 55572 HAS SOUS 13739 HAS SOUPS 13739 WITH SCORE 13794.572
AT ITER 5479 NEW BEST:: SOT 106978 SOS 55548 HAS SOPS 55548 HAS SOUS 13697 HAS SOUPS 13697 WITH SCORE 13752.548
AT ITER 5481 NEW BEST:: SOT 106978 SOS 55524 HAS SOPS 55524 HAS SOUS 13694 HAS SOUPS 13694 WITH SCORE 13749.524
AT ITER 5487 NEW BEST:: SOT 106842 SOS 55438 HAS SOPS 55438 HAS SOUS 13694 HAS SOUPS 13694 WITH SCORE 13749.438
AT ITER 5538 NEW BEST:: SOT 106804 SOS 55368 HAS SOPS 55368 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13705.368
AT ITER 5550 NEW BEST:: SOT 106790 SOS 55354 HAS SOPS 55354 HAS SOUS 13629 HAS SOUPS 13629 WITH SCORE 13684.354
AT ITER 5552 NEW BEST:: SOT 106806 SOS 55400 HAS SOPS 55400 HAS SOUS 13624 HAS SOUPS 13624 WITH SCORE 13679.4
AT ITER 5584 NEW BEST:: SOT 106796 SOS 55370 HAS SOPS 55370 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13669.37
AT ITER 5597 NEW BEST:: SOT 106756 SOS 55370 HAS SOPS 55370 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13609.37
AT ITER 5629 NEW BEST:: SOT 106751 SOS 55354 HAS SOPS 55354 HAS SOUS 13547 HAS SOUPS 13547 WITH SCORE 13602.354
AT ITER 5684 NEW BEST:: SOT 106550 SOS 55621 HAS SOPS 55621 HAS SOUS 13470 HAS SOUPS 13470 WITH SCORE 13525.621
AT ITER 5731 NEW BEST:: SOT 106550 SOS 55602 HAS SOPS 55602 HAS SOUS 13451 HAS SOUPS 13451 WITH SCORE 13506.602
AT ITER 5734 NEW BEST:: SOT 106485 SOS 55502 HAS SOPS 55502 HAS SOUS 13378 HAS SOUPS 13378 WITH SCORE 13433.502
AT ITER 5765 NEW BEST:: SOT 106509 SOS 55526 HAS SOPS 55526 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13425.526
AT ITER 5778 NEW BEST:: SOT 106487 SOS 55485 HAS SOPS 55485 HAS SOUS 13367 HAS SOUPS 13367 WITH SCORE 13422.485
AT ITER 5788 NEW BEST:: SOT 106436 SOS 55451 HAS SOPS 55451 HAS SOUS 13294 HAS SOUPS 13294 WITH SCORE 13349.451
AT ITER 5815 NEW BEST:: SOT 106426 SOS 55451 HAS SOPS 55451 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13329.451
AT ITER 5849 NEW BEST:: SOT 106305 SOS 56255 HAS SOPS 56255 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13280.255
AT ITER 5881 NEW BEST:: SOT 106303 SOS 56253 HAS SOPS 56253 HAS SOUS 13222 HAS SOUPS 13222 WITH SCORE 13278.253
AT ITER 5896 NEW BEST:: SOT 106299 SOS 56257 HAS SOPS 56257 HAS SOUS 13219 HAS SOUPS 13219 WITH SCORE 13275.257
AT ITER 5908 NEW BEST:: SOT 106296 SOS 56249 HAS SOPS 56249 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13271.249
AT ITER 5928 NEW BEST:: SOT 106292 SOS 56241 HAS SOPS 56241 HAS SOUS 13211 HAS SOUPS 13211 WITH SCORE 13267.241
AT ITER 6007 NEW BEST:: SOT 106290 SOS 56237 HAS SOPS 56237 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13260.237
AT ITER 6015 NEW BEST:: SOT 106132 SOS 56820 HAS SOPS 56820 HAS SOUS 13159 HAS SOUPS 13159 WITH SCORE 13215.82
AT ITER 6019 NEW BEST:: SOT 106127 SOS 56815 HAS SOPS 56815 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13214.815
AT ITER 6028 NEW BEST:: SOT 106123 SOS 56811 HAS SOPS 56811 HAS SOUS 13155 HAS SOUPS 13155 WITH SCORE 13211.811
AT ITER 6029 NEW BEST:: SOT 106110 SOS 56749 HAS SOPS 56749 HAS SOUS 13141 HAS SOUPS 13141 WITH SCORE 13197.749
AT ITER 6049 NEW BEST:: SOT 106073 SOS 56703 HAS SOPS 56703 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13160.703
AT ITER 6065 NEW BEST:: SOT 106058 SOS 56669 HAS SOPS 56669 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13152.669
AT ITER 6089 NEW BEST:: SOT 106023 SOS 56634 HAS SOPS 56634 HAS SOUS 13089 HAS SOUPS 13089 WITH SCORE 13145.634
AT ITER 6100 NEW BEST:: SOT 105967 SOS 56522 HAS SOPS 56522 HAS SOUS 13033 HAS SOUPS 13033 WITH SCORE 13089.522
AT ITER 6102 NEW BEST:: SOT 105965 SOS 56520 HAS SOPS 56520 HAS SOUS 13031 HAS SOUPS 13031 WITH SCORE 13087.52
AT ITER 6124 NEW BEST:: SOT 105965 SOS 56524 HAS SOPS 56524 HAS SOUS 13018 HAS SOUPS 13018 WITH SCORE 13074.524
AT ITER 6146 NEW BEST:: SOT 105965 SOS 56524 HAS SOPS 56524 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13068.524
AT ITER 6160 NEW BEST:: SOT 105973 SOS 56517 HAS SOPS 56517 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13068.517
AT ITER 6201 NEW BEST:: SOT 105970 SOS 56514 HAS SOPS 56514 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13068.514
AT ITER 6245 NEW BEST:: SOT 105952 SOS 56406 HAS SOPS 56406 HAS SOUS 12994 HAS SOUPS 12994 WITH SCORE 13050.406
AT ITER 6262 NEW BEST:: SOT 105966 SOS 56420 HAS SOPS 56420 HAS SOUS 12946 HAS SOUPS 12946 WITH SCORE 13002.42
AT ITER 6338 NEW BEST:: SOT 105966 SOS 56411 HAS SOPS 56411 HAS SOUS 12937 HAS SOUPS 12937 WITH SCORE 12993.411
AT ITER 6381 NEW BEST:: SOT 105962 SOS 56403 HAS SOPS 56403 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12988.403
AT ITER 6436 NEW BEST:: SOT 105940 SOS 56341 HAS SOPS 56341 HAS SOUS 12921 HAS SOUPS 12921 WITH SCORE 12977.341
AT ITER 6441 NEW BEST:: SOT 105940 SOS 56341 HAS SOPS 56341 HAS SOUS 12909 HAS SOUPS 12909 WITH SCORE 12965.341
AT ITER 6569 NEW BEST:: SOT 105940 SOS 56341 HAS SOPS 56341 HAS SOUS 12899 HAS SOUPS 12899 WITH SCORE 12955.341
AT ITER 6585 NEW BEST:: SOT 105939 SOS 56332 HAS SOPS 56332 HAS SOUS 12899 HAS SOUPS 12899 WITH SCORE 12955.332
AT ITER 6601 NEW BEST:: SOT 105907 SOS 56260 HAS SOPS 56260 HAS SOUS 12883 HAS SOUPS 12883 WITH SCORE 12939.26
AT ITER 6610 NEW BEST:: SOT 105885 SOS 56256 HAS SOPS 56256 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12931.256
AT ITER 6614 NEW BEST:: SOT 105883 SOS 56257 HAS SOPS 56257 HAS SOUS 12873 HAS SOUPS 12873 WITH SCORE 12929.257
AT ITER 6668 NEW BEST:: SOT 105849 SOS 56192 HAS SOPS 56192 HAS SOUS 12846 HAS SOUPS 12846 WITH SCORE 12902.192
AT ITER 6675 NEW BEST:: SOT 105804 SOS 55963 HAS SOPS 55963 HAS SOUS 12840 HAS SOUPS 12840 WITH SCORE 12895.963
AT ITER 6695 NEW BEST:: SOT 105755 SOS 55914 HAS SOPS 55914 HAS SOUS 12830 HAS SOUPS 12830 WITH SCORE 12885.914
AT ITER 6716 NEW BEST:: SOT 105755 SOS 55917 HAS SOPS 55917 HAS SOUS 12829 HAS SOUPS 12829 WITH SCORE 12884.917
AT ITER 6723 NEW BEST:: SOT 105719 SOS 55881 HAS SOPS 55881 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12872.881
AT ITER 6739 NEW BEST:: SOT 105733 SOS 55872 HAS SOPS 55872 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12836.872
AT ITER 6743 NEW BEST:: SOT 105735 SOS 55874 HAS SOPS 55874 HAS SOUS 12765 HAS SOUPS 12765 WITH SCORE 12820.874
AT ITER 6761 NEW BEST:: SOT 105735 SOS 55874 HAS SOPS 55874 HAS SOUS 12762 HAS SOUPS 12762 WITH SCORE 12817.874
AT ITER 6770 NEW BEST:: SOT 105678 SOS 55789 HAS SOPS 55789 HAS SOUS 12708 HAS SOUPS 12708 WITH SCORE 12763.789
AT ITER 6802 NEW BEST:: SOT 105665 SOS 55750 HAS SOPS 55750 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12750.75
AT ITER 6841 NEW BEST:: SOT 105644 SOS 55686 HAS SOPS 55686 HAS SOUS 12668 HAS SOUPS 12668 WITH SCORE 12723.686
AT ITER 6848 NEW BEST:: SOT 105644 SOS 55680 HAS SOPS 55680 HAS SOUS 12667 HAS SOUPS 12667 WITH SCORE 12722.68
AT ITER 6878 NEW BEST:: SOT 105624 SOS 55660 HAS SOPS 55660 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12720.66
AT ITER 6915 NEW BEST:: SOT 105623 SOS 55661 HAS SOPS 55661 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12718.661
AT ITER 6929 NEW BEST:: SOT 105618 SOS 55656 HAS SOPS 55656 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12699.656
AT ITER 7004 NEW BEST:: SOT 105606 SOS 55689 HAS SOPS 55689 HAS SOUS 12632 HAS SOUPS 12632 WITH SCORE 12687.689
AT ITER 7082 NEW BEST:: SOT 105636 SOS 55735 HAS SOPS 55735 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12664.735
AT ITER 7134 NEW BEST:: SOT 105629 SOS 55710 HAS SOPS 55710 HAS SOUS 12605 HAS SOUPS 12605 WITH SCORE 12660.71
AT ITER 7137 NEW BEST:: SOT 105626 SOS 55707 HAS SOPS 55707 HAS SOUS 12586 HAS SOUPS 12586 WITH SCORE 12641.707
AT ITER 7160 NEW BEST:: SOT 105623 SOS 55698 HAS SOPS 55698 HAS SOUS 12586 HAS SOUPS 12586 WITH SCORE 12641.698
AT ITER 7214 NEW BEST:: SOT 105624 SOS 55713 HAS SOPS 55713 HAS SOUS 12575 HAS SOUPS 12575 WITH SCORE 12630.713
AT ITER 7220 NEW BEST:: SOT 105595 SOS 55572 HAS SOPS 55572 HAS SOUS 12545 HAS SOUPS 12545 WITH SCORE 12600.572
AT ITER 7256 NEW BEST:: SOT 105595 SOS 55536 HAS SOPS 55536 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12567.536
AT ITER 7284 NEW BEST:: SOT 105610 SOS 55572 HAS SOPS 55572 HAS SOUS 12509 HAS SOUPS 12509 WITH SCORE 12564.572
AT ITER 7336 NEW BEST:: SOT 105603 SOS 55565 HAS SOPS 55565 HAS SOUS 12503 HAS SOUPS 12503 WITH SCORE 12558.565
AT ITER 7337 NEW BEST:: SOT 105591 SOS 55551 HAS SOPS 55551 HAS SOUS 12483 HAS SOUPS 12483 WITH SCORE 12538.551
AT ITER 7356 NEW BEST:: SOT 105578 SOS 55532 HAS SOPS 55532 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12535.532
AT ITER 7360 NEW BEST:: SOT 105575 SOS 55530 HAS SOPS 55530 HAS SOUS 12474 HAS SOUPS 12474 WITH SCORE 12529.53
AT ITER 7409 NEW BEST:: SOT 105575 SOS 55506 HAS SOPS 55506 HAS SOUS 12462 HAS SOUPS 12462 WITH SCORE 12517.506
AT ITER 7422 NEW BEST:: SOT 105539 SOS 55470 HAS SOPS 55470 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12515.47
AT ITER 7434 NEW BEST:: SOT 105538 SOS 55458 HAS SOPS 55458 HAS SOUS 12453 HAS SOUPS 12453 WITH SCORE 12508.458
AT ITER 7459 NEW BEST:: SOT 105535 SOS 55463 HAS SOPS 55463 HAS SOUS 12434 HAS SOUPS 12434 WITH SCORE 12489.463
AT ITER 7460 NEW BEST:: SOT 105514 SOS 55444 HAS SOPS 55444 HAS SOUS 12398 HAS SOUPS 12398 WITH SCORE 12453.444
AT ITER 7527 NEW BEST:: SOT 105514 SOS 55452 HAS SOPS 55452 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12441.452
AT ITER 7543 NEW BEST:: SOT 105514 SOS 55456 HAS SOPS 55456 HAS SOUS 12383 HAS SOUPS 12383 WITH SCORE 12438.456
AT ITER 7591 NEW BEST:: SOT 105525 SOS 55472 HAS SOPS 55472 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12436.472
AT ITER 7608 NEW BEST:: SOT 105511 SOS 55458 HAS SOPS 55458 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12415.458
AT ITER 7650 NEW BEST:: SOT 105512 SOS 55455 HAS SOPS 55455 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12414.455
AT ITER 7663 NEW BEST:: SOT 105386 SOS 54841 HAS SOPS 54841 HAS SOUS 12289 HAS SOUPS 12289 WITH SCORE 12343.841
AT ITER 7698 NEW BEST:: SOT 105383 SOS 54837 HAS SOPS 54837 HAS SOUS 12285 HAS SOUPS 12285 WITH SCORE 12339.837
AT ITER 7714 NEW BEST:: SOT 105383 SOS 54828 HAS SOPS 54828 HAS SOUS 12285 HAS SOUPS 12285 WITH SCORE 12339.828
AT ITER 7746 NEW BEST:: SOT 105382 SOS 54826 HAS SOPS 54826 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12338.826
AT ITER 7795 NEW BEST:: SOT 105380 SOS 54822 HAS SOPS 54822 HAS SOUS 12282 HAS SOUPS 12282 WITH SCORE 12336.822
AT ITER 7820 NEW BEST:: SOT 105372 SOS 54798 HAS SOPS 54798 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12328.798
AT ITER 7892 NEW BEST:: SOT 105375 SOS 54801 HAS SOPS 54801 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12325.801
AT ITER 7923 NEW BEST:: SOT 105386 SOS 54790 HAS SOPS 54790 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12325.79
AT ITER 7924 NEW BEST:: SOT 105380 SOS 54784 HAS SOPS 54784 HAS SOUS 12263 HAS SOUPS 12263 WITH SCORE 12317.784
AT ITER 7930 NEW BEST:: SOT 105376 SOS 54776 HAS SOPS 54776 HAS SOUS 12259 HAS SOUPS 12259 WITH SCORE 12313.776
AT ITER 7931 NEW BEST:: SOT 105279 SOS 54599 HAS SOPS 54599 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12219.599
AT ITER 7970 NEW BEST:: SOT 105270 SOS 54587 HAS SOPS 54587 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12210.587
AT ITER 7972 NEW BEST:: SOT 105274 SOS 54579 HAS SOPS 54579 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12210.579
AT ITER 7974 NEW BEST:: SOT 105291 SOS 54570 HAS SOPS 54570 HAS SOUS 12144 HAS SOUPS 12144 WITH SCORE 12198.57
AT ITER 8013 NEW BEST:: SOT 105287 SOS 54583 HAS SOPS 54583 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12193.583
AT ITER 8031 NEW BEST:: SOT 105269 SOS 54565 HAS SOPS 54565 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12171.565
AT ITER 8088 NEW BEST:: SOT 105262 SOS 54522 HAS SOPS 54522 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12151.522
AT ITER 8113 NEW BEST:: SOT 105255 SOS 54508 HAS SOPS 54508 HAS SOUS 12090 HAS SOUPS 12090 WITH SCORE 12144.508
AT ITER 8167 NEW BEST:: SOT 105255 SOS 54497 HAS SOPS 54497 HAS SOUS 12090 HAS SOUPS 12090 WITH SCORE 12144.497
AT ITER 8169 NEW BEST:: SOT 105247 SOS 54473 HAS SOPS 54473 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12136.473
AT ITER 8213 NEW BEST:: SOT 105244 SOS 54467 HAS SOPS 54467 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12135.467
AT ITER 8215 NEW BEST:: SOT 105242 SOS 54463 HAS SOPS 54463 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12131.463
AT ITER 8242 NEW BEST:: SOT 105201 SOS 54410 HAS SOPS 54410 HAS SOUS 12030 HAS SOUPS 12030 WITH SCORE 12084.41
AT ITER 8260 NEW BEST:: SOT 105218 SOS 54427 HAS SOPS 54427 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12060.427
AT ITER 8273 NEW BEST:: SOT 105213 SOS 54419 HAS SOPS 54419 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12060.419
AT ITER 8299 NEW BEST:: SOT 105212 SOS 54498 HAS SOPS 54498 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12053.498
AT ITER 8309 NEW BEST:: SOT 105202 SOS 54488 HAS SOPS 54488 HAS SOUS 11983 HAS SOUPS 11983 WITH SCORE 12037.488
AT ITER 8353 NEW BEST:: SOT 105191 SOS 54482 HAS SOPS 54482 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 12034.482
AT ITER 8422 NEW BEST:: SOT 105187 SOS 54478 HAS SOPS 54478 HAS SOUS 11976 HAS SOUPS 11976 WITH SCORE 12030.478
AT ITER 8425 NEW BEST:: SOT 105184 SOS 54472 HAS SOPS 54472 HAS SOUS 11973 HAS SOUPS 11973 WITH SCORE 12027.472
AT ITER 8446 NEW BEST:: SOT 105183 SOS 54450 HAS SOPS 54450 HAS SOUS 11951 HAS SOUPS 11951 WITH SCORE 12005.45
AT ITER 8511 NEW BEST:: SOT 105176 SOS 54438 HAS SOPS 54438 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11989.438
AT ITER 8512 NEW BEST:: SOT 105155 SOS 54396 HAS SOPS 54396 HAS SOUS 11923 HAS SOUPS 11923 WITH SCORE 11977.396
AT ITER 8528 NEW BEST:: SOT 105153 SOS 54391 HAS SOPS 54391 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11975.391
AT ITER 8578 NEW BEST:: SOT 105120 SOS 54330 HAS SOPS 54330 HAS SOUS 11897 HAS SOUPS 11897 WITH SCORE 11951.33
AT ITER 8579 NEW BEST:: SOT 105119 SOS 54328 HAS SOPS 54328 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11950.328
AT ITER 8606 NEW BEST:: SOT 105106 SOS 54315 HAS SOPS 54315 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11937.315
AT ITER 8629 NEW BEST:: SOT 105108 SOS 54319 HAS SOPS 54319 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11931.319
AT ITER 8653 NEW BEST:: SOT 105094 SOS 54291 HAS SOPS 54291 HAS SOUS 11863 HAS SOUPS 11863 WITH SCORE 11917.291
AT ITER 8711 NEW BEST:: SOT 105094 SOS 54279 HAS SOPS 54279 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11911.279
AT ITER 8858 NEW BEST:: SOT 105094 SOS 54264 HAS SOPS 54264 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11911.264
AT ITER 8886 NEW BEST:: SOT 105075 SOS 54245 HAS SOPS 54245 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11901.245
AT ITER 8896 NEW BEST:: SOT 105078 SOS 54255 HAS SOPS 54255 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11900.255
AT ITER 8935 NEW BEST:: SOT 105073 SOS 54263 HAS SOPS 54263 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11890.263
AT ITER 8943 NEW BEST:: SOT 105082 SOS 54272 HAS SOPS 54272 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11879.272
AT ITER 8962 NEW BEST:: SOT 105077 SOS 54266 HAS SOPS 54266 HAS SOUS 11820 HAS SOUPS 11820 WITH SCORE 11874.266
AT ITER 9051 NEW BEST:: SOT 105041 SOS 54215 HAS SOPS 54215 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11853.215
AT ITER 9083 NEW BEST:: SOT 105041 SOS 54139 HAS SOPS 54139 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11853.139
AT ITER 9094 NEW BEST:: SOT 105041 SOS 54135 HAS SOPS 54135 HAS SOUS 11797 HAS SOUPS 11797 WITH SCORE 11851.135
AT ITER 9126 NEW BEST:: SOT 105026 SOS 54109 HAS SOPS 54109 HAS SOUS 11781 HAS SOUPS 11781 WITH SCORE 11835.109
AT ITER 9202 NEW BEST:: SOT 105014 SOS 54055 HAS SOPS 54055 HAS SOUS 11752 HAS SOUPS 11752 WITH SCORE 11806.055
AT ITER 9226 NEW BEST:: SOT 104983 SOS 54002 HAS SOPS 54002 HAS SOUS 11721 HAS SOUPS 11721 WITH SCORE 11775.002
AT ITER 9248 NEW BEST:: SOT 104966 SOS 53984 HAS SOPS 53984 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11773.984
AT ITER 9256 NEW BEST:: SOT 104937 SOS 53844 HAS SOPS 53844 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11747.844
AT ITER 9274 NEW BEST:: SOT 104913 SOS 53820 HAS SOPS 53820 HAS SOUS 11667 HAS SOUPS 11667 WITH SCORE 11720.82
AT ITER 9288 NEW BEST:: SOT 104903 SOS 53800 HAS SOPS 53800 HAS SOUS 11652 HAS SOUPS 11652 WITH SCORE 11705.8
AT ITER 9298 NEW BEST:: SOT 104888 SOS 53770 HAS SOPS 53770 HAS SOUS 11649 HAS SOUPS 11649 WITH SCORE 11702.77
AT ITER 9314 NEW BEST:: SOT 104887 SOS 53766 HAS SOPS 53766 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11699.766
AT ITER 9332 NEW BEST:: SOT 104877 SOS 53756 HAS SOPS 53756 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11699.756
AT ITER 9378 NEW BEST:: SOT 104881 SOS 53760 HAS SOPS 53760 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11693.76
AT ITER 9398 NEW BEST:: SOT 104875 SOS 53760 HAS SOPS 53760 HAS SOUS 11637 HAS SOUPS 11637 WITH SCORE 11690.76
AT ITER 9405 NEW BEST:: SOT 104860 SOS 53745 HAS SOPS 53745 HAS SOUS 11637 HAS SOUPS 11637 WITH SCORE 11690.745
AT ITER 9407 NEW BEST:: SOT 104860 SOS 53733 HAS SOPS 53733 HAS SOUS 11637 HAS SOUPS 11637 WITH SCORE 11690.733
AT ITER 9440 NEW BEST:: SOT 104859 SOS 53733 HAS SOPS 53733 HAS SOUS 11636 HAS SOUPS 11636 WITH SCORE 11689.733
AT ITER 9479 NEW BEST:: SOT 104852 SOS 53727 HAS SOPS 53727 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11679.727
AT ITER 9546 NEW BEST:: SOT 104849 SOS 53771 HAS SOPS 53771 HAS SOUS 11623 HAS SOUPS 11623 WITH SCORE 11676.771
AT ITER 9554 NEW BEST:: SOT 104811 SOS 53718 HAS SOPS 53718 HAS SOUS 11585 HAS SOUPS 11585 WITH SCORE 11638.718
AT ITER 9565 NEW BEST:: SOT 104807 SOS 53712 HAS SOPS 53712 HAS SOUS 11579 HAS SOUPS 11579 WITH SCORE 11632.712
AT ITER 9583 NEW BEST:: SOT 104773 SOS 53678 HAS SOPS 53678 HAS SOUS 11565 HAS SOUPS 11565 WITH SCORE 11618.678
AT ITER 9639 NEW BEST:: SOT 104770 SOS 53672 HAS SOPS 53672 HAS SOUS 11565 HAS SOUPS 11565 WITH SCORE 11618.672
AT ITER 9687 NEW BEST:: SOT 104770 SOS 53596 HAS SOPS 53596 HAS SOUS 11565 HAS SOUPS 11565 WITH SCORE 11618.596
AT ITER 9703 NEW BEST:: SOT 104773 SOS 53524 HAS SOPS 53524 HAS SOUS 11545 HAS SOUPS 11545 WITH SCORE 11598.524
AT ITER 9709 NEW BEST:: SOT 104755 SOS 53944 HAS SOPS 53944 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11597.944
AT ITER 9713 NEW BEST:: SOT 104749 SOS 53938 HAS SOPS 53938 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11597.938
AT ITER 9716 NEW BEST:: SOT 104733 SOS 53914 HAS SOPS 53914 HAS SOUS 11542 HAS SOUPS 11542 WITH SCORE 11595.914
AT ITER 9831 NEW BEST:: SOT 104732 SOS 53912 HAS SOPS 53912 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11594.912
AT ITER 9847 NEW BEST:: SOT 104740 SOS 53920 HAS SOPS 53920 HAS SOUS 11533 HAS SOUPS 11533 WITH SCORE 11586.92

BK_STOP 1679310922823

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}

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-Z4T4N08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is UtilityControlRoom-COL-Z4T4N08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711301080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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