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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 8.3K Feb 26 17:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 17:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 17:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 17:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 17:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 17:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 26 17:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.7K 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 1679145400632

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=Referendum-COL-0100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 13:16:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 13:16:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 13:16:42] [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-18 13:16:42] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 13:16:43] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 454 ms
[2023-03-18 13:16:43] [INFO ] Imported 4 HL places and 3 HL transitions for a total of 301 PT places and 201.0 transition bindings in 15 ms.
[2023-03-18 13:16:43] [INFO ] Unfolded HLPN to a Petri net with 301 places and 201 transitions 501 arcs in 14 ms.
[2023-03-18 13:16:43] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 13:16:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 301 places, 201 transitions and 501 arcs took 7 ms.
Total runtime 584 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Referendum (COL), instance 0100
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: 301 places, 201 transitions, 501 arcs.
AT ITER 0 NEW BEST:: SOT 50005 SOS 29707 HAS SOPS 29707 HAS SOUS 29707 HAS SOUPS 29707 WITH SCORE 29736.707
AT ITER 1 NEW BEST:: SOT 49912 SOS 29582 HAS SOPS 29582 HAS SOUS 29582 HAS SOUPS 29582 WITH SCORE 29611.582
AT ITER 3 NEW BEST:: SOT 49915 SOS 29482 HAS SOPS 29482 HAS SOUS 29482 HAS SOUPS 29482 WITH SCORE 29511.482
AT ITER 5 NEW BEST:: SOT 49709 SOS 29235 HAS SOPS 29235 HAS SOUS 29235 HAS SOUPS 29235 WITH SCORE 29264.235
AT ITER 8 NEW BEST:: SOT 49502 SOS 28990 HAS SOPS 28990 HAS SOUS 28990 HAS SOUPS 28990 WITH SCORE 29018.99
AT ITER 10 NEW BEST:: SOT 49336 SOS 28741 HAS SOPS 28741 HAS SOUS 28741 HAS SOUPS 28741 WITH SCORE 28769.741
AT ITER 11 NEW BEST:: SOT 49148 SOS 28459 HAS SOPS 28459 HAS SOUS 28459 HAS SOUPS 28459 WITH SCORE 28487.459
AT ITER 14 NEW BEST:: SOT 48865 SOS 28158 HAS SOPS 28158 HAS SOUS 28131 HAS SOUPS 28131 WITH SCORE 28159.158
AT ITER 16 NEW BEST:: SOT 48761 SOS 28127 HAS SOPS 28127 HAS SOUS 28001 HAS SOUPS 28001 WITH SCORE 28029.127
AT ITER 17 NEW BEST:: SOT 48625 SOS 27923 HAS SOPS 27923 HAS SOUS 27797 HAS SOUPS 27797 WITH SCORE 27824.923
AT ITER 19 NEW BEST:: SOT 48596 SOS 27865 HAS SOPS 27865 HAS SOUS 27739 HAS SOUPS 27739 WITH SCORE 27766.865
AT ITER 24 NEW BEST:: SOT 48534 SOS 27772 HAS SOPS 27772 HAS SOUS 27646 HAS SOUPS 27646 WITH SCORE 27673.772
AT ITER 25 NEW BEST:: SOT 48334 SOS 27493 HAS SOPS 27493 HAS SOUS 27367 HAS SOUPS 27367 WITH SCORE 27394.493
AT ITER 28 NEW BEST:: SOT 48135 SOS 27211 HAS SOPS 27211 HAS SOUS 27085 HAS SOUPS 27085 WITH SCORE 27112.211
AT ITER 29 NEW BEST:: SOT 48044 SOS 27145 HAS SOPS 27145 HAS SOUS 27007 HAS SOUPS 27007 WITH SCORE 27034.145
AT ITER 30 NEW BEST:: SOT 47915 SOS 27009 HAS SOPS 27009 HAS SOUS 26871 HAS SOUPS 26871 WITH SCORE 26898.009
AT ITER 31 NEW BEST:: SOT 47783 SOS 26811 HAS SOPS 26811 HAS SOUS 26673 HAS SOUPS 26673 WITH SCORE 26699.811
AT ITER 34 NEW BEST:: SOT 47657 SOS 26622 HAS SOPS 26622 HAS SOUS 26484 HAS SOUPS 26484 WITH SCORE 26510.622
AT ITER 36 NEW BEST:: SOT 47457 SOS 26462 HAS SOPS 26462 HAS SOUS 26324 HAS SOUPS 26324 WITH SCORE 26350.462
AT ITER 37 NEW BEST:: SOT 47285 SOS 26211 HAS SOPS 26211 HAS SOUS 26073 HAS SOUPS 26073 WITH SCORE 26099.211
AT ITER 38 NEW BEST:: SOT 47277 SOS 26195 HAS SOPS 26195 HAS SOUS 26057 HAS SOUPS 26057 WITH SCORE 26083.195
AT ITER 39 NEW BEST:: SOT 47106 SOS 25984 HAS SOPS 25984 HAS SOUS 25846 HAS SOUPS 25846 WITH SCORE 25871.984
AT ITER 41 NEW BEST:: SOT 47046 SOS 25864 HAS SOPS 25864 HAS SOUS 25726 HAS SOUPS 25726 WITH SCORE 25751.864
AT ITER 49 NEW BEST:: SOT 46838 SOS 25587 HAS SOPS 25587 HAS SOUS 25449 HAS SOUPS 25449 WITH SCORE 25474.587
AT ITER 53 NEW BEST:: SOT 46575 SOS 25224 HAS SOPS 25224 HAS SOUS 25086 HAS SOUPS 25086 WITH SCORE 25111.224
AT ITER 54 NEW BEST:: SOT 46342 SOS 24917 HAS SOPS 24917 HAS SOUS 24764 HAS SOUPS 24764 WITH SCORE 24788.917
AT ITER 56 NEW BEST:: SOT 46235 SOS 24903 HAS SOPS 24903 HAS SOUS 24750 HAS SOUPS 24750 WITH SCORE 24774.903
AT ITER 57 NEW BEST:: SOT 46195 SOS 24893 HAS SOPS 24893 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24734.893
AT ITER 58 NEW BEST:: SOT 46013 SOS 24620 HAS SOPS 24620 HAS SOUS 24437 HAS SOUPS 24437 WITH SCORE 24461.62
AT ITER 59 NEW BEST:: SOT 45728 SOS 24276 HAS SOPS 24276 HAS SOUS 24071 HAS SOUPS 24071 WITH SCORE 24095.276
AT ITER 62 NEW BEST:: SOT 45552 SOS 24012 HAS SOPS 24012 HAS SOUS 23807 HAS SOUPS 23807 WITH SCORE 23831.012
AT ITER 64 NEW BEST:: SOT 45507 SOS 23967 HAS SOPS 23967 HAS SOUS 23762 HAS SOUPS 23762 WITH SCORE 23785.967
AT ITER 65 NEW BEST:: SOT 45416 SOS 23899 HAS SOPS 23899 HAS SOUS 23683 HAS SOUPS 23683 WITH SCORE 23706.899
AT ITER 68 NEW BEST:: SOT 45196 SOS 23595 HAS SOPS 23595 HAS SOUS 23379 HAS SOUPS 23379 WITH SCORE 23402.595
AT ITER 69 NEW BEST:: SOT 45091 SOS 23385 HAS SOPS 23385 HAS SOUS 23169 HAS SOUPS 23169 WITH SCORE 23192.385
AT ITER 73 NEW BEST:: SOT 45069 SOS 23352 HAS SOPS 23352 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23159.352
AT ITER 75 NEW BEST:: SOT 44789 SOS 22971 HAS SOPS 22971 HAS SOUS 22755 HAS SOUPS 22755 WITH SCORE 22777.971
AT ITER 78 NEW BEST:: SOT 44620 SOS 22888 HAS SOPS 22888 HAS SOUS 22643 HAS SOUPS 22643 WITH SCORE 22665.888
AT ITER 79 NEW BEST:: SOT 44615 SOS 22878 HAS SOPS 22878 HAS SOUS 22633 HAS SOUPS 22633 WITH SCORE 22655.878
AT ITER 80 NEW BEST:: SOT 44405 SOS 22724 HAS SOPS 22724 HAS SOUS 22401 HAS SOUPS 22401 WITH SCORE 22423.724
AT ITER 83 NEW BEST:: SOT 44303 SOS 22520 HAS SOPS 22520 HAS SOUS 22248 HAS SOUPS 22248 WITH SCORE 22270.52
AT ITER 84 NEW BEST:: SOT 44213 SOS 22340 HAS SOPS 22340 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22090.34
AT ITER 85 NEW BEST:: SOT 44191 SOS 22355 HAS SOPS 22355 HAS SOUS 22046 HAS SOUPS 22046 WITH SCORE 22068.355
AT ITER 86 NEW BEST:: SOT 44137 SOS 22247 HAS SOPS 22247 HAS SOUS 21890 HAS SOUPS 21890 WITH SCORE 21912.247
AT ITER 87 NEW BEST:: SOT 44059 SOS 22091 HAS SOPS 22091 HAS SOUS 21734 HAS SOUPS 21734 WITH SCORE 21756.091
AT ITER 89 NEW BEST:: SOT 44022 SOS 22108 HAS SOPS 22108 HAS SOUS 21697 HAS SOUPS 21697 WITH SCORE 21719.108
AT ITER 92 NEW BEST:: SOT 43849 SOS 21988 HAS SOPS 21988 HAS SOUS 21552 HAS SOUPS 21552 WITH SCORE 21573.988
AT ITER 93 NEW BEST:: SOT 43755 SOS 21847 HAS SOPS 21847 HAS SOUS 21411 HAS SOUPS 21411 WITH SCORE 21432.847
AT ITER 95 NEW BEST:: SOT 43613 SOS 21634 HAS SOPS 21634 HAS SOUS 21198 HAS SOUPS 21198 WITH SCORE 21219.634
AT ITER 98 NEW BEST:: SOT 43529 SOS 21569 HAS SOPS 21569 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21135.569
AT ITER 102 NEW BEST:: SOT 43529 SOS 21569 HAS SOPS 21569 HAS SOUS 21028 HAS SOUPS 21028 WITH SCORE 21049.569
AT ITER 104 NEW BEST:: SOT 43378 SOS 21535 HAS SOPS 21535 HAS SOUS 20931 HAS SOUPS 20931 WITH SCORE 20952.535
AT ITER 105 NEW BEST:: SOT 43348 SOS 21505 HAS SOPS 21505 HAS SOUS 20901 HAS SOUPS 20901 WITH SCORE 20922.505
AT ITER 106 NEW BEST:: SOT 43312 SOS 21451 HAS SOPS 21451 HAS SOUS 20847 HAS SOUPS 20847 WITH SCORE 20868.451
AT ITER 107 NEW BEST:: SOT 43074 SOS 21190 HAS SOPS 21190 HAS SOUS 20577 HAS SOUPS 20577 WITH SCORE 20598.19
AT ITER 110 NEW BEST:: SOT 43067 SOS 21176 HAS SOPS 21176 HAS SOUS 20563 HAS SOUPS 20563 WITH SCORE 20584.176
AT ITER 112 NEW BEST:: SOT 43024 SOS 21090 HAS SOPS 21090 HAS SOUS 20520 HAS SOUPS 20520 WITH SCORE 20541.09
AT ITER 115 NEW BEST:: SOT 42914 SOS 20870 HAS SOPS 20870 HAS SOUS 20410 HAS SOUPS 20410 WITH SCORE 20430.87
AT ITER 117 NEW BEST:: SOT 42717 SOS 20658 HAS SOPS 20658 HAS SOUS 20164 HAS SOUPS 20164 WITH SCORE 20184.658
AT ITER 119 NEW BEST:: SOT 42532 SOS 20467 HAS SOPS 20467 HAS SOUS 19973 HAS SOUPS 19973 WITH SCORE 19993.467
AT ITER 121 NEW BEST:: SOT 42521 SOS 20456 HAS SOPS 20456 HAS SOUS 19962 HAS SOUPS 19962 WITH SCORE 19982.456
AT ITER 122 NEW BEST:: SOT 42317 SOS 20191 HAS SOPS 20191 HAS SOUS 19694 HAS SOUPS 19694 WITH SCORE 19714.191
AT ITER 124 NEW BEST:: SOT 42103 SOS 19971 HAS SOPS 19971 HAS SOUS 19469 HAS SOUPS 19469 WITH SCORE 19488.971
AT ITER 125 NEW BEST:: SOT 42051 SOS 19919 HAS SOPS 19919 HAS SOUS 19417 HAS SOUPS 19417 WITH SCORE 19436.919
AT ITER 127 NEW BEST:: SOT 42031 SOS 19879 HAS SOPS 19879 HAS SOUS 19392 HAS SOUPS 19392 WITH SCORE 19411.879
AT ITER 129 NEW BEST:: SOT 41804 SOS 19607 HAS SOPS 19607 HAS SOUS 19120 HAS SOUPS 19120 WITH SCORE 19139.607
AT ITER 132 NEW BEST:: SOT 41774 SOS 19570 HAS SOPS 19570 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19102.57
AT ITER 133 NEW BEST:: SOT 41699 SOS 19420 HAS SOPS 19420 HAS SOUS 19008 HAS SOUPS 19008 WITH SCORE 19027.42
AT ITER 144 NEW BEST:: SOT 41687 SOS 19396 HAS SOPS 19396 HAS SOUS 18992 HAS SOUPS 18992 WITH SCORE 19011.396
AT ITER 146 NEW BEST:: SOT 41586 SOS 19295 HAS SOPS 19295 HAS SOUS 18891 HAS SOUPS 18891 WITH SCORE 18910.295
AT ITER 147 NEW BEST:: SOT 41584 SOS 19291 HAS SOPS 19291 HAS SOUS 18887 HAS SOUPS 18887 WITH SCORE 18906.291
AT ITER 151 NEW BEST:: SOT 41449 SOS 19154 HAS SOPS 19154 HAS SOUS 18721 HAS SOUPS 18721 WITH SCORE 18740.154
AT ITER 152 NEW BEST:: SOT 41437 SOS 19130 HAS SOPS 19130 HAS SOUS 18709 HAS SOUPS 18709 WITH SCORE 18728.13
AT ITER 154 NEW BEST:: SOT 41431 SOS 19118 HAS SOPS 19118 HAS SOUS 18703 HAS SOUPS 18703 WITH SCORE 18722.118
AT ITER 155 NEW BEST:: SOT 41415 SOS 19086 HAS SOPS 19086 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18597.086
AT ITER 156 NEW BEST:: SOT 41332 SOS 19106 HAS SOPS 19106 HAS SOUS 18495 HAS SOUPS 18495 WITH SCORE 18514.106
AT ITER 158 NEW BEST:: SOT 41155 SOS 18985 HAS SOPS 18985 HAS SOUS 18327 HAS SOUPS 18327 WITH SCORE 18345.985
AT ITER 161 NEW BEST:: SOT 41056 SOS 18895 HAS SOPS 18895 HAS SOUS 18129 HAS SOUPS 18129 WITH SCORE 18147.895
AT ITER 164 NEW BEST:: SOT 40915 SOS 18737 HAS SOPS 18737 HAS SOUS 17971 HAS SOUPS 17971 WITH SCORE 17989.737
AT ITER 165 NEW BEST:: SOT 40843 SOS 18794 HAS SOPS 18794 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17898.794
AT ITER 167 NEW BEST:: SOT 40843 SOS 18779 HAS SOPS 18779 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17898.779
AT ITER 168 NEW BEST:: SOT 40643 SOS 18379 HAS SOPS 18379 HAS SOUS 17490 HAS SOUPS 17490 WITH SCORE 17508.379
AT ITER 170 NEW BEST:: SOT 40436 SOS 18095 HAS SOPS 18095 HAS SOUS 17206 HAS SOUPS 17206 WITH SCORE 17224.095
AT ITER 172 NEW BEST:: SOT 40412 SOS 18047 HAS SOPS 18047 HAS SOUS 17158 HAS SOUPS 17158 WITH SCORE 17176.047
AT ITER 173 NEW BEST:: SOT 40362 SOS 17972 HAS SOPS 17972 HAS SOUS 17083 HAS SOUPS 17083 WITH SCORE 17100.972
AT ITER 175 NEW BEST:: SOT 40359 SOS 18158 HAS SOPS 18158 HAS SOUS 17080 HAS SOUPS 17080 WITH SCORE 17098.158
AT ITER 178 NEW BEST:: SOT 40253 SOS 18135 HAS SOPS 18135 HAS SOUS 16958 HAS SOUPS 16958 WITH SCORE 16976.135
AT ITER 180 NEW BEST:: SOT 40246 SOS 18128 HAS SOPS 18128 HAS SOUS 16951 HAS SOUPS 16951 WITH SCORE 16969.128
AT ITER 183 NEW BEST:: SOT 40131 SOS 17898 HAS SOPS 17898 HAS SOUS 16832 HAS SOUPS 16832 WITH SCORE 16849.898
AT ITER 185 NEW BEST:: SOT 40115 SOS 17866 HAS SOPS 17866 HAS SOUS 16800 HAS SOUPS 16800 WITH SCORE 16817.866
AT ITER 186 NEW BEST:: SOT 39978 SOS 17784 HAS SOPS 17784 HAS SOUS 16686 HAS SOUPS 16686 WITH SCORE 16703.784
AT ITER 187 NEW BEST:: SOT 39937 SOS 17749 HAS SOPS 17749 HAS SOUS 16645 HAS SOUPS 16645 WITH SCORE 16662.749
AT ITER 191 NEW BEST:: SOT 39926 SOS 17737 HAS SOPS 17737 HAS SOUS 16624 HAS SOUPS 16624 WITH SCORE 16641.737
AT ITER 192 NEW BEST:: SOT 39916 SOS 17717 HAS SOPS 17717 HAS SOUS 16604 HAS SOUPS 16604 WITH SCORE 16621.717
AT ITER 196 NEW BEST:: SOT 39779 SOS 17580 HAS SOPS 17580 HAS SOUS 16467 HAS SOUPS 16467 WITH SCORE 16484.58
AT ITER 197 NEW BEST:: SOT 39713 SOS 17448 HAS SOPS 17448 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16352.448
AT ITER 198 NEW BEST:: SOT 39677 SOS 17394 HAS SOPS 17394 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16298.394
AT ITER 199 NEW BEST:: SOT 39710 SOS 17365 HAS SOPS 17365 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16283.365
AT ITER 205 NEW BEST:: SOT 39716 SOS 17377 HAS SOPS 17377 HAS SOUS 16209 HAS SOUPS 16209 WITH SCORE 16226.377
AT ITER 209 NEW BEST:: SOT 39657 SOS 17356 HAS SOPS 17356 HAS SOUS 16188 HAS SOUPS 16188 WITH SCORE 16205.356
AT ITER 216 NEW BEST:: SOT 39643 SOS 17328 HAS SOPS 17328 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16177.328
AT ITER 217 NEW BEST:: SOT 39435 SOS 17203 HAS SOPS 17203 HAS SOUS 15950 HAS SOUPS 15950 WITH SCORE 15967.203
AT ITER 218 NEW BEST:: SOT 39419 SOS 17171 HAS SOPS 17171 HAS SOUS 15918 HAS SOUPS 15918 WITH SCORE 15935.171
AT ITER 223 NEW BEST:: SOT 39418 SOS 17169 HAS SOPS 17169 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15933.169
AT ITER 224 NEW BEST:: SOT 39319 SOS 17081 HAS SOPS 17081 HAS SOUS 15817 HAS SOUPS 15817 WITH SCORE 15834.081
AT ITER 226 NEW BEST:: SOT 39169 SOS 16856 HAS SOPS 16856 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15608.856
AT ITER 227 NEW BEST:: SOT 39073 SOS 16664 HAS SOPS 16664 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15416.664
AT ITER 231 NEW BEST:: SOT 39072 SOS 16662 HAS SOPS 16662 HAS SOUS 15398 HAS SOUPS 15398 WITH SCORE 15414.662
AT ITER 233 NEW BEST:: SOT 38897 SOS 16500 HAS SOPS 16500 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15163.5
AT ITER 234 NEW BEST:: SOT 38813 SOS 16332 HAS SOPS 16332 HAS SOUS 14954 HAS SOUPS 14954 WITH SCORE 14970.332
AT ITER 235 NEW BEST:: SOT 38794 SOS 16294 HAS SOPS 16294 HAS SOUS 14935 HAS SOUPS 14935 WITH SCORE 14951.294
AT ITER 237 NEW BEST:: SOT 38787 SOS 16280 HAS SOPS 16280 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14944.28
AT ITER 245 NEW BEST:: SOT 38774 SOS 16254 HAS SOPS 16254 HAS SOUS 14902 HAS SOUPS 14902 WITH SCORE 14918.254
AT ITER 255 NEW BEST:: SOT 38747 SOS 16200 HAS SOPS 16200 HAS SOUS 14848 HAS SOUPS 14848 WITH SCORE 14864.2
AT ITER 257 NEW BEST:: SOT 38725 SOS 16156 HAS SOPS 16156 HAS SOUS 14826 HAS SOUPS 14826 WITH SCORE 14842.156
AT ITER 260 NEW BEST:: SOT 38682 SOS 15938 HAS SOPS 15938 HAS SOUS 14677 HAS SOUPS 14677 WITH SCORE 14692.938
AT ITER 261 NEW BEST:: SOT 38642 SOS 15858 HAS SOPS 15858 HAS SOUS 14583 HAS SOUPS 14583 WITH SCORE 14598.858
AT ITER 264 NEW BEST:: SOT 38613 SOS 15800 HAS SOPS 15800 HAS SOUS 14554 HAS SOUPS 14554 WITH SCORE 14569.8
AT ITER 265 NEW BEST:: SOT 38597 SOS 15768 HAS SOPS 15768 HAS SOUS 14538 HAS SOUPS 14538 WITH SCORE 14553.768
AT ITER 266 NEW BEST:: SOT 38563 SOS 15786 HAS SOPS 15786 HAS SOUS 14504 HAS SOUPS 14504 WITH SCORE 14519.786
AT ITER 268 NEW BEST:: SOT 38439 SOS 15600 HAS SOPS 15600 HAS SOUS 14318 HAS SOUPS 14318 WITH SCORE 14333.6
AT ITER 269 NEW BEST:: SOT 38274 SOS 15422 HAS SOPS 15422 HAS SOUS 14120 HAS SOUPS 14120 WITH SCORE 14135.422
AT ITER 271 NEW BEST:: SOT 38175 SOS 15383 HAS SOPS 15383 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14036.383
AT ITER 279 NEW BEST:: SOT 38175 SOS 15472 HAS SOPS 15472 HAS SOUS 13996 HAS SOUPS 13996 WITH SCORE 14011.472
AT ITER 284 NEW BEST:: SOT 38138 SOS 15398 HAS SOPS 15398 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13974.398
AT ITER 291 NEW BEST:: SOT 38121 SOS 15364 HAS SOPS 15364 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13943.364
AT ITER 292 NEW BEST:: SOT 37995 SOS 15112 HAS SOPS 15112 HAS SOUS 13703 HAS SOUPS 13703 WITH SCORE 13718.112
AT ITER 302 NEW BEST:: SOT 38024 SOS 15170 HAS SOPS 15170 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13710.17
AT ITER 305 NEW BEST:: SOT 37958 SOS 15038 HAS SOPS 15038 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13578.038
AT ITER 307 NEW BEST:: SOT 37880 SOS 14882 HAS SOPS 14882 HAS SOUS 13407 HAS SOUPS 13407 WITH SCORE 13421.882
AT ITER 308 NEW BEST:: SOT 37868 SOS 14858 HAS SOPS 14858 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13384.858
AT ITER 309 NEW BEST:: SOT 37817 SOS 14756 HAS SOPS 14756 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13282.756
AT ITER 318 NEW BEST:: SOT 37817 SOS 14752 HAS SOPS 14752 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13282.752
AT ITER 320 NEW BEST:: SOT 37748 SOS 14614 HAS SOPS 14614 HAS SOUS 13130 HAS SOUPS 13130 WITH SCORE 13144.614
AT ITER 328 NEW BEST:: SOT 37748 SOS 14597 HAS SOPS 14597 HAS SOUS 13130 HAS SOUPS 13130 WITH SCORE 13144.597
AT ITER 329 NEW BEST:: SOT 37731 SOS 14563 HAS SOPS 14563 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13110.563
AT ITER 331 NEW BEST:: SOT 37633 SOS 14367 HAS SOPS 14367 HAS SOUS 12988 HAS SOUPS 12988 WITH SCORE 13002.367
AT ITER 333 NEW BEST:: SOT 37599 SOS 14299 HAS SOPS 14299 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12937.299
AT ITER 335 NEW BEST:: SOT 37592 SOS 14285 HAS SOPS 14285 HAS SOUS 12909 HAS SOUPS 12909 WITH SCORE 12923.285
AT ITER 338 NEW BEST:: SOT 37534 SOS 14169 HAS SOPS 14169 HAS SOUS 12879 HAS SOUPS 12879 WITH SCORE 12893.169
AT ITER 340 NEW BEST:: SOT 37517 SOS 14135 HAS SOPS 14135 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12859.135
AT ITER 346 NEW BEST:: SOT 37477 SOS 14075 HAS SOPS 14075 HAS SOUS 12785 HAS SOUPS 12785 WITH SCORE 12799.075
AT ITER 350 NEW BEST:: SOT 37468 SOS 14018 HAS SOPS 14018 HAS SOUS 12776 HAS SOUPS 12776 WITH SCORE 12790.018
AT ITER 352 NEW BEST:: SOT 37436 SOS 13954 HAS SOPS 13954 HAS SOUS 12712 HAS SOUPS 12712 WITH SCORE 12725.954
AT ITER 354 NEW BEST:: SOT 37401 SOS 13884 HAS SOPS 13884 HAS SOUS 12649 HAS SOUPS 12649 WITH SCORE 12662.884
AT ITER 356 NEW BEST:: SOT 37378 SOS 13838 HAS SOPS 13838 HAS SOUS 12626 HAS SOUPS 12626 WITH SCORE 12639.838
AT ITER 357 NEW BEST:: SOT 37276 SOS 13742 HAS SOPS 13742 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12494.742
AT ITER 359 NEW BEST:: SOT 37227 SOS 13644 HAS SOPS 13644 HAS SOUS 12432 HAS SOUPS 12432 WITH SCORE 12445.644
AT ITER 362 NEW BEST:: SOT 37251 SOS 13692 HAS SOPS 13692 HAS SOUS 12373 HAS SOUPS 12373 WITH SCORE 12386.692
AT ITER 369 NEW BEST:: SOT 37251 SOS 13676 HAS SOPS 13676 HAS SOUS 12373 HAS SOUPS 12373 WITH SCORE 12386.676
AT ITER 371 NEW BEST:: SOT 37250 SOS 13675 HAS SOPS 13675 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12385.675
AT ITER 372 NEW BEST:: SOT 37241 SOS 13657 HAS SOPS 13657 HAS SOUS 12363 HAS SOUPS 12363 WITH SCORE 12376.657
AT ITER 380 NEW BEST:: SOT 37303 SOS 13593 HAS SOPS 13593 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12312.593
AT ITER 385 NEW BEST:: SOT 37303 SOS 13587 HAS SOPS 13587 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12312.587
AT ITER 392 NEW BEST:: SOT 37228 SOS 13541 HAS SOPS 13541 HAS SOUS 12193 HAS SOUPS 12193 WITH SCORE 12206.541
AT ITER 399 NEW BEST:: SOT 37175 SOS 13435 HAS SOPS 13435 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12140.435
AT ITER 400 NEW BEST:: SOT 37100 SOS 13285 HAS SOPS 13285 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12065.285
AT ITER 409 NEW BEST:: SOT 36976 SOS 13189 HAS SOPS 13189 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11969.189
AT ITER 411 NEW BEST:: SOT 36965 SOS 13175 HAS SOPS 13175 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11955.175
AT ITER 413 NEW BEST:: SOT 36855 SOS 13064 HAS SOPS 13064 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11844.064
AT ITER 415 NEW BEST:: SOT 36844 SOS 13042 HAS SOPS 13042 HAS SOUS 11809 HAS SOUPS 11809 WITH SCORE 11822.042
AT ITER 417 NEW BEST:: SOT 36865 SOS 12993 HAS SOPS 12993 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11772.993
AT ITER 422 NEW BEST:: SOT 36863 SOS 12989 HAS SOPS 12989 HAS SOUS 11758 HAS SOUPS 11758 WITH SCORE 11770.989
AT ITER 426 NEW BEST:: SOT 36834 SOS 13007 HAS SOPS 13007 HAS SOUS 11729 HAS SOUPS 11729 WITH SCORE 11742.007
AT ITER 427 NEW BEST:: SOT 36834 SOS 12998 HAS SOPS 12998 HAS SOUS 11729 HAS SOUPS 11729 WITH SCORE 11741.998
AT ITER 433 NEW BEST:: SOT 36814 SOS 12958 HAS SOPS 12958 HAS SOUS 11709 HAS SOUPS 11709 WITH SCORE 11721.958
AT ITER 439 NEW BEST:: SOT 36780 SOS 12890 HAS SOPS 12890 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11659.89
AT ITER 450 NEW BEST:: SOT 36683 SOS 12816 HAS SOPS 12816 HAS SOUS 11553 HAS SOUPS 11553 WITH SCORE 11565.816
AT ITER 468 NEW BEST:: SOT 36673 SOS 12796 HAS SOPS 12796 HAS SOUS 11533 HAS SOUPS 11533 WITH SCORE 11545.796
AT ITER 469 NEW BEST:: SOT 36626 SOS 12547 HAS SOPS 12547 HAS SOUS 11486 HAS SOUPS 11486 WITH SCORE 11498.547
AT ITER 471 NEW BEST:: SOT 36608 SOS 12511 HAS SOPS 12511 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11464.511
AT ITER 474 NEW BEST:: SOT 36579 SOS 12473 HAS SOPS 12473 HAS SOUS 11414 HAS SOUPS 11414 WITH SCORE 11426.473
AT ITER 475 NEW BEST:: SOT 36539 SOS 12393 HAS SOPS 12393 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11364.393
AT ITER 477 NEW BEST:: SOT 36445 SOS 12310 HAS SOPS 12310 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11277.31
AT ITER 479 NEW BEST:: SOT 36339 SOS 12098 HAS SOPS 12098 HAS SOUS 11053 HAS SOUPS 11053 WITH SCORE 11065.098
AT ITER 483 NEW BEST:: SOT 36295 SOS 12054 HAS SOPS 12054 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11021.054
AT ITER 485 NEW BEST:: SOT 36270 SOS 11943 HAS SOPS 11943 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10950.943
AT ITER 487 NEW BEST:: SOT 36244 SOS 11929 HAS SOPS 11929 HAS SOUS 10921 HAS SOUPS 10921 WITH SCORE 10932.929
AT ITER 490 NEW BEST:: SOT 36225 SOS 11871 HAS SOPS 11871 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10895.871
AT ITER 492 NEW BEST:: SOT 36178 SOS 11824 HAS SOPS 11824 HAS SOUS 10837 HAS SOUPS 10837 WITH SCORE 10848.824
AT ITER 498 NEW BEST:: SOT 36145 SOS 11758 HAS SOPS 11758 HAS SOUS 10781 HAS SOUPS 10781 WITH SCORE 10792.758
AT ITER 506 NEW BEST:: SOT 36137 SOS 11742 HAS SOPS 11742 HAS SOUS 10765 HAS SOUPS 10765 WITH SCORE 10776.742
AT ITER 509 NEW BEST:: SOT 36132 SOS 11732 HAS SOPS 11732 HAS SOUS 10755 HAS SOUPS 10755 WITH SCORE 10766.732
AT ITER 510 NEW BEST:: SOT 36132 SOS 11730 HAS SOPS 11730 HAS SOUS 10754 HAS SOUPS 10754 WITH SCORE 10765.73
AT ITER 514 NEW BEST:: SOT 36122 SOS 11720 HAS SOPS 11720 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10755.72
AT ITER 516 NEW BEST:: SOT 36130 SOS 11886 HAS SOPS 11886 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10734.886
AT ITER 519 NEW BEST:: SOT 36111 SOS 11817 HAS SOPS 11817 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10684.817
AT ITER 521 NEW BEST:: SOT 36070 SOS 11735 HAS SOPS 11735 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10602.735
AT ITER 524 NEW BEST:: SOT 36043 SOS 11681 HAS SOPS 11681 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10566.681
AT ITER 537 NEW BEST:: SOT 35948 SOS 11491 HAS SOPS 11491 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10385.491
AT ITER 543 NEW BEST:: SOT 35900 SOS 11395 HAS SOPS 11395 HAS SOUS 10329 HAS SOUPS 10329 WITH SCORE 10340.395
AT ITER 552 NEW BEST:: SOT 35898 SOS 11391 HAS SOPS 11391 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10336.391
AT ITER 554 NEW BEST:: SOT 35894 SOS 11383 HAS SOPS 11383 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10311.383
AT ITER 555 NEW BEST:: SOT 35860 SOS 11315 HAS SOPS 11315 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10277.315
AT ITER 562 NEW BEST:: SOT 35760 SOS 11175 HAS SOPS 11175 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10137.175
AT ITER 568 NEW BEST:: SOT 35760 SOS 11175 HAS SOPS 11175 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10081.175
AT ITER 574 NEW BEST:: SOT 35747 SOS 11149 HAS SOPS 11149 HAS SOUS 10057 HAS SOUPS 10057 WITH SCORE 10068.149
AT ITER 577 NEW BEST:: SOT 35762 SOS 11028 HAS SOPS 11028 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10066.028
AT ITER 581 NEW BEST:: SOT 35701 SOS 10906 HAS SOPS 10906 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10004.906
AT ITER 586 NEW BEST:: SOT 35694 SOS 10892 HAS SOPS 10892 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9990.892
AT ITER 588 NEW BEST:: SOT 35613 SOS 10817 HAS SOPS 10817 HAS SOUS 9904 HAS SOUPS 9904 WITH SCORE 9914.817
AT ITER 590 NEW BEST:: SOT 35613 SOS 10805 HAS SOPS 10805 HAS SOUS 9892 HAS SOUPS 9892 WITH SCORE 9902.805
AT ITER 593 NEW BEST:: SOT 35601 SOS 10793 HAS SOPS 10793 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9890.793
AT ITER 596 NEW BEST:: SOT 35565 SOS 10827 HAS SOPS 10827 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9854.827
AT ITER 599 NEW BEST:: SOT 35565 SOS 10799 HAS SOPS 10799 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9854.799
AT ITER 602 NEW BEST:: SOT 35551 SOS 10864 HAS SOPS 10864 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9826.864
AT ITER 605 NEW BEST:: SOT 35551 SOS 10839 HAS SOPS 10839 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9826.839
AT ITER 608 NEW BEST:: SOT 35485 SOS 10824 HAS SOPS 10824 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9753.824
AT ITER 609 NEW BEST:: SOT 35347 SOS 10548 HAS SOPS 10548 HAS SOUS 9607 HAS SOUPS 9607 WITH SCORE 9617.548
AT ITER 619 NEW BEST:: SOT 35340 SOS 10534 HAS SOPS 10534 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9610.534
AT ITER 624 NEW BEST:: SOT 35316 SOS 10486 HAS SOPS 10486 HAS SOUS 9589 HAS SOUPS 9589 WITH SCORE 9599.486
AT ITER 631 NEW BEST:: SOT 35316 SOS 10459 HAS SOPS 10459 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9572.459
AT ITER 632 NEW BEST:: SOT 35316 SOS 10459 HAS SOPS 10459 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9536.459
AT ITER 638 NEW BEST:: SOT 35316 SOS 10421 HAS SOPS 10421 HAS SOUS 9488 HAS SOUPS 9488 WITH SCORE 9498.421
AT ITER 670 NEW BEST:: SOT 35308 SOS 10413 HAS SOPS 10413 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9490.413
AT ITER 671 NEW BEST:: SOT 35298 SOS 10403 HAS SOPS 10403 HAS SOUS 9470 HAS SOUPS 9470 WITH SCORE 9480.403
AT ITER 673 NEW BEST:: SOT 35278 SOS 10385 HAS SOPS 10385 HAS SOUS 9450 HAS SOUPS 9450 WITH SCORE 9460.385
AT ITER 681 NEW BEST:: SOT 35277 SOS 10383 HAS SOPS 10383 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9420.383
AT ITER 696 NEW BEST:: SOT 35277 SOS 10373 HAS SOPS 10373 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9410.373
AT ITER 698 NEW BEST:: SOT 35266 SOS 10362 HAS SOPS 10362 HAS SOUS 9389 HAS SOUPS 9389 WITH SCORE 9399.362
AT ITER 700 NEW BEST:: SOT 35266 SOS 10362 HAS SOPS 10362 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9391.362
AT ITER 722 NEW BEST:: SOT 35246 SOS 10360 HAS SOPS 10360 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9389.36
AT ITER 727 NEW BEST:: SOT 35228 SOS 10324 HAS SOPS 10324 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9353.324
AT ITER 734 NEW BEST:: SOT 35170 SOS 10295 HAS SOPS 10295 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9324.295
AT ITER 747 NEW BEST:: SOT 35112 SOS 10269 HAS SOPS 10269 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9207.269
AT ITER 754 NEW BEST:: SOT 35066 SOS 10177 HAS SOPS 10177 HAS SOUS 9105 HAS SOUPS 9105 WITH SCORE 9115.177
AT ITER 779 NEW BEST:: SOT 35061 SOS 10167 HAS SOPS 10167 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9110.167
AT ITER 781 NEW BEST:: SOT 35021 SOS 10127 HAS SOPS 10127 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9070.127
AT ITER 798 NEW BEST:: SOT 34980 SOS 10045 HAS SOPS 10045 HAS SOUS 8889 HAS SOUPS 8889 WITH SCORE 8899.045
AT ITER 799 NEW BEST:: SOT 34990 SOS 10044 HAS SOPS 10044 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8898.044
AT ITER 801 NEW BEST:: SOT 35007 SOS 10043 HAS SOPS 10043 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8897.043
AT ITER 812 NEW BEST:: SOT 34995 SOS 10036 HAS SOPS 10036 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8885.036
AT ITER 825 NEW BEST:: SOT 34995 SOS 10034 HAS SOPS 10034 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8885.034
AT ITER 831 NEW BEST:: SOT 34980 SOS 10004 HAS SOPS 10004 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8875.004
AT ITER 846 NEW BEST:: SOT 34980 SOS 10004 HAS SOPS 10004 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8819.004
AT ITER 847 NEW BEST:: SOT 34946 SOS 9839 HAS SOPS 9839 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8713.839
AT ITER 848 NEW BEST:: SOT 34947 SOS 9760 HAS SOPS 9760 HAS SOUS 8625 HAS SOUPS 8625 WITH SCORE 8634.76
AT ITER 854 NEW BEST:: SOT 34945 SOS 9756 HAS SOPS 9756 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8630.756
AT ITER 856 NEW BEST:: SOT 34937 SOS 9753 HAS SOPS 9753 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8627.753
AT ITER 857 NEW BEST:: SOT 34935 SOS 9690 HAS SOPS 9690 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8568.69
AT ITER 859 NEW BEST:: SOT 34925 SOS 9677 HAS SOPS 9677 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8555.677
AT ITER 865 NEW BEST:: SOT 34925 SOS 9675 HAS SOPS 9675 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8555.675
AT ITER 866 NEW BEST:: SOT 34906 SOS 9650 HAS SOPS 9650 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8526.65
AT ITER 868 NEW BEST:: SOT 34858 SOS 9554 HAS SOPS 9554 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8455.554
AT ITER 870 NEW BEST:: SOT 34825 SOS 9488 HAS SOPS 9488 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8389.488
AT ITER 874 NEW BEST:: SOT 34809 SOS 9369 HAS SOPS 9369 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8308.369
AT ITER 895 NEW BEST:: SOT 34798 SOS 9364 HAS SOPS 9364 HAS SOUS 8294 HAS SOUPS 8294 WITH SCORE 8303.364
AT ITER 901 NEW BEST:: SOT 34795 SOS 9358 HAS SOPS 9358 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8300.358
AT ITER 903 NEW BEST:: SOT 34773 SOS 9314 HAS SOPS 9314 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8256.314
AT ITER 907 NEW BEST:: SOT 34768 SOS 9304 HAS SOPS 9304 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8246.304
AT ITER 915 NEW BEST:: SOT 34766 SOS 9300 HAS SOPS 9300 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8242.3
AT ITER 920 NEW BEST:: SOT 34697 SOS 9019 HAS SOPS 9019 HAS SOUS 8150 HAS SOUPS 8150 WITH SCORE 8159.019
AT ITER 932 NEW BEST:: SOT 34695 SOS 8979 HAS SOPS 8979 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8137.979
AT ITER 939 NEW BEST:: SOT 34701 SOS 8991 HAS SOPS 8991 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8135.991
AT ITER 941 NEW BEST:: SOT 34701 SOS 8982 HAS SOPS 8982 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8135.982
AT ITER 946 NEW BEST:: SOT 34639 SOS 8976 HAS SOPS 8976 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8111.976
AT ITER 947 NEW BEST:: SOT 34641 SOS 8980 HAS SOPS 8980 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8075.98
AT ITER 951 NEW BEST:: SOT 34641 SOS 8978 HAS SOPS 8978 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8075.978
AT ITER 959 NEW BEST:: SOT 34681 SOS 8856 HAS SOPS 8856 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8075.856
AT ITER 980 NEW BEST:: SOT 34691 SOS 8855 HAS SOPS 8855 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8074.855
AT ITER 981 NEW BEST:: SOT 34667 SOS 8807 HAS SOPS 8807 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8041.807
AT ITER 988 NEW BEST:: SOT 34658 SOS 8789 HAS SOPS 8789 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8023.789
AT ITER 996 NEW BEST:: SOT 34548 SOS 8569 HAS SOPS 8569 HAS SOUS 7853 HAS SOUPS 7853 WITH SCORE 7861.569
AT ITER 998 NEW BEST:: SOT 34519 SOS 8543 HAS SOPS 8543 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7835.543
AT ITER 1005 NEW BEST:: SOT 34518 SOS 8541 HAS SOPS 8541 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7833.541
AT ITER 1010 NEW BEST:: SOT 34501 SOS 8507 HAS SOPS 8507 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7799.507
AT ITER 1015 NEW BEST:: SOT 34499 SOS 8503 HAS SOPS 8503 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7797.503
AT ITER 1028 NEW BEST:: SOT 34489 SOS 8497 HAS SOPS 8497 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7791.497
AT ITER 1036 NEW BEST:: SOT 34449 SOS 8457 HAS SOPS 8457 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7751.457
AT ITER 1039 NEW BEST:: SOT 34397 SOS 8353 HAS SOPS 8353 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7681.353
AT ITER 1053 NEW BEST:: SOT 34396 SOS 8351 HAS SOPS 8351 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7679.351
AT ITER 1054 NEW BEST:: SOT 34396 SOS 8324 HAS SOPS 8324 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7652.324
AT ITER 1058 NEW BEST:: SOT 34361 SOS 8297 HAS SOPS 8297 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7623.297
AT ITER 1061 NEW BEST:: SOT 34319 SOS 8257 HAS SOPS 8257 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7581.257
AT ITER 1071 NEW BEST:: SOT 34299 SOS 8263 HAS SOPS 8263 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7561.263
AT ITER 1081 NEW BEST:: SOT 34292 SOS 8249 HAS SOPS 8249 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7551.249
AT ITER 1088 NEW BEST:: SOT 34265 SOS 8222 HAS SOPS 8222 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7524.222
AT ITER 1090 NEW BEST:: SOT 34213 SOS 8170 HAS SOPS 8170 HAS SOUS 7464 HAS SOUPS 7464 WITH SCORE 7472.17
AT ITER 1091 NEW BEST:: SOT 34191 SOS 8092 HAS SOPS 8092 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7450.092
AT ITER 1112 NEW BEST:: SOT 34149 SOS 8008 HAS SOPS 8008 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7366.008
AT ITER 1121 NEW BEST:: SOT 34149 SOS 7984 HAS SOPS 7984 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7353.984
AT ITER 1127 NEW BEST:: SOT 34128 SOS 7942 HAS SOPS 7942 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7332.942
AT ITER 1138 NEW BEST:: SOT 34128 SOS 7938 HAS SOPS 7938 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7332.938
AT ITER 1140 NEW BEST:: SOT 34126 SOS 7934 HAS SOPS 7934 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7328.934
AT ITER 1153 NEW BEST:: SOT 34106 SOS 7894 HAS SOPS 7894 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7308.894
AT ITER 1160 NEW BEST:: SOT 34106 SOS 7894 HAS SOPS 7894 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7273.894
AT ITER 1162 NEW BEST:: SOT 34075 SOS 7798 HAS SOPS 7798 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7212.798
AT ITER 1165 NEW BEST:: SOT 34064 SOS 7776 HAS SOPS 7776 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7194.776
AT ITER 1168 NEW BEST:: SOT 34050 SOS 7748 HAS SOPS 7748 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7166.748
AT ITER 1172 NEW BEST:: SOT 34050 SOS 7748 HAS SOPS 7748 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7162.748
AT ITER 1173 NEW BEST:: SOT 34050 SOS 7717 HAS SOPS 7717 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7162.717
AT ITER 1177 NEW BEST:: SOT 34047 SOS 7711 HAS SOPS 7711 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7156.711
AT ITER 1190 NEW BEST:: SOT 34046 SOS 7709 HAS SOPS 7709 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7154.709
AT ITER 1199 NEW BEST:: SOT 34042 SOS 7701 HAS SOPS 7701 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7146.701
AT ITER 1201 NEW BEST:: SOT 34042 SOS 7701 HAS SOPS 7701 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7143.701
AT ITER 1202 NEW BEST:: SOT 33997 SOS 7718 HAS SOPS 7718 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7107.718
AT ITER 1215 NEW BEST:: SOT 33995 SOS 7658 HAS SOPS 7658 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7105.658
AT ITER 1217 NEW BEST:: SOT 33975 SOS 7618 HAS SOPS 7618 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6987.618
AT ITER 1221 NEW BEST:: SOT 33937 SOS 7582 HAS SOPS 7582 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6951.582
AT ITER 1232 NEW BEST:: SOT 33927 SOS 7572 HAS SOPS 7572 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6941.572
AT ITER 1239 NEW BEST:: SOT 33911 SOS 7540 HAS SOPS 7540 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6909.54
AT ITER 1255 NEW BEST:: SOT 33861 SOS 7440 HAS SOPS 7440 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6859.44
AT ITER 1256 NEW BEST:: SOT 33845 SOS 7439 HAS SOPS 7439 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6857.439
AT ITER 1259 NEW BEST:: SOT 33824 SOS 7376 HAS SOPS 7376 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6815.376
AT ITER 1267 NEW BEST:: SOT 33789 SOS 7306 HAS SOPS 7306 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6727.306
AT ITER 1270 NEW BEST:: SOT 33767 SOS 7262 HAS SOPS 7262 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6683.262
AT ITER 1273 NEW BEST:: SOT 33787 SOS 7302 HAS SOPS 7302 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.302
AT ITER 1275 NEW BEST:: SOT 33756 SOS 7240 HAS SOPS 7240 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6620.24
AT ITER 1287 NEW BEST:: SOT 33739 SOS 7206 HAS SOPS 7206 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.206
AT ITER 1296 NEW BEST:: SOT 33738 SOS 7204 HAS SOPS 7204 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6585.204
AT ITER 1298 NEW BEST:: SOT 33738 SOS 7204 HAS SOPS 7204 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6575.204
AT ITER 1300 NEW BEST:: SOT 33717 SOS 7187 HAS SOPS 7187 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6554.187
AT ITER 1319 NEW BEST:: SOT 33731 SOS 7215 HAS SOPS 7215 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6536.215
AT ITER 1327 NEW BEST:: SOT 33727 SOS 7207 HAS SOPS 7207 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6528.207
AT ITER 1329 NEW BEST:: SOT 33711 SOS 7191 HAS SOPS 7191 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6512.191
AT ITER 1342 NEW BEST:: SOT 33702 SOS 7142 HAS SOPS 7142 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.142
AT ITER 1344 NEW BEST:: SOT 33697 SOS 7132 HAS SOPS 7132 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6462.132
AT ITER 1359 NEW BEST:: SOT 33697 SOS 7093 HAS SOPS 7093 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6462.093
AT ITER 1365 NEW BEST:: SOT 33700 SOS 7057 HAS SOPS 7057 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6426.057
AT ITER 1371 NEW BEST:: SOT 33682 SOS 7021 HAS SOPS 7021 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6390.021
AT ITER 1373 NEW BEST:: SOT 33682 SOS 7008 HAS SOPS 7008 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6377.008
AT ITER 1397 NEW BEST:: SOT 33612 SOS 6868 HAS SOPS 6868 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6340.868
AT ITER 1406 NEW BEST:: SOT 33561 SOS 6766 HAS SOPS 6766 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6174.766
AT ITER 1430 NEW BEST:: SOT 33565 SOS 6774 HAS SOPS 6774 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6139.774
AT ITER 1445 NEW BEST:: SOT 33562 SOS 6768 HAS SOPS 6768 HAS SOUS 6128 HAS SOUPS 6128 WITH SCORE 6134.768
AT ITER 1456 NEW BEST:: SOT 33552 SOS 6748 HAS SOPS 6748 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6114.748
AT ITER 1458 NEW BEST:: SOT 33538 SOS 6720 HAS SOPS 6720 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6086.72
AT ITER 1461 NEW BEST:: SOT 33528 SOS 6715 HAS SOPS 6715 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6076.715
AT ITER 1474 NEW BEST:: SOT 33543 SOS 6745 HAS SOPS 6745 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6072.745
AT ITER 1492 NEW BEST:: SOT 33489 SOS 6691 HAS SOPS 6691 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6018.691
AT ITER 1502 NEW BEST:: SOT 33487 SOS 6687 HAS SOPS 6687 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6014.687
AT ITER 1507 NEW BEST:: SOT 33486 SOS 6686 HAS SOPS 6686 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6013.686
AT ITER 1519 NEW BEST:: SOT 33463 SOS 6705 HAS SOPS 6705 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5967.705
AT ITER 1536 NEW BEST:: SOT 33481 SOS 6692 HAS SOPS 6692 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5959.692
AT ITER 1551 NEW BEST:: SOT 33463 SOS 6656 HAS SOPS 6656 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5941.656
AT ITER 1562 NEW BEST:: SOT 33441 SOS 6612 HAS SOPS 6612 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5897.612
AT ITER 1575 NEW BEST:: SOT 33432 SOS 6594 HAS SOPS 6594 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5879.594
AT ITER 1581 NEW BEST:: SOT 33432 SOS 6594 HAS SOPS 6594 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5872.594
AT ITER 1615 NEW BEST:: SOT 33399 SOS 6559 HAS SOPS 6559 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5834.559
AT ITER 1616 NEW BEST:: SOT 33387 SOS 6535 HAS SOPS 6535 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5810.535
AT ITER 1619 NEW BEST:: SOT 33379 SOS 6519 HAS SOPS 6519 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5798.519
AT ITER 1621 NEW BEST:: SOT 33364 SOS 6489 HAS SOPS 6489 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5757.489
AT ITER 1626 NEW BEST:: SOT 33346 SOS 6453 HAS SOPS 6453 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5739.453
AT ITER 1632 NEW BEST:: SOT 33341 SOS 6450 HAS SOPS 6450 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5736.45
AT ITER 1654 NEW BEST:: SOT 33341 SOS 6440 HAS SOPS 6440 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.44
AT ITER 1675 NEW BEST:: SOT 33329 SOS 6416 HAS SOPS 6416 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5705.416
AT ITER 1679 NEW BEST:: SOT 33328 SOS 6414 HAS SOPS 6414 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5704.414
AT ITER 1691 NEW BEST:: SOT 33328 SOS 6409 HAS SOPS 6409 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.409
AT ITER 1696 NEW BEST:: SOT 33274 SOS 6422 HAS SOPS 6422 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5640.422
AT ITER 1698 NEW BEST:: SOT 33273 SOS 6423 HAS SOPS 6423 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.423
AT ITER 1714 NEW BEST:: SOT 33222 SOS 6372 HAS SOPS 6372 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5588.372
AT ITER 1717 NEW BEST:: SOT 33216 SOS 6360 HAS SOPS 6360 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5582.36
AT ITER 1745 NEW BEST:: SOT 33241 SOS 6410 HAS SOPS 6410 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.41
AT ITER 1756 NEW BEST:: SOT 33234 SOS 6439 HAS SOPS 6439 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.439
AT ITER 1764 NEW BEST:: SOT 33234 SOS 6427 HAS SOPS 6427 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.427
AT ITER 1765 NEW BEST:: SOT 33230 SOS 6419 HAS SOPS 6419 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.419
AT ITER 1806 NEW BEST:: SOT 33237 SOS 6433 HAS SOPS 6433 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5526.433
AT ITER 1811 NEW BEST:: SOT 33229 SOS 6401 HAS SOPS 6401 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.401
AT ITER 1824 NEW BEST:: SOT 33199 SOS 6341 HAS SOPS 6341 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5472.341
AT ITER 1826 NEW BEST:: SOT 33192 SOS 6340 HAS SOPS 6340 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5465.34
AT ITER 1847 NEW BEST:: SOT 33184 SOS 6333 HAS SOPS 6333 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.333
AT ITER 1852 NEW BEST:: SOT 33181 SOS 6314 HAS SOPS 6314 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5452.314
AT ITER 1857 NEW BEST:: SOT 33181 SOS 6307 HAS SOPS 6307 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5452.307
AT ITER 1860 NEW BEST:: SOT 33208 SOS 6361 HAS SOPS 6361 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5450.361
AT ITER 1880 NEW BEST:: SOT 33199 SOS 6343 HAS SOPS 6343 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5432.343
AT ITER 1891 NEW BEST:: SOT 33175 SOS 6319 HAS SOPS 6319 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5408.319
AT ITER 1927 NEW BEST:: SOT 33147 SOS 6235 HAS SOPS 6235 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.235
AT ITER 1951 NEW BEST:: SOT 33134 SOS 6176 HAS SOPS 6176 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.176
AT ITER 1969 NEW BEST:: SOT 33134 SOS 6171 HAS SOPS 6171 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.171
AT ITER 1972 NEW BEST:: SOT 33118 SOS 6139 HAS SOPS 6139 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.139
AT ITER 1976 NEW BEST:: SOT 33111 SOS 6105 HAS SOPS 6105 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5280.105
AT ITER 1982 NEW BEST:: SOT 33107 SOS 6056 HAS SOPS 6056 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5272.056
AT ITER 1988 NEW BEST:: SOT 33107 SOS 6056 HAS SOPS 6056 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5252.056
AT ITER 2003 NEW BEST:: SOT 33077 SOS 5996 HAS SOPS 5996 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5194.996
AT ITER 2042 NEW BEST:: SOT 32998 SOS 5838 HAS SOPS 5838 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5036.838
AT ITER 2052 NEW BEST:: SOT 32997 SOS 5813 HAS SOPS 5813 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5035.813
AT ITER 2076 NEW BEST:: SOT 32989 SOS 5797 HAS SOPS 5797 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5019.797
AT ITER 2080 NEW BEST:: SOT 32979 SOS 5792 HAS SOPS 5792 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5014.792
AT ITER 2081 NEW BEST:: SOT 32948 SOS 5690 HAS SOPS 5690 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4958.69
AT ITER 2128 NEW BEST:: SOT 32910 SOS 5614 HAS SOPS 5614 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.614
AT ITER 2133 NEW BEST:: SOT 32910 SOS 5609 HAS SOPS 5609 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4877.609
AT ITER 2149 NEW BEST:: SOT 32921 SOS 5602 HAS SOPS 5602 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4870.602
AT ITER 2152 NEW BEST:: SOT 32932 SOS 5624 HAS SOPS 5624 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4867.624
AT ITER 2166 NEW BEST:: SOT 32915 SOS 5631 HAS SOPS 5631 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4850.631
AT ITER 2170 NEW BEST:: SOT 32891 SOS 5583 HAS SOPS 5583 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4826.583
AT ITER 2179 NEW BEST:: SOT 32877 SOS 5574 HAS SOPS 5574 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4812.574
AT ITER 2249 NEW BEST:: SOT 32877 SOS 5568 HAS SOPS 5568 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4812.568
AT ITER 2252 NEW BEST:: SOT 32912 SOS 5452 HAS SOPS 5452 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4755.452
AT ITER 2257 NEW BEST:: SOT 32902 SOS 5432 HAS SOPS 5432 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4737.432
AT ITER 2277 NEW BEST:: SOT 32884 SOS 5447 HAS SOPS 5447 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4735.447
AT ITER 2301 NEW BEST:: SOT 32872 SOS 5442 HAS SOPS 5442 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4725.442
AT ITER 2312 NEW BEST:: SOT 32868 SOS 5434 HAS SOPS 5434 HAS SOUS 4716 HAS SOUPS 4716 WITH SCORE 4721.434
AT ITER 2317 NEW BEST:: SOT 32861 SOS 5430 HAS SOPS 5430 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4714.43
AT ITER 2334 NEW BEST:: SOT 32850 SOS 5408 HAS SOPS 5408 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4692.408
AT ITER 2338 NEW BEST:: SOT 32840 SOS 5388 HAS SOPS 5388 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4674.388
AT ITER 2340 NEW BEST:: SOT 32832 SOS 5330 HAS SOPS 5330 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4658.33
AT ITER 2349 NEW BEST:: SOT 32830 SOS 5324 HAS SOPS 5324 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4654.324
AT ITER 2351 NEW BEST:: SOT 32817 SOS 5323 HAS SOPS 5323 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4653.323
AT ITER 2354 NEW BEST:: SOT 32816 SOS 5321 HAS SOPS 5321 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4651.321
AT ITER 2383 NEW BEST:: SOT 32816 SOS 5313 HAS SOPS 5313 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4643.313
AT ITER 2389 NEW BEST:: SOT 32814 SOS 5341 HAS SOPS 5341 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4641.341
AT ITER 2391 NEW BEST:: SOT 32820 SOS 5353 HAS SOPS 5353 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4619.353
AT ITER 2398 NEW BEST:: SOT 32782 SOS 5277 HAS SOPS 5277 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4602.277
AT ITER 2404 NEW BEST:: SOT 32779 SOS 5263 HAS SOPS 5263 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4599.263
AT ITER 2423 NEW BEST:: SOT 32778 SOS 5261 HAS SOPS 5261 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4597.261
AT ITER 2424 NEW BEST:: SOT 32768 SOS 5241 HAS SOPS 5241 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.241
AT ITER 2427 NEW BEST:: SOT 32759 SOS 5214 HAS SOPS 5214 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4560.214
AT ITER 2445 NEW BEST:: SOT 32758 SOS 5200 HAS SOPS 5200 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4547.2
AT ITER 2447 NEW BEST:: SOT 32758 SOS 5196 HAS SOPS 5196 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4547.196
AT ITER 2494 NEW BEST:: SOT 32757 SOS 5195 HAS SOPS 5195 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4546.195
AT ITER 2546 NEW BEST:: SOT 32757 SOS 5186 HAS SOPS 5186 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4538.186
AT ITER 2557 NEW BEST:: SOT 32753 SOS 5178 HAS SOPS 5178 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4529.178
AT ITER 2562 NEW BEST:: SOT 32750 SOS 5167 HAS SOPS 5167 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.167
AT ITER 2566 NEW BEST:: SOT 32749 SOS 5165 HAS SOPS 5165 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4519.165
AT ITER 2578 NEW BEST:: SOT 32753 SOS 5173 HAS SOPS 5173 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4518.173
AT ITER 2595 NEW BEST:: SOT 32749 SOS 5165 HAS SOPS 5165 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4514.165
AT ITER 2600 NEW BEST:: SOT 32737 SOS 5141 HAS SOPS 5141 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4490.141
AT ITER 2602 NEW BEST:: SOT 32718 SOS 5103 HAS SOPS 5103 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4471.103
AT ITER 2609 NEW BEST:: SOT 32718 SOS 5099 HAS SOPS 5099 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4471.099
AT ITER 2619 NEW BEST:: SOT 32707 SOS 5077 HAS SOPS 5077 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4446.077
AT ITER 2638 NEW BEST:: SOT 32707 SOS 5077 HAS SOPS 5077 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4391.077
AT ITER 2640 NEW BEST:: SOT 32719 SOS 5072 HAS SOPS 5072 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4389.072
AT ITER 2645 NEW BEST:: SOT 32649 SOS 4979 HAS SOPS 4979 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4295.979
AT ITER 2655 NEW BEST:: SOT 32647 SOS 4975 HAS SOPS 4975 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4293.975
AT ITER 2672 NEW BEST:: SOT 32635 SOS 4951 HAS SOPS 4951 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4269.951
AT ITER 2677 NEW BEST:: SOT 32620 SOS 4951 HAS SOPS 4951 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4253.951
AT ITER 2685 NEW BEST:: SOT 32590 SOS 4891 HAS SOPS 4891 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.891
AT ITER 2694 NEW BEST:: SOT 32572 SOS 4882 HAS SOPS 4882 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4184.882
AT ITER 2717 NEW BEST:: SOT 32563 SOS 4864 HAS SOPS 4864 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4175.864
AT ITER 2721 NEW BEST:: SOT 32563 SOS 4818 HAS SOPS 4818 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4150.818
AT ITER 2758 NEW BEST:: SOT 32551 SOS 4794 HAS SOPS 4794 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.794
AT ITER 2761 NEW BEST:: SOT 32512 SOS 4653 HAS SOPS 4653 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.653
AT ITER 2785 NEW BEST:: SOT 32506 SOS 4641 HAS SOPS 4641 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4075.641
AT ITER 2790 NEW BEST:: SOT 32503 SOS 4635 HAS SOPS 4635 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4065.635
AT ITER 2805 NEW BEST:: SOT 32498 SOS 4625 HAS SOPS 4625 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.625
AT ITER 2814 NEW BEST:: SOT 32491 SOS 4643 HAS SOPS 4643 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.643
AT ITER 2818 NEW BEST:: SOT 32467 SOS 4650 HAS SOPS 4650 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4024.65
AT ITER 2828 NEW BEST:: SOT 32457 SOS 4643 HAS SOPS 4643 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4017.643
AT ITER 2861 NEW BEST:: SOT 32436 SOS 4612 HAS SOPS 4612 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3986.612
AT ITER 2878 NEW BEST:: SOT 32412 SOS 4564 HAS SOPS 4564 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3905.564
AT ITER 2901 NEW BEST:: SOT 32411 SOS 4562 HAS SOPS 4562 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3904.562
AT ITER 2905 NEW BEST:: SOT 32377 SOS 4494 HAS SOPS 4494 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.494
AT ITER 2922 NEW BEST:: SOT 32377 SOS 4471 HAS SOPS 4471 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.471
AT ITER 2925 NEW BEST:: SOT 32377 SOS 4446 HAS SOPS 4446 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3864.446
AT ITER 2940 NEW BEST:: SOT 32363 SOS 4401 HAS SOPS 4401 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3836.401
AT ITER 2947 NEW BEST:: SOT 32346 SOS 4367 HAS SOPS 4367 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.367
AT ITER 2952 NEW BEST:: SOT 32376 SOS 4348 HAS SOPS 4348 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.348
AT ITER 2965 NEW BEST:: SOT 32376 SOS 4341 HAS SOPS 4341 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.341
AT ITER 2971 NEW BEST:: SOT 32367 SOS 4335 HAS SOPS 4335 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.335
AT ITER 2976 NEW BEST:: SOT 32361 SOS 4323 HAS SOPS 4323 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3803.323
AT ITER 2994 NEW BEST:: SOT 32358 SOS 4317 HAS SOPS 4317 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.317
AT ITER 2995 NEW BEST:: SOT 32317 SOS 4235 HAS SOPS 4235 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3772.235
AT ITER 3018 NEW BEST:: SOT 32316 SOS 4229 HAS SOPS 4229 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3771.229
AT ITER 3021 NEW BEST:: SOT 32316 SOS 4221 HAS SOPS 4221 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3763.221
AT ITER 3037 NEW BEST:: SOT 32312 SOS 4213 HAS SOPS 4213 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3755.213
AT ITER 3044 NEW BEST:: SOT 32312 SOS 4213 HAS SOPS 4213 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3747.213
AT ITER 3052 NEW BEST:: SOT 32306 SOS 4216 HAS SOPS 4216 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3743.216
AT ITER 3061 NEW BEST:: SOT 32275 SOS 4186 HAS SOPS 4186 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.186
AT ITER 3062 NEW BEST:: SOT 32279 SOS 4171 HAS SOPS 4171 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3709.171
AT ITER 3073 NEW BEST:: SOT 32269 SOS 4176 HAS SOPS 4176 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3699.176
AT ITER 3090 NEW BEST:: SOT 32269 SOS 4172 HAS SOPS 4172 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3699.172
AT ITER 3101 NEW BEST:: SOT 32266 SOS 4166 HAS SOPS 4166 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3696.166
AT ITER 3120 NEW BEST:: SOT 32219 SOS 4072 HAS SOPS 4072 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3602.072
AT ITER 3134 NEW BEST:: SOT 32218 SOS 4068 HAS SOPS 4068 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3601.068
AT ITER 3155 NEW BEST:: SOT 32203 SOS 4048 HAS SOPS 4048 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.048
AT ITER 3164 NEW BEST:: SOT 32202 SOS 4046 HAS SOPS 4046 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3579.046
AT ITER 3167 NEW BEST:: SOT 32208 SOS 4058 HAS SOPS 4058 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.058
AT ITER 3208 NEW BEST:: SOT 32208 SOS 4056 HAS SOPS 4056 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.056
AT ITER 3221 NEW BEST:: SOT 32203 SOS 4041 HAS SOPS 4041 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3565.041
AT ITER 3227 NEW BEST:: SOT 32192 SOS 4044 HAS SOPS 4044 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.044
AT ITER 3232 NEW BEST:: SOT 32190 SOS 4043 HAS SOPS 4043 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3558.043
AT ITER 3246 NEW BEST:: SOT 32188 SOS 4039 HAS SOPS 4039 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3554.039
AT ITER 3250 NEW BEST:: SOT 32189 SOS 4041 HAS SOPS 4041 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3550.041
AT ITER 3278 NEW BEST:: SOT 32193 SOS 4018 HAS SOPS 4018 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3530.018
AT ITER 3314 NEW BEST:: SOT 32188 SOS 4025 HAS SOPS 4025 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3525.025
AT ITER 3355 NEW BEST:: SOT 32182 SOS 4013 HAS SOPS 4013 HAS SOUS 3509 HAS SOUPS 3509 WITH SCORE 3513.013
AT ITER 3371 NEW BEST:: SOT 32174 SOS 4004 HAS SOPS 4004 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3504.004
AT ITER 3383 NEW BEST:: SOT 32149 SOS 3986 HAS SOPS 3986 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3469.986
AT ITER 3419 NEW BEST:: SOT 32158 SOS 4004 HAS SOPS 4004 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3469.004
AT ITER 3428 NEW BEST:: SOT 32155 SOS 4015 HAS SOPS 4015 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3466.015
AT ITER 3440 NEW BEST:: SOT 32153 SOS 4011 HAS SOPS 4011 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3439.011
AT ITER 3453 NEW BEST:: SOT 32151 SOS 4007 HAS SOPS 4007 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3438.007
AT ITER 3484 NEW BEST:: SOT 32142 SOS 3989 HAS SOPS 3989 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3428.989
AT ITER 3495 NEW BEST:: SOT 32133 SOS 3971 HAS SOPS 3971 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3403.971
AT ITER 3496 NEW BEST:: SOT 32129 SOS 3963 HAS SOPS 3963 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3393.963
AT ITER 3578 NEW BEST:: SOT 32128 SOS 3961 HAS SOPS 3961 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3392.961
AT ITER 3599 NEW BEST:: SOT 32088 SOS 3881 HAS SOPS 3881 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3333.881
AT ITER 3633 NEW BEST:: SOT 32088 SOS 3857 HAS SOPS 3857 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3333.857
AT ITER 3656 NEW BEST:: SOT 32083 SOS 3842 HAS SOPS 3842 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3328.842
AT ITER 3667 NEW BEST:: SOT 32065 SOS 3847 HAS SOPS 3847 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3309.847
AT ITER 3703 NEW BEST:: SOT 32055 SOS 3827 HAS SOPS 3827 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3287.827
AT ITER 3712 NEW BEST:: SOT 32058 SOS 3824 HAS SOPS 3824 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3286.824
AT ITER 3739 NEW BEST:: SOT 32054 SOS 3816 HAS SOPS 3816 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3275.816
AT ITER 3751 NEW BEST:: SOT 32051 SOS 3810 HAS SOPS 3810 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3272.81
AT ITER 3771 NEW BEST:: SOT 32029 SOS 3744 HAS SOPS 3744 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.744
AT ITER 3788 NEW BEST:: SOT 32029 SOS 3705 HAS SOPS 3705 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.705
AT ITER 3813 NEW BEST:: SOT 32029 SOS 3701 HAS SOPS 3701 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3226.701
AT ITER 3823 NEW BEST:: SOT 32007 SOS 3657 HAS SOPS 3657 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.657
AT ITER 3835 NEW BEST:: SOT 32010 SOS 3656 HAS SOPS 3656 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.656
AT ITER 3852 NEW BEST:: SOT 32002 SOS 3655 HAS SOPS 3655 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.655
AT ITER 3877 NEW BEST:: SOT 31999 SOS 3646 HAS SOPS 3646 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3197.646
AT ITER 3893 NEW BEST:: SOT 31997 SOS 3627 HAS SOPS 3627 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3180.627
AT ITER 3936 NEW BEST:: SOT 31996 SOS 3624 HAS SOPS 3624 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3179.624
AT ITER 3941 NEW BEST:: SOT 31990 SOS 3612 HAS SOPS 3612 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3171.612
AT ITER 3965 NEW BEST:: SOT 31983 SOS 3598 HAS SOPS 3598 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3169.598
AT ITER 3974 NEW BEST:: SOT 31977 SOS 3606 HAS SOPS 3606 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3163.606
AT ITER 3998 NEW BEST:: SOT 31967 SOS 3594 HAS SOPS 3594 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.594
AT ITER 4003 NEW BEST:: SOT 31967 SOS 3574 HAS SOPS 3574 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.574
AT ITER 4080 NEW BEST:: SOT 31962 SOS 3572 HAS SOPS 3572 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3144.572
AT ITER 4092 NEW BEST:: SOT 31969 SOS 3535 HAS SOPS 3535 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.535
AT ITER 4151 NEW BEST:: SOT 31967 SOS 3518 HAS SOPS 3518 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3129.518
AT ITER 4168 NEW BEST:: SOT 31966 SOS 3516 HAS SOPS 3516 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3127.516
AT ITER 4170 NEW BEST:: SOT 31960 SOS 3504 HAS SOPS 3504 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.504
AT ITER 4202 NEW BEST:: SOT 31947 SOS 3526 HAS SOPS 3526 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.526
AT ITER 4209 NEW BEST:: SOT 31937 SOS 3506 HAS SOPS 3506 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.506
AT ITER 4249 NEW BEST:: SOT 31909 SOS 3527 HAS SOPS 3527 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.527
AT ITER 4256 NEW BEST:: SOT 31909 SOS 3527 HAS SOPS 3527 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.527
AT ITER 4270 NEW BEST:: SOT 31908 SOS 3525 HAS SOPS 3525 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3057.525
AT ITER 4277 NEW BEST:: SOT 31906 SOS 3521 HAS SOPS 3521 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3055.521
AT ITER 4281 NEW BEST:: SOT 31904 SOS 3519 HAS SOPS 3519 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3053.519
AT ITER 4299 NEW BEST:: SOT 31901 SOS 3516 HAS SOPS 3516 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3050.516
AT ITER 4341 NEW BEST:: SOT 31899 SOS 3512 HAS SOPS 3512 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3046.512
AT ITER 4360 NEW BEST:: SOT 31908 SOS 3494 HAS SOPS 3494 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.494
AT ITER 4402 NEW BEST:: SOT 31904 SOS 3470 HAS SOPS 3470 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.47
AT ITER 4404 NEW BEST:: SOT 31897 SOS 3456 HAS SOPS 3456 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.456
AT ITER 4432 NEW BEST:: SOT 31885 SOS 3444 HAS SOPS 3444 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.444
AT ITER 4452 NEW BEST:: SOT 31887 SOS 3448 HAS SOPS 3448 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2976.448
AT ITER 4459 NEW BEST:: SOT 31878 SOS 3442 HAS SOPS 3442 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2965.442
AT ITER 4518 NEW BEST:: SOT 31876 SOS 3438 HAS SOPS 3438 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2961.438
AT ITER 4532 NEW BEST:: SOT 31875 SOS 3436 HAS SOPS 3436 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.436
AT ITER 4559 NEW BEST:: SOT 31875 SOS 3434 HAS SOPS 3434 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.434
AT ITER 4566 NEW BEST:: SOT 31875 SOS 3424 HAS SOPS 3424 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.424
AT ITER 4587 NEW BEST:: SOT 31864 SOS 3402 HAS SOPS 3402 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2937.402
AT ITER 4604 NEW BEST:: SOT 31834 SOS 3342 HAS SOPS 3342 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2877.342
AT ITER 4661 NEW BEST:: SOT 31823 SOS 3320 HAS SOPS 3320 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2866.32
AT ITER 4729 NEW BEST:: SOT 31817 SOS 3314 HAS SOPS 3314 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2860.314
AT ITER 4742 NEW BEST:: SOT 31812 SOS 3282 HAS SOPS 3282 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.282
AT ITER 4759 NEW BEST:: SOT 31813 SOS 3281 HAS SOPS 3281 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2853.281
AT ITER 4811 NEW BEST:: SOT 31808 SOS 3276 HAS SOPS 3276 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.276
AT ITER 4826 NEW BEST:: SOT 31807 SOS 3274 HAS SOPS 3274 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2846.274
AT ITER 4913 NEW BEST:: SOT 31804 SOS 3272 HAS SOPS 3272 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.272
AT ITER 4918 NEW BEST:: SOT 31796 SOS 3256 HAS SOPS 3256 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2828.256
AT ITER 4932 NEW BEST:: SOT 31788 SOS 3245 HAS SOPS 3245 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2815.245
AT ITER 4940 NEW BEST:: SOT 31788 SOS 3235 HAS SOPS 3235 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2805.235
AT ITER 4993 NEW BEST:: SOT 31774 SOS 3222 HAS SOPS 3222 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2786.222
AT ITER 4997 NEW BEST:: SOT 31773 SOS 3219 HAS SOPS 3219 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2784.219
AT ITER 5060 NEW BEST:: SOT 31768 SOS 3209 HAS SOPS 3209 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.209
AT ITER 5083 NEW BEST:: SOT 31744 SOS 3126 HAS SOPS 3126 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2753.126
AT ITER 5105 NEW BEST:: SOT 31743 SOS 3124 HAS SOPS 3124 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2748.124
AT ITER 5107 NEW BEST:: SOT 31743 SOS 3124 HAS SOPS 3124 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.124
AT ITER 5147 NEW BEST:: SOT 31743 SOS 3124 HAS SOPS 3124 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2739.124
AT ITER 5226 NEW BEST:: SOT 31738 SOS 3114 HAS SOPS 3114 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2729.114
AT ITER 5300 NEW BEST:: SOT 31735 SOS 3103 HAS SOPS 3103 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2721.103
AT ITER 5315 NEW BEST:: SOT 31733 SOS 3099 HAS SOPS 3099 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2717.099
AT ITER 5329 NEW BEST:: SOT 31730 SOS 3061 HAS SOPS 3061 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2704.061
AT ITER 5330 NEW BEST:: SOT 31729 SOS 3059 HAS SOPS 3059 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.059
AT ITER 5349 NEW BEST:: SOT 31729 SOS 3045 HAS SOPS 3045 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2688.045
AT ITER 5359 NEW BEST:: SOT 31752 SOS 3010 HAS SOPS 3010 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2681.01
AT ITER 5401 NEW BEST:: SOT 31752 SOS 3010 HAS SOPS 3010 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2679.01
AT ITER 5429 NEW BEST:: SOT 31751 SOS 3008 HAS SOPS 3008 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.008
AT ITER 5506 NEW BEST:: SOT 31745 SOS 2996 HAS SOPS 2996 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2665.996
AT ITER 5511 NEW BEST:: SOT 31738 SOS 2982 HAS SOPS 2982 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2658.982
AT ITER 5513 NEW BEST:: SOT 31738 SOS 2971 HAS SOPS 2971 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2658.971
AT ITER 5531 NEW BEST:: SOT 31736 SOS 2967 HAS SOPS 2967 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2656.967
AT ITER 5532 NEW BEST:: SOT 31732 SOS 2959 HAS SOPS 2959 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2643.959
AT ITER 5589 NEW BEST:: SOT 31727 SOS 2954 HAS SOPS 2954 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2638.954
AT ITER 5598 NEW BEST:: SOT 31727 SOS 2954 HAS SOPS 2954 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.954
AT ITER 5602 NEW BEST:: SOT 31727 SOS 2952 HAS SOPS 2952 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2633.952
AT ITER 5654 NEW BEST:: SOT 31727 SOS 2949 HAS SOPS 2949 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2633.949
AT ITER 5664 NEW BEST:: SOT 31713 SOS 2932 HAS SOPS 2932 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.932
AT ITER 5798 NEW BEST:: SOT 31710 SOS 2923 HAS SOPS 2923 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2610.923
AT ITER 5807 NEW BEST:: SOT 31707 SOS 2974 HAS SOPS 2974 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2607.974
AT ITER 5820 NEW BEST:: SOT 31695 SOS 2950 HAS SOPS 2950 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2592.95
AT ITER 5834 NEW BEST:: SOT 31699 SOS 2958 HAS SOPS 2958 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.958
AT ITER 5868 NEW BEST:: SOT 31699 SOS 2958 HAS SOPS 2958 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.958
AT ITER 5914 NEW BEST:: SOT 31686 SOS 2932 HAS SOPS 2932 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2550.932
AT ITER 6012 NEW BEST:: SOT 31683 SOS 2926 HAS SOPS 2926 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2544.926
AT ITER 6060 NEW BEST:: SOT 31678 SOS 2916 HAS SOPS 2916 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2534.916
AT ITER 6072 NEW BEST:: SOT 31677 SOS 2915 HAS SOPS 2915 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2533.915
AT ITER 6121 NEW BEST:: SOT 31659 SOS 2858 HAS SOPS 2858 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2500.858
AT ITER 6122 NEW BEST:: SOT 31654 SOS 2848 HAS SOPS 2848 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.848
AT ITER 6148 NEW BEST:: SOT 31652 SOS 2844 HAS SOPS 2844 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.844
AT ITER 6196 NEW BEST:: SOT 31648 SOS 2832 HAS SOPS 2832 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.832
AT ITER 6214 NEW BEST:: SOT 31646 SOS 2828 HAS SOPS 2828 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.828
AT ITER 6221 NEW BEST:: SOT 31646 SOS 2826 HAS SOPS 2826 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.826
AT ITER 6233 NEW BEST:: SOT 31643 SOS 2804 HAS SOPS 2804 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2450.804
AT ITER 6297 NEW BEST:: SOT 31642 SOS 2801 HAS SOPS 2801 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.801
AT ITER 6316 NEW BEST:: SOT 31636 SOS 2789 HAS SOPS 2789 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2442.789
AT ITER 6336 NEW BEST:: SOT 31635 SOS 2787 HAS SOPS 2787 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2440.787
AT ITER 6347 NEW BEST:: SOT 31631 SOS 2785 HAS SOPS 2785 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.785
AT ITER 6385 NEW BEST:: SOT 31631 SOS 2770 HAS SOPS 2770 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.77
AT ITER 6387 NEW BEST:: SOT 31631 SOS 2767 HAS SOPS 2767 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.767
AT ITER 6543 NEW BEST:: SOT 31629 SOS 2784 HAS SOPS 2784 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2436.784
AT ITER 6546 NEW BEST:: SOT 31628 SOS 2782 HAS SOPS 2782 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2435.782
AT ITER 6562 NEW BEST:: SOT 31622 SOS 2759 HAS SOPS 2759 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.759
AT ITER 6569 NEW BEST:: SOT 31622 SOS 2759 HAS SOPS 2759 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.759
AT ITER 6577 NEW BEST:: SOT 31616 SOS 2747 HAS SOPS 2747 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2405.747
AT ITER 6621 NEW BEST:: SOT 31606 SOS 2727 HAS SOPS 2727 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2385.727
AT ITER 6699 NEW BEST:: SOT 31606 SOS 2721 HAS SOPS 2721 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2385.721
AT ITER 6730 NEW BEST:: SOT 31607 SOS 2703 HAS SOPS 2703 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.703
AT ITER 6824 NEW BEST:: SOT 31575 SOS 2675 HAS SOPS 2675 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.675
AT ITER 6833 NEW BEST:: SOT 31575 SOS 2675 HAS SOPS 2675 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.675
AT ITER 6840 NEW BEST:: SOT 31574 SOS 2671 HAS SOPS 2671 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.671
AT ITER 6887 NEW BEST:: SOT 31557 SOS 2646 HAS SOPS 2646 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.646
AT ITER 6889 NEW BEST:: SOT 31557 SOS 2641 HAS SOPS 2641 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.641
AT ITER 6891 NEW BEST:: SOT 31553 SOS 2633 HAS SOPS 2633 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.633
AT ITER 6904 NEW BEST:: SOT 31553 SOS 2621 HAS SOPS 2621 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.621
AT ITER 6916 NEW BEST:: SOT 31550 SOS 2615 HAS SOPS 2615 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2289.615
AT ITER 6977 NEW BEST:: SOT 31542 SOS 2608 HAS SOPS 2608 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.608
AT ITER 6995 NEW BEST:: SOT 31537 SOS 2598 HAS SOPS 2598 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.598
AT ITER 7011 NEW BEST:: SOT 31534 SOS 2592 HAS SOPS 2592 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.592
AT ITER 7141 NEW BEST:: SOT 31531 SOS 2588 HAS SOPS 2588 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.588
AT ITER 7153 NEW BEST:: SOT 31528 SOS 2596 HAS SOPS 2596 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2263.596
AT ITER 7223 NEW BEST:: SOT 31528 SOS 2596 HAS SOPS 2596 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2258.596
AT ITER 7252 NEW BEST:: SOT 31518 SOS 2576 HAS SOPS 2576 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.576
AT ITER 7275 NEW BEST:: SOT 31519 SOS 2543 HAS SOPS 2543 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.543
AT ITER 7330 NEW BEST:: SOT 31519 SOS 2542 HAS SOPS 2542 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.542
AT ITER 7389 NEW BEST:: SOT 31516 SOS 2510 HAS SOPS 2510 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.51
AT ITER 7426 NEW BEST:: SOT 31508 SOS 2494 HAS SOPS 2494 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.494
AT ITER 7449 NEW BEST:: SOT 31500 SOS 2501 HAS SOPS 2501 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.501
AT ITER 7453 NEW BEST:: SOT 31494 SOS 2489 HAS SOPS 2489 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.489
AT ITER 7477 NEW BEST:: SOT 31492 SOS 2485 HAS SOPS 2485 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.485
AT ITER 7511 NEW BEST:: SOT 31486 SOS 2473 HAS SOPS 2473 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.473
AT ITER 7596 NEW BEST:: SOT 31485 SOS 2472 HAS SOPS 2472 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.472
AT ITER 7668 NEW BEST:: SOT 31484 SOS 2470 HAS SOPS 2470 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2180.47
AT ITER 7676 NEW BEST:: SOT 31483 SOS 2467 HAS SOPS 2467 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.467
AT ITER 7703 NEW BEST:: SOT 31480 SOS 2479 HAS SOPS 2479 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2175.479
AT ITER 7729 NEW BEST:: SOT 31464 SOS 2447 HAS SOPS 2447 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.447
AT ITER 7757 NEW BEST:: SOT 31457 SOS 2433 HAS SOPS 2433 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.433
AT ITER 7765 NEW BEST:: SOT 31457 SOS 2433 HAS SOPS 2433 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2137.433
AT ITER 7792 NEW BEST:: SOT 31447 SOS 2402 HAS SOPS 2402 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.402
AT ITER 7806 NEW BEST:: SOT 31446 SOS 2405 HAS SOPS 2405 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2125.405
AT ITER 7810 NEW BEST:: SOT 31446 SOS 2405 HAS SOPS 2405 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.405
AT ITER 7847 NEW BEST:: SOT 31445 SOS 2403 HAS SOPS 2403 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.403
AT ITER 7894 NEW BEST:: SOT 31443 SOS 2399 HAS SOPS 2399 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.399
AT ITER 7902 NEW BEST:: SOT 31442 SOS 2397 HAS SOPS 2397 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2120.397
AT ITER 8017 NEW BEST:: SOT 31441 SOS 2392 HAS SOPS 2392 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.392
AT ITER 8046 NEW BEST:: SOT 31441 SOS 2392 HAS SOPS 2392 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.392
AT ITER 8095 NEW BEST:: SOT 31440 SOS 2390 HAS SOPS 2390 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.39
AT ITER 8099 NEW BEST:: SOT 31429 SOS 2368 HAS SOPS 2368 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.368
AT ITER 8119 NEW BEST:: SOT 31425 SOS 2360 HAS SOPS 2360 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2090.36
AT ITER 8126 NEW BEST:: SOT 31424 SOS 2358 HAS SOPS 2358 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.358
AT ITER 8163 NEW BEST:: SOT 31426 SOS 2355 HAS SOPS 2355 HAS SOUS 2084 HAS SOUPS 2084 WITH SCORE 2086.355
AT ITER 8193 NEW BEST:: SOT 31426 SOS 2345 HAS SOPS 2345 HAS SOUS 2084 HAS SOUPS 2084 WITH SCORE 2086.345
AT ITER 8219 NEW BEST:: SOT 31411 SOS 2336 HAS SOPS 2336 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.336
AT ITER 8292 NEW BEST:: SOT 31411 SOS 2332 HAS SOPS 2332 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.332
AT ITER 8353 NEW BEST:: SOT 31402 SOS 2314 HAS SOPS 2314 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2057.314
AT ITER 8392 NEW BEST:: SOT 31396 SOS 2302 HAS SOPS 2302 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.302
AT ITER 8458 NEW BEST:: SOT 31393 SOS 2296 HAS SOPS 2296 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2046.296
AT ITER 8460 NEW BEST:: SOT 31392 SOS 2294 HAS SOPS 2294 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.294
AT ITER 8497 NEW BEST:: SOT 31392 SOS 2293 HAS SOPS 2293 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.293
AT ITER 8653 NEW BEST:: SOT 31382 SOS 2273 HAS SOPS 2273 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2031.273
AT ITER 8668 NEW BEST:: SOT 31384 SOS 2272 HAS SOPS 2272 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2030.272
AT ITER 8669 NEW BEST:: SOT 31379 SOS 2267 HAS SOPS 2267 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.267
AT ITER 8671 NEW BEST:: SOT 31378 SOS 2265 HAS SOPS 2265 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2024.265
AT ITER 8681 NEW BEST:: SOT 31375 SOS 2259 HAS SOPS 2259 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2015.259
AT ITER 8695 NEW BEST:: SOT 31373 SOS 2255 HAS SOPS 2255 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2013.255
AT ITER 8737 NEW BEST:: SOT 31371 SOS 2251 HAS SOPS 2251 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2009.251
AT ITER 8743 NEW BEST:: SOT 31376 SOS 2245 HAS SOPS 2245 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2003.245
AT ITER 8761 NEW BEST:: SOT 31365 SOS 2229 HAS SOPS 2229 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1987.229
AT ITER 8777 NEW BEST:: SOT 31363 SOS 2225 HAS SOPS 2225 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1982.225
AT ITER 8842 NEW BEST:: SOT 31355 SOS 2198 HAS SOPS 2198 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1966.198
AT ITER 8844 NEW BEST:: SOT 31350 SOS 2188 HAS SOPS 2188 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.188
AT ITER 8870 NEW BEST:: SOT 31348 SOS 2184 HAS SOPS 2184 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.184
AT ITER 8876 NEW BEST:: SOT 31338 SOS 2171 HAS SOPS 2171 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.171
AT ITER 8882 NEW BEST:: SOT 31336 SOS 2168 HAS SOPS 2168 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1941.168
AT ITER 9023 NEW BEST:: SOT 31332 SOS 2166 HAS SOPS 2166 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.166
AT ITER 9030 NEW BEST:: SOT 31332 SOS 2150 HAS SOPS 2150 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.15
AT ITER 9055 NEW BEST:: SOT 31328 SOS 2142 HAS SOPS 2142 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.142
AT ITER 9077 NEW BEST:: SOT 31326 SOS 2141 HAS SOPS 2141 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.141
AT ITER 9200 NEW BEST:: SOT 31320 SOS 2129 HAS SOPS 2129 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1919.129
AT ITER 9231 NEW BEST:: SOT 31319 SOS 2127 HAS SOPS 2127 HAS SOUS 1916 HAS SOUPS 1916 WITH SCORE 1918.127
AT ITER 9243 NEW BEST:: SOT 31309 SOS 2117 HAS SOPS 2117 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1908.117
AT ITER 9321 NEW BEST:: SOT 31304 SOS 2107 HAS SOPS 2107 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1901.107
AT ITER 9344 NEW BEST:: SOT 31297 SOS 2113 HAS SOPS 2113 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1893.113
AT ITER 9364 NEW BEST:: SOT 31300 SOS 2097 HAS SOPS 2097 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1893.097
AT ITER 9433 NEW BEST:: SOT 31298 SOS 2095 HAS SOPS 2095 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.095
AT ITER 9441 NEW BEST:: SOT 31298 SOS 2095 HAS SOPS 2095 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1885.095
AT ITER 9496 NEW BEST:: SOT 31298 SOS 2094 HAS SOPS 2094 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.094
AT ITER 9570 NEW BEST:: SOT 31293 SOS 2089 HAS SOPS 2089 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1879.089
AT ITER 9614 NEW BEST:: SOT 31288 SOS 2079 HAS SOPS 2079 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1870.079
AT ITER 9626 NEW BEST:: SOT 31278 SOS 2046 HAS SOPS 2046 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.046
AT ITER 9646 NEW BEST:: SOT 31278 SOS 2045 HAS SOPS 2045 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.045
AT ITER 9649 NEW BEST:: SOT 31278 SOS 2055 HAS SOPS 2055 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1846.055
AT ITER 9675 NEW BEST:: SOT 31274 SOS 2052 HAS SOPS 2052 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.052
AT ITER 9682 NEW BEST:: SOT 31274 SOS 2051 HAS SOPS 2051 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.051
AT ITER 9706 NEW BEST:: SOT 31273 SOS 2048 HAS SOPS 2048 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1842.048
AT ITER 9768 NEW BEST:: SOT 31271 SOS 2044 HAS SOPS 2044 HAS SOUS 1836 HAS SOUPS 1836 WITH SCORE 1838.044
AT ITER 9819 NEW BEST:: SOT 31271 SOS 2044 HAS SOPS 2044 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1836.044
AT ITER 9916 NEW BEST:: SOT 31269 SOS 2040 HAS SOPS 2040 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1834.04
STATE_SPACE STATES 515377520732011331036461129765621272702107522002 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 100 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 34358501382134088735764075317708084846807168133401 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679145408837

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

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

Sequence of Actions to be Executed by the VM

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

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

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