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.r323-tall-167889194700440.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 smart
Input is Referendum-COL-0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194700440
=====================================================================

--------------------
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 1679497834411

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Referendum-COL-0100
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-22 15:10:38] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-22 15:10:38] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-22 15:10:38] [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-22 15:10:38] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 15:10:38] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 623 ms
[2023-03-22 15:10:38] [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-22 15:10:38] [INFO ] Unfolded HLPN to a Petri net with 301 places and 201 transitions 501 arcs in 22 ms.
[2023-03-22 15:10:38] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 15:10:38] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 301 places, 201 transitions and 501 arcs took 13 ms.
Total runtime 889 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Referendum (COL), instance 0100
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 4 NEW BEST:: SOT 49794 SOS 29466 HAS SOPS 29466 HAS SOUS 29466 HAS SOUPS 29466 WITH SCORE 29495.466
AT ITER 5 NEW BEST:: SOT 49500 SOS 29184 HAS SOPS 29184 HAS SOUS 29166 HAS SOUPS 29166 WITH SCORE 29195.184
AT ITER 6 NEW BEST:: SOT 49294 SOS 28938 HAS SOPS 28938 HAS SOUS 28920 HAS SOUPS 28920 WITH SCORE 28948.938
AT ITER 13 NEW BEST:: SOT 49276 SOS 28920 HAS SOPS 28920 HAS SOUS 28902 HAS SOUPS 28902 WITH SCORE 28930.92
AT ITER 19 NEW BEST:: SOT 49216 SOS 28800 HAS SOPS 28800 HAS SOUS 28782 HAS SOUPS 28782 WITH SCORE 28810.8
AT ITER 24 NEW BEST:: SOT 49003 SOS 28495 HAS SOPS 28495 HAS SOUS 28462 HAS SOUPS 28462 WITH SCORE 28490.495
AT ITER 25 NEW BEST:: SOT 48910 SOS 28309 HAS SOPS 28309 HAS SOUS 28276 HAS SOUPS 28276 WITH SCORE 28304.309
AT ITER 27 NEW BEST:: SOT 48646 SOS 27945 HAS SOPS 27945 HAS SOUS 27912 HAS SOUPS 27912 WITH SCORE 27939.945
AT ITER 28 NEW BEST:: SOT 48401 SOS 27615 HAS SOPS 27615 HAS SOUS 27582 HAS SOUPS 27582 WITH SCORE 27609.615
AT ITER 29 NEW BEST:: SOT 48176 SOS 27290 HAS SOPS 27290 HAS SOUS 27257 HAS SOUPS 27257 WITH SCORE 27284.29
AT ITER 30 NEW BEST:: SOT 47992 SOS 27014 HAS SOPS 27014 HAS SOUS 26981 HAS SOUPS 26981 WITH SCORE 27008.014
AT ITER 34 NEW BEST:: SOT 47790 SOS 26752 HAS SOPS 26752 HAS SOUS 26719 HAS SOUPS 26719 WITH SCORE 26745.752
AT ITER 35 NEW BEST:: SOT 47691 SOS 26664 HAS SOPS 26664 HAS SOUS 26631 HAS SOUPS 26631 WITH SCORE 26657.664
AT ITER 36 NEW BEST:: SOT 47406 SOS 26345 HAS SOPS 26345 HAS SOUS 26294 HAS SOUPS 26294 WITH SCORE 26320.345
AT ITER 38 NEW BEST:: SOT 47248 SOS 26177 HAS SOPS 26177 HAS SOUS 26126 HAS SOUPS 26126 WITH SCORE 26152.177
AT ITER 39 NEW BEST:: SOT 47004 SOS 25833 HAS SOPS 25833 HAS SOUS 25782 HAS SOUPS 25782 WITH SCORE 25807.833
AT ITER 44 NEW BEST:: SOT 46794 SOS 25541 HAS SOPS 25541 HAS SOUS 25490 HAS SOUPS 25490 WITH SCORE 25515.541
AT ITER 46 NEW BEST:: SOT 46612 SOS 25473 HAS SOPS 25473 HAS SOUS 25327 HAS SOUPS 25327 WITH SCORE 25352.473
AT ITER 48 NEW BEST:: SOT 46593 SOS 25435 HAS SOPS 25435 HAS SOUS 25289 HAS SOUPS 25289 WITH SCORE 25314.435
AT ITER 53 NEW BEST:: SOT 46505 SOS 25308 HAS SOPS 25308 HAS SOUS 25162 HAS SOUPS 25162 WITH SCORE 25187.308
AT ITER 54 NEW BEST:: SOT 46478 SOS 25281 HAS SOPS 25281 HAS SOUS 25135 HAS SOUPS 25135 WITH SCORE 25160.281
AT ITER 55 NEW BEST:: SOT 46408 SOS 25211 HAS SOPS 25211 HAS SOUS 25065 HAS SOUPS 25065 WITH SCORE 25090.211
AT ITER 58 NEW BEST:: SOT 46364 SOS 25123 HAS SOPS 25123 HAS SOUS 24977 HAS SOUPS 24977 WITH SCORE 25002.123
AT ITER 62 NEW BEST:: SOT 46114 SOS 24774 HAS SOPS 24774 HAS SOUS 24628 HAS SOUPS 24628 WITH SCORE 24652.774
AT ITER 64 NEW BEST:: SOT 45932 SOS 24501 HAS SOPS 24501 HAS SOUS 24355 HAS SOUPS 24355 WITH SCORE 24379.501
AT ITER 65 NEW BEST:: SOT 45915 SOS 24484 HAS SOPS 24484 HAS SOUS 24338 HAS SOUPS 24338 WITH SCORE 24362.484
AT ITER 73 NEW BEST:: SOT 45712 SOS 24210 HAS SOPS 24210 HAS SOUS 24064 HAS SOUPS 24064 WITH SCORE 24088.21
AT ITER 76 NEW BEST:: SOT 45694 SOS 24174 HAS SOPS 24174 HAS SOUS 24046 HAS SOUPS 24046 WITH SCORE 24070.174
AT ITER 78 NEW BEST:: SOT 45670 SOS 24126 HAS SOPS 24126 HAS SOUS 23998 HAS SOUPS 23998 WITH SCORE 24022.126
AT ITER 79 NEW BEST:: SOT 45602 SOS 23990 HAS SOPS 23990 HAS SOUS 23862 HAS SOUPS 23862 WITH SCORE 23885.99
AT ITER 80 NEW BEST:: SOT 45500 SOS 23837 HAS SOPS 23837 HAS SOUS 23709 HAS SOUPS 23709 WITH SCORE 23732.837
AT ITER 81 NEW BEST:: SOT 45480 SOS 23807 HAS SOPS 23807 HAS SOUS 23679 HAS SOUPS 23679 WITH SCORE 23702.807
AT ITER 84 NEW BEST:: SOT 45421 SOS 23748 HAS SOPS 23748 HAS SOUS 23620 HAS SOUPS 23620 WITH SCORE 23643.748
AT ITER 86 NEW BEST:: SOT 45188 SOS 23547 HAS SOPS 23547 HAS SOUS 23352 HAS SOUPS 23352 WITH SCORE 23375.547
AT ITER 88 NEW BEST:: SOT 44991 SOS 23344 HAS SOPS 23344 HAS SOUS 23106 HAS SOUPS 23106 WITH SCORE 23129.344
AT ITER 91 NEW BEST:: SOT 44706 SOS 22959 HAS SOPS 22959 HAS SOUS 22721 HAS SOUPS 22721 WITH SCORE 22743.959
AT ITER 92 NEW BEST:: SOT 44418 SOS 22600 HAS SOPS 22600 HAS SOUS 22347 HAS SOUPS 22347 WITH SCORE 22369.6
AT ITER 94 NEW BEST:: SOT 44275 SOS 22446 HAS SOPS 22446 HAS SOUS 22193 HAS SOUPS 22193 WITH SCORE 22215.446
AT ITER 95 NEW BEST:: SOT 44197 SOS 22368 HAS SOPS 22368 HAS SOUS 22115 HAS SOUPS 22115 WITH SCORE 22137.368
AT ITER 102 NEW BEST:: SOT 44163 SOS 22354 HAS SOPS 22354 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22090.354
AT ITER 103 NEW BEST:: SOT 44045 SOS 22309 HAS SOPS 22309 HAS SOUS 21934 HAS SOUPS 21934 WITH SCORE 21956.309
AT ITER 104 NEW BEST:: SOT 43952 SOS 22123 HAS SOPS 22123 HAS SOUS 21748 HAS SOUPS 21748 WITH SCORE 21770.123
AT ITER 107 NEW BEST:: SOT 43932 SOS 22083 HAS SOPS 22083 HAS SOUS 21708 HAS SOUPS 21708 WITH SCORE 21730.083
AT ITER 111 NEW BEST:: SOT 43916 SOS 22051 HAS SOPS 22051 HAS SOUS 21676 HAS SOUPS 21676 WITH SCORE 21698.051
AT ITER 116 NEW BEST:: SOT 43731 SOS 21794 HAS SOPS 21794 HAS SOUS 21419 HAS SOUPS 21419 WITH SCORE 21440.794
AT ITER 120 NEW BEST:: SOT 43583 SOS 21572 HAS SOPS 21572 HAS SOUS 21197 HAS SOUPS 21197 WITH SCORE 21218.572
AT ITER 121 NEW BEST:: SOT 43577 SOS 21566 HAS SOPS 21566 HAS SOUS 21191 HAS SOUPS 21191 WITH SCORE 21212.566
AT ITER 124 NEW BEST:: SOT 43393 SOS 21290 HAS SOPS 21290 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20936.29
AT ITER 126 NEW BEST:: SOT 43336 SOS 21176 HAS SOPS 21176 HAS SOUS 20801 HAS SOUPS 20801 WITH SCORE 20822.176
AT ITER 127 NEW BEST:: SOT 43268 SOS 21108 HAS SOPS 21108 HAS SOUS 20733 HAS SOUPS 20733 WITH SCORE 20754.108
AT ITER 129 NEW BEST:: SOT 43087 SOS 20935 HAS SOPS 20935 HAS SOUS 20460 HAS SOUPS 20460 WITH SCORE 20480.935
AT ITER 131 NEW BEST:: SOT 43070 SOS 20901 HAS SOPS 20901 HAS SOUS 20426 HAS SOUPS 20426 WITH SCORE 20446.901
AT ITER 132 NEW BEST:: SOT 42938 SOS 20776 HAS SOPS 20776 HAS SOUS 20301 HAS SOUPS 20301 WITH SCORE 20321.776
AT ITER 134 NEW BEST:: SOT 42930 SOS 20760 HAS SOPS 20760 HAS SOUS 20285 HAS SOUPS 20285 WITH SCORE 20305.76
AT ITER 135 NEW BEST:: SOT 42880 SOS 20660 HAS SOPS 20660 HAS SOUS 20185 HAS SOUPS 20185 WITH SCORE 20205.66
AT ITER 137 NEW BEST:: SOT 42876 SOS 20656 HAS SOPS 20656 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20201.656
AT ITER 142 NEW BEST:: SOT 42772 SOS 20520 HAS SOPS 20520 HAS SOUS 20045 HAS SOUPS 20045 WITH SCORE 20065.52
AT ITER 143 NEW BEST:: SOT 42718 SOS 20412 HAS SOPS 20412 HAS SOUS 19964 HAS SOUPS 19964 WITH SCORE 19984.412
AT ITER 144 NEW BEST:: SOT 42722 SOS 20420 HAS SOPS 20420 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19955.42
AT ITER 145 NEW BEST:: SOT 42632 SOS 20423 HAS SOPS 20423 HAS SOUS 19850 HAS SOUPS 19850 WITH SCORE 19870.423
AT ITER 147 NEW BEST:: SOT 42558 SOS 20349 HAS SOPS 20349 HAS SOUS 19776 HAS SOUPS 19776 WITH SCORE 19796.349
AT ITER 149 NEW BEST:: SOT 42532 SOS 20297 HAS SOPS 20297 HAS SOUS 19754 HAS SOUPS 19754 WITH SCORE 19774.297
AT ITER 150 NEW BEST:: SOT 42329 SOS 20007 HAS SOPS 20007 HAS SOUS 19449 HAS SOUPS 19449 WITH SCORE 19469.007
AT ITER 151 NEW BEST:: SOT 42181 SOS 19711 HAS SOPS 19711 HAS SOUS 19220 HAS SOUPS 19220 WITH SCORE 19239.711
AT ITER 153 NEW BEST:: SOT 42076 SOS 19621 HAS SOPS 19621 HAS SOUS 19130 HAS SOUPS 19130 WITH SCORE 19149.621
AT ITER 156 NEW BEST:: SOT 41777 SOS 19219 HAS SOPS 19219 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18747.219
AT ITER 159 NEW BEST:: SOT 41677 SOS 19119 HAS SOPS 19119 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18647.119
AT ITER 163 NEW BEST:: SOT 41631 SOS 19272 HAS SOPS 19272 HAS SOUS 18607 HAS SOUPS 18607 WITH SCORE 18626.272
AT ITER 165 NEW BEST:: SOT 41472 SOS 19148 HAS SOPS 19148 HAS SOUS 18468 HAS SOUPS 18468 WITH SCORE 18487.148
AT ITER 166 NEW BEST:: SOT 41278 SOS 18878 HAS SOPS 18878 HAS SOUS 18198 HAS SOUPS 18198 WITH SCORE 18216.878
AT ITER 173 NEW BEST:: SOT 41242 SOS 18842 HAS SOPS 18842 HAS SOUS 18162 HAS SOUPS 18162 WITH SCORE 18180.842
AT ITER 174 NEW BEST:: SOT 41214 SOS 18786 HAS SOPS 18786 HAS SOUS 18106 HAS SOUPS 18106 WITH SCORE 18124.786
AT ITER 178 NEW BEST:: SOT 41007 SOS 18486 HAS SOPS 18486 HAS SOUS 17806 HAS SOUPS 17806 WITH SCORE 17824.486
AT ITER 179 NEW BEST:: SOT 40994 SOS 18460 HAS SOPS 18460 HAS SOUS 17780 HAS SOUPS 17780 WITH SCORE 17798.46
AT ITER 182 NEW BEST:: SOT 40863 SOS 18269 HAS SOPS 18269 HAS SOUS 17578 HAS SOUPS 17578 WITH SCORE 17596.269
AT ITER 184 NEW BEST:: SOT 40773 SOS 18089 HAS SOPS 18089 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17416.089
AT ITER 189 NEW BEST:: SOT 40703 SOS 17949 HAS SOPS 17949 HAS SOUS 17229 HAS SOUPS 17229 WITH SCORE 17246.949
AT ITER 190 NEW BEST:: SOT 40624 SOS 17870 HAS SOPS 17870 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17167.87
AT ITER 191 NEW BEST:: SOT 40586 SOS 17820 HAS SOPS 17820 HAS SOUS 17100 HAS SOUPS 17100 WITH SCORE 17117.82
AT ITER 192 NEW BEST:: SOT 40496 SOS 17719 HAS SOPS 17719 HAS SOUS 16999 HAS SOUPS 16999 WITH SCORE 17016.719
AT ITER 194 NEW BEST:: SOT 40249 SOS 17372 HAS SOPS 17372 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16669.372
AT ITER 197 NEW BEST:: SOT 40209 SOS 17292 HAS SOPS 17292 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16589.292
AT ITER 198 NEW BEST:: SOT 40179 SOS 17232 HAS SOPS 17232 HAS SOUS 16512 HAS SOUPS 16512 WITH SCORE 16529.232
AT ITER 206 NEW BEST:: SOT 40078 SOS 17185 HAS SOPS 17185 HAS SOUS 16411 HAS SOUPS 16411 WITH SCORE 16428.185
AT ITER 208 NEW BEST:: SOT 40074 SOS 17181 HAS SOPS 17181 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16424.181
AT ITER 210 NEW BEST:: SOT 40058 SOS 17149 HAS SOPS 17149 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16375.149
AT ITER 216 NEW BEST:: SOT 40028 SOS 17112 HAS SOPS 17112 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16338.112
AT ITER 218 NEW BEST:: SOT 39887 SOS 16830 HAS SOPS 16830 HAS SOUS 16039 HAS SOUPS 16039 WITH SCORE 16055.83
AT ITER 225 NEW BEST:: SOT 39844 SOS 16744 HAS SOPS 16744 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16012.744
AT ITER 226 NEW BEST:: SOT 39720 SOS 16621 HAS SOPS 16621 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15888.621
AT ITER 229 NEW BEST:: SOT 39703 SOS 16554 HAS SOPS 16554 HAS SOUS 15838 HAS SOUPS 15838 WITH SCORE 15854.554
AT ITER 230 NEW BEST:: SOT 39658 SOS 16637 HAS SOPS 16637 HAS SOUS 15832 HAS SOUPS 15832 WITH SCORE 15848.637
AT ITER 231 NEW BEST:: SOT 39705 SOS 16731 HAS SOPS 16731 HAS SOUS 15814 HAS SOUPS 15814 WITH SCORE 15830.731
AT ITER 246 NEW BEST:: SOT 39686 SOS 16693 HAS SOPS 16693 HAS SOUS 15782 HAS SOUPS 15782 WITH SCORE 15798.693
AT ITER 252 NEW BEST:: SOT 39515 SOS 16506 HAS SOPS 16506 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15611.506
AT ITER 256 NEW BEST:: SOT 39436 SOS 16526 HAS SOPS 16526 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15566.526
AT ITER 258 NEW BEST:: SOT 39436 SOS 16501 HAS SOPS 16501 HAS SOUS 15525 HAS SOUPS 15525 WITH SCORE 15541.501
AT ITER 261 NEW BEST:: SOT 39306 SOS 16461 HAS SOPS 16461 HAS SOUS 15370 HAS SOUPS 15370 WITH SCORE 15386.461
AT ITER 263 NEW BEST:: SOT 39291 SOS 16431 HAS SOPS 16431 HAS SOUS 15340 HAS SOUPS 15340 WITH SCORE 15356.431
AT ITER 264 NEW BEST:: SOT 39154 SOS 16287 HAS SOPS 16287 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15200.287
AT ITER 265 NEW BEST:: SOT 39069 SOS 16180 HAS SOPS 16180 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15093.18
AT ITER 266 NEW BEST:: SOT 39059 SOS 16111 HAS SOPS 16111 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15083.111
AT ITER 271 NEW BEST:: SOT 39030 SOS 16053 HAS SOPS 16053 HAS SOUS 15009 HAS SOUPS 15009 WITH SCORE 15025.053
AT ITER 272 NEW BEST:: SOT 38925 SOS 15941 HAS SOPS 15941 HAS SOUS 14869 HAS SOUPS 14869 WITH SCORE 14884.941
AT ITER 273 NEW BEST:: SOT 38913 SOS 15927 HAS SOPS 15927 HAS SOUS 14855 HAS SOUPS 14855 WITH SCORE 14870.927
AT ITER 274 NEW BEST:: SOT 38911 SOS 15923 HAS SOPS 15923 HAS SOUS 14853 HAS SOUPS 14853 WITH SCORE 14868.923
AT ITER 275 NEW BEST:: SOT 38884 SOS 15896 HAS SOPS 15896 HAS SOUS 14826 HAS SOUPS 14826 WITH SCORE 14841.896
AT ITER 279 NEW BEST:: SOT 38871 SOS 15870 HAS SOPS 15870 HAS SOUS 14811 HAS SOUPS 14811 WITH SCORE 14826.87
AT ITER 280 NEW BEST:: SOT 38582 SOS 15477 HAS SOPS 15477 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14433.477
AT ITER 283 NEW BEST:: SOT 38578 SOS 15469 HAS SOPS 15469 HAS SOUS 14410 HAS SOUPS 14410 WITH SCORE 14425.469
AT ITER 284 NEW BEST:: SOT 38549 SOS 15411 HAS SOPS 15411 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14396.411
AT ITER 293 NEW BEST:: SOT 38438 SOS 15189 HAS SOPS 15189 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14186.189
AT ITER 295 NEW BEST:: SOT 38438 SOS 15185 HAS SOPS 15185 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14186.185
AT ITER 298 NEW BEST:: SOT 38390 SOS 15089 HAS SOPS 15089 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14090.089
AT ITER 300 NEW BEST:: SOT 38360 SOS 15029 HAS SOPS 15029 HAS SOUS 14045 HAS SOUPS 14045 WITH SCORE 14060.029
AT ITER 304 NEW BEST:: SOT 38328 SOS 14965 HAS SOPS 14965 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 13995.965
AT ITER 306 NEW BEST:: SOT 38145 SOS 14711 HAS SOPS 14711 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13740.711
AT ITER 307 NEW BEST:: SOT 38110 SOS 14765 HAS SOPS 14765 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13705.765
AT ITER 310 NEW BEST:: SOT 38103 SOS 14751 HAS SOPS 14751 HAS SOUS 13677 HAS SOUPS 13677 WITH SCORE 13691.751
AT ITER 314 NEW BEST:: SOT 38027 SOS 14599 HAS SOPS 14599 HAS SOUS 13601 HAS SOUPS 13601 WITH SCORE 13615.599
AT ITER 318 NEW BEST:: SOT 38027 SOS 14599 HAS SOPS 14599 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13613.599
AT ITER 321 NEW BEST:: SOT 38001 SOS 14560 HAS SOPS 14560 HAS SOUS 13560 HAS SOUPS 13560 WITH SCORE 13574.56
AT ITER 326 NEW BEST:: SOT 37995 SOS 14548 HAS SOPS 14548 HAS SOUS 13548 HAS SOUPS 13548 WITH SCORE 13562.548
AT ITER 331 NEW BEST:: SOT 37983 SOS 14524 HAS SOPS 14524 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13538.524
AT ITER 337 NEW BEST:: SOT 37903 SOS 14205 HAS SOPS 14205 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13384.205
AT ITER 343 NEW BEST:: SOT 37868 SOS 14234 HAS SOPS 14234 HAS SOUS 13365 HAS SOUPS 13365 WITH SCORE 13379.234
AT ITER 348 NEW BEST:: SOT 37864 SOS 14226 HAS SOPS 14226 HAS SOUS 13347 HAS SOUPS 13347 WITH SCORE 13361.226
AT ITER 349 NEW BEST:: SOT 37852 SOS 14202 HAS SOPS 14202 HAS SOUS 13323 HAS SOUPS 13323 WITH SCORE 13337.202
AT ITER 350 NEW BEST:: SOT 37852 SOS 14202 HAS SOPS 14202 HAS SOUS 13239 HAS SOUPS 13239 WITH SCORE 13253.202
AT ITER 354 NEW BEST:: SOT 37813 SOS 14163 HAS SOPS 14163 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13214.163
AT ITER 362 NEW BEST:: SOT 37813 SOS 14152 HAS SOPS 14152 HAS SOUS 13189 HAS SOUPS 13189 WITH SCORE 13203.152
AT ITER 364 NEW BEST:: SOT 37789 SOS 14104 HAS SOPS 14104 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13179.104
AT ITER 365 NEW BEST:: SOT 37757 SOS 14040 HAS SOPS 14040 HAS SOUS 13101 HAS SOUPS 13101 WITH SCORE 13115.04
AT ITER 369 NEW BEST:: SOT 37757 SOS 14040 HAS SOPS 14040 HAS SOUS 13041 HAS SOUPS 13041 WITH SCORE 13055.04
AT ITER 372 NEW BEST:: SOT 37731 SOS 14095 HAS SOPS 14095 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13029.095
AT ITER 376 NEW BEST:: SOT 37730 SOS 14093 HAS SOPS 14093 HAS SOUS 13013 HAS SOUPS 13013 WITH SCORE 13027.093
AT ITER 393 NEW BEST:: SOT 37714 SOS 14061 HAS SOPS 14061 HAS SOUS 12981 HAS SOUPS 12981 WITH SCORE 12995.061
AT ITER 397 NEW BEST:: SOT 37649 SOS 13844 HAS SOPS 13844 HAS SOUS 12916 HAS SOUPS 12916 WITH SCORE 12929.844
AT ITER 399 NEW BEST:: SOT 37564 SOS 13820 HAS SOPS 13820 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12858.82
AT ITER 400 NEW BEST:: SOT 37631 SOS 13791 HAS SOPS 13791 HAS SOUS 12824 HAS SOUPS 12824 WITH SCORE 12837.791
AT ITER 403 NEW BEST:: SOT 37585 SOS 13758 HAS SOPS 13758 HAS SOUS 12791 HAS SOUPS 12791 WITH SCORE 12804.758
AT ITER 410 NEW BEST:: SOT 37520 SOS 13628 HAS SOPS 13628 HAS SOUS 12726 HAS SOUPS 12726 WITH SCORE 12739.628
AT ITER 412 NEW BEST:: SOT 37520 SOS 13604 HAS SOPS 13604 HAS SOUS 12726 HAS SOUPS 12726 WITH SCORE 12739.604
AT ITER 413 NEW BEST:: SOT 37499 SOS 13671 HAS SOPS 13671 HAS SOUS 12705 HAS SOUPS 12705 WITH SCORE 12718.671
AT ITER 416 NEW BEST:: SOT 37460 SOS 13593 HAS SOPS 13593 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12679.593
AT ITER 419 NEW BEST:: SOT 37346 SOS 13631 HAS SOPS 13631 HAS SOUS 12617 HAS SOUPS 12617 WITH SCORE 12630.631
AT ITER 420 NEW BEST:: SOT 37291 SOS 13619 HAS SOPS 13619 HAS SOUS 12605 HAS SOUPS 12605 WITH SCORE 12618.619
AT ITER 425 NEW BEST:: SOT 37186 SOS 13409 HAS SOPS 13409 HAS SOUS 12440 HAS SOUPS 12440 WITH SCORE 12453.409
AT ITER 428 NEW BEST:: SOT 37184 SOS 13405 HAS SOPS 13405 HAS SOUS 12436 HAS SOUPS 12436 WITH SCORE 12449.405
AT ITER 429 NEW BEST:: SOT 37183 SOS 13403 HAS SOPS 13403 HAS SOUS 12434 HAS SOUPS 12434 WITH SCORE 12447.403
AT ITER 435 NEW BEST:: SOT 37096 SOS 13229 HAS SOPS 13229 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12360.229
AT ITER 441 NEW BEST:: SOT 37096 SOS 13229 HAS SOPS 13229 HAS SOUS 12298 HAS SOUPS 12298 WITH SCORE 12311.229
AT ITER 442 NEW BEST:: SOT 37035 SOS 13168 HAS SOPS 13168 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12250.168
AT ITER 445 NEW BEST:: SOT 37004 SOS 13106 HAS SOPS 13106 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12188.106
AT ITER 447 NEW BEST:: SOT 36984 SOS 13076 HAS SOPS 13076 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12158.076
AT ITER 448 NEW BEST:: SOT 36979 SOS 13066 HAS SOPS 13066 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12149.066
AT ITER 456 NEW BEST:: SOT 36970 SOS 13048 HAS SOPS 13048 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12143.048
AT ITER 469 NEW BEST:: SOT 36878 SOS 12864 HAS SOPS 12864 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11958.864
AT ITER 473 NEW BEST:: SOT 36834 SOS 12776 HAS SOPS 12776 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11870.776
AT ITER 487 NEW BEST:: SOT 36807 SOS 12722 HAS SOPS 12722 HAS SOUS 11804 HAS SOUPS 11804 WITH SCORE 11816.722
AT ITER 495 NEW BEST:: SOT 36774 SOS 12760 HAS SOPS 12760 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11750.76
AT ITER 503 NEW BEST:: SOT 36729 SOS 12745 HAS SOPS 12745 HAS SOUS 11693 HAS SOUPS 11693 WITH SCORE 11705.745
AT ITER 505 NEW BEST:: SOT 36727 SOS 12741 HAS SOPS 12741 HAS SOUS 11691 HAS SOUPS 11691 WITH SCORE 11703.741
AT ITER 506 NEW BEST:: SOT 36727 SOS 12694 HAS SOPS 12694 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11702.694
AT ITER 508 NEW BEST:: SOT 36727 SOS 12681 HAS SOPS 12681 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11689.681
AT ITER 509 NEW BEST:: SOT 36709 SOS 12717 HAS SOPS 12717 HAS SOUS 11670 HAS SOUPS 11670 WITH SCORE 11682.717
AT ITER 510 NEW BEST:: SOT 36695 SOS 12689 HAS SOPS 12689 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11654.689
AT ITER 516 NEW BEST:: SOT 36694 SOS 12687 HAS SOPS 12687 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11652.687
AT ITER 520 NEW BEST:: SOT 36629 SOS 12557 HAS SOPS 12557 HAS SOUS 11575 HAS SOUPS 11575 WITH SCORE 11587.557
AT ITER 523 NEW BEST:: SOT 36670 SOS 12489 HAS SOPS 12489 HAS SOUS 11557 HAS SOUPS 11557 WITH SCORE 11569.489
AT ITER 526 NEW BEST:: SOT 36670 SOS 12484 HAS SOPS 12484 HAS SOUS 11557 HAS SOUPS 11557 WITH SCORE 11569.484
AT ITER 534 NEW BEST:: SOT 36652 SOS 12448 HAS SOPS 12448 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11551.448
AT ITER 536 NEW BEST:: SOT 36652 SOS 12387 HAS SOPS 12387 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11551.387
AT ITER 539 NEW BEST:: SOT 36649 SOS 12553 HAS SOPS 12553 HAS SOUS 11535 HAS SOUPS 11535 WITH SCORE 11547.553
AT ITER 546 NEW BEST:: SOT 36641 SOS 12670 HAS SOPS 12670 HAS SOUS 11531 HAS SOUPS 11531 WITH SCORE 11543.67
AT ITER 553 NEW BEST:: SOT 36598 SOS 12584 HAS SOPS 12584 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11457.584
AT ITER 555 NEW BEST:: SOT 36564 SOS 12516 HAS SOPS 12516 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11389.516
AT ITER 564 NEW BEST:: SOT 36523 SOS 12374 HAS SOPS 12374 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11348.374
AT ITER 565 NEW BEST:: SOT 36451 SOS 12361 HAS SOPS 12361 HAS SOUS 11251 HAS SOUPS 11251 WITH SCORE 11263.361
AT ITER 577 NEW BEST:: SOT 36427 SOS 12289 HAS SOPS 12289 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11215.289
AT ITER 578 NEW BEST:: SOT 36356 SOS 12258 HAS SOPS 12258 HAS SOUS 11172 HAS SOUPS 11172 WITH SCORE 11184.258
AT ITER 579 NEW BEST:: SOT 36292 SOS 12162 HAS SOPS 12162 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11088.162
AT ITER 594 NEW BEST:: SOT 36292 SOS 12079 HAS SOPS 12079 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11088.079
AT ITER 598 NEW BEST:: SOT 36230 SOS 11955 HAS SOPS 11955 HAS SOUS 10963 HAS SOUPS 10963 WITH SCORE 10974.955
AT ITER 602 NEW BEST:: SOT 36195 SOS 11885 HAS SOPS 11885 HAS SOUS 10928 HAS SOUPS 10928 WITH SCORE 10939.885
AT ITER 603 NEW BEST:: SOT 36170 SOS 11930 HAS SOPS 11930 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10918.93
AT ITER 608 NEW BEST:: SOT 36143 SOS 11917 HAS SOPS 11917 HAS SOUS 10880 HAS SOUPS 10880 WITH SCORE 10891.917
AT ITER 609 NEW BEST:: SOT 36027 SOS 11801 HAS SOPS 11801 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10731.801
AT ITER 613 NEW BEST:: SOT 36027 SOS 11801 HAS SOPS 11801 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10724.801
AT ITER 619 NEW BEST:: SOT 36016 SOS 11779 HAS SOPS 11779 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10713.779
AT ITER 633 NEW BEST:: SOT 36000 SOS 11747 HAS SOPS 11747 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10697.747
AT ITER 634 NEW BEST:: SOT 35996 SOS 11739 HAS SOPS 11739 HAS SOUS 10682 HAS SOUPS 10682 WITH SCORE 10693.739
AT ITER 636 NEW BEST:: SOT 35996 SOS 11658 HAS SOPS 11658 HAS SOUS 10682 HAS SOUPS 10682 WITH SCORE 10693.658
AT ITER 639 NEW BEST:: SOT 35949 SOS 11564 HAS SOPS 11564 HAS SOUS 10635 HAS SOUPS 10635 WITH SCORE 10646.564
AT ITER 640 NEW BEST:: SOT 35925 SOS 11516 HAS SOPS 11516 HAS SOUS 10587 HAS SOUPS 10587 WITH SCORE 10598.516
AT ITER 642 NEW BEST:: SOT 35911 SOS 11488 HAS SOPS 11488 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10570.488
AT ITER 644 NEW BEST:: SOT 35911 SOS 11445 HAS SOPS 11445 HAS SOUS 10548 HAS SOUPS 10548 WITH SCORE 10559.445
AT ITER 648 NEW BEST:: SOT 35911 SOS 11445 HAS SOPS 11445 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10516.445
AT ITER 649 NEW BEST:: SOT 35853 SOS 11329 HAS SOPS 11329 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10423.329
AT ITER 651 NEW BEST:: SOT 35815 SOS 11326 HAS SOPS 11326 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10410.326
AT ITER 658 NEW BEST:: SOT 35797 SOS 11317 HAS SOPS 11317 HAS SOUS 10381 HAS SOUPS 10381 WITH SCORE 10392.317
AT ITER 667 NEW BEST:: SOT 35710 SOS 11246 HAS SOPS 11246 HAS SOUS 10309 HAS SOUPS 10309 WITH SCORE 10320.246
AT ITER 669 NEW BEST:: SOT 35685 SOS 11196 HAS SOPS 11196 HAS SOUS 10259 HAS SOUPS 10259 WITH SCORE 10270.196
AT ITER 676 NEW BEST:: SOT 35683 SOS 11190 HAS SOPS 11190 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10266.19
AT ITER 677 NEW BEST:: SOT 35645 SOS 11114 HAS SOPS 11114 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10196.114
AT ITER 683 NEW BEST:: SOT 35624 SOS 11094 HAS SOPS 11094 HAS SOUS 10165 HAS SOUPS 10165 WITH SCORE 10176.094
AT ITER 684 NEW BEST:: SOT 35629 SOS 11104 HAS SOPS 11104 HAS SOUS 10149 HAS SOUPS 10149 WITH SCORE 10160.104
AT ITER 687 NEW BEST:: SOT 35612 SOS 10945 HAS SOPS 10945 HAS SOUS 10025 HAS SOUPS 10025 WITH SCORE 10035.945
AT ITER 690 NEW BEST:: SOT 35612 SOS 10945 HAS SOPS 10945 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10028.945
AT ITER 706 NEW BEST:: SOT 35567 SOS 10855 HAS SOPS 10855 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9983.855
AT ITER 712 NEW BEST:: SOT 35555 SOS 10831 HAS SOPS 10831 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9948.831
AT ITER 714 NEW BEST:: SOT 35497 SOS 10715 HAS SOPS 10715 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9832.715
AT ITER 720 NEW BEST:: SOT 35489 SOS 10699 HAS SOPS 10699 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9816.699
AT ITER 727 NEW BEST:: SOT 35489 SOS 10699 HAS SOPS 10699 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9797.699
AT ITER 734 NEW BEST:: SOT 35437 SOS 10647 HAS SOPS 10647 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9745.647
AT ITER 736 NEW BEST:: SOT 35393 SOS 10603 HAS SOPS 10603 HAS SOUS 9691 HAS SOUPS 9691 WITH SCORE 9701.603
AT ITER 737 NEW BEST:: SOT 35347 SOS 10738 HAS SOPS 10738 HAS SOUS 9630 HAS SOUPS 9630 WITH SCORE 9640.738
AT ITER 745 NEW BEST:: SOT 35238 SOS 10672 HAS SOPS 10672 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9574.672
AT ITER 747 NEW BEST:: SOT 35151 SOS 10498 HAS SOPS 10498 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9408.498
AT ITER 749 NEW BEST:: SOT 35089 SOS 10374 HAS SOPS 10374 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9273.374
AT ITER 756 NEW BEST:: SOT 35089 SOS 10343 HAS SOPS 10343 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9273.343
AT ITER 761 NEW BEST:: SOT 35100 SOS 10253 HAS SOPS 10253 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9273.253
AT ITER 766 NEW BEST:: SOT 35056 SOS 10165 HAS SOPS 10165 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9229.165
AT ITER 770 NEW BEST:: SOT 35056 SOS 10127 HAS SOPS 10127 HAS SOUS 9181 HAS SOUPS 9181 WITH SCORE 9191.127
AT ITER 772 NEW BEST:: SOT 35052 SOS 10119 HAS SOPS 10119 HAS SOUS 9173 HAS SOUPS 9173 WITH SCORE 9183.119
AT ITER 773 NEW BEST:: SOT 34999 SOS 10013 HAS SOPS 10013 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8984.013
AT ITER 774 NEW BEST:: SOT 34992 SOS 10033 HAS SOPS 10033 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8977.033
AT ITER 775 NEW BEST:: SOT 34965 SOS 9979 HAS SOPS 9979 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8949.979
AT ITER 780 NEW BEST:: SOT 34909 SOS 9867 HAS SOPS 9867 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8837.867
AT ITER 781 NEW BEST:: SOT 34909 SOS 9853 HAS SOPS 9853 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8837.853
AT ITER 783 NEW BEST:: SOT 34909 SOS 9836 HAS SOPS 9836 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8837.836
AT ITER 802 NEW BEST:: SOT 34891 SOS 9839 HAS SOPS 9839 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8807.839
AT ITER 808 NEW BEST:: SOT 34871 SOS 9779 HAS SOPS 9779 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8767.779
AT ITER 823 NEW BEST:: SOT 34827 SOS 9753 HAS SOPS 9753 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8709.753
AT ITER 825 NEW BEST:: SOT 34827 SOS 9729 HAS SOPS 9729 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8709.729
AT ITER 827 NEW BEST:: SOT 34814 SOS 9564 HAS SOPS 9564 HAS SOUS 8628 HAS SOUPS 8628 WITH SCORE 8637.564
AT ITER 829 NEW BEST:: SOT 34814 SOS 9550 HAS SOPS 9550 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8623.55
AT ITER 837 NEW BEST:: SOT 34829 SOS 9319 HAS SOPS 9319 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8588.319
AT ITER 851 NEW BEST:: SOT 34828 SOS 9317 HAS SOPS 9317 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8586.317
AT ITER 864 NEW BEST:: SOT 34772 SOS 9205 HAS SOPS 9205 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8456.205
AT ITER 866 NEW BEST:: SOT 34731 SOS 9123 HAS SOPS 9123 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8406.123
AT ITER 867 NEW BEST:: SOT 34706 SOS 9073 HAS SOPS 9073 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8351.073
AT ITER 868 NEW BEST:: SOT 34706 SOS 9073 HAS SOPS 9073 HAS SOUS 8303 HAS SOUPS 8303 WITH SCORE 8312.073
AT ITER 869 NEW BEST:: SOT 34663 SOS 8987 HAS SOPS 8987 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8296.987
AT ITER 879 NEW BEST:: SOT 34653 SOS 8967 HAS SOPS 8967 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8276.967
AT ITER 886 NEW BEST:: SOT 34653 SOS 8951 HAS SOPS 8951 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8276.951
AT ITER 894 NEW BEST:: SOT 34644 SOS 8997 HAS SOPS 8997 HAS SOUS 8259 HAS SOUPS 8259 WITH SCORE 8267.997
AT ITER 901 NEW BEST:: SOT 34626 SOS 8961 HAS SOPS 8961 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8231.961
AT ITER 920 NEW BEST:: SOT 34617 SOS 8943 HAS SOPS 8943 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8213.943
AT ITER 925 NEW BEST:: SOT 34591 SOS 8932 HAS SOPS 8932 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8202.932
AT ITER 934 NEW BEST:: SOT 34566 SOS 8998 HAS SOPS 8998 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8177.998
AT ITER 935 NEW BEST:: SOT 34560 SOS 8986 HAS SOPS 8986 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8165.986
AT ITER 936 NEW BEST:: SOT 34551 SOS 8986 HAS SOPS 8986 HAS SOUS 8153 HAS SOUPS 8153 WITH SCORE 8161.986
AT ITER 944 NEW BEST:: SOT 34539 SOS 8962 HAS SOPS 8962 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8149.962
AT ITER 963 NEW BEST:: SOT 34539 SOS 8962 HAS SOPS 8962 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8116.962
AT ITER 964 NEW BEST:: SOT 34534 SOS 8946 HAS SOPS 8946 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8106.946
AT ITER 967 NEW BEST:: SOT 34531 SOS 8940 HAS SOPS 8940 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8103.94
AT ITER 972 NEW BEST:: SOT 34464 SOS 8859 HAS SOPS 8859 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8022.859
AT ITER 974 NEW BEST:: SOT 34417 SOS 8765 HAS SOPS 8765 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7905.765
AT ITER 981 NEW BEST:: SOT 34394 SOS 8762 HAS SOPS 8762 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7902.762
AT ITER 982 NEW BEST:: SOT 34390 SOS 8726 HAS SOPS 8726 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7894.726
AT ITER 984 NEW BEST:: SOT 34340 SOS 8626 HAS SOPS 8626 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7791.626
AT ITER 991 NEW BEST:: SOT 34272 SOS 8490 HAS SOPS 8490 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7723.49
AT ITER 996 NEW BEST:: SOT 34252 SOS 8473 HAS SOPS 8473 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7703.473
AT ITER 997 NEW BEST:: SOT 34277 SOS 8523 HAS SOPS 8523 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7657.523
AT ITER 1000 NEW BEST:: SOT 34233 SOS 8435 HAS SOPS 8435 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7613.435
AT ITER 1009 NEW BEST:: SOT 34206 SOS 8381 HAS SOPS 8381 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7559.381
AT ITER 1010 NEW BEST:: SOT 34189 SOS 8347 HAS SOPS 8347 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7542.347
AT ITER 1013 NEW BEST:: SOT 34112 SOS 8193 HAS SOPS 8193 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7465.193
AT ITER 1034 NEW BEST:: SOT 34112 SOS 8160 HAS SOPS 8160 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7465.16
AT ITER 1036 NEW BEST:: SOT 34100 SOS 8120 HAS SOPS 8120 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7437.12
AT ITER 1040 NEW BEST:: SOT 34098 SOS 8116 HAS SOPS 8116 HAS SOUS 7427 HAS SOUPS 7427 WITH SCORE 7435.116
AT ITER 1049 NEW BEST:: SOT 34080 SOS 8080 HAS SOPS 8080 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7417.08
AT ITER 1062 NEW BEST:: SOT 34080 SOS 8078 HAS SOPS 8078 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7415.078
AT ITER 1075 NEW BEST:: SOT 34077 SOS 8072 HAS SOPS 8072 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7412.072
AT ITER 1079 NEW BEST:: SOT 34057 SOS 8032 HAS SOPS 8032 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7377.032
AT ITER 1085 NEW BEST:: SOT 34030 SOS 7978 HAS SOPS 7978 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7322.978
AT ITER 1086 NEW BEST:: SOT 34030 SOS 7977 HAS SOPS 7977 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7322.977
AT ITER 1089 NEW BEST:: SOT 34017 SOS 7938 HAS SOPS 7938 HAS SOUS 7289 HAS SOUPS 7289 WITH SCORE 7296.938
AT ITER 1102 NEW BEST:: SOT 34007 SOS 7918 HAS SOPS 7918 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7276.918
AT ITER 1104 NEW BEST:: SOT 33997 SOS 7898 HAS SOPS 7898 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7258.898
AT ITER 1132 NEW BEST:: SOT 33984 SOS 7872 HAS SOPS 7872 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7255.872
AT ITER 1136 NEW BEST:: SOT 33961 SOS 7861 HAS SOPS 7861 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7232.861
AT ITER 1143 NEW BEST:: SOT 33956 SOS 7900 HAS SOPS 7900 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7227.9
AT ITER 1157 NEW BEST:: SOT 33980 SOS 8041 HAS SOPS 8041 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7223.041
AT ITER 1161 NEW BEST:: SOT 33988 SOS 7992 HAS SOPS 7992 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7191.992
AT ITER 1166 NEW BEST:: SOT 33970 SOS 7956 HAS SOPS 7956 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7178.956
AT ITER 1176 NEW BEST:: SOT 33970 SOS 7949 HAS SOPS 7949 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7178.949
AT ITER 1183 NEW BEST:: SOT 33956 SOS 7938 HAS SOPS 7938 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7164.938
AT ITER 1188 NEW BEST:: SOT 33956 SOS 7938 HAS SOPS 7938 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7145.938
AT ITER 1189 NEW BEST:: SOT 33949 SOS 7924 HAS SOPS 7924 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7131.924
AT ITER 1190 NEW BEST:: SOT 33943 SOS 7912 HAS SOPS 7912 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7127.912
AT ITER 1196 NEW BEST:: SOT 33961 SOS 7888 HAS SOPS 7888 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7114.888
AT ITER 1202 NEW BEST:: SOT 33937 SOS 7852 HAS SOPS 7852 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7078.852
AT ITER 1204 NEW BEST:: SOT 33908 SOS 7825 HAS SOPS 7825 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7051.825
AT ITER 1212 NEW BEST:: SOT 33877 SOS 7807 HAS SOPS 7807 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.807
AT ITER 1221 NEW BEST:: SOT 33877 SOS 7798 HAS SOPS 7798 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.798
AT ITER 1238 NEW BEST:: SOT 33857 SOS 7758 HAS SOPS 7758 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7005.758
AT ITER 1239 NEW BEST:: SOT 33857 SOS 7754 HAS SOPS 7754 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7005.754
AT ITER 1240 NEW BEST:: SOT 33848 SOS 7736 HAS SOPS 7736 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6987.736
AT ITER 1246 NEW BEST:: SOT 33846 SOS 7732 HAS SOPS 7732 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6974.732
AT ITER 1247 NEW BEST:: SOT 33833 SOS 7706 HAS SOPS 7706 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6906.706
AT ITER 1249 NEW BEST:: SOT 33775 SOS 7619 HAS SOPS 7619 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6819.619
AT ITER 1251 NEW BEST:: SOT 33775 SOS 7619 HAS SOPS 7619 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6804.619
AT ITER 1252 NEW BEST:: SOT 33775 SOS 7619 HAS SOPS 7619 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6798.619
AT ITER 1260 NEW BEST:: SOT 33731 SOS 7572 HAS SOPS 7572 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6751.572
AT ITER 1263 NEW BEST:: SOT 33731 SOS 7546 HAS SOPS 7546 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6751.546
AT ITER 1264 NEW BEST:: SOT 33731 SOS 7499 HAS SOPS 7499 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6751.499
AT ITER 1265 NEW BEST:: SOT 33731 SOS 7499 HAS SOPS 7499 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6745.499
AT ITER 1266 NEW BEST:: SOT 33720 SOS 7407 HAS SOPS 7407 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6725.407
AT ITER 1267 NEW BEST:: SOT 33711 SOS 7389 HAS SOPS 7389 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6672.389
AT ITER 1278 NEW BEST:: SOT 33704 SOS 7379 HAS SOPS 7379 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.379
AT ITER 1284 NEW BEST:: SOT 33683 SOS 7337 HAS SOPS 7337 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6620.337
AT ITER 1294 NEW BEST:: SOT 33634 SOS 7281 HAS SOPS 7281 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6537.281
AT ITER 1296 NEW BEST:: SOT 33601 SOS 7215 HAS SOPS 7215 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6442.215
AT ITER 1300 NEW BEST:: SOT 33588 SOS 7211 HAS SOPS 7211 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6425.211
AT ITER 1301 NEW BEST:: SOT 33539 SOS 7036 HAS SOPS 7036 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6352.036
AT ITER 1303 NEW BEST:: SOT 33529 SOS 7016 HAS SOPS 7016 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6332.016
AT ITER 1304 NEW BEST:: SOT 33529 SOS 7016 HAS SOPS 7016 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6314.016
AT ITER 1318 NEW BEST:: SOT 33529 SOS 7008 HAS SOPS 7008 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6314.008
AT ITER 1322 NEW BEST:: SOT 33504 SOS 6958 HAS SOPS 6958 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6283.958
AT ITER 1346 NEW BEST:: SOT 33488 SOS 6926 HAS SOPS 6926 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6249.926
AT ITER 1350 NEW BEST:: SOT 33488 SOS 6887 HAS SOPS 6887 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6249.887
AT ITER 1372 NEW BEST:: SOT 33505 SOS 6839 HAS SOPS 6839 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6232.839
AT ITER 1373 NEW BEST:: SOT 33505 SOS 6806 HAS SOPS 6806 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6199.806
AT ITER 1375 NEW BEST:: SOT 33499 SOS 6762 HAS SOPS 6762 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6193.762
AT ITER 1379 NEW BEST:: SOT 33463 SOS 6690 HAS SOPS 6690 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6121.69
AT ITER 1396 NEW BEST:: SOT 33448 SOS 6660 HAS SOPS 6660 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6106.66
AT ITER 1403 NEW BEST:: SOT 33445 SOS 6654 HAS SOPS 6654 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6103.654
AT ITER 1416 NEW BEST:: SOT 33442 SOS 6648 HAS SOPS 6648 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6100.648
AT ITER 1419 NEW BEST:: SOT 33439 SOS 6638 HAS SOPS 6638 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6093.638
AT ITER 1425 NEW BEST:: SOT 33414 SOS 6613 HAS SOPS 6613 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6068.613
AT ITER 1448 NEW BEST:: SOT 33410 SOS 6605 HAS SOPS 6605 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6055.605
AT ITER 1454 NEW BEST:: SOT 33393 SOS 6571 HAS SOPS 6571 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6021.571
AT ITER 1479 NEW BEST:: SOT 33391 SOS 6567 HAS SOPS 6567 HAS SOUS 6011 HAS SOUPS 6011 WITH SCORE 6017.567
AT ITER 1482 NEW BEST:: SOT 33380 SOS 6545 HAS SOPS 6545 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6006.545
AT ITER 1483 NEW BEST:: SOT 33360 SOS 6515 HAS SOPS 6515 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5976.515
AT ITER 1503 NEW BEST:: SOT 33351 SOS 6497 HAS SOPS 6497 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5958.497
AT ITER 1504 NEW BEST:: SOT 33348 SOS 6491 HAS SOPS 6491 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5954.491
AT ITER 1510 NEW BEST:: SOT 33352 SOS 6474 HAS SOPS 6474 HAS SOUS 5931 HAS SOUPS 5931 WITH SCORE 5937.474
AT ITER 1514 NEW BEST:: SOT 33324 SOS 6453 HAS SOPS 6453 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5915.453
AT ITER 1528 NEW BEST:: SOT 33308 SOS 6421 HAS SOPS 6421 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5883.421
AT ITER 1535 NEW BEST:: SOT 33293 SOS 6495 HAS SOPS 6495 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5864.495
AT ITER 1540 NEW BEST:: SOT 33285 SOS 6479 HAS SOPS 6479 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5848.479
AT ITER 1545 NEW BEST:: SOT 33246 SOS 6442 HAS SOPS 6442 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5809.442
AT ITER 1557 NEW BEST:: SOT 33232 SOS 6414 HAS SOPS 6414 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5795.414
AT ITER 1568 NEW BEST:: SOT 33235 SOS 6404 HAS SOPS 6404 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5785.404
AT ITER 1577 NEW BEST:: SOT 33231 SOS 6392 HAS SOPS 6392 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.392
AT ITER 1580 NEW BEST:: SOT 33226 SOS 6351 HAS SOPS 6351 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5764.351
AT ITER 1586 NEW BEST:: SOT 33221 SOS 6341 HAS SOPS 6341 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5754.341
AT ITER 1652 NEW BEST:: SOT 33220 SOS 6432 HAS SOPS 6432 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5753.432
AT ITER 1659 NEW BEST:: SOT 33183 SOS 6358 HAS SOPS 6358 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5679.358
AT ITER 1680 NEW BEST:: SOT 33165 SOS 6322 HAS SOPS 6322 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5647.322
AT ITER 1688 NEW BEST:: SOT 33162 SOS 6316 HAS SOPS 6316 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5629.316
AT ITER 1694 NEW BEST:: SOT 33162 SOS 6316 HAS SOPS 6316 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5612.316
AT ITER 1698 NEW BEST:: SOT 33162 SOS 6316 HAS SOPS 6316 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.316
AT ITER 1702 NEW BEST:: SOT 33164 SOS 6320 HAS SOPS 6320 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5573.32
AT ITER 1707 NEW BEST:: SOT 33164 SOS 6320 HAS SOPS 6320 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.32
AT ITER 1711 NEW BEST:: SOT 33137 SOS 6318 HAS SOPS 6318 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5532.318
AT ITER 1713 NEW BEST:: SOT 33092 SOS 6228 HAS SOPS 6228 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5442.228
AT ITER 1731 NEW BEST:: SOT 33052 SOS 6148 HAS SOPS 6148 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.148
AT ITER 1737 NEW BEST:: SOT 33052 SOS 6148 HAS SOPS 6148 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5355.148
AT ITER 1762 NEW BEST:: SOT 33025 SOS 6094 HAS SOPS 6094 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5318.094
AT ITER 1781 NEW BEST:: SOT 33022 SOS 6136 HAS SOPS 6136 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5315.136
AT ITER 1814 NEW BEST:: SOT 33006 SOS 6120 HAS SOPS 6120 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5299.12
AT ITER 1824 NEW BEST:: SOT 33002 SOS 6112 HAS SOPS 6112 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5291.112
AT ITER 1826 NEW BEST:: SOT 32997 SOS 6102 HAS SOPS 6102 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5286.102
AT ITER 1828 NEW BEST:: SOT 32997 SOS 6053 HAS SOPS 6053 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5286.053
AT ITER 1835 NEW BEST:: SOT 32984 SOS 6040 HAS SOPS 6040 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5273.04
AT ITER 1856 NEW BEST:: SOT 32982 SOS 6051 HAS SOPS 6051 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5271.051
AT ITER 1858 NEW BEST:: SOT 32989 SOS 6049 HAS SOPS 6049 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5269.049
AT ITER 1884 NEW BEST:: SOT 32974 SOS 6037 HAS SOPS 6037 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5239.037
AT ITER 1891 NEW BEST:: SOT 32965 SOS 6019 HAS SOPS 6019 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5234.019
AT ITER 1895 NEW BEST:: SOT 32941 SOS 5993 HAS SOPS 5993 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5207.993
AT ITER 1910 NEW BEST:: SOT 32971 SOS 6053 HAS SOPS 6053 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5206.053
AT ITER 1924 NEW BEST:: SOT 32965 SOS 6041 HAS SOPS 6041 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5194.041
AT ITER 1927 NEW BEST:: SOT 32958 SOS 6018 HAS SOPS 6018 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5178.018
AT ITER 1938 NEW BEST:: SOT 32962 SOS 5992 HAS SOPS 5992 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5154.992
AT ITER 1947 NEW BEST:: SOT 32952 SOS 5928 HAS SOPS 5928 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5144.928
AT ITER 1956 NEW BEST:: SOT 32932 SOS 5903 HAS SOPS 5903 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5119.903
AT ITER 1963 NEW BEST:: SOT 32892 SOS 5900 HAS SOPS 5900 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5079.9
AT ITER 1976 NEW BEST:: SOT 32886 SOS 5888 HAS SOPS 5888 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5073.888
AT ITER 1998 NEW BEST:: SOT 32875 SOS 5866 HAS SOPS 5866 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5047.866
AT ITER 2005 NEW BEST:: SOT 32875 SOS 5820 HAS SOPS 5820 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5047.82
AT ITER 2046 NEW BEST:: SOT 32847 SOS 5764 HAS SOPS 5764 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5035.764
AT ITER 2053 NEW BEST:: SOT 32831 SOS 5732 HAS SOPS 5732 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5019.732
AT ITER 2074 NEW BEST:: SOT 32826 SOS 5709 HAS SOPS 5709 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5006.709
AT ITER 2081 NEW BEST:: SOT 32786 SOS 5629 HAS SOPS 5629 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.629
AT ITER 2086 NEW BEST:: SOT 32774 SOS 5686 HAS SOPS 5686 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4954.686
AT ITER 2100 NEW BEST:: SOT 32716 SOS 5570 HAS SOPS 5570 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4870.57
AT ITER 2106 NEW BEST:: SOT 32716 SOS 5555 HAS SOPS 5555 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4870.555
AT ITER 2108 NEW BEST:: SOT 32707 SOS 5514 HAS SOPS 5514 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4861.514
AT ITER 2110 NEW BEST:: SOT 32672 SOS 5444 HAS SOPS 5444 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4837.444
AT ITER 2115 NEW BEST:: SOT 32672 SOS 5439 HAS SOPS 5439 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4832.439
AT ITER 2150 NEW BEST:: SOT 32672 SOS 5439 HAS SOPS 5439 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4813.439
AT ITER 2160 NEW BEST:: SOT 32671 SOS 5437 HAS SOPS 5437 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4811.437
AT ITER 2161 NEW BEST:: SOT 32640 SOS 5344 HAS SOPS 5344 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4767.344
AT ITER 2164 NEW BEST:: SOT 32596 SOS 5256 HAS SOPS 5256 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4679.256
AT ITER 2167 NEW BEST:: SOT 32555 SOS 5174 HAS SOPS 5174 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.174
AT ITER 2170 NEW BEST:: SOT 32552 SOS 5168 HAS SOPS 5168 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4625.168
AT ITER 2183 NEW BEST:: SOT 32552 SOS 5117 HAS SOPS 5117 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4625.117
AT ITER 2196 NEW BEST:: SOT 32535 SOS 5083 HAS SOPS 5083 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4608.083
AT ITER 2207 NEW BEST:: SOT 32533 SOS 5081 HAS SOPS 5081 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4606.081
AT ITER 2241 NEW BEST:: SOT 32532 SOS 5079 HAS SOPS 5079 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4605.079
AT ITER 2254 NEW BEST:: SOT 32491 SOS 5044 HAS SOPS 5044 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.044
AT ITER 2257 NEW BEST:: SOT 32488 SOS 5061 HAS SOPS 5061 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4561.061
AT ITER 2259 NEW BEST:: SOT 32496 SOS 5077 HAS SOPS 5077 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4557.077
AT ITER 2265 NEW BEST:: SOT 32471 SOS 5054 HAS SOPS 5054 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4534.054
AT ITER 2276 NEW BEST:: SOT 32469 SOS 5050 HAS SOPS 5050 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4530.05
AT ITER 2281 NEW BEST:: SOT 32463 SOS 5032 HAS SOPS 5032 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4524.032
AT ITER 2283 NEW BEST:: SOT 32438 SOS 5011 HAS SOPS 5011 HAS SOUS 4494 HAS SOUPS 4494 WITH SCORE 4499.011
AT ITER 2295 NEW BEST:: SOT 32438 SOS 5011 HAS SOPS 5011 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4491.011
AT ITER 2296 NEW BEST:: SOT 32415 SOS 4924 HAS SOPS 4924 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4460.924
AT ITER 2309 NEW BEST:: SOT 32414 SOS 4923 HAS SOPS 4923 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4458.923
AT ITER 2315 NEW BEST:: SOT 32414 SOS 4917 HAS SOPS 4917 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4458.917
AT ITER 2348 NEW BEST:: SOT 32412 SOS 4913 HAS SOPS 4913 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4431.913
AT ITER 2353 NEW BEST:: SOT 32395 SOS 4894 HAS SOPS 4894 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4412.894
AT ITER 2355 NEW BEST:: SOT 32352 SOS 4752 HAS SOPS 4752 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4313.752
AT ITER 2366 NEW BEST:: SOT 32339 SOS 4726 HAS SOPS 4726 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4257.726
AT ITER 2372 NEW BEST:: SOT 32335 SOS 4718 HAS SOPS 4718 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4241.718
AT ITER 2383 NEW BEST:: SOT 32335 SOS 4718 HAS SOPS 4718 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4236.718
AT ITER 2389 NEW BEST:: SOT 32332 SOS 4712 HAS SOPS 4712 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4235.712
AT ITER 2391 NEW BEST:: SOT 32330 SOS 4708 HAS SOPS 4708 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4233.708
AT ITER 2407 NEW BEST:: SOT 32324 SOS 4696 HAS SOPS 4696 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4221.696
AT ITER 2426 NEW BEST:: SOT 32299 SOS 4646 HAS SOPS 4646 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.646
AT ITER 2432 NEW BEST:: SOT 32293 SOS 4634 HAS SOPS 4634 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4187.634
AT ITER 2439 NEW BEST:: SOT 32293 SOS 4634 HAS SOPS 4634 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4186.634
AT ITER 2442 NEW BEST:: SOT 32273 SOS 4594 HAS SOPS 4594 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4146.594
AT ITER 2459 NEW BEST:: SOT 32263 SOS 4574 HAS SOPS 4574 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.574
AT ITER 2474 NEW BEST:: SOT 32263 SOS 4574 HAS SOPS 4574 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4119.574
AT ITER 2477 NEW BEST:: SOT 32263 SOS 4574 HAS SOPS 4574 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4117.574
AT ITER 2484 NEW BEST:: SOT 32258 SOS 4593 HAS SOPS 4593 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4112.593
AT ITER 2490 NEW BEST:: SOT 32274 SOS 4590 HAS SOPS 4590 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4109.59
AT ITER 2521 NEW BEST:: SOT 32259 SOS 4560 HAS SOPS 4560 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4092.56
AT ITER 2522 NEW BEST:: SOT 32242 SOS 4505 HAS SOPS 4505 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.505
AT ITER 2524 NEW BEST:: SOT 32228 SOS 4477 HAS SOPS 4477 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4018.477
AT ITER 2549 NEW BEST:: SOT 32225 SOS 4471 HAS SOPS 4471 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4015.471
AT ITER 2551 NEW BEST:: SOT 32225 SOS 4451 HAS SOPS 4451 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4008.451
AT ITER 2553 NEW BEST:: SOT 32225 SOS 4438 HAS SOPS 4438 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4008.438
AT ITER 2554 NEW BEST:: SOT 32225 SOS 4438 HAS SOPS 4438 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3990.438
AT ITER 2570 NEW BEST:: SOT 32194 SOS 4376 HAS SOPS 4376 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3920.376
AT ITER 2580 NEW BEST:: SOT 32183 SOS 4365 HAS SOPS 4365 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3909.365
AT ITER 2584 NEW BEST:: SOT 32172 SOS 4330 HAS SOPS 4330 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.33
AT ITER 2589 NEW BEST:: SOT 32168 SOS 4322 HAS SOPS 4322 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3884.322
AT ITER 2601 NEW BEST:: SOT 32151 SOS 4344 HAS SOPS 4344 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.344
AT ITER 2605 NEW BEST:: SOT 32135 SOS 4368 HAS SOPS 4368 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3858.368
AT ITER 2615 NEW BEST:: SOT 32114 SOS 4277 HAS SOPS 4277 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3797.277
AT ITER 2618 NEW BEST:: SOT 32094 SOS 4237 HAS SOPS 4237 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3754.237
AT ITER 2639 NEW BEST:: SOT 32094 SOS 4237 HAS SOPS 4237 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.237
AT ITER 2640 NEW BEST:: SOT 32081 SOS 4188 HAS SOPS 4188 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3723.188
AT ITER 2641 NEW BEST:: SOT 32081 SOS 4176 HAS SOPS 4176 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3723.176
AT ITER 2662 NEW BEST:: SOT 32067 SOS 4148 HAS SOPS 4148 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3709.148
AT ITER 2663 NEW BEST:: SOT 32056 SOS 4158 HAS SOPS 4158 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3701.158
AT ITER 2690 NEW BEST:: SOT 32053 SOS 4152 HAS SOPS 4152 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3697.152
AT ITER 2703 NEW BEST:: SOT 32048 SOS 4171 HAS SOPS 4171 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3687.171
AT ITER 2716 NEW BEST:: SOT 32046 SOS 4167 HAS SOPS 4167 HAS SOUS 3679 HAS SOUPS 3679 WITH SCORE 3683.167
AT ITER 2724 NEW BEST:: SOT 32036 SOS 4147 HAS SOPS 4147 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.147
AT ITER 2747 NEW BEST:: SOT 32035 SOS 4145 HAS SOPS 4145 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3672.145
AT ITER 2824 NEW BEST:: SOT 32010 SOS 4133 HAS SOPS 4133 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.133
AT ITER 2839 NEW BEST:: SOT 32005 SOS 4123 HAS SOPS 4123 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3630.123
AT ITER 2852 NEW BEST:: SOT 32002 SOS 4120 HAS SOPS 4120 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3627.12
AT ITER 2858 NEW BEST:: SOT 31976 SOS 4068 HAS SOPS 4068 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3573.068
AT ITER 2865 NEW BEST:: SOT 31977 SOS 4056 HAS SOPS 4056 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3565.056
AT ITER 2868 NEW BEST:: SOT 31965 SOS 4020 HAS SOPS 4020 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3541.02
AT ITER 2890 NEW BEST:: SOT 31966 SOS 4013 HAS SOPS 4013 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3534.013
AT ITER 2929 NEW BEST:: SOT 31964 SOS 4009 HAS SOPS 4009 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3530.009
AT ITER 2939 NEW BEST:: SOT 31955 SOS 3991 HAS SOPS 3991 HAS SOUS 3509 HAS SOUPS 3509 WITH SCORE 3512.991
AT ITER 2955 NEW BEST:: SOT 31927 SOS 3935 HAS SOPS 3935 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3471.935
AT ITER 2999 NEW BEST:: SOT 31927 SOS 3915 HAS SOPS 3915 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3471.915
AT ITER 3002 NEW BEST:: SOT 31925 SOS 3908 HAS SOPS 3908 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3466.908
AT ITER 3004 NEW BEST:: SOT 31925 SOS 3889 HAS SOPS 3889 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3466.889
AT ITER 3072 NEW BEST:: SOT 31921 SOS 3881 HAS SOPS 3881 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3464.881
AT ITER 3079 NEW BEST:: SOT 31918 SOS 3875 HAS SOPS 3875 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3458.875
AT ITER 3084 NEW BEST:: SOT 31898 SOS 3835 HAS SOPS 3835 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3429.835
AT ITER 3107 NEW BEST:: SOT 31900 SOS 3839 HAS SOPS 3839 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3428.839
AT ITER 3137 NEW BEST:: SOT 31887 SOS 3813 HAS SOPS 3813 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3402.813
AT ITER 3150 NEW BEST:: SOT 31870 SOS 3779 HAS SOPS 3779 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3385.779
AT ITER 3233 NEW BEST:: SOT 31865 SOS 3769 HAS SOPS 3769 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3385.769
AT ITER 3258 NEW BEST:: SOT 31856 SOS 3751 HAS SOPS 3751 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3367.751
AT ITER 3280 NEW BEST:: SOT 31849 SOS 3737 HAS SOPS 3737 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3358.737
AT ITER 3292 NEW BEST:: SOT 31839 SOS 3717 HAS SOPS 3717 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.717
AT ITER 3300 NEW BEST:: SOT 31838 SOS 3715 HAS SOPS 3715 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.715
AT ITER 3301 NEW BEST:: SOT 31852 SOS 3701 HAS SOPS 3701 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.701
AT ITER 3331 NEW BEST:: SOT 31847 SOS 3691 HAS SOPS 3691 HAS SOUS 3311 HAS SOUPS 3311 WITH SCORE 3314.691
AT ITER 3393 NEW BEST:: SOT 31840 SOS 3663 HAS SOPS 3663 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3293.663
AT ITER 3422 NEW BEST:: SOT 31834 SOS 3617 HAS SOPS 3617 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.617
AT ITER 3434 NEW BEST:: SOT 31824 SOS 3597 HAS SOPS 3597 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3247.597
AT ITER 3474 NEW BEST:: SOT 31822 SOS 3595 HAS SOPS 3595 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3245.595
AT ITER 3505 NEW BEST:: SOT 31806 SOS 3563 HAS SOPS 3563 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3219.563
AT ITER 3549 NEW BEST:: SOT 31806 SOS 3555 HAS SOPS 3555 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3211.555
AT ITER 3557 NEW BEST:: SOT 31804 SOS 3545 HAS SOPS 3545 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.545
AT ITER 3567 NEW BEST:: SOT 31816 SOS 3534 HAS SOPS 3534 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.534
AT ITER 3570 NEW BEST:: SOT 31810 SOS 3495 HAS SOPS 3495 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3190.495
AT ITER 3607 NEW BEST:: SOT 31805 SOS 3485 HAS SOPS 3485 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3180.485
AT ITER 3609 NEW BEST:: SOT 31804 SOS 3483 HAS SOPS 3483 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3179.483
AT ITER 3654 NEW BEST:: SOT 31805 SOS 3458 HAS SOPS 3458 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3159.458
AT ITER 3661 NEW BEST:: SOT 31800 SOS 3448 HAS SOPS 3448 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3154.448
AT ITER 3662 NEW BEST:: SOT 31800 SOS 3445 HAS SOPS 3445 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3151.445
AT ITER 3679 NEW BEST:: SOT 31788 SOS 3433 HAS SOPS 3433 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3139.433
AT ITER 3693 NEW BEST:: SOT 31778 SOS 3413 HAS SOPS 3413 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3119.413
AT ITER 3729 NEW BEST:: SOT 31776 SOS 3409 HAS SOPS 3409 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.409
AT ITER 3758 NEW BEST:: SOT 31775 SOS 3409 HAS SOPS 3409 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.409
AT ITER 3764 NEW BEST:: SOT 31769 SOS 3397 HAS SOPS 3397 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.397
AT ITER 3774 NEW BEST:: SOT 31763 SOS 3391 HAS SOPS 3391 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.391
AT ITER 3807 NEW BEST:: SOT 31765 SOS 3365 HAS SOPS 3365 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.365
AT ITER 3823 NEW BEST:: SOT 31735 SOS 3335 HAS SOPS 3335 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3046.335
AT ITER 3841 NEW BEST:: SOT 31735 SOS 3335 HAS SOPS 3335 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3042.335
AT ITER 3881 NEW BEST:: SOT 31730 SOS 3325 HAS SOPS 3325 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3040.325
AT ITER 3899 NEW BEST:: SOT 31721 SOS 3307 HAS SOPS 3307 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.307
AT ITER 3901 NEW BEST:: SOT 31709 SOS 3241 HAS SOPS 3241 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3000.241
AT ITER 3905 NEW BEST:: SOT 31708 SOS 3240 HAS SOPS 3240 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 2999.24
AT ITER 3922 NEW BEST:: SOT 31698 SOS 3230 HAS SOPS 3230 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2981.23
AT ITER 3926 NEW BEST:: SOT 31683 SOS 3200 HAS SOPS 3200 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2951.2
AT ITER 3933 NEW BEST:: SOT 31679 SOS 3192 HAS SOPS 3192 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2942.192
AT ITER 3939 NEW BEST:: SOT 31679 SOS 3168 HAS SOPS 3168 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2942.168
AT ITER 3970 NEW BEST:: SOT 31678 SOS 3166 HAS SOPS 3166 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2941.166
AT ITER 3991 NEW BEST:: SOT 31663 SOS 3136 HAS SOPS 3136 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2910.136
AT ITER 4065 NEW BEST:: SOT 31639 SOS 3064 HAS SOPS 3064 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.064
AT ITER 4086 NEW BEST:: SOT 31633 SOS 3052 HAS SOPS 3052 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.052
AT ITER 4113 NEW BEST:: SOT 31631 SOS 3034 HAS SOPS 3034 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.034
AT ITER 4135 NEW BEST:: SOT 31631 SOS 3034 HAS SOPS 3034 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2824.034
AT ITER 4140 NEW BEST:: SOT 31617 SOS 3026 HAS SOPS 3026 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.026
AT ITER 4176 NEW BEST:: SOT 31580 SOS 3000 HAS SOPS 3000 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.0
AT ITER 4183 NEW BEST:: SOT 31582 SOS 2999 HAS SOPS 2999 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2757.999
AT ITER 4199 NEW BEST:: SOT 31582 SOS 2995 HAS SOPS 2995 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2757.995
AT ITER 4200 NEW BEST:: SOT 31573 SOS 2987 HAS SOPS 2987 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2748.987
AT ITER 4213 NEW BEST:: SOT 31564 SOS 2981 HAS SOPS 2981 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2742.981
AT ITER 4230 NEW BEST:: SOT 31552 SOS 2957 HAS SOPS 2957 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2720.957
AT ITER 4269 NEW BEST:: SOT 31538 SOS 2943 HAS SOPS 2943 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2706.943
AT ITER 4275 NEW BEST:: SOT 31533 SOS 2928 HAS SOPS 2928 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2696.928
AT ITER 4287 NEW BEST:: SOT 31532 SOS 2926 HAS SOPS 2926 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2694.926
AT ITER 4360 NEW BEST:: SOT 31522 SOS 2915 HAS SOPS 2915 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2683.915
AT ITER 4363 NEW BEST:: SOT 31510 SOS 2891 HAS SOPS 2891 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2659.891
AT ITER 4379 NEW BEST:: SOT 31510 SOS 2891 HAS SOPS 2891 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2657.891
AT ITER 4382 NEW BEST:: SOT 31508 SOS 2888 HAS SOPS 2888 HAS SOUS 2652 HAS SOUPS 2652 WITH SCORE 2654.888
AT ITER 4447 NEW BEST:: SOT 31504 SOS 2884 HAS SOPS 2884 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2650.884
AT ITER 4459 NEW BEST:: SOT 31502 SOS 2880 HAS SOPS 2880 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2647.88
AT ITER 4478 NEW BEST:: SOT 31500 SOS 2876 HAS SOPS 2876 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2643.876
AT ITER 4479 NEW BEST:: SOT 31500 SOS 2869 HAS SOPS 2869 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2643.869
AT ITER 4536 NEW BEST:: SOT 31495 SOS 2859 HAS SOPS 2859 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2643.859
AT ITER 4577 NEW BEST:: SOT 31480 SOS 2829 HAS SOPS 2829 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2613.829
AT ITER 4595 NEW BEST:: SOT 31478 SOS 2825 HAS SOPS 2825 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2609.825
AT ITER 4616 NEW BEST:: SOT 31477 SOS 2823 HAS SOPS 2823 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2603.823
AT ITER 4675 NEW BEST:: SOT 31465 SOS 2819 HAS SOPS 2819 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2591.819
AT ITER 4691 NEW BEST:: SOT 31455 SOS 2799 HAS SOPS 2799 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2562.799
AT ITER 4700 NEW BEST:: SOT 31441 SOS 2771 HAS SOPS 2771 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2541.771
AT ITER 4706 NEW BEST:: SOT 31435 SOS 2759 HAS SOPS 2759 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2535.759
AT ITER 4813 NEW BEST:: SOT 31435 SOS 2753 HAS SOPS 2753 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2529.753
AT ITER 4837 NEW BEST:: SOT 31427 SOS 2737 HAS SOPS 2737 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2513.737
AT ITER 4852 NEW BEST:: SOT 31426 SOS 2735 HAS SOPS 2735 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2511.735
AT ITER 4857 NEW BEST:: SOT 31426 SOS 2735 HAS SOPS 2735 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2508.735
AT ITER 4879 NEW BEST:: SOT 31427 SOS 2729 HAS SOPS 2729 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2502.729
AT ITER 4928 NEW BEST:: SOT 31427 SOS 2729 HAS SOPS 2729 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2501.729
AT ITER 4958 NEW BEST:: SOT 31420 SOS 2715 HAS SOPS 2715 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2498.715
AT ITER 4961 NEW BEST:: SOT 31419 SOS 2713 HAS SOPS 2713 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.713
AT ITER 4989 NEW BEST:: SOT 31407 SOS 2689 HAS SOPS 2689 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.689
AT ITER 5004 NEW BEST:: SOT 31401 SOS 2683 HAS SOPS 2683 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2479.683
AT ITER 5042 NEW BEST:: SOT 31397 SOS 2683 HAS SOPS 2683 HAS SOUS 2473 HAS SOUPS 2473 WITH SCORE 2475.683
AT ITER 5046 NEW BEST:: SOT 31395 SOS 2671 HAS SOPS 2671 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.671
AT ITER 5054 NEW BEST:: SOT 31396 SOS 2661 HAS SOPS 2661 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.661
AT ITER 5057 NEW BEST:: SOT 31382 SOS 2633 HAS SOPS 2633 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2435.633
AT ITER 5123 NEW BEST:: SOT 31372 SOS 2658 HAS SOPS 2658 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.658
AT ITER 5135 NEW BEST:: SOT 31386 SOS 2611 HAS SOPS 2611 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.611
AT ITER 5163 NEW BEST:: SOT 31385 SOS 2609 HAS SOPS 2609 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2422.609
AT ITER 5251 NEW BEST:: SOT 31384 SOS 2607 HAS SOPS 2607 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.607
AT ITER 5416 NEW BEST:: SOT 31386 SOS 2598 HAS SOPS 2598 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2411.598
AT ITER 5479 NEW BEST:: SOT 31383 SOS 2592 HAS SOPS 2592 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2405.592
AT ITER 5500 NEW BEST:: SOT 31383 SOS 2588 HAS SOPS 2588 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2405.588
AT ITER 5534 NEW BEST:: SOT 31372 SOS 2566 HAS SOPS 2566 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2380.566
AT ITER 5538 NEW BEST:: SOT 31353 SOS 2528 HAS SOPS 2528 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.528
AT ITER 5559 NEW BEST:: SOT 31346 SOS 2490 HAS SOPS 2490 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.49
AT ITER 5572 NEW BEST:: SOT 31344 SOS 2488 HAS SOPS 2488 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2328.488
AT ITER 5583 NEW BEST:: SOT 31352 SOS 2487 HAS SOPS 2487 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2327.487
AT ITER 5594 NEW BEST:: SOT 31351 SOS 2481 HAS SOPS 2481 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2326.481
AT ITER 5607 NEW BEST:: SOT 31345 SOS 2469 HAS SOPS 2469 HAS SOUS 2312 HAS SOUPS 2312 WITH SCORE 2314.469
AT ITER 5623 NEW BEST:: SOT 31343 SOS 2465 HAS SOPS 2465 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2310.465
AT ITER 5626 NEW BEST:: SOT 31337 SOS 2473 HAS SOPS 2473 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.473
AT ITER 5728 NEW BEST:: SOT 31330 SOS 2469 HAS SOPS 2469 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.469
AT ITER 5778 NEW BEST:: SOT 31330 SOS 2460 HAS SOPS 2460 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.46
AT ITER 5792 NEW BEST:: SOT 31330 SOS 2454 HAS SOPS 2454 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.454
AT ITER 5846 NEW BEST:: SOT 31318 SOS 2430 HAS SOPS 2430 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.43
AT ITER 6008 NEW BEST:: SOT 31318 SOS 2430 HAS SOPS 2430 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2260.43
AT ITER 6056 NEW BEST:: SOT 31303 SOS 2410 HAS SOPS 2410 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.41
AT ITER 6074 NEW BEST:: SOT 31302 SOS 2408 HAS SOPS 2408 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.408
AT ITER 6103 NEW BEST:: SOT 31285 SOS 2374 HAS SOPS 2374 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.374
AT ITER 6242 NEW BEST:: SOT 31280 SOS 2373 HAS SOPS 2373 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.373
AT ITER 6345 NEW BEST:: SOT 31279 SOS 2373 HAS SOPS 2373 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2212.373
AT ITER 6570 NEW BEST:: SOT 31278 SOS 2371 HAS SOPS 2371 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2211.371
AT ITER 6630 NEW BEST:: SOT 31277 SOS 2369 HAS SOPS 2369 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.369
AT ITER 6645 NEW BEST:: SOT 31277 SOS 2369 HAS SOPS 2369 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2207.369
AT ITER 6658 NEW BEST:: SOT 31275 SOS 2365 HAS SOPS 2365 HAS SOUS 2198 HAS SOUPS 2198 WITH SCORE 2200.365
AT ITER 6680 NEW BEST:: SOT 31269 SOS 2370 HAS SOPS 2370 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.37
AT ITER 6708 NEW BEST:: SOT 31266 SOS 2364 HAS SOPS 2364 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2194.364
AT ITER 6725 NEW BEST:: SOT 31265 SOS 2362 HAS SOPS 2362 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.362
AT ITER 6728 NEW BEST:: SOT 31265 SOS 2359 HAS SOPS 2359 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.359
AT ITER 6754 NEW BEST:: SOT 31269 SOS 2367 HAS SOPS 2367 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.367
AT ITER 6833 NEW BEST:: SOT 31269 SOS 2366 HAS SOPS 2366 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.366
AT ITER 6958 NEW BEST:: SOT 31265 SOS 2358 HAS SOPS 2358 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2186.358
AT ITER 6980 NEW BEST:: SOT 31254 SOS 2336 HAS SOPS 2336 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2175.336
AT ITER 7019 NEW BEST:: SOT 31250 SOS 2319 HAS SOPS 2319 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.319
AT ITER 7021 NEW BEST:: SOT 31241 SOS 2301 HAS SOPS 2301 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.301
AT ITER 7025 NEW BEST:: SOT 31228 SOS 2275 HAS SOPS 2275 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.275
AT ITER 7028 NEW BEST:: SOT 31227 SOS 2273 HAS SOPS 2273 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.273
AT ITER 7049 NEW BEST:: SOT 31234 SOS 2287 HAS SOPS 2287 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.287
AT ITER 7081 NEW BEST:: SOT 31233 SOS 2285 HAS SOPS 2285 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.285
AT ITER 7430 NEW BEST:: SOT 31230 SOS 2279 HAS SOPS 2279 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2091.279
AT ITER 7487 NEW BEST:: SOT 31230 SOS 2279 HAS SOPS 2279 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.279
AT ITER 7620 NEW BEST:: SOT 31226 SOS 2271 HAS SOPS 2271 HAS SOUS 2077 HAS SOUPS 2077 WITH SCORE 2079.271
AT ITER 7686 NEW BEST:: SOT 31224 SOS 2267 HAS SOPS 2267 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.267
AT ITER 7785 NEW BEST:: SOT 31222 SOS 2263 HAS SOPS 2263 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.263
AT ITER 7786 NEW BEST:: SOT 31217 SOS 2232 HAS SOPS 2232 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2057.232
AT ITER 7797 NEW BEST:: SOT 31216 SOS 2230 HAS SOPS 2230 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2056.23
AT ITER 7811 NEW BEST:: SOT 31215 SOS 2227 HAS SOPS 2227 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.227
AT ITER 7882 NEW BEST:: SOT 31207 SOS 2211 HAS SOPS 2211 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2049.211
AT ITER 7959 NEW BEST:: SOT 31206 SOS 2209 HAS SOPS 2209 HAS SOUS 2045 HAS SOUPS 2045 WITH SCORE 2047.209
AT ITER 7964 NEW BEST:: SOT 31206 SOS 2207 HAS SOPS 2207 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.207
AT ITER 8041 NEW BEST:: SOT 31206 SOS 2207 HAS SOPS 2207 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.207
AT ITER 8092 NEW BEST:: SOT 31195 SOS 2185 HAS SOPS 2185 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2018.185
AT ITER 8116 NEW BEST:: SOT 31192 SOS 2179 HAS SOPS 2179 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2013.179
AT ITER 8151 NEW BEST:: SOT 31192 SOS 2165 HAS SOPS 2165 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2013.165
AT ITER 8164 NEW BEST:: SOT 31192 SOS 2163 HAS SOPS 2163 HAS SOUS 2009 HAS SOUPS 2009 WITH SCORE 2011.163
AT ITER 8233 NEW BEST:: SOT 31193 SOS 2154 HAS SOPS 2154 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2002.154
AT ITER 8245 NEW BEST:: SOT 31193 SOS 2154 HAS SOPS 2154 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.154
AT ITER 8249 NEW BEST:: SOT 31178 SOS 2124 HAS SOPS 2124 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.124
AT ITER 8252 NEW BEST:: SOT 31176 SOS 2120 HAS SOPS 2120 HAS SOUS 1971 HAS SOUPS 1971 WITH SCORE 1973.12
AT ITER 8345 NEW BEST:: SOT 31176 SOS 2115 HAS SOPS 2115 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1969.115
AT ITER 8354 NEW BEST:: SOT 31173 SOS 2109 HAS SOPS 2109 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.109
AT ITER 8373 NEW BEST:: SOT 31167 SOS 2097 HAS SOPS 2097 HAS SOUS 1958 HAS SOUPS 1958 WITH SCORE 1960.097
AT ITER 8419 NEW BEST:: SOT 31161 SOS 2085 HAS SOPS 2085 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.085
AT ITER 8492 NEW BEST:: SOT 31157 SOS 2077 HAS SOPS 2077 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1940.077
AT ITER 8584 NEW BEST:: SOT 31155 SOS 2073 HAS SOPS 2073 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.073
AT ITER 8610 NEW BEST:: SOT 31157 SOS 2077 HAS SOPS 2077 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1907.077
AT ITER 8677 NEW BEST:: SOT 31157 SOS 2075 HAS SOPS 2075 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1907.075
AT ITER 8746 NEW BEST:: SOT 31151 SOS 2063 HAS SOPS 2063 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.063
AT ITER 8806 NEW BEST:: SOT 31137 SOS 2051 HAS SOPS 2051 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.051
AT ITER 8816 NEW BEST:: SOT 31135 SOS 2047 HAS SOPS 2047 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.047
AT ITER 8837 NEW BEST:: SOT 31135 SOS 2046 HAS SOPS 2046 HAS SOUS 1881 HAS SOUPS 1881 WITH SCORE 1883.046
AT ITER 8997 NEW BEST:: SOT 31130 SOS 2041 HAS SOPS 2041 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1878.041
AT ITER 9009 NEW BEST:: SOT 31130 SOS 2038 HAS SOPS 2038 HAS SOUS 1873 HAS SOUPS 1873 WITH SCORE 1875.038
AT ITER 9024 NEW BEST:: SOT 31130 SOS 2031 HAS SOPS 2031 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1868.031
AT ITER 9057 NEW BEST:: SOT 31122 SOS 2027 HAS SOPS 2027 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1860.027
AT ITER 9114 NEW BEST:: SOT 31098 SOS 1979 HAS SOPS 1979 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1813.979
AT ITER 9117 NEW BEST:: SOT 31096 SOS 1977 HAS SOPS 1977 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1811.977
AT ITER 9175 NEW BEST:: SOT 31095 SOS 1975 HAS SOPS 1975 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1810.975
AT ITER 9269 NEW BEST:: SOT 31094 SOS 1973 HAS SOPS 1973 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1807.973
AT ITER 9301 NEW BEST:: SOT 31094 SOS 1972 HAS SOPS 1972 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1807.972
AT ITER 9312 NEW BEST:: SOT 31096 SOS 1970 HAS SOPS 1970 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1805.97
AT ITER 9327 NEW BEST:: SOT 31092 SOS 1962 HAS SOPS 1962 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1785.962
AT ITER 9362 NEW BEST:: SOT 31087 SOS 1952 HAS SOPS 1952 HAS SOUS 1774 HAS SOUPS 1774 WITH SCORE 1775.952
AT ITER 9375 NEW BEST:: SOT 31087 SOS 1949 HAS SOPS 1949 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1773.949
AT ITER 9486 NEW BEST:: SOT 31084 SOS 1943 HAS SOPS 1943 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1767.943
AT ITER 9495 NEW BEST:: SOT 31081 SOS 1937 HAS SOPS 1937 HAS SOUS 1752 HAS SOUPS 1752 WITH SCORE 1753.937
AT ITER 9558 NEW BEST:: SOT 31075 SOS 1931 HAS SOPS 1931 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1747.931
AT ITER 9597 NEW BEST:: SOT 31067 SOS 1923 HAS SOPS 1923 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1739.923
AT ITER 9644 NEW BEST:: SOT 31066 SOS 1921 HAS SOPS 1921 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.921
AT ITER 9699 NEW BEST:: SOT 31076 SOS 1910 HAS SOPS 1910 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1726.91
AT ITER 9705 NEW BEST:: SOT 31071 SOS 1900 HAS SOPS 1900 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1717.9
AT ITER 9713 NEW BEST:: SOT 31068 SOS 1894 HAS SOPS 1894 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1711.894
AT ITER 9725 NEW BEST:: SOT 31046 SOS 1864 HAS SOPS 1864 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1679.864
AT ITER 9733 NEW BEST:: SOT 31039 SOS 1865 HAS SOPS 1865 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1674.865
AT ITER 9752 NEW BEST:: SOT 31039 SOS 1858 HAS SOPS 1858 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1674.858
AT ITER 9757 NEW BEST:: SOT 31043 SOS 1851 HAS SOPS 1851 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1667.851
AT ITER 9774 NEW BEST:: SOT 31037 SOS 1846 HAS SOPS 1846 HAS SOUS 1660 HAS SOUPS 1660 WITH SCORE 1661.846
AT ITER 9846 NEW BEST:: SOT 31033 SOS 1854 HAS SOPS 1854 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1657.854
AT ITER 9851 NEW BEST:: SOT 31031 SOS 1850 HAS SOPS 1850 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1651.85
AT ITER 9880 NEW BEST:: SOT 31012 SOS 1842 HAS SOPS 1842 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1626.842
AT ITER 9918 NEW BEST:: SOT 31010 SOS 1832 HAS SOPS 1832 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1618.832
AT ITER 9967 NEW BEST:: SOT 31007 SOS 1826 HAS SOPS 1826 HAS SOUS 1613 HAS SOUPS 1613 WITH SCORE 1614.826
AT ITER 9980 NEW BEST:: SOT 31003 SOS 1818 HAS SOPS 1818 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1600.818
AT ITER 9996 NEW BEST:: SOT 30992 SOS 1796 HAS SOPS 1796 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1589.796
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 1679497846004

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

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="smart"
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 smart"
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 1"
echo " Run identifier is r323-tall-167889194700440"
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 ;