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.r363-smll-167891814600568.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 SharedMemory-COL-000020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814600568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 14:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 14:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 14:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 13K 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 1679272797110

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=SharedMemory-COL-000020
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 00:40:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 00:40:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 00:40:00] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-20 00:40:01] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 00:40:01] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 971 ms
[2023-03-20 00:40:01] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 481 PT places and 1240.0 transition bindings in 32 ms.
[2023-03-20 00:40:01] [INFO ] Unfolded HLPN to a Petri net with 481 places and 840 transitions 3280 arcs in 87 ms.
[2023-03-20 00:40:01] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 00:40:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 481 places, 840 transitions and 3280 arcs took 23 ms.
Total runtime 1319 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SharedMemory (COL), instance 000020
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: 481 places, 840 transitions, 3280 arcs.
AT ITER 0 NEW BEST:: SOT 377457 SOS 351860 HAS SOPS 351860 HAS SOUS 332005 HAS SOUPS 332005 WITH SCORE 332356.86
AT ITER 2 NEW BEST:: SOT 377642 SOS 350709 HAS SOPS 350709 HAS SOUS 326814 HAS SOUPS 326814 WITH SCORE 327164.709
AT ITER 9 NEW BEST:: SOT 377727 SOS 349870 HAS SOPS 349870 HAS SOUS 323817 HAS SOUPS 323817 WITH SCORE 324166.87
AT ITER 16 NEW BEST:: SOT 378089 SOS 349051 HAS SOPS 349051 HAS SOUS 316906 HAS SOUPS 316906 WITH SCORE 317255.051
AT ITER 22 NEW BEST:: SOT 378149 SOS 348931 HAS SOPS 348931 HAS SOUS 316731 HAS SOUPS 316731 WITH SCORE 317079.931
AT ITER 27 NEW BEST:: SOT 378346 SOS 348679 HAS SOPS 348679 HAS SOUS 315904 HAS SOUPS 315904 WITH SCORE 316252.679
AT ITER 29 NEW BEST:: SOT 378346 SOS 348679 HAS SOPS 348679 HAS SOUS 315898 HAS SOUPS 315898 WITH SCORE 316246.679
AT ITER 31 NEW BEST:: SOT 378774 SOS 348553 HAS SOPS 348553 HAS SOUS 313724 HAS SOUPS 313724 WITH SCORE 314072.553
AT ITER 33 NEW BEST:: SOT 267214 SOS 237345 HAS SOPS 237345 HAS SOUS 202371 HAS SOUPS 202371 WITH SCORE 202608.345
AT ITER 35 NEW BEST:: SOT 266924 SOS 237055 HAS SOPS 237055 HAS SOUS 202075 HAS SOUPS 202075 WITH SCORE 202312.055
AT ITER 36 NEW BEST:: SOT 267211 SOS 236919 HAS SOPS 236919 HAS SOUS 200861 HAS SOUPS 200861 WITH SCORE 201097.919
AT ITER 40 NEW BEST:: SOT 267207 SOS 236915 HAS SOPS 236915 HAS SOUS 200857 HAS SOUPS 200857 WITH SCORE 201093.915
AT ITER 48 NEW BEST:: SOT 267328 SOS 236737 HAS SOPS 236737 HAS SOUS 199774 HAS SOUPS 199774 WITH SCORE 200010.737
AT ITER 49 NEW BEST:: SOT 268459 SOS 237230 HAS SOPS 237230 HAS SOUS 199037 HAS SOUPS 199037 WITH SCORE 199274.23
AT ITER 51 NEW BEST:: SOT 268552 SOS 236917 HAS SOPS 236917 HAS SOUS 196588 HAS SOUPS 196588 WITH SCORE 196824.917
AT ITER 53 NEW BEST:: SOT 268744 SOS 235288 HAS SOPS 235288 HAS SOUS 191391 HAS SOUPS 191391 WITH SCORE 191626.288
AT ITER 56 NEW BEST:: SOT 268835 SOS 235085 HAS SOPS 235085 HAS SOUS 190657 HAS SOUPS 190657 WITH SCORE 190892.085
AT ITER 57 NEW BEST:: SOT 268835 SOS 235085 HAS SOPS 235085 HAS SOUS 190610 HAS SOUPS 190610 WITH SCORE 190845.085
AT ITER 59 NEW BEST:: SOT 268888 SOS 234873 HAS SOPS 234873 HAS SOUS 189868 HAS SOUPS 189868 WITH SCORE 190102.873
AT ITER 60 NEW BEST:: SOT 268835 SOS 234820 HAS SOPS 234820 HAS SOUS 189815 HAS SOUPS 189815 WITH SCORE 190049.82
AT ITER 61 NEW BEST:: SOT 268887 SOS 234757 HAS SOPS 234757 HAS SOUS 189704 HAS SOUPS 189704 WITH SCORE 189938.757
AT ITER 63 NEW BEST:: SOT 268887 SOS 233410 HAS SOPS 233410 HAS SOUS 188470 HAS SOUPS 188470 WITH SCORE 188703.41
AT ITER 68 NEW BEST:: SOT 268887 SOS 233410 HAS SOPS 233410 HAS SOUS 188422 HAS SOUPS 188422 WITH SCORE 188655.41
AT ITER 70 NEW BEST:: SOT 268887 SOS 233410 HAS SOPS 233410 HAS SOUS 188420 HAS SOUPS 188420 WITH SCORE 188653.41
AT ITER 73 NEW BEST:: SOT 268887 SOS 233410 HAS SOPS 233410 HAS SOUS 188349 HAS SOUPS 188349 WITH SCORE 188582.41
AT ITER 74 NEW BEST:: SOT 268887 SOS 233410 HAS SOPS 233410 HAS SOUS 188347 HAS SOUPS 188347 WITH SCORE 188580.41
AT ITER 75 NEW BEST:: SOT 269258 SOS 233115 HAS SOPS 233115 HAS SOUS 187091 HAS SOUPS 187091 WITH SCORE 187324.115
AT ITER 77 NEW BEST:: SOT 269356 SOS 233088 HAS SOPS 232967 HAS SOUS 187131 HAS SOUPS 187010 WITH SCORE 187243.088
AT ITER 81 NEW BEST:: SOT 269356 SOS 233088 HAS SOPS 232967 HAS SOUS 187125 HAS SOUPS 187004 WITH SCORE 187237.088
AT ITER 82 NEW BEST:: SOT 271572 SOS 234511 HAS SOPS 234390 HAS SOUS 186321 HAS SOUPS 186200 WITH SCORE 186434.511
AT ITER 83 NEW BEST:: SOT 271539 SOS 234478 HAS SOPS 234357 HAS SOUS 186288 HAS SOUPS 186167 WITH SCORE 186401.478
AT ITER 86 NEW BEST:: SOT 271539 SOS 234477 HAS SOPS 234356 HAS SOUS 186268 HAS SOUPS 186147 WITH SCORE 186381.477
AT ITER 88 NEW BEST:: SOT 271539 SOS 234477 HAS SOPS 234356 HAS SOUS 186236 HAS SOUPS 186115 WITH SCORE 186349.477
AT ITER 90 NEW BEST:: SOT 271613 SOS 234377 HAS SOPS 234256 HAS SOUS 185903 HAS SOUPS 185782 WITH SCORE 186016.377
AT ITER 94 NEW BEST:: SOT 271617 SOS 234381 HAS SOPS 234260 HAS SOUS 185873 HAS SOUPS 185752 WITH SCORE 185986.381
AT ITER 98 NEW BEST:: SOT 271821 SOS 232108 HAS SOPS 231987 HAS SOUS 181488 HAS SOUPS 181367 WITH SCORE 181599.108
AT ITER 100 NEW BEST:: SOT 271821 SOS 232108 HAS SOPS 231987 HAS SOUS 181232 HAS SOUPS 181111 WITH SCORE 181343.108
AT ITER 102 NEW BEST:: SOT 271821 SOS 232108 HAS SOPS 231987 HAS SOUS 181208 HAS SOUPS 181087 WITH SCORE 181319.108
AT ITER 108 NEW BEST:: SOT 271821 SOS 231987 HAS SOPS 231840 HAS SOUS 181234 HAS SOUPS 181087 WITH SCORE 181318.987
AT ITER 109 NEW BEST:: SOT 271821 SOS 231938 HAS SOPS 231791 HAS SOUS 181004 HAS SOUPS 180857 WITH SCORE 181088.938
AT ITER 114 NEW BEST:: SOT 271959 SOS 229885 HAS SOPS 229738 HAS SOUS 177802 HAS SOUPS 177655 WITH SCORE 177884.885
AT ITER 117 NEW BEST:: SOT 271959 SOS 229835 HAS SOPS 229688 HAS SOUS 177742 HAS SOUPS 177595 WITH SCORE 177824.835
AT ITER 120 NEW BEST:: SOT 271959 SOS 229844 HAS SOPS 229697 HAS SOUS 177676 HAS SOUPS 177529 WITH SCORE 177758.844
AT ITER 123 NEW BEST:: SOT 271959 SOS 229826 HAS SOPS 229679 HAS SOUS 177676 HAS SOUPS 177529 WITH SCORE 177758.826
AT ITER 124 NEW BEST:: SOT 271861 SOS 229730 HAS SOPS 229585 HAS SOUS 177529 HAS SOUPS 177384 WITH SCORE 177613.73
AT ITER 126 NEW BEST:: SOT 271861 SOS 229730 HAS SOPS 229585 HAS SOUS 177445 HAS SOUPS 177300 WITH SCORE 177529.73
AT ITER 131 NEW BEST:: SOT 271981 SOS 229331 HAS SOPS 229186 HAS SOUS 176840 HAS SOUPS 176695 WITH SCORE 176924.331
AT ITER 136 NEW BEST:: SOT 273451 SOS 230043 HAS SOPS 229898 HAS SOUS 175921 HAS SOUPS 175776 WITH SCORE 176006.043
AT ITER 137 NEW BEST:: SOT 273451 SOS 229992 HAS SOPS 229847 HAS SOUS 175707 HAS SOUPS 175562 WITH SCORE 175791.992
AT ITER 138 NEW BEST:: SOT 272546 SOS 229395 HAS SOPS 229250 HAS SOUS 175072 HAS SOUPS 174927 WITH SCORE 175156.395
AT ITER 144 NEW BEST:: SOT 272852 SOS 229545 HAS SOPS 229400 HAS SOUS 174404 HAS SOUPS 174259 WITH SCORE 174488.545
AT ITER 145 NEW BEST:: SOT 272852 SOS 229545 HAS SOPS 229400 HAS SOUS 174308 HAS SOUPS 174163 WITH SCORE 174392.545
AT ITER 149 NEW BEST:: SOT 272791 SOS 229484 HAS SOPS 229339 HAS SOUS 174195 HAS SOUPS 174050 WITH SCORE 174279.484
AT ITER 152 NEW BEST:: SOT 272791 SOS 229379 HAS SOPS 229234 HAS SOUS 174041 HAS SOUPS 173896 WITH SCORE 174125.379
AT ITER 155 NEW BEST:: SOT 272791 SOS 229379 HAS SOPS 229234 HAS SOUS 173947 HAS SOUPS 173802 WITH SCORE 174031.379
AT ITER 157 NEW BEST:: SOT 272791 SOS 229374 HAS SOPS 229229 HAS SOUS 173942 HAS SOUPS 173797 WITH SCORE 174026.374
AT ITER 158 NEW BEST:: SOT 273049 SOS 229518 HAS SOPS 229373 HAS SOUS 173829 HAS SOUPS 173684 WITH SCORE 173913.518
AT ITER 160 NEW BEST:: SOT 273922 SOS 229015 HAS SOPS 228870 HAS SOUS 171907 HAS SOUPS 171762 WITH SCORE 171991.015
AT ITER 161 NEW BEST:: SOT 273922 SOS 228972 HAS SOPS 228827 HAS SOUS 171864 HAS SOUPS 171719 WITH SCORE 171947.972
AT ITER 162 NEW BEST:: SOT 273922 SOS 228972 HAS SOPS 228827 HAS SOUS 171799 HAS SOUPS 171654 WITH SCORE 171882.972
AT ITER 163 NEW BEST:: SOT 274327 SOS 228450 HAS SOPS 228305 HAS SOUS 169275 HAS SOUPS 169130 WITH SCORE 169358.45
AT ITER 165 NEW BEST:: SOT 274178 SOS 228301 HAS SOPS 228156 HAS SOUS 169178 HAS SOUPS 169033 WITH SCORE 169261.301
AT ITER 167 NEW BEST:: SOT 274173 SOS 228296 HAS SOPS 228151 HAS SOUS 169173 HAS SOUPS 169028 WITH SCORE 169256.296
AT ITER 173 NEW BEST:: SOT 274173 SOS 228296 HAS SOPS 228151 HAS SOUS 169135 HAS SOUPS 168990 WITH SCORE 169218.296
AT ITER 174 NEW BEST:: SOT 274527 SOS 227324 HAS SOPS 227179 HAS SOUS 167112 HAS SOUPS 166967 WITH SCORE 167194.324
AT ITER 176 NEW BEST:: SOT 274527 SOS 227319 HAS SOPS 227174 HAS SOUS 167102 HAS SOUPS 166957 WITH SCORE 167184.319
AT ITER 177 NEW BEST:: SOT 274527 SOS 227319 HAS SOPS 227174 HAS SOUS 166945 HAS SOUPS 166800 WITH SCORE 167027.319
AT ITER 178 NEW BEST:: SOT 274636 SOS 226754 HAS SOPS 226609 HAS SOUS 165124 HAS SOUPS 164979 WITH SCORE 165205.754
AT ITER 179 NEW BEST:: SOT 274636 SOS 224802 HAS SOPS 224657 HAS SOUS 163989 HAS SOUPS 163844 WITH SCORE 164068.802
AT ITER 188 NEW BEST:: SOT 274531 SOS 224697 HAS SOPS 224552 HAS SOUS 163724 HAS SOUPS 163579 WITH SCORE 163803.697
AT ITER 191 NEW BEST:: SOT 275031 SOS 223667 HAS SOPS 223522 HAS SOUS 160910 HAS SOUPS 160765 WITH SCORE 160988.667
AT ITER 197 NEW BEST:: SOT 274761 SOS 223364 HAS SOPS 223219 HAS SOUS 160322 HAS SOUPS 160177 WITH SCORE 160400.364
AT ITER 198 NEW BEST:: SOT 274717 SOS 223320 HAS SOPS 223175 HAS SOUS 160253 HAS SOUPS 160108 WITH SCORE 160331.32
AT ITER 200 NEW BEST:: SOT 274655 SOS 223258 HAS SOPS 223113 HAS SOUS 160166 HAS SOUPS 160021 WITH SCORE 160244.258
AT ITER 207 NEW BEST:: SOT 274655 SOS 223258 HAS SOPS 223113 HAS SOUS 160137 HAS SOUPS 159992 WITH SCORE 160215.258
AT ITER 212 NEW BEST:: SOT 275322 SOS 222341 HAS SOPS 222196 HAS SOUS 157615 HAS SOUPS 157470 WITH SCORE 157692.341
AT ITER 216 NEW BEST:: SOT 275322 SOS 222341 HAS SOPS 222196 HAS SOUS 157597 HAS SOUPS 157452 WITH SCORE 157674.341
AT ITER 219 NEW BEST:: SOT 275065 SOS 222084 HAS SOPS 221939 HAS SOUS 157470 HAS SOUPS 157325 WITH SCORE 157547.084
AT ITER 224 NEW BEST:: SOT 275065 SOS 221992 HAS SOPS 221847 HAS SOUS 157271 HAS SOUPS 157126 WITH SCORE 157347.992
AT ITER 225 NEW BEST:: SOT 275197 SOS 221930 HAS SOPS 221785 HAS SOUS 157103 HAS SOUPS 156958 WITH SCORE 157179.93
AT ITER 228 NEW BEST:: SOT 274915 SOS 221648 HAS SOPS 221503 HAS SOUS 156815 HAS SOUPS 156670 WITH SCORE 156891.648
AT ITER 231 NEW BEST:: SOT 275838 SOS 221739 HAS SOPS 221594 HAS SOUS 154623 HAS SOUPS 154478 WITH SCORE 154699.739
AT ITER 234 NEW BEST:: SOT 277556 SOS 221844 HAS SOPS 221699 HAS SOUS 153356 HAS SOUPS 153211 WITH SCORE 153432.844
AT ITER 235 NEW BEST:: SOT 277536 SOS 221824 HAS SOPS 221679 HAS SOUS 153316 HAS SOUPS 153171 WITH SCORE 153392.824
AT ITER 238 NEW BEST:: SOT 277536 SOS 221812 HAS SOPS 221667 HAS SOUS 153316 HAS SOUPS 153171 WITH SCORE 153392.812
AT ITER 244 NEW BEST:: SOT 277823 SOS 221764 HAS SOPS 221619 HAS SOUS 152057 HAS SOUPS 151912 WITH SCORE 152133.764
AT ITER 245 NEW BEST:: SOT 277723 SOS 221664 HAS SOPS 221519 HAS SOUS 151924 HAS SOUPS 151779 WITH SCORE 152000.664
AT ITER 246 NEW BEST:: SOT 277723 SOS 221664 HAS SOPS 221519 HAS SOUS 151876 HAS SOUPS 151731 WITH SCORE 151952.664
AT ITER 251 NEW BEST:: SOT 277703 SOS 221644 HAS SOPS 221499 HAS SOUS 151856 HAS SOUPS 151711 WITH SCORE 151932.644
AT ITER 253 NEW BEST:: SOT 277703 SOS 221644 HAS SOPS 221499 HAS SOUS 151808 HAS SOUPS 151663 WITH SCORE 151884.644
AT ITER 255 NEW BEST:: SOT 277703 SOS 221644 HAS SOPS 221499 HAS SOUS 151760 HAS SOUPS 151615 WITH SCORE 151836.644
AT ITER 256 NEW BEST:: SOT 277871 SOS 221124 HAS SOPS 220979 HAS SOUS 151034 HAS SOUPS 150889 WITH SCORE 151110.124
AT ITER 262 NEW BEST:: SOT 277871 SOS 221124 HAS SOPS 220979 HAS SOUS 150745 HAS SOUPS 150600 WITH SCORE 150821.124
AT ITER 265 NEW BEST:: SOT 277939 SOS 221158 HAS SOPS 221013 HAS SOUS 150723 HAS SOUPS 150578 WITH SCORE 150799.158
AT ITER 266 NEW BEST:: SOT 277916 SOS 221135 HAS SOPS 220990 HAS SOUS 150599 HAS SOUPS 150454 WITH SCORE 150675.135
AT ITER 270 NEW BEST:: SOT 277916 SOS 221101 HAS SOPS 220956 HAS SOUS 150599 HAS SOUPS 150454 WITH SCORE 150675.101
AT ITER 271 NEW BEST:: SOT 277934 SOS 221114 HAS SOPS 220969 HAS SOUS 150580 HAS SOUPS 150435 WITH SCORE 150656.114
AT ITER 272 NEW BEST:: SOT 277597 SOS 220816 HAS SOPS 220671 HAS SOUS 150377 HAS SOUPS 150232 WITH SCORE 150452.816
AT ITER 273 NEW BEST:: SOT 277575 SOS 220794 HAS SOPS 220649 HAS SOUS 150312 HAS SOUPS 150167 WITH SCORE 150387.794
AT ITER 275 NEW BEST:: SOT 277554 SOS 220773 HAS SOPS 220628 HAS SOUS 150270 HAS SOUPS 150125 WITH SCORE 150345.773
AT ITER 278 NEW BEST:: SOT 277744 SOS 217364 HAS SOPS 217219 HAS SOUS 148030 HAS SOUPS 147885 WITH SCORE 148102.364
AT ITER 281 NEW BEST:: SOT 278824 SOS 216904 HAS SOPS 216759 HAS SOUS 147086 HAS SOUPS 146941 WITH SCORE 147157.904
AT ITER 284 NEW BEST:: SOT 279648 SOS 217167 HAS SOPS 217022 HAS SOUS 146675 HAS SOUPS 146530 WITH SCORE 146747.167
AT ITER 285 NEW BEST:: SOT 279648 SOS 217040 HAS SOPS 216895 HAS SOUS 146675 HAS SOUPS 146530 WITH SCORE 146747.04
AT ITER 288 NEW BEST:: SOT 279635 SOS 217027 HAS SOPS 216882 HAS SOUS 146663 HAS SOUPS 146518 WITH SCORE 146735.027
AT ITER 290 NEW BEST:: SOT 281733 SOS 217939 HAS SOPS 217794 HAS SOUS 146219 HAS SOUPS 146074 WITH SCORE 146291.939
AT ITER 292 NEW BEST:: SOT 281733 SOS 217939 HAS SOPS 217794 HAS SOUS 146165 HAS SOUPS 146020 WITH SCORE 146237.939
AT ITER 293 NEW BEST:: SOT 283324 SOS 219155 HAS SOPS 219010 HAS SOUS 145762 HAS SOUPS 145617 WITH SCORE 145836.155
AT ITER 296 NEW BEST:: SOT 281726 SOS 219634 HAS SOPS 219489 HAS SOUS 143310 HAS SOUPS 143165 WITH SCORE 143384.634
AT ITER 297 NEW BEST:: SOT 281726 SOS 219928 HAS SOPS 219783 HAS SOUS 143307 HAS SOUPS 143162 WITH SCORE 143381.928
AT ITER 298 NEW BEST:: SOT 281726 SOS 219700 HAS SOPS 219555 HAS SOUS 143307 HAS SOUPS 143162 WITH SCORE 143381.7
AT ITER 304 NEW BEST:: SOT 281726 SOS 219700 HAS SOPS 219555 HAS SOUS 143274 HAS SOUPS 143129 WITH SCORE 143348.7
AT ITER 306 NEW BEST:: SOT 281726 SOS 219659 HAS SOPS 219514 HAS SOUS 143274 HAS SOUPS 143129 WITH SCORE 143348.659
AT ITER 311 NEW BEST:: SOT 281663 SOS 219596 HAS SOPS 219451 HAS SOUS 143202 HAS SOUPS 143057 WITH SCORE 143276.596
AT ITER 317 NEW BEST:: SOT 281608 SOS 219541 HAS SOPS 219396 HAS SOUS 143153 HAS SOUPS 143008 WITH SCORE 143227.541
AT ITER 321 NEW BEST:: SOT 281564 SOS 219497 HAS SOPS 219352 HAS SOUS 143065 HAS SOUPS 142920 WITH SCORE 143139.497
AT ITER 324 NEW BEST:: SOT 281983 SOS 218663 HAS SOPS 218518 HAS SOUS 139454 HAS SOUPS 139309 WITH SCORE 139527.663
AT ITER 325 NEW BEST:: SOT 282022 SOS 218702 HAS SOPS 218557 HAS SOUS 138938 HAS SOUPS 138793 WITH SCORE 139011.702
AT ITER 328 NEW BEST:: SOT 281980 SOS 218660 HAS SOPS 218515 HAS SOUS 138877 HAS SOUPS 138732 WITH SCORE 138950.66
AT ITER 330 NEW BEST:: SOT 281970 SOS 218597 HAS SOPS 218452 HAS SOUS 138580 HAS SOUPS 138435 WITH SCORE 138653.597
AT ITER 333 NEW BEST:: SOT 281948 SOS 218575 HAS SOPS 218430 HAS SOUS 138536 HAS SOUPS 138391 WITH SCORE 138609.575
AT ITER 339 NEW BEST:: SOT 281873 SOS 218500 HAS SOPS 218355 HAS SOUS 138454 HAS SOUPS 138309 WITH SCORE 138527.5
AT ITER 341 NEW BEST:: SOT 281873 SOS 218500 HAS SOPS 218355 HAS SOUS 138394 HAS SOUPS 138249 WITH SCORE 138467.5
AT ITER 346 NEW BEST:: SOT 281828 SOS 217951 HAS SOPS 217738 HAS SOUS 138328 HAS SOUPS 138115 WITH SCORE 138332.951
AT ITER 348 NEW BEST:: SOT 281781 SOS 217904 HAS SOPS 217691 HAS SOUS 138210 HAS SOUPS 137997 WITH SCORE 138214.904
AT ITER 349 NEW BEST:: SOT 281768 SOS 217891 HAS SOPS 217678 HAS SOUS 138171 HAS SOUPS 137958 WITH SCORE 138175.891
AT ITER 352 NEW BEST:: SOT 281768 SOS 217412 HAS SOPS 217199 HAS SOUS 138171 HAS SOUPS 137958 WITH SCORE 138175.412
AT ITER 355 NEW BEST:: SOT 281768 SOS 217412 HAS SOPS 217199 HAS SOUS 138067 HAS SOUPS 137854 WITH SCORE 138071.412
AT ITER 362 NEW BEST:: SOT 280023 SOS 215534 HAS SOPS 215308 HAS SOUS 135681 HAS SOUPS 135455 WITH SCORE 135670.534
AT ITER 365 NEW BEST:: SOT 280590 SOS 210976 HAS SOPS 210750 HAS SOUS 133931 HAS SOUPS 133705 WITH SCORE 133915.976
AT ITER 369 NEW BEST:: SOT 280662 SOS 210379 HAS SOPS 210153 HAS SOUS 133539 HAS SOUPS 133313 WITH SCORE 133523.379
AT ITER 377 NEW BEST:: SOT 280579 SOS 210014 HAS SOPS 209788 HAS SOUS 133174 HAS SOUPS 132948 WITH SCORE 133158.014
AT ITER 378 NEW BEST:: SOT 280423 SOS 209858 HAS SOPS 209632 HAS SOUS 132864 HAS SOUPS 132638 WITH SCORE 132847.858
AT ITER 382 NEW BEST:: SOT 280423 SOS 209858 HAS SOPS 209632 HAS SOUS 132835 HAS SOUPS 132609 WITH SCORE 132818.858
AT ITER 384 NEW BEST:: SOT 280319 SOS 209681 HAS SOPS 209455 HAS SOUS 132612 HAS SOUPS 132386 WITH SCORE 132595.681
AT ITER 388 NEW BEST:: SOT 280348 SOS 209220 HAS SOPS 208948 HAS SOUS 132460 HAS SOUPS 132188 WITH SCORE 132397.22
AT ITER 390 NEW BEST:: SOT 277524 SOS 206592 HAS SOPS 206320 HAS SOUS 131041 HAS SOUPS 130769 WITH SCORE 130975.592
AT ITER 392 NEW BEST:: SOT 277548 SOS 206600 HAS SOPS 206320 HAS SOUS 130937 HAS SOUPS 130657 WITH SCORE 130863.6
AT ITER 393 NEW BEST:: SOT 277548 SOS 206600 HAS SOPS 206320 HAS SOUS 130776 HAS SOUPS 130496 WITH SCORE 130702.6
AT ITER 397 NEW BEST:: SOT 277520 SOS 206572 HAS SOPS 206292 HAS SOUS 130720 HAS SOUPS 130440 WITH SCORE 130646.572
AT ITER 399 NEW BEST:: SOT 277520 SOS 206467 HAS SOPS 206102 HAS SOUS 130688 HAS SOUPS 130323 WITH SCORE 130529.467
AT ITER 400 NEW BEST:: SOT 277520 SOS 206444 HAS SOPS 206079 HAS SOUS 130688 HAS SOUPS 130323 WITH SCORE 130529.444
AT ITER 401 NEW BEST:: SOT 277481 SOS 206405 HAS SOPS 206040 HAS SOUS 130620 HAS SOUPS 130255 WITH SCORE 130461.405
AT ITER 402 NEW BEST:: SOT 277481 SOS 206315 HAS SOPS 205950 HAS SOUS 130579 HAS SOUPS 130214 WITH SCORE 130420.315
AT ITER 409 NEW BEST:: SOT 277468 SOS 206302 HAS SOPS 205937 HAS SOUS 130553 HAS SOUPS 130188 WITH SCORE 130394.302
AT ITER 414 NEW BEST:: SOT 274803 SOS 203762 HAS SOPS 203272 HAS SOUS 128021 HAS SOUPS 127531 WITH SCORE 127734.762
AT ITER 415 NEW BEST:: SOT 274803 SOS 203762 HAS SOPS 203272 HAS SOUS 127940 HAS SOUPS 127450 WITH SCORE 127653.762
AT ITER 419 NEW BEST:: SOT 274763 SOS 203722 HAS SOPS 203232 HAS SOUS 127852 HAS SOUPS 127362 WITH SCORE 127565.722
AT ITER 423 NEW BEST:: SOT 274763 SOS 203726 HAS SOPS 203236 HAS SOUS 127740 HAS SOUPS 127250 WITH SCORE 127453.726
AT ITER 424 NEW BEST:: SOT 274763 SOS 203726 HAS SOPS 203236 HAS SOUS 127678 HAS SOUPS 127188 WITH SCORE 127391.726
AT ITER 425 NEW BEST:: SOT 274746 SOS 203705 HAS SOPS 203051 HAS SOUS 127808 HAS SOUPS 127154 WITH SCORE 127357.705
AT ITER 431 NEW BEST:: SOT 274716 SOS 203675 HAS SOPS 203021 HAS SOUS 127736 HAS SOUPS 127082 WITH SCORE 127285.675
AT ITER 435 NEW BEST:: SOT 274943 SOS 202676 HAS SOPS 202022 HAS SOUS 127479 HAS SOUPS 126825 WITH SCORE 127027.676
AT ITER 436 NEW BEST:: SOT 274943 SOS 201874 HAS SOPS 201220 HAS SOUS 126526 HAS SOUPS 125872 WITH SCORE 126073.874
AT ITER 443 NEW BEST:: SOT 274841 SOS 201707 HAS SOPS 200761 HAS SOUS 126587 HAS SOUPS 125641 WITH SCORE 125842.707
AT ITER 448 NEW BEST:: SOT 274705 SOS 201571 HAS SOPS 200625 HAS SOUS 126315 HAS SOUPS 125369 WITH SCORE 125570.571
AT ITER 450 NEW BEST:: SOT 274705 SOS 201571 HAS SOPS 200625 HAS SOUS 126254 HAS SOUPS 125308 WITH SCORE 125509.571
AT ITER 451 NEW BEST:: SOT 274705 SOS 201571 HAS SOPS 200625 HAS SOUS 126171 HAS SOUPS 125225 WITH SCORE 125426.571
AT ITER 465 NEW BEST:: SOT 274678 SOS 201528 HAS SOPS 200582 HAS SOUS 126117 HAS SOUPS 125171 WITH SCORE 125372.528
AT ITER 468 NEW BEST:: SOT 274678 SOS 201203 HAS SOPS 200257 HAS SOUS 125970 HAS SOUPS 125024 WITH SCORE 125225.203
AT ITER 487 NEW BEST:: SOT 274743 SOS 200747 HAS SOPS 199801 HAS SOUS 125577 HAS SOUPS 124631 WITH SCORE 124831.747
AT ITER 505 NEW BEST:: SOT 274743 SOS 200747 HAS SOPS 199801 HAS SOUS 125519 HAS SOUPS 124573 WITH SCORE 124773.747
AT ITER 508 NEW BEST:: SOT 274743 SOS 200729 HAS SOPS 199783 HAS SOUS 125519 HAS SOUPS 124573 WITH SCORE 124773.729
AT ITER 512 NEW BEST:: SOT 275465 SOS 200343 HAS SOPS 199397 HAS SOUS 124930 HAS SOUPS 123984 WITH SCORE 124184.343
AT ITER 515 NEW BEST:: SOT 275465 SOS 200264 HAS SOPS 199318 HAS SOUS 124870 HAS SOUPS 123924 WITH SCORE 124124.264
AT ITER 534 NEW BEST:: SOT 275512 SOS 200295 HAS SOPS 199349 HAS SOUS 124714 HAS SOUPS 123768 WITH SCORE 123968.295
AT ITER 535 NEW BEST:: SOT 275405 SOS 200188 HAS SOPS 199242 HAS SOUS 124502 HAS SOUPS 123556 WITH SCORE 123756.188
AT ITER 540 NEW BEST:: SOT 275361 SOS 200136 HAS SOPS 199190 HAS SOUS 124398 HAS SOUPS 123452 WITH SCORE 123652.136
AT ITER 541 NEW BEST:: SOT 275361 SOS 200122 HAS SOPS 199176 HAS SOUS 124384 HAS SOUPS 123438 WITH SCORE 123638.122
AT ITER 543 NEW BEST:: SOT 275361 SOS 200087 HAS SOPS 199141 HAS SOUS 124384 HAS SOUPS 123438 WITH SCORE 123638.087
AT ITER 547 NEW BEST:: SOT 275340 SOS 200066 HAS SOPS 199120 HAS SOUS 124342 HAS SOUPS 123396 WITH SCORE 123596.066
AT ITER 549 NEW BEST:: SOT 275340 SOS 199842 HAS SOPS 198896 HAS SOUS 124342 HAS SOUPS 123396 WITH SCORE 123595.842
AT ITER 555 NEW BEST:: SOT 275340 SOS 199842 HAS SOPS 198896 HAS SOUS 124310 HAS SOUPS 123364 WITH SCORE 123563.842
AT ITER 563 NEW BEST:: SOT 275340 SOS 199636 HAS SOPS 198690 HAS SOUS 124135 HAS SOUPS 123189 WITH SCORE 123388.636
AT ITER 564 NEW BEST:: SOT 275334 SOS 199548 HAS SOPS 198602 HAS SOUS 124094 HAS SOUPS 123148 WITH SCORE 123347.548
AT ITER 568 NEW BEST:: SOT 275304 SOS 199518 HAS SOPS 198572 HAS SOUS 124034 HAS SOUPS 123088 WITH SCORE 123287.518
AT ITER 570 NEW BEST:: SOT 275304 SOS 199501 HAS SOPS 198555 HAS SOUS 124029 HAS SOUPS 123083 WITH SCORE 123282.501
AT ITER 571 NEW BEST:: SOT 275256 SOS 199429 HAS SOPS 198459 HAS SOUS 123957 HAS SOUPS 122987 WITH SCORE 123186.429
AT ITER 573 NEW BEST:: SOT 275256 SOS 199421 HAS SOPS 198451 HAS SOUS 123957 HAS SOUPS 122987 WITH SCORE 123186.421
AT ITER 579 NEW BEST:: SOT 275256 SOS 199310 HAS SOPS 198345 HAS SOUS 123931 HAS SOUPS 122966 WITH SCORE 123165.31
AT ITER 583 NEW BEST:: SOT 275287 SOS 199341 HAS SOPS 198376 HAS SOUS 123890 HAS SOUPS 122925 WITH SCORE 123124.341
AT ITER 585 NEW BEST:: SOT 274154 SOS 198252 HAS SOPS 197287 HAS SOUS 123252 HAS SOUPS 122287 WITH SCORE 122485.252
AT ITER 588 NEW BEST:: SOT 273277 SOS 197312 HAS SOPS 196347 HAS SOUS 121395 HAS SOUPS 120430 WITH SCORE 120627.312
AT ITER 592 NEW BEST:: SOT 273419 SOS 196456 HAS SOPS 195491 HAS SOUS 120675 HAS SOUPS 119710 WITH SCORE 119906.456
AT ITER 594 NEW BEST:: SOT 273416 SOS 196453 HAS SOPS 195488 HAS SOUS 120672 HAS SOUPS 119707 WITH SCORE 119903.453
AT ITER 597 NEW BEST:: SOT 273404 SOS 196441 HAS SOPS 195476 HAS SOUS 120648 HAS SOUPS 119683 WITH SCORE 119879.441
AT ITER 598 NEW BEST:: SOT 273386 SOS 196423 HAS SOPS 195458 HAS SOUS 120612 HAS SOUPS 119647 WITH SCORE 119843.423
AT ITER 599 NEW BEST:: SOT 273386 SOS 196193 HAS SOPS 195228 HAS SOUS 120612 HAS SOUPS 119647 WITH SCORE 119843.193
AT ITER 619 NEW BEST:: SOT 273343 SOS 195986 HAS SOPS 195021 HAS SOUS 120489 HAS SOUPS 119524 WITH SCORE 119719.986
AT ITER 623 NEW BEST:: SOT 273062 SOS 195916 HAS SOPS 194951 HAS SOUS 119951 HAS SOUPS 118986 WITH SCORE 119181.916
AT ITER 625 NEW BEST:: SOT 273062 SOS 195916 HAS SOPS 194951 HAS SOUS 119933 HAS SOUPS 118968 WITH SCORE 119163.916
AT ITER 631 NEW BEST:: SOT 273062 SOS 195873 HAS SOPS 194849 HAS SOUS 119992 HAS SOUPS 118968 WITH SCORE 119163.873
AT ITER 635 NEW BEST:: SOT 273208 SOS 191896 HAS SOPS 190872 HAS SOUS 119281 HAS SOUPS 118257 WITH SCORE 118448.896
AT ITER 638 NEW BEST:: SOT 273208 SOS 191896 HAS SOPS 190872 HAS SOUS 119264 HAS SOUPS 118240 WITH SCORE 118431.896
AT ITER 648 NEW BEST:: SOT 273204 SOS 191892 HAS SOPS 190868 HAS SOUS 119260 HAS SOUPS 118236 WITH SCORE 118427.892
AT ITER 656 NEW BEST:: SOT 273204 SOS 191558 HAS SOPS 190534 HAS SOUS 119223 HAS SOUPS 118199 WITH SCORE 118390.558
AT ITER 661 NEW BEST:: SOT 273279 SOS 191390 HAS SOPS 190366 HAS SOUS 119222 HAS SOUPS 118198 WITH SCORE 118389.39
AT ITER 662 NEW BEST:: SOT 273275 SOS 191384 HAS SOPS 190358 HAS SOUS 119216 HAS SOUPS 118190 WITH SCORE 118381.384
AT ITER 665 NEW BEST:: SOT 273250 SOS 191359 HAS SOPS 190333 HAS SOUS 119166 HAS SOUPS 118140 WITH SCORE 118331.359
AT ITER 666 NEW BEST:: SOT 273852 SOS 191050 HAS SOPS 190024 HAS SOUS 118885 HAS SOUPS 117859 WITH SCORE 118050.05
AT ITER 670 NEW BEST:: SOT 274187 SOS 190046 HAS SOPS 189020 HAS SOUS 118304 HAS SOUPS 117278 WITH SCORE 117468.046
AT ITER 673 NEW BEST:: SOT 273871 SOS 189945 HAS SOPS 188919 HAS SOUS 118238 HAS SOUPS 117212 WITH SCORE 117401.945
AT ITER 674 NEW BEST:: SOT 273828 SOS 189902 HAS SOPS 188876 HAS SOUS 118134 HAS SOUPS 117108 WITH SCORE 117297.902
AT ITER 675 NEW BEST:: SOT 273712 SOS 189782 HAS SOPS 188756 HAS SOUS 117920 HAS SOUPS 116894 WITH SCORE 117083.782
AT ITER 677 NEW BEST:: SOT 273682 SOS 189752 HAS SOPS 188726 HAS SOUS 117868 HAS SOUPS 116842 WITH SCORE 117031.752
AT ITER 678 NEW BEST:: SOT 273670 SOS 189727 HAS SOPS 188701 HAS SOUS 117822 HAS SOUPS 116796 WITH SCORE 116985.727
AT ITER 687 NEW BEST:: SOT 273575 SOS 189632 HAS SOPS 188606 HAS SOUS 117632 HAS SOUPS 116606 WITH SCORE 116795.632
AT ITER 693 NEW BEST:: SOT 273575 SOS 189614 HAS SOPS 188588 HAS SOUS 117623 HAS SOUPS 116597 WITH SCORE 116786.614
AT ITER 697 NEW BEST:: SOT 273575 SOS 189580 HAS SOPS 188554 HAS SOUS 117604 HAS SOUPS 116578 WITH SCORE 116767.58
AT ITER 698 NEW BEST:: SOT 273561 SOS 189566 HAS SOPS 188540 HAS SOUS 117576 HAS SOUPS 116550 WITH SCORE 116739.566
AT ITER 701 NEW BEST:: SOT 273517 SOS 189478 HAS SOPS 188408 HAS SOUS 117532 HAS SOUPS 116462 WITH SCORE 116651.478
AT ITER 707 NEW BEST:: SOT 273517 SOS 189333 HAS SOPS 188104 HAS SOUS 117552 HAS SOUPS 116323 WITH SCORE 116512.333
AT ITER 718 NEW BEST:: SOT 273517 SOS 189333 HAS SOPS 188104 HAS SOUS 117487 HAS SOUPS 116258 WITH SCORE 116447.333
AT ITER 720 NEW BEST:: SOT 273486 SOS 189302 HAS SOPS 188073 HAS SOUS 117425 HAS SOUPS 116196 WITH SCORE 116385.302
AT ITER 722 NEW BEST:: SOT 273449 SOS 188933 HAS SOPS 187704 HAS SOUS 117351 HAS SOUPS 116122 WITH SCORE 116310.933
AT ITER 733 NEW BEST:: SOT 273449 SOS 188900 HAS SOPS 187671 HAS SOUS 117318 HAS SOUPS 116089 WITH SCORE 116277.9
AT ITER 744 NEW BEST:: SOT 273483 SOS 188849 HAS SOPS 187620 HAS SOUS 117285 HAS SOUPS 116056 WITH SCORE 116244.849
AT ITER 745 NEW BEST:: SOT 273641 SOS 188834 HAS SOPS 187605 HAS SOUS 117147 HAS SOUPS 115918 WITH SCORE 116106.834
AT ITER 758 NEW BEST:: SOT 273594 SOS 188787 HAS SOPS 187558 HAS SOUS 117060 HAS SOUPS 115831 WITH SCORE 116019.787
AT ITER 761 NEW BEST:: SOT 273594 SOS 188695 HAS SOPS 187466 HAS SOUS 116927 HAS SOUPS 115698 WITH SCORE 115886.695
AT ITER 762 NEW BEST:: SOT 273870 SOS 187369 HAS SOPS 186140 HAS SOUS 115952 HAS SOUPS 114723 WITH SCORE 114910.369
AT ITER 770 NEW BEST:: SOT 273870 SOS 187362 HAS SOPS 186133 HAS SOUS 115908 HAS SOUPS 114679 WITH SCORE 114866.362
AT ITER 789 NEW BEST:: SOT 273948 SOS 186364 HAS SOPS 185135 HAS SOUS 114772 HAS SOUPS 113543 WITH SCORE 113729.364
AT ITER 796 NEW BEST:: SOT 273936 SOS 186346 HAS SOPS 185111 HAS SOUS 114754 HAS SOUPS 113519 WITH SCORE 113705.346
AT ITER 798 NEW BEST:: SOT 273936 SOS 184116 HAS SOPS 182881 HAS SOUS 114229 HAS SOUPS 112994 WITH SCORE 113178.116
AT ITER 801 NEW BEST:: SOT 274042 SOS 182487 HAS SOPS 181252 HAS SOUS 112686 HAS SOUPS 111451 WITH SCORE 111633.487
AT ITER 802 NEW BEST:: SOT 273730 SOS 182235 HAS SOPS 181000 HAS SOUS 112437 HAS SOUPS 111202 WITH SCORE 111384.235
AT ITER 803 NEW BEST:: SOT 273697 SOS 182373 HAS SOPS 181138 HAS SOUS 112393 HAS SOUPS 111158 WITH SCORE 111340.373
AT ITER 807 NEW BEST:: SOT 273644 SOS 182196 HAS SOPS 180961 HAS SOUS 112213 HAS SOUPS 110978 WITH SCORE 111160.196
AT ITER 810 NEW BEST:: SOT 273004 SOS 181556 HAS SOPS 180321 HAS SOUS 111812 HAS SOUPS 110577 WITH SCORE 110758.556
AT ITER 811 NEW BEST:: SOT 272964 SOS 181516 HAS SOPS 180281 HAS SOUS 111759 HAS SOUPS 110524 WITH SCORE 110705.516
AT ITER 812 NEW BEST:: SOT 272958 SOS 181510 HAS SOPS 180275 HAS SOUS 111747 HAS SOUPS 110512 WITH SCORE 110693.51
AT ITER 818 NEW BEST:: SOT 272871 SOS 181432 HAS SOPS 180188 HAS SOUS 111723 HAS SOUPS 110479 WITH SCORE 110660.432
AT ITER 825 NEW BEST:: SOT 272871 SOS 181559 HAS SOPS 180315 HAS SOUS 111658 HAS SOUPS 110414 WITH SCORE 110595.559
AT ITER 826 NEW BEST:: SOT 272871 SOS 181365 HAS SOPS 180121 HAS SOUS 111658 HAS SOUPS 110414 WITH SCORE 110595.365
AT ITER 827 NEW BEST:: SOT 272923 SOS 181324 HAS SOPS 180080 HAS SOUS 111446 HAS SOUPS 110202 WITH SCORE 110383.324
AT ITER 828 NEW BEST:: SOT 272923 SOS 181171 HAS SOPS 179927 HAS SOUS 111442 HAS SOUPS 110198 WITH SCORE 110379.171
AT ITER 839 NEW BEST:: SOT 272923 SOS 181113 HAS SOPS 179869 HAS SOUS 111430 HAS SOUPS 110186 WITH SCORE 110367.113
AT ITER 847 NEW BEST:: SOT 272923 SOS 181101 HAS SOPS 179857 HAS SOUS 111412 HAS SOUPS 110168 WITH SCORE 110349.101
AT ITER 852 NEW BEST:: SOT 272923 SOS 177636 HAS SOPS 176477 HAS SOUS 110962 HAS SOUPS 109803 WITH SCORE 109980.636
AT ITER 853 NEW BEST:: SOT 272882 SOS 177595 HAS SOPS 176436 HAS SOUS 110880 HAS SOUPS 109721 WITH SCORE 109898.595
AT ITER 860 NEW BEST:: SOT 272806 SOS 177262 HAS SOPS 176075 HAS SOUS 110756 HAS SOUPS 109569 WITH SCORE 109746.262
AT ITER 861 NEW BEST:: SOT 272806 SOS 177390 HAS SOPS 176203 HAS SOUS 110740 HAS SOUPS 109553 WITH SCORE 109730.39
AT ITER 864 NEW BEST:: SOT 272806 SOS 177390 HAS SOPS 176203 HAS SOUS 110709 HAS SOUPS 109522 WITH SCORE 109699.39
AT ITER 868 NEW BEST:: SOT 272806 SOS 177390 HAS SOPS 176203 HAS SOUS 110679 HAS SOUPS 109492 WITH SCORE 109669.39
AT ITER 874 NEW BEST:: SOT 272806 SOS 177205 HAS SOPS 176018 HAS SOUS 110679 HAS SOUPS 109492 WITH SCORE 109669.205
AT ITER 898 NEW BEST:: SOT 272836 SOS 177187 HAS SOPS 176000 HAS SOUS 110642 HAS SOUPS 109455 WITH SCORE 109632.187
AT ITER 900 NEW BEST:: SOT 272824 SOS 177175 HAS SOPS 175988 HAS SOUS 110618 HAS SOUPS 109431 WITH SCORE 109608.175
AT ITER 906 NEW BEST:: SOT 272818 SOS 177169 HAS SOPS 175982 HAS SOUS 110606 HAS SOUPS 109419 WITH SCORE 109596.169
AT ITER 923 NEW BEST:: SOT 272976 SOS 176241 HAS SOPS 175054 HAS SOUS 110321 HAS SOUPS 109134 WITH SCORE 109310.241
AT ITER 935 NEW BEST:: SOT 272976 SOS 176155 HAS SOPS 174968 HAS SOUS 110258 HAS SOUPS 109071 WITH SCORE 109247.155
AT ITER 937 NEW BEST:: SOT 272976 SOS 176155 HAS SOPS 174968 HAS SOUS 110238 HAS SOUPS 109051 WITH SCORE 109227.155
AT ITER 950 NEW BEST:: SOT 272976 SOS 176136 HAS SOPS 174949 HAS SOUS 110238 HAS SOUPS 109051 WITH SCORE 109227.136
AT ITER 953 NEW BEST:: SOT 272976 SOS 176116 HAS SOPS 174929 HAS SOUS 110238 HAS SOUPS 109051 WITH SCORE 109227.116
AT ITER 957 NEW BEST:: SOT 272976 SOS 176076 HAS SOPS 174889 HAS SOUS 110238 HAS SOUPS 109051 WITH SCORE 109227.076
AT ITER 958 NEW BEST:: SOT 272976 SOS 176029 HAS SOPS 174842 HAS SOUS 110210 HAS SOUPS 109023 WITH SCORE 109199.029
AT ITER 959 NEW BEST:: SOT 272976 SOS 176024 HAS SOPS 174837 HAS SOUS 110210 HAS SOUPS 109023 WITH SCORE 109199.024
AT ITER 974 NEW BEST:: SOT 272976 SOS 175976 HAS SOPS 174789 HAS SOUS 110210 HAS SOUPS 109023 WITH SCORE 109198.976
AT ITER 985 NEW BEST:: SOT 272933 SOS 175933 HAS SOPS 174746 HAS SOUS 110115 HAS SOUPS 108928 WITH SCORE 109103.933
AT ITER 987 NEW BEST:: SOT 272933 SOS 175928 HAS SOPS 174741 HAS SOUS 110115 HAS SOUPS 108928 WITH SCORE 109103.928
AT ITER 991 NEW BEST:: SOT 272933 SOS 173929 HAS SOPS 172742 HAS SOUS 109994 HAS SOUPS 108807 WITH SCORE 108980.929
AT ITER 993 NEW BEST:: SOT 272933 SOS 173929 HAS SOPS 172742 HAS SOUS 109986 HAS SOUPS 108799 WITH SCORE 108972.929
AT ITER 1002 NEW BEST:: SOT 272875 SOS 173871 HAS SOPS 172684 HAS SOUS 109870 HAS SOUPS 108683 WITH SCORE 108856.871
AT ITER 1003 NEW BEST:: SOT 272624 SOS 173663 HAS SOPS 172476 HAS SOUS 109382 HAS SOUPS 108195 WITH SCORE 108368.663
AT ITER 1004 NEW BEST:: SOT 272624 SOS 173598 HAS SOPS 172411 HAS SOUS 109382 HAS SOUPS 108195 WITH SCORE 108368.598
AT ITER 1007 NEW BEST:: SOT 272372 SOS 173365 HAS SOPS 172197 HAS SOUS 109258 HAS SOUPS 108090 WITH SCORE 108263.365
AT ITER 1008 NEW BEST:: SOT 272304 SOS 173297 HAS SOPS 172129 HAS SOUS 109122 HAS SOUPS 107954 WITH SCORE 108127.297
AT ITER 1012 NEW BEST:: SOT 272228 SOS 172956 HAS SOPS 171502 HAS SOUS 108864 HAS SOUPS 107410 WITH SCORE 107582.956
AT ITER 1014 NEW BEST:: SOT 272228 SOS 172892 HAS SOPS 171438 HAS SOUS 108863 HAS SOUPS 107409 WITH SCORE 107581.892
AT ITER 1016 NEW BEST:: SOT 272228 SOS 172676 HAS SOPS 171222 HAS SOUS 108842 HAS SOUPS 107388 WITH SCORE 107560.676
AT ITER 1020 NEW BEST:: SOT 267533 SOS 169318 HAS SOPS 167883 HAS SOUS 104066 HAS SOUPS 102631 WITH SCORE 102800.318
AT ITER 1021 NEW BEST:: SOT 267533 SOS 169312 HAS SOPS 167877 HAS SOUS 104066 HAS SOUPS 102631 WITH SCORE 102800.312
AT ITER 1026 NEW BEST:: SOT 267611 SOS 168988 HAS SOPS 167553 HAS SOUS 103945 HAS SOUPS 102510 WITH SCORE 102678.988
AT ITER 1027 NEW BEST:: SOT 267581 SOS 169125 HAS SOPS 167857 HAS SOUS 103718 HAS SOUPS 102450 WITH SCORE 102619.125
AT ITER 1028 NEW BEST:: SOT 267569 SOS 169042 HAS SOPS 167774 HAS SOUS 103639 HAS SOUPS 102371 WITH SCORE 102540.042
AT ITER 1035 NEW BEST:: SOT 267621 SOS 165669 HAS SOPS 164401 HAS SOUS 103191 HAS SOUPS 101923 WITH SCORE 102088.669
AT ITER 1042 NEW BEST:: SOT 267618 SOS 165666 HAS SOPS 164398 HAS SOUS 103188 HAS SOUPS 101920 WITH SCORE 102085.666
AT ITER 1046 NEW BEST:: SOT 267649 SOS 165662 HAS SOPS 164359 HAS SOUS 103204 HAS SOUPS 101901 WITH SCORE 102066.662
AT ITER 1052 NEW BEST:: SOT 267649 SOS 165662 HAS SOPS 164359 HAS SOUS 103113 HAS SOUPS 101810 WITH SCORE 101975.662
AT ITER 1054 NEW BEST:: SOT 267637 SOS 165543 HAS SOPS 164240 HAS SOUS 103067 HAS SOUPS 101764 WITH SCORE 101929.543
AT ITER 1061 NEW BEST:: SOT 267557 SOS 165463 HAS SOPS 164160 HAS SOUS 102907 HAS SOUPS 101604 WITH SCORE 101769.463
AT ITER 1082 NEW BEST:: SOT 267553 SOS 165459 HAS SOPS 164156 HAS SOUS 102903 HAS SOUPS 101600 WITH SCORE 101765.459
AT ITER 1086 NEW BEST:: SOT 267220 SOS 165528 HAS SOPS 164186 HAS SOUS 102746 HAS SOUPS 101404 WITH SCORE 101569.528
AT ITER 1093 NEW BEST:: SOT 267190 SOS 165498 HAS SOPS 164156 HAS SOUS 102686 HAS SOUPS 101344 WITH SCORE 101509.498
AT ITER 1098 NEW BEST:: SOT 267143 SOS 165451 HAS SOPS 164109 HAS SOUS 102592 HAS SOUPS 101250 WITH SCORE 101415.451
AT ITER 1110 NEW BEST:: SOT 267143 SOS 161492 HAS SOPS 160150 HAS SOUS 102446 HAS SOUPS 101104 WITH SCORE 101265.492
AT ITER 1112 NEW BEST:: SOT 267143 SOS 158833 HAS SOPS 157572 HAS SOUS 102312 HAS SOUPS 101051 WITH SCORE 101209.833
AT ITER 1118 NEW BEST:: SOT 267143 SOS 158811 HAS SOPS 157550 HAS SOUS 102252 HAS SOUPS 100991 WITH SCORE 101149.811
AT ITER 1121 NEW BEST:: SOT 267143 SOS 158762 HAS SOPS 157501 HAS SOUS 102252 HAS SOUPS 100991 WITH SCORE 101149.762
AT ITER 1133 NEW BEST:: SOT 267143 SOS 157621 HAS SOPS 156404 HAS SOUS 102195 HAS SOUPS 100978 WITH SCORE 101135.621
AT ITER 1135 NEW BEST:: SOT 267112 SOS 157544 HAS SOPS 156327 HAS SOUS 102048 HAS SOUPS 100831 WITH SCORE 100988.544
AT ITER 1145 NEW BEST:: SOT 267087 SOS 157519 HAS SOPS 156302 HAS SOUS 101998 HAS SOUPS 100781 WITH SCORE 100938.519
AT ITER 1147 NEW BEST:: SOT 267087 SOS 157372 HAS SOPS 156135 HAS SOUS 102018 HAS SOUPS 100781 WITH SCORE 100938.372
AT ITER 1149 NEW BEST:: SOT 267059 SOS 157344 HAS SOPS 156107 HAS SOUS 101962 HAS SOUPS 100725 WITH SCORE 100882.344
AT ITER 1150 NEW BEST:: SOT 267041 SOS 157302 HAS SOPS 156065 HAS SOUS 101850 HAS SOUPS 100613 WITH SCORE 100770.302
AT ITER 1151 NEW BEST:: SOT 267011 SOS 157272 HAS SOPS 156035 HAS SOUS 101797 HAS SOUPS 100560 WITH SCORE 100717.272
AT ITER 1169 NEW BEST:: SOT 267011 SOS 157255 HAS SOPS 156018 HAS SOUS 101774 HAS SOUPS 100537 WITH SCORE 100694.255
AT ITER 1199 NEW BEST:: SOT 266981 SOS 157225 HAS SOPS 155988 HAS SOUS 101714 HAS SOUPS 100477 WITH SCORE 100634.225
AT ITER 1202 NEW BEST:: SOT 266981 SOS 156902 HAS SOPS 155665 HAS SOUS 101619 HAS SOUPS 100382 WITH SCORE 100538.902
AT ITER 1204 NEW BEST:: SOT 266813 SOS 156830 HAS SOPS 155593 HAS SOUS 101316 HAS SOUPS 100079 WITH SCORE 100235.83
AT ITER 1213 NEW BEST:: SOT 266785 SOS 156802 HAS SOPS 155565 HAS SOUS 101288 HAS SOUPS 100051 WITH SCORE 100207.802
AT ITER 1214 NEW BEST:: SOT 266785 SOS 156728 HAS SOPS 155491 HAS SOUS 101288 HAS SOUPS 100051 WITH SCORE 100207.728
AT ITER 1215 NEW BEST:: SOT 266846 SOS 154793 HAS SOPS 153556 HAS SOUS 101169 HAS SOUPS 99932 WITH SCORE 100086.793
AT ITER 1216 NEW BEST:: SOT 266846 SOS 154709 HAS SOPS 153472 HAS SOUS 101169 HAS SOUPS 99932 WITH SCORE 100086.709
AT ITER 1225 NEW BEST:: SOT 266818 SOS 154681 HAS SOPS 153444 HAS SOUS 101113 HAS SOUPS 99876 WITH SCORE 100030.681
AT ITER 1235 NEW BEST:: SOT 266668 SOS 155573 HAS SOPS 154336 HAS SOUS 101094 HAS SOUPS 99857 WITH SCORE 100012.573
AT ITER 1237 NEW BEST:: SOT 266668 SOS 155413 HAS SOPS 154176 HAS SOUS 101005 HAS SOUPS 99768 WITH SCORE 99923.413
AT ITER 1247 NEW BEST:: SOT 266668 SOS 155413 HAS SOPS 154176 HAS SOUS 100999 HAS SOUPS 99762 WITH SCORE 99917.413
AT ITER 1249 NEW BEST:: SOT 266668 SOS 155399 HAS SOPS 154162 HAS SOUS 100928 HAS SOUPS 99691 WITH SCORE 99846.399
AT ITER 1253 NEW BEST:: SOT 266662 SOS 155378 HAS SOPS 154141 HAS SOUS 100921 HAS SOUPS 99684 WITH SCORE 99839.378
AT ITER 1255 NEW BEST:: SOT 266662 SOS 155383 HAS SOPS 154146 HAS SOUS 100903 HAS SOUPS 99666 WITH SCORE 99821.383
AT ITER 1256 NEW BEST:: SOT 266429 SOS 155166 HAS SOPS 153929 HAS SOUS 100647 HAS SOUPS 99410 WITH SCORE 99565.166
AT ITER 1265 NEW BEST:: SOT 266429 SOS 154990 HAS SOPS 153753 HAS SOUS 100529 HAS SOUPS 99292 WITH SCORE 99446.99
AT ITER 1268 NEW BEST:: SOT 266429 SOS 154962 HAS SOPS 153725 HAS SOUS 100529 HAS SOUPS 99292 WITH SCORE 99446.962
AT ITER 1269 NEW BEST:: SOT 266322 SOS 154787 HAS SOPS 153550 HAS SOUS 100260 HAS SOUPS 99023 WITH SCORE 99177.787
AT ITER 1271 NEW BEST:: SOT 266322 SOS 154723 HAS SOPS 153486 HAS SOUS 100260 HAS SOUPS 99023 WITH SCORE 99177.723
AT ITER 1276 NEW BEST:: SOT 266172 SOS 154573 HAS SOPS 153336 HAS SOUS 99963 HAS SOUPS 98726 WITH SCORE 98880.573
AT ITER 1279 NEW BEST:: SOT 266172 SOS 154477 HAS SOPS 153240 HAS SOUS 99934 HAS SOUPS 98697 WITH SCORE 98851.477
AT ITER 1281 NEW BEST:: SOT 266249 SOS 152750 HAS SOPS 151513 HAS SOUS 99591 HAS SOUPS 98354 WITH SCORE 98506.75
AT ITER 1284 NEW BEST:: SOT 266249 SOS 152748 HAS SOPS 151511 HAS SOUS 99591 HAS SOUPS 98354 WITH SCORE 98506.748
AT ITER 1286 NEW BEST:: SOT 266189 SOS 152688 HAS SOPS 151451 HAS SOUS 99471 HAS SOUPS 98234 WITH SCORE 98386.688
AT ITER 1288 NEW BEST:: SOT 266189 SOS 152616 HAS SOPS 151379 HAS SOUS 99410 HAS SOUPS 98173 WITH SCORE 98325.616
AT ITER 1293 NEW BEST:: SOT 266189 SOS 152602 HAS SOPS 151365 HAS SOUS 99410 HAS SOUPS 98173 WITH SCORE 98325.602
AT ITER 1295 NEW BEST:: SOT 265985 SOS 152398 HAS SOPS 151161 HAS SOUS 99345 HAS SOUPS 98108 WITH SCORE 98260.398
AT ITER 1311 NEW BEST:: SOT 265972 SOS 152399 HAS SOPS 151162 HAS SOUS 99316 HAS SOUPS 98079 WITH SCORE 98231.399
AT ITER 1315 NEW BEST:: SOT 265950 SOS 152377 HAS SOPS 151140 HAS SOUS 99272 HAS SOUPS 98035 WITH SCORE 98187.377
AT ITER 1328 NEW BEST:: SOT 265950 SOS 149386 HAS SOPS 148261 HAS SOUS 99092 HAS SOUPS 97967 WITH SCORE 98116.386
AT ITER 1330 NEW BEST:: SOT 265947 SOS 149368 HAS SOPS 148243 HAS SOUS 99086 HAS SOUPS 97961 WITH SCORE 98110.368
AT ITER 1331 NEW BEST:: SOT 265977 SOS 148856 HAS SOPS 147731 HAS SOUS 98966 HAS SOUPS 97841 WITH SCORE 97989.856
AT ITER 1335 NEW BEST:: SOT 265984 SOS 148804 HAS SOPS 147679 HAS SOUS 98949 HAS SOUPS 97824 WITH SCORE 97972.804
AT ITER 1336 NEW BEST:: SOT 265984 SOS 148675 HAS SOPS 147550 HAS SOUS 98884 HAS SOUPS 97759 WITH SCORE 97907.675
AT ITER 1339 NEW BEST:: SOT 266001 SOS 148671 HAS SOPS 147546 HAS SOUS 98833 HAS SOUPS 97708 WITH SCORE 97856.671
AT ITER 1346 NEW BEST:: SOT 266001 SOS 148684 HAS SOPS 147559 HAS SOUS 98804 HAS SOUPS 97679 WITH SCORE 97827.684
AT ITER 1356 NEW BEST:: SOT 265913 SOS 148668 HAS SOPS 147543 HAS SOUS 98772 HAS SOUPS 97647 WITH SCORE 97795.668
AT ITER 1360 NEW BEST:: SOT 265913 SOS 148532 HAS SOPS 147407 HAS SOUS 98678 HAS SOUPS 97553 WITH SCORE 97701.532
AT ITER 1362 NEW BEST:: SOT 265911 SOS 148530 HAS SOPS 147405 HAS SOUS 98674 HAS SOUPS 97549 WITH SCORE 97697.53
AT ITER 1370 NEW BEST:: SOT 265911 SOS 148431 HAS SOPS 147306 HAS SOUS 98645 HAS SOUPS 97520 WITH SCORE 97668.431
AT ITER 1372 NEW BEST:: SOT 265905 SOS 148462 HAS SOPS 147337 HAS SOUS 98598 HAS SOUPS 97473 WITH SCORE 97621.462
AT ITER 1374 NEW BEST:: SOT 266113 SOS 148509 HAS SOPS 147384 HAS SOUS 98572 HAS SOUPS 97447 WITH SCORE 97595.509
AT ITER 1389 NEW BEST:: SOT 266090 SOS 148402 HAS SOPS 147277 HAS SOUS 98523 HAS SOUPS 97398 WITH SCORE 97546.402
AT ITER 1390 NEW BEST:: SOT 266090 SOS 148350 HAS SOPS 147225 HAS SOUS 98523 HAS SOUPS 97398 WITH SCORE 97546.35
AT ITER 1393 NEW BEST:: SOT 266024 SOS 148344 HAS SOPS 147219 HAS SOUS 98391 HAS SOUPS 97266 WITH SCORE 97414.344
AT ITER 1395 NEW BEST:: SOT 265881 SOS 148201 HAS SOPS 147076 HAS SOUS 98105 HAS SOUPS 96980 WITH SCORE 97128.201
AT ITER 1396 NEW BEST:: SOT 265917 SOS 148035 HAS SOPS 146910 HAS SOUS 97828 HAS SOUPS 96703 WITH SCORE 96851.035
AT ITER 1398 NEW BEST:: SOT 265917 SOS 148020 HAS SOPS 146895 HAS SOUS 97828 HAS SOUPS 96703 WITH SCORE 96851.02
AT ITER 1408 NEW BEST:: SOT 265875 SOS 148086 HAS SOPS 146961 HAS SOUS 97744 HAS SOUPS 96619 WITH SCORE 96767.086
AT ITER 1423 NEW BEST:: SOT 265874 SOS 148085 HAS SOPS 146960 HAS SOUS 97721 HAS SOUPS 96596 WITH SCORE 96744.085
AT ITER 1431 NEW BEST:: SOT 265874 SOS 148043 HAS SOPS 146918 HAS SOUS 97721 HAS SOUPS 96596 WITH SCORE 96744.043
AT ITER 1442 NEW BEST:: SOT 265874 SOS 147954 HAS SOPS 146829 HAS SOUS 97721 HAS SOUPS 96596 WITH SCORE 96743.954
AT ITER 1443 NEW BEST:: SOT 265874 SOS 147916 HAS SOPS 146791 HAS SOUS 97721 HAS SOUPS 96596 WITH SCORE 96743.916
AT ITER 1444 NEW BEST:: SOT 265874 SOS 147916 HAS SOPS 146791 HAS SOUS 97704 HAS SOUPS 96579 WITH SCORE 96726.916
AT ITER 1445 NEW BEST:: SOT 265809 SOS 147851 HAS SOPS 146726 HAS SOUS 97574 HAS SOUPS 96449 WITH SCORE 96596.851
AT ITER 1451 NEW BEST:: SOT 265809 SOS 147782 HAS SOPS 146657 HAS SOUS 97574 HAS SOUPS 96449 WITH SCORE 96596.782
AT ITER 1452 NEW BEST:: SOT 265809 SOS 147686 HAS SOPS 146561 HAS SOUS 97574 HAS SOUPS 96449 WITH SCORE 96596.686
AT ITER 1458 NEW BEST:: SOT 265723 SOS 147600 HAS SOPS 146475 HAS SOUS 97402 HAS SOUPS 96277 WITH SCORE 96424.6
AT ITER 1464 NEW BEST:: SOT 265721 SOS 147554 HAS SOPS 146429 HAS SOUS 97351 HAS SOUPS 96226 WITH SCORE 96373.554
AT ITER 1466 NEW BEST:: SOT 265158 SOS 146991 HAS SOPS 145866 HAS SOUS 96827 HAS SOUPS 95702 WITH SCORE 95848.991
AT ITER 1478 NEW BEST:: SOT 265230 SOS 145276 HAS SOPS 144151 HAS SOUS 96770 HAS SOUPS 95645 WITH SCORE 95790.276
AT ITER 1497 NEW BEST:: SOT 265229 SOS 145275 HAS SOPS 144150 HAS SOUS 96768 HAS SOUPS 95643 WITH SCORE 95788.275
AT ITER 1498 NEW BEST:: SOT 265229 SOS 145189 HAS SOPS 144064 HAS SOUS 96768 HAS SOUPS 95643 WITH SCORE 95788.189
AT ITER 1500 NEW BEST:: SOT 265274 SOS 145208 HAS SOPS 144070 HAS SOUS 96611 HAS SOUPS 95473 WITH SCORE 95618.208
AT ITER 1509 NEW BEST:: SOT 265264 SOS 145198 HAS SOPS 144060 HAS SOUS 96591 HAS SOUPS 95453 WITH SCORE 95598.198
AT ITER 1514 NEW BEST:: SOT 265191 SOS 145849 HAS SOPS 144711 HAS SOUS 96585 HAS SOUPS 95447 WITH SCORE 95592.849
AT ITER 1516 NEW BEST:: SOT 265191 SOS 145001 HAS SOPS 143863 HAS SOUS 96546 HAS SOUPS 95408 WITH SCORE 95553.001
AT ITER 1525 NEW BEST:: SOT 265119 SOS 144811 HAS SOPS 143673 HAS SOUS 96377 HAS SOUPS 95239 WITH SCORE 95383.811
AT ITER 1526 NEW BEST:: SOT 265119 SOS 144741 HAS SOPS 143603 HAS SOUS 96377 HAS SOUPS 95239 WITH SCORE 95383.741
AT ITER 1532 NEW BEST:: SOT 265103 SOS 144725 HAS SOPS 143587 HAS SOUS 96345 HAS SOUPS 95207 WITH SCORE 95351.725
AT ITER 1534 NEW BEST:: SOT 265103 SOS 144685 HAS SOPS 143547 HAS SOUS 96345 HAS SOUPS 95207 WITH SCORE 95351.685
AT ITER 1535 NEW BEST:: SOT 265103 SOS 144683 HAS SOPS 143545 HAS SOUS 96342 HAS SOUPS 95204 WITH SCORE 95348.683
AT ITER 1548 NEW BEST:: SOT 265103 SOS 144602 HAS SOPS 143464 HAS SOUS 96292 HAS SOUPS 95154 WITH SCORE 95298.602
AT ITER 1553 NEW BEST:: SOT 265099 SOS 144598 HAS SOPS 143460 HAS SOUS 96284 HAS SOUPS 95146 WITH SCORE 95290.598
AT ITER 1561 NEW BEST:: SOT 265088 SOS 144587 HAS SOPS 143449 HAS SOUS 96262 HAS SOUPS 95124 WITH SCORE 95268.587
AT ITER 1564 NEW BEST:: SOT 265088 SOS 143493 HAS SOPS 142375 HAS SOUS 96086 HAS SOUPS 94968 WITH SCORE 95111.493
AT ITER 1565 NEW BEST:: SOT 265302 SOS 143741 HAS SOPS 142623 HAS SOUS 96052 HAS SOUPS 94934 WITH SCORE 95077.741
AT ITER 1571 NEW BEST:: SOT 265296 SOS 143735 HAS SOPS 142617 HAS SOUS 96040 HAS SOUPS 94922 WITH SCORE 95065.735
AT ITER 1577 NEW BEST:: SOT 265296 SOS 143652 HAS SOPS 142534 HAS SOUS 95920 HAS SOUPS 94802 WITH SCORE 94945.652
AT ITER 1590 NEW BEST:: SOT 264998 SOS 144966 HAS SOPS 143848 HAS SOUS 95761 HAS SOUPS 94643 WITH SCORE 94787.966
AT ITER 1592 NEW BEST:: SOT 265000 SOS 145271 HAS SOPS 144153 HAS SOUS 95760 HAS SOUPS 94642 WITH SCORE 94787.271
AT ITER 1595 NEW BEST:: SOT 264975 SOS 145246 HAS SOPS 144128 HAS SOUS 95710 HAS SOUPS 94592 WITH SCORE 94737.246
AT ITER 1602 NEW BEST:: SOT 264975 SOS 145178 HAS SOPS 144060 HAS SOUS 95710 HAS SOUPS 94592 WITH SCORE 94737.178
AT ITER 1606 NEW BEST:: SOT 264975 SOS 145051 HAS SOPS 143933 HAS SOUS 95644 HAS SOUPS 94526 WITH SCORE 94671.051
AT ITER 1610 NEW BEST:: SOT 265613 SOS 145591 HAS SOPS 144473 HAS SOUS 95168 HAS SOUPS 94050 WITH SCORE 94195.591
AT ITER 1616 NEW BEST:: SOT 265606 SOS 145584 HAS SOPS 144466 HAS SOUS 95154 HAS SOUPS 94036 WITH SCORE 94181.584
AT ITER 1619 NEW BEST:: SOT 257716 SOS 152179 HAS SOPS 151061 HAS SOUS 87330 HAS SOUPS 86212 WITH SCORE 86364.179
AT ITER 1621 NEW BEST:: SOT 256792 SOS 151569 HAS SOPS 150353 HAS SOUS 87257 HAS SOUPS 86041 WITH SCORE 86192.569
AT ITER 1628 NEW BEST:: SOT 256786 SOS 151568 HAS SOPS 150352 HAS SOUS 87245 HAS SOUPS 86029 WITH SCORE 86180.568
AT ITER 1631 NEW BEST:: SOT 256786 SOS 151546 HAS SOPS 150330 HAS SOUS 87245 HAS SOUPS 86029 WITH SCORE 86180.546
AT ITER 1639 NEW BEST:: SOT 256786 SOS 151545 HAS SOPS 150329 HAS SOUS 87245 HAS SOUPS 86029 WITH SCORE 86180.545
AT ITER 1643 NEW BEST:: SOT 255461 SOS 156624 HAS SOPS 155408 HAS SOUS 85941 HAS SOUPS 84725 WITH SCORE 84881.624
AT ITER 1647 NEW BEST:: SOT 255140 SOS 156318 HAS SOPS 155102 HAS SOUS 85632 HAS SOUPS 84416 WITH SCORE 84572.318
AT ITER 1651 NEW BEST:: SOT 255173 SOS 154966 HAS SOPS 153750 HAS SOUS 85626 HAS SOUPS 84410 WITH SCORE 84564.966
AT ITER 1689 NEW BEST:: SOT 255121 SOS 154914 HAS SOPS 153698 HAS SOUS 85522 HAS SOUPS 84306 WITH SCORE 84460.914
AT ITER 1700 NEW BEST:: SOT 255113 SOS 154904 HAS SOPS 153688 HAS SOUS 85488 HAS SOUPS 84272 WITH SCORE 84426.904
AT ITER 1704 NEW BEST:: SOT 255257 SOS 155078 HAS SOPS 153862 HAS SOUS 85443 HAS SOUPS 84227 WITH SCORE 84382.078
AT ITER 1709 NEW BEST:: SOT 255213 SOS 155034 HAS SOPS 153818 HAS SOUS 85355 HAS SOUPS 84139 WITH SCORE 84294.034
AT ITER 1714 NEW BEST:: SOT 254092 SOS 154312 HAS SOPS 152924 HAS SOUS 85505 HAS SOUPS 84117 WITH SCORE 84271.312
AT ITER 1717 NEW BEST:: SOT 253984 SOS 154826 HAS SOPS 153438 HAS SOUS 85393 HAS SOUPS 84005 WITH SCORE 84159.826
AT ITER 1727 NEW BEST:: SOT 253973 SOS 154732 HAS SOPS 153344 HAS SOUS 85277 HAS SOUPS 83889 WITH SCORE 84043.732
AT ITER 1732 NEW BEST:: SOT 252852 SOS 155722 HAS SOPS 154303 HAS SOUS 84916 HAS SOUPS 83497 WITH SCORE 83652.722
AT ITER 1743 NEW BEST:: SOT 252834 SOS 155660 HAS SOPS 154241 HAS SOUS 84806 HAS SOUPS 83387 WITH SCORE 83542.66
AT ITER 1744 NEW BEST:: SOT 252820 SOS 155646 HAS SOPS 154227 HAS SOUS 84778 HAS SOUPS 83359 WITH SCORE 83514.646
AT ITER 1747 NEW BEST:: SOT 252820 SOS 155707 HAS SOPS 154288 HAS SOUS 84768 HAS SOUPS 83349 WITH SCORE 83504.707
AT ITER 1750 NEW BEST:: SOT 252774 SOS 155629 HAS SOPS 154210 HAS SOUS 84661 HAS SOUPS 83242 WITH SCORE 83397.629
AT ITER 1753 NEW BEST:: SOT 252774 SOS 155643 HAS SOPS 154224 HAS SOUS 84627 HAS SOUPS 83208 WITH SCORE 83363.643
AT ITER 1758 NEW BEST:: SOT 252772 SOS 155641 HAS SOPS 154222 HAS SOUS 84623 HAS SOUPS 83204 WITH SCORE 83359.641
AT ITER 1759 NEW BEST:: SOT 251742 SOS 158867 HAS SOPS 157440 HAS SOUS 84304 HAS SOUPS 82877 WITH SCORE 83035.867
AT ITER 1789 NEW BEST:: SOT 251742 SOS 158841 HAS SOPS 157414 HAS SOUS 84304 HAS SOUPS 82877 WITH SCORE 83035.841
AT ITER 1793 NEW BEST:: SOT 251711 SOS 158810 HAS SOPS 157383 HAS SOUS 84242 HAS SOUPS 82815 WITH SCORE 82973.81
AT ITER 1794 NEW BEST:: SOT 251710 SOS 158810 HAS SOPS 157383 HAS SOUS 84241 HAS SOUPS 82814 WITH SCORE 82972.81
AT ITER 1804 NEW BEST:: SOT 251673 SOS 158773 HAS SOPS 157346 HAS SOUS 84167 HAS SOUPS 82740 WITH SCORE 82898.773
AT ITER 1807 NEW BEST:: SOT 251674 SOS 158642 HAS SOPS 157215 HAS SOUS 84077 HAS SOUPS 82650 WITH SCORE 82808.642
AT ITER 1811 NEW BEST:: SOT 251671 SOS 158639 HAS SOPS 157212 HAS SOUS 84071 HAS SOUPS 82644 WITH SCORE 82802.639
AT ITER 1816 NEW BEST:: SOT 251353 SOS 158321 HAS SOPS 156894 HAS SOUS 83734 HAS SOUPS 82307 WITH SCORE 82465.321
AT ITER 1818 NEW BEST:: SOT 251306 SOS 158274 HAS SOPS 156847 HAS SOUS 83640 HAS SOUPS 82213 WITH SCORE 82371.274
AT ITER 1820 NEW BEST:: SOT 251264 SOS 158232 HAS SOPS 156805 HAS SOUS 83556 HAS SOUPS 82129 WITH SCORE 82287.232
AT ITER 1822 NEW BEST:: SOT 251264 SOS 158177 HAS SOPS 156750 HAS SOUS 83556 HAS SOUPS 82129 WITH SCORE 82287.177
AT ITER 1826 NEW BEST:: SOT 251240 SOS 158153 HAS SOPS 156726 HAS SOUS 83508 HAS SOUPS 82081 WITH SCORE 82239.153
AT ITER 1827 NEW BEST:: SOT 251257 SOS 158170 HAS SOPS 156743 HAS SOUS 83394 HAS SOUPS 81967 WITH SCORE 82125.17
AT ITER 1830 NEW BEST:: SOT 251190 SOS 158065 HAS SOPS 156638 HAS SOUS 83260 HAS SOUPS 81833 WITH SCORE 81991.065
AT ITER 1847 NEW BEST:: SOT 251177 SOS 158218 HAS SOPS 156791 HAS SOUS 83234 HAS SOUPS 81807 WITH SCORE 81965.218
AT ITER 1849 NEW BEST:: SOT 251089 SOS 158130 HAS SOPS 156703 HAS SOUS 83058 HAS SOUPS 81631 WITH SCORE 81789.13
AT ITER 1854 NEW BEST:: SOT 251211 SOS 158218 HAS SOPS 156774 HAS SOUS 82962 HAS SOUPS 81518 WITH SCORE 81676.218
AT ITER 1862 NEW BEST:: SOT 251211 SOS 158183 HAS SOPS 156739 HAS SOUS 82942 HAS SOUPS 81498 WITH SCORE 81656.183
AT ITER 1863 NEW BEST:: SOT 250487 SOS 157467 HAS SOPS 156015 HAS SOUS 82356 HAS SOUPS 80904 WITH SCORE 81061.467
AT ITER 1869 NEW BEST:: SOT 250487 SOS 157368 HAS SOPS 155916 HAS SOUS 82352 HAS SOUPS 80900 WITH SCORE 81057.368
AT ITER 1870 NEW BEST:: SOT 250487 SOS 157283 HAS SOPS 155831 HAS SOUS 82352 HAS SOUPS 80900 WITH SCORE 81057.283
AT ITER 1872 NEW BEST:: SOT 250487 SOS 157266 HAS SOPS 155814 HAS SOUS 82352 HAS SOUPS 80900 WITH SCORE 81057.266
AT ITER 1878 NEW BEST:: SOT 249520 SOS 156299 HAS SOPS 154847 HAS SOUS 82055 HAS SOUPS 80603 WITH SCORE 80759.299
AT ITER 1902 NEW BEST:: SOT 249569 SOS 156482 HAS SOPS 155030 HAS SOUS 81874 HAS SOUPS 80422 WITH SCORE 80578.482
AT ITER 1911 NEW BEST:: SOT 249569 SOS 153405 HAS SOPS 152064 HAS SOUS 81535 HAS SOUPS 80194 WITH SCORE 80347.405
AT ITER 1918 NEW BEST:: SOT 249569 SOS 153351 HAS SOPS 152010 HAS SOUS 81535 HAS SOUPS 80194 WITH SCORE 80347.351
AT ITER 1921 NEW BEST:: SOT 249569 SOS 153320 HAS SOPS 151979 HAS SOUS 81535 HAS SOUPS 80194 WITH SCORE 80347.32
AT ITER 1928 NEW BEST:: SOT 249569 SOS 153315 HAS SOPS 151974 HAS SOUS 81535 HAS SOUPS 80194 WITH SCORE 80347.315
AT ITER 1935 NEW BEST:: SOT 249506 SOS 153252 HAS SOPS 151911 HAS SOUS 81409 HAS SOUPS 80068 WITH SCORE 80221.252
AT ITER 1938 NEW BEST:: SOT 249506 SOS 150145 HAS SOPS 148812 HAS SOUS 81171 HAS SOUPS 79838 WITH SCORE 79988.145
AT ITER 1943 NEW BEST:: SOT 248700 SOS 149339 HAS SOPS 148006 HAS SOUS 80537 HAS SOUPS 79204 WITH SCORE 79353.339
AT ITER 1958 NEW BEST:: SOT 248700 SOS 149323 HAS SOPS 147990 HAS SOUS 80537 HAS SOUPS 79204 WITH SCORE 79353.323
AT ITER 1978 NEW BEST:: SOT 247988 SOS 148611 HAS SOPS 147278 HAS SOUS 80282 HAS SOUPS 78949 WITH SCORE 79097.611
AT ITER 1987 NEW BEST:: SOT 247796 SOS 148440 HAS SOPS 147086 HAS SOUS 80195 HAS SOUPS 78841 WITH SCORE 78989.44
AT ITER 1989 NEW BEST:: SOT 247793 SOS 148437 HAS SOPS 147083 HAS SOUS 80189 HAS SOUPS 78835 WITH SCORE 78983.437
AT ITER 1995 NEW BEST:: SOT 247691 SOS 148472 HAS SOPS 147118 HAS SOUS 79985 HAS SOUPS 78631 WITH SCORE 78779.472
AT ITER 2000 NEW BEST:: SOT 246698 SOS 148939 HAS SOPS 147614 HAS SOUS 79921 HAS SOUPS 78596 WITH SCORE 78744.939
AT ITER 2009 NEW BEST:: SOT 246617 SOS 148840 HAS SOPS 147515 HAS SOUS 79754 HAS SOUPS 78429 WITH SCORE 78577.84
AT ITER 2022 NEW BEST:: SOT 246083 SOS 148307 HAS SOPS 146982 HAS SOUS 79565 HAS SOUPS 78240 WITH SCORE 78388.307
AT ITER 2027 NEW BEST:: SOT 246040 SOS 148236 HAS SOPS 146911 HAS SOUS 79479 HAS SOUPS 78154 WITH SCORE 78302.236
AT ITER 2030 NEW BEST:: SOT 245381 SOS 147575 HAS SOPS 146194 HAS SOUS 79335 HAS SOUPS 77954 WITH SCORE 78101.575
AT ITER 2038 NEW BEST:: SOT 245381 SOS 147560 HAS SOPS 146179 HAS SOUS 79236 HAS SOUPS 77855 WITH SCORE 78002.56
AT ITER 2045 NEW BEST:: SOT 245375 SOS 147497 HAS SOPS 146059 HAS SOUS 79190 HAS SOUPS 77752 WITH SCORE 77899.497
AT ITER 2051 NEW BEST:: SOT 245375 SOS 147415 HAS SOPS 145977 HAS SOUS 79182 HAS SOUPS 77744 WITH SCORE 77891.415
AT ITER 2064 NEW BEST:: SOT 245360 SOS 147400 HAS SOPS 145962 HAS SOUS 79132 HAS SOUPS 77694 WITH SCORE 77841.4
AT ITER 2070 NEW BEST:: SOT 245356 SOS 147396 HAS SOPS 145958 HAS SOUS 79124 HAS SOUPS 77686 WITH SCORE 77833.396
AT ITER 2077 NEW BEST:: SOT 245298 SOS 147338 HAS SOPS 145900 HAS SOUS 79008 HAS SOUPS 77570 WITH SCORE 77717.338
AT ITER 2084 NEW BEST:: SOT 245263 SOS 147303 HAS SOPS 145865 HAS SOUS 78938 HAS SOUPS 77500 WITH SCORE 77647.303
AT ITER 2085 NEW BEST:: SOT 245087 SOS 147294 HAS SOPS 145856 HAS SOUS 78777 HAS SOUPS 77339 WITH SCORE 77486.294
AT ITER 2088 NEW BEST:: SOT 244906 SOS 147130 HAS SOPS 145709 HAS SOUS 78755 HAS SOUPS 77334 WITH SCORE 77481.13
AT ITER 2089 NEW BEST:: SOT 244894 SOS 147118 HAS SOPS 145697 HAS SOUS 78731 HAS SOUPS 77310 WITH SCORE 77457.118
AT ITER 2092 NEW BEST:: SOT 244800 SOS 147030 HAS SOPS 145609 HAS SOUS 78526 HAS SOUPS 77105 WITH SCORE 77252.03
AT ITER 2105 NEW BEST:: SOT 244800 SOS 147029 HAS SOPS 145608 HAS SOUS 78526 HAS SOUPS 77105 WITH SCORE 77252.029
AT ITER 2112 NEW BEST:: SOT 244761 SOS 146990 HAS SOPS 145569 HAS SOUS 78448 HAS SOUPS 77027 WITH SCORE 77173.99
AT ITER 2123 NEW BEST:: SOT 244750 SOS 146924 HAS SOPS 145448 HAS SOUS 78453 HAS SOUPS 76977 WITH SCORE 77123.924
AT ITER 2131 NEW BEST:: SOT 244733 SOS 146907 HAS SOPS 145431 HAS SOUS 78419 HAS SOUPS 76943 WITH SCORE 77089.907
AT ITER 2137 NEW BEST:: SOT 244707 SOS 146881 HAS SOPS 145405 HAS SOUS 78367 HAS SOUPS 76891 WITH SCORE 77037.881
AT ITER 2167 NEW BEST:: SOT 244704 SOS 146878 HAS SOPS 145402 HAS SOUS 78361 HAS SOUPS 76885 WITH SCORE 77031.878
AT ITER 2183 NEW BEST:: SOT 244604 SOS 146572 HAS SOPS 145096 HAS SOUS 78109 HAS SOUPS 76633 WITH SCORE 76779.572
AT ITER 2187 NEW BEST:: SOT 244557 SOS 146525 HAS SOPS 145049 HAS SOUS 78015 HAS SOUPS 76539 WITH SCORE 76685.525
AT ITER 2192 NEW BEST:: SOT 244536 SOS 146613 HAS SOPS 145137 HAS SOUS 77973 HAS SOUPS 76497 WITH SCORE 76643.613
AT ITER 2197 NEW BEST:: SOT 244490 SOS 146567 HAS SOPS 145091 HAS SOUS 77881 HAS SOUPS 76405 WITH SCORE 76551.567
AT ITER 2199 NEW BEST:: SOT 244274 SOS 146333 HAS SOPS 144857 HAS SOUS 77431 HAS SOUPS 75955 WITH SCORE 76101.333
AT ITER 2201 NEW BEST:: SOT 244274 SOS 146315 HAS SOPS 144839 HAS SOUS 77431 HAS SOUPS 75955 WITH SCORE 76101.315
AT ITER 2209 NEW BEST:: SOT 244259 SOS 146300 HAS SOPS 144824 HAS SOUS 77429 HAS SOUPS 75953 WITH SCORE 76099.3
AT ITER 2226 NEW BEST:: SOT 244227 SOS 146268 HAS SOPS 144792 HAS SOUS 77365 HAS SOUPS 75889 WITH SCORE 76035.268
AT ITER 2233 NEW BEST:: SOT 244227 SOS 146248 HAS SOPS 144772 HAS SOUS 77365 HAS SOUPS 75889 WITH SCORE 76035.248
AT ITER 2251 NEW BEST:: SOT 244227 SOS 146219 HAS SOPS 144743 HAS SOUS 77365 HAS SOUPS 75889 WITH SCORE 76035.219
AT ITER 2257 NEW BEST:: SOT 244028 SOS 146020 HAS SOPS 144544 HAS SOUS 76965 HAS SOUPS 75489 WITH SCORE 75635.02
AT ITER 2260 NEW BEST:: SOT 243978 SOS 145970 HAS SOPS 144494 HAS SOUS 76865 HAS SOUPS 75389 WITH SCORE 75534.97
AT ITER 2264 NEW BEST:: SOT 243811 SOS 145780 HAS SOPS 144352 HAS SOUS 76498 HAS SOUPS 75070 WITH SCORE 75215.78
AT ITER 2276 NEW BEST:: SOT 243713 SOS 145682 HAS SOPS 144254 HAS SOUS 76302 HAS SOUPS 74874 WITH SCORE 75019.682
AT ITER 2281 NEW BEST:: SOT 244049 SOS 146002 HAS SOPS 144558 HAS SOUS 76192 HAS SOUPS 74748 WITH SCORE 74894.002
AT ITER 2284 NEW BEST:: SOT 244027 SOS 145980 HAS SOPS 144536 HAS SOUS 76148 HAS SOUPS 74704 WITH SCORE 74849.98
AT ITER 2302 NEW BEST:: SOT 244000 SOS 145953 HAS SOPS 144509 HAS SOUS 76096 HAS SOUPS 74652 WITH SCORE 74797.953
AT ITER 2312 NEW BEST:: SOT 243847 SOS 145800 HAS SOPS 144356 HAS SOUS 76084 HAS SOUPS 74640 WITH SCORE 74785.8
AT ITER 2314 NEW BEST:: SOT 243820 SOS 145735 HAS SOPS 144291 HAS SOUS 76056 HAS SOUPS 74612 WITH SCORE 74757.735
AT ITER 2316 NEW BEST:: SOT 243792 SOS 145707 HAS SOPS 144263 HAS SOUS 76024 HAS SOUPS 74580 WITH SCORE 74725.707
AT ITER 2326 NEW BEST:: SOT 243764 SOS 145679 HAS SOPS 144235 HAS SOUS 75997 HAS SOUPS 74553 WITH SCORE 74698.679
AT ITER 2342 NEW BEST:: SOT 243695 SOS 145610 HAS SOPS 144166 HAS SOUS 75859 HAS SOUPS 74415 WITH SCORE 74560.61
AT ITER 2352 NEW BEST:: SOT 243683 SOS 145598 HAS SOPS 144154 HAS SOUS 75835 HAS SOUPS 74391 WITH SCORE 74536.598
AT ITER 2374 NEW BEST:: SOT 243680 SOS 145595 HAS SOPS 144151 HAS SOUS 75832 HAS SOUPS 74388 WITH SCORE 74533.595
AT ITER 2379 NEW BEST:: SOT 243670 SOS 145585 HAS SOPS 144141 HAS SOUS 75812 HAS SOUPS 74368 WITH SCORE 74513.585
AT ITER 2382 NEW BEST:: SOT 243646 SOS 145599 HAS SOPS 144155 HAS SOUS 75764 HAS SOUPS 74320 WITH SCORE 74465.599
AT ITER 2389 NEW BEST:: SOT 243867 SOS 145665 HAS SOPS 144221 HAS SOUS 75745 HAS SOUPS 74301 WITH SCORE 74446.665
AT ITER 2393 NEW BEST:: SOT 243788 SOS 145586 HAS SOPS 144142 HAS SOUS 75587 HAS SOUPS 74143 WITH SCORE 74288.586
AT ITER 2395 NEW BEST:: SOT 243768 SOS 145566 HAS SOPS 144122 HAS SOUS 75547 HAS SOUPS 74103 WITH SCORE 74248.566
AT ITER 2416 NEW BEST:: SOT 243751 SOS 145549 HAS SOPS 144105 HAS SOUS 75513 HAS SOUPS 74069 WITH SCORE 74214.549
AT ITER 2419 NEW BEST:: SOT 243751 SOS 145514 HAS SOPS 144070 HAS SOUS 75478 HAS SOUPS 74034 WITH SCORE 74179.514
AT ITER 2442 NEW BEST:: SOT 243751 SOS 145498 HAS SOPS 144054 HAS SOUS 75478 HAS SOUPS 74034 WITH SCORE 74179.498
AT ITER 2444 NEW BEST:: SOT 243751 SOS 145494 HAS SOPS 144050 HAS SOUS 75476 HAS SOUPS 74032 WITH SCORE 74177.494
AT ITER 2453 NEW BEST:: SOT 243717 SOS 145567 HAS SOPS 144123 HAS SOUS 75386 HAS SOUPS 73942 WITH SCORE 74087.567
AT ITER 2469 NEW BEST:: SOT 243681 SOS 145531 HAS SOPS 144087 HAS SOUS 75314 HAS SOUPS 73870 WITH SCORE 74015.531
AT ITER 2471 NEW BEST:: SOT 243677 SOS 145527 HAS SOPS 144083 HAS SOUS 75306 HAS SOUPS 73862 WITH SCORE 74007.527
AT ITER 2482 NEW BEST:: SOT 243677 SOS 145504 HAS SOPS 144060 HAS SOUS 75306 HAS SOUPS 73862 WITH SCORE 74007.504
AT ITER 2492 NEW BEST:: SOT 243533 SOS 145376 HAS SOPS 143916 HAS SOUS 75306 HAS SOUPS 73846 WITH SCORE 73991.376
AT ITER 2500 NEW BEST:: SOT 243848 SOS 145691 HAS SOPS 144231 HAS SOUS 75290 HAS SOUPS 73830 WITH SCORE 73975.691
AT ITER 2512 NEW BEST:: SOT 243848 SOS 145658 HAS SOPS 144198 HAS SOUS 75290 HAS SOUPS 73830 WITH SCORE 73975.658
AT ITER 2513 NEW BEST:: SOT 243776 SOS 145516 HAS SOPS 144056 HAS SOUS 75146 HAS SOUPS 73686 WITH SCORE 73831.516
AT ITER 2531 NEW BEST:: SOT 243722 SOS 145441 HAS SOPS 143981 HAS SOUS 75118 HAS SOUPS 73658 WITH SCORE 73803.441
AT ITER 2534 NEW BEST:: SOT 243583 SOS 145587 HAS SOPS 144127 HAS SOUS 75099 HAS SOUPS 73639 WITH SCORE 73784.587
AT ITER 2544 NEW BEST:: SOT 243580 SOS 145654 HAS SOPS 144194 HAS SOUS 75093 HAS SOUPS 73633 WITH SCORE 73778.654
AT ITER 2552 NEW BEST:: SOT 243572 SOS 145646 HAS SOPS 144186 HAS SOUS 75077 HAS SOUPS 73617 WITH SCORE 73762.646
AT ITER 2559 NEW BEST:: SOT 243565 SOS 145639 HAS SOPS 144179 HAS SOUS 75063 HAS SOUPS 73603 WITH SCORE 73748.639
AT ITER 2576 NEW BEST:: SOT 243561 SOS 145523 HAS SOPS 143998 HAS SOUS 75017 HAS SOUPS 73492 WITH SCORE 73637.523
AT ITER 2585 NEW BEST:: SOT 243422 SOS 145563 HAS SOPS 144038 HAS SOUS 74739 HAS SOUPS 73214 WITH SCORE 73359.563
AT ITER 2600 NEW BEST:: SOT 243351 SOS 145492 HAS SOPS 143967 HAS SOUS 74597 HAS SOUPS 73072 WITH SCORE 73217.492
AT ITER 2603 NEW BEST:: SOT 243337 SOS 145478 HAS SOPS 143953 HAS SOUS 74583 HAS SOUPS 73058 WITH SCORE 73203.478
AT ITER 2631 NEW BEST:: SOT 243196 SOS 145387 HAS SOPS 143812 HAS SOUS 74351 HAS SOUPS 72776 WITH SCORE 72921.387
AT ITER 2641 NEW BEST:: SOT 243189 SOS 145380 HAS SOPS 143805 HAS SOUS 74344 HAS SOUPS 72769 WITH SCORE 72914.38
AT ITER 2653 NEW BEST:: SOT 243137 SOS 145328 HAS SOPS 143753 HAS SOUS 74240 HAS SOUPS 72665 WITH SCORE 72810.328
AT ITER 2657 NEW BEST:: SOT 243120 SOS 145311 HAS SOPS 143736 HAS SOUS 74206 HAS SOUPS 72631 WITH SCORE 72776.311
AT ITER 2665 NEW BEST:: SOT 243094 SOS 145272 HAS SOPS 143684 HAS SOUS 74167 HAS SOUPS 72579 WITH SCORE 72724.272
AT ITER 2668 NEW BEST:: SOT 243044 SOS 145222 HAS SOPS 143634 HAS SOUS 74067 HAS SOUPS 72479 WITH SCORE 72624.222
AT ITER 2674 NEW BEST:: SOT 243044 SOS 145217 HAS SOPS 143629 HAS SOUS 74055 HAS SOUPS 72467 WITH SCORE 72612.217
AT ITER 2693 NEW BEST:: SOT 243032 SOS 145518 HAS SOPS 143930 HAS SOUS 74031 HAS SOUPS 72443 WITH SCORE 72588.518
AT ITER 2699 NEW BEST:: SOT 243017 SOS 145571 HAS SOPS 143983 HAS SOUS 74001 HAS SOUPS 72413 WITH SCORE 72558.571
AT ITER 2703 NEW BEST:: SOT 243017 SOS 145570 HAS SOPS 143982 HAS SOUS 74001 HAS SOUPS 72413 WITH SCORE 72558.57
AT ITER 2718 NEW BEST:: SOT 243017 SOS 145568 HAS SOPS 143980 HAS SOUS 74001 HAS SOUPS 72413 WITH SCORE 72558.568
AT ITER 2728 NEW BEST:: SOT 243013 SOS 145608 HAS SOPS 144020 HAS SOUS 73997 HAS SOUPS 72409 WITH SCORE 72554.608
AT ITER 2733 NEW BEST:: SOT 242993 SOS 145588 HAS SOPS 144000 HAS SOUS 73979 HAS SOUPS 72391 WITH SCORE 72536.588
AT ITER 2734 NEW BEST:: SOT 242993 SOS 145588 HAS SOPS 144000 HAS SOUS 73970 HAS SOUPS 72382 WITH SCORE 72527.588
AT ITER 2740 NEW BEST:: SOT 242991 SOS 145498 HAS SOPS 143910 HAS SOUS 73953 HAS SOUPS 72365 WITH SCORE 72510.498
AT ITER 2769 NEW BEST:: SOT 242985 SOS 145492 HAS SOPS 143904 HAS SOUS 73941 HAS SOUPS 72353 WITH SCORE 72498.492
AT ITER 2777 NEW BEST:: SOT 242936 SOS 146068 HAS SOPS 144480 HAS SOUS 73892 HAS SOUPS 72304 WITH SCORE 72450.068
AT ITER 2784 NEW BEST:: SOT 242900 SOS 146032 HAS SOPS 144444 HAS SOUS 73820 HAS SOUPS 72232 WITH SCORE 72378.032
AT ITER 2785 NEW BEST:: SOT 242900 SOS 145879 HAS SOPS 144291 HAS SOUS 73820 HAS SOUPS 72232 WITH SCORE 72377.879
AT ITER 2790 NEW BEST:: SOT 242453 SOS 145451 HAS SOPS 143881 HAS SOUS 73747 HAS SOUPS 72177 WITH SCORE 72322.451
AT ITER 2794 NEW BEST:: SOT 242453 SOS 145316 HAS SOPS 143746 HAS SOUS 73633 HAS SOUPS 72063 WITH SCORE 72208.316
AT ITER 2802 NEW BEST:: SOT 242792 SOS 145655 HAS SOPS 144085 HAS SOUS 73574 HAS SOUPS 72004 WITH SCORE 72149.655
AT ITER 2808 NEW BEST:: SOT 242736 SOS 145516 HAS SOPS 143946 HAS SOUS 73462 HAS SOUPS 71892 WITH SCORE 72037.516
AT ITER 2812 NEW BEST:: SOT 242712 SOS 145570 HAS SOPS 144000 HAS SOUS 73439 HAS SOUPS 71869 WITH SCORE 72014.57
AT ITER 2817 NEW BEST:: SOT 242504 SOS 145362 HAS SOPS 143792 HAS SOUS 73023 HAS SOUPS 71453 WITH SCORE 71598.362
AT ITER 2822 NEW BEST:: SOT 242499 SOS 145357 HAS SOPS 143787 HAS SOUS 73013 HAS SOUPS 71443 WITH SCORE 71588.357
AT ITER 2823 NEW BEST:: SOT 242499 SOS 145257 HAS SOPS 143687 HAS SOUS 73013 HAS SOUPS 71443 WITH SCORE 71588.257
AT ITER 2825 NEW BEST:: SOT 242113 SOS 144912 HAS SOPS 143301 HAS SOUS 72976 HAS SOUPS 71365 WITH SCORE 71509.912
AT ITER 2844 NEW BEST:: SOT 242113 SOS 144842 HAS SOPS 143231 HAS SOUS 72976 HAS SOUPS 71365 WITH SCORE 71509.842
AT ITER 2850 NEW BEST:: SOT 242109 SOS 144838 HAS SOPS 143227 HAS SOUS 72972 HAS SOUPS 71361 WITH SCORE 71505.838
AT ITER 2851 NEW BEST:: SOT 242109 SOS 144798 HAS SOPS 143187 HAS SOUS 72893 HAS SOUPS 71282 WITH SCORE 71426.798
AT ITER 2866 NEW BEST:: SOT 242052 SOS 144747 HAS SOPS 143136 HAS SOUS 72779 HAS SOUPS 71168 WITH SCORE 71312.747
AT ITER 2882 NEW BEST:: SOT 242052 SOS 144739 HAS SOPS 143128 HAS SOUS 72771 HAS SOUPS 71160 WITH SCORE 71304.739
AT ITER 2886 NEW BEST:: SOT 242416 SOS 145058 HAS SOPS 143424 HAS SOUS 72662 HAS SOUPS 71028 WITH SCORE 71173.058
AT ITER 2888 NEW BEST:: SOT 242416 SOS 145025 HAS SOPS 143391 HAS SOUS 72662 HAS SOUPS 71028 WITH SCORE 71173.025
AT ITER 2901 NEW BEST:: SOT 242631 SOS 145204 HAS SOPS 143570 HAS SOUS 72445 HAS SOUPS 70811 WITH SCORE 70956.204
AT ITER 2909 NEW BEST:: SOT 242597 SOS 145174 HAS SOPS 143544 HAS SOUS 72373 HAS SOUPS 70743 WITH SCORE 70888.174
AT ITER 2911 NEW BEST:: SOT 242547 SOS 145129 HAS SOPS 143504 HAS SOUS 72353 HAS SOUPS 70728 WITH SCORE 70873.129
AT ITER 2912 NEW BEST:: SOT 241834 SOS 145294 HAS SOPS 143669 HAS SOUS 72230 HAS SOUPS 70605 WITH SCORE 70750.294
AT ITER 2928 NEW BEST:: SOT 241764 SOS 145212 HAS SOPS 143587 HAS SOUS 72171 HAS SOUPS 70546 WITH SCORE 70691.212
AT ITER 2931 NEW BEST:: SOT 241623 SOS 145071 HAS SOPS 143446 HAS SOUS 71889 HAS SOUPS 70264 WITH SCORE 70409.071
AT ITER 2942 NEW BEST:: SOT 241616 SOS 145110 HAS SOPS 143485 HAS SOUS 71849 HAS SOUPS 70224 WITH SCORE 70369.11
AT ITER 2959 NEW BEST:: SOT 241595 SOS 145413 HAS SOPS 143788 HAS SOUS 71828 HAS SOUPS 70203 WITH SCORE 70348.413
AT ITER 2963 NEW BEST:: SOT 241595 SOS 145385 HAS SOPS 143760 HAS SOUS 71824 HAS SOUPS 70199 WITH SCORE 70344.385
AT ITER 2968 NEW BEST:: SOT 241524 SOS 145314 HAS SOPS 143689 HAS SOUS 71682 HAS SOUPS 70057 WITH SCORE 70202.314
AT ITER 2971 NEW BEST:: SOT 240746 SOS 145110 HAS SOPS 143394 HAS SOUS 71647 HAS SOUPS 69931 WITH SCORE 70076.11
AT ITER 2973 NEW BEST:: SOT 240723 SOS 145087 HAS SOPS 143371 HAS SOUS 71601 HAS SOUPS 69885 WITH SCORE 70030.087
AT ITER 2992 NEW BEST:: SOT 240667 SOS 145031 HAS SOPS 143315 HAS SOUS 71489 HAS SOUPS 69773 WITH SCORE 69918.031
AT ITER 3003 NEW BEST:: SOT 240618 SOS 144982 HAS SOPS 143266 HAS SOUS 71391 HAS SOUPS 69675 WITH SCORE 69819.982
AT ITER 3006 NEW BEST:: SOT 240618 SOS 144954 HAS SOPS 143238 HAS SOUS 71391 HAS SOUPS 69675 WITH SCORE 69819.954
AT ITER 3014 NEW BEST:: SOT 240630 SOS 144976 HAS SOPS 143260 HAS SOUS 71389 HAS SOUPS 69673 WITH SCORE 69817.976
AT ITER 3015 NEW BEST:: SOT 240613 SOS 144959 HAS SOPS 143243 HAS SOUS 71379 HAS SOUPS 69663 WITH SCORE 69807.959
AT ITER 3023 NEW BEST:: SOT 240609 SOS 144955 HAS SOPS 143239 HAS SOUS 71371 HAS SOUPS 69655 WITH SCORE 69799.955
AT ITER 3030 NEW BEST:: SOT 240598 SOS 144944 HAS SOPS 143228 HAS SOUS 71349 HAS SOUPS 69633 WITH SCORE 69777.944
AT ITER 3031 NEW BEST:: SOT 240588 SOS 145016 HAS SOPS 143300 HAS SOUS 71229 HAS SOUPS 69513 WITH SCORE 69658.016
AT ITER 3041 NEW BEST:: SOT 240466 SOS 144894 HAS SOPS 143178 HAS SOUS 70985 HAS SOUPS 69269 WITH SCORE 69413.894
AT ITER 3042 NEW BEST:: SOT 240466 SOS 144868 HAS SOPS 143152 HAS SOUS 70985 HAS SOUPS 69269 WITH SCORE 69413.868
AT ITER 3054 NEW BEST:: SOT 240495 SOS 144881 HAS SOPS 143157 HAS SOUS 70891 HAS SOUPS 69167 WITH SCORE 69311.881
AT ITER 3097 NEW BEST:: SOT 240400 SOS 144786 HAS SOPS 143062 HAS SOUS 70701 HAS SOUPS 68977 WITH SCORE 69121.786
AT ITER 3103 NEW BEST:: SOT 240398 SOS 144732 HAS SOPS 143010 HAS SOUS 70683 HAS SOUPS 68961 WITH SCORE 69105.732
AT ITER 3105 NEW BEST:: SOT 240398 SOS 144731 HAS SOPS 143009 HAS SOUS 70683 HAS SOUPS 68961 WITH SCORE 69105.731
AT ITER 3120 NEW BEST:: SOT 240203 SOS 146285 HAS SOPS 144563 HAS SOUS 70649 HAS SOUPS 68927 WITH SCORE 69073.285
AT ITER 3136 NEW BEST:: SOT 240163 SOS 146245 HAS SOPS 144523 HAS SOUS 70569 HAS SOUPS 68847 WITH SCORE 68993.245
AT ITER 3146 NEW BEST:: SOT 240159 SOS 146241 HAS SOPS 144519 HAS SOUS 70561 HAS SOUPS 68839 WITH SCORE 68985.241
AT ITER 3154 NEW BEST:: SOT 240994 SOS 147008 HAS SOPS 145286 HAS SOUS 70182 HAS SOUPS 68460 WITH SCORE 68607.008
AT ITER 3157 NEW BEST:: SOT 240974 SOS 146988 HAS SOPS 145266 HAS SOUS 70142 HAS SOUPS 68420 WITH SCORE 68566.988
AT ITER 3168 NEW BEST:: SOT 240974 SOS 146958 HAS SOPS 145236 HAS SOUS 70142 HAS SOUPS 68420 WITH SCORE 68566.958
AT ITER 3174 NEW BEST:: SOT 240860 SOS 146844 HAS SOPS 145122 HAS SOUS 70066 HAS SOUPS 68344 WITH SCORE 68490.844
AT ITER 3175 NEW BEST:: SOT 240808 SOS 146792 HAS SOPS 145070 HAS SOUS 69962 HAS SOUPS 68240 WITH SCORE 68386.792
AT ITER 3189 NEW BEST:: SOT 240808 SOS 146824 HAS SOPS 145102 HAS SOUS 69937 HAS SOUPS 68215 WITH SCORE 68361.824
AT ITER 3196 NEW BEST:: SOT 240780 SOS 146796 HAS SOPS 145074 HAS SOUS 69881 HAS SOUPS 68159 WITH SCORE 68305.796
AT ITER 3203 NEW BEST:: SOT 240780 SOS 146796 HAS SOPS 145074 HAS SOUS 69834 HAS SOUPS 68112 WITH SCORE 68258.796
AT ITER 3210 NEW BEST:: SOT 240766 SOS 146782 HAS SOPS 145060 HAS SOUS 69806 HAS SOUPS 68084 WITH SCORE 68230.782
AT ITER 3227 NEW BEST:: SOT 240766 SOS 146782 HAS SOPS 145060 HAS SOUS 69804 HAS SOUPS 68082 WITH SCORE 68228.782
AT ITER 3264 NEW BEST:: SOT 240764 SOS 146742 HAS SOPS 145020 HAS SOUS 69667 HAS SOUPS 67945 WITH SCORE 68091.742
AT ITER 3270 NEW BEST:: SOT 240718 SOS 146709 HAS SOPS 144987 HAS SOUS 69539 HAS SOUPS 67817 WITH SCORE 67963.709
AT ITER 3280 NEW BEST:: SOT 240556 SOS 146519 HAS SOPS 144797 HAS SOUS 69215 HAS SOUPS 67493 WITH SCORE 67639.519
AT ITER 3284 NEW BEST:: SOT 240686 SOS 146653 HAS SOPS 144931 HAS SOUS 69103 HAS SOUPS 67381 WITH SCORE 67527.653
AT ITER 3304 NEW BEST:: SOT 240686 SOS 146587 HAS SOPS 144865 HAS SOUS 69103 HAS SOUPS 67381 WITH SCORE 67527.587
AT ITER 3307 NEW BEST:: SOT 240686 SOS 146482 HAS SOPS 144760 HAS SOUS 69103 HAS SOUPS 67381 WITH SCORE 67527.482
AT ITER 3314 NEW BEST:: SOT 240668 SOS 146464 HAS SOPS 144742 HAS SOUS 69067 HAS SOUPS 67345 WITH SCORE 67491.464
AT ITER 3315 NEW BEST:: SOT 240564 SOS 146360 HAS SOPS 144638 HAS SOUS 68859 HAS SOUPS 67137 WITH SCORE 67283.36
AT ITER 3323 NEW BEST:: SOT 240558 SOS 146354 HAS SOPS 144632 HAS SOUS 68847 HAS SOUPS 67125 WITH SCORE 67271.354
AT ITER 3348 NEW BEST:: SOT 240514 SOS 146310 HAS SOPS 144588 HAS SOUS 68755 HAS SOUPS 67033 WITH SCORE 67179.31
AT ITER 3355 NEW BEST:: SOT 240514 SOS 146310 HAS SOPS 144588 HAS SOUS 68749 HAS SOUPS 67027 WITH SCORE 67173.31
AT ITER 3358 NEW BEST:: SOT 240514 SOS 146243 HAS SOPS 144521 HAS SOUS 68749 HAS SOUPS 67027 WITH SCORE 67173.243
AT ITER 3363 NEW BEST:: SOT 240514 SOS 146241 HAS SOPS 144519 HAS SOUS 68747 HAS SOUPS 67025 WITH SCORE 67171.241
AT ITER 3369 NEW BEST:: SOT 240514 SOS 146241 HAS SOPS 144519 HAS SOUS 68723 HAS SOUPS 67001 WITH SCORE 67147.241
AT ITER 3387 NEW BEST:: SOT 240456 SOS 147141 HAS SOPS 145419 HAS SOUS 68691 HAS SOUPS 66969 WITH SCORE 67116.141
AT ITER 3392 NEW BEST:: SOT 240456 SOS 147101 HAS SOPS 145379 HAS SOUS 68691 HAS SOUPS 66969 WITH SCORE 67116.101
AT ITER 3398 NEW BEST:: SOT 240413 SOS 147077 HAS SOPS 145355 HAS SOUS 68587 HAS SOUPS 66865 WITH SCORE 67012.077
AT ITER 3414 NEW BEST:: SOT 240413 SOS 147072 HAS SOPS 145350 HAS SOUS 68587 HAS SOUPS 66865 WITH SCORE 67012.072
AT ITER 3418 NEW BEST:: SOT 240393 SOS 147052 HAS SOPS 145330 HAS SOUS 68547 HAS SOUPS 66825 WITH SCORE 66972.052
AT ITER 3420 NEW BEST:: SOT 240089 SOS 146748 HAS SOPS 145026 HAS SOUS 68243 HAS SOUPS 66521 WITH SCORE 66667.748
AT ITER 3434 NEW BEST:: SOT 240089 SOS 146726 HAS SOPS 145004 HAS SOUS 68243 HAS SOUPS 66521 WITH SCORE 66667.726
AT ITER 3440 NEW BEST:: SOT 240089 SOS 146720 HAS SOPS 144998 HAS SOUS 68243 HAS SOUPS 66521 WITH SCORE 66667.72
AT ITER 3448 NEW BEST:: SOT 240089 SOS 146709 HAS SOPS 144987 HAS SOUS 68243 HAS SOUPS 66521 WITH SCORE 66667.709
AT ITER 3463 NEW BEST:: SOT 240084 SOS 146704 HAS SOPS 144982 HAS SOUS 68233 HAS SOUPS 66511 WITH SCORE 66657.704
AT ITER 3478 NEW BEST:: SOT 240042 SOS 146662 HAS SOPS 144940 HAS SOUS 68203 HAS SOUPS 66481 WITH SCORE 66627.662
AT ITER 3498 NEW BEST:: SOT 240042 SOS 146604 HAS SOPS 144882 HAS SOUS 68188 HAS SOUPS 66466 WITH SCORE 66612.604
AT ITER 3500 NEW BEST:: SOT 239936 SOS 146502 HAS SOPS 144780 HAS SOUS 68118 HAS SOUPS 66396 WITH SCORE 66542.502
AT ITER 3521 NEW BEST:: SOT 239952 SOS 145522 HAS SOPS 143788 HAS SOUS 68110 HAS SOUPS 66376 WITH SCORE 66521.522
AT ITER 3525 NEW BEST:: SOT 239922 SOS 145841 HAS SOPS 144107 HAS SOUS 68071 HAS SOUPS 66337 WITH SCORE 66482.841
AT ITER 3532 NEW BEST:: SOT 239837 SOS 145756 HAS SOPS 144022 HAS SOUS 67901 HAS SOUPS 66167 WITH SCORE 66312.756
AT ITER 3533 NEW BEST:: SOT 239829 SOS 145676 HAS SOPS 143942 HAS SOUS 67868 HAS SOUPS 66134 WITH SCORE 66279.676
AT ITER 3535 NEW BEST:: SOT 239723 SOS 147340 HAS SOPS 145606 HAS SOUS 67762 HAS SOUPS 66028 WITH SCORE 66175.34
AT ITER 3541 NEW BEST:: SOT 239556 SOS 147173 HAS SOPS 145439 HAS SOUS 67685 HAS SOUPS 65951 WITH SCORE 66098.173
AT ITER 3551 NEW BEST:: SOT 239502 SOS 147119 HAS SOPS 145385 HAS SOUS 67577 HAS SOUPS 65843 WITH SCORE 65990.119
AT ITER 3566 NEW BEST:: SOT 239497 SOS 147114 HAS SOPS 145380 HAS SOUS 67567 HAS SOUPS 65833 WITH SCORE 65980.114
AT ITER 3580 NEW BEST:: SOT 239451 SOS 147030 HAS SOPS 145296 HAS SOUS 67437 HAS SOUPS 65703 WITH SCORE 65850.03
AT ITER 3584 NEW BEST:: SOT 239405 SOS 147030 HAS SOPS 145342 HAS SOUS 67345 HAS SOUPS 65657 WITH SCORE 65804.03
AT ITER 3589 NEW BEST:: SOT 239265 SOS 146890 HAS SOPS 145202 HAS SOUS 67065 HAS SOUPS 65377 WITH SCORE 65523.89
AT ITER 3590 NEW BEST:: SOT 239237 SOS 146894 HAS SOPS 145206 HAS SOUS 67009 HAS SOUPS 65321 WITH SCORE 65467.894
AT ITER 3602 NEW BEST:: SOT 239222 SOS 146879 HAS SOPS 145191 HAS SOUS 66979 HAS SOUPS 65291 WITH SCORE 65437.879
AT ITER 3607 NEW BEST:: SOT 239153 SOS 146810 HAS SOPS 145122 HAS SOUS 66841 HAS SOUPS 65153 WITH SCORE 65299.81
AT ITER 3611 NEW BEST:: SOT 239127 SOS 146784 HAS SOPS 145096 HAS SOUS 66759 HAS SOUPS 65071 WITH SCORE 65217.784
AT ITER 3618 NEW BEST:: SOT 239127 SOS 146719 HAS SOPS 145031 HAS SOUS 66759 HAS SOUPS 65071 WITH SCORE 65217.719
AT ITER 3619 NEW BEST:: SOT 239065 SOS 146539 HAS SOPS 144851 HAS SOUS 66635 HAS SOUPS 64947 WITH SCORE 65093.539
AT ITER 3623 NEW BEST:: SOT 239064 SOS 146538 HAS SOPS 144850 HAS SOUS 66633 HAS SOUPS 64945 WITH SCORE 65091.538
AT ITER 3655 NEW BEST:: SOT 239064 SOS 146503 HAS SOPS 144815 HAS SOUS 66633 HAS SOUPS 64945 WITH SCORE 65091.503
AT ITER 3662 NEW BEST:: SOT 239042 SOS 146574 HAS SOPS 144886 HAS SOUS 66589 HAS SOUPS 64901 WITH SCORE 65047.574
AT ITER 3670 NEW BEST:: SOT 238356 SOS 145888 HAS SOPS 144200 HAS SOUS 66568 HAS SOUPS 64880 WITH SCORE 65025.888
AT ITER 3676 NEW BEST:: SOT 238351 SOS 145883 HAS SOPS 144195 HAS SOUS 66558 HAS SOUPS 64870 WITH SCORE 65015.883
AT ITER 3690 NEW BEST:: SOT 238341 SOS 145873 HAS SOPS 144185 HAS SOUS 66548 HAS SOUPS 64860 WITH SCORE 65005.873
AT ITER 3708 NEW BEST:: SOT 238340 SOS 145937 HAS SOPS 144249 HAS SOUS 66532 HAS SOUPS 64844 WITH SCORE 64989.937
AT ITER 3711 NEW BEST:: SOT 238324 SOS 145921 HAS SOPS 144233 HAS SOUS 66500 HAS SOUPS 64812 WITH SCORE 64957.921
AT ITER 3715 NEW BEST:: SOT 238324 SOS 145861 HAS SOPS 144173 HAS SOUS 66427 HAS SOUPS 64739 WITH SCORE 64884.861
AT ITER 3719 NEW BEST:: SOT 238324 SOS 145887 HAS SOPS 144199 HAS SOUS 66390 HAS SOUPS 64702 WITH SCORE 64847.887
AT ITER 3720 NEW BEST:: SOT 238324 SOS 145881 HAS SOPS 144193 HAS SOUS 66384 HAS SOUPS 64696 WITH SCORE 64841.881
AT ITER 3731 NEW BEST:: SOT 238283 SOS 145933 HAS SOPS 144257 HAS SOUS 66305 HAS SOUPS 64629 WITH SCORE 64774.933
AT ITER 3738 NEW BEST:: SOT 238273 SOS 145933 HAS SOPS 144257 HAS SOUS 66285 HAS SOUPS 64609 WITH SCORE 64754.933
AT ITER 3742 NEW BEST:: SOT 238273 SOS 145865 HAS SOPS 144189 HAS SOUS 66285 HAS SOUPS 64609 WITH SCORE 64754.865
AT ITER 3764 NEW BEST:: SOT 238273 SOS 145851 HAS SOPS 144175 HAS SOUS 66285 HAS SOUPS 64609 WITH SCORE 64754.851
AT ITER 3767 NEW BEST:: SOT 235894 SOS 149583 HAS SOPS 147907 HAS SOUS 63932 HAS SOUPS 62256 WITH SCORE 62405.583
AT ITER 3772 NEW BEST:: SOT 235883 SOS 149544 HAS SOPS 147868 HAS SOUS 63871 HAS SOUPS 62195 WITH SCORE 62344.544
AT ITER 3781 NEW BEST:: SOT 235833 SOS 149494 HAS SOPS 147818 HAS SOUS 63771 HAS SOUPS 62095 WITH SCORE 62244.494
AT ITER 3783 NEW BEST:: SOT 235829 SOS 149490 HAS SOPS 147814 HAS SOUS 63763 HAS SOUPS 62087 WITH SCORE 62236.49
AT ITER 3788 NEW BEST:: SOT 235835 SOS 149370 HAS SOPS 147694 HAS SOUS 63733 HAS SOUPS 62057 WITH SCORE 62206.37
AT ITER 3791 NEW BEST:: SOT 235835 SOS 149366 HAS SOPS 147690 HAS SOUS 63733 HAS SOUPS 62057 WITH SCORE 62206.366
AT ITER 3797 NEW BEST:: SOT 236369 SOS 149841 HAS SOPS 148147 HAS SOUS 63745 HAS SOUPS 62051 WITH SCORE 62200.841
AT ITER 3823 NEW BEST:: SOT 236336 SOS 149808 HAS SOPS 148114 HAS SOUS 63679 HAS SOUPS 61985 WITH SCORE 62134.808
AT ITER 3832 NEW BEST:: SOT 236075 SOS 149805 HAS SOPS 148111 HAS SOUS 63516 HAS SOUPS 61822 WITH SCORE 61971.805
AT ITER 3840 NEW BEST:: SOT 236069 SOS 149836 HAS SOPS 148142 HAS SOUS 63504 HAS SOUPS 61810 WITH SCORE 61959.836
AT ITER 3841 NEW BEST:: SOT 236118 SOS 149876 HAS SOPS 148173 HAS SOUS 63430 HAS SOUPS 61727 WITH SCORE 61876.876
AT ITER 3886 NEW BEST:: SOT 236112 SOS 149870 HAS SOPS 148167 HAS SOUS 63418 HAS SOUPS 61715 WITH SCORE 61864.87
AT ITER 3892 NEW BEST:: SOT 236112 SOS 149862 HAS SOPS 148159 HAS SOUS 63418 HAS SOUPS 61715 WITH SCORE 61864.862
AT ITER 3911 NEW BEST:: SOT 235983 SOS 149733 HAS SOPS 148030 HAS SOUS 63366 HAS SOUPS 61663 WITH SCORE 61812.733
AT ITER 3927 NEW BEST:: SOT 235956 SOS 149729 HAS SOPS 148026 HAS SOUS 63301 HAS SOUPS 61598 WITH SCORE 61747.729
AT ITER 3928 NEW BEST:: SOT 235956 SOS 149688 HAS SOPS 147985 HAS SOUS 63301 HAS SOUPS 61598 WITH SCORE 61747.688
AT ITER 3939 NEW BEST:: SOT 235956 SOS 149680 HAS SOPS 147977 HAS SOUS 63301 HAS SOUPS 61598 WITH SCORE 61747.68
AT ITER 3944 NEW BEST:: SOT 235956 SOS 149676 HAS SOPS 147973 HAS SOUS 63301 HAS SOUPS 61598 WITH SCORE 61747.676
AT ITER 3953 NEW BEST:: SOT 235871 SOS 150601 HAS SOPS 148898 HAS SOUS 63187 HAS SOUPS 61484 WITH SCORE 61634.601
AT ITER 3959 NEW BEST:: SOT 235854 SOS 151139 HAS SOPS 149436 HAS SOUS 63170 HAS SOUPS 61467 WITH SCORE 61618.139
AT ITER 3968 NEW BEST:: SOT 235753 SOS 151032 HAS SOPS 149329 HAS SOUS 62968 HAS SOUPS 61265 WITH SCORE 61416.032
AT ITER 3976 NEW BEST:: SOT 235645 SOS 150924 HAS SOPS 149221 HAS SOUS 62752 HAS SOUPS 61049 WITH SCORE 61199.924
AT ITER 3977 NEW BEST:: SOT 235563 SOS 150842 HAS SOPS 149139 HAS SOUS 62578 HAS SOUPS 60875 WITH SCORE 61025.842
AT ITER 4017 NEW BEST:: SOT 235143 SOS 150457 HAS SOPS 148719 HAS SOUS 62364 HAS SOUPS 60626 WITH SCORE 60776.457
AT ITER 4018 NEW BEST:: SOT 235045 SOS 150359 HAS SOPS 148621 HAS SOUS 62168 HAS SOUPS 60430 WITH SCORE 60580.359
AT ITER 4052 NEW BEST:: SOT 235017 SOS 150331 HAS SOPS 148593 HAS SOUS 62152 HAS SOUPS 60414 WITH SCORE 60564.331
AT ITER 4062 NEW BEST:: SOT 235014 SOS 150328 HAS SOPS 148590 HAS SOUS 62150 HAS SOUPS 60412 WITH SCORE 60562.328
AT ITER 4065 NEW BEST:: SOT 234964 SOS 150278 HAS SOPS 148540 HAS SOUS 62050 HAS SOUPS 60312 WITH SCORE 60462.278
AT ITER 4066 NEW BEST:: SOT 234964 SOS 150208 HAS SOPS 148470 HAS SOUS 62050 HAS SOUPS 60312 WITH SCORE 60462.208
AT ITER 4079 NEW BEST:: SOT 234795 SOS 150349 HAS SOPS 148659 HAS SOUS 61994 HAS SOUPS 60304 WITH SCORE 60454.349
AT ITER 4091 NEW BEST:: SOT 234779 SOS 150224 HAS SOPS 148534 HAS SOUS 61962 HAS SOUPS 60272 WITH SCORE 60422.224
AT ITER 4115 NEW BEST:: SOT 234765 SOS 150210 HAS SOPS 148520 HAS SOUS 61934 HAS SOUPS 60244 WITH SCORE 60394.21
AT ITER 4122 NEW BEST:: SOT 234765 SOS 150210 HAS SOPS 148520 HAS SOUS 61928 HAS SOUPS 60238 WITH SCORE 60388.21
AT ITER 4124 NEW BEST:: SOT 233922 SOS 153766 HAS SOPS 152076 HAS SOUS 61098 HAS SOUPS 59408 WITH SCORE 59561.766
AT ITER 4137 NEW BEST:: SOT 233922 SOS 153746 HAS SOPS 152056 HAS SOUS 61098 HAS SOUPS 59408 WITH SCORE 59561.746
AT ITER 4143 NEW BEST:: SOT 233909 SOS 153733 HAS SOPS 152043 HAS SOUS 61072 HAS SOUPS 59382 WITH SCORE 59535.733
AT ITER 4151 NEW BEST:: SOT 233909 SOS 153664 HAS SOPS 151974 HAS SOUS 61072 HAS SOUPS 59382 WITH SCORE 59535.664
AT ITER 4161 NEW BEST:: SOT 233842 SOS 153597 HAS SOPS 151907 HAS SOUS 60938 HAS SOUPS 59248 WITH SCORE 59401.597
AT ITER 4178 NEW BEST:: SOT 233842 SOS 153506 HAS SOPS 151816 HAS SOUS 60938 HAS SOUPS 59248 WITH SCORE 59401.506
AT ITER 4189 NEW BEST:: SOT 233842 SOS 153495 HAS SOPS 151805 HAS SOUS 60938 HAS SOUPS 59248 WITH SCORE 59401.495
AT ITER 4204 NEW BEST:: SOT 233842 SOS 153479 HAS SOPS 151789 HAS SOUS 60938 HAS SOUPS 59248 WITH SCORE 59401.479
AT ITER 4213 NEW BEST:: SOT 233832 SOS 153469 HAS SOPS 151779 HAS SOUS 60918 HAS SOUPS 59228 WITH SCORE 59381.469
AT ITER 4215 NEW BEST:: SOT 233783 SOS 153420 HAS SOPS 151730 HAS SOUS 60817 HAS SOUPS 59127 WITH SCORE 59280.42
AT ITER 4223 NEW BEST:: SOT 233741 SOS 153378 HAS SOPS 151688 HAS SOUS 60748 HAS SOUPS 59058 WITH SCORE 59211.378
AT ITER 4226 NEW BEST:: SOT 233706 SOS 153343 HAS SOPS 151653 HAS SOUS 60678 HAS SOUPS 58988 WITH SCORE 59141.343
AT ITER 4239 NEW BEST:: SOT 233694 SOS 153331 HAS SOPS 151641 HAS SOUS 60654 HAS SOUPS 58964 WITH SCORE 59117.331
AT ITER 4242 NEW BEST:: SOT 233692 SOS 153329 HAS SOPS 151639 HAS SOUS 60650 HAS SOUPS 58960 WITH SCORE 59113.329
AT ITER 4246 NEW BEST:: SOT 233636 SOS 153330 HAS SOPS 151653 HAS SOUS 60558 HAS SOUPS 58881 WITH SCORE 59034.33
AT ITER 4249 NEW BEST:: SOT 233777 SOS 153365 HAS SOPS 151688 HAS SOUS 60527 HAS SOUPS 58850 WITH SCORE 59003.365
AT ITER 4261 NEW BEST:: SOT 233876 SOS 153450 HAS SOPS 151773 HAS SOUS 60473 HAS SOUPS 58796 WITH SCORE 58949.45
AT ITER 4289 NEW BEST:: SOT 233875 SOS 153580 HAS SOPS 151903 HAS SOUS 60471 HAS SOUPS 58794 WITH SCORE 58947.58
AT ITER 4298 NEW BEST:: SOT 233835 SOS 153540 HAS SOPS 151863 HAS SOUS 60391 HAS SOUPS 58714 WITH SCORE 58867.54
AT ITER 4299 NEW BEST:: SOT 233817 SOS 153522 HAS SOPS 151845 HAS SOUS 60355 HAS SOUPS 58678 WITH SCORE 58831.522
AT ITER 4300 NEW BEST:: SOT 233817 SOS 153520 HAS SOPS 151843 HAS SOUS 60355 HAS SOUPS 58678 WITH SCORE 58831.52
AT ITER 4306 NEW BEST:: SOT 233817 SOS 153497 HAS SOPS 151797 HAS SOUS 60378 HAS SOUPS 58678 WITH SCORE 58831.497
AT ITER 4322 NEW BEST:: SOT 233817 SOS 153483 HAS SOPS 151783 HAS SOUS 60378 HAS SOUPS 58678 WITH SCORE 58831.483
AT ITER 4327 NEW BEST:: SOT 233813 SOS 153479 HAS SOPS 151779 HAS SOUS 60374 HAS SOUPS 58674 WITH SCORE 58827.479
AT ITER 4383 NEW BEST:: SOT 233784 SOS 153450 HAS SOPS 151750 HAS SOUS 60345 HAS SOUPS 58645 WITH SCORE 58798.45
AT ITER 4396 NEW BEST:: SOT 233784 SOS 153408 HAS SOPS 151708 HAS SOUS 60345 HAS SOUPS 58645 WITH SCORE 58798.408
AT ITER 4403 NEW BEST:: SOT 233784 SOS 153369 HAS SOPS 151669 HAS SOUS 60345 HAS SOUPS 58645 WITH SCORE 58798.369
AT ITER 4409 NEW BEST:: SOT 233694 SOS 153279 HAS SOPS 151579 HAS SOUS 60165 HAS SOUPS 58465 WITH SCORE 58618.279
AT ITER 4419 NEW BEST:: SOT 233670 SOS 153079 HAS SOPS 151367 HAS SOUS 60129 HAS SOUPS 58417 WITH SCORE 58570.079
AT ITER 4422 NEW BEST:: SOT 233668 SOS 153077 HAS SOPS 151365 HAS SOUS 60125 HAS SOUPS 58413 WITH SCORE 58566.077
AT ITER 4446 NEW BEST:: SOT 233662 SOS 153071 HAS SOPS 151359 HAS SOUS 60113 HAS SOUPS 58401 WITH SCORE 58554.071
AT ITER 4473 NEW BEST:: SOT 233662 SOS 153045 HAS SOPS 151333 HAS SOUS 60113 HAS SOUPS 58401 WITH SCORE 58554.045
AT ITER 4488 NEW BEST:: SOT 233662 SOS 152839 HAS SOPS 151127 HAS SOUS 60088 HAS SOUPS 58376 WITH SCORE 58528.839
AT ITER 4506 NEW BEST:: SOT 233580 SOS 152757 HAS SOPS 151045 HAS SOUS 59930 HAS SOUPS 58218 WITH SCORE 58370.757
AT ITER 4528 NEW BEST:: SOT 233580 SOS 152757 HAS SOPS 151045 HAS SOUS 59928 HAS SOUPS 58216 WITH SCORE 58368.757
AT ITER 4533 NEW BEST:: SOT 233558 SOS 152735 HAS SOPS 151023 HAS SOUS 59884 HAS SOUPS 58172 WITH SCORE 58324.735
AT ITER 4540 NEW BEST:: SOT 233548 SOS 152725 HAS SOPS 151013 HAS SOUS 59864 HAS SOUPS 58152 WITH SCORE 58304.725
AT ITER 4542 NEW BEST:: SOT 233537 SOS 152714 HAS SOPS 151002 HAS SOUS 59842 HAS SOUPS 58130 WITH SCORE 58282.714
AT ITER 4543 NEW BEST:: SOT 233522 SOS 152699 HAS SOPS 150987 HAS SOUS 59837 HAS SOUPS 58125 WITH SCORE 58277.699
AT ITER 4555 NEW BEST:: SOT 233514 SOS 152691 HAS SOPS 150979 HAS SOUS 59821 HAS SOUPS 58109 WITH SCORE 58261.691
AT ITER 4561 NEW BEST:: SOT 233456 SOS 152633 HAS SOPS 150921 HAS SOUS 59705 HAS SOUPS 57993 WITH SCORE 58145.633
AT ITER 4576 NEW BEST:: SOT 233450 SOS 152594 HAS SOPS 150882 HAS SOUS 59693 HAS SOUPS 57981 WITH SCORE 58133.594
AT ITER 4585 NEW BEST:: SOT 233450 SOS 152528 HAS SOPS 150816 HAS SOUS 59673 HAS SOUPS 57961 WITH SCORE 58113.528
AT ITER 4596 NEW BEST:: SOT 233450 SOS 152515 HAS SOPS 150790 HAS SOUS 59686 HAS SOUPS 57961 WITH SCORE 58113.515
AT ITER 4598 NEW BEST:: SOT 233450 SOS 152040 HAS SOPS 150334 HAS SOUS 59610 HAS SOUPS 57904 WITH SCORE 58056.04
AT ITER 4600 NEW BEST:: SOT 233450 SOS 152020 HAS SOPS 150314 HAS SOUS 59610 HAS SOUPS 57904 WITH SCORE 58056.02
AT ITER 4629 NEW BEST:: SOT 233450 SOS 151993 HAS SOPS 150287 HAS SOUS 59583 HAS SOUPS 57877 WITH SCORE 58028.993
AT ITER 4645 NEW BEST:: SOT 233432 SOS 151975 HAS SOPS 150269 HAS SOUS 59547 HAS SOUPS 57841 WITH SCORE 57992.975
AT ITER 4664 NEW BEST:: SOT 233401 SOS 151944 HAS SOPS 150238 HAS SOUS 59485 HAS SOUPS 57779 WITH SCORE 57930.944
AT ITER 4681 NEW BEST:: SOT 233345 SOS 152018 HAS SOPS 150312 HAS SOUS 59350 HAS SOUPS 57644 WITH SCORE 57796.018
AT ITER 4683 NEW BEST:: SOT 233338 SOS 153725 HAS SOPS 152019 HAS SOUS 59342 HAS SOUPS 57636 WITH SCORE 57789.725
AT ITER 4687 NEW BEST:: SOT 233338 SOS 153711 HAS SOPS 152005 HAS SOUS 59342 HAS SOUPS 57636 WITH SCORE 57789.711
AT ITER 4699 NEW BEST:: SOT 233350 SOS 153723 HAS SOPS 152017 HAS SOUS 59254 HAS SOUPS 57548 WITH SCORE 57701.723
AT ITER 4706 NEW BEST:: SOT 233349 SOS 153722 HAS SOPS 152016 HAS SOUS 59252 HAS SOUPS 57546 WITH SCORE 57699.722
AT ITER 4720 NEW BEST:: SOT 233338 SOS 153749 HAS SOPS 152043 HAS SOUS 59230 HAS SOUPS 57524 WITH SCORE 57677.749
AT ITER 4735 NEW BEST:: SOT 233338 SOS 153689 HAS SOPS 151983 HAS SOUS 59230 HAS SOUPS 57524 WITH SCORE 57677.689
AT ITER 4739 NEW BEST:: SOT 233246 SOS 153597 HAS SOPS 151891 HAS SOUS 59046 HAS SOUPS 57340 WITH SCORE 57493.597
AT ITER 4759 NEW BEST:: SOT 233246 SOS 153592 HAS SOPS 151886 HAS SOUS 59046 HAS SOUPS 57340 WITH SCORE 57493.592
AT ITER 4798 NEW BEST:: SOT 233206 SOS 153503 HAS SOPS 151797 HAS SOUS 58962 HAS SOUPS 57256 WITH SCORE 57409.503
AT ITER 4801 NEW BEST:: SOT 233206 SOS 153487 HAS SOPS 151781 HAS SOUS 58946 HAS SOUPS 57240 WITH SCORE 57393.487
AT ITER 4830 NEW BEST:: SOT 233206 SOS 153475 HAS SOPS 151769 HAS SOUS 58946 HAS SOUPS 57240 WITH SCORE 57393.475
AT ITER 4834 NEW BEST:: SOT 233162 SOS 153442 HAS SOPS 151736 HAS SOUS 58872 HAS SOUPS 57166 WITH SCORE 57319.442
AT ITER 4864 NEW BEST:: SOT 233144 SOS 153424 HAS SOPS 151718 HAS SOUS 58836 HAS SOUPS 57130 WITH SCORE 57283.424
AT ITER 4867 NEW BEST:: SOT 233130 SOS 153732 HAS SOPS 152026 HAS SOUS 58808 HAS SOUPS 57102 WITH SCORE 57255.732
AT ITER 4880 NEW BEST:: SOT 233197 SOS 153785 HAS SOPS 152068 HAS SOUS 58725 HAS SOUPS 57008 WITH SCORE 57161.785
AT ITER 4904 NEW BEST:: SOT 233197 SOS 153655 HAS SOPS 151938 HAS SOUS 58725 HAS SOUPS 57008 WITH SCORE 57161.655
AT ITER 4948 NEW BEST:: SOT 233197 SOS 153618 HAS SOPS 151901 HAS SOUS 58725 HAS SOUPS 57008 WITH SCORE 57161.618
AT ITER 4957 NEW BEST:: SOT 233133 SOS 153518 HAS SOPS 151765 HAS SOUS 58633 HAS SOUPS 56880 WITH SCORE 57033.518
AT ITER 4971 NEW BEST:: SOT 233122 SOS 153496 HAS SOPS 151732 HAS SOUS 58622 HAS SOUPS 56858 WITH SCORE 57011.496
AT ITER 4986 NEW BEST:: SOT 233116 SOS 153490 HAS SOPS 151726 HAS SOUS 58570 HAS SOUPS 56806 WITH SCORE 56959.49
AT ITER 5003 NEW BEST:: SOT 233082 SOS 153456 HAS SOPS 151692 HAS SOUS 58502 HAS SOUPS 56738 WITH SCORE 56891.456
AT ITER 5020 NEW BEST:: SOT 233076 SOS 153450 HAS SOPS 151686 HAS SOUS 58490 HAS SOUPS 56726 WITH SCORE 56879.45
AT ITER 5022 NEW BEST:: SOT 233074 SOS 153414 HAS SOPS 151616 HAS SOUS 58520 HAS SOUPS 56722 WITH SCORE 56875.414
AT ITER 5033 NEW BEST:: SOT 233065 SOS 153405 HAS SOPS 151607 HAS SOUS 58505 HAS SOUPS 56707 WITH SCORE 56860.405
AT ITER 5043 NEW BEST:: SOT 233065 SOS 153401 HAS SOPS 151603 HAS SOUS 58505 HAS SOUPS 56707 WITH SCORE 56860.401
AT ITER 5066 NEW BEST:: SOT 233065 SOS 153249 HAS SOPS 151451 HAS SOUS 58505 HAS SOUPS 56707 WITH SCORE 56860.249
AT ITER 5108 NEW BEST:: SOT 232684 SOS 152868 HAS SOPS 151070 HAS SOUS 58244 HAS SOUPS 56446 WITH SCORE 56598.868
AT ITER 5122 NEW BEST:: SOT 233027 SOS 153137 HAS SOPS 151293 HAS SOUS 58038 HAS SOUPS 56194 WITH SCORE 56347.137
AT ITER 5149 NEW BEST:: SOT 233021 SOS 153131 HAS SOPS 151287 HAS SOUS 58022 HAS SOUPS 56178 WITH SCORE 56331.131
AT ITER 5179 NEW BEST:: SOT 232961 SOS 153071 HAS SOPS 151227 HAS SOUS 57902 HAS SOUPS 56058 WITH SCORE 56211.071
AT ITER 5188 NEW BEST:: SOT 232914 SOS 153698 HAS SOPS 151854 HAS SOUS 57835 HAS SOUPS 55991 WITH SCORE 56144.698
AT ITER 5209 NEW BEST:: SOT 232896 SOS 153680 HAS SOPS 151836 HAS SOUS 57799 HAS SOUPS 55955 WITH SCORE 56108.68
AT ITER 5220 NEW BEST:: SOT 232778 SOS 153562 HAS SOPS 151718 HAS SOUS 57563 HAS SOUPS 55719 WITH SCORE 55872.562
AT ITER 5243 NEW BEST:: SOT 232778 SOS 153518 HAS SOPS 151674 HAS SOUS 57563 HAS SOUPS 55719 WITH SCORE 55872.518
AT ITER 5258 NEW BEST:: SOT 232773 SOS 153513 HAS SOPS 151669 HAS SOUS 57556 HAS SOUPS 55712 WITH SCORE 55865.513
AT ITER 5264 NEW BEST:: SOT 232709 SOS 153449 HAS SOPS 151605 HAS SOUS 57428 HAS SOUPS 55584 WITH SCORE 55737.449
AT ITER 5285 NEW BEST:: SOT 232658 SOS 153398 HAS SOPS 151554 HAS SOUS 57326 HAS SOUPS 55482 WITH SCORE 55635.398
AT ITER 5287 NEW BEST:: SOT 232655 SOS 153395 HAS SOPS 151551 HAS SOUS 57320 HAS SOUPS 55476 WITH SCORE 55629.395
AT ITER 5337 NEW BEST:: SOT 232565 SOS 153305 HAS SOPS 151461 HAS SOUS 57140 HAS SOUPS 55296 WITH SCORE 55449.305
AT ITER 5342 NEW BEST:: SOT 232537 SOS 153277 HAS SOPS 151433 HAS SOUS 57084 HAS SOUPS 55240 WITH SCORE 55393.277
AT ITER 5352 NEW BEST:: SOT 232537 SOS 153242 HAS SOPS 151398 HAS SOUS 57084 HAS SOUPS 55240 WITH SCORE 55393.242
AT ITER 5367 NEW BEST:: SOT 232513 SOS 153195 HAS SOPS 151351 HAS SOUS 57036 HAS SOUPS 55192 WITH SCORE 55345.195
AT ITER 5377 NEW BEST:: SOT 232497 SOS 153179 HAS SOPS 151335 HAS SOUS 57004 HAS SOUPS 55160 WITH SCORE 55313.179
AT ITER 5384 NEW BEST:: SOT 232496 SOS 153178 HAS SOPS 151334 HAS SOUS 57002 HAS SOUPS 55158 WITH SCORE 55311.178
AT ITER 5399 NEW BEST:: SOT 232484 SOS 153166 HAS SOPS 151322 HAS SOUS 56978 HAS SOUPS 55134 WITH SCORE 55287.166
AT ITER 5401 NEW BEST:: SOT 232470 SOS 153152 HAS SOPS 151308 HAS SOUS 56950 HAS SOUPS 55106 WITH SCORE 55259.152
AT ITER 5455 NEW BEST:: SOT 232468 SOS 153150 HAS SOPS 151306 HAS SOUS 56946 HAS SOUPS 55102 WITH SCORE 55255.15
AT ITER 5457 NEW BEST:: SOT 232457 SOS 153139 HAS SOPS 151295 HAS SOUS 56924 HAS SOUPS 55080 WITH SCORE 55233.139
AT ITER 5469 NEW BEST:: SOT 232457 SOS 153058 HAS SOPS 151214 HAS SOUS 56924 HAS SOUPS 55080 WITH SCORE 55233.058
AT ITER 5529 NEW BEST:: SOT 232457 SOS 153028 HAS SOPS 151184 HAS SOUS 56924 HAS SOUPS 55080 WITH SCORE 55233.028
AT ITER 5538 NEW BEST:: SOT 232400 SOS 152971 HAS SOPS 151127 HAS SOUS 56810 HAS SOUPS 54966 WITH SCORE 55118.971
AT ITER 5551 NEW BEST:: SOT 232310 SOS 152881 HAS SOPS 151037 HAS SOUS 56630 HAS SOUPS 54786 WITH SCORE 54938.881
AT ITER 5552 NEW BEST:: SOT 232252 SOS 152823 HAS SOPS 150979 HAS SOUS 56616 HAS SOUPS 54772 WITH SCORE 54924.823
AT ITER 5587 NEW BEST:: SOT 232251 SOS 152822 HAS SOPS 150978 HAS SOUS 56614 HAS SOUPS 54770 WITH SCORE 54922.822
AT ITER 5603 NEW BEST:: SOT 232231 SOS 152802 HAS SOPS 150958 HAS SOUS 56574 HAS SOUPS 54730 WITH SCORE 54882.802
AT ITER 5616 NEW BEST:: SOT 232231 SOS 152620 HAS SOPS 150786 HAS SOUS 56564 HAS SOUPS 54730 WITH SCORE 54882.62
AT ITER 5636 NEW BEST:: SOT 232224 SOS 152419 HAS SOPS 150585 HAS SOUS 56550 HAS SOUPS 54716 WITH SCORE 54868.419
AT ITER 5641 NEW BEST:: SOT 232159 SOS 152354 HAS SOPS 150520 HAS SOUS 56420 HAS SOUPS 54586 WITH SCORE 54738.354
AT ITER 5656 NEW BEST:: SOT 232081 SOS 152276 HAS SOPS 150442 HAS SOUS 56264 HAS SOUPS 54430 WITH SCORE 54582.276
AT ITER 5684 NEW BEST:: SOT 232081 SOS 152122 HAS SOPS 150288 HAS SOUS 56264 HAS SOUPS 54430 WITH SCORE 54582.122
AT ITER 5686 NEW BEST:: SOT 232068 SOS 152109 HAS SOPS 150275 HAS SOUS 56238 HAS SOUPS 54404 WITH SCORE 54556.109
AT ITER 5725 NEW BEST:: SOT 232065 SOS 152068 HAS SOPS 150234 HAS SOUS 56232 HAS SOUPS 54398 WITH SCORE 54550.068
AT ITER 5740 NEW BEST:: SOT 232033 SOS 152036 HAS SOPS 150202 HAS SOUS 56168 HAS SOUPS 54334 WITH SCORE 54486.036
AT ITER 5767 NEW BEST:: SOT 232021 SOS 152039 HAS SOPS 150205 HAS SOUS 56144 HAS SOUPS 54310 WITH SCORE 54462.039
AT ITER 5778 NEW BEST:: SOT 232021 SOS 152039 HAS SOPS 150205 HAS SOUS 56126 HAS SOUPS 54292 WITH SCORE 54444.039
AT ITER 5780 NEW BEST:: SOT 231985 SOS 152003 HAS SOPS 150169 HAS SOUS 56014 HAS SOUPS 54180 WITH SCORE 54332.003
AT ITER 5783 NEW BEST:: SOT 231957 SOS 151975 HAS SOPS 150141 HAS SOUS 55958 HAS SOUPS 54124 WITH SCORE 54275.975
AT ITER 5816 NEW BEST:: SOT 231935 SOS 151953 HAS SOPS 150119 HAS SOUS 55946 HAS SOUPS 54112 WITH SCORE 54263.953
AT ITER 5820 NEW BEST:: SOT 231907 SOS 151925 HAS SOPS 150091 HAS SOUS 55890 HAS SOUPS 54056 WITH SCORE 54207.925
AT ITER 5851 NEW BEST:: SOT 231907 SOS 151811 HAS SOPS 149977 HAS SOUS 55890 HAS SOUPS 54056 WITH SCORE 54207.811
AT ITER 5870 NEW BEST:: SOT 231864 SOS 151768 HAS SOPS 149934 HAS SOUS 55804 HAS SOUPS 53970 WITH SCORE 54121.768
AT ITER 5873 NEW BEST:: SOT 231796 SOS 151700 HAS SOPS 149866 HAS SOUS 55668 HAS SOUPS 53834 WITH SCORE 53985.7
AT ITER 5903 NEW BEST:: SOT 231796 SOS 151684 HAS SOPS 149850 HAS SOUS 55668 HAS SOUPS 53834 WITH SCORE 53985.684
AT ITER 5914 NEW BEST:: SOT 231796 SOS 151683 HAS SOPS 149848 HAS SOUS 55669 HAS SOUPS 53834 WITH SCORE 53985.683
AT ITER 5924 NEW BEST:: SOT 231746 SOS 151633 HAS SOPS 149798 HAS SOUS 55569 HAS SOUPS 53734 WITH SCORE 53885.633
AT ITER 5927 NEW BEST:: SOT 231746 SOS 151623 HAS SOPS 149788 HAS SOUS 55569 HAS SOUPS 53734 WITH SCORE 53885.623
AT ITER 5951 NEW BEST:: SOT 231660 SOS 151480 HAS SOPS 149645 HAS SOUS 55564 HAS SOUPS 53729 WITH SCORE 53880.48
AT ITER 5955 NEW BEST:: SOT 231579 SOS 151385 HAS SOPS 149550 HAS SOUS 55402 HAS SOUPS 53567 WITH SCORE 53718.385
AT ITER 5966 NEW BEST:: SOT 231579 SOS 151376 HAS SOPS 149541 HAS SOUS 55402 HAS SOUPS 53567 WITH SCORE 53718.376
AT ITER 5969 NEW BEST:: SOT 231565 SOS 151362 HAS SOPS 149527 HAS SOUS 55374 HAS SOUPS 53539 WITH SCORE 53690.362
AT ITER 5986 NEW BEST:: SOT 231565 SOS 151356 HAS SOPS 149521 HAS SOUS 55374 HAS SOUPS 53539 WITH SCORE 53690.356
AT ITER 5987 NEW BEST:: SOT 231508 SOS 151299 HAS SOPS 149464 HAS SOUS 55260 HAS SOUPS 53425 WITH SCORE 53576.299
AT ITER 6029 NEW BEST:: SOT 231472 SOS 151263 HAS SOPS 149428 HAS SOUS 55188 HAS SOUPS 53353 WITH SCORE 53504.263
AT ITER 6046 NEW BEST:: SOT 231461 SOS 151279 HAS SOPS 149444 HAS SOUS 55177 HAS SOUPS 53342 WITH SCORE 53493.279
AT ITER 6061 NEW BEST:: SOT 231421 SOS 151239 HAS SOPS 149404 HAS SOUS 55097 HAS SOUPS 53262 WITH SCORE 53413.239
AT ITER 6073 NEW BEST:: SOT 231383 SOS 151351 HAS SOPS 149516 HAS SOUS 55081 HAS SOUPS 53246 WITH SCORE 53397.351
AT ITER 6091 NEW BEST:: SOT 231383 SOS 151321 HAS SOPS 149486 HAS SOUS 55081 HAS SOUPS 53246 WITH SCORE 53397.321
AT ITER 6093 NEW BEST:: SOT 231345 SOS 151283 HAS SOPS 149448 HAS SOUS 55005 HAS SOUPS 53170 WITH SCORE 53321.283
AT ITER 6094 NEW BEST:: SOT 231345 SOS 151263 HAS SOPS 149428 HAS SOUS 55005 HAS SOUPS 53170 WITH SCORE 53321.263
AT ITER 6100 NEW BEST:: SOT 231345 SOS 151210 HAS SOPS 149375 HAS SOUS 55005 HAS SOUPS 53170 WITH SCORE 53321.21
AT ITER 6103 NEW BEST:: SOT 230413 SOS 182606 HAS SOPS 180771 HAS SOUS 54152 HAS SOUPS 52317 WITH SCORE 52499.606
AT ITER 6110 NEW BEST:: SOT 229993 SOS 183634 HAS SOPS 181799 HAS SOUS 54123 HAS SOUPS 52288 WITH SCORE 52471.634
AT ITER 6112 NEW BEST:: SOT 229966 SOS 183607 HAS SOPS 181772 HAS SOUS 54062 HAS SOUPS 52227 WITH SCORE 52410.607
AT ITER 6114 NEW BEST:: SOT 230005 SOS 183642 HAS SOPS 181803 HAS SOUS 54060 HAS SOUPS 52221 WITH SCORE 52404.642
AT ITER 6137 NEW BEST:: SOT 230005 SOS 183617 HAS SOPS 181778 HAS SOUS 54060 HAS SOUPS 52221 WITH SCORE 52404.617
AT ITER 6141 NEW BEST:: SOT 229848 SOS 183482 HAS SOPS 181643 HAS SOUS 53913 HAS SOUPS 52074 WITH SCORE 52257.482
AT ITER 6148 NEW BEST:: SOT 229863 SOS 183275 HAS SOPS 181436 HAS SOUS 53913 HAS SOUPS 52074 WITH SCORE 52257.275
AT ITER 6184 NEW BEST:: SOT 229863 SOS 183271 HAS SOPS 181432 HAS SOUS 53913 HAS SOUPS 52074 WITH SCORE 52257.271
AT ITER 6191 NEW BEST:: SOT 229839 SOS 183247 HAS SOPS 181408 HAS SOUS 53865 HAS SOUPS 52026 WITH SCORE 52209.247
AT ITER 6302 NEW BEST:: SOT 229839 SOS 183220 HAS SOPS 181381 HAS SOUS 53865 HAS SOUPS 52026 WITH SCORE 52209.22
AT ITER 6306 NEW BEST:: SOT 229839 SOS 183220 HAS SOPS 181381 HAS SOUS 53858 HAS SOUPS 52019 WITH SCORE 52202.22
AT ITER 6341 NEW BEST:: SOT 229860 SOS 183238 HAS SOPS 181396 HAS SOUS 53846 HAS SOUPS 52004 WITH SCORE 52187.238
AT ITER 6349 NEW BEST:: SOT 229687 SOS 183082 HAS SOPS 181223 HAS SOUS 53806 HAS SOUPS 51947 WITH SCORE 52130.082
AT ITER 6361 NEW BEST:: SOT 229557 SOS 182952 HAS SOPS 181093 HAS SOUS 53546 HAS SOUPS 51687 WITH SCORE 51869.952
AT ITER 6378 NEW BEST:: SOT 229529 SOS 183420 HAS SOPS 181561 HAS SOUS 53514 HAS SOUPS 51655 WITH SCORE 51838.42
AT ITER 6379 NEW BEST:: SOT 229517 SOS 183408 HAS SOPS 181549 HAS SOUS 53490 HAS SOUPS 51631 WITH SCORE 51814.408
AT ITER 6405 NEW BEST:: SOT 229509 SOS 183400 HAS SOPS 181541 HAS SOUS 53474 HAS SOUPS 51615 WITH SCORE 51798.4
AT ITER 6406 NEW BEST:: SOT 228943 SOS 183070 HAS SOPS 181149 HAS SOUS 53120 HAS SOUPS 51199 WITH SCORE 51382.07
AT ITER 6407 NEW BEST:: SOT 228929 SOS 183056 HAS SOPS 181135 HAS SOUS 53092 HAS SOUPS 51171 WITH SCORE 51354.056
AT ITER 6419 NEW BEST:: SOT 228853 SOS 183018 HAS SOPS 181097 HAS SOUS 52940 HAS SOUPS 51019 WITH SCORE 51202.018
AT ITER 6459 NEW BEST:: SOT 228795 SOS 182960 HAS SOPS 181039 HAS SOUS 52824 HAS SOUPS 50903 WITH SCORE 51085.96
AT ITER 6468 NEW BEST:: SOT 228721 SOS 182886 HAS SOPS 180965 HAS SOUS 52802 HAS SOUPS 50881 WITH SCORE 51063.886
AT ITER 6488 NEW BEST:: SOT 228687 SOS 182852 HAS SOPS 180931 HAS SOUS 52734 HAS SOUPS 50813 WITH SCORE 50995.852
AT ITER 6501 NEW BEST:: SOT 228651 SOS 182816 HAS SOPS 180895 HAS SOUS 52662 HAS SOUPS 50741 WITH SCORE 50923.816
AT ITER 6503 NEW BEST:: SOT 228643 SOS 182732 HAS SOPS 180811 HAS SOUS 52646 HAS SOUPS 50725 WITH SCORE 50907.732
AT ITER 6514 NEW BEST:: SOT 228140 SOS 182287 HAS SOPS 180308 HAS SOUS 52515 HAS SOUPS 50536 WITH SCORE 50718.287
AT ITER 6563 NEW BEST:: SOT 228140 SOS 182245 HAS SOPS 180266 HAS SOUS 52515 HAS SOUPS 50536 WITH SCORE 50718.245
AT ITER 6568 NEW BEST:: SOT 228140 SOS 182244 HAS SOPS 180265 HAS SOUS 52515 HAS SOUPS 50536 WITH SCORE 50718.244
AT ITER 6571 NEW BEST:: SOT 228100 SOS 182204 HAS SOPS 180225 HAS SOUS 52435 HAS SOUPS 50456 WITH SCORE 50638.204
AT ITER 6573 NEW BEST:: SOT 228161 SOS 182265 HAS SOPS 180286 HAS SOUS 52386 HAS SOUPS 50407 WITH SCORE 50589.265
AT ITER 6581 NEW BEST:: SOT 228147 SOS 182251 HAS SOPS 180272 HAS SOUS 52358 HAS SOUPS 50379 WITH SCORE 50561.251
AT ITER 6588 NEW BEST:: SOT 228119 SOS 182223 HAS SOPS 180244 HAS SOUS 52302 HAS SOUPS 50323 WITH SCORE 50505.223
AT ITER 6603 NEW BEST:: SOT 228083 SOS 182187 HAS SOPS 180208 HAS SOUS 52230 HAS SOUPS 50251 WITH SCORE 50433.187
AT ITER 6629 NEW BEST:: SOT 227995 SOS 182115 HAS SOPS 180136 HAS SOUS 52054 HAS SOUPS 50075 WITH SCORE 50257.115
AT ITER 6630 NEW BEST:: SOT 227963 SOS 182083 HAS SOPS 180104 HAS SOUS 51990 HAS SOUPS 50011 WITH SCORE 50193.083
AT ITER 6631 NEW BEST:: SOT 227935 SOS 182055 HAS SOPS 180076 HAS SOUS 51962 HAS SOUPS 49983 WITH SCORE 50165.055
AT ITER 6691 NEW BEST:: SOT 227973 SOS 180749 HAS SOPS 178770 HAS SOUS 51828 HAS SOUPS 49849 WITH SCORE 50029.749
AT ITER 6704 NEW BEST:: SOT 227858 SOS 180634 HAS SOPS 178655 HAS SOUS 51598 HAS SOUPS 49619 WITH SCORE 49799.634
AT ITER 6759 NEW BEST:: SOT 227844 SOS 180844 HAS SOPS 178865 HAS SOUS 51572 HAS SOUPS 49593 WITH SCORE 49773.844
AT ITER 6775 NEW BEST:: SOT 227789 SOS 180789 HAS SOPS 178810 HAS SOUS 51316 HAS SOUPS 49337 WITH SCORE 49517.789
AT ITER 6785 NEW BEST:: SOT 227773 SOS 180775 HAS SOPS 178798 HAS SOUS 51282 HAS SOUPS 49305 WITH SCORE 49485.775
AT ITER 6792 NEW BEST:: SOT 227706 SOS 180708 HAS SOPS 178731 HAS SOUS 51158 HAS SOUPS 49181 WITH SCORE 49361.708
AT ITER 6796 NEW BEST:: SOT 227703 SOS 180705 HAS SOPS 178728 HAS SOUS 51152 HAS SOUPS 49175 WITH SCORE 49355.705
AT ITER 6829 NEW BEST:: SOT 227646 SOS 180648 HAS SOPS 178671 HAS SOUS 51038 HAS SOUPS 49061 WITH SCORE 49241.648
AT ITER 6831 NEW BEST:: SOT 227594 SOS 180596 HAS SOPS 178619 HAS SOUS 50934 HAS SOUPS 48957 WITH SCORE 49137.596
AT ITER 6858 NEW BEST:: SOT 227589 SOS 181336 HAS SOPS 179359 HAS SOUS 50915 HAS SOUPS 48938 WITH SCORE 49119.336
AT ITER 6884 NEW BEST:: SOT 227580 SOS 181327 HAS SOPS 179350 HAS SOUS 50897 HAS SOUPS 48920 WITH SCORE 49101.327
AT ITER 6896 NEW BEST:: SOT 227570 SOS 181317 HAS SOPS 179340 HAS SOUS 50877 HAS SOUPS 48900 WITH SCORE 49081.317
AT ITER 6904 NEW BEST:: SOT 227466 SOS 181243 HAS SOPS 179266 HAS SOUS 50828 HAS SOUPS 48851 WITH SCORE 49032.243
AT ITER 6926 NEW BEST:: SOT 227436 SOS 181213 HAS SOPS 179236 HAS SOUS 50768 HAS SOUPS 48791 WITH SCORE 48972.213
AT ITER 6932 NEW BEST:: SOT 227436 SOS 181228 HAS SOPS 179251 HAS SOUS 50726 HAS SOUPS 48749 WITH SCORE 48930.228
AT ITER 6937 NEW BEST:: SOT 227436 SOS 181204 HAS SOPS 179227 HAS SOUS 50726 HAS SOUPS 48749 WITH SCORE 48930.204
AT ITER 6948 NEW BEST:: SOT 227412 SOS 181180 HAS SOPS 179203 HAS SOUS 50678 HAS SOUPS 48701 WITH SCORE 48882.18
AT ITER 6968 NEW BEST:: SOT 227384 SOS 181152 HAS SOPS 179175 HAS SOUS 50622 HAS SOUPS 48645 WITH SCORE 48826.152
AT ITER 6986 NEW BEST:: SOT 227425 SOS 181193 HAS SOPS 179216 HAS SOUS 50529 HAS SOUPS 48552 WITH SCORE 48733.193
AT ITER 6995 NEW BEST:: SOT 227387 SOS 181155 HAS SOPS 179178 HAS SOUS 50453 HAS SOUPS 48476 WITH SCORE 48657.155
AT ITER 7066 NEW BEST:: SOT 227383 SOS 181155 HAS SOPS 179178 HAS SOUS 50445 HAS SOUPS 48468 WITH SCORE 48649.155
AT ITER 7135 NEW BEST:: SOT 227361 SOS 181133 HAS SOPS 179156 HAS SOUS 50401 HAS SOUPS 48424 WITH SCORE 48605.133
AT ITER 7142 NEW BEST:: SOT 227337 SOS 181109 HAS SOPS 179132 HAS SOUS 50353 HAS SOUPS 48376 WITH SCORE 48557.109
AT ITER 7152 NEW BEST:: SOT 227347 SOS 181119 HAS SOPS 179142 HAS SOUS 50343 HAS SOUPS 48366 WITH SCORE 48547.119
AT ITER 7156 NEW BEST:: SOT 227503 SOS 181269 HAS SOPS 179292 HAS SOUS 50295 HAS SOUPS 48318 WITH SCORE 48499.269
AT ITER 7164 NEW BEST:: SOT 227453 SOS 181219 HAS SOPS 179242 HAS SOUS 50285 HAS SOUPS 48308 WITH SCORE 48489.219
AT ITER 7196 NEW BEST:: SOT 227445 SOS 181211 HAS SOPS 179234 HAS SOUS 50269 HAS SOUPS 48292 WITH SCORE 48473.211
AT ITER 7213 NEW BEST:: SOT 227337 SOS 181103 HAS SOPS 179126 HAS SOUS 50053 HAS SOUPS 48076 WITH SCORE 48257.103
AT ITER 7233 NEW BEST:: SOT 227335 SOS 181099 HAS SOPS 179122 HAS SOUS 50049 HAS SOUPS 48072 WITH SCORE 48253.099
AT ITER 7235 NEW BEST:: SOT 227308 SOS 181072 HAS SOPS 179095 HAS SOUS 50049 HAS SOUPS 48072 WITH SCORE 48253.072
AT ITER 7260 NEW BEST:: SOT 227258 SOS 181022 HAS SOPS 179045 HAS SOUS 49949 HAS SOUPS 47972 WITH SCORE 48153.022
AT ITER 7283 NEW BEST:: SOT 227188 SOS 180940 HAS SOPS 178963 HAS SOUS 49809 HAS SOUPS 47832 WITH SCORE 48012.94
AT ITER 7294 NEW BEST:: SOT 227200 SOS 180766 HAS SOPS 178798 HAS SOUS 49766 HAS SOUPS 47798 WITH SCORE 47978.766
AT ITER 7318 NEW BEST:: SOT 226789 SOS 180486 HAS SOPS 178468 HAS SOUS 49619 HAS SOUPS 47601 WITH SCORE 47781.486
AT ITER 7338 NEW BEST:: SOT 226787 SOS 180492 HAS SOPS 178474 HAS SOUS 49615 HAS SOUPS 47597 WITH SCORE 47777.492
AT ITER 7366 NEW BEST:: SOT 226643 SOS 180342 HAS SOPS 178324 HAS SOUS 49460 HAS SOUPS 47442 WITH SCORE 47622.342
AT ITER 7389 NEW BEST:: SOT 226590 SOS 180289 HAS SOPS 178271 HAS SOUS 49354 HAS SOUPS 47336 WITH SCORE 47516.289
AT ITER 7390 NEW BEST:: SOT 226573 SOS 180272 HAS SOPS 178254 HAS SOUS 49289 HAS SOUPS 47271 WITH SCORE 47451.272
AT ITER 7409 NEW BEST:: SOT 226534 SOS 180233 HAS SOPS 178215 HAS SOUS 49211 HAS SOUPS 47193 WITH SCORE 47373.233
AT ITER 7415 NEW BEST:: SOT 226436 SOS 180135 HAS SOPS 178117 HAS SOUS 49015 HAS SOUPS 46997 WITH SCORE 47177.135
AT ITER 7425 NEW BEST:: SOT 226422 SOS 180121 HAS SOPS 178103 HAS SOUS 48987 HAS SOUPS 46969 WITH SCORE 47149.121
AT ITER 7434 NEW BEST:: SOT 226415 SOS 180114 HAS SOPS 178096 HAS SOUS 48973 HAS SOUPS 46955 WITH SCORE 47135.114
AT ITER 7436 NEW BEST:: SOT 226373 SOS 180142 HAS SOPS 178194 HAS SOUS 48819 HAS SOUPS 46871 WITH SCORE 47051.142
AT ITER 7457 NEW BEST:: SOT 225931 SOS 179756 HAS SOPS 177752 HAS SOUS 48793 HAS SOUPS 46789 WITH SCORE 46968.756
AT ITER 7462 NEW BEST:: SOT 225903 SOS 179728 HAS SOPS 177724 HAS SOUS 48737 HAS SOUPS 46733 WITH SCORE 46912.728
AT ITER 7471 NEW BEST:: SOT 225649 SOS 179474 HAS SOPS 177470 HAS SOUS 48715 HAS SOUPS 46711 WITH SCORE 46890.474
AT ITER 7497 NEW BEST:: SOT 225615 SOS 179440 HAS SOPS 177436 HAS SOUS 48647 HAS SOUPS 46643 WITH SCORE 46822.44
AT ITER 7500 NEW BEST:: SOT 225549 SOS 179374 HAS SOPS 177370 HAS SOUS 48515 HAS SOUPS 46511 WITH SCORE 46690.374
AT ITER 7519 NEW BEST:: SOT 225563 SOS 179388 HAS SOPS 177384 HAS SOUS 48509 HAS SOUPS 46505 WITH SCORE 46684.388
AT ITER 7587 NEW BEST:: SOT 225537 SOS 179362 HAS SOPS 177358 HAS SOUS 48457 HAS SOUPS 46453 WITH SCORE 46632.362
AT ITER 7597 NEW BEST:: SOT 225395 SOS 179238 HAS SOPS 177216 HAS SOUS 48408 HAS SOUPS 46386 WITH SCORE 46565.238
AT ITER 7613 NEW BEST:: SOT 225386 SOS 179229 HAS SOPS 177207 HAS SOUS 48390 HAS SOUPS 46368 WITH SCORE 46547.229
AT ITER 7623 NEW BEST:: SOT 225368 SOS 179211 HAS SOPS 177189 HAS SOUS 48354 HAS SOUPS 46332 WITH SCORE 46511.211
AT ITER 7638 NEW BEST:: SOT 225342 SOS 179185 HAS SOPS 177163 HAS SOUS 48302 HAS SOUPS 46280 WITH SCORE 46459.185
AT ITER 7657 NEW BEST:: SOT 225341 SOS 179184 HAS SOPS 177162 HAS SOUS 48300 HAS SOUPS 46278 WITH SCORE 46457.184
AT ITER 7661 NEW BEST:: SOT 225331 SOS 179174 HAS SOPS 177152 HAS SOUS 48296 HAS SOUPS 46274 WITH SCORE 46453.174
AT ITER 7690 NEW BEST:: SOT 225296 SOS 179139 HAS SOPS 177117 HAS SOUS 48226 HAS SOUPS 46204 WITH SCORE 46383.139
AT ITER 7705 NEW BEST:: SOT 225296 SOS 179134 HAS SOPS 177112 HAS SOUS 48226 HAS SOUPS 46204 WITH SCORE 46383.134
AT ITER 7708 NEW BEST:: SOT 225290 SOS 179128 HAS SOPS 177106 HAS SOUS 48214 HAS SOUPS 46192 WITH SCORE 46371.128
AT ITER 7799 NEW BEST:: SOT 225275 SOS 179113 HAS SOPS 177091 HAS SOUS 48184 HAS SOUPS 46162 WITH SCORE 46341.113
AT ITER 7801 NEW BEST:: SOT 225232 SOS 179133 HAS SOPS 177111 HAS SOUS 48098 HAS SOUPS 46076 WITH SCORE 46255.133
AT ITER 7876 NEW BEST:: SOT 225218 SOS 179119 HAS SOPS 177097 HAS SOUS 48070 HAS SOUPS 46048 WITH SCORE 46227.119
AT ITER 7894 NEW BEST:: SOT 225217 SOS 179118 HAS SOPS 177096 HAS SOUS 48068 HAS SOUPS 46046 WITH SCORE 46225.118
AT ITER 7900 NEW BEST:: SOT 225165 SOS 179066 HAS SOPS 177044 HAS SOUS 47964 HAS SOUPS 45942 WITH SCORE 46121.066
AT ITER 7926 NEW BEST:: SOT 225163 SOS 179083 HAS SOPS 177061 HAS SOUS 47960 HAS SOUPS 45938 WITH SCORE 46117.083
AT ITER 7933 NEW BEST:: SOT 225139 SOS 179059 HAS SOPS 177037 HAS SOUS 47912 HAS SOUPS 45890 WITH SCORE 46069.059
AT ITER 7954 NEW BEST:: SOT 225101 SOS 179021 HAS SOPS 176999 HAS SOUS 47836 HAS SOUPS 45814 WITH SCORE 45993.021
AT ITER 8006 NEW BEST:: SOT 225059 SOS 178979 HAS SOPS 176957 HAS SOUS 47752 HAS SOUPS 45730 WITH SCORE 45908.979
AT ITER 8012 NEW BEST:: SOT 225123 SOS 179035 HAS SOPS 177021 HAS SOUS 47728 HAS SOUPS 45714 WITH SCORE 45893.035
AT ITER 8019 NEW BEST:: SOT 225122 SOS 179034 HAS SOPS 177020 HAS SOUS 47727 HAS SOUPS 45713 WITH SCORE 45892.034
AT ITER 8031 NEW BEST:: SOT 225120 SOS 179032 HAS SOPS 177018 HAS SOUS 47723 HAS SOUPS 45709 WITH SCORE 45888.032
AT ITER 8131 NEW BEST:: SOT 225098 SOS 179010 HAS SOPS 176996 HAS SOUS 47679 HAS SOUPS 45665 WITH SCORE 45844.01
AT ITER 8152 NEW BEST:: SOT 225011 SOS 178923 HAS SOPS 176909 HAS SOUS 47609 HAS SOUPS 45595 WITH SCORE 45773.923
AT ITER 8238 NEW BEST:: SOT 225009 SOS 178921 HAS SOPS 176907 HAS SOUS 47605 HAS SOUPS 45591 WITH SCORE 45769.921
AT ITER 8259 NEW BEST:: SOT 224949 SOS 178861 HAS SOPS 176847 HAS SOUS 47485 HAS SOUPS 45471 WITH SCORE 45649.861
AT ITER 8295 NEW BEST:: SOT 224947 SOS 178855 HAS SOPS 176837 HAS SOUS 47485 HAS SOUPS 45467 WITH SCORE 45645.855
AT ITER 8297 NEW BEST:: SOT 224904 SOS 178812 HAS SOPS 176799 HAS SOUS 47438 HAS SOUPS 45425 WITH SCORE 45603.812
AT ITER 8314 NEW BEST:: SOT 224902 SOS 178810 HAS SOPS 176797 HAS SOUS 47434 HAS SOUPS 45421 WITH SCORE 45599.81
AT ITER 8327 NEW BEST:: SOT 224891 SOS 178799 HAS SOPS 176786 HAS SOUS 47412 HAS SOUPS 45399 WITH SCORE 45577.799
AT ITER 8332 NEW BEST:: SOT 224798 SOS 178698 HAS SOPS 176685 HAS SOUS 47202 HAS SOUPS 45189 WITH SCORE 45367.698
AT ITER 8334 NEW BEST:: SOT 224787 SOS 178687 HAS SOPS 176674 HAS SOUS 47180 HAS SOUPS 45167 WITH SCORE 45345.687
AT ITER 8349 NEW BEST:: SOT 224740 SOS 178640 HAS SOPS 176627 HAS SOUS 47086 HAS SOUPS 45073 WITH SCORE 45251.64
AT ITER 8384 NEW BEST:: SOT 224722 SOS 178622 HAS SOPS 176609 HAS SOUS 47050 HAS SOUPS 45037 WITH SCORE 45215.622
AT ITER 8420 NEW BEST:: SOT 224690 SOS 178590 HAS SOPS 176577 HAS SOUS 46986 HAS SOUPS 44973 WITH SCORE 45151.59
AT ITER 8422 NEW BEST:: SOT 224223 SOS 178235 HAS SOPS 176297 HAS SOUS 46585 HAS SOUPS 44647 WITH SCORE 44825.235
AT ITER 8423 NEW BEST:: SOT 224223 SOS 177932 HAS SOPS 175994 HAS SOUS 46585 HAS SOUPS 44647 WITH SCORE 44824.932
AT ITER 8424 NEW BEST:: SOT 224219 SOS 177928 HAS SOPS 175990 HAS SOUS 46577 HAS SOUPS 44639 WITH SCORE 44816.928
AT ITER 8427 NEW BEST:: SOT 224215 SOS 177924 HAS SOPS 175986 HAS SOUS 46569 HAS SOUPS 44631 WITH SCORE 44808.924
AT ITER 8460 NEW BEST:: SOT 224179 SOS 177888 HAS SOPS 175950 HAS SOUS 46497 HAS SOUPS 44559 WITH SCORE 44736.888
AT ITER 8553 NEW BEST:: SOT 224215 SOS 177918 HAS SOPS 175980 HAS SOUS 46443 HAS SOUPS 44505 WITH SCORE 44682.918
AT ITER 8581 NEW BEST:: SOT 224099 SOS 177802 HAS SOPS 175864 HAS SOUS 46211 HAS SOUPS 44273 WITH SCORE 44450.802
AT ITER 8604 NEW BEST:: SOT 224076 SOS 177779 HAS SOPS 175841 HAS SOUS 46165 HAS SOUPS 44227 WITH SCORE 44404.779
AT ITER 8605 NEW BEST:: SOT 224076 SOS 177779 HAS SOPS 175841 HAS SOUS 46148 HAS SOUPS 44210 WITH SCORE 44387.779
AT ITER 8631 NEW BEST:: SOT 224044 SOS 177747 HAS SOPS 175809 HAS SOUS 46084 HAS SOUPS 44146 WITH SCORE 44323.747
AT ITER 8644 NEW BEST:: SOT 224044 SOS 177747 HAS SOPS 175809 HAS SOUS 46078 HAS SOUPS 44140 WITH SCORE 44317.747
AT ITER 8666 NEW BEST:: SOT 224022 SOS 177725 HAS SOPS 175787 HAS SOUS 46034 HAS SOUPS 44096 WITH SCORE 44273.725
AT ITER 8688 NEW BEST:: SOT 223984 SOS 177687 HAS SOPS 175749 HAS SOUS 45958 HAS SOUPS 44020 WITH SCORE 44197.687
AT ITER 8694 NEW BEST:: SOT 223983 SOS 177686 HAS SOPS 175748 HAS SOUS 45956 HAS SOUPS 44018 WITH SCORE 44195.686
AT ITER 8720 NEW BEST:: SOT 223969 SOS 177672 HAS SOPS 175734 HAS SOUS 45928 HAS SOUPS 43990 WITH SCORE 44167.672
AT ITER 8741 NEW BEST:: SOT 223969 SOS 177670 HAS SOPS 175732 HAS SOUS 45928 HAS SOUPS 43990 WITH SCORE 44167.67
AT ITER 8760 NEW BEST:: SOT 223972 SOS 177625 HAS SOPS 175687 HAS SOUS 45928 HAS SOUPS 43990 WITH SCORE 44167.625
AT ITER 8767 NEW BEST:: SOT 224064 SOS 177701 HAS SOPS 175758 HAS SOUS 45897 HAS SOUPS 43954 WITH SCORE 44131.701
AT ITER 8777 NEW BEST:: SOT 224052 SOS 177689 HAS SOPS 175746 HAS SOUS 45873 HAS SOUPS 43930 WITH SCORE 44107.689
AT ITER 8790 NEW BEST:: SOT 223871 SOS 177514 HAS SOPS 175571 HAS SOUS 45703 HAS SOUPS 43760 WITH SCORE 43937.514
AT ITER 8794 NEW BEST:: SOT 223871 SOS 177508 HAS SOPS 175565 HAS SOUS 45691 HAS SOUPS 43748 WITH SCORE 43925.508
AT ITER 8904 NEW BEST:: SOT 223833 SOS 177510 HAS SOPS 175567 HAS SOUS 45615 HAS SOUPS 43672 WITH SCORE 43849.51
AT ITER 8916 NEW BEST:: SOT 223803 SOS 177480 HAS SOPS 175537 HAS SOUS 45555 HAS SOUPS 43612 WITH SCORE 43789.48
AT ITER 8928 NEW BEST:: SOT 223743 SOS 177420 HAS SOPS 175477 HAS SOUS 45435 HAS SOUPS 43492 WITH SCORE 43669.42
AT ITER 8931 NEW BEST:: SOT 223736 SOS 177413 HAS SOPS 175470 HAS SOUS 45421 HAS SOUPS 43478 WITH SCORE 43655.413
AT ITER 8934 NEW BEST:: SOT 223732 SOS 177409 HAS SOPS 175466 HAS SOUS 45413 HAS SOUPS 43470 WITH SCORE 43647.409
AT ITER 8969 NEW BEST:: SOT 223724 SOS 177401 HAS SOPS 175458 HAS SOUS 45397 HAS SOUPS 43454 WITH SCORE 43631.401
AT ITER 9008 NEW BEST:: SOT 223724 SOS 177132 HAS SOPS 175189 HAS SOUS 45397 HAS SOUPS 43454 WITH SCORE 43631.132
AT ITER 9041 NEW BEST:: SOT 223689 SOS 177024 HAS SOPS 175081 HAS SOUS 45323 HAS SOUPS 43380 WITH SCORE 43557.024
AT ITER 9056 NEW BEST:: SOT 223689 SOS 177016 HAS SOPS 175065 HAS SOUS 45331 HAS SOUPS 43380 WITH SCORE 43557.016
AT ITER 9100 NEW BEST:: SOT 223689 SOS 177013 HAS SOPS 175062 HAS SOUS 45331 HAS SOUPS 43380 WITH SCORE 43557.013
AT ITER 9120 NEW BEST:: SOT 223681 SOS 177005 HAS SOPS 175054 HAS SOUS 45323 HAS SOUPS 43372 WITH SCORE 43549.005
AT ITER 9150 NEW BEST:: SOT 223667 SOS 177117 HAS SOPS 175166 HAS SOUS 45302 HAS SOUPS 43351 WITH SCORE 43528.117
AT ITER 9151 NEW BEST:: SOT 223667 SOS 177109 HAS SOPS 175158 HAS SOUS 45302 HAS SOUPS 43351 WITH SCORE 43528.109
AT ITER 9162 NEW BEST:: SOT 223666 SOS 177108 HAS SOPS 175157 HAS SOUS 45300 HAS SOUPS 43349 WITH SCORE 43526.108
AT ITER 9207 NEW BEST:: SOT 223650 SOS 177092 HAS SOPS 175141 HAS SOUS 45272 HAS SOUPS 43321 WITH SCORE 43498.092
AT ITER 9276 NEW BEST:: SOT 223295 SOS 176738 HAS SOPS 174787 HAS SOUS 45086 HAS SOUPS 43135 WITH SCORE 43311.738
AT ITER 9287 NEW BEST:: SOT 223263 SOS 176706 HAS SOPS 174755 HAS SOUS 45076 HAS SOUPS 43125 WITH SCORE 43301.706
AT ITER 9288 NEW BEST:: SOT 223298 SOS 176741 HAS SOPS 174790 HAS SOUS 45056 HAS SOUPS 43105 WITH SCORE 43281.741
AT ITER 9339 NEW BEST:: SOT 223374 SOS 175989 HAS SOPS 174038 HAS SOUS 45040 HAS SOUPS 43089 WITH SCORE 43264.989
AT ITER 9362 NEW BEST:: SOT 223360 SOS 176051 HAS SOPS 174100 HAS SOUS 44998 HAS SOUPS 43047 WITH SCORE 43223.051
AT ITER 9369 NEW BEST:: SOT 223341 SOS 176032 HAS SOPS 174081 HAS SOUS 44960 HAS SOUPS 43009 WITH SCORE 43185.032
AT ITER 9390 NEW BEST:: SOT 223307 SOS 180318 HAS SOPS 178367 HAS SOUS 44948 HAS SOUPS 42997 WITH SCORE 43177.318
AT ITER 9396 NEW BEST:: SOT 223307 SOS 180323 HAS SOPS 178372 HAS SOUS 44943 HAS SOUPS 42992 WITH SCORE 43172.323
AT ITER 9402 NEW BEST:: SOT 223280 SOS 180296 HAS SOPS 178345 HAS SOUS 44927 HAS SOUPS 42976 WITH SCORE 43156.296
AT ITER 9412 NEW BEST:: SOT 223275 SOS 180291 HAS SOPS 178340 HAS SOUS 44917 HAS SOUPS 42966 WITH SCORE 43146.291
AT ITER 9456 NEW BEST:: SOT 223271 SOS 180287 HAS SOPS 178336 HAS SOUS 44909 HAS SOUPS 42958 WITH SCORE 43138.287
AT ITER 9464 NEW BEST:: SOT 223257 SOS 180289 HAS SOPS 178338 HAS SOUS 44881 HAS SOUPS 42930 WITH SCORE 43110.289
AT ITER 9516 NEW BEST:: SOT 223244 SOS 180276 HAS SOPS 178325 HAS SOUS 44855 HAS SOUPS 42904 WITH SCORE 43084.276
AT ITER 9527 NEW BEST:: SOT 223237 SOS 180269 HAS SOPS 178318 HAS SOUS 44841 HAS SOUPS 42890 WITH SCORE 43070.269
AT ITER 9528 NEW BEST:: SOT 223223 SOS 180255 HAS SOPS 178304 HAS SOUS 44813 HAS SOUPS 42862 WITH SCORE 43042.255
AT ITER 9551 NEW BEST:: SOT 223173 SOS 180207 HAS SOPS 178256 HAS SOUS 44713 HAS SOUPS 42762 WITH SCORE 42942.207
AT ITER 9587 NEW BEST:: SOT 223155 SOS 180189 HAS SOPS 178238 HAS SOUS 44677 HAS SOUPS 42726 WITH SCORE 42906.189
AT ITER 9603 NEW BEST:: SOT 223092 SOS 180126 HAS SOPS 178175 HAS SOUS 44661 HAS SOUPS 42710 WITH SCORE 42890.126
AT ITER 9693 NEW BEST:: SOT 223092 SOS 180102 HAS SOPS 178151 HAS SOUS 44661 HAS SOUPS 42710 WITH SCORE 42890.102
AT ITER 9700 NEW BEST:: SOT 222997 SOS 181152 HAS SOPS 179154 HAS SOUS 44698 HAS SOUPS 42700 WITH SCORE 42881.152
AT ITER 9710 NEW BEST:: SOT 222972 SOS 181127 HAS SOPS 179129 HAS SOUS 44648 HAS SOUPS 42650 WITH SCORE 42831.127
AT ITER 9734 NEW BEST:: SOT 222956 SOS 181079 HAS SOPS 179081 HAS SOUS 44616 HAS SOUPS 42618 WITH SCORE 42799.079
AT ITER 9783 NEW BEST:: SOT 222936 SOS 181034 HAS SOPS 179036 HAS SOUS 44576 HAS SOUPS 42578 WITH SCORE 42759.034
AT ITER 9805 NEW BEST:: SOT 222936 SOS 181034 HAS SOPS 179036 HAS SOUS 44546 HAS SOUPS 42548 WITH SCORE 42729.034
AT ITER 9817 NEW BEST:: SOT 222844 SOS 180942 HAS SOPS 178944 HAS SOUS 44495 HAS SOUPS 42497 WITH SCORE 42677.942
AT ITER 9871 NEW BEST:: SOT 222844 SOS 180920 HAS SOPS 178922 HAS SOUS 44495 HAS SOUPS 42497 WITH SCORE 42677.92
AT ITER 9892 NEW BEST:: SOT 222852 SOS 180928 HAS SOPS 178930 HAS SOUS 44493 HAS SOUPS 42495 WITH SCORE 42675.928
AT ITER 9894 NEW BEST:: SOT 222849 SOS 180925 HAS SOPS 178927 HAS SOUS 44487 HAS SOUPS 42489 WITH SCORE 42669.925
AT ITER 9915 NEW BEST:: SOT 222845 SOS 180923 HAS SOPS 178923 HAS SOUS 44481 HAS SOUPS 42481 WITH SCORE 42661.923
AT ITER 9931 NEW BEST:: SOT 222761 SOS 180839 HAS SOPS 178839 HAS SOUS 44422 HAS SOUPS 42422 WITH SCORE 42602.839
AT ITER 9951 NEW BEST:: SOT 222744 SOS 180806 HAS SOPS 178806 HAS SOUS 44388 HAS SOUPS 42388 WITH SCORE 42568.806
STATE_SPACE STATES 445146141861 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 41 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9197362408860 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679272903518

--------------------
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="SharedMemory-COL-000020"
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 SharedMemory-COL-000020, 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 r363-smll-167891814600568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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